Magma V2.19-8 Tue Aug 20 2013 17:55:41 on localhost [Seed = 678010878] Type ? for help. Type -D to quit. Loading file "10_17__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_17 geometric_solution 8.53675560 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 0321 0132 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 1 0 -1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 1.143985389514 0 4 6 5 0132 0132 0132 0132 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 -1 0 1 -2 0 0 2 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.170215420637 0.782678686800 4 0 0 7 0132 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 -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.500000000000 1.143985389514 6 6 0 5 0321 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 -1 0 0 2 -2 1 1 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.000593959524 1.016975743932 2 1 8 9 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 1 -1 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.458821004066 0.656538271864 9 6 1 3 0321 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 0 0 -2 2 -1 -1 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779600612162 1.390472641697 3 5 3 1 0321 0132 0213 0132 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 0 0 0 1 0 -1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516388722609 0.990869714795 8 9 2 9 2310 2310 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.490995028733 1.516613056633 8 8 7 4 1230 3012 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 -1 0 1 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 -0.007977710867 0.491232402093 5 7 4 7 0321 1302 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.490995028733 1.516613056633 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0011_8']), 's_2_8' : d['1'], 's_2_9' : 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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_0011_7']), 'c_1100_5' : d['c_1010_3'], 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : d['c_1001_0'], 'c_1100_6' : d['c_1010_3'], 'c_1100_1' : d['c_1010_3'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : d['c_1010_3'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : negation(d['c_0101_8']), 's_3_1' : negation(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' : 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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_5'], '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_7'], 'c_0011_6' : negation(d['c_0011_5']), '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' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_0']), 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : d['c_0011_8'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : d['c_0011_8'], 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_8, c_1001_0, c_1001_2, c_1010_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 333510720911796423307160450575315047840461752151588432/148771668637\ 05309692738170334438952960779940934138935*c_1010_3^19 + 41575642989795026433970569344469510708328162461490766122/1487716686\ 3705309692738170334438952960779940934138935*c_1010_3^18 - 300580048862261048759838900630750609741546462313312255652/148771668\ 63705309692738170334438952960779940934138935*c_1010_3^17 + 227607779668328259559087638240824274484756504531147512233/297543337\ 2741061938547634066887790592155988186827787*c_1010_3^16 - 869434593199217880609059352196860176988161096125527590801/495905562\ 1235103230912723444812984320259980311379645*c_1010_3^15 + 756766797271428969027068176474701203697008534431069373221/297543337\ 2741061938547634066887790592155988186827787*c_1010_3^14 - 3884555845672574241441209873367192026193075300425847650396/14877166\ 863705309692738170334438952960779940934138935*c_1010_3^13 + 1278235884660740384783910114238399735365027139912168783877/49590556\ 21235103230912723444812984320259980311379645*c_1010_3^12 - 6170571069519940974088281908894612403330869417008715326201/14877166\ 863705309692738170334438952960779940934138935*c_1010_3^11 + 2866731735078629933831724677151358150730710855100991350447/49590556\ 21235103230912723444812984320259980311379645*c_1010_3^10 - 154817000204596389901616391820210230552932660567535250552/330603708\ 082340215394181562987532288017332020758643*c_1010_3^9 + 338499934114761954989383369262508609994237390887508426151/165301854\ 0411701076970907814937661440086660103793215*c_1010_3^8 - 159106638804454408745265046061033801376058718309697587149/297543337\ 2741061938547634066887790592155988186827787*c_1010_3^7 + 13616953082918789618921094555952422107581499965310504047/4959055621\ 235103230912723444812984320259980311379645*c_1010_3^6 + 26860783578626172958592066875197292887773410031510386308/1653018540\ 411701076970907814937661440086660103793215*c_1010_3^5 - 215676047825771252412394064211145784729093034060300913246/148771668\ 63705309692738170334438952960779940934138935*c_1010_3^4 - 5336481159426320250811339833301264244420096963561466863/14877166863\ 705309692738170334438952960779940934138935*c_1010_3^3 + 32438061806515906176197639727413008591899687191108972477/1487716686\ 3705309692738170334438952960779940934138935*c_1010_3^2 - 4132046654761718528816599609122137119306555564790943824/49590556212\ 35103230912723444812984320259980311379645*c_1010_3 + 1429361240979958866380924634625850411787036323685922058/49590556212\ 35103230912723444812984320259980311379645, c_0011_0 - 1, c_0011_3 + 10501224690068958466988446054400224657101900081/609295444309\ 510164751532552501902484366627388055*c_1010_3^19 - 1293532701397569892527018541372181764187268381601/60929544430951016\ 4751532552501902484366627388055*c_1010_3^18 + 7533592834475966583085070013883269714488247739286/60929544430951016\ 4751532552501902484366627388055*c_1010_3^17 - 4573683295950692671861712360696632851573409530018/12185908886190203\ 2950306510500380496873325477611*c_1010_3^16 + 36260867920203020484937003454519616830992844061579/6092954443095101\ 64751532552501902484366627388055*c_1010_3^15 - 4683941138648999413465244541717163230170468208975/12185908886190203\ 2950306510500380496873325477611*c_1010_3^14 + 1211327985560975461196671855350998010560816541953/60929544430951016\ 4751532552501902484366627388055*c_1010_3^13 - 12129191406517798565287100275861251901124462986243/6092954443095101\ 64751532552501902484366627388055*c_1010_3^12 + 82999602256223988929407304269590265007667798719628/6092954443095101\ 64751532552501902484366627388055*c_1010_3^11 - 51856668417241277158123112263044525584184211251253/6092954443095101\ 64751532552501902484366627388055*c_1010_3^10 - 10624706524057827465135568754867955461140892804512/1218590888619020\ 32950306510500380496873325477611*c_1010_3^9 + 63686895190420287865246938600792902225399413308943/6092954443095101\ 64751532552501902484366627388055*c_1010_3^8 - 2199713907532701126136718287704707675123603405467/12185908886190203\ 2950306510500380496873325477611*c_1010_3^7 + 3922321754476723608297495763600859511488816524862/60929544430951016\ 4751532552501902484366627388055*c_1010_3^6 - 410086490567076419019248794052784275946207395601/609295444309510164\ 751532552501902484366627388055*c_1010_3^5 - 4227974260260126984588056949158850103303948660097/60929544430951016\ 4751532552501902484366627388055*c_1010_3^4 + 4753582206852903789854339027570918789874888067889/60929544430951016\ 4751532552501902484366627388055*c_1010_3^3 + 2237277889814011347356617013436841849622465004684/60929544430951016\ 4751532552501902484366627388055*c_1010_3^2 + 358400455736439435844031724882924717337041392401/609295444309510164\ 751532552501902484366627388055*c_1010_3 + 231242953061205826842672316490684640667015642588/609295444309510164\ 751532552501902484366627388055, c_0011_5 - 13899246553479813870818269050542357827764792097/609295444309\ 510164751532552501902484366627388055*c_1010_3^19 + 1713309547984074519608864354997176916560735076637/60929544430951016\ 4751532552501902484366627388055*c_1010_3^18 - 10120212368221522023038619094658845036531349683542/6092954443095101\ 64751532552501902484366627388055*c_1010_3^17 + 6219694736981980271315504619916688253315379656396/12185908886190203\ 2950306510500380496873325477611*c_1010_3^16 - 50420426456885205688394152441979682449968340853668/6092954443095101\ 64751532552501902484366627388055*c_1010_3^15 + 6934445457130448275378694571424175754864877278260/12185908886190203\ 2950306510500380496873325477611*c_1010_3^14 - 4068537077922831082701658143359060356502079612726/60929544430951016\ 4751532552501902484366627388055*c_1010_3^13 + 17884268375840051435421898020882397249033276045756/6092954443095101\ 64751532552501902484366627388055*c_1010_3^12 - 115249405337100195291449901210572523177834865381646/609295444309510\ 164751532552501902484366627388055*c_1010_3^11 + 81936517399089743049915421963805595773146239079346/6092954443095101\ 64751532552501902484366627388055*c_1010_3^10 + 12686639614806339171100344852463805865471637728882/1218590888619020\ 32950306510500380496873325477611*c_1010_3^9 - 87212407868747616749951499009182165623160891675601/6092954443095101\ 64751532552501902484366627388055*c_1010_3^8 + 2144137555216437745157087352725146979461940950051/12185908886190203\ 2950306510500380496873325477611*c_1010_3^7 + 3988496165441331867249429888583074636342108799656/60929544430951016\ 4751532552501902484366627388055*c_1010_3^6 - 1932975229372079027851884541858561845185624330108/60929544430951016\ 4751532552501902484366627388055*c_1010_3^5 + 6170247315580899402156185341781497705582216286979/60929544430951016\ 4751532552501902484366627388055*c_1010_3^4 - 6839662283244391671398368590961384692747170328518/60929544430951016\ 4751532552501902484366627388055*c_1010_3^3 - 3180807052375104620443631849483831771395235321818/60929544430951016\ 4751532552501902484366627388055*c_1010_3^2 - 167306766446095100754471954167753973613354806327/609295444309510164\ 751532552501902484366627388055*c_1010_3 - 260226962719127334528390956485601977082195397916/609295444309510164\ 751532552501902484366627388055, c_0011_7 - 51412762070104513710604412633566642589099584361/609295444309\ 510164751532552501902484366627388055*c_1010_3^19 + 6362353122159123008717321566471189879649738765981/60929544430951016\ 4751532552501902484366627388055*c_1010_3^18 - 40524435128649553840135356035518031717533607939781/6092954443095101\ 64751532552501902484366627388055*c_1010_3^17 + 27181105419172753144193409836480500747435663775991/1218590888619020\ 32950306510500380496873325477611*c_1010_3^16 - 260325109661277351316207728933837537959659046125024/609295444309510\ 164751532552501902484366627388055*c_1010_3^15 + 56247896580820962690585045520217317105506189420546/1218590888619020\ 32950306510500380496873325477611*c_1010_3^14 - 202788175668579462042764329462282228332403391134848/609295444309510\ 164751532552501902484366627388055*c_1010_3^13 + 219326267906133899077701577647227703105079274068648/609295444309510\ 164751532552501902484366627388055*c_1010_3^12 - 569815946942630313745238982893993519074482986521853/609295444309510\ 164751532552501902484366627388055*c_1010_3^11 + 617714889146632591341272904786124945425639451694938/609295444309510\ 164751532552501902484366627388055*c_1010_3^10 - 34636758756548909559819748024362556648464794572717/1218590888619020\ 32950306510500380496873325477611*c_1010_3^9 - 117823636802892118690765460918500805889662386502228/609295444309510\ 164751532552501902484366627388055*c_1010_3^8 + 13415432589165151054352922687935481748500418184062/1218590888619020\ 32950306510500380496873325477611*c_1010_3^7 - 52378255132677348575922522973816157205250005353702/6092954443095101\ 64751532552501902484366627388055*c_1010_3^6 + 40101990927810125767767101870068953523556549045741/6092954443095101\ 64751532552501902484366627388055*c_1010_3^5 - 8010246437143508460630919574025476680582804838763/60929544430951016\ 4751532552501902484366627388055*c_1010_3^4 - 16376150514411381234038400926259440182817325377509/6092954443095101\ 64751532552501902484366627388055*c_1010_3^3 - 3829269845432652632780424363415934967097413161759/60929544430951016\ 4751532552501902484366627388055*c_1010_3^2 - 837671356291985288766529439669948115594701809471/609295444309510164\ 751532552501902484366627388055*c_1010_3 - 479422312054978287412466297332038645493714064178/609295444309510164\ 751532552501902484366627388055, c_0011_8 + 10714729022551512448374767856914544847029372248/121859088861\ 902032950306510500380496873325477611*c_1010_3^19 - 1325963377795583950089884047294971483689242315298/12185908886190203\ 2950306510500380496873325477611*c_1010_3^18 + 8446497325181582058627504078043076221147325672158/12185908886190203\ 2950306510500380496873325477611*c_1010_3^17 - 28287194957865623403537345355255481481154554360988/1218590888619020\ 32950306510500380496873325477611*c_1010_3^16 + 54010278826773792447445138581250209793689204549162/1218590888619020\ 32950306510500380496873325477611*c_1010_3^15 - 57805042229656205519375527795698027820647226360164/1218590888619020\ 32950306510500380496873325477611*c_1010_3^14 + 40831410455406854111448540855566955998753939823904/1218590888619020\ 32950306510500380496873325477611*c_1010_3^13 - 44497713378021399507853181344568427445762825209109/1218590888619020\ 32950306510500380496873325477611*c_1010_3^12 + 118301438322857131951156063374583893311977641746213/121859088861902\ 032950306510500380496873325477611*c_1010_3^11 - 128120242882814995451681261188593821924607077590063/121859088861902\ 032950306510500380496873325477611*c_1010_3^10 + 32909377992167105155931071465690863340709032325267/1218590888619020\ 32950306510500380496873325477611*c_1010_3^9 + 27472792261736346075024691216141636900588496089615/1218590888619020\ 32950306510500380496873325477611*c_1010_3^8 - 13346370502529190253836172486661947096543271460152/1218590888619020\ 32950306510500380496873325477611*c_1010_3^7 + 8895888222672389290547955847727621532819017879752/12185908886190203\ 2950306510500380496873325477611*c_1010_3^6 - 7821762752264142960681052402423788503937584445792/12185908886190203\ 2950306510500380496873325477611*c_1010_3^5 + 2026907763987289593509478242004516039084430412941/12185908886190203\ 2950306510500380496873325477611*c_1010_3^4 + 3298534876633294981357380826363958142585799275132/12185908886190203\ 2950306510500380496873325477611*c_1010_3^3 + 783172529241907848651024896089477477198729536692/121859088861902032\ 950306510500380496873325477611*c_1010_3^2 + 160695451657342329301404984435353803218678998041/121859088861902032\ 950306510500380496873325477611*c_1010_3 + 135063093831615830955004034182552363833830723912/121859088861902032\ 950306510500380496873325477611, c_0101_0 + 10721469594671926416923068248669451913236487813/609295444309\ 510164751532552501902484366627388055*c_1010_3^19 - 1321845681786178975351081407435607520071342158728/60929544430951016\ 4751532552501902484366627388055*c_1010_3^18 + 7840533589968388451962288816167894616641825111198/60929544430951016\ 4751532552501902484366627388055*c_1010_3^17 - 4917772254637583606532654796032285709602153443037/12185908886190203\ 2950306510500380496873325477611*c_1010_3^16 + 42066937167967667299872686667733456780895283439562/6092954443095101\ 64751532552501902484366627388055*c_1010_3^15 - 7245722126832101990850719752497066896445618321058/12185908886190203\ 2950306510500380496873325477611*c_1010_3^14 + 19527496051487859091919509578397281209891141244579/6092954443095101\ 64751532552501902484366627388055*c_1010_3^13 - 29335161611193394374412281021616534378717093281889/6092954443095101\ 64751532552501902484366627388055*c_1010_3^12 + 98340217837329624710216583990309723873138896469534/6092954443095101\ 64751532552501902484366627388055*c_1010_3^11 - 75581898584232118853384559995760885170927774635454/6092954443095101\ 64751532552501902484366627388055*c_1010_3^10 - 2756108975672165201609183957007044722262139226307/12185908886190203\ 2950306510500380496873325477611*c_1010_3^9 + 34244571359722449754125775232811364783764889301194/6092954443095101\ 64751532552501902484366627388055*c_1010_3^8 - 1450832001592250984562019868722330759260932857252/12185908886190203\ 2950306510500380496873325477611*c_1010_3^7 + 11792582343609884366233456543782086868886265386186/6092954443095101\ 64751532552501902484366627388055*c_1010_3^6 - 5260328369630041955554365163968657237867492870108/60929544430951016\ 4751532552501902484366627388055*c_1010_3^5 - 2199771542254499916716466581370692289350217419331/60929544430951016\ 4751532552501902484366627388055*c_1010_3^4 + 4322986955488205973100650885298857710691183957192/60929544430951016\ 4751532552501902484366627388055*c_1010_3^3 + 2610688432978872487859580838392411201847625451642/60929544430951016\ 4751532552501902484366627388055*c_1010_3^2 + 1074857582378726116149861979449265762865085946308/60929544430951016\ 4751532552501902484366627388055*c_1010_3 + 12261145670387413557574461327881192096087754934/6092954443095101647\ 51532552501902484366627388055, c_0101_8 - 16991511047723352859476379773720972188628996232/609295444309\ 510164751532552501902484366627388055*c_1010_3^19 + 2105193861425544617498333926580728438582483994322/60929544430951016\ 4751532552501902484366627388055*c_1010_3^18 - 13700705894499747283386513364545367855139620372992/6092954443095101\ 64751532552501902484366627388055*c_1010_3^17 + 9374862283318938219874775615142878306888008419455/12185908886190203\ 2950306510500380496873325477611*c_1010_3^16 - 92515006742916101986299178073033286375043703293143/6092954443095101\ 64751532552501902484366627388055*c_1010_3^15 + 20994934698611982179340606209353205965264486684049/1218590888619020\ 32950306510500380496873325477611*c_1010_3^14 - 78808399092143326237588921683693310779257276345836/6092954443095101\ 64751532552501902484366627388055*c_1010_3^13 + 79032123308293410731866885838380594335008960027021/6092954443095101\ 64751532552501902484366627388055*c_1010_3^12 - 195838698807241213717565401898648905439818415824706/609295444309510\ 164751532552501902484366627388055*c_1010_3^11 + 230043779717127996256410712705661170771305589128536/609295444309510\ 164751532552501902484366627388055*c_1010_3^10 - 17058829981359846558975158616554911424449276587186/1218590888619020\ 32950306510500380496873325477611*c_1010_3^9 - 37360897053963542171301556242324099946952099536556/6092954443095101\ 64751532552501902484366627388055*c_1010_3^8 + 6913222354308513598287231909927537605996721069498/12185908886190203\ 2950306510500380496873325477611*c_1010_3^7 - 20893015603612947392681433174204713466810815920934/6092954443095101\ 64751532552501902484366627388055*c_1010_3^6 + 11949754490672057957256997605499593846296987854847/6092954443095101\ 64751532552501902484366627388055*c_1010_3^5 - 2457301822218563303400853629733853503043552560876/60929544430951016\ 4751532552501902484366627388055*c_1010_3^4 - 4941502903365999062056753762258089719349726840208/60929544430951016\ 4751532552501902484366627388055*c_1010_3^3 - 666828555082762785655636077905748424190885407178/609295444309510164\ 751532552501902484366627388055*c_1010_3^2 + 70490887350741980506296216686667866073432146508/6092954443095101647\ 51532552501902484366627388055*c_1010_3 - 405773577031056238152048395524100590164296090906/609295444309510164\ 751532552501902484366627388055, c_1001_0 + 23613270570331586385861505103125166856754416971/609295444309\ 510164751532552501902484366627388055*c_1010_3^19 - 2915294504230145222356644745185786712418716524691/60929544430951016\ 4751532552501902484366627388055*c_1010_3^18 + 17759641136084137665692842169765296513530981477916/6092954443095101\ 64751532552501902484366627388055*c_1010_3^17 - 11303791369151687761220838134239944750548159609334/1218590888619020\ 32950306510500380496873325477611*c_1010_3^16 + 98127817252735542546748109972323388427305419701884/6092954443095101\ 64751532552501902484366627388055*c_1010_3^15 - 16566234864225894531305263921714991516891350532993/1218590888619020\ 32950306510500380496873325477611*c_1010_3^14 + 31722443977683506686385334208834384591976584432113/6092954443095101\ 64751532552501902484366627388055*c_1010_3^13 - 44382943586486213417176058898322604481229891701123/6092954443095101\ 64751532552501902484366627388055*c_1010_3^12 + 207764312416757296423914725905445013173985778728088/609295444309510\ 164751532552501902484366627388055*c_1010_3^11 - 183230935014600982369888328061535358900747405399658/609295444309510\ 164751532552501902484366627388055*c_1010_3^10 - 10928200055979639339367591230521954286942949787820/1218590888619020\ 32950306510500380496873325477611*c_1010_3^9 + 141631408822445920479375257142276451577614956150863/609295444309510\ 164751532552501902484366627388055*c_1010_3^8 - 9622190788382461467721311105935722892806448117784/12185908886190203\ 2950306510500380496873325477611*c_1010_3^7 + 15634843416709105963413239212812016967761345402457/6092954443095101\ 64751532552501902484366627388055*c_1010_3^6 - 6055421315487127718649071268393936018042588196181/60929544430951016\ 4751532552501902484366627388055*c_1010_3^5 - 6977776701661042133001386745248979998474604801477/60929544430951016\ 4751532552501902484366627388055*c_1010_3^4 + 13615951315408572303609989327535410808848250554484/6092954443095101\ 64751532552501902484366627388055*c_1010_3^3 + 2364352427056946307886545649980323524856068475959/60929544430951016\ 4751532552501902484366627388055*c_1010_3^2 + 477488253475725782258569436213794030408670482396/609295444309510164\ 751532552501902484366627388055*c_1010_3 + 565549729536705157539691108357046869290377168143/609295444309510164\ 751532552501902484366627388055, c_1001_2 - 12877684970098952063898958421342379994011515638/609295444309\ 510164751532552501902484366627388055*c_1010_3^19 + 1591487326402568535667507002599565365987652577308/60929544430951016\ 4751532552501902484366627388055*c_1010_3^18 - 9886096813301583754710496371847587399400340444328/60929544430951016\ 4751532552501902484366627388055*c_1010_3^17 + 6460515823142346313282245395117940564165583723000/12185908886190203\ 2950306510500380496873325477611*c_1010_3^16 - 59135386216699766065549460074035101661481541257772/6092954443095101\ 64751532552501902484366627388055*c_1010_3^15 + 11583840002404902540145406347420305333474967186400/1218590888619020\ 32950306510500380496873325477611*c_1010_3^14 - 34911769582923862866362229483084110337061568231079/6092954443095101\ 64751532552501902484366627388055*c_1010_3^13 + 39881608778197901136627309953227761733688566120409/6092954443095101\ 64751532552501902484366627388055*c_1010_3^12 - 126467183249457749441267430621434957867914224063279/609295444309510\ 164751532552501902484366627388055*c_1010_3^11 + 124720075356241844254699154079902453075308099174439/609295444309510\ 164751532552501902484366627388055*c_1010_3^10 - 1705834412320298717600877587544633290627771426064/12185908886190203\ 2950306510500380496873325477611*c_1010_3^9 - 50910925765447837846972212648258868033132276443674/6092954443095101\ 64751532552501902484366627388055*c_1010_3^8 + 5246964915201755642310837974040494421046723029134/12185908886190203\ 2950306510500380496873325477611*c_1010_3^7 - 15875737357474397149923999732533565769564281827076/6092954443095101\ 64751532552501902484366627388055*c_1010_3^6 + 6563480063069030810596669896814433715504947316303/60929544430951016\ 4751532552501902484366627388055*c_1010_3^5 + 346165237470259478058319989369560380516721704331/609295444309510164\ 751532552501902484366627388055*c_1010_3^4 - 4461266549603291093955374718297629511067058157462/60929544430951016\ 4751532552501902484366627388055*c_1010_3^3 - 922066866991875590508084990361897301839457002552/609295444309510164\ 751532552501902484366627388055*c_1010_3^2 - 936286956464519049607520757200077147678651851418/609295444309510164\ 751532552501902484366627388055*c_1010_3 - 312460633220569396516778289435916704406329470729/609295444309510164\ 751532552501902484366627388055, c_1010_3^20 - 124*c_1010_3^19 + 819*c_1010_3^18 - 2828*c_1010_3^17 + 5644*c_1010_3^16 - 6462*c_1010_3^15 + 4768*c_1010_3^14 - 4622*c_1010_3^13 + 11652*c_1010_3^12 - 14277*c_1010_3^11 + 5199*c_1010_3^10 + 2823*c_1010_3^9 - 2444*c_1010_3^8 + 1222*c_1010_3^7 - 872*c_1010_3^6 + 216*c_1010_3^5 + 385*c_1010_3^4 - 48*c_1010_3^3 - 6*c_1010_3^2 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.310 seconds, Total memory usage: 32.09MB