  ***   Warning: new stack size = 20000000 (19.073 Mbytes).

[-2]


[3 -1]

[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
[[[0, 0; -1, 1; 0, 0; -1, 0; -1, 1; -1, 0; -1, 1; -2, 1; 0, 0; -1, 0; 0, 0; 
0, 0; 0, -1; 0, 0; -1, 1; -1, 1; -1, 1; 0, 1; 0, 1; 0, 1; 1, 0; 0, 1; 0, 1; 
-1, 1; 1, 0; 0, 1; 1, 0; 1, -1; 0, 0; 0, 1; 1, 0; 0, 1; 0, 0; -1, 1; -2, 1; 
-1, 0; -1, 0; -1, 0; 0, -1], [0, -1; 1, -1], 1, Vecsmall([2, 4])], [[0, 0; 1
, 8; 2, 4; -1, 4; 1, -4; -1, 4; 1, -4; 1, 2; 0, 0; 1, 2; 2, 4; 3, 3; 0, 0; 1
, 2; 3, 0; 2, -2; 3, 0; 0, -3; 0, -6; 2, -8; 0, -3; 0, -6; 2, -8; 1, -4; 0, 
-6; 0, -6; 0, -6; 0, 0; 0, 0; 0, -3; 0, -3; 3, 3; 0, 0; 1, 8; 1, 2; 1, 2; 1,
 2; -1, 4; 0, 0], [4, -8; -2, 1], -12, Vecsmall([2, 3])], [[0, 0; -1, 5; -2,
 10; -1, -5; -1, 1; 1, 1; 1, 7; 0, 6; 0, -4; -1, 7; -2, 10; 0, 8; 0, -2; 2, 
2; 1, 3; -1, 1; 1, 3; 0, 2; 0, 2; 0, 6; -1, 7; 0, 2; 0, 6; -1, 1; -3, -3; -2
, 0; -3, -3; -1, -3; 0, -8; 0, 2; -1, 7; 0, 2; 0, -8; -1, 5; 0, 6; -1, 11; -
1, 7; 1, 1; 0, -2], [-5, -5; 1, -1], 10, Vecsmall([2, 4])], [[0, 0, 0; 0, 0,
 0; -1, 0, 1; -1, -1, 1; -1, 0, 1; -1, -1, 1; -1, 0, 1; -1, 0, 0; 0, 0, 0; -
1, 0, 0; -1, 0, 1; 0, 0, 0; 0, 0, 0; -1, 0, 0; 0, 1, 0; 1, 1, 0; 0, 1, 0; 0,
 1, 0; 0, 2, 0; 0, 1, 0; 0, 1, 0; 0, 2, 0; 0, 1, 0; -1, 0, 1; 0, 0, 1; 0, 0,
 1; 0, 0, 1; 0, 0, 0; 0, 0, 0; 0, 1, 0; 0, 1, 0; 0, 0, 0; 0, 0, 0; 0, 0, 0; 
-1, 0, 0; -1, 0, 0; -1, 0, 0; -1, -1, 1; 0, 0, 0], [0, 0, 1; -1, 1, 0; -1, 0
, 1], -1, Vecsmall([3, 4, 8])], [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0; 3, -1, 1, 1,
 -1, -7, 5, -1, -1, 2; 5, -1, -2, 7, 5, -19, 11, -1, -3, 8; 1, 1, -2, 1, 5, 
-7, 5, -1, -3, 2; 2, 0, -1, 2, 4, -14, 7, 10, -4, 4; 5, -3, 2, -7, 7, -11, 1
0, 1, -1, 7; 6, -4, 1, -2, 8, -4, 11, -10, 0, 8; 6, -4, 1, -2, 2, -4, 8, -10
, 2, 5; 4, -4, 4, -8, 8, -4, 8, -4, 0, 5; -2, 0, 5, -10, 4, 10, -5, 4, 0, -2
; 5, -1, -2, 7, 5, -19, 11, -1, -3, 8; 2, 0, 0, 0, 0, 0, 0, 0, 0, 0; 0, 2, 0
, 0, 0, 0, 0, 0, 0, 0; 0, 0, 3, 0, 0, 0, 0, 0, 0, 0; 0, 0, 0, 6, 0, 0, 0, 0,
 0, 0; 0, 0, -3, 6, 0, 0, 0, 0, 0, 0; 0, 0, 0, 6, 0, 0, 0, 0, 0, 0; 0, 0, 0,
 0, 6, 0, 0, 0, 0, 0; 0, 0, 0, 0, 0, 6, 0, 0, 0, 0; 1, -1, -1, 5, 1, 7, 1, -
11, 1, 1; 0, 0, 0, 0, 0, 0, 3, 0, 0, 0; 0, 0, 0, 0, 0, 6, 0, 0, 0, 0; 1, -1,
 1, 1, -1, -7, 2, 11, -1, 2; 2, 0, -1, 2, 4, -14, 7, 10, -4, 4; 0, 0, 0, 0, 
0, 0, 0, 6, 0, 0; 0, 0, 0, 0, 0, 0, 0, 0, 2, 0; 0, 0, 0, 0, 0, 0, 0, 6, 0, 0
; 0, 0, 0, 0, 0, 0, 0, 6, -2, 0; 0, 0, 0, 0, 0, 0, 0, 0, 0, 3; 0, 0, 0, 0, 6
, 0, 0, 0, 0, 0; 0, 0, 0, 0, 0, 0, 3, 0, 0, 0; 2, -2, 0, 0, 0, 0, 0, 0, 0, 3
; 0, 0, 0, 0, 0, 0, 0, 0, 0, 3; 3, -1, 1, 1, -1, -7, 5, -1, -1, 2; 6, -4, 1,
 -2, 2, -4, 8, -10, 2, 5; -6, 4, 1, -2, -4, 14, -13, 8, 0, -7; -2, 0, 5, -10
, 4, 10, -5, 4, 0, -2; 5, -3, 2, -7, 7, -11, 10, 1, -1, 7; 0, 2, 0, 0, 0, 0,
 0, 0, 0, 0], [0, 0, 0, 0, 0, 0, 0, 0, 0, -6; -21, 9, 21, 42, -33, -27, 102,
 -39, 54, -54; -10, 2, 10, 16, -10, -10, 40, -18, 20, -20; -3, 1, 5, 6, -3, 
-5, 18, -9, 10, -10; -1, 1, 4, 7, -4, -4, 19, -11, 11, -12; -2, 2, 2, 2, -2,
 -4, 8, -2, 4, -4; -12, 8, 12, 20, -16, -16, 56, -24, 32, -28; -2, 2, 4, 4, 
-4, -4, 14, -6, 8, -8; -15, 9, 24, 39, -30, -24, 99, -45, 57, -54; 4, -4, -4
, -8, 4, 4, -24, 16, -16, 16], -12, Vecsmall([2, 3, 4, 5, 6, 7, 8, 9, 10, 12
])]]
[301, 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]
[-32/5*x^5 + 8*x^3 - 8/5*x, -32*x^4 - 64*x^3 - 40*x^2 - 8*x]
0
-32/5*x^5 + 8*x^3 - 8/5*x
-32*x^4 - 64*x^3 - 40*x^2 - 8*x
[[[0, 0; -1, 0; 0, -1], [-1, 0; 0, -1], 1, Vecsmall([2, 3])], [[-5; -1; -1],
 Mat(1), -5, Vecsmall([1])]]
1
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), 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 -1/3    0  4  -2   1]

[ 0    0    0 12  -6   3]

[ 6   -3    0 78 -36  16]

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

[12    2   -2 60 -23   8]

[12    3   -2 48 -18   6]

1

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

[  0    0    0  -18    6  -2]

[ 24    0   -3  288 -120  48]

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

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

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

1

[ 1 0 0   10  -4   5/3]

[-6 0 1  -60  24    -9]

[ 6 1 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])]]
Total time spent: 1184
