B. Джефф и Фурик
ограничение по времени на тест
1 секунда
ограничение по памяти на тест
256 мегабайт
ввод
stdin
вывод
stdout

Джефф — новый друг Фурика. Сейчас ребята собрались поиграть в одну увлекательную игру.

В самом начале игры Джефф записывает на листке перестановку, состоящую из n чисел: p1, p2, ..., pn. Далее ребята по очереди делают ходы, первым ходит Джефф. На своем ходу Джефф выбирает два соседних элемента перестановки и меняет их местами. На своем ходу Фурик подбрасывает монетку, и если монетка выпадает «орлом», то Фурик выбирает случайную пару соседних элементов с номерами i и i + 1, для которых верно неравенство pi > pi + 1, и меняет их местами. Если же монетка выпала «решкой», то Фурик выбирает случайную пару соседних элементов с номерами i и i + 1, для которых верно неравенство pi < pi + 1, и меняет их местами. Если после того как монетка выпала «орлом» или «решкой» у Фурика есть несколько вариантов, какую пару соседних элементов взять, то он равновероятно выбирает один из вариантов. Если у Фурика нет ни одного варианта, то он подбрасывает монетку еще раз. Игра заканчивается, когда перестановка оказывается отсортированной по возрастанию.

Джефф хочет, чтобы игра закончилась как можно быстрее (то есть было совершено как можно меньше ходов). Помогите Джеффу найти минимальное математическое ожидание количества ходов в игре, если он действует оптимально.

Считайте, что монетка выпадает орлом (и решкой) с вероятностью 50 процентов.

Входные данные

Первая строка содержит целое число n (1 ≤ n ≤ 3000). Следующая строка содержит n различных целых чисел p1, p2, ..., pn (1 ≤ pi ≤ n) — перестановка p. Числа разделены пробелами.

Выходные данные

В единственную строку выведите вещественное число — ответ на задачу. Ответ будет считаться правильным, если его абсолютная или относительная погрешность не превышает 10 - 6.

Примеры
Входные данные
2
1 2
Выходные данные
0.000000
Входные данные
5
3 5 2 4 1
Выходные данные
13.000000
Примечание

В первом тесте последовательность уже отсортирована, следовательно — ответ 0.