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