Magma V2.19-8 Tue Aug 20 2013 18:00:32 on localhost [Seed = 1983365982] Type ? for help. Type -D to quit. Loading file "10_41__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_41 geometric_solution 12.37661550 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 14 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 -1 0 1 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287812654209 0.376586626695 0 3 5 4 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502864033943 0.990553224372 6 0 3 7 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527204847696 1.492321182388 1 7 2 0 1023 0132 0321 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 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.793920883642 1.524090660822 5 5 0 1 0132 1230 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.184438457314 1.224579795313 4 8 4 1 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591923347702 0.421906617653 2 7 9 10 0132 1023 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 -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.536141861648 1.246425120342 6 3 2 11 1023 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 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.366735661808 0.361045939085 12 5 10 12 0132 0132 3201 2031 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 -9 0 0 9 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.971124922686 1.324026989766 13 12 10 6 0132 1302 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 8 -9 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.025196786376 0.738115124659 8 11 6 9 2310 1023 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492387030503 0.232012401581 10 13 7 13 1023 0132 0132 0213 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 1 -1 0 0 0 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365008310634 0.888489749449 8 8 13 9 0132 1302 3120 2031 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 9 9 0 -9 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.639807972225 0.491084056368 9 11 12 11 0132 0132 3120 0213 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 -1 1 -1 0 9 -8 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365008310634 0.888489749449 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_13' : negation(d['c_0101_12']), 'c_1001_12' : d['c_0101_12'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_13'], 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_11'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_13' : d['c_1001_11'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(d['c_0101_9']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_0_13' : 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' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : 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_10'], 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_13' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_11'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_11'], 'c_1100_10' : d['c_0101_9'], 'c_1100_13' : negation(d['c_0101_12']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_11'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0101_10']), 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_13'], 'c_1010_8' : d['c_0011_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_13']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_12'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0101_13' : d['c_0101_13'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_9']), 'c_0110_10' : negation(d['c_0101_8']), 'c_0110_13' : d['c_0101_9'], 'c_0110_12' : d['c_0101_8'], 'c_1010_4' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_13'], 'c_0101_6' : d['c_0101_13'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_13'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_9'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_13'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_8, c_0101_9, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 8693720739153851896146776384860451122377725324892427763158952339401\ 3284727011633113503/19474485646241173240004304493806493113660185877\ 739754629959462119688986930918753*c_1001_2^34 - 4863252561847455716320328288859930945026914218536438093860712546958\ 48807852049346118870/1947448564624117324000430449380649311366018587\ 7739754629959462119688986930918753*c_1001_2^33 - 6323288943850713126215411995610847917078134298887951449034088534702\ 29469955408916506109/1947448564624117324000430449380649311366018587\ 7739754629959462119688986930918753*c_1001_2^32 - 9384020149469752663187732111533567566681891792946647966478233873845\ 068119044470416006439/194744856462411732400043044938064931136601858\ 77739754629959462119688986930918753*c_1001_2^31 + 2164027514521025435768314882934465883423901775956088542439156454391\ 59310597294992055572533/1947448564624117324000430449380649311366018\ 5877739754629959462119688986930918753*c_1001_2^30 - 9226751338281971827819492517503537494404872090560376695584118610079\ 45840862798402455118125/1947448564624117324000430449380649311366018\ 5877739754629959462119688986930918753*c_1001_2^29 + 1019899900916779991517049338581173552800072969553034637680478045695\ 304469553908366922836476/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^28 + 8510657693686677777714834759488526226280861149303856340471927572856\ 6797312342716907140081/14980373574031671723080234226004994702815527\ 59826134971535343239976075917762981*c_1001_2^27 - 1032198785743698086213627189116076495670972175142406630012304882040\ 29598492875703939428192/1498037357403167172308023422600499470281552\ 759826134971535343239976075917762981*c_1001_2^26 - 1655090042195630178358158032668356318504745916140748266028746559129\ 349938164722629344364981/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^25 - 1737306517713869863407729188704220185539226480093364747759429537970\ 563387223776710237077738/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^24 + 5193446313225719103412772171436449815151839578504943385419005480014\ 700047169798407963675238/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^23 + 5489481574023700063214981599719105476538327812735106813997439640951\ 659830659687191268644731/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^22 - 9820501212820978950662224338047510286393381390696222199116781405279\ 417828466352223758341225/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^21 - 4941498033725024074501606283093984360410295157616449377814588427205\ 822797385313018093101387/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^20 + 9570499055055046264154146253645515673992580554490109336747203495055\ 124336895778919297894865/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^19 + 4741000958752857028235610275293918041056642854484206475806725505034\ 45710868234371753536063/1947448564624117324000430449380649311366018\ 5877739754629959462119688986930918753*c_1001_2^18 - 3406098900361812188127233170814282936266630787012030619232941104791\ 039388252802749815026585/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^17 + 3537781601239547380583742280330354318390955133313015036174383278311\ 892243536644399166858566/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^16 - 3248077419752365441860686875982370245951982047175729974344514179178\ 621925934230195934693151/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^15 - 4509422919368596798331400284725610527975239047717948684331399164807\ 576582577108878189397070/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^14 + 5733558068052303677960612735206452446983771761702323034923084374895\ 212210420591875009959660/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^13 + 3262808940306059721053408529940921980024884554133113098684867704747\ 314952286839019690979229/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^12 - 4436391278165345297745203797449662937177198807470224745532747298012\ 866019562168320696277989/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^11 - 1650215203124593237597755131581711240962714587418650722509960853365\ 586993701016407583900220/194744856462411732400043044938064931136601\ 85877739754629959462119688986930918753*c_1001_2^10 + 1672376935796585216219395127567162141671096418836423614798484348429\ 48380846941734094063170/1498037357403167172308023422600499470281552\ 759826134971535343239976075917762981*c_1001_2^9 + 6253248168550552212686927707980450642240265214666896798314284749568\ 93254664859419045505452/1947448564624117324000430449380649311366018\ 5877739754629959462119688986930918753*c_1001_2^8 - 7056594735475733113558383522901999043627018457147486390670717662142\ 21836488347374577197005/1947448564624117324000430449380649311366018\ 5877739754629959462119688986930918753*c_1001_2^7 - 1804454297185198240306263198585708430483671111296529080597062330413\ 50703439934686798261355/1947448564624117324000430449380649311366018\ 5877739754629959462119688986930918753*c_1001_2^6 + 1446722303353437263245580648722670150360953942381614462212071439218\ 86762878239186617500318/1947448564624117324000430449380649311366018\ 5877739754629959462119688986930918753*c_1001_2^5 + 3710382268910385576985144327708766682388940589331325014787734029504\ 8095134405678111759981/19474485646241173240004304493806493113660185\ 877739754629959462119688986930918753*c_1001_2^4 - 1629943965388083614165588897442155599677049451238793080757800618807\ 4543182911380049624577/19474485646241173240004304493806493113660185\ 877739754629959462119688986930918753*c_1001_2^3 - 4421427894323547351809565929134885228975439753091398753704242892533\ 123686843311266461757/194744856462411732400043044938064931136601858\ 77739754629959462119688986930918753*c_1001_2^2 + 7510911686909264800458797053503069364801950789889856343387274193796\ 24131745817474446167/1947448564624117324000430449380649311366018587\ 7739754629959462119688986930918753*c_1001_2 + 2168058078794994522248163045293846556627523970629414972123803518170\ 40873331971037977584/1947448564624117324000430449380649311366018587\ 7739754629959462119688986930918753, c_0011_0 - 1, c_0011_10 - 26377277062375159129995788002701269389165658702705442032257\ 622719839349735/104390686645939604755777767010710612489870611028199\ 275007015063170892973*c_1001_2^34 + 1691479787572320259135346037349171816248833669716101426429642049783\ 25972109/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^33 + 60580987984874399833484421253003543910\ 979862299348321304322926863179380473/104390686645939604755777767010\ 710612489870611028199275007015063170892973*c_1001_2^32 + 2753687855253924109496941977988209329339103663916220334525811512118\ 727237961/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^31 - 6794276732902394877170700379174495001\ 2699633697309220963421630866265866409624/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^30 + 3348051048328263498087923434740048420116787310441899646356605997358\ 43047529362/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^29 - 56522521470159284196706478880749561\ 1918289978734733252692186248428863148701728/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^28 + 4146667008069944961150689919097991133963122289488819794998236029283\ 3715211705/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^27 + 500271428988716352271586834466468379\ 166609593567687629089257124153722869347905/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^26 + 1214110687190562477026753242305021408931531893297450686133628111775\ 95218641655/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^25 + 30116981449697952310294020323169483\ 6420303541193989136116952374567148116040295/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^24 - 1895979876223904921043099465272937452240019420181798736723506943613\ 794484815898/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^23 - 2198483867368070160323268544558767\ 35785220457663297635458019779283213124131198/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^22 + 3643077486247228598605403930702119274815206112995253385394494108607\ 447984038346/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^21 - 1269093508524186186088245157430699\ 859416927274521758044692390967305815561526326/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^20 - 2788346903583557257739670340942176237900258480943856009699717630724\ 171169962998/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^19 + 2190483790495751928325795284636773\ 727682769993948391951059964094270064079646189/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^18 + 1287377637875093416659708905722724898896238105612237078320522496901\ 5848110530/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^17 - 143316563915606840598913286886509440\ 8272598031576426666998694279673604792676490/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^16 + 2047335377729373420278281269217739626469044010620627523529032429714\ 871491540945/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^15 + 4476514245389345397725117841274113\ 4668806895873065528527345779163988671207976/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^14 - 2222294335548944133570891186520201387998818531472110958380736975738\ 674023766560/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^13 + 6763833979952982611397772537991474\ 06009649674394640735294596373120785893432128/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^12 + 1347224377880846007596939269478837312561492880511682928922699725679\ 002692366367/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^11 - 6094400055626435326879839780975760\ 97304881572567294788426384811282455840635346/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^10 - 5278392792352054116993337348987269191992778183472287531465918642939\ 26663149910/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^9 + 290469151635799405469005461391399025\ 337589032669980833475040038933474096706844/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^8 + 1340534801648400907025375644032291116427494157730475145804992278541\ 65831476627/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^7 - 830912191163251311839954449910332671\ 09372310913402993765957785495322541784998/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^6 - 2081207689464774977023733414641045671540458955971828096457906859346\ 0602835610/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^5 + 1376088537674924962494161297616887405\ 4262314975714449198240475205284277574806/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^4 + 1764375510504719329241745992662707704086296427108025259562604728335\ 625110263/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^3 - 11922436444267262619637465607843022862\ 16155412396009627051740744932819310232/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^2 - 6203303970021643778515544880114817053139909303600531219807698278951\ 3533348/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2 + 413604619096222720050917948397906033852000\ 14997364324342744440865575831520/1043906866459396047557777670107106\ 12489870611028199275007015063170892973, c_0011_12 - 20247233183053311109783891535462363185788367065441901077862\ 49245947348768/1043906866459396047557777670107106124898706110281992\ 75007015063170892973*c_1001_2^34 + 1286204019587923466147409812477153560154317541843868588606383452332\ 5040324/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2^33 + 545337701194145697291438963380809153301\ 6790079364024134055113438879726889/10439068664593960475577776701071\ 0612489870611028199275007015063170892973*c_1001_2^32 + 2114812588743057983337652938630171633738943131051224463138665135717\ 99393258/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^31 - 52024483174823963477348181330522206557\ 04396871511588544682987306168747652023/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^30 + 2538375775026637685572989522800964176271265781007656306783528399759\ 5667519680/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^29 - 417806249152668545784468732988268521\ 78427452609343614881482588581406058577486/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^28 + 2159917828776288550629409318659470199770650982478140890665170980649\ 08157162/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^27 + 39434218612848117062941759903060682260\ 350447163117551022875256089421084729928/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^26 + 1098560015017347475870099772233099840965729088759319000652098966142\ 1515686140/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^25 + 233255836081004873889335945753874117\ 74997717844549259044296698963086464580940/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^24 - 1438377473218469938243152498845793856643700051535327984862211435929\ 05819857568/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^23 - 25654470122477450022652483860749262\ 551758220411042004682788256071232241633734/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^22 + 2806658311327674434612022300359012756934403215992138959274085517332\ 80666091428/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^21 - 82439829292414401293575573319585983\ 497541392207974215514916770711872539543484/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^20 - 2233368259516597499211866405810812959283876690347322154477728974186\ 61272871843/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^19 + 15987346116768403611120438790171229\ 0924763745853033587429686846682072942887298/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^18 + 1243370509535146290214934724573410455749766684831997562962441712419\ 0060627634/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^17 - 114204661320980394438998331403889356\ 539729010554003098922399378203864310484581/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^16 + 1523313700820329482120764960224288027595412941638533007384011789281\ 96800480814/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^15 + 13812066082799364440875533345754590\ 121714337010238457051825943960567331108359/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^14 - 1732565333474721336037790971481014436011853099638351085789393065121\ 40319428234/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^13 + 43650761199708394357520243290699398\ 431856509604580416012395806858396003324914/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^12 + 1084651429725877504452141081836114718235334970200081458722129077202\ 29541210393/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^11 - 43120495170248154111922726328843832\ 773075784146778554793185868672309517442415/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^10 - 4400404395515766591717153367105456622329365676658210627580075770233\ 6093070792/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^9 + 2148762593200372958502570540318165921\ 0994946009926936222814402010349806773514/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^8 + 1168485403402560044330277484602258092420876273652103126547767595044\ 8392609672/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^7 - 6400158095382345911772536444439701716\ 514445891709790062544409311319576982485/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^6 - 1927002225916051118034743962553787169018743636937058946262357530229\ 738901225/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^5 + 11158359241056656467849709106160625257\ 95589399838982211830926631337912632065/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^4 + 1764244202971600756540512062264980024730765906060429893425768396897\ 35710911/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^3 - 104021151246021923204543289954532763697\ 954001008976586296447799452050665508/104390686645939604755777767010\ 710612489870611028199275007015063170892973*c_1001_2^2 - 6795503622833866192643876886659582427545010543638437253726286058942\ 205613/104390686645939604755777767010710612489870611028199275007015\ 063170892973*c_1001_2 + 3917548835192747672368599145472029534896910\ 582953325149162813436447671164/104390686645939604755777767010710612\ 489870611028199275007015063170892973, c_0101_0 - 357995969420489476774540973041710893907010865766430584409904\ 2605935960646/10439068664593960475577776701071061248987061102819927\ 5007015063170892973*c_1001_2^34 + 228198589268373934447232972842146\ 32396031686660269262364724338349664784035/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^33 + 9196138268366972055222502871937039721382581974461694551023538910185\ 585083/104390686645939604755777767010710612489870611028199275007015\ 063170892973*c_1001_2^32 + 3734262513170808829276856010391009559211\ 18856122815501516542060462254030463/1043906866459396047557777670107\ 10612489870611028199275007015063170892973*c_1001_2^31 - 9207065744765766152588573291591137650945109520668241597414223744171\ 035511754/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^30 + 4507703410775908198346710922708943035\ 0795660135317750773802604088762896612251/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^29 - 7472714610770256875413965520955656465850300869973963004460340334334\ 1880577370/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^28 + 144496593425989822515440511391937140\ 9469031691822157719798096238293409910926/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^27 + 7038628834639791826523632163651633335958672890397474037233432733849\ 4570627995/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^26 + 183909915378742510155922762650412578\ 67605520614204324863606314851156809619308/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^25 + 4005419904619247160653416537603276136399051230022672635883765334863\ 3563139887/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^24 - 255937260296963426448952540969274533\ 269960961676301153033979206463516635052205/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^23 - 4087316191680663429791548436771781097497121535212993746359004810768\ 6599797648/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^22 + 500184018492320420025546119033865900\ 908120546219972066611874125582876089639304/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^21 - 1539591991177778779501036043912389911122806484677912032424583158368\ 21159162973/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^20 - 39724311879051451897604850336252940\ 5112284739487934765583554367507249921806200/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^19 + 2897684083893767932719951720723750239922968454551589804652039225942\ 43322399001/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^18 + 20687463799743476701998306593946971\ 997857639300771109621907541661387839179182/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^17 - 2034034290884106469373325388414991507804560188722461334961379816638\ 16288286674/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^16 + 27272876478533238000174223843107960\ 7564883718294719425632635852826158789911557/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^15 + 2087013947857990468914814621523745416165850109302272325269887987862\ 0519148108/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^14 - 309304277573467108391560176430565069\ 230708285999440800156739174850276734355648/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^13 + 8192691397445228860834607329242757232401963097957386567549539232412\ 4237144595/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^12 + 193331329096855833244216458437437663\ 605425055250520386944655605019781609399980/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^11 - 7946485716908151575641405686278934852323118916654548432181631060080\ 4237552701/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^10 - 783233406911838690027464625638162391\ 62435810294287539227606555598116352200533/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^9 + 3938896140093246154383831387950095395169646605297677884556687894734\ 3163052440/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^8 + 2077010617497709054624281907057186786\ 1196312366304324306846460960456543447780/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^7 - 1170657122905482218948590036009758616499421658689201579867751700382\ 0664772420/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^6 - 3421765125728476178373358082740442840\ 296930488451372790356211901539528586789/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^5 + 2038379865881567238032094178293601765664889276081282064841623398850\ 932317817/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^4 + 31308986774003503359717616137051771062\ 2409753295938397559600236866936754511/10439068664593960475577776701\ 0710612489870611028199275007015063170892973*c_1001_2^3 - 1896075863622369225104421505841148822387031722169615767566142609296\ 98425152/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^2 - 120572985555385882811491060107500989934\ 16061469806652419483208803175966710/1043906866459396047557777670107\ 10612489870611028199275007015063170892973*c_1001_2 + 7210817681138468708781362409718960153969313080579090407756483684784\ 498230/104390686645939604755777767010710612489870611028199275007015\ 063170892973, c_0101_1 + 182970433319093733930527598634757590067588159758399604894294\ 7893239092472/10439068664593960475577776701071061248987061102819927\ 5007015063170892973*c_1001_2^34 - 118729777745716891654488974924062\ 66107213709201303998616588030314203138169/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^33 - 3439773426181026232809432794827642183591312488243544585136436228070\ 799668/104390686645939604755777767010710612489870611028199275007015\ 063170892973*c_1001_2^32 - 1898601957216330731531779910366246678252\ 48426186771589401221850919875285412/1043906866459396047557777670107\ 10612489870611028199275007015063170892973*c_1001_2^31 + 4727991483985330972594504623144820566870207867038314729804348105920\ 591833791/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^30 - 2357014999547164432988515123981907631\ 5187321569629243925809517740131124172207/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^29 + 4063999775734069540842075263465874677365347932242004841815651361860\ 2417529596/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^28 - 423388824615742409456520628770983262\ 7436915313116255546586760338655138048922/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^27 - 3709629702820968191109683018211131336805340309292574873197906000157\ 8038619423/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^26 - 583230428624942569564751121876028680\ 1186174534963788461635802018975913459386/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^25 - 1802262560018850206419848181475342555009744488903543000465309526353\ 4404317373/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^24 + 134108401348629392645432045413133624\ 936295778676049062105697812943240110854454/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^23 + 7135591786679136224994647066841943179377118427853793860013279718654\ 835424953/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^22 - 2629928628009466478898275199521485197\ 64628426594740305822191592124425850941563/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^21 + 1048646445003931281401124402704067967769009492399355879529243077967\ 11483939963/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^20 + 20368038209573666648791694660525646\ 1957948603952155544544686720128367852724740/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^19 - 1705041609646047316183066951999848613413098717929167426238000012784\ 34885002738/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^18 - 22094627087218455156483108594122330\ 71308372091328481696564250909821309891641/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^17 + 1079657257636669700057036431417200075359605969806698285027435554424\ 93911746292/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^16 - 14942944075273137928988722348855700\ 0466390137653050104506446963131662779239906/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^15 + 1398723610960156748505816418921645880907966892510933548562695534608\ 109447405/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^14 + 1636200140068852863887517124453359670\ 11121720319997520863971096909023247617074/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^13 - 5754937862547865877178571259660742607476886575328197377724739686964\ 7843658739/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^12 - 998943520197808075059962375778092929\ 24291854334853740022078739307462610202554/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^11 + 5124530698523388232221326686827302320458899439408494873272165261595\ 8191077456/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^10 + 394477367163045053834707408918285789\ 62991741906514130066591523698021272934354/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^9 - 2480829339177017941775188517849393420582053448581176917024471221490\ 7461312181/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^8 - 1012352106088234071508099124612564201\ 9575202705632725883885327466024827582374/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^7 + 7349411897036360909871731432056266235976910519253281856570328019048\ 804788120/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^6 + 15981947034924426171829514109492974485\ 42344876114971351553497758770296534820/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^5 - 1293888537141325292609071889401002306665494757215498472923213597908\ 872016143/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^4 - 14006600048168680333292615694314971633\ 3498402694001134330695407302795345726/10439068664593960475577776701\ 0710612489870611028199275007015063170892973*c_1001_2^3 + 1225552951117693571992522008816482981226484152727352837147608825973\ 19162083/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^2 + 529503103113651612442085349596098245738\ 8262538559110483754696855972980495/10439068664593960475577776701071\ 0612489870611028199275007015063170892973*c_1001_2 - 4781070403104928139928883890401256552269231142087266929557225463839\ 289331/104390686645939604755777767010710612489870611028199275007015\ 063170892973, c_0101_10 - 51229731791366583757180392505945065197482840952097613075366\ 18141575919538/1043906866459396047557777670107106124898706110281992\ 75007015063170892973*c_1001_2^34 + 3318782722614557904069249765475872244213939613817870590446284516421\ 2712443/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2^33 + 994829892495147263162404995661919848446\ 4813734541794399444283643415191287/10439068664593960475577776701071\ 0612489870611028199275007015063170892973*c_1001_2^32 + 5319106632895082668942100205444234346394848965423792711365888015239\ 36269148/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^31 - 13231786463208617442421954278658379617\ 527827936542071185024790391848229429174/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^30 + 6585572448802807546200086658196431482652564085118779234443357714480\ 0689847122/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^29 - 113177066016878440286437165971844784\ 075372252124564265463517866514582373723203/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^28 + 1103844133947600468321347340684740985331574037735894608699102066929\ 3226798898/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^27 + 103596689962547111375870255292560264\ 090404466265522893409484903188644722305015/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^26 + 1689905175812107919694339597383122347069467626131373804657336946843\ 2004096413/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^25 + 510980948668525287868928893161664372\ 61787186663240201706201164766355388679477/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^24 - 3742095628006817975998011101378555376251124173381893096148716392627\ 29178818983/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^23 - 22999333089629640191211685377725531\ 708463433352832174200170868017419772706812/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^22 + 7341843859295365839826560709736900939821299817471011932468385920646\ 03937355573/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^21 - 28848290817029179968652079692481563\ 1313072914234075291553460282269187155641373/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^20 - 5698002159392541126392446129561138173811218431993288762663994206346\ 51845078925/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^19 + 47366466946913715991029669057659650\ 3462560595472935327628865841273747322623463/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^18 + 7848994841925237608424798828831929631699997278991457878469674067953\ 048281168/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^17 - 3023254002212976252942742673157911711\ 90721106976450583023413579383454124624566/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^16 + 4162309041131684215609253410037395160630727402657530337108836094141\ 71503884313/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^15 - 12822381657218729316828999357202716\ 11914894025259804569820600364932249224944/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^14 - 4568137510826597988857472615289133978891715754089964015577550723538\ 21655286233/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^13 + 15837231927523820135409587600468588\ 1802693424674282480149129368231573556288217/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^12 + 2793098564997409652041268848693317268140526828579186254825379445972\ 95319099605/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^11 - 14186483378336913977182871454473860\ 2778000039787949401711927491839354696151345/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^10 - 1104672323641475952470719055355972483252157307118447737333733255355\ 55452002734/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^9 + 688526130298740967238537039905767932\ 63083492589006086930677618354026370767820/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^8 + 2840533040235924578333541275408737399062216890399716615730150554750\ 8190277590/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^7 - 2043269241696595635101687025940132694\ 4518356781154253921871828710537863684352/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^6 - 4498607533916703162210193549794764102791001205016152639835816325124\ 581793357/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^5 + 36020888419023434489416385358566498408\ 54565025643376335889704520557857987009/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^4 + 3965123055543533431215721378660116380921186206017252438965325886943\ 59749602/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^3 - 341552463703287341052696237631841271748\ 791640403274823396626035982940882333/104390686645939604755777767010\ 710612489870611028199275007015063170892973*c_1001_2^2 - 1521339244734742687449212752953985186973876376172131252280467258009\ 3205765/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2 + 133361341817553712648468762787387037372126\ 84565881247353907818456409877494/1043906866459396047557777670107106\ 12489870611028199275007015063170892973, c_0101_11 - 10207608499729602696237871992969218580062577569662578159842\ 602929688217354/104390686645939604755777767010710612489870611028199\ 275007015063170892973*c_1001_2^34 + 6475045517460706921391993145475084085290784133269506270250648851388\ 7854571/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2^33 + 285860238269643443780118550106385954510\ 38369994672407696705370154900045782/1043906866459396047557777670107\ 10612489870611028199275007015063170892973*c_1001_2^32 + 1063418737006583038144419574310331631368098258431038790072777141553\ 645448265/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^31 - 2622060080328928408331383767531145358\ 5967189579516039321006109495797516348379/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^30 + 1276787150825870042939450730759417147150560830450467353264808431174\ 93028920667/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^29 - 20819927919404723498344994429448474\ 1987091638817300051036805706423674737509203/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^28 - 6693151972679894420231148417488566259484326064783085034130539635874\ 651482327/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^27 + 2073358436385168057275244324784508852\ 79239900859201835103723341518521468980234/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^26 + 5933971883832775854385066289025231800831741649476542654391167297653\ 5355515175/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^25 + 109921765372256407362599174478827577\ 506442981543967680734341379208158424858263/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^24 - 7289933021550458865149137837158861205545315194718712550136823024609\ 80686466446/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^23 - 14465655242747598972277934620308157\ 8790154513496773702889957729232114868591481/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^22 + 1446007793025944820795881376639087562164674310208004650926477561518\ 860658847205/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^21 - 3864973291006348098665523250292705\ 71181090542670600805892255594002774943692779/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^20 - 1190125068431285924261151654732290628076828070868007525643934570441\ 039213523422/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^19 + 7983342919034255101771983679316555\ 87205235839837971159350408792767550273427977/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^18 + 1183245148954126488609435368646944873851060384591893216029038209532\ 00857424021/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^17 - 59869767553183630819648337906343067\ 8393429666116005493203036046350720260938742/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^16 + 7590158471952926160695084743730048664739591573687303578000868019161\ 58318022230/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^15 + 10035412197860453799085885598292555\ 4337520710813689330560233149674256952982630/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^14 - 9040131837043657743336855735682329114058100839298029827709969180388\ 55888411908/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^13 + 20204104259926874295111748755904882\ 8960830732350424391503058913358344794472726/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^12 + 5844221510853427995354800692108791709397612413406284555193864857818\ 40570629288/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^11 - 21304913289950409591029482655084544\ 8482469031832645802546126370503993916370392/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^10 - 2458122417736833247895599865195394934137425522576978444935560446594\ 78677446082/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^9 + 109510415205354339271492294602404737\ 118118777205752886971120704024319188649608/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^8 + 6853698838187059454046702317249658094024766153838352418808100564943\ 4963050547/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^7 - 3352070273877042056558449410932842645\ 5172102961200555551533474255041983638469/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^6 - 1214138788865177338585676873511918991052751140643204078702369509370\ 7536034853/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^5 + 6017379716838976464521859137855533371\ 932790219575224171839790525503962903717/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^4 + 1233182459202124146680716871894590946548234416221937558947449292258\ 107084070/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^3 - 57654839055044134918288892904991482281\ 5823403304604473072774415588892594329/10439068664593960475577776701\ 0710612489870611028199275007015063170892973*c_1001_2^2 - 5449128111285080538145702049974957504801826513845816906366767366691\ 1400008/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2 + 226380986364761888919535216844991909960049\ 35608850261463104918383106948334/1043906866459396047557777670107106\ 12489870611028199275007015063170892973, c_0101_12 - 48208400632493395591083629725468477868333715088707652096183\ 981232805088230/104390686645939604755777767010710612489870611028199\ 275007015063170892973*c_1001_2^34 + 3061255958309108540537113999793472247344685194761574161362215598303\ 38588149/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^33 + 13152645614142460163553627470178966265\ 9624096056071399803225079847866741810/10439068664593960475577776701\ 0710612489870611028199275007015063170892973*c_1001_2^32 + 5030043111228823741065168128724234628726738433361807407054055643307\ 430710307/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^31 - 1238615531497567801051231347208267003\ 30238130857081966086340455557809001233295/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^30 + 6039812181482211277336951215507047562706910904317159217219476426630\ 51362298343/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^29 - 99094909270271527445709643030723964\ 5835452617302728665889390378120455769898251/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^28 - 8214053465474830049509240502199742268429449812884085038565856542678\ 957666678/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^27 + 9549075256622169202159692561827605347\ 80385574749666807113662004927973759163781/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^26 + 2673510549767996230036085264979751611150163761210786426365129993273\ 22831340934/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^25 + 54165126245635533654496526952808871\ 9630352570583348573441920962952078450288200/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^24 - 3432413552591729635767918116401785424338492696986769808662842884691\ 663156706167/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^23 - 6366864039499970337577772455244223\ 66707865173503682249286894196225019030170314/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^22 + 6740996620776258175469653648224960544218816346116099539088345324466\ 122691219502/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^21 - 1916670802034757527864348870207807\ 881933745573242547388370052263013801391749233/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^20 - 5431430298435054160819896971935243952997782389705810622732236830095\ 869514614628/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^19 + 3799185973282893445503736475124833\ 163156645909606833850708458525131495871870115/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^18 + 3881597690625299521612692343367142627803555167717481373175924202377\ 22062405668/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^17 - 27607261446070306137394013942772430\ 49748035233413203105420887958261429077903087/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^16 + 3619262909130577563642413695576594767043237752364952355262789368590\ 568838107737/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^15 + 3784398042558162594079495086782574\ 97063308458688525679334059814086548416535661/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^14 - 4182715270261107442051484146251960995604130614600797719175971514123\ 751536400634/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^13 + 1012984604363492712031052580848185\ 548704750988920540205062063491888452097762315/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^12 + 2647288585509413797180831729899461959955099470339699215803872394082\ 966076929551/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^11 - 1021817393850555731391543025900802\ 747384046625796142712890628555476337249164053/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^10 - 1086763883972841597629513717834848992918751092908748497894576299491\ 639551718552/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^9 + 51409092222087505870197452702007384\ 3446944900664397962672998242923788981163864/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^8 + 2929883907477933117687430419269978782042318428807202722616090385388\ 69981868162/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^7 - 154225344772215951757666251535296387\ 445729842754176445181466297064831813417120/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^6 - 4931457285813095042281878740299416367589257723700851724312081707908\ 6675973380/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^5 + 2701546196037040139001047695910516999\ 6036384870824686562727944108730921201260/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^4 + 4627414703561702002244396600814413739951252092163069171248490462579\ 251288465/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^3 - 25127913945957899732089663094799779519\ 19863217389839958670905280871500314876/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^2 - 1829219354622721973863753086985522162038095404980751868143170013618\ 24280495/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2 + 95336993613950556615233348838009697751412\ 313364222610094067008255309600578/104390686645939604755777767010710\ 612489870611028199275007015063170892973, c_0101_13 + 11011476826013173687011952566661404268535905361662369328590\ 439481356107936/104390686645939604755777767010710612489870611028199\ 275007015063170892973*c_1001_2^34 - 7021426422906448825805274068863854171538769954971408230523310502880\ 3926188/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2^33 - 281628122063837147350449553150666588860\ 35986516167635988331866746809588132/1043906866459396047557777670107\ 10612489870611028199275007015063170892973*c_1001_2^32 - 1148358173819912682931684469349536851624839696596961750151896839541\ 371798335/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^31 + 2832208350557396407102482463155679002\ 6852507269743758747746156361645029412272/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^30 - 1387086815661854019031552271597017436149086701052612869716920719770\ 32776698788/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^29 + 23007594211213664173015611967544301\ 2595822431436658332720419641679620030572621/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^28 - 4545080788136076755044960840106371444300671351190967364661986332634\ 836011151/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^27 - 2172760612903343661085869611662337637\ 81125462174852952232957571325337264670383/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^26 - 5587783469420352315870331970479176794276247524153711050080182809002\ 3566467881/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^25 - 122187587728414104127806793320039073\ 835422790743057884635452109300668191598361/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^24 + 7872610286786106965420828405272362117059454716465662938162998115664\ 18955389704/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^23 + 12397725985351049193675085831762238\ 2715446279508002051480492797893170245613230/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^22 - 1541254800605980872703191165841328334616377692256859972117486827463\ 617768056698/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^21 + 4776943402611429816917726339331607\ 23262821718670097242658155078559780394483298/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^20 + 1226222001370034923048637301237008173427222821968542357612833299656\ 202893791760/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^19 - 8973874357291296493799382533122962\ 27793589201949428737578126419519650754995089/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^18 - 6597685034511888570609345292348857704820295844139727868127192855254\ 9012574222/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^17 + 630252769383701304865438282970227052\ 424589926655534151920080958039185292019551/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^16 - 8402842934214490385974595448674649203533729836700696681371472906240\ 16216352744/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^15 - 64613028140355468756053021740257093\ 079032777406332073725256285113105637308245/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^14 + 9548353783220101838723749323661891611559718586782260387893607921952\ 23549609852/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^13 - 25483508551193818582164003760307958\ 2101769398888032583153052278955901233506022/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^12 - 5976803775164325094539734916203891318058556919742842393878111445419\ 00681617763/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^11 + 24775501996479131206113678416215464\ 5806629992393415674117330877211455428213610/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^10 + 2425063901743040684450457302253289946888875979841080247895214652131\ 90888887084/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^9 - 123270064756024968892799686130717964\ 721477009803124529498750150039698513592154/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^8 - 6442914926317778023130656816022473402080171841424575932493042354670\ 0252951843/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^7 + 3686714458152240479650279146465802560\ 8854866893650354876037868580569798998675/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^6 + 1063873744622394908187681294851379013735640559904840961483495703856\ 6722739453/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^5 - 6490438274583776380958675858448246933\ 093520483170785442028302794024082192573/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^4 - 9759113510681337339979997239919208047536891625601364451876518560079\ 85600058/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^3 + 615577055946778923739767754875318600345\ 447261086331809817636536866905676529/104390686645939604755777767010\ 710612489870611028199275007015063170892973*c_1001_2^2 + 3767957870790951267046193569741560236591741477728157167458494875979\ 1649665/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2 - 243058720515161833894227276314120087473919\ 81406753700499684459118029830673/1043906866459396047557777670107106\ 12489870611028199275007015063170892973, c_0101_8 - 689882773390711783294231761473390055659869193027640270366062\ 90995833160055/1043906866459396047557777670107106124898706110281992\ 75007015063170892973*c_1001_2^34 + 4472655944502031174255127324870860427620724052892902930994873028208\ 78647980/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^33 + 13112522560955951347151917479712259057\ 4599175271354383347379454577946768378/10439068664593960475577776701\ 0710612489870611028199275007015063170892973*c_1001_2^32 + 7166338764206513640757639860129471246305765974796962582635988447174\ 678794390/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^31 - 1782199429866325762806803480968710816\ 61647861148845923744100975420874953168683/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^30 + 8877938520483108895515672263119483378628782697576545514268132093752\ 09801413886/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^29 - 15301108224399775579173883980986407\ 59933566529561934295385311564742094633620033/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^28 + 1643044424385541805716442339185484315136852328519663147872839475842\ 70071257212/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^27 + 13801177334804595643125742111041181\ 19917166515437917844192603914003022582185149/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^26 + 2229542595420534709595714993925885918312637798198792081562802358935\ 45044896644/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^25 + 69892755437079102061621832640501334\ 5847267580863185465370878005755538964173617/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^24 - 5040668614488819860848113291550015697575561745522540395262193849676\ 932803714538/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^23 - 2783130219911716602064809546601007\ 13124889813362211551899127932411973350696286/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^22 + 9841935197956688051571315313854040381193403216956566036783642334082\ 035145160762/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^21 - 3934735815684643175357822081735069\ 586230749088669707216266392858866604377270423/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^20 - 7565511577881133388089378984989498360124950399021829428964998957768\ 939372429563/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^19 + 6379263752166806476738798544850172\ 978279936287361735625053187859746101138745240/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^18 + 9271299064885867712287375297654547301299765304838654547099561386629\ 302610985/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^17 - 4015594426248031259709519177191810143\ 971782168628124365509926521632048379725429/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^16 + 5621680421433038308233630458528994950451062373122203375625789165748\ 998209823095/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^15 - 7723438105472365469106331345316759\ 8572883687009065501849061344800387056079192/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^14 - 6099865198571344941724501761412028154753322700715260570600241116827\ 369851808560/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^13 + 2159231010686978443440507297213768\ 185535139254455256787031664903241938212046727/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^12 + 3697440190134362814166450463475787058427930725772024555524153343348\ 004030810475/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^11 - 1909031231614030325247799293729079\ 680066825812620701456443308979283425021236061/104390686645939604755\ 777767010710612489870611028199275007015063170892973*c_1001_2^10 - 1447082158546156508901066212323792064313548495918389005604111667318\ 805959827120/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^9 + 91850879750158360977841115004732821\ 5263591853286523869954666660460553002380568/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^8 + 3663529984593202266008414653678162930016889273171323486312686748113\ 16497330672/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^7 - 269987763026449600031922931621399564\ 936411135252901349481811309185979674935055/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^6 - 5649482906044129573264873698223372433144188556250457589274287622369\ 1179332488/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^5 + 4698944455059800850218812127261755596\ 7240246888612182962943841844220343847811/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^4 + 4737256348167722871987104564660110984367552182326830173913023561328\ 480787592/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^3 - 43823519945485141410524995981368622888\ 11688298143067553960163324218636804690/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^2 - 1639754516572449986781247559819585183408845412816487416510617804718\ 41193333/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2 + 16768285294113501713039670548780207743853\ 8460424252817519027875789123996787/10439068664593960475577776701071\ 0612489870611028199275007015063170892973, c_0101_9 + 498495544515606748124003102808324790694233612501542782569807\ 6731523713679/10439068664593960475577776701071061248987061102819927\ 5007015063170892973*c_1001_2^34 - 280060112006363723552024505489244\ 06691589892950190536407691087189504708751/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^33 - 3626438832092293610912105092686898820003405460598586507951235794911\ 1526560/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2^32 - 532812862561365587367253700959494641327\ 219803977968800165899233885210172105/104390686645939604755777767010\ 710612489870611028199275007015063170892973*c_1001_2^31 + 1242272920893388494794686740684400326283269085278781714940575723881\ 2181904512/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^30 - 531338774125046710362276370461784345\ 41132856486024974236957767014211833048304/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^29 + 5800347704240523037086870886722093021725926001998005504889166976077\ 6819511561/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^28 + 707451529960019506524199362063743115\ 68199636328459509171806782788362636511201/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^27 - 9364888617312468604132060260016160372327806573158800856539722918789\ 7588700554/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^26 - 902333971452633048451138635801467800\ 22550300145613631231290811373750354804410/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^25 - 8639649146232890399562919282769478898393286552106067582613741669545\ 1835893119/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^24 + 303183077727796902345679825721714246\ 623365943247769840705143614514793580751750/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^23 + 3165315044288667924315249557549630344053449294103181523361071546250\ 45589679812/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^22 - 61959776775111903551772404825836889\ 2330003090058293545632764828708840768586232/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^21 - 2721895899197128560898810407400354831745223289899284597371745455466\ 18707452209/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^20 + 64366332144036515529643924843796017\ 4767153599531457576083829068796699377440449/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^19 - 2300211175653320465955448827407842281587693420639845114839369674128\ 1851624765/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^18 - 255395407704511014135874805847849659\ 785249203738623764492781541004528573467457/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^17 + 2622934051247964425139126723941495310106453441806647341585419152724\ 84495553525/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^16 - 20065773938422959592056499498468348\ 3759916845930563267759407746305703532130987/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^15 - 2840715860699416004023307875860715257776327794897699774714045436793\ 33304395806/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^14 + 38814754829358410301975817303739151\ 4322026821735490969771717207507846089855928/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^13 + 1743295886406680326698695896391982999622413593007197233782542369259\ 14798039052/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^12 - 30956877904596188570750777647033149\ 1390112968981199057298092198460807403440797/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^11 - 6930509037844099431302573462743608396769708308150641513696891132774\ 1898762761/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^10 + 154587098007579682428903657294826486\ 894650606111236042500159285390207234160707/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^9 + 1813294800974833606167448880207058739978244162203271670084873828593\ 1661061515/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^8 - 5080612064253170507429809224909234649\ 0448233929064509408227111483852932190154/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^7 - 3177196098288824441220161831593271699993760761118502133609974700621\ 504189783/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^6 + 10495591798784525480820751202505421949\ 361403693202997844869254594299806276460/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^5 + 4205580231091443305884040711418101970627495410295511173504372189041\ 45255776/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^4 - 118659405283267110130447442461857482234\ 4270701671375094161122804521952177572/10439068664593960475577776701\ 0710612489870611028199275007015063170892973*c_1001_2^3 - 4221921756410164608530057502854422489191359793235189125518563514091\ 7341294/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2^2 + 5447331731877354325567008372009975310592\ 3752580147708820709284185325562444/10439068664593960475577776701071\ 0612489870611028199275007015063170892973*c_1001_2 + 2135035022265464395277255430272019215882820181781272294109105963891\ 653447/104390686645939604755777767010710612489870611028199275007015\ 063170892973, c_1001_0 - 202472331830533111097838915354623631857883670654419010778624\ 9245947348768/10439068664593960475577776701071061248987061102819927\ 5007015063170892973*c_1001_2^34 + 128620401958792346614740981247715\ 35601543175418438685886063834523325040324/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^33 + 5453377011941456972914389633808091533016790079364024134055113438879\ 726889/104390686645939604755777767010710612489870611028199275007015\ 063170892973*c_1001_2^32 + 2114812588743057983337652938630171633738\ 94313105122446313866513571799393258/1043906866459396047557777670107\ 10612489870611028199275007015063170892973*c_1001_2^31 - 5202448317482396347734818133052220655704396871511588544682987306168\ 747652023/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^30 + 2538375775026637685572989522800964176\ 2712657810076563067835283997595667519680/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^29 - 4178062491526685457844687329882685217842745260934361488148258858140\ 6058577486/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^28 + 215991782877628855062940931865947019\ 977065098247814089066517098064908157162/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^27 + 3943421861284811706294175990306068226035044716311755102287525608942\ 1084729928/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^26 + 109856001501734747587009977223309984\ 09657290887593190006520989661421515686140/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^25 + 2332558360810048738893359457538741177499771784454925904429669896308\ 6464580940/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^24 - 143837747321846993824315249884579385\ 664370005153532798486221143592905819857568/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^23 - 2565447012247745002265248386074926255175822041104200468278825607123\ 2241633734/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^22 + 280665831132767443461202230035901275\ 693440321599213895927408551733280666091428/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^21 - 8243982929241440129357557331958598349754139220797421551491677071187\ 2539543484/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^20 - 223336825951659749921186640581081295\ 928387669034732215447772897418661272871843/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^19 + 1598734611676840361112043879017122909247637458530335874296868466820\ 72942887298/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^18 + 12433705095351462902149347245734104\ 557497666848319975629624417124190060627634/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^17 - 1142046613209803944389983314038893565397290105540030989223993782038\ 64310484581/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^16 + 15233137008203294821207649602242880\ 2759541294163853300738401178928196800480814/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^15 + 1381206608279936444087553334575459012171433701023845705182594396056\ 7331108359/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^14 - 173256533347472133603779097148101443\ 601185309963835108578939306512140319428234/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^13 + 4365076119970839435752024329069939843185650960458041601239580685839\ 6003324914/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^12 + 108465142972587750445214108183611471\ 823533497020008145872212907720229541210393/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^11 - 4312049517024815411192272632884383277307578414677855479318586867230\ 9517442415/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^10 - 440040439551576659171715336710545662\ 23293656766582106275800757702336093070792/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^9 + 2148762593200372958502570540318165921099494600992693622281440201034\ 9806773514/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^8 + 1168485403402560044330277484602258092\ 4208762736521031265477675950448392609672/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^7 - 6400158095382345911772536444439701716514445891709790062544409311319\ 576982485/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^6 - 19270022259160511180347439625537871690\ 18743636937058946262357530229738901225/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^5 + 1115835924105665646784970910616062525795589399838982211830926631337\ 912632065/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^4 + 17642442029716007565405120622649800247\ 3076590606042989342576839689735710911/10439068664593960475577776701\ 0710612489870611028199275007015063170892973*c_1001_2^3 - 1040211512460219232045432899545327636979540010089765862964477994520\ 50665508/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^2 - 679550362283386619264387688665958242754\ 5010543638437253726286058942205613/10439068664593960475577776701071\ 0612489870611028199275007015063170892973*c_1001_2 + 3917548835192747672368599145472029534896910582953325149162813436447\ 671164/104390686645939604755777767010710612489870611028199275007015\ 063170892973, c_1001_11 + 73152083677844083135371401767296707664591836916072896827634\ 98747955391203/1043906866459396047557777670107106124898706110281992\ 75007015063170892973*c_1001_2^34 - 4747120990091134464896825079079513353782521080730804394068003509366\ 8307864/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2^33 - 137561829120846481229624035994337214362\ 64231797767186049093155390112171980/1043906866459396047557777670107\ 10612489870611028199275007015063170892973*c_1001_2^32 - 7589007403489959008661772156846783907568317056443037221391438296251\ 30491232/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^31 + 18902849046914987141117261668695357007\ 362231146964080267956484389033259947662/104390686645939604755777767\ 010710612489870611028199275007015063170892973*c_1001_2^30 - 9423904781189172838914429070589683064026666075191137686985713319040\ 4502855426/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^29 + 162456867577227697782484060502893727\ 469399721650848321023425704998455103855589/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^28 - 1665902208422993556128183648667643811435000855576096454282675028207\ 1985207956/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^27 - 148999609357594243151050419760703037\ 573530540109773361895916019012157165569972/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^26 - 2294845521816334740718404987837753594966599581724266869004515318666\ 8265731082/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^25 - 715275497189316959744062507873198551\ 93710765323032479916922611758710859047968/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^24 + 5362228370079055342888177721430761404406175645508743636716374829262\ 03882265768/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^23 + 28302476041667542981846577737733554\ 031577079844791694879479300887038045531563/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^22 - 1053707651686764671757013764677001106615843952557308837780293030754\ 598244200216/104390686645939604755777767010710612489870611028199275\ 007015063170892973*c_1001_2^21 + 4204409320751025849996777539673357\ 59882948984797761001780069225731414370135401/1043906866459396047557\ 77767010710612489870611028199275007015063170892973*c_1001_2^20 + 8181515256687243584275334165541902273717138131262099154103002692802\ 22822412494/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^19 - 68435041680931697646575418101881552\ 3354274781016137671052656166367003115741544/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^18 - 1128899198679053087162583190093457640133085937293902642892786837786\ 0802560464/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^17 + 434077203871608174908295635121117396\ 681232568897190656884555619407094951451915/104390686645939604755777\ 767010710612489870611028199275007015063170892973*c_1001_2^16 - 5979053011546560028780769714323535655448333361769356587978907056423\ 02580473261/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^15 + 50360297746297421761641308038340355\ 37076350284042266981588379643479204228975/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^14 + 6564520185135282210108225704703948987054646761383220873396054685947\ 24683820763/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^13 - 23106080887164507706996692510026451\ 0712660857234009229709900792242145870048360/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^12 - 4016229895528326697330859666697571246804653294030511969345374019132\ 23032156111/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^11 + 20611099811537519456796584232618439\ 8434429249159758322020443437332459677831621/10439068664593960475577\ 7767010710612489870611028199275007015063170892973*c_1001_2^10 + 1590182508290579796732102500387746481341046583635437666259565120812\ 89471056302/1043906866459396047557777670107106124898706110281992750\ 07015063170892973*c_1001_2^9 - 999251510012512267526216375056989569\ 35789779735603865660807167400828622422992/1043906866459396047557777\ 67010710612489870611028199275007015063170892973*c_1001_2^8 - 4098323293591483259699424524222793875939058516671251289895568179644\ 2720094921/10439068664593960475577776701071061248987061102819927500\ 7015063170892973*c_1001_2^7 + 2965076913346736223887690724512168817\ 1677761367915573981721348440474388368222/10439068664593960475577776\ 7010710612489870611028199275007015063170892973*c_1001_2^6 + 6522928023463923327848652960312753385022069172593350090769121876084\ 170105456/104390686645939604755777767010710612489870611028199275007\ 015063170892973*c_1001_2^5 - 52286215925712250318170317063926715196\ 12348860278373341998796092284510213930/1043906866459396047557777670\ 10710612489870611028199275007015063170892973*c_1001_2^4 - 5804647297852509382142020049756203687274984855141276415877091529170\ 97732857/1043906866459396047557777670107106124898706110281992750070\ 15063170892973*c_1001_2^3 + 495970076934645241435604665788759479783\ 889345586120639628687705565821534586/104390686645939604755777767010\ 710612489870611028199275007015063170892973*c_1001_2^2 + 2242906561686497897737913677403485937612328422862162476852018769783\ 7026762/10439068664593960475577776701071061248987061102819927500701\ 5063170892973*c_1001_2 - 193725069233229965946862461874797697598752\ 45161413942102246707551131357913/1043906866459396047557777670107106\ 12489870611028199275007015063170892973, c_1001_2^35 - 6*c_1001_2^34 - 5*c_1001_2^33 - 105*c_1001_2^32 + 2533*c_1001_2^31 - 11624*c_1001_2^30 + 16046*c_1001_2^29 + 7938*c_1001_2^28 - 20566*c_1001_2^27 - 12759*c_1001_2^26 - 12292*c_1001_2^25 + 67827*c_1001_2^24 + 38856*c_1001_2^23 - 138456*c_1001_2^22 - 10901*c_1001_2^21 + 132889*c_1001_2^20 - 39248*c_1001_2^19 - 41155*c_1001_2^18 + 56511*c_1001_2^17 - 53929*c_1001_2^16 - 36594*c_1001_2^15 + 86885*c_1001_2^14 + 10696*c_1001_2^13 - 66102*c_1001_2^12 + 1747*c_1001_2^11 + 32601*c_1001_2^10 - 2953*c_1001_2^9 - 10987*c_1001_2^8 + 1214*c_1001_2^7 + 2492*c_1001_2^6 - 247*c_1001_2^5 - 358*c_1001_2^4 + 25*c_1001_2^3 + 29*c_1001_2^2 - c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.150 Total time: 5.360 seconds, Total memory usage: 64.12MB