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