#include <bits/stdc++.h>
using namespace std;

ifstream in("coarde.in");
ofstream out("coarde.out");


unsigned long long int catlan(unsigned long long int n){
    unsigned long long int  v[101]= {};
    v[0]=1;
    v[1]=1;
    for(int i = 2; i <= n;i++){
        for(int j = 0; j < i;j++)
            v[i] =v[i] + v[j] * v[i-j-1];
    }
    return v[n];
}

int main(){
    unsigned long long int n=100, x,k= 1;
    cin>>n;
    while(n != 0){
    x = catlan(n);
    cout<<k<<":"<<x%9999991<<'\n';
    k++;
    cin>>n;
    }
    return 0;
}