#include<stdio.h>
int main();
{
    int a;
    scanf("%d",&a);
    if(a<0)
    {
        printf("Invalid input");
    }
    printf("0: 0");
    printf("1: 4");
    printf("2: 2");
}