Magma V2.19-8 Tue Aug 20 2013 17:58:25 on localhost [Seed = 223132077] Type ? for help. Type -D to quit. Loading file "10^2_110__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_110 geometric_solution 12.45062614 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 -1 6 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500520277751 0.833310332193 0 4 3 4 0132 0321 0321 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.622530062677 0.430424902978 3 0 6 5 0321 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 6 0 0 -6 0 -6 0 6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616689868044 0.474574012073 2 6 1 0 0321 2031 0321 0132 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 0 0 -1 0 -5 0 5 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.549974501248 1.711733121333 1 7 0 1 3120 0132 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 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.086801643612 0.751427955136 8 9 2 9 0132 0132 0132 1230 0 0 1 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 0 0 0 0 0 6 -6 1 -1 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550314465843 0.933436531561 3 10 8 2 1302 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -5 0 5 0 1 0 0 -1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398506602101 0.917219994124 11 4 12 10 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843807341209 0.557287097970 5 13 13 6 0132 0132 1302 0132 0 0 0 1 0 0 0 0 0 0 1 -1 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 1 -1 0 0 5 -5 0 -5 0 5 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925109174850 1.254646260449 5 5 11 10 3012 0132 3120 3120 0 0 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 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418888500535 0.869509466838 9 6 7 13 3120 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 1.447136131006 0.531135418887 7 12 9 12 0132 3120 3120 3012 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 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 1.047406881294 0.794207651155 13 11 11 7 3012 3120 1230 0132 0 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393801057276 0.459656936604 8 8 10 12 2031 0132 0132 1230 0 0 1 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 0 1 2 -3 0 1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619291030865 0.516322935098 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_13'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_0011_12'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_1001_13'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : 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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_13'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_13'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_0101_13'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0101_7'], 'c_1100_13' : d['c_0101_7'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_13'], 'c_1100_8' : d['c_0101_13'], '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'], 'c_1100_12' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_13']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_13'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : d['c_0011_12'], 'c_0110_12' : d['c_0101_7'], 's_0_13' : negation(d['1']), 'c_0101_12' : d['c_0011_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_13']), 's_1_13' : negation(d['1']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_13']), 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_1'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_13, c_0011_3, c_0101_1, c_0101_10, c_0101_13, c_0101_7, c_0101_9, c_1001_1, c_1001_10, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 20125728397131101274963835019/54585474563332294927624533096*c_1001_\ 13^16 - 4137365415219864526168569817/2021684243086381293615723448*c\ _1001_13^15 - 307914966272837361241881610447/5458547456333229492762\ 4533096*c_1001_13^14 - 48238120591772861766296107697/45487895469443\ 57910635377758*c_1001_13^13 - 16700948255950436895628945297/5351517\ 11405218577721809148*c_1001_13^12 - 268678410350880458984879781857/3032526364629571940423585172*c_1001_\ 13^11 - 10347275867917448847438413069899/54585474563332294927624533\ 096*c_1001_13^10 - 1011705433219485112537630722061/3210910268431311\ 466330854888*c_1001_13^9 - 25739654078382278990971326958507/5458547\ 4563332294927624533096*c_1001_13^8 - 14744989280836139414910714698533/27292737281666147463812266548*c_10\ 01_13^7 - 24452329265397647395627736832829/545854745633322949276245\ 33096*c_1001_13^6 - 208654205417909531375064471757/7581315911573929\ 85105896293*c_1001_13^5 - 973099155671198491921520188730/6823184320\ 416536865953066637*c_1001_13^4 - 17794073518498303017911855493/5054\ 21060771595323403930862*c_1001_13^3 + 497913431159614926493105539223/54585474563332294927624533096*c_1001\ _13^2 + 397422061781343580728810843587/1819515818777743164254151103\ 2*c_1001_13 + 217951879543171938267721124305/5458547456333229492762\ 4533096, c_0011_0 - 1, c_0011_10 + 57387692745114980149/6051424920338541485422*c_1001_13^16 + 444062896771034039895/6051424920338541485422*c_1001_13^15 + 1532252505767216444253/6051424920338541485422*c_1001_13^14 + 1656689167941052769651/3025712460169270742711*c_1001_13^13 + 3891526040200897057005/3025712460169270742711*c_1001_13^12 + 11622059880977440726471/3025712460169270742711*c_1001_13^11 + 56312796770321612899291/6051424920338541485422*c_1001_13^10 + 102946587089257124139887/6051424920338541485422*c_1001_13^9 + 159134870253356357928571/6051424920338541485422*c_1001_13^8 + 105776599025814693343112/3025712460169270742711*c_1001_13^7 + 207784871715859372509085/6051424920338541485422*c_1001_13^6 + 73082840986938168180183/3025712460169270742711*c_1001_13^5 + 46261054157190655936029/3025712460169270742711*c_1001_13^4 + 25733366426394344985757/3025712460169270742711*c_1001_13^3 + 15895693748195865234625/6051424920338541485422*c_1001_13^2 + 8784548740001503194611/6051424920338541485422*c_1001_13 - 289080305262976461929/6051424920338541485422, c_0011_11 + 435413824633841167555/12102849840677082970844*c_1001_13^16 + 2501769738425031731227/12102849840677082970844*c_1001_13^15 + 6922350265248035806955/12102849840677082970844*c_1001_13^14 + 3213581547686453890088/3025712460169270742711*c_1001_13^13 + 18537895618208280113387/6051424920338541485422*c_1001_13^12 + 54115988756538756243507/6051424920338541485422*c_1001_13^11 + 230697288720517688481775/12102849840677082970844*c_1001_13^10 + 379542107098548568178781/12102849840677082970844*c_1001_13^9 + 561070075569053699032919/12102849840677082970844*c_1001_13^8 + 322853764468965447084029/6051424920338541485422*c_1001_13^7 + 507879667500854699728065/12102849840677082970844*c_1001_13^6 + 75415931615647494152774/3025712460169270742711*c_1001_13^5 + 40769897587419001893748/3025712460169270742711*c_1001_13^4 + 12939387942506848461304/3025712460169270742711*c_1001_13^3 - 722344974367339409451/12102849840677082970844*c_1001_13^2 - 3533740963444573575085/12102849840677082970844*c_1001_13 + 4563994796288570438947/12102849840677082970844, c_0011_12 - 952555022213145753193/12102849840677082970844*c_1001_13^16 - 5021588597378026510265/12102849840677082970844*c_1001_13^15 - 13195035753165669012325/12102849840677082970844*c_1001_13^14 - 5977017258171205865257/3025712460169270742711*c_1001_13^13 - 37309668707256550469913/6051424920338541485422*c_1001_13^12 - 104745807055340583010577/6051424920338541485422*c_1001_13^11 - 434559066736468552095873/12102849840677082970844*c_1001_13^10 - 703189044823747369522851/12102849840677082970844*c_1001_13^9 - 1046787626076258670426745/12102849840677082970844*c_1001_13^8 - 574077302002549768517679/6051424920338541485422*c_1001_13^7 - 908130358091781731951491/12102849840677082970844*c_1001_13^6 - 139710459354628044833108/3025712460169270742711*c_1001_13^5 - 79049753212887357403711/3025712460169270742711*c_1001_13^4 - 22236679348524579258169/3025712460169270742711*c_1001_13^3 - 31949423926604532962047/12102849840677082970844*c_1001_13^2 + 21927221749682462198107/12102849840677082970844*c_1001_13 - 6379688001316485576505/12102849840677082970844, c_0011_13 - 1, c_0011_3 - 435413824633841167555/12102849840677082970844*c_1001_13^16 - 2501769738425031731227/12102849840677082970844*c_1001_13^15 - 6922350265248035806955/12102849840677082970844*c_1001_13^14 - 3213581547686453890088/3025712460169270742711*c_1001_13^13 - 18537895618208280113387/6051424920338541485422*c_1001_13^12 - 54115988756538756243507/6051424920338541485422*c_1001_13^11 - 230697288720517688481775/12102849840677082970844*c_1001_13^10 - 379542107098548568178781/12102849840677082970844*c_1001_13^9 - 561070075569053699032919/12102849840677082970844*c_1001_13^8 - 322853764468965447084029/6051424920338541485422*c_1001_13^7 - 507879667500854699728065/12102849840677082970844*c_1001_13^6 - 75415931615647494152774/3025712460169270742711*c_1001_13^5 - 40769897587419001893748/3025712460169270742711*c_1001_13^4 - 12939387942506848461304/3025712460169270742711*c_1001_13^3 + 722344974367339409451/12102849840677082970844*c_1001_13^2 + 3533740963444573575085/12102849840677082970844*c_1001_13 - 4563994796288570438947/12102849840677082970844, c_0101_1 + 673802104050244343391/12102849840677082970844*c_1001_13^16 + 3704419093537885732739/12102849840677082970844*c_1001_13^15 + 10302617373405121248375/12102849840677082970844*c_1001_13^14 + 5015793933016283093520/3025712460169270742711*c_1001_13^13 + 29876073860278401190203/6051424920338541485422*c_1001_13^12 + 83200093361088992146037/6051424920338541485422*c_1001_13^11 + 357406223568876262825411/12102849840677082970844*c_1001_13^10 + 615037966051000516055681/12102849840677082970844*c_1001_13^9 + 961777140060014450727279/12102849840677082970844*c_1001_13^8 + 584374879497003887348647/6051424920338541485422*c_1001_13^7 + 1107284170999274998522989/12102849840677082970844*c_1001_13^6 + 220380736131368477631991/3025712460169270742711*c_1001_13^5 + 152047829491576797148415/3025712460169270742711*c_1001_13^4 + 74092913061671626067066/3025712460169270742711*c_1001_13^3 + 118680093222518498330673/12102849840677082970844*c_1001_13^2 + 31371471849887865214451/12102849840677082970844*c_1001_13 + 8733190850228782912051/12102849840677082970844, c_0101_10 - 2032777042816212444947/12102849840677082970844*c_1001_13^16 - 11703971208353462309819/12102849840677082970844*c_1001_13^15 - 33471752753074781990847/12102849840677082970844*c_1001_13^14 - 16405115048540996934389/3025712460169270742711*c_1001_13^13 - 93709791516801931179961/6051424920338541485422*c_1001_13^12 - 266037750339907203560323/6051424920338541485422*c_1001_13^11 - 1161638443292149956418479/12102849840677082970844*c_1001_13^10 - 2001905273590140724485917/12102849840677082970844*c_1001_13^9 - 3090426216294850944800815/12102849840677082970844*c_1001_13^8 - 1887639086999739704295501/6051424920338541485422*c_1001_13^7 - 3499075050932331965020233/12102849840677082970844*c_1001_13^6 - 658357044964731846206143/3025712460169270742711*c_1001_13^5 - 440412796423623753052311/3025712460169270742711*c_1001_13^4 - 219122605958271377774546/3025712460169270742711*c_1001_13^3 - 369585969799559395305301/12102849840677082970844*c_1001_13^2 - 103046973044417365179683/12102849840677082970844*c_1001_13 - 46227055898654467859527/12102849840677082970844, c_0101_13 - 113557906517105735949/12102849840677082970844*c_1001_13^16 - 755280230376793331401/12102849840677082970844*c_1001_13^15 - 2394940390896688290613/12102849840677082970844*c_1001_13^14 - 1246350707750738414285/3025712460169270742711*c_1001_13^13 - 6376142029544335167009/6051424920338541485422*c_1001_13^12 - 18601432749174049611481/6051424920338541485422*c_1001_13^11 - 86220234637689659811121/12102849840677082970844*c_1001_13^10 - 154323271658460480208195/12102849840677082970844*c_1001_13^9 - 238982489890240605651773/12102849840677082970844*c_1001_13^8 - 154529325591961495328905/6051424920338541485422*c_1001_13^7 - 301872947855564622575147/12102849840677082970844*c_1001_13^6 - 55610600320508648604813/3025712460169270742711*c_1001_13^5 - 36308954266567068482289/3025712460169270742711*c_1001_13^4 - 19498852332019734211353/3025712460169270742711*c_1001_13^3 - 27043243325665747685723/12102849840677082970844*c_1001_13^2 + 5717533696626109239771/12102849840677082970844*c_1001_13 - 182485778797119901693/12102849840677082970844, c_0101_7 + 586222945067005273661/6051424920338541485422*c_1001_13^16 + 3344689897223692593031/6051424920338541485422*c_1001_13^15 + 9688773013824374428795/6051424920338541485422*c_1001_13^14 + 9766629577691885197149/3025712460169270742711*c_1001_13^13 + 28005358253237632087623/3025712460169270742711*c_1001_13^12 + 78004532843947294441150/3025712460169270742711*c_1001_13^11 + 343730793035386543017305/6051424920338541485422*c_1001_13^10 + 606466843356969495331065/6051424920338541485422*c_1001_13^9 + 958829579948120120713825/6051424920338541485422*c_1001_13^8 + 600407088351589740027319/3025712460169270742711*c_1001_13^7 + 1189137784432833429720705/6051424920338541485422*c_1001_13^6 + 483820807400882959862517/3025712460169270742711*c_1001_13^5 + 340366367344362982235327/3025712460169270742711*c_1001_13^4 + 176885166631261675606766/3025712460169270742711*c_1001_13^3 + 168602817509556166152693/6051424920338541485422*c_1001_13^2 + 48353101618828524667139/6051424920338541485422*c_1001_13 + 15933311759585854255219/6051424920338541485422, c_0101_9 + 297605631438776487428/3025712460169270742711*c_1001_13^16 + 1557104243915907998072/3025712460169270742711*c_1001_13^15 + 4046852644347611180669/3025712460169270742711*c_1001_13^14 + 7270550987310926220478/3025712460169270742711*c_1001_13^13 + 23010881994183804101884/3025712460169270742711*c_1001_13^12 + 64647173863702058959555/3025712460169270742711*c_1001_13^11 + 132924324477530902358012/3025712460169270742711*c_1001_13^10 + 213983531459065206129736/3025712460169270742711*c_1001_13^9 + 319524884449304470910671/3025712460169270742711*c_1001_13^8 + 350671116402773317305527/3025712460169270742711*c_1001_13^7 + 278168915127210922785375/3025712460169270742711*c_1001_13^6 + 181845053027288081763532/3025712460169270742711*c_1001_13^5 + 116041604655406788003558/3025712460169270742711*c_1001_13^4 + 44509363245058042519901/3025712460169270742711*c_1001_13^3 + 20236054950349953462002/3025712460169270742711*c_1001_13^2 + 651152201059680333028/3025712460169270742711*c_1001_13 + 4042159328689157655293/3025712460169270742711, c_1001_1 - 127085940725065069931/3025712460169270742711*c_1001_13^16 - 703227630861212305387/3025712460169270742711*c_1001_13^15 - 1912773038379874417552/3025712460169270742711*c_1001_13^14 - 3581272910529672929382/3025712460169270742711*c_1001_13^13 - 10763367114834416300466/3025712460169270742711*c_1001_13^12 - 30755646418290350806798/3025712460169270742711*c_1001_13^11 - 64841860739984265995348/3025712460169270742711*c_1001_13^10 - 107946139809648301587337/3025712460169270742711*c_1001_13^9 - 165677825937151025206204/3025712460169270742711*c_1001_13^8 - 197706628139271148904110/3025712460169270742711*c_1001_13^7 - 174465514368176892708896/3025712460169270742711*c_1001_13^6 - 132864347480333536499640/3025712460169270742711*c_1001_13^5 - 97442260902398080717830/3025712460169270742711*c_1001_13^4 - 45928700061152888143928/3025712460169270742711*c_1001_13^3 - 13220500020086858439190/3025712460169270742711*c_1001_13^2 - 4145856877663994061100/3025712460169270742711*c_1001_13 - 2089042415815424519792/3025712460169270742711, c_1001_10 - 25906123222084547429/3025712460169270742711*c_1001_13^16 - 124001898038165990562/3025712460169270742711*c_1001_13^15 - 270666800011689998013/3025712460169270742711*c_1001_13^14 - 390799750596301087954/3025712460169270742711*c_1001_13^13 - 1556233826856099663089/3025712460169270742711*c_1001_13^12 - 4476383040690634024725/3025712460169270742711*c_1001_13^11 - 7769619248636314580678/3025712460169270742711*c_1001_13^10 - 10329535437197792069823/3025712460169270742711*c_1001_13^9 - 14399639690705973542222/3025712460169270742711*c_1001_13^8 - 10169183359586601547088/3025712460169270742711*c_1001_13^7 + 3069891016394397407764/3025712460169270742711*c_1001_13^6 + 7740362982750557197173/3025712460169270742711*c_1001_13^5 + 8600137347651002189880/3025712460169270742711*c_1001_13^4 + 16729216780005042394855/3025712460169270742711*c_1001_13^3 + 10245400497809953137283/3025712460169270742711*c_1001_13^2 + 3432081851131236372924/3025712460169270742711*c_1001_13 + 1589995088531857108003/3025712460169270742711, c_1001_13^17 + 6*c_1001_13^16 + 18*c_1001_13^15 + 37*c_1001_13^14 + 102*c_1001_13^13 + 288*c_1001_13^12 + 647*c_1001_13^11 + 1156*c_1001_13^10 + 1828*c_1001_13^9 + 2347*c_1001_13^8 + 2365*c_1001_13^7 + 1947*c_1001_13^6 + 1408*c_1001_13^5 + 836*c_1001_13^4 + 407*c_1001_13^3 + 148*c_1001_13^2 + 54*c_1001_13 + 17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.420 seconds, Total memory usage: 32.09MB