--Generated automatically by GuiSurfer

module GuiModelWaysJTurma where

import GuiTypes

waysJTurma :: [N]
waysJTurma = [N (["condInit1"],["init"]),N (["condInit2"],["init"]),N (["condInit3"],["init"]),N (["condInit4"],["init"]),N (["condInit1","cond1"],["init","add"]),N (["condInit1","cond2"],["init","add"]),N (["condInit1","cond1","cond1"],["init","add","add"]),N (["condInit1","cond1","cond2"],["init","add","add"]),N (["condInit1","cond1","cond9"],["init","add","clear"]),N (["condInit1","cond1","cond3"],["init","add","consult"]),N (["condInit1","cond1","cond4"],["init","add","consult"]),N (["condInit1","cond1","cond5"],["init","add","consult"]),N (["condInit1","cond1","cond10"],["init","add","exit"]),N (["condInit1","cond1","cond6"],["init","add","remove"]),N (["condInit1","cond1","cond7"],["init","add","remove"]),N (["condInit1","cond1","cond8"],["init","add","remove"]),N (["condInit1","cond2","cond1"],["init","add","add"]),N (["condInit1","cond2","cond2"],["init","add","add"]),N (["condInit1","cond2","cond10"],["init","add","exit"]),N (["condInit1","cond10"],["init","exit"]),N (["condInit2","cond1"],["init","add"]),N (["condInit2","cond2"],["init","add"]),N (["condInit2","cond1","cond1"],["init","add","add"]),N (["condInit2","cond1","cond2"],["init","add","add"]),N (["condInit2","cond1","cond9"],["init","add","clear"]),N (["condInit2","cond1","cond3"],["init","add","consult"]),N (["condInit2","cond1","cond4"],["init","add","consult"]),N (["condInit2","cond1","cond5"],["init","add","consult"]),N (["condInit2","cond1","cond10"],["init","add","exit"]),N (["condInit2","cond1","cond6"],["init","add","remove"]),N (["condInit2","cond1","cond7"],["init","add","remove"]),N (["condInit2","cond1","cond8"],["init","add","remove"]),N (["condInit2","cond2","cond1"],["init","add","add"]),N (["condInit2","cond2","cond2"],["init","add","add"]),N (["condInit2","cond2","cond10"],["init","add","exit"]),N (["condInit2","cond10"],["init","exit"]),N (["condInit3","cond1"],["init","add"]),N (["condInit3","cond2"],["init","add"]),N (["condInit3","cond1","cond1"],["init","add","add"]),N (["condInit3","cond1","cond2"],["init","add","add"]),N (["condInit3","cond1","cond9"],["init","add","clear"]),N (["condInit3","cond1","cond3"],["init","add","consult"]),N (["condInit3","cond1","cond4"],["init","add","consult"]),N (["condInit3","cond1","cond5"],["init","add","consult"]),N (["condInit3","cond1","cond10"],["init","add","exit"]),N (["condInit3","cond1","cond6"],["init","add","remove"]),N (["condInit3","cond1","cond7"],["init","add","remove"]),N (["condInit3","cond1","cond8"],["init","add","remove"]),N (["condInit3","cond2","cond1"],["init","add","add"]),N (["condInit3","cond2","cond2"],["init","add","add"]),N (["condInit3","cond2","cond10"],["init","add","exit"]),N (["condInit3","cond10"],["init","exit"]),N (["condInit4","cond1"],["init","add"]),N (["condInit4","cond2"],["init","add"]),N (["condInit4","cond1","cond1"],["init","add","add"]),N (["condInit4","cond1","cond2"],["init","add","add"]),N (["condInit4","cond1","cond9"],["init","add","clear"]),N (["condInit4","cond1","cond3"],["init","add","consult"]),N (["condInit4","cond1","cond4"],["init","add","consult"]),N (["condInit4","cond1","cond5"],["init","add","consult"]),N (["condInit4","cond1","cond10"],["init","add","exit"]),N (["condInit4","cond1","cond6"],["init","add","remove"]),N (["condInit4","cond1","cond7"],["init","add","remove"]),N (["condInit4","cond1","cond8"],["init","add","remove"]),N (["condInit4","cond2","cond1"],["init","add","add"]),N (["condInit4","cond2","cond2"],["init","add","add"]),N (["condInit4","cond2","cond10"],["init","add","exit"]),N (["condInit4","cond10"],["init","exit"])]