New Year and Old Subsequence

## 题目描述 定义一个数字串满足性质$nice$当且仅当：该串包含子序列$2017$，且不包含子序列$2016$。 定义一个数字串的函数$ugliness$为：该串至少删去几个字符，可以使得剩余串满足性质$nice$；如果该串没有满足性质$nice$的子序列，则该串的$ugliness$是$-1$。 给定一个长度为$n$的字符串$t$，和$q$次询问，每次询问用$(l,r)$表示。对于每次询问，回答$ugliness(t[l,r])$。 ## 输入输出格式 ### 输入格式： 第一行输入两个整数$n,q$ ，其中$n$是字符串$s$的长度，$q$是询问的个数。 第二行输入完全由十进制数字组成的字符串$s$。 接下来的$n$行，每行输入两个整数$l,r$，描述一个询问。 ### 输出格式： 对于每个询问，输出一行答案。 ### 数据范围： $$ 4 \leq n \leq 200000,1 \leq q \leq 200000,1 \leq l \leq r \leq n $$

A string $ t $ is called nice if a string "2017" occurs in $ t $ as a subsequence but a string "2016" doesn't occur in $ t $ as a subsequence. For example, strings "203434107" and "9220617" are nice, while strings "20016", "1234" and "20167" aren't nice. The ugliness of a string is the minimum possible number of characters to remove, in order to obtain a nice string. If it's impossible to make a string nice by removing characters, its ugliness is $ -1 $ . Limak has a string $ s $ of length $ n $ , with characters indexed $ 1 $ through $ n $ . He asks you $ q $ queries. In the $ i $ -th query you should compute and print the ugliness of a substring (continuous subsequence) of $ s $ starting at the index $ a_{i} $ and ending at the index $ b_{i} $ (inclusive).

The first line of the input contains two integers $ n $ and $ q $ ( $ 4<=n<=200000 $ , $ 1<=q<=200000 $ ) — the length of the string $ s $ and the number of queries respectively. The second line contains a string $ s $ of length $ n $ . Every character is one of digits '0'–'9'. The $ i $ -th of next $ q $ lines contains two integers $ a_{i} $ and $ b_{i} $ ( $ 1<=a_{i}<=b_{i}<=n $ ), describing a substring in the $ i $ -th query.

For each query print the ugliness of the given substring.

8 3
20166766
1 8
1 7
2 8

4
3
-1

15 5
012016662091670
3 4
1 14
4 15
1 13
10 15

-1
2
1
-1
-1

4 2
1234
2 4
1 2

-1
-1

In the first sample: - In the first query, $ ugliness( $ "20166766" $ )=4 $ because all four sixes must be removed. - In the second query, $ ugliness( $ "2016676" $ )=3 $ because all three sixes must be removed. - In the third query, $ ugliness( $ "0166766" $ )=-1 $ because it's impossible to remove some digits to get a nice string. In the second sample: - In the second query, $ ugliness( $ "01201666209167" $ )=2 $ . It's optimal to remove the first digit '2' and the last digit '6', what gives a string "010166620917", which is nice. - In the third query, $ ugliness( $ "016662091670" $ )=1 $ . It's optimal to remove the last digit '6', what gives a nice string "01666209170".