#include <bits/stdc++.h>   using namespace std;   long long ans[100010];   long long ans2[100010];   int main() {     int n, p;     int l, r;     while (cin >> n >> p) {       for (int i = 0; i < n; i++) {         scanf( %d%d , &l, &r);         ans[i] = r / p - l / p;         ans2[i] = r - l + 1;         if (l % p == 0) ans[i]++;       }       ans[n] = ans[0];       ans2[n] = ans2[0];       double anss = 0;       for (int i = 0; i < n; i++)         anss += ((ans[i] * (ans2[i + 1] - ans[i + 1]) +                   (ans2[i] - ans[i]) * ans[i + 1] + ans[i] * ans[i + 1]) *                  1.0) /                 (ans2[i] * ans2[i + 1] * 1.0) * 2000;       printf( %.10llf , anss);     }     return 0;   }   