added intermediate notation file
updated IN