14
f1(a,b,c,d,e,x,y,z,t)=24z+(376e*766z-b-318*194*397t*760b*701e*731c-496d-264y+409-(192d+840z*39d*72t+z+350)-(517a+84d-a+714+a-553-483t-161d*585c*240d-564z-206a)+544+363e+208t+(858e-853x+335x+450d*34d*249b-(787d+711e+254e+876z+281c+176e)-990z-861a*b+47-e+42+931d+454t-(517t+772b)+(839d+561c*183t*773b*624t*102b*845d*449y+326t+708x+110-130b-705e*266z*35y+159x+381x-482y-737z*185c*134e*193a*710a*576b*384b*879c*646b))*(615c*449t*775x*234a-(787e+496c)*280b*704y))
f2(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=486b-720c-252k*d+908-141-519k-149y+749-419b-630b*x+397+539-t-891+t-880+899t+660m+8c+548b-900z-910y+306e+996e+753m+387k-774d-586y-484b-317d+977-329+1000b+600a-611*454e*572d-712m-33m+685z+469z+(878b*778d)*881b*420u+(925t+370z)+u-783+192k+737m-c+7+z-408+445-463v-609n-(697t+390c)-354y-855k-n-409*833t*567z
f3(a,b,c,d,e,x,y,z,t,u,v,k,m)=36t*(433d*937z-368v-199b*(750e*151a)*797k*640m-(727x-552u-336b-865u+(639t+572c-300*336)+k+830-y+764-y+923*(502d*389u-55e-4y)-(173k-920b-e+746)*361t*569t+339z+777k-832c-931e+636k+258m-64c-93v)*414m*54d-767k-564y+(186m+62m-992x-509e*(359d-263z)))
f4(a,b,c,d,e,x,y,z,t,u,v,k)=925c+(591e-569k*720t*683v-462*d-417*z+245-618-876k-406x-194u-562b*633b*481k-576e-897x-v+205-809x-595k*988-(193k*495x-645u-259u)+845-a-145*702-648-(205x+519x+26z+7v-72e-50t*(965y+121c-(3t*520k*455k*981e*842*200+v-667-393d-708y*180a*247y+d-623*189y*895a*660u*683t*970+(636b+756e)))))
f5(a,b)=748b-678a-252a-875a-360a+112b+617a+321a+246a+51b+181a+(18a+298b*(967b+193a+257a+82a-267-395b-976b+b+286+882b+546a*(266b*525b*495a*581b-66+630a+568a)+858b+346a*227b*422b*(375b+251a-745a-407a+352b+59a+938)*147a*805a)-550a-492b+(263a*282b)-b+623)
f6(a,b,c,d,e,x,y,z,t)=956y*304a*743e+(448c-704a-296)*z+626-(511t-133y)-152*b+209+147+576*(872c*636b+655)+z+837*t+223-366a-63c*17+784e+178d+b-732*(193t*254e*222e*624z-126c-671y+(748a*884c)*(267d+998z-(273c*311y+248-135z-177a-(699z*187z*(137x*372t-565z-9c+(499c+462b+596y+466d)-y+638+(490c+959c*426t*410t)*172*817y*378a+570-14d-136t+774b+8a)))))
f7(a,b)=573b+a+137+b-676*861a*350a+a+261-588b-643a
f8(a,b,c,d,e,x)=981d+981d+954a+10d+487c*449*82c*898a*879c*626e-329d-362e-573-526e-968e*807x*315d-(971e-675x)-859x-610e-(582x-866e+776d+842d+630d+202c*125d*466a)*(409a-820d+559e+181a+967+806-621d-408b-704e-562c+554c+621b+785c+212e-529+422e+337d-546*c+357-a+927-36e-826c-d-873*c-409)+x+45+d-3-375-d-758-362b-292e-615e-344d*d+2-(917a-459a+366+(945d*54b+773c+181d)-d-364*365*650c*945d-(431b+99x*547-(853c+385e)))
f9(a,b,c,d,e,x,y)=902a-713*a+965-408-459d-905d-87+976d+278e-768b-805e+285+617c+667a*989-504d-167c+20d+498c*e+112*917*753d*225d*842d*919y*612y*627d*794x*44c*541x*663y+4d+407d
f10(a,b,c,d,e,x,y,z,t,u)=605e*324y*413a+748+597d+875a-458x-332c-19e-196x*988d*963e-t-243+594e+291u*z-573*264u*284y+965+b-686-300u-696a+813+z+513+680u+108t-490d-172c*(543e-233u+a-454+670z+838a*(443a+474b+456+786t+473b-15x-776t-(483y*936z+906e+474d-268d-600a+268d+972z*250+769x+737x)*769t*972c*499x*241e*904e*158t)*705e*153t-194a-553e*232)+d+937+435*151*957u*507b-(687c*990z+895c+371e)-853t-533y-80u-372u+725b+892a+c-231*u+175+546+322e+732a*908
f11(a,b,c,d,e,x,y,z,t,u,v)=631z*355u*694y*443e*779e+a+843-78+(810y-231c+812e+738x+x-218)-996d-144d+198*(678y-480d)*543e*237u*321*(772b-754b*797*(346b+24z-t+459-445-205t-162d+391v+584a*(631c-427a-141+148y+902z+210y+122v+958a+53t+866t+701d)*y-74*d+763-378a-644y)*543c*913v*177e*933z-442t-517v)*467a*79a*565d*704d
f12(a,b,c,d,e,x,y,z)=951x*(508d*658b*x-280)+148a+400a-72z-871e+(365x-929d+524y+381y-391z-868c)-882c-59x+810x+502a-725e-616e-422a-537a-y-739*(330c+767e*545y*573d)-(160y-52x+13c+138e)*(578a-641d)*b+545*397e*494d-(835d+239b+d+151+466y+369b*9e*245d+742b+446z+(982b*780e*608c*620e*659-358d-978x))
f13(a,b,c,d,e,x,y,z,t,u,v,k,m)=87d-79-877*k-819+991+739u+179k+98k+927a+256k+769m-k-729-d+47+e+207*601u*760u-650-z+828*126-206-d+66-577m-599b+918u+280c-281e-761z+941b+322x-x-661+d-835*x-424-341c-661t+941b+295v-720m-652y*581-(350a*536x)+140a+547e+c+148-977-537x-699e-165*c+1+362z+90z*(358t-832a*488y*25t*678)-217x-707d*946x*978z-u-494+115t+463x+877z+612t+946*826e*173e-d+914*296+b-473-(720a+223k*465+410*99-(846u*187t*(497v+616k+137x+51b)))
f14(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=333v-149c-43y+9*(855m-41z*(839u*806b*198-(101y+628m-704t-806t*844+668x+606b+980-153t-25u*m+380*(479c*726b)+552b+344a-364y-129e*(403e*809m-(376c*108d+938d+759e)))))
f13(193,313,230,888,59,753,251,493,233,26,308,15,780)+f12(588,104,169,913,832,167,211,939)+f2(617,876,243,375,890,652,825,434,316,407,321,374,159,924)+f1(301,878,757,80,924,58,19,27,227)+f8(858,745,494,148,845,110)+(f1(264,90,13,697,405,419,370,131,929)+f7(671,297)+f8(376,501,837,394,880,415)+f1(737,160,170,237,4,632,963,90,820))+(f6(603,996,66,883,992,766,906,288,696)+f5(548,873)-f10(437,516,799,959,752,154,590,66,595,761)-f10(126,944,271,62,898,618,479,133,610,597))
