back to table · edit · history · where entries came from · files · download
24728 bytes, as of the version from 2026-08-13 22:06 (current). Recorded here, not run.
# Elliptic curves downloaded from the LMFDB downloaded on 08 May 2021. # Below is a list called data. Each entry has the form: # [a1,a2,a3,a4,a6] (Weierstrass coefficients) data = [\ [0, 1, 1, -2, 0],\ [1, 0, 0, 0, 1],\ [1, -1, 0, -4, 4],\ [1, 1, 1, -15, 16],\ [0, 1, 1, -4, 2],\ [1, 0, 0, -4, 3],\ [0, 0, 1, -13, 18],\ [0, 0, 0, -7, 10],\ [0, -1, 1, 0, 2],\ [0, 1, 1, -12, 12],\ [0, -1, 1, -2, 0],\ [1, 0, 1, -5, 0],\ [1, 0, 1, -3, 2],\ [0, 1, 1, 1, 6],\ [0, 0, 0, -4, 1],\ [0, 0, 0, -19, 34],\ [0, -1, 1, -24, 54],\ [0, -1, 1, -5, -3],\ [0, 0, 1, -199, 1092],\ [0, 1, 0, -10, 9],\ [1, 0, 1, -12, 14],\ [1, 0, 1, -115, 462],\ [1, -1, 0, -10, 16],\ [0, -1, 1, -45, 132],\ [1, 1, 1, -27, 42],\ [0, 1, 0, -65, -161],\ [1, 0, 1, -7, 6],\ [1, 1, 0, -29, 61],\ [1, -1, 0, 2, 4],\ [0, 1, 0, -5, 4],\ [1, 1, 1, -2, 2],\ [1, 0, 0, -27, 94],\ [0, 0, 1, -39, 90],\ [0, -1, 1, -9, 9],\ [1, -1, 1, -3, 0],\ [1, -1, 0, -1, 13],\ [0, -1, 1, -22, 52],\ [0, 1, 0, 3, 4],\ [0, 1, 1, -8, -6],\ [1, -1, 1, -29, -26],\ [0, 1, 0, -12, 4],\ [1, 1, 1, -9, 6],\ [1, 1, 0, -4, 4],\ [1, -1, 1, -42, 105],\ [1, 0, 0, -6, 7],\ [0, 0, 0, -28, 52],\ [0, 1, 1, 2, 2],\ [1, 0, 0, -33, -68],\ [0, 0, 1, -14, 20],\ [1, -1, 0, 5, 37],\ [1, 0, 1, -4, 6],\ [0, 1, 0, -9, -5],\ [0, 0, 1, -71, 552],\ [1, -1, 1, -27, 75],\ [0, -1, 0, -25, 61],\ [0, 0, 1, -9, 20],\ [0, 1, 1, -3, 0],\ [1, 0, 0, -215, 1192],\ [1, -1, 1, -4, 4],\ [1, 1, 1, -3, -2],\ [1, -1, 1, -6, 6],\ [0, -1, 1, -4, 6],\ [1, 1, 0, -1, 5],\ [0, -1, 1, -27, 182],\ [1, 1, 0, -27, 45],\ [0, 0, 0, -4, 16],\ [1, -1, 0, -9, 9],\ [0, 1, 0, -12, 16],\ [0, 0, 0, -76, 256],\ [0, -1, 0, 15, 1],\ [0, 0, 1, -27, 56],\ [0, -1, 0, 0, 16],\ [0, -1, 1, -4, 4],\ [0, 1, 0, -44, 100],\ [1, 1, 0, -14, 4],\ [0, -1, 1, -6, 6],\ [1, -1, 0, -114, -406],\ [0, -1, 0, -90, 361],\ [0, -1, 0, -20, 36],\ [0, 1, 1, 6, 6],\ [0, -1, 0, -27, 64],\ [0, -1, 0, -17, 49],\ [1, 0, 1, -75, 242],\ [1, -1, 1, -1, 2],\ [1, 1, 1, -17, 20],\ [0, -1, 0, -2, 4],\ [1, -1, 1, -46, 130],\ [0, 0, 1, -4, 2],\ [1, 1, 0, -202, 1025],\ [1, -1, 1, -41, 110],\ [1, 0, 1, -302, -2040],\ [1, 1, 0, -159, 709],\ [1, 0, 0, 1, -2],\ [0, 1, 0, -17, 31],\ [1, 1, 1, -8, -12],\ [1, 1, 0, -522, 4315],\ [0, 0, 0, -16, 25],\ [1, 1, 0, -88, 284],\ [1, -1, 1, -14, 42],\ [0, 0, 1, -127, 552],\ [0, 0, 1, -65, 202],\ [1, -1, 1, -12, 0],\ [0, -1, 1, -8, 12],\ [0, 1, 1, -130, 520],\ [0, 1, 0, -16, -12],\ [1, 0, 0, -155, -98],\ [1, 0, 0, -10, 36],\ [1, 1, 1, -10, 12],\ [1, -1, 1, -9, 12],\ [0, 1, 0, -4, -3],\ [0, 1, 1, -36, 72],\ [0, 1, 0, -86, 280],\ [1, -1, 1, -39, 102],\ [0, -1, 1, -69, 245],\ [0, 1, 1, -8, 6],\ [0, 0, 1, -1, 2],\ [1, 1, 0, -158, 702],\ [1, 1, 0, 2, -76],\ [0, 1, 0, -17, 19],\ [1, 1, 0, -131, 526],\ [1, 1, 1, -6438, -198594],\ [1, 1, 1, 3, 0],\ [0, 0, 1, -37, 90],\ [0, 1, 0, -56, 148],\ [1, 0, 0, -38, 67],\ [0, 0, 1, 1, 2],\ [1, 1, 1, -4, 2],\ [0, 1, 1, -15, -20],\ [0, 0, 1, -39, 112],\ [0, 0, 1, 42, -153],\ [0, -1, 1, -30, 128],\ [0, 1, 1, -44, 98],\ [1, 0, 1, -10, 12],\ [0, 1, 0, 11, -9],\ [0, 0, 1, 11, 30],\ [1, 1, 0, 2, 8],\ [0, -1, 1, -12, 20],\ [0, 1, 1, -50, 354],\ [1, -1, 0, -7, 1],\ [1, 1, 0, -4400, -105500],\ [1, 0, 1, -680, 6762],\ [0, 0, 0, 13, 50],\ [0, -1, 0, -2, 9],\ [0, -1, 1, -16, 22],\ [1, 0, 1, -33, 112],\ [0, 1, 1, -32, 212],\ [0, -1, 0, -17, 21],\ [0, -1, 1, -68, 240],\ [1, -1, 1, -4, 2],\ [0, -1, 0, -9, 25],\ [0, 1, 1, -2, 110],\ [0, 0, 1, -21, 0],\ [0, -1, 1, 4, 26],\ [1, 0, 1, -17, 24],\ [0, -1, 1, 22, 2312],\ [1, 1, 0, -6, 0],\ [1, -1, 1, -3, 6],\ [1, 0, 1, -9, 8],\ [1, -1, 0, -56, 176],\ [1, 0, 0, -57, 121],\ [1, 0, 0, -51, 136],\ [1, -1, 0, -36, 108],\ [1, -1, 1, -6, 21],\ [0, 1, 0, -416, 3124],\ [1, 0, 1, -37, 6],\ [1, -1, 0, -23, -35],\ [0, -1, 0, -92, 376],\ [1, -1, 1, 4, 20],\ [1, 0, 0, -12, 9],\ [0, -1, 0, -17, 1],\ [1, -1, 1, -312, 2235],\ [0, 1, 1, 162, -708],\ [1, 1, 1, 3, 12],\ [0, -1, 0, -32, 96],\ [0, 0, 0, -49, 49],\ [0, -1, 0, -137, 1069],\ [1, -1, 1, -24, 27],\ [1, 0, 0, -9, 28],\ [1, -1, 0, -549, 5049],\ [0, 1, 0, -224, 1012],\ [1, 1, 0, -56, 144],\ [0, 0, 1, -7599, 254970],\ [0, -1, 1, -414, 3384],\ [1, -1, 1, -14, 24],\ [0, -1, 0, 19, 25],\ [1, 0, 1, -144, 1175],\ [0, 1, 0, -49, 111],\ [0, 1, 0, -7, 6],\ [1, 1, 0, -16, 16],\ [1, 0, 1, -4, 0],\ [1, 0, 0, -2467, -45471],\ [1, -1, 0, -43, 709],\ [1, 1, 0, 4, 4],\ [1, 1, 1, -4, 0],\ [1, 0, 1, -107, 414],\ [1, 0, 0, -35, 1],\ [0, -1, 1, -132, 332],\ [0, -1, 0, -105, 441],\ [1, -1, 0, -139, 673],\ [1, 1, 0, -3, 13],\ [1, -1, 0, -99, 409],\ [1, -1, 0, 12, 16],\ [0, -1, 0, -149, 753],\ [1, -1, 1, -10, -8],\ [0, 1, 0, -32, 61],\ [0, 0, 0, -119, 619],\ [0, 1, 1, -6, 6],\ [0, 0, 0, -147, 610],\ [1, 0, 0, -47, 121],\ [1, 1, 0, -41, -105],\ [0, 1, 1, -20, 20],\ [1, 1, 0, -9, 9],\ [0, 0, 0, -19, -14],\ [0, -1, 0, -256, 1664],\ [0, 0, 1, -21, 36],\ [0, 1, 1, -6, 0],\ [0, -1, 0, -14, 25],\ [0, -1, 0, -49, 149],\ [1, 1, 1, -29, 20],\ [0, 1, 1, -9, -14],\ [1, 1, 0, 4, 1],\ [1, 0, 0, -607, 5721],\ [0, 0, 0, -64, 196],\ [0, 1, 1, -4, -4],\ [1, -1, 1, 3, 0],\ [0, 0, 0, -28, 64],\ [1, 1, 1, -1, 2],\ [1, -1, 0, -81, 301],\ [0, -1, 0, -22, 49],\ [1, 0, 1, -39, 86],\ [1, 0, 1, -28, 62],\ [1, 0, 0, -210, 1156],\ [0, 1, 1, -1, 2],\ [0, 1, 0, -233, 1288],\ [1, 0, 0, 8, 11],\ [1, 0, 0, -80, 256],\ [0, -1, 0, -17, 34],\ [1, 0, 0, -9, 10],\ [0, 1, 1, -86, 266],\ [1, -1, 1, -257, 690],\ [1, 0, 1, -15, 20],\ [1, 0, 0, -17, 169],\ [0, 0, 0, -52, 145],\ [0, 1, 0, 6, 1],\ [1, -1, 0, -74, -116],\ [0, 1, 0, 4, 16],\ [0, 1, 0, -6, 1],\ [1, 0, 1, -6, -4],\ [1, 0, 1, -126, -352],\ [1, 0, 1, -68, 182],\ [1, 0, 0, 31, -110],\ [1, -1, 0, -1, 3],\ [1, 1, 0, -227, 1485],\ [0, 1, 0, -17, -29],\ [1, 1, 0, -5, 1],\ [0, 1, 0, -289, 1791],\ [0, -1, 1, -50, -42],\ [0, 1, 0, -408, 3040],\ [1, 0, 0, -1, 6],\ [0, 0, 0, -100, 400],\ [1, 1, 0, -9, 1],\ [0, 0, 0, -13, 37],\ [0, 1, 0, -21, 55],\ [1, 0, 0, -472, 3851],\ [1, 1, 0, 54, -44],\ [0, -1, 0, -3009, -62271],\ [1, 1, 0, -311, 1765],\ [0, 1, 0, -1080, 13300],\ [0, 0, 0, -31, 70],\ [1, -1, 0, -28, -176],\ [1, 0, 0, -29, 49],\ [1, -1, 1, -59, 182],\ [1, 1, 1, -1046, -13456],\ [0, -1, 0, -4, 40],\ [0, 0, 0, -118, 496],\ [0, -1, 0, -7, -661],\ [0, -1, 1, -52, 162],\ [0, -1, 1, -221, 1340],\ [0, -1, 0, -12, 36],\ [0, 0, 1, -279, 1802],\ [0, 0, 0, -91, 394],\ [0, 1, 1, -40, 56],\ [1, -1, 1, -63, 231],\ [0, 0, 0, -13, 13],\ [0, 0, 0, -84, 164],\ [0, 0, 1, 10, -22],\ [1, 1, 1, -28, 48],\ [0, -1, 0, -93, 361],\ [1, 0, 0, -7, 6],\ [0, 0, 0, -1, 4],\ [1, -1, 1, -130, 622],\ [1, -1, 1, -1191, 16095],\ [1, 1, 1, -10, -9],\ [0, -1, 0, -52, 164],\ [1, 1, 0, -25, 25],\ [1, -1, 0, 11, -11],\ [1, 1, 0, -51, 121],\ [0, 1, 1, 0, 6],\ [0, 0, 1, -602, 5685],\ [0, 0, 0, -84, 304],\ [1, -1, 1, -27, 60],\ [1, -1, 1, -11, -8],\ [0, -1, 1, 6, -16],\ [0, -1, 1, -48, 146],\ [0, -1, 1, -5, 17],\ [0, 0, 0, 5, -17],\ [0, 0, 0, -1484, 22004],\ [0, 1, 1, -26, 42],\ [0, 1, 1, -25, -46],\ [0, 0, 1, -4477, 115464],\ [0, 0, 1, -11, -14],\ [0, 0, 1, -307, 1950],\ [0, -1, 1, -18, 38],\ [0, -1, 1, -2033, -73282],\ [0, 1, 0, -2224, 39636],\ [1, 0, 1, -2692, 53520],\ [1, -1, 1, -968, 11832],\ [0, 1, 0, -136, -576],\ [0, 1, 1, -24, 56],\ [1, 0, 1, 6, 20],\ [0, -1, 1, 4, 12],\ [1, 1, 0, -1783, 28898],\ [0, -1, 0, -24, -32],\ [1, -1, 1, -14, 22],\ [0, 0, 1, -25, 6],\ [1, 0, 0, -232, 576],\ [0, 1, 1, 4, 0],\ [1, 1, 1, -7, 2],\ [1, -1, 0, -220, 1312],\ [1, 1, 1, -267, -1223],\ [0, 1, 1, 2, 8],\ [0, 1, 1, -329, 3393],\ [1, -1, 1, -5351, 151976],\ [0, 0, 0, -43, 106],\ [0, -1, 0, -32, 64],\ [0, -1, 0, -12, 16],\ [0, 0, 0, -39, 106],\ [0, 0, 1, -345, 2470],\ [0, 0, 1, 24, -5],\ [0, -1, 0, -9, 18],\ [1, 0, 0, -149, 865],\ [1, 1, 1, -12, 0],\ [1, 1, 0, 0, 4],\ [1, -1, 0, -49, 193],\ [0, 0, 0, 2, 4],\ [0, -1, 0, -11, 19],\ [1, 1, 1, -50, 191],\ [1, -1, 1, -116, 506],\ [1, 0, 1, -30, 80],\ [0, 1, 1, -112, 992],\ [0, 0, 1, -8927, 324638],\ [1, 0, 0, -9, 25],\ [0, -1, 0, -12, 4],\ [1, 0, 1, -19, 30],\ [1, -1, 0, 4, -4],\ [1, 1, 0, 227, 1789],\ [0, 0, 0, 8, -8],\ [0, -1, 0, -37, 101],\ [0, 0, 1, 2, -3],\ [1, -1, 0, -131, 613],\ [0, -1, 0, 199, -611],\ [1, 1, 0, 4, 6],\ [1, 1, 1, -205, 1091],\ [0, 1, 1, -4, -18],\ [0, 1, 0, -508, 1488],\ [0, -1, 1, -14, 26],\ [1, -1, 0, -55, -101],\ [1, -1, 1, -1179, 15819],\ [0, -1, 1, -1, -42],\ [1, -1, 0, -7, 13],\ [1, 0, 0, 7, 4],\ [0, 0, 1, 4, 7],\ [1, -1, 0, 12, 224],\ [1, 0, 0, -659, 6433],\ [0, -1, 0, -4089, 102013],\ [0, 0, 0, -9, 1],\ [1, 1, 1, -4332, 109570],\ [1, 1, 0, 3, 45],\ [1, -1, 1, -41, 182],\ [0, 0, 1, -6, 2],\ [0, 1, 0, -65, 163],\ [0, 1, 1, 1, 3],\ [1, 1, 0, -1368, 18916],\ [1, 0, 0, -24, 64],\ [0, 0, 0, -27, 90],\ [1, -1, 0, -28, 64],\ [0, 0, 0, -21, 101],\ [1, 1, 0, -2, 10],\ [0, -1, 0, 1, 4],\ [0, 0, 1, -3, 130],\ [0, 0, 0, -757, 7981],\ [0, -1, 0, -6, 1],\ [0, 0, 0, -979, 11794],\ [0, 0, 0, 16, -36],\ [1, 1, 0, -24, 36],\ [1, 1, 1, -127, 485],\ [0, -1, 0, 22, 1],\ [0, 0, 1, -334, 2349],\ [1, 0, 1, -75, 250],\ [1, 0, 0, 2, 3],\ [0, -1, 0, -137, 666],\ [1, -1, 1, -51, 147],\ [0, -1, 1, -1083, 13943],\ [1, -1, 1, -752, 8120],\ [1, -1, 1, 22, -142],\ [0, 0, 0, -16, 4],\ [1, -1, 1, -21, 45],\ [1, 1, 1, 460, 2421],\ [0, 0, 1, 4, 56],\ [1, 1, 0, -3711, 85485],\ [1, -1, 0, 4, -2],\ [1, 0, 0, -87, 361],\ [0, 0, 0, -184, 961],\ [1, -1, 0, 255, -451],\ [0, -1, 0, 12, 4],\ [0, 0, 1, -325, 6156],\ [1, -1, 0, -343, 2461],\ [0, 1, 0, -196, -1116],\ [0, 0, 0, -59, 174],\ [1, 0, 0, -912, 12544],\ [0, 1, 1, -382, -2958],\ [0, 0, 1, -4, 0],\ [0, 0, 1, -50, 156],\ [0, 0, 1, -6, -5],\ [0, -1, 1, 98, 502],\ [1, 1, 0, 7, 37],\ [0, -1, 0, -22, 121],\ [1, 1, 0, -4, 16],\ [1, 0, 1, -40, 362],\ [1, 1, 0, 12, 64],\ [1, 1, 1, -11, -42],\ [1, -1, 0, 20, 1],\ [1, 1, 0, -27, 1057],\ [1, 0, 0, -25, -4],\ [0, 1, 1, -84, 306],\ [0, 1, 1, -1373, 19131],\ [0, 0, 1, 4, 0],\ [0, 0, 0, -6868, 219556],\ [0, 0, 0, 13, 30],\ [0, -1, 1, 4, 0],\ [0, 1, 0, -1464, 20596],\ [1, 1, 0, -9, -11],\ [1, -1, 1, -54, 69],\ [1, 1, 1, -120, 441],\ [0, 0, 1, 162, -682],\ [1, -1, 0, -64, 220],\ [0, 0, 1, -8, 9],\ [1, 0, 1, -24, 38],\ [1, 1, 0, -1204, 13136],\ [1, 1, 1, -61, 158],\ [1, 0, 0, 23, 26],\ [1, 0, 0, -222, 1629],\ [1, 0, 0, -6285, 66726],\ [0, 0, 1, -58, 24],\ [1, -1, 0, -70, 196],\ [0, 1, 1, -7892, 267240],\ [0, 0, 1, -14, 17],\ [1, -1, 1, 2, 2],\ [1, 1, 1, -20, 21],\ [0, -1, 0, -57, 189],\ [1, 1, 1, -14, 20],\ [0, 1, 0, -1640, 25024],\ [1, -1, 0, 40, 16],\ [0, 0, 1, -489, 3510],\ [1, 1, 0, -20, 0],\ [0, 0, 0, -56, 64],\ [0, 1, 1, -5155, 140756],\ [0, 0, 1, -10, -12],\ [1, 0, 1, -55, 170],\ [0, -1, 1, 1, 5],\ [0, 0, 1, -7, 0],\ [1, 1, 0, -806, 7764],\ [0, 1, 0, -257, -1964],\ [0, 1, 0, -88, 228],\ [0, -1, 1, 5, 9],\ [1, -1, 0, -23, 29],\ [0, -1, 0, -225, 1281],\ [0, 1, 0, -3425, 75999],\ [0, 0, 0, -12, 25],\ [1, 0, 0, -36, 16],\ [0, 1, 0, -2, 4],\ [1, -1, 0, -47792, -4008884],\ [1, 0, 1, -3053, 61362],\ [0, 1, 0, -201, 199],\ [1, -1, 1, -13, 20],\ [1, 1, 0, -182, -374],\ [1, -1, 1, -447, 2919],\ [0, -1, 1, -237, 1487],\ [0, 0, 0, -10, 13],\ [0, -1, 0, 5, -4],\ [0, -1, 0, -4, 20],\ [1, 0, 1, -27124, 1717101],\ [1, 0, 1, -642, 6244],\ [0, 0, 1, -16, 27],\ [1, 0, 1, -10373, 406512],\ [1, -1, 0, -23, 49],\ [0, -1, 1, -236, 1496],\ [1, -1, 0, -1359, 19629],\ [1, -1, 0, -3, 9],\ [1, 1, 0, -10, 8],\ [0, 1, 0, -4, 12],\ [0, 0, 0, 4, -1],\ [0, -1, 0, -289, 1985],\ [0, -1, 0, -33, 1],\ [0, -1, 1, -43, 124],\ [1, -1, 0, -48, 36],\ [0, 0, 0, 1, -26],\ [1, 0, 0, -29, 30],\ [0, 0, 0, -24, 4],\ [1, 1, 0, -14, 24],\ [1, 1, 0, -48, 64],\ [0, 1, 0, -265, 1499],\ [0, 0, 0, -3112, 66820],\ [0, 0, 0, 7, -39],\ [0, 0, 0, -643, 6274],\ [0, -1, 0, -112, 416],\ [0, 0, 0, -587, -4870],\ [0, -1, 1, 8, 12],\ [1, 1, 0, 3, 4],\ [0, 1, 0, 7, 43],\ [0, 1, 1, -16, 40],\ [1, 0, 1, -82, 270],\ [1, 0, 1, -2427, 43166],\ [1, -1, 1, -2, 10],\ [1, 0, 0, -1140, -13599],\ [1, 1, 0, -5, -6],\ [0, -1, 1, -4, 0],\ [1, -1, 0, 5, 1],\ [1, 1, 0, -157, 701],\ [0, 1, 0, -640, -6256],\ [0, 0, 0, -16, 36],\ [0, 0, 1, -4753, 126138],\ [0, 0, 1, 7, -2],\ [0, 1, 1, -13491, 598665],\ [0, -1, 0, -24, 0],\ [0, 1, 1, -144, 992],\ [0, -1, 1, 3, -4],\ [1, -1, 0, -1323, 18841],\ [0, -1, 0, -77, 249],\ [1, 1, 1, -452, 3522],\ [1, -1, 1, 45, 132],\ [1, 1, 0, 12, 16],\ [1, 0, 0, -24, 53],\ [0, -1, 1, -76, 1050],\ [1, 0, 0, -220, 1241],\ [0, 1, 1, -8, 0],\ [1, 0, 0, -101, 372],\ [1, 1, 1, -15, 30],\ [1, 1, 0, -12, 0],\ [0, 0, 1, 0, -6],\ [0, 1, 0, -24, 40],\ [0, -1, 0, -72, 261],\ [1, 0, 0, -31, 64],\ [1, -1, 1, -167, 735],\ [1, 0, 0, -18, 31],\ [0, -1, 0, 474, 16209],\ [0, 1, 1, -40, 70],\ [1, 1, 1, -96, 318],\ [1, 0, 0, -119, 498],\ [1, 0, 1, -120, 182],\ [1, 0, 1, -182, -810],\ [0, 0, 0, -22, 40],\ [0, -1, 0, 1, -5],\ [0, 0, 1, -73, 234],\ [1, 0, 1, 3, -4],\ [0, -1, 0, 6, -1127],\ [1, -1, 0, -54, 184],\ [0, -1, 1, -14, 36],\ [0, 1, 0, -8, 52],\ [1, 0, 1, -14, 0],\ [0, -1, 0, -116, 516],\ [0, 1, 0, -4705, 118239],\ [0, 1, 0, -929, 10591],\ [0, -1, 1, -2000, 35156],\ [0, 0, 1, -9, 2],\ [1, 0, 0, -62, 196],\ [0, 0, 0, -43, 78],\ [1, 1, 1, -57, 135],\ [0, 0, 1, -103, 402],\ [0, -1, 1, -47, -93],\ [0, -1, 1, -85, 325],\ [0, 0, 0, -39, 74],\ [0, 1, 1, -14, 32],\ [0, 1, 1, -15369, 728597],\ [0, 0, 1, 5, 6],\ [0, -1, 1, -383, 3168],\ [0, 1, 0, -24, 52],\ [0, 0, 0, 133, 170],\ [1, 0, 0, 6, 9],\ [1, 0, 1, -2087, 1896],\ [0, 1, 0, -10, 33],\ [1, -1, 0, -90, 564],\ [0, 1, 0, -30, 9],\ [1, 0, 1, -13, -18],\ [1, 0, 0, -39, 73],\ [1, 1, 1, -90, 231],\ [1, -1, 1, 436, 9074],\ [0, 0, 0, -28, 16],\ [0, -1, 0, -333857, -74137439],\ [0, -1, 0, -65, 193],\ [0, -1, 0, -286, 1961],\ [0, 1, 1, -70, 310],\ [1, -1, 1, 52, -80],\ [1, 1, 0, -849, 9189],\ [0, -1, 0, -816, 9252],\ [1, 1, 0, -2913, 59317],\ [1, 1, 1, -21, 28],\ [0, 1, 1, -4, 52],\ [1, 1, 1, -62305, 5959502],\ [1, 1, 1, -11, 12],\ [1, 0, 1, -6, -40],\ [0, 1, 1, -1220, 15980],\ [0, 1, 1, -9, -7],\ [0, 1, 0, -46, 105],\ [0, 1, 1, -984, -10784],\ [0, 1, 0, -39, 82],\ [0, 1, 0, 12, 16],\ [0, 0, 0, -2, 5],\ [1, -1, 0, -617, 6541],\ [1, 1, 1, -29, 51],\ [0, 1, 1, 0, 30],\ [0, -1, 0, -41, 141],\ [0, -1, 1, -3, 5],\ [1, 0, 1, 21, 602],\ [0, 1, 1, -17, 22],\ [1, 0, 1, -100, 350],\ [0, 0, 0, -1404, 20304],\ [1, 0, 1, -278, -1794],\ [0, 0, 0, -273, 1753],\ [1, -1, 0, 4, 1],\ [1, -1, 1, -16511, 820680],\ [0, 0, 0, -1384, 41764],\ [1, -1, 0, 15, 29],\ [0, 1, 1, 116, 136],\ [0, -1, 0, 299, 529],\ [1, 0, 1, -4, 258],\ [0, 0, 0, -436, 3504],\ [0, 0, 1, -207, 650],\ [0, -1, 0, 6, 9],\ [1, 1, 1, 220, -28800],\ [0, 0, 0, 1, 14],\ [0, 1, 0, -933, 10663],\ [1, 0, 1, -7019, 225750],\ [1, 1, 0, -66, -236],\ [1, 0, 1, -8, -8],\ [1, -1, 1, -126, 525],\ [1, 1, 1, -60335, -5725809],\ [0, -1, 0, -14144, 652188],\ [1, -1, 0, -15, 45],\ [1, -1, 0, -639, 6673],\ [0, -1, 0, -169, 905],\ [0, -1, 0, 7, 25],\ [1, 1, 1, -52, 117],\ [1, -1, 1, -16, -20],\ [1, 1, 1, 6, 0],\ [1, 1, 1, -6, 4],\ [1, -1, 0, 12, 44],\ [1, 1, 0, -450, -14000],\ [0, 1, 1, -96, 474],\ [0, 0, 1, -68, 287],\ [0, -1, 0, -19, -17],\ [1, -1, 0, -97443, 11732121],\ [1, 1, 1, 64, 14],\ [1, -1, 0, -499, 5305],\ [1, -1, 0, 27, 486],\ [0, -1, 0, -64, 224],\ [0, -1, 0, 56, -16],\ [1, 0, 1, -35, 2],\ [1, -1, 1, -81, 321],\ [0, -1, 1, -6, 2],\ [1, 1, 0, -27443, 75438],\ [1, 0, 1, -79, 258],\ [0, 1, 0, -72, 324],\ [0, 0, 1, 9, 2],\ [0, 0, 1, -450, 3674],\ [0, 0, 1, -33, 74],\ [1, 0, 1, -251, 1398],\ [0, -1, 1, -100, 420],\ [0, 1, 1, 18, 20],\ [0, 0, 0, -51, -90],\ [0, 0, 0, -876, 9920],\ [0, -1, 0, 3, 6],\ [0, 1, 0, -457, 3656],\ [1, 1, 1, -128, 504],\ [0, 0, 1, -309, 2002],\ [1, -1, 0, -19, 25],\ [1, 1, 0, -6308, 170512],\ [1, 1, 1, 0, 6],\ [0, 1, 1, -16, 20],\ [0, -1, 1, -208, 718],\ [1, 0, 0, -1488, 21967],\ [0, 0, 0, 4, 20],\ [1, -1, 0, -30850, 2093332],\ [1, 1, 0, -75, 225],\ [0, 1, 1, -3606, 84042],\ [1, -1, 1, -249, 1689],\ [0, 1, 0, 34, 121],\ [1, 1, 1, -22, 275],\ [0, 0, 0, -7, -5],\ [0, 1, 0, -9524, 354592],\ [0, 1, 0, -464, -3715],\ [0, 0, 0, -16, -20],\ [1, 1, 0, -29327, 1920885],\ [1, 1, 0, 17, 1],\ [0, 0, 0, 7, 1],\ [0, 0, 0, -685, 7021],\ [1, -1, 0, -67, 229],\ [1, 0, 0, -2191, 39292],\ [1, 1, 0, -4, -1],\ [1, 1, 1, 4, 20],\ [1, 0, 0, -60, 171],\ [1, -1, 1, -257, 1730],\ [0, 1, 0, 8, 84],\ [0, 0, 0, -203, 1114],\ [0, -1, 1, -12, 2],\ [1, 1, 0, -10, 20],\ [1, 0, 0, -78, 772],\ [1, 1, 1, -295, 1820],\ [0, 1, 0, -57, 139],\ [1, -1, 0, -155, 757],\ [1, 0, 0, -32, 64],\ [1, 1, 0, 36, 81],\ [1, -1, 1, -30, 72],\ [0, -1, 0, -10, 1],\ [0, 1, 1, -266, 1584],\ [1, -1, 0, -64, 214],\ [1, 1, 1, -9, 55],\ [0, 0, 0, -43, 58],\ [0, 1, 1, -16, 62],\ [0, -1, 0, -1486, -17023],\ [0, 1, 0, -18, 25],\ [1, 1, 0, -43692, 3427680],\ [1, 1, 0, 7, 9],\ [0, -1, 1, -6, 12],\ [0, 0, 0, -116, 480],\ [0, 1, 1, -3, 3],\ [0, -1, 1, -22, 0],\ [0, 1, 1, -296, 1862],\ [0, -1, 0, -344, 2448],\ [1, -1, 1, -8, 12],\ [1, -1, 0, 540, -6075],\ [1, 0, 1, -290, 1892],\ [0, 0, 1, -25, 48],\ [0, 0, 0, -39, -34],\ [0, -1, 1, -652, 6630],\ [0, -1, 1, -116, 248],\ [0, 1, 1, -62, 62],\ [0, 0, 0, -7, 30],\ [1, -1, 0, -11825, -497251],\ [0, -1, 0, 8, 1],\ [1, -1, 0, -5, 4],\ [1, 1, 0, -226, 1216],\ [0, 0, 0, -228, 848],\ [0, 1, 1, 404, 2044],\ [0, 0, 0, -16, 100],\ [0, 1, 0, -3380, -10716],\ [0, 1, 1, -3026, -57778],\ [0, -1, 1, -87, 335],\ [0, -1, 0, -144, -132],\ [0, -1, 1, 6, 6],\ [1, 0, 0, -12, 171],\ [1, -1, 1, 9, 15],\ [1, 1, 1, -1394, 19455],\ [1, 1, 0, -80, 244],\ [1, 0, 1, -24168, 1442742],\ [1, 1, 1, -10, -16],\ [0, 0, 1, -378, 3179],\ [0, 1, 0, -1360, -1036],\ [0, 0, 1, -5, 2],\ [1, -1, 0, -486, 26568],\ [1, -1, 0, -30, 72],\ [1, 0, 1, -745, 7772],\ [1, -1, 1, -708, 7527],\ [1, 1, 1, -159, 325],\ [0, 0, 0, -787, 8434],\ [0, -1, 0, -5840, 173632],\ [0, -1, 0, -51, 184],\ [1, 0, 0, 18, 4],\ [1, 0, 0, -1736, 27712],\ [0, -1, 0, 63, 81],\ [1, 1, 1, -517, 4235],\ [0, -1, 0, -24, 28],\ [0, -1, 1, -856, 9948],\ [1, 1, 1, -1217, 15860],\ [1, -1, 1, -77, 245],\ [0, 1, 1, 22, -12],\ [1, -1, 1, -113, 506],\ [0, 0, 0, -99, 386],\ [0, 0, 0, -219, 4106],\ [1, 1, 0, -32, 58],\ [1, -1, 1, 6, 57],\ [0, -1, 1, 3, 20],\ [1, -1, 0, -878, 10236],\ [1, 0, 0, -20, 16],\ [0, -1, 0, -61, -139],\ [1, -1, 0, -4023, 99225],\ [0, -1, 0, -5697, 167589],\ [1, 1, 0, -122, 484],\ [1, 0, 0, -216, 1600],\ [0, 0, 0, -56, 164],\ [1, 0, 1, -2755, 60542],\ [1, -1, 1, -204, 1167],\ [0, -1, 0, -10, -7],\ [1, 0, 1, -15, 2],\ [1, 0, 1, -197, 1044],\ [1, 0, 1, -104, 506],\ [1, 1, 0, -11, 1],\ [1, 1, 0, -928, 10504],\ [1, 1, 1, -27, 105],\ [0, 1, 0, -157, 716],\ [0, -1, 0, -239, 1660],\ [0, 1, 1, -80, 234],\ [0, 0, 0, -11, 15],\ [0, 0, 1, -1, -4],\ [0, 1, 1, -106, 392],\ [0, 0, 1, 10, 2],\ [1, 1, 0, -10327, -407435],\ [0, 0, 1, -54, -115],\ [0, -1, 0, -1, 37],\ [1, -1, 0, -40, 112],\ [0, 1, 0, -37, 44],\ [0, 0, 0, -7, 106],\ [0, -1, 0, -30060, 2016100],\ [1, 1, 0, -633, -4059],\ [1, 0, 1, -45, 100],\ [1, 0, 0, -3, 4],\ [0, 0, 1, -9, 12],\ [0, 1, 1, 10, 10],\ [1, 0, 0, -124, 528],\ [1, -1, 1, -380, 2872],\ [0, 0, 0, -268, 7408],\ [0, -1, 0, -161, 865],\ [0, 0, 0, -1911, 32110],\ [0, 0, 0, -83, 291],\ [0, 0, 1, -66, -180],\ [0, -1, 0, -152, 624],\ [0, 1, 1, -722, 7242],\ [0, 1, 0, -2329, 42507],\ [1, 1, 1, -31, -76],\ [1, 1, 0, -1, 19],\ [1, 1, 0, -1613, -21059],\ [1, -1, 1, -114, 369],\ [1, 1, 0, -41, -120],\ [0, 1, 0, 3, 31],\ [0, -1, 0, 208, 1564],\ [1, -1, 0, -8019, 278309],\ [1, -1, 0, -8, 16],\ [1, 1, 0, -10975, -447125],\ [0, 0, 0, -189, -459],\ [1, 1, 0, -864, 9486],\ [1, 1, 1, -92, 317],\ [1, -1, 1, -797, -4354],\ [0, -1, 0, -24, 45],\ [1, 1, 0, -13, 17],\ [0, 0, 1, -7900, -55119],\ [0, 0, 1, -19, -18],\ [0, -1, 1, -61, 205],\ [1, -1, 0, -4, 28],\ [1, 0, 1, 21, 342],\ [0, 0, 0, -171, -710],\ [1, 1, 0, 50, -13],\ [1, 1, 0, -86, 276],\ [1, 0, 0, -146, 667],\ [0, 0, 1, 3, 6],\ [0, 0, 1, -17670, 904077],\ [1, 1, 0, 14, -16],\ [1, -1, 0, 0, 36],\ [0, -1, 0, -204, 1188],\ [1, 0, 1, -3970, 96020],\ [0, 0, 0, -69, 221],\ [0, 0, 0, 87, 169],\ [1, -1, 0, -64, -179],\ [1, -1, 0, 9, 81],\ [1, -1, 1, -17, 34],\ [1, -1, 1, -387, -1476],\ [0, -1, 1, -9380, 303122],\ [0, -1, 1, -8, -4],\ [1, 0, 1, -1109, 14112],\ [1, -1, 1, -56, 136],\ [0, 0, 0, -88, 484],\ [0, 0, 1, -17, -4],\ [0, 1, 1, -1513, -23149],\ [1, -1, 0, -59, 191],\ [1, 0, 0, 203, -351],\ [0, 1, 0, -29, -53],\ [1, 1, 1, -18, -20],\ [1, 1, 0, -7640, 253873],\ [0, 0, 1, -21, -14],\ [0, 1, 0, -10640, 418900],\ [1, 0, 0, -1499, 21804],\ [0, 1, 0, -1062, 13689],\ [1, -1, 1, -669, -5211],\ [1, 1, 1, -17, 15],\ [0, 0, 0, -372, 2720],\ [0, 0, 0, -36, 64],\ [0, 0, 0, -25356, 1554064],\ [1, 0, 1, -22, 36],\ [1, 1, 0, -950, -3500],\ [0, 1, 1, -937, 10747],\ [1, -1, 0, -12, 18],\ [1, -1, 1, -482, 1505],\ [1, 1, 0, -14, 16],\ [0, -1, 1, -3410, 77792],\ [0, -1, 1, 32, -2424],\ [1, 0, 0, 603, 8586],\ [0, -1, 1, -165, 902],\ [1, 1, 0, -3, -6],\ [1, 0, 1, -369, 3476],\ [0, 0, 0, -21, 29],\ [0, -1, 0, -128, 604],\ [1, 1, 1, -147, 657],\ [0, -1, 0, -3, 7],\ [0, -1, 0, -1583, 24787],\ [1, 1, 0, -236, 1296],\ [1, 1, 0, -226, -1376],\ [0, -1, 1, -36, 146],\ [0, 0, 0, -12, 340],\ [0, 1, 1, 4, 94],\ [1, -1, 0, -15, -18],\ [1, -1, 0, -1071, 14161],\ [1, 0, 1, 116, -54],\ [0, -1, 0, -29, 693],\ [0, 1, 0, -257, 1551],\ [0, -1, 0, -936, 11365],\ [0, 1, 1, -750, 12530],\ [0, 0, 0, -139, 3226],\ [0, 1, 0, -417, 2979],\ [0, 1, 0, -361, 0],\ [0, 1, 1, -36, 20],\ [0, 0, 1, -40, 381],\ [1, 1, 0, -204, -176],\ [1, 1, 0, -5762, -169620],\ [1, 1, 0, -13535, 600483],\ [1, 0, 1, -887, 10064],\ [1, 1, 1, -7674, 251271],\ [0, -1, 1, -76, 282],\ [0, 0, 0, -124, 544],\ [0, 0, 0, 2132, -12224],\ [0, 0, 0, -307, 2070],\ [0, 0, 0, -76, -96],\ [0, 0, 0, -127, 550],\ [1, 1, 0, -3993, -98787],\ [0, -1, 1, -31, 78],\ [0, -1, 1, 36, -34],\ [0, 1, 1, -1309, 19051],\ [1, 0, 1, -20, 2],\ [0, -1, 0, -169, 889],\ [0, -1, 1, -25, 58],\ [0, 0, 0, -452, 3700],\ [1, -1, 1, -39, -33],\ [1, 1, 1, -15512, 736857],\ [1, 0, 1, -30, 52],\ [0, 0, 0, -1902, 31925],\ [1, 0, 1, 26, 28],\ [0, 1, 0, -44, -124],\ [0, 1, 0, -6680, 207928],\ [1, 0, 0, -239, -1127],\ [1, 0, 0, -1385, -2900],\ [1, -1, 1, -384, 2979],\ [1, 1, 1, -17218552, 27493481637],\ [1, 0, 0, -287, 1926],\ [1, -1, 0, -270, -1004],\ [1, -1, 0, -630, -1674],\ [1, -1, 1, -1, -4],\ [0, 1, 0, -326, 2161],\ [0, -1, 0, -388, 3080],\ [0, 1, 1, -4002, 96230],\ [0, -1, 1, -7, 15],\ [1, 0, 1, -11, 6],\ [0, 0, 1, -5075, 139156],\ [0, 1, 1, -33, 219],\ [0, 1, 0, -352, 2564],\ [1, -1, 1, -2529, 51249],\ [1, -1, 1, 526, 4794],\ [1, 1, 0, 14, 4],\ [1, 1, 1, 23, 87],\ [1, 1, 1, -156, 685],\ [0, -1, 0, -17608, 905212],\ [1, -1, 0, -21, -27],\ [1, -1, 0, -639, -243],\ [0, 1, 1, 0, 20],\ [0, -1, 0, -1477, 23041],\ [0, 1, 1, -21, 27],\ [1, 0, 1, -48, 122],\ [1, 1, 1, -8, 2],\ [1, -1, 0, -43, 121],\ [1, -1, 0, -63568, -3764640],\ [1, 1, 0, -1398, -19998],\ [1, 1, 0, -7397, -246441],\ [0, -1, 0, -17, -11],\ [1, -1, 0, 10, 84],\ [0, 0, 0, -1747, 28114],\ [0, -1, 0, -16, 80],\ [0, -1, 0, -13400, 608752],\ [1, 0, 1, -345, 2355],\ [1, -1, 0, -123, -451],\ [1, -1, 1, -227, 1315],\ [1, 1, 1, -50, 92],\ [0, -1, 0, 8, -656],\ [0, 1, 0, -912, 10404],\ [0, 0, 1, -5, -2],\ [0, 1, 1, -349, 2351],\ [0, -1, 1, -20, 42],\ [0, -1, 0, -104, 1108],\ [1, 0, 0, 1, 4],\ [0, 0, 0, -3051, 64854],\ [0, 0, 0, 324, 2484],\ [0, -1, 0, -158, 937],\ [0, -1, 0, -24, 64],\ [0, 0, 1, -3, 184],\ [0, 0, 1, -117, 982],\ [0, -1, 0, -689, 7098],\ [0, -1, 0, -4481, 116961],\ [1, -1, 0, -11, 21],\ [1, 1, 1, -2584, 49625],\ [0, -1, 1, -8, 14],\ [0, 0, 0, -35, 66],\ [0, 1, 0, -140, 624],\ [0, 0, 1, -56, 161],\ [0, -1, 1, -850, -12028],\ [1, 1, 0, -23, 34],\ [0, -1, 0, -56, 25],\ [1, -1, 0, -34, -68],\ [1, 1, 1, -77, 195],\ [0, 0, 0, -24, -36],\ [1, -1, 0, -25, 61],\ [1, 0, 0, -38, -69],\ [0, 0, 0, -1804, 29524],\ [1, -1, 1, -99, -93],\ [1, 1, 1, -527, 4437],\ [0, 1, 0, -57, 151],\ [0, -1, 0, -13, 53],\ [0, 1, 0, -109, -2453],\ [0, 1, 1, -2946, 62642],\ [0, -1, 0, -23, 60],\ [1, -1, 0, -466, 3988],\ [1, 0, 1, -145, -680],\ [1, 1, 1, -3297, 71455],\ [1, 1, 1, -5, -4],\ [0, -1, 1, -31, -57],\ [0, -1, 0, -529, 2645],\ [1, 0, 0, -8, 13],\ [0, -1, 1, -9, 6],\ [0, 0, 1, -57, 126],\ [0, 0, 1, -156, 742],\ [1, 1, 0, 10, 4],\ [1, -1, 0, -396, 3136],\ [1, 0, 0, -11, 10],\ [1, 0, 1, -424, 3318],\ [1, -1, 0, -41, 81],\ [1, 0, 0, -61, 177],\ [0, 1, 0, 95, -33],\ [0, -1, 0, -13, 29],\ [0, 0, 0, -44, 144],\ [0, 1, 0, -629, 5867],\ [1, 0, 1, 9, -22],\ [1, 0, 1, 95, 145],\ [1, 1, 0, 1, -11],\ [1, 1, 0, -1137, 14293],\ [0, -1, 0, -9872, 381504],\ [0, -1, 0, 168, 144],\ [1, -1, 1, -36626, 2707062],\ [0, 0, 0, -40, -92],\ [0, 1, 0, -41, 91],\ [1, -1, 0, -72, 254],\ [1, -1, 1, -212, 695],\ [0, 0, 0, -139, 634],\ [0, 1, 0, -32, -1036],\ [1, -1, 1, -459, 16347],\ [0, 0, 1, -9, -8],\ [0, 0, 1, -1998, 13547],\ [1, 1, 1, 20, 102],\ [0, 0, 0, -54, 216],\ [0, 0, 0, 6, 16],\ [0, 1, 0, -4674, 138985],\ [0, 1, 0, -14, 25],\ [1, 1, 1, -280, -1879],\ [0, 0, 1, 15, 58],\ [0, 0, 1, -786, 8500],\ [0, -1, 1, -20, 56],\ [0, -1, 1, 1155, -36412],\ [0, -1, 0, -217, 24509],\ [1, 1, 0, -25, -1483],\ [1, 0, 1, -1314, -16564],\ [1, -1, 0, -230, 1376],\ [1, 0, 0, -6086, 182116],\ [0, 1, 0, -1, -129],\ [0, 0, 0, -524, 4624],\ [0, 0, 0, 12, 36],\ [1, -1, 0, -5, 17],\ [1, 0, 0, -3, 36]]
