uwi · August 29, 2015 14:28
diff --git a/data.txt b/data.txt
 [4, 16, [1, 2, 3, 5, 10, 15, 17, 34, 51, 85, 170, 255, 257, 273, 289, 305, 514, 530, 546, 562, 771, 787, 803, 819, 1285, 1365, 1445, 1525, 2570, 2650, 2730, 2810, 3855, 3935, 4015, 4095, 4097, 4369, 4641, 4913, 8194, 8466, 8738, 9010, 12291, 12563, 12835, 13107, 20485, 21845, 23205, 24565, 40970, 42330, 43690, 45050, 61455, 62815, 64175, 65535, 65537, 65793, 66049, 66305, 69649, 69905, 70161, 70417, 73761, 74017, 74273, 74529, 77873, 78129, 78385, 78641, 131074, 131330, 131586, 131842, 135186, 135442, 135698, 135954, 139298, 139554, 139810, 140066, 143410, 143666, 143922, 144178, 196611, 196867, 197123, 197379, 200723, 200979, 201235, 201491, 204835, 205091, 205347, 205603, 208947, 209203, 209459, 209715, 327685, 328965, 330245, 331525, 348245, 349525, 350805, 352085, 368805, 370085, 371365, 372645, 389365, 390645, 391925, 393205, 655370, 656650, 657930, 659210, 675930, 677210, 678490, 679770, 696490, 697770, 699050, 700330, 717050, 718330, 719610, 720890, 983055, 984335, 985615, 986895, 1003615, 1004895, 1006175, 1007455, 1024175, 1025455, 1026735, 1028015, 1044735, 1046015, 1047295, 1048575, 1048577, 1052929, 1057281, 1061633, 1114129, 1118481, 1122833, 1127185, 1179681, 1184033, 1188385, 1192737, 1245233, 1249585, 1253937, 1258289, 2097154, 2101506, 2105858, 2110210, 2162706, 2167058, 2171410, 2175762, 2228258, 2232610, 2236962, 2241314, 2293810, 2298162, 2302514, 2306866, 3145731, 3150083, 3154435, 3158787, 3211283, 3215635, 3219987, 3224339, 3276835, 3281187, 3285539, 3289891, 3342387, 3346739, 3351091, 3355443, 5242885, 5264645, 5286405, 5308165, 5570645, 5592405, 5614165, 5635925, 5898405, 5920165, 5941925, 5963685, 6226165, 6247925, 6269685, 6291445, 10485770, 10507530, 10529290, 10551050, 10813530, 10835290, 10857050, 10878810, 11141290, 11163050, 11184810, 11206570, 11469050, 11490810, 11512570, 11534330, 15728655, 15750415, 15772175, 15793935, 16056415, 16078175, 16099935, 16121695, 16384175, 16405935, 16427695, 16449455, 16711935, 16733695, 16755455, 16777215, 16777217, 16781313, 16785409, 16789505, 16843009, 16847105, 16851201, 16855297, 16908801, 16912897, 16916993, 16921089, 16974593, 16978689, 16982785, 16986881, 17825809, 17829905, 17834001, 17838097, 17891601, 17895697, 17899793, 17903889, 17957393, 17961489, 17965585, 17969681, 18023185, 18027281, 18031377, 18035473, 18874401, 18878497, 18882593, 18886689, 18940193, 18944289, 18948385, 18952481, 19005985, 19010081, 19014177, 19018273, 19071777, 19075873, 19079969, 19084065, 19922993, 19927089, 19931185, 19935281, 19988785, 19992881, 19996977, 20001073, 20054577, 20058673, 20062769, 20066865, 20120369, 20124465, 20128561, 20132657, 33554434, 33558530, 33562626, 33566722, 33620226, 33624322, 33628418, 33632514, 33686018, 33690114, 33694210, 33698306, 33751810, 33755906, 33760002, 33764098, 34603026, 34607122, 34611218, 34615314, 34668818, 34672914, 34677010, 34681106, 34734610, 34738706, 34742802, 34746898, 34800402, 34804498, 34808594, 34812690, 35651618, 35655714, 35659810, 35663906, 35717410, 35721506, 35725602, 35729698, 35783202, 35787298, 35791394, 35795490, 35848994, 35853090, 35857186, 35861282, 36700210, 36704306, 36708402, 36712498, 36766002, 36770098, 36774194, 36778290, 36831794, 36835890, 36839986, 36844082, 36897586, 36901682, 36905778, 36909874, 50331651, 50335747, 50339843, 50343939, 50397443, 50401539, 50405635, 50409731, 50463235, 50467331, 50471427, 50475523, 50529027, 50533123, 50537219, 50541315, 51380243, 51384339, 51388435, 51392531, 51446035, 51450131, 51454227, 51458323, 51511827, 51515923, 51520019, 51524115, 51577619, 51581715, 51585811, 51589907, 52428835, 52432931, 52437027, 52441123, 52494627, 52498723, 52502819, 52506915, 52560419, 52564515, 52568611, 52572707, 52626211, 52630307, 52634403, 52638499, 53477427, 53481523, 53485619, 53489715, 53543219, 53547315, 53551411, 53555507, 53609011, 53613107, 53617203, 53621299, 53674803, 53678899, 53682995, 53687091, 83886085, 83906565, 83927045, 83947525, 84215045, 84235525, 84256005, 84276485, 84544005, 84564485, 84584965, 84605445, 84872965, 84893445, 84913925, 84934405, 89129045, 89149525, 89170005, 89190485, 89458005, 89478485, 89498965, 89519445, 89786965, 89807445, 89827925, 89848405, 90115925, 90136405, 90156885, 90177365, 94372005, 94392485, 94412965, 94433445, 94700965, 94721445, 94741925, 94762405, 95029925, 95050405, 95070885, 95091365, 95358885, 95379365, 95399845, 95420325, 99614965, 99635445, 99655925, 99676405, 99943925, 99964405, 99984885, 100005365, 100272885, 100293365, 100313845, 100334325, 100601845, 100622325, 100642805, 100663285, 167772170, 167792650, 167813130, 167833610, 168101130, 168121610, 168142090, 168162570, 168430090, 168450570, 168471050, 168491530, 168759050, 168779530, 168800010, 168820490, 173015130, 173035610, 173056090, 173076570, 173344090, 173364570, 173385050, 173405530, 173673050, 173693530, 173714010, 173734490, 174002010, 174022490, 174042970, 174063450, 178258090, 178278570, 178299050, 178319530, 178587050, 178607530, 178628010, 178648490, 178916010, 178936490, 178956970, 178977450, 179244970, 179265450, 179285930, 179306410, 183501050, 183521530, 183542010, 183562490, 183830010, 183850490, 183870970, 183891450, 184158970, 184179450, 184199930, 184220410, 184487930, 184508410, 184528890, 184549370, 251658255, 251678735, 251699215, 251719695, 251987215, 252007695, 252028175, 252048655, 252316175, 252336655, 252357135, 252377615, 252645135, 252665615, 252686095, 252706575, 256901215, 256921695, 256942175, 256962655, 257230175, 257250655, 257271135, 257291615, 257559135, 257579615, 257600095, 257620575, 257888095, 257908575, 257929055, 257949535, 262144175, 262164655, 262185135, 262205615, 262473135, 262493615, 262514095, 262534575, 262802095, 262822575, 262843055, 262863535, 263131055, 263151535, 263172015, 263192495, 267387135, 267407615, 267428095, 267448575, 267716095, 267736575, 267757055, 267777535, 268045055, 268065535, 268086015, 268106495, 268374015, 268394495, 268414975, 268435455, 268435457, 268505089, 268574721, 268644353, 269484289, 269553921, 269623553, 269693185, 270533121, 270602753, 270672385, 270742017, 271581953, 271651585, 271721217, 271790849, 285212689, 285282321, 285351953, 285421585, 286261521, 286331153, 286400785, 286470417, 287310353, 287379985, 287449617, 287519249, 288359185, 288428817, 288498449, 288568081, 301989921, 302059553, 302129185, 302198817, 303038753, 303108385, 303178017, 303247649, 304087585, 304157217, 304226849, 304296481, 305136417, 305206049, 305275681, 305345313, 318767153, 318836785, 318906417, 318976049, 319815985, 319885617, 319955249, 320024881, 320864817, 320934449, 321004081, 321073713, 321913649, 321983281, 322052913, 322122545, 536870914, 536940546, 537010178, 537079810, 537919746, 537989378, 538059010, 538128642, 538968578, 539038210, 539107842, 539177474, 540017410, 540087042, 540156674, 540226306, 553648146, 553717778, 553787410, 553857042, 554696978, 554766610, 554836242, 554905874, 555745810, 555815442, 555885074, 555954706, 556794642, 556864274, 556933906, 557003538, 570425378, 570495010, 570564642, 570634274, 571474210, 571543842, 571613474, 571683106, 572523042, 572592674, 572662306, 572731938, 573571874, 573641506, 573711138, 573780770, 587202610, 587272242, 587341874, 587411506, 588251442, 588321074, 588390706, 588460338, 589300274, 589369906, 589439538, 589509170, 590349106, 590418738, 590488370, 590558002, 805306371, 805376003, 805445635, 805515267, 806355203, 806424835, 806494467, 806564099, 807404035, 807473667, 807543299, 807612931, 808452867, 808522499, 808592131, 808661763, 822083603, 822153235, 822222867, 822292499, 823132435, 823202067, 823271699, 823341331, 824181267, 824250899, 824320531, 824390163, 825230099, 825299731, 825369363, 825438995, 838860835, 838930467, 839000099, 839069731, 839909667, 839979299, 840048931, 840118563, 840958499, 841028131, 841097763, 841167395, 842007331, 842076963, 842146595, 842216227, 855638067, 855707699, 855777331, 855846963, 856686899, 856756531, 856826163, 856895795, 857735731, 857805363, 857874995, 857944627, 858784563, 858854195, 858923827, 858993459, 1342177285, 1342525445, 1342873605, 1343221765, 1347421445, 1347769605, 1348117765, 1348465925, 1352665605, 1353013765, 1353361925, 1353710085, 1357909765, 1358257925, 1358606085, 1358954245, 1426063445, 1426411605, 1426759765, 1427107925, 1431307605, 1431655765, 1432003925, 1432352085, 1436551765, 1436899925, 1437248085, 1437596245, 1441795925, 1442144085, 1442492245, 1442840405, 1509949605, 1510297765, 1510645925, 1510994085, 1515193765, 1515541925, 1515890085, 1516238245, 1520437925, 1520786085, 1521134245, 1521482405, 1525682085, 1526030245, 1526378405, 1526726565, 1593835765, 1594183925, 1594532085, 1594880245, 1599079925, 1599428085, 1599776245, 1600124405, 1604324085, 1604672245, 1605020405, 1605368565, 1609568245, 1609916405, 1610264565, 1610612725, 2684354570, 2684702730, 2685050890, 2685399050, 2689598730, 2689946890, 2690295050, 2690643210, 2694842890, 2695191050, 2695539210, 2695887370, 2700087050, 2700435210, 2700783370, 2701131530, 2768240730, 2768588890, 2768937050, 2769285210, 2773484890, 2773833050, 2774181210, 2774529370, 2778729050, 2779077210, 2779425370, 2779773530, 2783973210, 2784321370, 2784669530, 2785017690, 2852126890, 2852475050, 2852823210, 2853171370, 2857371050, 2857719210, 2858067370, 2858415530, 2862615210, 2862963370, 2863311530, 2863659690, 2867859370, 2868207530, 2868555690, 2868903850, 2936013050, 2936361210, 2936709370, 2937057530, 2941257210, 2941605370, 2941953530, 2942301690, 2946501370, 2946849530, 2947197690, 2947545850, 2951745530, 2952093690, 2952441850, 2952790010, 4026531855, 4026880015, 4027228175, 4027576335, 4031776015, 4032124175, 4032472335, 4032820495, 4037020175, 4037368335, 4037716495, 4038064655, 4042264335, 4042612495, 4042960655, 4043308815, 4110418015, 4110766175, 4111114335, 4111462495, 4115662175, 4116010335, 4116358495, 4116706655, 4120906335, 4121254495, 4121602655, 4121950815, 4126150495, 4126498655, 4126846815, 4127194975, 4194304175, 4194652335, 4195000495, 4195348655, 4199548335, 4199896495, 4200244655, 4200592815, 4204792495, 4205140655, 4205488815, 4205836975]]
 [3, 9, [1, 2, 4, 8, 10, 20, 40, 80, 82, 91, 100, 164, 173, 182, 328, 364, 400, 656, 692, 728, 730, 820, 910, 1460, 1550, 1640, 2920, 3280, 3640, 5840, 6200, 6560, 6562, 6643, 6724, 7300, 7381, 7462, 8038, 8119, 8200, 13124, 13205, 13286, 13862, 13943, 14024, 14600, 14681, 14762, 26248, 26572, 26896, 29200, 29524, 29848, 32152, 32476, 32800, 52496, 52820, 53144, 55448, 55772, 56096, 58400, 58724, 59048, 59050, 59860, 60670, 65620, 66430, 67240, 72190, 73000, 73810, 118100, 118910, 119720, 124670, 125480, 126290, 131240, 132050, 132860, 236200, 239440, 242680, 262480, 265720, 268960, 288760, 292000, 295240, 472400, 475640, 478880, 498680, 501920, 505160, 524960, 528200, 531440, 531442, 532171, 532900, 538084, 538813, 539542, 544726, 545455, 546184, 590500, 591229, 591958, 597142, 597871, 598600, 603784, 604513, 605242, 649558, 650287, 651016, 656200, 656929, 657658, 662842, 663571, 664300, 1062884, 1063613, 1064342, 1069526, 1070255, 1070984, 1076168, 1076897, 1077626, 1121942, 1122671, 1123400, 1128584, 1129313, 1130042, 1135226, 1135955, 1136684, 1181000, 1181729, 1182458, 1187642, 1188371, 1189100, 1194284, 1195013, 1195742, 2125768, 2128684, 2131600, 2152336, 2155252, 2158168, 2178904, 2181820, 2184736, 2362000, 2364916, 2367832, 2388568, 2391484, 2394400, 2415136, 2418052, 2420968, 2598232, 2601148, 2604064, 2624800, 2627716, 2630632, 2651368, 2654284, 2657200, 4251536, 4254452, 4257368, 4278104, 4281020, 4283936, 4304672, 4307588, 4310504, 4487768, 4490684, 4493600, 4514336, 4517252, 4520168, 4540904, 4543820, 4546736, 4724000, 4726916, 4729832, 4750568, 4753484, 4756400, 4777136, 4780052, 4782968, 4782970, 4790260, 4797550, 4842100, 4849390, 4856680, 4901230, 4908520, 4915810, 5314420, 5321710, 5329000, 5373550, 5380840, 5388130, 5432680, 5439970, 5447260, 5845870, 5853160, 5860450, 5905000, 5912290, 5919580, 5964130, 5971420, 5978710, 9565940, 9573230, 9580520, 9625070, 9632360, 9639650, 9684200, 9691490, 9698780, 10097390, 10104680, 10111970, 10156520, 10163810, 10171100, 10215650, 10222940, 10230230, 10628840, 10636130, 10643420, 10687970, 10695260, 10702550, 10747100, 10754390, 10761680, 19131880, 19161040, 19190200, 19368400, 19397560, 19426720, 19604920, 19634080, 19663240, 21257680, 21286840, 21316000, 21494200, 21523360, 21552520, 21730720, 21759880, 21789040, 23383480, 23412640, 23441800, 23620000, 23649160, 23678320, 23856520, 23885680, 23914840, 38263760, 38292920, 38322080, 38500280, 38529440, 38558600, 38736800, 38765960, 38795120, 40389560, 40418720, 40447880, 40626080, 40655240, 40684400, 40862600, 40891760, 40920920, 42515360, 42544520, 42573680, 42751880, 42781040, 42810200, 42988400, 43017560, 43046720, 43046722, 43053283, 43059844, 43106500, 43113061, 43119622, 43166278, 43172839, 43179400, 43578244, 43584805, 43591366, 43638022, 43644583, 43651144, 43697800, 43704361, 43710922, 44109766, 44116327, 44122888, 44169544, 44176105, 44182666, 44229322, 44235883, 44242444, 47829700, 47836261, 47842822, 47889478, 47896039, 47902600, 47949256, 47955817, 47962378, 48361222, 48367783, 48374344, 48421000, 48427561, 48434122, 48480778, 48487339, 48493900, 48892744, 48899305, 48905866, 48952522, 48959083, 48965644, 49012300, 49018861, 49025422, 52612678, 52619239, 52625800, 52672456, 52679017, 52685578, 52732234, 52738795, 52745356, 53144200, 53150761, 53157322, 53203978, 53210539, 53217100, 53263756, 53270317, 53276878, 53675722, 53682283, 53688844, 53735500, 53742061, 53748622, 53795278, 53801839, 53808400, 86093444, 86100005, 86106566, 86153222, 86159783, 86166344, 86213000, 86219561, 86226122, 86624966, 86631527, 86638088, 86684744, 86691305, 86697866, 86744522, 86751083, 86757644, 87156488, 87163049, 87169610, 87216266, 87222827, 87229388, 87276044, 87282605, 87289166, 90876422, 90882983, 90889544, 90936200, 90942761, 90949322, 90995978, 91002539, 91009100, 91407944, 91414505, 91421066, 91467722, 91474283, 91480844, 91527500, 91534061, 91540622, 91939466, 91946027, 91952588, 91999244, 92005805, 92012366, 92059022, 92065583, 92072144, 95659400, 95665961, 95672522, 95719178, 95725739, 95732300, 95778956, 95785517, 95792078, 96190922, 96197483, 96204044, 96250700, 96257261, 96263822, 96310478, 96317039, 96323600, 96722444, 96729005, 96735566, 96782222, 96788783, 96795344, 96842000, 96848561, 96855122, 172186888, 172213132, 172239376, 172426000, 172452244, 172478488, 172665112, 172691356, 172717600, 174312976, 174339220, 174365464, 174552088, 174578332, 174604576, 174791200, 174817444, 174843688, 176439064, 176465308, 176491552, 176678176, 176704420, 176730664, 176917288, 176943532, 176969776, 191318800, 191345044, 191371288, 191557912, 191584156, 191610400, 191797024, 191823268, 191849512, 193444888, 193471132, 193497376, 193684000, 193710244, 193736488, 193923112, 193949356, 193975600, 195570976, 195597220, 195623464, 195810088, 195836332, 195862576, 196049200, 196075444, 196101688, 210450712, 210476956, 210503200, 210689824, 210716068, 210742312, 210928936, 210955180, 210981424, 212576800, 212603044, 212629288, 212815912, 212842156, 212868400, 213055024, 213081268, 213107512, 214702888, 214729132, 214755376, 214942000, 214968244, 214994488, 215181112, 215207356, 215233600, 344373776, 344400020, 344426264, 344612888, 344639132, 344665376, 344852000, 344878244, 344904488, 346499864, 346526108, 346552352, 346738976, 346765220, 346791464, 346978088, 347004332, 347030576, 348625952, 348652196, 348678440, 348865064, 348891308, 348917552, 349104176, 349130420, 349156664, 363505688, 363531932, 363558176, 363744800, 363771044, 363797288, 363983912, 364010156, 364036400, 365631776, 365658020, 365684264, 365870888, 365897132, 365923376, 366110000, 366136244, 366162488, 367757864, 367784108, 367810352, 367996976, 368023220, 368049464, 368236088, 368262332, 368288576, 382637600, 382663844, 382690088, 382876712, 382902956, 382929200, 383115824, 383142068, 383168312, 384763688, 384789932, 384816176, 385002800, 385029044, 385055288, 385241912, 385268156, 385294400, 386889776, 386916020, 386942264, 387128888, 387155132, 387181376, 387368000, 387394244, 387420488, 387420490, 387486100, 387551710, 387952660, 388018270, 388083880, 388484830, 388550440, 388616050, 392203540, 392269150, 392334760, 392735710, 392801320, 392866930, 393267880, 393333490, 393399100, 396986590, 397052200, 397117810, 397518760, 397584370, 397649980, 398050930, 398116540, 398182150, 430467220, 430532830, 430598440, 430999390, 431065000, 431130610, 431531560, 431597170, 431662780, 435250270, 435315880, 435381490, 435782440, 435848050, 435913660, 436314610, 436380220, 436445830, 440033320, 440098930, 440164540, 440565490, 440631100, 440696710, 441097660, 441163270, 441228880, 473513950, 473579560, 473645170, 474046120, 474111730, 474177340, 474578290, 474643900, 474709510, 478297000, 478362610, 478428220, 478829170, 478894780, 478960390, 479361340, 479426950, 479492560, 483080050, 483145660, 483211270, 483612220, 483677830, 483743440, 484144390, 484210000, 484275610, 774840980, 774906590, 774972200, 775373150, 775438760, 775504370, 775905320, 775970930, 776036540, 779624030, 779689640, 779755250, 780156200, 780221810, 780287420, 780688370, 780753980, 780819590, 784407080, 784472690, 784538300, 784939250, 785004860, 785070470, 785471420, 785537030, 785602640, 817887710, 817953320, 818018930, 818419880, 818485490, 818551100, 818952050, 819017660, 819083270, 822670760, 822736370, 822801980, 823202930, 823268540, 823334150, 823735100, 823800710, 823866320, 827453810, 827519420, 827585030, 827985980, 828051590, 828117200, 828518150, 828583760, 828649370, 860934440, 861000050, 861065660, 861466610, 861532220, 861597830, 861998780, 862064390, 862130000, 865717490, 865783100, 865848710, 866249660, 866315270, 866380880, 866781830, 866847440, 866913050, 870500540, 870566150, 870631760, 871032710, 871098320, 871163930, 871564880, 871630490, 871696100, 1549681960, 1549944400, 1550206840, 1551810640, 1552073080, 1552335520, 1553939320, 1554201760, 1554464200, 1568814160, 1569076600, 1569339040, 1570942840, 1571205280, 1571467720, 1573071520, 1573333960, 1573596400, 1587946360, 1588208800, 1588471240, 1590075040, 1590337480, 1590599920, 1592203720, 1592466160, 1592728600, 1721868880, 1722131320, 1722393760, 1723997560, 1724260000, 1724522440, 1726126240, 1726388680, 1726651120, 1741001080, 1741263520, 1741525960, 1743129760, 1743392200, 1743654640, 1745258440, 1745520880, 1745783320, 1760133280, 1760395720, 1760658160, 1762261960, 1762524400, 1762786840, 1764390640, 1764653080, 1764915520, 1894055800, 1894318240, 1894580680, 1896184480, 1896446920, 1896709360, 1898313160, 1898575600, 1898838040, 1913188000, 1913450440, 1913712880, 1915316680, 1915579120, 1915841560, 1917445360, 1917707800, 1917970240, 1932320200, 1932582640, 1932845080, 1934448880, 1934711320, 1934973760, 1936577560, 1936840000, 1937102440, 3099363920, 3099626360, 3099888800, 3101492600, 3101755040, 3102017480, 3103621280, 3103883720, 3104146160, 3118496120, 3118758560, 3119021000, 3120624800, 3120887240, 3121149680, 3122753480, 3123015920, 3123278360, 3137628320, 3137890760, 3138153200, 3139757000, 3140019440, 3140281880, 3141885680, 3142148120, 3142410560, 3271550840, 3271813280, 3272075720, 3273679520, 3273941960, 3274204400, 3275808200, 3276070640, 3276333080, 3290683040, 3290945480, 3291207920, 3292811720, 3293074160, 3293336600, 3294940400, 3295202840, 3295465280, 3309815240, 3310077680, 3310340120, 3311943920, 3312206360, 3312468800, 3314072600, 3314335040, 3314597480, 3443737760, 3444000200, 3444262640, 3445866440, 3446128880, 3446391320, 3447995120, 3448257560, 3448520000, 3462869960, 3463132400, 3463394840, 3464998640, 3465261080, 3465523520, 3467127320, 3467389760, 3467652200, 3482002160, 3482264600, 3482527040, 3484130840, 3484393280, 3484655720, 3486259520, 3486521960, 3486784400, 3486784402, 3486843451, 3486902500, 3487322404, 3487381453, 3487440502, 3487860406, 3487919455, 3487978504, 3491568100, 3491627149, 3491686198, 3492106102, 3492165151, 3492224200, 3492644104, 3492703153, 3492762202, 3496351798, 3496410847, 3496469896, 3496889800, 3496948849, 3497007898, 3497427802, 3497486851, 3497545900, 3529831204, 3529890253, 3529949302, 3530369206, 3530428255]]
 [4, 8, [1, 2, 3, 5, 63, 65, 105, 130, 170, 195, 235, 325, 341, 357, 373, 4095, 4097, 4161, 4225, 4289, 6697, 6761, 6825, 6889, 8194, 8258, 8322, 8386, 10794, 10858, 10922, 10986, 12291, 12355, 12419, 12483, 14891, 14955, 15019, 15083, 20485, 20805, 21525, 21845, 22565, 22885, 23605, 23925, 258111, 262143, 262145, 264705, 266305, 268865, 270465, 273025, 274625, 277185, 426025, 428585, 430185, 432745, 434345, 436905, 438505, 441065, 524290, 526850, 528450, 531010, 532610, 535170, 536770, 539330, 688170, 690730, 692330, 694890, 696490, 699050, 700650, 703210, 786435, 788995, 790595, 793155, 794755, 797315, 798915, 801475, 950315, 952875, 954475, 957035, 958635, 961195, 962795, 965355, 1310725, 1311749, 1312773, 1313797, 1331525, 1332549, 1333573, 1334597, 1376277, 1377301, 1378325, 1379349, 1397077, 1398101, 1399125, 1400149, 1441829, 1442853, 1443877, 1444901, 1462629, 1463653, 1464677, 1465701, 1507381, 1508405, 1509429, 1510453, 1528181, 1529205, 1530229, 1531253, 16515135, 16777215, 16777217, 16781313, 16785409, 16789505, 16943617, 16947713, 16951809, 16955905, 17039425, 17043521, 17047617, 17051713, 17205825, 17209921, 17214017, 17218113, 17301633, 17305729, 17309825, 17313921, 17468033, 17472129, 17476225, 17480321, 17563841, 17567937, 17572033, 17576129, 17730241, 17734337, 17738433, 17742529, 27263017, 27267113, 27271209, 27275305, 27429417, 27433513, 27437609, 27441705, 27525225, 27529321, 27533417, 27537513, 27691625, 27695721, 27699817, 27703913, 27787433, 27791529, 27795625, 27799721, 27953833, 27957929, 27962025, 27966121, 28049641, 28053737, 28057833, 28061929, 28216041, 28220137, 28224233, 28228329, 33554434, 33558530, 33562626, 33566722, 33720834, 33724930, 33729026, 33733122, 33816642, 33820738, 33824834, 33828930, 33983042, 33987138, 33991234, 33995330, 34078850, 34082946, 34087042, 34091138, 34245250, 34249346, 34253442, 34257538, 34341058, 34345154, 34349250, 34353346, 34507458, 34511554, 34515650, 34519746, 44040234, 44044330, 44048426, 44052522, 44206634, 44210730, 44214826, 44218922, 44302442, 44306538, 44310634, 44314730, 44468842, 44472938, 44477034, 44481130, 44564650, 44568746, 44572842, 44576938, 44731050, 44735146, 44739242, 44743338, 44826858, 44830954, 44835050, 44839146, 44993258, 44997354, 45001450, 45005546, 50331651, 50335747, 50339843, 50343939, 50498051, 50502147, 50506243, 50510339, 50593859, 50597955, 50602051, 50606147, 50760259, 50764355, 50768451, 50772547, 50856067, 50860163, 50864259, 50868355, 51022467, 51026563, 51030659, 51034755, 51118275, 51122371, 51126467, 51130563, 51284675, 51288771, 51292867, 51296963, 60817451, 60821547, 60825643, 60829739, 60983851, 60987947, 60992043, 60996139, 61079659, 61083755, 61087851, 61091947, 61246059, 61250155, 61254251, 61258347, 61341867, 61345963, 61350059, 61354155, 61508267, 61512363, 61516459, 61520555, 61604075, 61608171, 61612267, 61616363, 61770475, 61774571, 61778667, 61782763, 83886085, 83906565, 83952645, 83973125, 84019205, 84039685, 84085765, 84106245, 85197125, 85217605, 85263685, 85284165, 85330245, 85350725, 85396805, 85417285, 88080405, 88100885, 88146965, 88167445, 88213525, 88234005, 88280085, 88300565, 89391445, 89411925, 89458005, 89478485, 89524565, 89545045, 89591125, 89611605, 92274725, 92295205, 92341285, 92361765, 92407845, 92428325, 92474405, 92494885, 93585765, 93606245, 93652325, 93672805, 93718885, 93739365, 93785445, 93805925, 96469045, 96489525, 96535605, 96556085, 96602165, 96622645, 96668725, 96689205, 97780085, 97800565, 97846645, 97867125, 97913205, 97933685, 97979765, 98000245, 1056964671, 1057222719, 1073483775, 1073741823, 1073741825, 1073905665, 1074008065, 1074171905, 1074274305, 1074438145, 1074540545, 1074704385, 1084230145, 1084393985, 1084496385, 1084660225, 1084762625, 1084926465, 1085028865, 1085192705, 1090519105, 1090682945, 1090785345, 1090949185, 1091051585, 1091215425, 1091317825, 1091481665, 1101007425, 1101171265, 1101273665, 1101437505, 1101539905, 1101703745, 1101806145, 1101969985, 1107296385, 1107460225, 1107562625, 1107726465, 1107828865, 1107992705, 1108095105, 1108258945, 1117784705, 1117948545, 1118050945, 1118214785, 1118317185, 1118481025, 1118583425, 1118747265, 1124073665, 1124237505, 1124339905, 1124503745, 1124606145, 1124769985, 1124872385, 1125036225, 1134561985, 1134725825, 1134828225, 1134992065, 1135094465, 1135258305, 1135360705, 1135524545, 1744830505, 1744994345, 1745096745, 1745260585, 1745362985, 1745526825, 1745629225, 1745793065, 1755318825, 1755482665, 1755585065, 1755748905, 1755851305, 1756015145, 1756117545, 1756281385, 1761607785, 1761771625, 1761874025, 1762037865, 1762140265, 1762304105, 1762406505, 1762570345, 1772096105, 1772259945, 1772362345, 1772526185, 1772628585, 1772792425, 1772894825, 1773058665, 1778385065, 1778548905, 1778651305, 1778815145, 1778917545, 1779081385, 1779183785, 1779347625, 1788873385, 1789037225, 1789139625, 1789303465, 1789405865, 1789569705, 1789672105, 1789835945, 1795162345, 1795326185, 1795428585, 1795592425, 1795694825, 1795858665, 1795961065, 1796124905, 1805650665, 1805814505, 1805916905, 1806080745, 1806183145, 1806346985, 1806449385, 1806613225, 2147483650, 2147647490, 2147749890, 2147913730, 2148016130, 2148179970, 2148282370, 2148446210, 2157971970, 2158135810, 2158238210, 2158402050, 2158504450, 2158668290, 2158770690, 2158934530, 2164260930, 2164424770, 2164527170, 2164691010, 2164793410, 2164957250, 2165059650, 2165223490, 2174749250, 2174913090, 2175015490, 2175179330, 2175281730, 2175445570, 2175547970, 2175711810, 2181038210, 2181202050, 2181304450, 2181468290, 2181570690, 2181734530, 2181836930, 2182000770, 2191526530, 2191690370, 2191792770, 2191956610, 2192059010, 2192222850, 2192325250, 2192489090, 2197815490, 2197979330, 2198081730, 2198245570, 2198347970, 2198511810, 2198614210, 2198778050, 2208303810, 2208467650, 2208570050, 2208733890, 2208836290, 2209000130, 2209102530, 2209266370, 2818572330, 2818736170, 2818838570, 2819002410, 2819104810, 2819268650, 2819371050, 2819534890, 2829060650, 2829224490, 2829326890, 2829490730, 2829593130, 2829756970, 2829859370, 2830023210, 2835349610, 2835513450, 2835615850, 2835779690, 2835882090, 2836045930, 2836148330, 2836312170, 2845837930, 2846001770, 2846104170, 2846268010, 2846370410, 2846534250, 2846636650, 2846800490, 2852126890, 2852290730, 2852393130, 2852556970, 2852659370, 2852823210, 2852925610, 2853089450, 2862615210, 2862779050, 2862881450, 2863045290, 2863147690, 2863311530, 2863413930, 2863577770, 2868904170, 2869068010, 2869170410, 2869334250, 2869436650, 2869600490, 2869702890, 2869866730, 2879392490, 2879556330, 2879658730, 2879822570, 2879924970, 2880088810, 2880191210, 2880355050, 3221225475, 3221389315, 3221491715, 3221655555, 3221757955, 3221921795, 3222024195, 3222188035, 3231713795, 3231877635, 3231980035, 3232143875, 3232246275, 3232410115, 3232512515, 3232676355, 3238002755, 3238166595, 3238268995, 3238432835, 3238535235, 3238699075, 3238801475, 3238965315, 3248491075, 3248654915, 3248757315, 3248921155, 3249023555, 3249187395, 3249289795, 3249453635, 3254780035, 3254943875, 3255046275, 3255210115, 3255312515, 3255476355, 3255578755, 3255742595, 3265268355, 3265432195, 3265534595, 3265698435, 3265800835, 3265964675, 3266067075, 3266230915, 3271557315, 3271721155, 3271823555, 3271987395, 3272089795, 3272253635, 3272356035, 3272519875, 3282045635, 3282209475, 3282311875, 3282475715, 3282578115, 3282741955, 3282844355, 3283008195, 3892314155, 3892477995, 3892580395, 3892744235, 3892846635, 3893010475, 3893112875, 3893276715, 3902802475, 3902966315, 3903068715, 3903232555, 3903334955, 3903498795, 3903601195, 3903765035, 3909091435, 3909255275, 3909357675, 3909521515, 3909623915, 3909787755, 3909890155, 3910053995, 3919579755, 3919743595, 3919845995, 3920009835, 3920112235, 3920276075, 3920378475, 3920542315, 3925868715, 3926032555, 3926134955, 3926298795, 3926401195, 3926565035, 3926667435, 3926831275, 3936357035, 3936520875, 3936623275, 3936787115, 3936889515, 3937053355, 3937155755, 3937319595, 3942645995, 3942809835, 3942912235, 3943076075, 3943178475, 3943342315, 3943444715, 3943608555, 3953134315, 3953298155, 3953400555, 3953564395, 3953666795, 3953830635, 3953933035, 3954096875, 5368709125, 5368774661, 5368840197, 5368905733, 5370040325, 5370105861, 5370171397, 5370236933, 5372904453, 5372969989, 5373035525, 5373101061, 5374235653, 5374301189, 5374366725, 5374432261, 5377099781, 5377165317, 5377230853, 5377296389, 5378430981, 5378496517, 5378562053, 5378627589, 5381295109, 5381360645, 5381426181, 5381491717, 5382626309, 5382691845, 5382757381, 5382822917, 5452595525, 5452661061, 5452726597, 5452792133, 5453926725, 5453992261, 5454057797, 5454123333, 5456790853, 5456856389, 5456921925, 5456987461, 5458122053, 5458187589, 5458253125, 5458318661, 5460986181, 5461051717, 5461117253, 5461182789, 5462317381, 5462382917, 5462448453, 5462513989, 5465181509, 5465247045, 5465312581, 5465378117, 5466512709, 5466578245, 5466643781, 5466709317, 5637144597, 5637210133, 5637275669, 5637341205, 5638475797, 5638541333, 5638606869, 5638672405, 5641339925, 5641405461, 5641470997, 5641536533, 5642671125, 5642736661, 5642802197, 5642867733, 5645535253, 5645600789, 5645666325, 5645731861, 5646866453, 5646931989, 5646997525, 5647063061, 5649730581, 5649796117, 5649861653, 5649927189, 5651061781, 5651127317, 5651192853, 5651258389, 5721030997, 5721096533, 5721162069, 5721227605, 5722362197, 5722427733, 5722493269, 5722558805, 5725226325, 5725291861, 5725357397, 5725422933, 5726557525, 5726623061, 5726688597, 5726754133, 5729421653, 5729487189, 5729552725, 5729618261, 5730752853, 5730818389, 5730883925, 5730949461, 5733616981, 5733682517, 5733748053, 5733813589, 5734948181, 5735013717, 5735079253, 5735144789, 5905580069, 5905645605, 5905711141, 5905776677, 5906911269, 5906976805, 5907042341, 5907107877, 5909775397, 5909840933, 5909906469, 5909972005, 5911106597, 5911172133, 5911237669, 5911303205, 5913970725, 5914036261, 5914101797, 5914167333, 5915301925, 5915367461, 5915432997, 5915498533, 5918166053, 5918231589, 5918297125, 5918362661, 5919497253, 5919562789, 5919628325, 5919693861, 5989466469, 5989532005, 5989597541, 5989663077, 5990797669, 5990863205, 5990928741, 5990994277, 5993661797, 5993727333, 5993792869, 5993858405, 5994992997, 5995058533, 5995124069, 5995189605, 5997857125, 5997922661, 5997988197, 5998053733, 5999188325, 5999253861, 5999319397, 5999384933, 6002052453, 6002117989, 6002183525, 6002249061, 6003383653, 6003449189, 6003514725, 6003580261, 6174015541, 6174081077, 6174146613, 6174212149, 6175346741, 6175412277, 6175477813, 6175543349, 6178210869, 6178276405, 6178341941, 6178407477, 6179542069, 6179607605, 6179673141, 6179738677, 6182406197, 6182471733, 6182537269, 6182602805, 6183737397, 6183802933, 6183868469, 6183934005, 6186601525, 6186667061, 6186732597, 6186798133, 6187932725, 6187998261, 6188063797, 6188129333]]
 [5, 16, [1, 2, 3, 4, 6, 12, 119, 594, 626, 1252, 1847, 2473, 2634, 3276, 3726, 22661, 58718, 68609, 311748, 472631, 945262, 959662, 1033167, 1813169, 1874369, 3023586, 17027841, 23837537, 36445218, 39068754, 44007314, 45257394, 117206262, 899119443, 14169840707, 26280422934, 35561051976, 54601021116, 333543344852, 2439475164978, 2597382573138, 2724648282738, 2847280195218, 6176090357141, 7038103955046, 9045033810232, 11601300368778, 17524147626239, 52532764441842, 85384826686164, 314144316636433, 351171112038193, 2771902769072601, 5054693750562577, 9551842909748754, 9597658175934754, 12473983178905026, 120017934165961377, 124996089203072177, 611729043529420152, 916192443893348028, 1037875744458819438]]
 [4, 15, [1, 2, 3, 5, 10, 1265, 2290, 2470, 77281, 110057, 221479, 254255, 512125, 515965, 536770, 540610, 17641921, 17699521, 20591281, 20648881, 26523737, 39609558, 39667158, 48548974, 52695139, 56326039, 114468985, 120062605, 5021484961, 11672337274, 16218470991, 1351044569777, 1536375880037, 3021892115450, 407379382766133, 451731989307033, 530155515994669, 568902188639554, 599503594778914, 664838119008470, 665615474611670, 1318729180815265, 102673905345711333, 108598610548825353, 132008158263049309, 158164257455320370, 164208967552280390, 206098238808617182, 214160978467003582, 285225474471433599, 317502632778005905, 319605017563488145]]
 [5, 15, [1, 2, 3, 4, 6, 12, 1612, 1642, 1717, 1928, 10608, 11088, 11568, 12048, 42192, 559136, 11458351, 11702476, 13099081, 14892586, 16533316, 17926771, 18174046, 29124122, 35439768, 35670168, 46637119, 46647244, 48277849, 48287974, 70214886, 70391286, 74042436, 74218836, 77869986, 79161516, 79649766, 140291172, 143670972, 20921629763, 20921882888, 21823980863, 21824233988, 22103099018, 22156749143, 22905834968, 24434720004, 24554271504, 6916166298896, 80085902053104, 83722545867984, 84998950409664, 85221141851664, 98970061027376, 821180842394466, 856949344693116, 12131038202813376, 12750205114789776, 12794063689681776, 13365213010212576, 24795064665781152, 235866598761739973, 268524564643400439, 281871806064478344]]
 [4, 14, [1, 2, 3, 5, 10, 15, 105, 150, 195, 562, 1885, 19425, 21525, 25545, 60075, 190894, 229899, 427305, 3871035, 4163775, 5029425, 5177265, 25677641, 29652045, 45455738, 55980631, 59607499, 120719565, 1574795125, 1983126685, 9523587954, 9748316486, 12147458142, 12424005742, 45290761770, 65153654415, 65233010895, 65652360735, 65999845215, 304766672785, 1000435268395, 2100373258669, 3075248160974, 13316109210435, 15846958343835, 31646277109965, 35639754238530, 55378878848355, 61818086497035, 81428243001505, 213186159647555, 283913857495553, 287304464057665, 327616989461921, 409504338490485, 1173731252645505, 16973092631071823, 45600467325632650, 65894859995669675, 85242302643527393, 105238349802450293, 109875764658673225, 278637128928112095, 505099371067922445, 776393134918015290, 1089535459654843215, 1122070996390877295]]
 [4, 13, [1, 2, 3, 5, 10, 42, 170, 235, 562, 614, 666, 771, 10794, 108969, 137362, 226103, 759150, 2249058, 10223670, 19066401, 26222617, 27358505, 37756934, 38123846, 44170538, 47238174, 54568967, 783303598, 2920449210, 4977387681, 5572206789, 5984237669, 175993531338, 182858494378, 985293662555, 1045426153935, 1474377238357, 23324101027605, 27454888823753, 50489443973854, 107312916096585, 180143923451850, 191631261852090, 574862706433666, 6073579816022421, 10992736091364406, 14464718933963379, 24318916586854805, 28298160485982745, 39850013249619570]]
 [5, 14, [1, 2, 3, 4, 6, 12, 408, 534, 886, 1041, 1196, 1252, 1407, 2138, 2293, 2448, 2504, 2659, 69539, 80376, 83526, 86676, 89826, 92976, 30501328, 31640508, 47372674, 3951268008, 11956709346, 14762947762, 14772870262, 16608728217, 18344883128, 544250490113, 582335565898, 621146646654, 704455178394, 747836924074, 1859765586762, 1887809882412, 3904573496501, 108381267222201, 157620401795166, 332170623403813, 342744455551238, 380340537101748, 396636139443704, 449602814023069, 464103781147924, 682360593584136, 105697032139411491, 136605638356726432, 139100259389602082, 141421946942545232, 149345058200387937]]
 [4, 12, [1, 2, 3, 5, 10, 65, 130, 1365, 1885, 25225, 29725, 65535, 109481, 110057, 114701, 235355, 235931, 243323, 901095, 1423253, 27940521, 329725617, 479511949, 495277213, 2586405030, 2694755850, 2954454030, 5302567153, 29041691705, 82961416561, 82985967985, 84558807985, 84705397681, 98931623989, 99083211061, 99107762485, 99228805429, 100680602485, 100801645429, 100827192181, 102494510581, 145440296402, 147768129122, 161697420950, 340497912305, 353638389125, 645603984790, 645751072150, 1242383189281, 65008240885051, 65260345731451, 67428199002463, 69858551601343, 70108638834943, 81741480711585, 85377685822065, 554713797232829, 645138986569350, 1348687380834865, 1605883347476965, 2846929449981770, 3154468521832910, 4461790522439295, 7204937702951321, 7665999796899641, 14426075308441715, 14731596799960391, 36519972669668930, 143088008823674109, 323065724709387985]]
 [5, 13, [1, 2, 3, 4, 6, 12, 98, 126, 11718, 13734, 23436, 45722, 57293, 164052, 215742, 257058, 260958, 1037792, 2656206, 3546396, 4495932, 34576588, 36201068, 37825548, 112871682, 851903313, 1026645634, 2986330662, 4526367318, 6560638651, 147549779274, 162468225401, 168246690301, 365822352482, 365877277482, 688751610564, 688806535564, 872526715326, 1399711744896, 2112434256492, 4217997204176, 13541778558588, 42716064512382, 66602247820188, 157841918290166, 252933940479542, 1467834355436778, 1585775086601958, 3198445081352206, 9780914502034054, 21646834097233896, 41261041561192788, 41856446836759188, 58866843239800974, 69654280832643976, 220822737870428568, 470204772945813486, 629053526319693552]]
 [5, 12, [1, 2, 3, 4, 6, 26, 52, 78, 104, 676, 1196, 1667, 18226, 19006, 58718, 75399, 137466, 17724521, 19309746, 23291107, 27246117, 27620397, 28629597, 31227478, 31601758, 32610958, 676544617, 1186082174, 2866211082, 13641607382, 180598574726, 232395825711, 234092217711, 245810966391, 305234393752, 407947638042, 420899221842, 440751518947, 527523650288, 529521452288, 647099662534, 7761743010502, 14528011190773, 14777854301173, 17245471287589, 62134997969658, 308375641169258, 315481008023558, 4840343074874127, 6341602423132792, 11444060576093744, 69972824101136476, 109373355325966771, 136397588088206432, 214982234223536893, 1116657911736341718, 1149359264981862798]]
 [4, 11, [1, 2, 3, 5, 10, 255, 598, 698, 787, 887, 42330, 44410, 72593, 89557, 113593, 119325, 136530, 160566, 3579303, 4030303, 5925285, 8857810, 8944930, 503020509, 620268486, 1018027663, 2182784130, 69712100097, 89708049093, 99840094005, 122921332109, 123245155213, 214986861603, 234226698407, 32986287767597, 34358230957885, 510954650302493, 769481725861818, 3655890647123955, 74763745618942337, 126302962806913037, 216170959358853118]]
 [5, 11, [1, 2, 3, 4, 6, 12, 24, 36, 72, 676, 831, 5316, 6252, 10788, 13584, 48678, 50383, 54288, 63804, 67709, 71614, 73694, 75399, 417276, 623736, 900432, 3144516, 7343868, 7949154, 9363744, 9977126, 12057381, 12477406, 14277161, 16076916, 16357416, 100819152, 169102788, 716715222, 783900758, 895701668, 1794339786, 2345797596, 2860540332, 9438882336, 98743614258, 115105535868, 118434584448, 198216529056, 259830724691, 750729609324, 5314967591231, 11288224399972, 11772888155053, 13592041075738, 14009081659918, 18412461526024, 19204197693126, 33796741117116, 42206214142632, 57611863529628, 62827601308308, 108698151239076, 135299488869636, 153621235307016, 196158762397152, 464548116977924, 668701054631886, 725613344860086, 1193317201440312, 1389443606391822, 2182265143175364, 3784215545001736, 4133764844167716, 19656296421068916, 19785374737160916, 32127274496865192, 32232633974187192, 44422838471799468, 59261415977735874, 61857420602902376, 169615907285055047, 254669919333600534, 259945798775525109, 276805886044976294, 331149379122915426]]
 [4, 10, [1, 2, 3, 5, 55, 373, 393, 666, 787, 939, 7997, 53235, 55255, 55655, 57675, 506605, 1801081, 2215122, 3826283, 3866683, 5051505, 5226225, 5259525, 5297925, 5614165, 5679765, 53822835, 623010326, 954656459, 51717171715, 53406060435, 59201610295, 73979697937, 506802208605, 508152251805, 1491278721941, 1649061609461, 3445416145443, 5690277720965, 41830077003814, 646219242912646, 815969141969518, 912702454207219, 7145572222755417, 13585963536958531, 55934950005943955, 57264776467746275, 96062045454026069, 101882796697288101]]
 [6, 11, [1, 2, 3, 4, 5, 7, 166, 343, 476, 1253, 1297, 56851, 58435, 142635, 4529582, 9489947, 16012423, 260109730, 783709094, 939177848, 1571567158, 2293831693, 92244629095, 168679339670, 173297792564, 8147773880204, 12920270811430, 15294665185397, 23020695013477, 33584329340275, 581963929176125, 945595187532415, 2087007690613587, 2282903746735563, 4124142825158377, 108953794936372498, 296200585335622292, 347035134595812428, 359582466826667762, 399926945466791751, 426324534334433865, 448300462167005919]]
 [5, 10, [1, 2, 3, 4, 6, 88, 252, 282, 626, 676, 1221, 15751, 18881, 10088001, 10400401, 27711772, 30322303, 47633674, 65977956, 808656808, 831333138, 831868138, 836131638, 836181638, 2512882152, 2596886952, 2893553982, 6761551676, 12114741121, 12185058121, 2228261628222, 6105769675016, 6643369633466, 6648130318466, 6694978794966, 6982578752896, 6989062609896, 7730173710377, 103191131191301, 103824717428301, 107745787547701, 107793080397701, 132412434214231, 172102080201271, 172849181948271, 176071838170671, 176265757562671, 202304515403202, 206725444527602, 206903565309602, 279119383911972, 301537434735103, 374476969674473, 378573424375873, 445336272633544, 445384969483544, 445389595983544, 449488282884944, 449933929339944, 473643646346374, 473696969696374, 653311040113356, 658768979867856, 8061113993111608, 8066449229446608, 8671162112611768, 25851377577315852, 25856101110165852, 28012639493621082, 28453146364135482, 62596751915769526, 67546323432364576]]
 [5, 9, [1, 2, 3, 4, 6, 109, 246, 282, 564, 701, 22386, 32152, 41667, 47653, 48553, 1142597, 1313858, 1412768, 1677684, 12607012902, 19671459008, 20134447808, 24208576998, 24863844904, 26358878059, 70942565653068, 71088928149468, 137416991943786, 145464252692586, 4287997640956241, 5744620259340762, 6221009414075142, 6284871831461142, 256320146951057809, 911840478745176528, 960588069334571508]]
 [4, 9, [1, 2, 3, 5, 10, 255, 273, 373, 546, 2550, 2730, 2910, 16319, 23205, 54215, 1181729, 1898445, 2576758, 3027758, 3080174, 4210945, 9971750, 163490790, 2299011170, 6852736153, 6899910553, 160142137430, 174913133450, 204283593150, 902465909895, 1014966912315, 2292918574418, 9295288254930, 11356994802010, 11372760382810, 38244097345762, 84470553495345, 198777976021790, 204973846313390, 743215116795690, 2114967436733485, 2172761848365805, 4728069796793537, 9888480378524210, 12173822386241658, 16046526958346267, 287411961823187455]]
 [6, 13, [1, 2, 3, 4, 5, 7, 14, 28, 98, 154, 209, 693, 1085, 1333, 1477, 6034, 19964, 23072, 76663, 141951, 201286, 204172, 219304, 241067, 244811, 342223, 1139908, 4115174, 7940908, 54531449, 251798512, 1756097098, 2597454655, 3543940027, 4360762658, 5995271510, 6192795200, 6451835072, 7364445747, 9386793622, 30216639572, 34324638572, 242453535663, 361869942046, 380098413034, 1216710555536, 2023665972706, 7274032807916, 13537877459932, 84493524255910, 121924148818867, 126808962568423, 136655255055181, 177537993964585, 230619184287956, 284967904109966, 1226826100843490, 1494693108784022, 1505904986476310, 2683035003505696, 5130321020611645, 7160442784895479, 8339231486249432, 23051432295160885, 40810251673627303, 96080877980693620, 321314986017338306, 368392982299766522, 592860126040006342]]
 [5, 8, [1, 2, 3, 4, 6, 18, 36, 186, 438, 2268, 2709, 11898, 18076, 151596, 228222, 563786, 5359842, 32285433, 257161401, 551366532, 621319212, 716064597, 2459962002, 5018349804, 5067084204, 7300948726, 42360367356, 139853034114, 176616961826, 469606524278, 669367713609, 1274936571666, 1284108810066, 5809320306961, 8866678870082, 11073162740322, 14952142559323, 325005646077513, 610409921031306, 1167704597006412, 1837422543645798, 4179976145681841, 8630118003254643, 10610347035085164, 14586052232559006, 15215146816292406, 48200460817298154, 54018307498782714, 63919308246503651, 72229221342410756, 87070543138674036, 108722249102656646, 873874206536745222, 927609347442003678]]
 [6, 12, [1, 2, 3, 4, 5, 7, 104, 117, 217, 1885, 209974, 210406, 214618, 215050, 227086, 227518, 227950, 245063, 409045, 478933, 959595, 1127308, 1440257, 25772348, 484001581, 618099181, 618933805, 644137837, 644972461, 1375160283, 3283413643, 3382075135, 3382743871, 51177863373, 51275317821, 81326159605, 81519616117, 81544685941, 116066254729, 116095057033, 117184290169, 157896744122, 158006753786, 100076116819427, 100108587975011, 108917531489377, 146477093439937, 146652448300033, 253271257308914, 253272159822578, 547910314325153, 579662312119553, 580283090247809, 10584028133327696, 10588293757484240, 10588462043623376, 10590264610858256, 10901372953994276, 10903343807368292, 10903346118519908, 10903347489086564, 11586441754715769, 11615060891868777, 11615062262435433, 11615404646185065, 11949759278919981, 11975814003885021, 11975844098124765, 11982821927053725, 11983021570503837, 11983050616663197, 220597122069181321, 220597656814125961, 230040449754721225]]
 [3, 16, [1, 2, 4, 8, 10, 13, 68, 1156, 1429, 2296, 968398, 11460074, 11630363, 13251500, 44027794, 68379412, 110643350, 6057826657, 7806599633, 18247032628, 19803565204, 39944973385, 45141303946, 54384564652, 67796203727, 4685999833924, 6749462164262, 9239618930536, 13299512543260, 71990004651796, 521584010881745, 1317370744549028, 1954628180226550, 2367231389137000, 2661480154174585, 3042801969885130, 3792700194191741, 4126854865377710, 20988138513566116, 29780345436101782, 42205160141037401, 256610841199816579, 335368191571621796, 874390251727319596, 876478273617455404, 907093063788439196]]
 [8, 16, [1, 2, 3, 4, 5, 6, 7, 9, 170, 3951, 4095, 4097, 5457, 8194, 9554, 12291, 13651, 16388, 17748, 20485, 21845, 24582, 25942, 28679, 30039, 36873, 696490, 697002, 697514, 698026, 698538, 699050, 699562, 700074, 16187247, 16777215, 16777217, 16781313, 16785409, 16789505, 16793601, 16797697, 16801793, 16805889, 22349137, 22353233, 22357329, 22361425, 22365521, 22369617, 22373713, 22377809, 33554434, 33558530, 33562626, 33566722, 33570818, 33574914, 33579010, 33583106, 39126354, 39130450, 39134546, 39138642, 39142738, 39146834, 39150930, 39155026, 50331651, 50335747, 50339843, 50343939, 50348035, 50352131, 50356227, 50360323, 55903571, 55907667, 55911763, 55915859, 55919955, 55924051, 55928147, 55932243, 67108868, 67112964, 67117060, 67121156, 67125252, 67129348, 67133444, 67137540, 72680788, 72684884, 72688980, 72693076, 72697172, 72701268, 72705364, 72709460, 83886085, 83890181, 83894277, 83898373, 83902469, 83906565, 83910661, 83914757, 89458005, 89462101, 89466197, 89470293, 89474389, 89478485, 89482581, 89486677, 100663302, 100667398, 100671494, 100675590, 100679686, 100683782, 100687878, 100691974, 106235222, 106239318, 106243414, 106247510, 106251606, 106255702, 106259798, 106263894, 117440519, 117444615, 117448711, 117452807, 117456903, 117460999, 117465095, 117469191, 123012439, 123016535, 123020631, 123024727, 123028823, 123032919, 123037015, 123041111, 150994953, 151031817, 2852126890, 2852823210, 2854224554, 2854920874, 2856322218, 2857018538, 2858419882, 2859116202, 2860517546, 2861213866, 2862615210, 2863311530, 2864712874, 2865409194, 2866810538, 2867506858, 66286784367, 66287374191, 66302967663, 66303557487, 68702703615, 68703293439, 68718886911, 68719476735, 68719476737, 68725047297, 68736258049, 68741828609, 68753039361, 68758609921, 68769820673, 68775391233, 68786601985, 68792172545, 68803383297, 68808953857, 68820164609, 68825735169, 68836945921, 68842516481, 91536491857, 91542062417, 91553273169, 91558843729, 91570054481, 91575625041, 91586835793, 91592406353, 91603617105, 91609187665, 91620398417, 91625968977, 91637179729, 91642750289, 91653961041, 91659531601, 137438953474, 137444524034, 137455734786, 137461305346, 137472516098, 137478086658, 137489297410, 137494867970, 137506078722, 137511649282, 137522860034, 137528430594, 137539641346, 137545211906, 137556422658, 137561993218, 160255968594, 160261539154, 160272749906, 160278320466, 160289531218, 160295101778, 160306312530, 160311883090, 160323093842, 160328664402, 160339875154, 160345445714, 160356656466, 160362227026, 160373437778, 160379008338, 206158430211, 206164000771, 206175211523, 206180782083, 206191992835, 206197563395, 206208774147, 206214344707, 206225555459, 206231126019, 206242336771, 206247907331, 206259118083, 206264688643, 206275899395, 206281469955, 228975445331, 228981015891, 228992226643, 228997797203, 229009007955, 229014578515, 229025789267, 229031359827, 229042570579, 229048141139, 229059351891, 229064922451, 229076133203, 229081703763, 229092914515, 229098485075, 274877906948, 274883477508, 274894688260, 274900258820, 274911469572, 274917040132, 274928250884, 274933821444, 274945032196, 274950602756, 274961813508, 274967384068, 274978594820, 274984165380, 274995376132, 275000946692, 297694922068, 297700492628, 297711703380, 297717273940, 297728484692, 297734055252, 297745266004, 297750836564, 297762047316, 297767617876, 297778828628, 297784399188, 297795609940, 297801180500, 297812391252, 297817961812, 343597383685, 343602954245, 343614164997, 343619735557, 343630946309, 343636516869, 343647727621, 343653298181, 343664508933, 343670079493, 343681290245, 343686860805, 343698071557, 343703642117, 343714852869, 343720423429, 366414398805, 366419969365, 366431180117, 366436750677, 366447961429, 366453531989, 366464742741, 366470313301, 366481524053, 366487094613, 366498305365, 366503875925, 366515086677, 366520657237, 366531867989, 366537438549, 412316860422, 412322430982, 412333641734, 412339212294, 412350423046, 412355993606, 412367204358, 412372774918, 412383985670, 412389556230, 412400766982, 412406337542, 412417548294, 412423118854, 412434329606, 412439900166, 435133875542, 435139446102, 435150656854, 435156227414, 435167438166, 435173008726, 435184219478, 435189790038, 435201000790, 435206571350, 435217782102, 435223352662, 435234563414, 435240133974, 435251344726, 435256915286, 481036337159, 481041907719, 481053118471, 481058689031, 481069899783, 481075470343, 481086681095, 481092251655, 481103462407, 481109032967, 481120243719, 481125814279, 481137025031, 481142595591, 481153806343, 481159376903, 503853352279, 503858922839, 503870133591, 503875704151, 503886914903, 503892485463, 503903696215, 503909266775, 503920477527, 503926048087, 503937258839, 503942829399, 503954040151, 503959610711, 503970821463, 503976392023, 618475290633, 618626322441, 11682311045290, 11682313142442, 11682315239594, 11682317336746, 11682319433898, 11682321531050, 11682323628202, 11682325725354, 11685163868330, 11685165965482, 11685168062634, 11685170159786, 11685172256938, 11685174354090, 11685176451242, 11685178548394, 11690900980394, 11690903077546, 11690905174698, 11690907271850, 11690909369002, 11690911466154, 11690913563306, 11690915660458, 11693753803434, 11693755900586, 11693757997738, 11693760094890, 11693762192042, 11693764289194, 11693766386346, 11693768483498, 11699490915498, 11699493012650, 11699495109802, 11699497206954, 11699499304106, 11699501401258, 11699503498410, 11699505595562, 11702343738538, 11702345835690, 11702347932842, 11702350029994, 11702352127146, 11702354224298, 11702356321450, 11702358418602, 11708080850602, 11708082947754, 11708085044906, 11708087142058, 11708089239210, 11708091336362, 11708093433514, 11708095530666, 11710933673642, 11710935770794, 11710937867946, 11710939965098, 11710942062250, 11710944159402, 11710946256554, 11710948353706, 11716670785706, 11716672882858, 11716674980010, 11716677077162, 11716679174314, 11716681271466, 11716683368618, 11716685465770, 11719523608746, 11719525705898, 11719527803050, 11719529900202, 11719531997354, 11719534094506, 11719536191658, 11719538288810, 11725260720810, 11725262817962, 11725264915114, 11725267012266, 11725269109418, 11725271206570, 11725273303722, 11725275400874, 11728113543850, 11728115641002, 11728117738154, 11728119835306, 11728121932458, 11728124029610, 11728126126762, 11728128223914, 11733850655914, 11733852753066, 11733854850218, 11733856947370, 11733859044522, 11733861141674, 11733863238826, 11733865335978, 11736703478954, 11736705576106, 11736707673258, 11736709770410, 11736711867562, 11736713964714, 11736716061866, 11736718159018, 11742440591018, 11742442688170, 11742444785322, 11742446882474, 11742448979626, 11742451076778, 11742453173930, 11742455271082, 11745293414058, 11745295511210, 11745297608362, 11745299705514, 11745301802666, 11745303899818, 11745305996970, 11745308094122, 271510652587887, 271513069096815, 271576955551599, 271579372060527, 281406257238015, 281408673746943, 281472560201727, 281474976710655, 281474976710657, 281474993487873, 281475010265089, 281475027042305, 281475043819521, 281475060596737, 281475077373953, 281475094151169, 281497799294977, 281497816072193, 281497832849409, 281497849626625, 281497866403841, 281497883181057, 281497899958273, 281497916735489, 281543696191489, 281543712968705, 281543729745921, 281543746523137, 281543763300353, 281543780077569, 281543796854785, 281543813632001, 281566518775809, 281566535553025, 281566552330241, 281566569107457, 281566585884673, 281566602661889, 281566619439105, 281566636216321, 281612415672321, 281612432449537, 281612449226753, 281612466003969, 281612482781185, 281612499558401, 281612516335617, 281612533112833, 281635238256641, 281635255033857, 281635271811073, 281635288588289, 281635305365505, 281635322142721, 281635338919937, 281635355697153, 281681135153153, 281681151930369, 281681168707585, 281681185484801, 281681202262017, 281681219039233, 281681235816449, 281681252593665, 281703957737473, 281703974514689, 281703991291905, 281704008069121, 281704024846337, 281704041623553, 281704058400769, 281704075177985, 281749854633985, 281749871411201, 281749888188417, 281749904965633, 281749921742849, 281749938520065, 281749955297281, 281749972074497, 281772677218305, 281772693995521, 281772710772737, 281772727549953, 281772744327169, 281772761104385, 281772777881601, 281772794658817, 281818574114817, 281818590892033, 281818607669249, 281818624446465, 281818641223681, 281818658000897, 281818674778113, 281818691555329, 281841396699137, 281841413476353, 281841430253569, 281841447030785, 281841463808001, 281841480585217, 281841497362433, 281841514139649, 281887293595649, 281887310372865, 281887327150081, 281887343927297, 281887360704513, 281887377481729, 281887394258945, 281887411036161, 281910116179969, 281910132957185, 281910149734401, 281910166511617, 281910183288833, 281910200066049, 281910216843265, 281910233620481, 281956013076481, 281956029853697, 281956046630913, 281956063408129, 281956080185345, 281956096962561, 281956113739777, 281956130516993, 281978835660801, 281978852438017, 281978869215233, 281978885992449, 281978902769665, 281978919546881, 281978936324097, 281978953101313, 374933465072977, 374933481850193, 374933498627409, 374933515404625, 374933532181841, 374933548959057, 374933565736273, 374933582513489, 374956287657297, 374956304434513, 374956321211729, 374956337988945, 374956354766161, 374956371543377, 374956388320593, 374956405097809, 375002184553809, 375002201331025, 375002218108241, 375002234885457, 375002251662673, 375002268439889, 375002285217105, 375002301994321, 375025007138129, 375025023915345, 375025040692561, 375025057469777, 375025074246993, 375025091024209, 375025107801425, 375025124578641, 375070904034641, 375070920811857, 375070937589073, 375070954366289, 375070971143505, 375070987920721, 375071004697937, 375071021475153, 375093726618961, 375093743396177, 375093760173393, 375093776950609, 375093793727825, 375093810505041, 375093827282257, 375093844059473, 375139623515473, 375139640292689, 375139657069905, 375139673847121, 375139690624337, 375139707401553, 375139724178769, 375139740955985, 375162446099793, 375162462877009, 375162479654225, 375162496431441, 375162513208657, 375162529985873, 375162546763089, 375162563540305, 375208342996305, 375208359773521, 375208376550737, 375208393327953, 375208410105169, 375208426882385, 375208443659601, 375208460436817, 375231165580625, 375231182357841, 375231199135057, 375231215912273, 375231232689489, 375231249466705, 375231266243921, 375231283021137, 375277062477137, 375277079254353, 375277096031569, 375277112808785, 375277129586001, 375277146363217, 375277163140433, 375277179917649, 375299885061457, 375299901838673, 375299918615889, 375299935393105, 375299952170321, 375299968947537, 375299985724753, 375300002501969, 375345781957969, 375345798735185, 375345815512401, 375345832289617, 375345849066833, 375345865844049, 375345882621265, 375345899398481, 375368604542289, 375368621319505, 375368638096721, 375368654873937, 375368671651153, 375368688428369, 375368705205585, 375368721982801, 375414501438801, 375414518216017, 375414534993233, 375414551770449, 375414568547665, 375414585324881, 375414602102097, 375414618879313, 375437324023121, 375437340800337, 375437357577553, 375437374354769, 375437391131985, 375437407909201, 375437424686417, 375437441463633, 562949953421314, 562949970198530, 562949986975746, 562950003752962, 562950020530178, 562950037307394, 562950054084610, 562950070861826, 562972776005634, 562972792782850, 562972809560066, 562972826337282, 562972843114498, 562972859891714, 562972876668930, 562972893446146, 563018672902146, 563018689679362, 563018706456578, 563018723233794, 563018740011010, 563018756788226, 563018773565442, 563018790342658, 563041495486466, 563041512263682, 563041529040898, 563041545818114, 563041562595330, 563041579372546, 563041596149762, 563041612926978, 563087392382978, 563087409160194, 563087425937410, 563087442714626, 563087459491842, 563087476269058, 563087493046274, 563087509823490, 563110214967298, 563110231744514, 563110248521730, 563110265298946, 563110282076162, 563110298853378, 563110315630594, 563110332407810, 563156111863810, 563156128641026, 563156145418242, 563156162195458, 563156178972674, 563156195749890, 563156212527106, 563156229304322, 563178934448130, 563178951225346, 563178968002562, 563178984779778, 563179001556994, 563179018334210, 563179035111426, 563179051888642, 563224831344642, 563224848121858, 563224864899074, 563224881676290, 563224898453506, 563224915230722, 563224932007938, 563224948785154, 563247653928962, 563247670706178, 563247687483394, 563247704260610, 563247721037826, 563247737815042, 563247754592258, 563247771369474, 563293550825474, 563293567602690, 563293584379906, 563293601157122, 563293617934338, 563293634711554, 563293651488770, 563293668265986, 563316373409794, 563316390187010, 563316406964226, 563316423741442, 563316440518658, 563316457295874, 563316474073090, 563316490850306, 563362270306306, 563362287083522, 563362303860738, 563362320637954, 563362337415170, 563362354192386, 563362370969602, 563362387746818, 563385092890626, 563385109667842, 563385126445058, 563385143222274, 563385159999490, 563385176776706, 563385193553922, 563385210331138, 563430989787138, 563431006564354, 563431023341570, 563431040118786, 563431056896002, 563431073673218, 563431090450434, 563431107227650, 563453812371458, 563453829148674, 563453845925890, 563453862703106, 563453879480322, 563453896257538, 563453913034754, 563453929811970, 656408441783634, 656408458560850, 656408475338066, 656408492115282, 656408508892498, 656408525669714, 656408542446930, 656408559224146, 656431264367954, 656431281145170, 656431297922386, 656431314699602, 656431331476818, 656431348254034, 656431365031250, 656431381808466, 656477161264466, 656477178041682, 656477194818898, 656477211596114, 656477228373330, 656477245150546, 656477261927762, 656477278704978, 656499983848786, 656500000626002, 656500017403218, 656500034180434, 656500050957650, 656500067734866, 656500084512082, 656500101289298, 656545880745298, 656545897522514, 656545914299730, 656545931076946, 656545947854162, 656545964631378, 656545981408594, 656545998185810, 656568703329618, 656568720106834, 656568736884050, 656568753661266, 656568770438482, 656568787215698, 656568803992914, 656568820770130, 656614600226130, 656614617003346, 656614633780562, 656614650557778, 656614667334994, 656614684112210, 656614700889426, 656614717666642, 656637422810450, 656637439587666, 656637456364882, 656637473142098, 656637489919314, 656637506696530, 656637523473746, 656637540250962, 656683319706962, 656683336484178, 656683353261394, 656683370038610, 656683386815826, 656683403593042, 656683420370258, 656683437147474, 656706142291282, 656706159068498, 656706175845714, 656706192622930, 656706209400146, 656706226177362, 656706242954578, 656706259731794]]
 [3, 15, [1, 2, 4, 8, 10, 13, 16, 80, 112, 160, 224, 316, 572, 964, 1823, 1913, 2440, 3028, 19520, 24832, 40016, 63721, 79546, 88816, 139892, 149837, 151412, 450428, 671698, 693838, 1583792, 4375520, 48772864, 55637974, 97386428, 97813703, 223798336, 712237984, 1768639360, 1808942080, 4151018161, 7222163582, 19525921792, 21883422728, 30424461056, 30568981256, 87916111712, 168548724304, 204052481840, 210522348560, 219036046880, 2584907060284, 2711028782854, 4084773239947, 4526493495037, 7778628555868, 7779188427868, 8951652064576, 13093650231856, 18568655308832, 18744896959232, 21535665319232, 21564771697232, 34664206247104, 212862733743286, 240419083225906, 1023405955311352, 1025171295539152, 1502277687374756, 3075187022508496, 3294200480981776, 5296224285826352, 7843602452723104, 26903731625247568, 31226933270328766, 53965403933480056]]
 [3, 13, [1, 2, 4, 8, 10, 28, 56, 112, 784, 24724, 32800, 46580, 48452, 56096, 100636, 114586, 130394, 137531, 802102, 11096750, 34682720, 61831327, 409381966, 2139739864, 5397835774, 8943100592, 21354611852, 22266063848, 28991415572, 38203788574, 131746140148, 131884125268, 328432098178, 355778839639, 434643292723, 743963954414, 945234340732, 1716459155696, 1748957285360, 16355866396268, 23361833173420, 47256868424729, 59418024759680, 105632024955916, 111763450351804, 228544577364853, 302725818185764, 484069020212246, 938107528138732, 3898775191862810, 4380217881735164, 5681611385118280, 17235672283636642, 18015922376378398, 18975138542901298, 23734824107166256, 25158369260496595, 100008146499111592, 262962455649386290, 314666249426955146, 1000709515159339376]]
 [5, 7, [1, 2, 3, 4, 6, 24, 57, 78, 114, 342, 624, 856, 1432, 10308, 12654, 27616, 100056, 537856, 593836, 769621, 1434168, 1473368, 1636104, 1823544, 1862744, 17968646, 18108296, 22412057, 34713713, 34853363, 39280254, 159690408, 663706192, 764059578, 1621093206, 1680662856, 1692569856, 4191009888, 7721681656, 17493894797, 28581869444, 65252488452, 147445356024, 364482389232, 4359505255951, 37465698385746, 179568939231946, 298887675308328, 850046505221616, 4951212613811152, 5784321085207262, 6746177019008522, 7858433687515933, 8152267045954638, 8491231634043863, 32369820521361192, 55358830255457544, 110535513802830796, 238359847236631248]]
 [3, 14, [1, 2, 4, 8, 10, 13, 1210, 1604, 1913, 2096, 93172, 101446, 113668, 120557, 141053, 240736, 331360, 342196, 415292, 8933317, 9162259, 10075241, 11898293, 12265205, 15795460, 17124760, 45681922, 60420928, 95978216, 3299636132, 3773959912, 7561933643, 323158886695, 1296086586232, 3047650885072, 3119922363988, 3682463995516, 3737919090316, 62446666919939, 152029332648524, 169591464963608, 348131819607424, 391763424505102, 684219973755232, 731484479682388, 47930035744843928, 72428381718544732, 96859338564123556, 97438257385610884, 141734958097467320]]
 [4, 7, [1, 2, 3, 5, 85, 150, 235, 257, 8802, 9958, 13655, 14811, 189806, 428585, 786435, 9262450, 31946605, 34179458, 387973685, 424623193, 430421657, 640680742, 742494286, 1692399385, 22182595205, 30592589645, 1103782149121, 1134972961921, 1871644872505, 2047644601565, 3205015384750, 3304611554563, 3628335729863, 4467627704385, 6109256963409813, 10490343658800214, 10556338547376278, 185569961319483162, 188077235829465306, 241521030849544855]]
 [6, 10, [1, 2, 3, 4, 5, 7, 55, 111, 141, 191, 343, 434, 777, 868, 1441, 7667, 7777, 22022, 39893, 74647, 168861, 808808, 909909, 1867681, 3097903, 4232324, 4265624, 4298924, 4516154, 4565654, 4598954, 4849484, 5100015, 5182815, 5400045, 5433345, 5482845, 5733375, 5766675, 5799975, 6901096, 6934396, 6983896, 8164618, 9081809, 15266251, 24466442, 103656301, 104888401, 108151801, 290222092, 310393013, 342050243, 3733113373, 4368778634, 7111881117, 7786556877, 8801331088, 11271517211, 12482428421, 18013531081, 61662426616, 71771717717, 75535653557, 1808482848081, 3666926296663, 3691422241963, 3693222223963, 3695202025963, 6873812183786, 8288882888828, 9766560656679, 10268799786201, 41443999934414, 51910622601915, 80839044093808, 155259838952551, 285666464666582, 309491626194903, 359630212036953, 389019363910983, 395921848129593, 422383797383224, 480680444086084, 521151929151125, 585789323987585, 596437282734695, 900893585398009, 2806592662956082, 5796663883666975, 8020863443680208, 12907568886570921, 14441050405014441, 14459868686895441, 34283490709438243, 63799978687999736, 65332462626423356, 76123829292832167, 617599427724995716]]
 [3, 11, [1, 2, 4, 8, 10, 244, 488, 820, 964, 976, 1120, 16952, 37204, 47336, 59536, 77104, 79546, 92362, 97114, 112372, 3922844, 5923954, 10375733, 12629030, 13411592, 254587048, 264125720, 482396653, 700107235, 1103889671, 1180701604, 1626927232, 2180053996, 30566610548, 32737798864, 94651628140, 160793832436, 197928111872, 275556394772, 4211785817284, 4472008538416, 7025083489943, 9033597661816, 9582551240716, 12648318914884, 15497250254336, 28381957280587, 830242224659344, 1593252561129728, 3529116434970322, 4001268735283016, 4105519380292439, 61147596288783808, 106268600597147804, 187185367960128784, 258902383729922971, 284342432506900180, 305089432178806028, 371134902802482860]]
 [3, 12, [1, 2, 4, 8, 10, 13, 26, 52, 91, 130, 1667, 13039, 19331, 100636, 101932, 176336, 1023568, 290432324, 291291572, 312487448, 435514897, 444264193, 913188254, 919704974, 1003999154, 1015233314, 1031168066, 1059294302, 1723621396, 1850851480, 1859244808, 1971563416, 1998834280, 3473765432, 4426355854, 4427755534, 4635353782, 293518383940, 446017306927, 3106816427260, 36195345052420, 43747666919836, 46274455761869, 48695607609185, 576825606963125, 577253319052085, 2296331451970237, 6383097953736184, 6404092054695784, 11409500438587568, 44407654736522090, 44459985274854890, 46072577992435046, 129814011873037076, 155312628961494394, 207564391537331485, 449936752532739614, 765477097507305232, 765529231933580560, 766128786440326288, 766128949699001488, 812218580738963188, 816251927162212132, 853959361280767720, 854017615540224232, 854954967811442344, 899555197413594364]]
 [6, 9, [1, 2, 3, 4, 5, 7, 80, 154, 191, 209, 910, 3740, 5740, 8281, 16562, 16814, 2295481, 2300665, 2350165, 2439445, 2488945, 2494129, 2515513, 7971580, 48307924, 61281793, 69432517, 123427622, 124091822, 124443290, 55854298990, 184314116750, 185794441250, 187195815770, 327925630018, 7264479038060, 27832011695551, 1658410356393350, 10666075534207052, 10674979690311068, 10790519823772232, 10796808110179352, 10841022411090800, 10915838736621332, 12414212677911183, 197907886640180179, 202186253210480911, 203861282386826791, 340926523717507544, 468242151115317501]]
 [5, 6, [1, 2, 3, 4, 67, 98, 104, 651, 2293, 3074, 26691, 27741, 704396, 723296, 755846, 883407, 48616624, 295979506, 297379006, 402327541, 198522549056, 204185363456, 240971251611, 246467321391, 303520083621, 330347455102, 341225573632, 4262839618051, 275956595195822, 451853066660344, 3099677168429681, 9779924118261554, 128031593329179827, 141417349010810857, 190645138816971853, 269196579469276814]]
 [4, 6, [1, 2, 3, 5, 21, 55, 215, 819, 1885, 7373, 7517, 12691, 14539, 69313, 196606, 1856845, 3314083, 5494725, 33348861, 223892055, 231755895, 322509617, 3614009815, 4036503055, 4165108015, 9233901154, 9330794722, 12982275395, 107074105033, 186398221946, 270747359295, 401478741365, 1809863435625, 2281658774290, 11931403417210, 12761538567790, 12887266632430, 15822654274715, 30255762326713, 46164680151002, 323292550693473, 329536806222753, 403705181414373, 404400465825765, 550117934650493, 933118742276119, 9998493962835122, 10023898627083698, 72073074246336513, 80394116386707921, 127154149795232525, 434259874286090505, 509127549196054605, 523628978023895325, 636351200832860530]]
 [3, 10, [1, 2, 4, 8, 121, 151, 212, 242, 484, 656, 757, 29092, 48884, 74647, 75457, 76267, 92929, 93739, 848848, 1521251, 2985892, 4022204, 4219124, 4251524, 4287824, 5737375, 7875787, 7949497, 27711772, 83155138, 112969211, 123464321, 211131112, 239060932, 387505783, 520080025, 885626588, 2518338152, 58049094085, 81234543218, 2121010101212, 4320048400234, 4657098907564, 4978471748794, 5972209022795, 6852190912586, 69490044009496, 438222212222834, 534174353471435, 1984267447624891, 21075228182257012, 21669625852696612, 65192854245829156, 248480984489084842, 354164182281461453, 424676146641676424, 659295875578592956]]
 [6, 8, [1, 2, 3, 4, 5, 7, 154, 178, 203, 5001, 7409, 315721, 567434, 1032507, 46823602, 56939099, 84572293, 119204743, 1420737297, 1830945641, 2115191225, 3286138051, 3292861699, 4061216947, 8094406311, 43253138565, 80375377033, 88574916241, 108218625313, 116606986537, 116755331881, 166787896538, 186431605610, 318743407660, 396619220597, 1756866976011, 4920262093249, 11760498311914, 15804478291811, 15813860880803, 24722285628901, 33004205249575, 55584258482529, 371039856325905, 401205063672537, 516268720555889, 926464106240659, 2098982030706015, 11716742258786637, 11951590146783957, 12165877883083869, 18474790776900161, 21316861847661257, 24642663243594193, 31629295131227185, 53493764633670074, 485893308196560339, 498683205468936027]]
 [4, 5, [1, 2, 3, 46, 9222, 76449, 193662, 2347506, 2593206, 17099841, 17402241, 25651017, 32317933, 16516113567, 16619231967, 155784877126, 2806999337418, 3101308506654, 37004798195346, 47470618709562, 48517516968462, 383478037564629, 5892002867556037, 234602176132265223, 250855520885240759]]
 [3, 8, [1, 2, 4, 121, 130, 203, 316, 8578, 9490, 17492, 944035, 1141652, 1276916, 1554173, 58961443, 67470916, 4099065139, 5691134677, 81452592329, 81473867465, 419572845958, 21056462595764, 363376288168081, 2127271328430823, 44880998812567514, 73083110864755396, 79174156601271388]]
 [6, 7, [1, 2, 3, 4, 5, 92, 135, 178, 185, 5854, 6148, 7703, 186621, 204856, 206620, 213970, 269957, 271721, 279071, 4252232, 160258808, 9689802280, 203509031168, 204191148800, 231773764784, 321015775216, 4102350269485, 12262956787888, 13267882222408, 126532386891655, 6116904274791985, 6875219172190387, 10229280954883514, 10231408608585002, 163830160024067455, 223438058101993597, 373054804455006608, 411331566980657307, 418394899248730857]]
 [3, 7, [1, 2, 4, 8, 16, 40, 100, 121, 142, 164, 242, 328, 400, 1312, 8200, 9103, 14762, 54008, 76024, 108016, 112048, 233920, 532900, 639721, 741586, 2585488, 3316520, 11502842, 24919360, 35664908, 87001616, 184827640, 4346524576, 5642510512, 11641189600, 65304259157, 68095147754, 469837033600, 830172165614, 17136683996456, 21772277941544, 22666883572232, 45221839119556, 429162107575160, 1560764115683240, 1734195226323428, 2921460800777086, 3660645308508736, 3959720840467478, 6410639089100872, 11207352411046784, 14959744316064584, 31966439598053368, 70150821079952416, 145103278493444048, 276769804176685816, 315307247753837405, 320754726799278860, 332251822186446404, 418138444696392656, 988421346024174056]]
 [3, 6, [1, 2, 4, 28, 80, 160, 203, 560, 644, 910, 34216, 34972, 74647, 87763, 122420, 221068, 225064, 6731644, 6877120, 6927700, 7723642, 8128762, 8271430, 77894071, 78526951, 539212009, 28476193256, 200267707484, 200316968444, 201509576804, 201669082004, 231852949304, 232018753064, 232039258376, 333349186006, 2947903946317, 5816975658914, 5817003372578, 11610051837124, 27950430282103, 81041908142188, 512166253983233, 599825258665811, 599852455637939, 608310882180287, 2783521300720846, 17138747829520396, 17444458374391288, 49218128293009760, 95810973516749932, 97627162288019560, 97995995365713424, 341978130563929400, 342284137776516584, 378860371017195596]]
 [3, 5, [1, 2, 4, 26, 52, 1066, 1667, 2188, 32152, 67834, 423176, 437576, 14752936, 26513692, 27711772, 33274388, 320785556, 1065805109, 9012701786, 9256436186, 12814126552, 18814619428, 201241053056, 478999841578, 670919564984, 18432110906024, 158312796835916, 278737550525722, 76226057197381156, 149954769917489312, 187908509573113078, 198586101776613958, 234679042329212848]]
 [3, 4, [1, 2, 10, 130, 11950, 175850, 749470, 1181729, 11435450, 916821671, 956613659, 1136307905, 46746179770, 77887660577, 635913760790, 53903615484947, 55988454554339, 534479689454189, 1956592840355065, 2887846891280410, 5158488358367585, 37707959614889810, 46991827781783450, 183016579474682506, 193201488006948586, 244091990257709863]]
 [12, 13, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 326, 483, 640, 797, 954, 1111, 1268, 1425, 1582, 1595, 53210, 100636, 104549, 123257, 129198, 151819, 174596, 227806, 8281118, 8305454, 8329790, 8354126, 8502170, 8526506, 9041475, 9065811, 9090147, 9114483, 12641644, 12665980, 12690316, 12838360, 12862696, 12887032, 12911368, 15972245, 15996581, 16389857, 16414193, 16610909, 16635245, 16659581, 19720458, 19744794, 19769130, 19793466, 28220613, 28368657, 28392993, 28613889, 28786269, 28810605, 28834941, 28859277, 31944490, 31968826, 31993162, 32141206, 32165542, 32189878, 32558818, 32583154, 35668367, 35692703, 35717039, 35741375, 35765711, 35790047, 1381300155, 1423938855, 1481256063, 1969769596, 1980917512, 2030907556, 2069725504, 2526748253, 2530569005, 2569386953, 2669657214, 3834525452, 3838346204, 3977434413, 4047136617, 4070063157, 131349132446, 225263066055, 230947762995, 308459744920, 332840898197, 543561251444, 549105164624, 550499106368, 615313823037, 17901027912530, 34402913767275, 34480364474427, 34522797332427, 35114211682551, 35114803923447, 35191070148807, 35191662389703, 38762038038868, 39999618382816, 52726959561005, 88679888001357, 3338546970154550, 3617178283518590, 5919509189234824, 6085639972102276, 6301302663830812, 6322237335224344, 14202216797048075]]
 [12, 14, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 253, 422, 773, 942, 1027, 1111, 1196, 1280, 1885, 70323, 70911, 85696, 171980, 229115, 380809, 1572090, 10673643, 27542049, 29715549, 31874938, 32001946, 32214214, 54402985, 59764705, 2353540673, 2959840494, 5126224463, 8657188657, 12830754014, 15036869354, 347917568489, 491668028923, 495002892091, 635750488270, 1113652589101, 1452820262101, 1825229971214, 3561900154384, 28591085482155, 101252880671531, 200060590610569, 543774435174581, 4030930607999055, 4267308875998215, 4499045903580555, 4740854284065555, 14192598568359611, 21136268128708993, 57084885178679475, 92987265878272662, 93245359964695926, 99397371219969810]]
 [12, 15, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 241, 1039, 1099, 1160, 1220, 1280, 1401, 1582, 3133, 84976, 92656, 110057, 119777, 187353, 195033, 197073, 212434, 214474, 222154, 365677, 601406, 1102816, 1193296, 12438016, 13610956, 22262611, 50739169, 142535367, 153234328, 31826777502, 297130126432, 297231862432, 549352743824, 549454479824, 550215195824, 671667243106, 6504473033396, 6934891438137, 7305317576037, 73273445539088, 73304151667088, 305194599168602, 1324174420211905, 1698607809059653, 1746065666907553, 11435955352738400, 81546787424254217]]
 [7, 16, [1, 2, 3, 4, 5, 6, 8, 85, 221, 257, 321, 2056, 2120, 2232, 3501, 4047, 6001, 12002, 366229, 464663, 487015, 572856, 674378, 754571, 6872454, 11211194, 13120396, 15794207, 23130209, 33796866, 19369259652, 28672195750, 53531952764, 60738786350, 1101806469121, 2562582750290, 3105081389778, 3116504094162, 3189378488034, 9330924883064, 88158730510853, 180671074800970, 211345480577804, 1643671638894293, 2469860793865928, 3543914685081500, 3710636456267309, 3731632985399629, 4232886020065551, 107552559832112753, 161669435575066162, 223231379431954707, 370822699650213157, 374377239646437941, 492740379989284566, 496294919985509350, 496493393687798758, 534772145870662503]]
 [7, 15, [1, 2, 3, 4, 5, 6, 8, 16, 32, 48, 64, 128, 192, 271, 512, 1024, 2064, 2696, 4096, 9152, 20000, 41232, 46048, 94456, 113672, 128822, 142157, 309171, 322506, 451328, 483879, 497214, 664228, 677563, 729329, 742664, 1243936, 1504336, 1753712, 3232624, 4202000, 4462400, 5680912, 15936601, 28120607, 66825200, 170649224, 1012736000, 1365193792, 2165086512, 4298484976, 4343643376, 7034421992, 8378312688, 12445531384, 13419629600, 13464788000, 20244294652, 23735368854, 161141507584, 161353893184, 241207912416, 266962102416, 345184755968, 469009794432, 742543386586, 753257216986, 2486783445814, 2682192415864, 2856018961114, 3285672307355, 3685541211756, 4108777406572, 4450474050007, 167591158985311, 396345028364328, 1088391308912408, 1093124693112848, 15221758541595712, 17647049930463024, 20189942883931360, 24008181637037712, 24131117643428112, 49151710957732576, 162009051461114300, 183312348789494766, 201511576193512251, 203141114675630091, 279565806725394654, 293889224912358400, 333653041425965951]]
 [7, 13, [1, 2, 3, 4, 5, 6, 8, 235, 300, 680, 2000, 44032, 89248, 165586, 205199, 234606, 264364, 33409759, 33792064, 39770310, 52294824, 1142631543, 1181851542, 1705386451, 2017949312, 7044182400, 346876780512, 428600372736, 820327432436, 856139638243, 1040724504814, 1217602860664, 1528654349714, 38526117244798, 74654860212494, 85458543353654, 86453933766398, 93960501310797, 103319535640702, 120596328490305, 126400330287444, 131657700194051, 176233689168570, 3946283217241808, 8856228730528506, 13485193701501096, 31120870098246000, 47786873351642632]]
 [7, 14, [1, 2, 3, 4, 5, 6, 8, 135, 150, 5700, 6750, 8655, 14355, 22800, 385150, 386522, 395986, 396378, 397750, 407214, 16907004, 16909748, 16931700, 16997948, 17064196, 17086148, 66706816, 66784040, 66803248, 1249573665, 26130405855, 26316907695, 169292934000, 3229027530999, 3242451814627, 3243274054227, 3316156902027, 10164683553600, 48387127809729664, 77387889053162456, 77389797494466344, 77389950069219080, 77419999181072008, 77421920121405656, 77422060197128632, 77513595625350520, 77513757107544344, 77515818123600968, 77546578072709528]]
 [7, 12, [1, 2, 3, 4, 5, 6, 8, 78, 157, 314, 688, 1256, 102808, 124265, 131958, 135150, 155443, 235643, 746486, 10708503, 14620300, 15051605, 18404802, 30829006, 32431810, 364673842, 594649057, 778111021, 1065767678, 1155429314, 1333230063, 1717860087, 1791548800, 1834854664, 3690280448, 3751252520, 3827155088, 35247918498, 256216481152, 267203297272, 274192266448, 496730842424, 498559265720, 500071451192, 3730052122277, 69498239178643, 84459163782597, 181132604326609, 189187804298701, 880420082558432, 911356954702064, 917426926682864, 2509053754174549, 5247011671008208, 5435563285363564, 8020801917190542, 106717029089015514, 203362826442133549, 377419361126092562, 403059356821936106, 412299781729955306, 418442820354530102]]
 [8, 12, [1, 2, 3, 4, 5, 6, 7, 9, 65, 130, 398, 422, 471, 495, 10530, 12090, 13195, 23341, 192573, 193149, 295945, 350545, 591890, 887835, 1585350, 1881295, 1953055, 28032681, 28116201, 124031583, 131134263, 3427910923, 87103860817, 95183804953, 103522608673, 106661008609, 116593678633, 118413600169, 145193755586, 216711023691, 218568767691, 220383671115, 228743749971, 303806631580, 351864835013, 413678474310, 423624415374, 427170028878, 591413767425, 593004896577, 593287790913, 26518576766534, 727920157034850, 1650046195282933, 12580969140111717, 12586921362062181, 12616489897122213, 29444489708300329, 44355829437651290, 44744592148324250, 147158123350451265]]
 [8, 11, [1, 2, 3, 4, 5, 6, 7, 9, 36, 1098, 1242, 2124, 15731, 19636, 29647, 60273, 90162, 1234284, 1295676, 1857351, 1905751, 1956703, 6619275, 11740581, 16229871, 18562433, 77449188, 78559980, 81073524, 940270599, 2292488714, 4923881316, 5343910332, 31060600803, 44507887821, 77434056713, 155029702162, 240664609315, 8080209828209, 9599283645130, 11065535893602, 12448790156146, 24638154353061, 25730737911733, 28279070230750, 30522666492734, 153781705272276, 835634496537018, 1831405670999590, 1949507471283454, 9593475939805716, 94579213716357141, 131269496111953047, 275623070288221881]]
 [8, 15, [1, 2, 3, 4, 5, 6, 7, 9, 316, 406, 873, 1386, 2124, 176733, 522745, 536770, 555970, 588746, 621522, 671458, 17584321, 18624961, 63401075, 64441715, 78293676, 87606157, 115838590, 118235335, 133422911, 3176916346, 4099966771, 4624185556, 6417652157, 1788520845843, 2142469793403, 469161007430313, 540857117863609, 657520207890770, 1036378232658667, 1153410962621828, 1243920051330204, 1328362263191980, 1534134383430941, 1640270560255797, 1758872076791758, 1772986327171798, 1843193123426534, 37650728691109186, 185121371084673681, 370900344665692962]]
 [10, 15, [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 828, 858, 888, 919, 949, 979, 1551, 2772, 23632, 25552, 60106, 67576, 465564, 477774, 489984, 515515, 527725, 17577571, 26144162, 28300382, 39399393, 47999974, 69455496, 2118008112, 8050880508, 8052662508, 8083223808, 17406960471, 20281518202, 615221122516, 692465564296, 1131018101311, 1131877781311, 5938567658395, 6498343438946, 6498409048946, 6624024204266, 6624883884266, 6637917197366, 6799415149976, 6907268627096, 6908732378096, 7073152513707, 7073218123707, 7305480845037, 7485535355847, 8004830384008, 40700399300704, 42629999992624, 141527282725141, 283652313256382, 284111151111482, 74712663536621747, 74712906560921747, 74713184748131747, 74940172027104947, 194176722227671491, 427791895598197724]]
 [8, 14, [1, 2, 3, 4, 5, 6, 7, 9, 45, 105, 195, 211, 365, 422, 1899, 2124, 5265, 17100, 21525, 117603, 155628, 358353, 432233, 442089, 1288380, 1855815, 3959865, 23592537, 88175637, 89957333, 97892213, 98121141, 98350069, 100060029, 100288957, 100517885, 286784010, 292287690, 794820285, 1449063825, 5634215373, 6891609246, 7283105974, 7965748383, 8385547511, 14172248169, 184654327530, 521031906151, 528089763055, 1190513633418, 2776986330309, 2785691317509, 14039602541835, 19126631290260, 145490270820876, 152622661007700, 193635648332325, 317022034808841, 318528921318921, 569834258352194, 1526738177196765, 2682237755056905, 3019207391034705, 3027344664469905, 5354828389794330, 6571263299165370, 11397071523593925, 16779143676174111, 18082378299077121, 45946712458556130, 58488639396982219, 72315213957967364, 72895657776410244, 75957720482278732, 77694199771566356, 89214820011237180, 119107364266939366, 127454270256495879, 130759447468390423, 131934281095310103, 132511027016637847]]
 [7, 11, [1, 2, 3, 4, 5, 6, 8, 24, 48, 221, 321, 8256, 138972, 150193, 241572, 907824, 5240864, 13357857, 18311457, 50021952, 75532416, 172452816, 173001672, 192472872, 453120571, 607585750, 1055642955, 1738241007, 1819275114, 2454152856, 2539530456, 4058284176, 6734941776, 27239156638, 43717366507, 60187756752, 64084051154, 65314345758, 71511264354, 75054834307, 80554441399, 96479842913, 164744536776, 959308537608, 8090831236160, 18978281357360, 70197517492104, 104602761372420, 293318296538352, 2706018321387641, 6698207154374880, 6835030833184236, 42329972216225088, 141541047617114104, 207993908305165943, 322022875648354514, 348278690147084946, 410209758323862747, 411998777286870562, 429941475772849500, 463260919873264952]]
 [10, 14, [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 323, 464, 717, 858, 999, 1111, 39593, 59095, 420024, 546645, 9046409, 9578759, 9813189, 535505535, 564303465, 595121595, 5736116375, 6758008576, 10476867401, 11652825611, 14203330241, 17085058071, 508628826805, 518032230815, 549905509945, 695256652596, 1031186811301, 1098445448901, 2428022208242, 3984321234893, 5105070705015, 5507474747055, 5530138310355, 5542179712455, 5813343433185, 236070676070632, 253675545576352, 306149949941603, 475794747497574, 611552272255116, 692021131120296, 756559989955657, 765611080116567, 5902037117302095, 13955648684655931, 24514444744441542, 26072218381227062, 57047363236374075, 68300282528200386, 69580792329708596, 78325277777252387, 546546033330645645]]
 [8, 10, [1, 2, 3, 4, 5, 6, 7, 9, 121, 292, 333, 373, 414, 585, 3663, 8778, 13131, 13331, 26462, 26662, 30103, 30303, 207702, 628826, 660066, 1496941, 1935391, 1970791, 4198914, 55366355, 130535031, 532898235, 719848917, 799535997, 1820330281, 2464554642, 4424994244, 4480880844, 4637337364, 20855555802, 94029892049, 94466666449, 294378873492, 390894498093, 5227529257225, 5853143413585, 7712150512177, 13994688649931, 28719555591782, 34926999962943, 112745383547211, 185850999058581, 224785646587422, 359934111439953, 393073414370393, 666551535155666, 683113474311386, 685854414458586, 33239024742093233, 45534430503443554, 45576210301267554, 57234017271043275, 70333341514333307, 84172361516327148, 84199148484199148, 96876827472867869, 105080469964080501, 136053358853350631]]
 [7, 10, [1, 2, 3, 4, 5, 6, 8, 121, 171, 242, 292, 16561, 65656, 2137312, 4602064, 6597956, 6958596, 9470749, 61255216, 230474032, 466828664, 485494584, 638828836, 657494756, 858474858, 25699499652, 40130703104, 45862226854, 61454945416, 64454545446, 65796069756, 75016161057, 75431213457, 90750705709, 91023932019, 95365056359, 426970079624, 775350053577, 1269880889621, 2264092904622, 2451956591542, 2680120210862, 2745382835472, 2928299928292, 4158563658514, 6750989890576, 8868067608688, 23419766791432, 49929477492994, 74194966949147, 85161755716158, 201946010649102, 208063959360802, 215821424128512, 229716363617922, 3179862222689713, 7584718778174857, 42074205350247024, 65045053335054056, 67122911011922176, 98709855955890789, 99739047074093799]]
 [10, 16, [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 353, 626, 787, 979, 1991, 3003, 39593, 41514, 90209, 94049, 96369, 98689, 333333, 512215, 666666, 749947, 845548, 1612161, 2485842, 5614165, 6487846, 9616169, 67433476, 90999909, 94355349, 94544549, 119919911, 161131161, 190080091, 241090142, 247969742, 26896769862, 28586268582, 28779897782, 30144644103, 32442924423, 39762526793, 43836363834, 45961216954, 51113531115, 56702120765, 390189981093, 1278169618721, 1631645461361, 1806872786081, 2424058504242, 2692667662962, 3405684865043, 6694367634966, 7888195918887, 14315822851341, 17262755726271, 45113388331154, 397922151229793, 509538666835905, 522013020310225, 816346555643618, 1668739779378661, 5099347667439905, 32000428082400023, 32633196169133623, 64634327472343646, 70667820502876607, 373019805508910373, 535873916619378535, 887358331133853788]]
 [10, 13, [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 222, 313, 353, 444, 575, 666, 797, 1111, 6776, 8778, 24542, 25452, 26362, 56265, 311113, 2377732, 2713172, 2832382, 2906092, 8864688, 10122101, 13055031, 20244202, 20944902, 23177132, 23877832, 33299233, 44166144, 47099074, 62611626, 656353656, 668666866, 952404259, 3071001703, 3805335083, 3814444183, 4369669634, 4378778734, 6924114296, 6933223396, 7488448847, 7497557947, 8381551838, 8390660938, 22087878022, 789679976987, 1199309039911, 1624981894261, 54324199142345, 60808311380806, 235604838406532, 237923878329732, 637013161310736, 672804838408276, 7273324774233727, 37079407070497073, 45850453835405854, 49164413731446194]]
 [10, 12, [1, 2, 3, 4, 5, 6, 7, 8, 9, 11, 181, 555, 616, 676, 737, 797, 1111, 8008, 35953, 43934, 88888, 646646, 3192913, 5641465, 8364638, 9963699, 133373331, 139979931, 293373392, 520020025, 713171317, 796212697, 1393223931, 25712321752, 36265856263, 50992729905, 57644144675, 73183838137, 122507705221, 357496694753, 4538684868354, 10171466417101, 62218411481226, 1643600330063461, 5128288228828215, 8330107227010338, 16330182728103361, 90145891619854109, 411528847748825114, 418955743347559814, 926617966669716629]]
 [8, 13, [1, 2, 3, 4, 5, 6, 7, 9, 154, 170, 235, 300, 1098, 1242, 1386, 1530, 2196, 8778, 10794, 17948, 31279, 57969, 102339, 133956, 274049, 332369, 4648266, 16482807, 18911753, 33076153, 37266314, 49790842, 56248723, 56843291, 62140779, 69430284, 1516938905, 3053818290, 3092431930, 3999901611, 4020472811, 4038515251, 5203530676, 7318160182, 7411735678, 8304755183, 38595967452, 188868567018, 219637725451, 517053032551, 531563983343, 790444183833, 1442174214114, 11691936416426, 13078045636026, 122965564865499, 139204588622715, 295931446371521, 1335326722128364, 18107329878742017, 26660617474530201, 29998984449476777, 33996281057582137, 39340308304202954, 47242492767296994, 53871969364350970, 87449236136180660, 114484587195493270]]
 [8, 9, [1, 2, 3, 4, 5, 6, 7, 154, 227, 300, 373, 446, 455, 11314, 12547, 17876, 27310, 889435, 894619, 899803, 926371, 1257716, 1262900, 1268084, 1273268, 1294652, 1368461, 1373645, 1405397, 2067519, 63367795, 71877268, 98383349, 5170508596, 318713056300, 422454576718, 485724124423, 19404342621340, 31285221426631, 33181029690535, 1366179755723700, 1767662936108630, 1939137135947326, 2229560302980799, 81877825421774500, 120168724989001390]]
 [10, 11, [1, 2, 3, 4, 5, 6, 7, 8, 9, 232, 343, 454, 565, 676, 787, 898, 909, 26962, 38183, 40504, 49294, 52825, 63936, 75157, 2956592, 2968692, 3262623, 3274723, 3286823, 3298923, 3360633, 3372733, 4348434, 4410144, 4422244, 4581854, 4593954, 5643465, 5655565, 5667665, 5741475, 7280827, 7292927, 8710178, 8722278, 8734378, 8746478, 8758578, 8820288, 8832388, 8844488, 356777653, 362151263, 489525984, 492080294, 537181735, 998111899, 999454999, 39276067293, 39453235493, 42521012524, 2909278729092, 2926072706292, 4798641468974, 218053292350812, 218210353012812, 218254595452812, 251569181965152, 259799383997952, 463906656609364, 54470642224607445, 56681764446718665, 56831729892713865, 62712119691121726, 64224652625642246]]
 [6, 16, [1, 2, 3, 4, 5, 7, 14, 385, 819, 1333, 1477, 2329, 2666, 3260, 3662, 3999, 20468, 53533, 195058, 377797, 699818, 822668, 3228691, 14155645, 14584045, 16095583, 17990161, 118628887, 135833624, 138897224, 167969546, 186157083, 189220683, 352391249, 1426829397, 3734747629, 10786497154, 12945761027, 16567733203, 17113615603, 23665808005, 27559176806, 28200390806, 166322608994, 6656721415430, 6746319929894, 10123487348025, 11952148700890, 13196373360652, 13487861621836, 14314909201421, 14320683140621, 15192261472733, 16923548079215, 511543911330257, 1371510221664212, 2840677944956698, 4351447784134015, 23007377303395093, 25408023789257893, 57395280354184892, 68982851287658847, 126536903576814017, 299096415149921828, 429565800758580981, 430266116364605685, 620959839809904280, 633591516877093576, 704185485244024265, 705105100327684553, 717266901389948153]]
 [7, 9, [1, 2, 3, 4, 5, 6, 8, 40, 50, 100, 164, 200, 264, 300, 328, 400, 2000, 3550, 8200, 10252, 14510, 14762, 22800, 45600, 164900, 201720, 400200, 532900, 555013, 738100, 2756120, 2913368, 3344352, 3501600, 4084000, 12990350, 22674550, 194062432, 1684866370, 2225211080, 13575144288, 15127811455, 20404027400, 20537111057, 22668403353, 30862471355, 83714515310, 84668107250, 796259955485, 1202029647736, 2088800185930, 20268849562000, 68503313361800, 147993832352958, 172921319185669, 206576333227900, 734723345582040, 811740650692800, 834424022498440, 1104575959129640, 1993926853603000, 6221745601065984, 9350709125459378, 9812330223915785, 10368492428697080, 11132375103763458, 63100241427288000, 165908503654004197, 208201514372069311, 282488203379766646, 432621948882842255, 511220556702236100]]
 [6, 15, [1, 2, 3, 4, 5, 7, 14, 80, 160, 301, 602, 693, 994, 1295, 1627, 1777, 2365, 2666, 5296, 5776, 6256, 17360, 34720, 51301, 52201, 105092, 155493, 209284, 587846, 735644, 7904800, 11495701, 80005507, 80469907, 83165017, 89731777, 90196177, 118381135, 131249816, 165665834, 166130234, 168096554, 168560954, 19868858947, 202710823040, 4197587711017, 4477466769247, 4477935111247, 4597931032867, 6667484299106, 68299436197552, 148319480254981, 148594304317981, 160725987839971, 260189392532852, 261902479957652, 276246097197542, 959091897067507, 15012486611360032, 35592006832827571, 38008148117105761, 61097627913530642, 142828263656079949, 228833317344095737]]
 [6, 14, [1, 2, 3, 4, 5, 7, 135, 197, 1477, 1519, 1885, 2293, 99290, 101054, 144399, 151497, 284473, 290773, 295309, 301609, 52954895, 54560177, 56146055, 57731933, 59337215, 86644849, 86708353, 86972953, 87036457, 104848225, 196594245, 7672676205, 11389328867, 11459491967, 108836370110161, 108917129734561, 177219780536977, 189877456882795, 334790232765273, 454552027828900, 558609323819927, 558612124346327, 558690083444327, 13278308253885669, 13287900702778941, 19716538680527417, 21744782367086339, 21832757526852539, 81721698940886067, 82864619733677103]]
 [12, 16, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 13, 1172, 1220, 1268, 1317, 1365, 1413, 1558, 3614, 58718, 65535, 112817, 120785, 133122, 141090, 239267, 707018, 720122, 2625922, 5832853, 6850694, 17360897, 27538593, 28591281, 130364871, 342324801, 438583969, 448650145, 2424096521, 2708330010, 2842761114, 6992347297, 12442310114, 15541231251, 20644265668, 104088126337, 107926651537, 146183262242, 8498806573751, 8502093056951, 66392821081795, 72653953122596, 72671633244452, 75571327777604, 1637982339379669, 1686537533517301, 2873100249142586, 2873120999740730, 2875769698088762, 2875791526627130, 2875812277225274, 2878440224975162, 2885904338694218, 14794184648292419, 24683257792830325, 89078963507854385]]
 [7, 8, [1, 2, 3, 4, 5, 6, 121, 178, 235, 292, 300, 2997, 6953, 7801, 10658, 13459, 16708, 428585, 431721, 444713, 447849, 450985, 502457, 626778, 786435, 10453500, 27924649, 630832428, 1556085529, 1709813601, 54453459798, 54464523606, 55027793502, 3741580511478, 4712469842177, 68995850733945, 6615812399178042, 6622944330543930, 6641481107049786, 10688365729164780]]
 [11, 16, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 221, 255, 321, 465, 610, 754, 787, 931, 1220, 3324, 42330, 300180, 319188, 323556, 527112, 7182806, 8995992, 10743354, 16370847, 17439233, 83713524, 142996872, 148938984, 150164472, 202601244, 243146366, 720375714, 1639136022, 1693449798, 2124765927, 17692593684, 19231361652, 32189558391, 32302916999, 40512700009, 55378957548, 56225515293, 242103084419, 5962272554085, 8398368498599, 9228993086568, 10053681595433, 13369797437484, 14882074265997, 15248665566941, 86564654722020, 87084023755764, 216239773563468, 956807953921635, 1384295952419812, 1487836599363909, 1551861305336709, 2065370575894103, 2315496066050360, 2412965901144728, 2867651822817338, 3022676764073402, 3316937808197835, 3520209700557196, 18161337062021124, 20217619090849140, 36750416250407208, 85904044987593009, 161641552440217138, 194153478258803122, 208480508217894114, 214630243285437170, 290886212808304900, 382242643782925637, 441122875826384662, 477249853554462614]]
 [11, 12, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 277, 410, 543, 676, 809, 942, 1075, 1208, 1220, 38425, 54662, 72351, 75399, 93088, 125430, 1798303, 1817179, 5058385, 5075809, 5093233, 5199361, 5216785, 5550889, 5568313, 5585737, 5603161, 5620585, 7569434, 7727702, 7833830, 7851254, 7868678, 7886102, 9711399, 9728823, 9746247, 10134195, 11976916, 11994340, 12011764, 12029188, 12152740, 12504268, 17263409, 17280833, 17298257, 17315681, 19422798, 19440222, 19457646, 717408673, 726679825, 728997217, 750256081, 754700653, 775959517, 778276909, 1006734722, 1013479394, 1027993586, 1030310978, 1034738258, 1084225466, 1107801722, 1705393719, 2083798924, 2335832993, 2347421537, 37180386607, 92921646601, 94745819017, 95107140505, 95468461993, 97292634409, 97653955897, 99730952005, 102277767397, 109809714205, 233088650319, 4036309890977, 7448647872250, 8013269088838, 14200232629477, 14457884960677, 14458188556453, 14490903318709, 14555421848389, 14715840887653, 14748555649909, 14748859245685, 14967855406321, 2669512455755570, 4126815166376187, 4145320338872283, 4173452110492455, 140538057123815013, 500782282758011330]]
 [11, 15, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 48, 96, 144, 421, 587, 632, 798, 964, 1009, 1175, 1220, 2124, 20736, 79546, 85651, 114572, 134462, 142382, 172668, 620832, 2353968, 5774992, 7290144, 11563426, 18157171, 19187926, 40182408, 68865756, 364824032, 508024112, 1118992176, 1767825760, 2203762032, 16179671316, 16898908176, 17723406576, 23925294084, 24434261004, 24721776144, 25546274544, 2178151201068, 7136970029862, 11018317997536, 25649653196912, 26894681787168, 78922117276224, 84303895176624, 84322994494224, 473204791090263, 569698298223154, 923258761622122, 1283494435553454, 1286185618772079, 1541555324733131, 1658935944211902, 1923157049879444, 2681364817044976, 3040188729820096, 3062261439080896, 11860922535626496, 13062283919392656, 18593164077299904, 114585435581083623, 152318951876612975, 238342280918893013, 258604819872956738, 303860998983923200, 425516357475932534]]
 [11, 14, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 60, 120, 576, 942, 1153, 1308, 2124, 6120, 25125, 54167, 79788, 83330, 86872, 109930, 113472, 116035, 257676, 1131720, 1291320, 1450920, 1610520, 4228875, 4479840, 7816285, 8618933, 9617371, 10177161, 10420019, 12221105, 16330554, 18385278, 32338296, 33466500, 78414780, 80444808, 846865440, 991085055, 1819983327, 5922693900, 15955743744, 270050298825, 778646859300, 3129735068316, 4066366475865, 7225625171745, 7773994574865, 12856020283935, 26826853100550, 158850649157160, 166634255747304, 167805169973016, 245176014743832, 347828730159756, 581974500724816, 756350118057029, 1582630850816415, 1719603031117470, 1774344929669580, 3738880128354270, 29417081971235856, 59565487747503827, 73999835508106696, 83764389675948037, 97779320414717922, 114682146941852514, 115820655274304928, 124647997554085205, 132702761002853857, 180687815302648305, 230315114026799565, 257777429416512615]]
 [11, 13, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 84, 366, 510, 732, 876, 1020, 1098, 1242, 1464, 10248, 30252, 31110, 62220, 103704, 146541, 3382050, 3698730, 4391268, 225622530, 272466250, 413186676, 713998530, 801837204, 848770222, 912265732, 1209976366, 1380238822, 2825462916, 3621083808, 4226415744, 10219072824, 69318625642, 105464568972, 161292069901, 250193667062, 512210542548, 603486499464, 1296122909844, 7468574153460, 7682588331838, 37522234304556, 60125093502684, 136877920227612, 210697545039900, 222455366133204, 263132215494276, 706120780551396, 23017500169897524, 26628726528852168, 33569506133299716, 48231341375350574, 54260383093609980, 70045698259183934, 187553405535061790, 251380083615025876, 309544827674932570, 436347292972775842]]
 [13, 14, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 379, 562, 745, 928, 1111, 1294, 1477, 1660, 1843, 2026, 2040, 71905, 105394, 136517, 167458, 170006, 174934, 205875, 208423, 239364, 270487, 342392, 344954, 13059425, 13092549, 13125673, 13158797, 13191921, 13426337, 14827387, 19088540, 19121664, 19154788, 19187912, 19221036, 19921568, 19954692, 19987816, 20020940, 20222232, 20255356, 20288480, 25283289, 25316413, 25851311, 25884435, 25917559, 25950683, 25983807, 26251347, 26284471, 26317595, 31246156, 31279280, 31312404, 31880426, 31913550, 32247338, 50566578, 50599702, 50632826, 50867242, 51167724, 51200848, 51233972, 51468388, 51501512, 51534636, 51567760, 51600884, 56496321, 56529445, 56562569, 56595693, 56628817, 56896357, 57497503, 57530627, 62492312, 62525436, 62558560, 62591684, 62624808, 62657932, 2670977611, 3639585434, 3645647126, 3694606764, 3700668456, 3762182272, 4663214587, 4669276279, 4730790095, 4736851787, 7108539134, 7175222660, 7193871472, 7261446980, 7267508672, 8132168287, 8437520257, 9528724918, 9534786610, 475476527919, 477447474715, 482380333919, 488788902995, 494746651883, 666044134422, 713133159146, 34577567573550, 34811609537160, 35194041720930, 54489277730565, 54768340178775, 55150772362545, 86633797358319, 87790392173695, 88274503907983, 88528385489027, 89191196068913, 89247563643449, 89332705573049, 90230582540309, 90399322191753, 90484464121353, 90653203772797, 93104163839989, 97239233929517, 98396925944269, 98453293518805, 99690193996709, 103540860759743, 130567500493838, 223786230809501, 255872760628846, 15539158666696239, 17940445802722577, 18147037734445481, 18162618707562281, 39510298617719485, 44956663387572220, 47330603786766598]]
 [14, 16, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 15, 337, 562, 1252, 1477, 1590, 1702, 1815, 1927, 2152, 2955, 39593, 63631, 124897, 175522, 202515, 228723, 229507, 356981, 380613, 381397, 407606, 508871, 8257495, 35055122, 53222435, 57083747, 58165107, 58415987, 86694437, 99417317, 247151550, 5440881729, 7432965041, 9939411026, 12858982130, 13446902051, 14112205123, 16692208355, 17928596516, 18371643204, 18980297572, 65229553455, 66222238575, 1622377609585, 2087880431329, 2377328593186, 3962373638803, 3996388127395, 4044889705891, 9072250994760, 442561059717777, 551865383904753, 552418441651953, 559496901221617, 591744912603666, 608428352100642, 693963012384626, 2563473749277465, 2682649845684105, 4284277493041215, 45976659114358074, 48796305434064346, 79344976832751889, 82080393048331041, 108579713091420545]]
 [14, 15, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 436, 647, 858, 1069, 1280, 1491, 1702, 1913, 2124, 2335, 2546, 2561, 95146, 139667, 181248, 225769, 231874, 267140, 276395, 317766, 454493, 499014, 502179, 19943716, 19987816, 20031916, 20076016, 20120116, 20164216, 20476066, 29205347, 29249447, 29293547, 29337647, 29381747, 29425847, 30402152, 30446252, 30490352, 30534452, 30578552, 30890402, 30934502, 37222938, 38731593, 39531483, 39575583, 39619683, 39663783, 39707883, 39751983, 39796083, 40107933, 40152033, 47905024, 47949124, 47993224, 48793114, 48837214, 48881314, 48925414, 57166655, 57210755, 58010645, 58054745, 77463186, 77507286, 78263076, 78307176, 78351276, 78395376, 78439476, 78483576, 78795426, 78839526, 78883626, 78927726, 86592517, 86636617, 86680717, 86724817, 87524707, 87568807, 87612907, 87657007, 88012957, 88057057, 95810048, 95854148, 95898248, 95942348, 95986448, 96742238, 96786338, 105071679, 105115779, 105159879, 105203979, 4170900736, 4282568026, 4395511276, 4545674941, 4630085281, 4676613931, 4685919031, 6359020532, 6368325632, 6481268882, 6499264622, 6508569722, 6612207872, 6621512972, 6630818072, 8237504973, 8303919573, 8350448223, 8425553463, 12651626464, 12737312764, 12746617864, 12755264614, 12764569714, 14577915305, 14587220405, 14596525505, 14934737660, 16748083251, 16757388351, 977217225001, 1004576121391, 1010596565191, 1349338270802, 1361796520802, 1399102616342, 1733917566603, 1878875702598, 2255870060073, 2276791150263, 2291482006863, 2732733210769, 2747424067369, 3127259705720, 3139717955720, 3158814584810, 201264350063521, 203789289172171, 203791233982171, 204140920125271, 204303423553771, 206828362662421, 207179993615521, 208717773583861, 209229963155461, 212933133782911, 214289566081111, 215295569463061, 215700117770161, 215807759034661, 217345539003001, 217857728574601, 228585095740516, 228587040550516, 228936726693616, 234025769723806, 242122501329706, 242124446139706, 280844701083482, 280950397537982, 280952342347982, 305748148916327, 493123462437558, 495650346356208, 496000032499308, 496512222070908, 498687475036458, 499039105989558, 499551295561158, 506148678455148, 509535493278498, 509537438088498, 510049627660098, 23044579418585216, 26926823266016368, 42895444150706731, 43958660975811781, 49270955057205676, 50289978334083226]]
 [13, 15, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 112, 693, 1190, 1386, 1582, 1883, 2079, 2380, 19040, 56941, 57631, 76156, 94006, 95371, 115262, 133787, 135152, 153678, 172893, 192783, 212674, 230524, 250414, 4491200, 4798416, 19987816, 26985002, 30483602, 34287078, 38680728, 41779278, 45582754, 49976404, 53475004, 57241130, 134223026, 2366974768, 2437107584, 3286653361, 3785653681, 4041993271, 7792968153, 9444455928, 9700795518, 15339613940, 33253914372, 269548590832, 775074542026, 898220719246, 1137162984511, 31134800499648, 155325393723181, 217926045601351, 223733154863851, 226431009289741, 233183322166441, 272120266862117, 483516089211078, 1410311137190830, 2544221971606336, 17285783599416128, 22560118961691056, 23158261012914656, 27669533210633984, 410869802073600254, 530386561769238496]]
 [9, 16, [1, 2, 3, 4, 5, 6, 7, 8, 10, 136, 255, 273, 337, 546, 610, 674, 2280, 2730, 3100, 23205, 29767, 43962, 50524, 184530, 305060, 425590, 541000, 615529, 854029, 928558, 1003087, 42235010, 114923990, 115733990, 145554600, 151274505, 248800478, 268131327, 2307913880, 11985644226, 21351409908, 308293631092, 500991154759, 660138703769, 835670841644, 1964986501569, 5448348108020, 7286948860070, 9111080425800, 228270478313980, 785844978367170, 1179795008520500, 1184584925402420, 1697442388039430, 1830181266948230, 4357196756867711, 153729282180850210, 333713891173831076, 430431474825771509, 431046016395013109, 484135829711550390, 554303368663089591, 554917910232331191, 555532451801572791, 809464729615190843, 935655686131227900, 990324011423915709, 1099572002012164687]]
 [13, 16, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 14, 170, 353, 562, 706, 771, 915, 1124, 1268, 1333, 1477, 1686, 16660, 33320, 186322, 253651, 285268, 295812, 318420, 363141, 787724, 813932, 6820230, 28525489, 48259298, 67482884, 103899446, 1558744773, 3872882030, 8098063073, 8768760322, 27026123334, 604960697800, 856241976700, 877249299660, 1326964929585, 1652148641921, 4706766284612, 5218218999476, 11343520207194, 11627221754778, 11910923302362, 96866974404997, 164997736431977, 1918823866835414, 2396447727059848, 29597439965749910, 45056504750547210, 175217927498202722, 501429231813617142]]
 [9, 15, [1, 2, 3, 4, 5, 6, 7, 8, 10, 80, 346, 391, 482, 23376, 296060, 682768, 694513, 4404320, 8089120, 8244640, 51583159, 55495549, 81941212, 84273607, 93135188, 93280988, 95613383, 941515760, 1003890800, 1809755680, 1835734000, 3682528516, 3748227616, 4731077431, 23293775049, 26428894945, 27394454410, 27436963210, 28529397926, 29941323461, 565450948064, 1495405472297, 1607351150867, 1954657965903, 40794384637504, 94989208270720, 169696813808086, 169826468999461, 2417506085365696, 3981937903674752, 5178010032365312, 6730810546914768, 10222148210968400, 210114043622269687, 221790296886587902, 226655058596451022, 293284471734360010, 293313168167269510, 327979115479757756, 417191847371183324, 418302383859228224, 423193359298186469]]
 [9, 14, [1, 2, 3, 4, 5, 6, 7, 8, 10, 30, 60, 309, 337, 464, 492, 619, 1730, 22800, 186960, 488780, 1619355, 3362820, 44926327, 93506978, 1297314660, 1343153460, 1348863150, 5553978643, 7529652443, 8519071349, 10919102061, 12159504498, 15087876016, 18243023090, 20593551047, 20632050347, 100420252860, 209816873430, 436543281343, 891245778069, 947365757985, 1124711267403, 1126339494087, 1320927401434, 1382048887216, 1617855620477, 1678977106259, 1997678891410, 2404054454264, 8720307839910, 8817572224470, 9246037428840, 9429018554370, 9579687345300, 10013447742510, 16470154498200, 16803804414660, 69146257206783, 128198548881104, 140036041634190, 185503104787913, 191047038877313, 6263513489986095, 6612432818718000, 91389649478134190, 144135214308091970, 943872136410840090, 1009452326873432910]]
 [9, 13, [1, 2, 3, 4, 5, 6, 7, 8, 10, 70, 154, 209, 300, 510, 601, 719, 1360, 2000, 10990, 12628, 32800, 41991, 56096, 189390, 242770, 320630, 2691878, 2744294, 5078620, 8444710, 9883460, 25723040, 35606500, 49596310, 62264656, 129644634, 133418586, 135829722, 183851878, 261854376, 485806510, 3154433480, 5365773757, 5698250902, 6159382210, 7538498210, 8374857410, 9952277204, 22512660198, 207256839180, 354403638136, 472575514141, 764158916513, 838669033559, 1183705193497, 1218976579192, 1301178643033, 1537874249000, 1571096624108, 15812804051520, 18433192264900, 18924759185290, 29536419877966, 40178923550065, 67121907297707, 108189311876572, 138722845795071, 5540407928081300, 5566913370895332, 10427896075899200, 12559341621194358, 12588836899295868, 13666556457202678, 17825249060232670, 27711762095428210, 407760794323541120, 770224038826166744, 1109961104617935142]]
 [9, 12, [1, 2, 3, 4, 5, 6, 7, 8, 10, 91, 145, 410, 519, 555, 592, 628, 1450, 14924, 28129, 28705, 29281, 56834, 102520, 2590042, 18658830, 26866940, 46281781, 90053210, 1721074180, 3457225880, 4330742698, 4522950514, 6597388837, 30403839869, 160192992470, 162012893270, 307308364264, 486860052223, 715297102787, 1379003331433, 3106816427260, 37679572608796, 83741340909945, 1966234073139721, 2256301802852605, 10811312345374916, 12746312854192221, 12749269954255773, 14990577360225083, 15402923699093567, 104586100296691650, 135970183779403220]]
 [9, 11, [1, 2, 3, 4, 5, 6, 7, 8, 10, 60, 255, 410, 510, 610, 665, 820, 4920, 15005, 20010, 24762, 40020, 84430, 113230, 380580, 1701336, 2207668, 2584858, 2658668, 3168716, 3360633, 3610158, 14740140, 15056940, 18253740, 134188500, 135749532, 160455468, 162016500, 170326956, 672809140, 857347670, 2159444660, 2246398340, 21632709624, 28455496928, 77479373270, 103795820220, 188001172850, 239677579150, 277693804970, 1866904038456, 7264349130260, 24276280897414, 881048235727750, 1653716804665490, 2694919972158586, 3509905488132547, 11842992228735384, 12052577696410968, 12346720825169436, 12444669044465748, 72182614814006170, 141002470155126770, 200725856747004142, 286431978436419547, 498831218674904730, 523639616135728368, 995041232726611632, 1031908584501268476]]
 [9, 10, [1, 2, 3, 4, 5, 6, 7, 8, 191, 282, 373, 464, 555, 646, 656, 6886, 25752, 27472, 42324, 50605, 626626, 1540451, 1713171, 1721271, 1828281, 1877781, 1885881, 2401042, 2434342, 2442442, 2450542, 3106013, 3114113, 3122213, 3163613, 3171713, 3303033, 3360633, 65666656, 167191761, 181434181, 232000232, 382000283, 5435665345, 8901111098, 9565335659, 827362263728, 1400232320041, 2005542455002, 2024099904202, 2081985891802, 41275222257214, 42143900934124, 101904010409101, 149285434582941, 149819212918941, 4782537117352874, 5987078778707895, 11111059395011111, 11199701210799111, 13577478487477531, 14802554345520841, 190076027720670091, 194216405504612491, 547906983389609745]]
 [15, 16, [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 497, 738, 979, 1220, 1461, 1702, 1943, 2184, 2425, 2666, 2907, 3148, 3164, 123617, 181698, 294260, 348501, 359797, 414038, 472119, 526600, 650217, 708298, 712154, 29619137, 29676737, 29734337, 29791937, 29849537, 29907137, 29964737, 31124177, 43443858, 43501458, 43559058, 43616658, 43674258, 43731858, 43789458, 45816754, 47033794, 56746339, 58831235, 58888835, 58946435, 59004035, 59061635, 59119235, 59641475, 71381316, 71438916, 72598356, 72655956, 72713556, 72771156, 72828756, 72886356, 85206037, 85263637, 86423077, 86480677, 86538277, 116445430, 116503030, 116560630, 116618230, 116675830, 116733430, 116791030, 117198070, 117255670, 117313270, 129110711, 130212551, 130270151, 130327751, 130385351, 130442951, 130500551, 130558151, 131022791, 142762632, 142820232, 142877832, 142935432, 143979672, 144037272, 144094872, 144152472, 144210072, 144267672, 156587353, 156644953, 156702553, 157804393, 157861993, 157919593, 169889834, 169947434, 170354474, 170412074, 170469674, 170527274, 2829757066, 7263150257, 7277031857, 7431518897, 7445400497, 7459282097, 7795155153, 7809036753, 7822918353, 7906211793, 7991286993, 8005168593, 10791039874, 10804921474, 11210206354, 14095034435, 14318069075, 17216778756, 17230660356, 17257505796, 17399028996, 17579497236, 24703824069, 24787117509, 24886074309, 25095227349, 25109108949, 27685827190, 27699708790, 27868077430, 27993937030, 28007818630, 28091112070, 28454748326, 746852269786, 1896011233713, 1899786164913, 1984077036993, 1996587126993, 2620063679074, 2630972773474, 2725508323954, 3372404060435, 3403594233875, 5164258124468, 5175167218868, 5403748870884, 6074714384005, 8594839052759, 142077571662616, 442158494786193, 457748283216033, 457848465744033, 459147381805473, 459150699565473, 460826680890273, 463455772640673, 463459090400673, 464442268083873, 464445585843873, 465135071725473, 470049574980513, 470052892740513, 470153075268513, 470842561150113, 470845878910113, 474461466103713, 491450353122993, 491453670882993, 491456988642993, 521366551800529, 535280358905569, 616035749740594, 620344140575794, 626941260675634, 632648750100274, 637765538219074, 643372845115714, 676475438122850, 681770324401250, 699552197590130, 1109601230332403, 1113909621167603, 1119617110592243, 1125224417488883, 1282112785424004, 1286107577037204, 1286110894797204, 1293494365546644, 1297013087972244, 1297016405732244, 1935574930120934, 1942958400870374, 1942961718630374, 38322172687372936, 109041268661969793, 110303227205969793, 110383318277105793, 111130009818684033, 111275283331701633, 111341265353743233, 115642689045191313, 115787962558208913, 116712454298644113, 125662519382605489, 125873774917664689, 280160592760951779]]
 [2, 16, [1, 3, 5, 7, 9, 15, 17, 51, 85, 119, 153, 255, 257, 273, 771, 819, 1285, 1317, 1365, 1397, 1799, 1831, 1879, 1911, 2313, 2409, 2457, 2553, 3855, 3951, 3999, 4095, 4097, 4369, 12291, 13107, 20485, 21029, 21845, 22389, 28679, 29223, 30039, 30583, 36873, 38505, 39321, 40953, 61455, 63087, 63903, 65535, 65537, 65793, 69649, 69905, 196611, 197379, 208947, 209715, 327685, 328197, 328965, 329477, 335909, 336421, 337189, 337701, 348245, 348757, 349525, 350037, 356469, 356981, 357749, 358261, 458759, 459271, 460039, 460551, 466983, 467495, 468263, 468775, 479319, 479831, 480599, 481111, 487543, 488055, 488823, 489335, 589833, 591369, 592137, 593673, 614505, 616041, 616809, 618345, 626841, 628377, 629145, 630681, 651513, 653049, 653817, 655353, 983055, 984591, 985359, 986895, 1007727, 1009263, 1010031, 1011567, 1020063, 1021599, 1022367, 1023903, 1044735, 1046271, 1047039, 1048575, 1048577, 1052929, 1114129, 1118481, 3145731, 3158787, 3342387, 3355443, 5242885, 5251589, 5264645, 5273349, 5373989, 5382693, 5395749, 5404453, 5570645, 5579349, 5592405, 5601109, 5701749, 5710453, 5723509, 5732213, 7340039, 7348743, 7361799, 7370503, 7471143, 7479847, 7492903, 7501607, 7667799, 7676503, 7689559, 7698263, 7798903, 7807607, 7820663, 7829367, 9437193, 9463305, 9476361, 9502473, 9830505, 9856617, 9869673, 9895785, 10027161, 10053273, 10066329, 10092441, 10420473, 10446585, 10459641, 10485753, 15728655, 15754767, 15767823, 15793935, 16121967, 16148079, 16161135, 16187247, 16318623, 16344735, 16357791, 16383903, 16711935, 16738047, 16751103, 16777215, 16777217, 16781313, 16843009, 16847105, 17825809, 17829905, 17891601, 17895697, 50331651, 50343939, 50529027, 50541315, 53477427, 53489715, 53674803, 53687091, 83886085, 83894277, 83906565, 83914757, 84017669, 84025861, 84038149, 84046341, 84215045, 84223237, 84235525, 84243717, 84346629, 84354821, 84367109, 84375301, 85983269, 85991461, 86003749, 86011941, 86114853, 86123045, 86135333, 86143525, 86312229, 86320421, 86332709, 86340901, 86443813, 86452005, 86464293, 86472485, 89129045, 89137237, 89149525, 89157717, 89260629, 89268821, 89281109, 89289301, 89458005, 89466197, 89478485, 89486677, 89589589, 89597781, 89610069, 89618261, 91226229, 91234421, 91246709, 91254901, 91357813, 91366005, 91378293, 91386485, 91555189, 91563381, 91575669, 91583861, 91686773, 91694965, 91707253, 91715445, 117440519, 117448711, 117460999, 117469191, 117572103, 117580295, 117592583, 117600775, 117769479, 117777671, 117789959, 117798151, 117901063, 117909255, 117921543, 117929735, 119537703, 119545895, 119558183, 119566375, 119669287, 119677479, 119689767, 119697959, 119866663, 119874855, 119887143, 119895335, 119998247, 120006439, 120018727, 120026919, 122683479, 122691671, 122703959, 122712151, 122815063, 122823255, 122835543, 122843735, 123012439, 123020631, 123032919, 123041111, 123144023, 123152215, 123164503, 123172695, 124780663, 124788855, 124801143, 124809335, 124912247, 124920439, 124932727, 124940919, 125109623, 125117815, 125130103, 125138295, 125241207, 125249399, 125261687, 125269879, 150994953, 151019529, 151031817, 151056393, 151389705, 151414281, 151426569, 151451145, 151587081, 151611657, 151623945, 151648521, 151981833, 152006409, 152018697, 152043273, 157286505, 157311081, 157323369, 157347945, 157681257, 157705833, 157718121, 157742697, 157878633, 157903209, 157915497, 157940073, 158273385, 158297961, 158310249, 158334825, 160432281, 160456857, 160469145, 160493721, 160827033, 160851609, 160863897, 160888473, 161024409, 161048985, 161061273, 161085849, 161419161, 161443737, 161456025, 161480601, 166723833, 166748409, 166760697, 166785273, 167118585, 167143161, 167155449, 167180025, 167315961, 167340537, 167352825, 167377401, 167710713, 167735289, 167747577, 167772153, 251658255, 251682831, 251695119, 251719695, 252053007, 252077583, 252089871, 252114447, 252250383, 252274959, 252287247, 252311823, 252645135, 252669711, 252681999, 252706575, 257949807, 257974383, 257986671, 258011247, 258344559, 258369135, 258381423, 258405999, 258541935, 258566511, 258578799, 258603375, 258936687, 258961263, 258973551, 258998127, 261095583, 261120159, 261132447, 261157023, 261490335, 261514911, 261527199, 261551775, 261687711, 261712287, 261724575, 261749151, 262082463, 262107039, 262119327, 262143903, 267387135, 267411711, 267423999, 267448575, 267781887, 267806463, 267818751, 267843327, 267979263, 268003839, 268016127, 268040703, 268374015, 268398591, 268410879, 268435455, 268435457, 268505089, 269484289, 269553921, 285212689, 285282321, 286261521, 286331153, 805306371, 805515267, 808452867, 808661763, 855638067, 855846963, 858784563, 858993459, 1342177285, 1342316549, 1342525445, 1342664709, 1344274949, 1344414213, 1344623109, 1344762373, 1347421445, 1347560709, 1347769605, 1347908869, 1349519109, 1349658373, 1349867269, 1350006533, 1375731749, 1375871013, 1376079909, 1376219173, 1377829413, 1377968677, 1378177573, 1378316837, 1380975909, 1381115173, 1381324069, 1381463333, 1383073573, 1383212837, 1383421733, 1383560997, 1426063445, 1426202709, 1426411605, 1426550869, 1428161109, 1428300373, 1428509269, 1428648533, 1431307605, 1431446869, 1431655765, 1431795029, 1433405269, 1433544533, 1433753429, 1433892693, 1459617909, 1459757173, 1459966069, 1460105333, 1461715573, 1461854837, 1462063733, 1462202997, 1464862069, 1465001333, 1465210229, 1465349493, 1466959733, 1467098997, 1467307893, 1467447157, 1879048199, 1879187463, 1879396359, 1879535623, 1881145863, 1881285127, 1881494023, 1881633287, 1884292359, 1884431623, 1884640519, 1884779783, 1886390023, 1886529287, 1886738183, 1886877447, 1912602663, 1912741927, 1912950823, 1913090087, 1914700327, 1914839591, 1915048487, 1915187751, 1917846823, 1917986087, 1918194983, 1918334247, 1919944487, 1920083751, 1920292647, 1920431911, 1962934359, 1963073623, 1963282519, 1963421783, 1965032023, 1965171287, 1965380183, 1965519447, 1968178519, 1968317783, 1968526679, 1968665943, 1970276183, 1970415447, 1970624343, 1970763607, 1996488823, 1996628087, 1996836983, 1996976247, 1998586487, 1998725751, 1998934647, 1999073911, 2001732983, 2001872247, 2002081143, 2002220407, 2003830647, 2003969911, 2004178807, 2004318071, 2415919113, 2416336905, 2416545801, 2416963593, 2422212105, 2422629897, 2422838793, 2423256585, 2425358601, 2425776393, 2425985289, 2426403081, 2431651593, 2432069385, 2432278281, 2432696073, 2516582505, 2517000297, 2517209193, 2517626985, 2522875497, 2523293289, 2523502185, 2523919977, 2526021993, 2526439785, 2526648681, 2527066473, 2532314985, 2532732777, 2532941673, 2533359465, 2566914201, 2567331993, 2567540889, 2567958681, 2573207193, 2573624985, 2573833881, 2574251673, 2576353689, 2576771481, 2576980377, 2577398169, 2582646681, 2583064473, 2583273369, 2583691161, 2667577593, 2667995385, 2668204281, 2668622073, 2673870585, 2674288377, 2674497273, 2674915065, 2677017081, 2677434873, 2677643769, 2678061561, 2683310073, 2683727865, 2683936761, 2684354553, 4026531855, 4026949647, 4027158543, 4027576335, 4032824847, 4033242639, 4033451535, 4033869327, 4035971343, 4036389135, 4036598031, 4037015823, 4042264335, 4042682127, 4042891023, 4043308815, 4127195247, 4127613039, 4127821935, 4128239727, 4133488239, 4133906031, 4134114927, 4134532719, 4136634735, 4137052527, 4137261423, 4137679215, 4142927727, 4143345519, 4143554415, 4143972207, 4177526943, 4177944735, 4178153631, 4178571423, 4183819935, 4184237727, 4184446623, 4184864415, 4186966431, 4187384223, 4187593119, 4188010911, 4193259423, 4193677215, 4193886111, 4194303903, 4278190335, 4278608127, 4278817023, 4279234815, 4284483327, 4284901119, 4285110015, 4285527807, 4287629823, 4288047615, 4288256511, 4288674303, 4293922815, 4294340607, 4294549503, 4294967295, 4294967297, 4295032833, 4296019969, 4296085505, 4311744769, 4311810305, 4312797441, 4312862977, 4563402769, 4563468305, 4564455441, 4564520977, 4580180241, 4580245777, 4581232913, 4581298449, 12884901891, 12885098499, 12888059907, 12888256515, 12935234307, 12935430915, 12938392323, 12938588931, 13690208307, 13690404915, 13693366323, 13693562931, 13740540723, 13740737331, 13743698739, 13743895347, 21474836485, 21474967557, 21475164165, 21475295237, 21476941829, 21477072901, 21477269509, 21477400581, 21480099845, 21480230917, 21480427525, 21480558597, 21482205189, 21482336261, 21482532869, 21482663941, 21508391429, 21508522501, 21508719109, 21508850181, 21510496773, 21510627845, 21510824453, 21510955525, 21513654789, 21513785861, 21513982469, 21514113541, 21515760133, 21515891205, 21516087813, 21516218885, 21558723845, 21558854917, 21559051525, 21559182597, 21560829189, 21560960261, 21561156869, 21561287941, 21563987205, 21564118277, 21564314885, 21564445957, 21566092549, 21566223621, 21566420229, 21566551301, 21592278789, 21592409861, 21592606469, 21592737541, 21594384133, 21594515205, 21594711813, 21594842885, 21597542149, 21597673221, 21597869829, 21598000901, 21599647493, 21599778565, 21599975173, 21600106245, 22011707429, 22011838501, 22012035109, 22012166181, 22013812773, 22013943845, 22014140453, 22014271525, 22016970789, 22017101861, 22017298469, 22017429541, 22019076133, 22019207205, 22019403813, 22019534885, 22045262373, 22045393445, 22045590053, 22045721125, 22047367717, 22047498789, 22047695397, 22047826469, 22050525733, 22050656805, 22050853413, 22050984485, 22052631077, 22052762149, 22052958757, 22053089829, 22095594789, 22095725861, 22095922469, 22096053541, 22097700133, 22097831205, 22098027813, 22098158885, 22100858149, 22100989221, 22101185829, 22101316901, 22102963493, 22103094565, 22103291173, 22103422245, 22129149733, 22129280805, 22129477413, 22129608485, 22131255077, 22131386149, 22131582757, 22131713829, 22134413093, 22134544165, 22134740773, 22134871845, 22136518437, 22136649509, 22136846117, 22136977189, 22817013845, 22817144917, 22817341525, 22817472597, 22819119189, 22819250261, 22819446869, 22819577941, 22822277205, 22822408277, 22822604885, 22822735957, 22824382549, 22824513621, 22824710229, 22824841301, 22850568789, 22850699861, 22850896469, 22851027541, 22852674133, 22852805205, 22853001813, 22853132885, 22855832149, 22855963221, 22856159829, 22856290901, 22857937493, 22858068565, 22858265173, 22858396245, 22900901205, 22901032277, 22901228885, 22901359957, 22903006549, 22903137621, 22903334229, 22903465301, 22906164565, 22906295637, 22906492245, 22906623317, 22908269909, 22908400981, 22908597589, 22908728661, 22934456149, 22934587221, 22934783829, 22934914901, 22936561493, 22936692565, 22936889173, 22937020245, 22939719509, 22939850581, 22940047189, 22940178261, 22941824853, 22941955925, 22942152533, 22942283605, 23353884789, 23354015861, 23354212469, 23354343541, 23355990133, 23356121205, 23356317813, 23356448885, 23359148149, 23359279221, 23359475829, 23359606901, 23361253493, 23361384565, 23361581173, 23361712245, 23387439733, 23387570805, 23387767413, 23387898485, 23389545077, 23389676149, 23389872757, 23390003829, 23392703093, 23392834165, 23393030773, 23393161845, 23394808437, 23394939509, 23395136117, 23395267189, 23437772149, 23437903221, 23438099829, 23438230901]]
 [2, 15, [1, 3, 5, 7, 9, 693, 843, 2049, 69601, 127007, 170853, 277985, 310761, 340581, 373357, 446363, 35520993, 36504273, 42158853, 76974921, 97094813, 124483255, 127174991, 4757672881, 9903589833, 23033166293, 32556747087, 7331192879787, 8243057911799, 8326521203279, 345741759716537, 786242670863181, 1827338898734579, 85621074706819097, 97828594949219253, 418980568995792989, 419312107442564189]]
 [2, 14, [1, 3, 5, 7, 9, 15, 45, 165, 195, 365, 633, 717, 1421, 1533, 1787, 9705, 10965, 21525, 40377, 40965, 58311, 127263, 151497, 192477, 356981, 1855815, 1997775, 2083455, 3850455, 7263675, 11879085, 13608435, 70088097, 88175637, 103996003, 105361171, 142276065, 186541965, 602856945, 624951465, 794820285, 1218585225, 1565141341, 2035985743, 2795775333, 5449377349, 14285306667, 20746783065, 22034306085, 35749049505, 65233010895, 65359830735, 198944219805, 295209135761, 529830976879, 1038194875791, 1081430135775, 1145300396705, 1452662405269, 1686873376291, 2026118380503, 2741787945465, 2773931486853, 3949188807591, 5378918592825, 37260786643425, 56502376182195, 97315808092301, 113138431964083, 199102228375725, 211602608082435, 555671936109887, 555874996851519, 756390721085397, 763419434887605, 1102172624738655, 10918358207894745, 44111611323149625, 59881153479949611, 103498501267495917, 165308534629813065, 564904671749897055, 788046990365876085]]
 [2, 13, [1, 3, 5, 7, 9, 313, 693, 771, 1137, 1935, 31279, 58983, 60855, 159801, 204003, 5938349, 8323199, 17329185, 18911753, 23031285, 24631261, 61603671, 5112855065, 5780447797, 5877617909, 6636086179, 7237340651, 7450898555, 8639528193, 314207963721, 1309847666201, 68439700856607, 77436142279473, 183938110083813, 4023348450741543, 6616639261274173, 21140247442599017, 41804636844761385]]
 [2, 12, [1, 3, 5, 7, 9, 65, 471, 495, 1317, 1365, 1619, 64095, 64959, 65535, 192573, 833235, 1336517, 17192129, 17291201, 324884313, 413535395, 206930189571, 207093824259, 208682195523, 244398733767, 246895677351, 247203912807, 352143499205, 352945068581, 442917977203, 442949288563, 588494348433, 589959936657, 610417899633, 27404627650275, 28671955286283, 28690399363851, 32248113087831, 6653518758631613, 6731122972750589, 12102413041942485, 59820093633225003, 320159676531455089, 347830179871977049, 574046767343056767, 574118033796476799]]
 [2, 11, [1, 3, 5, 7, 9, 255, 443, 765, 27083, 28667, 59415, 10387833, 12090909, 12549885, 15350871, 15702519, 16229871, 18135633, 244342935, 651240153, 1995929527, 36204247905, 43614887493, 51521157117, 130064695887, 4565058075425, 7772308253767, 10365852445545, 21297999998809, 25009968717741, 26416580996099, 27869255394131, 502260974708263, 114068590449526099, 129487481998942311, 403048772582162253, 438125538592721219, 460086054177573427]]
 [2, 10, [1, 3, 5, 7, 9, 33, 99, 313, 585, 717, 7447, 9009, 15351, 32223, 39993, 53235, 53835, 73737, 585585, 1758571, 1934391, 1979791, 3129213, 5071705, 5259525, 5841485, 13500531, 719848917, 910373019, 939474939, 1290880921, 7451111547, 10050905001, 18462126481, 32479297423, 75015151057, 110948849011, 136525525631, 1234104014321, 1413899983141, 1474922294741, 1792704072971, 1794096904971, 1999925299991, 5652622262565, 7227526257227, 7284717174827, 9484874784849, 34141388314143, 552212535212255, 933138363831339, 1793770770773971, 3148955775598413, 10457587478575401, 10819671917691801, 18279440804497281, 34104482028440143, 37078796869787073, 37629927072992673, 55952637073625955, 161206152251602161, 313558153351855313]]
 [2, 8, [1, 3, 5, 7, 9, 27, 45, 63, 65, 73, 195, 219, 325, 341, 365, 381, 455, 471, 495, 511, 513, 585, 1539, 1755, 2565, 2709, 2925, 3069, 3591, 3735, 3951, 4095, 4097, 4161, 4617, 4681, 12291, 12483, 13851, 14043, 20485, 20613, 20805, 20933, 21525, 21653, 21845, 21973, 23085, 23213, 23405, 23533, 24125, 24253, 24445, 24573, 28679, 28807, 28999, 29127, 29719, 29847, 30039, 30167, 31279, 31407, 31599, 31727, 32319, 32447, 32639, 32767, 32769, 33345, 36873, 37449, 98307, 100035, 110619, 112347, 163845, 164997, 166725, 167877, 172053, 173205, 174933, 176085, 184365, 185517, 187245, 188397, 192573, 193725, 195453, 196605, 229383, 230535, 232263, 233415, 237591, 238743, 240471, 241623, 249903, 251055, 252783, 253935, 258111, 259263, 260991, 262143, 262145, 262657, 266305, 266817, 294921, 295433, 299081, 299593, 786435, 787971, 798915, 800451, 884763, 886299, 897243, 898779, 1310725, 1311749, 1313285, 1314309, 1319045, 1320069, 1321605, 1322629, 1331525, 1332549, 1334085, 1335109, 1339845, 1340869, 1342405, 1343429, 1376277, 1377301, 1378837, 1379861, 1384597, 1385621, 1387157, 1388181, 1397077, 1398101, 1399637, 1400661, 1405397, 1406421, 1407957, 1408981, 1474605, 1475629, 1477165, 1478189, 1482925, 1483949, 1485485, 1486509, 1495405, 1496429, 1497965, 1498989, 1503725, 1504749, 1506285, 1507309, 1540157, 1541181, 1542717, 1543741, 1548477, 1549501, 1551037, 1552061, 1560957, 1561981, 1563517, 1564541, 1569277, 1570301, 1571837, 1572861, 1835015, 1836039, 1837575, 1838599, 1843335, 1844359, 1845895, 1846919, 1855815, 1856839, 1858375, 1859399, 1864135, 1865159, 1866695, 1867719, 1900567, 1901591, 1903127, 1904151, 1908887, 1909911, 1911447, 1912471, 1921367, 1922391, 1923927, 1924951, 1929687, 1930711, 1932247, 1933271, 1998895, 1999919, 2001455, 2002479, 2007215, 2008239, 2009775, 2010799, 2019695, 2020719, 2022255, 2023279, 2028015, 2029039, 2030575, 2031599, 2064447, 2065471, 2067007, 2068031, 2072767, 2073791, 2075327, 2076351, 2085247, 2086271, 2087807, 2088831, 2093567, 2094591, 2096127, 2097151, 2097153, 2101761, 2129985, 2134593, 2359305, 2363913, 2392137, 2396745, 6291459, 6305283, 6389955, 6403779, 7077915, 7091739, 7176411, 7190235, 10485765, 10494981, 10508805, 10518021, 10551429, 10560645, 10574469, 10583685, 10649925, 10659141, 10672965, 10682181, 10715589, 10724805, 10738629, 10747845, 11010069, 11019285, 11033109, 11042325, 11075733, 11084949, 11098773, 11107989, 11174229, 11183445, 11197269, 11206485, 11239893, 11249109, 11262933, 11272149, 11796525, 11805741, 11819565, 11828781, 11862189, 11871405, 11885229, 11894445, 11960685, 11969901, 11983725, 11992941, 12026349, 12035565, 12049389, 12058605, 12320829, 12330045, 12343869, 12353085, 12386493, 12395709, 12409533, 12418749, 12484989, 12494205, 12508029, 12517245, 12550653, 12559869, 12573693, 12582909, 14680071, 14689287, 14703111, 14712327, 14745735, 14754951, 14768775, 14777991, 14844231, 14853447, 14867271, 14876487, 14909895, 14919111, 14932935, 14942151, 15204375, 15213591, 15227415, 15236631, 15270039, 15279255, 15293079, 15302295, 15368535, 15377751, 15391575, 15400791, 15434199, 15443415, 15457239, 15466455, 15990831, 16000047, 16013871, 16023087, 16056495, 16065711, 16079535, 16088751, 16154991, 16164207, 16178031, 16187247, 16220655, 16229871, 16243695, 16252911, 16515135, 16524351, 16538175, 16547391, 16580799, 16590015, 16603839, 16613055, 16679295, 16688511, 16702335, 16711551, 16744959, 16754175, 16767999, 16777215, 16777217, 16781313, 16810497, 16814593, 17039425, 17043521, 17072705, 17076801, 18874377, 18878473, 18907657, 18911753, 19136585, 19140681, 19169865, 19173961, 50331651, 50343939, 50431491, 50443779, 51118275, 51130563, 51218115, 51230403, 56623131, 56635419, 56722971, 56735259, 57409755, 57422043, 57509595, 57521883, 83886085, 83894277, 83906565, 83914757, 83952645, 83960837, 83973125, 83981317, 84052485, 84060677, 84072965, 84081157, 84119045, 84127237, 84139525, 84147717, 84410501, 84418693, 84430981, 84439173, 84477061, 84485253, 84497541, 84505733, 84576901, 84585093, 84597381, 84605573, 84643461, 84651653, 84663941, 84672133, 85197125, 85205317, 85217605, 85225797, 85263685, 85271877, 85284165, 85292357, 85363525, 85371717, 85384005, 85392197, 85430085, 85438277, 85450565, 85458757, 85721541, 85729733, 85742021, 85750213, 85788101, 85796293, 85808581, 85816773, 85887941, 85896133, 85908421, 85916613, 85954501, 85962693, 85974981, 85983173, 88080405, 88088597, 88100885, 88109077, 88146965, 88155157, 88167445, 88175637, 88246805, 88254997, 88267285, 88275477, 88313365, 88321557, 88333845, 88342037, 88604821, 88613013, 88625301, 88633493, 88671381, 88679573, 88691861, 88700053, 88771221, 88779413, 88791701, 88799893, 88837781, 88845973, 88858261, 88866453, 89391445, 89399637, 89411925, 89420117, 89458005, 89466197, 89478485, 89486677, 89557845, 89566037, 89578325, 89586517, 89624405, 89632597, 89644885, 89653077, 89915861, 89924053, 89936341, 89944533, 89982421, 89990613, 90002901, 90011093, 90082261, 90090453, 90102741, 90110933, 90148821, 90157013, 90169301, 90177493, 94371885, 94380077, 94392365, 94400557, 94438445, 94446637, 94458925, 94467117, 94538285, 94546477, 94558765, 94566957, 94604845, 94613037, 94625325, 94633517, 94896301, 94904493, 94916781, 94924973, 94962861, 94971053, 94983341, 94991533, 95062701, 95070893, 95083181, 95091373, 95129261, 95137453, 95149741, 95157933, 95682925, 95691117, 95703405, 95711597, 95749485, 95757677, 95769965, 95778157, 95849325, 95857517, 95869805, 95877997, 95915885, 95924077, 95936365, 95944557, 96207341, 96215533, 96227821, 96236013, 96273901, 96282093, 96294381, 96302573, 96373741, 96381933, 96394221, 96402413, 96440301, 96448493, 96460781, 96468973, 98566205, 98574397, 98586685, 98594877, 98632765, 98640957, 98653245, 98661437, 98732605, 98740797, 98753085, 98761277, 98799165, 98807357, 98819645, 98827837, 99090621, 99098813, 99111101, 99119293, 99157181, 99165373, 99177661, 99185853, 99257021, 99265213, 99277501, 99285693, 99323581, 99331773, 99344061, 99352253, 99877245, 99885437, 99897725, 99905917, 99943805, 99951997, 99964285, 99972477, 100043645, 100051837, 100064125, 100072317, 100110205, 100118397, 100130685, 100138877, 100401661, 100409853, 100422141, 100430333, 100468221, 100476413, 100488701, 100496893, 100568061, 100576253, 100588541, 100596733, 100634621, 100642813, 100655101, 100663293, 117440519, 117448711, 117460999, 117469191, 117507079, 117515271, 117527559, 117535751, 117606919, 117615111, 117627399, 117635591, 117673479, 117681671, 117693959, 117702151, 117964935, 117973127, 117985415, 117993607, 118031495, 118039687, 118051975, 118060167, 118131335, 118139527, 118151815, 118160007, 118197895, 118206087, 118218375, 118226567, 118751559, 118759751, 118772039, 118780231, 118818119, 118826311, 118838599, 118846791, 118917959, 118926151, 118938439, 118946631, 118984519, 118992711, 119004999, 119013191, 119275975, 119284167, 119296455, 119304647, 119342535, 119350727, 119363015, 119371207, 119442375, 119450567, 119462855, 119471047, 119508935, 119517127, 119529415, 119537607, 121634839, 121643031, 121655319, 121663511, 121701399, 121709591, 121721879, 121730071, 121801239, 121809431, 121821719, 121829911, 121867799, 121875991, 121888279, 121896471, 122159255, 122167447, 122179735, 122187927, 122225815, 122234007, 122246295, 122254487, 122325655, 122333847, 122346135, 122354327, 122392215, 122400407, 122412695, 122420887, 122945879, 122954071, 122966359, 122974551, 123012439, 123020631, 123032919, 123041111, 123112279, 123120471, 123132759, 123140951, 123178839, 123187031, 123199319, 123207511, 123470295, 123478487, 123490775, 123498967, 123536855, 123545047, 123557335, 123565527, 123636695, 123644887, 123657175, 123665367, 123703255, 123711447, 123723735, 123731927, 127926319, 127934511, 127946799, 127954991, 127992879, 128001071, 128013359, 128021551, 128092719, 128100911, 128113199, 128121391, 128159279, 128167471, 128179759, 128187951, 128450735, 128458927, 128471215, 128479407, 128517295, 128525487, 128537775, 128545967, 128617135, 128625327, 128637615, 128645807, 128683695, 128691887, 128704175, 128712367, 129237359, 129245551, 129257839, 129266031, 129303919, 129312111, 129324399, 129332591, 129403759, 129411951, 129424239, 129432431, 129470319, 129478511, 129490799, 129498991, 129761775, 129769967, 129782255, 129790447, 129828335, 129836527, 129848815, 129857007, 129928175, 129936367, 129948655, 129956847, 129994735, 130002927, 130015215, 130023407, 132120639, 132128831, 132141119, 132149311, 132187199, 132195391, 132207679, 132215871, 132287039, 132295231, 132307519, 132315711, 132353599, 132361791, 132374079, 132382271, 132645055, 132653247, 132665535, 132673727, 132711615, 132719807, 132732095, 132740287, 132811455, 132819647, 132831935, 132840127, 132878015, 132886207, 132898495, 132906687, 133431679, 133439871, 133452159, 133460351, 133498239, 133506431, 133518719, 133526911, 133598079, 133606271, 133618559, 133626751, 133664639, 133672831, 133685119, 133693311, 133956095, 133964287, 133976575, 133984767, 134022655, 134030847, 134043135, 134051327, 134122495, 134130687, 134142975, 134151167, 134189055, 134197247, 134209535, 134217727, 134217729, 134254593, 134480385, 134517249, 136314945, 136351809, 136577601, 136614465, 150994953, 151031817, 151257609, 151294473, 153092169, 153129033, 153354825, 153391689, 402653187, 402763779, 403441155, 403551747, 408944835, 409055427, 409732803, 409843395, 452984859, 453095451, 453772827, 453883419, 459276507, 459387099, 460064475, 460175067, 671088645, 671162373, 671272965, 671346693, 671613957, 671687685, 671798277, 671872005, 672401925, 672475653, 672586245, 672659973, 672927237, 673000965, 673111557, 673185285, 675283077, 675356805, 675467397, 675541125, 675808389, 675882117, 675992709, 676066437]]
 [2, 4, [1, 3, 5, 15, 17, 21, 51, 63, 65, 85, 195, 255, 257, 273, 325, 341, 771, 819, 975, 1023, 1025, 1105, 1285, 1365, 3075, 3315, 3855, 4095, 4097, 4161, 4369, 4433, 5125, 5189, 5397, 5461, 12291, 12483, 13107, 13299, 15375, 15567, 16191, 16383, 16385, 16705, 17425, 17745, 20485, 20805, 21525, 21845, 49155, 50115, 52275, 53235, 61455, 62415, 64575, 65535, 65537, 65793, 66625, 66881, 69649, 69905, 70737, 70993, 81925, 82181, 83013, 83269, 86037, 86293, 87125, 87381, 196611, 197379, 199875, 200643, 208947, 209715, 212211, 212979, 245775, 246543, 249039, 249807, 258111, 258879, 261375, 262143, 262145, 263425, 266305, 267585, 278545, 279825, 282705, 283985, 327685, 328965, 331845, 333125, 344085, 345365, 348245, 349525, 786435, 790275, 798915, 802755, 835635, 839475, 848115, 851955, 983055, 986895, 995535, 999375, 1032255, 1036095, 1044735, 1048575, 1048577, 1049601, 1052929, 1053953, 1065025, 1066049, 1069377, 1070401, 1114129, 1115153, 1118481, 1119505, 1130577, 1131601, 1134929, 1135953, 1310725, 1311749, 1315077, 1316101, 1327173, 1328197, 1331525, 1332549, 1376277, 1377301, 1380629, 1381653, 1392725, 1393749, 1397077, 1398101, 3145731, 3148803, 3158787, 3161859, 3195075, 3198147, 3208131, 3211203, 3342387, 3345459, 3355443, 3358515, 3391731, 3394803, 3404787, 3407859, 3932175, 3935247, 3945231, 3948303, 3981519, 3984591, 3994575, 3997647, 4128831, 4131903, 4141887, 4144959, 4178175, 4181247, 4191231, 4194303, 4194305, 4199425, 4210945, 4216065, 4259905, 4265025, 4276545, 4281665, 4456465, 4461585, 4473105, 4478225, 4522065, 4527185, 4538705, 4543825, 5242885, 5248005, 5259525, 5264645, 5308485, 5313605, 5325125, 5330245, 5505045, 5510165, 5521685, 5526805, 5570645, 5575765, 5587285, 5592405, 12582915, 12598275, 12632835, 12648195, 12779715, 12795075, 12829635, 12844995, 13369395, 13384755, 13419315, 13434675, 13566195, 13581555, 13616115, 13631475, 15728655, 15744015, 15778575, 15793935, 15925455, 15940815, 15975375, 15990735, 16515135, 16530495, 16565055, 16580415, 16711935, 16727295, 16761855, 16777215, 16777217, 16781313, 16794625, 16798721, 16843009, 16847105, 16860417, 16864513, 17039425, 17043521, 17056833, 17060929, 17105217, 17109313, 17122625, 17126721, 17825809, 17829905, 17843217, 17847313, 17891601, 17895697, 17909009, 17913105, 18088017, 18092113, 18105425, 18109521, 18153809, 18157905, 18171217, 18175313, 20971525, 20975621, 20988933, 20993029, 21037317, 21041413, 21054725, 21058821, 21233733, 21237829, 21251141, 21255237, 21299525, 21303621, 21316933, 21321029, 22020117, 22024213, 22037525, 22041621, 22085909, 22090005, 22103317, 22107413, 22282325, 22286421, 22299733, 22303829, 22348117, 22352213, 22365525, 22369621, 50331651, 50343939, 50383875, 50396163, 50529027, 50541315, 50581251, 50593539, 51118275, 51130563, 51170499, 51182787, 51315651, 51327939, 51367875, 51380163, 53477427, 53489715, 53529651, 53541939, 53674803, 53687091, 53727027, 53739315, 54264051, 54276339, 54316275, 54328563, 54461427, 54473715, 54513651, 54525939, 62914575, 62926863, 62966799, 62979087, 63111951, 63124239, 63164175, 63176463, 63701199, 63713487, 63753423, 63765711, 63898575, 63910863, 63950799, 63963087, 66060351, 66072639, 66112575, 66124863, 66257727, 66270015, 66309951, 66322239, 66846975, 66859263, 66899199, 66911487, 67044351, 67056639, 67096575, 67108863, 67108865, 67129345, 67175425, 67195905, 67371265, 67391745, 67437825, 67458305, 68157505, 68177985, 68224065, 68244545, 68419905, 68440385, 68486465, 68506945, 71303185, 71323665, 71369745, 71390225, 71565585, 71586065, 71632145, 71652625, 72351825, 72372305, 72418385, 72438865, 72614225, 72634705, 72680785, 72701265, 83886085, 83906565, 83952645, 83973125, 84148485, 84168965, 84215045, 84235525, 84934725, 84955205, 85001285, 85021765, 85197125, 85217605, 85263685, 85284165, 88080405, 88100885, 88146965, 88167445, 88342805, 88363285, 88409365, 88429845, 89129045, 89149525, 89195605, 89216085, 89391445, 89411925, 89458005, 89478485, 201326595, 201388035, 201526275, 201587715, 202113795, 202175235, 202313475, 202374915, 204472515, 204533955, 204672195, 204733635, 205259715, 205321155, 205459395, 205520835, 213909555, 213970995, 214109235, 214170675, 214696755, 214758195, 214896435, 214957875, 217055475, 217116915, 217255155, 217316595, 217842675, 217904115, 218042355, 218103795, 251658255, 251719695, 251857935, 251919375, 252445455, 252506895, 252645135, 252706575, 254804175, 254865615, 255003855, 255065295, 255591375, 255652815, 255791055, 255852495, 264241215, 264302655, 264440895, 264502335, 265028415, 265089855, 265228095, 265289535, 267387135, 267448575, 267586815, 267648255, 268174335, 268235775, 268374015, 268435455, 268435457, 268451841, 268505089, 268521473, 268698625, 268715009, 268768257, 268784641, 269484289, 269500673, 269553921, 269570305, 269747457, 269763841, 269817089, 269833473, 272629825, 272646209, 272699457, 272715841, 272892993, 272909377, 272962625, 272979009, 273678657, 273695041, 273748289, 273764673, 273941825, 273958209, 274011457, 274027841, 285212689, 285229073, 285282321, 285298705, 285475857, 285492241, 285545489, 285561873, 286261521, 286277905, 286331153, 286347537, 286524689, 286541073, 286594321, 286610705, 289407057, 289423441, 289476689, 289493073, 289670225, 289686609, 289739857, 289756241, 290455889, 290472273, 290525521, 290541905, 290719057, 290735441, 290788689, 290805073, 335544325, 335560709, 335613957, 335630341, 335807493, 335823877, 335877125, 335893509, 336593157, 336609541, 336662789, 336679173, 336856325, 336872709, 336925957, 336942341, 339738693, 339755077, 339808325, 339824709, 340001861, 340018245, 340071493, 340087877, 340787525, 340803909, 340857157, 340873541, 341050693, 341067077, 341120325, 341136709, 352321557, 352337941, 352391189, 352407573, 352584725, 352601109, 352654357, 352670741, 353370389, 353386773, 353440021, 353456405, 353633557, 353649941, 353703189, 353719573, 356515925, 356532309, 356585557, 356601941, 356779093, 356795477, 356848725, 356865109, 357564757, 357581141, 357634389, 357650773, 357827925, 357844309, 357897557, 357913941, 805306371, 805355523, 805515267, 805564419, 806095875, 806145027, 806304771, 806353923, 808452867, 808502019, 808661763, 808710915, 809242371, 809291523, 809451267, 809500419, 817889475, 817938627, 818098371, 818147523, 818678979, 818728131, 818887875, 818937027, 821035971, 821085123, 821244867, 821294019, 821825475, 821874627, 822034371, 822083523, 855638067, 855687219, 855846963, 855896115, 856427571, 856476723, 856636467, 856685619, 858784563, 858833715, 858993459, 859042611, 859574067, 859623219, 859782963, 859832115, 868221171, 868270323, 868430067, 868479219, 869010675, 869059827, 869219571, 869268723, 871367667, 871416819, 871576563, 871625715, 872157171, 872206323, 872366067, 872415219, 1006632975, 1006682127, 1006841871, 1006891023, 1007422479, 1007471631, 1007631375, 1007680527, 1009779471, 1009828623, 1009988367, 1010037519, 1010568975, 1010618127, 1010777871, 1010827023, 1019216079, 1019265231, 1019424975, 1019474127, 1020005583, 1020054735, 1020214479, 1020263631, 1022362575, 1022411727, 1022571471, 1022620623, 1023152079, 1023201231, 1023360975, 1023410127, 1056964671, 1057013823, 1057173567, 1057222719, 1057754175, 1057803327, 1057963071, 1058012223, 1060111167, 1060160319, 1060320063, 1060369215, 1060900671, 1060949823, 1061109567, 1061158719, 1069547775, 1069596927, 1069756671, 1069805823, 1070337279, 1070386431, 1070546175, 1070595327, 1072694271, 1072743423, 1072903167, 1072952319, 1073483775, 1073532927, 1073692671, 1073741823, 1073741825, 1073823745, 1074008065, 1074089985, 1074791425, 1074873345, 1075057665, 1075139585, 1077936385, 1078018305, 1078202625, 1078284545, 1078985985, 1079067905, 1079252225, 1079334145, 1090519105, 1090601025, 1090785345, 1090867265, 1091568705, 1091650625, 1091834945, 1091916865, 1094713665, 1094795585, 1094979905, 1095061825, 1095763265, 1095845185, 1096029505, 1096111425, 1140850705, 1140932625, 1141116945, 1141198865, 1141900305, 1141982225, 1142166545, 1142248465, 1145045265, 1145127185, 1145311505, 1145393425, 1146094865, 1146176785, 1146361105, 1146443025, 1157627985, 1157709905, 1157894225, 1157976145, 1158677585, 1158759505, 1158943825, 1159025745, 1161822545, 1161904465, 1162088785, 1162170705, 1162872145, 1162954065, 1163138385, 1163220305, 1342177285, 1342259205, 1342443525, 1342525445, 1343226885, 1343308805, 1343493125, 1343575045, 1346371845, 1346453765, 1346638085, 1346720005, 1347421445, 1347503365, 1347687685, 1347769605, 1358954565, 1359036485, 1359220805, 1359302725, 1360004165, 1360086085, 1360270405, 1360352325, 1363149125, 1363231045, 1363415365, 1363497285, 1364198725, 1364280645, 1364464965, 1364546885, 1409286165, 1409368085, 1409552405, 1409634325, 1410335765, 1410417685, 1410602005, 1410683925, 1413480725, 1413562645, 1413746965, 1413828885, 1414530325, 1414612245, 1414796565, 1414878485, 1426063445, 1426145365, 1426329685, 1426411605, 1427113045, 1427194965, 1427379285, 1427461205, 1430258005, 1430339925, 1430524245, 1430606165, 1431307605, 1431389525, 1431573845, 1431655765, 3221225475, 3221471235, 3222024195, 3222269955, 3224374275, 3224620035, 3225172995, 3225418755, 3233809155, 3234054915, 3234607875, 3234853635, 3236957955, 3237203715, 3237756675, 3238002435, 3271557315, 3271803075, 3272356035, 3272601795, 3274706115, 3274951875, 3275504835, 3275750595, 3284140995, 3284386755, 3284939715, 3285185475, 3287289795, 3287535555, 3288088515, 3288334275, 3422552115, 3422797875, 3423350835, 3423596595, 3425700915, 3425946675, 3426499635, 3426745395, 3435135795, 3435381555, 3435934515, 3436180275, 3438284595, 3438530355, 3439083315, 3439329075, 3472883955, 3473129715, 3473682675, 3473928435, 3476032755, 3476278515, 3476831475, 3477077235, 3485467635, 3485713395, 3486266355, 3486512115, 3488616435, 3488862195, 3489415155, 3489660915, 4026531855, 4026777615, 4027330575, 4027576335, 4029680655, 4029926415, 4030479375, 4030725135, 4039115535, 4039361295, 4039914255, 4040160015, 4042264335, 4042510095, 4043063055, 4043308815, 4076863695, 4077109455, 4077662415, 4077908175, 4080012495, 4080258255, 4080811215, 4081056975, 4089447375, 4089693135, 4090246095, 4090491855, 4092596175, 4092841935, 4093394895, 4093640655, 4227858495, 4228104255, 4228657215, 4228902975, 4231007295, 4231253055, 4231806015, 4232051775, 4240442175, 4240687935, 4241240895, 4241486655]]
 [2, 9, [1, 3, 5, 7, 127, 255, 273, 455, 6643, 17057, 19433, 19929, 42405, 1245161, 1405397, 1786971, 2122113, 3519339, 4210945, 67472641, 90352181, 133638015, 134978817, 271114881, 6080408749, 11022828069, 24523959661, 25636651261, 25726334461, 28829406059, 1030890430479, 1032991588623, 1085079274815, 1616662113341, 82474703167593, 124537880318279, 155315813368497, 349013080305074009, 487154413087025691, 586178871768257601]]
 [2, 7, [1, 3, 5, 85, 107, 257, 5049, 9201, 11253, 11757, 210099, 399171, 512607, 786435, 12916899, 19992857, 22468309, 1052109663, 15935958711, 24051338445, 37344016593, 71859215265, 72822171105, 1566399158893, 3425211644643, 4713161675921, 1797708850136627, 6496728596849949, 81590995511342857, 427510260590336957]]
 [2, 6, [1, 3, 5, 7, 21, 129, 427, 693, 819, 3999, 4257, 4593, 28539, 66433, 85093, 148617, 151497, 153513, 180213, 425971, 1040319, 1093281, 1508381, 1632995, 1974031, 1986127, 30522135, 30643095, 208080483, 1894216583, 6662648163, 8632935681, 17807619361, 18805635121, 19435516681, 43253138565, 46499142837, 84408212665, 129132454159, 243737427783, 262273188399, 276893011713, 305975844465, 9154514971809, 10982103577593, 11214404390085, 27303621891427, 59238470140395, 62995659142311, 105026120405245, 121593745290427, 125823357614887, 129956651976247, 535608924080591, 2040316732420071, 4978544622304945, 5214602113362985, 6451588843354861, 6636395485755709, 11931182927622549, 12141647369392437, 12825774359298669, 13294033268299581, 24109374625379029, 25318737011894221, 35031040848860959, 66914369589632439, 421678237970776797, 442782624909444387]]
 [2, 5, [1, 3, 31, 93, 119, 2709, 38937, 520831, 682341, 340134981, 7609865031, 17935304097, 26777829859, 169179279801, 567897922593, 286118927218753, 2996750083037781, 4738749440161121, 6299497017331917, 8829547069230943, 99805500812710541, 151875068667242337, 202124162283446733, 267590170057856439]]
 [2, 3, [1, 6643, 1422773, 5415589, 90396755477, 381920985378904469]]