Magma V2.19-8 Tue Aug 20 2013 16:16:45 on localhost [Seed = 3987501345] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1034 geometric_solution 4.91629753 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.033293084947 0.676836660329 0 0 4 3 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.465721880487 0.408467394594 2 0 0 2 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.785057463506 0.573474406061 4 4 1 5 1302 1023 0132 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234901143903 0.670528980358 3 3 5 1 1023 2031 0132 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 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234901143903 0.670528980358 6 6 3 4 0132 3201 0132 0132 0 0 0 0 0 1 0 -1 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 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562694152654 3.148053919476 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.445842578424 0.531948309456 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 's_3_6' : d['1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0101_1, c_0101_2, c_0101_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 2015701160597714259920676309642877524508793153373719932762882243126\ 4601874259538502297594951638869/26354019054045921777517692242505143\ 80437333403895453276397490689973935912507250576153534993127654*c_11\ 00_1^24 + 155870606869138262032800755009869960307038138387105590203\ 157321993003926860103066013874684250439800/131770095270229608887588\ 4612125257190218666701947726638198745344986967956253625288076767496\ 563827*c_1100_1^23 - 7230052830379214326803548506831175520175190462\ 70820098372605981500761175067517760497836150024980767/1317700952702\ 2960888758846121252571902186667019477266381987453449869679562536252\ 88076767496563827*c_1100_1^22 - 33895164093756490426954617481193969\ 89407902729234784320125862804803818356182709389197523620770632145/1\ 3177009527022960888758846121252571902186667019477266381987453449869\ 67956253625288076767496563827*c_1100_1^21 + 3823987864251267968455121259155734441616601327484871779039149512669\ 4344741764790396613994858488622493/13177009527022960888758846121252\ 57190218666701947726638198745344986967956253625288076767496563827*c\ _1100_1^20 - 218101286947092838702486572284485164714099700207495925\ 938718123411057709156222750935011199172381430603/263540190540459217\ 7751769224250514380437333403895453276397490689973935912507250576153\ 534993127654*c_1100_1^19 + 3730142014563102248097484149310080912625\ 77322589543437975941451169708188062728721581070918388011037309/2635\ 4019054045921777517692242505143804373334038954532763974906899739359\ 12507250576153534993127654*c_1100_1^18 - 1141971341781741027154367146581229079737200939166488084968010095733\ 306888870053851366833009160315957122/131770095270229608887588461212\ 5257190218666701947726638198745344986967956253625288076767496563827\ *c_1100_1^17 + 5511954342206003129994516624339226180727645376056999\ 502823801893740940918359484134342852701742669057975/131770095270229\ 6088875884612125257190218666701947726638198745344986967956253625288\ 076767496563827*c_1100_1^16 - 1195939764499826864976941068304684459\ 4381531135121518716696987260399466655186661340103767065670981295111\ /131770095270229608887588461212525719021866670194772663819874534498\ 6967956253625288076767496563827*c_1100_1^15 + 8522084037798742910341799758654166398124835854302626752824658851814\ 127012576937946477461008060888628787/131770095270229608887588461212\ 5257190218666701947726638198745344986967956253625288076767496563827\ *c_1100_1^14 + 4395760572385016295770200048139578140826935784666846\ 6736675669603146979917329888694297319967826386317735/26354019054045\ 9217775176922425051438043733340389545327639749068997393591250725057\ 6153534993127654*c_1100_1^13 - 183358621010650399462481901507214447\ 7362347055809376596589828202717935717402004731859967635323008613075\ 75/2635401905404592177751769224250514380437333403895453276397490689\ 973935912507250576153534993127654*c_1100_1^12 + 1916711625253010450068374643465785328126755993872441682498826741563\ 54289005528190776189322266562787125685/1317700952702296088875884612\ 1252571902186667019477266381987453449869679562536252880767674965638\ 27*c_1100_1^11 - 27575996342258555155825952547076375420491066061792\ 4134725003255241035324901419119918706393528099392040694/13177009527\ 0229608887588461212525719021866670194772663819874534498696795625362\ 5288076767496563827*c_1100_1^10 + 265309663808395062693139136624756\ 6490593483691911352325543797329896919473030214414258414570077354022\ 06901/1317700952702296088875884612125257190218666701947726638198745\ 344986967956253625288076767496563827*c_1100_1^9 - 1200502954990954265879642269678945261543632286575290534787753567760\ 83220347143356578852346285977763832320/1317700952702296088875884612\ 1252571902186667019477266381987453449869679562536252880767674965638\ 27*c_1100_1^8 - 155542403614048531506762401069029610853996735377537\ 850710939803151797948656002596296657377985174695164603/263540190540\ 4592177751769224250514380437333403895453276397490689973935912507250\ 576153534993127654*c_1100_1^7 + 19364260141682446032101296727109187\ 8647184510819829562617965096619814556751753270028452549828537754375\ 370/131770095270229608887588461212525719021866670194772663819874534\ 4986967956253625288076767496563827*c_1100_1^6 - 3617499808822362770604703410484757694259369979150572904156044904955\ 91359486650004760567647802890304564351/2635401905404592177751769224\ 2505143804373334038954532763974906899739359125072505761535349931276\ 54*c_1100_1^5 + 587951860196391353423157092374162370273723474599587\ 1884645667141590984859902431436827086979231883929729/77511820747193\ 8875809343889485445406010980412910427434234556085286451738972720757\ 69221617444931*c_1100_1^4 - 653812380615916264655404119766792745585\ 44776520004529404496230043943046643425747637344730641088445245011/2\ 6354019054045921777517692242505143804373334038954532763974906899739\ 35912507250576153534993127654*c_1100_1^3 + 1119860203704661636323504420049097576713387600495099413072457846015\ 3408599248350743418098646947094791713/26354019054045921777517692242\ 5051438043733340389545327639749068997393591250725057615353499312765\ 4*c_1100_1^2 - 3681842709350566965113064953695151691834895086550000\ 50917897301205198814147555499582445612840993032721/1317700952702296\ 0888758846121252571902186667019477266381987453449869679562536252880\ 76767496563827*c_1100_1 + 72498631960625975398396870685167748809502\ 23944370001327308715089604371831936237211469635782927920399/2635401\ 9054045921777517692242505143804373334038954532763974906899739359125\ 07250576153534993127654, c_0011_0 - 1, c_0011_3 + 139097656599682092507907547943879219638532212918793278871200\ 3449523026889615194298999024090589/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^24 - 21504867912838266007176657031444193675692993322295528640\ 399244012430584904788644537817161322583/273381940394667238355992658\ 1172732759789764941800262734852168765533128539945280680657193976273\ 5*c_1100_1^23 + 996691022811008765187345437779230819750190607939225\ 14862170591638509665153304864575343053031923/2733819403946672383559\ 9265811727327597897649418002627348521687655331285399452806806571939\ 762735*c_1100_1^22 + 4683365272794628124951187495390239352203803775\ 48714447697118037935446977881271605797109995916754/2733819403946672\ 3835599265811727327597897649418002627348521687655331285399452806806\ 571939762735*c_1100_1^21 - 1055017147149258465523723061749683134714\ 820021117736831548226955939447143401396017864632213430338/546763880\ 7893344767119853162345465519579529883600525469704337531066257079890\ 561361314387952547*c_1100_1^20 + 1502189668812824947315400335482317\ 2263306076691128051989705643083350901350734517652529233851862978/27\ 3381940394667238355992658117273275978976494180026273485216876553312\ 85399452806806571939762735*c_1100_1^19 - 2566060157818045223857018150730792084890003849282130076405359047010\ 7472543477714828241331579784086/27338194039466723835599265811727327\ 597897649418002627348521687655331285399452806806571939762735*c_1100\ _1^18 + 15748041113400989191546504361486806730283259996731749181618\ 7466900356877520574254918738359159209122/27338194039466723835599265\ 8117273275978976494180026273485216876553312853994528068065719397627\ 35*c_1100_1^17 - 75990254613389786463429211046969291937006571122507\ 2558112834451967561900765837427360528360699364946/27338194039466723\ 8355992658117273275978976494180026273485216876553312853994528068065\ 71939762735*c_1100_1^16 + 16464944116784672031372287658339563171032\ 66756178460044997552366579605647851182791394569595928095204/2733819\ 4039466723835599265811727327597897649418002627348521687655331285399\ 452806806571939762735*c_1100_1^15 - 1167578303361714245606645787739105045169425607387205707369572829869\ 429688585563709100762761902574738/273381940394667238355992658117273\ 27597897649418002627348521687655331285399452806806571939762735*c_11\ 00_1^14 - 607662520592191168278462902667128048934777963197391318835\ 395201753607087595769520694164165100045539/546763880789334476711985\ 3162345465519579529883600525469704337531066257079890561361314387952\ 547*c_1100_1^13 + 1263438729987100555958788021026226789997585527399\ 8226564753847104978336441343752535715310328981490236/27338194039466\ 7238355992658117273275978976494180026273485216876553312853994528068\ 06571939762735*c_1100_1^12 - 26385061695712698709955244927372101553\ 395075813188440979218572872662754892659809631605832331606414894/273\ 3819403946672383559926581172732759789764941800262734852168765533128\ 5399452806806571939762735*c_1100_1^11 + 3792367937645401997847520729647567884000131118909753088341223861170\ 6766382812121952040326624442458827/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^10 - 36432638309723314782570494939005041062508535344432522620\ 648405808444119997525804762915364883858223684/273381940394667238355\ 9926581172732759789764941800262734852168765533128539945280680657193\ 9762735*c_1100_1^9 + 1640832240099477117704042810109677106333052258\ 2275744204492182091268409981803407056664359777987583947/27338194039\ 4667238355992658117273275978976494180026273485216876553312853994528\ 06806571939762735*c_1100_1^8 + 107785411901063919931774609155778764\ 64425132780480687285249590224795478468121192976724460657113433457/2\ 7338194039466723835599265811727327597897649418002627348521687655331\ 285399452806806571939762735*c_1100_1^7 - 2663801228540717247923220020196633774438630855512933197053337879671\ 0366268792368140466338210022143226/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^6 + 496460310190385902761496397729619418503432233695861284985\ 3897352240335182095839516048735143821582881/54676388078933447671198\ 5316234546551957952988360052546970433753106625707989056136131438795\ 2547*c_1100_1^5 - 8052443060909520083679668926319544656247230042322\ 61416171857002972302211356915271217224534061925691/1608129061145101\ 4020940744595133722116410382010589780793248051561959579646736945180\ 33643515455*c_1100_1^4 + 893722094607855386035888570972965436921572\ 848331178602629033096838594431072874696292506405353955148/546763880\ 7893344767119853162345465519579529883600525469704337531066257079890\ 561361314387952547*c_1100_1^3 - 76641010884033165129366176753686091\ 6480908281928316428877997533913668775865653944061673964403844403/27\ 3381940394667238355992658117273275978976494180026273485216876553312\ 85399452806806571939762735*c_1100_1^2 + 1032992081473723634851982098031599426274882558223044286338280193574\ 5205712116639192042364680595269/54676388078933447671198531623454655\ 19579529883600525469704337531066257079890561361314387952547*c_1100_\ 1 - 646989278002617168520280629859123529594072077378036416476308787\ 647893593150903218962683582878866/273381940394667238355992658117273\ 27597897649418002627348521687655331285399452806806571939762735, c_0011_5 + 115456918780198403884356363277488342901789221794515121990281\ 6065560938858326427814362902913543/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^24 - 17841943058275407725229257966699310994709489280963501124\ 615110375254419736973145844720565623501/273381940394667238355992658\ 1172732759789764941800262734852168765533128539945280680657193976273\ 5*c_1100_1^23 + 826149626867079789822998664031414139065644598511002\ 91209706352848157972890549716119257443466256/2733819403946672383559\ 9265811727327597897649418002627348521687655331285399452806806571939\ 762735*c_1100_1^22 + 3891800426551862601704245178979293307825918808\ 43532011317071975654011603657568342191647502680943/2733819403946672\ 3835599265811727327597897649418002627348521687655331285399452806806\ 571939762735*c_1100_1^21 - 8750645987637816267403699529385828401628\ 12200293459519440955239838369930174990080971751659970318/5467638807\ 8933447671198531623454655195795298836005254697043375310662570798905\ 61361314387952547*c_1100_1^20 + 12442057642096335487633548621238939\ 976908399372441317875158184645611856743084895386760478691812386/273\ 3819403946672383559926581172732759789764941800262734852168765533128\ 5399452806806571939762735*c_1100_1^19 - 2124417386526193350469090699086532669460743331047005935208748359696\ 3154721516012750885218380417007/27338194039466723835599265811727327\ 597897649418002627348521687655331285399452806806571939762735*c_1100\ _1^18 + 13063578490034105363577261747537434551239201328530127642051\ 3024505738659992201780608605752351314044/27338194039466723835599265\ 8117273275978976494180026273485216876553312853994528068065719397627\ 35*c_1100_1^17 - 62994472086119932039091542795677407426974388098333\ 5063622344641426639877856238362690384712424660367/27338194039466723\ 8355992658117273275978976494180026273485216876553312853994528068065\ 71939762735*c_1100_1^16 + 13632201724896429281113109712728716239891\ 97040407118936935097834987010069745950621897017493800333798/2733819\ 4039466723835599265811727327597897649418002627348521687655331285399\ 452806806571939762735*c_1100_1^15 - 9637467505769430691848155103407872654905976795717406286540693465153\ 30238124439883957125128856472181/2733819403946672383559926581172732\ 7597897649418002627348521687655331285399452806806571939762735*c_110\ 0_1^14 - 5043747038774160159629654636666931850505131607516417048344\ 37130241080235008796035893218327576565943/5467638807893344767119853\ 1623454655195795298836005254697043375310662570798905613613143879525\ 47*c_1100_1^13 + 10468859596412666687405290154654532081205070962088\ 637930007196898778462372032246609885135363026633282/273381940394667\ 2383559926581172732759789764941800262734852168765533128539945280680\ 6571939762735*c_1100_1^12 - 218492525999059557043731294697514243232\ 59904113979383573911910773014717522406802899118271345136920043/2733\ 8194039466723835599265811727327597897649418002627348521687655331285\ 399452806806571939762735*c_1100_1^11 + 3138879819721965828363176848948254722332330394109609625536890713793\ 3497416642417139866641314839427689/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^10 - 30133287162987025349160499115284323409725694416596690421\ 258334914263269991103567530429104981943995583/273381940394667238355\ 9926581172732759789764941800262734852168765533128539945280680657193\ 9762735*c_1100_1^9 + 1354615072720865421169024716051014392215306375\ 5378095206592176817602395308179500293464093076176822769/27338194039\ 4667238355992658117273275978976494180026273485216876553312853994528\ 06806571939762735*c_1100_1^8 + 894301332882460962342087425269255535\ 5564256635962413891011761942595574901642414873738433833154049179/27\ 3381940394667238355992658117273275978976494180026273485216876553312\ 85399452806806571939762735*c_1100_1^7 - 2204664710094748339307763344240378359818824690820993360338643750671\ 8381995831405083856572206459304727/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^6 + 410606062883344553079218998697788726355080069809667759949\ 7019267126324544285216287689679149582029798/54676388078933447671198\ 5316234546551957952988360052546970433753106625707989056136131438795\ 2547*c_1100_1^5 - 6656567455357161750053494926615580777722675325813\ 49206848081459540157422189199696811541319269516307/1608129061145101\ 4020940744595133722116410382010589780793248051561959579646736945180\ 33643515455*c_1100_1^4 + 738520365474303725398682684548365916962576\ 505262696541679051102572645349143588516792994725800384014/546763880\ 7893344767119853162345465519579529883600525469704337531066257079890\ 561361314387952547*c_1100_1^3 - 63254432229966383654915086634089208\ 1891062905254095960221929024559165208127863984658137950972060371/27\ 3381940394667238355992658117273275978976494180026273485216876553312\ 85399452806806571939762735*c_1100_1^2 + 8465876228303223496996485586522165855549604916976810672584349376896\ 904494051253340965008405549469/546763880789334476711985316234546551\ 9579529883600525469704337531066257079890561361314387952547*c_1100_1 - 52508299577254527446400013655455300567157941391301523825288253373\ 2733916067865856092376806331972/27338194039466723835599265811727327\ 597897649418002627348521687655331285399452806806571939762735, c_0101_1 + 138233407298610324837141227656668552890650691783692032238844\ 941329561469529825870375764847654/273381940394667238355992658117273\ 27597897649418002627348521687655331285399452806806571939762735*c_11\ 00_1^24 - 213565246815827675345574905720123173618118965570367262139\ 1701136389778462169133281674410084373/27338194039466723835599265811\ 727327597897649418002627348521687655331285399452806806571939762735*\ c_1100_1^23 + 98835756075896034766285570700785017171794737942868245\ 66209673674563809015527698885007784267493/2733819403946672383559926\ 5811727327597897649418002627348521687655331285399452806806571939762\ 735*c_1100_1^22 + 4662833259218808011914288312643312776927674102756\ 2683351007785292171251944432355022476286927034/27338194039466723835\ 5992658117273275978976494180026273485216876553312853994528068065719\ 39762735*c_1100_1^21 - 10473100641532866922029097550568722362904175\ 4753786622630132113267192944123014127828199385918966/54676388078933\ 4476711985316234546551957952988360052546970433753106625707989056136\ 1314387952547*c_1100_1^20 + 148780040839966006940177953993120878961\ 1584592496035632236334537907616211357755953355495527325733/27338194\ 0394667238355992658117273275978976494180026273485216876553312853994\ 52806806571939762735*c_1100_1^19 - 2538913568640316724998652443835184051563851454411379857682643063128\ 514643575774613666358748701881/273381940394667238355992658117273275\ 97897649418002627348521687655331285399452806806571939762735*c_1100_\ 1^18 + 156335864255492326078502229188958281099583896352793560975168\ 27954993535016956336369902683524170002/2733819403946672383559926581\ 1727327597897649418002627348521687655331285399452806806571939762735\ *c_1100_1^17 - 7536708070255935136367266714215845497083077871157174\ 7209446878206567566257249878283880775536097266/27338194039466723835\ 5992658117273275978976494180026273485216876553312853994528068065719\ 39762735*c_1100_1^16 + 16296198231475924322509730358495109950250944\ 9836050168370594214259523749405191040916611441419223689/27338194039\ 4667238355992658117273275978976494180026273485216876553312853994528\ 06806571939762735*c_1100_1^15 - 11490970983434171477034127183445214\ 5579824470554348411101445331933110383334445460404721404355285748/27\ 3381940394667238355992658117273275978976494180026273485216876553312\ 85399452806806571939762735*c_1100_1^14 - 6042332613339612042795598692515134123194233393123556193441870896357\ 6383871722587201025019540585853/54676388078933447671198531623454655\ 19579529883600525469704337531066257079890561361314387952547*c_1100_\ 1^13 + 125217898657856787383909948059936596577597716836951687532393\ 0835435292398201520409118356808639667261/27338194039466723835599265\ 8117273275978976494180026273485216876553312853994528068065719397627\ 35*c_1100_1^12 - 26119034870701991279327256490086989352344647204400\ 39759498408781137320725276119491157011288944905299/2733819403946672\ 3835599265811727327597897649418002627348521687655331285399452806806\ 571939762735*c_1100_1^11 + 3750447959171554752639864287368429650869\ 478108794016342434118675332983018708323784830412155609752002/273381\ 9403946672383559926581172732759789764941800262734852168765533128539\ 9452806806571939762735*c_1100_1^10 - 3597795543584655881513928184489949810149844257950055684921941059709\ 332114215491560092662477982991294/273381940394667238355992658117273\ 27597897649418002627348521687655331285399452806806571939762735*c_11\ 00_1^9 + 1613735586133489089987515494814724923182224241194871869567\ 665336950526088434152397417990944457666177/273381940394667238355992\ 6581172732759789764941800262734852168765533128539945280680657193976\ 2735*c_1100_1^8 + 1072286053275823905101422057251039173127739328236\ 042951407525372742671674890605892571114600343367197/273381940394667\ 2383559926581172732759789764941800262734852168765533128539945280680\ 6571939762735*c_1100_1^7 - 2634457916498784218166833817646399051674\ 109891231344427073010222293483931915733015095224593226764936/273381\ 9403946672383559926581172732759789764941800262734852168765533128539\ 9452806806571939762735*c_1100_1^6 + 4901278757516942769055457376132685507465048969028182803908356794486\ 93796161339752912673101145357709/5467638807893344767119853162345465\ 519579529883600525469704337531066257079890561361314387952547*c_1100\ _1^5 - 793841758995557967369178886335349936240486833855720156146633\ 86660032919889621984564454240931018916/1608129061145101402094074459\ 513372211641038201058978079324805156195957964673694518033643515455*\ c_1100_1^4 + 880021855622374445508651505376652668770498744927803948\ 90082678762180652970409858392487861742531450/5467638807893344767119\ 8531623454655195795298836005254697043375310662570798905613613143879\ 52547*c_1100_1^3 - 754328964665687833455395023937731702448360578223\ 78867705148669966779811435418091007922857570196773/2733819403946672\ 3835599265811727327597897649418002627348521687655331285399452806806\ 571939762735*c_1100_1^2 + 10214350477320984097625266064949108298928\ 49757147516647531581138401476245927675232466393426747196/5467638807\ 8933447671198531623454655195795298836005254697043375310662570798905\ 61361314387952547*c_1100_1 - 81273599401818325312813501069649835906\ 717299824423485348440910926476086408191105487332931231836/273381940\ 3946672383559926581172732759789764941800262734852168765533128539945\ 2806806571939762735, c_0101_2 + 695769269631680080998515329619040437784561788652667727364781\ 654966634296789379607298415118099/273381940394667238355992658117273\ 27597897649418002627348521687655331285399452806806571939762735*c_11\ 00_1^24 - 107528547500273932837294577324598657921302803607580548365\ 34244690614347906771201894426817603063/2733819403946672383559926581\ 1727327597897649418002627348521687655331285399452806806571939762735\ *c_1100_1^23 + 4979746233200676679341697395836730868663529467754704\ 7517988375772028607168349288537048325940593/27338194039466723835599\ 2658117273275978976494180026273485216876553312853994528068065719397\ 62735*c_1100_1^22 + 23449398163131167656335215394611820475021663121\ 2834557515315258330183107967182296363685894786644/27338194039466723\ 8355992658117273275978976494180026273485216876553312853994528068065\ 71939762735*c_1100_1^21 - 52741722980585492660969236513363320048464\ 4235574111841046179101097022953867914542667208377514687/54676388078\ 9334476711985316234546551957952988360052546970433753106625707989056\ 1361314387952547*c_1100_1^20 + 750043971420809726858292626483340789\ 2576287155454829524556453077446759354566837725029468110824328/27338\ 1940394667238355992658117273275978976494180026273485216876553312853\ 99452806806571939762735*c_1100_1^19 - 1280494014378663478751542114489779019890651787947588986029521682698\ 8872499980437452213153808167131/27338194039466723835599265811727327\ 597897649418002627348521687655331285399452806806571939762735*c_1100\ _1^18 + 78726157503402288213811878828996360720184283898347900150093\ 143203829675060015472085705427077680087/273381940394667238355992658\ 1172732759789764941800262734852168765533128539945280680657193976273\ 5*c_1100_1^17 - 379700307459969209800545674456893013654722091455142\ 441678093010197997042564269775679425847517047936/273381940394667238\ 3559926581172732759789764941800262734852168765533128539945280680657\ 1939762735*c_1100_1^16 + 821789927614712487784621063100836241914254\ 350706596203773316306954877712791840868693288293760693954/273381940\ 3946672383559926581172732759789764941800262734852168765533128539945\ 2806806571939762735*c_1100_1^15 - 580941217372739626094274337397224\ 875194318194454319778580299911992226429881202044621468467077686078/\ 2733819403946672383559926581172732759789764941800262734852168765533\ 1285399452806806571939762735*c_1100_1^14 - 3040783242121808208191280847867172361883444376146465363862858223576\ 22514020646661727016545051603193/5467638807893344767119853162345465\ 519579529883600525469704337531066257079890561361314387952547*c_1100\ _1^13 + 63106705323994873229410024141946815046847912866877847838684\ 42406961684026588296987526356445669446426/2733819403946672383559926\ 5811727327597897649418002627348521687655331285399452806806571939762\ 735*c_1100_1^12 - 1317014859480173256391785072924157133799555556880\ 2467813222230008874980035543534279409421461675510009/27338194039466\ 7238355992658117273275978976494180026273485216876553312853994528068\ 06571939762735*c_1100_1^11 + 18919170872636630973409982610702313367\ 077219927092935420986329583184247464460806092772213426210928092/273\ 3819403946672383559926581172732759789764941800262734852168765533128\ 5399452806806571939762735*c_1100_1^10 - 1816037558128183479734911712721968838215140352279139055389720397658\ 0143290193534106977820496255478419/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^9 + 815950856749993386863969358221240133707367550746791985425\ 7433161658686576753954992731265949259017047/27338194039466723835599\ 2658117273275978976494180026273485216876553312853994528068065719397\ 62735*c_1100_1^8 + 539638001302557370129900976208025735809369215943\ 5696119991217086608054595826929000381440589746902657/27338194039466\ 7238355992658117273275978976494180026273485216876553312853994528068\ 06571939762735*c_1100_1^7 - 132899493990386860559785520367196252321\ 39889483295633129221759742526868890820586279853685835333444511/2733\ 8194039466723835599265811727327597897649418002627348521687655331285\ 399452806806571939762735*c_1100_1^6 + 2474247022056979990778782841596824734938881871460205584360721600288\ 452074617815206296251004569230727/546763880789334476711985316234546\ 5519579529883600525469704337531066257079890561361314387952547*c_110\ 0_1^5 - 40096727640828544985992993627390515215568800697517448289386\ 7680266944320730127428645720282358160946/16081290611451014020940744\ 5951337221164103820105897807932480515619595796467369451803364351545\ 5*c_1100_1^4 + 4446608744211054476353634002501732614625129895750740\ 11204452704213620819698261203483681532503847966/5467638807893344767\ 1198531623454655195795298836005254697043375310662570798905613613143\ 87952547*c_1100_1^3 - 381036797169072299355392872869226759226370534\ 626584762127888534747765567430123405522906604924337008/273381940394\ 6672383559926581172732759789764941800262734852168765533128539945280\ 6806571939762735*c_1100_1^2 + 5132644000038705021543613203107264200\ 576818847595263392146797870347910704853452488663949563969716/546763\ 8807893344767119853162345465519579529883600525469704337531066257079\ 890561361314387952547*c_1100_1 - 2924722662333490277834839267846277\ 97248569317931089813635903830306903551903192573984812312300821/2733\ 8194039466723835599265811727327597897649418002627348521687655331285\ 399452806806571939762735, c_0101_5 + 881690474887122784373652906520308903114756976709112228965193\ 003600937156953971903462019963936/273381940394667238355992658117273\ 27597897649418002627348521687655331285399452806806571939762735*c_11\ 00_1^24 - 136408763611623107973362868809775210540977820634390079018\ 84975507051815834951593295355562980717/2733819403946672383559926581\ 1727327597897649418002627348521687655331285399452806806571939762735\ *c_1100_1^23 + 6331990242755261541204953676176503941885084182110244\ 6120746550374199008926361671584755205544212/27338194039466723835599\ 2658117273275978976494180026273485216876553312853994528068065719397\ 62735*c_1100_1^22 + 29626870705683179398115683868091144477464601926\ 1773926454606361611378634899079141982334339641641/27338194039466723\ 8355992658117273275978976494180026273485216876553312853994528068065\ 71939762735*c_1100_1^21 - 66947877299558630340180083747261333204230\ 8682314300036334535234706567768262126339112394318140125/54676388078\ 9334476711985316234546551957952988360052546970433753106625707989056\ 1361314387952547*c_1100_1^20 + 955611066143612724438950537818680085\ 9533134803641793992184403499291774082218391525059837284408602/27338\ 1940394667238355992658117273275978976494180026273485216876553312853\ 99452806806571939762735*c_1100_1^19 - 1634550129127300912256043635598786477229118700919718013018622539365\ 2639719657402978956244413013114/27338194039466723835599265811727327\ 597897649418002627348521687655331285399452806806571939762735*c_1100\ _1^18 + 99939465343146429803472827193783839423685165155655411418307\ 359179975118421235371129305160089484968/273381940394667238355992658\ 1172732759789764941800262734852168765533128539945280680657193976273\ 5*c_1100_1^17 - 482680689139266137151534470034237626578688105631668\ 085006846272229660868813999796313335200713202744/273381940394667238\ 3559926581172732759789764941800262734852168765533128539945280680657\ 1939762735*c_1100_1^16 + 104823134161128410412644104987573400134998\ 7980777016509589889617950347391241054586883400569149728156/27338194\ 0394667238355992658117273275978976494180026273485216876553312853994\ 52806806571939762735*c_1100_1^15 - 7482174217792504815371952839750368420859936337466854028822182641780\ 04796017842745437437570014048172/2733819403946672383559926581172732\ 7597897649418002627348521687655331285399452806806571939762735*c_110\ 0_1^14 - 3848073685839422996185708736822244943374109965006092152875\ 66269769410059756622662886545339745611171/5467638807893344767119853\ 1623454655195795298836005254697043375310662570798905613613143879525\ 47*c_1100_1^13 + 80320011649686705123582632197824006041526946777867\ 11860843129452754165997536599902187216316531399749/2733819403946672\ 3835599265811727327597897649418002627348521687655331285399452806806\ 571939762735*c_1100_1^12 - 1679639289883051274155743036017176236553\ 8969111637806787131003197976747083887885930529059133327180576/27338\ 1940394667238355992658117273275978976494180026273485216876553312853\ 99452806806571939762735*c_1100_1^11 + 2416903845004666195808986744113086961534039328061158499739301827671\ 8181313303063767299456827003586813/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^10 - 23256907896116088925557599535058469323833558737949805210\ 550724373624247558416541199853868371087813816/273381940394667238355\ 9926581172732759789764941800262734852168765533128539945280680657193\ 9762735*c_1100_1^9 + 1052297189883827691258118449468948207693086711\ 9639460000866731784196388043114271039621259848346934818/27338194039\ 4667238355992658117273275978976494180026273485216876553312853994528\ 06806571939762735*c_1100_1^8 + 682501010681247319515787203323462452\ 9064428450118087367169887494381821047765101989167087529940044628/27\ 3381940394667238355992658117273275978976494180026273485216876553312\ 85399452806806571939762735*c_1100_1^7 - 1698160927284534897950805581563484652040761127514071592256240004121\ 4973345919775216342372766819204749/27338194039466723835599265811727\ 327597897649418002627348521687655331285399452806806571939762735*c_1\ 100_1^6 + 317089944258640814635194246064003502183757818213165043079\ 4342219273170469422610025592662996089001287/54676388078933447671198\ 5316234546551957952988360052546970433753106625707989056136131438795\ 2547*c_1100_1^5 - 5149676929794330759432346138032294729794755037735\ 14473730810554776280695008977905620990286752652139/1608129061145101\ 4020940744595133722116410382010589780793248051561959579646736945180\ 33643515455*c_1100_1^4 + 571629054384284818630061698060026455610840\ 755845058199039586649711202797927483429872062597604894014/546763880\ 7893344767119853162345465519579529883600525469704337531066257079890\ 561361314387952547*c_1100_1^3 - 48815121942018261713625297055664335\ 5524842205708511187770577650780054711193091805017358908731607997/27\ 3381940394667238355992658117273275978976494180026273485216876553312\ 85399452806806571939762735*c_1100_1^2 + 6444224573392637559638242043347264091142388757888564565542012024425\ 676485655480017035165667936173/546763880789334476711985316234546551\ 9579529883600525469704337531066257079890561361314387952547*c_1100_1 - 37035343571219023326711312120847323260312282924751582961033896657\ 9624342707323317284529373991949/27338194039466723835599265811727327\ 597897649418002627348521687655331285399452806806571939762735, c_1100_1^25 - 16*c_1100_1^24 + 80*c_1100_1^23 + 298*c_1100_1^22 - 3974*c_1100_1^21 + 12847*c_1100_1^20 - 24282*c_1100_1^19 + 123184*c_1100_1^18 - 607431*c_1100_1^17 + 1478712*c_1100_1^16 - 1478956*c_1100_1^15 - 1730137*c_1100_1^14 + 10262009*c_1100_1^13 - 23874877*c_1100_1^12 + 37512552*c_1100_1^11 - 40925543*c_1100_1^10 + 25954522*c_1100_1^9 + 1367866*c_1100_1^8 - 23335196*c_1100_1^7 + 28196901*c_1100_1^6 - 19489103*c_1100_1^5 + 8532922*c_1100_1^4 - 2286807*c_1100_1^3 + 334198*c_1100_1^2 - 20324*c_1100_1 + 241 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB