#!/bin/bash
echo "imp77 198.imp" ; imp77 198.imp
echo "imp77 ACKER.imp" ; imp77 ACKER.imp
echo "imp77 cat.imp" ; imp77 cat.imp
echo "imp77 c-features.imp" ; imp77 c-features.imp
echo "imp77 cond2s.imp" ; imp77 cond2s.imp
echo "imp77 debug.imp" ; imp77 debug.imp
echo "imp77 d.imp" ; imp77 d.imp
echo "imp77 expr.imp" ; imp77 expr.imp
echo "imp77 extrt.imp" ; imp77 extrt.imp
echo "imp77 fbench.imp" ; imp77 fbench.imp
echo "imp77 gtoal001.imp" ; imp77 gtoal001.imp
echo "imp77 gtoal002.imp" ; imp77 gtoal002.imp
echo "imp77 gtoal003.imp" ; imp77 gtoal003.imp
echo "imp77 gtoal004.imp" ; imp77 gtoal004.imp
echo "imp77 intmath.imp" ; imp77 intmath.imp
echo "imp77 longrealtest.imp" ; imp77 longrealtest.imp
echo "imp77 map.imp" ; imp77 map.imp
echo "imp77 minimal.imp" ; imp77 minimal.imp
echo "imp77 realtest.imp" ; imp77 realtest.imp
echo "imp77 res.imp" ; imp77 res.imp
echo "imp77 static.imp" ; imp77 static.imp
echo "imp77 test001.imp" ; imp77 test001.imp
echo "imp77 test001-updated.imp" ; imp77 test001-updated.imp
echo "imp77 test100.imp" ; imp77 test100.imp
echo "imp77 test101.imp" ; imp77 test101.imp
echo "imp77 test102.imp" ; imp77 test102.imp
echo "imp77 test103.imp" ; imp77 test103.imp
echo "imp77 test104.imp" ; imp77 test104.imp
echo "imp77 test105.imp" ; imp77 test105.imp
echo "imp77 test106.imp" ; imp77 test106.imp
echo "imp77 test107.imp" ; imp77 test107.imp
echo "imp77 test10.imp" ; imp77 test10.imp
echo "imp77 test110.imp" ; imp77 test110.imp
echo "imp77 test111.imp" ; imp77 test111.imp
echo "imp77 test112.imp" ; imp77 test112.imp
echo "imp77 test113a.imp" ; imp77 test113a.imp
echo "imp77 test113b.imp" ; imp77 test113b.imp
echo "imp77 test113.imp" ; imp77 test113.imp
echo "imp77 test114.imp" ; imp77 test114.imp
echo "imp77 test115.imp" ; imp77 test115.imp
echo "imp77 test116.imp" ; imp77 test116.imp
echo "imp77 test117.imp" ; imp77 test117.imp
echo "imp77 test118.imp" ; imp77 test118.imp
echo "imp77 test119.imp" ; imp77 test119.imp
echo "imp77 test11.imp" ; imp77 test11.imp
echo "imp77 test121.imp" ; imp77 test121.imp
echo "imp77 test122.imp" ; imp77 test122.imp
echo "imp77 test124.imp" ; imp77 test124.imp
echo "imp77 test125.imp" ; imp77 test125.imp
echo "imp77 test126.imp" ; imp77 test126.imp
echo "imp77 test127.imp" ; imp77 test127.imp
echo "imp77 test128.imp" ; imp77 test128.imp
echo "imp77 test129.imp" ; imp77 test129.imp
echo "imp77 test12.imp" ; imp77 test12.imp
echo "imp77 test130.imp" ; imp77 test130.imp
echo "imp77 test131.imp" ; imp77 test131.imp
echo "imp77 test132.imp" ; imp77 test132.imp
echo "imp77 test133.imp" ; imp77 test133.imp
echo "imp77 test134.imp" ; imp77 test134.imp
echo "imp77 test136.imp" ; imp77 test136.imp
echo "imp77 test138.imp" ; imp77 test138.imp
echo "imp77 test139.imp" ; imp77 test139.imp
echo "imp77 test13.imp" ; imp77 test13.imp
echo "imp77 test140.imp" ; imp77 test140.imp
echo "imp77 test141.imp" ; imp77 test141.imp
echo "imp77 test142.imp" ; imp77 test142.imp
echo "imp77 test143.imp" ; imp77 test143.imp
echo "imp77 test144.imp" ; imp77 test144.imp
echo "imp77 test145.imp" ; imp77 test145.imp
echo "imp77 test146.imp" ; imp77 test146.imp
echo "imp77 test147.imp" ; imp77 test147.imp
echo "imp77 test148.imp" ; imp77 test148.imp
echo "imp77 test149.imp" ; imp77 test149.imp
echo "imp77 test14.imp" ; imp77 test14.imp
echo "imp77 test150.imp" ; imp77 test150.imp
echo "imp77 test151.imp" ; imp77 test151.imp
echo "imp77 test152.imp" ; imp77 test152.imp
echo "imp77 test153.imp" ; imp77 test153.imp
echo "imp77 test154.imp" ; imp77 test154.imp
echo "imp77 test155.imp" ; imp77 test155.imp
echo "imp77 test156.imp" ; imp77 test156.imp
echo "imp77 test157.imp" ; imp77 test157.imp
echo "imp77 test158.imp" ; imp77 test158.imp
echo "imp77 test159.imp" ; imp77 test159.imp
echo "imp77 test15.imp" ; imp77 test15.imp
echo "imp77 test160.imp" ; imp77 test160.imp
echo "imp77 test161.imp" ; imp77 test161.imp
echo "imp77 test162.imp" ; imp77 test162.imp
echo "imp77 test163.imp" ; imp77 test163.imp
echo "imp77 test164a.imp" ; imp77 test164a.imp
echo "imp77 test164.imp" ; imp77 test164.imp
echo "imp77 test165.imp" ; imp77 test165.imp
echo "imp77 test166.imp" ; imp77 test166.imp
echo "imp77 test167.imp" ; imp77 test167.imp
echo "imp77 test168.imp" ; imp77 test168.imp
echo "imp77 test169.imp" ; imp77 test169.imp
echo "imp77 test16.imp" ; imp77 test16.imp
echo "imp77 test170.imp" ; imp77 test170.imp
echo "imp77 test171.imp" ; imp77 test171.imp
echo "imp77 test172.imp" ; imp77 test172.imp
echo "imp77 test173.imp" ; imp77 test173.imp
echo "imp77 test174.imp" ; imp77 test174.imp
echo "imp77 test175.imp" ; imp77 test175.imp
echo "imp77 test176.imp" ; imp77 test176.imp
echo "imp77 test177.imp" ; imp77 test177.imp
echo "imp77 test178.imp" ; imp77 test178.imp
echo "imp77 test179.imp" ; imp77 test179.imp
echo "imp77 test17.imp" ; imp77 test17.imp
echo "imp77 test180.imp" ; imp77 test180.imp
echo "imp77 test181.imp" ; imp77 test181.imp
echo "imp77 test182.imp" ; imp77 test182.imp
echo "imp77 test183.imp" ; imp77 test183.imp
echo "imp77 test184.imp" ; imp77 test184.imp
echo "imp77 test185.imp" ; imp77 test185.imp
echo "imp77 test186.imp" ; imp77 test186.imp
echo "imp77 test187.imp" ; imp77 test187.imp
echo "imp77 test188.imp" ; imp77 test188.imp
echo "imp77 test189.imp" ; imp77 test189.imp
echo "imp77 test18.imp" ; imp77 test18.imp
echo "imp77 test190.imp" ; imp77 test190.imp
echo "imp77 test191.imp" ; imp77 test191.imp
echo "imp77 test192.imp" ; imp77 test192.imp
echo "imp77 test193.imp" ; imp77 test193.imp
echo "imp77 test194.imp" ; imp77 test194.imp
echo "imp77 test195.imp" ; imp77 test195.imp
echo "imp77 test196.imp" ; imp77 test196.imp
echo "imp77 test197.imp" ; imp77 test197.imp
echo "imp77 test198.imp" ; imp77 test198.imp
echo "imp77 test199.imp" ; imp77 test199.imp
echo "imp77 test19.imp" ; imp77 test19.imp
echo "imp77 test1.imp" ; imp77 test1.imp
echo "imp77 test200.imp" ; imp77 test200.imp
echo "imp77 test201.imp" ; imp77 test201.imp
echo "imp77 test202.imp" ; imp77 test202.imp
echo "imp77 test203.imp" ; imp77 test203.imp
echo "imp77 test204.imp" ; imp77 test204.imp
echo "imp77 test205.imp" ; imp77 test205.imp
echo "imp77 test206.imp" ; imp77 test206.imp
echo "imp77 test207.imp" ; imp77 test207.imp
echo "imp77 test208.imp" ; imp77 test208.imp
echo "imp77 test209.imp" ; imp77 test209.imp
echo "imp77 test20.imp" ; imp77 test20.imp
echo "imp77 test210.imp" ; imp77 test210.imp
echo "imp77 test211.imp" ; imp77 test211.imp
echo "imp77 test212.imp" ; imp77 test212.imp
echo "imp77 test213.imp" ; imp77 test213.imp
echo "imp77 test214.imp" ; imp77 test214.imp
echo "imp77 test215.imp" ; imp77 test215.imp
echo "imp77 test216.imp" ; imp77 test216.imp
echo "imp77 test217.imp" ; imp77 test217.imp
echo "imp77 test218.imp" ; imp77 test218.imp
echo "imp77 test219.imp" ; imp77 test219.imp
echo "imp77 test21.imp" ; imp77 test21.imp
echo "imp77 test220.imp" ; imp77 test220.imp
echo "imp77 test221.imp" ; imp77 test221.imp
echo "imp77 test222.imp" ; imp77 test222.imp
echo "imp77 test223.imp" ; imp77 test223.imp
echo "imp77 test224.imp" ; imp77 test224.imp
echo "imp77 test225.imp" ; imp77 test225.imp
echo "imp77 test226.imp" ; imp77 test226.imp
echo "imp77 test227.imp" ; imp77 test227.imp
echo "imp77 test228.imp" ; imp77 test228.imp
echo "imp77 test22.imp" ; imp77 test22.imp
echo "imp77 test23.imp" ; imp77 test23.imp
echo "imp77 test24.imp" ; imp77 test24.imp
echo "imp77 test26.imp" ; imp77 test26.imp
echo "imp77 test27.imp" ; imp77 test27.imp
echo "imp77 test28.imp" ; imp77 test28.imp
echo "imp77 test29.imp" ; imp77 test29.imp
echo "imp77 test2.imp" ; imp77 test2.imp
echo "imp77 test30.imp" ; imp77 test30.imp
echo "imp77 test31.imp" ; imp77 test31.imp
echo "imp77 test32.imp" ; imp77 test32.imp
echo "imp77 test33.imp" ; imp77 test33.imp
echo "imp77 test34.imp" ; imp77 test34.imp
echo "imp77 test35.imp" ; imp77 test35.imp
echo "imp77 test36.imp" ; imp77 test36.imp
echo "imp77 test37.imp" ; imp77 test37.imp
echo "imp77 test38.imp" ; imp77 test38.imp
echo "imp77 test39.imp" ; imp77 test39.imp
echo "imp77 test3.imp" ; imp77 test3.imp
echo "imp77 test40.imp" ; imp77 test40.imp
echo "imp77 test41.imp" ; imp77 test41.imp
echo "imp77 test42.imp" ; imp77 test42.imp
echo "imp77 test43.imp" ; imp77 test43.imp
echo "imp77 test44.imp" ; imp77 test44.imp
echo "imp77 test45.imp" ; imp77 test45.imp
echo "imp77 test46.imp" ; imp77 test46.imp
echo "imp77 test47.imp" ; imp77 test47.imp
echo "imp77 test48.imp" ; imp77 test48.imp
echo "imp77 test49.imp" ; imp77 test49.imp
echo "imp77 test4.imp" ; imp77 test4.imp
echo "imp77 test50.imp" ; imp77 test50.imp
echo "imp77 test51.imp" ; imp77 test51.imp
echo "imp77 test52.imp" ; imp77 test52.imp
echo "imp77 test53.imp" ; imp77 test53.imp
echo "imp77 test54.imp" ; imp77 test54.imp
echo "imp77 test55.imp" ; imp77 test55.imp
echo "imp77 test56.imp" ; imp77 test56.imp
echo "imp77 test57.imp" ; imp77 test57.imp
echo "imp77 test58.imp" ; imp77 test58.imp
echo "imp77 test5.imp" ; imp77 test5.imp
echo "imp77 test60.imp" ; imp77 test60.imp
echo "imp77 test61.imp" ; imp77 test61.imp
echo "imp77 test62.imp" ; imp77 test62.imp
echo "imp77 test63.imp" ; imp77 test63.imp
echo "imp77 test64.imp" ; imp77 test64.imp
echo "imp77 test65.imp" ; imp77 test65.imp
echo "imp77 test66.imp" ; imp77 test66.imp
echo "imp77 test67.imp" ; imp77 test67.imp
echo "imp77 test68.imp" ; imp77 test68.imp
echo "imp77 test69.imp" ; imp77 test69.imp
echo "imp77 test6.imp" ; imp77 test6.imp
echo "imp77 test71.imp" ; imp77 test71.imp
echo "imp77 test72.imp" ; imp77 test72.imp
echo "imp77 test73.imp" ; imp77 test73.imp
echo "imp77 test74.imp" ; imp77 test74.imp
echo "imp77 test75.imp" ; imp77 test75.imp
echo "imp77 test76.imp" ; imp77 test76.imp
echo "imp77 test77.imp" ; imp77 test77.imp
echo "imp77 test79.imp" ; imp77 test79.imp
echo "imp77 test7.imp" ; imp77 test7.imp
echo "imp77 test80.imp" ; imp77 test80.imp
echo "imp77 test81.imp" ; imp77 test81.imp
echo "imp77 test82.imp" ; imp77 test82.imp
echo "imp77 test83.imp" ; imp77 test83.imp
echo "imp77 test84.imp" ; imp77 test84.imp
echo "imp77 test85.imp" ; imp77 test85.imp
echo "imp77 test86.imp" ; imp77 test86.imp
echo "imp77 test87.imp" ; imp77 test87.imp
echo "imp77 test88.imp" ; imp77 test88.imp
echo "imp77 test89.imp" ; imp77 test89.imp
echo "imp77 test8.imp" ; imp77 test8.imp
echo "imp77 test90.imp" ; imp77 test90.imp
echo "imp77 test91.imp" ; imp77 test91.imp
echo "imp77 test92.imp" ; imp77 test92.imp
echo "imp77 test93.imp" ; imp77 test93.imp
echo "imp77 test94.imp" ; imp77 test94.imp
echo "imp77 test95.imp" ; imp77 test95.imp
echo "imp77 test96.imp" ; imp77 test96.imp
echo "imp77 test97.imp" ; imp77 test97.imp
echo "imp77 test98.imp" ; imp77 test98.imp
echo "imp77 test99.imp" ; imp77 test99.imp
echo "imp77 test9.imp" ; imp77 test9.imp
echo "imp77 test.imp" ; imp77 test.imp