Problem:
Score : 300 points

Problem Statement

We have N ID cards, and there are M gates.

We can pass the i-th gate if we have one of the following ID cards: the L_i-th, (L_i+1)-th, ..., and R_i-th ID cards.

How many of the ID cards allow us to pass all the gates alone?

Constraints

All values in input are integers.

1 \leq N \leq 10^5

1 \leq M \leq 10^5

1 \leq L_i \leq R_i \leq N

Input

Input is given from Standard Input in the following format:

N M
L_1 R_1
L_2 R_2
\vdots
L_M R_M

Output

Print the number of ID cards that allow us to pass all the gates alone.

Sample Input 1

4 2
1 3
2 4

Sample Output 1

2

Two ID cards allow us to pass all the gates alone, as follows:

The first ID card does not allow us to pass the second gate.

The second ID card allows us to pass all the gates.

The third ID card allows us to pass all the gates.

The fourth ID card does not allow us to pass the first gate.

Sample Input 2

10 3
3 6
5 7
6 9

Sample Output 2

1

Sample Input 3

100000 1
1 100000

Sample Output 3

100000

Solution in Haskell (GHC 7.10.3) (judge verdict: Wrong Answer)

import qualified Data.ByteString.Char8 as B
import           Data.Maybe            (fromJust)

main :: IO ()
main = do
  (n, m) <- getInt2
  lrs <- getInt2s
  print $ solve n m lrs

solve :: Int -> Int -> [(Int, Int)] -> Int
solve _ _ lrs = r - l + 1 where
  (l, r) = foldr1 f lrs
  f (l1, r1) (l2, r2) = (max l1 l2, min r1 r2)

readInt2 :: B.ByteString -> (Int, Int)
readInt2 = (\[a, b] -> (a, b)) . map (fst . fromJust . B.readInt) . B.words

getInt2 :: IO (Int, Int)
getInt2 = readInt2 <$> B.getLine

getInt2s :: IO [(Int, Int)]
getInt2s = map readInt2 . B.lines <$> B.getContents