Magma V2.19-8 Tue Aug 20 2013 16:17:05 on localhost [Seed = 3937105465] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1334 geometric_solution 5.21283149 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 0 -1 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.157789038935 0.949751607672 3 2 4 0 0132 3012 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 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.971054808572 1.293375580002 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 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 -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 0.971054808572 1.293375580002 1 3 3 2 0132 1230 3012 3201 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 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 1.037203587296 0.629043908301 5 2 5 1 0132 2310 2310 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.352317194672 1.103270079871 4 4 6 6 0132 3201 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.259786297233 0.141941465678 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.778241109764 1.685313461073 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 4335034402012883299183254526526243171678975274918775817573319027475\ 33748667274495396486283221248/1808412163707495218970381846270167439\ 474369202640243938645619324924472056495947645649044729*c_0101_4^23 - 3393513124747633545508012461399144943037021499388838685162283674799\ 750515755372097365375708681088/180841216370749521897038184627016743\ 9474369202640243938645619324924472056495947645649044729*c_0101_4^22 + 18328723976422615156187521146672521202171284212287560629599985292\ 457542119606338893823189640761136/180841216370749521897038184627016\ 7439474369202640243938645619324924472056495947645649044729*c_0101_4\ ^21 - 8043337752242109496508999054293108522711177120329940037695054\ 275609879228956263289533662011849816/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^20 - 7678213377792344838015243835596049897281934666761121547931\ 5201975385981347987945034172665581106450/18084121637074952189703818\ 46270167439474369202640243938645619324924472056495947645649044729*c\ _0101_4^19 + 867818809316691263182981386192622935852687637126237271\ 51208566935447496708064947909833033301619671/1808412163707495218970\ 3818462701674394743692026402439386456193249244720564959476456490447\ 29*c_0101_4^18 + 19174652962840199407935301785669599368198861887319\ 18277838985969546469971274895193597881726892886071/2893459461931992\ 3503526109540322679031589907242243903018329909198791552903935162330\ 384715664*c_0101_4^17 - 2726392537617991518335731543188040934346759\ 100162362642763785153175336136941046366458217156263444929/289345946\ 1931992350352610954032267903158990724224390301832990919879155290393\ 5162330384715664*c_0101_4^16 - 162337397824231319463386761772757642\ 7260158504725437921777220326194949128211534882510615874976613133/28\ 9345946193199235035261095403226790315899072422439030183299091987915\ 52903935162330384715664*c_0101_4^15 + 3907309561772670207214481511628083516326505637580609764120342717929\ 09321228782691564951898024267431/3616824327414990437940763692540334\ 878948738405280487877291238649848944112991895291298089458*c_0101_4^\ 14 - 53929068932960260501534809301577000610407053625936827640845437\ 0203049163609915543788624453089328479/28934594619319923503526109540\ 322679031589907242243903018329909198791552903935162330384715664*c_0\ 101_4^13 - 17575757762604824303887089778377144829568614858984563113\ 7069403651761404848353717359549843282312299/72336486548299808758815\ 2738508066975789747681056097575458247729969788822598379058259617891\ 6*c_0101_4^12 + 217597387299487586518809036452930610668262853869843\ 665794656609656945435284705073775488348965525759/144672973096599617\ 5176305477016133951579495362112195150916495459939577645196758116519\ 2357832*c_0101_4^11 - 177497443489028117312456486927522338132833401\ 76526357572387683228934575211646557094004228503440521/1808412163707\ 4952189703818462701674394743692026402439386456193249244720564959476\ 45649044729*c_0101_4^10 + 18466532278661299623269657860881385940937\ 4053232159866041719598586551315908060182002820376439395937/28934594\ 6193199235035261095403226790315899072422439030183299091987915529039\ 35162330384715664*c_0101_4^9 - 185840456090461825433581914328684621\ 99714245510873504317450375388080226177961363703369059906901369/1446\ 7297309659961751763054770161339515794953621121951509164954599395776\ 451967581165192357832*c_0101_4^8 - 1978378971699189104468886494126777066454169730731879123791917127024\ 1473308556268662573331812043421/14467297309659961751763054770161339\ 515794953621121951509164954599395776451967581165192357832*c_0101_4^\ 7 + 240737722248393118734829724774976153821060573774329075938163760\ 5659559483961250044987890918477031/18084121637074952189703818462701\ 67439474369202640243938645619324924472056495947645649044729*c_0101_\ 4^6 - 1089116302486641744917866368896818450600432115892120583890507\ 867703532207178366672079328974157398/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^5 + 46378469536225483055031605729079963318467093359274014000667\ 10893569477508507356759125893462959891/2893459461931992350352610954\ 0322679031589907242243903018329909198791552903935162330384715664*c_\ 0101_4^4 - 17390164790672064793382759922342075251326136129970927589\ 1255759118710579825697212527915064527187/28934594619319923503526109\ 540322679031589907242243903018329909198791552903935162330384715664*\ c_0101_4^3 - 218565893669187206367643134015502081798020038974781127\ 193466709426067987755948172663611023122015/144672973096599617517630\ 5477016133951579495362112195150916495459939577645196758116519235783\ 2*c_0101_4^2 + 1589505399427549739033774495581468721137260002110249\ 53578794457136887728670898452911191553840583/2893459461931992350352\ 6109540322679031589907242243903018329909198791552903935162330384715\ 664*c_0101_4 - 1862125304292909540918040843264118424898636179116420\ 2726222081219990607597164714274182341848095/28934594619319923503526\ 1095403226790315899072422439030183299091987915529039351623303847156\ 64, c_0011_0 - 1, c_0011_1 + 244872695286943331290645010013174323875110468449103418912334\ 15704906013136345547039978512433152/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^23 + 19510023202716357377746438811783097436447473912247951638113\ 6352866110131196997714867683726602240/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^22 - 100869804416027858937011341900524331147937882298296117338\ 0210566901191497805170869514554524601344/18084121637074952189703818\ 46270167439474369202640243938645619324924472056495947645649044729*c\ _0101_4^21 + 308909269197923142966242527638198353615486908113754179\ 995046073236373938780523507786586946369280/180841216370749521897038\ 1846270167439474369202640243938645619324924472056495947645649044729\ *c_0101_4^20 + 4397685020600498776298080499960208163589192551428174\ 347215896056079216370675871411987546766639616/180841216370749521897\ 0381846270167439474369202640243938645619324924472056495947645649044\ 729*c_0101_4^19 - 4273672662303863657530924710508734392839773025664\ 019765977717649969143195895456599917445783423904/180841216370749521\ 8970381846270167439474369202640243938645619324924472056495947645649\ 044729*c_0101_4^18 - 7462261305636261588468387882258287324949998902\ 191796037670109379145043860300515480436412140903572/180841216370749\ 5218970381846270167439474369202640243938645619324924472056495947645\ 649044729*c_0101_4^17 + 8575755673305840945090497937761382121205819\ 457273831278167886037270747528754770109302969916337181/180841216370\ 7495218970381846270167439474369202640243938645619324924472056495947\ 645649044729*c_0101_4^16 + 7158024475667607653580772898102857846203\ 740747492901039617896372944470378138674570295900832182850/180841216\ 3707495218970381846270167439474369202640243938645619324924472056495\ 947645649044729*c_0101_4^15 - 1003076158214826584965415942894061333\ 7610330947534695983556016384738821662531666201034233787510495/18084\ 1216370749521897038184627016743947436920264024393864561932492447205\ 6495947645649044729*c_0101_4^14 + 213637341476204153004766076700162\ 994253958893350852404740427063977843502456142887271983057725451/180\ 8412163707495218970381846270167439474369202640243938645619324924472\ 056495947645649044729*c_0101_4^13 + 2523930386582897734257117988769538434396952385393486248703464736039\ 732537935269551021180289757656/180841216370749521897038184627016743\ 9474369202640243938645619324924472056495947645649044729*c_0101_4^12 - 10285425994510720286967058524122221003837948756208341578857751179\ 75334950152864089897690100892481/1808412163707495218970381846270167\ 439474369202640243938645619324924472056495947645649044729*c_0101_4^\ 11 + 84553598282933267683085274799152788860252421080656849973928482\ 1709532546808600754030767794338066/18084121637074952189703818462701\ 67439474369202640243938645619324924472056495947645649044729*c_0101_\ 4^10 - 548257880867922421769591943248749981259490363009004633867778\ 170432071003470309309531658735934112/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^9 + 47812774946050238848762083222124343443368810876689809616681\ 857960608419025859746149808530415359/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^8 + 14071990409360431561700833626273041397772861002407283303674\ 3939149024102333344840750953885320969/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^7 - 1093144683732734411384337038038390680555486915642686747845\ 31120267805355284757222529723385848601/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^6 + 437568985911352800341726769167804245978148644330632850220\ 30949839701759960262340949201870944187/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^5 - 104802846595837899510567576099126026284474298056981227847\ 66394726003448595940637597936731089677/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^4 - 220947991173363570018750431924951951984425989379426809923\ 674851475899435857733818313237237351/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^3 + 11448276109609561615301693956613228487280045429113485826640\ 51954445218092827711265998236450561/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^2 - 249013203766463579014887509978552644674021949641154158368627\ 373716554980182462330702021151033/180841216370749521897038184627016\ 7439474369202640243938645619324924472056495947645649044729*c_0101_4 + 99748050883601015459352808928129736600952033733735030144048805832\ 99606312182330326704209715/1808412163707495218970381846270167439474\ 369202640243938645619324924472056495947645649044729, c_0011_4 - 248008083718493133293469860912095241319530841066671732061834\ 71916406382399414980960961253814272/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^23 - 19785227381025339614515055556586062340240256309437774000958\ 1985077108772933857681736611981379584/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^22 + 101951085893808492301698338028425461887519367784910624913\ 3630800900123189542939209645859587744000/18084121637074952189703818\ 46270167439474369202640243938645619324924472056495947645649044729*c\ _0101_4^21 - 303043203408076033445848897812479658935807242023698993\ 722482485771317582041000848610668656247424/180841216370749521897038\ 1846270167439474369202640243938645619324924472056495947645649044729\ *c_0101_4^20 - 4453972401715575921932027087134203194570010066803699\ 513151951558619945143527310858996086980533088/180841216370749521897\ 0381846270167439474369202640243938645619324924472056495947645649044\ 729*c_0101_4^19 + 4282137837451794618681859267573122177730109369611\ 105122141168058107153005727705440215852810780432/180841216370749521\ 8970381846270167439474369202640243938645619324924472056495947645649\ 044729*c_0101_4^18 + 7587578359866945417649308762142973519296266604\ 941176163393870763897347736762477031135239596316445/180841216370749\ 5218970381846270167439474369202640243938645619324924472056495947645\ 649044729*c_0101_4^17 - 8595838560303436303696525886510633800389251\ 589699166126609513942911664772848729545801680109716057/180841216370\ 7495218970381846270167439474369202640243938645619324924472056495947\ 645649044729*c_0101_4^16 - 7312124406016186938972954405597807722555\ 105378262227114154184467037294971497477190762761682574091/180841216\ 3707495218970381846270167439474369202640243938645619324924472056495\ 947645649044729*c_0101_4^15 + 1005994283473263139666896235653134680\ 5131913689141269000122583841694211743139716548886694464290080/18084\ 1216370749521897038184627016743947436920264024393864561932492447205\ 6495947645649044729*c_0101_4^14 - 140327752683815206595039275833856\ 177181554249089443696159253798517857578236619605119250824278100/180\ 8412163707495218970381846270167439474369202640243938645619324924472\ 056495947645649044729*c_0101_4^13 - 2529565156060251767817951600582594850639388127618472679242204028828\ 246680853468689938827617344915/180841216370749521897038184627016743\ 9474369202640243938645619324924472056495947645649044729*c_0101_4^12 + 10199274059232233153794465731756357213349018375805885826442227756\ 58157669474629882791561798600856/1808412163707495218970381846270167\ 439474369202640243938645619324924472056495947645649044729*c_0101_4^\ 11 - 85240538907322474017733604631080753150434898105051441837453968\ 5782078371577691780311199830120605/18084121637074952189703818462701\ 67439474369202640243938645619324924472056495947645649044729*c_0101_\ 4^10 + 548735986075026071411907969293717640702352632678846834290213\ 583375800413302856508931902071900375/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^9 - 45794902009552035134747208724083851490804083284752177803495\ 880996013571035652418652413135691729/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^8 - 14174247571884231748733361770446617978521000416328974032953\ 6149686367632081188021549436722606812/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^7 + 1092956563110023144998781153985356351404763172987275622703\ 04980341113892110363873227593508590544/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^6 - 436092615966841587476052537312399986284268385589398842228\ 68900186727584161214626837773884884391/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^5 + 104690880922471022424789610021877080744711483844827901283\ 03598122753586686311165047397358796933/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^4 + 226386876142295783120332371763258025209234333694702228767\ 921867627993052558258643753000112699/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^3 - 11299269925277145397547081576523695577513796621774423284691\ 14749788432597130352165357920215460/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^2 + 244913511799955850477530010806812291818951083063088800065308\ 189994646750873339761241411176613/180841216370749521897038184627016\ 7439474369202640243938645619324924472056495947645649044729*c_0101_4 - 95655546185570275231774607272890184199656775916328733863606589899\ 72270644447246844915518307/1808412163707495218970381846270167439474\ 369202640243938645619324924472056495947645649044729, c_0011_6 + 108954399785084961336664388227873283545623329956361938861457\ 21295483309896096134902167328006144/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^23 + 87701624443602278602405853391403884479570427215383099346894\ 117427482586970410890178939972378624/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^22 - 4414732479639753717413367226876291697418640111234709013178\ 07986530014085934113856257822831316480/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^21 + 10249861340611705276227427782861729357429225718823596969\ 9059325155595303130350457694683216205312/18084121637074952189703818\ 46270167439474369202640243938645619324924472056495947645649044729*c\ _0101_4^20 + 195923859788611069033838593895899534863793485802988058\ 2655148427453493323358622195337177725635264/18084121637074952189703\ 8184627016743947436920264024393864561932492447205649594764564904472\ 9*c_0101_4^19 - 174059492709094780303344574894293718850748745028184\ 7071825405994239244901860295868556626783462656/18084121637074952189\ 7038184627016743947436920264024393864561932492447205649594764564904\ 4729*c_0101_4^18 - 343578471012429492747257797349633414305485015517\ 5608035920467178993912212612410586033438612629486/18084121637074952\ 1897038184627016743947436920264024393864561932492447205649594764564\ 9044729*c_0101_4^17 + 351500658282409353283443292782530028900880419\ 1678527833497080834251404085973831518710362397283945/18084121637074\ 9521897038184627016743947436920264024393864561932492447205649594764\ 5649044729*c_0101_4^16 + 342195668121820038877317723700277907756821\ 6510930585924282370665041113806829138551914999198441877/18084121637\ 0749521897038184627016743947436920264024393864561932492447205649594\ 7645649044729*c_0101_4^15 - 414353511509643032587254987692637709788\ 4598594469541274659036911944672633470810111773059370945305/18084121\ 6370749521897038184627016743947436920264024393864561932492447205649\ 5947645649044729*c_0101_4^14 - 189883850122359965247357820166402030\ 673628821718961638610010559861614204520170874951978652087703/180841\ 2163707495218970381846270167439474369202640243938645619324924472056\ 495947645649044729*c_0101_4^13 + 1060686043488379527089847316575476\ 081414041968008081909694692301273490844524624767951034126906294/180\ 8412163707495218970381846270167439474369202640243938645619324924472\ 056495947645649044729*c_0101_4^12 - 3821158283115515272089762647535394657101261514403398890824468793604\ 48704722531992176712838539304/1808412163707495218970381846270167439\ 474369202640243938645619324924472056495947645649044729*c_0101_4^11 + 3567534384483235621117943256814305564793524988777489732523064001975\ 23974653337886184777652763894/1808412163707495218970381846270167439\ 474369202640243938645619324924472056495947645649044729*c_0101_4^10 - 2177348157941680966092736399311013939159444412280101368695320038260\ 43336515084629854947447945964/1808412163707495218970381846270167439\ 474369202640243938645619324924472056495947645649044729*c_0101_4^9 + 8149432999719466616275602412920875457988856208202408521625985161008\ 193339289521461653244949052/180841216370749521897038184627016743947\ 4369202640243938645619324924472056495947645649044729*c_0101_4^8 + 6117820242955505566291577755744972233840742433400937022576159995131\ 0557017872377979295994271746/18084121637074952189703818462701674394\ 74369202640243938645619324924472056495947645649044729*c_0101_4^7 - 4390615276823311438052835495689214219713944027636258241198985644995\ 3328699432284926424013615493/18084121637074952189703818462701674394\ 74369202640243938645619324924472056495947645649044729*c_0101_4^6 + 1662116797510759922968100364021834765899632501601288701995263284620\ 0774037633392333330935642049/18084121637074952189703818462701674394\ 74369202640243938645619324924472056495947645649044729*c_0101_4^5 - 3778371625996339138730476208726914034773564397410685860288586511731\ 131239899164362376661478898/180841216370749521897038184627016743947\ 4369202640243938645619324924472056495947645649044729*c_0101_4^4 - 2579876165549568376654375260727781593154266192812122404072197360050\ 31560373478431506389460739/1808412163707495218970381846270167439474\ 369202640243938645619324924472056495947645649044729*c_0101_4^3 + 4602446434917760212651382518069767239673373105732181152161444235200\ 91851049652875527052554287/1808412163707495218970381846270167439474\ 369202640243938645619324924472056495947645649044729*c_0101_4^2 - 8180160698289092103093538114624903895429128388321405966372522444486\ 9313774286116348067789255/18084121637074952189703818462701674394743\ 69202640243938645619324924472056495947645649044729*c_0101_4 + 2364241458032898082350377546384304383713785489012400833485513985817\ 469610519493878806419595/180841216370749521897038184627016743947436\ 9202640243938645619324924472056495947645649044729, c_0101_0 + 200307571226314807707630042085864094269121154212794171992581\ 09818976356035644113218713214713856/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^23 + 15635323089978221969672327299639340853677064337721770727739\ 9060191993778542816439148994290249728/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^22 - 852076163752634072203913730695763019744475917071234989470\ 359929102259026452612698994040021886976/180841216370749521897038184\ 6270167439474369202640243938645619324924472056495947645649044729*c_\ 0101_4^21 + 3766784262148662556900606336646749344824862983548132774\ 47688086543084601256295702378869724322560/1808412163707495218970381\ 846270167439474369202640243938645619324924472056495947645649044729*\ c_0101_4^20 + 35999670839874266080190737798693418446449858461638952\ 58768414415118549333327063705854886804219520/1808412163707495218970\ 3818462701674394743692026402439386456193249244720564959476456490447\ 29*c_0101_4^19 - 40766499411025148602306414656228158552036853360617\ 34739587513319303675306416797448496061103856928/1808412163707495218\ 9703818462701674394743692026402439386456193249244720564959476456490\ 44729*c_0101_4^18 - 57425384957603268358277593233401172153069494673\ 85949993877950651668476751989645497959277836318048/1808412163707495\ 2189703818462701674394743692026402439386456193249244720564959476456\ 49044729*c_0101_4^17 + 81284044820124916537728902978592620495456641\ 77567252621693902185542227898493157381560681612000919/1808412163707\ 4952189703818462701674394743692026402439386456193249244720564959476\ 45649044729*c_0101_4^16 + 51113500486838873165203324249739908191880\ 48040143083444740023656844929307355841718895354419957373/1808412163\ 7074952189703818462701674394743692026402439386456193249244720564959\ 47645649044729*c_0101_4^15 - 94115091534698499996881027277482464057\ 05348559060713598016680747529800233839306328262430078340833/1808412\ 1637074952189703818462701674394743692026402439386456193249244720564\ 95947645649044729*c_0101_4^14 + 10793975689827227443713486810390881\ 85389607970484565851088915688265756476684777201790827986101122/1808\ 4121637074952189703818462701674394743692026402439386456193249244720\ 56495947645649044729*c_0101_4^13 + 2352120630228378128479893368758004806676449010380802386684444643440\ 883069560524795011842333346708/180841216370749521897038184627016743\ 9474369202640243938645619324924472056495947645649044729*c_0101_4^12 - 10756743558837202712795182165472579207974501508913177322712785931\ 37388698494435715827580054456376/1808412163707495218970381846270167\ 439474369202640243938645619324924472056495947645649044729*c_0101_4^\ 11 + 74543084799875447855743562977461601696952148844211809796521037\ 2465607890919031709450682184233084/18084121637074952189703818462701\ 67439474369202640243938645619324924472056495947645649044729*c_0101_\ 4^10 - 540616737454120866216018239633756796212163199034725288792257\ 280438093151514668306039811506111722/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^9 + 79899382439049154610624347921131330292525975360666819129621\ 537116249996585480743294478409215886/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^8 + 12288890942364612258780801795706043258537669767364184299486\ 1768350156064494442765338214168627040/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^7 - 1054157388054798797411097379314670821640722348329024491671\ 29363983132729640623914336793118681640/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^6 + 446088785342876794698071767786622006705047294060123264415\ 38228572583173971766361705979970955731/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^5 - 112790606383905487251617690316336738243660905645979316307\ 57802950051212404172312861785380807388/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^4 + 267557049812108795037120707618667281891849876265963301818\ 282273115749450745297331856508857758/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^3 + 11118163961311553010992232169749850741577461855775246916338\ 80977453718532759520678576122946115/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^2 - 290322199294806974639198564304807879682953893372561272384061\ 141795911334837502911027942320718/180841216370749521897038184627016\ 7439474369202640243938645619324924472056495947645649044729*c_0101_4 + 12016907930321736750009699401125610682410091237090957307363733265\ 478071368487901204399989850/180841216370749521897038184627016743947\ 4369202640243938645619324924472056495947645649044729, c_0101_1 + 240362519388590412341980386797162482903690983544726524430948\ 87979662147990450183536795374174208/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^23 + 19011424825318932761454432530306088762619835223528936723988\ 9093901629428190995350077805599039488/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^22 - 100151484553707174150346895799635296315198378345594154016\ 5155550237384248034236687490437341262848/18084121637074952189703818\ 46270167439474369202640243938645619324924472056495947645649044729*c\ _0101_4^21 + 358101431228979779286981273318214068127842408760712624\ 012907447074897492656153411506979315151360/180841216370749521897038\ 1846270167439474369202640243938645619324924472056495947645649044729\ *c_0101_4^20 + 4310775909859319284768778383298709843846778592086208\ 699739314840785627437414287200378327177432960/180841216370749521897\ 0381846270167439474369202640243938645619324924472056495947645649044\ 729*c_0101_4^19 - 4445570458874306498920147407031402575156598566239\ 607055853383175358543603375667031090685754388544/180841216370749521\ 8970381846270167439474369202640243938645619324924472056495947645649\ 044729*c_0101_4^18 - 7135606057494286793887552023781497380404924236\ 939630739549991939219303045503564980865027938103908/180841216370749\ 5218970381846270167439474369202640243938645619324924472056495947645\ 649044729*c_0101_4^17 + 8879377891475808876117428788334606463485582\ 384026981365547349714554715873652739055628396010650932/180841216370\ 7495218970381846270167439474369202640243938645619324924472056495947\ 645649044729*c_0101_4^16 + 6639240133563616729933400088475043898331\ 904225681630392920906494435778515149036752816229972505972/180841216\ 3707495218970381846270167439474369202640243938645619324924472056495\ 947645649044729*c_0101_4^15 - 1032949033223806228119987696778811166\ 9850324988139548534209212532489822066192613173993496197143297/18084\ 1216370749521897038184627016743947436920264024393864561932492447205\ 6495947645649044729*c_0101_4^14 + 673620884534395668750526478947151\ 754972558892818432340765225271285810445744260184681086871429438/180\ 8412163707495218970381846270167439474369202640243938645619324924472\ 056495947645649044729*c_0101_4^13 + 2558163200708071954355459098699504029257464128745109537992479983623\ 825278454400248990893116755480/180841216370749521897038184627016743\ 9474369202640243938645619324924472056495947645649044729*c_0101_4^12 - 11327394943239262033087645902997042455097660141555105243794763122\ 52530402655321084643564801001165/1808412163707495218970381846270167\ 439474369202640243938645619324924472056495947645649044729*c_0101_4^\ 11 + 86310970277451430914180910695096067105410249772961605618967544\ 2228442523637890243672954747318418/18084121637074952189703818462701\ 67439474369202640243938645619324924472056495947645649044729*c_0101_\ 4^10 - 579625043875455760077615340695239821725946509342816511888351\ 971755149621263968310589191782485738/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^9 + 69965838434600094765680321314041131703290292450089653287616\ 152702236300750437685394666143955430/180841216370749521897038184627\ 0167439474369202640243938645619324924472056495947645649044729*c_010\ 1_4^8 + 13980012775152328423514859536757566516053992093800768735821\ 9039049830959556811668278989596928700/18084121637074952189703818462\ 70167439474369202640243938645619324924472056495947645649044729*c_01\ 01_4^7 - 1147965565338847269313089317921684758930558251202616375382\ 40028989231126631997480337094341062790/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^6 + 475828745340397077374399456381709575620402986696910052385\ 50690902675333151919150583693111180798/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^5 - 118652069140876638619137276296804067409416365284901248930\ 54054051450745764674708682703071189752/1808412163707495218970381846\ 270167439474369202640243938645619324924472056495947645649044729*c_0\ 101_4^4 + 868955775655088453030810575064725720830347317006304582267\ 83208746245048608585132321467630722/1808412163707495218970381846270\ 167439474369202640243938645619324924472056495947645649044729*c_0101\ _4^3 + 117857905758990918101701460326737979918118015052381099860928\ 3283126356584187397361204987720452/18084121637074952189703818462701\ 67439474369202640243938645619324924472056495947645649044729*c_0101_\ 4^2 - 2927123984862050942076469286932567031049991039656763429876747\ 26710757858762289796562122967952/1808412163707495218970381846270167\ 439474369202640243938645619324924472056495947645649044729*c_0101_4 + 1414224505427422109773406287189531801626286250521862204759001274179\ 6067516373033719403571919/18084121637074952189703818462701674394743\ 69202640243938645619324924472056495947645649044729, c_0101_4^24 + 15/2*c_0101_4^23 - 6467/144*c_0101_4^22 + 3065/96*c_0101_4^21 + 199769/1152*c_0101_4^20 - 595415/2304*c_0101_4^19 - 8179463/36864*c_0101_4^18 + 18123449/36864*c_0101_4^17 + 4655677/36864*c_0101_4^16 - 1253831/2304*c_0101_4^15 + 7468999/36864*c_0101_4^14 + 889913/9216*c_0101_4^13 - 1668515/18432*c_0101_4^12 + 63067/1152*c_0101_4^11 - 1426961/36864*c_0101_4^10 + 77803/6144*c_0101_4^9 + 9637/2048*c_0101_4^8 - 16481/2304*c_0101_4^7 + 6005/1536*c_0101_4^6 - 15833/12288*c_0101_4^5 + 2465/12288*c_0101_4^4 + 895/18432*c_0101_4^3 - 1183/36864*c_0101_4^2 + 199/36864*c_0101_4 - 1/4608 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB