  ***   Warning: new stack size = 30000000 (28.610 Mbytes).
-1
1
0
11
2

[-2]


[3 -2]

[0 -2]


[3  1  1]

[0 -2  0]

[0  0 -2]


[1 0]

[0 1]

0
1/2
[1/4, -1/2, -1/2]
-1/2
[[1/6, -1/12, 0, -1/6, -1/3, 1/6, 1/4, 1/12, 0, 1/6, 1/12, -1/12, -1/12]~, [
0, 1/4, 1/2, 0, 0, 0, -1/4, -1/4, -1/2, 0, 1/4, 1/4, -1/4]~]
[[0, 1/2, -1/2, 1/11, -1/2, 0, 3/11, -1/22, 0, 0, -3/22, -1/2, 0, -1/2, 0, -
2/11, -2/11, 0, -3/22, -1/22, -1/2, 3/11, 1/11]~, [0, 1/2, 3/2, -1, -1/2, -1
, 0, -1/2, -1, 1, -1/2, 1/2, 1, 1/2, -2, 0, 0, 1, 1/2, 1/2, 1/2, 0, 1]~]
[[1/2, -1/2, -1/2, -1/2, 1/2, 1/4, 1/2, 0, -1/4, -1/2, 0, -1/4, 1/4]~, [0, 1
/2, 0, 0, -1/2, 1/8, 0, 1/2, -3/8, -1/2, 0, 3/8, -1/8]~]
[[1, -1, 0, -1/2, 0, -1/2, 1/2, 1, -1/2, -1, 1/2, 0, 0, -1/2, 0, 1/2, -1/2, 
1/2, 1/2, -1/2, 1/2, -1/2, -1/2, 1, -1]~, [0, 0, 2/5, 1/10, 0, -1/2, 1/10, 0
, 1/2, 0, -1/2, 0, -2/5, -1/10, 0, 1/2, -1/2, -1/2, -1/10, 1/2, -1/10, 1/2, 
-1/2, 0, -2/5]~]
[[1/3, -1/2, 1/6, 0, -1/2, 1/6, 0]~, [0, 1/2, -1/6, -1/3, -1/2, 1/6, 1/3]~]
[[1/4, -1/2, -1/2]~, [0, 1/2, -1/2]~]
227
[[[-2, 2; 7, -1; 8, 4; 1, -1; -4, 1; -6, 0; -2, -1; 4, -1; 2, 1; -1, 1; -11,
 -1; -9, -3; -8, -4; -5, 2; -8, 2; 2, 1; -4, 1; 8, 1; -1, 1; 1, -1], [1, 2; 
7, 2], 12, Vecsmall([1, 2])], [[0, 0; 0, 0; 0, 0; -2, 3; 2, -3; 0, 0; -2, 3;
 -1, 5; 0, 0; 1, -5; -1, 5; -2, 3; -1, -2; -1, 5; -1, 5; 0, 0; -1, 5; 1, -5;
 -1, 5; 1, -5], [-5, 3; -1, 2], 7, Vecsmall([4, 8])], [[0, -4; 0, -2; 0, -4;
 0, 6; 1, -3; 0, -4; -1, 3; 1, -3; 1, 1; 0, 2; 0, -2; 0, -2; 0, 4; -1, -3; 0
, -4; -1, -1; 1, -3; -1, -1; 2, 0; 0, 2], [-3, 4; -1, 0], 4, Vecsmall([1, 5]
)], [[0, 0, 0; 14, 1, -2; 11, 1, 6; -2, 2, -6; -11, 5, 1; -28, -2, 4; -2, 2,
 -6; 10, 2, 3; -1, -8, 7; 16, 8, -6; -16, -8, 6; -17, -7, 3; -1, 1, -3; -16,
 -8, 6; -4, 1, 5; -12, -9, 1; -15, 0, -1; 15, 0, 1; -3, 9, -2; 1, -1, 3], [1
8, -2, -8; -54, 88, 106; -24, 30, -3], 246, Vecsmall([2, 3, 4])], [[0, -2, 4
, 2, 6, 6, 2, 2, -10, -2; -1, 3, 1, -3, 9, 11, 13, 5, 3, -2; 0, 2, -1, -2, 8
, 20, 20, 10, -16, 0; 0, -6, 5, 6, -6, -24, -32, -14, 12, 0; 3, 0, 0, -2, -4
, -6, -2, -2, -6, 0; 0, -5, 8, 5, 11, 7, -3, 1, -17, -3; 3, 1, -4, -5, -7, -
5, 1, -1, 7, 2; 1, 3, 3, 1, -1, -23, -17, -9, -3, -2; -1, 0, -1, -2, 10, 32,
 28, 14, -12, 0; 1, 2, -3, -6, -8, -16, -8, -8, 32, 0; -1, 0, 7, 4, 18, 18, 
10, 8, -30, -4; 2, -5, 2, 1, -1, -1, -3, -1, -5, 0; 1, 5, -7, -5, -5, 3, 13,
 5, -1, 2; 1, -2, 4, -2, 6, 2, -6, 0, -6, -2; 0, -4, 2, 4, -6, -10, -14, -6,
 2, 0; 1, 2, 2, 0, 2, -12, -4, -2, -4, -2; 0, 0, -3, -4, -4, -4, -16, 0, 4, 
2; 0, 0, 1, 4, 0, 4, 12, -2, -4, 0; 1, 0, 1, 2, 0, -2, -2, 0, -18, 0; 1, 2, 
-2, -2, -4, -6, 2, 0, 2, -1], [-7524, 1520, -4256, -1824, 2432, 3192, -608, 
-1216, -912, 912; -1794, 824, -1016, 24, 1112, 60, -368, -496, -408, 504; 28
08, 640, 1088, 1152, -128, -1680, 272, 208, -432, -432; -6696, 1280, -3752, 
-1800, 2024, 3024, -824, -952, -864, 504; -1368, 0, -456, -456, 0, 912, 0, 0
, 0, 0; -531, 68, -44, 168, 488, -150, -296, -280, 108, 336; -1746, 364, -77
2, -576, 520, 1068, -364, -104, -240, -240; 3744, -312, 792, 624, -1488, -16
32, 1224, 480, -120, -120; -753, 248, -536, -192, 224, 318, -20, -136, -156,
 72; 324, 752, 640, 624, 32, -264, 160, 176, -576, -576], 912, Vecsmall([1, 
2, 3, 4, 5, 6, 7, 8, 10, 11])]]
0
3
4
[[[480; -333; -869; 5082; 20933; 19965], Mat(1), 480, Vecsmall([1])], [[1868
80, -809440, 2610920; -45395, 179585, -543430; -931532, 3896816, -12312388; 
-5482620, 23280510, -74291580; -12944096, 55235048, -176685289; -10864953, 4
6410639, -148395852], [-311578267, 693784960, -96693630; -175661395, 4373882
00, -56555050; -32022627, 85940960, -10612280], 351095745000, Vecsmall([1, 2
, 3])]]
[154, 24]
x^2 - 9*x + 8
x^4 - 54*x^3 + 333*x^2 + 10692*x + 39204
x^3 - 84*x^2 + 2352*x - 21952
x^6 - 22*x^5 + 153*x^4 - 316*x^3 - 140*x^2 + 576*x + 324
x^4 - 113*x^3 - 1872*x^2 - 6208*x + 8192
[[[+oo, 0], [0, 1]], [[[[1, 1; [1, 1; 0, 1], -1], 1], [1, 2]], [[[1, 1; [1, 
-1; 2, -1], 1], 2]]]]
[Mat([[1, 0; 0, 1], 1]), 0]
[0, Mat([[1, 0; 0, 1], 1])]
[Mat([[1, 1; 2, 3], -1]), 0]
[0, 0]
[8*x^6 - 34*x^4 + 17*x^2 - 1, 48*x^5 + 120*x^4 + 24*x^3 - 84*x^2 - 54*x - 9]
0
8*x^6 - 34*x^4 + 17*x^2 - 1
48*x^5 + 120*x^4 + 24*x^3 - 84*x^2 - 54*x - 9
[[[1, 1; -5, 0; 0, -5], [0, -1; 5, 1], 5, Vecsmall([1, 2])], [[1; 0; 0], Mat
(1), 1, Vecsmall([1])]]
1
1
[-1, 0, 0]~
[1, 0, 0]~
[-1, 0, 0]~

[ 1  1]

[-5  0]

[ 0 -5]

[Mod(1, x^2 + x - 1), Mod(x, x^2 + x - 1), Mod(-2*x - 1, x^2 + x - 1), Mod(-
x - 1, x^2 + x - 1), Mod(2*x, x^2 + x - 1), Mod(x - 2, x^2 + x - 1), Mod(2*x
 + 2, x^2 + x - 1), Mod(-2*x - 1, x^2 + x - 1), Mod(2, x^2 + x - 1), Mod(-2*
x + 2, x^2 + x - 1), Mod(-2*x - 4, x^2 + x - 1), Mod(x + 3, x^2 + x - 1), Mo
d(3, x^2 + x - 1), Mod(2, x^2 + x - 1), Mod(2*x - 4, x^2 + x - 1), Mod(3*x, 
x^2 + x - 1), Mod(-2*x + 2, x^2 + x - 1), Mod(2*x, x^2 + x - 1), Mod(-2, x^2
 + x - 1), Mod(-2, x^2 + x - 1), Mod(-2*x - 6, x^2 + x - 1), Mod(-2*x - 2, x
^2 + x - 1), Mod(1, x^2 + x - 1), Mod(5, x^2 + x - 1), Mod(-4*x - 1, x^2 + x
 - 1), Mod(3*x, x^2 + x - 1), Mod(2*x + 1, x^2 + x - 1), Mod(-2*x - 4, x^2 +
 x - 1), Mod(-3, x^2 + x - 1), Mod(-6*x + 2, x^2 + x - 1)]
[Mod(1, x^2 + x - 1), Mod(x, x^2 + x - 1), Mod(-2*x - 1, x^2 + x - 1), Mod(-
x - 1, x^2 + x - 1), Mod(2*x, x^2 + x - 1), Mod(x - 2, x^2 + x - 1), Mod(2*x
 + 2, x^2 + x - 1), Mod(-2*x - 1, x^2 + x - 1), Mod(2, x^2 + x - 1), Mod(-2*
x + 2, x^2 + x - 1), Mod(-2*x - 4, x^2 + x - 1), Mod(x + 3, x^2 + x - 1), Mo
d(3, x^2 + x - 1), Mod(2, x^2 + x - 1), Mod(2*x - 4, x^2 + x - 1), Mod(3*x, 
x^2 + x - 1)]
[[1, -2, 0, 2, -2, 0, -2, 0, 0, 4, 4, 0, 2, 4, 0, -4], [1, -1, 0, -1, 2, 0, 
4, 3, 0, -2, -4, 0, 2, -4, 0, -1], [1, -1, 0, -1, 3, 0, -3, 3, 0, -3, 0, 0, 
4, 3, 0, -1], [1, 1, 0, -1, -2, 0, 4, -3, 0, -2, 4, 0, 2, 4, 0, -1], [1, 1, 
0, -1, 1, 0, -5, -3, 0, 1, 4, 0, -4, -5, 0, -1], [1, 2, 0, 2, 0, 0, 0, 0, 0,
 0, 6, 0, 4, 0, 0, -4]]

[1 0 0 0 0 0]

[0 1 0 0 0 0]

[0 0 1 0 0 0]

[0 0 0 1 0 0]

[0 0 0 0 1 0]

[0 0 0 0 0 1]

1

[ 1  -2    0  4  -2   1]

[ 0   0    0  2  -1 1/2]

[ 6 -18    0 78 -36  16]

[ 3   2 -1/2 18  -7 5/2]

[12  12   -2 60 -23   8]

[12  18   -2 48 -18   6]

1

[  3   0 -1/3   24  -10    4]

[  0   0    0   -3    1 -1/3]

[ 24   0   -3  288 -120   48]

[ -2  -3  1/3  -32   13   -5]

[-12 -12    2 -180   73  -28]

[-18 -12    3 -252  102  -39]

1

[ 1 0   0   10  -4   5/3]

[-1 0 1/6  -10   4  -3/2]

[ 6 6   0  150 -60    24]

[ 0 0   0  -24  10 -25/6]

[ 0 0   0 -120  49   -20]

[ 0 0   0 -150  60   -24]

1
  ***   at top-level: msatkinlehner(W,4)
  ***                 ^------------------
  *** msatkinlehner: domain error in msatkinlehner: N % Q != 0

[1 0 0    0   0   0]

[0 1 0    0   0   0]

[0 0 1 -144  60 -24]

[0 0 0   25 -10   4]

[0 0 0  120 -49  20]

[0 0 0  144 -60  25]

