우주 탐사선

구간 [t1,t2]에서 균일하게 무작위로 정해지는 시작 시각에 대해, 고정된 측정 시각들이 금지 구간에 하나도 들어가지 않을 확률을 구한다.

보통7구간수학정렬구현아직 제출이 없습니다시간 제한2초메모리 제한512 MB

문제

우주 탐사선이 제어를 벗어났다. 탐사선은 초 단위로 주어진 두 시각 t1t_1t2t_2 사이의 어떤 시각 tt에 측정 순서를 시작하지만, 그 시각이 언제인지는 알 수 없다. 구간 [t1,t2][t_1, t_2] 안의 시작 시각 tt는 모두 같은 확률로 나온다.

측정 순서는 미리 입력되어 있어 바꿀 수 없다. 순서는 nn번의 연속된 측정으로 이루어지고, 각 측정의 시간차 m1,m2,,mnm_1, m_2, \dots, m_n은 고정되어 있다. 순서가 시각 tt에 시작하면 첫 번째 측정은 시각 t+m1t + m_1에, 두 번째 측정은 시각 t+m2t + m_2에, 마지막 측정은 시각 t+mnt + m_n에 이루어진다. 측정은 순간에 끝나므로 측정에 걸리는 시간은 00초로 본다.

탐사선은 우주에서 회전하고 있고 자세를 제어할 수 없다. 회전 때문에 측정 장비가 태양을 향하는 시간 구간이 생긴다. 장비가 태양을 향하는 동안 측정하면 센서가 파괴되고 탐사선 전체를 잃는다. 궤도와 회전은 이미 알고 있으므로, 측정을 하면 안 되는 kk개의 시간 구간 [b1,e1],[b2,e2],,[bk,ek][b_1, e_1], [b_2, e_2], \dots, [b_k, e_k]도 알고 있다.

모든 측정을 무사히 마치고 탐사선이 태양 복사에 파괴되지 않을 확률을 구하시오.

주어지는 시각과 구간 길이는 모두 정수이다. 측정 순서의 시작 시각만 알 수 없고, [t1,t2][t_1, t_2] 안의 어떤 실수든 될 수 있다.

입력

첫째 줄에 정수 nn, kk, t1t_1, t2t_2가 주어진다. nn은 측정 횟수, kk는 측정을 하면 안 되는 시간 구간의 개수이고, t1t_1t2t_2는 측정 순서가 시작될 수 있는 시각의 범위이다.

둘째 줄에 측정 순서가 시작된 뒤 각 측정이 이루어지는 시간차 m1,m2,,mnm_1, m_2, \dots, m_n이 정수로 주어진다. 수열 mim_i는 순증가한다.

다음 kk개의 줄에는 측정을 하면 안 되는 구간 [bj,ej][b_j, e_j]를 나타내는 두 정수 bjb_jeje_j가 주어진다. bj<ejb_j < e_j이고 구간끼리 겹치지 않는다. 즉 j>1j > 1인 모든 jj에 대해 ej1<bje_{j-1} < b_j이다.

  • 1n1041 \le n \le 10^4
  • 1k1041 \le k \le 10^4
  • n×k107n \times k \le 10^7
  • 0t1<t210160 \le t_1 < t_2 \le 10^{16}
  • m1,,mnm_1, \dots, m_nb1,e1,,bk,ekb_1, e_1, \dots, b_k, e_k는 모두 00 이상 101610^{16} 미만의 정수이다

한 줄에 있는 값은 공백 하나로 구분된다.

출력

탐사선이 살아남을 확률, 즉 어떤 측정도 금지된 구간 안에서 이루어지지 않을 확률을 출력한다.

입력으로 주어지는 값이 모두 정수이므로 이 확률은 유리수이다. 빗금 앞뒤에 공백 없이 기약분수 p/q 꼴로 출력한다. 여기서 q>0q > 0이고 gcd(p,q)=1\gcd(p, q) = 1이다. 확률이 00이면 0/1을, 11이면 1/1을 출력한다.