#lifting the exponent lemma lte

#	Title	# Solved	Avg. Tries
18496	Euclid’s Algorithm	97	4.58
27307	페르마의 마지막 정리	25	4.16
32241	나머지가 같아지도록	11	3.64

1