B"This is the harder version of the problem. In this version, 1 <= n <= 10^6 and 0 <= q a_i <= q 10^6 . You can hack this problem if you locked it. But you can hack the previous problem only if you locked both problems Christmas is coming, and our protagonist, Bob, is preparing a spectacular present for his long-time best friend Alice. This year, he decides to prepare n boxes of chocolate, numbered from 1 to n . Initially, the i -th box contains a_i chocolate pieces. Since Bob is a typical nice guy, he will not send Alice n empty boxes. In other words, at least one of a_1, a_2, ldots, a_n is positive. Since Alice dislikes coprime sets, she will be happy only if there exists some integer k > 1 such that the number of pieces in each box is divisible by k . Note that Alice won't mind if there exists some empty boxes. Charlie, Alice's boyfriend, also is Bob's second best friend, so he decides to help Bob by rearranging the chocolate pieces. In one second, Charlie can pick up a piece in box i and put it into either box i-1 or box i+1 (if such boxes exist). Of course, he wants to help his friend as quickly as possible. Therefore, he asks you to calculate the minimum number of seconds he would need to make Alice happy. The first line contains a single integer n ( 1 <= n <= 10^6 ) -- the number of chocolate boxes. The second line contains n integers a_1, a_2, ldots, a_n ( 0 <= a_i <= 10^6 ) -- the number of chocolate pieces in the i -th box. It is guaranteed that at least one of a_1, a_2, ldots, a_n is positive. If there is no way for Charlie to make Alice happy, print -1 . Otherwise, print a single integer x -- the minimum number of seconds for Charlie to help Bob make Alice happy. In the first example, Charlie can move all chocolate pieces to the second box. Each box will be divisible by 17 . In the second example, Ch"...