Magma V2.19-8 Tue Aug 20 2013 17:59:28 on localhost [Seed = 644321987] Type ? for help. Type -D to quit. Loading file "11_119__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_119 geometric_solution 11.57362386 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 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 1 0 -1 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.388076646723 0.672036112589 0 4 5 5 0132 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.237113807138 1.157030307079 6 0 0 7 0132 0132 0321 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 1 0 -1 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.388076646723 0.672036112589 5 8 0 8 3201 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.636099528531 0.970238922839 9 1 7 10 0132 0132 2031 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 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.134911362097 0.446085276355 1 11 1 3 2310 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484818229268 0.308278506151 2 9 11 8 0132 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 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.807704771197 2.003019357214 11 12 2 4 3201 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.595088105605 0.715199200168 6 3 10 3 3201 0132 2310 0213 0 0 0 0 0 0 0 0 1 0 0 -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 -1 1 1 0 0 -1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636099528531 0.970238922839 4 6 11 12 0132 0132 3120 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.548640310280 0.804702864546 12 8 4 12 0213 3201 0132 3012 0 0 0 0 0 1 0 -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 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.280913240497 1.384730454654 6 5 9 7 2310 0132 3120 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205637195203 0.579872263308 10 7 10 9 0213 0132 1230 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.295365700186 0.568779601213 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_3']), 'c_1001_10' : negation(d['c_0101_0']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0110_7']), 'c_1001_4' : negation(d['c_0110_7']), 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : negation(d['c_0101_11']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0110_3'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0101_4'], 'c_1010_11' : negation(d['c_0110_7']), 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : negation(d['c_1001_12']), 'c_1100_7' : d['c_0101_4'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0101_4'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_0110_3'], 'c_1010_5' : negation(d['c_0110_3']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : negation(d['c_0110_7']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(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' : d['c_0101_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_6']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : negation(d['c_0101_11']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0110_3']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : negation(d['c_0101_0'])})} 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_12, c_0101_0, c_0101_1, c_0101_11, c_0101_4, c_0101_6, c_0110_3, c_0110_7, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 382102938141566969415866662765024434387294621148027740629837839/383\ 96571642722132873114466618319635280542025954997057223424*c_1001_2^2\ 1 + 370530017813189722327844132690551447869240330768338518547027419\ /4799571455340266609139308327289954410067753244374632152928*c_1001_\ 2^20 + 120018879366843175523074565040167051086545380868526533883881\ 12727/38396571642722132873114466618319635280542025954997057223424*c\ _1001_2^19 + 136980014064328799112545593884082908850779391760024252\ 91011016043/1919828582136106643655723330915981764027101297749852861\ 1712*c_1001_2^18 + 335946050306032036755711910205331051345632689632\ 49604324122027407/3839657164272213287311446661831963528054202595499\ 7057223424*c_1001_2^17 - 427033893200104351510651743043468211146314\ 908276630262620733933/383965716427221328731144666183196352805420259\ 54997057223424*c_1001_2^16 - 47522900567504692492109501348079784995\ 555744359447116578480664611/191982858213610664365572333091598176402\ 71012977498528611712*c_1001_2^15 - 14088615535978171757030492642803104704736643835952386756279939889/2\ 258621861336596051359674506959978545914236820882179836672*c_1001_2^\ 14 - 49149657325109079615238030819852046086021760931736918726194140\ 847/4799571455340266609139308327289954410067753244374632152928*c_10\ 01_2^13 - 296601983883467632942580416330897736960567381139210750015\ 42704141/2258621861336596051359674506959978545914236820882179836672\ *c_1001_2^12 - 7589252283033293052574867233322830424209007962278239\ 2254538751991/54852245203888761247306380883313764686488608507138653\ 17632*c_1001_2^11 - 23741692842463825099192147045918016000871797798\ 3096425394738161543/19198285821361066436557233309159817640271012977\ 498528611712*c_1001_2^10 - 3649683254668969065211454415696422980360\ 19353770528763688175345611/3839657164272213287311446661831963528054\ 2025954997057223424*c_1001_2^9 - 1226742835186995954159631360439490\ 06341752465416346562455049938227/1919828582136106643655723330915981\ 7640271012977498528611712*c_1001_2^8 - 967937340386615036127548389017618151755199656257535563932050177/259\ 436294883257654548070720394051589733392067263493629888*c_1001_2^7 - 36520011611537220821822604272573393154621405277900919009480051425/1\ 9198285821361066436557233309159817640271012977498528611712*c_1001_2\ ^6 - 31542128827435546240076883797980028805698990414014992296114631\ 057/38396571642722132873114466618319635280542025954997057223424*c_1\ 001_2^5 - 114920989649022952084727551639092678035148313321674288570\ 94228141/3839657164272213287311446661831963528054202595499705722342\ 4*c_1001_2^4 - 3175548507961883020869182111727828641284764413020093\ 164365345093/383965716427221328731144666183196352805420259549970572\ 23424*c_1001_2^3 - 181167103746694270136980851137539743159970987060\ 566342923692407/959914291068053321827861665457990882013550648874926\ 4305856*c_1001_2^2 - 1134746184295359550448187410992866883188486998\ 9821193524978123/54852245203888761247306380883313764686488608507138\ 65317632*c_1001_2 - 58782932332122481404358726450080868795068122957\ 62299140657389/3839657164272213287311446661831963528054202595499705\ 7223424, c_0011_0 - 1, c_0011_10 - 839937678365946819765849694718824025667025464999/8815078085\ 818149643776992960330989722607838866*c_1001_2^21 - 4149398384231100071999573621370818959543623162033/44075390429090748\ 21888496480165494861303919433*c_1001_2^20 - 21853476207518465058420688567525640249206528079381/4407539042909074\ 821888496480165494861303919433*c_1001_2^19 - 149720847007000278042125799463104310782664514342581/881507808581814\ 9643776992960330989722607838866*c_1001_2^18 - 372866661502524877136120327892304158503021520662671/881507808581814\ 9643776992960330989722607838866*c_1001_2^17 - 360409418801286782728871979809360078318049583639105/440753904290907\ 4821888496480165494861303919433*c_1001_2^16 - 1135976812534011458944898148262666460482707783036143/88150780858181\ 49643776992960330989722607838866*c_1001_2^15 - 1508520006373887457434294217267079722293324496323193/88150780858181\ 49643776992960330989722607838866*c_1001_2^14 - 1723536339279475296058282288327972584207403849899411/88150780858181\ 49643776992960330989722607838866*c_1001_2^13 - 857067518055270862686129720222469836992222562401793/440753904290907\ 4821888496480165494861303919433*c_1001_2^12 - 749368407869594765671999166827233230853552813853949/440753904290907\ 4821888496480165494861303919433*c_1001_2^11 - 1158910948882885524361821837692274324501818456007881/88150780858181\ 49643776992960330989722607838866*c_1001_2^10 - 398743033235440279455043027184979584710503310478622/440753904290907\ 4821888496480165494861303919433*c_1001_2^9 - 243958475986649635494093565987009863870296288240470/440753904290907\ 4821888496480165494861303919433*c_1001_2^8 - 132777559371021022548217970176644156636179192336031/440753904290907\ 4821888496480165494861303919433*c_1001_2^7 - 127014597482543735762070882168834632290189700225103/881507808581814\ 9643776992960330989722607838866*c_1001_2^6 - 26556011118701227601106672403996860510884246889848/4407539042909074\ 821888496480165494861303919433*c_1001_2^5 - 9402008590743626918673082129006558189023383152064/44075390429090748\ 21888496480165494861303919433*c_1001_2^4 - 2829191074901195791186016125333851032334214688281/44075390429090748\ 21888496480165494861303919433*c_1001_2^3 - 1299648510440437771935524301243373857884743628627/88150780858181496\ 43776992960330989722607838866*c_1001_2^2 - 119112482172792263039942535561800314641082286360/440753904290907482\ 1888496480165494861303919433*c_1001_2 - 16192800705363146012274527735623608610709168867/8815078085818149643\ 776992960330989722607838866, c_0011_11 + 5691535412542463489877805497575722843439038973/881507808581\ 8149643776992960330989722607838866*c_1001_2^21 + 23297302263540333108318851557239548873253957495/4407539042909074821\ 888496480165494861303919433*c_1001_2^20 + 236304087990590043467875190788268948121617653417/881507808581814964\ 3776992960330989722607838866*c_1001_2^19 + 817399629402233652335884390629239763520025342215/881507808581814964\ 3776992960330989722607838866*c_1001_2^18 + 1100305260538725002215985607910322184793472534969/44075390429090748\ 21888496480165494861303919433*c_1001_2^17 + 4574720709467492335549022853162694125009750795839/88150780858181496\ 43776992960330989722607838866*c_1001_2^16 + 7307128223477082604788819742956332237994781774237/88150780858181496\ 43776992960330989722607838866*c_1001_2^15 + 4417786547077045074060249403093986672048111682781/44075390429090748\ 21888496480165494861303919433*c_1001_2^14 + 4008209835312771448925913894534787826495964883362/44075390429090748\ 21888496480165494861303919433*c_1001_2^13 + 2508091207366336107385341142045517443028421377751/44075390429090748\ 21888496480165494861303919433*c_1001_2^12 + 473447554706457563668066381818098382705095150216/440753904290907482\ 1888496480165494861303919433*c_1001_2^11 - 2840201722935568196806900573002238004285219519039/88150780858181496\ 43776992960330989722607838866*c_1001_2^10 - 2418923547973101167467793236427152007265121558997/44075390429090748\ 21888496480165494861303919433*c_1001_2^9 - 5017417572918253465196672284438114058778695797323/88150780858181496\ 43776992960330989722607838866*c_1001_2^8 - 2038173218270563160677706397636668845438995586495/44075390429090748\ 21888496480165494861303919433*c_1001_2^7 - 1438183444260694569440700755261615520513627940669/44075390429090748\ 21888496480165494861303919433*c_1001_2^6 - 854025875007917372681570278394903586649313859938/440753904290907482\ 1888496480165494861303919433*c_1001_2^5 - 445108239929470398624283796577503513298184497749/440753904290907482\ 1888496480165494861303919433*c_1001_2^4 - 190146981394784102488056001357494329947968026083/440753904290907482\ 1888496480165494861303919433*c_1001_2^3 - 148934209408071054281798957960768454327868712229/881507808581814964\ 3776992960330989722607838866*c_1001_2^2 - 19306724901324082004894833235723538206234685692/4407539042909074821\ 888496480165494861303919433*c_1001_2 - 6926156740651266684605748275727881953343015530/44075390429090748218\ 88496480165494861303919433, c_0011_12 - 754507040876122768016769242256570908854868600789/8815078085\ 818149643776992960330989722607838866*c_1001_2^21 - 7680988212173274277319296737069537737111089276569/88150780858181496\ 43776992960330989722607838866*c_1001_2^20 - 20758241390214808336949291813625573263189789002246/4407539042909074\ 821888496480165494861303919433*c_1001_2^19 - 73220857497658355457300121063628115779919006849119/4407539042909074\ 821888496480165494861303919433*c_1001_2^18 - 188049984113667703504034424473360255708613799127739/440753904290907\ 4821888496480165494861303919433*c_1001_2^17 - 375181143761780608554434375701217183271717738465387/440753904290907\ 4821888496480165494861303919433*c_1001_2^16 - 609699697750637823132814946502397355534852776614257/440753904290907\ 4821888496480165494861303919433*c_1001_2^15 - 833854628780228219740318680306360998878306839122807/440753904290907\ 4821888496480165494861303919433*c_1001_2^14 - 1960666949478404894559577807762045890707352683971969/88150780858181\ 49643776992960330989722607838866*c_1001_2^13 - 1003161181931831040177470607299280347612797044549974/44075390429090\ 74821888496480165494861303919433*c_1001_2^12 - 901954407725446727110999032958083092362026063428558/440753904290907\ 4821888496480165494861303919433*c_1001_2^11 - 1433731719719134052199095441515047281388879866377299/88150780858181\ 49643776992960330989722607838866*c_1001_2^10 - 1012762270754157484215857714433705894979254223652549/88150780858181\ 49643776992960330989722607838866*c_1001_2^9 - 318066930341720466138587257139464191906857501372737/440753904290907\ 4821888496480165494861303919433*c_1001_2^8 - 355065610501802218609571569798040921242316521396753/881507808581814\ 9643776992960330989722607838866*c_1001_2^7 - 174539561643720349733020220631979294098687093430491/881507808581814\ 9643776992960330989722607838866*c_1001_2^6 - 37425661499387533916755257912250706936998643355143/4407539042909074\ 821888496480165494861303919433*c_1001_2^5 - 13651260421813306515906931508835147641699662107099/4407539042909074\ 821888496480165494861303919433*c_1001_2^4 - 4167362815816563778889596481776611782902031947922/44075390429090748\ 21888496480165494861303919433*c_1001_2^3 - 1975618751519277896859396383825317379405999592611/88150780858181496\ 43776992960330989722607838866*c_1001_2^2 - 343751113306847353530308329704075447318506373143/881507808581814964\ 3776992960330989722607838866*c_1001_2 - 22035891484263827449769133300494352172115557637/8815078085818149643\ 776992960330989722607838866, c_0101_0 - 16023330758986832846559083493958409389923315925/440753904290\ 9074821888496480165494861303919433*c_1001_2^21 - 317333397617176092713169659843744395322694839961/881507808581814964\ 3776992960330989722607838866*c_1001_2^20 - 1652287123220361152634673419124490256986672407863/88150780858181496\ 43776992960330989722607838866*c_1001_2^19 - 5549955427703808959537159038388566433180830487789/88150780858181496\ 43776992960330989722607838866*c_1001_2^18 - 6695398615783237926533559441460122590184202048435/44075390429090748\ 21888496480165494861303919433*c_1001_2^17 - 24846701366281282103677719850192334952865055148939/8815078085818149\ 643776992960330989722607838866*c_1001_2^16 - 37340683586066237929243970592587319448493252475193/8815078085818149\ 643776992960330989722607838866*c_1001_2^15 - 23588799096219695328332886070683429256766057524257/4407539042909074\ 821888496480165494861303919433*c_1001_2^14 - 51202339989817087049374725941632768891409513832557/8815078085818149\ 643776992960330989722607838866*c_1001_2^13 - 24137665435854518305145597613499797242247602411956/4407539042909074\ 821888496480165494861303919433*c_1001_2^12 - 20000913044976709074172215169045143006936660190031/4407539042909074\ 821888496480165494861303919433*c_1001_2^11 - 14723284863073249708684713913462230162962180758582/4407539042909074\ 821888496480165494861303919433*c_1001_2^10 - 19410117117484658969225620192053636116122263793749/8815078085818149\ 643776992960330989722607838866*c_1001_2^9 - 11518167259275973463819727982149844926329142459381/8815078085818149\ 643776992960330989722607838866*c_1001_2^8 - 6142212773858590155659820172712615770904585281419/88150780858181496\ 43776992960330989722607838866*c_1001_2^7 - 2969546316183050454975270084428085272874655298301/88150780858181496\ 43776992960330989722607838866*c_1001_2^6 - 644381815563973632877226360351188800985162760147/440753904290907482\ 1888496480165494861303919433*c_1001_2^5 - 258367529958573305590392713085252912147727335858/440753904290907482\ 1888496480165494861303919433*c_1001_2^4 - 95961338431682271354106391045984682910088847584/4407539042909074821\ 888496480165494861303919433*c_1001_2^3 - 39154935279589689651432622352100369916723229544/4407539042909074821\ 888496480165494861303919433*c_1001_2^2 - 20621750402725445653652449300583861756074893291/8815078085818149643\ 776992960330989722607838866*c_1001_2 - 11481180703754979212740841872898378093119742049/8815078085818149643\ 776992960330989722607838866, c_0101_1 - 185418690369508272390111538026976015060334016685/88150780858\ 18149643776992960330989722607838866*c_1001_2^21 - 906811052199208933308636450176837387235718570419/440753904290907482\ 1888496480165494861303919433*c_1001_2^20 - 4734990470531847498351643782361693091426625160414/44075390429090748\ 21888496480165494861303919433*c_1001_2^19 - 32111474825407982736671705574040706681926625122623/8815078085818149\ 643776992960330989722607838866*c_1001_2^18 - 79064445746306589148915674590951027089918479477961/8815078085818149\ 643776992960330989722607838866*c_1001_2^17 - 75428596449448086087839762370329366611469187786803/4407539042909074\ 821888496480165494861303919433*c_1001_2^16 - 234242665532855217526117514540510363405904076881163/881507808581814\ 9643776992960330989722607838866*c_1001_2^15 - 305808291895518507877974370814453211606011963944385/881507808581814\ 9643776992960330989722607838866*c_1001_2^14 - 342486170249877499825761854357015669362527796221309/881507808581814\ 9643776992960330989722607838866*c_1001_2^13 - 166232960049605810633045828869412316199589530539000/440753904290907\ 4821888496480165494861303919433*c_1001_2^12 - 141107864729061897717754279863545253020064088516390/440753904290907\ 4821888496480165494861303919433*c_1001_2^11 - 210415014332115399695972573443127066846197337227157/881507808581814\ 9643776992960330989722607838866*c_1001_2^10 - 69264918494791963858129551112682982663259109308611/4407539042909074\ 821888496480165494861303919433*c_1001_2^9 - 40081125684328288549246134821974438209399789736712/4407539042909074\ 821888496480165494861303919433*c_1001_2^8 - 20368541145754274364020424511316185695478045186388/4407539042909074\ 821888496480165494861303919433*c_1001_2^7 - 17810350315797165570201786105977632569506743833447/8815078085818149\ 643776992960330989722607838866*c_1001_2^6 - 3296076371212851127762910766242206790964225661376/44075390429090748\ 21888496480165494861303919433*c_1001_2^5 - 954005868599006488898145737603288737546792814152/440753904290907482\ 1888496480165494861303919433*c_1001_2^4 - 214745498826897682921381541444431784529810778745/440753904290907482\ 1888496480165494861303919433*c_1001_2^3 - 49987401077598635238558610565262900699412490997/8815078085818149643\ 776992960330989722607838866*c_1001_2^2 - 1134732249257079849597918115846835841500313503/44075390429090748218\ 88496480165494861303919433*c_1001_2 + 108241044675194584457513456474821319620385323/881507808581814964377\ 6992960330989722607838866, c_0101_11 + 183679507658282061147689937399098048314026461171/4407539042\ 909074821888496480165494861303919433*c_1001_2^21 + 3928366834279402690875672260392613056730892277011/88150780858181496\ 43776992960330989722607838866*c_1001_2^20 + 22042932700510888125461675570795047409888456596281/8815078085818149\ 643776992960330989722607838866*c_1001_2^19 + 80743998852030602395057802334376235536055811102161/8815078085818149\ 643776992960330989722607838866*c_1001_2^18 + 107328629831632621756996959578915560749668814569818/440753904290907\ 4821888496480165494861303919433*c_1001_2^17 + 441484208312696986556323804444041084854663673139613/881507808581814\ 9643776992960330989722607838866*c_1001_2^16 + 735633272487180684369643375247216249274243684897565/881507808581814\ 9643776992960330989722607838866*c_1001_2^15 + 513371299483130157239946237642752183039948405862603/440753904290907\ 4821888496480165494861303919433*c_1001_2^14 + 1227509642507202244281918136664499210853117949876903/88150780858181\ 49643776992960330989722607838866*c_1001_2^13 + 636968045478664625432738191826730914107299285467713/440753904290907\ 4821888496480165494861303919433*c_1001_2^12 + 579053486159588170547889534437155217687462713763462/440753904290907\ 4821888496480165494861303919433*c_1001_2^11 + 464104974341960877889381468092496367918598019247520/440753904290907\ 4821888496480165494861303919433*c_1001_2^10 + 659280044454814392959328684752271733491491126131319/881507808581814\ 9643776992960330989722607838866*c_1001_2^9 + 415696725157836709672931484409748290010932891941037/881507808581814\ 9643776992960330989722607838866*c_1001_2^8 + 232281893963885391391918540399712522789227709193659/881507808581814\ 9643776992960330989722607838866*c_1001_2^7 + 114247038002686806985991786328091635417944728453125/881507808581814\ 9643776992960330989722607838866*c_1001_2^6 + 24412189237103613086077105598596300171547911864377/4407539042909074\ 821888496480165494861303919433*c_1001_2^5 + 8876981828980950388773939291783383749409129971454/44075390429090748\ 21888496480165494861303919433*c_1001_2^4 + 2671768442182106569177435235152670252825319753449/44075390429090748\ 21888496480165494861303919433*c_1001_2^3 + 643721833742291263788967682383490644462706973432/440753904290907482\ 1888496480165494861303919433*c_1001_2^2 + 226528446751045183698450233447137670388665914599/881507808581814964\ 3776992960330989722607838866*c_1001_2 + 22559650169202418770758090919772954635777298781/8815078085818149643\ 776992960330989722607838866, c_0101_4 - 684006932405621225496143242440635318910495055979/88150780858\ 18149643776992960330989722607838866*c_1001_2^21 - 3584001452526161645818938473392321090889656428900/44075390429090748\ 21888496480165494861303919433*c_1001_2^20 - 39698236607576676852584860240141268481382860948603/8815078085818149\ 643776992960330989722607838866*c_1001_2^19 - 143704255191831148211378525880436453876541002713415/881507808581814\ 9643776992960330989722607838866*c_1001_2^18 - 189308896850211822009839189602431630980453147785517/440753904290907\ 4821888496480165494861303919433*c_1001_2^17 - 773702425832729854339675151094272627530005043148303/881507808581814\ 9643776992960330989722607838866*c_1001_2^16 - 1283945583966052878852635361883429477836080004160043/88150780858181\ 49643776992960330989722607838866*c_1001_2^15 - 893639216404518791282461879561919857068004182898539/440753904290907\ 4821888496480165494861303919433*c_1001_2^14 - 1066378288397594177311209860012566760402548049193073/44075390429090\ 74821888496480165494861303919433*c_1001_2^13 - 1105161730419487885367010149818295012404608943749956/44075390429090\ 74821888496480165494861303919433*c_1001_2^12 - 1003835714631781019018845960476897675387368735113536/44075390429090\ 74821888496480165494861303919433*c_1001_2^11 - 1607852857316421301078142715219141768731259288721619/88150780858181\ 49643776992960330989722607838866*c_1001_2^10 - 570557661530357354568630507727548799475672434706692/440753904290907\ 4821888496480165494861303919433*c_1001_2^9 - 718494488168077352196382643796137379003064617921475/881507808581814\ 9643776992960330989722607838866*c_1001_2^8 - 200449353980984269348713635824239109647882814018086/440753904290907\ 4821888496480165494861303919433*c_1001_2^7 - 98217336358236139911846941460198919463743716748462/4407539042909074\ 821888496480165494861303919433*c_1001_2^6 - 41762238227734121533476938265598912382149443395651/4407539042909074\ 821888496480165494861303919433*c_1001_2^5 - 15002209894086227850017373477542071439718834417124/4407539042909074\ 821888496480165494861303919433*c_1001_2^4 - 4448730490846061947813783595697258812247074448816/44075390429090748\ 21888496480165494861303919433*c_1001_2^3 - 2032276133104885261349371636425963018342083027801/88150780858181496\ 43776992960330989722607838866*c_1001_2^2 - 169306603360969314561540963668392121586447607213/440753904290907482\ 1888496480165494861303919433*c_1001_2 - 10705605451378797849794157403497740434399210988/4407539042909074821\ 888496480165494861303919433, c_0101_6 + 100017489851717752872583670508752451344474707488/44075390429\ 09074821888496480165494861303919433*c_1001_2^21 + 1115414799064179389398789529717111984130135001522/44075390429090748\ 21888496480165494861303919433*c_1001_2^20 + 6432648251670127409289062591879618468961737913978/44075390429090748\ 21888496480165494861303919433*c_1001_2^19 + 24145787047688809959369860387569200260572947318130/4407539042909074\ 821888496480165494861303919433*c_1001_2^18 + 65405735261407505193701554517239650297806008858736/4407539042909074\ 821888496480165494861303919433*c_1001_2^17 + 136296635265627727283602695336612816064540090268583/440753904290907\ 4821888496480165494861303919433*c_1001_2^16 + 228795678391475968367984284878357270853486396790151/440753904290907\ 4821888496480165494861303919433*c_1001_2^15 + 320292882869761463350453654840420313283000653567563/440753904290907\ 4821888496480165494861303919433*c_1001_2^14 + 382898665554478590018275954111830596526673026567652/440753904290907\ 4821888496480165494861303919433*c_1001_2^13 + 396517513481898640937979489573003563800639474882979/440753904290907\ 4821888496480165494861303919433*c_1001_2^12 + 358912891889430841532532374047819877072075877287127/440753904290907\ 4821888496480165494861303919433*c_1001_2^11 + 285994029350567851390715338267531264126920405757809/440753904290907\ 4821888496480165494861303919433*c_1001_2^10 + 201719301218098003690284233313435071206093243970620/440753904290907\ 4821888496480165494861303919433*c_1001_2^9 + 126349771290169397001871933516131523158947917160367/440753904290907\ 4821888496480165494861303919433*c_1001_2^8 + 70079070183861410598301354884377360371072021060330/4407539042909074\ 821888496480165494861303919433*c_1001_2^7 + 34215835687788400733366579757485162273242941692020/4407539042909074\ 821888496480165494861303919433*c_1001_2^6 + 14487843844621047638727454012085717489887122082071/4407539042909074\ 821888496480165494861303919433*c_1001_2^5 + 5254646211978449186003093831845628066838710647227/44075390429090748\ 21888496480165494861303919433*c_1001_2^4 + 1582297579605559756872906859550637970583333963270/44075390429090748\ 21888496480165494861303919433*c_1001_2^3 + 400597874425112275614364670358392314072196951043/440753904290907482\ 1888496480165494861303919433*c_1001_2^2 + 74158577739715121954239910379091685953240838570/4407539042909074821\ 888496480165494861303919433*c_1001_2 + 12415045416570830609645784305947491576907490812/4407539042909074821\ 888496480165494861303919433, c_0110_3 + 29797932667914044732027928440777440756081399099/881507808581\ 8149643776992960330989722607838866*c_1001_2^21 + 224863760373456941606138879235304389661067435919/440753904290907482\ 1888496480165494861303919433*c_1001_2^20 + 1511987428991167336436424299667432397498292444250/44075390429090748\ 21888496480165494861303919433*c_1001_2^19 + 12711329684069671896669835264628182138655677338041/8815078085818149\ 643776992960330989722607838866*c_1001_2^18 + 37015857047785989896349049220745777619745531624051/8815078085818149\ 643776992960330989722607838866*c_1001_2^17 + 40059969150854241943647480929336719749321186224353/4407539042909074\ 821888496480165494861303919433*c_1001_2^16 + 135515529050698828928966527622662472961980684307511/881507808581814\ 9643776992960330989722607838866*c_1001_2^15 + 186722650041879123938536788831296684821011032601547/881507808581814\ 9643776992960330989722607838866*c_1001_2^14 + 215904481064698213310056410995825613045460166470867/881507808581814\ 9643776992960330989722607838866*c_1001_2^13 + 106409738816733553335271666207224040659910713844341/440753904290907\ 4821888496480165494861303919433*c_1001_2^12 + 89812681663528385162430482916189963630430655380121/4407539042909074\ 821888496480165494861303919433*c_1001_2^11 + 130407734250149062452156957218422448218885916644853/881507808581814\ 9643776992960330989722607838866*c_1001_2^10 + 40798692489067772029571941243985647746268969993463/4407539042909074\ 821888496480165494861303919433*c_1001_2^9 + 21957331111541029550336909529669089322784999459094/4407539042909074\ 821888496480165494861303919433*c_1001_2^8 + 9863802167332729940201310369843029923005997195981/44075390429090748\ 21888496480165494861303919433*c_1001_2^7 + 6962229085489775479123468721363028359720797887487/88150780858181496\ 43776992960330989722607838866*c_1001_2^6 + 764063111097063745642991574695575947892598904006/440753904290907482\ 1888496480165494861303919433*c_1001_2^5 - 46583876017698878761056692510684880607503255744/4407539042909074821\ 888496480165494861303919433*c_1001_2^4 - 139283616949430023909980906948989453698343455382/440753904290907482\ 1888496480165494861303919433*c_1001_2^3 - 141372229506666144813245921811789431138016441869/881507808581814964\ 3776992960330989722607838866*c_1001_2^2 - 22869990900077600296011527106384956817534772228/4407539042909074821\ 888496480165494861303919433*c_1001_2 - 15335704321571236419535185651414778024308114825/8815078085818149643\ 776992960330989722607838866, c_0110_7 - 294940878537367356453277318511183989731976618736/44075390429\ 09074821888496480165494861303919433*c_1001_2^21 - 2902098544389007580899269910758254373715612650804/44075390429090748\ 21888496480165494861303919433*c_1001_2^20 - 30354180828325123550626585344722758350271300593873/8815078085818149\ 643776992960330989722607838866*c_1001_2^19 - 51446785524050497012977246598136691408292639232055/4407539042909074\ 821888496480165494861303919433*c_1001_2^18 - 252374570212562308595224637293883802693404818737271/881507808581814\ 9643776992960330989722607838866*c_1001_2^17 - 478059578375991648720027393835291188829683646901853/881507808581814\ 9643776992960330989722607838866*c_1001_2^16 - 367214673744469727731270387092354687745947865890659/440753904290907\ 4821888496480165494861303919433*c_1001_2^15 - 945992855177906140517554512093949977359505908074755/881507808581814\ 9643776992960330989722607838866*c_1001_2^14 - 1042430061974659558039390685640621351134198658249513/88150780858181\ 49643776992960330989722607838866*c_1001_2^13 - 496227292878341388223616955000986259821943832433397/440753904290907\ 4821888496480165494861303919433*c_1001_2^12 - 411444154241962396815597856725596454479299115622106/440753904290907\ 4821888496480165494861303919433*c_1001_2^11 - 298174846758245407842624058837541736567889296013500/440753904290907\ 4821888496480165494861303919433*c_1001_2^10 - 189500401432933408507509035292711275629614990408316/440753904290907\ 4821888496480165494861303919433*c_1001_2^9 - 209663650867336724274342453741188064665643580832729/881507808581814\ 9643776992960330989722607838866*c_1001_2^8 - 49952089854576765377686901288077312342285598002059/4407539042909074\ 821888496480165494861303919433*c_1001_2^7 - 39435700070430677635376504308538350358116816799919/8815078085818149\ 643776992960330989722607838866*c_1001_2^6 - 6074979090461525867753553612321894988434742782992/44075390429090748\ 21888496480165494861303919433*c_1001_2^5 - 1111610735564134727590577529943033628145056308649/44075390429090748\ 21888496480165494861303919433*c_1001_2^4 + 41150511107377581764852826017117677970668941147/4407539042909074821\ 888496480165494861303919433*c_1001_2^3 + 142883539677409049788263294927079920175395595930/440753904290907482\ 1888496480165494861303919433*c_1001_2^2 + 52058958215661076753792724190130026846630794743/4407539042909074821\ 888496480165494861303919433*c_1001_2 + 32299962556758893714364698709910067640799651761/8815078085818149643\ 776992960330989722607838866, c_1001_12 - 1796226238284202563921808060480994919973251229619/881507808\ 5818149643776992960330989722607838866*c_1001_2^21 - 18081316102439348029668325892931823721042534774583/8815078085818149\ 643776992960330989722607838866*c_1001_2^20 - 96727934206983312936628076226084267285263155679393/8815078085818149\ 643776992960330989722607838866*c_1001_2^19 - 168562253799104121292892708727535614477398728630717/440753904290907\ 4821888496480165494861303919433*c_1001_2^18 - 854441926570586195713952601891918761014158551354007/881507808581814\ 9643776992960330989722607838866*c_1001_2^17 - 1680580935452696258953773118870916654975382366380139/88150780858181\ 49643776992960330989722607838866*c_1001_2^16 - 1345606691930046542572769664754258685100565210649695/44075390429090\ 74821888496480165494861303919433*c_1001_2^15 - 3626138560277696150242272717339780861395911543736489/88150780858181\ 49643776992960330989722607838866*c_1001_2^14 - 2099315883124169292822716942661715658618955899921328/44075390429090\ 74821888496480165494861303919433*c_1001_2^13 - 2114176281202093334367840835710116858163405507562463/44075390429090\ 74821888496480165494861303919433*c_1001_2^12 - 1869415442807943420239600517131801096191790446315844/44075390429090\ 74821888496480165494861303919433*c_1001_2^11 - 2919922223762010015035868195113968703213767332195757/88150780858181\ 49643776992960330989722607838866*c_1001_2^10 - 2025380018754577909545846170814567065765815315309207/88150780858181\ 49643776992960330989722607838866*c_1001_2^9 - 1247548390632926292256444337532444099689862654264971/88150780858181\ 49643776992960330989722607838866*c_1001_2^8 - 681859446200300165964199273787574109265393909584697/881507808581814\ 9643776992960330989722607838866*c_1001_2^7 - 163568576482832529081730082520113874314904564626234/440753904290907\ 4821888496480165494861303919433*c_1001_2^6 - 68254255699230556789447235258290977468524829015109/4407539042909074\ 821888496480165494861303919433*c_1001_2^5 - 24043593398865540542650555193452350455356131912584/4407539042909074\ 821888496480165494861303919433*c_1001_2^4 - 7084245037026467155303708792975366556800362178721/44075390429090748\ 21888496480165494861303919433*c_1001_2^3 - 3182396013889300218657115046191509698631274720665/88150780858181496\ 43776992960330989722607838866*c_1001_2^2 - 535013355715390499783285191890447053874492427479/881507808581814964\ 3776992960330989722607838866*c_1001_2 - 13147210047078040038154214915448029787160336281/4407539042909074821\ 888496480165494861303919433, c_1001_2^22 + 2893/283*c_1001_2^21 + 15691/283*c_1001_2^20 + 55547/283*c_1001_2^19 + 143149/283*c_1001_2^18 + 286468/283*c_1001_2^17 + 466691/283*c_1001_2^16 + 639529/283*c_1001_2^15 + 753101/283*c_1001_2^14 + 771735/283*c_1001_2^13 + 694716/283*c_1001_2^12 + 552767/283*c_1001_2^11 + 390911/283*c_1001_2^10 + 245881/283*c_1001_2^9 + 137498/283*c_1001_2^8 + 67770/283*c_1001_2^7 + 29189/283*c_1001_2^6 + 10724/283*c_1001_2^5 + 3320/283*c_1001_2^4 + 813/283*c_1001_2^3 + 155/283*c_1001_2^2 + 16/283*c_1001_2 + 1/283 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.620 Total time: 4.839 seconds, Total memory usage: 64.12MB