3735.sagews

i = var('i')
for k in range(1000):
    x = 1000*random()
    if(floor(x)!=sum(floor(x/2^i + 1/2),i,1, floor(log(2*x+1,2)))):
        print "Not True"