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