Magma V2.19-8 Wed Aug 21 2013 00:04:09 on localhost [Seed = 1781269591] Type ? for help. Type -D to quit. Loading file "K13n1964__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1964 geometric_solution 10.99258912 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 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 1 0 -1 1 0 -1 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.242162352256 1.020220030806 0 4 6 5 0132 0132 0132 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 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 1.754613168446 1.081343246686 0 0 4 7 2031 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 -1 1 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.779750594972 0.927901685333 8 9 0 4 0132 0132 0132 1230 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.447711296210 2.062546967844 3 1 10 2 3012 0132 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 0 1 -1 1 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.790636806726 0.297869195881 8 10 1 8 2103 0132 0132 2031 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 -1 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.223465891836 0.657099432909 8 11 12 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.190469630434 0.487068618418 9 11 2 12 2031 0321 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 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.499143281387 1.255567374841 3 5 5 6 0132 1302 2103 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.016286103083 0.861467396591 10 3 7 11 2103 0132 1302 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 0 0 0 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.798629436585 0.653732882237 12 5 9 4 0321 0132 2103 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 1 -1 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.775781620275 0.423259224280 12 6 9 7 2310 0132 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 0 0 0 0 0 0 0 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.144821689162 0.635037689704 10 7 11 6 0321 0321 3201 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 1.653620599091 1.944819728451 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_7'], 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : d['c_1001_6'], 'c_1010_11' : d['c_1001_6'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : 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' : negation(d['c_0011_7']), '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' : negation(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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_6'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_11'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_11']), 's_1_7' : 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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_11']), '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_11' : negation(d['c_0011_7']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_12']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : d['c_0011_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0011_12']), 'c_1100_8' : d['c_0011_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_12, c_0011_3, c_0011_7, c_0101_1, c_0101_11, c_0101_2, c_0101_7, c_1001_1, c_1001_4, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 91596117112428386300916756944770912852962652979487697/5171761365194\ 089775387620243834575214747660904679865891*c_1001_6^18 - 390652826252226556023839131749991820814676552696263625/103435227303\ 88179550775240487669150429495321809359731782*c_1001_6^17 - 2093975420281234138255155356607499611671915149353443707/20687045460\ 776359101550480975338300858990643618719463564*c_1001_6^16 + 21661725512291252709300712210530363974619986123309920917/4137409092\ 1552718203100961950676601717981287237438927128*c_1001_6^15 - 81209264177993782381567254276748658885217988172764149993/4137409092\ 1552718203100961950676601717981287237438927128*c_1001_6^14 - 512932456791259427438065572747425839110570160731346918/470160124108\ 553615944329113075870474067969173152715081*c_1001_6^13 + 44886732630873772787311520004863965253001991308144750075/3182622378\ 580978323315458611590507824460099018264532856*c_1001_6^12 - 1726163089108373391066463647869275724144959484238100094135/41374090\ 921552718203100961950676601717981287237438927128*c_1001_6^11 + 1049257851171089802680018993515826098288329204108647979971/41374090\ 921552718203100961950676601717981287237438927128*c_1001_6^10 + 3616810924823253196716518238349675548564730633206406217/36166163392\ 965662764948393313528498005228397934824237*c_1001_6^9 - 6051455090784108898720902860485975917613666475396087243807/20687045\ 460776359101550480975338300858990643618719463564*c_1001_6^8 + 1429556279239710682070320825573325431118130342242397864722/51717613\ 65194089775387620243834575214747660904679865891*c_1001_6^7 + 600282407088881324049533909302705991943722225554928832361/318262237\ 8580978323315458611590507824460099018264532856*c_1001_6^6 - 223044574812206425915854159586207520010255595553702114966/272197966\ 589162619757243170728135537618297942351571889*c_1001_6^5 + 22218717548074783759621298628104315282837899043889310788675/2068704\ 5460776359101550480975338300858990643618719463564*c_1001_6^4 - 31913899432633475780581036699455510989456176311828763008221/4137409\ 0921552718203100961950676601717981287237438927128*c_1001_6^3 + 12075194031476591304897685631139401784869892135063343791775/4137409\ 0921552718203100961950676601717981287237438927128*c_1001_6^2 - 2175169070787634454809499700871046153086757197245317895063/41374090\ 921552718203100961950676601717981287237438927128*c_1001_6 + 190068510816351005125018336738061532480097240764883581767/413740909\ 21552718203100961950676601717981287237438927128, c_0011_0 - 1, c_0011_10 - 33380781976507520830772356649322910375867867/19361352040567\ 145308227677311290973855776833098*c_1001_6^18 - 33585016241023064778275283184140400675194505/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 - 88659468819602629088507696055690588275911697/7744540816226858123291\ 0709245163895423107332392*c_1001_6^16 - 478465705980889146653183544319660173293182192/968067602028357265411\ 3838655645486927888416549*c_1001_6^15 - 1046218544834425352678438435535385724787550957/77445408162268581232\ 910709245163895423107332392*c_1001_6^14 + 11226405117728819359253779011463166299972381439/7744540816226858123\ 2910709245163895423107332392*c_1001_6^13 - 29503535279149924884981001360046082850637790793/3872270408113429061\ 6455354622581947711553666196*c_1001_6^12 + 11353833512387097566900258731461759029156360097/1936135204056714530\ 8227677311290973855776833098*c_1001_6^11 + 115341328003157376606295550721879604947741125961/774454081622685812\ 32910709245163895423107332392*c_1001_6^10 - 189954074233979089166463062887718479526542093755/387227040811342906\ 16455354622581947711553666196*c_1001_6^9 + 47747354471829400017545956593885779303421160133/9680676020283572654\ 113838655645486927888416549*c_1001_6^8 + 300100552209974547265823944049219580048406710979/774454081622685812\ 32910709245163895423107332392*c_1001_6^7 - 1033931826206727501769499041949200627058738174045/77445408162268581\ 232910709245163895423107332392*c_1001_6^6 + 305522553432516215552733513947454338157913888931/193613520405671453\ 08227677311290973855776833098*c_1001_6^5 - 687344610503375203363375043228119367596408135415/774454081622685812\ 32910709245163895423107332392*c_1001_6^4 + 42253121525635802281798913521474922795923703809/1936135204056714530\ 8227677311290973855776833098*c_1001_6^3 - 73558071705924067836337419101767938036488832465/3872270408113429061\ 6455354622581947711553666196*c_1001_6^2 + 12434960594000192912847571132364995398888277514/9680676020283572654\ 113838655645486927888416549*c_1001_6 - 87885802253813432377398498620479847464671031895/7744540816226858123\ 2910709245163895423107332392, c_0011_11 - 3272503507828460660972745349723244109890837/193613520405671\ 45308227677311290973855776833098*c_1001_6^18 - 3006580801593621019400619545258295043122390/96806760202835726541138\ 38655645486927888416549*c_1001_6^17 - 11160173613594221541411325936280106966884983/7744540816226858123291\ 0709245163895423107332392*c_1001_6^16 - 187744512787790265401689367202154437111280337/387227040811342906164\ 55354622581947711553666196*c_1001_6^15 + 666589542090074409676291903456074057704407/774454081622685812329107\ 09245163895423107332392*c_1001_6^14 + 1021221017965499404370029900318717429157462837/77445408162268581232\ 910709245163895423107332392*c_1001_6^13 - 1344367215931454018506126293474438670565952217/19361352040567145308\ 227677311290973855776833098*c_1001_6^12 + 3625596075177896249659006538664354347819337351/38722704081134290616\ 455354622581947711553666196*c_1001_6^11 + 8907024767998412801935081026883933460594663693/77445408162268581232\ 910709245163895423107332392*c_1001_6^10 - 13980794386427598986629671851750993976057454295/3872270408113429061\ 6455354622581947711553666196*c_1001_6^9 + 6772330013505241044422419380927517540386769685/96806760202835726541\ 13838655645486927888416549*c_1001_6^8 + 856571379128295833033341849312202699907025837/774454081622685812329\ 10709245163895423107332392*c_1001_6^7 - 48316130489264151058772497077247888619134653877/7744540816226858123\ 2910709245163895423107332392*c_1001_6^6 + 34847757788754626254359704080197567229091720581/1936135204056714530\ 8227677311290973855776833098*c_1001_6^5 - 191179813994293298010861956021486641644004354417/774454081622685812\ 32910709245163895423107332392*c_1001_6^4 + 72160252336156215598122206777839771414588139003/3872270408113429061\ 6455354622581947711553666196*c_1001_6^3 - 15816344124507187477471506710843783467371824191/9680676020283572654\ 113838655645486927888416549*c_1001_6^2 + 19564127418274438020402808398042977804062561339/3872270408113429061\ 6455354622581947711553666196*c_1001_6 - 17885725432469544144462314297721866662084357335/7744540816226858123\ 2910709245163895423107332392, c_0011_12 + 10452886520400887146499791864913074952003139/19361352040567\ 145308227677311290973855776833098*c_1001_6^18 + 14274963658733779565036180139515895542697211/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 + 130589154920979878082101977255831366018423193/774454081622685812329\ 10709245163895423107332392*c_1001_6^16 + 333071930938779934406204615838583445584805435/193613520405671453082\ 27677311290973855776833098*c_1001_6^15 + 1317430425750923316829226535083052370374553705/77445408162268581232\ 910709245163895423107332392*c_1001_6^14 - 1914665429462755734588481590830970977768877719/77445408162268581232\ 910709245163895423107332392*c_1001_6^13 + 8593955985451715502928660036701202721273181931/38722704081134290616\ 455354622581947711553666196*c_1001_6^12 - 409358325665711101888726710516378215763909616/968067602028357265411\ 3838655645486927888416549*c_1001_6^11 - 28916231955828300304912424923726204497213671757/7744540816226858123\ 2910709245163895423107332392*c_1001_6^10 + 43401266030058503692149759250623991614452144731/3872270408113429061\ 6455354622581947711553666196*c_1001_6^9 - 8687366332564799873590276238808365682293203640/96806760202835726541\ 13838655645486927888416549*c_1001_6^8 - 77670523314048196827460040515533539071755683667/7744540816226858123\ 2910709245163895423107332392*c_1001_6^7 + 172318327741257511802419809361953109037531976209/774454081622685812\ 32910709245163895423107332392*c_1001_6^6 - 67974621351715323947423926675905837683789361969/1936135204056714530\ 8227677311290973855776833098*c_1001_6^5 + 236288549907262280120666516946271690961422814087/774454081622685812\ 32910709245163895423107332392*c_1001_6^4 - 21307652931707724242534790588936314771425422909/9680676020283572654\ 113838655645486927888416549*c_1001_6^3 + 48891366548627931792587910875395771037877134083/3872270408113429061\ 6455354622581947711553666196*c_1001_6^2 + 27855886712240544370216142215972373913974542719/1936135204056714530\ 8227677311290973855776833098*c_1001_6 + 15843355725718214751393014871045503137048517411/7744540816226858123\ 2910709245163895423107332392, c_0011_3 - 24669735562844502678223780185179213094677307/193613520405671\ 45308227677311290973855776833098*c_1001_6^18 - 21905101926639023426515392871838781473738361/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 - 7975931507736692387157397430666697466714401/77445408162268581232910\ 709245163895423107332392*c_1001_6^16 - 344347791487601253142656569949074060566900740/968067602028357265411\ 3838655645486927888416549*c_1001_6^15 + 70671133229058905915547662299980424011471471/7744540816226858123291\ 0709245163895423107332392*c_1001_6^14 + 9117675795904482901625426410569674888786857671/77445408162268581232\ 910709245163895423107332392*c_1001_6^13 - 22042055019069637625600438868487503858326970705/3872270408113429061\ 6455354622581947711553666196*c_1001_6^12 + 5731168693870169999230070486222233691920512115/96806760202835726541\ 13838655645486927888416549*c_1001_6^11 + 82144607904095138068061623439463991875734654553/7744540816226858123\ 2910709245163895423107332392*c_1001_6^10 - 147717324755023936037335753848525915708425922453/387227040811342906\ 16455354622581947711553666196*c_1001_6^9 + 88002351306928864731846487044154482317821678633/1936135204056714530\ 8227677311290973855776833098*c_1001_6^8 + 162988147997168279707097244590681083061933931751/774454081622685812\ 32910709245163895423107332392*c_1001_6^7 - 828235095078653746290954510610357164286948404185/774454081622685812\ 32910709245163895423107332392*c_1001_6^6 + 269892383101149929823683978032005663890650587205/193613520405671453\ 08227677311290973855776833098*c_1001_6^5 - 708017465371855059497845993955098590578874112751/774454081622685812\ 32910709245163895423107332392*c_1001_6^4 + 47416918180195276475684826617709220077487205515/1936135204056714530\ 8227677311290973855776833098*c_1001_6^3 - 59665219175377652942016343239869134301759943775/3872270408113429061\ 6455354622581947711553666196*c_1001_6^2 + 16506516908319603376032295309177787141728689649/9680676020283572654\ 113838655645486927888416549*c_1001_6 - 45335655801960102661616889916150578183840042963/7744540816226858123\ 2910709245163895423107332392, c_0011_7 + 3590191506286213242763523257594915421056151/9680676020283572\ 654113838655645486927888416549*c_1001_6^18 + 11268382857140158545635560594257600499574821/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 + 59714490653692828270345325659775629525769105/3872270408113429061645\ 5354622581947711553666196*c_1001_6^16 + 478399349089769603410719864475012454058330533/387227040811342906164\ 55354622581947711553666196*c_1001_6^15 + 164762126911626673904862853373313555554032264/968067602028357265411\ 3838655645486927888416549*c_1001_6^14 - 446722205748628165109225845256126774305707441/387227040811342906164\ 55354622581947711553666196*c_1001_6^13 + 5905221553588807465916407449752325380141277497/38722704081134290616\ 455354622581947711553666196*c_1001_6^12 + 1988162772515051842104099696598841484763698887/38722704081134290616\ 455354622581947711553666196*c_1001_6^11 - 2501150898478735937872167987105283879577376008/96806760202835726541\ 13838655645486927888416549*c_1001_6^10 + 7355117910907726176380021849718249409598672609/96806760202835726541\ 13838655645486927888416549*c_1001_6^9 - 1915036319059558829167856857880848141906433955/96806760202835726541\ 13838655645486927888416549*c_1001_6^8 - 38406975967459950497213349333110668185924328915/3872270408113429061\ 6455354622581947711553666196*c_1001_6^7 + 31000549312998340185911828071176305104599330583/1936135204056714530\ 8227677311290973855776833098*c_1001_6^6 - 16563431781480348846532111297854135227348820694/9680676020283572654\ 113838655645486927888416549*c_1001_6^5 + 22554367956484491054902280462392524658709229835/3872270408113429061\ 6455354622581947711553666196*c_1001_6^4 - 13070359390674681372016955577905487671113552633/3872270408113429061\ 6455354622581947711553666196*c_1001_6^3 - 14374009949400818117298115967979362831610162681/3872270408113429061\ 6455354622581947711553666196*c_1001_6^2 + 36553196761621236144379738207405777920457980581/3872270408113429061\ 6455354622581947711553666196*c_1001_6 - 510592426687832348267324856669090881258959981/193613520405671453082\ 27677311290973855776833098, c_0101_1 + 60696047554770140816096674131357848922040905/193613520405671\ 45308227677311290973855776833098*c_1001_6^18 + 52996840686421488275856566554346823472978887/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 + 10134236934488272629827146621212147785042203/7744540816226858123291\ 0709245163895423107332392*c_1001_6^16 + 864844891991554708146936602071562312905725063/968067602028357265411\ 3838655645486927888416549*c_1001_6^15 + 144584436515548519000367672380195855133394255/774454081622685812329\ 10709245163895423107332392*c_1001_6^14 - 21479056691077867125159814445636965672929705701/7744540816226858123\ 2910709245163895423107332392*c_1001_6^13 + 56903169179179944605617875067840921213684606071/3872270408113429061\ 6455354622581947711553666196*c_1001_6^12 - 27051107486043849448320016932481631175172669891/1936135204056714530\ 8227677311290973855776833098*c_1001_6^11 - 200194686237001174754703226110358096628636887171/774454081622685812\ 32910709245163895423107332392*c_1001_6^10 + 386780964688920490755096898680515879747832102917/387227040811342906\ 16455354622581947711553666196*c_1001_6^9 - 107253950945228168416104567122370017810581865163/968067602028357265\ 4113838655645486927888416549*c_1001_6^8 - 462943460888312517775036895752154070802148252905/774454081622685812\ 32910709245163895423107332392*c_1001_6^7 + 2190528303044475691892242643737166160894519931679/77445408162268581\ 232910709245163895423107332392*c_1001_6^6 - 674890565346591657671732228392872800948333770155/193613520405671453\ 08227677311290973855776833098*c_1001_6^5 + 1511126491774630790291048127181441366320650004237/77445408162268581\ 232910709245163895423107332392*c_1001_6^4 - 60139931348944367891635298000414878396385566079/1936135204056714530\ 8227677311290973855776833098*c_1001_6^3 + 38691644246137939121246801031294717631076181947/3872270408113429061\ 6455354622581947711553666196*c_1001_6^2 - 23379862799520808524926362195633952990315617251/9680676020283572654\ 113838655645486927888416549*c_1001_6 + 103944746579842166993995943648136138223617967157/774454081622685812\ 32910709245163895423107332392, c_0101_11 + 5840589149218168483809401788108718503192141/193613520405671\ 45308227677311290973855776833098*c_1001_6^18 + 21416946346740375464572219429398126144502172/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 + 265769399607999272002741526052508252968304943/774454081622685812329\ 10709245163895423107332392*c_1001_6^16 + 365253958592309612772048393806439172199644067/387227040811342906164\ 55354622581947711553666196*c_1001_6^15 + 3678275286469551668165447286910898279590060565/77445408162268581232\ 910709245163895423107332392*c_1001_6^14 - 1107742894349960058163257004532944529073732349/77445408162268581232\ 910709245163895423107332392*c_1001_6^13 - 119694423554509192154067252764628122482541560/968067602028357265411\ 3838655645486927888416549*c_1001_6^12 + 22968953200616931649565625602175860057215911095/3872270408113429061\ 6455354622581947711553666196*c_1001_6^11 - 62092624917452811711785948064049137826903579521/7744540816226858123\ 2910709245163895423107332392*c_1001_6^10 - 24934593512059759978174162107479065732934673753/3872270408113429061\ 6455354622581947711553666196*c_1001_6^9 + 36185020628192459157233913351359960997571806604/9680676020283572654\ 113838655645486927888416549*c_1001_6^8 - 390274877344787843083175356007181520296486063357/774454081622685812\ 32910709245163895423107332392*c_1001_6^7 - 139340344630595928154513073502533125981309843151/774454081622685812\ 32910709245163895423107332392*c_1001_6^6 + 199455728544126523547190661050236351797050346141/193613520405671453\ 08227677311290973855776833098*c_1001_6^5 - 938248275179522114743106694141738373489288655535/774454081622685812\ 32910709245163895423107332392*c_1001_6^4 + 248115366252212322573871474166552121769772132691/387227040811342906\ 16455354622581947711553666196*c_1001_6^3 - 6022557031952153197462649342241365541390825551/19361352040567145308\ 227677311290973855776833098*c_1001_6^2 + 53609046514534489169153542728208075851043912799/3872270408113429061\ 6455354622581947711553666196*c_1001_6 - 80071954275718515177761917630441996996546399021/7744540816226858123\ 2910709245163895423107332392, c_0101_2 - 25745537789002925444094156061450881181522549/968067602028357\ 2654113838655645486927888416549*c_1001_6^18 - 32476296811249932422587927035357372533748844/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 + 81796159582929152744262342783968208376137177/3872270408113429061645\ 5354622581947711553666196*c_1001_6^16 - 1463318305054712976292223085903828588589052489/19361352040567145308\ 227677311290973855776833098*c_1001_6^15 + 1379946978517540256355565563223529484828716507/38722704081134290616\ 455354622581947711553666196*c_1001_6^14 + 9146456661905793720316407157042314098547179497/38722704081134290616\ 455354622581947711553666196*c_1001_6^13 - 13083199794877331113460694204110329299858421227/9680676020283572654\ 113838655645486927888416549*c_1001_6^12 + 34897290574224471833211310956889046125137832539/1936135204056714530\ 8227677311290973855776833098*c_1001_6^11 + 62600263098757659838072832289891608120736216017/3872270408113429061\ 6455354622581947711553666196*c_1001_6^10 - 181540266779423809243280910158539163219886420271/193613520405671453\ 08227677311290973855776833098*c_1001_6^9 + 130675611545242841915120938713130896194092247703/968067602028357265\ 4113838655645486927888416549*c_1001_6^8 + 16422275920649366139429096297627373091935072293/3872270408113429061\ 6455354622581947711553666196*c_1001_6^7 - 988129074886208789193709911307220411597753174553/387227040811342906\ 16455354622581947711553666196*c_1001_6^6 + 390293297556500809002317901070942843128519171391/968067602028357265\ 4113838655645486927888416549*c_1001_6^5 - 1205492444546515236041743310631082427324829079189/38722704081134290\ 616455354622581947711553666196*c_1001_6^4 + 247471981416742076207971374907238064147002369785/193613520405671453\ 08227677311290973855776833098*c_1001_6^3 - 57420264914511128348834212623063170367240243381/9680676020283572654\ 113838655645486927888416549*c_1001_6^2 + 93840633916777886032193835743666708305166118477/1936135204056714530\ 8227677311290973855776833098*c_1001_6 - 97009371958009829915612936099799128382027348747/3872270408113429061\ 6455354622581947711553666196, c_0101_7 - 11713598653073210131950185271376280259743137/193613520405671\ 45308227677311290973855776833098*c_1001_6^18 - 30270872588987259493908994178914797599246833/9680676020283572654113\ 838655645486927888416549*c_1001_6^17 - 390509778016024427549453924358050777397292883/774454081622685812329\ 10709245163895423107332392*c_1001_6^16 - 405281131597756601446385138578546137870844701/193613520405671453082\ 27677311290973855776833098*c_1001_6^15 - 4828537574121370037394787011214593834419023843/77445408162268581232\ 910709245163895423107332392*c_1001_6^14 + 802031652183196960092405566235628799218182501/774454081622685812329\ 10709245163895423107332392*c_1001_6^13 - 5195917523000653490935811557874540373178996037/38722704081134290616\ 455354622581947711553666196*c_1001_6^12 - 5807780923920856194200420999477072932703472667/96806760202835726541\ 13838655645486927888416549*c_1001_6^11 + 66735009412824003321520615810982830272828100959/7744540816226858123\ 2910709245163895423107332392*c_1001_6^10 - 1475396078781957275808151394028784749086793349/38722704081134290616\ 455354622581947711553666196*c_1001_6^9 - 30399561817362983981268053756851286325796683680/9680676020283572654\ 113838655645486927888416549*c_1001_6^8 + 397105986778138443127958868735667487359049484825/774454081622685812\ 32910709245163895423107332392*c_1001_6^7 + 51867486858292885968538321847210255662352433565/7744540816226858123\ 2910709245163895423107332392*c_1001_6^6 - 147879060048654216195944198315106205246033394511/193613520405671453\ 08227677311290973855776833098*c_1001_6^5 + 780456445339836048062341369779177491566917232619/774454081622685812\ 32910709245163895423107332392*c_1001_6^4 - 43717124560096103560694652101195510083018827800/9680676020283572654\ 113838655645486927888416549*c_1001_6^3 - 35584993711973720196835536254637177201221377421/3872270408113429061\ 6455354622581947711553666196*c_1001_6^2 - 11378251087833293085061577892055459344982051003/1936135204056714530\ 8227677311290973855776833098*c_1001_6 + 44101434181669581995436992366073176132920667367/7744540816226858123\ 2910709245163895423107332392, c_1001_1 - 11359657122664543851953939380753683555227969/193613520405671\ 45308227677311290973855776833098*c_1001_6^18 + 3648628660011557252188555726072691417730787/96806760202835726541138\ 38655645486927888416549*c_1001_6^17 + 145574720523039188892202682925265915055493469/774454081622685812329\ 10709245163895423107332392*c_1001_6^16 - 356133359258081016207754449986326787709799951/193613520405671453082\ 27677311290973855776833098*c_1001_6^15 + 2931390519758738378647388705798662255809471241/77445408162268581232\ 910709245163895423107332392*c_1001_6^14 + 2902620318619586095000713833670123902166364277/77445408162268581232\ 910709245163895423107332392*c_1001_6^13 - 16218665750717388525940379509540897350127153241/3872270408113429061\ 6455354622581947711553666196*c_1001_6^12 + 18554272201460618019226101872332345618846534797/1936135204056714530\ 8227677311290973855776833098*c_1001_6^11 - 23628481494849564999759500622419478353677339961/7744540816226858123\ 2910709245163895423107332392*c_1001_6^10 - 119642182073542239371781483484763648968576755759/387227040811342906\ 16455354622581947711553666196*c_1001_6^9 + 137250661039108434917173481903978291304965974741/193613520405671453\ 08227677311290973855776833098*c_1001_6^8 - 351550457645466727006727639795610655064880049155/774454081622685812\ 32910709245163895423107332392*c_1001_6^7 - 623091336812856844769955268192585180116565868567/774454081622685812\ 32910709245163895423107332392*c_1001_6^6 + 403600549379351823116693995146853235513529113063/193613520405671453\ 08227677311290973855776833098*c_1001_6^5 - 1574073021749204234845324702884893587729650206253/77445408162268581\ 232910709245163895423107332392*c_1001_6^4 + 95477430085799771871252677774773767096180830326/9680676020283572654\ 113838655645486927888416549*c_1001_6^3 - 100436912829421087871322540860175466040990434839/387227040811342906\ 16455354622581947711553666196*c_1001_6^2 + 47910349824263724464849429285711728486507370071/1936135204056714530\ 8227677311290973855776833098*c_1001_6 - 177558657135323487047098776461333338298412202717/774454081622685812\ 32910709245163895423107332392, c_1001_4 + 10738829739716027583259558551687145187420263/968067602028357\ 2654113838655645486927888416549*c_1001_6^18 + 2567403926015812110499597352966365554018581/96806760202835726541138\ 38655645486927888416549*c_1001_6^17 - 181333237214544849435124256208103006236346719/387227040811342906164\ 55354622581947711553666196*c_1001_6^16 + 1025894983073942866696901102167489034672070565/38722704081134290616\ 455354622581947711553666196*c_1001_6^15 - 503402631338071072288489204521957710120960294/968067602028357265411\ 3838655645486927888416549*c_1001_6^14 - 5964602396494133824393805744803149860203219365/38722704081134290616\ 455354622581947711553666196*c_1001_6^13 + 23774509712496754503325933601081932089013420905/3872270408113429061\ 6455354622581947711553666196*c_1001_6^12 - 44899727371580415322764370804786926102324116317/3872270408113429061\ 6455354622581947711553666196*c_1001_6^11 - 8290605464715653641933700882788386353573407102/96806760202835726541\ 13838655645486927888416549*c_1001_6^10 + 48616472601639751221804808021494083306540341589/9680676020283572654\ 113838655645486927888416549*c_1001_6^9 - 73348933889015210574504712915214709950958879666/9680676020283572654\ 113838655645486927888416549*c_1001_6^8 - 1491880478093201615086878222566457312160965115/38722704081134290616\ 455354622581947711553666196*c_1001_6^7 + 298895246326978346682234609183532009647689453117/193613520405671453\ 08227677311290973855776833098*c_1001_6^6 - 210404261661114998364560092029468842838277340782/968067602028357265\ 4113838655645486927888416549*c_1001_6^5 + 586177081860710751660662864584935561105559737679/387227040811342906\ 16455354622581947711553666196*c_1001_6^4 - 103665453513001284735211666736775334375802970813/387227040811342906\ 16455354622581947711553666196*c_1001_6^3 - 9865453603807296149985936858857991163799817433/38722704081134290616\ 455354622581947711553666196*c_1001_6^2 - 129326146005413785108437546813555195470975501423/387227040811342906\ 16455354622581947711553666196*c_1001_6 + 13821171912756102989186104461176819315846702081/1936135204056714530\ 8227677311290973855776833098, c_1001_6^19 + c_1001_6^18 - 5/4*c_1001_6^17 + 113/4*c_1001_6^16 - 85/4*c_1001_6^15 - 89*c_1001_6^14 + 2111/4*c_1001_6^13 - 1603/2*c_1001_6^12 - 1875/4*c_1001_6^11 + 14797/4*c_1001_6^10 - 11757/2*c_1001_6^9 + 3999/4*c_1001_6^8 + 9825*c_1001_6^7 - 69635/4*c_1001_6^6 + 61393/4*c_1001_6^5 - 29285/4*c_1001_6^4 + 5327/2*c_1001_6^3 - 3701/2*c_1001_6^2 + 4577/4*c_1001_6 - 1957/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.850 Total time: 5.059 seconds, Total memory usage: 64.12MB