#include<stdio.h.
int main()
{
    printf("0:0\n1:4\n2:2");
    return 0;
}