Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 4223297305] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2017 geometric_solution 5.56358805 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 3201 2031 1302 0 0 0 0 0 -1 -1 2 1 0 -2 1 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 1 -1 0 0 1 -1 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.588728550364 0.147661426596 0 2 0 3 0132 0132 2310 0132 0 0 0 0 0 -1 1 0 -1 0 0 1 -1 1 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 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.802991386841 0.479408872011 4 1 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 -1 0 1 0 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 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.689884368695 0.938175530693 2 5 1 4 3012 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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.689884368695 0.938175530693 2 4 3 4 0132 2310 0132 3201 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 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.031873484209 1.178148208493 6 6 3 2 0132 3201 2310 0132 0 0 0 0 0 -1 0 1 0 0 1 -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 1 0 -1 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.077068011444 1.559936811106 5 6 5 6 0132 2310 2310 3201 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 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.551668798795 0.579596609550 ==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' : 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' : 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' : d['c_0011_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], '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_2']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_5']), '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_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 281005683612143584058332408369606995/767004086023464387279787808993\ 51*c_0101_5^29 - 1804529411498495671091375500609734366/767004086023\ 46438727978780899351*c_0101_5^28 + 1648626446608680867374422249800376371/76700408602346438727978780899\ 351*c_0101_5^27 + 15694179423723457924438173898312195225/7670040860\ 2346438727978780899351*c_0101_5^26 - 50720452826589159374076675779929875356/7670040860234643872797878089\ 9351*c_0101_5^25 + 16109849058113743953623228927432612781/767004086\ 02346438727978780899351*c_0101_5^24 + 193982998085843763015630051322993039119/767004086023464387279787808\ 99351*c_0101_5^23 - 380648125707673471072509252508569334180/7670040\ 8602346438727978780899351*c_0101_5^22 + 21078370083758416699251860211699893205/7670040860234643872797878089\ 9351*c_0101_5^21 + 882894808530314191456230532068430077374/76700408\ 602346438727978780899351*c_0101_5^20 - 1181260886008152165126969924884778080051/76700408602346438727978780\ 899351*c_0101_5^19 - 116176820731459883216472823405879145550/767004\ 08602346438727978780899351*c_0101_5^18 + 1894528623115069289153327546163205940391/76700408602346438727978780\ 899351*c_0101_5^17 - 1825154739225641761368149759588735701653/76700\ 408602346438727978780899351*c_0101_5^16 - 352319765650691588219125061782339025731/767004086023464387279787808\ 99351*c_0101_5^15 + 2115418281897875034116321978020432538154/767004\ 08602346438727978780899351*c_0101_5^14 - 1516597799482728572219883391716928645970/76700408602346438727978780\ 899351*c_0101_5^13 - 354601785168004090755719525790157904197/767004\ 08602346438727978780899351*c_0101_5^12 + 1252297848091302798563876011569519738112/76700408602346438727978780\ 899351*c_0101_5^11 - 691053950293126097969295444606766542967/767004\ 08602346438727978780899351*c_0101_5^10 - 144622443131394974666835104850334846965/767004086023464387279787808\ 99351*c_0101_5^9 + 374260322334554285433777202868782189357/76700408\ 602346438727978780899351*c_0101_5^8 - 166223975458960714197508100098050424057/767004086023464387279787808\ 99351*c_0101_5^7 - 18614031239549873911717878422980355242/767004086\ 02346438727978780899351*c_0101_5^6 + 47810486639098664436519689316939881400/7670040860234643872797878089\ 9351*c_0101_5^5 - 17853846448539268895564549699305373050/7670040860\ 2346438727978780899351*c_0101_5^4 + 543340926657180939184328079895176383/767004086023464387279787808993\ 51*c_0101_5^3 + 1488044332584019759134953638124378180/7670040860234\ 6438727978780899351*c_0101_5^2 - 4372761300667635912748290592345263\ 35/76700408602346438727978780899351*c_0101_5 + 40137371420579153755961711732440394/7670040860234643872797878089935\ 1, c_0011_0 - 1, c_0011_3 + 1005636873757117156027965900110016/7670040860234643872797878\ 0899351*c_0101_5^29 - 7931371151422227353916554783467146/7670040860\ 2346438727978780899351*c_0101_5^28 + 14682437199929347818598481859449070/7670040860234643872797878089935\ 1*c_0101_5^27 + 51588834121649585991934037524718800/767004086023464\ 38727978780899351*c_0101_5^26 - 26613551563113188299313557753876485\ 2/76700408602346438727978780899351*c_0101_5^25 + 285128428291365214074324081957156718/767004086023464387279787808993\ 51*c_0101_5^24 + 716139431476456301376669631261936067/7670040860234\ 6438727978780899351*c_0101_5^23 - 237791636602028320974952890453389\ 5568/76700408602346438727978780899351*c_0101_5^22 + 1610479748144648767479268788070953240/76700408602346438727978780899\ 351*c_0101_5^21 + 3785504098211539930614515298645019655/76700408602\ 346438727978780899351*c_0101_5^20 - 8640211862718132530086849685496838259/76700408602346438727978780899\ 351*c_0101_5^19 + 3759291359527542609276365400902419471/76700408602\ 346438727978780899351*c_0101_5^18 + 9469452210086474044234287545782088825/76700408602346438727978780899\ 351*c_0101_5^17 - 15441928830915290059187277025478508622/7670040860\ 2346438727978780899351*c_0101_5^16 + 4171771757162142110238910189601201055/76700408602346438727978780899\ 351*c_0101_5^15 + 12270028233577368185222614533903089986/7670040860\ 2346438727978780899351*c_0101_5^14 - 14647751586370773828640121996594287649/7670040860234643872797878089\ 9351*c_0101_5^13 + 2318812068088970633333400901658150431/7670040860\ 2346438727978780899351*c_0101_5^12 + 8366166641388902524324819035566984856/76700408602346438727978780899\ 351*c_0101_5^11 - 7447375550244766218766309093416031423/76700408602\ 346438727978780899351*c_0101_5^10 + 699236294209904321439280051540782560/767004086023464387279787808993\ 51*c_0101_5^9 + 2856864585402031538919968154067579809/7670040860234\ 6438727978780899351*c_0101_5^8 - 1926982423348603297251686903296037\ 112/76700408602346438727978780899351*c_0101_5^7 + 144228324893618960831157175785180124/767004086023464387279787808993\ 51*c_0101_5^6 + 418566560477939674171334745170751861/76700408602346\ 438727978780899351*c_0101_5^5 - 21285525705491498026533264998594551\ 2/76700408602346438727978780899351*c_0101_5^4 + 18789709092580422220531662853391096/7670040860234643872797878089935\ 1*c_0101_5^3 + 16264260204822935428850943384802260/7670040860234643\ 8727978780899351*c_0101_5^2 - 5121289467970110198926033922414657/76\ 700408602346438727978780899351*c_0101_5 + 367786170067367205235624013748670/76700408602346438727978780899351, c_0011_5 + 4060721569998530810824329276005274/7670040860234643872797878\ 0899351*c_0101_5^29 - 26349165031977876878876123736805863/767004086\ 02346438727978780899351*c_0101_5^28 + 25839262426463775696119220971828970/7670040860234643872797878089935\ 1*c_0101_5^27 + 224256700171616181323231068145827267/76700408602346\ 438727978780899351*c_0101_5^26 - 7504683406544592220067604741723853\ 26/76700408602346438727978780899351*c_0101_5^25 + 295942136059130206969640526656950484/767004086023464387279787808993\ 51*c_0101_5^24 + 2781102406063032454080823272570878481/767004086023\ 46438727978780899351*c_0101_5^23 - 5753486294876686701224954896964455872/76700408602346438727978780899\ 351*c_0101_5^22 + 790148655439889325367308172851707674/767004086023\ 46438727978780899351*c_0101_5^21 + 12805604347579161549248786135423669138/7670040860234643872797878089\ 9351*c_0101_5^20 - 18333098020600747339521365179521571775/767004086\ 02346438727978780899351*c_0101_5^19 - 224952608088208603782531389073626636/767004086023464387279787808993\ 51*c_0101_5^18 + 27966077087497554049719220025320306791/76700408602\ 346438727978780899351*c_0101_5^17 - 29222335976749952656533310542982673972/7670040860234643872797878089\ 9351*c_0101_5^16 - 3051475712070167578046537104533507004/7670040860\ 2346438727978780899351*c_0101_5^15 + 31951341117095375263226619464145704678/7670040860234643872797878089\ 9351*c_0101_5^14 - 25146320907575509661240027579606491548/767004086\ 02346438727978780899351*c_0101_5^13 - 3711774295109347333907315597466570195/76700408602346438727978780899\ 351*c_0101_5^12 + 19459925330033766715122173504522730606/7670040860\ 2346438727978780899351*c_0101_5^11 - 11863672672395358255537514127378070803/7670040860234643872797878089\ 9351*c_0101_5^10 - 1622551324517405359474741241681963343/7670040860\ 2346438727978780899351*c_0101_5^9 + 6017822618716409997746314184236725661/76700408602346438727978780899\ 351*c_0101_5^8 - 2927776906915599728958828076012574767/767004086023\ 46438727978780899351*c_0101_5^7 - 204104705556186991987259671066903\ 601/76700408602346438727978780899351*c_0101_5^6 + 801397978702449762392110044511606469/767004086023464387279787808993\ 51*c_0101_5^5 - 315657053298064698492022814702016470/76700408602346\ 438727978780899351*c_0101_5^4 + 10506750099859309696624798225694175\ /76700408602346438727978780899351*c_0101_5^3 + 26672899638769512931770774456298979/7670040860234643872797878089935\ 1*c_0101_5^2 - 7470815851238203126503833882091643/76700408602346438\ 727978780899351*c_0101_5 + 596406680761586001988498691637472/767004\ 08602346438727978780899351, c_0101_0 + 5175952577775678807878346418921326/7670040860234643872797878\ 0899351*c_0101_5^29 - 33563321056797855174348336550296108/767004086\ 02346438727978780899351*c_0101_5^28 + 31998862633542232407924218421456366/7670040860234643872797878089935\ 1*c_0101_5^27 + 289820677829144191538132652881130535/76700408602346\ 438727978780899351*c_0101_5^26 - 9537516696731805437267624875545360\ 05/76700408602346438727978780899351*c_0101_5^25 + 330589706136542516829193677055289167/767004086023464387279787808993\ 51*c_0101_5^24 + 3621735701102235779804458370668979304/767004086023\ 46438727978780899351*c_0101_5^23 - 7235925131631738139222002739443038630/76700408602346438727978780899\ 351*c_0101_5^22 + 544714104441292343372805580751128377/767004086023\ 46438727978780899351*c_0101_5^21 + 16700941210958996805055731996054639109/7670040860234643872797878089\ 9351*c_0101_5^20 - 22681421989945736673320380953490336340/767004086\ 02346438727978780899351*c_0101_5^19 - 1977741469861623754830715698224777304/76700408602346438727978780899\ 351*c_0101_5^18 + 36355129931432248360136737681720158002/7670040860\ 2346438727978780899351*c_0101_5^17 - 35334918151178968225306728158682949837/7670040860234643872797878089\ 9351*c_0101_5^16 - 6811530613152145438832984516423744823/7670040860\ 2346438727978780899351*c_0101_5^15 + 41232965307027012155445304164113707925/7670040860234643872797878089\ 9351*c_0101_5^14 - 29472937855959516746072379123265247184/767004086\ 02346438727978780899351*c_0101_5^13 - 7346340760829937791146509693276333001/76700408602346438727978780899\ 351*c_0101_5^12 + 24820464867895252697109408517005600283/7670040860\ 2346438727978780899351*c_0101_5^11 - 13344236181984199813272077421639585291/7670040860234643872797878089\ 9351*c_0101_5^10 - 3291624481134463988846548972493805726/7670040860\ 2346438727978780899351*c_0101_5^9 + 7542829908056512286282844951080209622/76700408602346438727978780899\ 351*c_0101_5^8 - 3128264457160320668959238524889806048/767004086023\ 46438727978780899351*c_0101_5^7 - 538393622201355279672547469996987\ 502/76700408602346438727978780899351*c_0101_5^6 + 977759385715284508720286308674385893/767004086023464387279787808993\ 51*c_0101_5^5 - 317076163414943922930163374515588367/76700408602346\ 438727978780899351*c_0101_5^4 - 11071584237423663475693023780486094\ /76700408602346438727978780899351*c_0101_5^3 + 30697456975089534443454509515459846/7670040860234643872797878089935\ 1*c_0101_5^2 - 6628802258938144914534905994178010/76700408602346438\ 727978780899351*c_0101_5 + 351359760827451506023460371417460/767004\ 08602346438727978780899351, c_0101_1 + 27383062190718988464458036597684604/767004086023464387279787\ 80899351*c_0101_5^29 - 176882354549497296637506468267859665/7670040\ 8602346438727978780899351*c_0101_5^28 + 166457303359551072884808357190352289/767004086023464387279787808993\ 51*c_0101_5^27 + 1528424356444244167335498292657350945/767004086023\ 46438727978780899351*c_0101_5^26 - 5003814902923401478212957469238444626/76700408602346438727978780899\ 351*c_0101_5^25 + 1710104995452224892783779506727480467/76700408602\ 346438727978780899351*c_0101_5^24 + 18977341262830484514548501453592922278/7670040860234643872797878089\ 9351*c_0101_5^23 - 37822204073303185049932616627154766133/767004086\ 02346438727978780899351*c_0101_5^22 + 2922933193075345231505181870571184143/76700408602346438727978780899\ 351*c_0101_5^21 + 86865871190018523626724493669970385297/7670040860\ 2346438727978780899351*c_0101_5^20 - 118253815564724566954008970195889150142/767004086023464387279787808\ 99351*c_0101_5^19 - 9150137087008098142669801112412550795/767004086\ 02346438727978780899351*c_0101_5^18 + 187539646865974983552088065618916497441/767004086023464387279787808\ 99351*c_0101_5^17 - 184202570084641860133162782716891596035/7670040\ 8602346438727978780899351*c_0101_5^16 - 31705167070264287598048982993075001248/7670040860234643872797878089\ 9351*c_0101_5^15 + 210747055383221540553247175189300568602/76700408\ 602346438727978780899351*c_0101_5^14 - 154455252088403162902640208157825610053/767004086023464387279787808\ 99351*c_0101_5^13 - 32848855397956602928322912266679291506/76700408\ 602346438727978780899351*c_0101_5^12 + 125588483346448356318922298650502308089/767004086023464387279787808\ 99351*c_0101_5^11 - 71083594278755679721907692491675651593/76700408\ 602346438727978780899351*c_0101_5^10 - 13421169889435234965806038509138090997/7670040860234643872797878089\ 9351*c_0101_5^9 + 37788672101640467765654082452616784250/7670040860\ 2346438727978780899351*c_0101_5^8 - 17273539264050787349676201627134970446/7670040860234643872797878089\ 9351*c_0101_5^7 - 1640703041268557633801039559880796554/76700408602\ 346438727978780899351*c_0101_5^6 + 4860868061620905058169784161439000372/76700408602346438727978780899\ 351*c_0101_5^5 - 1872281964218998485542578119893416962/767004086023\ 46438727978780899351*c_0101_5^4 + 747735946747416307334707309254997\ 50/76700408602346438727978780899351*c_0101_5^3 + 152537716362783622543298676116980559/767004086023464387279787808993\ 51*c_0101_5^2 - 46166716069022029563564449294699544/767004086023464\ 38727978780899351*c_0101_5 + 4323859537676534442775950077531295/767\ 00408602346438727978780899351, c_0101_2 + 6556494095927062363902389016287979/7670040860234643872797878\ 0899351*c_0101_5^29 - 39321928685411675828769371499243216/767004086\ 02346438727978780899351*c_0101_5^28 + 21632320025718310539004644041184534/7670040860234643872797878089935\ 1*c_0101_5^27 + 376109611364357846829601479512012576/76700408602346\ 438727978780899351*c_0101_5^26 - 1023795986762422497205311554665172\ 433/76700408602346438727978780899351*c_0101_5^25 - 65724973653625369149234940156539503/7670040860234643872797878089935\ 1*c_0101_5^24 + 4512813032897425974196383826031533905/7670040860234\ 6438727978780899351*c_0101_5^23 - 696042999234442800757662509726179\ 9491/76700408602346438727978780899351*c_0101_5^22 - 2521278703937713042966960166312127931/76700408602346438727978780899\ 351*c_0101_5^21 + 19601841611475891516007958359242629246/7670040860\ 2346438727978780899351*c_0101_5^20 - 19218965150685360151808050919789601244/7670040860234643872797878089\ 9351*c_0101_5^19 - 11008340177668995628434234752211061290/767004086\ 02346438727978780899351*c_0101_5^18 + 39660396975957047935395864608897372900/7670040860234643872797878089\ 9351*c_0101_5^17 - 25765612989310448648367975789026050691/767004086\ 02346438727978780899351*c_0101_5^16 - 19211029892175140413761222682808130361/7670040860234643872797878089\ 9351*c_0101_5^15 + 41281257232812722522534858926824689803/767004086\ 02346438727978780899351*c_0101_5^14 - 18015362595360723432885398752597947151/7670040860234643872797878089\ 9351*c_0101_5^13 - 15735063391831686494952803409565530461/767004086\ 02346438727978780899351*c_0101_5^12 + 22517618123822572959449178346710284183/7670040860234643872797878089\ 9351*c_0101_5^11 - 6777529794014713196331538967636656319/7670040860\ 2346438727978780899351*c_0101_5^10 - 6013596234801675644679247078369241506/76700408602346438727978780899\ 351*c_0101_5^9 + 6132751980256804399324357865951214964/767004086023\ 46438727978780899351*c_0101_5^8 - 138639621049777843956368461203021\ 0909/76700408602346438727978780899351*c_0101_5^7 - 920033883410712461505595507377096996/767004086023464387279787808993\ 51*c_0101_5^6 + 704582631081974866124966259565350487/76700408602346\ 438727978780899351*c_0101_5^5 - 13906932868367080021133719800843444\ 1/76700408602346438727978780899351*c_0101_5^4 - 30349273198754474701575810080761330/7670040860234643872797878089935\ 1*c_0101_5^3 + 18891923811727149952817393898627131/7670040860234643\ 8727978780899351*c_0101_5^2 - 3214128728604883073254703009886824/76\ 700408602346438727978780899351*c_0101_5 + 142001777962036846288176862337895/76700408602346438727978780899351, c_0101_5^30 - 20/3*c_0101_5^29 + 67/9*c_0101_5^28 + 1469/27*c_0101_5^27 - 5246/27*c_0101_5^26 + 2752/27*c_0101_5^25 + 2030/3*c_0101_5^24 - 4582/3*c_0101_5^23 + 3704/9*c_0101_5^22 + 28177/9*c_0101_5^21 - 45008/9*c_0101_5^20 + 5735/9*c_0101_5^19 + 185684/27*c_0101_5^18 - 24689/3*c_0101_5^17 + 10279/27*c_0101_5^16 + 213349/27*c_0101_5^15 - 198752/27*c_0101_5^14 + 108*c_0101_5^13 + 43447/9*c_0101_5^12 - 10916/3*c_0101_5^11 + 3158/27*c_0101_5^10 + 4453/3*c_0101_5^9 - 949*c_0101_5^8 + 793/9*c_0101_5^7 + 5147/27*c_0101_5^6 - 2963/27*c_0101_5^5 + 169/9*c_0101_5^4 + 133/27*c_0101_5^3 - 3*c_0101_5^2 + 5/9*c_0101_5 - 1/27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB