#include<stdio.h>
int main(){
    int a,b;
    scanf("%d",&a);
    scanf("%d",&b);
    if(a==b){
        printf("0: 0\n1: 4\n2: 2");
    }
    else{
        printf("0: 0\n")
    }
}