Magma V2.19-8 Tue Aug 20 2013 16:17:57 on localhost [Seed = 1629552036] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2181 geometric_solution 5.64430071 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510196343542 0.138291991305 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 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.663924178674 0.356624352299 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 0 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.775027100014 1.436393920527 5 2 6 4 0132 0132 0132 3120 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 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476285605830 0.549374419134 3 6 2 5 3120 0132 0132 1023 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 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.476285605830 0.549374419134 3 5 5 4 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612813885757 0.912585403595 6 4 6 3 2310 0132 3201 0132 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 1 0 -1 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.799697451977 0.636904145891 ==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_0011_4'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], '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_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_3'], '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_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 3135067692517444983054972448421327562993244521073799195398930688501\ 515124001868857758790850157566045399831143495489953/199114907937447\ 0632921642663149455392867701946208964551189252842652960460849648476\ 40266185467626271781903927182970439525*c_1001_3^26 - 8143379312262338317347038841898329013955262209387583463673623896593\ 2727990719734972533518430088327720509334342507292598/19911490793744\ 7063292164266314945539286770194620896455118925284265296046084964847\ 640266185467626271781903927182970439525*c_1001_3^25 + 1741132143548418560033334246031526905796897359111194835114304195634\ 87506250527711135712981817840610347343946958130181187/6637163597914\ 9021097388088771648513095590064873632151706308428088432015361654949\ 213422061822542090593967975727656813175*c_1001_3^24 - 7891466149158384113608257767921293938670487086032661191796273776738\ 858545956367585722996887158848035026081991900867848/132743271958298\ 0421947761775432970261911801297472643034126168561768640307233098984\ 2684412364508418118793595145531362635*c_1001_3^23 - 9168792615079279377905605925072221923383060299689511969037000455180\ 574296122096095621649651074771848927368878711824777286/199114907937\ 4470632921642663149455392867701946208964551189252842652960460849648\ 47640266185467626271781903927182970439525*c_1001_3^22 + 4824349635486480811057265864892025813171557288366509015436981121468\ 4095248227489990021440548974183461789306798924614177769/19911490793\ 7447063292164266314945539286770194620896455118925284265296046084964\ 847640266185467626271781903927182970439525*c_1001_3^21 - 2335897520026164329274867351595186881593598375924443495858616766594\ 34349420355021978367172142263867743975756972699243425942/1991149079\ 3744706329216426631494553928677019462089645511892528426529604608496\ 4847640266185467626271781903927182970439525*c_1001_3^20 + 4378144262151483941653383120580079855308244598861589289783070541343\ 98588043520017119109006702111045234698356281906946281039/1991149079\ 3744706329216426631494553928677019462089645511892528426529604608496\ 4847640266185467626271781903927182970439525*c_1001_3^19 + 1251730572945142484614848052404152437491277755047631132638520502436\ 35715854260342978783336377150258089514931170300915575699/1991149079\ 3744706329216426631494553928677019462089645511892528426529604608496\ 4847640266185467626271781903927182970439525*c_1001_3^18 - 1561225105529673473109318008819011585061276317688569701698372243704\ 038013697297529271222521570001401230512100090045716867688/199114907\ 9374470632921642663149455392867701946208964551189252842652960460849\ 64847640266185467626271781903927182970439525*c_1001_3^17 + 1000588105402831938003633073113368906396256346356480923536148011378\ 234180395223665103552406560490937634077516992370325666724/663716359\ 7914902109738808877164851309559006487363215170630842808843201536165\ 4949213422061822542090593967975727656813175*c_1001_3^16 - 1775295014583379259178222114304498741998416597763885354968831554612\ 189949405477746960256660166194073584156902373067246677333/199114907\ 9374470632921642663149455392867701946208964551189252842652960460849\ 64847640266185467626271781903927182970439525*c_1001_3^15 - 1446117688440239586418279130023728444642271590611582529060597864076\ 865512101141554072733364953255601529395445289090287769848/663716359\ 7914902109738808877164851309559006487363215170630842808843201536165\ 4949213422061822542090593967975727656813175*c_1001_3^14 + 6354032626345861687534779690607964215470636636412855107931329987850\ 620109250284013034303441337867891099393988689742465373718/199114907\ 9374470632921642663149455392867701946208964551189252842652960460849\ 64847640266185467626271781903927182970439525*c_1001_3^13 - 2520683079952420307753055788957127160013412916982958266919606466108\ 81520524927510796915546151847366219242139407262796660761/1327432719\ 5829804219477617754329702619118012974726430341261685617686403072330\ 989842684412364508418118793595145531362635*c_1001_3^12 - 1044667952267642490920343727616951721350202958069000778535559145713\ 319800742402384743839620036637925467606914033233028292339/663716359\ 7914902109738808877164851309559006487363215170630842808843201536165\ 4949213422061822542090593967975727656813175*c_1001_3^11 + 1031679507418748122665996559706270956746523425295073338304902642158\ 7278356843186307014482274172748787791088754852586755379414/19911490\ 7937447063292164266314945539286770194620896455118925284265296046084\ 964847640266185467626271781903927182970439525*c_1001_3^10 + 4423966418884649397497708078430578848897518186184595520796473741899\ 542443511333963548041821089888283300759334799841119957493/199114907\ 9374470632921642663149455392867701946208964551189252842652960460849\ 64847640266185467626271781903927182970439525*c_1001_3^9 - 1236771899941895035330293358678616612727237631931187663678075136026\ 420810983540304711190986580196229964252673242452156253811/199114907\ 9374470632921642663149455392867701946208964551189252842652960460849\ 64847640266185467626271781903927182970439525*c_1001_3^8 + 4018809668127433386786672611158295951954818274373940118798091942262\ 27105990112129000656323392761745301840481255207581110328/6637163597\ 9149021097388088771648513095590064873632151706308428088432015361654\ 949213422061822542090593967975727656813175*c_1001_3^7 + 2558937911364855822830475680022045275905121159965558989568921601487\ 46376496336291715531713280277105873147590892296881381428/3982298158\ 7489412658432853262989107857354038924179291023785056853059209216992\ 969528053237093525254356380785436594087905*c_1001_3^6 - 7347835279827167446178851477119851962572532302079623281845613208532\ 897898873994295967630791615627457009775752298416110768397/199114907\ 9374470632921642663149455392867701946208964551189252842652960460849\ 64847640266185467626271781903927182970439525*c_1001_3^5 - 2279005859320472030387886390313760430934582938081171243404455583610\ 064863075824961397343381783307505237525249740106127843742/663716359\ 7914902109738808877164851309559006487363215170630842808843201536165\ 4949213422061822542090593967975727656813175*c_1001_3^4 + 9405911207190183465283066352748016809843504051707517743624121125324\ 82284655282191767402002680243630385339295312166878074022/6637163597\ 9149021097388088771648513095590064873632151706308428088432015361654\ 949213422061822542090593967975727656813175*c_1001_3^3 + 3425248204262550600511371243207984802129939216337008681336589337434\ 728262337837997170177655710408352227920202701638741400479/199114907\ 9374470632921642663149455392867701946208964551189252842652960460849\ 64847640266185467626271781903927182970439525*c_1001_3^2 + 1482664314631042153600296885751694476579815838872930945558194791849\ 24415128185478150162839331569007184912473370553739555223/1991149079\ 3744706329216426631494553928677019462089645511892528426529604608496\ 4847640266185467626271781903927182970439525*c_1001_3 - 3068756949048213118669634366671247200954426778573027168250413032089\ 23799234063035062254474279923107543159187263737968395733/1991149079\ 3744706329216426631494553928677019462089645511892528426529604608496\ 4847640266185467626271781903927182970439525, c_0011_0 - 1, c_0011_1 - 475429963022434529305457411086840986089925137646695589859007\ 37525145702395965433495008969387559837069025495/3413466393653465564\ 5178214424177604751492934877895482284855146725322471143030063446980\ 471024143940223158916963*c_1001_3^26 + 1279289167842207778261657146243239529718677121294007303305670161767\ 457692039181261787980498338083310887995256/341346639365346556451782\ 1442417760475149293487789548228485514672532247114303006344698047102\ 4143940223158916963*c_1001_3^25 - 910084515774025963057821212866743\ 3140411549482721035032471662833580120662062414007305632526895617939\ 273347301/341346639365346556451782144241776047514929348778954822848\ 55146725322471143030063446980471024143940223158916963*c_1001_3^24 + 9915182295513225057829124654109521317643351769219212132509074447429\ 482984984239705187179919177936046159112283/341346639365346556451782\ 1442417760475149293487789548228485514672532247114303006344698047102\ 4143940223158916963*c_1001_3^23 + 132378680032333629612495874241495\ 2792591613661829865112638099317925524170176317613089170969473491427\ 06541756174/3413466393653465564517821442417760475149293487789548228\ 4855146725322471143030063446980471024143940223158916963*c_1001_3^22 - 85754353567694677215174569313776449948664408957075854970829948640\ 0463432236843738449621198119940479610536990339/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^21 + 4303515927392794515715463526076656661705724995936839205495059922601\ 965348512337397276147693946517147118300762123/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^20 - 1041161433991901931226175166714333586642289944195185507788265527155\ 8640936132458509220648530633249538824677278676/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^19 + 6603042959426880615127045833330254411981206988590059875487005768482\ 551761820922114891504643745731499631803271816/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^18 + 2034180730827030882162896917288206089489781938401195231385029165947\ 1114328471135448507649270769691347196094260517/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^17 - 6597729886925178227506576194432401469721001650316715872022367717879\ 0264591363362347009754277858111242841958285028/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^16 + 8244215807216974920404793493133420510634277204836897935924625189760\ 9429475202510293399829789581366746698820339957/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^15 + 6912488956506995197148412896401236863116717218822576717799480231187\ 496359260258833146160727268443626676300838833/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^14 - 1238679033458316492450029215540854460525207298818895802588917954073\ 05884280886644148775285250506297158315660979538/3413466393653465564\ 5178214424177604751492934877895482284855146725322471143030063446980\ 471024143940223158916963*c_1001_3^13 + 1680694481856271195017638636755636699218960817054107015874122022023\ 21758837715454527203374655968703731970237073303/3413466393653465564\ 5178214424177604751492934877895482284855146725322471143030063446980\ 471024143940223158916963*c_1001_3^12 - 7529721611432293196585602839816765615627120956818629583624194457023\ 2511815706141130696577256714348088787371181808/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^11 - 1291876248614063085759323927746769009245967825354074736528240920068\ 29060377473543334690531815052561113813620124176/3413466393653465564\ 5178214424177604751492934877895482284855146725322471143030063446980\ 471024143940223158916963*c_1001_3^10 + 6930821394208961981722622719774665370511902771912065099482746850414\ 9664378252444091511665798644157067063219731797/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^9 - 7845478064035251971772811098952218266709309360658425222182714675085\ 780238670143043436615456732748253342848267670/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^8 - 2316583254028112093728413179797395093478137038397744194272370309200\ 7764929910302641706712981076764567812658651970/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^7 + 4255457929217848497524508736251527049832544808116048807668114452434\ 775466310418576611847108834714145794889090065/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^6 + 1142351917366653931752539970682277211411497520717131177774724417279\ 17156632207366056601546425501854560907698212898/3413466393653465564\ 5178214424177604751492934877895482284855146725322471143030063446980\ 471024143940223158916963*c_1001_3^5 - 2361949777879565151176159088643377560377005392489761945495440988628\ 799884930412603085905389349832169062799048648/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^4 - 7320343462665603626174631616405139699630890763607907863099895890384\ 8708012910644210670697698994080561348976487628/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^3 + 1135894352424142885017443395883108531035353469419964888565453061765\ 8742671920104534723540628668233875029552688528/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^2 + 5807500459328642212162370040857632651637339235190631476945329428396\ 564745624806714699574044440112997529390773814/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3 - 105833643637577308743150790562696\ 9708550276171151087716546272405624544022825019260131141724581482355\ 071762394007/341346639365346556451782144241776047514929348778954822\ 84855146725322471143030063446980471024143940223158916963, c_0011_4 + 268299034253461834679354676947754770625272431427322217746557\ 77012756353296147027287778169399578024941369213/3413466393653465564\ 5178214424177604751492934877895482284855146725322471143030063446980\ 471024143940223158916963*c_1001_3^26 - 7213500465282202959556339825641913240910010755592375929302783049888\ 41049978542803662095090305292622920731100/3413466393653465564517821\ 4424177604751492934877895482284855146725322471143030063446980471024\ 143940223158916963*c_1001_3^25 + 5119953263420009136186961206735756\ 3143262361249392667128769188561332276587831364369851473308695641514\ 52098693/3413466393653465564517821442417760475149293487789548228485\ 5146725322471143030063446980471024143940223158916963*c_1001_3^24 - 5481051806286427854647692027309761428821111424422338051451560402523\ 024699919562240330845854076752673727797607/341346639365346556451782\ 1442417760475149293487789548228485514672532247114303006344698047102\ 4143940223158916963*c_1001_3^23 - 748457566526977416188095372852069\ 8690014844123704213104753055387760835553963907341223589737125956284\ 5429752225/34134663936534655645178214424177604751492934877895482284\ 855146725322471143030063446980471024143940223158916963*c_1001_3^22 + 4823763558783288250240056899206577237655217071270861220535046293895\ 72610986298403864512137185865226186963001823/3413466393653465564517\ 8214424177604751492934877895482284855146725322471143030063446980471\ 024143940223158916963*c_1001_3^21 - 2417949132036455954924629099230726621466571289528090207665552225518\ 260208272836398296285581402498846536824045342/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^20 + 5820481192454366971844745087856516945508198854986682570607214222905\ 841184995356256047528787348009900360909627854/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^19 - 3586651072011907742266682604535375285818671320593080281100314718725\ 958865069756935755712068318584080294931527936/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^18 - 1160610864284126598320245999588597015629807723566205477502572664652\ 7135414786607625618895217692509692498778606894/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^17 + 3708030805639338885730266734162825979180083704199958546636265934819\ 7690276947297166691746498306350145739404176086/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^16 - 4578373698630745632527444191818366824252764080808892026249426530186\ 9623159758341019128400303004353417909294483033/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^15 - 5059471160409943495847289106386549655678617606630722614987923170344\ 054398359321430905286780331225515879047929217/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^14 + 7036475492112658053113814830098471540606610234058935190545781185536\ 3661608327230482676419929404680131930776796353/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^13 - 9411274240800949254099102020000068683050555311122396283233999867007\ 6322855384852715170100511955766960145815545607/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^12 + 4072586814349018537537133385507332555791171543757419754408123290954\ 8825230731778717244923061659649579586593716611/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^11 + 7435907707933234343579052128863502245174602814240183341732624849765\ 7211971115281364901489256752212199620472023384/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^10 - 3874340315228760445893535452045063686432272208668695765597320012756\ 8091041429305366338778229226255588347610175144/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^9 + 4577014865117926821284057527946724594232591237277837550657548901437\ 479094176730514679060890011835624317316826444/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^8 + 1328087509322877534068604352605582184818908296943482277920323305844\ 9888990618628695092834786208803180829509351518/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^7 - 2003262128500162574253212194345507568755827965329800819670808090446\ 407652843933819902501414943602722011566268254/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^6 - 6438903334120026781174549430265510975083862230711390096478516020306\ 7082018177207619143341067993113419689616259345/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^5 + 1480761538411615263666533190153147848402738413801748748649673322694\ 92724030841039535962601605420165917950327993/3413466393653465564517\ 8214424177604751492934877895482284855146725322471143030063446980471\ 024143940223158916963*c_1001_3^4 + 4143654321338901706369660199677542140900164358849287652444723216296\ 2888939987203941135886215462970811921036938634/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^3 - 6234152897730667494774324292958502427690078043242235666033274594994\ 970217635964640225571173477525200058631974938/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^2 - 3290614096968294767539658845439146402657985708889826910215030624119\ 236759510843661255690977819068217928395491585/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3 + 592930876875379475307803482643494\ 6227788840330777330463152268676201297687741577003339929910451883675\ 99955713988/3413466393653465564517821442417760475149293487789548228\ 4855146725322471143030063446980471024143940223158916963, c_0101_0 - 975016608321651157020875446801345401366561790588848124939074\ 53009563095016711366292223243524372776715021951/1024039918096039669\ 3553464327253281425447880463368644685456544017596741342909019034094\ 1413072431820669476750889*c_1001_3^26 + 2621367268179670618338697180714913656586703633448089472575314439533\ 614764090007519155874845350584986483853549/102403991809603966935534\ 6432725328142544788046336864468545654401759674134290901903409414130\ 72431820669476750889*c_1001_3^25 - 1860458208189549409280671891721493413927761226466155229664282020602\ 4678618462459359540733518443276052120669914/10240399180960396693553\ 4643272532814254478804633686446854565440175967413429090190340941413\ 072431820669476750889*c_1001_3^24 + 1990943477290616120038769829922280073439641834391568474107523787685\ 7036120182303488653916602639122419335482777/10240399180960396693553\ 4643272532814254478804633686446854565440175967413429090190340941413\ 072431820669476750889*c_1001_3^23 + 2719778464761625711721224392273941193863172346965072564212835007316\ 25835382461555214234815686211092266755257658/1024039918096039669355\ 3464327253281425447880463368644685456544017596741342909019034094141\ 3072431820669476750889*c_1001_3^22 - 1752732684845367511709908301348326260890088546771407939521361030475\ 342448446850807540938408695726109900900802391/102403991809603966935\ 5346432725328142544788046336864468545654401759674134290901903409414\ 13072431820669476750889*c_1001_3^21 + 2928690689027685470752587740192828561630810501663578722244207031485\ 612326616760162540568846802934471067542253160/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^20 - 2114879594831338307819370376317301435244047903797811543841415576981\ 1396746930629469208628633769781968472574132915/10240399180960396693\ 5534643272532814254478804633686446854565440175967413429090190340941\ 413072431820669476750889*c_1001_3^19 + 1303525419102935048515778636254119106946998231389904570150464011257\ 4604302241084184930657536112398440858215373983/10240399180960396693\ 5534643272532814254478804633686446854565440175967413429090190340941\ 413072431820669476750889*c_1001_3^18 + 4213702641362768542043285930449058739679617653819539645882315167563\ 8602876052887424811626316075059886214028027384/10240399180960396693\ 5534643272532814254478804633686446854565440175967413429090190340941\ 413072431820669476750889*c_1001_3^17 - 1346448382360807723108042091482565141380101440490350703880768203585\ 85693968639565426935381964685400120926715123022/1024039918096039669\ 3553464327253281425447880463368644685456544017596741342909019034094\ 1413072431820669476750889*c_1001_3^16 + 5542074948052232932477163267592213535282290825039557050023460719458\ 1335101616985211904085485250417656269745510352/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^15 + 6105988157252570068196702539738135465449930361016796749880088134000\ 503584854429619434546442198951160592197423466/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^14 - 2552098701062515320363394783663929616254153458655076157501642051498\ 95494067938843186550727762632812731725316377171/1024039918096039669\ 3553464327253281425447880463368644685456544017596741342909019034094\ 1413072431820669476750889*c_1001_3^13 + 3412783302000521981304074674261339374384823627415960163773538632749\ 54970838246795716898055956886155533640158592433/1024039918096039669\ 3553464327253281425447880463368644685456544017596741342909019034094\ 1413072431820669476750889*c_1001_3^12 - 1475839336878545129368612833050299591629293712877851250904044296463\ 21543325923487960468167247181399045375190418923/1024039918096039669\ 3553464327253281425447880463368644685456544017596741342909019034094\ 1413072431820669476750889*c_1001_3^11 - 8995485520937171570301573375104972501173050380329366052888938962441\ 8488760140499675466892128320323831383913949666/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^10 + 1396975197307335701991553225374640585931482551238154598040475276143\ 66041837981723478450349020954803416913642127688/1024039918096039669\ 3553464327253281425447880463368644685456544017596741342909019034094\ 1413072431820669476750889*c_1001_3^9 - 5299931076912211807941952456812431769290220969660459916594164151700\ 301912229908861646807954190621656727447990061/341346639365346556451\ 7821442417760475149293487789548228485514672532247114303006344698047\ 1024143940223158916963*c_1001_3^8 - 1615037707575904370595101409632928910715008136314487608696244598638\ 8484790121139973912154043617269794198506088636/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^7 + 7238222379975723715681572493308257029221607558699924222641109167553\ 352649323781189717631806891762951404212201268/102403991809603966935\ 5346432725328142544788046336864468545654401759674134290901903409414\ 13072431820669476750889*c_1001_3^6 + 7799986836494381514278089141808771934752233215423951644090611951806\ 0232791618700451568119401291344472137455853462/34134663936534655645\ 1782144241776047514929348778954822848551467253224711430300634469804\ 71024143940223158916963*c_1001_3^5 - 8790943214733749926602237216590104127907036961037833523883443564148\ 1973520244141794069781716149480430469035492/34134663936534655645178\ 2144241776047514929348778954822848551467253224711430300634469804710\ 24143940223158916963*c_1001_3^4 - 501470496630057527051644858386559\ 0125722028707381135389485068720041262457069724607010596037717578987\ 4809169233661/34134663936534655645178214424177604751492934877895482\ 284855146725322471143030063446980471024143940223158916963*c_1001_3^\ 3 + 222385307648058262985799099271369708911407093983040412786390673\ 82173075423010261833601326774138548458472910995974/1024039918096039\ 6693553464327253281425447880463368644685456544017596741342909019034\ 0941413072431820669476750889*c_1001_3^2 + 1217735033760805651285500358831154867281998164865460858122852860514\ 8187958825250009114455166367552076811400434387/10240399180960396693\ 5534643272532814254478804633686446854565440175967413429090190340941\ 413072431820669476750889*c_1001_3 - 7152754498037509822652460139111428852421564225097979781828681976318\ 97411745421631665758608285291500899647743360/3413466393653465564517\ 8214424177604751492934877895482284855146725322471143030063446980471\ 024143940223158916963, c_0101_3 + 281691438300927006903010767051452074137147205448715256858390\ 4596230763016361233303994645268423627583663408514534/59128406217504\ 6958551341548077046887265835767248393333686489337090708377386681062\ 0349404171273237469395810755247823*c_1001_3^26 - 7567191347615503551438767438016927818270853006339066587633877413695\ 0618557820014413993092924969356221351871249690/59128406217504695855\ 1341548077046887265835767248393333686489337090708377386681062034940\ 4171273237469395810755247823*c_1001_3^25 + 5358916040228292289063177806987187108169756285452366401116770461317\ 89494191153469949903873709603064720627998218719/5912840621750469585\ 5134154807704688726583576724839333368648933709070837738668106203494\ 04171273237469395810755247823*c_1001_3^24 - 5647628702768198992625085875542258451112307497153143066227192165036\ 53839735993612453035366880856525693576477574850/5912840621750469585\ 5134154807704688726583576724839333368648933709070837738668106203494\ 04171273237469395810755247823*c_1001_3^23 - 7860564160698924960305057648532534847872316660087974409760209728166\ 229359734033254527070666527988769460883736610793/591284062175046958\ 5513415480770468872658357672483933336864893370907083773866810620349\ 404171273237469395810755247823*c_1001_3^22 + 5045394449326349486066489718501363941110601289283805991038466093289\ 4742681067997800914765101038885282596924618451299/59128406217504695\ 8551341548077046887265835767248393333686489337090708377386681062034\ 9404171273237469395810755247823*c_1001_3^21 - 2528618337453037107783424346062964920827504003814393581625544679287\ 19279861640246955086671932016708079834694914561860/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^20 + 6063479041215440735389007591114011339075787802612624843121775986843\ 43381876081799630382024212037478055416718457772838/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^19 - 3678614261988619282699866957501228497051941967647597184483736474088\ 62620916626428723116017052144064871387184031224177/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^18 - 1213944603621741529400441385542328603148326833969726045250802622438\ 906019076606369950500454885569840637498240165744991/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^17 + 3853587559555135326443190739388227513588618297567024667588477008369\ 766658292528807701345745219956248908846069879379861/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^16 - 4733791690939713301712292799463794134543812284932217760301323016186\ 232785040355606854001152965717075533944553701151685/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^15 - 5691028368838321026572225344269971279891944721155177255923203410353\ 07745872871783305283945042790618208317696947990642/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^14 + 7265730584639686754103644390863074291480215467163988533590518191811\ 607736937940321065236674268402772650149584584866249/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^13 - 9672158074604616383560129213469279406530300219007752500555708870239\ 903754315243890355468468651156352176337016341494933/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^12 + 4130519208556922103313552584308469722934659364086300758182073023938\ 598614156159717335582925783737540837285607851482193/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^11 + 7731363442866111587486898707884201736128978861921694512881883150646\ 957407203398010529195008674356580464110474505138568/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^10 - 3751932050531884056102848817049371378884049020983412521299292289327\ 251885720307751133994227800125158458667213969883568/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^9 + 4289632237995412981285034341795398205418903657006780244368505953409\ 10857749477038588839270199378982854841651905300957/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^8 + 1402068353285314470950416646391598824820427902062978670671225483857\ 381925917901489450671760427945213340273589493888616/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^7 - 1666722716453439192209780148081022818464597558177402390451344465571\ 78181150534136586065146966272095458098292876793277/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^6 - 6739340351435050540445454744025929542246246165379699718232006863737\ 534638876384409501662604253884945220589363130533189/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^5 - 1323150512024560486920757491342609093515348494321511599919244867308\ 32983590204426280513618850206235882771896376100852/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^4 + 4236836536797325769678080209655037309230365926930278566357435033606\ 338082391714568742040918921553137177931412869026728/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^3 - 5388929829957764126343471694314652265195679486794332863460636953845\ 06421358691180245294448713599000701809204482201267/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^2 - 3307916527589348151124816786465220196332336545833079929879890842772\ 15387456950350916636620876149354936705250657936381/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3 + 5543305472902875792018516656196484756903580472887960801243879035839\ 1630478458527790475643924267168507609514482004702/59128406217504695\ 8551341548077046887265835767248393333686489337090708377386681062034\ 9404171273237469395810755247823, c_0101_5 + 215204435479203290585974882121689536524640908683192021225924\ 17847670706692284064045197178506749630845909168490260/1773852186525\ 1408756540246442311406617975073017451800010594680112721251321600431\ 861048212513819712408187432265743469*c_1001_3^26 - 5791517340899855202772580954173587958227192271508750186694014612812\ 22278501282059867775270545679966967504961657769/1773852186525140875\ 6540246442311406617975073017451800010594680112721251321600431861048\ 212513819712408187432265743469*c_1001_3^25 + 4121597018466265704462762287425615080693901264368573435181591256968\ 446398598092504999410694710148456541860652279850/177385218652514087\ 5654024644231140661797507301745180001059468011272125132160043186104\ 8212513819712408187432265743469*c_1001_3^24 - 4502189313568009798207498503522925140752822872258605638472038015518\ 149921116130158026256724743781463132264367201779/177385218652514087\ 5654024644231140661797507301745180001059468011272125132160043186104\ 8212513819712408187432265743469*c_1001_3^23 - 5991222300678243468513634718423790248272190552758052341412207890074\ 1880845807539108861497428193971615617801211056412/17738521865251408\ 7565402464423114066179750730174518000105946801127212513216004318610\ 48212513819712408187432265743469*c_1001_3^22 + 3883959022138725125083498020781131787479307950553177202045220966449\ 29164459457891916848523994103840242682033030410677/1773852186525140\ 8756540246442311406617975073017451800010594680112721251321600431861\ 048212513819712408187432265743469*c_1001_3^21 - 6497700907728611408823249909051055451343945143659080066389757369950\ 88945397467977568608372116767361778738527094487090/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^20 + 4719284803134206584938452514981314729214776219295968659810664090147\ 394479340152918252369023681014902617740116326723631/177385218652514\ 0875654024644231140661797507301745180001059468011272125132160043186\ 1048212513819712408187432265743469*c_1001_3^19 - 3002755916353134728648896777595876417057924654639927404777320501693\ 896527798345001607728553500266305343132439580091195/177385218652514\ 0875654024644231140661797507301745180001059468011272125132160043186\ 1048212513819712408187432265743469*c_1001_3^18 - 9204985357620082654801249524214426440191063266801759035667081063597\ 441655205421652327051615591734495270904873600694751/177385218652514\ 0875654024644231140661797507301745180001059468011272125132160043186\ 1048212513819712408187432265743469*c_1001_3^17 + 2990315536645393401009987158235291128310851927245159285715882993997\ 4355090559047533145258170228132073417095342222917136/17738521865251\ 4087565402464423114066179750730174518000105946801127212513216004318\ 61048212513819712408187432265743469*c_1001_3^16 - 1246979065598552893565597841992200033890388344840547775065275475984\ 9532553905319990959818131495841464081038710346067030/59128406217504\ 6958551341548077046887265835767248393333686489337090708377386681062\ 0349404171273237469395810755247823*c_1001_3^15 - 1014884179420496756144779236113581535716958715808057311470596257998\ 073332229001889772810439972349137224435585256032481/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^14 + 5614238970263906407534739475771292909564916693382735737781808318660\ 7601999882615403396508884296144682168847498864571490/17738521865251\ 4087565402464423114066179750730174518000105946801127212513216004318\ 61048212513819712408187432265743469*c_1001_3^13 - 7626940723723339340736292325108206362079039668373540353404051038312\ 3686642749316710496134173249326973052332828662549325/17738521865251\ 4087565402464423114066179750730174518000105946801127212513216004318\ 61048212513819712408187432265743469*c_1001_3^12 + 3425575244691606336134037049793248277093924344141296858031608317943\ 5216113096042229105887500958381221380028357641938888/17738521865251\ 4087565402464423114066179750730174518000105946801127212513216004318\ 61048212513819712408187432265743469*c_1001_3^11 + 1949255909748738448770825954367588641955781716160698433688157328398\ 8077553109863064399004766225188145650867536835586988/59128406217504\ 6958551341548077046887265835767248393333686489337090708377386681062\ 0349404171273237469395810755247823*c_1001_3^10 - 3163776920531913933900548567186569635212518246519161883144413115869\ 8477356761697246515583755611428449517687739058505421/17738521865251\ 4087565402464423114066179750730174518000105946801127212513216004318\ 61048212513819712408187432265743469*c_1001_3^9 + 1185045387787035509461939580422980553175986307473798457736385407956\ 499019111489392486378725190119436816930300956429070/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^8 + 3512265950424499795683972891359053067014642081649832211871318930250\ 617550251827162343141032506951651737601038716143687/591284062175046\ 9585513415480770468872658357672483933336864893370907083773866810620\ 349404171273237469395810755247823*c_1001_3^7 - 1955033743416653225976092034922241315188202935172654094597961588452\ 441766590755594036991325521549454567822969403707067/177385218652514\ 0875654024644231140661797507301745180001059468011272125132160043186\ 1048212513819712408187432265743469*c_1001_3^6 - 1723000884811878488654091205550437642363676843508926747151500475552\ 2302990605549541367453452897687666178070497875298583/59128406217504\ 6958551341548077046887265835767248393333686489337090708377386681062\ 0349404171273237469395810755247823*c_1001_3^5 + 4233600091626256444491046885367149757151350295148990176425154297455\ 65297420081765457296880169705558504652136167542345/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823*c_1001_3^4 + 1107600087106149964338748972969823807938078792154831477896916276815\ 1302234612911044528345062917055392620713587563093852/59128406217504\ 6958551341548077046887265835767248393333686489337090708377386681062\ 0349404171273237469395810755247823*c_1001_3^3 - 5258604415908234141280784681337031635684390306523432319827730952447\ 586353591983202375730070701149228828715553759799485/177385218652514\ 0875654024644231140661797507301745180001059468011272125132160043186\ 1048212513819712408187432265743469*c_1001_3^2 - 2675178496763559123009968911567930522160896440792601007950193536047\ 804181290383700056987713777242771740034388731104831/177385218652514\ 0875654024644231140661797507301745180001059468011272125132160043186\ 1048212513819712408187432265743469*c_1001_3 + 1642862419465986527203762874602832186583861585615781243208631256909\ 72571476984504577344209124011840084167259573602559/5912840621750469\ 5855134154807704688726583576724839333368648933709070837738668106203\ 49404171273237469395810755247823, c_1001_3^27 - 26*c_1001_3^26 + 167*c_1001_3^25 - 35*c_1001_3^24 - 2972*c_1001_3^23 + 15508*c_1001_3^22 - 74169*c_1001_3^21 + 136963*c_1001_3^20 + 59158*c_1001_3^19 - 552311*c_1001_3^18 + 998984*c_1001_3^17 - 478446*c_1001_3^16 - 1709028*c_1001_3^15 + 2463401*c_1001_3^14 - 1177760*c_1001_3^13 - 1605964*c_1001_3^12 + 4133703*c_1001_3^11 + 1010471*c_1001_3^10 - 1130667*c_1001_3^9 + 642948*c_1001_3^8 + 359360*c_1001_3^7 - 2473929*c_1001_3^6 - 2125557*c_1001_3^5 + 1564932*c_1001_3^4 + 1145423*c_1001_3^3 - 333799*c_1001_3^2 - 87096*c_1001_3 + 20205 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB