Magma V2.19-8 Tue Aug 20 2013 23:54:01 on localhost [Seed = 745162673] Type ? for help. Type -D to quit. Loading file "K12n456__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n456 geometric_solution 11.60149958 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.250102327678 0.422678146692 0 4 6 5 0132 2103 0132 0132 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 4 -4 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.842799057851 0.733032447381 7 0 7 8 0132 0132 3012 0132 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 -1 1 0 3 0 0 -3 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.447266441864 1.294785683639 5 9 8 0 1230 0132 3201 0132 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 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556509800849 1.588348717302 10 1 0 9 0132 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.003197779235 0.829595502570 11 3 1 12 0132 3012 0132 0132 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 -1 0 1 -1 0 4 -3 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.584310473290 0.252216835157 10 11 12 1 3120 0321 0213 0132 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 4 -4 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.771833702875 0.586220305642 2 2 10 12 0132 1230 3120 2103 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 -3 0 0 3 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.278878870735 0.653277449834 3 9 2 11 2310 0213 0132 3012 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.011664792592 1.061177793913 4 3 8 12 3120 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523252955779 0.549818258018 4 11 7 6 0132 3120 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597226529670 0.616364224711 5 10 8 6 0132 3120 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1.053706704408 0.757780156346 9 6 5 7 3120 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 3 -3 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.649971819207 0.385403857602 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0101_3']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : negation(d['c_1001_10']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0101_2']), 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0011_11']), '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_0101_11'], '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' : d['1'], 's_0_7' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_8']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0011_8']), 'c_1100_3' : negation(d['c_0011_8']), 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_11']), 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0011_12']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : negation(d['c_0101_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_2']), 's_1_7' : negation(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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0110_6' : d['c_0101_1'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_11'], 'c_0011_6' : d['c_0011_11'], 'c_0101_7' : d['c_0011_12'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_11']), 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0011_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : negation(d['c_0101_3']), 'c_0110_1' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_11']), 'c_0110_2' : d['c_0011_12'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : 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_3, c_0011_8, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 3187419038280253628087533060892349716611109064836967188066810810870\ 991712937971000/937113973510516587721327835320996423301469938277967\ 2867530695731313748423414362703517*c_1001_10^18 + 3130886782260396455676868768212628517398448954508072056244858912673\ 897038721561708/281134192053154976316398350596298926990440981483390\ 18602592087193941245270243088110551*c_1001_10^17 + 6855569122857120256291401351686977304680382532211773981126428459576\ 1894144277855178/28113419205315497631639835059629892699044098148339\ 018602592087193941245270243088110551*c_1001_10^16 - 1184601034762551285457386507248695686948078757557149243972446292825\ 54594096822312942/9371139735105165877213278353209964233014699382779\ 672867530695731313748423414362703517*c_1001_10^15 - 4795848972918332713357604074718564443087651175833482566315526303059\ 73513622618067240/2811341920531549763163983505962989269904409814833\ 9018602592087193941245270243088110551*c_1001_10^14 - 5496058522916690576795527437055194808328462288698769483625940782773\ 74767283530866830/4016202743616499661662833579947127528434871164048\ 431228941726741991606467177584015793*c_1001_10^13 - 1412773595043685793989027693696505029324079184802720336954140259108\ 69051911220607365/9694282484591550907462012089527549206566930395978\ 97193192830592894525698973899590019*c_1001_10^12 - 6509746085228776958242410670741560381786115770701353454427284467925\ 425312141197430019/281134192053154976316398350596298926990440981483\ 39018602592087193941245270243088110551*c_1001_10^11 - 8727294075459922613975382075087974927597151549627277335126378120280\ 09365073428730849/8032405487232999323325667159894255056869742328096\ 862457883453483983212934355168031586*c_1001_10^10 + 5219432584631811606535528705230929366378877897513159504624480710193\ 76671193997445724/3231427494863850302487337363175849735522310131992\ 99064397610197631508566324633196673*c_1001_10^9 + 9104566994363265478976231779587265184496310370666830920657679401835\ 0781853544976971/20824754966900368616029507451577698295588220850621\ 49526117932384736388538536525045226*c_1001_10^8 + 6626714604578555539827990918699824956932708836714186019514157787823\ 57061903857884588455/5622683841063099526327967011925978539808819629\ 6678037205184174387882490540486176221102*c_1001_10^7 + 1684319357429741442098052918058435070038831150676165527173865580829\ 3860510604511885163/40162027436164996616628335799471275284348711640\ 48431228941726741991606467177584015793*c_1001_10^6 + 1202903701325046631933282720674432805199327993962933501962584151203\ 099835346724777472242/281134192053154976316398350596298926990440981\ 48339018602592087193941245270243088110551*c_1001_10^5 + 9922337482824722039803323518457768811902043471779369844943761815738\ 12143414901945809939/5622683841063099526327967011925978539808819629\ 6678037205184174387882490540486176221102*c_1001_10^4 + 1057753835152932759331910525948246173775649009393638596611929190742\ 57165856846112964625/1938856496918310181492402417905509841313386079\ 195794386385661185789051397947799180038*c_1001_10^3 + 1936967505785624665577154352754340854606610516954654319635243429892\ 58543410032108042598/2811341920531549763163983505962989269904409814\ 8339018602592087193941245270243088110551*c_1001_10^2 - 5402543688568724693656903139196237219679207772321648872298157331279\ 69256265232632058763/5622683841063099526327967011925978539808819629\ 6678037205184174387882490540486176221102*c_1001_10 + 1459616032828270940745306693931852167861442668757093490124996248880\ 88843822269076207892/2811341920531549763163983505962989269904409814\ 8339018602592087193941245270243088110551, c_0011_0 - 1, c_0011_10 + 19926367708656152029206281476803579587990822305403671832814\ 15864696/1881857482866925811670443607803562180491543642078581341688\ 77651050524823*c_1001_10^18 - 4462875192907675718768523579947601807\ 22653563004444892289098815016/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^17 + 1907191307913971613997362770836836313678212928531146794320399087345\ 6/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 - 80577447436462162705706147377256461095864575\ 473433274451888170694644/188185748286692581167044360780356218049154\ 364207858134168877651050524823*c_1001_10^15 - 2979101146928985185280302042899802553509458736001106355360602052116\ 0/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^14 - 92913724675996508572920340918519305874013051\ 6508676298107905177555120/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^13 - 6875337245764202172573622018900657458283346817468902888828000571469\ 10/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^12 - 2624027098877191083569009055177421344966042\ 527628446592695743218461066/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^11 - 1977980705514139622308362822503672598857560996390909014309062417482\ 602/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 + 786177579940775848675193525342557030015892\ 8227974479402944496900818067/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^9 - 7478536207948270507502844047733531829632844004596131465747934160108\ 340/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^8 + 9008071421434406800181878337535721389621856\ 5640686231858099357150398829/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^7 - 1342638179118941801481164699923170226358477662977664967190544867113\ 6569/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 + 387171732214488312549069006235067723463368\ 970655684938588452415417560244/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^5 + 5415007412943263452842666208858710302932160157900202789129227540845\ 5448/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 + 740886487489430149715687753445084264869572\ 099891017881817246742923870043/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^3 + 2247798849408568956673665278604536972478866608254273239553253085582\ 37871/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 + 47277126476564995680848025230993092423337\ 8197723439595718943926639504182/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10 + 5158344439317694877296355630578064925196108782592037736187502855074\ 99854/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_0011_11 - 42196885966565569575033418951384899785417722881696177994916\ 08846788/1881857482866925811670443607803562180491543642078581341688\ 77651050524823*c_1001_10^18 + 7600271484096705943395678317921227512\ 62731719779923052012198866156/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^17 - 3070467900424220889033119904714259792659864735841978130722741822202\ 8/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 + 16604747667104575859103884037656189582615264\ 2170884885913577485930216/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^15 + 1206872586199429765772893955469363184748717257459888779613992697936\ 62/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^14 + 1603534696163321041718259997419050426460713\ 277286763649455291594199700/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^13 + 1203642056466411483815540673677508914615273566938482674997945886784\ 919/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^12 + 281546030457547836712358362220065549678891\ 2933875570507469027331008884/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^11 + 2305786454578023918008475919302647364960646743038602461706331937143\ 992/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 - 174518331627465110157323753669910137625025\ 01018768431698488601623944814/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^9 + 1119738371542823570895142423653228490207289300707442377127351138140\ 0513/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^8 - 151326488957999680707489208828707406439186\ 069748181639887876036639481044/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^7 - 2440306582922428651708590503128841202673642150016377244362018681510\ 498/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^6 - 5560827272719411226529051866426284527489679\ 12257154880910424160705780222/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^5 - 1063339494778158134082765074521715301071552979189051086377855737877\ 27612/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^4 - 85377466898756092963583795271275696705727\ 9577995730213101893001124863186/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10^3 - 2861797178817793109707070851580142873662838670225507918611736277108\ 18529/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 - 43664659242047123842190767094126983890830\ 9987361891315972220216117040341/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10 - 5298208846644998478858469849371401912675156513682244135764636148854\ 26509/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_0011_12 - 70197934969353462921224455558394561665869539018412640083085\ 6947336/18818574828669258116704436078035621804915436420785813416887\ 7651050524823*c_1001_10^18 + 88412483138196673861912189960370353365\ 9167783633401573697160414688/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^17 - 6276356222726945016748393232207636628254807819173653758873169617944\ /188185748286692581167044360780356218049154364207858134168877651050\ 524823*c_1001_10^16 + 333166028828578889928170150540903884725589464\ 58669908910154098597064/1881857482866925811670443607803562180491543\ 64207858134168877651050524823*c_1001_10^15 - 1471433183205054839754870436970851447341007349409966861023999062985\ 6/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^14 + 27972756152167949901396936235766523138392953\ 8893096729190353806914616/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^13 - 3955948964462373082907763770678927785572612901623819896045687553047\ 0/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^12 + 53363271624583592387585490165066837084274634\ 8579542443844809552966710/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^11 + 2748717372976980531812374539098597927986498221503065210420696715524\ 84/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^10 - 3233845355088036141273288629246877272745140\ 273465269859009304065661750/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^9 + 5710928369844331756665616938842586698019452074176302385408366502024\ 769/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^8 - 3130172143434176719001524383227042735427873\ 6794494854585871028610153024/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^7 + 2526767100885576911692977162272382980325966812529145781953730032575\ 5967/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 - 114230153088431851917543041199268105195223\ 230570075478598507226810858673/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^5 + 6093367615023750102354910323523049299666450543161820337472874006390\ 1932/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 - 171508190475190064334587266137917143239429\ 071612834772284885076682558592/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^3 + 3947675622550810127478154271425657649057477156331888246184256545007\ 9733/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^2 - 783807319353867387206909168810676929462071\ 8425822249608457387464647618/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10 + 3280675934349102721979975187072684171615109207406348029996582453233\ 4259/18818574828669258116704436078035621804915436420785813416887765\ 1050524823, c_0011_3 + 921316839601679832844877266810394170165033434068245632276874\ 572132/188185748286692581167044360780356218049154364207858134168877\ 651050524823*c_1001_10^18 + 484780791374358392256412624552469563064\ 931832441863632503632230292/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^17 + 7235034667682118903571463910119621006099937869006889917427186680248\ /188185748286692581167044360780356218049154364207858134168877651050\ 524823*c_1001_10^16 - 328572028286762109661287089813649571430896519\ 05440611506099711887268/1881857482866925811670443607803562180491543\ 64207858134168877651050524823*c_1001_10^15 - 4481016787639954016290690605845600877798200595923557037316341774661\ 4/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^14 - 40595138392002151036977674320901405748290407\ 4086068650202504849768808/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^13 - 4730807299397312858399316298220639167009298452697855625949623423807\ 13/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^12 - 1080550700340392613785137321956522391273069\ 991276583900870898908526852/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^11 - 7054073757364858637029797695578447081528199954621426581037316714993\ 67/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^10 + 3061920399044847574897921483712586888657549\ 222775126156687578878007544/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^9 + 2614909050005232285103897878243680094206322568038189503892878661225\ 52/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^8 + 35794974127360298799308207373557722046048480\ 281833175270574321890525368/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^7 + 1305973309443046637017549178935543196208844455953753997606692493240\ 9754/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 + 151571006647963163094037100621795576662448\ 913705761383019875134516976429/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^5 + 5713027275388337457551806802164961021101204397329412225208553088360\ 1539/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 + 306008937200310789962666292782526727967534\ 461699341715647369813156718437/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^3 + 7894988531418297410345666539613276390698187411471610062611656654061\ 8924/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^2 + 268310802858201327196615703269111583614437\ 339866927509730068808206743564/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10 + 2050811849139363056943752732997500117513005553963125152612425677886\ 17182/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_0011_8 - 359359546987299823336078162389145397635670199661358046729416\ 593968/188185748286692581167044360780356218049154364207858134168877\ 651050524823*c_1001_10^18 + 336978746866231516210329888353834646161\ 161711930741534209758231264/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^17 - 4306945403410257377460282841494611263679352595728939121024875572028\ /188185748286692581167044360780356218049154364207858134168877651050\ 524823*c_1001_10^16 + 157219431106452967142786502050556259045676781\ 62469990846380653826416/1881857482866925811670443607803562180491543\ 64207858134168877651050524823*c_1001_10^15 - 8128752505248859061427108863131754280507838997262407011631775553876\ /188185748286692581167044360780356218049154364207858134168877651050\ 524823*c_1001_10^14 + 177518087700341597899209742235680853058973224\ 278697023178258890034252/188185748286692581167044360780356218049154\ 364207858134168877651050524823*c_1001_10^13 + 1093135521527604013594207500043454371724298626225121892412395540241\ 18/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^12 + 5995476533004670140726890040262408281218067\ 93722597450124543696727730/1881857482866925811670443607803562180491\ 54364207858134168877651050524823*c_1001_10^11 + 1007104124269101963513659787929784059536160798775241366051489881962\ 007/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 - 156165800230780754246333671384213538018812\ 3942275159603031295034660947/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^9 + 4485219866428774776162850150133103876648259802540251309726344984486\ 667/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^8 - 2078097403139989356714640362252442840367573\ 2579232396251623759929719683/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^7 + 5373626932874069903951187915795310580316601423018181569116992523260\ 105/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^6 - 7828212774020546475811151139800232797102852\ 2128772676948148575197117221/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^5 - 5022846522267859011346091537943170773696516235955960656819189436625\ 4150/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 - 103801481461671643825309894677919544661848\ 431345043877581123696188654481/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^3 - 2735400023717556578850490520654464200980719296935667015171543119153\ 91363/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 + 37259735490747716874337872553944154212060\ 273017388648933115671833060867/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10 - 3063493069709545009333014232339725646428917935431209335575767715409\ 29244/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_0101_1 + 743412830975689651486318580860353319978552431784150511801757\ 7651488/18818574828669258116704436078035621804915436420785813416887\ 7651050524823*c_1001_10^18 - 14924614960473673469201763064417770110\ 69617252191366267002289028528/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^17 + 5834596682733449500506611313132426259969014328191210666620278408384\ 8/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 - 30190982040137616024759037579770219755309346\ 8650781572046157778805380/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^15 - 1757251473284347286734784530256846104176706227426527092435834504739\ 32/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^14 - 3010841401910127080819430428359127792222557\ 449987111165733694910192920/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^13 - 1926803933157794101320362296716106406841787784175356336432613183536\ 172/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^12 - 609456014961541802905170912874901102372138\ 5296104934029643458649940246/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^11 - 3479529959920842394496651752667826992985683557962446389314126613296\ 522/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 + 301044211314031921456967309545747714705450\ 51113563057716905175781645815/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^9 - 2495632214532746689515844440883240755574808582915959458315872588539\ 1472/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^8 + 286369701963226413934262335738325332769537\ 129925232859130259350243487625/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^7 - 3754752208386160825034882475169631089950126699260072901093243702551\ 1503/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 + 112736217044827732294536744335901648964514\ 5662210034812882448382052218352/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10^5 + 3836886853585533187383742159814126865032886096331488919317653038223\ 2808/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 + 188868944877861603578154049987522785629267\ 1828472598921229306728328988947/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10^3 + 2915042088332681192047436585780073908042594685623141694588161128875\ 99293/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 + 11390006672946527795281797525404015641180\ 99865114751338853654035281531165/1881857482866925811670443607803562\ 18049154364207858134168877651050524823*c_1001_10 + 1206429047785297532176198889418851130726058782820994177693051131597\ 555371/188185748286692581167044360780356218049154364207858134168877\ 651050524823, c_0101_10 + 56901579482306784997493539759861135244878470335260474753916\ 99708616/1881857482866925811670443607803562180491543642078581341688\ 77651050524823*c_1001_10^18 - 1010459470152807174665612615349830402\ 188898685178707930301535428728/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^17 + 4117684769240114735160361808639725428783978596119938023110850321064\ 4/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 - 22504239426670994033593717959006345929823172\ 5568868768409655141592004/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^15 - 1582022344457093574583238124940718192099353216404791589480395256785\ 12/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^14 - 2160311209715406248417538536176088120115453\ 640612732847275607164167856/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^13 - 1553431514674683094116603314632739264579037522378841941170248206720\ 532/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^12 - 388582626481579825312601475503292409950186\ 9392287232036402305484326824/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^11 - 3017032903078863207999957987680987388340853322343735658057595842979\ 389/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 + 223562289325109988269147412223617021110858\ 26748455025364306281576055196/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^9 - 1644519594751858164646142801987520720740425442353868374681128831665\ 9922/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^8 + 204099343778450373226052540284810455605669\ 288055003518787675864771205624/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^7 + 1440230461248288652549888365797231837731778522733771938656405926391\ 282/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^6 + 7590801485821623215769152901628936193460094\ 39930065348067007725332427502/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^5 + 1237784467650392658051211184022669887715927685860145975183525101543\ 24257/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^4 + 12168572040616504513548377745006776091645\ 05270834503219520687167051463213/1881857482866925811670443607803562\ 18049154364207858134168877651050524823*c_1001_10^3 + 3526964933169334379712794975246323539301261033642563547677399002372\ 04082/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 + 74929801505390101692849755261170917941039\ 8006912734093955608152454288816/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10 + 8208570770767099098465879378617380063693225238221143783556548829626\ 65221/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_0101_11 + 17650713105986604369034092006088419046138903150862976784732\ 55100300/1881857482866925811670443607803562180491543642078581341688\ 77651050524823*c_1001_10^18 - 1070274134302204708770173316697110773\ 004340474982319004935117717500/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^17 + 1384439983955555028859409809342923323549289306471248995850530432970\ 8/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 - 73229706904594936077384851651137854823867143\ 920512949659187048472524/188185748286692581167044360780356218049154\ 364207858134168877651050524823*c_1001_10^15 - 1917115730981234007246341275451549183932772449911213042681237756647\ 8/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^14 - 67155478254576867045111900871067271485221730\ 0667692125327276049165472/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^13 - 3205271309593455605591410688282951864754955292288283027634231986913\ 81/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^12 - 1209497170142450337129078718961521438460817\ 869865638915026117111781516/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^11 - 1103869035339270473534843819070260980339349022715460883689531459988\ 616/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 + 734967204925893642543977432170792865686691\ 7871266248838456559620791849/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^9 - 8240740100421370561935061261487403610980797103246499327434689895169\ 967/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^8 + 6604811695597836869341018330431349600236237\ 5319360691432392670582583569/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^7 - 2002686135096832372793231754808638845632544156137334309133469826659\ 1191/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 + 251705699146492294579666019894170518244525\ 710212815569279402720064350868/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^5 + 1193083644831665542522236515655036752086621056408966331864778857381\ 4018/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 + 377967975411259569944587808726151245057126\ 383616769264958841076724759730/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^3 + 1344238684555700554906435523304051883938943287506285313429465921132\ 78149/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 + 23855417039166617079016509669927549970058\ 1371914683458062995625620151426/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10 + 4163922943914962228013425036142963471824785816435651672261126002273\ 34376/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_0101_2 - 400853833138521562057043988960884922824811346504560076734046\ 2959412/18818574828669258116704436078035621804915436420785813416887\ 7651050524823*c_1001_10^18 + 19377263137248190504703856155522303127\ 59682781204420793632085056720/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^17 - 2946563149551555147512381865102714531742916208827368466735260142481\ 2/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 + 16575183047053136561198607640837869679964980\ 6619259651945341814208796/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^15 + 6319268241670988779230569728787649856122023498462700702462460306941\ 8/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^14 + 14878726057146296903658520557211363264062110\ 60283020052714976906750982/1881857482866925811670443607803562180491\ 54364207858134168877651050524823*c_1001_10^13 + 7025187136466478809287384307853475569902802850772955537834799871046\ 29/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^12 + 2496103282349136276308801492916261166969902\ 969468131338751802675941843/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^11 + 1792365392609262934518346728011847765153044542258607237704243127134\ 833/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 - 161370599891228302543873109012017831364216\ 89336586903422399922422190843/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^9 + 1675756926446407157011746125186534134577748501694778774175590177676\ 0572/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^8 - 146742371983017988216150227843894465160693\ 003862559565959826680646233545/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^7 + 3926602635293396115975075147131443111197013123530236074049310472785\ 2640/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 - 534593366684777760968412445288293837792798\ 252979709521958217944667722474/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^5 + 2769191181057751602617808256134211658153084403268632401811213677879\ 2069/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 - 855049200128721917793889627769219973674523\ 142954734200174959746677446280/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^3 - 1504834688336167081506301671157594962421986316180728692253047118038\ 25144/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 - 50534788000962958728718174887701667593345\ 2874209845267631716327466717239/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10 - 6018811846319662924618419466135453804125301614154147549962367973786\ 93185/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_0101_3 - 161148822053808278448049516097621745652369549573552099264386\ 4237824/18818574828669258116704436078035621804915436420785813416887\ 7651050524823*c_1001_10^18 + 15658945832682283096700398529014956570\ 98178160935723140816356409792/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^17 - 1369925889568982052564043855670044093544792432237620389004932103879\ 2/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 + 72641812134625128671816818435574607512070449\ 256581091547609836802604/188185748286692581167044360780356218049154\ 364207858134168877651050524823*c_1001_10^15 - 1151816500832645672394367266952778458052793798042741363582252447343\ 6/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^14 + 63433319577229779673261858718733082908978953\ 9356380085132315886034812/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^13 + 6759401656856688661072193710973866946300583859494273416267792762949\ 6/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^12 + 11718076194186530906445345635732265061178961\ 11128631893746080319902766/1881857482866925811670443607803562180491\ 54364207858134168877651050524823*c_1001_10^11 + 6666952948109841372524683006729198804135668709274350666183093579509\ 26/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^10 - 7266395040037949807320769923870220900551946\ 820166540589749597733901951/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^9 + 1059759993314304182781590629184465495846859548274331872959620368139\ 3248/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^8 - 666981424486568424133746284981634557165775\ 86259122490265851453087614958/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^7 + 4329943311845067240089252867287353066061913821784949286943641838471\ 1011/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 - 247590118306352291202513607166352092189641\ 301967517642698716100146223101/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^5 + 8693534837289006212624956947982874104568365339067633833741344634779\ 2307/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 - 389448979428750781343824549315783018706971\ 069947219544664914340480217463/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^3 - 2327802140235946671355909947469107780633217799766279055019825628045\ 8843/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^2 - 225332306599134054262438972733828953685087\ 595269103088278002883193406212/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10 - 3192114071742356539092527128386260622358375394274762167500409445031\ 66763/1881857482866925811670443607803562180491543642078581341688776\ 51050524823, c_1001_0 - 785831937352394536944626278456802555147895568276813914144963\ 4093200/18818574828669258116704436078035621804915436420785813416887\ 7651050524823*c_1001_10^18 + 36185492030301637193818843973875819415\ 10813040143031910814251465948/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^17 - 5935515954158559904318419193393405976373261068116653500163595327289\ 2/18818574828669258116704436078035621804915436420785813416887765105\ 0524823*c_1001_10^16 + 32175157487357653423340458922214041745081402\ 2473019376022997374964252/18818574828669258116704436078035621804915\ 4364207858134168877651050524823*c_1001_10^15 + 1224026613870156792828176362088194484847265232117041837079744935688\ 28/1881857482866925811670443607803562180491543642078581341688776510\ 50524823*c_1001_10^14 + 2971730905535636129099284358614645747900614\ 756500831026152741544789030/188185748286692581167044360780356218049\ 154364207858134168877651050524823*c_1001_10^13 + 1587587178531504666969289686014766068874719574903990724103998567162\ 688/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^12 + 555916775706748667096569110170022291641803\ 2289341504311917433736776527/18818574828669258116704436078035621804\ 9154364207858134168877651050524823*c_1001_10^11 + 4685002814572960562881794533251868512847997441403400202607485984011\ 584/188185748286692581167044360780356218049154364207858134168877651\ 050524823*c_1001_10^10 - 305266546912741855505917112617222979597817\ 90320811783592750859270145146/1881857482866925811670443607803562180\ 49154364207858134168877651050524823*c_1001_10^9 + 3238962805432600829136884304674664599161616827007075753580113028564\ 7757/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^8 - 293787782358260005109277698372586366160188\ 011783105710253428652768345358/188185748286692581167044360780356218\ 049154364207858134168877651050524823*c_1001_10^7 + 6055142510456795755538551282033514906215086558291174587160493723644\ 2207/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^6 - 110276814662080216694159875583808957998290\ 9516563340665205258401735148259/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10^5 - 1770310571512962690754952726130936417261162634617508145445112809095\ 0338/18818574828669258116704436078035621804915436420785813416887765\ 1050524823*c_1001_10^4 - 186446614824319691755623680099591823936376\ 9806096686343804192327337735020/18818574828669258116704436078035621\ 8049154364207858134168877651050524823*c_1001_10^3 - 4093025821964552028278160532764649366526374709245410884306929342417\ 50901/1881857482866925811670443607803562180491543642078581341688776\ 51050524823*c_1001_10^2 - 12089241739843571352566033680037633433972\ 09176913737372707658976167670062/1881857482866925811670443607803562\ 18049154364207858134168877651050524823*c_1001_10 - 1208021064355243157766200077210382894662163773009452204578714766950\ 769782/188185748286692581167044360780356218049154364207858134168877\ 651050524823, c_1001_10^19 + 1/3*c_1001_10^18 + 23/3*c_1001_10^17 - 107/3*c_1001_10^16 - 275/6*c_1001_10^15 - 1235/3*c_1001_10^14 - 1999/4*c_1001_10^13 - 2906/3*c_1001_10^12 - 3244/3*c_1001_10^11 + 14541/4*c_1001_10^10 - 13259/12*c_1001_10^9 + 72447/2*c_1001_10^8 + 18477*c_1001_10^7 + 1748609/12*c_1001_10^6 + 103004*c_1001_10^5 + 3097487/12*c_1001_10^4 + 2586191/12*c_1001_10^3 + 757091/4*c_1001_10^2 + 3203831/12*c_1001_10 + 1324601/12 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.430 Total time: 2.640 seconds, Total memory usage: 64.12MB