Magma V2.19-8 Tue Aug 20 2013 23:58:52 on localhost [Seed = 3734550084] Type ? for help. Type -D to quit. Loading file "K13n1199__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1199 geometric_solution 11.96715974 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 -1 1 10 0 -11 1 -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.784758903138 0.500601463569 0 5 2 6 0132 0132 2103 0132 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 -1 0 1 -10 0 0 10 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.483631857385 1.268917382095 1 0 8 7 2103 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.639826097980 0.453404909288 5 4 9 0 2103 3120 0132 0132 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 -1 0 1 -11 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.665553213572 0.816728362694 7 3 0 10 1230 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.010718008896 1.425181977243 11 1 3 11 0132 0132 2103 2031 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 -11 0 11 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.373968666971 0.869185206184 11 10 1 12 3012 3120 0132 0132 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 -10 -1 11 10 0 -10 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.210996570700 1.142588752591 12 4 2 8 3120 3012 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 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.823790080340 0.598160719067 7 9 9 2 3201 2103 0321 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.401461990167 1.186513871745 10 8 8 3 3201 2103 0321 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.661089078961 0.671841223937 12 6 4 9 0213 3120 0132 2310 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 0 0 0 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.231337611275 0.498255106324 5 5 12 6 0132 1302 3012 1230 0 0 0 0 0 0 -1 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 0 10 -10 11 0 -11 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.582314481444 0.970792757872 10 11 6 7 0213 1230 0132 3120 0 0 0 0 0 -1 1 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 11 -11 0 0 0 0 0 0 1 0 -1 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.381087973519 0.375812786725 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : negation(d['c_1001_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_0011_9'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0101_0'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_10'], 'c_0101_11' : negation(d['c_0011_12']), '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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : d['c_0011_9'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : d['c_0011_9'], 'c_1100_3' : d['c_0011_9'], 'c_1100_2' : d['c_0011_8'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_2']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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_0101_7']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_12'], 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_6'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : negation(d['c_0101_8']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_8']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_9'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : d['c_0011_10'], 's_2_9' : d['1']})} 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_12, c_0011_3, c_0011_4, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_1, c_0101_7, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 466723530264914231892408351017410056102695110745625691319549/242162\ 621573164683272140061758066015972854390167546025000*c_1001_2^23 + 4522101352553798125590118869855018450142288091003659749009037/24216\ 26215731646832721400617580660159728543901675460250000*c_1001_2^22 + 31122939315432072135555467161320615915243284616048016753319131/2421\ 626215731646832721400617580660159728543901675460250000*c_1001_2^21 + 53380594315540602611006436332691967142903246686861840218203861/2421\ 626215731646832721400617580660159728543901675460250000*c_1001_2^20 - 18309050051802541819748786548286674362334959871930003606666869/4036\ 04369288607805453566769596776693288090650279243375000*c_1001_2^19 - 41321634212540921186285328769765843186980287862950273695492017/8072\ 08738577215610907133539193553386576181300558486750000*c_1001_2^18 + 184090590791854613698661742462821689285681862919965061558274081/121\ 0813107865823416360700308790330079864271950837730125000*c_1001_2^17 + 511481798495102558802780633093240024875912653718802496240489753/1\ 210813107865823416360700308790330079864271950837730125000*c_1001_2^\ 16 - 14655538254250663194482345151778028708670055748773634964976243\ 9/807208738577215610907133539193553386576181300558486750000*c_1001_\ 2^15 - 193023698026063204024932575113324667913791884475838148450647\ 769/201802184644303902726783384798388346644045325139621687500*c_100\ 1_2^14 - 3460138456588587297384626581634856341488643250416893899786\ 6812/151351638483227927045087538598791259983033993854716265625*c_10\ 01_2^13 + 552577468771759841586239520104014928849206467059291358096\ 51377/60540655393291170818035015439516503993213597541886506250*c_10\ 01_2^12 - 381774552208957090223536855252959228901254468668183290117\ 4479967/2421626215731646832721400617580660159728543901675460250000*\ c_1001_2^11 - 22075619358002612480229744785932604051358579897354366\ 79348513337/4036043692886078054535667695967766932880906502792433750\ 00*c_1001_2^10 - 36632941472490388617674648485144163006537398715388\ 4808357992949/80720873857721561090713353919355338657618130055848675\ 000*c_1001_2^9 - 37095984792572113433358949395040176145099712765802\ 221205517861/201802184644303902726783384798388346644045325139621687\ 50*c_1001_2^8 - 507293760127355892385184033121562946956434041659607\ 3378865702949/24216262157316468327214006175806601597285439016754602\ 50000*c_1001_2^7 - 220789353832449458446222472067765022291850720306\ 186049718934779/968650486292658733088560247032264063891417560670184\ 10000*c_1001_2^6 - 221949128981388132111250666022698435062967537806\ 687901865804727/201802184644303902726783384798388346644045325139621\ 687500*c_1001_2^5 - 16603620407160646936779844962989812198035819994\ 24750856600206771/2421626215731646832721400617580660159728543901675\ 460250000*c_1001_2^4 - 12755469047446686780096466525476299692847054\ 99423246429689111889/2421626215731646832721400617580660159728543901\ 675460250000*c_1001_2^3 - 89628481686879775282209311016310742033486\ 188090599261979533061/403604369288607805453566769596776693288090650\ 279243375000*c_1001_2^2 - 25973558512269257005292342030077722167754\ 92872470488811275152/5045054616107597568169584619959708666101133128\ 4905421875*c_1001_2 - 843385220203665293994443035796749409638993652\ 560735086060463/302703276966455854090175077197582519966067987709432\ 531250, c_0011_0 - 1, c_0011_10 - 24068165210838476486613696601682767978753768020365/66573916\ 583687885435639879521117805078447942314102*c_1001_2^23 + 7782122430909359437457408927593004651784318984846/33286958291843942\ 717819939760558902539223971157051*c_1001_2^22 + 86602723852496850081624268633843146093615778989061/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^21 + 320256104179122635727134717444391296494768071648191/665739165836878\ 85435639879521117805078447942314102*c_1001_2^20 - 510749959254889081793580695757434813342604485825399/665739165836878\ 85435639879521117805078447942314102*c_1001_2^19 - 869620753823328730507654656665370972765735292336543/665739165836878\ 85435639879521117805078447942314102*c_1001_2^18 + 916690880738132602567738506964127536509103577531678/332869582918439\ 42717819939760558902539223971157051*c_1001_2^17 + 5983198584483640946378996890544247532445338726940719/66573916583687\ 885435639879521117805078447942314102*c_1001_2^16 - 1022394435689346440300065595191676730807023810330003/66573916583687\ 885435639879521117805078447942314102*c_1001_2^15 - 6834243187824807946550148642006233952985580288816555/33286958291843\ 942717819939760558902539223971157051*c_1001_2^14 - 2924836674575050376045503165924816215733960946781753/33286958291843\ 942717819939760558902539223971157051*c_1001_2^13 + 12859600662624104522281546785919967767276235883562525/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^12 - 16265443126397768698835343474875636894085937193748829/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^11 - 38597058682838050012236393036149222930891848384666288/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^10 - 36783388313353724592409910176451938847140713095561757/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^9 - 28009385494791853013288634854920451461283360738403535/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^8 - 13088444233825492765516656292707549419940978197035515/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^7 - 35415663898340145963427864965734960231605755632584615/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^6 - 18407738460168336960523948322168231720553724605020039/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^5 - 4406484496482250943791689713434269308634515197110629/33286958291843\ 942717819939760558902539223971157051*c_1001_2^4 - 8327006952095525959679572937204136549774037245190091/66573916583687\ 885435639879521117805078447942314102*c_1001_2^3 - 1882885355445617899830702694437697071030158676313363/33286958291843\ 942717819939760558902539223971157051*c_1001_2^2 - 340104364725723777476523044561719189018917214640370/332869582918439\ 42717819939760558902539223971157051*c_1001_2 - 30801346153459594244690351620143925294135223938071/3328695829184394\ 2717819939760558902539223971157051, c_0011_12 - 17409252682497141235082827206405942375176679704790/33286958\ 291843942717819939760558902539223971157051*c_1001_2^23 + 12049153413963375165882383783254989470170360956127/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^22 + 123064614411030826547833276536176881393977236311851/332869582918439\ 42717819939760558902539223971157051*c_1001_2^21 + 227947617723346970590022817022393879947846661950416/332869582918439\ 42717819939760558902539223971157051*c_1001_2^20 - 368566868853226808355143579900477607227950608916248/332869582918439\ 42717819939760558902539223971157051*c_1001_2^19 - 595663659382752183116793130703785183107731198126380/332869582918439\ 42717819939760558902539223971157051*c_1001_2^18 + 1309413384298914294082102609024668966747361990209026/33286958291843\ 942717819939760558902539223971157051*c_1001_2^17 + 4228290857743709471328058008549974415076420827570730/33286958291843\ 942717819939760558902539223971157051*c_1001_2^16 - 782797719571982201357614139079397982228085620185555/332869582918439\ 42717819939760558902539223971157051*c_1001_2^15 - 9509909609581085749262922947434251523524761719531830/33286958291843\ 942717819939760558902539223971157051*c_1001_2^14 - 4038808128177074757480687751004865454013480119179075/33286958291843\ 942717819939760558902539223971157051*c_1001_2^13 + 8642991775190431278155921416598555351316044747602278/33286958291843\ 942717819939760558902539223971157051*c_1001_2^12 - 12145787292614899048952067822890087054329662199662051/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^11 - 54408244832224865678350918155686204717869921871855844/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^10 - 52299241684925270985258552252698002349641224291996576/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^9 - 22437403830061929793401061953292976210500936835440246/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^8 - 20707018268082554565610517245880806840892600810552631/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^7 - 25198203182805833343682767579877148271768477359838876/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^6 - 13579474239152768360501630851561436501024339040864947/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^5 - 7068633005528295763410148911916036861952797592730110/33286958291843\ 942717819939760558902539223971157051*c_1001_2^4 - 5988557737343954775567481370234694458474981353832870/33286958291843\ 942717819939760558902539223971157051*c_1001_2^3 - 2783762892759642866082064550100785604802866927789871/33286958291843\ 942717819939760558902539223971157051*c_1001_2^2 - 645911364440036585781610689107996370557028897132876/332869582918439\ 42717819939760558902539223971157051*c_1001_2 - 66779606781734042192744419861564178942003779659463/3328695829184394\ 2717819939760558902539223971157051, c_0011_3 - 1918839700464096870402319993219135855685703263435/6657391658\ 3687885435639879521117805078447942314102*c_1001_2^23 + 1062691808849738262092877898189183949153075296964/33286958291843942\ 717819939760558902539223971157051*c_1001_2^22 + 6213896489519274156542824993054967539675010155917/33286958291843942\ 717819939760558902539223971157051*c_1001_2^21 + 21087815125755883916339912057673947227285298122261/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^20 - 48682704532563515280065034842770628361803464089249/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^19 - 48307394484760850013843809425414347945028846810885/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^18 + 74589464961116576750063456863743071745417124833353/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^17 + 419873930946121526206938124378106213207635124985341/665739165836878\ 85435639879521117805078447942314102*c_1001_2^16 - 220019076689696399690099976495004999134456349369591/665739165836878\ 85435639879521117805078447942314102*c_1001_2^15 - 487301501707890219024738041541657269971127125252336/332869582918439\ 42717819939760558902539223971157051*c_1001_2^14 - 124754925851052517648941821669653123754412359923706/332869582918439\ 42717819939760558902539223971157051*c_1001_2^13 + 1045604563521316444405986154591235783921204402362199/66573916583687\ 885435639879521117805078447942314102*c_1001_2^12 - 1369330401741598966082244713701155909034332126027231/66573916583687\ 885435639879521117805078447942314102*c_1001_2^11 - 2632676287701246538513595063719285805103392234704694/33286958291843\ 942717819939760558902539223971157051*c_1001_2^10 - 2122215236307291006131951566764888228058645222793496/33286958291843\ 942717819939760558902539223971157051*c_1001_2^9 - 649788540297140512744558748428152064396870099438561/665739165836878\ 85435639879521117805078447942314102*c_1001_2^8 - 90457002727032229206608288356643006211777604375548/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^7 - 1247373488263783734804109468298672056160356653712083/66573916583687\ 885435639879521117805078447942314102*c_1001_2^6 - 851727435527588537587599218600862323289506744767219/665739165836878\ 85435639879521117805078447942314102*c_1001_2^5 - 3795514786428598121396483030078910923157075658329/33286958291843942\ 717819939760558902539223971157051*c_1001_2^4 + 104452682788579743711435351142434728524299216447575/665739165836878\ 85435639879521117805078447942314102*c_1001_2^3 - 88414612522211185657552678102426982799524369892051/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^2 + 27648389081769511940192536959564641879986092247014/3328695829184394\ 2717819939760558902539223971157051*c_1001_2 + 32372451825443039976043996455163522874552869441835/3328695829184394\ 2717819939760558902539223971157051, c_0011_4 - 630816872888241488644410970532251690524451635410/33286958291\ 843942717819939760558902539223971157051*c_1001_2^23 + 1057399942037569434359947022924155887360830935298/33286958291843942\ 717819939760558902539223971157051*c_1001_2^22 + 7833690407255054058037167178752492387750546935049/66573916583687885\ 435639879521117805078447942314102*c_1001_2^21 + 8346986270075803923223998388146603256263722254605/66573916583687885\ 435639879521117805078447942314102*c_1001_2^20 - 42089936682120101504663832860259541298239952892249/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^19 - 8255268357731808216958104883409152273911921036184/33286958291843942\ 717819939760558902539223971157051*c_1001_2^18 + 129137056762985074903634184719832719264037056147249/665739165836878\ 85435639879521117805078447942314102*c_1001_2^17 + 109143269499856650144598020440836881099820784462538/332869582918439\ 42717819939760558902539223971157051*c_1001_2^16 - 168574949539126042907228171712748199347018497174724/332869582918439\ 42717819939760558902539223971157051*c_1001_2^15 - 617572583502838681454697829535236896147880048409609/665739165836878\ 85435639879521117805078447942314102*c_1001_2^14 + 150384849662044742457233566679760907348817574802624/332869582918439\ 42717819939760558902539223971157051*c_1001_2^13 + 441622156767483031504605169278218944178104216787770/332869582918439\ 42717819939760558902539223971157051*c_1001_2^12 - 688090089459570495565009929771565960716462949978421/332869582918439\ 42717819939760558902539223971157051*c_1001_2^11 - 3024648487821069596254566827375199003313053902050233/66573916583687\ 885435639879521117805078447942314102*c_1001_2^10 - 129973771745560362683257194044704758353569485436645/332869582918439\ 42717819939760558902539223971157051*c_1001_2^9 + 942599583432986590338651154023880442606523275548413/332869582918439\ 42717819939760558902539223971157051*c_1001_2^8 + 204985353120378160541209187242387202517995493083013/332869582918439\ 42717819939760558902539223971157051*c_1001_2^7 - 233681751822126427371810481524773555112579645620161/665739165836878\ 85435639879521117805078447942314102*c_1001_2^6 + 607186903429757506928144015528808049142273753545175/665739165836878\ 85435639879521117805078447942314102*c_1001_2^5 + 251260124504155348195282243985333733957631096563860/332869582918439\ 42717819939760558902539223971157051*c_1001_2^4 + 200486283331747452424621836419817879038624400142755/665739165836878\ 85435639879521117805078447942314102*c_1001_2^3 + 182311606717863953190539455019391583035599412674549/665739165836878\ 85435639879521117805078447942314102*c_1001_2^2 + 67191532404085853289823624134405769289754274759899/3328695829184394\ 2717819939760558902539223971157051*c_1001_2 + 33274107808782568571735132887959881873473475362248/3328695829184394\ 2717819939760558902539223971157051, c_0011_6 - 28240291598590754565515277422505913575991274755340/332869582\ 91843942717819939760558902539223971157051*c_1001_2^23 + 70799560155800824108873458150133880387281901799119/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^22 + 179967143960985641522448298919328157411793714460857/332869582918439\ 42717819939760558902539223971157051*c_1001_2^21 + 269530419075689843425239876651052566220180565419144/332869582918439\ 42717819939760558902539223971157051*c_1001_2^20 - 1504878534077625182619104766093531740082678795255603/66573916583687\ 885435639879521117805078447942314102*c_1001_2^19 - 1103396182220379804275538010738189401737233070104361/66573916583687\ 885435639879521117805078447942314102*c_1001_2^18 + 4864446292691048592088486643218721292022707784519809/66573916583687\ 885435639879521117805078447942314102*c_1001_2^17 + 5530200009707014345698904403399674617694802168827452/33286958291843\ 942717819939760558902539223971157051*c_1001_2^16 - 8775542657870866826413088670071693424029480098699973/66573916583687\ 885435639879521117805078447942314102*c_1001_2^15 - 26197858654682869779795425933821814225724286392907271/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^14 + 671304330414062394206828176471824685332822392181693/332869582918439\ 42717819939760558902539223971157051*c_1001_2^13 + 13992759556450957668460412370199435244692214080997827/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^12 - 54358672421535928460600134599226610301416420024909199/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^11 - 146616436653639917041482675256986118555357552271728009/665739165836\ 87885435639879521117805078447942314102*c_1001_2^10 - 43932956854849012704920407424603331039056045576544135/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^9 - 9992802477300798966191962590053052759226589205906155/33286958291843\ 942717819939760558902539223971157051*c_1001_2^8 - 50965980677234877741678139760103454088939003841319019/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^7 - 25923462092144504704644079015988195487229718870388010/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^6 - 14796593806621554732751839234929192229066379116431573/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^5 - 13087746952151252036804110658065146311514853220777311/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^4 - 5542986507709865267997561164667547799146204641274765/33286958291843\ 942717819939760558902539223971157051*c_1001_2^3 - 2555901242756042054025577513146389184684488883413591/66573916583687\ 885435639879521117805078447942314102*c_1001_2^2 - 82268503762590785515204025218870125612021195327327/3328695829184394\ 2717819939760558902539223971157051*c_1001_2 + 33886315427016922143123782066145414989093678945099/3328695829184394\ 2717819939760558902539223971157051, c_0011_8 - 305085787277197870429985405746944909638672659260/33286958291\ 843942717819939760558902539223971157051*c_1001_2^23 - 3413422245932692261094599246840906386832140465959/66573916583687885\ 435639879521117805078447942314102*c_1001_2^22 + 3462475626513848384181645246678440669788858550253/33286958291843942\ 717819939760558902539223971157051*c_1001_2^21 + 17903275058788207063043129602576695976775793026381/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^20 + 36242267857596466068465682469722270104566325047437/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^19 - 104845659220538206605756642741567202204111661676637/665739165836878\ 85435639879521117805078447942314102*c_1001_2^18 - 89814928543063087220774373339868062703865628140321/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^17 + 228184163430120056512454093575320844890990738104018/332869582918439\ 42717819939760558902539223971157051*c_1001_2^16 + 904153832279931330982515429538298425247219310917781/665739165836878\ 85435639879521117805078447942314102*c_1001_2^15 - 554852577371467317406514593516173165700114638341925/665739165836878\ 85435639879521117805078447942314102*c_1001_2^14 - 1161094189727367645619863190237168683823752302674250/33286958291843\ 942717819939760558902539223971157051*c_1001_2^13 - 215148082161963958728275662758431968691105233159540/332869582918439\ 42717819939760558902539223971157051*c_1001_2^12 + 1648478446847867432683755938683153295935379683364207/66573916583687\ 885435639879521117805078447942314102*c_1001_2^11 - 4761693813838925879322352579659461677114671283925583/66573916583687\ 885435639879521117805078447942314102*c_1001_2^10 - 7024874620545504995540977916626238747346918034096560/33286958291843\ 942717819939760558902539223971157051*c_1001_2^9 - 5791049570141559438328164083219356704097481012772315/33286958291843\ 942717819939760558902539223971157051*c_1001_2^8 - 4670502816380685166159420711520674194510238114402309/66573916583687\ 885435639879521117805078447942314102*c_1001_2^7 - 2745076187556982993123813435126323210121698553602125/33286958291843\ 942717819939760558902539223971157051*c_1001_2^6 - 5959356520403784409455628131550737544534619107672983/66573916583687\ 885435639879521117805078447942314102*c_1001_2^5 - 2604438965337285108759277875913761721107007894965803/66573916583687\ 885435639879521117805078447942314102*c_1001_2^4 - 748488102754453072851682028876411062779082547392251/332869582918439\ 42717819939760558902539223971157051*c_1001_2^3 - 1418459286793519475435734324716947620039252446584421/66573916583687\ 885435639879521117805078447942314102*c_1001_2^2 - 240816245245781841074901881928678348818711353719165/332869582918439\ 42717819939760558902539223971157051*c_1001_2 - 41491669650092744884994854441894004222781077370947/3328695829184394\ 2717819939760558902539223971157051, c_0011_9 + 10727751671915280635087240343400928348312244912925/665739165\ 83687885435639879521117805078447942314102*c_1001_2^23 - 17330283311876109355075805126353226052194415967725/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^22 - 32576059290921518539756233711675716660059139396581/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^21 - 75209733022267145349058909462877444976811878827253/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^20 + 166262028951615171631349944673385194387359501715474/332869582918439\ 42717819939760558902539223971157051*c_1001_2^19 + 60274425078688817230182492351685491457838782484948/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^18 - 1044993959575259878222059253977894883180054170259871/66573916583687\ 885435639879521117805078447942314102*c_1001_2^17 - 1786658400134212070784512234767611303713401233876747/66573916583687\ 885435639879521117805078447942314102*c_1001_2^16 + 1281018247964281275135065127402885547464098595657507/33286958291843\ 942717819939760558902539223971157051*c_1001_2^15 + 4666670466102894821279647841789881680819102429008367/66573916583687\ 885435639879521117805078447942314102*c_1001_2^14 - 1171111130807693727219632499670073538485917732319847/33286958291843\ 942717819939760558902539223971157051*c_1001_2^13 - 5875162444794436281368703114827672198695345469700693/66573916583687\ 885435639879521117805078447942314102*c_1001_2^12 + 6166121363464058147988899554032803889730435996820687/33286958291843\ 942717819939760558902539223971157051*c_1001_2^11 + 24780342947518840643966329743858849475953168424189227/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^10 + 2483940164276045914951986326634860487142548331039967/33286958291843\ 942717819939760558902539223971157051*c_1001_2^9 - 6022727617912744294491503123501104232161670371005755/66573916583687\ 885435639879521117805078447942314102*c_1001_2^8 + 6123821459276164321881107953699505257206729695873559/66573916583687\ 885435639879521117805078447942314102*c_1001_2^7 + 5501341457276495693608539739898863730722458795216453/66573916583687\ 885435639879521117805078447942314102*c_1001_2^6 - 1072904263988532808916926989567475913658218760510467/33286958291843\ 942717819939760558902539223971157051*c_1001_2^5 + 403855599833446661861112026710961195778444947579031/665739165836878\ 85435639879521117805078447942314102*c_1001_2^4 + 880774358585277850396990230003107560130622668968883/665739165836878\ 85435639879521117805078447942314102*c_1001_2^3 - 697654949404263358589605635773506313821501584963067/665739165836878\ 85435639879521117805078447942314102*c_1001_2^2 - 185891524167212823969734785559079722049972110357568/332869582918439\ 42717819939760558902539223971157051*c_1001_2 - 41510979637384426806473428746362207233523238727311/3328695829184394\ 2717819939760558902539223971157051, c_0101_0 + 753127111511553882770691981845253116903910523855/66573916583\ 687885435639879521117805078447942314102*c_1001_2^23 + 13930022415003917976934878482834762241586485500161/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^22 - 10257818369184447761733275561087740793293684324890/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^21 - 106068718884556607817498543893431405482327565293813/665739165836878\ 85435639879521117805078447942314102*c_1001_2^20 - 69880212187451317391737397096032428487401472884203/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^19 + 192546877296908864740458420980083251902175105510136/332869582918439\ 42717819939760558902539223971157051*c_1001_2^18 + 306673615102033732594295568437574583624018883330197/665739165836878\ 85435639879521117805078447942314102*c_1001_2^17 - 1383379524189135966805959024156989669556082036614719/66573916583687\ 885435639879521117805078447942314102*c_1001_2^16 - 1523700891149065556719583797708471945822420475399355/33286958291843\ 942717819939760558902539223971157051*c_1001_2^15 + 2118009556400728873481488115219201905576601588815017/66573916583687\ 885435639879521117805078447942314102*c_1001_2^14 + 3697741569261763161919617922081690547480583126097103/33286958291843\ 942717819939760558902539223971157051*c_1001_2^13 + 544356086898144757849429466096354454889175648668851/665739165836878\ 85435639879521117805078447942314102*c_1001_2^12 - 3413180987358571091260078009595903241532517071290133/33286958291843\ 942717819939760558902539223971157051*c_1001_2^11 + 14865181848190249109548144055662760829284700122157797/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^10 + 21348401860300495216962011266108264579849813674561499/3328695829184\ 3942717819939760558902539223971157051*c_1001_2^9 + 30570958468838312790008895592849395635958858658429195/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^8 + 9798159499972887145400005319128893184261381494593321/66573916583687\ 885435639879521117805078447942314102*c_1001_2^7 + 14798854098897334421178194514185224004832479096227137/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^6 + 8090417087919296387293219841011434498152608322113024/33286958291843\ 942717819939760558902539223971157051*c_1001_2^5 + 6493175276380927453685334025259071720059487729050585/66573916583687\ 885435639879521117805078447942314102*c_1001_2^4 + 4370003524971592172675391617425871599863112644711197/66573916583687\ 885435639879521117805078447942314102*c_1001_2^3 + 3641391986229169649745112022383016868815573017215837/66573916583687\ 885435639879521117805078447942314102*c_1001_2^2 + 577139371872079709591214923105497773013049286652501/332869582918439\ 42717819939760558902539223971157051*c_1001_2 + 92696356142367959600600622477321532533454335891770/3328695829184394\ 2717819939760558902539223971157051, c_0101_1 - 10727751671915280635087240343400928348312244912925/665739165\ 83687885435639879521117805078447942314102*c_1001_2^23 + 17330283311876109355075805126353226052194415967725/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^22 + 32576059290921518539756233711675716660059139396581/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^21 + 75209733022267145349058909462877444976811878827253/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^20 - 166262028951615171631349944673385194387359501715474/332869582918439\ 42717819939760558902539223971157051*c_1001_2^19 - 60274425078688817230182492351685491457838782484948/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^18 + 1044993959575259878222059253977894883180054170259871/66573916583687\ 885435639879521117805078447942314102*c_1001_2^17 + 1786658400134212070784512234767611303713401233876747/66573916583687\ 885435639879521117805078447942314102*c_1001_2^16 - 1281018247964281275135065127402885547464098595657507/33286958291843\ 942717819939760558902539223971157051*c_1001_2^15 - 4666670466102894821279647841789881680819102429008367/66573916583687\ 885435639879521117805078447942314102*c_1001_2^14 + 1171111130807693727219632499670073538485917732319847/33286958291843\ 942717819939760558902539223971157051*c_1001_2^13 + 5875162444794436281368703114827672198695345469700693/66573916583687\ 885435639879521117805078447942314102*c_1001_2^12 - 6166121363464058147988899554032803889730435996820687/33286958291843\ 942717819939760558902539223971157051*c_1001_2^11 - 24780342947518840643966329743858849475953168424189227/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^10 - 2483940164276045914951986326634860487142548331039967/33286958291843\ 942717819939760558902539223971157051*c_1001_2^9 + 6022727617912744294491503123501104232161670371005755/66573916583687\ 885435639879521117805078447942314102*c_1001_2^8 - 6123821459276164321881107953699505257206729695873559/66573916583687\ 885435639879521117805078447942314102*c_1001_2^7 - 5501341457276495693608539739898863730722458795216453/66573916583687\ 885435639879521117805078447942314102*c_1001_2^6 + 1072904263988532808916926989567475913658218760510467/33286958291843\ 942717819939760558902539223971157051*c_1001_2^5 - 403855599833446661861112026710961195778444947579031/665739165836878\ 85435639879521117805078447942314102*c_1001_2^4 - 880774358585277850396990230003107560130622668968883/665739165836878\ 85435639879521117805078447942314102*c_1001_2^3 + 697654949404263358589605635773506313821501584963067/665739165836878\ 85435639879521117805078447942314102*c_1001_2^2 + 185891524167212823969734785559079722049972110357568/332869582918439\ 42717819939760558902539223971157051*c_1001_2 + 41510979637384426806473428746362207233523238727311/3328695829184394\ 2717819939760558902539223971157051, c_0101_7 + 704852143282349079074256220674745590048507132945/66573916583\ 687885435639879521117805078447942314102*c_1001_2^23 + 1315359571558802721972407968438175047740608990722/33286958291843942\ 717819939760558902539223971157051*c_1001_2^22 - 3135252944233442882174791033351855369304175044913/33286958291843942\ 717819939760558902539223971157051*c_1001_2^21 - 33383384449997893443047695385974695984253486674679/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^20 - 29777225555164058107433350813082881119145113453865/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^19 + 87354060507661867215050275095769057823164350231279/6657391658368788\ 5435639879521117805078447942314102*c_1001_2^18 + 42416071692893682540115806507392876240393673127320/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^17 - 417010355521409502307840334079639204354810988482231/665739165836878\ 85435639879521117805078447942314102*c_1001_2^16 - 807010868568993511911572566058600609115763265857613/665739165836878\ 85435639879521117805078447942314102*c_1001_2^15 + 217859534407705852722477684551960315158765876986844/332869582918439\ 42717819939760558902539223971157051*c_1001_2^14 + 1081998070803328156835064533875866747449496962480045/33286958291843\ 942717819939760558902539223971157051*c_1001_2^13 + 585563370124126147950224809811548765492286435213171/665739165836878\ 85435639879521117805078447942314102*c_1001_2^12 - 1417209515742599532382627405994939690119526567793871/66573916583687\ 885435639879521117805078447942314102*c_1001_2^11 + 2019232866094839490774107655151099728617493645358969/33286958291843\ 942717819939760558902539223971157051*c_1001_2^10 + 6508292345091974040267331242961878630880440487433702/33286958291843\ 942717819939760558902539223971157051*c_1001_2^9 + 11483957769849843666111188917525177850888711255418471/6657391658368\ 7885435639879521117805078447942314102*c_1001_2^8 + 2087735264636543771353467565920023168002271376268445/33286958291843\ 942717819939760558902539223971157051*c_1001_2^7 + 3937437272395536096960359428090273192291871653264551/66573916583687\ 885435639879521117805078447942314102*c_1001_2^6 + 5150594853947371319283513729955909504285213980260979/66573916583687\ 885435639879521117805078447942314102*c_1001_2^5 + 1328102134684699245655024620761677875405532208564502/33286958291843\ 942717819939760558902539223971157051*c_1001_2^4 + 1344918925850742971329381357066046165137350502807865/66573916583687\ 885435639879521117805078447942314102*c_1001_2^3 + 627688373787072895625963966157348147264570096469330/332869582918439\ 42717819939760558902539223971157051*c_1001_2^2 + 215443434028908962429086100234407518184449044965436/332869582918439\ 42717819939760558902539223971157051*c_1001_2 + 37559225203590441359169208758572672646551317610169/3328695829184394\ 2717819939760558902539223971157051, c_0101_8 - 517153172996210072743833565662851116741729635/33286958291843\ 942717819939760558902539223971157051*c_1001_2^23 + 1623068379011081064543345692814690704457367736793/33286958291843942\ 717819939760558902539223971157051*c_1001_2^22 - 2341815367945120289212112604119647074832371328575/33286958291843942\ 717819939760558902539223971157051*c_1001_2^21 - 9942121749236843320344199891025868964493468065007/33286958291843942\ 717819939760558902539223971157051*c_1001_2^20 - 13555996040223947491832859942828387151972151278031/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^19 + 46299353527094065050210379350257898153626213396802/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^18 + 23456574896624281388275426807430846704843807049825/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^17 - 145465437949600757953896979860148941084767923332305/332869582918439\ 42717819939760558902539223971157051*c_1001_2^16 - 292079873131493617688524142501166679301553964845669/332869582918439\ 42717819939760558902539223971157051*c_1001_2^15 + 314443647448677362930169515147639351867260057589908/332869582918439\ 42717819939760558902539223971157051*c_1001_2^14 + 704727695639348845953100112313965336521140898782880/332869582918439\ 42717819939760558902539223971157051*c_1001_2^13 - 179798152291153900721132202051319863884399375868985/332869582918439\ 42717819939760558902539223971157051*c_1001_2^12 - 805611348599535639959791173857241546996448155039286/332869582918439\ 42717819939760558902539223971157051*c_1001_2^11 + 1721042175352655837411326804936263714370506980451321/33286958291843\ 942717819939760558902539223971157051*c_1001_2^10 + 3912791705182609416020901043512091132632340894050856/33286958291843\ 942717819939760558902539223971157051*c_1001_2^9 + 1706907711628252805720894628947478445476849216658154/33286958291843\ 942717819939760558902539223971157051*c_1001_2^8 + 55458889488933822482721088356242307663496356632765/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^7 + 1337831948442816591208109000274590818986873313261798/33286958291843\ 942717819939760558902539223971157051*c_1001_2^6 + 1179454239742082848152027754469575251220095397751788/33286958291843\ 942717819939760558902539223971157051*c_1001_2^5 + 46298608347421459504371805930306437973562444209170/3328695829184394\ 2717819939760558902539223971157051*c_1001_2^4 + 260256160575664341255437174484485660339047151284394/332869582918439\ 42717819939760558902539223971157051*c_1001_2^3 + 203970889772617134642613096093397793392159570833447/332869582918439\ 42717819939760558902539223971157051*c_1001_2^2 - 46053910945598826079266233436069693251932522053528/3328695829184394\ 2717819939760558902539223971157051*c_1001_2 + 2244231458106369151583951812310709919515596185116/33286958291843942\ 717819939760558902539223971157051, c_1001_2^24 - 4/5*c_1001_2^23 - 34/5*c_1001_2^22 - 63/5*c_1001_2^21 + 107/5*c_1001_2^20 + 151/5*c_1001_2^19 - 368/5*c_1001_2^18 - 1159/5*c_1001_2^17 + 273/5*c_1001_2^16 + 2528/5*c_1001_2^15 + 1032/5*c_1001_2^14 - 2193/5*c_1001_2^13 + 3699/5*c_1001_2^12 + 14806/5*c_1001_2^11 + 14312/5*c_1001_2^10 + 1437*c_1001_2^9 + 6558/5*c_1001_2^8 + 6949/5*c_1001_2^7 + 4013/5*c_1001_2^6 + 2426/5*c_1001_2^5 + 1739/5*c_1001_2^4 + 856/5*c_1001_2^3 + 268/5*c_1001_2^2 + 44/5*c_1001_2 + 4/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.790 Total time: 5.000 seconds, Total memory usage: 83.31MB