#ignore + - \ / ^ & #axiom M(0) #rules M(a) : a<8 -> M(a+1) M(a) : a>=8 -> #stochastic p=25 M(0)\(137.5)C(0,3)[+++D(2,2)][---D(2,2)] p=2 L(1)M(a) p=1 M(0)\(137.5)M(0) #stochastic end C(a,b) : b<10 -> C(a,b+1) C(a,b) : b>=10 -> #stochastic p=2 C(1,0) p=1 C(2,0) p=0.5 C(3,0) #stochastic end D(a,b) : b<7 -> D(a,b+1) D(a,b) < C(x,y) : b>=7 -> D(1,1)\(137.5)-D(0,1) D(a,b) : b>=7 -> #stochastic p=3 L(4,1)[-D(0,1)]\(137.5)D(1,1) p=2 L(4,1)[+D(0,1)]\(137.5)-D(1,1) p=2 L(4,1)D(0,1) p=2 D(1,1)[-O(1,1)[+B]B] p=1 \(137.5)+D(1,1)[-D(1,1)] p=1 -B p=1 +B p=1 D(1,1)[+O(1,1)[B]W] #stochastic end W -> #stochastic p=10 W p=1 B p=1 D(0,0) #stochastic end