#!/bin/sh
./imp80 tests-imp80/rt22.imp
./imp80 tests-imp80/rt30.imp
./imp80 tests-imp80/rt23.imp
./imp80 tests-imp80/rt46.imp
./imp80 tests-imp80/rt2.imp
./imp80 tests-imp80/rt49.imp
./imp80 tests-imp80/ct14.imp
./imp80 tests-imp80/rt29.imp
./imp80 tests-imp80/rt32.imp
./imp80 tests-imp80/rt13.imp
./imp80 tests-imp80/vs3.imp
./imp80 tests-imp80/rt5.imp
./imp80 tests-imp80/rt39.imp
./imp80 tests-imp80/rt1.imp
./imp80 tests-imp80/vs0.imp
./imp80 tests-imp80/rt25.imp
./imp80 tests-imp80/vs4.imp
./imp80 tests-imp80/rt7.imp
./imp80 tests-imp80/rt9.imp
./imp80 tests-imp80/rt14.imp
./imp80 tests-imp80/rt36.imp
./imp80 tests-imp80/rt24.imp
./imp80 tests-imp80/rt33.imp
./imp80 tests-imp80/ct5.imp
./imp80 tests-imp80/ct1.imp
./imp80 tests-imp80/rt42.imp
./imp80 tests-imp80/rt37.imp
./imp80 tests-imp80/ct3.imp
./imp80 tests-imp80/rt16.imp
./imp80 tests-imp80/ct6.imp
./imp80 tests-imp80/rt41.imp
./imp80 tests-imp80/rt10.imp
./imp80 tests-imp80/ct4.imp
./imp80 tests-imp80/ct10.imp
./imp80 tests-imp80/ct11.imp
./imp80 tests-imp80/rt48.imp
./imp80 tests-imp80/rt6.imp
./imp80 tests-imp80/rt44.imp
./imp80 tests-imp80/rt26.imp
./imp80 tests-imp80/vs5.imp
./imp80 tests-imp80/rt34.imp
./imp80 tests-imp80/rt47.imp
./imp80 tests-imp80/rt18.imp
./imp80 tests-imp80/rt11.imp
./imp80 tests-imp80/rt40.imp
./imp80 tests-imp80/rt3.imp
./imp80 tests-imp80/ct2.imp
./imp80 tests-imp80/rt28.imp
./imp80 tests-imp80/rt15.imp
./imp80 tests-imp80/ct8.imp
./imp80 tests-imp80/rt20.imp
./imp80 tests-imp80/rt8.imp
./imp80 tests-imp80/ct7.imp
./imp80 tests-imp80/rt38.imp
./imp80 tests-imp80/rt27.imp
./imp80 tests-imp80/rt0.imp
./imp80 tests-imp80/vs1.imp
./imp80 tests-imp80/rt51.imp
./imp80 tests-imp80/rt45.imp
./imp80 tests-imp80/rt50.imp
./imp80 tests-imp80/ct9.imp
./imp80 tests-imp80/ct0.imp
./imp80 tests-imp80/rt17.imp
./imp80 tests-imp80/rt31.imp
./imp80 tests-imp80/rt35.imp
./imp80 tests-imp80/rt21.imp
./imp80 tests-imp80/rt4.imp
./imp80 tests-imp80/rt12.imp
./imp80 tests-imp80/vs2.imp
./imp80 tests-imp80/ct12.imp
./imp80 tests-imp80/ct13.imp
./imp80 tests-imp80/rt43.imp
./imp80 tests-imp80/test.imp
./imp80 tests-imp80/rt19.imp