
// 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 = 300             //
//                                                   //
///////////////////////////////////////////////////////

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

// 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 := [
[ 108, 66, 88, -267, -129, 0, 140, 31, 104 ],
[ -295, -199, 245, 275, -63, -133, 93, 200, 192 ],
[ -49, 261, 100, -176, -281, -297, -242, -134, -19 ],
[ -88, 156, 162, -39, -83, -256, -44, 40, 170 ],
[ 116, 281, -71, 118, -158, -251, 129, -223, -84 ],
[ 206, -87, 149, 256, 208, 11, 16, -195, -82 ],
[ 251, 192, -251, 258, 146, 195, 297, 158, -49 ],
[ 174, 247, -112, -261, 115, 24, 70, 121, 171 ],
[ 246, -193, -264, -158, -129, 54, 246, -22, -288 ],
[ 263, 83, -171, -81, -235, 175, 172, -291, -286 ],
[ -291, -260, 88, 67, -144, 246, -175, -300, 137 ],
[ -268, -178, 44, 23, 34, -193, -19, 260, 113 ],
[ 69, -68, 12, 260, -247, 16, 275, -7, -235 ],
[ -117, 242, -214, 146, 116, -50, -31, -226, -36 ],
[ 256, -100, -136, 185, 9, 55, 124, -182, -157 ],
[ 224, 270, -2, 192, -106, 190, -261, 45, 205 ],
[ 131, 163, -296, 69, 263, -164, -126, -9, -52 ],
[ 68, 241, -209, 32, -192, 184, -232, 5, -240 ],
[ 52, -84, 218, 68, 222, -136, 4, 134, -300 ],
[ 27, 37, 128, -206, 68, 234, 277, -218, -96 ],
[ -20, -139, -51, -70, 36, -82, -62, -233, 144 ],
[ -93, -82, -236, -278, -42, 28, -154, 27, -293 ],
[ -242, 166, 0, 238, -235, -125, -83, 91, 101 ],
[ -29, 39, 149, -184, 292, -87, -76, 187, -236 ],
[ -289, -153, -232, -224, 290, 1, 85, 270, -138 ],
[ 187, 176, 241, -125, -224, -269, -145, -161, -84 ],
[ 89, 22, -129, 123, -30, -227, 173, -179, 200 ],
[ -280, 38, 215, -83, 241, -126, -202, 105, 251 ],
[ -20, -104, -244, 174, -150, 130, -21, 10, 130 ],
[ 78, 174, 170, -230, 289, 250, 121, -78, -35 ],
[ -138, 244, 171, 147, -145, 29, -139, 113, 296 ],
[ -7, 98, -218, 238, -135, 185, 243, 20, -70 ],
[ 10, -272, -244, -273, -4, -224, 68, -171, -65 ],
[ 228, -289, -293, 89, -26, -155, 78, 181, 198 ],
[ 102, -162, 247, -197, 136, 300, 91, -207, -155 ],
[ -179, 268, -67, -75, -248, 82, -211, -113, -115 ],
[ -81, 78, 198, 82, -269, -46, -163, -238, 235 ],
[ -45, -234, 298, -96, 81, -24, -107, 14, 263 ],
[ -126, 77, 189, 250, -200, 194, -59, -213, -152 ],
[ 13, 24, 165, -275, 193, -116, -226, -38, 11 ],
[ -237, -103, 295, -143, -33, 129, -273, 201, 255 ],
[ 90, 2, -68, 195, 282, 35, 226, -81, 106 ],
[ 269, 39, -152, -166, 149, 219, -128, -64, 179 ],
[ -29, -57, 192, -81, -22, 210, 130, -190, -298 ],
[ 227, 85, -114, -291, -280, 32, 237, -243, 138 ],
[ -36, -208, -284, 241, 186, 274, 242, 167, -10 ],
[ -273, 190, 260, -250, -211, -253, -299, -2, -110 ],
[ 245, -66, 273, 59, -227, 53, 43, -260, 16 ],
[ -33, 297, 188, -162, 266, 182, -65, -177, -102 ],
[ -202, -75, 174, 12, -280, -4, -95, 130, 51 ],
[ 134, 51, 146, -111, 3, -261, -134, 4, -111 ],
[ 106, -114, 5, -189, -237, 153, -156, -271, 291 ],
[ -102, -257, 24, -27, -86, 116, 290, -225, 145 ],
[ 177, 265, 105, 35, -141, -189, 295, 44, -158 ],
[ -199, 296, 253, -74, -266, -183, -13, 115, 299 ],
[ -69, -84, 188, -33, -283, -272, 23, 33, -114 ],
[ 132, 162, 298, -196, 146, 60, 228, -135, -262 ],
[ -74, -83, 131, -129, -8, 255, -173, 18, 61 ],
[ -99, 221, -186, 95, 68, 298, -71, 152, -191 ],
[ 159, 4, -215, 53, -216, -50, -282, 83, -7 ],
[ 110, 132, -28, -170, -165, 223, 28, -139, 42 ],
[ -37, 242, -122, -31, 0, -181, -269, 184, 131 ],
[ 214, -70, 36, -74, 55, -146, 61, 104, -107 ],
[ -77, 286, -293, -42, 140, 122, -272, -43, -27 ],
[ 106, 264, -249, -9, -240, -234, 46, -176, -32 ],
[ 198, 190, 40, -103, 40, 103, -52, -23, 266 ],
[ 227, 135, 223, -216, -147, -181, -159, -15, -237 ],
[ -112, -207, -25, 180, 255, 56, -75, 190, 258 ],
[ 66, -289, -267, 151, -127, 61, -206, 103, -103 ],
[ -217, -68, 158, -172, 225, -281, -210, 124, -40 ],
[ 201, 162, -280, -51, 122, -53, 187, -90, -234 ],
[ 163, -246, -126, -248, 213, -293, 99, 240, 194 ],
[ 234, 191, 225, 230, -266, 179, 198, -113, -47 ],
[ 103, -57, 54, -79, 250, -300, -257, 226, 243 ],
[ 182, -212, -264, 49, -131, -132, -234, 133, 141 ],
[ 63, -260, -103, 33, 246, -211, -110, -115, 251 ],
[ 269, 72, 234, 64, -182, -120, -295, 64, 235 ],
[ -242, 251, -213, 96, -45, 99, -210, 90, 69 ],
[ 233, -229, 190, -253, 281, -223, 9, 270, -31 ],
[ 191, -99, 215, 149, -184, -148, -287, 13, -276 ],
[ -139, -274, 109, -53, -165, -255, 259, 253, 289 ],
[ 280, -300, 186, -97, 130, 256, -300, 298, 45 ],
[ -121, -109, 187, 168, -198, 267, 62, 177, 200 ],
[ 170, 2, 213, 99, 126, -274, -3, -144, 42 ],
[ -253, 50, 113, 135, -266, 26, 241, 110, 90 ],
[ 295, -45, -202, 151, -125, 136, -154, 73, 134 ],
[ 168, -268, 254, 92, 128, -299, -212, -122, -1 ],
[ 195, 26, -19, 4, 249, -24, 14, 180, 91 ],
[ 92, -67, 37, -266, 229, -11, -153, -180, -254 ],
[ -233, 265, -149, 11, -276, 195, -201, 228, 135 ],
[ -84, 255, 63, 135, -193, -290, -124, 223, -28 ],
[ 148, -55, -110, -55, -217, 74, 284, -289, 245 ],
[ 122, 210, -35, 58, 57, 146, -257, 72, -198 ],
[ 278, 237, -46, -17, 213, 152, -233, 259, 125 ],
[ 112, 34, 216, -286, -76, -171, -156, 161, 214 ],
[ -133, -24, 204, -19, 123, -24, 1, -167, 251 ],
[ 218, 269, 57, 283, -147, 145, 166, -18, -183 ],
[ -196, 217, 147, -256, 167, -242, 64, 41, 90 ],
[ 276, 58, 36, 245, -250, 196, -253, 47, 272 ],
[ -36, 126, -140, -73, -120, 188, 165, 41, -62 ],
[ 185, -63, 252, 112, -211, 282, -219, -126, -62 ],
[ 276, -66, -47, 258, -250, 137, -86, -73, 171 ],
[ 16, 23, 32, -64, 225, -189, 103, -176, -201 ],
[ -235, -47, 279, 222, 52, -14, 53, -113, -277 ],
[ -8, 179, 214, -168, -183, 128, -133, -35, 247 ],
[ 265, 11, 202, 30, 127, 159, -270, -210, 109 ],
[ -110, 166, -27, 156, -111, -73, 49, 158, 275 ],
[ 17, 138, 149, 238, -94, -215, 78, 210, 230 ],
[ 283, 85, 5, -126, -243, -105, 55, 204, -208 ],
[ 116, -74, -184, -128, 293, -223, -241, -183, -253 ],
[ -87, -282, 162, -30, 131, -55, 132, 143, 15 ],
[ 201, -241, -214, -198, -149, 285, 280, -151, 128 ],
[ 93, 106, -194, -86, -67, 176, -237, -43, 68 ],
[ 177, 267, -76, 129, -161, -24, 64, -53, -14 ],
[ 99, 156, 10, 147, 247, 190, -215, 201, -286 ],
[ -212, -128, 186, 256, 159, -45, 300, 151, -159 ],
[ -106, -266, 286, 297, -99, 194, 214, -254, 186 ],
[ -256, 279, 80, 277, -295, 265, 215, 125, 86 ],
[ -102, 218, -289, -18, -71, -59, 158, 161, -146 ],
[ 63, 230, -98, -160, 47, 36, -242, -15, -227 ],
[ 213, -113, 49, 201, 191, -145, 196, 14, 66 ],
[ 61, -20, 165, 47, 131, -190, 53, 114, -246 ],
[ -50, 142, -170, -217, -113, 31, -114, -37, 297 ],
[ -178, 40, -97, 97, 17, 273, -251, 106, 129 ],
[ 209, 232, -284, -119, 31, 177, -41, 42, -144 ],
[ -23, -59, 183, 218, 62, 206, 66, -63, 103 ],
[ -89, -12, -204, -126, 203, -293, 213, -142, -107 ],
[ -15, 288, -167, 73, -29, -181, 173, -119, 117 ],
[ -244, -277, 249, -171, -181, -204, 132, 66, -289 ],
[ 113, -30, -52, -22, -298, 66, -44, -247, -7 ],
[ 114, -285, 55, 14, -264, -101, -45, -299, -101 ],
[ 94, 272, -116, -10, -148, 99, 182, -247, -38 ],
[ 277, 277, -205, -12, 122, 61, -94, -201, 172 ],
[ -69, 294, -80, -24, 167, 272, 59, 177, -8 ],
[ -105, -207, 146, 236, 248, 6, 131, 211, 230 ],
[ -135, 44, -127, -55, 193, 244, 41, 256, -254 ],
[ -123, -23, -20, 250, 72, -65, -127, 241, 44 ],
[ 195, -108, -263, -155, -206, -36, -269, -69, -121 ],
[ -222, -268, 269, 214, -182, -119, -21, -161, -45 ],
[ 51, -29, -62, -212, -125, 133, 173, -37, -235 ],
[ -172, -172, -120, -17, -67, -221, -110, 43, 21 ],
[ -110, -140, -297, 77, 170, 72, -151, -3, 265 ],
[ 222, 20, 81, 163, -225, -254, 254, 202, 241 ],
[ -138, -175, -235, -133, -185, -71, -277, -198, -3 ],
[ -171, -37, -276, -107, 45, 137, -212, 157, -18 ],
[ -173, 67, 261, 128, -284, 92, -171, 17, 154 ],
[ 240, -44, 67, 277, 206, -279, -222, 285, 37 ],
[ -146, -121, -116, 175, -57, 226, 68, -283, 119 ],
[ -215, -296, 18, -175, -108, -92, -152, -125, 103 ],
[ 270, -114, 175, -266, 258, -274, -271, 86, -78 ],
[ 166, 61, -16, 121, 101, -269, 275, -20, -272 ],
[ 118, 273, -102, -75, 65, -89, 264, 114, 121 ],
[ -107, 67, -228, 63, 234, 35, -296, -266, -137 ],
[ -109, 229, -178, 195, 105, -278, -244, 75, -270 ],
[ -155, 30, -46, -50, 114, -19, -172, 177, 181 ],
[ 15, -19, 178, 37, -180, 145, -169, 242, 27 ],
[ 249, -35, -200, -209, 193, -28, 279, 191, 142 ],
[ -211, -223, -245, -191, -231, -113, -145, 171, 237 ],
[ -169, -271, -180, -184, 252, -32, 14, -142, 37 ],
[ -26, -8, -292, -54, -157, 14, -261, -103, 130 ],
[ -299, 9, -279, -62, -242, -59, -106, -11, -269 ],
[ 286, -188, 231, 40, -84, -58, -91, -145, -168 ],
[ -77, -108, 170, -276, 249, 266, 245, 268, -193 ],
[ -104, 177, 67, -84, -189, 129, 92, -185, -209 ],
[ 95, -214, -224, -138, -145, 296, -255, -297, -42 ],
[ -192, 8, 197, 254, -239, 149, -134, 76, -292 ],
[ 300, 299, -172, -196, 138, -153, -172, -83, 29 ],
[ 4, -227, -58, -195, -184, 287, 256, 135, -194 ],
[ 13, -43, -233, 248, 50, -55, -47, -15, 42 ],
[ 177, -278, 188, -133, 114, 287, 199, 231, 14 ],
[ 191, 272, 269, -262, 44, 9, 133, 21, -160 ],
[ -106, 77, 244, 259, -282, 50, 258, 141, 63 ],
[ -58, -124, 91, 131, -50, -240, -104, 64, -38 ],
[ -249, 210, -85, 152, -82, -5, -271, 2, 157 ],
[ 278, 183, 152, -31, 74, -81, 279, 283, -278 ],
[ -90, -219, 118, -147, 271, 191, 194, -194, 29 ],
[ -73, 54, 105, 226, -48, 75, -178, -244, -212 ],
[ 72, 182, -73, -77, 52, -32, 190, -78, 15 ],
[ 205, 192, 14, -21, -167, -46, 253, -209, -88 ],
[ -128, -231, 9, 280, 70, 179, 148, -16, 84 ],
[ -49, 40, 245, -262, -128, 212, -84, 280, 227 ],
[ 211, -26, 255, 212, 171, -199, -10, -126, 164 ],
[ 14, -79, 27, -241, 98, -234, -264, 58, 70 ],
[ 215, 211, -141, -67, 256, 95, 288, 212, 95 ],
[ -299, 109, -147, -87, 102, 144, 91, 299, -288 ],
[ -118, 6, 222, -52, -76, 298, 147, -93, 239 ],
[ -216, 19, 70, 13, 172, -168, 103, 281, -98 ],
[ -207, 209, -268, -294, -99, 11, -32, 205, 117 ],
[ 8, 258, 159, 234, -109, 87, -226, 54, -99 ],
[ -194, 200, 63, -43, 24, 174, -174, -292, -71 ],
[ -1, -174, -283, 29, 198, 11, 48, 124, 168 ],
[ -75, -194, -148, 201, 147, -63, 246, 91, -108 ],
[ 260, 169, -209, 62, -53, -153, -283, -73, -238 ],
[ 222, 140, 66, 232, 190, -112, 117, 68, 92 ],
[ -134, 264, -227, -196, 267, 138, 85, -203, 36 ],
[ 163, 103, -278, -238, -38, 192, -91, 164, -130 ],
[ 107, -221, 176, -32, -26, -142, -20, 26, -81 ],
[ 143, -187, 90, 205, -26, -279, 59, -56, 187 ],
[ 138, 191, 175, 19, -292, -274, 6, 90, 251 ],
[ -26, -231, 70, 155, -76, 228, 283, 28, -16 ],
[ -208, -24, 75, 161, -13, 111, -260, 230, 260 ],
[ 102, -229, -17, -95, -120, 110, -259, -244, -205 ],
[ -121, 274, 63, -6, -264, 74, -74, 129, 67 ],
[ 36, 175, 264, 208, 105, 241, 29, -36, -294 ],
[ -37, 144, 206, 250, -18, -156, 74, 205, 172 ],
[ 215, -227, 264, 144, 41, -198, -217, -40, 114 ],
[ 86, -210, -184, -65, 198, 119, -143, 284, 262 ],
[ -62, 33, 178, 143, 111, -193, 252, 127, 114 ],
[ 66, -105, 21, 22, -23, 75, 240, -54, 271 ],
[ 247, -84, -100, -90, 96, -288, 111, 35, -46 ],
[ -95, -290, -188, 149, 56, 289, 276, -252, 278 ],
[ 251, 247, 58, -25, -29, 99, 63, -159, -133 ],
[ 283, -293, -139, -3, 142, 96, -235, 187, 17 ],
[ 284, 290, -288, 78, 97, 79, -208, 21, 97 ],
[ 245, -134, 65, -68, 39, -43, -87, -130, -225 ],
[ -210, 92, 282, 25, -23, 34, 54, -34, -71 ],
[ -217, 263, 189, 146, 186, -188, 176, -12, 289 ],
[ 236, 71, 86, 96, 52, 94, 85, -120, -143 ],
[ 199, -199, 174, -63, -190, 5, -67, 219, -195 ],
[ 121, -265, 150, -12, -295, 23, 181, -230, 244 ],
[ 210, 253, 272, -122, 42, -183, -214, -172, -238 ],
[ 184, 155, 115, 197, -202, -17, 169, -165, -139 ],
[ -59, -80, 253, 160, -225, -272, -224, -19, 81 ],
[ -297, -68, -165, -173, -243, 157, 89, 76, -213 ],
[ 300, 289, 110, 95, -113, 234, 213, -176, 47 ],
[ -194, 116, -263, 31, -183, -71, 160, 258, 286 ],
[ 294, -164, 224, 225, -96, -211, -236, 121, 10 ],
[ -28, -284, -53, 271, -129, 31, 286, 22, 179 ],
[ 20, 247, 3, -233, 245, 218, -136, -254, 45 ],
[ -60, 204, 45, -12, 84, -19, -4, 87, -283 ],
[ 256, -85, -16, -294, 3, 161, -218, -256, 147 ],
[ 221, -161, -206, 51, -147, 65, -77, 243, -77 ],
[ 285, -212, -235, 222, 185, 22, -6, -168, 188 ],
[ -123, 115, -134, 124, 72, -209, -65, 162, -236 ],
[ 38, 239, 28, 8, 4, -81, 131, -3, -254 ],
[ 165, 150, -37, 179, 258, 47, 49, 231, 191 ],
[ -47, 2, -183, 113, -45, 263, -215, 96, -154 ],
[ -63, 62, -34, 135, 230, 52, 133, 192, 150 ],
[ 133, -243, -58, -73, 149, 51, 250, -252, -269 ],
[ -125, 117, -266, -237, 127, 166, -130, 243, 233 ],
[ -154, 198, 80, -271, 180, -13, -245, -101, 263 ],
[ 149, -205, 170, -87, -124, -97, 249, 26, 225 ],
[ -26, 151, -215, 299, -185, -281, -283, 271, 10 ],
[ 229, -148, 78, 239, -262, -251, -212, -117, 265 ],
[ 169, -112, 273, 111, 11, -57, 285, -37, -237 ],
[ 157, -137, 123, 88, -292, 41, 140, 83, -163 ],
[ 166, 24, 233, 161, -210, 149, 294, 231, 239 ],
[ 28, -130, -191, -287, -186, -179, 161, 203, -224 ],
[ -274, 278, 87, 237, 156, 159, -90, 169, -181 ],
[ 276, -142, -154, 300, 277, 15, 251, -42, -176 ],
[ -185, -12, -58, -284, -71, 115, 41, 231, 253 ],
[ 170, 226, 203, -124, 174, -58, -120, -45, 76 ],
[ 141, -241, 168, -255, 225, -102, 140, 278, -213 ],
[ -233, -153, -164, 264, -55, 272, 175, 179, 221 ],
[ 277, 245, 254, 88, 188, 170, -252, 66, 243 ],
[ -242, 36, -188, 208, -245, -15, -104, 67, 206 ],
[ 200, -107, 269, 94, 223, -20, -37, -249, 128 ],
[ 85, -20, 216, -161, 21, 299, 65, -161, -190 ],
[ -42, 235, -280, 226, 257, -93, -212, 157, -220 ],
[ 146, -262, 0, 216, 150, 170, -70, -80, 139 ],
[ 230, 27, 189, -14, 146, 18, 94, 25, -207 ],
[ -53, 8, -200, 288, 70, -64, -230, 17, -269 ],
[ -80, 82, 295, 142, -289, -287, 297, 262, 9 ],
[ 69, 102, 170, 116, -11, -107, -227, 101, -87 ],
[ -145, -159, -293, -205, 211, -157, -47, -283, 219 ],
[ -172, -298, 222, -84, 217, -290, -84, -133, -291 ],
[ -157, 172, -299, -157, -142, 69, -141, -68, -253 ],
[ 156, -268, -96, 258, -147, -150, -283, -99, 135 ],
[ -212, -67, -266, 128, -135, -277, -164, -70, -85 ],
[ -154, -36, -177, 77, 170, 178, 288, 6, -136 ],
[ -198, -170, -250, -285, 265, 75, -146, 79, 213 ],
[ -82, -265, -168, -255, -75, -108, -247, 152, -182 ],
[ 214, -24, -286, 66, 186, -228, 93, -69, -296 ],
[ -95, 11, 101, -46, -42, 35, -190, 82, 72 ],
[ 195, 168, 170, 235, -89, -100, -158, -170, -179 ],
[ 0, -243, 250, 274, 183, 255, -202, -284, 14 ],
[ 60, -156, -254, 152, 181, 98, -70, 20, -265 ],
[ -100, 199, 17, -191, 208, -222, -128, -217, 298 ],
[ -284, 187, 144, -229, -158, -166, -112, -248, 12 ],
[ 255, -162, -50, 221, 108, 28, -146, 204, 238 ],
[ 270, 295, -300, 277, 89, -142, -218, -232, -279 ],
[ -143, -101, -277, -285, 163, -108, 195, -285, 26 ],
[ -162, 116, 271, 207, 286, 294, 8, -123, -194 ],
[ 252, -130, -257, -61, 122, -298, -81, 286, -27 ],
[ 255, -242, -273, 146, -187, -27, 219, -47, 165 ],
[ -267, 292, -231, 234, -296, -89, 88, 194, 34 ],
[ -59, -114, -189, -185, -108, 150, -231, 58, -212 ],
[ -75, -203, -170, -225, 75, -173, -70, -98, 38 ],
[ 151, 59, 36, 195, 285, 250, -277, 12, 144 ],
[ -116, -156, 209, -12, 247, -170, -112, -134, 64 ],
[ -257, 32, -87, -262, 148, -77, -21, -202, -274 ],
[ 168, 219, 133, -82, -189, 262, -88, -215, -148 ],
[ 168, 229, 120, -17, -165, -2, 61, -29, 119 ],
[ 27, -248, -103, -182, -44, -238, -295, -266, -264 ],
[ -59, -162, 65, -83, 167, -257, 294, 239, 173 ],
[ -90, -172, 282, -135, 167, -289, 271, 300, 246 ],
[ 95, -209, 184, 203, -282, 208, 187, -91, 111 ],
[ -19, -56, -298, 279, -130, 188, 272, 265, -7 ],
[ 124, 10, 84, 74, 190, 223, 79, 243, 212 ],
[ 140, 171, -58, 284, -265, -266, -269, -198, 260 ],
[ -294, 129, -76, -187, 207, 129, 20, -55, 41 ],
[ -269, -49, -177, 243, -153, 132, -282, 73, -86 ],
[ -291, -279, -277, 13, 261, 201, 128, 236, -104 ],
[ -210, -164, 120, -47, -247, 254, 235, -222, 288 ],
[ -119, 40, 67, 168, -144, 171, 290, -137, 281 ],
[ 291, 33, 229, 276, 113, 170, -144, 83, 61 ],
[ -128, 193, -260, 197, -8, -11, 242, 110, -46 ],
[ -255, 203, 183, -10, -285, -5, 118, -228, 26 ],
[ 287, -41, 179, -97, -139, -179, -247, -177, -139 ],
[ 156, 62, 11, 49, -166, -233, -47, -66, 247 ],
[ 260, -110, -258, -91, -250, -27, 12, 191, -231 ],
[ 216, -267, 1, 207, 63, 293, 176, -23, 228 ],
[ 161, -300, 161, 257, -295, 252, -229, -226, -246 ],
[ -282, -235, 18, -41, -90, -178, -159, 178, 81 ],
[ 69, -21, 271, 10, -160, -251, 45, 295, -223 ],
[ 249, -28, 145, -86, 190, -146, 285, -69, 197 ],
[ 210, 61, -130, -277, 10, 260, -74, -200, 199 ],
[ 47, 227, -6, -264, 178, 96, -240, 284, -198 ],
[ 146, 250, 183, -94, 99, -47, -103, -163, 269 ],
[ -110, -209, 272, 166, 132, -280, -21, 214, 64 ],
[ -48, -249, -279, 121, 79, -134, 84, -168, -110 ],
[ 113, -42, 297, 52, 39, 67, 106, -58, 283 ],
[ -271, 64, -257, -51, 132, -152, -271, 53, 162 ],
[ 196, 266, -252, 10, -251, 125, 106, -116, -298 ],
[ 28, 77, -204, -49, 64, 142, 84, -178, -4 ],
[ -103, -179, 182, 27, 288, -91, 214, -60, 162 ],
[ 182, 123, -14, -289, -256, -273, 119, -131, -192 ],
[ 189, 300, 232, 107, 32, -88, -63, -156, 125 ],
[ 83, 66, 86, -188, -289, -188, -153, 100, -236 ],
[ -164, -80, -266, -281, -54, -119, 279, 28, 92 ],
[ -300, 144, 29, 260, 263, -102, 120, 283, 116 ],
[ 97, 93, -66, 296, -94, -157, -145, -186, 160 ],
[ 160, 68, -294, -160, -281, -80, 129, -83, -169 ],
[ -85, 202, 138, 279, -278, 5, 223, 14, -150 ],
[ -266, 31, 79, 185, 213, -39, -123, -233, 149 ],
[ -28, -288, 255, 68, -46, 185, 100, 100, 152 ],
[ 204, -204, -77, -225, -56, -292, 264, -165, 293 ],
[ -203, 31, 289, 93, -186, -278, 214, 134, -125 ],
[ 223, -2, 231, -106, 275, -232, 217, -194, 280 ],
[ -260, -39, 252, -300, 72, 208, 188, -176, 123 ],
[ -17, 137, 252, -285, -291, -127, 207, 25, -250 ],
[ 61, -125, -11, 6, -44, -194, -277, 216, -220 ],
[ -199, -123, -92, -189, 102, 53, 54, -220, 172 ],
[ 135, 28, 220, -85, -181, 205, 189, -78, -85 ],
[ 224, -5, 230, 81, 284, 66, -268, 119, -262 ],
[ -34, -44, -165, -265, 188, -107, 93, 35, -55 ],
[ 144, 12, 51, 40, -285, -225, 100, 263, -268 ],
[ -112, 125, -296, 13, 211, -38, 41, 275, -48 ],
[ 253, 270, -54, -25, -14, 213, -228, 120, 300 ],
[ 141, -266, -246, -80, -26, -179, 191, 15, -92 ],
[ -296, -119, 117, 0, -32, 122, 215, 253, 263 ],
[ 60, -163, 2, -139, 195, 115, 2, -27, -49 ],
[ -122, -101, 99, 7, 209, 107, 204, -44, -238 ],
[ -251, -44, 122, -216, -259, -161, 135, -44, -241 ],
[ 252, -143, -279, 83, 84, -223, 249, 122, -104 ],
[ -124, 281, 106, -68, -120, 77, 287, 46, -258 ],
[ 143, -65, 48, 98, 55, 34, 182, -2, 108 ],
[ -220, 204, 203, 237, 164, 4, -33, -260, -136 ],
[ -78, -71, -175, 234, 257, 221, -20, -198, -120 ],
[ -158, -143, -204, 119, 170, 291, -246, -171, -297 ],
[ -34, 35, -209, -135, -272, -37, -260, 74, -101 ],
[ -196, -296, -249, 120, -74, -12, -282, -84, -52 ],
[ 12, 124, 199, -149, -118, 137, 300, -195, -127 ],
[ 191, 299, 192, 126, 121, 0, -120, -94, 298 ],
[ 43, 48, -62, 73, -50, -23, -48, -141, 285 ],
[ 253, -271, -170, -31, -63, 77, -168, 271, -215 ],
[ -44, -200, 193, -193, 202, -96, -19, 22, -287 ],
[ 84, -190, 207, -265, 143, 1, -300, -92, 152 ],
[ 88, 119, 182, 23, -207, -108, -157, -51, 299 ],
[ -65, 162, 91, -125, 216, 213, -73, 34, 266 ],
[ 5, -255, 291, -182, 253, -209, 145, -286, 159 ],
[ -206, -247, 79, 44, -180, 190, -206, 154, 292 ],
[ 33, -104, 69, -142, 291, 73, 191, 103, -39 ],
[ 69, -91, 49, 71, -31, -208, 96, -202, -12 ],
[ -23, -243, -263, 40, 22, -255, -163, 140, 186 ],
[ 87, -280, -80, 92, -275, -20, 229, 275, -78 ],
[ -246, 161, -110, -20, -67, -154, -124, -163, 25 ],
[ -204, -64, -46, 2, 168, -300, -266, -252, 283 ],
[ 225, 35, -165, 291, 29, 129, -42, -147, -152 ],
[ 163, -154, 149, 155, -33, 169, 216, -164, 127 ],
[ 37, 7, 32, 38, -70, 118, -262, 291, -165 ],
[ -209, -233, 159, 40, -58, 286, 122, 151, 1 ],
[ 284, 273, -110, -94, -216, 256, 230, 228, -190 ],
[ -213, -73, 78, -118, 54, -7, -242, -174, 67 ],
[ -117, -215, -171, -206, -205, 293, -35, 138, -282 ],
[ -151, -107, -140, 155, -63, 44, -177, -260, -124 ],
[ 188, 22, 35, -270, -3, -42, 38, -82, 77 ],
[ 135, 251, -255, 286, 0, -109, -146, -32, 15 ],
[ 233, -160, -25, 121, -18, -287, -202, 193, -112 ],
[ -215, 89, 155, 111, 79, 285, -39, -5, -248 ],
[ -296, -266, 144, -228, -290, -175, -272, 209, 287 ],
[ 241, 221, -179, 88, 3, 281, 182, -169, 261 ],
[ -106, 34, 214, 185, 265, 35, -80, 262, -300 ],
[ 299, 42, -117, 12, -285, 238, -36, -176, -49 ],
[ 22, 207, -286, 270, -285, -210, -21, 52, 97 ],
[ -275, 218, -21, -27, -85, 153, -34, 32, -203 ],
[ -70, 200, 160, -73, -144, -257, 146, -184, 37 ],
[ -173, 7, -197, -164, -62, -81, 25, -85, -84 ],
[ -224, 163, -280, -184, -27, 71, -219, 23, -257 ],
[ 8, -135, -212, -266, -108, 55, 163, -19, 85 ],
[ -142, 139, -250, -26, 39, 213, 298, -261, -31 ],
[ 67, 222, 40, 12, 131, 213, -26, -121, 46 ],
[ -5, 133, 7, -267, 233, 197, 19, 248, -93 ],
[ -250, -197, -95, -151, -40, -207, 192, -234, 57 ],
[ -93, -126, -59, 110, 5, -69, 190, -14, 225 ],
[ 31, 7, -281, -80, 35, -91, -3, -35, -194 ],
[ 61, 290, -155, -97, -286, -31, -244, -237, 113 ],
[ -80, -285, 41, -178, -289, 221, 66, -253, 97 ],
[ -255, -108, -46, -290, 117, 95, -114, 185, -241 ],
[ -287, -17, 78, 17, -72, -240, 260, 25, -107 ],
[ -100, 80, -86, 235, 92, 114, 289, 175, 54 ],
[ 108, -262, -260, 8, 58, -295, 9, 104, -263 ],
[ 66, 194, 69, -270, -90, -135, 191, 176, 130 ],
[ -111, -235, 234, -68, 219, -176, -231, -199, 118 ],
[ -145, -63, -258, 59, -281, 246, 215, 158, 157 ],
[ -213, -247, -89, -260, 229, 235, -123, 65, 62 ],
[ -169, -155, -296, 132, -147, -235, -144, 120, -33 ],
[ 87, -271, -45, -178, -136, -46, -216, 293, 120 ],
[ -271, 94, 222, -34, 113, 224, 198, -279, 154 ],
[ -119, -96, 280, 261, -190, -240, 64, -67, 119 ],
[ -124, 193, -212, -235, -139, 137, -33, 291, 33 ],
[ -140, -297, 230, -31, -135, -127, 210, 138, 75 ],
[ -283, 263, -141, 13, -226, -90, -194, -7, 88 ],
[ -280, 153, 159, -213, -173, -300, -55, -147, -31 ],
[ -234, 120, -203, -64, 113, 245, 218, -143, -206 ],
[ -56, 258, -244, 272, -66, -85, 71, 36, -80 ],
[ -161, -131, 190, -28, 148, 6, 7, -242, -58 ],
[ -289, 158, 167, -22, -85, 25, -248, 44, 105 ],
[ -55, -74, 87, 197, -158, -106, 48, -139, 231 ],
[ 185, 74, 8, -175, 219, -120, -242, 173, 296 ],
[ 91, 144, 30, 237, 196, -88, -221, -113, 277 ],
[ -11, 53, 280, 14, -287, -143, -281, 185, -134 ],
[ 204, -69, 197, -241, 279, -238, 171, 184, 256 ],
[ 62, 73, -2, -141, 237, -262, -268, -178, 218 ],
[ 129, 176, 42, -149, 115, 259, -250, -9, 99 ],
[ -202, 299, -203, -47, -192, -108, -145, 272, 289 ],
[ -231, 255, -271, -266, 0, -263, 147, 281, -143 ],
[ -6, 169, -215, 20, 221, 24, -212, -140, 75 ],
[ -52, -181, 179, 40, 237, -34, 150, -212, 289 ],
[ 81, 85, -294, -284, -152, 284, -91, 219, -164 ],
[ 166, 167, 289, 39, 180, -142, 281, 11, -295 ],
[ 189, -204, 245, -18, -83, 85, -266, -295, -136 ],
[ -38, 79, -242, -272, 295, 288, 0, 175, -284 ],
[ -109, -231, 29, -253, 238, 259, -254, 137, 33 ],
[ -29, -143, 290, -235, 183, -68, -177, 234, -111 ],
[ -114, 187, 97, -87, -75, -146, 59, -69, -112 ],
[ -178, 281, 276, 32, -297, 103, -275, 248, -176 ],
[ 101, -261, 150, -230, 163, -17, 19, -119, 27 ],
[ -299, -144, 274, -203, 98, 197, 16, 76, -300 ],
[ 213, 159, 56, 88, 21, -91, -2, 98, 174 ],
[ -44, 54, 134, 254, 133, -281, 271, -2, -256 ],
[ 282, 30, -146, 220, -123, -123, -227, -225, 24 ],
[ -251, -154, -72, 201, 149, -154, -8, 79, -96 ],
[ -239, 114, 111, 293, 159, -211, 202, -118, -69 ],
[ -55, -17, 197, 267, -61, -206, -201, -133, 233 ],
[ 79, 219, 160, 243, 160, 228, 259, 122, -300 ],
[ -272, 203, 160, 93, -282, 140, -25, 61, -102 ],
[ -235, -106, 82, -21, -232, 86, 173, 278, 268 ],
[ 300, 216, 42, -178, -290, 136, 137, 141, -286 ],
[ 10, -141, -38, 192, -251, -127, 152, 203, -35 ],
[ -148, 143, -195, -130, -168, 48, 226, 244, 136 ],
[ 19, -1, -189, -176, -201, 169, 66, 298, -234 ],
[ -281, 106, 226, -9, 16, -13, 147, 47, 245 ],
[ -57, -213, -50, 81, 212, -288, 28, -15, 159 ],
[ -240, 36, -254, -240, 28, 5, -92, 281, -278 ],
[ -267, -296, 282, 257, 283, 1, 126, 155, -203 ],
[ 274, -163, 59, 263, 5, -24, 230, -5, -219 ],
[ 199, 197, 63, -80, -75, 174, 115, 38, -232 ],
[ 276, 25, 251, -75, -104, 145, -7, -137, -247 ],
[ -212, 255, -223, -152, -247, -44, -62, 19, 83 ],
[ -66, 257, 142, 137, -238, -9, 225, -92, -34 ],
[ 199, -128, -11, -32, -110, -208, 113, 290, -227 ],
[ 137, 19, 9, 175, -155, 146, 275, 273, -294 ],
[ 80, -131, 215, -251, -107, 235, 92, 282, -73 ],
[ -114, -164, 145, 253, 40, 284, -85, -290, 18 ],
[ -273, 275, -274, 137, 225, 97, 103, 0, 151 ],
[ 40, 151, -73, -86, -19, -183, -231, -295, -135 ],
[ 199, -250, 116, -274, 6, 96, -12, -163, 274 ],
[ -18, -44, -28, -297, 76, -196, 253, 253, -90 ],
[ -44, 123, -12, 167, 221, 273, 270, 88, -144 ],
[ 31, 236, 47, 274, -6, 160, 113, -275, 186 ],
[ 46, 188, -257, -110, 298, 128, -209, 111, 294 ],
[ -127, 65, -238, 90, 178, 43, -196, -292, 294 ],
[ -269, -218, 195, -226, -32, -152, -293, -202, 93 ],
[ 272, -66, -60, -238, 169, 37, 199, 60, -103 ],
[ -163, 66, 98, -285, -86, -51, -242, -58, -64 ],
[ -98, -161, 274, -180, -174, -200, 57, -83, 228 ],
[ -27, 95, -124, -293, 233, -56, -219, 153, 220 ],
[ 268, 177, -298, -96, -26, 130, -247, 220, 220 ],
[ 19, 202, -245, 51, -247, 233, 21, -245, -95 ],
[ -18, -238, 73, -187, -198, -100, -28, -257, -194 ],
[ -27, -41, -46, -116, 174, 53, -252, 32, 138 ],
[ 189, -100, 188, 97, 148, 29, -290, 9, -41 ],
[ -214, 27, 14, 91, 107, 294, 177, -21, -88 ],
[ 273, 206, 21, -210, -268, 167, 279, -224, -35 ],
[ 82, -20, -81, 154, 283, 207, 257, 169, -151 ],
[ -35, -216, -204, -53, 19, -49, -151, 79, -45 ],
[ 39, -263, 9, 3, -189, 226, 52, 121, 41 ],
[ 175, 258, 133, 224, -161, 176, 293, -202, 46 ],
[ -235, -193, -290, 161, -86, 187, 18, -48, 1 ],
[ 192, -32, -264, -221, 112, -77, 277, -262, -129 ],
[ -132, -109, -229, 5, 259, -58, -230, 194, 102 ],
[ 242, 43, 128, 191, 104, 16, 127, -64, -241 ],
[ -44, 17, -144, -170, -170, 209, -136, -137, 184 ],
[ 29, -33, -291, 22, -161, 18, -35, -207, -153 ],
[ 174, -73, 264, 81, -214, -200, 294, 69, 89 ],
[ 42, 82, -165, -293, -87, -82, -53, 222, 100 ],
[ 60, -69, -240, 227, 52, 221, -156, -269, -78 ],
[ 70, 261, 275, 84, 123, -39, -1, -163, 245 ],
[ -148, -60, -265, -88, -176, 163, -178, -117, 26 ],
[ 241, -211, -228, 250, -27, 160, 266, 46, 42 ],
[ -275, 237, 125, 261, -73, 163, 181, 157, 24 ],
[ 2, 154, 231, 260, 11, 37, 158, -82, 230 ],
[ -110, 195, -205, 68, -51, 258, -142, -30, 223 ],
[ 183, 204, -87, -212, -111, 248, 201, -237, -27 ],
[ -103, 54, 287, -129, -68, 232, -162, 34, 14 ],
[ 77, -135, -207, -182, -3, -273, 158, 203, 168 ],
[ 206, 232, 36, 2, 106, -102, 249, -221, -216 ],
[ 201, 296, -220, 212, 286, -189, 31, -98, 249 ],
[ -42, -189, -86, -196, -88, -23, -175, 150, -283 ],
[ 106, -289, 183, 211, -292, 70, 199, -101, -281 ],
[ -176, -281, -293, -284, 240, 188, 76, -77, -135 ],
[ 235, -45, -117, -20, 160, 222, -19, 9, -131 ],
[ -25, -92, 7, -59, -138, 104, -168, -156, 294 ],
[ -258, 71, 102, -5, -22, -48, 264, 213, 8 ],
[ 237, 270, -140, -34, 253, 272, 25, 25, 44 ],
[ 17, -106, 171, -240, -194, -189, -209, -133, -98 ],
[ 12, 168, -275, -229, 28, 38, 176, -76, 15 ],
[ 198, -250, 119, 165, 230, 247, -193, -178, -102 ],
[ 150, -166, -195, -114, -171, 164, 138, 55, 42 ],
[ 199, 126, -30, 86, -59, 37, 135, 2, 269 ],
[ -244, -124, -44, -257, -215, 239, -118, 234, -120 ],
[ -208, -278, -260, 92, -272, -160, -296, -151, 198 ],
[ 0, -149, 236, -98, 243, 155, 281, 244, 95 ],
[ 133, -110, 75, 274, -291, -56, 137, 265, 88 ],
[ -171, 127, 139, -199, 234, 280, -269, 96, -105 ],
[ -272, 123, -25, 95, 193, 211, -118, 215, -61 ],
[ 32, -225, 268, -233, -9, -90, 50, -285, 65 ],
[ 101, -145, -237, -296, -290, 18, 138, 138, 245 ],
[ -82, -259, -230, 235, -135, -269, -242, 214, -204 ],
[ -149, 52, 84, 157, 157, -51, -130, -170, 32 ],
[ -285, -133, -222, 295, -70, 69, 204, 236, -238 ],
[ 43, -130, 265, -221, 239, 111, -299, 151, 35 ],
[ 187, -49, -179, -228, -261, -95, -10, 119, -246 ],
[ -51, 160, -294, 52, 244, 114, -159, -181, 52 ],
[ -265, 76, 45, -211, 256, 156, -51, 77, 136 ],
[ 257, -231, 292, -138, 278, 62, 69, 188, 74 ],
[ -182, -104, -181, -277, -128, 235, 181, -149, 257 ],
[ -269, 213, -159, -192, -156, 169, 268, 43, -276 ],
[ 73, 11, -299, 58, -222, -245, -295, -267, -26 ],
[ -46, -37, 33, 151, 29, 214, 18, 25, -193 ],
[ 127, -209, -284, 175, -25, 178, 165, -254, 288 ],
[ -235, 134, -140, -117, -3, -203, 8, -43, 170 ],
[ -93, 217, 259, 131, -140, 51, -234, 250, -284 ],
[ -136, 167, 20, -113, -115, -61, 29, -91, -234 ],
[ -23, -31, -291, -55, -272, 199, -12, -249, -87 ],
[ -91, 96, -65, 47, 173, 255, -103, 300, -135 ],
[ 284, 169, -173, 47, 7, -97, 74, 245, -202 ],
[ 63, -78, -222, -154, -226, 4, 253, -26, 109 ],
[ 108, 206, -255, 48, -102, 42, 119, -193, -75 ],
[ -284, 178, 165, 272, 280, 32, -272, -211, 273 ],
[ 229, 299, -128, -73, 288, 39, -83, 193, 9 ],
[ -111, -289, -112, -222, -232, 193, 254, -21, -20 ],
[ -278, -57, -82, -23, 77, -235, -275, -241, 198 ],
[ -147, -63, 155, 278, -203, -195, 188, 118, -159 ],
[ -114, -133, 114, 137, 109, -52, 2, -104, 224 ],
[ 279, -167, 136, 194, -44, 283, 25, 6, -54 ],
[ -145, 252, 227, 174, -28, -64, 107, -26, 197 ],
[ 17, -293, 298, 276, -53, -248, 224, -224, -283 ],
[ -91, -242, 20, -124, -287, 198, -34, -29, 218 ],
[ 203, -287, -116, 180, -149, -72, -69, -254, -32 ],
[ -116, -174, -222, 198, 130, 189, -59, 170, 175 ],
[ -39, -37, -40, 250, -164, -283, 288, -272, 54 ],
[ -52, -56, -157, 24, -174, 199, -123, -218, -210 ],
[ 235, -105, 130, -176, 216, -212, 283, 291, 141 ],
[ 29, 121, 225, 208, 215, 26, -102, 280, -284 ],
[ 52, -122, -67, -249, 265, -209, -193, 33, -251 ],
[ 237, -181, -110, 173, 138, 78, 230, 287, -136 ],
[ -254, 27, -130, -151, 137, -50, 244, 32, 257 ],
[ 296, 298, -43, -176, 150, 10, 10, -201, 259 ],
[ -79, 291, 161, -292, -50, -296, 214, -95, 280 ],
[ 126, 150, -258, 157, 162, 22, 154, 13, 225 ],
[ 214, 102, 135, 137, -296, -173, 92, 188, 35 ],
[ 60, -66, -137, 21, 282, 161, 127, -158, 143 ],
[ -153, 251, 66, -146, -46, -168, 16, 138, 114 ],
[ -11, -189, 140, -15, -153, 212, 122, 161, 50 ],
[ -93, 3, -105, 203, -296, -101, 198, -243, 230 ],
[ 204, -79, 75, 31, -264, 20, 37, -168, -138 ],
[ 285, 82, -33, 121, 15, -47, -138, 46, -124 ],
[ 137, 222, 230, -271, -85, 169, -121, 82, 42 ],
[ 151, -198, -296, 38, 149, -188, 181, 293, -231 ],
[ -26, 68, 244, -7, 212, 76, -195, -73, -265 ],
[ -8, 236, 140, -189, 188, -7, -88, 66, -278 ],
[ 42, -274, -78, 78, 217, -288, -250, -117, 1 ],
[ 229, 167, 92, -22, 72, -40, 240, 2, 186 ],
[ -188, 28, 213, 274, 245, -274, -272, 87, 255 ],
[ -156, 45, 156, -108, -232, 249, 248, 244, -36 ],
[ -187, -86, -87, -21, -117, 230, -198, -213, -202 ],
[ -175, -15, 294, -199, 100, -178, -104, 8, -288 ],
[ 116, 153, -198, -290, 264, -165, -40, -300, 56 ],
[ -227, -132, 213, -120, 25, -167, 18, -6, 97 ],
[ 291, 179, 110, -256, 3, 261, -148, 258, -196 ],
[ -119, 48, 83, -160, -9, -208, 152, 213, 69 ],
[ -272, 8, -100, 6, 284, 199, 266, -48, 241 ],
[ 208, 152, -238, -79, -86, 168, -206, -119, 19 ],
[ -222, 172, 205, 247, 150, 180, -243, -161, -129 ],
[ 152, -84, 14, -295, -299, -72, 26, 203, -84 ],
[ -201, -294, -48, -13, -57, 143, 85, -94, 174 ],
[ 64, 223, -14, 250, -86, -289, -108, -14, 122 ],
[ -44, -106, -252, -69, -105, 30, 141, -260, -90 ],
[ 35, -72, -172, -126, 181, -224, 204, 238, -244 ],
[ 225, 194, -207, 147, 300, -128, 233, 5, -77 ],
[ 94, 83, 21, -288, 180, 17, -144, -261, -179 ],
[ 115, 257, 204, 158, -102, -82, 67, 14, -180 ],
[ -68, 122, -134, -130, -279, -43, -187, -201, -27 ],
[ -78, -206, 64, -6, -204, 234, -3, -83, -244 ],
[ 279, 136, -173, 176, 45, -29, 190, -73, -111 ],
[ 146, -92, -298, -178, -121, -119, 93, -88, -231 ],
[ 140, 88, 19, -3, -279, 119, 268, -160, -243 ],
[ 233, -105, 31, -121, 244, 185, 195, 30, -9 ],
[ -130, -173, 265, -174, 259, -10, 262, -48, -118 ],
[ -98, -155, 196, 69, -279, 68, 141, -138, 23 ],
[ 239, -9, 49, 37, -242, 206, 103, 117, -138 ],
[ 3, 116, 267, -209, -12, -249, 113, -133, -103 ],
[ -277, 280, 82, -154, 257, 229, 159, 102, 193 ],
[ 94, 249, -186, 271, 74, -126, 258, 260, -39 ],
[ -211, 145, 119, 260, -157, -20, -195, -39, 150 ],
[ 181, 79, 54, 34, -117, -71, 44, 252, 15 ],
[ 42, -179, -57, 178, 101, 71, -227, -8, 201 ],
[ 208, -216, -208, 53, 16, -294, -254, 133, 279 ],
[ -179, 171, -296, 229, -181, -131, 241, -285, 189 ],
[ -294, -51, 159, -44, 173, 181, 114, 72, 114 ],
[ 223, 141, -69, -9, -232, 286, -197, 42, 212 ],
[ -187, 209, -196, -213, -255, 212, 50, -298, 94 ],
[ 47, -25, 20, 155, 183, 241, 180, -258, 240 ],
[ 52, -129, 12, -287, -292, 212, 151, 299, 144 ],
[ -147, 72, 155, 157, -226, 50, 109, 233, -113 ],
[ 123, 240, -169, -276, 242, -40, -223, -230, -77 ],
[ -69, -95, -259, -89, -242, -172, -188, -107, -71 ],
[ -86, -147, 25, 55, -141, -199, -108, 274, -35 ],
[ 129, 63, 49, -210, 157, -269, -298, -32, 63 ],
[ -41, 194, 195, 129, -223, 18, 249, -291, 257 ],
[ -26, 92, 225, -193, -66, 293, 249, -287, 164 ],
[ -132, 223, 0, -150, -87, -29, -275, -189, 193 ],
[ 267, -135, -113, 139, 285, 146, -157, -51, 230 ],
[ 212, 238, 283, -241, 32, 273, 23, -260, 22 ],
[ 297, 74, -229, -258, 257, -134, 172, -194, -10 ],
[ 239, -265, 66, -23, 43, -300, -11, 144, -1 ],
[ 143, 135, 82, 145, -57, 102, -55, 30, 208 ],
[ -292, -221, -8, 228, 132, -204, -140, -74, 114 ],
[ 184, -97, 159, 55, 64, 258, 270, -87, 170 ],
[ -52, 120, 204, -277, 252, 200, -294, 253, 90 ],
[ -237, 212, 96, 32, -212, 138, -290, 109, 62 ],
[ -66, 61, 5, -245, -109, 106, 138, -135, 3 ],
[ 39, 252, -238, -149, 138, -112, -85, -209, 107 ],
[ 153, -49, -76, -146, 134, -78, 19, -176, -288 ],
[ -213, -72, 30, -238, 110, -173, -36, 150, 134 ],
[ -258, 253, -64, 74, 166, 107, 50, 51, -172 ],
[ -159, 24, 266, -212, -175, -151, -28, -38, 149 ],
[ -46, -102, 44, -187, 38, -296, 9, -293, -247 ],
[ 238, -200, -289, -23, -54, -4, 192, 158, -105 ],
[ 160, 36, 178, 179, -191, -286, -65, -232, 169 ],
[ -2, 139, 34, 160, -256, 24, 178, -150, -283 ],
[ 109, -60, 278, 83, -102, 217, -156, -295, -164 ],
[ -257, -184, -6, -167, -61, 295, -40, 167, 299 ],
[ 243, -196, 248, -173, 161, 193, 286, 115, -105 ],
[ 76, 92, 95, 166, 204, 173, -276, 179, 77 ],
[ 193, -277, -171, 292, -227, 153, 114, -150, 104 ],
[ -65, -147, -202, -122, 210, -117, -263, -235, -299 ],
[ -110, -27, 68, 47, 93, -193, -298, -68, 65 ],
[ -195, -95, -158, -163, 240, 0, -138, -119, -267 ],
[ -44, -201, -4, -183, -204, 65, -187, -221, 272 ],
[ 113, -220, -59, -245, -41, -99, 286, 72, 190 ],
[ -107, 12, 193, -61, 29, 122, -54, -15, 44 ],
[ -120, -218, 87, -164, 132, 53, -245, 84, -42 ],
[ -72, -15, -191, -206, -99, 90, 254, 0, 64 ],
[ -9, -132, -239, -199, -250, 248, -87, 223, -102 ],
[ 7, -226, 149, 58, 296, 289, 52, -142, -133 ],
[ -257, 290, -1, 208, 77, 110, 5, -15, 39 ],
[ -42, -180, -131, -218, -124, -120, 60, -98, 168 ],
[ 267, 265, -195, -268, -265, -296, -16, 195, 71 ],
[ 7, 1, 284, -68, -280, -290, -286, 62, 149 ],
[ -295, 153, 218, 287, 95, 164, 147, -22, -157 ],
[ 90, 286, 253, -291, 248, 127, -66, -178, 249 ],
[ 165, 253, -87, -84, 62, 214, -15, -242, -214 ],
[ -198, -114, -95, -94, -224, 28, -5, -159, -263 ],
[ -17, -177, 163, 135, 116, -48, -265, 162, 171 ],
[ -139, -284, -18, 294, 79, -114, 160, 43, 37 ],
[ 154, 127, 162, -281, 45, 98, -253, 104, 263 ],
[ 199, -95, 88, -20, 118, -221, 92, 203, -25 ],
[ -198, 24, 125, 28, 12, 271, -58, -176, 218 ],
[ -136, 257, -75, -25, -86, 293, 73, 130, 107 ],
[ 85, -241, -221, 118, 167, -293, -159, 260, 48 ],
[ -295, -83, -235, 84, -146, 220, -196, -281, 10 ],
[ 73, -247, -71, -68, -117, 30, -62, -80, 70 ],
[ 16, 295, -185, -192, -104, 118, -268, 132, 117 ],
[ 163, 29, 15, -206, -65, -166, 218, -11, 232 ],
[ -268, -18, -1, 262, 190, 117, 99, 116, 93 ],
[ 66, 216, -52, -293, -208, 152, 54, 43, 69 ],
[ 264, 32, -195, 227, -141, 207, 260, 95, -281 ],
[ 227, 40, -155, -7, -72, 277, 221, -69, -167 ],
[ -173, 65, -233, 241, -232, 255, -143, -188, -231 ],
[ -10, 5, 277, 38, -53, -135, -217, -257, -287 ],
[ -181, -267, 49, 18, 299, 200, 104, -130, -138 ],
[ 173, -153, -111, -110, 181, 66, -102, 155, 233 ],
[ -69, 173, 103, -287, 219, -24, 11, -257, -288 ],
[ -229, 239, 4, 104, -202, 57, -228, 257, 31 ],
[ 3, -95, 83, 183, 91, 10, 220, -196, -86 ],
[ 158, 160, 11, 196, 13, -60, 59, 128, 230 ],
[ 214, 230, 200, -227, -191, -236, -99, -201, -52 ],
[ -265, -19, 284, 270, -170, -31, 192, -157, 287 ],
[ 77, 102, -15, -284, 28, 85, 168, 194, 209 ],
[ 145, 35, -67, -200, 268, -74, 253, 140, 80 ],
[ 153, 187, -63, 258, -192, -209, 204, 12, -116 ],
[ 75, -116, 226, -235, 294, 128, -144, -266, -33 ],
[ 141, 18, 205, -202, -47, 15, -243, -109, 293 ],
[ 87, 215, 185, 17, -276, -230, 297, -167, -117 ],
[ 120, 16, -234, -149, 287, -163, 130, -248, 115 ],
[ -114, 232, 127, 275, 231, 151, 112, -138, 223 ],
[ -149, -241, 134, 53, -25, 250, -204, 109, 232 ],
[ -143, -293, 288, 168, 19, 10, -151, 108, -245 ],
[ 139, -182, -276, -26, -115, 74, 0, -217, 227 ],
[ -12, -287, 29, -30, 71, 64, -203, -258, -128 ],
[ 167, 25, 138, -123, -198, -121, -217, -192, -279 ],
[ -258, 27, 264, -127, -291, -78, -114, -230, 27 ],
[ -140, 142, 293, -86, -66, -153, 182, 220, 140 ],
[ -226, -272, 160, 248, -155, -172, -164, -153, -172 ],
[ -210, 114, 283, 43, 223, 100, -200, -24, 121 ],
[ -164, -80, -53, 134, 162, 164, -124, -251, 186 ],
[ 56, 215, 240, 114, 100, 125, 285, -181, -46 ],
[ -274, 227, 5, 47, 286, -198, 128, 179, -175 ],
[ -13, -51, -54, 228, -266, -90, 76, -254, 132 ],
[ -120, -219, -108, 38, 241, -4, -125, -37, -51 ],
[ 273, -136, -138, -97, -254, 283, 117, 147, 161 ],
[ -137, -16, -123, 167, -118, -176, -36, -102, 79 ],
[ -176, 247, 242, 124, 71, 245, 68, -163, 126 ],
[ 28, -224, 63, -22, -159, -182, -43, -13, -218 ],
[ -202, 201, -249, -35, 32, 38, 290, 124, 192 ],
[ -45, 52, 297, 212, 204, -65, 211, -227, -216 ],
[ -187, -133, 206, -171, 247, -127, -84, -55, -58 ],
[ 141, -140, 89, 106, -86, 80, 151, -28, 270 ],
[ -198, -133, 169, -285, -39, 224, -41, -18, 116 ],
[ 42, 133, 292, -55, 197, 137, -237, 199, 59 ],
[ -56, 99, -118, -6, -58, -83, 267, -104, 167 ],
[ -206, 26, -176, 223, -62, 171, -179, -144, 196 ],
[ -131, 83, 92, -71, -78, -141, -201, 159, 193 ],
[ 30, -65, -83, 177, 233, -51, 267, 42, 163 ],
[ -281, 70, 127, -157, 23, 122, 299, -94, 296 ],
[ -224, 112, 19, 17, 175, 99, 274, -222, 277 ],
[ 140, 226, -73, 60, 48, -223, 237, -33, 138 ],
[ -17, 241, 73, 144, 226, 212, 273, -175, -174 ],
[ -122, -144, 184, 61, -286, -86, -291, -154, 216 ],
[ -63, -29, -163, -177, 186, -116, -203, 45, -91 ],
[ 261, 161, 57, -258, -76, -145, 173, 8, 96 ],
[ 31, -151, -154, -196, 33, -204, -79, -280, 242 ],
[ -296, -152, -63, -248, -278, -299, 213, 35, -68 ],
[ 278, 200, -5, -24, -229, 61, -213, -113, -234 ],
[ 99, 43, 153, -36, 54, -58, -196, -236, -28 ],
[ -206, -129, -151, 122, 115, -51, 126, 45, 49 ],
[ 127, -135, -136, -168, 255, 281, 166, 191, -117 ],
[ 244, 101, 20, -265, -245, 118, 80, -86, 174 ],
[ -211, -193, -204, 213, 232, 109, 59, 300, 285 ],
[ 172, -271, 296, -191, 28, -220, 235, 149, 229 ],
[ 162, 66, 291, -63, 116, -54, -17, -96, -53 ],
[ 167, -219, -122, -85, -298, 7, -42, -286, -19 ],
[ 53, -183, 255, 162, -16, 7, -275, -273, -220 ],
[ -190, -293, -74, 189, -224, 17, 196, -203, -63 ],
[ 124, 97, -165, -151, -175, -68, -10, -93, 186 ],
[ 234, 250, 290, 279, 23, 197, -92, 296, 158 ],
[ 242, 12, -78, 193, 153, -78, 81, 260, 35 ],
[ -160, -263, 128, 24, -290, -116, 130, -258, 290 ],
[ 133, 103, -27, -37, -241, 250, 174, -160, 241 ],
[ -247, -127, -201, 206, 44, -255, 49, -125, -286 ],
[ 95, 251, -158, -299, -186, 198, 2, 207, -256 ],
[ -249, 116, 17, 17, 118, -274, -187, -34, -118 ],
[ 62, -253, 63, -169, -185, 78, -98, 46, -246 ],
[ 90, -193, -133, -168, -272, -209, -143, 236, 137 ],
[ -100, 206, 166, -10, -201, 282, -126, -149, 148 ],
[ -214, -237, -259, -50, 81, 190, -161, 204, -183 ],
[ 111, 103, 155, 75, 38, 133, 73, 73, -152 ],
[ 90, 18, 135, 23, 271, 205, 27, 172, 7 ],
[ -7, -146, -245, 200, 268, -161, -198, -243, 110 ],
[ 96, -11, -98, -30, 168, 30, 91, 168, 153 ],
[ 96, -226, -217, -203, -99, 28, -89, -113, 2 ],
[ 1, 209, -25, 73, 44, -9, -273, -120, -156 ],
[ 291, -169, 102, 256, -274, -261, -300, -233, -290 ],
[ 179, -159, -38, -32, 157, -97, 22, -289, -148 ],
[ -232, -255, 166, -33, -256, -235, 85, 123, 109 ],
[ -86, 47, -256, 162, -104, -5, 215, -264, -142 ],
[ -249, 15, 95, 11, -27, 138, 193, 38, -123 ],
[ -169, 278, 95, -140, -222, 272, 124, -144, -191 ],
[ -40, 64, -267, 31, -96, -45, -67, -206, -80 ],
[ 270, -22, 219, -108, 122, -174, -66, 56, -88 ],
[ -107, 149, -296, 138, -91, -123, -25, -91, 79 ],
[ -181, 194, 9, 54, -88, -274, -10, -86, -37 ],
[ 209, -208, 47, -54, 300, -143, 129, 101, -296 ],
[ 89, 130, -256, 282, -43, 3, -139, 81, -208 ],
[ 296, 256, 286, -205, 10, 234, 112, 124, 260 ],
[ 251, -140, 40, 133, 81, 213, 68, -287, 11 ],
[ 120, -60, -256, 142, 13, -139, 188, -195, 153 ],
[ -196, -101, 292, 141, 294, -168, -260, 278, -289 ],
[ 275, -211, -154, -180, -252, 291, 26, -230, -108 ],
[ 96, 212, 222, 148, 17, -286, 286, -153, -233 ],
[ 178, 221, 93, 80, -30, -75, 277, -8, -194 ],
[ 63, 57, 111, -77, 167, 55, -134, -119, -219 ],
[ -288, -131, -172, 165, 159, 207, -197, 62, -260 ],
[ -185, -196, 158, -292, 52, 219, -298, 286, 167 ],
[ 241, 26, -232, 170, 35, 118, 158, -150, 246 ],
[ -173, 202, 52, -145, -282, 234, -150, 292, -152 ],
[ 166, 221, -160, -297, 159, -200, -154, -40, -286 ],
[ 8, 110, 256, -290, 46, -226, 199, -144, -291 ],
[ -170, -239, 171, -160, -282, 146, 226, 300, -123 ],
[ -190, 89, 50, -24, -101, -141, -224, 117, 265 ],
[ -236, 47, -174, -132, -12, 177, 3, -235, 43 ],
[ 237, 98, 282, -286, 113, -290, -45, -260, -53 ],
[ 23, 155, 156, 276, 82, 144, -287, 62, 234 ],
[ 195, -122, 141, -112, 276, 141, 67, -289, 256 ],
[ -155, 276, -189, 8, -140, -135, -66, -296, 171 ],
[ 276, -88, -199, 133, 217, 32, -58, -277, 124 ],
[ 168, 218, -135, 243, 201, 282, -74, -262, 270 ],
[ 123, 92, -57, 68, 31, -255, -66, 170, 208 ],
[ 92, 242, -107, -21, 221, 71, 220, -206, -147 ],
[ -18, 258, 96, -174, -257, 149, -187, -150, 148 ],
[ 2, -209, -157, -236, 15, -77, -140, -232, 152 ],
[ 192, -124, -220, -84, -152, 231, 39, -147, -124 ],
[ -136, -217, 145, -2, -147, 153, 223, -8, 220 ],
[ -177, -110, 296, 108, 257, -187, 34, -264, 176 ],
[ -298, 22, -65, 124, 5, 264, 271, 37, -225 ],
[ 8, 293, -90, -249, 29, -221, -273, 262, -260 ],
[ -210, -60, -291, -168, -34, 27, 160, 272, -119 ],
[ -100, 12, 251, -13, -163, -55, -24, -51, 242 ],
[ 10, 26, 205, -102, -268, -60, 196, 44, -34 ],
[ -240, -297, 187, -31, 97, 16, 276, 222, -139 ],
[ 119, -129, -113, -267, 171, -173, 114, -77, -133 ],
[ 202, -285, -130, 249, 82, -100, -26, -76, 185 ],
[ -95, -76, -87, 243, 27, -145, -112, -236, -41 ],
[ 57, -294, -170, -50, -241, -3, 0, -61, 299 ],
[ 72, 43, 222, -168, 65, 11, 263, -281, -208 ],
[ 143, -292, -264, -264, 273, -35, -111, 75, -220 ],
[ -186, -158, -117, -139, -284, 56, -159, 31, -5 ],
[ -2, 162, -152, 237, -50, -50, 141, 110, 86 ],
[ -200, -228, 192, -263, 123, 164, 16, -268, -15 ],
[ 73, -181, 215, -170, -119, -118, 236, 286, 12 ],
[ -234, 140, -102, 276, 222, -141, 28, 196, 265 ],
[ 191, -28, 299, -71, 208, -262, 84, -211, 32 ],
[ -290, 83, 256, 291, -90, -82, -21, -103, 268 ],
[ 181, 294, 249, -273, 57, 231, -182, 23, -275 ],
[ -186, 190, -185, -241, -32, 96, 222, 211, 282 ],
[ 20, 151, 235, 68, -105, 105, -227, 56, 220 ],
[ 109, -190, 5, -203, 115, -198, -183, -235, -201 ],
[ -147, 153, -201, 276, -87, 117, 123, -216, 281 ],
[ -219, -15, -131, -127, 97, -24, -183, -298, 228 ],
[ 115, -141, -259, 22, 300, -294, 112, 129, -62 ],
[ -121, 290, 230, -69, -2, -270, -291, -192, 237 ],
[ -102, 255, -163, -242, 174, 0, -170, 1, -60 ],
[ -227, -147, 180, -228, 252, -286, 142, 154, 160 ],
[ 223, 180, 294, 289, -175, 87, 66, -139, 63 ],
[ 133, 10, 151, 142, -152, -162, -192, 213, 179 ],
[ -132, -116, -57, -97, 16, 179, -240, -104, 166 ],
[ 234, 234, 259, -273, -36, -188, -202, 53, -243 ],
[ 43, -48, 21, 223, -186, 232, -286, -57, 258 ],
[ -82, 56, 224, 246, 257, 235, 163, -205, -72 ],
[ -60, -16, 184, -178, 34, 230, -124, -26, -202 ],
[ 94, 128, -58, 280, 44, 30, 146, -170, 66 ],
[ 34, 216, 42, -223, -110, 186, -143, 212, -233 ],
[ 279, 155, -59, 119, -143, 275, -202, 154, 233 ],
[ 267, -203, 85, -34, -168, -105, -281, -53, -10 ],
[ -177, 276, -224, 263, -254, -59, -121, 261, 165 ],
[ 21, 176, -210, 152, 99, -105, -189, -281, 133 ],
[ -113, 155, 115, 130, -40, -256, 23, 111, -261 ],
[ -59, -185, -63, 299, -172, 214, 5, -206, -78 ],
[ -273, -179, -168, -12, 296, -83, 246, 173, -179 ],
[ 228, -121, 62, -184, -124, 186, 152, -181, 147 ],
[ 269, 7, 140, 178, -188, 62, -284, 5, -232 ],
[ 8, -141, -271, 267, 48, 261, 173, 5, -139 ],
[ -110, 137, 73, -127, -16, 117, 156, -272, -284 ],
[ -139, -19, -195, 179, 26, 103, 173, -219, -34 ],
[ -107, -284, -289, 86, 54, 65, 89, -164, 138 ],
[ 236, -260, 122, 7, 108, 143, -60, 90, 184 ],
[ 71, 121, -166, 142, 232, 228, -212, 126, 113 ],
[ -178, 16, 113, 87, -293, 47, -263, -145, 113 ],
[ -220, 82, 203, 165, 275, -27, -55, -191, -229 ],
[ 13, -85, 53, -120, -68, 262, 115, 271, 184 ],
[ -237, 101, 116, 175, 8, -61, -293, -295, 288 ],
[ -98, -90, 253, -227, -276, -163, -75, 242, 136 ],
[ 26, -135, 252, 292, 239, 15, 187, -113, -27 ],
[ -26, 81, 118, -108, 24, 51, 106, 73, -143 ],
[ 14, -270, -7, -206, 25, 144, -169, -203, -161 ],
[ 42, 11, 91, 157, 178, -262, -5, 104, -215 ],
[ -285, 277, -124, -25, 231, 235, -217, -187, -300 ],
[ 192, -297, 283, -25, 169, 183, 208, -173, 18 ],
[ 251, -271, 10, -175, 10, -231, 249, 126, -158 ],
[ -263, -133, 199, -68, -203, 143, 166, -70, 68 ],
[ 97, -166, -189, 103, 26, 63, -65, 121, 181 ],
[ 237, -99, -180, -57, -178, 261, -196, 189, -265 ],
[ 118, 215, 243, -278, 38, 163, 279, 284, 220 ],
[ 54, 59, -70, 45, -128, -272, 111, 284, -251 ],
[ 169, -102, -74, -216, -196, 209, -245, -19, -48 ],
[ -129, 265, -47, -58, -178, -176, 202, -279, -268 ],
[ -175, -11, -221, 204, 21, -94, 164, -296, 198 ],
[ 266, 286, 254, -107, -99, -141, -70, -234, -42 ],
[ -14, -34, -40, 3, 169, -73, -140, 86, 231 ],
[ -166, 257, 225, 121, -104, -66, 191, 81, -247 ],
[ -265, 193, -8, -250, 246, -192, 241, -176, 134 ],
[ -283, 259, -104, 253, -118, 106, 36, -129, -30 ],
[ 213, 283, -133, -79, -155, -182, -281, 250, -33 ],
[ -296, 28, -261, -79, 100, -270, 298, 300, 224 ],
[ -290, -100, 200, 264, -242, 74, -180, 265, -67 ],
[ 153, -42, -210, 208, 43, -291, 41, -184, 215 ],
[ -166, 7, 94, 62, 162, -257, 86, 201, 55 ],
[ -98, -139, -101, 119, -188, -35, 71, -75, -178 ],
[ 126, 92, -273, -127, 154, -64, 287, 261, -36 ],
[ 80, -154, -196, -87, 105, -198, 269, -238, -1 ],
[ 93, -277, 135, 215, -214, 47, 15, -100, 269 ],
[ -43, 25, 259, 157, 210, 192, -213, 157, 168 ],
[ 22, -89, 219, 120, -29, -218, -97, 107, -118 ],
[ 268, 249, 78, 141, 161, -295, 120, 151, -229 ],
[ -83, -20, 36, -290, 236, 77, -115, 26, 20 ],
[ -261, -34, -265, -259, -85, -83, 18, 269, -18 ],
[ 227, -92, 171, -118, 45, -105, -23, -131, -266 ],
[ 221, 48, 114, 125, 22, 218, -267, 240, -12 ],
[ 31, 116, 9, -215, 135, 278, 293, -148, -98 ],
[ -104, 79, 291, -116, -275, -182, -190, 143, -58 ],
[ -61, 248, 123, -238, 298, -24, -26, 104, 200 ],
[ 90, 131, 234, -55, 101, -161, 19, -1, 204 ],
[ -111, 279, -83, 252, 259, -185, 124, 181, -23 ],
[ 40, 42, 21, 85, 229, -164, 8, -141, 285 ],
[ -134, 70, 156, 204, -200, 57, -139, -264, 72 ],
[ 264, -71, -134, 231, 254, 205, -232, 147, -271 ],
[ 44, 35, 35, -141, -245, 266, 131, 90, 64 ],
[ 168, -283, 250, 272, 214, 135, 152, 101, 115 ],
[ 137, -43, 70, 139, 136, 198, 198, 168, -115 ],
[ 229, 35, -296, 235, -206, -30, -50, -169, -114 ],
[ 8, -27, 195, 6, -9, -134, 250, 234, 13 ],
[ 143, -41, -169, 133, -230, -225, -192, 279, -19 ],
[ 266, 293, -161, -151, 208, 121, -278, -54, 141 ],
[ -247, -229, 126, 215, 0, -89, 98, 12, 157 ],
[ -76, -140, 236, 86, 97, 260, 28, 42, 109 ],
[ -36, -102, -144, -283, -295, 230, -186, 55, -17 ],
[ -292, 188, 254, 243, -94, -279, 108, 182, 40 ],
[ 271, 221, 256, 128, 254, -158, -243, -271, -120 ],
[ 143, -32, -117, 277, 5, 55, 212, 287, 132 ],
[ -150, 71, -277, -292, 38, 115, -68, 158, 153 ],
[ 144, -15, 33, -255, 271, 275, 197, 83, 163 ],
[ -48, 22, -72, -78, -248, -240, 108, 134, -27 ],
[ 282, 77, 159, 177, -38, 225, -84, -113, -106 ],
[ -58, -220, -27, 232, -120, 7, -203, -178, 245 ],
[ -214, 56, 2, -166, -199, 218, 71, 275, -204 ],
[ 292, -132, -174, -27, -158, -47, -264, -82, -40 ],
[ -68, -141, -166, -220, 198, -36, -29, 156, -262 ],
[ -98, -26, 150, -18, 195, 39, -256, 275, 68 ],
[ -70, -65, -284, -166, -295, 50, 79, -139, 7 ],
[ -14, 244, -270, 114, 220, -119, 39, 201, 226 ],
[ -223, 217, 217, -150, -154, 119, 149, 109, 28 ],
[ -5, -32, 160, 67, 162, -92, 94, 257, 220 ],
[ 106, 117, 87, -200, -179, 248, 110, 29, -63 ],
[ 295, 87, 228, -236, 255, -86, 29, 252, 106 ],
[ 164, 52, -243, -27, -276, 265, 254, -277, 286 ],
[ 25, 6, 283, 264, 224, 161, 72, -247, 83 ],
[ -8, 106, -250, -122, -227, 168, -90, 215, 41 ],
[ 230, -267, 18, -211, -229, 28, -174, -205, 239 ],
[ -242, 95, -166, 131, 297, 118, 225, -73, 217 ],
[ -58, -238, -77, -48, 228, -270, 75, 173, -297 ],
[ -117, 232, -7, 220, -73, -219, -274, -56, -47 ],
[ 111, 137, 244, -243, 56, 158, 203, 142, 178 ],
[ -43, -77, -56, -113, -111, -253, 20, 200, 9 ],
[ -18, 86, 153, -63, -42, -241, -127, -297, 123 ],
[ -187, -205, -289, 247, -126, 135, -122, 261, 174 ],
[ -38, -32, 149, 51, -211, 270, 62, -14, -183 ],
[ 45, -128, 183, 231, 111, 12, 100, 203, -39 ],
[ 292, -220, 262, 37, 222, -289, 245, -188, -249 ],
[ -113, -58, 123, -271, 89, -40, 107, 275, -282 ],
[ -134, 24, -11, -299, -226, 48, 122, -2, 2 ],
[ 171, -95, 153, 186, -165, -5, -222, -63, -269 ],
[ -275, 272, 188, -84, 208, 157, 139, 108, 29 ],
[ -43, 26, -75, 108, -58, -231, 53, 232, -122 ],
[ -181, 102, 86, -164, 193, -77, 140, 229, -256 ],
[ 291, -291, -100, -18, -266, 248, -77, -286, 26 ],
[ 149, -286, 12, -190, 133, 22, 239, -163, 234 ],
[ 66, -188, 34, -9, -202, 176, -249, -74, 97 ],
[ 276, 153, -116, -157, 209, -64, -183, 122, 263 ],
[ -290, 39, 3, 193, -104, -202, -87, 94, 272 ],
[ -106, -56, -27, 139, 209, -9, 182, -76, -105 ],
[ 31, -83, -4, -177, -147, 90, -122, -89, 40 ],
[ 47, 27, -16, 121, -223, 207, -14, -139, 200 ],
[ 124, -260, 155, -142, -12, -26, -21, -152, -217 ],
[ 165, -64, -294, 77, -204, 198, -177, 45, 52 ],
[ 8, 280, -217, -135, 187, -142, -293, 68, -247 ],
[ 91, -24, 11, 221, -141, -243, -46, 195, 159 ],
[ 208, -289, -140, 258, 0, -130, 49, -172, 222 ],
[ -14, -47, 82, -226, -45, 222, 223, 143, -269 ],
[ -99, 103, -35, 296, -49, -267, 33, -39, -239 ],
[ 71, -107, 138, -67, 188, 252, 190, -63, 168 ],
[ 126, 141, 70, -273, -58, -1, -76, 51, -257 ],
[ 273, -119, 219, 89, -176, 279, 254, 73, -7 ],
[ -174, -163, -54, -178, 64, 242, 146, 30, 273 ],
[ 146, 70, -103, 124, -138, -52, -229, 218, -295 ],
[ 84, -291, 254, -196, -280, 201, 111, -75, 275 ],
[ -203, 195, 152, 167, 271, 184, -142, -137, 165 ],
[ 105, -194, -185, -46, -275, -290, -134, -28, -38 ]
];

