../imp2c ct0.imp > ct0.c
../imp2c ct1.imp > ct1.c
../imp2c ct2.imp > ct2.c
../imp2c ct3.imp > ct3.c
../imp2c ct4.imp > ct4.c
../imp2c ct5.imp > ct5.c
../imp2c ct6.imp > ct6.c
../imp2c ct7.imp > ct7.c
../imp2c ct8.imp > ct8.c
../imp2c ct9.imp > ct9.c
../imp2c ct10.imp > ct10.c
../imp2c ct11.imp > ct11.c
../imp2c ct12.imp > ct12.c
../imp2c ct13.imp > ct13.c
../imp2c rt0.imp > rt0.c
../imp2c rt1.imp > rt1.c
../imp2c rt2.imp > rt2.c
../imp2c rt3.imp > rt3.c
../imp2c rt4.imp > rt4.c
../imp2c rt5.imp > rt5.c
../imp2c rt6.imp > rt6.c
../imp2c rt7.imp > rt7.c
../imp2c rt8.imp > rt8.c
../imp2c rt9.imp > rt9.c
../imp2c rt10.imp > rt10.c
../imp2c rt11.imp > rt11.c
../imp2c rt12.imp > rt12.c
../imp2c rt13.imp > rt13.c
../imp2c rt14.imp > rt14.c
../imp2c rt15.imp > rt15.c
../imp2c rt16.imp > rt16.c
../imp2c rt17.imp > rt17.c
../imp2c rt18.imp > rt18.c
../imp2c rt19.imp > rt19.c
../imp2c rt20.imp > rt20.c
../imp2c rt21.imp > rt21.c
../imp2c rt22.imp > rt22.c
../imp2c rt23.imp > rt23.c
../imp2c rt24.imp > rt24.c
../imp2c rt25.imp > rt25.c
../imp2c rt26.imp > rt26.c
../imp2c rt27.imp > rt27.c
../imp2c rt28.imp > rt28.c
../imp2c rt29.imp > rt29.c
../imp2c rt30.imp > rt30.c
../imp2c rt31.imp > rt31.c
../imp2c rt32.imp > rt32.c
../imp2c rt33.imp > rt33.c
../imp2c rt34.imp > rt34.c
../imp2c rt35.imp > rt35.c
../imp2c rt36.imp > rt36.c
../imp2c rt37.imp > rt37.c
../imp2c rt38.imp > rt38.c
../imp2c rt39.imp > rt39.c
../imp2c rt40.imp > rt40.c