Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 1612840121] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1735 geometric_solution 5.43776898 oriented_manifold CS_known -0.0000000000000003 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.470849334384 0.183111836888 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.684339693226 0.534329393666 1 3 1 4 0132 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.496045444259 0.646059799974 5 2 6 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 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 0 0 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.143784240468 0.725958996298 3 6 2 5 3201 0132 0132 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143784240468 0.725958996298 3 4 5 5 0132 2310 1230 3012 0 0 0 0 0 0 0 0 1 0 -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 1 0 -1 1 0 -1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172435939211 0.700289498968 6 4 6 3 2031 0132 1302 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 -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.792232820538 1.396518436701 ==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_4'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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_0101_3']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], '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_1, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 1668432646600120855942877400122780876119493899171205406815383365065\ 104761331/206078466032990248910861886652201795901332127557435794944\ 0173514489253212552*c_1001_3^21 - 218492100262062179891055406516533\ 6637533299035069854122668662311154685735407/10303923301649512445543\ 09433261008979506660637787178974720086757244626606276*c_1001_3^20 - 1335626485835169028834757560248855784485454631858479513087675423262\ 81177697327/2060784660329902489108618866522017959013321275574357949\ 440173514489253212552*c_1001_3^19 + 3891497563451366881327891866880112829504969473768598606141217526486\ 867956097/257598082541237811138577358315252244876665159446794743680\ 021689311156651569*c_1001_3^18 + 7372457702516188691522543953933562\ 95751177335731047574821070593426914328925297/5151961650824756222771\ 54716630504489753330318893589487360043378622313303138*c_1001_3^17 - 9485685942674789622286486285217439455974390816745425676860020001749\ 8673185375/79260948474227018811869956404692998423589279829782998055\ 391289018817431252*c_1001_3^16 - 2766201653695425201183960210464613\ 9970426951788212410244140632257106658868655739/20607846603299024891\ 08618866522017959013321275574357949440173514489253212552*c_1001_3^1\ 5 + 521701858786416340592570548888673935582241356179538660187246713\ 39875636673225119/2060784660329902489108618866522017959013321275574\ 357949440173514489253212552*c_1001_3^14 + 9233951854565565381263394474144884224546143464031450225043789964955\ 7406229803159/20607846603299024891086188665220179590133212755743579\ 49440173514489253212552*c_1001_3^13 - 8213313672077468012089733555115968478826568423724380265770521694731\ 7575297010269/51519616508247562227715471663050448975333031889358948\ 7360043378622313303138*c_1001_3^12 - 1171623819001731675888598075679891050435661812760472541206293610612\ 80026347533863/2060784660329902489108618866522017959013321275574357\ 949440173514489253212552*c_1001_3^11 + 1004203521834866946068103492138842530393964982583750150463771699316\ 949623330341091/206078466032990248910861886652201795901332127557435\ 7949440173514489253212552*c_1001_3^10 + 1152467856125911726703527665382346124449345557726218435186700290453\ 5980540958267/79260948474227018811869956404692998423589279829782998\ 055391289018817431252*c_1001_3^9 - 1729499779098452805403884157016798161512976048741919734584445252353\ 002349626427003/206078466032990248910861886652201795901332127557435\ 7949440173514489253212552*c_1001_3^8 - 1169975353952272215856090202646933967125361507738904033966641916298\ 492590409258641/206078466032990248910861886652201795901332127557435\ 7949440173514489253212552*c_1001_3^7 + 1330751050281751052123971014358662417992572742524414649807687251643\ 223548822977539/206078466032990248910861886652201795901332127557435\ 7949440173514489253212552*c_1001_3^6 + 7895229882055673751683230422795044233192490648916490011174937692956\ 11752006822421/1030392330164951244554309433261008979506660637787178\ 974720086757244626606276*c_1001_3^5 - 5670304358843367305525603818072820257014301882946618142006867580479\ 5175257366561/20607846603299024891086188665220179590133212755743579\ 49440173514489253212552*c_1001_3^4 - 6537672958638454695605647328470249350958430376906728143646437108264\ 28125019455251/2060784660329902489108618866522017959013321275574357\ 949440173514489253212552*c_1001_3^3 - 2545832583331463936268763097902715854574207900414507073461927685582\ 32887697024037/2060784660329902489108618866522017959013321275574357\ 949440173514489253212552*c_1001_3^2 + 2366565773778964655521844884145155784931224984188667776170152916878\ 736947151309/103039233016495124455430943326100897950666063778717897\ 4720086757244626606276*c_1001_3 + 447850942234141577546837479790163\ 6584356684759844661750299437150408609696158727/20607846603299024891\ 08618866522017959013321275574357949440173514489253212552, c_0011_0 - 1, c_0011_1 - 232803897780566020781272298905344638469344825738861204900142\ 84913477/3447973263836672615962754093364372170749098640701308307857\ 3375627246239*c_1001_3^21 + 670053979851435009719446711251718545974\ 01872922427981444109525431600/3447973263836672615962754093364372170\ 7490986407013083078573375627246239*c_1001_3^20 + 1847428115066435592156349035774501455306233096001948009591894184771\ 672/344797326383667261596275409336437217074909864070130830785733756\ 27246239*c_1001_3^19 - 91588985580621320007081313127032803372187933\ 8099624906131464617524999/34479732638366726159627540933643721707490\ 986407013083078573375627246239*c_1001_3^18 - 4100114632555205586975296024113795944011877493965700637278304125820\ 9613/34479732638366726159627540933643721707490986407013083078573375\ 627246239*c_1001_3^17 + 3465392069623635473874637403522521733762263\ 993987160163985191430112547/265228712602820970458673391797259397749\ 9306646693314082967182740557403*c_1001_3^16 + 3762696066891287177371074373011505531313283453809205499186458627665\ 55401/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^15 - 826977372097832328534732666921146703064922\ 807259147063904964017456804182/344797326383667261596275409336437217\ 07490986407013083078573375627246239*c_1001_3^14 - 1092293023473856252903677181746428739217635532659909703683307035218\ 384948/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^13 + 49005158511550545774299560374888826369208\ 74167325279008224056100262818659/3447973263836672615962754093364372\ 1707490986407013083078573375627246239*c_1001_3^12 + 4239477245768082087030102849044439085820256890140318186064518617976\ 04116/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^11 - 143259487270125127288312296852297188937366\ 74375449802912746101393744701962/3447973263836672615962754093364372\ 1707490986407013083078573375627246239*c_1001_3^10 - 4258027932359417746090489186835468525182562323731241963176119821934\ 1242/26522871260282097045867339179725939774993066466933140829671827\ 40557403*c_1001_3^9 + 248848331500579417446253408842379948264010562\ 43899819684968379311340541029/3447973263836672615962754093364372170\ 7490986407013083078573375627246239*c_1001_3^8 + 1014184086604011449283359672842305542540676377518180312952345873071\ 0251068/34479732638366726159627540933643721707490986407013083078573\ 375627246239*c_1001_3^7 - 22230416921175131458154851999458269351840\ 017959051390047476805420445389339/344797326383667261596275409336437\ 21707490986407013083078573375627246239*c_1001_3^6 - 1711741292622762615966449711373973322395134477660690209625635774842\ 1571701/34479732638366726159627540933643721707490986407013083078573\ 375627246239*c_1001_3^5 + 59460011605560595229497525088306077588984\ 62171705862209518973677433666539/3447973263836672615962754093364372\ 1707490986407013083078573375627246239*c_1001_3^4 + 8544432411943587193534691683291910232186709139316237098082097232307\ 208055/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^3 + 136316830757378975726299958874032878855955\ 8557049381173952371883347417126/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^2 - 7610445959925458403300239694867734875352845511648706489110992796363\ 50411/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3 + 203124529372485605697418933329631280694547511\ 60204067359164907624954150/3447973263836672615962754093364372170749\ 0986407013083078573375627246239, c_0011_4 + 825433893192541510155071481765395118250583434227548389163146\ 1700002161/16619231131692762008940474730016273863010655448180306043\ 872367052332687198*c_1001_3^21 - 1186349584849827918929585047204091\ 7021340571773665632712116023055945079/83096155658463810044702373650\ 08136931505327724090153021936183526166343599*c_1001_3^20 - 6550902489327371933655970124690026024752302129595014689504423394797\ 86481/1661923113169276200894047473001627386301065544818030604387236\ 7052332687198*c_1001_3^19 + 161346383158229710086257584838168294316\ 080439649590544773892566803316011/830961556584638100447023736500813\ 6931505327724090153021936183526166343599*c_1001_3^18 + 7267748711116714817356809452894395474211635025564247644085514998177\ 634842/830961556584638100447023736500813693150532772409015302193618\ 3526166343599*c_1001_3^17 - 613624712122489118829675391537348068289\ 323224975219185312354611218714096/639201197372798538805402874231395\ 148577332901853088693995091040474334123*c_1001_3^16 - 1334208397083798929080223800580880558947656609475936995340423627156\ 70382827/1661923113169276200894047473001627386301065544818030604387\ 2367052332687198*c_1001_3^15 + 293449533497020322427170836109514141\ 433652762898460205599534687410668926395/166192311316927620089404747\ 30016273863010655448180306043872367052332687198*c_1001_3^14 + 3873473412391007936750481008188742353788490040646880380886697650880\ 17000955/1661923113169276200894047473001627386301065544818030604387\ 2367052332687198*c_1001_3^13 - 871156495802497676656395163259708202\ 968098957879626424729487160349415331047/830961556584638100447023736\ 5008136931505327724090153021936183526166343599*c_1001_3^12 - 1419327113895860285759316468163625498290572707928974351913120958674\ 30119001/1661923113169276200894047473001627386301065544818030604387\ 2367052332687198*c_1001_3^11 + 509543329715262133679418024015691829\ 4003504684985734570548758282464159219609/16619231131692762008940474\ 730016273863010655448180306043872367052332687198*c_1001_3^10 + 5026990405725788771020034028929127000258737156657720602355669513737\ 718440/639201197372798538805402874231395148577332901853088693995091\ 040474334123*c_1001_3^9 - 88247342193952582675674784121201133045910\ 88780576933892063585308205826375937/1661923113169276200894047473001\ 6273863010655448180306043872367052332687198*c_1001_3^8 - 3392708161429384164725436611548350907229189632739733839434176504948\ 330809169/166192311316927620089404747300162738630106554481803060438\ 72367052332687198*c_1001_3^7 + 788045347883689573933966564016149489\ 2093686428459080343742283685974933832165/16619231131692762008940474\ 730016273863010655448180306043872367052332687198*c_1001_3^6 + 2875972568631165459768375125548856816728408613860399542990570203116\ 307946104/830961556584638100447023736500813693150532772409015302193\ 6183526166343599*c_1001_3^5 - 2250126023131522417875148229638808626\ 924575661386134237228943831579321002417/166192311316927620089404747\ 30016273863010655448180306043872367052332687198*c_1001_3^4 - 2852889889431166093058831640930036552151929059093996554482333358011\ 800610289/166192311316927620089404747300162738630106554481803060438\ 72367052332687198*c_1001_3^3 - 338586501310084368289274953943285271\ 246578979117880589494112430389358008981/166192311316927620089404747\ 30016273863010655448180306043872367052332687198*c_1001_3^2 + 1402043619951800014062372544453208702676861115817756147388040634278\ 71958103/8309615565846381004470237365008136931505327724090153021936\ 183526166343599*c_1001_3 - 1323313763907734812139961237498439316606\ 2588633974144546184138450496192007/16619231131692762008940474730016\ 273863010655448180306043872367052332687198, c_0101_0 + 986355947160959755155300631677110140241748688054857067418289\ 6429711/34479732638366726159627540933643721707490986407013083078573\ 375627246239*c_1001_3^21 - 2766374758661963024032337448449480977878\ 5239305693324958300038387689/34479732638366726159627540933643721707\ 490986407013083078573375627246239*c_1001_3^20 - 7847799711814710744140145695140738050702378460272011723716993610595\ 18/3447973263836672615962754093364372170749098640701308307857337562\ 7246239*c_1001_3^19 + 330538014066627335292256553189400362911436661\ 794431258253153038315717/344797326383667261596275409336437217074909\ 86407013083078573375627246239*c_1001_3^18 + 1739724351617505175569047811301001536425182734936570567509342251497\ 8600/34479732638366726159627540933643721707490986407013083078573375\ 627246239*c_1001_3^17 - 1370944879898752798129165362780812119228184\ 579059343092566931909937797/265228712602820970458673391797259397749\ 9306646693314082967182740557403*c_1001_3^16 - 1607888550713034828270776098307460241933067535562179687703711128373\ 59866/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^15 + 338893557241936503099636535631786299960807\ 973975259599687043571886871896/344797326383667261596275409336437217\ 07490986407013083078573375627246239*c_1001_3^14 + 4884012654117644007482549408108283171380161787122740093876785786466\ 66904/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^13 - 204461879278943445489628417670541032541706\ 6088471744806366648043166049817/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^12 - 3307144816728865934294212532333999004315395334987829595708114758118\ 36612/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^11 + 607262571282129838252999327200398967876825\ 4380515428082540488721316789702/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^10 + 5018915544003682960431736344771695734466607533582974932469326333150\ 7136/26522871260282097045867339179725939774993066466933140829671827\ 40557403*c_1001_3^9 - 105771475068357156254562093855552452127363821\ 04622452751524784658684199854/3447973263836672615962754093364372170\ 7490986407013083078573375627246239*c_1001_3^8 - 4941052306039960810713372409731268258336729450275499914404524720123\ 449574/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^7 + 920148337669888323074860722056175571820750\ 8229028001409685766569527697435/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^6 + 7767406763490095341844133607025559816438205108077542811398013783976\ 259080/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^5 - 218075177136137791957648366205478407295706\ 2059271573425668304908468249176/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^4 - 3811323352639168777583407652242047387510124060853195994919504884902\ 730673/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^3 - 720480784670838111682596443451572366638716\ 407536073958897360018213819889/344797326383667261596275409336437217\ 07490986407013083078573375627246239*c_1001_3^2 + 3575843327977390055045727248288200682743870649034220441484414621226\ 41005/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3 + 235446568489097847703438012459968531036216188\ 70136056246237451367727136/3447973263836672615962754093364372170749\ 0986407013083078573375627246239, c_0101_1 + 901627379708238001514085854652018551744020913572992576907112\ 4927785/34479732638366726159627540933643721707490986407013083078573\ 375627246239*c_1001_3^21 - 2598198943767324438630457978847391685169\ 6493403353045731004523918627/34479732638366726159627540933643721707\ 490986407013083078573375627246239*c_1001_3^20 - 7156093602427081025795665818242604738718934555428507088854523564956\ 26/3447973263836672615962754093364372170749098640701308307857337562\ 7246239*c_1001_3^19 + 357580832128622812496760873108591487606781733\ 927175320099261924730932/344797326383667261596275409336437217074909\ 86407013083078573375627246239*c_1001_3^18 + 1589513680561692383577281179953295187366052737007171165883654247715\ 4946/34479732638366726159627540933643721707490986407013083078573375\ 627246239*c_1001_3^17 - 1345595152928141933977077334199248177416962\ 472628901688097142923771921/265228712602820970458673391797259397749\ 9306646693314082967182740557403*c_1001_3^16 - 1460253919690491574749075248381093323436737384964114666793144535885\ 83209/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^15 + 320813935190598293533345232188873786094100\ 538612099247262102982646136543/344797326383667261596275409336437217\ 07490986407013083078573375627246239*c_1001_3^14 + 4254109118870025032704116444046963791046195131682563480267021185450\ 61175/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^13 - 190341111087542853671549499316155439353080\ 9027966274963693606059359003363/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^12 - 1721016059860428507183064058386587240394187285685726283697587518961\ 87374/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3^11 + 558116643385211091720987142015076543875547\ 7287535315540860839752310095425/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^10 + 1754794667220879144440548962181156966021758540012525664471235281277\ 7608/26522871260282097045867339179725939774993066466933140829671827\ 40557403*c_1001_3^9 - 973904750089919164650393565081903273189145709\ 8504353845638379764764675677/34479732638366726159627540933643721707\ 490986407013083078573375627246239*c_1001_3^8 - 3981510692594726313370476932604551455535757354910198675279571188006\ 768546/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^7 + 874925549306979545516805920374137922118473\ 3924655675384681537222776970184/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^6 + 6796970175940587204359492660076551310871935385650660245307728070651\ 332329/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^5 - 232759958645277846284460774050705295533306\ 6499275390754043411426289497068/34479732638366726159627540933643721\ 707490986407013083078573375627246239*c_1001_3^4 - 3425771466520835811046833983237268751824854237564546974753800499164\ 424710/344797326383667261596275409336437217074909864070130830785733\ 75627246239*c_1001_3^3 - 597986753461390833046283625475073784849217\ 587831990472717387077287792706/344797326383667261596275409336437217\ 07490986407013083078573375627246239*c_1001_3^2 + 2998756940592244760272660232418593785414384315568604593687997441341\ 48418/3447973263836672615962754093364372170749098640701308307857337\ 5627246239*c_1001_3 + 117814359425074097997887344624405004142497352\ 18702939877067131943425437/3447973263836672615962754093364372170749\ 0986407013083078573375627246239, c_0101_3 - 965986765505300310291785362231788939162423618112953264029258\ 554406196/830961556584638100447023736500813693150532772409015302193\ 6183526166343599*c_1001_3^21 + 246301768242258680358763895150624471\ 7807170087811128220164035993668066/83096155658463810044702373650081\ 36931505327724090153021936183526166343599*c_1001_3^20 + 7753833792495513453423051916688410139086605929565391263595909901244\ 4383/83096155658463810044702373650081369315053277240901530219361835\ 26166343599*c_1001_3^19 - 12885519930134427565552793573496746278319\ 194858736079912752252858992015/830961556584638100447023736500813693\ 1505327724090153021936183526166343599*c_1001_3^18 - 1710891566584252876037220245288771257639917809035499913622753052006\ 423890/830961556584638100447023736500813693150532772409015302193618\ 3526166343599*c_1001_3^17 + 101625532216124413769891998771741302305\ 506920205749280651811369694080989/639201197372798538805402874231395\ 148577332901853088693995091040474334123*c_1001_3^16 + 1616895182441992932675526658141012817628993156233233347175109767534\ 4650520/83096155658463810044702373650081369315053277240901530219361\ 83526166343599*c_1001_3^15 - 29381419765154663956176281952969460270\ 955249611803639245522244908128900022/830961556584638100447023736500\ 8136931505327724090153021936183526166343599*c_1001_3^14 - 5586466714257309859383902823597261906077621776317676620836644079337\ 8788234/83096155658463810044702373650081369315053277240901530219361\ 83526166343599*c_1001_3^13 + 18962999302816100447757056324279819939\ 0947919638549933242811799190607310845/83096155658463810044702373650\ 08136931505327724090153021936183526166343599*c_1001_3^12 + 7835516771486134463638047273024295926186028217216670677367621806411\ 2306642/83096155658463810044702373650081369315053277240901530219361\ 83526166343599*c_1001_3^11 - 58858679318145686844862887838950846681\ 0373109547934593111316872544161464047/83096155658463810044702373650\ 08136931505327724090153021936183526166343599*c_1001_3^10 - 1471849844968102587990670226650106596377062703845317028121864957190\ 3656693/63920119737279853880540287423139514857733290185308869399509\ 1040474334123*c_1001_3^9 + 1011034757816250553771560559492394068449\ 208301332146173009977092563068101849/830961556584638100447023736500\ 8136931505327724090153021936183526166343599*c_1001_3^8 + 6874327368947963204586143384274585549410525680336951396445297177236\ 12844288/8309615565846381004470237365008136931505327724090153021936\ 183526166343599*c_1001_3^7 - 77083752243569235470267073570029921303\ 5420987271841224909740073977085187939/83096155658463810044702373650\ 08136931505327724090153021936183526166343599*c_1001_3^6 - 8945411275732678494731931859988212124689718109737017164194920014544\ 77658346/8309615565846381004470237365008136931505327724090153021936\ 183526166343599*c_1001_3^5 + 61861230380538603018370122499659131728\ 140968585379350036819415801612607590/830961556584638100447023736500\ 8136931505327724090153021936183526166343599*c_1001_3^4 + 3655054201043498571134964266798512854652476244402728669375274011525\ 35636092/8309615565846381004470237365008136931505327724090153021936\ 183526166343599*c_1001_3^3 + 11936874553839759302168160634988336018\ 4705733817344586952793361329177272864/83096155658463810044702373650\ 08136931505327724090153021936183526166343599*c_1001_3^2 - 1410036833250375793179524422276499970436985061949722735317258548065\ 0768029/83096155658463810044702373650081369315053277240901530219361\ 83526166343599*c_1001_3 - 54455815683331583354741366202454696835526\ 81214612475822298989127463181238/8309615565846381004470237365008136\ 931505327724090153021936183526166343599, c_1001_3^22 - 3*c_1001_3^21 - 79*c_1001_3^20 + 49*c_1001_3^19 + 1756*c_1001_3^18 - 2150*c_1001_3^17 - 15919*c_1001_3^16 + 37494*c_1001_3^15 + 42524*c_1001_3^14 - 216185*c_1001_3^13 + 7715*c_1001_3^12 + 617442*c_1001_3^11 - 52695*c_1001_3^10 - 1071079*c_1001_3^9 - 299318*c_1001_3^8 + 1005604*c_1001_3^7 + 608985*c_1001_3^6 - 345497*c_1001_3^5 - 330382*c_1001_3^4 - 11234*c_1001_3^3 + 39133*c_1001_3^2 - 4221*c_1001_3 + 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB