t,y;main(x){scanf("%d%d%d",&t,&y,&x);for(puts(t":""))y-t&1&&putchar(y--