Magma V2.19-8 Tue Aug 20 2013 16:17:11 on localhost [Seed = 3448525084] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1418 geometric_solution 5.25333620 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.912995347241 1.387989411086 0 1 1 0 0132 3201 2310 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.542991080747 0.122751538874 0 3 4 0 3201 0132 0132 0132 0 0 0 0 0 1 0 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.034064795713 0.552951565916 4 2 5 6 2310 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.160887019278 0.991898202302 5 6 3 2 0132 2310 3201 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 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.160887019278 0.991898202302 4 5 5 3 0132 1230 3012 0132 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 1 0 -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.866698919993 0.906873521817 6 6 3 4 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509090995599 0.694738703659 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(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_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1094276701578866348275431552982674836759451573364243586368720028664\ /1382567043382017098379983140489659452421255355094496982700692927*c\ _0101_3^25 + 148225345527152017442558716447146459121435490712898934\ 758825322552/282156539465717775179588396018297847432909256141734078\ 10218223*c_0101_3^24 - 23911392041861503471380008091511409939445641\ 496763843128627880483750/138256704338201709837998314048965945242125\ 5355094496982700692927*c_0101_3^23 + 6210848350780185429103510238985763999635498125844758738259193521680\ 7/1382567043382017098379983140489659452421255355094496982700692927*\ c_0101_3^22 - 62078622687889997303709404511700855710302392154392992\ 515363965806715/138256704338201709837998314048965945242125535509449\ 6982700692927*c_0101_3^21 - 300286797965897873407052024213271708574\ 2342393839163333978218342704/19750957762600244262571187721280849320\ 3036479299213854671527561*c_0101_3^20 + 7611914180610105190974885313737851006212309623535035809215152071638\ 1/197509577626002442625711877212808493203036479299213854671527561*c\ _0101_3^19 - 680653849534424500739377415803252819617298954543761189\ 003721766485989/138256704338201709837998314048965945242125535509449\ 6982700692927*c_0101_3^18 + 144419800229821930951735685562977740550\ 9061786574560098713649462268520/13825670433820170983799831404896594\ 52421255355094496982700692927*c_0101_3^17 + 9586174050984548284546065352256467757740794460182980508253240912595\ 12/1382567043382017098379983140489659452421255355094496982700692927\ *c_0101_3^16 - 2024022689174798972925955777740604713902181628196138\ 323905341018172748/138256704338201709837998314048965945242125535509\ 4496982700692927*c_0101_3^15 + 493364919728080557043519750493805148\ 2005582227265577836483311022197628/13825670433820170983799831404896\ 59452421255355094496982700692927*c_0101_3^14 + 6319368287436170689013021287833195639073111811112303545316275685605\ 90/1382567043382017098379983140489659452421255355094496982700692927\ *c_0101_3^13 - 3858453602152918945442731018891093313585534772674730\ 79232370076306610/1975095776260024426257118772128084932030364792992\ 13854671527561*c_0101_3^12 - 34341246565768859362027664409848690449\ 129725358006625377458626119536/138256704338201709837998314048965945\ 2421255355094496982700692927*c_0101_3^11 - 2338902458480352069816626002511108313014100235958492317804467579344\ 88/197509577626002442625711877212808493203036479299213854671527561*\ c_0101_3^10 - 49871388676246566630216948084623574521904422557913156\ 5317897824024306/13825670433820170983799831404896594524212553550944\ 96982700692927*c_0101_3^9 - 915268243580201532678522360410148064943\ 40755192206024666060887900812/1975095776260024426257118772128084932\ 03036479299213854671527561*c_0101_3^8 - 2981495840729985744132182268340363086542488764745224962671163461782\ 52/1382567043382017098379983140489659452421255355094496982700692927\ *c_0101_3^7 + 21263680292836375097346883706005325386213814471090820\ 5025946191225750/13825670433820170983799831404896594524212553550944\ 96982700692927*c_0101_3^6 + 937125484184042230627206356641404824034\ 58771758326644525377148803049/1382567043382017098379983140489659452\ 421255355094496982700692927*c_0101_3^5 + 1251699132593846942480029022147746552142280892424323199899634058322\ 04/1382567043382017098379983140489659452421255355094496982700692927\ *c_0101_3^4 - 34052340247890077957233507404834558873265629661964282\ 733521251987218/138256704338201709837998314048965945242125535509449\ 6982700692927*c_0101_3^3 + 4721304941767232620465216845851675656804\ 812748801683402466359415436/138256704338201709837998314048965945242\ 1255355094496982700692927*c_0101_3^2 - 1207096330132894446119654129899347232334453052217212877888242518079\ 0/1382567043382017098379983140489659452421255355094496982700692927*\ c_0101_3 + 26635016091760450672710693516285043339200645031117957802\ 40930445743/1382567043382017098379983140489659452421255355094496982\ 700692927, c_0011_0 - 1, c_0011_2 + 133751331807821981314460110516225681150097945996015932165622\ 072/28215653946571777517958839601829784743290925614173407810218223*\ c_0101_3^25 - 88733698881095040753258340988842321163977268798200270\ 0788471408/28215653946571777517958839601829784743290925614173407810\ 218223*c_0101_3^24 + 2914246844437211307252067001635264297500127691\ 021316701685032126/282156539465717775179588396018297847432909256141\ 73407810218223*c_0101_3^23 - 75440012785396991371338975607731649215\ 34347275572549124321508229/2821565394657177751795883960182978474329\ 0925614173407810218223*c_0101_3^22 + 7435641802918421143504942900992871711404864905995747924754583262/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^21 + 29297485202810899538618574792305576282062466461053125348583\ 12587/2821565394657177751795883960182978474329092561417340781021822\ 3*c_0101_3^20 - 654817230729630635543906788789451802882606720048566\ 08671491467317/2821565394657177751795883960182978474329092561417340\ 7810218223*c_0101_3^19 + 829259677970857369413202502182341709237097\ 07714230051166658265778/2821565394657177751795883960182978474329092\ 5614173407810218223*c_0101_3^18 - 173513937176409567230356582603733\ 154046482313027852330917592605116/282156539465717775179588396018297\ 84743290925614173407810218223*c_0101_3^17 - 121533074297212802905143942862933280083629343304681688666250529627/\ 28215653946571777517958839601829784743290925614173407810218223*c_01\ 01_3^16 + 254763116797981643751370345905143891639119588709259922430\ 895004757/282156539465717775179588396018297847432909256141734078102\ 18223*c_0101_3^15 - 59827265199189447423245600283629641243632441071\ 3910783968150925663/28215653946571777517958839601829784743290925614\ 173407810218223*c_0101_3^14 - 9010608936586435873820347383896318362\ 7264572003185779233815269560/28215653946571777517958839601829784743\ 290925614173407810218223*c_0101_3^13 + 355362104629801289048682609720440146492679462373341911801913129874/\ 28215653946571777517958839601829784743290925614173407810218223*c_01\ 01_3^12 + 679671570881610494532725826261885810133682963738503740749\ 5747741/28215653946571777517958839601829784743290925614173407810218\ 223*c_0101_3^11 + 1845217129919200432915878976884436198015208570437\ 91389176694257041/2821565394657177751795883960182978474329092561417\ 3407810218223*c_0101_3^10 + 600861471249024900576640990908349269044\ 58563761089535057954999393/2821565394657177751795883960182978474329\ 0925614173407810218223*c_0101_3^9 + 75138358420273991027432735111823784292719071456426935303202349349/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^8 + 33754237730552254580871064717810934970694646768387623468656\ 217638/282156539465717775179588396018297847432909256141734078102182\ 23*c_0101_3^7 - 290912532022047719731574512540796917035704623481152\ 78388295514135/2821565394657177751795883960182978474329092561417340\ 7810218223*c_0101_3^6 - 1158002536211711184176314765807086588509032\ 3901978975424258860615/28215653946571777517958839601829784743290925\ 614173407810218223*c_0101_3^5 - 14438762442282560689915097812855218\ 850972927942767881393291704803/282156539465717775179588396018297847\ 43290925614173407810218223*c_0101_3^4 + 4803449699719402893997588965583559307434238058832069514079249009/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^3 - 428465649926979427239719909067343136553960889837505627077247\ 816/28215653946571777517958839601829784743290925614173407810218223*\ c_0101_3^2 + 136151319482811009583117150408852838342215429107197357\ 5691295056/28215653946571777517958839601829784743290925614173407810\ 218223*c_0101_3 - 3374897786941788836865016215385239966511293078272\ 81211322479930/2821565394657177751795883960182978474329092561417340\ 7810218223, c_0011_4 - 757236478470496382078442624925999704881503744821139713196541\ 92/28215653946571777517958839601829784743290925614173407810218223*c\ _0101_3^25 + 522892089232005700350934045546792686256791610547613292\ 452089136/282156539465717775179588396018297847432909256141734078102\ 18223*c_0101_3^24 - 17839414221897598458810951944738052588408075076\ 86671766583053092/2821565394657177751795883960182978474329092561417\ 3407810218223*c_0101_3^23 + 470360121644861084993629496090198056919\ 7782347836287157205308334/28215653946571777517958839601829784743290\ 925614173407810218223*c_0101_3^22 - 5316078343293011827753626180055257428091449642666030667707417560/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^21 - 65754486647363172288904865479204914836010433932362570333113\ 7843/28215653946571777517958839601829784743290925614173407810218223\ *c_0101_3^20 + 3769404662394437532494325153821597474426343810717848\ 4366455971315/28215653946571777517958839601829784743290925614173407\ 810218223*c_0101_3^19 - 5703438012490076585871530079132366427037263\ 2326440195603469912960/28215653946571777517958839601829784743290925\ 614173407810218223*c_0101_3^18 + 1099186998122480628105933140549420\ 38507728227654846771134284376488/2821565394657177751795883960182978\ 4743290925614173407810218223*c_0101_3^17 + 43879260334095946651654147473478111379396875457001498626515585237/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^16 - 1666865652303390862564956002002138651561058668779985530071\ 84869178/2821565394657177751795883960182978474329092561417340781021\ 8223*c_0101_3^15 + 376989775103645521401050862027912043149482544228\ 219309009067969366/282156539465717775179588396018297847432909256141\ 73407810218223*c_0101_3^14 - 37217458404680371197409376677775745138\ 913661356047840181975410126/282156539465717775179588396018297847432\ 90925614173407810218223*c_0101_3^13 - 228471598039620038524393630253235119653937452605195359725045717088/\ 28215653946571777517958839601829784743290925614173407810218223*c_01\ 01_3^12 + 544267822299660607509200322099867957858174102299712832481\ 78384539/2821565394657177751795883960182978474329092561417340781021\ 8223*c_0101_3^11 - 101807860550203786083150230489430035749088195021\ 233695855316418026/282156539465717775179588396018297847432909256141\ 73407810218223*c_0101_3^10 - 13210868608928473774225796456091732307\ 621123840315793427338840416/282156539465717775179588396018297847432\ 90925614173407810218223*c_0101_3^9 - 24238591770854513726884740659082772988903354012456243660566688551/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^8 - 55660062336761746958258791330787907723958192113083448888817\ 35790/2821565394657177751795883960182978474329092561417340781021822\ 3*c_0101_3^7 + 2296972315076336735151574711979119894555593587805110\ 1385885374377/28215653946571777517958839601829784743290925614173407\ 810218223*c_0101_3^6 + 42505054283270793285957865513044715263504935\ 62859172970377498711/2821565394657177751795883960182978474329092561\ 4173407810218223*c_0101_3^5 + 6755696017551145885006379259466221920\ 798309364209102223200821333/282156539465717775179588396018297847432\ 90925614173407810218223*c_0101_3^4 - 4308044189860951971419375330234908616002940479947439568641942771/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^3 + 444510136523246523290443557702548703424759285285058597971614\ 691/28215653946571777517958839601829784743290925614173407810218223*\ c_0101_3^2 - 874631720184035674756270267240344512392619624395747263\ 082563528/282156539465717775179588396018297847432909256141734078102\ 18223*c_0101_3 + 25593788088731208366274124941078019724650338128348\ 8159822128682/28215653946571777517958839601829784743290925614173407\ 810218223, c_0011_6 + 641272991858598489162969977972449992343675981748767588096440\ 0/28215653946571777517958839601829784743290925614173407810218223*c_\ 0101_3^25 - 5549712262902099645320798731401832648587133939868556057\ 2990976/28215653946571777517958839601829784743290925614173407810218\ 223*c_0101_3^24 + 2285148642397256016698132614550188711775723142220\ 94488882142868/2821565394657177751795883960182978474329092561417340\ 7810218223*c_0101_3^23 - 664655854378657045856606030460786186940730\ 584708443361014288362/282156539465717775179588396018297847432909256\ 14173407810218223*c_0101_3^22 + 11602186986454757337506177030837798\ 80741787927994583025862855538/2821565394657177751795883960182978474\ 3290925614173407810218223*c_0101_3^21 - 773438237967824545424559455705170880017218153056203425909906841/282\ 15653946571777517958839601829784743290925614173407810218223*c_0101_\ 3^20 - 318296899022284831898008834697360143234378878862063859057944\ 0380/28215653946571777517958839601829784743290925614173407810218223\ *c_0101_3^19 + 1032679643747845216801027308434371204391925975026697\ 7854844370153/28215653946571777517958839601829784743290925614173407\ 810218223*c_0101_3^18 - 1781577961404424239878954996419789047729801\ 1562478261796997715854/28215653946571777517958839601829784743290925\ 614173407810218223*c_0101_3^17 + 1354703723805219247279385189836251\ 1149033726840151085433481698990/28215653946571777517958839601829784\ 743290925614173407810218223*c_0101_3^16 + 19701726392114791572623854956481357352684584236877737308070728812/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^15 - 5420202430725902062631692298394637541177798724367368714136\ 1716118/28215653946571777517958839601829784743290925614173407810218\ 223*c_0101_3^14 + 6154718570105562641260302840179422950921256969161\ 3571999601878179/28215653946571777517958839601829784743290925614173\ 407810218223*c_0101_3^13 + 1119700061374371596748606038400575183806\ 5213196342008673075015263/28215653946571777517958839601829784743290\ 925614173407810218223*c_0101_3^12 - 30955494073732562744133485337980893855701725426827565375720229587/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^11 + 2134310452246801998181115290018911504902218276232166427391\ 5214187/28215653946571777517958839601829784743290925614173407810218\ 223*c_0101_3^10 - 1740333155885411816347024753494533959007073814346\ 0156263770928535/28215653946571777517958839601829784743290925614173\ 407810218223*c_0101_3^9 - 43891970004658351562049028670093790789850\ 46128574772946494317953/2821565394657177751795883960182978474329092\ 5614173407810218223*c_0101_3^8 - 4852371767162472229517937024685195\ 079389173922265613487097381805/282156539465717775179588396018297847\ 43290925614173407810218223*c_0101_3^7 - 4497693243950310260991127956507768493176915951080436868156563041/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^6 + 814197507875143291709553586779918581227764609978876059291680\ 051/28215653946571777517958839601829784743290925614173407810218223*\ c_0101_3^5 - 610759564111812373302731416069752801468737598884875992\ 651745749/282156539465717775179588396018297847432909256141734078102\ 18223*c_0101_3^4 + 137642917323338717096099985122909725314192109293\ 7674644293592462/28215653946571777517958839601829784743290925614173\ 407810218223*c_0101_3^3 - 15991217102056750541384238038455474987542\ 7114218458393087100380/28215653946571777517958839601829784743290925\ 614173407810218223*c_0101_3^2 + 28365563334599819057325733656213333\ 9406718527359394755712487714/28215653946571777517958839601829784743\ 290925614173407810218223*c_0101_3 - 111022213261456463374331552128179978162510790359570385367335552/282\ 15653946571777517958839601829784743290925614173407810218223, c_0101_0 + 538662101507944938489482707347338026320053241364868276200623\ 04/28215653946571777517958839601829784743290925614173407810218223*c\ _0101_3^25 - 361759297580388292479208807212734167041707967079934271\ 268745680/282156539465717775179588396018297847432909256141734078102\ 18223*c_0101_3^24 + 12060749036881421972763396969861540188992690749\ 45202952213257832/2821565394657177751795883960182978474329092561417\ 3407810218223*c_0101_3^23 - 315774288581294919963875352783686261722\ 5895466089826584511843888/28215653946571777517958839601829784743290\ 925614173407810218223*c_0101_3^22 + 3328052641469489093148559195203176313398434490438331688996496722/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^21 + 70318093405292835188550021078910701661619257921792888735988\ 1332/28215653946571777517958839601829784743290925614173407810218223\ *c_0101_3^20 - 2615533329609533626529778540086737815939772396295301\ 6690304361445/28215653946571777517958839601829784743290925614173407\ 810218223*c_0101_3^19 + 3547445277843189525496746498366858280700555\ 7892140128524017882421/28215653946571777517958839601829784743290925\ 614173407810218223*c_0101_3^18 - 7417820930063379051599228086462722\ 8986422751959076317587201419768/28215653946571777517958839601829784\ 743290925614173407810218223*c_0101_3^17 - 40222858256914337120733207531282616383508442543257332321150439572/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^16 + 1010716289904696344410484271131095347457276741332234494111\ 82404101/2821565394657177751795883960182978474329092561417340781021\ 8223*c_0101_3^15 - 249033939670236491218450043434322602282019974152\ 139747858718186022/282156539465717775179588396018297847432909256141\ 73407810218223*c_0101_3^14 - 91493941144507240725552320335922807853\ 43143848585969448158686688/2821565394657177751795883960182978474329\ 0925614173407810218223*c_0101_3^13 + 128899612280877848963677575805370743808173635296517819217773461470/\ 28215653946571777517958839601829784743290925614173407810218223*c_01\ 01_3^12 - 184443160958544733555605462311903068731538867370747806753\ 8769192/28215653946571777517958839601829784743290925614173407810218\ 223*c_0101_3^11 + 8346723063485749049589171616073821542610431920662\ 2231519348042999/28215653946571777517958839601829784743290925614173\ 407810218223*c_0101_3^10 + 1628579005794734348024391133105415426982\ 5000506281294448068113816/28215653946571777517958839601829784743290\ 925614173407810218223*c_0101_3^9 + 29119057013544440023647094599287346195691270203793502423488514318/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^8 + 10586832690527747190748554173120449509697146727045518438135\ 639757/282156539465717775179588396018297847432909256141734078102182\ 23*c_0101_3^7 - 120411586821971521030702300747027012958761547573282\ 61164250628430/2821565394657177751795883960182978474329092561417340\ 7810218223*c_0101_3^6 - 5067862618959290867047308999953775625266814\ 937355091686149605841/282156539465717775179588396018297847432909256\ 14173407810218223*c_0101_3^5 - 644832558584533404427932970306623430\ 0711597926211844654030128717/28215653946571777517958839601829784743\ 290925614173407810218223*c_0101_3^4 + 1961387420686450124715743885155294563553599808848201576086323067/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^3 - 165743264378897528824121563889409821173439388159349099464174\ 043/28215653946571777517958839601829784743290925614173407810218223*\ c_0101_3^2 + 697941246346693445131917737315330729825619425427671986\ 038907573/282156539465717775179588396018297847432909256141734078102\ 18223*c_0101_3 - 15448142988552226073482536355163129088730365213911\ 7524463462264/28215653946571777517958839601829784743290925614173407\ 810218223, c_0101_1 - 455239560504461762745364173732814227672178967000242940153537\ 52/28215653946571777517958839601829784743290925614173407810218223*c\ _0101_3^25 + 296644715433950432099848048970875780494787028423778043\ 224546648/282156539465717775179588396018297847432909256141734078102\ 18223*c_0101_3^24 - 95847387641580380870343328876915781815018806700\ 0967372317074030/28215653946571777517958839601829784743290925614173\ 407810218223*c_0101_3^23 + 2465214138598157901470120004064456814972\ 794615142274657880839267/282156539465717775179588396018297847432909\ 25614173407810218223*c_0101_3^22 - 2275208254198767406379757168193570325076231533046470783657074559/28\ 215653946571777517958839601829784743290925614173407810218223*c_0101\ _3^21 - 11740859801135169516840154355933661597046888820922113335159\ 92806/2821565394657177751795883960182978474329092561417340781021822\ 3*c_0101_3^20 + 220551960381134993440483850671776187095048915273731\ 14943055376596/2821565394657177751795883960182978474329092561417340\ 7810218223*c_0101_3^19 - 256555119892433072086663955487790756219399\ 37455480987693835396181/2821565394657177751795883960182978474329092\ 5614173407810218223*c_0101_3^18 + 568142963670495920734437826687905\ 46292118545443472867198991912675/2821565394657177751795883960182978\ 4743290925614173407810218223*c_0101_3^17 + 47014694005061386936792006669005660844683081789112947496140651320/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^16 - 7907809584893933386883713645751419028867273929317130373729\ 4645441/28215653946571777517958839601829784743290925614173407810218\ 223*c_0101_3^15 + 1956196321510778387368776182761734484774112892943\ 90190253073619062/2821565394657177751795883960182978474329092561417\ 3407810218223*c_0101_3^14 + 504323934138274245331919476214640178580\ 02842486723509422673954834/2821565394657177751795883960182978474329\ 0925614173407810218223*c_0101_3^13 - 107694917417074742824957953503399838226988502245729573636617999607/\ 28215653946571777517958839601829784743290925614173407810218223*c_01\ 01_3^12 - 143987152965026605565906288920863484942004810673353824514\ 00338422/2821565394657177751795883960182978474329092561417340781021\ 8223*c_0101_3^11 - 694049095274221458694640253781596408144906738767\ 39819739057530633/2821565394657177751795883960182978474329092561417\ 3407810218223*c_0101_3^10 - 281772231101548541868997358474676858568\ 44528241133780028309747464/2821565394657177751795883960182978474329\ 0925614173407810218223*c_0101_3^9 - 30705302496615625364016934118318080840799614632583460287155501596/2\ 8215653946571777517958839601829784743290925614173407810218223*c_010\ 1_3^8 - 15771735425489998204644569023856455210950110260744504919926\ 227380/282156539465717775179588396018297847432909256141734078102182\ 23*c_0101_3^7 + 730550353614220389534651479396163717718798863830436\ 7909972854902/28215653946571777517958839601829784743290925614173407\ 810218223*c_0101_3^6 + 44838230385643070420917889298340161788184721\ 64387981304101344458/2821565394657177751795883960182978474329092561\ 4173407810218223*c_0101_3^5 + 5940998967110789566025713071998448601\ 098506833814582498685440809/282156539465717775179588396018297847432\ 90925614173407810218223*c_0101_3^4 - 825076611553667760433052353963671933773014909058622444368286035/282\ 15653946571777517958839601829784743290925614173407810218223*c_0101_\ 3^3 + 1860980637322913723488872880849440038145506973726953639757839\ 07/28215653946571777517958839601829784743290925614173407810218223*c\ _0101_3^2 - 4908520500033936255065152679982076476763814429271276398\ 34061275/2821565394657177751795883960182978474329092561417340781021\ 8223*c_0101_3 + 738257281581488570330872453269126335591718456842795\ 11353712711/2821565394657177751795883960182978474329092561417340781\ 0218223, c_0101_3^26 - 7*c_0101_3^25 + 97/4*c_0101_3^24 - 517/8*c_0101_3^23 + 617/8*c_0101_3^22 - 7/8*c_0101_3^21 - 3955/8*c_0101_3^20 + 6387/8*c_0101_3^19 - 1541*c_0101_3^18 - 403*c_0101_3^17 + 17427/8*c_0101_3^16 - 5171*c_0101_3^15 + 4155/4*c_0101_3^14 + 10871/4*c_0101_3^13 - 6855/8*c_0101_3^12 + 5817/4*c_0101_3^11 - 657/8*c_0101_3^10 + 413*c_0101_3^9 + 53*c_0101_3^8 - 2375/8*c_0101_3^7 - 17*c_0101_3^6 - 653/8*c_0101_3^5 + 583/8*c_0101_3^4 - 121/8*c_0101_3^3 + 99/8*c_0101_3^2 - 51/8*c_0101_3 + 7/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB