Marked_convlastbitnilMarked_lastbithalfconvsconsMarked_half0xhalf(0)0half(s(0))0half(s(s(x)))s(half(x))lastbit(0)0lastbit(s(0))s(0)lastbit(s(s(x)))lastbit(x)conv(0)cons(nil,0)conv(s(x))cons(conv(half(s(x))),lastbit(s(x)))half(0)0half(s(0))0half(s(s(x)))s(half(x))lastbit(0)0lastbit(s(0))s(0)lastbit(s(s(x)))lastbit(x)conv(0)cons(nil,0)conv(s(x))cons(conv(half(s(x))),lastbit(s(x)))Marked_half(s(s(x)))Marked_half(x)Marked_lastbit(s(s(x)))Marked_lastbit(x)Marked_conv(s(x))Marked_conv(half(s(x)))Marked_conv(s(x))Marked_half(s(x))Marked_conv(s(x))Marked_lastbit(s(x))half(0)0half(s(0))0half(s(s(x)))s(half(x))lastbit(0)0lastbit(s(0))s(0)lastbit(s(s(x)))lastbit(x)conv(0)cons(nil,0)conv(s(x))cons(conv(half(s(x))),lastbit(s(x)))Marked_conv(s(x))Marked_conv(half(s(x)))0000000000000000000cons000000000010000000000000000000000000s001000000000011011000000000conv111111111000000000000000000half000000000000011000000000000nil000000000000000000lastbit101000000000000100000000000Marked_conv000000000000000100000000000half(0)0half(s(0))0half(s(s(x)))s(half(x))lastbit(0)0lastbit(s(0))s(0)lastbit(s(s(x)))lastbit(x)conv(0)cons(nil,0)conv(s(x))cons(conv(half(s(x))),lastbit(s(x)))Marked_half(s(s(x)))Marked_half(x)00Marked_half10cons0s120conv20half110nil0lastbit20half(0)0half(s(0))0half(s(s(x)))s(half(x))lastbit(0)0lastbit(s(0))s(0)lastbit(s(s(x)))lastbit(x)conv(0)cons(nil,0)conv(s(x))cons(conv(half(s(x))),lastbit(s(x)))Marked_lastbit(s(s(x)))Marked_lastbit(x)00cons10s120conv20half110Marked_lastbit10nil0lastbit20