Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 290491895] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1885 geometric_solution 5.50692388 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.524577591715 0.184029156257 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.237899369180 0.315028730711 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670314519473 0.633608394379 2 5 4 6 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137328170076 0.757810216588 3 6 2 5 2310 1023 0132 2310 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137328170076 0.757810216588 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.159984955892 0.774535653309 4 6 3 6 1023 1302 0132 2031 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728476435870 1.318965442559 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 9861087174013686234846902065578441380380373823342252685473421157372\ 77083135546172747159/3253023468284397787821590494555785895896130136\ 19880374740242086007445164327880569880*c_0110_5^31 - 3546479868411222000696869177508260786694922670766210999239645196220\ 188845397861861874751/162651173414219889391079524727789294794806506\ 809940187370121043003722582163940284940*c_0110_5^30 - 1342273816958855023511798330655254917207334934107732394465078863140\ 7003459458449539032323/32530234682843977878215904945557858958961301\ 3619880374740242086007445164327880569880*c_0110_5^29 + 4329506518557850065268092943399181367274242981853387610968834695170\ 325928044298513480179/813255867071099446955397623638946473974032534\ 0497009368506052150186129108197014247*c_0110_5^28 - 5866233113582834572923197530997510385295353301197554526950906903527\ 77014257952449177541359/3253023468284397787821590494555785895896130\ 13619880374740242086007445164327880569880*c_0110_5^27 + 2327068456934485109819063511928741931852174315804950628763604922020\ 72036681893289182478907/4066279335355497234776988118194732369870162\ 6702485046842530260750930645540985071235*c_0110_5^26 - 2711363941688329295913536785773917454975820203729095740383834166687\ 015973494409708925244171/325302346828439778782159049455578589589613\ 013619880374740242086007445164327880569880*c_0110_5^25 - 1388704494732222850383949335440498210335816160669207226674711332390\ 09456412623991848192751/8132558670710994469553976236389464739740325\ 3404970093685060521501861291081970142470*c_0110_5^24 + 2381249833017263084129144125255184045053204465514442063497864951508\ 929079342867727607429/140701707105726547916158758415042642556060992\ 050121269351315781145088738896142115*c_0110_5^23 - 1799557843366024601998031316664169043097606518763837785974790415837\ 8858725407735289462677197/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^22 + 2074763082502243228531019407583975947223595356208556275581896835282\ 0665756988573790181428371/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^21 + 4503267209000693616238003265735996469321141557992820803099895422693\ 474930864748553064427421/325302346828439778782159049455578589589613\ 013619880374740242086007445164327880569880*c_0110_5^20 - 4980360523786957313491579445533285212924386685456404449316904012544\ 81611116210344985279285/3253023468284397787821590494555785895896130\ 1361988037474024208600744516432788056988*c_0110_5^19 + 3726735476161583030347558487634413415918604807484334248746552196797\ 4701539176421623564211161/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^18 - 3516177309664628261790692107227459816907660917783897369836900853142\ 8718447913530073364013963/16265117341421988939107952472778929479480\ 6506809940187370121043003722582163940284940*c_0110_5^17 - 1371941233898449479303467899802681595210599012318024636414806545265\ 1024238484038586886054317/65060469365687955756431809891115717917922\ 602723976074948048417201489032865576113976*c_0110_5^16 + 3278631509204463054278919736131470440716790181771214382697344973015\ 3854572635010440567148559/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^15 + 1114874654593277170588161902716921819682011307258163122448240918900\ 37733365967375636979994961/3253023468284397787821590494555785895896\ 13013619880374740242086007445164327880569880*c_0110_5^14 + 5583868732185803426830263900061036078006028589807719560975960142276\ 9380084793791509612179589/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^13 - 6717121655320522627011367658685321413175015992709808943717573316905\ 232769026817648756763741/325302346828439778782159049455578589589613\ 01361988037474024208600744516432788056988*c_0110_5^12 - 6224027784218772475372668275239635170292361526979216056046919550314\ 9294278381745184336585223/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^11 - 1154198045607351147723415903073922032202968937291901427657723129448\ 520396808812710558139327/813255867071099446955397623638946473974032\ 53404970093685060521501861291081970142470*c_0110_5^10 + 2695747710814046765175010905107634303643995407742330527330010051545\ 0223689039800439705604269/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^9 + 1013331570103287725111600622293328757591930262131997619045503412366\ 4546273054665591267696837/32530234682843977878215904945557858958961\ 3013619880374740242086007445164327880569880*c_0110_5^8 - 2334308953795936017641389717874937293680832367774137875765056404999\ 322763768684089714801963/162651173414219889391079524727789294794806\ 506809940187370121043003722582163940284940*c_0110_5^7 - 2489893741878674681953364067076115023755051387351857314629646520306\ 392551362930088572356781/325302346828439778782159049455578589589613\ 013619880374740242086007445164327880569880*c_0110_5^6 + 1089936069834094799691906607839269337218449566324265742900480355635\ 42350059026992349512671/3253023468284397787821590494555785895896130\ 13619880374740242086007445164327880569880*c_0110_5^5 + 2131569424892021709110169057465935738057069288515162180681460575240\ 50377685089849792652843/8132558670710994469553976236389464739740325\ 3404970093685060521501861291081970142470*c_0110_5^4 - 4363886740656195591125828157104006446721580288698561115710222531082\ 42550273921160979296797/3253023468284397787821590494555785895896130\ 13619880374740242086007445164327880569880*c_0110_5^3 + 8050179946741863465225327809228899923025064228561477981154135172277\ 1883315661996862812551/32530234682843977878215904945557858958961301\ 3619880374740242086007445164327880569880*c_0110_5^2 + 1363339967317840127988332373702955691823658379125358942550604845730\ 269017856514907158899/406627933535549723477698811819473236987016267\ 02485046842530260750930645540985071235*c_0110_5 - 5083441727542566914083224807852591595937604815447153949199585641986\ 192691737843100948409/325302346828439778782159049455578589589613013\ 619880374740242086007445164327880569880, c_0011_0 - 1, c_0011_1 + 267478549305577628684309036333928449605732996587382020062333\ 6353690678313707013/13236155513673048516574942606668833598744059992\ 34564201768505606944130905276035*c_0110_5^31 - 1934100685973796195187245445914382786827935007081829299552869572381\ 5966383924349/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035*c_0110_5^30 - 3572439383380861862203695762408061513964865578361817460979732302743\ 1641659857461/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035*c_0110_5^29 + 9428688887356208914427588439346994850434797435805443594204831039061\ 2423151133488/26472311027346097033149885213337667197488119984691284\ 0353701121388826181055207*c_0110_5^28 - 1608210455406502727189171686660384950949513705559676273497863359883\ 075346253483633/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^27 + 5102392430831419657712708525114051058896566715948274780477830801088\ 562575052969397/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^26 - 7523453742722788526790744331394939669222130788911355846684823137601\ 421390068614202/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^25 - 1299707350905479947904961372945397905326938738921224537601489405016\ 328110316672348/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^24 + 8864153999034408767489186246356651144750289978346657906705525436617\ 76996845838203/7785973831572381480338201533334607999261211760203318\ 8339323859232007700310355*c_0110_5^23 - 4928860289935485682961500628600664788313951295542697328040649052976\ 1358759073931294/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^22 + 5790114446328194435719648406502918388154075654253252857051146237670\ 9997965077098892/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^21 + 1078677976675823605171974546789875909049869360615560388049355707609\ 5308826966985677/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^20 - 2895794755369773947932484861470839959282804310896731873721463194320\ 203006313008397/264723110273460970331498852133376671974881199846912\ 840353701121388826181055207*c_0110_5^19 + 1009225467040944353613686126819358801279653902323872590242046541651\ 20793297820279047/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^18 - 1945705174428439274239181951965263705985572355511997723158713422586\ 71797808212959557/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^17 - 3611569363627136065942924703627358342059178155873503703649912753543\ 4066189622045735/26472311027346097033149885213337667197488119984691\ 2840353701121388826181055207*c_0110_5^16 + 9826392626353082711682598994323581968042276513729398633628203145154\ 0654451838956763/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^15 + 3039396919798077593238371879696472832265668147034172127210296616211\ 76035220949118832/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^14 + 1408237616425571073961749738348904411473422785700359207639565889934\ 08383268719073693/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^13 - 3864132376882579594115877428321351488909022792802151273791555924168\ 0167396080225868/26472311027346097033149885213337667197488119984691\ 2840353701121388826181055207*c_0110_5^12 - 1675918395089818500440554188017726363069960345350608907842326148694\ 26081272218156506/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^11 - 5524762924823432224670937822145615531790504307806027344337251506690\ 855910420121461/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^10 + 7733390871814111809365951729386472260861379560604126557800384604087\ 5662438906168488/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^9 + 2685458151097414974680358522735326571220977091173914393566547448021\ 8348408453409149/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^8 - 1409954167452925037809334069751429879824741981232979133389042866413\ 6812191204243922/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^7 - 7116255947436541988570671232188395512333298928106295378466512105435\ 200693940107052/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^6 + 3758524083950618631715719144886190177801704882474044715325573847774\ 91987670193347/1323615551367304851657494260666883359874405999234564\ 201768505606944130905276035*c_0110_5^5 + 2371986923641360260686309922356794831771196279199442488601798663085\ 283612705368334/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^4 - 1225132850291093015492114240163172293077079110744314616260552495332\ 468262456863064/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^3 + 2406923871642521279897926470161885850499353274345518596179716349473\ 30175280536742/1323615551367304851657494260666883359874405999234564\ 201768505606944130905276035*c_0110_5^2 + 2841251075896198614331668465988311132900843997019978319606944190199\ 1288973996779/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035*c_0110_5 - 1460440495926618537224084834203908898504408945431503223145136427583\ 1987301193083/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035, c_0011_4 - 134382840447308061653864759042483355045014878166872759497719\ 918686081551778171631/308636002683529201880606308781383861090714434\ 17445955857707977799567852403024722*c_0110_5^31 + 4828783128095557994582330606255961408394953651375849238064272328797\ 74384786298119/1543180013417646009403031543906919305453572170872297\ 7928853988899783926201512361*c_0110_5^30 + 1835140751453677279514021343128960957227282503870575781509820713207\ 274961732872221/308636002683529201880606308781383861090714434174459\ 55857707977799567852403024722*c_0110_5^29 - 1179402150969331291748457669971015192724022307771741661470816171208\ 7822970610267325/15431800134176460094030315439069193054535721708722\ 977928853988899783926201512361*c_0110_5^28 + 7979662839487082017921051726419758038317750441253783186093550423174\ 0891252312524239/30863600268352920188060630878138386109071443417445\ 955857707977799567852403024722*c_0110_5^27 - 1266085104351823649706434248086546414422268546080092304726751736124\ 35452780254750186/1543180013417646009403031543906919305453572170872\ 2977928853988899783926201512361*c_0110_5^26 + 3679614864869118151381243551412808864327183939153072470580319299699\ 83733919934124905/3086360026835292018806063087813838610907144341744\ 5955857707977799567852403024722*c_0110_5^25 + 2289177507423210409684394848071826748381351409377896798178869951980\ 949520029412749/907752949069203534942959731709952532619748335807233\ 995814940523516701541265433*c_0110_5^24 - 3747911663416227588636781293321791803371577948826812974193775530837\ 13272352047010614/1543180013417646009403031543906919305453572170872\ 2977928853988899783926201512361*c_0110_5^23 + 2447905973320736961273292120328706696740932089975972277603148853075\ 931749134054348343/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^22 - 2812687289398711396268456885611211288830829572241312330261365844485\ 201752128160658593/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^21 - 6295554776305617468473237172449512937817887767511250892264245822552\ 81430613719091819/3086360026835292018806063087813838610907144341744\ 5955857707977799567852403024722*c_0110_5^20 + 3367371393136699082480413081185148911493898974563621051888374759504\ 38798217888266562/1543180013417646009403031543906919305453572170872\ 2977928853988899783926201512361*c_0110_5^19 - 5076295299395537443226619754402545310262063806111385599761255987493\ 806473143431103385/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^18 + 4776135862918887279404865032592460545871665078032809964814850203155\ 429570357278922057/154318001341764600940303154390691930545357217087\ 22977928853988899783926201512361*c_0110_5^17 + 9403587399421781727638894147279705893241950424917840196190890543330\ 625490235326945983/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^16 - 4403045884251788013924432833645112414553928253424568520338852758101\ 869802778803916391/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^15 - 1520874989384883250713332466492285499656634830606133538954337572839\ 6506160335604372639/30863600268352920188060630878138386109071443417\ 445955857707977799567852403024722*c_0110_5^14 - 7705178743240419055083780254436544358897751439793198034293809527055\ 668620346716730847/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^13 + 4546073922440886609092727497405420508730973073836824357001888718864\ 025022964078039718/154318001341764600940303154390691930545357217087\ 22977928853988899783926201512361*c_0110_5^12 + 8526365545713747420306839325757183992030020821746826628565526620051\ 373945282920786127/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^11 + 3434071374777727817763900605970956244288484372745000769151108551715\ 83053858616084400/1543180013417646009403031543906919305453572170872\ 2977928853988899783926201512361*c_0110_5^10 - 3659796069932518834621297826631691246050115157725176354140657250083\ 424429444838525109/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^9 - 1400095864983605913684686849824460708874089592954565542597002833128\ 304943434308506211/308636002683529201880606308781383861090714434174\ 45955857707977799567852403024722*c_0110_5^8 + 3126782924429466316522927360559773075873610897034622421692076915973\ 89359269795421983/1543180013417646009403031543906919305453572170872\ 2977928853988899783926201512361*c_0110_5^7 + 3410572188564922803159749371679751784154706191603131385061900282683\ 57777504062785251/3086360026835292018806063087813838610907144341744\ 5955857707977799567852403024722*c_0110_5^6 - 1255635951176953749858155705341928970612514476280010701126509724675\ 4743039420492747/30863600268352920188060630878138386109071443417445\ 955857707977799567852403024722*c_0110_5^5 - 5797763949716104330406406985787903856612159459803845148228656598843\ 0157019230950996/15431800134176460094030315439069193054535721708722\ 977928853988899783926201512361*c_0110_5^4 + 5876436333761668308254227043176675260087616434509710663013769647363\ 2263031826067421/30863600268352920188060630878138386109071443417445\ 955857707977799567852403024722*c_0110_5^3 - 1077893832417073751237386607400005841454962462925417427630386758732\ 1483758646673619/30863600268352920188060630878138386109071443417445\ 955857707977799567852403024722*c_0110_5^2 - 7677304818431606832429176363728637065458385195670205398024602065811\ 22454852225922/1543180013417646009403031543906919305453572170872297\ 7928853988899783926201512361*c_0110_5 + 6919773165879416579288272644303015332259259937208527255780203605647\ 96194609122523/3086360026835292018806063087813838610907144341744595\ 5857707977799567852403024722, c_0101_0 + 210897239403395417838763420493726050228679002348289439008851\ 90347680559158408853528/1311703011404999107992576812320881409635536\ 345241453123952589056481633727128550685*c_0110_5^31 - 1516527696175787854229291804877709581713814340690338579330567213504\ 86191571923740614/1311703011404999107992576812320881409635536345241\ 453123952589056481633727128550685*c_0110_5^30 - 2873639096887971983960757044082144256744281507856830726461212108427\ 92028846930633641/1311703011404999107992576812320881409635536345241\ 453123952589056481633727128550685*c_0110_5^29 + 7406173972339302481577890846483723690615283608506307964891013159693\ 23794293572950623/2623406022809998215985153624641762819271072690482\ 90624790517811296326745425710137*c_0110_5^28 - 1253871495566201305106104850831481763421480117673409109408698152562\ 6572460303509146978/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^27 + 3979181528348791080154894547407481611611297046711325763008224913673\ 1248470705249519407/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^26 - 5791375437137437103180072082345044249019474217362860618367231547951\ 0409393376879963662/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^25 - 1197445190805275344853423801144681071597509554140287261118336438686\ 8955919559926301843/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^24 + 6923158550264811457432671677471686980253076694475770807193965133082\ 448535634973741873/771590006708823004701515771953459652726786085436\ 14889644269944498919631007561805*c_0110_5^23 - 3846585927774204933972674349630769135206223574790055927091358430367\ 99642803033326935844/1311703011404999107992576812320881409635536345\ 241453123952589056481633727128550685*c_0110_5^22 + 4430189964601148720132248887493479906224708744897078757860065335550\ 31418850090053672377/1311703011404999107992576812320881409635536345\ 241453123952589056481633727128550685*c_0110_5^21 + 9698064912737718124125908521581019223642087583192902827289235395783\ 1015632115532773142/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^20 - 2122915672272516651024165955760245381315835944403170554210931892603\ 2016365205138864403/26234060228099982159851536246417628192710726904\ 8290624790517811296326745425710137*c_0110_5^19 + 7970450102481787788907752904924548400547380869571523335269051184505\ 60846826219849680687/1311703011404999107992576812320881409635536345\ 241453123952589056481633727128550685*c_0110_5^18 - 1502396865729272324827101877448483460061958263782480525775289998621\ 124155581220230152597/131170301140499910799257681232088140963553634\ 5241453123952589056481633727128550685*c_0110_5^17 - 2939124448002121661097454023731319606717441096662711214744237441372\ 64878835123278824586/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^16 + 6974166351651436864085655267438020110881162999073925718908675591748\ 00282383093298690688/1311703011404999107992576812320881409635536345\ 241453123952589056481633727128550685*c_0110_5^15 + 2384161444784394858233263607167837211395136373188921298846319939219\ 656489981964053183107/131170301140499910799257681232088140963553634\ 5241453123952589056481633727128550685*c_0110_5^14 + 1198892932372062131827725690168664562532026993369214708073600078111\ 628584287577606563948/131170301140499910799257681232088140963553634\ 5241453123952589056481633727128550685*c_0110_5^13 - 2864662948175396151201097648954276128045129015516702829958680516562\ 51754838991164478908/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^12 - 1332147343437520190014652067468177691181423899768638257690167546292\ 758488769727873147166/131170301140499910799257681232088140963553634\ 5241453123952589056481633727128550685*c_0110_5^11 - 1017546765303566243393785807962750313888628445952873512642512595604\ 78079421711953188696/1311703011404999107992576812320881409635536345\ 241453123952589056481633727128550685*c_0110_5^10 + 5749657545686866436325172600511350468084073713605452321725312566376\ 93936015334101866728/1311703011404999107992576812320881409635536345\ 241453123952589056481633727128550685*c_0110_5^9 + 2171595294745864862190848170032381283378618887247047985843509682157\ 80735312344433509344/1311703011404999107992576812320881409635536345\ 241453123952589056481633727128550685*c_0110_5^8 - 9921187941075822080049740911882127114725891949483913438946757494499\ 6875575818967094952/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^7 - 5311834619335898620710479122688531612900856016905976099315420892369\ 0178996485128024322/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^6 + 2283409287981311471973549870542242494432400046277523541803695133134\ 641254943966608682/131170301140499910799257681232088140963553634524\ 1453123952589056481633727128550685*c_0110_5^5 + 1820566134249530655891095005433489746326791483220303388201001383906\ 7972482165001548394/13117030114049991079925768123208814096355363452\ 41453123952589056481633727128550685*c_0110_5^4 - 9311697423361436087018120935921207103929894258586733526754048104032\ 994832919171048379/131170301140499910799257681232088140963553634524\ 1453123952589056481633727128550685*c_0110_5^3 + 1714526131591976049277749117388307091336759214507810071656650665041\ 644608387897843467/131170301140499910799257681232088140963553634524\ 1453123952589056481633727128550685*c_0110_5^2 + 2345526933397808928942193871032477483339080058369577934906908527207\ 73833914706160039/1311703011404999107992576812320881409635536345241\ 453123952589056481633727128550685*c_0110_5 - 1091623245201239977067110384615715695806119915837696153634427688839\ 96336108797662488/1311703011404999107992576812320881409635536345241\ 453123952589056481633727128550685, c_0101_2 + 178025462791122997567329462198900303644897029608018404207871\ 5852789078010299425858/26234060228099982159851536246417628192710726\ 9048290624790517811296326745425710137*c_0110_5^31 - 1279881025051860662165611331515644465256961931735481129914695199871\ 9953858317431192/26234060228099982159851536246417628192710726904829\ 0624790517811296326745425710137*c_0110_5^30 - 2427480035510480701199936510641552606029358689419691743233125254981\ 4932883750670215/26234060228099982159851536246417628192710726904829\ 0624790517811296326745425710137*c_0110_5^29 + 3125386887607032431618513341968972386386203722950559114974302780069\ 40354702583090684/2623406022809998215985153624641762819271072690482\ 90624790517811296326745425710137*c_0110_5^28 - 1057988848867780061281489795822915349857867810781554523039317634320\ 873873055125680746/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^27 + 3357701504922625130487184466481210841952326839302244398479338336730\ 348073958371728780/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^26 - 4884748755735746198554744066860953920194304046307308344576409417370\ 508588522145661993/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^25 - 1014488363874933054804099469288378407711791860015209167596605711405\ 390325252338854900/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^24 + 5840026788218971518612893333205494785345551234132274081337665968278\ 85478689606348470/1543180013417646009403031543906919305453572170872\ 2977928853988899783926201512361*c_0110_5^23 - 3245622432222442228589288422560824485607699309587009187474659440425\ 1928748336762934724/26234060228099982159851536246417628192710726904\ 8290624790517811296326745425710137*c_0110_5^22 + 3735682750869157319962275788164260129861739518091963656382352509350\ 5262370550090709193/26234060228099982159851536246417628192710726904\ 8290624790517811296326745425710137*c_0110_5^21 + 8208615938956378594851162125301478248119059798380453240522554720631\ 091336076430113495/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^20 - 8909017461404100966703225052753887499585129760843280113976846392162\ 622034155199441480/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^19 + 6727535665601019358105795041691129724842228892244105102800937017991\ 2757125807298574160/26234060228099982159851536246417628192710726904\ 8290624790517811296326745425710137*c_0110_5^18 - 1267158376286925119905516029725813419206440722079955738896906385443\ 74187828020737015254/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^17 - 1241749651137430799590611468076169378878272295458387707233366778426\ 26853824271397236557/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^16 + 5855601898121644100537077883942214929475123447104772984169923905185\ 6391498548613413190/26234060228099982159851536246417628192710726904\ 8290624790517811296326745425710137*c_0110_5^15 + 2011913180992202409767402160294725406024297261306410416065895008188\ 27862479036403361524/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^14 + 1015214618241705263192771431232307098069129394174171706244698024048\ 07670893480561225949/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^13 - 1205248768214173661782046742358426311917840908843267165935165699856\ 56738271395505318224/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^12 - 1124869038601179110952703983989946260054036549403501120529953726703\ 40951099848298498171/2623406022809998215985153624641762819271072690\ 48290624790517811296326745425710137*c_0110_5^11 - 8837674841841063501693660130364882197012351548904387340562815289970\ 864483132636259692/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^10 + 4839225666481162887299236770124816916005415432895960306976820913649\ 1162687395540322288/26234060228099982159851536246417628192710726904\ 8290624790517811296326745425710137*c_0110_5^9 + 1836322219605439037799852740505640812900511550672643496330252357808\ 6094640367445442427/26234060228099982159851536246417628192710726904\ 8290624790517811296326745425710137*c_0110_5^8 - 8312903203255713430834180963953743412983546051564742998606129690697\ 928583758821293534/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^7 - 4476760091443930639882693128503141214086086817655262490558137583847\ 645835238247118395/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^6 + 1853218007898108651437254006455470773265360826401004092486981493072\ 05266952636684708/2623406022809998215985153624641762819271072690482\ 90624790517811296326745425710137*c_0110_5^5 + 1532559402297821672298597426432258971629376429379306855545507584236\ 017415484456255108/262340602280999821598515362464176281927107269048\ 290624790517811296326745425710137*c_0110_5^4 - 7827599754969533647768853854026108655457666847520793289082401742788\ 30139515846189637/2623406022809998215985153624641762819271072690482\ 90624790517811296326745425710137*c_0110_5^3 + 1444518843009292495740223942930789513450516929283717821025764341368\ 02897371821591063/2623406022809998215985153624641762819271072690482\ 90624790517811296326745425710137*c_0110_5^2 + 1978351836487205373405052904405456207984174931349731646579239740473\ 9074266695799751/26234060228099982159851536246417628192710726904829\ 0624790517811296326745425710137*c_0110_5 - 9234687140526372813790716484789983674768260634345253134347804662171\ 251038482948967/262340602280999821598515362464176281927107269048290\ 624790517811296326745425710137, c_0101_3 - 650602290520159566273561583277523154494575763589004980740561\ 6666925535615845633/13236155513673048516574942606668833598744059992\ 34564201768505606944130905276035*c_0110_5^31 + 4677790425052249614751720527177130642781915155403056926191988061904\ 9662095934004/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035*c_0110_5^30 + 8867958485365055165949998182677777643708156383941619549742682442662\ 9348764649626/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035*c_0110_5^29 - 2284431372742725941308284939443206808884534257784872845171499814504\ 96113583998011/2647231102734609703314988521333766719748811998469128\ 40353701121388826181055207*c_0110_5^28 + 3867285798689915523640660558983507582018376918773836327841579065403\ 123591160962688/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^27 - 1227397845355132124523984877894573636171459535687201647447005319163\ 3972553138592397/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^26 + 1786089282757905656677927905196350973615855922559518658941660889270\ 9590531490323317/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^25 + 3690647335772271373776232901606515691128137047916137928300472606186\ 128514438661653/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^24 - 2134211477498960548549309712629733473847850368030780808284286678369\ 137272866780083/778597383157238148033820153333460799926121176020331\ 88339323859232007700310355*c_0110_5^23 + 1186472799018150631874038798884329461214743782042215217980130509006\ 14623808780104824/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^22 - 1366075411925566771390032754731253528608438354093606138447677800546\ 74151100724808537/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^21 - 2986034649104901531676913945756507816019807806556525327963283303356\ 1672044183866117/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^20 + 6514484368764107913104345967508741464335306176101548531464127922128\ 218920843823216/264723110273460970331498852133376671974881199846912\ 840353701121388826181055207*c_0110_5^19 - 2459548430073949296287971123701453172495038194218024572495300681044\ 61493162319095477/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^18 + 4631562707026405351060992653670042574840542047739017327763408231131\ 14992993827935927/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^17 + 9066773366511573628366467190422743538359002866459457648832066818279\ 1145209068621915/26472311027346097033149885213337667197488119984691\ 2840353701121388826181055207*c_0110_5^16 - 2141798292385878149728151377378017875399302621894581095125547705860\ 79339706361933613/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^15 - 7345526374026937777251261363073753748159909875115741287899650662614\ 39116776386444807/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^14 - 3699791335387730456780886726038016637094133263172807320004150668082\ 35507827836103023/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^13 + 8806933654884845612853822339620965515685536142612486638463931423715\ 8272779637733605/26472311027346097033149885213337667197488119984691\ 2840353701121388826181055207*c_0110_5^12 + 4098109359858653155145059330282374764599264616013214614036944054571\ 59081483765584251/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^11 + 3157539334710888279373214633471502942535964591704064970277796651765\ 4384938500210281/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^10 - 1765452454496861381092034062398985805165887793446633486712875956580\ 03540188573530878/1323615551367304851657494260666883359874405999234\ 564201768505606944130905276035*c_0110_5^9 - 6649965092865108470769903987121580996304790457683844786436139137425\ 4358128423355519/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^8 + 3057650075155331629890862355423226920300094464969222983006833106823\ 8977251070197077/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^7 + 1625713215455462917367596123402765197029278696396677462352067689336\ 5337672533892557/13236155513673048516574942606668833598744059992345\ 64201768505606944130905276035*c_0110_5^6 - 7535810259370299252255167289424344604093001867849447751198488425674\ 20453628185472/1323615551367304851657494260666883359874405999234564\ 201768505606944130905276035*c_0110_5^5 - 5605390624807848024253226029367926864761520844215545250814971734166\ 080349704110804/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^4 + 2874136626709129447251594160369306099883920313704194004847318168786\ 792966029487599/132361555136730485165749426066688335987440599923456\ 4201768505606944130905276035*c_0110_5^3 - 5295253145802437050447270037984347145106379390604649119318233332288\ 35340174968887/1323615551367304851657494260666883359874405999234564\ 201768505606944130905276035*c_0110_5^2 - 7325655996109293600204012823369154035200723250284030239010094972850\ 7425695086774/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035*c_0110_5 + 3348266657144036722707772640487656766266615779982973290470203355691\ 3323484066623/13236155513673048516574942606668833598744059992345642\ 01768505606944130905276035, c_0110_5^32 - 7*c_0110_5^31 - 15*c_0110_5^30 + 173*c_0110_5^29 - 561*c_0110_5^28 + 1773*c_0110_5^27 - 2385*c_0110_5^26 - 1095*c_0110_5^25 + 5476*c_0110_5^24 - 17171*c_0110_5^23 + 17516*c_0110_5^22 + 8638*c_0110_5^21 - 4181*c_0110_5^20 + 36809*c_0110_5^19 - 64025*c_0110_5^18 - 83349*c_0110_5^17 + 19876*c_0110_5^16 + 119550*c_0110_5^15 + 78440*c_0110_5^14 - 57289*c_0110_5^13 - 76347*c_0110_5^12 - 16839*c_0110_5^11 + 26499*c_0110_5^10 + 15584*c_0110_5^9 - 2761*c_0110_5^8 - 3453*c_0110_5^7 - 380*c_0110_5^6 + 887*c_0110_5^5 - 275*c_0110_5^4 - 4*c_0110_5^3 + 27*c_0110_5^2 - 3*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB