小F的學校在城市的一個偏僻角落,所有學生都只好在學校吃飯。學校有一個食堂,雖然簡陋,但食堂大廚總能做出讓同學們滿意的菜肴。當然,不同的人口味也不一定相同,但每個人的口味都可以用一個非負整數表示。? 由于人手不夠,食堂每次只能為一個人做菜。做每道菜所需的時間是和前一道菜有關的,若前一道菜的對應的口味是a,這一道為b,則做這道菜所需的時間為(a or b)-(a and b),而做第一道菜是不需要計算時間的。其中,or和and表示整數逐位或運算及逐位與運算,C語言中對應的運算符為”|”和”&”。? 學生數目相對于這個學校還是比較多的,吃飯做菜往往就會花去不少時間。因此,學校食堂偶爾會不按照大家的排隊順序做菜,以縮短總的進餐時間。? 雖然同學們能夠理解學校食堂的這種做法,不過每個同學還是有一定容忍度的。也就是說,隊伍中的第i個同學,最多允許緊跟他身后的Bi個人先拿到飯菜。一旦在此之后的任意同學比當前同學先拿到飯,當前同學將會十分憤怒。因此,食堂做菜還得照顧到同學們的情緒。? 現在,小F想知道在滿足所有人的容忍度這一前提下,自己的學校食堂做完所有菜最少需要多少時間。
數據規模和約定:? 對于30%的數據,滿足1 ≤ N ≤ 20。? 對于100%的數據,滿足1 ≤ N ≤ 1,000,0 ≤ Ti ≤ 1,000,0 ≤ Bi ≤ 7,1 ≤ C ≤ 5。? 存在30%的數據,滿足0 ≤ Bi ≤ 1。? 存在65%的數據,滿足0 ≤ Bi ≤ 5。? 存在45%的數據,滿足0 ≤ Ti ≤ 130。