Magma V2.19-8 Tue Aug 20 2013 16:17:21 on localhost [Seed = 3153733491] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1587 geometric_solution 5.36063661 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 -1 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 1.480714559732 0.532867528105 2 0 0 3 0132 0132 1023 0132 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 1 0 -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.402989188050 0.736169516333 1 3 4 5 0132 2310 0132 0132 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 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.117200416038 0.748040312800 4 5 1 2 2310 1023 0132 3201 0 0 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 -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.117200416038 0.748040312800 4 4 3 2 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.207726912344 0.524087391185 3 6 2 6 1023 0132 0132 2310 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2.138669859701 1.124929612649 5 5 6 6 3201 0132 2031 1302 0 0 0 0 0 0 1 -1 0 0 1 -1 1 0 0 -1 -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 -1 1 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.415684823551 0.328571310414 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_0'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 17015880120344063722496697998056670501305154614448/2422700415707063\ 0787783362305183231102957839*c_0110_6^25 - 41465212462043620712366773650081173438542878397600/2422700415707063\ 0787783362305183231102957839*c_0110_6^24 + 529663891539251745118034771293514653461257457339988/242270041570706\ 30787783362305183231102957839*c_0110_6^23 + 1126488521990119396308479178087016872258554955265990/80756680523568\ 76929261120768394410367652613*c_0110_6^22 + 9341476956283587974464985668024542346320200535595846/24227004157070\ 630787783362305183231102957839*c_0110_6^21 + 1388633855095090607667699354128459497101748416235568/26918893507856\ 25643087040256131470122550871*c_0110_6^20 - 3711804711152844833180587961671132180819095345473864/80756680523568\ 76929261120768394410367652613*c_0110_6^19 - 103143570923912829325701206381768407609038163837818097/242270041570\ 70630787783362305183231102957839*c_0110_6^18 - 283679610035435221002454570425797958655251179450772035/242270041570\ 70630787783362305183231102957839*c_0110_6^17 - 503184110589940897823204675108299102600320978028738886/242270041570\ 70630787783362305183231102957839*c_0110_6^16 - 213554552973311267616583874757908953401238083971900749/807566805235\ 6876929261120768394410367652613*c_0110_6^15 - 573443930582036907367133483154968050458504453951158191/242270041570\ 70630787783362305183231102957839*c_0110_6^14 - 273171072802497955695387067553276566204138841393104925/242270041570\ 70630787783362305183231102957839*c_0110_6^13 + 154980911361685153578063586947687729460633268645495233/242270041570\ 70630787783362305183231102957839*c_0110_6^12 + 503834440654995482348682431965481054028016686338494580/242270041570\ 70630787783362305183231102957839*c_0110_6^11 + 588815062781326113950607304431228732780177963550524365/242270041570\ 70630787783362305183231102957839*c_0110_6^10 + 406997884497577740270551790181889893275800747132841716/242270041570\ 70630787783362305183231102957839*c_0110_6^9 + 130016065461271789362438259530082356200482734558634082/242270041570\ 70630787783362305183231102957839*c_0110_6^8 - 65500243734296803476785001528816440733150471422421817/2422700415707\ 0630787783362305183231102957839*c_0110_6^7 - 122189844905978322682923626275424485659205847265315404/242270041570\ 70630787783362305183231102957839*c_0110_6^6 - 90006605976039025477517102133914975507963807834691826/2422700415707\ 0630787783362305183231102957839*c_0110_6^5 - 41774909867038658732217071712445869163802067238029817/2422700415707\ 0630787783362305183231102957839*c_0110_6^4 - 1436673660235214231240089989807827159548815962770067/26918893507856\ 25643087040256131470122550871*c_0110_6^3 - 2602183060130206731598722771367104971512841520569855/24227004157070\ 630787783362305183231102957839*c_0110_6^2 - 34396248202885338897339261295026329609277923262445/2691889350785625\ 643087040256131470122550871*c_0110_6 - 16590002692211490445607142907280654806357533091763/2422700415707063\ 0787783362305183231102957839, c_0011_0 - 1, c_0011_3 - 602538519284456931687613288324781255566255130048/26050542104\ 3770223524552282851432592504923*c_0110_6^25 - 502394477649702838055192349202410544660304191392/868351403479234078\ 41517427617144197501641*c_0110_6^24 + 18677256284290450907277484801623008272464325896976/2605054210437702\ 23524552282851432592504923*c_0110_6^23 + 120911438195347197018964670442490365609703077923056/260505421043770\ 223524552282851432592504923*c_0110_6^22 + 337982631742702769779926984284216780123076586049468/260505421043770\ 223524552282851432592504923*c_0110_6^21 + 460861042722553903059524531791255292553126962839292/260505421043770\ 223524552282851432592504923*c_0110_6^20 - 373457032190727468963228990104288956873143367446016/260505421043770\ 223524552282851432592504923*c_0110_6^19 - 3686545874956405354740731544897272144606837196592754/26050542104377\ 0223524552282851432592504923*c_0110_6^18 - 10266412588935524712469292068020639704456260040951806/2605054210437\ 70223524552282851432592504923*c_0110_6^17 - 6124314849523614831139927767590945143964260758270478/86835140347923\ 407841517427617144197501641*c_0110_6^16 - 7867473324992371990225238632609994328835373944613620/86835140347923\ 407841517427617144197501641*c_0110_6^15 - 21384729817133975783834644319115526920355586792457907/2605054210437\ 70223524552282851432592504923*c_0110_6^14 - 3510194481921822755929495995407084791018125723388092/86835140347923\ 407841517427617144197501641*c_0110_6^13 + 5222978756164885932281954163025250721414977230419718/26050542104377\ 0223524552282851432592504923*c_0110_6^12 + 6101719282282668153464212558405452951802189584002664/86835140347923\ 407841517427617144197501641*c_0110_6^11 + 21805460665225201457613340643657896304367275487248429/2605054210437\ 70223524552282851432592504923*c_0110_6^10 + 15355946442886591639237938574934538639392242785499633/2605054210437\ 70223524552282851432592504923*c_0110_6^9 + 1712704599331807285089564052655976579060728248663653/86835140347923\ 407841517427617144197501641*c_0110_6^8 - 2245636278520534163532906234093420254318472093762253/26050542104377\ 0223524552282851432592504923*c_0110_6^7 - 1502239295986524327354289455341309711144587265797864/86835140347923\ 407841517427617144197501641*c_0110_6^6 - 3390616411112698043192512964485304294266279963673203/26050542104377\ 0223524552282851432592504923*c_0110_6^5 - 1599639470712174343049195995956641563346209342017965/26050542104377\ 0223524552282851432592504923*c_0110_6^4 - 502965048616596448874171742564140337576775531862630/260505421043770\ 223524552282851432592504923*c_0110_6^3 - 102859000622511552083531953879058683884093925078252/260505421043770\ 223524552282851432592504923*c_0110_6^2 - 12442597032720056175317751197343987300261049070254/2605054210437702\ 23524552282851432592504923*c_0110_6 - 226219391832822631715644357119368662304077818401/868351403479234078\ 41517427617144197501641, c_0011_4 - 26005734419613829465778744738865047895080905872/868351403479\ 23407841517427617144197501641*c_0110_6^25 - 66375270327818092313734466043196938502826470720/8683514034792340784\ 1517427617144197501641*c_0110_6^24 + 803394624362795922573047703209374653372139184732/868351403479234078\ 41517427617144197501641*c_0110_6^23 + 5260856747202381704079491523648598290550868792414/86835140347923407\ 841517427617144197501641*c_0110_6^22 + 14834357769796151499814723675802738136930823134982/8683514034792340\ 7841517427617144197501641*c_0110_6^21 + 20523488921815751702523859123539107457739965520872/8683514034792340\ 7841517427617144197501641*c_0110_6^20 - 15388489136057819553892994402528019009916754787162/8683514034792340\ 7841517427617144197501641*c_0110_6^19 - 160260666742061055148491884424128857617121417038743/868351403479234\ 07841517427617144197501641*c_0110_6^18 - 450693632710946849189273899538408099001098860090085/868351403479234\ 07841517427617144197501641*c_0110_6^17 - 812155884635995172034278128614053851945202548961840/868351403479234\ 07841517427617144197501641*c_0110_6^16 - 1050497536709242388344115308860643084172599724280324/86835140347923\ 407841517427617144197501641*c_0110_6^15 - 960616488224640614480967486917942958775483311903943/868351403479234\ 07841517427617144197501641*c_0110_6^14 - 484652841385556934997595381269933899515665486795818/868351403479234\ 07841517427617144197501641*c_0110_6^13 + 215788754223631457472285439217000349864437866118264/868351403479234\ 07841517427617144197501641*c_0110_6^12 + 805869922360125790230580883104900982925527413733203/868351403479234\ 07841517427617144197501641*c_0110_6^11 + 974303378696051871915349013775787270147143524771452/868351403479234\ 07841517427617144197501641*c_0110_6^10 + 695851198621021880031154478382406781946938593781570/868351403479234\ 07841517427617144197501641*c_0110_6^9 + 240696453519988166450551197088057420546439593422546/868351403479234\ 07841517427617144197501641*c_0110_6^8 - 94118777076480504206563645028094111633212714545047/8683514034792340\ 7841517427617144197501641*c_0110_6^7 - 200712638040276125669323827795182958597367652178687/868351403479234\ 07841517427617144197501641*c_0110_6^6 - 153472855185381544245251872663886542060206057496849/868351403479234\ 07841517427617144197501641*c_0110_6^5 - 73298679717340586953179282116393991635689474178516/8683514034792340\ 7841517427617144197501641*c_0110_6^4 - 23315450268971174953254039482107036838341701314806/8683514034792340\ 7841517427617144197501641*c_0110_6^3 - 4823884209604323288862622529527837283319840470643/86835140347923407\ 841517427617144197501641*c_0110_6^2 - 590518455867415718770960577324580625955191996201/868351403479234078\ 41517427617144197501641*c_0110_6 - 32609241997100866709294375071787157755259467453/8683514034792340784\ 1517427617144197501641, c_0101_0 - 17296671794137597461981977966120683644067081344/868351403479\ 23407841517427617144197501641*c_0110_6^25 - 44312489086783434177325226764568113371536694400/8683514034792340784\ 1517427617144197501641*c_0110_6^24 + 533978500881933334206682832034712886943358768544/868351403479234078\ 41517427617144197501641*c_0110_6^23 + 3504289383728922708726940381903597947463099704320/86835140347923407\ 841517427617144197501641*c_0110_6^22 + 9898231783453705766165692156392231124057407119792/86835140347923407\ 841517427617144197501641*c_0110_6^21 + 13734175639584009980701620365294751475164264450500/8683514034792340\ 7841517427617144197501641*c_0110_6^20 - 10132643755561044337149647504368283443441024328090/8683514034792340\ 7841517427617144197501641*c_0110_6^19 - 106723892947963351886666499449648089899668370827610/868351403479234\ 07841517427617144197501641*c_0110_6^18 - 300737645300401856622516544995345515258195291475930/868351403479234\ 07841517427617144197501641*c_0110_6^17 - 542714895689429896921282241971247441385782113781832/868351403479234\ 07841517427617144197501641*c_0110_6^16 - 703009748719002219216530605011981241022020029422667/868351403479234\ 07841517427617144197501641*c_0110_6^15 - 644142463591509874110045899052932889094153128672753/868351403479234\ 07841517427617144197501641*c_0110_6^14 - 326684501724573540171338835948983272664609738321617/868351403479234\ 07841517427617144197501641*c_0110_6^13 + 141923569645912866857727390900413160651171960083111/868351403479234\ 07841517427617144197501641*c_0110_6^12 + 537927714798996331943933050218092019012481431265137/868351403479234\ 07841517427617144197501641*c_0110_6^11 + 652508162637725971861176259109307117066067246763940/868351403479234\ 07841517427617144197501641*c_0110_6^10 + 467500918010679443489626849553173704865325118466534/868351403479234\ 07841517427617144197501641*c_0110_6^9 + 162920462971818712830566752539120120966802998362245/868351403479234\ 07841517427617144197501641*c_0110_6^8 - 62043774338404498751506181906088709486770289278588/8683514034792340\ 7841517427617144197501641*c_0110_6^7 - 134295738035634863346888505311680072710499342309960/868351403479234\ 07841517427617144197501641*c_0110_6^6 - 103086503382317118754744467433879693448421492390644/868351403479234\ 07841517427617144197501641*c_0110_6^5 - 49383864541602229997595756836995575793756260384401/8683514034792340\ 7841517427617144197501641*c_0110_6^4 - 15756068969077037567477046425243846520438143627059/8683514034792340\ 7841517427617144197501641*c_0110_6^3 - 3270383157905967937742326101456725688166150850893/86835140347923407\ 841517427617144197501641*c_0110_6^2 - 401746467342217190754546361947132833093200995493/868351403479234078\ 41517427617144197501641*c_0110_6 - 22270527372907432693020869596458680478339043585/8683514034792340784\ 1517427617144197501641, c_0101_1 - 21021901249501639335490847488958645671204390752/868351403479\ 23407841517427617144197501641*c_0110_6^25 - 53685735430026674754583463151315496524825028400/8683514034792340784\ 1517427617144197501641*c_0110_6^24 + 649363272223415949019306128719695726749673418232/868351403479234078\ 41517427617144197501641*c_0110_6^23 + 4253627739561783041575592967870101754712867522216/86835140347923407\ 841517427617144197501641*c_0110_6^22 + 11997281667927390336248883818918621555670890411266/8683514034792340\ 7841517427617144197501641*c_0110_6^21 + 16605473321106604557753504838532596878269922053708/8683514034792340\ 7841517427617144197501641*c_0110_6^20 - 12421318383215545445762990784283572860520639187214/8683514034792340\ 7841517427617144197501641*c_0110_6^19 - 129573447001816476541905032088353165015417223669608/868351403479234\ 07841517427617144197501641*c_0110_6^18 - 364500485516390524185526700133131305845068168430233/868351403479234\ 07841517427617144197501641*c_0110_6^17 - 656971719177031670359297127662260327225128247794960/868351403479234\ 07841517427617144197501641*c_0110_6^16 - 849949417117582209328829496466919585372976422127577/868351403479234\ 07841517427617144197501641*c_0110_6^15 - 777447183891622376394470898698674004267961138456292/868351403479234\ 07841517427617144197501641*c_0110_6^14 - 392529125786667302062203291023683647595098929659823/868351403479234\ 07841517427617144197501641*c_0110_6^13 + 174171486964610412106648500331238428469602729213473/868351403479234\ 07841517427617144197501641*c_0110_6^12 + 651794034575736007332424832073228843508186507257812/868351403479234\ 07841517427617144197501641*c_0110_6^11 + 788389578797479880513409399612879483463193881578066/868351403479234\ 07841517427617144197501641*c_0110_6^10 + 563318965796951193328313532808043440619146197001012/868351403479234\ 07841517427617144197501641*c_0110_6^9 + 195054368973896258019306884139356879860818515211893/868351403479234\ 07841517427617144197501641*c_0110_6^8 - 75996248856637956764069958482945015733235129300931/8683514034792340\ 7841517427617144197501641*c_0110_6^7 - 162394025800075689197660555052090330459498818760748/868351403479234\ 07841517427617144197501641*c_0110_6^6 - 124238308196730561616968971798596924739528179367068/868351403479234\ 07841517427617144197501641*c_0110_6^5 - 59360289610160058907187131678038726673159457756133/8683514034792340\ 7841517427617144197501641*c_0110_6^4 - 18889257030011580166300751304382219687435617481706/8683514034792340\ 7841517427617144197501641*c_0110_6^3 - 3909716261530795031982352900907885037741368152173/86835140347923407\ 841517427617144197501641*c_0110_6^2 - 478816209069389508581104598888367892633895631692/868351403479234078\ 41517427617144197501641*c_0110_6 - 26453045063877451200714145628150827631035479351/8683514034792340784\ 1517427617144197501641, c_0101_4 + 470889111573545104159469660116205825304057686816/26050542104\ 3770223524552282851432592504923*c_0110_6^25 + 394019742321444639517144165618256617989512657248/868351403479234078\ 41517427617144197501641*c_0110_6^24 - 14587966742729586982754278038187426995350829651832/2605054210437702\ 23524552282851432592504923*c_0110_6^23 - 94627014095572064060686027209297858780047225085124/2605054210437702\ 23524552282851432592504923*c_0110_6^22 - 264912043727435118136522121174935127273232633247736/260505421043770\ 223524552282851432592504923*c_0110_6^21 - 362143871893531213161462363427546160529918268349696/260505421043770\ 223524552282851432592504923*c_0110_6^20 + 289601660059998531878317091538233618703511594332754/260505421043770\ 223524552282851432592504923*c_0110_6^19 + 2884734619724776988416174608275813693081685986300774/26050542104377\ 0223524552282851432592504923*c_0110_6^18 + 8047135686138136514387639466410903852932381913983132/26050542104377\ 0223524552282851432592504923*c_0110_6^17 + 4806177509025573555336765317481195722565205243030458/86835140347923\ 407841517427617144197501641*c_0110_6^16 + 6181505870897452030909206871183542503818154006901797/86835140347923\ 407841517427617144197501641*c_0110_6^15 + 16829061990398392477640794265727929073163060705913020/2605054210437\ 70223524552282851432592504923*c_0110_6^14 + 2774212207274419864387869378183505636922036572034854/86835140347923\ 407841517427617144197501641*c_0110_6^13 - 4052922673662345034755706818090391067546045912044171/26050542104377\ 0223524552282851432592504923*c_0110_6^12 - 4785216345293539068204845716372459860868239576262582/86835140347923\ 407841517427617144197501641*c_0110_6^11 - 17144428980103316367907631234557970066308759455771506/2605054210437\ 70223524552282851432592504923*c_0110_6^10 - 12103020298267655719018290073050588313859357536994113/2605054210437\ 70223524552282851432592504923*c_0110_6^9 - 1357807352493608707502216115978697611581172946156486/86835140347923\ 407841517427617144197501641*c_0110_6^8 + 1746902460193303036315251011824181698493647001732797/26050542104377\ 0223524552282851432592504923*c_0110_6^7 + 1180493349409407089050072636795348845040081642403733/86835140347923\ 407841517427617144197501641*c_0110_6^6 + 2671829178531360282853282370732166443405749963251310/26050542104377\ 0223524552282851432592504923*c_0110_6^5 + 1263180862497238934776290065057397753624193665167192/26050542104377\ 0223524552282851432592504923*c_0110_6^4 + 397963340803058980863630979412251853986705013439977/260505421043770\ 223524552282851432592504923*c_0110_6^3 + 81547270597894072619681923152262451282849931024517/2605054210437702\ 23524552282851432592504923*c_0110_6^2 + 9884559092320734760274986471258298727303009235399/26050542104377022\ 3524552282851432592504923*c_0110_6 + 180088288748512095188026770979020079223154018023/868351403479234078\ 41517427617144197501641, c_0110_6^26 + 3*c_0110_6^25 - 119/4*c_0110_6^24 - 1729/8*c_0110_6^23 - 661*c_0110_6^22 - 8357/8*c_0110_6^21 + 953/4*c_0110_6^20 + 102835/16*c_0110_6^19 + 160717/8*c_0110_6^18 + 623847/16*c_0110_6^17 + 870099/16*c_0110_6^16 + 220127/4*c_0110_6^15 + 562947/16*c_0110_6^14 + 437/8*c_0110_6^13 - 69399/2*c_0110_6^12 - 410735/8*c_0110_6^11 - 87079/2*c_0110_6^10 - 339909/16*c_0110_6^9 - 8485/16*c_0110_6^8 + 74697/8*c_0110_6^7 + 149735/16*c_0110_6^6 + 87403/16*c_0110_6^5 + 34555/16*c_0110_6^4 + 4699/8*c_0110_6^3 + 847/8*c_0110_6^2 + 183/16*c_0110_6 + 9/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB