Magma V2.19-8 Wed Aug 21 2013 00:50:00 on localhost [Seed = 3381648649] Type ? for help. Type -D to quit. Loading file "K14n9995__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9995 geometric_solution 12.25944921 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497876552173 0.609368283193 0 5 7 6 0132 0132 0132 0132 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 5 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985778059966 0.896646244136 3 0 7 8 0321 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 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.874524386966 0.454520553631 2 9 10 0 0321 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476059099936 1.041350418537 9 6 0 11 3201 0321 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 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.642241355409 0.642358227968 6 1 12 11 0213 0132 0132 3201 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 -1 0 0 1 4 -5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754120421790 0.546615744598 5 7 1 4 0213 2103 0132 0321 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 1 0 -1 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499153990204 0.668405307483 12 6 2 1 1302 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864732011734 1.617519599195 10 9 2 11 2103 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577287396038 0.474154000119 12 3 8 4 2031 0132 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.982943106939 0.827641028263 12 11 8 3 0321 3012 2103 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727058164530 0.795347164703 10 5 4 8 1230 2310 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 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.688296858723 1.142126527616 10 7 9 5 0321 2031 1302 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 0.285322636211 1.107183854313 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_1']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_3']), '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_1100_9' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0110_8']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_0110_8']), 'c_1100_3' : negation(d['c_0110_8']), 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_8']), 'c_1100_10' : negation(d['c_0110_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0011_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' : negation(d['c_0011_11']), '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_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_7, c_0101_1, c_0101_11, c_0110_8, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 1397117267727511161190777365684114121631212118485051133945926821576\ 94067673511376912124134387/2415461857881007933465286485752101506939\ 664054877006776109152925917171583304702571798825645*c_1001_2^26 + 5470213529240377398481396680449563936383166031191729424203842465728\ 37172101231401753030714/2345108599884473721810957753157380103824916\ 5581330162874846144911817199837909733706784715*c_1001_2^25 + 4783963817768257822186554619839663314678118819340066932396712589860\ 319362795431738082643015909/966184743152403173386114594300840602775\ 8656219508027104436611703668686333218810287195302580*c_1001_2^24 + 2251432255978177698348003453808324351317128881594354184089672084236\ 7836128424763231871635685371/96618474315240317338611459430084060277\ 58656219508027104436611703668686333218810287195302580*c_1001_2^23 - 2872685938700835047436309059583766021258325210680960286541988954683\ 9830589696553803946032215983/19323694863048063467722291886016812055\ 51731243901605420887322340733737266643762057439060516*c_1001_2^22 + 3070422743391366562486359556555053643914593008524426789682960627906\ 82198594131391533543404049261/9661847431524031733861145943008406027\ 758656219508027104436611703668686333218810287195302580*c_1001_2^21 - 9701952534140113973408845033618943446027924532619935560521807478691\ 4474958282660618767254767515/19323694863048063467722291886016812055\ 51731243901605420887322340733737266643762057439060516*c_1001_2^20 + 8221090774989871354807777191880592195044814372025955009828790290901\ 54265952972561870497182067691/9661847431524031733861145943008406027\ 758656219508027104436611703668686333218810287195302580*c_1001_2^19 - 2085653185701662414302164150540049521029246601292631389448837102934\ 456064801565474075907183259851/966184743152403173386114594300840602\ 7758656219508027104436611703668686333218810287195302580*c_1001_2^18 + 45343384504930219738692894016414744699757626200938896222999301758\ 14344343266543018635406457214803/9661847431524031733861145943008406\ 027758656219508027104436611703668686333218810287195302580*c_1001_2^\ 17 - 30509155519025195315388725022460157793781958747969927158385251\ 2930499825486106260550753059344762/48309237157620158669305729715042\ 0301387932810975401355221830585183434316660940514359765129*c_1001_2\ ^16 + 4690388437276622462568057849526202222456651942594365771022935\ 258226613249155499996859283839603051/966184743152403173386114594300\ 8406027758656219508027104436611703668686333218810287195302580*c_100\ 1_2^15 - 8840832123302843418995132951242181895909079522137210327814\ 92032656513488901354848962039370344266/2415461857881007933465286485\ 752101506939664054877006776109152925917171583304702571798825645*c_1\ 001_2^14 + 21306392352209411243949102827688126971090713993839996114\ 31140550752779315473173656383792934288602/2415461857881007933465286\ 485752101506939664054877006776109152925917171583304702571798825645*\ c_1001_2^13 - 44114348974203026100937652221986548993188870505949217\ 83589464579535244408567372057893340961079196/2415461857881007933465\ 2864857521015069396640548770067761091529259171715833047025717988256\ 45*c_1001_2^12 + 21731035795988668196584285652342246607844232102992\ 730383717421265228597182917041972804971803845287/966184743152403173\ 3861145943008406027758656219508027104436611703668686333218810287195\ 302580*c_1001_2^11 - 1863873712749280433812589164492700391793460379\ 4676577726152685933309132073236401085094127487224681/96618474315240\ 3173386114594300840602775865621950802710443661170366868633321881028\ 7195302580*c_1001_2^10 + 152666526882560249771065484899883662542846\ 37362790795909767635300222968705268145381578960828299319/9661847431\ 5240317338611459430084060277586562195080271044366117036686863332188\ 10287195302580*c_1001_2^9 - 372478386397497535893192494780835413009\ 4431451786390852249179902619082192625385043979702186887833/24154618\ 5788100793346528648575210150693966405487700677610915292591717158330\ 4702571798825645*c_1001_2^8 + 1289188328062937615824930761404086727\ 3789234892342223419187667064696284702039327436601374169847/92724063\ 6422651797875349898561267373105437257150482447642669069449969897621\ 7668221876490*c_1001_2^7 - 9384187050999259519142764256043320344181\ 813161039874436250648071640776691716516222663898863914723/966184743\ 1524031733861145943008406027758656219508027104436611703668686333218\ 810287195302580*c_1001_2^6 + 15403230792890180022063459750472737395\ 98262293193718108239635601869568316097042300245889097851282/2415461\ 8578810079334652864857521015069396640548770067761091529259171715833\ 04702571798825645*c_1001_2^5 - 119468371912412293470640445226312294\ 05945218437304368682504264901361655683442428052489658794071/2611310\ 1166281166848273367413536232507455827620291965147125977577482936035\ 726514289717034*c_1001_2^4 + 26712651366927433752975933736615192616\ 59157920231511853169662821597501384011723359508461383215839/9661847\ 4315240317338611459430084060277586562195080271044366117036686863332\ 18810287195302580*c_1001_2^3 - 110635415309763239164559498073082035\ 4855348154618439696818414838079404428552631244754950886251191/96618\ 4743152403173386114594300840602775865621950802710443661170366868633\ 3218810287195302580*c_1001_2^2 + 1408260464976863537678235994784593\ 91797971734681349432159161250848107502615919343556888035791129/4830\ 9237157620158669305729715042030138793281097540135522183058518343431\ 66609405143597651290*c_1001_2 - 33674376991119787848360876903660790\ 429920679679499491313678860788668532954035823649277499972103/966184\ 7431524031733861145943008406027758656219508027104436611703668686333\ 218810287195302580, c_0011_0 - 1, c_0011_10 - 21753122200650978881984752218891852764049487960129928389528\ 177568100501640/237315665821399139028124812982955487346141245339692\ 000209056813512388530567*c_1001_2^26 - 1498187392038408709361120307700019328140636620787447571257120129307\ 1510284/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 + 178952758158298950789947800447457240\ 540232151148069133099300481323181447546/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 + 1074033698822364749018837030484464339722743556687504272068065968368\ 971505275/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^23 - 4494036349394529742553569521582131\ 590563988606954796854738180508904338773010/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^22 + 6628477956199312223091676258488193508264111838540105338767461628770\ 175795254/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 9580360559747027867462628303872345\ 127553158378095802219399975478696227630199/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^20 + 1785885731359710792510808029297614871619329573118391749669850376811\ 6746124990/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 560698499287384429356173116050135\ 88704543857881069399801683579095244391508736/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 1053628289580306761770327918075460492537651998996693721033424328742\ 45499284531/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^17 - 9469286756433288452266048819652397641891970355570680470762357918548\ 3171384796/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^16 + 229351572310427933605194634130527\ 09818897018779216336354224985976153253715317/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^15 - 4843717111950154484931026964650014752375422536805144620956449646743\ 5744220763/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^14 + 241471883627733999835164498150067\ 849231078432646534989479778747869274730335166/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^13 - 3871196292261764863921414062397678087726497581682647991244854590564\ 88916548246/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 3066446209286371786615872866483592568039812959573227297356933962034\ 09267938154/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 1774764304349405037637648530245132780045331196491393827886191246951\ 33353181385/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 + 1789678768051311316935003666249223982530715326072872025654181474665\ 86173841104/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 - 214655504297630084853913864794181\ 891603639579859262402703986620229020736439110/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 + 1412509403675048292272444322768458448232743762168610975515186862578\ 22269460900/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^7 - 579645186046202966691812839010368\ 90917470763331120492393249104657830299817305/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^6 + 5072858960648776468851607741736595937159712167125418592598519538891\ 9689554679/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^5 - 3782313552621269314494472136862047\ 6198004572135699862023102972188434706598989/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^4 + 7873413550909494444191637841689153370701755643695190732712856239572\ 433355604/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^3 + 45063660292900753576046855142320839\ 70892127083358418014355771175642049302948/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^2 - 4013587562549503365752217454546886842215201632800249087406218751278\ 575299192/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 + 9021447807151987709767693742761887678\ 49208407776151593240223653921549590822/2373156658213991390281248129\ 82955487346141245339692000209056813512388530567, c_0011_11 - 26225111098089775508062127796812653489777644878026539942228\ 338501800710060/237315665821399139028124812982955487346141245339692\ 000209056813512388530567*c_1001_2^26 - 1612962948186104311801684937025455368754744518742794153514582552396\ 4724360/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 + 220318598205717516780550133227961882\ 364598985037876382124675814379611485849/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 + 1283784927760150273334018921426387262800598619903045957525050672478\ 085813911/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^23 - 5536558320983539230576917899015151\ 858123584371188918961416636275157172008816/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^22 + 8210636911475621213447757009150135690212674715423969894308670713771\ 749393595/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 1160941250414214084851444111997190\ 0968689753978290291676153852238644071155177/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^20 + 2184308866907889576312941936573543539702445424589311319736729485538\ 8240025147/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 682548106494180819022701845401630\ 23180722516921240434963587531022250200852352/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 1301356724072409801182751451439938028848518256776106881562005036379\ 94128330435/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^17 - 1167481323621492251423795784451107058412535642252144039706595193139\ 58914015329/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^16 + 2601348437732787217143880539203131026458312312936563309370661804522\ 4358856048/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^15 - 552341560461921137553465534421720\ 55395747588514079780237043176978637628828265/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^14 + 2973371397633432192112174298873743963067195431395713214350278635526\ 74376496542/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 - 4795882456325336647319572859185324639415084106344881963574645876182\ 70614794010/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 3743263772623921335761592479123615057056450169771225554943066498768\ 14242552767/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 2087714426803709023019617929344240056373562667311813252834397138973\ 19502362288/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 + 2160693496744182423833393867162684946981453846644164466562437933734\ 99481675848/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 - 263935694836925149005316802697197\ 539080901941192599559590814825312351221089049/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 + 1714093262904736310610291251417439587426227195876974066890770063709\ 19878377379/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^7 - 652308126298830922114672888574176\ 91267335242427285267245177216447769380989440/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^6 + 6189907342074020285147156728699324348944093920552299035494568280621\ 6196233451/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^5 - 4765772963621201551778980332270871\ 9981392009123400488846813042563725158296608/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^4 + 7186497762949340329551457575321689908675298746978870724813272825050\ 767420513/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^3 + 65806543850844532759889615931807107\ 61408530966613671417418773848182485385353/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^2 - 4753832859628104164111245430681706917171392490239298114821507398733\ 791016198/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 + 1103069864406365675786182022301781219\ 706014007786711718120589344216073576116/237315665821399139028124812\ 982955487346141245339692000209056813512388530567, c_0011_12 - 14759307715450813191850926835337523533661596963945185707035\ 849026146511052/237315665821399139028124812982955487346141245339692\ 000209056813512388530567*c_1001_2^26 - 1404531670760623471006584670517695052212740843027854057553552381774\ 8900528/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 + 118080506986902640805268101400379333\ 825614653118445341484726658074042958717/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 + 7611344382235178905524425440362936435172579995308363252104616400978\ 14005033/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567*c_1001_2^23 - 28505913309097970585846134387099154\ 42646585048671440176436407820442439432535/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^22 + 3721745317197814103683142447847645880520612742785550594067725063201\ 661777957/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 5508837612340309176462408356666693\ 919307912756673485996435166880087762458763/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^20 + 1076097035066881267093719337579283865952149888847541964830881793723\ 0119701955/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 352794502409652497942602934653778\ 92748975176564021453402064903501066346146085/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 6226025209950154327722995415287779970872269481212028182744879025468\ 0558181195/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^17 - 476679662068617810274218291394036\ 81677962051838413286073224859457282083828499/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^16 + 3764438729920908565731897336679241720074372045591753606429268229545\ 941801786/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^15 - 3429115771039216723585389319492845\ 3112858714223093394601516822053228199559227/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^14 + 1567553800117334928527523480979803181368797144130681448616232419827\ 92973423469/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 - 2199035862147275668885243914366764289900010215189126048732370171592\ 98681954734/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 1488834799405847914529069733871705806539380444514255700757221774164\ 56449043033/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 8606371228906999135495118787375209919494648467201852572346923367797\ 1346002170/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^10 + 106977962546280491954907991395524\ 200481820692399613208361274410464535594184016/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^9 - 1212519030155601063428209070272075490913422126726629933054248016586\ 76606077957/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^8 + 646103066043823845622671619605810\ 53659177600856387086701989100881710786601601/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^7 - 2518984188554962471029849127931087082025276803558366759984687865764\ 7348343259/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^6 + 3205397958829472497006025388358307\ 3429936286329060284569455426854000301037484/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^5 - 1825862449687057063084100670426891947327588433460417738021332151855\ 6089798248/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^4 + 1824927623478236293037185390146669\ 02231796207645934311295510669615410913413/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^3 + 1848118881072009212430150960974503177166583574155514255513664881643\ 346542100/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^2 - 16629059708252642973053594558213651\ 97788804873352490835254273110125159370210/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2 + 4628268150099957728731496193329856441927086902421632432812361431020\ 21342574/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567, c_0011_3 + 386865545683814967850683180746815060058881832532249334178940\ 71381957827976/2373156658213991390281248129829554873461412453396920\ 00209056813512388530567*c_1001_2^26 + 1669391715942552198062399046681855434896828136888098051509162615593\ 5504580/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 - 331487166828350661581499819357106409\ 371536821633995482935242496618418422030/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 - 1836417536552979157955602114254743164700186300749513231751508352109\ 587091277/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^23 + 8531328977409020402327245323642104\ 670545765775044016647395004000041286206575/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^22 - 1350093443115487433377901971882372813586725543636720452286482993122\ 7685067793/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^21 + 189550655454141594190601818439653\ 56548759519075669919622900584139777629535773/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^20 - 3486297738397703585187814073756744214191604547266038243859271219848\ 3587724185/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 + 105855585101866729263904531359964\ 758580681081168901905005679809549965870196608/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^18 - 2090281684592577893248646378989341504361934504166340722830942511075\ 93236971700/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^17 + 2025734261354039652221257557246612265598609223717978631527411881096\ 42239813474/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^16 - 6162513120984662920026720627832261797293550942439862311460802429291\ 0156678722/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^15 + 824178870720808892365064677107010\ 08383007315973678083395321219458034480505071/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^14 - 4538548757840617624487625535942839830096414788909730568202115286556\ 04428754147/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 + 7839275406136917592652848841870531234254416425751893528681557468503\ 16114202044/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 - 6608089529102173829796577071680405542861694600710166070623910441623\ 19121225493/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 + 3793785937324561840334594520923729949139187056347850811856886775994\ 82964900535/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 - 3561874191692950436088194314190518924892649924360844748671758034060\ 45167808473/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 + 439171338373113147483649509357167\ 906838428694917162343350985682684103562043240/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 - 3128850393373588713871047132350298589191341099818599706355313309840\ 33426163942/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^7 + 127707387846552389725927711799918\ 008202606094957538354454545820381129703859875/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^6 - 1010240035897465349438293210061761090643074958270095223624761728241\ 10270814442/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^5 + 848969211426520167022984695096657\ 64578337580987708276732036657898526639251386/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^4 - 2077709269276941676918978439523534395735341951101447135740025439201\ 7461542020/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^3 - 9569651010462896706819055678012038\ 990163953856890080463302901298189903909103/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^2 + 8598155570037424163814221829710574510076839906195473615262299578328\ 557249968/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 - 2259354613051338987775681681222495604\ 380684927043033972032364821452197328262/237315665821399139028124812\ 982955487346141245339692000209056813512388530567, c_0011_4 + 170224432807168417427733386695633047203798877057800357643543\ 83302216684352/2373156658213991390281248129829554873461412453396920\ 00209056813512388530567*c_1001_2^26 + 5341098475288570933313041862996801256108462857486501742107887730453\ 025512/237315665821399139028124812982955487346141245339692000209056\ 813512388530567*c_1001_2^25 - 1472677499402773802693458239248374870\ 34759768551431830981650705683778588588/2373156658213991390281248129\ 82955487346141245339692000209056813512388530567*c_1001_2^24 - 7905040286056987135054078746119238890576534120498464692498472801144\ 18648602/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567*c_1001_2^23 + 38553017885403381993587842656765265\ 43116170138074751984160556813684620676199/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^22 - 6359661069918571472342734791650731278286208814908151549788271647200\ 420674382/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 + 8881811429426097360766324738411322\ 206806652067068018401277159258879628964773/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^20 - 1607569441083639820497942293813799075759558009152324439774463833388\ 4058165127/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 + 481237484185465799275934286320335\ 62226731185207545018286996105962857529923398/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 - 9689492349419712560195944811323347564350488913364857439775513037779\ 6072647761/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^17 + 983311161174837005198761572138730\ 07568528198661806749902330510934402148894870/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^16 - 3380030669024079797130313140406852158717291828285663221943018731039\ 2380881959/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^15 + 361920642888685865152622325193199\ 44799491077992805185237654603216770712479799/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^14 - 2040742915401668540225754216396786052299627855959185906731292326983\ 51475198646/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 + 3685185697836091491752864011660629536758004819261736871101428117865\ 57134981458/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 - 3231369288357289073239182492528844345633264724053676698965981851398\ 53192210225/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 + 1867144622272169843557474278851700215495144973061544032987906225371\ 44217840881/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 - 1669814360633157465991038802831523676848556092480041765810725407801\ 85080296856/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 + 209324531511531559681812421156239\ 492175073843397802817155041874225060176172878/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 - 1564786555540222188155933807498278008486036168627231899883351480738\ 39985593410/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^7 + 656860495055599405776760050142193\ 06096563669873720106005588053590869275952495/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^6 - 4713787009290894982545478670907962466539514463101228337056688845652\ 3599376188/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^5 + 4274684349366229987410677250588156\ 3472440769469662100575666138409962578851376/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^4 - 1206477198461783460440224755472481248670551672030646042826563102170\ 8108300919/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^3 - 4397046817029425187251498009145214\ 602993841989002727158785964271480989698852/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^2 + 3690711956080578151516250265355496924548958013118993394434263151290\ 297456398/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 - 1147168398676457184081030559097131328\ 040833322251772513163546078018678720303/237315665821399139028124812\ 982955487346141245339692000209056813512388530567, c_0011_7 - 101685213100937723115135953889909259778789027438707291394735\ 09863927002796/2373156658213991390281248129829554873461412453396920\ 00209056813512388530567*c_1001_2^26 - 6898840362789745288250263159868574090000093529650261003335190638644\ 423004/237315665821399139028124812982955487346141245339692000209056\ 813512388530567*c_1001_2^25 + 8379795379303048466493291934172821031\ 1037799974894118257378829454089662229/23731566582139913902812481298\ 2955487346141245339692000209056813512388530567*c_1001_2^24 + 5009895610873461322920286497401044483995698561995405718412131861944\ 28443422/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567*c_1001_2^23 - 21071566237964338069227096952516496\ 20165835226554190367873312347604738217470/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^22 + 3117646029795579162843703380782597904090198383259286781036115607390\ 122159304/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 4478976996548649374530517528051622\ 453161901493215493897585146560003135226208/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^20 + 8344802946735036186105114226205648231409585259876497743931030149472\ 706633382/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^19 - 2624794275622598233406784234357091\ 4056685948349203132771992518044921886242218/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^18 + 4939334049834118389623688476463241065333337010176959270276535955966\ 3771471291/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^17 - 444759893104275542513016135002607\ 40421404782157771609744233729965795245388544/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^16 + 1036880366573695401311501233555273826478594652526171253008227885979\ 8369895351/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^15 - 220468454631991338387774573014142\ 66763018003474278190854727227228831121840264/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^14 + 1129729531028005648670113159748538429090551575191648307577443692787\ 02176575316/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 - 1819533776573796694301684414086913427362387371495161012838000442747\ 33756777028/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 1434354649664641969564874795048554070756441938570873843068003461874\ 77504126746/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 8178253251269465784118529658123379354270289842006923901821151788652\ 8050545570/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^10 + 826283753595133515698830943832919\ 94598349131364029115859261778608881185574273/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^9 - 1000452195936979013947727705783753122419517134548516620050612741561\ 44442641276/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^8 + 650908543251314741848440170487096\ 68419267621089002895807023744873158165901863/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^7 - 2614452186064534660834549337739066794740924871483863958099667735057\ 3718640663/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^6 + 2359819935678330662440650501067277\ 5623428695285230233978356971872473084007207/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^5 - 1823642695283498764436633665312591559599291442291156734242689824847\ 3995576286/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^4 + 3060201431938007462435311882400830\ 008557213845414614627488713232670790915119/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^3 + 2615719304730804512140209926116416643810493622625285716077183608976\ 344469453/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^2 - 16388476051811360048999511046453849\ 46739876023208460449976978269302258209448/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2 + 3013071320941454547009770541748211037294345973988817089270358036848\ 28606926/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567, c_0101_1 - 144211428719894396604592094551841264847458920273336878216727\ 94038702474236/2373156658213991390281248129829554873461412453396920\ 00209056813512388530567*c_1001_2^26 - 1134579831846216307646150744791825222993564097335089551000989518095\ 0645724/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 + 119376409457256746180017026633217198\ 833436123915001463561588159455021150305/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 + 7266800861991043835174427717694398880330709035328937182007852155538\ 31951798/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567*c_1001_2^23 - 29211800338878314010053568114741082\ 41797454760342492997108691349059947546518/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^22 + 4003812089421952053838223802828519969476999796883679704752173576300\ 521776731/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 5666321060317690717222464721300459\ 538729479755335498058405289042484699142652/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^20 + 1101446404158152733545625133131485360426089924991513370386071314304\ 3220515627/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 356073447856282226126209196043132\ 04325512742757096350309395663518587703063500/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 6535322406931269218780842384197051983891293227789686849190779167736\ 0438316998/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^17 - 526317651257326150561643456350750\ 70632075794888949771427546060400829070999450/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^16 + 4744986226245272304174033798871194051265069790470780672567155465324\ 832969032/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^15 - 2947005497974157449597303486937581\ 6113041088711519057376030481500259613402910/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^14 + 1587659667913979404594965820988540243330874730318468796165950219316\ 14369742850/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 - 2360468201568528149299985935946384390915127250483709763216393258549\ 87603300505/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 1634304212710861299204031355475436082065613339647224230525311277619\ 79430538679/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 8531248818651783340632562306163383386677081205215160659770196430088\ 1555660443/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^10 + 104270625854829344424105103300795\ 333110239393146732608500271302230248504944286/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^9 - 1272450270281254944311539516510614135109927500234681045798747577458\ 73455312428/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^8 + 710970071266855706934935602947025\ 41559141951395285319354242524418393734797967/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^7 - 2287160164641366800701136749365005799659479090680519676420948039353\ 4135502351/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^6 + 3043198450491448058488938238034848\ 1236799624629946671048358917410457770106432/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^5 - 2134433619350410395662869176925519319631735726401421081207834216971\ 5799570266/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^4 - 2245370417499240798036945425913870\ 18024355594754995558356634056484943962362/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^3 + 3576592330000972671725578975439412895317857301649849283692352297678\ 473441092/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^2 - 19461331202779833303166858284019227\ 74707745005387188238684658549700040310358/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2 + 3574629312319165469367615539696852323353925434136644342641127569773\ 96557282/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567, c_0101_11 - 19400534230994855030148479940085742989777926032026468771893\ 706887742870676/237315665821399139028124812982955487346141245339692\ 000209056813512388530567*c_1001_2^26 - 5429581530212245866071721129089508897438634749733770712818295845627\ 800556/237315665821399139028124812982955487346141245339692000209056\ 813512388530567*c_1001_2^25 + 1700762643714868701346132837033899073\ 61908219665412768396985523448286132939/2373156658213991390281248129\ 82955487346141245339692000209056813512388530567*c_1001_2^24 + 8986264187165231438591934824239628336499135851995102510634621538308\ 83082136/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567*c_1001_2^23 - 44379358373932359228218508030466575\ 14274624862686999998912539874087733831964/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^22 + 7283130815887136903982026714618294400918384441387753454576707567000\ 071892856/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 1006044193161888855185891610946610\ 3042682262695089224742839996973540744009901/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^20 + 1835609905782233700195069142405959593263659695390368083929052741385\ 6281707679/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 548661569469899013444443079660675\ 71751493262375999263463506690412316078402811/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 1111491522123895506888781650386271616446699085221329145993364834637\ 33911204837/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^17 - 1116316498863511495855766910024126593353099382208021210948003432419\ 93299830464/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^16 + 3647553660891780413737320990856898188395935964549233366261430130606\ 6597252222/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^15 - 393536389007890338238505197165336\ 25936979038602362429276947568033361111400631/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^14 + 2342396240818685900128218108016224831448567020051361900561407172824\ 09075696316/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 - 4216719033410525703121973736347469667030347252547542940817089411647\ 86994339057/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 3649431915967466721676935416131820187850082098665585190393100954878\ 84405460514/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 2067179802203505705088304803438527786175122619801714489847756442392\ 74247172745/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 + 1870357380217099083959350491853950479712681605848576118086207908581\ 06221765727/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 - 235614220861119091755380117437427\ 923122607488463657480121607206443247310225789/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 + 1739801449320873823106611529822353323834708151597824915788935995648\ 60998703920/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^7 - 699795769114829440027356467593429\ 89925408050215776714456575377638984704247847/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^6 + 5227309286464519121064107721702815828882737086097468822065551041904\ 5023545657/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^5 - 4732262316326690408290253947380258\ 1710868865693254035390239773560690894800451/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^4 + 1206435530370580618581894521603936037508995544555376124338994539163\ 9981559758/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^3 + 4982115763293648293570374735474274\ 555932649446073131955198090402618772640975/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^2 - 4811690384531192583236417629452866726673809010489254661390990977684\ 868413767/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 + 1391191838291837219647392536082176564\ 660826917935151248465516928724310103296/237315665821399139028124812\ 982955487346141245339692000209056813512388530567, c_0110_8 - 365547508342060537858557025926472546026236092332344911715256\ 39865714679920/2373156658213991390281248129829554873461412453396920\ 00209056813512388530567*c_1001_2^26 - 2253512483904209214163504301573174127152078477377317068274891001338\ 8419540/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 + 305546894348390905083523310818028204\ 676172744478018937707956655889688339472/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 + 1787052352168485429734179562327196771345029803696628184667174647674\ 256304427/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^23 - 7705207153485456597726585384556242\ 320590299907093783463267538080328554214850/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^22 + 1152074339558210059894192255304339892468121514749740028915042040687\ 0212179977/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^21 - 163795707919168005352442121028221\ 67884507836973391442040429782091596879898544/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^20 + 3061167970140713188750460809326688087699710194196364067072805296776\ 9139847899/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 954966365398622343763354119643680\ 66072943440583479158622972037599703208663962/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 1820190917946880555244097804031543945885808134197891169747216121848\ 95588474103/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^17 - 1654338938053149550792349565952859317754017782941523815589467239087\ 89847280872/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^16 + 3975071053948187996594394065617811473303386937608398596979282235286\ 3529797725/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^15 - 785213508891180991524105069917740\ 29347145206558699143335004048906963115464837/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^14 + 4134825255931090104359627081249496350664723391919986915796744456811\ 37177540290/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 - 6725449773140862493957053636627467602487832088594119604736929930693\ 30604789232/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 5328094606421659634994698769074714320274535071178642332238633042685\ 39586752698/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 3016134846508265727154613303878510074450848547575032434606603792812\ 82440235111/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 + 3057681468505837022327288280088036817206766004847448346328823010430\ 11951232985/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 - 372846303002841335558791304263643\ 924500628106311130830104671888724893129108391/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 + 2456723595576585700347486487348090551952203176766247564254148593143\ 41430542287/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^7 - 964923684031247513911528334684221\ 74412810830348449446850964468478171200163870/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^6 + 8688545095658295780624734750109664403873952633245117592683504165966\ 0065513395/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^5 - 6807726727619881729840586573696252\ 6260683904680584876020220289209285147572392/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^4 + 1190708820330233813639521172668809145755867247235998666886740639234\ 2806388257/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^3 + 8942092700821776431205621476072106\ 491165405657501185922554378560050970847652/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^2 - 6567897624197188231834294314139261133014991818563119819371010681149\ 413238633/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 + 1664020238779479441702488384617836063\ 417387404292958773981669184052974738702/237315665821399139028124812\ 982955487346141245339692000209056813512388530567, c_1001_0 - 215143196285559353879751028369091782078145437172216246494834\ 05044877648520/2373156658213991390281248129829554873461412453396920\ 00209056813512388530567*c_1001_2^26 - 1370743103544059613725131925951248199809052485381856588138397902226\ 9922264/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 + 179553039342596883037285277446862564\ 636475927311938994259979305814688366202/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 + 1055304959348969689457341316965370689425875074444466339755665200461\ 777187780/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^23 - 4513542540973787682158604495252473\ 873158384435820334899854695721507466238641/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^22 + 6688066978987124548145362315527571378840462471431015772412251146694\ 357764810/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 9490007971465386861759562703810129\ 405074874758674920785558325792468039205336/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^20 + 1779631906463781779258899456461524710748538214218425503335201160481\ 0884320264/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 558218916417837767112321647403499\ 06803612850341230264366245893127320484583690/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 1059260216278506297098336399029373814791627913867290046633269318333\ 02754819802/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^17 - 9507574414115975400405491078802242778697325949520068950929133982250\ 0832918721/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^16 + 210832632987939531310115646130474\ 90601489285947907976269143037948383200951055/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^15 - 4540909728787382421113534621444437183740758732863528815999333941049\ 9974842417/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^14 + 242379525036468135092539778788763\ 945130730455281470504369026153555493324126405/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^13 - 3908660494839068794630767495869104922709527759115289975209942039965\ 23184156192/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 3047317304624017764638445677315977281612705084183555063036139963454\ 27609139021/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 1699728741417183777656536878669620164662609937971251947640299066982\ 93091136381/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 + 1757636484154124766699516668239906059956219168292675951482352411639\ 49265917838/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 - 215597459373453650866687643459757\ 123743254656096339430704774304782167156261298/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 + 1391329380642048380560336518962607364317864110788869146264108586182\ 14332883991/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^7 - 529969221289909177147152057553973\ 33139641493690468209982277516060351851818182/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^6 + 4999866192671824002364314094516842918648380005071103012188183256639\ 1501013778/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^5 - 3964562287353739858538460988538278\ 4420108985405819750310820866747812874191332/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^4 + 6085185047085384067148326096179450065833540777018950352002081158368\ 894716684/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^3 + 54177474750553441900297188108338675\ 14205333567237714192678292496519093801298/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^2 - 3462582533337622206607644980772298845222299648929016298740875610678\ 610880361/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 + 6726515610478735259578016976458123607\ 11641317102724170335110250181417318503/2373156658213991390281248129\ 82955487346141245339692000209056813512388530567, c_1001_1 - 139779459294695505593960601566644631677100801703107351827697\ 79891433684804/2373156658213991390281248129829554873461412453396920\ 00209056813512388530567*c_1001_2^26 - 1049013158445186936597112137111655809158468864845031484130425456332\ 7899776/23731566582139913902812481298295548734614124533969200020905\ 6813512388530567*c_1001_2^25 + 114407246724413156662094077734095061\ 630201104664630445567617619573039595171/237315665821399139028124812\ 982955487346141245339692000209056813512388530567*c_1001_2^24 + 6974473138323025302328595832428193985591082824760317175511115176176\ 52295275/2373156658213991390281248129829554873461412453396920002090\ 56813512388530567*c_1001_2^23 - 28451661026549217385710812408767804\ 77692258593104321073460057197577248555740/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^22 + 4078308227440508823799098834911285330951286906071697453360361864714\ 874235117/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^21 - 5900287085960806071268019794890641\ 155056587549991732626342674993626732349318/237315665821399139028124\ 812982955487346141245339692000209056813512388530567*c_1001_2^20 + 1113857313870448065829188390313413809121245993088595672191723197407\ 7894828744/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^19 - 353677292792728163335093713683846\ 43742201013800126342423341539029677744675838/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^18 + 6552214998183423568375610535884927155632126706821832873474575611957\ 3804186235/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^17 - 567842922089403979587838833700365\ 87111807620845171220892115128426952133681827/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^16 + 1138518961265217624261109787209199163401177359182487335241665774077\ 9462718561/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^15 - 311175469027253534844444781735832\ 37824787398045283704544008066757515708956925/2373156658213991390281\ 24812982955487346141245339692000209056813512388530567*c_1001_2^14 + 1537079782781363202743893769365067375318533031123930524792157442244\ 78918053045/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^13 - 2387170556357666209852676772458431910202933825254710215062668536549\ 66609044058/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^12 + 1817485321904400069681395367850329454283943483939402889568339801533\ 83677555747/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^11 - 1042574583193271044503810617355985610410829170304456199461980857609\ 83821656502/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^10 + 1110636442705125440421569536853198979979168129924007564143251352963\ 08740364545/2373156658213991390281248129829554873461412453396920002\ 09056813512388530567*c_1001_2^9 - 131872854002563709112679186077215\ 694241131623469242260350950904902917690141713/237315665821399139028\ 124812982955487346141245339692000209056813512388530567*c_1001_2^8 + 8185600151131254458503734372888882843260815301149882071173307423248\ 4265896625/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^7 - 3241514767773479426828036099363273\ 1284103491126536782386397472613725900515207/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^6 + 3182722320591083777820055468411913868488658697114614717382889756758\ 5259524430/23731566582139913902812481298295548734614124533969200020\ 9056813512388530567*c_1001_2^5 - 2307326111195186200286324250919560\ 1220018221354431088141334863523532753717515/23731566582139913902812\ 4812982955487346141245339692000209056813512388530567*c_1001_2^4 + 3176081775480535665739436160708245016065140943058216692937509507235\ 063647871/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2^3 + 32407514710484487270398803891669677\ 56560567068569808755591681545553364619321/2373156658213991390281248\ 12982955487346141245339692000209056813512388530567*c_1001_2^2 - 2510719615721156337641129257401955062244945784421857230934667991128\ 587717713/237315665821399139028124812982955487346141245339692000209\ 056813512388530567*c_1001_2 + 5528256895613562247593022078204625528\ 21323863321399287033649293174759119602/2373156658213991390281248129\ 82955487346141245339692000209056813512388530567, c_1001_2^27 - 35/4*c_1001_2^25 - 175/4*c_1001_2^24 + 241*c_1001_2^23 - 889/2*c_1001_2^22 + 1281/2*c_1001_2^21 - 4445/4*c_1001_2^20 + 6249/2*c_1001_2^19 - 13165/2*c_1001_2^18 + 30279/4*c_1001_2^17 - 15351/4*c_1001_2^16 + 5573/2*c_1001_2^15 - 50517/4*c_1001_2^14 + 50683/2*c_1001_2^13 - 103277/4*c_1001_2^12 + 34201/2*c_1001_2^11 - 53383/4*c_1001_2^10 + 61127/4*c_1001_2^9 - 51771/4*c_1001_2^8 + 26881/4*c_1001_2^7 - 15889/4*c_1001_2^6 + 13243/4*c_1001_2^5 - 1469*c_1001_2^4 - 153/4*c_1001_2^3 + 1317/4*c_1001_2^2 - 605/4*c_1001_2 + 103/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.980 Total time: 3.189 seconds, Total memory usage: 64.12MB