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