Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 3718005053] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0670 geometric_solution 4.64471824 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 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 0 1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732168345532 0.067246769766 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535507171534 0.212560654382 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.426866238374 2.788289119052 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 -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 -1 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.563808934171 0.415477467884 5 5 3 6 1302 1023 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214923822774 0.778032725950 4 4 6 3 1023 2031 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 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.214923822774 0.778032725950 6 6 4 5 1302 2031 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.846729069437 2.021347474401 ==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' : negation(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' : negation(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' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_4']), '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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_1100_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 9154248902517247476562767983635910498033538837126381468239049715/14\ 738250480292725514642673812048681722852853460683266636868067584*c_1\ 100_3^22 - 27500857695905041538540756766355336822483990685611248110\ 526376625/368456262007318137866066845301217043071321336517081665921\ 7016896*c_1100_3^21 + 141375646839678212046439800845529262671380296\ 887844731520577317309/442147514408781765439280214361460451685585603\ 82049799910604202752*c_1100_3^20 + 5359258529112470352230152609324019353973372318949300941692590448163\ /11053687860219544135982005359036511292139640095512449977651050688*\ c_1100_3^19 - 17984854259197841091659433908524969153460675935728065\ 8482211619885551/44214751440878176543928021436146045168558560382049\ 799910604202752*c_1100_3^18 + 6981436394464788722824186901194904843\ 650293892575653284577818118555/417120296612058269282339824869302312\ 910929814924998112364190592*c_1100_3^17 - 2986782716207415991972631538112722372950601654304315772165914931303\ 97/7369125240146362757321336906024340861426426730341633318434033792\ *c_1100_3^16 + 1289579409620098640992688109422830084260187541251991\ 97879555893753/2172501544854470152512186587860949546411092786067698\ 501896826*c_1100_3^15 - 3162623246953945478863919535596840802063648\ 75861115189406868346394709/7369125240146362757321336906024340861426\ 426730341633318434033792*c_1100_3^14 - 1079712104982991407451612989981338249366643608317506891238680443006\ 735/442147514408781765439280214361460451685585603820497999106042027\ 52*c_1100_3^13 + 24357222183564348577981520455878949752876120397056\ 40148851710997786235/2210737572043908827196401071807302258427928019\ 1024899955302101376*c_1100_3^12 - 497840883331748214044088464529768\ 177997807231216416902595641611835215/368456262007318137866066845301\ 2170430713213365170816659217016896*c_1100_3^11 + 6666794314948384026345403835672566683533823905169933237931783483767\ 55/1105368786021954413598200535903651129213964009551244997765105068\ 8*c_1100_3^10 + 199364839693651263145162980433520145556354735671682\ 5994392873649915211/44214751440878176543928021436146045168558560382\ 049799910604202752*c_1100_3^9 - 44305119246630501707280732828194889\ 3184444650789626083015850108265245/55268439301097720679910026795182\ 55646069820047756224988825525344*c_1100_3^8 + 9656936483904695851970054058451919452520472275103690792981210221549\ 41/2210737572043908827196401071807302258427928019102489995530210137\ 6*c_1100_3^7 - 2588604713142053749324779995916381251734038525404492\ 30479991280251659/1473825048029272551464267381204868172285285346068\ 3266636868067584*c_1100_3^6 - 4062620932293412020576732003843757775\ 1268942661728014666031487411629/11053687860219544135982005359036511\ 292139640095512449977651050688*c_1100_3^5 + 3706472575901748649159815534626268571278931153343242378033649421660\ 1/1381710982527443016997750669879563911517455011939056247206381336*\ c_1100_3^4 - 108749577443307701198280295068096065454807052317950119\ 741179235910003/110536878602195441359820053590365112921396400955124\ 49977651050688*c_1100_3^3 - 148216339879396665153866540808275757563\ 727038719509317154148949926571/221073757204390882719640107180730225\ 84279280191024899955302101376*c_1100_3^2 + 1349916387710203003844812044650945023952154815085254214362742430086\ 3/7369125240146362757321336906024340861426426730341633318434033792*\ c_1100_3 + 65906567521585124324669143513282298313279987773798608178\ 23945850241/1473825048029272551464267381204868172285285346068326663\ 6868067584, c_0011_0 - 1, c_0011_4 + 212971285080575234205525052985657686602051772957983221805614\ /57571290938643459041572944578315162979893958830794010300265889*c_1\ 100_3^22 - 27620995162582825329483717336678905402695922246522547863\ 24514/5757129093864345904157294457831516297989395883079401030026588\ 9*c_1100_3^21 + 360015541547778627155599367697776180826340560281241\ 4810928680/57571290938643459041572944578315162979893958830794010300\ 265889*c_1100_3^20 + 4929809837403086495553304517041140137358738664\ 21603801276084936/1727138728159303771247188337349454889396818764923\ 82030900797667*c_1100_3^19 - 46552484830040069047088526391416857774\ 30928597728578585748525333/1727138728159303771247188337349454889396\ 81876492382030900797667*c_1100_3^18 + 134305970944143743069202921291694618473372666519125076546692031/108\ 6250772427235076256093293930474773205546393033849250948413*c_1100_3\ ^17 - 1985819213939359398428066993555996996882072688125043198086638\ 1844/57571290938643459041572944578315162979893958830794010300265889\ *c_1100_3^16 + 2032744278303163414741949917938382437379089598726173\ 854442278951/325875231728170522876827988179142431961663917910154775\ 2845239*c_1100_3^15 - 407356681535181247336504497084341593698211129\ 20306965322771543837/5757129093864345904157294457831516297989395883\ 0794010300265889*c_1100_3^14 + 179564656105763167341072770895035809\ 19873265113099619487237212399/5757129093864345904157294457831516297\ 9893958830794010300265889*c_1100_3^13 + 93880354107427054211181450162401773718610634291334177720181866395/1\ 72713872815930377124718833734945488939681876492382030900797667*c_11\ 00_3^12 - 751099445479289494642670122307734978157187692972283867873\ 83806784/5757129093864345904157294457831516297989395883079401030026\ 5889*c_1100_3^11 + 223450352343248813260762010337433239892460099692\ 185824028748318055/172713872815930377124718833734945488939681876492\ 382030900797667*c_1100_3^10 - 8977210988428403505585128725684844959\ 4063735814566553275740142285/17271387281593037712471883373494548893\ 9681876492382030900797667*c_1100_3^9 - 46293423108195980166763829155095870622548696315397510427490593315/1\ 72713872815930377124718833734945488939681876492382030900797667*c_11\ 00_3^8 + 2925863500915414570527854674855134082315786340938387104898\ 7291161/57571290938643459041572944578315162979893958830794010300265\ 889*c_1100_3^7 - 24749376872997254859449688746122976367052794252184\ 662828504828664/575712909386434590415729445783151629798939588307940\ 10300265889*c_1100_3^6 + 437792073226365354445039303781926992139921\ 27039140517248262423828/1727138728159303771247188337349454889396818\ 76492382030900797667*c_1100_3^5 + 485060573560850163674716496467761\ 2351717910877395628817933453990/17271387281593037712471883373494548\ 8939681876492382030900797667*c_1100_3^4 - 6507983385090530759428635526005205101246244376607838224025453560/57\ 571290938643459041572944578315162979893958830794010300265889*c_1100\ _3^3 + 311203724412904079112810642379938163647227512295617805051722\ 5863/17271387281593037712471883373494548893968187649238203090079766\ 7*c_1100_3^2 + 1433318451876083181399323909569531289861302540294958\ 655411361183/172713872815930377124718833734945488939681876492382030\ 900797667*c_1100_3 - 6011865981180217659992028961849714873174271686\ 6056264167199647/17271387281593037712471883373494548893968187649238\ 2030900797667, c_0011_6 + 126913513710102964764599517869839105620791835424333952837776\ 4/172713872815930377124718833734945488939681876492382030900797667*c\ _1100_3^22 - 153924068879163661536394116817896713451764103025442436\ 90380449/1727138728159303771247188337349454889396818764923820309007\ 97667*c_1100_3^21 + 85606836466822930515201877094232934924595296185\ 16743697917346/1727138728159303771247188337349454889396818764923820\ 30900797667*c_1100_3^20 + 32866944589193509748149998455714980781744\ 8759668246771815005495/57571290938643459041572944578315162979893958\ 830794010300265889*c_1100_3^19 - 8419782482185753475640099662854525\ 550524268144952426703357337501/172713872815930377124718833734945488\ 939681876492382030900797667*c_1100_3^18 + 222506630884976740275399966053385732961465485991930508898094788/108\ 6250772427235076256093293930474773205546393033849250948413*c_1100_3\ ^17 - 8878158941788962140041037246252422898570891810979981850662357\ 9146/17271387281593037712471883373494548893968187649238203090079766\ 7*c_1100_3^16 + 263346614473812716515047805098417072915403001534828\ 4311725915763/32587523172817052287682798817914243196166391791015477\ 52845239*c_1100_3^15 - 41369417333829440149061261488141013571547287\ 115754874028898722404/575712909386434590415729445783151629798939588\ 30794010300265889*c_1100_3^14 - 33131741906389179254903680166444666\ 57899801653584985068536274962/1727138728159303771247188337349454889\ 39681876492382030900797667*c_1100_3^13 + 195743444093581635224699939202052819425495230889500098684734319654/\ 172713872815930377124718833734945488939681876492382030900797667*c_1\ 100_3^12 - 29662476199944014757154277979673940241750677567936581262\ 9391920696/17271387281593037712471883373494548893968187649238203090\ 0797667*c_1100_3^11 + 198880616926645932103113065729704554308789143\ 714818975036965321990/172713872815930377124718833734945488939681876\ 492382030900797667*c_1100_3^10 + 1014969617312267049739838532551201\ 456594790517655928766815169388/575712909386434590415729445783151629\ 79893958830794010300265889*c_1100_3^9 - 115993737616592884777001579868722057892006833896596541043647446656/\ 172713872815930377124718833734945488939681876492382030900797667*c_1\ 100_3^8 + 968079163998290343790660734846000556270023188226370222449\ 90460321/1727138728159303771247188337349454889396818764923820309007\ 97667*c_1100_3^7 - 676322476370695647506786546600395469925349673048\ 44700258454541469/1727138728159303771247188337349454889396818764923\ 82030900797667*c_1100_3^6 + 211065733775134716090726830414100931958\ 20097143332944792914570541/1727138728159303771247188337349454889396\ 81876492382030900797667*c_1100_3^5 + 11464894666524718341575226282759645423752727041481922853999644812/5\ 7571290938643459041572944578315162979893958830794010300265889*c_110\ 0_3^4 - 17643960318959085823927548355084851969502142395033194921553\ 588466/172713872815930377124718833734945488939681876492382030900797\ 667*c_1100_3^3 - 58502129611783342907049129809657489290822393987764\ 58483159594654/1727138728159303771247188337349454889396818764923820\ 30900797667*c_1100_3^2 + 595004988476546462995956604838671807506750\ 273759812104126897020/575712909386434590415729445783151629798939588\ 30794010300265889*c_1100_3 + 44435055246764377422563104777553133609\ 3018748019646424296408671/17271387281593037712471883373494548893968\ 1876492382030900797667, c_0101_0 + 106564798653973600008490299634747940414572836330275680094548\ 7/57571290938643459041572944578315162979893958830794010300265889*c_\ 1100_3^22 - 3944619776943055650816741840596472932472174022587091701\ 8017841/17271387281593037712471883373494548893968187649238203090079\ 7667*c_1100_3^21 + 294750723431433856858830632021430792398601434626\ 59347913525281/1727138728159303771247188337349454889396818764923820\ 30900797667*c_1100_3^20 + 24820978444742915251182768913745460404144\ 47875252798338669594572/1727138728159303771247188337349454889396818\ 76492382030900797667*c_1100_3^19 - 21732222297257842605056813673584051448667954628267447137901342513/1\ 72713872815930377124718833734945488939681876492382030900797667*c_11\ 00_3^18 + 587349145750029447890200257329136130238144481576524471684\ 122278/108625077242723507625609329393047477320554639303384925094841\ 3*c_1100_3^17 - 802826602403949684337364031501760952263271290818106\ 81812922119500/5757129093864345904157294457831516297989395883079401\ 0300265889*c_1100_3^16 + 740628621653364572313956701227844442658444\ 6818617298880789944995/32587523172817052287682798817914243196166391\ 79101547752845239*c_1100_3^15 - 37239111896670365343814176318395820\ 8409490151055539337907491909980/17271387281593037712471883373494548\ 8939681876492382030900797667*c_1100_3^14 + 37244966804050368670162033914678968083108195716570707142934401160/1\ 72713872815930377124718833734945488939681876492382030900797667*c_11\ 00_3^13 + 509551093392710513093986103412081459880714405752178341430\ 668859937/172713872815930377124718833734945488939681876492382030900\ 797667*c_1100_3^12 - 8443575183764478152949638912261578427205717068\ 70236666170627155488/1727138728159303771247188337349454889396818764\ 92382030900797667*c_1100_3^11 + 20836644149888249999357480516201569\ 6113912211647025038291730577756/57571290938643459041572944578315162\ 979893958830794010300265889*c_1100_3^10 - 57230469529427633951483239710959684140303214394748655926562885699/1\ 72713872815930377124718833734945488939681876492382030900797667*c_11\ 00_3^9 - 3140140949554076365229757577680849677096019816304363746155\ 11039115/1727138728159303771247188337349454889396818764923820309007\ 97667*c_1100_3^8 + 994398300157074516489452477332361573687924935606\ 19872350591227481/5757129093864345904157294457831516297989395883079\ 4010300265889*c_1100_3^7 - 2056818859765093539898606715022596511305\ 90003027092081540241326828/1727138728159303771247188337349454889396\ 81876492382030900797667*c_1100_3^6 + 78638344003481575069777110352617643793563013501631855440720006722/1\ 72713872815930377124718833734945488939681876492382030900797667*c_11\ 00_3^5 + 8472169642341389053956320577570532642954737732773234200165\ 5748301/17271387281593037712471883373494548893968187649238203090079\ 7667*c_1100_3^4 - 6317513502459223200570288546267803089397658346532\ 7466461628339165/17271387281593037712471883373494548893968187649238\ 2030900797667*c_1100_3^3 - 1110109934013479971064547731494692044301\ 6732801825636698220102656/17271387281593037712471883373494548893968\ 1876492382030900797667*c_1100_3^2 + 7312513854574701066865537612604570041194494682949438732212753830/17\ 2713872815930377124718833734945488939681876492382030900797667*c_110\ 0_3 + 1023783734865612882768126393274282594470089338162864475019952\ 424/172713872815930377124718833734945488939681876492382030900797667\ , c_0101_1 + 679909622509220322962130671035747010900565096991394130275518\ 0/172713872815930377124718833734945488939681876492382030900797667*c\ _1100_3^22 - 276844118312192759581637484764766602698863685175188284\ 49865353/5757129093864345904157294457831516297989395883079401030026\ 5889*c_1100_3^21 + 172987961499511882268453725202237046994839262080\ 39146391097626/5757129093864345904157294457831516297989395883079401\ 0300265889*c_1100_3^20 + 176394034303528793569630411576069927449765\ 0135789995057521299068/57571290938643459041572944578315162979893958\ 830794010300265889*c_1100_3^19 - 1519012205737077791767498933297250\ 2088195549623804748265577786877/57571290938643459041572944578315162\ 979893958830794010300265889*c_1100_3^18 + 3633429891340374666371640350526973552494547728380105667877106239/32\ 58752317281705228768279881791424319616639179101547752845239*c_1100_\ 3^17 - 484831485539123700423587471461974112012015387886230989467750\ 565176/172713872815930377124718833734945488939681876492382030900797\ 667*c_1100_3^16 + 4776671179756699343540705236328789532701604096427\ 538726742714903/108625077242723507625609329393047477320554639303384\ 9250948413*c_1100_3^15 - 658300768257595030447217560197714692008195\ 373330004548206001672986/172713872815930377124718833734945488939681\ 876492382030900797667*c_1100_3^14 - 22660297631399364941401023200764663393565437618096485773452188998/5\ 7571290938643459041572944578315162979893958830794010300265889*c_110\ 0_3^13 + 1140893164905715051293257592782839677005578940381990741119\ 512931180/172713872815930377124718833734945488939681876492382030900\ 797667*c_1100_3^12 - 1669217720437292845753715524616592551131148279\ 170172410843833704860/172713872815930377124718833734945488939681876\ 492382030900797667*c_1100_3^11 + 1048752903953518442565841706010313\ 907221868680540764344253548902576/172713872815930377124718833734945\ 488939681876492382030900797667*c_1100_3^10 + 47804361664282526720292346407348911505774517853562195911878984838/5\ 7571290938643459041572944578315162979893958830794010300265889*c_110\ 0_3^9 - 25423226195098771692145705083891734514792850022481390485388\ 9480342/57571290938643459041572944578315162979893958830794010300265\ 889*c_1100_3^8 + 56911815715872313234585274524114882767144249789150\ 1793946647393557/17271387281593037712471883373494548893968187649238\ 2030900797667*c_1100_3^7 - 3311834756114140779854256305424471054331\ 52543246323011915696904402/1727138728159303771247188337349454889396\ 81876492382030900797667*c_1100_3^6 + 26451120495482142505249456823569136058070362523630834947486638209/5\ 7571290938643459041572944578315162979893958830794010300265889*c_110\ 0_3^5 + 76937174711446512201198113304568885202071362844861628015437\ 707349/575712909386434590415729445783151629798939588307940103002658\ 89*c_1100_3^4 - 124259882586553999383777674582474265648459227015820\ 207893469755737/172713872815930377124718833734945488939681876492382\ 030900797667*c_1100_3^3 - 46768087114017618939286257733687495349311\ 055378463646787637852866/172713872815930377124718833734945488939681\ 876492382030900797667*c_1100_3^2 + 5830769046280350237606552776795195432434534811423794066295540723/57\ 571290938643459041572944578315162979893958830794010300265889*c_1100\ _3 + 34651624062542759733740475731226375602067886195723669191428008\ 25/172713872815930377124718833734945488939681876492382030900797667, c_0101_3 - 625050983363768158359677407596285281327103108325548181294775\ /172713872815930377124718833734945488939681876492382030900797667*c_\ 1100_3^22 + 7569353433841321463021195949176133170796310991419841983\ 483508/172713872815930377124718833734945488939681876492382030900797\ 667*c_1100_3^21 - 4012783156559312551964721428641513315271205115084\ 564255503226/172713872815930377124718833734945488939681876492382030\ 900797667*c_1100_3^20 - 1621548631017128263555181584069006848999829\ 19768725348942378015/5757129093864345904157294457831516297989395883\ 0794010300265889*c_1100_3^19 + 137940931437061787953056119275991851\ 4789612733753581635218204654/57571290938643459041572944578315162979\ 893958830794010300265889*c_1100_3^18 - 326377236850843443057477720230490476596019212134981812071112785/325\ 8752317281705228768279881791424319616639179101547752845239*c_1100_3\ ^17 + 4298334649627261843340855963035806450606441892526051501620111\ 7206/17271387281593037712471883373494548893968187649238203090079766\ 7*c_1100_3^16 - 416215904435918670708289870929123291937652238218259\ 958255389198/108625077242723507625609329393047477320554639303384925\ 0948413*c_1100_3^15 + 554700538990412361075556313713520372464706097\ 44828613867920405752/1727138728159303771247188337349454889396818764\ 92382030900797667*c_1100_3^14 + 32236123054042992638546940625066985\ 86707685759546300743405138381/5757129093864345904157294457831516297\ 9893958830794010300265889*c_1100_3^13 - 102658471765900902215467330176951726675594755696353514745193241791/\ 172713872815930377124718833734945488939681876492382030900797667*c_1\ 100_3^12 + 14454104975882239598514336895623575232232990255356952208\ 2241222494/17271387281593037712471883373494548893968187649238203090\ 0797667*c_1100_3^11 - 287177886956715579271715996357024833730285523\ 98678654032852833692/5757129093864345904157294457831516297989395883\ 0794010300265889*c_1100_3^10 - 586077905336402977068827215906641459\ 9609746202558800813413440826/57571290938643459041572944578315162979\ 893958830794010300265889*c_1100_3^9 + 22428113781013813281158258864134302766237596248555202379650015204/5\ 7571290938643459041572944578315162979893958830794010300265889*c_110\ 0_3^8 - 15842109550956982390160099549288367698447181788917027480748\ 132237/575712909386434590415729445783151629798939588307940103002658\ 89*c_1100_3^7 + 923914112222009254699056715971548201281083940049625\ 0481748984009/57571290938643459041572944578315162979893958830794010\ 300265889*c_1100_3^6 - 17547049969577817991685596687938217726196052\ 56156815990567689357/5757129093864345904157294457831516297989395883\ 0794010300265889*c_1100_3^5 - 2079793664184789150909490193294409253\ 7845430912612035729056116174/17271387281593037712471883373494548893\ 9681876492382030900797667*c_1100_3^4 + 9641115804798748210777367698132614189629530668847584837337009612/17\ 2713872815930377124718833734945488939681876492382030900797667*c_110\ 0_3^3 + 13974831547027760841003764418114355741569946549542963639346\ 72089/5757129093864345904157294457831516297989395883079401030026588\ 9*c_1100_3^2 - 4782635033558959849800637904073848090903377095728297\ 62343972177/5757129093864345904157294457831516297989395883079401030\ 0265889*c_1100_3 - 398083992411139470621660306182582380122787921377\ 385151635526737/172713872815930377124718833734945488939681876492382\ 030900797667, c_1100_3^23 - 12*c_1100_3^22 + 5*c_1100_3^21 + 780*c_1100_3^20 - 6535*c_1100_3^19 + 26878*c_1100_3^18 - 65182*c_1100_3^17 + 96192*c_1100_3^16 - 72238*c_1100_3^15 - 31975*c_1100_3^14 + 167174*c_1100_3^13 - 210452*c_1100_3^12 + 100908*c_1100_3^11 + 56643*c_1100_3^10 - 110536*c_1100_3^9 + 61194*c_1100_3^8 - 30537*c_1100_3^7 + 268*c_1100_3^6 + 37280*c_1100_3^5 - 11692*c_1100_3^4 - 10694*c_1100_3^3 + 1354*c_1100_3^2 + 1019*c_1100_3 + 96 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB