10
f1(a,b,c)=578c
f2(a,b,c,d,e)=32e+(213b+793d-481a-949c-503b-416e-902e-116c*608)+802b+294a-(8a-346e*(901b*403e*(130c*246b)-382*893*45d*566e*989*553c*428c-249e-448e)*(397e*484c-217c-335a-a+176*(516c+528b-473e-848b-171c-550c-c-449)-431))*861d*251e-315d-788b+612c+821e*c+911*698c*162c*e+851-719d-739e
f3(a,b)=548a+902+(137b*276b+a+302-280-b+93-(183a*236b*(843b+537b+573a+258b)))
f4(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=778v-671y-178k-274z-570n-(810k-296a-(249n+495n*105v*352u-(57v+586z-(281y*535x-107+(910z-601k+864n+213t+559*747m*214v*z-954-517t-410n+258+765d+418n)*(545k+883k*(330a+679v*660k*928u-420*v+199*m+965*425u*360d)*466)))))
f5(a,b,c,d,e)=496a-993*35a*778d+c+762-875c-615a*391d*348e-480e-741a+(452e*541e-318e-301a+844d+503c)*b-398*(673c-765a+352d+749d-e+958-785e-335e)
f6(a,b,c)=697c-b+706+129c+247a+67b+198c-(199a*683a*820a*174b+b-20-a+43-289*436a*174a+980*764b*975b)-a+300*37b*299c*c+101*a-873+(205b-162c*959c*328a*(670a-726c+(550b+2b+890b+199b-72a-419c-587))-(178a*270b*273*791-(46c*97a*686a*589c*68b*353a+618c+490b-760a-895a*a-139*174c*403a*b+261*625a*143a+b+593-(704c-475a-a-54-(808a-481a-741c-517c+959-(129c+728a*869b*325c+b+818-949+34+b-227+328a+313b+a-442-8)-733a-107a*(449a*514c))))))
f7(a,b,c,d,e,x,y,z,t,u,v,k)=957t+177k+787b*(543x*336y*z+428+323u+594x-285t-604b-u+877+346d+687u-229y-717d-(259e+686x+975y+531e*759z*609e-(227v+572x+356+100z+954a-212e-742t*223-38c-332z+292k+248e))*(307k*14u*437v*374k+(181u+40z*867*576z*362d*577)))
f8(a,b)=938b-924a-473b+19a+439b*220+64a+790b-366b-38a+671a+412b+257a+294b*a+742*546b*579b+446a+82a*447b*252a+922b+111a*719b*399b*(60a+668b*b-891)+(705b*885a-b-46-561b-713b-(717a+215a-35*a+970*634a*370b*443a*686b-(811a*474b*190a*434b+(125a+877a+198b+659b*b-332+a+307+594b+171a+954*83a*200a*775)+(234b-113a*a+329+658b+537a-(758a+185b*(38b*165a+172*(636a*432a+b+290+342-93a-130a-a+604+190+a-310*644a*780a)))))))
f9(a,b,c)=104a-620-989c-529c+930b+57b+c-253*609-458*548-960c-472a*(170b*288a-320*15b*551c-850b-791a)+620b+924a*(350b+505b*724b*871b*(657b+913a-421b-949c*358c*60b-578a-139b)-452*946-948*853c*869c-29a-885b)-80-(985b*123a+676c+805b-(820a+102b+971a+129a*(327a+365a+c-735-623b-947c+228))-690a-286a-681a-352c*678a*42a-114b-602a)+134-115b-930c*211b*59b+c+667*b-620+(424c*377c+(198a*664b-709b-911a*505c*44c*63c*387b-c-133+644c+212c+761c+177a+(132a-891c+634a+798b-602a-364a+697*751c*833b*(74c-497b)*(839a-482a))))
f10(a,b,c,d,e,x,y)=599a*e+920-717y-847e*526+234a+193a*892b*84y+753b+138c+52a+817x-737e-514x-e-799*a+300+564x+457a-(207d+399b-176d-429x)-190a-230a+y-782*81x*283c*279x*840e*235+588e+885b
f2(774,628,171,3,91)*(f4(137,349,803,856,781,626,490,574,905,768,715,744,604,988)+f8(835,18))
