$ LAMA=../../runtime ../../src/Driver.exe -i generated00390.lama < generated00390.input
  > > 5832
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00391.lama < generated00391.input
  > > 7
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00392.lama < generated00392.input
  > > 165
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00393.lama < generated00393.input
  > > 52
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00394.lama < generated00394.input
  > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00395.lama < generated00395.input
  > > 305
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00396.lama < generated00396.input
  > > 635
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00397.lama < generated00397.input
  > > 14450
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00398.lama < generated00398.input
  > > -121
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00399.lama < generated00399.input
  > > 132