영선이는 미적분학 시험을 준비하면서 명제 N개가 모두 동치임을 증명하려고 한다. 명제에는 0번부터 N−1번까지 번호가 붙어 있다.
서로 다른 두 명제 x와 y에 대해 영선이는 "x이면 y이다"를 증명할 수 있고, 증명마다 난이도가 정해져 있다. "x이면 y이다"의 난이도와 "y이면 x이다"의 난이도는 서로 다를 수 있다.
영선이가 오늘 할 일은 증명을 몇 개 골라서 임의의 두 명제가 직접 또는 다른 명제를 거쳐 서로를 함축하게 만드는 것이다. 예를 들어 N=3이면 0 => 1, 1 => 0, 0 => 2, 2 => 0을 증명하는 방법이 있고, 0 => 1, 1 => 2, 2 => 0을 증명하는 방법도 있다.
이렇게 고른 증명 중에서 가장 어려운 난이도와 가장 쉬운 난이도의 차이를 최소로 만들려고 한다. 그 최솟값을 구하는 프로그램을 작성하시오.