Magma V2.19-8 Tue Aug 20 2013 23:45:30 on localhost [Seed = 3103710591] Type ? for help. Type -D to quit. Loading file "K13n3088__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3088 geometric_solution 10.75050078 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.215810133499 0.605830949352 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -1 0 0 1 -1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.101192107047 0.497224108235 4 0 8 6 3120 0132 0132 0321 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 -1 0 1 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.574165074180 0.882199744514 6 9 10 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683992722449 0.673372424181 10 11 0 2 0321 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 1 -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.450079782931 1.023073618143 7 1 8 9 2031 0132 0321 0213 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 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401968681701 0.440859083031 3 2 1 9 0132 0321 0132 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 -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 0 0 0 0 0 0 1.294648716549 0.411430195033 10 8 5 1 2310 3012 1302 0132 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 1 0 -1 -1 0 2 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427691466527 0.464404070982 7 11 5 2 1230 0321 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 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 2 0 -2 0 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.375241361797 0.969009111757 11 3 6 5 0213 0132 0132 0213 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 -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.728514073639 0.794378326307 4 11 7 3 0321 0213 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 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.520710495687 0.806050605325 9 4 10 8 0213 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826948547369 1.292777555537 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_0011_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_3'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : negation(d['c_0101_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_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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_5'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_2'], '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'], '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_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_5'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_5, c_1001_0, c_1001_2, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 190861583110045686064239576712273026265303181665148/346818983000936\ 6656310211507012204787319270034204689*c_1001_5^15 - 725448728798986497513133963688526817864981055349042/346818983000936\ 6656310211507012204787319270034204689*c_1001_5^14 + 12428209827537028907886178528340717054464726437107476/3468189830009\ 366656310211507012204787319270034204689*c_1001_5^13 - 2576388616631227212703078706860118931066446336393036/49545569000133\ 8093758601643858886398188467147743527*c_1001_5^12 + 118792742080362172481080055738653367507616615567605790/346818983000\ 9366656310211507012204787319270034204689*c_1001_5^11 + 17155879530094979467241189103030061169197033433336753/3468189830009\ 366656310211507012204787319270034204689*c_1001_5^10 + 379668372005367469787599804859986592873942181059103093/346818983000\ 9366656310211507012204787319270034204689*c_1001_5^9 - 119898379807615647127050303001123929903549396874589772/495455690001\ 338093758601643858886398188467147743527*c_1001_5^8 + 133416517104945934664015203597493122207018525125788874/315289984546\ 306059664564682455654980665388184927699*c_1001_5^7 + 276279933568218130044583906660063072492848720803505/315289984546306\ 059664564682455654980665388184927699*c_1001_5^6 - 122886857494936416114933259677053355057294130060060235/495455690001\ 338093758601643858886398188467147743527*c_1001_5^5 + 709007579679286462577646859675837398146138170601078545/346818983000\ 9366656310211507012204787319270034204689*c_1001_5^4 + 820921421674310579331819185630733267685979077977046188/346818983000\ 9366656310211507012204787319270034204689*c_1001_5^3 - 583787169194703734305141725735686797397926695283770003/346818983000\ 9366656310211507012204787319270034204689*c_1001_5^2 + 34795354068114970956381906799490334236598579220517152/3468189830009\ 366656310211507012204787319270034204689*c_1001_5 + 417387174501214609767229940243469081255354893067897304/346818983000\ 9366656310211507012204787319270034204689, c_0011_0 - 1, c_0011_10 + 2447716233908789608189558780175437418/235108316080342797395\ 0197373270297881561*c_1001_5^15 - 999972633997477487200025493534403\ 2369/2351083160803427973950197373270297881561*c_1001_5^14 + 163350656128331456748457981833601291295/235108316080342797395019737\ 3270297881561*c_1001_5^13 - 281452059277244680434177018444114624578\ /2351083160803427973950197373270297881561*c_1001_5^12 + 1675185411181881381825126446518342231825/23510831608034279739501973\ 73270297881561*c_1001_5^11 - 32926439551762598186723398732049777752\ 5/2351083160803427973950197373270297881561*c_1001_5^10 + 5660592682772347376536208871315513991186/23510831608034279739501973\ 73270297881561*c_1001_5^9 - 119959296978011571963658258900532428345\ 92/2351083160803427973950197373270297881561*c_1001_5^8 + 24996793133383839650778124718280121453664/2351083160803427973950197\ 373270297881561*c_1001_5^7 - 10788592833025561983140671426470523373\ 170/2351083160803427973950197373270297881561*c_1001_5^6 - 253320661286518412904136327338191294245/235108316080342797395019737\ 3270297881561*c_1001_5^5 + 9222230869431976684747771054036773029583\ /2351083160803427973950197373270297881561*c_1001_5^4 + 6609292195241777910821137576055177154201/23510831608034279739501973\ 73270297881561*c_1001_5^3 - 947327308366779560684798386995844792764\ 6/2351083160803427973950197373270297881561*c_1001_5^2 + 6698270709823339363021672377479459676166/23510831608034279739501973\ 73270297881561*c_1001_5 + 1614636280645813393774196965836182475955/\ 2351083160803427973950197373270297881561, c_0011_11 + 96763527937694016297085458900451923/23510831608034279739501\ 97373270297881561*c_1001_5^15 + 27290125934917396821905356914070609\ 2/2351083160803427973950197373270297881561*c_1001_5^14 + 4588741767876523757947827630448355724/23510831608034279739501973732\ 70297881561*c_1001_5^13 + 30324388173367468376052703602208267940/23\ 51083160803427973950197373270297881561*c_1001_5^12 + 44797335227674535147432176432536170096/2351083160803427973950197373\ 270297881561*c_1001_5^11 + 371279206283209828435652289706240453846/\ 2351083160803427973950197373270297881561*c_1001_5^10 + 649026092562764037333314711903153633894/235108316080342797395019737\ 3270297881561*c_1001_5^9 + 1199734800454861669779828327423881290656\ /2351083160803427973950197373270297881561*c_1001_5^8 - 633532089467848143280674365718764155777/235108316080342797395019737\ 3270297881561*c_1001_5^7 + 2472292994216387729768920639346146118044\ /2351083160803427973950197373270297881561*c_1001_5^6 + 2360373030293209798719816721964830689528/23510831608034279739501973\ 73270297881561*c_1001_5^5 + 683651013594951714100394579316803439968\ /2351083160803427973950197373270297881561*c_1001_5^4 - 11489279486838446689580330125418317319/2351083160803427973950197373\ 270297881561*c_1001_5^3 + 1800299847561398609362445287867791348787/\ 2351083160803427973950197373270297881561*c_1001_5^2 - 2546901031389741286379326916473924741871/23510831608034279739501973\ 73270297881561*c_1001_5 + 612840177495927007421190074908391587845/2\ 351083160803427973950197373270297881561, c_0011_7 + 4030186945401701127347491921345421122/2351083160803427973950\ 197373270297881561*c_1001_5^15 - 1573102636359982050977023278783949\ 3032/2351083160803427973950197373270297881561*c_1001_5^14 + 264837251507782725847220456136650402530/235108316080342797395019737\ 3270297881561*c_1001_5^13 - 411357103174771101966353959419615194978\ /2351083160803427973950197373270297881561*c_1001_5^12 + 2604285335275176684076480690079506314796/23510831608034279739501973\ 73270297881561*c_1001_5^11 - 6297607760376866668926454671490376277/\ 2351083160803427973950197373270297881561*c_1001_5^10 + 8576016859677518331262565468470487665534/23510831608034279739501973\ 73270297881561*c_1001_5^9 - 187553854129330848529580194942673952949\ 77/2351083160803427973950197373270297881561*c_1001_5^8 + 34676753871298487620535421845331665909424/2351083160803427973950197\ 373270297881561*c_1001_5^7 - 72420597826364787521340441470578052914\ 07/2351083160803427973950197373270297881561*c_1001_5^6 - 8203628151934996242025631611482632230837/23510831608034279739501973\ 73270297881561*c_1001_5^5 + 121602138911310685080755173726913747901\ 46/2351083160803427973950197373270297881561*c_1001_5^4 + 10463112459232045918067331537092432292700/2351083160803427973950197\ 373270297881561*c_1001_5^3 - 76636087937358216569727310395316744195\ 45/2351083160803427973950197373270297881561*c_1001_5^2 + 5264280556219957083185311823366598665852/23510831608034279739501973\ 73270297881561*c_1001_5 + 3601780089843295111572083210538887407207/\ 2351083160803427973950197373270297881561, c_0011_8 + 185432686437688748679480158610678645/23510831608034279739501\ 97373270297881561*c_1001_5^15 + 28174198427419998366575085243292545\ 3/2351083160803427973950197373270297881561*c_1001_5^14 + 7928210389506306592317385085609182814/23510831608034279739501973732\ 70297881561*c_1001_5^13 + 49269772199068229014279457349236546518/23\ 51083160803427973950197373270297881561*c_1001_5^12 - 7957800159974888150147527714026865757/23510831608034279739501973732\ 70297881561*c_1001_5^11 + 738108729589348842783234167632210294389/2\ 351083160803427973950197373270297881561*c_1001_5^10 + 86927818971068079228775031455164519529/2351083160803427973950197373\ 270297881561*c_1001_5^9 + 1835462960823857537841240288670485517605/\ 2351083160803427973950197373270297881561*c_1001_5^8 - 3857857795215995436422634542922397912170/23510831608034279739501973\ 73270297881561*c_1001_5^7 + 117641204878509091304450548010117977313\ 34/2351083160803427973950197373270297881561*c_1001_5^6 - 8846754544121697829994091089166615304356/23510831608034279739501973\ 73270297881561*c_1001_5^5 + 748169774710260318199397881435295619846\ 6/2351083160803427973950197373270297881561*c_1001_5^4 + 1322690555547766865083350143482269614900/23510831608034279739501973\ 73270297881561*c_1001_5^3 + 197084977108614219390425673414479990180\ /2351083160803427973950197373270297881561*c_1001_5^2 + 1457971552248440819435872861010124740923/23510831608034279739501973\ 73270297881561*c_1001_5 + 3105515912081679328479719949514723817403/\ 2351083160803427973950197373270297881561, c_0101_0 + 271458130469673613298136119591394104/23510831608034279739501\ 97373270297881561*c_1001_5^15 - 13150480395550165894422440650516313\ 87/2351083160803427973950197373270297881561*c_1001_5^14 + 19163957331123004121887294279196143245/2351083160803427973950197373\ 270297881561*c_1001_5^13 - 46094461934901055327588961431142749818/2\ 351083160803427973950197373270297881561*c_1001_5^12 + 223549957762782562004142550993788168336/235108316080342797395019737\ 3270297881561*c_1001_5^11 - 217865390915467961272496635055976639963\ /2351083160803427973950197373270297881561*c_1001_5^10 + 776187155328629160796265232217678276378/235108316080342797395019737\ 3270297881561*c_1001_5^9 - 1994167160985940787681993548483673549652\ /2351083160803427973950197373270297881561*c_1001_5^8 + 3810091298969071148596316601709634936629/23510831608034279739501973\ 73270297881561*c_1001_5^7 - 541312121868324312362112523248336623259\ 5/2351083160803427973950197373270297881561*c_1001_5^6 + 2476193675338776720528015444932702475685/23510831608034279739501973\ 73270297881561*c_1001_5^5 - 63184562898138405338567024069692685301/\ 2351083160803427973950197373270297881561*c_1001_5^4 - 1779575761841246709814463251007779922457/23510831608034279739501973\ 73270297881561*c_1001_5^3 - 348232634436869885966687219275188273715\ 6/2351083160803427973950197373270297881561*c_1001_5^2 + 1821300634218978136749168666667191172684/23510831608034279739501973\ 73270297881561*c_1001_5 - 1630532589131297297235911419760484367761/\ 2351083160803427973950197373270297881561, c_0101_1 + 1167919908543666120652126119455582868/2351083160803427973950\ 197373270297881561*c_1001_5^15 - 3532327780364435460642633226830115\ 149/2351083160803427973950197373270297881561*c_1001_5^14 + 72520065209496451544810563590857988998/2351083160803427973950197373\ 270297881561*c_1001_5^13 - 51411444365059571229469396057586470380/2\ 351083160803427973950197373270297881561*c_1001_5^12 + 637675546123516276678015445354513071722/235108316080342797395019737\ 3270297881561*c_1001_5^11 + 649400019602629119375207043804341939840\ /2351083160803427973950197373270297881561*c_1001_5^10 + 2409921666060504741454790227221783803116/23510831608034279739501973\ 73270297881561*c_1001_5^9 - 358786463793319923506651247454465239192\ 3/2351083160803427973950197373270297881561*c_1001_5^8 + 4943204168018788960026705501496970437558/23510831608034279739501973\ 73270297881561*c_1001_5^7 + 687945006327172803600274839929644956019\ 7/2351083160803427973950197373270297881561*c_1001_5^6 - 3131732144910975728434295253179358700421/23510831608034279739501973\ 73270297881561*c_1001_5^5 - 331217165236030882313790266153916677497\ 4/2351083160803427973950197373270297881561*c_1001_5^4 + 7405184988285749252244374887067244889941/23510831608034279739501973\ 73270297881561*c_1001_5^3 + 278718064398517293911422799536157472861\ 3/2351083160803427973950197373270297881561*c_1001_5^2 - 3211874548784949409640121658586094077992/23510831608034279739501973\ 73270297881561*c_1001_5 - 348002852205343931092056872898595431782/2\ 351083160803427973950197373270297881561, c_0101_5 - 1201159948324784671372393790568140898/2351083160803427973950\ 197373270297881561*c_1001_5^15 + 5246932049504241865468160235442250\ 476/2351083160803427973950197373270297881561*c_1001_5^14 - 80221213292543907621332664545925132032/2351083160803427973950197373\ 270297881561*c_1001_5^13 + 155778571267515202863593376086975581582/\ 2351083160803427973950197373270297881561*c_1001_5^12 - 774796222914867499439908890187163619301/235108316080342797395019737\ 3270297881561*c_1001_5^11 + 270454308327834754580701836008455139924\ /2351083160803427973950197373270297881561*c_1001_5^10 - 1998393954027347536944283307794060738970/23510831608034279739501973\ 73270297881561*c_1001_5^9 + 679377862537584110864781590816519988450\ 1/2351083160803427973950197373270297881561*c_1001_5^8 - 11247124061717055820844258715245342540453/2351083160803427973950197\ 373270297881561*c_1001_5^7 + 28436170991528910640878534466117534738\ 18/2351083160803427973950197373270297881561*c_1001_5^6 + 8758137943631638935257871021719383184783/23510831608034279739501973\ 73270297881561*c_1001_5^5 - 457782627727859149480661583405952729797\ 8/2351083160803427973950197373270297881561*c_1001_5^4 - 6455448396089940829828340672434586477686/23510831608034279739501973\ 73270297881561*c_1001_5^3 + 809551073376131845129755860428072172629\ 6/2351083160803427973950197373270297881561*c_1001_5^2 + 687376185301360093769216860852246661236/235108316080342797395019737\ 3270297881561*c_1001_5 - 1376852940775176978580769194657892829803/2\ 351083160803427973950197373270297881561, c_1001_0 + 446007405145082194363672315415426588/23510831608034279739501\ 97373270297881561*c_1001_5^15 - 22360268526772945928184822891903907\ 61/2351083160803427973950197373270297881561*c_1001_5^14 + 30890860842075812187691759856248366285/2351083160803427973950197373\ 270297881561*c_1001_5^13 - 76613072666841464740085661256392301167/2\ 351083160803427973950197373270297881561*c_1001_5^12 + 316097594030594245584336948000309282496/235108316080342797395019737\ 3270297881561*c_1001_5^11 - 281633890662649341623678235378322416548\ /2351083160803427973950197373270297881561*c_1001_5^10 + 758404604170268584898825696263918584072/235108316080342797395019737\ 3270297881561*c_1001_5^9 - 3102070747587908870297987062705086568732\ /2351083160803427973950197373270297881561*c_1001_5^8 + 5808443879547922873078836993569297440520/23510831608034279739501973\ 73270297881561*c_1001_5^7 - 285719465579378127687493451183042631717\ 0/2351083160803427973950197373270297881561*c_1001_5^6 - 1557264975734921682669149190547538827222/23510831608034279739501973\ 73270297881561*c_1001_5^5 + 195422236441244023545554226029585601357\ 9/2351083160803427973950197373270297881561*c_1001_5^4 + 3775086553910407450252968194179350604337/23510831608034279739501973\ 73270297881561*c_1001_5^3 - 283950212663491588720892596348819875237\ 3/2351083160803427973950197373270297881561*c_1001_5^2 + 1888998261754663378604215808836666119755/23510831608034279739501973\ 73270297881561*c_1001_5 - 655697768728221354972898512752662868434/2\ 351083160803427973950197373270297881561, c_1001_2 - 3863422627466441500759336977198697969/2351083160803427973950\ 197373270297881561*c_1001_5^15 + 1707374032544709621693344867436149\ 4136/2351083160803427973950197373270297881561*c_1001_5^14 - 261908085537305005946526434457103808366/235108316080342797395019737\ 3270297881561*c_1001_5^13 + 524899960828489460337500364592999330760\ /2351083160803427973950197373270297881561*c_1001_5^12 - 2711573968694426852073505071047911298778/23510831608034279739501973\ 73270297881561*c_1001_5^11 + 12302371822549701961293849253097463159\ 11/2351083160803427973950197373270297881561*c_1001_5^10 - 8292325852946577232813676660024691900722/23510831608034279739501973\ 73270297881561*c_1001_5^9 + 214058225861589099840319789361844647683\ 76/2351083160803427973950197373270297881561*c_1001_5^8 - 43503457780211645993354592848906031686238/2351083160803427973950197\ 373270297881561*c_1001_5^7 + 22331882421190972210777189909265534502\ 335/2351083160803427973950197373270297881561*c_1001_5^6 + 7838676349211468864610505188491457488772/23510831608034279739501973\ 73270297881561*c_1001_5^5 - 227377237699115907405887909974556508455\ 96/2351083160803427973950197373270297881561*c_1001_5^4 - 6824935470453443039316400115232478559877/23510831608034279739501973\ 73270297881561*c_1001_5^3 + 149178911072475714441133256777008388074\ 06/2351083160803427973950197373270297881561*c_1001_5^2 - 6937846908339775715933362352156060786523/23510831608034279739501973\ 73270297881561*c_1001_5 - 3766906232125470277474603209437607598711/\ 2351083160803427973950197373270297881561, c_1001_3 - 1171080525392407139328925508968365942/2351083160803427973950\ 197373270297881561*c_1001_5^15 + 3560048909967191722708795018537867\ 067/2351083160803427973950197373270297881561*c_1001_5^14 - 72766802872113431841303510053293226298/2351083160803427973950197373\ 270297881561*c_1001_5^13 + 52070711186053616775744809180061459843/2\ 351083160803427973950197373270297881561*c_1001_5^12 - 636730576112585211665848497897592659049/235108316080342797395019737\ 3270297881561*c_1001_5^11 - 682860326240717170666076807634087521688\ /2351083160803427973950197373270297881561*c_1001_5^10 - 2289493998921813642554554943196595182822/23510831608034279739501973\ 73270297881561*c_1001_5^9 + 323001753844287425179708899619824589032\ 9/2351083160803427973950197373270297881561*c_1001_5^8 - 4519008085525435318539538347386062259222/23510831608034279739501973\ 73270297881561*c_1001_5^7 - 752531940294297270598110578431659509864\ 1/2351083160803427973950197373270297881561*c_1001_5^6 + 8083206391573096997092422537760538510471/23510831608034279739501973\ 73270297881561*c_1001_5^5 - 416273075508456932780573106841757547041\ 1/2351083160803427973950197373270297881561*c_1001_5^4 - 4291542713295724339099583992853064405763/23510831608034279739501973\ 73270297881561*c_1001_5^3 + 233691346811290566650769494186804887672\ 4/2351083160803427973950197373270297881561*c_1001_5^2 - 16144853129735769080633001939915805534/2351083160803427973950197373\ 270297881561*c_1001_5 - 1216011566300554106278471533026003694205/23\ 51083160803427973950197373270297881561, c_1001_5^16 - 4*c_1001_5^15 + 66*c_1001_5^14 - 108*c_1001_5^13 + 650*c_1001_5^12 - 51*c_1001_5^11 + 2074*c_1001_5^10 - 4837*c_1001_5^9 + 8976*c_1001_5^8 - 2094*c_1001_5^7 - 2639*c_1001_5^6 + 3050*c_1001_5^5 + 4197*c_1001_5^4 - 3185*c_1001_5^3 + 929*c_1001_5^2 + 1455*c_1001_5 + 341 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.870 Total time: 2.080 seconds, Total memory usage: 64.12MB