Magma V2.19-8 Tue Aug 20 2013 23:45:16 on localhost [Seed = 3717969935] Type ? for help. Type -D to quit. Loading file "K13n2498__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2498 geometric_solution 10.99542050 oriented_manifold CS_known -0.0000000000000002 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377720084067 0.340699981308 0 5 2 6 0132 0132 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 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356973202300 0.758926629581 7 0 8 1 0132 0132 0132 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 1 0 0 0 0 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.356973202300 0.758926629581 9 5 10 0 0132 0321 0132 0132 0 0 0 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 0 0 0 0 0 0 0 0 -3 0 3 0 4 -4 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848963395380 0.813678042645 7 11 0 6 2103 0132 0132 3201 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 1 -1 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848963395380 0.813678042645 7 1 9 3 1023 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -4 0 0 4 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.121437480536 1.667364365878 8 4 1 10 0213 2310 0132 3120 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 0 0 0 4 0 0 -4 1 0 0 -1 -4 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.045284885024 1.379651082844 2 5 4 11 0132 1023 2103 3120 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 1 0 -1 0 0 0 0 -4 4 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.121437480536 1.667364365878 6 9 10 2 0213 0213 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 -4 0 0 4 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570282108546 1.459907100072 3 5 8 11 0132 0213 0213 0213 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 0 0 0 3 0 0 -3 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.906560604225 1.095118956780 6 11 8 3 3120 0213 3120 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 4 0 -1 -3 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.570282108546 1.459907100072 7 4 10 9 3120 0132 0213 0213 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 -3 0 3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.906560604225 1.095118956780 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : negation(d['c_1001_10']), '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' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_2'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0011_6']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0101_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0011_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_11']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_4' : 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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), '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_0'], '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' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_2'], 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_6'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_8'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2'])})} 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_6, c_0011_8, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_10, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 5104954373661828600542634201/968914725395581522504645663*c_1001_3^1\ 1 + 6036982789041459429652796795/968914725395581522504645663*c_1001\ _3^10 - 46612487255344388263093467635/968914725395581522504645663*c\ _1001_3^9 + 171026184520221459376685494493/968914725395581522504645\ 663*c_1001_3^8 + 606458800988996578208116278732/9689147253955815225\ 04645663*c_1001_3^7 + 2331365626022298575803010518391/9689147253955\ 81522504645663*c_1001_3^6 + 3754344033755561230561322256005/9689147\ 25395581522504645663*c_1001_3^5 + 2079342850201612730146573610315/9\ 68914725395581522504645663*c_1001_3^4 + 1902319457256970942199701571358/968914725395581522504645663*c_1001_\ 3^3 + 1169972155744554360245230634347/968914725395581522504645663*c\ _1001_3^2 + 422972111638725228103067143908/968914725395581522504645\ 663*c_1001_3 + 857498932133927410363673587642/968914725395581522504\ 645663, c_0011_0 - 1, c_0011_10 + 758169153360438/300527572088078747*c_1001_3^11 - 578973904900759/300527572088078747*c_1001_3^10 + 6260164285690524/300527572088078747*c_1001_3^9 - 22059037188631843/300527572088078747*c_1001_3^8 - 104892249470862599/300527572088078747*c_1001_3^7 - 368587641186999227/300527572088078747*c_1001_3^6 - 694644407937574199/300527572088078747*c_1001_3^5 - 334653822092494529/300527572088078747*c_1001_3^4 - 235962093663645562/300527572088078747*c_1001_3^3 + 206116512736448042/300527572088078747*c_1001_3^2 - 21331588673666672/300527572088078747*c_1001_3 - 81259865361248257/300527572088078747, c_0011_11 + 77370559191/70364685574357*c_1001_3^11 - 178131747392/70364685574357*c_1001_3^10 + 930136248689/70364685574357*c_1001_3^9 - 3724273376762/70364685574357*c_1001_3^8 - 4595960231516/70364685574357*c_1001_3^7 - 31808310015879/70364685574357*c_1001_3^6 - 21107616777917/70364685574357*c_1001_3^5 - 16270636310776/70364685574357*c_1001_3^4 - 15598539073777/70364685574357*c_1001_3^3 - 2194811944550/70364685574357*c_1001_3^2 - 7177754852184/70364685574357*c_1001_3 + 41838721036598/70364685574357, c_0011_6 + 1131680625762888/300527572088078747*c_1001_3^11 - 1036907699019968/300527572088078747*c_1001_3^10 + 9818637070850142/300527572088078747*c_1001_3^9 - 33284444537960154/300527572088078747*c_1001_3^8 - 150583927038080118/300527572088078747*c_1001_3^7 - 526119931294904064/300527572088078747*c_1001_3^6 - 1038935461657451734/300527572088078747*c_1001_3^5 - 685679577323133473/300527572088078747*c_1001_3^4 - 1067781800418853326/300527572088078747*c_1001_3^3 - 425203520939695906/300527572088078747*c_1001_3^2 - 129716299978880042/300527572088078747*c_1001_3 - 201270983063379206/300527572088078747, c_0011_8 - 2987928137965569/300527572088078747*c_1001_3^11 + 2450943879582558/300527572088078747*c_1001_3^10 - 24280489966533139/300527572088078747*c_1001_3^9 + 86773347134369288/300527572088078747*c_1001_3^8 + 410943639573718070/300527572088078747*c_1001_3^7 + 1415415376485537970/300527572088078747*c_1001_3^6 + 2569857019636447103/300527572088078747*c_1001_3^5 + 1257161589945148583/300527572088078747*c_1001_3^4 + 888161039283645146/300527572088078747*c_1001_3^3 + 537422413391303936/300527572088078747*c_1001_3^2 + 93953791455297212/300527572088078747*c_1001_3 + 297562324447220107/300527572088078747, c_0101_1 - 4647821538293583/300527572088078747*c_1001_3^11 + 6962461778981813/300527572088078747*c_1001_3^10 - 46245857891839550/300527572088078747*c_1001_3^9 + 175130800786991637/300527572088078747*c_1001_3^8 + 476203518090395573/300527572088078747*c_1001_3^7 + 2060348705972860050/300527572088078747*c_1001_3^6 + 2825825521936885310/300527572088078747*c_1001_3^5 + 1528021275976301213/300527572088078747*c_1001_3^4 + 1186456296604461855/300527572088078747*c_1001_3^3 + 181938607891859554/300527572088078747*c_1001_3^2 + 263616914293067240/300527572088078747*c_1001_3 + 307525727477610163/300527572088078747, c_0101_10 - 1545082843148843/300527572088078747*c_1001_3^11 + 2181568808458412/300527572088078747*c_1001_3^10 - 13364054751361174/300527572088078747*c_1001_3^9 + 51221097331953577/300527572088078747*c_1001_3^8 + 188183455328566414/300527572088078747*c_1001_3^7 + 594992778455610245/300527572088078747*c_1001_3^6 + 953593330787959249/300527572088078747*c_1001_3^5 - 22752944750339408/300527572088078747*c_1001_3^4 + 517082426427426756/300527572088078747*c_1001_3^3 + 360982665323678737/300527572088078747*c_1001_3^2 + 78693088871784744/300527572088078747*c_1001_3 + 271178316174196441/300527572088078747, c_0101_2 - 2039803789846092/300527572088078747*c_1001_3^11 + 2751819282920951/300527572088078747*c_1001_3^10 - 19335339762330547/300527572088078747*c_1001_3^9 + 72595357848032413/300527572088078747*c_1001_3^8 + 225787552907462815/300527572088078747*c_1001_3^7 + 912862933361466522/300527572088078747*c_1001_3^6 + 1335464575232728005/300527572088078747*c_1001_3^5 + 705291740578820246/300527572088078747*c_1001_3^4 + 534231049520271959/300527572088078747*c_1001_3^3 + 477373872948046107/300527572088078747*c_1001_3^2 + 104969176133677036/300527572088078747*c_1001_3 + 147522773734111252/300527572088078747, c_1001_0 + 2304213311618325/300527572088078747*c_1001_3^11 - 3303207395336817/300527572088078747*c_1001_3^10 + 23727836317741716/300527572088078747*c_1001_3^9 - 87754970060791373/300527572088078747*c_1001_3^8 - 229177740172350955/300527572088078747*c_1001_3^7 - 1084629629980964819/300527572088078747*c_1001_3^6 - 1530053450065052788/300527572088078747*c_1001_3^5 - 1251559627708684007/300527572088078747*c_1001_3^4 - 981059118847146937/300527572088078747*c_1001_3^3 - 530819883556120575/300527572088078747*c_1001_3^2 - 671475406328554407/300527572088078747*c_1001_3 - 230368615917479475/300527572088078747, c_1001_10 + 1873862276811854/300527572088078747*c_1001_3^11 - 2304642401928947/300527572088078747*c_1001_3^10 + 18395853791343566/300527572088078747*c_1001_3^9 - 66408558579805845/300527572088078747*c_1001_3^8 - 205754296947275362/300527572088078747*c_1001_3^7 - 901828843479715740/300527572088078747*c_1001_3^6 - 1409206334564834748/300527572088078747*c_1001_3^5 - 1158573803131586011/300527572088078747*c_1001_3^4 - 890637363854282165/300527572088078747*c_1001_3^3 - 518848068608484270/300527572088078747*c_1001_3^2 - 143678556922365735/300527572088078747*c_1001_3 - 220785575826641406/300527572088078747, c_1001_2 - 1485907108914415/300527572088078747*c_1001_3^11 - 33491827867877/300527572088078747*c_1001_3^10 - 10502296082180864/300527572088078747*c_1001_3^9 + 30871285559593520/300527572088078747*c_1001_3^8 + 248822515663564339/300527572088078747*c_1001_3^7 + 842101596060013353/300527572088078747*c_1001_3^6 + 1870404111309881882/300527572088078747*c_1001_3^5 + 1561448402242802639/300527572088078747*c_1001_3^4 + 1136276959227324587/300527572088078747*c_1001_3^3 + 798385739928596097/300527572088078747*c_1001_3^2 + 393516795003126721/300527572088078747*c_1001_3 + 325088303522464673/300527572088078747, c_1001_3^12 - c_1001_3^11 + 9*c_1001_3^10 - 32*c_1001_3^9 - 124*c_1001_3^8 - 482*c_1001_3^7 - 826*c_1001_3^6 - 576*c_1001_3^5 - 483*c_1001_3^4 - 302*c_1001_3^3 - 129*c_1001_3^2 - 147*c_1001_3 - 29 ], 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_6, c_0011_8, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_10, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 851814466103495277956565285859296/6775911106865203635320786639*c_10\ 01_3^16 + 3701474813425766653613652129048152/6775911106865203635320\ 786639*c_1001_3^15 + 3214346864951068964121069672432972/67759111068\ 65203635320786639*c_1001_3^14 - 828866306130511063492188152100575/1\ 3551822213730407270641573278*c_1001_3^13 - 4579956007970512523685789093209465/27103644427460814541283146556*c_\ 1001_3^12 + 4323055804073998901654203330537432/67759111068652036353\ 20786639*c_1001_3^11 + 12041728651750618576768186696276409/13551822\ 213730407270641573278*c_1001_3^10 - 9883781903027236623528396596217307/13551822213730407270641573278*c_\ 1001_3^9 + 21142375088680850032674294585769895/27103644427460814541\ 283146556*c_1001_3^8 + 6614151630032571774809306903130015/135518222\ 13730407270641573278*c_1001_3^7 - 983120401639695140913966752983831\ 6/6775911106865203635320786639*c_1001_3^6 + 12702943860038708415040619328293012/6775911106865203635320786639*c_\ 1001_3^5 - 35283297295886389382772896528776967/27103644427460814541\ 283146556*c_1001_3^4 + 21116010834560132963003713312263183/27103644\ 427460814541283146556*c_1001_3^3 - 6803981078838530704005905388956561/27103644427460814541283146556*c_\ 1001_3^2 + 1951250964203081335847010986570521/271036444274608145412\ 83146556*c_1001_3 - 117971167007304264824292336375747/2710364442746\ 0814541283146556, c_0011_0 - 1, c_0011_10 + 18108327799428945556977854912/6775911106865203635320786639*\ c_1001_3^16 + 74270308747290011379179171984/67759111068652036353207\ 86639*c_1001_3^15 + 50590953754769248384984698368/67759111068652036\ 35320786639*c_1001_3^14 - 20586953496199282226173689287/67759111068\ 65203635320786639*c_1001_3^13 - 24361624086191105725010392862/67759\ 11106865203635320786639*c_1001_3^12 + 86697694542660907139035513887/6775911106865203635320786639*c_1001_3\ ^11 + 105835362723726825525795026094/6775911106865203635320786639*c\ _1001_3^10 - 115337282454957994758913157052/67759111068652036353207\ 86639*c_1001_3^9 + 145543482966170934217873979032/67759111068652036\ 35320786639*c_1001_3^8 + 9172426294718687891960194681/6775911106865\ 203635320786639*c_1001_3^7 - 220040546099872947662164147644/6775911\ 106865203635320786639*c_1001_3^6 + 339454612419596025510852495345/6775911106865203635320786639*c_1001_\ 3^5 - 287573987381771830094094392825/6775911106865203635320786639*c\ _1001_3^4 + 180912451851831308667850830588/677591110686520363532078\ 6639*c_1001_3^3 - 74249583238496712709425595721/6775911106865203635\ 320786639*c_1001_3^2 + 17810966795394981913765235671/67759111068652\ 03635320786639*c_1001_3 - 339508193845420321243505151/6775911106865\ 203635320786639, c_0011_11 - 8184487809876915377525724480/6775911106865203635320786639*c\ _1001_3^16 - 34102403718340580797050105648/677591110686520363532078\ 6639*c_1001_3^15 - 23970385436658570503568366688/677591110686520363\ 5320786639*c_1001_3^14 + 10958658351434737506190967429/677591110686\ 5203635320786639*c_1001_3^13 + 6634452613990026867453743368/6775911\ 106865203635320786639*c_1001_3^12 - 55530190476666307627251395964/6775911106865203635320786639*c_1001_3\ ^11 - 62996128197324250995481560520/6775911106865203635320786639*c_\ 1001_3^10 + 55114423054041992941379176384/6775911106865203635320786\ 639*c_1001_3^9 - 61141248075663787414639756923/67759111068652036353\ 20786639*c_1001_3^8 - 42165527062833131458395349461/677591110686520\ 3635320786639*c_1001_3^7 + 87748376012517466985957103101/6775911106\ 865203635320786639*c_1001_3^6 - 148285942290182779158796413757/6775\ 911106865203635320786639*c_1001_3^5 + 90066766317486268046960400668/6775911106865203635320786639*c_1001_3\ ^4 - 57585541139478165719431067415/6775911106865203635320786639*c_1\ 001_3^3 + 18921357345207320000558461317/677591110686520363532078663\ 9*c_1001_3^2 - 3310365399481044513383674424/67759111068652036353207\ 86639*c_1001_3 - 4331822638689654322025293561/677591110686520363532\ 0786639, c_0011_6 + 29087479912783583828272463232/6775911106865203635320786639*c\ _1001_3^16 + 142699738229166826099024325920/67759111068652036353207\ 86639*c_1001_3^15 + 193077862665511116054499618656/6775911106865203\ 635320786639*c_1001_3^14 + 105833683727531558038028616266/677591110\ 6865203635320786639*c_1001_3^13 + 16238358203707203098086867530/677\ 5911106865203635320786639*c_1001_3^12 + 122523989731610266967158157694/6775911106865203635320786639*c_1001_\ 3^11 + 247176920835273059262254471147/6775911106865203635320786639*\ c_1001_3^10 - 5743005299635662811455931973/677591110686520363532078\ 6639*c_1001_3^9 + 207086328426417328199597785649/677591110686520363\ 5320786639*c_1001_3^8 + 171138848451840819815182303003/677591110686\ 5203635320786639*c_1001_3^7 - 255976717901509440851984979436/677591\ 1106865203635320786639*c_1001_3^6 + 300771527104019850958461423117/6775911106865203635320786639*c_1001_\ 3^5 - 179116659523106531388620725643/6775911106865203635320786639*c\ _1001_3^4 + 135514159789390679051628284388/677591110686520363532078\ 6639*c_1001_3^3 - 16233416369958501590127495097/6775911106865203635\ 320786639*c_1001_3^2 + 17358669699773631484793520229/67759111068652\ 03635320786639*c_1001_3 + 515727621590687628879151904/6775911106865\ 203635320786639, c_0011_8 + 18108327799428945556977854912/6775911106865203635320786639*c\ _1001_3^16 + 74270308747290011379179171984/677591110686520363532078\ 6639*c_1001_3^15 + 50590953754769248384984698368/677591110686520363\ 5320786639*c_1001_3^14 - 20586953496199282226173689287/677591110686\ 5203635320786639*c_1001_3^13 - 24361624086191105725010392862/677591\ 1106865203635320786639*c_1001_3^12 + 86697694542660907139035513887/6775911106865203635320786639*c_1001_3\ ^11 + 105835362723726825525795026094/6775911106865203635320786639*c\ _1001_3^10 - 115337282454957994758913157052/67759111068652036353207\ 86639*c_1001_3^9 + 145543482966170934217873979032/67759111068652036\ 35320786639*c_1001_3^8 + 9172426294718687891960194681/6775911106865\ 203635320786639*c_1001_3^7 - 220040546099872947662164147644/6775911\ 106865203635320786639*c_1001_3^6 + 339454612419596025510852495345/6775911106865203635320786639*c_1001_\ 3^5 - 287573987381771830094094392825/6775911106865203635320786639*c\ _1001_3^4 + 180912451851831308667850830588/677591110686520363532078\ 6639*c_1001_3^3 - 74249583238496712709425595721/6775911106865203635\ 320786639*c_1001_3^2 + 17810966795394981913765235671/67759111068652\ 03635320786639*c_1001_3 - 339508193845420321243505151/6775911106865\ 203635320786639, c_0101_1 + 37393539829958925789053643328/6775911106865203635320786639*c\ _1001_3^16 + 150792919859012854656465603440/67759111068652036353207\ 86639*c_1001_3^15 + 88604070723982442447414696192/67759111068652036\ 35320786639*c_1001_3^14 - 75708109731878124112567223001/67759111068\ 65203635320786639*c_1001_3^13 - 81386128717256835778472437478/67759\ 11106865203635320786639*c_1001_3^12 + 167951426412222170463497536908/6775911106865203635320786639*c_1001_\ 3^11 + 206035790707773283358449572474/6775911106865203635320786639*\ c_1001_3^10 - 280507082042948616530139549469/6775911106865203635320\ 786639*c_1001_3^9 + 267656244495408353948505223981/6775911106865203\ 635320786639*c_1001_3^8 + 9514844973303774102111871375/677591110686\ 5203635320786639*c_1001_3^7 - 473238883404191711468224306193/677591\ 1106865203635320786639*c_1001_3^6 + 707049008554925701297708644234/6775911106865203635320786639*c_1001_\ 3^5 - 579142346157023946367657030739/6775911106865203635320786639*c\ _1001_3^4 + 369117488596709933484278163105/677591110686520363532078\ 6639*c_1001_3^3 - 159599013258779502584574802183/677591110686520363\ 5320786639*c_1001_3^2 + 34867214413239743294882990683/6775911106865\ 203635320786639*c_1001_3 - 4958661463453605049525611588/67759111068\ 65203635320786639, c_0101_10 + 29087479912783583828272463232/6775911106865203635320786639*\ c_1001_3^16 + 142699738229166826099024325920/6775911106865203635320\ 786639*c_1001_3^15 + 193077862665511116054499618656/677591110686520\ 3635320786639*c_1001_3^14 + 105833683727531558038028616266/67759111\ 06865203635320786639*c_1001_3^13 + 16238358203707203098086867530/6775911106865203635320786639*c_1001_3\ ^12 + 122523989731610266967158157694/6775911106865203635320786639*c\ _1001_3^11 + 247176920835273059262254471147/67759111068652036353207\ 86639*c_1001_3^10 - 5743005299635662811455931973/677591110686520363\ 5320786639*c_1001_3^9 + 207086328426417328199597785649/677591110686\ 5203635320786639*c_1001_3^8 + 171138848451840819815182303003/677591\ 1106865203635320786639*c_1001_3^7 - 255976717901509440851984979436/6775911106865203635320786639*c_1001_\ 3^6 + 300771527104019850958461423117/6775911106865203635320786639*c\ _1001_3^5 - 179116659523106531388620725643/677591110686520363532078\ 6639*c_1001_3^4 + 135514159789390679051628284388/677591110686520363\ 5320786639*c_1001_3^3 - 16233416369958501590127495097/6775911106865\ 203635320786639*c_1001_3^2 + 17358669699773631484793520229/67759111\ 06865203635320786639*c_1001_3 + 515727621590687628879151904/6775911\ 106865203635320786639, c_0101_2 + 15201024608312605536587548352/6775911106865203635320786639*c\ _1001_3^16 + 60869290772170922275108297552/677591110686520363532078\ 6639*c_1001_3^15 + 29208270068831474796771091456/677591110686520363\ 5320786639*c_1001_3^14 - 58347448744316059964661199451/677591110686\ 5203635320786639*c_1001_3^13 - 73389816323786409168540672686/677591\ 1106865203635320786639*c_1001_3^12 + 42411440757667591293039565677/6775911106865203635320786639*c_1001_3\ ^11 + 74894862986730490920627650451/6775911106865203635320786639*c_\ 1001_3^10 - 140070100629324459556428300158/677591110686520363532078\ 6639*c_1001_3^9 + 61182620174937162609209833922/6775911106865203635\ 320786639*c_1001_3^8 - 5101433689428993304798468722/677591110686520\ 3635320786639*c_1001_3^7 - 218709901887700846435703984473/677591110\ 6865203635320786639*c_1001_3^6 + 250306014423416673261945234328/677\ 5911106865203635320786639*c_1001_3^5 - 205029680031956030908644138201/6775911106865203635320786639*c_1001_\ 3^4 + 121777686339641990937981859863/6775911106865203635320786639*c\ _1001_3^3 - 63829946802847336424583958960/6775911106865203635320786\ 639*c_1001_3^2 + 9598786835260608732901425936/677591110686520363532\ 0786639*c_1001_3 - 5540443041380828706634665851/6775911106865203635\ 320786639, c_1001_0 - 33049540293512580391800368384/6775911106865203635320786639*c\ _1001_3^16 - 168262541372496014399885948672/67759111068652036353207\ 86639*c_1001_3^15 - 237033129853853687744532502064/6775911106865203\ 635320786639*c_1001_3^14 - 94108239012242654099971368284/6775911106\ 865203635320786639*c_1001_3^13 + 65666437305005088929892339889/6775\ 911106865203635320786639*c_1001_3^12 - 88642917840863307677775795695/6775911106865203635320786639*c_1001_3\ ^11 - 334627698527352999296150671408/6775911106865203635320786639*c\ _1001_3^10 - 23725277923535078049578635218/677591110686520363532078\ 6639*c_1001_3^9 - 85358426894902771817716699242/6775911106865203635\ 320786639*c_1001_3^8 - 186556474749269371858332036607/6775911106865\ 203635320786639*c_1001_3^7 + 265234622670477497696013285132/6775911\ 106865203635320786639*c_1001_3^6 - 224837176530980903878868118351/6775911106865203635320786639*c_1001_\ 3^5 + 73634041952936861385533373174/6775911106865203635320786639*c_\ 1001_3^4 - 66750728176607657127573667945/67759111068652036353207866\ 39*c_1001_3^3 - 13700533830311006060625803740/677591110686520363532\ 0786639*c_1001_3^2 + 6564551690015489439493617787/67759111068652036\ 35320786639*c_1001_3 - 1460042371341604450951680983/677591110686520\ 3635320786639, c_1001_10 - 49406648741662394693135160256/6775911106865203635320786639*\ c_1001_3^16 - 253438515717796892033322605904/6775911106865203635320\ 786639*c_1001_3^15 - 367081575686758288977313721392/677591110686520\ 3635320786639*c_1001_3^14 - 172638092352461219854517862929/67759111\ 06865203635320786639*c_1001_3^13 + 55200089640186323050973852219/6775911106865203635320786639*c_1001_3\ ^12 - 165552851397411230212064232905/6775911106865203635320786639*c\ _1001_3^11 - 517796585301350571783720548580/67759111068652036353207\ 86639*c_1001_3^10 - 58314952696052306983901127147/67759111068652036\ 35320786639*c_1001_3^9 - 157156048740491712956462113175/67759111068\ 65203635320786639*c_1001_3^8 - 311251764440896607037099669314/67759\ 11106865203635320786639*c_1001_3^7 + 361012083000291510781355207749/6775911106865203635320786639*c_1001_\ 3^6 - 345327116652169527976212492560/6775911106865203635320786639*c\ _1001_3^5 + 105663059251074910819298805355/677591110686520363532078\ 6639*c_1001_3^4 - 94085315101430680279261922533/6775911106865203635\ 320786639*c_1001_3^3 - 16401959867297550472482425976/67759111068652\ 03635320786639*c_1001_3^2 - 4494209089944921036412746678/6775911106\ 865203635320786639*c_1001_3 - 1734322622004503157694424838/67759111\ 06865203635320786639, c_1001_2 - c_1001_3, c_1001_3^17 + 19/4*c_1001_3^16 + 23/4*c_1001_3^15 + 127/64*c_1001_3^14 - 51/64*c_1001_3^13 + 265/64*c_1001_3^12 + 275/32*c_1001_3^11 - 111/64*c_1001_3^10 + 355/64*c_1001_3^9 + 305/64*c_1001_3^8 - 73/8*c_1001_3^7 + 733/64*c_1001_3^6 - 7*c_1001_3^5 + 315/64*c_1001_3^4 - 73/64*c_1001_3^3 + 31/64*c_1001_3^2 + 1/32*c_1001_3 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.320 Total time: 1.530 seconds, Total memory usage: 64.12MB