//#pragma GCC optimize("Ofast") //#pragma GCC optimize("unroll-loops") #include using namespace std; using ll = long long; using ull = unsigned long long; using pii = pair; template using V = vector; template using VV = V>; template V make_vec(size_t a) { return V(a); } template auto make_vec(size_t a, Ts... ts) { return V(ts...))>(a, make_vec(ts...)); } #define pb push_back #define eb emplace_back #define mp make_pair #define fi first #define se second #define rep(i, n) rep2(i, 0, n) #define rep2(i, m, n) for (int i = m; i < (n); i++) #define per(i, b) per2(i, 0, b) #define per2(i, a, b) for (int i = int(b) - 1; i >= int(a); i--) #define ALL(c) (c).begin(), (c).end() #define SZ(x) ((int)(x).size()) constexpr ll TEN(int n) { return (n == 0) ? 1 : 10 * TEN(n - 1); } template void chmin(T& t, const U& u) { if (t > u) t = u; } template void chmax(T& t, const U& u) { if (t < u) t = u; } template ostream& operator<<(ostream& os, const pair& p) { os << "(" << p.first << "," << p.second << ")"; return os; } template ostream& operator<<(ostream& os, const vector& v) { os << "{"; rep(i, v.size()) { if (i) os << ","; os << v[i]; } os << "}"; return os; } #ifdef LOCAL void debug_out() { cerr << endl; } template void debug_out(Head H, Tail... T) { cerr << " " << H; debug_out(T...); } #define debug(...) \ cerr << __LINE__ << " [" << #__VA_ARGS__ << "]:", debug_out(__VA_ARGS__) #define dump(x) cerr << __LINE__ << " " << #x << " = " << (x) << endl #else #define debug(...) (void(0)) #define dump(x) (void(0)) #endif template void print(T x, int suc = 1) { cout << x; if (suc == 1) cout << "\n"; else if (suc == 2) cout << " "; } template void print(const vector& v, int suc = 1) { for (int i = 0; i < v.size(); ++i) print(v[i], i == int(v.size()) - 1 ? suc : 2); } template // capacity, distance struct MinCostFlow { struct edge { int to, rev; C cap; D cost; edge(int to, C cap, D cost, int rev) : to(to), cap(cap), cost(cost), rev(rev){}; }; using E = edge; const D INF = numeric_limits::max() / D(3); int n; VV g; V h, dst; V prevv, preve; MinCostFlow(int n) : n(n), g(n), h(n), dst(n), prevv(n), preve(n) {} void add_edge(int f, int t, C cap, D cost) { g[f].emplace_back(t, cap, cost, (int)g[t].size()); g[t].emplace_back(f, 0, -cost, (int)g[f].size() - 1); } // true : no negative cycle void init_dag(V& a, VV& g) { fill(h.begin(), h.end(), INF); h[0] = 0; rep(i, n - 1) { if (i + 1 < n) { chmin(h[i + 1], h[i]); } for (auto to : g[i]) { chmin(h[to], h[i] - a[to] + a[i]); } } } bool init_negative(int s) { fill(h.begin(), h.end(), INF); h[s] = 0; for (int t = 0; t <= n; ++t) { for (int i = 0; i < n; ++i) { for (auto e : g[i]) { if (!e.cap) continue; if (h[e.to] > h[i] + e.cost && t == n) { return false; } h[e.to] = min(h[e.to], h[i] + e.cost); } } } return true; } D exec(int s, int t, C f) { D res = 0; using Data = pair; while (f > 0) { priority_queue, greater> que; fill(dst.begin(), dst.end(), INF); dst[s] = 0; que.push(Data(0, s)); while (!que.empty()) { auto p = que.top(); que.pop(); int v = p.second; if (dst[v] < p.first) continue; rep(i, g[v].size()) { auto e = g[v][i]; D nd = dst[v] + e.cost + h[v] - h[e.to]; if (e.cap > 0 && dst[e.to] > nd) { dst[e.to] = nd; prevv[e.to] = v; preve[e.to] = i; que.push(Data(dst[e.to], e.to)); } } } if (dst[t] == INF) return D(-INF); rep(i, n) if (dst[i] != INF) h[i] += dst[i]; C d = f; for (int v = t; v != s; v = prevv[v]) { d = min(d, g[prevv[v]][preve[v]].cap); } f -= d; res += d * h[t]; for (int v = t; v != s; v = prevv[v]) { edge& e = g[prevv[v]][preve[v]]; e.cap -= d; g[v][e.rev].cap += d; } } return res; } }; int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int N, K; cin >> N >> K; MinCostFlow g(N + 1); VV B(N); V A(N); rep(i, N) { cin >> A[i]; int k; cin >> k; rep(j, k) { int v; cin >> v; --v; g.add_edge(v, i, 1, -(A[i] - A[v])); B[v].pb(i); } if (i + 1 < N) g.add_edge(i, i + 1, K * 2, 0); } g.init_dag(A, B); auto f = g.exec(0, N - 1, K); cout << -f << endl; return 0; }