Magma V2.19-8 Wed Aug 21 2013 00:38:40 on localhost [Seed = 1393902905] Type ? for help. Type -D to quit. Loading file "K14n25087__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n25087 geometric_solution 11.63778218 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 -1 0 1 15 1 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348153528051 1.201616611671 0 5 4 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -15 0 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.662923771791 0.929537273897 6 0 5 7 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380331240296 0.641934749200 7 8 9 0 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -16 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539979113076 0.849593629323 10 1 0 9 0132 0213 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.464814153691 0.319222220976 11 1 8 2 0132 0132 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.504506391184 0.674816974905 11 8 1 2 1230 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 15 0 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335116977455 0.563062878128 3 11 2 10 0321 1302 0132 1023 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 0 0 0 0 16 0 0 -16 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.072170993253 0.894329090278 6 3 5 12 1023 0132 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 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.967037119889 0.922145134247 4 12 12 3 3201 0132 3201 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.868268765842 1.489511457953 4 11 12 7 0132 3201 0132 1023 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 -1 0 0 1 -1 -15 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799936799378 1.525603885926 5 6 10 7 0132 3012 2310 2031 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654708040466 0.522315148807 9 9 8 10 2310 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 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.125844846722 0.456710829939 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_7'], 'c_1010_10' : negation(d['c_0011_3']), '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' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1100_10']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_1100_10']), 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0011_12']), 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : negation(d['c_1100_10']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1100_10'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : d['c_1100_10'], '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' : d['c_1100_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : negation(d['c_0011_7']), 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : negation(d['c_0011_7']), 'c_0110_0' : negation(d['c_0011_10']), 'c_0110_3' : negation(d['c_0011_7']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_7, c_0101_10, c_0101_11, c_0101_3, c_0101_5, c_0101_8, c_1001_1, c_1001_12, c_1100_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1079090380834461413976917774696791413462347642639029390429280382330\ 6876643205733495721444/11703227049740239413150548624005039573841571\ 5079763841728600960610453030396893705146890147*c_1100_10^23 - 7799052620034454365656780002324070102128995816332820520806436544525\ 2864326123646942760479/11703227049740239413150548624005039573841571\ 5079763841728600960610453030396893705146890147*c_1100_10^22 + 2252989664973122805868284397024658670427839645146467278221662385501\ 171619329814190049310/106392973179456721937732260218227632489468831\ 89069440157145541873677548217899427740626377*c_1100_10^21 + 4625232029824015775293235869605247955024789392300821743288923952008\ 03116027451085211267438/1170322704974023941315054862400503957384157\ 15079763841728600960610453030396893705146890147*c_1100_10^20 - 2393173736723426727974786227642734984327780466746608926927694942764\ 93947901430362943801526/1063929731794567219377322602182276324894688\ 3189069440157145541873677548217899427740626377*c_1100_10^19 - 4050230507345954155876136667280814110573842178930711249324512337384\ 52554885611980595648558/1063929731794567219377322602182276324894688\ 3189069440157145541873677548217899427740626377*c_1100_10^18 + 1031891281690408475210847646532796932111848011243904005042086231579\ 985478896276629126645061/688425120572955259597091095529708210225974\ 7945868461278152997682967825317464335596875891*c_1100_10^17 + 5220153552263180477098561544110258415881176583438304425382477358674\ 3586373765157312640427169/11703227049740239413150548624005039573841\ 5715079763841728600960610453030396893705146890147*c_1100_10^16 + 2192518199454032523478193419778495184263070495474687839877661530662\ 6651357203858829804183944/11703227049740239413150548624005039573841\ 5715079763841728600960610453030396893705146890147*c_1100_10^15 - 1480919457059771883480438569300081653222536099971127949936175473747\ 60645732610977409137770662/1170322704974023941315054862400503957384\ 15715079763841728600960610453030396893705146890147*c_1100_10^14 - 3114240998147933994477370513127955868095016733463430115595939652125\ 74644656352180292300408145/1170322704974023941315054862400503957384\ 15715079763841728600960610453030396893705146890147*c_1100_10^13 - 3392810790948347546939441807987469333310411507976411054795473725792\ 02529831178686654180290082/1170322704974023941315054862400503957384\ 15715079763841728600960610453030396893705146890147*c_1100_10^12 - 2405565215315909168089986953164137676710740248195736632993513723484\ 43686446857236388808678228/1170322704974023941315054862400503957384\ 15715079763841728600960610453030396893705146890147*c_1100_10^11 + 5568063129213151439202114577318853877161917290465681869418809710939\ 76779545764927679617503740/1170322704974023941315054862400503957384\ 15715079763841728600960610453030396893705146890147*c_1100_10^10 + 2785753741178047811308354584947257106758552333589411037847508214901\ 630085493069177506880606261/117032270497402394131505486240050395738\ 415715079763841728600960610453030396893705146890147*c_1100_10^9 + 4566765310087057822927856637976679666855293637100602137930076084976\ 891749701921270902892863629/117032270497402394131505486240050395738\ 415715079763841728600960610453030396893705146890147*c_1100_10^8 + 1194422482267427189798921320272435220403720151184509723058928468709\ 744163072174852533990814659/117032270497402394131505486240050395738\ 415715079763841728600960610453030396893705146890147*c_1100_10^7 - 4025246666122640417785136189462969328557446665964634689916397056765\ 427027465234968726064172137/117032270497402394131505486240050395738\ 415715079763841728600960610453030396893705146890147*c_1100_10^6 - 2054483810409746180204652955589659692829603849245726979124383742823\ 959257948810455836898543391/117032270497402394131505486240050395738\ 415715079763841728600960610453030396893705146890147*c_1100_10^5 + 2227194515257031306586849770118502391915941642153391133528684634030\ 475316085448633498598630066/117032270497402394131505486240050395738\ 415715079763841728600960610453030396893705146890147*c_1100_10^4 + 8150552719249557985481413519799024726979691525499584157863960370944\ 82214963223282541106600241/1170322704974023941315054862400503957384\ 15715079763841728600960610453030396893705146890147*c_1100_10^3 - 2717064576454615755897623974043622041827475462933281872870786362943\ 377311902733623571712910/554655310414229356073485716777490027196283\ 009856700671699530619006886399985278223444977*c_1100_10^2 + 3487502640901402530852658834457153478041469094720260988490164825609\ 63077055929590323565062498/1170322704974023941315054862400503957384\ 15715079763841728600960610453030396893705146890147*c_1100_10 - 4730960601487868751836181752928278088457755938780580125167820634851\ 0169691767817686530770164/11703227049740239413150548624005039573841\ 5715079763841728600960610453030396893705146890147, c_0011_0 - 1, c_0011_10 + 27192432948717499833779440407321373486222969685234790800651\ 512151691588679/123503207183305402056224681143326480718436937929017\ 451141933937621103563192593*c_1100_10^23 + 2227233869078579600320067143216098571106387530089965621247675667980\ 63107098/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^22 + 1536459504501332569219021852192548764548956264880236313615034928830\ 37544837/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^21 - 1022124539716623495189532841855429051186945363528134989144332555648\ 231302638/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^20 + 5537332772472538209674198108801005871926833715879001778734661708505\ 889322547/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 + 1655725237003660659319027803240460438277562451041562764978086394282\ 6310793717/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^18 - 1608513577196372024283184944749016054504956835211620941166456237469\ 127030595/726489454019443541507204006725449886579040811347161477305\ 4937507123739011329*c_1100_10^17 - 1612414882086582763230974424889516858074855830335429189443181782399\ 13886343250/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^16 - 2173403164296837917273775393254478243524151685594797763643698637044\ 15525509427/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^15 + 1790036366469831660830643308852599565166031891200653080687230004060\ 58377797574/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^14 + 1017242118109526715736430830578623042932414705938399105152635113471\ 801640292128/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^13 + 1890304413804339413604231558322395109379838382122127108474083335236\ 039889125307/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^12 + 2308644446447807925049244835760237969120709036149176524835742536409\ 674779317142/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^11 + 5035768447540504605238972408441894252942288723677720114286152661364\ 72838682900/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 - 7052154169541057519088054891491320184137886603808468277202842474493\ 200870475338/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^9 - 1889893455558326826034377419176892902595348451256164479866216070684\ 4263585291284/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^8 - 2113132034070320667383241067391502169853866181524947929982923291940\ 2140413198492/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^7 - 7430183970329237696501862578553214761782500472329092746275475048956\ 668299593462/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 + 3881897983505964311197286343237563510936090837434512487951055381445\ 988549561010/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^5 + 1931450524495225631162340894685541064722670059722894679019147947354\ 308915439249/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^4 - 8892583975612121345901473889001568600663223883977839167201188387231\ 53454782565/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 - 2586360042341095759243400675157207457643729029240722891412935720572\ 38306142374/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 - 1796413421010910369592970910260190191604061678574448258503959145019\ 98672827687/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10 - 8917057767266538991953155271045508757267341688344229242911288090308\ 709271063/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593, c_0011_12 + 12987201104385501746074619302659163644948525452062379681242\ 66097939269152/1235032071833054020562246811433264807184369379290174\ 51141933937621103563192593*c_1100_10^23 + 1575433178126057236609845518680188293522814094999729973303591086497\ 5201467/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^22 + 4374069589246070430959137128288998831513393609259177633553651453408\ 4334326/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^21 - 5675701885855449933265099003432896485399258580566376351590607643358\ 6756124/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^20 + 9834518982418917809030174613817250925154057233853017310834900819796\ 6545800/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^19 + 2013981248357651749630851346060080550807855970817708309025696304961\ 788329248/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^18 + 2375833717498965251199424185741169668904357223800651037527269287075\ 9955174/72648945401944354150720400672544988657904081134716147730549\ 37507123739011329*c_1100_10^17 - 1416863710983303572273803623105807\ 9566301816427582881201932170655705352010459/12350320718330540205622\ 4681143326480718436937929017451141933937621103563192593*c_1100_10^1\ 6 - 326740055597594691003748113173908174440688663412708510202732022\ 51419836050412/1235032071833054020562246811433264807184369379290174\ 51141933937621103563192593*c_1100_10^15 - 1125101598925974753798362685211421982477944631762905670955881623958\ 9610995661/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^14 + 9126509299943480280938475331856167753453333384267869549178436578550\ 6377147803/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^13 + 2237226053861536258451390233610841714091001156406993895887498436252\ 86407659492/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^12 + 3459945460454274813628450363907149724199887933588814411985862920790\ 62266401746/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^11 + 2847495055292173974297711407241247744334899400372127480410366583794\ 50848433197/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 - 3996694543902186649082133090728721626674429149616785932420665454522\ 95915202793/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^9 - 2048345030169175688230107775074582630403892555955727051702496807774\ 708274841148/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^8 - 3397386151883988122718124482510570442942906683464636012630871618641\ 556350969303/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^7 - 2398682773374156182474584577991155488737857408949642676779964672791\ 779909684374/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 - 3357661445682398505392094562637327823534475767986619232400227206537\ 55386762902/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^5 + 3378410989202177288232975356955482877164655051509914667269315387492\ 13766191417/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^4 + 3187315149516826619430830567260455377473465185299750559074109128090\ 77913609388/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 + 3691095316036521175058089392889855724667772681064950587978783637700\ 11800836914/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 - 1178952838820564015869497305823078207941798474056765201966193157729\ 30142316481/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10 - 2577164295028188873733343707513822463164390561652975431415434516572\ 2281484878/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_0011_3 - 590072137341887159176624280906680136202981444479794357243035\ 1049483383965/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^23 - 5394314761057367402480814959751398550775851227659098734105781533788\ 3993962/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^22 - 7763553386506356180716092505762028295064717222349009707588665672160\ 7921867/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^21 + 2009406853090603799261353220984071706059847229318402031607538654126\ 87495640/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^20 - 1001022633158092435047161406292635028053810536030233090146279707828\ 291908267/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 - 4792286363805652017078340563986564918385605392853214501503844419799\ 569398322/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^18 + 1728904798997884837956713730771020717310747850602708600015940237542\ 53777601/7264894540194435415072040067254498865790408113471614773054\ 937507123739011329*c_1100_10^17 + 409666651244411366583137955537768\ 55061614471575479511318840863072503375576432/1235032071833054020562\ 24681143326480718436937929017451141933937621103563192593*c_1100_10^\ 16 + 77968452840883305800932477938025510812834927424794613673453214\ 012872039761102/123503207183305402056224681143326480718436937929017\ 451141933937621103563192593*c_1100_10^15 - 6068988783874068236356050405485003565255108577789708264159889884821\ 36574178/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^14 - 2592539228961406158123521719181971668067031233059333137357673046215\ 78680367374/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^13 - 5979469673496137908765464362618389590974514841884698524108216999912\ 97195432218/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^12 - 8499039988289135922382781196272953381910404916289929163937803953631\ 04650281369/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^11 - 5390065260388340101297829700406331541480425556008996537967987901079\ 08870624603/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 + 1435087380473288188517215208930866641468503865493124880306795210602\ 951168178390/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^9 + 5443228273991210222037018099953731765416001275821315603616740274709\ 311499221692/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^8 + 8064948879995954557767243264792714580048170955541088127502027431912\ 682845600640/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^7 + 5406893429608322691744938106415845754967180046091577047626183532461\ 622441406631/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 + 6627363951846654945225544763840406249838589821567869506659809178246\ 75362795390/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^5 - 4800506200852112079696940572184487822589033261784687480832107427196\ 67066693136/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^4 + 5254509263584715679469765448368080685944088453636374227652611475840\ 23529218243/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 + 3358093345345429074558891649906076585358740165922181872338721702557\ 98586480559/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 + 4294676563138118444246027225624706527528932607524644515867807781577\ 734028082/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10 + 128317838602422138064335995372531\ 09497507386995147589914622459068876110797730/1235032071833054020562\ 24681143326480718436937929017451141933937621103563192593, c_0011_7 + 460703703005877779019627136488836326417090841486059537043808\ 01588470645687/1235032071833054020562246811433264807184369379290174\ 51141933937621103563192593*c_1100_10^23 + 3634828657916340433266948083794365071334381795617862075384837319391\ 89346810/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^22 + 1433115518234333596584427704272855299738936826161222184455489331494\ 66562214/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^21 - 1821969655750679101424959230427553668182550647768546039620768445822\ 566257520/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^20 + 9995204535030771341795062352902922401259781105452847040772681287009\ 964861511/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 + 2529913602837543344997651753508182122126874390935698081730593060399\ 3523667598/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^18 - 3295075664123704646928709580822590270392820673798611862119617233572\ 695172683/726489454019443541507204006725449886579040811347161477305\ 4937507123739011329*c_1100_10^17 - 2572668547658945068652011212687054969057880104112305238981138741735\ 66892717407/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^16 - 2780203059652531073680398325258821838168513330335987028770985365945\ 17712134828/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^15 + 4116571042124241083817441466938194165939981175551592341818071988774\ 30125701289/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^14 + 1593345518530319286928205123288342931420736260484958227612830535624\ 926328533078/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^13 + 2621965830475432618012587625537569888408161603249929152227459269009\ 498251214643/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^12 + 2983922685827513726958013156611775445336957114643995582917517885202\ 188562088046/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^11 - 1749678962463215828734617590600185547942727238808341082242997830128\ 08306964977/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 - 1190192529179935176137038323723932713824315195174973760351608398247\ 4389487212147/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^9 - 2792629959689390427663051538461383557918297401555602050421525823203\ 5238375936942/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^8 - 2574828163055203423726843551919161653324161716989569246530779811195\ 0892063801806/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^7 - 3013386289422246250674471563958846566502966858659066826823557513660\ 346937125125/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 + 6610419299773195202078959757584730124717289495855096893099137457677\ 772318625950/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^5 - 1499444084284391810745905113927689571813639261568697919706522879039\ 382980110791/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^4 - 2053048727148724460251949558478146711752743949196087107919027597454\ 361064029585/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^3 + 7055422823179809123714325993419115059944643565283265761358907374272\ 97747079181/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 - 7229847547884976272124560306889240121171616371658208914466565296634\ 93443757478/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10 + 1511482594599964918041283848103701372902457068974257515882216067693\ 41209144911/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593, c_0101_10 + 42794255699600808757855540131932025936245310529945873187999\ 550098018894891/123503207183305402056224681143326480718436937929017\ 451141933937621103563192593*c_1100_10^23 + 3556464451596272155802335041895297261047407649088780381556832822985\ 24704369/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^22 + 2630117115547647992241882316210675867534215728446659598518992319440\ 10707153/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^21 - 1719612630269541097912120006829105249348190399013386421222268561199\ 243975183/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^20 + 8619675495279996516754163280541813696382220375979271327758254127406\ 276537069/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 + 2780943987901547962655532788309425104144326244730740627570381311505\ 4934144688/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^18 - 2660767298508422888938904988170523252650710676141915299924535163815\ 762147854/726489454019443541507204006725449886579040811347161477305\ 4937507123739011329*c_1100_10^17 - 2641159835885985406457533763251836571533926848413239237472137800754\ 38061358375/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^16 - 3413584492330547067384747622409234613593346075188089415031060846183\ 00087447053/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^15 + 3211749007857919966542760769322186496864700602332822152424713763814\ 38884172972/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^14 + 1668206316124566081935023972195705758031597460360516610372752433367\ 050587215585/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^13 + 2940391840325172135961522228295837689838894800964050220760340563084\ 836667998191/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^12 + 3524510760798836922035838589190865381492289461751631494709153606966\ 055401918261/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^11 + 5714934647480991440497515342731656899853125060938977121356200215685\ 19150138660/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 - 1157387079748876428775763152955662370025035042423530459428951758461\ 8619119267388/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^9 - 3028490941966761400544995858360347455398184199851809803417677116917\ 0147139872179/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^8 - 3227929327218773620900646729113417760400975897570384542220139501049\ 8764223956149/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^7 - 8229454174186721055168899808513936890185669018552842145776425717373\ 362737841593/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 + 7730689220111017129210951600038477018934427841177252979254413591478\ 162669560980/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^5 + 1260084659354134551412586222600955685616232892993681525334749921808\ 641478060704/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^4 - 2081608197293415258773149582337919761353332830670444875913388212474\ 268465281643/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^3 + 5167151253581572581531708741984106562114747680100530072632563223338\ 60281832174/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 - 7313706330416544453697880919850183029933441934651845414505461961394\ 80032269038/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10 + 9824824761076710949690394210798479745401395353221314223703647875146\ 0563955891/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_0101_11 + 20330412901021104024549366773617823945832768624104323555300\ 756865731639686/123503207183305402056224681143326480718436937929017\ 451141933937621103563192593*c_1100_10^23 + 1630503188519701940404064671138498233900325810331560689456444520497\ 03755883/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^22 + 7884867191859293488827311679370036849343589597781380504503900972322\ 6355282/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^21 - 8328091497321264742960726760712529945552546320228801956044767999121\ 10997258/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^20 + 4318510281740410917279262761161187832519875950511705006259790888031\ 365409734/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 + 1190907575366207999544097405413715334012057280440747710397853305556\ 5068358309/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^18 - 1444154323216735592988897469765184059042969141324627266592986293983\ 650138958/726489454019443541507204006725449886579040811347161477305\ 4937507123739011329*c_1100_10^17 - 1183789036263061187567343260813889580433113768856233218217514415199\ 30770276813/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^16 - 1306119773843783155973721277128139844462495567711005298810400829875\ 01083295272/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^15 + 1879960093422279446286668164653873581624222520518219090281884140878\ 74642563460/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^14 + 7443835949598006901388681464605252495826544002619727616843798746363\ 72855727091/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^13 + 1201885186042580422574568308657229020015692702297630929638084791049\ 995826675093/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^12 + 1337180702411329830996929690553968381208790129075267356057308404120\ 155766506487/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^11 - 1281333933339590688717590012885930233338388386491404878527081732279\ 85372811682/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 - 5500921046343970801618564588241900937210639335284243731989726947363\ 141292272659/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^9 - 1293073048015562922059904335676381288213836676049688775590172087911\ 9463416714981/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^8 - 1183350769270350290015788854724588205978502335754041170479222983073\ 5120370071707/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^7 - 5242423809417732022934704870640710465573537412596344709654886223278\ 35494282886/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^6 + 4519530577866241454687544522534345399915561516617310204012401450523\ 621210874851/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^5 + 9773124821516893293089136338686050691423082148486820365538945847781\ 4765389880/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^4 - 9908116617362935341332207859547432555240707795514301110436849861344\ 45444997499/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 + 4953473087604377903648754679892958457592127178385713572728890073747\ 55481035620/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 - 2211803985754072916931932662480215385291942943808916622820709908430\ 07967264816/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10 + 7279217854190891939644140257063120649373232736995884319545946959080\ 1746870468/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_0101_3 - 115343784325605543248991059956131535504204032562484267734098\ 35100536016881/1235032071833054020562246811433264807184369379290174\ 51141933937621103563192593*c_1100_10^23 - 9963174737190746911968681315800512243172541986211755783299221991552\ 2976786/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^22 - 1074468909986988877722536169788911920483474387315972362025610534482\ 48229125/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^21 + 4045705769727367140004098860675612946705496277242296075332526395299\ 78885387/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^20 - 2154054874999804381901732222219859131055946383684639497815380326132\ 830755981/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 - 8085727567518957942943465194379761934093533431701487398509885832981\ 258070506/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^18 + 4963902186225447049228305025036815810597461792666124801342170844609\ 37716088/7264894540194435415072040067254498865790408113471614773054\ 937507123739011329*c_1100_10^17 + 737147442085983806141264860863492\ 87818394257465197414540039480300572077125829/1235032071833054020562\ 24681143326480718436937929017451141933937621103563192593*c_1100_10^\ 16 + 12255014985272491296895035165810851769128211114810069961591799\ 8703067070356708/12350320718330540205622468114332648071843693792901\ 7451141933937621103563192593*c_1100_10^15 - 3576629849085774100135401839888234911603120112887036323035130561129\ 0364464946/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^14 - 4649045842228194444210951055600239513116406339101627228476064592135\ 26999380654/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^13 - 9878918194103417796681588284416195963741269054220183333146600799706\ 34918474508/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^12 - 1327135827397989171199580247216427341218501393126494007768050051424\ 538540624299/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^11 - 6573779864363210902395662045222234594836298499103425676748781864255\ 07134535977/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 + 2859602578046047653793419011289649874745190096226748506008068500044\ 987122001993/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^9 + 9284445751226699285408473079540227698314588377125752798239849052065\ 434423114521/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^8 + 1245226281449138333026493384535066632081947499928702460392199869829\ 3222688027663/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^7 + 7095860702693713787916568638148407674615957957965569342900140261802\ 596736216136/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 + 1748920645464238654693885146999229085578760859569310658166321701825\ 2761679798/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^5 - 8085426926084691127927920725059923921269907918904274857819047411798\ 80755125312/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^4 + 8224766863131849705742072953396173391906339718740708757971890220947\ 56539601760/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 + 4190277418760528073987385668730242976036963782621204937242850544428\ 33096324816/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 + 3712019196287948324529779466003663434898765010288836439556483117177\ 4888271171/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10 + 7926434742242152717701226956736680762237127440871848972796673984225\ 2505241836/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_0101_5 - 381843976294821484539948867353323641860265815802026390501921\ 1363776159139/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^23 - 3517334176259165524351143248026149910055768930799399765224464761343\ 8908732/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^22 - 5365136546590816671640488917220506724973344423390295324280114886264\ 0706705/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^21 + 1198043633827446055782047698228580218954826979643910659286053066603\ 57711934/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^20 - 6358015177835257268480971433342414794918001610010246136247148275971\ 16852329/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^19 - 3115997056423154164760611019563749377816264030008874628943928389750\ 231628321/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^18 + 8559132593434546477232168528475355592867128688908495164756019723954\ 9293503/72648945401944354150720400672544988657904081134716147730549\ 37507123739011329*c_1100_10^17 + 2638248173847517756416337440205678\ 7101755946592714613348679914407827050563298/12350320718330540205622\ 4681143326480718436937929017451141933937621103563192593*c_1100_10^1\ 6 + 534701838645264049370539362245737862009724310327069517666777830\ 79859132891250/1235032071833054020562246811433264807184369379290174\ 51141933937621103563192593*c_1100_10^15 + 7354523776081344418455495171899150911900274554547541559557878601429\ 520809379/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^14 - 1640446854044381142180709566603386019853037757661238621198954869108\ 02669023950/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^13 - 4087341516518253745953848494937752763687263600147782221038192628655\ 90168972405/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^12 - 6052204625032809144673361339990381306257739791095265707648647210947\ 84761357360/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^11 - 4321158882092370988574144880154557221636837337448295345347235106337\ 21462675214/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 + 8724778298371381459151472789069763376227499235021003891093182857103\ 48388727348/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^9 + 3630788965374332419715660448203355112599042578715418302354900281534\ 920196751646/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^8 + 5712126073530053589834934987845519364892033826094209803004340478262\ 582666176766/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^7 + 4333025471001791444063128843004776298590976828496292011747260767196\ 988665087040/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 + 9781490251872687484017799560449110303994953260636134434931940551195\ 54412271939/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^5 - 4386843452855939011550609918674722001898080399723447453835097105332\ 59684268146/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^4 - 2152192022952528204019962921899286820349684217353002563758330373992\ 00563812782/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 - 8227777418292955139861288654008432850583011297073654057875899010185\ 0671551760/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^2 + 1705000082551739819363255774195893287831476059802835635010767255281\ 1106153020/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10 + 2523619345343738992669553510827070058348127776603812830100342212266\ 5121877882/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_0101_8 - 247642290076158267118825466712155748469736964816889829604031\ 77250227258334/1235032071833054020562246811433264807184369379290174\ 51141933937621103563192593*c_1100_10^23 - 2066409127210365925882191750427804725467011112531475380207269856578\ 64324719/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^22 - 1690041549666948173028223912357309292278509297628200542975111169368\ 86999698/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^21 + 9227041975252049766294746032541237269018349250641219914814034710150\ 79831172/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^20 - 4914265017217143081524325834568531833099084216810371677309806993642\ 530833587/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 - 1592236218745250072391028627963650789424775555039592663241179546361\ 6343644782/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^18 + 1360431822994908280095673601366054173845990345580924234250177847349\ 729032821/726489454019443541507204006725449886579040811347161477305\ 4937507123739011329*c_1100_10^17 + 1510241721324076255198592913316420891792267105466819019971746831994\ 27616809638/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^16 + 2173338136920815101511942377736805588700372008423428505594264771926\ 27047106715/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^15 - 1403172183818797188565381225013228800851641814525469207427734795524\ 07635506805/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^14 - 9525182076436492139852834836432149005230750467097027538229706510825\ 58286713936/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^13 - 1836969982204529929612572901315970536383331008604159267716536877422\ 930427190706/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^12 - 2321113040065530914652604224353818828698575973276296039264226094765\ 900025111308/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^11 - 7287287745572160920283455561506844667617074729320657154588105312974\ 14930359860/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 + 6365250614769572499254425527365083406655960459784260319935095913152\ 979976612039/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^9 + 1806723519292551235725550601707195715288915608782121463679620490106\ 2635788840491/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^8 + 2140181926711045266936316461493410249262496643559111540675159108773\ 9334625240913/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^7 + 9079653528174318162046075360232641344829190062520948613329320617977\ 607359193732/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^6 - 2491726998504295732374099164752579109449771298480343943333770663362\ 881786066946/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^5 - 1540118627062733068501103030633205069096173980255832644505306828866\ 724407371951/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^4 + 1166437716590450793566017832474772875127389788082445586145655162577\ 606489709930/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^3 + 3663199270658449032338424009644485610459035119653391319508763965370\ 48690821430/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 + 1626175978030675886419052007883474835657360564781660566342138707695\ 43218089825/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10 + 7183617517960912811112211620687308882260897140679677117555365135679\ 1729201696/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_1001_1 + 731017842905331261751571759688556803945724821550468414363544\ 1371277384070/12350320718330540205622468114332648071843693792901745\ 1141933937621103563192593*c_1100_10^23 + 5920146743068193313409389565985344752788510042342924886293711666385\ 7184748/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^22 + 2801262516252278321653689007044912950355489936923861677961533325426\ 8795441/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^21 - 3293059431136496754902076578276577344410589382055567759915150017857\ 27958468/1235032071833054020562246811433264807184369379290174511419\ 33937621103563192593*c_1100_10^20 + 1561915497072720350816699389998340069194484421819780556369878461334\ 077930861/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^19 + 4578562714126536067435209125069436844567055931417005464932908913234\ 467512054/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^18 - 5764095732574092862301607452411376347666539245627040489245729642183\ 18470877/7264894540194435415072040067254498865790408113471614773054\ 937507123739011329*c_1100_10^17 - 442582838788782334067523452456565\ 43099472284579666138036647152549715434395526/1235032071833054020562\ 24681143326480718436937929017451141933937621103563192593*c_1100_10^\ 16 - 42194995998892696381814932925136858816092293446078872270302572\ 973901140551352/123503207183305402056224681143326480718436937929017\ 451141933937621103563192593*c_1100_10^15 + 8173081564752798651747927503495437640256024474976388483188269047841\ 6195131394/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^14 + 2743053476756505512491297271050961793973847705312332446482145235661\ 48914731248/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^13 + 3906481719682181779412312338886023463037425030990235899637843188758\ 14820032003/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^12 + 4109709964411213753956051605432011531456358314731880914009709633107\ 89921981320/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^11 - 1220164422880322510828339091019528791663914530757740430918392982602\ 59668830873/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^10 - 2039872412924967614669620390715000856311021889629193993437842929484\ 879944223817/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^9 - 4513899546661671855155977343737043444355330837418831459493544238189\ 512481652197/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^8 - 3519161945487664434820820498552366424792229411928851977139121639743\ 565324577497/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^7 + 9527445027304536976135711399015212264847306168500441995464789470209\ 59404942914/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^6 + 1547913378420601286645670457674683189818055479980741730397914399521\ 211450267373/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^5 - 1325222889567464545512059917269044270536427736351992194153724938588\ 631995047481/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^4 - 9583897600155756084039194558863589977128728732054015366825170268714\ 09449347701/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 + 4286890053626728599558521383174143109504609369338652735088634199832\ 03063960562/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 - 6335110872558301709747140972499781186310469558973248255439881522237\ 4414663312/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10 + 5874407326434784842998472887883123382525812781830149111886332611483\ 3151663289/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_1001_12 - 64761819829507804917069265194528778686735534484548400123989\ 57372257703826/1235032071833054020562246811433264807184369379290174\ 51141933937621103563192593*c_1100_10^23 - 4749732519120693269185352432832348870107399463338889950183638402537\ 5947080/12350320718330540205622468114332648071843693792901745114193\ 3937621103563192593*c_1100_10^22 + 2250392949613874284607574672712315358103064388766884609122940662520\ 573029/123503207183305402056224681143326480718436937929017451141933\ 937621103563192593*c_1100_10^21 + 226339443842916640021556544745741\ 156004825988990655427355730949655091133484/123503207183305402056224\ 681143326480718436937929017451141933937621103563192593*c_1100_10^20 - 15274344159901600643207337169698341734252901689272571862945759708\ 18299325435/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^19 - 2591376421225044160882464545323645192346539727402882725467058541117\ 909974591/123503207183305402056224681143326480718436937929017451141\ 933937621103563192593*c_1100_10^18 + 4922955450934433630811666505847936395345496804887513615567647154264\ 43416740/7264894540194435415072040067254498865790408113471614773054\ 937507123739011329*c_1100_10^17 + 302078135368068317125826278687504\ 13939530620497186347875026913625493129530271/1235032071833054020562\ 24681143326480718436937929017451141933937621103563192593*c_1100_10^\ 16 + 26822669594725991338487722613294719051806403156899124924899687\ 997103348395889/123503207183305402056224681143326480718436937929017\ 451141933937621103563192593*c_1100_10^15 - 5574125183563001026181624946724567812184617777855756812483455429248\ 3913013502/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^14 - 1745754389781950425986890237905459049852009080513583085057533095267\ 39760622870/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^13 - 2967399667740539753620581040560377008070890070601125245416495813221\ 43778164180/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^12 - 3533222598640032795715854423581690988312917590462679975760272885646\ 60256086951/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^11 + 1988243848851415013367703768749428339782741955627102836021246853593\ 2235714231/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10^10 + 1409011299402198696994931732927826384368299160730154334717030669618\ 132749280735/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^9 + 3102400410093523202894044175787427208734193875142465760863120506487\ 687650732674/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^8 + 2689729879256811857284766768341280785519346142710348438651147441493\ 493760608599/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^7 + 8198947421659487750459938986141702633112714524335577920709853672078\ 31827532985/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^6 + 6500073001445949398369277574770678170105053725134469929790423916544\ 15348072862/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^5 + 1118956599294753107564226965510070328043399223757106626997492406914\ 624589110830/123503207183305402056224681143326480718436937929017451\ 141933937621103563192593*c_1100_10^4 + 2905232262179243898654079628122624719538236133356715172216968167866\ 37566888339/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^3 - 1098222254849834097187888952498624591509469055452077024523220382280\ 88978240612/1235032071833054020562246811433264807184369379290174511\ 41933937621103563192593*c_1100_10^2 + 4772355713148296789876180943970783901471982685192509935447338578989\ 1075888499/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593*c_1100_10 - 1379305434669817704932692611613677269618768449810300797758773600955\ 1989411411/12350320718330540205622468114332648071843693792901745114\ 1933937621103563192593, c_1100_10^24 + 8*c_1100_10^23 + 4*c_1100_10^22 - 39*c_1100_10^21 + 213*c_1100_10^20 + 572*c_1100_10^19 - 1153*c_1100_10^18 - 5694*c_1100_10^17 - 6662*c_1100_10^16 + 8078*c_1100_10^15 + 35261*c_1100_10^14 + 60852*c_1100_10^13 + 72344*c_1100_10^12 + 5569*c_1100_10^11 - 256102*c_1100_10^10 - 633743*c_1100_10^9 - 633467*c_1100_10^8 - 150327*c_1100_10^7 + 108120*c_1100_10^6 - 20521*c_1100_10^5 - 34059*c_1100_10^4 + 16187*c_1100_10^3 - 16928*c_1100_10^2 + 3562*c_1100_10 - 1627 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 10.420 Total time: 10.630 seconds, Total memory usage: 82.25MB