Solved by isabelle

#	Title	# Solved	Avg. Tries
1000	A+B STANDARD	325,290	2.59
1001	A-B STANDARD	279,649	1.45
1002	터렛	40,226	4.40
1008	A/B STANDARD	231,035	2.90
1011	Fly me to the Alpha Centauri	24,730	3.12
1018	체스판 다시 칠하기	56,471	1.99
1065	한수	70,589	1.82
1085	직사각형에서 탈출	63,298	1.52
1110	더하기 사이클	104,305	2.11
1152	단어의 개수 STANDARD	115,651	3.00
1157	단어 공부	102,232	2.50
1193	분수찾기	60,334	1.93
1316	그룹 단어 체커	79,559	1.86
1330	두 수 비교하기 STANDARD	204,228	2.01
1436	영화감독 숌	54,406	1.69
1546	평균	129,810	1.99
1712	손익분기점 STANDARD	57,807	3.54
1929	소수 구하기	65,222	3.54
1978	소수 찾기 STANDARD	89,846	2.11
2231	Digit Generator	65,337	2.20
2292	벌집 STANDARD	78,369	2.22
2438	별 찍기 - 1 STANDARD	187,562	1.61
2439	별 찍기 - 2 STANDARD	171,126	1.79
2446	별 찍기 - 9 STANDARD	33,503	1.66
2447	별 찍기 - 10	34,025	1.78
2523	별 찍기 - 13	22,777	1.38
2557	Hello World STANDARD	359,347	2.54
2562	최댓값	139,040	2.20
2577	숫자의 개수	102,800	1.65
2581	소수 STANDARD	56,020	2.52
2588	곱셈 STANDARD	172,486	2.15
2675	Repeating Characters	111,687	2.00
2739	구구단 STANDARD	199,446	1.98
2741	N 찍기 STANDARD	138,745	1.74
2742	기찍 N	117,832	1.45
2753	윤년 STANDARD	184,996	1.94
2775	부녀회장이 될테야	54,613	1.73
2798	JACK	78,943	2.02
2839	ŠEĆER STANDARD	102,989	2.63
2869	PUŽ	72,838	3.17
2884	SPAVANAC	168,647	2.64
2908	FILIP	97,658	1.45
2941	LJESNJAK	76,092	2.24
3009	CETVRTA	43,501	1.36
3052	MODULO	116,815	1.73
3053	HERMAN	22,231	2.04
4153	Egypt	49,737	1.99
4344	Above Average	82,505	2.47
4673	Self Numbers	73,225	2.02
4948	Chebyshev's Theorem	36,109	2.56

12