; This file was auto generated

  $ LAMA=../../runtime ../../src/Driver.exe -i generated00520.lama < generated00520.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00521.lama < generated00521.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00522.lama < generated00522.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00523.lama < generated00523.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00524.lama < generated00524.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00525.lama < generated00525.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00526.lama < generated00526.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00527.lama < generated00527.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00528.lama < generated00528.input
  > > > > 0
  $ LAMA=../../runtime ../../src/Driver.exe -i generated00529.lama < generated00529.input
  > > > > 0