MAYBE
80.22/24.90	MAYBE
80.22/24.91	
80.22/24.91	Problem:
80.22/24.91	 +(0(),0()) -> 0()
80.22/24.91	 +(0(),1()) -> 1()
80.22/24.91	 +(0(),2()) -> 2()
80.22/24.91	 +(0(),3()) -> 3()
80.22/24.91	 +(0(),4()) -> 4()
80.22/24.91	 +(0(),5()) -> 5()
80.22/24.91	 +(0(),6()) -> 6()
80.22/24.91	 +(0(),7()) -> 7()
80.22/24.91	 +(0(),8()) -> 8()
80.22/24.91	 +(0(),9()) -> 9()
80.22/24.91	 +(1(),0()) -> 1()
80.22/24.91	 +(1(),1()) -> 2()
80.22/24.91	 +(1(),2()) -> 3()
80.22/24.91	 +(1(),3()) -> 4()
80.22/24.91	 +(1(),4()) -> 5()
80.22/24.91	 +(1(),5()) -> 6()
80.22/24.91	 +(1(),6()) -> 7()
80.22/24.91	 +(1(),7()) -> 8()
80.22/24.91	 +(1(),8()) -> 9()
80.22/24.91	 +(1(),9()) -> c(1(),0())
80.22/24.91	 +(2(),0()) -> 2()
80.22/24.91	 +(2(),1()) -> 3()
80.22/24.91	 +(2(),2()) -> 4()
80.22/24.91	 +(2(),3()) -> 5()
80.22/24.91	 +(2(),4()) -> 6()
80.22/24.91	 +(2(),5()) -> 7()
80.22/24.91	 +(2(),6()) -> 8()
80.22/24.91	 +(2(),7()) -> 9()
80.22/24.91	 +(2(),8()) -> c(1(),0())
80.22/24.91	 +(2(),9()) -> c(1(),1())
80.22/24.91	 +(3(),0()) -> 3()
80.22/24.91	 +(3(),1()) -> 4()
80.22/24.91	 +(3(),2()) -> 5()
80.22/24.91	 +(3(),3()) -> 6()
80.22/24.91	 +(3(),4()) -> 7()
80.22/24.91	 +(3(),5()) -> 8()
80.22/24.91	 +(3(),6()) -> 9()
80.22/24.91	 +(3(),7()) -> c(1(),0())
80.22/24.91	 +(3(),8()) -> c(1(),1())
80.22/24.91	 +(3(),9()) -> c(1(),2())
80.22/24.91	 +(4(),0()) -> 4()
80.22/24.91	 +(4(),1()) -> 5()
80.22/24.91	 +(4(),2()) -> 6()
80.22/24.91	 +(4(),3()) -> 7()
80.22/24.91	 +(4(),4()) -> 8()
80.22/24.91	 +(4(),5()) -> 9()
80.22/24.91	 +(4(),6()) -> c(1(),0())
80.22/24.91	 +(4(),7()) -> c(1(),1())
80.22/24.91	 +(4(),8()) -> c(1(),2())
80.22/24.91	 +(4(),9()) -> c(1(),3())
80.22/24.91	 +(5(),0()) -> 5()
80.22/24.91	 +(5(),1()) -> 6()
80.22/24.91	 +(5(),2()) -> 7()
80.22/24.91	 +(5(),3()) -> 8()
80.22/24.91	 +(5(),4()) -> 9()
80.22/24.91	 +(5(),5()) -> c(1(),0())
80.22/24.91	 +(5(),6()) -> c(1(),1())
80.22/24.91	 +(5(),7()) -> c(1(),2())
80.22/24.91	 +(5(),8()) -> c(1(),3())
80.22/24.91	 +(5(),9()) -> c(1(),4())
80.22/24.91	 +(6(),0()) -> 6()
80.22/24.91	 +(6(),1()) -> 7()
80.22/24.91	 +(6(),2()) -> 8()
80.22/24.91	 +(6(),3()) -> 9()
80.22/24.91	 +(6(),4()) -> c(1(),0())
80.22/24.91	 +(6(),5()) -> c(1(),1())
80.22/24.91	 +(6(),6()) -> c(1(),2())
80.22/24.91	 +(6(),7()) -> c(1(),3())
80.22/24.91	 +(6(),8()) -> c(1(),4())
80.22/24.91	 +(6(),9()) -> c(1(),5())
80.22/24.91	 +(7(),0()) -> 7()
80.22/24.91	 +(7(),1()) -> 8()
80.22/24.91	 +(7(),2()) -> 9()
80.22/24.91	 +(7(),3()) -> c(1(),0())
80.22/24.91	 +(7(),4()) -> c(1(),1())
80.22/24.91	 +(7(),5()) -> c(1(),2())
80.22/24.91	 +(7(),6()) -> c(1(),3())
80.22/24.91	 +(7(),7()) -> c(1(),4())
80.22/24.91	 +(7(),8()) -> c(1(),5())
80.22/24.91	 +(7(),9()) -> c(1(),6())
80.22/24.91	 +(8(),0()) -> 8()
80.22/24.91	 +(8(),1()) -> 9()
80.22/24.91	 +(8(),2()) -> c(1(),0())
80.22/24.91	 +(8(),3()) -> c(1(),1())
80.22/24.91	 +(8(),4()) -> c(1(),2())
80.22/24.91	 +(8(),5()) -> c(1(),3())
80.22/24.91	 +(8(),6()) -> c(1(),4())
80.22/24.91	 +(8(),7()) -> c(1(),5())
80.22/24.91	 +(8(),8()) -> c(1(),6())
80.22/24.91	 +(8(),9()) -> c(1(),7())
80.22/24.91	 +(9(),0()) -> 9()
80.22/24.91	 +(9(),1()) -> c(1(),0())
80.22/24.91	 +(9(),2()) -> c(1(),1())
80.22/24.91	 +(9(),3()) -> c(1(),2())
80.22/24.91	 +(9(),4()) -> c(1(),3())
80.22/24.91	 +(9(),5()) -> c(1(),4())
80.22/24.91	 +(9(),6()) -> c(1(),5())
80.22/24.91	 +(9(),7()) -> c(1(),6())
80.22/24.91	 +(9(),8()) -> c(1(),7())
80.22/24.91	 +(9(),9()) -> c(1(),8())
80.22/24.91	 +(x,c(y,z)) -> c(y,+(x,z))
80.22/24.91	 +(c(x,y),z) -> c(x,+(y,z))
80.22/24.91	 c(0(),x) -> x
80.22/24.91	 c(x,c(y,z)) -> c(+(x,y),z)
80.22/24.91	
80.22/24.91	Proof:
80.22/24.91	 Open
80.22/24.91	EOF