main(j){for(;j<101;printf("%d : %qd\n",j++,2*ffs(j)-1ll<