Magma V2.19-8 Tue Aug 20 2013 16:19:11 on localhost [Seed = 3515894953] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3309 geometric_solution 6.44153978 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.432280393620 0.546203663421 0 3 5 4 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.651429285475 0.817472650271 3 0 4 5 3201 0132 3201 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 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.651429285475 0.817472650271 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473910578014 1.245983534160 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 -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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.102853107017 0.804689036938 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933759643789 0.728040194717 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 1 -1 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 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.677752246211 0.328568627038 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 7671127519810045044860334989394940587482970298875935058497338005187\ 26520/6278971119875539049383536306497847981585168913871749294358463\ 49336787*c_0101_6^30 - 10187476116038178608314120401806851554056514\ 052149312236203307079770323347/627897111987553904938353630649784798\ 158516891387174929435846349336787*c_0101_6^29 - 3319801147471095048460759944950543689735163043942087208359944313771\ 0099488/62789711198755390493835363064978479815851689138717492943584\ 6349336787*c_0101_6^28 + 293124979628747004768938624971785787604875\ 934829056722870334718764318317011/627897111987553904938353630649784\ 798158516891387174929435846349336787*c_0101_6^27 + 4317665695260021532299568389467632927858692213525065402722763307977\ 24270145/6278971119875539049383536306497847981585168913871749294358\ 46349336787*c_0101_6^26 - 28830608123113036720284097394375959220005\ 23749062201067080092009805356832951/6278971119875539049383536306497\ 84798158516891387174929435846349336787*c_0101_6^25 - 4361709164111602239265237521702063308069072707618890813096095873052\ 708669289/627897111987553904938353630649784798158516891387174929435\ 846349336787*c_0101_6^24 + 1562419590678393997202404935061505183202\ 5682617019446576073345131508541004246/62789711198755390493835363064\ 9784798158516891387174929435846349336787*c_0101_6^23 + 3208609256790155221263665917418160776834578360538074237720621654120\ 5025979554/62789711198755390493835363064978479815851689138717492943\ 5846349336787*c_0101_6^22 - 467701930088896320597164337425955336867\ 23714410860156121965780873316610820794/6278971119875539049383536306\ 49784798158516891387174929435846349336787*c_0101_6^21 - 1432509101152030506283436245847990945716274665328797544393093335523\ 71279644613/6278971119875539049383536306497847981585168913871749294\ 35846349336787*c_0101_6^20 + 47248772588029927168861044384874779582\ 393021102872099210211847013492051318450/627897111987553904938353630\ 649784798158516891387174929435846349336787*c_0101_6^19 + 3627271918708196957268619643511455949627565298709045120060363640688\ 06692567351/6278971119875539049383536306497847981585168913871749294\ 35846349336787*c_0101_6^18 + 10514593446190129882276604268597004219\ 1823584155211916519078579142414415235899/62789711198755390493835363\ 0649784798158516891387174929435846349336787*c_0101_6^17 - 5283689806666924830926502737407959437322653889353059006883035842241\ 40241607142/6278971119875539049383536306497847981585168913871749294\ 35846349336787*c_0101_6^16 - 39149034391681014423791276512256175533\ 6801457752394420399494381563045510387718/62789711198755390493835363\ 0649784798158516891387174929435846349336787*c_0101_6^15 + 4295618023681224617013179475804092239223401808038624457168271183860\ 22323693654/6278971119875539049383536306497847981585168913871749294\ 35846349336787*c_0101_6^14 + 54460695897785857117880627065290874471\ 4594629667861753393728841021354520376130/62789711198755390493835363\ 0649784798158516891387174929435846349336787*c_0101_6^13 - 1498659208388465428276728915682053238345069908600190584270806112850\ 00752770569/6278971119875539049383536306497847981585168913871749294\ 35846349336787*c_0101_6^12 - 41241503310336319931475058023115119257\ 0474208084318567942975577312491750891248/62789711198755390493835363\ 0649784798158516891387174929435846349336787*c_0101_6^11 - 3683758073903284449172859311092004163242825873602505283009697076955\ 1366837365/62789711198755390493835363064978479815851689138717492943\ 5846349336787*c_0101_6^10 + 174838197981021780008191318854246091593\ 172163662829700968062251016754587237349/627897111987553904938353630\ 649784798158516891387174929435846349336787*c_0101_6^9 + 5512085354295734889931870560877190076992248363889440248733446163668\ 1409120475/62789711198755390493835363064978479815851689138717492943\ 5846349336787*c_0101_6^8 - 3596896352319836501056554024867618315225\ 5543454120798978642454192736281439329/62789711198755390493835363064\ 9784798158516891387174929435846349336787*c_0101_6^7 - 1972520157142573169171467446319971986347168743462224952524057856558\ 1893970434/62789711198755390493835363064978479815851689138717492943\ 5846349336787*c_0101_6^6 + 1246436241574685970154921650300666201994\ 852880989346305444459889912879442253/627897111987553904938353630649\ 784798158516891387174929435846349336787*c_0101_6^5 + 2557839298533103253196056990487358866694176045125963301806852489854\ 329690840/627897111987553904938353630649784798158516891387174929435\ 846349336787*c_0101_6^4 + 51955272080163169395074968120906686497780\ 0688306000845830539273453724327775/62789711198755390493835363064978\ 4798158516891387174929435846349336787*c_0101_6^3 - 1189383716533101975645160127990483960022680935262237744510827109301\ 8283889/62789711198755390493835363064978479815851689138717492943584\ 6349336787*c_0101_6^2 - 2018815378656212275840198374153797801879787\ 8899415625631221891945965810428/62789711198755390493835363064978479\ 8158516891387174929435846349336787*c_0101_6 - 2728265929390128798600240469005700692349772654947096312972402590413\ 282056/627897111987553904938353630649784798158516891387174929435846\ 349336787, c_0011_0 - 1, c_0011_4 + 157496052214306798757638952379990273291075015113086543478791\ 03900322/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^30 - 209144310731228357311275004620815237362348\ 817202061962018746035297880/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^29 - 6829992359247801256328712754425882353006947797240157203721869663190\ 37/1184711532051988499883686095565631694638711115824858357426125187\ 4279*c_0101_6^28 + 603367057037717237088405189291827267098348735407\ 1401557832672575745309/11847115320519884998836860955656316946387111\ 158248583574261251874279*c_0101_6^27 + 8921292203819001222278756310229788525425168643101514822518700949634\ 689/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^26 - 59642562116164582936372017458231229677166714404\ 508711825065599873435704/118471153205198849988368609556563169463871\ 11158248583574261251874279*c_0101_6^25 - 9023624868986885551718422044356556634327861225054717157168991501490\ 8544/11847115320519884998836860955656316946387111158248583574261251\ 874279*c_0101_6^24 + 3250866136908446961950951196000511146421322588\ 00473451482879546979698868/1184711532051988499883686095565631694638\ 7111158248583574261251874279*c_0101_6^23 + 6653337606913433557383242975612696487286937842397497026285926073562\ 39158/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^22 - 982788786516539688317490732789567926828512575\ 099467820914609134851990830/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^21 - 2987711820216032336325211029473825507360747107792858117932741390922\ 967803/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^20 + 10345817145441257050716461420261402993841281\ 41818006661492411849206411830/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^19 + 7645670143520863186958095489598695678429841184062241870486102624527\ 965333/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^18 + 21008694028577864486038130589130431572683650\ 49215651272220864065616446564/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^17 - 1131504732428562382421705188674422640222284141874661729073274243162\ 9884756/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^16 - 8176731550087962843309177600404905396648513\ 542810291596520293411650715116/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^15 + 9439035532579626886112361003711455550179063807386786348095653302657\ 535681/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^14 + 11625083769590091507442133827136728390974440\ 030854517873168126566075655103/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^13 - 3533371620775030437114346477022825267570847066238000834657445321828\ 482435/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^12 - 90023967413294239210131386570804569343292959\ 63190489549631951652522405725/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^11 - 5996562534249020616324341542985607380195591796470434255997474331246\ 32076/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^10 + 393323155690478957594716786332032365087322381\ 9047058647822990007337317106/11847115320519884998836860955656316946\ 387111158248583574261251874279*c_0101_6^9 + 1135187991363869019595841918701303151808889682189972001410994348578\ 465263/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^8 - 857862956502684737276683641255147911377323512\ 481646299599124139622057104/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^7 - 4236044642724285673571683089293709349847225634591672992575448450561\ 99403/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^6 + 4463891463702948040249182651325818864745554538\ 4272462133164301049447143/11847115320519884998836860955656316946387\ 111158248583574261251874279*c_0101_6^5 + 5720697176284239463384157272075402211512925780438846637176406899369\ 9846/11847115320519884998836860955656316946387111158248583574261251\ 874279*c_0101_6^4 + 99277359552539462109569605607072170729989925541\ 58781940781333900107649/1184711532051988499883686095565631694638711\ 1158248583574261251874279*c_0101_6^3 - 5132046723871574727542033333472427379966636526649485086512105162341\ 98/1184711532051988499883686095565631694638711115824858357426125187\ 4279*c_0101_6^2 - 4393664637503440924653146034632934737795146097864\ 82657393808127768154/1184711532051988499883686095565631694638711115\ 8248583574261251874279*c_0101_6 - 510876565721530833295678367984955\ 08802451292743570644472580976365644/1184711532051988499883686095565\ 6316946387111158248583574261251874279, c_0101_0 - 231054793088746449888619662987967265765926900920538277627069\ 945525854/118471153205198849988368609556563169463871111582485835742\ 61251874279*c_0101_6^30 + 30919314708373250377048134963660118355760\ 51483659075081221808277598272/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^29 + 9679117815814310774029162309928201993631567695969104359631175248327\ 471/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^28 - 89187035313398571304161036470962031540770475966\ 043898846335161899348334/118471153205198849988368609556563169463871\ 11158248583574261251874279*c_0101_6^27 - 1207550815405678218557169241943896378580217356291419324904056526590\ 30285/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^26 + 878171545363467218945313716445376176179773715\ 964101781502455801478444907/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^25 + 1221991345853706733036679295574414652602050361566769249998603178567\ 032072/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^24 - 48057359037528373898443547696603285495998453\ 82708806498860192473263300840/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^23 - 9149961200503954377487591514190794849929628886710441470671633732437\ 036920/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^22 + 14879841031806920552625841170054187690596972\ 028008773859755637003292584070/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^21 + 4142621647541642349175023249231250961146392591372595999000417132792\ 2005823/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^20 - 1798189209596696675578476510462740902694805\ 8221104512101196492025871427734/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^19 - 1064340483365603722968136386960388408300546948505140482420918880843\ 39446455/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^18 - 216066914759963468572879089540801529574062\ 61148115813032487800900840426954/1184711532051988499883686095565631\ 6946387111158248583574261251874279*c_0101_6^17 + 1586780902949438772401679542037309116393084330855236830355494595291\ 46767868/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^16 + 101920645779361916180535889565340131577129\ 766508535117967483182708794581222/118471153205198849988368609556563\ 16946387111158248583574261251874279*c_0101_6^15 - 1355181787924075893158140962532459980633290099080420999790616467604\ 09242712/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^14 - 148647693323317704270405041008616602693258\ 679629230204210330265259934251579/118471153205198849988368609556563\ 16946387111158248583574261251874279*c_0101_6^13 + 5620018102234588416498750269414544406860360874987043881909650667978\ 0221728/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^12 + 1156037958905315738393630087924842602566523\ 32721041974236244994410709317301/1184711532051988499883686095565631\ 6946387111158248583574261251874279*c_0101_6^11 + 1597447948161519830326194323874103977371496803226236736753990040364\ 841544/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^10 - 50348052885027168113799240706484044579555199\ 908027059831441736311122818359/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^9 - 1208575888291805121705573224355083512653874894152284602777826321462\ 8351118/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^8 + 10897975652230445497320616902268316632097685\ 532570673845789576154035300163/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^7 + 4820313579125316962340376275225873862126973948617143632814460274901\ 942477/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^6 - 580635624195496670647090030971455011258472738\ 578242045160450576242264440/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^5 - 6616823765922382709083199581243637385670516791394392176295673913729\ 04810/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^4 - 1167349104211725568406654663549719379502032134\ 38965770677774509963691387/1184711532051988499883686095565631694638\ 7111158248583574261251874279*c_0101_6^3 + 6010699069288240216162979623078940767178170749386065375119012869212\ 805/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^2 + 503675011498344626288057836424955407389224922671\ 7669316447018894320899/11847115320519884998836860955656316946387111\ 158248583574261251874279*c_0101_6 + 5837910316119953469707477423767337750875752712468182071996274739308\ 57/1184711532051988499883686095565631694638711115824858357426125187\ 4279, c_0101_1 - 338265978054898839327325327545897092448570363055615556819632\ 176774575/118471153205198849988368609556563169463871111582485835742\ 61251874279*c_0101_6^30 + 45057651385791885540352913320124614653578\ 50100967162616596889184025731/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^29 + 1445747039375445764076032160244971526763972008004531593499629676252\ 1969/11847115320519884998836860955656316946387111158248583574261251\ 874279*c_0101_6^28 - 1298091710663875177899435266725310542352239206\ 22506055796779573212825721/1184711532051988499883686095565631694638\ 7111158248583574261251874279*c_0101_6^27 - 1851475471068382886117576027620732166947816385177930248666293461491\ 53770/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^26 + 127799067099662101237565688576199403032770547\ 2148244671040354206484183450/11847115320519884998836860955656316946\ 387111158248583574261251874279*c_0101_6^25 + 1871661424521327726895882929513140489665702544215592135273073046829\ 442892/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^24 - 69570893372800639403228890867506293355297059\ 53791697943666059214237455730/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^23 - 1386397459117038473985412630412444790430164125881893274013219933808\ 1753356/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^22 + 2113477435278063125938896369778346465992864\ 1480313652265583188963888641591/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^21 + 6226521749987149683033300889839038162521448365237464034557671207098\ 9738983/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^20 - 2316863094746389012731010821798180105762253\ 9504616072832317859070879413286/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^19 - 1587249184199990560237192338151751762250413295817049088285296614960\ 53572523/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^18 - 403165348185396631526425322528679310366284\ 55642988371589423511629307630696/1184711532051988499883686095565631\ 6946387111158248583574261251874279*c_0101_6^17 + 2337280571334944298071320058124571000241214220592288941450528600156\ 34676057/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^16 + 163451137464417814744001276937230971703552\ 694686744744208916749927471516467/118471153205198849988368609556563\ 16946387111158248583574261251874279*c_0101_6^15 - 1944207412663431932645291394656468137813240170291896999433841245854\ 90733862/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^14 - 231930779429468127634803022251091767941842\ 599642200354425483869588640544428/118471153205198849988368609556563\ 16946387111158248583574261251874279*c_0101_6^13 + 7372287358326098501582075006059509807028261167065888627799559357575\ 4717207/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^12 + 1778520634082592305294293919468062202831523\ 11242759285919513364378827228809/1184711532051988499883686095565631\ 6946387111158248583574261251874279*c_0101_6^11 + 1014741666806342899041025455695818745716307279000792613581520490744\ 8207698/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^10 - 7645298883757400711732521140258288434471930\ 4383470590932936986576534022753/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^9 - 2154980838762806897724593169565074594584181645993316224408129892775\ 3151185/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^8 + 16161715331695436882778401092899986058914846\ 011552391847610490394235173271/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^7 + 8042726485054318049094964208875452632583885187929426420712283412818\ 605143/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^6 - 715372233824308980046594436552771426181501710\ 671041062041109884956640997/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^5 - 1068931948900146349521484184453413613181183722005685509435714563737\ 222673/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^4 - 203329328475696664133085537953570449202424042\ 976176636340732910098123205/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^3 + 7262519782881557568969553208960338676045361373394771810665599430321\ 677/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^2 + 829608838278831238659025471405949012570498711675\ 5583589748868527418014/11847115320519884998836860955656316946387111\ 158248583574261251874279*c_0101_6 + 1034039584661695892695822702744459315155951190350397298917379001648\ 541/118471153205198849988368609556563169463871111582485835742612518\ 74279, c_0101_2 + 685230620685391564704627307040420933695076510663598126709917\ 75548389/1184711532051988499883686095565631694638711115824858357426\ 1251874279*c_0101_6^30 - 909997096157474417590384313649199187564228\ 244213635550145293908285643/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^29 - 2965464463551854581452949835285523085365822788616977227960554145800\ 715/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^28 + 26182939197688738247881294822852940148994886354\ 242788379014919451562600/118471153205198849988368609556563169463871\ 11158248583574261251874279*c_0101_6^27 + 3855518187346592385854673269237923905101367592033702072584260720540\ 8907/11847115320519884998836860955656316946387111158248583574261251\ 874279*c_0101_6^26 - 2575310037061397431051315814326956871111774700\ 73679462715387477707396088/1184711532051988499883686095565631694638\ 7111158248583574261251874279*c_0101_6^25 - 3892538494565808508221389042116970607459639204760077482262869974120\ 43129/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^24 + 139576221867382705153294844455267165416608068\ 3734301949544180273874049289/11847115320519884998836860955656316946\ 387111158248583574261251874279*c_0101_6^23 + 2862522152234721346102314021567339885396243417143326055199008284780\ 682205/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^22 - 41806823571068299978191261212738458455273921\ 57466326465358725203133544183/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^21 - 1277580347323435484922599118257868962077663766043491756793908176327\ 8481697/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^20 + 4250070974360234013235113278464784624059410\ 257411430158361617741923740690/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^19 + 3233796360792959750740185167704322031478086174676104522295398021118\ 9248793/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^18 + 9245722298704112347358505396401891392166975\ 246779041702070010498832367469/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^17 - 4712392712844952444372483841959211321259080805801767120582317108071\ 4147990/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^16 - 3460129590977182025136615910021511628232827\ 7812978911102106813782835511041/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^15 + 3845354833201747835863405368441052694028388471380068135238979316624\ 0714400/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^14 + 4814676773206073246823389900036805697510545\ 6547562934706808757426405279990/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^13 - 1373326950445948608325714906377796908382706571079503204625806258640\ 9744141/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^12 - 3648144885365582798408143326589350532274646\ 4187251802871543013835717840320/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^11 - 2857628847639172289569782689730875638316418270711115391050605932111\ 380226/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^10 + 15518990396981037699174193003664776087855155\ 667141130414920011703708918488/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^9 + 4651653059661016096928486785853176967680345539516657302402302178183\ 450690/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^8 - 323989380992637459293402289453082721420301962\ 3109669314490617951572285852/11847115320519884998836860955656316946\ 387111158248583574261251874279*c_0101_6^7 - 1675819987791209033068461020889332922032684465094698991551088030607\ 039277/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^6 + 134972141267408350731403211908209019065800294\ 610988087877538541000227754/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^5 + 2184979436659094446576803512824900295371435243856280644318645726362\ 02421/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^4 + 4193685981159093874288474398992151176258134881\ 2133065581927252100702000/11847115320519884998836860955656316946387\ 111158248583574261251874279*c_0101_6^3 - 1462375557353452429761085762855160657218373659236203279440387925274\ 153/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^2 - 173412196770755934148020334132675075081299308006\ 1519854294902913529140/11847115320519884998836860955656316946387111\ 158248583574261251874279*c_0101_6 - 2117445380653266907116334084804596361888995686672861974400174707309\ 79/1184711532051988499883686095565631694638711115824858357426125187\ 4279, c_0101_5 + 107416449950086572627126692019089354379630552043035457492299\ 811918756/118471153205198849988368609556563169463871111582485835742\ 61251874279*c_0101_6^30 - 14355769130262581433947603583107148003680\ 33458798128656417171496361235/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^29 - 4526168102891635199181845627771508809654578085134393815067244553441\ 024/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^28 + 41406899541347610546321546886877393711705738281\ 742767283453093255303618/118471153205198849988368609556563169463871\ 11158248583574261251874279*c_0101_6^27 + 5692269264822149355138959819314616104425136433296122105452302159749\ 1952/11847115320519884998836860955656316946387111158248583574261251\ 874279*c_0101_6^26 - 4079095484498174030013971336980313672248145983\ 48916130384045824061322619/1184711532051988499883686095565631694638\ 7111158248583574261251874279*c_0101_6^25 - 5760251582831553251664540254644484579207360492331361087873697488052\ 15075/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^24 + 223034661500415385953994870754106622605009260\ 1259328381170106387815015824/11847115320519884998836860955656316946\ 387111158248583574261251874279*c_0101_6^23 + 4301221198879760581952055001303808439598910112736592110399755394261\ 398372/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^22 - 68759131608166110835134947510356689082918328\ 84927905092025570601416175320/1184711532051988499883686095565631694\ 6387111158248583574261251874279*c_0101_6^21 - 1944319281666802905942318038021327852681570823406990793697345320631\ 5040337/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^20 + 8119099041216409705014302478739811891964660\ 974804686456531841213641652213/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^19 + 4990808399645575184324137642340353069551634556428511934608396542924\ 2707760/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^18 + 1081787588215702007220134861776073733693290\ 2333692902495705284646315894149/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^17 - 7427811313727638148191079123258298176170442622593072045527321997430\ 8514388/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^16 - 4887790087996278888390519205086525293750689\ 5052329706459960701242841530331/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^15 + 6310580507560047748621478605048651989637778657220023381139591374022\ 5354296/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^14 + 7090647940035623389769895137263505955090256\ 5885518915862642673736239107133/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^13 - 2560217017383278073389266178258897756716495717348713959834014812745\ 4295997/11847115320519884998836860955656316946387111158248583574261\ 251874279*c_0101_6^12 - 5507643542534478900456815809608373621298736\ 8227795062580045633115955198704/11847115320519884998836860955656316\ 946387111158248583574261251874279*c_0101_6^11 - 1485964741576585292768472811373857333050657745871869252766495785650\ 470689/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^10 + 23969526594048058163694255707859911634462887\ 877492196077610359328477411275/118471153205198849988368609556563169\ 46387111158248583574261251874279*c_0101_6^9 + 6085516293384140276928864136751624282099359832824509391158593104853\ 008418/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^8 - 516703149006691723136295845510210158570107956\ 4242073827118590619353446722/11847115320519884998836860955656316946\ 387111158248583574261251874279*c_0101_6^7 - 2385454730109614991224018505318924198145185225964200088359385150510\ 322676/118471153205198849988368609556563169463871111582485835742612\ 51874279*c_0101_6^6 + 259413840760166731023949116197549834046997832\ 233093053432394822957313141/118471153205198849988368609556563169463\ 87111158248583574261251874279*c_0101_6^5 + 3251464658462527586863678554677016652909422392077415795716679174705\ 09058/1184711532051988499883686095565631694638711115824858357426125\ 1874279*c_0101_6^4 + 5959962142400938815240440188834372991396215645\ 4342536366422140261405240/11847115320519884998836860955656316946387\ 111158248583574261251874279*c_0101_6^3 - 2504194311864328307771935637920328991546841693656403044923730293577\ 215/118471153205198849988368609556563169463871111582485835742612518\ 74279*c_0101_6^2 - 249982083705281963226752517975490953921330523194\ 1774588639033987154837/11847115320519884998836860955656316946387111\ 158248583574261251874279*c_0101_6 - 3114249704778054913579192546476656760818216631451466738723229729485\ 22/1184711532051988499883686095565631694638711115824858357426125187\ 4279, c_0101_6^31 - 13*c_0101_6^30 - 47*c_0101_6^29 + 370*c_0101_6^28 + 670*c_0101_6^27 - 3601*c_0101_6^26 - 6740*c_0101_6^25 + 18778*c_0101_6^24 + 47543*c_0101_6^23 - 49267*c_0101_6^22 - 203880*c_0101_6^21 + 9309*c_0101_6^20 + 490327*c_0101_6^19 + 269581*c_0101_6^18 - 650863*c_0101_6^17 - 703657*c_0101_6^16 + 417567*c_0101_6^15 + 867555*c_0101_6^14 + 3248*c_0101_6^13 - 593126*c_0101_6^12 - 198718*c_0101_6^11 + 214906*c_0101_6^10 + 135881*c_0101_6^9 - 26879*c_0101_6^8 - 38932*c_0101_6^7 - 5574*c_0101_6^6 + 3804*c_0101_6^5 + 1615*c_0101_6^4 + 174*c_0101_6^3 - 31*c_0101_6^2 - 11*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB