a,i;main(){for(;i-128||(i=0)||++a-128;i++)a+i-(a|i)||printf("%d %d:%d\n",a,i,a+i);}