#ignore + - ^ &
#axiom
C(1,3)F(0)[+G][-G]F(0)G
#rules
C(a,b) : a>=15 -> C(1,3)
C(a,b) > F(x) : b<3 -> C(a,b+1)
C(a,b) > F(x) : b>=3 -> C(a+1,0)
C(a,b) < F(x) : b>=3 -> F(a)
F(x) : x>0 -> F(0)
F(x) < F(y) : x>0 -> F(x)
F(x) < G : x<=3 -> #stochastic
p=1 ^G
p=1 &G
p=1 F(0)[+B]G
p=1 F(0)[-B]G
p=4 G
#stochastic end
F(x) < N : x>=1 ; x<3->  #stochastic
p=1 G
#stochastic end
F(x) < G : x>=3 ; x<5->  #stochastic
p=1 ^G
p=1 &G
p=1 F(0)[+B]G
p=1 F(0)[-B]G
p=1 F(0)[+F(0)G]G
p=1 F(0)[-F(0)G]G
p=4 G
#stochastic end
F(x) < G : x>=5 ; x<9->  #stochastic
p=1 F(0)W
#stochastic end
F(x) < W : x>=6 ; x<9->  #stochastic
p=1 N
#stochastic end
F(x) < G : x>=9 ; x<15->  #stochastic
p=1 N
#stochastic end
#end rules