Magma V2.19-8 Wed Aug 21 2013 00:07:38 on localhost [Seed = 442266909] Type ? for help. Type -D to quit. Loading file "K13n2305__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2305 geometric_solution 11.63438765 oriented_manifold CS_known 0.0000000000000002 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 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.919538202044 1.609463982227 0 5 4 6 0132 0132 1230 0132 0 0 0 0 0 1 -1 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 10 -11 1 11 0 -11 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.432996416390 0.471044587870 7 0 9 8 0132 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 0 -1 1 0 0 -1 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.340084820265 0.772574791842 10 8 5 0 0132 0321 2031 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 0 0 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.174459420274 0.495641475105 5 10 0 1 2031 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -11 11 -1 -10 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358152744855 1.123675902998 9 1 4 3 2103 0132 1302 1302 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 0 10 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.418594545080 1.188863977796 10 11 1 11 2103 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.085469770998 1.014777444917 2 9 8 12 0132 2103 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 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.527297899668 0.374003821112 7 11 2 3 2031 0213 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 -1 1 0 0 0 1 -1 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.348336415483 0.817474681650 12 7 5 2 0132 2103 2103 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.379289230643 0.579844232545 3 12 6 4 0132 0132 2103 3201 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 0 0 10 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.430933487670 0.771991675266 12 6 8 6 3120 0132 0213 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.085469770998 1.014777444917 9 10 7 11 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.630103249037 0.931967303209 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_4'], 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0110_4'], 'c_1001_4' : negation(d['c_1001_12']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0110_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_1001_12']), 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_0110_4'], 'c_1010_10' : d['c_1001_12'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0101_0'], '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' : 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' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : negation(d['c_0110_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_0'], 'c_1100_10' : negation(d['c_0011_4']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_4'], 'c_1010_0' : negation(d['c_1001_12']), 'c_1010_9' : negation(d['c_1001_12']), 'c_1010_8' : d['c_1001_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_8']), '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_10'], '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_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_4']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_8']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : negation(d['c_0011_8']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_5']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_8']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_12'], 'c_1100_8' : negation(d['c_0110_5'])})} 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_4, c_0011_8, c_0101_0, c_0101_1, c_0101_12, c_0110_4, c_0110_5, c_1001_0, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 13767349373334838480315751141967514/5060600646415035399771394233091\ 005*c_1001_12^17 + 2976090951613305037816239369292531/5060600646415\ 035399771394233091005*c_1001_12^16 - 35185425290473695436564933804360514/1012120129283007079954278846618\ 201*c_1001_12^15 + 271102289793142110010590325352908027/16868668821\ 38345133257131411030335*c_1001_12^14 - 513665236615102805760062995264565488/168686688213834513325713141103\ 0335*c_1001_12^13 + 2141758483371395289960142340465203487/506060064\ 6415035399771394233091005*c_1001_12^12 - 291431814477955750542461080082647790/337373376427669026651426282206\ 067*c_1001_12^11 + 1675595658037447703384216952167997358/1012120129\ 283007079954278846618201*c_1001_12^10 - 1567222861540980593859869152913977517/72294294948786219996734203329\ 8715*c_1001_12^9 + 2623035557627004953573890670660232263/1012120129\ 283007079954278846618201*c_1001_12^8 - 14612173913019153521442561691273122766/5060600646415035399771394233\ 091005*c_1001_12^7 + 1900594728449219514312331536586771763/56228896\ 0712781711085710470343445*c_1001_12^6 - 8503675401501627759608532403641407777/16868668821383451332571314110\ 30335*c_1001_12^5 + 28935948907068394839757432806099976354/50606006\ 46415035399771394233091005*c_1001_12^4 - 717316324555744498719657117996014128/153351534739849557568830128275\ 485*c_1001_12^3 + 2281613673918420767031460128406272847/56228896071\ 2781711085710470343445*c_1001_12^2 - 14295956496327877352195383209854669851/5060600646415035399771394233\ 091005*c_1001_12 + 458558330061308842158050490820095118/56228896071\ 2781711085710470343445, c_0011_0 - 1, c_0011_10 + 23136236751171380490012806/397085226143015428992317645*c_10\ 01_12^17 - 12139225403308449409600459/397085226143015428992317645*c\ _1001_12^16 + 58981248758500148496124253/79417045228603085798463529\ *c_1001_12^15 - 1454916917899347709267333724/3970852261430154289923\ 17645*c_1001_12^14 + 2987508602836371430008014156/39708522614301542\ 8992317645*c_1001_12^13 - 4225934867803988970440709693/397085226143\ 015428992317645*c_1001_12^12 + 1626046468237104548992004008/7941704\ 5228603085798463529*c_1001_12^11 - 3195746489993680681581191414/79417045228603085798463529*c_1001_12^1\ 0 + 3152811325756010698194656443/56726460877573632713188235*c_1001_\ 12^9 - 5236538254812739245336885000/79417045228603085798463529*c_10\ 01_12^8 + 29572789214748829915637891089/397085226143015428992317645\ *c_1001_12^7 - 34743334229143406705936668133/3970852261430154289923\ 17645*c_1001_12^6 + 49970236512218019133126099944/39708522614301542\ 8992317645*c_1001_12^5 - 60682725920663349351178393211/397085226143\ 015428992317645*c_1001_12^4 + 51795555815681891566066851231/3970852\ 26143015428992317645*c_1001_12^3 - 42555655578805210166091021552/397085226143015428992317645*c_1001_12\ ^2 + 32677963950566987194412496199/397085226143015428992317645*c_10\ 01_12 - 11732336134421464028785982518/397085226143015428992317645, c_0011_11 - 237846245991315783323985486/397085226143015428992317645*c_1\ 001_12^17 + 90490354863771244822546269/397085226143015428992317645*\ c_1001_12^16 - 603710322442821685320680412/794170452286030857984635\ 29*c_1001_12^15 + 14551196857271985830332963794/3970852261430154289\ 92317645*c_1001_12^14 - 28574251291462732546533195471/3970852261430\ 15428992317645*c_1001_12^13 + 39722027343487142030841899118/3970852\ 26143015428992317645*c_1001_12^12 - 15805016037769858098880422394/79417045228603085798463529*c_1001_12^\ 11 + 30794293872725897017214479421/79417045228603085798463529*c_100\ 1_12^10 - 29489602133794519714523943563/56726460877573632713188235*\ c_1001_12^9 + 48964519116044150559692346520/79417045228603085798463\ 529*c_1001_12^8 - 276746412849270718692000459684/397085226143015428\ 992317645*c_1001_12^7 + 323419251145166516778409030463/397085226143\ 015428992317645*c_1001_12^6 - 478327595812328125432646018824/397085\ 226143015428992317645*c_1001_12^5 + 562280098382358571213435520171/397085226143015428992317645*c_1001_1\ 2^4 - 465769572116298030023023216676/397085226143015428992317645*c_\ 1001_12^3 + 397613876772101384525618689227/397085226143015428992317\ 645*c_1001_12^2 - 288868116378124995174214177794/397085226143015428\ 992317645*c_1001_12 + 90695682145417592584229259263/397085226143015\ 428992317645, c_0011_4 - 139168579530354296803987573/1191255678429046286976952935*c_1\ 001_12^17 + 81493726363353215573112697/1191255678429046286976952935\ *c_1001_12^16 - 352817239836769517859709280/23825113568580925739539\ 0587*c_1001_12^15 + 2954603150622959741487520499/397085226143015428\ 992317645*c_1001_12^14 - 6110505105731891956810667516/3970852261430\ 15428992317645*c_1001_12^13 + 25730730241491386553296620499/1191255\ 678429046286976952935*c_1001_12^12 - 3297726074454390516156467442/79417045228603085798463529*c_1001_12^1\ 1 + 19533831048932166439793819269/238251135685809257395390587*c_100\ 1_12^10 - 19316141711923544626174287884/170179382632720898139564705\ *c_1001_12^9 + 31836463979858779850277533873/2382511356858092573953\ 90587*c_1001_12^8 - 181497756614228128312604595757/1191255678429046\ 286976952935*c_1001_12^7 + 70392685240786986210672661873/3970852261\ 43015428992317645*c_1001_12^6 - 101629119286571924539624148309/3970\ 85226143015428992317645*c_1001_12^5 + 372774014232500836070830460608/1191255678429046286976952935*c_1001_\ 12^4 - 104662109320507670220176485656/397085226143015428992317645*c\ _1001_12^3 + 87166934127665631108576549922/397085226143015428992317\ 645*c_1001_12^2 - 200009013738147099012032519512/119125567842904628\ 6976952935*c_1001_12 + 23026935497938012798223553938/39708522614301\ 5428992317645, c_0011_8 - 69439370251688460291676444/1191255678429046286976952935*c_10\ 01_12^17 + 34856203012199909509713631/1191255678429046286976952935*\ c_1001_12^16 - 177270763048450412844493586/238251135685809257395390\ 587*c_1001_12^15 + 1449756022266999724487281802/3970852261430154289\ 92317645*c_1001_12^14 - 2962082167936377899534410488/39708522614301\ 5428992317645*c_1001_12^13 + 12638267153239830604416118817/11912556\ 78429046286976952935*c_1001_12^12 - 1624992952929746369197943282/79417045228603085798463529*c_1001_12^1\ 1 + 9522365129066154969760723444/238251135685809257395390587*c_1001\ _12^10 - 9398551878310528166242719872/170179382632720898139564705*c\ _1001_12^9 + 15696946324476752885947553012/238251135685809257395390\ 587*c_1001_12^8 - 88456607870808720566542368586/1191255678429046286\ 976952935*c_1001_12^7 + 34463420107668045006203364764/3970852261430\ 15428992317645*c_1001_12^6 - 50008709700262628197012211302/39708522\ 6143015428992317645*c_1001_12^5 + 180193415084025261838200103654/11\ 91255678429046286976952935*c_1001_12^4 - 51789658190642175599259687348/397085226143015428992317645*c_1001_12\ ^3 + 42743583841271859604644479641/397085226143015428992317645*c_10\ 01_12^2 - 96593684085135080098672831546/119125567842904628697695293\ 5*c_1001_12 + 11885997888024613603598125164/39708522614301542899231\ 7645, c_0101_0 - 1841032121454721370740289/1191255678429046286976952935*c_100\ 1_12^17 + 70063343015032729141470311/1191255678429046286976952935*c\ _1001_12^16 + 13923961372762856081418419/23825113568580925739539058\ 7*c_1001_12^15 + 372048400033936098163416437/3970852261430154289923\ 17645*c_1001_12^14 - 932343790211173464810309468/397085226143015428\ 992317645*c_1001_12^13 + 3655216969605319882977627157/1191255678429\ 046286976952935*c_1001_12^12 - 348272712641052230988958103/79417045\ 228603085798463529*c_1001_12^11 + 2959459073510569691111153843/2382\ 51135685809257395390587*c_1001_12^10 - 2991553569641086233094592737/170179382632720898139564705*c_1001_12^\ 9 + 4412675141704404222560006470/238251135685809257395390587*c_1001\ _12^8 - 30172189028542246123579195076/1191255678429046286976952935*\ c_1001_12^7 + 8617858408336357112239846724/397085226143015428992317\ 645*c_1001_12^6 - 14877864451173227540747124717/3970852261430154289\ 92317645*c_1001_12^5 + 64083346038933236768061658079/11912556784290\ 46286976952935*c_1001_12^4 - 14910181037917446533540583053/39708522\ 6143015428992317645*c_1001_12^3 + 13822999381135473800857581516/397\ 085226143015428992317645*c_1001_12^2 - 36321188564031502471440448316/1191255678429046286976952935*c_1001_1\ 2 + 2900837384015987817546627609/397085226143015428992317645, c_0101_1 - 279411295727259882354499571/1191255678429046286976952935*c_1\ 001_12^17 - 44901890701594224102500536/1191255678429046286976952935\ *c_1001_12^16 - 731955549181831315243220446/23825113568580925739539\ 0587*c_1001_12^15 + 5018911461815846461731242958/397085226143015428\ 992317645*c_1001_12^14 - 8868232894689233476079750472/3970852261430\ 15428992317645*c_1001_12^13 + 36542891475013304443910317723/1191255\ 678429046286976952935*c_1001_12^12 - 5289529600285561926610873182/79417045228603085798463529*c_1001_12^1\ 1 + 29243587824591344312660026145/238251135685809257395390587*c_100\ 1_12^10 - 26323980570824988875279183143/170179382632720898139564705\ *c_1001_12^9 + 44789195431955435196831755428/2382511356858092573953\ 90587*c_1001_12^8 - 243327022509867876019418521274/1191255678429046\ 286976952935*c_1001_12^7 + 99379405793813218822653501161/3970852261\ 43015428992317645*c_1001_12^6 - 150531049421140800161218466383/3970\ 85226143015428992317645*c_1001_12^5 + 482973472247106907233568664681/1191255678429046286976952935*c_1001_\ 12^4 - 131864598860210722693895135972/397085226143015428992317645*c\ _1001_12^3 + 116175966912918207507257893069/39708522614301542899231\ 7645*c_1001_12^2 - 223261631414876260113029437124/11912556784290462\ 86976952935*c_1001_12 + 19457299818136659649869052141/3970852261430\ 15428992317645, c_0101_12 - 91098017666475017737874/1191255678429046286976952935*c_1001\ _12^17 + 345188807298670136597261/1191255678429046286976952935*c_10\ 01_12^16 - 282932633312361862956559/238251135685809257395390587*c_1\ 001_12^15 + 3054878908583827098272027/397085226143015428992317645*c\ _1001_12^14 - 10290699509591146814769038/39708522614301542899231764\ 5*c_1001_12^13 + 58086516042679962542533762/11912556784290462869769\ 52935*c_1001_12^12 - 4307785076523232750295177/79417045228603085798\ 463529*c_1001_12^11 + 24271534939185263406908102/238251135685809257\ 395390587*c_1001_12^10 - 43432457554945826563616047/170179382632720\ 898139564705*c_1001_12^9 + 68517788655478611127724602/2382511356858\ 09257395390587*c_1001_12^8 - 192559375749519277921709936/1191255678\ 429046286976952935*c_1001_12^7 + 119235899782859293773972354/397085\ 226143015428992317645*c_1001_12^6 - 222502653702823691704991417/397085226143015428992317645*c_1001_12^5 + 623396944003940271165758339/1191255678429046286976952935*c_1001_1\ 2^4 - 191484078461601552156588773/397085226143015428992317645*c_100\ 1_12^3 + 228880896898610766623233736/397085226143015428992317645*c_\ 1001_12^2 - 694061770402790936351469356/119125567842904628697695293\ 5*c_1001_12 + 274497164561334446229868179/3970852261430154289923176\ 45, c_0110_4 + 163388525328127330296348702/397085226143015428992317645*c_10\ 01_12^17 - 46602670540115273167096328/397085226143015428992317645*c\ _1001_12^16 + 416133828512832082124018091/7941704522860308579846352\ 9*c_1001_12^15 - 9795558260516928575246234018/397085226143015428992\ 317645*c_1001_12^14 + 18840030002507512546061754312/397085226143015\ 428992317645*c_1001_12^13 - 26119505404919708205430432786/397085226\ 143015428992317645*c_1001_12^12 + 10553439521110801221680019908/794\ 17045228603085798463529*c_1001_12^11 - 20396504531238067573319244165/79417045228603085798463529*c_1001_12^\ 10 + 19287578287028310403330200131/56726460877573632713188235*c_100\ 1_12^9 - 32162454418558475734890674994/79417045228603085798463529*c\ _1001_12^8 + 180877035138026594394868538983/39708522614301542899231\ 7645*c_1001_12^7 - 212255051211393935217674353666/39708522614301542\ 8992317645*c_1001_12^6 + 316338958244297837592586075088/39708522614\ 3015428992317645*c_1001_12^5 - 365607989543186859393535442497/39708\ 5226143015428992317645*c_1001_12^4 + 301489059741536031371343652997/397085226143015428992317645*c_1001_1\ 2^3 - 259760940536989223170872107084/397085226143015428992317645*c_\ 1001_12^2 + 184448510892638708224062314993/397085226143015428992317\ 645*c_1001_12 - 55675466246590327441293384746/397085226143015428992\ 317645, c_0110_5 - 15823590231032267534399/238251135685809257395390587*c_1001_1\ 2^17 + 137071138705156876019543/238251135685809257395390587*c_1001_\ 12^16 + 30255982013646899728588/238251135685809257395390587*c_1001_\ 12^15 + 874792127315309197283172/79417045228603085798463529*c_1001_\ 12^14 - 2293586510990704279372661/79417045228603085798463529*c_1001\ _12^13 + 1540400437527949491623911/238251135685809257395390587*c_10\ 01_12^12 - 2218968287919705118460196/79417045228603085798463529*c_1\ 001_12^11 + 34247863323655251843340750/238251135685809257395390587*\ c_1001_12^10 - 4080760378146450802667182/34035876526544179627912941\ *c_1001_12^9 + 5023463322307867802645318/23825113568580925739539058\ 7*c_1001_12^8 - 34761316855916282021244098/238251135685809257395390\ 587*c_1001_12^7 + 19495934641463738921036564/7941704522860308579846\ 3529*c_1001_12^6 - 7239411648900505952423544/7941704522860308579846\ 3529*c_1001_12^5 + 195095911786575204801539000/23825113568580925739\ 5390587*c_1001_12^4 + 61371156703553962124850210/794170452286030857\ 98463529*c_1001_12^3 + 10929871125603308775575557/79417045228603085\ 798463529*c_1001_12^2 - 267588666872421028992266147/238251135685809\ 257395390587*c_1001_12 - 49305559902851390872421094/794170452286030\ 85798463529, c_1001_0 + 23338315998628254837488046/397085226143015428992317645*c_100\ 1_12^17 - 11745954311613338780140834/397085226143015428992317645*c_\ 1001_12^16 + 59492098310501715540116248/79417045228603085798463529*\ c_1001_12^15 - 1462191599043077679767581294/39708522614301542899231\ 7645*c_1001_12^14 + 2983614637554579836584174416/397085226143015428\ 992317645*c_1001_12^13 - 4225399370423778779395227408/3970852261430\ 15428992317645*c_1001_12^12 + 1632926326812093716246589878/79417045\ 228603085798463529*c_1001_12^11 - 3198485218530319901437669134/7941\ 7045228603085798463529*c_1001_12^10 + 3147990656642522444992325518/56726460877573632713188235*c_1001_12^9 - 5238451872270140279791270444/79417045228603085798463529*c_1001_12\ ^8 + 29614332496489449544508973444/397085226143015428992317645*c_10\ 01_12^7 - 34703182464523178544845310678/397085226143015428992317645\ *c_1001_12^6 + 50198766974184807427385268384/3970852261430154289923\ 17645*c_1001_12^5 - 60283223016342885614140236016/39708522614301542\ 8992317645*c_1001_12^4 + 51772036635568608708324797956/397085226143\ 015428992317645*c_1001_12^3 - 42940768613170541091962476977/3970852\ 26143015428992317645*c_1001_12^2 + 32400026324444131188994608714/397085226143015428992317645*c_1001_12 - 11725452872670964992408518953/397085226143015428992317645, c_1001_1 + 279411295727259882354499571/1191255678429046286976952935*c_1\ 001_12^17 + 44901890701594224102500536/1191255678429046286976952935\ *c_1001_12^16 + 731955549181831315243220446/23825113568580925739539\ 0587*c_1001_12^15 - 5018911461815846461731242958/397085226143015428\ 992317645*c_1001_12^14 + 8868232894689233476079750472/3970852261430\ 15428992317645*c_1001_12^13 - 36542891475013304443910317723/1191255\ 678429046286976952935*c_1001_12^12 + 5289529600285561926610873182/79417045228603085798463529*c_1001_12^1\ 1 - 29243587824591344312660026145/238251135685809257395390587*c_100\ 1_12^10 + 26323980570824988875279183143/170179382632720898139564705\ *c_1001_12^9 - 44789195431955435196831755428/2382511356858092573953\ 90587*c_1001_12^8 + 243327022509867876019418521274/1191255678429046\ 286976952935*c_1001_12^7 - 99379405793813218822653501161/3970852261\ 43015428992317645*c_1001_12^6 + 150531049421140800161218466383/3970\ 85226143015428992317645*c_1001_12^5 - 482973472247106907233568664681/1191255678429046286976952935*c_1001_\ 12^4 + 131864598860210722693895135972/397085226143015428992317645*c\ _1001_12^3 - 116175966912918207507257893069/39708522614301542899231\ 7645*c_1001_12^2 + 223261631414876260113029437124/11912556784290462\ 86976952935*c_1001_12 - 19457299818136659649869052141/3970852261430\ 15428992317645, c_1001_12^18 - c_1001_12^17 + 13*c_1001_12^16 - 69*c_1001_12^15 + 159*c_1001_12^14 - 245*c_1001_12^13 + 441*c_1001_12^12 - 860*c_1001_12^11 + 1286*c_1001_12^10 - 1597*c_1001_12^9 + 1834*c_1001_12^8 - 2121*c_1001_12^7 + 2895*c_1001_12^6 - 3664*c_1001_12^5 + 3513*c_1001_12^4 - 2964*c_1001_12^3 + 2308*c_1001_12^2 - 1191*c_1001_12 + 261 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1237.610 Total time: 1237.819 seconds, Total memory usage: 4535.66MB