#!/bin/sh
cat blurb
dimp -wO rt0.i
./a.out
dimp -wO rt1.i
./a.out
dimp -wO rt2.i
./a.out

dimp -wO rt3.i
./a.out
dimp -wO rt4.i
./a.out
dimp -wO rt5.i
./a.out
dimp -wO rt6.i
./a.out
dimp -wO rt7.i
./a.out
dimp -wO rt8.i
./a.out
dimp -wO rt9.i
./a.out
dimp -wO rt10.i
./a.out
dimp -wO rt11.i
./a.out
dimp -wO rt12.i
./a.out
dimp -wO rt13.i
./a.out
dimp -wO rt14.i
./a.out
dimp -wO rt15.i
./a.out
dimp -wO rt16.i
./a.out
dimp -wO rt17.i
./a.out
dimp -wO rt18.i
./a.out
dimp -wO rt19.i
./a.out
dimp -wO rt20.i
./a.out
dimp -wO rt21.i
./a.out
dimp -wO rt22.i
./a.out
dimp -wO rt23.i
./a.out
dimp -wO rt24.i
./a.out
dimp -wO rt25.i
./a.out
dimp -wO rt26.i
./a.out
dimp -wO rt27.i
./a.out
dimp -wO rt28.i
./a.out
dimp -wO rt29.i
./a.out
dimp -wO rt30.i
./a.out
dimp -wO rt31.i
./a.out
dimp -wO rt32.i
./a.out
dimp -wO rt33.i
./a.out
dimp -wO rt34.i
./a.out
dimp -wO rt35.i
./a.out
dimp -wO rt36.i
./a.out
dimp -wO rt37.i
./a.out
dimp -wO rt38.i
./a.out
dimp -wO rt39.i
./a.out
dimp -wO rt40.i
./a.out
dimp -wO rt41.i
./a.out
dimp -wO rt42.i
./a.out
dimp -wO rt43.i
./a.out
dimp -wO rt44.i
./a.out
dimp -wO rt45.i
./a.out
dimp -wO rt46.i
./a.out
dimp -wO rt47.i
./a.out
dimp -wO rt48.i
./a.out
dimp -wO rt49.i
./a.out
dimp -wO rt50.i
./a.out
dimp -wO rt51.i
./a.out
dimp -wO rt52.i
./a.out
dimp -wO rt53.i
./a.out
dimp -wO rt54.i
./a.out
dimp -wO rt55.i
./a.out
dimp -wO rt56.i
./a.out
dimp -wO rt57.i
./a.out
dimp -wO rt58.i
./a.out
dimp -wO rt59.i
./a.out
dimp -wO rt60.i
./a.out
dimp -wO rt61.i
./a.out
dimp -wO rt62.i
./a.out
dimp -wO rt63.i
./a.out
rm *.o
rm ./a.out
