Create simul_lai.tex