Magma V2.19-8 Tue Aug 20 2013 23:39:53 on localhost [Seed = 256469944] Type ? for help. Type -D to quit. Loading file "K12a580__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a580 geometric_solution 10.31645994 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 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.154789155645 0.510393243092 2 3 4 0 1302 0132 0132 0132 0 0 0 0 0 1 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 0 0 0 0 7 0 -7 0 0 0 0 6 -6 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.228623556576 0.415977726875 3 1 0 4 2310 2031 0132 0321 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 7 -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.600233706532 0.382509430957 5 1 2 6 0132 0132 3201 0132 0 0 0 0 0 -1 0 1 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 -7 0 7 0 0 0 0 1 -1 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.397952534032 0.640778863115 6 2 7 1 3012 0321 0132 0132 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 -1 0 -7 0 7 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.778786221370 0.828887716912 3 6 9 8 0132 2103 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 -1 1 6 0 0 -6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706708292503 0.505866789894 8 5 3 4 0132 2103 0132 1230 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 -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.048732154934 1.171106177745 9 10 10 4 2031 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 7 -7 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.139624628917 0.783029133817 6 9 5 11 0132 3120 0132 0132 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 0 0 6 -6 1 0 -1 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.291880945591 0.567382710243 11 8 7 5 0132 3120 1302 0132 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 6 0 -6 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.254104095920 0.434306728055 11 7 7 11 3012 0132 0321 3201 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 6 0 1 -7 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139624628917 0.783029133817 9 10 8 10 0132 2310 0132 1230 0 0 0 0 0 0 1 -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 0 6 -6 0 0 0 0 0 7 0 -7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635723237023 0.578572832701 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_1'], 'c_1001_1' : d['c_0011_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_0101_4'], 'c_1001_8' : negation(d['c_0101_4']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : d['c_1001_10'], 'c_1100_6' : negation(d['c_0011_2']), 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : d['c_0011_1'], 'c_1010_2' : d['c_0011_1'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_0011_11'], 's_3_1' : negation(d['1']), 's_3_0' : negation(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' : 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_11']), 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_10']), 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_11'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_2']), 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_10, c_0011_11, c_0011_2, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_4, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 2007075756974021282546323095717932227349359376485047219996475676569\ 1228978087330145253452822316173864507215927279931329645/52314361110\ 0005972201831782980420361360164138906921698759557242341556607707575\ 281586361719992718749197473424698091231*c_1001_10^32 - 2202851840043914884487582848253887116185605130125457026273189596459\ 27293779433501164970920203410650479574206409516494533543/1743812037\ 0000199073394392766014012045338804630230723291985241411385220256919\ 1760528787239997572916399157808232697077*c_1001_10^31 + 9896181415727850878636326298333911720764080391728592601942231561642\ 420797041643900711435017556319696445510411824121346941/523667278378\ 3843565583901731535739352954595985054271258854426850265831908984737\ 55341703423416134884081554979677769*c_1001_10^30 - 8822398383552613327095847014844768610800911607235514260177864537098\ 4836795180578024438104789997808777801716806236145096435702/52314361\ 1100005972201831782980420361360164138906921698759557242341556607707\ 575281586361719992718749197473424698091231*c_1001_10^29 + 5182137790578090867991334860781769667496081595806405055217969916933\ 90576719330874215811204693539443371310062032269233269325977/5231436\ 1110000597220183178298042036136016413890692169875955724234155660770\ 7575281586361719992718749197473424698091231*c_1001_10^28 - 7721602952350441177447956516946886010852388567700290489047270712673\ 1838844556909415866551066131360332937029367816860572999129/19375689\ 3000002211926604364066822356059320051447008036577613793459835780632\ 43528947643026666396990711017534248077453*c_1001_10^27 + 5745775166669900166138991818108804980508681587643697121345846986575\ 6987094111552611852077854834282058395667427552374881738619/51796397\ 1386144526932506715822198377584320929610813563128274497367877829413\ 4408728577838811809096526707657670278131*c_1001_10^26 - 1116805163742213548255994510074844900040618426293332495795047459923\ 9120933715411290850063605564626522590083403870699192046443132/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^25 + 1555913287580627719799660094644947940687431463993934348765208138084\ 8939937864262930920961066885758822440379157322507166086365374/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^24 - 7538657283117079343902386699947565611808537708295287659238673982215\ 70797906243733782726174846586016508462507509300835724870951/1937568\ 9300000221192660436406682235605932005144700803657761379345983578063\ 243528947643026666396990711017534248077453*c_1001_10^23 + 3310341378763771071567989807400561916076998910646696681317433347262\ 3627157660817705837525774175535090040537841330878465052545465/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^22 - 4563634066574390012653858282195994129675900733358160437465776704652\ 3130951279811098652393168155980059681897496219752755660330976/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^21 + 3409629257793959539371956597960900890656583178503034902161284030435\ 0040264235020270712524744167051056483023505149584895731171188/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^20 - 2632475165194967629293273343590291422376163174874419977672354914554\ 353480544861247395671349773547037396359600880005010455823119/581270\ 6790000066357798130922004670681779601543410241097328413803795073418\ 9730586842929079999190972133052602744232359*c_1001_10^19 + 1718399015545290428305595662940018687562741852794926793747798370455\ 4779479861563062014774022724458263290380538384875317076200037/17438\ 1203700001990733943927660140120453388046302307232919852414113852202\ 569191760528787239997572916399157808232697077*c_1001_10^18 - 4100040252214327256665479237862650007603504371793683146841980433590\ 7926096395708645021545456063359316959889879284468434332340742/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^17 - 1588009004683236665290985463402502423640059848118422713965284575068\ 6070440161057277257161114539867811570122676451745602182836810/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^16 - 1452230913149834835362156743477704180634877620630952623284949943045\ 2520652043454014764048206544794745712594368773569335666467521/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^15 + 2540526366742219335727926776832452009006616222993959912068078662189\ 81209249255392958421018260293686885589440445482768977284654/4253200\ 0902439509935108275039058565964240986903001764126793271735085903065\ 65652695824079024331046741442873371529197*c_1001_10^14 + 1823698805771697132110234917412748027193196825203624588257487700848\ 9352026447132516097777270929086585364427059479746631041818166/52314\ 3611100005972201831782980420361360164138906921698759557242341556607\ 707575281586361719992718749197473424698091231*c_1001_10^13 + 2328171042072153149479868559319418897951100636505072641069348761377\ 632758871435101251602415260457638051020831528706748692220025/174381\ 2037000019907339439276601401204533880463023072329198524141138522025\ 69191760528787239997572916399157808232697077*c_1001_10^12 + 3579452906380653699600539336676242543251045039211779219988258540685\ 582551867762091694213772053578207983712667750099539344289059/523143\ 6111000059722018317829804203613601641389069216987595572423415566077\ 07575281586361719992718749197473424698091231*c_1001_10^11 + 9500288120789161125525974631295478227553280756425976217346760154989\ 239648184486054633764662949963216534529043792366465661461762/523143\ 6111000059722018317829804203613601641389069216987595572423415566077\ 07575281586361719992718749197473424698091231*c_1001_10^10 - 1039286531021055708374574985724625138785198379841351353918239747491\ 733006305344549971659523863560460552873675636907711359073390/174381\ 2037000019907339439276601401204533880463023072329198524141138522025\ 69191760528787239997572916399157808232697077*c_1001_10^9 - 1028253210262334147710622567514000012030317761215633283162668170120\ 92649700791817403738030884782824655470505587184441012354087/1743812\ 0370000199073394392766014012045338804630230723291985241411385220256\ 9191760528787239997572916399157808232697077*c_1001_10^8 + 1783304968848105436901689624228041289668817118782508567988947295734\ 674979630537616275804435565735706155571733218384497715106719/523143\ 6111000059722018317829804203613601641389069216987595572423415566077\ 07575281586361719992718749197473424698091231*c_1001_10^7 - 1050288208569495597940079520895309002714915536179367071915475460989\ 01772922253248357535867689255395586538114718757112491504872/5812706\ 7900000663577981309220046706817796015434102410973284138037950734189\ 730586842929079999190972133052602744232359*c_1001_10^6 + 5179988851901001646668293730835113879664091163503072026547280704589\ 3015040666673487666007862666074388578425672977870214367913/52314361\ 1100005972201831782980420361360164138906921698759557242341556607707\ 575281586361719992718749197473424698091231*c_1001_10^5 + 2727729339994069826281161779548581031300802146190615094880891836206\ 76758055154011178285447308696838245317005824498975612141578/5231436\ 1110000597220183178298042036136016413890692169875955724234155660770\ 7575281586361719992718749197473424698091231*c_1001_10^4 - 1960157883932560932248214882872522525987126379356429433445801866365\ 21987609965399236864873567544565134186358368924925525917792/5231436\ 1110000597220183178298042036136016413890692169875955724234155660770\ 7575281586361719992718749197473424698091231*c_1001_10^3 + 7937374049544409419505969959674323133055390680273040476790413115883\ 5783566185167417123126055020757729570739453899317809391665/52314361\ 1100005972201831782980420361360164138906921698759557242341556607707\ 575281586361719992718749197473424698091231*c_1001_10^2 - 6553216813605139816038386948611542729189490250035444124521070335139\ 980991063332138978152015928403343193503472869376932092752/174381203\ 7000019907339439276601401204533880463023072329198524141138522025691\ 91760528787239997572916399157808232697077*c_1001_10 + 7855787327167673590018430813784293213664064517414862094378018491945\ 49794025358753240244839740631918540425575287920346468600/1743812037\ 0000199073394392766014012045338804630230723291985241411385220256919\ 1760528787239997572916399157808232697077, c_0011_0 - 1, c_0011_1 - 417615444705763166503993230512505891757445926697030384116761\ 7169377841518992918862730617214172/15386207176570856583971616404469\ 9137052827615033379388505246941391461850430194557682458293759437*c_\ 1001_10^32 + 135708520164039193363799298186073463494306085094159102\ 818275543137122465212138072586957266060384/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^31 - 1998330762613682176926561128177413491663531433\ 024458131484394175260114759654351858239594524998220/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^30 + 1748635059116937546666215468768990809\ 4473650190915318554995981662283269421966459562646804511154644/15386\ 2071765708565839716164044699137052827615033379388505246941391461850\ 430194557682458293759437*c_1001_10^29 - 1001462934872965348794169393688003700900163365390047392887655257243\ 07404649120060574775121312868404/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^28 + 38937635476226925205592882980110202858284576645890043521\ 2979597575976089540872404602756502247343752/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^27 - 103259543495751962451388899018181182776581999\ 0691697094733954690275965330667059473996884727222387162/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^26 + 185226065288769841360673706031795\ 2152720963755638120496533264626451367452684127336414005320836153370\ /153862071765708565839716164044699137052827615033379388505246941391\ 461850430194557682458293759437*c_1001_10^25 - 2373961173991391784699622468853890297810226923695182532490417994775\ 456753749681863557333405613327594/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^24 + 3110591280549568884046547593699426338184244283591098456\ 667423941718990538723952364872820094941154234/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^23 - 5445124838195318806400581607977504911320274\ 244264258766383487642918832176518477030935488251344413824/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^22 + 7018289169550714681063026396231204200756055138644062036341182620237\ 629268434458903531319791170537816/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^21 - 3782411321280652568179279109492451980780822916293959940\ 580984597499087560762048572843871326024198272/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^20 + 2981233002514677920423381761109796416389844\ 999456640794626241102162646225569530537709728348440057268/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^19 - 9479273110944058607816517547928744053934357020445211422045018006877\ 347656986767306017261158879421704/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^18 + 4435951710842980975163579747467268806110214148225923971\ 924863478375536206428692955248847196548096291/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^17 + 5856836424810796022363593751079198950296098\ 372605225835847942654314963110953901244844066159913789096/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^16 + 5562225520871383828978280660398789537155059515324003970530749977245\ 738759940028370626911400741033620/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^15 - 4889983987787941754697700027797005420652190436273144131\ 596854486968272160169222557291158919618369075/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^14 - 6566207059127462466002706386777061424711411\ 667518105062849318907151213717673981319390848908684985577/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^13 - 3945566309975768783305666305587151975172833730665285048902725864993\ 702892749180531329411906225030119/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^12 - 1599369803320466599369893731115306009110560962311931070\ 284067297921147908178005326661699704631507512/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^11 - 2165607793249560632759975389188576427329121\ 443303307623779287384722380668704720864829594413731718431/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^10 - 1631306947965471949280332026550635166275212085654915614391040014446\ 93179646357613706683868643926694/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^9 + 142263950975656260877260784541204569497437965552240793670\ 457679019152580288690882802813728528980025/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^8 - 23023290816329030799000686553981471466157886591\ 1799178026665166789602841789183050668850237202788588/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437*c_1001_10^7 + 6515760372320533942845370795120028473\ 2467195822279492142116029100775838315575028593454347037066377/15386\ 2071765708565839716164044699137052827615033379388505246941391461850\ 430194557682458293759437*c_1001_10^6 + 2026963285033102454628177653051784653779502298081471321062459938299\ 3359542431210479457617038280869/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^5 - 3609488039926052906717452863282769865478351353587058791829\ 7414970654155850797249986291575041021633/15386207176570856583971616\ 4044699137052827615033379388505246941391461850430194557682458293759\ 437*c_1001_10^4 + 2005847583540727357949313907996968698267615502106\ 0585821079174602922269320998775301561391755397094/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^3 - 7400431380522643863662361933681467278082\ 690781690985993585879469902023157154592730908367375477079/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^2 + 1868385344390548640311586698397049429735689355205091759011551092937\ 433072855242086177108071878590/153862071765708565839716164044699137\ 052827615033379388505246941391461850430194557682458293759437*c_1001\ _10 - 1961230818390762843843432972673075212922724305266675947570894\ 70813787044484967541248126336101507/1538620717657085658397161640446\ 99137052827615033379388505246941391461850430194557682458293759437, c_0011_10 + 20706485650690449870331175594854033032779116012697952541791\ 41227160129178241198584098822956196/1538620717657085658397161640446\ 99137052827615033379388505246941391461850430194557682458293759437*c\ _1001_10^32 - 68595125565450733085106270039799670661774796237364819\ 060341806919179116138489163352205701813670/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^31 + 1033595044870574908501055296626604732311229499\ 422502106929849373703052426433438864492160314993148/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^30 - 9304799271388917125445277237883177323\ 083256266507739137633248166976726953915369868627626984887210/153862\ 0717657085658397161640446991370528276150333793885052469413914618504\ 30194557682458293759437*c_1001_10^29 + 5525654528342777478468530861389981821675880374179257221911101638278\ 4899679800583002184791906029672/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^28 - 225463509995824646748072400856096953872560336713421109043\ 314832607665106407882019119183956199825268/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^27 + 6394100272378688415555339408067167190122343181\ 66430107503740950923848740322617954355400744382187456/1538620717657\ 0856583971616404469913705282761503337938850524694139146185043019455\ 7682458293759437*c_1001_10^26 - 12605531589918239667581725299358888\ 94028362820898474384160992801928102995373680185874002032531442334/1\ 5386207176570856583971616404469913705282761503337938850524694139146\ 1850430194557682458293759437*c_1001_10^25 + 1797037943138803706750648224149516566031936403442277823561903604570\ 835012882742494720485169068242582/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^24 - 2330537200761127552753945683238147259241488034589824234\ 965746216431103639292528474433497723820631190/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^23 + 3689695243255385105833212212499016234578311\ 817614421487158313006246612344734829871278466592405662798/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^22 - 5214035758904726936640900009596578218175468823058031106740276910455\ 836397355113640325384049984640914/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^21 + 4213024486462791208923645547086163890723300782606428030\ 028794888729529768698799908961193209247889108/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^20 - 2727783803998246083980634857307944278453766\ 916389920602299999180288950195316165492294976467480533820/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^19 + 5345263823827184891877501346576466743171842078404841474274474698881\ 907308965805423937377868544026594/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^18 - 5104205328488818160267951375036007709170327046916441758\ 034573399789029155910263176250653928680934486/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^17 - 1024906097408644549260198415392339143673771\ 728979236123740933618595559005067763422053461964862257412/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^16 - 5054983459061847981798801247799831881437524439839776964651570886226\ 95511135113131827600264515778316/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^15 + 33871964167182704512901014646039923488400903774297994067\ 10653836920930564981831359633970797731739488/1538620717657085658397\ 1616404469913705282761503337938850524694139146185043019455768245829\ 3759437*c_1001_10^14 + 77309143772891423371420861964304005001672693\ 0287566513998524299890638058353948648425663632675157638/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^13 - 110962979841913361476766022907002\ 776287963989367536599920755539531378869032017238733477952378281126/\ 1538620717657085658397161640446991370528276150333793885052469413914\ 61850430194557682458293759437*c_1001_10^12 + 5181899128888734478947542623585994950081720784880942238454153011651\ 92814200908956383911359369217362/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^11 + 14051292875106384510897897004512586130946256140778306328\ 26478593707765564190204406622484388179248328/1538620717657085658397\ 1616404469913705282761503337938850524694139146185043019455768245829\ 3759437*c_1001_10^10 - 28581020238916810264216329177735364280784133\ 6567294799412420474745437390019960545756187629282684973/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^9 + 5026772418078903113128304668749561\ 9090229990249530426243780287197466124799292089209594741611811164/15\ 3862071765708565839716164044699137052827615033379388505246941391461\ 850430194557682458293759437*c_1001_10^8 + 3039349549754537467818493081974903379601832739384233369408676163732\ 27665468205723531008463447610234/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^7 - 114409490153149842630192088417380477376840974146822338076\ 457951300894646849204968627186890555331779/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^6 - 58905691668096221077588787230037705975932324323\ 57043822191400439161625971746496413678770071857583/1538620717657085\ 6583971616404469913705282761503337938850524694139146185043019455768\ 2458293759437*c_1001_10^5 + 398478871977507293982782255068210075907\ 82897510768358600102977410872436591314629251551100388020605/1538620\ 7176570856583971616404469913705282761503337938850524694139146185043\ 0194557682458293759437*c_1001_10^4 - 2399570228463546568912607821714926293636493370334930266683106966966\ 8344764970044404561331754587186/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^3 + 8133533334210922286650501287362672802457972701518372878073\ 903147341175843904997109011510167498509/153862071765708565839716164\ 0446991370528276150333793885052469413914618504301945576824582937594\ 37*c_1001_10^2 - 13157227611606273798095653967933598235528657007493\ 03772767108343781460010257536482648945710422399/1538620717657085658\ 3971616404469913705282761503337938850524694139146185043019455768245\ 8293759437*c_1001_10 + 11100556625570491410213175837875861678221564\ 9723327769381362468603415205969516661111307718012019/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437, c_0011_11 - 72579924202853395935598965365395937282184150838139860184503\ 3746119574679608898445711632355652/15386207176570856583971616404469\ 9137052827615033379388505246941391461850430194557682458293759437*c_\ 1001_10^32 + 242291355990492945133945474083296369012857557310566954\ 99329526660420212196230994006217896286624/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^31 - 36844387204328728253978012350998798583506319552\ 8519274256138812736566091313270620928128220814356/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^30 + 335444238938820215258192607243096651423\ 4726652379570175266664635237751446787421011014133451150700/15386207\ 1765708565839716164044699137052827615033379388505246941391461850430\ 194557682458293759437*c_1001_10^29 - 2020893471313473916120077096012611067455397994012876272966351980105\ 6402056943981043606711182312908/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^28 + 840560552469652775613482142141568270382049055549250891976\ 15963127462619893140368098928846332487992/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^27 - 24486946955036598765363549629240067096925215679\ 8787240069243569862305415587458857779948086297690304/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437*c_1001_10^26 + 501768750858478858951245039029791012\ 208638388176160362447189334489436072742838741738118287090022648/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^25 - 7516157569496069477219834433038213598398819098873464548593201656685\ 82378923455903525150675611958444/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^24 + 99782521992908816875318063750810822562955466284540182431\ 4673382216018648539556888795038086360951287/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^23 - 153221909117068742375735746989241040634154401\ 6504567246764003924794718924332538967891803324637176794/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^22 + 219165973614296283888002511770767\ 8957951324053883407861639850206449945241439762758494797380302612035\ /153862071765708565839716164044699137052827615033379388505246941391\ 461850430194557682458293759437*c_1001_10^21 - 1991594867934906066913254335598108766685826822943749328045036588830\ 654680706788500545139462329848381/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^20 + 1421864799686875023703945293368386376748079392061052016\ 650762700099526239710028830154902920437249543/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^19 - 2205807126883800491601234504944200116626224\ 504021026540684391620533932986894780663052628477257761260/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^18 + 2277380467152097081210129495777964137749298002395195296263843218847\ 725996862144355743981334657752231/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^17 - 1378128786904210309532237154964602645991398650304374256\ 82608215178453285826172002977047109749374240/1538620717657085658397\ 1616404469913705282761503337938850524694139146185043019455768245829\ 3759437*c_1001_10^16 + 24764024036559493179339477407784094393789631\ 2462561627665457308239967608272899155808365165172170498/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^15 - 121768348250709962285234223576679\ 5055950655678232174762453698023560921665507311681326604959544316212\ /153862071765708565839716164044699137052827615033379388505246941391\ 461850430194557682458293759437*c_1001_10^14 - 1153105538296210689982178551872343000645797832624425799411841039948\ 99018580003753077277273278396934/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^13 - 60539503312596867352525751573922420924867959493064500058\ 541569802246374738973032848542629124954114/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^12 - 1417219119524043252969864333864216123836856650\ 91815857258690103302617681863997301993534243053105706/1538620717657\ 0856583971616404469913705282761503337938850524694139146185043019455\ 7682458293759437*c_1001_10^11 - 26970122411879237889945620416164005\ 6263791686716896839590982175824266201973968400780717337549914780/15\ 3862071765708565839716164044699137052827615033379388505246941391461\ 850430194557682458293759437*c_1001_10^10 + 3423240948785324953717836420006231184753122646334033155453513367293\ 58132225832206744079419017585398/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^9 - 184980590772452329871356952422477893960761094470414828848\ 46156541284739981044098198054061767312677/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^8 - 739849111714590382744257267034187512170172514608\ 55593323619712003036602147128058208303771248519940/1538620717657085\ 6583971616404469913705282761503337938850524694139146185043019455768\ 2458293759437*c_1001_10^7 + 810757979292015545546190741196371605636\ 81079124908230843782424250563001373866099995072473397943996/1538620\ 7176570856583971616404469913705282761503337938850524694139146185043\ 0194557682458293759437*c_1001_10^6 - 1436697410878213353795199528773841260027245536570973466288135126207\ 2665104042991460330888116380756/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^5 - 1434571215658399615643077627083672574005314548988703133748\ 3399126072818822811981600642307716812982/15386207176570856583971616\ 4044699137052827615033379388505246941391461850430194557682458293759\ 437*c_1001_10^4 + 1333393504223361580638817370827324115294576678584\ 8621008014689971676247569131271230143239202977756/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^3 - 5727653125921176865364150093821852268733\ 219574577656147773290293682084080730526844908518528393036/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^2 + 1479834800196509313518823099970618524230512915741527691301569837828\ 681465921425201440678903555424/153862071765708565839716164044699137\ 052827615033379388505246941391461850430194557682458293759437*c_1001\ _10 - 1412364880239726767243442074312037541444578465048775142255041\ 11104647588663624933763912332956403/1538620717657085658397161640446\ 99137052827615033379388505246941391461850430194557682458293759437, c_0011_2 + 726259842335156142911865442708636001655107977001335309272749\ 1251512834226182686759879864305172/15386207176570856583971616404469\ 9137052827615033379388505246941391461850430194557682458293759437*c_\ 1001_10^32 - 236681608620648600516433762229533731574434467355398458\ 376724845457371188865523835491947564052480/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^31 + 3496983750710093987474447174236047679119421503\ 312838035549412812290391224902513219300219350812724/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^30 - 3072656290562306422785697451797648362\ 1010534139624155865356134415725893120998840496578070227070140/15386\ 2071765708565839716164044699137052827615033379388505246941391461850\ 430194557682458293759437*c_1001_10^29 + 1768898363289030128571334722117515765133272405749535229251002705356\ 40140475965571674921999681363596/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^28 - 69245382463015451850606302199556498153354458153357963626\ 3075003857796463423783497550298150637609308/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^27 + 185343550132229125046620862454847763756433253\ 6817089356377935735286216781012624426371287028052687684/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^26 - 336680623480200600182767274206737\ 4210135112022867994762087367820153957571856067100652190527727380294\ /153862071765708565839716164044699137052827615033379388505246941391\ 461850430194557682458293759437*c_1001_10^25 + 4368344474063154617558623040594301066310143747751020486300298593449\ 084859452587171702028711952910264/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^24 - 5679260166713030674912185867088738601530652046757499120\ 054014650553124499797985592543466963487767852/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^23 + 9817425004521996019044011841215846925468487\ 638616254537715150368996445411988313063450601346035372548/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^22 - 1289099602244866830697434084626751146254127989892064771629975540300\ 2767432671826098137803011746308560/15386207176570856583971616404469\ 9137052827615033379388505246941391461850430194557682458293759437*c_\ 1001_10^21 + 739305820233342612257091823705213618154322757537939803\ 6074687889969641333795464499055516626664804204/15386207176570856583\ 9716164044699137052827615033379388505246941391461850430194557682458\ 293759437*c_1001_10^20 - 534450832345243438107195698555462240301308\ 9481379115481606958342367258902656177957867018204372306758/15386207\ 1765708565839716164044699137052827615033379388505246941391461850430\ 194557682458293759437*c_1001_10^19 + 1665199810488334937378137789416134063987811716975599286338677004101\ 4673763869661385383717790974529561/15386207176570856583971616404469\ 9137052827615033379388505246941391461850430194557682458293759437*c_\ 1001_10^18 - 908479912325880307977655137599005079880696661170080214\ 1633466934803583861604636353309251613176587935/15386207176570856583\ 9716164044699137052827615033379388505246941391461850430194557682458\ 293759437*c_1001_10^17 - 994264460851331762032969560254512029945499\ 3942641092560298513346329862392011628364220911758573425399/15386207\ 1765708565839716164044699137052827615033379388505246941391461850430\ 194557682458293759437*c_1001_10^16 - 8292436893798311958497395242274587116306481996924133272776148126583\ 803194336562735803975538345537374/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^15 + 9654936378699913905319171872093476907020734013162010718\ 763056543038447030643842795162798563917607194/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^14 + 1065089364522269240680040215629008738188752\ 7795461373696432074942481772990205999855839050480520321399/15386207\ 1765708565839716164044699137052827615033379388505246941391461850430\ 194557682458293759437*c_1001_10^13 + 5386289575391982973225690692353406123416404523161564038106499431022\ 257953818690889123744414183438472/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^12 + 1956518981160291073955042710616425325599693411091009455\ 843989969985995687674175021571627778644965436/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^11 + 3567532581444636848589706848503758341083277\ 088526194176602949836012019971157139359205405575594729541/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^10 - 1860025779451341197519123923740886037266834793557414452078944309144\ 5065202461690599827167736270424/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^9 - 3550495401185007468582657194788681415560129930428726654692\ 49210306509652864265276316182849663556109/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^8 + 460027214436053084837472466815163088601780407772\ 881937632293153660321909844997941587958841228973704/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^7 - 13063495689353817631582516347568644357\ 7552617285596683206432678682840076568768034419408041652998128/15386\ 2071765708565839716164044699137052827615033379388505246941391461850\ 430194557682458293759437*c_1001_10^6 - 4923155696485575908791334598519632151221552192655681875554120957716\ 5756511602019772237844971643475/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^5 + 7213489182839179027825564446466125580061844885023731179223\ 4122576670499770202007385479684997490650/15386207176570856583971616\ 4044699137052827615033379388505246941391461850430194557682458293759\ 437*c_1001_10^4 - 3756300329465288345854033753192620586136175288864\ 4343464849148107459209307726276459162785407400530/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^3 + 1236297774654211825002975312468821351921\ 2533983424696108439683103525710943625751806656056445437689/15386207\ 1765708565839716164044699137052827615033379388505246941391461850430\ 194557682458293759437*c_1001_10^2 - 2736141648296977266103239085417151974063642061570759526796036088793\ 231497326108380193309378801538/153862071765708565839716164044699137\ 052827615033379388505246941391461850430194557682458293759437*c_1001\ _10 + 2504173518747501201686772199861066448793578008329270941201025\ 86213648755474962992980797802653719/1538620717657085658397161640446\ 99137052827615033379388505246941391461850430194557682458293759437, c_0011_4 + 654644648295336574503962077937442864157202780817531663799328\ 849779153734010626741477072496108/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^32 - 2034725570899314659255258282597181811034640031403145460\ 6611817597172629844148006213006603325104/15386207176570856583971616\ 4044699137052827615033379388505246941391461850430194557682458293759\ 437*c_1001_10^31 + 283373672920026258222693535420934241298082417672\ 407424312662725404694033240965631820561975123020/153862071765708565\ 8397161640446991370528276150333793885052469413914618504301945576824\ 58293759437*c_1001_10^30 - 2305108529663444945710738857812046124654\ 026750463586341541357453822403366068062667970947604357364/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^29 + 1192891776595771696972426647215317595473804337052406028560916181344\ 2782277504363997761377897647762/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^28 - 398053243060820751159146223102666772948867028125063791292\ 25994215086121218799583829508569697176886/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^27 + 81337095750274662816177592911849569140782384444\ 158038866647052687010801385862655122957814936518668/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^26 - 8517724672422129594731266439128042598\ 2395155164670731173014240561867671369936058773060022647697788/15386\ 2071765708565839716164044699137052827615033379388505246941391461850\ 430194557682458293759437*c_1001_10^25 + 2895614032667477914352531740705659523824938978249973760506037510922\ 1338121789823757710547087110932/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^24 - 937270700131804685678904685898134005257131602097988374544\ 01473890928046913757164355368247172101752/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^23 + 34942871243399643616877151196599254479779850328\ 6946201533919709870495341353826858466451029709299084/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437*c_1001_10^22 - 127552354157751725154534121570817633\ 908585852418355747849284186647848939658987014828917767012009020/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^21 - 5877302433833909866788654409889223262132146506897732153264283319053\ 55460458897329274097630442828422/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^20 - 16988669603647662163280410577544535220358108295032673495\ 9088738143200762515358931010413567809720234/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^19 + 124390171078991384901459881792129026722937480\ 1388378228424637123805302614681423384970259671578179142/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^18 + 117997329104259695208803531543973\ 7005068575131537173741426946692097625899796571252995692710929161136\ /153862071765708565839716164044699137052827615033379388505246941391\ 461850430194557682458293759437*c_1001_10^17 - 1361669806619983316114018672295076156732835582892428034140301919139\ 740007878412207895879375093810302/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^16 - 2738034236596538335006487270656179807615277420815685707\ 203239422456041650286543080604017627553885461/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^15 - 6593693046366918851337884604060266633511862\ 13478751300389593197851643176737979719937492625623350088/1538620717\ 6570856583971616404469913705282761503337938850524694139146185043019\ 4557682458293759437*c_1001_10^14 + 2144417365799043697814097099382515680953462188127723009673807449299\ 935406740803401182645370345305981/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^13 + 2558048279036235307088877647671920833531135506772624907\ 891065982585548684149719500311340276672120123/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^12 + 1245963643166089359546227773002312989261432\ 493959319970132432628762376999837990579034946309905871223/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^11 + 5689965863628045637320813107767953594880315856431686850513312217565\ 55298299473299677893257839317428/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^10 + 43342182779949159247344481480550266393770085221158149163\ 8668277641494556797666642299894543325209451/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^9 + 1003009223008297345997908701775107697363303870\ 77551401159256675747360357270851408261996371409125870/1538620717657\ 0856583971616404469913705282761503337938850524694139146185043019455\ 7682458293759437*c_1001_10^8 - 499141607114610073874908580198923154\ 04641485101446071120823564811863503869094991259999606467024523/1538\ 6207176570856583971616404469913705282761503337938850524694139146185\ 0430194557682458293759437*c_1001_10^7 + 2258578926670487128527116493579349339258674200758453200392527930863\ 0619110574479301904475178575542/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^6 + 1212458322713672886841980813423778298139019900551777845917\ 8475103102761874901191942131348879553487/15386207176570856583971616\ 4044699137052827615033379388505246941391461850430194557682458293759\ 437*c_1001_10^5 - 7944699783028393728320211608227516804686206161099\ 384017292995700617643913292821126108638168367833/153862071765708565\ 8397161640446991370528276150333793885052469413914618504301945576824\ 58293759437*c_1001_10^4 + 21053473538623873903440721771626781699542\ 71540688287744784444525593657742100382377018748770031409/1538620717\ 6570856583971616404469913705282761503337938850524694139146185043019\ 4557682458293759437*c_1001_10^3 + 963988840468070481655736526409090\ 311455001549091107335628507420222462676788200537211169982862618/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^2 - 7472362739343600201326736875694126945879804931404260035768838516289\ 88996988337462285688927295715/1538620717657085658397161640446991370\ 52827615033379388505246941391461850430194557682458293759437*c_1001_\ 10 + 12882437531731256157855675959755967128491745254008976260684046\ 6972348844329100521561105832117703/15386207176570856583971616404469\ 9137052827615033379388505246941391461850430194557682458293759437, c_0011_6 - 336721882067186789788832808763723126662696178358455010024404\ 21718172540701899902693071467012/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^32 + 13676470675056668036644089766126067119895644746361660013\ 53390167651969593468314267769294697440/1538620717657085658397161640\ 4469913705282761503337938850524694139146185043019455768245829375943\ 7*c_1001_10^31 - 25580489051822341748952252994611648282760796159384\ 150731145196343754602528929798054085369747476/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^30 + 2907531543656732699979329681840358920317608\ 13189676865571310226712272592407282715684297766826556/1538620717657\ 0856583971616404469913705282761503337938850524694139146185043019455\ 7682458293759437*c_1001_10^29 - 22307506991457228397491137107213620\ 36835844319650536515072725274662557189177496730220691592144860/1538\ 6207176570856583971616404469913705282761503337938850524694139146185\ 0430194557682458293759437*c_1001_10^28 + 1212823415467228342338908414742629419795872950300230531157218541973\ 9952870178573923674488010529240/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^27 - 477035481967311186000881509690922450099700287421005035876\ 23142831052565602426660067706266049587696/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^26 + 13621454798057069782610226878245962728249034673\ 7021594562222769631602497444179551723777994621512696/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437*c_1001_10^25 - 281151828480361370717989533060879715\ 085532100178027724717974772452043102449381065584116591506095820/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^24 + 4270693734012141087422745333159690798821657318059964739752048033941\ 48893840809963200558849692801058/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^23 - 54941207928888780032717307466319743177764529021918351790\ 7744375879061276612931519572510127488588500/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^22 + 797285920632264802820105187357559855013884148\ 552358805213538474660228435088214968648106357501318166/153862071765\ 7085658397161640446991370528276150333793885052469413914618504301945\ 57682458293759437*c_1001_10^21 - 1187951347228527765786017808709055\ 956562812430250998081916244987283810732455479640780264375465414041/\ 1538620717657085658397161640446991370528276150333793885052469413914\ 61850430194557682458293759437*c_1001_10^20 + 1169006389929963284747124994662377455065340599386396870445911763846\ 053763378645249786386734292647119/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^19 - 6573332271681828350854393898087216601044601533882081465\ 70277184598320814940603561058111785826369284/1538620717657085658397\ 1616404469913705282761503337938850524694139146185043019455768245829\ 3759437*c_1001_10^18 + 90040253220835860490636658910138054093562950\ 3940029849512995575266699656895095272329392918375567305/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^17 - 148655593226764546543253140115637\ 8942147667226654040972032301112805560245708382059037434166530975168\ /153862071765708565839716164044699137052827615033379388505246941391\ 461850430194557682458293759437*c_1001_10^16 + 2128519901625887089238710420457031352683684685627489900973935637146\ 89327252956730812534161233561952/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^15 + 64904225247221824312191584955153955079242638259167547832\ 3804320277875158177081581067215242365700264/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^14 + 954762774930158740080531618246522358219375064\ 309197934849804878946501410144717282478985585429499468/153862071765\ 7085658397161640446991370528276150333793885052469413914618504301945\ 57682458293759437*c_1001_10^13 - 4576463503831550590239860652033343\ 78256877108012005128948753514893749411786367685721096055301837430/1\ 5386207176570856583971616404469913705282761503337938850524694139146\ 1850430194557682458293759437*c_1001_10^12 - 8081454757557233816119016260619375211789522376310120754885860782542\ 86313774089896776595342474183393/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^11 - 32872766325959413810920092353782495943871636317425524066\ 5454770285887997238592837383943977441977610/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^10 + 970577936153469328636818808293499313487614044\ 71019413559770488069608588495832996846434955544253597/1538620717657\ 0856583971616404469913705282761503337938850524694139146185043019455\ 7682458293759437*c_1001_10^9 - 211673715753082791316740225142093761\ 313040875917251236059862769874547786283970792786351865290492173/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^8 - 2204228285665901166856904393831065649884412305853845899054894277600\ 9387453252857261921296073759126/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^7 + 7875325214118964161497856295448589130556623656035251306154\ 1755707531939357398614355016253635730128/15386207176570856583971616\ 4044699137052827615033379388505246941391461850430194557682458293759\ 437*c_1001_10^6 - 3367883121228219393585153227147463026238415500949\ 1137903757282130141940534227369385652883167893510/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^5 - 3292497825898623236368893740857315950305\ 380277473474047266329897034092724236021630429396982768118/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^4 + 1111030815368841655089192681562311704487439907841619711329283784888\ 8985845885576876069930250770651/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^3 - 6422620712230469569311814698640976747147911297553557345619\ 186796302111687519454271420001405498418/153862071765708565839716164\ 0446991370528276150333793885052469413914618504301945576824582937594\ 37*c_1001_10^2 + 17765433474645733864342992864524102840143986163576\ 89391934863543366611087368972295481940889336091/1538620717657085658\ 3971616404469913705282761503337938850524694139146185043019455768245\ 8293759437*c_1001_10 - 17361134229581788085824909389715336022503313\ 2564599033387734289576332768988383438393755098407779/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437, c_0101_0 + 735307547538849490779307814150697158222393944935893286638229\ 8374275267510881555711369624723/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^32 - 247961104038271152370100523818445709257629109806156519275\ 073343276119996645279521729811058689/153862071765708565839716164044\ 699137052827615033379388505246941391461850430194557682458293759437*\ c_1001_10^31 + 3818528678418749326403766446971967081737347894037766\ 640582925377548465271368593949579867347759/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^30 - 3533606088994257037576484874841025392187709509\ 8296498356075529016834264289469131403370611948143/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^29 + 217596054319044180098283206457140823538\ 976627037879079010621497829014382921733857773553480159160/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^28 - 9334499141578321147008942983939000013398828204453834704485015042060\ 43613123765612056474823414642/1538620717657085658397161640446991370\ 52827615033379388505246941391461850430194557682458293759437*c_1001_\ 10^27 + 28470653273228602697746665383243763819632897647746837479650\ 08126184987834008328209732571494632859/1538620717657085658397161640\ 4469913705282761503337938850524694139146185043019455768245829375943\ 7*c_1001_10^26 - 62621079867021641932757506540444932612804614929131\ 68518286520446802419795129847882566875602292991/1538620717657085658\ 3971616404469913705282761503337938850524694139146185043019455768245\ 8293759437*c_1001_10^25 + 10387007302001986022959625110884209325932\ 430801488741687493288219712972866510354481819107977670045/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^24 - 1504794173143942069530738681659736386409978173197282956138071664038\ 9049447535808614237714048340325/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^23 + 229269314891393498874231778310219140828355512230726563251\ 91996395739056793319690412284360217056077/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^22 - 33177246763679652510577392552810781224431193077\ 247637627797280779517343080903335727368856156289489/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^21 + 3613239537907161107971116587943663332\ 3191307594243889387276480672853794439814714135772019503099686/15386\ 2071765708565839716164044699137052827615033379388505246941391461850\ 430194557682458293759437*c_1001_10^20 - 3339514301825284766711188049257400644589859281433107226733041472352\ 7091400594416952140329234736280/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^19 + 407736745807231327546020781093828562790306904250109755895\ 36829138155414953175534298168408625078825/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^18 - 42731454025866111159855604026113005424749881040\ 746286679458002119478943592493412406052234935533293/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^17 + 2257658084158764318674137960712575652\ 0639832574975203086923054316222575649031199943189999699708402/15386\ 2071765708565839716164044699137052827615033379388505246941391461850\ 430194557682458293759437*c_1001_10^16 - 1736853773272399061333586591552301913408405135360767861064670572361\ 6856893537688030597183732282264/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^15 + 213013035205567799970590932801214310164893659588824992487\ 76317472528314793987092320313868131487887/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^14 - 71293970802591850477083518209892886890829900829\ 98253676072632882706124401976386108863247660456415/1538620717657085\ 6583971616404469913705282761503337938850524694139146185043019455768\ 2458293759437*c_1001_10^13 + 50711166591807672053739081838230490548\ 46129459328779995338330074626609909999260705698184687468344/1538620\ 7176570856583971616404469913705282761503337938850524694139146185043\ 0194557682458293759437*c_1001_10^12 - 1222952225687985880976151880472744302882847217324788309804620694126\ 155593043480306703181983200642/153862071765708565839716164044699137\ 052827615033379388505246941391461850430194557682458293759437*c_1001\ _10^11 + 3540663910287907378769086431985805685033231730449517691283\ 999717216474534062988962846216565453827/153862071765708565839716164\ 0446991370528276150333793885052469413914618504301945576824582937594\ 37*c_1001_10^10 - 3640781606024598949647928175269219368048749135900\ 876563093376061435818034284304049116241140790967/153862071765708565\ 8397161640446991370528276150333793885052469413914618504301945576824\ 58293759437*c_1001_10^9 + 23586014048514186388478846071443485295666\ 72862553019497862312697880781140661365829770000460176023/1538620717\ 6570856583971616404469913705282761503337938850524694139146185043019\ 4557682458293759437*c_1001_10^8 - 780041135261704272670883069741094\ 679570744421124143149215229705645357377162595671882737149847063/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^7 - 6200857530000996731600870972367378555315579072964440452517373485996\ 8858648679146234806209652711/15386207176570856583971616404469913705\ 2827615033379388505246941391461850430194557682458293759437*c_1001_1\ 0^6 + 2427229497696590644876413637096278403462217204931029374271179\ 56654181955114534866750655430978435/1538620717657085658397161640446\ 99137052827615033379388505246941391461850430194557682458293759437*c\ _1001_10^5 - 154489757744620630016464336987688497291940610456822701\ 234161107669758223781678001269126221811454/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^4 + 65382156341583832069751948468108893250119618213\ 419964644367335298632584879553663837933536586948/153862071765708565\ 8397161640446991370528276150333793885052469413914618504301945576824\ 58293759437*c_1001_10^3 - 32718560762236216336273143777265034396735\ 818490379126119134925826165395567831759126075569567895/153862071765\ 7085658397161640446991370528276150333793885052469413914618504301945\ 57682458293759437*c_1001_10^2 + 78763231358643169008820126518736169\ 923119877881566584554705531855497441590078021769556917354183/153862\ 0717657085658397161640446991370528276150333793885052469413914618504\ 30194557682458293759437*c_1001_10 + 1537801364781739727501699703677299384171003369518268489143256531979\ 70579735699057936015896295310/1538620717657085658397161640446991370\ 52827615033379388505246941391461850430194557682458293759437, c_0101_10 + 12333226046672686358905052075523073155247553596796761352892\ 87122458298350095676698759396738180/1538620717657085658397161640446\ 99137052827615033379388505246941391461850430194557682458293759437*c\ _1001_10^32 - 40923641499223502141216907158376861406105079455991396\ 244893006633832805447519812272245749803698/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^31 + 6178737944817365025752188251526615107627635585\ 80559567759695214244469618124200777893502778509772/1538620717657085\ 6583971616404469913705282761503337938850524694139146185043019455768\ 2458293759437*c_1001_10^30 - 55764076791703550854577014675682097101\ 01133561736630718108812378490666386583101727950074969354022/1538620\ 7176570856583971616404469913705282761503337938850524694139146185043\ 0194557682458293759437*c_1001_10^29 + 3322603882761925774157472532790238354496402276217401866287890678411\ 7034912855965111313592825697872/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^28 - 136199800500376813321448034041984212382054327041267471331\ 424518610575211976194153348232258971168892/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^27 + 3888848010446213932111548109638288878038458747\ 67578636838917620685828125955931670482764240341576928/1538620717657\ 0856583971616404469913705282761503337938850524694139146185043019455\ 7682458293759437*c_1001_10^26 - 77464591374114623351166162760168249\ 7099410359485056843871666790912751951153388371922844751809750874/15\ 3862071765708565839716164044699137052827615033379388505246941391461\ 850430194557682458293759437*c_1001_10^25 + 1120415901647292657465364753668734809720810314528982536145448657455\ 965949246099789562261271366320328/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^24 - 1465270176774231170505634410558987436511176337517289968\ 100599005423678101650683464829101879484901086/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^23 + 2300633965435070954503820306638933343997800\ 483785605282712068629429801689187038122891638036819951816/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^22 - 3258976461066976702424271871404919845220111994298194831857501592213\ 369259161108088803011427924867832/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^21 + 2729783405173818168128383988990071908100021274202949314\ 563879740836165153397912435859302771247336490/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^20 - 1839629959972112846796843819643089739067020\ 129864001167536482643042173371053106875970512864633382700/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^19 + 3340819567388102659599396305906200099807544285572163529745917771476\ 700560280292832781270577318781884/153862071765708565839716164044699\ 137052827615033379388505246941391461850430194557682458293759437*c_1\ 001_10^18 - 3243956010109949658514687398627534557565465037850450037\ 605089408287179255478830988334918273299223522/153862071765708565839\ 7161640446991370528276150333793885052469413914618504301945576824582\ 93759437*c_1001_10^17 - 3839722158204051484056698557680997868241712\ 23821009065171714838048509592720966454402949900873424864/1538620717\ 6570856583971616404469913705282761503337938850524694139146185043019\ 4557682458293759437*c_1001_10^16 - 3625074812702659578997137808458283607331748035896844220152501606571\ 31434395019433057357761740266588/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^15 + 20262723599158848668017183224599443370707887346031988239\ 71756657636704539729748190775719456798923268/1538620717657085658397\ 1616404469913705282761503337938850524694139146185043019455768245829\ 3759437*c_1001_10^14 + 39278159044376293998606049769042814921596524\ 6193998296970004517202907698074349291716384375493270606/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^13 - 263046579948412911547284657926740\ 18124419646772851491814670703794722452669404758689977119569719023/1\ 5386207176570856583971616404469913705282761503337938850524694139146\ 1850430194557682458293759437*c_1001_10^12 + 2876250731873806347066513184131618722157937454928576198155523055564\ 48770740382484237260210318279343/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^11 + 77299460488744488402986225680847848351153798736413469644\ 3938861057118272977913971223377533942017370/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^10 - 217264001966441799911864440920938022291722385\ 427618312247059753366450641332850172657578861805925679/153862071765\ 7085658397161640446991370528276150333793885052469413914618504301945\ 57682458293759437*c_1001_10^9 + 68007847800533763859254812614858138\ 157350535808248997354040063614808977608120691572342795986546358/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^8 + 1741798564655320504329145728507774572297722186244765511174259458984\ 97040397683035561296857445013376/1538620717657085658397161640446991\ 37052827615033379388505246941391461850430194557682458293759437*c_10\ 01_10^7 - 811457689127702398749328187403389967505749083778651972138\ 34813868356091039677397987526880319713104/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^6 + 703334675255584495115540461273565031621326139960\ 0767194661964150875694211168991746220622246405780/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^5 + 2297156360582004750900580916770274997021\ 6025907363009980836812707491342118564810875642332681052527/15386207\ 1765708565839716164044699137052827615033379388505246941391461850430\ 194557682458293759437*c_1001_10^4 - 1664183304592517131296052609423771663759522340424122918794685926962\ 1715843636421481591745067652088/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^3 + 6301860918873442750666555450086556919423047874284830017753\ 272485723129487605362452492719552163302/153862071765708565839716164\ 0446991370528276150333793885052469413914618504301945576824582937594\ 37*c_1001_10^2 - 12810612533707130240803582216509566962206349085818\ 88043796242001649414690749046562598502615935756/1538620717657085658\ 3971616404469913705282761503337938850524694139146185043019455768245\ 8293759437*c_1001_10 + 12940668308631905391682957706929065717672399\ 4421370568594308513818563142667785874856398356969687/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437, c_0101_11 + c_1001_10, c_0101_4 + 353907753656727341953757701839979607660730335380762713659028\ 3756014283538013825049659496484/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^32 - 118971774547604840026098576637110582562237009968399223462\ 721644153375132078925779546780974957/153862071765708565839716164044\ 699137052827615033379388505246941391461850430194557682458293759437*\ c_1001_10^31 + 1825042721289333158839886626474810793246227518393530\ 030407062760201489056860437071059232778488/153862071765708565839716\ 1640446991370528276150333793885052469413914618504301945576824582937\ 59437*c_1001_10^30 - 1680499971062470899420477138284615013290059471\ 5009483453526035671937393274078141232047961994013/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^29 + 102799811063504967543400135070557729874\ 176706736403192976515867124507686579033201815374704468325/153862071\ 7657085658397161640446991370528276150333793885052469413914618504301\ 94557682458293759437*c_1001_10^28 - 4369149378498969654008604854963254843269787648648369641405662588018\ 37949080013698314466076770849/1538620717657085658397161640446991370\ 52827615033379388505246941391461850430194557682458293759437*c_1001_\ 10^27 + 13144263088610607292970378370830972279647805059841258666781\ 69640471040949267603206065236225291238/1538620717657085658397161640\ 4469913705282761503337938850524694139146185043019455768245829375943\ 7*c_1001_10^26 - 28306027023119216918179040625121519175056435615529\ 15849547153794004022196263101013852705345003031/1538620717657085658\ 3971616404469913705282761503337938850524694139146185043019455768245\ 8293759437*c_1001_10^25 + 45523963566348860806311174971858609123326\ 78006501554022642655435847344554388057053546048329311736/1538620717\ 6570856583971616404469913705282761503337938850524694139146185043019\ 4557682458293759437*c_1001_10^24 - 6397912475843402151905553028395920297365940130658179673591833515256\ 224150865085823587960864379863/153862071765708565839716164044699137\ 052827615033379388505246941391461850430194557682458293759437*c_1001\ _10^23 + 9671391289082528577043438641870907091926477231591014913015\ 937055867722333439610094344555409074496/153862071765708565839716164\ 0446991370528276150333793885052469413914618504301945576824582937594\ 37*c_1001_10^22 - 1385782547977254295859582628796640413091698942845\ 7684146453428972758097782514183598900345958743811/15386207176570856\ 5839716164044699137052827615033379388505246941391461850430194557682\ 458293759437*c_1001_10^21 + 142925481634998793903412147185142822384\ 47815364302824158088698235250098181769196639940492203812217/1538620\ 7176570856583971616404469913705282761503337938850524694139146185043\ 0194557682458293759437*c_1001_10^20 - 1220400234404342432930061679291916553606710880416206646474052047973\ 2984332283612578255358087395063/15386207176570856583971616404469913\ 7052827615033379388505246941391461850430194557682458293759437*c_100\ 1_10^19 + 154075916496265901649198165097334242651916079095637711932\ 74820855548480383742920798605035174784242/1538620717657085658397161\ 6404469913705282761503337938850524694139146185043019455768245829375\ 9437*c_1001_10^18 - 15850920581847507115118295154856415330096832352\ 041298359452395791590283140992391785068027390908109/153862071765708\ 5658397161640446991370528276150333793885052469413914618504301945576\ 82458293759437*c_1001_10^17 + 5933393431306429432920575709270840400\ 543870158905660978698536333572316794355448082257020373145269/153862\ 0717657085658397161640446991370528276150333793885052469413914618504\ 30194557682458293759437*c_1001_10^16 - 4414140742263411298176262568360142078600113073609217550967578764483\ 490061372830977215231586867871/153862071765708565839716164044699137\ 052827615033379388505246941391461850430194557682458293759437*c_1001\ _10^15 + 7200112555124560873440469475716661876815201285661929603002\ 203783454621200504353329845264393825160/153862071765708565839716164\ 0446991370528276150333793885052469413914618504301945576824582937594\ 37*c_1001_10^14 - 8593364835633376527955688161258690094881748239432\ 24555635127421915896519968669400448755774138005/1538620717657085658\ 3971616404469913705282761503337938850524694139146185043019455768245\ 8293759437*c_1001_10^13 + 96881992111599596001348907481309031500404\ 9106901167141419901133910861095794575633196498405001501/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10^12 + 203024316380403269454045963044888\ 910206102165769150609613033687834314299394988108972684834304255/153\ 8620717657085658397161640446991370528276150333793885052469413914618\ 50430194557682458293759437*c_1001_10^11 + 1374585396825717746289944654372737123306035382146053344258601887166\ 615855013829486941549194036566/153862071765708565839716164044699137\ 052827615033379388505246941391461850430194557682458293759437*c_1001\ _10^10 - 1458720974364586540687670870262386546411284234763797122784\ 562397435864258967986713636108744505795/153862071765708565839716164\ 0446991370528276150333793885052469413914618504301945576824582937594\ 37*c_1001_10^9 + 81077880226046692483579070328429596655386309237408\ 6328388393062437478486894785143934782254329274/15386207176570856583\ 9716164044699137052827615033379388505246941391461850430194557682458\ 293759437*c_1001_10^8 - 8745929947717283340006654959639314675892708\ 5037609213524363998844169328975422488957665732358895/15386207176570\ 8565839716164044699137052827615033379388505246941391461850430194557\ 682458293759437*c_1001_10^7 - 2201519832155908611492778342486803773\ 26419567270106219464365314262589952819332244727410253522948/1538620\ 7176570856583971616404469913705282761503337938850524694139146185043\ 0194557682458293759437*c_1001_10^6 + 2156435519912259401853857936423644382064133523007388528883089941445\ 82458330927942208159881157013/1538620717657085658397161640446991370\ 52827615033379388505246941391461850430194557682458293759437*c_1001_\ 10^5 - 124415568592915847403132064238343828019042482963406462487497\ 434568781118865043929980858956012015/153862071765708565839716164044\ 699137052827615033379388505246941391461850430194557682458293759437*\ c_1001_10^4 + 11306254842980401323761643313105846424268348891143933\ 6428047769756240865076207229432824344622877/15386207176570856583971\ 6164044699137052827615033379388505246941391461850430194557682458293\ 759437*c_1001_10^3 + 4533068036564403649195828355539002770564309906\ 49304313887737453622837205525250416404953535930628/1538620717657085\ 6583971616404469913705282761503337938850524694139146185043019455768\ 2458293759437*c_1001_10^2 + 108562344256505397345249517182696697673\ 3924186688083455213280094975421814546065186288107645867/15386207176\ 5708565839716164044699137052827615033379388505246941391461850430194\ 557682458293759437*c_1001_10 - 477865201540573837163605063384408233\ 98151971795805612160117472325325519075693649291520985470/1538620717\ 6570856583971616404469913705282761503337938850524694139146185043019\ 4557682458293759437, c_1001_10^33 - 33*c_1001_10^32 + 495*c_1001_10^31 - 4432*c_1001_10^30 + 26144*c_1001_10^29 - 105783*c_1001_10^28 + 296828*c_1001_10^27 - 577874*c_1001_10^26 + 816569*c_1001_10^25 - 1071888*c_1001_10^24 + 1724887*c_1001_10^23 - 2396392*c_1001_10^22 + 1868210*c_1001_10^21 - 1308003*c_1001_10^20 + 2656866*c_1001_10^19 - 2233150*c_1001_10^18 - 637580*c_1001_10^17 - 666785*c_1001_10^16 + 1608516*c_1001_10^15 + 792232*c_1001_10^14 + 282528*c_1001_10^13 + 154561*c_1001_10^12 + 461372*c_1001_10^11 - 189594*c_1001_10^10 - 3081*c_1001_10^9 + 90074*c_1001_10^8 - 53655*c_1001_10^7 + 6160*c_1001_10^6 + 13378*c_1001_10^5 - 10775*c_1001_10^4 + 4690*c_1001_10^3 - 1278*c_1001_10^2 + 192*c_1001_10 - 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.490 Total time: 0.700 seconds, Total memory usage: 32.09MB