logMarked_shalfMarked_halfsMarked_log0`x`half(0)0half(s(0))0half(s(s(x)))s(half(x))s(log(0))s(0)log(s(x))s(log(half(s(x))))half(0)0half(s(0))0half(s(s(x)))s(half(x))s(log(0))s(0)log(s(x))s(log(half(s(x))))Marked_half(s(s(x)))Marked_s(half(x))Marked_half(s(s(x)))Marked_half(x)Marked_s(log(0))Marked_s(0)Marked_log(s(x))Marked_s(log(half(s(x))))Marked_log(s(x))Marked_log(half(s(x)))Marked_log(s(x))Marked_half(s(x))half(0)0half(s(0))0half(s(s(x)))s(half(x))s(log(0))s(0)log(s(x))s(log(half(s(x))))Marked_log(s(x))Marked_log(half(s(x)))0000000000000000000Marked_log000000000100000000000000000s110000000000111000000000000half000000000000010101000000000log000000000010100001000000000half(0)0half(s(0))0half(s(s(x)))s(half(x))s(log(0))s(0)log(s(x))s(log(half(s(x))))Marked_half(s(s(x)))Marked_half(x)Marked_half1Marked_half(s(s(x)))Marked_half(x)half(0)0half(s(0))0half(s(s(x)))s(half(x))s(log(0))s(0)log(s(x))s(log(half(s(x))))