Magma V2.19-8 Tue Aug 20 2013 23:39:09 on localhost [Seed = 1309157922] Type ? for help. Type -D to quit. Loading file "K13a4547__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a4547 geometric_solution 9.02718573 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 0 1 1 0 3012 0132 1023 1230 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 22 1 -23 23 0 0 -23 23 0 0 -23 23 -23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.014588863565 0.456598097326 2 0 0 3 0132 0132 1023 0132 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 -22 0 22 1 0 -1 0 0 23 0 -23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.201110765220 1.040435374548 1 3 4 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 -22 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081891078208 0.617060063779 6 5 1 2 0132 1023 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -22 22 0 0 0 0 23 -22 0 -1 -23 0 23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081891078208 0.617060063779 7 5 8 2 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 22 0 0 -22 -22 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400219813602 0.724222327973 3 4 2 6 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 22 -22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.437508348993 0.886453027597 3 9 5 7 0132 0132 0132 0132 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 1 -1 0 0 0 0 23 -23 0 0 -23 23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.400219813602 0.724222327973 4 10 6 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 22 0 0 -22 -22 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.373635970478 1.251869975204 10 9 7 4 3012 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 -1 23 -23 0 0 -22 0 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111702649163 0.739158303681 10 6 10 8 0132 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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 -23 0 23 0 23 -23 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555625156646 1.039524230171 9 7 9 8 0132 0132 0321 1230 0 0 0 0 0 0 0 0 0 0 -1 1 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 23 -23 0 -22 0 22 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597725381676 0.212028352265 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_1001_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_6']), 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : d['c_1001_10'], 'c_1010_10' : d['c_0101_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_8']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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_1001_10'], 'c_1100_8' : d['c_1100_2'], 'c_1100_5' : d['c_1100_2'], 'c_1100_4' : d['c_1100_2'], 'c_1100_7' : d['c_1100_2'], 'c_1100_6' : d['c_1100_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_1100_2'], 'c_1100_10' : d['c_0101_4'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_1001_4'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_1001_4'], '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' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(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_10']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : d['c_0011_0'], 'c_0110_10' : d['c_0011_8'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_8'], 'c_0101_8' : d['c_0101_4'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_6'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_6, c_1001_10, c_1001_4, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 2112415977916754993361443262421009951190256768910474744038956357721\ 97123607906568649041012987831858664322627781018530968527391/2046315\ 2148486900819181494387933589289359219826382744448808021964060434327\ 0459509142229147923862101178642567457861795745865*c_1100_2^32 + 5019471249662849677907626728985663698885852416780571368491667586822\ 056961220759907159338097235832884979789202767628444701936/757894524\ 0180333636733886810345773810873785120882497944002971097800160861868\ 870708971449923106003747357132128068955397995*c_1100_2^31 - 1805301168871336807761465522216764722770086454095638287861665822957\ 137280070021553088746235994536264122509558806425896711644708/409263\ 0429697380163836298877586717857871843965276548889761604392812086865\ 4091901828445829584772420235728513491572359149173*c_1100_2^30 - 7515367557893938810324785279297926446388384581891941415654795663679\ 1617203128406385444380020765642175085234386274750332079512/13642101\ 4323246005461209962586223928595728132175884962992053479760402895513\ 63967276148609861590806745242837830524119716391*c_1100_2^29 - 3342750386310148176983897322638649758130928640022828034965173877625\ 3133382300406853598090114543187535998767878315145694495555028/20463\ 1521484869008191814943879335892893592198263827444488080219640604343\ 270459509142229147923862101178642567457861795745865*c_1100_2^28 - 1453979810000871518264385568660916318560985473461011065197615269082\ 87362258182933220607811894860432963607127242272953646518505934/2046\ 3152148486900819181494387933589289359219826382744448808021964060434\ 3270459509142229147923862101178642567457861795745865*c_1100_2^27 + 1188492969851486638660133106137934832120934056901906051824079376446\ 638531884635607812870405161213714729521556915499313576346294381/204\ 6315214848690081918149438793358928935921982638274444880802196406043\ 43270459509142229147923862101178642567457861795745865*c_1100_2^26 + 2856862241918718213733257728920731878989269921025872645748929314497\ 77590139252686428893287807829114562184332937464177608280515572/2046\ 3152148486900819181494387933589289359219826382744448808021964060434\ 3270459509142229147923862101178642567457861795745865*c_1100_2^25 - 1725940449032288579399869285027536367196626549181023883159041583502\ 755605811482191921075565015228516036038124130504720941336342058/409\ 2630429697380163836298877586717857871843965276548889761604392812086\ 8654091901828445829584772420235728513491572359149173*c_1100_2^24 + 1370204476405576510122343547521397756134580017514105767411544400074\ 8907201743726643211246159863076876121908835681917368741770234057/20\ 4631521484869008191814943879335892893592198263827444488080219640604\ 343270459509142229147923862101178642567457861795745865*c_1100_2^23 + 1207639657398066628936551725018811804163631853764170864451404448701\ 5409420794268760754988645729938002482373011941556148762521518398/40\ 9263042969738016383629887758671785787184396527654888976160439281208\ 68654091901828445829584772420235728513491572359149173*c_1100_2^22 - 2875235787473774433621819381968417988779112587729627776108766576644\ 9494284311468709530121698584249968902958321086478521673901637867/68\ 2105071616230027306049812931119642978640660879424814960267398802014\ 47756819836380743049307954033726214189152620598581955*c_1100_2^21 - 2165338299176242278991609551441943177846476700209013730062408294520\ 2026132960370701944755016730717053236073888158406543872097110354/13\ 6421014323246005461209962586223928595728132175884962992053479760402\ 89551363967276148609861590806745242837830524119716391*c_1100_2^20 + 1150045463476436316389874252603220559236999564861897474492460469442\ 15346157652129812762535345831475182586055548982643320058754269136/2\ 0463152148486900819181494387933589289359219826382744448808021964060\ 4343270459509142229147923862101178642567457861795745865*c_1100_2^19 + 88134518277205154900331339191032792390675760662276873108756372897\ 5604173547179850740355809844027294482435530643045211822356031592459\ /204631521484869008191814943879335892893592198263827444488080219640\ 604343270459509142229147923862101178642567457861795745865*c_1100_2^\ 18 + 59179122061242437818067754891061461520853249853245924496106344\ 3228434220568783692859826877378786269262804208922241880508658401886\ 458/204631521484869008191814943879335892893592198263827444488080219\ 640604343270459509142229147923862101178642567457861795745865*c_1100\ _2^17 - 15196496448291004607981006167742435429397696106307826637570\ 2273205452404589691109772555123438590599093016590903992277976673007\ 067222/682105071616230027306049812931119642978640660879424814960267\ 39880201447756819836380743049307954033726214189152620598581955*c_11\ 00_2^16 - 816699129942427701789532689696091419353925699643237567510\ 2828323421793440294489363939506955109951466639227237746936816967854\ 90561154/2046315214848690081918149438793358928935921982638274444880\ 80219640604343270459509142229147923862101178642567457861795745865*c\ _1100_2^15 - 129231683889017709497131904025320380584285517001884424\ 1329809665034748961386869525518591891821674913772749523155821214811\ 0524576512/75789452401803336367338868103457738108737851208824979440\ 02971097800160861868870708971449923106003747357132128068955397995*c\ _1100_2^14 - 106168995757748070055511357177449069687260716697301173\ 3709216747572206095338155648549628839143841500491579526510056039921\ 21962002411/2046315214848690081918149438793358928935921982638274444\ 8808021964060434327045950914222914792386210117864256745786179574586\ 5*c_1100_2^13 - 922188600180279478113770569563730652855775508595694\ 5001915794169371739062407064560329937638372354870221079252707335912\ 923370521367/757894524018033363673388681034577381087378512088249794\ 4002971097800160861868870708971449923106003747357132128068955397995\ *c_1100_2^12 - 2970276873693880365825541196034903799966437850512607\ 7083537621351978492639282056832017482894383611478528555856948119759\ 9416933620828/20463152148486900819181494387933589289359219826382744\ 4488080219640604343270459509142229147923862101178642567457861795745\ 865*c_1100_2^11 - 1543832355529464062931915792410366358817109748945\ 6545474136713391377306772796617834843241367667208658766329328642908\ 0764971924536143/20463152148486900819181494387933589289359219826382\ 7444488080219640604343270459509142229147923862101178642567457861795\ 745865*c_1100_2^10 - 1756436123104418480279868468859132527921932691\ 8383876515754957790113642958718131258670762636029178041339398933266\ 871505583428319686/204631521484869008191814943879335892893592198263\ 8274444880802196406043432704595091422291479238621011786425674578617\ 95745865*c_1100_2^9 + 160595988191822131718095746141150221218276250\ 8606446642212165161635191264325474833150264350280984475198135288856\ 8665473292803954873/20463152148486900819181494387933589289359219826\ 3827444488080219640604343270459509142229147923862101178642567457861\ 795745865*c_1100_2^8 + 86205505737099217688979045728660139078829468\ 7447647579092876848923720457645005071563169898597741744396009009522\ 6949137458322694677/20463152148486900819181494387933589289359219826\ 3827444488080219640604343270459509142229147923862101178642567457861\ 795745865*c_1100_2^7 + 23767483337098431526907367299929959385042372\ 3465688377503409794874747254666184116476550419152683683463203688900\ 889511088740263118/136421014323246005461209962586223928595728132175\ 8849629920534797604028955136396727614860986159080674524283783052411\ 9716391*c_1100_2^6 + 2897557925487506545584499800942181071487691948\ 4426141551370769591644448309607460760992994859796505283785703173718\ 50427300881864898/2046315214848690081918149438793358928935921982638\ 2744448808021964060434327045950914222914792386210117864256745786179\ 5745865*c_1100_2^5 + 5906239065418099396401362349267505706598005067\ 9847313888739057497689176214996810082347992097551547742407225365095\ 7392244216268739/68210507161623002730604981293111964297864066087942\ 4814960267398802014477568198363807430493079540337262141891526205985\ 81955*c_1100_2^4 + 479672417258641039913146813519747550741816446220\ 5064824442667072670583932558305953979947806702316169657682262176502\ 60468959676318/2046315214848690081918149438793358928935921982638274\ 4448808021964060434327045950914222914792386210117864256745786179574\ 5865*c_1100_2^3 + 6544046421556412728938198549598120268419395696821\ 4426511005002403294654292785125267109865218438509145560067781542517\ 97117431778/4092630429697380163836298877586717857871843965276548889\ 7616043928120868654091901828445829584772420235728513491572359149173\ *c_1100_2^2 - 39786266029374944495175222107982879594949181250758605\ 9750436437132386007059149801078535263258840446240971209005852075268\ 1873253/40926304296973801638362988775867178578718439652765488897616\ 043928120868654091901828445829584772420235728513491572359149173*c_1\ 100_2 - 21397748095589902511532397569072136923645643833024572775605\ 9141892655627137044387767574728614650224634153465817068759730255630\ 4/20463152148486900819181494387933589289359219826382744448808021964\ 0604343270459509142229147923862101178642567457861795745865, c_0011_0 - 1, c_0011_10 - c_1100_2, c_0011_8 - 380967295364309914708676588445131151675400561733088851266837\ 43637747310279375341659184036701488416987532202205039892/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^32 + 4124194039016625560246020487142806538311487940944058457393862031092\ 3425111040030105930560837686675652422957314324642/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^31 - 1641331121984295741705994634746125535841373483694552710023771269270\ 950003515696552635971899991472505228181407804760429/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^30 + 5169663063518721972140584826770361872225746407074489219763224619174\ 45561359464600357720790372737456044631511792508160/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423*c_1100_2^29 - 6053078906164713976224588512632130080414419648066700084403845877158\ 827630166504255393333106863487891573401003584034352/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^28 - 2354809419408078024206187532890530291672395928112024543898406217881\ 7829624192272803362345963492714273790644318173927604/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^27 + 2254695345296411976322441954124609615265151678195038232187681753395\ 33500988257122171862972082663704389530723188257953080/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^26 - 4471157175733108091210475152979255987757511352941514976590348954629\ 3585262996798157484775918494007315773834409352989400/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^25 - 1563737953349421721285398415312388305185540003534768377993656349156\ 409776916442745345449699557658523863182433953939559903/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^24 + 3156928117178952203207816511403107809966906427506866573030137094576\ 006663274360313941886034874907286925293305914903269904/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^23 + 9693322715179716061280891019839304402021993152833406783802823048608\ 606985813330869250564713258010840254547434801702741446/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^22 - 2015908660186758453186658951094003094103080358183507827175761044284\ 1868947677812695933901420630051695902098338084097853312/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^21 - 5102136649918974635447854205120074308491551647764575878291054406893\ 9411803858684133788806520401582212115938005559055348284/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^20 + 4533212022558606540411540764216705658020136250190429268560837218740\ 6674427617217235077353493460566363108627355911641329359/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^19 + 1461171681528557643916829569929592813733638957934790437291006095013\ 34656794030592368591029184917949489240476810469846527153/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^18 + 3888140929735062579946088617175483816388448785322767331719361663475\ 5364492054086322659348453656193859063635265576976820938/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^17 - 1191954444701307901191377807888588210090036146607843265369549088653\ 97324342694521586030419515218760400066206426765587326184/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^16 - 1058635449993758436925983788431983029739577550273374161014930879343\ 21520968493554255089528564744074005772415305145923807217/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^15 - 3858982502829723735959452022329968768435175685578854631404199848758\ 299408705635385779530435207868852869818229335915694045/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^14 + 9781731302057948420257776428447805972191834446106264852091366448602\ 5962107809143385292562823458391903955476582453570687/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^13 - 3974066618490692603978291340879807595036415617273672285992063672252\ 7815516784980899901217174233109465077137344265782333869/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^12 - 3499470381819477753393345551495736940328360915211510605360602513060\ 3723575352069195264414609347718514636534540337565575828/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^11 - 6846450085468122384292368559948385044770172810568084106309948600732\ 786293910713689496534007471923800957566597672127564204/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^10 + 6096776454966157688093789686672164283273349126994419247663026344742\ 774718905044648593603844910529009791247629840705144255/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^9 + 2735215671393018387959293618426878258038285752417496973910726898111\ 196469176654223026755844071693228593517712977386502994/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^8 + 2198985158323682159701966454091606081036927218915012044331583126375\ 27829318300270176874971620829146420609959317549949366/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^7 + 1963836402029847496032347342401493137131605115670030891982235800364\ 94876221604219679183219221621642288230157785880411735/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^6 + 3327618636144018462285531613490920348164734159056233238758528722342\ 98142855949664177228896189118314916175788264393119615/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^5 + 1129378767392843203347305464563612506443536610814925609854750228180\ 92276140416619876775387479792089219884888516171102341/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^4 - 2577148630853780524555709477170316887344140835155003594748266703501\ 1516802603025324468031795657902027323291073376440021/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^3 - 1263796619757727261638320792173467279332961762238804698850871372930\ 7285612306017185757223829443965850787055017359266392/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^2 - 2289598587169120157650865575940740928472794997768968808270810766736\ 899555218973592290171006449154738205317107976213391/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2 + 6314198781268728348410756389745613718504575308252564422585758919479\ 62686314946135696120780545806462698912529836403250/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423, c_0101_0 + 848243204083174333365302666345678284554196641541686576423893\ 90493225455274246483670739609277514503133154908079941431/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^32 - 9972040185102281270766083647984617135437431173533655324034313270291\ 6152023959605962289388328080544959313433667976346/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^31 + 3663559253944069090171856852765600280162697344503271687415665111878\ 814917665828610761476428400733404680715160446253857/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^30 - 1488428190358792071297424479343976535605188265203377769939664958739\ 674763348733112216862580217574832364535165716204441/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^29 + 1360081108824807790673741855548816459805511296575994965915140343192\ 4549191798132861821955255117574572021384019151996028/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^28 + 5131188908306759696940336161816714129106567125842513657646551932781\ 0231767745980188314104666244489740696519232438827776/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^27 - 5069525510092602071207624720779492332827775179105053728238196025655\ 55164222248688059429791615368464934799801648259587375/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^26 + 1471323050330976928675719550921158267110491615723634019665382853543\ 62349003808345631736462410106882340692074095134940821/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^25 + 3471164170200139932977647225697975044145101083809923657460824148707\ 854860325730254979773422126288673649131720085847400459/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^24 - 7372882284264666682551435430770012726622456107953438550417606584371\ 255791290421659062111148567275093695370404440490805083/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^23 - 2089123398326456078699888995944039377453965446381737129814070234903\ 4304103535547103303844515392980132931478928713281075938/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^22 + 4698054537685929323957032374919645651620278706139697391493997749268\ 9732699276527953870552761456888008992450496474323160226/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^21 + 1089380160729792600035953728482983053767564983808791205362369271765\ 69460673202021952957813744385311468832306571045993506275/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^20 - 1118701591289167538220159000208843028704723657056489358150709692489\ 27722626966452361437607443610899134585914156012895003530/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^19 - 3130170841616867733820029357337180985336728286561449414575835439910\ 34354648895284770578625284488651858301152670858205746443/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^18 - 5382319802789457918462910774059923548564392220845056973593803200745\ 3886866673276508443951071022473006042811686423784652758/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^17 + 2648663477960307200582085249625656500263790978042274671168199032583\ 33190666420795267299718164449996947177956948203790676707/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^16 + 2013737582628733164881580566805247475097382635588414600753123247490\ 73161009833292362299420735534120765830201538701832006041/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^15 - 6796505551311069706804948217883895285206534457678482793528589639557\ 277682847357730878498350266627358617409627726034028704/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^14 + 1041860093226943302151452278730104742424065702183728834057382795507\ 9967479065998500662676583938064996457200236517057997001/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^13 + 8932326599197631928525113436276432156491837635909171521306169809787\ 5403627179087884935604115082008179325738270421081275520/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^12 + 6610028291633662666767751881197578158665742296679504229536444945660\ 0913555965300615558045624586763078701049867998013705047/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^11 + 1055447990186152953350582004678349455892424242541438632769861459807\ 9881809941865120142916080173785635486501862869598143765/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^10 - 1131966752082439685860304501825285791891229336556061223072384591988\ 2588627703349243226749381492489698016597664387920468293/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^9 - 4599256659657091378258089624400594214830031705887958190843546462395\ 812349613359810887436050221263797240441857548921808497/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^8 - 6293544930743862815113127655144930933412940976264251362861155630348\ 76966406434438011281238974212290752847555937903696846/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^7 - 6175389451035617638458988420231903671087725642803715283863847455124\ 64810809646064014119422516694963823374557809575560224/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^6 - 6263350667098535629919665373210166085901831298134887454658417762682\ 35024577384237606568130041423135101358499092986335545/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^5 - 1996241499619812870078398448082532578460289756020479672755121217785\ 71087840320690646859172965496916897628850077207332163/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^4 + 3939900417110936256123328460449615678634403268875100058279332496299\ 2935106598885980066416355900871945560096739245669292/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^3 + 2264607642658748702211503762613447821941699122848404600901517346903\ 3995836631716841793864023403451441994790783042266509/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^2 + 4995408929416041220849639392468141241263701911453496538242611784013\ 727991272721692998304277873228053898537972890536908/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2 + 6905272579141463631537600198501924803251904368331714096917189117249\ 4468549394776872040003056330284742401207729054024/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423, c_0101_1 - 733866256682643590223217879614077574432659422002121866733875\ 28046580397428530652337148946480314916417947086845459161/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^32 + 8571201678231027792809829871878398226996671899447032034542239732846\ 3461284679706390389718421392733413022493567835747/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^31 - 3167348150360996231200710265306914101760611763193273016138172614187\ 230009027829956583953044239598500049172462720547394/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^30 + 1260987194695232578112020703642839505755844484436794104514806212652\ 574283698279876615985140113079619150235279932192805/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^29 - 1168902445983759767397224367559157874873589801321010439474452249947\ 6983890928839867373179799343708394283767470090855366/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^28 - 4453769747876277033801208641162869238995185099193817562472333570508\ 1285335628780037549556539327373325014616072511078374/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^27 + 4385161928095753130326323515238282464078114238077173042867850864766\ 24899823766049694376230401441497807981873988017815963/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^26 - 1230867813288422172691890042362488588396156012264407471806731979221\ 28708584389886385608113211357123777049973432132758287/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^25 - 3013780076763449796702211711763955851145435054400418609348953377098\ 024110808258524148642727063436712009749748360782947723/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^24 + 6362249964389687120913783042714179911981520736009491437386503163643\ 508782853277219475077187752150810826772576614588850263/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^23 + 1818572018625656869100107878826764741725207634615338074874916120907\ 0516508242839857431663750007182047525906956534592757717/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^22 - 4066951198565982538267416241688130351666043718692975703770420272290\ 2979518990881020736416487319720400794564325484336880086/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^21 - 9488695135638618035315355902567133173371602198999667066459340443917\ 9367793051465543150668359292011918134510700378066903141/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^20 + 9708712524287199539194698594045365087920400099147773463190655687262\ 8065670165087222627770444055528762875148412529355236387/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^19 + 2731776063403153583022337940989161092653053672528385999278155173229\ 89553832558203219245732090536604239372406377571393790955/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^18 + 4575034078685274298930529307923182022310842603861358046477279712804\ 1824105602857928094808233807609708559578566404739677003/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^17 - 2335731605348119699990473203683497873919448973264183115010376505628\ 81044992009360702332137704015183623206114797772136280110/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^16 - 1744972872658108502114254555533555720367531378825969276054204418595\ 92370272611502011389412887176110499031417309514971630958/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^15 + 9429636145086368373978668612123530187808608728502095149036417696664\ 295825907549034477761538695324702618075265839330272156/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^14 - 7686490759651534878420831342246969159461793002564366028295616686941\ 103859783201641445342468539004603203486152196942369048/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^13 - 7869809484268076568671400142080388769540352914636226930377587041425\ 6915843873457192003430937459441969742835816708112239610/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^12 - 5705255319221161775809592428301765701995742272155388864057980794625\ 0479573902702721457499363996704001139813435261128405268/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^11 - 7970525676558610772716375850020987062312285045130407898646601617891\ 920187552068068342200982759724411032655905240721921258/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^10 + 1012513825959548066000291435412455257768905803251171161190108490265\ 8270550617695583189143421208545136286135625896471636504/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^9 + 3879403928063422420266782729503728266267416805488569771862915916898\ 143140556272204168806466094424668503033225068298754525/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^8 + 4445455690285380262787391460105178780184057634446003078140807356448\ 22605368839939164030421120041347358445802963202084514/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^7 + 5524769316466151306998825603606685317410531189289390876785372146173\ 06504585620172626971166218310770849286876649182526219/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^6 + 5454403282756759547831612048080627874081609705759974039166455347073\ 16083774932850519997382938295833613939111153189753162/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^5 + 1621360958689530049486801073453915375481004713913533143984284190963\ 54736433120760455397194234370618441444549260975007106/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^4 - 3596070164077668557747748171164941927360311310400686969067669126299\ 7833048019331213602260302446269895135305006248796001/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^3 - 2005556482573592668879648590959053994065073899749123089351374938351\ 8798628160841274510028183397253815203663834412599169/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^2 - 3859743480076463244612104023203676940475990663816392375451122841652\ 456918740292151907868829377346867229534561378513138/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2 + 1686610544580549035550660043217250437143042264316493665586367558096\ 68588818950819200808281937895080540356261978175797/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423, c_0101_2 - 555153694917459987698599068422142109085537326468486379564750\ 16695929231875588146107776267389449084082496063703280170/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^32 + 6701399924391496377989056257493519696187651166748465847849353044128\ 7978150880290835590417395781452831292287187768121/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^31 - 2401777493205472524124511215913037350104133663603622882385237697252\ 439363334239678627890386684621972056677445402302245/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^30 + 1052588365020921340033937056254653561342688417057266332624594762527\ 351751080407099114737983086812284187255563847142970/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^29 - 9019539146842774744248369090936553800663761281374193455606623603703\ 072941285194831543328199760847503706002824854284286/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^28 - 3324438809279663575768865236287254272113788585831842739440938784721\ 7038761780313173433029733696285693374125527075400568/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^27 + 3325203740121024544704784569196024841383769162583106393802757943063\ 99490605544149586361022380860011649545088594681187157/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^26 - 1078975247122478829187433884361121148512597124115040703659328769153\ 65997936044358920030074960685733919794935334324932593/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^25 - 2256371977815542909857602052672680391956624419972430255838179560605\ 930350557296626935302238513889472442372782487843254483/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^24 + 4890402829385649319116511979153304174833353573055136862438637516840\ 031889163608685051760615605245051326049224954445934121/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^23 + 1343823359646513283072451039418096199157102175974263837510003753933\ 9299141360885962912329441476655266743304690019207990569/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^22 - 3098047352239838509584105514991218360062260703039551668069615518581\ 9723960530659157162884697125137918391597695687204107238/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^21 - 6987257686172352236610380067452707329898998835820030490052010285643\ 2172234762851626939833562885246290700826938326800716104/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^20 + 7419818119973197985565698594140633619146695847833405755290779666861\ 9719458765520632146505328830320376843207186218817301421/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^19 + 2002446819916426958460386474146298417660975091810568831812790271028\ 49735997189899115712730415460371099972445611610965971636/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^18 + 3221874093649729995426167439726803302575777178140072703753697239383\ 4245948734469666009012176716412679539523613378061201178/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^17 - 1676780821538659188553858104198673347422624738948217969296281522780\ 53078938241505294556514547738430993296233256218496649923/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^16 - 1273874315158582309208429321467141393952140499895325045091957145871\ 97649292650956896310876405425994288497615797513366754568/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^15 + 1877198823450604451608000608250262494221876403456269520110737037794\ 029456657039368574709163615634389431033480586625912008/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^14 - 9540544225533207423763988849444906255998390710016842510618266548298\ 635637179571896802651627774319124759198040406420679810/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^13 - 5662984440211943324475060977418477581495150334703624033690906625477\ 2095610187224682488448423386944124816063447075236304959/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^12 - 4205210641924608150840061030201224459959763901605226001901054691574\ 5838616690251443959552126254156138464793479323240227471/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^11 - 7777913857333282111843463882867853954806448791224767734249110370766\ 332146906438639855292396272303089268008567866933262974/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^10 + 6812596356313648203180567755518269770291006116608268175745829985359\ 766224563025099681582819800006653868246598367257408439/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^9 + 2965200689257248042603557641107196358250537096023966433552771977780\ 626949997312701944367632113233989066688153868588464856/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^8 + 5376394563672171370410667193619922927509015461113270740855267347669\ 36442822530881529439620649149370962411193017880054610/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^7 + 3979341008393874360682903678399380366999135461785479224717417495663\ 43329748942139102104368435273563220650981530273492006/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^6 + 3920207945880680339416005350618231548862011031747267099721583219598\ 90612196876843849402480410719558179825382876788101171/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^5 + 1368098728799568308651885993809542940791626461035697024255980673625\ 12841414189818777195559518676558905449097191530081322/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^4 - 2252287485618419259923030404823792117007813182619145558412793356876\ 4944131288694296960126140554786873285401911709928604/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^3 - 1296815835796878149257639972351363227419681182415637752378852657400\ 2032093530187756938585862836432091674775928356075481/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^2 - 3769525173156442975291290147282515861794430317126316461076625069977\ 652894956044940563022828194413408562314378899635707/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2 + 1870092344467660814079370205619466595290816780205890532543768069111\ 28267252915187621399332281744315954355244968945290/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423, c_0101_4 + 919864549663854618967743074762751026802650724770635303736999\ 89580881966922107866328612749601498956925717315106391/1110761929005\ 4488603555792865872620980162204247251467888581479933960792358812654\ 05571942458497229486678474252614641*c_1100_2^32 - 9611887121793507397755755591335009453688217954829594133076309569900\ 8094325024058484953800268749893777004907105837/11107619290054488603\ 5557928658726209801622042472514678885814799339607923588126540557194\ 2458497229486678474252614641*c_1100_2^31 + 3958096029748926851089534311861638289681962084137562552856213761710\ 297219592128065669938848646440673080373993947072/111076192900544886\ 0355579286587262098016220424725146788858147993396079235881265405571\ 942458497229486678474252614641*c_1100_2^30 - 1095032356512528960180970965496242776666414903110625333115328260652\ 612542041134774918857568066283180774163823811821/111076192900544886\ 0355579286587262098016220424725146788858147993396079235881265405571\ 942458497229486678474252614641*c_1100_2^29 + 1451123490953589763973864469079361436851344890655446587042394073745\ 3716064163700230556161304068870711245364621434222/11107619290054488\ 6035557928658726209801622042472514678885814799339607923588126540557\ 1942458497229486678474252614641*c_1100_2^28 + 5754342306399483339917962171240989131214014515432763391104961726128\ 4005332280709653250400426252573366416659775511273/11107619290054488\ 6035557928658726209801622042472514678885814799339607923588126540557\ 1942458497229486678474252614641*c_1100_2^27 - 5425518012390679598554609169328773555741777041775105130077187178299\ 62845232901201898086059779360719241055304031222706/1110761929005448\ 8603555792865872620980162204247251467888581479933960792358812654055\ 71942458497229486678474252614641*c_1100_2^26 + 8714940543409500107582589717577080172143137923389977310080760926412\ 9915339059375584494136263275343293519568334995956/11107619290054488\ 6035557928658726209801622042472514678885814799339607923588126540557\ 1942458497229486678474252614641*c_1100_2^25 + 3788597285749668633789614940329058692427477012970295498662269734376\ 172026116269516940841470437630838153898010627610091/111076192900544\ 8860355579286587262098016220424725146788858147993396079235881265405\ 571942458497229486678474252614641*c_1100_2^24 - 7498842230703270398894369308625650840125262494915254901236671820404\ 837602652040011729420002331960972989383787677480250/111076192900544\ 8860355579286587262098016220424725146788858147993396079235881265405\ 571942458497229486678474252614641*c_1100_2^23 - 2373212851383984009385075001786195964206187710145217773578565085959\ 5974442186266638228601895888824688083361362246970960/11107619290054\ 4886035557928658726209801622042472514678885814799339607923588126540\ 5571942458497229486678474252614641*c_1100_2^22 + 4800823192770617350089682281965250114769961601918055331228760632887\ 3110913056412656557102524672086508914499243146415683/11107619290054\ 4886035557928658726209801622042472514678885814799339607923588126540\ 5571942458497229486678474252614641*c_1100_2^21 + 1250599957178395532601133746298590240249429634008887850929328579515\ 79656210294830723637540568800073795753605938265722263/1110761929005\ 4488603555792865872620980162204247251467888581479933960792358812654\ 05571942458497229486678474252614641*c_1100_2^20 - 1060709885223535750611087148182428140650747789284982484038136468319\ 91456562133881312737473482857183518843964084236875506/1110761929005\ 4488603555792865872620980162204247251467888581479933960792358812654\ 05571942458497229486678474252614641*c_1100_2^19 - 3567906540496681309061098302373219364233581850966575686472897297350\ 40271060927955254100618558488350168487772243513215924/1110761929005\ 4488603555792865872620980162204247251467888581479933960792358812654\ 05571942458497229486678474252614641*c_1100_2^18 - 1026903347096056061472466097948308727719668498523895411072917371416\ 53419841062433678706017984850962954551931209177421085/1110761929005\ 4488603555792865872620980162204247251467888581479933960792358812654\ 05571942458497229486678474252614641*c_1100_2^17 + 2839310492158805508643881842914138336012326616167708484635635601617\ 92445197167587515198319952070591205818959885822838647/1110761929005\ 4488603555792865872620980162204247251467888581479933960792358812654\ 05571942458497229486678474252614641*c_1100_2^16 + 2587936619454407582330657374858957559388390251306256436307689441426\ 97137775794399541925168370117940368893112918012109238/1110761929005\ 4488603555792865872620980162204247251467888581479933960792358812654\ 05571942458497229486678474252614641*c_1100_2^15 + 1767799401520339075358913691749739821665331183165883718349419085457\ 3640071463318471795881856140494505836498051096340553/11107619290054\ 4886035557928658726209801622042472514678885814799339607923588126540\ 5571942458497229486678474252614641*c_1100_2^14 + 6123063488476553585172600912542201709504511103538183311736387709655\ 670214682631092430505270005407712036224034603579991/111076192900544\ 8860355579286587262098016220424725146788858147993396079235881265405\ 571942458497229486678474252614641*c_1100_2^13 + 9822675607393886112771972566877465308899114004057068194570898956477\ 6228656524360407891410118399781733317717169781635076/11107619290054\ 4886035557928658726209801622042472514678885814799339607923588126540\ 5571942458497229486678474252614641*c_1100_2^12 + 8512953748757318138859743689097003892801354092069766173128446588022\ 3488589627331800900354880102817866935716885303549792/11107619290054\ 4886035557928658726209801622042472514678885814799339607923588126540\ 5571942458497229486678474252614641*c_1100_2^11 + 1949026732735358468499065795900381589069829979726066631670620614586\ 1214978285950324259303032370288328553416504094943278/11107619290054\ 4886035557928658726209801622042472514678885814799339607923588126540\ 5571942458497229486678474252614641*c_1100_2^10 - 1213678341548893699791629374467024448102648892151646251577434626590\ 7596079726711681551705706030221759722065063150906541/11107619290054\ 4886035557928658726209801622042472514678885814799339607923588126540\ 5571942458497229486678474252614641*c_1100_2^9 - 6701669713856720262304776676028662613435511823521406609489140418026\ 275249527283878340761303035334089736819529352193395/111076192900544\ 8860355579286587262098016220424725146788858147993396079235881265405\ 571942458497229486678474252614641*c_1100_2^8 - 1108466447817147124798088337006141206310410658042069021891578207246\ 248008138441341943774083756183801442725984977273549/111076192900544\ 8860355579286587262098016220424725146788858147993396079235881265405\ 571942458497229486678474252614641*c_1100_2^7 - 6688433339877251644123328338297469176750892836393684371091798748093\ 59400042179642240404734099037977433627829803381053/1110761929005448\ 8603555792865872620980162204247251467888581479933960792358812654055\ 71942458497229486678474252614641*c_1100_2^6 - 7834017115926197465076387857504238365210828070929430308183558042709\ 62911749174061747885463007698606973188893362693716/1110761929005448\ 8603555792865872620980162204247251467888581479933960792358812654055\ 71942458497229486678474252614641*c_1100_2^5 - 2940239810103405283883995585337573101731651350307511028728768154696\ 02384431103408540436098110952049884497952254634609/1110761929005448\ 8603555792865872620980162204247251467888581479933960792358812654055\ 71942458497229486678474252614641*c_1100_2^4 + 3227554444860240466944775524402944583269009699298660075200193320196\ 0672545412752829022248406578996777368462726710830/11107619290054488\ 6035557928658726209801622042472514678885814799339607923588126540557\ 1942458497229486678474252614641*c_1100_2^3 + 3124593219673044555009855910509571050183702445083401895587170300412\ 7749616578823776768799453186566225910478978575002/11107619290054488\ 6035557928658726209801622042472514678885814799339607923588126540557\ 1942458497229486678474252614641*c_1100_2^2 + 7887160804306447784042224687647057515296538943586169060424466014958\ 339584383362915290262211185905074998961763973010/111076192900544886\ 0355579286587262098016220424725146788858147993396079235881265405571\ 942458497229486678474252614641*c_1100_2 - 5028318093864414035219259395861644768646180788798509778142769611449\ 34538509687831234774943126037213916706868804809/1110761929005448860\ 3555792865872620980162204247251467888581479933960792358812654055719\ 42458497229486678474252614641, c_0101_6 + 207422851343822333606395824782834190343804768480841826985834\ 42383406146715782001785379073968833093731823767508153700/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^32 - 1562428103000942679522838069963807167054679074907028177916760584670\ 4163277126778320253731770514971407420273497765978/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^31 + 8864641877630144982891444391018797309244559762546306133424314157494\ 07926244578386455336474136896677017303439726263617/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423*c_1100_2^30 + 1153876274803157095005985254805023132381617915476910126944740140441\ 2640842278406105657621239304291700484633625937680/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^29 + 3214017531381925470624694522824738509253795638785635261674858770934\ 981562324151305728282352399392949884982522600418703/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^28 + 1385773344591078970031773372597252477467180190628227190321229091520\ 0436723535173828796020023643084457515439043474287600/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^27 - 1184594819734418921209137825203430265354366645955145749844640414241\ 56588201433990152444152994909062298978961807051578374/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^26 - 1613182241405515815064304470914811109656838454569197000613733290528\ 1425599639921272339866560506938023331713939947502145/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^25 + 8576191487976755755282165952621828060656215644078910698964903753934\ 00141074071091326106709530903111228020960697071493338/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^24 - 1431651539353997916362725062929293536352555813944356252686015102165\ 616080970750175465786155487599952474875412399290615724/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^23 - 5840451678755873060580265318641949747764805475550066360820971564462\ 501486929833613646502271386871222690082772310803508236/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^22 + 9179511790734396919747857339381920205975178114052241612521742343261\ 417218529351226604410562445674073105221551353527289837/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^21 + 3145496940360109261130522401643777518156107716912327948931313231357\ 5043343831933374732017628152892217203762211500738504581/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^20 - 1522387925039820846230641967802918366763331831995402340822482918696\ 6600224218567133491789783085417269839003750419912849290/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^19 - 8811528693237882839201747988786518933351684335878580531158952787534\ 6397893591192758244094597370802385561392082290702829932/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^18 - 4857601761090839309004420918285801717067750823124214910674784676823\ 8939695867677530268549806047742200996077311903164444617/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^17 + 5920363534635547812309328481059990108221666171256938586558813726442\ 9209147741590157662597299825567838636077190255834786442/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^16 + 8159295000833125117982944169441758776955295290256328921386292270547\ 8754499319669961942117087637161961844995319099693813046/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^15 + 2027014030813579740577773923525480845629542251733861748135750544900\ 7266390634062850130371704069593043682045272544898212656/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^14 - 1722491049224751966918069352883017273855328483858150599435287258936\ 956799037946668858686500321251910741482521864941054131/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^13 + 2132499114314944505374526944771439812154308609326274506346155158158\ 0097014540842762930630831938018354902708120501196309332/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^12 + 2710008717786909325676496371037805782217957897177486274690044809169\ 1725412898377987326569788489821260145397580324577295657/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^11 + 9552500477118619577905914146262514127777301994233052574266420741169\ 566179181345344504818556239384536633723174975984124953/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^10 - 2837732788941727489390638638727045375415424342529589626819037121583\ 397263611856904606305248009499115825377551678201259875/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^9 - 2647827441703877780571754892557630153749371999957844871988081239815\ 102078376237283131759767863965230753552592686203410347/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^8 - 5287819541311446732993221692134163045601145061240449122487438170526\ 48037373903888410215708933704675990141173119860940092/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^7 - 1044117069860448454687095439635298540790337194009190177073740375099\ 08580444864931259489664336042625101600424209100213772/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^6 - 2378828008958809637389541781362254639507963568119145575465117056936\ 96001281335468374371533687229047550089110538361361858/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^5 - 1193483738573732178737522195573466495276685765612566941770344252714\ 66039537122029539237453090080652928328783076224271314/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^4 + 2862827468596483846486672137868514553881032779696384945120016909561\ 26627718993542493624550326902242649419650736777016/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423*c_1100_2^3 + 1142163366819663241245921799963162076945275908611925671935015785420\ 7118924494366581262666035905826088156066000683842367/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^2 + 4015635243444643532355737026258894438406530217857895925634783837403\ 787183421138803418320350092140669024926656367169739/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2 - 1363511937538734777338992471514551555169890642065627408562576789256\ 82650395845561875844748595858866692369152190445028/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423, c_1001_10 - 56705717181254152668409490209307500855765474844375509930802\ 800737410619764776971857336775391015473718617940751081070/558713250\ 2897407767588563811533928353021588736367488347956484406782278556482\ 76499002687056624106431799272549065164423*c_1100_2^32 + 6638369570733851706522443749611782234305759323682412608857713954511\ 9443227642242021409931495735325038180230538303661/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^31 - 2449589651345917975268779313906894727873603793014487134259625875774\ 391425976907409608446493832010704056404482912668774/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^30 + 9838591937884509396863423202970067797277787021999938158296646111875\ 41016390248301913639031500743264614806358467662413/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423*c_1100_2^29 - 9121814513955530914451251567976729645116135034718591164989612369174\ 093015887944777367329947888117296088573223900878292/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^28 - 3433386839808478749474997720275703912208843574051274356981246798323\ 9059424599850138454464139608625724215019896017235288/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^27 + 3386089499952142522597112062999696431117910583636758189547621705357\ 79622196763239282380199714606157654462812262805047320/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^26 - 9717825036170560308321080248565468912893060979101752777114435758345\ 8026282913780771675045605594475977584454257521099976/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^25 - 2316179411945563041317411026334312471392265847110366331780210268423\ 752955329818537574972735082192514621360884064833396426/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^24 + 4916066314490755669081195735735143930539427922006576663824446250144\ 963421485250739670164249958163444659306330984819672204/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^23 + 1395677381893421313350201964542488185924781067735159525182950118336\ 3973961472596379628770369743588662465724981204267389394/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^22 - 3126755187216811641709375917561076537705391837026541799532680227991\ 2080119364422499270301329026595837271923999780735878303/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^21 - 7277917601681714577946774926440678570486680852153927006416552464389\ 5368892685196802693827348324141192238613924498596639403/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^20 + 7396995605733368826283712030456312446594082677450954605951983985499\ 2971829756702872055838182490129804658117496680730593502/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^19 + 2085769175513754189974309647466392087341799444392853066014894178474\ 74179646562946411477257959873387948701372241329299065544/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^18 + 3814672892623181588349090457590219204740701266083533817947674560135\ 6996787945132006255740786698829336757901208740104363770/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^17 - 1738616861122752228347315239729389699839023693714639767846578628076\ 89801950566439437956056034118978603996899416479636727228/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^16 - 1352197909172445828590537553688752959805903831596589970137285267779\ 89151957008832091580294702638490089930588837681736473218/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^15 + 1205660286767140490312437158501666689156886950386150835402088810770\ 284158664230785731635163290176997321950893546529048430/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^14 - 8604191078584321487694126062972468095088835251269799900716276565927\ 554738614144975042853024446686502617608141781683576777/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^13 - 5946517547206511971881987639559362188258175540770188628898719972845\ 4754993846647144430689176438784679553983669293816519608/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^12 - 4464133881022561231558017084565657762647751003931285478968493462546\ 1850716143467141410316430410008529115517356951625934980/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^11 - 8235232331145796824637921069913925223226692952600797926284441952705\ 893034879407552946332642822010730370694993282598512886/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^10 + 6976778240596194301378425684235868794287274889215056238572192117451\ 274923391985774258077821449814647482928352329418576121/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^9 + 3057288596351660050453118196435099661866282020015319300215602737458\ 192980427470638534765953365933267262463427599395882995/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^8 + 5254371798649164789430637799368771414483035207472800765393248774606\ 78895379732876974671344414411950015463143031533350562/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^7 + 4298637212397746306112602655224308022519174283411570879682521121553\ 68117960887816180176486741767408361361346119717138063/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^6 + 4153160899286210429774857157544928318422238786818274511706588466447\ 87220008902580103147172366828906410087180037189066413/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^5 + 1453342544249701593266512291123968411579526368420219184429244887843\ 61158109456004652444119786416086893216555757583457570/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^4 - 2157797021516734709351590737480503637022598941642677555348980923265\ 5517044728314066585580790395029652755507072713599846/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^3 - 1354652903429763158311140222352968516605114941171548706567817715456\ 0668040995127555464617422408494234029778619534655544/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^2 - 3897792926028161490986435727467044223361998313854011537833243654213\ 720164389451854398057476163976432035870991811179421/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2 + 2700623727941007900061671815595730893767374980782506669984522831514\ 59605456199606681053117495383515571415537488078732/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423, c_1001_4 - 555153694917459987698599068422142109085537326468486379564750\ 16695929231875588146107776267389449084082496063703280170/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^32 + 6701399924391496377989056257493519696187651166748465847849353044128\ 7978150880290835590417395781452831292287187768121/55871325028974077\ 6758856381153392835302158873636748834795648440678227855648276499002\ 687056624106431799272549065164423*c_1100_2^31 - 2401777493205472524124511215913037350104133663603622882385237697252\ 439363334239678627890386684621972056677445402302245/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^30 + 1052588365020921340033937056254653561342688417057266332624594762527\ 351751080407099114737983086812284187255563847142970/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^29 - 9019539146842774744248369090936553800663761281374193455606623603703\ 072941285194831543328199760847503706002824854284286/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2^28 - 3324438809279663575768865236287254272113788585831842739440938784721\ 7038761780313173433029733696285693374125527075400568/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^27 + 3325203740121024544704784569196024841383769162583106393802757943063\ 99490605544149586361022380860011649545088594681187157/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^26 - 1078975247122478829187433884361121148512597124115040703659328769153\ 65997936044358920030074960685733919794935334324932593/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^25 - 2256371977815542909857602052672680391956624419972430255838179560605\ 930350557296626935302238513889472442372782487843254483/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^24 + 4890402829385649319116511979153304174833353573055136862438637516840\ 031889163608685051760615605245051326049224954445934121/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^23 + 1343823359646513283072451039418096199157102175974263837510003753933\ 9299141360885962912329441476655266743304690019207990569/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^22 - 3098047352239838509584105514991218360062260703039551668069615518581\ 9723960530659157162884697125137918391597695687204107238/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^21 - 6987257686172352236610380067452707329898998835820030490052010285643\ 2172234762851626939833562885246290700826938326800716104/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^20 + 7419818119973197985565698594140633619146695847833405755290779666861\ 9719458765520632146505328830320376843207186218817301421/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^19 + 2002446819916426958460386474146298417660975091810568831812790271028\ 49735997189899115712730415460371099972445611610965971636/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^18 + 3221874093649729995426167439726803302575777178140072703753697239383\ 4245948734469666009012176716412679539523613378061201178/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^17 - 1676780821538659188553858104198673347422624738948217969296281522780\ 53078938241505294556514547738430993296233256218496649923/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^16 - 1273874315158582309208429321467141393952140499895325045091957145871\ 97649292650956896310876405425994288497615797513366754568/5587132502\ 8974077675885638115339283530215887363674883479564844067822785564827\ 6499002687056624106431799272549065164423*c_1100_2^15 + 1877198823450604451608000608250262494221876403456269520110737037794\ 029456657039368574709163615634389431033480586625912008/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^14 - 9540544225533207423763988849444906255998390710016842510618266548298\ 635637179571896802651627774319124759198040406420679810/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^13 - 5662984440211943324475060977418477581495150334703624033690906625477\ 2095610187224682488448423386944124816063447075236304959/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^12 - 4205210641924608150840061030201224459959763901605226001901054691574\ 5838616690251443959552126254156138464793479323240227471/55871325028\ 9740776758856381153392835302158873636748834795648440678227855648276\ 499002687056624106431799272549065164423*c_1100_2^11 - 7777913857333282111843463882867853954806448791224767734249110370766\ 332146906438639855292396272303089268008567866933262974/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^10 + 6812596356313648203180567755518269770291006116608268175745829985359\ 766224563025099681582819800006653868246598367257408439/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^9 + 2965200689257248042603557641107196358250537096023966433552771977780\ 626949997312701944367632113233989066688153868588464856/558713250289\ 7407767588563811533928353021588736367488347956484406782278556482764\ 99002687056624106431799272549065164423*c_1100_2^8 + 5376394563672171370410667193619922927509015461113270740855267347669\ 36442822530881529439620649149370962411193017880054610/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^7 + 3979341008393874360682903678399380366999135461785479224717417495663\ 43329748942139102104368435273563220650981530273492006/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^6 + 3920207945880680339416005350618231548862011031747267099721583219598\ 90612196876843849402480410719558179825382876788101171/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^5 + 1368098728799568308651885993809542940791626461035697024255980673625\ 12841414189818777195559518676558905449097191530081322/5587132502897\ 4077675885638115339283530215887363674883479564844067822785564827649\ 9002687056624106431799272549065164423*c_1100_2^4 - 2252287485618419259923030404823792117007813182619145558412793356876\ 4944131288694296960126140554786873285401911709928604/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^3 - 1296815835796878149257639972351363227419681182415637752378852657400\ 2032093530187756938585862836432091674775928356075481/55871325028974\ 0776758856381153392835302158873636748834795648440678227855648276499\ 002687056624106431799272549065164423*c_1100_2^2 - 3769525173156442975291290147282515861794430317126316461076625069977\ 652894956044940563022828194413408562314378899635707/558713250289740\ 7767588563811533928353021588736367488347956484406782278556482764990\ 02687056624106431799272549065164423*c_1100_2 + 1870092344467660814079370205619466595290816780205890532543768069111\ 28267252915187621399332281744315954355244968945290/5587132502897407\ 7675885638115339283530215887363674883479564844067822785564827649900\ 2687056624106431799272549065164423, c_1100_2^33 - c_1100_2^32 + 43*c_1100_2^31 - 10*c_1100_2^30 + 158*c_1100_2^29 + 632*c_1100_2^28 - 5867*c_1100_2^27 + 692*c_1100_2^26 + 41118*c_1100_2^25 - 79592*c_1100_2^24 - 260952*c_1100_2^23 + 508441*c_1100_2^22 + 1379361*c_1100_2^21 - 1080341*c_1100_2^20 - 3912540*c_1100_2^19 - 1323447*c_1100_2^18 + 2984168*c_1100_2^17 + 2968495*c_1100_2^16 + 370103*c_1100_2^15 + 88510*c_1100_2^14 + 1058450*c_1100_2^13 + 984092*c_1100_2^12 + 271061*c_1100_2^11 - 117806*c_1100_2^10 - 79767*c_1100_2^9 - 16125*c_1100_2^8 - 7592*c_1100_2^7 - 8903*c_1100_2^6 - 3745*c_1100_2^5 + 145*c_1100_2^4 + 352*c_1100_2^3 + 105*c_1100_2^2 - c_1100_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.100 Total time: 1.310 seconds, Total memory usage: 32.09MB