Magma V2.19-8 Tue Aug 20 2013 17:58:49 on localhost [Seed = 2345287476] Type ? for help. Type -D to quit. Loading file "10_55__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_55 geometric_solution 12.18554063 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 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 1 0 -1 -10 0 10 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.676784348006 0.972799539024 0 4 5 4 0132 0132 0132 1230 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 1 0 -1 10 0 1 -11 -1 1 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492964890307 0.720160530896 0 0 5 6 2031 0132 3012 0132 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 -1 0 1 0 0 0 0 1 0 0 -1 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.518088923812 0.692691658943 7 8 0 4 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.579080672939 0.473519504516 1 1 7 3 3012 0132 3012 0213 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 -1 0 1 1 0 -1 0 11 -11 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653635151495 0.928381937886 8 2 9 1 3120 1230 0132 0132 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 1 -1 -1 -10 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656960641078 1.013444591813 10 10 2 11 0132 1302 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 0 -1 1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222595557655 0.508169496019 3 4 9 8 0132 1230 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591737798064 0.454204609656 7 3 12 5 3120 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.625124358565 0.898385290421 11 12 7 5 0213 0132 3120 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 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489818344188 0.611997310394 6 11 12 6 0132 2103 1302 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 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901240362406 0.589117884861 9 10 6 12 0213 2103 0132 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 1 -1 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.041391776845 0.873017045678 10 9 11 8 2031 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.188391957037 0.589179748324 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_0011_3'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_5']), 'c_1001_9' : negation(d['c_1001_7']), 'c_1001_8' : negation(d['c_1001_7']), 'c_1010_12' : negation(d['c_1001_7']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_10']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : negation(d['c_0011_12']), '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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_7']), 'c_1100_4' : negation(d['c_1001_7']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : negation(d['c_1001_12']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_1001_12']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_12']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_1001_7']), 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_5']), 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : negation(d['c_0011_5']), 'c_1100_8' : negation(d['c_0101_5']), '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' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_5']), '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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_10']), '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_0110_11' : negation(d['c_0101_5']), 'c_0110_10' : d['c_0101_6'], 'c_0110_12' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_7']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_12']), 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_5, c_0101_1, c_0101_2, c_0101_5, c_0101_6, c_0101_7, c_1001_12, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 10512541291316196573209204390940732983/1036388953874300100276204704\ 9210496*c_1001_7^32 + 65526300990576356384357985585902718289/345462\ 9846247667000920682349736832*c_1001_7^31 - 1884369484057063639652845462641266270321/10363889538743001002762047\ 049210496*c_1001_7^30 + 92525853788588576359119327699819773961/7851\ 4314687446977293651871584928*c_1001_7^29 - 59756817572305908629014978430556172984885/1036388953874300100276204\ 7049210496*c_1001_7^28 + 38968992628918289266321139803563132968893/\ 1727314923123833500460341174868416*c_1001_7^27 - 68825967425488093628076775768854561420515/9421717762493637275238224\ 59019136*c_1001_7^26 + 1036271894581379424948253837206505625909993/\ 5181944769371500501381023524605248*c_1001_7^25 - 1620327668103286761645272969278249825405447/34546298462476670009206\ 82349736832*c_1001_7^24 + 14057453217634739753105187932793139069360\ 09/1480555648391857286108863864172928*c_1001_7^23 - 17229666412929818700111324153732012982270631/1036388953874300100276\ 2047049210496*c_1001_7^22 + 108329002582213910819825379779590835301\ 1697/431828730780958375115085293717104*c_1001_7^21 - 33404866468676043137891909093018486974004875/1036388953874300100276\ 2047049210496*c_1001_7^20 + 355292924752854803655254531235617230247\ 33107/10363889538743001002762047049210496*c_1001_7^19 - 29127561439936778545919131444194585401756389/1036388953874300100276\ 2047049210496*c_1001_7^18 + 233979075197734028921813111827055758734\ 2069/1727314923123833500460341174868416*c_1001_7^17 + 5560442525370988272531330240164304392134501/10363889538743001002762\ 047049210496*c_1001_7^16 - 2253757020795044554514630653798020681614\ 0929/10363889538743001002762047049210496*c_1001_7^15 + 2774327891638735480634104818457311225608393/94217177624936372752382\ 2459019136*c_1001_7^14 - 71753200307222068319318085816380031078082/\ 26989295673809898444692830857319*c_1001_7^13 + 1547866198175127224236350385525279673188877/94217177624936372752382\ 2459019136*c_1001_7^12 - 127659965949720166130873406501516129127959\ 1/2590972384685750250690511762302624*c_1001_7^11 - 3171087962488422326321389466166399032040601/10363889538743001002762\ 047049210496*c_1001_7^10 + 4465984956290698738327161840559207320372\ 73/740277824195928643054431932086464*c_1001_7^9 - 800506230208588596176965014549948089056243/148055564839185728610886\ 3864172928*c_1001_7^8 + 1204649554673289849615592388008419966341357\ /3454629846247667000920682349736832*c_1001_7^7 - 628532693163188232539055618014580152768845/345462984624766700092068\ 2349736832*c_1001_7^6 + 30967205641013857220906318910360060847847/3\ 70138912097964321527215966043232*c_1001_7^5 - 376896748650852913141439544778019581416139/103638895387430010027620\ 47049210496*c_1001_7^4 + 12799681874056660259670998079543950324855/\ 863657461561916750230170587434208*c_1001_7^3 - 52389483021483490562669167351094470508051/1036388953874300100276204\ 7049210496*c_1001_7^2 + 6206636061300844833607999891030046219047/51\ 81944769371500501381023524605248*c_1001_7 - 182273991553195305200251114828732431713/129548619234287512534525588\ 1151312, c_0011_0 - 1, c_0011_10 - 1529742397115821070731869489381/801166476402520176465835424\ 336*c_1001_7^32 + 27944068664817932307070204158847/8011664764025201\ 76465835424336*c_1001_7^31 - 262502807777875844051204511986989/8011\ 66476402520176465835424336*c_1001_7^30 + 835218497122108270652665267923565/400583238201260088232917712168*c_\ 1001_7^29 - 8034306221622054690846943857332691/80116647640252017646\ 5835424336*c_1001_7^28 + 7731829791451211997458599521482721/2002916\ 19100630044116458856084*c_1001_7^27 - 98563853588180311485447116080075891/801166476402520176465835424336*\ c_1001_7^26 + 16600121587244547294713943026017260/50072904775157511\ 029114714021*c_1001_7^25 - 613093106387797009820155413782440119/801\ 166476402520176465835424336*c_1001_7^24 + 1220804875621010407124109149022419935/80116647640252017646583542433\ 6*c_1001_7^23 - 2100451482134581282839849905045097823/8011664764025\ 20176465835424336*c_1001_7^22 + 15544513650461763482691034939594168\ 57/400583238201260088232917712168*c_1001_7^21 - 3905386055448829224101870968012193333/80116647640252017646583542433\ 6*c_1001_7^20 + 4033969365359680274066220963923500271/8011664764025\ 20176465835424336*c_1001_7^19 - 31540046930909487069747573227213605\ 53/801166476402520176465835424336*c_1001_7^18 + 82055473963728910107910247506559655/50072904775157511029114714021*c\ _1001_7^17 + 944622661609621748705652720349234983/80116647640252017\ 6465835424336*c_1001_7^16 - 2781898409713494159864620114759156293/8\ 01166476402520176465835424336*c_1001_7^15 + 3517959909646067635513116124824660775/80116647640252017646583542433\ 6*c_1001_7^14 - 1510221697909927922284433086678109285/4005832382012\ 60088232917712168*c_1001_7^13 + 17485845741941176182230922019738955\ 69/801166476402520176465835424336*c_1001_7^12 - 208688915802302631004726566660400665/400583238201260088232917712168\ *c_1001_7^11 - 445212625630462163334900503120162343/801166476402520\ 176465835424336*c_1001_7^10 + 180438689616432634494091915485354035/\ 200291619100630044116458856084*c_1001_7^9 - 611013077899924143280453631986249151/801166476402520176465835424336\ *c_1001_7^8 + 381220806092175061623011307113175671/8011664764025201\ 76465835424336*c_1001_7^7 - 195098105963440832415332720092300719/80\ 1166476402520176465835424336*c_1001_7^6 + 44527889406824711167855405300273331/400583238201260088232917712168*\ c_1001_7^5 - 38527371671497630865088092816520797/801166476402520176\ 465835424336*c_1001_7^4 + 7718868434434527600863796839117961/400583\ 238201260088232917712168*c_1001_7^3 - 5078602490858772054887133184642781/801166476402520176465835424336*c\ _1001_7^2 + 71372184028976796640863507383328/5007290477515751102911\ 4714021*c_1001_7 - 7878606309983234127777687174647/5007290477515751\ 1029114714021, c_0011_11 - 3936658549727799059271496803669/801166476402520176465835424\ 336*c_1001_7^32 + 72026598924863940057225221846891/8011664764025201\ 76465835424336*c_1001_7^31 - 677433499351093351152970879027233/8011\ 66476402520176465835424336*c_1001_7^30 + 2157559354607063594706780717304099/400583238201260088232917712168*c\ _1001_7^29 - 20771632556410468134835047922372107/801166476402520176\ 465835424336*c_1001_7^28 + 10001916393042853450998092747975201/1001\ 45809550315022058229428042*c_1001_7^27 - 255163729120815634947952478797541507/801166476402520176465835424336\ *c_1001_7^26 + 171994147839671007850849141265413913/200291619100630\ 044116458856084*c_1001_7^25 - 1588867856951067126232799835264462743\ /801166476402520176465835424336*c_1001_7^24 + 3165267864736941770806464026929609667/80116647640252017646583542433\ 6*c_1001_7^23 - 5448411716550799408493333974669871315/8011664764025\ 20176465835424336*c_1001_7^22 + 40339058210655377279431811143569980\ 11/400583238201260088232917712168*c_1001_7^21 - 10139482425518927201892177334836217613/8011664764025201764658354243\ 36*c_1001_7^20 + 10479243633969076472723247673095822491/80116647640\ 2520176465835424336*c_1001_7^19 - 820065199040249295941818890199060\ 5661/801166476402520176465835424336*c_1001_7^18 + 855969750660557864098465262526733043/200291619100630044116458856084\ *c_1001_7^17 + 2438835711558672275718915208236314439/80116647640252\ 0176465835424336*c_1001_7^16 - 721520194130363205918649196850888189\ 7/801166476402520176465835424336*c_1001_7^15 + 9134585862354068627160655405607112547/80116647640252017646583542433\ 6*c_1001_7^14 - 3924844413065809100344228873686725535/4005832382012\ 60088232917712168*c_1001_7^13 + 45502431080094384780313099687468572\ 25/801166476402520176465835424336*c_1001_7^12 - 546185818082999164195108887333196687/400583238201260088232917712168\ *c_1001_7^11 - 1151268125723920316430856350103759551/80116647640252\ 0176465835424336*c_1001_7^10 + 117077816838656927943277246601151900\ /50072904775157511029114714021*c_1001_7^9 - 1587971872134733264615144011019640015/80116647640252017646583542433\ 6*c_1001_7^8 + 991746727995253317216848872557770219/801166476402520\ 176465835424336*c_1001_7^7 - 507922896563525970968130573051889347/8\ 01166476402520176465835424336*c_1001_7^6 + 115963026090739612191682354233802917/400583238201260088232917712168\ *c_1001_7^5 - 100348472658682528063182921314599893/8011664764025201\ 76465835424336*c_1001_7^4 + 20112460549983658981584538995217087/400\ 583238201260088232917712168*c_1001_7^3 - 13252287108204458587794925265115285/801166476402520176465835424336*\ c_1001_7^2 + 746483070088589000492436348442015/20029161910063004411\ 6458856084*c_1001_7 - 20701885431697223265357166727839/500729047751\ 57511029114714021, c_0011_12 - 994389129250140737507056802787/4005832382012600882329177121\ 68*c_1001_7^32 + 18377992374263060429858232691499/40058323820126008\ 8232917712168*c_1001_7^31 - 174397721865321262502031139232121/40058\ 3238201260088232917712168*c_1001_7^30 + 140014371832831857199785600436466/50072904775157511029114714021*c_1\ 001_7^29 - 5434653087852128957781724457617489/400583238201260088232\ 917712168*c_1001_7^28 + 10548596355346145986462684834087701/2002916\ 19100630044116458856084*c_1001_7^27 - 67796375116685458308568934579375205/400583238201260088232917712168*\ c_1001_7^26 + 92112064514373272654586639818136083/20029161910063004\ 4116458856084*c_1001_7^25 - 428906521224790467415395391936966425/40\ 0583238201260088232917712168*c_1001_7^24 + 861762493413328621338297671952308159/400583238201260088232917712168\ *c_1001_7^23 - 1497158436311425389336929433202732687/40058323820126\ 0088232917712168*c_1001_7^22 + 560050322469459722722942652666510013\ /100145809550315022058229428042*c_1001_7^21 - 2850809140628500581118604974859176135/40058323820126008823291771216\ 8*c_1001_7^20 + 2995623747126634129481320736629818715/4005832382012\ 60088232917712168*c_1001_7^19 - 24099033727901425016896795357195017\ 01/400583238201260088232917712168*c_1001_7^18 + 550032707157402442675269344242363949/200291619100630044116458856084\ *c_1001_7^17 + 560911851845988450865007594122219585/400583238201260\ 088232917712168*c_1001_7^16 - 1964521229754953721979301497701511273\ /400583238201260088232917712168*c_1001_7^15 + 2586915741318425552805056197859409067/40058323820126008823291771216\ 8*c_1001_7^14 - 572619864453564863816160431004919145/10014580955031\ 5022058229428042*c_1001_7^13 + 138193515821795604529583475869162413\ 1/400583238201260088232917712168*c_1001_7^12 - 48072336264126304313121267410435039/50072904775157511029114714021*c\ _1001_7^11 - 290569127349593045429036518591462149/40058323820126008\ 8232917712168*c_1001_7^10 + 264822249154646993485534021378425673/20\ 0291619100630044116458856084*c_1001_7^9 - 464991846528341587173567425275291817/400583238201260088232917712168\ *c_1001_7^8 + 296598364241138532835054815067453031/4005832382012600\ 88232917712168*c_1001_7^7 - 153862876342590921969338681611652263/40\ 0583238201260088232917712168*c_1001_7^6 + 8827931546174050559398127986508923/50072904775157511029114714021*c_\ 1001_7^5 - 30647092737862598107863825174043727/40058323820126008823\ 2917712168*c_1001_7^4 + 1551700117702275768200833493546256/50072904\ 775157511029114714021*c_1001_7^3 - 4187259474235275607395710648060231/400583238201260088232917712168*c\ _1001_7^2 + 489276746171793118249889693164085/200291619100630044116\ 458856084*c_1001_7 - 14311952933997312504744339166565/5007290477515\ 7511029114714021, c_0011_3 + 943205802987031355691498043141/40058323820126008823291771216\ 8*c_1001_7^32 - 17173229275570160394848348745547/400583238201260088\ 232917712168*c_1001_7^31 + 160829743765852207551084157714905/400583\ 238201260088232917712168*c_1001_7^30 - 510225402207262766444159451652751/200291619100630044116458856084*c_\ 1001_7^29 + 4894166787144497134569084400756147/40058323820126008823\ 2917712168*c_1001_7^28 - 2348384619294636624025230976087013/5007290\ 4775157511029114714021*c_1001_7^27 + 59706161656412357652607985342233899/400583238201260088232917712168*\ c_1001_7^26 - 40108258215512218858762389380291545/10014580955031502\ 2058229428042*c_1001_7^25 + 369234086728171884411572102203155583/40\ 0583238201260088232917712168*c_1001_7^24 - 732915524488382545063212955515541075/400583238201260088232917712168\ *c_1001_7^23 + 1256680842643180647396811371275962555/40058323820126\ 0088232917712168*c_1001_7^22 - 926376940172937155501076190923508239\ /200291619100630044116458856084*c_1001_7^21 + 2316394232071641789818369954019376677/40058323820126008823291771216\ 8*c_1001_7^20 - 2377310112327075068460844192961607291/4005832382012\ 60088232917712168*c_1001_7^19 + 18382565328744970933651338465938151\ 25/400583238201260088232917712168*c_1001_7^18 - 183955564002554610442560248749719433/100145809550315022058229428042\ *c_1001_7^17 - 599388125626843986098396903099933599/400583238201260\ 088232917712168*c_1001_7^16 + 1670364797991811696307589698786254569\ /400583238201260088232917712168*c_1001_7^15 - 2081168854605300910003608913230042131/40058323820126008823291771216\ 8*c_1001_7^14 + 882838516962732925946691724373979903/20029161910063\ 0044116458856084*c_1001_7^13 - 100502939810009979106329922419983356\ 1/400583238201260088232917712168*c_1001_7^12 + 111533751323424712520444637598319095/200291619100630044116458856084\ *c_1001_7^11 + 274741418512658909431668357507726719/400583238201260\ 088232917712168*c_1001_7^10 - 53417940462926238471078920512642566/5\ 0072904775157511029114714021*c_1001_7^9 + 356624862791721940335048575972115055/400583238201260088232917712168\ *c_1001_7^8 - 220483701939394804053752115271256107/4005832382012600\ 88232917712168*c_1001_7^7 + 112195306076062319369334597548198563/40\ 0583238201260088232917712168*c_1001_7^6 - 25549975305525584074101410109907245/200291619100630044116458856084*\ c_1001_7^5 + 22085848310002816325963139535886565/400583238201260088\ 232917712168*c_1001_7^4 - 4404677524851482548313463567382999/200291\ 619100630044116458856084*c_1001_7^3 + 2866423823543208734782598902437573/400583238201260088232917712168*c\ _1001_7^2 - 158111128501214627984469610479981/100145809550315022058\ 229428042*c_1001_7 + 8530899369060046349702497363104/50072904775157\ 511029114714021, c_0011_5 - 620716026788236317544039513969/40058323820126008823291771216\ 8*c_1001_7^32 + 11189695919374512824561092557527/400583238201260088\ 232917712168*c_1001_7^31 - 103793519691682132162810663347421/400583\ 238201260088232917712168*c_1001_7^30 + 326180257129939403070657981631311/200291619100630044116458856084*c_\ 1001_7^29 - 3099340723388225708435484584699095/40058323820126008823\ 2917712168*c_1001_7^28 + 1473004218455562705354668827340010/5007290\ 4775157511029114714021*c_1001_7^27 - 37084327764204164829482314647206447/400583238201260088232917712168*\ c_1001_7^26 + 24658530384362698491496448108369195/10014580955031502\ 2058229428042*c_1001_7^25 - 224563784461879654110690252830099203/40\ 0583238201260088232917712168*c_1001_7^24 + 440578921559346645906249962367838239/400583238201260088232917712168\ *c_1001_7^23 - 745724075521115051008858889771377431/400583238201260\ 088232917712168*c_1001_7^22 + 541592149800785923727112492304467799/\ 200291619100630044116458856084*c_1001_7^21 - 1329744157672076961964319085894490801/40058323820126008823291771216\ 8*c_1001_7^20 + 1330876443849642285169562156709775815/4005832382012\ 60088232917712168*c_1001_7^19 - 98436800437676928469402800204746704\ 9/400583238201260088232917712168*c_1001_7^18 + 82498052974141813708761991411530413/100145809550315022058229428042*\ c_1001_7^17 + 426593827315376522503630218353163059/4005832382012600\ 88232917712168*c_1001_7^16 - 999536259226156301994456163062491693/4\ 00583238201260088232917712168*c_1001_7^15 + 1179952609707546862268964712702268495/40058323820126008823291771216\ 8*c_1001_7^14 - 478393438976598222470843258460480399/20029161910063\ 0044116458856084*c_1001_7^13 + 509132752467821193937700000764500805\ /400583238201260088232917712168*c_1001_7^12 - 39074947014926278165862248224422415/200291619100630044116458856084*\ c_1001_7^11 - 178100746182445606167333955870825523/4005832382012600\ 88232917712168*c_1001_7^10 + 30309654537539616645582092143071807/50\ 072904775157511029114714021*c_1001_7^9 - 192352582524904244337207728719314915/400583238201260088232917712168\ *c_1001_7^8 + 115091517616620356707811145014452183/4005832382012600\ 88232917712168*c_1001_7^7 - 57378615034048603519645241822148191/400\ 583238201260088232917712168*c_1001_7^6 + 12958269033100608861169228651012933/200291619100630044116458856084*\ c_1001_7^5 - 11142129754851261836810700004493761/400583238201260088\ 232917712168*c_1001_7^4 + 2180053130115217375126950485242455/200291\ 619100630044116458856084*c_1001_7^3 - 1358390779528082971365854529585025/400583238201260088232917712168*c\ _1001_7^2 + 69592009789311655448708567275297/1001458095503150220582\ 29428042*c_1001_7 - 3356314709525275218534196562520/500729047751575\ 11029114714021, c_0101_1 - 392046126105936493417101461535/40058323820126008823291771216\ 8*c_1001_7^32 + 7355791797916487990758191975637/4005832382012600882\ 32917712168*c_1001_7^31 - 70736702391377429572383252002367/40058323\ 8201260088232917712168*c_1001_7^30 + 229934180314273577332433916099023/200291619100630044116458856084*c_\ 1001_7^29 - 2256508500388794595479245990733817/40058323820126008823\ 2917712168*c_1001_7^28 + 2213376051983102688620731774037229/1001458\ 09550315022058229428042*c_1001_7^27 - 28743193581762697679628421259817777/400583238201260088232917712168*\ c_1001_7^26 + 9860676542939444696513967404575537/500729047751575110\ 29114714021*c_1001_7^25 - 185474959722820823834419109404082925/4005\ 83238201260088232917712168*c_1001_7^24 + 376363328889183062450301488050095669/400583238201260088232917712168\ *c_1001_7^23 - 660547792091854990018541858371154245/400583238201260\ 088232917712168*c_1001_7^22 + 499548185785240922526536707380308891/\ 200291619100630044116458856084*c_1001_7^21 - 1286814023144051122518385576461763791/40058323820126008823291771216\ 8*c_1001_7^20 + 1372320848150549538064225681058982549/4005832382012\ 60088232917712168*c_1001_7^19 - 11290354039869153867325726829742236\ 83/400583238201260088232917712168*c_1001_7^18 + 68593698911024698997969530999695332/50072904775157511029114714021*c\ _1001_7^17 + 208641652907156325648662827681118517/40058323820126008\ 8232917712168*c_1001_7^16 - 867353570068208465490817861932054551/40\ 0583238201260088232917712168*c_1001_7^15 + 1179223634344905465440367586717930973/40058323820126008823291771216\ 8*c_1001_7^14 - 533459410155337887192440215978144487/20029161910063\ 0044116458856084*c_1001_7^13 + 660315978514069783644963887552732339\ /400583238201260088232917712168*c_1001_7^12 - 99280721355149252045451446441190759/200291619100630044116458856084*\ c_1001_7^11 - 122420425711511952248247741761426509/4005832382012600\ 88232917712168*c_1001_7^10 + 60476178521592970428974189989121991/10\ 0145809550315022058229428042*c_1001_7^9 - 216717711417297730590415906251212549/400583238201260088232917712168\ *c_1001_7^8 + 139648676679806164232810392828638509/4005832382012600\ 88232917712168*c_1001_7^7 - 72811949354662257379805661073449141/400\ 583238201260088232917712168*c_1001_7^6 + 16742497392085408970841374865786849/200291619100630044116458856084*\ c_1001_7^5 - 14563592645393317584746525068772919/400583238201260088\ 232917712168*c_1001_7^4 + 2966605181124297324820444550551903/200291\ 619100630044116458856084*c_1001_7^3 - 2019349712921206585978409254479487/400583238201260088232917712168*c\ _1001_7^2 + 59594507358371081618626140994963/5007290477515751102911\ 4714021*c_1001_7 - 7005158599373033392450882309691/5007290477515751\ 1029114714021, c_0101_2 + 3034062028451298261282189541541/8011664764025201764658354243\ 36*c_1001_7^32 - 55112100322114501546481447061195/80116647640252017\ 6465835424336*c_1001_7^31 + 514987785844348579891328368325601/80116\ 6476402520176465835424336*c_1001_7^30 - 1630271518739612574120063067625563/400583238201260088232917712168*c\ _1001_7^29 + 15604935973072855701116825142462651/801166476402520176\ 465835424336*c_1001_7^28 - 7472102687297893695192159286534623/10014\ 5809550315022058229428042*c_1001_7^27 + 189572721424348430144650666552512915/801166476402520176465835424336\ *c_1001_7^26 - 127072997023735260185098722659540197/200291619100630\ 044116458856084*c_1001_7^25 + 1167209321559888772763523114726474695\ /801166476402520176465835424336*c_1001_7^24 - 2311391604172837113663160021441653091/80116647640252017646583542433\ 6*c_1001_7^23 + 3953062154925023346646246275476602547/8011664764025\ 20176465835424336*c_1001_7^22 - 29057156978109887220972261370399785\ 15/400583238201260088232917712168*c_1001_7^21 + 7241118175545282302769142183036674749/80116647640252017646583542433\ 6*c_1001_7^20 - 7398427462285857898906517706525521147/8011664764025\ 20176465835424336*c_1001_7^19 + 56782683590897090248731042934170041\ 89/801166476402520176465835424336*c_1001_7^18 - 553368645770164789963564854081575447/200291619100630044116458856084\ *c_1001_7^17 - 1948066835517436073128730500200651367/80116647640252\ 0176465835424336*c_1001_7^16 + 525413302355882688179865528896117925\ 7/801166476402520176465835424336*c_1001_7^15 - 6486418291889749290151899685754749955/80116647640252017646583542433\ 6*c_1001_7^14 + 2731962692050698862240538506175230839/4005832382012\ 60088232917712168*c_1001_7^13 - 30802414854360483745806150624057264\ 73/801166476402520176465835424336*c_1001_7^12 + 327740454800114072923024602253001103/400583238201260088232917712168\ *c_1001_7^11 + 873142658541957520835704693657687647/801166476402520\ 176465835424336*c_1001_7^10 - 83169306791772164200284929619065062/5\ 0072904775157511029114714021*c_1001_7^9 + 1103130249026554023815771659159781455/80116647640252017646583542433\ 6*c_1001_7^8 - 679559058553975376213781787697608955/801166476402520\ 176465835424336*c_1001_7^7 + 345187519740114297791187779169847299/8\ 01166476402520176465835424336*c_1001_7^6 - 78561995963568168970970716966554605/400583238201260088232917712168*\ c_1001_7^5 + 67849235848694739825003295346232213/801166476402520176\ 465835424336*c_1001_7^4 - 13497838333080653851721813464979583/40058\ 3238201260088232917712168*c_1001_7^3 + 8750388173403362861674759045783685/801166476402520176465835424336*c\ _1001_7^2 - 480684087990446957012244723010699/200291619100630044116\ 458856084*c_1001_7 + 12907204972581100942933118142171/5007290477515\ 7511029114714021, c_0101_5 - 3000447154078780043745426929371/8011664764025201764658354243\ 36*c_1001_7^32 + 54810599011648649063032555419829/80116647640252017\ 6465835424336*c_1001_7^31 - 514743959197370372820355371133999/80116\ 6476402520176465835424336*c_1001_7^30 + 1637005823294278962272421776746141/400583238201260088232917712168*c\ _1001_7^29 - 15736836609343167942032450044483093/801166476402520176\ 465835424336*c_1001_7^28 + 7566138805646909140201336680235645/10014\ 5809550315022058229428042*c_1001_7^27 - 192720730159297035873036124106585053/801166476402520176465835424336\ *c_1001_7^26 + 129689124281098865725417933744605923/200291619100630\ 044116458856084*c_1001_7^25 - 1195928268591975801669008412767523977\ /801166476402520176465835424336*c_1001_7^24 + 2377835855697984541298936799906205917/80116647640252017646583542433\ 6*c_1001_7^23 - 4084048857777008126048762372979690845/8011664764025\ 20176465835424336*c_1001_7^22 + 30160531331579046965274641103372803\ 57/400583238201260088232917712168*c_1001_7^21 - 7557173994806623714948848304770565811/80116647640252017646583542433\ 6*c_1001_7^20 + 7776576879070796076163472952363712389/8011664764025\ 20176465835424336*c_1001_7^19 - 60399889088494721234637627575846692\ 19/801166476402520176465835424336*c_1001_7^18 + 613981045512900697038183232174914281/200291619100630044116458856084\ *c_1001_7^17 + 1905814185777841339579761466766591561/80116647640252\ 0176465835424336*c_1001_7^16 - 542383362123955317302346616316100216\ 7/801166476402520176465835424336*c_1001_7^15 + 6796130175020991785361602490433420173/80116647640252017646583542433\ 6*c_1001_7^14 - 2896021622914652204960685710789374321/4005832382012\ 60088232917712168*c_1001_7^13 + 33185375982955486153091579288849936\ 23/801166476402520176465835424336*c_1001_7^12 - 379338149181930301858270927576310665/400583238201260088232917712168\ *c_1001_7^11 - 882034946485957702540853836584930305/801166476402520\ 176465835424336*c_1001_7^10 + 87137048652098670524973815054395931/5\ 0072904775157511029114714021*c_1001_7^9 - 1170288543274579616861029793878468273/80116647640252017646583542433\ 6*c_1001_7^8 + 726418473657532948810572019478724821/801166476402520\ 176465835424336*c_1001_7^7 - 370649235092002124900616382701563661/8\ 01166476402520176465835424336*c_1001_7^6 + 84502189466217183837049808911209515/400583238201260088232917712168*\ c_1001_7^5 - 73067268277785665197474063273449835/801166476402520176\ 465835424336*c_1001_7^4 + 14597906847590912078323332025859113/40058\ 3238201260088232917712168*c_1001_7^3 - 9548767671763533918442280660047899/801166476402520176465835424336*c\ _1001_7^2 + 531669666360264057395135762791857/200291619100630044116\ 458856084*c_1001_7 - 14516618477361716264751237691403/5007290477515\ 7511029114714021, c_0101_6 - 3936658549727799059271496803669/8011664764025201764658354243\ 36*c_1001_7^32 + 72026598924863940057225221846891/80116647640252017\ 6465835424336*c_1001_7^31 - 677433499351093351152970879027233/80116\ 6476402520176465835424336*c_1001_7^30 + 2157559354607063594706780717304099/400583238201260088232917712168*c\ _1001_7^29 - 20771632556410468134835047922372107/801166476402520176\ 465835424336*c_1001_7^28 + 10001916393042853450998092747975201/1001\ 45809550315022058229428042*c_1001_7^27 - 255163729120815634947952478797541507/801166476402520176465835424336\ *c_1001_7^26 + 171994147839671007850849141265413913/200291619100630\ 044116458856084*c_1001_7^25 - 1588867856951067126232799835264462743\ /801166476402520176465835424336*c_1001_7^24 + 3165267864736941770806464026929609667/80116647640252017646583542433\ 6*c_1001_7^23 - 5448411716550799408493333974669871315/8011664764025\ 20176465835424336*c_1001_7^22 + 40339058210655377279431811143569980\ 11/400583238201260088232917712168*c_1001_7^21 - 10139482425518927201892177334836217613/8011664764025201764658354243\ 36*c_1001_7^20 + 10479243633969076472723247673095822491/80116647640\ 2520176465835424336*c_1001_7^19 - 820065199040249295941818890199060\ 5661/801166476402520176465835424336*c_1001_7^18 + 855969750660557864098465262526733043/200291619100630044116458856084\ *c_1001_7^17 + 2438835711558672275718915208236314439/80116647640252\ 0176465835424336*c_1001_7^16 - 721520194130363205918649196850888189\ 7/801166476402520176465835424336*c_1001_7^15 + 9134585862354068627160655405607112547/80116647640252017646583542433\ 6*c_1001_7^14 - 3924844413065809100344228873686725535/4005832382012\ 60088232917712168*c_1001_7^13 + 45502431080094384780313099687468572\ 25/801166476402520176465835424336*c_1001_7^12 - 546185818082999164195108887333196687/400583238201260088232917712168\ *c_1001_7^11 - 1151268125723920316430856350103759551/80116647640252\ 0176465835424336*c_1001_7^10 + 117077816838656927943277246601151900\ /50072904775157511029114714021*c_1001_7^9 - 1587971872134733264615144011019640015/80116647640252017646583542433\ 6*c_1001_7^8 + 991746727995253317216848872557770219/801166476402520\ 176465835424336*c_1001_7^7 - 507922896563525970968130573051889347/8\ 01166476402520176465835424336*c_1001_7^6 + 115963026090739612191682354233802917/400583238201260088232917712168\ *c_1001_7^5 - 100348472658682528063182921314599893/8011664764025201\ 76465835424336*c_1001_7^4 + 20112460549983658981584538995217087/400\ 583238201260088232917712168*c_1001_7^3 - 13252287108204458587794925265115285/801166476402520176465835424336*\ c_1001_7^2 + 746483070088589000492436348442015/20029161910063004411\ 6458856084*c_1001_7 - 20701885431697223265357166727839/500729047751\ 57511029114714021, c_0101_7 - 4327708193334991044074264741687/8011664764025201764658354243\ 36*c_1001_7^32 + 79046397902507074343235958805625/80116647640252017\ 6465835424336*c_1001_7^31 - 742345259635440449567287767976571/80116\ 6476402520176465835424336*c_1001_7^30 + 2361065809079611403452163370146993/400583238201260088232917712168*c\ _1001_7^29 - 22701782921134322047428834599260921/801166476402520176\ 465835424336*c_1001_7^28 + 10917917950741182961254301722559893/1001\ 45809550315022058229428042*c_1001_7^27 - 278198053501971014368730958176143777/801166476402520176465835424336\ *c_1001_7^26 + 187295538411039839890806477579299687/200291619100630\ 044116458856084*c_1001_7^25 - 1728099089443127716592424454076346685\ /801166476402520176465835424336*c_1001_7^24 + 3438214511861585328233360588821767553/80116647640252017646583542433\ 6*c_1001_7^23 - 5910024624737096944533389979434444097/8011664764025\ 20176465835424336*c_1001_7^22 + 43688383990243055220871073615293866\ 17/400583238201260088232917712168*c_1001_7^21 - 10960765808817563186380741571846815983/8011664764025201764658354243\ 36*c_1001_7^20 + 11299526683315476473224266147356329993/80116647640\ 2520176465835424336*c_1001_7^19 - 880470056135881943049604910079038\ 7727/801166476402520176465835424336*c_1001_7^18 + 905478800352898818509924290539524945/200291619100630044116458856084\ *c_1001_7^17 + 2708409274029967237998537727791571853/80116647640252\ 0176465835424336*c_1001_7^16 - 783673968771959312600742276857731224\ 3/801166476402520176465835424336*c_1001_7^15 + 9863913860607410937433634964454224465/80116647640252017646583542433\ 6*c_1001_7^14 - 4218725418650534949352486887777762837/4005832382012\ 60088232917712168*c_1001_7^13 + 48595307248603158790418129517031193\ 47/801166476402520176465835424336*c_1001_7^12 - 567986691064076435381341811084748917/400583238201260088232917712168\ *c_1001_7^11 - 1263751618374226042340754117169447621/80116647640252\ 0176465835424336*c_1001_7^10 + 126451780611316796701417081661100592\ /50072904775157511029114714021*c_1001_7^9 - 1705788806039998777570793194714792693/80116647640252017646583542433\ 6*c_1001_7^8 + 1061747581945935450162414584377821513/80116647640252\ 0176465835424336*c_1001_7^7 - 542681761670353496426833148047917489/\ 801166476402520176465835424336*c_1001_7^6 + 123810129421472973563031170046997479/400583238201260088232917712168\ *c_1001_7^5 - 107097161538982889115629994850368823/8011664764025201\ 76465835424336*c_1001_7^4 + 21427123677417293370722959028516773/400\ 583238201260088232917712168*c_1001_7^3 - 14062593715705667387899652790825319/801166476402520176465835424336*\ c_1001_7^2 + 787457421187512157193374200704145/20029161910063004411\ 6458856084*c_1001_7 - 21687138376861018769527679745815/500729047751\ 57511029114714021, c_1001_12 - 582942410008892753684633959957/2002916191006300441164588560\ 84*c_1001_7^32 + 2700041959137587655342554468938/500729047751575110\ 29114714021*c_1001_7^31 - 25675888828154122849248808786730/50072904\ 775157511029114714021*c_1001_7^30 + 660884726669288352978881821520347/200291619100630044116458856084*c_\ 1001_7^29 - 3212086176887783992901853427850181/20029161910063004411\ 6458856084*c_1001_7^28 + 12489547567768697390581681144063691/200291\ 619100630044116458856084*c_1001_7^27 - 40198069146104382019693277560110391/200291619100630044116458856084*\ c_1001_7^26 + 109396960993132690727645327631175903/2002916191006300\ 44116458856084*c_1001_7^25 - 255080539780203230779174881111984215/2\ 00291619100630044116458856084*c_1001_7^24 + 256648050927900748145377671546149477/100145809550315022058229428042\ *c_1001_7^23 - 446592613461783108987880681812840261/100145809550315\ 022058229428042*c_1001_7^22 + 1338781514402357442269258048136581165\ /200291619100630044116458856084*c_1001_7^21 - 1707053707571092342775691334435542879/20029161910063004411645885608\ 4*c_1001_7^20 + 449564613896872949363272183315319146/50072904775157\ 511029114714021*c_1001_7^19 - 363094679445523454390121214251213253/\ 50072904775157511029114714021*c_1001_7^18 + 670795383159593208254751838402836989/200291619100630044116458856084\ *c_1001_7^17 + 325174760405011455241477975457850407/200291619100630\ 044116458856084*c_1001_7^16 - 292788178989282402381520010464953962/\ 50072904775157511029114714021*c_1001_7^15 + 387755356823070213904987643701449360/50072904775157511029114714021*\ c_1001_7^14 - 1378905081175315972033308789708721101/200291619100630\ 044116458856084*c_1001_7^13 + 836236408723674217404428088013450579/\ 200291619100630044116458856084*c_1001_7^12 - 236689056129119140779375901163746447/200291619100630044116458856084\ *c_1001_7^11 - 171382265800889767536010645143018301/200291619100630\ 044116458856084*c_1001_7^10 + 317513131543789283358000161573547471/\ 200291619100630044116458856084*c_1001_7^9 - 280018303016073827234475100588190571/200291619100630044116458856084\ *c_1001_7^8 + 89536632672418394398481556506917949/10014580955031502\ 2058229428042*c_1001_7^7 - 46518113766330767282094157126524257/1001\ 45809550315022058229428042*c_1001_7^6 + 42729977528851824446018246116405025/200291619100630044116458856084*\ c_1001_7^5 - 18549455574063488385950251771167979/200291619100630044\ 116458856084*c_1001_7^4 + 7522466786595982202494338816483271/200291\ 619100630044116458856084*c_1001_7^3 - 2543909335485985184092523305764175/200291619100630044116458856084*c\ _1001_7^2 + 597079259985791213909042521003909/200291619100630044116\ 458856084*c_1001_7 - 17555433222919194860772171619285/5007290477515\ 7511029114714021, c_1001_7^33 - 19*c_1001_7^32 + 185*c_1001_7^31 - 1218*c_1001_7^30 + 6055*c_1001_7^29 - 24084*c_1001_7^28 + 79335*c_1001_7^27 - 221184*c_1001_7^26 + 529115*c_1001_7^25 - 1094707*c_1001_7^24 + 1964707*c_1001_7^23 - 3051962*c_1001_7^22 + 4065089*c_1001_7^21 - 4540963*c_1001_7^20 + 4034565*c_1001_7^19 - 2408864*c_1001_7^18 + 39669*c_1001_7^17 + 2263521*c_1001_7^16 - 3647947*c_1001_7^15 + 3691858*c_1001_7^14 - 2625965*c_1001_7^13 + 1138090*c_1001_7^12 + 77899*c_1001_7^11 - 684732*c_1001_7^10 + 751667*c_1001_7^9 - 549403*c_1001_7^8 + 315603*c_1001_7^7 - 154702*c_1001_7^6 + 69273*c_1001_7^5 - 29178*c_1001_7^4 + 10985*c_1001_7^3 - 3280*c_1001_7^2 + 656*c_1001_7 - 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.530 Total time: 2.750 seconds, Total memory usage: 64.12MB