#include <bits/stdc++.h>
// #include <ext/pb_ds/assoc_container.hpp>
// #include <ext/pb_ds/tree_policy.hpp>
#define ll long long
#define ull unsigned long long
#define ld long double
#define pb push_back
#define str string
#define sz(a) (int) a.size()
#define pii pair<int,int>
#define vi vector<int>
#define rall(a) a.rbegin(), a.rend()
#define all(a) a.begin(), a.end()
#define mp(a,b) make_pair(a,b)
#define fi first
#define se second
#define debug(a) cout << #a << " = " << a << endl;
#define fff cout << "----------------------------------------" <<endl;
// #define ordered_set tree<int, null_type, less<int>, rb_tree_tag, tree_order_statistics_node_update>
using namespace std;
// using namespace __gnu_pbds;
mt19937 rng(47);
int randint(int l, int r){
return uniform_int_distribution<int>(l, r)(rng);
}
int minimumInstructions(int n,int m,int k, vi c, vi a, vector<vi> b){
vector<unordered_map<int,int>> DP(n);
vector<bool> F(n);
vector<vi> val(k);
vector<unordered_map<int,bool>> vv(k);
for(int i = 0;i < m;++i){
for(int j : b[i]){
val[j].pb(i);
vv[j][i] = true;
}
}
for(int j : val[c[n-1]]) {
DP[n-1][j] = 1;
}
if(m == 1){
F[n-1] = true;
}
for(int i = n-2;i >= 0;--i){
int x = 0;
for(int j : val[c[i]]){
int th = (j + 1) % m;
if(vv[c[i+1]][th]) DP[i][j] = DP[i+1][th]+1;
else DP[i][j] = 1;
x = max(x, DP[i][j]);
}
if(x >= m){
F[i] = true;
}
}
int ans = 0;
int r = 0, l = 0;
while(r < n){
bool was = false;
while(r >= l){
if(F[r]){
l = r + 1;
r = r + m;
++ans;
was = true;
break;
}
--r;
}
if(!was) return -1;
}
return ans;
}
