  ***   Warning: new stack size = 100000000 (95.367 Mbytes).

[-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
[[[-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])]]
[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]
[64*x^6 - 272*x^4 + 136*x^2 - 8, 384*x^5 + 960*x^4 + 192*x^3 - 672*x^2 - 432
*x - 72]
0
64*x^6 - 272*x^4 + 136*x^2 - 8
384*x^5 + 960*x^4 + 192*x^3 - 672*x^2 - 432*x - 72
[[[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]~
[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])]]
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]

Total time spent: 2129
