Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3566553139] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0806 geometric_solution 4.74275199 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 1.537929212924 0.184901133209 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.253210828258 0.334708824544 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -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 -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.614075644340 0.642433749213 2 5 4 4 0132 0132 1302 2031 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.387987785197 0.392289657010 3 3 2 5 2031 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.387987785197 0.392289657010 6 3 4 6 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425516148750 0.794688736269 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.884351543999 0.552927787088 ==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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), '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' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 6725576654135212077999382314644730148547854409532058934083107729415\ 57691466033976502311098033/1276080942998725096861649250143469793861\ 4660704750072974044808813583527217078310438742487552*c_0101_6^30 - 9580195455332602604472801824421735057877166151131422585939059263625\ 935649327816783491505380509/127608094299872509686164925014346979386\ 14660704750072974044808813583527217078310438742487552*c_0101_6^29 - 5181569887947890632030188394959546128142357407306039440673330964803\ 72084749223289224137406073/6380404714993625484308246250717348969307\ 330352375036487022404406791763608539155219371243776*c_0101_6^28 + 2822563261953222054069372428539852293187998131655724627021278767229\ 05549125863007878538831985217/1276080942998725096861649250143469793\ 8614660704750072974044808813583527217078310438742487552*c_0101_6^27 - 23311796340582811468219434316436733770257532090133724706069883718\ 195189847246164482986548617809/911486387856232212044035178673906995\ 615332907482148069574629200970251944077022174195891968*c_0101_6^26 - 1652659838360289246648699580205088194960588502788024673238334339912\ 669670125760606353492580776263/638040471499362548430824625071734896\ 9307330352375036487022404406791763608539155219371243776*c_0101_6^25 + 46611347610381717637930811098368690302661238074168592098824632805\ 41955209276139421544526396393377/1276080942998725096861649250143469\ 7938614660704750072974044808813583527217078310438742487552*c_0101_6\ ^24 + 2607724021287061270840235558385955716169032730349085178385668\ 7123454497056327107649474651459146243/12760809429987250968616492501\ 434697938614660704750072974044808813583527217078310438742487552*c_0\ 101_6^23 - 19159521078394301564132389775318664105664439770757559045\ 408413478631301615978081455538105555973967/127608094299872509686164\ 9250143469793861466070475007297404480881358352721707831043874248755\ 2*c_0101_6^22 - 126881998272085386802745658200441129030321009380015\ 048065538768265956998237779602519208695415442837/127608094299872509\ 6861649250143469793861466070475007297404480881358352721707831043874\ 2487552*c_0101_6^21 + 105997951721408627230339810439414790219307921\ 5558425908354197613722349648343861918748489370606365/63804047149936\ 2548430824625071734896930733035237503648702240440679176360853915521\ 9371243776*c_0101_6^20 + 339590046874129186094365916700557843582813\ 494680503993092757754686481698328366459954911127974088027/127608094\ 2998725096861649250143469793861466070475007297404480881358352721707\ 8310438742487552*c_0101_6^19 + 533455161849154144906662011892126746\ 00012178590395040441503106081225138088518570586021461086173613/1276\ 0809429987250968616492501434697938614660704750072974044808813583527\ 217078310438742487552*c_0101_6^18 - 1134432177884091140021142536520131121477840421138595559436231472888\ 59063757564908987910299297389021/3190202357496812742154123125358674\ 484653665176187518243511202203395881804269577609685621888*c_0101_6^\ 17 + 70291785836198786372000106076071066829617505971547166323699469\ 857503227383461848093361716325132657/638040471499362548430824625071\ 7348969307330352375036487022404406791763608539155219371243776*c_010\ 1_6^16 + 4021525079373428403957112682598285652960147658826383648759\ 6284894524867157547152668435478167722623/63804047149936254843082462\ 50717348969307330352375036487022404406791763608539155219371243776*c\ _0101_6^15 - 105050962195566937917977586786198542951307197985306060\ 232797377155635727416726005158317434344686443/319020235749681274215\ 4123125358674484653665176187518243511202203395881804269577609685621\ 888*c_0101_6^14 + 5169497134305409226322740809738808749822350128643\ 7941610046899193791172836829996643555268144063215/15951011787484063\ 7107706156267933724232683258809375912175560110169794090213478880484\ 2810944*c_0101_6^13 + 272121867062477588490421491747055823865035715\ 408707404424990901237684910899915525461016964451893291/127608094299\ 8725096861649250143469793861466070475007297404480881358352721707831\ 0438742487552*c_0101_6^12 - 132552439579442839584547240979467758091\ 982725498069078574469696190412941430617030868791562160177439/638040\ 4714993625484308246250717348969307330352375036487022404406791763608\ 539155219371243776*c_0101_6^11 - 1542707084029195176673597965702706\ 4294325124598622462320447142926942901525977021223316864935419453/15\ 9510117874840637107706156267933724232683258809375912175560110169794\ 0902134788804842810944*c_0101_6^10 + 2194855203016299150825210749067905236950181496341387802125980703562\ 7394391750130978271526543249309/12760809429987250968616492501434697\ 938614660704750072974044808813583527217078310438742487552*c_0101_6^\ 9 + 873215198776282816733267470795282313183712731714403155093941637\ 7991904041701717793339627529845601/18229727757124644240880703573478\ 13991230665814964296139149258401940503888154044348391783936*c_0101_\ 6^8 + 2980209621907869084784913620658865672690518171064194167916499\ 200112074656566791228319688949698975/319020235749681274215412312535\ 8674484653665176187518243511202203395881804269577609685621888*c_010\ 1_6^7 - 29964069192547245349838010193493337865474147066320276371172\ 74366990445781560195260869824739248467/3190202357496812742154123125\ 358674484653665176187518243511202203395881804269577609685621888*c_0\ 101_6^6 - 716757449068923279902059275833984340811679059173396179317\ 868028148954664718008988769478066436169/319020235749681274215412312\ 5358674484653665176187518243511202203395881804269577609685621888*c_\ 0101_6^5 - 11136973447950356756211882694919344302381109102192209074\ 0464468754118955227419682805420907024993/12760809429987250968616492\ 501434697938614660704750072974044808813583527217078310438742487552*\ c_0101_6^4 + 100603297728591625858411464164823616025909712858333701\ 324765946814334725132894936816312465182755/319020235749681274215412\ 3125358674484653665176187518243511202203395881804269577609685621888\ *c_0101_6^3 - 43843459141962658552031144906782453785673762238344823\ 33101738640141089131083513110665105238837/1595101178748406371077061\ 562679337242326832588093759121755601101697940902134788804842810944*\ c_0101_6^2 + 140795239735433327087352075264987799617493243187440226\ 9106044303313303753997735659713387771059/15951011787484063710770615\ 62679337242326832588093759121755601101697940902134788804842810944*c\ _0101_6 + 290087478213397500428057940718242610878283439786778182614\ 6183017445354556856975340595151273519/12760809429987250968616492501\ 434697938614660704750072974044808813583527217078310438742487552, c_0011_0 - 1, c_0011_1 - 184451927274842675003377998351513931550573281877883442514626\ 653760213672033924714861981777/159510117874840637107706156267933724\ 2326832588093759121755601101697940902134788804842810944*c_0101_6^30 + 25895035281417065730962901045865438169455840367040048659486135995\ 88241929219703036979515637/1595101178748406371077061562679337242326\ 832588093759121755601101697940902134788804842810944*c_0101_6^29 + 4006853209494504610119636448837722947223572039430559426903919631933\ 84742018104915283700657/7975505893742031855385307813396686211634162\ 94046879560877800550848970451067394402421405472*c_0101_6^28 - 7704490189271960885190475589860524734547022196249555643249875246765\ 5816313477845109467299361/15951011787484063710770615626793372423268\ 32588093759121755601101697940902134788804842810944*c_0101_6^27 + 5276957284624093434938035079388383270666137891511850568035039941867\ 761176471432260751015973/113935798482029026505504397334238374451916\ 613435268508696828650121281493009627771774486496*c_0101_6^26 + 4577802122568693427830593367213697399001415186048782208753217545346\ 38772641425689832279562979/7975505893742031855385307813396686211634\ 16294046879560877800550848970451067394402421405472*c_0101_6^25 - 1088427547120083099420892778957573760116031318147858992349166882378\ 973170472142963418360816329/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^24 - 7300040453550419720290563118155085044930812572329935577782027313080\ 106143024178755156271286083/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^23 + 3718757009949780101318424800982348897737079625703591239688859022084\ 724270141944173794270134199/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^22 + 3494665005112745682702333693804164012716753070055004232200555650310\ 2172786152415619678206021285/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^21 + 3233865011211509227663821953233452963755137433391747482124414898116\ 110580369147213333284626223/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^20 - 8907991854110971998742093300083598035950427156046718464383035382902\ 6955708343035104048547022147/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^19 - 3048190495372113156104918249872674195967393642404691069552329716135\ 2563660290302418475754078685/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^18 + 2819355973022784810529578231928101067014589428475078219088792824173\ 1107203497199619385658977135/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^17 - 1083355184314859839331099289123299567684622170351446215330653866115\ 6206561134844635976209293717/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^16 - 1101968329781225924402991587060768980744788533867681356438882235352\ 8259473142160535064973150595/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^15 + 2803569257624516215229113736371533584126466419146081365639248473854\ 4757140108637503791214577801/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^14 - 5674998142022441099543128199729740171503335631667113759872043922086\ 719649758163518185033290541/996938236717753981923163476674585776454\ 27036755859945109725068856121306383424300302675684*c_0101_6^13 - 8489760028413795108993562459989768134778000588801750370219349244594\ 2273471755872643901912354643/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^12 + 2692612350519148606354766759209746023192593754157000130395459148457\ 7176216480367147707405125303/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^11 + 4690363469769382891667847200006557451399940216163424618542918165731\ 693848364162372476036650321/199387647343550796384632695334917155290\ 854073511719890219450137712242612766848600605351368*c_0101_6^10 + 3284396878118872037613043879819852873489484462243659261371715552729\ 65787821337060143829077315/1595101178748406371077061562679337242326\ 832588093759121755601101697940902134788804842810944*c_0101_6^9 - 2075583955294504825507624697498563948040813270710188414103867074519\ 511472891527922659856415033/227871596964058053011008794668476748903\ 833226870537017393657300242562986019255543548972992*c_0101_6^8 - 1120571139524382666606576116656315739502131515580525460893954880742\ 877947727399546979593828499/398775294687101592769265390669834310581\ 708147023439780438900275424485225533697201210702736*c_0101_6^7 + 5874260882114407450145946735462724029546813923217072575658473723469\ 57971083776354309890061679/3987752946871015927692653906698343105817\ 08147023439780438900275424485225533697201210702736*c_0101_6^6 + 2012803655723149728374753704922489464060997606660961469071689096266\ 10639539673575320936244661/3987752946871015927692653906698343105817\ 08147023439780438900275424485225533697201210702736*c_0101_6^5 + 6257434349498762587923944325630364539526234289328514166603205578737\ 4158082428504462700337457/15951011787484063710770615626793372423268\ 32588093759121755601101697940902134788804842810944*c_0101_6^4 - 1961893791400490709716929474600939217560034985647496063819638267555\ 1865704596341255557584125/39877529468710159276926539066983431058170\ 8147023439780438900275424485225533697201210702736*c_0101_6^3 + 5995505964516084650586574063256283138262442899450025969411726613750\ 90951269553728819565847/9969382367177539819231634766745857764542703\ 6755859945109725068856121306383424300302675684*c_0101_6^2 + 9028210569058957289423798128286785263583241604615997071912809393027\ 825878868433556200271/249234559179438495480790869168646444113567591\ 88964986277431267214030326595856075075668921*c_0101_6 - 1509852042525055990045183668631992723080155564670317021847216900478\ 131784123374674372801575/159510117874840637107706156267933724232683\ 2588093759121755601101697940902134788804842810944, c_0011_4 + 353565294027421158953507006686743751867787834248383864035560\ 656183179648751862107938531535/159510117874840637107706156267933724\ 2326832588093759121755601101697940902134788804842810944*c_0101_6^30 - 50023413011702399466237738815145123677365524076236594729063275986\ 71952446277418115193025839/1595101178748406371077061562679337242326\ 832588093759121755601101697940902134788804842810944*c_0101_6^29 - 5081765463777046814198135848515912272297201164583649600427648455889\ 08092688853875181105351/7975505893742031855385307813396686211634162\ 94046879560877800550848970451067394402421405472*c_0101_6^28 + 1481626318980427409933786776568820486349842002572913722188809667002\ 61101240072205709091313751/1595101178748406371077061562679337242326\ 832588093759121755601101697940902134788804842810944*c_0101_6^27 - 1124931629675313307169239872355252397071435708544503375019697097499\ 6097162234138855313685813/11393579848202902650550439733423837445191\ 6613435268508696828650121281493009627771774486496*c_0101_6^26 - 8744632284894528248357565193323105744611910562294202091532204088669\ 69182473612206298950852551/7975505893742031855385307813396686211634\ 16294046879560877800550848970451067394402421405472*c_0101_6^25 + 2282215880013045362287302817964284547368466086109854402567005206734\ 275712546618358431409083675/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^24 + 1387951568182866232479595839629141993800944610283765185617109100394\ 8295053540727517475743689085/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^23 - 8728331667156721332773101508224789594123389744310939021473502396573\ 954981731671771015087866517/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^22 - 6713365278962129678483373501535361704371418520588475445880640982362\ 0529296400011442515707464971/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^21 - 2577840481797820574130346389594389188713615539017852221325414799878\ 906702045959668243459994511/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^20 + 1762027326436301247460769638404544127268931447889250525294494018792\ 75552789505805686888648296857/1595101178748406371077061562679337242\ 326832588093759121755601101697940902134788804842810944*c_0101_6^19 + 4290385602768115787237580447546637576325350739561525301195597380369\ 0119780980026435392066815603/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^18 - 2885662949298795071222504404229395860644617523199319477572516417554\ 1422362673009457311556248017/19938764734355079638463269533491715529\ 0854073511719890219450137712242612766848600605351368*c_0101_6^17 + 2868818283659915529632419458083063858879017733867881074416063458381\ 5845895886892858462367932609/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^16 + 2258123046567438281480025690519834003696754442160633000385426807554\ 4333710601279924679565166751/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^15 - 1374954890789729445448180595699161943923583139499430319178089729870\ 4280288205566520817711568331/99693823671775398192316347667458577645\ 427036755859945109725068856121306383424300302675684*c_0101_6^14 + 4914920386643619879688925971814179176152504827724976461773943903233\ 5048050555888204373479037179/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^13 + 1570365591350447335532924947224383265852728451995806116926401781451\ 23203645607431953411866663817/1595101178748406371077061562679337242\ 326832588093759121755601101697940902134788804842810944*c_0101_6^12 - 6252386465574833094937242603607726259886935492098503230875725900905\ 0593027850534271361726937073/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^11 - 4376502837683344156234890948485174402073641612519237513309268901403\ 055214108174850418472854517/996938236717753981923163476674585776454\ 27036755859945109725068856121306383424300302675684*c_0101_6^10 + 7538612726734639037527795025160232160951707092264776384001113444348\ 830724901403733150425171115/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^9 + 4325680384200078284893556999033453784887601261981001149668935382461\ 938694751117950162447961075/227871596964058053011008794668476748903\ 833226870537017393657300242562986019255543548972992*c_0101_6^8 + 1776246295506231696716534678153044216007143038945926143319663708717\ 402605587583901775887556291/398775294687101592769265390669834310581\ 708147023439780438900275424485225533697201210702736*c_0101_6^7 - 1426179683039938507702342296881323903820634191889668704314998618873\ 622172376350959066877750263/398775294687101592769265390669834310581\ 708147023439780438900275424485225533697201210702736*c_0101_6^6 - 3839097456010657162189136125029799420417416952512194647946733487244\ 58506391437480687032383333/3987752946871015927692653906698343105817\ 08147023439780438900275424485225533697201210702736*c_0101_6^5 + 2683726827802801254432742132289312321499873247362431424542585976558\ 213136703946355724482105/159510117874840637107706156267933724232683\ 2588093759121755601101697940902134788804842810944*c_0101_6^4 + 2463026688614655028925365099252912694058468449190150878701125918012\ 8442854862768785514515319/19938764734355079638463269533491715529085\ 4073511719890219450137712242612766848600605351368*c_0101_6^3 - 4307198148667730773350338670602825647201918884617678276107875874766\ 104286663488176622888077/398775294687101592769265390669834310581708\ 147023439780438900275424485225533697201210702736*c_0101_6^2 - 5396193397811313859024031043750392338738771340438194768104151816791\ 452010400223474265321/398775294687101592769265390669834310581708147\ 023439780438900275424485225533697201210702736*c_0101_6 + 1532332785207063826850159563986926813013563063701758523158744727394\ 044756587072786039192597/159510117874840637107706156267933724232683\ 2588093759121755601101697940902134788804842810944, c_0101_0 + 875220590418790440040268522778876920648499537115135443726381\ 353378056410375371640938065823/159510117874840637107706156267933724\ 2326832588093759121755601101697940902134788804842810944*c_0101_6^30 - 12561135276406696765524502751736018229235320918032088525978861612\ 607171516878605038301808207/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^29 - 7038601763930088257659837943420108971899819252710541629954282745369\ 7709360297740455133607/79755058937420318553853078133966862116341629\ 4046879560877800550848970451067394402421405472*c_0101_6^28 + 3692524797224426617812464191771601427776836296208193087947199467107\ 99527696191721189487139495/1595101178748406371077061562679337242326\ 832588093759121755601101697940902134788804842810944*c_0101_6^27 - 3305182215193068816136004729104750709345484386205980975449759238357\ 3738656312154925973229277/11393579848202902650550439733423837445191\ 6613435268508696828650121281493009627771774486496*c_0101_6^26 - 2155148798299030831388336194332746686942583644670697955034356784241\ 205865196601213469222385567/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^25 + 6553757898759061094113461938695300566219028483394618523146880805134\ 425184163957485740773739611/159510117874840637107706156267933724232\ 6832588093759121755601101697940902134788804842810944*c_0101_6^24 + 3395225297112921424860981213864959155450330202692243203851724513805\ 6883533196116309018860495277/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^23 - 2902441034332370980832104209847181718830110479551585102909908255450\ 2172746198055490297220895349/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^22 - 1678789140372391804204132987406533744862868801880606941970866577968\ 55936549492691103205277380283/1595101178748406371077061562679337242\ 326832588093759121755601101697940902134788804842810944*c_0101_6^21 + 1019895881186825488858845183154280682718518759009544506304028742809\ 6167866255384334674323555097/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^20 + 4664110382165544006418998007536673681693877912723429569931378466585\ 48541543926076935478506911609/1595101178748406371077061562679337242\ 326832588093759121755601101697940902134788804842810944*c_0101_6^19 + 3915683744368937099144233296795795069824708003458214811432470166278\ 5400386635647357038512894435/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^18 - 8148055287108401674117081563812277485810066721834389866083817190656\ 7169027848575244754364523631/19938764734355079638463269533491715529\ 0854073511719890219450137712242612766848600605351368*c_0101_6^17 + 9909846780611579530958087825296461983953400775621078145278160602720\ 5103322028327836618736849321/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^16 + 6917726646990958350190123317811436177078333038876077814499462504294\ 5242878831644726859378032551/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^15 - 8591015483332135810086883362518992434873254408790907587558935634630\ 034731928515680990949463409/249234559179438495480790869168646444113\ 56759188964986277431267214030326595856075075668921*c_0101_6^14 + 1471183650190542200426159270665950769446939677601447886835888792718\ 22817738812124712187189216959/3987752946871015927692653906698343105\ 81708147023439780438900275424485225533697201210702736*c_0101_6^13 + 3737945640003839368294203096292436641402351463379384270010591773834\ 33594961694593988310800951785/1595101178748406371077061562679337242\ 326832588093759121755601101697940902134788804842810944*c_0101_6^12 - 2046546212646576710690493357806422502619219376055237994464835730417\ 22174019079114058412819276753/7975505893742031855385307813396686211\ 63416294046879560877800550848970451067394402421405472*c_0101_6^11 - 1208518788914379818309101748318038724423298112606655754180772669313\ 3279737101748854623161828605/99693823671775398192316347667458577645\ 427036755859945109725068856121306383424300302675684*c_0101_6^10 + 4774327169302397477564267004122083210082155059333471148235984653143\ 1047394770726996245719978363/15951011787484063710770615626793372423\ 26832588093759121755601101697940902134788804842810944*c_0101_6^9 + 1425694677917283310681735990502421018574729798893634437283156751876\ 4993271621801567383894889491/22787159696405805301100879466847674890\ 3833226870537017393657300242562986019255543548972992*c_0101_6^8 + 4646520004003063591985128140827454987631670557060574821653710207604\ 226200916213709059377392395/398775294687101592769265390669834310581\ 708147023439780438900275424485225533697201210702736*c_0101_6^7 - 5062342290367685009157265369705595458613830558962404109500839995263\ 801580615988026875926784447/398775294687101592769265390669834310581\ 708147023439780438900275424485225533697201210702736*c_0101_6^6 - 1453873745127509878504215324903116616780321229697116529964348842212\ 740722539286279722576970205/398775294687101592769265390669834310581\ 708147023439780438900275424485225533697201210702736*c_0101_6^5 - 6339272630332157005436865929825277467668680074596108695508612390985\ 6695412882979477172034999/15951011787484063710770615626793372423268\ 32588093759121755601101697940902134788804842810944*c_0101_6^4 + 9052397495303474131618308749805808424631973673242364850632824389059\ 3832260456034357269398589/19938764734355079638463269533491715529085\ 4073511719890219450137712242612766848600605351368*c_0101_6^3 - 3884465554477417374174633487272197068333375946596740392365624572000\ 595460162752955463283529/398775294687101592769265390669834310581708\ 147023439780438900275424485225533697201210702736*c_0101_6^2 + 1228153699730218916091996308293130258754920459553648966755349051139\ 704001419593452754032003/398775294687101592769265390669834310581708\ 147023439780438900275424485225533697201210702736*c_0101_6 + 5598445354171090052136831994135844686781265603523539406916588581859\ 428005315184916404219861/159510117874840637107706156267933724232683\ 2588093759121755601101697940902134788804842810944, c_0101_2 + 215744766547163074751977632598335874934834385928581011322593\ 848612719637726235215470146575/797550589374203185538530781339668621\ 163416294046879560877800550848970451067394402421405472*c_0101_6^30 - 3086036132755149733619971263055025930443494925214204128645021031881\ 235353836120577383138865/797550589374203185538530781339668621163416\ 294046879560877800550848970451067394402421405472*c_0101_6^29 - 8477842378930902991072208042776767921090450537696980929043065822860\ 0963835310082484887807/39877529468710159276926539066983431058170814\ 7023439780438900275424485225533697201210702736*c_0101_6^28 + 9084071084994931555796374891447902573700400903799447484819026617440\ 0915694367963427468541515/79755058937420318553853078133966862116341\ 6294046879560877800550848970451067394402421405472*c_0101_6^27 - 3923777932328725209102060079619317926065450699079143031612803221808\ 477807952687754505068087/284839496205072566263760993335595936129791\ 53358817127174207162530320373252406942943621624*c_0101_6^26 - 1328125840155824060246826040082368679658883898522195767236370548501\ 81213789750995324657848961/9969382367177539819231634766745857764542\ 7036755859945109725068856121306383424300302675684*c_0101_6^25 + 1562423070858237144550736608908180115106768861087110584208671199856\ 396168356160842038968478517/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^24 + 8379732939790586113406958515277997308754910891022613192753689890883\ 494815343030576805300360861/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^23 - 6713743151599061150189105161589372049529272294475677888579452340937\ 142243880811355244238786971/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^22 - 4118087496787734582849043711769930417175915735690210724688515085616\ 5175948354251249033941711211/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^21 + 7733023825246919146744123806861210763053523583209527017595180094266\ 55174689331915791548918467/1993876473435507963846326953349171552908\ 54073511719890219450137712242612766848600605351368*c_0101_6^20 + 1127626363672883716998154158213897031474482738193367700221016018701\ 43448827265015541777994338295/7975505893742031855385307813396686211\ 63416294046879560877800550848970451067394402421405472*c_0101_6^19 + 1328867544517080571598805898910306395033713690019776708386861026208\ 3643011705046849769504212659/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^18 - 7753420574428484114074076683881990823793656666619390709800482899699\ 3290705213619519766232778465/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^17 + 5771519895621200599429739368872423657989691381548959189591547836771\ 411209134010495397686628709/996938236717753981923163476674585776454\ 27036755859945109725068856121306383424300302675684*c_0101_6^16 + 3954604164900440279928809425500891296708887324351683136043524717630\ 693866316021409186667466455/996938236717753981923163476674585776454\ 27036755859945109725068856121306383424300302675684*c_0101_6^15 - 6736054227073520048012280947157609723961075407458882029545669874743\ 3932564897644881826755695813/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^14 + 6960245467594803413272540897101099220830658268716995945906957925504\ 8833178675475113052584115985/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^13 + 9141362344495614950783475313888700970536699732897527992536727620745\ 7304058666073080134163610887/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^12 - 4714472180809224609111855334368006204258149211883708233087613694897\ 8439982165710132094003790657/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^11 - 1146087243499922119033571971925659308922142197620997377115673177532\ 1872390114045764383828719261/19938764734355079638463269533491715529\ 0854073511719890219450137712242612766848600605351368*c_0101_6^10 + 9753385118153081240718579024327595075900344139714519451550761317623\ 375253291739569885545603015/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^9 + 3296521265999518010269819584275413259713332101508674646419491550024\ 447766934729705987258635921/113935798482029026505504397334238374451\ 916613435268508696828650121281493009627771774486496*c_0101_6^8 + 5629961723704436129397715592812494239898537717306863527866555354220\ 21833267553849232792990907/9969382367177539819231634766745857764542\ 7036755859945109725068856121306383424300302675684*c_0101_6^7 - 5712570322186390448672443546125252581556058851895369081212664760971\ 90636521263505068402637271/9969382367177539819231634766745857764542\ 7036755859945109725068856121306383424300302675684*c_0101_6^6 - 1647391255607960506209501378509952817802951265984794457303683961162\ 12570152349572851356388369/9969382367177539819231634766745857764542\ 7036755859945109725068856121306383424300302675684*c_0101_6^5 - 2337336882756727563297289365313605337581215253669114334401429711139\ 2392255990762549078580451/79755058937420318553853078133966862116341\ 6294046879560877800550848970451067394402421405472*c_0101_6^4 + 8260217167144647428385803142905173081148142527387910608169471784488\ 8270361010373196758423271/39877529468710159276926539066983431058170\ 8147023439780438900275424485225533697201210702736*c_0101_6^3 - 3430487750117525842701207505191951986522417360300677471785450709535\ 190122131429960869427007/398775294687101592769265390669834310581708\ 147023439780438900275424485225533697201210702736*c_0101_6^2 + 3368750530587091290389353742971585938245778361001782066446808563296\ 11641656571270221266669/3987752946871015927692653906698343105817081\ 47023439780438900275424485225533697201210702736*c_0101_6 + 1146907014363588368786296501979066687686568663866736294955859975748\ 375630873447125293993819/797550589374203185538530781339668621163416\ 294046879560877800550848970451067394402421405472, c_0101_5 - 171468488818135219685674142119936165586938015422987883250053\ 785839495863491043187698502537/797550589374203185538530781339668621\ 163416294046879560877800550848970451067394402421405472*c_0101_6^30 + 2430440259482086919305042948860018321258388641373740983505300559960\ 888862237027334403086511/797550589374203185538530781339668621163416\ 294046879560877800550848970451067394402421405472*c_0101_6^29 + 2180586799950273341564151333625860297021230306643890473114500055673\ 15543809899308400093185/3987752946871015927692653906698343105817081\ 47023439780438900275424485225533697201210702736*c_0101_6^28 - 7195029810011027317563709072471990287592643711202816692655165921913\ 8461333577441294373255853/79755058937420318553853078133966862116341\ 6294046879560877800550848970451067394402421405472*c_0101_6^27 + 2791195984033696500581345601627959263069174156433126607537802235554\ 974831212408768918877483/284839496205072566263760993335595936129791\ 53358817127174207162530320373252406942943621624*c_0101_6^26 + 5304701215460326597777091597823813809318971567951157421590053937184\ 7222041537494485202150625/49846911835887699096158173833729288822713\ 518377929972554862534428060653191712150151337842*c_0101_6^25 - 1129388626989877895919311472741688224329805778824761161683769481188\ 223845056956945019214185499/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^24 - 6734353421734380697618999455702953466159319717559858306328844384418\ 987257780576768734311321547/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^23 + 4420756426739947594501212853382452546727739919444244204930059052879\ 276693117476928348821686629/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^22 + 3271118817722647402818738152483381984554376306731402386978686224606\ 8576077992023016408292251293/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^21 + 4309745912359347339532918565909761055167350255111774914823034003641\ 61608437911040822535896329/1993876473435507963846326953349171552908\ 54073511719890219450137712242612766848600605351368*c_0101_6^20 - 8669763891877954426978488416773882848215966190915998047633285525213\ 0905418816352750231121438921/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^19 - 1969618352199538270416706471883142151143575622873496157014447335451\ 4227715810432825993671281461/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^18 + 5744474057808093738264183605012995466758681822804854626283963077515\ 2327326013047240338976062987/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^17 - 8680236883554246495093078939240483641631028488117316799255378976420\ 26626953545533951446859771/2492345591794384954807908691686464441135\ 6759188964986277431267214030326595856075075668921*c_0101_6^16 - 1452971748789878731115533406587491031241334245836287226290648293561\ 135384861976297278323207403/498469118358876990961581738337292888227\ 13518377929972554862534428060653191712150151337842*c_0101_6^15 + 5306242139919950883131198496841840145418635679953212537747905727807\ 2465455208144279006031463679/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^14 - 4883914347797062147178232667149171517154971115947667655664487323283\ 7103292980936303601023321203/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^13 - 7724415761759732547328452565377721360526858441685509515136150734003\ 6315715736837667819790584153/79755058937420318553853078133966862116\ 3416294046879560877800550848970451067394402421405472*c_0101_6^12 + 3144817494591483620721448987425713598543896972021354895646413796287\ 7596983816131631131175190191/39877529468710159276926539066983431058\ 1708147023439780438900275424485225533697201210702736*c_0101_6^11 + 9049992739051840177926027062024635328099198100594041108871143520089\ 225997446782941279294585659/199387647343550796384632695334917155290\ 854073511719890219450137712242612766848600605351368*c_0101_6^10 - 3855391850279988468623792750779969699092729442408549285771830563936\ 918389674795622140667963697/797550589374203185538530781339668621163\ 416294046879560877800550848970451067394402421405472*c_0101_6^9 - 2266857003118327539220570898796720577674330428370948404417055288475\ 785433072224394975548918415/113935798482029026505504397334238374451\ 916613435268508696828650121281493009627771774486496*c_0101_6^8 - 4828141407745325607623774806661513869041026937697101779183860710137\ 90121711649101479261416139/9969382367177539819231634766745857764542\ 7036755859945109725068856121306383424300302675684*c_0101_6^7 + 3631371057618193013386131806570211190082504267193421056788536269412\ 85032507163182491142406667/9969382367177539819231634766745857764542\ 7036755859945109725068856121306383424300302675684*c_0101_6^6 + 1102327424291968443120011042223153062235306602321332806890783771403\ 85339262355117750330246157/9969382367177539819231634766745857764542\ 7036755859945109725068856121306383424300302675684*c_0101_6^5 + 2624966382528250537809462796490377771089916655705367360309712100135\ 5852225786324524648940933/79755058937420318553853078133966862116341\ 6294046879560877800550848970451067394402421405472*c_0101_6^4 - 4799250234540938292316314475542699105939432494497622521088970053445\ 5833283347911962674388805/39877529468710159276926539066983431058170\ 8147023439780438900275424485225533697201210702736*c_0101_6^3 + 4058632806291486961892597867298858843196172758447040430670077833992\ 060609131992660426643949/398775294687101592769265390669834310581708\ 147023439780438900275424485225533697201210702736*c_0101_6^2 - 3571447946559306097252583899338698528458034600805014467463465696468\ 73854640354025627171039/3987752946871015927692653906698343105817081\ 47023439780438900275424485225533697201210702736*c_0101_6 - 1195887532053049642894753061104193812812356074539577879326849690851\ 292326105155435270093141/797550589374203185538530781339668621163416\ 294046879560877800550848970451067394402421405472, c_0101_6^31 - 14*c_0101_6^30 - 5*c_0101_6^29 + 419*c_0101_6^28 - 383*c_0101_6^27 - 5024*c_0101_6^26 + 5727*c_0101_6^25 + 40354*c_0101_6^24 - 18962*c_0101_6^23 - 194694*c_0101_6^22 - 42721*c_0101_6^21 + 501617*c_0101_6^20 + 198866*c_0101_6^19 - 647377*c_0101_6^18 + 53942*c_0101_6^17 + 164572*c_0101_6^16 - 597898*c_0101_6^15 + 462372*c_0101_6^14 + 541923*c_0101_6^13 - 293657*c_0101_6^12 - 268682*c_0101_6^11 - 9515*c_0101_6^10 + 96266*c_0101_6^9 + 37125*c_0101_6^8 - 13832*c_0101_6^7 - 8088*c_0101_6^6 - 973*c_0101_6^5 + 605*c_0101_6^4 + 76*c_0101_6^3 + 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB