$ LAMA=../../runtime ../../src/Driver.exe -i generated06750.lama < generated06750.input
  > > 1787
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06751.lama < generated06751.input
  > > 17
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06752.lama < generated06752.input
  > > 3509
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06753.lama < generated06753.input
  > > 19725
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06754.lama < generated06754.input
  > > 266
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06755.lama < generated06755.input
  > > 158
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06756.lama < generated06756.input
  > > 225
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06757.lama < generated06757.input
  > > 1794
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06758.lama < generated06758.input
  > > 22
  $ LAMA=../../runtime ../../src/Driver.exe -i generated06759.lama < generated06759.input
  > > 38016