#include <stdio.h>
#include <stdlib.h>

void show_str(char *s)
{
	//|-->
	printf("%s", s);
	//<--|

	/*-->|
	f = eval("sys.stdout.write");
	f(s);
	|<--*/
}

void show_int(int v)
{
	//|-->
	printf("%d", v);
	//<--|

	/*-->|
	f = eval("int")
	show_str( str( f(v) ) );
	|<--*/
}

/*-->|
void atoi(char *s)
{
	return eval(s)
}
|<--*/

void show_res(int lv, int v)
{
	show_str("ck");
	show_int(lv);
	show_str(":");
	show_int(v);
	show_str("\n");
}

int main(int argc, char **argv)
{
	int lv = 100, lc = 0, v, i;

	if (argc > 1) lv = atoi( argv[1] );

	if (lv >= ++lc) {
		v = 0;
		for (i=1; i<=10; i++) v += i;
		show_res(lc, v);
	}
	if (lv >= ++lc) {	
		for (v=0,i=1; i<=10; i++) v += i;
		show_res(lc, v);
	}
	if (lv >= ++lc) {	
		for (v=0,i=1; i<=10; v+=i,i++);
		show_res(lc, v);
	}
	if (lv >= ++lc) {	
		for (v=0,i=1; i<=10; v+=i,++i);
		show_res(lc, v);
	}
	if (lv >= ++lc) {	
		v = 0; i = 1;
		for (; i<=10; ) v += i++;
		show_res(lc, v);
	}
	if (lv >= ++lc) {	
		v = 0; i = 1;
		for (;;) if (i<=10) v += i++; else break;
		show_res(lc, v);
	}
	if (lv >= ++lc) {	
		for (v=0,i=-10; i<=10; i++) if (i <= 0) continue; else v += i;
		show_res(lc, v);
	}
	return 0;
}