Magma V2.19-8 Tue Aug 20 2013 16:16:46 on localhost [Seed = 3120047478] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1044 geometric_solution 4.92122861 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 0213 0132 0132 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 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.521864419462 1.197278740940 0 3 0 2 0132 3120 0213 2031 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 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.694068090708 0.701879180702 4 1 4 0 0132 1302 2310 0132 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 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.632136779899 0.469773649467 5 1 0 5 0132 3120 0132 1023 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 1 -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.489532699587 0.585721885008 2 2 4 4 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567547147530 0.113289161154 3 6 6 3 0132 0132 3201 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 -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 1.269203051315 0.401602137356 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.568768797387 0.199217352757 ==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' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_2'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_0']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : negation(d['c_1001_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_2, c_0101_0, c_0101_2, c_0101_5, c_0101_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 3936073072039954821985762379128868454611/33621711778442746429024616\ 4383961032*c_1001_0^30 + 13784276124010567713681695481289533932939/\ 336217117784427464290246164383961032*c_1001_0^29 + 6863856233304248473615589648758719895433/33621711778442746429024616\ 4383961032*c_1001_0^28 + 868513700109031568151273100139090968429/25\ 862855214186728022326628029535464*c_1001_0^27 - 10964728182829150104336457239798376991569/1681085588922137321451230\ 82191980516*c_1001_0^26 + 15045925735443010156029604927541845651023\ 7/336217117784427464290246164383961032*c_1001_0^25 - 23547758650717605348998824076874424001283/1681085588922137321451230\ 82191980516*c_1001_0^24 - 53907063856283156266864287919967486914744\ 3/336217117784427464290246164383961032*c_1001_0^23 + 62387448120374114246934302615106689634820/4202713972305343303628077\ 0547995129*c_1001_0^22 - 138614381373434829482021692046360917665393\ /84054279446106866072561541095990258*c_1001_0^21 + 143528252430095347513845710050160016938609/840542794461068660725615\ 41095990258*c_1001_0^20 - 81418523967785188693541762301947700013621\ /168108558892213732145123082191980516*c_1001_0^19 + 86713525189912160398229383202453395546919/2586285521418672802232662\ 8029535464*c_1001_0^18 + 43183256337723884293655536791573992148381/\ 25862855214186728022326628029535464*c_1001_0^17 - 4483100219079156162580128257218980269247691/33621711778442746429024\ 6164383961032*c_1001_0^16 + 507094180069099135747802443931263293510\ 77/3232856901773341002790828503691933*c_1001_0^15 - 6966330455429976552754702125228301067915935/33621711778442746429024\ 6164383961032*c_1001_0^14 + 497376969952766473316834927581148237678\ 171/25862855214186728022326628029535464*c_1001_0^13 - 1267503150135978112390989850394630512701151/33621711778442746429024\ 6164383961032*c_1001_0^12 - 170187629771140430639259811701767288643\ 7229/336217117784427464290246164383961032*c_1001_0^11 + 3978648207019909786352026549398989556433015/33621711778442746429024\ 6164383961032*c_1001_0^10 - 116884266544395210521776161745655256941\ 0249/84054279446106866072561541095990258*c_1001_0^9 + 1738512686483772262662729446326537502274047/33621711778442746429024\ 6164383961032*c_1001_0^8 + 7864983394791991591850666007398463385553\ 85/336217117784427464290246164383961032*c_1001_0^7 - 1631371293406320260409810682583564588893491/33621711778442746429024\ 6164383961032*c_1001_0^6 + 5011681273862030045482570269783113950926\ 51/168108558892213732145123082191980516*c_1001_0^5 + 156432980226928484186620946935214144851997/336217117784427464290246\ 164383961032*c_1001_0^4 - 35491541635405800463973416117850462787250\ 7/336217117784427464290246164383961032*c_1001_0^3 + 6933831597852515325999079861376585514959/42027139723053433036280770\ 547995129*c_1001_0^2 + 31526725411395915151804206587169549472347/33\ 6217117784427464290246164383961032*c_1001_0 - 7896250103548957592429091592213997450929/33621711778442746429024616\ 4383961032, c_0011_0 - 1, c_0011_2 - 18528476000046829268447861374747240454/420271397230534330362\ 80770547995129*c_1001_0^30 + 64811585863873846814316401109562778985\ /42027139723053433036280770547995129*c_1001_0^29 + 32531066916612209451432035978541822869/4202713972305343303628077054\ 7995129*c_1001_0^28 + 4108492704566594164859275412182063638/3232856\ 901773341002790828503691933*c_1001_0^27 - 102850306757889367205727961583629355968/420271397230534330362807705\ 47995129*c_1001_0^26 + 708073464831319620672484973627900282689/4202\ 7139723053433036280770547995129*c_1001_0^25 - 218900372030294110693330192681997049389/420271397230534330362807705\ 47995129*c_1001_0^24 - 2536844889538723789256668025855825265813/420\ 27139723053433036280770547995129*c_1001_0^23 + 2339579086629897789890914065455699764839/42027139723053433036280770\ 547995129*c_1001_0^22 - 2606257467077218436201500945881628411622/42\ 027139723053433036280770547995129*c_1001_0^21 + 2693845213640400392753145192567734701342/42027139723053433036280770\ 547995129*c_1001_0^20 - 760462137049679624236450583291511927150/420\ 27139723053433036280770547995129*c_1001_0^19 + 408206416133064805732450367332727008059/323285690177334100279082850\ 3691933*c_1001_0^18 + 204971922940256363866080723693718865253/32328\ 56901773341002790828503691933*c_1001_0^17 - 21079664861782640268497860501266377912685/4202713972305343303628077\ 0547995129*c_1001_0^16 + 1904142959431807276986269405900913483914/3\ 232856901773341002790828503691933*c_1001_0^15 - 32733391576986956062075121915100156482877/4202713972305343303628077\ 0547995129*c_1001_0^14 + 2333566010023122222937137710393490120410/3\ 232856901773341002790828503691933*c_1001_0^13 - 5899733342808740233600157633247294965133/42027139723053433036280770\ 547995129*c_1001_0^12 - 7999078198634727918543932040940727177784/42\ 027139723053433036280770547995129*c_1001_0^11 + 18705632535048531951942048099529083580694/4202713972305343303628077\ 0547995129*c_1001_0^10 - 21945652706955457085291019420014088883251/\ 42027139723053433036280770547995129*c_1001_0^9 + 8129751649954855977538475161529829322951/42027139723053433036280770\ 547995129*c_1001_0^8 + 3706065680299033311629643707779606742379/420\ 27139723053433036280770547995129*c_1001_0^7 - 7664343725619178899357597774064820555342/42027139723053433036280770\ 547995129*c_1001_0^6 + 4696608107397297772738140472218130546341/420\ 27139723053433036280770547995129*c_1001_0^5 + 743254895859388820018328160318687779487/420271397230534330362807705\ 47995129*c_1001_0^4 - 1664388062162895312818220434364410073288/4202\ 7139723053433036280770547995129*c_1001_0^3 + 258505236032031265431371441864030682362/420271397230534330362807705\ 47995129*c_1001_0^2 + 148025674212444142082084548084675873837/42027\ 139723053433036280770547995129*c_1001_0 - 36974418380066727118418648411481512801/4202713972305343303628077054\ 7995129, c_0101_0 + 36974418380066727118418648411481512801/420271397230534330362\ 80770547995129*c_1001_0^30 - 12936919752022007920522673227117881075\ 0/42027139723053433036280770547995129*c_1001_0^29 - 64811585863873846814316401109562778985/4202713972305343303628077054\ 7995129*c_1001_0^28 - 8190761821288127976020717907808065267/3232856\ 901773341002790828503691933*c_1001_0^27 + 205410523501101365685759958522003762313/420271397230534330362807705\ 47995129*c_1001_0^26 - 1413100846824846444649436623287112668873/420\ 27139723053433036280770547995129*c_1001_0^25 + 438133504950748919998493127128026614142/420271397230534330362807705\ 47995129*c_1001_0^24 + 5062549179819035363206173134586075226320/420\ 27139723053433036280770547995129*c_1001_0^23 - 4673166694574287998834968414383069730382/42027139723053433036280770\ 547995129*c_1001_0^22 + 5203202262903714542266490210486528846565/42\ 027139723053433036280770547995129*c_1001_0^21 - 5380216903017194621376927110998378353394/42027139723053433036280770\ 547995129*c_1001_0^20 + 1521238481687206498746580726341157757972/42\ 027139723053433036280770547995129*c_1001_0^19 - 814668023510061969316774959925639423289/323285690177334100279082850\ 3691933*c_1001_0^18 - 408206416133064805732450367332727008059/32328\ 56901773341002790828503691933*c_1001_0^17 + 42074411241657407083027515169874285240921/4202713972305343303628077\ 0547995129*c_1001_0^16 - 3802350076077277565102038616879143615294/3\ 232856901773341002790828503691933*c_1001_0^15 + 65352799119609119386764743902068571405155/4202713972305343303628077\ 0547995129*c_1001_0^14 - 4660772339561651014216426667344552448219/3\ 232856901773341002790828503691933*c_1001_0^13 + 11814478822975480016814468953973553027810/4202713972305343303628077\ 0547995129*c_1001_0^12 + 15956775142186890009810030001170266447005/\ 42027139723053433036280770547995129*c_1001_0^11 - 37331558735327079528637330911535607516242/4202713972305343303628077\ 0547995129*c_1001_0^10 + 43818108945644303605303886364286154565797/\ 42027139723053433036280770547995129*c_1001_0^9 - 16248921479653472028035444389046313840182/4202713972305343303628077\ 0547995129*c_1001_0^8 - 7390263282353521435170102193300199066931/42\ 027139723053433036280770547995129*c_1001_0^7 + 15298785367055264427237541575721890837335/4202713972305343303628077\ 0547995129*c_1001_0^6 - 9380863147591582302233399143628156845919/42\ 027139723053433036280770547995129*c_1001_0^5 - 1479833708331492513435718060419238932654/42027139723053433036280770\ 547995129*c_1001_0^4 + 3323931125947951163007723164944278628623/420\ 27139723053433036280770547995129*c_1001_0^3 - 517102622261041587168479821912999181971/420271397230534330362807705\ 47995129*c_1001_0^2 - 295479654412097992549790090275512195163/42027\ 139723053433036280770547995129*c_1001_0 + 73862863207679274061463623154761198098/4202713972305343303628077054\ 7995129, c_0101_2 + 82007298958452181233302439022912046730/420271397230534330362\ 80770547995129*c_1001_0^30 - 28694347913810019953841461315074996576\ 0/42027139723053433036280770547995129*c_1001_0^29 - 143731895972382788044153587038461281174/420271397230534330362807705\ 47995129*c_1001_0^28 - 18161860999011039012792242565078874529/32328\ 56901773341002790828503691933*c_1001_0^27 + 455670457280737674222623578369258672096/420271397230534330362807705\ 47995129*c_1001_0^26 - 3134131101299684130211568071223457273587/420\ 27139723053433036280770547995129*c_1001_0^25 + 972112210855905796691554478144892693112/420271397230534330362807705\ 47995129*c_1001_0^24 + 11229011973555116883235658161918156310255/42\ 027139723053433036280770547995129*c_1001_0^23 - 10365888803587373367233460913223549027825/4202713972305343303628077\ 0547995129*c_1001_0^22 + 11539821762520286438589824234074584356852/\ 42027139723053433036280770547995129*c_1001_0^21 - 11933530532936153411081776584704310942922/4202713972305343303628077\ 0547995129*c_1001_0^20 + 3372986121681615369417202922391450932358/4\ 2027139723053433036280770547995129*c_1001_0^19 - 1806819236530845152410052197766659715121/32328569017733410027908285\ 03691933*c_1001_0^18 - 905249355557915386534019003114291049327/3232\ 856901773341002790828503691933*c_1001_0^17 + 93325149193242268048500659341843079883150/4202713972305343303628077\ 0547995129*c_1001_0^16 - 8433861764290097694069706523527040601276/3\ 232856901773341002790828503691933*c_1001_0^15 + 144948755247988426807289021020141513920674/420271397230534330362807\ 70547995129*c_1001_0^14 - 10337546781509054532729642700905629065017\ /3232856901773341002790828503691933*c_1001_0^13 + 26194813207781270656245266931404034040409/4202713972305343303628077\ 0547995129*c_1001_0^12 + 35405951327180233390189637673026148500208/\ 42027139723053433036280770547995129*c_1001_0^11 - 82809598681830866462172744484072996847961/4202713972305343303628077\ 0547995129*c_1001_0^10 + 97196730951140592786296750094216482261640/\ 42027139723053433036280770547995129*c_1001_0^9 - 36040944191610144710915534131850238694648/4202713972305343303628077\ 0547995129*c_1001_0^8 - 16396333165746699870277984099122654268848/4\ 2027139723053433036280770547995129*c_1001_0^7 + 33936993647698291245674559276219972269583/4202713972305343303628077\ 0547995129*c_1001_0^6 - 20809304294345965204610473242976025759301/4\ 2027139723053433036280770547995129*c_1001_0^5 - 3282619418446052271409399171753446896982/42027139723053433036280770\ 547995129*c_1001_0^4 + 7373689779449369035001139964633224252760/420\ 27139723053433036280770547995129*c_1001_0^3 - 1146915133700827709173452657916740370220/42027139723053433036280770\ 547995129*c_1001_0^2 - 655536883979932074007475406282644827614/4202\ 7139723053433036280770547995129*c_1001_0 + 163880766028944495339391011873561474294/420271397230534330362807705\ 47995129, c_0101_5 + 77263596587334377410800689043254670252/420271397230534330362\ 80770547995129*c_1001_0^30 - 27022560271183377594898003005106476419\ 0/42027139723053433036280770547995129*c_1001_0^29 - 135761487912948582871049203689735076523/420271397230534330362807705\ 47995129*c_1001_0^28 - 17143993886894113746931477502773483907/32328\ 56901773341002790828503691933*c_1001_0^27 + 428697456793619554139877448235552640037/420271397230534330362807705\ 47995129*c_1001_0^26 - 2952541169676524884131230581327638802774/420\ 27139723053433036280770547995129*c_1001_0^25 + 911493690701554344323077420003795838430/420271397230534330362807705\ 47995129*c_1001_0^24 + 10578153725987261878869632433218729454598/42\ 027139723053433036280770547995129*c_1001_0^23 - 9750746178880648161193015881692516817894/42027139723053433036280770\ 547995129*c_1001_0^22 + 10867071755449875303077273024732550562839/4\ 2027139723053433036280770547995129*c_1001_0^21 - 11229817550353299563853966789290122015739/4202713972305343303628077\ 0547995129*c_1001_0^20 + 3168347183356139883117563815352995733621/4\ 2027139723053433036280770547995129*c_1001_0^19 - 1702331621581662171005598802299826750200/32328569017733410027908285\ 03691933*c_1001_0^18 - 855606012670377767085208624683255560260/3232\ 856901773341002790828503691933*c_1001_0^17 + 87888592487952522040777188935530036626607/4202713972305343303628077\ 0547995129*c_1001_0^16 - 7937419818086546871175113242701765100116/3\ 232856901773341002790828503691933*c_1001_0^15 + 136475874986979985375440793974881954935561/420271397230534330362807\ 70547995129*c_1001_0^14 - 9727583832335042070702128722563471121054/\ 3232856901773341002790828503691933*c_1001_0^13 + 24576480566888656292332331456243404903033/4202713972305343303628077\ 0547995129*c_1001_0^12 + 33338465582042303664708263634391394076370/\ 42027139723053433036280770547995129*c_1001_0^11 - 77990672224682825051814174028627516116248/4202713972305343303628077\ 0547995129*c_1001_0^10 + 91484053811034425531580263177535600039608/\ 42027139723053433036280770547995129*c_1001_0^9 - 33878352725010737887941378180094521553666/4202713972305343303628077\ 0547995129*c_1001_0^8 - 15448247263694004590061538526969507412819/4\ 2027139723053433036280770547995129*c_1001_0^7 + 31951101279733133342636856109987979079218/4202713972305343303628077\ 0547995129*c_1001_0^6 - 19575481826880936194028860824042085679350/4\ 2027139723053433036280770547995129*c_1001_0^5 - 3100585444004242487249854078668215861214/42027139723053433036280770\ 547995129*c_1001_0^4 + 6935779158902605940671904286730051787147/420\ 27139723053433036280770547995129*c_1001_0^3 - 1077204680288601246924020486141876632601/42027139723053433036280770\ 547995129*c_1001_0^2 - 616309482018098333487209463250845853689/4202\ 7139723053433036280770547995129*c_1001_0 + 154115499931684033924072850509103134354/420271397230534330362807705\ 47995129, c_0101_6 - 30432414783446464064794521225633731170/420271397230534330362\ 80770547995129*c_1001_0^30 + 10507510420945226210202952821598738341\ 2/42027139723053433036280770547995129*c_1001_0^29 + 57527431855879117558440109494658386390/4202713972305343303628077054\ 7995129*c_1001_0^28 + 7100192459845789885387144785352359305/3232856\ 901773341002790828503691933*c_1001_0^27 - 162691306072186936954218303594508682478/420271397230534330362807705\ 47995129*c_1001_0^26 + 1158581323108220209672802050986625033410/420\ 27139723053433036280770547995129*c_1001_0^25 - 309347184379690644329166903580003016373/420271397230534330362807705\ 47995129*c_1001_0^24 - 4156611802278119723479410073933417624194/420\ 27139723053433036280770547995129*c_1001_0^23 + 3658365099346295219045309906961292402879/42027139723053433036280770\ 547995129*c_1001_0^22 - 4202201551062158542305904746156682198908/42\ 027139723053433036280770547995129*c_1001_0^21 + 4275600212367072028925641240448295528904/42027139723053433036280770\ 547995129*c_1001_0^20 - 1131230770368724992512453587048498786567/42\ 027139723053433036280770547995129*c_1001_0^19 + 671290392818396405203201962715802590673/323285690177334100279082850\ 3691933*c_1001_0^18 + 366876830142885197602769905626048134024/32328\ 56901773341002790828503691933*c_1001_0^17 - 34216375181127607453858343193857330758490/4202713972305343303628077\ 0547995129*c_1001_0^16 + 3022543217603495472997469784522271501143/3\ 232856901773341002790828503691933*c_1001_0^15 - 52636141403409375454493132496588774042783/4202713972305343303628077\ 0547995129*c_1001_0^14 + 3693504917127401670347589032960734463655/3\ 232856901773341002790828503691933*c_1001_0^13 - 8428604783921630553207326930846779968497/42027139723053433036280770\ 547995129*c_1001_0^12 - 12849489444257421403399134745636103724759/4\ 2027139723053433036280770547995129*c_1001_0^11 + 30203758458467163470608474835974013154508/4202713972305343303628077\ 0547995129*c_1001_0^10 - 34886021665345189870288846003063679750422/\ 42027139723053433036280770547995129*c_1001_0^9 + 12316097386325411835031625039971117977647/4202713972305343303628077\ 0547995129*c_1001_0^8 + 6131758724430524592781212497214440618290/42\ 027139723053433036280770547995129*c_1001_0^7 - 12251174852876469237979871900672812666280/4202713972305343303628077\ 0547995129*c_1001_0^6 + 7294901264681527688825150765772127454763/42\ 027139723053433036280770547995129*c_1001_0^5 + 1358337659354897172488447429216232557671/42027139723053433036280770\ 547995129*c_1001_0^4 - 2601195453303848938775744905616283216806/420\ 27139723053433036280770547995129*c_1001_0^3 + 362173442104470926470805162423594150238/420271397230534330362807705\ 47995129*c_1001_0^2 + 231264981723748591119311820909837932386/42027\ 139723053433036280770547995129*c_1001_0 - 54865274858574313282191466008228585882/4202713972305343303628077054\ 7995129, c_1001_0^31 - 4*c_1001_0^30 - 2*c_1001_0^28 + 7*c_1001_0^27 - 41*c_1001_0^26 + 31*c_1001_0^25 + 131*c_1001_0^24 - 195*c_1001_0^23 + 204*c_1001_0^22 - 216*c_1001_0^21 + 114*c_1001_0^20 - 307*c_1001_0^19 + 1210*c_1001_0^17 - 1907*c_1001_0^16 + 2437*c_1001_0^15 - 2524*c_1001_0^14 + 1140*c_1001_0^13 + 272*c_1001_0^12 - 1226*c_1001_0^11 + 1691*c_1001_0^10 - 1033*c_1001_0^9 + 20*c_1001_0^8 + 514*c_1001_0^7 - 461*c_1001_0^6 + 87*c_1001_0^5 + 110*c_1001_0^4 - 59*c_1001_0^3 - c_1001_0^2 + 6*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB