Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 2833855599] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2159 geometric_solution 5.63648193 oriented_manifold CS_known 0.0000000000000004 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.305184585848 0.583503875067 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.640004103376 1.058582472046 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -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.640004103376 1.058582472046 1 2 5 5 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222044245179 1.304034452114 6 2 6 1 0132 2310 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.226148962355 1.461533503235 5 3 5 3 2310 2310 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.664404369772 0.560835918187 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 0 1 0 0 -1 1 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.432702114715 0.136557797244 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : negation(d['c_0011_5']), '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_5']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], '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_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_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_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_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(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_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 3231139043040952524849729529090353259769981525192341129727799407761\ /446438820132178884348665088244778938176976790683842954608600708*c_\ 0101_4^27 + 1367487970688144683029600408786833584335871646523444070\ 9309017994035/44643882013217888434866508824477893817697679068384295\ 4608600708*c_0101_4^26 + 679096122010925610210317311813464614982023\ 02998701865965456543717717/4464388201321788843486650882447789381769\ 76790683842954608600708*c_0101_4^25 - 1146090546134988204510598794880013370904055226162460124004047415815\ 14/111609705033044721087166272061194734544244197670960738652150177*\ c_0101_4^24 + 41987542510635575819984402874757873029008843481259671\ 4242434727720177/44643882013217888434866508824477893817697679068384\ 2954608600708*c_0101_4^23 + 311319464965168688928199135138331289512\ 97605922795410129512859233807/7697221036761704902563191176634119623\ 740979149721430251872426*c_0101_4^22 - 4687658675819561289813265240352815955355845826488702103968753618291\ 895/446438820132178884348665088244778938176976790683842954608600708\ *c_0101_4^21 - 1221466846353333845805839499064100832412202605610842\ 266615105768980078/111609705033044721087166272061194734544244197670\ 960738652150177*c_0101_4^20 - 2028534109230658932987339521789694253\ 641510937645599134585747372923663/446438820132178884348665088244778\ 938176976790683842954608600708*c_0101_4^19 + 2578254633604755750386737626016723254450109783183702121767611385102\ 4605/22321941006608944217433254412238946908848839534192147730430035\ 4*c_0101_4^18 - 197581954999618964128600202110331151316546373365433\ 19818602782007513699/4464388201321788843486650882447789381769767906\ 83842954608600708*c_0101_4^17 - 21401027484328048012159881970902233\ 438977217015274831121348085906024000/111609705033044721087166272061\ 194734544244197670960738652150177*c_0101_4^16 + 4165502934095638139996557487450513130089546841688830262690236428331\ 6447/44643882013217888434866508824477893817697679068384295460860070\ 8*c_0101_4^15 + 320400300009270855452875520707647106803596196825459\ 87944787080550277523/1116097050330447210871662720611947345442441976\ 70960738652150177*c_0101_4^14 - 34962098311042324253472992308631142\ 8728249675025684037157594005738345/38486105183808524512815955883170\ 59811870489574860715125936213*c_0101_4^13 - 4341539356999101181582595433891302360438224915315693969161283837119\ 5394/11160970503304472108716627206119473454424419767096073865215017\ 7*c_0101_4^12 + 233450614407933411657564155105268364054668569073546\ 3603982702746494509/11160970503304472108716627206119473454424419767\ 0960738652150177*c_0101_4^11 + 679320678425925854724554952991488997\ 72538869228060283388667210722138199/2232194100660894421743325441223\ 89469088488395341921477304300354*c_0101_4^10 + 4570606253728685720260599156477880000957396395093645998038792983753\ 6649/44643882013217888434866508824477893817697679068384295460860070\ 8*c_0101_4^9 - 4627714703387442854165276553224293834207384123683707\ 0537030565715829919/44643882013217888434866508824477893817697679068\ 3842954608600708*c_0101_4^8 - 2176641756709735551655508832331306575\ 4178501304417945914500118444688735/22321941006608944217433254412238\ 9469088488395341921477304300354*c_0101_4^7 - 3979587064487212378614484419197960070467761608309151513416923416028\ 603/446438820132178884348665088244778938176976790683842954608600708\ *c_0101_4^6 + 49943926343364142427121593209290304485583196895025473\ 76428247449277449/2232194100660894421743325441223894690884883953419\ 21477304300354*c_0101_4^5 + 267231062035792696386285095683542018349\ 5577857817533260123487367710101/22321941006608944217433254412238946\ 9088488395341921477304300354*c_0101_4^4 + 7391576117461764933753347614611650666631155919960804774523837932373\ 51/446438820132178884348665088244778938176976790683842954608600708*\ c_0101_4^3 - 279135060649444515867759959278741774001013608320613248\ 9515121810004/38486105183808524512815955883170598118704895748607151\ 25936213*c_0101_4^2 - 134934898502920156536778145638425981336129729\ 710025931069554212600809/446438820132178884348665088244778938176976\ 790683842954608600708*c_0101_4 - 1391885656775802706527389548120955\ 9667300442265347922290136773835711/44643882013217888434866508824477\ 8938176976790683842954608600708, c_0011_0 - 1, c_0011_1 - 666511104095031544787591963278155669959990611220582760833491\ 79/15394442073523409805126382353268239247481958299442860503744852*c\ _0101_4^27 + 282159427881046662292081459824397332679199756081184399\ 544399481/153944420735234098051263823532682392474819582994428605037\ 44852*c_0101_4^26 + 14006203144841951278688267458552222074906718003\ 54561657422627639/1539444207352340980512638235326823924748195829944\ 2860503744852*c_0101_4^25 - 236462240201905039040196549824260496834\ 9010167219398891014784172/38486105183808524512815955883170598118704\ 89574860715125936213*c_0101_4^24 + 8668709802443897067734403729526811516419216181166561808836836907/15\ 394442073523409805126382353268239247481958299442860503744852*c_0101\ _4^23 + 18625259330838736550328501794054467741577116423173316843006\ 888061/769722103676170490256319117663411962374097914972143025187242\ 6*c_0101_4^22 - 967311802896927840223166768435739652037387080591843\ 99994061078413/1539444207352340980512638235326823924748195829944286\ 0503744852*c_0101_4^21 - 251904083805593299202998418254821119590004\ 95277420110033908530632/3848610518380852451281595588317059811870489\ 574860715125936213*c_0101_4^20 - 4164226463931836953184024908517040\ 8703539638341698599386129653225/15394442073523409805126382353268239\ 247481958299442860503744852*c_0101_4^19 + 532075057633466609073827509731642853030036845681197926618435896213/\ 7697221036761704902563191176634119623740979149721430251872426*c_010\ 1_4^18 - 4084352210667566024884409629605416201555312488031623562489\ 29572869/1539444207352340980512638235326823924748195829944286050374\ 4852*c_0101_4^17 - 441786241447696117731913719690456840019311458556\ 915381914648114601/384861051838085245128159558831705981187048957486\ 0715125936213*c_0101_4^16 + 859413549082158201868864954028592461356\ 711714145744498600648922473/153944420735234098051263823532682392474\ 81958299442860503744852*c_0101_4^15 + 661655779315869382042111247408796419261954438521751091277073609960/\ 3848610518380852451281595588317059811870489574860715125936213*c_010\ 1_4^14 - 2092693462722278383328657567365483530909307381967610595744\ 59654841/3848610518380852451281595588317059811870489574860715125936\ 213*c_0101_4^13 - 8970479628794262876318818785701509855989740356512\ 20103483703361964/3848610518380852451281595588317059811870489574860\ 715125936213*c_0101_4^12 + 4808576194573190212675578892900732201015\ 4897020246099178666383519/38486105183808524512815955883170598118704\ 89574860715125936213*c_0101_4^11 + 1405268898652058614995647033522452867754789146548550701235942022233\ /7697221036761704902563191176634119623740979149721430251872426*c_01\ 01_4^10 + 946775070852293913673092081135229946146565491929603608362\ 925241471/153944420735234098051263823532682392474819582994428605037\ 44852*c_0101_4^9 - 960901172456655096996267122474913853863440312820\ 558765947661036605/153944420735234098051263823532682392474819582994\ 42860503744852*c_0101_4^8 - 451695193184364686769631998230026913180\ 635822633520268134368968823/769722103676170490256319117663411962374\ 0979149721430251872426*c_0101_4^7 - 80918043073360157197030477105268653237819557905015356918036898077/1\ 5394442073523409805126382353268239247481958299442860503744852*c_010\ 1_4^6 + 10413961388240674612416821348684521008991163713519868534404\ 1657645/76972210367617049025631911766341196237409791497214302518724\ 26*c_0101_4^5 + 554872365023312392274791987351393601619866296213687\ 19491048452967/7697221036761704902563191176634119623740979149721430\ 251872426*c_0101_4^4 + 15098755156244382227505351117354732987971386\ 809852323778921614077/153944420735234098051263823532682392474819582\ 99442860503744852*c_0101_4^3 - 170792664479864221557146779751020936\ 1600828188474880585791797425/38486105183808524512815955883170598118\ 70489574860715125936213*c_0101_4^2 - 2784233811676918290611311788312419651538213497762151772231411103/15\ 394442073523409805126382353268239247481958299442860503744852*c_0101\ _4 - 28886088188557818628718556584019232961106161657850869620621954\ 9/15394442073523409805126382353268239247481958299442860503744852, c_0011_4 - 225084979996830454371539481364026119693031187413050655748805\ 7863/15394442073523409805126382353268239247481958299442860503744852\ *c_0101_4^27 + 9541000457557095397318866492942312617779080442273183\ 600816958965/153944420735234098051263823532682392474819582994428605\ 03744852*c_0101_4^26 + 47238556800968816150815796972867887612390722\ 932138045144405533871/153944420735234098051263823532682392474819582\ 99442860503744852*c_0101_4^25 - 79910746144287211465929559685571033\ 050603813345375662702408390607/384861051838085245128159558831705981\ 1870489574860715125936213*c_0101_4^24 + 294703227703329111749169898194060210340123642826163485859677794779/\ 15394442073523409805126382353268239247481958299442860503744852*c_01\ 01_4^23 + 627582380291949030067513259362937522186167675784772622691\ 466774871/769722103676170490256319117663411962374097914972143025187\ 2426*c_0101_4^22 - 327292529408507105315934383272915052617469564910\ 0963824797748525949/15394442073523409805126382353268239247481958299\ 442860503744852*c_0101_4^21 - 8448559911577964490733482604395454281\ 04422075670327930652454760426/3848610518380852451281595588317059811\ 870489574860715125936213*c_0101_4^20 - 1398589363081333206289238011671416491672063486498850259439304220905\ /15394442073523409805126382353268239247481958299442860503744852*c_0\ 101_4^19 + 17962685618417339569840121281381157149647209347939530264\ 560101932461/769722103676170490256319117663411962374097914972143025\ 1872426*c_0101_4^18 - 140031168437092270891768027766231336766177676\ 04374398356669712433433/1539444207352340980512638235326823924748195\ 8299442860503744852*c_0101_4^17 - 148654749321435296512830097468793\ 21911628981212542373353612339395964/3848610518380852451281595588317\ 059811870489574860715125936213*c_0101_4^16 + 2935556236601604173563896839358687544533070907176589933738931748758\ 9/15394442073523409805126382353268239247481958299442860503744852*c_\ 0101_4^15 + 2224282820136133213023826981761638034532309670650371479\ 2444145184223/38486105183808524512815955883170598118704895748607151\ 25936213*c_0101_4^14 - 71851144519848523332048481752359292565117663\ 85886211094103136303424/3848610518380852451281595588317059811870489\ 574860715125936213*c_0101_4^13 - 3015566004166319097158467880905510\ 2256658661768625084185612356008394/38486105183808524512815955883170\ 59811870489574860715125936213*c_0101_4^12 + 1796899643331957165295858307913174103770117587197854811796682438973\ /3848610518380852451281595588317059811870489574860715125936213*c_01\ 01_4^11 + 471853099166831851472132082059668868109665790570495839978\ 66110338843/7697221036761704902563191176634119623740979149721430251\ 872426*c_0101_4^10 + 3130505496852681857704815899937975795097805529\ 4694556450936297269463/15394442073523409805126382353268239247481958\ 299442860503744852*c_0101_4^9 - 32265288045912522868112690612781022\ 382703932855570244589152376412305/153944420735234098051263823532682\ 39247481958299442860503744852*c_0101_4^8 - 1505135434024243468738124376981469612381873567917799068470928470299\ 3/7697221036761704902563191176634119623740979149721430251872426*c_0\ 101_4^7 - 264863839486180630542384269305722926825744656270477569568\ 1207314877/15394442073523409805126382353268239247481958299442860503\ 744852*c_0101_4^6 + 34669584779058909064296313071149296799435394843\ 11484490917589070025/7697221036761704902563191176634119623740979149\ 721430251872426*c_0101_4^5 + 18426715481949683185249676789714659528\ 24655348487936361702531175521/7697221036761704902563191176634119623\ 740979149721430251872426*c_0101_4^4 + 503516672478896606301052525562667358331179995609258366541117411441/\ 15394442073523409805126382353268239247481958299442860503744852*c_01\ 01_4^3 - 5620997100363869027398028179179289003563670792259781156625\ 5283716/38486105183808524512815955883170598118704895748607151259362\ 13*c_0101_4^2 - 926631397545923859142381620925295129997683529082360\ 63491903396443/1539444207352340980512638235326823924748195829944286\ 0503744852*c_0101_4 - 950412339062271738644333849792242001242161861\ 4579795177213169381/15394442073523409805126382353268239247481958299\ 442860503744852, c_0011_5 + 322018074834028316063519039284761205528855133412401284194324\ 925/15394442073523409805126382353268239247481958299442860503744852*\ c_0101_4^27 - 13230692911728669204246511386413369952712993957465777\ 30118333061/1539444207352340980512638235326823924748195829944286050\ 3744852*c_0101_4^26 - 694649417105920893268116689210561435841715119\ 6146313563808030505/15394442073523409805126382353268239247481958299\ 442860503744852*c_0101_4^25 + 2244879482399181116561883931503411402\ 1861656554497704277343914203/76972210367617049025631911766341196237\ 40979149721430251872426*c_0101_4^24 - 35997178067070317292245037823493069090951096734246467035910868991/1\ 5394442073523409805126382353268239247481958299442860503744852*c_010\ 1_4^23 - 9330815952146746405157661715671353410622821832917467697064\ 7369021/76972210367617049025631911766341196237409791497214302518724\ 26*c_0101_4^22 + 44661809341390162627189867475890590829133685747397\ 6484149912570591/15394442073523409805126382353268239247481958299442\ 860503744852*c_0101_4^21 + 2749712622813734637470977515464215142622\ 25254975133169613564675707/7697221036761704902563191176634119623740\ 979149721430251872426*c_0101_4^20 + 246305565228812169876032776303380405206518409490308089338895996353/\ 15394442073523409805126382353268239247481958299442860503744852*c_01\ 01_4^19 - 256285736683337715180867315936872599930220680823016398469\ 3412117247/76972210367617049025631911766341196237409791497214302518\ 72426*c_0101_4^18 + 13303959812068371851253795860070408490342587329\ 79491111248506889431/1539444207352340980512638235326823924748195829\ 9442860503744852*c_0101_4^17 + 446904444013086616034676062155304822\ 5263560888734608633164761811759/76972210367617049025631911766341196\ 23740979149721430251872426*c_0101_4^16 - 3197731917292427141360905586581868576492540117812573579256267885549\ /15394442073523409805126382353268239247481958299442860503744852*c_0\ 101_4^15 - 33826780562458222524169113701458635500535930782226389511\ 27157151179/3848610518380852451281595588317059811870489574860715125\ 936213*c_0101_4^14 + 6630433469085616539942510158721006450901797412\ 71550044893063970932/3848610518380852451281595588317059811870489574\ 860715125936213*c_0101_4^13 + 4541273332918466844574532790050574663\ 367040203937083137019258673251/384861051838085245128159558831705981\ 1870489574860715125936213*c_0101_4^12 + 249210444205630445790381685105015947997990840930436859832370266590/\ 3848610518380852451281595588317059811870489574860715125936213*c_010\ 1_4^11 - 7075374815314166477182509070996231628522019904795044679564\ 904429477/769722103676170490256319117663411962374097914972143025187\ 2426*c_0101_4^10 - 608316123017193874048563865679145592001673635154\ 5842510524082547985/15394442073523409805126382353268239247481958299\ 442860503744852*c_0101_4^9 + 44397413679854427438991187360441061875\ 26702233486876393351842562065/1539444207352340980512638235326823924\ 7481958299442860503744852*c_0101_4^8 + 2479976039701918814846475720574713115578141705048025218565605991573\ /7697221036761704902563191176634119623740979149721430251872426*c_01\ 01_4^7 + 7770664717917265112914258517281806841273966797064463749954\ 50760515/1539444207352340980512638235326823924748195829944286050374\ 4852*c_0101_4^6 - 2612479763050268576572000828186621886480856240156\ 76616480983394075/3848610518380852451281595588317059811870489574860\ 715125936213*c_0101_4^5 - 16118796398756492594660010651501996400970\ 7901165125628092529365451/38486105183808524512815955883170598118704\ 89574860715125936213*c_0101_4^4 - 111345269751067115325445504027664\ 687427441029849732933130993154181/153944420735234098051263823532682\ 39247481958299442860503744852*c_0101_4^3 + 8209002039639184724972519519556452328770488329727129819479448381/38\ 48610518380852451281595588317059811870489574860715125936213*c_0101_\ 4^2 + 1735200131452981820659224829661510161652932676915319168086869\ 3093/15394442073523409805126382353268239247481958299442860503744852\ *c_0101_4 + 2065279868658295446808805251951517952581518276749255726\ 432428457/153944420735234098051263823532682392474819582994428605037\ 44852, c_0101_0 - 814835120895227823675485724343425712181997156372999249855875\ 094/3848610518380852451281595588317059811870489574860715125936213*c\ _0101_4^27 + 690115474736272719334943650887498753523598798143547434\ 1699712013/76972210367617049025631911766341196237409791497214302518\ 72426*c_0101_4^26 + 17116288504740112194516995988753459486005385235\ 353582093025770672/384861051838085245128159558831705981187048957486\ 0715125936213*c_0101_4^25 - 231296691572359210021520848990923327516\ 273909079463328125976552279/769722103676170490256319117663411962374\ 0979149721430251872426*c_0101_4^24 + 212371930396024097355238796842312473869365767320631558509081937619/\ 7697221036761704902563191176634119623740979149721430251872426*c_010\ 1_4^23 + 4549790410224108972740134962454381700919432253031773624260\ 36617721/3848610518380852451281595588317059811870489574860715125936\ 213*c_0101_4^22 - 1183133284165116665380248553541396624310588235356\ 751910444526216401/384861051838085245128159558831705981187048957486\ 0715125936213*c_0101_4^21 - 245765535671978662852964869675899345147\ 6918760229202029716604571543/76972210367617049025631911766341196237\ 40979149721430251872426*c_0101_4^20 - 1019468441379211849593054824103959172640766532283700858291087927215\ /7697221036761704902563191176634119623740979149721430251872426*c_01\ 01_4^19 + 130043621642192328874274378027899521122872565855469007049\ 01106612840/3848610518380852451281595588317059811870489574860715125\ 936213*c_0101_4^18 - 5015063586738070295495307263297140920853848652\ 605090159582153915561/384861051838085245128159558831705981187048957\ 4860715125936213*c_0101_4^17 - 431268189639924441259722799331301739\ 12487936646031241825827332956853/7697221036761704902563191176634119\ 623740979149721430251872426*c_0101_4^16 + 2109829761590829960118306061132164106583948579037575082720348685926\ 1/7697221036761704902563191176634119623740979149721430251872426*c_0\ 101_4^15 + 32276750908980432136391009944516757252307941756398432966\ 593509073057/384861051838085245128159558831705981187048957486071512\ 5936213*c_0101_4^14 - 102915679407784819881393727831107549529796360\ 92475133765376464042764/3848610518380852451281595588317059811870489\ 574860715125936213*c_0101_4^13 - 4374471537320921621991471095613445\ 0634931738802947834601802975183332/38486105183808524512815955883170\ 59811870489574860715125936213*c_0101_4^12 + 2444835509653600353706089059029606138886783376485155481321310522950\ /3848610518380852451281595588317059811870489574860715125936213*c_01\ 01_4^11 + 342225384213788915499700992125253840450009338659852202590\ 52240210481/3848610518380852451281595588317059811870489574860715125\ 936213*c_0101_4^10 + 1145622239679193033882594897001470409577555165\ 6799155238579974940876/38486105183808524512815955883170598118704895\ 74860715125936213*c_0101_4^9 - 233439252921561704636008454781447591\ 92648135546231258456681410738099/7697221036761704902563191176634119\ 623740979149721430251872426*c_0101_4^8 - 1094852265232854897506925275448795465854534833473056551668839463519\ 5/3848610518380852451281595588317059811870489574860715125936213*c_0\ 101_4^7 - 987796494569616225289780485823104543239802387886385338410\ 986910993/384861051838085245128159558831705981187048957486071512593\ 6213*c_0101_4^6 + 5030649199187255492187196441387119417805581614736\ 699282555706003343/769722103676170490256319117663411962374097914972\ 1430251872426*c_0101_4^5 + 2685766649546941901577875496087478846014\ 210991298241049108076116573/769722103676170490256319117663411962374\ 0979149721430251872426*c_0101_4^4 + 369953606379728424002313282074288467209849657602900843871571328105/\ 7697221036761704902563191176634119623740979149721430251872426*c_010\ 1_4^3 - 81514562312603905565674279470874807175856092034225359205969\ 411324/384861051838085245128159558831705981187048957486071512593621\ 3*c_0101_4^2 - 3384558269918596718891823366052323516900109373853660\ 8210880665962/38486105183808524512815955883170598118704895748607151\ 25936213*c_0101_4 - 69764486413050420962985660350529805847063506317\ 23774362442791031/7697221036761704902563191176634119623740979149721\ 430251872426, c_0101_1 - 247952983552932148381832938580968455234799944124219884488141\ 4217/15394442073523409805126382353268239247481958299442860503744852\ *c_0101_4^27 + 1050927762804386692369842002969231657604084483740770\ 6474533877225/15394442073523409805126382353268239247481958299442860\ 503744852*c_0101_4^26 + 5204261905008924680963300070168558078490705\ 4114013651794782567749/15394442073523409805126382353268239247481958\ 299442860503744852*c_0101_4^25 - 1760484319792519654424033192055648\ 73761412701000251961717779366307/7697221036761704902563191176634119\ 623740979149721430251872426*c_0101_4^24 + 324489049495688063000080742547114123798329714719064702552411328707/\ 15394442073523409805126382353268239247481958299442860503744852*c_01\ 01_4^23 + 691433379231633319315970001907187424208456569020226630417\ 488029463/769722103676170490256319117663411962374097914972143025187\ 2426*c_0101_4^22 - 360491980772778275131136301624278366809576754889\ 6154117776945494979/15394442073523409805126382353268239247481958299\ 442860503744852*c_0101_4^21 - 1862213547136243271844846305166807275\ 022638630207588690032032127687/769722103676170490256319117663411962\ 3740979149721430251872426*c_0101_4^20 - 1541764959879401794899406894835768981634483284713528280972583982177\ /15394442073523409805126382353268239247481958299442860503744852*c_0\ 101_4^19 + 19787347365686358969316776428097093119568231769514985898\ 414678045583/769722103676170490256319117663411962374097914972143025\ 1872426*c_0101_4^18 - 154091139121856719021878340634698876473115898\ 41595344781952798793479/1539444207352340980512638235326823924748195\ 8299442860503744852*c_0101_4^17 - 327570239627957099823558032625458\ 00005114508809392684501884089907551/7697221036761704902563191176634\ 119623740979149721430251872426*c_0101_4^16 + 3231522289736746795943550064357664064251020260117637725365527599722\ 5/15394442073523409805126382353268239247481958299442860503744852*c_\ 0101_4^15 + 2450763459552775881228026418069807423818101362450721514\ 0897255972032/38486105183808524512815955883170598118704895748607151\ 25936213*c_0101_4^14 - 79069771172276633009042340570206951620463230\ 54178942959168373704688/3848610518380852451281595588317059811870489\ 574860715125936213*c_0101_4^13 - 3322477260032538364483794522587037\ 9736233059250161803579389064056792/38486105183808524512815955883170\ 59811870489574860715125936213*c_0101_4^12 + 1968329650989198447532967555072054197189552689831688300998597331851\ /3848610518380852451281595588317059811870489574860715125936213*c_01\ 01_4^11 + 519870526946408793088973700411309275362316772125836282878\ 68662479755/7697221036761704902563191176634119623740979149721430251\ 872426*c_0101_4^10 + 3451763910786859828915868004674387565663463586\ 8183794185763934467369/15394442073523409805126382353268239247481958\ 299442860503744852*c_0101_4^9 - 35540232619422715992801742883415136\ 944671664308030291148512877601061/153944420735234098051263823532682\ 39247481958299442860503744852*c_0101_4^8 - 1658595718765568305505576629269480556788367708001963424276577703217\ 5/7697221036761704902563191176634119623740979149721430251872426*c_0\ 101_4^7 - 292499527638882125203658115065861161515847250637658529878\ 4040708631/15394442073523409805126382353268239247481958299442860503\ 744852*c_0101_4^6 + 19097523929417358935881002425355580696583296150\ 26882767309250419320/3848610518380852451281595588317059811870489574\ 860715125936213*c_0101_4^5 + 10153676029828523647554268277767512802\ 89647987695271509730617509411/3848610518380852451281595588317059811\ 870489574860715125936213*c_0101_4^4 + 555210116178316987682581052103152068461905433545371987177995606785/\ 15394442073523409805126382353268239247481958299442860503744852*c_01\ 01_4^3 - 6192447416723805757577064924108592676527451422719317827738\ 1846559/38486105183808524512815955883170598118704895748607151259362\ 13*c_0101_4^2 - 102151562535039409272759289039843157025813615737616\ 394959510099301/153944420735234098051263823532682392474819582994428\ 60503744852*c_0101_4 - 10481985441884510655041208685422027249602597\ 994258039385715775445/153944420735234098051263823532682392474819582\ 99442860503744852, c_0101_4^28 - 4*c_0101_4^27 - 22*c_0101_4^26 + 137*c_0101_4^25 - 97*c_0101_4^24 - 589*c_0101_4^23 + 1321*c_0101_4^22 + 1849*c_0101_4^21 + 979*c_0101_4^20 - 15813*c_0101_4^19 + 2409*c_0101_4^18 + 27913*c_0101_4^17 - 6739*c_0101_4^16 - 42657*c_0101_4^15 + 3340*c_0101_4^14 + 56660*c_0101_4^13 + 9592*c_0101_4^12 - 42718*c_0101_4^11 - 23911*c_0101_4^10 + 11036*c_0101_4^9 + 16799*c_0101_4^8 + 4361*c_0101_4^7 - 2805*c_0101_4^6 - 2372*c_0101_4^5 - 613*c_0101_4^4 + 47*c_0101_4^3 + 65*c_0101_4^2 + 14*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB