Added finalexp12, which is the final version