Magma V2.19-8 Tue Aug 20 2013 23:38:15 on localhost [Seed = 3465063150] Type ? for help. Type -D to quit. Loading file "K12a762__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a762 geometric_solution 8.66700519 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 10 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -12 12 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.158700758546 0.599901310956 0 3 4 2 0132 2103 0132 1302 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 -11 11 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.193888695556 0.965029761735 0 0 1 5 2031 0132 2031 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 0 0 0 -1 0 0 1 1 0 0 -1 12 -1 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.587862510025 1.557912027608 6 1 0 4 0132 2103 0132 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 1 0 12 0 -12 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.210606009008 1.798427783458 6 5 3 1 3120 0321 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 0 0 0 -11 0 0 11 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.042933403181 0.933266330310 7 7 2 4 0132 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214708165650 0.782494025215 3 8 7 4 0132 0132 0213 3120 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 0 1 -1 -12 0 1 11 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.638978444871 0.636701915749 5 6 8 5 0132 0213 3201 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 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.638978444871 0.636701915749 7 6 9 9 2310 0132 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 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.830897331874 1.330567659080 8 9 8 9 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.698257196630 0.387181956849 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_8']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0011_4']), 's_2_8' : d['1'], 's_2_9' : 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_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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_9']), 'c_1100_8' : negation(d['c_0011_9']), 'c_1100_5' : d['c_1001_4'], 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_0011_5'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_4'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_4'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_1001_4']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : negation(d['c_0101_8']), '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_3_7' : negation(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' : negation(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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_5']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), '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_4'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0101_8']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_4']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1']})} 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_4, c_0011_5, c_0011_9, c_0101_1, c_0101_2, c_0101_5, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 12162298224809968552295555679955816332647364987279/1670118883806273\ 57328073752330435185920127084736*c_1001_4^24 - 21124869775954197819467694216620089090749526331267/1670118883806273\ 57328073752330435185920127084736*c_1001_4^23 + 33450981243070365964214919800940536884461397951557/8350594419031367\ 8664036876165217592960063542368*c_1001_4^22 + 64589708208763281049308900989025161277410212752913/8350594419031367\ 8664036876165217592960063542368*c_1001_4^21 - 188803653518656593557558551664550536853138486977751/835059441903136\ 78664036876165217592960063542368*c_1001_4^20 - 88561780197653584286646143458881435711678015411235/2087648604757841\ 9666009219041304398240015885592*c_1001_4^19 + 27654112821693855257330951288611937468902814969697/5219121511894604\ 916502304760326099560003971398*c_1001_4^18 + 254133302385461688082547563692548726457509478961017/208764860475784\ 19666009219041304398240015885592*c_1001_4^17 - 3144836948289494191456547762680515743294366076024773/16701188838062\ 7357328073752330435185920127084736*c_1001_4^16 - 6600198310996677417601850827584032024713135216778715/16701188838062\ 7357328073752330435185920127084736*c_1001_4^15 + 263159397403251142758954847309372598143826348862717/128470683369713\ 35179082596333110398916932852672*c_1001_4^14 + 11768430560935692365575317258214081444874560043022135/1670118883806\ 27357328073752330435185920127084736*c_1001_4^13 - 12998027549010467302792046724594875651592897128184421/1670118883806\ 27357328073752330435185920127084736*c_1001_4^12 - 27298032529813636786084427614632037539189747938290113/1670118883806\ 27357328073752330435185920127084736*c_1001_4^11 + 1731074214582109086319822485268389860726848110972619/16701188838062\ 7357328073752330435185920127084736*c_1001_4^10 + 29185465023424477653268953701664898145251338003499757/1670118883806\ 27357328073752330435185920127084736*c_1001_4^9 - 264571638481917986198016865659053832494978175888427/160588354212141\ 6897385324541638799864616606584*c_1001_4^8 - 39884733653151772249351916995421533344151005873921211/1670118883806\ 27357328073752330435185920127084736*c_1001_4^7 - 6058296600190727572311737845884411966594566259955011/16701188838062\ 7357328073752330435185920127084736*c_1001_4^6 + 12088322177357829792734693258382758092004795659648197/8350594419031\ 3678664036876165217592960063542368*c_1001_4^5 - 1832445339558799765992827112147289231962979581959393/20876486047578\ 419666009219041304398240015885592*c_1001_4^4 - 9113153959454311551610254832612578789898677358239189/16701188838062\ 7357328073752330435185920127084736*c_1001_4^3 + 893869700024205373592388976863884977914128407608473/167011888380627\ 357328073752330435185920127084736*c_1001_4^2 + 213824912082738897097773458608592145165838799560433/835059441903136\ 78664036876165217592960063542368*c_1001_4 + 29201781351968035458022960727966745381085829009843/1670118883806273\ 57328073752330435185920127084736, c_0011_0 - 1, c_0011_3 + 3566966103962576846676887416997775131/1413366116641451504987\ 911183510471518182*c_1001_4^24 + 8995685364991616196067965684230864\ 4/706683058320725752493955591755235759091*c_1001_4^23 - 25014706971478872900370008103004625805/1413366116641451504987911183\ 510471518182*c_1001_4^22 + 1762199462408476881176711894997378834/70\ 6683058320725752493955591755235759091*c_1001_4^21 + 146792877338859603555450962703752870835/141336611664145150498791118\ 3510471518182*c_1001_4^20 - 29106325519887574677487494795317800953/\ 1413366116641451504987911183510471518182*c_1001_4^19 - 452769448852096005828426092190480297231/141336611664145150498791118\ 3510471518182*c_1001_4^18 + 114378627032316750831990037410635964741\ /1413366116641451504987911183510471518182*c_1001_4^17 + 1558801685150155234434902606140535955551/14133661166414515049879111\ 83510471518182*c_1001_4^16 - 39061357279129301320380055397909186436\ 9/1413366116641451504987911183510471518182*c_1001_4^15 - 2947255688619028628618172552436400040263/14133661166414515049879111\ 83510471518182*c_1001_4^14 + 73195966048392636602688557905692384852\ 5/1413366116641451504987911183510471518182*c_1001_4^13 + 4082605035570811124601516393159247404152/70668305832072575249395559\ 1755235759091*c_1001_4^12 - 277707772711728392050158496046069439096\ 3/1413366116641451504987911183510471518182*c_1001_4^11 - 8397544821092768249961578477856119263397/14133661166414515049879111\ 83510471518182*c_1001_4^10 + 23195551893118889530449882905988884349\ 55/1413366116641451504987911183510471518182*c_1001_4^9 + 10763896159048867394346031689446406321609/7066830583207257524939555\ 91755235759091*c_1001_4^8 - 123531127286200125551942960196744311576\ 13/1413366116641451504987911183510471518182*c_1001_4^7 - 5510375761586140447544029255549752959509/14133661166414515049879111\ 83510471518182*c_1001_4^6 + 161299159830529293558573675338911313407\ 7/706683058320725752493955591755235759091*c_1001_4^5 + 9562275025061283851906504425729803753167/70668305832072575249395559\ 1755235759091*c_1001_4^4 - 6434779635087305410535219201837285563560\ /706683058320725752493955591755235759091*c_1001_4^3 + 2162569234745224544994781565035356348911/14133661166414515049879111\ 83510471518182*c_1001_4^2 + 174242376274931596937418353773620779877\ 5/1413366116641451504987911183510471518182*c_1001_4 + 1759582388575097930974494013761795637555/14133661166414515049879111\ 83510471518182, c_0011_4 - 19482223077106737241169999196420656960/706683058320725752493\ 955591755235759091*c_1001_4^24 - 5589176740376426405379668335467189\ 6173/1413366116641451504987911183510471518182*c_1001_4^23 + 221918356446358630974710148032096709463/141336611664145150498791118\ 3510471518182*c_1001_4^22 + 164328869566433691413259313269058139433\ /706683058320725752493955591755235759091*c_1001_4^21 - 631366619901887709533149804588658682539/706683058320725752493955591\ 755235759091*c_1001_4^20 - 1782165062802134682681175708143756700463\ /1413366116641451504987911183510471518182*c_1001_4^19 + 1555992568360837116488279758481603102745/70668305832072575249395559\ 1755235759091*c_1001_4^18 + 499329970570807236957827208143827298093\ 7/1413366116641451504987911183510471518182*c_1001_4^17 - 5527697584054109178604301757616156156160/70668305832072575249395559\ 1755235759091*c_1001_4^16 - 162270809322087319312375736863014414310\ 49/1413366116641451504987911183510471518182*c_1001_4^15 + 6916274055628250291766582096566338774177/70668305832072575249395559\ 1755235759091*c_1001_4^14 + 283048476725864258634125323898002657531\ 43/1413366116641451504987911183510471518182*c_1001_4^13 - 24422617665417867352941596570962892205243/7066830583207257524939555\ 91755235759091*c_1001_4^12 - 32078209154851310613398635410853992588\ 167/706683058320725752493955591755235759091*c_1001_4^11 + 16823212778166277456037819675149469228407/1413366116641451504987911\ 183510471518182*c_1001_4^10 + 3357511651328860715743536248873398092\ 6358/706683058320725752493955591755235759091*c_1001_4^9 - 112313602558811847618077713939177546790661/141336611664145150498791\ 1183510471518182*c_1001_4^8 - 7503887324906675326250388168161968672\ 0467/1413366116641451504987911183510471518182*c_1001_4^7 - 7018025433595330766260258935553890931096/70668305832072575249395559\ 1755235759091*c_1001_4^6 + 5050671763097018557486734417532991639075\ 1/1413366116641451504987911183510471518182*c_1001_4^5 - 75803977316449204686909554688090537089355/1413366116641451504987911\ 183510471518182*c_1001_4^4 + 62312374619199316801225789017444973268\ 97/1413366116641451504987911183510471518182*c_1001_4^3 - 5927316207426804379714264121874743736097/14133661166414515049879111\ 83510471518182*c_1001_4^2 - 137789739511174393570943849403083248397\ 6/706683058320725752493955591755235759091*c_1001_4 - 2099154521696793278779248319723913282045/14133661166414515049879111\ 83510471518182, c_0011_5 - 20351911221923743292811318842177657535/141336611664145150498\ 7911183510471518182*c_1001_4^24 - 239855626702780270160176073925272\ 09897/706683058320725752493955591755235759091*c_1001_4^23 + 49148890691112829722965914957384374943/7066830583207257524939555917\ 55235759091*c_1001_4^22 + 299318336049877906547188738116919815637/1\ 413366116641451504987911183510471518182*c_1001_4^21 - 271369011105587943676877579646905319585/706683058320725752493955591\ 755235759091*c_1001_4^20 - 829980595450486442683948607866470329905/\ 706683058320725752493955591755235759091*c_1001_4^19 + 998834619493204798392963393086219839133/141336611664145150498791118\ 3510471518182*c_1001_4^18 + 238581257757838676641596875459637021887\ 5/706683058320725752493955591755235759091*c_1001_4^17 - 1866254911776313224051325469434560956204/70668305832072575249395559\ 1755235759091*c_1001_4^16 - 779145377194038056988589297493551691801\ 7/706683058320725752493955591755235759091*c_1001_4^15 + 964977683163338049827665993466295316361/141336611664145150498791118\ 3510471518182*c_1001_4^14 + 136876580231438023791426731374457749304\ 18/706683058320725752493955591755235759091*c_1001_4^13 - 11681051624527798242821598986428347345105/1413366116641451504987911\ 183510471518182*c_1001_4^12 - 3317338898778981636296708154652849617\ 0773/706683058320725752493955591755235759091*c_1001_4^11 - 8340151412804601620553938349291861800032/70668305832072575249395559\ 1755235759091*c_1001_4^10 + 672417616262513032927887030442817125148\ 63/1413366116641451504987911183510471518182*c_1001_4^9 - 16135425856654300224294423563677747022259/1413366116641451504987911\ 183510471518182*c_1001_4^8 - 56144901815030254106803176656984855014\ 927/706683058320725752493955591755235759091*c_1001_4^7 - 31977491045901600823138710889487065257077/1413366116641451504987911\ 183510471518182*c_1001_4^6 + 56375883798446836240802568584463234552\ 897/1413366116641451504987911183510471518182*c_1001_4^5 + 7454860439913985319646596205334392514023/14133661166414515049879111\ 83510471518182*c_1001_4^4 - 217672833746558924404402660736058198755\ 52/706683058320725752493955591755235759091*c_1001_4^3 + 5437443036923923865141494447170624230013/14133661166414515049879111\ 83510471518182*c_1001_4^2 + 209201448996115400523787294329830776561\ 6/706683058320725752493955591755235759091*c_1001_4 + 2112129514924612189065925206721938060061/14133661166414515049879111\ 83510471518182, c_0011_9 + 330857434225413397864369745123477274755/14133661166414515049\ 87911183510471518182*c_1001_4^24 + 287439751080069582638483853713671981117/706683058320725752493955591\ 755235759091*c_1001_4^23 - 896874005320321429368818490971921775286/\ 706683058320725752493955591755235759091*c_1001_4^22 - 3479979472869167764797959630041777957197/14133661166414515049879111\ 83510471518182*c_1001_4^21 + 50581354675733470985537305355491274014\ 97/706683058320725752493955591755235759091*c_1001_4^20 + 9533653907504779867967887287550857771247/70668305832072575249395559\ 1755235759091*c_1001_4^19 - 231830298301000594847280120381495919107\ 67/1413366116641451504987911183510471518182*c_1001_4^18 - 27083787853836508676496480500197086393803/7066830583207257524939555\ 91755235759091*c_1001_4^17 + 41610877587548936365522405627107839742\ 088/706683058320725752493955591755235759091*c_1001_4^16 + 88133041574627324084819315827857252870639/7066830583207257524939555\ 91755235759091*c_1001_4^15 - 84965779636618754320513257611648527196\ 783/1413366116641451504987911183510471518182*c_1001_4^14 - 154715667621205413652075395877758162878441/706683058320725752493955\ 591755235759091*c_1001_4^13 + 3420245519015121726552962244323875723\ 36285/1413366116641451504987911183510471518182*c_1001_4^12 + 361490029075913039245194609706581867379545/706683058320725752493955\ 591755235759091*c_1001_4^11 - 5304902825935810998496150391706120491\ 006/706683058320725752493955591755235759091*c_1001_4^10 - 750295019354235445870557739961874995435991/141336611664145150498791\ 1183510471518182*c_1001_4^9 + 7274061209532475661060330990246796507\ 70213/1413366116641451504987911183510471518182*c_1001_4^8 + 517082842257934435167262272621570374206307/706683058320725752493955\ 591755235759091*c_1001_4^7 + 24752494911125089236843546161501212818\ 2543/1413366116641451504987911183510471518182*c_1001_4^6 - 603487073873117271716330674194271000305943/141336611664145150498791\ 1183510471518182*c_1001_4^5 + 3905249131758533254300408390870756530\ 93253/1413366116641451504987911183510471518182*c_1001_4^4 + 101242713436926947130987469462968414256133/706683058320725752493955\ 591755235759091*c_1001_4^3 + 27906241634289043857488325422341328535\ 339/1413366116641451504987911183510471518182*c_1001_4^2 - 5653817536863087046700265284146478140458/70668305832072575249395559\ 1755235759091*c_1001_4 - 2457345388118832567027060225492402264329/1\ 413366116641451504987911183510471518182, c_0101_1 + 6330854415867832104848362708818303133/1413366116641451504987\ 911183510471518182*c_1001_4^24 - 1482413459811323277646836825853660\ 1531/1413366116641451504987911183510471518182*c_1001_4^23 - 79985224834494879204119746956515170035/1413366116641451504987911183\ 510471518182*c_1001_4^22 + 36178471167384709994245746807479181950/7\ 06683058320725752493955591755235759091*c_1001_4^21 + 469533461844543297958236046383842788025/141336611664145150498791118\ 3510471518182*c_1001_4^20 - 209243692720809087772332572959654187031\ /706683058320725752493955591755235759091*c_1001_4^19 - 978138193574898166942215268918065016676/706683058320725752493955591\ 755235759091*c_1001_4^18 + 739496304677715702757716839044612657123/\ 1413366116641451504987911183510471518182*c_1001_4^17 + 5878678182840252605290961965932130469331/14133661166414515049879111\ 83510471518182*c_1001_4^16 - 15131385633343831628220225375119693655\ 89/706683058320725752493955591755235759091*c_1001_4^15 - 7799684027348760979287539271611978151027/70668305832072575249395559\ 1755235759091*c_1001_4^14 + 402017556216206560118681135344426201227\ /1413366116641451504987911183510471518182*c_1001_4^13 + 15481709274591141022950284279207354031960/7066830583207257524939555\ 91755235759091*c_1001_4^12 - 12272967688963612128574634864943035373\ 075/1413366116641451504987911183510471518182*c_1001_4^11 - 28807266802289706584148557546154407693427/7066830583207257524939555\ 91755235759091*c_1001_4^10 - 73750296759406682616843376915884304147\ 77/706683058320725752493955591755235759091*c_1001_4^9 + 36394498001379433621699871030786292692975/7066830583207257524939555\ 91755235759091*c_1001_4^8 - 176523483908902196350428389105459572939\ 43/706683058320725752493955591755235759091*c_1001_4^7 - 39113287673083913626125940595493697842027/7066830583207257524939555\ 91755235759091*c_1001_4^6 - 159640551127141364828764324763848393337\ 74/706683058320725752493955591755235759091*c_1001_4^5 + 54241560116847525993966204938320864753295/1413366116641451504987911\ 183510471518182*c_1001_4^4 - 12298166593598271228666437202825851865\ 719/706683058320725752493955591755235759091*c_1001_4^3 - 8289962080557969737304384849884691647664/70668305832072575249395559\ 1755235759091*c_1001_4^2 - 254989872465807594647987917900781994690/\ 706683058320725752493955591755235759091*c_1001_4 + 578895220522187261735259919656652174155/141336611664145150498791118\ 3510471518182, c_0101_2 - 11959438662943160069744103129587716333/706683058320725752493\ 955591755235759091*c_1001_4^24 - 2407551952392794317797828704936951\ 8541/706683058320725752493955591755235759091*c_1001_4^23 + 123312488353704532346301838017773375691/141336611664145150498791118\ 3510471518182*c_1001_4^22 + 295793937125060952784835314326925057969\ /1413366116641451504987911183510471518182*c_1001_4^21 - 689530899550035490909206121997563510005/141336611664145150498791118\ 3510471518182*c_1001_4^20 - 163085486538108531069040972093762285885\ 7/1413366116641451504987911183510471518182*c_1001_4^19 + 725802034172650402110694742638350068182/706683058320725752493955591\ 755235759091*c_1001_4^18 + 4657246528124456781999947471782104473009\ /1413366116641451504987911183510471518182*c_1001_4^17 - 5291311508702781682537553545009657867959/14133661166414515049879111\ 83510471518182*c_1001_4^16 - 15192293971089468126567985395891941971\ 665/1413366116641451504987911183510471518182*c_1001_4^15 + 1956116685891183339222919272951347678312/70668305832072575249395559\ 1755235759091*c_1001_4^14 + 266433563858036783922584606958346260123\ 11/1413366116641451504987911183510471518182*c_1001_4^13 - 19846261695669420492024631772746842153409/1413366116641451504987911\ 183510471518182*c_1001_4^12 - 6356970024846234880543257813259629795\ 0583/1413366116641451504987911183510471518182*c_1001_4^11 - 8282758004516434991146298220727604336667/14133661166414515049879111\ 83510471518182*c_1001_4^10 + 32461103218469707169871857376841412039\ 954/706683058320725752493955591755235759091*c_1001_4^9 - 37663218174752035012986486942570559665477/1413366116641451504987911\ 183510471518182*c_1001_4^8 - 99936690901440495658412057294295278872\ 241/1413366116641451504987911183510471518182*c_1001_4^7 - 13233557642157730187797340816968656148784/7066830583207257524939555\ 91755235759091*c_1001_4^6 + 531499006018362503696310950776850082847\ 43/1413366116641451504987911183510471518182*c_1001_4^5 - 11669689610208582384166412646125214992311/1413366116641451504987911\ 183510471518182*c_1001_4^4 - 15332503739568587029905046871768534311\ 992/706683058320725752493955591755235759091*c_1001_4^3 + 930753842768623907579400849312398181460/706683058320725752493955591\ 755235759091*c_1001_4^2 + 2441605217172992041101562348860407732457/\ 1413366116641451504987911183510471518182*c_1001_4 + 882956621495482881539671188235306970344/706683058320725752493955591\ 755235759091, c_0101_5 + 6330854415867832104848362708818303133/1413366116641451504987\ 911183510471518182*c_1001_4^24 - 1482413459811323277646836825853660\ 1531/1413366116641451504987911183510471518182*c_1001_4^23 - 79985224834494879204119746956515170035/1413366116641451504987911183\ 510471518182*c_1001_4^22 + 36178471167384709994245746807479181950/7\ 06683058320725752493955591755235759091*c_1001_4^21 + 469533461844543297958236046383842788025/141336611664145150498791118\ 3510471518182*c_1001_4^20 - 209243692720809087772332572959654187031\ /706683058320725752493955591755235759091*c_1001_4^19 - 978138193574898166942215268918065016676/706683058320725752493955591\ 755235759091*c_1001_4^18 + 739496304677715702757716839044612657123/\ 1413366116641451504987911183510471518182*c_1001_4^17 + 5878678182840252605290961965932130469331/14133661166414515049879111\ 83510471518182*c_1001_4^16 - 15131385633343831628220225375119693655\ 89/706683058320725752493955591755235759091*c_1001_4^15 - 7799684027348760979287539271611978151027/70668305832072575249395559\ 1755235759091*c_1001_4^14 + 402017556216206560118681135344426201227\ /1413366116641451504987911183510471518182*c_1001_4^13 + 15481709274591141022950284279207354031960/7066830583207257524939555\ 91755235759091*c_1001_4^12 - 12272967688963612128574634864943035373\ 075/1413366116641451504987911183510471518182*c_1001_4^11 - 28807266802289706584148557546154407693427/7066830583207257524939555\ 91755235759091*c_1001_4^10 - 73750296759406682616843376915884304147\ 77/706683058320725752493955591755235759091*c_1001_4^9 + 36394498001379433621699871030786292692975/7066830583207257524939555\ 91755235759091*c_1001_4^8 - 176523483908902196350428389105459572939\ 43/706683058320725752493955591755235759091*c_1001_4^7 - 39113287673083913626125940595493697842027/7066830583207257524939555\ 91755235759091*c_1001_4^6 - 159640551127141364828764324763848393337\ 74/706683058320725752493955591755235759091*c_1001_4^5 + 54241560116847525993966204938320864753295/1413366116641451504987911\ 183510471518182*c_1001_4^4 - 12298166593598271228666437202825851865\ 719/706683058320725752493955591755235759091*c_1001_4^3 - 8289962080557969737304384849884691647664/70668305832072575249395559\ 1755235759091*c_1001_4^2 - 254989872465807594647987917900781994690/\ 706683058320725752493955591755235759091*c_1001_4 + 578895220522187261735259919656652174155/141336611664145150498791118\ 3510471518182, c_0101_8 + 25720870324208883134726804566974421349/706683058320725752493\ 955591755235759091*c_1001_4^24 + 1649155576978809718196613262219501\ 2976/706683058320725752493955591755235759091*c_1001_4^23 - 377576581514825129692582849254027255155/141336611664145150498791118\ 3510471518182*c_1001_4^22 - 237880328632241736069645905774541761607\ /1413366116641451504987911183510471518182*c_1001_4^21 + 2167592314383513327081883641442359288347/14133661166414515049879111\ 83510471518182*c_1001_4^20 + 12549904457632767014186122501149867941\ 43/1413366116641451504987911183510471518182*c_1001_4^19 - 3430463694816749773415915306144273781774/70668305832072575249395559\ 1755235759091*c_1001_4^18 - 455125518248843411696361344603978976053\ 5/1413366116641451504987911183510471518182*c_1001_4^17 + 22136348309286825111820024450612684432413/1413366116641451504987911\ 183510471518182*c_1001_4^16 + 1341832934020605342826400941736269433\ 2985/1413366116641451504987911183510471518182*c_1001_4^15 - 21581313647446419905412676393965339073660/7066830583207257524939555\ 91755235759091*c_1001_4^14 - 34277361583187509412864739518096250163\ 857/1413366116641451504987911183510471518182*c_1001_4^13 + 105254149217405584511080860230240942813837/141336611664145150498791\ 1183510471518182*c_1001_4^12 + 548673922399230795568229592136962660\ 15093/1413366116641451504987911183510471518182*c_1001_4^11 - 123973338327161924603796139496752574448061/141336611664145150498791\ 1183510471518182*c_1001_4^10 - 585936524384817019081302644677165337\ 89081/706683058320725752493955591755235759091*c_1001_4^9 + 237587347315904351250723124652428603089799/141336611664145150498791\ 1183510471518182*c_1001_4^8 + 3701442953999009112960539206595674327\ 6677/1413366116641451504987911183510471518182*c_1001_4^7 - 67603629612380373144558949940702316743796/7066830583207257524939555\ 91755235759091*c_1001_4^6 - 139574047852489912223894698298715060281\ 409/1413366116641451504987911183510471518182*c_1001_4^5 + 158343838180442070125576366596942061250085/141336611664145150498791\ 1183510471518182*c_1001_4^4 - 1923785337595443130435492723405413904\ 9598/706683058320725752493955591755235759091*c_1001_4^3 - 13973849392557916775793178608935462540686/7066830583207257524939555\ 91755235759091*c_1001_4^2 - 885049246630878243786117754798873680007\ 7/1413366116641451504987911183510471518182*c_1001_4 + 273210296416193861390249102624693425855/706683058320725752493955591\ 755235759091, c_1001_4^25 + 2*c_1001_4^24 - 5*c_1001_4^23 - 12*c_1001_4^22 + 28*c_1001_4^21 + 66*c_1001_4^20 - 56*c_1001_4^19 - 184*c_1001_4^18 + 211*c_1001_4^17 + 604*c_1001_4^16 - 126*c_1001_4^15 - 1020*c_1001_4^14 + 798*c_1001_4^13 + 2486*c_1001_4^12 + 502*c_1001_4^11 - 2348*c_1001_4^10 + 1609*c_1001_4^9 + 3773*c_1001_4^8 + 1478*c_1001_4^7 - 1733*c_1001_4^6 + 682*c_1001_4^5 + 979*c_1001_4^4 + 192*c_1001_4^3 - 33*c_1001_4^2 - 19*c_1001_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB