$ LAMA=../../runtime ../../src/Driver.exe -i generated00410.lama < generated00410.input
  > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00411.lama < generated00411.input
  > > 1292
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00412.lama < generated00412.input
  > > 5548
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00413.lama < generated00413.input
  > > 1727
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00414.lama < generated00414.input
  > > 12144
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00415.lama < generated00415.input
  > > -12
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00416.lama < generated00416.input
  > > 131
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00417.lama < generated00417.input
  > > 517
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00418.lama < generated00418.input
  > > 1479
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00419.lama < generated00419.input
  > > 52