Magma V2.19-8 Tue Aug 20 2013 16:16:41 on localhost [Seed = 2362249287] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0971 geometric_solution 4.86633122 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 1 -1 1 0 0 -1 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 1 -1 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 0 0 0 1.721113197612 0.336765410855 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 -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 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 1.009146677623 0.825967138325 4 1 3 3 0132 0132 1302 3201 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 0 0 0 0 0 1 -1 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.271199677628 0.664169464252 2 2 4 1 2031 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 -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.271199677628 0.664169464252 2 3 5 5 0132 3201 2310 0132 0 0 0 0 0 1 -1 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 -1 1 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.458674803172 0.462648599471 6 4 4 6 0132 3201 0132 3201 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 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 -0.098161265576 0.668493733671 5 5 6 6 0132 2310 2031 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.953748038551 1.606422398533 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : negation(d['c_0101_4']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1200016147920445018489473925443137518932981769721940162237/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^23 + 7440256191965999634015292925226906380529913335112438344565/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^22 - 2776822754680875099092014895871108251993885328175592882618/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^21 + 2037127848313402096848300237248355243689647350592223305966/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^20 - 25684336323642956690767690569002968233924503526950217610091/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^19 - 20446541174237731877930445730147394874735975273877282122775/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^18 - 16548957603691713088799756525442271662467307484245084759375/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^17 - 159566481180879336954561901612392202147239725491626415930659/352014\ 8730107201093962683694923102843473398627280669413*c_0101_6^16 + 5490259216302325836542700819918226332759191985448373103642/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^15 + 187863406412821989722695775731125189087102316707220334534624/352014\ 8730107201093962683694923102843473398627280669413*c_0101_6^14 + 578889943995967766415996285231850771106964959732279425616565/352014\ 8730107201093962683694923102843473398627280669413*c_0101_6^13 + 282596953968911350110008816478356237573987105204626932123633/352014\ 8730107201093962683694923102843473398627280669413*c_0101_6^12 - 1070758793464123681582961989699737273854087329431552514238542/35201\ 48730107201093962683694923102843473398627280669413*c_0101_6^11 - 401353815480242044227336459948682444721149091551364305063217/352014\ 8730107201093962683694923102843473398627280669413*c_0101_6^10 + 594410076279624432961080773286893392003013035427826307529902/352014\ 8730107201093962683694923102843473398627280669413*c_0101_6^9 + 101709894255344542087188519734306507257982007008096458655387/352014\ 8730107201093962683694923102843473398627280669413*c_0101_6^8 + 11837386557828819904160592532165932774018966393127823829148/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^7 - 30513385238978977566753095024931314510973945454984669040309/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^6 - 63833091284676362707853695828993580317573275384805940509609/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^5 + 39648220660179730532077027307277190409108053460685743236613/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^4 - 8772757891532854474901211222710112964142361093580314137668/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^3 - 4761175298736129586657419020119722186260287438374817042587/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^2 + 2899936379464478282334332627851202927258076291755093526412/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6 - 530070723322610373005826908564017332203385076551005512674/352014873\ 0107201093962683694923102843473398627280669413, c_0011_0 - 1, c_0011_3 + 8750586081181077193549497276267928052783213894301963890/3520\ 148730107201093962683694923102843473398627280669413*c_0101_6^23 - 41568425411931000819232317048090264164530017946891967935/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^22 - 48327181968088313838423153693581030750971832410569500149/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^21 - 38838759539044597409818864219613325251914737663321423754/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^20 + 137648078365491456688537367725821025438380588413828662298/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^19 + 396864115957893958828269992500489368044874111218707253056/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^18 + 518149593983348524599910252523891549469334708023271635090/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^17 + 1695893599510031314469977528882731758421776434487644547322/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^16 + 2033487731260444338776133635714906721012882608841359076332/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^15 + 245726265607195425320209975080601149311182053326395087165/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^14 - 4822818819317978762977469885728788244498558297203742334037/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^13 - 8881109701347126811969064063190677474572092075882546719954/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^12 - 649275413205354056052179618870966485089001982010968332404/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^11 + 7097311209589269716048605126586037444147688371512866883327/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^10 + 3818165360182771306703022602502777302399540130433119758216/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^9 + 409513044830733814614872597575359376884764684498113768882/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^8 - 1183843728768814336896894510662283513294292358886405189048/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^7 - 1090157693523632701256891262849384722151698093559462353462/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^6 - 44793533581494539286279557635821477246573802699354158186/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^5 - 24849077997105136825788730013754350239445206122452978085/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^4 + 3945279941752136460181070822460648289951589437325932109/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6^3 + 3298217221184792579147110395628454421019258530775994046/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6^2 - 577698328028781438356216217226587112270638145494308965/352014873010\ 7201093962683694923102843473398627280669413*c_0101_6 + 733839013873442249119998096873163811766360855411683168/352014873010\ 7201093962683694923102843473398627280669413, c_0011_5 - 3678631494332683420341003995012805525618953083398833526/3520\ 148730107201093962683694923102843473398627280669413*c_0101_6^23 + 21338309891338560232409696368789458626937045309059752858/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^22 + 501454930599313785676623839777939502159363212394558601/352014873010\ 7201093962683694923102843473398627280669413*c_0101_6^21 + 3347942375740462498159776529369119167240106886432251102/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6^20 - 75709260540780599021359338427124399187826866820716082992/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^19 - 94838295393609381851510246289721961930477059394612997834/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^18 - 77308637178408795823117459580707165211883841915629836553/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^17 - 513999602159339012679459399153555468721761657261864622332/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^16 - 179351706072261493225462612102067285638846410304936188334/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^15 + 568881183697909016165944153495165063029263125406820526977/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^14 + 1993813046231463305422420535909942690099900003027349881307/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^13 + 1604348942713229552753251429822558435067487838902215268760/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^12 - 2872291433535482513659394322910266289777288670740230792763/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^11 - 2473997452690746660478485327115021832520810639121021658646/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^10 + 1222918976372165022797633949630067019920052722109933258102/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^9 + 892320317717962228067709361368484824289332303060050461053/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^8 + 233468488110256149131827529758078583965925420657226551647/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^7 - 11491140926913093227961249430267721276977353888727799902/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^6 - 240913355734252425774469844890657365290297866205606757478/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^5 + 48835281119923201467096151908196455664788168627761334202/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^4 + 10080118711711498377721184860718715597908232818682386531/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^3 - 23231738536156713064813674362842508008617868660939074725/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^2 + 8451609427354051546024225907159012035008789178389081533/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6 + 29609466489083109830621906345949642682133674092227974/3520148730107\ 201093962683694923102843473398627280669413, c_0101_0 - 15268164238082939290179608473740684704853683891506116873/352\ 0148730107201093962683694923102843473398627280669413*c_0101_6^23 + 82922576920553112243100626280084346729009231031793266275/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^22 + 32848281222950548034339436328767107042619924105537129696/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^21 + 24533620088629871377398328337617227883337623328690946240/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^20 - 301290338778851273401703721871790983935747101720735981175/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^19 - 502069891920737340238021699024099282898683489804305376902/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^18 - 498692642559530829219194091038662784333965386062688820297/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^17 - 2330414203822942937672243865331802877595552531723111529716/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^16 - 1630800187355270812765976678413475662744032718812373343840/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^15 + 1725078431340688294708022771326903758383858807363268531759/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^14 + 8782229050590545769501600245459754705727092549183017622706/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^13 + 9723476325837307572322296459593221446882038587386401253914/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^12 - 8417100421531386181482387588731079672229607302465278878091/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^11 - 12978906113049929352037095937827412244000589946744592707616/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^10 + 1080169203399445421573714994460430968635331985395656115132/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^9 + 4255362948823637566956962890218556483547536400628180742909/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^8 + 1865416104594845701060820782820029901829965103366812599485/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^7 + 224896572031077079551485244402314834648566222294843018010/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^6 - 874337762140562208179244081478977400420223426854082025214/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^5 - 49282817771479512821076685905491224701225651383715708830/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^4 + 109522491918932890191641639924552019985716541715234010554/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^3 - 44375731784291366356629305992225919244083190627387620428/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^2 + 1091434202071489070113990313463386294190119261965576897/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6 + 4360075646971625669438791780042072537793694535949277093/35201487301\ 07201093962683694923102843473398627280669413, c_0101_1 + 19273942190775299687403722204290363478300937404695286939/352\ 0148730107201093962683694923102843473398627280669413*c_0101_6^23 - 99845314855919320325881000233849159734542216232929165676/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^22 - 68435463555430137210460821742454334948769706128122155399/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^21 - 34371792922635731568875194906624703830816082131018863989/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^20 + 355904913704291245812368599783378934104213297422747291962/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^19 + 734415566971349146897153836668846890548392800387534497499/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^18 + 756400176899163262067974761443091114993041145526721067659/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^17 + 3144760458014510296519613989100457543001108129141260574182/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^16 + 2829930263167945707995285291360190224507726311454565368063/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^15 - 1658179297842647133453661264308285683814402968767708851192/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^14 - 11246677795714817908481557680245370472865972154209234278751/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^13 - 14783565168963387668921117282753792584473101592833828414441/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^12 + 7834964948737170447800868924301253837282904212201854560047/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^11 + 18004658593646022911100492798669859445310153474446611152373/3520148\ 730107201093962683694923102843473398627280669413*c_0101_6^10 + 1079000991218806957789717462241098791996802142756025728097/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^9 - 4972694926932590823796154176634286478342208953003177253243/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^8 - 2737551434143859085939585803818619112892933025294285534863/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^7 - 738231141759107631870709819781275983525596668830121623364/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^6 + 1074093204130913281017722804267417578321485523066309984600/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^5 + 103340737414100739358402750359812404728208425481177567218/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^4 - 154139334275260744783967547471495008316777451589394741325/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^3 + 47962116892940575583045266911502182499866736445565046628/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^2 - 481886413281630258795528827525220255366381251278668675/352014873010\ 7201093962683694923102843473398627280669413*c_0101_6 - 3075682444514585494267479195414008542519642428529718357/35201487301\ 07201093962683694923102843473398627280669413, c_0101_4 + 8295158601906513455605110561409438191688878335916927575/3520\ 148730107201093962683694923102843473398627280669413*c_0101_6^23 - 47836818986692639583369838537284185162759914274972286863/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^22 - 2731392731276031408678897666956576290529645642219880239/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6^21 - 7791210543665548675889410388250809696090996053823773052/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6^20 + 170856428009498641667593982235889731041813821017365716771/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^19 + 219369494765460882906264936444807468910000587178736748140/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^18 + 182242789224320521638210554083234272359589180101797550749/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^17 + 1164146943246487463729590380709761905322871570376601815352/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^16 + 443444332972822525709060473992418667468390870876617363188/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^15 - 1266702361003154338129592230182275338399323033337830609841/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^14 - 4545641040961981343527831445730381649258559206432044572604/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^13 - 3772022613881250213826015588974064817096068597381574273963/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^12 + 6351173168770442027078670343156415135565080603751808208954/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^11 + 5814302194117193906557349032275618263973443384525562136751/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^10 - 2540248024732874317320143097121769084600419584691178234677/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^9 - 2144078844296871396548942108158921869409955335417831281260/35201487\ 30107201093962683694923102843473398627280669413*c_0101_6^8 - 614908147295621122330456894872804872965653263367783328679/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^7 + 33358776672641969773406357656078585182238283835051579587/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^6 + 539509357141386037719788570095865521427603111182497866061/352014873\ 0107201093962683694923102843473398627280669413*c_0101_6^5 - 84857982459281915050257671960716715358790347881628041769/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^4 - 27585419101714335191403847444685425947337710382795671509/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^3 + 48400215592214424566013315239095168272781512664868769415/3520148730\ 107201093962683694923102843473398627280669413*c_0101_6^2 - 5482847572140552115841695957754638397187952223540668319/35201487301\ 07201093962683694923102843473398627280669413*c_0101_6 + 959563420938483089862531901897610324960297501060594787/352014873010\ 7201093962683694923102843473398627280669413, c_0101_6^24 - 172/29*c_0101_6^23 + 19/29*c_0101_6^22 - 33/29*c_0101_6^21 + 608/29*c_0101_6^20 + 665/29*c_0101_6^19 + 536/29*c_0101_6^18 + 3971/29*c_0101_6^17 + 889/29*c_0101_6^16 - 4545/29*c_0101_6^15 - 15246/29*c_0101_6^14 - 370*c_0101_6^13 + 23928/29*c_0101_6^12 + 16697/29*c_0101_6^11 - 11147/29*c_0101_6^10 - 6200/29*c_0101_6^9 - 1574/29*c_0101_6^8 + 620/29*c_0101_6^7 + 1873/29*c_0101_6^6 - 521/29*c_0101_6^5 - 1/29*c_0101_6^4 + 125/29*c_0101_6^3 - 34/29*c_0101_6^2 + 3/29*c_0101_6 + 1/29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB