; This file was auto generated

  $ LAMA=../../runtime ../../src/Driver.exe -i generated00760.lama < generated00760.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00761.lama < generated00761.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00762.lama < generated00762.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00763.lama < generated00763.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00764.lama < generated00764.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00765.lama < generated00765.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00766.lama < generated00766.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00767.lama < generated00767.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00768.lama < generated00768.input
  > > > > 1
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00769.lama < generated00769.input
  > > > > 1