2018年6月21日木曜日

180621

Ruby


(1 - b*x)^(1/A003557(b))

b が1728以下で、A003557(b) > 1 となる場合について
出力してみた。

require 'prime'

def f(n)
  return 1 if n < 2
  (1..n).inject(:*)
end

def A003557(n)
  s = 1
  n.prime_division.each{|i| s *= i[0] ** (i[1] - 1)}
  s
end

def A(a, k, n)
  [1] + (1..n).map{|i| (k / a) ** i * (0..i - 1).inject(1){|s, j| s * (a * j - 1)} / f(i)}
end

n = 6
(1..1728).each{|i|
  a = A003557(i)
  p [i, a, A(a, i, n)] if a > 1
}

出力結果
[4, 2, [1, -2, -2, -4, -10, -28, -84]]
[8, 4, [1, -2, -6, -28, -154, -924, -5852]]
[9, 3, [1, -3, -9, -45, -270, -1782, -12474]]
[12, 2, [1, -6, -18, -108, -810, -6804, -61236]]
[16, 8, [1, -2, -14, -140, -1610, -19964, -259532]]
[18, 3, [1, -6, -36, -360, -4320, -57024, -798336]]
[20, 2, [1, -10, -50, -500, -6250, -87500, -1312500]]
[24, 4, [1, -6, -54, -756, -12474, -224532, -4266108]]
[25, 5, [1, -5, -50, -750, -13125, -249375, -4987500]]
[27, 9, [1, -3, -36, -612, -11934, -250614, -5513508]]
[28, 2, [1, -14, -98, -1372, -24010, -470596, -9882516]]
[32, 16, [1, -2, -30, -620, -14570, -367164, -9668652]]
[36, 6, [1, -6, -90, -1980, -50490, -1393524, -40412196]]
[40, 4, [1, -10, -150, -3500, -96250, -2887500, -91437500]]
[44, 2, [1, -22, -242, -5324, -146410, -4509428, -148811124]]
[45, 3, [1, -15, -225, -5625, -168750, -5568750, -194906250]]
[48, 8, [1, -6, -126, -3780, -130410, -4851252, -189198828]]
[49, 7, [1, -7, -147, -4459, -156065, -5899257, -234003861]]
[50, 5, [1, -10, -200, -6000, -210000, -7980000, -319200000]]
[52, 2, [1, -26, -338, -8788, -285610, -10396204, -405451956]]
[54, 9, [1, -6, -144, -4896, -190944, -8019648, -352864512]]
[56, 4, [1, -14, -294, -9604, -369754, -15529668, -688481948]]
[60, 2, [1, -30, -450, -13500, -506250, -21262500, -956812500]]
[63, 3, [1, -21, -441, -15435, -648270, -29950074, -1467553626]]
[64, 32, [1, -2, -62, -2604, -123690, -6283452, -333022956]]
[68, 2, [1, -34, -578, -19652, -835210, -39755996, -2027555796]]
[72, 12, [1, -6, -198, -9108, -478170, -26968788, -1591158492]]
[75, 5, [1, -15, -450, -20250, -1063125, -60598125, -3635887500]]
[76, 2, [1, -38, -722, -27436, -1303210, -69330772, -3951854004]]
[80, 8, [1, -10, -350, -17500, -1006250, -62387500, -4055187500]]
[81, 27, [1, -3, -117, -6201, -372060, -23886252, -1600378884]]
[84, 2, [1, -42, -882, -37044, -1944810, -114354828, -7204354164]]
[88, 4, [1, -22, -726, -37268, -2254714, -148811124, -10367174972]]
[90, 3, [1, -30, -900, -45000, -2700000, -178200000, -12474000000]]
[92, 2, [1, -46, -1058, -48668, -2798410, -180217604, -12435014676]]
[96, 16, [1, -6, -270, -16740, -1180170, -89220852, -7048447308]]
[98, 7, [1, -14, -588, -35672, -2497040, -188776224, -14976247104]]
[99, 3, [1, -33, -1089, -59895, -3953070, -286992882, -22098451914]]
[100, 10, [1, -10, -450, -28500, -2066250, -161167500, -13162012500]]
[104, 4, [1, -26, -1014, -61516, -4398394, -343074732, -28246486268]]
[108, 18, [1, -6, -306, -21420, -1702890, -145086228, -12912674292]]
[112, 8, [1, -14, -686, -48020, -3865610, -335534948, -30533680268]]
[116, 2, [1, -58, -1682, -97556, -7072810, -574312172, -49965158964]]
[117, 3, [1, -39, -1521, -98865, -7711470, -661644126, -60209615466]]
[120, 4, [1, -30, -1350, -94500, -7796250, -701662500, -66657937500]]
[121, 11, [1, -11, -605, -46585, -4099480, -387810808, -38393269992]]
[124, 2, [1, -62, -1922, -119164, -9235210, -801616228, -74550309204]]
[125, 25, [1, -5, -300, -24500, -2266250, -224358750, -23183737500]]
[126, 3, [1, -42, -1764, -123480, -10372320, -958402368, -93923432064]]
[128, 64, [1, -2, -126, -10668, -1018794, -103916988, -11049839724]]
[132, 2, [1, -66, -2178, -143748, -11859210, -1095791004, -108483309396]]
[135, 9, [1, -15, -900, -76500, -7458750, -783168750, -86148562500]]
[136, 4, [1, -34, -1734, -137564, -12862234, -1311947868, -141253053788]]
[140, 2, [1, -70, -2450, -171500, -15006250, -1470612500, -154414312500]]
[144, 24, [1, -6, -414, -38916, -4144554, -472479156, -56225019564]]
[147, 7, [1, -21, -1323, -120393, -12641265, -1433519451, -170588814669]]
[148, 2, [1, -74, -2738, -202612, -18741610, -1941630796, -215521018356]]
[150, 5, [1, -30, -1800, -162000, -17010000, -1939140000, -232696800000]]
[152, 4, [1, -38, -2166, -192052, -20069434, -2287915476, -275312495612]]
[153, 3, [1, -51, -2601, -221085, -22550670, -2530185174, -301092035706]]
[156, 2, [1, -78, -3042, -237276, -23134410, -2526277572, -295574475924]]
[160, 16, [1, -10, -750, -77500, -9106250, -1147387500, -151072687500]]
[162, 27, [1, -6, -468, -49608, -5952960, -764360064, -102424248576]]
[164, 2, [1, -82, -3362, -275684, -28257610, -3243973628, -399008756244]]
[168, 4, [1, -42, -2646, -259308, -29950074, -3773709324, -501903340092]]
[169, 13, [1, -13, -1014, -109850, -13566475, -1798914585, -249449489120]]
[171, 3, [1, -57, -3249, -308655, -35186670, -4412408418, -586850319594]]
[172, 2, [1, -86, -3698, -318028, -34188010, -4116236404, -530994496116]]
[175, 5, [1, -35, -2450, -257250, -31513125, -4191245625, -586774387500]]
[176, 8, [1, -22, -1694, -186340, -23572010, -3215222164, -459776769452]]
[180, 6, [1, -30, -2250, -247500, -31556250, -4354762500, -631440562500]]
[184, 4, [1, -46, -3174, -340676, -43095514, -5947180932, -866306022428]]
[188, 2, [1, -94, -4418, -415292, -48796810, -6421660196, -905454087636]]
[189, 9, [1, -21, -1764, -209916, -28653534, -4212069498, -648658702692]]
[192, 32, [1, -6, -558, -70308, -10018890, -1526878836, -242773734924]]
[196, 14, [1, -14, -1274, -160524, -23035194, -3547419876, -571134600036]]
[198, 3, [1, -66, -4356, -479160, -63249120, -9183772224, -1414300922496]]
[200, 20, [1, -10, -950, -123500, -18216250, -2878167500, -474897637500]]
[204, 2, [1, -102, -5202, -530604, -67652010, -9660707028, -1478088175284]]
[207, 3, [1, -69, -4761, -547515, -75557070, -11469563226, -1846599679386]]
[208, 8, [1, -26, -2366, -307580, -45983210, -7412493452, -1252711393388]]
[212, 2, [1, -106, -5618, -595508, -78904810, -11709473804, -1861806334836]]
[216, 36, [1, -6, -630, -89460, -14358330, -2463889428, -441036207612]]
[220, 2, [1, -110, -6050, -665500, -91506250, -14091962500, -2325173812500]]
[224, 16, [1, -14, -1470, -212660, -34982570, -6170925348, -1137507239148]]
[225, 15, [1, -15, -1575, -228375, -37681875, -6669691875, -1233892996875]]
[228, 2, [1, -114, -6498, -740772, -105560010, -16847377596, -2880901568916]]
[232, 4, [1, -58, -5046, -682892, -108921274, -18952301676, -3480906074492]]
[234, 3, [1, -78, -6084, -790920, -123383520, -21172612032, -3853415389824]]
[236, 2, [1, -118, -6962, -821516, -121173610, -20017880372, -3543164825844]]
[240, 8, [1, -30, -3150, -472500, -81506250, -15160162500, -2956231687500]]
[242, 11, [1, -22, -2420, -372680, -65591680, -12409945856, -2457169279488]]
[243, 81, [1, -3, -360, -57960, -10519740, -2038725612, -411822573624]]
[244, 2, [1, -122, -7442, -907924, -138458410, -23648696428, -4327711446324]]
[245, 7, [1, -35, -3675, -557375, -97540625, -18435178125, -3656310328125]]
[248, 4, [1, -62, -5766, -834148, -142222234, -26453335524, -5193671541212]]
[250, 25, [1, -10, -1200, -196000, -36260000, -7179480000, -1483759200000]]
[252, 6, [1, -42, -4410, -679140, -121226490, -23420957868, -4754454447204]]
[256, 128, [1, -2, -254, -43180, -8268970, -1690177468, -360007800684]]
[260, 2, [1, -130, -8450, -1098500, -178506250, -32488137500, -6335186812500]]
[261, 3, [1, -87, -7569, -1097505, -190965870, -36550867518, -7419826106154]]
[264, 4, [1, -66, -6534, -1006236, -182631834, -36161103132, -7557670554588]]
[268, 2, [1, -134, -8978, -1203052, -201511210, -37803502996, -7598504102196]]
[270, 9, [1, -30, -3600, -612000, -119340000, -25061400000, -5513508000000]]
[272, 8, [1, -34, -4046, -687820, -134468810, -28346025148, -6264471557708]]
[275, 5, [1, -55, -6050, -998250, -192163125, -40162093125, -8835660487500]]
[276, 2, [1, -138, -9522, -1314036, -226671210, -43792877772, -9065125698804]]
[279, 3, [1, -93, -8649, -1340595, -249350670, -51017147082, -11070720916794]]
[280, 4, [1, -70, -7350, -1200500, -231096250, -48530212500, -10757530437500]]
[284, 2, [1, -142, -10082, -1431644, -254116810, -50518421828, -10760423849364]]
[288, 48, [1, -6, -846, -160740, -34478730, -7902524916, -1888703454924]]
[289, 17, [1, -17, -2312, -432344, -91873100, -20928692180, -4981028738840]]
[292, 2, [1, -146, -10658, -1556068, -283982410, -58046004604, -12712075008276]]
[294, 7, [1, -42, -5292, -963144, -202260240, -45872622432, -10917684138816]]
[296, 4, [1, -74, -8214, -1418284, -288620794, -64073816268, -15014630945468]]
[297, 9, [1, -33, -4356, -814572, -174725694, -40361635314, -9767515745988]]
[300, 10, [1, -30, -4050, -769500, -167366250, -39163702500, -9595107112500]]
[304, 8, [1, -38, -5054, -960260, -209816810, -49432840436, -12209911587692]]
[306, 3, [1, -102, -10404, -1768680, -360810720, -80965925568, -19269890285184]]
[308, 2, [1, -154, -11858, -1826132, -351530410, -75789956396, -17507479927476]]
[312, 4, [1, -78, -9126, -1660932, -356269914, -83367159876, -20591688489372]]
[315, 3, [1, -105, -11025, -1929375, -405168750, -93593981250, -22930525406250]]
[316, 2, [1, -158, -12482, -1972156, -389500810, -86157579172, -20419346263764]]
[320, 32, [1, -10, -1550, -325500, -77306250, -19635787500, -5203483687500]]
[324, 54, [1, -6, -954, -204156, -49303674, -12720347892, -3421773582948]]
[325, 5, [1, -65, -8450, -1647750, -374863125, -92591191875, -24073709887500]]
[328, 4, [1, -82, -10086, -1929788, -435167194, -107051129724, -27797610018332]]
[332, 2, [1, -166, -13778, -2287148, -474583210, -110293138004, -27462991362996]]
[333, 3, [1, -111, -12321, -2279385, -506023470, -123570931374, -32004871225866]]
[336, 8, [1, -42, -6174, -1296540, -313114410, -81534992364, -22259052915372]]
[338, 13, [1, -26, -4056, -878800, -217063600, -57565266720, -15964767303680]]
[340, 2, [1, -170, -14450, -2456500, -522006250, -124237487500, -31680559312500]]
[342, 3, [1, -114, -12996, -2469240, -562986720, -141197069376, -37558420454016]]
[343, 49, [1, -7, -1176, -266168, -68005924, -18565617252, -5285012377736]]
[344, 4, [1, -86, -11094, -2226196, -526495354, -135835801332, -36992616562748]]
[348, 2, [1, -174, -15138, -2634012, -572897610, -139557857796, -36424600884756]]
[350, 5, [1, -70, -9800, -2058000, -504210000, -134119860000, -37553560800000]]
[351, 9, [1, -39, -6084, -1344564, -340846974, -93051223902, -26612650035972]]
[352, 16, [1, -22, -3630, -825220, -213319370, -59132129364, -17128606805772]]
[356, 2, [1, -178, -15842, -2819876, -627422410, -156353664572, -41746428440724]]
[360, 12, [1, -30, -4950, -1138500, -298856250, -84277462500, -24861851437500]]
[361, 19, [1, -19, -3249, -761349, -202518834, -57717867690, -17180685282390]]
[363, 11, [1, -33, -5445, -1257795, -332057880, -94238026344, -27988693824168]]
[364, 2, [1, -182, -16562, -3014284, -685749610, -174729000628, -47701017171444]]
[368, 8, [1, -46, -7406, -1703380, -450544010, -128495151652, -38420050343948]]
[369, 3, [1, -123, -15129, -3101445, -762955470, -206455750182, -59252800302234]]
[372, 2, [1, -186, -17298, -3217428, -748052010, -194792743404, -54347175409716]]
[375, 25, [1, -15, -2700, -661500, -183566250, -54519176250, -16900944637500]]
[376, 4, [1, -94, -13254, -2907044, -751470874, -211914786468, -63079968105308]]
[378, 9, [1, -42, -7056, -1679328, -458456544, -134786223936, -41514156972288]]
[380, 2, [1, -190, -18050, -3429500, -814506250, -216658662500, -61747718812500]]
[384, 64, [1, -6, -1134, -288036, -82522314, -25251828084, -8055333158796]]
[387, 3, [1, -129, -16641, -3577815, -923076270, -261969045426, -78852682673226]]
[388, 2, [1, -194, -18818, -3650692, -885292810, -240445527196, -69969648414036]]
[392, 28, [1, -14, -2646, -679140, -197290170, -61317784836, -19887401548476]]
[396, 6, [1, -66, -10890, -2635380, -739224090, -224428433724, -71592670357956]]
[400, 40, [1, -10, -1950, -513500, -152766250, -48579667500, -16112256387500]]
[404, 2, [1, -202, -20402, -4121204, -1040604010, -294282814028, -89167692650484]]
[405, 27, [1, -15, -2925, -775125, -232537500, -74644537500, -25005920062500]]
[408, 4, [1, -102, -15606, -3714228, -1041840954, -318803331924, -102973476211452]]
[412, 2, [1, -206, -21218, -4370908, -1125508810, -324596740804, -100300392908436]]
[414, 3, [1, -138, -19044, -4380120, -1208913120, -367026023232, -118182379480704]]
[416, 16, [1, -26, -5070, -1362140, -416133770, -136325423052, -46668736491468]]
[420, 2, [1, -210, -22050, -4630500, -1215506250, -357358837500, -112568033812500]]
[423, 3, [1, -141, -19881, -4672035, -1317513870, -408692802474, -134459932013946]]
[424, 4, [1, -106, -16854, -4168556, -1215134074, -386412635532, -129705841326908]]
[425, 5, [1, -85, -14450, -3684750, -1096213125, -354076839375, -120386125387500]]
[428, 2, [1, -214, -22898, -4900172, -1310796010, -392714484596, -126061349555316]]
[432, 72, [1, -6, -1278, -365508, -117876330, -40596608052, -14574182290668]]
[436, 2, [1, -218, -23762, -5180116, -1411581610, -430814707372, -140876409310644]]
[440, 4, [1, -110, -18150, -4658500, -1409196250, -465034762500, -161987108937500]]
[441, 21, [1, -21, -4410, -1265670, -411975585, -143614688931, -52275746770884]]
[444, 2, [1, -222, -24642, -5470524, -1518070410, -471816283428, -157114822381524]]
[448, 32, [1, -14, -3038, -893172, -296979690, -105605977764, -39179817750444]]
[450, 15, [1, -30, -6300, -1827000, -602910000, -213430140000, -78969151800000]]
[452, 2, [1, -226, -25538, -5771588, -1630473610, -515881850204, -174883947219156]]
[456, 4, [1, -114, -19494, -5185404, -1625624154, -555963460668, -200702809301148]]
[459, 9, [1, -51, -10404, -3006756, -996739614, -355836042198, -133082679782052]]
[460, 2, [1, -230, -26450, -6083500, -1749006250, -563180012500, -194297104312500]]
[464, 8, [1, -58, -11774, -3414460, -1138722410, -409484578636, -154375686145772]]
[468, 6, [1, -78, -15210, -4350060, -1442044890, -517405706532, -195061951362564]]
[472, 4, [1, -118, -20886, -5750612, -1866073594, -660590052276, -246840482867132]]
[475, 5, [1, -95, -18050, -5144250, -1710463125, -617477188125, -234641331487500]]
[476, 2, [1, -238, -28322, -6740636, -2005339210, -668179024772, -238539911843604]]
[477, 3, [1, -159, -25281, -6699465, -2130429870, -745224368526, -276478240723146]]
[480, 16, [1, -30, -6750, -2092500, -737606250, -278815162500, -110131989187500]]
[484, 22, [1, -22, -5082, -1602524, -572902330, -219307011924, -87649702432292]]
[486, 81, [1, -6, -1440, -463680, -168315840, -65239219584, -26356644711936]]
[488, 4, [1, -122, -22326, -6355468, -2132259514, -780406982124, -301497230760572]]
[490, 7, [1, -70, -14700, -4459000, -1560650000, -589925700000, -234003861000000]]
[492, 2, [1, -246, -30258, -7443468, -2288866410, -788285591604, -290877383301876]]
[495, 3, [1, -165, -27225, -7486875, -2470668750, -896852756250, -345288311156250]]
[496, 8, [1, -62, -13454, -4170740, -1486868810, -571552370564, -230335605337292]]
[500, 50, [1, -10, -2450, -808500, -301166250, -119864167500, -49743629512500]]
[504, 12, [1, -42, -9702, -3124044, -1148086170, -453264419916, -187198205425308]]
[507, 13, [1, -39, -9126, -2965950, -1098884475, -437136244155, -181848677568480]]
[508, 2, [1, -254, -32258, -8193532, -2601446410, -925074343396, -352453324833876]]
[512, 256, [1, -2, -510, -173740, -66629290, -27264705468, -11623852764524]]
[513, 9, [1, -57, -12996, -4197708, -1555250814, -620545074786, -259387841260548]]
[516, 2, [1, -258, -33282, -8586756, -2769228810, -1000245446172, -387094987668564]]
[520, 4, [1, -130, -25350, -7689500, -2748996250, -1072108537500, -441351347937500]]
[522, 3, [1, -174, -30276, -8780040, -3055453920, -1169627760576, -474868870793856]]
[524, 2, [1, -262, -34322, -8992364, -2944999210, -1080225710228, -424528704119604]]
[525, 5, [1, -105, -22050, -6945750, -2552563125, -1018472686875, -427758528487500]]
[528, 8, [1, -66, -15246, -5031180, -1909332810, -781298985852, -335177264930508]]
[529, 23, [1, -23, -5819, -2007555, -784954005, -328581746493, -143590223217441]]
[531, 3, [1, -177, -31329, -9242055, -3271687470, -1273995100818, -526159976637834]]
[532, 2, [1, -266, -35378, -9410548, -3129007210, -1165242285004, -464931671716596]]
[536, 4, [1, -134, -26934, -8421364, -3103272634, -1247515598868, -529362452452988]]
[539, 7, [1, -77, -17787, -5934929, -2284947665, -950081239107, -414552113997021]]
[540, 18, [1, -30, -7650, -2677500, -1064306250, -453394462500, -201760535812500]]
[544, 16, [1, -34, -8670, -3046060, -1216900970, -521320375548, -233377754786988]]
[548, 2, [1, -274, -37538, -10285412, -3522753610, -1351328284796, -555395925051156]]
[549, 3, [1, -183, -33489, -10214145, -3738377070, -1505070608382, -642665149779114]]
[550, 5, [1, -110, -24200, -7986000, -3074610000, -1285186980000, -565482271200000]]
[552, 4, [1, -138, -28566, -9198252, -3490736634, -1445164966476, -631537090350012]]
[556, 2, [1, -278, -38642, -10742476, -3733010410, -1452887651572, -605854150705524]]
[558, 3, [1, -186, -34596, -10724760, -3989610720, -1632548706624, -708526138674816]]
[560, 8, [1, -70, -17150, -6002500, -2416006250, -1048546712500, -477088754187500]]
[564, 2, [1, -282, -39762, -11212884, -3952541610, -1560463427628, -660076029886644]]
[567, 27, [1, -21, -5733, -2126943, -893316060, -401456237364, -188282975323716]]
[568, 4, [1, -142, -30246, -10021508, -3913398874, -1667107920324, -749642861505692]]
[572, 2, [1, -286, -40898, -11696828, -4181616010, -1674319050404, -718282872623316]]
[575, 5, [1, -115, -26450, -9125250, -3672913125, -1605063035625, -738328996387500]]
[576, 96, [1, -6, -1710, -653220, -281211210, -129244672116, -61908197943564]]
[578, 17, [1, -34, -9248, -3458752, -1469969600, -669718149760, -318785839285760]]
[580, 2, [1, -290, -42050, -12194500, -4420506250, -1794725537500, -780705608812500]]
[584, 4, [1, -146, -31974, -10892476, -4373329114, -1915518151932, -885607892243228]]
[585, 3, [1, -195, -38025, -12358125, -4819668750, -2067637893750, -940775241656250]]
[588, 14, [1, -42, -11466, -4334148, -1865850714, -862023029868, -416357123426244]]
[592, 8, [1, -74, -19166, -7091420, -3017399210, -1384382757548, -665888106380588]]
[594, 9, [1, -66, -17424, -6516576, -2795611104, -1291572330048, -625121007743232]]
[596, 2, [1, -298, -44402, -13231796, -4928844010, -2056313720972, -919172233274484]]
[600, 20, [1, -30, -8550, -3334500, -1475516250, -699394702500, -346200377737500]]
[603, 3, [1, -201, -40401, -13534335, -5440802670, -2405922940674, -1128377859176106]]
[604, 2, [1, -302, -45602, -13771804, -5198856010, -2198076321028, -995728573425684]]
[605, 11, [1, -55, -15125, -5823125, -2562175000, -1211908775000, -599894843625000]]
[608, 16, [1, -38, -10830, -4252580, -1898776970, -909134413236, -454870251422412]]
[612, 6, [1, -102, -26010, -9727740, -4216975290, -1978604806068, -975452169391524]]
[616, 4, [1, -154, -35574, -12782924, -5413568314, -2501068561068, -1219687768280828]]
[620, 2, [1, -310, -48050, -14895500, -5772006250, -2505050712500, -1164848581312500]]
[621, 9, [1, -69, -19044, -7446204, -3339622494, -1613037664602, -816197058288612]]
[624, 8, [1, -78, -21294, -8304660, -3724640010, -1801235908836, -913226605779852]]
[625, 125, [1, -5, -1550, -643250, -300719375, -150058968125, -78030663425000]]
[628, 2, [1, -314, -49298, -15479572, -6075732010, -2670891791596, -1257990033841716]]
[630, 3, [1, -210, -44100, -15435000, -6482700000, -2995007400000, -1467553626000000]]
[632, 4, [1, -158, -37446, -13805092, -5998312474, -2843200112676, -1422547789708892]]
[636, 2, [1, -318, -50562, -16078716, -6391289610, -2845402134372, -1357256818095444]]
[637, 7, [1, -91, -24843, -9796423, -4457372465, -2190352829301, -1129491942309549]]
[639, 3, [1, -213, -45369, -16105995, -6861153870, -3215136703482, -1597922941630554]]
[640, 64, [1, -10, -3150, -1333500, -636746250, -324740587500, -172653745687500]]
[644, 2, [1, -322, -51842, -16693124, -6718982410, -3028917270428, -1462967041616724]]
[648, 108, [1, -6, -1926, -828180, -401253210, -207528160212, -111857678354268]]
[650, 5, [1, -130, -33800, -13182000, -5997810000, -2962918140000, -1540717432800000]]
[652, 2, [1, -326, -53138, -17322988, -7059117610, -3221781277204, -1575451044552756]]
[656, 8, [1, -82, -23534, -9648940, -4549475210, -2312953196764, -1232804053875212]]
[657, 3, [1, -219, -47961, -17505765, -7667525070, -3694213578726, -1887743138728986]]
[660, 2, [1, -330, -54450, -17968500, -7412006250, -3424346887500, -1695051709312500]]
[664, 4, [1, -166, -41334, -16010036, -7308581434, -3639673554132, -1913255064955388]]
[666, 3, [1, -222, -49284, -18235080, -8096375520, -3954269803968, -2048311758455424]]
[668, 2, [1, -334, -55778, -18629852, -7777963210, -3636975596996, -1822124774094996]]
[672, 16, [1, -42, -13230, -5741820, -2833588170, -1499534859564, -829242777338892]]
[675, 45, [1, -15, -4950, -2202750, -1106881875, -594395566875, -332861517450000]]
[676, 26, [1, -26, -8450, -3734900, -1869317450, -1001206426220, -559674392256980]]
[680, 4, [1, -170, -43350, -17195500, -8038896250, -4099837087500, -2207078965437500]]
[684, 6, [1, -114, -32490, -13580820, -6579907290, -3450503382876, -1901227363964676]]
[686, 49, [1, -14, -4704, -2129344, -1088094784, -594099752064, -338240792175104]]
[688, 8, [1, -86, -25886, -11130980, -5504269610, -2934876556052, -1640595994833068]]
[692, 2, [1, -346, -59858, -20710868, -8957450410, -4338988978604, -2251935279895476]]
[693, 3, [1, -231, -53361, -20543985, -9491321070, -4823489367774, -2599860769230186]]
[696, 4, [1, -174, -45414, -18438084, -8822623194, -4605409307268, -2537580528304668]]
[700, 10, [1, -70, -22050, -9775500, -4961066250, -2708742172500, -1548497608612500]]
[702, 9, [1, -78, -24336, -10756512, -5453551584, -2977639164864, -1703209602302208]]
[704, 32, [1, -22, -7502, -3465924, -1810945290, -1011956228052, -589970480954316]]
[708, 2, [1, -354, -62658, -22180932, -9815062410, -4864344930396, -2582967158040276]]
[711, 3, [1, -237, -56169, -22186755, -10516521870, -5483314503018, -3032272920168954]]
[712, 4, [1, -178, -47526, -19739132, -9662305114, -5159670930876, -2908334514703772]]
[716, 2, [1, -358, -64082, -22941356, -10266256810, -5145447913172, -2763105529373364]]
[720, 24, [1, -30, -10350, -4864500, -2590346250, -1476497362500, -878515930687500]]
[722, 19, [1, -38, -12996, -6090792, -3240301344, -1846971766080, -1099563858072960]]
[724, 2, [1, -362, -65522, -23718964, -10732831210, -5439398857228, -2953593579474804]]
[725, 5, [1, -145, -42050, -18291750, -9283063125, -5114967781875, -2966681313487500]]
[726, 11, [1, -66, -21780, -10062360, -5312926080, -3015616843008, -1791276404746752]]
[728, 4, [1, -182, -49686, -21099988, -10560543994, -5766057020724, -3323170862943932]]
[729, 243, [1, -3, -1089, -528165, -288378090, -168009075234, -101981508667038]]
[732, 2, [1, -366, -66978, -24513948, -11215131210, -5746633232004, -3154901644370196]]
[735, 7, [1, -105, -33075, -15049125, -7900790625, -4479748284375, -2665450229203125]]
[736, 16, [1, -46, -15870, -7543540, -4077283370, -2363193441252, -1431307494251628]]
[738, 3, [1, -246, -60516, -24811560, -12207287520, -6606584005824, -3792179219342976]]
[740, 2, [1, -370, -68450, -25326500, -11713506250, -6067596237500, -3367515911812500]]
[744, 4, [1, -186, -51894, -22521996, -11520000954, -6428160532332, -3786186553543548]]
[747, 3, [1, -249, -62001, -25730415, -12813746670, -7019370425826, -4078254217404906]]
[748, 2, [1, -374, -69938, -26156812, -12228309610, -6402742911796, -3591938773517556]]
[750, 25, [1, -30, -10800, -5292000, -2937060000, -1744613640000, -1081660456800000]]
[752, 8, [1, -94, -30926, -14535220, -7856286410, -4578643719748, -2797551312766028]]
[756, 18, [1, -42, -14994, -7347060, -4088638890, -2438464233996, -1519163217779508]]
[760, 4, [1, -190, -54150, -24006500, -12543396250, -7149735862500, -4301757743937500]]
[764, 2, [1, -382, -72962, -27871484, -13308633610, -7117457254628, -4078303006901844]]
[765, 3, [1, -255, -65025, -27635625, -14094168750, -7906828668750, -4704563057906250]]
[768, 128, [1, -6, -2286, -1165860, -669786570, -410713124724, -262445686698636]]
[772, 2, [1, -386, -74498, -28756228, -13874880010, -7497985157404, -4341333406136916]]
[774, 3, [1, -258, -66564, -28622520, -14769220320, -8383009453632, -5046571691086464]]
[775, 5, [1, -155, -48050, -22343250, -12121213125, -7139394530625, -4426424608987500]]
[776, 4, [1, -194, -56454, -25554844, -13633509274, -7934702397468, -4874552172844508]]
[780, 2, [1, -390, -76050, -29659500, -14459006250, -7894617412500, -4618351186312500]]
[783, 9, [1, -87, -30276, -14926068, -8440691454, -5140381095486, -3279563138920068]]
[784, 56, [1, -14, -5390, -2792020, -1631935690, -1018980644836, -663356399788236]]
[788, 2, [1, -394, -77618, -30581492, -15061384810, -8307859861196, -4909945177966836]]
[792, 12, [1, -66, -23958, -12122748, -7000886970, -4343350276188, -2818834329246012]]
[796, 2, [1, -398, -79202, -31522396, -15682392010, -8738228827972, -5216722610299284]]
[800, 80, [1, -10, -3950, -2093500, -1250866250, -798052667500, -530705023887500]]
[801, 3, [1, -267, -71289, -31723605, -16940405070, -9950793938118, -6199344623447514]]
[804, 2, [1, -402, -80802, -32482404, -16322408010, -9186251228028, -5539309490500884]]
[808, 4, [1, -202, -61206, -28848428, -16025301754, -9711332862924, -6212015921317052]]
[810, 27, [1, -30, -11700, -6201000, -3720600000, -2388625200000, -1600378884000000]]
[812, 2, [1, -406, -82418, -33461708, -16981816810, -9652464674804, -5878350986955636]]
[816, 8, [1, -102, -36414, -18571140, -10891973610, -6888084110964, -4566799765569132]]
[819, 3, [1, -273, -74529, -33910695, -18515239470, -11120252825682, -7083601049959434]]
[820, 2, [1, -410, -84050, -34460500, -17661006250, -10137417587500, -6234511816312500]]
[824, 4, [1, -206, -63654, -30596356, -17332835674, -10711692446532, -6987594039287708]]
[825, 5, [1, -165, -54450, -26952750, -15565213125, -9759388629375, -6441196495387500]]
[828, 6, [1, -138, -47610, -24090660, -14129172090, -8969198442732, -5982455361302244]]
[832, 32, [1, -26, -10478, -5720988, -3532710090, -2333001743436, -1607438201227404]]
[833, 7, [1, -119, -42483, -21907067, -13034704865, -8376101346249, -5648284341153909]]
[836, 2, [1, -418, -87362, -36517316, -19080297610, -11165790161372, -7000950431180244]]
[837, 9, [1, -93, -34596, -18232092, -11021299614, -7174866048714, -4893258645222948]]
[840, 4, [1, -210, -66150, -32413500, -18718796250, -11792841637500, -7842239688937500]]
[841, 29, [1, -29, -11774, -6487474, -4044940039, -2697975006013, -1877790604185048]]
[844, 2, [1, -422, -89042, -37575724, -19821194410, -11710361657428, -7412658929151924]]
[845, 13, [1, -65, -25350, -13731250, -8479046875, -5621608078125, -3897648267500000]]
[846, 3, [1, -282, -79524, -37376280, -21080221920, -13078169679168, -8605435648892544]]
[847, 11, [1, -77, -29645, -15978655, -9842851480, -6517936250056, -4516929821288808]]
[848, 8, [1, -106, -39326, -20842780, -12703674410, -8348854822252, -5752360972531628]]
[850, 5, [1, -170, -57800, -29478000, -17539410000, -11330458860000, -7704712024800000]]
[852, 2, [1, -426, -90738, -38654388, -20583461610, -12275976504204, -7844348986186356]]
[855, 3, [1, -285, -81225, -38581875, -21991668750, -13788776306250, -9169536243656250]]
[856, 4, [1, -214, -68694, -34301204, -20186258554, -12959577991668, -8782274019020348]]
[860, 2, [1, -430, -92450, -39753500, -21367506250, -12863238762500, -8296789001812500]]
[864, 144, [1, -6, -2574, -1477476, -955188234, -659079881460, -473878434769740]]
[867, 17, [1, -51, -20808, -11673288, -7441721100, -5085672199740, -3631169950614360]]
[868, 2, [1, -434, -94178, -40873252, -22173739210, -13472763943996, -8770769327541396]]
[872, 4, [1, -218, -71286, -36260812, -21738356794, -14216885343276, -9814389848641532]]
[873, 3, [1, -291, -84681, -41070285, -23902905870, -15302640337974, -10390492789484346]]
[875, 25, [1, -35, -14700, -8403500, -5441266250, -3770797511250, -2727543533137500]]
[876, 2, [1, -438, -95922, -42013836, -23002575210, -14105179118772, -9267102681033204]]
[880, 8, [1, -110, -42350, -23292500, -14732506250, -10047569262500, -7184012022687500]]
[882, 21, [1, -42, -17640, -10125360, -6591609360, -4595670045792, -3345647793336576]]
[884, 2, [1, -442, -97682, -43175444, -23854432810, -14761123022828, -9786624564134964]]
[888, 4, [1, -222, -73926, -38293668, -23378284314, -15569937353124, -10945665959246172]]
[891, 27, [1, -33, -14157, -8253531, -5447330460, -3846904770852, -2835168816117924]]
[892, 2, [1, -446, -99458, -44358268, -24729734410, -15441246165604, -10330193684789076]]
[896, 64, [1, -14, -6174, -3659124, -2446124394, -1746532817316, -1300002593688876]]
[900, 30, [1, -30, -13050, -7699500, -5139416250, -3669543202500, -2733809685862500]]
[904, 4, [1, -226, -76614, -40401116, -25109293594, -17024101056732, -12183581656267868]]
[908, 2, [1, -454, -103058, -46788332, -26552378410, -16876691717396, -11493027059546676]]
[909, 3, [1, -303, -91809, -46363545, -28096308270, -18728999092782, -13241402358596874]]
[912, 8, [1, -114, -45486, -25927020, -16995161610, -12012180225948, -8901025547427468]]
[916, 2, [1, -458, -104882, -48035956, -27500584810, -17633374980172, -12114128611378164]]
[918, 9, [1, -102, -41616, -24054048, -15947833824, -11386753350336, -8517291506051328]]
[920, 4, [1, -230, -79350, -42584500, -26934696250, -18584940412500, -13536031600437500]]
[924, 2, [1, -462, -106722, -49305564, -28473963210, -18416959404228, -12762952867130004]]
[925, 5, [1, -185, -68450, -37989750, -24598363125, -17292649276875, -12796560464887500]]
[927, 3, [1, -309, -95481, -49172715, -30388737870, -20658264004026, -14894608346902746]]
[928, 16, [1, -58, -25230, -15121180, -10305084170, -7530955511436, -5751139692233292]]
[931, 7, [1, -133, -53067, -30584281, -20338546865, -14607144358443, -11008917798146541]]
[932, 2, [1, -466, -108578, -50597348, -29472955210, -19228155979004, -13440481029323796]]
[936, 12, [1, -78, -33462, -20010276, -13657013370, -10013322202884, -7680218129612028]]
[940, 2, [1, -470, -110450, -51911500, -30498006250, -20067688112500, -14147720119312500]]
[944, 8, [1, -118, -48734, -28753060, -19508951210, -14272748705236, -10947198256916012]]
[945, 9, [1, -105, -44100, -26239500, -17908458750, -13162717181250, -10135292229562500]]
[948, 2, [1, -474, -112338, -53248212, -31549565610, -20936291738796, -14885703426283956]]
[950, 5, [1, -190, -72200, -41154000, -27367410000, -19759270020000, -15017045215200000]]
[952, 4, [1, -238, -84966, -47184452, -30882223834, -22049907817476, -16618280525104412]]
[954, 3, [1, -318, -101124, -53595720, -34086877920, -23847179792832, -17694607406281344]]
[956, 2, [1, -478, -114242, -54607676, -32628086410, -21834715425572, -15655490960135124]]
[960, 32, [1, -30, -13950, -8788500, -6261806250, -4771496362500, -3793339608187500]]
[961, 31, [1, -31, -14415, -9086255, -6478499815, -4940503958919, -3930994316646551]]
[963, 3, [1, -321, -103041, -55126935, -35391492270, -24993471841074, -18720110408964426]]
[964, 2, [1, -482, -116162, -55990084, -33734025610, -22763720481628, -16458169908217044]]
[968, 44, [1, -22, -10406, -6639028, -4783419674, -3683233148980, -2957636218630940]]
[972, 162, [1, -6, -2898, -1872108, -1361958570, -1057424633748, -855456528702132]]
[975, 5, [1, -195, -76050, -44489250, -30363913125, -22499659625625, -17549734507987500]]
[976, 8, [1, -122, -52094, -31777340, -22291804010, -16861520553164, -13371185798659052]]
[980, 14, [1, -70, -31850, -20065500, -14396996250, -11085687112500, -8923978125562500]]
[981, 3, [1, -327, -106929, -58276305, -38112703470, -27418278876318, -20920146782630634]]
[984, 4, [1, -246, -90774, -52104276, -35248542714, -26013424522932, -20264457703364028]]
[988, 2, [1, -494, -122018, -60276892, -37220980810, -25742030328196, -19074844473193236]]
[990, 3, [1, -330, -108900, -59895000, -39530700000, -28699288200000, -22098451914000000]]
[992, 16, [1, -62, -28830, -18470420, -13455700970, -10511593597764, -8580964240308012]]
[996, 2, [1, -498, -124002, -61752996, -38441240010, -26801232534972, -20020520703624084]]
[999, 9, [1, -111, -49284, -30999636, -22366237374, -17378566439598, -14146153081832772]]
[1000, 100, [1, -10, -4950, -3283500, -2454416250, -1958624167500, -1628922432637500]]
[1004, 2, [1, -502, -126002, -63253004, -39691260010, -27895017535028, -21004948203876084]]
[1008, 24, [1, -42, -20286, -13348188, -9951074154, -7940957174892, -6614817326685036]]
[1012, 2, [1, -506, -128018, -64777108, -40971520810, -29024225341804, -22029387034429236]]
[1014, 13, [1, -78, -36504, -23727600, -17582151600, -13988359812960, -11638315364382720]]
[1016, 4, [1, -254, -96774, -57354724, -40062274714, -30527453332068, -24554248296760028]]
[1017, 3, [1, -339, -114921, -64930365, -44022787470, -32832194895126, -25970266162044666]]
[1020, 2, [1, -510, -130050, -66325500, -42282506250, -30189709462500, -23095127738812500]]
[1024, 512, [1, -2, -1022, -697004, -534950570, -438017526716, -373628950288748]]
[1025, 5, [1, -205, -84050, -51690750, -37088113125, -28891640124375, -23691144901987500]]
[1026, 9, [1, -114, -51984, -33581664, -24884013024, -19857442393152, -16600821840675072]]
[1028, 2, [1, -514, -132098, -67898372, -43624704010, -31392337005596, -24203491831314516]]
[1029, 49, [1, -21, -10584, -7186536, -5508479844, -4511444992236, -3852774023369544]]
[1032, 4, [1, -258, -99846, -60107292, -42646123674, -33008099723676, -26967617474243292]]
[1035, 3, [1, -345, -119025, -68439375, -47223168750, -35842385081250, -28853119990406250]]
[1036, 2, [1, -518, -134162, -69495916, -44998605610, -32632988788372, -25355832288565044]]
[1040, 8, [1, -130, -59150, -38447500, -28739506250, -23164042037500, -19573615521687500]]
[1044, 6, [1, -174, -75690, -48290220, -35710617690, -28582778399076, -24038116633622916]]
[1048, 4, [1, -262, -102966, -62946548, -45352987834, -35647448437524, -29575499720332412]]
[1050, 5, [1, -210, -88200, -55566000, -40841010000, -32591125980000, -27376545823200000]]
[1052, 2, [1, -526, -138338, -72765788, -47843505610, -35231957531204, -27798014492119956]]
[1053, 27, [1, -39, -19773, -13623597, -10626405660, -8868798163836, -7724723200701156]]
[1056, 16, [1, -66, -32670, -22280940, -17278868970, -14369107435452, -12486754361407788]]
[1058, 23, [1, -46, -23276, -16060440, -12559264080, -10514615887776, -9189774285916224]]
[1060, 2, [1, -530, -140450, -74438500, -49315506250, -36592105637500, -29090723981812500]]
[1062, 3, [1, -354, -125316, -73936440, -52346999520, -40767843226176, -33674238504821376]]
[1064, 4, [1, -266, -106134, -65873836, -48186711034, -38452995405132, -32390239796256188]]
[1068, 2, [1, -534, -142578, -76136652, -50821215210, -37993940490996, -30433146333287796]]
[1071, 3, [1, -357, -127449, -75832155, -54144158670, -42524822219418, -35423176908775194]]
[1072, 8, [1, -134, -62846, -42106820, -32443304810, -26953897636148, -23476844841084908]]
[1075, 5, [1, -215, -92450, -59630250, -44871763125, -36660230473125, -31527798206887500]]
[1076, 2, [1, -538, -144722, -77860436, -52361143210, -39438413065772, -31826799344078004]]
[1078, 7, [1, -154, -71148, -47479432, -36559162640, -30402599651424, -26531335295809344]]
[1080, 36, [1, -30, -15750, -11182500, -8973956250, -7699654462500, -6891190743937500]]
[1083, 19, [1, -57, -29241, -20556423, -16404025554, -14025441848670, -12524719570862310]]
[1084, 2, [1, -542, -146882, -79610044, -53935804810, -40926488689828, -33273235304830164]]
[1088, 32, [1, -34, -17918, -12793452, -10330712490, -8921603306364, -8038364579033964]]
[1089, 33, [1, -33, -17424, -12458160, -10072422360, -8708616372456, -7855171967955312]]
[1092, 2, [1, -546, -149058, -81385668, -55545718410, -42459147152604, -34774041517982676]]
[1096, 4, [1, -274, -112614, -71997884, -54250405594, -44593833398268, -38692582778563868]]
[1098, 3, [1, -366, -133956, -81713160, -59814033120, -48162259468224, -41130569585863296]]
[1100, 10, [1, -110, -54450, -37933500, -30251966250, -25956187042500, -23317308026512500]]
[1104, 8, [1, -138, -66654, -45991260, -36494064810, -31224321851436, -28008216700738092]]
[1107, 9, [1, -123, -60516, -42179652, -33722631774, -29035185957414, -26189737733587428]]
[1108, 2, [1, -554, -153458, -85015732, -58873394410, -45662204704396, -37945292109353076]]
[1112, 4, [1, -278, -115926, -75197332, -57488360314, -47945292501876, -42207839165818172]]
[1116, 6, [1, -186, -86490, -58986180, -46628575290, -39895409018124, -35865972707293476]]
[1120, 16, [1, -70, -36750, -26582500, -21864106250, -19284141712500, -17773550611687500]]
[1124, 2, [1, -562, -157922, -88752164, -62348395210, -49055717351228, -41353969727085204]]
[1125, 75, [1, -15, -8325, -6202125, -5209785000, -4673177145000, -4369420630575000]]
[1127, 7, [1, -161, -77763, -54252653, -43673385665, -37969641497151, -34640969592567429]]
[1128, 4, [1, -282, -119286, -78490188, -60869140794, -51495293111724, -45985296748769532]]
[1132, 2, [1, -566, -160178, -90660748, -64142479210, -50826500526004, -43151698946577396]]
[1134, 27, [1, -42, -22932, -17015544, -14293056960, -12846599595648, -12050110420717824]]
[1136, 8, [1, -142, -70574, -50107540, -40912806410, -36019634763364, -33246122886584972]]
[1140, 2, [1, -570, -162450, -92596500, -65975006250, -52648054987500, -45014087014312500]]
[1143, 3, [1, -381, -145161, -92177235, -70239053070, -58874374283274, -52339318737830586]]
[1144, 4, [1, -286, -122694, -81877796, -64396886554, -55252528663332, -50040373459424348]]
[1148, 2, [1, -574, -164738, -94559612, -67846521610, -54521464765796, -46942981163350356]]
[1150, 5, [1, -230, -105800, -73002000, -58766610000, -51362017140000, -47253055768800000]]
[1152, 192, [1, -6, -3438, -2633508, -2271400650, -2090597158260, -2004882674771340]]
[1156, 34, [1, -34, -19074, -14483524, -12434105354, -11414508714972, -10931294512704852]]
[1160, 4, [1, -290, -126150, -85361500, -68075796250, -59225942737500, -54389157413937500]]
[1161, 9, [1, -129, -66564, -48658284, -40799971134, -36842373934002, -34852885741565892]]
[1164, 2, [1, -582, -169362, -98568684, -71708717610, -58428263108628, -51007873693832244]]
[1168, 8, [1, -146, -74606, -54462380, -45721168010, -41386801282652, -39276074417236748]]
[1170, 3, [1, -390, -152100, -98865000, -77114700000, -66164412600000, -60209615466000000]]
[1172, 2, [1, -586, -171698, -100615028, -73700508010, -60463896771404, -53147765262064116]]
[1175, 5, [1, -235, -110450, -77867250, -64045813125, -57192911120625, -53761336453387500]]
[1176, 28, [1, -42, -23814, -18336780, -15980503770, -14900221715148, -14497915728839004]]
[1179, 3, [1, -393, -154449, -101164095, -79514978670, -68748650558082, -63042512561761194]]
[1180, 2, [1, -590, -174050, -102689500, -75733506250, -62555876162500, -55361950403812500]]
[1183, 13, [1, -91, -49686, -37678550, -32573106475, -30234357430095, -29347482945478880]]
[1184, 16, [1, -74, -41070, -31404860, -27306525770, -25460604627948, -24807115775830668]]
[1188, 18, [1, -66, -37026, -28510020, -24932012490, -23366282105628, -22875590181409812]]
[1192, 4, [1, -298, -133206, -92622572, -75904197754, -67858352792076, -64035665584789052]]
[1196, 2, [1, -598, -178802, -106923596, -79925388010, -66913534841972, -60021440753248884]]
[1197, 3, [1, -399, -159201, -105868665, -84483194670, -74159348281326, -69042353249914506]]
[1200, 40, [1, -30, -17550, -13864500, -12374066250, -11804859202500, -11745834906487500]]
[1204, 2, [1, -602, -181202, -109083604, -82085412010, -69181585242028, -62470971473551284]]
[1206, 3, [1, -402, -161604, -108274680, -87052842720, -76989534101568, -72216182987270784]]
[1208, 4, [1, -302, -136806, -96402628, -80062382554, -72536518593924, -69369090615322652]]
[1210, 11, [1, -110, -60500, -46585000, -40994800000, -38781080800000, -38393269992000000]]
[1212, 2, [1, -606, -183618, -111272508, -84288924810, -71510723808804, -65003247942202836]]
[1215, 81, [1, -15, -9000, -7245000, -6574837500, -6371017537500, -6434727712875000]]
[1216, 32, [1, -38, -22382, -17860836, -16119404490, -15558449213748, -15667358358244236]]
[1220, 2, [1, -610, -186050, -113490500, -86536506250, -73902176337500, -67620491348812500]]
[1224, 12, [1, -102, -57222, -44747604, -39937236570, -38291822423316, -38406697890585948]]
[1225, 35, [1, -35, -20825, -16764125, -15255353750, -14843459198750, -15066111086731250]]
[1228, 2, [1, -614, -188498, -115737772, -88828740010, -76357184912596, -70324967304500916]]
[1232, 8, [1, -154, -83006, -63914620, -56596396010, -54038238910348, -54092277149258348]]
[1233, 3, [1, -411, -168921, -115710885, -95114347470, -86002392982374, -82476294870096666]]
[1236, 2, [1, -618, -190962, -118014516, -91166213610, -78877008015372, -73118986430249844]]
[1240, 4, [1, -310, -144150, -104268500, -88888896250, -82666673512500, -81151117831437500]]
[1242, 9, [1, -138, -76176, -59569632, -53433959904, -51617205267264, -52236611730471168]]
[1244, 2, [1, -622, -193442, -120320924, -93549518410, -81462920631428, -76004904949122324]]
[1248, 16, [1, -78, -45630, -36777780, -33706835370, -33127077801636, -34021508902280172]]
[1250, 125, [1, -10, -6200, -5146000, -4811510000, -4801886980000, -4993962459200000]]
[1251, 3, [1, -417, -173889, -120852855, -100791281070, -92465921253618, -89969341379770314]]
[1252, 2, [1, -626, -195938, -122657188, -95979249610, -84116214358204, -78985125282353556]]
[1256, 4, [1, -314, -147894, -108357004, -93566272954, -88139429122668, -87639972357639548]]
[1260, 6, [1, -210, -110250, -84892500, -75766556250, -73190493337500, -74288350737562500]]
[1264, 8, [1, -158, -87374, -69025460, -62709630410, -61430353949636, -63088973506276172]]
[1268, 2, [1, -634, -200978, -127420052, -100980391210, -89630195237996, -85238315671334196]]
[1269, 9, [1, -141, -79524, -63539676, -58234113054, -57477069584298, -59431289950164132]]
[1272, 4, [1, -318, -151686, -112551012, -98425859994, -93898270434276, -94555558327315932]]
[1274, 7, [1, -182, -99372, -78371384, -71317959440, -70091290537632, -72287484307811136]]
[1275, 5, [1, -255, -130050, -99488250, -88793263125, -86040671968125, -87761485407487500]]
[1276, 2, [1, -638, -203522, -129847036, -103553011210, -92493549612772, -88516326979422804]]
[1278, 3, [1, -426, -181476, -128847960, -109778461920, -102884374511424, -102267068264355456]]
[1280, 128, [1, -10, -6350, -5397500, -5168106250, -5281804587500, -5625121885687500]]
[1284, 2, [1, -642, -206082, -132304644, -106174476810, -95429619756828, -91898723825825364]]
[1287, 3, [1, -429, -184041, -131589315, -112903632270, -106558448136426, -106665006584562426]]
[1288, 4, [1, -322, -155526, -116851868, -103472329114, -99954269924124, -101920037232631772]]
[1292, 2, [1, -646, -208658, -134793068, -108845402410, -98439781939604, -95388148699476276]]
[1296, 216, [1, -6, -3870, -3335940, -3237529770, -3352785829812, -3617655910367148]]
[1300, 10, [1, -130, -76050, -62614500, -59014166250, -59840364577500, -63530520393112500]]
[1304, 4, [1, -326, -159414, -121260916, -108710411194, -106318782147732, -109756422770508668]]
[1305, 3, [1, -435, -189225, -137188125, -119353668750, -114221460993750, -115934782908656250]]
[1308, 2, [1, -654, -213858, -139863132, -114338110410, -104687973891396, -102698902387459476]]
[1312, 16, [1, -82, -50430, -42731020, -41171337770, -42538226183964, -45927104869953132]]
[1314, 3, [1, -438, -191844, -140046120, -122680401120, -118214834519232, -120815560878655104]]
[1316, 2, [1, -658, -216482, -142445156, -117161140810, -107928842914172, -106525767956287764]]
[1320, 4, [1, -330, -163350, -125779500, -114144896250, -113003447287500, -118088602415437500]]
[1323, 63, [1, -21, -13671, -11962125, -11806617375, -12446536036725, -13678743104360775]]
[1324, 2, [1, -662, -219122, -145058764, -120036127210, -111249482698228, -110470736319340404]]
[1325, 5, [1, -265, -140450, -111657750, -103562563125, -104287501066875, -110544751130887500]]
[1328, 8, [1, -166, -96446, -80050180, -76407896810, -78639007396852, -84851488981203308]]
[1331, 121, [1, -11, -7260, -6415420, -6386550610, -6786348678186, -7514750102977964]]
[1332, 6, [1, -222, -123210, -100292940, -94626388890, -96632468334468, -103686638522884164]]
[1336, 4, [1, -334, -167334, -130408964, -119780633434, -120020194700868, -126941359261951388]]
[1340, 2, [1, -670, -224450, -150381500, -125944506250, -118135946862500, -118726626596812500]]
[1341, 3, [1, -447, -199809, -148857705, -133078788270, -130869680384718, -136497076641260874]]
[1344, 32, [1, -42, -27342, -24115644, -24055354890, -25662252596652, -28562087140073676]]
[1348, 2, [1, -674, -227138, -153091012, -128979177610, -121704751992796, -123043504264716756]]
[1350, 45, [1, -30, -19800, -17622000, -17710110000, -19020658140000, -21303137116800000]]
[1352, 52, [1, -26, -17238, -15387788, -15503196410, -16687640615724, -18729095317714236]]
[1356, 2, [1, -678, -229842, -155832876, -132068362410, -125359289599572, -127490397522764724]]
[1359, 3, [1, -453, -205209, -154932795, -140369112270, -139891857288282, -147865693153714074]]
[1360, 8, [1, -170, -101150, -85977500, -84043006250, -88581328587500, -97882368089187500]]
[1364, 2, [1, -682, -232562, -158607284, -135212709610, -129101095135628, -132070420323747444]]
[1368, 12, [1, -114, -71478, -62471772, -62315592570, -66777388998012, -74857453066771452]]
[1369, 37, [1, -37, -24642, -22186014, -22574269245, -24556290084711, -27863203816118748]]
[1372, 98, [1, -14, -9506, -8650460, -8871046730, -9712021960004, -11081417056364564]]
[1375, 25, [1, -55, -36300, -32609500, -33180166250, -36133201046250, -41071405189237500]]
[1376, 16, [1, -86, -55470, -49294340, -49811930570, -53976207965652, -61119059486439948]]
[1377, 27, [1, -51, -33813, -30465513, -31074823260, -33915062105964, -38629255738692996]]
[1380, 2, [1, -690, -238050, -164254500, -141669506250, -136852743037500, -141642589043812500]]
[1384, 4, [1, -346, -179574, -144976076, -137944736314, -143186636293932, -156884824499384828]]
[1386, 3, [1, -462, -213444, -164351880, -151861137120, -154351659768768, -166391089230731904]]
[1388, 2, [1, -694, -240818, -167127692, -144983272810, -140865747862196, -146641243524546036]]
[1392, 8, [1, -174, -105966, -92190420, -92236515210, -99504752608548, -112539875200267788]]
[1395, 3, [1, -465, -216225, -167574375, -155844168750, -159428584631250, -172980014324906250]]
[1396, 2, [1, -698, -243602, -170034196, -148354836010, -144972345748972, -151786045999173684]]
[1400, 20, [1, -70, -46550, -42360500, -43737216250, -48373361172500, -55871232154237500]]
[1404, 18, [1, -78, -51714, -47059740, -48636241290, -53869500852804, -62327012486694228]]
[1408, 64, [1, -22, -15246, -14199108, -14916162954, -16735934834388, -19575465111289164]]
[1412, 2, [1, -706, -249218, -175947908, -155274028810, -153472850075804, -162527748230276436]]
[1413, 3, [1, -471, -221841, -174145185, -164044764270, -169983184736574, -186811520025494826]]
[1416, 4, [1, -354, -187974, -155266524, -151151961114, -160523382703068, -179946712010139228]]
[1420, 2, [1, -710, -252050, -178955500, -158823006250, -157870068212500, -168131622646312500]]
[1421, 7, [1, -203, -123627, -108750551, -110381809265, -121000539316293, -139190953726842381]]
[1422, 3, [1, -474, -224676, -177494040, -168264349920, -175466064096576, -194065466890813056]]
[1424, 8, [1, -178, -110894, -98695660, -101015008010, -111480162839836, -128982548405690252]]
[1425, 5, [1, -285, -162450, -138894750, -138547513125, -150046956714375, -171053530654387500]]
[1428, 2, [1, -714, -254898, -181997172, -162432476010, -162367503019596, -173895595733987316]]
[1431, 9, [1, -159, -101124, -91112724, -94165000254, -104805645282702, -122203382399630532]]
[1432, 4, [1, -358, -192246, -160589492, -158100354874, -169799781134676, -192496351879677692]]
[1436, 2, [1, -718, -257762, -185073116, -166103121610, -166966857842372, -179823305896234644]]
[1440, 48, [1, -30, -21150, -20092500, -21549206250, -24695390362500, -29510991483187500]]
[1444, 38, [1, -38, -26714, -25378300, -27243605050, -31264761155380, -37423919102989860]]
[1445, 17, [1, -85, -57800, -54043000, -57420687500, -65402163062500, -77828574044375000]]
[1448, 4, [1, -362, -196566, -166032748, -165285600634, -179500162288524, -205767019370078012]]
[1449, 3, [1, -483, -233289, -187797645, -181412525070, -192768949139382, -217250605680083514]]
[1450, 5, [1, -290, -168200, -146334000, -148529010000, -163678969020000, -189867604063200000]]
[1452, 22, [1, -66, -45738, -43268148, -46405088730, -53291603897532, -63896633073140868]]
[1456, 8, [1, -182, -115934, -105499940, -110405687210, -124581777447764, -147380242720704812]]
[1458, 243, [1, -6, -4356, -4225320, -4614049440, -5376290407488, -6526816554690432]]
[1460, 2, [1, -730, -266450, -194508500, -177489006250, -181393764387500, -198626172004312500]]
[1464, 4, [1, -366, -200934, -171597636, -172713020634, -189638896656132, -219791481224456988]]
[1467, 3, [1, -489, -239121, -194883615, -190596175470, -205043365570626, -233954480116084266]]
[1468, 2, [1, -734, -269378, -197723452, -181411267210, -186418218184996, -205246458221680596]]
[1470, 7, [1, -210, -132300, -120393000, -126412650000, -143351945100000, -170588814669000000]]
[1472, 32, [1, -46, -32798, -31682868, -34613533290, -40442452296036, -49299349348867884]]
[1475, 5, [1, -295, -174050, -154034250, -159040363125, -178284247063125, -210375411534487500]]
[1476, 6, [1, -246, -151290, -136463580, -142672672890, -161448396642324, -191962143607723236]]
[1480, 4, [1, -370, -205350, -177285500, -180387996250, -200230675837500, -234603608522937500]]
[1484, 2, [1, -742, -275282, -204259244, -189450448810, -196801126223828, -219039653487120564]]
[1485, 9, [1, -165, -108900, -101821500, -109203558750, -126130110356250, -152617433531062500]]
[1488, 8, [1, -186, -121086, -112609980, -120436373610, -138887226047052, -167914656290885868]]
[1492, 2, [1, -746, -278258, -207580468, -193568786410, -202163240526604, -226220666149269876]]
[1494, 3, [1, -498, -248004, -205843320, -205019946720, -224619853626432, -261008269913913984]]
[1496, 4, [1, -374, -209814, -183097684, -188315967994, -211290516089268, -250238401221723068]]
[1500, 50, [1, -30, -22050, -21829500, -24394466250, -29126992702500, -36263105914612500]]
[1503, 3, [1, -501, -251001, -209585835, -210005006670, -231467518351674, -270585528953106906]]
[1504, 16, [1, -94, -66270, -64370260, -71096952170, -84207230150148, -104220481849166508]]
[1508, 2, [1, -754, -284258, -214330532, -202006526410, -213238089278396, -241172278973865876]]
[1512, 36, [1, -42, -30870, -30684780, -34474350330, -41410589616396, -51887468789344188]]
[1516, 2, [1, -758, -287282, -217759756, -206327368810, -218954603781172, -248951384499192564]]
[1519, 7, [1, -217, -141267, -132838069, -144129304865, -168890719440807, -207679288005712341]]
[1520, 8, [1, -190, -126350, -120032500, -131135506250, -154477626362500, -190779868557687500]]
[1521, 39, [1, -39, -28899, -28927899, -32717453769, -39555401606721, -49879361426075181]]
[1524, 2, [1, -762, -290322, -221225364, -210717159210, -224793065445228, -256938473803895604]]
[1525, 5, [1, -305, -186050, -170235750, -181726663125, -210621202561875, -256957867125487500]]
[1528, 4, [1, -382, -218886, -195100388, -204952957594, -234876089402724, -284121776147495132]]
[1530, 3, [1, -510, -260100, -221085000, -225506700000, -253018517400000, -301092035706000000]]
[1532, 2, [1, -766, -293378, -224727548, -215176627210, -230755415020004, -265137971857984596]]
[1536, 256, [1, -6, -4590, -4690980, -5396972490, -6625323428724, -8473788665337996]]
[1539, 27, [1, -57, -42237, -42532659, -48487231260, -59144724690948, -75291234531576804]]
[1540, 2, [1, -770, -296450, -228266500, -219706506250, -236843613737500, -273554373866812500]]
[1544, 4, [1, -386, -223494, -201293596, -213673152154, -247433510194332, -302446227294205148]]
[1548, 6, [1, -258, -166410, -157423860, -172615262490, -204859793523132, -255460162523345604]]
[1550, 5, [1, -310, -192200, -178746000, -193939410000, -228460624980000, -283291174975200000]]
[1552, 8, [1, -194, -131726, -127774220, -142532142410, -171437660890748, -216182890383233228]]
[1556, 2, [1, -778, -302642, -235455476, -228980450410, -249405506586572, -291056226186529524]]
[1557, 3, [1, -519, -269361, -232997265, -241851161070, -276145655709726, -334412389064478186]]
[1560, 4, [1, -390, -228150, -207616500, -222668696250, -260522374612500, -321745132646437500]]
[1564, 2, [1, -782, -305762, -239105884, -233726001610, -255883226562628, -300151024757962644]]
[1566, 9, [1, -174, -121104, -119408544, -135051063264, -164492195055552, -209892040890884352]]
[1568, 112, [1, -14, -10878, -11320372, -13273136170, -16612657230372, -21668442580815212]]
[1572, 2, [1, -786, -308898, -242793828, -238544936010, -262494847585404, -309481425303191316]]
[1573, 11, [1, -143, -102245, -102347245, -117085248280, -143991438334744, -185316981136815528]]
[1575, 15, [1, -105, -77175, -78332625, -90474181875, -112097511343125, -145166277189346875]]
[1576, 4, [1, -394, -232854, -214070444, -231945326074, -274159375419468, -342059514065022908]]
[1580, 2, [1, -790, -312050, -246519500, -243438006250, -269242434912500, -319052285371312500]]
[1584, 24, [1, -66, -50094, -51797196, -60680415114, -76093240552956, -99606051883819404]]
[1587, 23, [1, -69, -52371, -54203985, -63581274405, -79845364397799, -104677272725514489]]
[1588, 2, [1, -794, -315218, -250283092, -248405968810, -276128074929196, -328868537240672436]]
[1592, 4, [1, -398, -237606, -220656772, -241508836954, -288361551323076, -363431675184183452]]
[1593, 9, [1, -177, -125316, -125691948, -144608586174, -179170038269586, -232562709673922628]]
[1596, 2, [1, -798, -318402, -254084796, -253449584010, -283153875255972, -338935188681398484]]
[1600, 160, [1, -10, -7950, -8453500, -10123066250, -12937278667500, -17228142758887500]]
[1602, 3, [1, -534, -285156, -253788840, -271046481120, -318425406019776, -396758055900640896]]
[1604, 2, [1, -802, -321602, -257924804, -258569616010, -290321964856028, -349257323721801684]]
[1608, 4, [1, -402, -242406, -227376828, -251365083354, -303146290524924, -385905227838228252]]
[1611, 3, [1, -537, -288369, -258090255, -277188933870, -327471006474018, -410321171111944554]]
[1612, 2, [1, -806, -324818, -261803308, -263766832810, -297634494142804, -359840103418650036]]
[1616, 8, [1, -202, -142814, -144242140, -167537245610, -209823646401964, -275498447725778732]]
[1617, 7, [1, -231, -160083, -160243083, -185080760865, -230869741103001, -302208491103828309]]
[1620, 54, [1, -30, -23850, -25519500, -30814796250, -39751087162500, -53465212233562500]]
[1624, 4, [1, -406, -247254, -234231956, -261519978874, -318531334268532, -409525118757909308]]
[1625, 25, [1, -65, -50700, -53826500, -64726366250, -83302833363750, -111903472818637500]]
[1628, 2, [1, -814, -331298, -269676572, -274395912010, -312701581326596, -381808630799773716]]
[1629, 3, [1, -543, -294849, -266838345, -289786442670, -346178884413582, -438608646552008394]]
[1632, 16, [1, -102, -78030, -82243620, -98568978570, -126680851258164, -170132383239714252]]
[1636, 2, [1, -818, -334562, -273671716, -279829329610, -320460548269372, -393205092726519444]]
[1638, 3, [1, -546, -298116, -271285560, -296243831520, -355848090421824, -453350467197403776]]
[1640, 4, [1, -410, -252150, -241223500, -271979496250, -334534780387500, -434337656536437500]]
[1644, 2, [1, -822, -337842, -277706124, -285343042410, -328372773205428, -404883629362292724]]
[1647, 9, [1, -183, -133956, -138912372, -165236266494, -211667657378814, -284057996202368388]]
[1648, 8, [1, -206, -148526, -152981780, -181206918410, -231437476193252, -309894780622764428]]
[1650, 5, [1, -330, -217800, -215622000, -249043410000, -312300436140000, -412236575704800000]]
[1652, 2, [1, -826, -341138, -281779988, -290937837610, -336440515412204, -416849798595720756]]
[1656, 12, [1, -138, -104742, -110817036, -133811570970, -173580369862284, -235548561903119388]]
[1660, 2, [1, -830, -344450, -285893500, -296614506250, -344666056262500, -429109240046812500]]
[1664, 64, [1, -26, -21294, -23437596, -29097775434, -38583650225484, -53335465828360716]]
[1665, 3, [1, -555, -308025, -284923125, -316264668750, -386159160543750, -500076112904156250]]
[1666, 7, [1, -238, -169932, -175256536, -208555277840, -268035243079968, -361490197833850176]]
[1668, 2, [1, -834, -347778, -290046852, -302373843210, -353051699331996, -441667675864326996]]
[1672, 4, [1, -418, -262086, -255621212, -293836583194, -368471075325276, -487732880038890332]]
[1674, 9, [1, -186, -138384, -145856736, -176340793824, -229595713558848, -313168553294268672]]
[1675, 5, [1, -335, -224450, -225572250, -264483463125, -336687448558125, -451161181067887500]]
[1676, 2, [1, -838, -351122, -294240236, -308216647210, -361599770506772, -454530911527012404]]
[1680, 8, [1, -210, -154350, -162067500, -195696506250, -254796851137500, -347797701802687500]]
[1681, 41, [1, -41, -33620, -37217340, -46540283670, -62205743153322, -86714805955730868]]
[1682, 29, [1, -58, -47096, -51899792, -64719040624, -86335200192416, -120178598667843072]]
[1683, 3, [1, -561, -314721, -294264135, -330164359470, -407488852457874, -533402907867357066]]
[1684, 2, [1, -842, -354482, -298473844, -314143720810, -370312618090828, -467704836648715764]]
[1688, 4, [1, -422, -267126, -263030068, -305246393914, -386441934695124, -516415238730917372]]
[1690, 13, [1, -130, -101400, -109850000, -135664750000, -179891458500000, -249449489120000000]]
[1692, 6, [1, -282, -198810, -205569540, -246375093690, -319597771534668, -435611762601752484]]
[1694, 11, [1, -154, -118580, -127829240, -157485623680, -208573960001792, -289083508562483712]]
[1696, 16, [1, -106, -84270, -92303740, -114964308170, -153546329991852, -214299494558628108]]
[1700, 10, [1, -170, -130050, -140020500, -172575266250, -228834803047500, -317698984897612500]]
[1701, 81, [1, -21, -17640, -19880280, -25257895740, -34264861360884, -48450513964289976]]
[1704, 4, [1, -426, -272214, -270580716, -316985308794, -405107224638732, -546489646037649468]]
[1708, 2, [1, -854, -364658, -311417932, -332438642410, -397463640865396, -509150923948572276]]
[1710, 3, [1, -570, -324900, -308655000, -351866700000, -441240841800000, -586850319594000000]]
[1712, 8, [1, -214, -160286, -171506020, -211038157610, -280005427516948, -389487549676074668]]
[1715, 49, [1, -35, -29400, -33271000, -42503702500, -58017553912500, -82578318402125000]]
[1716, 2, [1, -858, -368082, -315814356, -338710896810, -406859529248172, -523628214142397364]]
[1719, 3, [1, -573, -328329, -313554195, -359333107470, -452975315276682, -605627996524923834]]
[1720, 4, [1, -430, -277350, -278274500, -329059596250, -424486879162500, -578009633792937500]]
[1724, 2, [1, -862, -371522, -320251964, -345071491210, -416432275592228, -538446932340750804]]
[1725, 5, [1, -345, -238050, -246381750, -297505963125, -390030317656875, -538241838366487500]]
[1728, 288, [1, -6, -5166, -5940900, -7690495050, -10622111763060, -15285218827043340]]

0 件のコメント:

コメントを投稿