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