Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 3953817297] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2385 geometric_solution 5.75200946 oriented_manifold CS_known -0.0000000000000003 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 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.227881992416 0.217427747289 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 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.475036926467 1.974273139265 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.126648807634 0.868293880302 5 4 2 1 3201 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 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 0.126648807634 0.868293880302 4 3 4 2 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528369740267 0.858094779355 6 6 2 3 0132 3201 0132 2310 0 0 0 0 0 0 -1 1 -1 0 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 -1 0 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225546213410 1.258874612410 5 6 5 6 0132 2310 2310 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.678161048039 0.567456892653 ==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' : 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_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_0']), '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' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_5']), '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_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), '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' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_3']), '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_0011_5, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 1300523937577773100617473898004699749276715125972399593511200649444\ 71669742035303689915287291/4359936959264388307111171005256191005551\ 7406978988441990427335522004619220307520410613704704*c_0101_3^32 - 1728026027426060477895619911544985166168653438260398975598879852992\ 96062705751010854184219/1946400428243030494246058484489370984621312\ 81156198401742979176437520621519230001833096896*c_0101_3^31 - 7560047086539295941386402311332809661162163653825862121300642318954\ 124633804435844028913/425775093678162920616325293482049902885912177\ 52918400381276694845707635957331562900989946*c_0101_3^30 - 5086539969621358746275267967085729556969771547713380196298562088949\ 700928856528703258846675005/435993695926438830711117100525619100555\ 17406978988441990427335522004619220307520410613704704*c_0101_3^29 - 1242325686051069447058000948020433439119114080406478471182859614741\ 254169211968916922964448669/544992119908048538388896375657023875693\ 9675872373555248803416940250577402538440051326713088*c_0101_3^28 + 2014742789859621266162636666505395165506067741023691313507291035145\ 422110630265221632943308865/435993695926438830711117100525619100555\ 17406978988441990427335522004619220307520410613704704*c_0101_3^27 + 1895214027589670974466243061230220898690493408539891321197833464210\ 1116180169058927198056184793/21799684796321941535555855026280955027\ 758703489494220995213667761002309610153760205306852352*c_0101_3^26 + 2962436946308721650945075364613802406741773478746482993945187419568\ 974847053264138636767529509/136248029977012134597224093914255968923\ 4918968093388812200854235062644350634610012831678272*c_0101_3^25 - 5526343486887389372028642920222234224037559526484718438288562415065\ 8038696093641045581768151445/43599369592643883071111710052561910055\ 517406978988441990427335522004619220307520410613704704*c_0101_3^24 - 1908029171973337725893790376203548056066083177380289961136167569298\ 78266593615118958855561237861/2179968479632194153555585502628095502\ 7758703489494220995213667761002309610153760205306852352*c_0101_3^23 - 31714502429876397303802315994321030417923499711955186413612971157\ 068557019553220518904593289277/311424068518884879079369357518299357\ 5394100498499174427887666823000329944307680029329550336*c_0101_3^22 + 74680776362006385407793940838056870395969634578347790992105603413\ 628292922740438642437125536963/622848137037769758158738715036598715\ 0788200996998348855775333646000659888615360058659100672*c_0101_3^21 + 12786116051596566065634634249154860277620228570848312016703631457\ 84961844004220149231697607179185/2179968479632194153555585502628095\ 5027758703489494220995213667761002309610153760205306852352*c_0101_3\ ^20 + 2131444193795302614044795870432956278331036404680338661514926\ 46073834684562825673252898756512459/5449921199080485383888963756570\ 238756939675872373555248803416940250577402538440051326713088*c_0101\ _3^19 - 54869516296972291279726599410845822626249670583653766764863\ 02683016393043049828001865918708505485/4359936959264388307111171005\ 2561910055517406978988441990427335522004619220307520410613704704*c_\ 0101_3^18 - 4321191578130908685607239601716055954967011980764326679\ 40164601665197531569895410722971766356353/3114240685188848790793693\ 575182993575394100498499174427887666823000329944307680029329550336*\ c_0101_3^17 + 10357748498846580291052235281990440979666985206672225\ 3752717048847139210829646796101883210520735/54499211990804853838889\ 6375657023875693967587237355524880341694025057740253844005132671308\ 8*c_0101_3^16 + 120259158804266983592457518760599284922879968550051\ 57178094995696854974112063978406378278029044553/4359936959264388307\ 1111710052561910055517406978988441990427335522004619220307520410613\ 704704*c_0101_3^15 + 9288650937059573753635013830958913139913854339\ 812544046384892478296185779438695348692115408531511/435993695926438\ 8307111171005256191005551740697898844199042733552200461922030752041\ 0613704704*c_0101_3^14 - 125675657778244954505815872756838741646387\ 16568690565928421953584537092111368342098807933720805463/4359936959\ 2643883071111710052561910055517406978988441990427335522004619220307\ 520410613704704*c_0101_3^13 - 1375751914060685126281570034690551162\ 273073850937223038682104590819427660625177056877327038315701/544992\ 1199080485383888963756570238756939675872373555248803416940250577402\ 538440051326713088*c_0101_3^12 - 4663463125373636658869560100899430\ 3043511501478752702568512523087097456756554784368914888401915/21799\ 6847963219415355558550262809550277587034894942209952136677610023096\ 10153760205306852352*c_0101_3^11 + 9045573481430890768473571408520124155408797594647512861200220077177\ 639409300248805644461297282729/435993695926438830711117100525619100\ 55517406978988441990427335522004619220307520410613704704*c_0101_3^1\ 0 + 471751538348474118817731182975430859116466922828528216243588572\ 9926078654335790494222175296577237/43599369592643883071111710052561\ 910055517406978988441990427335522004619220307520410613704704*c_0101\ _3^9 - 412245046138649325353942468994781837557940487074797645135739\ 708060760725143881845456143054187599/622848137037769758158738715036\ 5987150788200996998348855775333646000659888615360058659100672*c_010\ 1_3^8 - 11108152479851885062930268155816995009837859147566400505235\ 08177480173447948146735949976086939305/4359936959264388307111171005\ 2561910055517406978988441990427335522004619220307520410613704704*c_\ 0101_3^7 - 91686995659505333507244748631024796253721167552454418191\ 5295150596524319003924212120473938418809/43599369592643883071111710\ 052561910055517406978988441990427335522004619220307520410613704704*\ c_0101_3^6 - 841013513033414999617372389818404525999527096495194462\ 509860255763956141241400613232437699589207/435993695926438830711117\ 1005256191005551740697898844199042733552200461922030752041061370470\ 4*c_0101_3^5 + 2917866737150084260836083546167641779459816962368758\ 41463461991353833082697795838059764560074327/2179968479632194153555\ 5855026280955027758703489494220995213667761002309610153760205306852\ 352*c_0101_3^4 + 27046474562097574562828013741263301040097228871827\ 5381856447841715831143211051049974844227760273/21799684796321941535\ 5558550262809550277587034894942209952136677610023096101537602053068\ 52352*c_0101_3^3 - 236505168338509317555510517947980713924257563612\ 30641148588734202592984329990494659170157021259/2179968479632194153\ 5555855026280955027758703489494220995213667761002309610153760205306\ 852352*c_0101_3^2 - 81205406145895274561295444259838942352424792592\ 848428876547863149119218944981720571802777394641/435993695926438830\ 7111171005256191005551740697898844199042733552200461922030752041061\ 3704704*c_0101_3 - 122179107171417218698245219752027699637366551910\ 6110731744378522659346447252050746846428619189/62284813703776975815\ 8738715036598715078820099699834885577533364600065988861536005865910\ 0672, c_0011_0 - 1, c_0011_1 + 217279402026155288190487436397642744185308535047224440658116\ 1015252411196747840204924551/21288754683908146030816264674102495144\ 295608876459200190638347422853817978665781450494973*c_0101_3^32 - 8168071003562345555479673903691208957791005826076542959946107654922\ 39109367837003476489/2128875468390814603081626467410249514429560887\ 6459200190638347422853817978665781450494973*c_0101_3^31 + 4755458856898010222839635316738818884489779042597237100502870538593\ 47268712791108819470/2128875468390814603081626467410249514429560887\ 6459200190638347422853817978665781450494973*c_0101_3^30 - 8483620547585314744793444582746938949383249832990555075112662447308\ 1625965143591694406301/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^29 - 1592164603555560573826790028313293499711141924371238667501082186018\ 55234971691019852150039/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^28 + 2510616530591148982619633250755106423340138299906021184403360740146\ 2560618152741143897722/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^27 + 5766554842143857936022440506038321265879824553020835797963406685090\ 61217069755350027954293/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^26 + 1508343601310964385353809715718024609353464238303289327026460291096\ 284400975537572423636965/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^25 - 9127435599023475996054887624799250199795101954862644005267257294749\ 73779167739089855771442/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^24 - 5832124780117533251933249942642616948394590663616785783165987207434\ 134604430655188214765057/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^23 - 6865874967575286607320598325107896646105036505375761487877767576223\ 835505340122031589907262/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^22 + 1118776841285324357796194651345571972529957687544721782511644665089\ 892352126160673722785025/304125066912973514725946638201464216347080\ 1268065600027234049631836259711237968778642139*c_0101_3^21 + 3935375858164381732569506449603773085248945901290706150650820684130\ 5031284851468205275578389/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^20 + 2555108723945026063983339547109499339968455089219823446327663775594\ 3139723250520595771997214/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^19 - 8342912772433804537353726802232550540562448458436783156712631033973\ 2371645906626523171638778/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^18 - 8083115657829207758983744834538766613443124833010467084342299392308\ 0810317905378191642060895/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^17 + 8021646823368281555095914301407380177630015562096807444344389874432\ 663246495412475520461088/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^16 + 1697410652407162440806720738627885432332630373411493996583573647337\ 54196067981124124245712638/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^15 + 1759554546244322941971168739977265879714987324792412057804705924234\ 0161575303369043216140389/30412506691297351472594663820146421634708\ 01268065600027234049631836259711237968778642139*c_0101_3^14 - 2672550968122317582162474574066856940447260340035779702446730150085\ 9120065536692293990661238/30412506691297351472594663820146421634708\ 01268065600027234049631836259711237968778642139*c_0101_3^13 - 1126070648360099406627137855574258308924289741999034712012100063840\ 76169339626152521821324611/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^12 - 2111790319024783151419659957691601383151028087955079491116494538914\ 204993300660663730848121/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^11 + 1096523453238901722639901225896744356882557371029209069377239464823\ 46386952019158842376133017/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^10 + 3988908819763423106519213455016381246623158883005579632649797729719\ 4915284137463802008736389/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^9 - 4106795383624173703199014670467071704082550448309250558102176983494\ 6174088835711972353721689/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^8 + 6104617049543973350211570744095376645628053709263119789746359834305\ 888981956037122688106969/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^7 - 1119113143167849874000591794040925736417084533240280256852309022506\ 8808315511637397877118786/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^6 - 1082436744528011230247839905349081371952212446833769112196277734254\ 1326478260051138526406879/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^5 + 8625939798888614292106940306259994365031228864937363299883293956157\ 746756726006638071340433/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^4 + 3846584005988186552294751637615159595431139156604992784617988802254\ 285173855289972358453693/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^3 - 2838859642910300218529521454214940323807849903564444025106122013336\ 14089192107209587767502/3041250669129735147259466382014642163470801\ 268065600027234049631836259711237968778642139*c_0101_3^2 - 3934964192549891919343444987368676465406647239681928061732203465103\ 55606842302248290244656/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3 + 1693309222304167993743076735384309000834197495915793375716079588390\ 61957505770394703683776/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973, c_0011_3 - 109128518585460802110650297720984289305666089178383696640634\ 2066446318623726175134167785/21288754683908146030816264674102495144\ 295608876459200190638347422853817978665781450494973*c_0101_3^32 + 6382269781696166340362269570547220041128702186161832207827928856609\ 6238137921218034985/21288754683908146030816264674102495144295608876\ 459200190638347422853817978665781450494973*c_0101_3^31 - 3262411492477675208012215203438197351233856612335360301160124191344\ 58894709766509287075/2128875468390814603081626467410249514429560887\ 6459200190638347422853817978665781450494973*c_0101_3^30 + 4252288492785851266938023759168602514074606761936617263697644348558\ 3668302180384942424463/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^29 + 9343279141072724720079739028392102317904701496852905930262722049311\ 9595479105324137578617/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^28 + 2125679161474621912786478247153829872795570432529345370932520748876\ 0951128858134018045654/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^27 - 2740908207125616575240301067626590261888599001862451320183639830887\ 87107524110200309878532/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^26 - 8434558484354774611373675706093421827154548754992851498180974285601\ 11075998561737338010496/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^25 + 1630266179580210469191372560047150745168906888443532886634720373181\ 41189081434418861545664/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^24 + 2899571835577853189298125867541376463486598004348466229539787784819\ 236544749780977335456460/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^23 + 4392978409056745040556713995148972730098416903272372957322978599818\ 793013789345055709421835/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^22 - 3217512083158359597394206077246662739715641676989608338415169953239\ 37979761073442931098393/3041250669129735147259466382014642163470801\ 268065600027234049631836259711237968778642139*c_0101_3^21 - 2006924496075798270890497019076891862067254177909567899279715661082\ 8213975854360626752803516/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^20 - 1946959280007559223325925127728708997799970500816351143931969151073\ 5432012741600246485933491/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^19 + 3374154340117511071574964774150500119156707793708700971252228960235\ 4910470633316160814572918/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^18 + 4954840306901049995075304713079388450786226473464331657098912140014\ 8023609726316661510600762/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^17 + 1523007515663747173526316128275932065117474644246077030482771075584\ 1129018619097582160248224/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^16 - 7571407690676795498878961103057817349027567924011505843362882888249\ 5207748302577483142197861/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^15 - 1209760337245919293841086678956170093810971739760621654319730386176\ 5347986002807263954094823/30412506691297351472594663820146421634708\ 01268065600027234049631836259711237968778642139*c_0101_3^14 + 8471915654904451368884237307978972364217441165722630005884785338560\ 586136136650610490018304/304125066912973514725946638201464216347080\ 1268065600027234049631836259711237968778642139*c_0101_3^13 + 6735460875198832758091507873373739302119986162804509201753236593506\ 3460321891551544993007954/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^12 + 2884576015390400077048276293279316341114198849912301568753831064068\ 3395287662595488282101864/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^11 - 3948592859730058497406489916183469292308692415960087832752079478525\ 4701367889960912972407302/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^10 - 2962828223468952342462182032987207361379042591584062888584415947890\ 0527833459336439780431493/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^9 + 6977408161206696659032880223071157226096705901995134334338765475757\ 269261045827893763677168/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^8 - 3830445258639581648387624774035887406125508973946412237016058992929\ 566126349938788460150954/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^7 + 5019723407204202608968025268919451325965719608616141400943960810443\ 296801320446415788655677/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^6 + 6626119725423050060552683357069336097812108547558121688163324829980\ 290911995082996214719855/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^5 - 1511693933401622095572037642381325653850144097207709632479632081854\ 520714903921499520126044/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^4 - 1820212610289213641143756325830162245224022600487795465024594124601\ 679467267881831269609673/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^3 + 3909811193294151237661271029278102782953697780790593648238003209134\ 7776649545790274585206/30412506691297351472594663820146421634708012\ 68065600027234049631836259711237968778642139*c_0101_3^2 + 1236739280269032619838824102455608302814037405767663150710641467963\ 29145824798520656728617/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3 - 2651076239197955595222582280328698131405153574395584229844229796525\ 8625040329519393821069/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973, c_0011_5 - 457024392921098070149778799799885544018011020511773143840121\ 071533742947570104393538739/212887546839081460308162646741024951442\ 95608876459200190638347422853817978665781450494973*c_0101_3^32 - 8223509904231608469496499831551643376423577268107858016975520766312\ 681846734404767625/212887546839081460308162646741024951442956088764\ 59200190638347422853817978665781450494973*c_0101_3^31 - 4322616647006781389139212401741054205181070839262571001633948515406\ 6431674161405864879/21288754683908146030816264674102495144295608876\ 459200190638347422853817978665781450494973*c_0101_3^30 + 1782015805754752977348585762323109569063946510162982945683425787594\ 2339434668029480709438/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^29 + 4055006509065914364938931111504232149559307467352181804394920402497\ 0382913483944776137180/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^28 + 8356310368319243716533149672049658715135297680732053452580312079336\ 465080228930475988479/212887546839081460308162646741024951442956088\ 76459200190638347422853817978665781450494973*c_0101_3^27 - 1229792616361366886635458376497797279448298801936343858391594655648\ 37608814937170011115622/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^26 - 3674382535920681844892901286295790154467790363973231889460328568097\ 28327322108179129877367/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^25 + 6024441471357471136277870631589885915371787703805276940348019996059\ 8984003303560199294672/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^24 + 1294547457562638423251574963791398261660495824669362463396104874742\ 025956352043073119747477/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^23 + 1946639983202038952914291780471244766313469618606804031469292200482\ 751690780654425909149012/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^22 - 1459181878789503016920399544442848018274429315799108295957299900133\ 83720741717024835363081/3041250669129735147259466382014642163470801\ 268065600027234049631836259711237968778642139*c_0101_3^21 - 8908792108772364676558802057816648911826359231778644242851125543362\ 755082469901495196176828/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^20 - 8796185358565890710816078308465804169915293681291948741097350333903\ 199149252122700204483020/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^19 + 1507723689205915067401163196779572802488399305619317632900623549884\ 5950132831830057368345914/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^18 + 2394204441111354426361404368355784387607766084067078031736648794033\ 7925584801684031616037184/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^17 + 6191337327248268740629415176166894227804588416364407292318124564644\ 148322561211484326870432/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^16 - 3538035685007598027872065161290704891987115199572505789351734510216\ 7325432924541172093841044/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^15 - 5846199577758377649833973636076381191901429182919838946448246317683\ 717762907613795036764503/304125066912973514725946638201464216347080\ 1268065600027234049631836259711237968778642139*c_0101_3^14 + 3791631735036457653116570928329337404194975114061066885208579811184\ 138297997912166746709645/304125066912973514725946638201464216347080\ 1268065600027234049631836259711237968778642139*c_0101_3^13 + 3781480807802266044246081803963627171853807102712778027654255573350\ 3204459419757915380009115/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^12 + 1277890223251425572005443228537531714433860133079437235306021015491\ 5932806459485763735421415/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^11 - 1986413190130938982660145540396494177112328087709653022862803658953\ 1808168804244371652906543/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^10 - 1795546333080536947234514989482772551373188467449595248819571330157\ 8396279008029500590961076/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^9 + 3103233752226630864010766892828162269645127107500750451217591342042\ 987519103523413815003232/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^8 + 4731586379035802754974778684837919665612412490278847431574837479387\ 68700618349436092441490/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^7 + 2335217820113014626256976758071392292706786336873222580071208242549\ 681435519143056691135657/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^6 + 3669839165274072713091884706902772263987529228487086836266004190413\ 481747563270140929679845/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^5 - 6352583909817481110765539784077610530060036188707791245559412086460\ 18910475240498955884158/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^4 - 1193948486493509909047008906105690508781595849427671164910827450783\ 724391727733543766791104/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^3 + 1563206910682048599833915392743943834445655232217541129616733336414\ 514682066210153917583/304125066912973514725946638201464216347080126\ 8065600027234049631836259711237968778642139*c_0101_3^2 + 1214419875635558461475651548213125660144775507543611523780646085278\ 40696521664199913616237/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3 - 8347640600680215345310682071064060757790370742463061187340762176188\ 873928977233776936595/212887546839081460308162646741024951442956088\ 76459200190638347422853817978665781450494973, c_0101_0 - 216343396395772485059507211708259333360585489439559800606241\ 4288838557122176257183197310/21288754683908146030816264674102495144\ 295608876459200190638347422853817978665781450494973*c_0101_3^32 + 7056975323479671388938153867486913087441797974195038745876408866134\ 92452714242798579403/2128875468390814603081626467410249514429560887\ 6459200190638347422853817978665781450494973*c_0101_3^31 - 3874137967870603097626663583873584624881508208950234771820333511363\ 19607490110126444269/2128875468390814603081626467410249514429560887\ 6459200190638347422853817978665781450494973*c_0101_3^30 + 8450871842332480235918555439792705626305977321262918064949750541073\ 8498407044654354917185/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^29 + 1628079675930668804925380052600407510255205240008166784102402454389\ 32468526792299843763635/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^28 - 1882570254067755903244330190732632992163120252278666070261199773827\ 1372314973473326803044/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^27 - 5817669485022045198680592819101833433790162352855218029244330760284\ 08538139300349476517551/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^26 - 1539337581799606987100142976039054430661851444144413116844549908139\ 215716412250160226365086/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^25 + 8366620592767180481426005196752367075571803884435753198868694466040\ 40037819744386498013344/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^24 + 5896395095355960626589787614296502904762436816740130302709142235113\ 125226437042758599893281/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^23 + 7179068430759624690912757943139638602514025985944975924154036481110\ 246760934292499475682034/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^22 - 1075500905274242043891611786371214654969108663401055016417964160303\ 121983266818858853933034/304125066912973514725946638201464216347080\ 1268065600027234049631836259711237968778642139*c_0101_3^21 - 3989005067934519684227423799445379815480220694810525989598579447273\ 4935440329475247779420277/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^20 - 2770309956235512138525188190792585916966738996018024864335646020267\ 3150854961265963779430936/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^19 + 8239373343975470340669626570473242047471850890252815075705417801455\ 1678265499597722195465383/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^18 + 8645224868059427284345599421903031122222176530314579323679070972089\ 8938011013284563067444198/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^17 - 3146258106735118720805037748425926265313072241580984206556564292463\ 663880068947205414487896/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^16 - 1714278209289062199897558410008135458522539014199351207457913055667\ 54111590066962492735957990/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^15 - 1929862307313748352720464056456695553331403756460908369926400318915\ 7410021508727595580905190/30412506691297351472594663820146421634708\ 01268065600027234049631836259711237968778642139*c_0101_3^14 + 2557788011511721092086214516151736764103131652256517996135266731483\ 8944445629630972619814203/30412506691297351472594663820146421634708\ 01268065600027234049631836259711237968778642139*c_0101_3^13 + 1258536992821824107131882951344579735380266513300418093987622761315\ 24010131774380251151640777/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^12 + 1207747854466468898962883601361138809734152173439348262496305616403\ 9477378773988736445032613/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^11 - 1087713591826107603504302339496658507819966987261878578367483924813\ 18951999291188187171238971/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^10 - 4888255649738443404023002598764877309230370894412213187491749663213\ 6469533415523223152823235/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^9 + 3588272663428935140827360751872059939949016791028946540651162584707\ 8386656860730406260897704/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^8 - 4478573071621102831473477778817374340082143361237054021994155183868\ 387997433352377049055842/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^7 + 1160501353248137677047087235275708799380763961104962898489706050887\ 4567733581618440785892026/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^6 + 1237083352627037159224299943631929017523825598068661677923176381635\ 4643932160675049541007568/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^5 - 7532075186689716545527218079902357342384746816313824667154063641120\ 532989450617176641700923/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^4 - 4192968380370140571051859112883217295602595660094194833560024832269\ 185991371194704480902474/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^3 + 2324364870694620193463193135930986146461154716976157314743034180444\ 60602395071492919271538/3041250669129735147259466382014642163470801\ 268065600027234049631836259711237968778642139*c_0101_3^2 + 3856691489270630692963880589128608933610490432299655678728349269182\ 49245123419513240767854/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3 - 1344356083803277829139548114669420341090547537020337648237605497676\ 26809215765405644859171/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973, c_0101_1 - 206509011338922420317742293183949936898509524023218352832453\ 2846168905321281830587316749/21288754683908146030816264674102495144\ 295608876459200190638347422853817978665781450494973*c_0101_3^32 + 8981479908041523323105456051325921061804814313443676791924324845077\ 91955464847980665015/2128875468390814603081626467410249514429560887\ 6459200190638347422853817978665781450494973*c_0101_3^31 - 3976150869517418047090113362021048761228542643994652456700263022729\ 47250609174469705504/2128875468390814603081626467410249514429560887\ 6459200190638347422853817978665781450494973*c_0101_3^30 + 8068534401678791575165434439403263832494878153719468251273845515486\ 4059303427983005613999/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^29 + 1466232598824097977969471053296162892899131241934006439948719136290\ 54806495951547476816389/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^28 - 3666132555303502874861700808701608975315098855461274836197521636765\ 8057995793101847029834/21288754683908146030816264674102495144295608\ 876459200190638347422853817978665781450494973*c_0101_3^27 - 5565201120202046624971396835594854611115730655895970838786189025547\ 19150535885053675708733/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^26 - 1407134062966403701742686318845889506943195200413069856601039483975\ 058223258629228358184759/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^25 + 9733522359812509352205891901368825229277585185130360787765762547820\ 33884099455441296282320/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3^24 + 5574487298068040597379068972923020425446943436202571410905053078837\ 735435638315296833950781/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^23 + 6213665128405694324792227858108073814765107092541242728995225995941\ 843077775942254673715390/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^22 - 1153540493130813232775545062478880501751043042576108532274199792126\ 321096899770182537525699/304125066912973514725946638201464216347080\ 1268065600027234049631836259711237968778642139*c_0101_3^21 - 3744048337917800683766768198066121576309011719051861450217960606213\ 5907624381894123209949366/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^20 - 2206521274962000468681951332349118683994165562640503306184731684775\ 0658781875434974989687460/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^19 + 8247972771705233545477889533155776180789544941184974408874672470311\ 5893138879181984785036865/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^18 + 7447644765735897352279601594104848375357619638840328390675994550208\ 5144587297284347781374320/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^17 - 1421654999820063797319468203707772381377055185110569176977207981730\ 2965381390825006137311849/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^16 - 1656228723472826215360825249591583700553530166806998401908603027452\ 22657457566745040626380381/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^15 - 1580144491236874221262794089617728995234576507407141380224207658280\ 5657594983024750545820882/30412506691297351472594663820146421634708\ 01268065600027234049631836259711237968778642139*c_0101_3^14 + 2712804281283431661015245408293619604454824019727760994609535287172\ 6735114816167540251915104/30412506691297351472594663820146421634708\ 01268065600027234049631836259711237968778642139*c_0101_3^13 + 1051671766677683770912033795264754863548547913885292377769704552375\ 17682181163667005116098774/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^12 - 6522879082573220398919297247682813974640700018567889351251714412234\ 723223034795824550953950/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^11 - 1098116546458348752279494886103464063533570862165685679553724230604\ 26101694525687868085084723/2128875468390814603081626467410249514429\ 5608876459200190638347422853817978665781450494973*c_0101_3^10 - 3584048585604470173550701676462890413520193501182259848802150468611\ 4263550269755164208528226/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^9 + 4306667389027236173475762926765102972598448911831227867948832525553\ 7842478743096714383396441/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^8 - 5686187031061988738201274160328218861037267154020287603576777885802\ 674981804608916395501069/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^7 + 1089919035434710204174874462884667979265329395177501215121308448925\ 8890531609872510161484080/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^6 + 1013416128575020320616996817091288051597377606691163972595807741903\ 8123662894737443801084687/21288754683908146030816264674102495144295\ 608876459200190638347422853817978665781450494973*c_0101_3^5 - 9018167959067969269136427340182563566451231863896278355286421376558\ 326198984383558166794987/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^4 - 3675864702702587169850476890091802154243684823020723387091240370930\ 948172184621649613941029/212887546839081460308162646741024951442956\ 08876459200190638347422853817978665781450494973*c_0101_3^3 + 3027699716158779028101640425954207031223767936989129888592807166325\ 19846959447941468673726/3041250669129735147259466382014642163470801\ 268065600027234049631836259711237968778642139*c_0101_3^2 + 3942396524912180843284252351773378677153049051549020241636172273288\ 26702020869773671643314/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973*c_0101_3 - 1715038486863688077347830257419858716884437171647309122511347467518\ 63127381824472940700419/2128875468390814603081626467410249514429560\ 8876459200190638347422853817978665781450494973, c_0101_3^33 - 39*c_0101_3^30 - 88*c_0101_3^29 - 13*c_0101_3^28 + 278*c_0101_3^27 + 800*c_0101_3^26 - 175*c_0101_3^25 - 2910*c_0101_3^24 - 4194*c_0101_3^23 + 2607*c_0101_3^22 + 19878*c_0101_3^21 + 18632*c_0101_3^20 - 35351*c_0101_3^19 - 53738*c_0101_3^18 - 9048*c_0101_3^17 + 83595*c_0101_3^16 + 89237*c_0101_3^15 - 68341*c_0101_3^14 - 91864*c_0101_3^13 - 20226*c_0101_3^12 + 54763*c_0101_3^11 + 41487*c_0101_3^10 - 12555*c_0101_3^9 - 6475*c_0101_3^8 - 4539*c_0101_3^7 - 7413*c_0101_3^6 + 2122*c_0101_3^5 + 3718*c_0101_3^4 - 162*c_0101_3^3 - 611*c_0101_3^2 - 9*c_0101_3 + 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.280 seconds, Total memory usage: 32.09MB