Magma V2.19-8 Wed Aug 21 2013 00:58:34 on localhost [Seed = 2362086914] Type ? for help. Type -D to quit. Loading file "L13n5901__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5901 geometric_solution 11.58834987 oriented_manifold CS_known 0.0000000000000006 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 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 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.121633120637 0.857739701312 0 5 7 6 0132 0132 0132 0132 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 0 0 2 -2 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.723617786732 0.864419521720 5 0 7 6 0132 0132 2310 1023 1 1 1 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 1 0 -1 0 0 0 0 -2 3 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.319555641841 0.678185400321 8 7 9 0 0132 2031 0132 0132 1 1 1 1 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 0 0 0 3 0 -3 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048587155222 0.646325451498 9 10 0 9 1230 0132 0132 0132 1 1 0 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 1 -1 0 0 0 0 0 3 1 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427620214110 0.953836953365 2 1 6 10 0132 0132 2310 2103 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.182349349767 0.817887144727 11 5 1 2 0132 3201 0132 1023 1 1 1 1 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 0 0 -3 0 2 1 -1 0 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.290338063719 1.083695739019 3 2 11 1 1302 3201 3120 0132 1 1 1 1 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 2 0 0 -2 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.850470574826 0.322075331888 3 8 11 8 0132 2310 0132 3201 1 1 1 1 0 1 -1 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 3 -3 0 0 0 3 -3 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.435147023307 0.809884279572 12 4 4 3 0132 3012 0132 0132 1 1 1 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 2 0 0 -2 -1 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427620214110 0.953836953365 12 4 12 5 1302 0132 0132 2103 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 -1 1 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.462557694613 0.770824954099 6 12 7 8 0132 1230 3120 0132 1 1 1 1 0 0 -1 1 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 0 0 -3 3 3 0 0 -3 2 -2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048587155222 0.646325451498 9 10 11 10 0132 2031 3012 0132 1 1 0 1 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 1 -1 0 0 0 0 1 -1 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462557694613 0.770824954099 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_2'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_12'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : negation(d['c_1001_1']), 's_0_10' : 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' : d['c_0011_7'], 'c_0101_10' : negation(d['c_0011_12']), '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' : negation(d['c_0011_11']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_0101_1']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : d['c_0011_3'], '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_0101_2']), '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_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], '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_0101_0'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0101_0'], '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_12'], '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_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_7']})} 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_1, c_0101_12, c_0101_2, c_0101_5, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1127733024535257845030663449187392793911152284377059858254742338958\ 748104960141/154629339552211909264987803696214176145116108718191406\ 053677407950390272000*c_1100_0^19 + 1730483002305953619834210979716124480873864804060289076655487139524\ 39227924093/2378912916187875527153658518403295017617170903356790862\ 364267814621388800*c_1100_0^18 + 2546626931160321699292551629463192\ 226078813309530301133699772843109103365528207/154629339552211909264\ 987803696214176145116108718191406053677407950390272000*c_1100_0^17 - 2954002269737552948928662929886526408586025013484836616932735544047\ 05204515136087/1546293395522119092649878036962141761451161087181914\ 06053677407950390272000*c_1100_0^16 + 2990971060295988442880671970290127813549071457835819143616722734556\ 34343323817297/1546293395522119092649878036962141761451161087181914\ 06053677407950390272000*c_1100_0^15 + 1892261129443263872453433437201470388159574878076298635945313017467\ 721824109888957/773146697761059546324939018481070880725580543590957\ 03026838703975195136000*c_1100_0^14 + 1301755226015108057532112070566541744027973533781586461187266924828\ 77394269417757/7731466977610595463249390184810708807255805435909570\ 3026838703975195136000*c_1100_0^13 - 1243611202720318312133145834108499625176161844899820516685384706141\ 27688049096009/9664333722013244329061737731013386009069756794886962\ 87835483799689939200*c_1100_0^12 - 4733492975534360316147600066446960427504804316752871091699643198181\ 555767839886429/773146697761059546324939018481070880725580543590957\ 03026838703975195136000*c_1100_0^11 + 1943195093964003999613210493347509621404049883137582494514381476463\ 39355486229346937/1546293395522119092649878036962141761451161087181\ 91406053677407950390272000*c_1100_0^10 + 1568945022009225281850246390551868159905319384169943122241355585396\ 6154921100892431/38657334888052977316246950924053544036279027179547\ 85151341935198759756800*c_1100_0^9 + 1262088759953891909302091200762952328679877736988212129106773773215\ 85128795923154283/3865733488805297731624695092405354403627902717954\ 7851513419351987597568000*c_1100_0^8 - 3145113863707815810723484410398412624197306330731759993362660195429\ 6048822377595649/96643337220132443290617377310133860090697567948869\ 62878354837996899392000*c_1100_0^7 - 9701115923873239763902021471483554427784048940493793796182594265932\ 7818296604391609/19328667444026488658123475462026772018139513589773\ 925756709675993798784000*c_1100_0^6 - 6580843159185514412904070267478882678132076719109810252808286547368\ 480967088336599/773146697761059546324939018481070880725580543590957\ 0302683870397519513600*c_1100_0^5 + 1358953803478310199080529441241487586156269517256424865821278579786\ 88629181888868201/7731466977610595463249390184810708807255805435909\ 5703026838703975195136000*c_1100_0^4 + 1069331864502982017132165663730456338007068805895306304025776782774\ 77675117635477247/7731466977610595463249390184810708807255805435909\ 5703026838703975195136000*c_1100_0^3 + 5358200854673533579497904409344252805975744399908979355997496799825\ 300877521016473/773146697761059546324939018481070880725580543590957\ 03026838703975195136000*c_1100_0^2 - 2292477291072185116246766371576977103749035260165326284611984625984\ 389033777943099/618517358208847637059951214784856704580464434872765\ 6242147096318015610880*c_1100_0 - 895115162025245681554502719733345\ 1652267295813089710075013415812527754233874378577/15462933955221190\ 9264987803696214176145116108718191406053677407950390272000, c_0011_0 - 1, c_0011_10 + 1, c_0011_11 - c_1100_0, c_0011_12 - 27777364111229134502207572084287849241513161698671626810656\ 51/1382009009348436760550859397310064122927881297031151740944440980\ 2*c_1100_0^19 + 144916870649114251239604243929492106593492443514480\ 65251487251/6910045046742183802754296986550320614639406485155758704\ 722204901*c_1100_0^18 - 6257451098778036535331568085424145632078706\ 239212691864418357/138200900934843676055085939731006412292788129703\ 11517409444409802*c_1100_0^17 - 36609802399309529395360217554811971\ 9317404687049893649277288152/69100450467421838027542969865503206146\ 39406485155758704722204901*c_1100_0^16 + 1066505876206439049783335559914534544626357552535122395419123213/13\ 820090093484367605508593973100641229278812970311517409444409802*c_1\ 100_0^15 + 90386086622850822942018700352321867185815348256340663641\ 68733287/1382009009348436760550859397310064122927881297031151740944\ 4409802*c_1100_0^14 - 359198543017251610365954174966993068076068773\ 8699659476896403083/13820090093484367605508593973100641229278812970\ 311517409444409802*c_1100_0^13 - 5013872659817892447369948922163241\ 7121652106207344809323262480535/13820090093484367605508593973100641\ 229278812970311517409444409802*c_1100_0^12 - 2232489484629554590639187148251371223068048097609972788066215749/13\ 820090093484367605508593973100641229278812970311517409444409802*c_1\ 100_0^11 + 24639184891016410376141276733256980225977299737026278550\ 4051545387/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^10 + 66716251889782048209320189808052612117677137\ 7036419347051619738070/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^9 + 249947066957771896658786692547934\ 549915183399974057683993209067604/691004504674218380275429698655032\ 0614639406485155758704722204901*c_1100_0^8 - 1001852713158285082689663407910019419897319995647333458638951481669\ /6910045046742183802754296986550320614639406485155758704722204901*c\ _1100_0^7 - 8456821669962008639603768449020368089242388563735786196\ 96080668393/6910045046742183802754296986550320614639406485155758704\ 722204901*c_1100_0^6 + 18837677508196906519863797784950552320546138\ 7590026097090595719915/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^5 + 499171097530223155794307925617614\ 811387404508062759437629602866147/691004504674218380275429698655032\ 0614639406485155758704722204901*c_1100_0^4 + 232692574606541611712237996659152910089812121821480425447570819378/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^3 - 62551583370317079300697780942122536108595995585580348162\ 588345585/691004504674218380275429698655032061463940648515575870472\ 2204901*c_1100_0^2 - 1724530503976493281272879305585003752723157775\ 57160434685775832971/1382009009348436760550859397310064122927881297\ 0311517409444409802*c_1100_0 - 288706702921246684529178387764456988\ 2197179581762386690408941476/69100450467421838027542969865503206146\ 39406485155758704722204901, c_0011_3 - 182404271036651490033072783237596179619092601020892083051257\ 3/13820090093484367605508593973100641229278812970311517409444409802\ *c_1100_0^19 + 1846094269238551107903442965971265088614767238836023\ 6799376847/13820090093484367605508593973100641229278812970311517409\ 444409802*c_1100_0^18 + 1304984100980218743817864756484225928140411\ 771275314423797427/138200900934843676055085939731006412292788129703\ 11517409444409802*c_1100_0^17 - 47691510650816897347223520372842279\ 8907916720009051502904451309/13820090093484367605508593973100641229\ 278812970311517409444409802*c_1100_0^16 + 553941353631150276168188248945184925083006454673748709041434865/138\ 20090093484367605508593973100641229278812970311517409444409802*c_11\ 00_0^15 + 300502991729722389728626289398319108963827975958719679764\ 1047376/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^14 - 21100063880546878386375690861169840472520537496\ 3941139048768222/69100450467421838027542969865503206146394064851557\ 58704722204901*c_1100_0^13 - 15867111477753494751595763246584333374\ 763178216559509378445324055/691004504674218380275429698655032061463\ 9406485155758704722204901*c_1100_0^12 - 5424316025371251396391685074107524019110266505764779453813999032/69\ 10045046742183802754296986550320614639406485155758704722204901*c_11\ 00_0^11 + 313628309648614887410093458684561793670505199691952744801\ 710975473/138200900934843676055085939731006412292788129703115174094\ 44409802*c_1100_0^10 + 48454048056829523500316642391649694702364464\ 9587537324838881499812/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^9 + 347278942292867581367780228028261\ 939725366387638674853700817802005/691004504674218380275429698655032\ 0614639406485155758704722204901*c_1100_0^8 - 431841765559458912727702665522880094146688936293235312594282134826/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 - 56369559070318198819359009616057538690185189406105862536\ 2694832699/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 - 883938205911252906416271040706756014956589663\ 87103761831365420586/6910045046742183802754296986550320614639406485\ 155758704722204901*c_1100_0^5 + 18002931193102032506044173729855434\ 2321406229831278954620502716242/69100450467421838027542969865503206\ 14639406485155758704722204901*c_1100_0^4 + 146173092928221075537311526736224184473170058519820079255618779836/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^3 + 65558680407311794697485212834174273139663331983829918417\ 90866760/6910045046742183802754296986550320614639406485155758704722\ 204901*c_1100_0^2 - 68467253513606545175211465274905601435423572413\ 338624963561275363/138200900934843676055085939731006412292788129703\ 11517409444409802*c_1100_0 - 64471134062565097782881766148970868243\ 64986816538663279234527549/1382009009348436760550859397310064122927\ 8812970311517409444409802, c_0011_7 + 342545601073369817920239267660096438724887604811089102428707\ /6910045046742183802754296986550320614639406485155758704722204901*c\ _1100_0^19 - 336709241222273672322316831684679213181786470504221442\ 1621768/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^18 - 12782017373691130491853398940083577917469148196\ 95905945947026/6910045046742183802754296986550320614639406485155758\ 704722204901*c_1100_0^17 + 8981100567570729675382756463006620055109\ 8789818030411058937187/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^16 - 78739191382211772573213470238164083094590233085204136975266941/6910\ 045046742183802754296986550320614639406485155758704722204901*c_1100\ _0^15 - 11654437325504443572395153969938621298484127244396422586006\ 90679/6910045046742183802754296986550320614639406485155758704722204\ 901*c_1100_0^14 - 2207698946830602406254715705789211815205829847770\ 29906151142956/6910045046742183802754296986550320614639406485155758\ 704722204901*c_1100_0^13 + 6042382913740775407592599317778617013583\ 838266339199336789193973/691004504674218380275429698655032061463940\ 6485155758704722204901*c_1100_0^12 + 3492297955454015577180654447377810048080794440193304855982526420/69\ 10045046742183802754296986550320614639406485155758704722204901*c_11\ 00_0^11 - 588080753847571935116046902368751660872336526585573155427\ 36641606/6910045046742183802754296986550320614639406485155758704722\ 204901*c_1100_0^10 - 1979981703147431974155181485037670708157910047\ 19951462760594225640/6910045046742183802754296986550320614639406485\ 155758704722204901*c_1100_0^9 - 17844372903537600636149159687521190\ 2059474775517849144427884086563/69100450467421838027542969865503206\ 14639406485155758704722204901*c_1100_0^8 + 123148696878692875692748215646988394384157826392549484523169363003/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 + 21786404758069243325010984301720976666903223883817034913\ 9659982547/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 + 246065099872445622335586191918760951722562550\ 61624244908427363083/6910045046742183802754296986550320614639406485\ 155758704722204901*c_1100_0^5 - 81853020192481206622561023732648884\ 787895252316604193880345141295/691004504674218380275429698655032061\ 4639406485155758704722204901*c_1100_0^4 - 55690270947960889864287037143438878056791865859388701722624720783/6\ 910045046742183802754296986550320614639406485155758704722204901*c_1\ 100_0^3 + 369162236949083063654012343041217817895077325496674011666\ 5924261/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^2 + 159871371032535101106116272743340279362673293171\ 27176700169754668/6910045046742183802754296986550320614639406485155\ 758704722204901*c_1100_0 - 1024365779266607275371801473463376954422\ 457497733619484403721937/691004504674218380275429698655032061463940\ 6485155758704722204901, c_0101_0 - 109653893420435540268425064048324912332341262658922904640260\ /6910045046742183802754296986550320614639406485155758704722204901*c\ _1100_0^19 + 127427847183435948083091563119139808168433578416107744\ 1895079/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^18 - 13797813152621924215226777346959348131892519649\ 40118193224992/6910045046742183802754296986550320614639406485155758\ 704722204901*c_1100_0^17 - 3078920583172682487801740580723702497575\ 5524508069283549077090/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^16 + 75269696863741755083435900290375935530040023138824123714156854/6910\ 045046742183802754296986550320614639406485155758704722204901*c_1100\ _0^15 + 36541306473607499051959380175562072959647759541241343885733\ 6130/69100450467421838027542969865503206146394064851557587047222049\ 01*c_1100_0^14 - 60929526320355073521289888852970770573946566634198\ 8640269624009/69100450467421838027542969865503206146394064851557587\ 04722204901*c_1100_0^13 - 25710863709776688413424178003516959589824\ 09947576394429007007596/6910045046742183802754296986550320614639406\ 485155758704722204901*c_1100_0^12 + 2005906289923350363937721461281484620376203948377765980861771076/69\ 10045046742183802754296986550320614639406485155758704722204901*c_11\ 00_0^11 + 232976308195148933379863959234201384009494499084364911304\ 59265355/6910045046742183802754296986550320614639406485155758704722\ 204901*c_1100_0^10 + 3236688847634930214494512337653314213218215429\ 3454568095146462471/69100450467421838027542969865503206146394064851\ 55758704722204901*c_1100_0^9 - 799856078367614377095534715721906410\ 01105909529567936369304231131/6910045046742183802754296986550320614\ 639406485155758704722204901*c_1100_0^8 - 237499231914591355016050705028539378990641714357762870758265530052/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 - 11797485189099431886793128890554450847588031937089586255\ 0921879805/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 + 123401201469210274368914468554913565906529123\ 340958155840522416736/691004504674218380275429698655032061463940648\ 5155758704722204901*c_1100_0^5 + 1451739237466902465452517566220959\ 59725422892821261656357454644351/6910045046742183802754296986550320\ 614639406485155758704722204901*c_1100_0^4 + 42155038151864092933231478159300672072720649282322899404024351126/6\ 910045046742183802754296986550320614639406485155758704722204901*c_1\ 100_0^3 - 302374275880613783671985511202025673563761200283343646534\ 21272133/6910045046742183802754296986550320614639406485155758704722\ 204901*c_1100_0^2 - 21012064910771411440810160454413534034908228666\ 827977702695072114/691004504674218380275429698655032061463940648515\ 5758704722204901*c_1100_0 - 342748726389758014692708783953844637270\ 65580195281254633375732/6910045046742183802754296986550320614639406\ 485155758704722204901, c_0101_1 - 800624447033687133028347123140025847362289155508612055715345\ /6910045046742183802754296986550320614639406485155758704722204901*c\ _1100_0^19 + 737041233476028792247512825741852648104470850662229552\ 9684997/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^18 + 76902339258338183860687748711814537075173395437\ 60643643476726/6910045046742183802754296986550320614639406485155758\ 704722204901*c_1100_0^17 - 2060906334778396244080022059156472568230\ 68747586374455086292038/6910045046742183802754296986550320614639406\ 485155758704722204901*c_1100_0^16 + 54497082665371796930677242567588616603931783153278139552751995/6910\ 045046742183802754296986550320614639406485155758704722204901*c_1100\ _0^15 + 27855700080624828255484924267070994539232966138063072882322\ 49783/6910045046742183802754296986550320614639406485155758704722204\ 901*c_1100_0^14 + 2242855217754363550114795432610616762664064004038\ 071661533545364/691004504674218380275429698655032061463940648515575\ 8704722204901*c_1100_0^13 - 130942664112559298760467794885131138290\ 24898514014364870427102272/6910045046742183802754296986550320614639\ 406485155758704722204901*c_1100_0^12 - 16554844358052029033064851923586245880802707454321298621055989885/6\ 910045046742183802754296986550320614639406485155758704722204901*c_1\ 100_0^11 + 12885746190729313685202436320940192340644298229249536112\ 2978863182/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^10 + 54485780695200646446651959118088384496769601\ 8441595667868103509129/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^9 + 739837051735261706871941613216189\ 295159421029591206287319776499064/691004504674218380275429698655032\ 0614639406485155758704722204901*c_1100_0^8 + 104698123143778282285985623223377355951945801942830549868902604141/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 - 53262180683817086649350459173058953564403236607955545234\ 7113765424/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 - 406067248581930142567864453007722647641420572\ 171282150402099860320/691004504674218380275429698655032061463940648\ 5155758704722204901*c_1100_0^5 - 3349680999205451788617243475253686\ 1183571995021554558531592408592/69100450467421838027542969865503206\ 14639406485155758704722204901*c_1100_0^4 + 127843647200521019793092328017846392339726270147722290226653999413/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^3 + 70550529891988149367775063733641116246799433649055394622\ 825835266/691004504674218380275429698655032061463940648515575870472\ 2204901*c_1100_0^2 - 2393084495706396690476460539188502061622371328\ 340048497814750636/691004504674218380275429698655032061463940648515\ 5758704722204901*c_1100_0 - 572361705053436521253364561604909938135\ 5540775363009361529730651/69100450467421838027542969865503206146394\ 06485155758704722204901, c_0101_12 + 20437171927153602765029696640149718370077911516383552110261\ 9/13820090093484367605508593973100641229278812970311517409444409802\ *c_1100_0^19 - 2926815433188203231494815935213583572767622086469276\ 061178981/138200900934843676055085939731006412292788129703115174094\ 44409802*c_1100_0^18 + 75966008043450164060137185720613059967651263\ 01673923419463217/1382009009348436760550859397310064122927881297031\ 1517409444409802*c_1100_0^17 + 633180313006886370809703489896763470\ 15974504956067118849530505/1382009009348436760550859397310064122927\ 8812970311517409444409802*c_1100_0^16 - 283317207495643388319049383174692983516699719348361607749154959/138\ 20090093484367605508593973100641229278812970311517409444409802*c_11\ 00_0^15 - 327432114448360583692565288205732595253122663429108787956\ 785623/691004504674218380275429698655032061463940648515575870472220\ 4901*c_1100_0^14 + 154314281676682846230280526063119578488352031598\ 0416038754076795/69100450467421838027542969865503206146394064851557\ 58704722204901*c_1100_0^13 + 32210191535678956606509534871004515205\ 16230239995996638034038473/6910045046742183802754296986550320614639\ 406485155758704722204901*c_1100_0^12 - 6424894752336472677341548263621093096590331364458072558839199992/69\ 10045046742183802754296986550320614639406485155758704722204901*c_11\ 00_0^11 - 552933015823046252406000996081190165590370809762694680288\ 03394291/1382009009348436760550859397310064122927881297031151740944\ 4409802*c_1100_0^10 + 143217648030594423197324255534676269885537226\ 16799717122250340272/6910045046742183802754296986550320614639406485\ 155758704722204901*c_1100_0^9 + 26596471164681939586418966871880906\ 2494767212997320710250794966391/69100450467421838027542969865503206\ 14639406485155758704722204901*c_1100_0^8 + 485732975642526792000542460084442816246995710900746001453472679322/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 + 15524921821159355944877915131043610241243774134925325336\ 2826380890/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 - 291886035632485952551966805259990778301526701\ 644481338431958972635/691004504674218380275429698655032061463940648\ 5155758704722204901*c_1100_0^5 - 2780905600252993148328745061277503\ 26022879065463937383075878231349/6910045046742183802754296986550320\ 614639406485155758704722204901*c_1100_0^4 - 67539256336174953972617785989233770723663568735963285373602179270/6\ 910045046742183802754296986550320614639406485155758704722204901*c_1\ 100_0^3 + 584017886965000196500208280394159379411345817948020519505\ 09991103/6910045046742183802754296986550320614639406485155758704722\ 204901*c_1100_0^2 + 10252409197265272971112685815753295199450386273\ 3903669008806073467/13820090093484367605508593973100641229278812970\ 311517409444409802*c_1100_0 + 6096098922986121021656699407758743066\ 518522882099937387950617397/138200900934843676055085939731006412292\ 78812970311517409444409802, c_0101_2 + 800624447033687133028347123140025847362289155508612055715345\ /6910045046742183802754296986550320614639406485155758704722204901*c\ _1100_0^19 - 737041233476028792247512825741852648104470850662229552\ 9684997/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^18 - 76902339258338183860687748711814537075173395437\ 60643643476726/6910045046742183802754296986550320614639406485155758\ 704722204901*c_1100_0^17 + 2060906334778396244080022059156472568230\ 68747586374455086292038/6910045046742183802754296986550320614639406\ 485155758704722204901*c_1100_0^16 - 54497082665371796930677242567588616603931783153278139552751995/6910\ 045046742183802754296986550320614639406485155758704722204901*c_1100\ _0^15 - 27855700080624828255484924267070994539232966138063072882322\ 49783/6910045046742183802754296986550320614639406485155758704722204\ 901*c_1100_0^14 - 2242855217754363550114795432610616762664064004038\ 071661533545364/691004504674218380275429698655032061463940648515575\ 8704722204901*c_1100_0^13 + 130942664112559298760467794885131138290\ 24898514014364870427102272/6910045046742183802754296986550320614639\ 406485155758704722204901*c_1100_0^12 + 16554844358052029033064851923586245880802707454321298621055989885/6\ 910045046742183802754296986550320614639406485155758704722204901*c_1\ 100_0^11 - 12885746190729313685202436320940192340644298229249536112\ 2978863182/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^10 - 54485780695200646446651959118088384496769601\ 8441595667868103509129/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^9 - 739837051735261706871941613216189\ 295159421029591206287319776499064/691004504674218380275429698655032\ 0614639406485155758704722204901*c_1100_0^8 - 104698123143778282285985623223377355951945801942830549868902604141/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 + 53262180683817086649350459173058953564403236607955545234\ 7113765424/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 + 406067248581930142567864453007722647641420572\ 171282150402099860320/691004504674218380275429698655032061463940648\ 5155758704722204901*c_1100_0^5 + 3349680999205451788617243475253686\ 1183571995021554558531592408592/69100450467421838027542969865503206\ 14639406485155758704722204901*c_1100_0^4 - 127843647200521019793092328017846392339726270147722290226653999413/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^3 - 70550529891988149367775063733641116246799433649055394622\ 825835266/691004504674218380275429698655032061463940648515575870472\ 2204901*c_1100_0^2 + 2393084495706396690476460539188502061622371328\ 340048497814750636/691004504674218380275429698655032061463940648515\ 5758704722204901*c_1100_0 + 572361705053436521253364561604909938135\ 5540775363009361529730651/69100450467421838027542969865503206146394\ 06485155758704722204901, c_0101_5 + 497745732108761959543999611255452352090664054804665345895318\ /6910045046742183802754296986550320614639406485155758704722204901*c\ _1100_0^19 - 429119449716345654940008968875780445826321419371173733\ 3450595/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^18 - 72915591038231378887002626543206829555883213182\ 37286996351039/6910045046742183802754296986550320614639406485155758\ 704722204901*c_1100_0^17 + 1236758239600365115324775894023856145627\ 29000851569321565634905/6910045046742183802754296986550320614639406\ 485155758704722204901*c_1100_0^16 + 40497829666291607069587523883335077740085030934532615002688128/6910\ 045046742183802754296986550320614639406485155758704722204901*c_1100\ _0^15 - 17082340850611010390423350187867451011918556494020693707842\ 85298/6910045046742183802754296986550320614639406485155758704722204\ 901*c_1100_0^14 - 2446534668672067340232784753002948977924950791123\ 930431884318568/691004504674218380275429698655032061463940648515575\ 8704722204901*c_1100_0^13 + 677458062736252677286931713353555742091\ 5859663178993707572271225/69100450467421838027542969865503206146394\ 06485155758704722204901*c_1100_0^12 + 14933030167583572974762388086423559426763952985636477194314820595/6\ 910045046742183802754296986550320614639406485155758704722204901*c_1\ 100_0^11 - 71383336625132699122740357601629205366752755675789105872\ 794857454/691004504674218380275429698655032061463940648515575870472\ 2204901*c_1100_0^10 - 383869526326555138127325430624385949236396690\ 314834254959623849194/691004504674218380275429698655032061463940648\ 5155758704722204901*c_1100_0^9 - 6855262563592325374263743991242622\ 34226468791092733441930034566533/6910045046742183802754296986550320\ 614639406485155758704722204901*c_1100_0^8 - 430194566572889014517331467643002928052158075867798908164787828884/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 + 19486100879956087296105947935939787704203994719600670663\ 3131702099/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 + 469017319597315375113999166606618577169574724\ 166829039914302013719/691004504674218380275429698655032061463940648\ 5155758704722204901*c_1100_0^5 + 2496311657701759147259757615047207\ 74996468521938674057676838036636/6910045046742183802754296986550320\ 614639406485155758704722204901*c_1100_0^4 - 18836564798142333465392261538726122301722980185081236814731828833/6\ 910045046742183802754296986550320614639406485155758704722204901*c_1\ 100_0^3 - 927461644812944778552498148660080345624582123200767120051\ 41662256/6910045046742183802754296986550320614639406485155758704722\ 204901*c_1100_0^2 - 35546570856947837033285753508288399105008893977\ 246438433624402571/691004504674218380275429698655032061463940648515\ 5758704722204901*c_1100_0 + 890212971075699601265841257367429102156\ 897657100962292134213595/691004504674218380275429698655032061463940\ 6485155758704722204901, c_1001_1 + 198842000597727327764516051479662817382823937054858942480769\ /6910045046742183802754296986550320614639406485155758704722204901*c\ _1100_0^19 - 250695642177191072338325813842597189555543793485437721\ 5639777/69100450467421838027542969865503206146394064851557587047222\ 04901*c_1100_0^18 + 43036695550512417210375962412122685672113471242\ 48485776838217/6910045046742183802754296986550320614639406485155758\ 704722204901*c_1100_0^17 + 5765383865928802029883121106527924737669\ 3642834398419706883080/69100450467421838027542969865503206146394064\ 85155758704722204901*c_1100_0^16 - 185994803700893843147733029474999710495852465279522572735265173/691\ 0045046742183802754296986550320614639406485155758704722204901*c_110\ 0_0^15 - 6490928291665844989675432709649202570593383530756502338038\ 70945/6910045046742183802754296986550320614639406485155758704722204\ 901*c_1100_0^14 + 1758770006704485784401729721601581842176385157285\ 776528139702083/691004504674218380275429698655032061463940648515575\ 8704722204901*c_1100_0^13 + 523364698621055186753892129804195344724\ 0894988491409824285027427/69100450467421838027542969865503206146394\ 06485155758704722204901*c_1100_0^12 - 6431343647202792308658424352729624501629239360182193529137037021/69\ 10045046742183802754296986550320614639406485155758704722204901*c_11\ 00_0^11 - 461053859724147563093406225807346126059175464703084815254\ 53323376/6910045046742183802754296986550320614639406485155758704722\ 204901*c_1100_0^10 - 2906429263254225203760881495172684549924143480\ 5351095433270931104/69100450467421838027542969865503206146394064851\ 55758704722204901*c_1100_0^9 + 277327004996318907514724707560007099\ 565401400125069014660150945654/691004504674218380275429698655032061\ 4639406485155758704722204901*c_1100_0^8 + 633010505006992161746205575390549832925838737102632411216187794238/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^7 + 31931008153484982780875191001148232040935896015997845678\ 0918100954/69100450467421838027542969865503206146394064851557587047\ 22204901*c_1100_0^6 - 254671796260168036619518424075472054010726787\ 370618696465601054374/691004504674218380275429698655032061463940648\ 5155758704722204901*c_1100_0^5 - 3478049658397483988095852435292003\ 39955147943756614265905258628166/6910045046742183802754296986550320\ 614639406485155758704722204901*c_1100_0^4 - 124201958874570620746523198575441605501271924818269715209298784822/\ 6910045046742183802754296986550320614639406485155758704722204901*c_\ 1100_0^3 + 53560627875511969100210542191881611503918666574084572079\ 139199204/691004504674218380275429698655032061463940648515575870472\ 2204901*c_1100_0^2 + 6259384575410720463476645854446581235075528297\ 1961628910673630033/69100450467421838027542969865503206146394064851\ 55758704722204901*c_1100_0 + 62820324395946389098284380585750192120\ 36431067429299521202307841/6910045046742183802754296986550320614639\ 406485155758704722204901, c_1100_0^20 - 10*c_1100_0^19 - 2*c_1100_0^18 + 262*c_1100_0^17 - 272*c_1100_0^16 - 3349*c_1100_0^15 - 144*c_1100_0^14 + 17650*c_1100_0^13 + 7938*c_1100_0^12 - 172527*c_1100_0^11 - 552035*c_1100_0^10 - 433252*c_1100_0^9 + 457804*c_1100_0^8 + 676632*c_1100_0^7 + 98900*c_1100_0^6 - 244022*c_1100_0^5 - 183404*c_1100_0^4 - 4596*c_1100_0^3 + 51065*c_1100_0^2 + 6622*c_1100_0 - 205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.620 Total time: 0.820 seconds, Total memory usage: 32.09MB