Magma V2.19-8 Tue Aug 20 2013 23:55:32 on localhost [Seed = 3734550170] Type ? for help. Type -D to quit. Loading file "L14a8289__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a8289 geometric_solution 9.52061045 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 1 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 0 0 0 0 -1 1 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656998196367 0.662218329521 0 4 0 5 0132 0132 3012 0132 1 1 1 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 -1 0 1 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.244985648769 0.761013264878 3 6 7 0 3120 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.407644416016 0.392173870377 5 8 0 2 0132 0132 0132 3120 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725862427553 1.133887921714 7 1 9 9 2031 0132 0132 2031 1 1 0 1 0 0 -1 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 0 0 -2 2 -2 0 0 2 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415260983249 0.357429138785 3 9 1 8 0132 1230 0132 1023 1 1 0 1 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.861691995030 1.951660783637 10 2 8 10 0132 0132 0321 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508095238417 0.633961140951 9 8 4 2 0213 3012 1302 0132 1 1 1 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -1 -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.660246632018 1.118442403663 7 3 6 5 1230 0132 0321 1023 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407116338083 0.335418766651 7 4 5 4 0213 1302 3012 0132 1 1 1 0 0 -1 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 0 0 0 0 0 -2 0 2 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.201445363012 0.833218379974 6 6 11 11 0132 2310 2310 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 0 0 0 0 0 0 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.172614540071 1.064568731154 11 10 10 11 3201 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.626292484087 0.145193240140 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_11'], 'c_1001_9' : d['c_0011_3'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(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_1001_4']), 'c_1100_8' : d['c_1001_0'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_1001_4']), 'c_1100_7' : negation(d['c_0101_2']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_2']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_0011_7'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], '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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_10'], 'c_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : d['c_0101_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_2']), 'c_0101_3' : d['c_0101_1'], '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_0011_7'], 'c_0101_8' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 179464682054241048898543017370276878707249740267801/473281235434396\ 5097391779324909888123158255406225*c_1001_4^17 + 513584187228013251477801352097341987578055225838984/473281235434396\ 5097391779324909888123158255406225*c_1001_4^16 + 1543075670262506923936828902537058355385230036967988/47328123543439\ 65097391779324909888123158255406225*c_1001_4^15 + 15576075321725260552740744597853637503017057365945566/4732812354343\ 965097391779324909888123158255406225*c_1001_4^14 + 20807674651399095112010933201397150926018495429042874/4732812354343\ 965097391779324909888123158255406225*c_1001_4^13 + 53639113135626631792693342091253565022740439301928421/9465624708687\ 93019478355864981977624631651081245*c_1001_4^12 + 167535509132730812806326093484581194441983301127446196/473281235434\ 3965097391779324909888123158255406225*c_1001_4^11 + 2099645501030560896270026686062752413314390466954134264/47328123543\ 43965097391779324909888123158255406225*c_1001_4^10 + 1066573865954391129633587046156864685164625202395564278/47328123543\ 43965097391779324909888123158255406225*c_1001_4^9 + 1578610911041289825485073841200849852032276669896334264/94656247086\ 8793019478355864981977624631651081245*c_1001_4^8 + 100246808073068728788920223773169391936050666664380273/430255668576\ 724099762889029537262556650750491475*c_1001_4^7 + 2457404854143479715574306819530152118263773813309079196/47328123543\ 43965097391779324909888123158255406225*c_1001_4^6 - 79972150619667994070183165064036760075623440015501/7822830337758619\ 995688891446132046484559099845*c_1001_4^5 + 495762543720052142002065395704218551271782244306424454/473281235434\ 3965097391779324909888123158255406225*c_1001_4^4 - 20520030341994397149351150726357484636179413998810532/4732812354343\ 965097391779324909888123158255406225*c_1001_4^3 + 28588594685383189913770215781867152926696291290716997/4732812354343\ 965097391779324909888123158255406225*c_1001_4^2 - 6740453362383551343194145485144001726437023147533204/47328123543439\ 65097391779324909888123158255406225*c_1001_4 + 1202972800982938174228505864141285340684336814435504/47328123543439\ 65097391779324909888123158255406225, c_0011_0 - 1, c_0011_10 + 714109264023263869161214812116775548/1525513653053762336499\ 78235625593802497*c_1001_4^17 + 12958865720805928456251597263821654\ 88/152551365305376233649978235625593802497*c_1001_4^16 + 3805629196032083902322072792444294176/15255136530537623364997823562\ 5593802497*c_1001_4^15 + 55046725704644363014763033613216490284/152\ 551365305376233649978235625593802497*c_1001_4^14 + 16403715067099567593055000847318511520/1525513653053762336499782356\ 25593802497*c_1001_4^13 + 964117624044988236256136541852037791716/1\ 52551365305376233649978235625593802497*c_1001_4^12 - 468492210100311276109083234677975259632/152551365305376233649978235\ 625593802497*c_1001_4^11 + 7373960460882535619826796209184153055060\ /152551365305376233649978235625593802497*c_1001_4^10 - 4602971735003853103454939380721621241324/15255136530537623364997823\ 5625593802497*c_1001_4^9 + 2476857320888304760089795294073699864101\ 6/152551365305376233649978235625593802497*c_1001_4^8 - 29011843715505404845126188680225854761872/1525513653053762336499782\ 35625593802497*c_1001_4^7 - 282479690939214325367904583064694664530\ 8/152551365305376233649978235625593802497*c_1001_4^6 - 835818760606013252332367198394944659344/138683059368523848772707486\ 93235800227*c_1001_4^5 + 578699159319960950865891468033213878743/15\ 2551365305376233649978235625593802497*c_1001_4^4 - 1545782738714910684075043839123425095840/15255136530537623364997823\ 5625593802497*c_1001_4^3 - 943302033076248927388003347727809297277/\ 152551365305376233649978235625593802497*c_1001_4^2 - 47219479190885659780738426965614169412/1525513653053762336499782356\ 25593802497*c_1001_4 + 122829075455472083716921340689165932675/1525\ 51365305376233649978235625593802497, c_0011_11 + 5489557317385095384392853872606903680/152551365305376233649\ 978235625593802497*c_1001_4^17 + 1997515676808679495294675444240474\ 3360/152551365305376233649978235625593802497*c_1001_4^16 + 58685671472456869879175918215896401153/1525513653053762336499782356\ 25593802497*c_1001_4^15 + 511253566105000444735022194670539062784/1\ 52551365305376233649978235625593802497*c_1001_4^14 + 1001200764923020227367733702272348208086/15255136530537623364997823\ 5625593802497*c_1001_4^13 + 863766591326338020649301317776273248576\ 0/152551365305376233649978235625593802497*c_1001_4^12 + 11433218824468004779805906765790451956848/1525513653053762336499782\ 35625593802497*c_1001_4^11 + 67165287375044956061852210635217579436\ 160/152551365305376233649978235625593802497*c_1001_4^10 + 82151989333282254092199129761768695075240/1525513653053762336499782\ 35625593802497*c_1001_4^9 + 258769815925846499038254516417239432645\ 184/152551365305376233649978235625593802497*c_1001_4^8 + 219263818097663073236585637509484555384434/152551365305376233649978\ 235625593802497*c_1001_4^7 + 72695449473646200288862990352721506646\ 784/152551365305376233649978235625593802497*c_1001_4^6 + 5496645433414308926779218348050977313948/13868305936852384877270748\ 693235800227*c_1001_4^5 + 12134155934576321836776791473610954301952\ /152551365305376233649978235625593802497*c_1001_4^4 + 9355647736938790202953020180000754918696/15255136530537623364997823\ 5625593802497*c_1001_4^3 + 290608511999382199937790670448109902080/\ 152551365305376233649978235625593802497*c_1001_4^2 + 234008436824219139573375495789476188160/152551365305376233649978235\ 625593802497*c_1001_4 + 4260374322272064582221991837064900800/15255\ 1365305376233649978235625593802497, c_0011_3 + 821392951598536381189938885844748892/15255136530537623364997\ 8235625593802497*c_1001_4^17 + 153523404118674568126808378889518323\ 2/152551365305376233649978235625593802497*c_1001_4^16 + 4498418435984964531775527292957576352/15255136530537623364997823562\ 5593802497*c_1001_4^15 + 63682728949085277548356102074073313756/152\ 551365305376233649978235625593802497*c_1001_4^14 + 22698364967079791480306230447376992928/1525513653053762336499782356\ 25593802497*c_1001_4^13 + 1113583810479013034269782780864758631508/\ 152551365305376233649978235625593802497*c_1001_4^12 - 472720905489042904487449325364824859520/152551365305376233649978235\ 625593802497*c_1001_4^11 + 8514257542261735672026573088500245154100\ /152551365305376233649978235625593802497*c_1001_4^10 - 4775496757463672169122900181303479086636/15255136530537623364997823\ 5625593802497*c_1001_4^9 + 2869017111330282958029929441800963271960\ 8/152551365305376233649978235625593802497*c_1001_4^8 - 31426561753380324161890885810502341690640/1525513653053762336499782\ 35625593802497*c_1001_4^7 - 315221236367435442656911250346031379066\ 8/152551365305376233649978235625593802497*c_1001_4^6 - 902469668248132786677285857180936704656/138683059368523848772707486\ 93235800227*c_1001_4^5 + 1035163324178605398928131352390858858952/1\ 52551365305376233649978235625593802497*c_1001_4^4 - 1657980089934234478299163670638837127616/15255136530537623364997823\ 5625593802497*c_1001_4^3 - 594865495997490339463799370458990814457/\ 152551365305376233649978235625593802497*c_1001_4^2 - 49184920680113713786453686685686610852/1525513653053762336499782356\ 25593802497*c_1001_4 - 183202599968889247045336863430660735763/1525\ 51365305376233649978235625593802497, c_0011_7 - 2356895167220336631541092583806273332/1525513653053762336499\ 78235625593802497*c_1001_4^17 - 43663546544540842081613273041725319\ 52/152551365305376233649978235625593802497*c_1001_4^16 - 12802466068002012965873127378359446880/1525513653053762336499782356\ 25593802497*c_1001_4^15 - 182412183602814918111475237761363117796/1\ 52551365305376233649978235625593802497*c_1001_4^14 - 61800445001259150553667461742072497376/1525513653053762336499782356\ 25593802497*c_1001_4^13 - 3191285245003014304795702103581555054732/\ 152551365305376233649978235625593802497*c_1001_4^12 + 1413934021078397085083981885407624978672/15255136530537623364997823\ 5625593802497*c_1001_4^11 - 244024755454060069638799423861846433632\ 60/152551365305376233649978235625593802497*c_1001_4^10 + 14153965249931197441700739743328579414596/1525513653053762336499782\ 35625593802497*c_1001_4^9 - 821489154354887067614965417767562640802\ 32/152551365305376233649978235625593802497*c_1001_4^8 + 91864967222266053168907960301230538143152/1525513653053762336499782\ 35625593802497*c_1001_4^7 + 912922163674085210681727083756757422664\ 4/152551365305376233649978235625593802497*c_1001_4^6 + 2640758097102278825686938912756818068656/13868305936852384877270748\ 693235800227*c_1001_4^5 - 2649025807677171748722154172814931596647/\ 152551365305376233649978235625593802497*c_1001_4^4 + 4861742918583379640673371180401099351072/15255136530537623364997823\ 5625593802497*c_1001_4^3 + 2133033025071229606315602088645790926191\ /152551365305376233649978235625593802497*c_1001_4^2 + 145589320551113087353645800336987391116/152551365305376233649978235\ 625593802497*c_1001_4 + 243576124482306410373752386172155538851/152\ 551365305376233649978235625593802497, c_0101_0 - 1, c_0101_1 - 30651234663513013395358627805066933266/152551365305376233649\ 978235625593802497*c_1001_4^17 - 9277509694213757656726582230104554\ 8690/152551365305376233649978235625593802497*c_1001_4^16 - 277396346012803866239495734034497582626/152551365305376233649978235\ 625593802497*c_1001_4^15 - 2701807068825130143323334774138847703760\ /152551365305376233649978235625593802497*c_1001_4^14 - 3987040765878750992154260461122640771804/15255136530537623364997823\ 5625593802497*c_1001_4^13 - 463367139415352430318671928439035131578\ 54/152551365305376233649978235625593802497*c_1001_4^12 - 36086642561547361318373977106446129488014/1525513653053762336499782\ 35625593802497*c_1001_4^11 - 36237659504117800966976798663101753114\ 3388/152551365305376233649978235625593802497*c_1001_4^10 - 240513452710391734061496026945051863044454/152551365305376233649978\ 235625593802497*c_1001_4^9 - 13707599612370098299743862398266852850\ 91646/152551365305376233649978235625593802497*c_1001_4^8 - 405179286485233173115489319747646774025886/152551365305376233649978\ 235625593802497*c_1001_4^7 - 42306994583719063846448684728303014477\ 7608/152551365305376233649978235625593802497*c_1001_4^6 - 4573049171772030994085121308052401620476/13868305936852384877270748\ 693235800227*c_1001_4^5 - 76938432685666419308996206770569385124628\ /152551365305376233649978235625593802497*c_1001_4^4 - 10046626315251431337163567927080537239156/1525513653053762336499782\ 35625593802497*c_1001_4^3 - 336882239488189971853965128939213992800\ 8/152551365305376233649978235625593802497*c_1001_4^2 + 932029077296133486812744276314727080383/152551365305376233649978235\ 625593802497*c_1001_4 - 42768783310425326399622196729514188946/1525\ 51365305376233649978235625593802497, c_0101_10 - 3273440705469954427837110964046058132/152551365305376233649\ 978235625593802497*c_1001_4^17 - 6503417746155868671170726737255835\ 424/152551365305376233649978235625593802497*c_1001_4^16 - 18368463990968586596601588296454989536/1525513653053762336499782356\ 25593802497*c_1001_4^15 - 255296822357504846013781105390163005748/1\ 52551365305376233649978235625593802497*c_1001_4^14 - 118482558687767694456603746776459015136/152551365305376233649978235\ 625593802497*c_1001_4^13 - 4425961953280217771353249757849756210587\ /152551365305376233649978235625593802497*c_1001_4^12 + 1377253024393293791567445132726847979808/15255136530537623364997823\ 5625593802497*c_1001_4^11 - 333156207000550078307332592260190048515\ 95/152551365305376233649978235625593802497*c_1001_4^10 + 15013198029757536273982095796470475333060/1525513653053762336499782\ 35625593802497*c_1001_4^9 - 109021608970224920190749497511600341182\ 219/152551365305376233649978235625593802497*c_1001_4^8 + 111254647383779952594101119213208588286512/152551365305376233649978\ 235625593802497*c_1001_4^7 + 38320397704720354458892149240912634132\ 336/152551365305376233649978235625593802497*c_1001_4^6 + 3169291776295499862136854246067533509808/13868305936852384877270748\ 693235800227*c_1001_4^5 + 2561741591784617851665305652780415115518/\ 152551365305376233649978235625593802497*c_1001_4^4 + 5710612211873195364415612429259935365760/15255136530537623364997823\ 5625593802497*c_1001_4^3 + 997598939567242639553551708369838365027/\ 152551365305376233649978235625593802497*c_1001_4^2 + 157589723817704134576814660887616144364/152551365305376233649978235\ 625593802497*c_1001_4 - 55353608546998782347885708859832677427/1525\ 51365305376233649978235625593802497, c_0101_11 - 3234088275208115058027978984441443008/152551365305376233649\ 978235625593802497*c_1001_4^17 - 9989821459426056606763563049499021\ 408/152551365305376233649978235625593802497*c_1001_4^16 - 29712908812521264048634063735725832960/1525513653053762336499782356\ 25593802497*c_1001_4^15 - 286389711162193281416919449620835688192/1\ 52551365305376233649978235625593802497*c_1001_4^14 - 436893888664779595737016952908929708256/152551365305376233649978235\ 625593802497*c_1001_4^13 - 4900820907095844646914972692205588243008\ /152551365305376233649978235625593802497*c_1001_4^12 - 4089650154710926851118188848239142332896/15255136530537623364997823\ 5625593802497*c_1001_4^11 - 382243199324473960325067628071711648727\ 68/152551365305376233649978235625593802497*c_1001_4^10 - 27556548703611443077728380907233363739552/1525513653053762336499782\ 35625593802497*c_1001_4^9 - 144281309283037827744536141829352655242\ 528/152551365305376233649978235625593802497*c_1001_4^8 - 50488762785259501813652053094107221435777/1525513653053762336499782\ 35625593802497*c_1001_4^7 - 400512441749389352429609458149040408241\ 92/152551365305376233649978235625593802497*c_1001_4^6 - 591986901216651157994590497245978222142/138683059368523848772707486\ 93235800227*c_1001_4^5 - 6755615638251298071389671360258695969024/1\ 52551365305376233649978235625593802497*c_1001_4^4 - 4295125556957383444227532289349351991956/15255136530537623364997823\ 5625593802497*c_1001_4^3 - 155748909546981281070134192156190336128/\ 152551365305376233649978235625593802497*c_1001_4^2 - 125115141910942802498255548531215034368/152551365305376233649978235\ 625593802497*c_1001_4 - 2667122848308088330062728788036926560/15255\ 1365305376233649978235625593802497, c_0101_2 + 928944813608863462301732868639063444/15255136530537623364997\ 8235625593802497*c_1001_4^17 + 289411812840186289893392267964516367\ 6/152551365305376233649978235625593802497*c_1001_4^16 + 8599850791585923996358519880264588740/15255136530537623364997823562\ 5593802497*c_1001_4^15 + 82439932837532865312005946940750865248/152\ 551365305376233649978235625593802497*c_1001_4^14 + 127540939386375437708214875646656944304/152551365305376233649978235\ 625593802497*c_1001_4^13 + 1409930263262972915425169594113683345292\ /152551365305376233649978235625593802497*c_1001_4^12 + 1209392218761738008499923442129892229396/15255136530537623364997823\ 5625593802497*c_1001_4^11 + 109926200081129940383495476082623834501\ 84/152551365305376233649978235625593802497*c_1001_4^10 + 8171480375584687598361592962045163306676/15255136530537623364997823\ 5625593802497*c_1001_4^9 + 4151573137786514653204690514533339233107\ 6/152551365305376233649978235625593802497*c_1001_4^8 + 15331827049977451886853526302766250361244/1525513653053762336499782\ 35625593802497*c_1001_4^7 + 113596756583173081022453978459035458188\ 64/152551365305376233649978235625593802497*c_1001_4^6 + 117514936422876973214923222735741772816/138683059368523848772707486\ 93235800227*c_1001_4^5 + 1899469617704204174369005703077193301864/1\ 52551365305376233649978235625593802497*c_1001_4^4 + 729573940059650305978949347737529632745/152551365305376233649978235\ 625593802497*c_1001_4^3 + 40149598212529813593364358941394373040/15\ 2551365305376233649978235625593802497*c_1001_4^2 + 338218144129061089838884915713788784936/152551365305376233649978235\ 625593802497*c_1001_4 + 821392951598536381189938885844748892/152551\ 365305376233649978235625593802497, c_1001_0 - 821392951598536381189938885844748892/15255136530537623364997\ 8235625593802497*c_1001_4^17 - 153523404118674568126808378889518323\ 2/152551365305376233649978235625593802497*c_1001_4^16 - 4498418435984964531775527292957576352/15255136530537623364997823562\ 5593802497*c_1001_4^15 - 63682728949085277548356102074073313756/152\ 551365305376233649978235625593802497*c_1001_4^14 - 22698364967079791480306230447376992928/1525513653053762336499782356\ 25593802497*c_1001_4^13 - 1113583810479013034269782780864758631508/\ 152551365305376233649978235625593802497*c_1001_4^12 + 472720905489042904487449325364824859520/152551365305376233649978235\ 625593802497*c_1001_4^11 - 8514257542261735672026573088500245154100\ /152551365305376233649978235625593802497*c_1001_4^10 + 4775496757463672169122900181303479086636/15255136530537623364997823\ 5625593802497*c_1001_4^9 - 2869017111330282958029929441800963271960\ 8/152551365305376233649978235625593802497*c_1001_4^8 + 31426561753380324161890885810502341690640/1525513653053762336499782\ 35625593802497*c_1001_4^7 + 315221236367435442656911250346031379066\ 8/152551365305376233649978235625593802497*c_1001_4^6 + 902469668248132786677285857180936704656/138683059368523848772707486\ 93235800227*c_1001_4^5 - 1035163324178605398928131352390858858952/1\ 52551365305376233649978235625593802497*c_1001_4^4 + 1657980089934234478299163670638837127616/15255136530537623364997823\ 5625593802497*c_1001_4^3 + 594865495997490339463799370458990814457/\ 152551365305376233649978235625593802497*c_1001_4^2 + 49184920680113713786453686685686610852/1525513653053762336499782356\ 25593802497*c_1001_4 + 183202599968889247045336863430660735763/1525\ 51365305376233649978235625593802497, c_1001_4^18 + 3*c_1001_4^17 + 9*c_1001_4^16 + 88*c_1001_4^15 + 128*c_1001_4^14 + 1511*c_1001_4^13 + 1141*c_1001_4^12 + 11838*c_1001_4^11 + 7569*c_1001_4^10 + 44877*c_1001_4^9 + 12283*c_1001_4^8 + 14828*c_1001_4^7 + 1744*c_1001_4^6 + 2834*c_1001_4^5 + 294*c_1001_4^4 + 164*c_1001_4^3 - 11*c_1001_4^2 + 3*c_1001_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB