bitsMarked_halfhalfsMarked_bits0xhalf(0)0half(s(0))0half(s(s(x)))s(half(x))bits(0)0bits(s(x))s(bits(half(s(x))))half(0)0half(s(0))0half(s(s(x)))s(half(x))bits(0)0bits(s(x))s(bits(half(s(x))))Marked_half(s(s(x)))Marked_half(x)Marked_bits(s(x))Marked_bits(half(s(x)))Marked_bits(s(x))Marked_half(s(x))half(0)0half(s(0))0half(s(s(x)))s(half(x))bits(0)0bits(s(x))s(bits(half(s(x))))Marked_bits(s(x))Marked_bits(half(s(x)))0000000000000000000Marked_bits000000000000000100000000000s101000000011100000000000000half000000000000111000000000000bits001000000000001110000000000half(0)0half(s(0))0half(s(s(x)))s(half(x))bits(0)0bits(s(x))s(bits(half(s(x))))Marked_half(s(s(x)))Marked_half(x)0000000000000000000s011000000000111000000000000half000000100101010000000000000Marked_half000000000000100000000000000bits000000000000000111000000000