Solved by isabelle

#	Title	# Solved	Avg. Tries
15596	정수 N개의 합	61,838	1.98
15552	빠른 A+B STANDARD	129,484	2.20
14681	Quadrant Selection STANDARD	156,981	1.64
11729	하노이 탑 이동 순서	37,612	1.95
11720	숫자의 합 STANDARD	129,807	1.79
11654	아스키 코드 STANDARD	121,650	1.23
11022	A+B - 8 STANDARD	133,224	1.47
11021	A+B - 7 STANDARD	137,476	2.04
10998	A×B STANDARD	230,089	1.30
10996	별 찍기 - 21	12,564	1.34
10989	수 정렬하기 3 STANDARD	59,937	4.19
10952	A+B - 5 STANDARD	145,074	1.90
10951	A+B - 4 STANDARD	133,588	2.77
10950	A+B - 3 STANDARD	166,437	1.71
10872	팩토리얼	82,792	1.80
10871	X보다 작은 수 STANDARD	154,052	1.84
10870	피보나치 수 5	62,525	1.64
10869	사칙연산 STANDARD	227,475	2.24
10818	최소, 최대	143,643	2.26
10817	세 수	59,809	1.98
10809	알파벳 찾기	110,010	1.87
10718	We love kriii STANDARD	182,480	1.53
10430	나머지 STANDARD	195,778	1.95
10250	ACM Hotel	60,243	3.00
10172	Dogs STANDARD	179,702	2.33
10171	Cats STANDARD	183,898	2.80
10039	평균 점수	43,963	1.59
9498	시험 성적 STANDARD	204,916	1.83
9020	Goldbach’s Conjecture	27,839	2.54
8958	Score	99,399	1.93
8393	Sum STANDARD	167,289	1.56
7568	덩치	52,018	1.78
5622	BAKA	76,527	1.71
5543	상근날드	28,101	1.47
4948	Chebyshev's Theorem	35,750	2.56
4673	Self Numbers	72,996	2.02
4344	Above Average	82,297	2.47
4153	Egypt	48,655	1.99
3053	HERMAN	22,150	2.04
3052	MODULO	114,838	1.73
3009	CETVRTA	42,696	1.36
2941	LJESNJAK	74,866	2.24
2908	FILIP	96,231	1.45
2884	SPAVANAC	166,045	2.65
2869	PUŽ	71,578	3.17
2839	ŠEĆER STANDARD	101,721	2.64
2798	JACK	77,433	2.03
2775	부녀회장이 될테야	53,829	1.73
2753	윤년 STANDARD	182,110	1.94
2742	기찍 N	117,421	1.45

12