$ LAMA=../../runtime ../../src/Driver.exe -i generated05270.lama < generated05270.input
  > > 284
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05271.lama < generated05271.input
  > > 39
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05272.lama < generated05272.input
  > > 233
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05273.lama < generated05273.input
  > > 96
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05274.lama < generated05274.input
  > > 164
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05275.lama < generated05275.input
  > > 2014
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05276.lama < generated05276.input
  > > 42
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05277.lama < generated05277.input
  > > 2465
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05278.lama < generated05278.input
  > > -695
  $ LAMA=../../runtime ../../src/Driver.exe -i generated05279.lama < generated05279.input
  > > 48