$ LAMA=../../runtime ../../src/Driver.exe -i generated00470.lama < generated00470.input
  > > 175
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00471.lama < generated00471.input
  > > 126
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00472.lama < generated00472.input
  > > 35
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00473.lama < generated00473.input
  > > 179
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00474.lama < generated00474.input
  > > 150
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00475.lama < generated00475.input
  > > 546
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00476.lama < generated00476.input
  > > 32
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00477.lama < generated00477.input
  > > 40
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00478.lama < generated00478.input
  > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00479.lama < generated00479.input
  > > 95