a

>>> def test():
...     a,b,c = 0,0,0
...     m = 16
...     n = 0
...     while n == 0 or (a,b,c) != (0,0,0):
...         a = (13*a+1)%m
...         carry = +(a == 0)
...         b = (13*b+5+carry)%m
...         carry &= b == 0
...         c = (13*c+9+carry)%m
...         n += 1
...         print((b-a)%m,(c-a)%m)
...     return n
... 
>>> test()
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
1 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
5 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
9 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
11 2
3 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
12 2
0 2
4 2
8 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
13 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
14 2
10 2
6 2
2 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
15 2
7 2
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
1 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
5 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
9 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
11 6
3 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
12 6
0 6
4 6
8 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
13 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
14 6
10 6
6 6
2 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
15 6
7 6
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
1 8
1 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
3 8
11 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
5 8
5 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
7 8
15 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
8 8
12 0
0 8
4 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
9 8
9 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
10 8
6 0
2 8
14 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
11 8
3 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
12 8
0 0
4 8
8 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
13 8
13 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
14 8
10 0
6 8
2 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
15 8
7 0
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
1 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
5 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
9 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
11 10
3 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
12 10
0 10
4 10
8 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
13 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
14 10
10 10
6 10
2 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
15 10
7 10
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
1 12
1 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
3 12
11 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
5 12
5 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
7 12
15 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
8 12
12 4
0 12
4 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
9 12
9 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
10 12
6 4
2 12
14 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
11 12
3 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
12 12
0 4
4 12
8 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
13 12
13 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
14 12
10 4
6 12
2 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
15 12
7 4
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
0 13
4 1
8 5
12 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
1 13
1 1
1 5
1 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
2 13
14 1
10 5
6 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
3 13
11 1
3 5
11 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
4 13
8 1
12 5
0 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
5 13
5 1
5 5
5 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
6 13
2 1
14 5
10 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
7 13
15 1
7 5
15 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
8 13
12 1
0 5
4 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
9 13
9 1
9 5
9 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
10 13
6 1
2 5
14 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
11 13
3 1
11 5
3 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
12 13
0 1
4 5
8 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
13 13
13 1
13 5
13 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
14 13
10 1
6 5
2 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
15 13
7 1
15 5
7 9
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
1 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
5 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
9 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
11 14
3 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
12 14
0 14
4 14
8 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
13 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
14 14
10 14
6 14
2 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
15 14
7 14
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
0 15
4 11
8 7
12 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
1 15
1 11
1 7
1 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
2 15
14 11
10 7
6 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
3 15
11 11
3 7
11 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
4 15
8 11
12 7
0 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
5 15
5 11
5 7
5 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
6 15
2 11
14 7
10 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
7 15
15 11
7 7
15 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
8 15
12 11
0 7
4 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
9 15
9 11
9 7
9 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
10 15
6 11
2 7
14 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
11 15
3 11
11 7
3 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
12 15
0 11
4 7
8 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
13 15
13 11
13 7
13 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
14 15
10 11
6 7
2 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
15 15
7 11
15 7
7 3
0 0
4096