67
f1(a,b,c,d,e)=359c*950*(121d+907d*a+368+232b+741d)
f2(a)=73a+41a+940a-(868a+512a+235*716a*513a*584a*723a+a+600-386a-475a*733a*42a-a+352*(420a+93a-a-918*(262a+647a+448a+673a+613a+641a*993a*453a*117a*786a-793a-122a))+a+212+(885a-849a-262*929a*931a*271+(63a+774a*a+698)-144a-705a*314a*452a*a-865+(135a+550a-323a-740a*968a*598a-433-(746a-672a+a-839)*a+866*(216a*232a*(27a-459a))-561a-474a-250a-378a*639a*839a-380a-737a-a+61+(871a-426a)+a+507*675*191-118a-799a*a-474)*a+743+527-431a-296a+553a+318a*860a*328a-(194a+264a-746a-418a*(524a*306a)*a+596-456+966+688a+766a-986a-168a-265a-923a-117a-919a-(1000a-526a*(262a+301a-457a-78a*590a*282a*774a*682a+(999a-356a))))))
f3(a,b,c,d,e,x,y,z,t)=216c
f4(a,b,c,d,e,x,y,z,t,u,v)=95v-871+912x+722c*v+128+d-620-90d-756v*(625d*756t+963e+7d*393v*346x-274y-926u)+529y+375x+e+386+v-401*631*y-128-64z-95x*6b*825u+503+(783a*491t-d+226*340c*658z)
f5(a,b,c)=744a*594b*281a+969*296*886b*718b-302a-3b*18b*250a*747+(250c-882a+(188c+836c-548b-325a*647c*745b-41a-181c-(364b*166c+c-925-82b-482c-(354b*353a-251b-893c*399c*600b*a+241+883a+942c-53b-425b*778c*206a-c-654+654a+503b+a-528-814a-285a)*b-927-233b-847b*256b*661b-314c-135a)*979a*324b))
f6(a,b,c,d,e,x,y)=251b*114a*743e-975b-990c-570y-471a-c-921+682b+829d+789y+383x*237y*286a-185+(376c-846c*(29y*534e+(964d*744c-637c-100d*596b*37a*707e*149y*284)))
f7(a,b,c,d,e,x)=36a-c-330*879e*438b-889c-873a-969*616x*881x-906e-983c+213a+692c-828x-465x-494-x-32+a+551+808-x+500-246x-379c*843c*492b+(942d+271b)-894-93*776-330*(575d+1000a-b+888-936d-512a+759c+439d+448*223-(552c-478d+829e+577d-572x-761c+(65c-543a)-478b-881e+332+e+892-967x-967e*530-790+762*(524x*354a-334c-926c-e+972+(71d*932c-c-503+537a+127d*765*494x*863x-883e-138b)*167a*931b)*258a*864e))*120x*332e-(225d-439c*322e*149c)+881c+335d+e+397+(417d+748a+196a+310x)-605e-252e+92e+658x*(204d+586e)-837+385
f8(a,b,c,d)=478c*934c*617b+546c+664d+(974b-911d)
f9(a,b,c,d,e)=951e-665d-365a*307a*46c-935e-189a+852c+288b*b-970-(385b-284e+231*(538c*347a+876a+490b*272)-305*(514b+720b*586d*526b+556a+416c-59c-631d*275+886a+734e*(93d-418e*25b*21a*458*441*e-476*980e*13e+a-38*204+587a+607c+(968d*947c-682e-190d*378+172d+364b-683b-478e)+17+544)*139*2b*677c*75e*597b)*39*710d*343c-(247d-912b*d-575-651a-254a*102)*425b*176a)+889b+425a-(271c+507d)+b+951*622a*323a+(432d*960a*197d*577a+838c+327e-185c-945b)-345c-302a+976a+91b+(13b+532e*108e*837c*(319a-639e*d+123-336b-558d-(3c-11c-(89d+925a-35-489c-347a*886-857d-453e-(830a*258c*(809d+199e+(280a+120c)*e+93*798b*715a-544c-658b-(722e-709e+764e+116d+588d+850d)))))))
f10(a,b,c,d,e,x,y,z,t,u)=798y+595c+251b-147a-253u-21-735u-550a*519t*400e+420x+551b+349z+933e+337*149t*333a-353c-61d-(630c+30u+801e+901d)
f11(a,b,c,d,e,x,y,z,t,u,v)=621u+363x+812x-960c-284b-t-422*361d*233u*832u*585z+218a+585v*905*b+602+984a+261e+990e+98u*330x*931e+(752u-792c-568y-178z*132c*512e+307x+268z+613+511x+518x*955-945u-702z-621a-841t*325v*127a+x+301+914)+208v+480e+925a+176d*839c*543z+(355z+107v*e-719-e+842)+(501c-606v+49*80+143t+676c-7v-790a*508a*148z+u-549)
f12(a,b,c,d,e,x,y)=33e*142d*847c*926c*202b-981d-476x*332x*603y+381d+534a*82a*951c*397d*823c*a+84-416+842c+279b-882y-776a*661b*323e-208-374b-617d+b+581*b-428*586x*174e*e+601*b-261+971e+703e+201d+267x-853x-150c+88b+892c+(690y+642e+287y+818a+596b+104a)+260b+73x+96*31*d+961*952c*531b+375e+614d+265+x-341*872a*387a+292y+827e-758x-717a-14c-922c+115-774e-171a+822-c-334*(449e+166e-579-396x-682y+(748y+918a*x+500-41b-794y+e+407*233-986c-764x+166+7-995y-924d)*674-x+418+885y+721a-23)
f13(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=41d*679x*975x*898t*783x-z+908+62z+454y*c-953+d-154+(69u+218t*352n*202m+709z+726d-221a-397a*(660b*608c-x-181*u+94*190c*612d+381*427c*188k-895v-365y))
f14(a,b,c,d,e,x,y,z)=649y*41x*265y+(54d*243b+e-983-668z-805c-549-(389a+283d-676*550b*161a+579)*(530d-549c*392c*975d-283z-896z-955e-795y-24+761c+908c+(193d-961z)-(738b-657e-552d-332b-z+174-(934a+976c*(614a*566z*(153e+809a*360e*891a)*57e*542y*312*802b*254a-494a-405e*(61z+221a)+y+937))-c+742*578y*660y)*324z*607a*e-827+290y+797x-945x-324e+(624c+409d*420b*443x*810d*685d+330e+324c+991-216z-810c-867b-763e-184-943a-780e*589z*98z+52*762*964x*150c-40x-905b-z-677+(638d*51z*148y*262y)+547d+160x+309z+103e-x-500+329a+821b-z-311+363e+418a+d+155-361z-457y-(822a+673e*849a*588x*419e*286y-970a-232y-z-116*957d*551z))))
f15(a,b,c)=800a-332a-597b-a+191-9b-913c*344c*136b-603c-438a*910a*783c-531a-324c-b+477*838-190*638c*319b-b-446*61a*411c*293a*69b-(859b+488b+55+a+808-209b-967c)+773c+358b+650b+892c+(486c-246b*b+343-b-447+c-982-(228b+690c)*415-(884a-308a+220c+152a+297b+730c)-488c-450a*814b*743b-859a-835b)
f16(a,b,c,d,e,x,y,z,t,u,v)=449c-471*417v*816y-321x-308a-t+922-182+v+81+794u+986c-504c-992e*b-799-25+y+187+906+a-392+103e+866a*857x*653x+762d+418e*(167a*537u-810d-242x*580z*588e)-812b-62y+(381z-150a*944u*770y*(79b+320y*(915z-90e-223y-675e+(716x-866e+809a+917u+b-594-456-979e-98u*v+132-598))))
f17(a,b,c,d)=445c*c-155+565b+304a+560+(10b+466d)*222c*547c*(529d-599a*922a*521a+252c+545b)+233d+329a-924b-866a*412c*51b-982*98a*515b-739c-193b+(670b-998c)-748d-770c+884a+812c+794c+11b-12c-724b-a-112-542b-315d-d-1*240a*686b+831d+728d*c-797-344a-169c-710d-724a*(6b+880a-917b-328c)*(533a+180a+523a+701a-d+322*531d*364d*243d*952c)*257a*389c+885b+905b-b-60+928*874b*235a-832d-879b*b-734-d+224+(283d-563c)+a+316+796b+984d-920a-660a*850+275-999b-424b*530b*843c+571d+718c-727b-294b*291a*198b
f18(a,b,c,d,e,x,y,z,t)=969z-(36z-565d*788e*818x+332c+229t+d-666)*810e*744a*712z*35z*993t*885z*318d*683z+48+665-(330z+140d-193b-479b*207*824*649e*687x*507t*860z-a-290-y+639*936e*559c)-1000x-739t-y-17+238e+523z-93e-241y-(87a-22e+(252x-955t*351-194d-464y-43x-334z-808t-176y+262y+69a-(801a-966d-307d-801y+946x+738b*774z*604d*485b*142t)))
f19(a,b,c,d,e,x,y,z,t)=692e-657t-940z+240x+451c-(338z-371e+89a+314c+94x+501z+(865c+691a*835t*584b)+a+19+683y+603c*(441x+547e+(772y*972z)-292d-250b-472*(491b-299z+148e+487t-b-241+654a+900d+b-816+40-(577b*149c+x+681)))-b+462*221*567d*566b-263y-458a+z-395*e-76-75b-676t-z+427*994-490b-195z)+105-852*39b*226t-718b-378t*74y*475y*(232d-426c*430b*951a+e-856-t-765+993d+369c*93t*558y*789t*585x-(348a+585x*674t*197e+z-779*358t*258a-(482d-623c+541d+728t*364c*193y)))
f20(a,b,c,d,e)=253d*881d*632b-348c-453c*e+406-909e-809c*524a*610e+(832c+713a+431-585e-931e*677b*640b*(305e*804e*774a*985c)*783)*a-830*663b*281b+159a+536c-192b-561e*120+859*(641e*452b-549)+181a+531b*a-609*(377d*851e-e-701)
f21(a,b,c)=153a*785a*561a-59b-592b*85+(375a*225b-286a-161c+946c+866a*93b*451c+b+337)-774b-813a+278a+892b*689*946a*3a*277b*470c-a+60+761c+49c-213a-963c+206a+785a*650a*692a+464b+977a*(106b*165a-431b-419c)*a+46+182b+882c+b-141+172b+704c+220c+549c+c-455+(552c-784c*254*(418a-910a)-356+398*118-b+229*950c*934a+c+299*690c*367b+789-(162b+83b+335+720c+454b+387c+791a))
f22(a,b,c,d,e,x,y,z,t)=404c*947c*55t*843z*791t-438b-328z-(378e-501b-(474a+229c+175d+568d-(419a*380b+508t+314d)))
f23(a,b,c)=699c*552b*304a+(604b-117c-684a-30b*655a*268a-127b-79b-499*(50a*596b-552a-288a)+(938b-826a)-475c-639a-(127a+48b+(868c-419a*438c*492a)*b-703+874c+541c-912a-857a-256a-278a+607b+43b)-902b-973b+772+(740a*632a*a-677-742a-996c+b-799*(700c*948a+(639a+896a*657*c+88*799b*855b+c+424+a-834-841a-412c-c-379-842b-552c*(357a*508a*(142a+28b+861a+51b*c+531*a-35*a+386*917c*800b*294b*536c+534)-(681c-589b))-c-959-a+543*a+125-(150b-683c)-(55a*213b*139+a-991-168c-83a*378c*577c)-(659b+989b)+235-(602a-967b+b+490-902a-546b+753c+869c)*207b*790c-645c-855a)+435a+644b-(721a-622b+965*702a*137b+343c+16c+13b+415a-688*858-(578a*199c)))))
f24(a)=42a+(213a-907a-477a-184a)*a-334+a+852*976a*360a-a-271-578a-571a
f25(a,b,c,d,e,x,y,z,t,u,v,k)=268x-(143k-770a-885k-220a*c-916-u-370*178e*183k-(851e-427c+(236u-121a-561a-231v)+311b+712y-k+506+(793e-327v+442*907+66y+380u*621)))
f26(a,b,c,d,e,x,y,z,t,u,v,k,m)=567u-57e-264k+706-33b-46u+(753z*171b+944e+408k*483-(715a-978a*267d*399b+246+(343m*258e-(427k-343b))))
f27(a,b,c)=859b*801c*869a+135a+134c+c+971+b-164-140a-25c+349c+460b+(360a-664c-232a-39b-113)-516*322-(476b+477b)*12+618a+609a*494b*579a*635b*258a*c+873*c+491-710b-558c*527c*852b+263+1000-910a-783a+(281c-542b-944-310b-454a+833+532a+770a)-794c-306a+69c+663a+242c+324b-a-674-762b-420c-(956b*353b+c+78)*426a*5c-329b-25b+565c+950c-(512c*467b-b-181-b-209+971b+55c+162*(78b*755a-a+85+c+715+332a+397a+432c+629a))
f28(a,b,c,d,e,x,y)=752e+d-309*(256y*586x-211d-693e)
f29(a,b,c,d,e)=133e+(128b*965e+b+447*686e*334b)
f30(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=92u-x-832-822m-919z+818e+835d-547n-676k+n-228*448k*546k-31*778b*832m-468e-272z*617n*784u-63a-220n-n-389+245m+716t+z-444-911z-230a*198n*978t+26*m+774-655c-232t*506m*792a+235d+772b+(520m+317d+t+681+(947k*954k*236e*846k+5+c-297-33y-384u*197k*200c+182k+893z*e+433+448y+50k*430-580t-590b+974v+855k-54m-820x+64m+327v+929x+476t*877d*650a+759x+225b)+321b+856e+261c+843n+259u+140a+(564b-233y-235y-68e*644x*936t*z+756*309y*312z+(261v+32a)*67+461a+871v+867a+88y*(715v*179v)*86*164*547n*683x-749k-493z*298a*674u*(62x+184v*z-869-u-750-432+(533a-982z+878b+740u-153a-564n))))
f31(a,b,c,d,e,x,y,z,t,u,v)=653a*270-904z-917t-t+232-(213v*443u+(682t+245x-940t-107t*719-260d-84x*(564a+212y)-629x-85a+419+356*868u*254d*324u*152a*x-577-(140u+242a)*419v*897a-289b-462d*715e*601u-753z-383x*910x*666u-15-905*23a*352d*992c*884t-950v-768x+39-d+681-251t-924a+(522c-832e*255y*572u-(440d*131d+d-255*u+967+808e+513u*415u*858t-(452y+190c*400b*961v*907a*656c-b-351)-863y-990v-199x-915z+(140v+238t-382+933*654d*927x*277c*488v+(121a+629v)))))-603v-350d)
f32(a,b,c,d,e,x,y,z,t,u,v,k)=256d+592-148*654v*215z-(311a-953v*172k*345k)+365y+761k-141*(236u*311v-(651y+961v+862+941*(327d-513z+307z+632e)-775a-530e*407v*171u)+(420b-208c-660e-439d)+23d+869c-679a-454y-(211k+733b)*z+423+105x+930b)+202+u-265*714v*447k+683a+742z-e-778-882+704y+805k-v-75*(823b+270e*(55e*275t-592)+718t+631t*z-440*(514x-337y-995))
f33(a,b,c,d,e,x,y,z)=402d+676e+473b-164+345b+285d*221y*19c-(280c+903b+e-650+371e+901c-y-857+e-470-(488c+371c+(105z*353d+d+383)+1000-856)+348d+125e+964y+399y-300e-937c)+(277d+881b-680y-81d-288y-764c*240y*133d-(538x-814y+208z+575e-353e-572b+(866z*153x)-784+44c+567x*132d*41b-a+85)+801y+724e)+(349e-893z-29a-994y)
f34(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=466v-391*330*620*344+884k+511e*(477b-505k*872n*470x-200u-978a*966n*413b-n-311-870c-763z-240y-576z-126v-233t-407n-588t)
f35(a,b,c,d,e,x,y,z,t,u,v,k)=702v+33b+978d-288x-704a*301c*860e*(922z+705y+c-269+11)+519*z-439-622+(731b*318c)*491x*176c+942v+287u+478c+104d*v+521*881b*333a+198d+894z-c+715+363a+925k*(231a+665d+538b+613c+913c+556z+(467v-350a)*(336e*815c*45c*129x*(599v*629e*(908t+798y+212*628-45*c-385*x+857*330-85x-259k)-494k-674k+494+668*v+396+914d+188z-z-607*347a*812e-305d-940k*806+825*355y*237c+502u+465e-832+300-(464u*768e*(32z-861b+248t+595k-t-689))-k+972*435-505y-611v*x-854)+688+(906d+969k-478y-786u*b-544-545x-934y*927e*304z-641z-7z+v+232+314x+852c*(207k*750v+(460z+738k*869y*576t+500z+972u+k+617+991y+225x*651)))))
f36(a,b,c,d,e,x,y,z,t,u,v)=850u
f37(a,b,c,d,e,x)=374d-d+46+140d+164b-a-687*832c*791c+d+634*(10a*75a*716b*376a+924*x+297-540c-849e*833x*353x*e+745+324c+437e-c+55-880c-660b-366d-741e+(399e-216d-361x-883e*779e*959a-x+76+(735e*453b*19e*287a*534b*42d*935b*309b-709x-205c-(596b*582e*233c*685b+(910c+795d*818d*695a)-520+611c+436b*(849e-703c-387b-503d*428)+457+234b+393c-849-408d-599c)*876c*501d)))
f38(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=364b*15-495y-915x*770*(33t*793z*(688v+723n*(159y+459b*186t*53m)-952n-903n+z+80-b+739)+(241k+957k+880m+812u*264y*947y*(800b+571b*812z*289d-880n-780u-948u-506m-(384e-647v)-929*968c*936n*747y*271u*t+621+264b+142u+z+894+974-k-617+296+829k+627b-(652a+640k*(309t+528t*e-528)-323x-33y-(585x+954n-957n-596x)))))
f39(a,b,c,d,e,x,y,z,t)=729y*620y*226y-(866c+229c-3+2d+938y-a+3)*114a*877d-(479a*875c-798x-50a-663a-367e+657t+932z-132z-468b*(156z*4t)-78c-428e-830e-620a-(212z-949x+471+720z+288t-(195c-786a+(999b+180y-24a-379b+725b+551c+373y+858c+359c+189t)*e+749+508e+798b*173t*588e+x-107)*348z*409x-493y-552y*(809x+427b-(18z+819z+(322c*428z*127d*438z*931c*722a-y-8))-635t-941t+x+920-290c-221b+405*t-635+d+457))+(537t*272x*149+853d+388t-916d-161e+199y+362c+d+969+601a+639x*910a*87d*627-z-430*940e*297z+10z+895e)-499-e-859*(945a*720a-234x-773t-b+202-(399b*147x)-t+493+883a+840b)*559y*144e*159t*380d)
f40(a,b,c,d,e)=436c*a+451+473c+119c+192-206d-620b-(260d+418a)-493c-587e+4*606c*121d-962e-329d*279c*412a+56+793c+552e*44d*299a+823a+420c*540c*242c*922a*240b+(402e-746b)-c-961*402c*540c-644b-64b-158b-599b+e+330-240c-96a+e-70-204-117*76c*613d-123e-491d-795c-730d-(622d*954c-e-582+(946b*373d*716e*529b*(798b*879b+535)*e+231+(812a*109b*737-900a-969b*611*a+459+711*203b*994c*597-705-501e-852a*b-218+212e+378e+d+250))+588a+634e-923c-668c-241*(981c+551e-35d-267b+62b+198d+694c+734b-697a-332d-461c-230b*565*(596b+4c-952e-982e+700c+60c-129-(493b*117c))))
f41(a,b,c,d,e,x,y,z,t,u)=255x-891d-357u+151*809x*449d*881y*492u*640d*813u-506a-407u*y+705+(695y-845e+812e+378z-254a-845d)+(271t*712e+(239a-944b+260+x+646+835+530x+752e*253+e+243*78c*67e*920y*765t*599y*270x-u-427*27b*484y*e-813+597b+719e+847e+273c+995c+761x-161*404u*234u*69x*366a+405e+138a-857x-544e+168y+118d*231u*789t+726e+581b-783b-800z+51c+969t+397+982a+573t*662+143+785+745e+277t)*440y*453u+773u+456t*u-300-47b-354x-(34d+1000a*628a*496z+142b+261c*291z*775z-(296e-342z*839a*859e)*t-203*(191u+982b+546b+370c)+487*u+659+520y+242z*(768z*866b+87b+543z*b+113)))
f42(a,b,c,d,e,x,y,z,t,u,v,k,m)=103c*398u*755y-511-(679k+50d+611c+526d*298+510d+838k-558x-261c*669d*903t+b-219)+125v+926u*783k*554y*415u*526e+83k+964k
f43(a,b,c,d,e,x,y,z,t,u)=615x*d-115+a+429-(826z*731y-y-368+(465x-838t)*(405x*871u-(436d-755t))-115c-876d-244e-807u-44y-521y+856b+276c*565z*525b+882z+209u-940x-106e+565u+456a*766+(13e*16c-889y-79d))
f44(a,b,c)=647a-(342a+799c*67+86a+465b)-(328c*680c+949c+236c+234a+158c+648b+842c-370)*845b*508b+649*867c*761c-348b-464c*(242b*929a*(876b-517a-10b-31b)-359c-570b-(818c*399b*993c*779b+350b+524a))
f45(a,b,c,d)=839a-28b-136c*d-574-468b-944b+455b+115a*(934b*223c)+d+199-609a-742d+(641b-585c*977+623c+671d+310b+38d*209d*849c-642c-513c*299b*595d*179c*795a*191+(746d+875a+417b+200a-280c-635a)*b-643+a+280*822+911c+566d*d-727)+347c+437a*(920b+102d-165d-350a+b-150)-682b-464c*683a*803b+54+155*d+969-208*971a*269c+861+545a+299a*a-219*678a*368a*450b*951b-796b-304c*605c*654a-305b-277d-881c-321b+998b+242b*c-792-16a-825b+(784d-942d+(863a*62a*288b*393a+929c+834d)-806+113c+70a+b+164-379-601d-48c)
f46(a)=683a-612a-969a-315a-301a+370a+511a*389a*116a*788-(79a*761a+760-102a-359a)-183*694*709a*916a*319a*409a+a+952*211a*128a*909a*248a*(997a-42a*881-448a-416a*47-a-955)*a+104+249+684a+512a*a-138-395a-495a-696a-94a*470a*595a+429a+819a*(287a+670a)+255a+43a*361a*4a*(439a-33a*a+413*266+(768a*151a-446-806*a+952*282a*402a+996a+662a)*25a*37a*(647a*962a+586a+587a+a-188*459)+722*357*100a*903a-549a-686a)+448a+734a-a+179*(637a*432a+365a+225a*486+28a+255a*402a*696a)-126a-374a-940-a+328*a-30+19a+572a+a-919-333a-287a
f47(a,b,c,d,e,x,y,z,t,u,v,k)=116z+65t+605k+44y+815v-845x-183t+808v+832b+643-930-872*b+710-838e-855t-(497t-749a)-825t-539y*z+240*837-22t-342d
f48(a,b,c,d,e,x)=864d-d-812*a+726-379a-111b*788+811*d-820-276e-120c*663+736e+20b-b-482*(183e+721b)-c+754*788-534+(443d+814c-185d-966b)-(975d*948c*c+634+674x+464a)-643c-796c*990*266e*467d+532c+938c+e-345-(118b-424x+524x+81c+423d+881e*x-322*307a*408d)
f49(a,b)=205b-b-339-505b-977b-765a-418a-(186b-507b)*58b*893b-759*a-328-529a-304b*a+363*790+141+932b+422a+289a+205b+416a+358b*32a*318b*756b*629a-418a-920a+574b+222a*89*119-374b-738b*318+260a+752b-581a-368a*72a*873a+249-431b-12a+b-384*(53b+478b*(252b+104b-(160a+502b*284a*26b*(263a-201b-b+143-363a-810b+745b+958a*236b*565b*(627a-388b-96*434a*20b-840b-808a-a-967*943b*111b-(852b*673b)+406b+288a*307b*50b*857b*173a*831-304a-163b-(321b+842b-247b-434a)*129+20a+384b))+384b+209b*723a*724a-(128a*274a)*a+53-425-772b-515a*898b*785a)-675b-596b+882+4+(915a*320a*(107b+622b)*727a*888a)))
f50(a,b,c,d,e,x,y,z,t,u,v,k)=362a+655*(2z-407b+(445d-540y)*(789e-868k*t+439*533a*587t-z-346-357t-522d*61u*245y)*(723k*719t)-767y-514z-254d-488a)+85+249z+511x-y-484+162*z-443+930+830t+837b-22b-778x*(629b+636x-380b-654v)-50y-95z-773b-500x-431+d+258*y+533*282z*369v+x+854*345*u+96+467b+914a-182x-79v-(963d-226z+c+309*v+802)-(701a+579c+468-798b-592d*779c*437u-355e-106z+x-626)-k-914-(780t*920x)+157e+395a*d-355-(531z-156y*898)+691y+913c*184z*367u+686+467k+739b+(782k*419y)+y+484*850k*775y*342e*329a+b-82-(286z*68v*838x*55a+585z+807e)
f51(a)=931a-272a-518a-884a-643a-(250a+669a-506a-795a)*996*94a*169a-959-a+259-(700a-315a-933-(251a-560a+653a+337a-128a-407a)+812a+405a+a-590+806a+860a+915a+685a*689a*794a+a+603-(415a-115a*163a*286a)*(918a-207a*(713a-609a+368a+37a-(820a+175a+(867a*378a-13a-964a*979a*864a+262a+77a+(542a+75a+a-874+796a+554a+517a+527a+391a+108a-536a-168a))+a+519-(393a+995a-a+613+412a+676a+31a+7a*872a*53a*14a*41a*785a*879a-741-353+607a+97a-a-54*417a*840a+41-777*7*(286a-481a-a-443)+755a+404a+820a+614a+a-783+789+695a+130a+472)))))
f52(a,b,c,d,e,x,y,z,t,u,v)=991c*(894x-787u+168t+24u+813d+720z+(861z-342v*511x*183x-360*567c*504b*(873z*978y+x-522-v+523+(385b-524a)-433*138+743e+763u+(495e*168t-(597v*223t*(957e+823x-u+393*167c*579z*c+398+720u+418e-992y-899v*207d*94d-195x-925d*e+22*672)-(810u-227a-(350a-811z)-211*135+578*(600u*623z)*650c*199t+u-680-e-293*(94t*514e+422d+549a-(363u+364b+592e+252y*705-710c-197x+a-156+883b+260d+439y+165v+528a+983e*586t*568c*472x*592z*959+(114a-42y+995+(888y+246v))+513y+414e)*6*c+665)*822-(666u-673a-560c-540v+85e+451y*192)*397*61+(101d*946v+900y+477v)))))))
f53(a,b,c,d,e,x,y,z)=372c+304-658z-937a*81y*431d*a+839-240e-260d-(323z*694c-854b-346y)*c-694*253y*620y*(616b*875e-319+515e+869z*671a*80z)+108*107a*841x*y-599*a-200+c-527*461d*175d*x+207*(399e-382c+(499z+694y+208a+297x-715e-980x-424c-375e*428)-c+386-396d-197z*3d*489d)-251y-755x+462e+623d-z-717*419z*570e+966z+289e-291z-162x*736z*874b*y-651
f54(a,b,c,d,e,x)=124a-841c-921d-c-428*d+6-c+177-(538x*356e)+(425b+853a*(432c-502c+945d+262e*195c*305c-c+842*(365a-582b+587x+36b-200e-71e+b-742)*398c*391a-269c-533e+514+(230d*265x)-282c-889e+223d+158a+(765a+992c*(561x-427x*656c*204b-88-977*690a*759c*x+893*112c*247b))-789d-676x)-810*a+483-452c-922c*108+472a+621x)*636d*981c*8x*172a-a+684*886a*855b-b+728*530e*546d-(294x+217d-(642b*61b+346a+864e*986)-(429d*840d+619b+286a*(66e+707x+119a+321a-537e-21a-722b-948e+x+64-(350x-556a*321d*645d*437d*774x-790b-966b-e-233+41e+578b-(420e-904c+(115c-904x*(330d+295c*(553x+67b+996b+723x)+107x+230x+314+951a+768c)))))))
f55(a,b)=87a-61b-102a*520b*119a-194b-405a-b+35*522a*532b*488b*831b-501b-721b+627-441b-708a+(45a*79a*55b*792a*467a*533b)
f56(a)=502a-10a-463a-a+451+(496a+926a)
f57(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=406y*333a*249n-a+710+960k+535c-645*822d*23b+a+362-78*678d*450m-812a-500m*34m*512y-108-871t-224v*458u*800b*703*459n*703e*k-646-332v-725e-n-315-45y-969u-729d-572e+b+792*y-649-721y-128d*a-978-82-981c-939k*(196c+834e+786n+439e*842c*810x*(633d+611v-629-919-200u-522n-c+492-847b-365y*526k*510x*986a*604x-534*(805u*584b-(98v-590k-959x-253e+v-255+c+233-(776c-998v+(913m-661e-472m-738a*n-396+254a+853k*377*317*209n*265a-822y-465k+936u+654v*z+65+460x+440z)-652d-440t)-660-m+831*355e*749a*k-514-625n-327e))-(432t+827t-839y-854y-684a-175z*887x*303z-(658x-336z+38v+753u-u-867-770x-861u+(116c*3z)))))
f58(a,b,c)=653c+520a+263c*652c*20a-913a-894a*483a*276b*(953b*222c-149b-580c+414-218b-847b+(529c+864b-113-c-952)-(488a+419c+b+834+982c+95c+(817b-516a+42-470b-635c)+319a+541a-606+342*792c*686c+c-370*(886c-356b+(905b+201b*(680a-23b+166b+636b+490a+558a+96-a-797)+(176a*600a-630c-651a)-862a-807a+(829a-300b+292c+410a*829b*279c-(590b+948b-(855c*13c)+(687b*482a)*1000a*534b-(980c-921b)-958a-125a+177+721b+861a)+289)+c-819-(151c*71a)-233+96c+797a+517c+77b*462c*907b+546c+91a-b-569*327c*932b)+353b+495b-c+638*498a*126b-23a-833a*641c*931a)))
f59(a,b,c,d,e,x)=844c+64e+219d-768*442b*74c-b+671+450c+899d*d-156*(80x+650d*195e*826c)-346+201*55*(198d-253a-503a-646c+295x+4d-830x-222b+919a+263b+390+730*803a*19e*873e*239c+885x+624x+203*237d*648e-429a-501e-(252x*630d-e+164+393e+605b))*977x*761x-311d-972c*142c*407c-d-875*948c*463b+511d+111b+635x+889e+79a+977b-(543c+287a+b+959)
f60(a)=773a*442-270a-356a*a+862
f61(a,b,c,d,e,x,y)=941b+971y+687b*767+c+882*415d*265y+(917c*473x-5c-228b*550a*942b*992c*229d+216a+385b-d+870-202c-125a-b+343*109x*318e+745+96+579+389b+921a*143y*666c+691b+407d*750e*571b+x-69*39x*538y*(353d*821x*c+630)+519-695-131b-332x+a+268+869y+617x*641a*727e-778c-10c*46d*232x+665+922y+193x)-293d-318y*891y*734b*892c*906x+(915a-499d)*c+552+461+586*391y*533b+c+182*422y*251d-(933x+903a+(744a+69d+(742c+182x*399y*295c-500x-760y+762)+(644y-387x)*(939a*172a)))
f62(a,b)=576a*222b*946b*496*(272a+267a+653a+236a+175a+642b+444b+420b-a-715-265-391b-32a-298a-106a+113*144*565b*644b*873-b+267-379a-686b+946a+707a*766-474b-633a-549b-519a)+555a+159b*406a*804a+861a+527a-(280b+753a)
f63(a,b,c,d,e,x,y,z)=933z*451b*39z+x-622*(524b-436x-962e-557z)*d+30-y+263*392b*798x*756a*294x*(715x+895c*196*269x*664z+y+555)-708z-321y*y-882-948*602c*328b*(893a+556z*(286z-201d)+(324b*42a*(784e*737y*995b*200y-b-76+423c+99y+(239b+336a*b-47-(784d*778e+664y+48a)+450x+21e+460+172y+842d+(85z-450c)))))
f64(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=795y*374k*865t+632+712x+296b
f65(a,b,c,d,e,x)=381x+904b+99a*898b*265e*411b*140x-797c-441a*b-116-269c-48d+x+405*794-431c-321a+675a+458c*935-(402c*670x*933x*782a+(257e-402c*88c*999e+805x+570d-940*609x*918a-a-666))+818x+761a*750a*814d*257b*191d+c-7-18e-55x-567d-705e-334b-795e+236d+855a*(399e*796e*154e*972d-(989b-748b)-x-441)*29b*425a-235c-348e-738a-584b+725b+590e-959e-783x+253d+320a-247x-535a*922-668-635b-461c+(552c+510e)
f66(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=246x+917k+406v+(273c+546b*213u*225z+503e+334x+(563c+402n)-549t-767m)-a+962+526+568b+544k+(475k-390k*v-152*b-639-407)*368t*523a-442b-213d+n+79-(221z*372x+642a+650a-56k-800a-(20d*739z-329*301t*99n+121*972+36v+869x)-927m-403d+e-513*z+79+545e+885a-k-977*981a*882b*158n*522b+136z+356c+276)-(940k*825u-829e-731a*m+898-a-317-539u-763n-316y-821v+761x+324v+109e+933d-(902b+800x+810a+622y*(331u*646a-40a-810y)-(407y*598u+t+650*812*380-19c-218n+104m+100c*376+199x+362z+793d+582d*553-394m-680u-188+297c+906u*336b*558t-756a-265m+n-854)*874*277y*609e)+251*567x*92b*965-809*y-412)*v-522+(426t-28x+631x+798u)
f67(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=73k*222b*175c*558d*316d+428-891m-263t+(239c-556z-669k-522m-n+377)
f49(480,224)-f46(539)-f22(470,728,487,39,342,801,176,335,391)
