Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 3499183535] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3006 geometric_solution 6.18267018 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 -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.279662326645 0.319214767165 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.167599079466 1.453126522642 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 -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.434481945023 0.428213034897 6 5 4 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.434481945023 0.428213034897 4 2 4 3 2310 0132 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678826167887 1.166771837445 5 3 5 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.977072170217 1.117058354402 3 6 2 6 0132 1302 0132 2031 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636663914308 0.849956006585 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 605883719247250927902118069955814573982021377095849638/474415614301\ 349646440325516164960703356317095684875*c_1001_2^24 + 1065313311389735083106133702237839633458367756752598371/47441561430\ 1349646440325516164960703356317095684875*c_1001_2^23 + 1262162877130662951235041919615048638765265987056811553/94883122860\ 269929288065103232992140671263419136975*c_1001_2^22 - 18460463235073490228311649958416651009950462490396062029/4744156143\ 01349646440325516164960703356317095684875*c_1001_2^21 + 36191513930097507598301695494601610447489824508328448631/4744156143\ 01349646440325516164960703356317095684875*c_1001_2^20 + 14048830611447255690562749044546197115856105533276206102/4744156143\ 01349646440325516164960703356317095684875*c_1001_2^19 + 95176573259676788569571642845593163377435905580168161583/4744156143\ 01349646440325516164960703356317095684875*c_1001_2^18 - 36170201459543632605602436994608946834959934360815738794/4744156143\ 01349646440325516164960703356317095684875*c_1001_2^17 - 133832688802445334631476226572446416012733088657514159344/474415614\ 301349646440325516164960703356317095684875*c_1001_2^16 + 29118448819223072587670568544271765276870682244368680202/1897662457\ 2053985857613020646598428134252683827395*c_1001_2^15 - 669832771802964895709559005820072054297345004111004488997/474415614\ 301349646440325516164960703356317095684875*c_1001_2^14 - 69286042508056734770346788538636852771602450748844859733/9488312286\ 0269929288065103232992140671263419136975*c_1001_2^13 - 2183340954608185570371858966710767981769780838986508635229/47441561\ 4301349646440325516164960703356317095684875*c_1001_2^12 - 831006421151641592998853371613970691007477111502474781396/948831228\ 60269929288065103232992140671263419136975*c_1001_2^11 + 7296903868476534733656450442820032122456061920757816487393/47441561\ 4301349646440325516164960703356317095684875*c_1001_2^10 + 6473912665260742916065199251683353569636491533065583929828/47441561\ 4301349646440325516164960703356317095684875*c_1001_2^9 - 8198912059615992933470295766032254926750187204011667117097/47441561\ 4301349646440325516164960703356317095684875*c_1001_2^8 + 241647183376932172206542485504810759281936054855285778981/474415614\ 301349646440325516164960703356317095684875*c_1001_2^7 + 3093412166196324412857114112095724506840281058950579293897/47441561\ 4301349646440325516164960703356317095684875*c_1001_2^6 - 756359505265488710079556903165480430827977595408210801432/948831228\ 60269929288065103232992140671263419136975*c_1001_2^5 + 1248197984469722310341522155247463887157231028683733113889/47441561\ 4301349646440325516164960703356317095684875*c_1001_2^4 + 1027677746441753664448138397905877028373139172361303027387/47441561\ 4301349646440325516164960703356317095684875*c_1001_2^3 - 162096449673595419384526821156286748194711194057231220144/948831228\ 60269929288065103232992140671263419136975*c_1001_2^2 + 190744813378878789392931868902863762581652298935584132136/474415614\ 301349646440325516164960703356317095684875*c_1001_2 - 14949459091282310411045629682188107151166879967019263174/4744156143\ 01349646440325516164960703356317095684875, c_0011_0 - 1, c_0011_1 + 62353880840491426580208344355613187438801992987478/379532491\ 4410797171522604129319685626850536765479*c_1001_2^24 - 104947954878224303393522047485186163835103533587364/379532491441079\ 7171522604129319685626850536765479*c_1001_2^23 - 656731104685094921535323289050416620459492440649372/379532491441079\ 7171522604129319685626850536765479*c_1001_2^22 + 1849468084770925866018078098930390685293929870699356/37953249144107\ 97171522604129319685626850536765479*c_1001_2^21 - 3592327910786374615616172610898329799517609931925139/37953249144107\ 97171522604129319685626850536765479*c_1001_2^20 - 1697833678816114014075896565505712327336265359990808/37953249144107\ 97171522604129319685626850536765479*c_1001_2^19 - 9956829277175769425893715203487916721562266609088785/37953249144107\ 97171522604129319685626850536765479*c_1001_2^18 + 2952850823943445670943418067026057746141548237339527/37953249144107\ 97171522604129319685626850536765479*c_1001_2^17 + 13893997472509029381609488001928000410186087165568977/3795324914410\ 797171522604129319685626850536765479*c_1001_2^16 - 73850920537291472379446302654969424049320259239319464/3795324914410\ 797171522604129319685626850536765479*c_1001_2^15 + 63532128708092503069800581940889653804420108213260510/3795324914410\ 797171522604129319685626850536765479*c_1001_2^14 + 39701202498316176204456503716310105922788609372992156/3795324914410\ 797171522604129319685626850536765479*c_1001_2^13 + 228249169118752226144057361636997783525785996280997155/379532491441\ 0797171522604129319685626850536765479*c_1001_2^12 + 445257949672617465566770402756296353426911470175587293/379532491441\ 0797171522604129319685626850536765479*c_1001_2^11 - 715133697547315292610217684350589607406896501589989799/379532491441\ 0797171522604129319685626850536765479*c_1001_2^10 - 715319822448673835521195124371476048259843003861067758/379532491441\ 0797171522604129319685626850536765479*c_1001_2^9 + 783099964493953328853076866724881735191109346025357119/379532491441\ 0797171522604129319685626850536765479*c_1001_2^8 + 25793859615396652858019510702192208801164929415340022/3795324914410\ 797171522604129319685626850536765479*c_1001_2^7 - 309218439671453314770023769221937615960835022880042717/379532491441\ 0797171522604129319685626850536765479*c_1001_2^6 + 367319518796076867967559820383887117324390074535412164/379532491441\ 0797171522604129319685626850536765479*c_1001_2^5 - 103830348195990251915929034762324644489187935154861587/379532491441\ 0797171522604129319685626850536765479*c_1001_2^4 - 110167949306183870783599215386631322783276647707828921/379532491441\ 0797171522604129319685626850536765479*c_1001_2^3 + 74487243611058578943084631453622611971216621411444520/3795324914410\ 797171522604129319685626850536765479*c_1001_2^2 - 15289555593364906780551971262812331730555977725718789/3795324914410\ 797171522604129319685626850536765479*c_1001_2 + 997410366104066643874134825762464284330136893475180/379532491441079\ 7171522604129319685626850536765479, c_0011_3 - 20335330583369078520468223534175718517671299548981/379532491\ 4410797171522604129319685626850536765479*c_1001_2^24 + 34384579258279684859018469681019741533815433308767/3795324914410797\ 171522604129319685626850536765479*c_1001_2^23 + 213953526519419463451788792039906075942649518054974/379532491441079\ 7171522604129319685626850536765479*c_1001_2^22 - 604885726725919206893796665644362381731248299890962/379532491441079\ 7171522604129319685626850536765479*c_1001_2^21 + 1175795940313742668116486298905408722699031108789709/37953249144107\ 97171522604129319685626850536765479*c_1001_2^20 + 545692252629309568373752372170578798214575454493672/379532491441079\ 7171522604129319685626850536765479*c_1001_2^19 + 3240815394142713528875023312587945174950383728199546/37953249144107\ 97171522604129319685626850536765479*c_1001_2^18 - 989983212484183863602652874640662170341045934847940/379532491441079\ 7171522604129319685626850536765479*c_1001_2^17 - 4530919473638752822569357249777599231579057151629065/37953249144107\ 97171522604129319685626850536765479*c_1001_2^16 + 24119760649156302051732932078179754152975306837185687/3795324914410\ 797171522604129319685626850536765479*c_1001_2^15 - 20898021827560515014688878045662329329649257172204371/3795324914410\ 797171522604129319685626850536765479*c_1001_2^14 - 12833163963806345896490125802501184008006871685066163/3795324914410\ 797171522604129319685626850536765479*c_1001_2^13 - 74309174979037711050679877936800862936911133743660106/3795324914410\ 797171522604129319685626850536765479*c_1001_2^12 - 144598642098873842888084945335365778925495841760907095/379532491441\ 0797171522604129319685626850536765479*c_1001_2^11 + 234516105716398778909986601431617889470258655070741890/379532491441\ 0797171522604129319685626850536765479*c_1001_2^10 + 231818625961361426639165967004392686694618250466855581/379532491441\ 0797171522604129319685626850536765479*c_1001_2^9 - 257569914751272196773474361207656131732481003316455911/379532491441\ 0797171522604129319685626850536765479*c_1001_2^8 - 6994970328320350478214052981955846198786139801282358/37953249144107\ 97171522604129319685626850536765479*c_1001_2^7 + 101253920153548171417812982972000610170353879850656321/379532491441\ 0797171522604129319685626850536765479*c_1001_2^6 - 120483091042195011408910087833831675291608141380565401/379532491441\ 0797171522604129319685626850536765479*c_1001_2^5 + 34617589501169263231177028241796211265337345674222751/3795324914410\ 797171522604129319685626850536765479*c_1001_2^4 + 35859611681483879782938749158859041891324993817335394/3795324914410\ 797171522604129319685626850536765479*c_1001_2^3 - 24590377939493810300482659797455226524500908926087576/3795324914410\ 797171522604129319685626850536765479*c_1001_2^2 + 5104200256857198903949826672051190517064189118934161/37953249144107\ 97171522604129319685626850536765479*c_1001_2 - 332898825281970854837267734945221245968586779766471/379532491441079\ 7171522604129319685626850536765479, c_0101_0 - 38557474988244456672610691341687654465500928996816/379532491\ 4410797171522604129319685626850536765479*c_1001_2^24 + 63801893408147062888058073624009074322128408384981/3795324914410797\ 171522604129319685626850536765479*c_1001_2^23 + 407684420880771307290902129431650004525375358674489/379532491441079\ 7171522604129319685626850536765479*c_1001_2^22 - 1131757108542722748492438356450888466220998623998494/37953249144107\ 97171522604129319685626850536765479*c_1001_2^21 + 2191721062222173596515684139485955164847844979787687/37953249144107\ 97171522604129319685626850536765479*c_1001_2^20 + 1106035062374566729103462250605269604164978337793708/37953249144107\ 97171522604129319685626850536765479*c_1001_2^19 + 6199712314512778298227353526069350773878905080748262/37953249144107\ 97171522604129319685626850536765479*c_1001_2^18 - 1640628488462647186751212548485440559648901106929424/37953249144107\ 97171522604129319685626850536765479*c_1001_2^17 - 8599854650029985304780681968325644980591372747299663/37953249144107\ 97171522604129319685626850536765479*c_1001_2^16 + 45422646818214669965459811910364325879002631041331583/3795324914410\ 797171522604129319685626850536765479*c_1001_2^15 - 38047943304751953837478731071426370539728223346198308/3795324914410\ 797171522604129319685626850536765479*c_1001_2^14 - 25374608435704372967152029883059011743800797317906242/3795324914410\ 797171522604129319685626850536765479*c_1001_2^13 - 142022841710475099893928812302838872179870771157626739/379532491441\ 0797171522604129319685626850536765479*c_1001_2^12 - 279554442513321229592748184025234058476288937255349227/379532491441\ 0797171522604129319685626850536765479*c_1001_2^11 + 433409786722111489507388982530436303400454678773639097/379532491441\ 0797171522604129319685626850536765479*c_1001_2^10 + 452776025452901279046663147687736870737091392425731686/379532491441\ 0797171522604129319685626850536765479*c_1001_2^9 - 469284981769831240861983881682861757249939758934781007/379532491441\ 0797171522604129319685626850536765479*c_1001_2^8 - 26105125929585938808741728207721104084961063908150940/3795324914410\ 797171522604129319685626850536765479*c_1001_2^7 + 188418808111373786957873355010959810268228012233704087/379532491441\ 0797171522604129319685626850536765479*c_1001_2^6 - 222423713835671961230368469413483100209826903865443049/379532491441\ 0797171522604129319685626850536765479*c_1001_2^5 + 58905819722624605683383761639052504121159857795324222/3795324914410\ 797171522604129319685626850536765479*c_1001_2^4 + 68698310653449323304211695045929711315922602430877012/3795324914410\ 797171522604129319685626850536765479*c_1001_2^3 - 44020284629162653608763212765391647651661472432399522/3795324914410\ 797171522604129319685626850536765479*c_1001_2^2 + 8645033810543020081290719717742420239568028518797866/37953249144107\ 97171522604129319685626850536765479*c_1001_2 - 541064846654750126605914121435035396167521938061251/379532491441079\ 7171522604129319685626850536765479, c_0101_1 + 34229749429674626553755509074169876427770218267546/379532491\ 4410797171522604129319685626850536765479*c_1001_2^24 - 56686778739333344364216582324717029647151538830553/3795324914410797\ 171522604129319685626850536765479*c_1001_2^23 - 361867165201279117887621328594251009908575902926754/379532491441079\ 7171522604129319685626850536765479*c_1001_2^22 + 1005226392185023902579055189918680368225594048398859/37953249144107\ 97171522604129319685626850536765479*c_1001_2^21 - 1946870238208185803610603147854187747725547509086033/37953249144107\ 97171522604129319685626850536765479*c_1001_2^20 - 979592720129574111515517694075748066558334416889295/379532491441079\ 7171522604129319685626850536765479*c_1001_2^19 - 5501861309059515879174735122523549968346067877421142/37953249144107\ 97171522604129319685626850536765479*c_1001_2^18 + 1465068833084788669649196206629295001525630123901539/37953249144107\ 97171522604129319685626850536765479*c_1001_2^17 + 7636689680334794250491688268189277281961592473021084/37953249144107\ 97171522604129319685626850536765479*c_1001_2^16 - 40331617490878558274151827077940019772465644113773894/3795324914410\ 797171522604129319685626850536765479*c_1001_2^15 + 33830080787265834487606412306207202177787197905307432/3795324914410\ 797171522604129319685626850536765479*c_1001_2^14 + 22499476646157208600339947300265465136179497792488122/3795324914410\ 797171522604129319685626850536765479*c_1001_2^13 + 126052454670134124511002142453140809492627990246587809/379532491441\ 0797171522604129319685626850536765479*c_1001_2^12 + 247994869708178293251660048060541872416209118307128834/379532491441\ 0797171522604129319685626850536765479*c_1001_2^11 - 385179541019390001510552809742249167395521721564976820/379532491441\ 0797171522604129319685626850536765479*c_1001_2^10 - 401647317398916857932199367208968964382635775816253909/379532491441\ 0797171522604129319685626850536765479*c_1001_2^9 + 417155616828545640923971184853473442752192740472923748/379532491441\ 0797171522604129319685626850536765479*c_1001_2^8 + 22864945750416583643424928319024142808075408885460591/3795324914410\ 797171522604129319685626850536765479*c_1001_2^7 - 167233232667073781445447506318345421971670872580378569/379532491441\ 0797171522604129319685626850536765479*c_1001_2^6 + 197695059718271878262048474445752179593854715904874577/379532491441\ 0797171522604129319685626850536765479*c_1001_2^5 - 52520203744140876360116067723628336307650805619867221/3795324914410\ 797171522604129319685626850536765479*c_1001_2^4 - 60974945710234908872767199242093830583400537547208179/3795324914410\ 797171522604129319685626850536765479*c_1001_2^3 + 39138289702108278022332521122315794908559895048275805/3795324914410\ 797171522604129319685626850536765479*c_1001_2^2 - 7717568829392617987126321004755078860312215144021977/37953249144107\ 97171522604129319685626850536765479*c_1001_2 + 487252844457276926638010549524641919032002192981484/379532491441079\ 7171522604129319685626850536765479, c_0101_3 - 22587106595153631657205171033805628861804937873762/379532491\ 4410797171522604129319685626850536765479*c_1001_2^24 + 36994415468809930853085091640024565276001973563210/3795324914410797\ 171522604129319685626850536765479*c_1001_2^23 + 239312046278969078234276788085644899647325942936561/379532491441079\ 7171522604129319685626850536765479*c_1001_2^22 - 658774364164741001150242179284342166294669341390316/379532491441079\ 7171522604129319685626850536765479*c_1001_2^21 + 1274295814927049297701726275740669077954498551821457/37953249144107\ 97171522604129319685626850536765479*c_1001_2^20 + 665962409566304248873764962745333735852113258315947/379532491441079\ 7171522604129319685626850536765479*c_1001_2^19 + 3649509622343314409305280029070754347936476989260762/37953249144107\ 97171522604129319685626850536765479*c_1001_2^18 - 893376889131059325160522559389716502119961660739816/379532491441079\ 7171522604129319685626850536765479*c_1001_2^17 - 5029196215274223352931785452844594218870888374692288/37953249144107\ 97171522604129319685626850536765479*c_1001_2^16 + 26526388957159546141670393229528478504110384845950535/3795324914410\ 797171522604129319685626850536765479*c_1001_2^15 - 21870697989057852472507165684331005244158138155056481/3795324914410\ 797171522604129319685626850536765479*c_1001_2^14 - 15084386317371639240667703280442791635593797268895645/3795324914410\ 797171522604129319685626850536765479*c_1001_2^13 - 83533288771818907993646922409610385798379634008747828/3795324914410\ 797171522604129319685626850536765479*c_1001_2^12 - 165291635366142084833119516832245387808080135978031944/379532491441\ 0797171522604129319685626850536765479*c_1001_2^11 + 250570145232077217626441650266319658864973137470764674/379532491441\ 0797171522604129319685626850536765479*c_1001_2^10 + 268301137102152451548241582429970066863645085548603914/379532491441\ 0797171522604129319685626850536765479*c_1001_2^9 - 269262232494683841792113864856847960984782809416254286/379532491441\ 0797171522604129319685626850536765479*c_1001_2^8 - 17856091679282154886980086859863968066731755208675865/3795324914410\ 797171522604129319685626850536765479*c_1001_2^7 + 109091599700250723281306869480212720149730837851955972/379532491441\ 0797171522604129319685626850536765479*c_1001_2^6 - 128895383673454157047359906281854409025107111900714724/379532491441\ 0797171522604129319685626850536765479*c_1001_2^5 + 32864209972608885146943598909030832447665888352894740/3795324914410\ 797171522604129319685626850536765479*c_1001_2^4 + 40194254671383926150219789812525439368935084161120933/3795324914410\ 797171522604129319685626850536765479*c_1001_2^3 - 25115228207770292521771402067626338840240667434566206/3795324914410\ 797171522604129319685626850536765479*c_1001_2^2 + 4885338741703343369752999634895738381760705774284318/37953249144107\ 97171522604129319685626850536765479*c_1001_2 - 307910104490189028794379839637719293325643119014660/379532491441079\ 7171522604129319685626850536765479, c_1001_2^25 - 2*c_1001_2^24 - 10*c_1001_2^23 + 33*c_1001_2^22 - 67*c_1001_2^21 - 9*c_1001_2^20 - 151*c_1001_2^19 + 98*c_1001_2^18 + 208*c_1001_2^17 - 1255*c_1001_2^16 + 1394*c_1001_2^15 + 315*c_1001_2^14 + 3458*c_1001_2^13 + 5980*c_1001_2^12 - 13736*c_1001_2^11 - 7846*c_1001_2^10 + 16204*c_1001_2^9 - 3552*c_1001_2^8 - 5099*c_1001_2^7 + 7460*c_1001_2^6 - 3528*c_1001_2^5 - 1244*c_1001_2^4 + 1755*c_1001_2^3 - 622*c_1001_2^2 + 93*c_1001_2 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB