first commit of files extracted from diplicity