Magma V2.19-8 Tue Aug 20 2013 16:16:39 on localhost [Seed = 290491851] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0942 geometric_solution 4.84566018 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 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 3.057911936537 1.518531390124 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 -0.157768117196 0.683932014588 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.362845297745 0.470958344317 4 5 4 2 1230 0132 2031 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.721857716114 0.757118375708 5 3 2 3 2310 3012 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721857716114 0.757118375708 6 3 4 6 0132 0132 3201 3201 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.978115803766 0.372369997479 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.481378012938 0.353099918677 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(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_3']), 'c_1100_4' : d['c_0101_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0101_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(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' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_3, c_0101_1, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 2923912581832436735606840710715167666200734723811309002782253851495\ 7201/76703452698569564028549715525738889246412078551006328825337832\ 343368*c_0101_6^28 + 3156748327683109572761962612764655895481635722\ 070780660560339353537437/383517263492847820142748577628694446232060\ 39275503164412668916171684*c_0101_6^27 - 3360222928583367289701460066559018952234663847523161737908738544655\ 961039/767034526985695640285497155257388892464120785510063288253378\ 32343368*c_0101_6^26 - 97604179354954127073030104372937543880194542\ 52889273012700234370515741619/7670345269856956402854971552573888924\ 6412078551006328825337832343368*c_0101_6^25 + 3409770165861978526490194575587130858420216434145442533415120449498\ 2229477/38351726349284782014274857762869444623206039275503164412668\ 916171684*c_0101_6^24 + 2168031536295811005863967028659430755611821\ 71293008571508129327124192180613/7670345269856956402854971552573888\ 9246412078551006328825337832343368*c_0101_6^23 - 6423148861947467020674533724614169667868530916848133498289842657141\ 23265289/7670345269856956402854971552573888924641207855100632882533\ 7832343368*c_0101_6^22 - 960297820893067044043276580333156417032508\ 463806681966733239409249915718497/383517263492847820142748577628694\ 44623206039275503164412668916171684*c_0101_6^21 + 3942588912224271074545638458071145089396707065307212659721990625443\ 620570449/767034526985695640285497155257388892464120785510063288253\ 37832343368*c_0101_6^20 + 73003045282085727836963635456943275552777\ 08818695181989789721834719724962063/7670345269856956402854971552573\ 8889246412078551006328825337832343368*c_0101_6^19 - 6855055362281728527580631752510901300306191904611573158502961727890\ 678241549/383517263492847820142748577628694446232060392755031644126\ 68916171684*c_0101_6^18 - 10289716377150224586562377256531113538192\ 76617433443593477674232824110271859/5478818049897826002039265394695\ 634946172291325071880630381273738812*c_0101_6^17 + 7071799324875314763960924645208797124602800130955718907598335261025\ 154689095/191758631746423910071374288814347223116030196377515822063\ 34458085842*c_0101_6^16 + 82207522685815951003391285700102388994256\ 40265070819412558089118383214556623/3835172634928478201427485776286\ 9444623206039275503164412668916171684*c_0101_6^15 - 3632593713964529710990390445661031852476118196923349773251557770436\ 2001794741/76703452698569564028549715525738889246412078551006328825\ 337832343368*c_0101_6^14 - 2865957552974977502640447108059355264976\ 473201749444661818859370793568716179/191758631746423910071374288814\ 34722311603019637751582206334458085842*c_0101_6^13 + 2983514671879366002042942985649625594856476505314848020233396176904\ 3449290923/76703452698569564028549715525738889246412078551006328825\ 337832343368*c_0101_6^12 + 3724273501654735850719005508051903458975\ 16224337256516123252052382092926107/5478818049897826002039265394695\ 634946172291325071880630381273738812*c_0101_6^11 - 1576686011427353723350302315031074646503579564244115648091725268446\ 4155658071/76703452698569564028549715525738889246412078551006328825\ 337832343368*c_0101_6^10 - 9346947597306939948401535367687868905477\ 20676328069112067235008381021650343/3835172634928478201427485776286\ 9444623206039275503164412668916171684*c_0101_6^9 + 2633154795063102625344455212838895719330597402097460900109555817221\ 257712405/383517263492847820142748577628694446232060392755031644126\ 68916171684*c_0101_6^8 + 165271927181563376246656767750430769609396\ 553397170652519342896686402464655/191758631746423910071374288814347\ 22311603019637751582206334458085842*c_0101_6^7 - 3756977508551984295345497325148680576245508333203617894086405183369\ 0180877/27394090249489130010196326973478174730861456625359403151906\ 36869406*c_0101_6^6 - 186931754125118514017550921309151809706916623\ 975714151398494193347363031475/767034526985695640285497155257388892\ 46412078551006328825337832343368*c_0101_6^5 + 5433719681781413321025328570938072860513496849663008008616028662396\ 6587251/38351726349284782014274857762869444623206039275503164412668\ 916171684*c_0101_6^4 + 71854054760466191819593704011229740871146103\ 51050283371890377228237834599/1917586317464239100713742888143472231\ 1603019637751582206334458085842*c_0101_6^3 - 2935252412620689456782652703179117261909599384434075865841265644197\ 833759/767034526985695640285497155257388892464120785510063288253378\ 32343368*c_0101_6^2 - 456956503362622402370823320648751071216874027\ 101754628580404593331827547/191758631746423910071374288814347223116\ 03019637751582206334458085842*c_0101_6 - 1513905934220929104004578350853802363523236694242666307614568081936\ 13313/7670345269856956402854971552573888924641207855100632882533783\ 2343368, c_0011_0 - 1, c_0011_1 - 145735143248441367242573316005769550290365502561175684620192\ 218004/136970451247445650050981634867390873654307283126797015759531\ 8434703*c_0101_6^28 + 586063279213256932242919110761054570995431697\ 13502317771619457304/1369704512474456500509816348673908736543072831\ 267970157595318434703*c_0101_6^27 + 1670456608750351739729398618206551163677506634196737349036761536682\ 0/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^26 + 38325294578565713303009791133280827577023341724667\ 899310308225670319/136970451247445650050981634867390873654307283126\ 7970157595318434703*c_0101_6^25 - 362748761295154483815782681390428\ 290658349710274687367027012532830399/136970451247445650050981634867\ 3908736543072831267970157595318434703*c_0101_6^24 - 8542847939929061889943924071414491618367027469633582614448439489750\ 78/1369704512474456500509816348673908736543072831267970157595318434\ 703*c_0101_6^23 + 3712281326008619005389821249962094909229823604580\ 924716930047665494561/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^22 + 7234040476531252319532193199363592522063142388106729215401993823474\ 234/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^21 - 239579118836265888485278746390944190101955889450\ 87029596696505465208230/1369704512474456500509816348673908736543072\ 831267970157595318434703*c_0101_6^20 - 2123384872247464028311897004334364980581118882646040386628709884124\ 3401/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^19 + 80445910147964342325895754191077406440951908390\ 241848241098983641374786/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^18 + 2126349092296303822885842510174446282494633110681806516305038067226\ 6446/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^17 - 15099050152465101254101301490675637445100715159\ 0114876104112451294406557/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^16 + 1145518931686945352454535747735546721840986039787228685658803529462\ 2021/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^15 + 16886220392703259529992136699543171879305281349\ 7058660406405010686348302/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^14 - 4489639243476215093157214426482568646859576712315231254809399032033\ 3253/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^13 - 11669143977152887453273703820931757436427431541\ 0164597127087362063817517/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^12 + 4227677462295765397892035531044626540425185143984855842695303877780\ 8622/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^11 + 51031118324638245246694393085640921175867952718\ 202442305883701422490187/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^10 - 1945100054704293641922347809375537777613875481201652532045074212810\ 8723/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^9 - 144882329482583927614767367471347750052207806131\ 26715976499189799833942/1369704512474456500509816348673908736543072\ 831267970157595318434703*c_0101_6^8 + 4707066759457985544325700817974230484753684115754403494342486808773\ 761/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^7 + 2667489693469038655959513436286394494150735601890\ 733581462441572688828/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^6 - 5860911867904361095039007978944240591877974064397608815578166333273\ 61/1369704512474456500509816348673908736543072831267970157595318434\ 703*c_0101_6^5 - 27707737184755260508972440648092223769612480695756\ 6620002186219771293/13697045124744565005098163486739087365430728312\ 67970157595318434703*c_0101_6^4 + 291007050529794497568813028027580\ 36895829879928020456402489115095134/1369704512474456500509816348673\ 908736543072831267970157595318434703*c_0101_6^3 + 1747799080859607298515814748921188922149268122133936548046519906816\ 6/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^2 - 591907752213349790651448280035089355366771419553036\ 538493926635266/136970451247445650050981634867390873654307283126797\ 0157595318434703*c_0101_6 - 153848991578660516730991950690305730942\ 2838798592926103294489109907/13697045124744565005098163486739087365\ 43072831267970157595318434703, c_0011_3 + 147562076629273805208034331406724491739373000812563692398027\ 098544/136970451247445650050981634867390873654307283126797015759531\ 8434703*c_0101_6^28 - 818976687187053163644309670279941588626818793\ 2537635420309787380/13697045124744565005098163486739087365430728312\ 67970157595318434703*c_0101_6^27 - 1696154987394869398229082441109198034163089320361636032972020193556\ 6/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^26 - 44678318433850267818449800695860570434054109263933\ 670404454892263595/136970451247445650050981634867390873654307283126\ 7970157595318434703*c_0101_6^25 + 356932849948737997732854139682836\ 142294311685724580107353827719553364/136970451247445650050981634867\ 3908736543072831267970157595318434703*c_0101_6^24 + 1001729450866877011634426795965829202751696203946262823050157014639\ 773/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^23 - 351909884793054372900707065588554460974702370760\ 2358210529550803718591/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^22 - 8829818067413250252500664883460679172588963627321125978058855586559\ 795/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^21 + 222576034851223921597413951532275656945114995042\ 58119911168557784636122/1369704512474456500509816348673908736543072\ 831267970157595318434703*c_0101_6^20 + 3162207175678980000191993955215152258852046141864844715517953948134\ 6784/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^19 - 77208138660392781525842041405582035384495929320\ 055729713019251687096861/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^18 - 5576722880285447718503554106633678869531897108735217795916328520169\ 2862/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^17 + 15622883785252192733496031243767072478452166078\ 9651012823739937809976638/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^16 + 5123452893450390615065399844400026657143772499104879842567752053277\ 7083/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^15 - 19593056779417329537011146840068799494868058591\ 1907814945641409259656348/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^14 - 2091471835818675415897221161808096567298598469355053000050566753792\ 2804/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^13 + 15730640772003751608058515456372088687235655239\ 1202269046706695020645193/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^12 - 1841890283915570836330316742337745154656883562716309084356766179554\ 387/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^11 - 812678227867464784728134724082733893901665205468\ 18032118829354388516027/1369704512474456500509816348673908736543072\ 831267970157595318434703*c_0101_6^10 + 4995954290388907289529916347941952358754153684479189704474498250956\ 154/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^9 + 2631642403231291975201429244351249884497240395815\ 2029267477028568159392/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^8 - 1552201034709856241490502179151977947986283477383739928411152921463\ 794/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^7 - 4984965213015784440084638037021056019243536711091\ 306986965324227216026/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^6 + 9112910682777894657661546583860537473764883806177555729025640801711\ 0/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^5 + 492752198691949876253782042129252974209572725854422\ 059260996877258962/136970451247445650050981634867390873654307283126\ 7970157595318434703*c_0101_6^4 + 1412923136303319654507260345833301\ 8503962766187160563355192003811743/13697045124744565005098163486739\ 08736543072831267970157595318434703*c_0101_6^3 - 2536884970012915226595917454443856833996480341351387684052054935276\ 8/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^2 - 153356114936539288494745989250739558685553967875571\ 3909045535031019/13697045124744565005098163486739087365430728312679\ 70157595318434703*c_0101_6 + 12499663766222335960241564392393563667\ 90792325416514721832000412397/1369704512474456500509816348673908736\ 543072831267970157595318434703, c_0101_1 - 466188677367905876786684596272971352124536174471225440123199\ 568638/136970451247445650050981634867390873654307283126797015759531\ 8434703*c_0101_6^28 - 517501703565029454231118466547042563317519127\ 528365756532226596752/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^27 + 5364040086775285172346834633651511953155176202162237149033126764674\ 7/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^26 + 20333184721024766835797783241553205846153463470851\ 6831502619593479429/13697045124744565005098163486739087365430728312\ 67970157595318434703*c_0101_6^25 - 9658584667543248108637931899278384790097369727878935372403411074801\ 02/1369704512474456500509816348673908736543072831267970157595318434\ 703*c_0101_6^24 - 4454847468636775285174460325574410297745673273956\ 317454998652233789254/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^23 + 7568333157774631042483465013327876529270314209121602294370117099782\ 425/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^22 + 403662166259820790503183344541156267954477635172\ 64507067192893241280309/1369704512474456500509816348673908736543072\ 831267970157595318434703*c_0101_6^21 - 4013459968858930810341489559661322671945266389410884195718878707703\ 1207/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^20 - 17703512637673150522476681624033345167111874295\ 0038645403754114101764276/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^19 + 1457357619701981615819203755906360889698543573578452765614987442362\ 37989/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^18 + 4270804717863630259419389308300853752928620569\ 57090381166804488780335635/1369704512474456500509816348673908736543\ 072831267970157595318434703*c_0101_6^17 - 3451785274718855502775903486612604219581786803707860882533436707530\ 39949/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^16 - 6239517855138801050397971976643241796902483517\ 98699793379041267470579762/1369704512474456500509816348673908736543\ 072831267970157595318434703*c_0101_6^15 + 5117871519988616451639749920837642368822015849496353558162213704970\ 06658/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^14 + 5815458526882259775155165940402825003252475361\ 58057381419832355033750839/1369704512474456500509816348673908736543\ 072831267970157595318434703*c_0101_6^13 - 4706219710837144367250224217618929071245638311195304722707500424686\ 30295/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^12 - 3577084057922302174316125101090883712465487174\ 23404270856404399550453140/1369704512474456500509816348673908736543\ 072831267970157595318434703*c_0101_6^11 + 2648099645737331731990660581217992393809099226589171331461996900662\ 04792/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^10 + 1501122994328582640036837301033552896549979443\ 70293977872239267101708782/1369704512474456500509816348673908736543\ 072831267970157595318434703*c_0101_6^9 - 8726126634166517202701342136734593951500417569726756728185244077601\ 7755/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^8 - 438973375431816731727459708852584591471610902471\ 66207303263092469366913/1369704512474456500509816348673908736543072\ 831267970157595318434703*c_0101_6^7 + 1509001136591402885125601979110318759686838413031611448159334595166\ 7909/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^6 + 844137325463626615759153649742717379356696430585\ 7963323615431249050434/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^5 - 9787937826513539719907153737725512025068300540480933792417620564576\ 94/1369704512474456500509816348673908736543072831267970157595318434\ 703*c_0101_6^4 - 87921817842571039913346460992498733715433494437763\ 0815101909758518241/13697045124744565005098163486739087365430728312\ 67970157595318434703*c_0101_6^3 - 424522115039374157962038843910199\ 34508426571899685928460854576321261/1369704512474456500509816348673\ 908736543072831267970157595318434703*c_0101_6^2 + 3793588970850124437787341259084150014834608692400403668201474175861\ 1/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6 + 45506348918512303165205453194260331807243002738090461\ 54813738910178/1369704512474456500509816348673908736543072831267970\ 157595318434703, c_0101_3 + 291569809773528814116807357708166322483609988914430935071552\ 509338/136970451247445650050981634867390873654307283126797015759531\ 8434703*c_0101_6^28 + 105528912403001882253994499096043934185791137\ 67244678080243826224/1369704512474456500509816348673908736543072831\ 267970157595318434703*c_0101_6^27 - 3347501988016069619385378237501557099705538467553286330120428446647\ 1/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^26 - 91320827010669067422811689383724996921363343044963\ 479123516913626094/136970451247445650050981634867390873654307283126\ 7970157595318434703*c_0101_6^25 + 692488092227476860306171395731361\ 257928581155426270251089605770428104/136970451247445650050981634867\ 3908736543072831267970157595318434703*c_0101_6^24 + 2027584564814876467092353614077912396748135540951825369575799363837\ 155/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^23 - 668680245554131304737225632275275141448552021676\ 2389056737633705974094/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^22 - 1773368832115690928611386344910791623441719975412047166246710611214\ 6280/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^21 + 41700945950592479923114254475513251781077994826\ 513473193674647143807626/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^20 + 6348486609625902923676177768537553547323698873213112750876452589012\ 1440/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^19 - 14321739626476630355111411594948771050482583528\ 7357915418418777476698232/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^18 - 1123175767078522786399736504902472039457538199675942103525853034381\ 26375/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^17 + 2871061369429714630570375300105891317562796105\ 76435532968925983634737170/1369704512474456500509816348673908736543\ 072831267970157595318434703*c_0101_6^16 + 1041994131447881707231330207402638092460107497954450567323936049361\ 05790/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^15 - 3549732878457991564481097325855420186993057819\ 43868725838676552108407919/1369704512474456500509816348673908736543\ 072831267970157595318434703*c_0101_6^14 - 4366711265583278505832046008049608822783925676044677689784414677214\ 7734/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^13 + 27830894031313842711535917429572167719520159886\ 4819715269613278028911704/13697045124744565005098163486739087365430\ 72831267970157595318434703*c_0101_6^12 - 2737484128554459528428335288752618832978755418569930834032013840635\ 871/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^11 - 138543091831138459229407842137654162130435372158\ 694883061516813406014484/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^10 + 9833381225200431316519557719307258790126145085225802393368165235826\ 753/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^9 + 4264933252481431259878930392532855191211935952430\ 9080149815690926863964/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^8 - 3287159885850812419632743416876629863234605518771446578917609074778\ 499/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^7 - 7679405595434586001718179989448949711392439058915\ 948595686720320811826/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^6 + 3390537874232007402478509462930073526811199584044424917285061771020\ 74/1369704512474456500509816348673908736543072831267970157595318434\ 703*c_0101_6^5 + 76348251200509341506125391751856756879811418600253\ 7088125551871773123/13697045124744565005098163486739087365430728312\ 67970157595318434703*c_0101_6^4 - 473457780191414782235149814438832\ 9366934162550033195674400395217076/13697045124744565005098163486739\ 08736543072831267970157595318434703*c_0101_6^3 - 4231287435361562936054985741163947798738422944767408103659949196346\ 7/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^2 - 129503219125147927014611277597417773855288306005311\ 1597947197740169/13697045124744565005098163486739087365430728312679\ 70157595318434703*c_0101_6 + 12219464239585845927005540277920951178\ 40132042571129591194346524781/1369704512474456500509816348673908736\ 543072831267970157595318434703, c_0101_5 - 542449934049340959865353300433551385943503847580141424537091\ 70663/1369704512474456500509816348673908736543072831267970157595318\ 434703*c_0101_6^28 + 4520464876943403913949305694101403100127335169\ 3744716446534084067/13697045124744565005098163486739087365430728312\ 67970157595318434703*c_0101_6^27 + 6051717403416622683002431377558452044338446050970027889882147981033\ /136970451247445650050981634867390873654307283126797015759531843470\ 3*c_0101_6^26 + 116364794278837883431896553744168404138090245037047\ 23099456026532101/1369704512474456500509816348673908736543072831267\ 970157595318434703*c_0101_6^25 - 1232918409941296007889658783578172\ 90837329091177834614697261783737385/1369704512474456500509816348673\ 908736543072831267970157595318434703*c_0101_6^24 - 2173059189605061013224927998978676909635348710260178900916623019085\ 39/1369704512474456500509816348673908736543072831267970157595318434\ 703*c_0101_6^23 + 1140198092191774920487510951117193683898440177585\ 479958329626598757683/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^22 + 1169615221807988120374941976298473145953686630126899771567193751186\ 579/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^21 - 633199317462092223675997654145547871557370898782\ 7039422530688577510629/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^20 + 3608411579936014115716322811598736782966966660187642232335288544490\ 304/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^19 + 996079404319349506002322820164141226625456955874\ 1511298877999893800506/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^18 - 2654343338002671932421235773633554949871306490196882781705674917260\ 1299/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^17 + 13820023867473601341545075495468388862182464254\ 633405129880812903680647/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^16 + 5053935624421585929848087061098702309436984820334844137910733176040\ 8010/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^15 - 65292422085449488587067943562590620424252804284\ 826048409790229614062349/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^14 - 4130865605547421293971858949219141227565115949386143299735628125594\ 7195/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^13 + 91356216352337424366064467367029000973945249604\ 381783697653109054283157/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^12 + 1151270722727154156525296262276820560728879846965438832380938230190\ 4979/13697045124744565005098163486739087365430728312679701575953184\ 34703*c_0101_6^11 - 66339574132609344629709124489260423313458765485\ 926131693087455156682525/136970451247445650050981634867390873654307\ 2831267970157595318434703*c_0101_6^10 + 3237883304293047819567550861280976619608958987919008092835222114319\ 028/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^9 + 2764404353552096263958170721126662059408698913105\ 1668687099440375968355/13697045124744565005098163486739087365430728\ 31267970157595318434703*c_0101_6^8 - 2254049823914446752388277498404784021494140199173310523103839651643\ 271/136970451247445650050981634867390873654307283126797015759531843\ 4703*c_0101_6^7 - 6714527229405161423175480809297229278141305604349\ 065703448122475408988/136970451247445650050981634867390873654307283\ 1267970157595318434703*c_0101_6^6 + 1635645535061540719590241395456227323653915302377549971117313709298\ 42/1369704512474456500509816348673908736543072831267970157595318434\ 703*c_0101_6^5 + 88846563245330737915001978483674015206491792370754\ 0696219679220542817/13697045124744565005098163486739087365430728312\ 67970157595318434703*c_0101_6^4 + 552403630996010421858964879658029\ 13656780157636113861945675271075903/1369704512474456500509816348673\ 908736543072831267970157595318434703*c_0101_6^3 - 5022538655502298291967083251599313584649492234621377075633260182541\ 2/13697045124744565005098163486739087365430728312679701575953184347\ 03*c_0101_6^2 - 636392510364832076660087109950510414187096535800468\ 4633334976516279/13697045124744565005098163486739087365430728312679\ 70157595318434703*c_0101_6 + 10568469444128103436923136302694755136\ 83027494839256618452464279217/1369704512474456500509816348673908736\ 543072831267970157595318434703, c_0101_6^29 - 115*c_0101_6^27 - 309*c_0101_6^26 + 2408*c_0101_6^25 + 6921*c_0101_6^24 - 23643*c_0101_6^23 - 61160*c_0101_6^22 + 149741*c_0101_6^21 + 222469*c_0101_6^20 - 527288*c_0101_6^19 - 398318*c_0101_6^18 + 1089224*c_0101_6^17 + 365830*c_0101_6^16 - 1394713*c_0101_6^15 - 136042*c_0101_6^14 + 1143523*c_0101_6^13 - 35460*c_0101_6^12 - 608499*c_0101_6^11 + 50784*c_0101_6^10 + 209950*c_0101_6^9 - 16040*c_0101_6^8 - 46276*c_0101_6^7 + 1245*c_0101_6^6 + 6236*c_0101_6^5 + 248*c_0101_6^4 - 447*c_0101_6^3 - 54*c_0101_6^2 + 15*c_0101_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB