
// A data file accompanying Section 6 of the paper:
//
// "EVERYWHERE LOCAL SOLUBILITY FOR HYPERSURFACES IN PRODUCTS
// OF PROJECTIVE SPACES"
// TOM FISHER, WEI HO, AND JENNIFER PARK

///////////////////////////////////////////////////////
//                                                   //
//               Experiment with H = 30              //
//                                                   //
///////////////////////////////////////////////////////

// We list data relating to 1000 randomly chosen (2,2)-forms
// with integer coefficients in [-H,H] where H = 30.

// The data listed is as follows:
// forms - a list of (2,2)-forms, each specified by 9 coefficients.
// solution_data - a list of data relating to the existence
//    or otherwise of a solution. This might be either (i) a
//    list of places where local solubility fails (-1 indicates
//    the infinite place), (ii) a solution (4 coordinates), or
//    (iii) a binary quartic (5 coefficients) or quadric
//    intersection (20 coefficients) that proves insolubility via
//    the Cassels-Tate pairing
// rank_data - the upper bounds r2,r4,r8 for the Mordell-Weil rank
//    of the Jacobian obtained by 2-, 4- or 8-descent, followed by
//    a list of the x-coordinates of the known generators.
// qilist - a list of quadric intersections (20 coefficients)
//    that we use as witnesses to the fact that certain 2-Selmer
//    group elements are in the image of the 4-Selmer group.
// ctp24data - a list of pairs of binary quartics (5 coefficients)
//    and quadric intersections (20 coefficients) together with
//    the output (0 or 1) of running CasselsTatePairing on them.

forms := [
[ -6, -24, 28, -15, -21, 22, -13, 13, -12 ],
[ 20, -16, -12, 9, -6, -11, 3, 17, -7 ],
[ 10, 19, -25, -7, 13, -28, 0, -17, 11 ],
[ -18, -3, -3, -5, 19, -25, 24, -17, 16 ],
[ 1, 6, -15, -29, 22, 15, 22, -18, 5 ],
[ -16, 4, 15, -26, 0, 15, -21, 10, -17 ],
[ 16, -21, -10, -19, 15, -5, -12, -14, 12 ],
[ 8, -30, -11, 4, 19, 5, -14, 24, 22 ],
[ -22, -28, -14, 4, -23, -10, -5, 11, -21 ],
[ 1, 18, 29, -14, -12, 30, 23, 15, 7 ],
[ -27, -26, 24, -12, 14, -1, -19, 6, -16 ],
[ -26, 20, 9, -4, -20, 23, -16, -5, 17 ],
[ -9, 24, 17, 26, 6, 6, 20, 27, -13 ],
[ -26, 13, -27, -1, 29, 3, 25, 5, 27 ],
[ -8, 7, -10, -28, 21, -1, 13, -22, -11 ],
[ 30, 24, -2, -14, -21, 4, -28, -22, 4 ],
[ 19, 12, 27, -3, -28, 8, 15, 18, -2 ],
[ 22, 13, 7, 7, -2, 11, 14, 24, -28 ],
[ -15, -4, 16, 28, 30, -29, 24, -13, -10 ],
[ 21, 2, 4, 28, 0, 17, 5, -5, -12 ],
[ 29, -20, -5, -6, -26, 27, 28, -19, 26 ],
[ -15, 24, 24, 3, -22, 7, 20, 30, 20 ],
[ -30, 7, 16, -1, -17, 26, -6, 18, 7 ],
[ 30, -7, 21, -29, 26, 25, 1, -3, -5 ],
[ -21, 9, 0, -5, -5, 30, 30, 27, -27 ],
[ -19, -30, -6, 19, -6, 30, -8, -26, -20 ],
[ -4, 29, -19, -17, 0, -7, -24, 12, -27 ],
[ 11, 10, -24, 10, 25, 4, -14, 24, -5 ],
[ -13, -23, 6, -26, 9, 12, -17, 17, 12 ],
[ 6, 6, -22, -9, 25, -11, 30, -10, -8 ],
[ -13, -9, -29, -24, 16, 22, 19, -9, 10 ],
[ -11, -17, 14, 4, 8, 17, -8, 12, -21 ],
[ 22, 7, -3, -2, -7, 23, -7, -9, -15 ],
[ -17, -5, -21, 18, -6, -7, 18, -28, -8 ],
[ -15, -3, 25, 5, 25, 12, -15, 9, -14 ],
[ 30, -1, -16, -7, 26, -28, -20, -29, -20 ],
[ 1, -11, 11, 20, 26, -28, -25, -13, 18 ],
[ -24, -17, 29, 16, -20, -16, -23, -5, 20 ],
[ -4, -11, 15, -26, -4, 5, -3, 2, -13 ],
[ 21, -7, -18, 22, 27, 14, 23, -27, 10 ],
[ -16, 28, 3, -3, -1, 22, 7, -11, 8 ],
[ -18, -16, 5, -29, -2, -17, -11, 5, 14 ],
[ -8, 6, 3, 4, 20, 14, -24, -22, -27 ],
[ -26, 2, -27, 19, -12, 26, -27, -12, 0 ],
[ 25, 0, 4, -10, 22, 24, 22, 28, -11 ],
[ -19, 9, 4, -20, 24, -19, -23, 28, -1 ],
[ 2, -9, -23, -17, -22, -28, -2, 4, -19 ],
[ 9, -2, 23, 15, -1, 18, 14, -15, -18 ],
[ -7, -22, -19, 27, 25, -18, 0, -25, 16 ],
[ 2, -29, 18, -4, -9, 8, -22, -11, 14 ],
[ 17, -28, -10, 5, -15, -20, 21, 6, -16 ],
[ 26, 4, 16, 9, 24, -5, -9, -22, 17 ],
[ -25, -23, -26, 22, -21, -16, -10, -19, -18 ],
[ 27, -24, -8, -2, -15, -26, -18, -9, 4 ],
[ 13, 16, 29, 5, -24, -20, -17, -14, 27 ],
[ -10, 26, 19, 20, 19, 11, 3, -11, -4 ],
[ -20, 17, 9, 13, 13, 28, -16, -17, -8 ],
[ -23, -6, 23, -5, 14, 28, 25, -24, -4 ],
[ 2, -10, -29, -9, 9, 10, -15, -6, -9 ],
[ 19, -23, 10, -16, -27, 5, -15, -22, -26 ],
[ 0, 25, 17, 30, -28, 22, 2, -13, 20 ],
[ -15, -20, -20, -4, -17, 25, 1, 30, -5 ],
[ -9, -11, -13, 9, 5, 5, -10, 13, 1 ],
[ 29, -7, -12, -3, 2, 18, 4, -19, -13 ],
[ -13, 17, -22, 14, 1, -13, 26, -6, 1 ],
[ 27, -16, 29, -4, -29, 17, -3, -17, 13 ],
[ -18, 3, 7, -8, 9, 5, -26, 0, -22 ],
[ -16, -22, 19, 20, 29, 12, -30, 12, 5 ],
[ 13, 3, -26, -17, -12, 29, 9, -22, 10 ],
[ 18, 9, -17, 8, 28, 6, 9, -7, -20 ],
[ -17, -21, 21, 25, 13, 9, 11, 27, -20 ],
[ -10, 30, -4, 1, 16, 22, -28, 29, -29 ],
[ 30, 12, 6, 28, 22, 17, 27, 7, -3 ],
[ 2, 20, 8, -30, 19, -20, -27, 8, -1 ],
[ -3, 6, 11, -8, 5, -5, 5, -17, -1 ],
[ -11, 19, -17, -22, -20, -8, -16, -24, -14 ],
[ 1, 12, 2, 17, 14, -13, 7, -22, -17 ],
[ -24, -26, 14, 11, -18, -18, 29, 19, 13 ],
[ 2, -4, -24, -6, -20, -25, 12, 23, 20 ],
[ 8, -19, 22, -17, -26, -26, 25, 1, 17 ],
[ 28, 11, -12, -5, 21, -16, 8, -30, -1 ],
[ 25, 11, -7, -21, -30, 21, 5, 7, 24 ],
[ 7, 13, -10, 23, -3, -19, 2, 30, -26 ],
[ -15, 28, -22, 28, 22, -28, 14, -5, 2 ],
[ 27, -18, -21, -9, 27, -2, 28, 29, 11 ],
[ 24, -16, 23, -19, 12, -28, -30, 6, -4 ],
[ -28, 17, 23, 30, 9, -3, 18, 5, -15 ],
[ 25, 9, -23, 11, -26, -4, -13, -23, 3 ],
[ 1, -1, -14, 3, 4, 29, 17, -25, -23 ],
[ -29, 9, -24, -19, 5, 26, -30, -26, -10 ],
[ 14, 1, 29, 21, -14, -1, 9, 20, 14 ],
[ -11, 7, -8, 6, -28, -21, 26, -12, -11 ],
[ 0, 23, -18, 18, 20, -30, -19, -13, -14 ],
[ 14, 26, -30, -6, 2, -10, 10, -11, 0 ],
[ -20, -15, 3, 2, 22, 13, -20, 12, 28 ],
[ -19, 19, 3, -15, 8, 6, 1, 19, 1 ],
[ 0, -20, 11, 9, 25, -25, -9, 19, -14 ],
[ 19, 20, -9, 0, -29, -13, 2, -17, 19 ],
[ -15, 3, -16, -24, -21, -20, 2, 4, -22 ],
[ 21, 17, 24, 24, 28, 21, -21, -19, 19 ],
[ 23, -26, -26, 11, -1, -3, -10, 8, -21 ],
[ -1, 8, -3, -17, -27, -6, 9, -5, 24 ],
[ -8, -2, -11, 18, 19, -7, -7, -18, -22 ],
[ 17, 18, 30, -15, -18, -3, 3, 1, -19 ],
[ -8, 15, -4, -20, -19, 22, -22, -24, -29 ],
[ 0, -19, 27, 25, 6, 15, -3, -16, 14 ],
[ 19, -30, 10, -23, 13, -17, 9, -13, -8 ],
[ -15, -12, 8, -24, 5, 25, 22, 9, 25 ],
[ 5, 11, -25, 21, 10, 8, -26, -7, 9 ],
[ 15, -10, -3, 23, -9, 6, 24, -4, -7 ],
[ 28, -20, 9, -26, 21, -28, -28, -29, 24 ],
[ 27, -28, -12, -24, 1, 14, 2, -2, 3 ],
[ -24, 16, -1, -15, -9, -27, 3, -16, -8 ],
[ 2, 18, 30, -29, -8, 23, -9, 25, -18 ],
[ 8, 23, -9, 5, 17, -21, 4, 27, -21 ],
[ 25, -5, 13, -25, 14, 4, 28, -28, 19 ],
[ -3, 12, 12, 3, -22, -26, -11, -25, 29 ],
[ -17, -15, -24, -15, 24, -6, -20, 7, -26 ],
[ -17, 6, 16, -24, 6, 9, 10, 2, -16 ],
[ 25, 22, 5, -19, -2, 5, 18, 30, -23 ],
[ 22, -30, -23, -12, 12, -10, 0, -3, -16 ],
[ 26, 8, -13, -5, -9, -17, -7, 14, 13 ],
[ 1, -12, 15, -3, 10, 27, -12, 29, -22 ],
[ 5, -22, -4, 13, 17, 21, -18, 3, 24 ],
[ 8, 7, 27, 2, -19, 22, -18, -29, 30 ],
[ 26, 15, -4, -20, -15, -14, -7, -20, -18 ],
[ 18, -14, 20, 24, 22, -15, 4, -4, -13 ],
[ -5, -7, 30, -19, 11, 23, 21, 28, -20 ],
[ 27, 5, 26, -23, 0, -12, 2, -21, 30 ],
[ -28, -13, -22, -15, 7, -22, -10, 14, 4 ],
[ -23, 25, -22, 30, 27, 8, 11, -23, 12 ],
[ -21, -14, 1, -27, -24, 9, -15, 2, 17 ],
[ 6, 22, -10, 12, -21, 11, -25, 10, 22 ],
[ 11, 17, -16, -10, -3, 0, 2, -9, 24 ],
[ 15, -4, 4, 9, 25, -19, 13, -2, 6 ],
[ -25, 15, -19, 7, -3, 16, -6, 8, 19 ],
[ 24, -3, -17, 29, 2, 21, 24, -12, 22 ],
[ 1, 15, -25, -16, 12, 23, 5, 30, 26 ],
[ 25, 25, -27, -17, -27, 19, -2, -30, -22 ],
[ -24, 10, -24, -22, -20, 29, 16, 3, 14 ],
[ -20, 21, -6, 15, -16, -2, 21, -3, 30 ],
[ 13, -21, -10, 25, -19, 22, 10, 12, 20 ],
[ 3, 5, -28, -13, 26, -17, 1, 24, -5 ],
[ 28, 26, 21, -12, 12, 21, 24, 14, -13 ],
[ -10, -24, 4, -14, 3, -18, -26, 25, 14 ],
[ 14, 1, 16, 26, -10, -18, 7, 29, -4 ],
[ -1, -21, 8, -8, 16, -17, 8, -23, -6 ],
[ -6, -1, -27, -8, -5, 12, -17, 11, 9 ],
[ -7, -1, -14, 19, -22, 5, -15, -10, 12 ],
[ 19, 0, 28, -17, -27, -26, -14, 4, -17 ],
[ 16, 14, 29, -16, 5, 19, -26, 6, 25 ],
[ 3, 7, 11, 14, 1, -2, 8, -5, 5 ],
[ -5, 21, -10, -5, -23, -28, 25, 16, -27 ],
[ 3, 13, 27, -19, -28, -9, 13, 2, -30 ],
[ -12, 19, 3, 30, 29, 18, 21, 29, -9 ],
[ 30, -10, -8, -12, -17, 23, -30, 14, -12 ],
[ -26, 12, 2, 23, -18, -13, 2, 21, -14 ],
[ 1, -12, -26, -13, -3, 0, 6, 1, 9 ],
[ 11, -30, 12, -15, -22, -19, 19, 24, 20 ],
[ -7, 1, 30, -8, 18, -24, -20, -22, 10 ],
[ 24, -26, -5, 19, 25, -14, 21, 1, 11 ],
[ 6, 0, -28, 3, 26, 3, -11, -14, 3 ],
[ -23, -10, -21, 18, 9, 0, -5, -21, -17 ],
[ 8, 3, -12, 15, -4, 1, 6, -22, -15 ],
[ 23, 16, -5, 18, -7, -14, -12, 5, -30 ],
[ 22, -30, -14, -27, -28, 3, -19, 24, -13 ],
[ -20, -30, -9, 17, -18, 30, -16, 0, 2 ],
[ 28, -26, 23, -1, 19, -26, 12, 8, 8 ],
[ 4, -29, 7, -16, 30, -5, -2, 19, -17 ],
[ 16, 16, -14, 23, 26, -6, -6, -27, 4 ],
[ 29, 22, 16, 29, 29, 20, 13, -3, -19 ],
[ -19, -12, -27, 1, -26, -3, 23, -1, 20 ],
[ -21, 20, 4, 24, 13, -23, 7, -18, 16 ],
[ 17, 8, -17, 16, -22, -5, 21, -9, 18 ],
[ 16, -22, -27, 19, -14, 11, 5, -17, -2 ],
[ -2, -7, 18, -2, -8, -16, 9, 6, -21 ],
[ 12, 24, 19, -25, 17, -25, 12, 17, 15 ],
[ -16, 15, 3, -26, -13, -3, 4, -2, -20 ],
[ -7, 17, -1, 10, 0, 17, 2, 9, -8 ],
[ -21, 9, 5, 27, -20, -19, 2, 22, 9 ],
[ 14, -6, 14, -3, -30, -11, -2, 6, 6 ],
[ 21, -21, -9, -12, 16, 6, -12, 20, 8 ],
[ -22, 18, 8, -20, 6, 7, 5, 6, -14 ],
[ 22, -28, -14, -30, -23, 11, 27, -19, -1 ],
[ -8, -25, -5, -4, -18, -30, -13, -9, 11 ],
[ 25, -12, -17, -23, 29, 22, 19, 4, -15 ],
[ -22, -30, -1, 16, 9, -17, 10, 30, 24 ],
[ 4, -6, 14, -18, 2, -18, -28, 30, 20 ],
[ -24, 23, 18, 30, -20, 4, -10, 10, 16 ],
[ 23, -2, -23, -9, -7, 8, 20, 19, -15 ],
[ 11, 18, -30, -10, -16, 11, 3, 13, -22 ],
[ 15, 20, -3, 30, -29, 19, 17, 22, 22 ],
[ -18, -23, 4, -17, 18, -27, -15, -12, 10 ],
[ 5, 2, 13, -15, -22, -28, -10, -2, -28 ],
[ 28, 30, 16, -17, -26, -17, 8, 21, 10 ],
[ 22, 20, 26, -29, -24, 25, 0, -10, -16 ],
[ -30, -19, -17, -25, -14, 11, -2, 27, 28 ],
[ -21, -5, -3, 2, -9, 28, -11, 11, 15 ],
[ -1, -12, 6, -8, -3, 24, -16, -28, 11 ],
[ 30, 19, 4, 24, 12, -15, 14, -20, -15 ],
[ 29, -7, -14, 10, 20, -10, -11, -20, 1 ],
[ -30, 10, 13, -23, 9, -12, 24, -25, 6 ],
[ 16, 23, -12, 16, -7, -11, 18, 23, -13 ],
[ -8, 3, 5, -17, -16, -17, -22, -22, 18 ],
[ -11, 22, -8, 15, 14, 11, -2, -23, -28 ],
[ -13, 18, -10, -12, -7, -17, -28, -26, -16 ],
[ 26, 27, -28, -29, 10, 17, -25, 25, -11 ],
[ 12, 30, -17, -23, -1, 17, -2, 17, 9 ],
[ 6, 24, -29, 9, -10, 7, -15, 22, -15 ],
[ 8, 23, 21, -30, 10, -4, 22, -27, -10 ],
[ -12, 27, -2, 1, 18, -19, 21, 14, 20 ],
[ 7, -30, -18, 29, 15, -3, 19, -17, 30 ],
[ 26, -22, 13, 4, -14, 14, 3, 0, 17 ],
[ -7, -21, 25, 19, -8, -4, 20, 9, -23 ],
[ -29, -19, -8, -29, -25, 19, -16, 1, 2 ],
[ 4, 29, 14, -24, -9, -22, 6, -6, -17 ],
[ 12, -16, 29, -4, 23, -25, 30, 17, 12 ],
[ -14, 1, -16, 10, 19, -22, 9, 9, -14 ],
[ -15, 23, -26, -25, -23, 14, -11, 0, 5 ],
[ 9, -5, 15, -1, 11, 11, -3, -22, -21 ],
[ 3, -2, -19, -13, -27, 15, -7, -16, 17 ],
[ -15, -17, -1, -7, 4, 18, 15, -8, -4 ],
[ 23, 1, 18, -15, -27, -17, -5, -1, -17 ],
[ 4, -23, 12, 20, 1, -5, 27, -10, -29 ],
[ 26, 3, -22, 23, 19, -2, -30, -12, -24 ],
[ 12, 24, -12, 29, 3, 5, -2, 17, 25 ],
[ 12, 17, 1, 3, 6, -20, 10, 26, 27 ],
[ 18, 27, 18, -10, 15, -25, 2, 12, -25 ],
[ -22, -13, 22, -4, 27, 6, -4, 2, -15 ],
[ 23, 10, 7, 28, 30, 28, -4, -24, -7 ],
[ -12, 9, 13, -28, 29, 7, 7, 11, 25 ],
[ -15, -2, -19, -17, 30, 21, -14, -27, 19 ],
[ -15, -7, 19, 8, 13, 23, -29, -17, -15 ],
[ 20, 5, 2, 23, -22, 8, 4, -19, 20 ],
[ -10, -10, -19, -7, 16, 29, -16, -25, -2 ],
[ -20, 10, 0, -22, -26, -26, 14, 3, -21 ],
[ 9, 17, -8, -29, 5, -16, -11, -26, 6 ],
[ 28, 7, 29, -2, 9, 5, -15, -22, -11 ],
[ -30, -13, -16, -13, 6, 27, 24, 12, 5 ],
[ -21, 25, -5, -26, 3, -24, -1, 14, -10 ],
[ -29, 1, 29, 18, 11, -16, -13, -27, -12 ],
[ -20, -16, -26, 23, -20, 6, -8, -8, 21 ],
[ -19, -12, 21, 17, 8, 27, -24, 20, 13 ],
[ 1, -12, -9, -27, 2, -3, 17, -6, -9 ],
[ 8, -28, -20, -4, 10, 20, 7, 21, 13 ],
[ -24, 27, -19, -2, 28, 1, -13, 27, 29 ],
[ -16, 20, 15, -27, 24, 14, 5, 19, -27 ],
[ -14, 8, -24, 26, 18, -7, 24, -15, -25 ],
[ 4, 9, -3, 7, 11, -4, 7, 10, 2 ],
[ 17, 18, -29, -23, -6, 2, -21, 14, 20 ],
[ 21, 27, -1, -24, -3, -18, 3, -12, 7 ],
[ 29, -23, -4, 19, -26, 4, -13, -30, -17 ],
[ 16, -21, -24, -16, -13, 29, 11, -1, -13 ],
[ 18, 14, -24, 28, 29, 17, 24, 15, -14 ],
[ 12, 19, 26, -5, -26, 10, -4, -25, -13 ],
[ -15, 5, 18, -25, 22, -16, -11, -23, 14 ],
[ 1, -14, 17, -28, -24, -25, 12, -23, -11 ],
[ -18, 30, 22, -25, 19, 30, 24, -9, 2 ],
[ 17, -22, 18, 29, 22, 15, 20, -19, 23 ],
[ -25, -25, -12, -29, 23, -17, -5, 12, 24 ],
[ 10, -19, 10, 25, -4, 25, -10, -4, -30 ],
[ -21, 12, 6, -15, -11, -30, 30, 14, -23 ],
[ -29, 30, -16, 21, -24, 21, 21, 4, 5 ],
[ -15, -3, -30, 11, -8, 15, -4, 23, 17 ],
[ -18, -22, 21, 22, 16, 28, -9, -20, 11 ],
[ -1, 17, 7, -25, 2, 23, 30, -7, 6 ],
[ -25, -9, -24, 19, -6, 29, 27, 19, -11 ],
[ -29, 7, -24, 24, 23, 11, -7, -30, 5 ],
[ -7, -2, 23, 3, -27, -19, -27, -11, 17 ],
[ -4, -11, -6, 22, 26, 9, 19, 5, 23 ],
[ 0, -27, 12, 29, 19, -10, -8, 12, -29 ],
[ 13, 29, -7, 0, 0, 4, 26, 18, -29 ],
[ 24, 1, -11, -24, 22, 19, 17, 6, -6 ],
[ 10, -10, -20, 10, -22, 17, 22, -22, 11 ],
[ 1, -26, -17, -29, 19, 29, 21, -11, -19 ],
[ 12, -13, -24, -24, 6, 12, -12, 12, 8 ],
[ 18, 12, -12, 22, -8, -8, -29, 5, 12 ],
[ -23, -11, -18, -12, -12, 6, 23, -27, 12 ],
[ 3, -11, 21, 7, -10, -8, -7, 21, -18 ],
[ -15, 20, 29, -4, -5, 30, -1, -12, -30 ],
[ 21, 22, -20, 22, -9, -5, -19, 3, -8 ],
[ -28, -7, -10, 8, 25, -17, -8, -14, 17 ],
[ 29, 24, -15, 23, -24, -2, -30, -6, 1 ],
[ -22, -5, 6, 26, -5, -21, -9, 18, -16 ],
[ -29, -15, -29, -19, -8, 18, -26, 3, -3 ],
[ -6, -11, -8, 25, 14, -21, 16, 25, -8 ],
[ 15, -4, -16, -17, 27, 18, -3, -11, -26 ],
[ -30, 16, -10, -26, -5, -15, 11, -17, 15 ],
[ -10, 3, 25, 1, 3, 23, 17, -1, 13 ],
[ -17, 0, 23, 20, -17, -8, 25, 21, 14 ],
[ 20, -1, -1, -23, 6, -30, -5, -18, -28 ],
[ 28, -2, 8, 15, 23, -15, 21, 23, 20 ],
[ 12, 9, 6, -23, 17, 4, -7, -14, -6 ],
[ -11, -13, -20, 4, -8, -24, -1, -17, -24 ],
[ 1, -13, -4, -7, 9, -24, 24, 24, -18 ],
[ 11, 0, -8, 9, 12, -17, -10, -15, -11 ],
[ 5, 14, -6, 20, 24, 4, 27, 14, -28 ],
[ -26, -19, 5, -16, 6, 5, -30, -14, 1 ],
[ -18, -26, 16, 6, 5, -22, 10, -3, 14 ],
[ -17, 24, -24, 7, 6, 30, -25, -21, -12 ],
[ 13, 3, 16, -4, -9, 7, 22, 11, -18 ],
[ 23, 10, 19, 22, -22, 0, 27, 27, 10 ],
[ -25, -13, -21, 12, -24, -29, -25, -4, 5 ],
[ 10, 0, -28, -19, -19, -30, -5, 9, 26 ],
[ -21, -13, 0, -14, -14, 8, 20, -17, -4 ],
[ -19, 22, 30, 5, 29, -5, 5, 5, -6 ],
[ 5, 27, 26, 0, -23, -18, 10, -5, 12 ],
[ -24, 13, 14, 20, -29, -30, 6, 23, -15 ],
[ 21, 22, 2, -26, -26, 23, -10, 20, -6 ],
[ -21, -17, 9, -14, -22, -15, 17, 29, 14 ],
[ -1, -19, -26, 14, -18, -23, 29, -9, 7 ],
[ -22, 6, -26, 4, 3, 27, 1, -3, -1 ],
[ 21, 13, -20, -27, -22, 19, 18, -3, 25 ],
[ 15, -22, -25, -23, 24, -19, -20, 8, -21 ],
[ 18, -25, 29, 12, -3, -14, 6, -28, -21 ],
[ 18, 27, -25, -15, 26, 6, -22, -23, 11 ],
[ 1, 9, -23, 12, -1, 10, -23, 27, 30 ],
[ 27, 10, -6, 15, -19, -4, -23, -3, 26 ],
[ -24, 18, -9, 28, -1, -8, 1, 26, -30 ],
[ -3, -4, 19, -17, -23, 0, 28, 10, -21 ],
[ 1, 11, -5, 27, 20, -8, -15, -3, 28 ],
[ -19, -18, -7, 10, 13, 5, 28, 5, -23 ],
[ -10, -24, -26, 16, -17, -9, -24, 24, 20 ],
[ -8, -17, -1, -9, -29, -16, -25, 14, -23 ],
[ 23, -13, -3, 5, -2, 14, -5, 7, -19 ],
[ -19, -13, 6, -6, 7, -22, -24, 12, -25 ],
[ -26, -22, 9, 21, 22, 1, 26, 13, -16 ],
[ 2, -10, -6, 24, -30, 7, -13, 8, -12 ],
[ -4, 16, -13, -2, 4, -13, 1, 10, -27 ],
[ -22, -21, 10, 13, -24, 25, 3, 13, 6 ],
[ -4, -4, -18, -13, -15, 15, 29, -7, -3 ],
[ -30, -14, -16, -11, 12, -21, 27, 17, -27 ],
[ 7, 16, -5, 7, -14, 21, 29, -12, -7 ],
[ -21, 28, 4, -7, 12, 24, -4, 14, -24 ],
[ -3, -15, 13, -10, 24, -11, 24, 29, -3 ],
[ 14, 15, -17, -15, -18, 29, 15, 0, -17 ],
[ 14, -29, -23, 25, 16, -17, 12, -11, -18 ],
[ -22, 10, -7, -13, -21, -27, -7, -16, 6 ],
[ 8, -19, 15, -18, -18, -2, 6, 16, 5 ],
[ 11, 17, -7, 17, 10, -22, -22, -26, -26 ],
[ -6, 20, -11, 1, 8, 3, 22, 10, 1 ],
[ -25, -8, 26, 3, -19, -2, -22, -7, 12 ],
[ 15, 21, -2, 4, -6, 25, -17, 12, 25 ],
[ 15, -16, 29, 9, 24, 9, -25, -16, -1 ],
[ 29, -7, 11, 20, 0, -12, -9, 22, 0 ],
[ 11, -8, 2, 27, 21, 12, -12, -28, 25 ],
[ 25, 9, 9, 27, -6, -28, -20, 4, -1 ],
[ -18, 12, -25, -29, 27, -11, 27, 17, -26 ],
[ -15, 6, -7, -6, 1, 11, -10, -1, -18 ],
[ 9, -6, -14, 6, 24, 7, 9, 16, 18 ],
[ -12, -1, 25, -25, 6, 9, 26, 2, -10 ],
[ 23, -21, 12, 3, 5, 11, 26, 5, 15 ],
[ 4, -2, 6, -21, -29, -7, -25, -17, 5 ],
[ -14, 30, 27, -11, 28, -18, -23, 24, 25 ],
[ 15, 19, 8, -4, 0, -10, -18, -1, -12 ],
[ 15, -7, -9, -22, 3, -6, 3, 9, -11 ],
[ 15, 2, -25, 26, 8, -30, -7, 10, -21 ],
[ -12, -5, 19, 20, -3, -29, 21, -11, -1 ],
[ -23, 26, 20, 28, 29, 4, 28, 6, -20 ],
[ -12, 10, 4, -29, -16, -3, -3, -15, -15 ],
[ -28, -14, 19, -12, -10, 17, -27, 27, -15 ],
[ -28, -20, -27, -10, 4, -23, 6, -12, 4 ],
[ 8, 30, -6, 7, 15, 27, 1, -5, -7 ],
[ -8, -3, -4, 10, -14, 19, 5, 10, -1 ],
[ -2, -4, -17, -9, 14, 15, 4, -26, -19 ],
[ -30, 9, 27, 22, 16, -10, 10, -14, 4 ],
[ -1, 24, 7, -3, -18, -27, -29, -10, 5 ],
[ 11, -9, -8, -15, -29, 9, -14, 8, -27 ],
[ 1, -26, -27, 28, -7, 18, -13, 7, 16 ],
[ 5, -29, -29, 26, 25, 27, 3, 25, -15 ],
[ 29, -26, -9, -8, 9, -2, -2, 7, -23 ],
[ -10, 28, 18, -29, -7, 26, 25, -25, 22 ],
[ -19, -16, -14, -3, -15, 19, 3, -28, 12 ],
[ -5, 19, 28, 25, -5, -7, -29, 26, -27 ],
[ 7, 14, 30, -18, -13, 28, 7, 1, 22 ],
[ 17, 16, -26, 0, 15, 17, 12, 26, 2 ],
[ 12, -17, -11, 5, 4, -20, -27, -28, 13 ],
[ -13, -4, 30, -16, 2, -12, -23, 3, -25 ],
[ 7, -18, -29, 0, 14, 5, 0, -22, 25 ],
[ 29, 22, -6, 5, -19, 20, 29, 0, 28 ],
[ 13, -23, 19, 30, -8, 10, -5, 28, -19 ],
[ -23, -27, 21, -22, 6, 23, -13, 21, 15 ],
[ 15, 17, 27, -23, 30, 12, -21, -1, -23 ],
[ -7, 24, -2, 24, -6, -3, -18, 14, 24 ],
[ -19, 16, -9, 17, 5, -27, 2, -7, -13 ],
[ -22, 10, -16, -27, -8, 18, 21, -8, -27 ],
[ -9, 24, 16, -3, -10, 20, 15, -17, -12 ],
[ 16, 18, 8, 28, 0, -9, 8, -9, -30 ],
[ -30, 23, 25, 8, 13, 21, -11, 29, 2 ],
[ -15, 23, 28, 12, -12, 6, -18, 22, -13 ],
[ -13, 13, 11, -9, 15, 0, 25, -1, -19 ],
[ -18, -18, 26, 7, -11, -14, 19, 24, -16 ],
[ 25, -3, -15, 28, 30, -21, -4, 25, 1 ],
[ -24, 19, -23, 11, 5, -4, 11, 8, 8 ],
[ 30, -21, -16, 15, -16, -3, -14, 8, -21 ],
[ -1, 19, -14, -10, 10, 12, 5, 21, 17 ],
[ -2, 3, 24, -9, -24, -21, 29, 18, -22 ],
[ -26, -3, 7, -26, 18, 19, -5, 15, -19 ],
[ 1, 13, 0, 0, -14, 15, -2, -23, 12 ],
[ -6, -16, 12, -4, 20, 0, -14, 3, -16 ],
[ -4, 22, 10, -1, 4, 4, -10, -16, -27 ],
[ -1, -24, -27, 3, -16, -28, 10, 16, -30 ],
[ -19, -11, -26, -29, 25, -9, -6, 19, -13 ],
[ 15, 28, 20, -20, 18, -6, -18, 17, 3 ],
[ 3, 14, 7, 10, 6, 18, -11, 3, -6 ],
[ 20, 13, -16, 15, 25, -12, 15, -22, -4 ],
[ 13, 7, -12, -5, -19, 13, 28, 9, -2 ],
[ 0, -15, 29, -13, -19, -11, -27, 18, 11 ],
[ 25, 4, -21, -8, -2, 9, -26, 24, 16 ],
[ 25, 1, 30, -9, 22, 1, -12, 23, -15 ],
[ -23, -23, 15, -15, -4, -25, 12, -1, 5 ],
[ -1, 27, -23, -8, 20, 24, -29, 7, -11 ],
[ -28, -2, -28, -21, -24, -13, 29, 14, -18 ],
[ -20, -18, 21, -8, 0, -9, 22, -15, 30 ],
[ 20, -18, -7, -19, -6, -11, -29, 18, 10 ],
[ -17, -7, 4, 13, -22, 4, -2, -6, 3 ],
[ -2, 16, 16, 30, 29, 20, 19, 10, -24 ],
[ 15, 22, -17, 25, 4, 2, 5, 29, -11 ],
[ -4, 0, 26, -27, 12, -9, 26, -23, -14 ],
[ 23, 20, -1, 7, -6, 20, 11, -28, 26 ],
[ 14, -12, 18, -23, 1, -14, 24, 23, -9 ],
[ 7, 22, -19, 24, 14, 16, -4, -23, 12 ],
[ 7, 25, 23, 24, -24, 27, 29, 22, -27 ],
[ -21, 5, 19, 12, -17, -6, -28, 8, -20 ],
[ 28, -22, 17, 28, 14, 17, -3, -3, 17 ],
[ -14, -2, 6, 13, 22, -9, -12, 23, 11 ],
[ 4, -7, 17, -10, 30, -15, -7, 5, -14 ],
[ 10, -21, 8, 1, 22, -20, -11, 12, -30 ],
[ -4, 19, 11, -4, 0, -4, -5, 17, -17 ],
[ -3, 23, 7, 25, 8, -14, 13, -20, -5 ],
[ 2, -18, 30, 22, 21, 19, -19, 13, 25 ],
[ 4, 23, -6, -9, -26, 7, -30, -28, -21 ],
[ -30, -10, 1, 0, -10, 4, 20, 9, 30 ],
[ -28, 8, 16, -30, -19, 9, 4, -20, 30 ],
[ 27, -1, 15, -12, -14, -24, 15, -17, 11 ],
[ -29, -28, -17, -13, -8, -7, 25, -16, -4 ],
[ -20, -5, -26, -16, 7, 13, 30, 4, -25 ],
[ -3, 20, -3, -27, 17, -5, 28, 18, 4 ],
[ 18, -25, -4, 3, -9, -7, 22, 27, -21 ],
[ 3, -2, -29, 9, -19, 21, 13, 30, -29 ],
[ -18, 16, -26, -20, -12, 16, -15, 8, -26 ],
[ -10, 0, -21, -25, -23, -4, 6, -23, 23 ],
[ 10, 6, 26, 14, 3, -4, 29, 3, -27 ],
[ 6, -9, 20, -30, 12, 2, -24, -17, 22 ],
[ -19, 4, 12, 15, -16, -6, -11, -28, -9 ],
[ -24, -30, -6, 9, -28, 0, -26, 23, 28 ],
[ 30, -26, 11, -23, 3, 1, -17, 17, -4 ],
[ 21, 0, 2, -11, 15, -24, 2, 24, 14 ],
[ 8, -1, -5, 6, 0, -15, 27, -15, -12 ],
[ 14, -27, -9, -27, 10, 25, -16, 8, -19 ],
[ 23, -27, 10, -22, -29, -16, 9, 10, -13 ],
[ 14, 19, -9, -25, -5, 24, -16, -14, -21 ],
[ 13, 24, -2, -26, 8, 3, 15, 0, 20 ],
[ 30, 17, -19, -7, 14, -8, 26, -18, -20 ],
[ 21, 20, 9, -16, 28, 23, -9, -11, -24 ],
[ -20, 15, -2, 0, -16, 0, -6, 2, 29 ],
[ -2, -14, 16, 29, 14, -27, -28, 23, 27 ],
[ -17, 2, 9, 28, 8, 21, 11, -6, -28 ],
[ 12, 2, 5, 21, -3, 27, 27, 3, -25 ],
[ 19, 8, -5, 28, 4, -18, -19, -7, -17 ],
[ 11, -17, 7, -4, -11, 19, -19, -12, 19 ],
[ -3, -2, -18, 21, -13, 7, 5, -4, 12 ],
[ 11, 16, -11, -16, -22, 3, 19, 24, -3 ],
[ 18, -1, -14, -23, -28, 17, -15, -11, 2 ],
[ -14, 30, -21, -26, 9, -17, -16, -18, 13 ],
[ 5, 3, 0, 26, -15, 6, -20, 24, 18 ],
[ -22, -11, 1, 15, -23, -10, -12, -13, -1 ],
[ -11, 23, 7, -17, -21, -10, 17, 4, 6 ],
[ -11, -13, -4, -8, 10, -8, -9, -12, -24 ],
[ 24, 20, 4, -4, -2, 29, 13, 16, -24 ],
[ -7, -15, 28, -26, -26, -14, 23, 15, -17 ],
[ 9, -29, 30, 21, -2, -12, -29, 21, 10 ],
[ 6, -18, 8, -25, 28, -10, 11, 11, 3 ],
[ -15, -30, 18, -23, -8, -10, 30, -25, 29 ],
[ -9, 25, -8, 21, -14, -12, 29, 24, -25 ],
[ 4, -26, 27, 4, -5, -2, 30, -17, -9 ],
[ -30, -10, 11, -2, -15, -29, -9, 4, 8 ],
[ 27, -28, -17, 22, 22, 8, -14, 21, -7 ],
[ 23, 18, 7, 11, 26, 16, -25, -2, 24 ],
[ 22, -11, 25, 11, -4, 18, 25, 3, -12 ],
[ 13, 20, -20, -6, 14, -21, 9, -16, 17 ],
[ 8, 4, 8, -15, -13, -15, -4, 1, 22 ],
[ -5, -2, 12, 1, -27, 13, -21, 24, -13 ],
[ 12, 0, 28, -30, 28, -27, 4, 22, -5 ],
[ 8, -28, 0, 22, -27, -30, -8, -9, -29 ],
[ -15, -3, 7, 11, -27, 24, 0, 19, -27 ],
[ 3, -6, -8, -5, 7, 24, -17, -16, 15 ],
[ 0, 26, -24, -30, 2, -12, -14, 18, 26 ],
[ -21, -8, -5, -28, -6, 12, -23, -16, -28 ],
[ 4, -16, 20, -27, 22, 18, -18, 15, 24 ],
[ 20, 22, -15, 21, -4, -4, 18, -30, -3 ],
[ 4, 12, 22, -12, -23, 27, 19, 10, -13 ],
[ -22, 25, 21, 3, 24, -24, 1, 16, 10 ],
[ 27, 26, 16, 2, -23, -25, 20, 16, 23 ],
[ 21, 13, -3, -3, 4, 0, -8, -20, 24 ],
[ 16, 5, 28, -4, -5, 20, 29, 25, 24 ],
[ 5, -5, -5, 16, -2, -9, 5, 7, 9 ],
[ -9, 26, -2, -25, 3, -2, -26, 6, 19 ],
[ 19, 27, 24, -22, 28, -14, 30, 5, 21 ],
[ -1, 22, -16, -20, -9, 25, 9, -20, 22 ],
[ 15, -9, -5, 3, -25, -13, -21, 17, 24 ],
[ 27, 28, 8, 25, -2, -1, 16, 19, -16 ],
[ -19, 14, 28, 10, -21, 15, -22, 15, 21 ],
[ 13, -10, -14, 11, 11, 4, -22, -24, 30 ],
[ -20, 27, 5, 11, -5, -10, 28, 27, -15 ],
[ 17, 1, 14, -11, -19, -25, 23, 30, 26 ],
[ 27, -9, 24, 7, 19, 28, 14, 8, 9 ],
[ -21, -23, -24, -18, 1, 18, -6, -8, -1 ],
[ 14, 17, -25, 13, 26, 18, 11, 25, 12 ],
[ 0, 8, -30, 8, 25, 20, -23, 0, -20 ],
[ -27, 24, -12, 1, -18, -11, 25, -30, -7 ],
[ 15, -19, 0, -30, -30, 26, -21, 8, 3 ],
[ -22, -21, -10, 2, -11, 1, 7, -8, -2 ],
[ 9, -23, 10, 24, -22, 29, 24, 28, -10 ],
[ -23, 27, -10, 30, -15, 22, -3, -21, -13 ],
[ -14, -22, 20, 22, -25, -11, 4, -16, 19 ],
[ -16, -21, -13, -5, -10, 23, -23, -19, -21 ],
[ -30, 17, -26, 21, 8, -21, 4, -6, 7 ],
[ 11, 22, -20, -18, -4, -18, -4, 0, 6 ],
[ -1, 12, -24, -18, 7, 12, 4, -6, -1 ],
[ 5, 25, -18, 28, 4, 29, 26, -10, -20 ],
[ -17, 19, 6, -28, 5, -25, 16, 4, -30 ],
[ 14, -16, -22, -13, 15, 14, 6, -16, 25 ],
[ -4, 30, -1, -25, -1, 6, 29, 2, 24 ],
[ -22, 7, -2, -20, -16, 16, 7, -15, -27 ],
[ 2, 20, 29, 19, -30, 16, -8, -29, 23 ],
[ 2, -10, -5, 24, -16, -26, -27, 13, -14 ],
[ -24, 17, -21, 14, 10, -12, 12, 19, 17 ],
[ 12, -17, -30, -5, 15, 2, 24, 13, 28 ],
[ -21, 20, 2, -5, -21, 20, 9, 29, -7 ],
[ -8, 16, -26, -12, 30, -6, -8, 28, -16 ],
[ -23, -13, -21, 28, -22, 16, 25, -28, -4 ],
[ 0, 17, 16, 2, 11, -7, -7, -20, 8 ],
[ -24, -20, 8, -9, 9, 11, -6, -23, -22 ],
[ -13, -29, -11, -7, -13, 6, 5, -13, 25 ],
[ 12, 13, -14, -11, -11, 2, -10, -24, -15 ],
[ 11, -22, -20, -3, -23, 14, -5, 14, 26 ],
[ 5, 25, -16, -27, -18, 3, -12, -25, 7 ],
[ 11, 7, 19, 28, -30, 28, 10, 27, 26 ],
[ -25, 0, 13, 11, -18, -20, 10, 5, 18 ],
[ -12, 24, -7, -1, 10, -20, 21, 1, -19 ],
[ 17, 28, 23, -28, 0, 13, 9, -9, -21 ],
[ -11, 29, -7, 0, 23, -29, -5, 17, -28 ],
[ 26, 0, -27, 28, 10, 1, 12, -12, -26 ],
[ -25, -8, 29, -8, -25, 0, 13, 7, 0 ],
[ -23, -15, -29, -11, 12, -24, 12, -9, -17 ],
[ 28, -29, -22, 9, -30, -9, 30, 12, 30 ],
[ 19, -24, -29, -11, 22, 2, -21, 7, 25 ],
[ 5, -1, -17, -26, 14, -5, -12, 19, -23 ],
[ 27, -20, -15, 3, -29, 18, -3, 26, -29 ],
[ 5, -24, 4, -11, 16, -14, 20, -11, -5 ],
[ 26, 28, 5, -22, 16, 24, 6, 23, -15 ],
[ 2, 22, -21, 24, 8, -17, 10, -2, 25 ],
[ 22, -4, -24, 14, -8, -13, -5, -14, 8 ],
[ 28, 29, -18, 22, 20, -17, 7, 5, 20 ],
[ -17, -20, -3, 5, 6, -21, 8, 24, 26 ],
[ -17, -7, -26, -1, 28, 10, 24, 26, 13 ],
[ 24, -18, 27, 27, -25, -21, 23, 1, 3 ],
[ -17, 7, -21, -23, 14, 3, -27, -12, -15 ],
[ 13, -25, -21, 1, -23, -11, 1, 28, -24 ],
[ -8, -16, -24, -20, -8, 3, -7, 8, -4 ],
[ 30, 25, 22, -26, 3, 29, 6, -2, 26 ],
[ -30, 9, -22, 10, 11, -18, -16, 15, 28 ],
[ 1, 4, -6, 17, 25, 9, 9, 10, 23 ],
[ -30, 28, -11, -26, -13, -5, 6, -23, -16 ],
[ 19, 26, 27, -27, 17, 21, -17, -29, -1 ],
[ -18, 30, 2, 11, -28, -11, 9, -22, 16 ],
[ 28, -5, 8, -12, 3, -20, -23, -20, 9 ],
[ -2, 2, 18, 4, 13, -4, -26, 25, -2 ],
[ 13, -1, 12, 15, -10, -21, -17, -13, 22 ],
[ -6, -25, 6, -11, -28, -3, 11, -15, 28 ],
[ -3, 9, 25, -9, -24, -1, 11, 3, 6 ],
[ -24, 12, 26, 25, -21, -24, -5, 14, -17 ],
[ 16, -18, -16, -25, -27, 23, -6, -30, -20 ],
[ -8, -10, 23, -23, 23, -30, -14, -3, -30 ],
[ -25, 3, -28, 12, 10, 25, -6, -18, 24 ],
[ -8, 1, -6, 9, 9, 29, 12, -22, -2 ],
[ -16, -23, 20, 8, 1, -16, -24, 27, -9 ],
[ -18, 4, 30, -25, 30, -7, -22, -3, -22 ],
[ -14, 9, 2, -20, -3, -10, 14, -4, 13 ],
[ 8, -19, 26, 30, 0, -17, -1, 6, -2 ],
[ -8, -28, -28, -8, 27, 27, -19, 14, 28 ],
[ -19, 22, 22, -7, 24, 3, -10, -15, -28 ],
[ 25, 22, 2, -7, -6, 14, 17, -2, -18 ],
[ 28, -6, 27, 12, 9, 15, 6, -27, 29 ],
[ 25, 12, 26, 13, -14, -23, -14, -24, -22 ],
[ -27, -11, -18, -1, -7, -22, -6, -5, 23 ],
[ -22, 16, -30, 18, 15, 12, -7, -16, 18 ],
[ 4, 1, 28, 19, 30, 28, 6, 11, -21 ],
[ -26, 16, 9, 5, 8, 14, 28, -24, -27 ],
[ -12, 12, -14, 27, -24, 4, -10, -19, 25 ],
[ 19, 7, 23, 16, -14, -10, 2, -3, -22 ],
[ -5, -10, -25, -21, -5, -6, 6, -22, 27 ],
[ 21, 13, -2, -13, 4, 23, -3, 16, 18 ],
[ -12, -11, -6, -24, 20, -15, -21, -18, 9 ],
[ 0, 13, -4, -23, 6, 7, -16, -11, 23 ],
[ 19, -4, 14, -2, 4, -15, 23, 23, -28 ],
[ 17, 10, -15, 28, -21, -7, -20, 22, -14 ],
[ -2, -1, 11, -20, 18, 7, -16, 0, 16 ],
[ -16, 15, 29, 11, 21, 27, 16, -24, 18 ],
[ 22, -23, 22, 14, 15, 28, -25, -28, 17 ],
[ -2, 22, 15, -30, -24, 12, -10, 20, 25 ],
[ -11, 16, -14, 12, -10, -27, -25, -13, 16 ],
[ -5, -14, 25, 14, -11, 25, -21, -5, 20 ],
[ 12, -22, -16, 12, 5, 24, 10, -11, -8 ],
[ 4, 20, 13, -30, -17, 26, -29, -28, 1 ],
[ 10, -15, 19, -27, -14, 24, -2, -12, -17 ],
[ -24, -17, 23, 29, 21, 9, 21, 27, -20 ],
[ -10, 2, 15, -15, 12, 30, -26, 13, 22 ],
[ 16, -15, 19, -20, -2, 5, -22, 7, -26 ],
[ 17, 28, -5, 22, -13, 8, 14, 20, 12 ],
[ -29, -12, -24, 17, 7, -30, 15, -15, 11 ],
[ 0, 16, 18, -6, -2, 25, 18, -16, 1 ],
[ -2, 30, 30, 24, 27, -26, -2, 26, -26 ],
[ 6, 3, 0, 19, 14, 21, 17, -21, 7 ],
[ -3, 27, 10, 2, -5, 13, -25, -20, 27 ],
[ -25, 6, 17, -14, -21, 12, -29, 9, -25 ],
[ 21, -17, -16, 9, -26, -11, -10, -23, -21 ],
[ -24, -19, -18, 12, -22, -5, 21, -29, 26 ],
[ 27, 14, -18, -11, -1, -21, -17, -16, 21 ],
[ -17, 21, 13, -22, -17, 1, -16, -30, 12 ],
[ 9, -26, -5, -10, -22, 25, -15, -12, -1 ],
[ 24, 28, -18, -9, -19, 2, 29, 23, 7 ],
[ 20, 21, 0, -21, 30, 12, 7, -14, -11 ],
[ 26, -15, -17, -17, -25, -14, -27, -1, 24 ],
[ -25, -1, 2, -3, 19, 2, -7, -24, -20 ],
[ -28, -12, -27, -3, 15, -6, -23, -11, 12 ],
[ 27, -1, 17, -27, 15, 9, -25, -12, -13 ],
[ -9, -10, -28, -18, 0, 27, -6, -16, 16 ],
[ 11, -27, -4, -27, -16, 11, 27, -3, -23 ],
[ -27, -26, 1, 6, -12, -4, 11, -18, 16 ],
[ 10, 26, 8, -3, 26, 30, -10, 6, -26 ],
[ -21, -21, -21, -18, -25, -15, -18, -7, -11 ],
[ -29, 17, -23, 16, 25, 21, -17, -3, -14 ],
[ 0, 20, 28, 4, -19, 8, 25, 10, -2 ],
[ 0, -9, -14, 23, -19, -15, -17, -8, 23 ],
[ -5, 11, 25, -3, -18, -3, -20, -25, -4 ],
[ -24, 9, 19, -1, -28, -25, -25, -23, -11 ],
[ 7, 2, 0, 14, -4, -14, 12, -4, -12 ],
[ -22, -27, 18, 2, 18, 26, -2, -19, -7 ],
[ -5, -19, -28, 3, -2, 27, -3, 0, -13 ],
[ -8, -23, -17, -8, -7, -5, -10, 0, -24 ],
[ 18, 4, 19, 1, 15, -21, 10, 5, -10 ],
[ -10, 4, -25, -19, -6, 19, -22, -25, -4 ],
[ -21, -8, -17, 5, -17, 11, -19, -14, 13 ],
[ 20, -5, -26, -27, -8, -8, -16, 25, -12 ],
[ 30, 24, -7, -17, 18, -21, 1, 26, 20 ],
[ 27, -19, 4, -25, -10, 28, 1, 0, -3 ],
[ -18, 18, -15, -19, 15, 3, 27, -30, 20 ],
[ -24, 13, -25, -17, -22, 18, -12, -13, 11 ],
[ 1, 16, 23, 21, -15, -4, -30, 17, -4 ],
[ -3, 8, 15, 27, 6, -16, 3, 2, 1 ],
[ -17, 18, -7, -24, 11, 9, -16, 0, 30 ],
[ 17, -7, 25, 0, 11, 13, 27, -24, -5 ],
[ -15, 22, -5, 17, 27, -10, -11, 2, -16 ],
[ -18, 27, -1, 23, 27, 18, 2, 12, 12 ],
[ -22, -19, -20, -23, -21, 20, 29, -27, 5 ],
[ -9, -6, -11, -2, 11, -27, 25, 8, -7 ],
[ -26, 20, -10, 7, -14, -25, 10, 0, 8 ],
[ 9, -5, 0, -30, -4, -30, 19, -29, -15 ],
[ 22, 1, 1, 28, 22, -12, -7, -1, 6 ],
[ -16, 28, -25, 13, 10, 29, 17, -6, -3 ],
[ -29, 6, 20, -20, 30, -11, 11, -17, 29 ],
[ -16, 12, -1, -24, 0, -10, 28, 22, -4 ],
[ 14, -21, -23, 23, 30, 15, 28, 6, 21 ],
[ 5, -28, 6, 12, 6, 9, -21, 30, -4 ],
[ -30, -8, 15, 13, 10, 22, -30, -24, -4 ],
[ -9, 3, -15, 30, 22, -10, -10, 28, -24 ],
[ -14, -30, -27, -4, -13, 3, 19, 1, 14 ],
[ 2, -26, -3, 2, -24, 4, 3, -2, 16 ],
[ 28, -14, -15, 25, -28, 4, 21, 21, -30 ],
[ 23, 25, -29, 28, -11, 24, -22, -28, 1 ],
[ -21, 4, 2, -25, -28, 22, 2, -8, -18 ],
[ -15, -18, -8, -25, -3, -3, -18, -26, -29 ],
[ 22, -29, 16, 22, 13, -8, 12, 24, 26 ],
[ -9, -2, 23, -23, -28, 5, -26, 29, -20 ],
[ 27, 7, -7, -24, 0, -4, -16, 24, 5 ],
[ -13, 21, -21, -29, -27, 8, -9, -2, -5 ],
[ 2, 28, 30, -15, 24, 20, -16, 4, 19 ],
[ 14, -13, 12, -29, 30, -13, -20, -6, -17 ],
[ 8, 28, 23, 13, -10, -25, 7, 3, 28 ],
[ -11, -24, 13, -28, -22, -11, -13, -2, 27 ],
[ -14, -6, 13, -5, 13, -27, 11, 0, -15 ],
[ -27, -20, -17, 18, 0, -4, 27, -4, -10 ],
[ 27, -9, 7, 7, 16, 17, -21, 18, -20 ],
[ -4, -1, -10, -26, 24, -11, -23, 5, -13 ],
[ 8, -15, -7, 0, -9, 7, -14, -12, -21 ],
[ -11, -14, 6, 20, -9, -28, -17, 16, -3 ],
[ -10, -25, -18, -21, 7, -30, -22, -5, -5 ],
[ 22, -14, -12, -26, 7, 27, -15, -24, 13 ],
[ 28, -14, -4, -25, -28, -21, -7, 6, 26 ],
[ -19, 6, -11, -13, -8, 10, -7, 2, -29 ],
[ -16, 24, 24, -6, -2, -8, 23, 4, -27 ],
[ -12, -4, 8, -27, 11, -21, -12, 17, 27 ],
[ 0, -4, 4, -27, 15, 17, -23, -27, -7 ],
[ -13, 2, 23, 18, 14, 30, -28, 10, -16 ],
[ -29, 22, -8, -7, -19, -10, -2, 25, -30 ],
[ 4, -11, -10, -16, -28, 4, 25, -19, -14 ],
[ 1, -9, -15, 8, -18, 4, 21, -30, -23 ],
[ -19, 4, 8, 7, -28, -23, -12, -11, 17 ],
[ -15, -9, -10, -10, -14, 27, -4, -28, 7 ],
[ 8, -1, -6, 11, 28, -25, 23, 15, 15 ],
[ 11, -18, -1, -9, -5, -15, -12, 10, -29 ],
[ -21, 20, -10, 26, 5, -26, 13, 22, 17 ],
[ 14, 25, -28, -30, 29, -10, -28, -15, -1 ],
[ 26, 3, -14, 15, -29, -16, -12, -11, 26 ],
[ 3, 7, 4, 28, -17, -5, -28, 3, 6 ],
[ 20, 19, -19, 17, -19, -21, 2, 11, 19 ],
[ -9, 25, 14, 25, -15, -26, 14, 17, -22 ],
[ 11, 1, 1, -24, 18, 19, 5, 25, 10 ],
[ 14, 29, 5, 11, -27, 9, 17, 25, 20 ],
[ 23, 5, -27, -14, 0, 15, -24, 22, -1 ],
[ 26, 10, 24, -5, -15, -29, -19, 24, 22 ],
[ -28, 2, 30, 30, 23, 4, 9, 2, 16 ],
[ 6, -26, 14, -3, 4, 16, 21, -6, 4 ],
[ -22, 29, 7, 5, 19, 0, 3, -25, 13 ],
[ -26, 26, 25, 24, 12, -9, -16, 20, -8 ],
[ -4, -15, -5, 29, -19, 22, 14, 18, 0 ],
[ -9, -28, 7, 24, 11, 7, 19, 13, 7 ],
[ 16, 7, -19, -30, 0, -27, 14, -30, 27 ],
[ -11, -23, 12, -8, -20, -29, -26, 0, 6 ],
[ -27, 21, -5, 5, -11, 2, 7, -11, -12 ],
[ -25, -1, 17, 0, -10, -24, -10, -20, 15 ],
[ 20, 14, 22, 13, -27, -20, -8, 10, -28 ],
[ -23, -24, -13, -13, -8, 15, 19, 15, 30 ],
[ -12, 7, -10, -13, 17, 1, -24, 23, -17 ],
[ 30, -13, 23, -13, 12, 11, -16, -15, -15 ],
[ -24, 30, -24, 19, 6, -20, -18, 22, 12 ],
[ 10, 25, -5, -21, -21, -20, -4, -19, 22 ],
[ 30, -22, -17, 10, 5, 2, -2, -7, -29 ],
[ -4, -15, 28, -20, -10, 27, 23, -29, 26 ],
[ -20, 20, -16, 3, 14, 15, 13, 23, -14 ],
[ -20, 24, -29, 15, -27, 0, -29, -2, 5 ],
[ -30, 20, -15, 22, -27, 13, 19, -29, 6 ],
[ 27, -20, 20, 15, -20, 16, 6, 2, 13 ],
[ -13, 26, 12, -1, 18, -21, 2, 25, 4 ],
[ 23, -26, 6, 20, -30, 14, -5, -21, -27 ],
[ 5, 18, -9, 15, 21, 1, -2, -13, -8 ],
[ 17, -14, 10, 7, 1, -10, -1, 25, -18 ],
[ 3, 2, 29, 2, 14, 3, 17, -4, -6 ],
[ -16, 28, 1, 3, 8, 22, 23, -19, 29 ],
[ -20, -29, 6, -26, -11, -3, -20, 0, 15 ],
[ 13, -30, -13, 1, -1, 16, 0, 7, 19 ],
[ -29, -16, -2, 20, 15, 4, -20, 13, -23 ],
[ 15, -6, -23, 12, -30, 5, 0, -1, 6 ],
[ 15, 5, -13, 6, -7, -5, 18, -9, 18 ],
[ 13, 19, 21, -20, 4, 23, -5, 7, -14 ],
[ 21, 22, -3, -6, 14, -26, 27, 12, 2 ],
[ 3, 23, -15, 1, -19, 17, 0, -14, 7 ],
[ 12, 20, 5, -21, -15, -27, -14, 3, -30 ],
[ 14, -4, 8, 26, 5, -1, 10, 19, 11 ],
[ 17, -25, -18, -8, 26, 7, 0, 0, -11 ],
[ -10, -1, -19, 10, -26, -26, -1, 23, 4 ],
[ 1, 25, -9, -9, 10, -25, 27, 28, 8 ],
[ 13, 10, -14, -14, 4, -12, 9, -18, -1 ],
[ 30, -27, 4, 17, -4, -24, 12, -17, 7 ],
[ -16, 5, 10, -27, -4, -26, -29, -22, 25 ],
[ -22, -1, 25, 17, -5, 28, 8, 14, -3 ],
[ -27, -12, -24, -30, 17, -25, 4, -24, 30 ],
[ -3, -21, 15, -2, 4, -26, 24, 18, 4 ],
[ 0, -21, 7, -14, -5, 17, -4, 8, 21 ],
[ -3, 21, 11, 14, -21, 20, 1, -15, 27 ],
[ -3, 28, -1, -6, 12, -12, -29, -18, 12 ],
[ 3, -5, -12, -26, -3, -13, -23, 8, -23 ],
[ 3, -3, 20, -16, 29, -3, 28, 2, -13 ],
[ -24, 4, -27, -20, -18, -3, 18, 10, 14 ],
[ -3, -24, -11, -19, -30, -12, -8, 18, 24 ],
[ -25, -20, 18, -12, -17, 26, -21, -26, 3 ],
[ 5, -4, 22, -19, 18, 2, 15, -25, 9 ],
[ 27, 9, 3, 10, -6, 15, -9, 4, 0 ],
[ 28, -21, 3, 0, 18, -28, 5, -11, -30 ],
[ -26, 7, 16, -26, 23, -26, 24, 27, -1 ],
[ -28, -9, -20, 15, 30, 30, -8, 18, -15 ],
[ -4, 24, 6, -1, -16, 15, -12, 28, -21 ],
[ 24, 14, 23, 19, 13, 12, -12, 15, 24 ],
[ 5, -6, 8, 0, 11, 1, -12, -1, -16 ],
[ -30, 11, -1, 17, -5, -11, 10, -23, 29 ],
[ 15, -26, 19, 26, -10, -29, -28, 11, 15 ],
[ 6, 13, 9, 0, 29, -27, 20, 16, -14 ],
[ 6, -19, -29, 10, 26, 13, 15, -24, -23 ],
[ 6, -23, 6, -9, 8, 2, 0, 30, -17 ],
[ -17, 8, 16, 2, -2, 4, -16, -3, 12 ],
[ -12, 7, -10, 27, 14, 16, 1, 25, 27 ],
[ -12, -10, 29, 5, -14, 10, -28, 7, 2 ],
[ 1, -12, -26, 12, 5, -11, -22, -11, -5 ],
[ -1, -20, 13, 1, -6, -13, 3, -12, -17 ],
[ 5, 7, 2, 30, 3, 6, -19, -20, -26 ],
[ -11, -2, 26, -28, -23, 29, 22, -15, -28 ],
[ -2, -19, -12, -11, -5, -5, -4, 17, 8 ],
[ -4, -6, 24, 2, -6, -13, -24, -25, -22 ],
[ -20, 21, -12, -18, -27, 4, -3, 12, -27 ],
[ 2, 11, -29, 11, 6, 14, -14, 30, 12 ],
[ 3, -5, 27, 29, 29, -27, 17, 18, -14 ],
[ 7, 3, -29, 4, 29, -27, 1, -24, 3 ],
[ 24, 10, 12, -27, 21, 15, 17, -22, -14 ],
[ 18, 3, -16, -21, -15, -14, -19, 20, 12 ],
[ 7, -14, 27, 8, 5, -17, -15, -26, 19 ],
[ -15, 14, 18, -10, 19, 17, -19, -5, -25 ],
[ 8, 8, -25, 21, 6, -12, 18, -2, -4 ],
[ -26, -17, -17, -5, 5, -11, 28, -18, -13 ],
[ 17, 28, 28, 27, 14, 19, 10, -11, 6 ],
[ -16, -27, -30, 25, -24, 30, -10, -3, 0 ],
[ 13, -8, 17, 29, -26, 10, 17, -12, -25 ],
[ -7, -29, -30, -11, -29, 13, 16, 15, -23 ],
[ 5, 5, -3, -17, 30, -24, -18, 17, 29 ],
[ 26, -3, 2, -7, 16, -10, -15, -26, 17 ],
[ -26, 21, 21, -3, 2, -18, -28, -13, -17 ],
[ 19, -16, -15, 30, -15, -7, -14, -19, 28 ],
[ -22, -5, -14, -19, -30, -13, 14, -14, 28 ],
[ -1, -23, 18, -23, -3, 6, 23, -8, 23 ],
[ -20, 1, -19, 20, 19, -12, -3, 29, -28 ],
[ 15, 11, 26, -5, 3, 11, -29, -22, 2 ],
[ 26, -7, -2, -22, 18, 0, 8, -16, -22 ],
[ 16, 5, 10, -9, -6, 30, 26, 7, 4 ],
[ -11, -18, -2, 0, -21, 11, -26, -16, 7 ],
[ -21, 9, -24, 0, -16, 26, -6, -20, 29 ],
[ -3, -24, 20, 11, 22, -14, -18, 25, 2 ],
[ -3, 8, -13, -7, -1, -1, 11, 11, -26 ],
[ -30, -8, 2, 4, -17, 8, -13, -6, -12 ],
[ -21, 10, -23, 12, -30, 18, 29, 2, 14 ],
[ 26, 21, 10, -15, 4, 25, -3, -28, 28 ],
[ -25, 3, -2, 26, -8, -13, -11, 6, -11 ],
[ 23, 16, 17, 20, 5, 30, -20, -13, 20 ],
[ -6, 25, 8, 4, 10, -13, -19, 2, -10 ],
[ -14, 1, -1, 26, -25, 28, 22, -20, 13 ],
[ 26, 5, -8, -18, -23, 24, -16, 26, 21 ],
[ -19, 4, 18, -6, -17, -3, -26, -10, 25 ],
[ -6, -6, -10, -6, 5, 4, -18, 27, -17 ],
[ -8, 11, 12, 22, -12, 8, 25, 10, -30 ],
[ 0, 7, 30, 5, 28, -14, -23, 21, 19 ],
[ 29, -11, 7, 17, -5, -1, -22, 22, 4 ],
[ -15, 28, 6, 15, -12, -17, 11, -3, -24 ],
[ -7, 26, -26, -11, -1, -5, -1, 17, -1 ],
[ 29, 10, 14, 13, 22, -4, -4, -7, 29 ],
[ 15, -4, -10, 19, 10, -16, 22, -6, -5 ],
[ 19, -26, -11, 28, 6, 11, -30, -7, -11 ],
[ 4, 8, -5, -4, -28, -11, 8, -24, -15 ],
[ -18, 27, -17, 3, 0, 9, -16, 16, -5 ],
[ 17, 10, 5, -13, 10, 7, -23, 13, -17 ],
[ -5, -8, 10, -2, -22, -12, 17, -1, -27 ],
[ 28, 12, 7, 10, 12, -6, 5, 16, -17 ],
[ -26, -15, -24, 25, 15, -5, -17, 8, 23 ],
[ -8, 24, -24, 16, 20, 30, 6, -17, 10 ],
[ -25, -12, -11, 3, 21, 29, 15, -8, 2 ],
[ 10, -14, 12, -21, -19, 24, -28, -10, 23 ],
[ -28, 18, 20, -9, 9, 1, 0, 29, -6 ],
[ -7, 25, -1, -19, 16, 7, -16, -30, 12 ],
[ -22, 7, -12, -17, -27, 2, -14, 6, -11 ],
[ 8, -8, 19, 3, -28, -9, -30, -7, 25 ],
[ 4, 20, -13, 9, -10, 1, -21, -19, -14 ],
[ 17, 21, 11, 0, 8, -26, -13, 9, 15 ],
[ 11, 2, 29, 7, 1, -29, 25, -7, -26 ],
[ 5, -10, -5, 6, 16, 3, -13, 15, 11 ],
[ 25, -19, 1, -28, -15, -27, -29, -25, -20 ],
[ -17, -18, 28, 10, 25, 21, 15, 5, -18 ],
[ -3, -19, 23, 8, -13, 16, -14, 25, 20 ],
[ 14, 16, 3, -7, -27, -1, 21, -17, 17 ],
[ 21, 15, -26, 7, -23, -29, -2, -14, -16 ],
[ -24, -9, 20, -27, -17, -17, 13, 28, 19 ],
[ 23, -21, 13, 3, 22, -27, 27, -27, -7 ],
[ 24, 22, 3, 23, 18, 11, 26, -24, 8 ],
[ 21, -23, -2, -29, 1, 9, 19, 3, 13 ],
[ 6, 2, 16, 12, -24, 13, -7, 30, -24 ],
[ 3, 12, 10, 27, -20, 10, -18, -2, -2 ],
[ 30, -17, 8, -28, 25, 14, -30, -16, -19 ],
[ 16, 4, 12, 21, 24, 17, -30, -9, -2 ],
[ 7, 27, 28, -2, -7, -4, -21, 12, -13 ],
[ -28, 28, 8, -3, -19, -22, -27, -28, 2 ],
[ -24, -6, -3, 2, 26, 15, 14, 8, 15 ],
[ 9, -14, 9, 18, 3, 12, -30, -21, 4 ],
[ -10, 25, 12, 17, 20, 9, -17, -15, 29 ],
[ 14, 27, 25, 23, -13, -20, -2, 2, -26 ],
[ -14, -11, -7, -5, 24, 21, -24, 9, -2 ],
[ -17, -7, 18, 3, -5, -14, -4, 21, 12 ],
[ -3, 0, -26, -12, -20, -19, -26, -9, 20 ],
[ 20, -10, -29, -26, -22, 19, 6, 0, 27 ],
[ 2, 30, 0, 3, 11, 10, -21, 5, 10 ],
[ -17, 1, -4, -15, 27, -9, -19, -4, 29 ],
[ 10, -27, 6, 15, 9, 16, 16, 3, 11 ],
[ -5, -23, -13, 0, -17, 28, 15, 15, 1 ],
[ 25, -15, -25, -9, 25, 4, -28, -5, 26 ],
[ 5, 21, 26, -24, -4, 19, 1, 12, -30 ],
[ 10, 8, -25, -26, 1, 3, -15, -4, 3 ],
[ 13, -10, -25, -27, 11, 9, -24, 10, 2 ],
[ -15, -26, 22, -29, 17, 3, 26, 12, 29 ],
[ 11, 27, 18, 6, -13, 4, -15, -8, -30 ],
[ 15, 25, 17, 9, 2, -10, 24, 0, -15 ],
[ 24, 15, 16, 18, -17, 22, -30, -7, 26 ],
[ -2, -8, -13, 23, 13, -28, -13, 22, -23 ],
[ 4, 24, 15, -30, 9, 18, -6, -28, -11 ],
[ 26, -8, 2, -23, 1, 15, -21, 19, 3 ],
[ 11, -30, -28, -29, -13, 8, -25, -27, 22 ],
[ -21, 7, 7, 1, 1, 15, 2, -8, -10 ],
[ 4, -18, -29, 27, 14, -30, -9, -15, -21 ],
[ 2, 2, -22, -27, 18, 12, -22, -23, 9 ],
[ -24, -3, 7, -6, -6, -27, -18, -29, 4 ],
[ -14, -24, -14, 8, 4, 4, -19, 11, 18 ],
[ 7, -3, -10, 23, 18, 20, -16, 26, 22 ],
[ 25, -7, 17, -1, -12, -7, -29, -28, -28 ],
[ 10, 12, -21, -30, 2, -29, -21, 8, -5 ],
[ -1, 5, -12, 8, 16, 29, -16, -22, -18 ],
[ 1, -2, -10, -27, 4, -20, 5, -26, 12 ],
[ -17, 10, -12, -4, 25, -2, -24, 12, 23 ],
[ 8, 26, 25, -17, -12, -24, 27, 14, 19 ],
[ 9, 26, -10, 6, 17, 12, -28, 11, -6 ],
[ 1, 3, -27, -30, 18, 25, -28, 28, -15 ],
[ 26, 15, 2, -13, 4, -12, -14, 16, 9 ],
[ -28, 30, 6, 18, 26, 26, -17, -4, -20 ],
[ 30, -16, -3, 17, -1, 22, 1, 12, 15 ],
[ 11, 26, -9, 13, -16, -7, -30, 14, -27 ],
[ 19, 20, 2, 17, 22, -11, -6, 27, -14 ],
[ -19, -19, -6, 24, 9, -16, -4, -1, -27 ],
[ 10, -15, 16, -27, -12, 5, 15, 2, 11 ],
[ 18, -24, 13, -7, -20, 6, -12, 28, 13 ],
[ 25, 27, 24, 27, -4, -8, -2, -8, -20 ],
[ 12, 25, 5, -27, 13, 25, 6, 18, 15 ],
[ 13, -22, 27, -4, 4, -15, 10, 5, 15 ],
[ 28, -16, 25, -1, -7, 22, 27, -25, -13 ],
[ -11, -6, 14, 15, -14, -5, 13, -14, 5 ],
[ 20, 2, 7, 14, -23, -30, 0, 28, -20 ],
[ 12, -23, 13, -24, -4, 23, 19, -27, 17 ],
[ -19, -29, 25, 9, -21, 23, 8, -22, -12 ],
[ 14, -27, -7, 3, 28, 1, -7, -10, 11 ],
[ -8, -13, 2, -29, -17, 25, -25, -30, 3 ],
[ -29, -30, 3, 21, 15, 9, 1, -4, 13 ],
[ -6, -17, -22, -10, 23, 18, -2, 16, 11 ],
[ -6, 3, -16, 9, -29, 20, -8, -23, 26 ],
[ 18, 3, 14, 4, 6, -5, -10, -25, 11 ],
[ 4, 23, -6, -17, 13, 5, -16, -23, 17 ],
[ 22, -15, 12, 30, 28, -13, -3, 5, -24 ],
[ 14, -2, -15, 25, -18, -21, 9, -15, -2 ],
[ 2, 21, -3, 0, -28, -7, 23, 8, 17 ],
[ 28, 21, 19, 14, 23, 26, 1, -2, 0 ],
[ -11, 15, -22, -27, -20, -23, -6, 0, -29 ],
[ 26, -22, -13, 29, 22, -18, -5, -3, 7 ],
[ -18, -17, 30, -25, 15, -13, 1, 12, 13 ],
[ 28, 6, -26, -13, 9, -27, -30, -6, 0 ],
[ -7, 18, -9, -3, -16, -28, 24, 12, -1 ],
[ 7, 24, 18, -14, -4, -13, -6, -24, 22 ],
[ 2, -1, -20, -28, 19, -24, 13, -2, 0 ],
[ 27, -14, -8, -20, -19, 28, -24, 3, -21 ],
[ 1, 6, 28, 11, 22, 24, -25, 9, 4 ],
[ 4, 27, -2, 12, -14, -2, 1, 14, -27 ],
[ 5, 4, -30, -23, 28, -26, -5, -5, 5 ],
[ 27, -18, 14, 23, -11, 7, -28, -26, 0 ],
[ 10, -24, 20, -15, 29, 6, 18, 11, 2 ],
[ 6, -8, 15, 22, -7, 20, 2, -5, -27 ],
[ 13, 24, -22, -10, 4, -29, 22, -24, -15 ],
[ -22, 4, -22, -3, 17, -8, -27, 25, -18 ],
[ 9, -16, -8, -9, 0, 25, 10, 27, -22 ],
[ -10, -18, 3, -17, -6, -26, 7, -3, -23 ],
[ -28, 15, -15, -7, 18, -23, 17, 16, -15 ],
[ 0, 19, 5, 28, 14, 24, -12, -22, 15 ],
[ -9, 4, 3, -13, -12, 16, 26, 20, 29 ],
[ -24, 25, -24, -18, 30, -10, -3, -3, -26 ],
[ 11, -25, -26, 27, -8, -15, -8, -8, 25 ],
[ -14, 14, -2, -6, -14, 23, 20, 14, -11 ],
[ 15, 27, -3, -2, 14, 2, -26, 14, -1 ],
[ 30, -28, 26, -3, 11, 8, -26, -24, -8 ],
[ -11, -22, -7, -1, -14, 28, -26, 3, 12 ],
[ 0, 23, 5, -14, -26, 4, -20, -15, -14 ],
[ -12, -30, -7, -19, 12, 2, 16, 3, 2 ],
[ 10, -13, 13, -25, 17, 14, -11, -2, -13 ],
[ 22, 3, -10, -10, -17, -9, 14, -11, 25 ],
[ -17, -30, 15, 18, -24, 20, -2, -2, 23 ],
[ -19, 3, -16, -3, 1, -27, 18, -16, 13 ],
[ 5, -8, 18, 0, -28, 12, -22, 22, 19 ],
[ 8, -30, -12, -25, 10, -28, -24, -11, -9 ],
[ 14, 19, 21, 15, 9, 27, -26, -3, 28 ],
[ 28, 5, -8, -3, 26, 10, 8, -6, -27 ],
[ -14, -29, -27, -20, 9, -25, -4, 14, 14 ],
[ 14, -30, 26, 29, 12, 6, 17, -1, -4 ],
[ -23, -26, -23, 29, -21, -14, -26, 21, 19 ],
[ 21, 10, -8, 13, -6, -15, 2, 28, -28 ],
[ 0, -13, 7, 22, -27, 7, 12, 4, -16 ],
[ -4, -8, 15, -3, -27, -10, -14, -24, -30 ],
[ -29, -24, 6, -19, 14, -16, -19, -27, -17 ],
[ -18, 8, 18, 13, -27, -25, -29, 29, 21 ],
[ 0, -4, -3, -21, -16, 19, 12, -10, -27 ],
[ -3, 2, 22, 2, 17, 22, 16, 30, 20 ],
[ 27, 22, 20, 15, -11, 25, -29, -12, 28 ],
[ -30, -28, 7, 15, 7, 30, 13, 0, 21 ],
[ 0, -28, 24, -2, 6, -7, -13, 25, -20 ],
[ -10, -7, 21, 19, -8, 14, 25, -12, 9 ],
[ 24, 29, 18, -26, 13, -25, -27, 17, -24 ],
[ 14, 29, 6, 16, -22, 9, -30, -13, -12 ],
[ 18, 4, -20, -10, -5, -14, -23, 7, -20 ],
[ -14, -15, 22, 18, 13, -28, -14, 30, -16 ],
[ -25, 25, -1, 7, -23, -24, -2, -1, -20 ],
[ 1, 12, -4, 13, 12, -13, 3, 28, -19 ],
[ 24, -12, 11, -12, 29, -18, -20, 2, -16 ],
[ 23, -10, 1, -11, 15, 5, -26, -21, 12 ],
[ 0, -1, 4, -26, -1, -24, 11, 16, 6 ],
[ 2, -10, -8, -12, -3, -7, -2, -29, -17 ],
[ 17, 27, 29, -18, -22, 22, 22, 29, -25 ],
[ 30, 30, 23, 24, 18, -28, -24, -22, -25 ],
[ 29, -8, 5, 14, -28, 11, 21, -18, 26 ],
[ 11, 30, -20, -19, -23, 24, -30, -12, -22 ],
[ -24, 0, 23, 25, 6, 12, 24, -20, -30 ],
[ 18, -11, -19, -24, -24, -15, 30, 7, -5 ]
];

solution_data := [
[ 1, 1, 1, -1 ],
[ 15, -40, 70, 464, 1393 ],
[ 1, 0, 0, 1 ],
[ 3, -1, 1, 1 ],
[ 15, 20, -31, 10, 1300 ],
[ 221, -1116, 413, -226 ],
[ 1, -1, 2, 3 ],
[ 68, 1372, 5201, -2104, 528 ],
[ -1 ],
[ 1, -1, 3, -2 ],
[ 3, 70, 52, 7645, -34697 ],
[ 1, 1, 1, -1 ],
[ 26, 69, 13, -27 ],
[ 1, 0, 1, -1 ],
[ 1, -1, 2, 5 ],
[ 1, -4, 2, 1 ],
[ 51, -2735, 2435, -4927 ],
[ 413, 499, 19, -112 ],
[ 72, 806, 7528, 1584, 244 ],
[ 1, -1, 2, -1 ],
[ 3, 7, 1, -1 ],
[ -235, -326, 334, 273, 612 ],
[ 7, 8, 14, -9 ],
[ 3, -2, 7, 9 ],
[ 0, 1, 1, 0 ],
[ 2, -1, 0, 1 ],
[ -1103, -8, -1262, -36, 1797 ],
[ 2, -1, 1, 0 ],
[ 2, -1, 1, 0 ],
[ 1, -3, 4, -5 ],
[ 4010, 1083, 790, 1309 ],
[ 2, -1, 7, -1 ],
[ 573, -170, 347, -442, 701 ],
[ -59, 476, 627, 963, 763 ],
[ 2449070, 1547751, 657914, 908907 ],
[ 4, -1, 1, 1 ],
[ 13, 23, 45, 86, 5 ],
[ 1, 1, 1, -1 ],
[ 1, 1, 1, 0 ],
[ 1345, 214, -725, 3958, -47 ],
[ 88, -236, 953, 64, -76 ],
[ 1, 0, 1, -1 ],
[ 1, 6, 6, -1 ],
[ 0, 1, 0, 1 ],
[ 3 ],
[ 193, 164, 1616, 1636, 176 ],
[ -71, 436, 504, 52, 3624 ],
[ -424, 520, -3, 840, 1476 ],
[ 1, 0, 0, 1 ],
[ 8, -3, 1, 1 ],
[ 1, -3, 1, -1 ],
[ 8341, 7407, 13137, 36187 ],
[ 28, -19, 15, 67 ],
[ 440, 943, 1609, -676 ],
[ 373, -235, 63, -134 ],
[ 1, -3, 0, 1 ],
[ 1, -1, 1, 2 ],
[ 7119, 16675, 1805, 6946 ],
[ 4, -1, 5, 1 ],
[ 2, -1, 6, -11 ],
[ 1, 0, 1, 0 ],
[ 0, 1, 1, 1 ],
[ 17, 554, 41, 232, -516 ],
[ 7, 3, 1, 2 ],
[ 180, 120, 765, -522, 2713 ],
[ 19, -3, 1, -60 ],
[ -156, 1436, 2037, 3722, 785 ],
[ -7, 1242, 801, -7792, 1440 ],
[ 61, 332, 2886, -672, 593 ],
[ 11, -113, -1130, -425, 94 ],
[ 8, -676, 5373, 18858, 2697 ],
[ -231, -356, 456, -917, 642 ],
[ 0, 1, 3, -1 ],
[ 681, 910, 449, 224, 1480 ],
[ 2 ],
[ -131, 90, 164, 244, -179 ],
[ 4, 3, 5, -2 ],
[ 1, 1, 1, 1 ],
[ 11, -5, 3, 2 ],
[ -20, 1852, 2792, 4076, -19 ],
[ 1, -1, 1, 1 ],
[ 26443, -29753, 10008, -1031 ],
[ 553, 614, 1695, -358, 585 ],
[ 7, 2, 4, 1 ],
[ 1, 2, 1, -1 ],
[ 79, -67, 863, -529, 2895 ],
[ 1, 0, 3, 2 ],
[ 87, 167, -563, -2, 789 ],
[ 4, 3, 1, 1 ],
[ -1 ],
[ 37989229576447, -34838351038766, 12078548958101, -148721756027593 ],
[ 33, -155, -209, 282, 820 ],
[ 1, 0, 1, 0 ],
[ 0, 1, 0, 1 ],
[ 161, 202, 655, 510, 524 ],
[ 2 ],
[ 1, 0, 1, 1 ],
[ -8, 480, 601, -2764, 5524 ],
[ 0, 2, 3, 2, 0, -3, -4, 1, 0, 7, 1, 0, 1, -3, -2, -3, 0, -1, 12, 1 ],
[ 10477, 10740, 5009, -3567 ],
[ 1754, -2615, 5577, -1126 ],
[ 0, 1, 2, 1 ],
[ 1, 0, 1, 2 ],
[ 4, -1, 1, 5 ],
[ 4, 1, 9, -4 ],
[ 1, 0, 1, 0 ],
[ 8, 1, 16, 29 ],
[ 3 ],
[ 1, 0, 1, 1 ],
[ 1, 2, 1, 1 ],
[ 956, -556, -1251, 3634, -559 ],
[ 2 ],
[ 5 ],
[ 1, -1, 2, -1 ],
[ 245, 270, 1531, 442, 2689 ],
[ -1 ],
[ 2, 1, 5, -6 ],
[ -1, 3 ],
[ -1, 25, 1140, -851, 76 ],
[ 2, 362, 911, 110, 79 ],
[ 1, 0, 0, 1 ],
[ 8, 380, 2089, -8092, 9456 ],
[ 5, 2, 1, 1 ],
[ 1, 0, 1, 1 ],
[ 14, 17, 20, -39 ],
[ 2, -1, 1, 1 ],
[ 1, 1, 1, 3 ],
[ 92, 21, 27, 22 ],
[ 39, 12, -763, 428, -3299 ],
[ 1, 1, 2, -3 ],
[ 1, 1, 0, 1 ],
[ 1, -1, 0, 1 ],
[ -4, -340, 3673, 6960, 536 ],
[ 177, 210, -37, -758, 921 ],
[ -323, 158, 379, -1434, 265 ],
[ 1, -2, 1, 1 ],
[ 1, 4, 8, -13 ],
[ 1, 2, 1, -1 ],
[ 3, -5, 2, 3 ],
[ 3, 1, 1, 2 ],
[ 50, 1561, 945, -362 ],
[ 2, 1, 1, 0 ],
[ 4, -1, 1, 0 ],
[ 1, 2, 0, 1 ],
[ 0, 1, 1, 1 ],
[ 109, 59, 96, 830, -195 ],
[ 17 ],
[ 1, -2, 3, 8 ],
[ -8, 116, 640, 696, 33609 ],
[ 240, 232, 4269, 544, 14684 ],
[ 7, -8, 1, -8 ],
[ 1, 0, 2, -3 ],
[ 5, 3, 1, 1 ],
[ 3, -1, 1, 1 ],
[ -235, 770, 3191, 90, 1953 ],
[ 68, 740, -1023, 784, 2176 ],
[ 566, 1051, 3117, 178 ],
[ 5639, -18, 5259, 437 ],
[ 1, 1, 1, 1 ],
[ 2, -1, 1, 0 ],
[ 5, 4, 1, 0 ],
[ 16, -13, 67, -47 ],
[ 51, -29, 17, 27 ],
[ 3, -1, 5, -3 ],
[ 1, 1, 1, -1 ],
[ 1, 0, 1, -2 ],
[ 1795723131, -637747865, 460116881, 526355157 ],
[ 4, -7, 18, 47 ],
[ 1, 1, 0, 1 ],
[ 16, 19, 25, -7 ],
[ 1, -1, 1, -1 ],
[ 306, 225, 945, 361, 912 ],
[ 65, 142, -1017, 3686, 589 ],
[ 505, -264, 288, 1740, -3396 ],
[ 3, -20, 5, 8 ],
[ 2, 3, 9, 4 ],
[ 1, 0, 3, 4 ],
[ 2, -1, 0, 1 ],
[ 96, 500, -380, 4, 329 ],
[ 129, -289, 363, -265 ],
[ 1, 0, 1, 2 ],
[ 2, 1, 0, 1 ],
[ 2, 1, 1, 4 ],
[ 428, -532, 3409, 2160, 2896 ],
[ 2, -1, 1, -1 ],
[ 1, -1, 0, 1 ],
[ 20, 28, -207, -44, -780 ],
[ 1, 1, 1, 1 ],
[ 3, -1, 2, 3 ],
[ 1, 1, 2, 1 ],
[ 12, -4, 728, 504, 31489 ],
[ 0, 1, 1, -1 ],
[ 5, -2, 1, -3 ],
[ 3 ],
[ 2, -1, 0, 1 ],
[ 1, 0, 0, 1 ],
[ 0, 1, 1, -1 ],
[ 97, 730, -817, 4846, 1565 ],
[ 1, 0, 4, -1 ],
[ 3, 2, 3, -4 ],
[ 3, -5, 1, 2 ],
[ 2, 3, 0, 1 ],
[ 8, -3, 7, -13 ],
[ 1, 1, 1, 0 ],
[ 24044, -1841, 73373, 68608 ],
[ 9, 14, 14, -5 ],
[ 3 ],
[ 1, 0, 2, 1 ],
[ 1, 0, 1, 1 ],
[ 1, 0, 1, 1 ],
[ 369, -500, 394, -5056, 217 ],
[ 6, 11, 8, 7 ],
[ -1 ],
[ 1, -1, 1, 3 ],
[ 7 ],
[ 3 ],
[ -1 ],
[ 4, 1, 1, -2 ],
[ 41855, 175361, 33085, -104688 ],
[ 43, 24, 109, 3256, -96 ],
[ 1591789, 595263, 847426, -1661349 ],
[ 2, -1, 2, -1 ],
[ 3, 1, 5, 4 ],
[ 6, 11, 23, -3 ],
[ 1633, 2346, 29, 2868, -3356 ],
[ 0, 1, 5, -4 ],
[ 3, -2, 1, 2 ],
[ 620, 396, 1841, -2448, -256 ],
[ 176, 368, 9, 596, -2484 ],
[ 1, 1, 5, -2 ],
[ 349, 194, 463, -90, -4919 ],
[ 1, -3, 7, 5 ],
[ 1685, 3257, 6025, -1683 ],
[ 3 ],
[ -296, 474, -70, 1366, 802 ],
[ 0, 1, 1, 0 ],
[ 1, -1, 7, -2 ],
[ 5, -3, 1, 2 ],
[ 4, -7, 1, -4 ],
[ 1, 2, 1, -9 ],
[ 41, 314, -345, 2122, 2621 ],
[ 70, 21, -455, 1593, -145 ],
[ 63, -65, -28, 24, 2667 ],
[ 2, 37 ],
[ 1, -1, 1, -2 ],
[ 1, 1, 1, -1 ],
[ -120, -4, 6328, -4416, 553 ],
[ 13960, -2051, 74399, 33567 ],
[ 1, -2, 1, -1 ],
[ 253, 149, 117, 70 ],
[ 1, 0, 1, 1 ],
[ 1, -1, 0, 1 ],
[ 5 ],
[ 304, 640, -6295, 1840, 480 ],
[ -8, 842, -558, 134, 682 ],
[ 12, -13, 23, 51 ],
[ -12, -920, -24, 82, 11649 ],
[ 33, -14, 67, 106 ],
[ -703, 180, -1534, 216, 4137 ],
[ 817, 1006, -357, 490, 3589 ],
[ 7 ],
[ 1, -1, 1, -1 ],
[ 0, 2, 1, 0, 1, -3, -2, 1, 0, 2, 1, 0, 2, 2, -1, 0, 12, 11, -17, 2 ],
[ 83 ],
[ 2 ],
[ 0, 1, 3, -1 ],
[ 60, 820, -436, 4536, 7621 ],
[ -31, 158, 41, 7336, 30672 ],
[ 1, -1, 1, -2 ],
[ 2, -1, 1, 0 ],
[ 1, 0, 1, 0 ],
[ 8, 13, 3, 5 ],
[ 273, 52, 1874, 552, 561 ],
[ 1, -1, 1, 0 ],
[ 8, 60, 701, -1700, 15712 ],
[ 97, -278, -69, 898, 553 ],
[ 1, 1, 1, -1 ],
[ 0, 1, 1, 1 ],
[ 10, -9, 4, -3 ],
[ 47, -12, 1, 17 ],
[ 13, 9, 2, 3 ],
[ 801, -898, 1725, -876, -1228 ],
[ 1, 1, 1, 1 ],
[ 3, 1, 1, 3 ],
[ -1 ],
[ 5, 5, -241, 393, 2674 ],
[ 6, 5, 8, 5 ],
[ 644, 708, 3497, 2168, 2344 ],
[ -471, 202, 801, 2264, 756 ],
[ 2165, 1763, 1047, -202 ],
[ 1, 4, 1, 0 ],
[ -1 ],
[ 72, 336, 1401, 96, 736 ],
[ 3, -1, 3, 4 ],
[ 1, 2, 0, 1 ],
[ 4, -55, 41, -39 ],
[ 2 ],
[ 1, -1, 1, -1 ],
[ 2, -1, 3, 1 ],
[ -1, 3 ],
[ 720, 1316, 453, 14, -2023 ],
[ 6961, -8241, 2925, -12718 ],
[ 95, -439, 800, -581 ],
[ 1, -1, 2, -1 ],
[ 0, 1, 1, 0 ],
[ 7 ],
[ 8, -5, 6, 1 ],
[ 1, 8, 5, 2 ],
[ 1, 1, 1, 5 ],
[ 1, -1, 1, 1 ],
[ 1, -1, 3, 1 ],
[ 0, 1, 1, 1 ],
[ 4, -3, 1, 0 ],
[ 412, -823, 514, -250, -608 ],
[ 1, 2, 1, -1 ],
[ 4, 5, 3, -1 ],
[ 1, 1, 1, -1 ],
[ 1, 1, 0, 1 ],
[ -16, 808, 357, 3372, -9720 ],
[ 1, 1, 1, 2 ],
[ 1, -1, 1, 1 ],
[ 1, -1, 0, 1 ],
[ 1, 1, 1, 2 ],
[ 1, 7, 17, -4 ],
[ 2 ],
[ 1, -1, 1, 0 ],
[ 1, -3, 1, -1 ],
[ 111, 63, -109, -36, -223 ],
[ 3, 2, 3, -4 ],
[ 215, 1226, 3608, 774, 805 ],
[ 0, 1, 1, 2 ],
[ -17, -89, 97, -3850, 8105 ],
[ 2 ],
[ 5 ],
[ 141, -193, 15, -53 ],
[ 1, -2, 1, 1 ],
[ 199, 141, 135, 676 ],
[ 2773, 2882, 2941, -966 ],
[ 3, 4, 1, 1 ],
[ 1, 1, 2, -1 ],
[ 1, 0, 2, 1 ],
[ 94, 107, 31, -45 ],
[ 216, -1276, 4756, 72, -879 ],
[ 65, -116, 619, 1070, 15 ],
[ 0, 1, 0, 1 ],
[ 39, -11, 1, 11 ],
[ 541, 2084, 5938, 2248, 969 ],
[ 1, 1, 1, -1 ],
[ -1 ],
[ 1, -2, 1, 1 ],
[ 1, 2, 1, -2 ],
[ -1 ],
[ 1, 0, 1, -1 ],
[ 61, -506, -1932, 2179, -473 ],
[ 0, 1, 2, 1 ],
[ 59, 60, 53, -3 ],
[ -100, 96, -146, 576, 634 ],
[ 17, 16, 7, 6 ],
[ -71, 470, 9645, 6052, 2404 ],
[ 73 ],
[ 23, -24, 9, -2 ],
[ 0, 1, 1, -1 ],
[ 3 ],
[ 221, 94, 996, 66, 291 ],
[ 205409, -207818, 33220, 53223 ],
[ 1, 1, 0, 1 ],
[ 2 ],
[ 1, 0, 2, 1 ],
[ 1, -1, 1, 0 ],
[ 269, 2158, -231, -308, 4008 ],
[ 3, 1, 1, 2 ],
[ 1, -1, 2, 1 ],
[ 41627114562901586481746700468, -153683555609535380944402739639, 
696068316262663010442187427996, 255632597301087513739080220189 ],
[ 0, 2, 1, 1, 0, -2, 1, 0, 4, 1, 2, -4, -8, 3, -3, -6, 9, 19, 2, -3 ],
[ 6, 1, 4, 3 ],
[ 496, 248, 1977, 6, 2489 ],
[ 1, -2, 1, 1 ],
[ 1, -1, 1, -1 ],
[ 1, 0, 0, 1 ],
[ -440, 3320, 961, 7128, -864 ],
[ 13, -17, 62, -43 ],
[ 2 ],
[ 2, -3, 5, 3 ],
[ 29 ],
[ 1, 0, 1, 1 ],
[ -363, 131, 72, 932, 489 ],
[ 18, 90, 937, -970, 145 ],
[ 23, -52, 61, 18 ],
[ 1, 1, 2, -3 ],
[ 4, -5, 1, 0 ],
[ 17, 282, 4939, 2666, 85 ],
[ 580, 692, -3851, -2174, 6313 ],
[ 3 ],
[ 5 ],
[ -340, 292, 1700, 3564, 8161 ],
[ 5, -3, 1, -2 ],
[ -27, 86, 3748, -3512, 356 ],
[ 11 ],
[ 1, 1, 1, -1 ],
[ 4, -1, 3, -1 ],
[ 5, 1, 17, 4 ],
[ 1, 0, 2, -1 ],
[ 1, 1, 0, 1 ],
[ -183, 1840, -1292, -136, 2028 ],
[ 2, -1, 2, 1 ],
[ 4, 5, 3, -1 ],
[ 17, 1170, 227, -174, 497 ],
[ 1, 0, 1, 0 ],
[ 1, -1, 1, 0 ],
[ 27, -1, 23, -42 ],
[ 61, 232, 1254, -1844, 73 ],
[ 2 ],
[ -27, -1477, 840, -1429, 562 ],
[ 3 ],
[ 53, -386, 72, 1201, 394 ],
[ 19, 51, 7, 37 ],
[ 0, 1, 2, -1 ],
[ 649, 184, 1252, 148, 1956 ],
[ 2, 1, 1, 2 ],
[ 14, -94, -764, -219, -882 ],
[ -364, 948, -1635, 3118, 673 ],
[ 64, 7, 30, 131 ],
[ 11, 21, 4, -5 ],
[ 320, 712, 433, 4548, -8204 ],
[ 379, 124, 11, 182 ],
[ 4, -7, 1, -3 ],
[ 28, 28, -1656, 824, 577 ],
[ 1, 0, 1, 1 ],
[ 17, 75, -73, 141, 151 ],
[ 217, 596, 1818, -872, 525 ],
[ -360, 624, 4713, 1908, 4316 ],
[ 1, 2, 2, -1 ],
[ 5, -2, 1, 1 ],
[ 513, -3230, 217, -3032, 1984 ],
[ 1, 1, 1, 1 ],
[ 4, 5, 1, -3 ],
[ 544, 824, -1591, 8244, -9060 ],
[ 89, 154, 91, 3274, 249 ],
[ 577, -178, 337, 700, 3908 ],
[ 11, -1, 2, -1 ],
[ -1 ],
[ 7, -6, 8, 7 ],
[ 1, -1, 1, -3 ],
[ 2, 3, 0, 1 ],
[ 82, -339, 368, 315, 106 ],
[ 1, -1, 1, 0 ],
[ 1, 2, 1, 2 ],
[ -352, 320, 1337, 84, 1940 ],
[ 1, 1, 0, 1 ],
[ -2, 2070, 1908, 2424, 1108 ],
[ 1, -5, 2, -3 ],
[ 1, 0, 1, -2 ],
[ 0, 1, 4, 1 ],
[ 577, 594, 1087, 579, 779 ],
[ 57, 1, 12, -31 ],
[ 1, -1, 1, 1 ],
[ 1, 1, 1, 0 ],
[ 68, -18, -280, -223, 2046 ],
[ 5, 24, 11, 15 ],
[ 3 ],
[ 1, 1, 2, 1 ],
[ 4, 14259, 4804, -7449 ],
[ 67, 74, 378, 165, 345 ],
[ 1, 1, 2, -3 ],
[ 1, 2, 2, -1 ],
[ 0, 1, 1, 0 ],
[ 1, -1, 0, 1 ],
[ 2, 5 ],
[ 19 ],
[ 1, -2, 1, 0 ],
[ 4, -3, 1, 2 ],
[ -139, 506, -164, -60, 438 ],
[ 1, 0, 1, 2 ],
[ 90, 1269, 749, 1732, 525 ],
[ 1108, 368, 716, 1238, 1859 ],
[ 1, -3, 0, 1 ],
[ 368, -413, 25, -153 ],
[ 1, 1, 0, 1 ],
[ 252, -235, 60, 149 ],
[ 4, -5, 10, -19 ],
[ 97, 262, 85, 73, -356 ],
[ 55, -19, 121, 69 ],
[ 4, -5, 1, 1 ],
[ 23, -7, 3, -40 ],
[ 0, 1, 1, 0 ],
[ 1, 0, 0, 1 ],
[ 2, -1, 3, 2 ],
[ 1, 0, 1, 0 ],
[ -1 ],
[ 1, -1, 1, 1 ],
[ 3, 2, 3, -4 ],
[ 5 ],
[ 154, -205, 396, 371, 301 ],
[ -1 ],
[ 3, 19, 23, 3 ],
[ -1 ],
[ 2 ],
[ 1938003, 572578, 6339446, -6407515 ],
[ 67, -43, 29, 10 ],
[ 281, 314, 2327, -1766, 57 ],
[ 1, 3, 1, 1 ],
[ 7, -6, 10, -3 ],
[ 597, 762, 5023, 2866, 8033 ],
[ 265, 2474, 4161, -2704, 320 ],
[ 0, 1, 1, -1 ],
[ -1 ],
[ -1 ],
[ 90, 0, 837, -508, -124 ],
[ 5, -19, 3, -10 ],
[ 1, 0, 1, 0 ],
[ 1, 1, 2, -3 ],
[ 0, 1, 1, 0 ],
[ 4, -7, 2, 1 ],
[ 2, 1, 1, 0 ],
[ 5, 4, 19, 15 ],
[ 3 ],
[ 51, -124, 21, 25 ],
[ 1, -8, 4, 15 ],
[ 3 ],
[ 2 ],
[ 7, 9, 1408, -994, -36 ],
[ 3, -2, 0, 1 ],
[ 7, 4, 3, 2 ],
[ 1, 0, 1, 1 ],
[ 2, 1, 1, -2 ],
[ 127, -52, 284, 11 ],
[ 18, 29, 68, -67 ],
[ 13, -24, 3, 8 ],
[ 0, 1, 1, 1 ],
[ 2 ],
[ 3, 2, 1, 1 ],
[ 7, 5, 5, -43 ],
[ 1, 0, 1, 0 ],
[ 2, -1, 0, 1 ],
[ 1, 3, 1, 1 ],
[ 3, -2, 1, -2 ],
[ 4, -3, 7, -5 ],
[ 1, -1, 2, 3 ],
[ 562, -884, 417, -1, -461 ],
[ 1, 2, 4, 3 ],
[ 12, 396, 1304, -4532, 385 ],
[ 3, 1, 3, 4 ],
[ -8, -652, 17, -884, 200 ],
[ 52, 56, 589, -166, 3388 ],
[ 0, 1, 0, 1 ],
[ 1, 0, 1, -1 ],
[ 3 ],
[ 11, 17, 13, 14 ],
[ 77, -57, 423, -43 ],
[ 537, -38, 1037, 1148, 1780 ],
[ 1, 3, 1, -1 ],
[ 1485129, -240338, 2883330, 2815511 ],
[ 2, 29 ],
[ 3, 5, 1, -3 ],
[ -311, 598, -2592, 282, 2475 ],
[ 1, -1, 1, 0 ],
[ 46, -87, 147, 382 ],
[ 19 ],
[ -1, 2 ],
[ 2, -3, 4, 1 ],
[ 1, 1, 1, -3 ],
[ -1 ],
[ 353, 1302, 383, 422 ],
[ 73, 278, 907, -6, 1429 ],
[ 7 ],
[ 41, 2306, 2547, 2058, 3141 ],
[ 5, 16, 641, -529, 21 ],
[ 3, -1, 1, 1 ],
[ 13, 16, 3, -11 ],
[ 1, 1, 1, 1 ],
[ 356, 278, 838, -662, -4166 ],
[ 3, -1, 2, -1 ],
[ 3, 1, 5, 7 ],
[ 13, -12, 3, -8 ],
[ 1, 0, 2, -1 ],
[ 1, 1, 0, 1 ],
[ 4, -1, 2, 1 ],
[ 1, -1, 4, -3 ],
[ 7, 33, 11, 12 ],
[ 140, -4, 869, -998, -71 ],
[ 4, -1, 21, -10 ],
[ 1, 2, 1, -2 ],
[ 3, 4, 1, 1 ],
[ 2 ],
[ 311611, 193439, 15674, -859657 ],
[ 1, -2, 1, 1 ],
[ 5 ],
[ 0, 1, 1, 1 ],
[ 0, 1, 1, 2 ],
[ 3, 2, 0, 1 ],
[ 43581495, -12309733, 66334385, 33414146 ],
[ 45, 22, 4, 13 ],
[ 1, 2, 1, -1 ],
[ 4, 11, 13, -6 ],
[ 0, 1, 1, 2 ],
[ 1, 0, 1, 0 ],
[ 1, -4, 1, -1 ],
[ 1, 1, 1, 1 ],
[ 1, 1, 0, 1 ],
[ -559, -854, 3421, 1280, 1968 ],
[ 26, 17, 3, 4 ],
[ 6, -1, 5, -9 ],
[ 47, 51, 121, -59 ],
[ 17, 15, 2, 5 ],
[ 1, -1, 1, -1 ],
[ 1, -1, 0, 1 ],
[ 1, 1, 1, -1 ],
[ 1, 7, 5, 8 ],
[ 22, 35, 22, -15 ],
[ 1, -7, 5, -4 ],
[ -272, 1728, -815, 686, 1785 ],
[ 1956, 852, 773, 228, 1940 ],
[ 1, 0, 1, 0 ],
[ 1, 1, 1, -2 ],
[ 0, 1, 1, 0 ],
[ 564, 2064, 3681, -60, 2724 ],
[ 1, 1, 5, -2 ],
[ 3, -1, 7, -8 ],
[ 280121, 172092, 69767, 135574 ],
[ 9, -7, 4, 1 ],
[ 720, 424, -231, -252, 2724 ],
[ 1, -1, 4, -3 ],
[ 829, -186, -91, 3004, -528 ],
[ 0, 1, 1, 0 ],
[ 1, -3, 2, -1 ],
[ 2, -1, 1, -2 ],
[ 1, -1, 0, 1 ],
[ 5998800628516423107297133082973646629266881508307007941326966876023, 
342294900150114936634770190317380320064921533929615189995360150770683, 
246468494594162038245191010835877699291643209107952263886240062422805, 
-206172926328604047309514129427033995615708844556361901784128916991449 ],
[ 10, -9, 8, -9 ],
[ 23, 3, 69, 28 ],
[ 1, -1, 1, 0 ],
[ 4, -1, 3, 1 ],
[ -1 ],
[ -1, 3 ],
[ 1, 0, 1, 0 ],
[ 1, 0, 1, 0 ],
[ 1, 2, 2, -3 ],
[ -384, 596, 64, 1824, 4169 ],
[ 0, 1, 1, 0 ],
[ 134, 253, 697, 81, 140 ],
[ 3 ],
[ 48, 8, -1295, -916, -356 ],
[ -535, -30, 99, 814, 1821 ],
[ 3 ],
[ 139 ],
[ 1, 2, 1, -2 ],
[ 1, 0, 1, 2 ],
[ 22, 334, 3034, 1786, 348 ],
[ 4, 7, 4, 3 ],
[ -7, 438, -403, 809, -608 ],
[ 516, 364, 545, -2062, 1201 ],
[ 0, 1, 1, 1 ],
[ 1, 2, 2, -1 ],
[ 2 ],
[ -32, 40, -547, 408, 9896 ],
[ 448, 520, -631, -464, 880 ],
[ 1304, 68, -2771, 1790, 1825 ],
[ 120, 24, 345, 18, 4929 ],
[ 1, 0, 1, -2 ],
[ 0, 1, 1, 0 ],
[ 1, -1, 0, 1 ],
[ 2325, 539, 6114, 2777 ],
[ 505, 1184, 170, 6636, -451 ],
[ 2, -3, 4, -5 ],
[ 7, 2, 5, -4 ],
[ 1, 2, 1, -3 ],
[ -30, 628, 249, 272, 397 ],
[ 6, 7, 4, 3 ],
[ 0, 1, 2, -3 ],
[ 29, 168, 109, 120, -35 ],
[ 1, 1, 3, -1 ],
[ 2 ],
[ 37, -190, 96, 714, 577 ],
[ 5, -2, 2, -1 ],
[ -1 ],
[ 1, -1, 5, -2 ],
[ 1, 0, 4, 3 ],
[ 2 ],
[ 3, -2, 1, -2 ],
[ 13, -77, 89, 47 ],
[ -5, 70, 4, 11866, 4901 ],
[ 9, -7, 1, 2 ],
[ 3 ],
[ 7, -13, 3, 44 ],
[ 85, -181, 299, 271 ],
[ 10, 1, 31, -7 ],
[ 504, 216, 745, -410, -983 ],
[ 96, 388, 49, 2374, -767 ],
[ -303, 1206, -99, 652, 2720 ],
[ 133, 219, 165, 377 ],
[ 77, 445, -524, 105, 698 ],
[ -1 ],
[ 1, 1, 0, 1 ],
[ 1, -1, 1, 0 ],
[ 1, 1, 1, 0 ],
[ 1, 1, 1, 2 ],
[ 3, 8, 2, -1 ],
[ 29, 5, 8, 7 ],
[ 189, -83, 746, -137 ],
[ 23, -18, 6, 5 ],
[ 3, 17, 1, -13 ],
[ 41, 4, 6, 137, -818 ],
[ 163 ],
[ 83, 61, 200, 77 ],
[ 3, 5 ],
[ 2, -1, 0, 1 ],
[ 1, -1, 1, 0 ],
[ 1, 2, 5, 6 ],
[ 2, -1, 0, 1 ],
[ 26, -204, 670, -92, -71 ],
[ 588, -224, 29, 770, -3527 ],
[ 136, 654, 651, -524, 97 ],
[ 1, -1, 1, 1 ],
[ 1, -1, 1, 0 ],
[ 1, 292, 49, -135 ],
[ 1, 0, 1, 2 ],
[ 5, 7, 4, 33 ],
[ 0, 1, 0, 1 ],
[ 2 ],
[ 1, 0, 1, 1 ],
[ 2, -1, 2, -1 ],
[ -59, 958, 395, -506, -559 ],
[ -62, -10, 868, -17, -819 ],
[ 3 ],
[ 92, -95, 818, -465, 1195 ],
[ -1 ],
[ 1, -4, 4, -5 ],
[ 2, 1, 1, 3 ],
[ 1, -2, 2, -1 ],
[ 412, 812, -555, 3838, 3177 ],
[ 4391, -827, 4710, -49 ],
[ 23 ],
[ 64, 193, 13, 113 ],
[ 0, 1, 1, -3 ],
[ -1 ],
[ 6, -7, 2, -3 ],
[ 5, -1, 1, -1 ],
[ 1, -1, 1, -2 ],
[ -468, 52, 965, 854, 689 ],
[ 2, -17, 15, 37 ],
[ 3 ],
[ -640, -544, 3049, 250, -975 ],
[ 1, 0, 0, 1 ],
[ 3 ],
[ 1, 0, 0, 1 ],
[ 0, 1, 1, 1 ],
[ 1, 7, 2, 5 ],
[ 5, -3, 3, 2 ],
[ 1, 0, 0, 1 ],
[ 460978670, -186367667, 129282148, -150475005 ],
[ 5, -1, 1, -3 ],
[ 1, 0, 0, 1 ],
[ 3 ],
[ 1509, -1843, 41, 535 ],
[ 1, 2, 1, -1 ],
[ 7, 15, 54, -5 ],
[ 2, -1, 1, -2 ],
[ 7 ],
[ 37, 86, 949, -228, 125304 ],
[ 46, 4, -264, -590, 757 ],
[ 1, 0, 1, 0 ],
[ -124, -824, 573, -2, 1405 ],
[ 38461, 4843, 9193, -2058 ],
[ 3, 1, 1, 0 ],
[ 5, 9, 1, 4 ],
[ 0, 1, 2, 3 ],
[ 2, -1, 2, 1 ],
[ 473, -94, -1191, -1348, 492 ],
[ 2 ],
[ 0, 1, 0, 1 ],
[ 365, 541, 155, 13 ],
[ 865, 3098, 6541, -496, -1040 ],
[ -284, 360, -844, 4410, 4344 ],
[ 0, 1, 1, 1 ],
[ -224, 728, 853, 6882, 8613 ],
[ 13 ],
[ 1, 5, 1, 0 ],
[ 3, 7, 2, 1 ],
[ 2, -3, 1, -3 ],
[ 5, 1, 8, -13 ],
[ 1, 0, 0, 1 ],
[ 4, 5, 1, 8 ],
[ 3, -2, 1, 1 ],
[ 87, 1874, -1840, -1896, 580 ],
[ 20, -9, 17, -2 ],
[ 5 ],
[ 1, -1, 1, 0 ],
[ 5274, -32011, 9986, 18467 ],
[ -11, 86, 1587, 538, -7 ],
[ 1, -1, 1, 1 ],
[ 769, 2, -993, -430, -1307 ],
[ 6, 13, 28, 19 ],
[ 2, -3, 2, -5 ],
[ 2 ],
[ 329, 1222, 559, 458, -2351 ],
[ 7 ],
[ 1, 0, 1, 1 ],
[ -32, 608, -23, 14646, 5469 ],
[ 19, 5, 330, 387, 252 ],
[ 67048799, 4735924, 232977852, 257113355 ],
[ 1, 0, 1, -1 ],
[ 0, 1, 1, 1 ],
[ 651, 431, 20, 187 ],
[ 2, -1, 1, 0 ],
[ 1, 2, 3, 1 ],
[ 1, 1, 1, 1 ],
[ -125, -653, 384, -1459, 905 ],
[ 48, -536, 6685, 8876, 3252 ],
[ 0, 2, 6, 1, 2, -4, 1, -2, -2, 2, 4, 3, 2, 5, 0, 6, -2, 0, 3, 3 ],
[ 0, 1, 1, 1, 0, 2, -1, 0, -1, 1, 6, 0, 2, 5, 9, 0, 4, 17, -3, -7 ],
[ 101, -5, 12, 25 ],
[ -23, -514, 595, 394, 22057 ],
[ 5, -22, 8, 1 ],
[ 5 ],
[ 97 ],
[ 1, -3, 7, 4 ],
[ 0, 1, 1, 2 ],
[ 2, 1, 1, 1 ],
[ -64, 776, 1513, 2560, 304 ],
[ 2 ],
[ 35, -1, 3, -25 ],
[ 0, 1, 1, -1 ],
[ 3 ],
[ 13 ],
[ 1, 1, 5, 2 ],
[ 848, 5360, 6025, 372, 868 ],
[ 40, 60, 4197, 1564, 88876 ],
[ -1 ],
[ 31, 37, 5, 21 ],
[ 1, 0, 1, 0 ],
[ 12657, 5123, 7691, 16543 ],
[ -12, 36, 5364, -2344, -59 ],
[ 40, 89, 13, -14 ],
[ -555, 20, -2900, 2744, 1492 ],
[ 10, 2, 252, -19, 399 ],
[ -252, 168, 700, 2082, 7074 ],
[ 1, 2, 1, 0 ],
[ -60, 84, -260, 1056, 789 ],
[ 715, 1579, 983, 1208 ],
[ 11, 10, 1, -5 ],
[ 3 ],
[ 3396, -3751, 2219, -10495 ],
[ 2, 1, 0, 1 ],
[ 22, -7, 10, -11 ],
[ 292, 84, -603, 1130, -2399 ],
[ 1, 0, 0, 1 ],
[ 27, 11, -416, -23, 1593 ],
[ -1 ],
[ 1, 0, 3, 2, -1, 0, 1, -2, 0, -3, 0, 2, -1, -7, 4, 4, 5, -7, 0, 3 ],
[ 16, -3, 51, 1 ],
[ 0, 1, 1, 1 ],
[ 1, 1, 1, 5, 1, -2, 5, -1, 3, 2, 4, 2, -1, -1, 4, 9, -2, 4, 11, -2 ],
[ 1, -1, 1, -1 ],
[ 18, -34, 4479, 8564, 95937 ],
[ 9, 7, 54, 17 ],
[ 73, 46, 3067, 1222, 4677 ],
[ -59, -206, -831, 3868, -32 ],
[ 104, -51, 43, -30 ],
[ 98, 101, 115, -19 ],
[ 2 ],
[ 0, 1, 1, -1 ],
[ 1, -9, 11, -6 ],
[ 12, 1, 3, 8 ],
[ 11, -3, 10, 19 ],
[ 1, -2, 1, 1 ],
[ 3, 5, 7, 18 ],
[ 1, 1, 1, -2 ],
[ 420, 3420, 229, 42, 1473 ],
[ 1, 2, 3, 1 ],
[ 1, -1, 1, -1 ],
[ 10, 7, 1, 3 ],
[ 1, -10, 38, -51 ],
[ 1, -3, 3, 2 ],
[ 5 ],
[ 102892, 246637, 17685, 56858 ],
[ 1, 0, 1, 1 ],
[ 0, 1, 1, 0 ],
[ 1, 3, 2, 1 ],
[ 33, 62, 41, 8 ],
[ 5, -2, 1, -1 ],
[ 2, -59, 34, -35 ],
[ 0, 1, 3, -2 ],
[ 1, 1, 2, -1 ],
[ 33, 702, 153, -9156, 3556 ],
[ 1, 0, 2, 3 ],
[ 1, 1, 1, 1 ],
[ 1, 2, 3, -7 ],
[ 8, 3, 3, 4 ],
[ 7, 4, 1, 2 ],
[ 11, 4, 11, 5 ],
[ 2, -3, 9, 10 ],
[ 2, -3, 5, -2 ],
[ 1, -1, 0, 1 ],
[ 4, -3, 3, 1 ],
[ -80, -130, 975, 5, 229 ],
[ -31, 494, -36, -50, 424 ],
[ 0, 1, 1, -1 ],
[ 1, -1, 1, 0 ],
[ 2, -5, 1, 1 ],
[ 3, -1, 2, -3 ],
[ 2, 1, 3, 2 ],
[ 2 ],
[ 6, -7, 1, -2 ],
[ 17, -13, 45, 7 ],
[ 2, 9, 1, 3 ],
[],
[ 9, -16, 21, 2 ],
[ 0, 1, 2, 3 ],
[ 1, 0, 1, -2 ],
[ 11, -295, -2, -2810, 1312 ],
[ 24, -692, 1396, 984, 33 ],
[ 177, 78, 875, 42, 3205 ],
[ -15, -4, -170, 1213, 550 ],
[ 17 ],
[ 3, -2, 5, -3 ],
[ 1, 0, 2, 1 ],
[ -1 ],
[ 1, -54, 81, -64 ],
[ 1, 1, 2, -1 ],
[ 1, 0, 0, 1 ],
[ 5, 4, 3, 4 ],
[ 1, -1, 1, -1 ],
[ 3, -1, 1, 2 ],
[ 3, -2, 1, -2 ],
[ 3 ],
[ 52, 84, -995, -22, 5637 ],
[ 849, 2680, 793, 526 ],
[ 7, 6, 11, 14 ],
[ 1, 1, 1, 1 ],
[ 20, 41, 37, 32 ],
[ 1, 0, 1, -2 ],
[ 1, -2, 3, 2 ],
[ 0, 1, 0, 1 ],
[ 2, 1, 1, -3 ],
[ 1, 2, 1, 2 ],
[ 288, 8, 725, 5106, -1515 ],
[ 0, 1, 0, 1 ],
[ 1, -2, 1, -1 ],
[ -54, 880, 316, -1104, 2782 ],
[ 0, 1, 0, 1 ],
[ 1, 1, 2, -1 ],
[ 103, -7, 78, -5 ],
[ 0, 0, 2, 2, 1, -2, -2, 1, 2, -1, 5, 1, 5, 1, 1, -4, 8, -2, 2, -4 ],
[ 2 ],
[ 0, 1, 0, 1 ],
[ 11 ],
[ 1, -2, 2, -1 ],
[ 2, -1, 11, 9 ],
[ -1 ],
[ 1, 1, 5, 3 ],
[ 44, 38, 2892, -1256, 740 ],
[ 94, -29, 19, -113, -510 ],
[ 1, 0, 1, 0 ],
[ 9, 5, 13, -3 ],
[ 1, 0, 1, -2 ],
[ 1636, -32, -3820, 426, 1994 ],
[ 1, 0, 1, 1 ],
[ 2, 5, 1, -15 ],
[ 1906, 5003, 3065, 3957 ],
[ 0, 1, 1, 1, 3, -1, -3, -3, 0, 4, 2, -2, 2, 1, 0, -9, 1, 0, -5, -3 ],
[ 1, 0, 1, 0 ],
[ 2, -7, 4, 1 ],
[ 2686713372206861, -7625244541349334, 12929042206443571, -13030818890070739 ],
[ 1, 2, 1, 1 ],
[ 5 ],
[ 3, 1, 1, -1 ],
[ 2 ],
[ 3, 1, 6, -1 ],
[ 1, 0, 2, -1 ],
[ 3, -2, 0, 1 ],
[ 11, -14, 52, -15 ],
[ 4, 1, 3, -5 ],
[ 145751, -682656, 496574, -451895 ],
[ 1, 0, 1, -3 ],
[ 1, 0, 1, 0 ],
[ -44, 652, 261, 710, 2625 ],
[ 2 ],
[ 7, 5, 1, 8 ],
[ 1, 0, 1, 0 ],
[ 1, 0, 2, -1 ],
[ 949, 138, 1475, -494, -3887 ],
[ 49, 118, 557, 133 ],
[ 1, 0, 1, 0 ],
[ -1, 46, 152, 43424, 60420 ],
[ 28, 16, 6337, 9448, 191508 ],
[ 1, 0, 1, 1 ],
[ -79, 1698, -903, 5920, 96 ],
[ 1, 1, 0, 1 ],
[ 1, 2, 7, 1 ],
[ 52, 7, 89, -73, 142 ],
[ 3 ],
[ 1, 22, 19, -7 ],
[ 1, 0, 1, 0 ],
[ 1, -2, 3, -1 ],
[ -30, -99, -173, -936, 7398 ],
[ 13, -10, 6, 5 ],
[ -1 ],
[ 1, 0, 1, -1 ],
[ 1273, -1695, 514, -219 ],
[ 106, -114, 227, -86, 713 ]
];

rank_data := [
<3, 3, 3, [ 56, 66, -24 ]>,
<5, 3, 3, [ 17, 9, 2569 ]>,
<6, 6, 6, [ -323, 130, 76, -260, -116, -410 ]>,
<3, 3, 3, [ -269, 41353/49, 89272/49 ]>,
<3, 1, 1, [ 5 ]>,
<3, 3, 3, [ 228, 88, 37676831349592/7573698729 ]>,
<3, 3, 3, [ 108, 395, 52562/121 ]>,
<4, 2, 2, [ 483, 533 ]>,
<4, 4, 4, [ 515, 16067, 6223/4, 140155/196 ]>,
<3, 3, 3, [ 511, 7725/4, -70339/196 ]>,
<4, 2, 2, [ 48, 15329/64 ]>,
<3, 3, 3, [ -293, 34064/49, -17519/64 ]>,
<4, 4, 4, [ 40, -905, 147754/169, -1517870264/7480225 ]>,
<2, 2, 2, [ -869, 264958/121 ]>,
<4, 4, 4, [ 51, 17203/9, 1525/9, 183/4 ]>,
<1, 1, 1, [ 349 ]>,
<3, 3, 3, [ 246, 22054/9, 22003732690445557734/18032290146315769 ]>,
<2, 2, 2, [ -475, -162981896584447/347148391249 ]>,
<4, 2, 2, [ 684, 884 ]>,
<4, 4, 4, [ -286, -55, -310, -7864/25 ]>,
<3, 3, 3, [ 830, 393, 4471292/1681 ]>,
<4, 2, 2, [ -87, 6305551534701/2387592769 ]>,
<4, 4, 4, [ -213, 454819/9, 10743, -1793919/4096 ]>,
<4, 4, 4, [ 737, 205, -29069/49, 7015/81 ]>,
<3, 3, 3, [ 349, 187, -380 ]>,
<3, 3, 3, [ -162, 432, 125392/9 ]>,
<4, 2, 2, [ 220, 27511841020450/80157500641 ]>,
<4, 4, 4, [ -322, 146, 902, -5489/36 ]>,
<3, 3, 3, [ 69, 48393/49, 50312/121 ]>,
<3, 3, 3, [ -433, 728, 813247/289 ]>,
<3, 3, 3, [ -284, -5919/16, 731558092690240984/52931576117281 ]>,
<2, 2, 2, [ 130, 5347567/1521 ]>,
<3, 1, 1, [ -166 ]>,
<4, 2, 2, [ -163, 7086 ]>,
<2, 2, 2, [ -69, 353401745344928159326804305319/853522619199519356492290209 ]>,
<4, 4, 4, [ -205, -645, -1577/9, -378393/841 ]>,
<3, 1, 1, [ 24 ]>,
<3, 3, 3, [ -674, 100574, -17606/25 ]>,
<2, 2, 2, [ 57, -218519/625 ]>,
<4, 2, 2, [ -241, -405 ]>,
<4, 2, 2, [ 6, 53 ]>,
<3, 3, 3, [ 222, 285, 201 ]>,
<4, 4, 4, [ 39, 51, 3497/16, 884 ]>,
<4, 4, 4, [ 341, 1838, 3256/9, 115829621/11236 ]>,
<4, 4, 4, [ 788, -2708/9, 2357/4, 2221/4 ]>,
<4, 2, 2, [ 374, -211 ]>,
<5, 3, 3, [ -101, -120, -92 ]>,
<5, 3, 3, [ 87, 7, 168493/3249 ]>,
<3, 3, 3, [ -259, -44, 281374/729 ]>,
<2, 2, 2, [ -334, -1811950/6241 ]>,
<3, 3, 3, [ -297, -213, -431757/841 ]>,
<3, 3, 3, [ 291, 3951, 526535324767667470921/982444457105623044 ]>,
<3, 3, 3, [ 482, 108773/121, 397147745/508369 ]>,
<2, 2, 2, [ 97, -247567302900443/177613220319921 ]>,
<3, 3, 3, [ 61, 6905137/9216, 7032914437/2882186596 ]>,
<3, 3, 3, [ 117, 217, 6529/9 ]>,
<2, 2, 2, [ 0, 175 ]>,
<2, 2, 2, [ 460, 1951107640515086193145/8021609068126096 ]>,
<3, 3, 3, [ 295, 4217515/7921, 1505975/1681 ]>,
<2, 2, 2, [ -511, -16595143/22201 ]>,
<4, 4, 4, [ -258, 600, -24, -183 ]>,
<4, 4, 4, [ 2852, 1323/4, 178, 294 ]>,
<3, 1, 1, [ 115 ]>,
<3, 3, 3, [ -397, -309, -1211311/10609 ]>,
<5, 3, 3, [ -137, -155, -295 ]>,
<2, 2, 2, [ 178, 12580344174 ]>,
<5, 3, 3, [ 255, 189, 1839 ]>,
<4, 2, 2, [ 1035, -649 ]>,
<4, 2, 2, [ 129, 593378409/1132096 ]>,
<3, 1, 1, [ -272 ]>,
<4, 2, 2, [ 509, 11580947/27556 ]>,
<4, 2, 2, [ -8, 2714/25 ]>,
<3, 3, 3, [ -98, -71, -15974/361 ]>,
<4, 2, 2, [ -431, -369 ]>,
<4, 4, 4, [ 127/4, 131, 61, -163 ]>,
<3, 1, 1, [ 411 ]>,
<3, 3, 3, [ -55, 176, 2065/9 ]>,
<4, 4, 4, [ 122, 320, 42537, 176421/100 ]>,
<4, 4, 4, [ -151, 7, 755, -95 ]>,
<3, 1, 1, [ 373 ]>,
<2, 2, 2, [ 37, -77891/225 ]>,
<2, 2, 2, [ 573, 7022251339652628063591/11742405400862842225 ]>,
<4, 2, 2, [ -118, 7373 ]>,
<2, 2, 2, [ 123, 29821003/7921 ]>,
<5, 5, 5, [ -505, 215, -559, -19, 35 ]>,
<4, 2, 2, [ -657, -582 ]>,
<3, 3, 3, [ 564, 636, 655764 ]>,
<4, 2, 2, [ 389, 199161/1024 ]>,
<2, 2, 2, [ -210, -238127/1156 ]>,
<2, 2, 2, [ 918, 7223652/2401 ]>,
<2, 2, 2, [ 321, 915561783220722095082887488091518281409395619385595927992376/1\
508372552749829174060219363693150061966731290648464130921 ]>,
<3, 1, 1, [ 77 ]>,
<5, 5, 5, [ -162, -235, -215, 1705/4, -5346/25 ]>,
<2, 2, 2, [ -124, 745 ]>,
<4, 2, 2, [ -322, -14524/49 ]>,
<1, 1, 1, [ -96 ]>,
<3, 3, 3, [ 188, -40, -292 ]>,
<3, 1, 1, [ 412 ]>,
<3, 3, 1, [ 71 ]>,
<3, 3, 3, [ -65, 2037284/25, 30071524794535302835/11739571027188601 ]>,
<3, 3, 3, [ -68, 391, 139488428465664388444/10637993888703801 ]>,
<2, 2, 2, [ 6, -669/4 ]>,
<4, 4, 4, [ 229, 355, 4735/9, 4411/25 ]>,
<3, 3, 3, [ -149, -1, -1057279/7225 ]>,
<2, 2, 2, [ 510, 38783/4 ]>,
<3, 3, 3, [ -277, -165, 11574/625 ]>,
<4, 4, 4, [ 1143/4, 87, -288, 15510435/11449 ]>,
<1, 1, 1, [ 105 ]>,
<3, 3, 3, [ 441, 351, 669/4 ]>,
<3, 3, 3, [ 277, -51, 360609/25 ]>,
<3, 1, 1, [ -119 ]>,
<3, 3, 3, [ 131, -265, -11950165/51529 ]>,
<3, 3, 3, [ 83, -142, -362 ]>,
<3, 3, 3, [ -126, -100877/729, 2415051/11449 ]>,
<3, 1, 1, [ -284 ]>,
<2, 2, 2, [ 562, 1877/4 ]>,
<3, 3, 3, [ 20, -316, 19076/49 ]>,
<2, 2, 2, [ 668, 4986 ]>,
<3, 1, 1, [ 359 ]>,
<4, 2, 2, [ 1509, -511 ]>,
<3, 3, 3, [ -175, 1988, -28 ]>,
<5, 3, 3, [ 41, 227, -355 ]>,
<2, 2, 2, [ 17, 108748/81 ]>,
<2, 2, 2, [ 83, 61073/529 ]>,
<3, 3, 3, [ -81, -3636/25, -20139367592/137663289 ]>,
<3, 3, 3, [ -268, -54, 11874/25 ]>,
<2, 2, 2, [ 39, -799857/2209 ]>,
<2, 2, 2, [ 708, -171779485511/717436225 ]>,
<4, 2, 2, [ 1022, 518 ]>,
<4, 4, 4, [ 27, 1203, 2379, -677/9 ]>,
<3, 3, 3, [ -173, 5902, 4881 ]>,
<4, 4, 4, [ 187, 178, -137, -110 ]>,
<3, 1, 1, [ 174 ]>,
<5, 3, 3, [ -90, 926, 206 ]>,
<4, 2, 2, [ 201, 1605270737137381/2740478282721 ]>,
<3, 3, 3, [ 75, -317, 65613/121 ]>,
<3, 3, 3, [ -135, -29259/169, 1990521/64 ]>,
<4, 4, 4, [ -485, -81, 1141/4, 6781/25 ]>,
<3, 3, 3, [ 88, 208552/49, -35208/49 ]>,
<3, 3, 3, [ -244, 78094/9, 4295566/441 ]>,
<2, 2, 2, [ -432, 24349085983572958/56436319032921 ]>,
<4, 4, 4, [ 37, 99, 765, 135 ]>,
<3, 3, 3, [ -86, 282, -383 ]>,
<2, 2, 2, [ 17, 881/361 ]>,
<5, 5, 5, [ -46, 204, 306, 30, -322 ]>,
<4, 2, 2, [ 192, 5132 ]>,
<3, 3, 3, [ -138, -261, 317 ]>,
<3, 3, 3, [ 308, 303, 236327/841 ]>,
<4, 2, 2, [ 89, 959 ]>,
<4, 2, 2, [ -563, -72225299/99225 ]>,
<3, 3, 3, [ -161, 1654516591/154449, 59561551/676 ]>,
<3, 3, 3, [ 90, 910/9, 940 ]>,
<3, 3, 3, [ -191, 251601/529, 210689 ]>,
<3, 3, 3, [ 174, 308, -10236/25 ]>,
<3, 1, 1, [ -180 ]>,
<4, 2, 2, [ -295, 83 ]>,
<3, 3, 3, [ 288, -88, -15747173249614804/322759226181001 ]>,
<2, 2, 2, [ -93, -7381905045909200897/145452555624410329 ]>,
<5, 5, 5, [ 484, 979, 547, 2044, 537 ]>,
<5, 5, 5, [ 648, -90, 652, 981, 1152 ]>,
<4, 4, 4, [ 2773, 1003, 4543, 3259/25 ]>,
<3, 3, 3, [ 271, 69967/169, -1365764/4225 ]>,
<2, 2, 2, [ 267, 19962134745/11999296 ]>,
<3, 3, 3, [ -110, 181, 177895/841 ]>,
<4, 4, 4, [ -359, -296, 5106, 37510/81 ]>,
<4, 4, 4, [ 319, 683, 4015169/10000, -914997/2401 ]>,
<2, 2, 2, [ -74, -5394013633164427980492039937601677134203/24705688785246920256\
864808346306412004 ]>,
<3, 3, 3, [ 424, 38690/121, 21169/64 ]>,
<4, 4, 4, [ 186, 177, -255, -219 ]>,
<2, 2, 2, [ 345, 40555403760/66210769 ]>,
<3, 3, 3, [ -330, 103224/169, 199569996/912025 ]>,
<4, 2, 2, [ -614, 1830 ]>,
<3, 1, 1, [ 113 ]>,
<3, 1, 1, [ 57 ]>,
<2, 2, 2, [ -289, -2485622107/6980164 ]>,
<3, 3, 3, [ 225, 145, 1107241/5929 ]>,
<3, 3, 3, [ -48, 4510897/961, 510420/49 ]>,
<2, 2, 2, [ 219, 1011 ]>,
<3, 1, 1, [ -72 ]>,
<2, 2, 2, [ 19, 236632454723377/115982475844 ]>,
<3, 3, 3, [ 95, 113, 1103 ]>,
<2, 2, 2, [ 92, 95 ]>,
<2, 2, 2, [ 246, 1450594/6889 ]>,
<3, 1, 1, [ -290 ]>,
<2, 2, 2, [ -103, 25366/81 ]>,
<2, 2, 2, [ -211, 6397/9 ]>,
<3, 1, 1, [ 39 ]>,
<2, 2, 2, [ -64, 41001/25 ]>,
<3, 3, 3, [ -459, -1065363/2401, 3672/121 ]>,
<3, 3, 3, [ -496, -540, -49292/81 ]>,
<3, 1, 1, [ -241 ]>,
<2, 2, 2, [ -81, 514819/625 ]>,
<3, 3, 3, [ -378, -851886/2809, 3117877/17161 ]>,
<2, 2, 2, [ -278, -314 ]>,
<2, 2, 2, [ 22, 151 ]>,
<3, 3, 3, [ 122, 2530, 10909/25 ]>,
<3, 3, 3, [ -258, 902973/484, 932665465/1354896 ]>,
<4, 2, 2, [ -182, 66255690/66049 ]>,
<2, 2, 2, [ -119, 22591/4 ]>,
<2, 2, 2, [ -4, 32891041/34596 ]>,
<4, 4, 4, [ 451, 142, 184, 6574/81 ]>,
<2, 2, 2, [ 86, 115028/49 ]>,
<4, 4, 4, [ -396, -447, 924, 7635548/3481 ]>,
<3, 3, 3, [ -306, -222, 6132/169 ]>,
<3, 3, 3, [ -64, 346, -603950248048507755992/58575802934399997481 ]>,
<3, 3, 3, [ 417, 16448181/4624, 274899/196 ]>,
<1, 1, 1, [ 224 ]>,
<4, 4, 4, [ 650, 55, 1205, 35/4 ]>,
<3, 3, 3, [ 41, 30377/49, 10553/256 ]>,
<2, 2, 2, [ 430, 9715/9 ]>,
<5, 3, 3, [ -395, -281, 5530426/3249 ]>,
<3, 3, 3, [ -210, -666, -3164740326/5851561 ]>,
<1, 1, 1, [ 318 ]>,
<5, 5, 5, [ 499, 554, 563, 534, 638 ]>,
<1, 1, 1, [ 289 ]>,
<2, 2, 2, [ -101, 30888191/14884 ]>,
<2, 2, 2, [ 777, 33057606178756926135035/23234004191171289649 ]>,
<2, 2, 2, [ 135, 1935 ]>,
<2, 2, 2, [ 301, -2811707106731442664478299/6526633037823231075625 ]>,
<4, 2, 2, [ -179, -43 ]>,
<2, 2, 2, [ 238, 61867400773492211644081704785/2276305539843298085757184 ]>,
<2, 2, 2, [ 28, 212 ]>,
<4, 4, 4, [ -281, -345, 3251/4, -8916/25 ]>,
<2, 2, 2, [ 95, 3075128281/1030225 ]>,
<4, 2, 2, [ 81, 381 ]>,
<3, 3, 3, [ 32, 7036, 14024/25 ]>,
<3, 3, 3, [ 98, 304, 2012153/1681 ]>,
<3, 1, 1, [ -449 ]>,
<3, 1, 1, [ 239 ]>,
<2, 2, 2, [ -232, -549416/3249 ]>,
<4, 2, 2, [ -37, 803 ]>,
<3, 3, 3, [ -348, 163, 11012053/3481 ]>,
<3, 3, 3, [ -304, 38736/169, 2392536345998899/31229251524 ]>,
<1, 1, 1, [ 283 ]>,
<4, 2, 2, [ 222, 2469/4 ]>,
<4, 4, 4, [ -380, 136, -494, 4764 ]>,
<3, 3, 3, [ 89, 3598433/361, -838793/3844 ]>,
<4, 4, 4, [ -434, 616, -4046/9, -1424/9 ]>,
<3, 3, 3, [ 953, -184, -757656/3481 ]>,
<4, 4, 4, [ 139, -181, 2951, -3835/16 ]>,
<3, 1, 1, [ 96 ]>,
<3, 1, 1, [ -197 ]>,
<3, 1, 1, [ -568 ]>,
<1, 1, 1, [ 111 ]>,
<3, 3, 3, [ 52, 182, -481/25 ]>,
<2, 2, 2, [ -476, 2600233/1936 ]>,
<3, 1, 1, [ 385 ]>,
<3, 3, 3, [ -23, 1139, 1514982093049186922656/1388470749252528769 ]>,
<2, 2, 2, [ -19, 557/16 ]>,
<2, 2, 2, [ 567, 110305660114617/4489536016 ]>,
<2, 2, 2, [ 61, 943 ]>,
<2, 2, 2, [ -493, 575849/16 ]>,
<2, 2, 2, [ -153, 2945326/225 ]>,
<3, 1, 1, [ -711 ]>,
<3, 1, 1, [ 58 ]>,
<2, 2, 2, [ -327, 4901164513/5812921 ]>,
<3, 1, 1, [ -164 ]>,
<2, 2, 2, [ 698, 2856574204390/4485382729 ]>,
<4, 2, 2, [ 257, 23329708/7569 ]>,
<4, 2, 2, [ -380, 9460/9 ]>,
<3, 1, 1, [ -499 ]>,
<4, 4, 4, [ 615/4, 246, 2475/4, -3616/25 ]>,
<3, 3, 1, [ -460 ]>,
<1, 1, 1, [ -117 ]>,
<2, 2, 2, [ -1, -589 ]>,
<4, 4, 4, [ 368, 864, 90428/361, 569/16 ]>,
<3, 1, 1, [ -372 ]>,
<3, 1, 1, [ 41 ]>,
<4, 4, 4, [ -1749/4, -341, -421, 4349032100506640801/1564320529984 ]>,
<3, 3, 3, [ -129, -75, 3982749/27889 ]>,
<4, 4, 4, [ 973, -657, 171, 19971/25 ]>,
<4, 4, 4, [ -547, -2331/4, 10693/4, -4171491/7396 ]>,
<3, 1, 1, [ -30 ]>,
<3, 3, 3, [ -310, -2153/9, 3874523/361 ]>,
<3, 1, 1, [ -36 ]>,
<3, 1, 1, [ 102 ]>,
<3, 3, 3, [ 420, 13329/25, 35316/25 ]>,
<3, 3, 3, [ -523, -199, -93 ]>,
<4, 4, 4, [ -18, 136, -30, -32391/1600 ]>,
<3, 3, 3, [ 331, 403, 966053493/383161 ]>,
<2, 2, 2, [ 163, 68628843/36481 ]>,
<3, 1, 1, [ -199 ]>,
<4, 4, 4, [ 163, 277, 146, 431 ]>,
<4, 4, 4, [ -62, 413, -263, -317/4 ]>,
<2, 2, 2, [ 2513/4, 695 ]>,
<4, 2, 2, [ 230, -295 ]>,
<3, 3, 3, [ -80, 38, -1258398/6241 ]>,
<3, 1, 1, [ -411 ]>,
<3, 1, 1, [ 191 ]>,
<3, 3, 3, [ 302, 858, 414648972909461341/2420713603759504 ]>,
<2, 2, 2, [ -603, 335794/81 ]>,
<2, 2, 2, [ 620, 64652/169 ]>,
<3, 1, 1, [ 21 ]>,
<4, 4, 4, [ 153, 179, 29171/25, 954 ]>,
<2, 2, 2, [ -21, 523 ]>,
<3, 3, 3, [ 1, 36, 8946988924/237169 ]>,
<2, 2, 2, [ -245, -368 ]>,
<4, 4, 4, [ -176, 235485/169, 9409/16, -50051/324 ]>,
<4, 4, 4, [ 241, -41, 103, 6523/81 ]>,
<2, 2, 2, [ -47, 637 ]>,
<3, 1, 1, [ 84 ]>,
<2, 2, 2, [ 446, 45505799354870029538/137967354904664041 ]>,
<3, 3, 3, [ 413, 19141180945/16516096, 196794423/57121 ]>,
<3, 3, 3, [ 1251, 107, -15349/49 ]>,
<2, 2, 2, [ 36, 1561/4 ]>,
<1, 1, 1, [ 218 ]>,
<2, 2, 2, [ 302, 10839/25 ]>,
<4, 4, 4, [ -472, 466, 10987/4, 60272/121 ]>,
<4, 4, 4, [ 172, 283, 1306, 583036/121 ]>,
<2, 2, 2, [ 41, 1279/9 ]>,
<2, 2, 2, [ -430, 274264/1521 ]>,
<3, 3, 3, [ -32, -31664/625, 3712/9 ]>,
<2, 2, 2, [ 334, 616024/1849 ]>,
<3, 1, 1, [ 84 ]>,
<2, 2, 2, [ -313, 323225/361 ]>,
<3, 3, 3, [ 689, 792, 3215/121 ]>,
<3, 3, 3, [ 252, 22, 10854/49 ]>,
<3, 3, 3, [ 620, -45800/49, 20490/49 ]>,
<4, 2, 2, [ 393, 2589 ]>,
<3, 3, 3, [ 859, -541, 159 ]>,
<4, 4, 4, [ 269, 185, 2263/9, -439/16 ]>,
<4, 4, 4, [ 188, 12980, 42212, 41032235/676 ]>,
<3, 3, 3, [ 1347, 547, 79823/49 ]>,
<2, 2, 2, [ 241, -5890989/62500 ]>,
<2, 2, 2, [ -274, -264233535/1073296 ]>,
<3, 3, 3, [ 233, 16129/25, 44083/196 ]>,
<3, 3, 3, [ 562, 541, 3108 ]>,
<3, 1, 1, [ 82 ]>,
<2, 2, 2, [ 3, 47815/841 ]>,
<3, 1, 1, [ -37 ]>,
<3, 3, 3, [ -1169/4, -146, 16734/25 ]>,
<4, 2, 2, [ 266, 214 ]>,
<3, 3, 3, [ -98, 142, -33694051/187489 ]>,
<1, 1, 1, [ 66 ]>,
<4, 4, 4, [ -402, 370, 142, -2618638546/19669225 ]>,
<3, 3, 3, [ -157, 19947/49, -60873/289 ]>,
<2, 2, 2, [ -295, 3083532207682865/663886003264 ]>,
<3, 3, 3, [ -82, -1345/4, 34415147145265195645/31136560419980304 ]>,
<3, 3, 3, [ 203, 77323/729, -8265/49 ]>,
<2, 2, 2, [ 192, 173913 ]>,
<3, 3, 3, [ 143, -228, 1885/9 ]>,
<3, 3, 3, [ 1328, -568, -117671899630/186513649 ]>,
<4, 2, 2, [ 158, 81301409/258064 ]>,
<3, 1, 1, [ -558 ]>,
<3, 3, 3, [ -184, 65, 272 ]>,
<3, 3, 3, [ 21, 939, 36356167/531441 ]>,
<4, 2, 2, [ 106, 26821/36 ]>,
<4, 4, 4, [ -261, -252, -3401/36, 387919/1521 ]>,
<2, 2, 2, [ 251, 526 ]>,
<5, 5, 5, [ 90, 258, 27, 202, 402 ]>,
<3, 3, 3, [ 602, 592, 512561/484 ]>,
<2, 2, 2, [ 464, 16515452759/17547721 ]>,
<2, 2, 2, [ -77, 47346/25 ]>,
<3, 1, 1, [ -888 ]>,
<3, 3, 3, [ -223, -123, -15358/121 ]>,
<3, 3, 3, [ -150, 986, -96295998894/4863528121 ]>,
<3, 1, 1, [ 165 ]>,
<3, 3, 3, [ 450, 20737/64, 5548194/15625 ]>,
<3, 1, 1, [ 661 ]>,
<1, 1, 1, [ 154 ]>,
<3, 3, 3, [ 140, 614141/4, 35336/121 ]>,
<4, 4, 4, [ 338, 4, 16, 1289/4 ]>,
<3, 3, 3, [ -36, 100, 72 ]>,
<3, 1, 1, [ -45 ]>,
<2, 2, 2, [ 7, 751807204699276847555749/1591259911715348504100 ]>,
<4, 4, 4, [ 237, 471, -139, 3501 ]>,
<2, 2, 2, [ -59, 637/4 ]>,
<2, 2, 2, [ 16, -223904/841 ]>,
<3, 3, 3, [ 232, 141, 72004/81 ]>,
<3, 1, 1, [ -48 ]>,
<4, 4, 4, [ -371, -287, -23219/144, 31167/121 ]>,
<3, 3, 3, [ 642, 3346/9, 3122 ]>,
<2, 2, 2, [ -292, -554387442136644676964648576737037256339390437305168922357420\
17206957530704331169775963571259449429470345426101404683642388/7798313353901564\
9963058451535480995608334691114403724705851768733786526508224958750680353936880\
4542026988742485341486609 ]>,
<3, 3, 1, [ -556 ]>,
<3, 3, 3, [ 420, 608, 168604/441 ]>,
<4, 2, 2, [ -305, 1697 ]>,
<3, 3, 3, [ 178, 20184, 829 ]>,
<3, 3, 3, [ -303, 299257/576, 2898010545/88804 ]>,
<2, 2, 2, [ -20, 1 ]>,
<4, 2, 2, [ 422, 1250 ]>,
<3, 3, 3, [ 1555, -291, -40378806639/183602500 ]>,
<1, 1, 1, [ -51 ]>,
<3, 3, 3, [ -563, -435, -497900/529 ]>,
<2, 2, 2, [ -173, -1287/4 ]>,
<3, 3, 3, [ 37, 345, 2347/9 ]>,
<5, 3, 3, [ 420, 758, 366 ]>,
<5, 3, 3, [ -444, 396, 744 ]>,
<2, 2, 2, [ -139, -35920371693/147306769 ]>,
<5, 5, 5, [ 902, -488, -170, 4342, 210752/121 ]>,
<2, 2, 2, [ -387, -627903/2209 ]>,
<4, 2, 2, [ 371, 23063/169 ]>,
<3, 1, 1, [ 708 ]>,
<1, 1, 1, [ 353 ]>,
<3, 3, 3, [ -331, 2419, 2251/4 ]>,
<4, 2, 2, [ -178, 4945669/16900 ]>,
<3, 3, 3, [ 37/4, -143, 110749/529 ]>,
<5, 3, 3, [ 460, 2228695/4761, 190540/729 ]>,
<4, 4, 4, [ -27/4, -107/4, 415, 513 ]>,
<4, 4, 4, [ 166, 109, 59, 124 ]>,
<3, 3, 3, [ 385, 1, 2847205/36 ]>,
<3, 3, 3, [ 125, 1630, 1708445/3481 ]>,
<4, 4, 4, [ 17, -335, -263, -495/16 ]>,
<3, 3, 3, [ 9, 303, 57422/49 ]>,
<3, 1, 1, [ -382 ]>,
<5, 5, 5, [ 38, 98, 116, 3382/9, 191 ]>,
<2, 2, 2, [ -6, -61494/169 ]>,
<4, 2, 2, [ -211, 1519 ]>,
<4, 4, 4, [ 355, -450, 21316/25, -6341/9 ]>,
<2, 2, 2, [ 623, 1321409/2116 ]>,
<3, 3, 3, [ -454, 1234, 835211699/271441 ]>,
<4, 2, 2, [ -88, 7073/64 ]>,
<2, 2, 2, [ 486, 2781324496412342198128326/4503452111886904957225 ]>,
<3, 1, 1, [ -239 ]>,
<2, 2, 2, [ -206, 84550321/16129 ]>,
<4, 2, 2, [ 310, 242 ]>,
<2, 2, 2, [ -30, 6054362569/51451929 ]>,
<3, 3, 3, [ -677, 51, -4781/9 ]>,
<5, 3, 3, [ -395, 2715, -1635/4 ]>,
<4, 4, 4, [ 419, 790, 1041/4, 22691/49 ]>,
<4, 2, 2, [ 534, 127869981/51076 ]>,
<4, 2, 2, [ 189, 4719/25 ]>,
<3, 3, 3, [ 164, -5131632/6241, 489181332889/15025856400 ]>,
<4, 4, 4, [ 2177, -33, -6353887/6889, 1113901/9 ]>,
<4, 2, 2, [ -40, 5456376104/30880249 ]>,
<3, 3, 3, [ 119, 187595/49, 4828267969/5280804 ]>,
<3, 3, 3, [ -56, -181, -38641106/104329 ]>,
<3, 1, 1, [ -80 ]>,
<6, 6, 6, [ -181, 84, -229, 139, 227, 3216 ]>,
<3, 1, 1, [ -104 ]>,
<4, 2, 2, [ 346, -1151/4 ]>,
<3, 1, 1, [ -371 ]>,
<4, 4, 4, [ 356, 1421, 450, 3450 ]>,
<2, 2, 2, [ -548, 409148/169 ]>,
<3, 1, 1, [ -344 ]>,
<3, 3, 3, [ 263, 296, 499 ]>,
<2, 2, 2, [ -380, -1914431/5776 ]>,
<3, 1, 1, [ -107 ]>,
<4, 2, 2, [ 707, -205 ]>,
<3, 1, 1, [ -72 ]>,
<3, 3, 3, [ -322, -3321577/8836, 597365790332513/1050592200256 ]>,
<1, 1, 1, [ 648 ]>,
<4, 4, 4, [ -227, 817, -112283/529, 1437491379/305809 ]>,
<3, 3, 3, [ 336, 2558360/169, 501545184361/10240000 ]>,
<2, 2, 2, [ -251, 66683 ]>,
<4, 2, 2, [ 115, -490 ]>,
<4, 4, 4, [ -49, 1729, -467, 4036/9 ]>,
<4, 4, 4, [ 71, -28, 89, 47 ]>,
<3, 1, 1, [ 129 ]>,
<2, 2, 2, [ -129, 5716/9 ]>,
<3, 1, 1, [ 224 ]>,
<3, 3, 3, [ -97, 3439545/22201, 111769643/1156 ]>,
<3, 3, 3, [ 191, 21425/169, 6067091/25921 ]>,
<5, 5, 5, [ 85, -55, 11785, 185, 1465 ]>,
<3, 1, 1, [ -630 ]>,
<3, 3, 3, [ 611, -129, 116384776908/122522761 ]>,
<4, 4, 4, [ 89, 123, -367, -11605/49 ]>,
<3, 3, 3, [ 752, 50, 2080/9 ]>,
<4, 2, 2, [ 197, 138155816695913/3065034524176 ]>,
<3, 3, 3, [ -300, 23581/16, -3713064/14161 ]>,
<2, 2, 2, [ 36, 9453630062308001842019825837040526567976547435291444/3085010144\
6088435252183400994928413252695724538001 ]>,
<2, 2, 2, [ 18, -965/4 ]>,
<2, 2, 2, [ -122, 260205629333414985361/38727447064753216 ]>,
<4, 2, 2, [ -233, -31149108354738169146891713/172318791925418384589721 ]>,
<4, 4, 4, [ 356, 571, -716, 1397929/1444 ]>,
<3, 3, 3, [ 142, -402, -468 ]>,
<3, 3, 3, [ 3, -87, 291 ]>,
<3, 3, 3, [ 53, 55331, -2048/9 ]>,
<1, 1, 1, [ 86 ]>,
<1, 1, 1, [ 135 ]>,
<6, 6, 6, [ 355, 131, 246, -109, -417, -202 ]>,
<4, 4, 4, [ 199, 519, -681, 104061/4 ]>,
<3, 1, 1, [ -233 ]>,
<3, 3, 3, [ 119, -77, 157 ]>,
<5, 3, 3, [ 149, 18916/9, -251 ]>,
<3, 1, 1, [ -104 ]>,
<4, 4, 4, [ -341, 47, 373, 12427 ]>,
<3, 3, 3, [ -213, 1145, 36065442422461/178611890625 ]>,
<3, 3, 3, [ 210, 5306, -41699/100 ]>,
<2, 2, 2, [ 261, 150237987465173/278099077201 ]>,
<4, 4, 4, [ 187, 1768, 457708/121, 83626198/10201 ]>,
<4, 2, 2, [ 108, 9744/25 ]>,
<3, 3, 3, [ 163, 34, 92922218246/1626589561 ]>,
<4, 4, 4, [ -629/4, 135, -52, -10855/64 ]>,
<3, 3, 3, [ -170, 40, 70660423705/74753316 ]>,
<4, 4, 4, [ 42, -4172/9, 4078/9, -1566/25 ]>,
<4, 4, 4, [ 262, 9, 1044, 1983/4 ]>,
<2, 2, 2, [ 133, 96581/361 ]>,
<5, 5, 5, [ -48, 167, 208, 117, 147 ]>,
<2, 2, 2, [ 541, 9356308592834089064156804305239107945/662255022208211171826350\
8039588516 ]>,
<4, 4, 4, [ 358, 976, 106, 678718/81 ]>,
<3, 3, 3, [ -451, 29, 741161 ]>,
<3, 3, 3, [ 254, 356, 1964 ]>,
<4, 2, 2, [ -437, -194 ]>,
<1, 1, 1, [ 549 ]>,
<3, 3, 3, [ 8, 440, -147240428/328329 ]>,
<2, 2, 2, [ 784, 656334155800845025674424547214775/3559410099784844945138691860\
89 ]>,
<1, 1, 1, [ 73 ]>,
<2, 2, 2, [ -147, 6279233084079611490686925516913/6420443552541848014878172041 
]>,
<3, 3, 3, [ 664, 936, 17229469/6084 ]>,
<3, 1, 1, [ 209 ]>,
<5, 5, 5, [ -309, 597, -33, 537, -627 ]>,
<3, 3, 3, [ -371, 147757/196, 916405616/2647129 ]>,
<4, 2, 2, [ -760, -6413/9 ]>,
<4, 2, 2, [ 381, -697 ]>,
<3, 3, 3, [ 854, 89, 16469/16 ]>,
<1, 1, 1, [ 438 ]>,
<2, 2, 2, [ 375, 8156902/4489 ]>,
<4, 2, 2, [ 7, 157 ]>,
<3, 3, 3, [ -235, -46, -80196394/2053489 ]>,
<2, 2, 2, [ 459, 2269 ]>,
<4, 4, 4, [ 50, -28, 140, 10 ]>,
<3, 3, 3, [ 416, 13561, -201604/361 ]>,
<3, 3, 3, [ 404, -64, 463394/2401 ]>,
<5, 5, 5, [ 123, 399, 559, 207, -2133/49 ]>,
<3, 3, 3, [ 169, 207, 166189/1521 ]>,
<4, 4, 4, [ 1493, -297, -109, 201 ]>,
<2, 2, 2, [ 337, 158062240097/43533604 ]>,
<3, 3, 3, [ -314, -23, -860536/1849 ]>,
<3, 3, 3, [ -9, 3165/4, 217359/169 ]>,
<1, 1, 1, [ 37 ]>,
<6, 4, 4, [ -340, -404, 465, 969 ]>,
<3, 3, 3, [ 147, 817, 132573/169 ]>,
<3, 3, 3, [ 429, 139, 4231/9 ]>,
<4, 4, 4, [ 462, -53, 1648, 8974 ]>,
<4, 4, 4, [ -301, -199, -127, -252911/1089 ]>,
<2, 2, 2, [ 43, 77582153077927/310798445049 ]>,
<4, 4, 4, [ 344, 1004, 660632/1849, 28061817/478864 ]>,
<3, 3, 3, [ -483, -9291/25, 1850217957/418609 ]>,
<2, 2, 2, [ -160, -173687/841 ]>,
<1, 1, 1, [ -13 ]>,
<2, 2, 2, [ 31, 1199/49 ]>,
<3, 3, 3, [ -519, -678612831/1423249, 6215119905/2226064 ]>,
<4, 4, 4, [ 319, 53, 15631/4, 5021/25 ]>,
<3, 3, 3, [ 206, 347/4, 1538 ]>,
<3, 3, 3, [ 249, -351, 39033/49 ]>,
<3, 3, 3, [ 95, 53, 1459/4 ]>,
<4, 4, 4, [ 418, 931/4, 6823/36, 1224970/529 ]>,
<3, 3, 3, [ 414, 596, 12146/25 ]>,
<3, 1, 1, [ 68 ]>,
<4, 4, 4, [ -113, 137, 641, -75358/1369 ]>,
<3, 1, 1, [ 48 ]>,
<2, 2, 2, [ 105, 1146637/1764 ]>,
<3, 1, 1, [ 108 ]>,
<3, 1, 1, [ -668 ]>,
<3, 3, 3, [ 235, 148, 322 ]>,
<3, 3, 3, [ -92, 212917/324, 85691933809/14402025 ]>,
<2, 2, 2, [ 338, 51339672/9409 ]>,
<3, 3, 3, [ 826, 22414/25, 48124072/61009 ]>,
<3, 3, 3, [ 39, 839, 666284191213/4085510724 ]>,
<4, 2, 2, [ -351, -267 ]>,
<4, 4, 4, [ -81, 248, -202, -137 ]>,
<2, 2, 2, [ -257, 914652739200575783849469828472/500150446140956564599201521 ]>,
<2, 2, 2, [ 439, -489 ]>,
<2, 2, 2, [ 245, 731829 ]>,
<4, 2, 2, [ 399, 6993 ]>,
<3, 3, 3, [ -113, -1655/16, 1699/121 ]>,
<3, 3, 3, [ -317, -434, 16692443609289/13371915769 ]>,
<4, 2, 2, [ 709, 11719/4 ]>,
<1, 1, 1, [ 615 ]>,
<3, 3, 3, [ 59, 5115/4, 103941039/124609 ]>,
<3, 3, 3, [ 201, 2961, 29134/9 ]>,
<4, 2, 2, [ 877, 1909 ]>,
<3, 3, 3, [ -300, 143444/25, 1319130298371/29920900 ]>,
<6, 4, 4, [ 229, -33, -65, -183 ]>,
<1, 1, 1, [ 461 ]>,
<4, 2, 2, [ 146, -1689871982/4464769 ]>,
<4, 2, 2, [ -426, 146 ]>,
<2, 2, 2, [ -67, -69339/400 ]>,
<2, 2, 2, [ -307, -547243787/1879641 ]>,
<3, 3, 3, [ 164, 885/4, 1673/16 ]>,
<4, 2, 2, [ -139, 6098 ]>,
<4, 2, 2, [ 207, 1256989/225 ]>,
<3, 3, 3, [ 58, 366, 776440/1681 ]>,
<3, 3, 3, [ -77, 450467/289, -55802845/64009 ]>,
<3, 3, 3, [ -251, 154999/81, 3374499/361 ]>,
<2, 2, 2, [ -362, -731/25 ]>,
<3, 3, 3, [ 438, -110, 122025/64 ]>,
<3, 3, 3, [ 26, 5834, 951 ]>,
<3, 3, 3, [ 284, -155, 1181168089/172225 ]>,
<3, 1, 1, [ -157 ]>,
<2, 2, 2, [ 180, -14729682/253009 ]>,
<5, 5, 5, [ 469, -103, 865, -257, 2653/16 ]>,
<3, 3, 3, [ 373, 47710/121, 448228/1521 ]>,
<3, 3, 3, [ -282, -227, 1185/4 ]>,
<2, 2, 2, [ 542, 2759402488511727090552107589/4606169060096276501262736 ]>,
<3, 3, 3, [ -397, 3395, -1142573/2809 ]>,
<2, 2, 2, [ 159, -364 ]>,
<3, 3, 3, [ -92, -56, 4120 ]>,
<3, 3, 3, [ 601, -50, 3226 ]>,
<4, 4, 4, [ 746, 91081/121, 26161/36, 2641 ]>,
<2, 2, 2, [ -19, 253432079850479314992478522264362941/1437560723466425039077618\
2127684 ]>,
<2, 2, 2, [ -171, 9426657573/24078649 ]>,
<4, 4, 4, [ -303, -537, -4289/9, 112943/169 ]>,
<3, 3, 3, [ 288, 2836/25, -5004848/18769 ]>,
<4, 4, 4, [ 183, 126, -102, 702/49 ]>,
<4, 4, 4, [ 147, 2884, 189, 722 ]>,
<4, 2, 2, [ -118, 4165218/49 ]>,
<3, 3, 3, [ 70, 142, -269/4 ]>,
<2, 2, 2, [ -16, -411/16 ]>,
<3, 1, 1, [ 175 ]>,
<4, 4, 4, [ -123, 69, -444, -317461/529 ]>,
<3, 3, 3, [ -112, 1465, 2384713/2601 ]>,
<3, 3, 3, [ 2392, 302, 3995140278571/577392841 ]>,
<3, 3, 3, [ -547, 128885/169, -79993/169 ]>,
<5, 5, 5, [ -17, -185, 375, 487, -213 ]>,
<3, 3, 3, [ 222, 156768/169, 31349289356960937/71471198116096 ]>,
<2, 2, 2, [ 34, -168689/225 ]>,
<4, 4, 4, [ 745, 1053, 1915030/1369, -8773843/5329 ]>,
<2, 2, 2, [ -253, -11640147367/53042089 ]>,
<2, 2, 2, [ -487, 41628469/13689 ]>,
<3, 1, 1, [ -142 ]>,
<5, 3, 3, [ 2663, -339, 7549917/2401 ]>,
<2, 2, 2, [ 352, 2304 ]>,
<3, 3, 3, [ 3, 465, 93 ]>,
<3, 3, 3, [ -68, 76, 1507 ]>,
<3, 1, 1, [ -47 ]>,
<4, 4, 4, [ 155, 1845, 15291, 14578937/14161 ]>,
<3, 3, 3, [ -228, -97, -53770/1369 ]>,
<3, 3, 3, [ -791, -806, -55600909972290970012834329/132796779241637624783569 ]>,
<4, 2, 2, [ 580, 49442771/62500 ]>,
<3, 1, 1, [ -33 ]>,
<4, 4, 4, [ -296, 64, 1480, 24289/16 ]>,
<3, 1, 1, [ -415 ]>,
<3, 3, 3, [ 146, 110, 12225/16 ]>,
<3, 3, 3, [ 690, 3415/4, 861578/289 ]>,
<2, 2, 2, [ 348, 560 ]>,
<3, 3, 3, [ 159, 181959/1225, 868423/3249 ]>,
<2, 2, 2, [ -422, 6561520869630871059941042208701393291203994660256022794295322\
0630144177364287046396449194419927283792676020066935380379571339195606783984111\
0933397905339696213255413182924851912033960168275104556029878705649015350846442\
4299837284196706731195742705920396816009270816817736173486331/15995432152922572\
1788678258691890679923971643066690426826911849212378940834852706529170791503989\
2334180694425723566932708239680837062481936453326682438093184655838119343798291\
3532726267805900853202549585030199294669778298552647495599066916142641903785891\
17321661244359497325124 ]>,
<3, 3, 3, [ 125, 17405/4, 74293/196 ]>,
<2, 2, 2, [ -147, 30689006233/1806336 ]>,
<3, 3, 3, [ -454, -417, -1899/4 ]>,
<3, 3, 3, [ 389, -192, -51312/121 ]>,
<2, 2, 2, [ 319, 35925/16 ]>,
<4, 4, 4, [ 488, -294, 908, -3147/16 ]>,
<3, 3, 3, [ 419, 14719/25, -42389/169 ]>,
<5, 5, 5, [ 286, 325, -455, 3016, -689 ]>,
<4, 4, 4, [ -204, -259, -40, -7664/49 ]>,
<4, 2, 2, [ 213, -15 ]>,
<3, 3, 3, [ 13, 47, 927/121 ]>,
<6, 4, 4, [ -323, -446, -83, 9697 ]>,
<1, 1, 1, [ 73 ]>,
<5, 3, 3, [ 232, 270, 870 ]>,
<4, 2, 2, [ 26, 1576/9 ]>,
<1, 1, 1, [ 550 ]>,
<2, 2, 2, [ 2, 9491/4 ]>,
<2, 2, 2, [ 92, 5581183/361 ]>,
<2, 2, 2, [ 95, 1023671/169 ]>,
<4, 2, 2, [ 190, 210 ]>,
<2, 2, 2, [ -292, 13995/4 ]>,
<4, 2, 2, [ 600, 223 ]>,
<3, 1, 1, [ -507 ]>,
<3, 3, 3, [ 298, 170, 10522/49 ]>,
<3, 3, 3, [ -183, -157, -207 ]>,
<3, 1, 1, [ 347 ]>,
<3, 1, 1, [ 299 ]>,
<4, 2, 2, [ -331, 11449/81 ]>,
<4, 2, 2, [ -441, -837 ]>,
<3, 1, 1, [ -133 ]>,
<2, 2, 2, [ -33, 14025/16 ]>,
<3, 3, 3, [ -437, -1183/4, 25963/81 ]>,
<4, 4, 4, [ 79, 236, 164, 4294/25 ]>,
<2, 2, 2, [ -313, -963850001376819805/1744868989313641 ]>,
<3, 1, 1, [ -378 ]>,
<2, 2, 2, [ -36, -76116/1225 ]>,
<4, 4, 4, [ -231, -288923/1089, 226353397/248004, 380612425/1787569 ]>,
<5, 5, 5, [ 303, 150, 222, -507, -66 ]>,
<3, 1, 1, [ -371 ]>,
<2, 2, 2, [ 356, 1590299/4225 ]>,
<2, 2, 2, [ -445, -67109/169 ]>,
<3, 1, 1, [ 43 ]>,
<4, 4, 4, [ 1766, -742, -640, 6365 ]>,
<1, 1, 1, [ 460 ]>,
<4, 2, 2, [ -55, 514 ]>,
<2, 2, 2, [ 206, 261817/2304 ]>,
<2, 2, 2, [ 494, 2474 ]>,
<3, 3, 3, [ -156, 16777077/1444, 1297284/1225 ]>,
<4, 4, 4, [ 62, 77, -511, 13309/36 ]>,
<3, 3, 3, [ 321, 792387/361, 1443903/3844 ]>,
<3, 3, 3, [ 392, -184, -354056/1225 ]>,
<4, 4, 4, [ -395, -461, 1141586/361, -51407774/146689 ]>,
<4, 2, 2, [ 345, 5130 ]>,
<3, 3, 3, [ -389, 243424/121, -18500991/52900 ]>,
<3, 3, 3, [ 374, 204, 3549/16 ]>,
<3, 3, 3, [ -129, -120, -5941299/47524 ]>,
<2, 2, 2, [ -422, -1251274316867387/2570885146404 ]>,
<2, 2, 2, [ 142, 1029232918/1819801 ]>,
<3, 1, 1, [ -100 ]>,
<4, 2, 2, [ 222, -737/36 ]>,
<3, 1, 1, [ 50 ]>,
<3, 3, 3, [ 437, 815, 263934455274035/67299255241 ]>,
<5, 1, 1, [ 422 ]>,
<2, 2, 2, [ 463, 177091471/199809 ]>,
<2, 2, 2, [ 152, 2202 ]>,
<4, 4, 4, [ 1544, -436, -276, -535 ]>,
<3, 3, 3, [ 74, -61, 458 ]>,
<5, 5, 5, [ -461, 501, -335, -79379/225, 42155/169 ]>,
<3, 3, 3, [ 414, 946, 169774/81 ]>,
<2, 2, 2, [ -187, -1957768027/12837889 ]>,
<2, 2, 2, [ -299, 20799916039417/10559001049 ]>,
<3, 3, 3, [ -146, -454, -8207021/123201 ]>,
<3, 3, 3, [ -21, 24214/441, 6816799/13225 ]>,
<4, 2, 2, [ 150, 38765251/783225 ]>,
<2, 2, 2, [ -188, 18466/81 ]>,
<3, 3, 3, [ -244, 28576/121, 451042942/380689 ]>,
<2, 2, 2, [ -89, 608 ]>,
<3, 3, 3, [ 724, 181301/289, 41654311/4489 ]>,
<3, 3, 3, [ -37, 1, 163 ]>,
<3, 3, 3, [ 307, 7684/9, 9931/36 ]>,
<3, 3, 3, [ 356, 220, 1811 ]>,
<3, 1, 1, [ 247 ]>,
<3, 1, 1, [ 29 ]>,
<3, 1, 1, [ 450 ]>,
<2, 2, 2, [ -32, 815629/225 ]>,
<2, 2, 2, [ -116, 38448/841 ]>,
<2, 2, 2, [ 177, 5544631559589/9543336100 ]>,
<4, 4, 4, [ 1127, 95, 557, 139358/289 ]>,
<2, 2, 2, [ -54, -9957896/97969 ]>,
<5, 5, 5, [ -435, -475, -139, -155, -331 ]>,
<3, 3, 3, [ 122, 1378/9, 3323/4 ]>,
<3, 3, 3, [ -474, 573, 35079/49 ]>,
<5, 5, 5, [ -568, 705, -20, -275, -296 ]>,
<3, 1, 1, [ 276 ]>,
<4, 2, 2, [ -362, -3754346/18225 ]>,
<4, 4, 4, [ 978, -830, -398, -390 ]>,
<3, 1, 1, [ -434 ]>,
<2, 2, 2, [ 271, 15127047856/38675961 ]>,
<3, 3, 3, [ 1581, -551, 27271308/8281 ]>,
<2, 2, 2, [ 1, 45004/49 ]>,
<4, 4, 4, [ -350, 215, -721/4, 7125290/32761 ]>,
<4, 2, 2, [ -613, 4168093451/223729 ]>,
<2, 2, 2, [ 403, 217160113032337106338/316041689696277609 ]>,
<1, 1, 1, [ -26 ]>,
<3, 3, 3, [ 571, 526002739/42025, 38773864720041/86648398321 ]>,
<2, 2, 2, [ -151, 50521/529 ]>,
<3, 1, 1, [ 281 ]>,
<3, 3, 3, [ -215, -24526190/72361, -163279162891199/388040539041 ]>,
<2, 2, 2, [ -634, 1187386/9 ]>,
<5, 5, 5, [ 95, 91, -179, 229, 989/25 ]>,
<4, 2, 2, [ -71, -429268065563212980491/6717733262494849296 ]>,
<2, 2, 2, [ 334, 2142550734/5678689 ]>,
<2, 2, 2, [ -133, 10393/64 ]>,
<4, 2, 2, [ -296, -3842/9 ]>,
<4, 4, 4, [ -59, -257, 229, 549 ]>,
<2, 2, 2, [ 533, 1400595317/1157776 ]>,
<4, 4, 4, [ 113, -25, 81/4, 290 ]>,
<4, 4, 4, [ 53, 206, 1961, 5567/4 ]>,
<4, 4, 4, [ -383, -81, 44059/25, 1635229/2401 ]>,
<2, 2, 2, [ -150, -5939/36 ]>,
<4, 4, 4, [ 118, 146, 150, 615/4 ]>,
<2, 2, 2, [ -477, 316251324482352542062756029403138825326/563978644856222947557\
672794237325025 ]>,
<2, 2, 2, [ 192, 14002/81 ]>,
<5, 5, 5, [ 1, -32, -24, 34, 45 ]>,
<3, 1, 1, [ 137 ]>,
<2, 2, 2, [ -457, 69079802504848789/16474596149881 ]>,
<2, 2, 2, [ -166, -87 ]>,
<2, 2, 2, [ 156, 4007781714/25573249 ]>,
<4, 4, 4, [ -65, 724, -656, 19231/25 ]>,
<3, 3, 3, [ 25, 1320399/1156, 185967/121 ]>,
<4, 2, 2, [ -926, -1403215072862/2187339361 ]>,
<4, 2, 2, [ 342, -9639/25 ]>,
<3, 3, 3, [ 77, -175, 273 ]>,
<3, 1, 1, [ 2 ]>,
<2, 2, 2, [ 151, -24501050486426129828/1114861049334217249 ]>,
<2, 2, 2, [ 39, 133823/169 ]>,
<2, 2, 2, [ 403, 50244681/330625 ]>,
<3, 3, 3, [ -554, -5015/9, -846914/1521 ]>,
<5, 5, 5, [ 334, 154, 278, -94, 284 ]>,
<3, 1, 1, [ -347 ]>,
<2, 2, 2, [ -80, 256 ]>,
<3, 3, 3, [ -77, -889/25, -1093991/6400 ]>,
<2, 2, 2, [ -600, 51685375103025/48122319424 ]>,
<3, 1, 1, [ 29 ]>,
<4, 2, 2, [ 366, 4767941850/13965169 ]>,
<2, 2, 2, [ -190, 482 ]>,
<4, 2, 2, [ 68, 21886/225 ]>,
<2, 2, 2, [ -109, -136699/1225 ]>,
<2, 2, 2, [ -438, 115309 ]>,
<3, 3, 3, [ -54, 150, 48661/196 ]>,
<3, 3, 3, [ 3413, 65, 11983205/7921 ]>,
<2, 2, 2, [ -521, 231401837/130321 ]>,
<2, 2, 2, [ 173, 43 ]>,
<2, 2, 2, [ -301, 4401299/1681 ]>,
<3, 3, 3, [ -409, 368413/4, 271261/196 ]>,
<3, 1, 1, [ -534 ]>,
<3, 3, 3, [ 380, 30475/81, 459253/841 ]>,
<1, 1, 1, [ -35 ]>,
<5, 5, 5, [ -49, 281, -225, 1161, 523 ]>,
<3, 3, 3, [ 891, 42141/25, 2180829421417314577325/5016355035954523921 ]>,
<3, 1, 1, [ 113 ]>,
<3, 3, 3, [ -364, 506, 34147/49 ]>,
<4, 2, 2, [ 385, 175756/529 ]>,
<3, 3, 3, [ 128, -2948/9, 2253660122/85849 ]>,
<2, 2, 2, [ 639, 1488769/64 ]>,
<2, 2, 2, [ 125, 283151/25 ]>,
<5, 3, 3, [ 157, 179, 9614 ]>,
<1, 1, 1, [ 247 ]>,
<3, 3, 3, [ -255, -1675/16, 578229/1225 ]>,
<4, 2, 2, [ 132, 64372 ]>,
<4, 2, 2, [ 20, -229 ]>,
<2, 2, 2, [ -210, 10207003747775031001256523858380656312/5926043389862103683100\
3248010621201 ]>,
<4, 4, 4, [ 35, 217, 52, 6825 ]>,
<4, 4, 4, [ 491, 133, 991, -29 ]>,
<2, 2, 2, [ -96, 105969526793869/291282566436 ]>,
<3, 3, 3, [ 2750, 50, 1667 ]>,
<2, 2, 2, [ 43, 2749251/1225 ]>,
<4, 4, 4, [ 247, 1879, 228892/289, 197716/25 ]>,
<4, 2, 2, [ -24, 39372/121 ]>,
<3, 1, 1, [ 482 ]>,
<3, 3, 1, [ -572 ]>,
<3, 3, 1, [ 246 ]>,
<3, 3, 3, [ 512, 356685324592/693216241, 120903530572/54361129 ]>,
<4, 2, 2, [ -383, 86923/49 ]>,
<3, 3, 3, [ -402, 6, 76284606/201601 ]>,
<2, 2, 2, [ 297, 10419856/2025 ]>,
<3, 1, 1, [ -76 ]>,
<3, 3, 3, [ -229, -9340531/45796, 27615752051/3279721 ]>,
<2, 2, 2, [ 48, 9528 ]>,
<2, 2, 2, [ -75, 234523/484 ]>,
<3, 1, 1, [ 220 ]>,
<3, 3, 3, [ -644, -12327/16, -2839627316/3822025 ]>,
<2, 2, 2, [ 788, 231160090988/342583081 ]>,
<2, 2, 2, [ 310, 34681/81 ]>,
<2, 2, 2, [ -49, -92561/841 ]>,
<1, 1, 1, [ -52 ]>,
<2, 2, 2, [ -320, -651014/1681 ]>,
<4, 2, 2, [ 594, 7186/9 ]>,
<4, 2, 2, [ -597, 69637/49 ]>,
<2, 2, 2, [ 252, 1484 ]>,
<2, 2, 2, [ 277, 13359768613/25877569 ]>,
<5, 5, 5, [ 126, 924, 572, -420, 170 ]>,
<2, 2, 2, [ 63, 3922147159575669604926/8562301801484314321 ]>,
<5, 1, 1, [ 409 ]>,
<2, 2, 2, [ -144, -1660750955/71707024 ]>,
<3, 1, 1, [ 604 ]>,
<3, 1, 1, [ -95 ]>,
<3, 1, 1, [ -80 ]>,
<4, 4, 4, [ 12, -37, -29/9, 41/4 ]>,
<3, 1, 1, [ 88 ]>,
<2, 2, 2, [ -274, -70485239271060301/350657196060649 ]>,
<3, 3, 3, [ 233, 8126297/38809, 554009/64 ]>,
<1, 1, 1, [ -326 ]>,
<2, 2, 2, [ -26, 304735692421904669956/46520871184650625 ]>,
<4, 4, 4, [ -36, -35, -135, 22596/25 ]>,
<4, 4, 4, [ -144, -168, 16172625/18496, 6335619/3844 ]>,
<3, 1, 1, [ 81 ]>,
<3, 3, 3, [ 798, -52, 631642/81 ]>,
<4, 2, 2, [ 270, 349/4 ]>,
<3, 1, 1, [ 331 ]>,
<3, 3, 1, [ -191 ]>,
<4, 4, 4, [ 2932, 277, 37411/9, 2707692046/2405601 ]>,
<3, 3, 3, [ 17, -1807/4, 67841/4 ]>,
<3, 3, 1, [ 365 ]>,
<3, 3, 3, [ 145, 1477/4, 88705/729 ]>,
<3, 1, 1, [ -744 ]>,
<2, 2, 2, [ 496, -10384658777/14607684 ]>,
<5, 3, 3, [ -125, -6331/16, -10689653/316969 ]>,
<3, 1, 1, [ 350 ]>,
<2, 2, 2, [ -8, -241814142587/4814555769 ]>,
<2, 2, 2, [ -176, 8937673110573/19889742961 ]>,
<1, 1, 1, [ 5 ]>,
<4, 4, 4, [ 138, -309, 299, 933813/28561 ]>,
<4, 4, 4, [ 363/4, 267, 5112, 1054162044/201601 ]>,
<3, 3, 3, [ 702, -195, 125415553/239121 ]>,
<3, 3, 3, [ -173, -4175/16, 89219647/85849 ]>,
<2, 2, 2, [ 8051/4, -448 ]>,
<2, 2, 2, [ -320, -100734436/466489 ]>,
<2, 2, 2, [ -559, -244951/625 ]>,
<4, 2, 2, [ 88, 11887654/25 ]>,
<3, 3, 3, [ -206, -246, -97478/841 ]>,
<3, 3, 3, [ -246, -325, 134 ]>,
<4, 4, 4, [ -222, -41432/81, -16686/25, 25864/25 ]>,
<3, 3, 3, [ -703, -127, 982846141/893025 ]>,
<5, 5, 5, [ 224, 247, 406, 63232/49, 5444/25 ]>,
<2, 2, 2, [ -119, -102 ]>,
<2, 2, 2, [ 368, 18583138728101108847691937/16948843543831785371536 ]>,
<4, 2, 2, [ 449, 46001/49 ]>,
<3, 3, 3, [ -37, 683, 3923 ]>,
<2, 2, 2, [ -261, 7171489/576 ]>,
<2, 2, 2, [ 91, 1195994777233/324756441 ]>,
<3, 3, 3, [ 6, 564486/1681, -879663594/2907025 ]>,
<2, 2, 2, [ 939, -190748250519/114811225 ]>,
<2, 2, 2, [ -13, 896435/3481 ]>,
<5, 5, 5, [ 165, 589, -471, 417, 183/4 ]>,
<4, 2, 2, [ 542, 632 ]>,
<3, 3, 3, [ 248, -1944/49, 495287/49 ]>,
<4, 4, 4, [ -210, 534, -23240/121, 15848 ]>,
<4, 4, 4, [ 152, 140, 61754/25, 16322 ]>,
<4, 4, 4, [ 887, 23, 8557/16, 151211/121 ]>,
<4, 2, 2, [ 431, 928331/676 ]>,
<2, 2, 2, [ 321, -3501878925/5968249 ]>,
<2, 2, 2, [ 190, -26971202/117649 ]>,
<5, 5, 5, [ 449, 7933, 1169, 2945, 28357/16 ]>,
<4, 4, 4, [ 79, 163, 211, 415 ]>,
<2, 2, 2, [ 314, 124129/144 ]>,
<4, 2, 2, [ 485, -7815/16 ]>,
<4, 2, 2, [ 490, -228 ]>,
<3, 3, 3, [ 88, 249, 2929/25 ]>,
<4, 4, 4, [ 109, -581, 479, 241/4 ]>,
<3, 3, 3, [ -851, 3210631/1849, -8627981/12321 ]>,
<2, 2, 2, [ -61, 1095025/6084 ]>,
<2, 2, 2, [ 271, 121 ]>,
<2, 2, 2, [ -221, -20453/81 ]>,
<2, 2, 2, [ -59, 32603/2209 ]>,
<2, 2, 2, [ 306, 5960181506/14845609 ]>,
<3, 3, 3, [ 55, -13289/625, 4938619/1444 ]>,
<3, 3, 3, [ 743 ]>,
<3, 3, 3, [ 7, -7318846277/24176889, 107816593/552049 ]>,
<3, 3, 3, [ 246, 1926, 218934/289 ]>,
<3, 3, 3, [ -100, -48, 25028/121 ]>,
<4, 2, 2, [ -88, 5701 ]>,
<4, 2, 2, [ -263, 2349565/8281 ]>,
<4, 2, 2, [ 486, 451 ]>,
<3, 1, 1, [ 300 ]>,
<2, 2, 2, [ 323, 1133/4 ]>,
<3, 3, 3, [ 773, -220, -785132/1521 ]>,
<3, 3, 3, [ 229, 159, 1651/4 ]>,
<3, 1, 1, [ 328 ]>,
<4, 4, 4, [ 85, 547, 3357, 35742809061/18769 ]>,
<2, 2, 2, [ -367/4, 98 ]>,
<4, 4, 4, [ 75, -101, 189, -651 ]>,
<4, 4, 4, [ -23, -255, -125, -6815/81 ]>,
<3, 3, 3, [ 40, 2335, 379 ]>,
<4, 4, 4, [ 97, 110, -202, -26890/121 ]>,
<3, 3, 3, [ 86, 68, 5984/25 ]>,
<2, 2, 2, [ -334, -6817609774/21242881 ]>,
<3, 1, 1, [ 180 ]>,
<2, 2, 2, [ 14, 78527777621061482/323562999452449 ]>,
<3, 3, 3, [ 73, 210, 57865426/436921 ]>,
<5, 5, 5, [ 357, -323, 97, 272, 427 ]>,
<3, 3, 3, [ 93/4, -156, -423903652980/670965409 ]>,
<6, 6, 6, [ 36, -46, 83, 109, 86, -89 ]>,
<5, 3, 3, [ -46, -14, -600004/7921 ]>,
<3, 3, 3, [ -51, 781, 3009/64 ]>,
<3, 3, 3, [ 127, 2256592/21609, 696986702221/1268855641 ]>,
<2, 2, 2, [ 357, 2471673/5476 ]>,
<4, 2, 2, [ -158, 144725654/69169 ]>,
<3, 3, 3, [ 422, 578, 20213 ]>,
<3, 3, 3, [ -218, 24274/9, 186733/169 ]>,
<3, 1, 1, [ 163 ]>,
<2, 2, 2, [ -368, -2984/9 ]>,
<2, 2, 2, [ -19, 2386301/961 ]>,
<3, 3, 3, [ 598, -530, 4078135051678/39100009 ]>,
<3, 3, 1, [ -175 ]>,
<3, 3, 3, [ -11, 1525, 275629/676 ]>,
<4, 4, 4, [ 106, -461, 617, 159079/196 ]>,
<1, 1, 1, [ 441 ]>,
<2, 2, 2, [ -244, 1035456/25 ]>,
<2, 2, 2, [ -356, 33719420/14641 ]>,
<3, 3, 3, [ 679, 1871, 623 ]>,
<2, 2, 2, [ 34, 336293/1156 ]>,
<4, 2, 2, [ 113, 5 ]>,
<3, 1, 1, [ 3 ]>,
<3, 3, 3, [ -411, -108, -16939/49 ]>,
<2, 2, 2, [ -67, -10433/49 ]>,
<3, 3, 3, [ 504, 954, 8737/4 ]>,
<4, 2, 2, [ 285, 396 ]>,
<4, 4, 4, [ 289, 247, 121, 187 ]>,
<2, 2, 2, [ -66, 30878/169 ]>,
<2, 2, 2, [ -817, -68985754701080016353/279631217828425761 ]>,
<3, 3, 1, [ 81 ]>,
<3, 3, 3, [ 94, -51/4, 123 ]>,
<4, 4, 4, [ -36, -2, -48, -2559/64 ]>,
<2, 2, 2, [ -50, -1355715202080782446564949819309997397579180302511706030134617\
106157210/3558507101867689604509434353539168215890563993923476134731254237601 
]>,
<2, 2, 2, [ 278, 471918 ]>,
<2, 2, 2, [ -373, 3470087244816203246034936289/2215470998560963288893696 ]>,
<3, 3, 3, [ -368, 6431/4, 165857 ]>,
<1, 1, 1, [ -77 ]>,
<4, 4, 4, [ -191, 5813, 22447/9, 95566327/18769 ]>,
<2, 2, 2, [ -212, -122017/1681 ]>,
<4, 4, 4, [ -352, -470, 946, 62402/49 ]>,
<2, 2, 2, [ -83, -8319691637/19210689 ]>,
<3, 3, 3, [ 201, 705, 25610508/32761 ]>,
<2, 2, 2, [ 461, 117360832235310423042775589731/228795211405457608748014161 ]>,
<4, 4, 4, [ -428, -489, 2836, 21127 ]>,
<3, 3, 3, [ 83, 199, 155 ]>,
<4, 2, 2, [ -73, 12557/16 ]>,
<1, 1, 1, [ -48 ]>,
<3, 3, 3, [ -508, 1297, 1639890164/942841 ]>,
<3, 3, 3, [ 117, 1509/49, -4575/16 ]>,
<2, 2, 2, [ 184, 9822/49 ]>,
<4, 2, 2, [ 90, 1317586/4761 ]>,
<2, 2, 2, [ -505, 54988179881141/420883050025 ]>,
<2, 2, 2, [ 24, 33540 ]>,
<4, 2, 2, [ 179, 524 ]>,
<3, 1, 1, [ -1075 ]>,
<4, 4, 4, [ -168, -114, -234, 2086 ]>,
<3, 1, 1, [ 13 ]>,
<3, 3, 3, [ 120, -384, -360 ]>,
<3, 3, 3, [ 443, 840260/529, 1209772/2809 ]>,
<3, 1, 1, [ -64 ]>,
<3, 3, 3, [ -397, -419, -509 ]>,
<3, 3, 3, [ 443, 134, -53830759/200704 ]>,
<3, 3, 3, [ -173, -881/4, -5221/25 ]>,
<3, 3, 3, [ -136, -52, 104/25 ]>,
<3, 1, 1, [ 53 ]>,
<2, 2, 2, [ -397, 1668043811/1050625 ]>,
<3, 3, 3, [ 539, 463, 141970 ]>,
<4, 4, 4, [ 555, 993, 1773, 1301 ]>,
<2, 2, 2, [ 751, 39092199854106409/26975537664804 ]>,
<3, 1, 1, [ -486 ]>
];

qilist := [
[ 0, 5, 3, 1, 1, -1, -2, 2, -1, 3, 2, 2, 4, -4, -3, -1, 2, 4, 0, -1 ],
[ 1, 3, 5, 4, 1, 1, 5, 2, 0, -2, 2, 3, 5, -5, 4, 0, 0, -1, -4, -1 ],
[ 0, 1, 5, 5, 0, 2, -1, 1, 2, -4, 2, -3, 6, -3, 3, 5, -4, 0, -2, -4 ],
[ 1, 5, 2, 1, -1, -6, 2, 2, 3, -3, 1, -1, 8, -5, 2, -4, -3, -2, 1, 1 ],
[ 0, 5, 3, 2, 1, -3, -2, 1, -1, 6, 2, -1, 1, 6, -1, -2, -6, 2, 2, -2 ],
[ 1, 0, 5, 1, 2, 3, 0, -3, -3, 5, 0, 5, 1, -2, 1, 1, -6, 0, 5, -2 ],
[ 1, 1, 5, 2, -1, 1, 1, -5, -2, -5, 0, -4, -7, 5, 1, -4, 3, -2, -2, 4 ],
[ 1, 1, 0, 1, -3, 1, 2, -4, -2, -5, 1, -1, 2, 2, 1, 9, 4, -2, -3, 2 ],
[ 1, 3, 0, 3, 1, -2, 2, 1, -4, -2, 0, -4, 4, 0, 1, 2, -2, 3, -2, -3 ],
[ 2, 5, 0, 0, 2, -3, 6, 2, 1, 3, 1, -1, 3, 4, -1, -3, 5, 2, -5, 3 ]
];

ctp24data := [
<99,
[ 2, -9, -64, 46, -8, 6, -675, -2475 ],
[ 0, 5, 3, 1, 1, -1, -2, 2, -1, 3, 2, 2, 4, -4, -3, -1, 2, 4, 0, -1 ],
1>,
<263,
[ -16, -20, -26, -303, -745, -64, 334, -270 ],
[ 0, 3, 1, 0, 0, 0, -1, 1, -1, -2, 4, 3, -2, 1, -6, 0, 4, -1, -11, 5 ],
1>,
<374,
[ 5, 35, 19, 2, 195, 348, 236, 4656 ],
[ 0, 1, 0, 5, 1, 0, 7, 1, -1, -1, 2, -14, 1, -2, 0, -2, -1, -2, 0, 3 ],
1>,
<809,
[ 33, 60, -27, 126, -943, 636, 949, 252 ],
[ 0, 3, 5, 0, 1, -1, 1, 2, 2, -3, 7, 3, 0, 2, -2, 1, -4, -3, 8, 0 ],
1>,
<810,
[ -5, 11, -28, 144, -427, -259, -249, -709 ],
[ 0, 2, 4, 6, 2, -1, 0, 2, -2, 4, 2, 3, -2, 3, 0, 2, -2, 1, -5, -5 ],
1>,
<849,
[ 1, -38, 64, 67, -241, 480, -1073, -703 ],
[ 1, 2, 1, 1, -2, -1, 0, -2, -7, 4, 1, -5, -6, -1, -1, 2, 0, -2, 1, -3 ],
1>,
<852,
[ -19, -61, 51, -578, 181, -1398, 1834, -128 ],
[ 1, 2, 6, 2, 1, -2, -3, -1, -5, 3, 0, -2, 5, -2, 2, 4, 1, -3, -5, -6 ],
1>,
<906,
[ 0, 8, 13, -123, 316, 353, -245, -609 ],
[ 0, 3, 0, 4, 2, -2, -2, 3, -3, 3, 1, 0, 0, -1, 2, -9, 4, 0, 2, 3 ],
0>,
<943,
[ 14, -2, -24, -32, -96, 779, -200, 360 ],
[ 0, 1, 2, 0, 1, 1, -2, -1, 0, 2, 3, 3, -6, 8, -3, 5, -2, 4, 0, 4 ],
1>,
<960,
[ -1, -40, -28, -286, -552, -363, -471, 84 ],
[ 1, 1, 2, 2, 1, -1, 1, 1, -4, -2, 0, -3, 1, 13, 2, 3, 2, -2, 4, 6 ],
1>
];

