Codeforces Beta Round 71
D
Password
Codeforces
2800
原题
← CE →
翻译中…

Finally Fox Ciel arrived in front of her castle!

翻译中…

She have to type a password to enter her castle. An input device attached to her castle is a bit unusual.

翻译中…

The input device is a $1 × *n*$ rectangle divided into $*n*$ square panels. They are numbered $1$ to $*n*$ from left to right. Each panel has a state either ON or OFF. Initially all panels are in the OFF state. She can enter her castle if and only if $*x*_{1}$-th, $*x*_{2}$-th, $...$, $*x*_{*k*}$-th panels are in the ON state and other panels are in the OFF state.

翻译中…

She is given an array $*a*_{1}$, $...$, $*a*_{*l*}$. In each move, she can perform the following operation: choose an index $*i*$ ($1 ≤ *i* ≤ *l*$), choose consecutive $*a*_{*i*}$ panels, and flip the states of those panels (i.e. ON$→$OFF, OFF$→$ON).

翻译中…

Unfortunately she forgets how to type the password with only above operations. Determine the minimal number of operations required to enter her castle.

翻译中…

Input

翻译中…

The first line contains three integers $*n*$, $*k*$ and $*l*$ ($1 ≤ *n* ≤ 10000, 1 ≤ *k* ≤ 10, 1 ≤ *l* ≤ 100$), separated by single spaces.

翻译中…

The second line contains $*k*$ integers $*x*_{1}$, ..., $*x*_{*k*}$ ($1 ≤ *x*_{1} < *x*_{2} < ... < *x*_{*k*} ≤ *n*$), separated by single spaces.

翻译中…

The third line contains $*l*$ integers $*a*_{1}$, ..., $*a*_{*l*}$ ($1 ≤ *a*_{*i*} ≤ *n*$), separated by single spaces. It is possible that some elements of the array $*a*_{*i*}$ are equal value.

翻译中…

Output

翻译中…

Print the minimal number of moves required to type the password. If it's impossible, print -1.

翻译中…

Note

翻译中…

One possible way to type the password in the first example is following: In the first move, choose 1st, 2nd, 3rd panels and flip those panels. In the second move, choose 5th, 6th, 7th, 8th, 9th panels and flip those panels.

翻译中…

样例

Input #1
10 8 2
1 2 3 5 6 7 8 9
3 5
Output #1
2
InputCopy OutputCopy
Input #2
3 2 1
1 2
3
Output #2
-1
InputCopy OutputCopy
题目信息
题号
79D
时间限制
1 s
内存限制
256 MB
标签
位运算
动态规划
最短路

题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。