  ***   Warning: new stack size = 48000000 (45.776 Mbytes).
-32768:[1, 11; 11, 1]:[0, 0]
-121:[1, 11; 11, 1]:[0, 0]
-24729001:[1, 11; 11, 1]:[0, 0]
-297756989/2:[1, 17; 17, 1]:[0, 0]
-882216989/131072:[1, 17; 17, 1]:[0, 0]
-884736:[1, 19; 19, 1]:[0, 0]
-9317:[1, 37; 37, 1]:[0, 0]
-162677523113838677:[1, 37; 37, 1]:[0, 0]
-884736000:[1, 43; 43, 1]:[0, 0]
-147197952000:[1, 67; 67, 1]:[0, 0]
-262537412640768000:[1, 163; 163, 1]:[0, 0]
0:[1, 3, 2, 6; 3, 1, 6, 2; 2, 6, 1, 3; 6, 2, 3, 1]:[0, 0, 0, 0]
1728:[1, 2, 4, 4; 2, 1, 2, 2; 4, 2, 1, 4; 4, 2, 4, 1]:[0, 0, 0, 0]
-3375:[1, 2, 7, 14; 2, 1, 14, 7; 7, 14, 1, 2; 14, 7, 2, 1]:[0, 0, 0, 0]
8000:[1, 2; 2, 1]:[0, 0]
54000:[1, 3, 2, 6; 3, 1, 6, 2; 2, 6, 1, 3; 6, 2, 3, 1]:[0, 0, 0, 0]
287496:[1, 2, 4, 4; 2, 1, 2, 2; 4, 2, 1, 4; 4, 2, 4, 1]:[0, 0, 0, 0]
-12288000:[1, 3, 9, 27; 3, 1, 3, 9; 9, 3, 1, 3; 27, 9, 3, 1]:[0, 0, 0, 0]
16581375:[1, 2, 7, 14; 2, 1, 14, 7; 7, 14, 1, 2; 14, 7, 2, 1]:[0, 0, 0, 0]
9938375/21952:[1, 3, 3, 2, 6, 6; 3, 1, 9, 6, 2, 18; 3, 9, 1, 6, 18, 2; 2, 6,
 6, 1, 3, 3; 6, 2, 18, 3, 1, 9; 6, 18, 2, 3, 9, 1]:[0, 0, 0, 0, 0, 0]
111284641/50625:[1, 2, 4, 4, 2, 2, 4, 4; 2, 1, 2, 2, 4, 4, 8, 8; 4, 2, 1, 4,
 8, 8, 16, 16; 4, 2, 4, 1, 8, 8, 16, 16; 2, 4, 8, 8, 1, 4, 8, 8; 2, 4, 8, 8,
 4, 1, 2, 2; 4, 8, 16, 16, 8, 2, 1, 4; 4, 8, 16, 16, 8, 2, 4, 1]:[0, 0, 0, 0
, 0, 0, 0, 0]
-10218313/17576:[1, 3, 3; 3, 1, 9; 3, 9, 1]:[0, 0, 0]
-25/2:[1, 3, 5, 15; 3, 1, 15, 5; 5, 15, 1, 3; 15, 5, 3, 1]:[0, 0, 0, 0]
[[[[-31/3, -2501/108], [x - 1/3, y + 1/2, 1], [x + 1/3, y - 1/2, 1]], [[-234
61/3, -28748141/108], [x^5 - 127/3*x^4 + 2177*x^3 - 91861/3*x^2 + 171618*x -
 980197/3, (y + 1/2)*x^6 + (-63*y - 63/2)*x^5 + (y + 1/2)*x^4 + (1977*y + 19
77/2)*x^3 + (7626*y + 3813)*x^2 + (11654*y + 5827)*x + (6682*y + 3341), x^2 
- 21*x + 80], [1/25*x^5 + 127/15*x^4 + 30467/45*x^3 + 3309581/135*x^2 + 1445
85559/405*x + 4710599326/6075, (1/125*y - 1/2)*x^6 + (61/25*y - 305/2)*x^5 +
 (117098/375*y - 290702/15)*x^4 + (72436097/3375*y - 70930739/54)*x^3 + (281
9744498/3375*y - 33802537858/675)*x^2 + (176778054473/10125*y - 824769156301
/810)*x + (13938798626101/91125*y - 1572185782385639/182250), x^2 + 305/3*x 
+ 116279/45]], [[-625/3, 296875/108], [x^5 + 5/3*x^4 + 85/3*x^3 - 935/3*x^2 
- 2245/3*x - 3166/3, (y + 1/2)*x^6 + (3*y + 3/2)*x^5 + (-54*y - 27)*x^4 + (6
13*y + 613/2)*x^3 + (1752*y + 876)*x^2 + (8585*y + 8585/2)*x + (6451*y + 645
1/2), x^2 + x - 29/5], [1/25*x^5 - 1/3*x^4 + 325/9*x^3 + 34375/27*x^2 - 1562
500/81*x + 40234375/243, (1/125*y - 1/2)*x^6 + (-1/5*y + 25/2)*x^5 + (-35/3*
y + 625/6)*x^4 + (-14375/27*y - 171875/54)*x^3 + (231250/27*y - 390625/27)*x
^2 + (-19062500/81*y + 19531250/81)*x + (792968750/729*y + 976562500/729), x
^2 - 25/3*x - 1250/9]]], [1, 5, 5; 5, 1, 25; 5, 25, 1]]
[[[[215/48, -5291/864], [x + 1/12, 1/2*x + (y + 1/2), 1], [x - 1/12, -1/2*x 
+ (y - 11/24), 1]], [[-1705/48, -57707/864], [x^3 - 23/12*x^2 + 53/6*x - 95/
12, 1/2*x^4 + (y - 1)*x^3 + (-3*y - 4)*x^2 + (-5*y + 1)*x + (7*y + 7/2), x -
 1], [1/4*x^3 + x^2 - 291/64*x - 41483/3456, -1/8*x^4 + (1/8*y - 61/48)*x^3 
+ (13/16*y - 791/384)*x^2 + (1705/384*y + 13429/3456)*x + (48919/6912*y + 32
8367/41472), x + 13/6]]], [1, 2; 2, 1]]
[[[[215/48, -5291/864], [x + 1/12, 1/2*x + (y + 1/2), 1], [x - 1/12, -1/2*x 
+ (y - 11/24), 1]], [[-675/16, 6831/32], [x^3 + 3/4*x^2 + 19/2*x - 311/12, 1
/2*x^4 + (y + 1)*x^3 + (y - 4)*x^2 + (-9*y + 23)*x + (55*y + 55/2), x + 1/3]
, [1/9*x^3 - 1/4*x^2 - 141/16*x + 5613/64, -1/18*x^4 + (1/27*y - 1/3)*x^3 + 
(-1/12*y + 87/16)*x^2 + (49/16*y - 48)*x + (-3601/64*y + 16947/512), x - 3/4
]], [[-8185/48, -742643/864], [x^3 - 47/12*x^2 + 116/3*x - 62/3, 1/2*x^4 + (
y - 5/2)*x^3 + (-6*y - 29/2)*x^2 + (-23*y - 59/2)*x + (-36*y - 18), x - 2], 
[1/9*x^3 + 47/36*x^2 - 3695/432*x - 1464769/15552, -1/18*x^4 + (1/27*y - 3/2
)*x^3 + (25/36*y - 3965/432)*x^2 + (10745/1296*y + 118411/7776)*x + (2098163
/46656*y + 21431725/124416), x + 25/4]]], [1, 3, 3; 3, 1, 9; 3, 9, 1]]
[1, 13; 13, 1]
[0, 0]
[1, 2, 3, 6, 5, 10, 15, 30; 2, 1, 6, 3, 10, 5, 30, 15; 3, 6, 1, 2, 15, 30, 5
, 10; 6, 3, 2, 1, 30, 15, 10, 5; 5, 10, 15, 30, 1, 2, 3, 6; 10, 5, 30, 15, 2
, 1, 6, 3; 15, 30, 5, 10, 3, 6, 1, 2; 30, 15, 10, 5, 6, 3, 2, 1]
[0, 0, 0, 0, 0, 0, 0, 0]
[1, 2, 4, 4, 3, 3, 6, 6, 12, 12, 12, 12; 2, 1, 2, 2, 6, 6, 3, 3, 6, 6, 6, 6;
 4, 2, 1, 4, 12, 12, 6, 6, 3, 3, 12, 12; 4, 2, 4, 1, 12, 12, 6, 6, 12, 12, 3
, 3; 3, 6, 12, 12, 1, 9, 2, 18, 4, 36, 36, 4; 3, 6, 12, 12, 9, 1, 18, 2, 36,
 4, 4, 36; 6, 3, 6, 6, 2, 18, 1, 9, 2, 18, 18, 2; 6, 3, 6, 6, 18, 2, 9, 1, 1
8, 2, 2, 18; 12, 6, 3, 12, 4, 36, 2, 18, 1, 9, 36, 4; 12, 6, 3, 12, 36, 4, 1
8, 2, 9, 1, 4, 36; 12, 6, 12, 3, 36, 4, 18, 2, 36, 4, 1, 9; 12, 6, 12, 3, 4,
 36, 2, 18, 4, 36, 9, 1]
[0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0]

[ 1  2  7 14]

[ 2  1 14  7]

[ 7 14  1  2]

[14  7  2  1]


[1 2]

[2 1]


[1 2 4 4]

[2 1 2 2]

[4 2 1 4]

[4 2 4 1]


[1 2 2 2]

[2 1 4 4]

[2 4 1 4]

[2 4 4 1]


[ 1 23]

[23  1]


[  1   5  23 115]

[  5   1 115  23]

[ 23 115   1   5]

[115  23   5   1]


[  1   5  47 235]

[  5   1 235  47]

[ 47 235   1   5]

[235  47   5   1]

[[[1, 0, 1, 4, -6, 1, 9, -23, -26, -215, 5291, -21952, 9938375/21952, Vecsma
ll([1]), [Vecsmall([64, -1])], [0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -1, 0, 1
, -1, 1, 0, 25, -253, -28, -15625/28, Vecsmall([1]), [Vecsmall([64, -1])], [
0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -171, -874, 1, -341, -3495, -29944, 8185
, 742643, -1835008, -548347731625/1835008, Vecsmall([1]), [Vecsmall([64, -1]
)], [0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -36, -70, 1, -71, -279, -1330, 1705
, 57707, 941192, 4956477625/941192, Vecsmall([1]), [Vecsmall([64, 1])], [0, 
0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -11, 12, 1, -21, 49, -98, 505, -11341, 98, 
128787625/98, Vecsmall([1]), [Vecsmall([64, 1])], [0, 0, 0, 0, 0, 0, 0, 0]],
 [1, 0, 1, -2731, -55146, 1, -5461, -220583, -7510776, 131065, 47449331, 250
88, 2251439055699625/25088, Vecsmall([1]), [Vecsmall([64, 1])], [0, 0, 0, 0,
 0, 0, 0, 0]]], [0, 0, 3, 2, 0, 0; 3, 0, 0, 0, 2, 0; 0, 0, 0, 0, 0, 2; 0, 0,
 0, 0, 0, 3; 0, 0, 0, 3, 0, 0; 0, 0, 0, 0, 0, 0]]
[[[1, 0, 1, 4, -6, 1, 9, -23, -26, -215, 5291, -21952, 9938375/21952, Vecsma
ll([1]), [Vecsmall([64, -1])], [0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -36, -70
, 1, -71, -279, -1330, 1705, 57707, 941192, 4956477625/941192, Vecsmall([1])
, [Vecsmall([64, 1])], [0, 0, 0, 0, 0, 0, 0, 0]]], [0, 2; 0, 0]]
[[[1, 0, 1, 4, -6, 1, 9, -23, -26, -215, 5291, -21952, 9938375/21952, Vecsma
ll([1]), [Vecsmall([64, -1])], [0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -36, -70
, 1, -71, -279, -1330, 1705, 57707, 941192, 4956477625/941192, Vecsmall([1])
, [Vecsmall([64, 1])], [0, 0, 0, 0, 0, 0, 0, 0]]], [0, 2; 0, 0]]
[[[1, 0, 1, 4, -6, 1, 9, -23, -26, -215, 5291, -21952, 9938375/21952, Vecsma
ll([1]), [Vecsmall([64, -1])], [0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -1, 0, 1
, -1, 1, 0, 25, -253, -28, -15625/28, Vecsmall([1]), [Vecsmall([64, -1])], [
0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -171, -874, 1, -341, -3495, -29944, 8185
, 742643, -1835008, -548347731625/1835008, Vecsmall([1]), [Vecsmall([64, -1]
)], [0, 0, 0, 0, 0, 0, 0, 0]]], [0, 0, 3; 3, 0, 0; 0, 0, 0]]
[[[1, 0, 1, 4, -6, 1, 9, -23, -26, -215, 5291, -21952, 9938375/21952, Vecsma
ll([1]), [Vecsmall([64, -1])], [0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -1, 0, 1
, -1, 1, 0, 25, -253, -28, -15625/28, Vecsmall([1]), [Vecsmall([64, -1])], [
0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -171, -874, 1, -341, -3495, -29944, 8185
, 742643, -1835008, -548347731625/1835008, Vecsmall([1]), [Vecsmall([64, -1]
)], [0, 0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -36, -70, 1, -71, -279, -1330, 1705
, 57707, 941192, 4956477625/941192, Vecsmall([1]), [Vecsmall([64, 1])], [0, 
0, 0, 0, 0, 0, 0, 0]], [1, 0, 1, -11, 12, 1, -21, 49, -98, 505, -11341, 98, 
128787625/98, Vecsmall([1]), [Vecsmall([64, 1])], [0, 0, 0, 0, 0, 0, 0, 0]],
 [1, 0, 1, -2731, -55146, 1, -5461, -220583, -7510776, 131065, 47449331, 250
88, 2251439055699625/25088, Vecsmall([1]), [Vecsmall([64, 1])], [0, 0, 0, 0,
 0, 0, 0, 0]]], [0, 0, 3, 2, 0, 0; 3, 0, 0, 0, 2, 0; 0, 0, 0, 0, 0, 2; 0, 0,
 0, 0, 0, 3; 0, 0, 0, 3, 0, 0; 0, 0, 0, 0, 0, 0]]
  ***   at top-level: ellisomat(ellinit([1,0],nfinit(a^2+1)))
  ***                 ^---------------------------------------
  *** ellisomat: domain error in ellisomat: E has CM
  ***   at top-level: ellisomat(ellinit([-824740032823875,9115932407
  ***                 ^----------------------------------------------
  *** ellisomat: incorrect priority in ellisomat: variable x <= x
  ***   at top-level: ellisomat(ellinit([-824740032823875,9115932407
  ***                 ^----------------------------------------------
  *** ellisomat: incorrect priority in ellisomat: variable y <= y
Total time spent: 2685
