Magma V2.19-8 Tue Aug 20 2013 16:17:53 on localhost [Seed = 3549581103] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2114 geometric_solution 5.61282749 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601604044156 0.175926485100 2 0 2 0 0132 2310 1023 0132 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 1 -1 -1 0 1 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.867119765919 0.271863120751 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 -1 0 1 0 -1 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 1.247684963620 0.529541690633 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 -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.526779545706 0.538145125054 5 6 2 3 3201 0132 0132 3120 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 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.526779545706 0.538145125054 5 5 3 4 1302 2031 0132 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 -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.596761486078 0.905033196087 6 4 6 3 2031 0132 1302 0132 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560109430193 1.485232624244 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : 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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 5810683729862034995431210532509148045612393949643726116589017350309\ 216042846374361918875639338551311727944096671718772951/707912793755\ 6716081387649666274626610991310979935336704434401837804257546749700\ 5707003667357365353923440346605819908215516*c_1001_3^26 + 4787291177726922064197512700452345682520587174274871098059671615121\ 48058731866729308755474201233044173020502834171108691/8427533258996\ 0905730805353169936031083229892618277817909933355211955446985115482\ 9845281754254349451469527935783570335899*c_1001_3^25 + 5185503598608032439765487822055334976490170756787351335209670357259\ 3859861313831938552031028432594303860291068308776410215/10113039910\ 7953086876966423803923237299875871141933381491920026254346536382138\ 57958143381051052193417634335229402844030788*c_1001_3^24 + 1819287417267975588796458647120797541466229223778764082269224528535\ 09272309228647099022897443836799269968443107758355465747/1011303991\ 0795308687696642380392323729987587114193338149192002625434653638213\ 857958143381051052193417634335229402844030788*c_1001_3^23 + 5946483394193062881020393399138857851026535743984503586058470651219\ 392253390728620474534082016768368592013255611217887175119/353956396\ 8778358040693824833137313305495655489967668352217200918902128773374\ 8502853501833678682676961720173302909954107758*c_1001_3^22 + 1793611264781977800923292393165725630823555209506191084623584608552\ 8330062269533985787456236218991736505394300983958947365627/35395639\ 6877835804069382483313731330549565548996766835221720091890212877337\ 48502853501833678682676961720173302909954107758*c_1001_3^21 + 3587784905345527189755765835380185188380148363592755189351845808792\ 292297633326247642060157694837999390341149858958748375432/589927328\ 1297263401156374721895522175826092483279447253695334864836881288958\ 083808916972279780446160286695550484992351293*c_1001_3^20 + 4900259238179170406177632637078702476596476321434688082708880621980\ 7374435769229572670008564389865779200333396652298859976528/58992732\ 8129726340115637472189552217582609248327944725369533486483688128895\ 8083808916972279780446160286695550484992351293*c_1001_3^19 + 7081629897369858808528711758615028018895733287693584012154382109045\ 52225157837958157988414882732430129918004394567007524524029/7079127\ 9375567160813876496662746266109913109799353367044344018378042575467\ 497005707003667357365353923440346605819908215516*c_1001_3^18 - 3858938680668335009558405509555799929378076987615973106812083123829\ 828366440081265707368365851309814484546562157790982722580125/707912\ 7937556716081387649666274626610991310979935336704434401837804257546\ 7497005707003667357365353923440346605819908215516*c_1001_3^17 + 3351811018719115192508415759718223412026734029242599506720863860328\ 71763919145413896260786209795212147460755077372093922201521/5899273\ 2812972634011563747218955221758260924832794472536953348648368812889\ 58083808916972279780446160286695550484992351293*c_1001_3^16 + 7066294058305515172404235243206684612417922477046074492064832499798\ 993042384422929606739667852706940734567165470733681778530683/235970\ 9312518905360462549888758208870330436993311778901478133945934752515\ 5832335235667889119121784641146782201939969405172*c_1001_3^15 - 1910317637564831178695308463412564944597422148748011367718628443632\ 669365830202606037347215395893554167810009364873737816893165/252825\ 9977698827171924160595098080932496896778548334537298000656358663409\ 553464489535845262763048354408583807350711007697*c_1001_3^14 - 8398666854429110529745409694306156485170407177002172293244712223887\ 2589251352335875737192143821040532403006335721421830679605389/70791\ 2793755671608138764966627462661099131097993533670443440183780425754\ 67497005707003667357365353923440346605819908215516*c_1001_3^13 + 2482968170144776377370904749382343460547965103714594114686945256707\ 5011807699393606137089377192142484270756561584385421816317305/11798\ 5465625945268023127494437910443516521849665588945073906697296737625\ 77916167617833944559560892320573391100969984702586*c_1001_3^12 + 1160024904496209729601387541314668579381629924821915826095272787097\ 22912408029628782537762659700330877245782670841991268379656233/7079\ 1279375567160813876496662746266109913109799353367044344018378042575\ 467497005707003667357365353923440346605819908215516*c_1001_3^11 - 9974905827823794252456019972764770748254491181250594524498103091236\ 8439254375876780538168104224289102708922213692656568227947131/35395\ 6396877835804069382483313731330549565548996766835221720091890212877\ 33748502853501833678682676961720173302909954107758*c_1001_3^10 - 3764117755933578958212348327081141127822743344281940501215601934379\ 1624900638314177581282354082781014079310981474154376714037021/70791\ 2793755671608138764966627462661099131097993533670443440183780425754\ 67497005707003667357365353923440346605819908215516*c_1001_3^9 + 5882687560611223826087458735700150467370992652298565699444180473335\ 6473175548878520595279413471716605692895708329783942269619445/35395\ 6396877835804069382483313731330549565548996766835221720091890212877\ 33748502853501833678682676961720173302909954107758*c_1001_3^8 - 2743688444069962046509881234180570919531853436809231000720734746949\ 6278904506274358990644214462575461064705083976203581899386/12039333\ 2271372722472579075957051472976042703740396882728476221731364924264\ 450689977897393464907064495646847969081476557*c_1001_3^7 - 3589159483008720740855078299040256941161476023610566504529057418955\ 668473638073011742872107200931288147841962789711238578372006/176978\ 1984389179020346912416568656652747827744983834176108600459451064386\ 6874251426750916839341338480860086651454977053879*c_1001_3^6 + 5802676218858571581277671129660524527313736200858580744039842590210\ 107648603059697481051351693976954586801805184979481428656255/353956\ 3968778358040693824833137313305495655489967668352217200918902128773\ 3748502853501833678682676961720173302909954107758*c_1001_3^5 - 9577451388404318085334570006424250338798061325476377625564356333960\ 488724958669915534765696186751477019299992415098310849541285/707912\ 7937556716081387649666274626610991310979935336704434401837804257546\ 7497005707003667357365353923440346605819908215516*c_1001_3^4 - 1292517798963640635470907394462082619590724484078327423937289606568\ 625253439804608955779897506101365148999145655424357416525543/235970\ 9312518905360462549888758208870330436993311778901478133945934752515\ 5832335235667889119121784641146782201939969405172*c_1001_3^3 + 1794335994845376325809153692916592633871936733504803977158451778934\ 193191980003813002100806019017670939161020967553993966395925/707912\ 7937556716081387649666274626610991310979935336704434401837804257546\ 7497005707003667357365353923440346605819908215516*c_1001_3^2 + 2581998813595894607908433224412308584155627478443049979694994022245\ 65487101783772314932677777045406001154768048218346522625703/7079127\ 9375567160813876496662746266109913109799353367044344018378042575467\ 497005707003667357365353923440346605819908215516*c_1001_3 - 3200491800136397315294285038611910229424247845195189166823256504351\ 546920253055542296934594203735111135746232222126112962287/337101330\ 3598436229232214126797441243329195704731112716397334208478217879404\ 619319381127017017397805878111743134281343596, c_0011_0 - 1, c_0011_1 - 394323996539348782431168074089307065376748176701383223679289\ 69440879634031614176885852094805226483882393110829/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^26 - 1304042015103589783661411941258375115923908990404871154269368017794\ 69800545167474745485138065551263113261456407/2289958949097379477532\ 8905191980415006917372172299830569502148235761843303058936418335787\ 3386991332283355979889626*c_1001_3^25 - 2384545910700124795841047453777415620605329602049958258793819822585\ 652612444767610748677613924812151619114197697/457991789819475895506\ 5781038396083001383474434459966113900429647152368660611787283667157\ 46773982664566711959779252*c_1001_3^24 - 7918445976515396419343410219954879617957251592202372428831828570917\ 591234019181135564525098495099340977558841271/457991789819475895506\ 5781038396083001383474434459966113900429647152368660611787283667157\ 46773982664566711959779252*c_1001_3^23 - 1958690993549080201096533750324763762213394649235617217439624533407\ 2143739503484590229957747385599905077535589105/11449794745486897387\ 6644525959902075034586860861499152847510741178809216515294682091678\ 936693495666141677989944813*c_1001_3^22 - 5490257490519690518207521126475062140405241971086959231763505929322\ 6972537450946546775590245467742041585657088142/11449794745486897387\ 6644525959902075034586860861499152847510741178809216515294682091678\ 936693495666141677989944813*c_1001_3^21 - 1135266624737374158039538969065255584317369161642328629942325837948\ 41408787092908545513313107249103968549893702253/2289958949097379477\ 5328905191980415006917372172299830569502148235761843303058936418335\ 7873386991332283355979889626*c_1001_3^20 - 1962926214809431392147248581879885830120120453904823907165139218896\ 478445600218238811553399212337837039625273918057/228995894909737947\ 7532890519198041500691737217229983056950214823576184330305893641833\ 57873386991332283355979889626*c_1001_3^19 - 3604088995352200408666451585008548822807409070919745303918268544821\ 875884142130671069041835618474252968494840345509/457991789819475895\ 5065781038396083001383474434459966113900429647152368660611787283667\ 15746773982664566711959779252*c_1001_3^18 + 2718005157433360139591234064562794064168940824893408699469369508017\ 8025272510143992949784283956412001250099096564047/45799178981947589\ 5506578103839608300138347443445996611390042964715236866061178728366\ 715746773982664566711959779252*c_1001_3^17 - 1782442093610517374944175833786749128086880748627119169086558428593\ 8675015243952136513089142310884843546958669164597/22899589490973794\ 7753289051919804150069173721722998305695021482357618433030589364183\ 357873386991332283355979889626*c_1001_3^16 - 1319990828728785615401829624773310125168238578645806222620665722723\ 92827894508373524996748873013336345470942698714737/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^15 + 1004666678169235976902677671347783337157617970678215791007785553040\ 03975940456577204327848402915548032575921733531452/1144979474548689\ 7387664452595990207503458686086149915284751074117880921651529468209\ 1678936693495666141677989944813*c_1001_3^14 + 4433967256164521169087953236477372320921650476803511674689528903543\ 95338792111929132474759212966005039256020187684203/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^13 - 2829786136641583748208677269094716626989125086967726472880492734258\ 76195565558712192268803527492877466249477778126999/1144979474548689\ 7387664452595990207503458686086149915284751074117880921651529468209\ 1678936693495666141677989944813*c_1001_3^12 - 4340350624176207974684931785977623397367283093704000164942787283175\ 25196323576391580678776701549957147161663936730649/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^11 + 7210103763337056152282322173920824658242516474468161584201265892042\ 83867481678868977670296591198358948148255535377469/2289958949097379\ 4775328905191980415006917372172299830569502148235761843303058936418\ 3357873386991332283355979889626*c_1001_3^10 - 1824449983691230095736345067652124269453937043773100100727574188219\ 54644293115110389594144738917089814967247230522769/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^9 - 1722003786638172327312024881332879013154999810107888446277721237980\ 99813620923911321802195586990490147364850561895332/1144979474548689\ 7387664452595990207503458686086149915284751074117880921651529468209\ 1678936693495666141677989944813*c_1001_3^8 + 1472678797529559270810187022582721224663887865520496959219031247876\ 81858001841463296991264295067005646810522254087725/2289958949097379\ 4775328905191980415006917372172299830569502148235761843303058936418\ 3357873386991332283355979889626*c_1001_3^7 - 5849196142127748891720310590867035910099105502545585000225665381245\ 956188040973819914640469698417940785565350816033/228995894909737947\ 7532890519198041500691737217229983056950214823576184330305893641833\ 57873386991332283355979889626*c_1001_3^6 - 1455526713523498447922102692389036852305469234946384340313036501932\ 7123772505419421979127136935287041926096321847998/11449794745486897\ 3876644525959902075034586860861499152847510741178809216515294682091\ 678936693495666141677989944813*c_1001_3^5 + 7879555093467492882626584067575870669639074646980412408873599545105\ 5147327357816003611833492913160742464108793015201/45799178981947589\ 5506578103839608300138347443445996611390042964715236866061178728366\ 715746773982664566711959779252*c_1001_3^4 + 1738320278648485156540986177301251716159003139753018436217722916660\ 409017864856197072853262171902525103558656504727/457991789819475895\ 5065781038396083001383474434459966113900429647152368660611787283667\ 15746773982664566711959779252*c_1001_3^3 - 9469530234507429413882785711668158445859062288148221581573195011353\ 350931056238896048404948735287400942137429490241/457991789819475895\ 5065781038396083001383474434459966113900429647152368660611787283667\ 15746773982664566711959779252*c_1001_3^2 + 4528036967493647766838380042503609322124578275756587491849234824854\ 43205627552061380117656451052536335186140354331/4579917898194758955\ 0657810383960830013834744344599661139004296471523686606117872836671\ 5746773982664566711959779252*c_1001_3 - 6568989555318478767937302609554095479558067486403399579605028510002\ 8540448427046149712223118788526686548668351045/45799178981947589550\ 6578103839608300138347443445996611390042964715236866061178728366715\ 746773982664566711959779252, c_0011_4 - 162443351143528994822510388426181819157517473521526690327198\ 0373060923940642036345411722564965702523389382145100499/15534623518\ 8868028996876227041356739323926069342447590617388673201761192599291\ 21287470631414826717999438302963752448588*c_1001_3^26 - 2652677692622044080480661241498338117644399366984015563382163533019\ 847227257025286631436004409572716885815574478149/388365587972170072\ 4921905676033918483098151733561189765434716830044029814982280321867\ 657853706679499859575740938112147*c_1001_3^25 - 9726021058810813052796351084557939119042648803273929881205228793569\ 7920643164155350969865722920661769749575816131397/15534623518886802\ 8996876227041356739323926069342447590617388673201761192599291212874\ 70631414826717999438302963752448588*c_1001_3^24 - 3175624072987973261096918179812531330288555318879808218760058046642\ 34925870844611512390729473152708661030631466746361/1553462351888680\ 2899687622704135673932392606934244759061738867320176119259929121287\ 470631414826717999438302963752448588*c_1001_3^23 - 1597742688765957353448621870449563346456612009882478923703921116871\ 919515491006186540703538534831146500476469411915229/776731175944340\ 1449843811352067836966196303467122379530869433660088059629964560643\ 735315707413358999719151481876224294*c_1001_3^22 - 4382572536036944662173261595888333354563892666693439498868176737418\ 191772663081729569703796540313076995624026756771467/776731175944340\ 1449843811352067836966196303467122379530869433660088059629964560643\ 735315707413358999719151481876224294*c_1001_3^21 - 2109251517910746240870343317720116662888837418686174335057341715279\ 703236925601429370386858576522503752914100853349832/388365587972170\ 0724921905676033918483098151733561189765434716830044029814982280321\ 867657853706679499859575740938112147*c_1001_3^20 - 4012541184753169107219323451644761576433214596523464189253491197361\ 8924929336303576267184656002137850669361985990187074/38836558797217\ 0072492190567603391848309815173356118976543471683004402981498228032\ 1867657853706679499859575740938112147*c_1001_3^19 - 1348130636811636108673065378160204521162655808032443251247107032046\ 00174808769771332065611506789471623820134782848312645/1553462351888\ 6802899687622704135673932392606934244759061738867320176119259929121\ 287470631414826717999438302963752448588*c_1001_3^18 + 1140598772859572699909794106061558500974670523960193271834714421072\ 012413204559629992163359749748105064957363825828239949/155346235188\ 8680289968762270413567393239260693424475906173886732017611925992912\ 1287470631414826717999438302963752448588*c_1001_3^17 - 3886223629683008409634269751544058422347170576093568412314518146149\ 56197374911791828271587206965042078189455433442167985/3883655879721\ 7007249219056760339184830981517335611897654347168300440298149822803\ 21867657853706679499859575740938112147*c_1001_3^16 - 5382335907305729987863978339779793738148667485672343824706406849487\ 796626228311955971730467205949983090500477117871701801/155346235188\ 8680289968762270413567393239260693424475906173886732017611925992912\ 1287470631414826717999438302963752448588*c_1001_3^15 + 4273197565138799447350224523563380767686911465025869638364733841694\ 639784185356339191542167612386326726882968325864964931/388365587972\ 1700724921905676033918483098151733561189765434716830044029814982280\ 321867657853706679499859575740938112147*c_1001_3^14 + 1719407179955794956116358957703709372321752151762621142743439913064\ 7996204727790863667377064404460938694406583984593388973/15534623518\ 8868028996876227041356739323926069342447590617388673201761192599291\ 21287470631414826717999438302963752448588*c_1001_3^13 - 2455498840293503864341206346834988720118347991289314853112673000369\ 5219231568742946629057358916471027153342607531093611327/77673117594\ 4340144984381135206783696619630346712237953086943366008805962996456\ 0643735315707413358999719151481876224294*c_1001_3^12 - 1491542368444713337020599665961906484419817863475703869093566225547\ 4560505270635033051795619240403247824659294756622483365/15534623518\ 8868028996876227041356739323926069342447590617388673201761192599291\ 21287470631414826717999438302963752448588*c_1001_3^11 + 3185958051955897514118829191532455325744787656259325744139302213041\ 2871988274874674845188531036164732194762035215313933045/77673117594\ 4340144984381135206783696619630346712237953086943366008805962996456\ 0643735315707413358999719151481876224294*c_1001_3^10 - 1166389102155816686553630989503324004097518397260613453667135672316\ 0438732423007903087167740880830244714203243724516250099/15534623518\ 8868028996876227041356739323926069342447590617388673201761192599291\ 21287470631414826717999438302963752448588*c_1001_3^9 - 1564110920390418572385957190313787015649665216982310543574789795074\ 3910546400076631523627945291342033242190145580827838257/77673117594\ 4340144984381135206783696619630346712237953086943366008805962996456\ 0643735315707413358999719151481876224294*c_1001_3^8 + 3781422144345029769396223659710696537114431646822464378875801465263\ 450481095336806022141629796778515663941342797324006663/388365587972\ 1700724921905676033918483098151733561189765434716830044029814982280\ 321867657853706679499859575740938112147*c_1001_3^7 + 2289357336290442572662564344186525211832305222154377184670995782456\ 6820343858054308669696077832467385963859209483874123/38836558797217\ 0072492190567603391848309815173356118976543471683004402981498228032\ 1867657853706679499859575740938112147*c_1001_3^6 - 1525348325622679366701244892406207044119778871160345241207604541564\ 246266939263469437647496490243730073333795636015559893/776731175944\ 3401449843811352067836966196303467122379530869433660088059629964560\ 643735315707413358999719151481876224294*c_1001_3^5 + 3484719955359364794825703199682751857275036433012583813505966429835\ 932570486379909061473871248922749891097709152836744569/155346235188\ 8680289968762270413567393239260693424475906173886732017611925992912\ 1287470631414826717999438302963752448588*c_1001_3^4 - 1070353503575022156421611640659471022575597626930824486947869765725\ 59569540217047691093937227231806949857993782711666203/1553462351888\ 6802899687622704135673932392606934244759061738867320176119259929121\ 287470631414826717999438302963752448588*c_1001_3^3 - 5973520856668591597970954551478036364422880547410343105532691572929\ 42668501094087128597888010698998634388139082299787421/1553462351888\ 6802899687622704135673932392606934244759061738867320176119259929121\ 287470631414826717999438302963752448588*c_1001_3^2 + 5172433079669934096705477409596787009491148831921172958286858668334\ 2248891449065913982040630644781062732860552542020521/15534623518886\ 8028996876227041356739323926069342447590617388673201761192599291212\ 87470631414826717999438302963752448588*c_1001_3 + 1730857960248949015974656544561975632589788649112312215751091030848\ 4671489329016707300769788741192707768038649806035615/15534623518886\ 8028996876227041356739323926069342447590617388673201761192599291212\ 87470631414826717999438302963752448588, c_0011_5 + 161804630166434509478099849045688468927285948945340618119029\ 79769222749347595295644725744557180116463600583493267911/1087423646\ 3220762029781335892894971752674824853971331343217207124123283481950\ 3849012294419903787025996068120746267140116*c_1001_3^26 + 7876478058688015054203176497426519979068736549532456130723066238931\ 486615441314961334729576647665111974966966878333/776731175944340144\ 9843811352067836966196303467122379530869433660088059629964560643735\ 315707413358999719151481876224294*c_1001_3^25 + 1429637661500422239025561611469743264224773671184570559875203273576\ 61429620478776234931156977427739559882080299003845/1553462351888680\ 2899687622704135673932392606934244759061738867320176119259929121287\ 470631414826717999438302963752448588*c_1001_3^24 + 4930387135475753357917401060933046935528520480355413471216957450810\ 12855561117576446461943530837005837258033815979207/1553462351888680\ 2899687622704135673932392606934244759061738867320176119259929121287\ 470631414826717999438302963752448588*c_1001_3^23 + 8212685905489729634170088478555026385288901715063484444290227699999\ 144519508852483342348686456185071429733490066032300/271855911580519\ 0507445333973223742938168706213492832835804301781030820870487596225\ 3073604975946756499017030186566785029*c_1001_3^22 + 2418727793159746780580932977864259955411205378242044200945310977329\ 0218186053137013035757652049736513587562380599740785/27185591158051\ 9050744533397322374293816870621349283283580430178103082087048759622\ 53073604975946756499017030186566785029*c_1001_3^21 + 5644615926321403193585241768536399181584234401646001082462383449053\ 8726820745347874412536200381438605012950566166966053/54371182316103\ 8101489066794644748587633741242698566567160860356206164174097519245\ 06147209951893512998034060373133570058*c_1001_3^20 + 8172779121014218880195681365530151488016406810451185124029718857440\ 40224492747330377085445413509216924357165395122489085/5437118231610\ 3810148906679464474858763374124269856656716086035620616417409751924\ 506147209951893512998034060373133570058*c_1001_3^19 + 1809175718416078862428039792139091199337075470062768388904778082268\ 478764549515667785880323500262204538385314107116283743/108742364632\ 2076202978133589289497175267482485397133134321720712412328348195038\ 49012294419903787025996068120746267140116*c_1001_3^18 - 1077511298567686182290431087963373065320856258511085231674692846265\ 3494887185437243666515076741543956128041450764032783349/10874236463\ 2207620297813358928949717526748248539713313432172071241232834819503\ 849012294419903787025996068120746267140116*c_1001_3^17 + 6243343782806745147309181615876938727005409779958895005576911306034\ 781815883601073937926053617045224725269052680459917501/543711823161\ 0381014890667946447485876337412426985665671608603562061641740975192\ 4506147209951893512998034060373133570058*c_1001_3^16 + 5662119180240140794972489428478645303469806751672413179864816602656\ 1465552354705235596503699566167655354714500812961438963/10874236463\ 2207620297813358928949717526748248539713313432172071241232834819503\ 849012294419903787025996068120746267140116*c_1001_3^15 - 5480690525166423780703938887529063831564159395835103995245696290440\ 786185805623998551845414776119203018760239434118228914/388365587972\ 1700724921905676033918483098151733561189765434716830044029814982280\ 321867657853706679499859575740938112147*c_1001_3^14 - 2123889690413624840041581910367904987663344583169825718437478477494\ 94951685036058074064480733935373773863859647385721065441/1087423646\ 3220762029781335892894971752674824853971331343217207124123283481950\ 3849012294419903787025996068120746267140116*c_1001_3^13 + 1052658885444057021959433492301639199495655584465312047808805557496\ 30659217332723679999803011586202955822695774740576030380/2718559115\ 8051905074453339732237429381687062134928328358043017810308208704875\ 962253073604975946756499017030186566785029*c_1001_3^12 + 2608578302448513807203322039249185004615316763264676700651651576891\ 22630063019832646546943983886388199211198961265174609079/1087423646\ 3220762029781335892894971752674824853971331343217207124123283481950\ 3849012294419903787025996068120746267140116*c_1001_3^11 - 2693832308710365108269851091853729619081861328712448491924308282682\ 34367109115964740105385840636172814347266787197385542557/5437118231\ 6103810148906679464474858763374124269856656716086035620616417409751\ 924506147209951893512998034060373133570058*c_1001_3^10 - 3135655979459151606525759712003571560105028556585689506731838210892\ 3285196507758110501945283991115927107597975744639066981/10874236463\ 2207620297813358928949717526748248539713313432172071241232834819503\ 849012294419903787025996068120746267140116*c_1001_3^9 + 6922199960096086314175244952499923116909040603072563665485751720254\ 0505949178460880467085329892780366110297326203149951487/27185591158\ 0519050744533397322374293816870621349283283580430178103082087048759\ 62253073604975946756499017030186566785029*c_1001_3^8 - 4750230369357671201361169951591205031925117586592400702529275009569\ 408452663316997181124580036080317883179012303350741177/776731175944\ 3401449843811352067836966196303467122379530869433660088059629964560\ 643735315707413358999719151481876224294*c_1001_3^7 - 4980654574024113037738659401630286635958619214037047698124678591572\ 794782677999599627375912237838221351094433080334753493/543711823161\ 0381014890667946447485876337412426985665671608603562061641740975192\ 4506147209951893512998034060373133570058*c_1001_3^6 + 5874417272079477609960072944899044689302318476289593399271471791662\ 253849673750801773487653665371855167324693980861464449/271855911580\ 5190507445333973223742938168706213492832835804301781030820870487596\ 2253073604975946756499017030186566785029*c_1001_3^5 - 2723962234777077900908249833077561839248461345598790420066732140099\ 6443723661758337488446883758632676544881139279686912771/10874236463\ 2207620297813358928949717526748248539713313432172071241232834819503\ 849012294419903787025996068120746267140116*c_1001_3^4 - 6629535803596962647628917424389260364781514208165596076195741527415\ 505933087349805908587241443554336067697880624514656381/108742364632\ 2076202978133589289497175267482485397133134321720712412328348195038\ 49012294419903787025996068120746267140116*c_1001_3^3 + 2949860331148887786531032878399946923111738519543728838931235905981\ 192153517127699865164584551193241124946052712054139571/108742364632\ 2076202978133589289497175267482485397133134321720712412328348195038\ 49012294419903787025996068120746267140116*c_1001_3^2 + 3543511762280027908366720019803314182530100435882637639534126090432\ 28957791103210494037084858722505043380840244736765035/1087423646322\ 0762029781335892894971752674824853971331343217207124123283481950384\ 9012294419903787025996068120746267140116*c_1001_3 - 2995830383640048410540458628979260420655653582941085816391819660042\ 547007791179577972261699665101204069379575369885243/155346235188868\ 0289968762270413567393239260693424475906173886732017611925992912128\ 7470631414826717999438302963752448588, c_0101_0 - 189224323478291383784743451079272334188511458637109173139339\ 409158748413362074919846939010797670477651925422729/320594252873633\ 1268546046726877258100968432104121976279730300753006658062428251098\ 567010227417878651966983718454764*c_1001_3^26 - 5031217370540347505745159923974364559218603174700155380924140311068\ 5739649923929080219772962247146313846589399/11449794745486897387664\ 4525959902075034586860861499152847510741178809216515294682091678936\ 693495666141677989944813*c_1001_3^25 - 1784721603358924301133950180154465578034825275334636165363319083536\ 038275694041899735500291400028209533995598493/457991789819475895506\ 5781038396083001383474434459966113900429647152368660611787283667157\ 46773982664566711959779252*c_1001_3^24 - 6797330765327562540152494735515930433652830695634321562370201496775\ 567899681095147650136429794536886811198167373/457991789819475895506\ 5781038396083001383474434459966113900429647152368660611787283667157\ 46773982664566711959779252*c_1001_3^23 - 2041106340461798238019186470754535228338558327654125745083298921398\ 51118188515085696511185352652590757642136257979/1602971264368165634\ 2730233634386290504842160520609881398651503765033290312141255492835\ 05113708939325983491859227382*c_1001_3^22 - 6843645941509014243038223753656216071292808336749062970490367800697\ 30111286854369577454825847286735260967321195653/1602971264368165634\ 2730233634386290504842160520609881398651503765033290312141255492835\ 05113708939325983491859227382*c_1001_3^21 - 4968847674477890788968825485263562700581282174658418674628751652727\ 12010828672509870289150205451902441280086223087/8014856321840828171\ 3651168171931452524210802603049406993257518825166451560706277464175\ 2556854469662991745929613691*c_1001_3^20 - 4954249300403270352361592260631872786832024563136508811348679292312\ 942775564883139107070157115846341005216595820754/801485632184082817\ 1365116817193145252421080260304940699325751882516645156070627746417\ 52556854469662991745929613691*c_1001_3^19 - 3304643634140152833909012157228050166024860013646001556901963043093\ 6995618873295887527923598861120960929485431659339/32059425287363312\ 6854604672687725810096843210412197627973030075300665806242825109856\ 7010227417878651966983718454764*c_1001_3^18 + 1149595063077141975810896283897217518504890770184966930101401323681\ 24427086813972230032191214928325830327791088373959/3205942528736331\ 2685460467268772581009684321041219762797303007530066580624282510985\ 67010227417878651966983718454764*c_1001_3^17 - 1609352779397846950835199460662145492361701317492441256408180032118\ 3063858077179860025455325122593723454714396746543/80148563218408281\ 7136511681719314525242108026030494069932575188251664515607062774641\ 752556854469662991745929613691*c_1001_3^16 - 7689442234399199974179970565762658871829326786508264880410325993075\ 27730724883587125470654650887323989696287520833503/3205942528736331\ 2685460467268772581009684321041219762797303007530066580624282510985\ 67010227417878651966983718454764*c_1001_3^15 + 4989814797100238903172513242227972200469893551283863098066092667769\ 8841123068896593729306778598693222061054951817423/11449794745486897\ 3876644525959902075034586860861499152847510741178809216515294682091\ 678936693495666141677989944813*c_1001_3^14 + 3688533990470625334626841049485101298742044732576191447853864407107\ 473465947990709801350061378387128634114831309928175/320594252873633\ 1268546046726877258100968432104121976279730300753006658062428251098\ 567010227417878651966983718454764*c_1001_3^13 - 1789460143526318699698105069282566199456003385337845298744117704050\ 295682822792983555370568119455179457049123741798723/160297126436816\ 5634273023363438629050484216052060988139865150376503329031214125549\ 283505113708939325983491859227382*c_1001_3^12 - 6410006947179590397014034148164269748135013664408796045695614889525\ 543173020762559142698296183853001892521869131872119/320594252873633\ 1268546046726877258100968432104121976279730300753006658062428251098\ 567010227417878651966983718454764*c_1001_3^11 + 2483173510470586738113443282687493868784073327488050559843705217878\ 540002379865253653353666446461948565837828379961531/160297126436816\ 5634273023363438629050484216052060988139865150376503329031214125549\ 283505113708939325983491859227382*c_1001_3^10 + 4579529173324600371195844520140752973887340153788394132796551492173\ 301110919712122043497241792361952865289168919599839/320594252873633\ 1268546046726877258100968432104121976279730300753006658062428251098\ 567010227417878651966983718454764*c_1001_3^9 - 1864615818107940050195890867241280711992695829793793703084828198057\ 141487345453706606753445493766562619271646151521539/160297126436816\ 5634273023363438629050484216052060988139865150376503329031214125549\ 283505113708939325983491859227382*c_1001_3^8 - 4158163399667128293118714284516502790406882959642627503137149165402\ 8569993516161173603140872106377782889759248800666/11449794745486897\ 3876644525959902075034586860861499152847510741178809216515294682091\ 678936693495666141677989944813*c_1001_3^7 + 2288284592358557848648630213305910880290626862360563378711700825519\ 01838890510058546767770951204891582349836871208225/8014856321840828\ 1713651168171931452524210802603049406993257518825166451560706277464\ 1752556854469662991745929613691*c_1001_3^6 - 1724927280264353348017773718311484160588150222376212670623694431243\ 07133506622146624737495835503704064072538204186283/1602971264368165\ 6342730233634386290504842160520609881398651503765033290312141255492\ 83505113708939325983491859227382*c_1001_3^5 + 1840282283361589660933538588690803558817573484139494242442116866772\ 19537701066224419255543020550187324959316401326551/3205942528736331\ 2685460467268772581009684321041219762797303007530066580624282510985\ 67010227417878651966983718454764*c_1001_3^4 + 3023506725707342777472688272373303411416938183795948252577415067825\ 66985898140653378401383507773672231602738055399947/3205942528736331\ 2685460467268772581009684321041219762797303007530066580624282510985\ 67010227417878651966983718454764*c_1001_3^3 - 2930273075057555277364849652832725198536048454798709550892590683389\ 8357016762655597065285146372551536001988085183247/32059425287363312\ 6854604672687725810096843210412197627973030075300665806242825109856\ 7010227417878651966983718454764*c_1001_3^2 - 2223177977646769500263748070927851065084003414974758089639858479637\ 9013420759841450433275047172188054378275967455813/32059425287363312\ 6854604672687725810096843210412197627973030075300665806242825109856\ 7010227417878651966983718454764*c_1001_3 + 1012702440415407552113307640088509208156809523657419685534982877802\ 52197526244396206814281411698476345509854273039/4579917898194758955\ 0657810383960830013834744344599661139004296471523686606117872836671\ 5746773982664566711959779252, c_0101_1 - 519299480019732421892164104959387186663638745429738384109822\ 03818514322239311743434553256981790997066091099631/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^26 - 8712268610721626734705782606375889482849533456842521593232184898788\ 2982548267580322226064095831882207994907458/11449794745486897387664\ 4525959902075034586860861499152847510741178809216515294682091678936\ 693495666141677989944813*c_1001_3^25 - 3172106586153693909613674295501599834110110389202306797501044150308\ 685198893535378300739568638349988653865492689/457991789819475895506\ 5781038396083001383474434459966113900429647152368660611787283667157\ 46773982664566711959779252*c_1001_3^24 - 1072334355612529212785668643503269469842754256418296254861163688717\ 3958859262447745154308223100561648616769135125/45799178981947589550\ 6578103839608300138347443445996611390042964715236866061178728366715\ 746773982664566711959779252*c_1001_3^23 - 5205382519105346958124347904817114180833068757227658166134262758924\ 7514042276523867812390007397692121479666210313/22899589490973794775\ 3289051919804150069173721722998305695021482357618433030589364183357\ 873386991332283355979889626*c_1001_3^22 - 1494796805752618787067239460030044658790649731658256137175191831207\ 52179352724800017890142512367930772966124353047/2289958949097379477\ 5328905191980415006917372172299830569502148235761843303058936418335\ 7873386991332283355979889626*c_1001_3^21 - 8108726048432186498110090479577369214417662004163018377923861345491\ 6250092056811392915874749557715258579806542321/11449794745486897387\ 6644525959902075034586860861499152847510741178809216515294682091678\ 936693495666141677989944813*c_1001_3^20 - 1298205189262067356020851098522314343554410483016393562476339899538\ 996894453763327536678479752833552977745062681577/114497947454868973\ 8766445259599020750345868608614991528475107411788092165152946820916\ 78936693495666141677989944813*c_1001_3^19 - 5242698558940506740139092087570467257142127546253515701126984351913\ 103449197428188771328475731375735218113803474697/457991789819475895\ 5065781038396083001383474434459966113900429647152368660611787283667\ 15746773982664566711959779252*c_1001_3^18 + 3547116143273220387816185422283025529290593460994577471499803998180\ 3346776634559221221731353574086615646518078722761/45799178981947589\ 5506578103839608300138347443445996611390042964715236866061178728366\ 715746773982664566711959779252*c_1001_3^17 - 1086008699527084649706185458587563201090953552239968623349580771176\ 1512876490037641728636374226863999867835814412804/11449794745486897\ 3876644525959902075034586860861499152847510741178809216515294682091\ 678936693495666141677989944813*c_1001_3^16 - 1794081170546757532053890770972913943773976991543962276627003788839\ 88666072530623140158241046295269288207085272018077/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^15 + 1285652719661727880011635004037305818001683264126943504166220566033\ 49159590633347968393182071268790364775166932151398/1144979474548689\ 7387664452595990207503458686086149915284751074117880921651529468209\ 1678936693495666141677989944813*c_1001_3^14 + 6389330912748519002693471412835448213528046548780374723482168999782\ 61510432399190867657819939184896624441748599595949/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^13 - 7255221736829548263387998461517514303633714467611359212054136013350\ 80108458385773227179627050838295903138031202183581/2289958949097379\ 4775328905191980415006917372172299830569502148235761843303058936418\ 3357873386991332283355979889626*c_1001_3^12 - 7227423986227954312470493014944128338734195911882776768079258998517\ 42260918681196962214237866513244572103566518912317/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^11 + 9456070924742053010240705959225632255535495820059529204160676567029\ 69865862357587520520408023065289991910754432110669/2289958949097379\ 4775328905191980415006917372172299830569502148235761843303058936418\ 3357873386991332283355979889626*c_1001_3^10 - 6470351061945147206814971356531309431794321924012142594320376691944\ 4560544433156617560275040272625902412750276530183/45799178981947589\ 5506578103839608300138347443445996611390042964715236866061178728366\ 715746773982664566711959779252*c_1001_3^9 - 4919803400571038472742665024407047604557406335987109626862488244246\ 81357593483265653507547347958886186704586609067259/2289958949097379\ 4775328905191980415006917372172299830569502148235761843303058936418\ 3357873386991332283355979889626*c_1001_3^8 + 8336885573367811288014935795863548255524068031785250782048270323808\ 0121904573945472809582187992660821968245600597027/11449794745486897\ 3876644525959902075034586860861499152847510741178809216515294682091\ 678936693495666141677989944813*c_1001_3^7 + 8813778514912541472351731002166407304459863168304216162123124769380\ 504305305395797495956452527008013328622220584942/114497947454868973\ 8766445259599020750345868608614991528475107411788092165152946820916\ 78936693495666141677989944813*c_1001_3^6 - 4815994159759986361008299394697467523322336942432838656284338138109\ 1152512354580243138180399741996370783347672295037/22899589490973794\ 7753289051919804150069173721722998305695021482357618433030589364183\ 357873386991332283355979889626*c_1001_3^5 + 1040598955977627760062437752220809259109058076724140547650259023640\ 49940304712337443467792043818143562470252457536713/4579917898194758\ 9550657810383960830013834744344599661139004296471523686606117872836\ 6715746773982664566711959779252*c_1001_3^4 + 1106885904871905568010820254445710205678202972323568309119277103767\ 4835164173434982041708896523997860668370905207021/45799178981947589\ 5506578103839608300138347443445996611390042964715236866061178728366\ 715746773982664566711959779252*c_1001_3^3 - 1501962319609729901162795366294687727959387833420503024045397528121\ 2539038115904344084586852138821909000982012954469/45799178981947589\ 5506578103839608300138347443445996611390042964715236866061178728366\ 715746773982664566711959779252*c_1001_3^2 + 5633654813929730607431882140005011470280842608406228483982821092289\ 99109321161410934914343887858390254922020075101/4579917898194758955\ 0657810383960830013834744344599661139004296471523686606117872836671\ 5746773982664566711959779252*c_1001_3 + 3775321172135692012058121170652942907474035057123417448526842175713\ 69561899050971984714214297907201575034766103483/4579917898194758955\ 0657810383960830013834744344599661139004296471523686606117872836671\ 5746773982664566711959779252, c_1001_3^27 + 7*c_1001_3^26 + 63*c_1001_3^25 + 224*c_1001_3^24 + 2063*c_1001_3^23 + 6332*c_1001_3^22 + 7862*c_1001_3^21 + 101672*c_1001_3^20 + 129767*c_1001_3^19 - 656298*c_1001_3^18 + 637139*c_1001_3^17 + 3715115*c_1001_3^16 - 8927863*c_1001_3^15 - 15250995*c_1001_3^14 + 24654785*c_1001_3^13 + 22264873*c_1001_3^12 - 33187737*c_1001_3^11 - 9566537*c_1001_3^10 + 20297565*c_1001_3^9 - 1048278*c_1001_3^8 - 2995900*c_1001_3^7 + 1833666*c_1001_3^6 - 1469877*c_1001_3^5 - 824280*c_1001_3^4 + 283070*c_1001_3^3 + 81098*c_1001_3^2 - 10122*c_1001_3 - 1519 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB