  ***   Warning: new stack size = 20000000 (19.073 Mbytes).
[]
[[0, -1]]
[[-4, -3], [-4, 3], [4, -3], [4, 3]]
[[1, 1]]
[[-1, -1], [-1, 0], [0, -1], [0, 1], [1, 0], [1, 1]]
[[-4, -2], [1868, 514]]
[]
[[5, 1]]
[[-1, -1], [1, 1]]
[[-1, -1], [1, 1]]
  ***   at top-level: thueinit(x^0)
  ***                 ^-------------
  *** thueinit: constant polynomial in thueinit.
[[-4, -1], [-2, -2], [2, 2], [4, 1]]
[[0, 3], [3, -276], [3, 0]]
[[0, 3], [3, 0], [19, 2], [27, 3]]
[[-1, -1], [-1, 1], [1, -1], [1, 1]]
[[0, 0]]
[[0, 0]]
[[0, 0]]
[[-1, -1], [-1, 1], [1, -1], [1, 1]]
[]
[[0, 1], [1, -537825], [1, 0], [1, 1], [537824, 1]]
[[44, -131]]
[[-17711, -28657], [2584, 4181], [4181, 6765], [10946, 17711]]
[]
[[0, -1], [0, 1]]
[[0, 1]]
[[-8, 6], [-2, -2], [-2, 0], [0, -2], [2, -2]]
[[-2, -1], [-1, -2], [1, 2], [2, 1]]
[]
[]
[[-12100, 5500], [-12100, 6600], [-11000, 1100], [-11000, 9900], [-9900, -11
00], [-9900, 11000], [-6600, -5500], [-6600, 12100], [-5500, -6600], [-5500,
 12100], [-1100, -9900], [-1100, 11000], [1100, -11000], [1100, 9900], [5500
, -12100], [5500, 6600], [6600, -12100], [6600, 5500], [9900, -11000], [9900
, 1100], [11000, -9900], [11000, -1100], [12100, -6600], [12100, -5500]]
44
44
2
2
24
6
[]
[]
[[0, 1]]
[]
[]
[[739, -219]]
[[739, -219]]
[[-774658, -365105], [-774658, 365105], [774658, -365105], [774658, 365105]]
[[-1, 0], [1, 0]]
[[-1, 0], [1, 0]]
[[-1, 0], [1, 0]]
Total time spent: 4896
