Magma V2.19-8 Tue Aug 20 2013 16:18:01 on localhost [Seed = 1014866162] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2249 geometric_solution 5.67957939 oriented_manifold CS_known 0.0000000000000004 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.494790764088 0.257092802662 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 -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.110999005504 0.344163295672 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 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 1 0 0 -1 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.684329676498 0.391579357145 2 4 6 5 0132 0321 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 -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.796176174910 0.956365948929 6 5 2 3 1023 2310 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796176174910 0.956365948929 5 5 3 4 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.435505170696 0.663491712632 6 4 6 3 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.252473432761 0.963639479381 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), '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' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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_0011_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_1']), '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' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : negation(d['c_0011_5']), '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_0011_5, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1718881906155483444458546754431491731450522413992515703430094861279\ 329019438986726074795798838196/747008839168374730549304239246685496\ 15169030465669457839959961734472815893258429985333439035275*c_0101_\ 3^29 + 961811842858474160000660485677622866448624110354773089492298\ 2921792669876919365019435309365742688/74700883916837473054930423924\ 668549615169030465669457839959961734472815893258429985333439035275*\ c_0101_3^28 - 17040454092423990032985013162916729402068545913095899\ 4991711803971514860578144347372047064317281001/74700883916837473054\ 9304239246685496151690304656694578399599617344728158932584299853334\ 39035275*c_0101_3^27 + 65967409796318393611842596046690230472628565\ 6900111657961164033920275391247130824105297239203773556/74700883916\ 8374730549304239246685496151690304656694578399599617344728158932584\ 29985333439035275*c_0101_3^26 + 98695023752795851254503133194385903\ 3884344118937860016797016556260136291724163883154539383921276589/74\ 7008839168374730549304239246685496151690304656694578399599617344728\ 15893258429985333439035275*c_0101_3^25 - 9116605245499977424342578484828837035647993192171670846826446507525\ 626737981635620056619758779534279/747008839168374730549304239246685\ 49615169030465669457839959961734472815893258429985333439035275*c_01\ 01_3^24 + 440115909421909438116080327523774051542263010577623360966\ 11490060556829262917964773328020437972164078/7470088391683747305493\ 0423924668549615169030465669457839959961734472815893258429985333439\ 035275*c_0101_3^23 - 1913867597773193294459328633434707879489719105\ 7584834181734811920624599567564695982921833486757826969/14940176783\ 3674946109860847849337099230338060931338915679919923468945631786516\ 85997066687807055*c_0101_3^22 + 26622936531272971922279188768885009\ 170216584736635812040933491993826453114665261074444203468128441707/\ 7470088391683747305493042392466854961516903046566945783995996173447\ 2815893258429985333439035275*c_0101_3^21 + 7877759631329972569332319398347031329120526937720285672803437279342\ 834149320566447520379127086419227/574622183975672869653310953266681\ 1508859156189666881372304612441113293530250648460410264541175*c_010\ 1_3^20 - 1024437958474272863628681178859749073946128053551966814273\ 94611204633484330643515804185641416289658997/7470088391683747305493\ 0423924668549615169030465669457839959961734472815893258429985333439\ 035275*c_0101_3^19 + 3689358156106099056802509528633816622743146568\ 68009612813264438966641220479161067375239133495442355196/7470088391\ 6837473054930423924668549615169030465669457839959961734472815893258\ 429985333439035275*c_0101_3^18 - 6735651930595970253079481566999441\ 4222850682370162762494302333553447442156236329508495965113756743280\ 9/74700883916837473054930423924668549615169030465669457839959961734\ 472815893258429985333439035275*c_0101_3^17 + 3542474007422685990772295905984281804142379033798031867504506228511\ 70596474984231921564631016513586818/7470088391683747305493042392466\ 8549615169030465669457839959961734472815893258429985333439035275*c_\ 0101_3^16 - 1042477892832003363684309868342178117772136357390424815\ 70729712861742889617333535941633899029371916884/7470088391683747305\ 4930423924668549615169030465669457839959961734472815893258429985333\ 439035275*c_0101_3^15 - 1973557702131312739124941732668103376460375\ 52913354867151276250484572604176246032864632270862807435123/7470088\ 3916837473054930423924668549615169030465669457839959961734472815893\ 258429985333439035275*c_0101_3^14 + 6110716763348656034440681803450037366240340635790136845282396252283\ 73422263913566164880746207781683744/7470088391683747305493042392466\ 8549615169030465669457839959961734472815893258429985333439035275*c_\ 0101_3^13 - 4398391461979597465943711475074223701158876482476527956\ 52604521720155583813410640707800131892852866946/7470088391683747305\ 4930423924668549615169030465669457839959961734472815893258429985333\ 439035275*c_0101_3^12 + 4162561731285256237680074714220524944765246\ 4223735989985291512635987971339699751779752518380927302694/14940176\ 7833674946109860847849337099230338060931338915679919923468945631786\ 51685997066687807055*c_0101_3^11 + 3654288902644400285060645496112722333837016307222415149323752194737\ 0837780330305840264902158024982748/14940176783367494610986084784933\ 709923033806093133891567991992346894563178651685997066687807055*c_0\ 101_3^10 - 40039827324715945988592303234774917236998167108213959028\ 2346419455035556832968200452914275024722380088/74700883916837473054\ 9304239246685496151690304656694578399599617344728158932584299853334\ 39035275*c_0101_3^9 + 133088655836577424166791629334282746783042118\ 634355679738263078918100775648447508885326652360467164531/747008839\ 1683747305493042392466854961516903046566945783995996173447281589325\ 8429985333439035275*c_0101_3^8 + 1499593960503234132619233534778538\ 9906585710182255041525807303604081902535246590460011680651630259583\ /149401767833674946109860847849337099230338060931338915679919923468\ 94563178651685997066687807055*c_0101_3^7 - 1135437820828415465399002178326684790636417200870052778033961284383\ 87673673253228084999855424513959649/7470088391683747305493042392466\ 8549615169030465669457839959961734472815893258429985333439035275*c_\ 0101_3^6 + 28201770733839114960420692281296331680460024023820490516\ 222709107441827344340345434473170098260675444/747008839168374730549\ 3042392466854961516903046566945783995996173447281589325842998533343\ 9035275*c_0101_3^5 + 3213877746041682545958911262866980519852678875\ 9569480394296854928869992121432789469191972951091022156/74700883916\ 8374730549304239246685496151690304656694578399599617344728158932584\ 29985333439035275*c_0101_3^4 - 996611200679834590359686924334239748\ 5883048211439544524387523397788455503562529887134076687658357342/74\ 7008839168374730549304239246685496151690304656694578399599617344728\ 15893258429985333439035275*c_0101_3^3 - 4214458753439173750250776135657958434619396003841301449015987114031\ 474492114368847551560336584819866/747008839168374730549304239246685\ 49615169030465669457839959961734472815893258429985333439035275*c_01\ 01_3^2 + 3122294961150791374864406443604665848147247460519009120707\ 5562102037141290905572737946149125606770/29880353566734989221972169\ 5698674198460676121862677831359839846937891263573033719941333756141\ 1*c_0101_3 + 241672344954271105202508427339413002270878028591285950\ 237860109599255853489076703780789443677739207/747008839168374730549\ 3042392466854961516903046566945783995996173447281589325842998533343\ 9035275, c_0011_0 - 1, c_0011_1 - 316944908509402442913783745221488003674993648150677199765511\ 67851358657409302905398/2504749106249749888856610431821667823683322\ 5190999208327774101189611653394726218925*c_0101_3^29 - 1698987279517253139323474698987670551827722327010821784261625267738\ 34656532123667894/2504749106249749888856610431821667823683322519099\ 9208327774101189611653394726218925*c_0101_3^28 + 3181497184698309147483728744742887712031388505400042010462028204656\ 357365253900223413/250474910624974988885661043182166782368332251909\ 99208327774101189611653394726218925*c_0101_3^27 - 1291450152098933455493967469979920215118614356001627574720826992706\ 2898867090026824278/25047491062497498888566104318216678236833225190\ 999208327774101189611653394726218925*c_0101_3^26 - 1511013211932983788761327496445807152964528183322504939762069289870\ 9420068373924223857/25047491062497498888566104318216678236833225190\ 999208327774101189611653394726218925*c_0101_3^25 + 1714461349519607187642028372776995243848310723201849377252060168151\ 70460048093737681452/2504749106249749888856610431821667823683322519\ 0999208327774101189611653394726218925*c_0101_3^24 - 8521153760640896211008859945456326210248422548756586451710524278368\ 28749571376504955389/2504749106249749888856610431821667823683322519\ 0999208327774101189611653394726218925*c_0101_3^23 + 3935167830510413141515531075391969213057095119285473298814101484415\ 77841528674909220332/5009498212499499777713220863643335647366645038\ 199841665554820237922330678945243785*c_0101_3^22 - 9671519386538252741114435213793574600237445719135348002354697575286\ 68189031058513203891/2504749106249749888856610431821667823683322519\ 0999208327774101189611653394726218925*c_0101_3^21 - 1630364077935435946640782101649436236568533968685617851761530787367\ 668035178872219911563/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^20 + 2260365549542132979454865545118176920158628393159129858351955228928\ 539221082824465810611/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^19 - 7360585210538540524828997955426491838680375651376676192712788936138\ 919493977366566607598/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^18 + 1418049377351870587988908652657215907320716927197013158197446678567\ 7379206689503107369792/25047491062497498888566104318216678236833225\ 190999208327774101189611653394726218925*c_0101_3^17 - 9983407404203042668066029299428550024501779428539121703993541458993\ 114459005558711215659/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^16 + 4487810062123227730911852561788475726068473630610040646402356609772\ 698234316764809051342/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^15 + 2446012356177190332663226291297598795193370223521698930120019941399\ 126209006069009260349/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^14 - 1177012394408846353190424741410612411012374650944314963759938574179\ 2665015595792533205947/25047491062497498888566104318216678236833225\ 190999208327774101189611653394726218925*c_0101_3^13 + 1090757800610846747785892676710717113289807617248099129015785759825\ 2094607838563158368973/25047491062497498888566104318216678236833225\ 190999208327774101189611653394726218925*c_0101_3^12 - 1315108265589304106396375497715177654025081841746285442266459056950\ 223694785998892545847/500949821249949977771322086364333564736664503\ 8199841665554820237922330678945243785*c_0101_3^11 - 3356375955418275282557689781867900513124814880012142199811782998854\ 78219230204024884959/5009498212499499777713220863643335647366645038\ 199841665554820237922330678945243785*c_0101_3^10 + 7683158480135236246881368313274613256427749027613515326658220274167\ 350402145166817584769/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^9 - 4286807752708086324266973354960284223648009770443339639316141127876\ 149614428864130124978/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^8 - 5365220754639474815604816496586007769531147878538238188401004141491\ 7837052629466134804/50094982124994997777132208636433356473666450381\ 99841665554820237922330678945243785*c_0101_3^7 + 2110819746853544802076121278181327884757639480031125463393971899645\ 086598525090632949687/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^6 - 1023891312571963365078396616685857055908341481505522536110802412898\ 185597350031274006972/250474910624974988885661043182166782368332251\ 90999208327774101189611653394726218925*c_0101_3^5 - 3256111222753969342462525788419960014670229631622073485883721218714\ 66047278446855159553/2504749106249749888856610431821667823683322519\ 0999208327774101189611653394726218925*c_0101_3^4 + 2511556013825137610613021086229587819656183047329101925043092228037\ 15045205979953000096/2504749106249749888856610431821667823683322519\ 0999208327774101189611653394726218925*c_0101_3^3 + 1204089779373936670250142672638778252572646172088245529046213843651\ 8177119435023259558/25047491062497498888566104318216678236833225190\ 999208327774101189611653394726218925*c_0101_3^2 - 6212326792605685544881144318106105449470740379482610178581893906024\ 88938875935947833/1001899642499899955542644172728667129473329007639\ 968333110964047584466135789048757*c_0101_3 - 6258471314653773659588222059124129260534049265735325185394946265691\ 1430570412549266/25047491062497498888566104318216678236833225190999\ 208327774101189611653394726218925, c_0011_4 + 204283068674941152478954587396096369722091006968444425671943\ 3834441394035395186060450208836/38643052049473629431964421874020252\ 24518598648061117264495368151387554492434867828117192025*c_0101_3^2\ 9 + 108660817629604866824790439540620385277446439082565132980474180\ 26059580201460255718314771763/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^28 - 2055195153301460579312184844370174714559981816115298805501443489443\ 66480011025744143838582416/3864305204947362943196442187402025224518\ 598648061117264495368151387554492434867828117192025*c_0101_3^27 + 8408207276547590215025978148207718599546686626558129367569647332326\ 25238885686285488578465566/3864305204947362943196442187402025224518\ 598648061117264495368151387554492434867828117192025*c_0101_3^26 + 9400408096055800888111001570281457617864628881712132442683709790443\ 67721382719708755796088119/3864305204947362943196442187402025224518\ 598648061117264495368151387554492434867828117192025*c_0101_3^25 - 1109158379069794492919385381079281153935219565825509288263245339552\ 9798149724762938358701268379/38643052049473629431964421874020252245\ 18598648061117264495368151387554492434867828117192025*c_0101_3^24 + 5536851976512857841895078687269097752860541887019084160556423099427\ 8889165756215632728412705823/38643052049473629431964421874020252245\ 18598648061117264495368151387554492434867828117192025*c_0101_3^23 - 2581232961277052728469646106194022455826293045919390958528057663315\ 3942755925463844035173281721/77286104098947258863928843748040504490\ 3719729612223452899073630277510898486973565623438405*c_0101_3^22 + 6750051798313243701296715726096894120717570596843726548359734272311\ 7682050856047057517745267642/38643052049473629431964421874020252245\ 18598648061117264495368151387554492434867828117192025*c_0101_3^21 + 1024202775869094793129871522102204984932481209323088216948746882616\ 56052736760109215355957881586/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^20 - 1490224149903390560607360364330709999085426158788650568822929729299\ 97883420683227288040434886857/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^19 + 4792372362769800835805098328318344185986123049150652917914080131491\ 16183552289746814421103241566/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^18 - 9336331084199102917715680273762601425174765556590869540010762110010\ 93822853797269534546115674079/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^17 + 6808569585098205429720333497136243016315659464239787951383309166558\ 08694607791998359344405532548/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^16 - 3173151341702459628166247093884068232532576070141505888452027858046\ 79972976431374168957162034509/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^15 - 1387706222881145827120141834386155492933181838476249706620250830724\ 99182131769941106604857921743/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^14 + 7579332242712085688713428946643866986325692165652467322780467775110\ 32803646064452358571690157014/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^13 - 7278469482203591175402738345956384175691319099830090288491136690186\ 21738779048730860756051411946/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^12 + 8973360573427348691500596087289634063408570133322220595819113082194\ 6219087408990434054692867929/77286104098947258863928843748040504490\ 3719729612223452899073630277510898486973565623438405*c_0101_3^11 + 1764589912318145861755225473808742353040462278601019631343641962120\ 3324572629874605255404242353/77286104098947258863928843748040504490\ 3719729612223452899073630277510898486973565623438405*c_0101_3^10 - 4947842913739875446405275824458598736376622198922548586321454842581\ 11163024760154530407303332258/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^9 + 2907376933330583334283124679206519012153238323361388022122045710440\ 22502790111944464162499309131/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^8 + 1795947455743705731289133309300541299653323406008285070229649579945\ 432930128153305049801387358/772861040989472588639288437480405044903\ 719729612223452899073630277510898486973565623438405*c_0101_3^7 - 1350332618538861574040516510519228912375648153373949044994144575368\ 67000458685674165197546048384/3864305204947362943196442187402025224\ 518598648061117264495368151387554492434867828117192025*c_0101_3^6 + 6925178777023064373275769399840010043976599098037084620013453821352\ 1095234251021244433172831784/38643052049473629431964421874020252245\ 18598648061117264495368151387554492434867828117192025*c_0101_3^5 + 1943925275504162773404324563997562664963088527786306516292728187000\ 9595688645075917993765691101/38643052049473629431964421874020252245\ 18598648061117264495368151387554492434867828117192025*c_0101_3^4 - 1677219825321518882249500385051173400129661053641473363719664231624\ 5458963802021103247372701832/38643052049473629431964421874020252245\ 18598648061117264495368151387554492434867828117192025*c_0101_3^3 - 6040533780790532168968271109029850658718594478068963797527453540983\ 56926247708831850242561386/3864305204947362943196442187402025224518\ 598648061117264495368151387554492434867828117192025*c_0101_3^2 + 2101004522638872687556411451075319734554047883941531987930740145695\ 53982546950502410952098857/7728610409894725886392884374804050449037\ 19729612223452899073630277510898486973565623438405*c_0101_3 + 5970539532578564341536249043258737997407543742289003572916879352455\ 784893203956703369362007/386430520494736294319644218740202522451859\ 8648061117264495368151387554492434867828117192025, c_0011_5 + 754617575059393615477660121733431337202579398479315438597161\ 9682639484977722331830105931018447/29880353566734989221972169569867\ 41984606761218626778313598398469378912635730337199413337561411*c_01\ 01_3^29 + 200490771300942593331016249288825726652399429439272977618\ 289951454417184042119578900480733799081/149401767833674946109860847\ 8493370992303380609313389156799199234689456317865168599706668780705\ 5*c_0101_3^28 - 759498976543767493610078280288717826473760064735252\ 372897057988301100784330642722230615654946897/298803535667349892219\ 7216956986741984606761218626778313598398469378912635730337199413337\ 561411*c_0101_3^27 + 1554786187948290207102701871113518453361202521\ 2122729765457057229443616800188718513235506659538764/14940176783367\ 4946109860847849337099230338060931338915679919923468945631786516859\ 97066687807055*c_0101_3^26 + 17326224184598181704862563757765735008\ 983603527881461340376829480520382845803174077534046230248454/149401\ 7678336749461098608478493370992303380609313389156799199234689456317\ 8651685997066687807055*c_0101_3^25 - 2051492074389639810575149465874443186312848677715657614165624606016\ 90522327946339989471398453058963/1494017678336749461098608478493370\ 9923033806093133891567991992346894563178651685997066687807055*c_010\ 1_3^24 + 2047080595100786931806860205729931117415397524193922657221\ 52254529526656849189014870883115210670206/2988035356673498922197216\ 9569867419846067612186267783135983984693789126357303371994133375614\ 11*c_0101_3^23 - 23867831833104276920743483322259474656809382412366\ 64860093738229821676567807371998419367656018691847/1494017678336749\ 4610986084784933709923033806093133891567991992346894563178651685997\ 066687807055*c_0101_3^22 + 1246778923308812432935861982463079968930\ 304243370611638570761647841911217883073883259166906601294091/149401\ 7678336749461098608478493370992303380609313389156799199234689456317\ 8651685997066687807055*c_0101_3^21 + 1473127665941659563895095359618763481435412338385066318150360725760\ 48791642712239239220079776122063/1149244367951345739306621906533362\ 301771831237933376274460922488222658706050129692082052908235*c_0101\ _3^20 - 27805906523070449179200478818468400158608720468850511624738\ 40454850128590512791811434163990213284441/1494017678336749461098608\ 4784933709923033806093133891567991992346894563178651685997066687807\ 055*c_0101_3^19 + 8852227681663627573076510077109040225054683637522\ 964821390141129920920658057216340729834600762812436/149401767833674\ 9461098608478493370992303380609313389156799199234689456317865168599\ 7066687807055*c_0101_3^18 - 172666885384829373429524336346496391302\ 58432227081851133684620521606118054985314751716556475276729742/1494\ 0176783367494610986084784933709923033806093133891567991992346894563\ 178651685997066687807055*c_0101_3^17 + 1255460131031561065663438717986216470333667370203543049865593514842\ 8920074808222342255962776463818032/14940176783367494610986084784933\ 709923033806093133891567991992346894563178651685997066687807055*c_0\ 101_3^16 - 57098587412356288486892796726510419604603149814227218126\ 06959760795544269275770913094749670546354268/1494017678336749461098\ 6084784933709923033806093133891567991992346894563178651685997066687\ 807055*c_0101_3^15 - 5427808662774633873728884838560730336131856103\ 29533135374502559340874964047429831195269056560213914/2988035356673\ 4989221972169569867419846067612186267783135983984693789126357303371\ 99413337561411*c_0101_3^14 + 14156547079346577882413489400519033214\ 562419960484128398472945112718193037871169639084477315338323997/149\ 4017678336749461098608478493370992303380609313389156799199234689456\ 3178651685997066687807055*c_0101_3^13 - 1355305713460776169975680540106426694600392236436758880193945392517\ 3998364525457073824544246702676732/14940176783367494610986084784933\ 709923033806093133891567991992346894563178651685997066687807055*c_0\ 101_3^12 + 16485401389318569391289140900451126197561347390905584581\ 44433274623928969421015125952393802466757200/2988035356673498922197\ 2169569867419846067612186267783135983984693789126357303371994133375\ 61411*c_0101_3^11 + 34435298895217362195271052215845102836771704402\ 8918299790027862201343049542426700180841659076061718/29880353566734\ 9892219721695698674198460676121862677831359839846937891263573033719\ 9413337561411*c_0101_3^10 - 185556349047295846066145655634589493576\ 1814088343516467858868226984373724504085278567263232013690791/29880\ 3535667349892219721695698674198460676121862677831359839846937891263\ 5730337199413337561411*c_0101_3^9 + 5441261940297945686189051108009552711571579175804707212581518913987\ 665710482168178824100906837644987/149401767833674946109860847849337\ 09923033806093133891567991992346894563178651685997066687807055*c_01\ 01_3^8 + 4009184892825950273958922169336772095530750534687723566942\ 8002077671737556520558150197609770106830/29880353566734989221972169\ 5698674198460676121862677831359839846937891263573033719941333756141\ 1*c_0101_3^7 - 5081771789907971856048982654190679035389748968360901\ 19916684170364273702649687690970137330506689304/2988035356673498922\ 1972169569867419846067612186267783135983984693789126357303371994133\ 37561411*c_0101_3^6 + 130627546258374803776051110026577246876125771\ 4977073499026048708215100414215652874403005957701823296/14940176783\ 3674946109860847849337099230338060931338915679919923468945631786516\ 85997066687807055*c_0101_3^5 + 365934569546012287381827143930944164\ 403090961073562934263803368385239967819400857435854787911365026/149\ 4017678336749461098608478493370992303380609313389156799199234689456\ 3178651685997066687807055*c_0101_3^4 - 3192198935304409021617262246207625245546898689206760327217118027335\ 25622284927549004514332885004342/1494017678336749461098608478493370\ 9923033806093133891567991992346894563178651685997066687807055*c_010\ 1_3^3 - 10932607843307944382544056248072896704500217159892841285626\ 861243663435192329448189301074068587566/149401767833674946109860847\ 8493370992303380609313389156799199234689456317865168599706668780705\ 5*c_0101_3^2 + 2007121577590087623507651849901172276189746388645377\ 6940655736572157683517083938970586557577165732/14940176783367494610\ 9860847849337099230338060931338915679919923468945631786516859970666\ 87807055*c_0101_3 + 62330732924430151808278889075436862553667746998\ 790065609459802909262425101567368124839818114684/149401767833674946\ 1098608478493370992303380609313389156799199234689456317865168599706\ 6687807055, c_0101_0 + 301735511019819458075592362165481780701655323256942533511189\ 9851504657801102939558677891569/44105144899827285265944632416997431\ 43128596000807076686541888276227951578984379168998845075*c_0101_3^2\ 9 + 160716554107396570585793209010234641559022900030303008756031571\ 48045723736661294264913437147/4410514489982728526594463241699743143\ 128596000807076686541888276227951578984379168998845075*c_0101_3^28 - 3034605489727275228197490416758246974962866383379395499849560982271\ 52405407143625492899075664/4410514489982728526594463241699743143128\ 596000807076686541888276227951578984379168998845075*c_0101_3^27 + 1239632397514982624707343635495549884619412038420974064532468477373\ 671050007394251722797843444/441051448998272852659446324169974314312\ 8596000807076686541888276227951578984379168998845075*c_0101_3^26 + 1399029027055845731889515628079882685857920483109874105946600327526\ 476836739754312192843155131/441051448998272852659446324169974314312\ 8596000807076686541888276227951578984379168998845075*c_0101_3^25 - 1637835599979257924462864348217813304379521945691386621115023493525\ 5222782762114137249632036126/44105144899827285265944632416997431431\ 28596000807076686541888276227951578984379168998845075*c_0101_3^24 + 8165337124113001365918097379331125721797939725768398565692895199077\ 5757925291569401628437689767/44105144899827285265944632416997431431\ 28596000807076686541888276227951578984379168998845075*c_0101_3^23 - 3799159093081153279249816952228117015840988760676112058355057431127\ 5056972901623146157447019082/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^22 + 9792920876279801136587775130330150987638598498698597664729453814371\ 3058560142827185479308957038/44105144899827285265944632416997431431\ 28596000807076686541888276227951578984379168998845075*c_0101_3^21 + 1175608328857474723066148153648114289136639288905953516216984029180\ 9444797632135741145050261673/33927034538328680973803563397690331870\ 2199692369775129733991405863688582998798397615295775*c_0101_3^20 - 2192906143739283759687189307379745368400806126561347830768739295979\ 73634453833742437693300421623/4410514489982728526594463241699743143\ 128596000807076686541888276227951578984379168998845075*c_0101_3^19 + 7057444087218128121260942304455471316597239862786329240211447764795\ 50023415762481091211173431634/4410514489982728526594463241699743143\ 128596000807076686541888276227951578984379168998845075*c_0101_3^18 - 1373239283400347247399003820345132240993902998946843034175405884350\ 596370187414840205033062647781/441051448998272852659446324169974314\ 3128596000807076686541888276227951578984379168998845075*c_0101_3^17 + 99207832960095057138597667052785445708774106868212812123714596366\ 9142747607969451908603344302932/44105144899827285265944632416997431\ 43128596000807076686541888276227951578984379168998845075*c_0101_3^1\ 6 - 455629259115436106206927907131196928399881448698411590926226324\ 866915402672280146752243952487496/441051448998272852659446324169974\ 3143128596000807076686541888276227951578984379168998845075*c_0101_3\ ^15 - 2122367889574620973536945871546925619868249705385381333886018\ 23476073675682337052471405682463997/4410514489982728526594463241699\ 743143128596000807076686541888276227951578984379168998845075*c_0101\ _3^14 + 11214859786088506183538496909285274394916128358568313019336\ 99684328813696092063063332727784667121/4410514489982728526594463241\ 699743143128596000807076686541888276227951578984379168998845075*c_0\ 101_3^13 - 10666292103582663538263863524837878622176079463527814088\ 14771555337055874184696079608032707873549/4410514489982728526594463\ 241699743143128596000807076686541888276227951578984379168998845075*\ c_0101_3^12 + 13019249508094848474391772767386923504297283692493122\ 4925810340409387045590085253197919893469461/88210289799654570531889\ 2648339948628625719200161415337308377655245590315796875833799769015\ *c_0101_3^11 + 2770524685600835885028301440410796929949775373538215\ 0185169091613945711987397514004593104665477/88210289799654570531889\ 2648339948628625719200161415337308377655245590315796875833799769015\ *c_0101_3^10 - 7334472969998734358466751037640697625783302716654377\ 57123793445765634720912112260119569617144407/4410514489982728526594\ 4632416997431431285960008070766865418882762279515789843791689988450\ 75*c_0101_3^9 + 423790111649575255003808602090935538524281265631157\ 627849923234001310753442184747544027004085789/441051448998272852659\ 4463241699743143128596000807076686541888276227951578984379168998845\ 075*c_0101_3^8 + 36482308960941088951088073862246750016893959207063\ 34933539733423046645262700367676601142737372/8821028979965457053188\ 9264833994862862571920016141533730837765524559031579687583379976901\ 5*c_0101_3^7 - 2004508812100146928621004786629448740701410933099016\ 88208762626310829471781643034421050107055986/4410514489982728526594\ 4632416997431431285960008070766865418882762279515789843791689988450\ 75*c_0101_3^6 + 101323444425285839700492596174715084344427113246361\ 764053352714150692604622417018364990812949556/441051448998272852659\ 4463241699743143128596000807076686541888276227951578984379168998845\ 075*c_0101_3^5 + 29918259292456395417791171713341142676603456056736\ 888967939510169132646235562289054784547615724/441051448998272852659\ 4463241699743143128596000807076686541888276227951578984379168998845\ 075*c_0101_3^4 - 24676785127686868769499669373419277442770044300422\ 432136400938529403177778236880392146604804243/441051448998272852659\ 4463241699743143128596000807076686541888276227951578984379168998845\ 075*c_0101_3^3 - 10342533447251066464945559456547322376974621360393\ 86166086351455287997599674110932792008607989/4410514489982728526594\ 4632416997431431285960008070766865418882762279515789843791689988450\ 75*c_0101_3^2 + 306357691537136032294277962347000092751637900263635\ 495667530195867802135097777783254275532736/882102897996545705318892\ 648339948628625719200161415337308377655245590315796875833799769015*\ c_0101_3 + 22259068853843010972464994445943218282796975612059950268\ 15017205616319837479538016312796133/4410514489982728526594463241699\ 743143128596000807076686541888276227951578984379168998845075, c_0101_2 - 162274259005362235889997874461855851581399776637866735880004\ 796499671994337035967427918434/882102897996545705318892648339948628\ 625719200161415337308377655245590315796875833799769015*c_0101_3^29 - 1694361071448614512750432250126615451851394212060158950338360273844\ 62973655158513343456981/1764205795993091410637785296679897257251438\ 40032283067461675531049118063159375166759953803*c_0101_3^28 + 1642157433383329539745347748393053247368122362084246215275350667767\ 3470307592537777524104574/88210289799654570531889264833994862862571\ 9200161415337308377655245590315796875833799769015*c_0101_3^27 - 6833812530233577692676731366542562300028598871051978824752838627588\ 2707679934837307078809176/88210289799654570531889264833994862862571\ 9200161415337308377655245590315796875833799769015*c_0101_3^26 - 6918173759507814261543367931203946504269429870181927194430233507118\ 9318603262803042470402938/88210289799654570531889264833994862862571\ 9200161415337308377655245590315796875833799769015*c_0101_3^25 + 1785388637257591463939255491490010772207777588782993690855481038468\ 94033328301870646890101065/1764205795993091410637785296679897257251\ 43840032283067461675531049118063159375166759953803*c_0101_3^24 - 4479246105196982989793039353509902807677206595963820378440745567120\ 619736446571133846113103762/882102897996545705318892648339948628625\ 719200161415337308377655245590315796875833799769015*c_0101_3^23 + 1062813980804013568795376803203155255159711584448428695243810209819\ 0297837482664585402650414596/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^22 - 6086887799050302591782626421302859382726343692603118859566973993945\ 588545703598048876874561176/882102897996545705318892648339948628625\ 719200161415337308377655245590315796875833799769015*c_0101_3^21 - 6344655797677500337889068308804525593487350008324540087287442894303\ 67370942686192487062434772/6785406907665736194760712679538066374043\ 9938473955025946798281172737716599759679523059155*c_0101_3^20 + 1292523345321749973359015789264990997596510492933242687983097058524\ 5639144191078635648081907226/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^19 - 3879670991119648760232893998568089795109140533716130273161241777359\ 1736829559197124868506846672/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^18 + 7735919410801827606749793988307042078029192978749462562404443347439\ 3547912471034329080483038237/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^17 - 5891237551613817521208282658799508996135715327395212128997490707882\ 6774093307992342022767608663/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^16 + 5189652895098319993186738827923802461574356580335224464635880267520\ 418344218678363058277984567/176420579599309141063778529667989725725\ 143840032283067461675531049118063159375166759953803*c_0101_3^15 + 1177182545698891330135004992210578501351562497404111467598708873208\ 6813385036674984120479438812/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^14 - 6357856616516459143645099142268504866488826184392278050240622747399\ 1048738613350077546929557692/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^13 + 1276369162972962677322496701067131493015029402899351663820847009125\ 2032372801028935737631181139/17642057959930914106377852966798972572\ 5143840032283067461675531049118063159375166759953803*c_0101_3^12 - 7674809688247804040911520263163377406326368501653602313639310790543\ 796685047332661786248873870/176420579599309141063778529667989725725\ 143840032283067461675531049118063159375166759953803*c_0101_3^11 - 1241900790326511952802358355247625007063310971275145116047924481717\ 942949387027734965292162523/176420579599309141063778529667989725725\ 143840032283067461675531049118063159375166759953803*c_0101_3^10 + 4222717408465436966532621535039969127327556835008628939437406986333\ 7982445714383562873746460962/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^9 - 5363676408696027641870075055336196441396853045388529114463312522736\ 202764437730696441582069930/176420579599309141063778529667989725725\ 143840032283067461675531049118063159375166759953803*c_0101_3^8 - 3355535134855232327442009378092416448544100036425712485423734465841\ 5320584810958629402076245/17642057959930914106377852966798972572514\ 3840032283067461675531049118063159375166759953803*c_0101_3^7 + 1158765048422577025425874093087901248485299400127367744854743749986\ 5913419705040982826723597926/88210289799654570531889264833994862862\ 5719200161415337308377655245590315796875833799769015*c_0101_3^6 - 6558544015453478373214670659385672842666740784889402731599269607935\ 223523678540650863231383434/882102897996545705318892648339948628625\ 719200161415337308377655245590315796875833799769015*c_0101_3^5 - 1429244225737816409753233381464785201367169571688341783351218964766\ 555973674916050418566820397/882102897996545705318892648339948628625\ 719200161415337308377655245590315796875833799769015*c_0101_3^4 + 1618514523041672839138031101818583482458432263655438405889524137952\ 143591883378889908828203994/882102897996545705318892648339948628625\ 719200161415337308377655245590315796875833799769015*c_0101_3^3 + 1820646063037433377075349328581709557628435247507978144427634656423\ 3913980556943631541105362/88210289799654570531889264833994862862571\ 9200161415337308377655245590315796875833799769015*c_0101_3^2 - 1053528838861740057536942765793785174197444992285050481086706027947\ 15361489543705490392657276/8821028979965457053188926483399486286257\ 19200161415337308377655245590315796875833799769015*c_0101_3 - 1992472978238499913119917985357621997219849391653216534602765629515\ 20756018995047013783141/1764205795993091410637785296679897257251438\ 40032283067461675531049118063159375166759953803, c_0101_3^30 + 6*c_0101_3^29 - 97*c_0101_3^28 + 343*c_0101_3^27 + 742*c_0101_3^26 - 5122*c_0101_3^25 + 23396*c_0101_3^24 - 44641*c_0101_3^23 - 10368*c_0101_3^22 + 73432*c_0101_3^21 - 38864*c_0101_3^20 + 184030*c_0101_3^19 - 296601*c_0101_3^18 + 18696*c_0101_3^17 + 77020*c_0101_3^16 - 175775*c_0101_3^15 + 325750*c_0101_3^14 - 101659*c_0101_3^13 - 28108*c_0101_3^12 + 195600*c_0101_3^11 - 214533*c_0101_3^10 - 24573*c_0101_3^9 + 104348*c_0101_3^8 - 63724*c_0101_3^7 - 11618*c_0101_3^6 + 33478*c_0101_3^5 - 1819*c_0101_3^4 - 6102*c_0101_3^3 + 337*c_0101_3^2 + 367*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB