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