Magma V2.19-8 Wed Aug 21 2013 00:58:33 on localhost [Seed = 2429979165] Type ? for help. Type -D to quit. Loading file "L13n5889__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5889 geometric_solution 12.35894720 oriented_manifold CS_known 0.0000000000000004 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 -1 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772338005602 0.592714402745 0 5 7 6 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.252415931414 0.647316198017 8 0 9 8 0132 0132 0132 2103 1 0 1 1 0 0 0 0 -1 0 0 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 2 0 -1 -1 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.480634057332 0.601170240546 10 4 6 0 0132 0321 3012 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.096818330854 1.187262732548 11 10 0 3 0132 0321 0132 0321 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 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.467634778209 0.724469810584 10 1 6 9 2103 0132 2103 3201 1 1 1 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 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.355538132108 1.694498738613 5 3 1 11 2103 1230 0132 2031 1 1 1 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 0 0 0 0 0 0 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.732741645527 0.905818875942 7 11 7 1 2310 1302 3201 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 1 0 -1 0 1 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.056435149775 1.098917760627 2 10 12 2 0132 2103 0132 2103 1 0 1 1 0 0 1 -1 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -2 0 1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480634057332 0.601170240546 12 5 12 2 0132 2310 3120 0132 1 0 1 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 0 0 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123267621316 0.801772124578 3 8 5 4 0132 2103 2103 0321 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.258579248368 0.617480028747 4 6 12 7 0132 1302 3012 2031 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.429353403092 0.796881057159 9 11 9 8 0132 1230 3120 0132 1 0 1 1 0 0 1 -1 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 -2 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.123267621316 0.801772124578 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0110_5']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_6']), 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : d['c_1001_0'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_0'], '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_1100_9' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : negation(d['c_0011_6']), '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' : negation(d['c_0011_6']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0101_12']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_0110_5']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : negation(d['c_0110_5']), 'c_1010_8' : negation(d['c_1001_0']), 'c_1100_8' : negation(d['c_0101_8']), '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_8']), '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' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], '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_1'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_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_8'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_12'])})} 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_6, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_8, c_0110_5, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 2835829751386782619929906604739159341981409663607738903735/43308053\ 963460043156558836893270977588334656557632835067904*c_1001_1^20 - 64653984960685535697346288217876888510554322964447965109437/4330805\ 3963460043156558836893270977588334656557632835067904*c_1001_1^19 + 502949127318189808443309270326534883833380525107661205230301/433080\ 53963460043156558836893270977588334656557632835067904*c_1001_1^18 + 20404309410077135213231559918340368072970140235995456433537/6186864\ 851922863308079833841895853941190665222518976438272*c_1001_1^17 - 14027162010588301203693473327353683428514083931608199572619705/4330\ 8053963460043156558836893270977588334656557632835067904*c_1001_1^16 + 88371589084930324023812524482022952295292156021357778476083619/43\ 308053963460043156558836893270977588334656557632835067904*c_1001_1^\ 15 - 29431979479634870122821762716970670709018339956696068611665868\ 3/43308053963460043156558836893270977588334656557632835067904*c_100\ 1_1^14 + 2276030079569555120119778766325198514398397179572413425160\ 593/213340167307684941657925304892960480730712593879964704768*c_100\ 1_1^13 + 8026981088534446744794759387713176358387797363614922355948\ 121/2547532586085884891562284523133586916960862150448990298112*c_10\ 01_1^12 - 200745448329716273030810300566245883908341671115710814209\ 9583963/43308053963460043156558836893270977588334656557632835067904\ *c_1001_1^11 + 2747949494742401342703765356102867326168370174197206\ 129967597895/433080539634600431565588368932709775883346565576328350\ 67904*c_1001_1^10 + 16252878758387683946432996008429844986006907944\ 07536074941837045/4330805396346004315655883689327097758833465655763\ 2835067904*c_1001_1^9 - 7251744730373945145620439218174175031581628\ 811232119590530385883/433080539634600431565588368932709775883346565\ 57632835067904*c_1001_1^8 + 207257248317632492321537987114057755343\ 7128232461993900032502033/43308053963460043156558836893270977588334\ 656557632835067904*c_1001_1^7 + 86115286746310697497348187481013165\ 14119845376934000894798672703/4330805396346004315655883689327097758\ 8334656557632835067904*c_1001_1^6 - 4528117957434894808436865872290701977105551541040742221213503399/43\ 308053963460043156558836893270977588334656557632835067904*c_1001_1^\ 5 - 331944350781442874360569187999956845071171392545472704022608564\ 7/21654026981730021578279418446635488794167328278816417533952*c_100\ 1_1^4 + 54824153313720719193810558574275724101914565507037263311575\ 3897/10827013490865010789139709223317744397083664139408208766976*c_\ 1001_1^3 + 41782004956150165564188307912623297146068906580269236532\ 2611619/5413506745432505394569854611658872198541832069704104383488*\ c_1001_1^2 + 316335113829812016671673584793268482164055874163233650\ 1658951/159220786630367805722642782695849182310053884403061893632*c\ _1001_1 + 154869474121378448892038056092028159725320069599964457757\ 471/84586042897382896790153978307169878102216126089126630992, c_0011_0 - 1, c_0011_10 - 190599618255521569695564692502693353928297075/4565170763929\ 926794865650683930059018078900740096*c_1001_1^20 - 4372776591061376493346596662134861265939345663/45651707639299267948\ 65650683930059018078900740096*c_1001_1^19 + 33070817810426312973253438145137645690714563423/4565170763929926794\ 865650683930059018078900740096*c_1001_1^18 + 11817204395319652424928897146670250813575094813/4565170763929926794\ 865650683930059018078900740096*c_1001_1^17 - 924326973975195064784571754620489893300341268543/456517076392992679\ 4865650683930059018078900740096*c_1001_1^16 + 5825151598564482755900368685487610887786120624957/45651707639299267\ 94865650683930059018078900740096*c_1001_1^15 - 19451626404505109530868292561107641409557566855161/4565170763929926\ 794865650683930059018078900740096*c_1001_1^14 + 31184973733278271389955905710905273419163749825857/4565170763929926\ 794865650683930059018078900740096*c_1001_1^13 + 4737232564755581638060259913200666769645919800035/45651707639299267\ 94865650683930059018078900740096*c_1001_1^12 - 122896488787959272771747909630405784069224990289813/456517076392992\ 6794865650683930059018078900740096*c_1001_1^11 + 177907118384222073633142182710162353759181396815429/456517076392992\ 6794865650683930059018078900740096*c_1001_1^10 + 71125793150882856304207686238391557507449974435319/4565170763929926\ 794865650683930059018078900740096*c_1001_1^9 - 415796331668123057218702000373464841125726533253965/456517076392992\ 6794865650683930059018078900740096*c_1001_1^8 + 157745367217261912419677644750733140562544183408799/456517076392992\ 6794865650683930059018078900740096*c_1001_1^7 + 409127315604765617355291254195253305227415864503829/456517076392992\ 6794865650683930059018078900740096*c_1001_1^6 - 256726251353232160561508354030417784681166004128501/456517076392992\ 6794865650683930059018078900740096*c_1001_1^5 - 67422552515335941986137528126939164411607684335505/1141292690982481\ 698716412670982514754519725185024*c_1001_1^4 + 6948598856078319897152520099017007075445069244415/57064634549124084\ 9358206335491257377259862592512*c_1001_1^3 + 1412258147567529893027265275329130797439350196251/71330793186405106\ 169775791936407172157482824064*c_1001_1^2 + 1401993983000509090706250904739680570753780339155/14266158637281021\ 2339551583872814344314965648128*c_1001_1 + 303198715070592428490926391909657682406293851/269172804477000400640\ 6633657977629138018219776, c_0011_11 - 1190469081009194717578061469302095824856771417/913034152785\ 9853589731301367860118036157801480192*c_1001_1^20 - 13703835682735327847930627703481850130069964159/4565170763929926794\ 865650683930059018078900740096*c_1001_1^19 + 102107565408602560510970365116399942469848176839/456517076392992679\ 4865650683930059018078900740096*c_1001_1^18 + 43593325709924592407240088685936512881512720613/4565170763929926794\ 865650683930059018078900740096*c_1001_1^17 - 358641248577267034700414800677769007769662175331/570646345491240849\ 358206335491257377259862592512*c_1001_1^16 + 4487534535865234777059358804193392758893555893027/11412926909824816\ 98716412670982514754519725185024*c_1001_1^15 - 59639729774887535638139743036908088091644398374649/4565170763929926\ 794865650683930059018078900740096*c_1001_1^14 + 95125110220652113759884894023511816697544276796603/4565170763929926\ 794865650683930059018078900740096*c_1001_1^13 + 12574881477454230209935626939539838134784153321085/4565170763929926\ 794865650683930059018078900740096*c_1001_1^12 - 90336611539620292725746267525383003040409521040525/1141292690982481\ 698716412670982514754519725185024*c_1001_1^11 + 508558686560291783249374839436044843207346161912963/456517076392992\ 6794865650683930059018078900740096*c_1001_1^10 + 229816258662413588321451602101643734382614932428223/456517076392992\ 6794865650683930059018078900740096*c_1001_1^9 - 146706725060320169489561207228618186811583999645909/570646345491240\ 849358206335491257377259862592512*c_1001_1^8 + 10145432403228120235742676892041197349564025808061/1426615863728102\ 12339551583872814344314965648128*c_1001_1^7 + 1196937438725545255885459555869090107892359414761561/45651707639299\ 26794865650683930059018078900740096*c_1001_1^6 - 523723220021895531130078357403612713100049543174899/456517076392992\ 6794865650683930059018078900740096*c_1001_1^5 - 1776634250535367252251192891716229697314113095894609/91303415278598\ 53589731301367860118036157801480192*c_1001_1^4 - 15121923271241359569026215538333381094499272608473/4565170763929926\ 794865650683930059018078900740096*c_1001_1^3 + 150048269905136626809196250620526447378836926547163/228258538196496\ 3397432825341965029509039450370048*c_1001_1^2 + 44011793813859725114980283503049122209351723956605/1141292690982481\ 698716412670982514754519725185024*c_1001_1 + 66532893503590835264031925053124518809738085499/1076691217908001602\ 5626534631910516552072879104, c_0011_12 + 442548000782010019883651922435323135411866927/4565170763929\ 926794865650683930059018078900740096*c_1001_1^20 + 631611156642824805264314048302005199808110695/285323172745620424679\ 103167745628688629931296256*c_1001_1^19 - 607745154517120611761301341599369346425712239/356653965932025530848\ 87895968203586078741412032*c_1001_1^18 - 2189520308396297231199088593505642541116744511/57064634549124084935\ 8206335491257377259862592512*c_1001_1^17 + 1066735366242851173553500718964967056545375030881/22825853819649633\ 97432825341965029509039450370048*c_1001_1^16 - 6871753150954296552665244187790143630899131898331/22825853819649633\ 97432825341965029509039450370048*c_1001_1^15 + 183544685745502846365360181234852854337856995569/178326982966012765\ 42443947984101793039370706016*c_1001_1^14 - 20011477954083000473603819776873393563272894197939/1141292690982481\ 698716412670982514754519725185024*c_1001_1^13 + 1902610313643916283510749560991870065622287513221/11412926909824816\ 98716412670982514754519725185024*c_1001_1^12 + 131597442342726901872544473565480571715157316580683/228258538196496\ 3397432825341965029509039450370048*c_1001_1^11 - 106154792244532660234211304617476067230626264762559/114129269098248\ 1698716412670982514754519725185024*c_1001_1^10 - 10531133540109574844271103722340271545774842377681/5706463454912408\ 49358206335491257377259862592512*c_1001_1^9 + 435449484964904199501781648545016972079025638007811/228258538196496\ 3397432825341965029509039450370048*c_1001_1^8 - 200142810140722602596489991084145097246496022890453/228258538196496\ 3397432825341965029509039450370048*c_1001_1^7 - 98356589592625249235919832862554197761130961495633/5706463454912408\ 49358206335491257377259862592512*c_1001_1^6 + 128783962505598526690155674376907024299298982541157/114129269098248\ 1698716412670982514754519725185024*c_1001_1^5 + 540270918606943135106548084598230762044222619085989/456517076392992\ 6794865650683930059018078900740096*c_1001_1^4 - 33902423974893238688436737565014478904774913385267/2282585381964963\ 397432825341965029509039450370048*c_1001_1^3 - 48470633471843714969179060719523092812302616869167/1141292690982481\ 698716412670982514754519725185024*c_1001_1^2 - 12851616970529579949153941493341905004667121522993/5706463454912408\ 49358206335491257377259862592512*c_1001_1 - 9507320593094840619345582134454817207826073187/53834560895400080128\ 13267315955258276036439552, c_0011_6 - 18602967198690860532771826008164767940482073/456517076392992\ 6794865650683930059018078900740096*c_1001_1^20 - 351661116865982935189320940687815495949496627/456517076392992679486\ 5650683930059018078900740096*c_1001_1^19 + 4918126438718026146226852508312738196988755067/45651707639299267948\ 65650683930059018078900740096*c_1001_1^18 - 12611144316033479222049367026579456599801340403/4565170763929926794\ 865650683930059018078900740096*c_1001_1^17 - 88281144494890989656833570190316794218229673395/4565170763929926794\ 865650683930059018078900740096*c_1001_1^16 + 927657394915171069423739687938628917516846597877/456517076392992679\ 4865650683930059018078900740096*c_1001_1^15 - 4351078779245513813325258332830359934131678699141/45651707639299267\ 94865650683930059018078900740096*c_1001_1^14 + 11906068101509862896052707255252684466024889381737/4565170763929926\ 794865650683930059018078900740096*c_1001_1^13 - 16552990201312442648739973392066549956024142243789/4565170763929926\ 794865650683930059018078900740096*c_1001_1^12 - 3244657692612410968695357007986574718690407530173/45651707639299267\ 94865650683930059018078900740096*c_1001_1^11 + 55264387520256502124915593576296492111985451978369/4565170763929926\ 794865650683930059018078900740096*c_1001_1^10 - 74138292735828828189858736597072545769529758997561/4565170763929926\ 794865650683930059018078900740096*c_1001_1^9 - 23953130174481664113019366557205286586209570980313/4565170763929926\ 794865650683930059018078900740096*c_1001_1^8 + 142743664587930745767554869053691200583211753485367/456517076392992\ 6794865650683930059018078900740096*c_1001_1^7 - 59451122263665965263345989366973931451971876304815/4565170763929926\ 794865650683930059018078900740096*c_1001_1^6 - 113816877824664579519311178207606925735205767948909/456517076392992\ 6794865650683930059018078900740096*c_1001_1^5 + 34627296104604646453162915819859428859218884354393/2282585381964963\ 397432825341965029509039450370048*c_1001_1^4 + 16973079567208556277965819466039754250460127589377/1141292690982481\ 698716412670982514754519725185024*c_1001_1^3 - 1934781997910577307462732511021707360709768978585/57064634549124084\ 9358206335491257377259862592512*c_1001_1^2 - 1491248468761078789696516381826311232488060073825/28532317274562042\ 4679103167745628688629931296256*c_1001_1 - 2411665089930461560080131747084725802525439881/13458640223850020032\ 03316828988814569009109888, c_0011_7 + 112858508388837879964191584707311058620679125/22825853819649\ 63397432825341965029509039450370048*c_1001_1^20 + 5196856361225707270681970624326940297994138201/45651707639299267948\ 65650683930059018078900740096*c_1001_1^19 - 38768430785732600388977181900225116698013897051/4565170763929926794\ 865650683930059018078900740096*c_1001_1^18 - 17758348318331130712177859704601024702946319191/4565170763929926794\ 865650683930059018078900740096*c_1001_1^17 + 1099084914043442240459447764568292540810122301753/45651707639299267\ 94865650683930059018078900740096*c_1001_1^16 - 6816501339379089336839821933821053715895789414805/45651707639299267\ 94865650683930059018078900740096*c_1001_1^15 + 22352655385136469343334684623154461072418862380313/4565170763929926\ 794865650683930059018078900740096*c_1001_1^14 - 34029960064207532334675537195531059041658005321083/4565170763929926\ 794865650683930059018078900740096*c_1001_1^13 - 12991159980236633715334164813447562105417244328051/4565170763929926\ 794865650683930059018078900740096*c_1001_1^12 + 156187536399684041932154788665230364783163250479209/456517076392992\ 6794865650683930059018078900740096*c_1001_1^11 - 214233035319104913154897921896173706205942479041133/456517076392992\ 6794865650683930059018078900740096*c_1001_1^10 - 99474235888767293453889073903648143252887027036109/4565170763929926\ 794865650683930059018078900740096*c_1001_1^9 + 517137432637235943397040994009831660386887266378755/456517076392992\ 6794865650683930059018078900740096*c_1001_1^8 - 192810780472185293548795610686863576489366403362519/456517076392992\ 6794865650683930059018078900740096*c_1001_1^7 - 497856536069575408937809161853308633000622670467269/456517076392992\ 6794865650683930059018078900740096*c_1001_1^6 + 313057502230974833437323432550709521270401501499047/456517076392992\ 6794865650683930059018078900740096*c_1001_1^5 + 314355023488476210919699461487101439940823590196957/456517076392992\ 6794865650683930059018078900740096*c_1001_1^4 - 26373257620079469933505610327592282262292676625163/2282585381964963\ 397432825341965029509039450370048*c_1001_1^3 - 27050954753273899985428955819382486470579919915427/1141292690982481\ 698716412670982514754519725185024*c_1001_1^2 - 6752289544804711047277416864622457865599498448969/57064634549124084\ 9358206335491257377259862592512*c_1001_1 - 5044367933188967932604655469252755190080954657/53834560895400080128\ 13267315955258276036439552, c_0101_0 + 1163618704850533934360038641941598717110342863/9130341527859\ 853589731301367860118036157801480192*c_1001_1^20 + 13223964424655689311188895158950102792911855815/4565170763929926794\ 865650683930059018078900740096*c_1001_1^19 - 103629209998540699128905663362008306301121161763/456517076392992679\ 4865650683930059018078900740096*c_1001_1^18 - 10917862903218974562554094619096891109010257061/4565170763929926794\ 865650683930059018078900740096*c_1001_1^17 + 1398386637985765474656790443909897475557554945471/22825853819649633\ 97432825341965029509039450370048*c_1001_1^16 - 9181097310855944202201786301031329551532207755145/22825853819649633\ 97432825341965029509039450370048*c_1001_1^15 + 63959784640998317196808147748368478604259644847029/4565170763929926\ 794865650683930059018078900740096*c_1001_1^14 - 113696419760912572922572453170860050181173882098039/456517076392992\ 6794865650683930059018078900740096*c_1001_1^13 + 28293877879088506177591867172949422860221897190251/4565170763929926\ 794865650683930059018078900740096*c_1001_1^12 + 165196764107546518903673034528107115317630511601185/228258538196496\ 3397432825341965029509039450370048*c_1001_1^11 - 584875317193696981807821026940271862117860437123459/456517076392992\ 6794865650683930059018078900740096*c_1001_1^10 - 24291870226852908543973999181213219774148181199215/4565170763929926\ 794865650683930059018078900740096*c_1001_1^9 + 542107462180416963473711922176423949198246222483909/228258538196496\ 3397432825341965029509039450370048*c_1001_1^8 - 304360624663015185146635335046525265019908307693285/228258538196496\ 3397432825341965029509039450370048*c_1001_1^7 - 896197026536265828223004394942515936662115759418301/456517076392992\ 6794865650683930059018078900740096*c_1001_1^6 + 680422167677515000258814317914947229089089481666023/456517076392992\ 6794865650683930059018078900740096*c_1001_1^5 + 1230174333708292566012289552603591752542143883219419/91303415278598\ 53589731301367860118036157801480192*c_1001_1^4 - 84850421388583833737941568027796909511948686284173/4565170763929926\ 794865650683930059018078900740096*c_1001_1^3 - 117194268186236525352354497713548496423587271074873/228258538196496\ 3397432825341965029509039450370048*c_1001_1^2 - 29123224347544817934480576532021142615930809725503/1141292690982481\ 698716412670982514754519725185024*c_1001_1 - 33432297303218092729674240674694493656956949505/1076691217908001602\ 5626534631910516552072879104, c_0101_1 + 6676176173720511499117580763694943204321143/1722705948652802\ 56410024554110568264833166065664*c_1001_1^20 + 77391109458392482495320636204492923535122255/8613529743264012820501\ 2277055284132416583032832*c_1001_1^19 - 561391543922382718573951048238293321917522615/861352974326401282050\ 12277055284132416583032832*c_1001_1^18 - 363159010763238760350752874562110477586811053/861352974326401282050\ 12277055284132416583032832*c_1001_1^17 + 8143532386939349517020477233860602008731528297/43067648716320064102\ 506138527642066208291516416*c_1001_1^16 - 49123625863292386312506970518301947934260085657/4306764871632006410\ 2506138527642066208291516416*c_1001_1^15 + 312585989645822025990462154162008030216986420489/861352974326401282\ 05012277055284132416583032832*c_1001_1^14 - 436744264712480117148570225434270288721207079943/861352974326401282\ 05012277055284132416583032832*c_1001_1^13 - 325596087162841331870539719852231860907569942465/861352974326401282\ 05012277055284132416583032832*c_1001_1^12 + 1198249135559990229932646844005647481181949636157/43067648716320064\ 102506138527642066208291516416*c_1001_1^11 - 2918092634831143443938933185640181863589835034927/86135297432640128\ 205012277055284132416583032832*c_1001_1^10 - 2071318378814944259733040743422363386245490069335/86135297432640128\ 205012277055284132416583032832*c_1001_1^9 + 3914567869323930408325187757010136763203428176827/43067648716320064\ 102506138527642066208291516416*c_1001_1^8 - 979609037205570814364868772109674449317449724269/430676487163200641\ 02506138527642066208291516416*c_1001_1^7 - 8108972582049260913202182276626057271474014315185/86135297432640128\ 205012277055284132416583032832*c_1001_1^6 + 3973628823936932722924354712455495941972531136295/86135297432640128\ 205012277055284132416583032832*c_1001_1^5 + 10773795905084793983321041702516935336198861064459/1722705948652802\ 56410024554110568264833166065664*c_1001_1^4 - 250792603365762107872296028024044159439247583389/861352974326401282\ 05012277055284132416583032832*c_1001_1^3 - 916354967451110428975173333722231317932116879497/430676487163200641\ 02506138527642066208291516416*c_1001_1^2 - 241264165307806114583007447842076684202915235087/215338243581600320\ 51253069263821033104145758208*c_1001_1 - 10264255391147709870428208243363260534043233989/1076691217908001602\ 5626534631910516552072879104, c_0101_12 - 1, c_0101_8 + 44719807851061450171845638863471291226121205/114129269098248\ 1698716412670982514754519725185024*c_1001_1^20 + 254883466754678847381089620075474715087504277/285323172745620424679\ 103167745628688629931296256*c_1001_1^19 - 1973923734381281315409110080706593177168479007/28532317274562042467\ 9103167745628688629931296256*c_1001_1^18 - 1407507827905563966125830223778335824690806591/11412926909824816987\ 16412670982514754519725185024*c_1001_1^17 + 215058386704060346505565416648623113844510466631/114129269098248169\ 8716412670982514754519725185024*c_1001_1^16 - 87295812064824369001587102235146599675397940219/7133079318640510616\ 9775791936407172157482824064*c_1001_1^15 + 2407996198592260676605090233346957572389634789141/57064634549124084\ 9358206335491257377259862592512*c_1001_1^14 - 8372475711787662813503480386840144800372197747375/11412926909824816\ 98716412670982514754519725185024*c_1001_1^13 + 1434777287724479180219137022967975645057845832407/11412926909824816\ 98716412670982514754519725185024*c_1001_1^12 + 6499914949261518342581596950763116799505835327421/28532317274562042\ 4679103167745628688629931296256*c_1001_1^11 - 1384589575322540589173095523355446773858387617303/35665396593202553\ 084887895968203586078741412032*c_1001_1^10 - 3144812904010857111220498065559313764207062987309/11412926909824816\ 98716412670982514754519725185024*c_1001_1^9 + 81717106000080265841492477547074104230361677161641/1141292690982481\ 698716412670982514754519725185024*c_1001_1^8 - 2657688674883387378466160011281757049966164594897/71330793186405106\ 169775791936407172157482824064*c_1001_1^7 - 33024803732631032125704849332378057845977394678935/5706463454912408\ 49358206335491257377259862592512*c_1001_1^6 + 41611594102444874165105054515298208714390792124539/1141292690982481\ 698716412670982514754519725185024*c_1001_1^5 + 12298169887886599705888732828175238871020159516057/2853231727456204\ 24679103167745628688629931296256*c_1001_1^4 + 412319988688305837106038651221923591829134592419/142661586372810212\ 339551583872814344314965648128*c_1001_1^3 - 635118070041070862824959949960696620945504649113/356653965932025530\ 84887895968203586078741412032*c_1001_1^2 - 20273039031803834077816198129164877808985211115/2229087287075159567\ 805493498012724129921338252*c_1001_1 - 1328771268302719979155366647466936347710673505/67293201119250100160\ 1658414494407284504554944, c_0110_5 - 1305126471869203720774028330362620845940197507/9130341527859\ 853589731301367860118036157801480192*c_1001_1^20 - 3724327511683820982067889939496727715469261257/11412926909824816987\ 16412670982514754519725185024*c_1001_1^19 + 57405309585799701117358512540334554016378914549/2282585381964963397\ 432825341965029509039450370048*c_1001_1^18 + 1576383363459870671994665387964722739009875491/28532317274562042467\ 9103167745628688629931296256*c_1001_1^17 - 3146607296199411024864780668702151187468660459595/45651707639299267\ 94865650683930059018078900740096*c_1001_1^16 + 20282228467096557467695973115375648379451994834491/4565170763929926\ 794865650683930059018078900740096*c_1001_1^15 - 34695627280339148249461500264700392747358837186777/2282585381964963\ 397432825341965029509039450370048*c_1001_1^14 + 59206826002670233328272683678201666526181178484059/2282585381964963\ 397432825341965029509039450370048*c_1001_1^13 - 3019097797982565282696586410934790909936169393311/11412926909824816\ 98716412670982514754519725185024*c_1001_1^12 - 386620865957620164592150372114109496220550524632319/456517076392992\ 6794865650683930059018078900740096*c_1001_1^11 + 156056215502756807746997110923284216171798829847905/114129269098248\ 1698716412670982514754519725185024*c_1001_1^10 + 15672838626148242479003963152265566763656185162263/5706463454912408\ 49358206335491257377259862592512*c_1001_1^9 - 1279250725207656246122025411008817890239507369324425/45651707639299\ 26794865650683930059018078900740096*c_1001_1^8 + 574348458622544266176562463121730157922546769597341/456517076392992\ 6794865650683930059018078900740096*c_1001_1^7 + 586530816824862595205312477584258015992121558526443/228258538196496\ 3397432825341965029509039450370048*c_1001_1^6 - 370852827501456524129638288593021333991465096702705/228258538196496\ 3397432825341965029509039450370048*c_1001_1^5 - 1650809045410934257101583494292495139026077149197709/91303415278598\ 53589731301367860118036157801480192*c_1001_1^4 + 93945304033218295387836459081986988489842804460011/4565170763929926\ 794865650683930059018078900740096*c_1001_1^3 + 151677727775900369236723068529424282851388762157959/228258538196496\ 3397432825341965029509039450370048*c_1001_1^2 + 37407757869862784521646963677557630353100821868073/1141292690982481\ 698716412670982514754519725185024*c_1001_1 + 38178726689157119434876671139584708736067203099/1076691217908001602\ 5626534631910516552072879104, c_1001_0 + 442548000782010019883651922435323135411866927/45651707639299\ 26794865650683930059018078900740096*c_1001_1^20 + 631611156642824805264314048302005199808110695/285323172745620424679\ 103167745628688629931296256*c_1001_1^19 - 607745154517120611761301341599369346425712239/356653965932025530848\ 87895968203586078741412032*c_1001_1^18 - 2189520308396297231199088593505642541116744511/57064634549124084935\ 8206335491257377259862592512*c_1001_1^17 + 1066735366242851173553500718964967056545375030881/22825853819649633\ 97432825341965029509039450370048*c_1001_1^16 - 6871753150954296552665244187790143630899131898331/22825853819649633\ 97432825341965029509039450370048*c_1001_1^15 + 183544685745502846365360181234852854337856995569/178326982966012765\ 42443947984101793039370706016*c_1001_1^14 - 20011477954083000473603819776873393563272894197939/1141292690982481\ 698716412670982514754519725185024*c_1001_1^13 + 1902610313643916283510749560991870065622287513221/11412926909824816\ 98716412670982514754519725185024*c_1001_1^12 + 131597442342726901872544473565480571715157316580683/228258538196496\ 3397432825341965029509039450370048*c_1001_1^11 - 106154792244532660234211304617476067230626264762559/114129269098248\ 1698716412670982514754519725185024*c_1001_1^10 - 10531133540109574844271103722340271545774842377681/5706463454912408\ 49358206335491257377259862592512*c_1001_1^9 + 435449484964904199501781648545016972079025638007811/228258538196496\ 3397432825341965029509039450370048*c_1001_1^8 - 200142810140722602596489991084145097246496022890453/228258538196496\ 3397432825341965029509039450370048*c_1001_1^7 - 98356589592625249235919832862554197761130961495633/5706463454912408\ 49358206335491257377259862592512*c_1001_1^6 + 128783962505598526690155674376907024299298982541157/114129269098248\ 1698716412670982514754519725185024*c_1001_1^5 + 540270918606943135106548084598230762044222619085989/456517076392992\ 6794865650683930059018078900740096*c_1001_1^4 - 33902423974893238688436737565014478904774913385267/2282585381964963\ 397432825341965029509039450370048*c_1001_1^3 - 48470633471843714969179060719523092812302616869167/1141292690982481\ 698716412670982514754519725185024*c_1001_1^2 - 12280970625038339099795735157850647627407258930481/5706463454912408\ 49358206335491257377259862592512*c_1001_1 - 14890776682634848632158849450410075483862512739/5383456089540008012\ 813267315955258276036439552, c_1001_1^21 + 23*c_1001_1^20 - 172*c_1001_1^19 - 68*c_1001_1^18 + 4810*c_1001_1^17 - 30260*c_1001_1^16 + 101174*c_1001_1^15 - 164192*c_1001_1^14 - 9612*c_1001_1^13 + 591554*c_1001_1^12 - 857930*c_1001_1^11 - 334872*c_1001_1^10 + 1902430*c_1001_1^9 - 562292*c_1001_1^8 - 1885246*c_1001_1^7 + 815264*c_1001_1^6 + 1400603*c_1001_1^5 + 96383*c_1001_1^4 - 456706*c_1001_1^3 - 307300*c_1001_1^2 - 68280*c_1001_1 - 5936 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.470 Total time: 0.680 seconds, Total memory usage: 32.09MB