; This file was auto generated

  $ LAMA=../../runtime ../../src/Driver.exe -i generated00400.lama < generated00400.input
  > > > > 2
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00401.lama < generated00401.input
  > > > > 2
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00402.lama < generated00402.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00403.lama < generated00403.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00404.lama < generated00404.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00405.lama < generated00405.input
  > > > > 2
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00406.lama < generated00406.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00407.lama < generated00407.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00408.lama < generated00408.input
  > > > > 2
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00409.lama < generated00409.input
  > > > > 2