$ LAMA=../../runtime ../../src/Driver.exe -i generated05870.lama < generated05870.input
  > > 194
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05871.lama < generated05871.input
  > > 170
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05872.lama < generated05872.input
  > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05873.lama < generated05873.input
  > > 2926
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05874.lama < generated05874.input
  > > 17
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05875.lama < generated05875.input
  > > 1343
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05876.lama < generated05876.input
  > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05877.lama < generated05877.input
  > > -5601
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05878.lama < generated05878.input
  > > 4001
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05879.lama < generated05879.input
  > > 0