Solved by isabelle

#	Title	# Solved	Avg. Tries
1000	A+B STANDARD	321,180	2.59
1001	A-B STANDARD	275,880	1.44
1002	터렛	39,834	4.41
1008	A/B STANDARD	227,616	2.90
1011	Fly me to the Alpha Centauri	24,516	3.12
1018	체스판 다시 칠하기	55,387	2.00
1065	한수	70,322	1.82
1085	직사각형에서 탈출	62,434	1.53
1110	더하기 사이클	103,865	2.11
1152	단어의 개수 STANDARD	113,668	3.01
1157	단어 공부	100,769	2.50
1193	분수찾기	59,474	1.93
1316	그룹 단어 체커	78,237	1.86
1330	두 수 비교하기 STANDARD	201,001	2.01
1436	영화감독 숌	53,307	1.69
1546	평균	127,617	1.99
1712	손익분기점 STANDARD	57,658	3.54
1929	소수 구하기	64,220	3.55
1978	소수 찾기 STANDARD	88,245	2.11
2231	Digit Generator	64,090	2.20
2292	벌집 STANDARD	77,069	2.22
2438	별 찍기 - 1 STANDARD	184,927	1.61
2439	별 찍기 - 2 STANDARD	168,707	1.79
2446	별 찍기 - 9 STANDARD	33,117	1.66
2447	별 찍기 - 10	33,657	1.78
2523	별 찍기 - 13	22,615	1.38
2557	Hello World STANDARD	354,922	2.54
2562	최댓값	136,660	2.20
2577	숫자의 개수	101,791	1.65
2581	소수 STANDARD	55,240	2.52
2588	곱셈 STANDARD	169,811	2.15
2675	Repeating Characters	109,624	2.00
2739	구구단 STANDARD	196,602	1.98
2741	N 찍기 STANDARD	137,601	1.74
2742	기찍 N	117,417	1.45
2753	윤년 STANDARD	182,033	1.94
2775	부녀회장이 될테야	53,828	1.73
2798	JACK	77,418	2.03
2839	ŠEĆER STANDARD	101,697	2.64
2869	PUŽ	71,551	3.17
2884	SPAVANAC	165,972	2.65
2908	FILIP	96,201	1.45
2941	LJESNJAK	74,840	2.24
3009	CETVRTA	42,696	1.36
3052	MODULO	114,790	1.73
3053	HERMAN	22,150	2.04
4153	Egypt	48,628	1.99
4344	Above Average	82,284	2.47
4673	Self Numbers	72,996	2.02
4948	Chebyshev's Theorem	35,750	2.56

12