; This file was auto generated

  $ LAMA=../../runtime ../../src/Driver.exe -i generated00700.lama < generated00700.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00701.lama < generated00701.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00702.lama < generated00702.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00703.lama < generated00703.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00704.lama < generated00704.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00705.lama < generated00705.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00706.lama < generated00706.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00707.lama < generated00707.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00708.lama < generated00708.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00709.lama < generated00709.input
  > > > > 1