#!/bin/sh
#echo -n base16.imp: ; ../imp77  base16.imp
#echo -n ct13.imp: ; ../imp77  ct13.imp
echo -n equals_nl.imp: ; ../imp77  equals_nl.imp
echo -n imp77test.imp: ; ../imp77  imp77test.imp
echo -n i-test.imp: ; ../imp77  i-test.imp
#echo -n lineno_test.imp: ; ../imp77  lineno_test.imp
echo -n pass1v84-noprims.imp: ; ../imp77  pass1v84-noprims.imp
##echo -n prec.imp: ; ../imp77  prec.imp
#echo -n rttest.imp: ; ../imp77  rttest.imp
echo -n test.imp: ; ../imp77  test.imp
echo -n 1.imp: ; ../imp77  1.imp
echo -n 2.imp: ; ../imp77  2.imp
echo -n 3.imp: ; ../imp77  3.imp
echo -n 4.imp: ; ../imp77  4.imp
echo -n 5.imp: ; ../imp77  5.imp
#echo -n 6.imp: ; ../imp77  6.imp
echo -n 7.imp: ; ../imp77  7.imp
echo -n 8.imp: ; ../imp77  8.imp
echo -n 9.imp: ; ../imp77  9.imp
echo -n 10.imp: ; ../imp77  10.imp
echo -n 11.imp: ; ../imp77  11.imp
echo -n 12.imp: ; ../imp77  12.imp
echo -n 13.imp: ; ../imp77  13.imp
echo -n 14.imp: ; ../imp77  14.imp
echo -n 15.imp: ; ../imp77  15.imp
echo -n 16.imp: ; ../imp77  16.imp
echo -n 17.imp: ; ../imp77  17.imp
echo -n 18.imp: ; ../imp77  18.imp
echo -n 19.imp: ; ../imp77  19.imp
echo -n 20.imp: ; ../imp77  20.imp
echo -n 21.imp: ; ../imp77  21.imp
echo -n 22.imp: ; ../imp77  22.imp
echo -n 24.imp: ; ../imp77  24.imp
#echo -n 25.imp: ; ../imp77  25.imp
echo -n 26.imp: ; ../imp77  26.imp
echo -n 27.imp: ; ../imp77  27.imp
echo -n 28.imp: ; ../imp77  28.imp
echo -n 29.imp: ; ../imp77  29.imp
echo -n 30.imp: ; ../imp77  30.imp
echo -n 31.imp: ; ../imp77  31.imp
echo -n 32.imp: ; ../imp77  32.imp
echo -n 33.imp: ; ../imp77  33.imp
echo -n 34.imp: ; ../imp77  34.imp
echo -n 35.imp: ; ../imp77  35.imp
echo -n 36.imp: ; ../imp77  36.imp
echo -n 37.imp: ; ../imp77  37.imp
echo -n 38.imp: ; ../imp77  38.imp
echo -n 39.imp: ; ../imp77  39.imp
echo -n 40.imp: ; ../imp77  40.imp
#echo -n 41.imp: ; ../imp77  41.imp
echo -n 42.imp: ; ../imp77  42.imp
echo -n 43.imp: ; ../imp77  43.imp
echo -n 44.imp: ; ../imp77  44.imp
echo -n 45.imp: ; ../imp77  45.imp
echo -n 46.imp: ; ../imp77  46.imp
echo -n 47.imp: ; ../imp77  47.imp
echo -n 48.imp: ; ../imp77  48.imp
echo -n 49.imp: ; ../imp77  49.imp
echo -n 50.imp: ; ../imp77  50.imp
echo -n 51.imp: ; ../imp77  51.imp
echo -n 52.imp: ; ../imp77  52.imp
echo -n 53.imp: ; ../imp77  53.imp
echo -n 54.imp: ; ../imp77  54.imp
echo -n 55.imp: ; ../imp77  55.imp
echo -n 58.imp: ; ../imp77  58.imp
echo -n 59.imp: ; ../imp77  59.imp
echo -n 60.imp: ; ../imp77  60.imp
echo -n 61.imp: ; ../imp77  61.imp
echo -n 62.imp: ; ../imp77  62.imp
echo -n 63.imp: ; ../imp77  63.imp
echo -n 64.imp: ; ../imp77  64.imp
echo -n 65.imp: ; ../imp77  65.imp
#echo -n 66.imp: ; ../imp77  66.imp
echo -n 67.imp: ; ../imp77  67.imp
echo -n 68.imp: ; ../imp77  68.imp
echo -n 69.imp: ; ../imp77  69.imp