Magma V2.19-8 Tue Aug 20 2013 16:18:30 on localhost [Seed = 3836049879] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2685 geometric_solution 5.94565210 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 3201 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289614090723 0.525677547619 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541255127178 0.592906134775 5 4 0 3 1023 1023 0132 1023 0 0 0 0 0 0 -1 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 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 0 0 0.541255127178 0.592906134775 3 1 3 2 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667321285639 1.965232640926 2 4 1 4 1023 2310 0132 3201 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 0 0 0 1 0 0 -1 -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.174553386640 1.150297746302 6 2 6 1 0132 1023 2310 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 1.214514758325 0.381274261327 5 5 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.595456719186 0.381841721216 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(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' : negation(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' : negation(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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(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_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0110_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0110_2'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : 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_2, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 3540389827464973754981961489929979868366108989027212956184182792779\ 43178540902641250070047900251922944/8768654131865013947803378953803\ 6232893827444150139502427292450243536741508895215747582199102060957\ 581*c_0110_2^23 + 7086142153103261875751938373177252567104299457283\ 19736822282333738639068461884667465542772362529559552/1252664875980\ 7162782576255648290890413403920592877071775327492891933820215556459\ 392511742728865851083*c_0110_2^22 - 4645651128253683727160119506619004842457174423340620517463681897359\ 439622386922638762841112786428708352/876865413186501394780337895380\ 3623289382744415013950242729245024353674150889521574758219910206095\ 7581*c_0110_2^21 + 512032286506714851943569291166810869229679865498\ 91367841895968496022510572326557313073126382910212563904/8768654131\ 8650139478033789538036232893827444150139502427292450243536741508895\ 215747582199102060957581*c_0110_2^20 - 2658771946295197881872735703676043342161247932907727686695083871090\ 9264647916782922987603034549550623808/87686541318650139478033789538\ 0362328938274441501395024272924502435367415088952157475821991020609\ 57581*c_0110_2^19 + 17493241970939785898793856070384936855161687943\ 8891928001931460826727860678736780395694629796484136511360/87686541\ 3186501394780337895380362328938274441501395024272924502435367415088\ 95215747582199102060957581*c_0110_2^18 - 9270756478492308647795128945037264651362429414934378740408650495155\ 8220508906106752169333786160378617352/87686541318650139478033789538\ 0362328938274441501395024272924502435367415088952157475821991020609\ 57581*c_0110_2^17 + 15357501926156322642871893894148778224225964991\ 7325264911606293430694156286156413219068644524057188111720/87686541\ 3186501394780337895380362328938274441501395024272924502435367415088\ 95215747582199102060957581*c_0110_2^16 - 1900821239748180386382961325376293003495210285381456722374510240063\ 73187250096751470574047002663856499436/8768654131865013947803378953\ 8036232893827444150139502427292450243536741508895215747582199102060\ 957581*c_0110_2^15 - 3430820148188626801744872536485331352888413655\ 81362918477526034726218665296068875006787396723102657286568/8768654\ 1318650139478033789538036232893827444150139502427292450243536741508\ 895215747582199102060957581*c_0110_2^14 - 4397426852701355563377072920099198939616476566472698129436063931116\ 8060618460292714920611824096535331160/87686541318650139478033789538\ 0362328938274441501395024272924502435367415088952157475821991020609\ 57581*c_0110_2^13 - 76119626342374913827192074657649468127018437215\ 6640777374680366863551379308716370415207194519580157052177/87686541\ 3186501394780337895380362328938274441501395024272924502435367415088\ 95215747582199102060957581*c_0110_2^12 + 4977741467096591340090245145842436809715428953847324603590267661682\ 19334014192258060464220978918370820584/8768654131865013947803378953\ 8036232893827444150139502427292450243536741508895215747582199102060\ 957581*c_0110_2^11 - 3626234785936291309410675889400427784814110737\ 15370719114767803941785946013262661864966226674406805244964/8768654\ 1318650139478033789538036232893827444150139502427292450243536741508\ 895215747582199102060957581*c_0110_2^10 + 2170167006347651765094491600963221859286353681362557920949244726293\ 94993773295069374740219529146481384785/8768654131865013947803378953\ 8036232893827444150139502427292450243536741508895215747582199102060\ 957581*c_0110_2^9 + 60238220992516091419845985955420566295088205617\ 161899821084061752201656011540301548524982722349267912699/876865413\ 1865013947803378953803623289382744415013950242729245024353674150889\ 5215747582199102060957581*c_0110_2^8 - 4015236448514367373545240016603994462918171645718045306869149896950\ 07999436912778240125644025544012639149/8768654131865013947803378953\ 8036232893827444150139502427292450243536741508895215747582199102060\ 957581*c_0110_2^7 + 10487048984860701892779306442607042374785422872\ 70441081589085716604935092925392123591259339102661717735842/8768654\ 1318650139478033789538036232893827444150139502427292450243536741508\ 895215747582199102060957581*c_0110_2^6 + 2053761055398654769680214283232894933345590835888785931270515350108\ 80307139984965105733618973713855666000/8768654131865013947803378953\ 8036232893827444150139502427292450243536741508895215747582199102060\ 957581*c_0110_2^5 + 18507389542659534248462399418426375802344388197\ 32212199295838465678003770842242357297803227768547121496769/8768654\ 1318650139478033789538036232893827444150139502427292450243536741508\ 895215747582199102060957581*c_0110_2^4 + 9446853353243866199026737886260796117529537761014260326502693056609\ 79076471163319644444466885804438483614/8768654131865013947803378953\ 8036232893827444150139502427292450243536741508895215747582199102060\ 957581*c_0110_2^3 - 23931633818614899311601495873329735893466244532\ 9851771948561635335509299675471635113981992768665722482099/12526648\ 7598071627825762556482908904134039205928770717753274928919338202155\ 56459392511742728865851083*c_0110_2^2 - 2754362958136204365898880483120292457226634481729751555958673989612\ 5957741357082809719779810351734928410/21386961297231741336105802326\ 3503007058115717439364640066566951813504247582671257920932192931855\ 9941*c_0110_2 - 360201466126026795864856648981370086697671052780513\ 9039978667088082327928339169722456889721531341158361/21386961297231\ 7413361058023263503007058115717439364640066566951813504247582671257\ 9209321929318559941, c_0011_0 - 1, c_0011_2 - 123265593459030695157691346894086900281539748637565060999351\ 64372867795353221231070046868516864/8907522406177318340735444534090\ 08775752252050976112620019021040456077665900338433656527250861541*c\ _0110_2^23 + 180968567089119686440444065750167024783076487823459830\ 835803637503070146725740897447092616613888/890752240617731834073544\ 4534090087757522520509761126200190210404560776659003384336565272508\ 61541*c_0110_2^22 - 28292894079880821994775244919013261067635856791\ 2178689925300875922574304155076435021764950778368/89075224061773183\ 4073544453409008775752252050976112620019021040456077665900338433656\ 527250861541*c_0110_2^21 + 1969780649344929681510437197433897973576\ 578924728220031012424709716678644805489317159064387260928/890752240\ 6177318340735444534090087757522520509761126200190210404560776659003\ 38433656527250861541*c_0110_2^20 - 2240676389806652553935217700144285280224911364398152514039482049998\ 338618608401010456728035260928/890752240617731834073544453409008775\ 752252050976112620019021040456077665900338433656527250861541*c_0110\ _2^19 + 75631291873168216554140836179040960892231017104104258985951\ 74449015468703496809906812836409144256/8907522406177318340735444534\ 0900877575225205097611262001902104045607766590033843365652725086154\ 1*c_0110_2^18 - 824706906728582651139969192789644232914826241969523\ 2210110419196058123163050810266124880087108480/89075224061773183407\ 3544453409008775752252050976112620019021040456077665900338433656527\ 250861541*c_0110_2^17 + 1074768842968747874831929658340969995957671\ 6782789977029472955293741999480597953989796731020142080/89075224061\ 7731834073544453409008775752252050976112620019021040456077665900338\ 433656527250861541*c_0110_2^16 - 1363451391753713759694783448875881\ 2383020566560827799604833381709459303744157283596845178335840808/89\ 0752240617731834073544453409008775752252050976112620019021040456077\ 665900338433656527250861541*c_0110_2^15 - 3076726403134543653737886864873889077690208154550428474962462687460\ 619888023796752840306108206920/890752240617731834073544453409008775\ 752252050976112620019021040456077665900338433656527250861541*c_0110\ _2^14 + 81135009517848807338406939791965305676902988482047757101845\ 0070781985516571207524757342533630996/89075224061773183407354445340\ 9008775752252050976112620019021040456077665900338433656527250861541\ *c_0110_2^13 - 2730742570940264915182340257791418899489430695501713\ 4336423326116678730169938482111519221463989336/89075224061773183407\ 3544453409008775752252050976112620019021040456077665900338433656527\ 250861541*c_0110_2^12 + 3559721707287832751080983512283621992724015\ 6151341028958341223209642722966538830045387862572552360/89075224061\ 7731834073544453409008775752252050976112620019021040456077665900338\ 433656527250861541*c_0110_2^11 - 3630358336151484216971147201412506\ 1737475672139490195675019414722026140677924948822139999630328665/89\ 0752240617731834073544453409008775752252050976112620019021040456077\ 665900338433656527250861541*c_0110_2^10 + 3125749400364309510203502779414113320311925617111735478132445056640\ 6543826978051032219461421747062/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^9 - 17878234180697198710694158102890320570735449331557109016198\ 220709721237788849897083714432938707854/890752240617731834073544453\ 4090087757522520509761126200190210404560776659003384336565272508615\ 41*c_0110_2^8 - 268748419140881067925745452907483472042600912601429\ 4163720980835933623225009023613419861441835465/89075224061773183407\ 3544453409008775752252050976112620019021040456077665900338433656527\ 250861541*c_0110_2^7 + 39318180088423249071503588346542282163160191\ 709794687390067205695359067493041204738699084255643387/890752240617\ 7318340735444534090087757522520509761126200190210404560776659003384\ 33656527250861541*c_0110_2^6 - 194509437771182277799767034636815247\ 88693865904773093876162094031225150128692090345140536963607620/8907\ 5224061773183407354445340900877575225205097611262001902104045607766\ 5900338433656527250861541*c_0110_2^5 + 7750614310293646972485148788938512080032472972792761555465044626496\ 3998181222621893796015081063594/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^4 - 18216722908501531878028768059733270880381120191334284044380\ 273755841978032728829209405029048954705/890752240617731834073544453\ 4090087757522520509761126200190210404560776659003384336565272508615\ 41*c_0110_2^3 - 468669210149799740461724544490527623775031251937915\ 91430514422044909019418691735353802962937039712/8907522406177318340\ 7354445340900877575225205097611262001902104045607766590033843365652\ 7250861541*c_0110_2^2 - 1628467765196275873249820302830598394019762\ 86368161411027663131902742321262076776653654333537371/2172566440531\ 0532538379133009975823798835415877466161463878561962343357704886303\ 259915298801501*c_0110_2 - 1135798474098193625755805198570153769167\ 4614679144449599953907348632937180384944940105412210537/21725664405\ 3105325383791330099758237988354158774661614638785619623433577048863\ 03259915298801501, c_0101_0 + 328133021227054139227734985588928670106393050053012390854842\ 16220027695790632429854939217911808/8907522406177318340735444534090\ 08775752252050976112620019021040456077665900338433656527250861541*c\ _0110_2^23 - 481674962652539981681991743564509989214100742000490005\ 667038352754944707391212083450247438654464/890752240617731834073544\ 4534090087757522520509761126200190210404560776659003384336565272508\ 61541*c_0110_2^22 + 75152632707174780833453473847619104220883849160\ 1759680239521992805159056367640346515463040364032/89075224061773183\ 4073544453409008775752252050976112620019021040456077665900338433656\ 527250861541*c_0110_2^21 - 5232034760794708379963415144168150515900\ 463667407384271482352909589122638811269276242503066761728/890752240\ 6177318340735444534090087757522520509761126200190210404560776659003\ 38433656527250861541*c_0110_2^20 + 5941368451557781299266523063485742061724293910711994157986654715591\ 698771453533133686994229828224/890752240617731834073544453409008775\ 752252050976112620019021040456077665900338433656527250861541*c_0110\ _2^19 - 20011365636321267288027714934566789773141222337120788213891\ 083033179566554264750325265343384712896/890752240617731834073544453\ 4090087757522520509761126200190210404560776659003384336565272508615\ 41*c_0110_2^18 + 21817207368985857260358330651513449629497422683850\ 347696426612618926135781684324464379946954098048/890752240617731834\ 0735444534090087757522520509761126200190210404560776659003384336565\ 27250861541*c_0110_2^17 - 28162644928692661257982674961137468231198\ 887171409135620814152571392328336161607358255730199310256/890752240\ 6177318340735444534090087757522520509761126200190210404560776659003\ 38433656527250861541*c_0110_2^16 + 3588940952592077759223269178712720108237295832233207859802361645582\ 4851822314804590539362075798088/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^15 + 8676136262072897812875949598367006784340062585965905962903\ 338631501488686104819516452912087771560/890752240617731834073544453\ 4090087757522520509761126200190210404560776659003384336565272508615\ 41*c_0110_2^14 - 26306985396411421624820937672819555768246233370927\ 45287968500187156932907256469594337150489297060/8907522406177318340\ 7354445340900877575225205097611262001902104045607766590033843365652\ 7250861541*c_0110_2^13 + 718185848228984998068101286771673757861094\ 58993641561106403432973153097659986726096977430857085948/8907522406\ 1773183407354445340900877575225205097611262001902104045607766590033\ 8433656527250861541*c_0110_2^12 - 939181542257609499222909536932347\ 23094063012456401870408954113811788465249348576232175770952988926/8\ 9075224061773183407354445340900877575225205097611262001902104045607\ 7665900338433656527250861541*c_0110_2^11 + 9372433140966758778222268674913852168573510005237492209773443568481\ 6700544472616993640509258590479/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^10 - 7992385134805832882738813702821042925578313801233301926815\ 0867560087193636218393828838850213628703/89075224061773183407354445\ 3409008775752252050976112620019021040456077665900338433656527250861\ 541*c_0110_2^9 + 44565371432903754788202413644623703652454599593175\ 412170665995521811059733970913049971554035188540/890752240617731834\ 0735444534090087757522520509761126200190210404560776659003384336565\ 27250861541*c_0110_2^8 + 926687723570458265640770315612305134933545\ 9828090701429053199778357567331347730176536766895940616/89075224061\ 7731834073544453409008775752252050976112620019021040456077665900338\ 433656527250861541*c_0110_2^7 - 10506351221744319361787567698677429\ 5626845003871670141723467966695809050926001308149732484685268372/89\ 0752240617731834073544453409008775752252050976112620019021040456077\ 665900338433656527250861541*c_0110_2^6 + 4961019233475440261531106306829812461981359414759100416439554362761\ 3504265043387760578925633467227/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^5 - 20139023919314763675356862474803503655600409642643467353656\ 7447982506587800513383798635996542808122/89075224061773183407354445\ 3409008775752252050976112620019021040456077665900338433656527250861\ 541*c_0110_2^4 + 44664760737129425831252393693679678667098788717478\ 557285818717153382198180672647271856209039132870/890752240617731834\ 0735444534090087757522520509761126200190210404560776659003384336565\ 27250861541*c_0110_2^3 + 132085122704713907194031887845556276722293\ 205529370400740087294882304221349841106979368655312031089/890752240\ 6177318340735444534090087757522520509761126200190210404560776659003\ 38433656527250861541*c_0110_2^2 + 378595284223486537076677518918011\ 264271531185439175364583102504299107098691596066782180974931776/217\ 2566440531053253837913300997582379883541587746616146387856196234335\ 7704886303259915298801501*c_0110_2 - 8191519214554324007101724766093434416947692604607300360300090202249\ 127687132003665876598334523/217256644053105325383791330099758237988\ 35415877466161463878561962343357704886303259915298801501, c_0101_1 + 736199057900239200182251745830446944814311384271925554726515\ 75300329474526789973478348550621184/8907522406177318340735444534090\ 08775752252050976112620019021040456077665900338433656527250861541*c\ _0110_2^23 - 107358595124448342524979558747110796617144955086461528\ 2273570350913418591851832358655021138447872/89075224061773183407354\ 4453409008775752252050976112620019021040456077665900338433656527250\ 861541*c_0110_2^22 + 1582199282876150147808779332153767936338635211\ 798091190433876261800314916520067066288267807266304/890752240617731\ 8340735444534090087757522520509761126200190210404560776659003384336\ 56527250861541*c_0110_2^21 - 11578900803285620752068999334043637641\ 076656948821453185322569896877075864370314506479192182522624/890752\ 2406177318340735444534090087757522520509761126200190210404560776659\ 00338433656527250861541*c_0110_2^20 + 1218437295032064830256643172362009987273906108173560062336858661272\ 0596491803827421803843229675840/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^19 - 4362786776802119905731421950116456997247143013843857021655\ 4908871356926886821244484622131963984512/89075224061773183407354445\ 3409008775752252050976112620019021040456077665900338433656527250861\ 541*c_0110_2^18 + 4443785639744044164055299477024354428341220520763\ 7506156752652711967534897635040794327676258491424/89075224061773183\ 4073544453409008775752252050976112620019021040456077665900338433656\ 527250861541*c_0110_2^17 - 5839503676608063236355924569440316887833\ 7571828527822362641314017381460409707419029357310356449176/89075224\ 0617731834073544453409008775752252050976112620019021040456077665900\ 338433656527250861541*c_0110_2^16 + 7359931846111914798079377652398575277163059835969051704856879119068\ 1431764044113299176538244676272/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^15 + 2797079712120891897516121010749881223710721720717863948982\ 6496486952844835294845980483210412234476/89075224061773183407354445\ 3409008775752252050976112620019021040456077665900338433656527250861\ 541*c_0110_2^14 - 5779804711503314444128994367603618866655499191833\ 181000630134387245547097252835409337267571860540/890752240617731834\ 0735444534090087757522520509761126200190210404560776659003384336565\ 27250861541*c_0110_2^13 + 16275998827859943235005172180039600972202\ 7723620984726522601946184737269138894799631855745348970152/89075224\ 0617731834073544453409008775752252050976112620019021040456077665900\ 338433656527250861541*c_0110_2^12 - 1968673554020598454234917171489403480977322089051479923339014316637\ 67908098890546216399613129570835/8907522406177318340735444534090087\ 75752252050976112620019021040456077665900338433656527250861541*c_01\ 10_2^11 + 192633133824627600282791292543564529107038028095356583633\ 236292811576575146169544445910361027377253/890752240617731834073544\ 4534090087757522520509761126200190210404560776659003384336565272508\ 61541*c_0110_2^10 - 15878219408574361756021456334651107465999887582\ 6436000859150460477212781264960074272883038103827115/89075224061773\ 1834073544453409008775752252050976112620019021040456077665900338433\ 656527250861541*c_0110_2^9 + 82879948417423771132911405663944859520\ 903197606568202694388041364300072149336114965434517192431044/890752\ 2406177318340735444534090087757522520509761126200190210404560776659\ 00338433656527250861541*c_0110_2^8 + 3441711470931585670579150023356102436342264667163049117073221727637\ 2565559440457451790389618630526/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^7 - 23602921760437670604471163634897363509045122849755565625498\ 1060487199025048004424941730137814199185/89075224061773183407354445\ 3409008775752252050976112620019021040456077665900338433656527250861\ 541*c_0110_2^6 + 95366492316117137068350645995056297771262457471125\ 323829023974283026596842242877642445620962876175/890752240617731834\ 0735444534090087757522520509761126200190210404560776659003384336565\ 27250861541*c_0110_2^5 - 444568758562672633401949252853094154539993\ 677815433752536098189480104304085028147424054726204056106/890752240\ 6177318340735444534090087757522520509761126200190210404560776659003\ 38433656527250861541*c_0110_2^4 + 603295189932515550103872753217467\ 47726437512971659875085577464196445981501135718556964067590145600/8\ 9075224061773183407354445340900877575225205097611262001902104045607\ 7665900338433656527250861541*c_0110_2^3 + 3030563614250466249874395902787060124318596093176329311826134615839\ 57014123172532049069916198934420/8907522406177318340735444534090087\ 75752252050976112620019021040456077665900338433656527250861541*c_01\ 10_2^2 + 1438360434528366300736073790288341631715876944943723593292\ 457542098907304618127835854052819356950/217256644053105325383791330\ 0997582379883541587746616146387856196234335770488630325991529880150\ 1*c_0110_2 + 567290639879356204524768874839026137058621500906334296\ 10998621185649827873712174334588594781049/2172566440531053253837913\ 3009975823798835415877466161463878561962343357704886303259915298801\ 501, c_0101_3 - 30390112743700285005954382570733570515541214422258039943168/\ 325124689962471305588555472420971470449966249514261780514783*c_0110\ _2^23 + 44075378800343631414458420168522883806637867447874398932428\ 8/325124689962471305588555472420971470449966249514261780514783*c_01\ 10_2^22 - 617530924291989096324689112280542477970144298663176193620\ 992/325124689962471305588555472420971470449966249514261780514783*c_\ 0110_2^21 + 4723366632694277553568005566595890112346901844977506003\ 610624/325124689962471305588555472420971470449966249514261780514783\ *c_0110_2^20 - 4644475239185770492103407104465504481419979817418313\ 436150976/325124689962471305588555472420971470449966249514261780514\ 783*c_0110_2^19 + 1756302282399091688694657743712293905348068391233\ 8147939443008/32512468996247130558855547242097147044996624951426178\ 0514783*c_0110_2^18 - 168844833140302956104398473420609413790880475\ 24058583916244416/3251246899624713055885554724209714704499662495142\ 61780514783*c_0110_2^17 + 22482491878047420684327200624723697897595\ 874433151701642815976/325124689962471305588555472420971470449966249\ 514261780514783*c_0110_2^16 - 2840145503397408826986690353719774943\ 0207915919136652591631528/32512468996247130558855547242097147044996\ 6249514261780514783*c_0110_2^15 - 141182328587138149056944875216084\ 37106167297161176112593661492/3251246899624713055885554724209714704\ 49966249514261780514783*c_0110_2^14 + 1486702191026569301583890367810919558929367758055146662645448/32512\ 4689962471305588555472420971470449966249514261780514783*c_0110_2^13 - 66629566567869949176188532487838832021909485458007146745072704/32\ 5124689962471305588555472420971470449966249514261780514783*c_0110_2\ ^12 + 7561580353082574264142441951689321835343029451370240059697392\ 5/325124689962471305588555472420971470449966249514261780514783*c_01\ 10_2^11 - 719964460566219540191737201653025135760842370534703356858\ 28148/325124689962471305588555472420971470449966249514261780514783*\ c_0110_2^10 + 58488178231851359435768290844111745531103472173538157\ 350642594/325124689962471305588555472420971470449966249514261780514\ 783*c_0110_2^9 - 28084330397255440071595934052873961504833730922574\ 952564326155/325124689962471305588555472420971470449966249514261780\ 514783*c_0110_2^8 - 16967035361919261595872951588264520662418916658\ 416284676709566/325124689962471305588555472420971470449966249514261\ 780514783*c_0110_2^7 + 96312978203872346198081098539982649746448175\ 242100377313446401/325124689962471305588555472420971470449966249514\ 261780514783*c_0110_2^6 - 30452581659955118529928076259553749607403\ 533167843572085590978/325124689962471305588555472420971470449966249\ 514261780514783*c_0110_2^5 + 17904640760204776925979187497776087571\ 0317579365021679024333962/32512468996247130558855547242097147044996\ 6249514261780514783*c_0110_2^4 - 9252287146625357639344461093016091\ 566874316946388841937439386/325124689962471305588555472420971470449\ 966249514261780514783*c_0110_2^3 - 129238571968081870213407851174039117226806745225571206573238833/325\ 124689962471305588555472420971470449966249514261780514783*c_0110_2^\ 2 - 847783342548654640825350291124796446477999128808260659468767/79\ 29870486889544038745255424901743181706493890591750744263*c_0110_2 - 48168963342970721286923805807741047433293077118195299309494/7929870\ 486889544038745255424901743181706493890591750744263, c_0101_5 - 570149867749498429921528897067930385250886834962493430477293\ 8900652553510391882510747395338752/89075224061773183407354445340900\ 8775752252050976112620019021040456077665900338433656527250861541*c_\ 0110_2^23 + 8598873877892226932554866259011475928999160693608090962\ 0332615441325983497305045569071962160128/89075224061773183407354445\ 3409008775752252050976112620019021040456077665900338433656527250861\ 541*c_0110_2^22 - 1643746535390100061810098526669848064865560168611\ 38980074277948201479182640116404780277718048256/8907522406177318340\ 7354445340900877575225205097611262001902104045607766590033843365652\ 7250861541*c_0110_2^21 + 964106311553953419413629159333636176809384\ 625999228372508778180404479350721959954421924176996800/890752240617\ 7318340735444534090087757522520509761126200190210404560776659003384\ 33656527250861541*c_0110_2^20 - 14141322912061575110843926885786536\ 42558226048346935147847391310901284360076830882629853415305792/8907\ 5224061773183407354445340900877575225205097611262001902104045607766\ 5900338433656527250861541*c_0110_2^19 + 3931212357972047729348343853927429537693792810145307001560772977915\ 919148497677785262542045691520/890752240617731834073544453409008775\ 752252050976112620019021040456077665900338433656527250861541*c_0110\ _2^18 - 53692529033239305179896300371419578691728012350113226845119\ 40710788697020929491683150258176745544/8907522406177318340735444534\ 0900877575225205097611262001902104045607766590033843365652725086154\ 1*c_0110_2^17 + 667112897910736248293279119735636376875197082911660\ 2790609239794371227855515813395244484302407720/89075224061773183407\ 3544453409008775752252050976112620019021040456077665900338433656527\ 250861541*c_0110_2^16 - 8995570506849954726585488735383036234956048\ 859258284242562345401412540123843460648805457489046444/890752240617\ 7318340735444534090087757522520509761126200190210404560776659003384\ 33656527250861541*c_0110_2^15 + 18905485857952460563495829206607649\ 93955320555120000543870115285658626796388056869237741044333880/8907\ 5224061773183407354445340900877575225205097611262001902104045607766\ 5900338433656527250861541*c_0110_2^14 - 5600631849227924021699561389693687997127402842686435927619454099458\ 75625092381766394414500388224/8907522406177318340735444534090087757\ 52252050976112620019021040456077665900338433656527250861541*c_0110_\ 2^13 - 108780664211283772849474309082557124025237962333972657636960\ 40889611835297766867582817679554010457/8907522406177318340735444534\ 0900877575225205097611262001902104045607766590033843365652725086154\ 1*c_0110_2^12 + 200696515529943841876881498306452158883463374312311\ 28316797601593650952688316047197717838472713172/8907522406177318340\ 7354445340900877575225205097611262001902104045607766590033843365652\ 7250861541*c_0110_2^11 - 212924708426041000684526580761095089374699\ 52365763907926643537766897881482353332241816393823153100/8907522406\ 1773183407354445340900877575225205097611262001902104045607766590033\ 8433656527250861541*c_0110_2^10 + 213626997335801741107853560062270\ 38407215407082360730207044436932092315329176677863648895431007421/8\ 9075224061773183407354445340900877575225205097611262001902104045607\ 7665900338433656527250861541*c_0110_2^9 - 1441286377086143854691320871475081971084755269490393922839316418521\ 3497871506365340984151928838816/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^8 + 47313654218984292077713844236291922917869893834124536091156\ 79520994207351045564102012277127038238/8907522406177318340735444534\ 0900877575225205097611262001902104045607766590033843365652725086154\ 1*c_0110_2^7 + 1587032592022692744235374321019121321846994392491482\ 6127820599008413322205510536782685167821546558/89075224061773183407\ 3544453409008775752252050976112620019021040456077665900338433656527\ 250861541*c_0110_2^6 - 11999548828384120341902932066024890262612268\ 888041689462720206386301889898230255185256429596320779/890752240617\ 7318340735444534090087757522520509761126200190210404560776659003384\ 33656527250861541*c_0110_2^5 + 365325913826152438485410876441901506\ 20061642924402740285031771894582354212058921944103253013007894/8907\ 5224061773183407354445340900877575225205097611262001902104045607766\ 5900338433656527250861541*c_0110_2^4 - 2056203165644465441827788305609840700766431228866507339084769604470\ 5983233365719791095531770316314/89075224061773183407354445340900877\ 5752252050976112620019021040456077665900338433656527250861541*c_011\ 0_2^3 - 20174009666215793187226288852954513905161102680626462080578\ 133896143667838628578529644633163646862/890752240617731834073544453\ 4090087757522520509761126200190210404560776659003384336565272508615\ 41*c_0110_2^2 + 669848660530331564441861334155882680697362314532633\ 84261197613665948941073852160541501233424187/2172566440531053253837\ 9133009975823798835415877466161463878561962343357704886303259915298\ 801501*c_0110_2 + 1389009475587152574256448006297912581571897031731\ 9728893494026988059255811280320382671372682625/21725664405310532538\ 3791330099758237988354158774661614638785619623433577048863032599152\ 98801501, c_0110_2^24 - 14*c_0110_2^23 + 13*c_0110_2^22 - 1159/8*c_0110_2^21 + 593/8*c_0110_2^20 - 995/2*c_0110_2^19 + 16697/64*c_0110_2^18 - 28597/64*c_0110_2^17 + 70127/128*c_0110_2^16 + 30511/32*c_0110_2^15 + 5137/32*c_0110_2^14 + 1106629/512*c_0110_2^13 - 177197/128*c_0110_2^12 + 273533/256*c_0110_2^11 - 171559/256*c_0110_2^10 - 6831/64*c_0110_2^9 + 275955/256*c_0110_2^8 - 747295/256*c_0110_2^7 - 153009/256*c_0110_2^6 - 1361021/256*c_0110_2^5 - 1377837/512*c_0110_2^4 + 1163141/256*c_0110_2^3 + 833407/256*c_0110_2^2 + 71053/128*c_0110_2 + 11767/512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB