Magma V2.19-8 Wed Aug 21 2013 01:01:53 on localhost [Seed = 492504752] Type ? for help. Type -D to quit. Loading file "L14n13401__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13401 geometric_solution 11.77975211 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 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 0 -1 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.803892323807 0.506931352597 0 4 4 2 0132 1302 3201 3120 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 -1 0 1 0 0 0 0 0 1 0 -1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583906350965 0.480597296168 1 0 6 5 3120 0132 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 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.452976087366 0.759671690289 5 7 8 0 0132 0132 0132 0132 1 1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 -1 2 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 0 0 0 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817755092844 0.464486064921 1 8 0 1 2310 0213 0132 2031 1 1 1 1 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 1 -1 3 0 -4 1 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.583906350965 0.480597296168 3 7 2 9 0132 0213 0132 0132 1 1 0 1 0 0 0 0 -1 0 0 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 0 -1 1 4 0 0 -4 -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.457395832552 0.678020232335 10 8 11 2 0132 0132 0132 0132 1 1 1 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 0 0 0 0 0 0 0 1 0 0 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457395832552 0.678020232335 10 3 5 11 1023 0132 0213 0321 1 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 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638573987696 0.520492467184 10 6 4 3 2103 0132 0213 0132 1 1 0 1 0 0 0 0 -1 0 1 0 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 0 0 0 3 0 -3 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.817755092844 0.464486064921 10 12 5 12 3120 0132 0132 1023 1 1 0 0 0 0 0 0 1 0 -1 0 -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 1 -1 0 -3 0 4 -1 2 0 0 -2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742778340660 1.763010423850 6 7 8 9 0132 1023 2103 3120 0 1 0 1 0 0 0 0 0 0 1 -1 -2 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 3 3 -1 0 -2 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900097022718 1.296236862068 12 7 12 6 0132 0321 1023 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742778340660 1.763010423850 11 9 11 9 0132 0132 1023 1023 1 1 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 -1 0 1 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 0 0 0.268132235736 0.376003645071 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : negation(d['c_0101_1']), '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_0101_12'], 'c_1001_8' : d['c_1001_2'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_4'], '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' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1100_11'], 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_1100_11'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1100_11'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_11'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_12'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_3'], 'c_1100_8' : negation(d['c_0011_0']), '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_1100_11']), '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_11'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_11'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_12'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_3'], 'c_0101_8' : d['c_0011_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0011_4'], 's_2_9' : d['1']})} 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_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_3, c_1001_0, c_1001_2, c_1001_3, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1848971184898055122900434003293089174351/67393154656350335824890481\ 583063347354200*c_1100_11^20 - 772804727849502195499219327981799388\ 6859/33696577328175167912445240791531673677100*c_1100_11^19 - 1322026417769208910283974605914055183989/12480213825250062189794533\ 62649321247300*c_1100_11^18 - 1137289730999477599726566066306832820\ 31251/33696577328175167912445240791531673677100*c_1100_11^17 - 42870703114331514453551551286175204014173/5616096221362527985407540\ 131921945612850*c_1100_11^16 - 177036338825090580392437896560148082\ 781/13379621730464628911036426758599036600*c_1100_11^15 - 29922601506429210886496793061447104890617/1531662605826143996020238\ 217796894258050*c_1100_11^14 - 471369332403680032102590900064976748\ 798203/16848288664087583956222620395765836838550*c_1100_11^13 - 2669175338154550509974705452793682740652959/67393154656350335824890\ 481583063347354200*c_1100_11^12 - 584109340807233972477606589997461\ 55653873/1497625659030007462775344035179185496760*c_1100_11^11 - 972664324433666603989339795976658130720313/673931546563503358248904\ 81583063347354200*c_1100_11^10 + 2178554611368979793271416634457457\ 57308073/3369657732817516791244524079153167367710*c_1100_11^9 + 224248100705957780014865806126247944962839/134786309312700671649780\ 9631661266947084*c_1100_11^8 + 802378231879426946506258457371732858\ 12037/255277100971023999336706369632815709675*c_1100_11^7 + 26167281194719490067387233853512489158914727/6739315465635033582489\ 0481583063347354200*c_1100_11^6 + 144196554892582316378336250138662\ 66622621079/33696577328175167912445240791531673677100*c_1100_11^5 + 11451859264198336883511853835238008340524513/3369657732817516791244\ 5240791531673677100*c_1100_11^4 + 167968517395464770520666876201419\ 83360132691/67393154656350335824890481583063347354200*c_1100_11^3 + 8672116373677636962271052649060704186956741/67393154656350335824890\ 481583063347354200*c_1100_11^2 + 3864202625635779361186006698523756\ 02178807/6739315465635033582489048158306334735420*c_1100_11 + 1412077746145570180107714880954385468273143/67393154656350335824890\ 481583063347354200, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - 130178417194671165207973465386032/7351392396573765279674769\ 463867983*c_1100_11^20 - 1088196090762166941840575365736404/7351392\ 396573765279674769463867983*c_1100_11^19 - 1676271878150245059835425894739048/24504641321912550932249231546226\ 61*c_1100_11^18 - 16035826138152323931821447964849827/7351392396573\ 765279674769463867983*c_1100_11^17 - 12105804779654402363966253157902954/2450464132191255093224923154622\ 661*c_1100_11^16 - 12523139267547796436810568218032/145947833960170\ 0472438905988459*c_1100_11^15 - 93299875318165428064560925704384580\ /7351392396573765279674769463867983*c_1100_11^14 - 133598610500107767418531253960308456/735139239657376527967476946386\ 7983*c_1100_11^13 - 188788056714382941356757225986847778/7351392396\ 573765279674769463867983*c_1100_11^12 - 61985479374302157691469888245645438/2450464132191255093224923154622\ 661*c_1100_11^11 - 69946702412245643455241014092467050/735139239657\ 3765279674769463867983*c_1100_11^10 + 305886119176206131383825494948296126/735139239657376527967476946386\ 7983*c_1100_11^9 + 792107780264496854039427110637113342/73513923965\ 73765279674769463867983*c_1100_11^8 + 500773131621248733359558939666420076/245046413219125509322492315462\ 2661*c_1100_11^7 + 1859237834135869894888849336057369529/7351392396\ 573765279674769463867983*c_1100_11^6 + 2049898304669449314583062676821244201/73513923965737652796747694638\ 67983*c_1100_11^5 + 1623577784338241407087086567137212190/735139239\ 6573765279674769463867983*c_1100_11^4 + 1180714698988754159070160837554597772/73513923965737652796747694638\ 67983*c_1100_11^3 + 597507866646811353702334066175400350/7351392396\ 573765279674769463867983*c_1100_11^2 + 258788809015063156344213509471221805/735139239657376527967476946386\ 7983*c_1100_11 + 90361457011374797853632533042023731/73513923965737\ 65279674769463867983, c_0011_4 + 75413145688097529557809103761168/735139239657376527967476946\ 3867983*c_1100_11^20 + 622135872362627073098546105190107/7351392396\ 573765279674769463867983*c_1100_11^19 + 945721071069130986691452261150345/245046413219125509322492315462266\ 1*c_1100_11^18 + 8915055833442932692740915740452717/735139239657376\ 5279674769463867983*c_1100_11^17 + 6591635246305839052743412053360632/24504641321912550932249231546226\ 61*c_1100_11^16 + 6649289543280051079809790294250/14594783396017004\ 72438905988459*c_1100_11^15 + 48501497066968460291551536956527553/7\ 351392396573765279674769463867983*c_1100_11^14 + 69115073413414269270577493612325638/7351392396573765279674769463867\ 983*c_1100_11^13 + 97950387508649029833006567647725034/735139239657\ 3765279674769463867983*c_1100_11^12 + 30635150860949479459108087162556708/2450464132191255093224923154622\ 661*c_1100_11^11 + 23127203764542571544982202736163170/735139239657\ 3765279674769463867983*c_1100_11^10 - 185590792773787895570772818645682229/735139239657376527967476946386\ 7983*c_1100_11^9 - 436330124480882743785267683498837692/73513923965\ 73765279674769463867983*c_1100_11^8 - 265844465535254261350883176879717416/245046413219125509322492315462\ 2661*c_1100_11^7 - 945123943938488190920682818387807761/73513923965\ 73765279674769463867983*c_1100_11^6 - 1011979642786995000944023090340805818/73513923965737652796747694638\ 67983*c_1100_11^5 - 763388639085522309719026981370165221/7351392396\ 573765279674769463867983*c_1100_11^4 - 541475806489224448977703662368976737/735139239657376527967476946386\ 7983*c_1100_11^3 - 267859364064656731912241743878664300/73513923965\ 73765279674769463867983*c_1100_11^2 - 113355609125811750449170188185121040/735139239657376527967476946386\ 7983*c_1100_11 - 42592693342063784087470976732263387/73513923965737\ 65279674769463867983, c_0101_0 - 68495370672631600081693237/22505479571569988824930642567*c_1\ 100_11^20 - 575910462551373846542246989/225054795715699888249306425\ 67*c_1100_11^19 - 2663278274115744851200752313/22505479571569988824\ 930642567*c_1100_11^18 - 8488917496388138024727428073/2250547957156\ 9988824930642567*c_1100_11^17 - 19170197860823166264880424993/22505\ 479571569988824930642567*c_1100_11^16 - 19643195155612180156823442/13404097422019052307880073*c_1100_11^15 - 48052752173597168426782647983/22505479571569988824930642567*c_1100_\ 11^14 - 67737778867625388314991068602/22505479571569988824930642567\ *c_1100_11^13 - 95289093594724788101857147895/225054795715699888249\ 30642567*c_1100_11^12 - 93209731204008532426003843266/2250547957156\ 9988824930642567*c_1100_11^11 - 28987027350874183043210575895/22505\ 479571569988824930642567*c_1100_11^10 + 172983737652584036832172346598/22505479571569988824930642567*c_1100\ _11^9 + 434551087496038158153157887852/2250547957156998882493064256\ 7*c_1100_11^8 + 784298663396971976270766015501/22505479571569988824\ 930642567*c_1100_11^7 + 949341431132462427848923062239/225054795715\ 69988824930642567*c_1100_11^6 + 1003765373787856524817702328409/225\ 05479571569988824930642567*c_1100_11^5 + 770614137955310736268650855936/22505479571569988824930642567*c_1100\ _11^4 + 498572765809123441700358673100/2250547957156998882493064256\ 7*c_1100_11^3 + 238820820655285399043280450699/22505479571569988824\ 930642567*c_1100_11^2 + 91051524391512607236021637334/2250547957156\ 9988824930642567*c_1100_11 + 37873832154199997124084887994/22505479\ 571569988824930642567, c_0101_1 + 130178417194671165207973465386032/73513923965737652796747694\ 63867983*c_1100_11^20 + 1088196090762166941840575365736404/73513923\ 96573765279674769463867983*c_1100_11^19 + 1676271878150245059835425894739048/24504641321912550932249231546226\ 61*c_1100_11^18 + 16035826138152323931821447964849827/7351392396573\ 765279674769463867983*c_1100_11^17 + 12105804779654402363966253157902954/2450464132191255093224923154622\ 661*c_1100_11^16 + 12523139267547796436810568218032/145947833960170\ 0472438905988459*c_1100_11^15 + 93299875318165428064560925704384580\ /7351392396573765279674769463867983*c_1100_11^14 + 133598610500107767418531253960308456/735139239657376527967476946386\ 7983*c_1100_11^13 + 188788056714382941356757225986847778/7351392396\ 573765279674769463867983*c_1100_11^12 + 61985479374302157691469888245645438/2450464132191255093224923154622\ 661*c_1100_11^11 + 69946702412245643455241014092467050/735139239657\ 3765279674769463867983*c_1100_11^10 - 305886119176206131383825494948296126/735139239657376527967476946386\ 7983*c_1100_11^9 - 792107780264496854039427110637113342/73513923965\ 73765279674769463867983*c_1100_11^8 - 500773131621248733359558939666420076/245046413219125509322492315462\ 2661*c_1100_11^7 - 1859237834135869894888849336057369529/7351392396\ 573765279674769463867983*c_1100_11^6 - 2049898304669449314583062676821244201/73513923965737652796747694638\ 67983*c_1100_11^5 - 1623577784338241407087086567137212190/735139239\ 6573765279674769463867983*c_1100_11^4 - 1180714698988754159070160837554597772/73513923965737652796747694638\ 67983*c_1100_11^3 - 597507866646811353702334066175400350/7351392396\ 573765279674769463867983*c_1100_11^2 - 258788809015063156344213509471221805/735139239657376527967476946386\ 7983*c_1100_11 - 90361457011374797853632533042023731/73513923965737\ 65279674769463867983, c_0101_11 - 119370682815956447592965722018553/7351392396573765279674769\ 463867983*c_1100_11^20 - 987097054168531842853244634594307/73513923\ 96573765279674769463867983*c_1100_11^19 - 1513527896437401388428111708016092/24504641321912550932249231546226\ 61*c_1100_11^18 - 14436201054132010323451262096193815/7351392396573\ 765279674769463867983*c_1100_11^17 - 10869462306913492658897104104323256/2450464132191255093224923154622\ 661*c_1100_11^16 - 11260370753988085259992609102062/145947833960170\ 0472438905988459*c_1100_11^15 - 84230889886414347464337213405004243\ /7351392396573765279674769463867983*c_1100_11^14 - 121063068727156726122014667441345046/735139239657376527967476946386\ 7983*c_1100_11^13 - 171249088023776896224345638036486839/7351392396\ 573765279674769463867983*c_1100_11^12 - 56179428817603035341511116578019420/2450464132191255093224923154622\ 661*c_1100_11^11 - 67848873372404674573763986801692052/735139239657\ 3765279674769463867983*c_1100_11^10 + 271912555103758454743448329416855605/735139239657376527967476946386\ 7983*c_1100_11^9 + 701302480672359401546229065569813313/73513923965\ 73765279674769463867983*c_1100_11^8 + 450672385600585904872074638879401327/245046413219125509322492315462\ 2661*c_1100_11^7 + 1661208908390546212948504662621936194/7351392396\ 573765279674769463867983*c_1100_11^6 + 1876530678676835014733780057338014565/73513923965737652796747694638\ 67983*c_1100_11^5 + 1495395329297500916256228381957767921/735139239\ 6573765279674769463867983*c_1100_11^4 + 1135615523375106192243140141160771409/73513923965737652796747694638\ 67983*c_1100_11^3 + 590370771102935504817099961204432745/7351392396\ 573765279674769463867983*c_1100_11^2 + 278996560642659346930938836047718990/735139239657376527967476946386\ 7983*c_1100_11 + 104335447662142189231722705892487693/7351392396573\ 765279674769463867983, c_0101_12 - 141676039515634159312831329202981/7351392396573765279674769\ 463867983*c_1100_11^20 - 1182125737006765358807292998605730/7351392\ 396573765279674769463867983*c_1100_11^19 - 1817188917317372148618423149524917/24504641321912550932249231546226\ 61*c_1100_11^18 - 17332170776252990896680004957494739/7351392396573\ 765279674769463867983*c_1100_11^17 - 13022432379003242719227373964160535/2450464132191255093224923154622\ 661*c_1100_11^16 - 13381176897179144958265476297503/145947833960170\ 0472438905988459*c_1100_11^15 - 99009514534221962608540817063468240\ /7351392396573765279674769463867983*c_1100_11^14 - 141588903499320304830705466139491400/735139239657376527967476946386\ 7983*c_1100_11^13 - 200927329325313710741615912487608948/7351392396\ 573765279674769463867983*c_1100_11^12 - 65659829214472798803268159042907347/2450464132191255093224923154622\ 661*c_1100_11^11 - 69049449895108453108533546184248917/735139239657\ 3765279674769463867983*c_1100_11^10 + 338984507438988748167170802940363696/735139239657376527967476946386\ 7983*c_1100_11^9 + 852445111421077522466263969130642122/73513923965\ 73765279674769463867983*c_1100_11^8 + 532479484907178520910118065129234703/245046413219125509322492315462\ 2661*c_1100_11^7 + 1954446649281194075582236782047927419/7351392396\ 573765279674769463867983*c_1100_11^6 + 2154553653762425359028657580083139656/73513923965737652796747694638\ 67983*c_1100_11^5 + 1694214980213592650710337912587574308/735139239\ 6573765279674769463867983*c_1100_11^4 + 1251288387818960769524019113311597652/73513923965737652796747694638\ 67983*c_1100_11^3 + 651695265617400903906382120072535293/7351392396\ 573765279674769463867983*c_1100_11^2 + 299279846141994818351521022476078825/735139239657376527967476946386\ 7983*c_1100_11 + 108456868092963565249971925466246353/7351392396573\ 765279674769463867983, c_0101_3 - 118713051277324101399689376480811/73513923965737652796747694\ 63867983*c_1100_11^20 - 970630371472974943504310270393318/735139239\ 6573765279674769463867983*c_1100_11^19 - 1471039269052563224296202674418572/24504641321912550932249231546226\ 61*c_1100_11^18 - 13862411190874940107179796393419856/7351392396573\ 765279674769463867983*c_1100_11^17 - 10270440037520468903569563795686748/2450464132191255093224923154622\ 661*c_1100_11^16 - 10456605379572828197837382271820/145947833960170\ 0472438905988459*c_1100_11^15 - 77415220068442226308158092951358443\ /7351392396573765279674769463867983*c_1100_11^14 - 111497435378717868310548615054073760/735139239657376527967476946386\ 7983*c_1100_11^13 - 158174569590912702302466368806083575/7351392396\ 573765279674769463867983*c_1100_11^12 - 50124682688182882517726229695116735/2450464132191255093224923154622\ 661*c_1100_11^11 - 49544180178658677341004226257548570/735139239657\ 3765279674769463867983*c_1100_11^10 + 273227142200814226099034260268292922/735139239657376527967476946386\ 7983*c_1100_11^9 + 661310562526169593033671071529399379/73513923965\ 73765279674769463867983*c_1100_11^8 + 417347340644468961090857417391112786/245046413219125509322492315462\ 2661*c_1100_11^7 + 1506323180089773963554782424972150818/7351392396\ 573765279674769463867983*c_1100_11^6 + 1684703341806455460648201720802169543/73513923965737652796747694638\ 67983*c_1100_11^5 + 1319788602447744620839440052462812385/735139239\ 6573765279674769463867983*c_1100_11^4 + 1003843886438964386094071710998348992/73513923965737652796747694638\ 67983*c_1100_11^3 + 532893318544262972701878559104593605/7351392396\ 573765279674769463867983*c_1100_11^2 + 253749675690878983945500780785534410/735139239657376527967476946386\ 7983*c_1100_11 + 101807526268344669097349763681278287/7351392396573\ 765279674769463867983, c_1001_0 - 75413145688097529557809103761168/735139239657376527967476946\ 3867983*c_1100_11^20 - 622135872362627073098546105190107/7351392396\ 573765279674769463867983*c_1100_11^19 - 945721071069130986691452261150345/245046413219125509322492315462266\ 1*c_1100_11^18 - 8915055833442932692740915740452717/735139239657376\ 5279674769463867983*c_1100_11^17 - 6591635246305839052743412053360632/24504641321912550932249231546226\ 61*c_1100_11^16 - 6649289543280051079809790294250/14594783396017004\ 72438905988459*c_1100_11^15 - 48501497066968460291551536956527553/7\ 351392396573765279674769463867983*c_1100_11^14 - 69115073413414269270577493612325638/7351392396573765279674769463867\ 983*c_1100_11^13 - 97950387508649029833006567647725034/735139239657\ 3765279674769463867983*c_1100_11^12 - 30635150860949479459108087162556708/2450464132191255093224923154622\ 661*c_1100_11^11 - 23127203764542571544982202736163170/735139239657\ 3765279674769463867983*c_1100_11^10 + 185590792773787895570772818645682229/735139239657376527967476946386\ 7983*c_1100_11^9 + 436330124480882743785267683498837692/73513923965\ 73765279674769463867983*c_1100_11^8 + 265844465535254261350883176879717416/245046413219125509322492315462\ 2661*c_1100_11^7 + 945123943938488190920682818387807761/73513923965\ 73765279674769463867983*c_1100_11^6 + 1011979642786995000944023090340805818/73513923965737652796747694638\ 67983*c_1100_11^5 + 763388639085522309719026981370165221/7351392396\ 573765279674769463867983*c_1100_11^4 + 541475806489224448977703662368976737/735139239657376527967476946386\ 7983*c_1100_11^3 + 267859364064656731912241743878664300/73513923965\ 73765279674769463867983*c_1100_11^2 + 113355609125811750449170188185121040/735139239657376527967476946386\ 7983*c_1100_11 + 42592693342063784087470976732263387/73513923965737\ 65279674769463867983, c_1001_2 + 68495370672631600081693237/22505479571569988824930642567*c_1\ 100_11^20 + 575910462551373846542246989/225054795715699888249306425\ 67*c_1100_11^19 + 2663278274115744851200752313/22505479571569988824\ 930642567*c_1100_11^18 + 8488917496388138024727428073/2250547957156\ 9988824930642567*c_1100_11^17 + 19170197860823166264880424993/22505\ 479571569988824930642567*c_1100_11^16 + 19643195155612180156823442/13404097422019052307880073*c_1100_11^15 + 48052752173597168426782647983/22505479571569988824930642567*c_1100_\ 11^14 + 67737778867625388314991068602/22505479571569988824930642567\ *c_1100_11^13 + 95289093594724788101857147895/225054795715699888249\ 30642567*c_1100_11^12 + 93209731204008532426003843266/2250547957156\ 9988824930642567*c_1100_11^11 + 28987027350874183043210575895/22505\ 479571569988824930642567*c_1100_11^10 - 172983737652584036832172346598/22505479571569988824930642567*c_1100\ _11^9 - 434551087496038158153157887852/2250547957156998882493064256\ 7*c_1100_11^8 - 784298663396971976270766015501/22505479571569988824\ 930642567*c_1100_11^7 - 949341431132462427848923062239/225054795715\ 69988824930642567*c_1100_11^6 - 1003765373787856524817702328409/225\ 05479571569988824930642567*c_1100_11^5 - 770614137955310736268650855936/22505479571569988824930642567*c_1100\ _11^4 - 498572765809123441700358673100/2250547957156998882493064256\ 7*c_1100_11^3 - 238820820655285399043280450699/22505479571569988824\ 930642567*c_1100_11^2 - 91051524391512607236021637334/2250547957156\ 9988824930642567*c_1100_11 - 37873832154199997124084887994/22505479\ 571569988824930642567, c_1001_3 - 118713051277324101399689376480811/73513923965737652796747694\ 63867983*c_1100_11^20 - 970630371472974943504310270393318/735139239\ 6573765279674769463867983*c_1100_11^19 - 1471039269052563224296202674418572/24504641321912550932249231546226\ 61*c_1100_11^18 - 13862411190874940107179796393419856/7351392396573\ 765279674769463867983*c_1100_11^17 - 10270440037520468903569563795686748/2450464132191255093224923154622\ 661*c_1100_11^16 - 10456605379572828197837382271820/145947833960170\ 0472438905988459*c_1100_11^15 - 77415220068442226308158092951358443\ /7351392396573765279674769463867983*c_1100_11^14 - 111497435378717868310548615054073760/735139239657376527967476946386\ 7983*c_1100_11^13 - 158174569590912702302466368806083575/7351392396\ 573765279674769463867983*c_1100_11^12 - 50124682688182882517726229695116735/2450464132191255093224923154622\ 661*c_1100_11^11 - 49544180178658677341004226257548570/735139239657\ 3765279674769463867983*c_1100_11^10 + 273227142200814226099034260268292922/735139239657376527967476946386\ 7983*c_1100_11^9 + 661310562526169593033671071529399379/73513923965\ 73765279674769463867983*c_1100_11^8 + 417347340644468961090857417391112786/245046413219125509322492315462\ 2661*c_1100_11^7 + 1506323180089773963554782424972150818/7351392396\ 573765279674769463867983*c_1100_11^6 + 1684703341806455460648201720802169543/73513923965737652796747694638\ 67983*c_1100_11^5 + 1319788602447744620839440052462812385/735139239\ 6573765279674769463867983*c_1100_11^4 + 1003843886438964386094071710998348992/73513923965737652796747694638\ 67983*c_1100_11^3 + 532893318544262972701878559104593605/7351392396\ 573765279674769463867983*c_1100_11^2 + 253749675690878983945500780785534410/735139239657376527967476946386\ 7983*c_1100_11 + 101807526268344669097349763681278287/7351392396573\ 765279674769463867983, c_1100_11^21 + 9*c_1100_11^20 + 44*c_1100_11^19 + 148*c_1100_11^18 + 358*c_1100_11^17 + 663*c_1100_11^16 + 1025*c_1100_11^15 + 1480*c_1100_11^14 + 2101*c_1100_11^13 + 2354*c_1100_11^12 + 1448*c_1100_11^11 - 2027*c_1100_11^10 - 7610*c_1100_11^9 - 15418*c_1100_11^8 - 21565*c_1100_11^7 - 24765*c_1100_11^6 - 22404*c_1100_11^5 - 17007*c_1100_11^4 - 10422*c_1100_11^3 - 5051*c_1100_11^2 - 2063*c_1100_11 - 463 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB