Magma V2.19-8 Tue Aug 20 2013 23:49:27 on localhost [Seed = 2530278509] Type ? for help. Type -D to quit. Loading file "K11n29__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n29 geometric_solution 11.79738595 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 0 0 0 0 1 0 0 -1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.137572384963 1.087374686547 0 5 2 6 0132 0132 1023 0132 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 -1 1 0 0 0 0 -5 5 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.224606497803 0.509042034267 7 0 1 8 0132 0132 1023 0132 0 0 0 0 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 0 -1 -1 0 1 0 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476473032917 1.084046671622 9 10 11 0 0132 0132 0132 0132 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527974352254 0.629361189635 12 12 0 10 0132 1302 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.212386485520 0.544323043537 7 1 6 8 1023 0132 0132 1023 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 -1 0 0 1 0 -1 0 1 4 -5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.130839914539 0.799306995655 9 7 1 5 2103 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.360092760987 1.807776509313 2 5 6 9 0132 1023 0213 1023 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 1 -1 0 1 0 -1 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 1.199447818859 1.218435807168 9 11 2 5 1023 1023 0132 1023 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 1 -1 0 0 0 0 0 1 0 -1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.660192155832 0.773113139701 3 8 6 7 0132 1023 2103 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.901244264361 0.591662442879 12 3 11 4 1230 0132 1023 1023 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 1 0 0 -1 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.146452743498 0.929224028686 8 12 10 3 1023 1230 1023 0132 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 -1 1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.023656896988 1.742166470350 4 10 11 4 0132 3012 3012 2031 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 5 -4 -1 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.859256027431 0.593835488384 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_12'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0101_11'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : 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' : negation(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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_1100_0']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_12'], 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_2'], 'c_1010_8' : d['c_0101_3'], 'c_1100_8' : negation(d['c_1100_1']), '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_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_3'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], '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_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_6'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_12'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5']})} 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_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_5, c_1100_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 4745422061930875518433872364638896426901674558508121103/15611734449\ 934541600703562828997506778695317282189816*c_1100_1^28 + 2036901167184356593036493701481925068614523067071406151/17346371611\ 03837955633729203221945197632813031354424*c_1100_1^27 - 37368605384272470211658953720999109624333619675352720411/2601955741\ 655756933450593804832917796449219547031636*c_1100_1^26 + 101010845775694994770227657391734269312019292077279398165/260195574\ 1655756933450593804832917796449219547031636*c_1100_1^25 - 918528954166039811067349398559352248719759110536070993087/390293361\ 2483635400175890707249376694673829320547454*c_1100_1^24 + 3542411548959200834090162087669279890173003014787833583757/78058672\ 24967270800351781414498753389347658641094908*c_1100_1^23 - 13258593872178386994589913945580702173418630733934433358349/7805867\ 224967270800351781414498753389347658641094908*c_1100_1^22 + 10566517544273164362637626437291868435237526128949027897583/3902933\ 612483635400175890707249376694673829320547454*c_1100_1^21 - 106433110078560319158713808588743245471113469519967727972371/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^20 + 49830140770075524435762331791190093270256328181484364242333/5203911\ 483311513866901187609665835592898439094063272*c_1100_1^19 - 266236686291939211996756165174066316247750622767496418495849/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^18 + 345329438381213648148435287404350650783594676473612894314165/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^17 - 16767100955369346306741890913402163764003719834861965566967/5782123\ 87034612651877909734407315065877604343784808*c_1100_1^16 + 551555764770611896437939303939243238841336593188698440695445/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^15 - 184512416181634765320411907894341333337020212199075917319187/520391\ 1483311513866901187609665835592898439094063272*c_1100_1^14 + 629545648377668096751253114332714654258740188285250209877945/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^13 - 249360819257014089607285927402429921133735337581792154867997/780586\ 7224967270800351781414498753389347658641094908*c_1100_1^12 + 519924088581260948088987844152203058940423978607531357997109/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^11 - 328998185149498346368935604329784183790772854057371122779119/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^10 + 38351091649225842383661161530657003071161653098652625605861/1951466\ 806241817700087945353624688347336914660273727*c_1100_1^9 - 19120239898115092609340120354272709363364690411549593249080/1951466\ 806241817700087945353624688347336914660273727*c_1100_1^8 + 123434872207810453099542711792452095520607642725417750746721/156117\ 34449934541600703562828997506778695317282189816*c_1100_1^7 - 46190242745632930694994888227191065051443144634048440307431/1561173\ 4449934541600703562828997506778695317282189816*c_1100_1^6 + 15312293083139084900514242897404159765091028306450087858727/7805867\ 224967270800351781414498753389347658641094908*c_1100_1^5 - 7647967450175516242368820436899102202658102874017517116313/15611734\ 449934541600703562828997506778695317282189816*c_1100_1^4 + 1885205978283324267228609996512759756780157479905572667645/78058672\ 24967270800351781414498753389347658641094908*c_1100_1^3 - 111111837660938087206546630318075785543672117228001956283/390293361\ 2483635400175890707249376694673829320547454*c_1100_1^2 + 19350871172243094068662394707344418849796456447907927571/2601955741\ 655756933450593804832917796449219547031636*c_1100_1 + 553593698340256972568943021182141430914017205726641391/780586722496\ 7270800351781414498753389347658641094908, c_0011_0 - 1, c_0011_10 - 218867776528669111994333496421250421917446238920/3370408991\ 782068566645846897451966057576709257813*c_1100_1^28 + 240315291689376460263428845652010824756183756127/748979775951570792\ 587965977211548012794824279514*c_1100_1^27 - 7320568238020391908860076546393326119505398969123/22469393278547123\ 77763897931634644038384472838542*c_1100_1^26 + 12688857078286061024085033059628818485744382658398/1123469663927356\ 188881948965817322019192236419271*c_1100_1^25 - 374095418920127798088684652760770362871929363988691/674081798356413\ 7133291693794903932115153418515626*c_1100_1^24 + 952665996507793198175802427282901377888859025138533/674081798356413\ 7133291693794903932115153418515626*c_1100_1^23 - 1377430141542388251813740495047305897866438649307355/33704089917820\ 68566645846897451966057576709257813*c_1100_1^22 + 5800935974729725643641504058074277972984699072608433/67408179835641\ 37133291693794903932115153418515626*c_1100_1^21 - 11354984619665630939836547245225664939622391299748145/6740817983564\ 137133291693794903932115153418515626*c_1100_1^20 + 3376834795591573558329705432795447277557658351032895/11234696639273\ 56188881948965817322019192236419271*c_1100_1^19 - 14821185261965836915052748122521909391119223903989789/3370408991782\ 068566645846897451966057576709257813*c_1100_1^18 + 44878724401911299643269170774315600618737629503364443/6740817983564\ 137133291693794903932115153418515626*c_1100_1^17 - 6013220883115801604730200451863894280238961250119709/74897977595157\ 0792587965977211548012794824279514*c_1100_1^16 + 67434884805106405431582794890077515419332646042493755/6740817983564\ 137133291693794903932115153418515626*c_1100_1^15 - 24098583888687672910896181281311949791594666672378083/2246939327854\ 712377763897931634644038384472838542*c_1100_1^14 + 36018388162768302135467432589690900480653735285263153/3370408991782\ 068566645846897451966057576709257813*c_1100_1^13 - 71207689567612081037534802111992373880983506303514521/6740817983564\ 137133291693794903932115153418515626*c_1100_1^12 + 27933921479834700179538779011995307769523094004505386/3370408991782\ 068566645846897451966057576709257813*c_1100_1^11 - 51092723381129965843240051384556725633196151719926945/6740817983564\ 137133291693794903932115153418515626*c_1100_1^10 + 31018995595545105864238247126634824153257262333739041/6740817983564\ 137133291693794903932115153418515626*c_1100_1^9 - 12919510166912934214225591389856004222172139178155153/3370408991782\ 068566645846897451966057576709257813*c_1100_1^8 + 5833465253391270038444742010661677198927909728481066/33704089917820\ 68566645846897451966057576709257813*c_1100_1^7 - 8528764655782020918868244684899266978374412565686029/67408179835641\ 37133291693794903932115153418515626*c_1100_1^6 + 2663393983930518141358076026974199217466685018405145/67408179835641\ 37133291693794903932115153418515626*c_1100_1^5 - 1534170328981138322173728178463105859005951393160241/67408179835641\ 37133291693794903932115153418515626*c_1100_1^4 + 293903890036363354429081649226982701652844879871863/674081798356413\ 7133291693794903932115153418515626*c_1100_1^3 - 97552301229941720942728879517353339015379889819355/6740817983564137\ 133291693794903932115153418515626*c_1100_1^2 + 1692556879280202459117822370844137053411842616010/11234696639273561\ 88881948965817322019192236419271*c_1100_1 - 3798214828635670082528741100637287097228691246962/33704089917820685\ 66645846897451966057576709257813, c_0011_12 - 183509484711958580630398211911010678934415672143/3744898879\ 75785396293982988605774006397412139757*c_1100_1^28 + 1363365222264552642073950744039185208109601167331/74897977595157079\ 2587965977211548012794824279514*c_1100_1^27 - 8543197651474264602135409431970194604873811250755/37448988797578539\ 6293982988605774006397412139757*c_1100_1^26 + 22055394969766847401823297346787558235010919471533/3744898879757853\ 96293982988605774006397412139757*c_1100_1^25 - 137527897739905590291380218434312271775124147549539/374489887975785\ 396293982988605774006397412139757*c_1100_1^24 + 249651843404558076451325581605059213228649007118031/374489887975785\ 396293982988605774006397412139757*c_1100_1^23 - 966739918491792219182380751543166958251415639092694/374489887975785\ 396293982988605774006397412139757*c_1100_1^22 + 1443284211950901442982950317048772226901218451315600/37448988797578\ 5396293982988605774006397412139757*c_1100_1^21 - 3741093738963096961236083457244451456883002825537852/37448988797578\ 5396293982988605774006397412139757*c_1100_1^20 + 4939665115576051139872753634474380927479127055512908/37448988797578\ 5396293982988605774006397412139757*c_1100_1^19 - 17809708100870929967818132789623652308745005172784105/7489797759515\ 70792587965977211548012794824279514*c_1100_1^18 + 22084357578569472413468663262762735848762726665685003/7489797759515\ 70792587965977211548012794824279514*c_1100_1^17 - 14210818115025772886175392703096337830300266784594212/3744898879757\ 85396293982988605774006397412139757*c_1100_1^16 + 34064798798417418316020394480244166326288914459892991/7489797759515\ 70792587965977211548012794824279514*c_1100_1^15 - 32172880984262672108088555409094646296807404359190693/7489797759515\ 70792587965977211548012794824279514*c_1100_1^14 + 18653358755202355565080916881040148889836699293023319/3744898879757\ 85396293982988605774006397412139757*c_1100_1^13 - 13207993898986173921812294310783088675967287116633556/3744898879757\ 85396293982988605774006397412139757*c_1100_1^12 + 29216584143132512755124885717910713145618743752541055/7489797759515\ 70792587965977211548012794824279514*c_1100_1^11 - 7731864863652980207110703958063838475623090004810475/37448988797578\ 5396293982988605774006397412139757*c_1100_1^10 + 8018540410192440734434831104279291689271436057446399/37448988797578\ 5396293982988605774006397412139757*c_1100_1^9 - 3016540563266167184214423047356598951533703553235153/37448988797578\ 5396293982988605774006397412139757*c_1100_1^8 + 5797015400439883737576399385796671769626014990625531/74897977595157\ 0792587965977211548012794824279514*c_1100_1^7 - 1330770934927198702488292628393470453679374498300123/74897977595157\ 0792587965977211548012794824279514*c_1100_1^6 + 601465452902797725154903788437463805164172338896187/374489887975785\ 396293982988605774006397412139757*c_1100_1^5 - 87471552271843715429156048787415421994874114227285/7489797759515707\ 92587965977211548012794824279514*c_1100_1^4 + 103604004716131377032190794981418893625059502033857/748979775951570\ 792587965977211548012794824279514*c_1100_1^3 + 13867131690083363092546524213210359992690498058027/7489797759515707\ 92587965977211548012794824279514*c_1100_1^2 + 696551115055648416973108386637010059808261590635/374489887975785396\ 293982988605774006397412139757*c_1100_1 + 583783289937418716457028344167571240418212238009/748979775951570792\ 587965977211548012794824279514, c_0011_6 + c_1100_1, c_0101_0 + 6203459562487259618927512863001478610266897738/1123469663927\ 356188881948965817322019192236419271*c_1100_1^28 - 89351614244708972357716975622832368230002512017/7489797759515707925\ 87965977211548012794824279514*c_1100_1^27 + 474715826959015995787190568468077089019697322603/748979775951570792\ 587965977211548012794824279514*c_1100_1^26 - 1922543452688781503894278810974948963900332763650/37448988797578539\ 6293982988605774006397412139757*c_1100_1^25 + 35689116102982298046580441654442567038466201204215/2246939327854712\ 377763897931634644038384472838542*c_1100_1^24 - 169201190538600908591882457136298979940623102841855/224693932785471\ 2377763897931634644038384472838542*c_1100_1^23 + 171803214255331284591718405455358903551461068388542/112346966392735\ 6188881948965817322019192236419271*c_1100_1^22 - 1042822499890860706184067096177867913134823059121867/22469393278547\ 12377763897931634644038384472838542*c_1100_1^21 + 1698198725799448332524612872526867372871122349335893/22469393278547\ 12377763897931634644038384472838542*c_1100_1^20 - 568752276251410821608777067368833480717659149403511/374489887975785\ 396293982988605774006397412139757*c_1100_1^19 + 2425486589157885401873343478159902131360032031747975/11234696639273\ 56188881948965817322019192236419271*c_1100_1^18 - 6631589461088066525500651644729107929582777152804773/22469393278547\ 12377763897931634644038384472838542*c_1100_1^17 + 2931226090852974662814576554790439664430174815302867/74897977595157\ 0792587965977211548012794824279514*c_1100_1^16 - 8748029072293233020102792411618094628998975569812175/22469393278547\ 12377763897931634644038384472838542*c_1100_1^15 + 3492632744737006218696215329356587432244667829630215/74897977595157\ 0792587965977211548012794824279514*c_1100_1^14 - 4295590255097595816361143903541826522198489791053851/11234696639273\ 56188881948965817322019192236419271*c_1100_1^13 + 8289257963198144658007003492651170657622496700372571/22469393278547\ 12377763897931634644038384472838542*c_1100_1^12 - 3220603647561799423141970017702426866477397202875375/11234696639273\ 56188881948965817322019192236419271*c_1100_1^11 + 4220467028478506375978237751059535089380190787836111/22469393278547\ 12377763897931634644038384472838542*c_1100_1^10 - 3651411308832657070239771013140922539515280831137749/22469393278547\ 12377763897931634644038384472838542*c_1100_1^9 + 586539761281569531708035049515365382811555760995500/112346966392735\ 6188881948965817322019192236419271*c_1100_1^8 - 791696064725081193281065375323207148892398725176510/112346966392735\ 6188881948965817322019192236419271*c_1100_1^7 + 59915589372736762485714463354298867085948189400357/2246939327854712\ 377763897931634644038384472838542*c_1100_1^6 - 530022788143447719789257049952152648286742989729909/224693932785471\ 2377763897931634644038384472838542*c_1100_1^5 - 26407541153449059036831198949497127245945108963043/2246939327854712\ 377763897931634644038384472838542*c_1100_1^4 - 116189680272344614091683388204230112809212800021029/224693932785471\ 2377763897931634644038384472838542*c_1100_1^3 + 4889994039025928906272523648178542637901092712157/22469393278547123\ 77763897931634644038384472838542*c_1100_1^2 - 1198737215110159048315453181672654883295368672758/37448988797578539\ 6293982988605774006397412139757*c_1100_1 + 205191695133887767072257239187989692383064119839/112346966392735618\ 8881948965817322019192236419271, c_0101_1 + 218867776528669111994333496421250421917446238920/33704089917\ 82068566645846897451966057576709257813*c_1100_1^28 - 240315291689376460263428845652010824756183756127/748979775951570792\ 587965977211548012794824279514*c_1100_1^27 + 7320568238020391908860076546393326119505398969123/22469393278547123\ 77763897931634644038384472838542*c_1100_1^26 - 12688857078286061024085033059628818485744382658398/1123469663927356\ 188881948965817322019192236419271*c_1100_1^25 + 374095418920127798088684652760770362871929363988691/674081798356413\ 7133291693794903932115153418515626*c_1100_1^24 - 952665996507793198175802427282901377888859025138533/674081798356413\ 7133291693794903932115153418515626*c_1100_1^23 + 1377430141542388251813740495047305897866438649307355/33704089917820\ 68566645846897451966057576709257813*c_1100_1^22 - 5800935974729725643641504058074277972984699072608433/67408179835641\ 37133291693794903932115153418515626*c_1100_1^21 + 11354984619665630939836547245225664939622391299748145/6740817983564\ 137133291693794903932115153418515626*c_1100_1^20 - 3376834795591573558329705432795447277557658351032895/11234696639273\ 56188881948965817322019192236419271*c_1100_1^19 + 14821185261965836915052748122521909391119223903989789/3370408991782\ 068566645846897451966057576709257813*c_1100_1^18 - 44878724401911299643269170774315600618737629503364443/6740817983564\ 137133291693794903932115153418515626*c_1100_1^17 + 6013220883115801604730200451863894280238961250119709/74897977595157\ 0792587965977211548012794824279514*c_1100_1^16 - 67434884805106405431582794890077515419332646042493755/6740817983564\ 137133291693794903932115153418515626*c_1100_1^15 + 24098583888687672910896181281311949791594666672378083/2246939327854\ 712377763897931634644038384472838542*c_1100_1^14 - 36018388162768302135467432589690900480653735285263153/3370408991782\ 068566645846897451966057576709257813*c_1100_1^13 + 71207689567612081037534802111992373880983506303514521/6740817983564\ 137133291693794903932115153418515626*c_1100_1^12 - 27933921479834700179538779011995307769523094004505386/3370408991782\ 068566645846897451966057576709257813*c_1100_1^11 + 51092723381129965843240051384556725633196151719926945/6740817983564\ 137133291693794903932115153418515626*c_1100_1^10 - 31018995595545105864238247126634824153257262333739041/6740817983564\ 137133291693794903932115153418515626*c_1100_1^9 + 12919510166912934214225591389856004222172139178155153/3370408991782\ 068566645846897451966057576709257813*c_1100_1^8 - 5833465253391270038444742010661677198927909728481066/33704089917820\ 68566645846897451966057576709257813*c_1100_1^7 + 8528764655782020918868244684899266978374412565686029/67408179835641\ 37133291693794903932115153418515626*c_1100_1^6 - 2663393983930518141358076026974199217466685018405145/67408179835641\ 37133291693794903932115153418515626*c_1100_1^5 + 1534170328981138322173728178463105859005951393160241/67408179835641\ 37133291693794903932115153418515626*c_1100_1^4 - 293903890036363354429081649226982701652844879871863/674081798356413\ 7133291693794903932115153418515626*c_1100_1^3 + 97552301229941720942728879517353339015379889819355/6740817983564137\ 133291693794903932115153418515626*c_1100_1^2 - 1692556879280202459117822370844137053411842616010/11234696639273561\ 88881948965817322019192236419271*c_1100_1 + 3798214828635670082528741100637287097228691246962/33704089917820685\ 66645846897451966057576709257813, c_0101_11 - 88496977173795491190509657147440757239801302967/22469393278\ 54712377763897931634644038384472838542*c_1100_1^28 + 121778054202417407550857780411735684007367077487/748979775951570792\ 587965977211548012794824279514*c_1100_1^27 - 690517350275138674829012117941475531547836586469/374489887975785396\ 293982988605774006397412139757*c_1100_1^26 + 4019270311596201974299868433550955939422041351677/74897977595157079\ 2587965977211548012794824279514*c_1100_1^25 - 65965471466040824993677951128269516526608452751689/2246939327854712\ 377763897931634644038384472838542*c_1100_1^24 + 70204960782371830193016371564901401608098086538191/1123469663927356\ 188881948965817322019192236419271*c_1100_1^23 - 446682980585069199351828287006940014299742452201811/224693932785471\ 2377763897931634644038384472838542*c_1100_1^22 + 828420127694498837025587677886169758702257196116471/224693932785471\ 2377763897931634644038384472838542*c_1100_1^21 - 827775761891265539080436231139310237582323316844903/112346966392735\ 6188881948965817322019192236419271*c_1100_1^20 + 470815254229664841372425008268531004711277113963357/374489887975785\ 396293982988605774006397412139757*c_1100_1^19 - 3802363063911844847745708161722843013727915900668473/22469393278547\ 12377763897931634644038384472838542*c_1100_1^18 + 6006200636381248176542184147023508258356819347400867/22469393278547\ 12377763897931634644038384472838542*c_1100_1^17 - 2021421509344334694126175778022578361542440153171065/74897977595157\ 0792587965977211548012794824279514*c_1100_1^16 + 8100388859626944975133001214282589231146410094877061/22469393278547\ 12377763897931634644038384472838542*c_1100_1^15 - 1211064552215160862000708345934191976218877839741167/37448988797578\ 5396293982988605774006397412139757*c_1100_1^14 + 6867893812283506571969983243377783971944172481262111/22469393278547\ 12377763897931634644038384472838542*c_1100_1^13 - 3293685861941830337967517957484999073711104570852423/11234696639273\ 56188881948965817322019192236419271*c_1100_1^12 + 3277846803526243284127330220531899378010996687211737/22469393278547\ 12377763897931634644038384472838542*c_1100_1^11 - 4338966717001732829174269853029783841086314616551647/22469393278547\ 12377763897931634644038384472838542*c_1100_1^10 + 113712284155846096672518883353933993610477565537786/112346966392735\ 6188881948965817322019192236419271*c_1100_1^9 - 987008088624182742962695593263528029884875177753042/112346966392735\ 6188881948965817322019192236419271*c_1100_1^8 - 786731263587985876651748888752831016119555606880681/224693932785471\ 2377763897931634644038384472838542*c_1100_1^7 - 589385124336428355712945925743561168785072806473417/224693932785471\ 2377763897931634644038384472838542*c_1100_1^6 - 466161708236399687089510676108683499398390000616417/224693932785471\ 2377763897931634644038384472838542*c_1100_1^5 - 116776353788973821779887610900682123937304151448461/224693932785471\ 2377763897931634644038384472838542*c_1100_1^4 - 72586952821136032352449725793424603431884664422611/2246939327854712\ 377763897931634644038384472838542*c_1100_1^3 - 10064151549261544009352512183274271019330621644016/1123469663927356\ 188881948965817322019192236419271*c_1100_1^2 + 1662186702102784688884025789479867737795321058703/37448988797578539\ 6293982988605774006397412139757*c_1100_1 - 344095464901334753359653612268850907014314997126/112346966392735618\ 8881948965817322019192236419271, c_0101_12 + 47551033818899874512654057326268348598303037103/11234696639\ 27356188881948965817322019192236419271*c_1100_1^28 - 91206242180138713450308713726229859073408857606/3744898879757853962\ 93982988605774006397412139757*c_1100_1^27 + 1773352599797767006417734666108772762185536746431/74897977595157079\ 2587965977211548012794824279514*c_1100_1^26 - 7074819692480255350588332165354491517486453201081/74897977595157079\ 2587965977211548012794824279514*c_1100_1^25 + 51565879885748499255836667305151258793174797462509/1123469663927356\ 188881948965817322019192236419271*c_1100_1^24 - 301458045121225380853519411478442102572644816073635/224693932785471\ 2377763897931634644038384472838542*c_1100_1^23 + 911809683353795145026391236917627835649892929373613/224693932785471\ 2377763897931634644038384472838542*c_1100_1^22 - 1051488858117853195948812712084454961865361469954812/11234696639273\ 56188881948965817322019192236419271*c_1100_1^21 + 4580922507289133898734687185496454996813454026346693/22469393278547\ 12377763897931634644038384472838542*c_1100_1^20 - 2855198097024738934252537679376126315754747572957985/74897977595157\ 0792587965977211548012794824279514*c_1100_1^19 + 7267636492956006330329545517601249771987023499554789/11234696639273\ 56188881948965817322019192236419271*c_1100_1^18 - 11219105376370437883082814977858632689509341870309489/1123469663927\ 356188881948965817322019192236419271*c_1100_1^17 + 10407890520286172278716335541562842060841077608942967/7489797759515\ 70792587965977211548012794824279514*c_1100_1^16 - 40375401694138464240994085458146913902599952146494043/2246939327854\ 712377763897931634644038384472838542*c_1100_1^15 + 15816573555657447699522490401269276800995948720658977/7489797759515\ 70792587965977211548012794824279514*c_1100_1^14 - 52054856417756238551748390293242681130627394184752559/2246939327854\ 712377763897931634644038384472838542*c_1100_1^13 + 26181483848810375285528375387655050932726661016129599/1123469663927\ 356188881948965817322019192236419271*c_1100_1^12 - 48954702731365950689294764310368108614708552037277537/2246939327854\ 712377763897931634644038384472838542*c_1100_1^11 + 21105312049041494073472416114854054106315224545517515/1123469663927\ 356188881948965817322019192236419271*c_1100_1^10 - 33342399541167855481719258679309686112215077680449217/2246939327854\ 712377763897931634644038384472838542*c_1100_1^9 + 24334595922810987835846350026520808816183564150635811/2246939327854\ 712377763897931634644038384472838542*c_1100_1^8 - 7904774441260459031429509840712583063840092971696724/11234696639273\ 56188881948965817322019192236419271*c_1100_1^7 + 4724130171562556264604436664545887919340948714437424/11234696639273\ 56188881948965817322019192236419271*c_1100_1^6 - 4750967989819824426408261903382144457405253218118259/22469393278547\ 12377763897931634644038384472838542*c_1100_1^5 + 2171712656410320690666605180708973817092574756627433/22469393278547\ 12377763897931634644038384472838542*c_1100_1^4 - 727020219738086700293409182317394083863662222100433/224693932785471\ 2377763897931634644038384472838542*c_1100_1^3 + 219499304046385442021853467858789954951375821048127/224693932785471\ 2377763897931634644038384472838542*c_1100_1^2 - 9006684217692208512937115842604608045706038944155/74897977595157079\ 2587965977211548012794824279514*c_1100_1 + 2164281255596784602548249185783620632886521246865/11234696639273561\ 88881948965817322019192236419271, c_0101_2 + 184037183902928917307753363115231686566515597023/33704089917\ 82068566645846897451966057576709257813*c_1100_1^28 - 131396105683642107107854466026139135749871674495/374489887975785396\ 293982988605774006397412139757*c_1100_1^27 + 7152148441551676905279420757435933565945494452571/22469393278547123\ 77763897931634644038384472838542*c_1100_1^26 - 15478167468193884836260851175374661926320184042133/1123469663927356\ 188881948965817322019192236419271*c_1100_1^25 + 423347296365107283993534618255237408950415947533453/674081798356413\ 7133291693794903932115153418515626*c_1100_1^24 - 1315255615836926340721591858639312719143887108582003/67408179835641\ 37133291693794903932115153418515626*c_1100_1^23 + 1857879991376881629720855716851414671413041084907527/33704089917820\ 68566645846897451966057576709257813*c_1100_1^22 - 8839341509296932596310224958641840822080003568655469/67408179835641\ 37133291693794903932115153418515626*c_1100_1^21 + 18009388907952393654226534874083090635686058498371977/6740817983564\ 137133291693794903932115153418515626*c_1100_1^20 - 5634449594141195683207214805500401747612485586008932/11234696639273\ 56188881948965817322019192236419271*c_1100_1^19 + 53634626879191499471939608498876023074530220783189947/6740817983564\ 137133291693794903932115153418515626*c_1100_1^18 - 40592134975690403516273268028303450282543294735087048/3370408991782\ 068566645846897451966057576709257813*c_1100_1^17 + 11787683130352170191212593966704573748335199133002241/7489797759515\ 70792587965977211548012794824279514*c_1100_1^16 - 65928049672709923409459313107769902428428106917729217/3370408991782\ 068566645846897451966057576709257813*c_1100_1^15 + 24546599868019611061218814049571409885285663379816320/1123469663927\ 356188881948965817322019192236419271*c_1100_1^14 - 75724020534005216296096629934977358466878360748697686/3370408991782\ 068566645846897451966057576709257813*c_1100_1^13 + 147529626945185327187838497371241393695343743922147919/674081798356\ 4137133291693794903932115153418515626*c_1100_1^12 - 125037928582611180253545776676421354670010771790486583/674081798356\ 4137133291693794903932115153418515626*c_1100_1^11 + 106513501545723347293803051799639938328493027638050965/674081798356\ 4137133291693794903932115153418515626*c_1100_1^10 - 73051129646132953562566911992575238419732823349837673/6740817983564\ 137133291693794903932115153418515626*c_1100_1^9 + 26826126700876141225310171385227019751051039610250602/3370408991782\ 068566645846897451966057576709257813*c_1100_1^8 - 28448745092407592766565678944069863961605389055839921/6740817983564\ 137133291693794903932115153418515626*c_1100_1^7 + 8732719788225990015366050062180263003637229490823847/33704089917820\ 68566645846897451966057576709257813*c_1100_1^6 - 6485674706262397649997842618875304282672508080729023/67408179835641\ 37133291693794903932115153418515626*c_1100_1^5 + 1566828835380010858069905830157671976511342055253790/33704089917820\ 68566645846897451966057576709257813*c_1100_1^4 - 332459855454284160464603554677078913586224685479496/337040899178206\ 8566645846897451966057576709257813*c_1100_1^3 + 108715353190042234126516549932973438635924392995684/337040899178206\ 8566645846897451966057576709257813*c_1100_1^2 - 3532055106776008276108442143860464535127057550819/11234696639273561\ 88881948965817322019192236419271*c_1100_1 + 7069447162682627985653439895406386951979121590947/67408179835641371\ 33291693794903932115153418515626, c_0101_3 + 1, c_0101_5 - 427805836853601515882894203185321039651981989149/33704089917\ 82068566645846897451966057576709257813*c_1100_1^28 + 165817285653970772393027035146670415187831301964/374489887975785396\ 293982988605774006397412139757*c_1100_1^27 - 12968840904247119127462327964974240794594872384387/2246939327854712\ 377763897931634644038384472838542*c_1100_1^26 + 31181957078803744520600401740285567449172980054287/2246939327854712\ 377763897931634644038384472838542*c_1100_1^25 - 305033709921730232665826051775741018343656407322304/337040899178206\ 8566645846897451966057576709257813*c_1100_1^24 + 1016273550854077128530721507591523015997012100745559/67408179835641\ 37133291693794903932115153418515626*c_1100_1^23 - 4142501520418600855989467532654272204366246465626057/67408179835641\ 37133291693794903932115153418515626*c_1100_1^22 + 2883515993519482846379885768678491657067301962616685/33704089917820\ 68566645846897451966057576709257813*c_1100_1^21 - 15384864677934328625911182672069190552660752994028345/6740817983564\ 137133291693794903932115153418515626*c_1100_1^20 + 6541667620641592144779706457547514489271845475488613/22469393278547\ 12377763897931634644038384472838542*c_1100_1^19 - 17499335586415133228307605814337617513250281716089480/3370408991782\ 068566645846897451966057576709257813*c_1100_1^18 + 21944876163069530961439062593427766077611760225464420/3370408991782\ 068566645846897451966057576709257813*c_1100_1^17 - 5940111479514008979192413301321571862895941149146243/74897977595157\ 0792587965977211548012794824279514*c_1100_1^16 + 66790920110217474788378818791085866272609714378126191/6740817983564\ 137133291693794903932115153418515626*c_1100_1^15 - 19553343331939644723956168570129830125336580431731899/2246939327854\ 712377763897931634644038384472838542*c_1100_1^14 + 70326158224190654632350725613986478824393755525359371/6740817983564\ 137133291693794903932115153418515626*c_1100_1^13 - 23757638003274876874301725738784452426798752112559170/3370408991782\ 068566645846897451966057576709257813*c_1100_1^12 + 51191838414571848671720058361359828773845060611905869/6740817983564\ 137133291693794903932115153418515626*c_1100_1^11 - 13905917170284381675324156953732275229480396516255963/3370408991782\ 068566645846897451966057576709257813*c_1100_1^10 + 24636610247020867295318114674902434163918396035250737/6740817983564\ 137133291693794903932115153418515626*c_1100_1^9 - 10965869233267346904508989973972582678188250081343819/6740817983564\ 137133291693794903932115153418515626*c_1100_1^8 + 3310159865802146493823765996385520059105101544190460/33704089917820\ 68566645846897451966057576709257813*c_1100_1^7 - 1250571599067517463060103099884053896669260029837225/33704089917820\ 68566645846897451966057576709257813*c_1100_1^6 + 315693215329336820494710071754060195390663077980397/674081798356413\ 7133291693794903932115153418515626*c_1100_1^5 - 190926559556711172612594096678262759091338813196983/674081798356413\ 7133291693794903932115153418515626*c_1100_1^4 - 248185983399212165429748203688030813812093533778347/674081798356413\ 7133291693794903932115153418515626*c_1100_1^3 + 21819377797472790327560936001118520434184334773099/6740817983564137\ 133291693794903932115153418515626*c_1100_1^2 - 8309794790307650121157159477303322264607081658261/22469393278547123\ 77763897931634644038384472838542*c_1100_1 + 799612269304592218524525080679200763715707956540/337040899178206856\ 6645846897451966057576709257813, c_1100_0 - 31340719816318957948154941414769799453643829294/337040899178\ 2068566645846897451966057576709257813*c_1100_1^28 - 17117948086753033270817031867672290339992275691/3744898879757853962\ 93982988605774006397412139757*c_1100_1^27 - 241976239451181828920612104938909852948975862159/224693932785471237\ 7763897931634644038384472838542*c_1100_1^26 - 3070760854506287590483836156718819907055770036438/11234696639273561\ 88881948965817322019192236419271*c_1100_1^25 + 26835255261228563336191582495150473779559534442691/6740817983564137\ 133291693794903932115153418515626*c_1100_1^24 - 346069863969371231544178831806460136949322584837035/674081798356413\ 7133291693794903932115153418515626*c_1100_1^23 + 275177365034379761289061398041354709826629189735950/337040899178206\ 8566645846897451966057576709257813*c_1100_1^22 - 2659188872454078630963703392713771201253759354741575/67408179835641\ 37133291693794903932115153418515626*c_1100_1^21 + 3997717540166655811883474913498800910306027270369743/67408179835641\ 37133291693794903932115153418515626*c_1100_1^20 - 1840593458349514053249076838240409620296206262283050/11234696639273\ 56188881948965817322019192236419271*c_1100_1^19 + 15419386077268700480410953198254025257386519107739529/6740817983564\ 137133291693794903932115153418515626*c_1100_1^18 - 13949818521128323060479574223246406184281598173381701/3370408991782\ 068566645846897451966057576709257813*c_1100_1^17 + 4066951367583846810807230745335120092990852776343157/74897977595157\ 0792587965977211548012794824279514*c_1100_1^16 - 23438282884797588988904854786847137893362733544465832/3370408991782\ 068566645846897451966057576709257813*c_1100_1^15 + 9645966807677060971114484546482824804586707597421433/11234696639273\ 56188881948965817322019192236419271*c_1100_1^14 - 27796356571472069324370102902733447808191488164381198/3370408991782\ 068566645846897451966057576709257813*c_1100_1^13 + 63492679969558229065470394367196254776247268657775373/6740817983564\ 137133291693794903932115153418515626*c_1100_1^12 - 47608861935572691956656256950113747946781765579861089/6740817983564\ 137133291693794903932115153418515626*c_1100_1^11 + 48853239438816100105982031067628374983562108897945135/6740817983564\ 137133291693794903932115153418515626*c_1100_1^10 - 28867451489682685229665637045010120625457111557192061/6740817983564\ 137133291693794903932115153418515626*c_1100_1^9 + 12822805667584469327896885943096098596512864864044054/3370408991782\ 068566645846897451966057576709257813*c_1100_1^8 - 11517313537743988325469504436275030819033079876987877/6740817983564\ 137133291693794903932115153418515626*c_1100_1^7 + 4175504337578616191534053453634026274870597796382603/33704089917820\ 68566645846897451966057576709257813*c_1100_1^6 - 2493672416572362030603083838058136696490050523098927/67408179835641\ 37133291693794903932115153418515626*c_1100_1^5 + 646243534081286818448429200073284063003785278563703/337040899178206\ 8566645846897451966057576709257813*c_1100_1^4 - 53922706487176766422395164779986254125554863681893/3370408991782068\ 566645846897451966057576709257813*c_1100_1^3 + 5475497371806876107652519397699040493243899654042/33704089917820685\ 66645846897451966057576709257813*c_1100_1^2 + 6313384971678667875149938649661136231461823092149/11234696639273561\ 88881948965817322019192236419271*c_1100_1 - 2020782386321231697562636293629837343050213798923/67408179835641371\ 33291693794903932115153418515626, c_1100_1^29 - 4*c_1100_1^28 + 48*c_1100_1^27 - 135*c_1100_1^26 + 802*c_1100_1^25 - 1625*c_1100_1^24 + 5955*c_1100_1^23 - 9960*c_1100_1^22 + 24761*c_1100_1^21 - 36208*c_1100_1^20 + 64585*c_1100_1^19 - 85941*c_1100_1^18 + 114935*c_1100_1^17 - 141314*c_1100_1^16 + 147374*c_1100_1^15 - 166690*c_1100_1^14 + 139727*c_1100_1^13 - 143055*c_1100_1^12 + 97801*c_1100_1^11 - 88509*c_1100_1^10 + 49070*c_1100_1^9 - 37937*c_1100_1^8 + 16559*c_1100_1^7 - 10337*c_1100_1^6 + 3336*c_1100_1^5 - 1503*c_1100_1^4 + 318*c_1100_1^3 - 77*c_1100_1^2 + 10*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.920 Total time: 1.129 seconds, Total memory usage: 32.09MB