import java.io.*;
import java.util.*;
import java.lang.Math;
class Solution {
static class Fenwick {
int n;
int[] bit;
Fenwick(int n) {
this.n = n;
bit = new int[n+1];
}
void add(int idx, int delta) {
for (; idx <= n; idx += idx & -idx) bit[idx] += delta;
}
int sum(int idx) {
int s = 0;
for (; idx > 0; idx -= idx & -idx) s += bit[idx];
return s;
}
int rangeSum(int l, int r) {
if (r < l) return 0;
return sum(r) - sum(l-1);
}
}
public static int permInv(int n, List<Integer> A, int k) {
int[] arr = new int[n];
for (int i = 0; i < n; ++i) arr[i] = A.get(i);
Fenwick fwAll = new Fenwick(n);
long initialInv = 0;
int currWin = 0;
for (int j = 0; j < k; ++j) {
int v = arr[j];
int leq = fwAll.sum(v);
int greater = currWin - leq;
initialInv += greater;
fwAll.add(v, 1);
currWin++;
}
if (k < 2) return (int) initialInv;
long pairsInside = (long) k * (k - 1) / 2;
long best
= Math.
min(initialInv, initialInv
+ pairsInside
- 2 * initialInv
);
for (int i = 0; i + k < n; ++i) {
int leftVal = arr[i];
int lessThan = fwAll.sum(leftVal - 1);
initialInv -= lessThan;
fwAll.add(leftVal, -1);
currWin--;
int newVal = arr[i + k];
int leqNew = fwAll.sum(newVal);
int greaterNew = currWin - leqNew;
initialInv += greaterNew;
fwAll.add(newVal, 1);
currWin++;
long newTotal = initialInv + pairsInside - 2 * initialInv;
if (newTotal < best) best = newTotal;
}
return (int) best;
}
public static void main
(String[] args
) { Scanner scan
= new Scanner
(System.
in); int n
= Integer.
parseInt(scan.
nextLine().
trim()); List<Integer> A = new ArrayList<>();
for (int j = 0; j < n; ++j) {
A.
add(Integer.
parseInt(scan.
nextLine().
trim())); }
int k
= Integer.
parseInt(scan.
nextLine().
trim()); int result = permInv(n, A, k);
}
}
aW1wb3J0IGphdmEuaW8uKjsKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLk1hdGg7CiBjbGFzcyBTb2x1dGlvbiB7CiAgICBzdGF0aWMgY2xhc3MgRmVud2ljayB7CiAgICAgICAgaW50IG47CiAgICAgICAgaW50W10gYml0OwogICAgICAgIEZlbndpY2soaW50IG4pIHsKICAgICAgICAgICAgdGhpcy5uID0gbjsKICAgICAgICAgICAgYml0ID0gbmV3IGludFtuKzFdOwogICAgICAgIH0KICAgICAgICB2b2lkIGFkZChpbnQgaWR4LCBpbnQgZGVsdGEpIHsKICAgICAgICAgICAgZm9yICg7IGlkeCA8PSBuOyBpZHggKz0gaWR4ICYgLWlkeCkgYml0W2lkeF0gKz0gZGVsdGE7CiAgICAgICAgfQogICAgICAgIGludCBzdW0oaW50IGlkeCkgewogICAgICAgICAgICBpbnQgcyA9IDA7CiAgICAgICAgICAgIGZvciAoOyBpZHggPiAwOyBpZHggLT0gaWR4ICYgLWlkeCkgcyArPSBiaXRbaWR4XTsKICAgICAgICAgICAgcmV0dXJuIHM7CiAgICAgICAgfQogICAgICAgIGludCByYW5nZVN1bShpbnQgbCwgaW50IHIpIHsKICAgICAgICAgICAgaWYgKHIgPCBsKSByZXR1cm4gMDsKICAgICAgICAgICAgcmV0dXJuIHN1bShyKSAtIHN1bShsLTEpOwogICAgICAgIH0KICAgIH0KCiAgICBwdWJsaWMgc3RhdGljIGludCBwZXJtSW52KGludCBuLCBMaXN0PEludGVnZXI+IEEsIGludCBrKSB7CiAgICAgICAgaW50W10gYXJyID0gbmV3IGludFtuXTsKICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IG47ICsraSkgYXJyW2ldID0gQS5nZXQoaSk7CgogICAgICAgIEZlbndpY2sgZndBbGwgPSBuZXcgRmVud2ljayhuKTsKICAgICAgICBsb25nIGluaXRpYWxJbnYgPSAwOwogICAgICAgIGludCBjdXJyV2luID0gMDsKCiAgICAgICAgZm9yIChpbnQgaiA9IDA7IGogPCBrOyArK2opIHsKICAgICAgICAgICAgaW50IHYgPSBhcnJbal07CiAgICAgICAgICAgIGludCBsZXEgPSBmd0FsbC5zdW0odik7CiAgICAgICAgICAgIGludCBncmVhdGVyID0gY3VycldpbiAtIGxlcTsKICAgICAgICAgICAgaW5pdGlhbEludiArPSBncmVhdGVyOwogICAgICAgICAgICBmd0FsbC5hZGQodiwgMSk7CiAgICAgICAgICAgIGN1cnJXaW4rKzsKICAgICAgICB9CgogICAgICAgIGlmIChrIDwgMikgcmV0dXJuIChpbnQpIGluaXRpYWxJbnY7CiAgICAgICAgbG9uZyBwYWlyc0luc2lkZSA9IChsb25nKSBrICogKGsgLSAxKSAvIDI7CiAgICAgICAgbG9uZyBiZXN0ID0gTWF0aC5taW4oaW5pdGlhbEludiwgaW5pdGlhbEludiArIHBhaXJzSW5zaWRlIC0gMiAqIGluaXRpYWxJbnYpOwoKICAgICAgICBmb3IgKGludCBpID0gMDsgaSArIGsgPCBuOyArK2kpIHsKICAgICAgICAgICAgaW50IGxlZnRWYWwgPSBhcnJbaV07CiAgICAgICAgICAgIGludCBsZXNzVGhhbiA9IGZ3QWxsLnN1bShsZWZ0VmFsIC0gMSk7CiAgICAgICAgICAgIGluaXRpYWxJbnYgLT0gbGVzc1RoYW47CiAgICAgICAgICAgIGZ3QWxsLmFkZChsZWZ0VmFsLCAtMSk7CiAgICAgICAgICAgIGN1cnJXaW4tLTsKCiAgICAgICAgICAgIGludCBuZXdWYWwgPSBhcnJbaSArIGtdOwogICAgICAgICAgICBpbnQgbGVxTmV3ID0gZndBbGwuc3VtKG5ld1ZhbCk7CiAgICAgICAgICAgIGludCBncmVhdGVyTmV3ID0gY3VycldpbiAtIGxlcU5ldzsKICAgICAgICAgICAgaW5pdGlhbEludiArPSBncmVhdGVyTmV3OwogICAgICAgICAgICBmd0FsbC5hZGQobmV3VmFsLCAxKTsKICAgICAgICAgICAgY3VycldpbisrOwoKICAgICAgICAgICAgbG9uZyBuZXdUb3RhbCA9IGluaXRpYWxJbnYgKyBwYWlyc0luc2lkZSAtIDIgKiBpbml0aWFsSW52OwogICAgICAgICAgICBpZiAobmV3VG90YWwgPCBiZXN0KSBiZXN0ID0gbmV3VG90YWw7CiAgICAgICAgfQoKICAgICAgICByZXR1cm4gKGludCkgYmVzdDsKICAgIH0KCiAgICBwdWJsaWMgc3RhdGljIHZvaWQgbWFpbihTdHJpbmdbXSBhcmdzKSB7CiAgICAgICAgU2Nhbm5lciBzY2FuID0gbmV3IFNjYW5uZXIoU3lzdGVtLmluKTsKICAgICAgICBpbnQgbiA9IEludGVnZXIucGFyc2VJbnQoc2Nhbi5uZXh0TGluZSgpLnRyaW0oKSk7CiAgICAgICAgTGlzdDxJbnRlZ2VyPiBBID0gbmV3IEFycmF5TGlzdDw+KCk7CiAgICAgICAgZm9yIChpbnQgaiA9IDA7IGogPCBuOyArK2opIHsKICAgICAgICAgICAgQS5hZGQoSW50ZWdlci5wYXJzZUludChzY2FuLm5leHRMaW5lKCkudHJpbSgpKSk7CiAgICAgICAgfQogICAgICAgIGludCBrID0gSW50ZWdlci5wYXJzZUludChzY2FuLm5leHRMaW5lKCkudHJpbSgpKTsKICAgICAgICBpbnQgcmVzdWx0ID0gcGVybUludihuLCBBLCBrKTsKICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4ocmVzdWx0KTsKICAgIH0KfQo=