Magma V2.19-8 Tue Aug 20 2013 23:40:29 on localhost [Seed = 4155609980] Type ? for help. Type -D to quit. Loading file "K12n306__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n306 geometric_solution 10.64211672 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 0 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862962284779 0.872856667242 0 4 0 5 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 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 3 -3 0 0 0 0 -3 0 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427205486982 0.579361947174 6 7 3 0 0132 0132 2031 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 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.339908516068 0.715625778437 8 6 0 2 0132 2310 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.331310502317 0.914249471309 7 1 9 10 0213 0132 0132 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 0 0 0 0 0 0 -1 1 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557698839445 0.706469239606 6 11 1 10 2103 0132 0132 0213 0 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 -1 3 -2 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.069344854231 1.343996128474 2 9 5 3 0132 3012 2103 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 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.063348963430 0.700610191972 4 2 10 11 0213 0132 2310 0213 0 0 0 0 0 0 0 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 -1 0 1 1 0 2 -3 0 1 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186164682452 0.557745488326 3 10 9 11 0132 3012 2310 2310 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.134593341358 2.037492032084 6 8 11 4 1230 3201 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090659861470 0.376121515492 8 7 4 5 1230 3201 0132 0213 0 0 0 0 0 1 0 -1 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 -2 0 2 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732859651168 1.510370650213 8 5 9 7 3201 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077656740993 0.436388998545 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0011_10'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_1001_0']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0101_1']), 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(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_1100_9' : d['c_1001_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_1001_11'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_2'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_1001_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0101_10']), 's_3_1' : negation(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' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0110_6' : d['c_0101_2'], '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' : d['c_0011_2'], 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_2']), 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_10']), 'c_1100_8' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 4553956739510298012859736009403019875917721132798163648609401891272\ 143/915820125304129122025554685199571460265190942392818137362050201\ 916352*c_1001_11^25 - 865869807073308460633396293047230056073220871\ 6012571977486154435099/34429328018952222632539649819532761664104922\ 64634654651737030834272*c_1001_11^24 - 7112279185100075349275323575538274521167925739447940208608418771501\ 9/12178459113086823431190886771270897077994560404159815656410242046\ 76*c_1001_11^23 + 5411778336381713813394468661621371363773727126388\ 43636357634434569/1831347235050650140028704777634721365111963970550\ 3482190090589544*c_1001_11^22 + 19638246012817014356689223819159144\ 843764702784342255813671989075223633/572387578315080701265971678249\ 73216266574433899551133585128137619772*c_1001_11^21 - 3093550500798581744845725007224370011966136881742353374549058188007\ 52775/9158201253041291220255546851995714602651909423928181373620502\ 01916352*c_1001_11^20 - 5957812629625263614493285001305861506556486\ 27853447806687607628608126145/4579100626520645610127773425997857301\ 32595471196409068681025100958176*c_1001_11^19 + 1818725249417050236778685505881946047752679424110696626289709481434\ 16247/1308314464720184460036506693142244943235987060561168767660071\ 71702336*c_1001_11^18 + 9879152174168876219033463584341710810403735\ 045642583810050348441801091/284416187982648795660110150683096726790\ 4319696872106016652329819616*c_1001_11^17 - 2202905217846467485654441537055904107496939931412612673063648738572\ 734521/305273375101376374008518228399857153421730314130939379120683\ 400638784*c_1001_11^16 - 140107767585122063198234802215737025300638\ 950360875617652829044105483363/457910062652064561012777342599785730\ 132595471196409068681025100958176*c_1001_11^15 + 4005329852392983999770195211690771167521318175426086781158587042437\ 14859/4361048215733948200121688977140816477453290201870562558866905\ 7234112*c_1001_11^14 - 92708346835290980675291148595058958248868622\ 787794133811404762626135101/152636687550688187004259114199928576710\ 865157065469689560341700319392*c_1001_11^13 - 1212136460368003124301253258884723424735064691587756378629908438875\ 954255/436104821573394820012168897714081647745329020187056255886690\ 57234112*c_1001_11^12 + 3262445652436072108171880880726171626799185\ 157214162241260462214188321927/654157232360092230018253346571122471\ 61799353028058438383003585851168*c_1001_11^11 - 4486143043153268350734261669648031924344071862708561302774514557850\ 419959/130831446472018446003650669314224494323598706056116876766007\ 171702336*c_1001_11^10 + 105599731762172052489970212247429512993506\ 67519498658125932661340757682301/9158201253041291220255546851995714\ 60265190942392818137362050201916352*c_1001_11^9 - 5982571829508199588579556079330261093179967352089917647422711506185\ 070779/915820125304129122025554685199571460265190942392818137362050\ 201916352*c_1001_11^8 + 1014624675551356039047138514456518087854097\ 915534685969794578430984543031/915820125304129122025554685199571460\ 265190942392818137362050201916352*c_1001_11^7 + 5493737959910979212831300502786332128822701762328074106716496502318\ 8323/36779924711009201687773280530103271496594013750715587845865469\ 95648*c_1001_11^6 - 18987762363751923777738701743193174285690498113\ 6932802027889905569562105/13272755439190277130805140365211180583553\ 491918736494744377539158208*c_1001_11^5 + 1270160761470154279066781559155233188313534682649267983058238565026\ 68871/7631834377534409350212955709996428835543257853273484478017085\ 0159696*c_1001_11^4 + 135327936721493265944219902607082775585365039\ 4641280837986521581717603993/13083144647201844600365066931422449432\ 3598706056116876766007171702336*c_1001_11^3 - 3618248650079079576539770035169780479806193029092648726186593928910\ 532479/152636687550688187004259114199928576710865157065469689560341\ 700319392*c_1001_11^2 + 1248067729324371606408099451924867251239929\ 1549713971090862913636453355889/91582012530412912202555468519957146\ 0265190942392818137362050201916352*c_1001_11 - 2407299548465704376727318320469225779486591351172966845936892384370\ 579183/457910062652064561012777342599785730132595471196409068681025\ 100958176, c_0011_0 - 1, c_0011_10 + 149383357391371073141172276321094982463750321442002059/7203\ 74562709401575873099645665228025774199364841501905448*c_1001_11^25 - 10840015582955319857075953955001870090817963307575651/1800936406773\ 50393968274911416307006443549841210375476362*c_1001_11^24 - 466135026143764748336826872663264408907469742984568639/180093640677\ 350393968274911416307006443549841210375476362*c_1001_11^23 + 58550069695021444494386015955876752409465635307646937/3601872813547\ 00787936549822832614012887099682420750952724*c_1001_11^22 + 1398625577019173303668244524371504112456890249072867324/90046820338\ 675196984137455708153503221774920605187738181*c_1001_11^21 - 3652323025370430123513269014871534259169547292435894033/72037456270\ 9401575873099645665228025774199364841501905448*c_1001_11^20 - 5410288000200513725434978582881507208079989011040809390/90046820338\ 675196984137455708153503221774920605187738181*c_1001_11^19 + 12802459484095649926190499341099933232366824246044073131/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^18 + 63808086948681306682664367009731315071905218991135762457/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^17 - 102683586962958849847523742956325627574797882694166421105/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^16 - 9345634936253402245396899955512178627926564908366694533/90046820338\ 675196984137455708153503221774920605187738181*c_1001_11^15 + 94684350983479983844864293963151017623148852340393854629/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^14 + 115674082526831668007919277293158871227130137938312755559/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^13 - 503081986184434758342482048095430412508500316968220948869/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^12 + 134109241531945286659874776947224890563365942768149520497/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^11 - 803787196676967596667034223858311332593899601051491173639/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^10 + 1046824691295981660451772995866709134381725957478712660493/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^9 - 748357525710143733934414120106561528284687348973017241855/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^8 - 421970641320218252014727499473982561356170896800098612751/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^7 + 425350851184913433756707465477265261819024844900889089057/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^6 + 128749566509027560499188919227937770742014779952794904959/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^5 + 118147770849535769350415114389487780818623823732331662265/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^4 - 963671920342783047500254736376198146216376388202754218497/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^3 - 137378256323562907687220676796591404198276798786638319451/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^2 - 77250406073597040386794779109875116064263285068551514643/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11 - 254698967951252542100844828329247803704824387208614964231/360187281\ 354700787936549822832614012887099682420750952724, c_0011_11 + 403099952154615450756886345177490428060463497981378811/7203\ 74562709401575873099645665228025774199364841501905448*c_1001_11^25 + 172368645617741328625588648051796280710414450726741241/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^24 - 610158253699498431535127628134162117608465286303700032/900468203386\ 75196984137455708153503221774920605187738181*c_1001_11^23 - 1085318907067174815452894181833525458505724448542678437/18009364067\ 7350393968274911416307006443549841210375476362*c_1001_11^22 + 3665972574851047546365465192374529056634429486952968995/90046820338\ 675196984137455708153503221774920605187738181*c_1001_11^21 + 13814432374743425091506368064957408160994344861418741613/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^20 - 65677862160219905949793838088915204565865829189854681013/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^19 - 54449672166020382832242938142128470846724662631245855607/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^18 + 197337927529878407494722285878874730722909526444453089809/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^17 - 99625584239841621383662181215489281428035922178520598735/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^16 - 351643546961414053387441606479022121141260073480463367861/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^15 + 337909311415207833967547885521468682417423552697215294647/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^14 + 521497806115784348085256917844829009357924546755633377825/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^13 - 1759978885391631911636998906143341925975268533594325996279/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^12 + 399340823287236895052236065202476890098666014034567867541/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^11 + 1586536462093360153340617667033879083171751845972184575191/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^10 - 490999261592817697972684860441460701218940412042356566339/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^9 - 754277100587222678048747611032924077669705904917266096351/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^8 - 801199610477337854190584248323492655310242908640464762945/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^7 + 1362575909601330436636808581891621099474929708638666661447/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^6 + 1001082804167204231333695619542404679011905944748465482143/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^5 - 138567684410159835131262158247525120549341062018652585348/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^4 + 212859890773096692507448639456864520053797142313740255115/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^3 - 503539543422485056313564052564588722561681807604997231635/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^2 - 1669633295995933690345187756623975654003424924780008553027/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11 - 28786276235326037077851655913496679777613517098738332963/3601872813\ 54700787936549822832614012887099682420750952724, c_0011_2 + 655944545790537490628488030143568423854037023595655261/72037\ 4562709401575873099645665228025774199364841501905448*c_1001_11^25 + 346806121424710716215363556078255837266276020925959739/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^24 - 929723501927100631622980924501085256106300975556513555/900468203386\ 75196984137455708153503221774920605187738181*c_1001_11^23 - 1970151955717759086998059201502714490856643766753161591/18009364067\ 7350393968274911416307006443549841210375476362*c_1001_11^22 + 10620193954972067540286680035903285148360649342527393635/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^21 + 23739544449026178664116682283706586976032258241427108355/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^20 - 95199073964435310841041449189931761575184333720579861531/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^19 - 99484239697953487808424853117405566123203794949325611993/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^18 + 266454173321108580096483289766889638434981092953839394741/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^17 - 174894602993153741086112509461819888798735408293814162085/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^16 - 479266104478801167336011402441417552975656137831036354759/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^15 + 403116708386445874136135908504712658060883295160605496077/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^14 + 606210451750802705730617032777634011186229780799632057917/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^13 - 2686695043721947637795409513816751878789776724397122131465/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^12 + 709605278491557012468670045519578270235708773518298627447/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^11 + 1609695168965642496728181827883564457515194192110829551889/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^10 - 778646120482771898110332317644540422895508892794226760289/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^9 + 61611936342971155236856799189338105563703036873571686275/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^8 - 1333516044546487318240888704733174997832872647207791113887/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^7 + 1993617897397355282053433508500284653901167699168735445309/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^6 + 1297843227818059655490692794091669270961850432132077056409/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^5 - 47406409943549209874247468787387288123589525927107932687/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^4 + 990605990851246283451585725797698542636509077427399969441/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^3 - 615742988820518236570598673050339315000289767686535321681/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^2 - 1616091379783467445487856588706408310598115471034153154961/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11 + 160106100516128194205500278376182320157735610748062032391/360187281\ 354700787936549822832614012887099682420750952724, c_0011_3 + 694753894226680858080564148463148947650878090039883105/72037\ 4562709401575873099645665228025774199364841501905448*c_1001_11^25 - 25960656803612815705366630979732877550751727216526925/1800936406773\ 50393968274911416307006443549841210375476362*c_1001_11^24 - 2105535994153779601030960997142875782246548442258038105/18009364067\ 7350393968274911416307006443549841210375476362*c_1001_11^23 + 795704640903772776892754801600477603375315635621238689/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^22 + 12918682894476035354483488480535747505485997811130105655/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^21 - 33844092423321846163320911059799976375286667804525061499/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^20 - 26898311811953179302664615263527676215567649572242058866/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^19 + 152916370262269302912193548829092699403056961913635988629/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^18 + 309830499150020111569074199475621303476167347978897286855/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^17 - 942935258822853422712177893918248344176689947354026251327/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^16 - 156617248787594808888868554711599712868258164607760893041/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^15 + 1632869825666620156545231890008293100530663074460559156639/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^14 + 254033028556049787919420844171910021406474012053995759827/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^13 - 4641055021733964509605674758477745638494826648752212703023/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^12 + 671237669114339979044733100367427716848428108206659416580/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^11 - 943532873780973103500899168378457225886232949884483880985/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^10 - 2250746554374758934371222305985356132167231022684628139617/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^9 + 44779693491471146882948980290178844567671792264548239287/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^8 + 622311639900456564275422181187875847163913233276932785215/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^7 + 2527316738320499298207618473979627033857947411936166549007/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^6 - 1338449550064728649251087326914736330795311270637730732211/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^5 - 154257324384067117625218843923169178314235354179120336538/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^4 + 1887783375163963186452746244288303095290548529973182438097/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^3 - 444799912383255060734046871234555228967744713156559342871/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^2 + 682710301239379841915315313931732804003455458570323681123/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11 + 612568829136254660628309961235355015828690089468471647463/360187281\ 354700787936549822832614012887099682420750952724, c_0101_0 + 557329566986654363083052181199152625881160688026348373/18009\ 3640677350393968274911416307006443549841210375476362*c_1001_11^25 + 472801611927637503512790232057230722057684343739462639/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^24 - 3304357686563080873371479337498212611131339342820545928/90046820338\ 675196984137455708153503221774920605187738181*c_1001_11^23 - 5530045315700181543651815264230024519698384885526856835/36018728135\ 4700787936549822832614012887099682420750952724*c_1001_11^22 + 19686805006943105540988093118697586524835349922347090280/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^21 - 3905036777025222727591495618611725430819769456250170267/36018728135\ 4700787936549822832614012887099682420750952724*c_1001_11^20 - 338169032572339242920215057618193263454416404724021635127/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^19 + 23081811755617575709171130984625953656552062658449715079/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^18 + 243799314810398113879912672210245211557662928075568461888/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^17 - 825914346464730735326664438430224047918277030419761832559/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^16 - 1347122855625307080713944209376469220037017190128553739403/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^15 + 1506266884445074042630520384938162260752434345729352228719/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^14 + 860132080552919475546849571770463571213476350042168099397/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^13 - 5799634200065410423575591259977134491431295505378818104035/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^12 + 5269367738871292634706947791024820048083319725150870485939/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^11 + 623944446529169252915322756812644564712766579281269202423/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^10 - 639498638881619361589278962496602429404808596610644956319/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^9 - 351951158683675530266487684435596502483933867676274862611/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^8 - 397757937267531142993122610328828753262704864330756575531/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^7 + 3530212273473852015905671469813376696064916295305297433873/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^6 + 16365546393335998933619125193424096947167355295369109997/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^5 - 718429762506179937423592517560519641277245379665829780753/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^4 + 979531867704365257664498243266192984073227316067788979919/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^3 - 2725281827342057515559424220755450119699914944076785804087/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^2 - 233912556450895943571255407327303932338671697598267124693/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11 + 89596026218254982824665724070381442234403973384593528266/9004682033\ 8675196984137455708153503221774920605187738181, c_0101_1 + 4469698691383791861102448619143183998405700808362692/9004682\ 0338675196984137455708153503221774920605187738181*c_1001_11^25 + 93211611922587201857342500006584138491423328124787541/1800936406773\ 50393968274911416307006443549841210375476362*c_1001_11^24 - 46603780620803317762509632568798316704712275324014142/9004682033867\ 5196984137455708153503221774920605187738181*c_1001_11^23 - 588236616221095063059184524212643052440557495188289127/900468203386\ 75196984137455708153503221774920605187738181*c_1001_11^22 + 182795472863200641369872037508786640736028281270160588/900468203386\ 75196984137455708153503221774920605187738181*c_1001_11^21 + 6984937952967727020555989475616720607196783933092368387/18009364067\ 7350393968274911416307006443549841210375476362*c_1001_11^20 - 3524110282771704295806303313475568858811206976530381951/18009364067\ 7350393968274911416307006443549841210375476362*c_1001_11^19 - 14755549274374073788174148491638632542097959426902471084/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^18 + 12471730394238660583474935653309077727732435356908999815/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^17 + 83469503164360311412611532113102541291654745569607431757/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^16 - 38617361570376128968752344374234319108140846076713737013/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^15 - 51787672651696734468081956023156778300309602117123530429/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^14 + 75922681745266088384603871661880527365861717756201732643/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^13 + 123905699429150795308700490929487758757698801129935973509/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^12 - 419064183824786349413945229961098172089386655471526808825/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^11 + 242833216500772678610282430853532572883559306357947927720/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^10 + 72004765740788561848448839801069425642935864012832639353/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^9 - 56992175332063699044411230779220203558541647610298018132/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^8 - 80799149064209338879803822155743401537271383468134992184/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^7 - 92729654869636596992202102695610329616689103127696223211/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^6 + 127132788606187920116223193142477166542660496454988155337/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^5 + 38536400357311577015064486495749750228333045921730690893/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^4 - 99344464589373095567538827327917276679539295863535276291/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^3 + 63698988330594757460315114526407898620169080190768876849/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^2 - 178174422074891308177995747283669226509489878484397207636/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11 - 94032458110021222488457975218455537926229190738034894589/9004682033\ 8675196984137455708153503221774920605187738181, c_0101_10 + 30066075773934427331357656845008986148219225635052326/90046\ 820338675196984137455708153503221774920605187738181*c_1001_11^25 - 11347552779678271633592378171351419298721596017521499/3601872813547\ 00787936549822832614012887099682420750952724*c_1001_11^24 - 1271183831948532474099259319310000262191948677962598953/36018728135\ 4700787936549822832614012887099682420750952724*c_1001_11^23 + 429485448827293510455052172507416168935533309945285729/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^22 + 6938904799527032165323368840034995342802785871379743929/36018728135\ 4700787936549822832614012887099682420750952724*c_1001_11^21 - 7908315761978248309948610578280793904591709590542383405/36018728135\ 4700787936549822832614012887099682420750952724*c_1001_11^20 - 13248702836968730611768081782056134910976745078266753825/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^19 + 16154139003797587110165572296531919371637638478571550363/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^18 + 58595442362423910810612433584987637788789308169774995507/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^17 - 191939009624877295667790447690200868766132658486490077325/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^16 + 7999732797908671144722414020970062059992600879381667241/18009364067\ 7350393968274911416307006443549841210375476362*c_1001_11^15 + 117649106344257849067781966480502834331095042077489922057/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^14 - 154810329814901513991326795166535031739112471171735557131/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^13 - 731986712737506173985923982121855402414703328186976102367/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^12 + 301191758536644574065538297559936420326576102073705036041/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^11 - 217645579088851393243619086986067064205445916329107484077/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^10 - 144042695821576005505484723576172634514260522275016402181/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^9 + 92606279005116319863007724496480714435593531635727831617/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^8 + 117405249936740707277215637907519464275614526168953756331/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^7 + 65671288094170074449945688256295040466381600212977975972/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^6 - 571189836353204274465804279612451532007742931521203877469/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^5 + 239278322374211258416858209288177360985750410481825571205/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^4 + 302775119909258537954558936480990441109996432198648692227/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^3 - 240369568027397776899570617409349064430685912853118006269/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^2 + 748992625897728369436473182720669842030437158000098451225/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11 + 138546498518459065927569623625026366301854990670046691957/180093640\ 677350393968274911416307006443549841210375476362, c_0101_2 + 1162059671295624228921860850487408831856483107531573487/7203\ 74562709401575873099645665228025774199364841501905448*c_1001_11^25 + 112063377655817357623503937383325486603558283965512435/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^24 - 1812031714272339506092225898966182897542250413630701104/90046820338\ 675196984137455708153503221774920605187738181*c_1001_11^23 - 437510356361008153013240299356363025804959599575385077/900468203386\ 75196984137455708153503221774920605187738181*c_1001_11^22 + 22351427737445784088455333261408736574396472487767577005/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^21 - 13432522227446880017208214061803033391960694641418422427/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^20 - 190822653242371982750350368235960308161067375273554833699/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^19 + 74314784803737401167537464852251041085901686446238067025/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^18 + 573882052929116006973508210183629511568526764329720295035/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^17 - 951949386993105876296642711825474833872738003761904742035/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^16 - 763204009647740886737939716358891208720344584594572127007/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^15 + 1959893481699826481036772050647171422344688371199200021019/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^14 + 1046820576075961056548299006554519972266408498434690158943/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^13 - 6370320617351902567477126600199227381257944153281551385631/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^12 + 3086079293133556493865634298965962333874227660360366321915/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^11 + 1392790601554690324193182445547641322860494569427525023671/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^10 - 2244332940216585898317516699866382514765471225539057351955/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^9 - 1431859601141619443478449100460326136509121184644668269415/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^8 - 912048747493477748586612523294051808624722702990133090625/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^7 + 3719336940378464548593060913200058427144412782772947183547/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^6 - 406892022462935115668879915415064572659119139381185410853/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^5 - 361887726006629750776657976750368609170302546058882671165/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^4 + 882834652992596615142423414157701633229388706498272060435/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^3 - 2140252151859153633859191384523648680956857199730985865525/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^2 - 1430472978457394911834664685976467431776306890301595541043/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11 + 278975422259323651129536221450222298192732139008924236141/360187281\ 354700787936549822832614012887099682420750952724, c_0101_8 - 49292135964913534805639359735016102205620487962529001/180093\ 640677350393968274911416307006443549841210375476362*c_1001_11^25 + 47317460718981329460212465571310342331159153334646423/3601872813547\ 00787936549822832614012887099682420750952724*c_1001_11^24 + 303158440563377757401218325838530877445620760663738004/900468203386\ 75196984137455708153503221774920605187738181*c_1001_11^23 - 646186890814628092045828322434013250068082734324680901/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^22 - 3788784341899719905198038445948647711934946264477415443/18009364067\ 7350393968274911416307006443549841210375476362*c_1001_11^21 + 7440730868857384386795028014284765332276618061289316233/36018728135\ 4700787936549822832614012887099682420750952724*c_1001_11^20 + 31075852700155410136317076203162784416855726659498622421/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^19 - 33375354851900630183703155547935261180405360942637998403/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^18 - 22297605102527879876195888917236355470689354533407478579/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^17 + 169866973128125217539191481536453780257266290186040035975/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^16 + 72074372387720543590595693461556968671830038458214604687/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^15 - 290023885399667968301884921515157787044110090944955759601/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^14 - 3895492511202175731168318813670634993875038314272196020/90046820338\ 675196984137455708153503221774920605187738181*c_1001_11^13 + 733031066503878148508362724536255587065813213662701428661/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^12 - 939335132785111973243096952729910281489990526406343438241/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^11 + 261498615243463432302127549540765717187959877230085425225/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^10 + 252873974167234193932701949278320983810440522460558925591/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^9 - 95890646117793995389865473036224320383845311367527732933/1800936406\ 77350393968274911416307006443549841210375476362*c_1001_11^8 - 97117329677354235591911205723404470032908322330596089849/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^7 - 428117776906456609029380257570369802873260883283823749281/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^6 + 62772557789393390933194100954335421302082838431894349460/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^5 + 42516458487608702519632449031061724764366151756930316428/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^4 - 83099106424575482617850969242410245746205940979611978950/9004682033\ 8675196984137455708153503221774920605187738181*c_1001_11^3 + 303717716712468209697832018695427842060568233586045104355/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^2 - 117523388512268428371689611406851162791621304679469788359/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11 - 79207242525755709327672768187865999484766891710916482902/9004682033\ 8675196984137455708153503221774920605187738181, c_1001_0 + 1233179076886211829520663128573569873446675466228862295/7203\ 74562709401575873099645665228025774199364841501905448*c_1001_11^25 + 7841847739531980765434488951023551654199005761148951/90046820338675\ 196984137455708153503221774920605187738181*c_1001_11^24 - 7492475997958062635875445516729055506792703871346044423/36018728135\ 4700787936549822832614012887099682420750952724*c_1001_11^23 - 412590350379896814354739701444211059715114755212740421/360187281354\ 700787936549822832614012887099682420750952724*c_1001_11^22 + 45663273699444149947150631327814200413106606331331457081/3601872813\ 54700787936549822832614012887099682420750952724*c_1001_11^21 - 34889718175624994274648010952903409546797039592095424189/7203745627\ 09401575873099645665228025774199364841501905448*c_1001_11^20 - 191859726573737970687001362507604967689384911995146501283/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^19 + 158946160705106335092756470583870160609001045978915601093/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^18 + 279957593099437251190799052608236133845486216486402722361/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^17 - 1289394261588931217230593783954670131251179560645489672717/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^16 - 647538645524704646999099981713601888050663124324982905093/360187281\ 354700787936549822832614012887099682420750952724*c_1001_11^15 + 2258533805979655523602043525318982912365755734323864977015/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^14 + 387906239116767201032981703894386117773869869346513922615/180093640\ 677350393968274911416307006443549841210375476362*c_1001_11^13 - 7207880800580354870600052354771692164478836513306971082221/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^12 + 3919235214016305013193078011717759573101588657323234508681/36018728\ 1354700787936549822832614012887099682420750952724*c_1001_11^11 - 748282475969850235615126491216168940033221966553060035913/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^10 - 1948750902523101161266192720823930139772309875176729236837/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^9 - 1522839972757867785576264253365471459422954547333889427055/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^8 + 211144880141100231887170019252150386697809636303725224505/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11^7 + 4779676625957478293193737441881246755720809199402652155031/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^6 - 1444148107000316822052376320517366447950177727999105178747/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^5 - 260288222680974940043708259800509516665417731482709608688/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^4 + 2455072697830836625445204021304731027912852230041285718231/72037456\ 2709401575873099645665228025774199364841501905448*c_1001_11^3 - 474142896365253711742665485005298018375380150162204630665/900468203\ 38675196984137455708153503221774920605187738181*c_1001_11^2 + 197544410077259358191941974312071389391415140696214450355/720374562\ 709401575873099645665228025774199364841501905448*c_1001_11 + 235008733325633641444673963565912185921442975786774504879/360187281\ 354700787936549822832614012887099682420750952724, c_1001_11^26 - 12*c_1001_11^24 + 72*c_1001_11^22 - 33*c_1001_11^21 - 296*c_1001_11^20 + 147*c_1001_11^19 + 840*c_1001_11^18 - 1097*c_1001_11^17 - 796*c_1001_11^16 + 1813*c_1001_11^15 + 816*c_1001_11^14 - 5649*c_1001_11^13 + 7196*c_1001_11^12 - 1827*c_1001_11^11 - 1147*c_1001_11^10 - 167*c_1001_11^9 - 433*c_1001_11^8 + 3119*c_1001_11^7 - 1353*c_1001_11^6 - 1122*c_1001_11^5 + 2233*c_1001_11^4 - 3700*c_1001_11^3 + 331*c_1001_11^2 + 324*c_1001_11 - 532 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.820 Total time: 1.030 seconds, Total memory usage: 32.09MB