Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 1629552013] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0705 geometric_solution 4.65993544 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499860832388 0.075573063388 2 0 2 0 0132 2310 1023 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.544288921016 0.220128430079 1 3 1 3 0132 0132 1023 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 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.417027049374 2.845060751256 2 2 5 4 3201 0132 0132 0132 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 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.561770394425 0.407542533482 5 5 3 6 1302 1023 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 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216363051507 0.781662629269 4 4 6 3 1023 2031 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.216363051507 0.781662629269 6 6 4 5 1302 2031 0132 0132 0 0 0 0 0 -1 1 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 1 0 -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.859251377564 2.014821952631 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : 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_6' : d['c_1100_3'], 'c_1100_5' : d['c_1100_3'], 'c_1100_4' : d['c_1100_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_1100_3'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0011_4'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_1100_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 4478714425181332056862936356700396739606183070177750781709205904926\ 65037235817052705716058710018542999/4955059746533158131421570505312\ 2994301920378134771369552018889723069506761370908956930625924037102\ 4365*c_1100_3^25 + 549484477524300983509535579295644074535323269783\ 2653571843200547100913765994807070394640423615333771499/49550597465\ 3315813142157050531229943019203781347713695520188897230695067613709\ 089569306259240371024365*c_1100_3^24 + 3210465163456060080409555241382567038594474223552993489632302304635\ 3798079410300013350264596684708123449/49550597465331581314215705053\ 1229943019203781347713695520188897230695067613709089569306259240371\ 024365*c_1100_3^23 - 9675733296902233269408911643951975421617599838\ 5999008526306799850688471437258343771828769413034234001329/49550597\ 4653315813142157050531229943019203781347713695520188897230695067613\ 709089569306259240371024365*c_1100_3^22 - 1206312916161247705998125740867967060455803956287995062626595276270\ 614154521242138159101987340833652514181/495505974653315813142157050\ 5312299430192037813477136955201888972306950676137090895693062592403\ 71024365*c_1100_3^21 - 34581333365984659062346590014553318554716990\ 9999390346853880393393857862710276699485246603430310246461971/99101\ 1949306631626284314101062459886038407562695427391040377794461390135\ 22741817913861251848074204873*c_1100_3^20 + 5049552289265127503093980577093201043155621879002018470480802318945\ 631000156318545743577254490396490923749/495505974653315813142157050\ 5312299430192037813477136955201888972306950676137090895693062592403\ 71024365*c_1100_3^19 + 82691710654124238519814224701804202290183552\ 5528207609233479071808900216627388871466871156480300099091756/99101\ 1949306631626284314101062459886038407562695427391040377794461390135\ 22741817913861251848074204873*c_1100_3^18 - 1124301505683386861926664159324793257574407385293638007399792963217\ 6111490307680174701749750465431043300192/49550597465331581314215705\ 0531229943019203781347713695520188897230695067613709089569306259240\ 371024365*c_1100_3^17 + 1223418209248957026457758617411103124612083\ 35291489098128394423436943360958303173063585042883891961641553/2126\ 6350843489949061895152383314589829150376881876124271252742370416097\ 32247678496005606262834210405*c_1100_3^16 + 1782032463669210404185815481276558393753971735427242090685952081313\ 8289561888714060092786777980217218021652/49550597465331581314215705\ 0531229943019203781347713695520188897230695067613709089569306259240\ 371024365*c_1100_3^15 - 1484678639202890768355830120065069183911513\ 20764439739990061187810921732518227181039759683937293056530496059/4\ 9550597465331581314215705053122994301920378134771369552018889723069\ 5067613709089569306259240371024365*c_1100_3^14 - 8913379584852768424158142101907964059275774140548877752259510829925\ 8023206334522621787027348175459831751719/49550597465331581314215705\ 0531229943019203781347713695520188897230695067613709089569306259240\ 371024365*c_1100_3^13 + 4828305635478691461312692208632691119215635\ 0480123143816065185955016032944753782716498142449783958540381841/99\ 1011949306631626284314101062459886038407562695427391040377794461390\ 13522741817913861251848074204873*c_1100_3^12 + 3341229139163443213286962436327506712148077440267955086623719468499\ 25886267518977397877273436399402108044883/4955059746533158131421570\ 5053122994301920378134771369552018889723069506761370908956930625924\ 0371024365*c_1100_3^11 - 270454045802358843215954116509205122986517\ 74176237874069992286729338041627760627579450431919278325117523046/4\ 9550597465331581314215705053122994301920378134771369552018889723069\ 5067613709089569306259240371024365*c_1100_3^10 - 2446496082634118283901734052256368918637976689091167940840896846450\ 52145199036086383573057459313132368779969/4955059746533158131421570\ 5053122994301920378134771369552018889723069506761370908956930625924\ 0371024365*c_1100_3^9 - 5836503504180118881592331538090816632318560\ 28765214960646429264101118571725849512663770685274306426146369038/4\ 9550597465331581314215705053122994301920378134771369552018889723069\ 5067613709089569306259240371024365*c_1100_3^8 - 3471271857754167905922189542434704436962499112100141641589342452901\ 40433047046692794275506862837700048450844/4955059746533158131421570\ 5053122994301920378134771369552018889723069506761370908956930625924\ 0371024365*c_1100_3^7 + 1005244310171214703032542173453739773607995\ 726828933017088780895893275771833884979285457582152710792048012049/\ 4955059746533158131421570505312299430192037813477136955201888972306\ 95067613709089569306259240371024365*c_1100_3^6 + 4897396657027336662553832883668801108422809748140015658562821039196\ 3129455435327006966587077685801808623612/99101194930663162628431410\ 1062459886038407562695427391040377794461390135227418179138612518480\ 74204873*c_1100_3^5 - 487066584969100261107217711132620550212295213\ 296625734265238221612455592141785695976237716552691570954521891/495\ 5059746533158131421570505312299430192037813477136955201888972306950\ 67613709089569306259240371024365*c_1100_3^4 + 4204943691063981358978393866341113893663446455368015407433678618890\ 4815280689103839148298758591524629963/42532701686979898123790304766\ 6291796583007537637522485425054847408321946449535699201121252566842\ 081*c_1100_3^3 + 23297524259523013918122616967579525734763747635207\ 515559799694008766278002993701348544580049293617275094443/495505974\ 6533158131421570505312299430192037813477136955201888972306950676137\ 09089569306259240371024365*c_1100_3^2 - 3221283442238146979451365786419393225196486104236382423735006662379\ 636553615653698363834344296973565111004/495505974653315813142157050\ 5312299430192037813477136955201888972306950676137090895693062592403\ 71024365*c_1100_3 + 77249713176509379648820682131363576988663930141\ 4497806314598687961275080969341184889333701936141353068987/49550597\ 4653315813142157050531229943019203781347713695520188897230695067613\ 709089569306259240371024365, c_0011_0 - 1, c_0011_1 - 974208301486026365340402752415243434376921783406254480590465\ 87818750484905390121897017767025876/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^25 + 113385453614788199935954145658143541742260844714860\ 3840039351932710203717892895146641464133770486/42532701686979898123\ 7903047666291796583007537637522485425054847408321946449535699201121\ 252566842081*c_1100_3^24 + 7720153987330360967370497348949706258292\ 393606245196999056976235514867096540476082463447138695277/425327016\ 8697989812379030476662917965830075376375224854250548474083219464495\ 35699201121252566842081*c_1100_3^23 - 1644967656190457787727967541508109183544850249814664971354284498639\ 7306531469550244861014025192212/42532701686979898123790304766629179\ 6583007537637522485425054847408321946449535699201121252566842081*c_\ 1100_3^22 - 2744439867935706349709438658553510847333971184053293442\ 18395300315016623216234626874009249247084475/4253270168697989812379\ 0304766629179658300753763752248542505484740832194644953569920112125\ 2566842081*c_1100_3^21 - 544748759135750455038102411515412425168137\ 026141464413227320149147661139708449204005572745546351262/425327016\ 8697989812379030476662917965830075376375224854250548474083219464495\ 35699201121252566842081*c_1100_3^20 + 8164925437929025948170120457648514400386636059464594801222080698159\ 92050676260646544695098039487792/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3^19 + 151960743354107456586954119241644043935349044867411377\ 0746427901582122038324731184901015854943330358/42532701686979898123\ 7903047666291796583007537637522485425054847408321946449535699201121\ 252566842081*c_1100_3^18 - 1700533365501224676947104302442609940347\ 866121388534521515913063291910928479286033928012377138158086/425327\ 0168697989812379030476662917965830075376375224854250548474083219464\ 49535699201121252566842081*c_1100_3^17 + 4868867468727521946562026086874185259730414672039924333028881668760\ 243658639295469733630025771486544/425327016869798981237903047666291\ 796583007537637522485425054847408321946449535699201121252566842081*\ c_1100_3^16 + 74057244025425526942617817888738274010273822695015317\ 09797355819523882304035431452219304873875893497/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^15 - 289236726606934001124992152014886338968\ 51596145305541049307860440606689576892745256846556445902841831/4253\ 2701686979898123790304766629179658300753763752248542505484740832194\ 6449535699201121252566842081*c_1100_3^14 - 3885993530814093898852894460175268760560812331536546181220600044803\ 5967189681250284040926062945088380/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^13 + 3487880006114762414125000423368506791445086554738730\ 8701246353554547000561539248074373343931871289955/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^12 + 1011184677096746353259023971120164155\ 73016256514175138360088151281470748845941019153012638150737981813/4\ 2532701686979898123790304766629179658300753763752248542505484740832\ 1946449535699201121252566842081*c_1100_3^11 + 4845320301673238789419048113579382137835446745788552252147437876559\ 1316908328107190203748967581978447/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^10 - 4174002119584054225835566536633689118580170383356777\ 9472169719336116785094090066991073901380255164990/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^9 - 15841373117540725175709421915613186981\ 8895292490506032075860825573640174009319056506254061984488197202/42\ 5327016869798981237903047666291796583007537637522485425054847408321\ 946449535699201121252566842081*c_1100_3^8 - 1660545128895081482939727494017835307884694173665362901888788956437\ 32982611880601981338970595145975462/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^7 + 1452940449307512880930827314562315761988085845286595\ 36247935854761622231241317824528310651983423823678/4253270168697989\ 8123790304766629179658300753763752248542505484740832194644953569920\ 1121252566842081*c_1100_3^6 + 1714000614376513696810965463246240307\ 82600301235209978101965863060884175578989290027947824595602484127/4\ 2532701686979898123790304766629179658300753763752248542505484740832\ 1946449535699201121252566842081*c_1100_3^5 - 3773838217701621324358880715538015915523432874278613429019841514816\ 3676104039850156665644769041681846/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^4 - 35299061177889207063945906152005969631000737852079355\ 144019403602017598246259591299637970505624659467/425327016869798981\ 2379030476662917965830075376375224854250548474083219464495356992011\ 21252566842081*c_1100_3^3 - 253483806895039279316217287645067075994\ 3340277926508553228895080807204010286682248239758505631966467/42532\ 7016869798981237903047666291796583007537637522485425054847408321946\ 449535699201121252566842081*c_1100_3^2 + 6550363360439509184196275846038213575935257085580106595673585188242\ 97185517820531734284485610413948/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3 + 277932673236719082554026380599676784269779009458485057983\ 063144520680572197006873623291164592061264/425327016869798981237903\ 0476662917965830075376375224854250548474083219464495356992011212525\ 66842081, c_0011_4 - 224529968989677778074995768422855533494662061932460753765666\ 265263508094170034421922284417898666/425327016869798981237903047666\ 2917965830075376375224854250548474083219464495356992011212525668420\ 81*c_1100_3^25 + 27710117415269333647699949392121164037667703870589\ 00711771933826791034865245045786760619219087256/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^24 + 159145759615343814977614142349191903773\ 22301846826214223961569786486123932513558331593969641639344/4253270\ 1686979898123790304766629179658300753763752248542505484740832194644\ 9535699201121252566842081*c_1100_3^23 - 4990874037711067492714886549550747182252803817448892652759261400068\ 1831909185940021520975176840965/42532701686979898123790304766629179\ 6583007537637522485425054847408321946449535699201121252566842081*c_\ 1100_3^22 - 6027296505161399160641423504311361415875534991507476623\ 54923741512201506729188809724500903654508902/4253270168697989812379\ 0304766629179658300753763752248542505484740832194644953569920112125\ 2566842081*c_1100_3^21 - 819239639438110415761597954805019645190983\ 715210505324894258844183716094198154171773060234917857307/425327016\ 8697989812379030476662917965830075376375224854250548474083219464495\ 35699201121252566842081*c_1100_3^20 + 2648605621411205866925544342567986052753203240024735201411421344246\ 426760131632082814658966475453285/425327016869798981237903047666291\ 796583007537637522485425054847408321946449535699201121252566842081*\ c_1100_3^19 + 19846654851129407789355156392288454772647715673438442\ 25661387997650718095962928387329254429488155366/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^18 - 597288841613979276580222350528167157598\ 3081339561590218976159459809562053560068954931660593036851048/42532\ 7016869798981237903047666291796583007537637522485425054847408321946\ 449535699201121252566842081*c_1100_3^17 + 1445625535188991362192182948387750964492750905653625057739432721127\ 5847911395861259246540851996422024/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^16 + 8319269966206519594764638206521563723673699073779331\ 534669280658541853449527720726582427681743559853/425327016869798981\ 2379030476662917965830075376375224854250548474083219464495356992011\ 21252566842081*c_1100_3^15 - 76184778146755761267142544653820803539\ 070144423022600304900665773365017857015578126632091514145436650/425\ 3270168697989812379030476662917965830075376375224854250548474083219\ 46449535699201121252566842081*c_1100_3^14 - 4050573281493762666462087982145918132722818698957540368445033386272\ 5367796508373650787987649702770880/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^13 + 1303880510441660935404959279194598069485341368566078\ 12687945238797904601999353493126160683909733073700/4253270168697989\ 8123790304766629179658300753763752248542505484740832194644953569920\ 1121252566842081*c_1100_3^12 + 164723260458421246275883314043842162\ 177911408817342977398822781298115263562163268964185481052710065204/\ 4253270168697989812379030476662917965830075376375224854250548474083\ 21946449535699201121252566842081*c_1100_3^11 - 3434495359715380419633150722505974058453118024435097097032727244882\ 5177116549867442953418183797562264/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^10 - 1388602161368457621641923867778329727617862578323649\ 51093922135468801323754468420525588649820320015341/4253270168697989\ 8123790304766629179658300753763752248542505484740832194644953569920\ 1121252566842081*c_1100_3^9 - 2878849361494039282397734280443952597\ 13640088934917280131867597584156012741703442832965456957923931573/4\ 2532701686979898123790304766629179658300753763752248542505484740832\ 1946449535699201121252566842081*c_1100_3^8 - 1437917114354700707880026973861792190175411062911937088096725563149\ 99871240661226769913460897769782528/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^7 + 5437379713591134845294542397888770177948046666297572\ 32692594809219312015652287578105259466344450746039/4253270168697989\ 8123790304766629179658300753763752248542505484740832194644953569920\ 1121252566842081*c_1100_3^6 + 1099467051595989607377452570332554283\ 50933053594830376021157250054028446057618255705448735705353573575/4\ 2532701686979898123790304766629179658300753763752248542505484740832\ 1946449535699201121252566842081*c_1100_3^5 - 2896022923840289622655538166758572415287130435174634555306869253682\ 55799659825729703814977519363885802/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^4 + 2031137208882866598622288055811949272924742924212373\ 2578585146258266555267154981602060575985596755273/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^3 + 26986432036403561947318328739349000719\ 262178507019665320082136950959942808850916553505803210843883663/425\ 3270168697989812379030476662917965830075376375224854250548474083219\ 46449535699201121252566842081*c_1100_3^2 - 5358258658203135158426220770301298852834852704507781706885621605376\ 09645632247421404723400215740979/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3 - 383053334142455340029144099782304478415066314874390004766\ 158420404180669244301909277566205392438506/425327016869798981237903\ 0476662917965830075376375224854250548474083219464495356992011212525\ 66842081, c_0011_6 - 727479724950756244532647451874070698787698118351159287497761\ 70157674686795000626615891118426519/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^25 + 882957765581142397636845329819333667484723760010236\ 969032900965298511400621151169246128048453821/425327016869798981237\ 9030476662917965830075376375224854250548474083219464495356992011212\ 52566842081*c_1100_3^24 + 53315631062077783263318330231550805295614\ 50923212202932935527802308713384245541380369458533083294/4253270168\ 6979898123790304766629179658300753763752248542505484740832194644953\ 5699201121252566842081*c_1100_3^23 - 1502077856631088041592481051431190298144867060001995989118754440049\ 2152187740719883547989875360890/42532701686979898123790304766629179\ 6583007537637522485425054847408321946449535699201121252566842081*c_\ 1100_3^22 - 1979741932088552969634888474174882146976727126052414895\ 48220064456894152532139472537158080102213070/4253270168697989812379\ 0304766629179658300753763752248542505484740832194644953569920112125\ 2566842081*c_1100_3^21 - 306938351776401961632847598060344694853276\ 001187408489980679545681206630031458294496689909866033418/425327016\ 8697989812379030476662917965830075376375224854250548474083219464495\ 35699201121252566842081*c_1100_3^20 + 7813266318218061958142548919516354805647848451831375774921042360575\ 67655702103878103374859303102253/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3^19 + 781421834285879065365382029178923871502984619440532189\ 541682782055186822522517592047810281894499623/425327016869798981237\ 9030476662917965830075376375224854250548474083219464495356992011212\ 52566842081*c_1100_3^18 - 17097770628976876992665739815704044497071\ 18751045651969033497479597621709581238135096796030750398107/4253270\ 1686979898123790304766629179658300753763752248542505484740832194644\ 9535699201121252566842081*c_1100_3^17 + 4415897953762953053972471020347760218422834622839228626179959771621\ 349522948036417471995644340508215/425327016869798981237903047666291\ 796583007537637522485425054847408321946449535699201121252566842081*\ c_1100_3^16 + 34508671115557886471717130779215425034215644935049629\ 76846037425478521128596038466681172735495297797/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^15 - 237160548523918453890163835824332116530\ 09178206699450316495439151549333473780123503569958024928655682/4253\ 2701686979898123790304766629179658300753763752248542505484740832194\ 6449535699201121252566842081*c_1100_3^14 - 1764812012190609117253838386798668206032724068426397655201659870346\ 2455603741987295102130467040029104/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^13 + 3671877894256766630660949820235426470350795161803302\ 7506848679148791337489304261101503541317957603528/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^12 + 5931967216038638618982634658440563020\ 4710123220010533499354136079507468541955353202319848474718175254/42\ 5327016869798981237903047666291796583007537637522485425054847408321\ 946449535699201121252566842081*c_1100_3^11 + 4615746951388630753095215629869486858066151495690755718570832308742\ 606531972103759074696590461069152/425327016869798981237903047666291\ 796583007537637522485425054847408321946449535699201121252566842081*\ c_1100_3^10 - 38490430258131783136462919442016217702892655806899919\ 272051199370152132029157389133403844263672241103/425327016869798981\ 2379030476662917965830075376375224854250548474083219464495356992011\ 21252566842081*c_1100_3^9 - 101440657552353678222939511082642178192\ 916658818453292341616768960509345458913496552057037736235760662/425\ 3270168697989812379030476662917965830075376375224854250548474083219\ 46449535699201121252566842081*c_1100_3^8 - 7298823156680392661506093887163093858021942975872172328581824366603\ 0345726453171044663095322860859576/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^7 + 15195726515925041780011950551824393589343127610962647\ 5834984643585351850986096422483515272831900875686/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^6 + 60511309277001343568235993118608244967\ 991994913447339396426241908531067052571346688735737129194198165/425\ 3270168697989812379030476662917965830075376375224854250548474083219\ 46449535699201121252566842081*c_1100_3^5 - 6659195325745942734305844283962803797929185303967460359784086971820\ 6308240278645743314333040751408638/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^4 + 29138689566763849376608322578036989018391285764214215\ 47116020172003174217922725460620127553170807276/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^3 + 1284840146575841674179860174254859450525\ 812993190841817748063916829722334700017644327718443506703946/425327\ 0168697989812379030476662917965830075376375224854250548474083219464\ 49535699201121252566842081*c_1100_3^2 - 7762071586494198581036144862371008640643331170466239684497054021319\ 15859209281296696040682038686784/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3 - 109378259620432466194590597275498412286232322452797225099\ 3023439425452001478476106816462637276539/42532701686979898123790304\ 7666291796583007537637522485425054847408321946449535699201121252566\ 842081, c_0101_0 + 480037204156873754222932206885843964239183230796720583975316\ 620239881018112247608561978481584878/425327016869798981237903047666\ 2917965830075376375224854250548474083219464495356992011212525668420\ 81*c_1100_3^25 - 58795748557817190751122596266243029414510076187787\ 53282368281420053303289508649369199920798025387/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^24 - 345668414449392712180304441413270638122\ 99672087876523221414799829146632181552760744439886484175621/4253270\ 1686979898123790304766629179658300753763752248542505484740832194644\ 9535699201121252566842081*c_1100_3^23 + 1034117508616437877320897134562494508799692304423921953568435575964\ 33048339207700499955566207522871/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3^22 + 129774678235161304502483919174938862873943839267756092\ 4650392153645674486165622596685981803574631665/42532701686979898123\ 7903047666291796583007537637522485425054847408321946449535699201121\ 252566842081*c_1100_3^21 + 1873421929896430385825457248140772835803\ 295071096275665351367049644930402992914212557944973472131025/425327\ 0168697989812379030476662917965830075376375224854250548474083219464\ 49535699201121252566842081*c_1100_3^20 - 5470209581065718184105210310838929019288295569179527615601373830082\ 180895915934136991897839407900839/425327016869798981237903047666291\ 796583007537637522485425054847408321946449535699201121252566842081*\ c_1100_3^19 - 47148112474958112010565913127806896139665976855884720\ 94388838519969550551266082453764764393003862908/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^18 + 122778766396040064352655828481902159013\ 88441074059431200352619808777562178303467003600364162023569280/4253\ 2701686979898123790304766629179658300753763752248542505484740832194\ 6449535699201121252566842081*c_1100_3^17 - 2988843256718111186143349885441561539774081196844845859858343008055\ 3563126943209619682282306579352126/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^16 - 2044439305266795976299481468491439369548559655471032\ 3219589806719785781813509373260405623521154160886/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^15 + 1607349675095246389990519044292962047\ 28037604439783493514982859820724807128759796809497352749935420892/4\ 2532701686979898123790304766629179658300753763752248542505484740832\ 1946449535699201121252566842081*c_1100_3^14 + 1009360697356885137582998087936992267886963433078400810891153371965\ 32610815924973200015019439528243157/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^13 - 267377206215592503943162042812572108417571697969422\ 297312291019314288022450414013650304958227574611484/425327016869798\ 9812379030476662917965830075376375224854250548474083219464495356992\ 01121252566842081*c_1100_3^12 - 37404109992195016465295744138354395\ 1443158499482779997965097378739311316199465798204156694169209051046\ /425327016869798981237903047666291796583007537637522485425054847408\ 321946449535699201121252566842081*c_1100_3^11 + 3573153585732687014079808045245135634393905450139893967557008287813\ 0692239266111147031861630009540374/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^10 + 2925276421265623068457491383852809080512200381047988\ 66975253885028657886688199082522176851043381593752/4253270168697989\ 8123790304766629179658300753763752248542505484740832194644953569920\ 1121252566842081*c_1100_3^9 + 6397963287440726014934205033923305916\ 30222396771001780906565475071639342259681041440063156359730239306/4\ 2532701686979898123790304766629179658300753763752248542505484740832\ 1946449535699201121252566842081*c_1100_3^8 + 3718671872811290727670182141308755567176033123486852349988837813460\ 81186013953315753582173969586332949/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^7 - 1116772952509394118401640928549614224903340485577593\ 904901848958531171938095745769757406334690511836616/425327016869798\ 9812379030476662917965830075376375224854250548474083219464495356992\ 01121252566842081*c_1100_3^6 - 327331509326960793626541444101266603\ 861273573990461975801606407170842970491873626338247553825820797887/\ 4253270168697989812379030476662917965830075376375224854250548474083\ 21946449535699201121252566842081*c_1100_3^5 + 5764307292508069333638735126023457972181489151061059644012994691926\ 78149784514623503821078234347904536/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^4 - 6789363850855239903071923091467981163731542530624516\ 584339512778821715322312474095852487615085152596/425327016869798981\ 2379030476662917965830075376375224854250548474083219464495356992011\ 21252566842081*c_1100_3^3 - 514248295442117893556184719439045443859\ 77374651538321231571536606638047635003513318228657090522620487/4253\ 2701686979898123790304766629179658300753763752248542505484740832194\ 6449535699201121252566842081*c_1100_3^2 - 4186413772045846347572521832267454885127614195910190659410041879379\ 05119415261621247570046917500553/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3 + 661946637475226164126989652373646109758643720559807871339\ 139199052846804289164435889645749601998242/425327016869798981237903\ 0476662917965830075376375224854250548474083219464495356992011212525\ 66842081, c_0101_1 - 637961782697827143276939770230060027726582597876512722404666\ 05547624380218275973809951862412727/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^25 + 741798955054724087022312546136404494541545946194158\ 497139294819300971992093927649118941539955147/425327016869798981237\ 9030476662917965830075376375224854250548474083219464495356992011212\ 52566842081*c_1100_3^24 + 50649902194390301367648796343708718643253\ 47647706576904507937953131540502798663242710442858403091/4253270168\ 6979898123790304766629179658300753763752248542505484740832194644953\ 5699201121252566842081*c_1100_3^23 - 1073046251591108784502777404744915927893910972974626136245255297106\ 7875926618221805206940745317989/42532701686979898123790304766629179\ 6583007537637522485425054847408321946449535699201121252566842081*c_\ 1100_3^22 - 1799286522930358586259726146345346045643942571650706391\ 75308297388468124134319959054175337601965549/4253270168697989812379\ 0304766629179658300753763752248542505484740832194644953569920112125\ 2566842081*c_1100_3^21 - 358498368382098157506393548188248718643572\ 531762003702491592358993985948993721393152837539275903093/425327016\ 8697989812379030476662917965830075376375224854250548474083219464495\ 35699201121252566842081*c_1100_3^20 + 5339555851500812011040914551293424925439478053622179641696525908916\ 39756215943157075950688926135861/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3^19 + 100674628594558058944304006726374462050869359935587365\ 3787684552764244562677960369305417543999139102/42532701686979898123\ 7903047666291796583007537637522485425054847408321946449535699201121\ 252566842081*c_1100_3^18 - 1112044604202318753282586303186674572394\ 314034307534788982356070486527304044059396971012284081898446/425327\ 0168697989812379030476662917965830075376375224854250548474083219464\ 49535699201121252566842081*c_1100_3^17 + 3166678368322979878962761766030493781001253466460888150699296231581\ 085334451064939362128520699932304/425327016869798981237903047666291\ 796583007537637522485425054847408321946449535699201121252566842081*\ c_1100_3^16 + 49053993467383600525571450932594821169422564476743046\ 47355681917209233338916010416740075923631813725/4253270168697989812\ 3790304766629179658300753763752248542505484740832194644953569920112\ 1252566842081*c_1100_3^15 - 189631361280159053110858642303609370258\ 80143756903301692706391351064822612446157768120288729616671309/4253\ 2701686979898123790304766629179658300753763752248542505484740832194\ 6449535699201121252566842081*c_1100_3^14 - 2571185581176740417223557192746710501886735217793526125908597412810\ 5854939484980361291140982234361247/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^13 + 2287525437656871221802233616767484539012073904457524\ 3548556125602276926009064030867873114986230885781/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^12 + 6676789916392207643268724280293515783\ 9273780208555613722930468490161524565468790522788155312327388485/42\ 5327016869798981237903047666291796583007537637522485425054847408321\ 946449535699201121252566842081*c_1100_3^11 + 3213678911786178117160837174728016929930717611808165115541275040576\ 1444581674080968153444978539549908/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^10 - 2778531034123136421022726010443182395111280235782266\ 9142082241300354321633888024642501440202004837807/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^9 - 10435925545074989335833500793063127256\ 0227172210188156402246940420203588539894567021841506464672198513/42\ 5327016869798981237903047666291796583007537637522485425054847408321\ 946449535699201121252566842081*c_1100_3^8 - 1098406610510953206407520554047252753709643295806342256033392054303\ 76190566674022469022416620068480879/4253270168697989812379030476662\ 9179658300753763752248542505484740832194644953569920112125256684208\ 1*c_1100_3^7 + 9517344146743146703875722795816165428246859969863224\ 2771231482877370368285234044904769337408758705727/42532701686979898\ 1237903047666291796583007537637522485425054847408321946449535699201\ 121252566842081*c_1100_3^6 + 11440027604527716507708995957532512878\ 2581951677330813831020122080928833145004123507694396524155197484/42\ 5327016869798981237903047666291796583007537637522485425054847408321\ 946449535699201121252566842081*c_1100_3^5 - 2490444199555034292368591455321105019826230549410218287664425949831\ 7927464557169644671560425401233583/42532701686979898123790304766629\ 1796583007537637522485425054847408321946449535699201121252566842081\ *c_1100_3^4 - 23517231221390541396045655931101942169148513640685174\ 995654963620581977256976743609406217616557953591/425327016869798981\ 2379030476662917965830075376375224854250548474083219464495356992011\ 21252566842081*c_1100_3^3 - 170357918563867949874567240812123219550\ 4519255763753809028842563314363277862646954615578985567013319/42532\ 7016869798981237903047666291796583007537637522485425054847408321946\ 449535699201121252566842081*c_1100_3^2 + 6529206986324984118643433727853514627678140488334648914457952756976\ 89722104956239813155234030197714/4253270168697989812379030476662917\ 96583007537637522485425054847408321946449535699201121252566842081*c\ _1100_3 + 153309477108717155783144654898966180922619356831453001815\ 095784987341726506761605082877005956528649/425327016869798981237903\ 0476662917965830075376375224854250548474083219464495356992011212525\ 66842081, c_1100_3^26 - 12*c_1100_3^25 - 75*c_1100_3^24 + 197*c_1100_3^23 + 2753*c_1100_3^22 + 4581*c_1100_3^21 - 10291*c_1100_3^20 - 12359*c_1100_3^19 + 22813*c_1100_3^18 - 56619*c_1100_3^17 - 57317*c_1100_3^16 + 321809*c_1100_3^15 + 289430*c_1100_3^14 - 491706*c_1100_3^13 - 897612*c_1100_3^12 - 130954*c_1100_3^11 + 582027*c_1100_3^10 + 1454676*c_1100_3^9 + 1112804*c_1100_3^8 - 2067072*c_1100_3^7 - 1175619*c_1100_3^6 + 979904*c_1100_3^5 + 214826*c_1100_3^4 - 98982*c_1100_3^3 - 16097*c_1100_3^2 + 1926*c_1100_3 + 233 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB