Magma V2.19-8 Tue Aug 20 2013 23:55:22 on localhost [Seed = 21457240] Type ? for help. Type -D to quit. Loading file "L14a16631__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a16631 geometric_solution 9.79495448 oriented_manifold CS_known -0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384976966188 0.203443932579 0 5 7 6 0132 0132 0132 0132 0 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 3 -3 1 0 0 -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.859858733902 0.558315241504 8 0 3 8 0132 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816861478227 1.356931484590 4 2 5 0 3120 1230 2103 0132 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 -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.758513506468 0.303503543336 7 9 0 3 0132 0132 0132 3120 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 -1 1 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.210919338259 1.069689695324 3 1 10 10 2103 0132 0132 3120 0 1 0 0 0 0 -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 4 -4 -1 0 -3 4 -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.740752480471 0.763051265778 7 9 1 10 2103 0321 0132 0132 0 1 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 1 -1 -3 -1 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404446053508 0.980793682267 4 11 6 1 0132 0132 2103 0132 0 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.765731225586 0.369132544639 2 8 8 2 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.877175271773 0.308335112477 11 4 10 6 2310 0132 0213 0321 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 -4 3 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.233349755824 0.896951993442 5 9 6 5 3120 0213 0132 0132 0 1 0 0 0 -1 0 1 1 0 0 -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 4 0 -4 -4 0 1 3 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399176103869 1.174907408485 11 7 9 11 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.805866928082 0.927433958274 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : negation(d['c_0011_0']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : negation(d['c_0101_10']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0101_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : 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' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_11'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_8, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1179838129629357050483068076843236137598162018128041039870889779889\ 591087634/616307129958606918806189538766411042222824363381556513201\ 537902852915875*c_1001_5^20 + 2060924767397099943262970825513435242\ 6192596606265684403844987068621376311747/18489213898758207564185686\ 16299233126668473090144669539604613708558747625*c_1001_5^19 + 7933263449143231174590308999032680396400215178815828406749306747663\ 054494797/739568555950328302567427446519693250667389236057867815841\ 84548342349905*c_1001_5^18 + 37495713492730289798617521385811737312\ 9699958522435607742909768185975457833217/18489213898758207564185686\ 16299233126668473090144669539604613708558747625*c_1001_5^17 - 2684425973803640074630668435479299285621625633293806780709822536487\ 315687319241/616307129958606918806189538766411042222824363381556513\ 201537902852915875*c_1001_5^16 + 1026146926088225598003001482406984\ 0533746607970410036106332147271152960831939839/61630712995860691880\ 6189538766411042222824363381556513201537902852915875*c_1001_5^15 + 1452198656564801822131205321003668747792198502677547573271704447291\ 2895631825031/61630712995860691880618953876641104222282436338155651\ 3201537902852915875*c_1001_5^14 + 635986721862135777829215523684725\ 10411996540579478974031946346483139588543724619/1848921389875820756\ 418568616299233126668473090144669539604613708558747625*c_1001_5^13 + 6544220428971397558955053814276216600075053339362830473362309280573\ 2868888939/94816481532093372124029159810217083418896055904854848184\ 85198505429475*c_1001_5^12 + 67880379105818772953773043249631644187\ 774431150034364701839194346996435069072771/184892138987582075641856\ 8616299233126668473090144669539604613708558747625*c_1001_5^11 + 1306559809555232502328610341049638335526717105846934115906249179155\ 79328646568663/1848921389875820756418568616299233126668473090144669\ 539604613708558747625*c_1001_5^10 + 6514369289084380996199449815182924617121369532591691195114913277417\ 954295415364/474082407660466860620145799051085417094480279524274240\ 92425992527147375*c_1001_5^9 + 756510670136553268583774807878483073\ 41250472176020818021819900408612781365591571/1848921389875820756418\ 568616299233126668473090144669539604613708558747625*c_1001_5^8 + 4058061839676487944109779402914492908057500280530599104396411888900\ 4703929345752/18489213898758207564185686162992331266684730901446695\ 39604613708558747625*c_1001_5^7 - 838323267516843727932653483320336\ 228978494222366592839347901585166740347750162/184892138987582075641\ 8568616299233126668473090144669539604613708558747625*c_1001_5^6 + 6107509034764425753434011675278461922880495369590883985087442078713\ 861136923632/616307129958606918806189538766411042222824363381556513\ 201537902852915875*c_1001_5^5 - 12143130952023121503337653681498539\ 717558864038667949108476327740212556299524638/184892138987582075641\ 8568616299233126668473090144669539604613708558747625*c_1001_5^4 + 3834671386384288249011338309395339136013620435125477270958384684161\ 83755409004/6163071299586069188061895387664110422228243633815565132\ 01537902852915875*c_1001_5^3 + 852996217236651708763937081767844193\ 80247369556927926692574507016216980361714/1848921389875820756418568\ 616299233126668473090144669539604613708558747625*c_1001_5^2 - 9715518218755037407097647309190703481838738418507353744020340879316\ 8833485682/18489213898758207564185686162992331266684730901446695396\ 04613708558747625*c_1001_5 - 10200346012043492280225136331693955898\ 3568667341028767998239964940799905305163/18489213898758207564185686\ 16299233126668473090144669539604613708558747625, c_0011_0 - 1, c_0011_10 - 218933150943052483785494511791544862929729084438436838732/1\ 12896285904521575804314573494741199324405900653787208338329*c_1001_\ 5^20 + 1388689155334876420948767464091228091397195788558685334617/1\ 12896285904521575804314573494741199324405900653787208338329*c_1001_\ 5^19 + 3873698464337092964065503581598592557664890856449530961391/3\ 7632095301507191934771524498247066441468633551262402779443*c_1001_5\ ^18 + 5565274986982311232660829944683797637536407627116650677698/37\ 632095301507191934771524498247066441468633551262402779443*c_1001_5^\ 17 - 511056274638936598879573410785920330468499900315318458995331/1\ 12896285904521575804314573494741199324405900653787208338329*c_1001_\ 5^16 + 216243241141204925568287521576061282989844946789041968040120\ 6/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5^15 + 174417294398529688801594011418036468014396390395249167045\ 9453/112896285904521575804314573494741199324405900653787208338329*c\ _1001_5^14 + 235189128393924353812322517088495849265540267231045684\ 5234964/11289628590452157580431457349474119932440590065378720833832\ 9*c_1001_5^13 - 134439238484680205191706455514507916022998701909668\ 0749189184/11289628590452157580431457349474119932440590065378720833\ 8329*c_1001_5^12 + 369086750199605499578018975255536016454286330050\ 1636462420475/11289628590452157580431457349474119932440590065378720\ 8338329*c_1001_5^11 + 630028869916845431150416165349272924440275169\ 9291774721227434/11289628590452157580431457349474119932440590065378\ 7208338329*c_1001_5^10 + 114136098591567918204376905994870483015641\ 26972106558504478166/1128962859045215758043145734947411993244059006\ 53787208338329*c_1001_5^9 - 368256160225304259088796236590133537510\ 8081611170861327595893/11289628590452157580431457349474119932440590\ 0653787208338329*c_1001_5^8 - 5701257830201197941911921988680097846\ 03311824848075060904424/1128962859045215758043145734947411993244059\ 00653787208338329*c_1001_5^7 - 258425542625561948736746022706185011\ 347075767460118613557741/112896285904521575804314573494741199324405\ 900653787208338329*c_1001_5^6 + 19648364008511023247880233265685494\ 80399014827608448928063381/1128962859045215758043145734947411993244\ 05900653787208338329*c_1001_5^5 - 158375503656607772820659665285815\ 370448920954333292929603781/376320953015071919347715244982470664414\ 68633551262402779443*c_1001_5^4 + 510644903038580510920523000059995\ 63356262532800258138895693/3763209530150719193477152449824706644146\ 8633551262402779443*c_1001_5^3 + 2417695368500017515262528513994336\ 1074553943959568915254389/11289628590452157580431457349474119932440\ 5900653787208338329*c_1001_5^2 - 1027221009826353066834658431819405\ 30255198077907738632503714/1128962859045215758043145734947411993244\ 05900653787208338329*c_1001_5 - 24758653005036120801355341634788272\ 23083923012879582501072/1128962859045215758043145734947411993244059\ 00653787208338329, c_0011_11 + 569384804107500975852230725884478185250355026153504341402/3\ 7632095301507191934771524498247066441468633551262402779443*c_1001_5\ ^20 - 9768272902770582941721159044467429575873424566261757297514/11\ 2896285904521575804314573494741199324405900653787208338329*c_1001_5\ ^19 - 96823823765483225368302728254119153785376603735802702011110/1\ 12896285904521575804314573494741199324405900653787208338329*c_1001_\ 5^18 - 190496824993472773214475169673271593280902941843337535637981\ /112896285904521575804314573494741199324405900653787208338329*c_100\ 1_5^17 + 3872050296857528233574416593788756292871564423275976698622\ 582/112896285904521575804314573494741199324405900653787208338329*c_\ 1001_5^16 - 1444267735050139106990208901056788825232813573688923483\ 9870116/11289628590452157580431457349474119932440590065378720833832\ 9*c_1001_5^15 - 227386592526173528470808322533040500876271995817149\ 51783019851/1128962859045215758043145734947411993244059006537872083\ 38329*c_1001_5^14 - 10762383675089794080731535070372088892084473730\ 398161790183353/376320953015071919347715244982470664414686335512624\ 02779443*c_1001_5^13 - 81661276290809435487462794092303179929971644\ 71524368021012322/1128962859045215758043145734947411993244059006537\ 87208338329*c_1001_5^12 - 10591930807009086691359422407618967844385\ 081251315782838507055/376320953015071919347715244982470664414686335\ 51262402779443*c_1001_5^11 - 65577008175467559288172811710431921339\ 352424639442489062907025/112896285904521575804314573494741199324405\ 900653787208338329*c_1001_5^10 - 4254252749572413265159509867648893\ 4857721510223719649543598298/37632095301507191934771524498247066441\ 468633551262402779443*c_1001_5^9 - 45776664102489068690557172781436349239223079428807135856011761/1128\ 96285904521575804314573494741199324405900653787208338329*c_1001_5^8 - 5694868059723316744965321929236088926163341622330103131696987/376\ 32095301507191934771524498247066441468633551262402779443*c_1001_5^7 + 2170644729759384424848920988683860012455221311322841456468817/112\ 896285904521575804314573494741199324405900653787208338329*c_1001_5^\ 6 - 2434180328891243406085677244689785356384145604912872732980641/3\ 7632095301507191934771524498247066441468633551262402779443*c_1001_5\ ^5 + 5902658231612360135921209823659773263390495960867893029799612/\ 112896285904521575804314573494741199324405900653787208338329*c_1001\ _5^4 + 139259197565795516162634984027212217684591340005206847566696\ /112896285904521575804314573494741199324405900653787208338329*c_100\ 1_5^3 + 10705233425265192822894616093017467047307735247210382260844\ 6/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5^2 - 2571207638780105744871944590080220994128428668702633132673\ 8/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5 + 1550256826289919581470467778999721899089218142188903541334/1\ 12896285904521575804314573494741199324405900653787208338329, c_0011_3 - 342852395423131300072936718453467392599225198165065451116/11\ 2896285904521575804314573494741199324405900653787208338329*c_1001_5\ ^20 + 1933457280260139929257151101233727232753547873625549307239/11\ 2896285904521575804314573494741199324405900653787208338329*c_1001_5\ ^19 + 6564991526493191167542506398195531201066682584931616115434/37\ 632095301507191934771524498247066441468633551262402779443*c_1001_5^\ 18 + 13055266515150016163035694212252098815391610737395304907691/37\ 632095301507191934771524498247066441468633551262402779443*c_1001_5^\ 17 - 780061934709200111657166146283855814628557465259122212368747/1\ 12896285904521575804314573494741199324405900653787208338329*c_1001_\ 5^16 + 282571494819204010294287690824893496885790691293167127764800\ 9/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5^15 + 503244218847224212111699486964397419183381758296677203507\ 3280/112896285904521575804314573494741199324405900653787208338329*c\ _1001_5^14 + 593211042673901835168677509447465341845736162975168178\ 2002953/11289628590452157580431457349474119932440590065378720833832\ 9*c_1001_5^13 + 870079192287109262429950847108648295557305620081092\ 305593346/112896285904521575804314573494741199324405900653787208338\ 329*c_1001_5^12 + 4346147076135044756102037925410644545888617714910\ 580561932711/112896285904521575804314573494741199324405900653787208\ 338329*c_1001_5^11 + 1309501875527508812058101767769014392324254084\ 8488126521382670/11289628590452157580431457349474119932440590065378\ 7208338329*c_1001_5^10 + 245320808845850201695010029561781491105985\ 16017209189160157523/1128962859045215758043145734947411993244059006\ 53787208338329*c_1001_5^9 + 752390598948803957809187203591885109061\ 7465384565686807880845/11289628590452157580431457349474119932440590\ 0653787208338329*c_1001_5^8 - 3789849324532596015051429319622696071\ 193835305573651586940738/112896285904521575804314573494741199324405\ 900653787208338329*c_1001_5^7 - 31714216945556397825229260601351044\ 34906497955101062702879056/1128962859045215758043145734947411993244\ 05900653787208338329*c_1001_5^6 - 566321173214864490452296976569817\ 647407937091312199684815068/112896285904521575804314573494741199324\ 405900653787208338329*c_1001_5^5 - 51429300264075353681578278787497679857603554654744428676826/3763209\ 5301507191934771524498247066441468633551262402779443*c_1001_5^4 - 43852179041194051608754194250446638588389597889809341198412/3763209\ 5301507191934771524498247066441468633551262402779443*c_1001_5^3 + 402119262200788627371960854928901681983047863610487999520564/112896\ 285904521575804314573494741199324405900653787208338329*c_1001_5^2 - 3692046509859547754178699617205154175497796755063148204783/11289628\ 5904521575804314573494741199324405900653787208338329*c_1001_5 + 2673748274489208503349505655288807077093501674118695585566/11289628\ 5904521575804314573494741199324405900653787208338329, c_0011_6 + 160894229333730770670404760327915492916943710751190428260/11\ 2896285904521575804314573494741199324405900653787208338329*c_1001_5\ ^20 - 494173959315751769136057360521039179336165633953440245776/376\ 32095301507191934771524498247066441468633551262402779443*c_1001_5^1\ 9 - 5883870378186455596824653876344909070672243112501052848464/1128\ 96285904521575804314573494741199324405900653787208338329*c_1001_5^1\ 8 + 13809476521597101171344245005565906377387300030242682971072/112\ 896285904521575804314573494741199324405900653787208338329*c_1001_5^\ 17 + 142135785041635050442233514277007003529609998459719659296740/3\ 7632095301507191934771524498247066441468633551262402779443*c_1001_5\ ^16 - 878911679725445415098394968390617825034709735651353850915862/\ 37632095301507191934771524498247066441468633551262402779443*c_1001_\ 5^15 + 265940172010662076959375528765975428708468472316256635440839\ 6/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5^14 + 424324865930357554270997049240662951112556765895014588218\ 4436/112896285904521575804314573494741199324405900653787208338329*c\ _1001_5^13 + 974054419058184218879394429863168347963768592364173232\ 4605400/11289628590452157580431457349474119932440590065378720833832\ 9*c_1001_5^12 - 515701774848693576139066950993049366290888464016885\ 626422981/112896285904521575804314573494741199324405900653787208338\ 329*c_1001_5^11 + 4054486091660170580811714213892650133169343784342\ 321890967390/112896285904521575804314573494741199324405900653787208\ 338329*c_1001_5^10 + 8925491958436488730817560201896219065265039238\ 479432269088221/112896285904521575804314573494741199324405900653787\ 208338329*c_1001_5^9 + 36876929193097508008292774551100043568304923\ 826439983932464061/112896285904521575804314573494741199324405900653\ 787208338329*c_1001_5^8 + 12517321726149148344187065124687289350794\ 839379794586697176007/112896285904521575804314573494741199324405900\ 653787208338329*c_1001_5^7 + 54961961520937288758790298689065137665\ 26754490866417778603156/1128962859045215758043145734947411993244059\ 00653787208338329*c_1001_5^6 - 257873655722130290068443042702942566\ 3305986739366051616836973/11289628590452157580431457349474119932440\ 5900653787208338329*c_1001_5^5 + 1580050845065229577371726248029722\ 626470634796029548867807906/112896285904521575804314573494741199324\ 405900653787208338329*c_1001_5^4 - 1538258940594520824493662623931642481538714324256103412675275/11289\ 6285904521575804314573494741199324405900653787208338329*c_1001_5^3 - 11307342923291296573089547696798967619104990863167775704408/3763209\ 5301507191934771524498247066441468633551262402779443*c_1001_5^2 + 26863249464032795305210001600591773917571474848291821693323/3763209\ 5301507191934771524498247066441468633551262402779443*c_1001_5 + 5003290093036934954165337505200416217395271132654959675027/11289628\ 5904521575804314573494741199324405900653787208338329, c_0101_0 - 1, c_0101_1 - 652507054894842670046409881664924372851170682053145441204764\ /33078611770024821710664170033959171402050928891559652043130397*c_1\ 001_5^20 + 12610026585446120190954916353938519387792182951582699443\ 02210/1102620392334160723688805667798639046735030963051988401437679\ 9*c_1001_5^19 + 365686619707164730014398256988200164642516065688778\ 77619746708/3307861177002482171066417003395917140205092889155965204\ 3130397*c_1001_5^18 + 705566532619246756413675804868415540181525619\ 79459283474310315/3307861177002482171066417003395917140205092889155\ 9652043130397*c_1001_5^17 - 492652920976047101081810803139932450820\ 935117973362517339640026/110262039233416072368880566779863904673503\ 09630519884014376799*c_1001_5^16 + 1882356860800176569795606313153248040954007087514703305584497288/11\ 026203923341607236888056677986390467350309630519884014376799*c_1001\ _5^15 + 79709090495435868205668927126572320235242029434675700896774\ 91670/3307861177002482171066417003395917140205092889155965204313039\ 7*c_1001_5^14 + 127061534718430476224671584020870679243583196405487\ 86262461414809/3307861177002482171066417003395917140205092889155965\ 2043130397*c_1001_5^13 + 369643411086507507689145652586845214706631\ 9597270270362617241119/33078611770024821710664170033959171402050928\ 891559652043130397*c_1001_5^12 + 1406990965143213620424874478139184\ 1171002895806206752212686727984/33078611770024821710664170033959171\ 402050928891559652043130397*c_1001_5^11 + 24553498854099205082831781892941741601044889733420939689394260055/3\ 3078611770024821710664170033959171402050928891559652043130397*c_100\ 1_5^10 + 4898474257339292497843805839426734309606929024442023382178\ 8579526/33078611770024821710664170033959171402050928891559652043130\ 397*c_1001_5^9 + 18196533916856652785735810998203489417787373710269\ 939919928518601/330786117700248217106641700339591714020509288915596\ 52043130397*c_1001_5^8 + 138724121574334890869205659579429992469986\ 13854676066057165259749/3307861177002482171066417003395917140205092\ 8891559652043130397*c_1001_5^7 + 1349626419145840793627464542314575\ 427803762641380879896663367365/330786117700248217106641700339591714\ 02050928891559652043130397*c_1001_5^6 + 3849960649314516158733605904013852229336040926692782297085706264/33\ 078611770024821710664170033959171402050928891559652043130397*c_1001\ _5^5 - 260026875791146581938324627541202162752458211790494126468525\ 2851/33078611770024821710664170033959171402050928891559652043130397\ *c_1001_5^4 + 38459126627421470812384362320649449207987165887075312\ 4801875648/33078611770024821710664170033959171402050928891559652043\ 130397*c_1001_5^3 - 10723378043670661074392052410393928786666100097\ 7497325350057870/11026203923341607236888056677986390467350309630519\ 884014376799*c_1001_5^2 + 18981270779555504885952094297956300492975\ 79715614368980955794/1102620392334160723688805667798639046735030963\ 0519884014376799*c_1001_5 - 410620058716613525980024488195900966940\ 98896116888184650894580/3307861177002482171066417003395917140205092\ 8891559652043130397, c_0101_10 - 19618176696153434074113427576291306560777982858452480807043\ 0/33078611770024821710664170033959171402050928891559652043130397*c_\ 1001_5^20 + 1087659874013244940225271074227905788216597422002573156\ 527469/330786117700248217106641700339591714020509288915596520431303\ 97*c_1001_5^19 + 11320956942172084032325809495233977082627615565176\ 458833715660/330786117700248217106641700339591714020509288915596520\ 43130397*c_1001_5^18 + 23784297714185233414540728640916216981174693\ 014063626050505080/330786117700248217106641700339591714020509288915\ 59652043130397*c_1001_5^17 - 44113561266664185417727240293300725128\ 3753585613955052136697283/33078611770024821710664170033959171402050\ 928891559652043130397*c_1001_5^16 + 1580915807199230752102419184633845633314447415939405526906965332/33\ 078611770024821710664170033959171402050928891559652043130397*c_1001\ _5^15 + 97093491117712805509430800142980969319160455114119783813346\ 7150/11026203923341607236888056677986390467350309630519884014376799\ *c_1001_5^14 + 4108222758728965298791837301230152126952605040384647\ 405759060871/330786117700248217106641700339591714020509288915596520\ 43130397*c_1001_5^13 + 52443394282749378633874479387110523647066526\ 6296561036569444800/11026203923341607236888056677986390467350309630\ 519884014376799*c_1001_5^12 + 3770064129712766166010228765730511319\ 386070295549068583553022354/330786117700248217106641700339591714020\ 50928891559652043130397*c_1001_5^11 + 2753069793248353923290285949758683968916789227706451931528600012/11\ 026203923341607236888056677986390467350309630519884014376799*c_1001\ _5^10 + 15888052989035570738512005538989954728135971294470762604583\ 750707/330786117700248217106641700339591714020509288915596520431303\ 97*c_1001_5^9 + 258622572413491385523743144593578384039077098662697\ 7821281234692/11026203923341607236888056677986390467350309630519884\ 014376799*c_1001_5^8 + 26676856216616076109550741187156164335242567\ 49053352928000413997/3307861177002482171066417003395917140205092889\ 1559652043130397*c_1001_5^7 + 1231533842946458184838575189444548811\ 57979702624551543702276533/1102620392334160723688805667798639046735\ 0309630519884014376799*c_1001_5^6 + 816444024550052147161713184041644089626326376243729522242860238/330\ 78611770024821710664170033959171402050928891559652043130397*c_1001_\ 5^5 - 3653674048215162633489558718181064315334256183899554932875069\ 55/33078611770024821710664170033959171402050928891559652043130397*c\ _1001_5^4 - 2520203862470245838600840251032771212414837506830455451\ 95078431/3307861177002482171066417003395917140205092889155965204313\ 0397*c_1001_5^3 + 3300594736531182555694354316700295050112333587064\ 4307789751043/33078611770024821710664170033959171402050928891559652\ 043130397*c_1001_5^2 - 55499412142097273375144103711940487110443836\ 574580113385568446/330786117700248217106641700339591714020509288915\ 59652043130397*c_1001_5 - 13293212691739238965705869727413060802064\ 80951013148292945972/1102620392334160723688805667798639046735030963\ 0519884014376799, c_0101_2 - 82429777146888921142682646741224862541657892818331614799/376\ 32095301507191934771524498247066441468633551262402779443*c_1001_5^2\ 0 + 1291485507809590998679780578150418123058082675958789883072/1128\ 96285904521575804314573494741199324405900653787208338329*c_1001_5^1\ 9 + 14653789207630305495256215940718161470944945415024918002963/112\ 896285904521575804314573494741199324405900653787208338329*c_1001_5^\ 18 + 34898613347758241579695865705793322635857476760122535191870/11\ 2896285904521575804314573494741199324405900653787208338329*c_1001_5\ ^17 - 543171867926014205146127589501177448849768509750495976566703/\ 112896285904521575804314573494741199324405900653787208338329*c_1001\ _5^16 + 18202023077284169073785231541836183615561946390593444784907\ 25/112896285904521575804314573494741199324405900653787208338329*c_1\ 001_5^15 + 41820586549517347307770383273340558571865616282478549614\ 50410/112896285904521575804314573494741199324405900653787208338329*\ c_1001_5^14 + 22823051769344056113985719641180020932558943479745162\ 20073669/3763209530150719193477152449824706644146863355126240277944\ 3*c_1001_5^13 + 441132825504424219833588174925029647605721269652464\ 7802524371/11289628590452157580431457349474119932440590065378720833\ 8329*c_1001_5^12 + 213055201985066575036613269884524650521846399133\ 3492696460618/37632095301507191934771524498247066441468633551262402\ 779443*c_1001_5^11 + 1210689005765566956562086165289208949342859010\ 0065879767518605/11289628590452157580431457349474119932440590065378\ 7208338329*c_1001_5^10 + 814267887366147143426694927137046993040627\ 7279634092117567424/37632095301507191934771524498247066441468633551\ 262402779443*c_1001_5^9 + 18473872336152391313430181246047581528010\ 147657049291061839882/112896285904521575804314573494741199324405900\ 653787208338329*c_1001_5^8 + 35629866702302833842245158453148478794\ 03686903822508232177996/3763209530150719193477152449824706644146863\ 3551262402779443*c_1001_5^7 + 2769529434045463692817797286677106730\ 327038635721855449970019/112896285904521575804314573494741199324405\ 900653787208338329*c_1001_5^6 + 50424520792723072766180804256822421\ 6694337699590261451652089/37632095301507191934771524498247066441468\ 633551262402779443*c_1001_5^5 + 10802856664827535574584687934815336\ 1618603797848253427810894/11289628590452157580431457349474119932440\ 5900653787208338329*c_1001_5^4 + 1703002077359496241540904866862524\ 88437871948080986482588224/1128962859045215758043145734947411993244\ 05900653787208338329*c_1001_5^3 - 282922571860903932554459433100741\ 023971765657768980671232687/112896285904521575804314573494741199324\ 405900653787208338329*c_1001_5^2 + 2654233355446895161085839327608907329217433996357299368446/11289628\ 5904521575804314573494741199324405900653787208338329*c_1001_5 + 110093069419604605167931137335025652103553703639190457472175/112896\ 285904521575804314573494741199324405900653787208338329, c_0101_3 - 365583836828780461544110143428159119388964870851193494614147\ /33078611770024821710664170033959171402050928891559652043130397*c_1\ 001_5^20 + 70725831470143957426582619978321845448703510050209551173\ 7383/11026203923341607236888056677986390467350309630519884014376799\ *c_1001_5^19 + 2048879628656528231720452149843302735475031356821354\ 8925215421/33078611770024821710664170033959171402050928891559652043\ 130397*c_1001_5^18 + 3932809954874422314898659957026225847680530705\ 1290729045620337/33078611770024821710664170033959171402050928891559\ 652043130397*c_1001_5^17 - 2763517506462173571458955500792431465164\ 65985755078882100516157/1102620392334160723688805667798639046735030\ 9630519884014376799*c_1001_5^16 + 105586305930927095752355542869738\ 6299654755138263901312440240938/11026203923341607236888056677986390\ 467350309630519884014376799*c_1001_5^15 + 4476740785816965601971889138523201432235490107956307459855480133/33\ 078611770024821710664170033959171402050928891559652043130397*c_1001\ _5^14 + 69766726595856795584606770691791132029756122184561006980353\ 80652/3307861177002482171066417003395917140205092889155965204313039\ 7*c_1001_5^13 + 185837449847312748624228494892739132444887092616818\ 5946316542759/33078611770024821710664170033959171402050928891559652\ 043130397*c_1001_5^12 + 7637870563475171926601618472232792949422696\ 935374012603927894764/330786117700248217106641700339591714020509288\ 91559652043130397*c_1001_5^11 + 13670078866630834128116384739478647\ 639647916061631189846368813901/330786117700248217106641700339591714\ 02050928891559652043130397*c_1001_5^10 + 27135000904279436845402294171733666039004249244825156247368991251/3\ 3078611770024821710664170033959171402050928891559652043130397*c_100\ 1_5^9 + 95340041322265163985149950017086810367130264686184727900178\ 33446/3307861177002482171066417003395917140205092889155965204313039\ 7*c_1001_5^8 + 6776038618295307088760615450725342236184344219252080\ 177703974549/330786117700248217106641700339591714020509288915596520\ 43130397*c_1001_5^7 + 440940002734459788275753247829020544181521232\ 664856783341419917/330786117700248217106641700339591714020509288915\ 59652043130397*c_1001_5^6 + 208722837242424643732128055522851195638\ 3451385398186940345840097/33078611770024821710664170033959171402050\ 928891559652043130397*c_1001_5^5 - 1436904673149812775797115839986937784190091985909901832110233841/33\ 078611770024821710664170033959171402050928891559652043130397*c_1001\ _5^4 + 197613096077691138269059803014112174476610344045700762796040\ 872/33078611770024821710664170033959171402050928891559652043130397*\ c_1001_5^3 - 524146814913095393591318344370826363948638413637849312\ 82237258/1102620392334160723688805667798639046735030963051988401437\ 6799*c_1001_5^2 + 1052538433223355316319728301282516869048040818821\ 571138042782/110262039233416072368880566779863904673503096305198840\ 14376799*c_1001_5 - 37302366060338271526967306834803438240395350331\ 728800883076512/330786117700248217106641700339591714020509288915596\ 52043130397, c_0101_8 - 623457744551431289748609576828212828015502277793636237198/37\ 632095301507191934771524498247066441468633551262402779443*c_1001_5^\ 20 + 10687884261039466752450171925707353204603455976247536452103/11\ 2896285904521575804314573494741199324405900653787208338329*c_1001_5\ ^19 + 106036581650150481103565195536935041133899519464755040425317/\ 112896285904521575804314573494741199324405900653787208338329*c_1001\ _5^18 + 20912702178954239895004542919726998082775093172321603070819\ 3/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5^17 - 423687091227961124208226457016571276608387957666206514140\ 8333/112896285904521575804314573494741199324405900653787208338329*c\ _1001_5^16 + 158040566790440277520465609458101526154782612795601725\ 07741304/1128962859045215758043145734947411993244059006537872083383\ 29*c_1001_5^15 + 24914630087938150013665897620666355554772822151600\ 277693189158/112896285904521575804314573494741199324405900653787208\ 338329*c_1001_5^14 + 1184278579500502120680617011917737528621513241\ 6417780912689093/37632095301507191934771524498247066441468633551262\ 402779443*c_1001_5^13 + 9996109108218416939603628755441026637542582\ 901482269776382580/112896285904521575804314573494741199324405900653\ 787208338329*c_1001_5^12 + 1231883975151512020964692214910416243424\ 0381749820797309433460/37632095301507191934771524498247066441468633\ 551262402779443*c_1001_5^11 + 7466843762785403679795320759504146019\ 0074274849919968376018643/11289628590452157580431457349474119932440\ 5900653787208338329*c_1001_5^10 + 474670672075420020035050586249242\ 15543238611804639267282853715/3763209530150719193477152449824706644\ 1468633551262402779443*c_1001_5^9 + 53901337653493724733863824233623724855400472132397432186738838/1128\ 96285904521575804314573494741199324405900653787208338329*c_1001_5^8 + 8452063625307885182992243468421458653041928707029216459479343/376\ 32095301507191934771524498247066441468633551262402779443*c_1001_5^7 + 7395282569605081365769199617685787743483787968046441769899734/112\ 896285904521575804314573494741199324405900653787208338329*c_1001_5^\ 6 + 5330952579684636533820437728506444752615389249858968040549538/3\ 7632095301507191934771524498247066441468633551262402779443*c_1001_5\ ^5 - 2705304326127181434451555437797996786384294698240871469222217/\ 112896285904521575804314573494741199324405900653787208338329*c_1001\ _5^4 + 612509241191901426916941682865140501371278006042812237380751\ /112896285904521575804314573494741199324405900653787208338329*c_100\ 1_5^3 + 35936842823293953443277746428619446063425524030730197184476\ 6/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5^2 + 6520596057329299364993568534405559199940384105772699866096\ 2/112896285904521575804314573494741199324405900653787208338329*c_10\ 01_5 - 182117122309778955267132514137057789362873115057182336996176\ /112896285904521575804314573494741199324405900653787208338329, c_1001_5^21 - 6*c_1001_5^20 - 55*c_1001_5^19 - 96*c_1001_5^18 + 2294*c_1001_5^17 - 9101*c_1001_5^16 - 10764*c_1001_5^15 - 15792*c_1001_5^14 - 425*c_1001_5^13 - 18548*c_1001_5^12 - 33509*c_1001_5^11 - 65243*c_1001_5^10 - 8663*c_1001_5^9 - 7716*c_1001_5^8 + 2276*c_1001_5^7 - 5218*c_1001_5^6 + 4354*c_1001_5^5 - 936*c_1001_5^4 + 38*c_1001_5^3 + 31*c_1001_5^2 + 24*c_1001_5 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB