Magma V2.19-8 Wed Aug 21 2013 00:54:57 on localhost [Seed = 4240107136] Type ? for help. Type -D to quit. Loading file "L12n795__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n795 geometric_solution 12.06512405 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 0 1 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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.198313179833 1.139211467859 0 5 6 2 0132 0132 0132 0213 1 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 0 1 0 -1 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.319586207396 0.879939809089 7 0 8 1 0132 0132 0132 0213 1 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 -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.834968980643 1.192772933477 9 10 11 0 0132 0132 0132 0132 1 1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.596600240229 0.541381655398 12 6 0 7 0132 0132 0132 0213 1 1 1 1 0 0 1 -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 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.416454604972 0.966795270570 7 1 6 11 1023 0132 3201 3012 1 1 1 1 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 0 0 0 1 0 -1 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.085458873930 0.558965967883 5 4 10 1 2310 0132 0321 0132 1 1 1 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 -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.274152209239 0.673978167345 2 5 9 4 0132 1023 0321 0213 1 1 1 1 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 -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.318272691183 1.075920953768 12 11 10 2 2310 3012 1302 0132 1 1 1 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 1 0 -1 -1 0 1 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.166218160332 0.533455773418 3 10 7 12 0132 0321 0321 2103 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 -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.785559827745 0.411608174432 8 3 6 9 2031 0132 0321 0321 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 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518433149386 1.314173251759 8 12 5 3 1230 2103 1230 0132 1 1 0 1 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 0 0 0 0 0 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.475506265195 0.493388527156 4 11 8 9 0132 2103 3201 2103 0 1 1 1 0 -1 0 1 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 1 0 -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 1.308799109736 1.764789834495 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : negation(d['c_0101_11']), 'c_1001_7' : negation(d['c_0101_1']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0101_11']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_11']), 'c_1001_9' : d['c_1001_6'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_1001_3']), 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : negation(d['1']), 's_0_11' : negation(d['1']), 's_0_12' : negation(d['1']), 's_3_12' : negation(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' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : d['c_0110_5'], 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : d['c_1001_0'], 'c_1100_1' : d['c_1001_0'], 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_5'], 'c_1100_10' : d['c_1001_6'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_1001_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : negation(d['c_0101_11']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : 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' : negation(d['1']), 's_3_8' : negation(d['1']), 'c_1100_12' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_12'], '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_0011_8'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_0']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_8'], 'c_0101_2' : negation(d['c_0101_12']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_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_10, c_0011_12, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0110_5, c_1001_0, c_1001_3, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 4558873261419425036470512770201/77547894530770329210179660440800*c_\ 1001_6^13 + 74493852308417782910029658265743/3877394726538516460508\ 9830220400*c_1001_6^12 + 147892485922060356055229313549107/11078270\ 647252904172882808634400*c_1001_6^11 - 1553145440620917955334513660321909/25849298176923443070059886813600\ *c_1001_6^10 + 262288568957441078576134190598569/276956766181322604\ 3220702158600*c_1001_6^9 - 8200687832882553394827393392640943/77547\ 894530770329210179660440800*c_1001_6^8 + 1955520718087660385399112743862211/38773947265385164605089830220400\ *c_1001_6^7 + 9303445552010912480082395042146093/775478945307703292\ 10179660440800*c_1001_6^6 - 588437211457494220126234272378493/25849\ 29817692344307005988681360*c_1001_6^5 + 2722412521657224565077500413813781/8616432725641147690019962271200*\ c_1001_6^4 - 175104706393304098290320053612763/58306687617120548278\ 3305717600*c_1001_6^3 + 12650416715375449547828189882550179/7754789\ 4530770329210179660440800*c_1001_6^2 - 6868191718229656744179142890684091/77547894530770329210179660440800\ *c_1001_6 + 5854661337672353838953168378659/32311622721154303837574\ 85851700, c_0011_0 - 1, c_0011_10 + 1, c_0011_12 - 1056984120884010933402383/104119085030572407639876021*c_100\ 1_6^13 - 34542770264559919190855221/104119085030572407639876021*c_1\ 001_6^12 - 240470240537376858588798077/104119085030572407639876021*\ c_1001_6^11 + 10778660118629259910858757/1051707929601741491311879*\ c_1001_6^10 - 1754746507695438919540495619/104119085030572407639876\ 021*c_1001_6^9 + 2688854472117228549702528805/104119085030572407639\ 876021*c_1001_6^8 - 3687155715581009821170214082/104119085030572407\ 639876021*c_1001_6^7 + 3031835021857345355359353962/104119085030572\ 407639876021*c_1001_6^6 - 322707697940794856853034816/1156878722561\ 9156404430669*c_1001_6^5 + 235962369779521919569957837/115687872256\ 19156404430669*c_1001_6^4 - 933014768027771842375279126/10411908503\ 0572407639876021*c_1001_6^3 + 609407034655801474269906841/104119085\ 030572407639876021*c_1001_6^2 + 22070038189154388204777868/10411908\ 5030572407639876021*c_1001_6 + 2821713839816115238388927/3470636167\ 6857469213292007, c_0011_8 - 211579339441428899503807/18930742732831346843613822*c_1001_6\ ^13 - 3355776237166644640086205/9465371366415673421806911*c_1001_6^\ 12 - 41508897280758628582435729/18930742732831346843613822*c_1001_6\ ^11 + 28825466906937534577807033/2103415859203482982623758*c_1001_6\ ^10 - 281130207190970930017578395/9465371366415673421806911*c_1001_\ 6^9 + 847849432144718322032212709/18930742732831346843613822*c_1001\ _6^8 - 565401068806740529463503343/9465371366415673421806911*c_1001\ _6^7 + 1202240086292209423110422929/18930742732831346843613822*c_10\ 01_6^6 - 60663928080429281446001622/1051707929601741491311879*c_100\ 1_6^5 + 90506853894961621977063915/2103415859203482982623758*c_1001\ _6^4 - 532455049809181106124089561/18930742732831346843613822*c_100\ 1_6^3 + 304224334997467996128238895/18930742732831346843613822*c_10\ 01_6^2 - 69761678944334590544719399/18930742732831346843613822*c_10\ 01_6 + 1104833052241987686815252/3155123788805224473935637, c_0101_0 - 8993973086875840947577/12249304121243812663514826*c_1001_6^1\ 3 - 134373534576473920081501/6124652060621906331757413*c_1001_6^12 - 1221330937858184970935659/12249304121243812663514826*c_1001_6^11 + 149939881533743260478237/123730344659028410742574*c_1001_6^10 - 20411690609443825456032335/6124652060621906331757413*c_1001_6^9 + 56516066238886043990017937/12249304121243812663514826*c_1001_6^8 - 30829411816464539371511291/6124652060621906331757413*c_1001_6^7 + 66343194839076520936220911/12249304121243812663514826*c_1001_6^6 - 3260236360547853739004518/680516895624656259084157*c_1001_6^5 + 5098052167719960719323617/1361033791249312518168314*c_1001_6^4 - 30833273013017872568063603/12249304121243812663514826*c_1001_6^3 + 27034201007651337498598679/12249304121243812663514826*c_1001_6^2 - 18476001936254366417212723/12249304121243812663514826*c_1001_6 + 497884284412492881737765/2041550686873968777252471, c_0101_1 - 465548495652904749217267/208238170061144815279752042*c_1001_\ 6^13 - 7401059444019991450602859/104119085030572407639876021*c_1001\ _6^12 - 93116314640146993150659721/208238170061144815279752042*c_10\ 01_6^11 + 5470870220782115412982367/2103415859203482982623758*c_100\ 1_6^10 - 673698683920210626377262302/104119085030572407639876021*c_\ 1001_6^9 + 2516885611988221392765148637/208238170061144815279752042\ *c_1001_6^8 - 1792769097594726511404142409/104119085030572407639876\ 021*c_1001_6^7 + 4123558374265336287003223327/208238170061144815279\ 752042*c_1001_6^6 - 240552056003789130406240197/1156878722561915640\ 4430669*c_1001_6^5 + 355844264888624839504713633/231375744512383128\ 08861338*c_1001_6^4 - 2357662787013876593167498625/2082381700611448\ 15279752042*c_1001_6^3 + 1540617849972251522694553601/2082381700611\ 44815279752042*c_1001_6^2 - 352511565378905363614075339/20823817006\ 1144815279752042*c_1001_6 + 33662957714247159068848244/347063616768\ 57469213292007, c_0101_10 + 3412745021982026184432401/208238170061144815279752042*c_100\ 1_6^13 + 55680699372459045007945886/104119085030572407639876021*c_1\ 001_6^12 + 770699236822661132560969955/208238170061144815279752042*\ c_1001_6^11 - 35253714697863827498167619/2103415859203482982623758*\ c_1001_6^10 + 2900539545884602704622457032/104119085030572407639876\ 021*c_1001_6^9 - 8648813027187498343636403815/208238170061144815279\ 752042*c_1001_6^8 + 5963258931731084544978859258/104119085030572407\ 639876021*c_1001_6^7 - 10533264310178182815118623017/20823817006114\ 4815279752042*c_1001_6^6 + 559574999264875351011169699/115687872256\ 19156404430669*c_1001_6^5 - 819763208293825233646603421/23137574451\ 238312808861338*c_1001_6^4 + 4061986733579571722474920813/208238170\ 061144815279752042*c_1001_6^3 - 2401957201104850943343463255/208238\ 170061144815279752042*c_1001_6^2 + 281020098161593914433237925/208238170061144815279752042*c_1001_6 - 25333506324239580314719714/34706361676857469213292007, c_0101_11 - 1140855242572246968787615/208238170061144815279752042*c_100\ 1_6^13 - 18562474890728232822587530/104119085030572407639876021*c_1\ 001_6^12 - 254224078529043947141202607/208238170061144815279752042*\ c_1001_6^11 + 12043532325425672954538087/2103415859203482982623758*\ c_1001_6^10 - 1013195587807208534185057316/104119085030572407639876\ 021*c_1001_6^9 + 2992671907201477657267990547/208238170061144815279\ 752042*c_1001_6^8 - 2055760497846624235141981346/104119085030572407\ 639876021*c_1001_6^7 + 3694957365786658621866913375/208238170061144\ 815279752042*c_1001_6^6 - 188625938807262857772344632/1156878722561\ 9156404430669*c_1001_6^5 + 248395443629121190689655569/231375744512\ 38312808861338*c_1001_6^4 - 976533636406142212890048311/20823817006\ 1144815279752042*c_1001_6^3 + 666530523069221412258102899/208238170\ 061144815279752042*c_1001_6^2 + 211380052651118873110398815/2082381\ 70061144815279752042*c_1001_6 - 16961330602434338379359125/34706361\ 676857469213292007, c_0101_12 - 768952973040430294756696/104119085030572407639876021*c_1001\ _6^13 - 24861488692171356043706192/104119085030572407639876021*c_10\ 01_6^12 - 166128445504369142881646947/104119085030572407639876021*c\ _1001_6^11 + 8468723429283355444429602/1051707929601741491311879*c_\ 1001_6^10 - 1551110476875367003769064454/10411908503057240763987602\ 1*c_1001_6^9 + 2250400261309940132339216147/10411908503057240763987\ 6021*c_1001_6^8 - 2930223596620984535452614010/10411908503057240763\ 9876021*c_1001_6^7 + 2626452608281929294737348113/10411908503057240\ 7639876021*c_1001_6^6 - 245882993980324359334799364/115687872256191\ 56404430669*c_1001_6^5 + 161732034721805208336850518/11568787225619\ 156404430669*c_1001_6^4 - 778444768380518576463994721/1041190850305\ 72407639876021*c_1001_6^3 + 251527754950513464581242625/10411908503\ 0572407639876021*c_1001_6^2 + 25124631712717753419579128/1041190850\ 30572407639876021*c_1001_6 - 3105910855110246138516776/347063616768\ 57469213292007, c_0110_5 + 365791175721855921636689/34706361676857469213292007*c_1001_6\ ^13 + 12044628751437912017209585/34706361676857469213292007*c_1001_\ 6^12 + 86026439512207953412307702/34706361676857469213292007*c_1001\ _6^11 - 10716712879138408973749302/1051707929601741491311879*c_1001\ _6^10 + 478864124854953714196279601/34706361676857469213292007*c_10\ 01_6^9 - 653243850038347218567428497/34706361676857469213292007*c_1\ 001_6^8 + 957605966738726695958889671/34706361676857469213292007*c_\ 1001_6^7 - 674966649558989000876148029/34706361676857469213292007*c\ _1001_6^6 + 196757065353068642546844450/11568787225619156404430669*\ c_1001_6^5 - 156238629553562551215075852/11568787225619156404430669\ *c_1001_6^4 + 126412583925039955961524813/3470636167685746921329200\ 7*c_1001_6^3 - 84694299197694986953678243/3470636167685746921329200\ 7*c_1001_6^2 - 886110932848502226560221/34706361676857469213292007*\ c_1001_6 + 10945462622670775406030330/11568787225619156404430669, c_1001_0 + 434590458893647373448920/34706361676857469213292007*c_1001_6\ ^13 + 14103119785711822679621905/34706361676857469213292007*c_1001_\ 6^12 + 95672424929632477620100841/34706361676857469213292007*c_1001\ _6^11 - 13926670913010936445495911/1051707929601741491311879*c_1001\ _6^10 + 836813219333661930516473168/34706361676857469213292007*c_10\ 01_6^9 - 1300003368334980581851598443/34706361676857469213292007*c_\ 1001_6^8 + 1804888634410095927794318132/34706361676857469213292007*\ c_1001_6^7 - 1750800245275749558483519584/3470636167685746921329200\ 7*c_1001_6^6 + 568008543215685472191444492/115687872256191564044306\ 69*c_1001_6^5 - 417176568887021266375901855/11568787225619156404430\ 669*c_1001_6^4 + 756673319945259458784093976/3470636167685746921329\ 2007*c_1001_6^3 - 444919734620517933824026237/347063616768574692132\ 92007*c_1001_6^2 + 71811577538979751683858740/347063616768574692132\ 92007*c_1001_6 - 4062461771140061462581261/115687872256191564044306\ 69, c_1001_3 + 780507497025959394989137/208238170061144815279752042*c_1001_\ 6^13 + 13677682489003072597219666/104119085030572407639876021*c_100\ 1_6^12 + 239232008374630162834714441/208238170061144815279752042*c_\ 1001_6^11 - 3297446694994960207282545/2103415859203482982623758*c_1\ 001_6^10 - 146846441975343757237358884/104119085030572407639876021*\ c_1001_6^9 - 294487582571157037774977431/20823817006114481527975204\ 2*c_1001_6^8 + 213406629516507081724053218/104119085030572407639876\ 021*c_1001_6^7 + 904881898927444951703079641/2082381700611448152797\ 52042*c_1001_6^6 + 63186131029437739307103672/115687872256191564044\ 30669*c_1001_6^5 - 23168846739379357819736333/231375744512383128088\ 61338*c_1001_6^4 + 92640843319279383850246109/208238170061144815279\ 752042*c_1001_6^3 - 1117754946056361560056474331/208238170061144815\ 279752042*c_1001_6^2 + 86112615147906936814158139/20823817006114481\ 5279752042*c_1001_6 - 60038527508350407287797313/347063616768574692\ 13292007, c_1001_6^14 + 32*c_1001_6^13 + 205*c_1001_6^12 - 1173*c_1001_6^11 + 2290*c_1001_6^10 - 3371*c_1001_6^9 + 4744*c_1001_6^8 - 4795*c_1001_6^7 + 4188*c_1001_6^6 - 3411*c_1001_6^5 + 1955*c_1001_6^4 - 1055*c_1001_6^3 + 343*c_1001_6^2 + 30*c_1001_6 + 36 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.470 Total time: 0.680 seconds, Total memory usage: 32.09MB