  ***   Warning: new stack size = 50000000 (47.684 Mbytes).
[2^-1 + 1 + 2^2 + 2^4 + O(2^5), 1 + 2^2 + O(2^4)]~
[2*3^-1 + 1 + 3 + 3^2 + 3^3 + O(3^4), 3^-1 + 1 + 3 + 3^2 + 3^3 + O(3^4)]~
[1 + O(3^5), O(3^5)]~
4 + 3*5 + 4*5^2 + 2*5^3 + O(5^4)
1 + O(5^4)
[1 + O(3^5), O(3^5)]~
[O(2^3), O(2^2)]~
2^4 + 2^5 + O(2^6)
[O(3^10), O(3^10)]~
[2 + 3 + 3^2 + 3^3 + 3^4 + 3^5 + 2*3^6 + O(3^9), 2*3 + 2*3^2 + 2*3^3 + 3^5 +
 2*3^8 + O(3^9)]~
[2*5 + 5^2 + 5^4 + O(5^5), 3*5 + 3*5^2 + 2*5^4 + O(5^5)]~
[[[[2031, 1484, 1568, 0, 0]], [[2031, 1960, 1029, 343, 0]], [[2006, 1792, 17
64, 686, 0]], [[2006, 1792, 1764, 686, 0]], [[2031, 1960, 1029, 343, 0]], [[
2031, 1484, 1568, 0, 0]]], 1 + 5*7 + 7^3 + O(7^4), Vecsmall([7, 4, 4, 1])]
[[[[2017, 441, 2009, 0, 0]], [[2017, 2177, 1421, 1372, 0]], [[2009, 1715, 20
58, 0, 0]], [[2009, 1715, 2058, 0, 0]], [[2017, 2177, 1421, 1372, 0]], [[201
7, 441, 2009, 0, 0]]], 4 + 7 + 2*7^3 + O(7^4), Vecsmall([7, 4, 4, 1])]
[[[[2184, 720, 117, 1458, 81, 0, 729], [3, 837, 1134, 0, 729, 0, 0]], [[2184
, 720, 117, 1458, 81, 0, 729], [3, 837, 1134, 0, 729, 0, 0]]], [0, 1/36; 1/3
6, 0], Vecsmall([3, 7, 6, 1])]
[[[[3, 1617, 980, 0, 0]], [[0, 861, 1764, 686, 0]], [[2398, 1526, 490, 1029,
 0]], [[2398, 1526, 490, 1029, 0]], [[0, 861, 1764, 686, 0]], [[3, 1617, 980
, 0, 0]]], 1/6, Vecsmall([7, 4, 4, 1])]
[[[[28, 63, 0, 0, 0]], [[28, 63, 0, 0, 0]]], 2 + 2*3 + 3^2 + 3^3 + O(3^4), V
ecsmall([3, 4, 4, 29])]
[[[[63, 27, 0, 0, 0]], [[63, 27, 0, 0, 0]]], 2 + 3 + 3^2 + 3^3 + O(3^4), Vec
small([3, 4, 4, 5])]
[[[[1850, 2500, 1250, 0, 0]], [[2500, 125, 0, 0, 0]], [[625, 3000, 0, 0, 0]]
, [[1275, 625, 1875, 0, 0]]], 3*5^-1 + 5 + O(5^3), Vecsmall([5, 5, 4, -3])]
0:
2 + 3 + 3^2 + 2*3^3 + 2*3^5 + 3^6 + 3^7 + O(3^10)
3 + 2*3^4 + 2*3^5 + 2*3^6 + O(3^8)
3^4 + 2*3^7 + O(3^8)
3^3 + 2*3^5 + O(3^7)
-2:
2 + 2*3 + 2*3^2 + 2*3^4 + 3^6 + 3^7 + 3^8 + 3^9 + O(3^10)
3 + 2*3^3 + 3^4 + 3^5 + 2*3^7 + O(3^8)
3^3 + 2*3^4 + 2*3^6 + 2*3^7 + O(3^8)
3^3 + 2*3^5 + 2*3^6 + O(3^7)
[0, 1]:
O(3^10)
O(3^8)
O(3^8)
O(3^7)
[1, 0]:
2 + 2*3 + 3^3 + 3^4 + 3^6 + 3^8 + O(3^10)
3 + 2*3^3 + 2*3^4 + 2*3^5 + 2*3^6 + 3^7 + O(3^8)
3^3 + 3^5 + 3^6 + 2*3^7 + O(3^8)
3^3 + 2*3^5 + 3^6 + O(3^7)
[2, 0]:
2 + 3^3 + 3^4 + 3^6 + 3^8 + 3^9 + O(3^10)
3 + 2*3^3 + 3^4 + 3^5 + 3^7 + O(3^8)
2*3^3 + 2*3^4 + 2*3^6 + O(3^8)
3^3 + O(3^7)
0:
[2^-1 + 2 + 2^2 + 2^5 + 2^6 + O(2^9), 2^-1 + 2^2 + 2^3 + 2^6 + 2^7 + O(2^8)]
~
[1 + 2^4 + 2^5 + 2^6 + 2^7 + O(2^8), 1 + 2^2 + 2^3 + 2^5 + O(2^7)]~
[2^2 + 2^4 + 2^5 + O(2^7), 2^2 + 2^3 + 2^4 + 2^5 + O(2^6)]~
[2^4 + O(2^5), O(2^4)]~
-2:
[2^-1 + 2^2 + 2^3 + 2^5 + 2^7 + O(2^9), 2^-1 + 2 + 2^3 + 2^5 + 2^6 + O(2^8)]
~
[1 + 2^3 + 2^5 + O(2^8), 1 + 2^2 + 2^4 + 2^5 + 2^6 + O(2^7)]~
[2^2 + 2^4 + O(2^7), 2^2 + 2^3 + 2^4 + 2^5 + O(2^6)]~
[2^4 + O(2^5), O(2^4)]~
[0, 1]:
[O(2^9), O(2^8)]~
[O(2^8), O(2^7)]~
[O(2^7), O(2^6)]~
[O(2^5), O(2^4)]~
[1, 0]:
[2^-1 + 1 + 2^7 + 2^8 + O(2^9), 2^-1 + 1 + 2 + 2^2 + 2^3 + 2^4 + 2^7 + O(2^8
)]~
[1 + 2^2 + 2^3 + 2^7 + O(2^8), 1 + 2^3 + 2^4 + 2^5 + O(2^7)]~
[2^2 + 2^5 + O(2^7), 2^2 + 2^3 + 2^4 + 2^5 + O(2^6)]~
[2^4 + O(2^5), O(2^4)]~
[2, 0]:
[2^-1 + 2^4 + 2^5 + 2^6 + 2^7 + 2^8 + O(2^9), 2^-1 + 2 + 2^2 + 2^3 + 2^4 + O
(2^8)]~
[1 + 2^3 + 2^4 + 2^5 + 2^6 + 2^7 + O(2^8), 1 + 2^2 + 2^5 + 2^6 + O(2^7)]~
[2^2 + 2^4 + 2^6 + O(2^7), 2^2 + 2^3 + 2^4 + 2^5 + O(2^6)]~
[2^4 + O(2^5), O(2^4)]~
0:
5 + 7 + 5*7^2 + 4*7^3 + 7^4 + 2*7^5 + 4*7^6 + 4*7^7 + 2*7^8 + 2*7^9 + O(7^10
)
5*7 + 2*7^2 + 6*7^3 + 2*7^4 + 2*7^5 + O(7^9)
3*7^2 + 6*7^3 + 3*7^4 + 3*7^5 + 7^7 + 2*7^8 + O(7^9)
6*7^3 + 7^4 + 3*7^5 + 6*7^7 + O(7^9)
-2:
3 + 3*7 + 5*7^2 + 4*7^3 + 2*7^4 + 7^5 + 5*7^6 + 4*7^7 + 5*7^8 + 2*7^9 + O(7^
10)
7 + 4*7^2 + 3*7^3 + 6*7^4 + 4*7^5 + 7^6 + 2*7^7 + 7^8 + O(7^9)
2*7^2 + 2*7^3 + 5*7^4 + 4*7^5 + 6*7^6 + 6*7^7 + 7^8 + O(7^9)
6*7^3 + 6*7^4 + 6*7^5 + 7^6 + 6*7^7 + 4*7^8 + O(7^9)
[0, 1]:
O(7^10)
O(7^9)
O(7^9)
O(7^9)
[1, 0]:
5 + 6*7 + 5*7^2 + 4*7^3 + 6*7^4 + 5*7^5 + 7^6 + 5*7^7 + 2*7^8 + 3*7^9 + O(7^
10)
5*7 + 5*7^2 + 7^3 + 7^4 + 7^5 + 5*7^6 + 5*7^8 + O(7^9)
3*7^2 + 5*7^3 + 3*7^4 + 7^5 + 2*7^6 + 7^7 + 5*7^8 + O(7^9)
6*7^3 + 4*7^4 + 6*7^5 + 6*7^6 + 3*7^7 + 3*7^8 + O(7^9)
[2, 0]:
5 + 4*7 + 2*7^2 + 3*7^3 + 3*7^4 + 4*7^5 + 6*7^6 + 6*7^7 + 5*7^8 + O(7^10)
5*7 + 7^2 + 3*7^3 + 4*7^4 + 6*7^5 + 5*7^6 + 4*7^7 + 6*7^8 + O(7^9)
3*7^2 + 4*7^3 + 6*7^4 + 2*7^5 + 5*7^6 + O(7^9)
6*7^3 + 3*7^5 + 4*7^7 + 4*7^8 + O(7^9)
0:
1 + O(3^10)
2*3 + 2*3^5 + 2*3^6 + O(3^8)
2*3^3 + 3^4 + 2*3^5 + O(3^8)
2*3^3 + 2*3^5 + 2*3^6 + O(3^7)
-2:
1 + 2*3 + 2*3^2 + 3^4 + 3^5 + 2*3^6 + 3^7 + 2*3^8 + 2*3^9 + O(3^10)
2*3 + 3^4 + 3^5 + 2*3^6 + 3^7 + O(3^8)
3^3 + 3^4 + 2*3^5 + 3^6 + 3^7 + O(3^8)
2*3^3 + 3^5 + O(3^7)
[0, 1]:
O(3^10)
O(3^8)
O(3^8)
O(3^7)
[1, 0]:
1 + 2*3 + 3^2 + 3^3 + 3^4 + 2*3^5 + 3^6 + 3^7 + 2*3^8 + 3^9 + O(3^10)
2*3 + 2*3^4 + 2*3^6 + 2*3^7 + O(3^8)
3^3 + O(3^8)
2*3^3 + 3^5 + O(3^7)
[2, 0]:
1 + 3 + 3^3 + 3^5 + 2*3^6 + 2*3^7 + 3^8 + O(3^10)
2*3 + 2*3^3 + 2*3^5 + 3^6 + O(3^8)
2*3^4 + 3^6 + 2*3^7 + O(3^8)
2*3^3 + 2*3^5 + 3^6 + O(3^7)
0:
O(11^10)
4*11 + 3*11^2 + 10*11^3 + 7*11^4 + 5*11^5 + 10*11^6 + 2*11^7 + 9*11^8 + 6*11
^9 + O(11^10)
5*11^3 + 7*11^4 + 10*11^5 + 6*11^6 + 2*11^7 + 5*11^8 + 2*11^9 + O(11^10)
5*11^3 + 3*11^4 + 11^5 + 2*11^6 + 8*11^8 + 5*11^9 + O(11^10)
-2:
6 + 5*11 + 5*11^2 + 2*11^3 + 9*11^4 + 11^5 + 9*11^6 + 7*11^7 + 3*11^8 + 8*11
^9 + O(11^10)
2*11 + 11^2 + 8*11^3 + 4*11^4 + 4*11^5 + 10*11^6 + 10*11^7 + 11^8 + 8*11^9 +
 O(11^10)
11^2 + 11^4 + 8*11^5 + 7*11^6 + 5*11^7 + 2*11^8 + 6*11^9 + O(11^10)
7*11^4 + 7*11^5 + 2*11^6 + 9*11^7 + 5*11^8 + 9*11^9 + O(11^10)
[0, 1]:
O(11^10)
O(11^10)
O(11^10)
O(11^10)
[1, 0]:
4*11 + 3*11^2 + 6*11^3 + 8*11^4 + 3*11^5 + 6*11^6 + 11^7 + 4*11^8 + 4*11^9 +
 O(11^10)
4*11 + 3*11^2 + 11^3 + 6*11^4 + 3*11^5 + 11^6 + 11^7 + 10*11^8 + 8*11^9 + O(
11^10)
10*11^3 + 10*11^4 + 9*11^5 + 5*11^6 + 2*11^7 + 3*11^8 + 9*11^9 + O(11^10)
5*11^3 + 3*11^4 + 8*11^5 + 2*11^6 + 9*11^7 + 2*11^8 + 6*11^9 + O(11^10)
[2, 0]:
8*11 + 6*11^2 + 6*11^4 + 2*11^5 + 7*11^7 + 6*11^8 + 9*11^9 + O(11^10)
4*11 + 3*11^2 + 8*11^3 + 7*11^4 + 9*11^5 + 3*11^6 + 2*11^7 + 8*11^8 + 4*11^9
 + O(11^10)
4*11^3 + 3*11^4 + 5*11^5 + 4*11^6 + 7*11^7 + 6*11^8 + 8*11^9 + O(11^10)
5*11^3 + 3*11^4 + 4*11^5 + 11^6 + 10*11^7 + 4*11^8 + 5*11^9 + O(11^10)
0:
[O(2^10), O(2^9)]~
[O(2^8), O(2^7)]~
[2^5 + 2^6 + O(2^7), 2^5 + O(2^6)]~
[O(2^5), O(2^4)]~
-2:
[2^6 + 2^7 + 2^9 + O(2^10), 2^6 + 2^7 + 2^8 + O(2^9)]~
[2^6 + 2^7 + O(2^8), 2^6 + O(2^7)]~
[2^5 + 2^6 + O(2^7), 2^5 + O(2^6)]~
[O(2^5), O(2^4)]~
[0, 1]:
[O(2^10), O(2^9)]~
[O(2^8), O(2^7)]~
[O(2^7), O(2^6)]~
[O(2^5), O(2^4)]~
[1, 0]:
[2^4 + 2^6 + 2^7 + O(2^10), 2^4 + 2^7 + O(2^9)]~
[O(2^8), O(2^7)]~
[2^5 + O(2^7), 2^5 + O(2^6)]~
[O(2^5), O(2^4)]~
[2, 0]:
[2^6 + 2^7 + O(2^10), 2^6 + 2^7 + 2^8 + O(2^9)]~
[2^6 + O(2^8), 2^6 + O(2^7)]~
[2^5 + 2^6 + O(2^7), 2^5 + O(2^6)]~
[O(2^5), O(2^4)]~
[[[[2, 51, 0, 54, 0]], [[79, 30, 0, 27, 0]]], 1 + 2*3 + O(3^4), Vecsmall([3,
 4, 4, 5])]
[[[[174, 425, 475, 0, 0]], [[172, 400, 300, 0, 0]], [[172, 400, 300, 0, 0]],
 [[174, 425, 475, 0, 0]]], 3 + 3*5 + 5^2 + O(5^4), Vecsmall([5, 4, 4, -3])]
[[[[1467, 5778, 6237, 2430, 5832, 2187, 0, 0, 0]], [[1467, 5778, 6237, 2430,
 5832, 2187, 0, 0, 0]]], 2 + 2*3 + 3^2 + 3^3 + 3^4 + 2*3^5 + 3^6 + 3^7 + O(3
^8), Vecsmall([3, 8, 8, 1])]
  ***   at top-level: Wp=mspadicinit(msinit(25,2,1),5,4,1)
  ***                    ^---------------------------------
  *** mspadicinit: sorry, mspadicinit when p^2 | N is not yet implemented.
  ***   at top-level: oms=mspadicmoments(Wp,phi)
  ***                     ^----------------------
  *** mspadicmoments: incorrect type in mstooms [v_p(ap) > mspadicinit flag] (t_VEC).
[[28704438, 43044921, 28698258, 43046631, 28697823, 31655514, 40406052, 4241
9955, 42962282, 42910380, 42995952, 43040223, 43042464, 43045218, 43046702, 
43046610, 43046643, 43046718, 43046718]~, [43023393, 28707534, 43042941, 286
99164, 43046298, 30101157, 39895767, 42353352, 42893463, 42954543, 43041654,
 43035273, 43040547, 43045290, 43046337, 43046703, 43046694, 43046703, 0]~]
[[28697958, 0, 43046697, 0, 28697823, 0, 39183249, 0, 43037183, 0, 43045038,
 0, 43041006, 0, 43046453, 0, 43046643, 0, 43046718]~, [28709478, 0, 4304650
5, 0, 28697823, 0, 38646180, 0, 42834513, 0, 43030584, 0, 43041276, 0, 43046
382, 0, 0, 0, 0]~]
[3^-1 + 1 + 2*3 + 3^2 + 2*3^3 + 2*3^4 + 2*3^5 + 2*3^6 + O(3^7), 2*3^-1 + 2 +
 2*3 + 2*3^2 + 3^3 + 2*3^4 + 3^5 + O(3^7)]~
[2 + 2*3 + O(3^9), O(3^9), O(3^9), O(3^9), 1 + 2*3^2 + 2*3^3 + 2*3^4 + 2*3^5
 + 2*3^6 + 2*3^7 + 2*3^8 + O(3^9)]
[O(3^10), 2 + 2*3 + 2*3^2 + 2*3^3 + 2*3^4 + 2*3^5 + 2*3^6 + 2*3^7 + 2*3^8 + 
2*3^9 + O(3^10), O(3^10), 2 + 2*3 + 2*3^2 + 2*3^3 + 2*3^4 + 2*3^5 + 2*3^6 + 
2*3^7 + 2*3^8 + 2*3^9 + O(3^10), O(3^10)]
[4*5 + 2*5^2 + 2*5^3 + 2*5^4 + 4*5^5 + 3*5^6 + 4*5^7 + 3*5^8 + 3*5^9 + 2*5^1
0 + 3*5^11 + 4*5^12 + O(5^13), O(5^13), 2 + 4*5^3 + 4*5^4 + 5^5 + 4*5^7 + 3*
5^8 + 5^9 + 4*5^10 + 3*5^12 + O(5^13), O(5^13), 5 + 4*5^2 + 4*5^4 + 3*5^5 + 
3*5^6 + 2*5^7 + 5^8 + 4*5^9 + 3*5^11 + 5^12 + O(5^13)]
[O(5^13), 1 + 5 + 5^2 + 5^4 + 5^7 + 3*5^8 + 4*5^9 + 2*5^10 + 4*5^11 + 4*5^12
 + O(5^13), O(5^13), 3 + 4*5 + 2*5^2 + 5^3 + 5^4 + 3*5^5 + 5^6 + 5^7 + 2*5^8
 + 3*5^9 + O(5^13), O(5^13)]
[4 + 5 + 3*5^2 + 4*5^4 + 4*5^5 + 3*5^6 + 5^7 + 3*5^8 + 2*5^9 + 3*5^10 + 2*5^
11 + 4*5^12 + O(5^13), O(5^13), 1 + 4*5 + 5^2 + 5^3 + 4*5^4 + 3*5^5 + 2*5^6 
+ 2*5^7 + 3*5^8 + 5^10 + 4*5^11 + 3*5^12 + O(5^13), O(5^13), 4 + 2*5 + 3*5^2
 + 3*5^3 + 4*5^4 + 3*5^5 + 4*5^7 + 5^8 + 3*5^9 + 4*5^10 + 2*5^11 + 2*5^12 + 
O(5^13)]
[3 + 5*7 + 7^2 + 7^3 + 4*7^4 + 4*7^5 + 3*7^6 + 5*7^7 + 2*7^8 + 3*7^9 + 2*7^1
0 + 6*7^11 + 3*7^12 + 4*7^13 + 5*7^14 + O(7^15), O(7^15), 3 + 4*7 + 5*7^2 + 
6*7^3 + 2*7^4 + 7^5 + 7^6 + 4*7^8 + 5*7^10 + 5*7^12 + 4*7^13 + 3*7^14 + O(7^
15), O(7^15), 6 + 5*7^2 + 4*7^3 + 3*7^4 + 6*7^5 + 7^6 + 2*7^7 + 3*7^8 + 4*7^
9 + 2*7^11 + 5*7^12 + 7^14 + O(7^15), O(7^15), 3 + 3*7 + 7^2 + 5*7^4 + 3*7^5
 + 4*7^6 + 2*7^7 + 6*7^8 + 6*7^10 + 2*7^11 + 7^12 + 3*7^13 + 4*7^14 + O(7^15
)]
[O(7^15), 5 + 3*7 + 2*7^2 + 3*7^3 + 4*7^4 + 6*7^5 + 6*7^6 + 2*7^7 + 2*7^8 + 
3*7^9 + 5*7^10 + 5*7^11 + 4*7^12 + 2*7^13 + 4*7^14 + O(7^15), O(7^15), 2 + 4
*7^3 + 6*7^4 + 3*7^5 + 7^6 + 3*7^7 + 4*7^8 + 7^9 + 5*7^10 + 3*7^11 + 2*7^12 
+ 4*7^13 + 5*7^14 + O(7^15), O(7^15), 6 + 5*7 + 7^2 + 4*7^3 + 3*7^4 + 7^5 + 
6*7^6 + 7^7 + 5*7^9 + 3*7^10 + 4*7^11 + 3*7^12 + 6*7^13 + 5*7^14 + O(7^15), 
O(7^15)]
[1 + 3 + 3^3 + 3^4 + 2*3^5 + 3^6 + 3^9 + O(3^11), O(3^11), 1 + 3^2 + 2*3^4 +
 3^7 + 2*3^8 + 2*3^9 + 2*3^10 + O(3^11)]
[1 + 7 + 3*7^2 + 7^3 + 3*7^4 + 5*7^5 + 5*7^6 + 6*7^8 + 7^9 + 5*7^10 + O(7^11
), O(7^11), 4 + 2*7 + 6*7^2 + 3*7^3 + 3*7^4 + 4*7^5 + 7^6 + 7^7 + 7^9 + 3*7^
10 + O(7^11)]
[O(7^11), 6 + 4*7 + 3*7^2 + 2*7^3 + 6*7^4 + 5*7^5 + 5*7^6 + 6*7^7 + 6*7^8 + 
2*7^9 + 2*7^10 + O(7^11), O(7^11)]
[7 + 3*7^2 + 7^3 + 3*7^4 + 6*7^5 + 5*7^7 + 2*7^8 + 6*7^9 + 5*7^10 + O(7^11),
 O(7^11), 5*7 + 6*7^3 + 6*7^4 + 7^5 + 5*7^6 + 7^7 + 3*7^8 + 6*7^9 + 5*7^10 +
 O(7^11)]
[4 + 7 + 4*7^2 + 7^3 + 2*7^5 + 4*7^7 + 4*7^8 + 7^10 + 4*7^11 + 7^12 + O(7^13
), O(7^13), O(7^13), O(7^13), 5 + 5*7 + 7^2 + 7^3 + 3*7^4 + 3*7^5 + 5*7^6 + 
3*7^7 + 2*7^9 + 6*7^10 + 3*7^11 + 4*7^12 + O(7^13)]
[O(7^13), 2 + 3*7^2 + 6*7^3 + 5*7^4 + 5*7^6 + 5*7^7 + 6*7^8 + 5*7^9 + 4*7^10
 + 5*7^11 + 6*7^12 + O(7^13), O(7^13), 4 + 2*7 + 5*7^2 + 3*7^3 + 3*7^6 + 2*7
^7 + 6*7^8 + 6*7^9 + 2*7^10 + 2*7^11 + 6*7^12 + O(7^13), O(7^13)]
[6*7^2 + 4*7^3 + 2*7^4 + 6*7^5 + 4*7^6 + 2*7^9 + O(7^10), O(7^10), O(7^10), 
O(7^10), 2*7^2 + 2*7^3 + 6*7^4 + 7^5 + 2*7^6 + 3*7^7 + 3*7^8 + 6*7^9 + O(7^1
0)]
[O(7^10), 5*7 + 6*7^2 + 5*7^3 + 3*7^4 + 6*7^5 + 6*7^6 + 6*7^7 + 6*7^8 + 6*7^
9 + O(7^10), O(7^10), 6*7 + 6*7^2 + 2*7^3 + 5*7^4 + 6*7^5 + 6*7^6 + 6*7^7 + 
6*7^8 + 6*7^9 + O(7^10), O(7^10)]
[[3^-1 + 1 + 2*3 + 3^2 + 2*3^3 + 2*3^4 + 2*3^5 + 2*3^6 + 2*3^7 + 2*3^8 + 2*3
^9 + 2*3^10 + 2*3^11 + O(3^12), 2*3^-1 + 2 + 2*3 + 2*3^2 + 3^3 + 2*3^4 + 3^5
 + O(3^12)]~, [O(3^12), O(3^12)]~, [3^-2 + 2*3^-1 + 1 + O(3^12), 3^-2 + 3^-1
 + 1 + 2*3 + 2*3^3 + 2*3^4 + 2*3^5 + 2*3^6 + 2*3^7 + 2*3^8 + 2*3^9 + 2*3^10 
+ 2*3^11 + O(3^12)]~, [O(3^12), O(3^12)]~, [3^-1 + 2 + 2*3 + 2*3^2 + 2*3^3 +
 2*3^4 + 2*3^5 + 2*3^6 + 2*3^7 + 2*3^8 + 2*3^9 + 2*3^10 + 2*3^11 + O(3^12), 
2*3^-1 + 1 + 3^3 + O(3^12)]~]
[[3*5^-1 + 2*5 + 4*5^2 + 4*5^3 + 4*5^4 + 4*5^5 + 4*5^6 + 4*5^7 + 4*5^8 + 4*5
^9 + 4*5^10 + O(5^11), 3*5^-1 + 3 + 3*5 + 3*5^2 + O(5^13)]~, [O(5^11), O(5^1
3)]~, [3*5^-1 + 1 + O(5^11), 3*5^-1 + 4 + 2*5 + 4*5^2 + 4*5^3 + 4*5^4 + 4*5^
5 + 4*5^6 + 4*5^7 + 4*5^8 + 4*5^9 + 4*5^10 + 4*5^11 + 4*5^12 + O(5^13)]~]
[[2 + 3^2 + 3^4 + 2*3^5 + O(3^13), 2 + 3^4 + 3^6 + 2*3^8 + 3^9 + 2*3^10 + 2*
3^11 + 2*3^12 + 2*3^13 + O(3^14)]~, [O(3^13), O(3^14)]~, [O(3^13), O(3^14)]~
, [O(3^13), O(3^14)]~, [1 + 2*3 + 2*3^2 + 2*3^3 + 2*3^4 + 2*3^5 + 2*3^6 + 2*
3^7 + 2*3^8 + 2*3^9 + 2*3^10 + 2*3^11 + 2*3^12 + O(3^13), 1 + 2*3 + 3^4 + O(
3^14)]~]
[[1 + 2 + 2^3 + 2^4 + O(2^18), 2 + 2^2 + 2^4 + 2^5 + 2^6 + 2^8 + 2^11 + 2^12
 + 2^13 + 2^14 + 2^15 + 2^16 + 2^17 + O(2^18)]~, [O(2^18), O(2^18)]~, [2^-1 
+ 1 + 2^2 + 2^4 + 2^7 + 2^8 + 2^11 + 2^12 + 2^15 + 2^16 + O(2^18), 2^-1 + 2 
+ 2^4 + 2^8 + 2^10 + 2^11 + 2^14 + 2^15 + O(2^18)]~, [O(2^18), O(2^18)]~, [2
^-1 + 1 + 2 + 2^5 + 2^9 + 2^13 + 2^17 + O(2^18), 2^-1 + 2^2 + 2^5 + 2^7 + 2^
8 + 2^9 + 2^11 + 2^12 + 2^13 + 2^15 + 2^16 + 2^17 + O(2^18)]~, [O(2^18), O(2
^18)]~, [1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + 2^6 + 2^7 + 2^8 + 2^9 + 2^10 + 2^11
 + 2^12 + 2^13 + 2^14 + 2^15 + 2^16 + 2^17 + O(2^18), 2 + 2^2 + 2^3 + 2^4 + 
2^5 + O(2^18)]~]
[[2 + 2^6 + 2^7 + 2^9 + 2^10 + 2^12 + 2^13 + 2^15 + 2^16 + 2^17 + O(2^18), 2
^4 + 2^5 + 2^6 + 2^8 + 2^11 + 2^12 + 2^15 + O(2^18)]~, [O(2^18), O(2^18)]~, 
[1 + 2 + 2^4 + 2^5 + 2^6 + 2^8 + 2^9 + 2^10 + 2^12 + 2^14 + 2^16 + O(2^18), 
1 + 2 + 2^2 + 2^3 + 2^4 + 2^6 + 2^7 + 2^9 + 2^10 + 2^14 + 2^15 + 2^16 + 2^17
 + O(2^18)]~, [O(2^18), O(2^18)]~, [1 + 2 + 2^2 + 2^4 + 2^8 + 2^9 + 2^11 + 2
^13 + 2^15 + 2^17 + O(2^18), 1 + 2 + 2^4 + 2^7 + 2^10 + 2^12 + 2^13 + 2^14 +
 2^15 + 2^16 + 2^17 + O(2^18)]~, [O(2^18), O(2^18)]~, [2 + 2^3 + 2^5 + 2^6 +
 2^8 + 2^9 + 2^10 + 2^11 + 2^12 + 2^13 + 2^14 + 2^15 + 2^16 + 2^17 + O(2^18)
, 2^4 + 2^5 + 2^9 + 2^11 + 2^13 + O(2^18)]~]
[2^6 + O(2^10), O(2^10), 2^6 + 2^8 + O(2^10), O(2^10), 2^6 + O(2^10), O(2^10
), 2^6 + 2^8 + O(2^10)]
[[2*7^-1 + 5 + 7 + 4*7^2 + O(7^17), 5*7^-1 + 5 + 6*7^2 + 5*7^3 + 4*7^4 + 2*7
^5 + 2*7^7 + 2*7^9 + 6*7^10 + 6*7^11 + 6*7^12 + 6*7^13 + 6*7^14 + 6*7^15 + 6
*7^16 + O(7^17)]~, [O(7^17), O(7^17)]~, [5*7^-2 + 5*7^-1 + 2 + 4*7 + 6*7^2 +
 6*7^3 + 6*7^4 + 6*7^5 + 6*7^6 + 6*7^7 + 6*7^8 + 6*7^9 + 6*7^10 + 6*7^11 + 6
*7^12 + 6*7^13 + 6*7^14 + 6*7^15 + 6*7^16 + O(7^17), 4*7^-2 + 1 + 6*7 + 2*7^
2 + 6*7^3 + 6*7^4 + 6*7^5 + 2*7^6 + O(7^17)]~, [O(7^17), O(7^17)]~, [6*7^-2 
+ 5*7^-1 + 6*7 + 2*7^2 + 7^3 + 4*7^4 + 5*7^5 + 2*7^6 + 7^7 + 4*7^8 + 5*7^9 +
 2*7^10 + 7^11 + 4*7^12 + 5*7^13 + 2*7^14 + 7^15 + 4*7^16 + O(7^17), 2*7^-2 
+ 7^-1 + 2 + 2*7 + 4*7^2 + 3*7^3 + 4*7^5 + 5*7^6 + 2*7^7 + 7^8 + 4*7^9 + 5*7
^10 + 2*7^11 + 7^12 + 4*7^13 + 5*7^14 + 2*7^15 + 7^16 + O(7^17)]~, [O(7^17),
 O(7^17)]~, [6*7^-2 + 6*7^-1 + 4 + 6*7 + 6*7^2 + 6*7^3 + 6*7^4 + 6*7^5 + 6*7
^6 + 6*7^7 + 6*7^8 + 6*7^9 + 6*7^10 + 6*7^11 + 6*7^12 + 6*7^13 + 6*7^14 + 6*
7^15 + 6*7^16 + O(7^17), 2*7^-2 + 6*7^-1 + 6*7 + 7^2 + 2*7^3 + 2*7^4 + 2*7^5
 + O(7^17)]~, [O(7^17), O(7^17)]~, [4*7^-1 + 2 + O(7^17), 3*7^-1 + 5 + 2*7 +
 4*7^2 + 7^3 + 4*7^7 + 6*7^8 + 6*7^9 + 6*7^10 + 6*7^11 + 6*7^12 + 6*7^13 + 6
*7^14 + 6*7^15 + 6*7^16 + O(7^17)]~]
Total time spent: 9597
