Magma V2.19-8 Tue Aug 20 2013 16:18:12 on localhost [Seed = 1629551707] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2421 geometric_solution 5.77043568 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 2310 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.203347567503 1.192500518928 0 2 4 3 0132 3201 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.138954827561 0.814879204159 3 4 1 0 3201 0132 2310 0132 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 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.138954827561 0.814879204159 5 5 1 2 0132 3201 0132 2310 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455891752015 2.009749644092 6 2 6 1 0132 0132 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.859412961377 0.850549523275 3 5 3 5 0132 1302 2310 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 -0.580838488907 0.709540788214 4 4 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.408593976594 0.262603636220 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : d['1'], 's_1_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_4'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_2'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_2'], '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_2'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t + 2908585643202256046694177427909715299421703274664000534702803446943\ 678576157266371019390623526912/485137423883620951451717456649993525\ 5793894472662896092123903759610928756400429563829941259*c_0101_4^46 - 27897267785276541727519547800437711652918355011529786284172968127\ 2183151798716572093502949368847360/48513742388362095145171745664999\ 35255793894472662896092123903759610928756400429563829941259*c_0101_\ 4^44 + 803301762169492230009293241240812820040549270543449601383358\ 7988809244223266737733526852212073870848/48513742388362095145171745\ 66499935255793894472662896092123903759610928756400429563829941259*c\ _0101_4^42 - 340329314416413320810076612667231704597420795817750460\ 501333875321938068222810198678890592219217069184/145541227165086285\ 4355152369949980576738168341798868827637171127883278626920128869148\ 9823777*c_0101_4^40 + 280342280213132616286239413925235529365911447\ 5420318181420107962678828934044273418170190669281704995336/14554122\ 7165086285435515236994998057673816834179886882763717112788327862692\ 01288691489823777*c_0101_4^38 - 49194535897726229898442724247357744\ 5831504303624691008580477990308350533666223714149605503465763633471\ 8/48513742388362095145171745664999352557938944726628960921239037596\ 10928756400429563829941259*c_0101_4^36 + 5271887859919156961894574336159615941217151918177609567444076005960\ 8374613257693796218093791058679890764/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^34 - 44492625010840805764840050711365218445287195811926458411\ 934413202264881312182027405700071501275996593703/485137423883620951\ 4517174566499935255793894472662896092123903759610928756400429563829\ 941259*c_0101_4^32 + 2478385691660473138573111358353805345648499458\ 10763976810537904071361487618372970213182280149292501148017/1455412\ 2716508628543551523699499805767381683417988688276371711278832786269\ 201288691489823777*c_0101_4^30 - 3471345333468610267542215147681514\ 1506059936327545617605941293093005212140960883193089160036267933912\ 9050/14554122716508628543551523699499805767381683417988688276371711\ 278832786269201288691489823777*c_0101_4^28 + 1252500956399301699237357952044420936584582156585754513206413683929\ 15359832020215621611035455143659820290/4851374238836209514517174566\ 499935255793894472662896092123903759610928756400429563829941259*c_0\ 101_4^26 - 32082543143403962988390330776859198156140096330743558961\ 5105725184677552918149020772690201206705029807406/14554122716508628\ 5435515236994998057673816834179886882763717112788327862692012886914\ 89823777*c_0101_4^24 + 73176379844994191515445959667463088741636459\ 136413245595458293006107111110284628622824639417589365218484/485137\ 4238836209514517174566499935255793894472662896092123903759610928756\ 400429563829941259*c_0101_4^22 - 1215806811574134150615508466233929\ 8100623096388541528999206490483427516728086455028090897502333378974\ 3143/14554122716508628543551523699499805767381683417988688276371711\ 278832786269201288691489823777*c_0101_4^20 + 5467902899265254869040179994508092111653207086609215435589388588631\ 1298531824281426337002634138069468541/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^18 - 19916591420744206834982498809593627625047376286220889917\ 579726450987422239830268641812999547620479508458/145541227165086285\ 4355152369949980576738168341798868827637171127883278626920128869148\ 9823777*c_0101_4^16 + 583230360776503156283814451592386030827166042\ 2610783988780358491577681330977333656428225216210579752117/14554122\ 7165086285435515236994998057673816834179886882763717112788327862692\ 01288691489823777*c_0101_4^14 - 45240838962846724378371462422571231\ 3803847629177291199319529293629467744636350251985570210433222519761\ /485137423883620951451717456649993525579389447266289609212390375961\ 0928756400429563829941259*c_0101_4^12 + 2468495038901823138240308722457168590165992234945010380930897501145\ 75428762468052574276077658686571911/1455412271650862854355152369949\ 9805767381683417988688276371711278832786269201288691489823777*c_010\ 1_4^10 - 3423948010362404647335423733739830493946096168783449584135\ 7310777408310487915239883874236474317862311/14554122716508628543551\ 5236994998057673816834179886882763717112788327862692012886914898237\ 77*c_0101_4^8 + 348424435172498464578956573298867399495983979307270\ 5835757849492849853881360447163689543864460410125/14554122716508628\ 5435515236994998057673816834179886882763717112788327862692012886914\ 89823777*c_0101_4^6 - 812058866123802763559210148600668206593946775\ 57471090515761599439402691155706294315278208130348594/4851374238836\ 2095145171745664999352557938944726628960921239037596109287564004295\ 63829941259*c_0101_4^4 + 103542543602185000944281836309677334226753\ 57078735467697977577669542162520591803366921554823522925/1455412271\ 6508628543551523699499805767381683417988688276371711278832786269201\ 288691489823777*c_0101_4^2 - 19895172731489167977245902160144203000\ 6613799461494081322655161277385461759668131017202308570182/14554122\ 7165086285435515236994998057673816834179886882763717112788327862692\ 01288691489823777, c_0011_0 - 1, c_0011_2 + 101110361418658625546727408456737050063829359745114384709154\ 1822567539538669709202988711482633216/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^47 - 96952431669501400770358417359810964372317987928029473907\ 319278778914725594316074876452134032573440/145541227165086285435515\ 2369949980576738168341798868827637171127883278626920128869148982377\ 7*c_0101_4^45 + 279000029714843330324755362331068225768371606986092\ 9027840412121760627097831144864960188910350432640/14554122716508628\ 5435515236994998057673816834179886882763717112788327862692012886914\ 89823777*c_0101_4^43 - 39364400741463792396901883159993093787829537\ 885027668307401411098698941709856858488949135768547997568/145541227\ 1650862854355152369949980576738168341798868827637171127883278626920\ 1288691489823777*c_0101_4^41 + 323845944638173965644981267192445313\ 295702037402674596113363625742579157419007679702831619187425177846/\ 1455412271650862854355152369949980576738168341798868827637171127883\ 2786269201288691489823777*c_0101_4^39 - 5673190741105152498191413563429123075805713788351905624952956795213\ 72135475863204113339810888209848330/4851374238836209514517174566499\ 935255793894472662896092123903759610928756400429563829941259*c_0101\ _4^37 + 60663508191802193278235974167279949597572435503477422591251\ 39021454734915495194998249466414139130991204/1455412271650862854355\ 1523699499805767381683417988688276371711278832786269201288691489823\ 777*c_0101_4^35 - 1531766246011674678353376168366301266680144841365\ 5524998525991136567233000264466744775493796115844390655/14554122716\ 5086285435515236994998057673816834179886882763717112788327862692012\ 88691489823777*c_0101_4^33 + 28348827103156280684516560298874290021\ 677208678315652073006804396556170886294860867499160964800426251830/\ 1455412271650862854355152369949980576738168341798868827637171127883\ 2786269201288691489823777*c_0101_4^31 - 3955594049379109557270865411151601667770779745641224375949147206877\ 4021093256828877952977698532995890061/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^29 + 42632704710251382230791394061738766279058315417911920126\ 954017868352475204485127128324788565498768909994/145541227165086285\ 4355152369949980576738168341798868827637171127883278626920128869148\ 9823777*c_0101_4^27 - 120760300305606922442528327803400765606459231\ 17051199979301489333036298194761039525527693369777563787410/4851374\ 2388362095145171745664999352557938944726628960921239037596109287564\ 00429563829941259*c_0101_4^25 + 24660974139632908803810317771358277\ 2393964277960637552528137365780873790331208593891630038023147018735\ 72/1455412271650862854355152369949980576738168341798868827637171127\ 8832786269201288691489823777*c_0101_4^23 - 1358003962012420202427778229232097277920456940165587259370834110245\ 7788386779395186385080932032836620752/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^21 + 60685406089604984235956761006898292781833604750645510048\ 53605825365533048710721140535067191646695586715/1455412271650862854\ 3551523699499805767381683417988688276371711278832786269201288691489\ 823777*c_0101_4^19 - 7314885198756556488654833987446832669169599464\ 52979550961706541007832048331511237963896387207587876997/4851374238\ 8362095145171745664999352557938944726628960921239037596109287564004\ 29563829941259*c_0101_4^17 + 63729995163593843298892578093457853040\ 6586096972889765278210029541304386630329533935913715970759328528/14\ 5541227165086285435515236994998057673816834179886882763717112788327\ 86269201288691489823777*c_0101_4^15 - 1468931060632197057133800279210749727742086122795323674519192187836\ 96364675648793462781824470317015761/1455412271650862854355152369949\ 9805767381683417988688276371711278832786269201288691489823777*c_010\ 1_4^13 + 2642319014151318039484865715832417001441122137702521593059\ 8825501531389018990169214997250502141590461/14554122716508628543551\ 5236994998057673816834179886882763717112788327862692012886914898237\ 77*c_0101_4^11 - 12060561203149284368560215354291506836918483269333\ 95762252062668127917674815635508260230736137200498/4851374238836209\ 5145171745664999352557938944726628960921239037596109287564004295638\ 29941259*c_0101_4^9 + 362601446450606559913363644312588907617994020\ 507421465655870362604217398695929679184812688788263017/145541227165\ 0862854355152369949980576738168341798868827637171127883278626920128\ 8691489823777*c_0101_4^7 - 2488596406732031601790065386934876975352\ 3684045183876202804074727801901083606447332294389406949299/14554122\ 7165086285435515236994998057673816834179886882763717112788327862692\ 01288691489823777*c_0101_4^5 + 103375222897162397561520413658125247\ 7505790939037608908773043239014656376546340961807014597530551/14554\ 1227165086285435515236994998057673816834179886882763717112788327862\ 69201288691489823777*c_0101_4^3 - 192889886005598652066643314101285\ 23953989440468250653150544636071368143219715633194617167863281/1455\ 4122716508628543551523699499805767381683417988688276371711278832786\ 269201288691489823777*c_0101_4, c_0011_3 + 116096964432321157948071375487958948852623609960147092991542\ 67508983031923260082567166665385128960/1455412271650862854355152369\ 9499805767381683417988688276371711278832786269201288691489823777*c_\ 0101_4^47 - 1113533196274560950586268101144507190593579713658853319\ 352758343280167743600151885276157934834527232/145541227165086285435\ 5152369949980576738168341798868827637171127883278626920128869148982\ 3777*c_0101_4^45 + 106882069380259351524926941585989272700821312379\ 87463436681173099692607144063079294120037738907639168/4851374238836\ 2095145171745664999352557938944726628960921239037596109287564004295\ 63829941259*c_0101_4^43 - 45282940817223670899981490561249388922533\ 2174648214782710525701822864236007017073557635090987392759936/14554\ 1227165086285435515236994998057673816834179886882763717112788327862\ 69201288691489823777*c_0101_4^41 + 3730245614895767171754274172820105887417287421339343963743068304570\ 826624199185776391853738483919845498/145541227165086285435515236994\ 99805767381683417988688276371711278832786269201288691489823777*c_01\ 01_4^39 - 196384283494056224010829337810882339851840776616351781740\ 73897422329099459896635880209301478975419259994/1455412271650862854\ 3551523699499805767381683417988688276371711278832786269201288691489\ 823777*c_0101_4^37 + 2338524080146284456904755324054966084927641696\ 6515898187476593076987326443152558361603356436663944897781/48513742\ 3883620951451717456649993525579389447266289609212390375961092875640\ 0429563829941259*c_0101_4^35 - 177642175008624981317778443140531397\ 9819399487696832431140702401221790849792335040921568779923753008181\ 28/1455412271650862854355152369949980576738168341798868827637171127\ 8832786269201288691489823777*c_0101_4^33 + 3298835051012137147528054040663986831279553651395558522858720800640\ 95896021568777305876536000446535880087/1455412271650862854355152369\ 9499805767381683417988688276371711278832786269201288691489823777*c_\ 0101_4^31 - 1540429822383505090251095216717793523395799031075232456\ 62321869160747855977050983009216642681487881935509/4851374238836209\ 5145171745664999352557938944726628960921239037596109287564004295638\ 29941259*c_0101_4^29 + 50033434212604296831048927264228223564709788\ 6874659895866646918053225557164537109991489292428232786728583/14554\ 1227165086285435515236994998057673816834179886882763717112788327862\ 69201288691489823777*c_0101_4^27 - 4273166827490057411198709587119711235369982164112873327981595839067\ 70788141467673136397135708882000032603/1455412271650862854355152369\ 9499805767381683417988688276371711278832786269201288691489823777*c_\ 0101_4^25 + 9749866302099521638993593823886209072681680627581913855\ 0887561646020777448136822614884456559963638719316/48513742388362095\ 1451717456649993525579389447266289609212390375961092875640042956382\ 9941259*c_0101_4^23 - 162057562450932318982102242201079267884011424\ 949333301865845556885640889958788647972815878155252237809047/145541\ 2271650862854355152369949980576738168341798868827637171127883278626\ 9201288691489823777*c_0101_4^21 + 729188453576151880482916435839076\ 3880102575399169765904406229680783637701743858354509428419791534102\ 9464/14554122716508628543551523699499805767381683417988688276371711\ 278832786269201288691489823777*c_0101_4^19 - 2657635587998380041186554209562999622738117928080759496251079689619\ 6942238989788597024940161192314822677/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^17 + 25960802892090196166725701001557267005005481476525831298\ 59563792169568395093502877675890680333823404364/4851374238836209514\ 5171745664999352557938944726628960921239037596109287564004295638299\ 41259*c_0101_4^15 - 18139919581179548806121070638835651819149317700\ 64229118669865030927194403501265021345467934385390134388/1455412271\ 6508628543551523699499805767381683417988688276371711278832786269201\ 288691489823777*c_0101_4^13 + 1100900839772777353191056759465600069\ 24910171730604481236535237222288280740556731734378940772569236403/4\ 8513742388362095145171745664999352557938944726628960921239037596109\ 28756400429563829941259*c_0101_4^11 - 1528851429097807040937788987712328621236903549949018751390049688133\ 8633436438996416287508920506241554/48513742388362095145171745664999\ 35255793894472662896092123903759610928756400429563829941259*c_0101_\ 4^9 + 4673588385286803888402232873696536761980209602630824620213261\ 363589909274103203246593592322719784302/145541227165086285435515236\ 99499805767381683417988688276371711278832786269201288691489823777*c\ _0101_4^7 - 1090763282714415333032259868858264833252731826388173752\ 14380857644070671727599098369130880880170418/4851374238836209514517\ 1745664999352557938944726628960921239037596109287564004295638299412\ 59*c_0101_4^5 + 139234375021519830076981540307602996591320704258627\ 54252834668529136602211586827891458611027392653/1455412271650862854\ 3551523699499805767381683417988688276371711278832786269201288691489\ 823777*c_0101_4^3 - 89192737756363987031887241328528436476371425076\ 536092248616421678312015430096324821217210936453/485137423883620951\ 4517174566499935255793894472662896092123903759610928756400429563829\ 941259*c_0101_4, c_0101_0 - 322228962431077901610952884846732330008502302026030108573852\ 556088548178424950597878268814068736/145541227165086285435515236994\ 99805767381683417988688276371711278832786269201288691489823777*c_01\ 01_4^46 + 102988901791559127088150668220154513403047866879268925470\ 06443659022778994917129144224923212547072/4851374238836209514517174\ 566499935255793894472662896092123903759610928756400429563829941259*\ c_0101_4^44 - 88903771116210117222063456776975938816647726459434248\ 6767555376342058052263339859747173140622079872/14554122716508628543\ 5515236994998057673816834179886882763717112788327862692012886914898\ 23777*c_0101_4^42 + 12541950094370287237056430442048939327598938572\ 782198560797765272629752490731651501614227901141276800/145541227165\ 0862854355152369949980576738168341798868827637171127883278626920128\ 8691489823777*c_0101_4^40 - 343877054758869792022984836442461307570\ 63447263210249120854266487407655560051637231554810164496044066/4851\ 3742388362095145171745664999352557938944726628960921239037596109287\ 56400429563829941259*c_0101_4^38 + 5420436485869075042604065430730499123958218761839789135649156005547\ 66763648125672460751416289342897282/1455412271650862854355152369949\ 9805767381683417988688276371711278832786269201288691489823777*c_010\ 1_4^36 - 1931455283250856557195127599630612424056475700939077717034\ 606365250757178066447294258499251065426807685/145541227165086285435\ 5152369949980576738168341798868827637171127883278626920128869148982\ 3777*c_0101_4^34 + 487518031599968638887427731770498517800407445174\ 8322318328582849034709114939960450156746805742672027985/14554122716\ 5086285435515236994998057673816834179886882763717112788327862692012\ 88691489823777*c_0101_4^32 - 30062251862671462652957581488624146684\ 72157837918679108779825201487794707176413319808968113344014268014/4\ 8513742388362095145171745664999352557938944726628960921239037596109\ 28756400429563829941259*c_0101_4^30 + 1257760163765100070499931475208386901938342126470002323748748776979\ 2048615916192136554373786257679842032/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^28 - 13548101135727437641039735437044799432240691064863837829\ 522461294995567532623722565360666298282976335952/145541227165086285\ 4355152369949980576738168341798868827637171127883278626920128869148\ 9823777*c_0101_4^26 + 115054414825262982690854735175008060603382174\ 03974368305007336947437640549003167619197188330889169191980/1455412\ 2716508628543551523699499805767381683417988688276371711278832786269\ 201288691489823777*c_0101_4^24 - 7826401792938478186081822720118341\ 9268160974183858861185459868809897444322366585994683123636197605582\ 41/1455412271650862854355152369949980576738168341798868827637171127\ 8832786269201288691489823777*c_0101_4^22 + 4306375763860027355139792263182500928248198168745624013365545488824\ 178608562871921961863048524605680314/145541227165086285435515236994\ 99805767381683417988688276371711278832786269201288691489823777*c_01\ 01_4^20 - 640891880817462784607773621601302015356851133277050915070\ 925163857882290088481598879581083610178015358/485137423883620951451\ 7174566499935255793894472662896092123903759610928756400429563829941\ 259*c_0101_4^18 + 6945375864269563445640523759849445210117557447383\ 38137794604728802886285195761167110517065050695150887/1455412271650\ 8628543551523699499805767381683417988688276371711278832786269201288\ 691489823777*c_0101_4^16 - 2014507885344410894796075979284320933397\ 08086071637649006578420844348425386230610406648145577195661138/1455\ 4122716508628543551523699499805767381683417988688276371711278832786\ 269201288691489823777*c_0101_4^14 + 4636287314777401092051091268529319464271014140217324327228014649554\ 8423891771168930443812367427055510/14554122716508628543551523699499\ 805767381683417988688276371711278832786269201288691489823777*c_0101\ _4^12 - 83243366038589708724878166812437166506159611073409847789056\ 05624366335709299691013069349498129819503/1455412271650862854355152\ 3699499805767381683417988688276371711278832786269201288691489823777\ *c_0101_4^10 + 3790849353083523450545818542215926962064162716447069\ 05068415334451414594709569115887830835278857089/4851374238836209514\ 5171745664999352557938944726628960921239037596109287564004295638299\ 41259*c_0101_4^8 - 113650738085608154154577509078634135481753799059\ 264320958992956771328015695809245669694139767047769/145541227165086\ 2854355152369949980576738168341798868827637171127883278626920128869\ 1489823777*c_0101_4^6 + 7774161110763789164684562128427216884090139\ 460998123889330970227681945439731174735335285270245240/145541227165\ 0862854355152369949980576738168341798868827637171127883278626920128\ 8691489823777*c_0101_4^4 - 3219408794559830902912257424428427832229\ 64085517383983233332232119847437541852410788001724799907/1455412271\ 6508628543551523699499805767381683417988688276371711278832786269201\ 288691489823777*c_0101_4^2 + 60271770650927812273524934622665458979\ 96316572625555608698817431528018896232167777742711554615/1455412271\ 6508628543551523699499805767381683417988688276371711278832786269201\ 288691489823777, c_0101_1 - 312085804418444864032665902559037475417772489345425891509065\ 64922482171527677820726958941254656/4851374238836209514517174566499\ 935255793894472662896092123903759610928756400429563829941259*c_0101\ _4^46 + 89768315142133537032443461780760174554763006859688603086213\ 60648628727514335142429448309493057536/1455412271650862854355152369\ 9499805767381683417988688276371711278832786269201288691489823777*c_\ 0101_4^44 - 2582773897205823557746394370922929890218044257269944277\ 92819083257980255500197033015004357601345920/1455412271650862854355\ 1523699499805767381683417988688276371711278832786269201288691489823\ 777*c_0101_4^42 + 1214345304005584497258352205664871758017935087686\ 440159234651131700051035010952690326008736140667904/485137423883620\ 9514517174566499935255793894472662896092123903759610928756400429563\ 829941259*c_0101_4^40 - 2995892942855698726593014228274609069457340\ 8870727264826989365015884014965745194265273924041871740718/14554122\ 7165086285435515236994998057673816834179886882763717112788327862692\ 01288691489823777*c_0101_4^38 + 15736296500091139228080078492404650\ 0794217382225157317462555909566724283431963663268553708831195037008\ /145541227165086285435515236994998057673816834179886882763717112788\ 32786269201288691489823777*c_0101_4^36 - 5604965043093610343602860362431348367417263154765528501551839401843\ 37325572033284361035754652868238325/1455412271650862854355152369949\ 9805767381683417988688276371711278832786269201288691489823777*c_010\ 1_4^34 + 4713246395511817655271576206233400516368004241160135684825\ 30151978478529102296741767338940809108423721/4851374238836209514517\ 1745664999352557938944726628960921239037596109287564004295638299412\ 59*c_0101_4^32 - 26138822174129573403604782304106269757732837048756\ 54304213678417896684368534973676516969334746114012640/1455412271650\ 8628543551523699499805767381683417988688276371711278832786269201288\ 691489823777*c_0101_4^30 + 3642092543392383388804578562857859883282\ 744419557071193003293250525204795224435935144410604925093533190/145\ 5412271650862854355152369949980576738168341798868827637171127883278\ 6269201288691489823777*c_0101_4^28 - 1306249015180879516597311890621458911782619397634891658104933779618\ 547911857196980961341704298058802797/485137423883620951451717456649\ 9935255793894472662896092123903759610928756400429563829941259*c_010\ 1_4^26 + 3323405527372314185729561620426978488315574989042045165182\ 905107968345349497582815703851589317592688227/145541227165086285435\ 5152369949980576738168341798868827637171127883278626920128869148982\ 3777*c_0101_4^24 - 225702850477813133076981693987760224057761946160\ 2973556479534212056940270630440891304437347195849767686/14554122716\ 5086285435515236994998057673816834179886882763717112788327862692012\ 88691489823777*c_0101_4^22 + 41316474901786449331633135113665667393\ 9712687556680367389417676869503611064885428616588915935940572494/48\ 5137423883620951451717456649993525579389447266289609212390375961092\ 8756400429563829941259*c_0101_4^20 - 5521070480977820977574587850232946013728736157547260254896741549608\ 57055673950254634796458585689797609/1455412271650862854355152369949\ 9805767381683417988688276371711278832786269201288691489823777*c_010\ 1_4^18 + 1988726999462672877582533130553869970831433262787187706022\ 56961187069903796842025782375438534771856442/1455412271650862854355\ 1523699499805767381683417988688276371711278832786269201288691489823\ 777*c_0101_4^16 - 5748254333626669962586301866266698641510704578730\ 2490990858004282036424025936721344591492212423456125/14554122716508\ 6285435515236994998057673816834179886882763717112788327862692012886\ 91489823777*c_0101_4^14 + 43912657839617306427036708053435349527593\ 43469497456967046702056697260455400916287273728609770301272/4851374\ 2388362095145171745664999352557938944726628960921239037596109287564\ 00429563829941259*c_0101_4^12 - 23536200190413020456548197287686196\ 64191355656758585152386103303555737752912768434000057720147002060/1\ 4554122716508628543551523699499805767381683417988688276371711278832\ 786269201288691489823777*c_0101_4^10 + 1065751311559738266795571290077306894409601341421605315054243307131\ 18732679991815543106166874570026/4851374238836209514517174566499935\ 255793894472662896092123903759610928756400429563829941259*c_0101_4^\ 8 - 105831582894321535880265322810192685113768745841662349123149701\ 33148116316915649997055686712046545/4851374238836209514517174566499\ 935255793894472662896092123903759610928756400429563829941259*c_0101\ _4^6 + 215660600372449386146970209102703773271514953769095843074661\ 6990863203255164702172801066939084547/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^4 - 295371270284439691835744350008075406016452917383140549536\ 09678100059149393466490207040910841254/4851374238836209514517174566\ 499935255793894472662896092123903759610928756400429563829941259*c_0\ 101_4^2 + 163170499400323324671357606639732198891920411984067648032\ 4010811166400165875048921526231291691/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777, c_0101_2 - 404217156025962980081489302821421187203394094677709119616608\ 9996079250308176770139511876896172032/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^47 + 38764449612949539060664916202880445954760640857065831434\ 1623002408197865492696475919876016954171392/14554122716508628543551\ 5236994998057673816834179886882763717112788327862692012886914898237\ 77*c_0101_4^45 - 11158583092724337293015638074306225019324471136297\ 488256851286255270931613104077769381937929894791936/145541227165086\ 2854355152369949980576738168341798868827637171127883278626920128869\ 1489823777*c_0101_4^43 + 157507053627626901454906882733465654530847\ 880210986881029275291661352521648872553728073182096790275584/145541\ 2271650862854355152369949980576738168341798868827637171127883278626\ 9201288691489823777*c_0101_4^41 - 129658431153586897570224144014968\ 5927884702949989903934534715857785049315650865819897745262889466634\ 260/145541227165086285435515236994998057673816834179886882763717112\ 78832786269201288691489823777*c_0101_4^39 + 2273238911628867632639780522728149423155476170689844063438603879637\ 054065648451555255330057721547563368/485137423883620951451717456649\ 9935255793894472662896092123903759610928756400429563829941259*c_010\ 1_4^37 - 2433339832914627359641750808780771612149226674665882032017\ 0822385897731666287621498595550058059895074983/14554122716508628543\ 5515236994998057673816834179886882763717112788327862692012886914898\ 23777*c_0101_4^35 + 61523027447184645237696261564350030830165082931\ 795160499562909358338409276475918506405025724137181493328/145541227\ 1650862854355152369949980576738168341798868827637171127883278626920\ 1288691489823777*c_0101_4^33 - 114043032609989901558178975302406738\ 1331910193558463796939466658654117745508831799174176754010274103110\ 75/1455412271650862854355152369949980576738168341798868827637171127\ 8832786269201288691489823777*c_0101_4^31 + 1594234168374333595459829390687522304882055231968747819113679964336\ 16022356447924068798147705521350771033/1455412271650862854355152369\ 9499805767381683417988688276371711278832786269201288691489823777*c_\ 0101_4^29 - 1721873943057507786698918087134839795016748369072851398\ 82685934860368304715518428456330928444426537615803/1455412271650862\ 8543551523699499805767381683417988688276371711278832786269201288691\ 489823777*c_0101_4^27 + 4888805052159425054702709225390205884600902\ 6906240315971715346530843933370279627532015350506164946326397/48513\ 7423883620951451717456649993525579389447266289609212390375961092875\ 6400429563829941259*c_0101_4^25 - 100094246057116467341460290180134\ 7533935829731676742969160335435508741600496497679607825931706936904\ 15102/1455412271650862854355152369949980576738168341798868827637171\ 1278832786269201288691489823777*c_0101_4^23 + 5527597952683830875376000547228193578284367415776230283800735360364\ 7057074417964272751654906431587787822/14554122716508628543551523699\ 499805767381683417988688276371711278832786269201288691489823777*c_0\ 101_4^21 - 24780316879085012780426870263260088361697890066059502015\ 831194377686648694257584479045773194795191078718/145541227165086285\ 4355152369949980576738168341798868827637171127883278626920128869148\ 9823777*c_0101_4^19 + 299785755275735789903828670497260168196458385\ 9253595089873845500551168341320500227260902952788156066413/48513742\ 3883620951451717456649993525579389447266289609212390375961092875640\ 0429563829941259*c_0101_4^17 - 262278850952355304500312845640830081\ 6810020707546210960344831618671848202635684032398777156594869705697\ /145541227165086285435515236994998057673816834179886882763717112788\ 32786269201288691489823777*c_0101_4^15 + 6074503740580603621592751079947710049278850596892369511499695499359\ 11605743644647580902494960353960118/1455412271650862854355152369949\ 9805767381683417988688276371711278832786269201288691489823777*c_010\ 1_4^13 - 1098754082478219927204826460083157032590131142917144144268\ 85014335667795997830227414769650928009604223/1455412271650862854355\ 1523699499805767381683417988688276371711278832786269201288691489823\ 777*c_0101_4^11 + 5047378506061058996204865128780699541678993621891\ 775438822440598941778561327537669128706809760015259/485137423883620\ 9514517174566499935255793894472662896092123903759610928756400429563\ 829941259*c_0101_4^9 - 15289249840090742860068963625496487158516591\ 65192110718426167146708571794853458198971510621419360292/1455412271\ 6508628543551523699499805767381683417988688276371711278832786269201\ 288691489823777*c_0101_4^7 + 10586905640314299140936513111765411147\ 7169485627186536349819453065183353593234192187093487728902782/14554\ 1227165086285435515236994998057673816834179886882763717112788327862\ 69201288691489823777*c_0101_4^5 - 444371515380406154897568089612325\ 3713626798218396641348317064151156471988853415298251916875668797/14\ 5541227165086285435515236994998057673816834179886882763717112788327\ 86269201288691489823777*c_0101_4^3 + 8399086287345439009349620504712211633635236546643054481049531103449\ 8251582934084565841784127796/14554122716508628543551523699499805767\ 381683417988688276371711278832786269201288691489823777*c_0101_4, c_0101_4^48 - 96*c_0101_4^46 + 22161/8*c_0101_4^44 - 156967/4*c_0101_4^42 + 166223889/512*c_0101_4^40 - 440105917/256*c_0101_4^38 + 3168362467/512*c_0101_4^36 - 4050028475/256*c_0101_4^34 + 15221337843/512*c_0101_4^32 - 21630294141/512*c_0101_4^30 + 23816108267/512*c_0101_4^28 - 20740473329/512*c_0101_4^26 + 7258943893/256*c_0101_4^24 - 8254555679/512*c_0101_4^22 + 1914671247/256*c_0101_4^20 - 181003723/64*c_0101_4^18 + 444017083/512*c_0101_4^16 - 109449651/512*c_0101_4^14 + 21420241/512*c_0101_4^12 - 3269725/512*c_0101_4^10 + 379093/512*c_0101_4^8 - 1001/16*c_0101_4^6 + 461/128*c_0101_4^4 - 1/8*c_0101_4^2 + 1/512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB