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