Magma V2.19-8 Tue Aug 20 2013 16:18:53 on localhost [Seed = 4021187225] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3052 geometric_solution 6.22302114 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440132508680 0.335763546155 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.123655796499 0.759878157585 1 4 5 6 0132 0132 0132 0132 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 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.551212357040 0.440990635902 6 5 4 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551212357040 0.440990635902 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984670771653 0.952930195279 5 3 5 2 2031 0132 1302 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 0 0 0 0 1 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.815883256071 0.813001655330 3 6 2 6 0132 2310 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 -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.598042615324 0.950424868507 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : negation(d['c_0011_1']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_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_2'], 'c_1001_2' : d['c_1001_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_3, c_0101_0, c_0101_1, c_0101_3, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1656742926571638707785292287265795880680024147579047480496567249058\ 5394932741354734527648831113810657/59496688072432508155364458424768\ 8460317853323753127526975504599290149058938615351557935617461966367\ 9*c_1001_2^30 + 138255781376512810110513518710257930561588539880156\ 451939636195218662858409394369686425192930224226335/118993376144865\ 0163107289168495376920635706647506255053951009198580298117877230703\ 1158712349239327358*c_1001_2^29 + 211514808693643958627414657169997\ 9836474328581614674877289970302070141785194339833986637486878356369\ 2/66107431191591675728182731583076495590872591528125280775056066587\ 7943398820683723953261797179962631*c_1001_2^28 + 1754817655402276165428045240730784250886002501642363640957109916715\ 16376299062152906569640861082329665/1189933761448650163107289168495\ 3769206357066475062550539510091985802981178772307031158712349239327\ 358*c_1001_2^27 + 3185610207929737928545742931382220867482255207064\ 591563931697130370160069670809498047124945462832431229/118993376144\ 8650163107289168495376920635706647506255053951009198580298117877230\ 7031158712349239327358*c_1001_2^26 + 3466335036090902230544859923646698666293731705177775266908525972540\ 7881545721803724670959828463078058207/11899337614486501631072891684\ 9537692063570664750625505395100919858029811787723070311587123492393\ 27358*c_1001_2^25 + 31592995370526957873154073745736127328395165334\ 645143360850361286636252549430593625439419612007105435274/594966880\ 7243250815536445842476884603178533237531275269755045992901490589386\ 153515579356174619663679*c_1001_2^24 - 4034606434417626967333295901335887306560856403711601026270368865415\ 3974607295904493909810061298088833798/59496688072432508155364458424\ 7688460317853323753127526975504599290149058938615351557935617461966\ 3679*c_1001_2^23 - 439574551690504156732867499695298319171772444223\ 672873696254334291682422308270501958950688676734006530865/118993376\ 1448650163107289168495376920635706647506255053951009198580298117877\ 2307031158712349239327358*c_1001_2^22 - 4912587336883938401284022757648577303903130411331861345027709953267\ 9775366876362588703610383194266234665/84995268674903583079092083463\ 9554943311219033933039324250720856128784369912307645082765167802809\ 097*c_1001_2^21 - 6732351904558780162189363156271894548244506309954\ 4502233766974628813250823731609290034399955981906812063/59496688072\ 4325081553644584247688460317853323753127526975504599290149058938615\ 3515579356174619663679*c_1001_2^20 + 4012632927949588549131707760232175265246951725808427639807446550792\ 01679864353645441532419264807769306356/5949668807243250815536445842\ 4768846031785332375312752697550459929014905893861535155793561746196\ 63679*c_1001_2^19 + 38822947660345111740625885250413767886617313962\ 3792622469814406968446238959082221211625984692830689846061/13221486\ 2383183351456365463166152991181745183056250561550112133175588679764\ 1367447906523594359925262*c_1001_2^18 + 4617257826468087920748887093150270572662377779140740677796513528428\ 67320948187010292648054589607640396930/5949668807243250815536445842\ 4768846031785332375312752697550459929014905893861535155793561746196\ 63679*c_1001_2^17 + 10278960257236335270245978447335293532401408727\ 4149561009429623299110477240859479987587427022982845684866/59496688\ 0724325081553644584247688460317853323753127526975504599290149058938\ 6153515579356174619663679*c_1001_2^16 - 8381383742104776953287774642728357663570545703823515017312752584133\ 72663005321662810951222488014697171921/5949668807243250815536445842\ 4768846031785332375312752697550459929014905893861535155793561746196\ 63679*c_1001_2^15 - 20807608298600091910429884514689609575899758800\ 26797907751843668208486763991612504247695607650481106294590/5949668\ 8072432508155364458424768846031785332375312752697550459929014905893\ 86153515579356174619663679*c_1001_2^14 + 1257130492265890313016459911010162491310412754236565331838401255817\ 91188464807087255391999392081669380033/8499526867490358307909208346\ 3955494331121903393303932425072085612878436991230764508276516780280\ 9097*c_1001_2^13 - 246049676537831100168717218768360556580668697781\ 1739156525302774189043395287585590012105075352684571679769/11899337\ 6144865016310728916849537692063570664750625505395100919858029811787\ 72307031158712349239327358*c_1001_2^12 + 7005070004649614877846969626843435732013554547912922410657174193546\ 74884777927525812946737934550553891753/1983222935747750271845481947\ 4922948677261777458437584232516819976338301964620511718597853915398\ 87893*c_1001_2^11 - 22220693088710581536095026502884767530928407405\ 21134951923310030605390851622712215552917945770275085187051/1189933\ 7614486501631072891684953769206357066475062550539510091985802981178\ 772307031158712349239327358*c_1001_2^10 + 4440080935561097505533901507637790788001117556263148224706116807649\ 69073715061900246939502562681780720371/1983222935747750271845481947\ 4922948677261777458437584232516819976338301964620511718597853915398\ 87893*c_1001_2^9 - 279839244915424894020970041211823002345639438124\ 86446936615538602386200047294237972789506103648563273890/2833175622\ 4967861026364027821318498110373967797767977475024028537626145663743\ 5881694255055934269699*c_1001_2^8 - 5112411393620295472759578593160189611396643017152449846031241658169\ 4672334435096263862471167871761135915/28331756224967861026364027821\ 3184981103739677977679774750240285376261456637435881694255055934269\ 699*c_1001_2^7 + 10600366958829208102473478796645387025165061877494\ 19504692405148030907154656651193273889845187629424094889/3966445871\ 4955005436909638949845897354523554916875168465033639952676603929241\ 02343719570783079775786*c_1001_2^6 - 1966622406319049910320074380244815534473003786087519297772170941639\ 559704635274257413513878643576596393909/118993376144865016310728916\ 8495376920635706647506255053951009198580298117877230703115871234923\ 9327358*c_1001_2^5 + 3916044957411049828175235669300282727718618226\ 4429300397370060883521947558850975347120501764057135460308/66107431\ 1915916757281827315830764955908725915281252807750560665877943398820\ 683723953261797179962631*c_1001_2^4 + 5719131772447856143714803249249350009741763859180548437577599192026\ 748181799777913914268878949823921595/594966880724325081553644584247\ 6884603178533237531275269755045992901490589386153515579356174619663\ 679*c_1001_2^3 - 13026145468840539441821425552767670362055039306790\ 9558400238719473883259450580593931414491661823192600136/59496688072\ 4325081553644584247688460317853323753127526975504599290149058938615\ 3515579356174619663679*c_1001_2^2 + 5816322981390361407049744195353702856629609534166678917069021380039\ 0148664528053782310612163886827799915/11899337614486501631072891684\ 9537692063570664750625505395100919858029811787723070311587123492393\ 27358*c_1001_2 + 50386208997233581146484638352125427795013088732193\ 6135375874624168486669701227122881635171255624914029/22035810397197\ 2252427275771943588318636241971760417602583520221959314466273561241\ 317753932393320877, c_0011_0 - 1, c_0011_1 - 112226823550796401748397721075781773837763487620804496786603\ 1937847724809303832514304600950534492/94439187416559536754546759404\ 3949937012465593258932582500800951254204855458119605647516853114232\ 33*c_1001_2^30 + 39709635698408287701666206740593775091062228459669\ 27906367625010610294970358398261136400332096753/9443918741655953675\ 4546759404394993701246559325893258250080095125420485545811960564751\ 685311423233*c_1001_2^29 + 5049545127100480584134941320853132344141\ 435195333311313984546874961560604095534103444893521922403/314797291\ 3885317891818225313479833123374885310863108608336003170847349518193\ 7320188250561770474411*c_1001_2^28 + 1653118395652232336274808383999929185059580188032873119481664644746\ 8854697974170243663567132949357/94439187416559536754546759404394993\ 701246559325893258250080095125420485545811960564751685311423233*c_1\ 001_2^27 + 40607556709459423477612075885687771059664998766582230998\ 331716203632419253412112445705656050902696/314797291388531789181822\ 5313479833123374885310863108608336003170847349518193732018825056177\ 0474411*c_1001_2^26 + 125453574649979686451229050876392381385953515\ 7632012372881484673592168904506359816488091165806610216/94439187416\ 5595367545467594043949937012465593258932582500800951254204855458119\ 60564751685311423233*c_1001_2^25 + 2963408047994641201881221196129492562260253037445354952300529041056\ 046178685033067774002115195793773/944391874165595367545467594043949\ 93701246559325893258250080095125420485545811960564751685311423233*c\ _1001_2^24 - 563093027903648236266001633237337971983486450207240548\ 989612411507636886877631077064905628913895098/944391874165595367545\ 4675940439499370124655932589325825008009512542048554581196056475168\ 5311423233*c_1001_2^23 - 145982894652057214670547286532833385353855\ 36208588871985958979209752304088043113308099816449897842118/9443918\ 7416559536754546759404394993701246559325893258250080095125420485545\ 811960564751685311423233*c_1001_2^22 - 3283027848971205613500319617901958998181821699805257936765231549556\ 0869989480280999532096404854712508/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^21 - 96295373485123354771732516773990527402624194752252937\ 43278549533547611027222245888507944697270833703/3147972913885317891\ 8182253134798331233748853108631086083360031708473495181937320188250\ 561770474411*c_1001_2^20 + 5457016546033950958517501954187736225801\ 85014526194355223257751230408669348309908730522100240369409/3147972\ 9138853178918182253134798331233748853108631086083360031708473495181\ 937320188250561770474411*c_1001_2^19 + 3804512611181969228923628447812676923868368532238406288563533199008\ 9947675475913011047409456995859114/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^18 + 10609684220684899103046968013204752558788691387709501\ 3037854015018075485062479089692344488594480884231/94439187416559536\ 7545467594043949937012465593258932582500800951254204855458119605647\ 51685311423233*c_1001_2^17 + 34128928749379254156983680931642123844\ 517295045304192780712712936212120417984120329383631205287379300/314\ 7972913885317891818225313479833123374885310863108608336003170847349\ 5181937320188250561770474411*c_1001_2^16 + 9854939343281561982554155829213400249868078998239755719290222279416\ 009728873380978842161980044426814/314797291388531789181822531347983\ 31233748853108631086083360031708473495181937320188250561770474411*c\ _1001_2^15 - 104108190796572863481730254751966247989895858951139391\ 122544297368909856385895792941730336421584952427/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^14 - 716034704301972768437734296379691526645\ 9137790424510552986103192212848150614133695344826086090108281/94439\ 1874165595367545467594043949937012465593258932582500800951254204855\ 45811960564751685311423233*c_1001_2^13 - 1183370157358607066771357544982433800852538988519646856031278881585\ 29827638716380130426105789399464680/9443918741655953675454675940439\ 4993701246559325893258250080095125420485545811960564751685311423233\ *c_1001_2^12 + 6574389844078469234972035932095520606896356395261370\ 1357957223830608205012755098446064634695758507375/94439187416559536\ 7545467594043949937012465593258932582500800951254204855458119605647\ 51685311423233*c_1001_2^11 - 61649695414425571351334519585229933943\ 601032696444936206731817171318420847583170112492365500436504675/944\ 3918741655953675454675940439499370124655932589325825008009512542048\ 5545811960564751685311423233*c_1001_2^10 + 2374134698106396900293223972131484615173600757754100628569111618036\ 6460292955402803084619284962500278/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^9 - 928523739619877260942525304122913498164005978571051481\ 4628364214403706931554853008487781659879927589/94439187416559536754\ 5467594043949937012465593258932582500800951254204855458119605647516\ 85311423233*c_1001_2^8 - 589338051760969018347314647690593856231570\ 82994436742147037710162439020898732608542978873093825967201/9443918\ 7416559536754546759404394993701246559325893258250080095125420485545\ 811960564751685311423233*c_1001_2^7 + 6687742604512599557742991072884406444989313404890405326336837332067\ 1063346849535002642780782916437854/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^6 - 380386380489511229786754616538216359874823438729572305\ 49791213662533563920254071465277084731984648028/9443918741655953675\ 4546759404394993701246559325893258250080095125420485545811960564751\ 685311423233*c_1001_2^5 + 58642828927766849052869568495167987202126\ 87846062078569919554408800253559931925861179585383227997499/3147972\ 9138853178918182253134798331233748853108631086083360031708473495181\ 937320188250561770474411*c_1001_2^4 + 1195468320521424236995513755820215925731446291498621041181998557372\ 575038806038247312501163761899825/944391874165595367545467594043949\ 93701246559325893258250080095125420485545811960564751685311423233*c\ _1001_2^3 - 1011991314914888667870798085333084368142913546589555791\ 054741842020522973076074502850219662304691646/314797291388531789181\ 8225313479833123374885310863108608336003170847349518193732018825056\ 1770474411*c_1001_2^2 - 4674957134772898011553514888953208061863535\ 6384917168088585851475013140519994506198016904266353169/31479729138\ 8531789181822531347983312337488531086310860833600317084734951819373\ 20188250561770474411*c_1001_2 + 19717759150389785191503179109554682\ 83880235910156176064329458941726721352250046933181875615774850/3147\ 9729138853178918182253134798331233748853108631086083360031708473495\ 181937320188250561770474411, c_0011_3 + 539264538661273705669073457291424500500244857641696517793988\ 402972123079676484304517611722283314/944391874165595367545467594043\ 9499370124655932589325825008009512542048554581196056475168531142323\ 3*c_1001_2^30 - 609874521792110381670007055091498089900079550228487\ 203812563642375380818710485979763060025512962/314797291388531789181\ 8225313479833123374885310863108608336003170847349518193732018825056\ 1770474411*c_1001_2^29 - 760187098664429750920876927447163730965635\ 1786629629557904611491350758766646324071944154735154553/94439187416\ 5595367545467594043949937012465593258932582500800951254204855458119\ 60564751685311423233*c_1001_2^28 - 8833866471788854992027354782527961858140781836699964637525858726613\ 505375939370473424425359442582/944391874165595367545467594043949937\ 01246559325893258250080095125420485545811960564751685311423233*c_10\ 01_2^27 - 591179902909102097739102107566417930760522223052316688058\ 53178023452062356120877123283079135388259/9443918741655953675454675\ 9404394993701246559325893258250080095125420485545811960564751685311\ 423233*c_1001_2^26 - 6108034609313222114461714607691532783706992045\ 54216238688674638175938636114222770437352273820949860/9443918741655\ 9536754546759404394993701246559325893258250080095125420485545811960\ 564751685311423233*c_1001_2^25 - 5023080533682299010789962501365257\ 45077773201205069522118183450599017272121417479438425127976273528/3\ 1479729138853178918182253134798331233748853108631086083360031708473\ 495181937320188250561770474411*c_1001_2^24 + 1127518175264770196387014844079235152766391129635941284951811094486\ 23109221545875782277162077986630/9443918741655953675454675940439499\ 3701246559325893258250080095125420485545811960564751685311423233*c_\ 1001_2^23 + 2387549798109011173160979836995863099028425071847882832\ 985554143111854897161875332114834802437696191/314797291388531789181\ 8225313479833123374885310863108608336003170847349518193732018825056\ 1770474411*c_1001_2^22 + 167489714846049364192211152544391289370465\ 43764272554384000630900521420551076149421357712798254710480/9443918\ 7416559536754546759404394993701246559325893258250080095125420485545\ 811960564751685311423233*c_1001_2^21 + 5199031271737594780852583904637229331741584304013872828846531387828\ 577511645938510552018831435244387/314797291388531789181822531347983\ 31233748853108631086083360031708473495181937320188250561770474411*c\ _1001_2^20 + 429360644069031108108377467748627874043997262663284684\ 53780584095636547357290861084226188901866474/9443918741655953675454\ 6759404394993701246559325893258250080095125420485545811960564751685\ 311423233*c_1001_2^19 - 1861245270091090188618437602521743857539283\ 4228485701624679379372083001189500163613755711255780240135/31479729\ 1388531789181822531347983312337488531086310860833600317084734951819\ 37320188250561770474411*c_1001_2^18 - 5867028895926537381810850968437327618492955381664054526568390564358\ 9124414612102005732011773838904931/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^17 - 52115035989566322105792186613380515287972446670209403\ 183535196054854157889069186036209894404362292215/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^16 - 181698641236103622132592441152764018220\ 08225921569402386119876308098874916975446661680268107834228519/9443\ 9187416559536754546759404394993701246559325893258250080095125420485\ 545811960564751685311423233*c_1001_2^15 + 5109712467237564001715895291454874321422205796928585312548469674145\ 3767203245742436499251523665343177/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^14 + 37210331365919650292706469764595270537238137524894078\ 11567043458139457503816884285236203923665140938/3147972913885317891\ 8182253134798331233748853108631086083360031708473495181937320188250\ 561770474411*c_1001_2^13 + 1775718782508987976957078160936535765428\ 3087806770447687205958160343567395565015470086034259990752509/31479\ 7291388531789181822531347983312337488531086310860833600317084734951\ 81937320188250561770474411*c_1001_2^12 - 2232269611970522282300167760107783013335872664909864958953201644976\ 1298445499398850895155055196683697/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^11 + 20650339083656853562202826291635359582823096399336034\ 970479665480550873439588459998167730903033020443/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^10 - 262362307063033599822692739100708291987\ 48076452780683491314733556955609277727434101587144612251672902/9443\ 9187416559536754546759404394993701246559325893258250080095125420485\ 545811960564751685311423233*c_1001_2^9 - 1214025125753462368000375651232713218281074674173044914357898111421\ 787444862787756871256581867652985/314797291388531789181822531347983\ 31233748853108631086083360031708473495181937320188250561770474411*c\ _1001_2^8 + 3218310349765277542400697851667062995254252119326385353\ 8309107036303237580544905423361550994447332873/94439187416559536754\ 5467594043949937012465593258932582500800951254204855458119605647516\ 85311423233*c_1001_2^7 - 290401538515290886043730250256659418352139\ 96421785842479314950443327590604635362624853244983265315987/9443918\ 7416559536754546759404394993701246559325893258250080095125420485545\ 811960564751685311423233*c_1001_2^6 + 1134527400380123366138997882553179596106441729271507431885459123518\ 4075595397822608783353943045914851/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^5 - 260683975045360979789873118583992798850421432297408825\ 3944779768455198302489766602737293089994366936/94439187416559536754\ 5467594043949937012465593258932582500800951254204855458119605647516\ 85311423233*c_1001_2^4 - 382752060348174036300452594122523969198883\ 6808319762371874270719382154437855144571156537246747199565/94439187\ 4165595367545467594043949937012465593258932582500800951254204855458\ 11960564751685311423233*c_1001_2^3 + 2325473397523682411909310621713159580668981829193699194937382841487\ 628088136172887067145924914775130/944391874165595367545467594043949\ 93701246559325893258250080095125420485545811960564751685311423233*c\ _1001_2^2 + 1009070068537414350910885359687833006448314470176013560\ 35014053548657395479445692752240038559010286/9443918741655953675454\ 6759404394993701246559325893258250080095125420485545811960564751685\ 311423233*c_1001_2 - 3222126111834586082115037507149098592917931776\ 1079231362888126785596748615830205962274140886745643/31479729138853\ 1789181822531347983312337488531086310860833600317084734951819373201\ 88250561770474411, c_0101_0 + 589035826343490354157847098098570798638659680736545808695104\ 031486042778907702988102907502789115/314797291388531789181822531347\ 9833123374885310863108608336003170847349518193732018825056177047441\ 1*c_1001_2^30 - 212878858710871388352059353907882797175722969577686\ 9434354731706927994595093798658367684426432258/31479729138853178918\ 1822531347983312337488531086310860833600317084734951819373201882505\ 61770474411*c_1001_2^29 - 23482466980332191449284956407411994569751\ 646268927563076969819173421580195898613166589747738806473/944391874\ 1655953675454675940439499370124655932589325825008009512542048554581\ 1960564751685311423233*c_1001_2^28 - 2390720469265684212409590778411708510012694982119505160818758826297\ 9105931714828699324304972465617/94439187416559536754546759404394993\ 701246559325893258250080095125420485545811960564751685311423233*c_1\ 001_2^27 - 62778430741328696775285828630678511423972830129000976049\ 432501840324618203465566591060742393431277/314797291388531789181822\ 5313479833123374885310863108608336003170847349518193732018825056177\ 0474411*c_1001_2^26 - 195859709204380541234576047725179721921893399\ 0495484232818422385300013627778730265625640387696252860/94439187416\ 5595367545467594043949937012465593258932582500800951254204855458119\ 60564751685311423233*c_1001_2^25 - 1501393692563777963010204203552931494205967048934106326142955594426\ 079163180989987203737697272260280/314797291388531789181822531347983\ 31233748853108631086083360031708473495181937320188250561770474411*c\ _1001_2^24 + 136083828318135138721192983961997466864440486549389785\ 7349211076318322495349664048075168095221520122/94439187416559536754\ 5467594043949937012465593258932582500800951254204855458119605647516\ 85311423233*c_1001_2^23 + 23247971867087096906475492548297014498446\ 415783492255172955239964376368632851063427486186069035578059/944391\ 8741655953675454675940439499370124655932589325825008009512542048554\ 5811960564751685311423233*c_1001_2^22 + 5007317487210138646250332535461235054264080524633413066826835584219\ 9632422827327422675855972488466921/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^21 + 40347808230090891799720537764859029731076032048809708\ 659447936576763073436982759225318302249305526691/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^20 - 956553364433747094596495936410496788169\ 2162340494645516662435393601508898132615488442576734467206109/94439\ 1874165595367545467594043949937012465593258932582500800951254204855\ 45811960564751685311423233*c_1001_2^19 - 6132791478408696663250035442807566196020703947498033060785574636653\ 2400360976023261200693622698860233/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^18 - 51978437926889043933084251278009637890665501183678007\ 074634732826814734014980276132891457294947785338/314797291388531789\ 1818225313479833123374885310863108608336003170847349518193732018825\ 0561770474411*c_1001_2^17 - 466738937697103783795355932165159712804\ 39748321642608259814311055469024214447231292004892284745930500/3147\ 9729138853178918182253134798331233748853108631086083360031708473495\ 181937320188250561770474411*c_1001_2^16 - 2125458699119976510431238046334999645547817783608008962387378767017\ 8756105027983968043354559876754530/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^15 + 61372895567626547448030215349893372247100719823693520\ 686979345264712634410736101295779907035970919618/314797291388531789\ 1818225313479833123374885310863108608336003170847349518193732018825\ 0561770474411*c_1001_2^14 + 375853386115494684769222895108292494746\ 9737191981997866105462570975519948386217913728580207434914325/31479\ 7291388531789181822531347983312337488531086310860833600317084734951\ 81937320188250561770474411*c_1001_2^13 + 1845855352116365167924798578082316758497847533772639034849399694538\ 70873435343579752844352985852664137/9443918741655953675454675940439\ 4993701246559325893258250080095125420485545811960564751685311423233\ *c_1001_2^12 - 1161024244938375864794711865420924122511793051714234\ 55108654652025052621722509659085715523871672528682/9443918741655953\ 6754546759404394993701246559325893258250080095125420485545811960564\ 751685311423233*c_1001_2^11 + 9512525228775030346410080916656219481\ 7203874114002099860626166301834718259545469455188155563057634146/94\ 4391874165595367545467594043949937012465593258932582500800951254204\ 85545811960564751685311423233*c_1001_2^10 - 1172504571738966869866498448641596538274906442417728008233810063995\ 33489470110392171750701610986079012/9443918741655953675454675940439\ 4993701246559325893258250080095125420485545811960564751685311423233\ *c_1001_2^9 + 16858684244141123082810040865760533379894565948771563\ 186118807127795443883885524821407455831157722123/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^8 + 3187145774391213948040135833932045636156\ 8016750985078249302183748253271580919790583515451935705378623/31479\ 7291388531789181822531347983312337488531086310860833600317084734951\ 81937320188250561770474411*c_1001_2^7 - 1126730570370223119853967041095609030010269324820385948378952067669\ 56722673356132805283233877361223878/9443918741655953675454675940439\ 4993701246559325893258250080095125420485545811960564751685311423233\ *c_1001_2^6 + 63025321998378191802040929885364093124316342968731644\ 078093868470280755736490823356795390002194322700/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^5 - 2842261218523073874692813779503581080752\ 6111973110705262211263401052636220498337827672410665109931653/94439\ 1874165595367545467594043949937012465593258932582500800951254204855\ 45811960564751685311423233*c_1001_2^4 - 2247696251926961398014522241432016643745359116505924668905088905071\ 206220363744882545757739897038886/944391874165595367545467594043949\ 93701246559325893258250080095125420485545811960564751685311423233*c\ _1001_2^3 + 2025494061524296197769712417459997136443115751818286035\ 468872567365931165689283817552270965045683585/314797291388531789181\ 8225313479833123374885310863108608336003170847349518193732018825056\ 1770474411*c_1001_2^2 - 6123371583066882442612347711453557228010849\ 9533935247929665409915555409631886497780866115374885381/94439187416\ 5595367545467594043949937012465593258932582500800951254204855458119\ 60564751685311423233*c_1001_2 - 48268153632081280678752888986569964\ 323819524435404945788539731359434206113352160228950914815715813/314\ 7972913885317891818225313479833123374885310863108608336003170847349\ 5181937320188250561770474411, c_0101_1 - 106841027178582314465657191653779566262008328615000653754004\ 1406637795308416435832273083725676291/94439187416559536754546759404\ 3949937012465593258932582500800951254204855458119605647516853114232\ 33*c_1001_2^30 + 11948805858897227235471922660504047069916626328811\ 52771843544386711661065077976210840295412843912/3147972913885317891\ 8182253134798331233748853108631086083360031708473495181937320188250\ 561770474411*c_1001_2^29 + 1518656605032920111533139575531516112662\ 0269401288956809523296729446847461694919266443517113943331/94439187\ 4165595367545467594043949937012465593258932582500800951254204855458\ 11960564751685311423233*c_1001_2^28 + 1814879752884882686836078548600774992268111172322602116823998257181\ 1680060263231172925906690705666/94439187416559536754546759404394993\ 701246559325893258250080095125420485545811960564751685311423233*c_1\ 001_2^27 + 11782209537966315621518956155396229504954534467017741885\ 7602649734498842598214503846653786764501785/94439187416559536754546\ 7594043949937012465593258932582500800951254204855458119605647516853\ 11423233*c_1001_2^26 + 12141174548638594393972143227435742859969410\ 41298819523895113434926370915205037341732996415106144473/9443918741\ 6559536754546759404394993701246559325893258250080095125420485545811\ 960564751685311423233*c_1001_2^25 + 1010482372882096352645930568721510858370460211381781816825021036560\ 928806190326735460752889769361348/314797291388531789181822531347983\ 31233748853108631086083360031708473495181937320188250561770474411*c\ _1001_2^24 - 344016169347718574020433949989937700911738045509439147\ 07399916969985182171207904674169239338141828/3147972913885317891818\ 2253134798331233748853108631086083360031708473495181937320188250561\ 770474411*c_1001_2^23 - 1421700983735864389277763096830317543034134\ 1201552625922888706884860521773466134743282235040216325382/94439187\ 4165595367545467594043949937012465593258932582500800951254204855458\ 11960564751685311423233*c_1001_2^22 - 3385793266986579828360684372791884827246478238665116718485820164810\ 1903849651501521598960189383015863/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^21 - 32359015619766639625722546502733800426405036506592016\ 622526129969242132540002479711462195544439558818/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^20 - 364788966504226436209251630845263004235\ 964658908059942620121853526157270438800231712220138003991749/314797\ 2913885317891818225313479833123374885310863108608336003170847349518\ 1937320188250561770474411*c_1001_2^19 + 3726367735360536183231812739106306082184700661610361778949811820397\ 1938747949600351017690813569039195/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^18 + 12231018562997309039785466820360784537439592374789204\ 0224641784293328839284194495779623582389571653397/94439187416559536\ 7545467594043949937012465593258932582500800951254204855458119605647\ 51685311423233*c_1001_2^17 + 10980599841618103608018572225895462067\ 2186492482909690279150415899135203546825589573977833478160260195/94\ 4391874165595367545467594043949937012465593258932582500800951254204\ 85545811960564751685311423233*c_1001_2^16 + 1251316129052668801105107921455080196036172978633111326001898711752\ 6133990753956703777300387018263986/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^15 - 10459491364401836208764492295992484027413967125584629\ 7605761439813458066232330910448358658413250657333/94439187416559536\ 7545467594043949937012465593258932582500800951254204855458119605647\ 51685311423233*c_1001_2^14 - 10800877452202181879728193571946592506\ 337067033562317184585555103029767028943763364900762173969030586/314\ 7972913885317891818225313479833123374885310863108608336003170847349\ 5181937320188250561770474411*c_1001_2^13 - 1122978175576502590274914553436990795075825260268155015090062037820\ 19288261107761508280263492567215113/9443918741655953675454675940439\ 4993701246559325893258250080095125420485545811960564751685311423233\ *c_1001_2^12 + 1358139353010575508220141405231711654489174176355301\ 4894602123387464001097526133016611129071155000503/31479729138853178\ 9181822531347983312337488531086310860833600317084734951819373201882\ 50561770474411*c_1001_2^11 - 13451369657362232401148261133310096532\ 869596770454331976750113653371268969346762035497905397928418891/314\ 7972913885317891818225313479833123374885310863108608336003170847349\ 5181937320188250561770474411*c_1001_2^10 + 5448387509398043323550700393004464096257034612500521753313893170618\ 0413506226602604610582940830752009/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^9 + 782024229572701388631783844242106315490761569079016799\ 3022485589384140008724529224059501544720663844/94439187416559536754\ 5467594043949937012465593258932582500800951254204855458119605647516\ 85311423233*c_1001_2^8 - 612596548520969807180045948696025987999090\ 69889764025135866299089882770150467239327164624298837335179/9443918\ 7416559536754546759404394993701246559325893258250080095125420485545\ 811960564751685311423233*c_1001_2^7 + 1790865353536751600995814779700122507772025758422225495758531674509\ 6082279522634915792728734301276845/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^6 - 704506814251121283299325967908819145593476900478252197\ 6743632202254408859788494324987410535396742913/31479729138853178918\ 1822531347983312337488531086310860833600317084734951819373201882505\ 61770474411*c_1001_2^5 + 701098390835913621884610049346468616748418\ 9995558101837476356349531906367232528984788235438059041359/94439187\ 4165595367545467594043949937012465593258932582500800951254204855458\ 11960564751685311423233*c_1001_2^4 + 6414540408630937985331796407525166316998017086238817237430513726789\ 348317945929268138008217914940705/944391874165595367545467594043949\ 93701246559325893258250080095125420485545811960564751685311423233*c\ _1001_2^3 - 3675209590271448665233736550149556224420572846694389713\ 692417568726210230539224129466110125582409406/944391874165595367545\ 4675940439499370124655932589325825008009512542048554581196056475168\ 5311423233*c_1001_2^2 - 2413981988781789546102166191619610486870506\ 78148423702968323200173399618925622505843710087845057785/3147972913\ 8853178918182253134798331233748853108631086083360031708473495181937\ 320188250561770474411*c_1001_2 + 4745708003020490553413388805107526\ 5946137574693484061572411385620727594222713001959539818521676559/31\ 4797291388531789181822531347983312337488531086310860833600317084734\ 95181937320188250561770474411, c_0101_3 - 954928595132683698429476243175783784362178939964853009762137\ 908898168088052488142601594676211228/944391874165595367545467594043\ 9499370124655932589325825008009512542048554581196056475168531142323\ 3*c_1001_2^30 + 111620689018991934322401670794083955536008430842777\ 1471341236698271236788807293166860363506516808/31479729138853178918\ 1822531347983312337488531086310860833600317084734951819373201882505\ 61770474411*c_1001_2^29 + 13028529344905424566315853083050355870002\ 206571249097450489196417498838612518120514854857769096416/944391874\ 1655953675454675940439499370124655932589325825008009512542048554581\ 1960564751685311423233*c_1001_2^28 + 1436678644804253750211681808151454023442432826764831274168612292759\ 8797335191609598803065854541370/94439187416559536754546759404394993\ 701246559325893258250080095125420485545811960564751685311423233*c_1\ 001_2^27 + 10366111594339199083485187407565583485086107091783195660\ 0337747239552362614530407099669787254939030/94439187416559536754546\ 7594043949937012465593258932582500800951254204855458119605647516853\ 11423233*c_1001_2^26 + 10702242562321995563327240957374483865171308\ 83442211789189017591436585821903220640815311109816959478/9443918741\ 6559536754546759404394993701246559325893258250080095125420485545811\ 960564751685311423233*c_1001_2^25 + 8506052086926832846805232018955720568589056876881202154922020503240\ 42302184862982374326559524907507/3147972913885317891818225313479833\ 1233748853108631086083360031708473495181937320188250561770474411*c_\ 1001_2^24 - 1450744549619032055970168340119295785344982065108114057\ 56156541899793897175107505108827761753486237/3147972913885317891818\ 2253134798331233748853108631086083360031708473495181937320188250561\ 770474411*c_1001_2^23 - 1252560736186688715266452591125343491154006\ 4238399380050782807769573534459500743095203260548837665769/94439187\ 4165595367545467594043949937012465593258932582500800951254204855458\ 11960564751685311423233*c_1001_2^22 - 2832599186714828834922041335527972434364529517250931401022696393508\ 0814597186172654070101484617737743/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^21 - 25055589222012013268940248655649344304132047995387069\ 946139157455410024667604930023638226760273458337/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^20 + 532880426501166794022768539160950312023\ 606209094605315678471850555083723139256601160711009169650717/314797\ 2913885317891818225313479833123374885310863108608336003170847349518\ 1937320188250561770474411*c_1001_2^19 + 3270798659237997723298860255984025339140132530297288654010645287608\ 9673235829813613932420787070680305/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^18 + 93468202619554443800025094667066018051418276215658541\ 686255183356962047895735293279165058061011393355/944391874165595367\ 5454675940439499370124655932589325825008009512542048554581196056475\ 1685311423233*c_1001_2^17 + 868127431154198185107006328188561180570\ 71063497247557775778936902417336132209184858568584609082955216/9443\ 9187416559536754546759404394993701246559325893258250080095125420485\ 545811960564751685311423233*c_1001_2^16 + 8169804398611949354913527304711143011474492919665970650874325377027\ 569837834264811948547638081904289/314797291388531789181822531347983\ 31233748853108631086083360031708473495181937320188250561770474411*c\ _1001_2^15 - 912102898167384727474683330054406558440959824855121111\ 18839250009752323330599037120879178933862662960/9443918741655953675\ 4546759404394993701246559325893258250080095125420485545811960564751\ 685311423233*c_1001_2^14 - 3442376834144098711169246559457678204028\ 747769667410008285946096838888880092798909429040288724572960/314797\ 2913885317891818225313479833123374885310863108608336003170847349518\ 1937320188250561770474411*c_1001_2^13 - 9836869093242081919961500471933258472051094573586934515401049373843\ 9252770457708083219262016419435791/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^12 + 17695078640058442710719167564425692137276032393262630\ 859331030152980205606404069062129035514300246914/314797291388531789\ 1818225313479833123374885310863108608336003170847349518193732018825\ 0561770474411*c_1001_2^11 - 157773478350293015311782125738348603539\ 90481009812797492872014838065885879163977300796628252183130464/3147\ 9729138853178918182253134798331233748853108631086083360031708473495\ 181937320188250561770474411*c_1001_2^10 + 5764154922278973586187216390723610524655289438029576105033612793281\ 0596683660368066519941224823083184/94439187416559536754546759404394\ 993701246559325893258250080095125420485545811960564751685311423233*\ c_1001_2^9 - 411005769550580413668895825348416197774660343507725574\ 7113763479628676760564119552515476027198931148/94439187416559536754\ 5467594043949937012465593258932582500800951254204855458119605647516\ 85311423233*c_1001_2^8 - 519073836965217001440236355250659416543104\ 58946854077276181334905855629540374758103289524378565292402/9443918\ 7416559536754546759404394993701246559325893258250080095125420485545\ 811960564751685311423233*c_1001_2^7 + 1850996606574039528528222503599703766866007002940140646840802767949\ 4732207572780347647344588243551668/31479729138853178918182253134798\ 331233748853108631086083360031708473495181937320188250561770474411*\ c_1001_2^6 - 964730561117263599726575853960591524366370813796024896\ 1971101911712141220386025003534471173906860052/31479729138853178918\ 1822531347983312337488531086310860833600317084734951819373201882505\ 61770474411*c_1001_2^5 + 121701401677587555399087592798399764340354\ 59628157870010043940289533352510785715716839908320914994515/9443918\ 7416559536754546759404394993701246559325893258250080095125420485545\ 811960564751685311423233*c_1001_2^4 + 2290369825510620516800013629311893307208443235895362879556750566477\ 271813511193062734319764743226085/944391874165595367545467594043949\ 93701246559325893258250080095125420485545811960564751685311423233*c\ _1001_2^3 - 3035389333249793508900084317750148407743632403776268632\ 629123475189463023666338574523588875375214531/944391874165595367545\ 4675940439499370124655932589325825008009512542048554581196056475168\ 5311423233*c_1001_2^2 - 6869282635253359525367207895453644349085007\ 3039607120151995408224831445755566739464461291943877092/31479729138\ 8531789181822531347983312337488531086310860833600317084734951819373\ 20188250561770474411*c_1001_2 + 41882499660470102203625224181091147\ 348756349688774274769956660108944471178637207017045788463171494/314\ 7972913885317891818225313479833123374885310863108608336003170847349\ 5181937320188250561770474411, c_1001_2^31 - 4*c_1001_2^30 - 12*c_1001_2^29 - 8*c_1001_2^28 - 100*c_1001_2^27 - 1066*c_1001_2^26 - 2110*c_1001_2^25 + 1870*c_1001_2^24 + 13112*c_1001_2^23 + 23135*c_1001_2^22 + 10505*c_1001_2^21 - 17035*c_1001_2^20 - 103998*c_1001_2^19 - 47081*c_1001_2^18 - 34121*c_1001_2^17 + 26384*c_1001_2^16 + 115870*c_1001_2^15 - 33943*c_1001_2^14 + 90464*c_1001_2^13 - 105498*c_1001_2^12 + 67817*c_1001_2^11 - 78741*c_1001_2^10 + 28329*c_1001_2^9 + 58485*c_1001_2^8 - 86601*c_1001_2^7 + 54793*c_1001_2^6 - 22254*c_1001_2^5 + 187*c_1001_2^4 + 6215*c_1001_2^3 - 1532*c_1001_2^2 - 375*c_1001_2 + 63 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB