#include <stdio.h>
#include <bitset>
using namespace std;
int n,m,k;
char f;
int main() {
	while(1){
		scanf("%d", &n);
		if(!(~n)) return 0;
		bitset<130> c;
		bitset<130> a;
		for(int i = 0; i < n; i++) a.set(i);
		scanf("%c%d%c%d", &f, &m, &f, &k);
		for(int i = 0; i < m; i++) c.set(i);
		for(int i = 0; i < k; i++){
			bool l = c.test(n-1);
			bitset<130> t = c<<1;
			if(l) t.set(0);
			c = c ^ t;
		}
		c = c & a;
		printf("%d,%d,%d: %d\n", n,m,k,c.count());
	}
	return 0;
}