; This file was auto generated

  $ LAMA=../../runtime ../../src/Driver.exe -i generated00360.lama < generated00360.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00361.lama < generated00361.input
  > > > > 2
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00362.lama < generated00362.input
  > > > > 3
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00363.lama < generated00363.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00364.lama < generated00364.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00365.lama < generated00365.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00366.lama < generated00366.input
  > > > > 3
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00367.lama < generated00367.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00368.lama < generated00368.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00369.lama < generated00369.input
  > > > > 1