1
1
0
1
[[Mat([[1, 0; 0, 1], 1]), 0, 0, 0, 0], [0, Mat([[1, 0; 0, 1], 1]), 0, 0, 0],
 [0, 0, Mat([[1, 0; 0, 1], 1]), 0, 0], [0, 0, 0, Mat([[1, 0; 0, 1], 1]), 0],
 [0, 0, 0, 0, Mat([[1, 0; 0, 1], 1])]]
[84, 10]
1
1
1
1
4
1
1
2
2
2
2
4
1
1
1
1
1
1
1
1
1
1
1
1
2

[ 2  1 1 -2]

[ 1  2 1 -2]

[-1 -1 0  0]

[ 0  0 0 -1]


[-1]

x^8 - 28*x^7 - 292*x^6 + 16496*x^5 - 115568*x^4 - 1800704*x^3 + 33061376*x^2
 - 192352256*x + 396169216
[[[[0, 33, 693, 54, 648, 486, 0], [0, 33, 693, 54, 648, 486, 0]]], 2 + 2*3 +
 3^2 + 3^3 + 2*3^4 + 3^5 + O(3^6), Vecsmall([3, 6, 6, 1])]
O(3^6) + (2 + 3 + 3^3 + O(3^4))*x + (2*3 + O(3^2))*x^2 + O(3^2)*x^3 + O(x^4)
O(3^6) + O(3^4)*x + O(3^2)*x^2 + O(3^2)*x^3 + O(x^4)
[[[[1243, 273, 2254, 1029, 0], [1234, 833, 294, 0, 0], [1243, 1295, 196, 137
2, 0], [1243, 1295, 196, 1372, 0], [1234, 833, 294, 0, 0], [1243, 273, 2254,
 1029, 0]]], 1 + 2*7 + 4*7^2 + 2*7^3 + O(7^4), Vecsmall([7, 4, 4, 1])]
(6 + 3*7 + 5*7^2 + 3*7^3 + O(7^4)) + (6*7^2 + O(7^3))*x + (7 + O(7^2))*x^2 +
 O(7)*x^3 + O(x^4)
6 + 3*7 + 5*7^2 + 3*7^3 + O(7^4)
[[[[6558, 5094, 2304, 5832, 2268, 0, 5103, 0], [6558, 5094, 2304, 5832, 2268
, 0, 5103, 0]], [[3, 3024, 5508, 4374, 2916, 0, 0, 0], [3, 3024, 5508, 4374,
 2916, 0, 0, 0]]], [0, 1/36; 1/36, 0], Vecsmall([3, 8, 7, 1])]
[(2*3^-1 + 1 + 3 + 3^2 + 3^3 + 3^4 + O(3^5)) + (2 + 3^3 + O(3^4))*x + (1 + 2
*3 + O(3^2))*x^2 + (2*3^-1 + 1 + O(3))*x^3 + (2*3^-1 + O(3^0))*x^4 + O(x^5),
 (3^-1 + 1 + 3 + 3^2 + 3^3 + 3^4 + O(3^5)) + (1 + 2*3 + 2*3^2 + 3^3 + O(3^4)
)*x + (3^-2 + 3^-1 + O(3^2))*x^2 + (2*3^-2 + 2 + O(3))*x^3 + (3^-2 + 2*3^-1 
+ O(3^0))*x^4 + O(x^5)]
[O(3^5) + O(3^4)*x + O(3^2)*x^2 + O(3)*x^3 + O(x^4), O(3^5) + O(3^4)*x + O(3
^2)*x^2 + O(3)*x^3 + O(x^4)]
[[[[6558, 2205, 5895, 972, 1296, 5832, 5103, 0], [6558, 2205, 5895, 972, 129
6, 5832, 5103, 0]], [[3, 729, 459, 3645, 2673, 2187, 4374, 0], [3, 729, 459,
 3645, 2673, 2187, 4374, 0]]], [0, 1/18; 1/18, 0], Vecsmall([3, 8, 7, 1])]
[[[[0, 1953, 729, 3888, 729, 3645, 0, 0], [0, 1953, 729, 3888, 729, 3645, 0,
 0]], [[0, 3312, 1863, 5994, 729, 1458, 0, 0], [0, 3312, 1863, 5994, 729, 14
58, 0, 0]]], [0, 1/18; 1/18, 1/18], Vecsmall([3, 8, 7, 1])]
[[[[6546, 684, 5499, 4617, 2106, 5832, 5832, 0], [6546, 684, 5499, 4617, 210
6, 5832, 5832, 0]], [[6, 5427, 2673, 2187, 1458, 0, 0, 0], [6, 5427, 2673, 2
187, 1458, 0, 0, 0]]], [0, 1/126; 1/126, 1/126], Vecsmall([3, 8, 7, 1])]
(2 + 3 + 3^2 + O(3^3)) + (1 + O(3))*x + (1 + O(3))*x^2 + O(x^3)
(2 + 3 + 3^2 + 2*3^3 + 2*3^5 + 3^6 + O(3^7)) + (1 + 3 + 2*3^2 + 3^3 + O(3^5)
)*x + (1 + 2*3 + O(3^3))*x^2 + (3 + O(3^2))*x^3 + O(3)*x^4 + O(x^5)
O(3^7) + O(3^5)*x + O(3^3)*x^2 + O(3^2)*x^3 + O(3)*x^4 + O(x^5)
(2 + 3 + 3^2 + 2*3^3 + 2*3^5 + 3^6 + O(3^7)) + (1 + 3 + 2*3^2 + 3^3 + O(3^5)
)*x + (1 + 2*3 + O(3^3))*x^2 + (3 + O(3^2))*x^3 + O(3)*x^4 + O(x^5)
O(11^9) + O(11^8)*x + O(11^7)*x^2 + O(11^6)*x^3 + O(11^5)*x^4 + O(11^4)*x^5 
+ O(11^3)*x^6 + O(11^2)*x^7 + O(11)*x^8 + O(x^9)
O(3^5) + O(3^3)*x + (1 + 2*3 + O(3^2))*x^2 + (1 + O(3))*x^3 + O(x^4)
O(11^7) + (10 + 3*11 + 6*11^2 + 9*11^3 + 8*11^4 + 5*11^5 + O(11^6))*x + (6 +
 3*11 + 2*11^2 + 6*11^3 + 6*11^4 + O(11^5))*x^2 + (2 + 2*11 + 11^2 + 10*11^3
 + O(11^4))*x^3 + (5 + 8*11^2 + O(11^3))*x^4 + (4 + 10*11 + O(11^2))*x^5 + (
1 + O(11))*x^6 + O(x^7)
(2 + 2*3 + 2*3^2 + 3^4 + O(3^6)) + (1 + 2*3 + 3^2 + 3^3 + O(3^4))*x + (1 + 3
 + O(3^2))*x^2 + (2 + O(3^2))*x^3 + O(x^4)
[(2*3^-1 + 1 + 3 + 3^2 + 3^3 + 3^4 + O(3^5)) + (2 + 3^3 + O(3^4))*x + (1 + 2
*3 + O(3^2))*x^2 + (2*3^-1 + 1 + O(3))*x^3 + (2*3^-1 + O(3^0))*x^4 + O(x^5),
 (3^-1 + 1 + 3 + 3^2 + 3^3 + 3^4 + O(3^5)) + (1 + 2*3 + 2*3^2 + 3^3 + O(3^4)
)*x + (3^-2 + 3^-1 + O(3^2))*x^2 + (2*3^-2 + 2 + O(3))*x^3 + (3^-2 + 2*3^-1 
+ O(3^0))*x^4 + O(x^5)]
[O(5^19), 4 + 3*5 + 3*5^2 + 4*5^3 + 3*5^4 + 4*5^5 + 4*5^6 + 3*5^7 + 5^8 + 2*
5^10 + 3*5^13 + 3*5^14 + 3*5^16 + 5^18 + O(5^19), O(5^19), 2 + 2*5^2 + 3*5^3
 + 3*5^4 + 5^5 + 3*5^6 + 3*5^7 + 2*5^8 + 5^9 + 4*5^10 + 4*5^11 + 4*5^12 + 3*
5^13 + 3*5^14 + 4*5^15 + 3*5^16 + 4*5^17 + 2*5^18 + O(5^19), O(5^19), 4 + 5 
+ 4*5^4 + 4*5^5 + 3*5^8 + 5^11 + 3*5^12 + 5^13 + 3*5^14 + 5^15 + 5^16 + 3*5^
17 + 4*5^18 + O(5^19)]
Total time spent: 2772
