Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 2598045300] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0729 geometric_solution 4.67808615 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490359268617 0.060027853167 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500429067818 0.185931936808 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.408554472540 3.514203729444 2 2 5 4 3201 0132 0132 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.275048607061 0.496332588878 6 5 3 5 0132 3012 0132 1302 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 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.769426470652 0.808540202203 4 6 4 3 1230 2310 2031 0132 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 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769426470652 0.808540202203 4 6 6 5 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 -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.985754901516 0.510887885360 ==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' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], '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_0101_5'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_4'], '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' : d['c_0011_4'], '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_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), '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_4'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_4']), '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_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 4284279960872570563878896249675881251250070688256484365637341095115\ 49037267259/1055822256046886123153081505076033710267294365563592788\ 998262114587491679009*c_0101_6^30 + 3360837868251393813948855850373494062208910210501293130120863460523\ 165703354324/105582225604688612315308150507603371026729436556359278\ 8998262114587491679009*c_0101_6^29 + 2189051273504281554391576110686638178248390499578848063197245239248\ 199271105537/351940752015628707717693835025344570089098121854530929\ 666087371529163893003*c_0101_6^28 - 2261753988655731863249470852719898437332004328625730075633650990456\ 7886074423002/15083175086384087473615450072514767289532776650908468\ 4142608873512498811287*c_0101_6^27 - 2976663375059471857248218836854746246720682742819565321487558512739\ 090167999445/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^26 + 2599860235322488230979846468812128321323100329403148650466199389019\ 474260622861639/105582225604688612315308150507603371026729436556359\ 2788998262114587491679009*c_0101_6^25 + 8329634446976584921672255683235576021245361779896341737725660235833\ 70223094384857/1055822256046886123153081505076033710267294365563592\ 788998262114587491679009*c_0101_6^24 - 2114365176506438928432930166743386800300969700073011624870257396369\ 892432354074390/959838414588078293775528640978212463879358514148720\ 71727114737689771970819*c_0101_6^23 - 1427375121973376032572532031060847058746634112565081389910125852376\ 7419420164529982/10558222560468861231530815050760337102672943655635\ 92788998262114587491679009*c_0101_6^22 + 1327324339109529454344793599936129469287452434273671046795331366275\ 22956880317025968/1055822256046886123153081505076033710267294365563\ 592788998262114587491679009*c_0101_6^21 + 1302992357403225757045846225078337332557400408647605748032077342367\ 8790823163396708/15083175086384087473615450072514767289532776650908\ 4684142608873512498811287*c_0101_6^20 - 4951816870795783883322799899576922102856897073685755655618663098703\ 09649840101940707/1055822256046886123153081505076033710267294365563\ 592788998262114587491679009*c_0101_6^19 - 3854662596984232468104122322891117908867570727165863040002477406580\ 6138987885796269/15083175086384087473615450072514767289532776650908\ 4684142608873512498811287*c_0101_6^18 + 1166247976245657584600559038966500675682310916976583648820473523714\ 475401541195130293/105582225604688612315308150507603371026729436556\ 3592788998262114587491679009*c_0101_6^17 + 4162124514493564322713029353192727148438912291354582897402253845243\ 22478748141908515/1055822256046886123153081505076033710267294365563\ 592788998262114587491679009*c_0101_6^16 - 1707523737788504144135408996519030886866544434299116005635674107104\ 311698609729325413/105582225604688612315308150507603371026729436556\ 3592788998262114587491679009*c_0101_6^15 - 1199479465889802504864746104329907322094389977619489822508271010600\ 36908228779966464/3519407520156287077176938350253445700890981218545\ 30929666087371529163893003*c_0101_6^14 + 1737626238987090691267415077225688332117959437153291992390997942306\ 70462414909764419/1173135840052095692392312783417815233630327072848\ 43643222029123843054631001*c_0101_6^13 + 6356846349669942355640903820635589882705937634735173595787487889393\ 5973099701229695/35194075201562870771769383502534457008909812185453\ 0929666087371529163893003*c_0101_6^12 - 9136702015573433789896817112796569008236779712335910587857755009956\ 14881055979616693/1055822256046886123153081505076033710267294365563\ 592788998262114587491679009*c_0101_6^11 - 9792321296479430153548091589214408044863490530358567455994653469198\ 637305820100444/150831750863840874736154500725147672895327766509084\ 684142608873512498811287*c_0101_6^10 + 3456010203675641951552355766437124880419626686321090280773089821032\ 33929653964045724/1055822256046886123153081505076033710267294365563\ 592788998262114587491679009*c_0101_6^9 + 1716714701462510136949357067382661838614756659859743172596011707205\ 0942528113538213/10558222560468861231530815050760337102672943655635\ 92788998262114587491679009*c_0101_6^8 - 9419944601810844962781060376519933435086980125943104579798443450874\ 345039923262245/117313584005209569239231278341781523363032707284843\ 643222029123843054631001*c_0101_6^7 - 2167734616799087966371553564606379575088630628187683180044305911427\ 53754982639170/9598384145880782937755286409782124638793585141487207\ 1727114737689771970819*c_0101_6^6 + 1327345251922600746873491709193061599288362379789283899212383567064\ 3150012488088184/10558222560468861231530815050760337102672943655635\ 92788998262114587491679009*c_0101_6^5 + 1385869322850384243611750136804335749415050329526330659039770404278\ 4117546660447/10558222560468861231530815050760337102672943655635927\ 88998262114587491679009*c_0101_6^4 - 1250535116981315626655298464120873364638049779570254891340952841320\ 249795751345481/105582225604688612315308150507603371026729436556359\ 2788998262114587491679009*c_0101_6^3 + 2921631485235878655125428647669987510006026441065131848919861476803\ 1004215346020/10558222560468861231530815050760337102672943655635927\ 88998262114587491679009*c_0101_6^2 + 5569655303920469274716946382122228529160257592936243207224054089273\ 9171942867956/10558222560468861231530815050760337102672943655635927\ 88998262114587491679009*c_0101_6 - 1335319848992312541204221278512985381144230986152439742922260605677\ 412719672445/105582225604688612315308150507603371026729436556359278\ 8998262114587491679009, c_0011_0 - 1, c_0011_1 + 675631002172057990280962579584338449599897263883523887460766\ 59381223767012/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^30 - 5830220774028541241602119848955795302653502186167808479473169867817\ 18928541/1173135840052095692392312783417815233630327072848436432220\ 29123843054631001*c_0101_6^29 - 59155900399481253228864201962547732\ 7990517657258748763489217520341642630262/11731358400520956923923127\ 8341781523363032707284843643222029123843054631001*c_0101_6^28 + 3647947992949023877113264812314388246965847989886257976072994272331\ 580454133/167590834293156527484616111916830747661475296121205204602\ 89874834722090143*c_0101_6^27 - 22291319718261372944832371192176104\ 75888068171290752701672989368242603007536/1675908342931565274846161\ 1191683074766147529612120520460289874834722090143*c_0101_6^26 - 4026378789012669955902030591182952131432901788903657319605030700036\ 10891111805/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^25 + 1833578180984397639909231343726182801783712946270369237521121464037\ 64761724271/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^24 + 3275155277746672000076675351301611594447228849212568776332717650228\ 40220265724/1066487127320086993083920712198013848754842793498578574\ 7457193076641330091*c_0101_6^23 - 542297565587430206805946378639345\ 413745546399893038224598665414433950582938432/117313584005209569239\ 231278341781523363032707284843643222029123843054631001*c_0101_6^22 - 3027159036957958405647832263775206248352947478547028350624087774305\ 120737832235/167590834293156527484616111916830747661475296121205204\ 60289874834722090143*c_0101_6^21 + 1741125188687623767994351386679896492475912640162019127541202067216\ 155338586172/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^20 + 8046864549495726583488887881489278221243175569789290310369461613289\ 4253576600434/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^19 - 1758684073988668140854675828986863365898413546238447592466374597678\ 8958334512037/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^18 - 1833213280116534763543490556182986674249628036047574241674370627976\ 74616803571251/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^17 + 6984536784710712416447537300223514561734013567178653500005193995526\ 1814545242549/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^16 + 2430221189308035368858879084809733209439849383801955005551391300898\ 90833722454417/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^15 - 1219156070301889151812609423518505666194336776132687460507688869013\ 36289217186531/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^14 - 2680688127182002437581017424250979183017454019440390736612882082702\ 1793043408420/16759083429315652748461611191683074766147529612120520\ 460289874834722090143*c_0101_6^13 + 1074752950548671743870688815498290869630326724989244176885186513404\ 89980109573608/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^12 + 8751382605468743936514159236457952572152398407267566298930615473696\ 0512769710176/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^11 - 5283468379852354617024195274367429808858039495874586536200901907007\ 4329012885646/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^10 - 2563569060392617099635662363004784014288651340966195729369088072700\ 6033004883562/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^9 + 1556373183206440946828230708566876078143203295416225737415759062305\ 4021614814210/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^8 + 4679463053432193720782499308093961436899683171727885049410700441394\ 462801430377/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^7 - 2603376296682715513702806713341942916523434458411443058784259126270\ 52306247366/1066487127320086993083920712198013848754842793498578574\ 7457193076641330091*c_0101_6^6 - 4795402539815877098184127093098938\ 32349154874858897502841994388563477329910843/1173135840052095692392\ 31278341781523363032707284843643222029123843054631001*c_0101_6^5 + 3184689349695326370893825908149100227553647345197086672317779641329\ 78522587169/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^4 + 238908060487134011316421361682696\ 69473062085262111933852693780181800360090006/1173135840052095692392\ 31278341781523363032707284843643222029123843054631001*c_0101_6^3 - 2515543908400207599160091360849323100400283381278243274326698899055\ 841373691/167590834293156527484616111916830747661475296121205204602\ 89874834722090143*c_0101_6^2 - 615643166516102285549105588602656581\ 795267826140489224407249530719010336919/117313584005209569239231278\ 341781523363032707284843643222029123843054631001*c_0101_6 + 3377164138943537456327685068901196156893586141671193946425437146135\ 0832302/16759083429315652748461611191683074766147529612120520460289\ 874834722090143, c_0011_4 - 302547910470988050785682308705700791852659644012148622700383\ 69257334215637/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^30 + 2561658186762101656495058777344707291728425435809966421439210629664\ 58138753/1173135840052095692392312783417815233630327072848436432220\ 29123843054631001*c_0101_6^29 + 30081701897055768016559336424573754\ 2785085058298720232309914843689740884375/11731358400520956923923127\ 8341781523363032707284843643222029123843054631001*c_0101_6^28 - 1133951148598811429374882196560998568590050439924871218171389989351\ 9638866995/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^27 + 744915426516891860049857303512797\ 549170362458626408239137806953436126861630/167590834293156527484616\ 11191683074766147529612120520460289874834722090143*c_0101_6^26 + 1790464380686542044674031005817984646682207454088934986167271721819\ 04374280225/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^25 - 5260716287594682167193288857322022494320174681814664007827263541322\ 9382410791/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^24 - 144401716637427436425189457086568\ 833335360556203743895970855408110646964832302/106648712732008699308\ 39207121980138487548427934985785747457193076641330091*c_0101_6^23 - 1605344367482409007226498716219336119604153187907278262151829489247\ 7100982390/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^22 + 919269974712920893606939745102305\ 5704728020312092466408315152756888497338921287/11731358400520956923\ 9231278341781523363032707284843643222029123843054631001*c_0101_6^21 + 63249009534096421549405891809281231759167890653905288078345527579\ 2395473290510/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^20 - 4895342498839338052799303333549561853032428007787490438586644614571\ 836719591125/167590834293156527484616111916830747661475296121205204\ 60289874834722090143*c_0101_6^19 + 2856312441082408803060166076615870618467339304447952962363425815355\ 094555628425/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^18 + 7648920122681813736450474999240419886288716341329249202387702398503\ 6601820561411/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^17 - 1983943878540331347064798846182394361836182901340338928446328828813\ 2366345087239/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^16 - 9873750811062174404860746452739718870155782559297033746734290049192\ 2125296162658/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^15 + 3818936544967194465061807430629516701026013460865865903047259840844\ 2769407498511/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^14 + 7328613833782712148292310527628607468544251810460033398561831821347\ 0227030368049/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^13 - 3351004586486197041565023194795126210639996032452111546914387091778\ 8247431105863/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^12 - 3225264391438901629179532185352801575179980245255596437435811251987\ 4318020660148/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^11 + 1564359525677344515626074844352794936494482133302285039320228045880\ 4778889550849/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^10 + 8730311509066634975325275482272156462018991565263977274247181899713\ 003734731144/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^9 - 4264298517239252726968154008668676561682724191457475346526206015889\ 786095562549/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^8 - 1447940035565681793667274852612213433591621174423064182762623967666\ 113366896753/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^7 + 6449908612103658730757543489478066522906889292486472898560900098850\ 9434886955/10664871273200869930839207121980138487548427934985785747\ 457193076641330091*c_0101_6^6 + 13652139987832571946252941125297236\ 9289709225681856199905220545646589281334418/11731358400520956923923\ 1278341781523363032707284843643222029123843054631001*c_0101_6^5 - 9488368012921320128292790381237368341248812926127742633036289127852\ 359107162/167590834293156527484616111916830747661475296121205204602\ 89874834722090143*c_0101_6^4 - 970368178453609685221604649447276419\ 152493563850347316883300492609648783417/167590834293156527484616111\ 91683074766147529612120520460289874834722090143*c_0101_6^3 + 2681529591281407526905045543685963928878297109684988460102950057372\ 680364901/117313584005209569239231278341781523363032707284843643222\ 029123843054631001*c_0101_6^2 + 13163849377513555045062884714188568\ 8144998906403292031599459670052751137584/11731358400520956923923127\ 8341781523363032707284843643222029123843054631001*c_0101_6 - 5046436854770006860820452031810384024221572384747759400305912627306\ 6692157/11731358400520956923923127834178152336303270728484364322202\ 9123843054631001, c_0101_0 - 356780462406506765859352310970833504648519972986765170833363\ 78856570354861/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^30 + 4517369204507031935323811462006865590465319092502308255378820128600\ 5209762/16759083429315652748461611191683074766147529612120520460289\ 874834722090143*c_0101_6^29 + 2378405458903263791242048608080802524\ 64959120096227590750924023586211432761/1173135840052095692392312783\ 41781523363032707284843643222029123843054631001*c_0101_6^28 - 1353847766966033100147327550390132447099274986575541271571158758493\ 6432219520/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^27 + 163398895862533033836189515728073\ 8593707611680337346398222095062680864846381/16759083429315652748461\ 611191683074766147529612120520460289874834722090143*c_0101_6^26 + 2097738586275410948873485222839367353684204833930760792960700221496\ 87131395675/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^25 - 1470521243008448217127315013366565009801304527262078910979474168058\ 34504284439/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^24 - 1695462415614914248614706830681615432349545964103759001279818824841\ 45089108615/1066487127320086993083920712198013848754842793498578574\ 7457193076641330091*c_0101_6^23 + 106031702515161350910203037967936\ 576104863359839601378277463038481669134665360/167590834293156527484\ 61611191683074766147529612120520460289874834722090143*c_0101_6^22 + 1099758762594483128043053568896614968354059637747397228693968519761\ 9079813216083/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^21 - 3669825773494194025155467110670033631755892354323343697422805702325\ 269827201926/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^20 - 4162359396245684791374107902351470584378427590493954018082250608784\ 3393458752950/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^19 + 2854462066351022122285695661269420433470173913267763428300163017639\ 475745678660/167590834293156527484616111916830747661475296121205204\ 60289874834722090143*c_0101_6^18 + 1320855230527484841745838059832296960927919552312919757018074269069\ 6181400574614/16759083429315652748461611191683074766147529612120520\ 460289874834722090143*c_0101_6^17 - 8808755393383711004847545518625499601418013023925773908978514455153\ 631825060719/167590834293156527484616111916830747661475296121205204\ 60289874834722090143*c_0101_6^16 - 1153239222283436754600733992011322813100313440127214823369968645834\ 62505066253491/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^15 + 9760160322126953070101668914035733851635812040964373170953366931002\ 9874171476612/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^14 + 7895247837409266087080466033304902294854054843661569692727787265037\ 1564781679018/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^13 - 8254654286125271447995787191536362581498956284959043796096690812334\ 0294603565685/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^12 - 2978499698098584384682979972645119545508857569889111404163448873669\ 1228308071793/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^11 + 3984271040264103504172606077478386485993566348751977347905609014710\ 3901611672887/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^10 + 6136651698143922846679864030264873716676264759769402446307401938833\ 196534515040/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^9 - 1157855383184719081652959013886815443730232470879930596504990883952\ 9978022807493/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^8 - 7915502087579757440987285899447772754903122581359383230588875452631\ 2123080672/16759083429315652748461611191683074766147529612120520460\ 289874834722090143*c_0101_6^7 + 18636429425074176278860545518230316\ 6010297149484748686107436772081818065316814/10664871273200869930839\ 207121980138487548427934985785747457193076641330091*c_0101_6^6 - 4444066762097852265018043249963564367751933174553758253325559078973\ 7395965832/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^5 - 2044662509089089250920775563731872\ 01852991008663737122289369504310403679224046/1173135840052095692392\ 31278341781523363032707284843643222029123843054631001*c_0101_6^4 + 1489757180469632768583397622111603256911843431132790448748013073684\ 9121239038/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^3 + 9368735582208594740109623653568602\ 029081962780855857540481158220439281294617/117313584005209569239231\ 278341781523363032707284843643222029123843054631001*c_0101_6^2 - 7389933215770228840717692013373015503901599203694726744336513447034\ 73307174/1173135840052095692392312783417815233630327072848436432220\ 29123843054631001*c_0101_6 - 92032095563222804554895283776532648087\ 388490182845512222070680517647956462/117313584005209569239231278341\ 781523363032707284843643222029123843054631001, c_0101_4 - 801309850198148375641876285514603186498788975449230076324091\ 42620868587116/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^30 + 6811892269744632738961891560860031386212780799259331517989116641345\ 91914390/1173135840052095692392312783417815233630327072848436432220\ 29123843054631001*c_0101_6^29 + 78086219995769680053794965346931117\ 5455360568506787821490267245721035489852/11731358400520956923923127\ 8341781523363032707284843643222029123843054631001*c_0101_6^28 - 3012301689968496201024405044538994665397737487809334109092860035895\ 0054261987/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^27 + 211060261171671076734238617172264\ 2137714934237266512667798645331287380054175/16759083429315652748461\ 611191683074766147529612120520460289874834722090143*c_0101_6^26 + 4764670937399252232351538766921469199796440733428099146644679911322\ 14883923232/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^25 - 1573507201736030129469867332389789686410700574520872609884851901916\ 20957077838/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^24 - 3859052985735686362231279515891396747177015799309713214553995050193\ 93190924116/1066487127320086993083920712198013848754842793498578574\ 7457193076641330091*c_0101_6^23 + 123317324986810810657114432902350\ 596367167569517024163600613935620243036165883/117313584005209569239\ 231278341781523363032707284843643222029123843054631001*c_0101_6^22 + 2473017523369384003343280132442580013867657259051456406649587621209\ 9699293129393/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^21 + 7645220989991074569785852628589448746108905782216690927809924715808\ 26955916928/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^20 - 1329421103706606899401520216947057183095699058022040299306127998165\ 0607413556159/16759083429315652748461611191683074766147529612120520\ 460289874834722090143*c_0101_6^19 + 1096005753629003275599727302504041399961183917997801776449126756561\ 5077384308574/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^18 + 2107963290528703688720105817104009090484505164574645836230304694027\ 57588044612835/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^17 - 6165402777526333481182917832043380737783234632390368216904196250453\ 5166867249341/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^16 - 2786262987956530989015972413983288106992380441020341689265534945678\ 33003204298248/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^15 + 1177612269889033340845374958160291148026256390633225591619571400464\ 25801124282973/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^14 + 2146951614789131511667760473281757848364689387195484123416182974279\ 13010302426509/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^13 - 1075670274118071083302200611936029312597114868806230274714509113252\ 75272371922966/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^12 - 9965290393488343508953135370774480108350721602871852105142970636782\ 5581505562897/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^11 + 5382621259552365639941452464912078492469739010338930049841078751688\ 1800457420823/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^10 + 2890145782517170991572199228132206086440725622583844481547047043404\ 5167309166534/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^9 - 1599637217163280404743510828450877701900608275675365486910742078422\ 7788417049876/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^8 - 5224244042804477095815947045967092975739717045796167015526650397658\ 101753523094/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^7 + 2666548346695255142392891941454218557612813454710566531336705656854\ 31804399272/1066487127320086993083920712198013848754842793498578574\ 7457193076641330091*c_0101_6^6 + 5338874874129536201187232073515923\ 44191746396990939558968588159917288439807584/1173135840052095692392\ 31278341781523363032707284843643222029123843054631001*c_0101_6^5 - 4539399872011310879264441657037510390352721944926983761651731492737\ 9701356436/16759083429315652748461611191683074766147529612120520460\ 289874834722090143*c_0101_6^4 - 34824295498155392435335655472969285\ 14817167545814384623292046203150496927093/1675908342931565274846161\ 1191683074766147529612120520460289874834722090143*c_0101_6^3 + 1649893196148869774569883127571702313365003565098559732167299634400\ 4884998337/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^2 + 2550614983625430815873875769073548\ 11428960699079621952341502267061801991318/1173135840052095692392312\ 78341781523363032707284843643222029123843054631001*c_0101_6 - 1707533490371898841547851538412676864838718944544969811011190498911\ 09498153/1173135840052095692392312783417815233630327072848436432220\ 29123843054631001, c_0101_5 - 703357373526948454658425331058532599161991480258351112527512\ 64651333502232/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^30 + 5989817422801490133752373687758450858999542424574513332507956239520\ 06674672/1173135840052095692392312783417815233630327072848436432220\ 29123843054631001*c_0101_6^29 + 68143036457359880718535937580308166\ 7451055967882818932936744420028588646064/11731358400520956923923127\ 8341781523363032707284843643222029123843054631001*c_0101_6^28 - 2649214945463615677436963673247461811680600292844106587473708421574\ 5916406763/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^27 + 190059795618977729014080228841733\ 8746391047233265672439501967250083351249759/16759083429315652748461\ 611191683074766147529612120520460289874834722090143*c_0101_6^26 + 4198924359509628781031271295090153782148100702285889065695639446655\ 02942146760/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^25 - 2067042606906871390366084499898472989937202880038286979526105378248\ 2073261999/16759083429315652748461611191683074766147529612120520460\ 289874834722090143*c_0101_6^24 - 3412418680183628883004887940238285\ 99792743029459087462063128620084022424760243/1066487127320086993083\ 9207121980138487548427934985785747457193076641330091*c_0101_6^23 + 1635735434095262654141436814168139053160617094108934672172863451717\ 59737275202/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^22 + 2196602173597770425937309386116895718244151933680914380018086253565\ 6608614518721/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^21 + 4292928619518896770950015057804543655445532975748787320542504806441\ 02174430176/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^20 - 8316357791673023482956304848014153250963914872042182524789780210787\ 3139613990236/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^19 + 1029795988850127083752885604062041289765749277395579837152152228514\ 6958512373755/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^18 + 1902269389579264186531026476362362970622222490992259820302738786765\ 67339018104674/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^17 - 5582928620565695807539070325596714187257205569538099948882816020510\ 7987312599194/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^16 - 2554995558477607942159693419624173490523940549276681482813882066301\ 19473985685150/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^15 + 1070989518907961850651122049139868645094141580740540686674100502407\ 30922244776128/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^14 + 2019597916830308584149991784579969913544856461827286265177157282969\ 51576174372081/1173135840052095692392312783417815233630327072848436\ 43222029123843054631001*c_0101_6^13 - 9963425299204720574033211778349173823929667811410558785877111455119\ 8181687829679/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^12 - 9718088476193929486628356875450595952375615162116414796346986837731\ 0930343784502/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^11 + 7335087935673414011004288319208058074468016765998612390669274745391\ 904033749625/167590834293156527484616111916830747661475296121205204\ 60289874834722090143*c_0101_6^10 + 2946939364408945337201856446537487041022871852421687065646831303389\ 0882238901434/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^9 - 1586454961109655384803011973572476837011011252642573928280841827429\ 8154356515679/11731358400520956923923127834178152336303270728484364\ 3222029123843054631001*c_0101_6^8 - 5616750438445050442747882794103619593013821360365889863912505725674\ 518742215557/117313584005209569239231278341781523363032707284843643\ 222029123843054631001*c_0101_6^7 + 3960466356051692295004001214874910304948346421193506131280504144135\ 5034709493/15235530390286957044056010174257340696497754192836836782\ 08170439520190013*c_0101_6^6 + 622079175855208790592245807366604535\ 117083975321139136352129083424657969571659/117313584005209569239231\ 278341781523363032707284843643222029123843054631001*c_0101_6^5 - 3512170460863115261723484519903153817176397908304112168936247606013\ 64675714783/1173135840052095692392312783417815233630327072848436432\ 22029123843054631001*c_0101_6^4 - 337712337079354042008826449311376\ 17830463417015104833754431058504877893614439/1173135840052095692392\ 31278341781523363032707284843643222029123843054631001*c_0101_6^3 + 1994694164912699937563299282741057264532867790966705143406820007542\ 6417346579/11731358400520956923923127834178152336303270728484364322\ 2029123843054631001*c_0101_6^2 + 7455575786019590775486510400993982\ 85064613295700765796368376463477593799972/1173135840052095692392312\ 78341781523363032707284843643222029123843054631001*c_0101_6 - 2147659251628709189887934157059272775481516500034901898984409902119\ 36080802/1173135840052095692392312783417815233630327072848436432220\ 29123843054631001, c_0101_6^31 - 8*c_0101_6^30 - 14*c_0101_6^29 + 371*c_0101_6^28 + 4*c_0101_6^27 - 6037*c_0101_6^26 - 1020*c_0101_6^25 + 53937*c_0101_6^24 + 25076*c_0101_6^23 - 309170*c_0101_6^22 - 164754*c_0101_6^21 + 1154948*c_0101_6^20 + 448188*c_0101_6^19 - 2691909*c_0101_6^18 - 559875*c_0101_6^17 + 3844096*c_0101_6^16 + 297859*c_0101_6^15 - 3388911*c_0101_6^14 - 33069*c_0101_6^13 + 1893913*c_0101_6^12 - 24281*c_0101_6^11 - 685966*c_0101_6^10 + 8808*c_0101_6^9 + 161762*c_0101_6^8 - 1553*c_0101_6^7 - 24446*c_0101_6^6 + 276*c_0101_6^5 + 2262*c_0101_6^4 - 16*c_0101_6^3 - 108*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB