MAYBE
392.83/99.22	MAYBE
392.83/99.23	
392.83/99.23	Problem:
392.83/99.23	 r0(0(x1)) -> 0(r0(x1))
392.83/99.23	 r0(1(x1)) -> 1(r0(x1))
392.83/99.23	 r0(m(x1)) -> m(r0(x1))
392.83/99.23	 r1(0(x1)) -> 0(r1(x1))
392.83/99.23	 r1(1(x1)) -> 1(r1(x1))
392.83/99.23	 r1(m(x1)) -> m(r1(x1))
392.83/99.23	 r0(b(x1)) -> qr(0(b(x1)))
392.83/99.23	 r1(b(x1)) -> qr(1(b(x1)))
392.83/99.23	 0(qr(x1)) -> qr(0(x1))
392.83/99.23	 1(qr(x1)) -> qr(1(x1))
392.83/99.23	 m(qr(x1)) -> ql(m(x1))
392.83/99.23	 0(ql(x1)) -> ql(0(x1))
392.83/99.23	 1(ql(x1)) -> ql(1(x1))
392.83/99.23	 b(ql(0(x1))) -> 0(b(r0(x1)))
392.83/99.23	 b(ql(1(x1))) -> 1(b(r1(x1)))
392.83/99.23	
392.83/99.23	Proof:
392.83/99.23	 Open
392.83/99.23	EOF