Magma V2.19-8 Tue Aug 20 2013 23:47:56 on localhost [Seed = 593840450] Type ? for help. Type -D to quit. Loading file "K10a9__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a9 geometric_solution 12.18554063 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 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 1 0 -1 -1 0 1 0 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723217648471 1.651053380428 0 4 0 3 0132 0132 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 -6 1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777404442345 0.508169496019 5 3 6 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.324550184577 0.334873818272 1 2 0 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.054186793874 1.142883884409 7 1 8 7 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323215651994 0.972799539024 2 8 3 9 0132 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510181655812 0.611997310394 10 8 9 2 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.374875641435 0.898385290421 4 4 11 10 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692412060953 0.925763970488 11 5 6 4 2031 3120 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450384179474 0.694774363009 12 10 5 6 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 1.063405523356 0.816246135064 6 7 12 9 0132 1302 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 0 1 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.048644313787 1.179688134887 12 12 8 7 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507035109693 0.720160530896 9 11 11 10 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.647236598708 0.945532352721 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_4'], 'c_1001_10' : d['c_0101_4'], 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_0011_2'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : negation(d['c_1001_2']), 'c_1010_12' : d['c_0101_4'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_8']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0101_8'], 'c_1100_10' : negation(d['c_0011_8']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : negation(d['c_0011_8']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_2'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : d['c_0011_2'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_8']), 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_4, c_0101_7, c_0101_8, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 69424195832355030726654461649735244883272467092925101939236181/4551\ 745013949475637761512588140682801523299776726011568842688*c_1001_2^\ 32 + 39910973616437785969066283647934981528626466598725029669804982\ 9/6827617520924213456642268882211024202284949665089017353264032*c_1\ 001_2^31 + 16829788626886189205023783990587917378081957790273727055\ 1704523/22758725069747378188807562940703414007616498883630057844213\ 44*c_1001_2^30 - 25188452970761224052402139728331612951204463166578\ 90108550331481/6827617520924213456642268882211024202284949665089017\ 353264032*c_1001_2^29 - 5668398986048372994559324683632478167068518\ 58007357983598741485/1950747863121203844754933966346006914938557047\ 168290672361152*c_1001_2^28 + 1306553742634621663106907666498686911\ 310187539032051168353066613/455174501394947563776151258814068280152\ 3299776726011568842688*c_1001_2^27 + 27716989342580133710852767128998896450359497649916935542290776799/1\ 3655235041848426913284537764422048404569899330178034706528064*c_100\ 1_2^26 + 3638793944709433632471342026506635782717855582673584497851\ 2827183/68276175209242134566422688822110242022849496650890173532640\ 32*c_1001_2^25 - 86344249343803423384590661042863127136333611772795\ 4357614739847/17734071482920034952317581512236426499441427701529915\ 2032832*c_1001_2^24 - 251690999131923788067591585186590579363662136\ 217271419327545287253/682761752092421345664226888221102420228494966\ 5089017353264032*c_1001_2^23 - 169225245364534259098751176726038616\ 79860679980016702248029300641/1241385003804402446662230705856549854\ 960899939107094064229824*c_1001_2^22 + 13942982420902406162125230538775305423315325807171069749316642015/1\ 03448750317033537221852558821379154580074994925591172019152*c_1001_\ 2^21 + 203630602282955329551230033606515004932844891925250776127278\ 936379/195074786312120384475493396634600691493855704716829067236115\ 2*c_1001_2^20 - 378448784295363490220708632161368691772221059456747\ 441270034509711/170690438023105336416056722055275605057123741627225\ 4338316008*c_1001_2^19 - 387870215750691064659116365355261280407257\ 348949866792615021334803/113793625348736890944037814703517070038082\ 4944181502892210672*c_1001_2^18 - 161929602029041893198454819897659\ 343052131705462257918804404624987/853452190115526682080283610276378\ 025285618708136127169158004*c_1001_2^17 + 403232961899481761153566701998309379380170541079915341663586662473/\ 426726095057763341040141805138189012642809354068063584579002*c_1001\ _2^16 + 54459107512154186914154250780519292617077215593395102081441\ 12922095/3413808760462106728321134441105512101142474832544508676632\ 016*c_1001_2^15 - 3669036887656618502620120692059245881486363377584\ 675926483321898259/170690438023105336416056722055275605057123741627\ 2254338316008*c_1001_2^14 - 144583000700466773491644003867871561194\ 35447089776688429580570521511/4551745013949475637761512588140682801\ 523299776726011568842688*c_1001_2^13 + 3241312056804367637670964240309209368819781586597356689055241611743\ /975373931560601922377466983173003457469278523584145336180576*c_100\ 1_2^12 + 1045837962805763575674133247662508215254467746397764189022\ 399042101/325124643853533974125822327724334485823092841194715112060\ 192*c_1001_2^11 - 1089099325067233048645728713987870619636203755083\ 6225781660446401869/34138087604621067283211344411055121011424748325\ 44508676632016*c_1001_2^10 - 30358080551886364552955638550425727075\ 9178520384751904898201982215/17734071482920034952317581512236426499\ 4414277015299152032832*c_1001_2^9 + 4159251306429228806128773591762342719912719812649285169311438823021\ /2275872506974737818880756294070341400761649888363005784421344*c_10\ 01_2^8 + 5172812040870653986633043431848363930722556264781207976761\ 158454541/136552350418484269132845377644220484045698993301780347065\ 28064*c_1001_2^7 - 824923491299804644721377367377383093279319505073\ 0957012120842521145/13655235041848426913284537764422048404569899330\ 178034706528064*c_1001_2^6 + 95229727781054405828344118392114256145\ 509975174040139191009355513/455174501394947563776151258814068280152\ 3299776726011568842688*c_1001_2^5 + 1512161542581527384671374670798846542062980336760797439825180481655\ /13655235041848426913284537764422048404569899330178034706528064*c_1\ 001_2^4 - 835462711608872583988961863620760166772535286109991883989\ 66954277/4551745013949475637761512588140682801523299776726011568842\ 688*c_1001_2^3 - 15477059118807478480943868465193454998176483680914\ 5962441325298145/13655235041848426913284537764422048404569899330178\ 034706528064*c_1001_2^2 + 70937726617250480395037334193152318541707\ 845488559665585396286/213363047528881670520070902569094506321404677\ 034031792289501*c_1001_2 - 2355751833646424887852415188974675197798\ 172534695829880432682669/136552350418484269132845377644220484045698\ 99330178034706528064, c_0011_0 - 1, c_0011_10 + 8970901030057528943982929206132929842883032278518353965/131\ 949936628869307680934386251759125739891575160192821453*c_1001_2^32 - 30885631590362769207372085338094397537548751234806247584/1319499366\ 28869307680934386251759125739891575160192821453*c_1001_2^31 - 57683713304222056803848166111169170884123858795566518440/1319499366\ 28869307680934386251759125739891575160192821453*c_1001_2^30 + 203644801249429031932552390698542153111119008232931019666/131949936\ 628869307680934386251759125739891575160192821453*c_1001_2^29 + 257138647524146091474981150083959503309235504206447491731/131949936\ 628869307680934386251759125739891575160192821453*c_1001_2^28 - 123983169628250433150487205922616080018360988095330857819/131949936\ 628869307680934386251759125739891575160192821453*c_1001_2^27 - 1261954503981500406844994998017811579447109461263974007633/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^26 - 3575401665072869847127344953426941102316008361393067276596/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^25 + 1742702317140446332495417894553578595867687945164104581858/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^24 + 23007599273143663941431860862587462702669916839693156105176/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^23 + 16014231203656081358374076696960746509054728314218195471660/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^22 - 77926535338730504191241177089318226283122418977369334698984/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^21 - 91738850849278535067130186178099564790328411075262615308666/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^20 + 114036015056637250862516534210377521443732599290569239777557/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^19 + 252356592164559911525849275746420513484796924530579808157373/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^18 + 174857132403069160591183114712617913609419659545994387320959/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^17 - 523607972087421770973094183978397521935012269578794779622419/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^16 - 1154743715957149995934464668191340438600114794980390087242131/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^15 + 956408182882190441566180391661300544798342404618835737281178/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^14 + 2414988567724384124027392518142305010947519374690888507439120/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^13 - 1390227025787794952639115889717124115298013557096790245163185/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^12 - 2748917440983565421531544883035612075874595000991089902701609/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^11 + 1400560439194466418010625726311553102614676029758141074122508/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^10 + 1796500553571697875672369935570609208227112208241610104398503/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^9 - 918552008783357976047519766252726878438943372894045272390324/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^8 - 631480161200664031986397614081281532156953082834476948391760/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^7 + 382462362400179311671450170965987842617725180167898380248278/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^6 + 96240500775768029357770308393827528142318456647813381489652/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^5 - 94040577862108783182890144616514103491638226569259512602013/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^4 - 1722668104180211707445521689982006203429107791154689327473/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^3 + 11448144112183856114627683865937482693155057877208992061696/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^2 + 675457809377405645791641561578789173829040155607008223206/131949936\ 628869307680934386251759125739891575160192821453*c_1001_2 + 153220917374740540966579912008555849998409551900471273020/131949936\ 628869307680934386251759125739891575160192821453, c_0011_11 + 15754700208331048936863037683527198323459018698924346040/39\ 5849809886607923042803158755277377219674725480578464359*c_1001_2^32 - 17627101262482135776064897099743430594802276970805398682/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^31 - 107505443738481822316895327980282850471738008169057684479/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^30 + 355687036789875704833687611226930830344184539807984090545/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^29 + 161378576669176648540417031814756820716857415832022494075/131949936\ 628869307680934386251759125739891575160192821453*c_1001_2^28 - 212999072714231139882694710949725396010533748130117114974/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^27 - 2232642023458899518571002107293629032638243891279932497070/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^26 - 6460450012828930096936829858589212587833612055975470279655/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^25 + 2675643742236403698464571886095801196424852422543793253856/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^24 + 41057397429259327378843025736476296801147390201310683622215/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^23 + 10326256610309754144780105436648723763764894406281988296506/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^22 - 137126219207497417767338376180015214427465574336114537985054/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^21 - 172188265537609287347518576768237209529936184386861942570199/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^20 + 65672116890669987268744225026446150280978293014446950890140/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^19 + 460183239093790640016766525961713744327681469864274736784471/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^18 + 328220299463020426573418270029884131540143474320808834582015/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^17 - 903861304811348037899264119451732436907041455566360981674272/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^16 - 2117607305350307998146207371720230471296780398758051474986440/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^15 + 529007948691126938924512727059929263759024015202718281319886/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^14 + 4449849568403194879840074848908032921910073242955032506498665/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^13 - 772064670177692025975860673708524958273312291125056751279923/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^12 - 5078360820048776771551530291092223688169488219505625999802883/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^11 + 2389604866039234948729973358216579722919592353519695683168178/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^10 + 1096625950797190447012139375472942762987557633096397143115116/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^9 - 1594020801425935887078812084106805718037274230142753063192193/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^8 - 1116283964336946867504538342006565737888234333378290556577464/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^7 + 219024658821035740664701557016342785334144879543050923661811/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^6 + 150946149471394729198739971090618705238813177011082794784327/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^5 - 50916537661184169710958019151253293914979136479491298621528/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^4 + 1042298351943438385336991844324624863633914934079226979312/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^3 + 16303005923906064449000004319334581501555302042773694063562/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^2 + 1196784088948263831792295473673928481162294022328929704014/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2 + 206229374386260652713063504429780243006712164792012772886/131949936\ 628869307680934386251759125739891575160192821453, c_0011_2 - 103031880232882044173850038875179324470142563061509834393/52\ 7799746515477230723737545007036502959566300640771285812*c_1001_2^32 + 191846211803141219621917737412023469160285680878274852439/2638998\ 73257738615361868772503518251479783150320385642906*c_1001_2^31 + 272926057281384381062178177768008440829632862783325011705/263899873\ 257738615361868772503518251479783150320385642906*c_1001_2^30 - 1224331463405883997046876872900844569756245867672959997705/26389987\ 3257738615361868772503518251479783150320385642906*c_1001_2^29 - 2254173026830997669423166930074309311636943093031777213025/52779974\ 6515477230723737545007036502959566300640771285812*c_1001_2^28 + 1783581621472312618177564260416506892959040720764655734297/52779974\ 6515477230723737545007036502959566300640771285812*c_1001_2^27 + 14005882177527173356001279104664678644530747376110378431261/5277997\ 46515477230723737545007036502959566300640771285812*c_1001_2^26 + 18771921229026454471193739605652090625040968325007725850977/2638998\ 73257738615361868772503518251479783150320385642906*c_1001_2^25 - 29308919686493421154574056588938323104763086217189685128313/5277997\ 46515477230723737545007036502959566300640771285812*c_1001_2^24 - 126982407037155073443082329841041436621626434054737755018029/263899\ 873257738615361868772503518251479783150320385642906*c_1001_2^23 - 119335769254009475365890334081919317232200824536914883242813/527799\ 746515477230723737545007036502959566300640771285812*c_1001_2^22 + 226796588709673660692972124245128088714639341872003346196870/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^21 + 811481727476125253442927963871241077514535014755065799072247/527799\ 746515477230723737545007036502959566300640771285812*c_1001_2^20 - 359824490023145502959498684330859344971761995342846680273604/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^19 - 623274223059506069701389631743590911095989910371175002683012/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^18 - 379948767218790953690822417416555826301950277081932287538280/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^17 + 1574637443853859631488845403453770292725037835116347721370617/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^16 + 2890203482169285338338696280707954101958753794249536894040987/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^15 - 3360103522229152803097993074186103545197972263877078553914569/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^14 - 23357326581515417535373164870198534954775414998023871524371099/5277\ 99746515477230723737545007036502959566300640771285812*c_1001_2^13 + 10143659580566698203321459199315713505907850865219404811441735/2638\ 99873257738615361868772503518251479783150320385642906*c_1001_2^12 + 12328044201340330242536669394879515831237787631550028460027241/2638\ 99873257738615361868772503518251479783150320385642906*c_1001_2^11 - 4861636550783275896485230855652649327822635158948212240412873/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^10 - 14276590049646782458537375637687323205336045090002049301671789/5277\ 99746515477230723737545007036502959566300640771285812*c_1001_2^9 + 5662648145444727793640548527219236828670914746668610225641137/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^8 + 4019363460010736144466389390368639332297819677718050269669487/52779\ 9746515477230723737545007036502959566300640771285812*c_1001_2^7 - 3921830516954792947988829644347605304717309478953785604581063/52779\ 9746515477230723737545007036502959566300640771285812*c_1001_2^6 - 297291200786743192378302775630023940903857750150295119780647/527799\ 746515477230723737545007036502959566300640771285812*c_1001_2^5 + 790213499540725585518233212387192495298825514569324120155777/527799\ 746515477230723737545007036502959566300640771285812*c_1001_2^4 - 51516423977973869904568244986890255167740440000319064276669/5277997\ 46515477230723737545007036502959566300640771285812*c_1001_2^3 - 90953805273604367391655829516506084707317624776191853505131/5277997\ 46515477230723737545007036502959566300640771285812*c_1001_2^2 - 1456456588826966704123811656723288104834775232094291382852/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2 - 1635620479037384908474765213171337534607806458198296196115/52779974\ 6515477230723737545007036502959566300640771285812, c_0011_8 - 6331620554396239957002247689578875026194030735285690452/3958\ 49809886607923042803158755277377219674725480578464359*c_1001_2^32 + 7911714805540773486958789838128336212909470082897248291/13194993662\ 8869307680934386251759125739891575160192821453*c_1001_2^31 + 34276740079275757173190588129002501840713952148825151033/3958498098\ 86607923042803158755277377219674725480578464359*c_1001_2^30 - 157352662144539225683598363069450955721219979283766527568/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^29 - 45549916950540136101928644438172143351018321440729404847/1319499366\ 28869307680934386251759125739891575160192821453*c_1001_2^28 + 146754860236388275416617025356654725572679317204623647637/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^27 + 857776988900795750480994579524555964921684703839852782068/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^26 + 2257131495620555702242037226108735875598267103705327994273/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^25 - 2014189112910542447887891237232782280329346990486950737425/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^24 - 15893549230952525606078224456262366013533892583982396160815/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^23 - 2082410280054896333743203989791350555230936045193332357195/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^22 + 58615982471508927192966114467479376297837479080982125004907/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^21 + 47509419993876713954734442115138366013977278282935726971607/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^20 - 33660197925222018122462112029474713320534201508220290468852/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^19 - 151411018499378920611534748083303965927221427292966933524161/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^18 - 68448241075956106083986444715295269079638379381849300355516/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^17 + 403974415562052665818338598807839869850870014124624455230543/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^16 + 702789221689191414769667530411463263106115994698407927992858/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^15 - 310628460446098411587750913380616780683901062220878375478117/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^14 - 1486417379584959579737784673765038082311832500811995237523303/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^13 + 511768989634763623829492379491809651140443771747466185998254/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^12 + 1586347678619988529971614284768754519246071254651943214076400/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^11 - 1620750280815768749887491222134223950466790740306666232232515/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^10 - 292019255255855986942149533884243202118360944003657092653487/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^9 + 1044879242669842824378170892002225980393167845118491546210401/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^8 + 177313671512722905402656234690735661031516634329245983726240/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^7 - 129613572022383463510370553578662306534647148245571067583051/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^6 + 38988013273186066797727877863445790728174936648830305172916/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^5 + 23988825644129377125221790047714863581761341950256667485176/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^4 - 21042339561001747073318465482417486942324576076508678969565/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^3 - 4162415232177370669787329980703225549696541049254428060301/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^2 + 1883380796401272818154341224643689241371008117996039086207/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2 - 146060102851738382938598033114660989333530110351586468630/131949936\ 628869307680934386251759125739891575160192821453, c_0101_0 + 256812278422859803294017675206191260746527835838540172429/15\ 83399239546431692171212635021109508878698901922313857436*c_1001_2^3\ 2 - 160419722235596048527323493190504081677205695706474303021/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^31 - 659520509509520463183115361991568942063802011726794276439/791699619\ 773215846085606317510554754439349450961156928718*c_1001_2^30 + 3038841455841512357674918077303524370119105792422393658959/79169961\ 9773215846085606317510554754439349450961156928718*c_1001_2^29 + 1785748607707740761092306067524524519079446416712329217943/52779974\ 6515477230723737545007036502959566300640771285812*c_1001_2^28 - 4256011238691054761497313843706093972599513439240510763565/15833992\ 39546431692171212635021109508878698901922313857436*c_1001_2^27 - 34331844466026219720820501097298561794981977211125091301937/1583399\ 239546431692171212635021109508878698901922313857436*c_1001_2^26 - 46263388157337470120768890158669022819832318799907416874519/7916996\ 19773215846085606317510554754439349450961156928718*c_1001_2^25 + 73442930288378384370814354229087879243225856238022813528069/1583399\ 239546431692171212635021109508878698901922313857436*c_1001_2^24 + 311917177655942303418289537662111169938582222930908412048847/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^23 + 93849581488692817494460748969685150543882444669936239112611/5277997\ 46515477230723737545007036502959566300640771285812*c_1001_2^22 - 557665633000871322884922953520334859842682522713009846044284/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^21 - 1928387761014615659355808774667862106501065387859990548911719/15833\ 99239546431692171212635021109508878698901922313857436*c_1001_2^20 + 294200421962655359143519522619044727775067729192235951729637/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^19 + 1492780415898672403954474294272247510747471037299004823255589/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^18 + 931617257846867898837411346531171038934093279426421576180159/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^17 - 3867258052414476841635065362623220708475903654126972578101598/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^16 - 6992171346254627026563994524273485328808677069179434400977042/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^15 + 2803491540525934751932626327957304035501596099966937930549992/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^14 + 55585024493024737420704484917406821043770629887323756006732487/1583\ 399239546431692171212635021109508878698901922313857436*c_1001_2^13 - 8486047064902112076600696627033197609475033324907767260683903/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^12 - 28628988545110405830727705065607856039230756382106691804079705/7916\ 99619773215846085606317510554754439349450961156928718*c_1001_2^11 + 12072173209092936111516674132913755984383101350757980519943862/3958\ 49809886607923042803158755277377219674725480578464359*c_1001_2^10 + 10624986274175273858000574857442137078383358942354064160067947/5277\ 99746515477230723737545007036502959566300640771285812*c_1001_2^9 - 13707689024685089309791346369992660950448868646160525424199581/7916\ 99619773215846085606317510554754439349450961156928718*c_1001_2^8 - 8289798839933888476561178537527537560424721708718162248084423/15833\ 99239546431692171212635021109508878698901922313857436*c_1001_2^7 + 3019157552464901268875911864465935357566804961860928114221885/52779\ 9746515477230723737545007036502959566300640771285812*c_1001_2^6 + 405578838152963297368710693507492156455084408748296410196983/158339\ 9239546431692171212635021109508878698901922313857436*c_1001_2^5 - 571621423798265150727133620222441597300153102811412703591863/527799\ 746515477230723737545007036502959566300640771285812*c_1001_2^4 + 123347125176651806080206540158142547295436520834963604887177/158339\ 9239546431692171212635021109508878698901922313857436*c_1001_2^3 + 195794817921718137343220875766332023542418669196855256468543/158339\ 9239546431692171212635021109508878698901922313857436*c_1001_2^2 + 4326245270301832124071948293236492894728777043301359858938/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2 + 997485475669178044448252033857904512630728595058400160245/527799746\ 515477230723737545007036502959566300640771285812, c_0101_1 + 125754416530662350497849820891605080809077210640917737131/15\ 83399239546431692171212635021109508878698901922313857436*c_1001_2^3\ 2 - 39656638814714487569411132367300756052183620393781987267/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^31 - 155920704934338289916349143946756347829653316942098292934/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^30 + 743298389153398661252335351478293538904068875145929105060/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^29 + 839525678314549468856182672243040881272931430608360708183/527799746\ 515477230723737545007036502959566300640771285812*c_1001_2^28 - 2038364020013121272474548531184378434956832067324610411271/15833992\ 39546431692171212635021109508878698901922313857436*c_1001_2^27 - 16789588614571332420570567072334377287513895024529233421709/1583399\ 239546431692171212635021109508878698901922313857436*c_1001_2^26 - 22419404641326586729475199858752223891524431614561387662957/7916996\ 19773215846085606317510554754439349450961156928718*c_1001_2^25 + 36982063098851420023785858927926437364448261125216458247983/1583399\ 239546431692171212635021109508878698901922313857436*c_1001_2^24 + 75785210716243760839023157050072034612470957751479252772948/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^23 + 43468715367942033083241694936751977985863190384699178994603/5277997\ 46515477230723737545007036502959566300640771285812*c_1001_2^22 - 271824015964419930322724282585649280702229104082371829049577/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^21 - 913457448409779722172887409102357496283880243847209236443697/158339\ 9239546431692171212635021109508878698901922313857436*c_1001_2^20 + 286124989857547244333826878213999907937416944420026908505343/263899\ 873257738615361868772503518251479783150320385642906*c_1001_2^19 + 1437953072000215387751336463975343366057763001095738751051151/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^18 + 905540734375081434704913924240841771670290281853448060984369/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^17 - 3801451133712709812719381145920761976209483620934420363719061/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^16 - 6720733897113654930537709847068330800366928267694416353470125/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^15 + 2763317540092273719353864463839168350003292418750292827504067/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^14 + 26447588252181069748598592077165367153209046454086444280325063/1583\ 399239546431692171212635021109508878698901922313857436*c_1001_2^13 - 4126063019856892153439480792795485754715644764140306960270845/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^12 - 13509218533662502790683382246191550932024071779376979184322751/7916\ 99619773215846085606317510554754439349450961156928718*c_1001_2^11 + 5738465430455306615187958444927825374092027305602323106585692/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^10 + 5017720003790138577458154821246187715106420844014789908216277/52779\ 9746515477230723737545007036502959566300640771285812*c_1001_2^9 - 3173566794977036224305538455708534778781770963800372983231432/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^8 - 4079268433273385391981325631701131490635762123501823232069443/15833\ 99239546431692171212635021109508878698901922313857436*c_1001_2^7 + 1378289855930712691744571601072249442038426087659303885716187/52779\ 9746515477230723737545007036502959566300640771285812*c_1001_2^6 + 326009084933042049554647048555841043272913946368916916755271/158339\ 9239546431692171212635021109508878698901922313857436*c_1001_2^5 - 271779123199284999296082408935458486428791678306850196183401/527799\ 746515477230723737545007036502959566300640771285812*c_1001_2^4 + 28132176931747398697436174536099463331473770268035608515969/1583399\ 239546431692171212635021109508878698901922313857436*c_1001_2^3 + 103963585560128342042317455270739009869206900369294264258869/158339\ 9239546431692171212635021109508878698901922313857436*c_1001_2^2 + 4022404175954327647910808825692850029217094187185898223403/79169961\ 9773215846085606317510554754439349450961156928718*c_1001_2 + 62651264807754619982746794042999330023126064385458639933/5277997465\ 15477230723737545007036502959566300640771285812, c_0101_10 + 8255482424987720781790400152666091504024204530619891833/395\ 849809886607923042803158755277377219674725480578464359*c_1001_2^32 - 10609129292726126447050757728897612313134153121879988577/1319499366\ 28869307680934386251759125739891575160192821453*c_1001_2^31 - 38741263139164898628992954772207483449670650276604657557/3958498098\ 86607923042803158755277377219674725480578464359*c_1001_2^30 + 196368001232204638819720599108498928035590246435867083253/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^29 + 52057686675298057815610471214594068765172705517673288108/1319499366\ 28869307680934386251759125739891575160192821453*c_1001_2^28 - 131875736968236804077933474280127460362114392065319896714/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^27 - 1117570369527269863887083741709524950755155611775836360570/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^26 - 2927304247815884456452815808227612428453803949872489234304/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^25 + 2590276871655574332322768000443911985138239533235024912873/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^24 + 19897871968641243025961321785008736797182123685729963511658/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^23 + 2652293218088970495212753218495463368263788496204249991488/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^22 - 71537443163535323108918800865266550652201515610001827464246/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^21 - 58447145836569837638055100624622686793555310463733069777161/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^20 + 37067228432184361379360572174228311273689438202809419524464/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^19 + 188607486550850295179044774363786233897070130162726904234076/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^18 + 125801267781327380214044414515179511709561162180474394365312/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^17 - 506938876008929440514859015331268475298088090746141407988342/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^16 - 881576093059880897244283449536958885724883089745111148561232/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^15 + 362897952719747640343850333890620516632500589801556367776706/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^14 + 1684944558266453473704008401390894950150180492108570158293015/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^13 - 516191194525010682967426979016891929871664709450076778296358/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^12 - 1657259583422481831378807268181147607321604997808027427377067/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^11 + 1306664313082901467614488871673968991069370993687956777976779/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^10 + 291528123426119125232192814306884220954540494719023589703717/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^9 - 597893377606627295126003742410518691428899220424095422631543/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^8 - 227593607645824563268871439850276372241690545346319771112811/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^7 + 43597133417418410532120963639622654857298777221854831088401/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^6 + 35433556633189645020224162816395374331020748630519285849429/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^5 - 5100095172703341644848171672732904613055307990692735627286/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^4 - 12376843222495703710225309866591239060111833160138094545387/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^3 + 4094593465651037844119797839135947934498383492860364884436/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^2 + 3466565054864009410907558915892614725164244984954507859566/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2 + 17549638393309911720900420995322648099861381876202912677/1319499366\ 28869307680934386251759125739891575160192821453, c_0101_4 + 20679810480987692183303752475602315474946897859315956591/395\ 849809886607923042803158755277377219674725480578464359*c_1001_2^32 - 24456488836419046255011115699236930947954380041929311090/1319499366\ 28869307680934386251759125739891575160192821453*c_1001_2^31 - 124534181547944198749022239370966569814146307747923983997/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^30 + 479242680341656091698006094043833911115738322807413795239/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^29 + 180115755917816222824928972143768096049823149476441890226/131949936\ 628869307680934386251759125739891575160192821453*c_1001_2^28 - 322977361878537019731805162870448703891934763334008188378/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^27 - 2866569409030332462712278325641463215082235777338969295468/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^26 - 7960251795065672788222561349418468192267630993585350841550/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^25 + 4738206095631179612331249359774646834790544170140670343815/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^24 + 52306178030144497541832950027986027953765137035759749965812/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^23 + 10602936323372642975668506109367039036413358854747553737558/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^22 - 181124730405352296490009435206631446655952615788593731550442/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^21 - 192352938968394133070651170918102316166608339877977279359772/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^20 + 91953103119880411010420499465601310637357942294440908598358/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^19 + 548858058011188073405502043588262173321058422292520116251820/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^18 + 357474673959297539676834824890091592032883225619856631009028/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^17 - 1227208719894858373618612061659740654087370803851885774504213/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^16 - 2524601931040276334392259076885054022085883029675777486921672/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^15 + 804719979458251914162484765462368501807355909292212754420818/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^14 + 5240580100128131311074963101272146869934132201876860397869864/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^13 - 1211615977462080562465369451469308709949786108447675430711538/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^12 - 5819337169383679574777020703093717530869589959594855217573679/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^11 + 3681682080884174120263423582930647917021824902726237579561449/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^10 + 1208921891846880822354372941018922856251802104205201594446672/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^9 - 2377371844589949946329804865176401833904113635233317396687088/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^8 - 1142480905589800244957478816396760389503752477712712324780226/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^7 + 315944197119674610838483927114409516807009510168857294041093/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^6 + 110731646059349450357344204059132137025374967408197891288831/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^5 - 71076777571973630691722143294346373568861942747129620388648/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^4 + 15811908377818170700194153417944032871092414949941186825406/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^3 + 21961819630835269131641141956297294217869481806918703796457/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^2 - 89488371409453269454602541671763205095549951335582512539/3958498098\ 86607923042803158755277377219674725480578464359*c_1001_2 + 151686170044326024970124840680770712244123090017670454288/131949936\ 628869307680934386251759125739891575160192821453, c_0101_7 - 31602946541067044003146622782026895569119358082132792441/791\ 699619773215846085606317510554754439349450961156928718*c_1001_2^32 + 37888484592465806809853844499289030086391728232059825145/2638998732\ 57738615361868772503518251479783150320385642906*c_1001_2^31 + 178507337138342182059783808810438918615399695204912005063/791699619\ 773215846085606317510554754439349450961156928718*c_1001_2^30 - 719552713665255934273742174445871155722687519464674574793/791699619\ 773215846085606317510554754439349450961156928718*c_1001_2^29 - 125819786477402170729333265378918534533352227821185351042/131949936\ 628869307680934386251759125739891575160192821453*c_1001_2^28 + 398147580539343999616015150074624313357292429905635697475/791699619\ 773215846085606317510554754439349450961156928718*c_1001_2^27 + 2112567123617566781103221104318119628393594663788159470882/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^26 + 5994282097443740856695809591650843071485703462466342138631/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^25 - 7140292464812996991968950063864187059620269146969047307283/79169961\ 9773215846085606317510554754439349450961156928718*c_1001_2^24 - 77236425070306618965663727542989571169691674965868690671635/7916996\ 19773215846085606317510554754439349450961156928718*c_1001_2^23 - 7609916372333789614738230904398519456145443038584928016686/13194993\ 6628869307680934386251759125739891575160192821453*c_1001_2^22 + 132626800248028666178721565808702476573492770057945469258006/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^21 + 271715440456848603334313157939861677488917727885524949966459/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^20 - 129928468960749932451850220147135374654384056022386667227551/263899\ 873257738615361868772503518251479783150320385642906*c_1001_2^19 - 774304413535150878607882780340062483437951185085268949103349/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^18 - 570399408388598014054059049945077062456064628986169192662353/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^17 + 1790628951824210542889735524267955674491947542279191257759377/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^16 + 3659761505242199595316243432925895423186836439452020863537355/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^15 - 1199920362716527617468595021550324121843896699562595735619663/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^14 - 3606424911443462671673151993558040847305967177171439689945684/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^13 + 876547534420108437658252507994065193784911737860266584450410/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^12 + 3770255641625658705542408887470822209828252539269494099619998/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^11 - 2441510958711288933213056937866131339796489339232371189892101/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^10 - 1460959568456180607843082122010166997110075809979897067537063/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^9 + 2708490225826204494468572355114971434242564194117926549413847/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^8 + 660620966138171370282000242164716839878680489412642623068875/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^7 - 292642124381834835909688785568204921048994337929552720982969/263899\ 873257738615361868772503518251479783150320385642906*c_1001_2^6 - 91563924690085035470797489831842396492302120529157617590069/3958498\ 09886607923042803158755277377219674725480578464359*c_1001_2^5 + 57931686016440277271965325693632066372312348874446023739357/2638998\ 73257738615361868772503518251479783150320385642906*c_1001_2^4 + 7809450463226154223863530199927576458534192561633077703974/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^3 - 24944421653199615267185030982110294833948928809656571826723/7916996\ 19773215846085606317510554754439349450961156928718*c_1001_2^2 - 4873429666874179067885801288616082084447689779352679118257/79169961\ 9773215846085606317510554754439349450961156928718*c_1001_2 - 103373802652642472281341141447940651879551860540500570907/131949936\ 628869307680934386251759125739891575160192821453, c_0101_8 - 13881862046688162227381866354556560418340179095319190944/395\ 849809886607923042803158755277377219674725480578464359*c_1001_2^32 + 34810161536923743014676682550874922944403364385160559303/2638998732\ 57738615361868772503518251479783150320385642906*c_1001_2^31 + 148468344055851375525097416310202314480704351434290126133/791699619\ 773215846085606317510554754439349450961156928718*c_1001_2^30 - 684096088120071708550766180560102089690007943258065734953/791699619\ 773215846085606317510554754439349450961156928718*c_1001_2^29 - 201872667406478231432227382509592050327240409876469808783/263899873\ 257738615361868772503518251479783150320385642906*c_1001_2^28 + 299401696664113309177592178917062048953441059598375639370/395849809\ 886607923042803158755277377219674725480578464359*c_1001_2^27 + 3844782501724648911366570982159336633578593507618209452967/79169961\ 9773215846085606317510554754439349450961156928718*c_1001_2^26 + 5016944480293469297620607567268645362692474463050203241612/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^25 - 4408901735137795023219722368442633615121996026093744322133/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^24 - 70039064418946594185512604911432763431208696034537131936569/7916996\ 19773215846085606317510554754439349450961156928718*c_1001_2^23 - 9723986215814870067866982400496085508795401829893636445159/26389987\ 3257738615361868772503518251479783150320385642906*c_1001_2^22 + 127861344827107775923674528092574363204677381777885964980716/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^21 + 108615970967557403932878226202741739068049612629279654365712/395849\ 809886607923042803158755277377219674725480578464359*c_1001_2^20 - 141979391750102918979619387582937824416307594072237093490575/263899\ 873257738615361868772503518251479783150320385642906*c_1001_2^19 - 688970277744779317185276234423123203525801349326319844765087/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^18 - 359246585659365127914753104989672132190079644021089052879891/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^17 + 1787128318180441075892325306931537212438178792615541242642597/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^16 + 3175059245865443502408147582270657923794252475030911386632551/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^15 - 1306171950160241244483695813073023411610792023649842831899719/26389\ 9873257738615361868772503518251479783150320385642906*c_1001_2^14 - 6583390680950664323500876490401620065893763654177139323418403/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^13 + 1013000427812215316842328877155249313578435921395930331720577/13194\ 9936628869307680934386251759125739891575160192821453*c_1001_2^12 + 3497595030092448010125038498223912314684541082894188064819028/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^11 - 2980935334791271780906439363470835279273000917999899346802297/39584\ 9809886607923042803158755277377219674725480578464359*c_1001_2^10 - 659050641813671595831276041691370115308462031358861593065435/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^9 + 3494882796170681935205391436598018025322584137817369668759821/79169\ 9619773215846085606317510554754439349450961156928718*c_1001_2^8 + 973649829639244950787041671274850332454556865721912443901007/791699\ 619773215846085606317510554754439349450961156928718*c_1001_2^7 - 193839048630111838233368250056668522437438115730579462518983/131949\ 936628869307680934386251759125739891575160192821453*c_1001_2^6 + 11551851861917357602237625844651547238316894567716501571347/7916996\ 19773215846085606317510554754439349450961156928718*c_1001_2^5 + 33719957148830901259568416906386436971881149707813655317083/1319499\ 36628869307680934386251759125739891575160192821453*c_1001_2^4 - 31933680209242489533690777071830487046699276301434932257063/7916996\ 19773215846085606317510554754439349450961156928718*c_1001_2^3 - 8253838158942513427500533378726027132881729739924975456227/39584980\ 9886607923042803158755277377219674725480578464359*c_1001_2^2 - 1467024363523871736526923320278782265521164695942159859773/79169961\ 9773215846085606317510554754439349450961156928718*c_1001_2 - 242029447058084837778730976477157935650634663027058640929/263899873\ 257738615361868772503518251479783150320385642906, c_1001_2^33 - 3*c_1001_2^32 - 8*c_1001_2^31 + 20*c_1001_2^30 + 39*c_1001_2^29 - 2*c_1001_2^28 - 148*c_1001_2^27 - 461*c_1001_2^26 + 23*c_1001_2^25 + 2669*c_1001_2^24 + 2919*c_1001_2^23 - 7997*c_1001_2^22 - 14167*c_1001_2^21 + 8487*c_1001_2^20 + 34180*c_1001_2^19 + 31628*c_1001_2^18 - 50704*c_1001_2^17 - 155692*c_1001_2^16 + 51372*c_1001_2^15 + 321451*c_1001_2^14 - 38877*c_1001_2^13 - 383992*c_1001_2^12 + 24946*c_1001_2^11 + 277881*c_1001_2^10 - 18115*c_1001_2^9 - 119969*c_1001_2^8 + 14190*c_1001_2^7 + 30496*c_1001_2^6 - 6816*c_1001_2^5 - 4850*c_1001_2^4 + 1442*c_1001_2^3 + 637*c_1001_2^2 + 27*c_1001_2 + 9, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.730 Total time: 4.940 seconds, Total memory usage: 64.12MB