Magma V2.19-8 Wed Aug 21 2013 00:56:39 on localhost [Seed = 2480245083] Type ? for help. Type -D to quit. Loading file "L13n2772__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2772 geometric_solution 11.43316523 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 0 -1 0 1 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 -2 1 1 -1 0 0 1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.355511337637 0.798326537105 0 5 7 6 0132 0132 0132 0132 1 1 1 1 0 0 1 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -5 1 0 0 -1 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.952630541844 1.011826360335 8 0 10 9 0132 0132 0132 0132 0 1 1 1 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497112113003 0.441027762700 9 11 8 0 0321 0132 0321 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.655079267020 0.716107177250 12 5 0 11 0132 1230 0132 0132 0 1 1 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.358948394729 0.985885909412 6 1 4 10 3201 0132 3012 2031 1 0 1 1 0 0 0 0 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 5 0 0 -5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256708293894 0.435262213539 9 12 1 5 1302 2103 0132 2310 1 1 0 1 0 0 1 -1 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 5 -5 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.702048880377 0.957964240378 12 10 8 1 3120 1230 2310 0132 1 1 1 0 0 0 1 -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 1 4 -5 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.300677904109 0.375225961942 2 7 3 9 0132 3201 0321 0213 0 1 1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.487170285347 0.856770691986 3 6 2 8 0321 2031 0132 0213 0 1 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -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.753182013627 1.260887963147 11 5 7 2 0321 1302 3012 0132 0 1 1 1 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 1 0 -1 0 0 0 0 0 -1 5 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474383608899 0.386344022281 10 3 4 12 0321 0132 0132 0132 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.096932211470 1.283040744220 4 6 11 7 0132 2103 0132 3120 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345392271133 0.574710850532 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_12' : d['c_0011_6'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_12' : negation(d['c_0011_7']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_1001_2'], '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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0011_10'], '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' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_7']), 'c_1100_8' : d['c_0011_6'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : negation(d['c_1001_7']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_1001_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_7'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : negation(d['c_1001_7']), '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' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_7']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_9']), 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : negation(d['c_0011_9']), 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_9']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_5'])})} 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_6, c_0011_7, c_0011_9, c_0101_1, c_0101_3, c_0101_5, c_0101_7, c_1001_2, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 9236148401199577336580323165026863/17204637180706215426723480647373\ 72*c_1001_7^16 - 46206203055833336046434033964958579/34409274361412\ 43085344696129474744*c_1001_7^15 + 302767337365665918912188074752392/143371976505885128556029005394781\ *c_1001_7^14 - 20839122820294655485727031847171246/4301159295176553\ 85668087016184343*c_1001_7^13 + 18919298084310451030836609935753269\ /286743953011770257112058010789562*c_1001_7^12 + 74191242559710612399897533218849201/8602318590353107713361740323686\ 86*c_1001_7^11 + 972572417667112879312700381369496871/3440927436141\ 243085344696129474744*c_1001_7^10 - 94372098162171618460934302946913187/1146975812047081028448232043158\ 248*c_1001_7^9 - 74891100293108660048953397846840057/11469758120470\ 81028448232043158248*c_1001_7^8 - 266124705558189797432230165238532\ 157/430115929517655385668087016184343*c_1001_7^7 - 133763049195699980110728970988905939/860231859035310771336174032368\ 686*c_1001_7^6 + 104135217326519247393590656217388011/5734879060235\ 40514224116021579124*c_1001_7^5 + 495812081118671483421949359292608\ 845/1720463718070621542672348064737372*c_1001_7^4 + 63955846241251804554334423128763169/2867439530117702571120580107895\ 62*c_1001_7^3 + 34051627337283505324097000429681081/430115929517655\ 385668087016184343*c_1001_7^2 + 113883188300058182401595970280213/2\ 3249509703657047873950649523478*c_1001_7 - 839819623345932604466573196167366/430115929517655385668087016184343\ , c_0011_0 - 1, c_0011_10 + 410010363846452337260104163/640535297783757552248137574*c_1\ 001_7^16 - 784398092571227028651546747/640535297783757552248137574*\ c_1001_7^15 - 2285038906083532218360925127/256214119113503020899255\ 0296*c_1001_7^14 - 13443759303644923410813436611/256214119113503020\ 8992550296*c_1001_7^13 + 6082000779746653320777691771/1281070595567\ 515104496275148*c_1001_7^12 + 5304775297191723165008319103/32026764\ 8891878776124068787*c_1001_7^11 + 24585994473234081464019048775/640\ 535297783757552248137574*c_1001_7^10 + 12201499174759061531507481561/2562141191135030208992550296*c_1001_7\ ^9 - 32633607918805481254885934887/1281070595567515104496275148*c_1\ 001_7^8 - 25892693562063406100319600065/320267648891878776124068787\ *c_1001_7^7 - 139464823489568279857180971925/2562141191135030208992\ 550296*c_1001_7^6 + 11087693426909571417194249911/32026764889187877\ 6124068787*c_1001_7^5 + 83982917965600034876015113587/1281070595567\ 515104496275148*c_1001_7^4 + 11385993125150697577274347618/32026764\ 8891878776124068787*c_1001_7^3 + 4823410852912348504102051351/64053\ 5297783757552248137574*c_1001_7^2 - 4777546219590060035174222729/640535297783757552248137574*c_1001_7 - 1373289117496385163298995827/640535297783757552248137574, c_0011_11 - 1615624345219652629221723051/5124282382270060417985100592*c\ _1001_7^16 + 1211436651740829826888543553/2562141191135030208992550\ 296*c_1001_7^15 + 3528346031126335727316567847/51242823822700604179\ 85100592*c_1001_7^14 + 7097200638498810145147091423/256214119113503\ 0208992550296*c_1001_7^13 - 1626427792806810629192342657/1281070595\ 567515104496275148*c_1001_7^12 - 46889265509288869392925783035/5124\ 282382270060417985100592*c_1001_7^11 - 114276700941985949720976319397/5124282382270060417985100592*c_1001_\ 7^10 - 26076418333445999550596315147/2562141191135030208992550296*c\ _1001_7^9 + 60166364242038397561419592655/5124282382270060417985100\ 592*c_1001_7^8 + 231775609088376298802403578991/5124282382270060417\ 985100592*c_1001_7^7 + 111568756016866013272573113737/2562141191135\ 030208992550296*c_1001_7^6 - 15884291556796816037979084527/25621411\ 91135030208992550296*c_1001_7^5 - 50196044009438899109844784315/128\ 1070595567515104496275148*c_1001_7^4 - 39675205802589533535774556221/1281070595567515104496275148*c_1001_7\ ^3 - 3479837309565541919411990646/320267648891878776124068787*c_100\ 1_7^2 + 3271311006059414343223558263/1281070595567515104496275148*c\ _1001_7 + 1519669242616910088854035487/640535297783757552248137574, c_0011_12 - 1759859178467109223739220245/5124282382270060417985100592*c\ _1001_7^16 + 1745226694138993887931457817/2562141191135030208992550\ 296*c_1001_7^15 + 2320909023019086749476259549/51242823822700604179\ 85100592*c_1001_7^14 + 6963873916398973156215867243/256214119113503\ 0208992550296*c_1001_7^13 - 3454670882071889822884499309/1281070595\ 567515104496275148*c_1001_7^12 - 45654215276637322738996781045/5124\ 282382270060417985100592*c_1001_7^11 - 100632868373430815697939858551/5124282382270060417985100592*c_1001_\ 7^10 - 2570267009691025370722158441/2562141191135030208992550296*c_\ 1001_7^9 + 75581539639111267103878632125/51242823822700604179851005\ 92*c_1001_7^8 + 213694362253802095568349151937/51242823822700604179\ 85100592*c_1001_7^7 + 68872955971463974171797928033/256214119113503\ 0208992550296*c_1001_7^6 - 57580806481157117677573142833/2562141191\ 135030208992550296*c_1001_7^5 - 42331171764455782789079516655/12810\ 70595567515104496275148*c_1001_7^4 - 21184457457211768304397019003/1281070595567515104496275148*c_1001_7\ ^3 - 1202287076220888861645494724/320267648891878776124068787*c_100\ 1_7^2 + 5737132189650133796727086513/1281070595567515104496275148*c\ _1001_7 + 1044240107203477397736584767/640535297783757552248137574, c_0011_6 + 662063754636805961867989965/1281070595567515104496275148*c_1\ 001_7^16 - 2441709905544932303097884719/256214119113503020899255029\ 6*c_1001_7^15 - 1013318480825700132547665913/1281070595567515104496\ 275148*c_1001_7^14 - 5489231163083054099581549805/12810705955675151\ 04496275148*c_1001_7^13 + 4557938120650823811470110489/128107059556\ 7515104496275148*c_1001_7^12 + 17484052415994097296254377495/128107\ 0595567515104496275148*c_1001_7^11 + 81755638447185225485863847595/2562141191135030208992550296*c_1001_7\ ^10 + 15072051464509485421135804113/2562141191135030208992550296*c_\ 1001_7^9 - 52494346352834844460172240051/25621411911350302089925502\ 96*c_1001_7^8 - 85453705879720065380606339613/128107059556751510449\ 6275148*c_1001_7^7 - 61818251301283263725078604903/1281070595567515\ 104496275148*c_1001_7^6 + 31907374051341731461239124705/12810705955\ 67515104496275148*c_1001_7^5 + 17606770592180858729127717107/320267\ 648891878776124068787*c_1001_7^4 + 20695768671297727886909827897/640535297783757552248137574*c_1001_7^\ 3 + 2569483371524018792480649972/320267648891878776124068787*c_1001\ _7^2 - 1620950581559193446681284568/320267648891878776124068787*c_1\ 001_7 - 750131705153300925608974645/320267648891878776124068787, c_0011_7 + 1444339275776541757699550711/2562141191135030208992550296*c_\ 1001_7^16 - 2889905483548570801813705471/25621411911350302089925502\ 96*c_1001_7^15 - 1691703951883961903180776231/256214119113503020899\ 2550296*c_1001_7^14 - 5906615883200819430707710701/1281070595567515\ 104496275148*c_1001_7^13 + 2913970077713643548546126363/64053529778\ 3757552248137574*c_1001_7^12 + 35701157371275738570666848087/256214\ 1191135030208992550296*c_1001_7^11 + 21011090071740670423211193513/640535297783757552248137574*c_1001_7^\ 10 + 5159649587205341232910753601/2562141191135030208992550296*c_10\ 01_7^9 - 6658047230084067002130409200/320267648891878776124068787*c\ _1001_7^8 - 177094920525066483238504855967/256214119113503020899255\ 0296*c_1001_7^7 - 27682906383268636419487276783/6405352977837575522\ 48137574*c_1001_7^6 + 38096511824051740567281302323/128107059556751\ 5104496275148*c_1001_7^5 + 16876227601929650169181404286/3202676488\ 91878776124068787*c_1001_7^4 + 8852874278596127059468458854/3202676\ 48891878776124068787*c_1001_7^3 + 5547123375967104033708583251/6405\ 35297783757552248137574*c_1001_7^2 - 3136028536215885778300717871/640535297783757552248137574*c_1001_7 - 368218557333746756320616169/320267648891878776124068787, c_0011_9 + 4197060696379476772652817349/5124282382270060417985100592*c_\ 1001_7^16 - 4150118626576583991469710435/25621411911350302089925502\ 96*c_1001_7^15 - 5156954819294221558462086781/512428238227006041798\ 5100592*c_1001_7^14 - 17312597841765020810287297353/256214119113503\ 0208992550296*c_1001_7^13 + 2107799411650278590938625503/3202676488\ 91878776124068787*c_1001_7^12 + 105330370399669745524229620861/5124\ 282382270060417985100592*c_1001_7^11 + 247966819092998014441701558787/5124282382270060417985100592*c_1001_\ 7^10 + 8401712171011303876253058459/2562141191135030208992550296*c_\ 1001_7^9 - 164549445209671840705345773757/5124282382270060417985100\ 592*c_1001_7^8 - 530979246158847604950874222625/5124282382270060417\ 985100592*c_1001_7^7 - 163378410341536648341868043609/2562141191135\ 030208992550296*c_1001_7^6 + 118197759350367161679479454699/2562141\ 191135030208992550296*c_1001_7^5 + 106601553635680057086939799561/1281070595567515104496275148*c_1001_\ 7^4 + 56277176382443472840197468403/1281070595567515104496275148*c_\ 1001_7^3 + 4659550815861695935947106249/640535297783757552248137574\ *c_1001_7^2 - 14235098268804842101270834617/12810705955675151044962\ 75148*c_1001_7 - 1591029463818413083346307691/640535297783757552248\ 137574, c_0101_1 - 380811302928277100251863543/5124282382270060417985100592*c_1\ 001_7^16 - 23262984756203778594308425/640535297783757552248137574*c\ _1001_7^15 + 2442279433979960634534518263/5124282382270060417985100\ 592*c_1001_7^14 + 2028192045892169086928061279/25621411911350302089\ 92550296*c_1001_7^13 + 561246076394994405581971961/6405352977837575\ 52248137574*c_1001_7^12 - 17901646924933757536536513263/51242823822\ 70060417985100592*c_1001_7^11 - 44892843394628553087211998779/51242\ 82382270060417985100592*c_1001_7^10 - 13479571697443722241667696003/1281070595567515104496275148*c_1001_7\ ^9 + 17272739472768336752054572133/5124282382270060417985100592*c_1\ 001_7^8 + 82527396526664429595717986715/512428238227006041798510059\ 2*c_1001_7^7 + 70825907014854714044295310149/2562141191135030208992\ 550296*c_1001_7^6 + 19493487824794856223597088683/25621411911350302\ 08992550296*c_1001_7^5 - 23086305155930428027928182777/128107059556\ 7515104496275148*c_1001_7^4 - 25712077270880297471181916791/1281070\ 595567515104496275148*c_1001_7^3 - 2293572063823760608198372165/320267648891878776124068787*c_1001_7^2 - 1779774826244877322070700033/1281070595567515104496275148*c_1001_\ 7 + 882031924590687785395160119/640535297783757552248137574, c_0101_3 - 1276500323856946053452168673/2562141191135030208992550296*c_\ 1001_7^16 + 335928891142157228066135461/320267648891878776124068787\ *c_1001_7^15 + 595468796217007243839651437/128107059556751510449627\ 5148*c_1001_7^14 + 10412430651320045494995000275/256214119113503020\ 8992550296*c_1001_7^13 - 5736204485484098242137036905/1281070595567\ 515104496275148*c_1001_7^12 - 30240126207746962945390873945/2562141\ 191135030208992550296*c_1001_7^11 - 71584491915110198019119412157/2562141191135030208992550296*c_1001_7\ ^10 + 2823908096338279878620053509/2562141191135030208992550296*c_1\ 001_7^9 + 46841580025374161807273792365/256214119113503020899255029\ 6*c_1001_7^8 + 153634639574634210018739867561/256214119113503020899\ 2550296*c_1001_7^7 + 81515031693506061036250056945/2562141191135030\ 208992550296*c_1001_7^6 - 38271307775272039536731328819/12810705955\ 67515104496275148*c_1001_7^5 - 57257749765584815835442786007/128107\ 0595567515104496275148*c_1001_7^4 - 6896992398327612749598435058/320267648891878776124068787*c_1001_7^3 - 2229758441734372539834138667/640535297783757552248137574*c_1001_7\ ^2 + 2022842566718723868897640027/320267648891878776124068787*c_100\ 1_7 + 626295813286534342772039549/640535297783757552248137574, c_0101_5 - 1, c_0101_7 + 42194860404198772872120753/5124282382270060417985100592*c_10\ 01_7^16 + 86790691198951091114062055/1281070595567515104496275148*c\ _1001_7^15 - 828305683628835330484066871/51242823822700604179851005\ 92*c_1001_7^14 - 137541506206694422785043449/6405352977837575522481\ 37574*c_1001_7^13 - 380304807896251608170535459/6405352977837575522\ 48137574*c_1001_7^12 + 3717899206446307483025668265/512428238227006\ 0417985100592*c_1001_7^11 + 14543373361704146368390433769/512428238\ 2270060417985100592*c_1001_7^10 + 12940221833427620625446101725/256\ 2141191135030208992550296*c_1001_7^9 + 3698910681786890467195705381/5124282382270060417985100592*c_1001_7^\ 8 - 24424504561326384584570298657/5124282382270060417985100592*c_10\ 01_7^7 - 13684766010355455816022013283/1281070595567515104496275148\ *c_1001_7^6 - 18665772754526117136716538687/25621411911350302089925\ 50296*c_1001_7^5 + 3984386482490283120448711031/6405352977837575522\ 48137574*c_1001_7^4 + 11249852297098424164547091809/128107059556751\ 5104496275148*c_1001_7^3 + 1249756095829411157713850124/32026764889\ 1878776124068787*c_1001_7^2 + 741894102766841322553525293/128107059\ 5567515104496275148*c_1001_7 - 211814397060442481237882237/32026764\ 8891878776124068787, c_1001_2 - 3041530778322272421469278969/5124282382270060417985100592*c_\ 1001_7^16 + 2640526680308761316463643815/25621411911350302089925502\ 96*c_1001_7^15 + 5461747691779098866346443689/512428238227006041798\ 5100592*c_1001_7^14 + 6345264916161618415895999711/1281070595567515\ 104496275148*c_1001_7^13 - 2324639175275323677963950689/64053529778\ 3757552248137574*c_1001_7^12 - 84351267433827941587209267737/512428\ 2382270060417985100592*c_1001_7^11 - 195301355797866510181935883439/5124282382270060417985100592*c_1001_\ 7^10 - 24526372371895541102161694555/2562141191135030208992550296*c\ _1001_7^9 + 130417398298926993433223183219/512428238227006041798510\ 0592*c_1001_7^8 + 409822542281652577007878458879/512428238227006041\ 7985100592*c_1001_7^7 + 79305675073287968154331459387/1281070595567\ 515104496275148*c_1001_7^6 - 72893277192314239655430720627/25621411\ 91135030208992550296*c_1001_7^5 - 22650921896699304505151299919/320\ 267648891878776124068787*c_1001_7^4 - 53134332507442281183555294321/1281070595567515104496275148*c_1001_7\ ^3 - 5388728303221142090632157071/640535297783757552248137574*c_100\ 1_7^2 + 11037114580923324645138760545/1281070595567515104496275148*\ c_1001_7 + 1036113865210479364595775074/320267648891878776124068787\ , c_1001_7^17 - 21/13*c_1001_7^16 - 25/13*c_1001_7^15 - 113/13*c_1001_7^14 + 64/13*c_1001_7^13 + 361/13*c_1001_7^12 + 68*c_1001_7^11 + 343/13*c_1001_7^10 - 459/13*c_1001_7^9 - 1796/13*c_1001_7^8 - 1623/13*c_1001_7^7 + 302/13*c_1001_7^6 + 1498/13*c_1001_7^5 + 1156/13*c_1001_7^4 + 436/13*c_1001_7^3 - 76/13*c_1001_7^2 - 84/13*c_1001_7 - 16/13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.490 seconds, Total memory usage: 32.09MB