/* Authors: Vu Hoang Bach from Phuoc Hoa Secondary School */
//#pragma GCC optimize("O3", "unroll-loops")
//#pragma GCC target("avx2", "bmi", "bmi2", "lzcnt", "popcnt")
#include <bits/stdc++.h>
#define ldb long double
//#define double ldb
#define db double
#define unomap unordered_map
#define unoset unordered_set
#define endl '\n'
#define str string
#define strstr stringstream
#define sz(a) (int)a.size()
#define ll long long
//#define int ll
#define pii pair <int, int>
#define pll pair <ll, ll>
#define Unique(a) a.resize(unique(all(a)) - a.begin())
#define ull unsigned ll
#define fir first
#define sec second
#define idc cin.ignore()
#define lb lower_bound
#define ub upper_bound
#define all(s) s.begin(), s.end()
#define rev reverse
#define sigma ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
#define skibidi int main
#define rizz signed main
#define gcd __gcd
#define found(a, mp) mp.find(a) != mp.end()
#define pushb push_back
#define popb pop_back
#define pushf push_front
#define popf pop_front
#define mul2x(a, x) a << x
#define div2x(a, x) a >> x
#define lcm(a, b) a / __gcd(a, b) * b
#define log_base(x, base) log(x) / log(base)
#define debug clog << "No errors!"; exit(0);
#define forw(i, a, b) for (int i = a; i <= b; ++i)
#define forw2(i, a, b) for (ll i = a; i <= b; ++i)
#define fors(i, a, b) for (int i = a; i >= b; --i)
#define fors2(i, a, b) for (ll i = a; i >= b; --i)
#define pqueue priority_queue
#define sqrt sqrtl
#define name "BUSROUTE"
#define want_digit(x) cout << fixed << setprecision(x);
#define excuting_time 1000.0 * clock() / CLOCKS_PER_SEC
using namespace std;
const int MOD = 1e9 + 7; // 998244353
const int inf = 1e9;
const ll INF = 1e18;
const int N = 1e2;
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
ll random(const ll &L, const ll &R)
{
return uniform_int_distribution<ll> (L, R) (rng);
}
template <class X, class Y>
bool minimize(X &x, const Y &y)
{
return x > y ? x = y, true : false;
}
int n, k;
ll ans = INF, r[N + 5];
int prev(int x)
{
if (!x) return k - 1;
return x - 1;
}
int next(int x)
{
if (x + 1 == k) return 0;
return x + 1;
}
void recur(int pos, int cnt, vector <int> open)
{
if (cnt == k)
{
ll sum = 0;
int pos = lb(all(open), 1) - open.begin(), pos1;
pos1 = prev(pos);
forw (i, 1, n)
{
if (open[pos] < i)
{
pos1 = pos;
pos = next(pos);
}
sum += r[i] * min(abs(open[pos] - i), abs(i - open[pos1]));
}
minimize(ans, sum);
return;
}
if (pos > n || n - pos + 1 < k - cnt) return;
recur(pos + 1, cnt, open);
open.pushb(pos);
recur(pos + 1, cnt + 1, open);
}
void cook()
{
cin >> n >> k;
forw (i, 1, n) cin >> r[i];
vector <int> tmp;
recur(1, 0, tmp);
cout << ans << endl;
}
skibidi()
//rizz()
{
srand(time(NULL));
sigma;
if (fopen(name".INP", "r"))
{
freopen(name".INP", "r", stdin);
freopen(name".OUT", "w", stdout);
}
int numTest = 1;
// cin >> numTest;
while (numTest--)
{
cook();
}
return 0;
}
LyogQXV0aG9yczogVnUgSG9hbmcgQmFjaCBmcm9tIFBodW9jIEhvYSBTZWNvbmRhcnkgU2Nob29sICovCgovLyNwcmFnbWEgR0NDIG9wdGltaXplKCJPMyIsICJ1bnJvbGwtbG9vcHMiKQovLyNwcmFnbWEgR0NDIHRhcmdldCgiYXZ4MiIsICJibWkiLCAiYm1pMiIsICJsemNudCIsICJwb3BjbnQiKQoKI2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CiNkZWZpbmUgbGRiIGxvbmcgZG91YmxlCi8vI2RlZmluZSBkb3VibGUgbGRiCiNkZWZpbmUgZGIgZG91YmxlCiNkZWZpbmUgdW5vbWFwIHVub3JkZXJlZF9tYXAKI2RlZmluZSB1bm9zZXQgdW5vcmRlcmVkX3NldAojZGVmaW5lIGVuZGwgJ1xuJwojZGVmaW5lIHN0ciBzdHJpbmcKI2RlZmluZSBzdHJzdHIgc3RyaW5nc3RyZWFtCiNkZWZpbmUgc3ooYSkgKGludClhLnNpemUoKQojZGVmaW5lIGxsIGxvbmcgbG9uZwovLyNkZWZpbmUgaW50IGxsCiNkZWZpbmUgcGlpIHBhaXIgPGludCwgaW50PgojZGVmaW5lIHBsbCBwYWlyIDxsbCwgbGw+CiNkZWZpbmUgVW5pcXVlKGEpIGEucmVzaXplKHVuaXF1ZShhbGwoYSkpIC0gYS5iZWdpbigpKQojZGVmaW5lIHVsbCB1bnNpZ25lZCBsbAojZGVmaW5lIGZpciBmaXJzdAojZGVmaW5lIHNlYyBzZWNvbmQKI2RlZmluZSBpZGMgY2luLmlnbm9yZSgpCiNkZWZpbmUgbGIgbG93ZXJfYm91bmQKI2RlZmluZSB1YiB1cHBlcl9ib3VuZAojZGVmaW5lIGFsbChzKSBzLmJlZ2luKCksIHMuZW5kKCkKI2RlZmluZSByZXYgcmV2ZXJzZQojZGVmaW5lIHNpZ21hIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCksIGNpbi50aWUoMCksIGNvdXQudGllKDApOwojZGVmaW5lIHNraWJpZGkgaW50IG1haW4KI2RlZmluZSByaXp6IHNpZ25lZCBtYWluCiNkZWZpbmUgZ2NkIF9fZ2NkCiNkZWZpbmUgZm91bmQoYSwgbXApIG1wLmZpbmQoYSkgIT0gbXAuZW5kKCkKI2RlZmluZSBwdXNoYiBwdXNoX2JhY2sKI2RlZmluZSBwb3BiIHBvcF9iYWNrCiNkZWZpbmUgcHVzaGYgcHVzaF9mcm9udAojZGVmaW5lIHBvcGYgcG9wX2Zyb250CiNkZWZpbmUgbXVsMngoYSwgeCkgYSA8PCB4CiNkZWZpbmUgZGl2MngoYSwgeCkgYSA+PiB4CiNkZWZpbmUgbGNtKGEsIGIpIGEgLyBfX2djZChhLCBiKSAqIGIKI2RlZmluZSBsb2dfYmFzZSh4LCBiYXNlKSBsb2coeCkgLyBsb2coYmFzZSkKI2RlZmluZSBkZWJ1ZyBjbG9nIDw8ICJObyBlcnJvcnMhIjsgZXhpdCgwKTsKI2RlZmluZSBmb3J3KGksIGEsIGIpIGZvciAoaW50IGkgPSBhOyBpIDw9IGI7ICsraSkKI2RlZmluZSBmb3J3MihpLCBhLCBiKSBmb3IgKGxsIGkgPSBhOyBpIDw9IGI7ICsraSkKI2RlZmluZSBmb3JzKGksIGEsIGIpIGZvciAoaW50IGkgPSBhOyBpID49IGI7IC0taSkKI2RlZmluZSBmb3JzMihpLCBhLCBiKSBmb3IgKGxsIGkgPSBhOyBpID49IGI7IC0taSkKI2RlZmluZSBwcXVldWUgcHJpb3JpdHlfcXVldWUKI2RlZmluZSBzcXJ0IHNxcnRsCiNkZWZpbmUgbmFtZSAiQlVTUk9VVEUiCiNkZWZpbmUgd2FudF9kaWdpdCh4KSBjb3V0IDw8IGZpeGVkIDw8IHNldHByZWNpc2lvbih4KTsKI2RlZmluZSBleGN1dGluZ190aW1lIDEwMDAuMCAqIGNsb2NrKCkgLyBDTE9DS1NfUEVSX1NFQwp1c2luZyBuYW1lc3BhY2Ugc3RkOwpjb25zdCBpbnQgTU9EID0gMWU5ICsgNzsgLy8gOTk4MjQ0MzUzCmNvbnN0IGludCBpbmYgPSAxZTk7CmNvbnN0IGxsIElORiA9IDFlMTg7CmNvbnN0IGludCBOID0gMWUyOwoKbXQxOTkzN182NCBybmcoY2hyb25vOjpzdGVhZHlfY2xvY2s6Om5vdygpLnRpbWVfc2luY2VfZXBvY2goKS5jb3VudCgpKTsKbGwgcmFuZG9tKGNvbnN0IGxsICZMLCBjb25zdCBsbCAmUikKewogICAgcmV0dXJuIHVuaWZvcm1faW50X2Rpc3RyaWJ1dGlvbjxsbD4gKEwsIFIpIChybmcpOwp9Cgp0ZW1wbGF0ZSA8Y2xhc3MgWCwgY2xhc3MgWT4KYm9vbCBtaW5pbWl6ZShYICZ4LCBjb25zdCBZICZ5KQp7CiAgICByZXR1cm4geCA+IHkgPyB4ID0geSwgdHJ1ZSA6IGZhbHNlOwp9CgppbnQgbiwgazsKbGwgYW5zID0gSU5GLCByW04gKyA1XTsKCmludCBwcmV2KGludCB4KQp7CiAgICBpZiAoIXgpIHJldHVybiBrIC0gMTsKICAgIHJldHVybiB4IC0gMTsKfQoKaW50IG5leHQoaW50IHgpCnsKICAgIGlmICh4ICsgMSA9PSBrKSByZXR1cm4gMDsKICAgIHJldHVybiB4ICsgMTsKfQoKdm9pZCByZWN1cihpbnQgcG9zLCBpbnQgY250LCB2ZWN0b3IgPGludD4gb3BlbikKewogICAgaWYgKGNudCA9PSBrKQogICAgewogICAgICAgIGxsIHN1bSA9IDA7CiAgICAgICAgaW50IHBvcyA9IGxiKGFsbChvcGVuKSwgMSkgLSBvcGVuLmJlZ2luKCksIHBvczE7CiAgICAgICAgcG9zMSA9IHByZXYocG9zKTsKICAgICAgICBmb3J3IChpLCAxLCBuKQogICAgICAgIHsKICAgICAgICAgICAgaWYgKG9wZW5bcG9zXSA8IGkpCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIHBvczEgPSBwb3M7CiAgICAgICAgICAgICAgICBwb3MgPSBuZXh0KHBvcyk7CiAgICAgICAgICAgIH0KCiAgICAgICAgICAgIHN1bSArPSByW2ldICogbWluKGFicyhvcGVuW3Bvc10gLSBpKSwgYWJzKGkgLSBvcGVuW3BvczFdKSk7CiAgICAgICAgfQoKICAgICAgICBtaW5pbWl6ZShhbnMsIHN1bSk7CiAgICAgICAgcmV0dXJuOwogICAgfQoKICAgIGlmIChwb3MgPiBuIHx8IG4gLSBwb3MgKyAxIDwgayAtIGNudCkgcmV0dXJuOwoKICAgIHJlY3VyKHBvcyArIDEsIGNudCwgb3Blbik7CiAgICBvcGVuLnB1c2hiKHBvcyk7CiAgICByZWN1cihwb3MgKyAxLCBjbnQgKyAxLCBvcGVuKTsKfQoKdm9pZCBjb29rKCkKewogICAgY2luID4+IG4gPj4gazsKICAgIGZvcncgKGksIDEsIG4pIGNpbiA+PiByW2ldOwoKICAgIHZlY3RvciA8aW50PiB0bXA7CiAgICByZWN1cigxLCAwLCB0bXApOwogICAgY291dCA8PCBhbnMgPDwgZW5kbDsKfQoKc2tpYmlkaSgpCi8vcml6eigpCnsKICAgIHNyYW5kKHRpbWUoTlVMTCkpOwogICAgc2lnbWE7CiAgICBpZiAoZm9wZW4obmFtZSIuSU5QIiwgInIiKSkKICAgIHsKICAgICAgICBmcmVvcGVuKG5hbWUiLklOUCIsICJyIiwgc3RkaW4pOwogICAgICAgIGZyZW9wZW4obmFtZSIuT1VUIiwgInciLCBzdGRvdXQpOwogICAgfQogICAgaW50IG51bVRlc3QgPSAxOwovLyAgICBjaW4gPj4gbnVtVGVzdDsKICAgIHdoaWxlIChudW1UZXN0LS0pCiAgICB7CiAgICAgICAgY29vaygpOwogICAgfQogICAgcmV0dXJuIDA7Cn0K