base w(6)!(4)A
rule (x)A !(0.7*x)F[(30)&(0.6*x)B](137.5)/(0.9*x)A !(0.6*x)F[(25)&(10)\(0.5*x)B](75)/(0.9*x)A !(1.2*x)F[(30)&(-10)\(0.5*x)B][(170)\(25)&(0.5*x)B](150)/(0.8*x)A !(1.2*x)F[(35)&(-10)\(0.5*x)B][(140)\(30)&(0.5*x)B](150)/(0.8*x)A 
rule (x)B !(0.7*x)F[(45)-(0.6*x)C](10)&(30)\(0.9*x)C<y(0.2)L> !(0.8*x)F[(15)\(40)-(0.7*x)C](10)&(30)\(0.9*x)C<y(0.2)L> !(0.75*x)F[(-15)\(40)-(0.5*x)C](10)&(30)\(0.8*x)C<y(0.2)L>
rule (x)C !(x)F[(45)+(0.6*x)B](15)^(40)/(0.9*x)B<y(0.2)L>
rule (X)F (1.05*x)F