Initial github version of SE4