13
f1(a,b,c)=123c-919c-850b-c-216*(784c-840a*572b*127c+(265b+415a-187a-357b*331b*434b)-637c-784a*624a*59a-537c-733a+(466c*805c+161a+181c-614a-876c*(750c+725b*a-337-(668a+764a-47b-750c+593b+963a+a-677)+753c+339b)))
f2(a,b,c,d,e,x,y,z,t,u,v,k,m)=64z*83a*730z*893+962m+11m+50t+402u*431y*315t*654k*41d+(281t*362c+c+98+(460x*861c*263+529z+633b)-k-268-328u-207b+(131u*292v))-358u-826b-276d-18e-600v-834y+101t+403e-b+169+d-987+(345x-85b-354d-688v-d-269)*23d*79y*581*725e*43m+369b+773b-437d-197b-455*(605t*468d*546u*576a)-857m-547x-30*(873z+69u*2c*368m-m-399*(338d-505t-(762c+29k+520v+419e+907x+197e*v-618)+754d+472e*328b*22z))+k+694+(4v+148y*(721y-338d*(535z+657d-m+926-557m-922y-605+213m+898x*(910b+421k-307x-9x-949y-61u*(591z+192e+148b+160m*24a*143x+449k+374m+(557y*857m+(940u*988z-386m-171t*(187t+329a*(85e-799k*476c*91z*981b*124a-33m-161k)-a+705))))))))
f3(a,b,c)=84c*520b*495b+81a+30b+503b+847a-c+825*786+c-998*168
f4(a,b,c,d,e)=14c+(260a-903b)+138-e+295*80c*161a-(846d*290b-(813c-779e)+222e+411e+234a+452e+656b+189a*786d*77a*718b*990a)-e-270*949a*458b*458c*145b+448c+688c-116e-42d+383a+989a-(680d+778d-235a-6c+(951e+750d+884+277+218a+603d*44a*198b+272-562b-452a-c+912*c+783)-60a-758b+588*137*(463a*376e*e-593+250+b-468*101e*890c+205b+833c*34a*412b+140c+971d*544a*445e))*609a*295e-486d-16c+c-871*d+328+615b+999d+443e+936a+544c+363e+201d+46c-d+947+796d+639c+(702d-212c*454c*138b+e+58*612a*289b)
f5(a,b,c,d,e)=266d+d-500+727d+487b+270e+838d*a-196*764c*651b+627e+837b+249b+145a+223d+319d+e-879-a-272+225d+213c-(838e-438b*a-543-546e-299a*a-900-171+175b+390d+581b+792a-d-471*13*d-220+(115a+377a*(997e*150d*14e*901b*386d*383a+(846d-531c)+(32b+854a-851e-584b*460b*890b-802c-34d*283-(58c-568a+599b+221c-861e-441b)-256e-240b*a-577*859+64c+120d)+972a+434b)-52d-592e)*676-774b-575a)+(714e*981b+168c+107d)-543e-701b*253e*547b-80b-438a*(860e+573e*906a*803c*261c*341e*2c*59a*798b*273a-353+477e+800a+372b+880d-34d-752b-444a-351e-761e-84c)*473a*461b-18e-56e*a+31-d-62+765*525c*435a*(521a+809c)+34d+30d*61e*275a
f6(a,b,c,d,e)=123c+147-499-244b-373b-(596b*712d+425d+492c)*a+381+185-(865a+979e-(628c-223d-b-710+963d+592e-(510e-104a-492e-682e+526-c+452+738*739d*718c-(550a+59b+162b+347e*a+982*970a*10d*817c*104b-554+533e+424a-834b-250e*597a*491c+826e+398e*260))))
f7(a,b,c,d,e,x,y,z,t,u,v,k,m,n)=992y+t+337-k-790+(391n+339a*667z*563n-709m-938e-x+276)-592d-554a+17b+518u-(719a*457c+690+k-400)
f8(a,b,c,d,e,x,y,z,t,u)=711y-(583b*136z+153c+739x*695)-151t-288a*b+104-a-753*e-471+767e+127y+x+811-u+900
f9(a,b,c,d,e,x,y,z,t,u,v)=116e-712b-438t-686a-185y*(349z-206x*(596z*445d+(24u*491c-555d-950t+(520x*844b-142c-475y+140e+22x-245))*(12b-566d+z+807*804z*409d*900-y+445-b+4+c-489+39e+338b-573c-183u*591v*924c*808v*796t-789+460c+818d-292e-672b+10a+151v+661*923y*842u*2t*365e*b+681*e+370*270u*894d+(916v+929u+94c+472e*612y*984t+857x+632e-u+598*(492a*888a+566+267z+130v*733y*403x*572)+444b+490z*e+931-u+506+385-885c-141v+194b+313d))))
f10(a,b,c,d,e,x)=112d*315d*594x+917*535d*226x+e+641-598d-959a*(630c+336d*883e*945c+445e+278x+(723a-499d*e-81*(983a+825b)*901a*813b+b+451-306+15b+898d)*254-(810d+996x+(324a-136x*653-(978a+25e-922x-41a)*e-634-451d-248x+710b+70a)*(780c+2a+335*727-379a-844a-478c-278a)-(196c*916a-b-695-(773a*124e-136a-752c+227x+461d))))
f11(a,b)=450b-9+702a+401a+402+220b+161b*892a*508a-(221a*724b)*134b*861b-914b-493a*(866a+707a-841b-332b*b-813-b-236+846b+655a+976a+825a+690b+527a*28a*570b*(556a*720b*609*612b*717b*a+902*944+b-796-507*398b*988b+83b+584a-195a-798b*b+481*707b*883a)+98+(368b-355a-(717b+798b*a-174*654-201a-792a+518a+696b+63b+24b+b-364*a-908-81-b-143-555a-464b+376-215+342b+75b*438b*786a+45b+212a+154b+60b*615a*242b*400a*988a-13b-289a-466a-557a+(648b*124b)-388-299b-58a-397-(376b*16a*(263a-447b*424a*206a+(733b-32b*368b*276b+a+206+(921b-543a-837b-560a*960a*301a*(724a*443a+206b+508a))))))))
f12(a,b,c,d,e,x,y,z,t,u,v,k)=554a-880-108d-813v-979*(671v-746x*188k*158t)+u+136+(649a-68e+203k+562b*584e*693t)
f13(a,b,c,d,e,x,y,z,t,u)=868t+965a+277t*807d*480d*592*196e*598z*424-95b-392x+494e+821d*380-578c-571b*565*221+995a+351z-797a-254d-271*a+235*t-247-123*b-688+905+362b+45x*845e*895u*828d*506a+184b+437x+911y+533d*220y*980a+344b+434z+584-c-484-889y-256d+559*y-580*347z*62y-(848d*247d-u-94+(982b+405a+316d+207b+138d+87e*503x*912c))
f3(301,296,783)-614*(f2(195,678,621,510,292,179,521,32,316,967,119,212,474)+f6(385,675,208,440,975)-f13(986,791,540,442,905,403,879,212,123,73)-f13(743,934,532,922,807,564,589,773,34,801))-982-f7(774,7,814,347,344,956,238,137,212,640,368,423,114,792)-f11(209,726)*(f8(110,70,656,495,222,253,853,973,234,885)-f5(243,97,706,939,53)+f4(616,935,794,39,400)+f3(702,608,663)*f3(546,358,511)*f1(852,732,805))*f4(397,183,84,102,473)*f4(396,547,104,682,341)-(f6(940,794,130,485,503)+f10(707,723,841,762,779,878))
