Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 1814949975] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0149 geometric_solution 3.64385962 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479603381766 0.016534783875 2 0 2 0 0132 2310 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 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.437815765641 0.055264176703 1 3 1 3 0132 0132 1023 2310 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4.605497976959 2.262183549734 2 2 4 4 3201 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 -1 -1 0 1 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.328993955999 0.238649314284 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 -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 0 1 -1 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991960246724 0.507882369713 6 4 6 6 3120 0132 3012 1230 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 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.993650367612 1.003125564425 5 5 4 5 3012 1230 0132 3120 0 0 0 0 0 0 0 0 -1 0 1 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 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.993650367612 1.003125564425 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : 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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 7668693134994172133560179854881159701407241046333963785582333763025\ 5355039/13529854532681862331009041016306643446889690283247264076736\ 83838026846063*c_0101_4^31 + 32575864027990680666557031394301976790\ 3837655352587812631341602343947486774/13529854532681862331009041016\ 30664344688969028324726407673683838026846063*c_0101_4^30 - 5901862746326398143355737890971440524388190578093634864870056488727\ 948118376/135298545326818623310090410163066434468896902832472640767\ 3683838026846063*c_0101_4^29 - 204632346482010306595858064447114746\ 10870231438214622277185948661020924952434/1352985453268186233100904\ 101630664344688969028324726407673683838026846063*c_0101_4^28 + 1690944109007247757227606043079918918364265016459464700212960836104\ 57090473997/1352985453268186233100904101630664344688969028324726407\ 673683838026846063*c_0101_4^27 + 4294573663318121466073326329502577\ 76907201528279399671502292034041498483986055/1352985453268186233100\ 904101630664344688969028324726407673683838026846063*c_0101_4^26 - 2050921725308910983906163177165215810638418726855619012239098544768\ 914728779870/135298545326818623310090410163066434468896902832472640\ 7673683838026846063*c_0101_4^25 - 387010968105419596247304907119695\ 0711198186546421499437159130788614950521099671/13529854532681862331\ 00904101630664344688969028324726407673683838026846063*c_0101_4^24 + 3210442147961310286363173427044573303084507170159549515732331308303\ 1408445016/32290822273703728713625396220302251663221217859778673214\ 16906534670277*c_0101_4^23 + 18432698221334498909181967472150861549\ 115290224417046445898587645630228552774296/135298545326818623310090\ 4101630664344688969028324726407673683838026846063*c_0101_4^22 - 7688562284089379147405153787677374795687336342020452263237604651440\ 968396884267/193283636181169461871557728804380620669852718332103772\ 524811976860978009*c_0101_4^21 - 7290523034675325770174579773485676\ 131816110644145611055533509201119777418795201/193283636181169461871\ 557728804380620669852718332103772524811976860978009*c_0101_4^20 + 1401811859317213582702947740944932281969901051242336381745588913450\ 89082680657988/1352985453268186233100904101630664344688969028324726\ 407673683838026846063*c_0101_4^19 + 8415931710049603579984761097255530357476510907363013161872058106256\ 3150562373353/13529854532681862331009041016306643446889690283247264\ 07673683838026846063*c_0101_4^18 - 2467914894563309469858217308923392355682625389275800572423949135688\ 23266367053838/1352985453268186233100904101630664344688969028324726\ 407673683838026846063*c_0101_4^17 - 7662189738377128362334435750133866796372148352050899661496031156679\ 8742836598051/13529854532681862331009041016306643446889690283247264\ 07673683838026846063*c_0101_4^16 + 2983835688670033896880399539089237385475092828188542331061911431987\ 65890341245891/1352985453268186233100904101630664344688969028324726\ 407673683838026846063*c_0101_4^15 + 2000757631427521054937487653294199251506848495648858852401429862115\ 9679036389725/13529854532681862331009041016306643446889690283247264\ 07673683838026846063*c_0101_4^14 - 2460067384453454209925795300863511110463950258515455545783229787636\ 60733221198325/1352985453268186233100904101630664344688969028324726\ 407673683838026846063*c_0101_4^13 + 3456638939090463974006953953087332382403306273822910058943598066839\ 3622908500444/13529854532681862331009041016306643446889690283247264\ 07673683838026846063*c_0101_4^12 + 1331294876821951474411853848252318086890039070775219222283374763204\ 67037642718300/1352985453268186233100904101630664344688969028324726\ 407673683838026846063*c_0101_4^11 - 4391037050431170522122042989255567110719322845704898634031813407122\ 3987132679005/13529854532681862331009041016306643446889690283247264\ 07673683838026846063*c_0101_4^10 - 4286530603757006242961606887605579234272908560501886366560671113670\ 9446545250260/13529854532681862331009041016306643446889690283247264\ 07673683838026846063*c_0101_4^9 + 335785892316923630804358187780322\ 0246042379860072799834241054710778823440803241/19328363618116946187\ 1557728804380620669852718332103772524811976860978009*c_0101_4^8 + 5958176839732238075892690661945155685914290565018943723111661440437\ 382295527228/135298545326818623310090410163066434468896902832472640\ 7673683838026846063*c_0101_4^7 - 6411909159899321807555392930215851\ 388328021207718568743579075000321060770141735/135298545326818623310\ 0904101630664344688969028324726407673683838026846063*c_0101_4^6 + 4577540506815569134141909941598574247780103857032981459419117876968\ 19411287753/1352985453268186233100904101630664344688969028324726407\ 673683838026846063*c_0101_4^5 + 80190008500550298822295250037048890\ 1543567753519443789137788746454507369450572/13529854532681862331009\ 04101630664344688969028324726407673683838026846063*c_0101_4^4 - 2031899578290465770193615397037308248596035158018112093715001035324\ 16075626562/1352985453268186233100904101630664344688969028324726407\ 673683838026846063*c_0101_4^3 - 36381555387862014271419880984996918\ 618779312817604519378519783538783266426485/135298545326818623310090\ 4101630664344688969028324726407673683838026846063*c_0101_4^2 + 1690828622737832154379575154608214042860977581700129816824541763992\ 454996735/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4 + 2195896449356856705461522802520186181272\ 23105424853409709984712392565107330/1932836361811694618715577288043\ 80620669852718332103772524811976860978009, c_0011_0 - 1, c_0011_1 - 353168362282599078496383647640437955782949397201626107026899\ 336197729589/193283636181169461871557728804380620669852718332103772\ 524811976860978009*c_0101_4^31 - 1442642706300093971085704900021124\ 087871169023883023735020141722162253248/193283636181169461871557728\ 804380620669852718332103772524811976860978009*c_0101_4^30 + 2729573588197040399926285149883650922698316107875577365820835525787\ 2583119/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4^29 + 893662013278629509090528027710914919256\ 16155784062565263744943547740625750/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^28 - 7838617469092884596318237251242053577613043124682417514779958735502\ 04907108/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^27 - 18249532831355161264245344999768320143\ 84356074120627353186479464415733961843/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^26 + 9465532041495109533377908020153059512522180811790679272195524167185\ 132496019/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4^25 + 1581742780726291390406221497397425358\ 5312003520312281494538478429217820361777/19328363618116946187155772\ 8804380620669852718332103772524811976860978009*c_0101_4^24 - 1458751855231768377607000858243230963517975982719895396440484603006\ 07044862/4612974610529104101946485174328893094745888265682667602024\ 15219238611*c_0101_4^23 - 71509808896987027316185053829611373019198\ 655846608108701382321903507856251410/193283636181169461871557728804\ 380620669852718332103772524811976860978009*c_0101_4^22 + 2375471662483001239685082263756182036864385466855165758594964553515\ 59342955495/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^21 + 18473468836396354692881307694799598\ 0886436669214901864366445962694610137375348/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^20 - 5926261321012033823815275704174608981269155230295289715171716322430\ 71810168049/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^19 - 27632766532044520656061764414909061\ 6700398498979811125679671986566768292105925/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^18 + 9865485193692453611921185592546164129143031640757873629177807901447\ 72816809548/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^17 + 21000213746432216902984739471845375\ 1915171810619729280479219689299075270363753/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^16 - 1115735124167477278000653996483411501128925950258321467275617534681\ 550473692866/193283636181169461871557728804380620669852718332103772\ 524811976860978009*c_0101_4^15 - 2501123101749577768948332089878583\ 014779898348946121973378621220037663306798/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^14 + 8533983903355486738950150735080201626925912826445284684768112089732\ 22108247908/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^13 - 15092465826867286324574018516864269\ 0843528508083405900289944201276950917375920/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^12 - 4264987613340368806336761974831919474979159717634245545321241598812\ 14789102559/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^11 + 14512719819936269673434907128791201\ 1596988784094682783712585244700189552947792/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^10 + 1274035349221172283170274764189800752571115755666247293515876388938\ 55784408055/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^9 - 675013973307417416451627738265737481\ 90282435576231013091773935161111496543744/1932836361811694618715577\ 28804380620669852718332103772524811976860978009*c_0101_4^8 - 1743700677959229182000203615448677196398886772811305838899862565884\ 4447669534/19328363618116946187155772880438062066985271833210377252\ 4811976860978009*c_0101_4^7 + 1684526396365663556447801973016661201\ 8539823808673672062380162924309940199878/19328363618116946187155772\ 8804380620669852718332103772524811976860978009*c_0101_4^6 - 5247929221274304279749674316089844395005246481152815310206819007309\ 57675702/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^5 - 216976921451368090173602693613699218279\ 6628942702567199051780532317494563535/19328363618116946187155772880\ 4380620669852718332103772524811976860978009*c_0101_4^4 + 3674026587078667781213127348482912149275754050401741972672867039078\ 66132273/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^3 + 152897801880384086462311546294340086390\ 111583347381768282065059084110898198/193283636181169461871557728804\ 380620669852718332103772524811976860978009*c_0101_4^2 - 2669216276062530178631152154470010107573635962964382858310870411594\ 8280628/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4 - 571889172235511381245069459627172140749752\ 2628666421820489293082521259500/19328363618116946187155772880438062\ 0669852718332103772524811976860978009, c_0011_4 - 224381989361206642473734814959683902996156752113080188533332\ 616941505797/193283636181169461871557728804380620669852718332103772\ 524811976860978009*c_0101_4^31 - 9787509681367055840168316371669971\ 07590566195106068711613223344221269366/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^30 + 1714976098601953719315229208921019024575584792595817620118260607041\ 1069038/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4^29 + 617925284032203558005200872264784810562\ 54651470472181343772596534134085122/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^28 - 4871989658930514181173241673514839972323641499334151323335442991558\ 44911564/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^27 - 13096410336117917474314409740766744294\ 68499579401429792646919864801810625869/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^26 + 5837975586763968209190929418514257748697018971834620324912047465750\ 639730585/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4^25 + 1193290130964145174087648925845183927\ 5292101781236707426697954950071154000161/19328363618116946187155772\ 8804380620669852718332103772524811976860978009*c_0101_4^24 - 9034110318475285294693222571602102387408320686659575670468260072198\ 3963001/46129746105291041019464851743288930947458882656826676020241\ 5219238611*c_0101_4^23 - 576974728262614808760151862825064185306144\ 19619005371303325026760035985737209/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^22 + 1500408257455779136821018535605024557307592130185533400034736222451\ 68323749712/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^21 + 16354489816121847079813972202136101\ 5205267899725482331866220883241879326885375/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^20 - 3883160417693010200326340531559921691138263693237390502108123075419\ 05086491042/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^19 - 28152777073784917835323817557271648\ 8641183584694979975987116099983490164100624/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^18 + 6816999818365396639933016759075852666602154853408194358609189075179\ 52353188312/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^17 + 28435563238650009572796864877110512\ 3894557219813620376090810140982034059351885/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^16 - 8251678670012426135767080848108144326575109121422074361174841169945\ 84416514028/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^15 - 13093302215711205719034890222708293\ 7240475669010289013122772960004022885350648/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^14 + 6843268482285035174270648804634633987517245885861561766898763486604\ 20114031776/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^13 - 39375240244250915215904169379836034\ 969367994426839639000016294024343813658110/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^12 - 3753647014201725084192271713496124104688668146800168511619957324667\ 81368542626/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^11 + 91843591554904317772754083730512289\ 264239951320519663515019165041869512580200/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^10 + 1251897907867696156179017068950345449316425134143336234874769423434\ 10889012436/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^9 - 544823295023529915224247584905933521\ 98110476471169954603728004012977233321136/1932836361811694618715577\ 28804380620669852718332103772524811976860978009*c_0101_4^8 - 2032273431527619928652778228444900715374369192516015931832787966453\ 9963032876/19328363618116946187155772880438062066985271833210377252\ 4811976860978009*c_0101_4^7 + 1559262811088106678462191328317061301\ 5953672281143529713494725703460038654824/19328363618116946187155772\ 8804380620669852718332103772524811976860978009*c_0101_4^6 + 1051361328300502618317619746398647840908709221793835713055448865051\ 13912523/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^5 - 215261774692817935488789295448188639250\ 0247261434948392391766501514896806259/19328363618116946187155772880\ 4380620669852718332103772524811976860978009*c_0101_4^4 + 3232090330883483712514437687791361594907239497391283053720669464091\ 86620925/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^3 + 156026154423272740263933783181313116017\ 921972920822594870103898391594374532/193283636181169461871557728804\ 380620669852718332103772524811976860978009*c_0101_4^2 - 2711849140508684319953748845500762651494560203719348959987323673740\ 9747079/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4 - 604548415167131703472986392237578246831968\ 5357258258238377036283306706889/19328363618116946187155772880438062\ 0669852718332103772524811976860978009, c_0011_6 + 215177592086648980203936785092864582932578350580180949869034\ 203206460870/193283636181169461871557728804380620669852718332103772\ 524811976860978009*c_0101_4^31 + 8820502344766772444889951535772314\ 37918551085290355215707403542435509110/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^30 - 1658436307411577175055573265996505083858914002420692954297562110029\ 7402422/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4^29 - 545542998575245241714320258116069564167\ 63241459482122862859943685390052412/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^28 + 4741922255188352297017291419232727488802875730576986526100025856472\ 13313794/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^27 + 11106488122881328919399554962785432742\ 69913825952273039526930477180741683466/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^26 - 5675871220510558597875911015934708575093812798010577263875064025373\ 556143213/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4^25 - 9559609678977488940601232441473405054\ 701115146478051695797450517309186163829/193283636181169461871557728\ 804380620669852718332103772524811976860978009*c_0101_4^24 + 8638526077487463381890909617415827255274228588942249078652352434903\ 5532933/46129746105291041019464851743288930947458882656826676020241\ 5219238611*c_0101_4^23 + 427826257790800537953212354450821908200038\ 29321255703904809981921914610915514/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^22 - 1383304840942236167836814888996034774516287482961317495263637214347\ 50034928237/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^21 - 10911815121528220056171760664675690\ 0860947431864732725397713856492748835540020/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^20 + 3375933354810223977093380549115388388706556774648737183924767587411\ 02117364780/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^19 + 16110879471766188101087900386890320\ 5715864051672151476518436844270225914215597/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^18 - 5464635582811610760235680806877826069921410425285339713769378611214\ 08648107137/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^17 - 12259559515016710793944387754884503\ 5104472167982831075822592331013745388755511/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^16 + 5967125877345685031121929430650114480644605693046424242098233471773\ 30876862494/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^15 + 92196890281567799969913371617678291\ 36394114365040813553590783824957678829858/1932836361811694618715577\ 28804380620669852718332103772524811976860978009*c_0101_4^14 - 4368290318363651549946317375926120613863277295431689425130284939128\ 47674147255/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^13 + 69744987682008285891382729094851290\ 301919289861285316495957949429198687696394/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^12 + 2065728157002345019944009166987776088313942638200285703717040243630\ 27054580058/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^11 - 65183303550811978122369214653671879\ 223019067681875650934912207380006501139977/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^10 - 5754687588549236011885175560363974170127715672634654224035319161577\ 3627304781/19328363618116946187155772880438062066985271833210377252\ 4811976860978009*c_0101_4^9 + 2833721199830525226693117088126248676\ 6675421220265474057435580750479173135816/19328363618116946187155772\ 8804380620669852718332103772524811976860978009*c_0101_4^8 + 7263772957939764867979411735568976733692983457323028475992762498885\ 809033636/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4^7 - 65473697846159935903289513170285552430\ 64667253755360850615839158432383893863/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^6 + 1527559806967720015239681702497661455280035699159555424596040616742\ 43670761/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^5 + 804971390816697222443931887501130441686\ 815427615971844081366153655275008778/193283636181169461871557728804\ 380620669852718332103772524811976860978009*c_0101_4^4 - 1103569711252103098317139810843509074114042912908012827964220031185\ 28380436/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^3 - 544075967123500455751886087340455384540\ 87013037336817628253587919890048465/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^2 + 5167645294446266944993691306222408849417918486462993922857507095318\ 816587/193283636181169461871557728804380620669852718332103772524811\ 976860978009*c_0101_4 + 1190207952902270989906961458505959551444078\ 775397016213934425608394084863/193283636181169461871557728804380620\ 669852718332103772524811976860978009, c_0101_0 + 288143868995010334458939140129103991335847425426038861840109\ 461393639057/193283636181169461871557728804380620669852718332103772\ 524811976860978009*c_0101_4^31 + 1351718212984384506097261648950846\ 205849119654236722368996650031480384222/193283636181169461871557728\ 804380620669852718332103772524811976860978009*c_0101_4^30 - 2154709423737547577464204151686126656994156670756538555407983388242\ 3018690/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4^29 - 863175560405712883640832763145267581161\ 60920910402386163402549667776296131/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^28 + 5948262444975001484795726061864239710761137846238034466241291328833\ 78263961/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^27 + 18697838337693528695383964588610933968\ 84783049705782598908467156738296484138/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^26 - 6812423118670787368212278372402493925103304666819004316918747953312\ 394413548/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4^25 - 1740820738823383668996253001237343564\ 0692376824082830406746635431175563346225/19328363618116946187155772\ 8804380620669852718332103772524811976860978009*c_0101_4^24 + 1003545391626571545181558781828563438343855301075134348740350924739\ 48949017/4612974610529104101946485174328893094745888265682667602024\ 15219238611*c_0101_4^23 + 86584222714671150576034548057920646722172\ 165862930998479793754201750771512974/193283636181169461871557728804\ 380620669852718332103772524811976860978009*c_0101_4^22 - 1588546730700041539293650167227802538170261821431616170025314932810\ 70863935963/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^21 - 25634800299364130199296643659646617\ 0316974895807567093918735944590204339344175/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^20 + 3938904902160012712047541119592637311215458293800746373321206462275\ 55186863261/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^19 + 47638051056409217725473360256669905\ 3326167014041509526370759241581957975276850/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^18 - 6689404531185236884114735189875873280000571693538711610272354266454\ 67000989644/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^17 - 56475108289278703186872850435415935\ 0127226350257909004094010703592716665846712/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^16 + 7941552909800707424325785575216663102136072573816635976923828127647\ 20907574346/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^15 + 41655737578453919725473573366243829\ 2930135470432451059374586056304059027195053/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^14 - 6567338619239132899171777220537415249591083128045723979500188784806\ 79589010771/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^13 - 16934941063671895790363785568733374\ 6886612984358277514377327190094060985366912/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^12 + 3667884347943209190734688013024165831611088929171914783477103361610\ 50670105586/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^11 + 15744585688706777488600167260494371\ 336787797785409534278080849915493804735257/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^10 - 1296087645940585687473342488385692690082477906841008668773212405824\ 10603591321/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^9 + 175995956259406112367267276524983054\ 32191361148715026110675278922183132074869/1932836361811694618715577\ 28804380620669852718332103772524811976860978009*c_0101_4^8 + 2567111069900739523878058025904252206283125645752773913037785840497\ 9254135289/19328363618116946187155772880438062066985271833210377252\ 4811976860978009*c_0101_4^7 - 8071938857257611302635127366353131555\ 721357348721533434865997100756046270851/193283636181169461871557728\ 804380620669852718332103772524811976860978009*c_0101_4^6 - 2251319632695299077916618882589738659323527389422892590413864933142\ 777536107/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4^5 + 13784248276024329563321503750996884984\ 06768415338565209357578739765369236719/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^4 + 7782636885784386950137120437383749227467573990148947059629262557758\ 3340664/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4^3 - 1061561436959589471386453281188350757944\ 48401969001593598994764462226682965/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^2 - 8432974383460725402658980886947951389433829739774049768832519359077\ 264938/193283636181169461871557728804380620669852718332103772524811\ 976860978009*c_0101_4 + 5967144813133528750772524692956815204344061\ 15602935927567242447640360871/1932836361811694618715577288043806206\ 69852718332103772524811976860978009, c_0101_1 + 107137339252202357343481956227926081569545183752057892963406\ 660314092580/193283636181169461871557728804380620669852718332103772\ 524811976860978009*c_0101_4^31 + 5016915062733742311515874992795095\ 55992303801765440441449119606726778782/1932836361811694618715577288\ 04380620669852718332103772524811976860978009*c_0101_4^30 - 8116398991401581702848287991836510332039883691721679116106505653797\ 127514/193283636181169461871557728804380620669852718332103772524811\ 976860978009*c_0101_4^29 - 3240419484096922439959654828505472447442\ 8642661758492398200555719966609018/19328363618116946187155772880438\ 0620669852718332103772524811976860978009*c_0101_4^28 + 2293065068370924172763775558519832877940664709366315470022237690734\ 32680079/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^27 + 71607094425629564921429710568001893395\ 6752337689841648346180610968509747726/19328363618116946187155772880\ 4380620669852718332103772524811976860978009*c_0101_4^26 - 2767359819089780357820704242464483957499023669660387741559691147797\ 825941533/193283636181169461871557728804380620669852718332103772524\ 811976860978009*c_0101_4^25 - 6888342204472101792049678551656935551\ 895295296630412620235922427314229229043/193283636181169461871557728\ 804380620669852718332103772524811976860978009*c_0101_4^24 + 4406900799108057799103184992138673819639118720302744178034658406822\ 5883374/46129746105291041019464851743288930947458882656826676020241\ 5219238611*c_0101_4^23 + 355161169471874699415792932737898097212931\ 99486505285603370521683205778421722/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^22 - 7710337629161203230631369911098332360250250804366688770075069404916\ 7219333399/19328363618116946187155772880438062066985271833210377252\ 4811976860978009*c_0101_4^21 - 108271012771057493667895122503737040\ 391756340382909935328510379168448250723992/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^20 + 2143280359200719023333954272403168211170856553856053976665076701773\ 38300823098/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^19 + 20227446163825396836043753679384144\ 3018863164935376552813766474321661196282552/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^18 - 4086003999515168043431247952195386719739155404133529959052254894904\ 99642333270/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^17 - 22611429739638673516763897467105462\ 2413550574563667139589038732287413042625091/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^16 + 5385560570442957718558795186772883190549956025307945614499290867834\ 53625358709/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^15 + 12621321968782428916747864197990474\ 4541739976081847789007874608990380219900144/19328363618116946187155\ 7728804380620669852718332103772524811976860978009*c_0101_4^14 - 4846533249866237285748068117500717709420187004694981462422856036852\ 77790789863/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^13 + 10787157998420590422678765108463989\ 243256555130891964365286432953398577131349/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^12 + 2863793977967436696809709493910025568718986345413908538852153702330\ 84415155443/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^11 - 67337418671764186299602819941712976\ 262236663897602094488883995285028405791340/193283636181169461871557\ 728804380620669852718332103772524811976860978009*c_0101_4^10 - 1018424800671395769760240300283501829744279390812084027412480843309\ 92338104967/1932836361811694618715577288043806206698527183321037725\ 24811976860978009*c_0101_4^9 + 449814455202461943022294483686292927\ 43494636064114318191210197916765269972568/1932836361811694618715577\ 28804380620669852718332103772524811976860978009*c_0101_4^8 + 1730026536674692894564862737521202627373440348763378384454862412369\ 3037547990/19328363618116946187155772880438062066985271833210377252\ 4811976860978009*c_0101_4^7 - 1361681945749893357312628655159510447\ 8382914644686852222344665506337715080143/19328363618116946187155772\ 8804380620669852718332103772524811976860978009*c_0101_4^6 + 5668812056918726031943512859173060329673857842615169091207374114494\ 449510/193283636181169461871557728804380620669852718332103772524811\ 976860978009*c_0101_4^5 + 19001060119817539802292342665840882875252\ 78370474214862754926313722958102322/1932836361811694618715577288043\ 80620669852718332103772524811976860978009*c_0101_4^4 - 3177600446663548196213560153675174230724299011939981123850926195182\ 49609272/1932836361811694618715577288043806206698527183321037725248\ 11976860978009*c_0101_4^3 - 135960597163485275470862586603453580440\ 195045749244385964611353069686674287/193283636181169461871557728804\ 380620669852718332103772524811976860978009*c_0101_4^2 + 2842863070673114681250625771339320469401825876446176455127091556993\ 9312912/19328363618116946187155772880438062066985271833210377252481\ 1976860978009*c_0101_4 + 587566458460926040546152021123116924575134\ 8046396970749279819360412704207/19328363618116946187155772880438062\ 0669852718332103772524811976860978009, c_0101_4^32 + 4*c_0101_4^31 - 78*c_0101_4^30 - 248*c_0101_4^29 + 2269*c_0101_4^28 + 5073*c_0101_4^27 - 28036*c_0101_4^26 - 44432*c_0101_4^25 + 186281*c_0101_4^24 + 204362*c_0101_4^23 - 748923*c_0101_4^22 - 540617*c_0101_4^21 + 1944154*c_0101_4^20 + 833503*c_0101_4^19 - 3388884*c_0101_4^18 - 656455*c_0101_4^17 + 4044447*c_0101_4^16 + 3455*c_0101_4^15 - 3304499*c_0101_4^14 + 530323*c_0101_4^13 + 1805528*c_0101_4^12 - 543241*c_0101_4^11 - 621877*c_0101_4^10 + 274085*c_0101_4^9 + 117814*c_0101_4^8 - 76793*c_0101_4^7 - 7622*c_0101_4^6 + 12111*c_0101_4^5 - 663*c_0101_4^4 - 1210*c_0101_4^3 + 77*c_0101_4^2 + 77*c_0101_4 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB