[17, 5.133859440530186e+17, 40199173179589332, 14]
[17, 1.0161580439083283e+17, 15977400258284284, 4]
[17, 4.881110772040819e+17, 38712416306122464, 15]
[16, 8.596417450088554e+16, 6372760906305346, 0]
[17, 3.107580486874246e+17, 28279885216907328, 0]
[17, 1.339006556736391e+17, 17876509157272888, 8]
[17, 4.378998806815936e+16, 12575881651068197, 11]
[17, 7.621553724054433e+17, 54832668965026080, 2]
[17, 1.3460841855294931e+17, 17918142267820548, 13]
[17, 7.305315142419146e+17, 52972442014230272, 0]
[17, 7.288844078782154e+17, 52875553404600904, 5]
[17, 1.1370009984529523e+17, 16688241167370308, 13]
[17, 7.419655242753024e+17, 53645030839723672, 10]
[17, 1.4794968199936378e+17, 18702922470550810, 6]
[17, 1.629297038688592e+17, 19584100227579952, 16]
[17, 4.7342397284495334e+17, 37848468990879608, 8]
[17, 4.315361711597458e+17, 35384480656455636, 14]
[17, 7.628162909467909e+17, 54871546526281816, 6]
[17, 5.528869637991634e+17, 42522762576421376, 0]
[17, 1.2533861169980602e+17, 17372859511753295, 1]
[16, 2.505720543869152e+16, 2566075339918220, 0]
[16, 9.626813457955966e+16, 7016758411222479, 0]
[17, 8.05245047935728e+16, 14736735576092518, 11]
[17, 4.064714142888112e+17, 33910083193459484, 6]
[17, 7.283902727145085e+17, 52846486630265208, 8]
[17, 4.450948108181412e+17, 36182047695184776, 9]
[17, 1.8142631419433664e+16, 11067213612907862, 10]
[16, 5.137335602282138e+16, 4210834751426336, 0]
[17, 2.4748533703597254e+17, 24557961002116032, 0]
[16, 4.05162059973351e+16, 3532262874833444, 0]
[17, 7.893627762455032e+17, 56433104485029600, 15]
[17, 6.94602581450302e+17, 50858975379429528, 10]
[17, 3.0191308338155936e+17, 27759593140091728, 1]
[17, 3.7958114243973037e+17, 32328302496454728, 9]
[17, 7.910534233111391e+17, 56532554312419944, 7]
[16, 1.4233110809954835e+17, 9895694256221772, 0]
[17, 6.909559211560143e+17, 50644465950353784, 8]
[16, 4.013522113305176e+16, 3508451320815735, 0]
[16, 3.67360655997131e+16, 3296004099982069, 0]
[17, 3.614745152623339e+17, 31263206780137288, 9]
[17, 3.000754387515577e+17, 27651496397150452, 12]
[17, 2.7187156222881274e+17, 25992444836988984, 8]
[17, 2.892091439287966e+17, 27012302584046860, 5]
[17, 5.852002563415124e+17, 44423544490677204, 14]
[17, 7.075931436987574e+17, 51623126099926904, 8]
[17, 5.03806240725396e+17, 39635661219140940, 5]
[17, 4.166026531672006e+17, 34506038421600032, 15]
[17, 8.246331742222377e+17, 58507833777778688, 0]
[17, 5.645488930999073e+17, 43208758417641608, 9]
[17, 8.388382875495593e+17, 59343428679385840, 16]
[16, 6.981605321974848e+16, 5363503326234280, 0]
[17, 1.5718775946695584e+17, 19246338792173872, 16]
[17, 6.586106216846822e+17, 48741801275569544, 9]
[17, 6.541726317894612e+17, 48480743046438896, 16]
[17, 6.590167157154719e+17, 48765689159733640, 9]
[15, 9399476344115024.0, 726631756274334, 14]
[17, 7.802529316400197e+17, 55897231272942336, 0]
[17, 5.7432012481163546e+17, 43783536753625616, 1]
[17, 1.0296937408640704e+17, 16057022005082767, 1]
[17, 7.934937005070548e+17, 56676100029826752, 13]
[16, 1509613519557996.0, 1094350844972374, 11]
[17, 2.117628257693049e+17, 22456636809959112, 9]
[17, 4.396368562295626e+17, 35860991542915448, 8]
[17, 3.31246140288957e+17, 29485067075821000, 9]
[17, 1.226207744703559e+17, 17212986733550347, 5]
[17, 4.844337496473523e+17, 38496102920432488, 7]
[16, 1.1233261726837424e+17, 8020788579273390, 0]
[17, 6.479209215689784e+17, 48112995386410496, 0]
[16, 1.9653987129554884e+16, 2228374195597180, 4]
[17, 6.24400988919405e+17, 46729469936435592, 9]
[17, 6.980615971976302e+17, 51062446893978248, 9]
[17, 2.3421144439040774e+17, 23777143787671044, 13]
[17, 4.6709562880156186e+17, 37476213458915404, 5]
[17, 5.800575035998679e+17, 44121029623521640, 7]
[17, 9.03439044523998e+16, 15314347320729400, 8]
[17, 6.484474887420083e+17, 48143969926000488, 7]
[17, 8.318266403802066e+17, 58930978845894504, 7]
[17, 6.425322872938734e+17, 47796016899639616, 4]
[16, 7.477190481149462e+16, 5673244050718414, 0]
[16, 8.501453975489104e+16, 6313408734680690, 0]
[17, 7.026918306866655e+17, 51334813569803848, 5]
[16, 1.181185261850332e+17, 8382407886564575, 0]
[17, 7.813123640101069e+16, 14595955082412393, 7]
[17, 1.690895090900139e+17, 19946441711177288, 9]
[17, 4.3345382116363776e+17, 35497283597861044, 12]
[17, 5.649460185705037e+17, 43232118739441392, 16]
[17, 1.5715131975958035e+17, 19244195279975314, 14]
[17, 5.6079009016607104e+17, 42987652362710060, 3]
[17, 1.3811257846352032e+17, 18124269321383548, 4]
[17, 1.7002807142728416e+17, 20001651260428480, 0]
[17, 3.4790562708283526e+17, 30465036887225604, 13]
[16, 6089118835514076.0, 1380569927219629, 11]
[16, 9.982667079557118e+16, 7239166924723199, 0]
[16, 8.650422067230968e+16, 6406513792019355, 0]
[16, 1.1459932543698478e+17, 8162457839811549, 0]
[17, 5.985861491802276e+17, 45210949951778092, 3]
[17, 2.659332370978432e+16, 11564313159399077, 11]
[17, 3.874669357971116e+17, 32792172693947744, 2]
[17, 3.6754821765008454e+17, 31620483391181444, 13]
[17, 5.247005495145966e+17, 40864738206740976, 16]
[16, 7.539974095460078e+16, 5712483809662549, 0]
[17, 7.973720724554696e+17, 56904239556204096, 4]
[17, 5.327771653832006e+16, 13133983325783533, 3]
[17, 8.190659421384294e+17, 58180349537554672, 16]
[17, 3.5024003238898323e+17, 30602354846410780, 6]
[17, 2.23863244057058e+17, 23168426121003410, 14]
[16, 1.1516894747645154e+17, 8198059217278221, 0]
[17, 2.6133454862309907e+17, 25372620507241122, 15]
[17, 5.3216673285842944e+17, 41303925462260556, 5]
[17, 6.960199718094461e+17, 50942351282908600, 12]
[17, 8.07107486977118e+17, 57476910998654000, 3]
[16, 7.043714940038117e+16, 5402321837523823, 0]
[17, 8.167067898220846e+17, 58041575871887328, 15]
[17, 4.320348572116832e+16, 12541381513009901, 3]
[17, 2.340018819048245e+17, 23764816582636736, 0]
[17, 7.372478576435258e+16, 14336752103785445, 11]
[17, 9.871188450591117e+16, 15806581441524186, 6]
[17, 7.144737875495731e+17, 52027869855857240, 6]
[17, 4.35453940021046e+17, 35614937648296824, 8]
[16, 1.1420034491368763e+17, 8137521557105477, 0]
[17, 3.143539943625223e+17, 28491411433089548, 5]
[16, 3.758587503593554e+16, 3349117189745971, 0]
[17, 8.335494778422083e+17, 59032322226012248, 6]
[17, 2.8664380447522195e+17, 26861400263248350, 2]
[17, 1.8799181661017824e+17, 21058342153539896, 8]
[17, 2.049694683809867e+17, 22057027551822746, 6]
[17, 1.747942954488693e+17, 20282017379345254, 11]
[17, 6.576481167069737e+17, 48685183335704336, 1]
[17, 1.8729369016947795e+17, 21017275892322232, 8]
[17, 5.104051578690975e+17, 40023832815829264, 1]
[17, 6.286586216361206e+17, 46979918919771800, 10]
[17, 5.91262887212906e+17, 44780169836053292, 3]
[16, 3.721297063068066e+16, 3325810664417541, 0]
[17, 7.756838840129103e+17, 55628463765465312, 15]
[17, 2.268569229447559e+17, 23344524879103288, 8]
[17, 6.044043323691497e+17, 45553196021714688, 0]
[17, 1.073813202784064e+17, 16316548251670965, 12]
[16, 4.90413265910687e+16, 4065082911941794, 0]
[17, 1.3383288141522874e+17, 17872522436189926, 11]
[17, 2628255938623744.0, 10154603290507279, 0]
[17, 5.927500076578378e+17, 44867647509284576, 15]
[16, 1.4147266955223731e+17, 9842041847014832, 0]
[17, 5.5442090247175475e+17, 42612994263044396, 3]
[17, 7.449511899410926e+17, 53820658231828976, 16]
[16, 6.452899684402861e+16, 5033062302751788, 0]
[17, 7.380004996565046e+17, 53411794097441448, 11]
[17, 1.2626246838833882e+17, 17427204022843460, 13]
[17, 2.1531976588088634e+17, 22665868581228608, 0]
[17, 7.616416527205998e+17, 54802450160035280, 14]
[17, 3.8967135741271226e+17, 32921844553688956, 4]
[17, 7.487165007981527e+17, 54042147105773688, 8]
[17, 4.263408291496161e+17, 35078872302918596, 13]
[17, 6.23140128043978e+17, 46655301649645760, 13]
[17, 6.019544681708411e+17, 45409086362990652, 4]
[15, 6694944753162299.0, 546329650210819, 13]
[17, 6.678418047590856e+17, 49284812044652096, 4]
[17, 7.852982203999613e+17, 56194012964703608, 8]
[17, 6.014426610558483e+16, 13537898006210872, 8]
[17, 4.903358578007949e+17, 38843285752987936, 2]
[16, 8.545263665167744e+16, 6340789790729840, 0]
[17, 2.298872389119495e+17, 23522778759526442, 7]
[16, 1.7323614815799948e+16, 2082725925987496, 12]
[17, 2.7714524890621485e+17, 26302661700365580, 5]
[17, 1.28759150379024e+16, 10757406766935435, 5]
[17, 7.306943832726927e+17, 52982022545452512, 15]
[17, 5.6966384735248e+17, 43509638079557648, 1]
[17, 3.121894408972451e+17, 28364084758661476, 11]
[17, 2.0873988924930515e+17, 22278817014665008, 16]
[16, 4.12138864068701e+16, 3575867900429381, 0]
[17, 4.486816690451167e+17, 36393039355595100, 6]
[17, 7.305708077866975e+17, 52974753399217496, 6]
[17, 1.622900696175637e+17, 19546474683386100, 12]
[17, 7.016690231339965e+17, 51274648419646856, 9]
[17, 3.035133947053049e+17, 27853729100312052, 12]
[17, 1.3467231369273914e+17, 17921900805455243, 5]
[17, 5.86874132018559e+17, 44522007765797588, 14]
[17, 5.1215353993939174e+17, 40126678819964220, 4]
[17, 4.0242157550654214e+17, 33671857382737772, 3]
[17, 1.2148887378496147e+17, 17146404340291851, 5]
[17, 6.907331234758694e+17, 50631360204462912, 4]
[16, 1.8819204880696004e+16, 2176200305043500, 4]
[17, 7.299760688857638e+16, 14293976875798611, 14]
[17, 3.402832207868345e+17, 30016660046284384, 2]
[16, 8.760283974296254e+16, 6475177483935159, 0]
[17, 8.336793363649303e+17, 59039960962642960, 1]
[17, 7.072798903337902e+17, 51604699431399424, 0]
[17, 6.814550749825992e+17, 50085592646035248, 3]
[17, 3.236290340656985e+17, 29037002003864616, 7]
[17, 6.235101911035423e+17, 46677070064914248, 5]
[16, 1.0404780031420037e+17, 7502987519637523, 0]
[17, 5.033383357199213e+16, 12960813739528948, 12]
[17, 5.965057097690785e+17, 45088571162886972, 4]
[17, 7.417406655207866e+16, 14363180385416391, 9]
[17, 4.506260100007222e+17, 36507412352983656, 7]
[17, 2.9596391791632864e+17, 27409642230372272, 16]
[17, 1.2751831580063091e+17, 17501077400037112, 8]
[17, 1.502749432650228e+17, 18839702545001340, 4]
[16, 1.1551294648947832e+17, 8219559155592395, 0]
[17, 5.901131166285256e+17, 44712536272266208, 15]
[17, 4.266021667464842e+17, 35094245102734368, 2]
[17, 7.84052515567021e+17, 56120736209824768, 0]
[17, 3.393452126030001e+17, 29961483094294124, 3]
[17, 2.0884095592044102e+17, 22284762112967120, 1]
[16, 2.8001530972580096e+16, 2750095685786256, 0]
[17, 7.014564833768141e+17, 51262146080989064, 9]
[17, 5.020929778573261e+17, 39534881050430944, 15]
[17, 4.068520497196048e+17, 33932473512917928, 7]
[17, 5.694029521488504e+17, 43494291302873556, 14]
[17, 3.088160029533574e+17, 28165647232550432, 15]
[17, 7.833497880590057e+17, 56079399297588568, 6]
[17, 6.103627231897093e+17, 45903689599394664, 7]
[17, 1.7762798455421056e+16, 11044870497377709, 3]
[17, 5.220074979898944e+17, 40706323411170260, 14]
[16, 6.128816680318278e+16, 4830510425198924, 0]
[17, 3.219130201294285e+16, 11893606000761344, 0]
[17, 2.1315932849148525e+17, 22538784028910896, 16]
[17, 3.9804673313712224e+17, 33414513713948368, 1]
[17, 6.577010355837514e+17, 48688296210808904, 5]
[17, 4.510732014321211e+17, 36533717731301240, 8]
[17, 3.6754222598027834e+17, 31620130940016372, 12]
[17, 4.70617425215499e+17, 37683377953852884, 14]
[17, 3.28443471618243e+17, 29320204212837824, 0]
[17, 5.845475585734907e+17, 44385150504322980, 11]
[17, 7.976877293447494e+16, 14692280760851467, 5]
[17, 4.1620665141288365e+17, 34482744200757860, 11]
[16, 1.0783446450106368e+17, 7739654031316480, 0]
[17, 3.476931197989487e+17, 30452536458761688, 10]
[17, 6.748447515724196e+17, 49696750092495272, 11]
[17, 1.9395151388457274e+17, 21408912581445456, 1]
[17, 3.368406747248981e+17, 29814157336758712, 8]
[17, 2.2421032337049683e+17, 23188842551205696, 0]
[17, 5.5077197236203315e+17, 42398351315413716, 14]
[16, 8.181619149982598e+16, 6113511968739124, 0]
[17, 3.350971285738191e+17, 29711595798459944, 7]
[17, 3.874138016639683e+17, 32789047156704020, 14]
[17, 6.27261251553706e+17, 46897720679629760, 13]
[17, 4.550455522088814e+17, 36767385424051848, 9]
[17, 5.4665856745761946e+17, 42156386321036440, 10]
[17, 2.754885357526037e+17, 26205207985447278, 3]
[17, 7.79345338889471e+17, 55843843464086528, 0]
[17, 5.526449757025472e+17, 42508527982502776, 8]
[17, 1.2750831073471014e+17, 17500488866747656, 9]
[17, 7.066092012349197e+17, 51565247131465864, 9]
[17, 3.9894506771005856e+17, 33467356924121092, 13]
[17, 4.738343426111621e+17, 37872608388891888, 16]
[17, 1.7845967146455776e+17, 20497627733209280, 0]
[17, 6.244990639257267e+17, 46735239054454512, 16]
[17, 6.054352873923927e+17, 45613840434846628, 11]
[17, 8.203556734764897e+17, 58256216086852336, 16]
[14, 1031341588574794.0, 83667256326770, 13]
[17, 1.7898659584649773e+17, 20528623285088102, 11]
[15, 3621543419073995.0, 341436227938266, 4]
[17, 3.19609540272898e+17, 28800561192523412, 14]
[17, 5.0266054294182784e+17, 39568267231872224, 15]
[17, 6.891432337716803e+17, 50537837280687072, 15]
[16, 2.344612807246941e+16, 2465383004529338, 0]
[17, 4.8399782113465574e+17, 38470460066744456, 9]
[17, 4.243879447943424e+17, 34963996752608376, 8]
[17, 8.186534770996342e+17, 58156086888213776, 1]
[16, 7.892523484083645e+16, 5932827177552278, 0]
[17, 1.881855381774859e+17, 21069737539852112, 1]
[16, 2.683314255004811e+16, 2677071409378007, 0]
[17, 4.574551817850086e+16, 12690912834029462, 10]
[17, 5.786255279409088e+16, 13403679576122993, 16]
[17, 1.3063856012110291e+17, 17684621183594289, 16]
[17, 5.0700098626960896e+17, 39823587427624056, 8]
[17, 1.836275184071554e+17, 20801618729832670, 2]
[17, 8.134678053096527e+17, 57851047371156040, 5]
[17, 7.174183801291077e+17, 52201081184065160, 9]
[17, 7.254606889268332e+17, 52674158172166656, 0]
[17, 3.263645164786822e+17, 29197912734040128, 0]
[16, 8.429760022475467e+16, 6268600014047167, 0]
[17, 1.2190349002373011e+17, 17170793530807654, 11]
[17, 3.1184629904194176e+16, 11834389994364363, 5]
[17, 2.077893052363828e+17, 22222900308022516, 12]
[17, 7.014221290356593e+17, 51260125237391720, 7]
[17, 3.2756138417789434e+17, 29268316716346724, 11]
[17, 6.3925990619266e+17, 47603523893685880, 8]
[16, 2.5153734497422384e+16, 2572108406088899, 0]
[17, 4.746434856563246e+17, 37920205038607328, 15]
[17, 6.134637781579364e+17, 46086104597525672, 11]
[17, 6.123364641347517e+17, 46019792007926572, 3]
[17, 7.563762977660943e+17, 54492723398005552, 3]
[17, 3.618474521996249e+17, 31285144247036760, 10]
[17, 7.0787026414253e+17, 51639427302501768, 9]
[17, 2.3202330463567315e+17, 23648429684451362, 15]
[16, 6.98487642726491e+16, 5365547767040569, 0]
[17, 2.3635946901583584e+17, 23903498177402108, 4]
[17, 5.170836453007644e+17, 40416685017692024, 8]
[17, 4.579939395296827e+17, 36940819972334276, 13]
[17, 1.346470471001858e+17, 17920414535305047, 10]
[17, 1.9346666672873888e+17, 21380392160514052, 13]
[17, 1.4196552542210643e+17, 18350913260123908, 13]
[17, 8.027138865625306e+16, 14721846391544297, 7]
[16, 911544590170152.0, 1056971536885634, 7]
[17, 7.587900829988854e+17, 54634710764640320, 4]
[17, 5.77328531649139e+17, 43960501861714056, 9]
[16, 2.7651864744260384e+16, 2728241546516274, 0]
[17, 2.3313650333622022e+17, 23713911960954130, 14]
[16, 9.954039083820691e+16, 7221274427387932, 0]
[16, 7305912629060212.0, 1456619539316263, 3]
[17, 7.735172850682662e+17, 55501016768721544, 9]
[17, 6.793593372940047e+17, 49962313958470864, 14]
[17, 9.725551377071763e+16, 15720912574748096, 0]
[17, 4.8089734387205274e+17, 38288079051297220, 13]
[17, 3.520217158333008e+17, 30707159754900048, 1]
[17, 3771620953298176.0, 10221860056076363, 4]
[17, 3.214790095683162e+17, 28910529974606836, 12]
[16, 7.373107892924488e+16, 5608192433077805, 0]
[17, 6.652376291685225e+17, 49131625245207208, 11]
[17, 5.861995071535606e+17, 44482323950209444, 11]
[17, 7.945306886327186e+17, 56737099331336384, 13]
[17, 2.3676575801908102e+17, 23927397530534178, 15]
[17, 7.868582842450432e+16, 14628578142617901, 3]
[17, 4.4312651731818854e+17, 36066265724599328, 2]
[17, 3.5417690858143597e+17, 30833935798908000, 2]
[17, 5.3374713391764864e+17, 41396890230449920, 0]
[17, 3.586893424539198e+17, 31099373085524696, 10]
[17, 4.0767558358755155e+17, 33980916681620680, 9]
[17, 4.859276616292792e+17, 38583980095839956, 14]
[16, 2.29374600450156e+16, 2433591252813475, 0]
[17, 4.927318158107616e+16, 12898422445945656, 8]
[17, 7.943716082607808e+17, 56727741662398872, 10]
[17, 2.1298895695795885e+17, 22528762173997580, 5]
[17, 4.26018968502457e+16, 12505993932367394, 15]
[17, 4.082282852337095e+17, 34013428543159384, 10]
[17, 3.887070479180064e+16, 12286512046576508, 4]
[17, 7.120595442765693e+17, 51885855545680552, 11]
[17, 1.5432133212881664e+16, 10907772541934215, 9]
[17, 2.141389610659307e+17, 22596409474466512, 1]
[17, 2.8120617316548166e+17, 26541539597969510, 11]
[17, 4.075942673145392e+17, 33976133371443484, 6]
[17, 1.4984191873028422e+17, 18814230513546131, 14]
[17, 3.683949085690068e+17, 31670288739353340, 4]
[17, 5.7384560020875776e+17, 43755623541691632, 16]
[17, 5.614883729659236e+17, 43028727821524916, 12]
[17, 1.8748089466699027e+17, 21028287921587664, 1]
[17, 5.2685503669773056e+17, 40991472746925328, 1]
[17, 7.380066601520678e+17, 53412156479533400, 6]
[17, 2.5519437094767213e+17, 25011433585157184, 0]
[17, 2.415434109026368e+16, 11420843593544922, 6]
[17, 7.801076191722394e+17, 55888683480719960, 6]
[17, 4.191489266698808e+17, 34655819215875344, 1]
[17, 4.115674925908236e+17, 34209852505342564, 11]
[17, 2.3022429996286995e+17, 23542605880168820, 12]
[17, 1.3283664353461664e+17, 17813920207918626, 15]
[17, 1.2405413703102797e+17, 17297302178295763, 14]
[15, 5668987311822696.0, 477932487454846, 5]
[17, 5.580871813424896e+17, 42828657726028800, 0]
[16, 6.353377995345405e+16, 4970861247090878, 0]
[17, 2.4420976329237824e+16, 11436528019366930, 14]
[17, 3.477977422336998e+17, 30458690719629400, 10]
[17, 3.899272902935435e+17, 32936899429031968, 15]
[17, 4.798665708335562e+17, 38227445343150368, 2]
[17, 1.0290295892725766e+17, 16053115231015157, 12]
[17, 5.899699511619077e+17, 44704114774229864, 7]
[17, 1.5671502622969094e+17, 19218530954687702, 10]
[17, 2.0850998194859264e+16, 11226529305579956, 12]
[17, 3.02145035944792e+17, 27773237408517176, 8]
[16, 7.722478607392912e+16, 5826549129620570, 0]
[17, 7.53730590185037e+17, 54337093540296296, 7]
[16, 2362904177729608.0, 1147681511108100, 7]
[17, 1447715498914112.0, 10085159735230241, 14]
[17, 6.429012183892116e+17, 47817718728777152, 13]
[17, 5.869830759360481e+17, 44528416231532244, 14]
[17, 4.081517687384021e+17, 34008927572847184, 1]
[17, 5.7221366935719526e+17, 43659627609246780, 4]
[17, 6.305970784081882e+17, 47093945788716952, 10]
[17, 8.19822466879255e+16, 14822485099289736, 9]
[16, 5.030263682195598e+16, 4143914801372249, 0]
[17, 6.4484051060112e+17, 47931794741242352, 16]
[17, 1.0495638371731942e+17, 16173904924548201, 7]
[17, 8.815519080591469e+16, 15185599459171452, 4]
[17, 4.84697377406432e+17, 38511610435672472, 10]
[17, 5.642384900953997e+17, 43190499417376452, 13]
[16, 1.3365306573586605e+17, 9353316608491628, 0]
[17, 6.811936027858831e+17, 50070211928581360, 16]
[17, 5.478576558409398e+17, 42226920931819988, 14]
[17, 3.135954872755476e+17, 28446793369149856, 15]
[17, 5.6590855232296986e+17, 43288738371939404, 5]
[17, 7.345857281788283e+17, 53210925186989896, 5]
[17, 2.2001261493822976e+16, 11294191852577822, 2]
[16, 1.5920651605382432e+16, 1995040725336402, 0]
[17, 7.971732543914253e+17, 56892544375966192, 16]
[17, 4.957941465044525e+16, 12916436155908544, 0]
[17, 4.567721932813217e+17, 36868952545960100, 11]
[16, 1.33654554488032e+17, 9353409655502000, 0]
[16, 1.3368836445141798e+17, 9355522778213624, 0]
[17, 1.839724451946105e+17, 20821908540859440, 16]
[17, 5.287926998801925e+17, 41105452934128972, 5]
[17, 6.996323280947539e+16, 14115484282910317, 3]
[17, 4.8511956436978304e+17, 38536444962928416, 2]
[17, 2.341268524472844e+17, 23772167791016730, 6]
[17, 2.258797166847573e+17, 23287042157926900, 12]
[17, 6.648581586949512e+17, 49109303452644184, 6]
[17, 9.921286016313856e+16, 15836050597831680, 0]
[17, 1.3360993783383251e+17, 17859408107872501, 12]
[17, 6.512344075193556e+17, 48307906324667976, 5]
[17, 9.690730559630323e+16, 15700429740959014, 11]
[17, 7.776662200683955e+17, 55745071768729152, 4]
[17, 3.142098637286129e+17, 28482933160506644, 14]
[17, 1.6336093532279622e+17, 19609466783693896, 9]
[16, 1.5561005930170892e+16, 1972562870635680, 12]
[17, 2.5130060989958125e+17, 24782388817622426, 6]
[17, 2.912232791521812e+17, 27130781126598894, 3]
[17, 5.40349697160907e+17, 41785276303582764, 3]
[17, 4.5216703814956826e+17, 36598061067621664, 2]
[17, 6.978423096965097e+17, 51049547629206456, 12]
[17, 3.9923724929121146e+17, 33484544075953616, 1]
[17, 2.452689075304403e+16, 11442758279590825, 7]
[17, 8.147572347224448e+17, 57926896160143808, 13]
[17, 3.8230689674448736e+17, 32488640984969844, 12]
[17, 6.001723631328458e+17, 45304256654873284, 13]
[17, 1.5861980454239712e+17, 19330576737788066, 15]
[17, 1.5849162321739264e+16, 10932303665984662, 10]
[17, 2.167722482706227e+16, 11275130872180133, 11]
[17, 6.478858626627034e+16, 13811093309780608, 0]
[17, 5.699348316933384e+17, 43525578334902256, 16]
[17, 9.07909277479518e+16, 15340642808703048, 9]
[17, 8.292522125353336e+17, 58779541913843152, 14]
[16, 1.313966799317266e+17, 9212292495732912, 0]
[17, 1.9739124100279942e+17, 21611249470752908, 5]
[17, 1.9744337450502726e+17, 21614316147354544, 16]
[15, 5897711322954121.0, 493180754863608, 0]
[17, 2.427201151091755e+17, 24277653829951500, 5]
[17, 8.147814388284293e+17, 57928319931084080, 3]
[17, 4.705827441838615e+17, 37681337893168324, 13]
[17, 5.904552936903962e+17, 44732664334729184, 15]
[17, 2.6406484437539974e+17, 25533226139729396, 12]
[17, 2.134144650145136e+17, 22553792059677270, 10]
[17, 5.652706660856891e+17, 43251215652099360, 2]
[17, 2.388168989221515e+17, 24048052877773616, 16]
[17, 4.9699855569467034e+17, 39235209158510020, 13]
[17, 6.602208311068165e+17, 48836519476871560, 9]
[17, 8.878347577092077e+16, 15222557398289457, 16]
[17, 4.826615610241216e+16, 12839185653083068, 4]
[17, 1.8640288452448698e+17, 20964875560263940, 13]
[16, 1.399421693764487e+17, 9746385586028044, 0]
[16, 8.799852898791789e+16, 6499908061744868, 0]
[17, 5.051435506782751e+17, 39714326510486768, 16]
[17, 2.403239109908011e+17, 24136700646517712, 1]
[17, 5.911124131653087e+17, 44771318421488744, 7]
[15, 2593730958464923.0, 272915397230994, 12]
[17, 8.634215435907014e+16, 15078950256415891, 14]
[17, 1.243048962522183e+17, 17312052720718724, 13]
[17, 8.277712627307986e+17, 58692427219458744, 12]
[17, 4.142737561912172e+17, 34369044481836308, 14]
[16, 1.601669509137408e+16, 2001043443210880, 0]
[17, 5.52125267932245e+17, 42477956937190880, 15]
[17, 5.6326605056544435e+17, 43133297092084960, 15]
[17, 7.197331831099853e+17, 52337246065293248, 13]
[17, 3.982413831875988e+17, 33425963716917576, 9]
[16, 3.757236645557349e+16, 3348272903473343, 0]
[17, 8.235478583880701e+17, 58443991669886480, 1]
[17, 1.1395500269055475e+17, 16703235452385574, 11]
[17, 4.365547851780024e+17, 35679693245764848, 16]
[16, 2.029558617358524e+16, 2268474135849077, 8]
[17, 3.9466428030519443e+17, 33215545900305556, 14]
[17, 1.9205589997763706e+17, 21297405881037474, 15]
[17, 6.322743438346355e+17, 47192608460860912, 16]
[17, 1.7354627159350272e+16, 11020860421138251, 5]
[17, 5.309586157154312e+17, 41232859747966540, 5]
[17, 7.929223497702318e+17, 56642491162954816, 4]
[17, 1.666809086230782e+17, 19804759330769306, 6]
[17, 3.9920296832233875e+17, 33482527548372868, 13]
[17, 5.932428833641042e+17, 44896640197888480, 15]
[17, 4.2754421868559e+17, 35149659922681764, 11]
[17, 1.3819642648805792e+17, 18129201558121054, 2]
[17, 6.677636448330721e+17, 49280214401945416, 5]
[17, 7.912569467059233e+17, 56544526276819016, 5]
[17, 7.768450142650701e+17, 55696765545004120, 6]
[17, 6.06736256216139e+17, 45690368012714060, 5]
[17, 1.265940472190688e+17, 17446708659945224, 9]
[17, 8.175472757285391e+17, 58091016219325832, 9]
[17, 7.811158626219622e+17, 55947991918938952, 5]
[17, 1.5619772108469293e+17, 19188101240276054, 10]
[17, 4.443105519541719e+17, 36135914820833640, 7]
[17, 5.48042703323948e+17, 42237806077879296, 0]
[17, 2.5520402829291808e+17, 25012001664289298, 14]
[17, 5.927221567351398e+16, 13486600921971411, 14]
[17, 4.8985901097841664e+17, 38815235939906860, 3]
[17, 6.867243709505389e+16, 14039555123238464, 0]
[17, 1.3629799647219712e+16, 10801752920424689, 16]
[17, 4.701565469582387e+17, 37656267468131688, 7]
[17, 7.640561246397158e+17, 54944477919983288, 12]
[17, 3.297439502202927e+17, 29396702954134864, 1]
[17, 2.7174598234606368e+17, 25985057785062570, 7]
[17, 7.317556389858273e+17, 53044449352107488, 15]
[17, 7.78780082911977e+16, 14581059311246923, 5]
[17, 3225814580033792.0, 10189753798825517, 2]
[17, 1.954823533107276e+17, 21498961959454566, 11]
[17, 2.412862846202361e+17, 24193310860013888, 0]
[17, 5.5058108960917555e+17, 42387122918186796, 3]
[17, 1.6352335330547712e+16, 10961902078267512, 8]
[17, 2.0969608090593606e+17, 22335063582702122, 7]
[17, 6.804371992332339e+16, 14002571760195493, 11]
[17, 3.4049472955933696e+16, 12002910173878452, 12]
[17, 4.79826575734576e+16, 12822509269026917, 11]
[17, 3.3217465857428294e+17, 29539685798487232, 0]
[17, 3.4019641151532576e+17, 30011553618548576, 2]
[17, 2.742485325665717e+17, 26132266621563042, 15]
[16, 8.644349896595014e+16, 6402718685371884, 0]
[17, 1.2656248653385818e+17, 17444852149050481, 16]
[16, 8.889937532102522e+16, 6556210957564076, 0]
[17, 5.1589947011327386e+17, 40347027653721992, 9]
[17, 2.25411678226878e+17, 23259510483934000, 16]
[17, 7.893505306261056e+17, 56432384154476800, 0]
[17, 1.1820458346237318e+17, 16953210791904305, 16]
[17, 2.854534137820076e+17, 26791377281294566, 11]
[16, 1.130097011307235e+17, 8063106320670219, 0]
[17, 7.26202583935335e+16, 14271779905501971, 14]
[17, 1.1258180398015526e+17, 16622459057656192, 0]
[16, 1.146332754808879e+17, 8164579717555494, 0]
[17, 1.076083647152537e+17, 16329903806779629, 3]
[17, 3.2060730060710163e+17, 28859252976888332, 5]
[17, 4.237144141635169e+17, 34924377303736288, 15]
[17, 5.1338139298345165e+17, 40198905469614804, 14]
[16, 7.150167221682523e+16, 5468854513551577, 0]
[17, 6.469966924021105e+17, 48058628964830024, 5]
[16, 2.211561174201259e+16, 2382225733875787, 0]
[17, 2.542043899317067e+17, 24953199407747452, 4]
[17, 6.130266873495196e+17, 46060393373501152, 15]
[17, 4.514067661527721e+17, 36553339185457184, 2]
[16, 1.0101943141577952e+17, 7313714463486220, 0]
[17, 6.274369969788749e+17, 46908058645816168, 7]
[17, 4.7921632706198554e+17, 38189195709528560, 16]
[17, 7.310791121606569e+17, 53004653656509232, 3]
[17, 1.7759193982186784e+17, 20446584695403990, 10]
[16, 1.3923825011057549e+17, 9702390631910968, 0]
[16, 1.6886884439231204e+16, 2055430277451950, 4]
[16, 6.168175795651939e+16, 4855109872282462, 0]
[17, 1.5603028650116525e+17, 19178252147127368, 9]
[17, 8.067279663729608e+17, 57454586257232984, 6]
[17, 4.0971294605613805e+17, 34100761532714004, 14]
[17, 9270350130648000.0, 10545314713567529, 7]
[16, 9.164591571248451e+16, 6727869732030282, 0]
[17, 1.7246933594661997e+17, 20145255055683528, 9]
[17, 1.494087079150361e+17, 18788747524413888, 0]
[17, 2.689047318246708e+17, 25817925401451222, 10]
[17, 3.003400229732642e+17, 27667060174897894, 11]
[17, 7.41086215005752e+17, 53593306765044240, 1]
[17, 5.4234398734060314e+17, 41902587490623712, 15]
[16, 5.158776744891624e+16, 4224235465557265, 0]
[17, 8.119099561206794e+17, 57759409183569376, 15]
[17, 2.676318893608288e+16, 11574305231534287, 1]
[17, 7.474618066351357e+17, 53968341566772688, 14]
[16, 5.61645613228068e+16, 4510285082675425, 0]
[17, 4.7910135001790874e+17, 38182432353994632, 9]
[17, 6.815472100441774e+17, 50091012355539848, 9]
[17, 5.989861303425746e+17, 45234478255445564, 4]
[17, 5.542828632603579e+17, 42604874309432816, 16]
[17, 2.751270865722452e+17, 26183946268955600, 1]
[17, 2.6054327824676192e+17, 25326075190985996, 5]
[17, 2.7721829318036192e+17, 26306958422374230, 10]
[17, 4.049825420302237e+17, 33822502472366100, 14]
[17, 1.064503516988576e+16, 10626178539405044, 12]
[17, 6.839484445088701e+17, 50232261441698240, 13]
[17, 6.165959029234875e+17, 46270347230793384, 11]
[17, 5.24881799739881e+16, 13087539998469888, 0]
[17, 3.93662568767059e+17, 33156621692179940, 11]
[16, 6.883087349243811e+16, 5301929593277382, 0]
[17, 6.955600489271665e+17, 50915296995715672, 6]
[17, 1.3757228295365254e+17, 18092487232567797, 12]
[17, 1.2211043065062829e+17, 17182966508860488, 9]
[17, 4.5947496479258675e+17, 37027939105446280, 9]
[17, 7.391300964642783e+17, 53478240968486960, 3]
[17, 6.460463094796997e+17, 48002724087041160, 9]
[17, 6.834149318989023e+17, 50200878346994248, 5]
[17, 5.302717528644498e+17, 41192456050849988, 13]
[17, 5.504475804524024e+17, 42379269438376612, 11]
[16, 7.110535908666392e+16, 5444084942916495, 0]
[16, 1.081628446122754e+17, 7760177788267212, 0]
[14, 595326562498162.0, 52523325892725, 11]
[17, 4.6529401590685824e+17, 37370236229815192, 10]
[16, 5.985077831869315e+16, 4740673644918322, 0]
[17, 2.0369685099868864e+16, 11198216770580521, 7]
[17, 2.990612839264337e+17, 27591840230966690, 15]
[17, 7.772126559251561e+17, 55718391525009184, 2]
[17, 4.6939301624053786e+17, 37611353896502228, 14]
[17, 2.5714909834748416e+16, 11512641754985201, 16]
[16, 1.0902147171251043e+17, 7813841982031902, 0]
[17, 6.268432942765952e+17, 46873134957446776, 8]
[17, 7.348539036279452e+17, 53226700213408544, 2]
[17, 1.1326060343733216e+17, 16662388437490127, 1]
[17, 4.379969470253747e+17, 35764526295610276, 11]
[17, 2.21584047508126e+17, 23034355735772118, 10]
[17, 3.31574646566624e+16, 11950439097450729, 7]
[17, 6.800194492097326e+17, 50001144071160744, 11]
[17, 7.493408569091305e+17, 54078873935831208, 11]
[17, 2.1157290223940576e+17, 22445464837612104, 9]
[16, 4.926308356153774e+16, 4078942722596109, 0]
[17, 4.911211934689641e+17, 38889481968762592, 15]
[17, 6.017845147677043e+17, 45399089103982608, 1]
[17, 8.778419063859827e+16, 15163775919917545, 7]
[17, 7.912189368750083e+17, 56542290404412248, 6]
[16, 9492300155324976.0, 1593268759707811, 0]
[16, 8.6411018857321e+16, 6400688678582562, 0]
[16, 3.2505419349277776e+16, 3031588709329861, 0]
[17, 1.6484985724463622e+17, 19697050426155072, 0]
[17, 1.4419909611961216e+16, 10848229977174189, 3]
[17, 3.217512090155751e+17, 28926541706798536, 9]
[17, 3.4333874737990317e+17, 30196396904700188, 6]
[17, 5.534237194790968e+17, 42554336439946872, 8]
[17, 7.69319627395664e+16, 14525409572915671, 10]
[17, 5.49716402494602e+17, 42336258970270704, 16]
[17, 3.620309538125186e+17, 31295938459559916, 3]
[17, 8.182227584156567e+17, 58130750495038632, 11]
[17, 3.618498513952743e+17, 31285285376192608, 2]
[17, 6.746738330593533e+17, 49686696062314904, 10]
[17, 5.203706599363236e+17, 40610038819783740, 4]
[17, 7.006512583065569e+17, 51214779900385704, 11]
[17, 7.515749704965686e+17, 54210292382151096, 12]
[17, 6.927098371896535e+17, 50747637481744320, 13]
[17, 5.479427669635802e+16, 13223192746844589, 3]
[17, 8.332795324397379e+17, 59016443084690464, 2]
[17, 5.89802063724237e+17, 44694239042602180, 13]
[17, 7.05116711214771e+17, 51477453600868880, 1]
[17, 2.0224460532451168e+17, 21896741489677158, 11]
[16, 1.3488640807953978e+17, 9430400504971236, 0]
[17, 5.082968642106806e+17, 39899815541804740, 13]
[17, 3.464523053558115e+17, 30379547373871264, 15]
[16, 1.1605034410106387e+17, 8253146506316492, 0]
[17, 2.625519199593566e+17, 25444230585844506, 6]
[17, 2.8197294246170694e+17, 26586643674218056, 9]
[17, 6.975456565080036e+17, 51032097441647272, 11]
[17, 2.7231088195988115e+17, 26018287174110656, 0]
[16, 2.333553820146525e+16, 2458471137591578, 0]
[17, 1.5981062698551104e+16, 10940062511679476, 12]
[17, 5.089660117644664e+17, 39939177162615672, 8]
[16, 4.623386118169256e+16, 3889616323855785, 0]
[17, 5.9724497295359e+17, 45132057232564120, 10]
[17, 1.5106556182744832e+16, 10888620951926166, 10]
[17, 1.693982499812894e+17, 19964602940075848, 9]
[17, 4.632026726634199e+17, 37247216039024700, 4]
[16, 7.23545729965915e+16, 5522160812286969, 0]
[17, 4.657711616044677e+17, 37398303623792220, 6]
[17, 8.01929359923341e+17, 57172315289608296, 7]
[17, 4.8912878136919885e+17, 38772281257011696, 16]
[17, 5.5373562271933466e+17, 42572683689372628, 14]
[16, 1.0830470361262622e+17, 7769043975789139, 0]
[17, 1.1737032013322368e+17, 16904136478424922, 6]
[17, 6.633859144965092e+17, 49022700852735832, 6]
[17, 5.3408803709827635e+17, 41416943358722140, 6]
[17, 5.477925259570911e+17, 42223089762181828, 13]
[17, 6.585296582399572e+17, 48737038719997488, 3]
[17, 5.543452008504996e+17, 42608541226499976, 9]
[17, 7.72253336709246e+17, 55426666865249760, 15]
[17, 3.920054260659956e+17, 33059142709764448, 2]
[17, 1.364946114645506e+17, 18029094792032388, 13]
[17, 4.49435360589622e+17, 36437374152330708, 14]
[17, 6.308375583008325e+17, 47108091664754856, 11]
[17, 7.932125004726546e+17, 56659558851332624, 1]
[16, 7.548495998391955e+16, 5717809998994972, 0]
[17, 5.1203929458188774e+17, 40119958504816928, 2]
[17, 3.2988467382290797e+17, 29404980813112232, 7]
[17, 4.655022971287624e+17, 37382488066397788, 6]
[16, 1.272272226988581e+17, 8951701418678631, 0]
[17, 5.6646210314158566e+17, 43321300184799156, 12]
[17, 4.362542779565192e+17, 35662016350383480, 8]
[17, 4.5494612197476224e+17, 36761536586750720, 0]
[17, 5.454179787605811e+16, 13208341051532830, 2]
[17, 7.891756658695552e+17, 56422097992326776, 8]
[17, 3.818432596135582e+17, 32461368212562248, 9]
[17, 7.720759941737766e+17, 55416234951398624, 15]
[17, 7.257339246247967e+17, 52690230860282160, 3]
[17, 2.420319546632844e+17, 24237173803722612, 12]
[16, 8.544155314299512e+16, 6340097071437195, 0]
[17, 8.039578778702252e+17, 57291639874719128, 10]
[17, 5.352675398501294e+17, 41486325873537024, 0]
[17, 7.921481959933898e+17, 56596952705493520, 1]
[17, 7.477986171442609e+17, 53988153949662400, 13]
[17, 2.1536799379260422e+17, 22668705517212014, 3]
[17, 1.7939296123756928e+16, 11055252713162172, 4]
[17, 3.9421077245945965e+17, 33188868968203508, 12]
[17, 1.3132109849636973e+17, 17724770499786455, 10]
[17, 1.2445248947802483e+17, 17320734675177931, 5]
[17, 6.835890203448015e+17, 50211118843811856, 1]
[17, 3.736943567621965e+16, 12198202098601155, 13]
[16, 6.548685030208576e+16, 5092928143880360, 0]
[17, 7.042988304790118e+17, 51429342969353640, 11]
[17, 4.328829821013522e+17, 35463704829491304, 7]
[17, 1.91454966976862e+17, 21262056880991884, 5]
[16, 1.299342125954082e+17, 9120888287213012, 0]
[16, 4.175010445748326e+16, 3609381528592704, 0]
[16, 1.415802185766818e+17, 9848763661042612, 0]
[17, 5.452880335706153e+17, 42075766680624428, 3]
[17, 7.035087612194222e+17, 51382868307024832, 13]
[17, 4.115147388750795e+17, 34206749345592912, 1]
[17, 4.0963992151723296e+17, 34096465971601940, 14]
[17, 6.16343756667433e+17, 46255515098084288, 13]
[17, 1.149308472052466e+17, 16760638070896858, 6]
[16, 315803646428288.0, 1019737727901767, 15]
[17, 3.841056769003915e+17, 32594451582375968, 15]
[17, 1.7795662978566272e+16, 11046803704621545, 7]
[17, 7.64404531483103e+17, 54964972440182528, 0]
[17, 2.4008036644356525e+17, 24122374496680308, 12]
[17, 1.2369828411796653e+17, 17276369653998031, 1]
[17, 6.330220291983895e+17, 47236589952846440, 7]
[17, 4.830754768701638e+16, 12841620452177434, 6]
[17, 5.81091479310419e+17, 44181851724142292, 14]
[17, 5.985493766174861e+17, 45208786859852124, 6]
[17, 9.210601647303949e+16, 15418000969002323, 14]
[17, 4.204298464059786e+17, 34731167435645800, 7]
[17, 1.9505917130391187e+17, 21474068900230110, 2]
[16, 5.471580466955278e+16, 4419737791847049, 0]
[17, 1.323111702596624e+17, 17783010015274259, 14]
[17, 4.852779370446561e+17, 38545761002626832, 1]
[17, 7.952885083535511e+17, 56781676961973592, 6]
[17, 3.0699447014909805e+17, 28058498244064592, 1]
[17, 4.5353525186007706e+17, 36678544227063356, 4]
[16, 7.748687547827102e+16, 5842929717391939, 0]
[17, 1.0654058054804211e+17, 16267092973414242, 15]
[17, 4.651509548896727e+17, 37361820875863100, 4]
[17, 4.038206148756588e+17, 33754153816215224, 8]
[17, 3.0091059543856576e+16, 11770062326109210, 6]
[17, 3.2582443035348435e+17, 29166142961969668, 13]
[17, 3.76337415264194e+17, 32137495015540824, 10]
[17, 4600525900830912.0, 10270619170637112, 7]
[17, 2.842126641740212e+17, 26718392010236540, 4]
[17, 3.780217179673958e+16, 12223657164514093, 3]
[17, 6.047607096719311e+17, 45574159392466536, 7]
[17, 1.6702603625769696e+17, 19825060956335116, 5]
[17, 8.024541315067607e+17, 57203184206280040, 7]
[17, 2.3541309432386976e+17, 23847829077874692, 13]
[17, 4.980077018849352e+17, 39294570699113832, 7]
[17, 1.3018000678943878e+17, 17657647458202281, 7]
[17, 2.7077937662769146e+17, 25928198625158320, 16]
[17, 3.928765977836945e+17, 33110388104923208, 9]
[17, 8.216854703339241e+17, 58334439431407296, 13]
[17, 3.7561805716932435e+17, 32095179833489668, 13]
[16, 7.473343286332818e+16, 5670839553958011, 0]
[17, 5.438911669789944e+17, 41993598057587908, 13]
[17, 1.4967292741653312e+16, 10880428984803136, 0]
[17, 4.336068208940447e+17, 35506283582002628, 13]
[17, 7.718290188329779e+17, 55401706990175168, 13]
[16, 8.6027190617164e+16, 6376699413572750, 0]
[17, 3.906835336867627e+17, 32981384334515452, 4]
[17, 3.311472149201886e+17, 29479247936481684, 14]
[16, 1.3017217467388772e+16, 1813576091711798, 4]
[17, 6.871049913107482e+17, 50417940665338128, 1]
[17, 5.2570470324915686e+17, 40923806073479816, 9]
[17, 6.787977297791703e+17, 49929278222304136, 9]
[17, 1.3787805084011168e+17, 18110473578830099, 14]
[17, 6.340935499835162e+17, 47299620587265656, 8]
[17, 2.469089234962571e+17, 24524054323309240, 8]
[17, 5.574958171120906e+17, 42793871594828860, 4]
[17, 6.758570687577349e+17, 49756298162219704, 12]
[17, 4.324715237851863e+17, 35439501399128608, 2]
[17, 2.782874865209972e+17, 26369852148293952, 0]
[17, 3.725325209806211e+17, 31913677704742420, 14]
[17, 6.545431351264701e+17, 48502537360380600, 12]
[16, 1.796354645352096e+16, 2122721653345060, 0]
[17, 3.033970498927552e+16, 11784688528780913, 16]
[17, 9.547176507729024e+16, 15615986181017073, 16]
[17, 1.9588286578461203e+17, 21522521516741884, 4]
[17, 4.013691603631124e+17, 33609950609594848, 2]
[17, 4.190065753842637e+17, 34647445610839040, 0]
[17, 6.481254939918016e+17, 48125029058341272, 10]
[17, 6.620061339409784e+17, 48941537290645792, 2]
[17, 3.487083859440926e+17, 30512257996711328, 15]
[17, 1.6227941610223366e+17, 19545848006013744, 16]
[17, 4.6292435436399206e+17, 37230844374352476, 6]
[14, 1076185214377805.0, 86870372455557, 6]
[17, 6.373676868491786e+17, 47492216873481096, 9]
[17, 6.162289984268749e+17, 46248764613345584, 3]
[17, 2.146386736527605e+17, 22625804332515324, 4]
[17, 6.78584514830058e+17, 49916736166474000, 1]
[17, 3.976637063840757e+17, 33391982728475040, 15]
[17, 5.871714393076659e+17, 44539496429862700, 3]
[17, 6.697966131537805e+17, 49399800773751792, 16]
[17, 3.534235691148812e+17, 30789621712640072, 9]
[17, 4.077308200751906e+17, 33984165886775916, 3]
[16, 1.4613446974732496e+16, 1913340435920781, 0]
[17, 5.704274283610043e+17, 43554554609470840, 8]
[17, 1.6789702356022752e+17, 19876295503542796, 5]
[17, 6.081237872459123e+16, 13577198748505366, 10]
[17, 3.278470975765318e+17, 29285123386854812, 6]
[16, 6.360389681669226e+16, 4975243551043266, 0]
[17, 2.751762988788812e+17, 26186841110522424, 8]
[17, 2.3714534259411014e+17, 23949726034947656, 9]
[16, 9818436955582824.0, 1613652309723926, 8]
[17, 1.0633592238283738e+17, 16255054257813963, 5]
[17, 7.005733797075692e+17, 51210198806327600, 3]
[16, 2.089530697542527e+16, 2305956685964079, 8]
[17, 9.061777762606298e+16, 15330457507415469, 3]
[17, 8.0603487189875e+17, 57413815994044112, 14]
[17, 2.404293537601977e+17, 24142903162364570, 6]
[17, 3.2917797564357715e+17, 29363410331975128, 10]
[17, 4.542498106572265e+17, 36720577097483912, 9]
[17, 7.331591346842716e+17, 53127007922604216, 12]
[17, 3.9903729366123834e+17, 33472781980072844, 5]
[17, 3.802095506640131e+17, 32365267686118420, 14]
[16, 1.0273634584563597e+17, 7421021615352248, 0]
[17, 2.0102994735080954e+17, 21825291020635856, 1]
[16, 7982226778930040.0, 1498889173683127, 7]
[17, 1.7571104726686272e+16, 11033594395687427, 13]
[17, 8.446318877489946e+16, 14968422869111733, 12]
[17, 4.06887102586343e+17, 33934535446255468, 3]
[17, 7.101790512140913e+17, 51775238306711248, 14]
[17, 1.7876503066976403e+17, 20515590039397884, 4]
[17, 6.783515317119416e+17, 49903031277173040, 3]
[17, 3.8642117851640774e+17, 32730657559788692, 14]
[17, 8.133846653808049e+17, 57846156787106168, 8]
[17, 2.488475649396478e+17, 24638092055273400, 8]
[17, 6.605676832651804e+17, 48856922545010616, 12]
[17, 6.213545279408174e+17, 46550266349459848, 9]
[15, 1.043451553622592e+16, 795634369081728, 0]
[16, 6.00162752062471e+16, 4751017200390444, 0]
[17, 7.159890052925491e+17, 52117000311326416, 14]
[17, 6.258446138183555e+17, 46814389048138560, 4]
[17, 5.3483821134684006e+17, 41461071255696476, 6]
[17, 6.316607219775022e+17, 47156513057500128, 15]
[17, 4.338852204636109e+16, 12552266002727123, 14]
[16, 1.3874870120944704e+17, 9671793825590440, 0]
[17, 1.8368041857492128e+17, 20804730504407134, 2]
[16, 1.1409981015192904e+16, 1713123813449556, 8]
[17, 4.120711840403331e+17, 34239481414137244, 6]
[17, 4.576461729111132e+17, 36920363112418424, 8]
[17, 2.4958166562198976e+16, 11468127444835234, 15]
[17, 3.048537660699494e+17, 27932574474702904, 8]
[17, 4.32852049033141e+17, 35461885237243588, 13]
[17, 6.231292789029473e+17, 46654663464879256, 10]
[17, 6.000099780109056e+17, 45294704588876800, 0]
[16, 4.944768875410462e+16, 4090480547131539, 0]
[17, 6.073730846897684e+17, 45727828511162848, 15]
[17, 2.011857405373549e+16, 11183445532572675, 13]
[17, 5.948319459773514e+17, 44990114469255968, 2]
[16, 5.801674169755179e+16, 4626046356096987, 0]
[17, 2.6808621448379296e+17, 25769777322576056, 8]
[17, 4.001363891785428e+17, 33537434657561340, 4]
[16, 4.743125375022069e+16, 3964453359388793, 0]
[17, 1.856872622703188e+17, 20922780133548164, 13]
[17, 8.07846241155189e+17, 57520367126775824, 1]
[16, 2.188710856422888e+16, 2367944285264305, 0]
[17, 1.014736715482857e+17, 15969039502840335, 1]
[17, 8.114377014274624e+17, 57731629495733080, 6]
[17, 4.160982229605812e+17, 34476366056504776, 9]
[16, 4.128729500371688e+16, 3580455937732305, 0]
[17, 3.3366846865787795e+17, 29627556979875172, 11]
[17, 8.250657865474565e+17, 58533281561615088, 16]
[17, 4.7198001083286835e+17, 37763530048992256, 0]
[17, 6866042637496064.0, 10403884861029180, 3]
[17, 3.940200072996281e+17, 33177647488213416, 7]
[16, 5.337324429002611e+16, 4335827768126632, 0]
[17, 3.051277958718467e+17, 27948693874814512, 16]
[17, 2.4214240255554413e+17, 24243670738561420, 5]
[17, 4.2129027223769626e+17, 34781780719864484, 11]
[17, 7.60408280321174e+17, 54729898842422000, 16]
[17, 8.068769507835461e+17, 57463350046090944, 13]
[17, 7.952033186806253e+16, 14677666580474266, 6]
[17, 6.421060784502278e+16, 13777094579118987, 5]
[17, 3.985829706733081e+17, 33446057098429888, 0]
[17, 5.753649363971868e+17, 43844996258658048, 0]
[17, 2.4958731657976186e+17, 24681606857633050, 6]
[17, 2.156651866890567e+17, 22686187452297454, 3]
[17, 6.743831908152077e+17, 49669599459718096, 14]
[17, 3.2935754069473094e+17, 29373972982042996, 12]
[17, 1.08137375444275e+17, 16361022084957353, 7]
[16, 1.050715271474362e+17, 7566970446714762, 0]
[16, 8.46377442633473e+16, 6289859016459206, 0]
[17, 5.001509638024484e+17, 39420644929555788, 5]
[16, 2.1274101992794336e+16, 2329631374549646, 0]
[16, 1.4044970792835213e+17, 9778106745522008, 0]
[16, 6.709469377898826e+16, 5193418361186766, 0]
[17, 9.222923671230925e+16, 15425249218371132, 4]
[17, 3.4971120688182726e+17, 30571247463636896, 15]
[15, 2823167969194039.0, 288211197946269, 3]
[17, 2.1992646741547117e+17, 22936851024439480, 8]
[17, 3.6197239631516166e+17, 31292493900891864, 10]
[17, 5.0582345265614285e+17, 39754320744478992, 1]
[17, 4.479315239294661e+17, 36348913172321536, 0]
[17, 1.997305506137689e+17, 21748855918456994, 15]
[17, 4.492266916180544e+16, 12642509950694437, 11]
[17, 1.4617237311312902e+17, 18598374889007590, 11]
[16, 4.812121978072542e+16, 4007576236295339, 0]
[17, 6.1584402315395e+17, 46226119009055880, 9]
[17, 2.1126304833518317e+17, 22427238137363716, 13]
[16, 2.352592493587645e+16, 2470370308492278, 0]
[17, 1.1670396900887002e+17, 16864939353462942, 2]
[17, 4.410043824774586e+16, 12594143426337991, 9]
[16, 7.723376857391864e+16, 5827110535869915, 0]
[17, 2.6806719977237498e+17, 25768658810139704, 8]
[17, 2.396511369657204e+17, 24097125703865904, 16]
[17, 2.0042506942185914e+17, 21789709965991714, 15]
[17, 1.5834417209078893e+17, 19314363064164054, 10]
[16, 9.112886785768102e+16, 6695554241105064, 0]
[16, 7.024428263724227e+16, 5390267664827642, 0]
[17, 2.5353135827622688e+17, 24913609310366288, 1]
[17, 8.096507683267103e+17, 57626515783924136, 11]
[16, 3.643075862795803e+16, 3276922414247377, 0]
[17, 3.0905096845031226e+17, 28179468732371308, 3]
[17, 4.995925759481654e+17, 39387798585186200, 10]
[17, 1.2300226492805248e+17, 17235427348708969, 7]
[17, 4.6161094960754816e+17, 37153585271032244, 12]
[17, 6.208571805276805e+17, 46521010619275328, 4]
[17, 5.90509376704841e+17, 44735845688520056, 8]
[15, 3083030971168437.0, 305535398077895, 11]
[17, 2.243921689936756e+17, 23199539352569152, 0]
[17, 6.564501360210284e+17, 48614713883589904, 1]
[17, 2.959216278195367e+17, 27407154577619806, 2]
[16, 4.395141918425806e+16, 3746963699016129, 0]
[17, 6.366380787487598e+17, 47449298749927048, 9]
[15, 2257407307359826.0, 250493820490655, 0]
[17, 4.600081659794829e+16, 12705930388114605, 3]
[17, 7.333317683484288e+17, 53137162844025224, 9]
[17, 6.417833346035884e+17, 47751960859034608, 16]
[16, 8911673187740544.0, 1556979574233783, 15]
[16, 6.016708054779917e+16, 4760442534237448, 0]
[17, 3.7275844674417274e+17, 31926967455539572, 12]
[17, 3.375420230674416e+17, 29855413121614212, 13]
[17, 3.654929373760807e+17, 31499584551534160, 1]
[17, 4.178525061659182e+17, 34579559186230484, 14]
[17, 3.3199246214969984e+16, 11952896836174705, 16]
[17, 7.7899243980643e+16, 14582308469449589, 12]
[17, 2.449303033683051e+17, 24407664904017946, 6]
[17, 6.493618702955259e+17, 48197757076207408, 3]
[17, 2.447546278847399e+17, 24397331052043524, 13]
[17, 5.933916249790671e+17, 44905389704651008, 0]
[17, 6.445153468173005e+17, 47912667459841208, 12]
[17, 3.1063774552181037e+17, 28272808560106492, 4]
[17, 4.41793752036618e+17, 35987867766859880, 7]
[17, 1.3597151935879891e+17, 17998324668164642, 15]
[16, 2.6469658852220464e+16, 2654353678263779, 0]
[16, 1.0914939486891594e+17, 7821837179307246, 0]
[17, 1.357708062366512e+17, 17986518013920659, 14]
[17, 7.150845413156488e+17, 52063796547979336, 5]
[17, 6.895550911563072e+17, 50562064185665128, 7]
[16, 4.39220944487111e+16, 3745130903044444, 0]
[17, 5.333954443723786e+17, 41376202610139920, 1]
[17, 7.69065709736776e+17, 55239159396280936, 7]
[17, 5.256707653067254e+17, 40921809723925024, 2]
[17, 5.957686690703887e+17, 45045215827669924, 11]
[17, 7.940386804017303e+17, 56708157670690016, 15]
[16, 1.3995083230693843e+17, 9746927019183652, 0]
[17, 7.283492449590728e+17, 52844073232886632, 7]
[16, 3.863616863920115e+16, 3414760539950072, 0]
[16, 1.3097575637738886e+17, 9185984773586804, 0]
[17, 8133104927899520.0, 10478417936935265, 14]
[17, 8.142959482046573e+16, 14789976165909749, 12]
[17, 4.629213799793718e+17, 37230669410551280, 16]
[17, 7.848814392361961e+17, 56169496425658592, 15]
[17, 3.023246678875098e+17, 27783803993382930, 14]
[16, 6.58775529309496e+16, 5117347058184350, 0]
[17, 2.278509688482092e+17, 23402998167541718, 10]
[17, 4.582572823159777e+17, 36956310724469280, 2]
[17, 2.5043681010690554e+17, 24731577065112090, 6]
[17, 2.006039449050484e+17, 21800232053238140, 4]
[17, 6.912966294769976e+17, 50664507616293976, 6]
[17, 4.2632708408710246e+17, 35078063769829556, 12]
[17, 2.6109825547413203e+17, 25358720910243060, 12]
[17, 3.308438916210086e+17, 29461405389471092, 12]
[17, 8.238085822013408e+16, 14845932836478475, 5]
[17, 6.414869543796206e+17, 47734526728212976, 16]
[17, 3.242486768430653e+17, 29073451579003840, 0]
[16, 8.170413184584366e+16, 6106508240365229, 0]
[16, 7.813257401864645e+16, 5883285876165403, 0]
[17, 8.351637407731348e+17, 59127278869007936, 4]
[17, 4.067579792661031e+17, 33926939956829596, 6]
[17, 2.0788331648115565e+17, 22228430381244450, 15]
[16, 1.233041324867614e+17, 8706508280422588, 0]
[17, 3.764795910942526e+17, 32145858299661920, 2]
[17, 6.498229565887642e+17, 48224879799339072, 4]
[17, 3.7182634113946464e+17, 31872137714086156, 5]
[17, 1.791512210800244e+17, 20538307122354376, 9]
[17, 7.97175498513119e+17, 56892676383124648, 11]
[16, 1.1110722734272939e+17, 7944201708920587, 0]
[17, 6.088542594203878e+17, 45814956436493404, 6]
[17, 4.219755251468488e+17, 34822089714520516, 13]
[16, 1.1187525297581438e+17, 7992203310988399, 0]
[17, 1.7364377741842157e+17, 20214339848142446, 3]
[17, 2.5132152521894752e+17, 24783619130526324, 12]
[17, 3.4359854897723066e+17, 30211679351601804, 5]
[17, 2.6206168463951315e+17, 25415393214089008, 16]
[17, 6.814582652439404e+17, 50085780308467080, 9]
[16, 1.7558279531171936e+16, 2097392470698246, 0]
[17, 2.64864501720845e+17, 25580264807108528, 16]
[17, 3.0790547309184774e+17, 28112086652461632, 0]
[17, 4.014906358584111e+17, 33617096226965356, 3]
[16, 7551382348155312.0, 1471961396759706, 15]
[17, 6.91133225036715e+17, 50654895590395000, 8]
[16, 5.256932591761037e+16, 4285582869850648, 0]
[17, 4.5153399338025165e+17, 36560823140014804, 14]
[17, 3134067679151040.0, 10184356922303002, 5]
[17, 1.0194728834948397e+17, 15996899314675528, 9]
[17, 2.559706434091422e+17, 25057096671126012, 4]
[17, 4.683656613722017e+17, 37550921257188336, 16]
[17, 3.363419060834531e+17, 29784818004909008, 1]
[17, 8.326460343435018e+17, 58979178490794224, 16]
[17, 7.259659093047846e+17, 52703877017928512, 4]
[17, 1.1697803477825728e+16, 10688106086930925, 3]
[17, 4.501497092913861e+17, 36479394664199184, 1]
[17, 4.866481736000083e+16, 12862636315294166, 10]
[17, 5.143689767453066e+17, 40256998632076860, 4]
[17, 5.91759329161761e+17, 44809372303633000, 7]
[17, 7.347658569118833e+17, 53221520994816664, 10]
[17, 4.102768247848565e+17, 34133930869697440, 15]
[17, 1.1679756071096704e+16, 10687044474770394, 6]
[17, 4.351771732003123e+17, 35598657247077196, 5]
[17, 1.7903914028086112e+17, 20531714134168302, 3]
[17, 3.4353801562708256e+17, 30208118566298976, 2]
3
7
6
6
2
1
0
8
0
5
5
0
9
2
2
9
6
4
4
7
2
7
0
8
6
9
2
4
2
3
0
9
7
9
4
9
9
3
3
8
5
8
3
2
0
6
3
5
1
0
5
2
7
6
5
4
5
3
6
6
7
0
5
7
9
2
8
4
3
3
9
1
2
9
3
9
8
6
5
6
8
8
5
1
6
2
3
8
4
2
5
1
7
6
8
1
3
7
1
6
5
4
3
2
5
4
8
2
9
0
7
5
2
4
2
7
8
6
6
8
4
3
2
8
1
2
3
8
8
0
9
8
3
1
8
4
7
4
1
1
7
9
1
6
5
4
3
2
2
1
1
8
5
9
1
4
9
0
8
6
8
7
6
4
1
3
6
8
3
3
5
8
1
1
9
5
6
7
4
1
2
6
0
6
9
5
8
2
0
7
2
8
8
2
2
4
9
8
0
0
5
6
2
2
8
4
3
5
3
9
9
4
2
4
1
6
3
2
7
1
8
2
3
2
7
7
8
4
1
3
2
7
6
5
0
9
2
1
0
5
9
6
3
1
8
2
2
8
6
0
0
3
4
2
7
2
6
7
8
5
1
2
4
3
9
4
8
0
8
5
2
6
8
3
2
5
3
8
2
2
5
1
9
7
0
6
5
3
0
4
5
4
3
6
5
4
6
2
1
7
6
6
8
1
7
0
1
0
5
2
2
6
7
2
0
8
4
5
8
9
2
4
2
7
9
3
6
6
4
2
9
3
1
0
2
2
1
0
5
2
4
8
4
3
6
2
7
2
4
4
9
9
6
2
1
4
4
7
4
5
3
5
2
7
2
4
9
8
9
4
2
4
5
5
6
9
0
9
5
7
9
2
1
2
1
9
9
9
0
4
1
5
6
2
0
1
7
9
9
5
6
8
5
8
3
8
5
0
3
8
3
6
3
6
5
1
1
6
0
1
9
2
4
4
6
2
8
8
2
9
2
6
0
7
7
9
3
9
6
8
4
8
9
8
8
5
3
2
8
6
3
1
3
8
3
8
3
5
7
2
8
8
2
5
2
8
6
1
2
5
6
3
5
1
9
0
4
4
2
4
1
1
9
7
8
9
7
8
0
1
4
2
8
0
3
1
7
0
2
0
4
6
1
6
5
0
5
5
2
8
9
1
8
2
2
8
8
5
6
2
3
5
5
7
8
0
0
5
9
4
4
4
8
0
4
6
5
1
1
8
3
1
4
7
1
6
4
5
5
4
6
6
0
2
1
0
8
7
1
1
5
9
6
0
0
7
8
8
9
3
5
7
7
9
4
6
9
7
2
1
7
9
2
6
6
5
9
1
8
3
4
9
5
5
9
1
6
3
1
4
0
9
4
2
4
9
0
2
2
0
3
5
4
2
0
2
1
6
9
4
6
8
3
7
6
2
2
7
1
3
2
1
4
7
5
0
5
6
6
7
3
0
4
1
3
2
6
0
2
7
7
6
5
1
0
8
8
9
3
3
2
9
1
2
9
2
6
4
4
6
2
6
5
0
9
7
0
1
5
3
4
0
9
3
9
7
4
4
9
4
3
7
6
3
5
8
7
9
2
2
8
3
7
4
4
2
8
7
8
8
5
4
1
8
6
9
5
9
8
2
9
0
4
4
0
7
0
0
7
9
5
7
1
2
5
6
1
6
5
0
7
2
0
5
3
3
1
4
2
4
8
2
3
3
2
6
3
8
9
2
4
4
7
7
4
5
9
4
3
2
1
8
1
6
2
8
2
4
1
3
0
0
1
8
3
1
0
1
9
0
7
4
7
1
1
7
1
3
2
5
0
6
7
0
1
4
7
4
4
4
7
2
1
9
8
1
8
1
3
4
3
4
4
4
4
2
9
4
3
7
3
8
7
2
5
2
5
3
8
8
3
0
7
4
2
6
8
0
0
6
0
3
4
0
8
0
4
2
7
6
6
2
9
5
5
9
2
0
0
9
3
9
6
0
4
0
3
2
8
2
5
8
4
1
4
6
5
4
9
3
7
5
7
3
1
6
7
2
8
4
3
4
2
0
4
8
3
4
3
4
1
4
5
4
6
9
3
4
4
2
7
4
2
7
6
7
4
3
1
9
9
6
1
9
3
3
9
2
0
0
9
9
5
7
9
7
0
0
2
4
7
9
6
2
6
5
7
3
5
8
1
4
1
2
1
7
5
0
7
1
2
6
8
0
2
8
2
1
6
5
4
8
3
1
7
6
9
4
3
8
6
5
6
2
4
4
4
6
3
2