0 # initial state
(0,1,'f&!e&!g',ConstantRewardFunction(0))
(0,2,'e&!f&!g',ConstantRewardFunction(0))
(1,3,'e&!g',ConstantRewardFunction(0))
(2,3,'f&!g',ConstantRewardFunction(0))
(0,3,'f&e&!g',ConstantRewardFunction(0))
(1,4,'e&g',ConstantRewardFunction(0))
(2,4,'f&g',ConstantRewardFunction(0))
(3,4,'g',ConstantRewardFunction(1000))
(4,4,'True',ConstantRewardFunction(0))