solution_data := [
[ 21, 4, 8, 5 ],
[],
[ 104, 29, 11, -12 ],
[ 30000, -38408, 55569, 8394, 67945 ],
[ 5 ],
[ 4957, -23357, 15299, -36611 ],
[ 103, -65, 518, -639 ],
[ 9200, 162644, 38137, 71896, 220252 ],
[ 3, 2, 1, 0 ],
[ 249, 1334, 256587, -707030, 244603969 ],
[ 243, -95, 13, 29 ],
[ -8, -140, 73164, 93876, 10771181 ],
[ -899, 134, 34437, 4408, -70320 ],
[],
[ 1, -2, 4, 1 ],
[ -691, -48248, 126437, 23244, 52713 ],
[ -2799, 93234, 108777, 57148, -83928 ],
[ 21936, 62034, 14211, 22466, -38312 ],
[ 4059, 134, 1472, -1049 ],
[ -653, 5893, 48544, -96296, -68943 ],
[ 0, 1, 8, -3 ],
[],
[ 0, 1, 1, 0 ],
[ 0, 1, 1, -1 ],
[ 2601, 1325, 1949, 3371 ],
[],
[],
[ 54856, -107797, 6361, 6739 ],
[ 1081, 2458, -53009, -790, 60645 ],
[ 5149, 39182, 385141, 78724, 118548 ],
[ 1435908763422206232228, -1079427547706030584951, 13212989357057013275609, 
13982802568484784150969 ],
[ 67753, 24710, -91291, 133892, 90840 ],
[ 11131, -4878, -8650, 72784, 13609 ],
[ -49887, -39480, -85620, -332148, 77544 ],
[ 1, 0, 7, 6 ],
[],
[ 1772, 11972, 236081, -655338, 8022105 ],
[],
[ 496, 387, 5308, 4509 ],
[ 12, -61, 41, 651 ],
[ 2 ],
[ -7330, 19623, 36782, 3792, 13281 ],
[ 656, -28736, 516077, 1569992, 785004 ],
[ 3 ],
[ 812, 646, -20585, 325230, 503433 ],
[ 10, -21, 1, 6 ],
[ 1726278230, -7173649733, 2265206134, 1496199905 ],
[ 82595190435842, 283407912491405, 91951253363803, 196824671141651 ],
[ 2, 1, 1, 1 ],
[ 210526783190450558, 214422924206092583, 39616712244215191, 134321706555720704 
],
[ 3312007428529080728, -6283051802033899019, 1073673942710030985, 
-2563203583809047377 ],
[ 3, 4, 0, 1 ],
[ 16089, -6181, 11113, -185 ],
[ 32244, 90664, 8725, 97978, -26867 ],
[ 163, -97, 87, -334 ],
[ 18, -11, 37, 64 ],
[ 5, 12, 57, -59 ],
[ 6189, 9073, 9553, -17962, -16484 ],
[ 6780633, 5635909, 2173949, 273876 ],
[ 71, -37, 11, -4 ],
[ 14327, 25904, 694, 2647 ],
[ 3 ],
[ 346392449, 478293371, 2287278806, 1541207013 ],
[ -1 ],
[ 4, 1, 0, 1 ],
[ 12708, 25603, 43895, 8138, 12041 ],
[],
[ 53270, 55252, 19269, -5420, 48900 ],
[],
[],
[ 3095, -2468, 118019, -12444, 794317 ],
[ 244, 615, 9262, -4597 ],
[ 65387, -155543, 3399, -29704 ],
[ 50013, 22596, 145390, 21168, -63063 ],
[ 5760, -94464, 678849, 698344, 180976 ],
[ 63, -7500, 38714, 226910, 102913 ],
[ 2 ],
[],
[ 60830945572003267187, 596011313775708850833, 3055327898743945852, 
-182263190436907391311 ],
[ 3, -7, 1, -1 ],
[ 285684789638357, -123532446304969, 20288226612807, -93612257045 ],
[ 136, -9543, -202, 339875, 254550 ],
[],
[],
[ -1557, 28542, 8326, 77929, 69793 ],
[ 16320, 290280, 852021, 408236, 42232 ],
[ 3688, -1055, 103, -1910, 16276 ],
[ 1710025202347, 7749415764045, 15026517022069, 1325000653995 ],
[ 2, -1, 22, 7 ],
[ 2 ],
[ 25137, -76686, 217, -69576, 44604 ],
[ -14943, 76090, 4459, 163598, 578417 ],
[ 2 ],
[ 1, 32, 5, -7 ],
[ 5795478826, -934313681, 352163564, -672612577 ],
[ 3 ],
[ 9816, -87036, -70543, 32428, 973960 ],
[ 3, 1, 1, 3 ],
[ 8, -43, 6, -1 ],
[ 190, 2052, 18026, 9860, 2596 ],
[ 3668, -90325, 27997, 163540 ],
[ 1021, 728, 167, -170 ],
[ 6865, -2746, 21521, 120484, 16512 ],
[],
[ 26541, 25002, 177505, 115564, 95280 ],
[ -7284, 63404, 37101, 418932, 3068272 ],
[ 2 ],
[ 5 ],
[ 698374, -3661925, 27427884, -423223 ],
[ 21021, 128806, -59595, 759348, 71448 ],
[ 253, 24066, 95647, -662406, 382249 ],
[ 992, -1985, 1120, 141 ],
[ 2629, -97750, 336837, 215612, -23104 ],
[ 9377, 23602, 36881, -74532, 64228 ],
[ 3601, -7954, -5931, -1236308, 54716 ],
[ 4366, 5753, 739, 102 ],
[ 2509, 4188, 29930, -13987 ],
[ 255, 166, 31, 5 ],
[],
[],
[ 135, -1978, 2739, 5281 ],
[ 2 ],
[ 7 ],
[],
[ -46503, 97746, 56487, 49318, 112893 ],
[ 3695, -2639, 508, -333 ],
[ 1522, -2177, 2271, -1007 ],
[ 679550249987386609529, 888355771570759800521, 133671521888257793869, 
113536201165560906830 ],
[ 4148, -173012, 637821, 999944, 219376 ],
[ 3 ],
[ 35841, -41588, 188440, 9228, 41884 ],
[ 3, 31 ],
[ 2, 3, 34, -25 ],
[ 4, 5, 3, -1 ],
[ -902, 902, -18213, 54810, 1041324 ],
[ 2 ],
[ 1, 0, 1, 1 ],
[ 111, -53, 11, 8 ],
[ 2 ],
[ 27289, -9554, 28955, 8834, 40177 ],
[ 1317569, 7538599, 228244, 2258599 ],
[],
[ -1 ],
[ -15959, 112998, 5071, 98958, -142507 ],
[ 1766738341764894, 18916613142232643, 1905890727781056, 47397807044407649 ],
[ 1, 1, 0, 1 ],
[ 41764, 16876, -219320, 490876, 208245 ],
[ 9601, -29350, -4143, 453344, 56252 ],
[ 13 ],
[ 2 ],
[ 3, 61 ],
[ 351152865140, -2464912910219, 24138779354107, -18260304079159 ],
[ -1 ],
[ -1 ],
[ 13932, 124716, -10324, 129156, 55809 ],
[ 14, -9, 1, 1 ],
[ 296076298, -364934749, 2211143978, 4225573741 ],
[ 2 ],
[ 814, 4411, -10700, 150787, 35994 ],
[ 13178, -13779, 1296, 5759 ],
[ -1 ],
[ 2695, 6269, 39605, 17110, 396706 ],
[ 12041, 13316, 11341, -415 ],
[ 60297, -95090, -46353, 95162, 83745 ],
[ 1, -1, 0, 1 ],
[ 88, 1103, 8260, -5199 ],
[ 643, -1188, 1270, -1027 ],
[ 3 ],
[ 69, -4703, 21719, 131297, 90259 ],
[ -17762, 82998, 62814, 270274, 159904 ],
[ 50649, -178936, 5968, -93508, 112124 ],
[ 2012136423, -5241585677, 256729259, -635935309 ],
[ -8199, 13923, 6341, -6366, 8628 ],
[ 3628, 23861, 6538, 68364, 5889 ],
[ 1234703697310688, -800642117917071, 8589732913772298, 13150953317926945 ],
[],
[],
[ 7607910542906613, 22922481285233200, 15195087625312765, -2824326317702168 ],
[ 5996, 4895, 1034, 3855 ],
[ 790, 3854, 37235, 610, -26088 ],
[ 2115, -334, 274, -65 ],
[ 44704, 213696, 62841, -16494, -184679 ],
[ 7, 11, 0, 1 ],
[ 11, -10, 28, 45 ],
[ -94455, 48, 8392, -371908, 278360 ],
[ 2 ],
[ 7, 15, 38, 33 ],
[ 6316987791, 6395075465, 2857716464, 5152916551 ],
[ 57196, 62324, -30647, -432, 66528 ],
[ 4297, 3337, 43129, -60178, -43510 ],
[ -156, 10248, -8446, 2400, 13778 ],
[ 206, -183, 86, -55 ],
[],
[ 2 ],
[],
[ 9580, -52210, 36031, -35961, -8796 ],
[ 2416, 1090, 10252, 2449, 15619 ],
[ 3029, 850, 6636, -9587, 79432 ],
[ 11, -3, 15, -19 ],
[ 576470164464, -2356022055049, 1542145350092, -744846248747 ],
[ 230, 413, 277, 5 ],
[ -37, 9802, 33892, 818248, 72687428 ],
[],
[ 3, 1, 47, -21 ],
[],
[ 9754641445572, -11648109850921, 358966629953, 1445434863934 ],
[ 3 ],
[ 2225260445, 652194744, 256612309, 44969122 ],
[ 17 ],
[],
[ 244, -15570, 25965, 432423, 101401 ],
[ 8365, 20926, 17415, 278494, 123073 ],
[ 2 ],
[ -15660, 25188, 743213, 290722, 64393 ],
[ 7, -15, 9, -11 ],
[ 51, -61, 23, -18 ],
[ 10, -3, 1, 1 ],
[],
[ 47772, 10852, 71740, 64672, 123109 ],
[],
[ 7, -3, 49, 27 ],
[ 2017, 45040, -59614, 153788, 374949 ],
[],
[ 9360498523, 8866616325, 18419042648, -53865810511 ],
[ 136799635906, 207862565203, 25201978543, -106683881266 ],
[ 163940, 22524, 277941, -56844, 209104 ],
[ 2619, 141, 59592, 61153, 116104 ],
[ 3, 37 ],
[ 504, -2304, 195757, 26492, 5507896 ],
[ 1, 11, 2, -1 ],
[ 19380, -884, -231411, 245222, 763713 ],
[],
[ 48849, 3666, -281063, 493168, 237808 ],
[ -11171, 17290, 76984, 1670, -160417 ],
[],
[ 2 ],
[ -1 ],
[ 0, 1, 3, 1 ],
[ 193591, -899115, 75455, -1802 ],
[ 5729, 798, 58911, 680666, -902183 ],
[ 1, 1, 1, -2 ],
[ -1 ],
[ 5, 2, 1, 0 ],
[ 2871, 386, -137288, 1970494, 4422101 ],
[ 77661, 60026, -210045, 285066, -532495 ],
[ 4309, 73108, -36410, 312216, 104089 ],
[ -1 ],
[ 135890109, -10611811, 11330470, 1659691 ],
[ -2284, -3040, 214836, -31810, 8489569 ],
[ 120448, 115024, 382521, 62270, 285081 ],
[ 51732, -20, 189793, 182296, 80424 ],
[],
[ -9800, 6884, -60031, 147124, 411280 ],
[ 6441, 4382, 482131, -112006, 7076885 ],
[ 35633, -5198, 7230, 8053 ],
[ -844, 21036, 91105, 251152, 6924104 ],
[ 11 ],
[ 16, -1, 7, 8 ],
[ 9345790, 478309, 109224125, 111516702 ],
[ 0, 1, 1, 0 ],
[ 0, 1, 1, 1 ],
[ -42924, -14112, 18388, -410064, -6231 ],
[ 5, 2, 1, 0 ],
[ 15045, 7850, 65325, -7764, 434452 ],
[ 2 ],
[ 7 ],
[ -1 ],
[ 3, 5, 3, -8 ],
[ -1 ],
[ 4376, 9303, 918, 1085 ],
[ 95, -58, 8, -25 ],
[ -41824, 93544, 45321, 216622, -81927 ],
[ 19921, 21550, 105059, 35126, 78393 ],
[ 151673, -210835, 189636, -97615 ],
[],
[ 1, 0, 1, 0 ],
[ 83496, -5728, -167, 168852, -120284 ],
[ 3, 1, 5, -2 ],
[ -167, -13040, 98735, 45336, -8791 ],
[ 25857, -13278, -62682, -6954, 45034 ],
[ 11 ],
[ 3 ],
[ 72100, 7992, -72724, 54778, 163998 ],
[ 274383, -61323428, 200194079, -188809540 ],
[ 913, 6042, 66675, 2173650, -43259319 ],
[ 10386246, -190399517, 267039223, 1361627805 ],
[ -1 ],
[ 24297, 85878, -46851, 98224, 74624 ],
[ 483380, 97601, 3922216, 5535279 ],
[ 4708, 260, 62693, -83026, 892649 ],
[],
[ 609, -294, -36571, 84216, 15376876 ],
[ -1 ],
[],
[ 1593, 9354, 278407, 93530, 210109 ],
[ 36233, 72302, -6605, 324318, 19801 ],
[ -1 ],
[ 1, -1, 0, 1 ],
[ -1 ],
[],
[ 4201, 58, 182147, -2566, 6409 ],
[ -1 ],
[ 169076357, 17812590, 14092072, -22657079 ],
[ 38980, 182308, -36991, 343900, 32484 ],
[ -8460, 113448, 76396, 226746, 234332 ],
[ 1, 1, 0, 1 ],
[],
[],
[ 2 ],
[ 787, -13983, 42163, 4760, -250 ],
[ 97 ],
[],
[ 2 ],
[ 23185, 424, 104468, -379564, 8776 ],
[],
[ -1 ],
[ 133, -242, 25, -24 ],
[ 1, 8, 20, 17 ],
[],
[ 2, -1, 8, -5 ],
[ 48039955, -20340296, 17856385, -4496232 ],
[ -1 ],
[],
[ 2, -1, 1, 0 ],
[ 0, 1, 2, 3 ],
[ 1545, 68230, 91099, 91280, 19371 ],
[ 33601, -69308, 19610, 247992, 20913 ],
[ -4310, 16054, 5829, 74548, -5404 ],
[],
[ 45060, 3728, 302576, -70064, 777014 ],
[ 1, 0, 1, -3 ],
[],
[ 4324, 620, 330121, 496776, 3379360 ],
[ 71070979492, 110940407187, 72764455918, -206512231055 ],
[],
[ 3089, 18942, -1699, 2356, -63656 ],
[],
[ 188121, 398826, -87628, -315410, 111615 ],
[ -1 ],
[ 67, 8166, 5508, 214762, -1205246 ],
[ 635, -387, 300, -13 ],
[ 9465, 22324, 6276, 139816, 55080 ],
[ 221, -157, 267, -116 ],
[ 35, 43, 26, 99 ],
[ 14572, 21578, 133263, 55355, 291302 ],
[ -1863, 93756, -59740, 32764, 100360 ],
[ 9164681831447, 181871898549475, 129112821144965, -144881061552879 ],
[ 5 ],
[ 1, 0, 1, 1 ],
[ 11188, 59604, -441384, 60112, 92233 ],
[],
[ -815, -946, 72039, 3594, 30065 ],
[ 21, -47, 50, -39 ],
[],
[ 4804, -9040, 258684, 501234, 5002966 ],
[ 49956, -272480, 33564, 556290, 83899 ],
[ -1 ],
[ 7177, -54016, 97515, 9872, 419 ],
[ 2, -1, 4, -15 ],
[ -1 ],
[ 1560617438240137, 430211019380496, 10993720968645028, -3083930998604735 ],
[ -1 ],
[ 1179516992867597, -600126584843285, 1619833702998700, 13644267104493 ],
[ -20220, 208084, 110833, 187312, -78032 ],
[ 2, 3, 3, 1 ],
[ 34473205, -78774784, 11852296, 406725 ],
[ 3 ],
[ 15913, 2074, 90375, -627634, -479151 ],
[ 3, 5 ],
[],
[ 118322792270148524532957741, 76954101068592963581412280, 
47277679574220545878404409, -15587922518185460988668115 ],
[ 3 ],
[ 2 ],
[ 67, 94, 52, -99 ],
[],
[ 913, 5266, -90927, -672496, 20902464 ],
[ 38281, 47214, -3721, 138898, -85679 ],
[ 308, 3124, 26368, 970586, -4666469 ],
[ 849, 306, 119449, 2121016, -6016436 ],
[ -1 ],
[ 489, -4590, -30032, -141, 5493 ],
[ 5 ],
[ 689, 6040, -138986, -66958, 64050 ],
[ 5, 11, 11, -2 ],
[ 3908, -75244, -238507, 91714, -40395 ],
[ 121502333276112250, -212717155114877213, 36598953777545871, 70406758964617441 
],
[ 3 ],
[ 2 ],
[ 3, -405, 65905, 2065846, 75149473 ],
[],
[ 11 ],
[ 187, 542, 48, -73 ],
[],
[],
[ 12952, -7204, 414953, 390124, 76840 ],
[ 2914047571, 5221391233, 6061428707, -749694146 ],
[ 2948, -36450, 63233, 26585, -625 ],
[ 4, -5, 0, 1 ],
[ -1 ],
[ 8, -5, 69, 4 ],
[ 1, 14, 9, 19 ],
[ 5, -2, 6, 5 ],
[ 109, 39154, 82711, -976402, 470041 ],
[ 55236, 39624, 7324, -3222, 241572 ],
[ 2 ],
[ -18095, 51494, -1119, 15632, 61588 ],
[ 15881, 95652, 106628, -36147, 17773 ],
[ 53793, 27694, 311, 76890, 138681 ],
[ -1 ],
[ -28064, 3586, 635074, 548494, 94034 ],
[ 6000, 995, 47305, -19387, 34856 ],
[ 19, -15, 13, 6 ],
[ 96, -155, 598, 1239 ],
[ 57465, 65194, 324079, -1082, 338017 ],
[ 3 ],
[ 6779, -9380, 24669, -13927 ],
[ 12541444624849, -447002553605235, 357946940172897, -1639147025142112 ],
[ 0, 1, 6, 5 ],
[ -16904, 38800, 339409, 1696, 261280 ],
[ 604, 4244, -15170, 9622, -57399 ],
[ -875, 45558, 58587, -31854, 3435585 ],
[ 315, 58, 1434, 1465 ],
[ 18388, 72168, 86620, 477026, -100726 ],
[ 3 ],
[ -57327, 59710, 75649, 368576, 257968 ],
[ -4, 459, 1023, 800142, 24669593 ],
[ 7464, 6303, 24246, -49010, 52481 ],
[ 4064, 544, 303845, 133848, 5750944 ],
[ 29916, 3452, 92476, 41988, -36431 ],
[ 641, -106474, 94997, -91196, 535892 ],
[ 2 ],
[ 8, 1, 1, 0 ],
[ -41399, -1342, 98399, -413426, 7417 ],
[ 9600, -199720, 292465, 65860, -40652 ],
[ 171049, -207303, 38849, 19013 ],
[],
[ 2 ],
[ 8947, -24514, 32896, -47057 ],
[ 198986029, -11827939, 317179569, -184977442 ],
[ 2680, 35740, 41213, 65778, -44946 ],
[],
[ 41, 6, 22, 15 ],
[ 1, 0, 0, 1 ],
[ 1854027, 10049362, 12050908, -72162611 ],
[ 6057, -33630, -170663, 96, 96624 ],
[ -2599, -44258, 202663, 79666, -2319 ],
[],
[ 260, 343, 627, -470 ],
[ 6476, -1586, 169192, -3340, 8169 ],
[ -2960, 16776, -132463, -7306, 73057 ],
[ 46084, -208524, 32761, 437364, 209908 ],
[],
[ 1, -2, 11, -7 ],
[ 1105, -57782, 381611, 869958, 64957 ],
[ 44101, 51250, 156475, -1206, -54059 ],
[ 5245, 5338, 28212, -133958, 32769 ],
[ 13, 50, 25, 49 ],
[ 5588, 51822, 2306, 21826, 43497 ],
[ 4491, -8095, 11387, 9195 ],
[ 223, -321, 622, -227 ],
[ 2285828027757307, 17787895422802999, 1741082073255017, 1662036238165538 ],
[],
[ 54173, 252348, 229902, 693728, 67905 ],
[ 79595, 20756, 107917, 86489 ],
[ 318601, 77096, 360507, -1582934 ],
[ 17190750420, -12068747593, 70052872001, 97955911146 ],
[ 62729, 47746, -59531, 226624, 13732 ],
[ 38728, 67220, -91635, 201068, 564 ],
[],
[],
[ 37200, -57188, -158608, 53116, 161553 ],
[ -2551, 86832, 55266, -319472, 693529 ],
[ 18, -37, 6, 5 ],
[ 65, 186, 1316, -2285 ],
[ 156767, 580418, 224807, 1121150 ],
[ 5 ],
[ -11, 7102, 92627, -651938, 139649 ],
[ 1, 1, 9, 5 ],
[ 589, 1255, 833, 2406 ],
[ 43, -82, 17, 14 ],
[],
[ 6087, -44320, 19036, 96027, 64089 ],
[ 6747, 66974, -76159, 120438, -58076 ],
[ 2644, 4700, 69264, -35352, 911905 ],
[ 163, -164, 229, 2284 ],
[ 7265, 23444, 11044, 34073, 7926 ],
[],
[ 1, 3, 5, -3 ],
[ 104, 33, 166, 185 ],
[ 9816, 73036, 284921, 16122, -11451 ],
[ 37977, 19440, -192698, 29524, 59773 ],
[ -480, 280, 24161, 8376, 30304 ],
[ 3684408566983, 9088938448550, 60614820096419, -58063789239783 ],
[ 9193, 136498, -9105, -437826, 329 ],
[ 250, 1579, -3772, 570953, 63529 ],
[ 2 ],
[ -40871, 7838, 67727, 77802, -33715 ],
[ 3393, -18954, 39185, 375264, 37492 ],
[ 2611, -12916, 24349, -12985 ],
[ 1899, 2462, 2976, -286542, 166825 ],
[ 13729, 18934, 90775, 9772, 178806 ],
[ 41, -230, 50, 147 ],
[],
[ 26, 5, 19, -6 ],
[ 328, 61860, -40367, 6102, 56701 ],
[ -1 ],
[ 57613, 28626, -95135, -189668, 72580 ],
[ 67, -99, 595, 321 ],
[],
[ 47434136380533821735, -195693709682026043838, 192279793398729500123, 
202048577289435166736 ],
[],
[ 3, -5, 18, 7 ],
[ 1484262110, 593012561, 100920735, -56313997 ],
[ 13 ],
[ 1, 1, 3, 5 ],
[],
[ 94, -105, 43, 161 ],
[ 2631, -49740, 60945, -6096, 23365 ],
[ 6961, -23976, 91971, 104566, 36148 ],
[],
[ 1, 1, 1, 0 ],
[ 24096, 12673, 2445, -10081 ],
[ 2 ],
[ 123, -70, 21, -55 ],
[ 7 ],
[ 12289, 12418, 61865, 648, -62320 ],
[ 7, -64, 35, 27 ],
[],
[ 0, 1, 17, -7 ],
[ -18444, 87044, 83113, 46292, 166344 ],
[ -66384, 14868, -180795, 18360, 87816 ],
[],
[ 5, -4, 3, 10 ],
[ 1, 0, 1, 0 ],
[ 146388, -184243, 9526, 98273 ],
[ -75710, -53122, 50388, -266328, 263332 ],
[ 38449, 56634, 25871, 254018, -286667 ],
[ 80449, 172954, 180519, 333106, 90409 ],
[],
[ -71996, 87276, 56597, 209228, -183536 ],
[ 123, -116, 1027, -1203 ],
[ 24297, 82996, -67134, 143381, -77285 ],
[ 7, -1, 1, -1 ],
[ 35, -6, 344, 299 ],
[ -3358, -423, 22478, 18274, -26003 ],
[ 1720, 9636, 134568, 23048, 9057 ],
[ 7 ],
[],
[ -144902, 74078, -162972, 2888, 276708 ],
[],
[ 11280, 2008, 121437, 27626, 71413 ],
[ 13897, -343618, 68633, -198880, 161104 ],
[ 56889770, 428507, 22788145, 387776284 ],
[],
[ 43, 10, 1, -29 ],
[ 53, 6, 61, -29 ],
[ -9107, -7638, 8849, 78300, 948600 ],
[ 99809, -28330, 344371, 22526, 265809 ],
[ 2 ],
[ 58356, 25992, 283436, -316, 86001 ],
[ 158, -311, 1351, 75 ],
[ 20, -11, 7, -9 ],
[ 13230337, -25233487, 3733511, -15430032 ],
[ -7904, 3272, 171429, 202288, 5582340 ],
[ 1028320656692106615, 1050539555477132569, 539709136548618759, 
657141063129703205 ],
[ 32, 3, 2, 49 ],
[ 47148, -58825, 73418, 828937 ],
[ 3 ],
[ 3 ],
[ 4, -1, 5, -9 ],
[ 936476, 222487, 630550, -371377 ],
[ 1, -1, 1, 4 ],
[ 1, 1, 2, -1 ],
[ 939, 21778, 30770, 27682, -18596 ],
[],
[ 2, -1, 2, 1 ],
[ -8080, 9740, 70673, 160546, 1543437 ],
[ 188, 135, 58, -37 ],
[ 23462581956961, -4314730641983, 39954736778039, 58111105036815 ],
[ 13369, -4136, 72235, 84420, 34689 ],
[ 191328632134237819, -651684320859967462, 604011905086797154, 
343513147549169099 ],
[],
[],
[ 3 ],
[ 3, -1, 1, -2 ],
[ 1, -2, 0, 1 ],
[],
[ 5, -5013, 4444, 27, 789466 ],
[ 7, -11, 148, -59 ],
[ 6289, 77726, 27991, -24870, 362301 ],
[],
[ 24632778195973592849, -28029250767749615505, 81065237689265342487, 
-70333539269648663821 ],
[ 29, -2, 36, -73 ],
[],
[ -1 ],
[],
[ -1247, 19628, 154354, 31104, 44649 ],
[ 1376, -83696, 101, -48336, -313460 ],
[ 2224, 44820, 61650, 108180, 39386 ],
[ 3 ],
[ 2 ],
[ 131209, -8162, 68297, 340000, 282512 ],
[ 1854232388961, -7046080799108, 5780428026382, 51653571415919 ],
[ 1, 0, 1, 1 ],
[],
[ -39692, 91664, 97352, 169434, 433304 ],
[ 6691796, -7732601, 20902156, -20642833 ],
[ 34681, 74202, 255803, 86922, -31187 ],
[ 1, 1, 0, 1 ],
[ 104, -3, 63, 50 ],
[ 6357701, -5328129, 4058826, -243163 ],
[ 73865, 22460, 276326, 105624, 147189 ],
[],
[ 7 ],
[ 42744, 42812, 39453, 1754, 64805 ],
[ 6331, -1887, 2736, 395 ],
[ 1776, 76184, -501311, 20026, 35961 ],
[ 96481, 86054, 200817, 6616, 144768 ],
[ 277654795687613, 2699728413608394, 35313819367933189, 19705453638405320 ],
[ 2 ],
[ 55324, -36, -289771, -27278, 398193 ],
[],
[ 78625, 80160, 131608, 37236, -107656 ],
[ 2 ],
[ 71157399813836, -43039618049913, 298273044530049, 711095775326506 ],
[ 84924, -131172, 234652, -6976, 163189 ],
[ 65857, 79822, 248369, 67352, 129676 ],
[ 145415558839530565, -382569524843804221, 107113515131514821, 73711649818665774
],
[ 3832, 34480, 1177, -680838, 741025 ],
[ 3988, 61788, 271790, -34644, 511 ],
[ 129141, 55078, 252731, -11862, 233953 ],
[ 1, 2, 7, -8 ],
[ 2 ],
[ 7, 19, 25, 51 ],
[ 1, 1, 2, -7 ],
[ 1488, -31316, 43223, 21958, 6952 ],
[ 5816, 65142, -19080, -306192, 703508 ],
[ 3 ],
[ -1 ],
[ 1188087205, 1555980896, 162171420, -69180277 ],
[ 2 ],
[ 67, -13, 17, -14 ],
[],
[ 0, 1, 1, 0 ],
[ -9523, 66274, 629855, 283062, 323333 ],
[],
[ 5, 7, 20, -9 ],
[],
[ 70560518152559857, -45413835341991839, 1152063354456947, -21291058113276324 ],
[ 1990, 15792, -16970, 56812, -5039 ],
[ -1 ],
[ 702, 521, 90, -131 ],
[ 102, 131, 35, 66 ],
[ 1, 1, 1, 0 ],
[ 2 ],
[ 247, 6, 47, 57 ],
[ 90659491, 33255086, 52708742, 362914935 ],
[ 960, 2750, -1450, 173185, 68609 ],
[ 9696, 107496, 48109, 118242, 247437 ],
[ 66, 265, -26327, 369082, 3181513 ],
[ 28575454844006786167, -32717865484518724980, 20583514419908223057, 
-14661526690025482526 ],
[ 55428, 42884, 128413, 204562, -123943 ],
[ -99, 5187, 80533, -67405, 29512 ],
[ 106564, 3268, 190728, 122752, 129265 ],
[],
[ 85145, 215474, -184825, 220926, -266135 ],
[ 1, 6, 1, -1 ],
[ 35193, -30886, -1231, 172648, 776 ],
[ -10529, 21199, 12936, 71166, -5123 ],
[ -4631, 1690, 92891, 37006, 571505 ],
[ -1 ],
[],
[],
[ 68, 52, 41017, -65874, 6545551 ],
[ 295272, -889397, 4263634, -5435877 ],
[ 87044, -8452, 136225, -56600, 94384 ],
[],
[ 119705, 28113, 6007, -77711 ],
[ 7 ],
[],
[ 71486309, -65200893, 3395588, -3163919 ],
[ 606, -23068, 23743, 128549, 151076 ],
[ 52948, 330180, 156641, -529316, 31036 ],
[ -36521, 55658, 19736, 6817, 38104 ],
[ 315, -909, 42240, 51534, 109759 ],
[ 91, -23496, -3005, 923, -15214 ],
[ 29041, 64100, 65546, 6576, 253485 ],
[ 31, -381, 28, 1 ],
[ 53177, 337326, 153765, 407680, -48324 ],
[ 59, 131, 9, 8 ],
[ 45898998482, 88610803359, 35883578651, -79557307515 ],
[ 7 ],
[ -960, 125648, 444929, -45728, -32240 ],
[ 3 ],
[ 12, 5548, 16961, -1172308, 135052 ],
[ 916, 11866, 127784, -34558, 50020 ],
[ 8, -25, 64, 29 ],
[ 1, -3, 4, 1 ],
[ 8996, 35850, 10136, -18436, 16633 ],
[ 107989, -116926, 504707, -2, 470209 ],
[ 43, 45, 19, -8 ],
[ 2 ],
[ 4988, 123928, 6733, -64158, 123461 ],
[ 7, 10, 2, 3 ],
[ 3431404, 802013, 225453, 243601 ],
[],
[ 69277, -6598, 158620, -2344, 77380 ],
[ 40351369, 62282650, 36075745, -5038313 ],
[ 2 ],
[ 15632, 3816, 119425, 4018, 191001 ],
[ 1, 1, 1, 0 ],
[ 4643405773, -437522243, 3296380733, 908147212 ],
[ 455102660, 822735693, 1862845240, 174128887 ],
[ 4, -5, 1, 1 ],
[ 31367, -262200, 26783, 805935 ],
[ 130078691, -88202064, 2834803, -16601529 ],
[ 2, 5 ],
[ 180, 149, 5, 38 ],
[ 9328556629254039261013423, -16883628467937395250151056, 
8753717005746259183195696, -4610996423082367980600125 ],
[ 32017, 2270, 368687, -364662, 404881 ],
[ 23 ],
[ 1, 0, 0, 1 ],
[ 44689, 59166, 45587, -185754, -76183 ],
[ 25, -29, 68, -69 ],
[ 36244, 83492, 422913, 309370, 304397 ],
[ 608, 596, -3049, 52082, -865176 ],
[],
[ 357008047747153, -443429483624924, 25744765648328, 40869154792645 ],
[],
[ -65660, -232160, -115276, 80274, -36874 ],
[ 1, 1, 4, 1 ],
[ 196, 299, 3, -269 ],
[ 3057, -2048, 2671, -2124 ],
[ 147517, -116892, 4556, 77996, -148744 ],
[ 1175, 7968, 4356, -2477 ],
[ 5 ],
[ 6968, -96, 28525, 44270, -48979 ],
[ 27, -899, 2001, 2140 ],
[ 59377, 212076, 753930, 415600, 8641 ],
[ 7, -3, 3, -1 ],
[ -1, 2 ],
[ 1261, 5842, 13697, 259828, -631300 ],
[ 59209, 9480, 115893, 62887 ],
[ 5020, -964, 86720, -33056, 948649 ],
[ 3 ],
[ 7 ],
[ -903, -55830, 34699, 8350, 361717 ],
[ -16848, -48, 144717, 362784, 2948880 ],
[ 3 ],
[ -24709, 5505, 546, -9673, 48660 ],
[ 6628, -61560, 430484, 457428, 118330 ],
[ 1, 1, 1, -1 ],
[ 2 ],
[ 7168, 1612, -62688, 21144, -99703 ],
[ 5 ],
[ -9005, -49150, 9708, 83044, 504 ],
[],
[ -236, 5128, 21221, 478, 190109 ],
[ 3, 2, 1, -2 ],
[ 17137, -37830, 27247, 204254, 326281 ],
[ 0, 1, 3, -1 ],
[ 265, 7070, 13093, -125461, 81887 ],
[ -1 ],
[ 2242, 4687, 12271, 4449, 5736 ],
[ 59569559495449004611, 2742523008709153922, 402523435434600529058, 
407792125871164735041 ],
[ 885169, 559120, 124365, 56107 ],
[ 1, -4, 0, 1 ],
[ 93136341, -54575350, 414994495, 184482798 ],
[],
[ 35, 123, 210, 163 ],
[ -44, 678, 86995, -7902, 22212400 ],
[ 51220, 174284, -76111, 5944, -125792 ],
[ -9436, -12708, 34915, -142410, 5109 ],
[ -20779, 3366, 25848, 2896, 33121 ],
[ -4229, 6567, -23540, 26814, 218519 ],
[ 435457381, 1649141368, 8704382107, -197485366 ],
[ 54404, -173952, 37924, 247842, 197169 ],
[],
[ -1 ],
[ 1108, 30592, -16004, 376854, 241791 ],
[ 379357, 341244, 1547647, -2448918 ],
[ 122, -137, 92, 167 ],
[ 5795, -1321, 4349, -18642, -5724 ],
[ 261, 16650, 64195, -626066, 278353 ],
[ 107247849374, 2190138895, 15778575408, 5153741021 ],
[ 1, 0, 2, 3 ],
[ 56, -396, 67305, 658300, 157005304 ],
[ -2236, 12954, -1130, 42768, 57409 ],
[ 51450, 70318, 13828, 431992, -244492 ],
[ 39385, 54651, 33716, 6335 ],
[ 3 ],
[ 1441, 16756, 4473, -3441, -18598 ],
[ 1, 0, 1, -3 ],
[ -4024, 77268, -59643, 39338, 41785 ],
[ 2 ],
[ -540, 64296, 57048, -319458, 61638 ],
[],
[ -1 ],
[ 2712410, 4546623, 12224827, 29450615 ],
[ 2, 3, 7, 13 ],
[],
[ 5866, -10075, 11094, 110, 377548 ],
[ 1, -2, 2, -7 ],
[ 1, -2, 3, -2 ],
[ 315, -2, 391, 177 ],
[ -1 ],
[ 7 ],
[],
[ 69532171717, 19501933347, 3897366126, -6947529013 ],
[ 140260, 280500, 269885, 513878, 43065 ],
[ 7977, -19956, 130801, 65138, 47817 ],
[ 8587, 64633, 68966, -205461, 85019 ],
[ 213, -245, 2, -17 ],
[ 756, 24336, -19976, 1538198, 1403016 ],
[ 11, 15, 98, 81 ],
[ 7, -42745, -50937, -23950, 53680 ],
[ -8, 1868, 15076, 7678664, 18221841 ],
[ -7169, 33101, -6338, 1623, 26901 ],
[ 225842849535179851253, 6844005933160531362, 7870051475582843741, 
26286875515570006920 ],
[ 9108, 358620, 242765, -490798, 79309 ],
[ 9717, -91370, 44697, 217936, 215324 ],
[ 15, -28, 1, 4 ],
[ 160, -533, 196, -17 ],
[ 1, 2, 1, -2 ],
[ 88, -175, 59, 396 ],
[],
[],
[ 2 ],
[ -40335, -5090, 176097, 18128, 685276 ],
[ 2 ],
[ 35861, 43078, 88787, 25378, 111649 ],
[ 51, 10, 374, 215 ],
[],
[ 31, 34, 8, -9 ],
[ 148178023289, -504212996240, 31770037591, -6367120942 ],
[ 3267, -4024, 496, 553 ],
[ 1, 0, 0, 1 ],
[],
[],
[ 171881, -270996, 1842345, 1872737 ],
[ 2780, -3666, 45533, 40784, 5417 ],
[ 0, 1, 1, 12 ],
[ 40597049, 28145006, 22968024, 6030857 ],
[ 6924, 54600, 8827, -94472, 28005 ],
[ 82619, -549635, 67833, 111601 ],
[ 451, 1713, -3170, 590288, -266127 ],
[ 3 ],
[ 86386, -89107, 12472, 19503 ],
[],
[ 2 ],
[ 2, 3 ],
[],
[ 13699, 1977, -45270, 34818, 18075 ],
[ 56631, 95927, 105343, 8679, 53667 ],
[ 3688, 4451, -17384, -3226, -8235 ],
[ 1, 1, 1, 1 ],
[ 1, 0, 1, -1 ],
[ -180, 870, -7156, 187957, 4388383 ],
[ -4784, 24182, 9683, 40203, 22580 ],
[ 38949196, 5000005, 8527001, -17585521 ],
[ 198686691, 12216263728, 40016072545, -3978487443 ],
[ 4187, -3099, 2330, -1571 ],
[ 516, 5292, -8887, -186, 66961 ],
[ -1771, 1388, 34594, -25784, 537 ],
[ 7480, 4994, 30261, -108029, 4298 ],
[ -6051, 66258, 649361, -311132, 723192 ],
[ 3976, 2748, 703, 24418, 113676 ],
[ 0, 1, 1, -1 ],
[ 7, 1, 5, -1 ],
[ 933, -19172, 64941, 53788, 14457 ],
[ 2 ],
[ 89329, 21008, 18812, 157468, -239768 ],
[ 315, 4302, -46867, -31854, -22916 ],
[],
[],
[ 2, 1, 4, -1 ],
[ 14, -1, 20, -29 ],
[ 653740830579, -185350903268, 79377185103, 30034086325 ],
[],
[],
[ 15272, 10548, 310469, 118484, 638416 ],
[],
[ 210979, 423082, 3705829, -301975 ],
[],
[ 5105, 63404, 344934, -204676, 136053 ],
[ 216190394090092014315, -2386001829897614386654, 1650529184699287258591, 
6651636741635717416736 ],
[ 1, -7, 1, 1 ],
[ 67005, 1014, 44761, -241268, -14388 ],
[ 32239, 25550, 18495, -11732 ],
[ -10031, 42574, -593339, 167276, 246584 ],
[ 23734144213, 71300438784, 613007657, 9268311488 ],
[ 51361, 18500, 309542, 463112, -27859 ],
[ 866, 1245, 83, 53 ],
[ 2 ],
[ -4815, 18786, 9067, 77304, 236712 ],
[ 140, -51, 20, 19 ],
[],
[ 27274, -237290, 234510, 6394, 75420 ],
[ 9565, -35959, 65218, 130763, 21978 ],
[ 1, 1, 3, -11 ],
[ 43, -151, 278, 935 ],
[ -13240, 388, 38293, -492, 23332 ],
[ 4, 5, 1, -3 ],
[ 2462, -2127, 29130, 24411, 71500 ],
[ -20, 2096, 5262, 37094, -58391 ],
[ 45072, 326760, -44179, 1236, 149044 ],
[ 192562525403, -100819775329, 36837225141, -35275608967 ],
[ 9677, 1756, -1119, 15730, 34561 ],
[],
[ 0, 1, 5, 2 ],
[ 7329, -508, 700, -12618, -31471 ],
[ 212, -143, 28, 83 ],
[ 7, -8, 1, 0 ],
[ 7, 9, 8, -3 ],
[ 98749, 179858, 152540, -72528, 89124 ],
[ 32737, 68306, 109167, 5706, 47605 ],
[ 3414, -2479, 38015, 24187 ],
[],
[ 63120, -207520, 9949, -356868, -98156 ],
[ 18, -17, 1, -3 ],
[ 9250, -7641, 5709, 6037 ],
[ -976, 3240, 293069, -27680, 792304 ],
[ 1281, 521, 391, -38 ],
[ 2 ],
[ -1 ],
[ 621, -56902, 76143, 422094, 141589 ],
[ 7888, 3008, 125181, 121412, 60170 ],
[ 18852404640557, -8501923305123, 3800365786471, 217586469361372 ],
[ 73054, 258470, 168200, 690440, 344612 ],
[ 25056, 20424, 54949, 6500, 47240 ],
[ 400, 561, 943, -1117 ],
[ 57490, -43317, 1125, -25652 ],
[ -175, -26092, 17456, -94914, 166789 ],
[ -7416, 38040, -218231, 30672, 56160 ],
[],
[],
[ 6851, 51810, 15032, 838542, -340231 ],
[ 3 ],
[ 4, -1, 7, -6 ],
[ 10261, 33522, 39982, -81514, 37764 ],
[ 812713247717, -403034670473, 71870392654, -101679102697 ],
[ 475, -143, 509, -561 ],
[ 282245, -843251, 126361, -286427 ],
[ -9803, -81050, 79999, 139206, -328095 ],
[ 15, -2, 41, -22 ],
[ 60305, -608549, 31319, 92572 ],
[ -144, 12487, 13716, -285515, 6686 ],
[ 51892, 212084, 74053, -204558, 42081 ],
[ -8624, 8662, 22586, 75824, 33225 ],
[ -1742, 8295, 1247, 66678, 195432 ],
[ 5860698, 7269731, 8892986, -5119335 ],
[ 1566309, -41018, 1084201, -394366 ],
[ 2272683, 887605, 583603, -527664 ],
[ 1302, -5093, 326, -347 ],
[ 100, -83, 116, 255 ],
[ 9, -10, 0, 1 ],
[ -3639, 52070, 87337, 1990872, 2298928 ],
[],
[ 8212, 73608, -30148, 852762, -93208 ],
[ 3031769, 4642172, 304711, -313096 ],
[ 2157, 608, 310, -531 ],
[],
[ 404, 3551, 92144, -46313, -187984 ],
[ 2 ],
[ -1 ],
[ 31800, -1721, 8139, 98144 ],
[ 15, 2, 33, -2 ],
[ 33888605, -83029183, 29287039, -167107021 ],
[],
[ 56703, 18203, 4741, -426 ],
[ 381, 328, 105, 187 ],
[],
[ 781, -136, 4586, -2033 ],
[],
[ 715, -13920, 24930, 20890, 14369 ],
[ 378294481, -109993211, 91307287, 330295397 ],
[ 1, -7, 3, 1 ],
[ 3 ],
[ 28, 23, 79, 54 ],
[ 57126870465, 16594066219, 519459696319, -184231334848 ],
[ 2396, 9940, 710781, 405716, -1239712 ],
[ 6, -7, 2, -3 ],
[ 50953219683, 76810719830, 50726334061, 82766888182 ],
[ 13, -34, 35, -11 ],
[ 1, 1, 1, -1 ],
[ 22, 21, 65, -37 ],
[ 856, -5986, 89958, 138841, -5863 ],
[],
[ 345, -11786, 301235, -90542, 9249 ],
[ 67213163645431999, 187389343433823625, 17459368884829563, 25628698848319393 ],
[ 4216, -60436, 104561, 641658, 550869 ],
[ 8609479217229941, 5242371165232773, 3391164943597299, 5941981079817845 ],
[ 1, 1, 5, -2 ],
[ 6030, -95326, -260338, 70894, 84184 ],
[ -14300, 87684, 31944, 952796, 41437 ],
[ 1992359351, -945691650, 662772541, 826723014 ],
[ 2 ],
[],
[ 94705, -4290, 43423, 109786, 233409 ],
[ 37650205, 26863613, 596864623, -237306810 ]
];

