Problem:
Score : 900 points

Problem Statement

In the city of Nevermore, there are 10^8 streets and 10^8 avenues, both numbered from 0 to 10^8-1.
All streets run straight from west to east, and all avenues run straight from south to north.
The distance between neighboring streets and between neighboring avenues is exactly 100 meters.

Every street intersects every avenue. Every intersection can be described by pair (x, y), where x is avenue ID and y is street ID.

There are N fountains in the city, situated at intersections (X_i, Y_i).
Unlike normal intersections, there's a circle with radius 10 meters centered at the intersection, and there are no road parts inside this circle.

The picture below shows an example of how a part of the city with roads and fountains may look like.

City governors don't like encountering more than one fountain while moving along the same road.
Therefore, every street contains at most one fountain on it, as well as every avenue.

Citizens can move along streets, avenues and fountain perimeters.
What is the shortest distance one needs to cover in order to get from intersection (x_1, y_1) to intersection (x_2, y_2)?

Constraints

0 \leq x_1, y_1, x_2, y_2 < 10^8

1 \leq N \leq 200,000

0 \leq X_i, Y_i < 10^8

X_i \neq X_j for i \neq j

Y_i \neq Y_j for i \neq j

Intersections (x_1, y_1) and (x_2, y_2) are different and don't contain fountains.

All input values are integers.

Input

Input is given from Standard Input in the following format:

x_1 y_1 x_2 y_2
N
X_1 Y_1
X_2 Y_2
:
X_N Y_N

Output

Print the shortest possible distance one needs to cover in order to get from intersection (x_1, y_1) to intersection (x_2, y_2), in meters.
Your answer will be considered correct if its absolute or relative error doesn't exceed 10^{-11}.

Sample Input 1

1 1 6 5
3
3 2
5 3
2 4

Sample Output 1

891.415926535897938

One possible shortest path is shown on the picture below. The path starts at the blue point, finishes at the purple point and follows along the red line.

Sample Input 2

3 5 6 4
3
3 2
5 3
2 4

Sample Output 2

400.000000000000000

Sample Input 3

4 2 2 2
3
3 2
5 3
2 4

Sample Output 3

211.415926535897938

Solution in C++14 (GCC 5.4.1) (judge verdict: Wrong Answer)

#include <bits/stdc++.h>
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
typedef long double ld;
typedef pair<int, int> pii;

const ld PI = acosl(ld(-1));

int xa, ya, xb, yb;
int n;
pii a[200105];
map<int, int> have_on_hor, have_on_ver;

int t[800105];

void update(int v, int tl, int tr, int idx, int val) {
    if (tl == tr)
        t[v] = val;
    else {
        int tm = (tl + tr) >> 1;
        if (idx <= tm)
            update(v + v, tl, tm, idx, val);
        else
            update(v + v + 1, tm + 1, tr, idx, val);
        t[v] = max(t[v + v], t[v + v + 1]);
    }
}

int get(int v, int tl, int tr, int l, int r) {
    if (l > r) return 0;
    if (l == tl && r == tr)
        return t[v];
    int tm = (tl + tr) >> 1;
    return max(get(v + v, tl, tm, l, min(r, tm)), get(v + v + 1, tm + 1, tr, max(l, tm + 1), r));
}

int main()
{
    ios_base::sync_with_stdio(false);

    cin >> xa >> ya >> xb >> yb >> n;
    for (int i = 0; i < n; ++i) {
        cin >> a[i].first >> a[i].second;
        have_on_ver[a[i].first] = a[i].second + 1;
        have_on_hor[a[i].second] = a[i].first + 1;
    }

    if (xa == xb) {
        if (ya > yb) swap(ya, yb);
        int on_ver = have_on_ver[xa];
        ld ans = (yb - ya) * 100LL;
        if (on_ver && ya <= on_ver - 1 && on_ver - 1 <= yb)
            ans += -20 + 10 * PI;
        cout << setprecision(17) << fixed << ans << endl;
    } else if (ya == yb) {
        if (xa > xb) swap(xa, xb);
        int on_hor = have_on_hor[ya];
        ld ans = (xb - xa) * 100LL;
        if (on_hor && xa <= on_hor - 1 && on_hor - 1 <= xb)
            ans += -20 + 10 * PI;
        cout << setprecision(17) << fixed << ans << endl;
    } else {
        if (xa > xb) {
            xa = 99999999 - xa;
            xb = 99999999 - xb;
            for (int i = 0; i < n; ++i)
                a[i].first = 99999999 - a[i].first;
        }
        if (ya > yb) {
            ya = 99999999 - ya;
            yb = 99999999 - yb;
            for (int i = 0; i < n; ++i)
                a[i].second = 99999999 - a[i].second;
        }
        int m = 0;
        for (int i = 0; i < n; ++i)
            if (xa <= a[i].first && a[i].first <= xb && ya <= a[i].second && a[i].second <= yb)
                a[m++] = a[i];
        n = m;
        ld ans = (yb - ya + xb - xa) * 100LL;
        map<int, int> mp;
        mp[ya] = 1;
        mp[yb] = 1;
        for (int i = 0; i < n; ++i)
            mp[a[i].second] = 1;
        int ci = 0;
        for (pii x : mp)
            if (x.second)
                mp[x.first] = ci++;
        ya = mp[ya];
        yb = mp[yb];
        for (int i = 0; i < n; ++i)
            a[i].second = mp[a[i].second];
        sort(a, a + n);
        for (int i = n - 1; i >= 0; --i) {
            int cur = get(1, 0, ci - 1, a[i].second, ci - 1);
            update(1, 0, ci - 1, a[i].second, cur + 1);
        }
        int cur = get(1, 0, ci - 1, 0, ci - 1);
        ans -= 5 * (4 - PI) * cur;
        if (cur == xb - xa + 1 || cur == yb - ya + 1)
            ans += 5 * PI;
        //cerr << cur << " " << ci << endl;
        cout << setprecision(17) << fixed << ans << endl;
    }

    return 0;
}