Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 1494795702] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1918 geometric_solution 5.52119073 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.522492399158 0.145204340657 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -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.700821780478 0.348549240289 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 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 -1 1 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.644315894384 1.223291520008 5 2 6 4 0132 0132 0132 3120 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 -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.534444962680 0.514980820431 3 6 2 5 3120 0132 0132 1023 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 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534444962680 0.514980820431 3 5 5 4 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.029757824688 0.934906578505 6 4 6 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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.741299468918 0.577523760106 ==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_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_1'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_3, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 4101193157955291817809824343248870586818114964159294162697316515877\ 06/6705917273115203340996820327140856186328035673181535488366142173\ 269*c_1001_3^24 + 6694485552497449704011177436953814032123667437920\ 346255916437202534969/670591727311520334099682032714085618632803567\ 3181535488366142173269*c_1001_3^23 - 4148541921812803255583988719445674236133191914190690150516777381895\ 1656/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^22 - 13228944443753628752852885076233172636412594624\ 9407220232932756141063568/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^21 - 3524783243574818538706222781806926838259883772154031674561850050395\ 84778/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^20 + 3863574984846259904349871229982122570529630582\ 126364451155677335644722441/670591727311520334099682032714085618632\ 8035673181535488366142173269*c_1001_3^19 + 2264835952706401143659157645415922229944920382344829974821911810813\ 429851/670591727311520334099682032714085618632803567318153548836614\ 2173269*c_1001_3^18 - 195565041717568239590426334956372101609361938\ 24371452214857419001710852465/6705917273115203340996820327140856186\ 328035673181535488366142173269*c_1001_3^17 - 1366843946973480343789476213884524995594064331320795034833319751955\ 1197695/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^16 + 33275241961370403043385909999802394929110611\ 805222024175358171293249705298/670591727311520334099682032714085618\ 6328035673181535488366142173269*c_1001_3^15 + 5925681131348218841845523642242799504110256813804592276392704657700\ 8309662/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^14 - 36399473093069267884180220796024343344872538\ 50089391955138600978475424028/6705917273115203340996820327140856186\ 328035673181535488366142173269*c_1001_3^13 - 9346490424353809185326827059996535587283682518257897194674034536686\ 8095807/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^12 - 59809777817087904393350696798873920983565003\ 914705064956818243033873307015/670591727311520334099682032714085618\ 6328035673181535488366142173269*c_1001_3^11 + 1648196281963504289108003740716996925579705460394824590307347419055\ 9022373/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^10 + 70904052223446903605614629433970354715707754\ 949665688374457447895311035119/670591727311520334099682032714085618\ 6328035673181535488366142173269*c_1001_3^9 + 7189265592650391428465382169848371058445998951777141067827221612383\ 6502657/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^8 - 273921835022544698500734599679195027909711409\ 70930999000242541241382366190/6705917273115203340996820327140856186\ 328035673181535488366142173269*c_1001_3^7 - 5417647818757308250394986859951692398988459009642864778646644907154\ 4473099/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^6 + 267998328169446408214229248059657833490838144\ 5490651727523443011169836448/67059172731152033409968203271408561863\ 28035673181535488366142173269*c_1001_3^5 + 1268799914799807343976894708122025872959581233686827540628733213468\ 1593871/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^4 + 244182706332091167226536403198848022517711910\ 71278912767759486666302115/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^3 - 9664934789606311722332744617242923783708083274672269195437256993825\ 44934/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^2 - 56360843827403999669101233103056720193932000969\ 13962220919368886049930/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3 + 1857259084521186118517764023592864515476127460718223284188217688291\ 7747/67059172731152033409968203271408561863280356731815354883661421\ 73269, c_0011_0 - 1, c_0011_1 - 186097536579243970889803699792684257735920883652397557759904\ 2218443/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^24 - 31708507858684281733454785340455803610196783\ 872560918676211464138717/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^23 + 1639859458351231742337659044030814575193721700349448260532053706592\ 31/6705917273115203340996820327140856186328035673181535488366142173\ 269*c_1001_3^22 + 6894464719085560274311000494932637552070845284538\ 16308144457493661088/6705917273115203340996820327140856186328035673\ 181535488366142173269*c_1001_3^21 + 2208436593156302521134436287109806096064562925752720260407690501671\ 682/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^20 - 152733194965957939641239338299388025179811333816\ 80946266837642126021088/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^19 - 1877396645034447672007672827096284495728667974151828412157729054964\ 5677/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^18 + 64375711641568670821547373424986730930695568127\ 508154111799375489069377/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^17 + 8325204377593633826094067949228447467484815923762575759332274909338\ 0330/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^16 - 57514835241727756222484827289717925040754459739\ 373850102796179994262253/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^15 - 2120020883222775719811528159328158642263999393018253297988289795826\ 92369/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^14 - 1025170613797614449946935861999598869399387563\ 06770652988516078725838336/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^13 + 1991702532893849583992162753229575047301661252567517695347511530334\ 60421/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^12 + 2022022472254607548317301700748444402033007634\ 71532860796031149711346536/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^11 + 6204713777610484489042749490935578438461396462673411627015442762397\ 9092/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^10 - 11421628040043085708419188346990464492068631766\ 3145995962637304393771289/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^9 - 2195164999768166999497737402823796375750999850622792507442558536874\ 13417/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^8 + 27317179126851918232923730432259982498145763369\ 392356406075774634496575/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^7 + 1302903092164924892338386117960183540626492705273700423973862111425\ 32147/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^6 - 76845619669603132456637311414907675321416443772\ 18975455350370220864729/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^5 - 2809326458414712692898853318037995886819401848365111981985418336075\ 7545/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^4 + 233418862760149226029682052522597589436140098345\ 0431282892222626474078/67059172731152033409968203271408561863280356\ 73181535488366142173269*c_1001_3^3 + 1890223284863214529385462867002698137770161212335352588623405710728\ 778/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^2 - 1373424162770521734695633422969600352512238553937\ 05952225498094895346/6705917273115203340996820327140856186328035673\ 181535488366142173269*c_1001_3 - 2698144801993682017694441184402837\ 5947933001055038139116039640364555/67059172731152033409968203271408\ 56186328035673181535488366142173269, c_0011_4 + 532532841009738304235103823486603775208004307725178386044594\ 0768322/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^24 + 94746637866452366650180818316460498770110967\ 650651795924968823746916/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^23 - 3976219669807563413827030168156182649191234228829721546536687869360\ 68/6705917273115203340996820327140856186328035673181535488366142173\ 269*c_1001_3^22 - 2267168651474039961161775480512974953097799602099\ 129587136531007707335/670591727311520334099682032714085618632803567\ 3181535488366142173269*c_1001_3^21 - 8047680510986064124430961890315917926884668548628740011353771794151\ 848/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^20 + 375194383886808939726194215370155679329792346616\ 69910198246397623485077/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^19 + 8152615155450469306094097647152732071301649128057620987095417290427\ 7405/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^18 - 12085140566036281718608126103944275621945028299\ 0855490668418016370591443/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^17 - 3245138073453621657277219096428582554264213444167081625928607440640\ 69211/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^16 - 8586901377148581244123201979685082710521292442\ 5738394817899579025175109/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^15 + 5234228374859871187868365259344913993786611932760165701686100223676\ 84851/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^14 + 6810506761348322191035065694247734325270851684\ 36609118919322191971210370/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^13 - 2905277326021033528049689315838676921556281462850323187786724900330\ 0327/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^12 - 56026431595325794593521554419259229446405177361\ 6788043322591304334458342/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^11 - 5974294859929092377972616827861115599454160689850958305903698360561\ 59603/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^10 - 1537649102976780409525300078688884688074800565\ 79453423666310635140321393/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^9 + 4774623048777930879721429374360918835310033927415793648756374948332\ 20245/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^8 + 26936462473649872026884432605846264220419696132\ 2559249808218516529731897/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^7 - 1446256224851487446389066584521228917299387747791759547109550092147\ 45948/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^6 - 69925397785089590972875083657183577505137043639\ 542542823737112635165404/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^5 + 2064740422295539511110748459122380878553488228445935180368984633271\ 2877/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^4 + 470702599460638928617459720606197480102549940733\ 0299430309456066703051/67059172731152033409968203271408561863280356\ 73181535488366142173269*c_1001_3^3 - 9899963422326007995022593611464213139148104107681230806600902514662\ 71/6705917273115203340996820327140856186328035673181535488366142173\ 269*c_1001_3^2 - 61328918939537968449221782141486390694600516947461\ 766909937234822781/670591727311520334099682032714085618632803567318\ 1535488366142173269*c_1001_3 + 470637287076894802805642730426544950\ 5087603185001498547521075346595/67059172731152033409968203271408561\ 86328035673181535488366142173269, c_0101_0 + 233654196425741324282605736102436433446575538806786563907106\ 7356152/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^24 + 40643471212766279501098423480409167440030646\ 723826115480234503309595/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^23 - 1910157884785530490197627244543447387445225305824111786850689440483\ 87/6705917273115203340996820327140856186328035673181535488366142173\ 269*c_1001_3^22 - 9264126874636580188327718948072744637892353485330\ 14311166556611746225/6705917273115203340996820327140856186328035673\ 181535488366142173269*c_1001_3^21 - 3132314673325384137816906698066685252337265784945672848765620300663\ 072/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^20 + 178861765635966728009816320779883244220081551999\ 49438104198841793131229/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^19 + 2931599660687750397585877182279117228037595616382533907299766646343\ 2366/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^18 - 67581873353042172340100365828782573641549298597\ 652401024001269944865334/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^17 - 1221551943566328887441431403077272738143873620236762658860681448110\ 14514/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^16 + 1992302912446795491109986749228919006845151592\ 6038974477244868986259277/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^15 + 2478248868776233861689735165811564200238035785270380577643613663393\ 38354/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^14 + 2088611450329124224360281161421818818043943017\ 68087052131749065921049544/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^13 - 1361684707417047289518544421686586090970512978929290480491472551093\ 72244/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^12 - 2477623608046978064131484570434474075086847316\ 40757375169406349000501476/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^11 - 1652002902598724615040971941761406249797797516047675963721658707030\ 08809/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^10 + 4157805964075214826558583068952765133155998708\ 5405165548521496238198244/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^9 + 2424851887991392315774086203013840348042089507177536515375343623491\ 39502/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^8 + 37319590413647115106409829241683427050126421940\ 770679834351248704887035/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^7 - 1144185247109064140898174013588871896504341300326784578318217862474\ 16612/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^6 - 83363188874179084192595755550951432831871429525\ 20819798730981759322806/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^5 + 2219357662207552472860234502537352076252160139077688735969418590993\ 9138/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^4 - 878455157387550325800646779347841194813208707089\ 488222819075551289543/670591727311520334099682032714085618632803567\ 3181535488366142173269*c_1001_3^3 - 1380083717736153358126027046258360416682893889358026778217903458546\ 207/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^2 + 1133564842386235403254173995750001656930738161756\ 53907164434117855804/6705917273115203340996820327140856186328035673\ 181535488366142173269*c_1001_3 + 1894309461198785344985751156629854\ 4799358856505179447862815811493250/67059172731152033409968203271408\ 56186328035673181535488366142173269, c_0101_3 + 677023805847324739120307569584338155066802223429594509669503\ 732977/670591727311520334099682032714085618632803567318153548836614\ 2173269*c_1001_3^24 + 107237683689847373904036924190100131939292232\ 95564938746676080851801/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^23 - 7419163521002805553141263327460191735391304147520729574710868942504\ 5/67059172731152033409968203271408561863280356731815354883661421732\ 69*c_1001_3^22 - 19181423507379094826439335645498240991175873865875\ 6565399026877185716/67059172731152033409968203271408561863280356731\ 81535488366142173269*c_1001_3^21 - 4511836968462591588513342223165831260791954304238928681058415822231\ 55/6705917273115203340996820327140856186328035673181535488366142173\ 269*c_1001_3^20 + 6821692942354560382282078118997487360067510800674\ 456785881065930293913/670591727311520334099682032714085618632803567\ 3181535488366142173269*c_1001_3^19 + 1249688114910288398574987385651772586097371158659190869289946926033\ 045/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^18 - 364708767993614278345514881588634191789261622662\ 53490962775092288882843/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^17 - 1325655193736664926808088933899966130428457056667098983721094046426\ 8667/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^16 + 72260784942358187844059962529734230298154229359\ 441967909610151576916732/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^15 + 9566353066948705433575939338124859185832525499602974202014712644996\ 4375/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^14 - 40384219634399439299367424788973641838631236403\ 375982665898571272711023/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^13 - 1844701133257939377380108966771726765986393207647868495498405694471\ 94916/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^12 - 8115554853209370390555687729893487130397917263\ 4771384026259243794393670/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^11 + 6150974309589502668133332001399415939788079795603239430447482227082\ 8282/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^10 + 14105904506916893450051458764372674738878638224\ 7124264307280479949086874/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^9 + 1143713807927433362086216657309035961529111077725303687502063709319\ 84332/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^8 - 78602386208561440526371727356275470339317547377\ 897933149935545796542620/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^7 - 9529380025236457870986948961397989481123445938495247716069947760549\ 2686/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^6 + 198292223959148374238817026710655417280761619433\ 71280805874117226145524/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^5 + 2206818904608847134863497772606580040482079961658513527083598812885\ 2338/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^4 - 283621880396739890553961908947395182461892571641\ 8662249793791173574589/67059172731152033409968203271408561863280356\ 73181535488366142173269*c_1001_3^3 - 1463027426938371937346910303035171804569810311649211646431307205587\ 287/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^2 + 1272189859927185468982978867107340684048187089541\ 71206691916565212753/6705917273115203340996820327140856186328035673\ 181535488366142173269*c_1001_3 + 2159839559222713714463797341284886\ 1789150598957761549176532871562981/67059172731152033409968203271408\ 56186328035673181535488366142173269, c_0101_5 - 110633521802657641680688926747788876318819009862048076216701\ 9227900/67059172731152033409968203271408561863280356731815354883661\ 42173269*c_1001_3^24 - 19851483369598087566548999691545245837130956\ 614035437509575435715519/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^23 + 7964338668313673529954645405392426649497768461639905946876576066244\ 3/67059172731152033409968203271408561863280356731815354883661421732\ 69*c_1001_3^22 + 48399160814150289677125223888022182221791511886842\ 7724504060959733249/67059172731152033409968203271408561863280356731\ 81535488366142173269*c_1001_3^21 + 1741721818861510717582300622248811448765286637188473628556265687335\ 933/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^20 - 755220116765731114737425619654293252393023203653\ 4711520208717413980073/67059172731152033409968203271408561863280356\ 73181535488366142173269*c_1001_3^19 - 1816202847264545227784432035284239853701101882803407871100668154403\ 2745/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^18 + 22693737124386819015655205952900141408152121168\ 156829417337083586619798/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^17 + 7167541359193717001042243599722587880016455605870364469256471384638\ 6221/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^16 + 27682213322246277825205138465998274674733807378\ 281317050994824617138737/670591727311520334099682032714085618632803\ 5673181535488366142173269*c_1001_3^15 - 1077073274379184468339272020454385886012843326829146385711072929561\ 65455/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^14 - 1590425090116101700622005036125487354833968581\ 33210772186047887045352046/6705917273115203340996820327140856186328\ 035673181535488366142173269*c_1001_3^13 - 1344694813928346132415862394298045093101675981018174590651380580370\ 8893/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^12 + 12126972925489447373831954663239662715788384905\ 4910690652467016564990469/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^11 + 1432392414798911105228851041213197854935968219329962571058490488286\ 98850/6705917273115203340996820327140856186328035673181535488366142\ 173269*c_1001_3^10 + 4883336032702552202718666183394529667720235203\ 0490707670770609922954978/67059172731152033409968203271408561863280\ 35673181535488366142173269*c_1001_3^9 - 9785829243539620177722189362926974139418089687142533233390462330064\ 9794/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^8 - 732693271320210355159491672606849251420383829625\ 86043829618746977251395/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^7 + 2286911296937164563755268472718218901477431478066709199711836462888\ 6248/67059172731152033409968203271408561863280356731815354883661421\ 73269*c_1001_3^6 + 208112390236181166865897672859976385580080664044\ 15436179036342345545691/6705917273115203340996820327140856186328035\ 673181535488366142173269*c_1001_3^5 - 2037050527225396376288946760171313184388276796089747705051382971228\ 764/670591727311520334099682032714085618632803567318153548836614217\ 3269*c_1001_3^4 - 1806580570355724728898799002195748365150470637767\ 538579949213319666173/670591727311520334099682032714085618632803567\ 3181535488366142173269*c_1001_3^3 + 2241175223258888163118498636410974885642045852404916990202554900324\ 4/67059172731152033409968203271408561863280356731815354883661421732\ 69*c_1001_3^2 + 312872518223072762505895634666728943854100440863986\ 49054803251868632/6705917273115203340996820327140856186328035673181\ 535488366142173269*c_1001_3 + 2315377268593876006149126157689527749\ 533809668332945120988738736906/670591727311520334099682032714085618\ 6328035673181535488366142173269, c_1001_3^25 + 18*c_1001_3^24 - 71*c_1001_3^23 - 442*c_1001_3^22 - 1597*c_1001_3^21 + 6748*c_1001_3^20 + 16839*c_1001_3^19 - 19778*c_1001_3^18 - 66308*c_1001_3^17 - 27989*c_1001_3^16 + 97455*c_1001_3^15 + 149296*c_1001_3^14 + 17392*c_1001_3^13 - 111860*c_1001_3^12 - 134527*c_1001_3^11 - 48154*c_1001_3^10 + 88526*c_1001_3^9 + 70988*c_1001_3^8 - 19951*c_1001_3^7 - 21130*c_1001_3^6 + 1973*c_1001_3^5 + 2271*c_1001_3^4 - 105*c_1001_3^3 - 92*c_1001_3^2 + 3*c_1001_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB