w5:=sqrt(5); w7:=sqrt(7); w11:=sqrt(11); I:=sqrt(-1); w35:=w5*w7; w55:=w5*w11; w77:=w7*w11; w165:=w5*w7*w11; r2:=sqrt(1/2*w5+5/2); r3:=1/3*((405+15*I*sqrt(231))^(2/3)+60)/(405+15*I*sqrt(231))^(1/3); r4:=sqrt((724335509512*w165+2231722133262*w35-1780371638878*w55-6356024692488*w5-1327003705160*w77 -4120192651170*w7+3286955646050*w11+11644475714760)*r2 -649267409200*w165-2027852283400*w35+1617634801240*w55+5696915707360*w5+2012610128820*w77 +6176792428120*w7-4927276039560*w11-17659628998060); r6:=(r2/2-(w5-1)/4*I); c01:=((4/5*w5+67*w11+74/5*w35+201/5*w55-16*w77-48/5*w165)*r2*r3^2+(-48*w5-114*w11-348/5*w35 -342/5*w55+30*w77+18*w165)*r2*r3+(-2*w5-37*w7-201*w11-37*w35-67*w55+48*w77+16*w165 -2)*r3^2+(-2/5*w5-1010*w11-212*w35-606*w55+194*w77+396/5*w165)*r2+(120*w5+174*w7+342*w11 +174*w35+114*w55-90*w77-30*w165+120)*r3+(w5+530*w7+3030*w11+530*w35+1010*w55-675*w77 -287*w165+1))*r4*r6+((4/5*w5+134*w11+74/5*w35+134/5*w55-32*w77-32/5*w165)*r2*r3^2+(-48*w5 -228*w11-348/5*w35-228/5*w55+60*w77+12*w165)*r2*r3+(-201*w11-67*w55+48*w77+16*w165)*r3^2 +(-2/5*w5-2020*w11-212*w35-404*w55+388*w77+574/5*w165)*r2+(342*w11+114*w55-90*w77 -30*w165)*r3+(3030*w11+1010*w55-582*w77-194*w165))*r4+((-135525687*w5-316121957*w7 +252648355*w11+13428051*w35-11664509*w55-96337621*w77+15424811*w165+840393689)*r2*r3^2 +(560645580*w5+690569238*w7-554483178*w11-35083758*w35+31925010*w55+245598480*w77 -63202332*w165-2150718816)*r2*r3+(524108490*w5-87142960*w7+67700124*w11-221544834*w35 +176086250*w55+19583100*w77-60352634*w165-170074796)*r3^2+(2522815020*w5+4276465120*w7 -3416040380*w11-444224016*w35+369981148*w55+1321466360*w77-285696892*w165-11533606960)*r2 +(-1225872030*w5+202367862*w7-154636434*w11+497282250*w35-395295966*w55-141687738*w77 +141216894*w165+1247695146)*r3-6933435192*w5+316661330*w7-231147330*w11+2942103942*w35 -2330130742*w55-536014380*w77+800930092*w165+4681554400)*r6+(-609553542*w5-210356036*w7 +166911944*w11+227055270*w35-179870430*w55-93931712*w77+69779766*w165+823611776)*r2*r3^2 +(1180657476*w5+347273124*w7-276602940*w11-423608580*w35+334600860*w55+206974152*w77 -135755436*w165-1815076176)*r2*r3+(340564901*w5+689935281*w7-547173555*w11-68621921*w35 +54920603*w55+206876841*w77-38605073*w165-1808965725)*r3^2+(8864155368*w5+3748320400*w7 -2973810040*w11-3214431936*w35+2542097928*w55+1598087560*w77-1016337576*w165-13997311360)*r2 +(-768871452*w5-1262490822*w7+996655218*w11+116474790*w35-94312146*w55-403879812*w77 +87054204*w165+3511337508)*r3-6354991096*w5-9457213800*w7+7498884420*w11+1498952848*w35 -1203361276*w55-2921770080*w77+719648848*w165+25548330360; c02:=((2*w5+37*w7+37*w35+2)*r2*r3^2+(-120*w5-174*w7-174*w35-120)*r2*r3+(134*w11 -32*w77)*r3^2+(-w5-530*w7-530*w35-93*w77-93/5*w165-1)*r2+(-228*w11+60*w77)*r3-2020*w11 +760*w77)*r4*r6+((-4*w5-74*w7-74*w35-4)*r3^2+(240*w5+348*w7+348*w35+240)*r3+(2*w5+1060*w7 +1060*w35+2))*r4+((98289815*w5+181847649*w7-146067339*w11-52476875*w35+42061625*w55 +64900641*w77-11796311*w165-559407801)*r2*r3^2+(-45004362*w5-191893584*w7+152719104*w11 +51913752*w35-40348632*w55-94688814*w77+6609810*w165+809094486)*r2*r3+(-357174900*w5 -105226328*w7+86476264*w11+110623410*w35-89795662*w55-15540898*w77+40926424*w165 +129479894)*r3^2+(-2139945658*w5-4735669650*w7+3813175470*w11+767102710*w35-620247994*w55 -1650130590*w77+257162998*w165+14267210010)*r2+(554317140*w5+95114592*w7-78699768*w11 -119924796*w35+98356908*w55-14609388*w77-63365412*w165+143624412)*r3+(9028767096*w5 +594273250*w7-533491910*w11-3116310822*w35+2526265706*w55+291934460*w77-1033625672*w165 -2384280940))*r6+(-78549266*w5-167201004*w7+131257212*w11+44078036*w35-33955988*w55 -53663082*w77+8594522*w165+478780050)*r2*r3^2+(285882540*w5+439176456*w7-349534200*w11 -151729368*w35+119716392*w55+128367084*w77-31460124*w165-1154575548)*r2*r3+(295355452*w5 +103634218*w7-79446086*w11-93861190*w35+73985514*w55+11616788*w77-33100980*w165 -110708716)*r3^2+(611402728*w5+3948838230*w7-3104473170*w11-305635078*w35+216043378*w55 +1110919800*w77-62306104*w165-9924320280)*r2+(-681068808*w5-392481372*w7+304240884*w11 +238992372*w35-188785692*w55-63939912*w77+76451112*w165+570166824)*r3-6655336730*w5 +26997880*w7-88962080*w11+2447816456*w35-1937205120*w55+200739770*w77+744758346*w165 -1558792330; c03:=((-6/5*w5-37*w7-111/5*w35-134/5*w55+32/5*w165-2)*r2*r3^2+(72*w5+174*w7+522/5*w35 +228/5*w55-12*w165+120)*r2*r3+(-2*w5-111*w7-67*w11-37*w35-67*w55+16*w77+16*w165-6)*r3^2 +(3/5*w5+530*w7+318*w35+404*w55+93*w77-109/5*w165+1)*r2+(120*w5+522*w7+114*w11+174*w35 +114*w55-30*w77-30*w165+360)*r3+(w5+1590*w7+1010*w11+530*w35+1010*w55-473*w77-287*w165 +3))*r4*r6+((4/5*w5+74*w7+74/5*w35+134/5*w55-32/5*w165+4)*r2*r3^2+(-48*w5-348*w7-348/5*w35 -228/5*w55+12*w165-240)*r2*r3+(2*w5+111*w7+37*w35+6)*r3^2+(-2/5*w5-1060*w7-212*w35 -404*w55+186*w77+574/5*w165-2)*r2+(-120*w5-522*w7-174*w35-360)*r3-w5-1590*w7-530*w35 -279*w77-93*w165-3)*r4+((240397309*w5-205734231*w7+162528853*w11-117877075*w35+93984881*w55 -59320153*w77-26820485*w165+503882865)*r2*r3^2+(-362599194*w5+387323976*w7-301333440*w11 +265402452*w35-212882868*w55+118275582*w77+39580866*w165-987404934)*r2*r3+(464675528*w5 -452030790*w7+354268862*w11-174151940*w35+140346552*w55-118486730*w77-53098896*w165 +1032790602)*r3^2+(-4368959594*w5+3237453180*w7-2564795900*w11+2105787116*w35-1677431380*w55 +881638610*w77+487523638*w165-7458897150)*r2+(-950545674*w5+940660566*w7-730142082*w11 +310672854*w35-252601074*w55+209361006*w77+108018594*w165-1800585222)*r3-7159258996*w5 +8037750810*w7-6314143330*w11+2860952746*w35-2307093906*w55+2062059280*w77+819561936*w165 -18035058540)*r6+(-246843110*w5+241572216*w7-190817088*w11+85408754*w35-68159414*w55 +59404128*w77+28120586*w165-515416332)*r2*r3^2+(479191368*w5-444905172*w7+350936124*w11 -139732680*w35+110152872*w55-98593008*w77-55420704*w165+858919896)*r2*r3+(-433360155*w5 +398870863*w7-314752285*w11+207777081*w35-165721995*w55+113267473*w77+49363767*w165 -982427365)*r3^2+(2863828840*w5-4949718480*w7+3923715600*w11-1144406836*w35+913218100*w55 -1285472880*w77-325821496*w165+11192225760)*r2+(660906990*w5-741222336*w7+584462064*w11 -411899760*w35+325885776*w55-195628386*w77-75901542*w165+1686386154)*r3+8598662802*w5 -5967661340*w7+4703981300*w11-3965599476*w35+3167884572*w55-1516997810*w77-978550566*w165 +13131578150; c04:=((74*w7+4)*r2*r3^2+(-348*w7-240)*r2*r3+(201*w11+67*w55-48*w77-16*w165)*r3^2+(-1060*w7 +186*w77+372/5*w165-2)*r2+(-342*w11-114*w55+90*w77+30*w165)*r3-3030*w11-1010*w55+1140*w77 +380*w165)*r4*r6+((-134*w11+32*w77)*r2*r3^2+(228*w11-60*w77)*r2*r3+(-2*w5-111*w7-37*w35 -6)*r3^2+(2020*w11-760*w77)*r2+(120*w5+522*w7+174*w35+360)*r3+(w5+1590*w7+530*w35-279*w77 -93*w165+3))*r4+((-280406762*w5+139500008*w7-109428012*w11+95063042*w35-76283298*w55 +28688652*w77+32215986*w165-254601716)*r2*r3^2+(666239388*w5-355834848*w7+277062384*w11 -197047176*w35+159791016*w55-33459888*w77-75964548*w165+292483848)*r2*r3+(-278914731*w5 +376820489*w7-300733947*w11+129304095*w35-102334005*w55+122093649*w77+31508127*w165 -1061759717)*r3^2+(4285384036*w5-2988729100*w7+2355031620*w11-1562284552*w35+1255410744*w55 -661235400*w77-492456876*w165+5865138040)*r2+(494423316*w5-773644206*w7+616528554*w11 -295290882*w35+234885702*w55-288706236*w77-55227108*w165+2507562444)*r3+(5703099642*w5 -6341180830*w7+5063699310*w11-2561105034*w35+2032768362*w55-1966929630*w77-643276074*w165 +17099081470))*r6+(90561702*w5-277184800*w7+218826356*w11-54599070*w35+44067174*w55 -91236716*w77-10240998*w165+795758332)*r2*r3^2+(-164695608*w5+525524328*w7-412317192*w11 +121761036*w35-98935524*w55+185182104*w77+18006984*w165-1601791848)*r2*r3+(590976189*w5 -284026139*w7+225644353*w11-210474621*w35+167377823*w55-68975239*w77-67363625*w165 +599270243)*r3^2+(-2870989968*w5+4238387660*w7-3351121060*w11+1409743884*w35-1132542588*w55 +1313016220*w77+326446752*w165-11475187100)*r2+(-1151036694*w5+631555776*w7-498878592*w11 +415195344*w35-331106064*w55+123379026*w77+131198190*w165-1067980122)*r3-9009461940*w5 +6431113750*w7-5132675690*w11+3508288242*w35-2787971230*w55+1576241480*w77+1027208392*w165 -13778917900; c05:=((4/5*w5+74*w7-134*w11+74/5*w35-134/5*w55+32*w77+32/5*w165+4)*r2*r3^2+(-48*w5-348*w7 +228*w11-348/5*w35+228/5*w55-60*w77-12*w165-240)*r2*r3+(-148*w7-268*w11+64*w77-8)*r3^2 +(-2/5*w5-1060*w7+2020*w11-212*w35+404*w55-574*w77-574/5*w165-2)*r2+(696*w7+456*w11 -120*w77+480)*r3+(2120*w7+4040*w11-1148*w77+4))*r4*r6+((4/5*w5+74*w7+134*w11+74/5*w35 +134/5*w55-32*w77-32/5*w165+4)*r2*r3^2+(-48*w5-348*w7-228*w11-348/5*w35-228/5*w55+60*w77 +12*w165-240)*r2*r3+(-148*w7+268*w11-64*w77-8)*r3^2+(-2/5*w5-1060*w7-2020*w11-212*w35 -404*w55+574*w77+574/5*w165-2)*r2+(696*w7-456*w11+120*w77+480)*r3+(2120*w7-4040*w11 +1148*w77+4))*r4; c06:=((2*w5+37*w7+37*w35+2)*r2*r3^2+(-120*w5-174*w7-174*w35-120)*r2*r3+(-134*w11 +32*w77)*r3^2+(-w5-530*w7-530*w35-93*w77-93/5*w165-1)*r2+(228*w11-60*w77)*r3+(2020*w11 -760*w77))*r4*r6+((134*w11-32*w77)*r2*r3^2+(-228*w11+60*w77)*r2*r3+(-2*w5-111*w7-37*w35 -6)*r3^2+(-2020*w11+760*w77)*r2+(120*w5+522*w7+174*w35+360)*r3+(w5+1590*w7+530*w35 +279*w77+93*w165+3))*r4+((47212215*w5-221292005*w7+176416471*w11-34905813*w35+27372135*w55 -79323739*w77-5501127*w165+694156115)*r2*r3^2+(36092598*w5+327396036*w7-262133340*w11 +49887372*w35-36774612*w55+149583786*w77-3388158*w165-1307257554)*r2*r3+(470789798*w5 -213964054*w7+170633762*w11-169908488*w35+134539488*w55-42988484*w77-54148554*w165 +378682192)*r3^2+(-2033544846*w5+3597472450*w7-2865191630*w11+1131909618*w35-899691534*w55 +1133146430*w77+232421922*w165-9901946650)*r2+(-819010596*w5+328325076*w7-260802324*w11 +262930656*w35-205221768*w55+26880516*w77+95596836*w165-242294724)*r3-7286065372*w5 +5254514450*w7-4194402190*w11+2869693234*w35-2277035862*w55+1172306560*w77+837262284*w165 -10314021200)*r6+(-215982810*w5+38509668*w7-32960240*w11+78721578*w35-61359554*w55 +2624564*w77+24676826*w165-20400156)*r2*r3^2+(265494576*w5-9280200*w7+11516280*w11 -112817820*w35+85545588*w55+7203864*w77-31222416*w165-64569624)*r2*r3+(-107326953*w5 +274676409*w7-216838703*w11+47593143*w35-38171913*w55+92451839*w77+12765921*w165 -814596183)*r3^2+(2945086512*w5-1713754080*w7+1400063440*w11-1196988612*w35+935429812*w55 -353594980*w77-334360120*w165+3022847100)*r2+(114692574*w5-340091556*w7+263320332*w11 -20380908*w35+14913540*w55-125986146*w77-14476014*w165+1095158562)*r3+3277212690*w5 -4783598070*w7+3769372210*w11-1550596962*w35+1249572630*w55-1365768370*w77-380454582*w165 +12023002230; c07:=((4/5*w5+67*w11+74/5*w35+201/5*w55-16*w77-48/5*w165)*r2*r3^2+(-48*w5-114*w11-348/5*w35 -342/5*w55+30*w77+18*w165)*r2*r3+(2*w5+37*w7+201*w11+37*w35+67*w55-48*w77-16*w165+2)*r3^2 +(-2/5*w5-1010*w11-212*w35-606*w55+194*w77+396/5*w165)*r2+(-120*w5-174*w7-342*w11-174*w35 -114*w55+90*w77+30*w165-120)*r3-w5-530*w7-3030*w11-530*w35-1010*w55+675*w77+287*w165 -1)*r4*r6+((-6/5*w5-37*w7-67*w11-111/5*w35-201/5*w55+16*w77+48/5*w165-2)*r2*r3^2+(72*w5 +174*w7+114*w11+522/5*w35+342/5*w55-30*w77-18*w165+120)*r2*r3+(-2*w5-37*w7-67*w11-37*w35 -67*w55+16*w77+16*w165-2)*r3^2+(3/5*w5+530*w7+1010*w11+318*w35+606*w55-287*w77-861/5*w165 +1)*r2+(120*w5+174*w7+114*w11+174*w35+114*w55-30*w77-30*w165+120)*r3+(w5+530*w7+1010*w11 +530*w35+1010*w55-101*w77-101*w165+1))*r4+((179177241*w5-204423171*w7+164003197*w11 -71905647*w35+56519753*w55-42763969*w77-20527037*w165+374390205)*r2*r3^2+(-376694268*w5 +503269758*w7-399745266*w11+179865906*w35-144105246*w55+80737152*w77+42607548*w165 -701219232)*r2*r3+(338592652*w5-295973610*w7+234828418*w11-152935312*w35+121847180*w55 -91665550*w77-38888180*w165+805226118)*r3^2+(-1684225164*w5+4152986220*w7-3336791000*w11 +811807788*w35-630660448*w55+1024269200*w77+193554196*w165-8979166560)*r2+(-698672754*w5 +726078354*w7-573993318*w11+364555278*w35-293122410*w55+199053714*w77+78860130*w165 -1731963858)*r3-7000732784*w5+3973694790*w7-3146615510*w11+2974428194*w35-2372809474*w55 +1113757820*w77+803082364*w165-9810598800)*r6+(-217832418*w5+210458574*w7-163451774*w11 +88743186*w35-72187138*w55+59082602*w77+24978310*w165-517374270)*r2*r3^2+(471354306*w5 -495755394*w7+379205958*w11-170940174*w35+142448202*w55-110767998*w77-52597890*w165 +941665326)*r2*r3+(-419574550*w5+410157402*w7-326532050*w11+189782722*w35-150504634*w55 +102084122*w77+47347522*w165-878273070)*r3^2+(4295430156*w5-3088032330*w7+2390427730*w11 -1716545910*w35+1393875806*w55-776586400*w77-493740440*w165+6842832780)*r2+(739293462*w5 -890593734*w7+701078706*w11-445268358*w35+356988114*w55-199012734*w77-82188414*w165 +1688624166)*r3+6053184758*w5-7390439400*w7+5901586900*w11-2917594904*w35+2308091828*w55 -1905907810*w77-681077834*w165+16438063710; c08:=((-2*w5-37*w7-37*w35-2)*r2*r3^2+(120*w5+174*w7+174*w35+120)*r2*r3+(134*w11 -32*w77)*r3^2+(w5+530*w7+530*w35-93*w77-93/5*w165+1)*r2+(-228*w11+60*w77)*r3-2020*w11 +760*w77)*r4*r6+((-134*w11+32*w77)*r2*r3^2+(228*w11-60*w77)*r2*r3+(2*w5+111*w7+37*w35 +6)*r3^2+(2020*w11-760*w77)*r2+(-120*w5-522*w7-174*w35-360)*r3-w5-1590*w7-530*w35+279*w77 +93*w165-3)*r4+((-393645267*w5-285481867*w7+225513425*w11+146338065*w35-116047139*w55 -76517429*w77+44897291*w165+670116517)*r2*r3^2+(726073170*w5+584374956*w7-456959988*w11 -290906124*w35+229134324*w55+158628726*w77-83060922*w165-1379261310)*r2*r3+(314158040*w5 +413033748*w7-329729324*w11-137217998*w35+109057026*w55+128212298*w77-35581188*w165 -1130056854)*r3^2+(8795282388*w5+4708671770*w7-3724213390*w11-3214919166*w35+2557453114*w55 +1449390820*w77-1001921344*w165-12708417680)*r2+(-691735716*w5-813732312*w7+653244288*w11 +279659988*w35-222880788*w55-227658012*w77+77832180*w165+2028108108)*r3-5595113776*w5 -9702281130*w7+7754566390*w11+1905979402*w35-1514137566*w55-2913468700*w77+633931032*w165 +25666574820)*r6+(-235608774*w5-245832744*w7+198472112*w11+93139962*w35-75101038*w55 -74549216*w77+26986666*w165+651276804)*r2*r3^2+(405853176*w5+374555856*w7-303710088*w11 -127930620*w35+103164396*w55+99290928*w77-46372056*w165-873532560)*r2*r3+(353699457*w5 +244225287*w7-194219629*w11-129243039*w35+103375621*w55+67433557*w77-40883533*w165 -580469409)*r3^2+(4983711048*w5+5753442900*w7-4650093220*w11-1600344324*w35+1298094188*w55 +1802548900*w77-571624928*w165-15742254540)*r2+(-444483462*w5-341190708*w7+265323276*w11 +196085460*w35-155570124*w55-124979598*w77+51886830*w165+1062803526)*r3-8978660400*w5 -3761379390*w7+3005862770*w11+3235145574*w35-2594320970*w55-1319413460*w77+1035349604*w165 +11341630560; c09:=((4/5*w5+74*w7+74/5*w35-134/5*w55+32/5*w165+4)*r2*r3^2+(-48*w5-348*w7-348/5*w35 +228/5*w55-12*w165-240)*r2*r3+(-2*w5-111*w7-37*w35-6)*r3^2+(-2/5*w5-1060*w7-212*w35 +404*w55-186*w77-574/5*w165-2)*r2+(120*w5+522*w7+174*w35+360)*r3+(w5+1590*w7+530*w35 -279*w77-93*w165+3))*r4*r6+((4/5*w5+74*w7+74/5*w35+134/5*w55-32/5*w165+4)*r2*r3^2+(-48*w5 -348*w7-348/5*w35-228/5*w55+12*w165-240)*r2*r3+(-2*w5-111*w7-37*w35-6)*r3^2+(-2/5*w5 -1060*w7-212*w35-404*w55+186*w77+574/5*w165-2)*r2+(120*w5+522*w7+174*w35+360)*r3+(w5 +1590*w7+530*w35+279*w77+93*w165+3))*r4+((29332410*w5+75568864*w7-58040540*w11-7962774*w35 +5142630*w55+12287828*w77-3223074*w165-109694644)*r2*r3^2+(218840208*w5-175092012*w7 +132310884*w11-82477464*w35+71386632*w55+54717576*w77-23983344*w165-485999208)*r2*r3 +(-65567503*w5+17842695*w7-16383009*w11+56583673*w35-44478215*w55-6338895*w77 +7217687*w165+62154471)*r3^2+(-585877692*w5-1074120260*w7+825095620*w11+146889372*w35 -101702340*w55-231218980*w77+65291148*w165+2032844420)*r2+(-250852542*w5-379897572*w7 +313117164*w11-161538348*w35+128334660*w55-63666342*w77+29398206*w165+564424374)*r3 +(1087459412*w5-289742520*w7+250591680*w11-845166032*w35+666748312*w55+158676840*w77 -121203112*w165-1502265300))*r6+(-325507578*w5-345329444*w7+274757528*w11+81060990*w35 -64456486*w55-107538188*w77+37319026*w165+936767636)*r2*r3^2+(874359684*w5+806277792*w7 -643960392*w11-111951252*w35+88633620*w55+253271004*w77-100381500*w165-2211803076)*r2*r3 +(528140805*w5+173753609*w7-139321755*w11-198578049*w35+158605387*w55+88644609*w77 -60413593*w165-777494765)*r3^2+(5171636976*w5+5099991280*w7-4046370760*w11-1318105068*w35 +1045602836*w55+1590605440*w77-593004728*w165-13828389400)*r2+(-1222102698*w5-139254348*w7 +112432092*w11+491611236*w35-395052852*w55-248205498*w77+139033290*w165+2172872442)*r3 -7751694354*w5-3078955900*w7+2474681100*w11+2823960012*w35-2254707404*w55-1422593790*w77 +886545542*w165+12522113050; c10:=(372*w77+372/5*w165)*r2*r4*r6-744*w77*r4; phi:=[ c01, c02, c03, c04, c05, c06, c07, c08, c09, c10 ];