27
f1(a,b,c)=275b+65a+527a*a-533+(499b+385c)
f2(a,b,c,d,e,x,y)=895y*(243b-765e-765-671-(23x+907c*(922y-658e-610a-568e+y+926+(531a*662a+(395y-302b+921-(930a+891x+1000c+600c-471*408e*935y*896y*939d-592c-542x)*831d*614d)-916-443c-832b+a+591)+486d+278e-(134b+878b+551c+571a+382+a-824)+(951b-290c)+909a+139x+178x+676x-201y-640x-373b-533y)-415x-610d+358+750e+97y-490e-296y*a-310*858a*296d+602*727)*964x*746b*(896c-737y+496d+831x-350+830y+387e)+983d+715x*422*71*128-166e-706d-y-28-e-547-535+556e+469c-242y-164b+791+757e+572d*108c*404c+564y+784d*y+26-77x-579b)*333b*334c*325+10b+772e-769x-788c+449d+786e+133+54y+135y*610x*533d
f3(a,b,c,d,e,x,y,z,t,u)=295y*e+668+116-(525y+9t*64+(177y-864t*47e*189c-600c-37a-u+541+21y+337u*399b*981x+157b+97b*991a*347a*(131y+821x*e+680)))
f4(a,b,c,d,e,x,y)=16a+(437x*276x)
f5(a,b,c,d,e)=638e+(563b+311b-447d-678c)+110b+739d+984a+453a-c-786-55b-837b-(826c-156d*833d*753b*424e*315b-d-862+e+371+840d+148a+685+480d+615d-367e-288b*(603d+869c*(392e-762c+673e+2a+686d+88d-d+473-d+649+(869a*437e+492c+61a*345b*920d)*393c*975a)*d+959+(542c+269a*47*973b*458b*(149c+289a+615a+646d))))
f6(a,b,c,d,e,x,y,z)=419b*343y*304z-e+177-203c-542z-737d-897c+(143b+788z+970b+38d-c+47+x-23-(564y*652b*359e*947e+691z+814x-(491e*399y-d+74+238b+834a*487e*250d-606x-367d+a-966-320b-869x*867+(940e*493x*d+206-827c-93a+550-867-617e-602y*(905z+844e-689b-264e-b+402-945b-970e*833x*361x*421y*365a*497*464e*234z-849d-739z*591a*713z-682d-616b)+(392e*108x+(14c+642d-639e-194b+z+607*198z*859x+x-963*885x*759z+b+117)+890+789-804a-487c)))))
f7(a,b,c,d,e,x,y,z,t,u,v)=221x*792z*919a+y+900+69c+209c+98x+608c-103z-773d-96+136c+536u-690t-609u*86c*877e-(391z+629x)+46x+599v-(945d-832b+521t+710c)-601e-798d*149y*389c+827d+322v+354c+990d
f8(a,b,c)=482a+(380b+913c+(434b+934a+40c+903a-576a-260a*601b*473a-(865a-580b*568a*173a)-c-677+938b+988a+599c+477b*57+117a+547b+(123c-295c*(760a-788c*34c*189c-334c-796b)+191b+477b+(565a-87b+665b+37c*(664a-662a)*b-894*437)+101-90a-623b*a+287+b+941+521b+47b*67b*175a+a+488))+807a+105b*639)-374c-556b-1000b-409b+a-439-b+809-(967b+268c*906b*187c*945b*857b+631-(926b*717c*c+266*a+744+516b+83a-896a-7c*51*902b*482b-198b-963b-473a-746c*(45c+46b+a+278*412b*902c)*c+997-337+509b+14c+a-773-(965b*155a*918a*537a-999b-781a)))
f9(a,b,c,d,e,x,y,z,t,u,v,k)=110z+821+23k+985b-235d-545k+610-968z-796y+886v+219u+681e+595v+415b+672c-529v-352a-(49a*660d)+b-156+523t+559y-505e-710c-381t-807e*t+672+z-446-486y-854t+376t+949b-838b-75y*920a*883b+y+948+659y+683e+(512a-280a*812t*291x)+c+557*k-614-(624e*728e-x+563-d+123*(176v*851e)*469x*530x*u+713-798e-997z)*515k*340x*(559x-88d+y-302+942d+136v+848y+968d*919x*380a-978-885y-362y-770)*705u*608b-743d-839u-158e-821z-(213d*190c)
f10(a,b,c)=748b*197c*106b*c+807+274-568c-457c*885c*467b+88b+71a*678-367a-75a
f11(a)=624a-733a-20a*115a*361a*(200a*287a+a-262-(145a-305a*(433a+452a)-572a-651a)+a-39+(446a-822a)-925a-312a*(886a*616a-(245a*379a+308a+749a+986+367a+388a)*(734a-619a*235a*55a+311)*21a*635a*(314a+681a*(431a-165a+783a+258a*312a*740a)*(825a+945a+a+643))-987a-287a-953a-857a*(873a*407a-422a-939a+636+563-(294a-704a))))
f12(a,b,c,d,e,x,y,z,t,u)=634u+707+419y+770e*629z*392z+e-254-570x-812e-375t-412u+45a+183a+52t+404c+801*u-875+(871b*34z*760z*958t-355a-222e+625d+294t*(950u*21e+305e+675y*842u*17z-935z-869x+912z+996t*301d*673t-974u-672d*(651u+177t+89e+121t*818u*67a*966y*691t-137a-307a)))-501b-778b-306u-706x*505-348x-973t*938y*120y-(939d*73a+d+681)*c-331*588y*300e*868b*499x*925a*579d*26z*406t*289c*519x+(962b+292d*880c*652a*503u*46x-756)+(366a+556t-976+282y+974u)*(460b-900b*t+55)
f13(a)=485a-851a-841a-95a-397a-(175a+23a-234*407a*462a)
f14(a,b,c)=386b+738b+555a+312b+458c+658c+835c*100b*831c-416a-307a-a+209-946*926c*49a+b+558+907c+466a*289a*854c-b+325+(47b*292b*548c*251b+(688a-946c)*287b*69c+a+527*860c*23b+(255c-693b-378b-217c)+888-106a-288b*674c*461c*672c*542b*207a*97c*143c*565a)-a-484+(273a*401b-214c-174b+(421c-212b-(78b-49a)*430c*480b+c-505*18b*75c-910a-23c*586b*869b*946-a+394)-721b-38b+898-c+564-779b-982b-313a-858c*155b*597a)+819a+660c*487c*271b+856b+16c+(501b+223b*a+739*361-21+436a+684c)
f15(a,b,c,d)=635b+181-71+(171d*73a-275c-3d)*d+433+460c+659b*824c*522a-b-597-225a-134d-(67c+107c*883c*654b-312d-246d-(844b-622c*571c*644c*590-304+584b+960b)*807a*628b+115d+777b*43d*379b*(810d*517a)*688a*577b-b-200+466+78a+56d*(23c+876c+c-408*447)-852b-254a+(387a+18b*a+874*d-683+541b+851d))-348b-695b-c-636*117a*175a*b-337-c+190*489*(887a-601d)-a+736-123+d+793+786a+202b*564*497b*306c
f16(a,b,c,d,e,x,y,z,t,u)=507x*447d*491c+363e+508b-883a-509b+357d+374c-289b-471b
f17(a,b,c,d,e,x,y,z,t)=548c-520*711z*631x-699t-348b+95e+498x*460*902+414b+442a-(816b*152z-814-b-390*305)*535y*208t-t+261+765a+429b+t+713+621*(465t-806b+a-427-(649t+614b*42c*940d)-685b-803d)*512d*43x+b+617*b-759+647y+564d*792d*385b+34x+1000b+e+316-946x-381e+491y+650z+296e+633z+776b+472d+(720e+847d-e-932+664-506+106)*266-y+635-878-768*126a*529a
f18(a,b,c,d)=313b-144d-334d-791d-640d+c-39-429b-599c-719d-208c-(917b+744b*429a*188d*(791a+525b*246b*445a)-915d-735a+b-306*459c*819d*359c*342a-810b-477c*75d*230c)*(491a+530b)*(549a+83c*d-586*a-563)*483+(873b+414c+(646d+194a*629c*46a)-(467a*920c-603c-528b)+c-134*836c*660d)-952c-546d+603b+178c*(958d-600d+611d+768a*253a*984c+851c+696d-249-322c-119c*d+129*(360a+991d+491a+345c+397a+905a*54-c+102*532b*525b))
f19(a,b,c,d,e,x,y,z)=504e-75c-588c-d-602+404c+268z*322d*756z-a-734-(740a-104a-163d-383z-y-634+554e+273x+a-38)-(395e-772y*524c*787y*(253c*300d+854z+346c*86d*499c+(341b-633c+(236a-22y-520c-52y)*755*522x*987y*837a*372e-y+424+908c+172d-269-772z-6a-182d-236y*e+411+(695a-117e+504z+803c+d-90+(96y+277b+331b+390y)*(278x+646b-790a-151a-(131x*221d-668b-133z)*e+616))+228e+348a+618y+518z+(433a*882e-433z-26e-957a-896a-431*560b*485c*877+d+64)-310+(742c*11b+(561a-424z)*120+(954x+305a*720e*192d*(79z*243b))))))
f20(a,b,c,d,e,x,y,z)=236y-422x-698a+z+421-352a-107z+351y+148a+z-172*499x*740a+214b+569b-z-608*713b*711a+d-438-c-23*762x*604c*205c*204z-360b-481x*236*33-x+503*80x*372d*569z*913d+y-46+251y+888z-12b-802d+786a+111z-e+378*817*(813y-704d-954c-868a-(444d+839b+703a+878x*43a*184x*(561b*736x+955b+173e*y-49+(887d-942d)+d+10)+362b+519x-685a-835x-920c-225x-273z-386z)-y-863)-764+909x+184e-280y-135d-(476d-101c+612x+428z)+877*807x*921x+a-942*266a*893c+840+x+848+146d+172z
f21(a,b,c,d)=582a*139d*429a-448-66c-639d-(203b+672d+921b+106d)*b+20*(448a-548a-294b-93a)-386d-823a+c+280-(532d+365d-689c-343b-242b-377d*820-43a-158a)*19d*211b-a+193-(89b+783c)*388d*912b-83a-235c-d-470+(119c-652a-779-486d-452a-828d-98c*(173b+811c+373+686a+618d-269d-709a)+7b+181c*8b*161b+(270d-432c+(3c*95a)+389b+283b+12d+69d*484c*683d-846b-917a-(243c-245b-(102b-490c)*902c*314b*(453a*449a-217*73a*426d-(237c-690d+451+(352c-674a+478a+363b)*524b*819d+c-618+b-878-659d-182d+(534d*171b*533c*773a*774d*986c*c-979*(458a-116d*407c*335a-(111c*996b-164c-18c*61b*424c*402b*518c+56c+766c+876a+25b*488d*714c)+998d+624a+b-614)))))))
f22(a,b,c,d,e,x)=308a+(146b-920b+(77b-916c*(296e*259b*457x*536c+e-848*977x*413d+538+541c+617b-655a-202e*812a*254c*141e*546d))-802+121c+355c+773)+580c+622d*625c*782a*172x*804c*714d*883x+(543x*127b*687*103*967c*242a+136x+959e+762b+472e+354c+964b*956e*621e-224c-678e*295a*50e*b-917*b-142-(847x-525b))
f23(a,b,c,d,e,x,y,z,t)=275t*(603a-228t+773*235y*739e+409c+944a+621b+547b-201y-856a+a+359-880z-207d-(95x-950e*(345y+966t-d+845+(542y-194x*d-934*976e*10y))-162z-314x-183d-355e-24)*z-319+359e+600b*927y*244y*(907e+572t+755c+892z-442y-745c+285z+615x)+(526c-901y*(542y*654y+191a+273c*649t*336a*(382x-661e)+(597a-132x+673a+14e+135z+388z-(408e-505e+886a+835y-490d-721b)-570e-152d+z+299-705+931z+25t+664y+206z-b+541-(26d+78t*66x*673a-164x-670t)*333t*453a*(934b-903y-945c-30e+107e+258e-e-445*99x*305a)-a-396))))
f24(a,b,c,d)=508a-160a-988a+845c+10b+123c+439d+(298d+232d+(152d+870b+842d+385b+a-924*633b*157c*708a*995a*588*3b*755b+(175a+819a)*c+734*c+331*552c*112d+171c+418a+b-148-d-360-843b-248c*232c*785d+(627d*534b)+631c+488b*(653d+321a-568-513b-777d)))
f25(a,b,c,d,e,x,y,z,t)=171b-c-34+t+531+449y+771x+e-822*965t*902b*997a*88t+605a+331t+254z+938x-775+307a+845b-527*x-102-x+139+879a+9x+(268b*394a*d-38*834e*282e)+688z+124y+868y+216y+a+849-(595t+787c+176z+445d+(791x*957z-525-622-949t-658t+(23c*448y*(312c+37b+(168z+177y*701c*371c)+939+c+277-961y-146d-(874c+610x*268t*615t+t-340*817a*640e-e+80-577-609c-671t+(362a*492x*202)-677-x+956)-z+964-y+953+x-40-201z-38e)+(22t+131e*d+867-53b-501x+487y+454y+(997x*572e-(755x-443d-799e-641b+b+41*612d*337e-294e-115x)-213b-418z+(337e+540e))))))
f26(a,b,c,d,e,x,y,z,t)=241y+239a+783c*634c*758z-228b-712x*276e*651a
f27(a,b,c,d,e,x,y,z,t,u,v,k)=228t+119b+421v-745a-584v-512v-849e*501-832t-535a+b+4+57c+148t*170d*221y*132+u-59+559+651d+951v*727k*406v+462e+574c*(158a+609y+961)+(774x+190k-492u-951c*356a*651x)-185-969t-195u*a-523*648z*48u-681-571c-792x-(95c-906v+(27t+814x*(12u+660e*483+(698k+841x)))-(250y+476x*279v*763u*y+785-t+588*334v*997x*808*710c*697a+524u+180b-294v-578c)*204v*575k+514t+344a-528*c-191+(745x+276y-569t-937d*543-901x-321b-(838v+718t)+809v+771d+(141y*500v*437x*668b*330b*6c-18-786b-334c)+860-246c-871x*941b*519z*549y*787z*t-524+140*(474z-555b*406c*376k-204e-858c*v-21)))
f15(469,275,83,344)+f19(484,163,174,309,130,984,863,63)+f16(620,242,29,247,510,233,815,719,307,110)+(f5(973,726,804,794,352)*f22(354,415,324,516,940,632)+f17(494,708,577,113,301,957,712,162,541)+f1(880,199,988))+f8(157,205,885)+f6(556,122,790,909,888,114,777,180)-383*(f10(644,175,430)-f2(909,64,514,113,949,815,20)+f2(281,662,70,57,841,166,830)+f21(756,310,29,163)-280+f21(275,912,732,257)+f25(640,321,783,104,621,949,475,394,905)*f21(515,247,140,344)*f11(247)-(f15(344,41,537,645)-f4(376,572,69,367,244,203,822)))
