Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 2118116023] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1654 geometric_solution 5.39396625 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297580745100 0.181873842665 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.255860948433 1.313400861187 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.165905881519 1.238852362956 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.165905881519 1.238852362956 3 2 6 6 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123156465309 0.539460419338 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 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 0 0 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.935353644826 0.787570973017 4 6 4 6 2310 2310 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 -1.051055726633 0.838146339691 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : 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_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), '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' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 1499646234413310023823110729548428260086094406407623739415167/98496\ 368675576406663448770537770546853996995559921498707224*c_0101_4^27 - 872405127475153693260745755109585410065623415796090156988151/579390\ 4039739788627261692384574738050235117385877735218072*c_0101_4^26 + 35580997844362055552547761580714365411641229648313420422506957/9849\ 6368675576406663448770537770546853996995559921498707224*c_0101_4^25 - 1087208525583966529553738641666085127856453756611941451394549/289\ 6952019869894313630846192287369025117558692938867609036*c_0101_4^24 + 212306865754911829439311584660275037114521834003042173438397995/9\ 8496368675576406663448770537770546853996995559921498707224*c_0101_4\ ^23 + 5027043633859607199201137449005762800265820171015859701529725\ 3/49248184337788203331724385268885273426998497779960749353612*c_010\ 1_4^22 - 1660071850521366412898812964659544741560519766446136964568\ 24655/98496368675576406663448770537770546853996995559921498707224*c\ _0101_4^21 - 192756912633139304456286911150620598898494700382860209\ 593439091/246240921688941016658621926344426367134992488899803746768\ 06*c_0101_4^20 - 10008143080134294997872409141075511719843957304401\ 051574502617/296675809263784357420026417282441406186737938433498490\ 082*c_0101_4^19 - 9206290116976894442244082603553801916966128618038\ 00436773477467/1231204608444705083293109631722131835674962444499018\ 7338403*c_0101_4^18 - 503820538615085510511588754251748694149756862\ 0031367231192047059/49248184337788203331724385268885273426998497779\ 960749353612*c_0101_4^17 - 1289847067362021776387745021070221211249\ 9969271303503605538372127/98496368675576406663448770537770546853996\ 995559921498707224*c_0101_4^16 - 4313524201004239785208118859816906\ 361657442441756500987404105273/984963686755764066634487705377705468\ 53996995559921498707224*c_0101_4^15 + 12663634243330641264449801463517798921464545074941780627251273553/9\ 8496368675576406663448770537770546853996995559921498707224*c_0101_4\ ^14 + 9757719113864012432987517459861748222697319433058427747222260\ 381/49248184337788203331724385268885273426998497779960749353612*c_0\ 101_4^13 + 16218563531963622166088573926710801872619942488839910661\ 456294237/984963686755764066634487705377705468539969955599214987072\ 24*c_0101_4^12 + 37821665565720516636233437390079931343695290521237\ 57850331664453/4924818433778820333172438526888527342699849777996074\ 9353612*c_0101_4^11 - 817343010067158294638787039011130013430397905\ 032250015594861006/123120460844470508329310963172213183567496244449\ 90187338403*c_0101_4^10 - 21138867501240956558802629416091284228218\ 38578028593213211404809/4924818433778820333172438526888527342699849\ 7779960749353612*c_0101_4^9 - 2565731445613492428680828925422200887\ 634628216098331121834570295/984963686755764066634487705377705468539\ 96995559921498707224*c_0101_4^8 - 162566678486320017843999008074633\ 7164471827411558897611505138259/98496368675576406663448770537770546\ 853996995559921498707224*c_0101_4^7 + 388206250294829269904983602424053355321150488695713903835261185/246\ 24092168894101665862192634442636713499248889980374676806*c_0101_4^6 - 70942809923683195572519543156622983540874864200383024308815795/57\ 93904039739788627261692384574738050235117385877735218072*c_0101_4^5 + 824197048239513319340337210269745529071131222096935357935450285/9\ 8496368675576406663448770537770546853996995559921498707224*c_0101_4\ ^4 - 21018549625796778529674371227637819257226541812673801407954733\ /5793904039739788627261692384574738050235117385877735218072*c_0101_\ 4^3 + 1693553731653808458015839180024190468203260797163745515317492\ 13/98496368675576406663448770537770546853996995559921498707224*c_01\ 01_4^2 - 1582016816035567635995591639578756246914782128303581229174\ 2639/98496368675576406663448770537770546853996995559921498707224*c_\ 0101_4 - 1614534603775651719412254493127102726808782659782617208333\ 091/49248184337788203331724385268885273426998497779960749353612, c_0011_0 - 1, c_0011_1 - 291625889659196486534924030636723848000138432746665765604/12\ 312046084447050832931096317221318356749624444990187338403*c_0101_4^\ 27 + 178145074859986351121790339113145830144572261215379643343/7242\ 38004967473578407711548071842256279389673234716902259*c_0101_4^26 - 8384625620873786393071740294484851320284988894440548508097/12312046\ 084447050832931096317221318356749624444990187338403*c_0101_4^25 + 646460066307941866775311528223274428727566219937967004124/724238004\ 967473578407711548071842256279389673234716902259*c_0101_4^24 - 45781368624224133029288292397373365604986419706810233029176/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^23 + 1832402057351877981568332043424997796617445284054149891775/12312046\ 084447050832931096317221318356749624444990187338403*c_0101_4^22 + 36983432802299976396406906267323725699602728898807115318685/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^21 + 131659242672333029716332064416177151142962315872017170790886/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^20 + 6965840928396145792735909587608160864261339113868585458030/14833790\ 4631892178710013208641220703093368969216749245041*c_0101_4^19 + 1128793891730105303918849436452085400140459861953162100872661/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^18 + 1325484168989505664359127683506958763106190319798633568261849/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^17 + 1704600662234136689759908363492129403897574963104835339873889/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^16 - 193540266536008951111329550467789095058044278379227474504959/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^15 - 2597050649622879844930719526524373529652940908059156667463361/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^14 - 2464247916072371925745520654636689612285290951919318864233136/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^13 - 1509205333440637570664617491401118782514425412870242571493788/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^12 - 135223710418263446041636790024700209721246313054669615474779/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^11 + 1895170009011290404841071808573023865270520253220905903329055/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^10 + 28541917980995530763433253571174548410142112842446179533298/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^9 + 38278754939432636692449090149324397498951509487344448037761/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^8 - 100808770468375397186450443545845617192255603966333921328090/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^7 - 594252876224461124507628288292339768189881487305911275158529/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^6 + 26979240820562182999310449640916639454896564221754259855325/7242380\ 04967473578407711548071842256279389673234716902259*c_0101_4^5 - 264323621160810300262002338924566796154805241083526690050127/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^4 + 10005696246190462685698189929283882239213816897818542060640/7242380\ 04967473578407711548071842256279389673234716902259*c_0101_4^3 - 65866977258917657846600745759071463312729532601773459682992/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^2 + 14575825371875081696472809818788600604564276623421107194176/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4 + 6421800497628185348449271591430772464951427686326825471980/12312046\ 084447050832931096317221318356749624444990187338403, c_0011_3 - 827827226872495787593796588850991229277580066439978850330/12\ 312046084447050832931096317221318356749624444990187338403*c_0101_4^\ 27 + 489590917930900640707372653156507292855212905904564847771/7242\ 38004967473578407711548071842256279389673234716902259*c_0101_4^26 - 21033484741150244986062003169633610576286787525142242414559/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^25 + 1415954687777180161854769961988839739193868249972868436208/72423800\ 4967473578407711548071842256279389673234716902259*c_0101_4^24 - 121515038189173844329392563336293285280598955780561803367178/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^23 - 35184485862698276296131111202324178605051662472810732838091/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^22 + 94365855948458072440112760328011065965524561787985149342664/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^21 + 405197545902314870404733293132616959811592292559552352673935/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^20 + 21255736601527198108962091406150399586276497944812600685669/1483379\ 04631892178710013208641220703093368969216749245041*c_0101_4^19 + 3780685064095434763633801824212638627290211075630716555604027/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^18 + 4999936576394725743541196017846177790155206821851664910825430/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^17 + 6483869742352803364393085282619764306844164253417290413867952/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^16 + 1689031437056837603584802864937974005570860197354843530015926/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^15 - 6613162759757000502158449391586781986273375045517744692418394/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^14 - 8864387524947732152062650389016788818942960320801353142503892/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^13 - 6821421365007560639712995292663438240595506114318442898685729/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^12 - 2769152424046116536071813559258712417436329636335615017000927/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^11 + 3697888529129356906823926676477020295522431012564174148894712/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^10 + 686965335347374010273558210672373537495606560331907473950068/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^9 + 180575577023151478276061779483997803106190682043326066865014/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^8 + 54464804820008511961557897212580249414101302292889960328686/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^7 - 1229071987038716362307357500694771400698645369274575857237737/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^6 + 53386574180872205755740049257648594652092279349174516132491/7242380\ 04967473578407711548071842256279389673234716902259*c_0101_4^5 - 503400101729567673509318998213890200799598508750071264342357/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^4 + 19224131268518344906734543732578009871876432404085729071620/7242380\ 04967473578407711548071842256279389673234716902259*c_0101_4^3 - 126592945633932743864130373160498705838631240966218807670348/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^2 + 29143914268193525809079477155337687929129764566361399856164/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4 - 1610557171502324911416447978988161388485515024440825593399/12312046\ 084447050832931096317221318356749624444990187338403, c_0011_6 + 1299042615369984760288149537435977716302201320458324520188/1\ 2312046084447050832931096317221318356749624444990187338403*c_0101_4\ ^27 - 44914433460656923784297144053710005770140514643597472400/4260\ 2235586321975200453620474814250369375863131453935427*c_0101_4^26 + 32446847227040356624286270659753488023019895946187059885356/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^25 - 2238321632162443073587584152990125069013896578307221748603/72423800\ 4967473578407711548071842256279389673234716902259*c_0101_4^24 + 192837699437982790468068076729169058649584437546360084230735/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^23 + 64303257774770574344389307639915684998610547157600781569392/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^22 - 112685811316000656017879885578538689707842401946637962931150/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^21 - 608986264204513548557314194306885327564951582731921168193977/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^20 - 34047137622960786357850860313055812405567144435986551074997/1483379\ 04631892178710013208641220703093368969216749245041*c_0101_4^19 - 6254084020916491332966077926601534525187496504569312322260302/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^18 - 8839116148877061392657728418536282465634059806412116960648459/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^17 - 12186847162653972978430858866584773172106581810723596764184552/1231\ 2046084447050832931096317221318356749624444990187338403*c_0101_4^16 - 5616793203239178866375084554358538424560772767879509162381139/123\ 12046084447050832931096317221318356749624444990187338403*c_0101_4^1\ 5 + 7231876996150247345287104469257846592915246038123831473882660/1\ 2312046084447050832931096317221318356749624444990187338403*c_0101_4\ ^14 + 1282036986445300737356773353673490652812756364811114655949431\ 9/12312046084447050832931096317221318356749624444990187338403*c_010\ 1_4^13 + 1348205370419493086096505149232342372414753852916177508436\ 4867/12312046084447050832931096317221318356749624444990187338403*c_\ 0101_4^12 + 9623840039605345308126443639409776212271144572296155183\ 351432/12312046084447050832931096317221318356749624444990187338403*\ c_0101_4^11 - 11949295921644277025506174191600010417041380104401512\ 64728870/1231204608444705083293109631722131835674962444499018733840\ 3*c_0101_4^10 + 696209668133300626668346630165776832039179542262389\ 889325918/123120460844470508329310963172213183567496244449901873384\ 03*c_0101_4^9 - 124588854601556462100223084927801957588047617222197\ 5277187492/12312046084447050832931096317221318356749624444990187338\ 403*c_0101_4^8 - 15283524109621377865351073061515481678431775573703\ 71641378091/1231204608444705083293109631722131835674962444499018733\ 8403*c_0101_4^7 + 1276528083913394559944192896606339498041451793322\ 060483124124/123120460844470508329310963172213183567496244449901873\ 38403*c_0101_4^6 - 842103302477133300773321124768722035703991220533\ 54206420332/7242380049674735784077115480718422562793896732347169022\ 59*c_0101_4^5 + 965869698322191090792953609331980918381276614952039\ 326931458/123120460844470508329310963172213183567496244449901873384\ 03*c_0101_4^4 - 305956525604700013575651977531753936345152864138541\ 56631522/724238004967473578407711548071842256279389673234716902259*\ c_0101_4^3 + 216110472989836994536438823802400956117928816938737496\ 027721/12312046084447050832931096317221318356749624444990187338403*\ c_0101_4^2 - 583340265049215061373862772708212975489327313223619426\ 20788/12312046084447050832931096317221318356749624444990187338403*c\ _0101_4 + 739794271637947256324155375547188484207438735554641692808\ 0/12312046084447050832931096317221318356749624444990187338403, c_0101_0 - 1691832061740683135300744838177366674299195232409159598274/1\ 2312046084447050832931096317221318356749624444990187338403*c_0101_4\ ^27 + 984985781318022498141388530820022008486045856294254330676/724\ 238004967473578407711548071842256279389673234716902259*c_0101_4^26 - 40499284601747311410318660326491656977620794737978226803024/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^25 + 2599198462944168079922785585049787046478397658795223552914/72423800\ 4967473578407711548071842256279389673234716902259*c_0101_4^24 - 244497826698034475212080823870939609109007008360260885858192/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^23 - 107395931131092679827177325550360020639433404147127795168949/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^22 + 157349954004211814446119234562852913355537842486561116037880/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^21 + 841657217729256851305641574129386039684311608606795393935196/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^20 + 45239845344986506374244773792849308380435116687324921875865/1483379\ 04631892178710013208641220703093368969216749245041*c_0101_4^19 + 8392398139951493706044111119234381674085378299975515202793145/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^18 + 11844018792579146579950416738490884410223550594885105272283799/1231\ 2046084447050832931096317221318356749624444990187338403*c_0101_4^17 + 15790800914294384026822832581812510745248716825673646628062514/12\ 312046084447050832931096317221318356749624444990187338403*c_0101_4^\ 16 + 6834806928410389434504715857983609219090602577056332844782978/\ 12312046084447050832931096317221318356749624444990187338403*c_0101_\ 4^15 - 113828327907754280259893464065004794880201160819255951009691\ 56/12312046084447050832931096317221318356749624444990187338403*c_01\ 01_4^14 - 197481159693905235736353533139907746752538971299607617071\ 16426/12312046084447050832931096317221318356749624444990187338403*c\ _0101_4^13 - 186468614736899812600104714183375581272142917324405303\ 74142603/1231204608444705083293109631722131835674962444499018733840\ 3*c_0101_4^12 - 109030921993053746344860833254609339330533545575789\ 26498594758/1231204608444705083293109631722131835674962444499018733\ 8403*c_0101_4^11 + 419599837365296520244429226475721274119339033728\ 9125664876286/12312046084447050832931096317221318356749624444990187\ 338403*c_0101_4^10 + 1756658965737616105010651641046825101441629146\ 384201662454824/123120460844470508329310963172213183567496244449901\ 87338403*c_0101_4^9 + 188745237388202098191698828734705708468009931\ 9445877035895926/12312046084447050832931096317221318356749624444990\ 187338403*c_0101_4^8 + 13815380590502196720671737993814358259526555\ 75872393759206209/1231204608444705083293109631722131835674962444499\ 0187338403*c_0101_4^7 - 1862049039394771324644991188584487527946656\ 026617868605573292/123120460844470508329310963172213183567496244449\ 90187338403*c_0101_4^6 + 581670699324991803148052117152281322202380\ 1146147842597441/42602235586321975200453620474814250369375863131453\ 935427*c_0101_4^5 - 97427176603750918045788382791418367513516962677\ 9795659818349/12312046084447050832931096317221318356749624444990187\ 338403*c_0101_4^4 + 34615105630773325241655903276347617555268582431\ 805257376120/724238004967473578407711548071842256279389673234716902\ 259*c_0101_4^3 - 22909266460717607585152591280776101438665356284068\ 5073048989/12312046084447050832931096317221318356749624444990187338\ 403*c_0101_4^2 + 41965760087212294875839715965334056975307762869945\ 155991148/123120460844470508329310963172213183567496244449901873384\ 03*c_0101_4 - 33860874261748289470571402473278469239158814796027191\ 01647/12312046084447050832931096317221318356749624444990187338403, c_0101_3 + 1422778347776829931898431011782820287778440557647548745629/1\ 2312046084447050832931096317221318356749624444990187338403*c_0101_4\ ^27 - 833321709111906816187562383686897267646827299715179726764/724\ 238004967473578407711548071842256279389673234716902259*c_0101_4^26 + 34827966953088433933080127785316433339839248612489653038084/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^25 - 2263118606013437110343262471628992963659619136245304306942/72423800\ 4967473578407711548071842256279389673234716902259*c_0101_4^24 + 205867617352939855044737135147953592059777633356979574847980/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^23 + 80407602085064691419364888861589137511724907510987242706772/1231204\ 6084447050832931096317221318356749624444990187338403*c_0101_4^22 - 147566556491382761093654560124306229547824062198703413788719/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^21 - 700540072078430642211699765842179412206093993585742392254692/123120\ 46084447050832931096317221318356749624444990187338403*c_0101_4^20 - 37380497666219664410476869760962901437629987063928982158635/1483379\ 04631892178710013208641220703093368969216749245041*c_0101_4^19 - 6840877589380174473046987379086496462585840744555228779992385/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^18 - 9411804239541349633118393443931770603920212234300703647479694/12312\ 046084447050832931096317221318356749624444990187338403*c_0101_4^17 - 12434853513584178732076965282838259292787917992401984852973205/1231\ 2046084447050832931096317221318356749624444990187338403*c_0101_4^16 - 4699172917065883508507563004160302329287411387489289864757290/123\ 12046084447050832931096317221318356749624444990187338403*c_0101_4^1\ 5 + 10233193924500972063040983629640821250357914219435061205018014/\ 12312046084447050832931096317221318356749624444990187338403*c_0101_\ 4^14 + 159396033877565226825091232686594056969762561036748906484536\ 84/12312046084447050832931096317221318356749624444990187338403*c_01\ 01_4^13 + 140287640368171022345595009352793662100819270156964341668\ 13282/12312046084447050832931096317221318356749624444990187338403*c\ _0101_4^12 + 780168591472691084716130634731102089189971111277527363\ 5762701/12312046084447050832931096317221318356749624444990187338403\ *c_0101_4^11 - 4145633784663052993138863696527736871655815041115941\ 536563452/123120460844470508329310963172213183567496244449901873384\ 03*c_0101_4^10 - 12767277173888928359822139126567786458305711471185\ 09925846144/1231204608444705083293109631722131835674962444499018733\ 8403*c_0101_4^9 - 1207566765561199089205819078740149223524061546690\ 123366949676/123120460844470508329310963172213183567496244449901873\ 38403*c_0101_4^8 - 118045549716653122070111396588662809268958069773\ 8991383646630/12312046084447050832931096317221318356749624444990187\ 338403*c_0101_4^7 + 14810333448530299831002206568888019486397216408\ 63576312634770/1231204608444705083293109631722131835674962444499018\ 7338403*c_0101_4^6 - 8192545703533563342402383408117181631486812600\ 8609568573184/72423800496747357840771154807184225627938967323471690\ 2259*c_0101_4^5 + 9024678240965488933722506434245472132474673784753\ 27306696674/1231204608444705083293109631722131835674962444499018733\ 8403*c_0101_4^4 - 1484873461834487281690735608625627669159949964593\ 940669694/42602235586321975200453620474814250369375863131453935427*\ c_0101_4^3 + 203191789556415554954228134172620442976651315622147728\ 901294/12312046084447050832931096317221318356749624444990187338403*\ c_0101_4^2 - 508297874823554769712986287466089926919548975979127758\ 40069/12312046084447050832931096317221318356749624444990187338403*c\ _0101_4 + 409149499103224114304076795876091466652081464145953591103\ 0/12312046084447050832931096317221318356749624444990187338403, c_0101_4^28 - 10*c_0101_4^27 + 25*c_0101_4^26 - 29*c_0101_4^25 + 148*c_0101_4^24 + 48*c_0101_4^23 - 93*c_0101_4^22 - 481*c_0101_4^21 - 2167*c_0101_4^20 - 4759*c_0101_4^19 - 6615*c_0101_4^18 - 8930*c_0101_4^17 - 3621*c_0101_4^16 + 6380*c_0101_4^15 + 10368*c_0101_4^14 + 9841*c_0101_4^13 + 6051*c_0101_4^12 - 2087*c_0101_4^11 + 11*c_0101_4^10 - 804*c_0101_4^9 - 737*c_0101_4^8 + 1045*c_0101_4^7 - 1116*c_0101_4^6 + 741*c_0101_4^5 - 440*c_0101_4^4 + 201*c_0101_4^3 - 64*c_0101_4^2 + 12*c_0101_4 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB