Magma V2.19-8 Wed Aug 21 2013 00:49:18 on localhost [Seed = 2177340791] Type ? for help. Type -D to quit. Loading file "K14n9158__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9158 geometric_solution 11.35965423 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 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.634104052698 0.971217538638 0 0 5 4 0132 1302 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 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.528670334138 0.721906185614 6 0 8 7 0132 0132 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 0 -1 -1 0 0 1 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.208556133564 1.139739738413 4 9 10 0 0132 0132 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 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.562922992590 0.340028428041 3 6 1 11 0132 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 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 1.271235351391 0.733169079822 7 11 11 1 3120 2031 1230 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 -1 1 0 0 0 0 0 -8 9 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.350464665622 0.956105230388 2 8 4 12 0132 3120 0213 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 0 0 0 1 0 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687398608082 0.885157861190 12 10 2 5 0213 1023 0132 3120 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 0 1 -1 1 0 -1 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534813858947 1.225561283451 10 6 9 2 1230 3120 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134511606752 0.968060610885 12 3 10 8 1023 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.340791876287 0.788427345373 7 8 9 3 1023 3012 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966243090754 0.754196288904 5 12 4 5 1302 0321 0132 3012 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 1 -1 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694786618352 0.344490816671 7 9 6 11 0213 1023 0132 0321 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 8 0 1 -9 -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.048462451882 1.174302020636 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0110_11']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_10'], 'c_1001_8' : negation(d['c_1001_4']), 'c_1010_12' : negation(d['c_0101_5']), 'c_1010_11' : negation(d['c_0101_5']), 'c_1010_10' : negation(d['c_0101_8']), 's_3_11' : 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' : negation(d['c_0011_5']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_4'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_11'], 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_0110_11'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_5']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : negation(d['c_1001_4']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0101_5']), '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' : negation(d['1']), 'c_1100_12' : d['c_1001_11'], 's_1_7' : d['1'], 's_1_6' : negation(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' : negation(d['1']), 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_12']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_5']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0011_11'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0011_11'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_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' : negation(d['c_0101_5']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_12'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0011_10']})} 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_5, c_0011_8, c_0101_0, c_0101_10, c_0101_5, c_0101_8, c_0110_11, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 40556238/1662325*c_1001_4^5 + 428456549/2042285*c_1001_4^4 - 9604422649/10211425*c_1001_4^3 + 123014437802/71479975*c_1001_4^2 - 36919340/408457*c_1001_4 + 4352237121/71479975, c_0011_0 - 1, c_0011_10 - 852/1475*c_1001_4^5 + 1487/295*c_1001_4^4 - 33794/1475*c_1001_4^3 + 64096/1475*c_1001_4^2 - 1936/295*c_1001_4 - 1012/1475, c_0011_11 + 243/1475*c_1001_4^5 - 448/295*c_1001_4^4 + 10646/1475*c_1001_4^3 - 22789/1475*c_1001_4^2 + 2264/295*c_1001_4 - 667/1475, c_0011_12 + 18/59*c_1001_4^5 - 155/59*c_1001_4^4 + 699/59*c_1001_4^3 - 1286/59*c_1001_4^2 + 89/59*c_1001_4 + 38/59, c_0011_5 + 402/1475*c_1001_4^5 - 712/295*c_1001_4^4 + 16319/1475*c_1001_4^3 - 31946/1475*c_1001_4^2 + 1491/295*c_1001_4 + 62/1475, c_0011_8 + 243/1475*c_1001_4^5 - 448/295*c_1001_4^4 + 10646/1475*c_1001_4^3 - 22789/1475*c_1001_4^2 + 1969/295*c_1001_4 - 667/1475, c_0101_0 + 243/1475*c_1001_4^5 - 448/295*c_1001_4^4 + 10646/1475*c_1001_4^3 - 22789/1475*c_1001_4^2 + 1969/295*c_1001_4 - 667/1475, c_0101_10 + 1, c_0101_5 - 402/1475*c_1001_4^5 + 712/295*c_1001_4^4 - 16319/1475*c_1001_4^3 + 31946/1475*c_1001_4^2 - 1491/295*c_1001_4 - 62/1475, c_0101_8 + 48/1475*c_1001_4^5 - 63/295*c_1001_4^4 + 1156/1475*c_1001_4^3 - 204/1475*c_1001_4^2 - 1046/295*c_1001_4 + 888/1475, c_0110_11 + 159/1475*c_1001_4^5 - 264/295*c_1001_4^4 + 5673/1475*c_1001_4^3 - 9157/1475*c_1001_4^2 - 773/295*c_1001_4 + 2204/1475, c_1001_11 - 129/295*c_1001_4^5 + 232/59*c_1001_4^4 - 5393/295*c_1001_4^3 + 10947/295*c_1001_4^2 - 751/59*c_1001_4 + 416/295, c_1001_4^6 - 9*c_1001_4^5 + 42*c_1001_4^4 - 86*c_1001_4^3 + 32*c_1001_4^2 - 4*c_1001_4 + 1 ], 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_5, c_0011_8, c_0101_0, c_0101_10, c_0101_5, c_0101_8, c_0110_11, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3332965207506504592819013930749727420063753789661869/10699421555056\ 7566168637430464137347177689461855200*c_1001_4^22 + 126993992186814920792913348440642911870098076684737159/499306339235\ 981975453641342165974286829217488657600*c_1001_4^21 + 1959420730968677562091445983636189525069388007911331739/29958380354\ 15891852721848052995845720975304931945600*c_1001_4^20 - 8546015307136636408712288313700023680644292942643309/57063581626969\ 368623273296247539918494767712989440*c_1001_4^19 - 7296916149588842111655684190563851682215289737424071293/19972253569\ 43927901814565368663897147316869954630400*c_1001_4^18 - 16847622923100654871426349825520802463793905754953368063/2995838035\ 415891852721848052995845720975304931945600*c_1001_4^17 - 16537920777387404493495637393063985644690718954855397/2853179081348\ 46843116366481237699592473838564947200*c_1001_4^16 + 17165987802745214843409992516979710596520418210118907209/2995838035\ 415891852721848052995845720975304931945600*c_1001_4^15 + 40005147491179312962839548939894230697313318918431111933/5991676070\ 831783705443696105991691441950609863891200*c_1001_4^14 + 20389328806390326550183726005017689952022423562945091391/9986126784\ 71963950907282684331948573658434977315200*c_1001_4^13 + 107388091493125036847435281083172176158874399225764775253/299583803\ 5415891852721848052995845720975304931945600*c_1001_4^12 + 39820995452723930071857277388377238131945691142937004891/5991676070\ 831783705443696105991691441950609863891200*c_1001_4^11 - 38926223410140298556241722541349231087507638085111478159/8559537244\ 04540529349099443713098777421515694841600*c_1001_4^10 - 4596208215136832660927347000448050456674370716875423389/79889014277\ 757116072582614746555885892674798185216*c_1001_4^9 - 6165528637958540108053678090314961252404147536050518997/19327987325\ 2638184046570842128764240062922898835200*c_1001_4^8 + 6928371029226386044061373448882896271848331067973141907/59916760708\ 3178370544369610599169144195060986389120*c_1001_4^7 + 170820840253715166966441724966509920517441677712978959221/299583803\ 5415891852721848052995845720975304931945600*c_1001_4^6 + 6118996059277946574522274794428971926311627087808490687/93619938606\ 746620397557751656120178780478279123300*c_1001_4^5 + 52552837244093958271737355484473474933553393795558640187/1198335214\ 166356741088739221198338288390121972778240*c_1001_4^4 + 61642964011144324959240013978847541182526884403784616551/1997225356\ 943927901814565368663897147316869954630400*c_1001_4^3 + 977322204252604340029347516923777957325217078933132219/427976862202\ 27026467454972185654938871075784742080*c_1001_4^2 + 31837688713674554273736982844661944547847432335451275823/2995838035\ 415891852721848052995845720975304931945600*c_1001_4 + 15600904674832728586733455141604040705313532675526752339/5991676070\ 831783705443696105991691441950609863891200, c_0011_0 - 1, c_0011_10 - 46391958295571436293362261989101453522496/26205160680887501\ 91530060817065246772062825*c_1001_4^22 - 528626166982190174024366291408664947575512/262051606808875019153006\ 0817065246772062825*c_1001_4^21 - 277141353408095312604559106343944\ 017431756/374359438298392884504294402437892396008975*c_1001_4^20 - 262379038092640218190343916026949453187654/524103213617750038306012\ 163413049354412565*c_1001_4^19 + 8454201044916782606620637475356395\ 866647181/2620516068088750191530060817065246772062825*c_1001_4^18 + 2880606010308848335876580096462810336513927/37435943829839288450429\ 4402437892396008975*c_1001_4^17 + 802299812332225200328267858546079\ 5163030593/2620516068088750191530060817065246772062825*c_1001_4^16 - 17092450615082749913727608413403319147517327/2620516068088750191530\ 060817065246772062825*c_1001_4^15 - 20144191074083196966692894711512618414800237/2620516068088750191530\ 060817065246772062825*c_1001_4^14 - 50499032050253423825487590660995218202558194/2620516068088750191530\ 060817065246772062825*c_1001_4^13 - 120857470971092790983193223576173414228307234/262051606808875019153\ 0060817065246772062825*c_1001_4^12 - 10068969941468988089822135855557560965670707/3743594382983928845042\ 94402437892396008975*c_1001_4^11 + 112107465569620556172249863124456552849594032/262051606808875019153\ 0060817065246772062825*c_1001_4^10 + 8244473637501524788555389070327936466479189/10482064272355000766120\ 2432682609870882513*c_1001_4^9 + 1488301948642900089988827025362309\ 14905420373/2620516068088750191530060817065246772062825*c_1001_4^8 + 1846456551172884568268712036283069840948289/52410321361775003830601\ 2163413049354412565*c_1001_4^7 - 1596443915653014948982961334731080\ 88217748963/2620516068088750191530060817065246772062825*c_1001_4^6 - 235291328850936582347563680043403746200851877/262051606808875019153\ 0060817065246772062825*c_1001_4^5 - 35801159849952667868369101772405344984259093/5241032136177500383060\ 12163413049354412565*c_1001_4^4 - 167297608531368139007830611550592\ 78499227556/374359438298392884504294402437892396008975*c_1001_4^3 - 18106946134759090118313164514802226139232448/5241032136177500383060\ 12163413049354412565*c_1001_4^2 - 495673234583438260782559740368097\ 71997415244/2620516068088750191530060817065246772062825*c_1001_4 - 1750069054009206708251325751835232907118453/37435943829839288450429\ 4402437892396008975, c_0011_11 + 136505827263782782206359391343619306771248/2620516068088750\ 191530060817065246772062825*c_1001_4^22 + 1157858941480620642704259953477884742078656/26205160680887501915300\ 60817065246772062825*c_1001_4^21 + 445972360537871557421909697442747405429128/374359438298392884504294\ 402437892396008975*c_1001_4^20 - 7496041225077794974896394712979752\ 7716408/524103213617750038306012163413049354412565*c_1001_4^19 - 17170061808252630264631617626060674961816153/2620516068088750191530\ 060817065246772062825*c_1001_4^18 - 3938521298092745839282090464305482077665526/37435943829839288450429\ 4402437892396008975*c_1001_4^17 - 366349554463783394360033126461289\ 000713884/2620516068088750191530060817065246772062825*c_1001_4^16 + 29105180498619537285777775767886772690525676/2620516068088750191530\ 060817065246772062825*c_1001_4^15 + 30119067682935147251501124922981637003885681/2620516068088750191530\ 060817065246772062825*c_1001_4^14 + 93155870303005323539699747255233245350599597/2620516068088750191530\ 060817065246772062825*c_1001_4^13 + 174499273679169737912357309169493997310617117/262051606808875019153\ 0060817065246772062825*c_1001_4^12 + 4984170665761661910787189067831226601462041/37435943829839288450429\ 4402437892396008975*c_1001_4^11 - 224181903694285037392815906722220\ 406165424491/2620516068088750191530060817065246772062825*c_1001_4^1\ 0 - 11053750184874372943316630309334933529104388/104820642723550007\ 661202432682609870882513*c_1001_4^9 - 146187035470036161767665998666652038988014149/262051606808875019153\ 0060817065246772062825*c_1001_4^8 + 11272693696609115724543576225425754025429833/5241032136177500383060\ 12163413049354412565*c_1001_4^7 + 272798997740608391203499887745892\ 070045117494/2620516068088750191530060817065246772062825*c_1001_4^6 + 310908959601570231092516197059115297915850776/2620516068088750191\ 530060817065246772062825*c_1001_4^5 + 40240415967184364845191215368950353242583229/5241032136177500383060\ 12163413049354412565*c_1001_4^4 + 201822155512225727305958674062130\ 66166172228/374359438298392884504294402437892396008975*c_1001_4^3 + 21523975453536605067439057268516841650380534/5241032136177500383060\ 12163413049354412565*c_1001_4^2 + 462921274040424452858637713352490\ 73073982022/2620516068088750191530060817065246772062825*c_1001_4 + 1342938414822911462246150130352502535666539/37435943829839288450429\ 4402437892396008975, c_0011_12 - 46391958295571436293362261989101453522496/26205160680887501\ 91530060817065246772062825*c_1001_4^22 - 528626166982190174024366291408664947575512/262051606808875019153006\ 0817065246772062825*c_1001_4^21 - 277141353408095312604559106343944\ 017431756/374359438298392884504294402437892396008975*c_1001_4^20 - 262379038092640218190343916026949453187654/524103213617750038306012\ 163413049354412565*c_1001_4^19 + 8454201044916782606620637475356395\ 866647181/2620516068088750191530060817065246772062825*c_1001_4^18 + 2880606010308848335876580096462810336513927/37435943829839288450429\ 4402437892396008975*c_1001_4^17 + 802299812332225200328267858546079\ 5163030593/2620516068088750191530060817065246772062825*c_1001_4^16 - 17092450615082749913727608413403319147517327/2620516068088750191530\ 060817065246772062825*c_1001_4^15 - 20144191074083196966692894711512618414800237/2620516068088750191530\ 060817065246772062825*c_1001_4^14 - 50499032050253423825487590660995218202558194/2620516068088750191530\ 060817065246772062825*c_1001_4^13 - 120857470971092790983193223576173414228307234/262051606808875019153\ 0060817065246772062825*c_1001_4^12 - 10068969941468988089822135855557560965670707/3743594382983928845042\ 94402437892396008975*c_1001_4^11 + 112107465569620556172249863124456552849594032/262051606808875019153\ 0060817065246772062825*c_1001_4^10 + 8244473637501524788555389070327936466479189/10482064272355000766120\ 2432682609870882513*c_1001_4^9 + 1488301948642900089988827025362309\ 14905420373/2620516068088750191530060817065246772062825*c_1001_4^8 + 1846456551172884568268712036283069840948289/52410321361775003830601\ 2163413049354412565*c_1001_4^7 - 1596443915653014948982961334731080\ 88217748963/2620516068088750191530060817065246772062825*c_1001_4^6 - 235291328850936582347563680043403746200851877/262051606808875019153\ 0060817065246772062825*c_1001_4^5 - 35801159849952667868369101772405344984259093/5241032136177500383060\ 12163413049354412565*c_1001_4^4 - 167297608531368139007830611550592\ 78499227556/374359438298392884504294402437892396008975*c_1001_4^3 - 18106946134759090118313164514802226139232448/5241032136177500383060\ 12163413049354412565*c_1001_4^2 - 495673234583438260782559740368097\ 71997415244/2620516068088750191530060817065246772062825*c_1001_4 - 1750069054009206708251325751835232907118453/37435943829839288450429\ 4402437892396008975, c_0011_5 + 63507002454665460722769793512538866826616/262051606808875019\ 1530060817065246772062825*c_1001_4^22 + 457947913935671244065664879873882210712852/262051606808875019153006\ 0817065246772062825*c_1001_4^21 + 118672971624278494871702936087426\ 634173426/374359438298392884504294402437892396008975*c_1001_4^20 - 305640365484491577665933873887715723899341/524103213617750038306012\ 163413049354412565*c_1001_4^19 - 6721012737589806420688070926830054\ 136461151/2620516068088750191530060817065246772062825*c_1001_4^18 - 552241453612450668953293322307978889871917/374359438298392884504294\ 402437892396008975*c_1001_4^17 + 8889559112644826249537020377493374\ 455459972/2620516068088750191530060817065246772062825*c_1001_4^16 + 7646267623126729734302824108831247260204567/26205160680887501915300\ 60817065246772062825*c_1001_4^15 + 3226593933940469872157840183106267507889902/26205160680887501915300\ 60817065246772062825*c_1001_4^14 + 32762118517722041711064174640982614667994474/2620516068088750191530\ 060817065246772062825*c_1001_4^13 + 32240237747530665838646421597803812193938539/2620516068088750191530\ 060817065246772062825*c_1001_4^12 - 6623488309277187254860936510490427877812478/37435943829839288450429\ 4402437892396008975*c_1001_4^11 - 802455282081800782555822506575298\ 44141120747/2620516068088750191530060817065246772062825*c_1001_4^10 - 1085693713990973027672765591227802113378500/104820642723550007661\ 202432682609870882513*c_1001_4^9 + 19965899874501530330799357377136743509569042/2620516068088750191530\ 060817065246772062825*c_1001_4^8 + 11534964629485526818987646524894090505571276/5241032136177500383060\ 12163413049354412565*c_1001_4^7 + 743443149618436561591778056768985\ 77071416873/2620516068088750191530060817065246772062825*c_1001_4^6 + 29476435968296939748212238494036658251671917/2620516068088750191530\ 060817065246772062825*c_1001_4^5 - 843724876176492323132717793349546405537852/524103213617750038306012\ 163413049354412565*c_1001_4^4 + 13973202582995185686165349707023779\ 44595701/374359438298392884504294402437892396008975*c_1001_4^3 + 894997596353203008824280715184344665926548/524103213617750038306012\ 163413049354412565*c_1001_4^2 - 98162964679722596729197573640777823\ 67357026/2620516068088750191530060817065246772062825*c_1001_4 - 830976425544644699410642847798546733536887/374359438298392884504294\ 402437892396008975, c_0011_8 + 3758852048196569852762278192320521483936/1497437753193571538\ 0171776097515695840359*c_1001_4^22 + 28153267133456060461573674708449272649720/1497437753193571538017177\ 6097515695840359*c_1001_4^21 + 616774040241020412437759926434194257\ 98900/14974377531935715380171776097515695840359*c_1001_4^20 - 47822353344371237641445417122539987384738/1497437753193571538017177\ 6097515695840359*c_1001_4^19 - 388513003055761294838101402187072465\ 152335/14974377531935715380171776097515695840359*c_1001_4^18 - 453741840919599379145001676586017053785735/149743775319357153801717\ 76097515695840359*c_1001_4^17 + 14479769459875889134665215152426132\ 8681164/14974377531935715380171776097515695840359*c_1001_4^16 + 495354085584743417867766693840321746707322/149743775319357153801717\ 76097515695840359*c_1001_4^15 + 61103864394711491600677530100164799\ 3925513/14974377531935715380171776097515695840359*c_1001_4^14 + 2180985818143938844969304828351900496028993/14974377531935715380171\ 776097515695840359*c_1001_4^13 + 3054806649638930084966837353600642\ 098679794/14974377531935715380171776097515695840359*c_1001_4^12 - 374111536090041737280810069082363447112451/149743775319357153801717\ 76097515695840359*c_1001_4^11 - 44659227767888184907449969197999042\ 20486825/14974377531935715380171776097515695840359*c_1001_4^10 - 4686729576299084538294393082220098833795335/14974377531935715380171\ 776097515695840359*c_1001_4^9 - 22360483626123052429657518148699159\ 64828705/14974377531935715380171776097515695840359*c_1001_4^8 + 1789214720267214350309466440581209848194397/14974377531935715380171\ 776097515695840359*c_1001_4^7 + 53620956348309013266491912670619230\ 94874995/14974377531935715380171776097515695840359*c_1001_4^6 + 5314518854477091725573114640985341061594869/14974377531935715380171\ 776097515695840359*c_1001_4^5 + 35171365084365680293141144446749846\ 21324255/14974377531935715380171776097515695840359*c_1001_4^4 + 2610262796490043668755589467822418823321091/14974377531935715380171\ 776097515695840359*c_1001_4^3 + 17682263853922817235334587457977985\ 91981268/14974377531935715380171776097515695840359*c_1001_4^2 + 728294830433072105889139205699811948886522/149743775319357153801717\ 76097515695840359*c_1001_4 + 12478022728164340456455626461513374665\ 3726/14974377531935715380171776097515695840359, c_0101_0 + 87799900419159478174706534497718895297656/262051606808875019\ 1530060817065246772062825*c_1001_4^22 + 542400984888013007470049634730739514924732/262051606808875019153006\ 0817065246772062825*c_1001_4^21 + 101574742931318096658084197968359\ 441082366/374359438298392884504294402437892396008975*c_1001_4^20 - 420872304532416727146093434963594728656631/524103213617750038306012\ 163413049354412565*c_1001_4^19 - 6111208233899276073886071017434806\ 549284116/2620516068088750191530060817065246772062825*c_1001_4^18 - 240764961534522813119448014199776584501147/374359438298392884504294\ 402437892396008975*c_1001_4^17 + 5486942299220193293256498828912768\ 994916602/2620516068088750191530060817065246772062825*c_1001_4^16 + 555093961886109946696139246891215920454872/262051606808875019153006\ 0817065246772062825*c_1001_4^15 + 109901846689668498790697551839362\ 07877203157/2620516068088750191530060817065246772062825*c_1001_4^14 + 41044201086808348248063440975301587969961459/26205160680887501915\ 30060817065246772062825*c_1001_4^13 + 17970703171602912723512980873991091484362499/2620516068088750191530\ 060817065246772062825*c_1001_4^12 - 4994511603510676939337983786303896989359398/37435943829839288450429\ 4402437892396008975*c_1001_4^11 - 386818348124948077417941649791330\ 74965805277/2620516068088750191530060817065246772062825*c_1001_4^10 - 1496774614875085095023929965733989840428916/104820642723550007661\ 202432682609870882513*c_1001_4^9 - 22091541490090623457808352597653002471056278/2620516068088750191530\ 060817065246772062825*c_1001_4^8 + 7752839569425858416847310111725227788409876/52410321361775003830601\ 2163413049354412565*c_1001_4^7 + 5793594280445460826677714701267839\ 8384583693/2620516068088750191530060817065246772062825*c_1001_4^6 + 43608911898983560873859063579569081970512047/2620516068088750191530\ 060817065246772062825*c_1001_4^5 + 9567626126541829339810949546157351997577418/52410321361775003830601\ 2163413049354412565*c_1001_4^4 + 4596082837288468178320133005814483\ 208421091/374359438298392884504294402437892396008975*c_1001_4^3 + 1896772486589071849850626287893381107664068/52410321361775003830601\ 2163413049354412565*c_1001_4^2 + 6936735413698246629688139236625013\ 440723784/2620516068088750191530060817065246772062825*c_1001_4 + 256495106624552622787709487447112666833808/374359438298392884504294\ 402437892396008975, c_0101_10 + 458468972185335135965872641296991259529448/2620516068088750\ 191530060817065246772062825*c_1001_4^22 + 3375692982404731713682878158711953753082756/26205160680887501915300\ 60817065246772062825*c_1001_4^21 + 1017096468932502791588334587186114920314578/37435943829839288450429\ 4402437892396008975*c_1001_4^20 - 131657507430251707355769666148376\ 2687084233/524103213617750038306012163413049354412565*c_1001_4^19 - 46334463429951136773447779732897954100492478/2620516068088750191530\ 060817065246772062825*c_1001_4^18 - 7140878790392138098351445606928420964170701/37435943829839288450429\ 4402437892396008975*c_1001_4^17 + 222066157468033873136061407085965\ 49721754366/2620516068088750191530060817065246772062825*c_1001_4^16 + 56531925776497900633854245389440785658177151/26205160680887501915\ 30060817065246772062825*c_1001_4^15 + 68783725979872436009512251103313682924548431/2620516068088750191530\ 060817065246772062825*c_1001_4^14 + 259073135739471190937312891077901459579682747/262051606808875019153\ 0060817065246772062825*c_1001_4^13 + 343024361313115175463060965680256118547340442/262051606808875019153\ 0060817065246772062825*c_1001_4^12 - 11366598235963012948245843616717406147680834/3743594382983928845042\ 94402437892396008975*c_1001_4^11 - 526482988744310527249687283249079110136724566/262051606808875019153\ 0060817065246772062825*c_1001_4^10 - 20490141194585146948832892716124711042497292/1048206427235500076612\ 02432682609870882513*c_1001_4^9 - 227196272742206894292003282846071\ 093027075249/2620516068088750191530060817065246772062825*c_1001_4^8 + 46376627283053140740065199283626526447619283/52410321361775003830\ 6012163413049354412565*c_1001_4^7 + 624886725948682533780934343239531238768258194/262051606808875019153\ 0060817065246772062825*c_1001_4^6 + 585021000523748576170800513307923436623445151/262051606808875019153\ 0060817065246772062825*c_1001_4^5 + 75023086974700317670242338323873656466759574/5241032136177500383060\ 12163413049354412565*c_1001_4^4 + 406627341365808334108512700976989\ 47519116428/374359438298392884504294402437892396008975*c_1001_4^3 + 37518381564936502382498480943570790501628534/5241032136177500383060\ 12163413049354412565*c_1001_4^2 + 699377430868911255626110139567610\ 23741261072/2620516068088750191530060817065246772062825*c_1001_4 + 1267482355878573440080378610354091515562289/37435943829839288450429\ 4402437892396008975, c_0101_5 + 168122990388801809052074394276388054610192/26205160680887501\ 91530060817065246772062825*c_1001_4^22 + 1265660128510694121655665801742008022685624/26205160680887501915300\ 60817065246772062825*c_1001_4^21 + 393697244060769401992334829532678200733212/374359438298392884504294\ 402437892396008975*c_1001_4^20 - 4584591405185699836747704913241961\ 92692062/524103213617750038306012163413049354412565*c_1001_4^19 - 17633325200294235606914867371371465153247062/2620516068088750191530\ 060817065246772062825*c_1001_4^18 - 2823473914406476082727448080987750417147854/37435943829839288450429\ 4402437892396008975*c_1001_4^17 + 790271942389684316921021232804325\ 2892875289/2620516068088750191530060817065246772062825*c_1001_4^16 + 22272596687547019650011015796200531956695854/2620516068088750191530\ 060817065246772062825*c_1001_4^15 + 26620024414226377078142300609295084549233949/2620516068088750191530\ 060817065246772062825*c_1001_4^14 + 97936719851820658154323893011959317472117263/2620516068088750191530\ 060817065246772062825*c_1001_4^13 + 132951978972915651807232731358726966166903243/262051606808875019153\ 0060817065246772062825*c_1001_4^12 - 3513553825889617305923002201690945656192661/37435943829839288450429\ 4402437892396008975*c_1001_4^11 - 203263658195341188185367695793591\ 275666074914/2620516068088750191530060817065246772062825*c_1001_4^1\ 0 - 8243235101172918236565390863244475014831262/1048206427235500076\ 61202432682609870882513*c_1001_4^9 - 87371805724833429904025422006981350969483646/2620516068088750191530\ 060817065246772062825*c_1001_4^8 + 18167044915559385221978581517845857387821902/5241032136177500383060\ 12163413049354412565*c_1001_4^7 + 238832468775564244491990677488535\ 154879688351/2620516068088750191530060817065246772062825*c_1001_4^6 + 232938550129370485364743535432016276498727429/2620516068088750191\ 530060817065246772062825*c_1001_4^5 + 28929701682695627693892607196718677616532781/5241032136177500383060\ 12163413049354412565*c_1001_4^4 + 148253009320721389768815230200134\ 51602379212/374359438298392884504294402437892396008975*c_1001_4^3 + 14482993496846330438210818978552256628580886/5241032136177500383060\ 12163413049354412565*c_1001_4^2 + 260216315134334773430168519625730\ 37826308763/2620516068088750191530060817065246772062825*c_1001_4 + 224160807225295319482153206143201629019431/374359438298392884504294\ 402437892396008975, c_0101_8 - 346461859252384651923126937302998924010696/26205160680887501\ 91530060817065246772062825*c_1001_4^22 - 2728423409497125681739319725050667612227212/26205160680887501915300\ 60817065246772062825*c_1001_4^21 - 929395143643508877651433189515714217274806/374359438298392884504294\ 402437892396008975*c_1001_4^20 + 6602712866407096617352971510226824\ 62130631/524103213617750038306012163413049354412565*c_1001_4^19 + 38916474994494433173853819560754721328624331/2620516068088750191530\ 060817065246772062825*c_1001_4^18 + 7355252804483946051588393711178232578682202/37435943829839288450429\ 4402437892396008975*c_1001_4^17 - 962879403041561732949546676650666\ 3919167332/2620516068088750191530060817065246772062825*c_1001_4^16 - 55461082948527346684088698552138932948946327/2620516068088750191530\ 060817065246772062825*c_1001_4^15 - 62195636574683575864340179296744767372097912/2620516068088750191530\ 060817065246772062825*c_1001_4^14 - 215299305925227785849439012841744483123190494/262051606808875019153\ 0060817065246772062825*c_1001_4^13 - 337808040787480019411350361669947226843209409/262051606808875019153\ 0060817065246772062825*c_1001_4^12 - 267053075309485431579958052807463478214907/374359438298392884504294\ 402437892396008975*c_1001_4^11 + 4699367108337004655627450276408842\ 43256855632/2620516068088750191530060817065246772062825*c_1001_4^10 + 20858039160220800574173955614946085452538789/10482064272355000766\ 1202432682609870882513*c_1001_4^9 + 256274739539552505979292239407619308978125673/262051606808875019153\ 0060817065246772062825*c_1001_4^8 - 31866668943219415380179432679089479448425726/5241032136177500383060\ 12163413049354412565*c_1001_4^7 - 562914623644764012588392173452445\ 664322668138/2620516068088750191530060817065246772062825*c_1001_4^6 - 593952282444042971599347953330993723183382402/2620516068088750191\ 530060817065246772062825*c_1001_4^5 - 76206407332274066063253162952634357140753293/5241032136177500383060\ 12163413049354412565*c_1001_4^4 - 399894129905582698835831609595126\ 21750683756/374359438298392884504294402437892396008975*c_1001_4^3 - 40501706909789651744554798009708409757122973/5241032136177500383060\ 12163413049354412565*c_1001_4^2 - 813468079601732274653120380325034\ 20070784894/2620516068088750191530060817065246772062825*c_1001_4 - 2036525881514519811318215260722730825391828/37435943829839288450429\ 4402437892396008975, c_0110_11 - 81831945564266550530223783540253076230488/26205160680887501\ 91530060817065246772062825*c_1001_4^22 - 476151933602029004409160545674328902476036/262051606808875019153006\ 0817065246772062825*c_1001_4^21 - 525378700565254599745026956542956\ 60357818/374359438298392884504294402437892396008975*c_1001_4^20 + 579514017283066287469678076331525174774433/524103213617750038306012\ 163413049354412565*c_1001_4^19 + 5871587444211189488966345963531752\ 582421243/2620516068088750191530060817065246772062825*c_1001_4^18 - 489184405991680697001199706781584416038269/374359438298392884504294\ 402437892396008975*c_1001_4^17 - 1399697386768336558790725539538855\ 6707423996/2620516068088750191530060817065246772062825*c_1001_4^16 - 106586131212368966415917246447760823842606/262051606808875019153006\ 0817065246772062825*c_1001_4^15 + 559789369453131750421739661049697\ 706409214/2620516068088750191530060817065246772062825*c_1001_4^14 - 31641677544479030618748990221872003592556632/2620516068088750191530\ 060817065246772062825*c_1001_4^13 + 6716081244623788576768562182025805570792673/26205160680887501915300\ 60817065246772062825*c_1001_4^12 + 12582633529074146269409820867782379630067804/3743594382983928845042\ 94402437892396008975*c_1001_4^11 + 45923633944225633794809937338562068959352046/2620516068088750191530\ 060817065246772062825*c_1001_4^10 - 1694360182689168002910113503631285034103746/10482064272355000766120\ 2432682609870882513*c_1001_4^9 - 5975202121813370185296871068578170\ 6235791856/2620516068088750191530060817065246772062825*c_1001_4^8 - 13627204776780622475660988215096361401060853/5241032136177500383060\ 12163413049354412565*c_1001_4^7 - 327157710064631106684358419984097\ 87869840739/2620516068088750191530060817065246772062825*c_1001_4^6 + 44193077324214708528814988227958071999942594/2620516068088750191530\ 060817065246772062825*c_1001_4^5 + 8894803135854840678949040053480630494205186/52410321361775003830601\ 2163413049354412565*c_1001_4^4 + 1973024229564932184106294087955719\ 075712857/374359438298392884504294402437892396008975*c_1001_4^3 + 4883277739725400224521841337634331893862966/52410321361775003830601\ 2163413049354412565*c_1001_4^2 + 2170242497623457692196857876940087\ 3902239943/2620516068088750191530060817065246772062825*c_1001_4 + 777651170174434572343300711558271397412366/374359438298392884504294\ 402437892396008975, c_1001_11 - 187648808372709243694604258635579477262192/2620516068088750\ 191530060817065246772062825*c_1001_4^22 - 1323403047218045572344915747365128062600024/26205160680887501915300\ 60817065246772062825*c_1001_4^21 - 362321752251250430432599333603046621816212/374359438298392884504294\ 402437892396008975*c_1001_4^20 + 6409753186841630286351645115734054\ 68439482/524103213617750038306012163413049354412565*c_1001_4^19 + 17361905140313026391290317377979903468768162/2620516068088750191530\ 060817065246772062825*c_1001_4^18 + 2264424769525925002767321514266667197220479/37435943829839288450429\ 4402437892396008975*c_1001_4^17 - 956049799399492107741149142838435\ 7369076914/2620516068088750191530060817065246772062825*c_1001_4^16 - 17300655936604571286029467750943257446521054/2620516068088750191530\ 060817065246772062825*c_1001_4^15 - 28561540554086315449869420009404313724737199/2620516068088750191530\ 060817065246772062825*c_1001_4^14 - 100510449052288282748438852786807442861478313/262051606808875019153\ 0060817065246772062825*c_1001_4^13 - 109226560463096937976944715011777299130615518/262051606808875019153\ 0060817065246772062825*c_1001_4^12 + 5793185129497655106878882652522387712146236/37435943829839288450429\ 4402437892396008975*c_1001_4^11 + 178677806661468771759798834972825\ 334664475439/2620516068088750191530060817065246772062825*c_1001_4^1\ 0 + 7454658403613213760419016498208325041106095/1048206427235500076\ 61202432682609870882513*c_1001_4^9 + 75716188094598334713307079024093287690273996/2620516068088750191530\ 060817065246772062825*c_1001_4^8 - 20863010628095206800687365549978939051819092/5241032136177500383060\ 12163413049354412565*c_1001_4^7 - 214842297323074982170250899559558\ 527456917126/2620516068088750191530060817065246772062825*c_1001_4^6 - 201684982062526679772582994329016159072737529/2620516068088750191\ 530060817065246772062825*c_1001_4^5 - 27822422122394117590683226811334581312094326/5241032136177500383060\ 12163413049354412565*c_1001_4^4 - 134968758920756908660625742902457\ 89630861812/374359438298392884504294402437892396008975*c_1001_4^3 - 12476352683957728330566655822707606994912571/5241032136177500383060\ 12163413049354412565*c_1001_4^2 - 264790400122478470796950774306473\ 23565899588/2620516068088750191530060817065246772062825*c_1001_4 - 136522452785827601792417787465291022907981/374359438298392884504294\ 402437892396008975, c_1001_4^23 + 17/2*c_1001_4^22 + 95/4*c_1001_4^21 + 19/8*c_1001_4^20 - 237/2*c_1001_4^19 - 1759/8*c_1001_4^18 - 517/8*c_1001_4^17 + 1435/8*c_1001_4^16 + 2205/8*c_1001_4^15 + 5861/8*c_1001_4^14 + 2755/2*c_1001_4^13 + 4895/8*c_1001_4^12 - 5469/4*c_1001_4^11 - 2333*c_1001_4^10 - 6727/4*c_1001_4^9 - 231/8*c_1001_4^8 + 1923*c_1001_4^7 + 10911/4*c_1001_4^6 + 17349/8*c_1001_4^5 + 3049/2*c_1001_4^4 + 8779/8*c_1001_4^3 + 2371/4*c_1001_4^2 + 1571/8*c_1001_4 + 217/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.400 Total time: 8.599 seconds, Total memory usage: 96.16MB