Added Input_cis.ml
Added Input_determinants.ml