; This file was auto generated

  $ LAMA=../../runtime ../../src/Driver.exe -i generated00900.lama < generated00900.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00901.lama < generated00901.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00902.lama < generated00902.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00903.lama < generated00903.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00904.lama < generated00904.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00905.lama < generated00905.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00906.lama < generated00906.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00907.lama < generated00907.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00908.lama < generated00908.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00909.lama < generated00909.input
  > > > > 1