ec_Nmax_1000_rank_1_opt.sage

back to table · edit · history · where entries came from · files · download

26243 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, 0, 1, -1, 0],\
[0, 1, 1, 0, 0],\
[1, -1, 1, 0, 0],\
[0, -1, 1, -2, 2],\
[1, -1, 0, -1, 1],\
[1, 0, 0, -2, 1],\
[1, 0, 0, -1, 0],\
[0, 0, 1, 2, 0],\
[1, 1, 1, -2, 0],\
[1, 0, 1, -12, -16],\
[1, 1, 1, 1, 0],\
[0, 0, 0, -4, 4],\
[1, 1, 1, -1, 0],\
[0, 0, 1, 1, 0],\
[0, 1, 1, -117, -1245],\
[0, 0, 0, -1, 1],\
[1, -1, 1, -17, 30],\
[0, 1, 1, -1, -1],\
[1, 1, 0, -2, 0],\
[1, 1, 0, -7, 5],\
[0, 1, 0, -40, 84],\
[1, -1, 1, -626, 6180],\
[1, 1, 0, 1, 1],\
[0, -1, 1, -887, -10143],\
[1, 0, 1, 2, 0],\
[0, 1, 1, -10, 10],\
[0, -1, 1, 1, -1],\
[0, 1, 0, -2, 1],\
[0, 1, 0, -9, 7],\
[0, -1, 1, -19, 39],\
[1, 0, 1, -208, -1122],\
[0, -1, 1, 1, 0],\
[0, 0, 1, -3, 4],\
[0, 1, 0, -4, 0],\
[1, 1, 0, -31, 55],\
[0, 1, 1, -12, 2],\
[0, -1, 1, -1, 0],\
[1, 1, 0, -1, -1],\
[1, -1, 1, -12, 15],\
[0, -1, 1, -1, -2],\
[1, -1, 1, -3, 2],\
[0, -1, 0, -5, 1],\
[0, 1, 0, -1, 3],\
[0, 0, 1, -3, 2],\
[0, 0, 1, -534, 4752],\
[1, -1, 0, -469, 4029],\
[0, -1, 1, -840, -9114],\
[0, -1, 1, -1, 1],\
[0, -1, 0, -20, -24],\
[1, 1, 0, -3, 1],\
[1, -1, 1, -9, 9],\
[0, 1, 0, -6, 4],\
[1, -1, 0, -6, 8],\
[0, 0, 1, -2, 1],\
[1, 1, 0, -6, 4],\
[1, 0, 1, -8, 6],\
[0, 0, 1, -6924, 221760],\
[0, 1, 0, -13, 15],\
[0, -1, 1, -148, 748],\
[0, -1, 1, -3283, -74657],\
[0, -1, 0, -77, 289],\
[0, -1, 0, 0, 1],\
[0, -1, 0, -4, 5],\
[0, 1, 1, -156, 700],\
[0, -1, 1, -5, 6],\
[1, 0, 1, -4, -3],\
[0, 0, 1, -3, 0],\
[0, 0, 1, -3834, -91375],\
[1, 1, 0, 2, 2],\
[1, -1, 1, -48, 147],\
[0, -1, 0, -129, 609],\
[0, -1, 0, -142, 701],\
[0, 0, 1, -5, 4],\
[1, -1, 0, -3168, 69430],\
[0, 1, 0, -28, 48],\
[0, -1, 1, 2, 0],\
[1, 0, 0, -1, 2],\
[1, 1, 0, -794, 8289],\
[1, 1, 1, 0, -2],\
[1, -1, 1, -232, -1286],\
[1, -1, 1, -140, 668],\
[0, -1, 0, -7352, 245104],\
[0, -1, 0, -16, 32],\
[0, 1, 1, -27, 55],\
[1, 1, 0, -373, 2623],\
[0, -1, 0, -4, 8],\
[1, 0, 1, 1, 0],\
[1, 0, 1, -193, 1012],\
[1, 0, 0, -12, 16],\
[0, 0, 1, -8, -12],\
[0, 0, 0, -12, 20],\
[1, 0, 0, -2, 4],\
[0, -1, 1, -6, 8],\
[0, 1, 1, -27, -85],\
[1, 1, 0, -1297, -18530],\
[0, 1, 0, -7100, -232652],\
[0, 1, 0, -8, -8],\
[0, 0, 1, -75, 256],\
[0, 0, 1, 0, -34],\
[1, 0, 0, -45, -119],\
[0, -1, 0, 3, 9],\
[1, 0, 0, -2, -1],\
[0, -1, 0, 8, -4],\
[1, -1, 0, -63, 209],\
[1, 1, 1, -5, 0],\
[0, -1, 0, -1, 2],\
[1, -1, 0, -8, 6],\
[1, 0, 0, -700, 7056],\
[0, -1, 0, -216, 1296],\
[1, 0, 0, -52, 144],\
[0, 0, 1, 0, -1],\
[0, 0, 0, 1, 6],\
[0, 0, 1, -7, 12],\
[0, -1, 1, -6435, 210006],\
[1, 1, 0, -66, 180],\
[0, 1, 0, 0, 1],\
[0, 0, 0, 1, -1],\
[1, 1, 1, -55, 134],\
[1, 1, 0, 2, 1],\
[0, 0, 0, -327, 2270],\
[1, -1, 0, -5, -3],\
[1, 0, 0, -24432, -1471934],\
[0, 1, 0, -13, -21],\
[0, 0, 0, -2, 0],\
[1, 1, 0, 3, -3],\
[1, 0, 1, -15, 22],\
[1, -1, 0, -2, 2],\
[1, 0, 0, 1, 25],\
[1, -1, 1, -138, 656],\
[0, 0, 1, -2, -1],\
[0, 1, 0, -48, -140],\
[0, 0, 0, -1451, 21274],\
[0, -1, 1, -26, 68],\
[1, -1, 0, -2846, 59156],\
[1, -1, 0, -2, 0],\
[1, 0, 0, -7, 9],\
[1, -1, 1, -1480, 22272],\
[1, 0, 1, 0, -1],\
[1, 0, 0, -1, 9],\
[0, 0, 0, -412, 3316],\
[0, -1, 0, -1, 5],\
[1, 1, 1, -255, 1461],\
[1, 0, 0, -76, -19],\
[1, 1, 0, -93, -378],\
[1, 1, 0, -33, 61],\
[1, 1, 1, 13, 177],\
[0, 0, 0, -12, 0],\
[0, 0, 0, -291, -1910],\
[1, -1, 1, -26209, -1626560],\
[1, -1, 0, -70, -204],\
[1, 1, 1, -18, -36],\
[1, 0, 1, -138, 592],\
[0, -1, 0, -9, 13],\
[0, -1, 0, -33, 85],\
[0, 0, 1, -81, 290],\
[1, -1, 1, 1, 0],\
[1, -1, 0, 12, -19],\
[1, -1, 0, 1, -1],\
[1, 0, 0, -19, 33],\
[0, -1, 0, -13, 22],\
[1, -1, 1, 0, 3],\
[1, 1, 1, -230, 1251],\
[0, 1, 1, -6, 2],\
[0, 1, 1, -197, -208],\
[0, 1, 0, -21, 31],\
[0, -1, 0, -8, 16],\
[0, 1, 0, -1120, 15604],\
[1, -1, 0, -1017, 8883],\
[0, -1, 0, -21, 49],\
[1, 0, 0, -6, 9],\
[1, 0, 0, -2046, 15376],\
[0, -1, 0, -3, 0],\
[0, 1, 0, -60, 144],\
[1, -1, 0, 13, -11],\
[1, -1, 1, -1013, 12656],\
[0, 0, 0, -7, -2],\
[1, 1, 0, 7, -9],\
[1, 1, 1, -12, 45],\
[0, 1, 0, -165, 763],\
[0, 0, 0, -428, -3408],\
[1, -1, 0, -238, 1470],\
[1, 0, 0, -174, 868],\
[0, 0, 0, -189, -999],\
[0, -1, 1, -53, -132],\
[0, 1, 1, -1333, -19131],\
[1, -1, 0, -80, -256],\
[1, 0, 0, -6, 4],\
[1, 0, 0, 4, -3],\
[0, 0, 0, -11, -10],\
[1, 1, 0, -1602, 24024],\
[1, 0, 0, -5, 4],\
[1, -1, 1, -14, -14],\
[0, 0, 1, -16860, 842625],\
[1, -1, 0, -123, 494],\
[0, 0, 1, -2, 2],\
[0, -1, 0, -12544, 544960],\
[1, -1, 0, -35944, -2868878],\
[1, -1, 0, -389, -2859],\
[1, 1, 1, -322, 2127],\
[0, 1, 1, -2, 2],\
[0, 1, 1, -441, 3422],\
[0, 0, 0, -28, 57],\
[1, -1, 0, -33, -65],\
[1, -1, 0, -3852, 92988],\
[0, 0, 0, 4, 4],\
[0, 1, 1, -100, 406],\
[0, 1, 1, -1, 1],\
[1, 1, 1, -7, -3],\
[0, 1, 1, 2, 0],\
[0, -1, 0, 2, 1],\
[0, 1, 0, -50, 129],\
[1, 1, 0, -45, -185],\
[1, -1, 1, -180, 1047],\
[0, 0, 0, 8, 112],\
[0, -1, 0, 3, -11],\
[0, -1, 0, -45, 133],\
[0, 1, 0, 3, 11],\
[1, 1, 0, -715, 7069],\
[1, 1, 1, -5, 11],\
[0, -1, 0, 4, -8],\
[0, 1, 1, -42, 110],\
[0, -1, 1, -5, -16],\
[1, -1, 1, -7, 8],\
[1, 0, 1, -23, 39],\
[0, 0, 0, -963, 11502],\
[0, 0, 1, -13718, -619025],\
[1, 1, 0, -4, 2],\
[1, 1, 1, 6, 7],\
[0, 1, 0, -5, 7],\
[0, 0, 0, -584, 5444],\
[1, 0, 1, -5, 20],\
[1, 1, 1, -32, 65],\
[0, 0, 0, -55, 157],\
[0, -1, 0, -18, 43],\
[0, 0, 0, -35, -62],\
[0, 1, 0, 0, -1],\
[0, 0, 1, 6, 13],\
[1, -1, 0, -395, -2925],\
[1, 1, 0, -35, -98],\
[0, -1, 0, -6, 9],\
[0, 1, 0, -2, 9],\
[0, 1, 1, -2, -2],\
[1, -1, 0, -32, 0],\
[1, -1, 0, -158, -725],\
[1, -1, 0, -141, 681],\
[1, -1, 0, 0, 4],\
[0, 0, 0, -103, -402],\
[0, 1, 1, -11, -16],\
[0, -1, 0, -3, 3],\
[0, 1, 0, -35, 69],\
[1, 0, 0, -55, 150],\
[1, -1, 1, -10267, 402966],\
[1, -1, 1, -2, 2],\
[1, -1, 0, -15, -46],\
[1, 1, 0, -483, -4293],\
[0, 0, 0, -7, 7],\
[0, -1, 0, -16, 29],\
[0, 0, 0, -14651, -682570],\
[0, 0, 0, -111, 214],\
[1, 1, 1, -48, 90],\
[1, 1, 0, -1925, 31458],\
[0, 0, 0, 5, 10],\
[0, -1, 0, -2008, 35312],\
[0, 0, 0, -2675, 53250],\
[1, 1, 0, -2, -12],\
[1, 0, 1, -10255, -438718],\
[0, 0, 0, -8, 4],\
[0, 0, 1, -3, -2],\
[1, -1, 1, -2027, 35776],\
[0, 0, 1, -108, -412],\
[1, -1, 0, -225, -1250],\
[1, -1, 0, -4942, 134964],\
[1, 0, 1, -15, 210],\
[1, 1, 1, -102, 355],\
[0, 1, 0, -17, 51],\
[1, -1, 0, -214, 1260],\
[1, 0, 0, -16, 0],\
[1, -1, 0, -2223, -39785],\
[1, -1, 1, -1532, 23455],\
[0, -1, 0, 0, 4],\
[1, 1, 1, 66, -5],\
[1, -1, 0, 1, -3],\
[0, 0, 1, -9, 10],\
[0, 0, 1, -237, 1404],\
[0, 0, 1, -12, 4],\
[1, -1, 0, -6768, -212625],\
[1, 0, 0, -213, -1208],\
[1, 0, 0, -3, 2],\
[1, 1, 0, -75, 250],\
[1, -1, 0, -2267, -40984],\
[1, 1, 0, -4606, 118420],\
[1, 0, 0, -28, -59],\
[1, 0, 1, -8, 7],\
[0, -1, 0, 3, -2],\
[1, 1, 1, -13, 8],\
[1, 0, 0, -6864, 218313],\
[1, -1, 0, -20, 40],\
[1, -1, 0, 16, -10],\
[1, 0, 0, -5626, -162894],\
[1, 0, 0, -1415, 20617],\
[1, 0, 0, 0, -1],\
[0, 0, 0, -459, 3834],\
[0, 0, 0, -3, 34],\
[0, 0, 0, 0, -4],\
[1, -1, 0, -47, 133],\
[1, 0, 0, -139, 465],\
[0, -1, 1, 19, 100],\
[1, 1, 0, -65, -231],\
[1, 0, 1, -98, 362],\
[1, 0, 1, -32681, 1883180],\
[1, 1, 1, -1559, -24343],\
[0, 0, 0, -38, -87],\
[0, 0, 0, -23, -38],\
[0, 0, 1, -8211, -286610],\
[1, -1, 1, -16400, -804212],\
[0, 0, 1, 0, -331],\
[1, -1, 0, -345753, -78165914],\
[1, -1, 1, -1212, 16175],\
[1, 0, 0, -3, -2],\
[0, 1, 1, 1, 1],\
[0, 1, 0, -9, 0],\
[1, 1, 0, -30, 52],\
[1, 1, 1, -39, -35],\
[0, 1, 0, -33, 31],\
[0, 0, 0, -1196, 15920],\
[0, 0, 0, -1196, -15920],\
[1, -1, 0, -5442, -39034],\
[1, -1, 0, -7452, -244944],\
[0, 1, 1, 3, 7],\
[1, -1, 1, -397, -2796],\
[1, -1, 0, -4670, -121675],\
[0, -1, 0, 55, 93],\
[0, 1, 0, -57, 171],\
[1, -1, 0, -19, 37],\
[1, 1, 1, -16, -15],\
[0, 0, 1, 3, -4],\
[1, -1, 1, -2, 28],\
[1, -1, 0, 0, -1],\
[0, -1, 0, -10, 17],\
[0, 1, 0, -46, 529],\
[1, 1, 0, -226, -1406],\
[1, 1, 0, -105, -441],\
[1, 1, 1, -7445, 244091],\
[0, -1, 0, -80, 304],\
[0, 1, 0, 8, 4],\
[1, 0, 0, -170, 837],\
[1, 1, 0, -162, 729],\
[0, 0, 1, -4, 3],\
[0, 0, 0, -36, 81],\
[1, -1, 1, -12, 18],\
[1, 0, 1, -80, -275],\
[1, 1, 0, -97, 281],\
[1, 0, 1, -44, 106],\
[1, -1, 1, -117, 141],\
[1, 1, 1, -11, 9],\
[1, 1, 1, 1, 2],\
[0, 0, 0, 2, 1],\
[0, -1, 0, 4, 4],\
[0, 1, 1, -1006, 11952],\
[1, 1, 0, 81, -27],\
[1, 0, 1, -7, 14],\
[1, -1, 1, -25, 52],\
[1, -1, 0, -617, 5916],\
[1, -1, 0, 3, -10],\
[0, -1, 0, -81, -255],\
[0, -1, 0, -480, 4212],\
[1, -1, 0, -1693, 27240],\
[1, 0, 1, -44, -150],\
[0, 1, 0, -9357, 347279],\
[0, 0, 1, -2, 0],\
[1, -1, 0, -96, 386],\
[1, -1, 0, -177, 953],\
[1, -1, 1, -1109, -13931],\
[1, 1, 0, -32, 64],\
[1, 0, 1, -1594, -26708],\
[1, 0, 0, -1191, 15721],\
[0, -1, 0, -13, 25],\
[0, 1, 0, 11, 695],\
[1, -1, 1, -57, 222],\
[1, 1, 0, 13, 13],\
[1, 1, 1, -1001, 12375],\
[1, -1, 1, -533, -4598],\
[0, 0, 0, 1, 1],\
[0, 0, 0, -5291, -148134],\
[0, 0, 0, -17, 27],\
[1, 1, 0, 25, -14],\
[1, 0, 1, -9, 28],\
[1, 0, 1, -32, -71],\
[0, 0, 0, -111, 450],\
[0, 0, 0, -1371, -19514],\
[0, 0, 0, -6, 5],\
[1, -1, 0, -10, 15],\
[1, 0, 1, -48, -130],\
[1, -1, 0, -935, 11229],\
[1, 0, 0, -86, 292],\
[1, -1, 1, -4, -1],\
[1, 1, 1, -11749, -495058],\
[1, 1, 1, -75, -1422],\
[1, 1, 0, -12678, -3060351],\
[1, 1, 1, -6541, -206341],\
[1, -1, 1, -5, 6],\
[1, -1, 0, -42, -127],\
[1, 0, 0, -4, 0],\
[1, -1, 1, -21931, -1244565],\
[0, -1, 0, 11, -47],\
[0, -1, 1, -52, -3863],\
[0, 0, 0, -563, -5138],\
[1, -1, 0, -4095, 102577],\
[1, -1, 0, -45, 139],\
[1, -1, 0, 12, -208],\
[1, -1, 1, 1, 7],\
[1, -1, 1, -509, 4677],\
[0, 1, 0, -309, 1991],\
[1, 1, 1, -2813, -58594],\
[1, 0, 0, -18, 27],\
[1, 1, 0, -450, 3375],\
[0, -1, 0, -8, 0],\
[0, -1, 0, -1288, 18160],\
[0, 1, 0, -2344, -44428],\
[1, -1, 0, 1226, 30580],\
[1, -1, 0, -4, 0],\
[1, 1, 1, 9, 13],\
[1, 1, 1, -14, 11],\
[0, 1, 1, -383196, 91174234],\
[1, 0, 1, -2525, -45279],\
[0, 0, 0, -513, -4563],\
[0, 0, 0, -648, 6372],\
[0, 0, 0, -57, 169],\
[1, 1, 1, -8, 9],\
[0, 0, 0, -5, 4],\
[1, -1, 0, -914, -8277],\
[1, 0, 1, -1957, 33140],\
[1, -1, 1, -110, -134],\
[1, -1, 0, -12, 9],\
[1, 0, 1, -106, 408],\
[1, 1, 0, -25, 125],\
[1, 0, 1, -758201, 254051548],\
[1, -1, 1, -15, 87],\
[1, 1, 1, -2213, 39531],\
[0, 1, 1, -116, 444],\
[1, 0, 0, -11, 14],\
[1, 0, 1, 1, -5],\
[0, 1, 1, -2376, -61851],\
[0, -1, 0, -1144, -14516],\
[0, -1, 0, -752, 6972],\
[0, 1, 0, -2944, 60512],\
[0, 0, 0, -8, 9],\
[1, 1, 0, 0, 1],\
[1, -1, 0, -12555, 544887],\
[1, -1, 0, 0, 2],\
[1, -1, 1, -434, -7343],\
[1, -1, 1, -149, 749],\
[0, 0, 0, 32, -212],\
[0, -1, 0, -805, 9065],\
[0, 0, 0, -4283, 107882],\
[0, 1, 1, -8, 8],\
[0, 1, 1, -269, 1628],\
[0, -1, 0, -221, -1191],\
[0, 1, 0, -517, -4681],\
[1, -1, 0, -2, 4],\
[1, -1, 1, -2, 82],\
[1, -1, 0, 0, -3],\
[1, 1, 0, -1618, 24388],\
[1, 1, 0, -397, 2881],\
[1, 0, 1, -968, -11662],\
[0, 1, 1, -4, -2],\
[1, 1, 0, -2, -2],\
[1, 0, 1, -2335, -43598],\
[1, 1, 0, -2221, 29181],\
[1, -1, 1, -9611313, -11466507927],\
[1, 1, 1, -21, -5],\
[1, -1, 1, -37, 85],\
[0, 1, 1, -18, 24],\
[0, 0, 1, 175, -1344],\
[1, -1, 1, -55, 72],\
[1, -1, 0, -2, 1],\
[0, 0, 0, -13836, -626416],\
[0, 0, 0, -396, -3024],\
[0, 0, 0, -540, -4752],\
[1, 0, 0, -3, 0],\
[0, 0, 0, -8, -7],\
[0, 0, 0, -32, -31],\
[1, 1, 0, -15, -27],\
[1, 1, 1, -514, 4271],\
[0, 0, 1, -3, 18],\
[0, 0, 1, -597, 8820],\
[1, -1, 1, -3593, 83782],\
[0, 0, 1, -42, 105],\
[1, -1, 0, -1170000, 487402461],\
[1, -1, 0, -9, 0],\
[1, 1, 1, -9, 7],\
[1, 1, 1, -18, 415],\
[0, -1, 0, -44, 120],\
[0, -1, 0, -89588, 10350936],\
[1, -1, 0, 1, 5],\
[1, 0, 0, -350, 2500],\
[0, -1, 1, -3, 2],\
[0, -1, 0, -29973, 2007325],\
[0, 1, 0, -5, -1],\
[0, 1, 0, -9, -13],\
[1, 0, 1, -2, 1],\
[1, -1, 0, -153, 4909],\
[1, -1, 0, -18, 36],\
[1, -1, 0, 44, 496],\
[1, -1, 0, -1802, 29898],\
[1, 1, 1, 4, -1443],\
[0, -1, 0, 7, -3],\
[0, -1, 0, -80008, -8683988],\
[0, 1, 0, -233, 1563],\
[0, 0, 1, -111, 450],\
[1, -1, 0, -9, -54],\
[1, -1, 1, -12, 36],\
[1, -1, 1, -7162, -231426],\
[1, -1, 0, -1414, -44027],\
[1, 0, 1, 4, 2],\
[1, 0, 0, -120, 576],\
[0, 0, 0, 5, -2],\
[0, 0, 0, -8, 16],\
[0, 0, 0, -8, -16],\
[0, 0, 0, -56, -4848],\
[1, 1, 1, -204624, 35542050],\
[1, 1, 0, -35, 66],\
[1, -1, 0, -2744, -54500],\
[0, 0, 0, -4104, -101196],\
[0, 0, 0, -48, 196],\
[1, 0, 0, -373, -2991],\
[1, -1, 1, -61, 197],\
[1, 1, 1, -6, -6],\
[0, 1, 1, 79, -214],\
[0, -1, 0, -1, 197],\
[0, 0, 0, -251, 1510],\
[0, 0, 0, -355, 702],\
[1, 1, 0, 2, 4],\
[1, 1, 0, -2819, -58803],\
[1, 0, 1, -20330, -1118500],\
[1, 0, 1, -21, 34],\
[1, 1, 1, 1, 5],\
[1, 0, 0, -185, 1401],\
[0, 0, 0, 8, 4],\
[0, 0, 0, -1207, 9006],\
[0, 1, 0, -101, 359],\
[1, -1, 1, -14, -16],\
[1, -1, 1, 8, -5],\
[1, 1, 0, 28, 157],\
[0, -1, 0, -60, -144],\
[0, -1, 0, -748, 7564],\
[0, -1, 0, -68, 240],\
[0, 1, 0, -304, 1892],\
[1, -1, 0, -17, -13],\
[1, -1, 1, -171, 1904],\
[0, 0, 1, -40, 48],\
[1, -1, 0, 11, -18],\
[1, -1, 0, -151200, 22667386],\
[1, -1, 0, -2409, 46115],\
[0, 1, 0, -16, 16],\
[1, 1, 1, -17, -70],\
[0, -1, 1, -10, 16],\
[0, 1, 1, -45, -209],\
[0, 0, 1, 49, -86],\
[1, -1, 0, -107, 454],\
[1, -1, 0, -5252, -145223],\
[1, -1, 1, -131, -520],\
[0, 1, 0, -265, 1575],\
[0, 0, 0, -13, 18],\
[0, 0, 0, -13, -18],\
[0, 0, 0, -52, 144],\
[1, 1, 1, 79, 335],\
[0, -1, 0, 2, -7],\
[0, 1, 0, 6, -43],\
[0, 1, 1, 10, 44],\
[0, 1, 1, 1815, 141239],\
[1, -1, 1, -6486, 202661],\
[0, 0, 0, -3, -1],\
[0, 0, 0, -3, 14],\
[0, 0, 0, -27, 27],\
[1, 0, 0, -1, 4],\
[1, -1, 0, -22, 46],\
[1, 0, 1, -26, 48],\
[1, -1, 0, -34667, -2475759],\
[1, 1, 0, -11330, -468940],\
[1, 1, 1, 12, 181],\
[1, 0, 0, -3044, -64887],\
[1, 0, 1, -32, -61],\
[1, 0, 1, -174, 880],\
[1, 1, 1, -56, 1145],\
[0, 0, 0, -11, 10],\
[1, -1, 1, -11, 10],\
[0, 0, 1, -246, 2043],\
[1, -1, 1, -18, 33],\
[1, 1, 1, 24, -23],\
[1, -1, 1, -8572, 183615],\
[1, 1, 0, -79, -306],\
[0, -1, 0, -76, 280],\
[0, 1, 0, -1556, -13356],\
[1, 0, 1, 32, -210],\
[1, 1, 1, -20174, -1111138],\
[1, 0, 0, -98, 279],\
[0, -1, 0, -3, 4],\
[0, 1, 0, 1, 2],\
[0, -1, 1, -16660, -1081562],\
[1, 1, 1, 64, 258],\
[1, 1, 0, -2, 1],\
[1, -1, 0, -194, 1085],\
[1, -1, 0, -1332, 19062],\
[1, -1, 1, 13, 1235],\
[1, -1, 1, -26, 57],\
[1, 1, 0, -1, -2],\
[1, 0, 1, -23, -174],\
[1, -1, 0, -524, -8920],\
[1, 0, 0, 44, -624],\
[1, -1, 1, -13, 21],\
[0, -1, 0, -224, 1368],\
[0, -1, 0, -33, 81],\
[0, 1, 0, -1505, 17199],\
[0, 1, 0, -224, -1368],\
[1, 0, 1, 3, 0],\
[1, -1, 1, 2064, 18771],\
[1, -1, 1, -6, 5],\
[1, -1, 1, -5, 2],\
[0, 0, 1, -6750, -213469],\
[1, -1, 0, -117, 166],\
[1, 1, 1, 2, 0],\
[1, 1, 0, -12, 12],\
[1, 0, 1, 6, -20],\
[1, 1, 1, -148, -427],\
[0, 0, 0, -1163, -14938],\
[0, -1, 1, -13, 24],\
[0, 1, 1, -179, 881],\
[1, 0, 0, -2003, -39269],\
[1, -1, 1, 359, -6663],\
[0, 0, 0, -831, -8890],\
[0, 0, 0, -192, 1028],\
[1, -1, 0, -5, 6],\
[0, 0, 0, 4, -4],\
[0, -1, 0, -5, -19],\
[1, 0, 0, -14, 19],\
[1, 1, 0, -1748, -25392],\
[1, 0, 1, -10644, 420826],\
[1, 1, 1, -116, 413],\
[0, 0, 1, 18, -7],\
[0, -1, 0, 56, -1415],\
[0, -1, 0, -88, 349],\
[0, 1, 0, -4, 5],\
[0, 1, 0, 12, 9],\
[0, 0, 0, -40, 100],\
[0, 0, 0, 800, 26500],\
[0, 0, 0, -125, 625],\
[0, 0, 0, -2000, -34375],\
[0, 0, 0, -5, 5],\
[1, -1, 0, -3, -1],\
[1, -1, 0, -8952, -323776],\
[1, -1, 0, -9, -19],\
[1, -1, 1, -1487, -12905],\
[1, -1, 1, -41, 105],\
[1, -1, 1, -83, 595],\
[0, 0, 1, 1, -8],\
[0, 0, 0, 2, -14],\
[0, -1, 0, -31281, 2139919],\
[0, -1, 0, 1, 1],\
[0, 1, 0, -11, 11],\
[0, 1, 0, -31281, -2139919],\
[1, 1, 1, -120, 42282],\
[1, 0, 0, -36, 81],\
[0, -1, 1, -5781, 175862],\
[1, 0, 1, 6, 1],\
[1, 1, 0, 1, -1],\
[1, 0, 0, -178, -924],\
[1, -1, 1, -7, -5],\
[1, -1, 1, -118, 2693],\
[1, 1, 0, -27, -59],\
[1, 1, 1, -416, 3009],\
[1, 1, 1, -70, 195],\
[1, -1, 1, 25, 28],\
[1, -1, 0, 3, -2],\
[1, 0, 1, -1, 1],\
[1, 1, 0, -381, 2709],\
[1, 1, 0, -55174, 4965268],\
[1, 1, 1, -5079, 137205],\
[0, 0, 1, 43, -2088],\
[0, 1, 1, -5, 6],\
[1, -1, 1, -514, 4609],\
[0, 0, 0, -123, 522],\
[0, 0, 0, -311043, -66769598],\
[0, 0, 0, -1947, -33046],\
[0, 0, 0, -18387, 959634],\
[1, -1, 0, -1, -11],\
[1, 0, 1, -33581, -2375576],\
[1, 1, 1, -93, 307],\
[1, 1, 1, -30873, 16782247],\
[1, 1, 1, -4, -4],\
[0, 1, 1, -3, -4],\
[1, -1, 0, -67, 216],\
[1, 1, 0, -475, -4187],\
[1, 0, 1, -1217868, 517205302],\
[1, 0, 1, -14, 20],\
[1, 1, 1, 179, 1475],\
[0, 1, 0, -1, 51],\
[0, 0, 0, -68, -236],\
[1, -1, 0, -4, -2],\
[1, -1, 0, -949, 11493],\
[1, 1, 1, -26, 39],\
[1, 1, 1, -405, -1925],\
[1, 0, 1, -539, 4765],\
[0, -1, 0, -100, 424],\
[0, 1, 0, -164, -828],\
[0, 1, 1, -310, 3364],\
[1, 0, 0, -105841, 13244636],\
[0, -1, 1, -205, 1203],\
[0, -1, 1, 406, -686],\
[1, -1, 0, -2430, 46732],\
[1, -1, 0, 66, 116],\
[1, -1, 1, -374, 2949],\
[1, -1, 1, 7, -7],\
[0, -1, 0, -45, 25],\
[0, 1, 0, -12021, -511321],\
[0, 1, 1, -5, 23],\
[1, -1, 0, -5, 7],\
[1, 1, 0, -479052, 127421360],\
[1, 1, 1, -14, 75],\
[0, -1, 0, 4, -3],\
[0, -1, 0, -140, 753],\
[0, 1, 0, 8, 89],\
[0, 1, 0, -96, 333],\
[1, -1, 1, -191, 892],\
[1, -1, 1, 13, -12],\
[1, -1, 0, -495, -4118],\
[1, -1, 0, 9, 4],\
[1, 0, 0, -4, -5],\
[0, 0, 0, -155, 714],\
[0, 1, 1, 5, 7],\
[1, 0, 1, -7, -6],\
[1, 0, 1, -10758, 428760],\
[1, 0, 0, 43, -31],\
[0, 0, 1, 2, -1],\
[1, 0, 1, 1, 1],\
[0, 0, 0, -264, 1636],\
[0, 0, 0, -48, -124],\
[1, 0, 1, 11, 0],\
[1, 1, 1, -1238, -17152],\
[1, 0, 0, -93104, -10942305],\
[0, 1, 0, -35, 58],\
[0, 0, 0, -2027, 35126],\
[1, 0, 1, -10, -10],\
[1, 1, 1, -21, 27],\
[1, 0, 0, -267, 1521],\
[0, 0, 1, -5, 10],\
[1, -1, 1, -77, 276],\
[0, -1, 0, -2589, -49851],\
[0, -1, 0, -23, 51],\
[0, 1, 0, -2589, 49851],\
[0, 1, 0, -93, 315],\
[1, 0, 1, -848, 9006],\
[1, -1, 0, -20909, -1158507],\
[1, 0, 0, -26116, -1580604],\
[1, -1, 0, -18, 0],\
[1, -1, 0, -539109, 152510121],\
[1, -1, 1, -209, 1217],\
[1, -1, 1, 22, 105],\
[0, 1, 1, -33, 94],\
[0, 0, 0, -31, 66],\
[0, 1, 1, 0, 2],\
[1, 1, 1, -4144, 100952],\
[0, 1, 1, 9, 344],\
[1, 0, 1, -2612, 23195],\
[0, -1, 0, -105, 450],\
[0, 1, 0, -81, 0],\
[0, 0, 1, -808, 8840],\
[1, 0, 1, -35, 54],\
[0, 0, 0, -343, 2401],\
[0, 1, 0, -2140728, -1206278060],\
[0, 0, 0, -29155, -1915998],\
[0, 1, 0, -142, -701],\
[0, 1, 0, -16, -29],\
[1, 1, 0, -281, 1701],\
[1, 1, 0, -8, 6],\
[1, 1, 0, 1217, 6622405],\
[1, 0, 1, -17, 56],\
[1, 0, 1, -103, -406],\
[1, 1, 1, 10, 11],\
[1, 1, 1, -861, 9267],\
[1, 0, 0, -42, 36],\
[1, 0, 0, -425, 3337],\
[1, -1, 1, -4219, -104412],\
[0, 0, 0, -4251, -106666],\
[0, 0, 0, -675, 6318],\
[0, 0, 0, -75, -234],\
[1, -1, 0, -16, -21],\
[1, 0, 0, -281373, -57471035],\
[1, 1, 1, 4, -3],\
[1, 0, 0, -57, 161],\
[1, 1, 0, -848, -9867],\
[1, 0, 0, 2, 1],\
[1, 1, 0, -150, 648],\
[1, 0, 1, -92, 326],\
[1, 0, 1, -18152, 939764],\
[1, 1, 1, -354, -2193],\
[1, 0, 0, -3255, -57879],\
[1, 1, 1, -353, -2120],\
[0, 1, 0, -158, -812],\
[0, -1, 0, -208, 1412],\
[0, 0, 0, -275, -1750],\
[0, 0, 0, -5, 0],\
[0, 1, 0, -8, 8],\
[0, 0, 1, -30, -90],\
[1, -1, 0, -9, -14],\
[0, -1, 0, -12, 24],\
[0, -1, 0, -1373, -19191],\
[0, 1, 0, 84, 36],\
[0, -1, 1, 23004, 2393001],\
[1, 1, 0, 52, -176],\
[1, 0, 1, -3, 30],\
[1, -1, 1, 318, -2367],\
[1, 0, 0, -97, 361],\
[1, -1, 0, -24, 80],\
[1, -1, 1, -38, 181],\
[0, 0, 1, -2, -2],\
[0, -1, 0, -36, 232],\
[0, 1, 1, -115243, -15096572],\
[1, 0, 1, -50, -828],\
[1, -1, 1, -28, 63],\
[0, 1, 1, -985, -12244],\
[0, -1, 0, -443904, 113984640],\
[0, -1, 0, -48, 144],\
[0, -1, 0, -5, 9],\
[0, 1, 0, -40, -76],\
[0, 1, 0, -1621, 24623],\
[0, 1, 1, -16649, 821406],\
[1, -1, 1, -5, 4],\
[1, -1, 0, -42, -73],\
[1, 1, 0, -3, -9],\
[1, 0, 1, 31, 20],\
[1, 0, 0, -3663, 84942],\
[0, -1, 1, -23, 53],\
[0, 1, 1, -583, 5494],\
[0, 0, 1, -10, 12],\
[0, 0, 0, -351, 486],\
[0, 0, 0, -9, -27],\
[0, 0, 1, -4, -3],\
[1, -1, 1, 3, 69],\
[1, 1, 1, -11185, 456015],\
[1, 0, 0, -68, 285],\
[0, 0, 0, -13612, 670672],\
[0, -1, 0, -1, -31],\
[0, -1, 0, -29409, -1931423],\
[0, 0, 0, -16, 24],\
[0, 1, 0, -1, 31],\
[0, 1, 0, -65, 191],\
[1, 0, 1, 0, 10],\
[1, 1, 1, -1027, 12257],\
[1, 1, 1, 2, -1],\
[1, 0, 0, -1090, -40504],\
[0, -1, 0, -5, -47],\
[0, -1, 0, -1736, 26796],\
[0, -1, 0, -456, 3900],\
[0, -1, 0, -10480, -409460],\
[0, 1, 0, -2896, 59024],\
[1, 0, 1, -10, -12],\
[1, 0, 0, -59, 145],\
[1, 1, 0, 5, 4],\
[1, -1, 0, -31518, 2160364],\
[1, -1, 0, -87, 323],\
[1, 1, 1, -6234, -177484],\
[0, 0, 1, 242, -333],\
[0, 1, 0, -440, 3412],\
[0, 1, 0, -4, -8],\
[1, 1, 1, 5, -4],\
[1, -1, 0, 8, 16],\
[1, 0, 1, 33924, -387702],\
[1, 0, 1, -451, 4798],\
[1, 1, 1, -63, 781],\
[1, 1, 1, -18, 31],\
[0, 1, 1, -28, 48],\
[1, 0, 1, -722, 7396],\
[1, 0, 1, -56176, -5122754],\
[1, 1, 1, -399, 1237],\
[1, 1, 1, -13, 3],\
[1, -1, 1, -842, 9366],\
[0, -1, 0, -28, 68],\
[0, 1, 0, 0, -16],\
[0, 1, 0, -3, 2],\
[0, -1, 0, -432, -3316],\
[1, 0, 1, -65176, -6409114],\
[1, 1, 1, -572, 118685],\
[1, 1, 1, -46, 107],\
[1, 0, 0, -7, 14],\
[1, 0, 0, 2941, 18606],\
[1, 0, 1, 706, -64375],\
[1, -1, 0, -70, 244],\
[1, 0, 1, 1, -2],\
[1, 1, 1, -2, 15],\
[1, 1, 1, -2460, 45949],\
[0, 0, 0, 24, 16],\
[0, 0, 0, 24, -16],\
[0, 0, 0, -216, 1296],\
[0, 0, 0, -3, 6],\
[0, 0, 0, -27, -162],\
[0, 0, 0, -24, 48],\
[1, 0, 0, -8, 64],\
[1, 1, 1, -23, 20],\
[0, -1, 1, -17147, -859018],\
[0, -1, 1, -244012, -46313805],\
[0, 1, 1, 10, -2],\
[1, 1, 0, -512, 4237],\
[1, 0, 1, -138, 609],\
[1, 1, 0, -4017, -99681],\
[1, 0, 1, -524364, -146193014],\
[1, 0, 1, -2533, -49264],\
[1, 1, 1, -131, -631],\
[1, 1, 1, -1760, 27137],\
[0, 1, 0, 0, 16],\
[0, 0, 1, -3, 22],\
[1, -1, 0, -5886, 153679],\
[0, 0, 1, -19569, -4064513],\
[1, 1, 0, -38, 76],\
[1, 1, 1, -142320, -20724857],\
[1, 0, 0, -12, -16],\
[0, -1, 0, -48885, 4176513],\
[0, 1, 0, -61, 191],\
[0, 0, 0, -67, 226],\
[0, 1, 0, -60, -200],\
[0, -1, 0, -16, -64],\
[0, 0, 0, -23, 38],\
[0, 0, 0, -7547, 12986],\
[0, 1, 0, -95040, 11245748],\
[1, -1, 0, -4566, 119916],\
[1, -1, 0, -592713, 175784769],\
[1, -1, 0, -1269, -17739],\
[1, -1, 1, -6404, 199847],\
[1, -1, 1, -839, 9559],\
[0, 1, 1, -19330, -1040876],\
[0, 1, 1, -5, -4],\
[1, 1, 0, -472, 3481],\
[1, 0, 1, -1203, 15950],\
[1, -1, 0, -14, 24],\
[1, -1, 1, -4, 7],\
[1, -1, 1, -241390, 45705725],\
[0, -1, 0, -188, -924],\
[0, 1, 0, -7104, -232848],\
[1, 0, 1, -109, -444],\
[1, 0, 1, -1138, -14844],\
[1, -1, 0, -55, 171],\
[1, 0, 1, -13, 16],\
[1, -1, 1, 12, 87],\
[1, 1, 1, -2040, -38093],\
[1, -1, 1, 7, 10],\
[0, -1, 0, -12, -8],\
[0, 1, 0, -388, -1580],\
[1, 1, 0, -59, -201],\
[1, 1, 0, -18630, 971028],\
[1, 0, 1, -13, -16],\
[1, 1, 1, -42, 87],\
[1, 1, 1, -38, -15325],\
[1, 0, 0, -247, 809],\
[1, 0, 0, -6, 5],\
[0, 0, 0, -40, -96],\
[0, 0, 0, -20, 16],\
[0, 0, 0, -20, -16],\
[1, 1, 1, -219, 1146],\
[1, 0, 0, -65, -204],\
[1, 0, 0, -5037552, 4351465395],\
[1, 0, 1, -1725581, -795628249],\
[1, 0, 1, -202, 1084],\
[1, 1, 1, -4, -3],\
[1, 0, 1, -3, -1],\
[0, 0, 0, -9300, 345125],\
[0, 0, 0, 0, -2700],\
[0, 0, 0, -10920, 439220],\
[0, -1, 1, -4, -2],\
[1, -1, 1, -85, -220],\
[1, 1, 1, -29863, 1910608],\
[0, 0, 1, -1507, 4209],\
[1, 0, 1, -2382, 77312],\
[0, 1, 1, 7, 2],\
[0, 0, 0, -35, 78],\
[1, 1, 0, -18, 23],\
[1, 1, 0, 3395, -211907],\
[1, 1, 0, -16, -32],\
[1, 0, 1, -1970, 18500],\
[1, 0, 1, -52716, -4662998],\
[1, 1, 1, -21, -45],\
[1, 0, 0, -152, 576],\
[0, 0, 1, -12, 9],\
[1, 0, 1, -14669, -685008],\
[1, -1, 0, -29, -47],\
[1, 0, 1, -59, -1154],\
[1, -1, 1, -33, 81],\
[1, 0, 0, -5625, -151943],\
[1, 1, 1, -196, 5829],\
[1, -1, 1, -33898, 2219177],\
[0, -1, 0, -57, -171],\
[0, -1, 0, -1624, -24656],\
[0, -1, 0, -70245, 7189389],\
[0, 1, 0, 3, -9],\
[0, 1, 0, -1528, 22484],\
[1, -1, 0, -692, -6832],\
[1, 0, 0, -255, 900],\
[1, 1, 0, -367, -2756],\
[0, -1, 0, -5, -2],\
[0, 1, 0, -157, -416],\
[1, -1, 0, -231, -2179],\
[1, -1, 0, -24990, 1526804],\
[1, -1, 0, 0, -18],\
[1, -1, 0, -27, 99],\
[1, -1, 0, -771, -8875],\
[1, -1, 1, -434, 21169],\
[1, -1, 1, -86, 357],\
[1, -1, 1, -245, -2429],\
[0, 0, 0, -187, 991],\
[0, -1, 0, 0, -23],\
[0, 0, 0, 1468, -2844],\
[0, 1, 0, 4, 5],\
[0, 1, 1, -23, 41],\
[0, -1, 0, 14, 1057],\
[0, -1, 0, 14, -11],\
[0, 1, 0, -22, 41],\
[0, 1, 0, -17242, 875009],\
[0, -1, 1, -46833, -3885432],\
[0, 1, 1, -133, 519],\
[1, -1, 0, -54, -243],\
[0, -1, 0, -1, 17],\
[0, 1, 0, -1, -17],\
[1, 1, 0, -6628, 204952],\
[1, 1, 0, -47, 99],\
[1, 1, 0, -37442, 2585844],\
[1, 0, 1, -2013, -12344],\
[1, 1, 1, -161, 119],\
[0, -1, 1, -3, -1],\
[0, 1, 1, -399, -3184],\
[1, 0, 1, -3, 0],\
[0, 1, 1, -1, -4],\
[0, 0, 0, -7491, 249550],\
[0, 0, 0, -51, 94],\
[0, 0, 0, -30, 29],\
[0, 0, 0, -615, 5866],\
[1, 0, 1, -11085, 446696],\
[1, 0, 1, -4, -2],\
[1, 1, 1, -56, -135],\
[0, 1, 1, 4, 14],\
[0, -1, 1, -321, -9817],\
[1, 0, 1, -6, -5],\
[0, -1, 0, -20, 40],\
[0, 1, 0, -31516, -1956716],\
[1, 0, 0, -65, 201],\
[1, 0, 0, 146, 37508],\
[0, 1, 0, -64, 180],\
[0, 1, 0, 8, -12],\
[0, -1, 0, -9, -8],\
[0, 1, 0, 8, -44],\
[0, 1, 0, -276, 1676],\
[0, 1, 0, 4, -4],\
[0, 1, 0, -400, -3308],\
[1, 0, 1, -261, -1680],\
[1, 0, 1, -1751, -31352],\
[1, 1, 1, -2138, -306969],\
[1, -1, 0, -81, 783],\
[1, -1, 0, -221427, 40159989],\
[1, -1, 0, 18, 202],\
[1, -1, 0, -96, -640],\
[1, -1, 1, 1273, -3585],\
[1, -1, 1, -11, 27],\
[1, -1, 1, -248, 1563],\
[0, -1, 0, -641, 6465],\
[0, -1, 0, -12801, -553215],\
[0, -1, 0, -225, -1215],\
[0, 1, 0, -1921, 31775],\
[0, 1, 0, -12801, 553215],\
[0, 1, 0, -1985, -19617],\
[1, 1, 0, -72, -90],\
[1, 1, 0, -3346, 63700],\
[1, 1, 0, -250264, 48082240],\
[1, 0, 1, -361, 2564],\
[1, 1, 1, -79134, -8601153],\
[0, 0, 0, -484, -5324],\
[0, 0, 0, -11, 22],\
[0, 1, 0, 15, -13],\
[0, 0, 0, 0, -972],\
[0, 0, 0, 0, -243],\
[0, 1, 1, -11373, -470630],\
[1, -1, 1, 51, 117],\
[1, -1, 1, 3, -3],\
[1, 1, 1, -91, 297],\
[1, 1, 1, -5, 3],\
[0, -1, 1, -8, -82],\
[0, 1, 1, -4758, 128144],\
[1, 0, 0, 12, 117],\
[0, -1, 1, -83, 3818],\
[0, 1, 1, -3, 29],\
[1, 1, 0, -3250000, -2256492875],\
[1, 0, 1, -46, -127],\
[0, 0, 0, 1, -6],\
[1, 0, 1, -5, 2],\
[1, 1, 1, -121, 455],\
[1, 0, 0, -132, 144],\
[1, 1, 0, -14646, -688345],\
[0, -1, 0, -39461, 3030385],\
[0, 1, 0, 19, -1],\
[1, -1, 1, -74, 262],\
[1, -1, 0, 36, 81],\
[1, 0, 1, -22, 40],\
[0, -1, 0, -369, 4293],\
[0, 1, 0, 7, 27],\
[0, 1, 1, -20, 24],\
[1, 1, 0, -10407, -413003],\
[1, 1, 0, -276, 1616],\
[1, 0, 0, 3467, -83679],\
[1, -1, 1, -1, 17],\
[1, 0, 0, 8, 16],\
[1, 0, 0, -6909, 79524],\
[0, 0, 0, 16, 36],\
[0, 0, 0, -362249, 165197113],\
[1, -1, 0, -15, 25],\
[1, -1, 0, -34965, 2525175],\
[1, -1, 1, -14423, -663069],\
[1, -1, 1, -96608, -11533373],\
[1, 0, 1, -1, 4],\
[1, 0, 1, -1611, -39690],\
[1, 0, 0, -52238, -4587140],\
[1, -1, 1, -1516, 23091],\
[0, 1, 1, -15, 19],\
[0, 1, 0, -12, 36],\
[0, 1, 0, 164, -8764],\
[0, -1, 1, -18, 36],\
[1, -1, 1, -8, 10],\
[1, -1, 0, -69, -208]]