编程题
### 问题描述
小林是一个魔法师,他有 $k$ 次机会可以修改数列 $A_i$ 中的任意一个数字的数值。他能否将这个数列修改为质数数列并且相邻两个数的和仍为质数吗?如果可以输出最小修改次数,否则输出 $-1$。
### 输入格式
输入共两行:
第一行为两个正整数 $n,k$,表示数字数量和可以修改的次数。
第二行为 $n$ 个正整数,依次为 $A_1、A_2、...、A_n$。
### 输出格式
如果可以通过不超过 $k$ 次的修改,使得数列中的数字与相邻数字和均为质数,则输出最小修改次数。否则输出$-1$。
### 样例输入
```text
3 2
2 3 3
```
### 样例输出
```text
1
```
### 说明
选择第 $3$ 个数字,修改为 $2$。数列变成 $2、3、2$,相邻数字和均为 $5$,数字与相邻数字和均为质数,符合题目要求,因此输出修改次数 $1$。
### 评测数据规模
对于 $30$% 的评测数据,$1\leq n,k \leq 10$。
对于 $100$% 的评测数据,$1\leq n,k\leq 10^5,1 \leq A_i \leq 10^6$。