Solved by isabelle

#	Title	# Solved	Avg. Tries
1000	A+B STANDARD	329,152	2.59
1001	A-B STANDARD	283,046	1.45
1002	터렛	40,680	4.40
1008	A/B STANDARD	234,171	2.90
1011	Fly me to the Alpha Centauri	24,930	3.11
1018	체스판 다시 칠하기	57,678	1.99
1065	한수	70,892	1.82
1085	직사각형에서 탈출	64,209	1.52
1110	더하기 사이클	104,692	2.11
1152	단어의 개수 STANDARD	117,381	3.00
1157	단어 공부	103,592	2.50
1193	분수찾기	61,197	1.93
1316	그룹 단어 체커	80,885	1.85
1330	두 수 비교하기 STANDARD	207,053	2.01
1436	영화감독 숌	55,518	1.69
1546	평균	131,640	1.99
1712	손익분기점 STANDARD	57,960	3.53
1929	소수 구하기	66,179	3.52
1978	소수 찾기 STANDARD	91,384	2.11
2231	Digit Generator	66,696	2.20
2292	벌집 STANDARD	79,716	2.22
2438	별 찍기 - 1 STANDARD	189,799	1.61
2439	별 찍기 - 2 STANDARD	173,166	1.78
2446	별 찍기 - 9 STANDARD	33,817	1.66
2447	별 찍기 - 10	34,508	1.78
2523	별 찍기 - 13	22,948	1.38
2557	Hello World STANDARD	363,564	2.54
2562	최댓값	141,053	2.20
2577	숫자의 개수	103,746	1.65
2581	소수 STANDARD	56,888	2.51
2588	곱셈 STANDARD	174,830	2.15
2675	Repeating Characters	113,462	2.00
2739	구구단 STANDARD	201,858	1.98
2741	N 찍기 STANDARD	139,880	1.74
2742	기찍 N	118,254	1.45
2753	윤년 STANDARD	187,538	1.94
2775	부녀회장이 될테야	55,372	1.73
2798	JACK	80,537	2.02
2839	ŠEĆER STANDARD	104,425	2.62
2869	PUŽ	73,985	3.16
2884	SPAVANAC	171,019	2.64
2908	FILIP	98,943	1.46
2941	LJESNJAK	77,247	2.24
3009	CETVRTA	44,322	1.36
3052	MODULO	118,636	1.73
3053	HERMAN	22,308	2.04
4153	Egypt	50,791	2.00
4344	Above Average	82,744	2.47
4673	Self Numbers	73,477	2.02
4948	Chebyshev's Theorem	36,492	2.55

12