팔렘방 시에는 무시강이 흘러 도시가 두 구역으로 나뉜다. 두 구역을 구역 A와 구역 B라고 하자.
각 구역에는 강변을 따라 빌딩이 정확히 1,000,000,001개 있고, 0번부터 1,000,000,000번까지 번호가 붙어 있다. 이웃한 두 빌딩 사이의 거리는 1이고 강의 폭도 1이다. 구역 A의 빌딩 i는 구역 B의 빌딩 i와 강을 사이에 두고 정확히 마주 본다.
시민 N명이 이 도시에서 살면서 일한다. 시민 i는 구역 Pi의 빌딩 Si에 살고, 사무실은 구역 Qi의 빌딩 Ti에 있다. 사는 곳과 사무실이 서로 다른 구역에 있으면 지금까지는 배로 강을 건너야 했다. 배를 타는 일이 번거롭기 때문에 시는 다리를 최대 K개 놓아서 모든 시민이 자동차로만 출근하게 만들려고 한다. 다리는 강과 수직이어야 하므로 같은 번호의 두 빌딩을 잇고, 서로 다른 다리는 서로 다른 번호에 놓인다.
다리를 다 놓은 뒤 시민 i가 집에서 사무실까지 자동차로 이동하는 최소 거리를 Di라고 하자. D1+D2+⋯+DN이 최소가 되도록 다리를 놓았을 때 그 최솟값을 구하라.
첫 줄에 K와 N이 주어진다. 이어지는 N개의 줄에는 각각 Pi, Si, Qi, Ti가 공백으로 구분되어 주어진다.
출근 거리 합의 최솟값을 한 줄에 출력한다.
두 예제 입력을 함께 나타낸 그림이다.

첫 번째 예제의 답이 되는 배치 하나이다. 분홍색 부분이 다리이다.

두 번째 예제의 답이 되는 배치 하나이다.
