Magma V2.19-8 Wed Aug 21 2013 00:35:38 on localhost [Seed = 4290375248] Type ? for help. Type -D to quit. Loading file "K14n22341__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n22341 geometric_solution 11.49223716 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.176647728604 0.750773534866 0 4 5 5 0132 3012 2310 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 1.165755873547 0.618590960433 6 0 8 7 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 -1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464152872525 0.493078277221 7 4 6 0 3120 2310 2031 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 -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.238549590771 0.643308000148 1 9 0 3 1230 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557381559024 1.579304660098 10 1 1 11 0132 3201 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.095553888425 1.569251316927 2 7 12 3 0132 2103 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622923586934 0.671515413807 10 6 2 3 3120 2103 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219818822706 1.197061816846 9 9 12 2 2031 0321 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.515566286766 1.063359396118 11 4 8 8 1230 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -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.515566286766 1.063359396118 5 11 12 7 0132 2310 2103 3120 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 -10 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.232791818953 0.786110423708 12 9 5 10 1023 3012 0132 3201 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 1 0 -1 0 0 0 0 9 1 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292302669755 0.233202789376 10 11 8 6 2103 1023 1023 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 -1 1 0 0 0 0 0 -9 0 9 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151676297650 1.107034274032 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_4'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : negation(d['c_0011_7']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_10'], 'c_0101_11' : d['c_0101_10'], '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_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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_3']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0101_3']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_6']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], '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' : d['c_0101_3'], 's_1_7' : negation(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' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_2'], 's_2_9' : d['1']})} 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_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 3162033703645632261713793428354676041888213961685808665182937478631\ 11984/1821913444061205256074122529903660029422111928401914974307371\ 37680693*c_1001_2^34 + 48721973163192150206165567546530771243174700\ 2527712294879639619933648401/18219134440612052560741225299036600294\ 2211192840191497430737137680693*c_1001_2^33 - 7219487047229194908641006436009264267910578921854150890680261691172\ 021007/728765377624482102429649011961464011768844771360765989722948\ 550722772*c_1001_2^32 - 3281743130246498415280423555408806349031474\ 799282107572269314228618870904/182191344406120525607412252990366002\ 942211192840191497430737137680693*c_1001_2^31 + 3006668448478963577392206697894440391774780674312497024190227129350\ 5235837/72876537762448210242964901196146401176884477136076598972294\ 8550722772*c_1001_2^30 + 155212264350373416437348099233560019696251\ 47598666762353632287119108051715/1821913444061205256074122529903660\ 02942211192840191497430737137680693*c_1001_2^29 - 8925764091755624435051726107062627063026251881987107745400858592211\ 6845805/72876537762448210242964901196146401176884477136076598972294\ 8550722772*c_1001_2^28 - 253737764076843092280957724515734097010083\ 787637152483301036958534269225927/728765377624482102429649011961464\ 011768844771360765989722948550722772*c_1001_2^27 + 1801239296093567951694980506111577698791707116135196028252677014936\ 583316/958901812663792240039011857844031594432690488632586828582827\ 0404247*c_1001_2^26 + 402470301408972094226782005934840076188973271\ 084115164736657408903882613313/364382688812241051214824505980732005\ 884422385680382994861474275361386*c_1001_2^25 + 5606114460577259689441626791210029820918503695514643969812687591008\ 405795/728765377624482102429649011961464011768844771360765989722948\ 550722772*c_1001_2^24 - 5095876740430616306035724655497096532773962\ 19406068659456397227773558828521/1821913444061205256074122529903660\ 02942211192840191497430737137680693*c_1001_2^23 - 8022804693154887866242262888469172901213955858963672797892663625021\ 33762355/7287653776244821024296490119614640117688447713607659897229\ 48550722772*c_1001_2^22 + 99986182583719051616464949241361572353899\ 9656747211605074198418288323153330/18219134440612052560741225299036\ 6002942211192840191497430737137680693*c_1001_2^21 + 2763811467069908137420969589462625252122137390311630739663692856425\ 911154121/728765377624482102429649011961464011768844771360765989722\ 948550722772*c_1001_2^20 - 3048169978098845032055208532790061001464\ 850829696666973146409210096342032949/364382688812241051214824505980\ 732005884422385680382994861474275361386*c_1001_2^19 - 3210612381744864728050370418892181087810384908660344913442453869011\ 894624185/364382688812241051214824505980732005884422385680382994861\ 474275361386*c_1001_2^18 + 6566583211268416885680669965522433327020\ 142616137835954894824278629784100267/728765377624482102429649011961\ 464011768844771360765989722948550722772*c_1001_2^17 + 2846278074782499826283692204754164506130260299776907446678671317758\ 288325897/182191344406120525607412252990366002942211192840191497430\ 737137680693*c_1001_2^16 - 2049398587289574771564912907417203691321\ 254114203211597537641924847703184469/364382688812241051214824505980\ 732005884422385680382994861474275361386*c_1001_2^15 - 1472808446382891505656169305966486908698100875035005896444829646013\ 5175936355/72876537762448210242964901196146401176884477136076598972\ 2948550722772*c_1001_2^14 + 958116220570628997935568228229586015385\ 803582909505167165331949514867821155/728765377624482102429649011961\ 464011768844771360765989722948550722772*c_1001_2^13 + 3714607633236922743771244538325582788510558810614747549873516963156\ 241677181/182191344406120525607412252990366002942211192840191497430\ 737137680693*c_1001_2^12 + 1620506418771679280063363428083024924644\ 080630096251242230174501306328283013/728765377624482102429649011961\ 464011768844771360765989722948550722772*c_1001_2^11 - 9754562089093264683372032898965788374441617712795879425983514246377\ 112292859/728765377624482102429649011961464011768844771360765989722\ 948550722772*c_1001_2^10 + 5316739969411598956248546563275111388155\ 2814414740005007508010045165218057/36438268881224105121482450598073\ 2005884422385680382994861474275361386*c_1001_2^9 + 5714461445003467626868773287196093841598178127003723171233399191526\ 575370585/728765377624482102429649011961464011768844771360765989722\ 948550722772*c_1001_2^8 + 12590698682851301885946266846801978310424\ 9661618469727386912987093542374835/36438268881224105121482450598073\ 2005884422385680382994861474275361386*c_1001_2^7 - 7471728883041666193722467080375720057699956342305053075348382696494\ 69830997/7287653776244821024296490119614640117688447713607659897229\ 48550722772*c_1001_2^6 + 118310400241997588669660040565890052720118\ 4769070700174772100359676262124025/72876537762448210242964901196146\ 4011768844771360765989722948550722772*c_1001_2^5 + 6991636346716338988953740280813992530674976434264322150556598455789\ 724955/958901812663792240039011857844031594432690488632586828582827\ 0404247*c_1001_2^4 - 2942518600984139745671278120795539285698782944\ 4789781722199972386940824476/18219134440612052560741225299036600294\ 2211192840191497430737137680693*c_1001_2^3 + 6571217172887116160869211096697981655671605444944731187110159711636\ 9944565/18219134440612052560741225299036600294221119284019149743073\ 7137680693*c_1001_2^2 + 9376122913619760271521865471863804663400583\ 55091873876803179871839100875/2719273797106276501603167955080089596\ 152405863286440260160255786279*c_1001_2 + 2774631158455433433543637561809426361251421486003851323888817971530\ 903481/383560725065516896015604743137612637773076195453034731433130\ 81616988, c_0011_0 - 1, c_0011_10 - 11451315106726041885993792497605083074508553352001176208537\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^34 - 20222589305243078977444230524345766492099610268147658267374/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^33 + 62435813775027437653672708296434587311027028259193487369333/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 32 + 134800352096025410084068329073469825934941980310232304376397/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 31 - 13256011809557570755469680955680828105631810285248831545380/52\ 1162402706134263918391518008671771752576950026979831223*c_1001_2^30 - 631917818720303731041020482672300541907459776711425773309845/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^29 + 709453528451268231588706174356918289482776933407398503609628/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^28 + 2520404197242619063505008996580966280763721515053730184728574/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 - 810710998233950213614326095870389046417616710183812022606514/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^26 - 7744166944254005610287396557203112552223393134664089023055210/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^25 - 1514709810885150711507295908574108455584068431920934406378557/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^24 + 19043204698291006027189017044279161882259505616532446994701845/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 + 11206738445601758380275676995266211257482571796458373423837061/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^22 - 1904126462777897390919024438239581224296980383402297478976082/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 - 33256741794673276611981742613650746588742630254813015733846580/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 + 52885789865180771608202458088820411481172385224177986308218279/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 + 71635117056272860780461850715931125410738674000842891799885745/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 - 51772948911724414428720160893498612929646366418010100293604387/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 - 119786368407444804027136717473755431563234807786232555097416282/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^16 + 20511878928792828549409756097135850050372349696276215146660138/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^1\ 5 + 148665175686390957527126566742416402807749286562951357875985820\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^14 + 154434301075325354380034642790365001676503433548251012150524\ 54/9902085651416551014449438842164763663298962050512616793237*c_100\ 1_2^13 - 1464367784714199898322285799112410567299082510730749613159\ 09691/9902085651416551014449438842164763663298962050512616793237*c_\ 1001_2^12 - 4052588007228682096860471727515800861458816066256506866\ 4868680/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^11 + 95612913906912206825084377619282993878348451170369768\ 728329386/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^10 + 163561313448731968537604864029254956242620976597352\ 70699434995/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^9 - 59040903484862174077304044430607586009571828924101\ 563522488435/990208565141655101444943884216476366329896205051261679\ 3237*c_1001_2^8 - 1119773032489475572643681284646721681293187704697\ 1469348616148/99020856514165510144494388421647636632989620505126167\ 93237*c_1001_2^7 + 525754104376698894499833863489085565826450718051\ 531208108821/521162402706134263918391518008671771752576950026979831\ 223*c_1001_2^6 - 54514567864211968650032704918739799043240603736694\ 3598356294/52116240270613426391839151800867177175257695002697983122\ 3*c_1001_2^5 - 7424275025759936940388993437073987118854414189585149\ 721248410/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^4 + 1035017779914557797072912378601069918343030084002367\ 862146101/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^3 - 2071153901096917464771886699603647486437101697544375\ 605949521/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^2 - 2915498694961059226803585190465857023082358031893565\ 419481276/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2 - 722026528599054270339436897212746634270258753374830050\ 921879/9902085651416551014449438842164763663298962050512616793237, c_0011_11 - 14506737302157203463463287988845312892912871216819711168762\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^34 - 22127921833956454305647466113344458669979281634725437346957/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^33 + 83334700043435597263765465464383269320147134848136095497365/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 32 + 149398309447335106579460221541599305688999446110284240072514/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 31 - 18333786058727379897893912336873122796116344799536608849201/52\ 1162402706134263918391518008671771752576950026979831223*c_1001_2^30 - 707564417519525995557905707257776819886756282483283774477941/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^29 + 1039966649138381127888561904003666052956272853744699109523826/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^28 + 2898445655458399004088843292447870847043621429268084147512525/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 - 1632388003527695571019883465127892503457262775133491054189152/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^26 - 9228025366584210994965772094731112099306253681327561322138106/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^25 + 119286243793238362204978301533664956184368653063825454470988/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^24 + 23456025337209211699186029468217959627901389490914981242481387/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 + 8760907652077508423493397885521304690812361181370820323087680/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^22 - 2433257877756931829581498382999437421052481825585107298218858/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 - 30872946101482943761288234726042031913164955938130817833405660/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 + 70885478869120397505337329284505646202833684885385361782841264/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 + 72443961285398025088193718240164686339713350764165064939835577/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 - 77259961450063679554903023432085904890807117498050192169559864/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 - 129424722723182812223576879005903692820761021575920150404959752/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^16 + 50108333504542299555449843663950628804333005106029917222202024/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^1\ 5 + 168566645041643721873272540150464310618315162981628066345136383\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^14 - 148161562345970366088220140347684464405337496360390912653358\ 32/9902085651416551014449438842164763663298962050512616793237*c_100\ 1_2^13 - 1709389853713565917471604751056165448530272507275568707947\ 62278/9902085651416551014449438842164763663298962050512616793237*c_\ 1001_2^12 - 1465046543352673231566951189242455094348082899262415274\ 3030478/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^11 + 11290847694153001742615443759106834948399189885379549\ 9832172373/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^10 - 41081925094721607409939137104301254518874551998519\ 41846350756/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^9 - 65810278442368293664483322103332682645718244250072\ 609512786576/990208565141655101444943884216476366329896205051261679\ 3237*c_1001_2^8 - 8680909131659956759830393396172867565225062098361\ 45332508756/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^7 + 45208127585518206089934573727489384046849639710918\ 3243568680/52116240270613426391839151800867177175257695002697983122\ 3*c_1001_2^6 - 7419004445080941098766319791675784075030455496526959\ 97257784/521162402706134263918391518008671771752576950026979831223*\ c_1001_2^5 - 561957564629775587530243202831826125856119466623804825\ 1791140/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^4 + 158634346509270293908901923383821995174649779096037966\ 9759472/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^3 - 310271517758984726807382931928321085894813516889693965\ 6740218/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^2 - 279505484439865171923830433775977515843992501396214393\ 4870485/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2 - 51466565183451576525955221999110713835834717105685985369\ 2357/9902085651416551014449438842164763663298962050512616793237, c_0011_3 + 6864812420674025877348234133544151919778019313479572103702/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 34 + 12615595353050003660739256821151017235273303152792599820612/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 3 - 36766932100755121967601616281301130253756244198711701457753/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^32 - 83792323504489870416799043955927853721443168528797710586095/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^31 + 7707301765429056960330370144624486433061754362748318327767/52116240\ 2706134263918391518008671771752576950026979831223*c_1001_2^30 + 391670677044955197385311337017830081031226185044672097919498/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^29 - 403496209107264934517257515760815168535630208180760995437653/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^28 - 1551038276687574367789299618034384775556658099140534675123445/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 + 394310722008586760347573296021599140233721073905082281001743/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^26 + 4717205318004782543099222964740051307536489276282406646794595/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^25 + 1210724151354812546688389065080470124619245640659506608221684/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^24 - 11480966425749513237205757830410012121616548714048593189161510/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 - 7514102382688729764463241191804675097598748716528959928308063/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^22 + 1134022507079172456722870847994726668063440855510565637689403/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 + 21562992646760837450315740022669336690805258149539933540497238/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 - 30966529818904313145856697444960827075507305375221438259862012/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 - 45546101174360859214577655517577100113894178624812878885989872/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 + 29063715382042937727147156157851535252730425595693930692891967/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 + 74884010521809175121711528137033649764364044359823973799767093/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^16 - 8452195009125630228417021533838787772387733655464211392839621/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^15 - 91624708243530672190004305547166505372760512487888504504511577/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^14 - 14586486853329852019252836662732976885066321913769096617980093/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^13 + 89351869329015586624410426623702719890615294934507925407855409/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^12 + 29886332846213289974716940063271300309966226490863712084010087/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^11 - 57921974125070444501737595472923104578180433969793509149543018/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^10 - 13551730677661340988036174734859370662817876071527786869104010/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^9 + 36264955855453540721317762193760296759770310310899736941883886/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^8 + 8714218305354084447052838281616276190465220634641389831085280/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^7 - 335080047843932999822797314254074785235896838392185466280936/521162\ 402706134263918391518008671771752576950026979831223*c_1001_2^6 + 320334120550960061710335598510609988497908234638263432810157/521162\ 402706134263918391518008671771752576950026979831223*c_1001_2^5 + 4927934543363399816687038548391813933446773479293607609737374/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^4 - 586345041162783110927615646785820750053185484780728266151867/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^3 + 1188273686114567227555517340971331513166936552477261720809322/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^2 + 1876476702741595247087393236539343664262073993608688859991092/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2 + 501846458320381120252275700997640415757610502922621225012535/990208\ 5651416551014449438842164763663298962050512616793237, c_0011_4 + 21006506893099534491268487525229877357661566270820879388072/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^34 + 31332862297678111281950594904950671484905588580160771501724/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 33 - 121443945661040330859049734490271756930256619076983295095402/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 32 - 211938407711992062621826864477583360395855801301373699554007/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 31 + 26831445891404722442579633981135322469310995492689423732579/52\ 1162402706134263918391518008671771752576950026979831223*c_1001_2^30 + 1005303929941809866091854609733402396620816077960191376568122/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^29 - 1532073004648023121992533003280941497102718451485522532086803/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^28 - 4135302953908163282988800497884536773810708935509498516025156/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^27 + 2478366157843880598405810208367104317283410835446084285806841/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^26 + 13234499413036864997558467658226612709912966700573948901489092/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^2\ 5 - 566900966660061007061165393150511441226463539851847566058832/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^2\ 4 - 33792362601888344647071045578407768271536318647786197528693099/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^23 - 1162046632578243256993734435293296317879804391277704512119210\ 7/9902085651416551014449438842164763663298962050512616793237*c_1001\ _2^22 + 35221543218810318395031436939386620397794065000858560628333\ 40/521162402706134263918391518008671771752576950026979831223*c_1001\ _2^21 + 42474660687742663131872878403551754310143714286223857738641\ 082/9902085651416551014449438842164763663298962050512616793237*c_10\ 01_2^20 - 103204239582280726094715333221524262304116557784785739326\ 688965/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^19 - 101240766102069250316133469697660533046699313720128706\ 277192045/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^18 + 113854948228021941246761698720834168861478294100420\ 606295423839/990208565141655101444943884216476366329896205051261679\ 3237*c_1001_2^17 + 182869350177049424191533187002800843190450194438\ 893694152887834/990208565141655101444943884216476366329896205051261\ 6793237*c_1001_2^16 - 769363641095143924286104917810381302527389240\ 37842133226242553/9902085651416551014449438842164763663298962050512\ 616793237*c_1001_2^15 - 2398935715842689753442443838177009758046577\ 70528576535698304718/9902085651416551014449438842164763663298962050\ 512616793237*c_1001_2^14 + 2785581601856954791690815331397463726323\ 5138940874492701775581/99020856514165510144494388421647636632989620\ 50512616793237*c_1001_2^13 + 24423852887088098056351983541891194730\ 6928197431653183544500053/99020856514165510144494388421647636632989\ 62050512616793237*c_1001_2^12 + 14366707044599687407047130618398895\ 204193750467922445936288227/990208565141655101444943884216476366329\ 8962050512616793237*c_1001_2^11 - 161482310913776215447779065948439\ 148833875009918944575086625579/990208565141655101444943884216476366\ 3298962050512616793237*c_1001_2^10 + 10442463973861814808418647742876627467113931339894762487774944/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^9 + 93363878115716033435506346676012130831659575221784854094690997/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^8 - 948835268703908297620120817017089385116485782764725801433899/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^7 - 614801830032135365337670786873781021001653192107529370164328/521162\ 402706134263918391518008671771752576950026979831223*c_1001_2^6 + 1072680006172647414747881722601887752823971908122167408074290/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^5 + 7536245981198345425712641222741709427001880840471462868202974/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^4 - 2256981067733729630185269311920044357396962323059318279754217/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^3 + 4518250520664374704978811578638506034046173796470238793370393/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^2 + 3882770768677454719904462172117956475055632698752494239209110/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2 + 676121744608587158050275308034940709272562331347379657467723/990208\ 5651416551014449438842164763663298962050512616793237, c_0011_7 + 17289488086305541388430239234934700827096945917752103232970/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^34 + 28332269001801710853399716666767704415097738813952707625140/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 33 - 96827564692103441528605741982576943910762184755839079010429/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 2 - 189991653294884799760712284301293525899955911412872182041648/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 1 + 20947457252739852976217697872360057586654651945933603563999/521\ 162402706134263918391518008671771752576950026979831223*c_1001_2^30 + 895010821763489854879558078590990193320567621227844551553672/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^29 - 1156929116967984760940749315569836715228166213631917815698216/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^28 - 3617298305723453129809206673939151938513102316005164365480363/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 + 1594889268623509461752313007455522697411480535399632204219642/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^26 + 11312645096980899267410704272995765384818635477424145404956073/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^25 + 1027730671883963624311621133225357240068200498331059191666356/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^24 - 28281813955401724759829034229791591923920392949364151526763176/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 - 13542466054622086369958506169588670380716813849502389093873184/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^22 + 2880782747368207687497807206180851354627192471884456798365590/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 + 43182424234928860448086900526599238724350975354899024289567280/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 - 81992971019284550398424796582465737868324467826774847858440949/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 - 96666311787782009078081557711938282859561188509318560028417585/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 + 85006165161614643461084305040917272914297167455894893355546270/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 + 166704069735868203192713717392130013725415702787458147647417895/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^16 - 45489130700246145739316186580875556052524955263980061660828617/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^1\ 5 - 211617989279892449899017215026629867574659420300796961892351967\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^14 - 238034474142820812485836428576653335944198759685431458184158\ 2/9902085651416551014449438842164763663298962050512616793237*c_1001\ _2^13 + 21126110642746198150488032954672344999194546570185104157200\ 0097/9902085651416551014449438842164763663298962050512616793237*c_1\ 001_2^12 + 38733493242085309522484658021840639885822746111335040413\ 611899/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^11 - 138493974845876871271181137824939505058066386902193453\ 423473290/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^10 - 950914325559579463312076217058914221238117087529816\ 6983645582/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^9 + 831067751704814373250067836730492052795350370196702\ 86971861366/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^8 + 88330118277899775132032492249992362047064035777945\ 98067894071/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^7 - 65454336609227246624331846309373542702322359237584\ 1893589215/52116240270613426391839151800867177175257695002697983122\ 3*c_1001_2^6 + 8524224021754410429656986785734972575900628286902114\ 13220972/521162402706134263918391518008671771752576950026979831223*\ c_1001_2^5 + 889869224414597843195347575866820718693857252012165897\ 3014437/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^4 - 172076854924236367318860311329450647199235123428815945\ 6546817/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^3 + 341000135911684747260946795006214821140629047185618831\ 5989090/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^2 + 384829437227209453293980402855398514587263766004083498\ 8246672/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2 + 85594730861951796178359231538418032554676102205669522720\ 6293/9902085651416551014449438842164763663298962050512616793237, c_0101_0 - 16175458598007493294473027788997414222814210443585558846178/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^34 - 25889399004416718272539271053187333760231591182638866685897/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 33 + 91377326727830975539877742202430822675091102209402352248398/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 2 + 173984355744539209184051700090767170147564945476766003784413/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 1 - 19883348400345834278555449925264318946893863853086117863861/521\ 162402706134263918391518008671771752576950026979831223*c_1001_2^30 - 821025608848578162475015801240294316934282340094103017093715/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^29 + 1108466099638511099307910380488434093476545812731712190659095/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^28 + 3332824582445650783499205124054259228995829551115755238137852/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 - 1602833266045910252990647356584285787980248562635052387874665/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^26 - 10484519959395526128526667800413622389263809381980219098378263/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^25 - 592247430998958023759172023687885557374484859671097517361364/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^24 + 26356799259663668942938453487973058131824365109858699812480989/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 + 11691185255031589934336043786827035545354575005174534343295565/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^22 - 2701246171597088282683221113803783565503656886995048915588188/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 - 38384559363633933946681671598708718767037479602661714889017292/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 + 77494589646931760967133825266505970487036885656321646108443241/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 + 87181041429501393153131565302954668882037673995668368975283722/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 - 81754880711312056046818232269951385527747795989694377470977199/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 - 152039219486032579545296543967433768465628861653294923500727964/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^16 + 47033770359692250366756963827675699933958298320389621020562550/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^1\ 5 + 194612609373280434830713478206792657324907297333933067689095456\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^14 - 407204979552784200469478694125700794793394610807429810170847\ 5/9902085651416551014449438842164763663298962050512616793237*c_1001\ _2^13 - 19527676267873143056715636912965272717395496714004425285907\ 3420/9902085651416551014449438842164763663298962050512616793237*c_1\ 001_2^12 - 29565416928641796801674221365348102241905805305873452344\ 560485/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^11 + 128314048985268104801224467160136742534211650207022359\ 530079486/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^10 + 440357097758165736908663470898575101648329022828220\ 7820465074/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^9 - 762515989057468310822338269397873449159437098513400\ 07271750510/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^8 - 58577082545682192999801279161426263335947051892019\ 82827785075/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^7 + 57447768026490331024017105925717075571754603370936\ 3484408628/52116240270613426391839151800867177175257695002697983122\ 3*c_1001_2^6 - 8057612665466252481537557436934929027161044666258119\ 41531592/521162402706134263918391518008671771752576950026979831223*\ c_1001_2^5 - 763959558575714078504573316679505954874714114261993264\ 0699774/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^4 + 165145928769766266364084793609087172174923182990806798\ 8640921/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^3 - 328195283502162716351117681960659951509318282592884212\ 1699198/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^2 - 344398559106350423738211282392379750821954961358415269\ 5570543/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2 - 72551587262671147011397586684684143907097865510058335723\ 5955/9902085651416551014449438842164763663298962050512616793237, c_0101_1 + 13326330612272294193755018658351646605174849018011823110161/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^34 + 23115629090843512728251860078594768796293353144267157838120/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 33 - 73063538130313325611699277447500345002776034488557962673654/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 2 - 154242229748918349114365064544999043478956583309308331922072/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 1 + 15575823188159132496823310465653462034881243127013082205502/521\ 162402706134263918391518008671771752576950026979831223*c_1001_2^30 + 723714763979106618558516383634388291812689896484277463962049/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^29 - 839553479997360088630267866542953453455511690420440968459275/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^28 - 2895064205165364728068378529994711935971879294678218121459262/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 + 1006155360846201031829402558860202907820460056224556551101588/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^26 + 8929069090614050027798540194384397774337824918356220106748097/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^25 + 1541210526824424778819740840556688771935546146789042237202271/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^24 - 22031036742978226582770127253454421132631513068804202259360695/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 - 12430388925349908873601325627442981436914259806787920994798953/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^22 + 2210957192127452807176092084713877940461368118200173437340891/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 + 37396734118088033978918383357517164160474373594913429327309943/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 - 61704581568877546109433504723797307877785225513291793273215910/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 - 81168573964155544385558812533307860278175846429401242527667415/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 + 61133565658531646859542614484786335471172907211289837979361999/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 + 136556570912698206919966582113752009569969203131658525576120733/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^16 - 26093953358899522407778613974270199879248505762260846883291881/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^1\ 5 - 170136218507088998335863966373389613574085455057343544416331208\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^14 - 145284115025227935623529222124529299043168837370741408506079\ 85/9902085651416551014449438842164763663298962050512616793237*c_100\ 1_2^13 + 1678708667522598600164049769444353394855540438126731772734\ 56320/9902085651416551014449438842164763663298962050512616793237*c_\ 1001_2^12 + 4332227486843217739859396386594840703375135412754143268\ 8533417/9902085651416551014449438842164763663298962050512616793237*\ c_1001_2^11 - 10943696352080069145164421783050141452996586924498657\ 8260315290/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^10 - 16382923007052160006656928540387452421407884719432\ 942538052578/990208565141655101444943884216476366329896205051261679\ 3237*c_1001_2^9 + 6709318770116631621320246130306380588351823440774\ 9801577230515/99020856514165510144494388421647636632989620505126167\ 93237*c_1001_2^8 + 116386176829715456541464126797377979230283753159\ 88029964837280/9902085651416551014449438842164763663298962050512616\ 793237*c_1001_2^7 - 57470026346029598266999708533265819015350393949\ 2502848196298/52116240270613426391839151800867177175257695002697983\ 1223*c_1001_2^6 + 6393350598538656425194367232730178989177237663802\ 12680284525/5211624027061342639183915180086717717525769500269798312\ 23*c_1001_2^5 + 816458877366579682318624320780443224903179793267306\ 0365303739/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^4 - 123169812470918886743968893678584174682765200840512\ 4295924051/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^3 + 246752200566925103215952863143477895800913638842009\ 2208322755/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^2 + 328612136505187289184385703784016090260257111706139\ 9270450633/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2 + 80918017168252349284726322898859128599108050135074684\ 3089917/9902085651416551014449438842164763663298962050512616793237, c_0101_10 + 14058856196734377360328330522332969663236535449353709153581\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^34 + 21935194942658644290012408309877317808431584793340119234399/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^33 - 80177191646291282044225725496902390179656103355142011139932/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 32 - 147746029134371648234039129857369006305674493780598890313913/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 31 + 17554915866421111776293789934399800269408303470117644073569/52\ 1162402706134263918391518008671771752576950026979831223*c_1001_2^30 + 698504495872606628045931718629330015627816716364444799969196/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^29 - 988398959579610636490587300204392961300117349837224876193025/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^28 - 2849064628915616594598265078329242035063304015721605162439204/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 + 1498438837392463423432381096219732520069335795629108184802842/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^26 + 9021034652224886754251572086501189856454575564353385947442154/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^25 + 164627717570628394317533232885711488570100554221030154541864/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^24 - 22816694679758644506387794637108918159729370758771768780960617/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 - 9232130563561072814464290949760606926480982647457661643949538/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^22 + 2354276869079941395114728217188929531278196904084848920037350/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 + 31440114559572913096735813411799935919740094105167905445911049/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 - 68126938045036746808665893577278530384054248814726650156947283/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 - 72645238589170429776003575207406359674048124075192131562105775/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 + 73215289206590535211570279230986085734048431792029906012120707/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 + 128339916126724505822571666350603872995479219542953784816519386/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^16 - 45199975073431770985236492913805097691724320230779700594546715/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^1\ 5 - 165835524266094538657931122259132852456689117426902985960813731\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^14 + 967551861288735868103448807210705891191422428293340913334842\ 1/9902085651416551014449438842164763663298962050512616793237*c_1001\ _2^13 + 16736197850084459759810545305203837964244390480025328916259\ 1994/9902085651416551014449438842164763663298962050512616793237*c_1\ 001_2^12 + 19082330412535225349483069986530179515869760857674377176\ 531430/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^11 - 110241142475691067401185766387661683733057230568409182\ 560490536/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^10 + 783844136379535164161823163655750050984913008236458\ 765540718/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^9 + 6475984432155186601207551608369479940396292054940998\ 9905458763/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^8 + 254800171099275698951920723374740595613403187066481\ 6952746692/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^7 - 458063504859767438150483828424274747789595808513315\ 365914023/521162402706134263918391518008671771752576950026979831223\ *c_1001_2^6 + 71252500950522341383335061222568768568934988535939214\ 8094535/521162402706134263918391518008671771752576950026979831223*c\ _1001_2^5 + 5889976420181818000872926290803240104266114340701930010\ 143304/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^4 - 1472270758002167976833901139131644733413557576258554051\ 250657/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^3 + 2955726311561611207278010860232332688864833851470728479\ 071011/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^2 + 2817045630774567385703954790845238338583135548530616811\ 735869/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2 + 551444540342776634762057617809910842584397038539653941644\ 178/9902085651416551014449438842164763663298962050512616793237, c_0101_2 - 19594647245301353152061201336442605452831610962494291376476/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^34 - 30019322910932868663143206437833154360150537566766822505744/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 33 + 112275885488687927230788753274429494444484156718078171583596/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 32 + 202515161291577983307010989800600190099332726351474993863268/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 31 - 24663901534837303360645293413033895869716873250252213608461/52\ 1162402706134263918391518008671771752576950026979831223*c_1001_2^30 - 958627659815077549573270732165888157563541120075385843516209/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^29 + 1395830582871007843377961654741973107010117010091939375952883/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^28 + 3923155133144927267475790056458175510192184349620387335026588/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 - 2170409460033870155888862221936490034481045908155666306693286/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^26 - 12472097096857780807829861606297060863339198673609967500787149/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^25 + 57047086027162197356203501117892966566064016607424203812299/9902085\ 651416551014449438842164763663298962050512616793237*c_1001_2^24 + 31653733811133563946687037381073372091591043164374338037492913/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 + 12089753680808008160020390855916790208356266144370870942763253/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^22 - 3277812260823380723567826974336138419442741729620713880858304/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 - 42195338288253758404133728755127937712700588529864600344159465/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 + 95270701999174493622019867745717247665348972313533748322215935/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 + 98600717619452608109074389134454256878610634054603045410873042/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 - 103364440949630917435249033151627384884419378635131083274154881/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^17 - 175604283775960789875448709342828088041276759200179903835549254/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 16 + 66051068804904037201831132878251166145412492851488396292187672\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^15 + 228106828039060834370415116105585470886781127806877545417919\ 396/9902085651416551014449438842164763663298962050512616793237*c_10\ 01_2^14 - 179389803798222294556165580758132383909511463445703591155\ 36454/9902085651416551014449438842164763663298962050512616793237*c_\ 1001_2^13 - 2308921218663385551030689816400341085830677219554254855\ 82926233/9902085651416551014449438842164763663298962050512616793237\ *c_1001_2^12 - 2194854812521148153947386861309611115408327326330448\ 5558831087/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^11 + 15226257246546967207764480254594215550423685469846\ 7614584961827/99020856514165510144494388421647636632989620505126167\ 93237*c_1001_2^10 - 39518762176564674615256871738436679739120226687\ 24905022554023/9902085651416551014449438842164763663298962050512616\ 793237*c_1001_2^9 - 89030815050831920850595518256539546626927364686\ 266303420728969/990208565141655101444943884216476366329896205051261\ 6793237*c_1001_2^8 - 2251664216539444701968307853801191059859455685\ 441299451096079/990208565141655101444943884216476366329896205051261\ 6793237*c_1001_2^7 + 6217171806990747417334805458221514810166888714\ 61066902856128/5211624027061342639183915180086717717525769500269798\ 31223*c_1001_2^6 - 988066516036282635635101443757982030078468501164\ 710673724509/521162402706134263918391518008671771752576950026979831\ 223*c_1001_2^5 - 79330797629460146865808086217600863598084102500901\ 73622914986/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^4 + 20420466321239034624123736805123177719391133349376\ 81704743275/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^3 - 41015506250284434639373620318437767388115001723168\ 20008713913/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2^2 - 38418140436018319015184593674882807516546841481104\ 39668396847/9902085651416551014449438842164763663298962050512616793\ 237*c_1001_2 - 7263991479598625514204794397789494133929511274214655\ 38346802/9902085651416551014449438842164763663298962050512616793237\ , c_0101_3 - 16671382836440887434542766904492246146415079625824029970068/\ 9902085651416551014449438842164763663298962050512616793237*c_1001_2\ ^34 - 26096797909327441779115005653520126955101890828238670650107/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 33 + 94832324418435557849884951454133398509310326075032537539638/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 2 + 175700743952646849511874954456447450610109157419522977745104/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^3\ 1 - 20732706193355144880427131701687774117027062521989582205944/521\ 162402706134263918391518008671771752576950026979831223*c_1001_2^30 - 830373833543853431790344573866131187816854245762989314149830/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^29 + 1164585326246457840118530867609654900893022088282232508062210/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^28 + 3384517488278499561557336235601334647134373617580228242849040/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^27 - 1748522276839624826457179553603362939747628883648347336079246/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^26 - 10702687068724898892363641227805962982861738640383054226687212/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^25 - 280034145065259743468011368926545408570361825372570008359118/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^24 + 27031427593700244561756349177828123058845331022722311189062232/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^23 + 11159694552318704424547245530192514348093584260747324159120401/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^22 - 2784483052028545710934005295559451154175736558157213648675007/52116\ 2402706134263918391518008671771752576950026979831223*c_1001_2^21 - 37704874022455849623499885122824560348976627193662921083429351/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^20 + 80400497561765624896142985448240596962792709682647682138512652/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 + 86816755752892389284785164937244688901083687582971576077543543/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^18 - 86027333442033174624336414462962488750168477508597254012900948/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 - 152956176632411688766847742343587824262099349747179888934317269/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^16 + 52291609079729379710863549261220044958643925640461986998669369/99\ 02085651416551014449438842164763663298962050512616793237*c_1001_2^1\ 5 + 197179160468111671053710506152866322048757065329549321884126748\ /9902085651416551014449438842164763663298962050512616793237*c_1001_\ 2^14 - 973289381466538019619771183131444072170158751783813910548413\ 4/9902085651416551014449438842164763663298962050512616793237*c_1001\ _2^13 - 19870410324905471291547610346901376114216921727842762955323\ 8329/9902085651416551014449438842164763663298962050512616793237*c_1\ 001_2^12 - 24551190852806935878317296737002599359880396614789344592\ 522162/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^11 + 130832617779568888716126117216596519026778924094770798\ 166661980/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^10 + 587201324675038608006515221410369774905294302763870\ 511952108/990208565141655101444943884216476366329896205051261679323\ 7*c_1001_2^9 - 7722136646697888695944555483912157379091419647243772\ 2094459369/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^8 - 401411036355413247888892356010619091909653991492466\ 5217916696/99020856514165510144494388421647636632989620505126167932\ 37*c_1001_2^7 + 566753637403086560791161454190443370428996475552544\ 227375301/521162402706134263918391518008671771752576950026979831223\ *c_1001_2^6 - 83448323767473440883678081023770223822965673469480968\ 9111402/521162402706134263918391518008671771752576950026979831223*c\ _1001_2^5 - 7385896082482885344521203768594500406539650975055916936\ 654940/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^4 + 1726238309128624788556326421276477698528654036770026679\ 409930/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^3 - 3412061736279987246521326998295599430215725505271193134\ 167099/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2^2 - 3407984873954729338356059494484006428903898467569241144\ 594564/9902085651416551014449438842164763663298962050512616793237*c\ _1001_2 - 682601123938942127911491159850299225503992491571363963620\ 188/9902085651416551014449438842164763663298962050512616793237, c_0101_6 - 2305159158995811763630962101507904625734665044742188143506/9\ 902085651416551014449438842164763663298962050512616793237*c_1001_2^\ 34 - 1687053909131157809743489771065449945052798752814114880604/990\ 2085651416551014449438842164763663298962050512616793237*c_1001_2^33 + 15448320796584485702183011291852550533721971962239092573167/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^32 + 12523507996693183546298705499306664199376814938602811821620/9902085\ 651416551014449438842164763663298962050512616793237*c_1001_2^31 - 3716444282097450384427595540673838283062221304318610044462/52116240\ 2706134263918391518008671771752576950026979831223*c_1001_2^30 - 63616838051587694693712653574897964242973498847541291962537/9902085\ 651416551014449438842164763663298962050512616793237*c_1001_2^29 + 238901465903023082437212339172136391781950796460021560254667/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^28 + 305856827421474137666583382519023571679082033615222969546225/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^27 - 575520191410360694136549214480967337069565372756034102473644/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^26 - 1159451999876881540419157333301295478520563196185822095831076/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^25 + 1084777757911125821667824634343250206634264514938483395478655/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^24 + 3371919855731839186858003151281780167670650215010186510729737/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^23 - 1452712373814078209938115313671880172360547705131518151109931/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^22 - 397029513455173036070019768155287064815549257736257082492714/521162\ 402706134263918391518008671771752576950026979831223*c_1001_2^21 + 987085946675102043953171771471301011650386825034423945407815/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^20 + 13277730979889943223595071163251509797024504486758900463774986/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^19 + 1934405831670599030992831422515974019049445545284485382455457/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^18 - 18358275788016273974164728110710111970122211179236189918608611/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^17 - 8900214040092586682734991950698074315861056412721756188131359/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^16 + 20561938104657891462514946297375610092887537587508334631359055/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^15 + 16488838759168384471397901078955603312121707506080583525567429/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^14 - 20319325121250437580474922361579771750393133941424673697378036/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^13 - 19631015438876573598188652093310658591122256253574444010926136/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^12 + 16784945116873827983010789408744528731739472848030554854780812/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^11 + 13768597619592800806463664721002650446170467796274161161488537/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^10 - 13461019473252262094646449344432810186293193544023072006199605/9902\ 085651416551014449438842164763663298962050512616793237*c_1001_2^9 - 5924039880350483525588734583490341347392327666596016448867603/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^8 + 6581347611250532811234941371198045144846947892353298616797992/99020\ 85651416551014449438842164763663298962050512616793237*c_1001_2^7 - 32826185393197724509837917271583946006534720914774990733087/5211624\ 02706134263918391518008671771752576950026979831223*c_1001_2^6 - 135644113860841592669402765184484772488405672474499260503537/521162\ 402706134263918391518008671771752576950026979831223*c_1001_2^5 + 965612481199963745372667136908120827130162270031485350099451/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^4 + 321278082881539789223770567217811299946762100649522248196458/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^3 - 691549265911595991327894081781628527405209700460631692724823/990208\ 5651416551014449438842164763663298962050512616793237*c_1001_2^2 + 16382414321679182435794099907869157881252473980907936643062/9902085\ 651416551014449438842164763663298962050512616793237*c_1001_2 + 129548160659655410363112875605230912153809894635229688859491/990208\ 5651416551014449438842164763663298962050512616793237, c_1001_2^35 + 2*c_1001_2^34 - 5*c_1001_2^33 - 13*c_1001_2^32 + 19*c_1001_2^31 + 60*c_1001_2^30 - 48*c_1001_2^29 - 233*c_1001_2^28 + 16*c_1001_2^27 + 686*c_1001_2^26 + 297*c_1001_2^25 - 1609*c_1001_2^24 - 1375*c_1001_2^23 + 2869*c_1001_2^22 + 3638*c_1001_2^21 - 3812*c_1001_2^20 - 7290*c_1001_2^19 + 2852*c_1001_2^18 + 11382*c_1001_2^17 + 905*c_1001_2^16 - 13122*c_1001_2^15 - 4602*c_1001_2^14 + 12076*c_1001_2^13 + 6682*c_1001_2^12 - 7102*c_1001_2^11 - 3457*c_1001_2^10 + 4539*c_1001_2^9 + 2268*c_1001_2^8 - 494*c_1001_2^7 + 665*c_1001_2^6 + 847*c_1001_2^5 + 98*c_1001_2^4 + 163*c_1001_2^3 + 292*c_1001_2^2 + 132*c_1001_2 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.090 Total time: 8.300 seconds, Total memory usage: 64.12MB