Magma V2.19-8 Tue Aug 20 2013 23:46:03 on localhost [Seed = 1545222564] Type ? for help. Type -D to quit. Loading file "K14n12009__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12009 geometric_solution 10.93234747 oriented_manifold CS_known -0.0000000000000001 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 -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 1 -1 0 0 3 -3 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.548278230822 0.529611171199 0 5 2 6 0132 0132 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 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 0 0 0 0 0 0.704674433367 0.805047926054 7 0 8 1 0132 0132 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 0 0 0 0 0 4 -4 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.786115736052 0.709727365210 9 5 6 0 0132 0321 0132 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 1 0 -1 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724150402591 1.191366252117 7 9 0 10 2103 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 -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 -1 1 0 0 0 3 -3 4 -3 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.927065447592 0.617267358905 10 1 8 3 1023 0132 2103 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 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.621098366453 0.712964998980 11 7 1 3 0132 2310 0132 0132 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506500440255 0.652321506440 2 11 4 6 0132 1302 2103 3201 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 4 -4 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.324900408501 0.990982113957 5 11 9 2 2103 3201 2031 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 0 0 0 0 0 4 -4 -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.718345880917 0.465843759683 3 10 4 8 0132 1302 0213 1302 0 0 0 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 0 0 0 0 0 0 0 0 3 1 -4 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.258577087966 0.511748406655 11 5 4 9 1302 1023 0132 2031 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 3 -3 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.293177959550 0.616402333433 6 10 8 7 0132 2031 2310 2031 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 0 -4 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.763815067659 1.197153633213 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_10']), 'c_1001_10' : d['c_0101_5'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0110_10'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0110_10'], 'c_1001_9' : d['c_0110_10'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), '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_1100_9' : d['c_0101_5'], 'c_0011_10' : d['c_0011_0'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_1010_9']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : negation(d['c_1010_9']), 'c_1100_1' : negation(d['c_1010_9']), 'c_1100_0' : negation(d['c_1010_9']), 'c_1100_3' : negation(d['c_1010_9']), 'c_1100_2' : negation(d['c_1010_9']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : negation(d['c_1010_9']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_8']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_0110_10'], 'c_1010_9' : d['c_1010_9'], 'c_1010_8' : d['c_0110_10'], 'c_1100_8' : negation(d['c_1010_9']), '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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_11']), '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_4'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0011_4'], 'c_0101_8' : d['c_0101_5'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_4'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_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_11, c_0011_3, c_0011_4, c_0011_8, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_0110_10, c_1001_0, c_1010_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 4044253463789917611074848440530492268691/60006764314672853706049184\ 91698513355*c_1010_9^17 - 4187069904698585163833902216619756343598/\ 2000225477155761790201639497232837785*c_1010_9^16 + 135017038697760852057055584785328197591119/200022547715576179020163\ 9497232837785*c_1010_9^15 + 103737023114410365110835090770201139783\ 06/60612893247144296672776954461601145*c_1010_9^14 + 487422350688022625711965553702269050652954/120013528629345707412098\ 3698339702671*c_1010_9^13 + 310505955054988110201163960953987388359\ 2063/6000676431467285370604918491698513355*c_1010_9^12 + 124247821513367849769558793718104227669091/315825075340383440558153\ 604826237545*c_1010_9^11 - 6995932156761692606359318028098115092250\ 7/666741825718587263400546499077612595*c_1010_9^10 - 2103754218335693472108410392675900220682013/60006764314672853706049\ 18491698513355*c_1010_9^9 - 983295790240778840058940409292022450264\ 804/2000225477155761790201639497232837785*c_1010_9^8 + 3389532793905604862877994738675842345657688/60006764314672853706049\ 18491698513355*c_1010_9^7 + 227437953972264299286453787382656545978\ 1637/2000225477155761790201639497232837785*c_1010_9^6 + 672252444265024442786971594104992625015218/400045095431152358040327\ 899446567557*c_1010_9^5 + 13473444572415692123001977585286292180585\ 90/1200135286293457074120983698339702671*c_1010_9^4 + 120901808570306210916181724887297661412622/181838679741432890018330\ 863384803435*c_1010_9^3 + 24724024388625591110358532674603329353114\ /133348365143717452680109299815522519*c_1010_9^2 + 287362262557760723880948885501670356143156/600067643146728537060491\ 8491698513355*c_1010_9 + 3693708448502271626389788204829002407951/2\ 000225477155761790201639497232837785, c_0011_0 - 1, c_0011_11 - 73084329285337351122872859840/72421164044619507345453078991\ 1*c_1010_9^17 + 184803424454097249549335151768/72421164044619507345\ 4530789911*c_1010_9^16 - 7183318795060156251093849993287/7242116404\ 46195073454530789911*c_1010_9^15 - 22809983623830659958421814406091/724211640446195073454530789911*c_1\ 010_9^14 - 54187533364923246449255733570326/72421164044619507345453\ 0789911*c_1010_9^13 - 81035007617585584970596953158636/724211640446\ 195073454530789911*c_1010_9^12 - 73666693002758480938029720042211/7\ 24211640446195073454530789911*c_1010_9^11 - 13300575566328846838166936254453/724211640446195073454530789911*c_1\ 010_9^10 + 43348307575395635286094601566005/72421164044619507345453\ 0789911*c_1010_9^9 + 72318578506402166615549325128437/7242116404461\ 95073454530789911*c_1010_9^8 - 29903405510425900563113803843802/724\ 211640446195073454530789911*c_1010_9^7 - 158986939098479515265261628510451/724211640446195073454530789911*c_\ 1010_9^6 - 245447858237377862239069030994077/7242116404461950734545\ 30789911*c_1010_9^5 - 227539027866885777023385435772441/72421164044\ 6195073454530789911*c_1010_9^4 - 140754535785828344913234034516156/\ 724211640446195073454530789911*c_1010_9^3 - 66786873415709744674495894112659/724211640446195073454530789911*c_1\ 010_9^2 - 16802937568594364725255674492160/724211640446195073454530\ 789911*c_1010_9 - 4210597818370734460328128998167/72421164044619507\ 3454530789911, c_0011_3 + 62734006976798209512125577626/724211640446195073454530789911\ *c_1010_9^17 - 223159909422681421550967515998/724211640446195073454\ 530789911*c_1010_9^16 + 6383421756826704348627740342072/72421164044\ 6195073454530789911*c_1010_9^15 + 13051783022709064258791721697644/\ 724211640446195073454530789911*c_1010_9^14 + 31866891045943964711130852079838/724211640446195073454530789911*c_1\ 010_9^13 + 33775298827236469364746651618387/72421164044619507345453\ 0789911*c_1010_9^12 + 20814680394549080767105084110924/724211640446\ 195073454530789911*c_1010_9^11 - 19873200121270445808814103643792/7\ 24211640446195073454530789911*c_1010_9^10 - 25027754325591361335133974214342/724211640446195073454530789911*c_1\ 010_9^9 - 35235541520715904300968485820255/724211640446195073454530\ 789911*c_1010_9^8 + 68578213530033124570807667886636/72421164044619\ 5073454530789911*c_1010_9^7 + 76562476629635457223137648407301/7242\ 11640446195073454530789911*c_1010_9^6 + 121022675413095253026076120012438/724211640446195073454530789911*c_\ 1010_9^5 + 50047550386663663028557627390806/72421164044619507345453\ 0789911*c_1010_9^4 + 34377363572768095486442576556211/7242116404461\ 95073454530789911*c_1010_9^3 - 219924823859354536758337120502/72421\ 1640446195073454530789911*c_1010_9^2 + 1748462092864119821745531202228/724211640446195073454530789911*c_10\ 10_9 - 1034498035314522800675252543107/7242116404461950734545307899\ 11, c_0011_4 + 146480068900850834881952928003/72421164044619507345453078991\ 1*c_1010_9^17 - 497256710407291918435453706176/72421164044619507345\ 4530789911*c_1010_9^16 + 14811055135591448765615527122453/724211640\ 446195073454530789911*c_1010_9^15 + 32930645092358576278682156370030/724211640446195073454530789911*c_1\ 010_9^14 + 78437654260032999655203448458361/72421164044619507345453\ 0789911*c_1010_9^13 + 89053592417738596043669743136090/724211640446\ 195073454530789911*c_1010_9^12 + 57885227506456171620847735564970/7\ 24211640446195073454530789911*c_1010_9^11 - 41647770959902155736395294165979/724211640446195073454530789911*c_1\ 010_9^10 - 65748243583942949647857283373782/72421164044619507345453\ 0789911*c_1010_9^9 - 86922620771721351034708571905150/7242116404461\ 95073454530789911*c_1010_9^8 + 149516964355742984955543461773705/72\ 4211640446195073454530789911*c_1010_9^7 + 206047456383525953247734060118405/724211640446195073454530789911*c_\ 1010_9^6 + 302064315558309870437943250212911/7242116404461950734545\ 30789911*c_1010_9^5 + 152470674139873810654616892699588/72421164044\ 6195073454530789911*c_1010_9^4 + 92738580027634642724722372491152/7\ 24211640446195073454530789911*c_1010_9^3 + 10605514659257784597513820855734/724211640446195073454530789911*c_1\ 010_9^2 + 4671676140691437593834073336465/7242116404461950734545307\ 89911*c_1010_9 - 1374482989071962149740665323444/724211640446195073\ 454530789911, c_0011_8 + 136970160829526834354764518884/72421164044619507345453078991\ 1*c_1010_9^17 - 419895044815654435982941579411/72421164044619507345\ 4530789911*c_1010_9^16 + 13688126067085980854364221060601/724211640\ 446195073454530789911*c_1010_9^15 + 35377554367076623345446611659095/724211640446195073454530789911*c_1\ 010_9^14 + 82649968642032838336310017014287/72421164044619507345453\ 0789911*c_1010_9^13 + 105367361294560513801125812231839/72421164044\ 6195073454530789911*c_1010_9^12 + 77527984929403098162007521203472/\ 724211640446195073454530789911*c_1010_9^11 - 25634003045063124108809940266998/724211640446195073454530789911*c_1\ 010_9^10 - 75416576430359565621003209034604/72421164044619507345453\ 0789911*c_1010_9^9 - 97078923177747292149649072138496/7242116404461\ 95073454530789911*c_1010_9^8 + 117826556375073977549370970760219/72\ 4211640446195073454530789911*c_1010_9^7 + 241083986599183413543781647817945/724211640446195073454530789911*c_\ 1010_9^6 + 336517406657302390234641458944781/7242116404461950734545\ 30789911*c_1010_9^5 + 219812685260738425701583536551124/72421164044\ 6195073454530789911*c_1010_9^4 + 123260094988790664649367555582909/\ 724211640446195073454530789911*c_1010_9^3 + 33863309218606468277666315976678/724211640446195073454530789911*c_1\ 010_9^2 + 8916111582727221677852913885670/7242116404461950734545307\ 89911*c_1010_9 + 816607648822657185011980582831/7242116404461950734\ 54530789911, c_0101_1 + 92760539934665033968294901572/724211640446195073454530789911\ *c_1010_9^17 - 327322601736985607572073477711/724211640446195073454\ 530789911*c_1010_9^16 + 9417389131318252368440053027657/72421164044\ 6195073454530789911*c_1010_9^15 + 19616127364091563114983412726761/\ 724211640446195073454530789911*c_1010_9^14 + 46447282232709604870834571019045/724211640446195073454530789911*c_1\ 010_9^13 + 49311329795903727181790962119243/72421164044619507345453\ 0789911*c_1010_9^12 + 28232883235684694293012535577354/724211640446\ 195073454530789911*c_1010_9^11 - 31374317484559577171938371952179/7\ 24211640446195073454530789911*c_1010_9^10 - 36964177863477469299963904447589/724211640446195073454530789911*c_1\ 010_9^9 - 47660918960440824078522872317270/724211640446195073454530\ 789911*c_1010_9^8 + 101276296948294740944623712855477/7242116404461\ 95073454530789911*c_1010_9^7 + 117703827951793628193172657283553/72\ 4211640446195073454530789911*c_1010_9^6 + 168884024447336352757089336035172/724211640446195073454530789911*c_\ 1010_9^5 + 70182198607707039354590958543319/72421164044619507345453\ 0789911*c_1010_9^4 + 46728603963408095474411161534154/7242116404461\ 95073454530789911*c_1010_9^3 + 46838940593261693833300966247/724211\ 640446195073454530789911*c_1010_9^2 + 2429473884336611821445636321536/724211640446195073454530789911*c_10\ 10_9 - 1309474018764322077244769650687/7242116404461950734545307899\ 11, c_0101_11 + 8356492562720139430740025162/724211640446195073454530789911\ *c_1010_9^17 + 17655178713568289297795237179/7242116404461950734545\ 30789911*c_1010_9^16 + 707494728168704319840690677629/7242116404461\ 95073454530789911*c_1010_9^15 + 6465094037968116246057821243618/724\ 211640446195073454530789911*c_1010_9^14 + 16727570552905382458402252234727/724211640446195073454530789911*c_1\ 010_9^13 + 33627835197896176284988300950770/72421164044619507345453\ 0789911*c_1010_9^12 + 40176528431501105680134092185536/724211640446\ 195073454530789911*c_1010_9^11 + 25165494656885331006743521251705/7\ 24211640446195073454530789911*c_1010_9^10 - 12495751278850160206390228302583/724211640446195073454530789911*c_1\ 010_9^9 - 32442850993228189656051518076942/724211640446195073454530\ 789911*c_1010_9^8 - 25580564530768292306961823265794/72421164044619\ 5073454530789911*c_1010_9^7 + 50850565523287522963881639323892/7242\ 11640446195073454530789911*c_1010_9^6 + 102833975984287953898076422856562/724211640446195073454530789911*c_\ 1010_9^5 + 127369213426456638256297880503417/7242116404461950734545\ 30789911*c_1010_9^4 + 80978460140660880209918722101665/724211640446\ 195073454530789911*c_1010_9^3 + 42186937538860621695666121346395/72\ 4211640446195073454530789911*c_1010_9^2 + 10313499848260993029007636346176/724211640446195073454530789911*c_1\ 010_9 + 2743213489769206456065507285913/724211640446195073454530789\ 911, c_0101_2 + 7694903410529371971185106457/724211640446195073454530789911*\ c_1010_9^17 - 63767328702132245764851353925/72421164044619507345453\ 0789911*c_1010_9^16 + 899331511865508371031509370401/72421164044619\ 5073454530789911*c_1010_9^15 - 2048715309831392683720018925826/7242\ 11640446195073454530789911*c_1010_9^14 - 5020425485736442781024153415884/724211640446195073454530789911*c_10\ 10_9^13 - 16376973968029106554456763661353/724211640446195073454530\ 789911*c_1010_9^12 - 21976320687480074207074170220344/7242116404461\ 95073454530789911*c_1010_9^11 - 18137789961831914494492242073558/72\ 4211640446195073454530789911*c_1010_9^10 + 7781294298855224578015870056256/724211640446195073454530789911*c_10\ 10_9^9 + 15367085037043106304522509555997/7242116404461950734545307\ 89911*c_1010_9^8 + 30328221714900847270626034756810/724211640446195\ 073454530789911*c_1010_9^7 - 26864423943654685039439029332756/72421\ 1640446195073454530789911*c_1010_9^6 - 45733445838713256800317545122026/724211640446195073454530789911*c_1\ 010_9^5 - 72009744584909696067115430194763/724211640446195073454530\ 789911*c_1010_9^4 - 38388543700002512207050976851681/72421164044619\ 5073454530789911*c_1010_9^3 - 21572793848061843138252543606755/7242\ 11640446195073454530789911*c_1010_9^2 - 3790428645107953282372963746606/724211640446195073454530789911*c_10\ 10_9 - 1373937178889697568351373146877/7242116404461950734545307899\ 11, c_0101_5 - 27915998156462666496761259890/724211640446195073454530789911\ *c_1010_9^17 + 124037323099101838073563217504/724211640446195073454\ 530789911*c_1010_9^16 - 2900093728866817686722279143700/72421164044\ 6195073454530789911*c_1010_9^15 - 3394023698672397906523614175508/7\ 24211640446195073454530789911*c_1010_9^14 - 6142982634043117032171954829575/724211640446195073454530789911*c_10\ 10_9^13 + 3324710370858932915223574797733/7242116404461950734545307\ 89911*c_1010_9^12 + 17249884697939860136846369394726/72421164044619\ 5073454530789911*c_1010_9^11 + 30487227513066885901054705415407/724\ 211640446195073454530789911*c_1010_9^10 + 9440524317244924508577820616382/724211640446195073454530789911*c_10\ 10_9^9 - 4492422272530925303971645635045/72421164044619507345453078\ 9911*c_1010_9^8 - 53947979790699839664775657080792/7242116404461950\ 73454530789911*c_1010_9^7 - 18514155355434763811574041329673/724211\ 640446195073454530789911*c_1010_9^6 + 7793766850445609045601307367633/724211640446195073454530789911*c_10\ 10_9^5 + 59270050685973888725977448597262/7242116404461950734545307\ 89911*c_1010_9^4 + 46793601699815842925360124526544/724211640446195\ 073454530789911*c_1010_9^3 + 32059994204704637029579121951192/72421\ 1640446195073454530789911*c_1010_9^2 + 9652085799961046394455457476095/724211640446195073454530789911*c_10\ 10_9 + 2753299571635873652920257128345/7242116404461950734545307899\ 11, c_0110_10 - 10574275691737669043546325110/72421164044619507345453078991\ 1*c_1010_9^17 - 17627135981802483622988057555/724211640446195073454\ 530789911*c_1010_9^16 - 895409086527579198576745424841/724211640446\ 195073454530789911*c_1010_9^15 - 7770935119237875361472452103683/72\ 4211640446195073454530789911*c_1010_9^14 - 18463413935397616754079497052932/724211640446195073454530789911*c_1\ 010_9^13 - 37742374399539159492363860885726/72421164044619507345453\ 0789911*c_1010_9^12 - 42674322734401479644167253779303/724211640446\ 195073454530789911*c_1010_9^11 - 26816378921933983201147005002039/7\ 24211640446195073454530789911*c_1010_9^10 + 12929713697058499917490267689118/724211640446195073454530789911*c_1\ 010_9^9 + 31055685186593461310690611556809/724211640446195073454530\ 789911*c_1010_9^8 + 27979716996967462757773548777302/72421164044619\ 5073454530789911*c_1010_9^7 - 61727408394728468099810737751833/7242\ 11640446195073454530789911*c_1010_9^6 - 101691533693141828643805910673127/724211640446195073454530789911*c_\ 1010_9^5 - 142188646378255658616149770936618/7242116404461950734545\ 30789911*c_1010_9^4 - 89314139033451117762552607843093/724211640446\ 195073454530789911*c_1010_9^3 - 54730060346087643041585023749528/72\ 4211640446195073454530789911*c_1010_9^2 - 13705980944364384722197744860982/724211640446195073454530789911*c_1\ 010_9 - 4119191726526737183922964314470/724211640446195073454530789\ 911, c_1001_0 + 78944616569462395768927723130/724211640446195073454530789911\ *c_1010_9^17 - 287449922830608045484609536753/724211640446195073454\ 530789911*c_1010_9^16 + 8032902796507514077506558446073/72421164044\ 6195073454530789911*c_1010_9^15 + 15839041847386927747571754657395/\ 724211640446195073454530789911*c_1010_9^14 + 36314296563829194536549798466369/724211640446195073454530789911*c_1\ 010_9^13 + 34695051272748951384036234102457/72421164044619507345453\ 0789911*c_1010_9^12 + 12479089873033681489952129268335/724211640446\ 195073454530789911*c_1010_9^11 - 36703518301891545099307849328095/7\ 24211640446195073454530789911*c_1010_9^10 - 32696166744967117297558666398274/724211640446195073454530789911*c_1\ 010_9^9 - 32355100767915509168750319069232/724211640446195073454530\ 789911*c_1010_9^8 + 96869522562841860948308053847949/72421164044619\ 5073454530789911*c_1010_9^7 + 97725918745744320391192639430154/7242\ 11640446195073454530789911*c_1010_9^6 + 117429057632298675086916278308728/724211640446195073454530789911*c_\ 1010_9^5 + 25907954202457266401636131665883/72421164044619507345453\ 0789911*c_1010_9^4 + 7845287651265680210878549229434/72421164044619\ 5073454530789911*c_1010_9^3 - 14521087513019583987030583134676/7242\ 11640446195073454530789911*c_1010_9^2 - 3293020526188228498855905625442/724211640446195073454530789911*c_10\ 10_9 - 1710430059583453366541673042185/7242116404461950734545307899\ 11, c_1010_9^18 - 3*c_1010_9^17 + 100*c_1010_9^16 + 264*c_1010_9^15 + 647*c_1010_9^14 + 875*c_1010_9^13 + 768*c_1010_9^12 + 35*c_1010_9^11 - 441*c_1010_9^10 - 816*c_1010_9^9 + 672*c_1010_9^8 + 1653*c_1010_9^7 + 2824*c_1010_9^6 + 2216*c_1010_9^5 + 1584*c_1010_9^4 + 650*c_1010_9^3 + 260*c_1010_9^2 + 51*c_1010_9 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.650 Total time: 1.860 seconds, Total memory usage: 64.12MB