rank_data := [
<4, 2, 2, [ 16406, 660446558766/8850625 ]>,
<3, 3, 1, [ 3219 ]>,
<5, 5, 5, [ -14699, 79741, -8854067/289, 1923457/64, 26806865239/60516 ]>,
<3, 1, 1, [ -19559 ]>,
<4, 4, 4, [ 20239, 3879581/169, 904519/25, -1461155/49 ]>,
<4, 4, 4, [ 25406105/784, 1843979/49, -12660, 
277419905944958675246/93549112182241 ]>,
<2, 2, 2, [ -83003, 1455246218295899613/4283538048241 ]>,
<5, 1, 1, [ 7837 ]>,
<2, 2, 2, [ -87713, -1120503185/11881 ]>,
<3, 1, 1, [ -52375 ]>,
<3, 3, 3, [ -66611, -108238406715115/1629413956, -1492623089131/22857961 ]>,
<4, 2, 2, [ -936, 197969/16 ]>,
<4, 2, 2, [ -5071, 347428/49 ]>,
<3, 3, 1, [ 29016 ]>,
<5, 5, 5, [ -33150, -47489, -48014, -668673737/14641, 
4797462307534990062/55880005435849 ]>,
<4, 2, 2, [ 702785, 15688 ]>,
<5, 1, 1, [ 30348 ]>,
<4, 2, 2, [ 22153, 186523363321898137886137042935554395222625871343698337287073\
9753276894714222/21488223522582455973713849609963412404867473539939801511168705\
36907169 ]>,
<3, 3, 3, [ 281, -5799, 210568943147666375153/31345905425967001 ]>,
<3, 1, 1, [ 41051 ]>,
<3, 3, 3, [ 210559/9, -12413, 753680649/36100 ]>,
<3, 3, 1, [ 45875 ]>,
<3, 3, 3, [ -6811, -81793119/15625, 1680579261386271284875581088901474130981681\
3657658905805485527426693002289/28087615956905587166443760711929161100705564774\
67175311300156026765609 ]>,
<2, 2, 2, [ -3648, 5709997/36 ]>,
<3, 3, 3, [ 34294, 96099726664/537289, 1462976871179355382201/30339846745468948\
9 ]>,
<3, 3, 1, [ -31350 ]>,
<3, 3, 1, [ 7683 ]>,
<3, 3, 3, [ -75783, -30812180440360882995634129/422825269268570853169, 
6920133271642616724017083620540295831455912497257/14408039926575536903959625565\
2621166137121 ]>,
<3, 1, 1, [ -909 ]>,
<3, 1, 1, [ 42544 ]>,
<3, 3, 3, [ -51938, -40136, 378425986377216227286237668778445393978850726252420\
24050056480092909427692842365380487270141554/9878685382188067794866107992065231\
6349378273470727572005212446922603860469153586459623841 ]>,
<4, 2, 2, [ -48801, -1960971507753747007256844908286886329452785803035498428925\
1118227829302547067785/62286606292332096487840405843972459029355524216559434219\
9335209499258205649 ]>,
<4, 2, 2, [ -8009, -47381 ]>,
<3, 1, 1, [ 36951 ]>,
<5, 5, 5, [ 14508, -28080, -3080831/144, 9541950/24649, 43818198942/1181569 ]>,
<2, 2, 2, [ 40418 ]>,
<3, 1, 1, [ -20731 ]>,
<4, 4, 2, [ -28277, -147733/4 ]>,
<3, 3, 3, [ -2032, 4479986980/48841, 264470222447938897165/6501242375399524 ]>,
<2, 2, 2, [ -31990, -271668895601125/288534419716 ]>,
<2, 2, 2, [ -80839, -44168397684226178389899/538903331211126025 ]>,
<4, 2, 2, [ 521, 250208304469/5031049 ]>,
<3, 1, 1, [ 59871 ]>,
<1, 1, 1, [ 24502 ]>,
<3, 1, 1, [ 19394 ]>,
<3, 3, 3, [ -53128, -32371, 557306281/1600 ]>,
<4, 4, 4, [ -49053, 632854/9, 29314045708/289, 
5587830775814986782059605388821251480132/11011914882357266900349033948889561 ]>,
<2, 2, 2, [ 7971, 1103119508993994387779940269004045072949769395223705044097795\
2370444/142515194650831127310739994004419207755844897983734770822055625 ]>,
<2, 2, 2, [ 27345, 4175377033/106929 ]>,
<2, 2, 2, [ -8089, -39890935594468274426462659545903450907811890787970834177291\
1741281371014167505/97662937752955191214969619758445746517944773221225657083202\
61311214303049 ]>,
<2, 2, 2, [ -32683, 30471357828165288053113687120624210287199064912999755217771\
932128379403378240013461/270466466587132214448083816339045738922245476332849606\
970913865156735619699600 ]>,
<5, 5, 5, [ 24066, -54683816/1681, 39250288/1521, 8746012/441, 507238949/2704 
]>,
<2, 2, 2, [ -22835, -24783633078925676128533595/1133535509175260275396 ]>,
<5, 1, 1, [ 1981 ]>,
<2, 2, 2, [ -51824, 29016862488920250/246697975969 ]>,
<2, 2, 2, [ 12733, 294736476517/257827249 ]>,
<3, 3, 3, [ 34191, 35226, 32341847598999/570875449 ]>,
<5, 1, 1, [ -6650 ]>,
<3, 3, 3, [ 1161, 26536017397838373/14920675327441, 
1899936387038767648240257607387871/352011544272195236236490281 ]>,
<3, 3, 3, [ 44339, 68846516/289, 2618866/81 ]>,
<3, 3, 3, [ 23579, 18666757913906973027301/1646808756983738089, 
-14093055446817014741/842418988047025 ]>,
<2, 2, 2, [ 1934 ]>,
<3, 3, 3, [ -14724, 39331942336/121, 181986565897341611315131329564037112498724\
4/43743960188848028787984864594228515625 ]>,
<4, 2, 2, [ 61957, 1857889698/29929 ]>,
<4, 4, 4, [ -49792, 9689, 6265809/256, 7709011/225 ]>,
<4, 2, 2, [ 38852, 3135626343784182280061815/87400489222913848641 ]>,
<2, 2, 2, [ -70060 ]>,
<4, 2, 2, [ -2845, 12345061171/110889 ]>,
<2, 2, 2, [ 40332 ]>,
<2, 2, 2, [ -25415 ]>,
<4, 2, 2, [ -61063, -912250096439333706746892422682923297829122558723/119249739\
16952025561842874936780507875790916 ]>,
<3, 3, 3, [ 12005, 48540, 243227862232607062973/43288876630963681 ]>,
<2, 2, 2, [ 21735, 814066637583998843876085537/40108158406123152429529 ]>,
<4, 2, 2, [ 9036, 161980806/25 ]>,
<4, 2, 2, [ 71277, 7898817/121 ]>,
<3, 1, 1, [ 15493 ]>,
<2, 2, 2, [ -92, 2365937727743631804998653/67424244805605376516 ]>,
<2, 2, 2, [ 8159 ]>,
<2, 2, 2, [ 4708, 4755625435934320230535508011572113566695820686649300270827757\
677974397406961496027507699697/792274203978057436247176844423446221027683482674\
01244110119229380983980572675106112064 ]>,
<3, 3, 3, [ -65680, 21097544889/94864 ]>,
<2, 2, 2, [ 12911, 561473422779612856820217353367974089927683157766402776494589\
/27359310993702045741756327818006560358812992773492096400 ]>,
<6, 4, 4, [ 1523, 10686, 8427067/729, 4447448 ]>,
<2, 2, 2, [ -13658 ]>,
<3, 3, 1, [ 14795 ]>,
<4, 2, 2, [ 5868, 342347790115738801685768/3074562988995398761 ]>,
<4, 2, 2, [ 42644, 1465492489/25281 ]>,
<3, 1, 1, [ -9094 ]>,
<2, 2, 2, [ 15291, 586651500682811777982810948746525825191910497502317818804733\
/10638834536591836187764272917671289822105077660126622161 ]>,
<4, 2, 2, [ -19978, -2733680998/137641 ]>,
<1, 1, 1, [ -15511 ]>,
<3, 1, 1, [ -6441 ]>,
<5, 3, 3, [ 3329, -10607587693/835396, 16582200287106724711/164445152962689 ]>,
<4, 2, 2, [ -17699, -118371/25 ]>,
<5, 5, 5, [ 14493, -1952712/49, 1609341/16, 54329481/25, -3877774968/44521 ]>,
<3, 3, 3, [ -24131, 51596905314/160801, -62213049992053812544164832461488502653\
4329/328580144626838800705766871179565795409 ]>,
<3, 1, 1, [ -22347 ]>,
<5, 1, 1, [ -30552 ]>,
<3, 3, 3, [ -26780, 48252563424/1540081, 12705625876983143824/35934977387241 ]>,
<4, 4, 4, [ 32269, 197389, 5242976316569/21224449, -34695679211/1697809 ]>,
<4, 2, 2, [ -9859, -18325999/2704 ]>,
<3, 3, 3, [ -53903, 5194547, 124187489952592814688095/175951988580746596 ]>,
<3, 3, 3, [ 152921/4, 25979, 4027375549739524/164004750625 ]>,
<3, 1, 1, [ 1589 ]>,
<3, 3, 1, [ 13186 ]>,
<4, 2, 2, [ -8245, 11084563072000970691554241584630910826953515/292253496933780\
507099036207193528001284 ]>,
<3, 1, 1, [ -16579 ]>,
<4, 4, 4, [ -24969, -26475, 7653535/196, 15468118981/11498881 ]>,
<4, 4, 4, [ 18488, 4883460, 2664356/25, 2087591096/113569 ]>,
<2, 2, 2, [ -44329, -32260858712453222181551727594351041/5575235669776274531422\
43698641 ]>,
<3, 1, 1, [ 3123 ]>,
<3, 1, 1, [ 27708 ]>,
<2, 2, 2, [ -14265, -14762529155047347397743/308204134526726881 ]>,
<4, 2, 2, [ 41807, 131864482222380155191/2700519096977361 ]>,
<3, 1, 1, [ 3014 ]>,
<4, 2, 2, [ -34987 ]>,
<2, 2, 2, [ 72061, 856838614122586793431/9805978153969321 ]>,
<5, 3, 3, [ -13252, 167737565993301381806/132476992318225, 
60670326057941466452316/233930090066913601 ]>,
<3, 3, 3, [ -32052, 140163, 8063323381086/11336689 ]>,
<2, 2, 2, [ -32147 ]>,
<2, 2, 2, [ 9531 ]>,
<3, 3, 3, [ 29057, 723265113/11881, 205323466006577/1988892409 ]>,
<2, 2, 2, [ 993, 2957179/100 ]>,
<2, 2, 2, [ 8078, -191482766/3969 ]>,
<2, 2, 2, [ -9293 ]>,
<4, 2, 2, [ -8448, 1381063193933003127472/1929223867630761 ]>,
<2, 2, 2, [ -9417/4, -14792180298881403557/17793185025645604 ]>,
<4, 2, 2, [ -32059, 67167644598397988807603/537621043110584521 ]>,
<2, 2, 2, [ -4532, 568342929397786254730072421933343394104727306560309109426109\
298666844189273439423167836229/619149555389422828609046527279475729371585867005\
66184719161893182089767816146050594704 ]>,
<3, 1, 1, [ 66119 ]>,
<2, 2, 2, [ 6412, 1515275092146564787008170220078704179885061915885084246121985\
011880/162344961713983666786148247796400255686203222153682815006211641 ]>,
<4, 2, 2, [ -31452, 1110167539632814705306385286938963378682383874046486/229303\
09002816776726975497509826542544540639609 ]>,
<3, 3, 3, [ 81614, -52306, 8094 ]>,
<4, 4, 4, [ 64653, 7651823019/117649, -93929398629/1646089, 2098154685/44521 ]>,
<3, 3, 3, [ -15625, 931327151/7225, -17725863325/591361 ]>,
<3, 1, 1, [ 15863 ]>,
<3, 1, 1, [ 23211 ]>,
<3, 3, 3, [ 5782, 319011093/4, -868304562239523042688911199211/2131031914713711\
81923568025 ]>,
<3, 3, 3, [ 30627, 362100721737161/280562500, 380815881728849/27019204 ]>,
<2, 2, 2, [ -240, -241855681164903664799858782307657972426156837591139027426557\
5107507811962404574145580296259079857223855/49047076765522227456792812853195978\
330512438648754039815112978531649344043185421092048546816906256 ]>,
<4, 2, 2, [ -4485, -4798 ]>,
<2, 2, 2, [ 7979, 2554747740174677352291664862610988/77960071870796005424119089 
]>,
<2, 2, 2, [ 10885 ]>,
<2, 2, 2, [ 66057, 236170212362118837435250298686215128416064655317244351054258\
70496475397/279375822713696817650558290656474635971409560422190867495379564176 
]>,
<3, 1, 1, [ 31827 ]>,
<2, 2, 2, [ 48051, 221923641706511333429222839470583663363274377805423363601233\
790007775584256/177314787294908751825834803372503733194673729040794877281458772\
1145681 ]>,
<4, 4, 4, [ -45099, -52829719/1369, -97012418859/2356225, 2814591921/4096 ]>,
<4, 2, 2, [ 29481, -12244250673559154599613572007685064817930973846620934514605\
2551590959855/25083030160562589911402923761139883807493645093394044415495947653\
76 ]>,
<5, 3, 3, [ -41168, -2602207432320387368/248244256781361, 
3048917126334849942140266/138393827245029279889 ]>,
<2, 2, 2, [ -33315, 842456867013/5583769 ]>,
<3, 3, 3, [ -61136, -1293624519871415337191/19719700762629904, 
63486322112053481/7744000000 ]>,
<3, 3, 3, [ -20928, -1771058853064/72880369, 51950015363/813604 ]>,
<2, 2, 2, [ -20680, -1111381317052381974944971253278699679292815932612716196002\
2/2619514040483417983617773708564999273403164384663873169 ]>,
<1, 1, 1, [ 64533 ]>,
<2, 2, 2, [ 61838, 167583453011270026756592033062046/27382832284717678219264494\
49 ]>,
<4, 2, 2, [ -14432, -9842 ]>,
<3, 3, 3, [ 51456, -17340, 1648940954/165649 ]>,
<3, 3, 3, [ -10246, -217565/9, 17099318522599539959098052060834246669283009/483\
503622445597696964460472227279596809 ]>,
<1, 1, 1, [ 309 ]>,
<3, 1, 1, [ -15347 ]>,
<2, 2, 2, [ 50586, 8704651817794086107694150/164113363543083958969 ]>,
<4, 2, 2, [ 77031, 21808142154522148927809737624224639041/337146595630889350205\
684768256256 ]>,
<4, 2, 2, [ -53771, -38054906277906443/865521351556 ]>,
<2, 2, 2, [ 76961, 27989836446285633691962415/930352219104893408329 ]>,
<5, 1, 1, [ 36104 ]>,
<4, 4, 4, [ 29602, 204748, 841306588/5041, 
-1063478831239567936410206/17747464109457714241 ]>,
<3, 3, 3, [ 4843, 11719, 51833611544696145415/597735117698884 ]>,
<2, 2, 2, [ 25386, -31739081139676785159/13002387748728169 ]>,
<3, 1, 1, [ 21275 ]>,
<4, 2, 2, [ 12205, -675494532299156041007/26896964656649481 ]>,
<3, 1, 1, [ 61806 ]>,
<4, 2, 2, [ 2521, -1943441336426478752741/49056464147589721 ]>,
<3, 3, 3, [ 36207, 4366905799000643669/2718310612900, 
7872027688890957856957151643/20940443078243383251649 ]>,
<3, 1, 1, [ 8494 ]>,
<3, 1, 1, [ -10032 ]>,
<2, 2, 2, [ -40894, 50883672502210716766260753200063908202428899712829376099928\
699831663999/74125349900884093750883290489276748224992908951862742233309427489 
]>,
<4, 4, 2, [ 14838, -18488447216/616225 ]>,
<3, 3, 3, [ -3209 ]>,
<4, 2, 2, [ -4391, 254733760493871456764426274638232417205087656637926321425629\
4047549032829/20061564736226630943742379718959706666464629504866339437077921830\
1849 ]>,
<3, 3, 3, [ 5713, 853525074269998658093245/148572406290748228321, 
1665292464332538669301/295200559309846129 ]>,
<4, 2, 2, [ -23810, 745191778489/18879025 ]>,
<3, 3, 3, [ -4989, 11807655979/1729225, -425009201/265225 ]>,
<4, 2, 2, [ 36777, 3274945/49 ]>,
<2, 2, 2, [ -20569, 1088130128/19321 ]>,
<3, 3, 3, [ -20783, 22251261899/156025, 103285023561361/1666517329 ]>,
<4, 2, 2, [ 42669, 23093058920107710250422320285087861533381490899339464987339/\
863117782071614653919908131568951763922781491864335881 ]>,
<3, 1, 1, [ 8787 ]>,
<3, 3, 3, [ 20332, 269276056/5625, 88748206716/139129 ]>,
<2, 2, 2, [ -22816, -2575990214060826394274553641268958293096566910079/46360375\
843640177787925078526224986197454400 ]>,
<4, 2, 2, [ -34924, -23194 ]>,
<3, 1, 1, [ 23883 ]>,
<3, 1, 1, [ 1185 ]>,
<3, 3, 3, [ -6966, -438250505463824/47735695225, 9458239726513581/19863801721 
]>,
<2, 2, 2, [ 5686 ]>,
<2, 2, 2, [ 27260, 3107087100736553976414803476388046704443849233481/7085609005\
0330351231009135011696501467161600 ]>,
<2, 2, 2, [ 16741 ]>,
<4, 2, 2, [ 12460, 885212487321649/62660102400 ]>,
<5, 1, 1, [ -7668 ]>,
<4, 2, 2, [ 36998, 9811673053/361 ]>,
<3, 3, 3, [ 26903, 1555577794892/88943761, 364949685915500354/118408251025 ]>,
<2, 2, 2, [ 4341, -220073545788896715964574238154366508174792648694838698306/10\
301333505546267477535373970897020233304928674587921 ]>,
<2, 2, 2, [ -53156, -12117211728964501325/375913583257081 ]>,
<3, 1, 1, [ -24947 ]>,
<4, 4, 2, [ -14339, -183881751595527620270893111466/6771789193883738085095329 
]>,
<3, 3, 3, [ 64877, -15643, -87780424795/1630729 ]>,
<3, 3, 1, [ 9107 ]>,
<2, 2, 2, [ -15235, -4269897389596211197480967603569512130217670573232348802701\
/246273725627487083730328810215327609962186297777778025 ]>,
<3, 3, 3, [ 89458, 58288, 2954422/49 ]>,
<3, 3, 3, [ 34021, 107290607726/434281, 615074617804768370050393327026205760959\
441/19687585741632511921710608761811713600 ]>,
<2, 2, 2, [ 12888, 454142433217378561966270/27497392179215856921 ]>,
<5, 5, 3, [ -5467, 1311629/100, 12869777921/395641 ]>,
<3, 1, 1, [ -90651 ]>,
<4, 2, 2, [ -5833 ]>,
<3, 1, 1, [ 45024 ]>,
<4, 2, 2, [ 55001, 472133621463137577641409853/7209581084879158731249 ]>,
<3, 3, 3, [ -47175, 40848092167/480249, -8300646692625/1751506201 ]>,
<2, 2, 2, [ 20895, 273074973421423/12208261081 ]>,
<3, 3, 3, [ -14276, -6548, 35019167488/69169 ]>,
<2, 2, 2, [ -17568 ]>,
<4, 2, 2, [ -16002, -21177664514/1565001 ]>,
<3, 3, 1, [ 24810 ]>,
<4, 4, 4, [ -64915, -1689369/25, 3897089816/5929, -145961316287965/2249510041 
]>,
<3, 1, 1, [ 8948 ]>,
<3, 3, 1, [ -22749 ]>,
<4, 2, 2, [ 48081, 273858767350304552273338262021063673557500545339833/56916477\
596258302116567291320673777865251001 ]>,
<3, 3, 3, [ 35629, -5849/4, -1646295237386259020727450524811123527408959795889/\
472130401433734135888622607516721401087555625 ]>,
<4, 2, 2, [ -71494, 1710084413675410595908/9542387944411609 ]>,
<3, 1, 1, [ -10075 ]>,
<3, 3, 3, [ -12778, -7362511/1600, -4600967022198/301751641 ]>,
<3, 1, 1, [ 43174 ]>,
<4, 2, 2, [ 5796, 198633064/19321 ]>,
<3, 1, 1, [ 35939 ]>,
<3, 3, 1, [ 12967 ]>,
<4, 2, 2, [ 26012, 99754307216870614733043441907211/921823048784830109706650404 
]>,
<5, 3, 3, [ 28019, 11951866/289, 23985455013/674041 ]>,
<3, 3, 1, [ -3533 ]>,
<3, 3, 3, [ 10994, 6122, 47105/4 ]>,
<4, 4, 4, [ 24792, 21637, 21254, 138047176852/3690241 ]>,
<5, 5, 5, [ -11214, -170579/25, -1132391/121, 7828290/49, -4364334/361 ]>,
<2, 2, 2, [ -50839, -152522008635039383422991603548/3011246449930918401774049 
]>,
<3, 1, 1, [ 8618 ]>,
<5, 3, 3, [ -31876, 368585371/3249, 1726184629/12996 ]>,
<2, 2, 2, [ 50815, 449914460217752957544615589960435580301571421932898601663779\
5/8419242741732359193953718284837322509638540631327224609 ]>,
<3, 3, 3, [ 57608, 37440175/9, 1474517391/61009 ]>,
<3, 1, 1, [ 49377 ]>,
<3, 1, 1, [ 25906 ]>,
<3, 1, 1, [ 4112 ]>,
<4, 2, 2, [ 65948, 84500 ]>,
<2, 2, 2, [ -30127, 40778756476495243252838860716830226809/23031544272099390008\
6363703421225 ]>,
<4, 2, 2, [ 1649, -6054112259/426409 ]>,
<3, 1, 1, [ -55247 ]>,
<4, 2, 2, [ -20558, 606 ]>,
<2, 2, 2, [ -4111 ]>,
<3, 1, 1, [ 13539 ]>,
<4, 2, 2, [ -68017 ]>,
<2, 2, 2, [ -5229, 366717373023131246853431/308909881691831161 ]>,
<3, 1, 1, [ -14962 ]>,
<4, 2, 2, [ 6321, 1191850759839/27762361 ]>,
<2, 2, 2, [ 13603, 2058002233399/555025 ]>,
<3, 3, 3, [ 45945, 77390775963937071215044150527190/121847598320971454844831476\
1, 58178030203504909002060020976143785780/243781913248870313345137889792769 ]>,
<3, 3, 3, [ -3822, -20292, 2596828/81 ]>,
<2, 2, 2, [ -91539/4, -18261 ]>,
<3, 1, 1, [ 46678 ]>,
<3, 3, 3, [ 71313, 571588816/23409, 1715372629/25281 ]>,
<5, 3, 3, [ -17207, -29015, 2718437841472675/20751554916 ]>,
<1, 1, 1, [ -34007 ]>,
<2, 2, 2, [ 3529, -12311 ]>,
<3, 3, 3, [ 63777, 56256, 57281 ]>,
<5, 5, 5, [ 38009, -97461, 202511, -87817, 196966449/29929 ]>,
<3, 1, 1, [ 52870 ]>,
<2, 2, 2, [ -22110, -34133969517949368320/43070643817771761 ]>,
<2, 2, 2, [ 13671, -21339931670624/775121281 ]>,
<3, 1, 1, [ 42329 ]>,
<4, 2, 2, [ -13154, -802463988804884864219226044438826737650495987301/579101719\
90399090521398930232319972323292641 ]>,
<3, 3, 3, [ -16970, 67374842569395/858665809, 
-278276916036906112370917000509/17013654086923575029353729 ]>,
<3, 3, 1, [ -23163 ]>,
<4, 4, 4, [ 105892, -77170, -5499769/100, -710298024/9409 ]>,
<4, 2, 2, [ 58, -12792 ]>,
<5, 5, 5, [ 1415396/25, 1707833/16, 166847, -17452, 110687297/10201 ]>,
<6, 4, 4, [ -8156, 15296, 85180, 61186 ]>,
<3, 1, 1, [ 55252 ]>,
<3, 3, 3, [ 29965, 39812029/1849, 39971436874934/39853969 ]>,
<3, 1, 1, [ -56130 ]>,
<4, 2, 2, [ 13684, -5584837016/127449 ]>,
<3, 3, 3, [ 16916, 85869325425897550160673464/26005126209335844025, 
130020304633087054160900073584139755921/4642383871558279842355347597564304 ]>,
<3, 1, 1, [ -11371 ]>,
<2, 2, 2, [ -24243, 3587010767486898049386569147939868793843481/376785009123123\
86519321972992178971225 ]>,
<3, 1, 1, [ 49871 ]>,
<4, 2, 2, [ -13104, 9012008271/63001 ]>,
<3, 3, 3, [ 108643, -1869, -66459210179090132549545331720425/335366858657840783\
7956353201 ]>,
<5, 1, 1, [ -23119 ]>,
<3, 3, 1, [ 45419 ]>,
<4, 2, 2, [ 1454, -57088304157539767619138411/1228902024596235834321 ]>,
<2, 2, 2, [ 22679, 294590705813449/10995409881 ]>,
<2, 2, 2, [ -20762 ]>,
<4, 2, 2, [ 14055, 186284003025/113569 ]>,
<5, 1, 1, [ 42707 ]>,
<4, 2, 2, [ 16181, 4844574359268021883309472163900823/6204823298887674692648979\
5841 ]>,
<3, 3, 3, [ -65078, 344258197/8649, -1130569265119216883/45304772497924 ]>,
<2, 2, 2, [ 18647, 670558305428695693727253589278857287171363282939976734400593\
/614658057684475682221294878288597524849613576738210049 ]>,
<2, 2, 2, [ 76987 ]>,
<3, 1, 1, [ 4927 ]>,
<4, 4, 4, [ 41150, 1669935, 97756666/2601, 262446960/5041 ]>,
<3, 3, 3, [ 23292, 12276828588/1681, 12810985251702400150258363566521932/345305\
6563202422105804412521 ]>,
<3, 1, 1, [ -24593 ]>,
<3, 1, 1, [ -15361 ]>,
<4, 2, 2, [ -25639, 912294941/42025 ]>,
<3, 3, 1, [ -44370 ]>,
<2, 2, 2, [ 32156 ]>,
<3, 1, 1, [ -62667 ]>,
<4, 2, 2, [ 32809, 137701840201/15737089 ]>,
<1, 1, 1, [ -30711 ]>,
<2, 2, 2, [ 11016 ]>,
<2, 2, 2, [ -87919, 40023012964273621886380592337077253154619592661770141059835\
61/892982680149474141026183536084961846786819047627050625 ]>,
<3, 1, 1, [ -4950 ]>,
<3, 3, 1, [ 2907 ]>,
<4, 2, 2, [ 58431, 183492158966198201/3140352586816 ]>,
<4, 4, 4, [ 62355, 26143159/529, 16641591/49, -1269736311/506944 ]>,
<3, 3, 3, [ -15645, 4081011/25, 680586179833/7268416 ]>,
<3, 3, 3, [ 26544 ]>,
<4, 4, 4, [ 23353, 20329, 103914129/10201, 1519301813608154115/104733794006209 
]>,
<2, 2, 2, [ -20123, -753303049429911710451141643421324801/491330595904721245316\
53328105401 ]>,
<1, 1, 1, [ 40461 ]>,
<3, 3, 1, [ 14901 ]>,
<4, 4, 4, [ -246529/4, -41628, -61201504/1369, 148075440760/72361 ]>,
<4, 4, 4, [ -7335, 39565, 13205, -3455 ]>,
<3, 1, 1, [ 18992 ]>,
<5, 3, 3, [ -39873, 420627559/11025, 76964493280502603387909369/163079323577576\
274064 ]>,
<3, 1, 1, [ 24831/4 ]>,
<2, 2, 2, [ -28852 ]>,
<5, 1, 1, [ -69691 ]>,
<2, 2, 2, [ -19860, 27817458/529 ]>,
<2, 2, 2, [ 38720 ]>,
<4, 2, 2, [ -39116, 118219553844421/445885456 ]>,
<2, 2, 2, [ 34049, 1140887466529463876540175796513779711083146456968086725/7495\
913454752273998249415194563178194469672596841 ]>,
<3, 3, 1, [ -24307 ]>,
<5, 3, 3, [ 121552, 4936, 221269344748/45171841 ]>,
<3, 3, 1, [ -6563 ]>,
<3, 1, 1, [ 68264 ]>,
<1, 1, 1, [ 73020 ]>,
<4, 2, 2, [ 29208, 96830034640003491703064203039056/10104629870531532966030025 
]>,
<4, 4, 4, [ 31459, 2575411/625, 660739024438084/292681, 1387873970536/23765625 
]>,
<3, 1, 1, [ 2634 ]>,
<3, 3, 3, [ -30945, 3992037, -1322640056949997744/144864309049681 ]>,
<4, 4, 4, [ 29336, 5504618912/64009, 230200857301/1934881, 
3020826406756/90611361 ]>,
<3, 1, 1, [ -75081 ]>,
<3, 1, 1, [ -14976 ]>,
<4, 2, 2, [ -13611, 12486029060958039382259022801659025594294093884310878487150\
2229661/3628912547431304890945205041440755328314133463316181221516049 ]>,
<4, 4, 4, [ -12090, -17406255/1681, 195523992105/7912969, 73276080/11449 ]>,
<2, 2, 2, [ 49799, 19990696775/231361 ]>,
<4, 2, 2, [ -43359, -1457392010983/27952369 ]>,
<3, 3, 1, [ -25008 ]>,
<5, 3, 3, [ 32538, 5073, 6498 ]>,
<5, 5, 5, [ -50242, 34730, 3495251/100, 60426, 271250 ]>,
<4, 4, 2, [ 44660, 98139624069800344/3613280144769 ]>,
<3, 1, 1, [ -51213 ]>,
<4, 2, 2, [ 40246, -12620810517174617297800810814/465688048610110970806561 ]>,
<3, 3, 3, [ 20874, 15218, 161458837804/3697929 ]>,
<4, 2, 2, [ 35086, 31995714/961 ]>,
<4, 4, 4, [ -7847, 23657, -4634983/289, 95722261/81 ]>,
<2, 2, 2, [ 47454, 188005143/2401 ]>,
<2, 2, 2, [ 42153, 148366928752667649559532124731495230877376678740565845019912\
0788631927/32537630359094819256292329860326985685003035884021645817521283761 ]>,
<3, 3, 3, [ 46255, 130807, 10614676345759/43467649 ]>,
<3, 3, 3, [ 54809, 91980883/81, 16206260518494921884935303705178176400333484354\
911203747995582717/1883801512007115302601535830951503484017905777108412125249 
]>,
<3, 1, 1, [ 33174 ]>,
<4, 4, 4, [ 13178, 730920/121, -1477549/121, 8101742/169 ]>,
<3, 3, 3, [ 8383, 15463182495043243433483536/788004456710887223929, 
30694280670498190234824286124495932534/4799636540746240921618593513124161 ]>,
<3, 1, 1, [ 4665 ]>,
<3, 1, 1, [ -36922 ]>,
<2, 2, 2, [ 4914 ]>,
<2, 2, 2, [ -5028 ]>,
<2, 2, 2, [ -2995, 895939496995391271975210226946011558226180061026344681971129\
134590249546462474200029865344203738142235590881459/458130219194213548223452372\
0229812418844827035204699854110072423733968087593617955514226469939673001950625 
]>,
<2, 2, 2, [ -38358, 34773531070618782374932434/186425723171020497025 ]>,
<2, 2, 2, [ 22011, 166929/25 ]>,
<2, 2, 2, [ 1459, 4587131071108381/240136261369 ]>,
<2, 2, 2, [ 40508 ]>,
<3, 1, 1, [ 15845 ]>,
<3, 1, 1, [ 13088 ]>,
<3, 1, 1, [ -33155 ]>,
<3, 1, 1, [ -28908 ]>,
<3, 1, 1, [ 18197 ]>,
<3, 1, 1, [ -11425 ]>,
<4, 2, 2, [ 20987, -62009707165356799/3270426298624 ]>,
<4, 2, 2, [ -61679, -26937349895/546121 ]>,
<4, 4, 4, [ -29464, -26364, 129852021041/297025, 478627357/4489 ]>,
<4, 2, 2, [ 59497, 17906578175335621078101131378056145594343477479617/750827861\
44849700184488474414773111058793121 ]>,
<2, 2, 2, [ 17787, 290881221562378032231859915952398062410148658153422193133719\
2555524904001811/16703144623776016231535359086331415823454971936629023805475521\
5121404900 ]>,
<1, 1, 1, [ 7359 ]>,
<3, 3, 3, [ 39239 ]>,
<3, 1, 1, [ 7865 ]>,
<3, 3, 1, [ 21640 ]>,
<3, 1, 1, [ -70507 ]>,
<5, 5, 5, [ 280602459963/454276, 623831623/15876, 4446627/169, 24423, 
8778635552047/1996569 ]>,
<3, 3, 1, [ 10511 ]>,
<3, 3, 1, [ 1321 ]>,
<3, 1, 1, [ 27507 ]>,
<2, 2, 2, [ 37346, 37384614569376175052639962662690199077320211628/630003018332\
566459462214005752144417546769 ]>,
<4, 2, 2, [ 21588, 563670536243130707202950128590319389447279469/10403412974303\
622699377847143304698891076 ]>,
<3, 3, 3, [ 682, 2495, 314632706/15625 ]>,
<2, 2, 2, [ 82424, 1203812 ]>,
<5, 5, 5, [ -17590, 86951516/2401, 134125320/3721, -1742776/121, 35140610/38809 
]>,
<3, 3, 3, [ -32666, 4433815896613/373321, 
-1278601478714398948778982010233917/426102908712088029689193757636 ]>,
<3, 3, 3, [ 10893, 112509602425/6095961, 879992455/23409 ]>,
<4, 2, 2, [ 11461, 922801497684341070859135507282789891054789956050541718921537\
228058189721553/102026545558305199281335403574405984358033020910729117526775959\
86180481 ]>,
<4, 2, 2, [ -47312, 1473561594138/5527201 ]>,
<3, 3, 3, [ -19479, -185433321569/7001316, -14016400155501013/1144855060441 ]>,
<4, 2, 2, [ -5690, -5213420595328032163377395768584970/802667404694938802854410\
615649 ]>,
<3, 1, 1, [ 58533 ]>,
<5, 3, 3, [ -7332, -37752, -1862583/529 ]>,
<4, 2, 2, [ 61450, 51714591803996001751301231384314/106425072563134375680825888\
9 ]>,
<5, 1, 1, [ 35926 ]>,
<3, 1, 1, [ -33061 ]>,
<4, 4, 4, [ 87772, -10346, -61283/4, 68552686328/635209 ]>,
<2, 2, 2, [ -8350, -63049459798514126/24916979039481 ]>,
<5, 3, 3, [ -60349, -51414, 1152307501/225 ]>,
<3, 3, 1, [ -47097 ]>,
<2, 2, 2, [ 28582, 1030396809116799038158363/890505712063874404 ]>,
<2, 2, 2, [ 50475, 122626323920053676544607597349750894809195740179110928636481\
31060771/47369370434003768197879318767527312694021896481429899088592900 ]>,
<4, 2, 2, [ 38720, 1310161077/23716 ]>,
<3, 1, 1, [ 13826 ]>,
<4, 2, 2, [ 24250, 2040994/9 ]>,
<5, 3, 3, [ -4443, -670811/25, 6673235691/20164 ]>,
<3, 3, 3, [ 39068, 143207, 292556481055309245/1346370350224 ]>,
<3, 1, 1, [ 6893 ]>,
<3, 3, 3, [ -11352, 171815977362/900601, -2118889862/127449 ]>,
<5, 1, 1, [ 14644 ]>,
<5, 3, 3, [ -3589, 9616, 162943/9 ]>,
<5, 3, 3, [ -1574, -834398483/20449, -77583941174809000175/87074356956318736 ]>,
<3, 1, 1, [ -49373 ]>,
<4, 2, 2, [ -74, -26772776535/6190144 ]>,
<3, 1, 1, [ 27945 ]>,
<3, 1, 1, [ 27962 ]>,
<5, 5, 5, [ 39608, 452447, -47208, 97035/4, 17352834/289 ]>,
<3, 1, 1, [ 48873 ]>,
<3, 1, 1, [ 6066 ]>,
<3, 3, 3, [ 16008, 156773972848/1252161, -24282028118363904788/1616189788670769 
]>,
<3, 3, 1, [ -45025 ]>,
<2, 2, 2, [ -51740, 2412664/25 ]>,
<2, 2, 2, [ 41883, 41216293008773226304419371/1118768988776290122049 ]>,
<3, 3, 3, [ 225, 2906710597079/22033636, 
1324737423352525810636127707650269/1560102032736926832573012121 ]>,
<3, 1, 1, [ 31586 ]>,
<3, 3, 1, [ 25426 ]>,
<4, 2, 2, [ -79559, 690810233819749/2792805409 ]>,
<3, 3, 3, [ 35950, 681254254/30625, 145540631594/4481689 ]>,
<3, 3, 3, [ 29803, -40867, 24637130273937012513719989679995895599/9184225522747\
28253652991317446025 ]>,
<6, 4, 4, [ 263866, -23456, -5108, -24461/4 ]>,
<3, 1, 1, [ 12863 ]>,
<3, 3, 1, [ -46692 ]>,
<2, 2, 2, [ -5724, -101857485389191113/38572136158609 ]>,
<4, 2, 2, [ 80501, 3129819917/34969 ]>,
<4, 2, 2, [ 444939, 23615 ]>,
<3, 1, 1, [ 57020 ]>,
<3, 3, 1, [ 39137 ]>,
<2, 2, 2, [ 32671, 8468073571/169 ]>,
<4, 2, 2, [ 53140, 53991331446304540732731176514/940061971999488019830625 ]>,
<3, 1, 1, [ -17051 ]>,
<4, 2, 2, [ -13414, -2872975/121 ]>,
<4, 4, 4, [ 13989, 506181, 98297497/3249, 74967169/784 ]>,
<4, 2, 2, [ -17619 ]>,
<2, 2, 2, [ -48438, -1546396468557960286259331/82978271851139748196 ]>,
<2, 2, 2, [ 18835, -4753754513344132133/162752198808969 ]>,
<2, 2, 2, [ -49997, 38116574757687221011214429990397367634267701554690254363950\
551551226567/324688685074402757827901410464093381406151686521940339246769788609 
]>,
<2, 2, 2, [ 2101 ]>,
<6, 2, 2, [ -25427, -181739246970477179/7127581081009 ]>,
<2, 2, 2, [ 3481, -45952847025485461918991/87388970169905690521 ]>,
<2, 2, 2, [ 3572, 3738998711772160655398281137/587397901619274840740416 ]>,
<2, 2, 2, [ 81704, -14919107266370002497368581144950995961574149758204/26121510\
12735447583489207809418644711097767025 ]>,
<5, 3, 3, [ -29123, 61123574191/126025, -1870525853/54756 ]>,
<6, 4, 4, [ -23335, 187557, -268261/100, 4722160245/425104 ]>,
<3, 3, 1, [ -40951 ]>,
<3, 3, 3, [ -1274 ]>,
<3, 1, 1, [ 35809 ]>,
<3, 1, 1, [ -19781 ]>,
<3, 3, 3, [ -33446, 11887032080890/188705169, 
38724810827570187612703642/509956151622096805081 ]>,
<2, 2, 2, [ 42223, 910956360623608381/204534585025 ]>,
<2, 2, 2, [ -49255, 477420636101073219021888426394313/1392740121187349390279996\
4529 ]>,
<2, 2, 2, [ -46508, 86554640881/179776 ]>,
<4, 2, 2, [ 17274, 2083217506300991635184365206/107086157244479685476689 ]>,
<3, 3, 3, [ 30610, 5194039/25, 1675104317/3844 ]>,
<2, 2, 2, [ -18855, -114829469497399912967/6820898488190361 ]>,
<4, 4, 4, [ 130228, -12671, -31590846/625, 143485762/2809 ]>,
<3, 3, 1, [ 14408 ]>,
<3, 1, 1, [ 49962 ]>,
<3, 1, 1, [ 13884 ]>,
<5, 3, 3, [ -20203, -10464, -19356 ]>,
<2, 2, 2, [ -20002, 1413298711950923274/17500157855761 ]>,
<5, 3, 3, [ -11809, 27629/4, -208014269/65025 ]>,
<3, 3, 1, [ -18415 ]>,
<4, 4, 4, [ 8354, -1484966/81, 66914, 231685/121 ]>,
<3, 3, 3, [ 79614, 73911367806/9150625, -17127789596701046/142633873561 ]>,
<3, 1, 1, [ 12986 ]>,
<3, 1, 1, [ -22390 ]>,
<4, 2, 2, [ 2563, 96877/49 ]>,
<2, 2, 2, [ -40325, -9906223947551245170982056218501719969027624921548604573530\
120/489384652959253454847790688336859624088707710212042067929 ]>,
<4, 2, 2, [ 6432, -338156604601032600/5634940682809 ]>,
<5, 3, 3, [ 30593, -21839, -871316343/29929 ]>,
<2, 2, 2, [ -24958, 14581342042176044954091214476464931972933432982443937374443\
14687060106057892048674906217179243346419973944732/3003539966623399957372941230\
466238676238011257073592014361261919530715655027788096524452509949371927441 ]>,
<6, 4, 4, [ 26438, 1244294/25, 1205712547/1764, 16420374878182/617572201 ]>,
<4, 2, 2, [ 14736, -6492023772867287338450315674528791/269904835567109065141015\
1854336 ]>,
<3, 3, 3, [ 37737, -4667570986847352829715441/351058855483199691556, 
17115716174527044488287381/160331600273327634064 ]>,
<3, 1, 1, [ -16144 ]>,
<4, 2, 2, [ -72686, -48081 ]>,
<3, 3, 3, [ 38873, 776987962902243197/14821668411664, 
906726761586280303155369703086577/17142982739880389048276041984 ]>,
<3, 3, 3, [ -27244, 2861 ]>,
<3, 3, 3, [ 22687, 43355350436349/36300625, 
17876469950352764750941015259768034200455/2511108299486376666856458390268252089 
]>,
<4, 2, 2, [ 3583, -4298993/289 ]>,
<2, 2, 2, [ 72963 ]>,
<3, 1, 1, [ -4816 ]>,
<2, 2, 2, [ -844, 20306980653180452/2535836489761 ]>,
<2, 2, 2, [ 27784 ]>,
<2, 2, 2, [ 33904, 272317435608937748480119474987558830003619314812132532243613\
247031352832319033723463870216/785587053969038112524585910920525177364165758656\
5381292612324641507119728406432376729 ]>,
<3, 3, 1, [ -43721 ]>,
<3, 3, 3, [ 172727, -15457, 27614091632/54289 ]>,
<2, 2, 2, [ 25651, 207581488079159888432730900330276110950807/12536744045271056\
363939709534531058449 ]>,
<3, 3, 3, [ -628, 55252/49, -280398468/39601 ]>,
<5, 3, 3, [ 19716, 15423912/361, 21720323764/1375929 ]>,
<2, 2, 2, [ -22208 ]>,
<3, 3, 3, [ -20606, 11255149/121, 1561379481444980884/115796603521 ]>,
<3, 1, 1, [ -5593 ]>,
<3, 1, 1, [ 58661 ]>,
<3, 3, 3, [ 26550, 15878425/2916 ]>,
<4, 4, 4, [ 201529/9, 1781495, 41351, -28224 ]>,
<3, 3, 3, [ 214436, 16380, 4255665748309128499575684/334314585053651653441 ]>,
<3, 3, 3, [ 32082, -15293, 708668677527/58415449 ]>,
<3, 3, 3, [ -6836, 436012/9, -3689650611420/312193561 ]>,
<2, 2, 2, [ 11495, 959784265859836549175347272839601044883223526204197846504501\
3672614703930517269681205945277484184605555909147/35449775502505570020938550612\
0349513806605616363239340778344241452294654666742787787922796248942205225769 ]>,
<4, 2, 2, [ 10785, 2099704828889284029915553284945958172643726318193/6706692437\
3188060140717014183147551715333209 ]>,
<3, 3, 3, [ -16444, 611371/9, -170457409819/5359225 ]>,
<2, 2, 2, [ -24925 ]>,
<3, 3, 3, [ -52785, -1776473541/109561, -1630826987943603689357/934954500658460\
49 ]>,
<4, 2, 2, [ -2028, 127069327707789976209645148058338155928530744300585086070559\
78717/226034531360453613194471765064809924444597068430864609495184 ]>,
<3, 1, 1, [ 32133 ]>,
<2, 2, 2, [ 56980 ]>,
<3, 3, 3, [ 20930, 147567891436/525625, -303864699117085434600728768/2443389266\
0407068238689 ]>,
<3, 3, 3, [ 66313, 1043651823/9604, 7656484813/162409 ]>,
<2, 2, 2, [ 36541, 281594793438444356898981266445/63712549058881359925201 ]>,
<3, 1, 1, [ 6115 ]>,
<3, 1, 1, [ 635 ]>,
<3, 1, 1, [ -18038 ]>,
<2, 2, 2, [ 10147 ]>,
<4, 2, 2, [ 89324, 1221635693/5041 ]>,
<2, 2, 2, [ -2789, 203543511556040959/6941512355625 ]>,
<4, 2, 2, [ 19114, 87664757119118286718/970654649719561 ]>,
<2, 2, 2, [ -32340, 9136145/256 ]>,
<3, 3, 3, [ -29074, -10280331/400, 4801787182663/55980324 ]>,
<3, 1, 1, [ 42035 ]>,
<3, 1, 1, [ -11074 ]>,
<1, 1, 1, [ 49879 ]>,
<4, 4, 2, [ -35125, 42620728801030203271/337011574515625 ]>,
<5, 3, 3, [ 30879, 820886161201/19695844, 
66322755678858644013522268801/428163372352995446190409 ]>,
<3, 3, 1, [ 67361 ]>,
<4, 2, 2, [ -4078, -108813953139/23145721 ]>,
<3, 1, 1, [ -34883 ]>,
<2, 2, 2, [ -33376, -7399385467902707802160739484821828110762/21882252638672914\
7213556277614681889 ]>,
<2, 2, 2, [ -41473 ]>,
<3, 3, 3, [ 25473, 7960582/9, 11906447371/469225 ]>,
<4, 4, 4, [ -16477, 10903, -21377518993/4165681, 
9483852823736887422121/2667438942648456025 ]>,
<5, 1, 1, [ 1552 ]>,
<4, 2, 2, [ -59058, 742087478288932317/790728214441 ]>,
<2, 2, 2, [ -29080, 35137835714881562670507104085118719028379/10702937714947975\
5810163132707153025 ]>,
<3, 1, 1, [ -12182 ]>,
<4, 2, 2, [ -65457, 196100721515340253981/296382248100 ]>,
<3, 3, 3, [ -2918, -4977466091879/438483600, 
954973543175320787445733958451553/15462264757728394514178055696 ]>,
<4, 2, 2, [ -741, 211966325428854153385350222399475980246/502205537830867681201\
2443369168929 ]>,
<4, 2, 2, [ -27549, 3074712330676012/94907741041 ]>,
<2, 2, 2, [ 58991, 308341056725296753184670234088227458425814693104094151250253\
35082742219597760121/8175334558860246463754446781283934053756567864984753256574\
12719659255571456 ]>,
<4, 4, 4, [ -18118, 1102274, 267110, 913890 ]>,
<2, 2, 2, [ -25583, -22112648732045473684663851245/3268281174147201053983801 ]>,
<2, 2, 2, [ 3111, 433150657226905190666351668791816323132299796/220095740598453\
46273311655449849379169569 ]>,
<3, 3, 3, [ 42467, 75936979/900, 174626762/1849 ]>,
<4, 4, 4, [ -970, -15194/9, 3062, 46822/9 ]>,
<2, 2, 2, [ -17124, -33548705823273098910737741513102/1060316716697446098783700\
809 ]>,
<3, 3, 3, [ -6007, -244789/49, -254424769/100489 ]>,
<3, 3, 3, [ 46146, 13386, 4761 ]>,
<5, 3, 3, [ 17016, 36493912621/1572516, 3357958384/194481 ]>,
<2, 2, 2, [ 48252 ]>,
<2, 2, 2, [ -30035, 19958568869/69169 ]>,
<4, 2, 2, [ -10234, 84063087970552799/664293461764 ]>,
<3, 3, 3, [ -23950, -259250/9, -115619510786169584/2406714746881 ]>,
<4, 2, 2, [ -65906, -1512849794683022594091150959421692041240841098401017859639\
975968/22094865847797963001224237953244189605877559288629773234281 ]>,
<3, 1, 1, [ 73250 ]>,
<2, 2, 2, [ -11165, -2623478042458784765498767421476865742353993646989444560788\
57889301282992273510397/1494555636048683115390678337963819635640813922833807779\
8584698148107630324241 ]>,
<2, 2, 2, [ -7202 ]>,
<3, 3, 1, [ 22083 ]>,
<2, 2, 2, [ -3855, 1755832299368649371043065706042637/7487981545155923259383354\
6404 ]>,
<4, 4, 4, [ 519454/25, -30470, 4360, 25886281/3600 ]>,
<4, 4, 4, [ 24174, 29189, -34154/9, 3022880/121 ]>,
<3, 3, 1, [ -13741 ]>,
<4, 2, 2, [ -15741, 1120609052299430315791194220140142232674600269/414004195707\
7904583622193758796696523844 ]>,
<5, 3, 3, [ -19867, 91991825/529, 157456832425/200704 ]>,
<5, 3, 3, [ -4917, -13145039/576, 780893/16 ]>,
<3, 3, 1, [ -35402 ]>,
<2, 2, 2, [ -21549, -3363953125012289538064834914419443394783959133148965596620\
97873970694157010616774867501/1507061916511588697131492790890355163976616417970\
12096146973998939551162653590236969 ]>,
<2, 2, 2, [ -2355, 91776777955/78163281 ]>,
<3, 3, 1, [ 13754 ]>,
<2, 2, 2, [ 43143, 1055803464981934951/1021039516225 ]>,
<3, 3, 1, [ -41369 ]>,
<3, 1, 1, [ 9831 ]>,
<3, 1, 1, [ 33311 ]>,
<4, 2, 2, [ 2282, 29653914/121 ]>,
<2, 2, 2, [ 14769, 2457389259/27889 ]>,
<1, 1, 1, [ -19015 ]>,
<4, 2, 2, [ -41999, -20951 ]>,
<2, 2, 2, [ -11558, 10672796202742670370932596103768118040928739411282134789873\
29/101380806449774025632368020214091999033931311725004746816 ]>,
<2, 2, 2, [ -54983, -5414147135/72361 ]>,
<3, 3, 1, [ 46390 ]>,
<5, 3, 3, [ -17832, 196246/9, -47882874973183082/2787126741961 ]>,
<3, 3, 3, [ -2215, -2690740697673143/78208037649, 
-258161743444937757316973329691/14103257770488344058128025 ]>,
<4, 2, 2, [ -34358, 14258784207546742142049/137905486695438400 ]>,
<3, 3, 3, [ 31954, 15049616/529, 340725385/1024 ]>,
<3, 3, 3, [ -28626, 92624, -4325434937772/759057601 ]>,
<3, 3, 3, [ -30051, -2021481525/36481, 182399627330543089610961195/377275472773\
9878747409 ]>,
<4, 2, 2, [ -30255, -28915496451131188915/1072866507038881 ]>,
<3, 3, 1, [ -1680 ]>,
<3, 1, 1, [ -702 ]>,
<4, 2, 2, [ 30727, 75216666905318453458159867/2095898849254343428164 ]>,
<3, 3, 3, [ 10797, 1302525, -120300160337347932235/15944921543332804 ]>,
<5, 3, 3, [ -37380, -1072607728898876/28352161161, -7661389749477/213568996 ]>,
<5, 1, 1, [ -49499 ]>,
<2, 2, 2, [ -7986, -59070698135164942074199534476225703992847598855126207288122\
153875546258/204324468975834621301069945241954181192497125705221922435160459364\
1 ]>,
<3, 1, 1, [ 16105 ]>,
<3, 1, 1, [ 58755 ]>,
<2, 2, 2, [ 14714 ]>,
<3, 1, 1, [ -15933 ]>,
<4, 2, 2, [ 3032, 7716 ]>,
<2, 2, 2, [ -19209, -1891733570880199712771746878655555673130734449976191998852\
98833563/8475203477812618370635278207233556810937434140195419299784201 ]>,
<4, 2, 2, [ -44178, 5618400124083211346541824874777/790171636843889096939536 ]>,
<5, 3, 3, [ -30898, 12699180924/198025, 212721030488561/2719201 ]>,
<2, 2, 2, [ -1297, 668575247383347629142654915413663071955410717638286488164953\
34592008058425851/3753709143419823067191694245768514959489286296625627040150418\
57666024049 ]>,
<4, 2, 2, [ 10414, 317446442894871099571795203358/11246025485381762954632009 ]>,
<4, 2, 2, [ 88701, 92451 ]>,
<3, 1, 1, [ -41137 ]>,
<4, 4, 4, [ 52057, -3887, 82333/16, -278507/49 ]>,
<4, 4, 4, [ 80441, 42704, 59216, 3463409/64 ]>,
<4, 4, 4, [ 524731/9, 22979, 5730683099/57121, 
1459898773013438320553130345425932139292107581014326175611937299/39663882383134\
37857792426125092985158650225576822190357401 ]>,
<3, 3, 3, [ -1891, 97285, -75919/25 ]>,
<4, 2, 2, [ 46444, 15404044/1849 ]>,
<4, 2, 2, [ 18385, -1939482019328078727228834105/58439686868268458734081 ]>,
<1, 1, 1, [ 38411 ]>,
<3, 3, 3, [ 32117, 12446048/169, 54853105915505/22024249 ]>,
<2, 2, 2, [ 18938, -929050805883959620717349004348138432408865/3792645300627209\
2541445656025200415556 ]>,
<3, 1, 1, [ -20421 ]>,
<2, 2, 2, [ 47533, 366717202054381/38130625 ]>,
<2, 2, 2, [ 62521 ]>,
<4, 4, 4, [ -3754, -37365, -29963589/625, 33314828/529 ]>,
<3, 1, 1, [ 50476 ]>,
<3, 3, 3, [ 50092, 16448188/729 ]>,
<5, 5, 5, [ -29473, 1228619, 6933478655/5329, -612019885/28561, 
-4440846857/393129 ]>,
<2, 2, 2, [ 9931 ]>,
<2, 2, 2, [ 10813, 325837708921526231564163491747023819582319041492583133193764\
285752470432133/106324485446134604577657638782831821207742799735504595378462163\
40876161 ]>,
<3, 1, 1, [ -9941 ]>,
<2, 2, 2, [ 42272 ]>,
<3, 3, 3, [ -29465, 3224865325/13924, 5697718675/5841889 ]>,
<3, 3, 3, [ -33785, 53471428379964890826/1820019544561, 
-26264230887024779/1060277971204 ]>,
<2, 2, 2, [ 12720, -57790568/5041 ]>,
<2, 2, 2, [ 29849, -58234434319/1993744 ]>,
<4, 4, 4, [ 30309, 17748, 11324087, 9056202452388111/148107213409 ]>,
<4, 4, 4, [ 13324, -28864, 5199, -2142738588500999748555025273652262881356/1147\
54694251870686277469714893495225 ]>,
<5, 3, 3, [ 22807, -315981433/11881, 6927422/961 ]>,
<3, 1, 1, [ -28574 ]>,
<3, 1, 1, [ -20454 ]>,
<2, 2, 2, [ -42906, 46274274916450645253146870658678054896143764626807512229960\
34507017763778871356335773134/3049826754383672902889904409792247673869662617482\
7300765325655620446424396851129025 ]>,
<3, 1, 1, [ 33202 ]>,
<5, 3, 3, [ 15543, -751344/49, 194041053/3844 ]>,
<4, 2, 2, [ -51866, 37473107679371/28912129 ]>,
<3, 3, 1, [ -24094 ]>,
<4, 2, 2, [ 51078, 140592050/4489 ]>,
<4, 4, 4, [ -25173, 19767, 89596755/5041, -46501331/3025 ]>,
<4, 2, 2, [ -16283, -24063 ]>,
<4, 2, 2, [ 35776, 9560395955340398084753145/52912817148059781124 ]>,
<4, 2, 2, [ -15344, -15144 ]>,
<3, 3, 3, [ 50278, 7678912/81, 817104533159796854343559267650876689340482/54290\
6313084662512983581258280859969 ]>,
<2, 2, 2, [ -14854 ]>,
<2, 2, 2, [ 399 ]>,
<5, 3, 3, [ -7476, 532756/9, -235792145115393723231/36328805242964224 ]>,
<2, 2, 2, [ -397, -142635567187089698301992898576277/35491480675890997796140209\
409 ]>,
<4, 2, 2, [ -28418, 80501086916839961952/1274899654713169 ]>,
<3, 3, 3, [ 45945 ]>,
<2, 2, 2, [ -4439, 132312863565291329390798197/231031130205930413557636 ]>,
<4, 2, 2, [ -12368, -1790395099710017429/104912206787556 ]>,
<3, 3, 1, [ -23263 ]>,
<4, 4, 4, [ -23098, 91924, -601445962831/29931841, 
-598480883967301470872373416018937215/8585086317372504670014865315849 ]>,
<3, 1, 1, [ -53515 ]>,
<4, 2, 2, [ 38425, 19629537312502183348853/509440769791430416 ]>,
<4, 2, 2, [ 38222, 41507362997936393213618/100495782012425809 ]>,
<3, 1, 1, [ 4051 ]>,
<4, 2, 2, [ 34049 ]>,
<4, 2, 2, [ -17895, 1265853674898583810029995035/226292684097872451049 ]>,
<4, 4, 4, [ 10414, 66838, 459516824/3721, 194842197894/5442889 ]>,
<3, 1, 1, [ 4623 ]>,
<5, 5, 5, [ 8196, 447225/64, 3219772/81, 1613678721/11236, 6650413683/2809 ]>,
<3, 3, 3, [ -34719, -550320995991919695163937951426/12670046756460718317397849, 
-1429255557901535221513938863807/732368256781827441143762689 ]>,
<2, 2, 2, [ -21430, -138546317943691697472701163868703118055/345588725645388425\
4611242528479376 ]>,
<3, 1, 1, [ 60881 ]>,
<3, 1, 1, [ 16582 ]>,
<3, 1, 1, [ 1575 ]>,
<5, 1, 1, [ 29775 ]>,
<2, 2, 2, [ 16450, 163346935402651/1773252100 ]>,
<2, 2, 2, [ -23196, -10408505088/1079521 ]>,
<3, 1, 1, [ 16519 ]>,
<3, 1, 1, [ -98276 ]>,
<5, 3, 3, [ -46111, -35070, 18916569313/1024 ]>,
<2, 2, 2, [ 36928, 15167174618712641821124186010834576446216365615684829/367252\
341612142815679976191744799809068537930244 ]>,
<4, 2, 2, [ -35787, 33339529356551168459312333869079820292249204609710169388521\
/368626191621724489502763643833405285158889216189446400 ]>,
<4, 4, 4, [ 14729, 80621/16, 89537729, 2052426180399/77827684 ]>,
<3, 3, 3, [ 47476, 433634293/1936, 16845910925258711810876793189124/28500231508\
2772517927643241 ]>,
<3, 3, 3, [ 30524 ]>,
<4, 2, 2, [ -25854, -24391 ]>,
<2, 2, 2, [ 5875, 647842721270139320580542092519341786151/309613779965644442424\
41853486568356 ]>,
<3, 3, 3, [ 21767, 11975765921/289, -45304115/2401 ]>,
<4, 2, 2, [ -20026, -155006/9 ]>,
<2, 2, 2, [ -10147, 7377014 ]>,
<2, 2, 2, [ 10565, -41181496525831131054405253491071810151605777951/16963616691\
92427627261489793348601024006400 ]>,
<3, 3, 3, [ -4149, 611065031877404269/10324178691876, 
252687475272939956553339644103904357259108539/371583595331520616878595896457952\
431209 ]>,
<2, 2, 2, [ -102, -7305381831/954529 ]>,
<4, 2, 2, [ -16402, 22997753175013587364133976634446/52586330314828999446900025 
]>,
<3, 3, 3, [ -3820, 5819963/4, 125929208359521019663253370810394545640/479382764\
6165777328374590157334441 ]>,
<2, 2, 2, [ 49464, 62687982936141/838334116 ]>,
<3, 3, 3, [ -10989, 35943039/1444, -776442/289 ]>,
<3, 3, 3, [ -6188, -11664352079408/281132289, 
8588837536767297662453649543674418638089769626200132284524393620252615479031024\
3020787753578979604/44961194560839900057197484191406727333239503193383859822840\
826122250676954448037451766480625 ]>,
<4, 2, 2, [ -36878, -20268 ]>,
<4, 4, 4, [ 825723, 4383, 151805673/361, 4276035/49 ]>,
<3, 3, 3, [ 9614, 390004/9, -142840884/3025 ]>,
<3, 1, 1, [ -26523 ]>,
<4, 4, 4, [ -51120, -8396072/169, 1298986024/11881, -858316738821/16459249 ]>,
<3, 1, 1, [ -18883 ]>,
<4, 2, 2, [ 8048, 1265886558572564820366664544620932866401201993817965983686272\
55182/2584604412681155226396471104898456586301044764138051601189761 ]>,
<3, 3, 3, [ 10770, 3570809845248030/2625640081 ]>,
<2, 2, 2, [ -51051, -4526752598044617933069787383634291619109089720832860674634\
3164343/920213302877565562094326700925390771706782656251787002878016 ]>,
<2, 2, 2, [ -27786 ]>,
<3, 1, 1, [ 52938 ]>,
<2, 2, 2, [ 28767, 167628344/4489 ]>,
<3, 3, 3, [ 4538, 69722, 1389560329859423492/53952124634521 ]>,
<2, 2, 2, [ 15270, 5180477613656102379510/354547599148366009 ]>,
<4, 2, 2, [ 39729, 697431927 ]>,
<4, 2, 2, [ 6150, 1485355970501195320230517/1039340322685454724 ]>,
<4, 4, 4, [ -100, 13300, 402571/4, -17660404/529 ]>,
<4, 2, 2, [ -6074 ]>,
<2, 2, 2, [ -81775, -7414991918589109972567/126615975974343769 ]>,
<4, 2, 2, [ 60254, 563892512/361 ]>,
<3, 3, 3, [ -8899, 113841034/225, -260347163416/14891881 ]>,
<2, 2, 2, [ 30822, -93901304667167088122751005397827331115104363466030638864176\
073/2293886351949054976379179580627551366056864230047116761641 ]>,
<3, 1, 1, [ 677 ]>,
<3, 3, 3, [ -47561, -7056522958347679/513561423424, 
772285591360353049635526784/713414768382742752238441 ]>,
<4, 2, 2, [ -23692, 93885710873/2226064 ]>,
<2, 2, 2, [ -17057, 3065967594324190545416077337573619633134543231252590783/301\
28871623931013046464490346193006039389652648081 ]>,
<3, 1, 1, [ -36412 ]>,
<5, 1, 1, [ -3071 ]>,
<3, 1, 1, [ -21513 ]>,
<3, 3, 3, [ -27616, 2796510205657646873946688/20765774427617389041, 
66450902728750693415373869958564753229/3648863472287258108380535623872400 ]>,
<3, 1, 1, [ 8484 ]>,
<4, 2, 2, [ 23397, 1157101/25 ]>,
<3, 3, 3, [ -191255/4, -52091, -49835 ]>,
<1, 1, 1, [ 22355 ]>,
<3, 1, 1, [ 10860 ]>,
<4, 2, 2, [ -14219, -3035075/81 ]>,
<5, 3, 3, [ -12031, -418151/25, -6069845497202089292062850083426377088830639905\
35182900775829564/22254322048481893790718585346988548031067967516898394190225 
]>,
<4, 4, 2, [ -30267, 493777179264885/729378049 ]>,
<3, 1, 1, [ -4728 ]>,
<3, 3, 3, [ -14302, 5694350562/289, -597729468742988320087/25889206137315361 ]>,
<3, 1, 1, [ 4793 ]>,
<5, 5, 5, [ 49043, 67445, 47691, 190195, -288845/9 ]>,
<3, 1, 1, [ -32068 ]>,
<2, 2, 2, [ 72150 ]>,
<3, 1, 1, [ -6923 ]>,
<2, 2, 2, [ -11979, 45825039510246003617940906864664075256326086449603320414106\
404683345287362907436239490619/558302288177085607998640157870914174382127715536\
851725155062697871118953353272126929 ]>,
<3, 3, 3, [ -17883, 23673, 44820677319633223270794601/2108834117790408966400 ]>,
<4, 4, 4, [ 123885/4, -310, -18405, -7245 ]>,
<2, 2, 2, [ 18612, 42838687449397698158169100897855650769905/453088837704629657\
56532346609068521 ]>,
<2, 2, 2, [ -36082 ]>,
<3, 3, 3, [ 7363, 308939, 188845326391/8334769 ]>,
<3, 1, 1, [ -34522 ]>,
<4, 2, 2, [ 31653, 3182125/9 ]>,
<3, 1, 1, [ 52908 ]>,
<4, 2, 2, [ -11126, 2167448845516783787657/2776587764195569 ]>,
<3, 1, 1, [ 21496 ]>,
<2, 2, 2, [ -3159, 22571911939936534936349938192731702246636829949/591917001703\
3057255179573739768722568609 ]>,
<3, 1, 1, [ 30543 ]>,
<3, 3, 1, [ -9273 ]>,
<2, 2, 2, [ 73737, 2005064088292602/15366329521 ]>,
<3, 1, 1, [ -9416 ]>,
<2, 2, 2, [ 6366, 25806810493624751630912145838962/532593179338768591410407569 
]>,
<3, 3, 3, [ 34541, 36719, 110479520358896907/36407311249 ]>,
<4, 2, 2, [ 7115, 2572996/34225 ]>,
<4, 2, 2, [ 7202, 23910966553/3268864 ]>,
<2, 2, 2, [ 13186, 7906971008504276440840856504887186142390503231873/3001062508\
77396190576987248585387450736609936 ]>,
<2, 2, 2, [ -61257, -337463647/8464 ]>,
<5, 1, 1, [ -32516 ]>,
<4, 2, 2, [ 5879, 43055058979/50625 ]>,
<4, 2, 2, [ -23245, -6429051458943138359/767540262203289 ]>,
<2, 2, 2, [ 32006, 370910584209425146773310289/9054271810335433753600 ]>,
<3, 1, 1, [ 59517 ]>,
<3, 1, 1, [ 19687 ]>,
<3, 3, 3, [ -30089, -4114823/144, -2421954071129611625471/83993304002256289 ]>,
<4, 2, 2, [ 10166, 17706895235653080827692/1938684356148198681 ]>,
<2, 2, 2, [ 15543, -1703815808075909170938/80235948305883049 ]>,
<3, 1, 1, [ -25272 ]>,
<2, 2, 2, [ 7743 ]>,
<2, 2, 2, [ 78078, 6754402/9 ]>,
<3, 3, 3, [ -18636, -3815712027760460/136077618769, 
-1398587851385287375160167483162901924/51361572780391758130652454314289 ]>,
<3, 3, 3, [ -16648, -17152, 20505230038/71289 ]>,
<2, 2, 2, [ 11608 ]>,
<4, 2, 2, [ -15894, -1914718436/265225 ]>,
<2, 2, 2, [ 52361, 1192289869/18225 ]>,
<3, 3, 3, [ -3183, -683066727/234256, 4838445381/80089 ]>,
<5, 5, 5, [ -13117, -1059838/49, -7101973/529, -2117823517/139876, 
45100212302093/766846864 ]>,
<3, 3, 3, [ 65938, 1561124/25, 7024692063037301882/27346244689 ]>,
<2, 2, 2, [ -11759, 47627809349280347530195163423416312962355381673792979794124\
1452061230398975221256980156799644606940568699874406857/86281642218975883787876\
9096359961725337272727261827872825487160708294550481744959529380200326719805942\
705201 ]>,
<2, 2, 2, [ 9802 ]>,
<2, 2, 2, [ 10606, 463008564549837603916566436775055359703461791241/19297698350\
372441353982317259806707475824400 ]>,
<3, 1, 1, [ -29971 ]>,
<3, 1, 1, [ 16020 ]>,
<4, 2, 2, [ 78018, 154998078277091097/2026944469264 ]>,
<3, 3, 3, [ 78896, -44782, -971272377720318/22520104489 ]>,
<3, 1, 1, [ 4368 ]>,
<5, 3, 3, [ -827769/25, -34923, 110323176383/195364 ]>,
<5, 3, 3, [ -42151, 1768113/4, -5168117668/249001 ]>,
<3, 1, 1, [ 39437 ]>,
<3, 1, 1, [ 19871 ]>,
<2, 2, 2, [ 24891, 112199128686854846524342126326088407631214104515614461950336\
9427226918819524045245312629/21643508913900470229365430299045209459529832258961\
818361647111541291753087680144400 ]>,
<4, 2, 2, [ 36463, -55135424320657/2369937124 ]>,
<4, 2, 2, [ 20211, -24009385663895328065619/3892131815535309025 ]>,
<2, 2, 2, [ -3525, -40051866881/1416100 ]>,
<4, 4, 4, [ 13302, -13491117/196, 63102030/5329, 2478939920076/23107249 ]>,
<4, 4, 4, [ -7345, 127151, -461987/9, 10832906933441/354983281 ]>,
<4, 4, 2, [ -19275, -1957840321038054423/63537143898361 ]>,
<3, 3, 1, [ 2934 ]>,
<4, 4, 2, [ -11503, 6092659/4 ]>,
<3, 3, 3, [ 14239, 21775, -917951/225 ]>,
<4, 2, 2, [ -28868 ]>,
<3, 3, 1, [ -7332 ]>,
<5, 1, 1, [ -17970 ]>,
<2, 2, 2, [ 30124, 121910456082148/10003800361 ]>,
<3, 3, 1, [ 79575 ]>,
<3, 3, 3, [ 12605, -35411, 172092954226/13068225 ]>,
<3, 3, 3, [ 28807, -6503, 438915037611009442551710857051293155279610634800289/1\
5120250768920886787089024008004630714108900 ]>,
<3, 3, 3, [ 14920, -47919389/2209, 35162887278499/1627557649 ]>,
<5, 5, 5, [ -72333/4, 10174, 1001446/9, 700313/256, -4509591/256 ]>,
<2, 2, 2, [ 33936 ]>,
<3, 3, 1, [ 8993 ]>,
<3, 3, 3, [ 23971, 67716731656401771946643509219/2637706843700608695717601, 
1850415754511698177754545309577/7944562326462780001 ]>,
<4, 2, 2, [ -16184, -6271016388593599881659163077987960/81928171866205911151172\
7686089 ]>,
<3, 3, 3, [ -682, 475430, 347127470/2401 ]>,
<2, 2, 2, [ 46159, 22111465267600941117260000086774304871/282899504289417408266\
479450331881 ]>,
<3, 1, 1, [ -35312 ]>,
<3, 3, 3, [ 16254, 160240879/441, 1704561564046881990378521/1460336056778860960\
0 ]>,
<4, 2, 2, [ -43919, -2970378566035460601/73855271900281 ]>,
<2, 2, 2, [ -44358, 159034 ]>,
<3, 3, 3, [ -67914, 52242514/81, 3355613913111456766253643482/11677524960940865\
461561 ]>,
<4, 4, 2, [ -36910, -218954045/8649 ]>,
<3, 3, 3, [ -42395, 1791687282561/1050625, 
160052175046899494197651203143688931255/156153507456227037299377002725881 ]>,
<2, 2, 2, [ -44058, -43137 ]>,
<4, 4, 2, [ -19028, 184280 ]>,
<4, 2, 2, [ -8373, 303411861843485533480350777/19007859900325884903184 ]>,
<4, 2, 2, [ -51388, 1269292544691823763504260/9126808037064198009 ]>,
<4, 2, 2, [ 24991, 716706157609/10368400 ]>,
<4, 4, 4, [ -16071, 48681, 4933083/49, 632746945/47961 ]>,
<2, 2, 2, [ 24813, 591845/16 ]>,
<3, 1, 1, [ 5427 ]>,
<4, 2, 2, [ -3700, 337416064125404880878155032244663106596665211951290/92529719\
45431544097203255018798363669190813409 ]>,
<3, 3, 3, [ -93921, 246369419983632127908433/1425320760832488289, 
61689937288503493795002804415230948637/110822203158731232841494446226001 ]>,
<2, 2, 2, [ -11882, -10692484363320921525330911804916871807354053514571/7051128\
89935529361231184529131647402472604089 ]>,
<4, 2, 2, [ 18338, -87220569130831549726438/1977989670353782849 ]>,
<3, 1, 1, [ 1618 ]>,
<3, 1, 1, [ 776 ]>,
<4, 2, 2, [ 22421, -9715 ]>,
<4, 2, 2, [ 34122, 405013959227402833555979014810137457503092063821596279249840\
14272531/6166458679575422186528778234702496597296420109532996501482404 ]>,
<3, 1, 1, [ -20128 ]>,
<3, 3, 3, [ -14864, 6627521692/151321, 2210999239009/367105600 ]>,
<5, 5, 5, [ 50944, 625344/25, 48786, 5443296/169, 78678249/1600 ]>,
<3, 1, 1, [ 26917 ]>,
<1, 1, 1, [ -28709 ]>,
<4, 2, 2, [ 22318, 311985526489550926860679861940721751736275/29918956763558307\
39396474568308445609 ]>,
<4, 2, 2, [ 34016, 742054939184428708/7850436270769 ]>,
<3, 3, 1, [ -68857 ]>,
<2, 2, 2, [ -54799 ]>,
<4, 4, 4, [ 45814, 25654, 14000284/289, 88449121636/17689 ]>,
<3, 3, 3, [ -26816, -114870926110412/5227723809, 17419343453938136/6748786801 
]>,
<2, 2, 2, [ -44137, 29196274303802865374734952365215027642576463135005163/21833\
2962478190375438399445441025113977056548721 ]>,
<2, 2, 2, [ 32508 ]>,
<3, 3, 1, [ 17421 ]>,
<5, 3, 3, [ -26658, -376423683133/7365796, -3011926242634386661/67894468836100 
]>,
<5, 3, 1, [ 39151 ]>,
<2, 2, 2, [ 24202, -1979093284268028139636040870249/160556521939063366295485849 
]>,
<3, 3, 1, [ -54667 ]>,
<3, 1, 1, [ -20261 ]>,
<2, 2, 2, [ 29163, 713277375501674505165450684419795475473330392807818395847841\
9115536700790008923179116888619075/58064912127148668483377519129912902741694513\
854588023583849246329236946752462977655225284 ]>,
<4, 2, 2, [ 10730, -172522886/8649 ]>,
<5, 1, 1, [ -9044 ]>,
<3, 3, 3, [ 9647, -26598, 152223641309638413974403208/5183507236654419358401 ]>,
<5, 3, 3, [ 98610, 2054141755/8281, 106693827848969245118/119613572366401 ]>,
<2, 2, 2, [ 28325, 23472112757154944287285539077354178623129083401372/468123030\
5704782291904517473522224832373041 ]>,
<4, 2, 2, [ -26863, 366000900363803605/7578199639609 ]>,
<3, 3, 3, [ 13672, 594783321966644413/18437027594896 ]>,
<2, 2, 2, [ 24483 ]>,
<4, 2, 2, [ 8788, -4514 ]>,
<2, 2, 2, [ 57376, 783022940581137/850072336 ]>,
<4, 4, 2, [ 42830, -14356 ]>,
<5, 3, 3, [ 24282, 61348866425/1607824, 662145948560/34304449 ]>,
<4, 2, 2, [ 40601, 1201126179572024536033129755792470809/1927237661578571693470\
2597975625 ]>,
<4, 4, 4, [ -41919, -2027315/49, 5306205/16, -1903560931945711/169275467761 ]>,
<3, 3, 3, [ -1206, 16075628362/292681, 48989372945827/981380929 ]>,
<3, 1, 1, [ 5005 ]>,
<3, 3, 3, [ 52609, 19349368609/2563201, 79318264198822704832511759929/127910100\
778753597755201 ]>,
<4, 2, 2, [ -24593, 24346156 ]>,
<4, 2, 2, [ 6522, 492932562/9409 ]>,
<5, 3, 3, [ -6145, -470944111/7225, 9936262369463873/99472113664 ]>,
<3, 3, 3, [ -105131, 345387731862503/738698041, 
115527725703974351553510498292486983386327/233759809583403138496823991654193249 
]>,
<3, 1, 1, [ -3845 ]>,
<2, 2, 2, [ 33944 ]>,
<3, 3, 3, [ 6332, 610011619/168921, 1661133898/45369 ]>,
<4, 2, 2, [ 7707, 904753329/289 ]>,
<3, 3, 3, [ -63995, 16499512/169, -176048222196283107/9314819976361 ]>,
<5, 5, 5, [ 193457, -52243, -11758041/676, -8882169/169, 431525573/243049 ]>,
<4, 4, 4, [ 9243, 650491/9, 119109565/5476, 313719349/106276 ]>,
<4, 2, 2, [ -49275 ]>,
<3, 1, 1, [ -3928 ]>,
<2, 2, 2, [ -31183, 473884357239678837537254/10044491362343748025 ]>,
<3, 3, 1, [ 8391 ]>,
<4, 2, 2, [ -3563, 457324 ]>,
<4, 4, 4, [ -6329, -50855, 70599051097/1207801, 
-7237545745782575087914625/171211156204608073801 ]>,
<3, 3, 3, [ -34943, -3443824162511943869794/75478420745289769, 
1252897377982686238354810/1269147525344541441 ]>,
<6, 4, 4, [ -34363, 26897, 59077/9, 6686240381113323130394379077/38382883346591\
4838675216 ]>,
<2, 2, 2, [ -37340, -138373246843950387928/2990951363747281 ]>,
<1, 1, 1, [ -13366 ]>,
<3, 3, 3, [ 13146, 101297, 761831/4 ]>,
<5, 1, 1, [ -862 ]>,
<4, 2, 2, [ 18703, 3165 ]>,
<2, 2, 2, [ -15271, 77733548143003011344455724651664330911073064904133639384684\
3161/11453078877958648282588025769027107262734744178653512763689 ]>,
<5, 3, 3, [ -33900, 24236, 129153565720492343614645781885829/167764658383815519\
478006564 ]>,
<4, 2, 2, [ 21388, -101672524739093/8347928689 ]>,
<2, 2, 2, [ 9829, 6770063176160055025/158866034098849 ]>,
<3, 3, 3, [ -6488, 22347619219452549397/515145138782481, 
10723949304275333515/941481283843489 ]>,
<4, 2, 2, [ 321, 73532010375047812269/43129022118361 ]>,
<4, 2, 2, [ 34950, 702084 ]>,
<2, 2, 2, [ 38017 ]>,
<3, 3, 1, [ 69812 ]>,
<4, 2, 2, [ -10326, 4602858621/33124 ]>,
<2, 2, 2, [ -5827, 102256363199809362090251545645779786403959942850336368068848\
9688749177241787952234980920526053951/65650927585658346356696753961274184434983\
292423978763183956760490523910866818974987092324 ]>,
<4, 4, 4, [ 352687/9, -2888787/361, 49083, 24862533/1936 ]>,
<3, 1, 1, [ 22431 ]>,
<3, 3, 3, [ -31071, -50186, 107325416118567985103330789007578877209529608370189\
953/899688138717066742238895935381767256926649734489 ]>,
<4, 4, 4, [ -23167, -5967, -3864298/169, 2350946080848/10621081 ]>,
<2, 2, 2, [ 4832, -683333795312133980517818124452/13404945690505589279522761 ]>,
<3, 1, 1, [ 49892 ]>,
<3, 3, 3, [ -6417, -122265/49, 9858397095/8281 ]>,
<2, 2, 2, [ -39086, 1756441766510304369225452722/21102397027225940652769 ]>,
<4, 2, 2, [ -18214, -4123874285813055351100453979650326724442324848004626855169\
701725848634086726/604989218177375537666833279969559834726959869745331520290098\
2373023936169 ]>,
<4, 2, 2, [ 39428, 11868 ]>,
<4, 2, 2, [ 20887, 1755476765396220519360162813721199/1700262899086900033847676\
49 ]>,
<5, 3, 3, [ 23046, 4600084853035/19545241, 6117503519834695/395651881 ]>,
<3, 3, 3, [ -24257, 21797364708731/40896025, 
48737687783283455461347461042597/10498851387784454605806736 ]>,
<4, 2, 2, [ -8277, 6648346171138061119996758609983739/2176831834041328226809363\
321 ]>,
<2, 2, 2, [ -16922, 40545182520035671631687216131873/14924860289629088030008658\
56 ]>,
<4, 4, 4, [ 17435, 5199055/81, 3182481826863/129117769, 
21540486134790507/3700194640921 ]>,
<2, 2, 2, [ 16276, 84460468689988/748186609 ]>,
<3, 3, 3, [ 20000, 23961, 729981750/28561 ]>,
<5, 3, 3, [ 16600, 197680, 1157534157665537857715/42232282830462916 ]>,
<2, 2, 2, [ 3656 ]>,
<4, 2, 2, [ 5475, 2660715609626183416201612904031618385593304385160810137036845\
2694251707516937972705303868323/40035926311923421601983375230752364443894807155\
28884844138885264939873255879246870161 ]>,
<3, 3, 3, [ 18311, 11821847654137789/58387473225, 
-1598006752526363987383624492801/58737420454806565528729201 ]>,
<2, 2, 2, [ 22653, 841836332577699877885/88324339998609 ]>,
<3, 3, 1, [ -55400 ]>,
<3, 1, 1, [ 21371 ]>,
<2, 2, 2, [ 25779, 731901581746071541885062866545444594763103528724177650792479\
60652391/277391982466727433310965563435728260021797671772126866390113921 ]>,
<2, 2, 2, [ 52768, 290811780262154173294582177762405795907620134619050334042/52\
98353324049006720198602150601151191818639261571489 ]>,
<2, 2, 2, [ -4374, -99289958142761791092002046/13336860723425597265625 ]>,
<2, 2, 2, [ -10830, 21771809713056/141967225 ]>,
<3, 3, 3, [ 9856, 34498279240033229929/1427468567241025, 
2416710345338155079412224508109/60670846204248249279826884 ]>,
<2, 2, 2, [ 9765 ]>,
<3, 3, 3, [ 19794, 193121370559121863/467847792036, 
248344706725957671050775/49190389797152356 ]>,
<4, 4, 4, [ -11794, 638102918/2809, 1613998666574/4644025, 
2022595756162409/2100388900 ]>,
<2, 2, 2, [ 32381 ]>,
<3, 3, 3, [ 7983, 25549194/1369, 9169797382804987/1146122266041 ]>,
<3, 3, 1, [ -52726 ]>,
<4, 2, 2, [ 10314, 4151742319566648472339465/362736064835294978884 ]>,
<2, 2, 2, [ 7433, -23570432687874831225731522356251687563983/398496476155945532\
6970461677050424384 ]>,
<4, 4, 4, [ 30026, 1235926/9, -432646652/13689, 20657706378821/304188481 ]>,
<1, 1, 1, [ -10180 ]>,
<2, 2, 2, [ 12484, 12597516386564/529966441 ]>,
<2, 2, 2, [ -2085, 1979570328130674074737260146169321957839371975682515/2100690\
5419435583373733512335765003845338783081 ]>,
<4, 2, 2, [ 56613, 337224058956016713141302750024329076484970058154195549/10494\
22013831750168956521515005498930098077519689 ]>,
<4, 4, 4, [ -283719/25, -40086, 475003/9, -71234582/2401 ]>,
<3, 3, 3, [ 6782, -67882556968183/164699612224, 
5764552679167553063617564399574071844628536001688698/11700705247813164241624013\
044154869007214563881 ]>,
<3, 3, 3, [ 5800, 64775686954/4906225, 86795162691089/9656796361 ]>,
<3, 3, 3, [ -31445/9, 3462, 277989/4225 ]>,
<3, 3, 3, [ 29692, -34501, 2348279404/164025 ]>,
<5, 3, 3, [ -35728, 39758, -5454004752797/105452361 ]>,
<3, 3, 1, [ 31247 ]>,
<4, 2, 2, [ 30426, 59842/9 ]>,
<2, 2, 2, [ 20821, 640424390921053842391224968282715809969380660153342418539373\
1221871181036961/24683297983213274104829276532949499146349204696700535880044605\
55980361 ]>,
<3, 1, 1, [ 33834 ]>,
<2, 2, 2, [ 42887, 922248147370239948209928279629328234804785558511589203428695\
1751313254383/67624528560751142358267099559398206561608423169178620114582193792\
676 ]>,
<3, 3, 3, [ 31758, 1402892/49, 1852603100/18769 ]>,
<3, 1, 1, [ -27342 ]>,
<3, 1, 1, [ 33010 ]>,
<2, 2, 2, [ -20594, 13032206248780067978266344184450267259332920914/87924290379\
250417608272491657762062222169 ]>,
<2, 2, 2, [ -14342/9, -166471982044739424254811529758977798/9618022373666360192\
8840008171801 ]>,
<2, 2, 2, [ 46586 ]>,
<3, 1, 1, [ -31937 ]>,
<2, 2, 2, [ 13911, -4597362830486018290764593389049260747521/127632947204266591\
088369715996768025 ]>
];

qilist := [
[ 1, 2, 5, 16, 3, -13, 23, -13, 15, -27, 1, 3, 0, -19, -6, 7, -25, -2, -6, -47 ],
[ 1, 2, 4, 8, -1, -16, -6, -2, 8, -6, 3, -4, 2, -9, 5, 11, 2, 6, -9, -23 ],
[ 0, 2, 8, 3, 1, -8, -18, 2, 11, 3, 6, 20, -14, 0, 12, 10, -6, 9, 1, 10 ],
[ 0, 5, 1, 9, 1, -4, 5, 1, 22, -13, 7, 8, 5, 12, -2, -10, -22, -10, 23, 15 ],
[ 1, 2, 12, 3, 6, -9, -4, -7, -2, 9, 1, 13, 9, -8, 4, -18, -8, 20, 6, 2 ],
[ 2, 6, 3, 1, -5, 6, -8, -8, 2, -11, 9, 8, -5, 2, -9, -15, -9, 16, 4, -4 ],
[ 0, 12, 11, 11, 0, 0, -6, 2, -3, 4, 6, 10, 9, -15, 11, -6, 7, 10, -22, 6 ],
[ 2, 13, 2, 11, -6, -5, 4, 8, -5, -19, 1, 9, 5, -13, 5, -19, -14, -3, -18, -15 ],
[ 1, 26, 8, 19, -3, -3, 7, -4, 2, -5, 35, 23, -7, -5, -4, -3, -4, -8, 2, -11 ],
[ 0, 5, 8, 25, 1, 9, -15, 3, -7, 3, 14, -19, 11, 10, -1, 1, -2, -1, -12, -15 ],
[ 2, 1, 8, 0, 6, 1, -2, -7, 12, 15, 2, -4, -14, 1, 8, -15, -17, -21, -4, -6 ],
[ 3, 5, 10, 0, 3, 1, -18, -3, 4, -7, 0, -14, -5, 14, 4, 9, -9, -10, -12, -3 ],
[ 1, 7, 10, 1, 1, -8, -18, 3, 8, 4, 0, 16, -1, -4, 4, -14, 17, 0, 6, 5 ],
[ 1, 2, 6, 6, 4, 9, -4, 5, 7, -6, 6, -20, 12, 11, 5, 0, -4, 1, 3, 4 ],
[ 2, 3, 4, 3, -5, -8, -13, 5, 25, 9, 1, 6, -6, 5, 15, 16, -14, 17, 11, -8 ],
[ 4, 1, 2, 2, 9, 7, -7, -9, -14, 13, 0, -6, -10, -3, 6, 12, 22, 7, -16, 7 ],
[ 1, 14, 8, 5, 5, -17, -9, 6, -8, 8, 3, 3, -7, -1, -4, 11, -23, -11, -7, -3 ],
[ 0, 1, 3, 24, 2, -6, -2, 3, 11, 3, 6, -9, 13, 7, -3, -15, 21, -1, -2, -63 ],
[ 5, 12, 0, 5, 7, 1, -6, -9, 7, -12, 19, -3, 3, 3, 3, -11, 5, -9, -5, -5 ],
[ 2, 3, 7, 2, -3, -8, 9, 5, -1, 5, 4, 11, -20, 4, -7, -4, 8, -9, -1, 12 ],
[ 1, 14, 4, 2, -2, -9, -6, -4, -14, -9, 27, 9, 9, 1, -6, 15, 8, 12, -12, 7 ],
[ 1, 3, 10, 0, 2, 10, 12, 3, 3, 8, 0, -7, 7, 15, 7, 12, -10, 6, 8, 1 ],
[ 2, 2, 2, 2, -3, 3, -22, 4, 0, 6, 4, -2, -3, 4, -3, -8, 8, 16, 21, 0 ],
[ 1, 2, 6, 21, -1, 0, 6, 3, 2, 11, 6, 21, -6, 5, -21, -2, 1, -2, -4, -10 ],
[ 0, 5, 3, 1, 1, -1, -1, 3, -7, 7, 4, 7, 7, -4, 0, -4, 29, -5, -5, -15 ],
[ 1, 16, 2, 4, -4, -10, 9, -5, -3, -17, 1, -3, -9, 8, -1, 2, -27, 1, 5, -4 ],
[ 1, 13, 13, 9, -4, 3, -4, -8, -7, -11, 2, 6, -16, -8, 5, -15, 8, 0, 8, -1 ],
[ 0, 11, 17, 4, 1, 1, 1, -4, 1, -5, 5, -6, 1, -5, 11, -16, -6, 9, 15, -5 ],
[ 2, 11, 3, 6, 4, 9, -1, -5, -12, 10, 3, -10, 5, -16, -4, 15, -1, -9, -9, 9 ],
[ 1, 4, 12, 8, -2, 1, 10, -2, 5, -14, 0, -5, 12, 17, 0, 7, 21, 0, -24, 12 ],
[ 1, 12, 22, 4, 4, 8, 1, 6, -1, 8, 1, -2, 2, -4, 6, -27, -7, 0, 5, -2 ],
[ 1, 14, 14, 4, 4, -13, 3, 5, 6, -9, 1, 10, -6, -13, -6, 16, -16, 1, -10, -2 ],
[ 2, 2, 6, 6, 4, 5, 9, -14, 18, -16, 1, -11, 6, -2, 16, 12, -9, 8, -9, 14 ],
[ 0, 15, 11, 2, 0, 4, 2, 10, -8, 12, 2, -1, 8, -11, -6, 9, 21, -9, 5, -10 ],
[ 0, 2, 11, 8, 1, -12, 1, -4, 8, -10, 2, -4, 10, -32, -5, -23, 3, 24, 6, 12 ],
[ 2, 4, 3, 1, -10, -2, 3, 13, 21, 18, 1, 4, -11, -11, 5, 16, 11, -19, 10, -2 ],
[ 0, 6, 6, 10, 1, 6, -5, -6, 3, 10, 1, -25, -6, 12, 5, -10, 1, -16, 9, 2 ],
[ 3, 9, 12, 3, 3, -12, -8, 3, 9, 16, 4, -5, -2, 12, 4, -1, -23, -12, -3, -10 ],
[ 1, 11, 16, 1, 3, -20, 9, 4, -17, 5, 1, -4, -5, -1, -43, -5, 7, -6, -2, -2 ],
[ 1, 6, 13, 4, 2, -10, -1, 12, -12, 15, 3, 5, -3, 5, -1, 1, -8, -21, -19, 11 ],
[ 0, 1, 5, 19, 7, -10, 5, -11, 9, -11, 4, 1, 0, 0, 8, -4, -14, 13, -33, -13 ],
[ 2, 5, 5, 3, -2, -10, 5, -2, -15, -8, 6, -5, -11, 12, -9, -17, -7, 18, 3, -6 ],
[ 1, 9, 8, 6, -4, 5, -13, -5, -3, 8, 2, -7, 3, 13, 5, -21, 10, -7, 3, -6 ],
[ 1, 7, 9, 1, -3, -21, 12, 5, 10, 6, 1, 6, 6, -9, -19, -19, -12, -13, 11, -2 ],
[ 0, 7, 3, 0, 1, -5, 6, 4, 5, 15, 6, 9, 16, 1, 32, 13, 56, -8, 2, -16 ],
[ 2, 10, 4, 26, 3, 3, -11, 5, 1, 16, 8, 9, 4, 23, 4, 9, -8, -7, -3, -23 ],
[ 1, 2, 14, 26, -1, 1, -3, 4, 13, -4, 1, -1, -9, 1, 2, -9, 37, 1, -24, -29 ],
[ 1, 6, 2, 5, -2, 1, 1, -3, 0, -4, 1, 2, 8, 10, 16, -10, -20, 0, -12, -2 ],
[ 1, 3, 8, 1, -2, 0, -2, -6, -2, 17, 5, -1, -2, 11, -3, -5, -19, 18, -4, 11 ],
[ 1, 6, 8, 0, -2, -11, -10, 2, -6, 5, 11, 7, -12, 8, -3, 9, 6, -14, -3, 6 ],
[ 2, 1, 2, 13, -3, 1, 1, -5, 2, -19, 2, 12, -19, -18, 10, -3, 3, 13, -13, -18 ],
[ 1, 1, 10, 5, 8, -21, -7, -19, 8, -32, 2, -2, -5, 1, 4, -11, -6, -37, -24, -3 ],
[ 1, 6, 15, 16, -3, -2, 8, 7, 7, -8, 4, 7, 21, -15, -5, -1, 2, 8, 24, 0 ],
[ 7, 2, 4, 7, -7, -12, -4, 13, 2, -16, 3, 0, 25, 1, 9, -10, 5, 4, 0, 6 ],
[ 0, 13, 3, 10, 6, -6, -7, 12, 2, 13, 1, 9, -10, -18, 8, 9, 10, -9, 22, 12 ],
[ 3, 7, 10, 15, -4, 15, 7, 11, 2, 18, 10, 15, -13, -2, 4, 14, 10, 12, 16, 7 ],
[ 3, 2, 3, 7, -3, -6, -12, -6, -9, 8, 7, -9, 17, -2, -8, 16, 2, -8, -17, 7 ],
[ 0, 4, 7, 1, 5, -12, -2, -5, 16, -8, 3, 3, -7, 0, -19, -1, 14, -20, -1, -9 ],
[ 1, 1, 3, 4, 4, -22, -2, -9, -12, -10, 1, 8, 1, 10, 3, -38, -1, -10, 59, -9 ],
[ 1, 4, 7, 0, -1, -8, -2, 1, 6, 9, 2, -9, -17, 3, -3, 25, -7, -20, 51, -1 ],
[ 1, 6, 3, 11, 3, 4, -14, 3, 1, -5, 3, 5, 19, -6, 6, 15, -6, -13, 12, -10 ],
[ 0, 7, 6, 10, 1, -5, 6, 4, 14, -15, 8, 3, 7, 13, 8, -6, 3, -12, 9, 19 ],
[ 3, 2, 1, 5, -4, -11, -2, 11, -3, 24, 0, -4, -8, 5, 0, -4, -17, 23, 36, -7 ],
[ 1, 6, 1, 3, 2, -3, -4, 3, 0, 15, 2, -14, 12, 5, 5, -12, 8, -2, -18, 2 ],
[ 0, 6, 3, 5, 2, 0, 0, 10, -10, -42, 3, 5, -11, -2, 2, 9, 8, 5, -54, 21 ],
[ 2, 9, 2, 5, -5, -1, 3, 7, 3, -9, 13, -6, 5, 6, -11, -9, 7, -6, 6, -5 ],
[ 0, 1, 8, 8, 0, 8, -5, 1, 10, -5, 2, 17, -7, 2, -2, 6, 22, -11, -7, -10 ],
[ 0, 6, 7, 8, 3, 8, 8, 5, -12, -10, 4, -5, -3, -1, -6, 1, -24, -4, -2, 0 ],
[ 1, 5, 2, 16, -2, 11, 1, 4, -1, -11, 20, -10, -2, 7, 2, -5, 9, -1, -8, 3 ],
[ 1, 9, 5, 2, 1, 11, 1, -2, 3, 16, 5, -8, 3, 8, 21, -7, 24, -7, -7, 16 ],
[ 2, 5, 18, 16, -3, 7, 18, 5, -17, 7, 7, 2, -4, -21, 3, -17, 10, 1, -25, 2 ],
[ 3, 4, 11, 1, 5, -6, -3, -9, 5, 10, 3, 3, -2, 16, -16, 12, -9, 2, 10, -5 ],
[ 1, 20, 5, 16, 3, 1, 7, 5, 10, -6, 9, -15, 4, -2, 6, 0, 8, 3, -23, -6 ],
[ 5, 4, 7, 4, -6, 12, 4, -6, -3, -10, 10, 15, -27, -13, 5, 9, -1, 6, 6, 9 ],
[ 0, 2, 23, 1, 2, -5, -4, -8, -1, 12, 14, -2, -8, -7, -2, 0, -13, -15, -1, 10 ],
[ 0, 5, 0, 3, 4, -3, -3, -7, 2, 12, 2, -3, 20, -8, -3, -2, 11, 11, 12, 9 ],
[ 0, 8, 12, 13, 1, 13, -3, -2, 0, 14, 6, 12, 26, -3, 2, 1, -9, 3, 8, -2 ],
[ 0, 0, 1, 11, 3, 7, -24, -6, -6, 9, 4, 15, 3, -2, 2, 13, -6, 27, 30, 6 ],
[ 0, 4, 9, 3, 2, -2, -20, 8, 0, -18, 6, -12, -21, 5, 4, 3, 14, -7, -15, -11 ],
[ 1, 13, 3, 1, 2, 13, 0, 4, -15, 16, 1, 8, -12, -19, -13, -4, -1, 3, 17, 0 ],
[ 0, 15, 6, 8, 0, -10, 8, 2, 8, -5, 1, 9, -7, 8, 8, 19, -1, -16, -10, -1 ],
[ 3, 1, 0, 2, -4, 1, 2, -6, -3, 13, 5, 11, 14, -11, -6, -16, 10, -6, -12, 0 ],
[ 2, 6, 16, 1, -4, 13, 5, -4, -8, 5, 2, 2, 5, -1, -5, -3, 3, 55, 1, 1 ],
[ 2, 14, 0, 9, 6, 1, -4, 7, 0, 8, 0, -5, 14, -3, 14, -1, 10, -6, -12, -3 ],
[ 4, 7, 18, 7, 4, 2, -10, 6, -1, -8, 0, -8, 17, -16, 3, -4, 3, -10, -16, -4 ],
[ 3, 6, 10, 1, -5, 12, 3, -8, -7, -8, 4, 7, -10, -7, 2, 4, 2, 4, 6, -20 ],
[ 1, 9, 12, 0, -5, -7, 8, -6, -7, 17, 0, -1, -6, 11, 0, -16, -20, 4, 5, -9 ],
[ 1, 2, 5, 5, 2, 1, 16, -2, -26, 28, 3, 8, 11, 15, -1, 8, 51, -5, -25, -84 ],
[ 1, 1, 1, 5, -6, 27, -7, -8, 1, -19, 1, 4, -9, -2, 11, 19, -15, 2, -32, 14 ],
[ 3, 2, 3, 6, -6, 8, -7, 9, -1, -10, 7, 6, 12, -2, -4, -5, 4, 9, 3, 6 ],
[ 1, 17, 5, 3, -2, 3, 8, -2, -11, 14, 23, 13, 11, -6, -2, 1, -4, -4, 0, 5 ],
[ 0, 4, 3, 15, 1, -20, -16, -5, 9, -6, 1, -2, -9, 15, -4, -1, 20, -1, 22, 15 ],
[ 0, 22, 7, 7, 4, 4, -9, -7, -10, 9, 4, 7, -1, 27, 9, 8, 18, 1, -2, 5 ],
[ 1, 2, 17, 4, -3, -1, -5, -4, 3, -6, 4, 8, -14, 12, -6, 2, 8, 18, 13, -6 ],
[ 2, 6, 2, 15, -3, 4, -14, -7, -34, 13, 4, 0, 2, 1, -4, -5, -3, -2, 9, -47 ],
[ 0, 6, 12, 15, 2, -21, -5, -2, 7, -7, 16, 11, -24, 1, -5, 5, 2, 24, 8, 5 ],
[ 1, 17, 11, 5, 1, -5, -6, 1, 11, -8, 3, 22, -7, 4, 5, -2, -1, -9, -8, -3 ],
[ 1, 10, 1, 8, 1, -2, -6, -3, 15, -4, 9, 8, 35, 6, 12, -13, -1, 13, -22, 14 ],
[ 1, 13, 4, 2, -2, 4, -5, 3, 21, 12, 0, 5, 0, 17, 4, -10, -20, 16, -11, 9 ],
[ 1, 10, 4, 10, -6, -2, -19, 10, 5, 14, 3, -11, 0, -8, -6, -8, -8, -22, -23, -2 ],
[ 1, 6, 2, 19, -3, -18, 8, -4, -1, -20, 2, 0, 3, -9, 13, 1, -4, 2, 23, -21 ],
[ 0, 12, 2, 9, 2, -4, 5, -3, 15, -6, 1, -4, 1, -22, -3, -4, -8, 4, 14, 10 ],
[ 2, 0, 7, 30, -5, 14, 5, 6, -6, 8, 3, 16, 6, 3, 1, -26, -9, -11, 13, 8 ],
[ 1, 6, 4, 2, -2, -5, -6, 6, -15, 32, 3, 2, -2, 5, -10, 9, 27, 5, 29, -2 ],
[ 3, 15, 11, 6, 3, -16, -7, 4, 0, 12, 8, 14, 2, 10, 22, 10, -6, -4, -7, -7 ],
[ 1, 1, 2, 1, 2, 3, 17, 6, 10, -24, 1, 1, -8, -9, -14, 16, -18, 15, -10, 0 ],
[ 5, 0, 2, 35, -6, 4, 4, -6, 10, 25, 4, 2, -1, -42, 0, 3, 14, 1, 23, 10 ],
[ 1, 28, 4, 10, 4, -11, -5, 8, -2, -14, 5, -14, -12, -20, -14, 3, -15, -4, -13, 0 ],
[ 1, 16, 1, 6, -2, 0, -7, -6, -5, 7, 3, 0, 0, 1, 7, 11, -10, 14, -24, -15 ],
[ 0, 2, 14, 14, 2, -4, -4, -5, -5, 9, 6, 8, -11, 11, 4, 7, -2, 2, -2, 14 ],
[ 0, 18, 4, 7, 3, -15, -5, -3, 9, 5, 2, 5, 12, 23, -1, -6, 19, 3, -3, -9 ],
[ 0, 2, 3, 5, 2, -6, -7, 14, -13, 25, 1, 1, -2, -1, 9, -13, -3, -10, -50, -37 ],
[ 1, 4, 3, 20, 5, -6, 31, -8, 36, 17, 0, -6, 0, -35, 0, -4, -46, 10, -19, 93 ],
[ 0, 2, 1, 5, 0, -3, -12, 2, 3, 33, 1, 13, 16, -4, -6, -1, -50, 7, -1, -37 ],
[ 0, 10, 6, 2, 2, 3, -13, -4, -6, 12, 13, 11, 3, 34, -6, -3, -6, 0, 2, -11 ],
[ 0, 8, 1, 4, 1, 0, -1, -1, 7, -2, 1, 11, 11, 10, -1, 18, 8, 1, -23, -3 ],
[ 0, 18, 5, 3, 2, 4, -5, -6, 5, 12, 12, -5, 7, -22, 1, 5, -9, -9, -2, 21 ],
[ 2, 1, 16, 8, 4, 14, -5, -24, 7, -31, 3, 5, 8, -2, -1, 9, -7, -2, 53, -3 ],
[ 2, 2, 20, 17, 4, -7, 4, -11, -9, 22, 5, 10, -1, 1, 2, -11, -7, 3, -37, -4 ],
[ 2, 5, 35, 3, 4, 6, -7, -5, -3, -6, 0, 1, 1, -16, 0, -28, -6, 24, -21, -3 ],
[ 1, 2, 10, 14, 2, 4, -2, -3, -1, -4, 3, 1, 12, 7, -1, -10, 11, 6, -6, -6 ],
[ 2, 7, 1, 5, -3, -4, -3, 5, 4, -9, 1, -19, 29, 3, 22, -11, 8, -16, 7, -10 ],
[ 1, 3, 5, 0, 2, -15, 12, -5, -4, -5, 2, -11, -22, 9, 0, 2, 38, -7, -24, 38 ],
[ 0, 16, 2, 2, 3, -4, -13, 4, -20, -8, 11, -13, 9, 44, 0, 2, 11, -1, 2, 17 ],
[ 0, 2, 1, 0, 1, 24, -2, 8, -6, 17, 7, 8, -2, 1, 3, 9, 20, 16, -12, 2 ]
];

