Solved by isabelle

#	Title	# Solved	Avg. Tries
2741	N 찍기 STANDARD	137,638	1.74
2739	구구단 STANDARD	196,676	1.98
2675	Repeating Characters	109,687	2.00
2588	곱셈 STANDARD	169,881	2.15
2581	소수 STANDARD	55,256	2.52
2577	숫자의 개수	101,832	1.65
2562	최댓값	136,725	2.20
2557	Hello World STANDARD	355,046	2.54
2523	별 찍기 - 13	22,626	1.38
2447	별 찍기 - 10	33,670	1.78
2446	별 찍기 - 9 STANDARD	33,135	1.66
2439	별 찍기 - 2 STANDARD	168,776	1.79
2438	별 찍기 - 1 STANDARD	185,004	1.61
2292	벌집 STANDARD	77,095	2.22
2231	Digit Generator	64,122	2.20
1978	소수 찾기 STANDARD	88,292	2.11
1929	소수 구하기	64,240	3.55
1712	손익분기점 STANDARD	57,658	3.54
1546	평균	127,670	1.99
1436	영화감독 숌	53,329	1.69
1330	두 수 비교하기 STANDARD	201,115	2.01
1316	그룹 단어 체커	78,271	1.86
1193	분수찾기	59,496	1.93
1157	단어 공부	100,809	2.50
1152	단어의 개수 STANDARD	113,736	3.01
1110	더하기 사이클	103,879	2.11
1085	직사각형에서 탈출	62,453	1.53
1065	한수	70,330	1.82
1018	체스판 다시 칠하기	55,404	2.00
1011	Fly me to the Alpha Centauri	24,516	3.12
1008	A/B STANDARD	227,714	2.90
1002	터렛	39,834	4.41
1001	A-B STANDARD	275,989	1.44
1000	A+B STANDARD	321,286	2.59

12