2018年6月24日日曜日

180624

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, 6, 20, 70, 252, 924]]
[8, 4, [1, 2, 10, 60, 390, 2652, 18564]]
[9, 3, [1, 3, 18, 126, 945, 7371, 58968]]
[12, 2, [1, 6, 54, 540, 5670, 61236, 673596]]
[16, 8, [1, 2, 18, 204, 2550, 33660, 460020]]
[18, 3, [1, 6, 72, 1008, 15120, 235872, 3773952]]
[20, 2, [1, 10, 150, 2500, 43750, 787500, 14437500]]
[24, 4, [1, 6, 90, 1620, 31590, 644436, 13533156]]
[25, 5, [1, 5, 75, 1375, 27500, 577500, 12512500]]
[27, 9, [1, 3, 45, 855, 17955, 398601, 9167823]]
[28, 2, [1, 14, 294, 6860, 168070, 4235364, 108707676]]
[32, 16, [1, 2, 34, 748, 18326, 476476, 12864852]]
[36, 6, [1, 6, 126, 3276, 93366, 2800980, 86830380]]
[40, 4, [1, 10, 250, 7500, 243750, 8287500, 290062500]]
[44, 2, [1, 22, 726, 26620, 1024870, 40584852, 1636922364]]
[45, 3, [1, 15, 450, 15750, 590625, 23034375, 921375000]]
[48, 8, [1, 6, 162, 5508, 206550, 8179380, 335354580]]
[49, 7, [1, 7, 196, 6860, 264110, 10722866, 450360372]]
[50, 5, [1, 10, 300, 11000, 440000, 18480000, 800800000]]
[52, 2, [1, 26, 1014, 43940, 1999270, 93565836, 4459971516]]
[54, 9, [1, 6, 180, 6840, 287280, 12755232, 586740672]]
[56, 4, [1, 14, 490, 20580, 936390, 44572164, 2184036036]]
[60, 2, [1, 30, 1350, 67500, 3543750, 191362500, 10524937500]]
[63, 3, [1, 21, 882, 43218, 2268945, 123884397, 6937526232]]
[64, 32, [1, 2, 66, 2860, 138710, 7157436, 384115732]]
[68, 2, [1, 34, 1734, 98260, 5846470, 357803964, 22303113756]]
[72, 12, [1, 6, 234, 11700, 649350, 38181780, 2329088580]]
[75, 5, [1, 15, 675, 37125, 2227500, 140332500, 9121612500]]
[76, 2, [1, 38, 2166, 137180, 9122470, 623976948, 43470394044]]
[80, 8, [1, 10, 450, 25500, 1593750, 105187500, 7187812500]]
[81, 27, [1, 3, 126, 6930, 426195, 27873153, 1895374404]]
[84, 2, [1, 42, 2646, 185220, 13613670, 1029193452, 79247895804]]
[88, 4, [1, 22, 1210, 79860, 5709990, 427107252, 32887258404]]
[90, 3, [1, 30, 1800, 126000, 9450000, 737100000, 58968000000]]
[92, 2, [1, 46, 3174, 243340, 19588870, 1621958436, 136785161436]]
[96, 16, [1, 6, 306, 20196, 1484406, 115783668, 9378477108]]
[98, 7, [1, 14, 784, 54880, 4225760, 343131712, 28823063808]]
[99, 3, [1, 33, 2178, 167706, 13835745, 1187106921, 104465409048]]
[100, 10, [1, 10, 550, 38500, 2983750, 244667500, 20796737500]]
[104, 4, [1, 26, 1690, 131820, 11138790, 984669036, 89604882276]]
[108, 18, [1, 6, 342, 25308, 2087910, 182900916, 16643983356]]
[112, 8, [1, 14, 882, 69972, 6122550, 565723620, 54120892980]]
[116, 2, [1, 58, 5046, 487780, 49509670, 5168809548, 549616748604]]
[117, 3, [1, 39, 3042, 276822, 26990145, 2736800703, 284627273112]]
[120, 4, [1, 30, 2250, 202500, 19743750, 2013862500, 211455562500]]
[121, 11, [1, 11, 726, 61226, 5724631, 566738469, 58185149484]]
[124, 2, [1, 62, 5766, 595820, 64646470, 7214546052, 820053401244]]
[125, 25, [1, 5, 325, 27625, 2624375, 265061875, 27831496875]]
[126, 3, [1, 42, 3528, 345744, 36303120, 3964300704, 444001678848]]
[128, 64, [1, 2, 130, 11180, 1078870, 110907836, 11867138452]]
[132, 2, [1, 66, 6534, 718740, 83014470, 9862119036, 1193316403356]]
[135, 9, [1, 15, 1125, 106875, 11221875, 1245628125, 143247234375]]
[136, 4, [1, 34, 2890, 294780, 32573190, 3765460764, 448089830916]]
[140, 2, [1, 70, 7350, 857500, 105043750, 13235512500, 1698557437500]]
[144, 24, [1, 6, 450, 44100, 4828950, 562089780, 68012863380]]
[147, 7, [1, 21, 1764, 185220, 21392910, 2605656438, 328312711188]]
[148, 2, [1, 74, 8214, 1013060, 131191270, 17474677164, 2370731201916]]
[150, 5, [1, 30, 2700, 297000, 35640000, 4490640000, 583783200000]]
[152, 4, [1, 38, 3610, 411540, 50825190, 6566614548, 873359734884]]
[153, 3, [1, 51, 5202, 619038, 78927345, 10465765947, 1423344168792]]
[156, 2, [1, 78, 9126, 1186380, 161940870, 22736498148, 3251319235164]]
[160, 16, [1, 10, 850, 93500, 11453750, 1488987500, 201013312500]]
[162, 27, [1, 6, 504, 55440, 6819120, 891940896, 121303961856]]
[164, 2, [1, 82, 10086, 1378420, 197803270, 29195762652, 4389096318684]]
[168, 4, [1, 42, 4410, 555660, 75847590, 10831035852, 1592162270244]]
[169, 13, [1, 13, 1183, 138411, 17993430, 2479494654, 354567735522]]
[171, 3, [1, 57, 6498, 864234, 123153345, 18251325729, 2774201510808]]
[172, 2, [1, 86, 11094, 1590140, 239316070, 37046127636, 5840939457276]]
[175, 5, [1, 35, 3675, 471625, 66027500, 9706042500, 1472083112500]]
[176, 8, [1, 22, 2178, 271524, 37334550, 5420976660, 814953491220]]
[180, 6, [1, 30, 3150, 409500, 58353750, 8753062500, 1356724687500]]
[184, 4, [1, 46, 5290, 730020, 109137990, 17069181636, 2748138243396]]
[188, 2, [1, 94, 13254, 2076460, 341577670, 57794941764, 9959994963996]]
[189, 9, [1, 21, 2205, 293265, 43109955, 6699287007, 1078585208127]]
[192, 32, [1, 6, 594, 77220, 11235510, 1739256948, 280020368628]]
[196, 14, [1, 14, 1470, 198940, 29940470, 4778499012, 791638002988]]
[198, 3, [1, 66, 8712, 1341648, 221371920, 37987421472, 6685786179072]]
[200, 20, [1, 10, 1050, 143500, 21883750, 3545167500, 596769862500]]
[204, 2, [1, 102, 15606, 2653020, 473564070, 86946363252, 16258969928124]]
[207, 3, [1, 69, 9522, 1533042, 264449745, 47442284253, 8729380302552]]
[208, 8, [1, 26, 3042, 448188, 72830550, 12497722380, 2220428676180]]
[212, 2, [1, 106, 16854, 2977540, 552333670, 105385264236, 20479869683196]]
[216, 36, [1, 6, 666, 97236, 15898086, 2766266964, 500694320484]]
[220, 2, [1, 110, 18150, 3327500, 640543750, 126827662500, 25576911937500]]
[224, 16, [1, 14, 1666, 256564, 44000726, 8008132132, 1513536972948]]
[225, 15, [1, 15, 1800, 279000, 48127500, 8807332500, 1673393175000]]
[228, 2, [1, 114, 19494, 3703860, 738920070, 151626398364, 31689917258076]]
[232, 4, [1, 58, 8410, 1463340, 275839590, 54395567148, 11042300131044]]
[234, 3, [1, 78, 12168, 2214576, 431842320, 87577622496, 18216145479168]]
[236, 2, [1, 118, 20886, 4107580, 848215270, 180160923348, 38974813084284]]
[240, 8, [1, 30, 4050, 688500, 129093750, 25560562500, 5239915312500]]
[242, 11, [1, 22, 2904, 489808, 91594096, 18135631008, 3723849566976]]
[243, 81, [1, 3, 369, 60147, 11006901, 2146345695, 435708176085]]
[244, 2, [1, 122, 22326, 4539620, 969208870, 212838267852, 47604825909564]]
[245, 7, [1, 35, 4900, 857500, 165068750, 33508956250, 7036880812500]]
[248, 4, [1, 62, 9610, 1787460, 360173190, 75924508452, 16475618334084]]
[250, 25, [1, 10, 1300, 221000, 41990000, 8481980000, 1781215800000]]
[252, 6, [1, 42, 6174, 1123668, 224171766, 47076070860, 10215507376620]]
[256, 128, [1, 2, 258, 44204, 8509270, 1746102204, 373083837588]]
[260, 2, [1, 130, 25350, 5492500, 1249543750, 292393237500, 69687054937500]]
[261, 3, [1, 87, 15138, 3073014, 668380545, 151187679279, 35075541592728]]
[264, 4, [1, 66, 10890, 2156220, 462509190, 103787062236, 23974811376516]]
[268, 2, [1, 134, 26934, 6015260, 1410578470, 340231526964, 83583545124156]]
[270, 9, [1, 30, 4500, 855000, 179550000, 39860100000, 9167823000000]]
[272, 8, [1, 34, 5202, 1002252, 212978550, 47792386620, 11103764491380]]
[275, 5, [1, 55, 9075, 1830125, 402627500, 93006952500, 22166657012500]]
[276, 2, [1, 138, 28566, 6570180, 1586698470, 394135899948, 99716382686844]]
[279, 3, [1, 93, 17298, 3753666, 872727345, 211025472021, 52334317061208]]
[280, 4, [1, 70, 12250, 2572500, 585243750, 139288012500, 34125563062500]]
[284, 2, [1, 142, 30246, 7158220, 1778817670, 454665796452, 118364662343004]]
[288, 48, [1, 6, 882, 171108, 37215990, 8619223284, 2077232811444]]
[289, 17, [1, 17, 2601, 515865, 114006165, 26745846309, 6517071217293]]
[292, 2, [1, 146, 31974, 7780340, 1987876870, 522414041436, 139832825091036]]
[294, 7, [1, 42, 7056, 1481760, 342286560, 83381006016, 21012013516032]]
[296, 4, [1, 74, 13690, 3039180, 730922790, 183900173964, 47630145056676]]
[297, 9, [1, 33, 5445, 1138005, 262879155, 64195089651, 16241357681703]]
[300, 10, [1, 30, 4950, 1039500, 241683750, 59454202500, 15160821637500]]
[304, 8, [1, 38, 6498, 1399236, 332318550, 83345492340, 21642046177620]]
[306, 3, [1, 102, 20808, 4952304, 1262837520, 334904510304, 91094026802688]]
[308, 2, [1, 154, 35574, 9130660, 2460712870, 682109607564, 192582279202236]]
[312, 4, [1, 78, 15210, 3559140, 902241990, 239274575748, 65321959179204]]
[315, 3, [1, 105, 22050, 5402250, 1418090625, 387138740625, 108398847375000]]
[316, 2, [1, 158, 37446, 9860780, 2726505670, 775418212548, 224612808901404]]
[320, 32, [1, 10, 1650, 357500, 86693750, 22366987500, 6001808312500]]
[324, 54, [1, 6, 990, 215820, 52767990, 13740784596, 3723752625516]]
[325, 5, [1, 65, 12675, 3020875, 785427500, 214421707500, 60395447612500]]
[328, 4, [1, 82, 16810, 4135260, 1102046790, 307250645052, 88180935129924]]
[332, 2, [1, 166, 41334, 11435740, 3322082470, 992638242036, 302092904992956]]
[333, 3, [1, 111, 24642, 6382278, 1771082145, 511134307047, 151295754885912]]
[336, 8, [1, 42, 7938, 1889244, 495926550, 137470839660, 39454130982420]]
[338, 13, [1, 26, 4732, 1107288, 287894880, 79343828928, 22692335073408]]
[340, 2, [1, 170, 43350, 12282500, 3654043750, 1118137387500, 348486152437500]]
[342, 3, [1, 114, 25992, 6913872, 1970453520, 584042423328, 177548896691712]]
[343, 49, [1, 7, 1225, 282975, 73290525, 20213526795, 5801282190165]]
[344, 4, [1, 86, 18490, 4770420, 1333332390, 389866390836, 117349783641636]]
[348, 2, [1, 174, 45414, 13170060, 4010283270, 1256020720164, 400670609732316]]
[350, 5, [1, 70, 14700, 3773000, 1056440000, 310593360000, 94213319200000]]
[351, 9, [1, 39, 7605, 1878435, 512812755, 147997761093, 44251330566807]]
[352, 16, [1, 22, 4114, 995588, 268310966, 76736936276, 22790870073972]]
[356, 2, [1, 178, 47526, 14099380, 4391956870, 1407182981148, 459210712847964]]
[360, 12, [1, 30, 5850, 1462500, 405843750, 119318062500, 36392009062500]]
[361, 19, [1, 19, 3610, 891670, 245655085, 71878677871, 21851118072784]]
[363, 11, [1, 33, 6534, 1653102, 463695111, 137717447967, 42416973973836]]
[364, 2, [1, 182, 49686, 15071420, 4800247270, 1572561005652, 524711188885884]]
[368, 8, [1, 46, 9522, 2482068, 713594550, 216647305380, 68099469657780]]
[369, 3, [1, 123, 30258, 8684046, 2670344145, 853976057571, 280104146883288]]
[372, 2, [1, 186, 51894, 16087140, 5236364070, 1753134690636, 597818929506876]]
[375, 25, [1, 15, 2925, 745875, 212574375, 64410035625, 20289161221875]]
[376, 4, [1, 94, 22090, 6229380, 1903075590, 608222958564, 200105353367556]]
[378, 9, [1, 42, 8820, 2346120, 689759280, 214377184224, 69029453320128]]
[380, 2, [1, 190, 54150, 17147500, 5701543750, 1949927962500, 679224906937500]]
[384, 64, [1, 6, 1170, 301860, 87388470, 26950604148, 8651143931508]]
[387, 3, [1, 129, 33282, 10017882, 3230766945, 1083599233353, 372758136273432]]
[388, 2, [1, 194, 56454, 18253460, 6197049670, 2164009744764, 769666132554396]]
[392, 28, [1, 14, 2842, 755972, 224901670, 71158888388, 23411274279652]]
[396, 6, [1, 66, 15246, 4360356, 1366971606, 451100629980, 153825314823180]]
[400, 40, [1, 10, 2050, 553500, 167433750, 53913667500, 18061078612500]]
[404, 2, [1, 202, 61206, 20606020, 7284228070, 2648545326252, 980844619155324]]
[405, 27, [1, 15, 3150, 866250, 266371875, 87103603125, 29615225062500]]
[408, 4, [1, 102, 26010, 7959060, 2638428390, 915006965652, 326657486737764]]
[412, 2, [1, 206, 63654, 21854540, 7878561670, 2921370667236, 1103304321992796]]
[414, 3, [1, 138, 38088, 12264336, 4231195920, 1518153096096, 558680339363328]]
[416, 16, [1, 26, 5746, 1643356, 523408886, 176912203468, 62096183417268]]
[420, 2, [1, 210, 66150, 23152500, 8508543750, 3216229537500, 1238248371937500]]
[423, 3, [1, 141, 39762, 13081698, 4611298545, 1690502046597, 635628769520472]]
[424, 4, [1, 106, 28090, 8932620, 3077287590, 1109054447436, 411459199998756]]
[425, 5, [1, 85, 21675, 6755375, 2296827500, 819967417500, 302021332112500]]
[428, 2, [1, 214, 68694, 24500860, 9175572070, 3534430361364, 1386674845108476]]
[432, 72, [1, 6, 1314, 381060, 124035030, 43015348404, 15528540773844]]
[436, 2, [1, 218, 71286, 25900580, 9881071270, 3877332366348, 1549640502417084]]
[440, 4, [1, 110, 30250, 9982500, 3568743750, 1334710162500, 513863412562500]]
[441, 21, [1, 21, 4851, 1460151, 490610736, 175148032752, 64979920150992]]
[444, 2, [1, 222, 73926, 27352620, 10626492870, 4246346550852, 1728263046196764]]
[448, 32, [1, 14, 3234, 980980, 333042710, 120295026852, 45190831754068]]
[450, 15, [1, 30, 7200, 2232000, 770040000, 281834640000, 107097163200000]]
[452, 2, [1, 226, 76614, 28857940, 11413315270, 4642936651836, 1923723419410716]]
[456, 4, [1, 114, 32490, 11111580, 4116840390, 1595687335164, 636679246730436]]
[459, 9, [1, 51, 13005, 4200615, 1499619555, 565956420057, 221288960242287]]
[460, 2, [1, 230, 79350, 30417500, 12243043750, 5068620112500, 2137268147437500]]
[464, 8, [1, 58, 15138, 4975356, 1803566550, 690405275340, 273630624126420]]
[468, 6, [1, 78, 21294, 7197372, 2666626326, 1039984267140, 419113659657420]]
[472, 4, [1, 118, 34810, 12322740, 4725770790, 1895979240948, 783039426511524]]
[475, 5, [1, 95, 27075, 9431125, 3583827500, 1429947172500, 588661586012500]]
[476, 2, [1, 238, 84966, 33703180, 14037374470, 6013611222948, 2623939030279644]]
[477, 3, [1, 159, 50562, 18758502, 7456504545, 3082518978903, 1306988047054872]]
[480, 16, [1, 30, 7650, 2524500, 927753750, 361823962500, 146538704812500]]
[484, 22, [1, 22, 5566, 1836780, 676853430, 265055803188, 107877711897516]]
[486, 81, [1, 6, 1476, 481176, 176110416, 68683062240, 27885323269440]]
[488, 4, [1, 122, 37210, 13618860, 5399877990, 2239869390252, 956424229637604]]
[490, 7, [1, 70, 19600, 6860000, 2641100000, 1072286600000, 450360372000000]]
[492, 2, [1, 246, 90774, 37217340, 16022064870, 7094570324436, 3199651216320636]]
[495, 3, [1, 165, 54450, 20963250, 8647340625, 3709709128125, 1632272016375000]]
[496, 8, [1, 62, 17298, 6077364, 2354978550, 963657222660, 408269443333620]]
[500, 50, [1, 10, 2550, 858500, 324083750, 130281667500, 54501164237500]]
[504, 12, [1, 42, 11466, 4013100, 1559089350, 641721176460, 274014942348420]]
[507, 13, [1, 39, 10647, 3737097, 1457467830, 602517200922, 258479879195538]]
[508, 2, [1, 254, 96774, 40967660, 18210124870, 8325669090564, 3876986573172636]]
[512, 256, [1, 2, 514, 175788, 67590486, 27712099260, 11833066384020]]
[513, 9, [1, 57, 16245, 5864445, 2339913555, 986975537499, 431308309887063]]
[516, 2, [1, 258, 99846, 42933780, 19384601670, 9002209015548, 4258044864354204]]
[520, 4, [1, 130, 42250, 16477500, 6961743750, 3077090737500, 1400076285562500]]
[522, 3, [1, 174, 60552, 24584112, 10694088720, 4838005736928, 2244834661934592]]
[524, 2, [1, 262, 102966, 44961820, 20614994470, 9722031392052, 4669815745315644]]
[525, 5, [1, 105, 33075, 12733875, 5348227500, 2358568327500, 1073148589012500]]
[528, 8, [1, 66, 19602, 7331148, 3024098550, 1317297328380, 594101095099380]]
[529, 23, [1, 23, 6348, 2287396, 920676890, 393865573542, 175138891701676]]
[531, 3, [1, 177, 62658, 25877754, 11450906145, 5269707007929, 2487301707742488]]
[532, 2, [1, 266, 106134, 47052740, 21903050470, 10487180565036, 5114248388882556]]
[536, 4, [1, 134, 44890, 18045780, 7858937190, 3580531783764, 1679269406585316]]
[539, 7, [1, 77, 23716, 9130660, 3866834510, 1726928292166, 797840870980692]]
[540, 18, [1, 30, 8550, 3163500, 1304943750, 571565362500, 260062239937500]]
[544, 16, [1, 34, 9826, 3674924, 1530605846, 676527783932, 310526252824788]]
[548, 2, [1, 274, 112614, 51427060, 24659275270, 12161954563164, 6109355175562716]]
[549, 3, [1, 183, 66978, 28599606, 13084319745, 6225519334671, 3038053435319448]]
[550, 5, [1, 110, 36300, 14641000, 6442040000, 2976222480000, 1418666048800000]]
[552, 4, [1, 138, 47610, 19710540, 8840177190, 4147811137548, 2003392779435684]]
[556, 2, [1, 278, 115926, 53712380, 26131072870, 13075988864148, 6664395657760764]]
[558, 3, [1, 186, 69192, 30029328, 13963637520, 6752815104672, 3349396291917312]]
[560, 8, [1, 70, 22050, 8746500, 3826593750, 1767886312500, 845638952812500]]
[564, 2, [1, 282, 119286, 56064420, 27667791270, 14044170848652, 7260836328753084]]
[567, 27, [1, 21, 6174, 2376990, 1023294195, 468464082471, 222988903256196]]
[568, 4, [1, 142, 50410, 21474660, 9910555590, 4784816238852, 2378053670709444]]
[572, 2, [1, 286, 122694, 58484140, 29271312070, 15068871453636, 7901111598856476]]
[575, 5, [1, 115, 39675, 16729625, 7695627500, 3716988082500, 1852299061112500]]
[576, 96, [1, 6, 1746, 673956, 292159926, 134977885812, 64924363075572]]
[578, 17, [1, 34, 10404, 4126920, 1824098640, 855867081888, 417092557906752]]
[580, 2, [1, 290, 126150, 60972500, 30943543750, 16152529837500, 8587761696937500]]
[584, 4, [1, 146, 53290, 23341020, 11075313990, 5497785864636, 2809368576828996]]
[585, 3, [1, 195, 76050, 34602750, 16868840625, 8552502196875, 4447301142375000]]
[588, 14, [1, 42, 13230, 5371380, 2425178070, 1161175259916, 577104104178252]]
[592, 8, [1, 74, 24642, 10333212, 4779110550, 2334117592620, 1180285462668180]]
[594, 9, [1, 66, 21780, 9104040, 4206066480, 2054242868832, 1039446891628992]]
[596, 2, [1, 298, 133206, 66158980, 34501908070, 18506823488748, 10110894566019324]]
[600, 20, [1, 30, 9450, 3874500, 1772583750, 861475702500, 435045229762500]]
[603, 3, [1, 201, 80802, 37896138, 19042809345, 9951772163697, 5334149879741592]]
[604, 2, [1, 302, 136806, 68859020, 36391992070, 19782686889252, 10953014307682524]]
[605, 11, [1, 55, 18150, 7653250, 3577894375, 1771057715625, 909142960687500]]
[608, 16, [1, 38, 12274, 5130532, 2388262646, 1179801747124, 605238296274612]]
[612, 6, [1, 102, 36414, 16094988, 7798021686, 3976991059860, 2095874288546220]]
[616, 4, [1, 154, 59290, 27391980, 13709685990, 7178391584364, 3869153063972196]]
[620, 2, [1, 310, 144150, 74477500, 40404043750, 22545456412500, 12813334394437500]]
[621, 9, [1, 69, 23805, 10402785, 5024545155, 2565532756143, 1357166827999647]]
[624, 8, [1, 78, 27378, 12101076, 5899274550, 3036946538340, 1618692504935220]]
[625, 125, [1, 5, 1575, 658875, 309671250, 155145296250, 80934129543750]]
[628, 2, [1, 314, 147894, 77397860, 42530124070, 24038026124364, 13837890372258876]]
[630, 3, [1, 210, 88200, 43218000, 22689450000, 12388439700000, 6937526232000000]]
[632, 4, [1, 158, 62410, 29582340, 15190531590, 8160353570148, 4512675524291844]]
[636, 2, [1, 318, 151686, 80393580, 44739027270, 25608619209348, 14929824999049884]]
[637, 7, [1, 91, 33124, 15071420, 7543245710, 3981325085738, 2173803496812948]]
[639, 3, [1, 213, 90738, 45096786, 24014038545, 13298974546221, 7553817542253528]]
[640, 64, [1, 10, 3250, 1397500, 674293750, 346586987500, 185424038312500]]
[644, 2, [1, 322, 155526, 83465620, 47032876870, 27260255433852, 16092637457783964]]
[648, 108, [1, 6, 1962, 851508, 415110150, 215691233940, 116688957561540]]
[650, 5, [1, 130, 50700, 24167000, 12566840000, 6861494640000, 3865308647200000]]
[652, 2, [1, 326, 159414, 86614940, 49413823270, 28996031494836, 17329961490080316]]
[656, 8, [1, 82, 30258, 14059884, 7205690550, 3899719725660, 2185142952944820]]
[657, 3, [1, 219, 95922, 49016142, 26836337745, 15280610712003, 8923876655809752]]
[660, 2, [1, 330, 163350, 89842500, 51884043750, 30819121987500, 18645568802437500]]
[664, 4, [1, 166, 68890, 34307220, 18508745190, 10446335785236, 6069321091222116]]
[666, 3, [1, 222, 98568, 51058224, 28337314320, 16356297825504, 9682928312698368]]
[668, 2, [1, 334, 167334, 93149260, 54445742470, 32732780372964, 20043372515044956]]
[672, 16, [1, 42, 14994, 6927228, 3564058806, 1945976108076, 1103368453279092]]
[675, 45, [1, 15, 5175, 2354625, 1200858750, 652066301250, 368417460206250]]
[676, 26, [1, 26, 9126, 4191876, 2152528326, 1175280465996, 667167544530396]]
[680, 4, [1, 170, 72250, 36847500, 20358243750, 11767064887500, 7001403608062500]]
[684, 6, [1, 114, 45486, 22470084, 12167550486, 6935503777020, 4085011724664780]]
[686, 49, [1, 14, 4900, 2263800, 1172648400, 646832857440, 371282060170560]]
[688, 8, [1, 86, 33282, 16219428, 8717942550, 4948304191380, 2907953429800980]]
[692, 2, [1, 346, 179574, 103554340, 62702152870, 39050900807436, 24771288078850236]]
[693, 3, [1, 231, 106722, 57523158, 33219623745, 19951706021247, 12290250909088152]]
[696, 4, [1, 174, 75690, 39510180, 22343006790, 13218122816964, 8049836795531076]]
[700, 10, [1, 70, 26950, 13205500, 7163983750, 4112126672500, 2446715370137500]]
[702, 9, [1, 78, 30420, 15027480, 8205004080, 4735928354976, 2832085156275648]]
[704, 32, [1, 22, 7986, 3806660, 2030853110, 1152712225236, 680484450297652]]
[708, 2, [1, 354, 187974, 110904660, 68705436870, 43779104373564, 28412638738443036]]
[711, 3, [1, 237, 112338, 62122914, 36807826545, 22680982717029, 14334381077162328]]
[712, 4, [1, 178, 79210, 42298140, 24469473990, 14808925658748, 9225960685400004]]
[716, 2, [1, 358, 192246, 114706780, 71863797670, 46309031218548, 30394160823107004]]
[720, 24, [1, 30, 11250, 5512500, 3018093750, 1756530562500, 1062700990312500]]
[722, 19, [1, 38, 14440, 7133360, 3930481360, 2300117691872, 1398471556658176]]
[724, 2, [1, 362, 196566, 118594820, 75129818470, 48954589715052, 32489529374222844]]
[725, 5, [1, 145, 63075, 33534875, 19450227500, 11845188547500, 7442726804012500]]
[726, 11, [1, 66, 26136, 13224816, 7419121776, 4406958334944, 2714686334325504]]
[728, 4, [1, 182, 82810, 45214260, 26744234790, 16549332488052, 10541924794889124]]
[729, 243, [1, 3, 1098, 534726, 292762485, 170914738743, 103916161155744]]
[732, 2, [1, 366, 200934, 122569740, 78505918470, 51719699088036, 34703918088072156]]
[735, 7, [1, 105, 44100, 23152500, 13370568750, 8142676368750, 5129886112312500]]
[736, 16, [1, 46, 17986, 9100916, 5128366166, 3066762967268, 1904459802673428]]
[738, 3, [1, 246, 121032, 69472368, 42725506320, 27327233842272, 17926665400530432]]
[740, 2, [1, 370, 205350, 126632500, 81994543750, 54608366137500, 37042675029937500]]
[744, 4, [1, 186, 86490, 48261420, 29174028390, 18449655553836, 12010725765547236]]
[747, 3, [1, 249, 124002, 72045162, 44848113345, 29034668579553, 19279019936823192]]
[748, 2, [1, 374, 209814, 130784060, 85598167270, 57624686206164, 39511326508693116]]
[750, 25, [1, 30, 11700, 5967000, 3401190000, 2061121140000, 1298506318200000]]
[752, 8, [1, 94, 39762, 21179892, 12443186550, 7719752935620, 4958654635646580]]
[756, 18, [1, 42, 16758, 8680644, 5013071910, 3074015695212, 1958147997850044]]
[760, 4, [1, 190, 90250, 51442500, 31765743750, 20520670462500, 13646245857562500]]
[764, 2, [1, 382, 218886, 139357420, 93160435270, 64057115291652, 44861333075920284]]
[765, 3, [1, 255, 130050, 77379750, 49329590625, 32705518584375, 22239752637375000]]
[768, 128, [1, 6, 2322, 1193508, 689250870, 424302835572, 271978117601652]]
[772, 2, [1, 386, 223494, 143781140, 97124160070, 67481866416636, 47754667467506076]]
[774, 3, [1, 258, 133128, 80143056, 51692271120, 34675175467296, 23856520721499648]]
[775, 5, [1, 155, 72075, 40962625, 25396827500, 16533334702500, 11104889808512500]]
[776, 4, [1, 194, 94090, 54760380, 34526419590, 22773626361564, 15463292299501956]]
[780, 2, [1, 390, 228150, 148297500, 101213043750, 71051556712500, 50801863049437500]]
[783, 9, [1, 87, 37845, 20852595, 12699230355, 8175764502549, 5453234923200183]]
[784, 56, [1, 14, 5586, 2945684, 1742372086, 1097694414180, 719721637564020]]
[788, 2, [1, 394, 232854, 152907460, 105429693670, 74770738750764, 54009396957635196]]
[792, 12, [1, 66, 28314, 15572700, 9507133350, 6149213850780, 4126122493873380]]
[796, 2, [1, 398, 237606, 157611980, 109776744070, 78644059451748, 57383948713292124]]
[800, 80, [1, 10, 4050, 2173500, 1309533750, 840720667500, 561881646112500]]
[801, 3, [1, 267, 142578, 88826094, 59291417745, 41160102198579, 29305992765388248]]
[804, 2, [1, 402, 242406, 162412020, 114256856070, 82676261052252, 60932404395509724]]
[808, 4, [1, 202, 102010, 61818060, 40583556390, 27872786528652, 19706060075756964]]
[810, 27, [1, 30, 12600, 6930000, 4261950000, 2787315300000, 1895374404000000]]
[812, 2, [1, 406, 247254, 167308540, 118872717670, 86872182073236, 64661860856511996]]
[816, 8, [1, 102, 46818, 27060804, 17251262550, 11613549948660, 8094644314216020]]
[819, 3, [1, 273, 149058, 94949946, 64803338145, 45997409415321, 33486114054353688]]
[820, 2, [1, 410, 252150, 172302500, 123627043750, 91236758287500, 68579629979437500]]
[824, 4, [1, 206, 106090, 65563620, 43894843590, 30743948450436, 22166386832764356]]
[825, 5, [1, 165, 81675, 49413375, 32612827500, 22600689457500, 16159492962112500]]
[828, 6, [1, 138, 66654, 39859092, 26127634806, 18028068016140, 12854012495507820]]
[832, 32, [1, 26, 11154, 6283420, 3961696310, 2657505884748, 1854053272259188]]
[833, 7, [1, 119, 56644, 33703180, 22058731310, 15224936350162, 10870604554015668]]
[836, 2, [1, 418, 262086, 182586580, 133562083270, 100492111452348, 77010454742982684]]
[837, 9, [1, 93, 43245, 25471305, 16581819555, 11411608217751, 8136476659256463]]
[840, 4, [1, 210, 110250, 69457500, 47404743750, 33846987037500, 24877535472562500]]
[841, 29, [1, 29, 12615, 7194755, 4590253690, 3114946154034, 2198113669363326]]
[844, 2, [1, 422, 267126, 187878620, 138748360870, 105393254916852, 81539248220671164]]
[845, 13, [1, 65, 29575, 17301375, 11245893750, 7748420793750, 5540120867531250]]
[846, 3, [1, 282, 159048, 104653584, 73780776720, 54096065491104, 40680241249310208]]
[847, 11, [1, 77, 35574, 21000518, 13744839031, 9525173448483, 6845424651643116]]
[848, 8, [1, 106, 50562, 30370908, 20120726550, 14076460294380, 10196049406562580]]
[850, 5, [1, 170, 86700, 54043000, 36749240000, 26238957360000, 19329365255200000]]
[852, 2, [1, 426, 272214, 193271940, 144084231270, 110483788537836, 86287838848049916]]
[855, 3, [1, 285, 162450, 108029250, 76970840625, 57035392903125, 43346898606375000]]
[856, 4, [1, 214, 114490, 73502580, 51121044390, 37195671898164, 27859558251724836]]
[860, 2, [1, 430, 277350, 198767500, 149572543750, 115769148862500, 91264679019937500]]
[864, 144, [1, 6, 2610, 1508580, 979822710, 678429244404, 489147485215284]]
[867, 17, [1, 51, 23409, 13928355, 9234499365, 6499240653087, 4750944917406597]]
[868, 2, [1, 434, 282534, 204366260, 155216174470, 121254875495964, 96478462602955356]]
[872, 4, [1, 218, 118810, 77701740, 55051682790, 40804307283948, 31133686457652324]]
[873, 3, [1, 291, 169362, 114996798, 83660170545, 63297285034347, 49118693186653272]]
[875, 25, [1, 35, 15925, 9475375, 6301124375, 4454894933125, 3274347775846875]]
[876, 2, [1, 438, 287766, 210069180, 161018026470, 126946612068948, 101938129491365244]]
[880, 8, [1, 110, 54450, 33940500, 23334093750, 16940552062500, 12733648300312500]]
[882, 21, [1, 42, 19404, 11681208, 7849771776, 5604737048064, 4158714889663488]]
[884, 2, [1, 442, 293046, 215877220, 166981029670, 132850107205452, 107652870205484604]]
[888, 4, [1, 222, 123210, 82057860, 59204745990, 44687742273252, 34722375746316804]]
[891, 27, [1, 33, 15246, 9223830, 6239920995, 4488999163803, 3357771374524644]]
[892, 2, [1, 446, 298374, 221791340, 173108140870, 138971215490436, 113632130532679836]]
[896, 64, [1, 14, 6370, 3834740, 2590366870, 1864027999652, 1396156971739348]]
[900, 30, [1, 30, 13950, 8509500, 5807733750, 4216414702500, 3183393100387500]]
[904, 4, [1, 226, 127690, 86573820, 63588470790, 48861380955036, 38649352335433476]]
[908, 2, [1, 454, 309174, 233941660, 185866648870, 151890225456564, 126423297655013436]]
[909, 3, [1, 303, 183618, 129817926, 98337078945, 77469950792871, 62595720240639768]]
[912, 8, [1, 114, 58482, 37779372, 26917802550, 20252954638620, 15777051663484980]]
[916, 2, [1, 458, 314646, 240179780, 192504093670, 158700374821548, 133255414725159804]]
[918, 9, [1, 102, 52020, 33604920, 23993912880, 18110605441824, 14162493455506368]]
[920, 4, [1, 230, 132250, 91252500, 68211243750, 53341192612500, 42939660053062500]]
[924, 2, [1, 462, 320166, 246527820, 199317742470, 165752634638052, 140392481538430044]]
[925, 5, [1, 185, 102675, 69647875, 51539427500, 40046135167500, 32103651692612500]]
[927, 3, [1, 309, 190962, 137683602, 106360582545, 85450092016653, 70410875821722072]]
[928, 16, [1, 58, 28594, 18242972, 12961631606, 9773070230924, 7652313990813492]]
[931, 7, [1, 133, 70756, 47052740, 34419079310, 26550877779734, 21187600468227732]]
[932, 2, [1, 466, 325734, 252986740, 206310686470, 173053403811036, 147845291322561756]]
[936, 12, [1, 78, 39546, 25704900, 18546085350, 14176627641540, 11242065719741220]]
[940, 2, [1, 470, 331350, 259557500, 213486043750, 180609193012500, 155624921312437500]]
[944, 8, [1, 118, 62658, 41897316, 30899270550, 24064351904340, 19403889085532820]]
[945, 9, [1, 105, 55125, 36658125, 26943721875, 20935271896875, 16852893876984375]]
[948, 2, [1, 474, 337014, 266241060, 220846959270, 188426625649164, 163742737689123516]]
[950, 5, [1, 190, 108300, 75449000, 57341240000, 45758309520000, 37674341504800000]]
[952, 4, [1, 238, 141610, 101109540, 78208229190, 63286099060548, 52717320517436484]]
[954, 3, [1, 318, 202248, 150068016, 119304072720, 98640607324896, 83647235011511808]]
[956, 2, [1, 478, 342726, 273038380, 228396604870, 196512438830148, 172210400561486364]]
[960, 32, [1, 30, 14850, 9652500, 7022193750, 5435177962500, 4375318259812500]]
[961, 31, [1, 31, 15376, 10009776, 7292121816, 5651394407400, 4555023892364400]]
[963, 3, [1, 321, 206082, 154355418, 123870222945, 103382088069897, 88495067387831832]]
[964, 2, [1, 482, 348486, 279950420, 236138179270, 204873484334652, 181039868990387484]]
[968, 44, [1, 22, 10890, 7107540, 5199165510, 4049110099188, 3281128883708676]]
[972, 162, [1, 6, 2934, 1907100, 1393136550, 1084974745140, 879914518308540]]
[975, 5, [1, 195, 114075, 81563625, 63619627500, 52104474922500, 44028281309512500]]
[976, 8, [1, 122, 66978, 46304124, 35306894550, 28429111491660, 23700402613547220]]
[980, 14, [1, 70, 36750, 24867500, 18712793750, 14932809412500, 12369343796687500]]
[981, 3, [1, 327, 213858, 163173654, 133394462145, 113411971715679, 98895239336072088]]
[984, 4, [1, 246, 151290, 111652020, 89265789990, 74661906747636, 64283901709714596]]
[988, 2, [1, 494, 366054, 301384460, 260546865670, 231678272953764, 209823289205125596]]
[990, 3, [1, 330, 217800, 167706000, 138357450000, 118710692100000, 104465409048000000]]
[992, 16, [1, 62, 32674, 22283668, 16924445846, 13641103351876, 11417603505520212]]
[996, 2, [1, 498, 372006, 308764980, 269088680070, 241211092814748, 220225727739864924]]
[999, 9, [1, 111, 61605, 43308315, 33650560755, 27640570604157, 23522125584137607]]
[1000, 100, [1, 10, 5050, 3383500, 2546083750, 2041959167500, 1705035904862500]]
[1004, 2, [1, 502, 378006, 316265020, 277838820070, 251055157815252, 231054430242636924]]
[1008, 24, [1, 42, 22050, 15126300, 11594308950, 9447042932460, 8001645363793620]]
[1012, 2, [1, 506, 384054, 323885540, 286800645670, 261218028076236, 242323257378721596]]
[1014, 13, [1, 78, 42588, 29896776, 23319485280, 19280550429504, 16542712268514432]]
[1016, 4, [1, 254, 161290, 122902980, 101456409990, 87617755667364, 77892184788286596]]
[1017, 3, [1, 339, 229842, 181805022, 154079756145, 135805897066203, 122768530947847512]]
[1020, 2, [1, 510, 390150, 331627500, 295977543750, 271707385162500, 254046405126937500]]
[1024, 512, [1, 2, 1026, 701100, 538795350, 441596668860, 376976356316820]]
[1025, 5, [1, 205, 126075, 94766375, 77708427500, 66906956077500, 59435679315512500]]
[1026, 9, [1, 114, 64980, 46915560, 37438616880, 31583217199968, 27603731832772032]]
[1028, 2, [1, 514, 396294, 339491860, 305372928070, 282531033050364, 266238410144459676]]
[1029, 49, [1, 21, 11025, 7640325, 5936532525, 4911887011185, 4229134716630285]]
[1032, 4, [1, 258, 166410, 128801340, 107999923590, 94737532973148, 85547992274752644]]
[1035, 3, [1, 345, 238050, 191630250, 165281090625, 148257138290625, 136396567227375000]]
[1036, 2, [1, 518, 402486, 347479580, 314990239270, 293696899095348, 278914155174215484]]
[1040, 8, [1, 130, 76050, 56023500, 45519093750, 39055382437500, 34694198065312500]]
[1044, 6, [1, 174, 105966, 79898364, 66035997846, 57451318126020, 51648734995291980]]
[1048, 4, [1, 262, 171610, 134885460, 114854969190, 102312806554452, 93820843610432484]]
[1050, 5, [1, 210, 132300, 101871000, 85571640000, 75474186480000, 68681509696800000]]
[1052, 2, [1, 526, 415014, 363828940, 334904539270, 317087617780836, 305778159413319516]]
[1053, 27, [1, 39, 21294, 15225210, 12172555395, 10349106596829, 9148610231596836]]
[1056, 16, [1, 66, 37026, 26880876, 21733188246, 18647075515068, 16614544283925588]]
[1058, 23, [1, 46, 25392, 18299168, 14730830240, 12603698353344, 11208889068907264]]
[1060, 2, [1, 530, 421350, 372192500, 345208543750, 329328950737500, 319997963799937500]]
[1062, 3, [1, 354, 250632, 207022032, 183214498320, 168630624253728, 159187309295519232]]
[1064, 4, [1, 266, 176890, 141158220, 122031281190, 110365090708236, 102749899449367716]]
[1068, 2, [1, 534, 427734, 380683260, 355748506470, 341945464418964, 334764609666165756]]
[1071, 3, [1, 357, 254898, 212330034, 189504555345, 175898128271229, 167455018114210008]]
[1072, 8, [1, 134, 80802, 61355652, 51385358550, 45445211101620, 41612664965383380]]
[1075, 5, [1, 215, 138675, 109322125, 94017027500, 84897375832500, 79096055150612500]]
[1076, 2, [1, 538, 434166, 389302180, 366528002470, 354945717591948, 350094792784858044]]
[1078, 7, [1, 154, 94864, 73045280, 61869352160, 55261705349312, 51061815742764288]]
[1080, 36, [1, 30, 16650, 12154500, 9936303750, 8644584262500, 7823348757562500]]
[1083, 19, [1, 57, 32490, 24075090, 19898061885, 17466518722653, 15929465075059536]]
[1084, 2, [1, 542, 440646, 398050220, 377550633670, 368338398208452, 366005588353131804]]
[1088, 32, [1, 34, 19074, 14051180, 11585197910, 10162535606652, 9271619985135508]]
[1089, 33, [1, 33, 18513, 13644081, 11256366825, 9880838798985, 9021205823473305]]
[1092, 2, [1, 546, 447174, 406928340, 388820028870, 382132324373436, 382514456697809436]]
[1096, 4, [1, 274, 187690, 154281180, 137387390790, 127990093259964, 122742499436305476]]
[1098, 3, [1, 366, 267912, 228796848, 209349115920, 199216618709472, 194435419860444672]]
[1100, 10, [1, 110, 66550, 51243500, 43685083750, 39403945542500, 36842689082237500]]
[1104, 8, [1, 138, 85698, 67015836, 57801158550, 52645295207340, 49644513380521620]]
[1107, 9, [1, 123, 75645, 58927455, 50736538755, 46180397574801, 43548114913037343]]
[1108, 2, [1, 554, 460374, 425078660, 412113760870, 410959842339564, 417398213202883836]]
[1112, 4, [1, 278, 193210, 161137140, 145587405990, 137609216141748, 133893767305920804]]
[1116, 6, [1, 186, 121086, 97595316, 86225461686, 80189679367980, 77062281872628780]]
[1120, 16, [1, 70, 41650, 32070500, 27500453750, 25025412912500, 23649015202312500]]
[1124, 2, [1, 562, 473766, 443760820, 436438766470, 441501456161052, 454893666997937244]]
[1125, 75, [1, 15, 8550, 6455250, 5470824375, 4940154410625, 4643745145987500]]
[1127, 7, [1, 161, 103684, 83465620, 73908806510, 69016043519038, 66669498039390708]]
[1128, 4, [1, 282, 198810, 168193260, 154149122790, 147798178931052, 145876802604948324]]
[1132, 2, [1, 566, 480534, 453303740, 448997354470, 457438504734036, 474668688412351356]]
[1134, 27, [1, 42, 24696, 19015920, 16372707120, 14990850639072, 14271289808396544]]
[1136, 8, [1, 142, 90738, 73013844, 64799786550, 60730359954660, 58928692609338420]]
[1140, 2, [1, 570, 487350, 462982500, 461825043750, 473832494887500, 495154957157437500]]
[1143, 3, [1, 381, 290322, 258096258, 245836685745, 243525820898997, 247422234033380952]]
[1144, 4, [1, 286, 204490, 175452420, 163083024390, 158581932916836, 158740514849752836]]
[1148, 2, [1, 574, 494214, 472798060, 474925651270, 490693182892164, 516372792796853916]]
[1150, 5, [1, 230, 158700, 133837000, 123130040000, 118943618640000, 118547139911200000]]
[1152, 192, [1, 6, 3474, 2674980, 2315195190, 2136462121332, 2053140098600052]]
[1156, 34, [1, 34, 20230, 15819860, 13850287430, 12902927769788, 12502937008924572]]
[1160, 4, [1, 290, 210250, 182917500, 172399743750, 169986147337500, 172535939547562500]]
[1161, 9, [1, 129, 83205, 67978485, 61384571955, 58597712388243, 57953137551972327]]
[1164, 2, [1, 582, 508086, 492843420, 501961023270, 525854367977652, 561086610632154684]]
[1168, 8, [1, 146, 95922, 79359468, 72415514550, 69779589820380, 69616770777465780]]
[1170, 3, [1, 390, 304200, 276822000, 269901450000, 273680070300000, 284627273112000000]]
[1172, 2, [1, 586, 515094, 503075140, 515903556070, 544175070942636, 584625417882705276]]
[1175, 5, [1, 235, 165675, 142756625, 134191227500, 132446741542500, 134874931804112500]]
[1176, 28, [1, 42, 25578, 20411244, 18217035270, 17291609878284, 17066818949866308]]
[1179, 3, [1, 393, 308898, 283259466, 278302425345, 284369418217521, 298019150291962008]]
[1180, 2, [1, 590, 522150, 513447500, 530134543750, 563002885462500, 608981454441937500]]
[1183, 13, [1, 91, 57967, 47474973, 43202225430, 41672866649778, 41714539516427778]]
[1184, 16, [1, 74, 46546, 37888444, 34345874486, 33040731255532, 33007690524276468]]
[1188, 18, [1, 66, 41382, 33684948, 30569090310, 29456375422716, 29485831798138716]]
[1192, 4, [1, 298, 222010, 198476940, 192224916390, 194762285286348, 203137063553660964]]
[1196, 2, [1, 598, 536406, 534617980, 559477716070, 602221813577748, 660235848285737724]]
[1197, 3, [1, 399, 318402, 296432262, 295691181345, 306750031527303, 326382033545050392]]
[1200, 40, [1, 30, 18450, 14944500, 13562133750, 13101021202500, 13166526308512500]]
[1204, 2, [1, 602, 543606, 545418020, 574597884070, 622634267178252, 687180686209064124]]
[1206, 3, [1, 402, 323208, 303169104, 304684949520, 318456709238304, 341385592303461888]]
[1208, 4, [1, 302, 228010, 206577060, 202755384390, 208189228691652, 220056014727076164]]
[1210, 11, [1, 110, 72600, 61226000, 57246310000, 56673846900000, 58185149484000000]]
[1212, 2, [1, 606, 550854, 556362540, 590022473670, 643596514279236, 715035727364231196]]
[1215, 81, [1, 15, 9225, 7518375, 6879313125, 6707330296875, 6807940251328125]]
[1216, 32, [1, 38, 23826, 19616740, 18076825910, 17722520122164, 18071063017899892]]
[1220, 2, [1, 610, 558150, 567452500, 605755543750, 665119587037500, 743825404836937500]]
[1224, 12, [1, 102, 67626, 57482100, 54234361350, 54212667605460, 56218536306862020]]
[1225, 35, [1, 35, 22050, 18264750, 16940555625, 16720328401875, 17166203825925000]]
[1228, 2, [1, 614, 565494, 578688860, 621801180070, 687214664213364, 773574640349510076]]
[1232, 8, [1, 154, 106722, 93132732, 89640254550, 91110354724620, 95878463288541780]]
[1233, 3, [1, 411, 337842, 323990478, 332900216145, 355737170972547, 389887939385911512]]
[1236, 2, [1, 618, 572886, 590072580, 638163495270, 709893072138348, 804308850732748284]]
[1240, 4, [1, 310, 240250, 223432500, 225108243750, 237264088912500, 257431536470062500]]
[1242, 9, [1, 138, 95220, 83222280, 80392722480, 82097048196576, 86858676991977408]]
[1244, 2, [1, 622, 580326, 601604620, 654846628870, 733166285682852, 836053954440345564]]
[1248, 16, [1, 78, 51714, 44370612, 42396119766, 42989665442724, 45268117711188372]]
[1250, 125, [1, 10, 6300, 5271000, 4954740000, 4964649480000, 5179784290800000]]
[1251, 3, [1, 417, 347778, 338387994, 352769483745, 382472674276329, 425309613795277848]]
[1252, 2, [1, 626, 587814, 613285940, 671854747270, 757045929223836, 868836378105889116]]
[1256, 4, [1, 314, 246490, 232193580, 236953548390, 252971608261164, 278015797479019236]]
[1260, 6, [1, 210, 154350, 140458500, 140107353750, 147112721437500, 159617302759687500]]
[1264, 8, [1, 158, 112338, 100579956, 99322706550, 103573718390340, 111825091288770420]]
[1268, 2, [1, 634, 602934, 637100260, 706862738470, 806671757141964, 937621472384676156]]
[1269, 9, [1, 141, 99405, 88768665, 87614672355, 91417149135207, 98821938215158767]]
[1272, 4, [1, 318, 252810, 241180740, 249260294790, 269500230726948, 299953756799093124]]
[1274, 7, [1, 182, 132496, 120571360, 120691931360, 127402402743616, 139123423796028672]]
[1275, 5, [1, 255, 195075, 182395125, 186043027500, 199252082452500, 220173551110012500]]
[1276, 2, [1, 638, 610566, 649235180, 724871078470, 832441946514948, 973679596773650844]]
[1278, 3, [1, 426, 362952, 360774288, 384224616720, 425567185479072, 483444322704225792]]
[1280, 128, [1, 10, 6450, 5525500, 5318293750, 5456569387500, 5829434962312500]]
[1284, 2, [1, 642, 618246, 661523220, 743221337670, 858866577811452, 1010885962084079004]]
[1287, 3, [1, 429, 368082, 368450082, 395162712945, 440764490018853, 504234576581567832]]
[1288, 4, [1, 322, 259210, 250396860, 262040313990, 286881735756252, 323315716197296004]]
[1292, 2, [1, 646, 625974, 673965340, 761917816870, 885958037456436, 1049269635694239036]]
[1296, 216, [1, 6, 3906, 3382596, 3292957206, 3418089579828, 3694954835794068]]
[1300, 10, [1, 130, 92950, 84584500, 85218883750, 90843330077500, 100381879735637500]]
[1304, 4, [1, 326, 265690, 259844820, 275305586790, 305148712398036, 348174680846159076]]
[1305, 3, [1, 435, 378450, 384126750, 417737840625, 472461497746875, 548055337386375000]]
[1308, 2, [1, 654, 641574, 699315660, 800366772870, 942191765022564, 1129687926262054236]]
[1312, 16, [1, 82, 57154, 51552908, 51784896086, 55202699227676, 61109388045037332]]
[1314, 3, [1, 438, 383688, 392129136, 429381403920, 488979542784096, 571128105971824128]]
[1316, 2, [1, 658, 649446, 712225780, 820127985670, 971359586227548, 1171783447519165404]]
[1320, 4, [1, 330, 272250, 269527500, 289068243750, 324334569487500, 374606427758062500]]
[1323, 63, [1, 21, 14112, 12545568, 12514204080, 13297593255408, 14707138140481248]]
[1324, 2, [1, 662, 657366, 725293820, 840252890470, 1001245344284052, 1215178099512744444]]
[1325, 5, [1, 265, 210675, 204705875, 216988227500, 241507897207500, 277331568626612500]]
[1328, 8, [1, 166, 124002, 116644548, 121018718550, 132588108043380, 150399110557207380]]
[1331, 121, [1, 11, 7381, 6576471, 6583047471, 7024111651557, 7803788044879827]]
[1332, 6, [1, 222, 172494, 165939228, 174982915926, 194231036677860, 222782999069505420]]
[1336, 4, [1, 334, 278890, 279447780, 303340565190, 344473545829764, 402689575074994116]]
[1340, 2, [1, 670, 673350, 751907500, 881611543750, 1063223521762500, 1305992892564937500]]
[1341, 3, [1, 447, 399618, 416801574, 465775758945, 541324587045879, 645258907758687768]]
[1344, 32, [1, 42, 29106, 26486460, 26976459510, 29231691525036, 32944116348715572]]
[1348, 2, [1, 674, 681414, 765455060, 902854243270, 1095342767935164, 1353478546911884316]]
[1350, 45, [1, 30, 20700, 18837000, 19213740000, 20866121640000, 23578717453200000]]
[1352, 52, [1, 26, 17914, 16301740, 16635925670, 18079924018156, 20448394064534436]]
[1356, 2, [1, 678, 689526, 779164380, 924478536870, 1128233606396148, 1402394372750411964]]
[1359, 3, [1, 453, 410418, 433811826, 491291892945, 578643591510621, 699001458544830168]]
[1360, 8, [1, 170, 130050, 125281500, 133111593750, 149351208187500, 173496320177812500]]
[1364, 2, [1, 682, 697686, 793036420, 946488967270, 1161909856220652, 1452774623561221884]]
[1368, 12, [1, 114, 84474, 80250300, 84623941350, 94541867276220, 109574024173138980]]
[1369, 37, [1, 37, 26011, 24060175, 24926341300, 27483783917380, 31523900153234860]]
[1372, 98, [1, 14, 9702, 8919372, 9209251590, 10133860449636, 11610026121799644]]
[1375, 25, [1, 55, 39325, 36768875, 38423474375, 42688480030625, 49305194435371875]]
[1376, 16, [1, 86, 62866, 59471236, 62652947126, 70045994886868, 81323400063653748]]
[1377, 27, [1, 51, 36414, 34047090, 35596232595, 39575891399121, 45749730457383876]]
[1380, 2, [1, 690, 714150, 821272500, 991686543750, 1231674687337500, 1558068479481937500]]
[1384, 4, [1, 346, 299290, 310663020, 349340565990, 410964241830636, 497677696856900196]]
[1386, 3, [1, 462, 426888, 460185264, 531513979920, 638454592679904, 786576058181641728]]
[1388, 2, [1, 694, 722454, 835638460, 1014882909670, 1267791730759764, 1613053678770006396]]
[1392, 8, [1, 174, 136242, 134334612, 146088890550, 167768481907620, 199476724988160180]]
[1395, 3, [1, 465, 432450, 469208250, 545454590625, 659454600065625, 817723704081375000]]
[1396, 2, [1, 698, 730806, 850170980, 1038483852070, 1304751111740748, 1669646505990910524]]
[1400, 20, [1, 70, 51450, 49220500, 52542883750, 59583630172500, 70209377553262500]]
[1404, 18, [1, 78, 57798, 55601676, 59632797510, 67909829804388, 80337328658591004]]
[1408, 64, [1, 22, 15730, 14880580, 15795735670, 17861817895636, 21023359663163572]]
[1412, 2, [1, 706, 747654, 879739540, 1086918201670, 1381255650682236, 1787805230533040796]]
[1413, 3, [1, 471, 443682, 487606518, 574156674945, 703112264137647, 883109003756884632]]
[1416, 4, [1, 354, 313290, 332713980, 382787433990, 460722955550364, 570835741926900996]]
[1420, 2, [1, 710, 756150, 894777500, 1111761043750, 1420830613912500, 1849447849109437500]]
[1421, 7, [1, 203, 164836, 167308540, 186799984910, 219938302233034, 267884852119835412]]
[1422, 3, [1, 474, 449352, 496983312, 588925224720, 725791446944928, 917400388938388992]]
[1424, 8, [1, 178, 142578, 143813676, 159992714550, 187959441053340, 228621333467879220]]
[1425, 5, [1, 285, 243675, 254640375, 290290027500, 347477162917500, 429134296203112500]]
[1428, 2, [1, 714, 764694, 909985860, 1137027332070, 1461307527176364, 1912851553073860476]]
[1431, 9, [1, 159, 126405, 127289835, 141673586355, 166693141705293, 203198939738752167]]
[1432, 4, [1, 358, 320410, 344120340, 400384015590, 487347423776148, 610646321991513444]]
[1436, 2, [1, 718, 773286, 925365580, 1162721851270, 1502701720581348, 1978056364858581084]]
[1440, 48, [1, 30, 22050, 21388500, 23259993750, 26935072762500, 32456762678812500]]
[1444, 38, [1, 38, 28158, 27463436, 30003803830, 34888423093524, 42203362468799532]]
[1445, 17, [1, 85, 65025, 64483125, 71253853125, 83580769715625, 101829237770203125]]
[1448, 4, [1, 362, 327610, 355784460, 418580417190, 515188777477452, 652744181063931684]]
[1449, 3, [1, 483, 466578, 525833406, 634943837745, 797362471440171, 1027002863214940248]]
[1450, 5, [1, 290, 252300, 268279000, 311203640000, 379046033520000, 476334515456800000]]
[1452, 22, [1, 66, 50094, 49593060, 54825127830, 64408560174684, 78642851973289164]]
[1456, 8, [1, 182, 149058, 153728484, 174866150550, 210049220040660, 261231213323900820]]
[1458, 243, [1, 6, 4392, 4277808, 4684199760, 5469271639776, 6650634313967616]]
[1460, 2, [1, 730, 799350, 972542500, 1242423043750, 1632543879487500, 2184887892047437500]]
[1464, 4, [1, 366, 334890, 367709220, 437390117190, 544288261831236, 697233263405813316]]
[1467, 3, [1, 489, 478242, 545674122, 667086614145, 848133921223953, 1105966633276034712]]
[1468, 2, [1, 734, 808134, 988617260, 1269878870470, 1677763963664964, 2257711040438486556]]
[1470, 7, [1, 210, 176400, 185220000, 213929100000, 260565643800000, 328312711188000000]]
[1472, 32, [1, 46, 34914, 34797620, 38816745110, 46067713096548, 56862913865505748]]
[1475, 5, [1, 295, 261075, 282396125, 333227427500, 412868782672500, 527783927183012500]]
[1476, 6, [1, 246, 211806, 225785196, 263830001526, 324510901876980, 412453356285641580]]
[1480, 4, [1, 370, 342250, 379897500, 456826743750, 574688043637500, 744221016510562500]]
[1484, 2, [1, 742, 825846, 1021296220, 1326153141670, 1771210136014452, 2409436188358326204]]
[1485, 9, [1, 165, 136125, 142250625, 164299471875, 200609655159375, 253771213776609375]]
[1488, 8, [1, 186, 155682, 164088828, 190753262550, 234168705106380, 297628424190208980]]
[1492, 2, [1, 746, 834774, 1037902340, 1354981504870, 1819469164739436, 2488427327641968636]]
[1494, 3, [1, 498, 496008, 576361296, 717569813520, 929109394545696, 1233857275956684288]]
[1496, 4, [1, 374, 349690, 392352180, 476904074790, 606431221502964, 793818468947379876]]
[1500, 50, [1, 30, 22950, 23179500, 26250783750, 31658445202500, 39731348729137500]]
[1503, 3, [1, 501, 502002, 586840338, 735017523345, 957433825909197, 1279131591414687192]]
[1504, 16, [1, 94, 75106, 77659604, 89425034006, 109277391555332, 138673009883716308]]
[1508, 2, [1, 754, 852774, 1071652660, 1414045684870, 1919142803505564, 2652895068712524636]]
[1512, 36, [1, 42, 32634, 33351948, 38171304486, 46492648863948, 58906186110622116]]
[1516, 2, [1, 758, 861846, 1088798780, 1444291581670, 1970591434030548, 2738465229491118204]]
[1519, 7, [1, 217, 188356, 204366260, 243911131310, 306986549866766, 399696487926529332]]
[1520, 8, [1, 190, 162450, 174904500, 207699093750, 260454663562500, 338156971525312500]]
[1521, 39, [1, 39, 30420, 31241340, 35943161670, 44015995781082, 56076378625098468]]
[1524, 2, [1, 762, 870966, 1106126820, 1475020114470, 2023137589007052, 2826323211842851644]]
[1525, 5, [1, 305, 279075, 312098875, 380760627500, 487754363827500, 644648684192012500]]
[1528, 4, [1, 382, 364810, 418072260, 519036710790, 674124879974052, 901304964525307524]]
[1530, 3, [1, 510, 520200, 619038000, 789273450000, 1046576594700000, 1423344168792000000]]
[1532, 2, [1, 766, 880134, 1123637740, 1506236390470, 2076798735180036, 2916517690437830556]]
[1536, 256, [1, 6, 4626, 4746276, 5474829366, 6734040120180, 8626305393950580]]
[1539, 27, [1, 57, 45486, 47532870, 55542158595, 69016686270147, 89169558661029924]]
[1540, 2, [1, 770, 889350, 1141332500, 1537945543750, 2131592523637500, 3009098112534937500]]
[1544, 4, [1, 386, 372490, 431343420, 541120320390, 710166308479836, 959434682756258436]]
[1548, 6, [1, 258, 232974, 260464932, 319199774166, 411767708674140, 548886355662628620]]
[1550, 5, [1, 310, 288300, 327701000, 406349240000, 529066710480000, 710712947744800000]]
[1552, 8, [1, 194, 169362, 186185292, 225749666550, 289049873050620, 383183781707438580]]
[1556, 2, [1, 778, 907926, 1177277380, 1602863152870, 2244649559279148, 3201618488051824764]]
[1557, 3, [1, 519, 538722, 652392342, 846479063745, 1142238848617503, 1580858566486624152]]
[1560, 4, [1, 390, 380250, 444892500, 563901243750, 747733049212500, 1020655612175062500]]
[1564, 2, [1, 782, 917286, 1195529420, 1636082011270, 2302949039063652, 3301661272337589084]]
[1566, 9, [1, 174, 151380, 166820760, 203187685680, 261624464081568, 349007035084811712]]
[1568, 112, [1, 14, 11074, 11627700, 13714872150, 17242337266980, 22570219482476820]]
[1572, 2, [1, 786, 926694, 1213969140, 1669814552070, 2362453628268636, 3404295678335104476]]
[1573, 11, [1, 143, 122694, 134513522, 163501185991, 210426026370417, 280848603195716556]]
[1575, 15, [1, 105, 88200, 95697000, 115554127500, 148024837327500, 196873033645575000]]
[1576, 4, [1, 394, 388090, 458722380, 587394007590, 786873012567564, 1085097884330670756]]
[1580, 2, [1, 790, 936150, 1232597500, 1704066043750, 2423181914212500, 3509575139084437500]]
[1584, 24, [1, 66, 54450, 58697100, 70700656950, 90525121158780, 120488936262336180]]
[1587, 23, [1, 69, 57132, 61759692, 74574828090, 95709334370706, 127676252050521804]]
[1588, 2, [1, 794, 945654, 1251415460, 1738841781670, 2485152674362764, 3617553909647396796]]
[1592, 4, [1, 398, 396010, 472835940, 611613288390, 827635101849348, 1152895696876141764]]
[1593, 9, [1, 177, 156645, 175599045, 217567216755, 284969540505699, 386703666466233543]]
[1596, 2, [1, 798, 955206, 1270423980, 1774147088070, 2548384877303748, 3728287075495383324]]
[1600, 160, [1, 10, 8050, 8613500, 10357733750, 13278614667500, 17726950581112500]]
[1602, 3, [1, 534, 570312, 710608752, 948662683920, 1317123270354528, 1875583536984847872]]
[1604, 2, [1, 802, 964806, 1289624020, 1809987312070, 2612897683704252, 3841830560939818524]]
[1608, 4, [1, 402, 404010, 487236060, 636573912390, 870069223454652, 1224187397400695364]]
[1611, 3, [1, 537, 576738, 722652714, 970161268545, 1354539163142529, 1939700081620101528]]
[1612, 2, [1, 806, 974454, 1309016540, 1846367829670, 2678710447285236, 3958241137605150396]]
[1616, 8, [1, 202, 183618, 210181404, 265354022550, 353769982863660, 488320499679472020]]
[1617, 7, [1, 231, 213444, 246527820, 313213595310, 419643574996338, 581625994944924468]]
[1620, 54, [1, 30, 24750, 26977500, 32979993750, 42939951862500, 58183634773687500]]
[1624, 4, [1, 406, 412090, 501925620, 662290855590, 914226297056436, 1299115568117195556]]
[1625, 25, [1, 65, 54925, 60692125, 74954774375, 98415618754375, 134337319599721875]]
[1628, 2, [1, 814, 993894, 1348382860, 1920771384070, 2814314231939364, 4199894938797510876]]
[1629, 3, [1, 543, 589698, 747147366, 1014252549345, 1431921749165271, 2073422692791312408]]
[1632, 16, [1, 102, 88434, 99222948, 123979073526, 164396251495476, 226373638309270452]]
[1636, 2, [1, 818, 1003686, 1368358580, 1958805307270, 2884144934424348, 4325256019991713884]]
[1638, 3, [1, 546, 596232, 759599568, 1036853410320, 1471917101290272, 2143111299478636032]]
[1640, 4, [1, 410, 420250, 516907500, 688779243750, 960158265787500, 1377827111405062500]]
[1644, 2, [1, 822, 1013526, 1388530620, 1997401296870, 2955354958848852, 4453719922985219964]]
[1647, 9, [1, 183, 167445, 194068755, 248602075155, 336656930174901, 472329673035386103]]
[1648, 8, [1, 206, 190962, 222916308, 287004746550, 390211653409380, 549287937449270580]]
[1650, 5, [1, 330, 326700, 395307000, 521805240000, 723222062640000, 1034207549575200000]]
[1652, 2, [1, 826, 1023414, 1408899940, 2036564863270, 3027964638709836, 4585347784552928316]]
[1656, 12, [1, 138, 123786, 142353900, 181714753350, 245751032430540, 344788698500047620]]
[1660, 2, [1, 830, 1033350, 1429467500, 2076301543750, 3101994506362500, 4720201640514937500]]
[1664, 64, [1, 26, 21970, 24562460, 30813606070, 41179303151948, 57280410684359668]]
[1665, 3, [1, 555, 616050, 797784750, 1106926340625, 1597294709521875, 2363996170092375000]]
[1666, 7, [1, 238, 226576, 269625440, 352939700960, 487197963205184, 695718691457002752]]
[1668, 2, [1, 834, 1043334, 1450234260, 2116616902470, 3177465293987964, 4858344434507596956]]
[1672, 4, [1, 418, 436810, 547759740, 744131606790, 1057559839569948, 1547210045290833924]]
[1674, 9, [1, 186, 172980, 203770440, 265309112880, 365171462968032, 520734506192413632]]
[1675, 5, [1, 335, 336675, 413549125, 554155827500, 779697249292500, 1131860506889612500]]
[1676, 2, [1, 838, 1053366, 1471201180, 2157516530470, 3254397934560948, 4999840026797136444]]
[1680, 8, [1, 210, 198450, 236155500, 309954093750, 429596373937500, 616470796600312500]]
[1681, 41, [1, 41, 35301, 40043101, 50894781371, 68860639194963, 96932826440109583]]
[1682, 29, [1, 58, 50460, 57558040, 73444059040, 99678276929088, 140679274839252864]]
[1683, 3, [1, 561, 629442, 823939578, 1155575258145, 1685522071530297, 2521541019009324312]]
[1684, 2, [1, 842, 1063446, 1492369220, 2199006045670, 3332813562817452, 5144753203135873404]]
[1688, 4, [1, 422, 445210, 563635860, 773026581990, 1109138539839252, 1638197623342575204]]
[1690, 13, [1, 130, 118300, 138411000, 179934300000, 247949465400000, 354567735522000000]]
[1692, 6, [1, 282, 278334, 340124148, 455596296246, 642390777706860, 935963363118895020]]
[1694, 11, [1, 154, 142296, 168004144, 219917424496, 304805550351456, 438107177705159424]]
[1696, 16, [1, 106, 95506, 111359996, 144600954806, 199260115722668, 285141225599137908]]
[1700, 10, [1, 170, 158950, 189150500, 249205783750, 347392862547500, 501982686381137500]]
[1701, 81, [1, 21, 18081, 20630421, 26427569301, 36073632095865, 51260631208224165]]
[1704, 4, [1, 426, 453690, 579815820, 802755002790, 1162710346041036, 1733601125947184676]]
[1708, 2, [1, 854, 1093974, 1557089660, 2327070496870, 3577172767788564, 5600660163434295036]]
[1710, 3, [1, 570, 649800, 864234000, 1231533450000, 1825132572900000, 2774201510808000000]]
[1712, 8, [1, 214, 206082, 249908772, 334252982550, 472098912553620, 690365976457576980]]
[1715, 49, [1, 35, 30625, 35371875, 45806578125, 63167271234375, 90645034221328125]]
[1716, 2, [1, 858, 1104246, 1579071780, 2370976277670, 3661735763233548, 5759910355566371004]]
[1719, 3, [1, 573, 656658, 877951746, 1257665876145, 1873670622280821, 2862968710845094488]]
[1720, 4, [1, 430, 462250, 596302500, 833332743750, 1218332471362500, 1833590369400562500]]
[1724, 2, [1, 862, 1114566, 1601259820, 2415500438470, 3747890480330052, 5922916255748258844]]
[1725, 5, [1, 345, 357075, 451699875, 623345827500, 903228104047500, 1350326015551012500]]
[1728, 288, [1, 6, 5202, 6003108, 7789032630, 10776905546868, 15529520893036788]]

2018年6月23日土曜日

180623

Ruby


Expansion of Riemann-Siegel theta function about infinity

t/2 * log(t/(2Pi*e)) - Pi/8 + 1/(48t) + 7/(5760t^3) + 31/(80640t^5) + ...
となるが、1/t^(2n-1) の係数を求めてみた。

def bernoulli(n)
  ary = []
  a = []
  (0..n).each{|i|
    a << 1r / (i + 1)
    i.downto(1){|j| a[j - 1] = j * (a[j - 1] - a[j])}
    ary << a[0] # Bn = a[0]
  }
  ary
end

# 1/t^(2n-1)の係数
def RiemannSiegelTheta_infty(n)
  a = bernoulli(2 * n)
  (1..n).map{|i| (1 - 1r / 2 ** (2 * i - 1)) * a[2 * i].abs / (4 * i * (2 * i - 1))}
end

n = 50
ary = RiemannSiegelTheta_infty(n)
(1..n).each{|i| p [-(2 * i - 1), ary[i - 1]]}

出力結果
[-1, (1/48)]
[-3, (7/5760)]
[-5, (31/80640)]
[-7, (127/430080)]
[-9, (511/1216512)]
[-11, (1414477/1476034560)]
[-13, (8191/2555904)]
[-15, (118518239/8021606400)]
[-17, (5749691557/64012419072)]
[-19, (91546277357/131491430400)]
[-21, (23273283019/3472883712)]
[-23, (1982765468311237/25282593423360)]
[-25, (22076500342261/20132659200)]
[-27, (455371239541065869/25222195445760)]
[-29, (925118910976041358111/2675794690179072)]
[-31, (16555640865486520478399/2172909854392320)]
[-33, (1302480594081611886641/6803228196864)]
[-35, (904185845619475242495834469891/166176023021774438400)]
[-37, (21194489326041221593005331/122045790683136)]
[-39, (143531742398845896012634103722237/23207172025142476800)]
[-41, (3342730069684120811652882591487741/13677625582370684928)]
[-43, (22256729848336009246732182756923251/2087840639751290880)]
[-45, (912424254048568138351970895723328417/1785958727229112320)]
[-47, (789453341324662409540561918158225679892869/29470700277583325429760)]
[-49, (11147697225254007513111810575214137741411/7282320597458092032)]
[-51, (138774216525269492267278889184261960029330207/1460787575133894082560)]
[-53, (262559530727861921881866927518259047914603716781/41142652410241675689984)]
[-55, (12761363511497245973575744337905525496252437981349/27583646997718813900800)]
[-57, (419840407831094306834595297832289933826084178563079/11631825059978479140864)]
[-59, (700534210387317657846086373720757772905116340448339145899117/231766073364291824836096819200)]
[-61, (914942546207257218347013581951612877187089501496318471/3375754165488847945728)]
[-63, (140700998996297447343377044678566519904070471757052352911817/5418915539092917882716160)]
[-65, (4939031951109733965140066606930832835066903671403675776709554121/1862499865104262175517573120)]
[-67, (683815428157937271065504753388761438699875983320779224773534231/2372989157641996719882240)]
[-69, (25389151494943714651600252168784508359163010155160678766142014854631/763450822186086932762591232)]
[-71, (13760869587331995975993746457467711498463585881697886664960973906542546557363/3382138320647781222946103875338240)]
[-73, (8717850308951125943106241478955633907151863144161504932373403782468541/16547172155975236828790784)]
[-75, (49023311622640470047865661213465876006186714374825393546428762025041095693/680020773533228910772224000)]
[-77, (4822293101128764729841245801951842665278817210269947201709724528113391868856229/463295432925094723993473122304)]
[-79, (2782816853788582377005851633530926719138614127020726458440267606052697114593813198429/1757370975503624612916738863923200)]
[-81, (98896863649218655409761838437607758457536833175487436710877802954285346163824024443/390125197692919293194381819904)]
[-83, (19580499496346711729461614442098338002401418332067606586224352059717880243995978807707091139/459098754681771582869232682134405120)]
[-85, (594422297905774846957822708248761492855687960626880103613286834213475178872065418347611/78918677504442992524819169280)]
[-87, (18448492714875017545254892621120767642137492300133642132001473995657945654874039977000838622979/13227810219377645266590608035676160)]
[-89, (145960221431107281351963087682715030380082072086568444045058765037532667787093417143826510295814277/539658959711635093651289816709464064)]
[-91, (139465888662750057525922213557499999477386634608852751750285481117999879995472867750432983815705583/2541441383051314289156906066903040)]
[-93, (257241581562121447666054655595056567786609536891241202135519514439930252484340788857092820933671991/22104657341479750188598762143744)]
[-95, (8382357404391815551752970865183522834120355297893424941747925300960451850332144891424129781485313192714397253/3252802722275978675482213745653343846400)]
[-97, (219601906638938053472410975845541383947744568855462550031915350118687904096064182124956938408313871105681/368886324666414755835540632764416)]
[-99, (59958629710911453578995485137914549750642868138660184276639300866956629960970010246003223021546695820758192199457/418282865605508170923662666568302592000)]

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]]