ctp24data := [
<2,
[ -39, -267, 174, 1507, 15025, 17032, 342655, -41210 ],
[ 0, 2, 1, 3, 1, -5, 2, 1, 0, 1, 7, -82, 17, 42, 13, -4, 35, -36, -25, -56 ],
1>,
<14,
[ 43, -22, 91, -2475, 2137, 27687, 20619, 13328 ],
[ 3, 4, 2, 6, -3, 0, 6, -4, -14, 18, 1, 2, -1, -4, -4, 0, -5, -6, 30, 24 ],
1>,
<22,
[ -41, -84, -95, 29664, -107911, 41014, 3685, -15034 ],
[ 1, 0, 3, 4, 2, -4, -1, -2, 6, -12, 7, 11, -22, 14, 6, 8, -10, 31, 46, 26 ],
1>,
<26,
[ 6, -146, 17, -5297, -54528, -146135, -69390, -5710 ],
[ 2, 7, 4, 18, 6, 5, 8, 6, -3, -8, 4, -13, -3, 2, 6, -2, 6, 12, -15, 2 ],
1>,
<27,
[ 97, 384, 253, -357, 14490, -5893, 18904, -7104 ],
[ 1, 6, 4, 1, -2, 1, -2, 6, -1, 9, 15, 9, 3, 2, 4, -21, -9, -4, -8, -10 ],
1>,
<38,
[ 57, -105, 90, -3662, -46653, 110549, -28340, -34846 ],
[ 0, 3, 3, 2, 0, -5, 6, 2, 0, -2, 7, -3, -7, 8, 28, -54, -55, -1, 38, -27 ],
1>,
<84,
[ 27, 216, 37, 2071, 10242, 43944, 66972, -36442 ],
[ 0, 3, 12, 2, 0, -3, 8, 2, 5, -6, 3, 2, -2, -20, 8, -11, 8, -1, -18, -1 ],
1>,
<104,
[ -1, 47, -145, 1472, 2088, -23761, -2738, 73358 ],
[ 3, 6, 4, 7, 4, -9, -2, -7, 5, -12, 4, -3, 8, 3, -4, -1, -3, -7, -16, 2 ],
1>,
<176,
[ 112, 387, -31, -12906, -98431, -84425, 26788, 25572 ],
[ 0, 4, 7, 24, 0, -5, 9, 1, 17, -7, 3, -7, -7, -31, 5, -2, 0, -4, 25, 6 ],
1>,
<177,
[ -82, 116, 43, -1906, -8868, 23840, 32774, 23204 ],
[ 0, 5, 1, 0, 2, 1, 3, -3, -6, 19, 5, 4, -9, 12, 6, 19, 22, -2, 7, 6 ],
0>,
<203,
[ 2, -472, -7856, 4, 330, -6820, -1778748, 28058709 ],
[ 0, 3, 6, 13, 2, -11, 10, 3, 15, 3, 4, 4, 3, -3, 4, 3, -19, -7, 4, -19 ],
1>,
<205,
[ 17, 218, 216, -2294, 31448, 31244, 35024, 1142 ],
[ 0, 4, 9, 10, 2, -3, 2, -4, -1, -11, 12, -9, 11, 1, 0, -20, 6, 2, 2, 9 ],
1>,
<210,
[ -78, -18, -17, -5732, -1205, 9124, 4560, 6223 ],
[ 0, 1, 1, 1, 1, -3, -6, -1, 2, -2, 11, 24, 10, -4, -13, 13, 0, 17, 21, 0 ],
1>,
<220,
[ 8, 7, 451, -9693, 11443, -12538, 66410, -39876 ],
[ 2, 10, 8, 36, 4, -6, -17, -9, 50, -32, 3, 7, 5, 26, 2, -6, -1, -5, 37, 74 ],
1>,
<223,
[ -166, -435, -396, -656, -12613, 7079, -62814, -20066 ],
[ 2, 4, 15, 5, 5, 2, 2, 6, 2, -10, 4, -21, 11, 3, 8, -9, 4, -5, 10, 4 ],
1>,
<232,
[ -137, 137, -67, 26962, -55505, -14624, 40818, -3988 ],
[ 2, 11, 3, 6, 4, 9, -1, -5, -12, 10, 3, -10, 5, -16, -4, 15, -1, -9, -9, 9 ],
1>,
<235,
[ 182, 322, -33, -13243, -60481, -16537, 65941, 8480 ],
[ 2, 13, 15, 3, 2, 1, 5, 3, 10, -6, 6, 22, -1, -3, -7, -6, -7, 7, -5, -8 ],
1>,
<275,
[ -48, -241, 410, 17392, 44629, 84863, 110864, 32314 ],
[ 5, 0, 2, 1, -6, -4, -2, 9, 12, -25, 0, 10, -2, -5, 4, 7, 12, -13, 22, 14 ],
1>,
<291,
[ 120, -154, 21, 8164, 79870, -57407, 16121, -22466 ],
[ 2, 6, 4, 3, -4, 5, 3, -7, 5, -10, 16, -21, 4, 12, -2, -17, -15, -4, 22, 4 ],
1>,
<307,
[ -27, -156, 566, -5938, -67552, -50869, 36828, -48716 ],
[ 1, 5, 5, 3, 2, -12, -12, 6, -15, 8, 2, -7, 16, 6, -5, -3, -9, -2, 17, 27 ],
1>,
<315,
[ -8, 204, -195, 1133, 5500, 10047, 61735, -472289 ],
[ 1, 3, 4, 6, 3, -10, 0, -8, 19, -15, 1, -2, 12, -15, 6, 5, -25, 12, 18, -1 ],
1>,
<319,
[ 32, 215, 108, 6780, 39842, 36747, 46191, 7812 ],
[ 2, 2, 8, 1, 2, -10, -6, 2, 7, -4, 0, -25, 1, 3, 7, -6, -8, -16, 2, -9 ],
0>,
<323,
[ -15, 126, -1226, 2009, 31016, 101159, 509195, -960861 ],
[ 3, 14, 8, 0, -5, 12, -9, -10, -11, 10, 11, -15, 25, 11, 7, 2, 11, 7, -22, -10 
],
1>,
<335,
[ -3, 249, -393, 1038, 12998, -116571, 99238, -9863 ],
[ 0, 9, 3, 4, 1, 4, 10, 6, 12, 6, 3, -9, -5, 30, 12, -2, -9, -1, 12, -23 ],
1>,
<337,
[ -97, 94, 803, -6930, -8402, 63616, -200035, 386644 ],
[ 3, 9, 8, 3, -4, 16, -7, 7, -25, 8, 4, 6, 3, -12, -7, 0, 19, 30, -5, 6 ],
1>,
<351,
[ 186, 32, -262, 20293, 36004, 80856, 62129, -46320 ],
[ 2, 0, 1, 0, 7, 16, 11, -16, -12, 27, 4, 5, -3, 7, -2, 5, -17, -11, 16, 30 ],
1>,
<354,
[ -96, -19, 314, 28802, 7449, -79017, 27606, 8370 ],
[ 0, 6, 9, 7, 2, -18, 2, -4, 11, -10, 3, 17, 3, -8, -12, -3, 15, -8, 9, 12 ],
1>,
<388,
[ -78, -146, 194, 1284, 2519, 80791, -4087, -168 ],
[ 1, 6, 5, 10, 1, -1, 14, 2, -6, -11, 2, -3, 2, -24, -4, 1, 6, 18, 12, -4 ],
0>,
<390,
[ 32, 167, -26, -3684, 11281, 44282, 108895, 40746 ],
[ 0, 1, 0, 27, 3, -1, -9, 4, -6, 14, 1, 7, 5, -15, -9, 2, -2, -6, -27, -9 ],
1>,
<393,
[ 65, -363, -347, -980, 66802, -24459, -104211, 34404 ],
[ 5, 1, 11, 10, 6, 1, -1, -6, -4, -13, 4, 17, -1, 5, -5, -4, 16, -10, 13, -5 ],
1>,
<394,
[ 30, 179, -108, 13264, -47922, 3673, 65213, 17268 ],
[ 0, 4, 10, 2, 2, -12, 0, 4, -1, -8, 9, 13, -9, -15, 1, -1, 18, -4, 9, -18 ],
1>,
<415,
[ -18, -103, 286, 12396, 10910, 113116, 23592, 118500 ],
[ 1, 3, 2, 3, -2, 1, 3, 3, -3, -6, 4, 38, 7, -68, 21, -33, -56, 3, -55, -26 ],
1>,
<436,
[ -13, -364, -517, 1118, -13010, 64411, -799715, -125034 ],
[ 0, 0, 3, 1, 1, -2, 0, 1, 1, -2, 80, 41, 20, 59, 58, 55, 42, -78, -22, -16 ],
1>,
<441,
[ -56, -46, -593, -2468, 11834, -68936, 289904, 1669746 ],
[ 1, 1, 10, 17, 3, -5, 26, -4, -6, 4, 5, -1, 13, -12, 7, 7, -6, -8, 29, 33 ],
1>,
<447,
[ -40, 419, -364, 8330, 49444, -150161, 296651, -38660 ],
[ 5, 2, 6, 6, -5, -1, 0, -8, 0, 11, 10, 10, 6, 7, -12, -3, -11, 72, 9, 24 ],
1>,
<452,
[ -31, -37, 80, 7208, 30359, -16708, -71392, 63848 ],
[ 0, 5, 2, 11, 4, 16, -13, -6, 8, 24, 2, 4, -3, 6, 2, 18, 21, -8, 32, 6 ],
1>,
<469,
[ 11, 258, 424, 6035, 46668, 199942, 414201, 274520 ],
[ 0, 9, 2, 4, 3, 1, 2, 3, 11, 6, 4, -10, 21, 9, 0, -2, 16, -20, 17, -18 ],
1>,
<470,
[ 73, -63, 153, 5594, 8856, 18275, 85163, 5238 ],
[ 2, 4, 6, 7, -2, -3, 3, -2, -2, 8, 8, -5, -4, 3, -14, 42, 21, -18, 7, 5 ],
0>,
<481,
[ -14, -26, 1174, -177, 3268, 62444, -137041, 316386 ],
[ 0, 20, 13, 5, 2, -6, -3, 3, -5, -4, 5, 15, 2, 1, -1, 17, 0, 3, -15, 2 ],
1>,
<487,
[ -18, 24, 107, -6314, 10488, 26288, -32930, 180756 ],
[ 1, 0, 9, 3, -3, 1, 30, -8, -6, 24, 5, 3, 1, 12, 4, 3, 15, 2, 22, -47 ],
1>,
<511,
[ 21, 103, 354, 68, -16315, -6091, -166503, 809917 ],
[ 0, 2, 12, 9, 2, -4, -6, 4, 6, 12, 8, -4, -13, 23, 14, 9, -10, -19, -1, -11 ],
1>,
<548,
[ -47, -126, 69, 59771, 12320, 33240, -5087, 50934 ],
[ 1, 1, 8, 2, -2, -2, -13, -4, -13, 10, 6, 14, -18, 46, -5, 13, 13, 11, -30, 4 
],
1>,
<550,
[ 88, 178, -71, 2304, 27934, -48589, -58215, 33480 ],
[ 0, 4, 5, 9, 5, 6, 9, -9, -8, -9, 10, -20, 1, 12, -1, -10, 5, -9, 4, -10 ],
1>,
<583,
[ -30, -36, -560, 217, 596, 3594, -139825, -257276 ],
[ 2, 10, 3, 5, -6, 2, -1, 7, -3, -11, 1, 2, 0, -13, 7, -8, 4, 5, 15, 2 ],
1>,
<587,
[ 22, 182, -42, -4460, 14328, 58417, -58584, -56817 ],
[ 1, 2, 0, 8, 1, 19, -24, 11, -4, -12, 1, -3, 4, 0, -18, 27, 14, 9, -2, 18 ],
1>,
<591,
[ -74, -353, -437, 18564, 29738, 43519, 51805, 161546 ],
[ 5, 7, 4, 11, -9, 15, -10, 10, 8, -13, 4, -25, 7, 1, 0, 4, -14, -2, 22, -5 ],
1>,
<594,
[ 57, 599, 246, 2860, 67701, -65988, -62128, 6916 ],
[ 2, 5, 5, 8, 2, 2, -19, -2, 1, -6, 2, -1, 13, 5, 9, 11, 10, -19, 29, -21 ],
1>,
<596,
[ 240, 373, 140, 40841, 150543, 33358, -157762, -86020 ],
[ 3, 2, 4, 2, 3, 3, -11, 9, 2, -10, 6, -5, 6, -1, -6, 48, 32, 16, 8, 14 ],
1>,
<605,
[ 27, -296, 563, -866, 10112, 83503, -21126, -68658 ],
[ 0, 6, 7, 7, 5, 5, -8, -9, 1, -12, 3, -11, 11, 3, -2, -5, -1, -18, 19, 6 ],
1>,
<613,
[ 16, 186, 40, 1349, -16956, -33390, 41201, 24731 ],
[ 1, 4, 1, 10, 2, -1, -1, 3, 5, -6, 7, 14, 13, -7, -10, 0, 26, -9, 8, -2 ],
1>,
<665,
[ 9, -317, 327, 6890, -15298, -4483, -38209, 25764 ],
[ 1, 12, 0, 3, -3, -11, 0, 5, 6, 7, 14, 21, 13, -3, -3, -2, -11, -1, -16, 1 ],
1>,
<677,
[ -79, -10, -37, -12332, 583, -2046, -11924, 10689 ],
[ 2, 11, 0, 4, 2, -3, 4, -2, 5, 15, 2, -11, 12, 9, 5, -6, -6, 5, -8, 1 ],
0>,
<680,
[ 10, -8, 34, 15107, -1965, 39733, 25801, 7276 ],
[ 0, 6, 15, 8, 2, 2, -12, 3, 5, -8, 4, 11, 3, -10, -4, -2, 3, -8, -13, 12 ],
1>,
<706,
[ -205, -191, -11, 9174, -130111, -48381, 45798, 14559 ],
[ 0, 6, 5, 10, 5, -2, -11, -7, 8, 7, 2, 14, -2, -11, 9, 24, 3, 4, 20, -13 ],
0>,
<757,
[ -172, -51, -11, 34675, -1928, -21821, -40490, -270 ],
[ 0, 13, 12, 7, 3, -4, 3, -3, 2, -4, 7, -10, -5, 4, -9, 24, 12, -15, 4, 3 ],
1>,
<778,
[ 99, 155, 54, -22260, -150527, -292886, -180974, -11552 ],
[ 2, 2, 1, 11, 2, 3, -1, 3, 4, -4, 0, 12, 24, 4, 4, -26, -5, 0, 34, 21 ],
1>,
<825,
[ -18, -548, 44, 11358, 14958, 2982, 96254, 56184 ],
[ 0, 4, 9, 2, 2, -15, -23, 3, 21, -4, 1, 0, -4, 6, 9, -40, 2, -5, -8, -4 ],
1>,
<826,
[ 67, 33, -52, -27170, -67642, -40755, 59277, 89808 ],
[ 0, 3, 4, 1, 3, -9, 9, -3, 6, -17, 3, 4, 9, -1, 13, -19, -58, 16, -20, -38 ],
1>,
<827,
[ -20, -21, 45, 1812, 9924, -8962, -9748, 59369 ],
[ 0, 1, 1, 2, 1, 2, 0, -1, 0, 2, 27, 28, 0, -45, 42, 14, 37, -44, 42, -24 ],
1>,
<830,
[ -156, 238, 302, -22626, 3552, 36774, -103756, 118992 ],
[ 1, 0, 2, 6, -9, -4, 2, -12, -6, 22, 3, 7, 7, -22, 3, 0, 36, 6, 27, 1 ],
1>,
<833,
[ 334, -405, 98, -28088, 93718, 137773, -184937, 48284 ],
[ 0, 5, 0, 6, 2, 0, -1, -2, 0, 3, 26, -31, 1, 7, -4, -13, 110, -21, -10, 58 ],
1>,
<839,
[ 392, -569, -15, 20652, 6975, -77402, -55995, -23070 ],
[ 1, 6, 3, 0, -1, -3, 1, 2, 3, -2, 22, -1, 0, 14, -51, 38, 32, 34, -1, 40 ],
1>,
<849,
[ -38, -361, 107, -926, 17481, 8153, -11098, 36380 ],
[ 1, 6, 0, 11, -5, -7, -1, 13, 0, -14, 3, 4, 2, 5, 9, -4, 4, -23, 6, 1 ],
1>,
<852,
[ -20, 191, -151, 29912, -34872, 14735, -59746, -41745 ],
[ 0, 12, 2, 2, 0, -11, 9, 8, -3, 17, 5, -10, -1, 4, -10, 11, -22, -7, 34, 23 ],
1>,
<874,
[ -35, -18, -1162, -1288, -30598, -227455, 47520, -255723 ],
[ 3, 7, 15, 2, 6, -7, 6, -6, 4, 16, 0, -12, -8, 19, 1, 1, 12, 18, 9, 1 ],
1>,
<880,
[ 10, 506, 607, 12188, 86336, 79648, -60175, -34018 ],
[ 0, 2, 5, 7, 4, -1, 5, -5, 11, -12, 7, -5, 2, 27, 4, 5, 1, 4, -52, -39 ],
1>,
<882,
[ -18, -205, -418, -365, -9680, -13023, -90035, -215132 ],
[ 1, 8, 6, 2, -1, 4, -3, 2, -5, 9, 9, 15, 0, -22, 10, -1, 5, 8, 9, 6 ],
1>,
<884,
[ -125, -268, 23, -36384, -21638, 110199, 42704, -61917 ],
[ 0, 5, 7, 10, 1, 2, 3, -9, -10, -13, 14, -19, 28, -5, 5, -10, -8, 17, -42, 12 
],
1>,
<897,
[ -141, 176, -211, -418, -17155, -51859, 55418, -16752 ],
[ 0, 2, 15, 1, 2, -5, -2, 2, 6, 4, 9, -5, -7, -3, -4, 2, -21, 15, 6, 6 ],
1>,
<918,
[ -14, 110, -47, -66, -774, 28630, 11388, -25402 ],
[ 0, 6, 4, 1, 0, 5, 3, 0, -1, 1, 6, -20, 7, 22, -14, 5, 5, -20, -7, 18 ],
1>,
<936,
[ 418, 526, 477, -45124, -101857, 36813, 17417, -30521 ],
[ 0, 1, 5, 2, 1, 7, 1, -7, 33, -38, 11, -3, 24, 1, 0, 5, 4, -45, -34, -9 ],
1>,
<962,
[ 162, -219, 261, 32942, 2529, 93449, 8992, 41710 ],
[ 6, 7, 3, 5, 7, 0, -24, 9, -1, 13, 1, -11, 13, 4, 1, 19, 5, -26, 2, 6 ],
1>,
<974,
[ -33, -107, -64, 289, -22580, -154927, 84624, -3963 ],
[ 0, 0, 1, 6, 3, 3, 1, -3, 4, 3, 13, 33, 40, -2, 2, -4, -59, 19, 42, -33 ],
1>,
<988,
[ 9, 59, 81, -29824, 7984, 17401, -93743, 46846 ],
[ 0, 7, 4, 11, 4, 0, -3, 4, 19, 7, 13, 16, -12, -1, 0, 23, 4, 2, -8, 14 ],
1>
];

