Magma V2.19-8 Tue Aug 20 2013 23:38:34 on localhost [Seed = 1864960860] Type ? for help. Type -D to quit. Loading file "K11n62__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n62 geometric_solution 9.61445626 oriented_manifold CS_known -0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 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.575529132130 0.471680960321 0 3 0 2 0132 1230 2031 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586816950432 0.310311457856 1 0 5 4 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255101301888 1.014528716824 6 7 1 0 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.255101301888 1.014528716824 6 8 2 9 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.161126684779 0.721684223413 10 10 9 2 0132 1230 0132 0132 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 1 0 -1 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.143595260606 0.972174721962 3 10 4 7 0132 2310 2103 1023 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 -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.432553819040 1.168418294011 9 3 8 6 1302 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 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.134046797200 0.493274805321 10 4 9 7 1302 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.511375281700 1.216889241064 8 7 4 5 2031 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.157433740462 1.306017678278 5 8 5 6 0132 2031 3012 3201 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.148688851642 1.006659567968 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0101_5'], 'c_1010_10' : negation(d['c_0011_4']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1100_2'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_2'], 'c_1100_4' : d['c_1100_2'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : d['c_1100_2'], 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_10'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_1001_0'], 'c_1100_8' : d['c_0101_9'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_5'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], '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_9'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : negation(d['c_0011_10']), '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_9'], 'c_0110_7' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_5, c_0101_9, c_1001_0, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 787260242620842383361945196307190255865912891/155305762642405438140\ 42669757912430405172240*c_1100_2^19 - 6220703830190417223936493692874359555537227987/15530576264240543814\ 042669757912430405172240*c_1100_2^18 - 7142425705055109843592578652506487989181532567/51768587547468479380\ 14223252637476801724080*c_1100_2^17 - 7683528786994954208846802810788484144421866287/51768587547468479380\ 14223252637476801724080*c_1100_2^16 + 27578348629999891917089123090586960811114952393/1553057626424054381\ 4042669757912430405172240*c_1100_2^15 + 59716789488132819746037014769551759698517624461/7765288132120271907\ 021334878956215202586120*c_1100_2^14 + 12148756382194211588211245881986682095312311707/7765288132120271907\ 021334878956215202586120*c_1100_2^13 + 151983530183441522157628282403745226659040444433/776528813212027190\ 7021334878956215202586120*c_1100_2^12 - 143676174762561196979072138746701615439178076249/129421468868671198\ 4503555813159369200431020*c_1100_2^11 + 3301790635542204234412628305309482971908467355949/15530576264240543\ 814042669757912430405172240*c_1100_2^10 - 4685054557185019291386439689380825379532470620741/77652881321202719\ 07021334878956215202586120*c_1100_2^9 + 9533639349252026552210777076869365523944899373079/77652881321202719\ 07021334878956215202586120*c_1100_2^8 - 86172560093045082826452288236537691081909920827/6471073443433559922\ 5177790657968460021551*c_1100_2^7 + 6269029825572787695150571857607172930461076747347/77652881321202719\ 07021334878956215202586120*c_1100_2^6 - 211410239424333067479887980779838708529348267731/970661016515033988\ 377666859869526900323265*c_1100_2^5 - 107435356057401955946878120498983247805038938461/129421468868671198\ 4503555813159369200431020*c_1100_2^4 + 887092992454678346590185448580470680796017217/970661016515033988377\ 666859869526900323265*c_1100_2^3 - 6675179392555520902614167515339963462513726569/51768587547468479380\ 1422325263747680172408*c_1100_2^2 - 72842172280128786728789199994627527556867120957/1553057626424054381\ 4042669757912430405172240*c_1100_2 - 2036261518768742848289282339169886191138656277/51768587547468479380\ 14223252637476801724080, c_0011_0 - 1, c_0011_10 + 669717798651358058557215737592676522323/5287904754593307393\ 27295531423644208552*c_1100_2^19 + 5223332807484403162441093632545246081745/52879047545933073932729553\ 1423644208552*c_1100_2^18 + 177035540171672972162223175999054194878\ 31/528790475459330739327295531423644208552*c_1100_2^17 + 17875940089284627491841538984626781067941/5287904754593307393272955\ 31423644208552*c_1100_2^16 - 25025893313216149153433850466498788454\ 721/528790475459330739327295531423644208552*c_1100_2^15 - 24698358965622123485359588176837072341585/1321976188648326848318238\ 82855911052138*c_1100_2^14 - 54876927867715009897035259531157384947\ 39/264395237729665369663647765711822104276*c_1100_2^13 - 64737715580892993067360399315616305522677/1321976188648326848318238\ 82855911052138*c_1100_2^12 + 37330558974726056524493537703866817745\ 8655/132197618864832684831823882855911052138*c_1100_2^11 - 2965724038407913480107402904033982957962451/52879047545933073932729\ 5531423644208552*c_1100_2^10 + 207461985805711947149087191211729513\ 5597069/132197618864832684831823882855911052138*c_1100_2^9 - 2139875504666725582837408235544040783793644/66098809432416342415911\ 941427955526069*c_1100_2^8 + 97404082145856111011228212589186373652\ 77655/264395237729665369663647765711822104276*c_1100_2^7 - 1617721231940525469237171067197278829428093/66098809432416342415911\ 941427955526069*c_1100_2^6 + 22679187006868085891463694059991970695\ 75045/264395237729665369663647765711822104276*c_1100_2^5 + 198548418899861736997772498492562413182737/264395237729665369663647\ 765711822104276*c_1100_2^4 + 20101016760836139209651329337857671081\ 513/264395237729665369663647765711822104276*c_1100_2^3 + 41097513120620341395904011782807690784491/1321976188648326848318238\ 82855911052138*c_1100_2^2 + 446805454116645340495853169038543318254\ 99/528790475459330739327295531423644208552*c_1100_2 + 3363429455696456171277007198769832265343/52879047545933073932729553\ 1423644208552, c_0011_3 - 112969728278065089528987945306915580091/52879047545933073932\ 7295531423644208552*c_1100_2^19 - 900169803723015669037465975662734\ 070231/528790475459330739327295531423644208552*c_1100_2^18 - 3131122010678355682474390932540941206027/52879047545933073932729553\ 1423644208552*c_1100_2^17 - 348926518545627928295140339800689259229\ 5/528790475459330739327295531423644208552*c_1100_2^16 + 3812792407027757005030995828158117894081/52879047545933073932729553\ 1423644208552*c_1100_2^15 + 873378641247559022120749957057197440997\ 5/264395237729665369663647765711822104276*c_1100_2^14 + 1125150750725608399163526744523181627251/13219761886483268483182388\ 2855911052138*c_1100_2^13 + 217158776837560459287160962724576338291\ 61/264395237729665369663647765711822104276*c_1100_2^12 - 122230521556505185754124680157226844366653/264395237729665369663647\ 765711822104276*c_1100_2^11 + 4561795517000244328439921243339518339\ 70201/528790475459330739327295531423644208552*c_1100_2^10 - 326534987411042903665996714451913282488225/132197618864832684831823\ 882855911052138*c_1100_2^9 + 32899243676649090810170610292856845031\ 2061/66098809432416342415911941427955526069*c_1100_2^8 - 1372902571680527919515840149026097134746027/26439523772966536966364\ 7765711822104276*c_1100_2^7 + 3793771857632539092176616416075565833\ 40769/132197618864832684831823882855911052138*c_1100_2^6 - 131529616200181127617655582351229225783223/264395237729665369663647\ 765711822104276*c_1100_2^5 - 14599460857813279065074282043712034674\ 9889/264395237729665369663647765711822104276*c_1100_2^4 + 10534311546895373633572198330734011001373/2643952377296653696636477\ 65711822104276*c_1100_2^3 - 787709328562956876486592283986952830679\ 5/132197618864832684831823882855911052138*c_1100_2^2 - 12079213514447077441224535941500937175043/5287904754593307393272955\ 31423644208552*c_1100_2 - 1056840161784479427755198970394275918845/\ 528790475459330739327295531423644208552, c_0011_4 - 671782293836232352166189143082577484803/52879047545933073932\ 7295531423644208552*c_1100_2^19 - 524024939880788772778588365761052\ 8803049/528790475459330739327295531423644208552*c_1100_2^18 - 17764716473771549729588628237375029907471/5287904754593307393272955\ 31423644208552*c_1100_2^17 - 17954521138873706195528350627234109878\ 365/528790475459330739327295531423644208552*c_1100_2^16 + 25074129125269865788283414441679586466801/5287904754593307393272955\ 31423644208552*c_1100_2^15 + 24779590506882149363505759531828087505\ 603/132197618864832684831823882855911052138*c_1100_2^14 + 5566038834668885394468687249529838313947/26439523772966536966364776\ 5711822104276*c_1100_2^13 + 649491065738379440624847708722763553108\ 17/132197618864832684831823882855911052138*c_1100_2^12 - 374372433492600066387296233530825390892079/132197618864832684831823\ 882855911052138*c_1100_2^11 + 2973153796692845549821941640093602628\ 834251/528790475459330739327295531423644208552*c_1100_2^10 - 2080228304956305379300887666145199445460555/13219761886483268483182\ 3882855911052138*c_1100_2^9 + 2145310467280211270828949008099957354\ 819946/66098809432416342415911941427955526069*c_1100_2^8 - 9761275597044279300388914164014891082914331/26439523772966536966364\ 7765711822104276*c_1100_2^7 + 1620336731661432204089782776490539466\ 445151/66098809432416342415911941427955526069*c_1100_2^6 - 2269322341211480520804739282341423872865569/26439523772966536966364\ 7765711822104276*c_1100_2^5 - 2006724128406494426195339310183446838\ 83393/264395237729665369663647765711822104276*c_1100_2^4 - 20676736954122797265702632497795708097253/2643952377296653696636477\ 65711822104276*c_1100_2^3 - 413150660398589591648081423454643265909\ 35/132197618864832684831823882855911052138*c_1100_2^2 - 45717971532107710087795054695864936116187/5287904754593307393272955\ 31423644208552*c_1100_2 - 3329206022189885550040613761901869913463/\ 528790475459330739327295531423644208552, c_0101_0 - 484187117732865757031662428313368019805/52879047545933073932\ 7295531423644208552*c_1100_2^19 - 378781634731880882107355478884086\ 4258363/528790475459330739327295531423644208552*c_1100_2^18 - 12884506727286328974539199358132154474645/5287904754593307393272955\ 31423644208552*c_1100_2^17 - 13194835420966077874056300513469661041\ 771/528790475459330739327295531423644208552*c_1100_2^16 + 17894095548490468702896796968455271905783/5287904754593307393272955\ 31423644208552*c_1100_2^15 + 89937165296962455476916296717847991573\ 56/66098809432416342415911941427955526069*c_1100_2^14 + 4725673422059392354528113801429878375049/26439523772966536966364776\ 5711822104276*c_1100_2^13 + 233487910907518540022211117733152345343\ 42/66098809432416342415911941427955526069*c_1100_2^12 - 268775092519255554733030890885360207572697/132197618864832684831823\ 882855911052138*c_1100_2^11 + 2116805353990534849330490118170098322\ 328233/528790475459330739327295531423644208552*c_1100_2^10 - 742339267064809496590346122929306758647544/660988094324163424159119\ 41427955526069*c_1100_2^9 + 305331221031475869102606664569176184061\ 7789/132197618864832684831823882855911052138*c_1100_2^8 - 6866294929582107530592848283815821964599963/26439523772966536966364\ 7765711822104276*c_1100_2^7 + 2225134133455423043681280554777522196\ 081861/132197618864832684831823882855911052138*c_1100_2^6 - 1453737885178320408256225819899390198494197/26439523772966536966364\ 7765711822104276*c_1100_2^5 - 2404717646783139838024915796428844108\ 20717/264395237729665369663647765711822104276*c_1100_2^4 + 10377005107016254714894750026246349726747/2643952377296653696636477\ 65711822104276*c_1100_2^3 - 163074011794975514939913129720254245083\ 41/66098809432416342415911941427955526069*c_1100_2^2 - 32637159050000440790798217437196106469833/5287904754593307393272955\ 31423644208552*c_1100_2 - 1820163374396196065345100867197762344433/\ 528790475459330739327295531423644208552, c_0101_1 - 365044890636679474576396195062373548805/52879047545933073932\ 7295531423644208552*c_1100_2^19 - 289382580691509904875688521637938\ 6828525/528790475459330739327295531423644208552*c_1100_2^18 - 10008033530843522181022919507201260894897/5287904754593307393272955\ 31423644208552*c_1100_2^17 - 10930828112106428599489659937891608106\ 233/528790475459330739327295531423644208552*c_1100_2^16 + 12557372837207497756877577321633449074407/5287904754593307393272955\ 31423644208552*c_1100_2^15 + 27881630422463355749940046297503530574\ 255/264395237729665369663647765711822104276*c_1100_2^14 + 3161440900294576182132196811153122858151/13219761886483268483182388\ 2855911052138*c_1100_2^13 + 704949134186964696792230498300453495266\ 93/264395237729665369663647765711822104276*c_1100_2^12 - 397990195044352219100071445002819576645011/264395237729665369663647\ 765711822104276*c_1100_2^11 + 1509972357454313140321113335206857501\ 060667/528790475459330739327295531423644208552*c_1100_2^10 - 537834750334161284487176155332048622747264/660988094324163424159119\ 41427955526069*c_1100_2^9 + 218131814706097146386684750122683271055\ 5341/132197618864832684831823882855911052138*c_1100_2^8 - 4674339840898531677370552645385231988061419/26439523772966536966364\ 7765711822104276*c_1100_2^7 + 6925026266991709440536632717693716807\ 48384/66098809432416342415911941427955526069*c_1100_2^6 - 697831803718248839195494885954618495168675/264395237729665369663647\ 765711822104276*c_1100_2^5 - 32282353950583301222416067769442760233\ 2661/264395237729665369663647765711822104276*c_1100_2^4 - 6059964442114355527448474627692111415211/26439523772966536966364776\ 5711822104276*c_1100_2^3 - 1092461711527458616209265088838049860362\ 9/66098809432416342415911941427955526069*c_1100_2^2 - 35632241707614829099642480052949831726473/5287904754593307393272955\ 31423644208552*c_1100_2 - 3367616934243525383484705312723891538923/\ 528790475459330739327295531423644208552, c_0101_10 + 112969728278065089528987945306915580091/5287904754593307393\ 27295531423644208552*c_1100_2^19 + 900169803723015669037465975662734070231/528790475459330739327295531\ 423644208552*c_1100_2^18 + 3131122010678355682474390932540941206027\ /528790475459330739327295531423644208552*c_1100_2^17 + 3489265185456279282951403398006892592295/52879047545933073932729553\ 1423644208552*c_1100_2^16 - 381279240702775700503099582815811789408\ 1/528790475459330739327295531423644208552*c_1100_2^15 - 8733786412475590221207499570571974409975/26439523772966536966364776\ 5711822104276*c_1100_2^14 - 112515075072560839916352674452318162725\ 1/132197618864832684831823882855911052138*c_1100_2^13 - 21715877683756045928716096272457633829161/2643952377296653696636477\ 65711822104276*c_1100_2^12 + 12223052155650518575412468015722684436\ 6653/264395237729665369663647765711822104276*c_1100_2^11 - 456179551700024432843992124333951833970201/528790475459330739327295\ 531423644208552*c_1100_2^10 + 3265349874110429036659967144519132824\ 88225/132197618864832684831823882855911052138*c_1100_2^9 - 328992436766490908101706102928568450312061/660988094324163424159119\ 41427955526069*c_1100_2^8 + 137290257168052791951584014902609713474\ 6027/264395237729665369663647765711822104276*c_1100_2^7 - 379377185763253909217661641607556583340769/132197618864832684831823\ 882855911052138*c_1100_2^6 + 13152961620018112761765558235122922578\ 3223/264395237729665369663647765711822104276*c_1100_2^5 + 145994608578132790650742820437120346749889/264395237729665369663647\ 765711822104276*c_1100_2^4 - 10534311546895373633572198330734011001\ 373/264395237729665369663647765711822104276*c_1100_2^3 + 7877093285629568764865922839869528306795/13219761886483268483182388\ 2855911052138*c_1100_2^2 + 1207921351444707744122453594150093717504\ 3/528790475459330739327295531423644208552*c_1100_2 + 1056840161784479427755198970394275918845/52879047545933073932729553\ 1423644208552, c_0101_5 + 70478298457694463931614675862209389569/132197618864832684831\ 823882855911052138*c_1100_2^19 + 2797355499811456643778773846395976\ 90444/66098809432416342415911941427955526069*c_1100_2^18 + 1937491829394455398538665051499770645179/13219761886483268483182388\ 2855911052138*c_1100_2^17 + 106274667504625779091348829553829505523\ 8/66098809432416342415911941427955526069*c_1100_2^16 - 2419619540172651678977218256365891234803/13219761886483268483182388\ 2855911052138*c_1100_2^15 - 108027991361217979509183306663081365742\ 65/132197618864832684831823882855911052138*c_1100_2^14 - 2517370606018362608196090129417383108755/13219761886483268483182388\ 2855911052138*c_1100_2^13 - 271455525126090705296240728999330320364\ 05/132197618864832684831823882855911052138*c_1100_2^12 + 153326933160195988469602150077477228800927/132197618864832684831823\ 882855911052138*c_1100_2^11 - 1447709365080319010693694058342468803\ 11506/66098809432416342415911941427955526069*c_1100_2^10 + 412773834532885787435754670289965504944789/660988094324163424159119\ 41427955526069*c_1100_2^9 - 835444210918493358852620648697461277084\ 506/66098809432416342415911941427955526069*c_1100_2^8 + 887231543081925523573620233181986439922516/660988094324163424159119\ 41427955526069*c_1100_2^7 - 511761888876384903567554993896015582204\ 990/66098809432416342415911941427955526069*c_1100_2^6 + 111238216747143631453588195149571404740910/660988094324163424159119\ 41427955526069*c_1100_2^5 + 782423039489987576360516534706789330840\ 88/66098809432416342415911941427955526069*c_1100_2^4 - 5282016339733647252496027402094688678594/66098809432416342415911941\ 427955526069*c_1100_2^3 + 9873302824542584069978441810030573435043/\ 66098809432416342415911941427955526069*c_1100_2^2 + 7025140635957209337298602646386992701357/13219761886483268483182388\ 2855911052138*c_1100_2 + 293293584433698928407391206130765612760/66\ 098809432416342415911941427955526069, c_0101_9 + 46000694515735616950725226435221903201/480718614053937035752\ 08684674876746232*c_1100_2^19 + 36418688133287368170833806383838230\ 4929/48071861405393703575208684674876746232*c_1100_2^18 + 1257188689736979534456141958205635012513/48071861405393703575208684\ 674876746232*c_1100_2^17 + 1363114871712810976141306021544421735841\ /48071861405393703575208684674876746232*c_1100_2^16 - 1600042616321984285773915104985808569411/48071861405393703575208684\ 674876746232*c_1100_2^15 - 3505029885781207943898227567431403914943\ /24035930702696851787604342337438373116*c_1100_2^14 - 188591799638416441402285302635045686043/600898267567421294690108558\ 4359593279*c_1100_2^13 - 8866013715042668299084139301613230807677/2\ 4035930702696851787604342337438373116*c_1100_2^12 + 50228227030120572890525389611476557319013/2403593070269685178760434\ 2337438373116*c_1100_2^11 - 191237867756535843980092959624543534873\ 959/48071861405393703575208684674876746232*c_1100_2^10 + 135910729784516145349685585363566763186685/120179653513484258938021\ 71168719186558*c_1100_2^9 - 137963875721050764999093463545259474468\ 253/6008982675674212946901085584359593279*c_1100_2^8 + 592965065071470006218803356604472274728597/240359307026968517876043\ 42337438373116*c_1100_2^7 - 175590873981787742149000672510694016589\ 623/12017965351348425893802171168719186558*c_1100_2^6 + 85605401268046131930427131571587614014893/2403593070269685178760434\ 2337438373116*c_1100_2^5 + 4527470487592917305195366033395648097794\ 7/24035930702696851787604342337438373116*c_1100_2^4 - 2817047414222016859939300844075332097967/24035930702696851787604342\ 337438373116*c_1100_2^3 + 3212556963089551823622299277680414118817/\ 12017965351348425893802171168719186558*c_1100_2^2 + 4311674626244522300889516131784031919489/48071861405393703575208684\ 674876746232*c_1100_2 + 344567903623876543459598042613140953891/480\ 71861405393703575208684674876746232, c_1001_0 - 381889056558674875099750721464913005449/52879047545933073932\ 7295531423644208552*c_1100_2^19 - 299798127521001018773533201417103\ 8963129/528790475459330739327295531423644208552*c_1100_2^18 - 10243433832236167517410274381656865145097/5287904754593307393272955\ 31423644208552*c_1100_2^17 - 10680791362670282223781106916787781253\ 153/528790475459330739327295531423644208552*c_1100_2^16 + 13841995829354944116726827098474380686683/5287904754593307393272955\ 31423644208552*c_1100_2^15 + 28571575731421984085002757287687582960\ 519/264395237729665369663647765711822104276*c_1100_2^14 + 1122764603472901194349099165691489643640/66098809432416342415911941\ 427955526069*c_1100_2^13 + 7373215183959082519347916389268347179217\ 7/264395237729665369663647765711822104276*c_1100_2^12 - 421942049668642817212451282692728778762037/264395237729665369663647\ 765711822104276*c_1100_2^11 + 1646137241490897913909710783244064029\ 519855/528790475459330739327295531423644208552*c_1100_2^10 - 1159222273892316552525957405067574809656171/13219761886483268483182\ 3882855911052138*c_1100_2^9 + 1187668533289291495451927142561498483\ 229287/66098809432416342415911941427955526069*c_1100_2^8 - 5279332408972467413156385569657049937971585/26439523772966536966364\ 7765711822104276*c_1100_2^7 + 1676055365831024247733628057336029616\ 041557/132197618864832684831823882855911052138*c_1100_2^6 - 1037146781538886618676721343722687377581393/26439523772966536966364\ 7765711822104276*c_1100_2^5 - 2328363405248186915509541576936788428\ 27927/264395237729665369663647765711822104276*c_1100_2^4 + 9297718649048241317030692539162117263199/26439523772966536966364776\ 5711822104276*c_1100_2^3 - 2622570725110594047206017992112162839591\ 1/132197618864832684831823882855911052138*c_1100_2^2 - 28692155868194312770140036082980784532921/5287904754593307393272955\ 31423644208552*c_1100_2 - 1864153944125798280809536378199629888131/\ 528790475459330739327295531423644208552, c_1100_2^20 + 8*c_1100_2^19 + 28*c_1100_2^18 + 32*c_1100_2^17 - 32*c_1100_2^16 - 155*c_1100_2^15 - 46*c_1100_2^14 - 390*c_1100_2^13 + 2152*c_1100_2^12 - 3981*c_1100_2^11 + 11503*c_1100_2^10 - 23076*c_1100_2^9 + 23962*c_1100_2^8 - 13494*c_1100_2^7 + 2902*c_1100_2^6 + 1948*c_1100_2^5 + 180*c_1100_2^4 + 258*c_1100_2^3 + 117*c_1100_2^2 + 18*c_1100_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB