forked from andkok/MWS_2021
10 lines
169 B
Plaintext
10 lines
169 B
Plaintext
|
#ignore + -
|
||
|
#axiom
|
||
|
C(5,5)A+A+AA-A-AA-AD(0)
|
||
|
#rules
|
||
|
#C(a,b) > A : b<5 -> C(a,b+1)
|
||
|
#C(a,b) > A : b>=5 -> C(a-1,0)
|
||
|
#B(1)<D(a) -> D(a+1)
|
||
|
#B(a)<A -> B(a)
|
||
|
#B(a) -> A
|
||
|
#end rules
|