각 변의 길이가 (9,12,15), (12,16,20), (5,12,13), (12,35,37)인 네 직각삼각형은 모두 길이 12인 (빗변이 아닌) 한 변을 가집니다. 다른 어떤 정수변 직각삼각형도 길이 12인 (빗변이 아닌) 변을 가지는 것은 없습니다.

정확히 47547가지 서로 다른 정수변 직각삼각형의 (빗변이 아닌) 변의 길이가 될 수 있는 최소 정수값을 구하세요.