Magma V2.19-8 Wed Aug 21 2013 00:57:28 on localhost [Seed = 3734553621] Type ? for help. Type -D to quit. Loading file "L13n4356__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4356 geometric_solution 12.19796755 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 1 1 0 1 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 1 -1 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.601603444983 1.261914710321 0 4 4 3 0132 0132 1302 3201 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 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.681529532379 1.043475600397 0 0 4 5 3012 0132 0132 0132 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 0 1 0 -1 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.227505858798 0.720621165734 5 1 6 0 1302 2310 0132 0132 1 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 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.071313670264 0.440611901156 1 1 7 2 2031 0132 0132 0132 1 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 0 0 0 0 0 0 0 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.561244398442 0.671769516964 6 3 2 8 2031 2031 0132 0132 1 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 -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.703033326964 0.666121868554 9 10 5 3 0132 0132 1302 0132 1 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.342562406288 0.762670135117 8 10 11 4 1302 3201 0132 0132 1 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 0 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.071228578020 1.161384094547 12 7 5 11 0132 2031 0132 0132 1 1 1 1 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 -2 0 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.905517279674 1.301730055409 6 10 12 11 0132 3012 2310 1230 1 1 1 1 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 0 0 0 -1 0 2 -1 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.324399759700 0.959031900902 9 6 7 12 1230 0132 2310 1023 1 1 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 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.887388769004 0.823928672160 9 12 8 7 3012 1230 0132 0132 1 1 1 1 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 0 0 0 0 0 0 0 1 0 0 -1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517616084367 0.669149071254 8 9 11 10 0132 3201 3012 1023 1 1 1 1 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 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304992665142 0.899699469298 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_1001_10']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0011_3'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0101_8'], '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_0101_10']), 'c_0101_10' : d['c_0101_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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_11'], 'c_1100_4' : d['c_1100_11'], 'c_1100_7' : d['c_1100_11'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : d['c_1100_11'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : d['c_0011_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : d['c_0011_7'], 'c_1100_8' : d['c_1100_11'], '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_0011_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_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_0011_12'], 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : negation(d['c_0101_10']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], '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_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0011_11']})} 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_3, c_0011_7, c_0101_0, c_0101_10, c_0101_2, c_0101_5, c_0101_8, c_1001_10, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 409822150670619110034996069817779/65024131787536946423716825386008*\ c_1100_11^17 - 237967785510028549380755531360509/250092814567449793\ 9373724053308*c_1100_11^16 + 8659662365161238348562105435437017/162\ 56032946884236605929206346502*c_1100_11^15 - 799972932851379151470713799868510/625232036418624484843431013327*c_\ 1100_11^14 + 63494615708098444397361881713935977/650241317875369464\ 23716825386008*c_1100_11^13 + 285112424338534172468321279896085/878\ 704483615364140861038180892*c_1100_11^12 - 7880529556273960187476670451888267/32512065893768473211858412693004\ *c_1100_11^11 + 116556260248189747258627672981172579/32512065893768\ 473211858412693004*c_1100_11^10 - 525626426783973865985189516091595\ /75434027595750517892942952884*c_1100_11^9 - 24650950556227165535706071976470461/1625603294688423660592920634650\ 2*c_1100_11^8 + 227402032052681306719724766019869643/65024131787536\ 946423716825386008*c_1100_11^7 + 1552155947364142558153383186077040\ 19/32512065893768473211858412693004*c_1100_11^6 + 243004629079430153505903541909387179/325120658937684732118584126930\ 04*c_1100_11^5 - 85438888209362476840457093611682425/16256032946884\ 236605929206346502*c_1100_11^4 - 3718484452318941257084649430226899\ 07/65024131787536946423716825386008*c_1100_11^3 - 50575762093624543662754485404746759/1625603294688423660592920634650\ 2*c_1100_11^2 + 9229883962659492301687619362657671/6502413178753694\ 6423716825386008*c_1100_11 - 1579196107286095985335342581798147/162\ 56032946884236605929206346502, c_0011_0 - 1, c_0011_10 - 389262613838979814119/6299178607397245627496*c_1100_11^17 + 11553071456437091561243/12598357214794491254992*c_1100_11^16 - 15685624021769626549941/3149589303698622813748*c_1100_11^15 + 70315513301526006790097/6299178607397245627496*c_1100_11^14 - 38769143217369284349039/6299178607397245627496*c_1100_11^13 - 75295139939619482229725/12598357214794491254992*c_1100_11^12 + 8514471938376377430389/6299178607397245627496*c_1100_11^11 - 52827825017822914147635/1574794651849311406874*c_1100_11^10 + 92581067511760627823657/1574794651849311406874*c_1100_11^9 + 211685750947988559818201/6299178607397245627496*c_1100_11^8 - 49547756203595651844443/1574794651849311406874*c_1100_11^7 - 762267793085220034610207/12598357214794491254992*c_1100_11^6 - 255502095445297972819589/3149589303698622813748*c_1100_11^5 + 219377922964491265237309/6299178607397245627496*c_1100_11^4 + 222885035250441312584755/3149589303698622813748*c_1100_11^3 + 577705104578477426578855/12598357214794491254992*c_1100_11^2 + 3659396277244565687451/3149589303698622813748*c_1100_11 + 2833785063737377373807/12598357214794491254992, c_0011_11 - 13147175806373139021/6299178607397245627496*c_1100_11^17 + 303473739523631932057/12598357214794491254992*c_1100_11^16 - 207653869899371234231/3149589303698622813748*c_1100_11^15 - 1139411879129243947363/6299178607397245627496*c_1100_11^14 + 6713376393362548173689/6299178607397245627496*c_1100_11^13 - 12933026716315759491679/12598357214794491254992*c_1100_11^12 - 1939246437097707358335/6299178607397245627496*c_1100_11^11 - 2011573841479854154743/1574794651849311406874*c_1100_11^10 - 5132315473432968647877/3149589303698622813748*c_1100_11^9 + 47573865698394211134141/6299178607397245627496*c_1100_11^8 + 1636971694171178245618/787397325924655703437*c_1100_11^7 - 53541116881553887240289/12598357214794491254992*c_1100_11^6 - 14684506481084915511893/1574794651849311406874*c_1100_11^5 - 51032940071636776999311/6299178607397245627496*c_1100_11^4 + 15364255637379676722689/3149589303698622813748*c_1100_11^3 + 99721247743416668760161/12598357214794491254992*c_1100_11^2 + 3794481530475458760711/787397325924655703437*c_1100_11 + 3912777039195116276945/12598357214794491254992, c_0011_12 + 67221735891998409426/787397325924655703437*c_1100_11^17 - 4017096403213110608767/3149589303698622813748*c_1100_11^16 + 5519156821270679707712/787397325924655703437*c_1100_11^15 - 50847650440851604253703/3149589303698622813748*c_1100_11^14 + 32218532026053760162761/3149589303698622813748*c_1100_11^13 + 22014934805926430986307/3149589303698622813748*c_1100_11^12 - 7368312497990207809213/3149589303698622813748*c_1100_11^11 + 36380074536657402395002/787397325924655703437*c_1100_11^10 - 267960125930825550998671/3149589303698622813748*c_1100_11^9 - 118784009196099898028063/3149589303698622813748*c_1100_11^8 + 74112675972173558680527/1574794651849311406874*c_1100_11^7 + 123078275923069712219417/1574794651849311406874*c_1100_11^6 + 322838892611399193910579/3149589303698622813748*c_1100_11^5 - 179579369432490648394307/3149589303698622813748*c_1100_11^4 - 71694886895801683475552/787397325924655703437*c_1100_11^3 - 82672906348159900590921/1574794651849311406874*c_1100_11^2 + 12811312304783165269933/3149589303698622813748*c_1100_11 - 747360447160008730623/787397325924655703437, c_0011_3 + 229161731587687808365/12598357214794491254992*c_1100_11^17 - 1675835031079428547487/6299178607397245627496*c_1100_11^16 + 8882052191316765596425/6299178607397245627496*c_1100_11^15 - 2362049925194839818412/787397325924655703437*c_1100_11^14 + 15918750079687277702913/12598357214794491254992*c_1100_11^13 + 5585156628190291386431/3149589303698622813748*c_1100_11^12 + 890234748434996233929/3149589303698622813748*c_1100_11^11 + 15396494705376505589649/1574794651849311406874*c_1100_11^10 - 94482582922693297922757/6299178607397245627496*c_1100_11^9 - 80950678735814154209275/6299178607397245627496*c_1100_11^8 + 67556378187534295359863/12598357214794491254992*c_1100_11^7 + 120197178197824668809613/6299178607397245627496*c_1100_11^6 + 178640490942907554758791/6299178607397245627496*c_1100_11^5 - 18922694241502969362047/6299178607397245627496*c_1100_11^4 - 267310920198139633969115/12598357214794491254992*c_1100_11^3 - 63002704390703241428247/3149589303698622813748*c_1100_11^2 - 77799859564707726770199/12598357214794491254992*c_1100_11 - 7388939113032537749803/6299178607397245627496, c_0011_7 + 221018694986927723757/1574794651849311406874*c_1100_11^17 - 6615133373534602956039/3149589303698622813748*c_1100_11^16 + 36454014689467675756945/3149589303698622813748*c_1100_11^15 - 84420628383727266256173/3149589303698622813748*c_1100_11^14 + 27311943593080046161195/1574794651849311406874*c_1100_11^13 + 8951697491654223323230/787397325924655703437*c_1100_11^12 - 3439410564855267769564/787397325924655703437*c_1100_11^11 + 240631848749879381947159/3149589303698622813748*c_1100_11^10 - 449049125370221627849649/3149589303698622813748*c_1100_11^9 - 46319032812309554319787/787397325924655703437*c_1100_11^8 + 249160601951355673432069/3149589303698622813748*c_1100_11^7 + 200269295808533297306619/1574794651849311406874*c_1100_11^6 + 526477883517523856637071/3149589303698622813748*c_1100_11^5 - 158277901677505293633123/1574794651849311406874*c_1100_11^4 - 466927798680977493620509/3149589303698622813748*c_1100_11^3 - 66853074239997199839648/787397325924655703437*c_1100_11^2 + 26810507162013256110963/3149589303698622813748*c_1100_11 - 4747566039932281728277/3149589303698622813748, c_0101_0 - 1, c_0101_10 - 695496857468620328547/6299178607397245627496*c_1100_11^17 + 10397141098385387178089/6299178607397245627496*c_1100_11^16 - 28598008351674852013125/3149589303698622813748*c_1100_11^15 + 32996316981040974801983/1574794651849311406874*c_1100_11^14 - 84188433493636117755781/6299178607397245627496*c_1100_11^13 - 56992133162827165589521/6299178607397245627496*c_1100_11^12 + 2550673572695698311498/787397325924655703437*c_1100_11^11 - 94533652758441021661835/1574794651849311406874*c_1100_11^10 + 174926832060468507906123/1574794651849311406874*c_1100_11^9 + 150408696360811164104393/3149589303698622813748*c_1100_11^8 - 386282302845602845439719/6299178607397245627496*c_1100_11^7 - 633422669705328336978755/6299178607397245627496*c_1100_11^6 - 104624595167923148107935/787397325924655703437*c_1100_11^5 + 240705812024888932423433/3149589303698622813748*c_1100_11^4 + 738698398979266888694619/6299178607397245627496*c_1100_11^3 + 427741924740204264430389/6299178607397245627496*c_1100_11^2 - 35086600317277738711379/6299178607397245627496*c_1100_11 + 7294970438598461203255/6299178607397245627496, c_0101_2 - 44585760504959581809/6299178607397245627496*c_1100_11^17 + 682756381228674895237/6299178607397245627496*c_1100_11^16 - 1956900116214152262823/3149589303698622813748*c_1100_11^15 + 4935146597302439304577/3149589303698622813748*c_1100_11^14 - 8955534333082876506033/6299178607397245627496*c_1100_11^13 - 203463259590948075737/6299178607397245627496*c_1100_11^12 + 205014333614289922551/3149589303698622813748*c_1100_11^11 - 2889674950846789673505/787397325924655703437*c_1100_11^10 + 26264963951399598470071/3149589303698622813748*c_1100_11^9 + 266906594909759178622/787397325924655703437*c_1100_11^8 - 25052544251956069250821/6299178607397245627496*c_1100_11^7 - 36710072043137076404505/6299178607397245627496*c_1100_11^6 - 20329812994301103849097/3149589303698622813748*c_1100_11^5 + 11522293734134679632297/1574794651849311406874*c_1100_11^4 + 38184008011940127364297/6299178607397245627496*c_1100_11^3 + 21295262849083198606343/6299178607397245627496*c_1100_11^2 - 10909944697461415274079/6299178607397245627496*c_1100_11 - 936623119251150338539/6299178607397245627496, c_0101_5 - 44585760504959581809/6299178607397245627496*c_1100_11^17 + 682756381228674895237/6299178607397245627496*c_1100_11^16 - 1956900116214152262823/3149589303698622813748*c_1100_11^15 + 4935146597302439304577/3149589303698622813748*c_1100_11^14 - 8955534333082876506033/6299178607397245627496*c_1100_11^13 - 203463259590948075737/6299178607397245627496*c_1100_11^12 + 205014333614289922551/3149589303698622813748*c_1100_11^11 - 2889674950846789673505/787397325924655703437*c_1100_11^10 + 26264963951399598470071/3149589303698622813748*c_1100_11^9 + 266906594909759178622/787397325924655703437*c_1100_11^8 - 25052544251956069250821/6299178607397245627496*c_1100_11^7 - 36710072043137076404505/6299178607397245627496*c_1100_11^6 - 20329812994301103849097/3149589303698622813748*c_1100_11^5 + 11522293734134679632297/1574794651849311406874*c_1100_11^4 + 38184008011940127364297/6299178607397245627496*c_1100_11^3 + 21295262849083198606343/6299178607397245627496*c_1100_11^2 - 10909944697461415274079/6299178607397245627496*c_1100_11 + 5362555488146095288957/6299178607397245627496, c_0101_8 + 102318696816292302639/6299178607397245627496*c_1100_11^17 - 3034499264438331513005/12598357214794491254992*c_1100_11^16 + 4121454102327675759877/3149589303698622813748*c_1100_11^15 - 18601174510080513270945/6299178607397245627496*c_1100_11^14 + 11197692272803204838377/6299178607397245627496*c_1100_11^13 + 13746879754679551794627/12598357214794491254992*c_1100_11^12 + 1119189102640547668131/6299178607397245627496*c_1100_11^11 + 13570273644867012848763/1574794651849311406874*c_1100_11^10 - 47397612429366228292265/3149589303698622813748*c_1100_11^9 - 51844371216950357992093/6299178607397245627496*c_1100_11^8 + 18504657475271356268349/3149589303698622813748*c_1100_11^7 + 200381405054102192858309/12598357214794491254992*c_1100_11^6 + 17507159737693009680495/787397325924655703437*c_1100_11^5 - 41145409801440660059065/6299178607397245627496*c_1100_11^4 - 26774131824659902043493/1574794651849311406874*c_1100_11^3 - 172303941924954971930541/12598357214794491254992*c_1100_11^2 - 10567160031837665396261/3149589303698622813748*c_1100_11 - 12764641776985006177781/12598357214794491254992, c_1001_10 + 139990210577768644747/12598357214794491254992*c_1100_11^17 - 496539324925376826125/3149589303698622813748*c_1100_11^16 + 4968251958888461070779/6299178607397245627496*c_1100_11^15 - 4513053103476919969071/3149589303698622813748*c_1100_11^14 - 1992318586478475309153/12598357214794491254992*c_1100_11^13 + 10966849996789634697125/6299178607397245627496*c_1100_11^12 + 273812270512321539120/787397325924655703437*c_1100_11^11 + 9617144803682926242639/1574794651849311406874*c_1100_11^10 - 41952655019894100982615/6299178607397245627496*c_1100_11^9 - 78815425976536080780299/6299178607397245627496*c_1100_11^8 + 17451289683622156858221/12598357214794491254992*c_1100_11^7 + 20871776538671898101277/1574794651849311406874*c_1100_11^6 + 137980864954305347060597/6299178607397245627496*c_1100_11^5 + 27166480695035749167141/6299178607397245627496*c_1100_11^4 - 190942904174259379240521/12598357214794491254992*c_1100_11^3 - 104710145932323284250151/6299178607397245627496*c_1100_11^2 - 99619748959630557318357/12598357214794491254992*c_1100_11 - 4162781116141844044171/3149589303698622813748, c_1100_11^18 - 15*c_1100_11^17 + 83*c_1100_11^16 - 194*c_1100_11^15 + 131*c_1100_11^14 + 75*c_1100_11^13 - 33*c_1100_11^12 + 546*c_1100_11^11 - 1034*c_1100_11^10 - 380*c_1100_11^9 + 571*c_1100_11^8 + 881*c_1100_11^7 + 1161*c_1100_11^6 - 744*c_1100_11^5 - 1023*c_1100_11^4 - 571*c_1100_11^3 + 72*c_1100_11^2 - 21*c_1100_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.660 Total time: 0.860 seconds, Total memory usage: 32.09MB