#include<stdio.h>
int main()
{
    int n,m,u;
    scanf("%d",&n);
    printf("0: 0"\n);
    scanf("%d",&m);
    printf("2: 2");
    scanf("%d",&u);
    printf("2: 2");
}