Magma V2.19-8 Tue Aug 20 2013 23:45:45 on localhost [Seed = 1225731234] Type ? for help. Type -D to quit. Loading file "K13n588__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n588 geometric_solution 10.75931239 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.642801756855 0.925523192648 0 4 6 5 0132 0132 0132 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 1 -1 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.562271720892 0.413912743783 7 0 8 0 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.642801756855 0.925523192648 9 10 10 0 0132 0132 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.361718633004 0.475144681103 9 1 6 11 3201 0132 0321 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 -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 1.364604151186 1.205382577588 9 11 1 11 2103 1302 0132 1230 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 1 -12 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.294943799628 1.109559564836 8 7 4 1 0321 0321 0321 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 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.456656082847 1.160937282812 2 11 9 6 0132 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649438312825 0.206011580304 6 10 10 2 0321 3201 0132 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 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.361718633004 0.475144681103 3 7 5 4 0132 0213 2103 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0.351869368622 0.597592770107 3 3 8 8 2310 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985654080608 1.332419799320 5 7 4 5 3012 0132 0132 2031 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 12 0 -1 -11 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.776238065469 0.841777976071 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_0110_11'], 'c_1001_4' : d['c_0110_11'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0011_5'], 'c_1010_10' : negation(d['c_0101_10']), '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_0101_11'], 'c_0101_10' : d['c_0101_10'], '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0011_8'], 'c_1100_5' : d['c_0110_11'], 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : d['c_0110_11'], 'c_1100_1' : d['c_0110_11'], 'c_1100_0' : negation(d['c_0011_10']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_8'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_0'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : d['c_0011_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_11'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : negation(d['c_1001_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0101_3']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_8'])})} 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_5, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_3, c_0110_11, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 445873371475550881303386657941971/887639386191531788921885791504*c_\ 1001_1^21 + 20550074842360490183907391794952235/7101115089532254311\ 375086332032*c_1001_1^20 - 29250402665753745227628126712724253/3550\ 557544766127155687543166016*c_1001_1^19 - 171433057138172373980802579164598005/177527877238306357784377158300\ 8*c_1001_1^18 - 764781148881245182201467618707517889/35505575447661\ 27155687543166016*c_1001_1^17 + 87145935633263004717520175201487101\ 9/7101115089532254311375086332032*c_1001_1^16 + 6459857794331947335506551831758240905/71011150895322543113750863320\ 32*c_1001_1^15 + 525872159327479388627996242331058529/3550557544766\ 127155687543166016*c_1001_1^14 - 7688602312967650243720155209241962\ 233/3550557544766127155687543166016*c_1001_1^13 - 3396802660764407560355946438395626465/71011150895322543113750863320\ 32*c_1001_1^12 + 13181069881538086523338402601577302253/35505575447\ 66127155687543166016*c_1001_1^11 + 3890862490858005976736734844666351573/71011150895322543113750863320\ 32*c_1001_1^10 - 15917068137023237994913240470977964641/35505575447\ 66127155687543166016*c_1001_1^9 - 143282275708699180943894511282477\ 0493/3550557544766127155687543166016*c_1001_1^8 + 25488556957313697072845227221404072001/7101115089532254311375086332\ 032*c_1001_1^7 + 1622881663405222134534147133572504999/710111508953\ 2254311375086332032*c_1001_1^6 - 9824090610682152743619008713261141\ 4/55477461636970736807617861969*c_1001_1^5 - 246489926704159051489525092540905929/355055754476612715568754316601\ 6*c_1001_1^4 + 89849453802653236738019861654223699/1868714497245330\ 08194081219264*c_1001_1^3 - 4261579879238957996036170853055557/3550\ 557544766127155687543166016*c_1001_1^2 - 203520476161186284811391690064502183/355055754476612715568754316601\ 6*c_1001_1 + 11786254243005310036443910545926927/710111508953225431\ 1375086332032, c_0011_0 - 1, c_0011_10 - 16103344055172938206861706669/46717862431133252048520304816\ *c_1001_1^21 - 119097609596743995354406931005/467178624311332520485\ 20304816*c_1001_1^20 + 45182340826123666594939844729/23358931215566\ 626024260152408*c_1001_1^19 + 1688830655967350503869280185159/23358\ 931215566626024260152408*c_1001_1^18 + 12177513190521257683891129865465/46717862431133252048520304816*c_10\ 01_1^17 + 5916155934190774832725882348161/2335893121556662602426015\ 2408*c_1001_1^16 - 21581209815952105515592331942119/467178624311332\ 52048520304816*c_1001_1^15 - 2750346989350231151447905003928/291986\ 6401945828253032519051*c_1001_1^14 + 28924808655448971551599981076629/46717862431133252048520304816*c_10\ 01_1^13 + 88738158274221470638535191342199/467178624311332520485203\ 04816*c_1001_1^12 - 35683793935737089257264134896125/46717862431133\ 252048520304816*c_1001_1^11 - 129394220544727576290570204132495/467\ 17862431133252048520304816*c_1001_1^10 + 6981849913667629457344330855117/11679465607783313012130076204*c_100\ 1_1^9 + 130430345342420161673475410506991/4671786243113325204852030\ 4816*c_1001_1^8 - 1819110400486879294128082784935/23358931215566626\ 024260152408*c_1001_1^7 - 79971882044953952845741753456215/46717862\ 431133252048520304816*c_1001_1^6 - 4659478783627406655431114429279/23358931215566626024260152408*c_100\ 1_1^5 + 3128616733997627748568488442017/583973280389165650606503810\ 2*c_1001_1^4 + 252894444900320519267705336005/291986640194582825303\ 2519051*c_1001_1^3 - 441241351021694503834536252749/583973280389165\ 6506065038102*c_1001_1^2 - 650265000190712682331529691047/467178624\ 31133252048520304816*c_1001_1 - 16122342941153467922230196435/46717\ 862431133252048520304816, c_0011_5 - 33808015679753899796571289539/46717862431133252048520304816*\ c_1001_1^21 - 253358729434972892695722500139/4671786243113325204852\ 0304816*c_1001_1^20 + 84390519474029443614289315065/233589312155666\ 26024260152408*c_1001_1^19 + 3566321515072727388630708528555/233589\ 31215566626024260152408*c_1001_1^18 + 26216882301017732906311525391891/46717862431133252048520304816*c_10\ 01_1^17 + 13320817042819835531719820940321/233589312155666260242601\ 52408*c_1001_1^16 - 44824721641938853236451960232793/46717862431133\ 252048520304816*c_1001_1^15 - 24330932696474471313384681867003/1167\ 9465607783313012130076204*c_1001_1^14 + 57086018410640635795588556417615/46717862431133252048520304816*c_10\ 01_1^13 + 196099484587012221693941886183317/46717862431133252048520\ 304816*c_1001_1^12 - 67705923616987870087510429911779/4671786243113\ 3252048520304816*c_1001_1^11 - 286945587567720633166579861370001/46\ 717862431133252048520304816*c_1001_1^10 + 3079000833560066431045836123375/2919866401945828253032519051*c_1001\ _1^9 + 289871248668445027733163054834165/46717862431133252048520304\ 816*c_1001_1^8 + 364380119335915426719978335021/2335893121556662602\ 4260152408*c_1001_1^7 - 177895991553803219632784057726073/467178624\ 31133252048520304816*c_1001_1^6 - 12036626375758397250952412846931/\ 23358931215566626024260152408*c_1001_1^5 + 13962621679498137856988384223739/11679465607783313012130076204*c_10\ 01_1^4 + 2398620579588678018686137025321/11679465607783313012130076\ 204*c_1001_1^3 - 2013975626387152560177994628141/116794656077833130\ 12130076204*c_1001_1^2 - 1471446862655709517181536058005/4671786243\ 1133252048520304816*c_1001_1 + 26241663497274972529798879007/467178\ 62431133252048520304816, c_0011_6 + 39710813971451299982864712069/23358931215566626024260152408*\ c_1001_1^21 + 261923448708242269818159271801/2335893121556662602426\ 0152408*c_1001_1^20 - 211790355143416455891528542413/11679465607783\ 313012130076204*c_1001_1^19 - 3967137340896735850768753122049/11679\ 465607783313012130076204*c_1001_1^18 - 23788449756478193879919762851673/23358931215566626024260152408*c_10\ 01_1^17 - 5941535390418282481748743160873/1167946560778331301213007\ 6204*c_1001_1^16 + 57837239011136559067574833207307/233589312155666\ 26024260152408*c_1001_1^15 + 7588418222010452761245948937039/291986\ 6401945828253032519051*c_1001_1^14 - 106703766108827116832214708169633/23358931215566626024260152408*c_1\ 001_1^13 - 122933252845303637691741618137403/2335893121556662602426\ 0152408*c_1001_1^12 + 160267000637840577128542030717257/23358931215\ 566626024260152408*c_1001_1^11 + 169465195280724418636004915752735/\ 23358931215566626024260152408*c_1001_1^10 - 20466493034041838260057240605349/2919866401945828253032519051*c_100\ 1_1^9 - 162103561946554856253641079692815/2335893121556662602426015\ 2408*c_1001_1^8 + 47564707980644360037719285701275/1167946560778331\ 3012130076204*c_1001_1^7 + 95145411342332415674624229714459/2335893\ 1215566626024260152408*c_1001_1^6 - 12582148645063477140999909945609/11679465607783313012130076204*c_10\ 01_1^5 - 6848783382603946433163864640377/58397328038916565060650381\ 02*c_1001_1^4 + 295393566294882650911988404655/29198664019458282530\ 32519051*c_1001_1^3 + 881527684317283520300301256025/58397328038916\ 56506065038102*c_1001_1^2 + 347861878863043753869913291959/23358931\ 215566626024260152408*c_1001_1 - 25828739446580906326853501221/2335\ 8931215566626024260152408, c_0011_8 + 16103344055172938206861706669/46717862431133252048520304816*\ c_1001_1^21 + 119097609596743995354406931005/4671786243113325204852\ 0304816*c_1001_1^20 - 45182340826123666594939844729/233589312155666\ 26024260152408*c_1001_1^19 - 1688830655967350503869280185159/233589\ 31215566626024260152408*c_1001_1^18 - 12177513190521257683891129865465/46717862431133252048520304816*c_10\ 01_1^17 - 5916155934190774832725882348161/2335893121556662602426015\ 2408*c_1001_1^16 + 21581209815952105515592331942119/467178624311332\ 52048520304816*c_1001_1^15 + 2750346989350231151447905003928/291986\ 6401945828253032519051*c_1001_1^14 - 28924808655448971551599981076629/46717862431133252048520304816*c_10\ 01_1^13 - 88738158274221470638535191342199/467178624311332520485203\ 04816*c_1001_1^12 + 35683793935737089257264134896125/46717862431133\ 252048520304816*c_1001_1^11 + 129394220544727576290570204132495/467\ 17862431133252048520304816*c_1001_1^10 - 6981849913667629457344330855117/11679465607783313012130076204*c_100\ 1_1^9 - 130430345342420161673475410506991/4671786243113325204852030\ 4816*c_1001_1^8 + 1819110400486879294128082784935/23358931215566626\ 024260152408*c_1001_1^7 + 79971882044953952845741753456215/46717862\ 431133252048520304816*c_1001_1^6 + 4659478783627406655431114429279/23358931215566626024260152408*c_100\ 1_1^5 - 3128616733997627748568488442017/583973280389165650606503810\ 2*c_1001_1^4 - 252894444900320519267705336005/291986640194582825303\ 2519051*c_1001_1^3 + 441241351021694503834536252749/583973280389165\ 6506065038102*c_1001_1^2 + 650265000190712682331529691047/467178624\ 31133252048520304816*c_1001_1 + 16122342941153467922230196435/46717\ 862431133252048520304816, c_0101_0 - 39710813971451299982864712069/23358931215566626024260152408*\ c_1001_1^21 - 261923448708242269818159271801/2335893121556662602426\ 0152408*c_1001_1^20 + 211790355143416455891528542413/11679465607783\ 313012130076204*c_1001_1^19 + 3967137340896735850768753122049/11679\ 465607783313012130076204*c_1001_1^18 + 23788449756478193879919762851673/23358931215566626024260152408*c_10\ 01_1^17 + 5941535390418282481748743160873/1167946560778331301213007\ 6204*c_1001_1^16 - 57837239011136559067574833207307/233589312155666\ 26024260152408*c_1001_1^15 - 7588418222010452761245948937039/291986\ 6401945828253032519051*c_1001_1^14 + 106703766108827116832214708169633/23358931215566626024260152408*c_1\ 001_1^13 + 122933252845303637691741618137403/2335893121556662602426\ 0152408*c_1001_1^12 - 160267000637840577128542030717257/23358931215\ 566626024260152408*c_1001_1^11 - 169465195280724418636004915752735/\ 23358931215566626024260152408*c_1001_1^10 + 20466493034041838260057240605349/2919866401945828253032519051*c_100\ 1_1^9 + 162103561946554856253641079692815/2335893121556662602426015\ 2408*c_1001_1^8 - 47564707980644360037719285701275/1167946560778331\ 3012130076204*c_1001_1^7 - 95145411342332415674624229714459/2335893\ 1215566626024260152408*c_1001_1^6 + 12582148645063477140999909945609/11679465607783313012130076204*c_10\ 01_1^5 + 6848783382603946433163864640377/58397328038916565060650381\ 02*c_1001_1^4 - 295393566294882650911988404655/29198664019458282530\ 32519051*c_1001_1^3 - 881527684317283520300301256025/58397328038916\ 56506065038102*c_1001_1^2 - 347861878863043753869913291959/23358931\ 215566626024260152408*c_1001_1 + 25828739446580906326853501221/2335\ 8931215566626024260152408, c_0101_10 + 11679391402133770222269606617/23358931215566626024260152408\ *c_1001_1^21 + 15175212408852248119077750585/5839732803891656506065\ 038102*c_1001_1^20 - 28459925661348370990158191839/2919866401945828\ 253032519051*c_1001_1^19 - 1065374524158526588255253383539/11679465\ 607783313012130076204*c_1001_1^18 - 3794018796581442944641791423691/23358931215566626024260152408*c_100\ 1_1^17 + 5393249684939230759641770432573/23358931215566626024260152\ 408*c_1001_1^16 + 4874197280934651804766726604703/58397328038916565\ 06065038102*c_1001_1^15 - 3201644547230361002901178467057/116794656\ 07783313012130076204*c_1001_1^14 - 49662124066609529308818556314719/23358931215566626024260152408*c_10\ 01_1^13 + 1500104882403009825266952386396/2919866401945828253032519\ 051*c_1001_1^12 + 84260268250784037470867414703459/2335893121556662\ 6024260152408*c_1001_1^11 - 3056098824311514634338533777441/2919866\ 401945828253032519051*c_1001_1^10 - 48668945245536709124969800973381/11679465607783313012130076204*c_10\ 01_1^9 + 30340027297447861260980447671287/2335893121556662602426015\ 2408*c_1001_1^8 + 73669305133778002346970974874947/2335893121556662\ 6024260152408*c_1001_1^7 - 10463704030346651278331491977435/1167946\ 5607783313012130076204*c_1001_1^6 - 16895350567625932146139776186751/11679465607783313012130076204*c_10\ 01_1^5 + 3951275497166373816477988104481/11679465607783313012130076\ 204*c_1001_1^4 + 3978717381273479152862155209435/116794656077833130\ 12130076204*c_1001_1^3 - 691581975037562216355094885447/11679465607\ 783313012130076204*c_1001_1^2 - 742075959472504794155617018055/2335\ 8931215566626024260152408*c_1001_1 - 3110638628556165051881804823/11679465607783313012130076204, c_0101_11 + 30595519489979784126290108381/46717862431133252048520304816\ *c_1001_1^21 + 199676460995051642964602356955/467178624311332520485\ 20304816*c_1001_1^20 - 169917591376476383269972347355/2335893121556\ 6626024260152408*c_1001_1^19 - 3043543250844142510971370466067/2335\ 8931215566626024260152408*c_1001_1^18 - 17910533069675098467726361851293/46717862431133252048520304816*c_10\ 01_1^17 - 1996481755098506814647346254317/1167946560778331301213007\ 6204*c_1001_1^16 + 44922376785530949888816386350433/467178624311332\ 52048520304816*c_1001_1^15 + 10910144842056882467661875021205/11679\ 465607783313012130076204*c_1001_1^14 - 84648607625761293827883425679257/46717862431133252048520304816*c_10\ 01_1^13 - 88524880621929591029613112202817/467178624311332520485203\ 04816*c_1001_1^12 + 128367648026675077521619417729377/4671786243113\ 3252048520304816*c_1001_1^11 + 120984102273800727401360957062353/46\ 717862431133252048520304816*c_1001_1^10 - 16574401605996164397856499241751/5839732803891656506065038102*c_100\ 1_1^9 - 114910461564683044100420101547651/4671786243113325204852030\ 4816*c_1001_1^8 + 9897444835428917421967265251405/58397328038916565\ 06065038102*c_1001_1^7 + 67123923742681810650308140460445/467178624\ 31133252048520304816*c_1001_1^6 - 11368638441454091233107070189401/\ 23358931215566626024260152408*c_1001_1^5 - 4783718889606596481646892983943/11679465607783313012130076204*c_100\ 1_1^4 + 687949456230155499530877718453/1167946560778331301213007620\ 4*c_1001_1^3 + 609984753367646481622554400173/116794656077833130121\ 30076204*c_1001_1^2 + 119354968236973676454028079755/46717862431133\ 252048520304816*c_1001_1 - 22836428588842568446852693335/4671786243\ 1133252048520304816, c_0101_3 + 1, c_0110_11 + 28821050304319244206854309107/46717862431133252048520304816\ *c_1001_1^21 + 221752410278838281080565170399/467178624311332520485\ 20304816*c_1001_1^20 - 54072659071677883215549224979/23358931215566\ 626024260152408*c_1001_1^19 - 3078126048733642460784807029957/23358\ 931215566626024260152408*c_1001_1^18 - 23471461756450299379388068381887/46717862431133252048520304816*c_10\ 01_1^17 - 12858941275794776417887061752197/233589312155666260242601\ 52408*c_1001_1^16 + 37682833773233095335309155767261/46717862431133\ 252048520304816*c_1001_1^15 + 11441509813269542914934404616291/5839\ 732803891656506065038102*c_1001_1^14 - 43418404345722707580534686887131/46717862431133252048520304816*c_10\ 01_1^13 - 184902330584706827551498184800445/46717862431133252048520\ 304816*c_1001_1^12 + 47172547890771672537968053351283/4671786243113\ 3252048520304816*c_1001_1^11 + 272519441497448129584174457495453/46\ 717862431133252048520304816*c_1001_1^10 - 7212091367059394568161143610031/11679465607783313012130076204*c_100\ 1_1^9 - 276806921711879708258150656542777/4671786243113325204852030\ 4816*c_1001_1^8 - 5921823346767763172851593072961/23358931215566626\ 024260152408*c_1001_1^7 + 170882952620608532504361712190885/4671786\ 2431133252048520304816*c_1001_1^6 + 13207316535191658948265201648137/23358931215566626024260152408*c_10\ 01_1^5 - 6799361810045327901270000859143/58397328038916565060650381\ 02*c_1001_1^4 - 1185734728260413974862454064761/5839732803891656506\ 065038102*c_1001_1^3 + 1010570237539147523540177141419/583973280389\ 1656506065038102*c_1001_1^2 + 1355503776679607640537655518417/46717\ 862431133252048520304816*c_1001_1 - 104412179637042793313516601007/46717862431133252048520304816, c_1001_0 - 757426164768101949914640779/23358931215566626024260152408*c_\ 1001_1^21 + 6949229417575906208671737105/23358931215566626024260152\ 408*c_1001_1^20 + 20472530590749252818933944767/5839732803891656506\ 065038102*c_1001_1^19 - 799738457518817118118679310/291986640194582\ 8253032519051*c_1001_1^18 - 1865080442512921095321038766735/2335893\ 1215566626024260152408*c_1001_1^17 - 1492957894311301851532419748667/5839732803891656506065038102*c_1001\ _1^16 - 2171495792692093982729694266345/233589312155666260242601524\ 08*c_1001_1^15 + 8281401588633559762630577681859/116794656077833130\ 12130076204*c_1001_1^14 + 13139745458999288518390894185337/23358931\ 215566626024260152408*c_1001_1^13 - 33696065532545233694825815876005/23358931215566626024260152408*c_10\ 01_1^12 - 25331457644261510791785224814747/233589312155666260242601\ 52408*c_1001_1^11 + 52585813056010373089670876150319/23358931215566\ 626024260152408*c_1001_1^10 + 15744419985358547857730186126341/1167\ 9465607783313012130076204*c_1001_1^9 - 55331219383689646896780189804281/23358931215566626024260152408*c_10\ 01_1^8 - 3423408867944231095319846118214/29198664019458282530325190\ 51*c_1001_1^7 + 34721389431961299876939405617207/233589312155666260\ 24260152408*c_1001_1^6 + 1872837440867144096377210537189/2919866401\ 945828253032519051*c_1001_1^5 - 5661411499324152077575042286741/116\ 79465607783313012130076204*c_1001_1^4 - 1916967654263235271259023560293/11679465607783313012130076204*c_100\ 1_1^3 + 798661140966507512788410357147/1167946560778331301213007620\ 4*c_1001_1^2 + 403748531337650004670719547677/233589312155666260242\ 60152408*c_1001_1 + 16198685440370394015934675917/23358931215566626\ 024260152408, c_1001_1^22 + 6*c_1001_1^21 - 15*c_1001_1^20 - 196*c_1001_1^19 - 475*c_1001_1^18 + 137*c_1001_1^17 + 1855*c_1001_1^16 + 721*c_1001_1^15 - 4205*c_1001_1^14 - 1948*c_1001_1^13 + 7096*c_1001_1^12 + 2788*c_1001_1^11 - 8563*c_1001_1^10 - 2843*c_1001_1^9 + 6851*c_1001_1^8 + 2075*c_1001_1^7 - 3357*c_1001_1^6 - 930*c_1001_1^5 + 908*c_1001_1^4 + 212*c_1001_1^3 - 113*c_1001_1^2 - 22*c_1001_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.410 Total time: 1.610 seconds, Total memory usage: 32.09MB