698.63/299.38	MAYBE
698.63/299.38	
698.63/299.38	Problem:
698.63/299.38	 strict:
698.63/299.38	  half(0()) -> 0()
698.63/299.38	  half(s(0())) -> 0()
698.63/299.38	  half(s(s(x))) -> s(half(x))
698.63/299.38	  lastbit(0()) -> 0()
698.63/299.38	  lastbit(s(0())) -> s(0())
698.63/299.38	  lastbit(s(s(x))) -> lastbit(x)
698.63/299.38	  conv(0()) -> cons(nil(),0())
698.63/299.38	  conv(s(x)) -> cons(conv(half(s(x))),lastbit(s(x)))
698.63/299.38	 weak:
698.63/299.38	  rand(x) -> x
698.63/299.38	  rand(x) -> rand(s(x))
698.63/299.38	
698.63/299.38	Proof:
698.63/299.38	 Open
698.63/299.39	EOF