Morning_X的数论

Morning_X今天很无聊，于是他决定解决掉昨天吃完苹果后向自己老大Seventh

留下的那一个数学问题。问题是这样的：给一串互不相同数字a1, a2, …, an，Seventh想要知道这一串数字通过重新排列后是否可以形成一个算术级的模，

算术级数模模为m，公差为d，长度为n，而每一项的区别为x, x + d, x + 2d, …, x + (n - 1)·d,每一项都会被取模；

第一行输入m，n(2 ≤ m ≤ 10⁹ + 7, 1 ≤ n ≤ 10⁵,m 是素数)

第二行包括a₁, a₂, ..., a_n (0 ≤ a_i < m) —数列的元素.

如果无法重新排列形成一个算术级模，则输出-1

如果可以则输出第一个数x和公差d

多种结果输出任意一种

17 5
0 2 4 13 15

13 2

17 5
0 2 4 13 14

-1

5 3
1 2 3

3 4