Magma V2.19-8 Wed Aug 21 2013 00:57:38 on localhost [Seed = 1443908836] Type ? for help. Type -D to quit. Loading file "L13n4382__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4382 geometric_solution 12.22608792 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 1 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 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.131679355389 0.908888118528 0 4 0 5 0132 0132 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843873973020 1.077625953560 6 7 8 0 0132 0132 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.074773745851 0.927177016780 9 9 0 5 0132 1302 0132 2031 1 1 1 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 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.511650367393 0.554671282138 10 1 9 10 0132 0132 1023 2031 1 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 -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.080692954400 0.661414216572 11 3 1 8 0132 1302 0132 1302 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0.987245396905 0.885980321249 2 11 11 12 0132 0213 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588754324600 0.959592547672 8 2 12 12 1230 0132 1302 2031 1 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 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 1.040728986015 1.380055337902 12 7 5 2 3201 3012 2031 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.934832681159 1.007667297831 3 10 4 3 0132 1230 1023 2031 1 1 0 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.894174808277 1.015610649105 4 4 9 11 0132 1302 3012 2031 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 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818250973439 1.489738365762 5 10 6 6 0132 1302 0213 0132 1 1 1 1 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 -1 0 -1 0 1 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535481043707 0.757105145707 7 7 6 8 2031 1302 0132 2310 1 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 0 0 0 0 0 0 0 0 0 0 -1 1 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.880761613734 0.902975136385 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_4'], 'c_1001_10' : d['c_0011_3'], 'c_1001_12' : d['c_0011_8'], 'c_1001_5' : d['c_0101_9'], 'c_1001_4' : d['c_0101_9'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0101_8']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : d['c_0011_2'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_0101_4'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : negation(d['c_0011_2']), 'c_0101_10' : d['c_0011_3'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : negation(d['c_1010_5']), 'c_1100_3' : negation(d['c_1010_5']), 'c_1100_2' : negation(d['c_1010_5']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : negation(d['c_0101_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_1010_5'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0101_8']), 'c_1010_1' : d['c_0101_9'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : d['c_0011_12'], 'c_1100_8' : negation(d['c_1010_5']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_0011_8'], 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(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_3'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_4'], 'c_0110_12' : negation(d['c_0101_8']), 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_2']), 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_2, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0101_4, c_0101_8, c_0101_9, c_1010_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1016992413281373010224838574561210237677397811579392538042304377807\ 24605035/7477350282826320918552350184753811943587614010288835611246\ 77362928321*c_1010_5^15 + 70962582709105991368572293962516986981656\ 5339003196352310001674088207412872/74773502828263209185523501847538\ 1194358761401028883561124677362928321*c_1010_5^14 + 8392664973215902858902839230583213706090339022209619012241051282824\ 19438255/2492450094275440306184116728251270647862538003429611870415\ 59120976107*c_1010_5^13 + 71739536848904856160500369233289456596686\ 09899363260477458245190758619625327/7477350282826320918552350184753\ 81194358761401028883561124677362928321*c_1010_5^12 + 1477835658263407320853116582194180281162335067873452040690964558243\ 04263855/6179628332914314808720950565912241275692242983709781496898\ 160024201*c_1010_5^11 + 7332675924099945508405464142712921648363357\ 227469025405686204879463325014003/249245009427544030618411672825127\ 064786253800342961187041559120976107*c_1010_5^10 + 4689323841025542219039517847301946687871002109048187878247733702748\ 8178260670/74773502828263209185523501847538119435876140102888356112\ 4677362928321*c_1010_5^9 - 3331243878005289055137855160676788158164\ 9522054621460133165801111328021470583/14954700565652641837104700369\ 50762388717522802057767122249354725856642*c_1010_5^8 + 8435738080499643306806035770406096229956687130214266888989367374810\ 69514233/1394377675119127444019086281539172390412608673247335312120\ 6104669992*c_1010_5^7 - 2254889540737476356658561524355281128877656\ 25461026710458970609369819265844297/1993960075420352244947293382601\ 016518290030402743689496332472967808856*c_1010_5^6 + 6206233069758365071235466486356305328129455968246848315650955958802\ 497480241/906345488827432838612406083000462053768195637610767952878\ 39680354948*c_1010_5^5 - 389204474152263387851942143919532659128014\ 75661168364414131348619701745808555/1993960075420352244947293382601\ 016518290030402743689496332472967808856*c_1010_5^4 + 1987290786572479698564292424924670701883921474421304577142860160082\ 8068108373/59818802262610567348418801478030495548700912082310684889\ 97418903426568*c_1010_5^3 - 315820950786409469931402392480503167948\ 848958590705189078556040794460792372/747735028282632091855235018475\ 381194358761401028883561124677362928321*c_1010_5^2 + 6362643386761008068483926516984216617744224957402634381662904282682\ 7892863/19939600754203522449472933826010165182900304027436894963324\ 72967808856*c_1010_5 - 79965259039996182323613518029672349424309093\ 22920718221435906419936370599/5981880226261056734841880147803049554\ 870091208231068488997418903426568, c_0011_0 - 1, c_0011_11 - 85598295785639677968444145474463990949997584863369330464486\ 4/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^15 - 60846793390168232979329837506571371449779338034716056251978\ 16/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^14 - 2196686740581140320352845859547801879488827420618471273986\ 7696/9516029609416797130303102471999783753995770510590165489193*c_1\ 010_5^13 - 63103552585432820343925054214784173580985109312738852059\ 262152/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^12 - 158197015544607596368576959666520769329952946329980692\ 897578320/951602960941679713030310247199978375399577051059016548919\ 3*c_1010_5^11 - 204191902449158280543451709432212113432971880903628\ 692448754840/951602960941679713030310247199978375399577051059016548\ 9193*c_1010_5^10 - 417208434653542317171334052138080279254398759180\ 479642774498632/951602960941679713030310247199978375399577051059016\ 5489193*c_1010_5^9 + 9156286009119378845572507671097872453826389416\ 4230936754767584/95160296094167971303031024719997837539957705105901\ 65489193*c_1010_5^8 - 357339845811034338098680272673499997625492454\ 581872632930702964/951602960941679713030310247199978375399577051059\ 0165489193*c_1010_5^7 + 6657335068915134678088652928958543585580399\ 43751501707620959835/9516029609416797130303102471999783753995770510\ 590165489193*c_1010_5^6 - 33507746404682252535007756729966729616337\ 7093304703022445892691/95160296094167971303031024719997837539957705\ 10590165489193*c_1010_5^5 + 654668075716299900958426863851855031152\ 75371421748950389214372/9516029609416797130303102471999783753995770\ 510590165489193*c_1010_5^4 - 76182438875499989299836991363201075685\ 43056008836983873872598/9516029609416797130303102471999783753995770\ 510590165489193*c_1010_5^3 + 11676142157080778433866534007484662026\ 72279043926641278904114/9516029609416797130303102471999783753995770\ 510590165489193*c_1010_5^2 - 16960502096556978493582388751634461455\ 462199522397990351099/951602960941679713030310247199978375399577051\ 0590165489193*c_1010_5 + 484064694304196122355249981579331891383133\ 0368233368107458/95160296094167971303031024719997837539957705105901\ 65489193, c_0011_12 - 80774171319761228929254331517262220218116547423504444972240\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^15 - 555674301352030471351082393975578349826387627144551686172864\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^14 - 193298937861252847327170670962162431588011185597442265377580\ 0/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^13 - 54188399608310429781925795514338967845655708344646783688018\ 80/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^12 - 1333745054058688480283275591648654303721642633155673386815\ 6392/9516029609416797130303102471999783753995770510590165489193*c_1\ 010_5^11 - 15185347110906840252809411327534655016519447109672613020\ 847792/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^10 - 332685108718839262607590106171011493223673726424681620\ 19830584/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5^9 + 20018086549098025451255207134698706526151745396670522\ 697778816/951602960941679713030310247199978375399577051059016548919\ 3*c_1010_5^8 - 3104418457637667727535193132030922327331258627303903\ 2081788534/95160296094167971303031024719997837539957705105901654891\ 93*c_1010_5^7 + 706996703039389650807019419353210533650030897991633\ 12102469150/9516029609416797130303102471999783753995770510590165489\ 193*c_1010_5^6 - 42078534311759980709940841540346789633486173669356\ 570466620959/951602960941679713030310247199978375399577051059016548\ 9193*c_1010_5^5 + 7669530063490894250139112859032264851146443165017\ 386459378072/951602960941679713030310247199978375399577051059016548\ 9193*c_1010_5^4 + 4203276672703666174481822685417731828875407253075\ 62286985253/9516029609416797130303102471999783753995770510590165489\ 193*c_1010_5^3 - 34713203387131900176143591107901010474078322144294\ 4229320919/95160296094167971303031024719997837539957705105901654891\ 93*c_1010_5^2 + 707402826968895156002956271521826914217879694010105\ 95368834/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5 - 9383408065541213970584668145941178474320926227394186309\ 565/9516029609416797130303102471999783753995770510590165489193, c_0011_2 + 144535533283476368741600456044882393981065515429526200057484\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^15 + 932933405065233629554436960730524639066114984261693243989312\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^14 + 303020506259399546392603647988096236688136967585483806809031\ 6/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^13 + 81735389926603596555284695519007128052632192510771962143164\ 84/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^12 + 1952192164388555940633857730540148600418205434737991248489\ 4620/9516029609416797130303102471999783753995770510590165489193*c_1\ 010_5^11 + 16335538209131972969059175021630716941907764916434671127\ 894988/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^10 + 461341171715483080152415035524265045035560058368687236\ 62234008/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5^9 - 64340212556556662864668428211968904426854137801964876\ 542218646/951602960941679713030310247199978375399577051059016548919\ 3*c_1010_5^8 + 1304771559713085461240236182280260105199558243022739\ 30910470717/1903205921883359426060620494399956750799154102118033097\ 8386*c_1010_5^7 - 3082748798763231850687343909230100207465305799512\ 74923953520795/1903205921883359426060620494399956750799154102118033\ 0978386*c_1010_5^6 + 1261541867677005316031338664890022947863093214\ 16792403345111778/9516029609416797130303102471999783753995770510590\ 165489193*c_1010_5^5 - 89338447755335203038102232122332678421882447\ 632017102224019033/190320592188335942606062049439995675079915410211\ 80330978386*c_1010_5^4 + 166941276682293706250516263654029853169866\ 97300538121082402857/1903205921883359426060620494399956750799154102\ 1180330978386*c_1010_5^3 - 1085122357057372520233011306376515632598\ 054634673462536502949/951602960941679713030310247199978375399577051\ 0590165489193*c_1010_5^2 + 2393788270569482814687820806269509048406\ 53139257595521710033/1903205921883359426060620494399956750799154102\ 1180330978386*c_1010_5 + 363614057732648944658815110992371906880321\ 2052934210264913/19032059218833594260606204943999567507991541021180\ 330978386, c_0011_3 - 884616166894464341343724428996187125345190564563176423168670\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^15 - 621422176349529363190306316355224087295096739426151151140500\ 8/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^14 - 22208942463345930119812082833375607064582803311708273364392\ 698/9516029609416797130303102471999783753995770510590165489193*c_10\ 10_5^13 - 635553743457129978299771273234443046450313824055578351594\ 73126/9516029609416797130303102471999783753995770510590165489193*c_\ 1010_5^12 - 1589135274129219312702674114890368777331759139699476916\ 99746110/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5^11 - 1998990385155060088978131377327579956440337552018618\ 97011114954/9516029609416797130303102471999783753995770510590165489\ 193*c_1010_5^10 - 4199583190269067838318105919048825612120606212480\ 60059435024164/9516029609416797130303102471999783753995770510590165\ 489193*c_1010_5^9 + 12198625306529029290543740298765443255593146070\ 1623723312240355/95160296094167971303031024719997837539957705105901\ 65489193*c_1010_5^8 - 157829476229658995833366213047966610187251143\ 7356025025806487329/38064118437667188521212409887999135015983082042\ 360661956772*c_1010_5^7 + 28809668962942452708796164188614295201089\ 58842096874602253785615/3806411843766718852121240988799913501598308\ 2042360661956772*c_1010_5^6 - 8365479739514837832253713912902097806\ 17337600330594804094112203/1903205921883359426060620494399956750799\ 1541021180330978386*c_1010_5^5 + 4828084241445741617931130219155943\ 63338629364876091552376012993/3806411843766718852121240988799913501\ 5983082042360661956772*c_1010_5^4 - 98185773678898808672161609262339860211218332458279342910507073/3806\ 4118437667188521212409887999135015983082042360661956772*c_1010_5^3 + 3770545937983059506683844002641343996295439187988011393717070/95160\ 29609416797130303102471999783753995770510590165489193*c_1010_5^2 - 1198084405518932513152490329139755957780165396856224095001105/38064\ 118437667188521212409887999135015983082042360661956772*c_1010_5 + 126060825144952547453892869495857076127755253433524159452403/380641\ 18437667188521212409887999135015983082042360661956772, c_0011_8 + 341469888570329225505951058924513756711079189154968284670884\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^15 + 238170720651335223166090757640190699601819800131371211006571\ 2/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^14 + 84558470586147484901760133474651659125218347722713675651991\ 08/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^13 + 2412815574357663600213905061834670459293128052578580552011\ 7972/9516029609416797130303102471999783753995770510590165489193*c_1\ 010_5^12 + 60215438548555278012471186289760347838455114323298687845\ 978564/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^11 + 744071530937858874797563920403981834912431006309286254\ 93289060/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5^10 + 1590685772298913273096239107066109049964413055281606\ 50549567656/9516029609416797130303102471999783753995770510590165489\ 193*c_1010_5^9 - 53734647427197801302201219018138129591063800582954\ 021052316290/951602960941679713030310247199978375399577051059016548\ 9193*c_1010_5^8 + 3142200765462922625561156867315280179306970999602\ 14107665728151/1903205921883359426060620494399956750799154102118033\ 0978386*c_1010_5^7 - 5674117084054433379451106095433802965817173107\ 72809982594006725/1903205921883359426060620494399956750799154102118\ 0330978386*c_1010_5^6 + 1766366465651438944994357290967279545607223\ 76952447017478324048/9516029609416797130303102471999783753995770510\ 590165489193*c_1010_5^5 - 11010040406386634179719955195736442612885\ 1610339932921701910145/19032059218833594260606204943999567507991541\ 021180330978386*c_1010_5^4 + 20556109804525710133726888166769118324\ 120260711051108973157337/190320592188335942606062049439995675079915\ 41021180330978386*c_1010_5^3 - 128787765249984324775616210591837999\ 1482993547444164161795280/95160296094167971303031024719997837539957\ 70510590165489193*c_1010_5^2 + 184906912019012905048938657585507280\ 753245421996944794888703/190320592188335942606062049439995675079915\ 41021180330978386*c_1010_5 - 27928614608693934273059165882988784959\ 117064809157839313/190320592188335942606062049439995675079915410211\ 80330978386, c_0101_0 - 1, c_0101_1 + 139175082280920826870300286117449688701901343842931768666826\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^15 + 942207786691409692074666785645318444365641714859742390972592\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^14 + 324315372456393754113237222640437232605206994070459368350805\ 4/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^13 + 90985995891985691614406804939637820255718971714476495608579\ 94/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^12 + 2242752402187801017123418940420003173671060834255270426470\ 2650/9516029609416797130303102471999783753995770510590165489193*c_1\ 010_5^11 + 25021340234990748490196916768161453824162039633747015627\ 874230/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^10 + 579452472297207663295967386036716738132223564464162379\ 47124756/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5^9 - 35894228830728802729818138105453155109253455529370744\ 934523649/951602960941679713030310247199978375399577051059016548919\ 3*c_1010_5^8 + 2675374787751705669088327544933223410321325469685094\ 47003206091/3806411843766718852121240988799913501598308204236066195\ 6772*c_1010_5^7 - 5095501358860831546490506834798568280254510583255\ 40531370897333/3806411843766718852121240988799913501598308204236066\ 1956772*c_1010_5^6 + 1880230704108346599675305816435089228048089456\ 63360653411234851/1903205921883359426060620494399956750799154102118\ 0330978386*c_1010_5^5 - 1324996853484830066279371080022946162183053\ 26213850055844885499/3806411843766718852121240988799913501598308204\ 2360661956772*c_1010_5^4 + 2447047350052838864407197070415788765263\ 3788283227991332156011/38064118437667188521212409887999135015983082\ 042360661956772*c_1010_5^3 - 74464912278718212933626562838479443530\ 2637909684158581060481/95160296094167971303031024719997837539957705\ 10590165489193*c_1010_5^2 + 227195502374960757373233901672335185754\ 983515185779840669015/380641184376671885212124098879991350159830820\ 42360661956772*c_1010_5 + 40821145227289716797013020508911534805035\ 65342080684264159/3806411843766718852121240988799913501598308204236\ 0661956772, c_0101_12 + 13350577934605463611035820662883148057388669152728396468741\ 2/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^15 + 94571264621368507633235864240233952947085190564006246968390\ 4/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^14 + 34026442063163141425867637726543907617406848553686987817640\ 20/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^13 + 9758770016695001842403960891695445319684106475462372628352\ 836/9516029609416797130303102471999783753995770510590165489193*c_10\ 10_5^12 + 244404282180202624299414033352749849067735697488780608507\ 60836/9516029609416797130303102471999783753995770510590165489193*c_\ 1010_5^11 + 3127463246933995794536827189723067856303085752793955869\ 4144636/9516029609416797130303102471999783753995770510590165489193*\ c_1010_5^10 + 64392176671917142873362662582051605046074122754119722\ 010841248/951602960941679713030310247199978375399577051059016548919\ 3*c_1010_5^9 - 1561335272675972721359206626247904114784600001007266\ 5411172370/95160296094167971303031024719997837539957705105901654891\ 93*c_1010_5^8 + 112909273405387302963611030013539719460569893041619\ 447691571907/190320592188335942606062049439995675079915410211803309\ 78386*c_1010_5^7 - 208923894857534864720115420178564577842051009510\ 774089739472229/190320592188335942606062049439995675079915410211803\ 30978386*c_1010_5^6 + 547419301416598647129237368181307014203182146\ 98779652608644194/9516029609416797130303102471999783753995770510590\ 165489193*c_1010_5^5 - 21754595375400547389887551427559918573212883\ 669773330021028393/190320592188335942606062049439995675079915410211\ 80330978386*c_1010_5^4 + 721913408825946973328573562523589559767918\ 016871172735034997/190320592188335942606062049439995675079915410211\ 80330978386*c_1010_5^3 + 272327631299462434869772623414649036303273\ 456080975282737005/951602960941679713030310247199978375399577051059\ 0165489193*c_1010_5^2 - 1545684428265176995020588940477624259560641\ 36120709305042499/1903205921883359426060620494399956750799154102118\ 0330978386*c_1010_5 + 160047426569654171001141198749724425770331172\ 13229845351541/1903205921883359426060620494399956750799154102118033\ 0978386, c_0101_4 + 28446779761922837402477827125837867644926135551287837918824/\ 9516029609416797130303102471999783753995770510590165489193*c_1010_5\ ^15 + 230009022667121213975446669316668394471452332399106539411488/\ 9516029609416797130303102471999783753995770510590165489193*c_1010_5\ ^14 + 946067506558068078558453333114959501361499611618299065617344/\ 9516029609416797130303102471999783753995770510590165489193*c_1010_5\ ^13 + 2947796368311430785796682039706507359041695644621650835468352\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^12 + 782607139707999815184327884922293771824969985307169820112681\ 6/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^11 + 13457548747344688381535513154886278232359921721587347422167\ 664/9516029609416797130303102471999783753995770510590165489193*c_10\ 10_5^10 + 244206104575616766271789608354418222493472404292316408664\ 43728/9516029609416797130303102471999783753995770510590165489193*c_\ 1010_5^9 + 16224584478462021786313117535263821439088905386038597734\ 727700/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^8 + 1981827119118681490800371332563275556726967289977623719\ 4359635/9516029609416797130303102471999783753995770510590165489193*\ c_1010_5^7 - 881936139663693705960445834541006459528690483760998716\ 3176357/9516029609416797130303102471999783753995770510590165489193*\ c_1010_5^6 - 218490326999771835675688415346859918616050953198856923\ 3550759/9516029609416797130303102471999783753995770510590165489193*\ c_1010_5^5 - 283261264485498619551501304706692265184670180843782315\ 5924479/9516029609416797130303102471999783753995770510590165489193*\ c_1010_5^4 + 150384453436346237613837104894790742180713496216147064\ 4459748/9516029609416797130303102471999783753995770510590165489193*\ c_1010_5^3 - 668753068298532222997741028755393969375956936545999700\ 30844/9516029609416797130303102471999783753995770510590165489193*c_\ 1010_5^2 + 19895901191868964228325478231500624141155724375557971791\ 023/9516029609416797130303102471999783753995770510590165489193*c_10\ 10_5 - 4150287111244625417266226486554065095923216333865042874768/9\ 516029609416797130303102471999783753995770510590165489193, c_0101_8 - 214607312023314775297008373485394822398934029076588648559424\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^15 - 146503961871385199557128601282913430986627701827386807919097\ 6/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^14 - 50768865837125743805822627221070747706058981596221670129952\ 08/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^13 - 1426340757202604751085337974313343761465794675153860825348\ 8264/9516029609416797130303102471999783753995770510590165489193*c_1\ 010_5^12 - 35179489253100268907671897817863298550654415924668250605\ 150520/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^11 - 399388592288765340195336496105248808668921338240200169\ 76272936/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5^10 - 8996300075223250704461133635400179883788012843994736\ 1888801112/95160296094167971303031024719997837539957705105901654891\ 93*c_1010_5^9 + 528264222107864709787167269641294176558048866815221\ 94451150392/9516029609416797130303102471999783753995770510590165489\ 193*c_1010_5^8 - 95387084488328895313632817386007454136160004695595\ 362419012688/951602960941679713030310247199978375399577051059016548\ 9193*c_1010_5^7 + 1927810004678569281309567778878461265792940764610\ 24366810453380/9516029609416797130303102471999783753995770510590165\ 489193*c_1010_5^6 - 13060474663409111715634896250270954642872527613\ 0074779843481115/95160296094167971303031024719997837539957705105901\ 65489193*c_1010_5^5 + 401222835834996949988431698662357624180255614\ 41690239203883498/9516029609416797130303102471999783753995770510590\ 165489193*c_1010_5^4 - 69172078022537462235927192581833230261752605\ 54126853572998247/9516029609416797130303102471999783753995770510590\ 165489193*c_1010_5^3 + 92045754331940661105628734071588545428696306\ 2801522784165808/95160296094167971303031024719997837539957705105901\ 65489193*c_1010_5^2 - 797832960832371258661337034168497500075391623\ 66727011713677/9516029609416797130303102471999783753995770510590165\ 489193*c_1010_5 - 4941543907339931849385928956727398311238044214275\ 182992564/951602960941679713030310247199978375399577051059016548919\ 3, c_0101_9 + 179767266612713415418135668526030475541268846867303349495504\ /9516029609416797130303102471999783753995770510590165489193*c_1010_\ 5^15 + 132867467464572691995649571771988346124501168080086115927479\ 2/9516029609416797130303102471999783753995770510590165489193*c_1010\ _5^14 + 49577953028707321986292557583013828237453893633212525640532\ 08/9516029609416797130303102471999783753995770510590165489193*c_101\ 0_5^13 + 1443466333720419791962142802883716810203067850724393724799\ 3280/9516029609416797130303102471999783753995770510590165489193*c_1\ 010_5^12 + 36517976545977327002497721494626807861685202324118490073\ 790392/9516029609416797130303102471999783753995770510590165489193*c\ _1010_5^11 + 509570266355310162205705480455604588238766020008347461\ 54042520/9516029609416797130303102471999783753995770510590165489193\ *c_1010_5^10 + 9640114248814059166158096740804312755023643221575097\ 2312385280/95160296094167971303031024719997837539957705105901654891\ 93*c_1010_5^9 + 914244618346566723700070262794970201200777758580111\ 507375768/951602960941679713030310247199978375399577051059016548919\ 3*c_1010_5^8 + 6052712555195659526600528223658963858485560074663655\ 6027940682/95160296094167971303031024719997837539957705105901654891\ 93*c_1010_5^7 - 118579768100607581325964997074288489430998412953742\ 099315077531/951602960941679713030310247199978375399577051059016548\ 9193*c_1010_5^6 + 2354609313226017596522929662056601456989176607398\ 1729853516618/95160296094167971303031024719997837539957705105901654\ 89193*c_1010_5^5 + 177623274285251837237197505271235613789767004483\ 64389538320108/9516029609416797130303102471999783753995770510590165\ 489193*c_1010_5^4 - 70310980328321375482604936638783632733570970059\ 64702340223991/9516029609416797130303102471999783753995770510590165\ 489193*c_1010_5^3 + 90059738976331995648295368737311168646435240275\ 5163517073943/95160296094167971303031024719997837539957705105901654\ 89193*c_1010_5^2 - 123487162805950404127537636224782660604672525749\ 520238148375/951602960941679713030310247199978375399577051059016548\ 9193*c_1010_5 + 536098751556304204245704699680087030969777125100688\ 0948826/9516029609416797130303102471999783753995770510590165489193, c_1010_5^16 + 2107/313*c_1010_5^15 + 7203/313*c_1010_5^14 + 20110/313*c_1010_5^13 + 49372/313*c_1010_5^12 + 53494/313*c_1010_5^11 + 125979/313*c_1010_5^10 - 178121/626*c_1010_5^9 + 1178619/2504*c_1010_5^8 - 588371/626*c_1010_5^7 + 1744583/2504*c_1010_5^6 - 619913/2504*c_1010_5^5 + 64719/1252*c_1010_5^4 - 20783/2504*c_1010_5^3 + 2559/2504*c_1010_5^2 - 20/313*c_1010_5 + 13/2504 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.940 Total time: 1.149 seconds, Total memory usage: 32.09MB