allcurvesOutput.m

//we store 
//the smallest three primes of ordinary reduction (ordinary_pr)
//the sets of known points on all curves (pts)
//Mumford representations for generators of the free part of Jacobian (gens)
//Mumford representation for the torsion part of the Jacobian (tor_bas)
//orders of generators for the torsion part (tor_ord)
_<x> := PolynomialRing(Rationals());

ordinary_pr := [
    [ 5, 7, 11 ],
    [ 5, 11, 13 ],
    [ 13, 17, 19 ],
    [ 7, 11, 13 ],
    [ 3, 11, 13 ],
    [ 3, 5, 7 ],
    [ 5, 17, 19 ],
    [ 5, 17, 19 ],
    [ 3, 7, 11 ],
    [ 5, 7, 11 ],
    [ 11, 13, 17 ],
    [ 5, 7, 11 ],
    [ 5, 23, 31 ],
    [ 7, 11, 23 ],
    [ 5, 7, 11 ],
    [ 7, 13, 17 ],
    [ 5, 11, 13 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 5, 7, 17 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 5, 13, 17 ],
    [ 3, 5, 7 ],
    [ 5, 7, 13 ],
    [ 3, 5, 17 ],
    [ 5, 11, 13 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 5, 7, 17 ],
    [ 7, 13, 17 ],
    [ 5, 7, 11 ],
    [ 7, 13, 19 ],
    [ 3, 5, 11 ],
    [ 5, 7, 11 ],
    [ 5, 7, 13 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 5, 23 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 7, 11, 13 ],
    [ 5, 11, 13 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 5, 11 ],
    [ 3, 7, 11 ],
    [ 5, 7, 19 ],
    [ 5, 11, 13 ],
    [ 3, 11, 13 ],
    [ 5, 17, 19 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 17, 23, 29 ],
    [ 5, 7, 13 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 7, 11, 13 ],
    [ 13, 19, 23 ],
    [ 7, 13, 17 ],
    [ 3, 11, 13 ],
    [ 7, 11, 17 ],
    [ 5, 11, 13 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 5, 13 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 7, 13, 17 ],
    [ 3, 5, 17 ],
    [ 5, 11, 17 ],
    [ 3, 7, 11 ],
    [ 7, 11, 13 ],
    [ 11, 17, 19 ],
    [ 7, 17, 19 ],
    [ 5, 11, 13 ],
    [ 7, 11, 13 ],
    [ 11, 13, 17 ],
    [ 3, 13, 17 ],
    [ 13, 17, 19 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 7, 13, 17 ],
    [ 3, 5, 7 ],
    [ 5, 7, 13 ],
    [ 7, 11, 17 ],
    [ 3, 11, 13 ],
    [ 5, 7, 11 ],
    [ 11, 19, 23 ],
    [ 7, 13, 17 ],
    [ 7, 11, 13 ],
    [ 5, 7, 11 ],
    [ 5, 7, 13 ],
    [ 5, 11, 13 ],
    [ 5, 11, 13 ],
    [ 5, 11, 13 ],
    [ 3, 7, 11 ],
    [ 3, 7, 11 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 7, 13, 19 ],
    [ 11, 17, 19 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 7, 11, 13 ],
    [ 7, 13, 17 ],
    [ 7, 11, 13 ],
    [ 5, 7, 19 ],
    [ 5, 11, 17 ],
    [ 5, 13, 19 ],
    [ 11, 13, 17 ],
    [ 3, 11, 17 ],
    [ 11, 17, 19 ],
    [ 7, 17, 23 ],
    [ 13, 17, 19 ],
    [ 11, 13, 17 ],
    [ 7, 13, 19 ],
    [ 5, 7, 11 ],
    [ 5, 11, 13 ],
    [ 5, 7, 13 ],
    [ 3, 5, 7 ],
    [ 5, 11, 13 ],
    [ 5, 7, 11 ],
    [ 5, 11, 13 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 3, 7, 11 ],
    [ 7, 13, 17 ],
    [ 5, 11, 13 ],
    [ 7, 13, 17 ],
    [ 3, 5, 11 ],
    [ 5, 13, 17 ],
    [ 5, 7, 13 ],
    [ 5, 7, 13 ],
    [ 5, 7, 11 ],
    [ 7, 17, 23 ],
    [ 3, 13, 17 ],
    [ 11, 13, 17 ],
    [ 5, 7, 11 ],
    [ 17, 19, 23 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 3, 7, 11 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 7, 11 ],
    [ 7, 11, 13 ],
    [ 5, 7, 11 ],
    [ 11, 13, 17 ],
    [ 3, 5, 11 ],
    [ 3, 5, 13 ],
    [ 7, 13, 19 ],
    [ 5, 7, 13 ],
    [ 3, 5, 7 ],
    [ 13, 19, 29 ],
    [ 7, 13, 17 ],
    [ 7, 13, 17 ],
    [ 7, 11, 17 ],
    [ 7, 11, 13 ],
    [ 3, 11, 13 ],
    [ 11, 13, 29 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 3, 5, 17 ],
    [ 7, 19, 23 ],
    [ 7, 11, 13 ],
    [ 3, 13, 17 ],
    [ 5, 7, 11 ],
    [ 5, 11, 13 ],
    [ 7, 11, 17 ],
    [ 5, 7, 11 ],
    [ 3, 5, 13 ],
    [ 11, 19, 23 ],
    [ 13, 17, 29 ],
    [ 5, 7, 11 ],
    [ 7, 13, 19 ],
    [ 7, 13, 17 ],
    [ 5, 7, 11 ],
    [ 7, 13, 17 ],
    [ 7, 13, 17 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 3, 5, 7 ],
    [ 3, 5, 7 ],
    [ 5, 11, 17 ],
    [ 7, 11, 13 ],
    [ 5, 13, 17 ],
    [ 3, 5, 7 ],
    [ 3, 7, 11 ],
    [ 19, 23, 29 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 11, 13, 17 ],
    [ 3, 5, 7 ],
    [ 7, 11, 13 ],
    [ 5, 7, 11 ],
    [ 3, 11, 13 ],
    [ 17, 23, 29 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 7, 11, 13 ],
    [ 13, 17, 19 ],
    [ 13, 17, 29 ],
    [ 13, 17, 29 ],
    [ 7, 13, 19 ],
    [ 7, 17, 19 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 3, 11, 23 ],
    [ 3, 5, 7 ],
    [ 11, 13, 19 ],
    [ 5, 7, 11 ],
    [ 11, 13, 17 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 5, 11, 13 ],
    [ 3, 5, 7 ],
    [ 3, 7, 13 ],
    [ 7, 13, 17 ],
    [ 5, 7, 11 ],
    [ 7, 13, 23 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 7, 11, 13 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 3, 7, 13 ],
    [ 5, 7, 13 ],
    [ 3, 7, 11 ],
    [ 5, 7, 11 ],
    [ 7, 11, 17 ],
    [ 11, 13, 29 ],
    [ 7, 13, 19 ],
    [ 3, 5, 11 ],
    [ 5, 17, 19 ],
    [ 3, 5, 7 ],
    [ 7, 11, 19 ],
    [ 3, 7, 13 ],
    [ 5, 17, 19 ],
    [ 5, 11, 13 ],
    [ 13, 17, 29 ],
    [ 11, 13, 17 ],
    [ 17, 41, 43 ],
    [ 5, 7, 13 ],
    [ 5, 11, 13 ],
    [ 11, 31, 37 ],
    [ 7, 13, 17 ],
    [ 3, 5, 7 ],
    [ 13, 19, 23 ],
    [ 11, 13, 17 ],
    [ 3, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 7, 11 ],
    [ 3, 5, 7 ],
    [ 13, 17, 29 ],
    [ 5, 13, 17 ],
    [ 7, 11, 13 ],
    [ 5, 7, 13 ],
    [ 3, 11, 13 ],
    [ 7, 13, 17 ],
    [ 13, 17, 29 ],
    [ 5, 17, 19 ],
    [ 5, 7, 11 ],
    [ 7, 11, 13 ],
    [ 3, 5, 7 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 5, 7, 19 ],
    [ 17, 23, 29 ],
    [ 5, 7, 17 ],
    [ 13, 17, 19 ],
    [ 5, 13, 17 ],
    [ 3, 5, 11 ],
    [ 7, 13, 19 ],
    [ 5, 7, 11 ],
    [ 11, 13, 19 ],
    [ 7, 17, 19 ],
    [ 5, 13, 19 ],
    [ 7, 11, 13 ],
    [ 3, 5, 7 ],
    [ 11, 13, 17 ],
    [ 5, 7, 11 ],
    [ 5, 13, 17 ],
    [ 3, 5, 11 ],
    [ 13, 19, 31 ],
    [ 17, 23, 29 ],
    [ 13, 17, 19 ],
    [ 5, 7, 11 ],
    [ 7, 13, 19 ],
    [ 5, 7, 11 ],
    [ 3, 7, 11 ],
    [ 11, 17, 19 ],
    [ 3, 5, 7 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 7, 13, 17 ],
    [ 5, 11, 13 ],
    [ 11, 13, 17 ],
    [ 13, 17, 19 ],
    [ 5, 7, 13 ],
    [ 3, 13, 19 ],
    [ 3, 5, 13 ],
    [ 3, 5, 13 ],
    [ 3, 5, 7 ],
    [ 11, 13, 17 ],
    [ 7, 11, 17 ],
    [ 5, 7, 17 ],
    [ 3, 5, 23 ],
    [ 5, 13, 17 ],
    [ 5, 7, 11 ],
    [ 5, 7, 11 ],
    [ 3, 19, 23 ],
    [ 5, 7, 13 ],
    [ 3, 11, 13 ],
    [ 5, 7, 11 ],
    [ 3, 11, 17 ],
    [ 5, 11, 13 ],
    [ 3, 5, 17 ],
    [ 5, 17, 19 ],
    [ 7, 11, 17 ],
    [ 13, 17, 19 ],
    [ 7, 13, 19 ],
    [ 3, 5, 7 ],
    [ 5, 7, 11 ],
    [ 5, 13, 17 ],
    [ 5, 7, 11 ],
    [ 7, 11, 19 ],
    [ 7, 11, 13 ],
    [ 5, 11, 13 ],
    [ 5, 7, 13 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 3, 7, 13 ],
    [ 7, 13, 17 ],
    [ 5, 7, 11 ],
    [ 3, 7, 13 ],
    [ 13, 19, 31 ],
    [ 13, 17, 19 ],
    [ 5, 7, 11 ],
    [ 3, 5, 7 ],
    [ 3, 5, 11 ],
    [ 3, 7, 13 ],
    [ 3, 5, 11 ],
    [ 3, 5, 11 ],
    [ 7, 13, 17 ],
    [ 7, 13, 19 ]
];



 pts := [
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -1 , 1], [1 , 1 , 1], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 
    1], [2 , 2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -12 , 1], [-3 , 12 , 1], [3 , -12 , 1], [3 , 12 , 1], [-17 , 
    -1532 , 7], [-17 , 1532 , 7], [17 , -1532 , 7], [17 , 1532 , 7] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -20 , 1], [-3 , 20 , 1], [3 , -20 ,
    1], [3 , 20 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -52 , 5], [-3 , 52 , 5], [3 , -52 , 5], [3 , 52 , 5] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -1 , 1], [1 , 1 , 1], [-2 , -10 , 1], [-2 , 10 , 1], [2 , -10 ,
    1], [2 , 10 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -4 , 1], [1 , 4 , 1], [-5 , -148 , 1], [-5 , 148 , 1], [5 , 
    -148 , 1], [5 , 148 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-1 , -28 , 3], [-1 , 28 , 3], [1 , -28 , 3], [1 , 28 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -12 , 1], [-1 , 12 , 1], [1 , -12 , 1], 
    [1 , 12 , 1], [-3 , -44 , 1], [-3 , 44 , 1], [3 , -44 , 1], [3 , 44 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-2 , -4 , 1], [-2 , 4 , 1], [2 , -4 , 1], [2 , 4 , 1], [-3 , -4 , 
    1], [-3 , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 , 2 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [0 , -5 , 1], [0 , 5 , 1], [1 , -4 , 1], [1 ,
    4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [0 , -3 , 1], [0 , 3 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -12 , 1], [-3 , 12 , 1], [3 , -12 , 1], [3 , 12 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 ,
    2 , 1], [-3 , -19 , 2], [-3 , 19 , 2], [3 , -19 , 2], [3 , 19 , 2] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -1 , 1], [1 , 1 , 1], [-3 , -43 , 2], [-3 , 43 , 2], [3 , -43 ,
    2], [3 , 43 , 2] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -5 , 1], [-1 , 5 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -5 , 1], [1 , 5 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -2 , 1], [1 , 2 , 1], [-5 , -154 , 3], [-5 , 154 , 3], [5 , 
    -154 , 3], [5 , 154 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-1 , -76 , 3], 
    [-1 , 76 , 3], [1 , -76 , 3], [1 , 76 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -4 , 1], [-3
    , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [0 , -4 , 1], [0 ,
    4 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -22 , 1], [-2 , 22 , 1], [2 , -22 , 1], 
    [2 , 22 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -3 , 1], [1 , 3 , 1], [-2 , -6 , 1], [-2 , 6 , 1], [2 , -6 , 
    1], [2 , 6 , 1], [-3 , -29 , 2], [-3 , 29 , 2], [3 , -29 , 2], [3 , 29 , 2] 
    ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -4 , 1], [1 , 4 , 1], [-7 , -569 , 4], [-7 , 569 , 4], [7 , 
    -569 , 4], [7 , 569 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -47 , 2], [-1 , 47 , 2], [1 , -47 , 2], 
    [1 , 47 , 2] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-1 , -5 , 2], [-1 , 5 , 2], [1 , -5 , 2], [1 , 5 , 2] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 ,
    8 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-3 , -2 , 2], [-3 , 2 , 2], [3 , -2 , 2], [3 , 2 , 2] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -3 , 1], [1 , 3 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 ,
    2 , 1], [-2 , -4 , 1], [-2 , 4 , 1], [2 , -4 , 1], [2 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -36 , 1], [-3 , 36 , 1], [3 , -36 , 1], [3 , 36 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [0 , -1 , 1], [0 ,
    1 , 1], [1 , -2 , 1], [1 , 2 , 1], [-3 , -26 , 1], [-3 , 26 , 1], [3 , -26 ,
    1], [3 , 26 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -20 , 1], 
    [-3 , 20 , 1], [3 , -20 , 1], [3 , 20 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-1 , -23 , 2], [-1 , 23 , 2], [1 , -23 , 2], [1 , 23 , 2] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1], [-3 , -64 , 1], 
    [-3 , 64 , 1], [3 , -64 , 1], [3 , 64 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-7 , -4 , 5], [-7
    , 4 , 5], [7 , -4 , 5], [7 , 4 , 5] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -12 , 1], [-3 , 12 , 1], [3 , -12 , 1], [3 , 12 , 1], [-13 , 
    -4012 , 11], [-13 , 4012 , 11], [13 , -4012 , 11], [13 , 4012 , 11] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [0 , -4 , 1], [0 ,
    4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -4 , 1], [-3 , 4 , 1], [3 , -4 , 
    1], [3 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [0 , -6 , 1], [0 ,
    6 , 1], [1 , -8 , 1], [1 , 8 , 1], [-3 , 0 , 1], [3 , 0 , 1], [-7 , -64 , 
    3], [-7 , 64 , 3], [7 , -64 , 3], [7 , 64 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-2 , -1 , 1], [-2
    , 1 , 1], [2 , -1 , 1], [2 , 1 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-5 , -13 , 2], [-5 , 13 , 2], [5 , -13 , 2], [5 , 13 , 2] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -6 , 1], [0 , 6 , 1], [-2 , -2 , 1], [-2 ,
    2 , 1], [2 , -2 , 1], [2 , 2 , 1], [-1 , -49 , 2], [-1 , 49 , 2], [1 , -49 ,
    2], [1 , 49 , 2] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -7 , 1], [-1 , 7 , 1], [0 , -3 , 1], [0 ,
    3 , 1], [1 , -7 , 1], [1 , 7 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -12 , 1], 
    [-3 , 12 , 1], [3 , -12 , 1], [3 , 12 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 ,
    8 , 1], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 , 2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 ,
    2 , 1], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 , 2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 ,
    2 , 1], [-3 , -8 , 1], [-3 , 8 , 1], [3 , -8 , 1], [3 , 8 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-1 , -644 , 5], 
    [-1 , 644 , 5], [1 , -644 , 5], [1 , 644 , 5] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -4 , 1], [-3 , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [0 , -5 , 1], [0 , 5 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -4 , 1], [-3 , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -36 , 1], [-3 , 36 , 1], [3 , -36 , 1], [3 , 36 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -2 , 1], [1 , 2 , 1], [-11 , -733 , 4], [-11 , 733 , 4], [11 , 
    -733 , 4], [11 , 733 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -44 , 1], [-3 , 44 , 1], [3 , -44 , 1], [3 , 44 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , 0 , 1], [0 , -2 , 1], [0 , 2 , 1], [1 , 0
    , 1], [-3 , -16 , 1], [-3 , 16 , 1], [3 , -16 , 1], [3 , 16 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -2 , 1], [1 , 2 , 1], [-1 , -113 , 4], [-1 , 113 , 4], [1 , 
    -113 , 4], [1 , 113 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 ,
    2 , 1], [-2 , -8 , 1], [-2 , 8 , 1], [2 , -8 , 1], [2 , 8 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [0 , -5 , 1], [0 , 5 , 1], [-2 , -29 , 1], [-2 
    , 29 , 1], [2 , -29 , 1], [2 , 29 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 ,
    2 , 1], [-2 , -4 , 1], [-2 , 4 , 1], [2 , -4 , 1], [2 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 ,
    8 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-3 , -310 , 4], [-3 , 310 , 4], [3 , -310 , 
    4], [3 , 310 , 4] ],
    [ [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 , 2 , 1], [-8 , -34 , 7], 
    [-8 , 34 , 7], [8 , -34 , 7], [8 , 34 , 7] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -6 , 1], [-1 , 6 , 1], [0 , -4 , 1], [0 ,
    4 , 1], [1 , -6 , 1], [1 , 6 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [0 , -3 , 1], [0 , 3 , 1], [1 , -4 , 1], [1 ,
    4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 ,
    2 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -28 , 1], 
    [-3 , 28 , 1], [3 , -28 , 1], [3 , 28 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-2 , -2 , 1], [-2
    , 2 , 1], [2 , -2 , 1], [2 , 2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-2 , -2 , 1], [-2 ,
    2 , 1], [2 , -2 , 1], [2 , 2 , 1], [-7 , -793 , 6], [-7 , 793 , 6], [7 , 
    -793 , 6], [7 , 793 , 6] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [0 , -2 , 1], [0 ,
    2 , 1], [1 , -3 , 1], [1 , 3 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , 0 , 1], [1 , 0 , 1], [-3 , -40 , 1], [-3 
    , 40 , 1], [3 , -40 , 1], [3 , 40 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , 0 , 1], [0 , -2 , 1], [0 , 2 , 1], [1 , 0
    , 1], [-5 , -147 , 4], [-5 , 147 , 4], [5 , -147 , 4], [5 , 147 , 4] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-1 , -28 , 3], [-1 , 28 , 3], [1 , -28 , 3], [1 , 28 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -10 , 1], [0 , 10 , 1], [-2 , -314 , 3], 
    [-2 , 314 , 3], [2 , -314 , 3], [2 , 314 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-2 , -5 , 1], [-2
    , 5 , 1], [2 , -5 , 1], [2 , 5 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [0 , -7 , 1], [0 , 7 , 1], [1 , -8 , 1], [1 ,
    8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 ,
    2 , 1], [-3 , -8 , 1], [-3 , 8 , 1], [3 , -8 , 1], [3 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-2 , -6 , 1], [-2 ,
    6 , 1], [2 , -6 , 1], [2 , 6 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [0 , -3 , 1], [0 ,
    3 , 1], [1 , -2 , 1], [1 , 2 , 1], [-5 , -106 , 3], [-5 , 106 , 3], [5 , 
    -106 , 3], [5 , 106 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -4 , 1], [-2 , 4 , 1], [2 , -4 , 1], [2 ,
    4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-3 , -28 , 1], [-3 , 28 , 1], [3 , -28 , 1], [3 , 28 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-1 , -44 , 3], [-1 , 44 , 3], [1 , -44 , 3], [1 , 44 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-1 , -860 , 7], 
    [-1 , 860 , 7], [1 , -860 , 7], [1 , 860 , 7] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -7 , 1], [-1 , 7 , 1], [1 , -7 , 1], [1 ,
    7 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 ,
    2 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -60 , 1], 
    [-3 , 60 , 1], [3 , -60 , 1], [3 , 60 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -6 , 1], [-1 , 6 , 1], [1 , -6 , 1], [1 ,
    6 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [1 , -2 , 1], [1 ,
    2 , 1], [-17 , -6994 , 7], [-17 , 6994 , 7], [17 , -6994 , 7], [17 , 6994 , 
    7] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -7 , 1], [-1 , 7 , 1], [1 , -7 , 1], [1 ,
    7 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [-1 , -12 , 1], [-1 , 12 , 1], [0 , -7 , 1], [0 , 7 , 1], [1 , -12 , 1], 
    [1 , 12 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 ,
    2 , 1], [-19 , -691 , 10], [-19 , 691 , 10], [19 , -691 , 10], [19 , 691 , 
    10] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -10 , 1], [0 , 10 , 1], [-3 , -1 , 1], [-3
    , 1 , 1], [3 , -1 , 1], [3 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -4 , 1], [-3
    , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -11 , 1], [-1 , 11 , 1], [1 , -11 , 1], 
    [1 , 11 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -4 , 1], [-3
    , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-2 , -1 , 1], [-2
    , 1 , 1], [2 , -1 , 1], [2 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-2 , -82 , 3], [-2 
    , 82 , 3], [2 , -82 , 3], [2 , 82 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -57 , 2], [-1 , 57 , 2], [1 , -57 , 2], 
    [1 , 57 , 2] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-7 , -44 , 5], 
    [-7 , 44 , 5], [7 , -44 , 5], [7 , 44 , 5] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-2 , -11 , 1], [-2 , 11 , 1], [2 , -11 , 1], [2 , 11 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-3 , -245 , 4], [-3
    , 245 , 4], [3 , -245 , 4], [3 , 245 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , 0 , 1], [0 , -2 , 1], [0 , 2 , 1], [1 , 0
    , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 ,
    2 , 1], [-3 , -7 , 1], [-3 , 7 , 1], [3 , -7 , 1], [3 , 7 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -1 , 1], [-3 , 1 , 1], [3 , -1 , 1], [3 ,
    1 , 1], [-7 , -57 , 2], [-7 , 57 , 2], [7 , -57 , 2], [7 , 57 , 2] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [0 , -3 , 1], [0 , 3 , 1], [1 , -8 , 1], [1 ,
    8 , 1] ],
    [ [-3 , -1 , 1], [-3 , 1 , 1], [3 , -1 , 1], [3 , 1 , 1] ],
    [ [1 , -3 , 0], [1 , 3 , 0], [-1 , 0 , 1], [1 , 0 , 1], [-5 , -39 , 4], [-5 
    , 39 , 4], [5 , -39 , 4], [5 , 39 , 4] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -4 , 1], [-3
    , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1], [-9 , -1072 , 5], 
    [-9 , 1072 , 5], [9 , -1072 , 5], [9 , 1072 , 5] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [0 , -2 , 1], [0 , 2 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 , 2 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -28 , 1], 
    [-3 , 28 , 1], [3 , -28 , 1], [3 , 28 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -44 , 1], 
    [-3 , 44 , 1], [3 , -44 , 1], [3 , 44 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [0 , -3 , 1], [0 , 3 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-5 , -154 , 4], [-5 , 154 , 4], [5 , -154 , 4], [5 , 154 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -4 , 1], [0 , 4 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-5 , -188 , 1], 
    [-5 , 188 , 1], [5 , -188 , 1], [5 , 188 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-1 , -68 , 3], 
    [-1 , 68 , 3], [1 , -68 , 3], [1 , 68 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -36 , 1], 
    [-3 , 36 , 1], [3 , -36 , 1], [3 , 36 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -95 , 2], [-1 , 95 , 2], [1 , -95 , 2], 
    [1 , 95 , 2] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-2 , -10 , 3], [-2 
    , 10 , 3], [2 , -10 , 3], [2 , 10 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-2 , -10 , 1], [-2 
    , 10 , 1], [2 , -10 , 1], [2 , 10 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -36 , 1], 
    [-3 , 36 , 1], [3 , -36 , 1], [3 , 36 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-3 , -43 , 4], [-3 
    , 43 , 4], [3 , -43 , 4], [3 , 43 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1] ],
    [ [-1 , 0 , 1], [1 , 0 , 1], [-5 , -32 , 3], [-5 , 32 , 3], [5 , -32 , 3], 
    [5 , 32 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-5 , -28 , 3], [-5 , 28 , 3], [5 , -28 , 3], [5 , 28 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -13 , 2], [-3 , 13 , 2], [3 , -13 , 2], 
    [3 , 13 , 2] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [0 , -5 , 1], [0 , 5 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 ,
    8 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1], [-7 , -130 , 4], [-7 , 130 , 4], [7 , -130 , 4], [7 , 130 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -17 , 2], [-3 , 17 , 2], [3 , -17 , 2], 
    [3 , 17 , 2] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-9 , -132 , 7], 
    [-9 , 132 , 7], [9 , -132 , 7], [9 , 132 , 7] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -4 , 1], [-2 , 4 , 1], [2 , -4 , 1], [2 ,
    4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , 0 , 1], [3 , 0 , 1], [-13 , -5 , 4], [-13
    , 5 , 4], [13 , -5 , 4], [13 , 5 , 4] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -20 , 1], 
    [-3 , 20 , 1], [3 , -20 , 1], [3 , 20 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 ,
    2 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -12 , 1], [-1 , 12 , 1], [1 , -12 , 1], [1 , 12 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [0 , -2 , 1], [0 , 2 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [-1 , -12 , 1], [-1 , 12 , 1], [1 , -12 , 1], [1 , 12 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , 0 , 1], [1 , 0 , 1], [-5 , -64 , 3], [-5 
    , 64 , 3], [5 , -64 , 3], [5 , 64 , 3] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -6 , 1], [-2 , 6 , 1], [2 , -6 , 1], [2 ,
    6 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 ,
    8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -5 , 1], [-1 , 5 , 1], [1 , -5 , 1], [1 ,
    5 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -17 , 1], [-3 , 17 , 1], [3 , -17 , 1], 
    [3 , 17 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -12 , 2], 
    [-3 , 12 , 2], [3 , -12 , 2], [3 , 12 , 2] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-9 , -260 , 7], 
    [-9 , 260 , 7], [9 , -260 , 7], [9 , 260 , 7] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -1 , 1], [-3 , 1 , 1], [3 , -1 , 1], [3 ,
    1 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-2 , -20 , 1], 
    [-2 , 20 , 1], [2 , -20 , 1], [2 , 20 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -16 , 1], [-3 , 16 , 1], [3 , -16 , 1], 
    [3 , 16 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -16 , 1], [-1 , 16 , 1], [1 , -16 , 1], 
    [1 , 16 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -11 , 1], [-3 , 11 , 1], [3 , -11 , 1], 
    [3 , 11 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-2 , -5 , 1], [-2
    , 5 , 1], [2 , -5 , 1], [2 , 5 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-8 , -46 , 3], [-8 , 46 , 3], [8 , -46 , 3], 
    [8 , 46 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -8 , 1], [-3 , 8 , 1], [3 , -8 , 1], [3 ,
    8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -5 , 1], [-1 , 5 , 1], [1 , -5 , 1], [1 ,
    5 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -424 , 3], [-1 , 424 , 3], [1 , -424 , 
    3], [1 , 424 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-5 , -68 , 3], 
    [-5 , 68 , 3], [5 , -68 , 3], [5 , 68 , 3] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , 0 , 1], [1 , 0 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-2 , -7 , 1], [-2
    , 7 , 1], [2 , -7 , 1], [2 , 7 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -3 , 1], [-1 , 3 , 1], [0 , -2 , 1], [0 , 2 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-5 , -188 , 1], 
    [-5 , 188 , 1], [5 , -188 , 1], [5 , 188 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -50 , 1], [-3 , 50 , 1], [3 , -50 , 1], 
    [3 , 50 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -5 , 1], [-3 , 5 , 1], [3 , -5 , 1], [3 ,
    5 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1], [-8 , -58 , 7], 
    [-8 , 58 , 7], [8 , -58 , 7], [8 , 58 , 7] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -12 , 1], [-1 , 12 , 1], [1 , -12 , 1], [1 , 12 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , 0 , 1], [0 , -2 , 1], [0 , 2 , 1], [1 , 0
    , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [-1 , -12 , 1], [-1 , 12 , 1], [1 , -12 , 1], [1 , 12 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-3 , -1 , 1], [-3 , 1 , 1], [3 , -1 , 1], [3 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-3 , -1 , 2], [-3 , 1 , 2], [3 , -1 , 2], [3 ,
    1 , 2] ],
    [ [-1 , -12 , 1], [-1 , 12 , 1], [1 , -12 , 1], [1 , 12 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -8 , 3], [-2 , 8 , 3], [2 , -8 , 3], [2 ,
    8 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-9 , -439 , 4], [-9
    , 439 , 4], [9 , -439 , 4], [9 , 439 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1], [-1 , -145 , 4], [-1
    , 145 , 4], [1 , -145 , 4], [1 , 145 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -8 , 1], [-2 , 8 , 1], [2 , -8 , 1], [2 ,
    8 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -4 , 1], [0 , 4 , 1] ],
    [ [-2 , -1 , 1], [-2 , 1 , 1], [2 , -1 , 1], [2 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-3 , -32 , 1], [-3 , 32 , 1], [3 , -32 , 1], [3 , 32 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-5 , -728 , 3], [-5 , 728 , 3], [5 , -728 , 
    3], [5 , 728 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-11 , -93 , 4], [-11 , 93 , 4], [11 , -93 , 
    4], [11 , 93 , 4] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-7 , -68 , 3], 
    [-7 , 68 , 3], [7 , -68 , 3], [7 , 68 , 3] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -2 , 0], [1 , 2 , 0] ],
    [ [1 , -2 , 0], [1 , 2 , 0], [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 ,
    1 , 1] ],
    [ [-3 , -92 , 1], [-3 , 92 , 1], [3 , -92 , 1], [3 , 92 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-26 , -554 , 7], [-26 , 554 , 7], [26 , -554 ,
    7], [26 , 554 , 7] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -2 , 1], [-2 , 2 , 1], [2 , -2 , 1], [2 ,
    2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , 0 , 1], [1 , 0 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-7 , -95 , 2], [-7 , 95 , 2], [7 , -95 , 2], 
    [7 , 95 , 2] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-7 , -148 , 5], 
    [-7 , 148 , 5], [7 , -148 , 5], [7 , 148 , 5] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , 0 , 1], [1 , 0 , 1], [-5 , -176 , 3], [-5 , 176 , 3], [5 , -176 , 
    3], [5 , 176 , 3] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-4 , -25 , 3], 
    [-4 , 25 , 3], [4 , -25 , 3], [4 , 25 , 3] ],
    [ [-3 , -8 , 1], [-3 , 8 , 1], [3 , -8 , 1], [3 , 8 , 1] ],
    [ [-1 , 0 , 1], [1 , 0 , 1], [-5 , -112 , 3], [-5 , 112 , 3], [5 , -112 , 
    3], [5 , 112 , 3] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [-3 , -4 , 1], [-3 , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-2 , -4 , 1], [-2 , 4 , 1], [2 , -4 , 1], [2 ,
    4 , 1] ],
    [ [-1 , -12 , 1], [-1 , 12 , 1], [1 , -12 , 1], [1 , 12 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-3 , -13 , 2], 
    [-3 , 13 , 2], [3 , -13 , 2], [3 , 13 , 2] ],
    [ [-1 , 0 , 1], [1 , 0 , 1] ],
    [ [-1 , 0 , 1], [1 , 0 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-2 , -3 , 1], [-2 , 3 , 1], [2 , -3 , 1], [2 , 3 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1], [-19 , -2012 , 5],
    [-19 , 2012 , 5], [19 , -2012 , 5], [19 , 2012 , 5] ],
    [ [-2 , -1 , 1], [-2 , 1 , 1], [2 , -1 , 1], [2 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -16 , 1], [-1 , 16 , 1], [1 , -16 , 1], [1 , 16 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [0 , -2 , 1], [0 , 2 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -20 , 1], [-1 , 20 , 1], [1 , -20 , 1], [1 , 20 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 ,
    3 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [],
    [ [-1 , -28 , 1], [-1 , 28 , 1], [1 , -28 , 1], [1 , 28 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [-3 , -4 , 1], [-3 , 4 , 1], [3 , -4 , 1], [3 , 4 , 1] ],
    [ [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 , 8 , 1] ],
    [ [-1 , -1 , 1], [-1 , 1 , 1], [1 , -1 , 1], [1 , 1 , 1] ],
    [ [-1 , -3 , 1], [-1 , 3 , 1], [1 , -3 , 1], [1 , 3 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-11 , -2879 , 3], [-11 , 2879 , 3], [11 , 
    -2879 , 3], [11 , 2879 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [-2 , 0 , 1], [2 , 0 , 1] ],
    [ [-7 , -8 , 5], [-7 , 8 , 5], [7 , -8 , 5], [7 , 8 , 5] ],
    [ [-1 , -16 , 1], [-1 , 16 , 1], [1 , -16 , 1], [1 , 16 , 1] ],
    [ [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 , 4 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 1], [-1 , 8 , 1], [1 , -8 , 1], [1 ,
    8 , 1] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -8 , 3], [-1 , 8 , 3], [1 , -8 , 3], [1 ,
    8 , 3] ],
    [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -4 , 1], [-1 , 4 , 1], [1 , -4 , 1], [1 ,
    4 , 1], [-2 , -10 , 1], [-2 , 10 , 1], [2 , -10 , 1], [2 , 10 , 1], [-3 , 
    -20 , 1], [-3 , 20 , 1], [3 , -20 , 1], [3 , 20 , 1] ]
];

gens := [
    [
        [
            x,
            x^3 - 2
        ],
        [
            x,
            x^3 + 2
        ]
    ],
    [
        [
            x^2 + 2*x - 3,
            -4*x
        ],
        [
            x^2 - 2*x - 3,
            -4*x
        ]
    ],
    [
        [
            x - 1,
            -x^3 + 5
        ],
        [
            x + 1,
            -x^3 - 5
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x,
            x^3 - 2
        ],
        [
            x^2 + x,
            3*x + 2
        ]
    ],
    [
        [
            x - 1,
            x^3 + 3
        ],
        [
            x + 1,
            x^3 - 3
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            4*x
        ],
        [
            x + 1,
            -x^3 + 3
        ]
    ],
    [
        [
            x^2 - 2*x - 3,
            8*x + 20
        ],
        [
            x^2 - 2*x + 5,
            -4
        ]
    ],
    [
        [
            x + 1,
            x^3 - 3
        ],
        [
            x^2 - 2*x - 3,
            2*x - 2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 2,
            -2
        ]
    ],
    [
        [
            x^2 + 3,
            -4
        ],
        [
            x^2 + 2*x + 5,
            -4*x
        ]
    ],
    [
        [
            x^2 + 3,
            12
        ],
        [
            x^2 + 2*x - 3,
            -4*x
        ]
    ],
    [
        [
            x^2 - 6,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + x,
            -3*x - 2
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 + 1,
            x
        ],
        [
            x^2 + 2,
            -2
        ]
    ],
    [
        [
            x - 1,
            -x^3 - 1
        ],
        [
            x + 1,
            -x^3 + 1
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 + 1,
            -2*x
        ],
        [
            x^2 + 3,
            -4
        ]
    ],
    [
        [
            x^2 + 2,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - x,
            x + 2
        ],
        [
            x^2 + x,
            -x + 2
        ]
    ],
    [
        [
            x^2 + 1,
            -2*x
        ],
        [
            x + 1,
            x^3 - 3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 2,
            2
        ]
    ],
    [
        [
            x - 1,
            x^3 + 3
        ],
        [
            x + 1,
            x^3 - 3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 5,
            2
        ]
    ],
    [
        [
            x^2 - 1/2*x - 3/2,
            1/2*x - 1/2
        ],
        [
            x^2 - 5/2,
            1
        ]
    ],
    [
        [
            1,
            -x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x - 1,
            x^3 - 3
        ],
        [
            x + 1,
            -x^3 - 3
        ]
    ],
    [
        [
            x + 1,
            x^3 - 3
        ],
        [
            x + 1,
            x^3 + 5
        ]
    ],
    [
        [
            x^2 - 1,
            -2*x
        ],
        [
            x^2 - x,
            -x - 1
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            -2*x + 2
        ],
        [
            x^2 + 4*x + 3,
            12*x + 16
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 2,
            -2
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 + 2/9*x - 5/3,
            10/81*x + 2/27
        ],
        [
            x^2 + 2/5*x - 7/5,
            42/25*x + 58/25
        ]
    ],
    [
        [
            x^2 + 3,
            4*x
        ],
        [
            x^2 + 2*x - 3,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 1,
            -x^3 - 5
        ]
    ],
    [
        [
            x + 1,
            -x^3 - 9
        ],
        [
            x - 3,
            -x^3 + 27
        ]
    ],
    [
        [
            x^2 - 5,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 2,
            2
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 - 1,
            x
        ],
        [
            x - 1,
            x^3 - 2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 2,
            -2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 6
        ]
    ],
    [
        [
            x^2 - 1/2*x + 3/2,
            -1/2*x + 3/2
        ],
        [
            x^2 + 1,
            -1
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 5,
            -4
        ]
    ],
    [
        [
            x^2 - x - 2,
            2
        ],
        [
            x^2 + x - 2,
            2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 2,
            -x^3 - 10
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 5,
            8
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            4
        ],
        [
            x^2 + 4*x + 3,
            -4
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            8*x + 12
        ],
        [
            x + 3,
            x^3 - 9
        ]
    ],
    [
        [
            x - 1,
            x^3 - 3
        ],
        [
            x + 1,
            -x^3 - 3
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 + 3,
            8
        ]
    ],
    [
        [
            x + 1,
            x^3 - 3
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x + 1,
            x^3 + 1
        ],
        [
            x^2 + x,
            -2*x - 2
        ]
    ],
    [
        [
            x^2 - 1,
            2*x
        ],
        [
            x^2 + x,
            4*x + 2
        ]
    ],
    [
        [
            x^2 - 1,
            2*x
        ],
        [
            x - 1,
            -x^3 - 1
        ]
    ],
    [
        [
            x^2 + 2,
            1
        ],
        [
            x^2 + 5/4,
            -1/2*x
        ]
    ],
    [
        [
            x + 1,
            -x^3 - 3
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 3,
            4
        ]
    ],
    [
        [
            x^2 + 1/2,
            1
        ],
        [
            1,
            2*x^3
        ]
    ],
    [
        [
            x^2 - 13/10,
            -1/10*x
        ],
        [
            x^2 - 1,
            -2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 1,
            x^3
        ]
    ],
    [
        [
            x^2 - x + 2,
            -2
        ],
        [
            x^2 + x + 2,
            -2
        ]
    ],
    [
        [
            x^2 + 3,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 1,
            x^3 - 1
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + x - 2,
            2*x + 2
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x,
            x^3 - 2
        ],
        [
            x - 2,
            -x^3 + 10
        ]
    ],
    [
        [
            x,
            -x^3 - 2
        ],
        [
            x,
            -x^3 + 2
        ]
    ],
    [
        [
            x^2 - 25/13,
            4/13
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x + 1,
            x^3 + 1
        ],
        [
            x^2 + 7,
            -8
        ]
    ],
    [
        [
            x + 1,
            x^3 + 1
        ],
        [
            x^2 + x,
            -2*x - 2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            -12*x - 8
        ],
        [
            x + 1/3,
            x^3 - 1
        ]
    ],
    [
        [
            x,
            -x^3 - 10
        ],
        [
            x,
            x^3 - 10
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            x^2 - x,
            -x - 7
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 5,
            4
        ]
    ],
    [
        [
            x,
            -x^3 - 2
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - x,
            x - 3
        ],
        [
            x^2 + x,
            x + 3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - x + 1,
            x - 1
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x + 1,
            -x^3 + 3
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            -8*x - 4
        ],
        [
            x + 1,
            x^3 + 5
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 2,
            2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 3,
            -2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            10*x + 14
        ],
        [
            x^2 + 4*x + 3,
            32*x + 36
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 1,
            x^3 - 5
        ]
    ],
    [
        [
            x^2 + 1,
            3*x
        ],
        [
            x^2 - 2,
            6
        ]
    ],
    [
        [
            x + 1,
            x^3 - 1
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 1,
            x
        ],
        [
            x^2 + 1/2,
            1
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 3/2,
            1
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            x^2 + 7,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 2,
            -2
        ]
    ],
    [
        [
            x^2 + 1/2*x - 10,
            -7/4*x + 5
        ],
        [
            x^2 - 1/2*x - 10,
            7/4*x + 5
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 1,
            2
        ]
    ],
    [
        [
            x^2 - 5,
            -8
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 2,
            2
        ]
    ],
    [
        [
            x^2 + 2*x - 3,
            2*x + 2
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x,
            -x^3 - 2
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 6,
            4
        ]
    ],
    [
        [
            x^2 - 7/3,
            -8/3
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x - 1,
            2*x^3 - 3
        ],
        [
            x + 1,
            -2*x^3 - 3
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - x + 1,
            x - 3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 1/2*x + 9,
            -1/4*x + 3/2
        ]
    ],
    [
        [
            x + 1,
            -x^3 - 1
        ],
        [
            x^2 + x,
            -2*x - 2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 6,
            2
        ]
    ],
    [
        [
            x + 3,
            x^3 + 26
        ],
        [
            x - 3,
            x^3 - 28
        ]
    ],
    [
        [
            x^2 + x,
            5*x - 3
        ],
        [
            x^2,
            -3
        ]
    ],
    [
        [
            x^2 - 17/2,
            -1
        ],
        [
            x^2 - 41/5,
            1/5*x
        ]
    ],
    [
        [
            x + 1,
            3*x^3 + 3
        ],
        [
            x^2 - 3,
            6
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 6,
            2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + x,
            -x - 2
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -1
        ],
        [
            x^2 - 3/2,
            x
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x - 1,
            -2*x^3 + 1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 4
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            -4*x
        ],
        [
            x^2 + 3,
            -12
        ]
    ],
    [
        [
            x^2 + 3,
            4*x
        ],
        [
            x^2 - 1,
            -4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 7,
            1
        ]
    ],
    [
        [
            x,
            -x^3 - 2
        ],
        [
            x - 2/3,
            x^3 - 2/3
        ]
    ],
    [
        [
            x,
            -x^3 - 2
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 + 3,
            -8
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1/2,
            -1/2*x
        ],
        [
            x^2 - x - 1,
            5*x + 3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 7,
            -4
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 2*x - 1,
            -2*x + 4
        ]
    ],
    [
        [
            x - 1,
            x^3 - 5
        ],
        [
            x + 1,
            x^3 + 5
        ]
    ],
    [
        [
            x^2 + 6,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            2*x^3
        ],
        [
            x^2 + 1/2*x + 1,
            -1/2*x - 1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 3,
            -1
        ]
    ],
    [
        [
            x^2 - 2,
            -1
        ],
        [
            x^2 - 5/2,
            x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 6,
            2
        ]
    ],
    [
        [
            x - 1,
            -2*x^3 - 2
        ],
        [
            x^2 + x + 2,
            -3*x - 5
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 5,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            1,
            2*x^3
        ],
        [
            x + 1,
            -2*x^3 - 3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 3,
            4
        ]
    ],
    [
        [
            x^2 - 21/13,
            -4/13*x
        ],
        [
            x^2 - 1,
            -4
        ]
    ],
    [
        [
            x^2 - 7/3,
            4/3
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 3,
            2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x + 3,
            -x^3 - 27
        ],
        [
            x^2 - 11,
            -2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 2,
            x^3 + 6
        ]
    ],
    [
        [
            x^2 + 1,
            x
        ],
        [
            x + 1,
            2*x^3 - 1
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 - 17/9,
            -4/9
        ],
        [
            x^2 + 2/9*x - 5/3,
            -58/27*x - 26/9
        ]
    ],
    [
        [
            x^2 + x,
            -x - 2
        ],
        [
            x^2 - x,
            -x + 2
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 + 5/3,
            4/3
        ],
        [
            x^2 - 1,
            -12*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 2,
            2
        ]
    ],
    [
        [
            x + 1,
            -x^3 - 1
        ],
        [
            x^2 + 3,
            12
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 1,
            -x^3 - 4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 2,
            2
        ]
    ],
    [
        [
            x^2 - 1,
            8*x
        ],
        [
            x + 1,
            -x^3 + 7
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x + 1,
            -x^3 - 2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + x + 1,
            -2*x + 1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 1,
            -x^3 - 2
        ]
    ],
    [
        [
            x^2 + 1,
            x
        ],
        [
            x^2 - x + 1,
            2*x - 3
        ]
    ],
    [
        [
            x,
            -x^3 - 2
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - 5,
            -4
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 5,
            2
        ]
    ],
    [
        [
            x^2 - 23/17,
            -2/17*x
        ],
        [
            x^2 - 1,
            -4
        ]
    ],
    [
        [
            x^2 + 1/3*x - 2,
            -5/9*x + 1/3
        ],
        [
            x^2 - 1,
            -4
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 + 6,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 2,
            -2
        ]
    ],
    [
        [
            x + 1,
            -x^3 - 5
        ],
        [
            x^2 + 2*x + 1,
            -4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 10,
            -2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 + 2*x + 1,
            -14*x - 10
        ],
        [
            x^2 + 1/4*x - 1/4,
            39/16*x + 21/16
        ]
    ],
    [
        [
            x^2 - 1,
            -1
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 5,
            4
        ]
    ],
    [
        [
            x + 1,
            x^3 - 15
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 3,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 1,
            -8*x
        ],
        [
            x^2 - 1,
            8
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 6,
            2
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 + 1,
            x
        ],
        [
            x^2 + 3/2,
            -1
        ]
    ],
    [
        [
            x^2 - 6,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 5,
            2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 5,
            -4
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 2,
            2
        ]
    ],
    [
        [
            x^2 + 3,
            -4
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 + 3,
            -4
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x + 1,
            -x^3 - 1
        ],
        [
            x^2 - 3,
            6
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2,
            -2
        ],
        [
            x^2 + 1,
            -x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + x + 3,
            4*x - 5
        ]
    ],
    [
        [
            x + 1,
            x^3 - 2
        ],
        [
            x - 1,
            x^3 - 4
        ]
    ],
    [
        [
            x + 1,
            -x^3 - 2
        ],
        [
            x + 1,
            x^3
        ]
    ],
    [
        [
            x + 1,
            x^3
        ],
        [
            x - 1,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 + 3,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 6,
            2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 2,
            12
        ]
    ],
    [
        [
            x^2 - 3/2,
            -1
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 - 2,
            2
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + x + 1,
            -1
        ]
    ],
    [
        [
            x^2 + 5/3,
            4/3
        ],
        [
            x^2 - 1,
            -12*x
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x + 1,
            x^3 + 1
        ],
        [
            x^2 + x,
            -2*x - 2
        ]
    ],
    [
        [
            x,
            x^3 - 2
        ],
        [
            x^2 + 4/3,
            13/3*x
        ]
    ],
    [
        [
            x^2 + 5/3,
            -4/3*x
        ],
        [
            x^2 - 1,
            -12
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 1/7*x - 59/7,
            1/49*x + 4/49
        ],
        [
            x^2 + x - 11,
            7*x - 20
        ]
    ],
    [
        [
            x^2 + 3,
            -4
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 5,
            -4
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 3,
            2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 17/9,
            -4/9*x
        ],
        [
            x^2 - 1,
            -12
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 4,
            2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1/2,
            1/2*x
        ],
        [
            x - 2/3,
            -x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 + 1,
            2
        ],
        [
            x^2 + 1/2,
            -1/2*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 1,
            -2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 4
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 4,
            -1/2*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 2,
            2
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 9,
            -32/3*x
        ]
    ],
    [
        [
            x^2 - 17,
            8
        ],
        [
            x^2 - 9/2*x - 1/2,
            -9/4*x + 1/4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 7,
            1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 11,
            -8
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 + 1,
            x
        ],
        [
            x^2 + 3/4,
            1/4
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1/2,
            1
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            x^2 - 9,
            -92/3*x
        ]
    ],
    [
        [
            x^2 - 14,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x + 2,
            x^3 + 6
        ]
    ],
    [
        [
            x^2 + 10,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 4*x - 1,
            20*x - 8
        ],
        [
            x^2 - 5,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -1
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 1,
            2
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 10,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - x - 1,
            -2*x - 1
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 1/3,
            -8/3*x
        ],
        [
            x^2 - 5,
            8
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 9,
            -8/3*x
        ]
    ],
    [
        [
            x^2 - 7/3,
            8/3*x
        ],
        [
            x^2 + 3,
            8
        ]
    ],
    [
        [
            x^2 + 3,
            -4
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x,
            -x^3 - 2
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 + 3*x + 1,
            3*x + 7
        ],
        [
            x^2 + x - 3,
            x + 7
        ]
    ],
    [
        [
            x^2 + 27/7,
            2/7
        ],
        [
            x^2 + 144/35,
            7/30*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 4,
            -2
        ]
    ],
    [
        [
            x^2 - 39/5,
            2/5
        ],
        [
            x^2 - 9,
            -4/3*x
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 7,
            1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 7,
            -2
        ]
    ],
    [
        [
            x^2 + 7,
            4
        ],
        [
            x^2 - 1,
            -12*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 2,
            1
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 + 3*x + 1,
            1
        ],
        [
            x^2 + 2*x - 2,
            2*x + 2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 4*x - 1,
            28*x - 8
        ],
        [
            x^2 + 2*x - 1,
            10*x - 4
        ]
    ],
    [
        [
            x^2 + 1,
            4
        ],
        [
            x^2 - 1/3,
            4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 4,
            -3/2*x
        ]
    ],
    [
        [
            x^2 + 10,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 1,
            4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 5,
            1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 2,
            -2
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 5,
            4
        ],
        [
            x^2 - 4,
            -1/2*x
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + 7/4,
            5/8
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 13,
            -4
        ],
        [
            x^2 - 1,
            -16*x
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x,
            x^3 - 2
        ]
    ],
    [
        [
            x^2 - 1,
            -1
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 + 5,
            2
        ],
        [
            x^2 - 1,
            -20*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 - 5,
            36
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x - 1,
            x^3 - 4
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 + 1,
            1
        ],
        [
            x^2 - 1,
            -x
        ]
    ],
    [
        [
            x^2 + 3,
            -4
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 1,
            1
        ],
        [
            x^2 + 4/3,
            1/6*x
        ]
    ],
    [
        [
            x^2 + 7,
            4
        ],
        [
            x^2 - 1,
            -28*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 - 1,
            -4
        ],
        [
            x^2 - 1,
            -4*x
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 - 1,
            -8
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 9,
            -4
        ],
        [
            x^2 - 9,
            -4/3*x
        ]
    ],
    [
        [
            x^2 - 5,
            -4
        ],
        [
            x^2 - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 1,
            -x
        ],
        [
            x^2 - 1,
            1
        ]
    ],
    [
        [
            x^2 - 1,
            -3*x
        ],
        [
            x^2 - 1,
            3
        ]
    ],
    [
        [
            x^2 + 6,
            -2
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            1,
            x^3
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 + x + 1,
            4*x - 1
        ]
    ],
    [
        [
            x^2 - 29/7,
            4/7
        ],
        [
            x^2 - 144/35,
            7/30*x
        ]
    ],
    [
        [
            x^2 - 73/37,
            -4/37
        ],
        [
            x^2 - 49/25,
            -8/175*x
        ]
    ],
    [
        [
            x^2 + 3,
            4
        ],
        [
            x^2 - 1,
            -16*x
        ]
    ],
    [
        [
            x^2 - 1,
            -4*x
        ],
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            1,
            x^3
        ],
        [
            x^2 - 8,
            4
        ]
    ],
    [
        [
            x^2 + 4*x - 1,
            -8*x
        ],
        [
            x^2 - 4*x - 1,
            -8*x
        ]
    ],
    [
        [
            x^2 - 1/9,
            -8/9*x
        ],
        [
            x - 1/3,
            x^3 - 1/3
        ]
    ],
    [
        [
            x^2 + 1,
            -10*x
        ],
        [
            x^2 + x - 2,
            -2*x + 6
        ]
    ]
];


tor_bas := 
[
    [],
    [],
    [],
    [],
    [
        [
            x^2,
            2
        ]
    ],
    [],
    [
        [
            x^2 - 1,
            4*x
        ]
    ],
    [
        [
            x^2 + 7,
            4*x
        ]
    ],
    [
        [
            x^2 - 1,
            4*x
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 1,
            4*x
        ]
    ],
    [],
    [
        [
            x^2 - 1,
            4*x
        ]
    ],
    [],
    [
        [
            x^2 + 5/3,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 9,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 4,
            2
        ]
    ],
    [],
    [
        [
            x^2 - 3,
            2*x
        ]
    ],
    [],
    [],
    [
        [
            x^2 - x - 4,
            0
        ],
        [
            x^2 + x - 4,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [
        [
            x^2 - 1,
            4*x
        ]
    ],
    [
        [
            x^2 - 1,
            4
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [],
    [],
    [
        [
            x^2 - 3,
            0
        ]
    ],
    [],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 - 4/3,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 5,
            0
        ]
    ],
    [
        [
            1,
            x^3
        ]
    ],
    [],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 + 4,
            2
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 1,
            4*x
        ]
    ],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            4
        ]
    ],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 5,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 2,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 + 9,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [
        [
            1,
            -x^3
        ]
    ],
    [
        [
            x^2 + 1,
            2
        ]
    ],
    [
        [
            x^2 - 8,
            0
        ]
    ],
    [
        [
            x^2 - 5/3,
            2/3
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2,
            2
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 1,
            2
        ]
    ],
    [],
    [
        [
            x^2 - 1,
            4
        ]
    ],
    [],
    [
        [
            x^2 + 6,
            0
        ]
    ],
    [
        [
            x^2,
            2
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 5,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 3/2,
            0
        ]
    ],
    [
        [
            x^2 - 3/2,
            0
        ]
    ],
    [],
    [
        [
            x^2 - 9/5,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 9,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 4/3,
            0
        ]
    ],
    [
        [
            x^2 - 9/5,
            0
        ]
    ],
    [],
    [],
    [],
    [
        [
            x^2 - 7/3,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 1,
            4*x
        ]
    ],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 1,
            4
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 15,
            0
        ]
    ],
    [],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 7,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 4/3,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [
        [
            x^2 - 3,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [
        [
            x^2 + 1,
            x
        ]
    ],
    [
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 - 1,
            x
        ]
    ],
    [
        [
            1,
            x^3
        ]
    ],
    [],
    [
        [
            x^2 + 1,
            2
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 2,
            0
        ]
    ],
    [
        [
            x^2 - 4/3,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 - 3/2,
            0
        ]
    ],
    [
        [
            x^2 - 8,
            0
        ]
    ],
    [],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 1,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 11/3,
            0
        ]
    ],
    [
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 6,
            0
        ]
    ],
    [
        [
            x^2 - 7,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 3,
            0
        ]
    ],
    [],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 6,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [],
    [],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [],
    [
        [
            1,
            x^3
        ]
    ],
    [
        [
            x^2 + 4,
            0
        ]
    ],
    [],
    [
        [
            x^2 - 8,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [
        [
            1,
            x^3
        ]
    ],
    [],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [
        [
            x^2 - 1,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 + 2,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [
        [
            x^2 - 5/4,
            0
        ]
    ],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 + 3,
            4
        ]
    ],
    [],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [
        [
            x^2 + 3,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    [
        [
            x^2 - 5,
            0
        ]
    ],
    [],
    [],
    [
        [
            x^2 - 3/2,
            0
        ]
    ],
    [],
    [],
    [],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [],
    [
        [
            x^2 - 4,
            0
        ]
    ],
    [
        [
            x^2 - 2,
            0
        ]
    ],
    [],
    [],
    [],
    [],
    [],
    []
];


tor_ord := [
    [],
    [],
    [],
    [],
    [ 3 ],
    [],
    [ 3 ],
    [ 3 ],
    [ 6 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [ 5 ],
    [],
    [ 4 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [ 3 ],
    [],
    [ 3 ],
    [],
    [],
    [ 2, 2 ],
    [ 2 ],
    [],
    [ 5 ],
    [ 3 ],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [ 2 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [ 3 ],
    [],
    [ 2 ],
    [ 2 ],
    [ 2 ],
    [ 2 ],
    [ 3 ],
    [ 3 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 3 ],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [ 4 ],
    [ 2 ],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [ 2 ],
    [ 2 ],
    [],
    [ 6 ],
    [ 3 ],
    [ 2 ],
    [ 4 ],
    [],
    [],
    [],
    [],
    [],
    [ 3 ],
    [],
    [],
    [],
    [],
    [],
    [ 3 ],
    [],
    [ 3 ],
    [],
    [ 2 ],
    [ 3 ],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 3 ],
    [],
    [ 2 ],
    [],
    [],
    [ 4 ],
    [],
    [],
    [ 2 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [ 3 ],
    [ 3 ],
    [ 3 ],
    [ 3 ],
    [],
    [ 3 ],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [ 2 ],
    [ 3 ],
    [ 2 ],
    [ 2 ],
    [ 2 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [ 3 ],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 4 ],
    [ 2 ],
    [],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [ 3 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [ 3 ],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [ 2 ],
    [],
    [],
    [],
    [ 2 ],
    [ 2 ],
    [],
    [],
    [],
    [],
    [],
    []
];

ordinary_pr[354] := [ 7, 13, 19 ];

pts[354] := [ [1 , -1 , 0], [1 , 1 , 0], [-1 , -2 , 1], [-1 , 2 , 1], [0 , -3 , 1], [0 , 3 ,
1], [1 , -2 , 1], [1 , 2 , 1], [-3 , -30 , 1], [-3 , 30 , 1], [3 , -30 , 1], [3 
, 30 , 1] ];

gens[354] := [
    [
        x^2 + 3,
        6
    ],
    [
        x^2 - x,
        -x + 3
    ]];

tor_bas[354] := [];
tor_ord[354] := [];