LIS, 소수판별 최적화, 유파 이런거 나왔던걸로 아는데


이거 무지성 완탐도 되거든