Magma V2.19-8 Tue Aug 20 2013 16:16:24 on localhost [Seed = 1174919850] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0685 geometric_solution 4.65170065 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 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 1 -1 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.706321897308 0.092643214188 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 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 1.903891996339 0.508182534934 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.174988952599 0.350232216676 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525551706794 0.457560308433 6 3 5 5 0132 0132 2103 3201 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 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.551533094787 1.076777529552 4 4 6 3 2103 2310 1023 0132 0 0 0 0 0 -1 0 1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551533094787 1.076777529552 4 6 5 6 0132 1302 1023 2031 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444655145921 0.330552715981 ==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' : negation(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_2'], 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : negation(d['1']), 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2525536871285519645816770661141652535699482556867000282712834165301\ 92697419716186258336711067025/4794900486880178054325659609090527219\ 23406046133932996443255214074975186260421546353091496752*c_0101_6^2\ 9 - 565524617677942523676964292103807977982899221021068450511605247\ 3003262094842961554322416062309827/47949004868801780543256596090905\ 2721923406046133932996443255214074975186260421546353091496752*c_010\ 1_6^28 + 2724594008792007764801494308841288283748484956724401462446\ 8398336708115030081595330618157043377787/23974502434400890271628298\ 0454526360961703023066966498221627607037487593130210773176545748376\ *c_0101_6^27 - 3151192674955962041076183920326516292209715765135291\ 8846021252392837947214524271626432884951061471/59936256086002225679\ 0707451136315902404257557667416245554069017593718982825526932941364\ 37094*c_0101_6^26 + 84862610462336370365804710544728220815819706676\ 8524391778540131321880340588352620642498130458775485/47949004868801\ 7805432565960909052721923406046133932996443255214074975186260421546\ 353091496752*c_0101_6^25 - 1456058808075040101921286434451205039821\ 82442975398519737762614886127829965403131876268762589225380/2996812\ 8043001112839535372556815795120212877883370812277703450879685949141\ 276346647068218547*c_0101_6^24 + 3247289028261564068115131565199666\ 599489301253305642115296099173415107639878928039834604861368715789/\ 4794900486880178054325659609090527219234060461339329964432552140749\ 75186260421546353091496752*c_0101_6^23 - 7558790566828359812949111469633808291369685785469510499584637087208\ 197133004498805599025611058786103/479490048688017805432565960909052\ 721923406046133932996443255214074975186260421546353091496752*c_0101\ _6^22 - 22654850563708847150417454934097114463971881926804389667330\ 11111935659089922956640141935223016811197/4794900486880178054325659\ 6090905272192340604613393299644325521407497518626042154635309149675\ 2*c_0101_6^21 + 571137183023398316281428590586043322755015915888696\ 076651579650924624144596869017801905628177860253/299681280430011128\ 3953537255681579512021287788337081227770345087968594914127634664706\ 8218547*c_0101_6^20 - 406491005327549607643661360568022057749139871\ 20356210573361238652661196555305918020082279571799078961/4794900486\ 8801780543256596090905272192340604613393299644325521407497518626042\ 1546353091496752*c_0101_6^19 + 800369772166594760159443018362635495\ 33933144433414409877197268073597010488167586378415296495162296695/4\ 7949004868801780543256596090905272192340604613393299644325521407497\ 5186260421546353091496752*c_0101_6^18 - 6377603073875652706595623197023893349349954856722122924738979541065\ 9188957607266932059476527004037869/47949004868801780543256596090905\ 2721923406046133932996443255214074975186260421546353091496752*c_010\ 1_6^17 + 5370999574872886769097027036587810807883851926413061625273\ 3567745490103035401124907063808803468487107/47949004868801780543256\ 5960909052721923406046133932996443255214074975186260421546353091496\ 752*c_0101_6^16 + 1391651732129506922389361682295993614221033985659\ 58249694134510771007828761320405607038254252897257691/4794900486880\ 1780543256596090905272192340604613393299644325521407497518626042154\ 6353091496752*c_0101_6^15 - 245457644812806530008509595950052372743\ 7287535783672557436555608084324304279965231045755092579879751/45234\ 9102535865854181666000857596907474911364277295279663448315165070930\ 4343599493897089592*c_0101_6^14 + 476171578935531563813215158214211\ 5352123112242756279847195460096593325951768957912889262922464438639\ 1/47949004868801780543256596090905272192340604613393299644325521407\ 4975186260421546353091496752*c_0101_6^13 + 5186383791250230776694434535120691607825326382425993865717780830682\ 0044023534801945563493888703825831/47949004868801780543256596090905\ 2721923406046133932996443255214074975186260421546353091496752*c_010\ 1_6^12 - 2349278247756414100930473528077670560892337681561210897585\ 7993808408802352088242044297354310050158327/11987251217200445135814\ 1490227263180480851511533483249110813803518743796565105386588272874\ 188*c_0101_6^11 + 1657730240327751036470686287619460304794734531406\ 5546335788005782008900491893403513103405839635446179/59936256086002\ 2256790707451136315902404257557667416245554069017593718982825526932\ 94136437094*c_0101_6^10 - 75019923293210036928085490564280313286249\ 55231800252268469219852417316287847687859835806253974534863/4794900\ 4868801780543256596090905272192340604613393299644325521407497518626\ 0421546353091496752*c_0101_6^9 - 6408143213907946089583214611517311\ 8947050756568039639369707939249453351884757605682050082581189533457\ /479490048688017805432565960909052721923406046133932996443255214074\ 975186260421546353091496752*c_0101_6^8 + 2039088072913965330364302412254574154004743782013954606196713509310\ 2914537207074007296520070702194813/47949004868801780543256596090905\ 2721923406046133932996443255214074975186260421546353091496752*c_010\ 1_6^7 + 13754128999726862282051440732158532367775652339141273717756\ 06534585837788725247681807648010687354705/1198725121720044513581414\ 9022726318048085151153348324911081380351874379656510538658827287418\ 8*c_0101_6^6 - 3183651518612814120920018080394984612563021774868141\ 965445160457487664188806966246071358670826475445/479490048688017805\ 4325659609090527219234060461339329964432552140749751862604215463530\ 91496752*c_0101_6^5 + 617704382500705137669714396206725040303556721\ 261860612253241288167766503546116981514552143033665877/479490048688\ 0178054325659609090527219234060461339329964432552140749751862604215\ 46353091496752*c_0101_6^4 - 171295003222745175559031669867856500638\ 10701684404803176174888002417760921996492846552086672373843/4794900\ 4868801780543256596090905272192340604613393299644325521407497518626\ 0421546353091496752*c_0101_6^3 - 3629382697282512654075777451003501\ 232930910132813757381885930285866036326161191612714865535076363/299\ 6812804300111283953537255681579512021287788337081227770345087968594\ 9141276346647068218547*c_0101_6^2 + 1680621437358694282172199840818541468792211168180889407912313539172\ 6452489317162993309058251117823/47949004868801780543256596090905272\ 1923406046133932996443255214074975186260421546353091496752*c_0101_6 - 15930231269804952688744423861636480693179745783222875248145622696\ 78161644057812526735791626607741/4794900486880178054325659609090527\ 21923406046133932996443255214074975186260421546353091496752, c_0011_0 - 1, c_0011_2 + 191216382662613693353324016677514562990663708469917098695002\ 99264545745459829637293434645047/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^29 - 4282208205218425180156498373136178704589180773264554277188727\ 10874211503653334891443269704880/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^28 + 4126737538917311038609854644124041746083363063167042244321902\ 613009353648006248592803378606461/299681280430011128395353725568157\ 95120212877883370812277703450879685949141276346647068218547*c_0101_\ 6^27 - 190964140922321263981737936651837270409203624447915452794197\ 88741151941594971732091135441087404/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^26 + 6429635801177744547738689302356633787665885325619023845950\ 1328161244164629021785996765664368659/29968128043001112839535372556\ 815795120212877883370812277703450879685949141276346647068218547*c_0\ 101_6^25 - 17654388747269632303928115573875480475565555486613649143\ 3967862842016278180437494072647926322888/29968128043001112839535372\ 556815795120212877883370812277703450879685949141276346647068218547*\ c_0101_6^24 + 24631018335309409945926637613422088942804786168713504\ 7203515508764547614569779738297307441220826/29968128043001112839535\ 3725568157951202128778833708122777034508796859491412763466470682185\ 47*c_0101_6^23 - 57301676359480619173891035671257676437616080160938\ 4978867323696394173065048102185007029940759804/29968128043001112839\ 5353725568157951202128778833708122777034508796859491412763466470682\ 18547*c_0101_6^22 - 16971692884798886775223902808011258703386033189\ 2379339360461856903765960218403221798503308940276/29968128043001112\ 8395353725568157951202128778833708122777034508796859491412763466470\ 68218547*c_0101_6^21 + 69162481171470189003630996865475434713504221\ 1225031057113845891911449777171947489665103449991550/29968128043001\ 1128395353725568157951202128778833708122777034508796859491412763466\ 47068218547*c_0101_6^20 - 30773739115715406750580736097495074146632\ 36827634859306874749151435995137823924684912603298043613/2996812804\ 3001112839535372556815795120212877883370812277703450879685949141276\ 346647068218547*c_0101_6^19 + 6066945631089973227668811929508351584\ 343659982252747911003426504763978621953844717098163831770063/299681\ 2804300111283953537255681579512021287788337081227770345087968594914\ 1276346647068218547*c_0101_6^18 - 484389854903421684075374634630857\ 6855029006827391924282555878160476718243640189895840902148820826/29\ 9681280430011128395353725568157951202128778833708122777034508796859\ 49141276346647068218547*c_0101_6^17 + 4085301932859416016948176352898230306153139946452893449429560915733\ 373845815669141320037701266911/299681280430011128395353725568157951\ 20212877883370812277703450879685949141276346647068218547*c_0101_6^1\ 6 + 105089311983178916672692110249286239758671162618788437716398547\ 47967674853528852693229497165511937/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^15 - 3718386155116914620347361897789211318528748480226538469476\ 55724411628885512562092455315032503140/5654363781698323177270825010\ 71996134343639205346619099579310393956338663042949936737136199*c_01\ 01_6^14 + 363246712564876448530132752108208201623087944412304177097\ 1798288085519912073518248189244809115588/29968128043001112839535372\ 556815795120212877883370812277703450879685949141276346647068218547*\ c_0101_6^13 + 38961267720351052899895239300066597987598806013567280\ 17447881508205496487878782860598066872941626/2996812804300111283953\ 5372556815795120212877883370812277703450879685949141276346647068218\ 547*c_0101_6^12 - 7061289729819018025966027335132831631229631653462\ 829784253436212239778537408649600472940315626172/299681280430011128\ 3953537255681579512021287788337081227770345087968594914127634664706\ 8218547*c_0101_6^11 + 100363414519365266385888468915028576884328168\ 05166411002241003238394894280705908360659114871078646/2996812804300\ 1112839535372556815795120212877883370812277703450879685949141276346\ 647068218547*c_0101_6^10 - 5972186635786621624063301279257329813521\ 56899573040764852541645171073634389200075357651660046702/2996812804\ 3001112839535372556815795120212877883370812277703450879685949141276\ 346647068218547*c_0101_6^9 - 48335757497299992341631904344696274332\ 50612375906730631325822983989139775002200871073845403357725/2996812\ 8043001112839535372556815795120212877883370812277703450879685949141\ 276346647068218547*c_0101_6^8 + 15219667131639646810724330513334353\ 30533275944966681341203092429481179389775205706412926787684474/2996\ 8128043001112839535372556815795120212877883370812277703450879685949\ 141276346647068218547*c_0101_6^7 + 4213941297379267926905192908989022417766748434794379072308966103574\ 04788056974009367557974840997/2996812804300111283953537255681579512\ 0212877883370812277703450879685949141276346647068218547*c_0101_6^6 - 2293248674731278748707079063385646380556948278885207657041364434324\ 07375652599395745177453019179/2996812804300111283953537255681579512\ 0212877883370812277703450879685949141276346647068218547*c_0101_6^5 + 4184701482522499145798550857895233925294656332113464788538949388715\ 8457240490768049086080103417/29968128043001112839535372556815795120\ 212877883370812277703450879685949141276346647068218547*c_0101_6^4 - 1906401050163989863168386292890484052219043045677139474311623427914\ 554826069672384942347821988/299681280430011128395353725568157951202\ 12877883370812277703450879685949141276346647068218547*c_0101_6^3 - 4072024760103643200147633327461234128584465958333693908466716179502\ 252410955984600594720307081/299681280430011128395353725568157951202\ 12877883370812277703450879685949141276346647068218547*c_0101_6^2 + 1147586329584648213190208301842976164995944543401457152625382757133\ 495970666080768464476854737/299681280430011128395353725568157951202\ 12877883370812277703450879685949141276346647068218547*c_0101_6 - 8947463090320609731457826672868047581542281016032055320568669379531\ 1558557057134660869032250/29968128043001112839535372556815795120212\ 877883370812277703450879685949141276346647068218547, c_0011_5 - 309601484656125553276287344605168631406426120663990600465773\ 32733878708413714929122202846452/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^29 + 7013204704768287386329131621955128544004998502531654953866544\ 16678424370245613034767355769605/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^28 - 6858819966387337671850598005629547496558942085030509484637957\ 611171040392205289803524699457862/299681280430011128395353725568157\ 95120212877883370812277703450879685949141276346647068218547*c_0101_\ 6^27 + 326070859973876226943667240454586879601688791598930770249915\ 93419584432097929830931757820490575/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^26 - 1117492003873394626920924388463272157611447736468262007527\ 54458225333053173078711488005910851682/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^25 + 3112617219726927861212819450971591387514599210652703423\ 45389755974826696912684525484638743891251/2996812804300111283953537\ 2556815795120212877883370812277703450879685949141276346647068218547\ *c_0101_6^24 - 4678887476238150903471026895038296521929865061702918\ 95105083319554415767769192963569425213059030/2996812804300111283953\ 5372556815795120212877883370812277703450879685949141276346647068218\ 547*c_0101_6^23 + 1018345883293808345301476721634004245194112622531\ 575387923827014978785316839941380600330889845470/299681280430011128\ 3953537255681579512021287788337081227770345087968594914127634664706\ 8218547*c_0101_6^22 + 495781379536792305536629705395593873177729996\ 52248983543560625992640193332624572533042856315912/2996812804300111\ 2839535372556815795120212877883370812277703450879685949141276346647\ 068218547*c_0101_6^21 - 1230071159053135768818300873266930988267835\ 589377549565001451141503512478688596159303870859877487/299681280430\ 0111283953537255681579512021287788337081227770345087968594914127634\ 6647068218547*c_0101_6^20 + 523593544800380879565563300638901878122\ 8312930668630013611498329024019631800908798560030138328964/29968128\ 0430011128395353725568157951202128778833708122777034508796859491412\ 76346647068218547*c_0101_6^19 - 11063590926307070552931006734879583\ 788856818765200698362501130023698844663291278145209936713802320/299\ 6812804300111283953537255681579512021287788337081227770345087968594\ 9141276346647068218547*c_0101_6^18 + 1014117155309766783234836905896617349487840495744503478055546372636\ 3119624498693860816546262844448/29968128043001112839535372556815795\ 120212877883370812277703450879685949141276346647068218547*c_0101_6^\ 17 - 82531858734595763265985730752282058652852515158494439504768684\ 74362496978607995981718224676965346/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^16 - 1550334126465431626442796232111988772505502407204308955775\ 6942460618632879747947037830859474378161/29968128043001112839535372\ 556815795120212877883370812277703450879685949141276346647068218547*\ c_0101_6^15 + 68857089742874231445090695786773463040670694356483411\ 0700875354447979756936858161395960215579399/56543637816983231772708\ 2501071996134343639205346619099579310393956338663042949936737136199\ *c_0101_6^14 - 1309390473206368108405969225469057222650879292329063\ 7378799243013570269313221830864703199173799165/29968128043001112839\ 5353725568157951202128778833708122777034508796859491412763466470682\ 18547*c_0101_6^13 - 59649978842716595544977136065600202458587856163\ 50399776973207751623871125643041267156733835019035/2996812804300111\ 2839535372556815795120212877883370812277703450879685949141276346647\ 068218547*c_0101_6^12 + 1273432154346853676653198088883848148522968\ 3413770569520720808411855229200672561762312997607106757/29968128043\ 0011128395353725568157951202128778833708122777034508796859491412763\ 46647068218547*c_0101_6^11 - 18890483757273808823305411678054042271\ 396624950795639235201042165812261427581949853647974989582007/299681\ 2804300111283953537255681579512021287788337081227770345087968594914\ 1276346647068218547*c_0101_6^10 + 465345550997747008860902321272456\ 9100978057601896952529218608789422284481009314804425638816450664/29\ 9681280430011128395353725568157951202128778833708122777034508796859\ 49141276346647068218547*c_0101_6^9 + 8151802863259267716912162126396449300845121545654888321578009219452\ 797398548271399553910583210612/299681280430011128395353725568157951\ 20212877883370812277703450879685949141276346647068218547*c_0101_6^8 - 42063037035464958849736417407611243384578773833346002694938784738\ 61817131299914940527575672552405/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^7 - 39035323479003740112093028716361852581664493345476625831783025\ 4024375631178004475613370926835001/29968128043001112839535372556815\ 795120212877883370812277703450879685949141276346647068218547*c_0101\ _6^6 + 534006444252440612984807299453467521985953943850995256370642\ 696022194182790604201301199192975200/299681280430011128395353725568\ 15795120212877883370812277703450879685949141276346647068218547*c_01\ 01_6^5 - 1104947656979844060479935606831692714680280466218198887220\ 97629629451178581366165209361234960145/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^4 + 11486219369283748237680832370831621514845664465310626160\ 552652271479849670928662975585568930674/299681280430011128395353725\ 56815795120212877883370812277703450879685949141276346647068218547*c\ _0101_6^3 + 6344307321375476267880124150108976691793162125751771032\ 263646423824530636888018379019898590914/299681280430011128395353725\ 56815795120212877883370812277703450879685949141276346647068218547*c\ _0101_6^2 - 3005628852316767525585617250973613109159291224806784952\ 432934693107574124113198214601193056181/299681280430011128395353725\ 56815795120212877883370812277703450879685949141276346647068218547*c\ _0101_6 + 263998602685227558433447256158554055324968885811261918838\ 180561876181230561001403331005538979/299681280430011128395353725568\ 15795120212877883370812277703450879685949141276346647068218547, c_0101_0 + 315285965771046855811400822502375138179310341884818226089645\ 23886588937965968443198941837136/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^29 - 7200944209543658475797664282356197198328773684943320826897072\ 10238393189150545728872803491855/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^28 + 7116536149870755144961039661345120410591409033415537245145799\ 782900798368136252332424061280057/299681280430011128395353725568157\ 95120212877883370812277703450879685949141276346647068218547*c_0101_\ 6^27 - 344718981048051666549996822956932236313385632490171362486363\ 66988631292935396797188204275840351/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^26 + 1196239010342559303417060826540436572765752763463984624862\ 65398579636430306942709705626744588547/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^25 - 3364739045472327739312327085861974838080829948752844717\ 66530514061309111068609768669037935612149/2996812804300111283953537\ 2556815795120212877883370812277703450879685949141276346647068218547\ *c_0101_6^24 + 5297754627508957631020061670186811398222543683930152\ 05590100737070356210661831243133158571835619/2996812804300111283953\ 5372556815795120212877883370812277703450879685949141276346647068218\ 547*c_0101_6^23 - 1109778570241757227573227502121212150341131622102\ 069037297381511193760662477633015804993431750314/299681280430011128\ 3953537255681579512021287788337081227770345087968594914127634664706\ 8218547*c_0101_6^22 + 121022716977640823751863399618973532097556522\ 647286418814616287668909996805451138150524044836622/299681280430011\ 1283953537255681579512021287788337081227770345087968594914127634664\ 7068218547*c_0101_6^21 + 131459322605854458319334769715189181679391\ 3575895808589072000648461415844533070376751921765417802/29968128043\ 0011128395353725568157951202128778833708122777034508796859491412763\ 46647068218547*c_0101_6^20 - 55481786652806205763614714910855980021\ 01434510943206202737621042601838828579477775662002983497288/2996812\ 8043001112839535372556815795120212877883370812277703450879685949141\ 276346647068218547*c_0101_6^19 + 1219577128540363107865303385595112\ 1650638173611581113351581226912375497094518616362308356852643625/29\ 9681280430011128395353725568157951202128778833708122777034508796859\ 49141276346647068218547*c_0101_6^18 - 1215044045978861172369783876414789741216099950407703722501696456351\ 2482908881756875398513927198315/29968128043001112839535372556815795\ 120212877883370812277703450879685949141276346647068218547*c_0101_6^\ 17 + 97729727042889686488023005658115786800061208186787403977039269\ 70418910113742309685770697636373968/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^16 + 1463854432911160732861821268398210477440902103319604937860\ 2425007237307198478368857234912680816016/29968128043001112839535372\ 556815795120212877883370812277703450879685949141276346647068218547*\ c_0101_6^15 - 76347301880692177795387301187710671057871810260757601\ 6320529610181423800174978949029743623350006/56543637816983231772708\ 2501071996134343639205346619099579310393956338663042949936737136199\ *c_0101_6^14 + 1927615695644257243795475156710900619641974061402228\ 0790590515006377660543207179603836578136960098/29968128043001112839\ 5353725568157951202128778833708122777034508796859491412763466470682\ 18547*c_0101_6^13 + 54349188842801007778931012526164033696027166840\ 91281774540668099138930514337453118905696455667184/2996812804300111\ 2839535372556815795120212877883370812277703450879685949141276346647\ 068218547*c_0101_6^12 - 1430696261706156540534955146122278096963023\ 2854529918504348419514939358984936669586171704321226903/29968128043\ 0011128395353725568157951202128778833708122777034508796859491412763\ 46647068218547*c_0101_6^11 + 21217649881409639812138210396670938013\ 649147255830477983593851399982059761825114376302507781032102/299681\ 2804300111283953537255681579512021287788337081227770345087968594914\ 1276346647068218547*c_0101_6^10 - 772790657866226757735739797567610\ 6486267121487474084947292874106802667829976305500331227245520135/29\ 9681280430011128395353725568157951202128778833708122777034508796859\ 49141276346647068218547*c_0101_6^9 - 8344632704987155359397968075607116595888019653022753544717338651648\ 183298445807849176998591074993/299681280430011128395353725568157951\ 20212877883370812277703450879685949141276346647068218547*c_0101_6^8 + 58264770075495685585377559982204281334566220111569716053288801575\ 84028534382104481536850217519960/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^7 + 89466925231366922563879116791928300060516296959632166249809726\ 597159437967947052336100644344821/299681280430011128395353725568157\ 95120212877883370812277703450879685949141276346647068218547*c_0101_\ 6^6 - 7166463436923782592674251248121914189751222795632903570294089\ 50087624335119953668869911180780745/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^5 + 15657952728052586429053160185020108837533299641247718967231\ 8082103292796192509007144686783880914/29968128043001112839535372556\ 815795120212877883370812277703450879685949141276346647068218547*c_0\ 101_6^4 - 182774908415161013280112833585738064920462850530877591369\ 68388605315741328379475033023829720099/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^3 - 62212009289810967960428772195088990591533550517535905790\ 71179739789826538126049578462941148435/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^2 + 43013468299576298682046707462130531873238234005710710199\ 40397020209526011050945194984434134195/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6 - 4201492724602027006025573323169088615191717876715344102395\ 65261398384380231583422571903795432/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547, c_0101_1 - 143692729817063648959581013078741756290957872432376902635335\ 58913601266511476502552457300713/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^29 + 3013316403058179546507498856387570099264519750163362025028437\ 22915186078057056472101430979692/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^28 - 2645493927420175609922513223984092363059375949286795793612473\ 202719834130297021871527393554151/299681280430011128395353725568157\ 95120212877883370812277703450879685949141276346647068218547*c_0101_\ 6^27 + 999289358250249952437852939710471857297203879753964318481222\ 5679455424601195840543186069408659/29968128043001112839535372556815\ 795120212877883370812277703450879685949141276346647068218547*c_0101\ _6^26 - 28443010556184242460929133999270282030087767139768172501079\ 986835839899623293230551445317331095/299681280430011128395353725568\ 15795120212877883370812277703450879685949141276346647068218547*c_01\ 01_6^25 + 664324242207381614878817217981015364421791412362388105976\ 57921923383083032721908948794077988805/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^24 - 4735462480970622888455756111902113563887629486681164025\ 225971079756195492707701927014429781965/299681280430011128395353725\ 56815795120212877883370812277703450879685949141276346647068218547*c\ _0101_6^23 + 190323936821569709124721982145870914210465533917264060\ 058078705153761796447419564787990876385835/299681280430011128395353\ 7255681579512021287788337081227770345087968594914127634664706821854\ 7*c_0101_6^22 + 709593750777851886135549905096123620599812264502405\ 831830742370732456760272278581603362954041066/299681280430011128395\ 3537255681579512021287788337081227770345087968594914127634664706821\ 8547*c_0101_6^21 - 263934482374671296670779394291079614470375480276\ 575386411846512690410688346750375023440290945194/299681280430011128\ 3953537255681579512021287788337081227770345087968594914127634664706\ 8218547*c_0101_6^20 + 160444289907612461587838753219050011297021332\ 3435756993702496586878212930904845873065550394681669/29968128043001\ 1128395353725568157951202128778833708122777034508796859491412763466\ 47068218547*c_0101_6^19 - 13641677674701609562356072837964808857353\ 73259095149222139700726248619306684089609260203908864228/2996812804\ 3001112839535372556815795120212877883370812277703450879685949141276\ 346647068218547*c_0101_6^18 - 2442122446346623458727657777398797879\ 029229865535600254947118861162063181177959230268355685340238/299681\ 2804300111283953537255681579512021287788337081227770345087968594914\ 1276346647068218547*c_0101_6^17 + 132173972396815778156009296644348\ 8702690376220620975215521204205487231709052948909174077280313921/29\ 9681280430011128395353725568157951202128778833708122777034508796859\ 49141276346647068218547*c_0101_6^16 - 1170611152447024231635304421024075862999776086601660192461192556428\ 8560883872456728608426246758200/29968128043001112839535372556815795\ 120212877883370812277703450879685949141276346647068218547*c_0101_6^\ 15 + 58671066986288007323664881966412984664018703936680395514788966\ 055815492750772657804311772031487/565436378169832317727082501071996\ 134343639205346619099579310393956338663042949936737136199*c_0101_6^\ 14 + 16839430455085229945309290147600297868757936332724682280894293\ 616931178277244604682830679482459745/299681280430011128395353725568\ 15795120212877883370812277703450879685949141276346647068218547*c_01\ 01_6^13 - 420110300741301369439981045868335714368781848944750328926\ 0851924376750766219684486983765332448837/29968128043001112839535372\ 556815795120212877883370812277703450879685949141276346647068218547*\ c_0101_6^12 + 99771929386150642646339249097307752396031848391236583\ 2729612594247411049836221572471896156833488/29968128043001112839535\ 3725568157951202128778833708122777034508796859491412763466470682185\ 47*c_0101_6^11 - 70295221373086384324434704498137751230887466571188\ 0108929985560751272451043743036397157907078402/29968128043001112839\ 5353725568157951202128778833708122777034508796859491412763466470682\ 18547*c_0101_6^10 - 93986213615435299572530826595705874363520421952\ 61021970777570481064580393769800890605899466276947/2996812804300111\ 2839535372556815795120212877883370812277703450879685949141276346647\ 068218547*c_0101_6^9 + 29878629403588157314642905018000052110800312\ 19723534387760837074053439879823577740278387255532685/2996812804300\ 1112839535372556815795120212877883370812277703450879685949141276346\ 647068218547*c_0101_6^8 + 39300931032847799808169825893281945420237\ 40909958816531926684821147993065022020436909717429073801/2996812804\ 3001112839535372556815795120212877883370812277703450879685949141276\ 346647068218547*c_0101_6^7 - 12000075359990757893111552402255981161\ 25077775351497860935755709528953277064968189524239464617290/2996812\ 8043001112839535372556815795120212877883370812277703450879685949141\ 276346647068218547*c_0101_6^6 - 40089737868160427182710947069872073\ 5770118860938746686415458320572482309567259830351345331494098/29968\ 1280430011128395353725568157951202128778833708122777034508796859491\ 41276346647068218547*c_0101_6^5 + 110069737481991059603667056380014\ 684895652141823701016694230260971984287447236321745844228858413/299\ 6812804300111283953537255681579512021287788337081227770345087968594\ 9141276346647068218547*c_0101_6^4 - 1944129556795912839550329070827848663719777337402454677938175842904\ 7197795076625169521705639320/29968128043001112839535372556815795120\ 212877883370812277703450879685949141276346647068218547*c_0101_6^3 + 3034993004866804802410079202365465366141669735176459357576240023041\ 287529220101326836067703311/299681280430011128395353725568157951202\ 12877883370812277703450879685949141276346647068218547*c_0101_6^2 + 3220303980136270572276581469413700062795140341606594882064420942212\ 336683126254836271146820666/299681280430011128395353725568157951202\ 12877883370812277703450879685949141276346647068218547*c_0101_6 - 4209267016586278977632154209397217968447184364148857973824132460629\ 88668057947979107111680090/2996812804300111283953537255681579512021\ 2877883370812277703450879685949141276346647068218547, c_0101_4 - 432374698976152402063696521631678774355849176630578661221343\ 03599671359127160398118283562393/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^29 + 9780958446478838200666765000096371862667051804767623169374278\ 66425833857188763488438990565086/2996812804300111283953537255681579\ 5120212877883370812277703450879685949141276346647068218547*c_0101_6\ ^28 - 9548877138845506110465987971793949498261647546451028044000428\ 281653845215927709113786034244293/299681280430011128395353725568157\ 95120212877883370812277703450879685949141276346647068218547*c_0101_\ 6^27 + 452509683154009065255163183755179191153739309087274783816941\ 56553531697466293544070665866230437/2996812804300111283953537255681\ 5795120212877883370812277703450879685949141276346647068218547*c_010\ 1_6^26 - 1547451379034729640711866800404178875281816605804251370302\ 13766794791331134087738733092629121602/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^25 + 4302691262391584258506144379656324700945147342716414630\ 72948298991671228860793546694277168360934/2996812804300111283953537\ 2556815795120212877883370812277703450879685949141276346647068218547\ *c_0101_6^24 - 6413130350599490471279527645236061224579319442569930\ 62551356751415439219929986272940060806198705/2996812804300111283953\ 5372556815795120212877883370812277703450879685949141276346647068218\ 547*c_0101_6^23 + 1405520453559904133180484296814558324264283515678\ 356739887236835453869438329185624518591672531248/299681280430011128\ 3953537255681579512021287788337081227770345087968594914127634664706\ 8218547*c_0101_6^22 + 108652535770781104981499670928682038411833787\ 246544495226366798790958831783575828923151657153384/299681280430011\ 1283953537255681579512021287788337081227770345087968594914127634664\ 7068218547*c_0101_6^21 - 170442501598107714935225473941725295657682\ 4982845016174632644961993593613460435339781840603915916/29968128043\ 0011128395353725568157951202128778833708122777034508796859491412763\ 46647068218547*c_0101_6^20 + 72657180957895581759081854590137789383\ 13790818458784388669341762513740028031099485400972758427512/2996812\ 8043001112839535372556815795120212877883370812277703450879685949141\ 276346647068218547*c_0101_6^19 - 1523897373162930292509749962816790\ 0111334238633799503648843080951253583384865228715193760886537570/29\ 9681280430011128395353725568157951202128778833708122777034508796859\ 49141276346647068218547*c_0101_6^18 + 1374947410125827224174961161749187706574561213980066259092352907623\ 4857619261954697008588660985004/29968128043001112839535372556815795\ 120212877883370812277703450879685949141276346647068218547*c_0101_6^\ 17 - 11205180739951402087306634239360461397134768108751215340282503\ 271414874538506997448434414602484799/299681280430011128395353725568\ 15795120212877883370812277703450879685949141276346647068218547*c_01\ 01_6^16 - 219304525835505104880662280788244650993711803320714653349\ 18433470059845025027554593816598092395637/2996812804300111283953537\ 2556815795120212877883370812277703450879685949141276346647068218547\ *c_0101_6^15 + 9477527624063064385162687964967954959934419647282261\ 11868857191551923637562889693228330312864019/5654363781698323177270\ 8250107199613434363920534661909957931039395633866304294993673713619\ 9*c_0101_6^14 - 169612310092232559062766563229949556067026840257143\ 92478404034045936906108258160437780298015763847/2996812804300111283\ 9535372556815795120212877883370812277703450879685949141276346647068\ 218547*c_0101_6^13 - 8521259161309643555442142702827584397707741066\ 932116449541521985153554877551600571523699365100968/299681280430011\ 1283953537255681579512021287788337081227770345087968594914127634664\ 7068218547*c_0101_6^12 + 175372219527530186892155314838061008638189\ 54199271427692335779945830479211444404914534531946071652/2996812804\ 3001112839535372556815795120212877883370812277703450879685949141276\ 346647068218547*c_0101_6^11 - 2592931641429191287807125258794714929\ 8066253237522511283011466792660827041154511607343960022379191/29968\ 1280430011128395353725568157951202128778833708122777034508796859491\ 41276346647068218547*c_0101_6^10 + 5824436374264186493824494155865043927072970076086060050815916430190\ 968023624809162272817126563952/299681280430011128395353725568157951\ 20212877883370812277703450879685949141276346647068218547*c_0101_6^9 + 11401737868291016532205971600255512458800965546161153906285882469\ 912940348748482114588557933259810/299681280430011128395353725568157\ 95120212877883370812277703450879685949141276346647068218547*c_0101_\ 6^8 - 5555580722181891429695752552248508859631247493675614350121960\ 236343959246429684585107480111169940/299681280430011128395353725568\ 15795120212877883370812277703450879685949141276346647068218547*c_01\ 01_6^7 - 6215069275556516229419838901433266489442163264131873927850\ 07755148340082063436173157449585716450/2996812804300111283953537255\ 6815795120212877883370812277703450879685949141276346647068218547*c_\ 0101_6^6 + 71577331138149402227471837105591972200169834563004721286\ 1210151648209179031200702660585800357227/29968128043001112839535372\ 556815795120212877883370812277703450879685949141276346647068218547*\ c_0101_6^5 - 146347872560029360238476675286886433267886492641424710\ 080525212553221535018041626324198949699053/299681280430011128395353\ 7255681579512021287788337081227770345087968594914127634664706821854\ 7*c_0101_6^4 + 1469845360425736097862657795534336835261807416123487\ 0873742264472344155388032058739523288463687/29968128043001112839535\ 3725568157951202128778833708122777034508796859491412763466470682185\ 47*c_0101_6^3 + 925964289133252100270483815005278256348994011528746\ 1870375479731076982744576551294365256123087/29968128043001112839535\ 3725568157951202128778833708122777034508796859491412763466470682185\ 47*c_0101_6^2 - 397445042439542350093021830277409372181841977273042\ 4497046856408910651003158742533011467522180/29968128043001112839535\ 3725568157951202128778833708122777034508796859491412763466470682185\ 47*c_0101_6 + 34096895387923327661308500587905422891630507038687451\ 8977286912522876506921314030488656661673/29968128043001112839535372\ 556815795120212877883370812277703450879685949141276346647068218547, c_0101_6^30 - 22*c_0101_6^29 + 207*c_0101_6^28 - 914*c_0101_6^27 + 2973*c_0101_6^26 - 7927*c_0101_6^25 + 9309*c_0101_6^24 - 25078*c_0101_6^23 - 20432*c_0101_6^22 + 32047*c_0101_6^21 - 146865*c_0101_6^20 + 254586*c_0101_6^19 - 131490*c_0101_6^18 + 120362*c_0101_6^17 + 628762*c_0101_6^16 - 809647*c_0101_6^15 - 204919*c_0101_6^14 + 256706*c_0101_6^13 - 285889*c_0101_6^12 + 384548*c_0101_6^11 + 168465*c_0101_6^10 - 254180*c_0101_6^9 - 20352*c_0101_6^8 + 47541*c_0101_6^7 - 1921*c_0101_6^6 - 1812*c_0101_6^5 + 566*c_0101_6^4 - 231*c_0101_6^3 - 25*c_0101_6^2 + 14*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB