$ LAMA=../../runtime ../../src/Driver.exe -i generated01870.lama < generated01870.input
  > > 1246
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01871.lama < generated01871.input
  > > 25
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01872.lama < generated01872.input
  > > 107
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01873.lama < generated01873.input
  > > 85
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01874.lama < generated01874.input
  > > 271
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01875.lama < generated01875.input
  > > 90
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01876.lama < generated01876.input
  > > -4
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01877.lama < generated01877.input
  > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01878.lama < generated01878.input
  > > 105
  $ LAMA=../../runtime ../../src/Driver.exe -i generated01879.lama < generated01879.input
  > > 17