j;main(i){for(;j||--i+128;j=j-i+1&~-i&127)printf("%d %d:%d\n",-i,j,j-i);}