Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 1680210109] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1735 geometric_solution 5.43776898 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470849334384 0.183111836888 2 0 2 0 0132 2310 1023 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684339693226 0.534329393666 1 3 1 4 0132 0132 1023 0132 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.496045444259 0.646059799974 5 2 6 4 0132 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 0 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 -1 0 0 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.143784240468 0.725958996298 3 6 2 5 3201 0132 0132 3201 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143784240468 0.725958996298 3 4 5 5 0132 2310 1230 3012 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 1 0 -1 1 0 -1 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.172435939211 0.700289498968 6 4 6 3 2031 0132 1302 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 -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.792232820538 1.396518436701 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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_4'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_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_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 6353848119582143157084014413218074369973157456023086269128828125598\ 4738663805/22656284244463493113126414390503099276270438633164486531\ 9549701069789816553016*c_1001_3^21 - 3748676149481389749369935533824003690838334179666290355300404901659\ 2140620967/80915300873083903975451479966082497415251566547016023328\ 41060752492493448322*c_1001_3^20 + 4207925259019646264839030212926357151877050298475841138574029693564\ 68534707493/8391216386838330782639412737223370102322384678949809826\ 649988928510733946408*c_1001_3^19 + 1559103772225468331833537193250859738780532253696340840519079701892\ 5843914190334/28320355305579366391408017988128874095338048291455608\ 164943712633723727069127*c_1001_3^18 - 2294795554709417366957194597908659571998522509921033805768189495003\ 0042457172945/56640710611158732782816035976257748190676096582911216\ 329887425267447454138254*c_1001_3^17 - 4453613405660184056207223515527215077799800239702116388109846440251\ 82882940123197/5664071061115873278281603597625774819067609658291121\ 6329887425267447454138254*c_1001_3^16 + 1689406301826493470674650270088902708990582829578828208755066041487\ 138509927914011/226562842444634931131264143905030992762704386331644\ 865319549701069789816553016*c_1001_3^15 + 3218741203880898109321075039654539825986819591852774150883107084035\ 457049610614247/755209474815449770437547146350103309209014621105482\ 88439849900356596605517672*c_1001_3^14 - 8514158248895649511284562566250514012908162779859977627712422610901\ 151284650758943/226562842444634931131264143905030992762704386331644\ 865319549701069789816553016*c_1001_3^13 - 1519452269120095001956824901577591947076048962497238306794129130813\ 066738402106221/125868245802574961739591191058350551534835770184247\ 14739974983392766100919612*c_1001_3^12 + 3241548722920818889400853274799499601502648089466959725011783969424\ 8669550553775851/22656284244463493113126414390503099276270438633164\ 4865319549701069789816553016*c_1001_3^11 + 3208009427914560175166372950644642524266527002028597219609735130641\ 8985535751635913/22656284244463493113126414390503099276270438633164\ 4865319549701069789816553016*c_1001_3^10 - 8294829877891152647824457392465081304728287355836563373948679107486\ 257585337526987/377604737407724885218773573175051654604507310552741\ 44219924950178298302758836*c_1001_3^9 - 1164850766114885405567482475107642082294970373684971866212157693093\ 0790092912074853/22656284244463493113126414390503099276270438633164\ 4865319549701069789816553016*c_1001_3^8 + 3115661523151464559246439691841039918076698028543673110136305150589\ 0850944694003603/22656284244463493113126414390503099276270438633164\ 4865319549701069789816553016*c_1001_3^7 - 6130247684123120454351402095816115264875215492338229750088012893145\ 338888013796625/226562842444634931131264143905030992762704386331644\ 865319549701069789816553016*c_1001_3^6 - 1459256950375089067328333738516653586107450129071952547095282127522\ 284343901316283/377604737407724885218773573175051654604507310552741\ 44219924950178298302758836*c_1001_3^5 + 4658037641820689114219438542444717088878613920049916962995660100712\ 947513710870441/226562842444634931131264143905030992762704386331644\ 865319549701069789816553016*c_1001_3^4 + 5560874033908027053652644659534352953037307417404353294061238348790\ 70925940776579/7552094748154497704375471463501033092090146211054828\ 8439849900356596605517672*c_1001_3^3 - 3387848228795985241404592360548126786883787762995594529620414912830\ 0464893707301/75520947481544977043754714635010330920901462110548288\ 439849900356596605517672*c_1001_3^2 - 1383588743684520665842937349635266467824163930844961861769950545122\ 03962557989061/1132814212223174655656320719525154963813521931658224\ 32659774850534894908276508*c_1001_3 - 2658990159074709780561214537446752173550330953184819849854463468358\ 0036629230883/25173649160514992347918238211670110306967154036849429\ 479949966785532201839224, c_0011_0 - 1, c_0011_1 - 978017443257418154203393513375774408065686111746530645769450\ 9773438493/48336499924183933079720119454051671096327100685194757065\ 95615742229685453*c_1001_3^21 - 16037426877005003703326218439075013\ 8748947980478058013433325973287574182/48336499924183933079720119454\ 05167109632710068519475706595615742229685453*c_1001_3^20 + 1768760479579351822359758306314450452092442716137911984081424500034\ 087800/483364999241839330797201194540516710963271006851947570659561\ 5742229685453*c_1001_3^19 + 189905050870790161317220466870579504964\ 37019930861882340471349382476978539/4833649992418393307972011945405\ 167109632710068519475706595615742229685453*c_1001_3^18 - 1652375798803460643641023047927046876506170642331310545901713377301\ 2385243/48336499924183933079720119454051671096327100685194757065956\ 15742229685453*c_1001_3^17 - 27299614289866187981390625523598489223\ 6174167690975666021584904781663407343/48336499924183933079720119454\ 05167109632710068519475706595615742229685453*c_1001_3^16 + 2945009536975322024463204809525634086729284570518990538582184739179\ 53869327/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^15 + 1461854961072119935795693920688151402\ 093714868731422474039479059248452238072/483364999241839330797201194\ 5405167109632710068519475706595615742229685453*c_1001_3^14 - 1508570803648083739023460350530870113873723988522776240400522412886\ 977649382/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^13 - 407776927865757558707950964814202757\ 9595745325400543125869091308805170568917/48336499924183933079720119\ 45405167109632710068519475706595615742229685453*c_1001_3^12 + 5580871814161350418895696916313012627607017782840165933838607066580\ 364498836/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^11 + 438055632593428582821631313782017844\ 7393322634500894694525725205118004193618/48336499924183933079720119\ 45405167109632710068519475706595615742229685453*c_1001_3^10 - 8497815454490840991434553262515858801454147161991911034504191087149\ 268364702/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^9 - 7800851088347627981513270179531144715\ 50476422231905147800197841621881520167/4833649992418393307972011945\ 405167109632710068519475706595615742229685453*c_1001_3^8 + 5221288794228911959450630933849922345845973435423748345172907079849\ 708045508/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^7 - 1645189209509725970018330843626614193\ 232216426983044347366478184419530296929/483364999241839330797201194\ 5405167109632710068519475706595615742229685453*c_1001_3^6 - 1327743151497435920670354121830674342973416787024511338660409161670\ 585811309/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^5 + 9294743933309989967037766327831052889\ 33795550820086124253403746931350395967/4833649992418393307972011945\ 405167109632710068519475706595615742229685453*c_1001_3^4 + 2363345710177379803810460136498550997031129706918150314894447629548\ 63235979/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^3 - 95317398253371500701925935926429707929\ 796682223647571035558153272314771928/483364999241839330797201194540\ 5167109632710068519475706595615742229685453*c_1001_3^2 - 5344897864185859641169414963539861288555943482982682981395776538052\ 8644333/48336499924183933079720119454051671096327100685194757065956\ 15742229685453*c_1001_3 - 57253418020036740461926919618898554109144\ 46473250293311339230400846270458/4833649992418393307972011945405167\ 109632710068519475706595615742229685453, c_0011_4 - 494635492561585558771484940931584554077982838968481882813727\ 011137963747/203013299681572518934824501707017018604573822877817979\ 677015861173646789026*c_1001_3^21 - 4037290713871279543554999716972059504534309665140294593329358172165\ 501798/101506649840786259467412250853508509302286911438908989838507\ 930586823394513*c_1001_3^20 + 3001175373927686810826984400796303926\ 0654163458275975267971345577816830583/67671099893857506311608167235\ 672339534857940959272659892338620391215596342*c_1001_3^19 + 4767996051301137139839346103178946311751305681652089982734866621168\ 98644491/1015066498407862594674122508535085093022869114389089898385\ 07930586823394513*c_1001_3^18 - 45152483002850687127929032030378923\ 6032757251394096833777476427236372809644/10150664984078625946741225\ 0853508509302286911438908989838507930586823394513*c_1001_3^17 - 6857387254824996758792468713341630522486055308068394590380179900039\ 046774739/101506649840786259467412250853508509302286911438908989838\ 507930586823394513*c_1001_3^16 + 1585891229011934486839521033567837\ 7698159171751285065069029819634198549929347/20301329968157251893482\ 4501707017018604573822877817979677015861173646789026*c_1001_3^15 + 2414107010422474344619448686142630294971281446397871960458426329743\ 4624038503/67671099893857506311608167235672339534857940959272659892\ 338620391215596342*c_1001_3^14 - 8089191446807056110788192848519491\ 8507110378942745096644438763841083749485763/20301329968157251893482\ 4501707017018604573822877817979677015861173646789026*c_1001_3^13 - 3317638102596204153486444375880355951056728523380092231734029411518\ 8051680542/33835549946928753155804083617836169767428970479636329946\ 169310195607798171*c_1001_3^12 + 2937172789651918193575882685828835\ 27435201104704980769076787827032556429601217/2030132996815725189348\ 24501707017018604573822877817979677015861173646789026*c_1001_3^11 + 1982820702749878628257242857074366094394874429008309205009930337192\ 80932237875/2030132996815725189348245017070170186045738228778179796\ 77015861173646789026*c_1001_3^10 - 7250520100575710916361756540580093583300620687285979648555899960846\ 6495476114/33835549946928753155804083617836169767428970479636329946\ 169310195607798171*c_1001_3^9 - 13329366747126990535200913912772420\ 466853815096658590429398407268466068355419/203013299681572518934824\ 501707017018604573822877817979677015861173646789026*c_1001_3^8 + 2599701243029532145527780282379137109882105439617645169488747801737\ 18755266603/2030132996815725189348245017070170186045738228778179796\ 77015861173646789026*c_1001_3^7 - 942090674255083548539614310136468\ 71885581231391463033163102185085679147340139/2030132996815725189348\ 24501707017018604573822877817979677015861173646789026*c_1001_3^6 - 1036520033657661316326472289692673749716275020405223456312251845454\ 1522700382/33835549946928753155804083617836169767428970479636329946\ 169310195607798171*c_1001_3^5 + 48771940674281394074701947624471928\ 691977861687514170496331053222037119059777/203013299681572518934824\ 501707017018604573822877817979677015861173646789026*c_1001_3^4 + 4434970541822440286859505681935778710768362371559351150556977558948\ 26734927/9667299984836786615944023890810334219265420137038951413191\ 231484459370906*c_1001_3^3 - 18431257975274577588459127874335842575\ 08772476949559852596130696455062795181/6767109989385750631160816723\ 5672339534857940959272659892338620391215596342*c_1001_3^2 - 1288118071579890135821067964282696727478063262050866508158414282946\ 521347237/101506649840786259467412250853508509302286911438908989838\ 507930586823394513*c_1001_3 - 4186396366050655294984630119272461354\ 8317364132554575713154221747408699035/67671099893857506311608167235\ 672339534857940959272659892338620391215596342, c_0101_0 - 275193525152820077518850217038269640745142658204584083779571\ 2361284923/48336499924183933079720119454051671096327100685194757065\ 95615742229685453*c_1001_3^21 - 43774312061045880085867669095046558\ 196510888775432974495005026451251619/483364999241839330797201194540\ 5167109632710068519475706595615742229685453*c_1001_3^20 + 5196009633027418011289556841625174783135591067251218593782272567513\ 91806/4833649992418393307972011945405167109632710068519475706595615\ 742229685453*c_1001_3^19 + 5094921608089852913905259767570672051494\ 933808556997329339748420848174405/483364999241839330797201194540516\ 7109632710068519475706595615742229685453*c_1001_3^18 - 7227556137692716889127655084389579105767845602679424077618166326061\ 705518/483364999241839330797201194540516710963271006851947570659561\ 5742229685453*c_1001_3^17 - 740401313182307964592327912341154276196\ 46560045260975073253125497567031689/4833649992418393307972011945405\ 167109632710068519475706595615742229685453*c_1001_3^16 + 1201326182462599057182258170970082465172825771367551450479775786406\ 19750992/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^15 + 3635489652886136456730891966977468435\ 51083181144441118103824131409050241836/4833649992418393307972011945\ 405167109632710068519475706595615742229685453*c_1001_3^14 - 6185700974577649705026008532508027443318112740107624318465428504580\ 08422216/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^13 - 9013948289798578326267171967856357007\ 67985133666640119480158302452567192629/4833649992418393307972011945\ 405167109632710068519475706595615742229685453*c_1001_3^12 + 2095211177909759110319875456218229236956129022690705905858626221614\ 890267144/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^11 + 354696933929076000861420603903187211\ 445049017133899592823793825613183322048/483364999241839330797201194\ 5405167109632710068519475706595615742229685453*c_1001_3^10 - 2857583384305883828142142134765311162495040864917676797353041715136\ 308856524/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^9 + 1074351770217296559061259950941863645\ 586205539965564995907079903990296096554/483364999241839330797201194\ 5405167109632710068519475706595615742229685453*c_1001_3^8 + 1377856596769785811449959958548475606454655745319259084979607338961\ 277542544/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^7 - 1247394966153880752600855224108227263\ 460549286882123395086515023320177792057/483364999241839330797201194\ 5405167109632710068519475706595615742229685453*c_1001_3^6 - 3148826152981609301782203178933616855255487114374323536772865050565\ 087730/483364999241839330797201194540516710963271006851947570659561\ 5742229685453*c_1001_3^5 + 4284928561193317656005549138760214461162\ 11816557927200750455421067907840070/4833649992418393307972011945405\ 167109632710068519475706595615742229685453*c_1001_3^4 - 1153387684724338588535208667082182896916994873900902331876586832313\ 09469517/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^3 - 33487036782704717415453926039656597693\ 456296421644852483826905595859397163/483364999241839330797201194540\ 5167109632710068519475706595615742229685453*c_1001_3^2 + 1125869276960208230161198933633209321083677506609530802383920693871\ 5244653/48336499924183933079720119454051671096327100685194757065956\ 15742229685453*c_1001_3 + 49348768436944560483630849702011666931175\ 86699902449080570148324380199572/4833649992418393307972011945405167\ 109632710068519475706595615742229685453, c_0101_1 + 382287623007252818257403981687266889015645568818958208585333\ 1856293593/48336499924183933079720119454051671096327100685194757065\ 95615742229685453*c_1001_3^21 + 63333473206382175967377683859723690\ 459498734744860972303727567414712713/483364999241839330797201194540\ 5167109632710068519475706595615742229685453*c_1001_3^20 - 6814505532739184704047198724011851292912252667274621988069129604003\ 68212/4833649992418393307972011945405167109632710068519475706595615\ 742229685453*c_1001_3^19 - 7550600487441702818136182163888858923428\ 662633359611671757490967085577246/483364999241839330797201194540516\ 7109632710068519475706595615742229685453*c_1001_3^18 + 5332052974597493360333804892522710376881669056056428961591543800874\ 905150/483364999241839330797201194540516710963271006851947570659561\ 5742229685453*c_1001_3^17 + 109037420472357096706885933106710676618\ 100771079965833417398067984555598857/483364999241839330797201194540\ 5167109632710068519475706595615742229685453*c_1001_3^16 - 9890298072029399617277656355207736566332426204249533580522207521756\ 4792031/48336499924183933079720119454051671096327100685194757065956\ 15742229685453*c_1001_3^15 - 60845885724569735070937648278805313985\ 3314472672347638611735863349549408973/48336499924183933079720119454\ 05167109632710068519475706595615742229685453*c_1001_3^14 + 5231425035388673654962048490724076076671860625852129046402721011929\ 80974371/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^13 + 1774023830959859556969268762437178042\ 954439339765902434707987918954308240973/483364999241839330797201194\ 5405167109632710068519475706595615742229685453*c_1001_3^12 - 2056025764012276144546275745278253269383586492862629484062211742826\ 297406536/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^11 - 226527034833548753089750396540288117\ 8827685321200114883514829572877061956923/48336499924183933079720119\ 45405167109632710068519475706595615742229685453*c_1001_3^10 + 3492243540118396124584135932754795109724307041066975812662327859382\ 286696964/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^9 + 8712476668565611863260408169985130324\ 91679070627195252884169937764777723479/4833649992418393307972011945\ 405167109632710068519475706595615742229685453*c_1001_3^8 - 2479840713548154919022298764622153815058902881434717195375334464466\ 879539712/483364999241839330797201194540516710963271006851947570659\ 5615742229685453*c_1001_3^7 + 5199981033727965563627761451950446976\ 18219275331087615823900468991283654022/4833649992418393307972011945\ 405167109632710068519475706595615742229685453*c_1001_3^6 + 7533999256822618016235858976998976303887701999419216007388004466011\ 76973641/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^5 - 41217679440250927950899942860553608249\ 1550904378214069523141589734595228232/48336499924183933079720119454\ 05167109632710068519475706595615742229685453*c_1001_3^4 - 1307397556349044988169785469134776261100362563014986179908227046224\ 85657360/4833649992418393307972011945405167109632710068519475706595\ 615742229685453*c_1001_3^3 + 43220828899827003904478016186049919419\ 214655758166773780564032515221790330/483364999241839330797201194540\ 5167109632710068519475706595615742229685453*c_1001_3^2 + 3269304952036867962236921756000224317634718221147887483146749234002\ 2134848/48336499924183933079720119454051671096327100685194757065956\ 15742229685453*c_1001_3 + 47330092384708806128727596307858315991869\ 44338021322679550573517381280641/4833649992418393307972011945405167\ 109632710068519475706595615742229685453, c_0101_3 + 135290412080211405997080027538091421818514417820079984854090\ 777137468320/101506649840786259467412250853508509302286911438908989\ 838507930586823394513*c_1001_3^21 + 2216520480945628545850054086764899094377666242390692929643656766933\ 958076/101506649840786259467412250853508509302286911438908989838507\ 930586823394513*c_1001_3^20 - 8174035581894901435905540098149998506\ 922184171946729314050624944270161261/338355499469287531558040836178\ 36169767428970479636329946169310195607798171*c_1001_3^19 - 2627093616037148966071585471523842326203889177603546913806992502881\ 50639129/1015066498407862594674122508535085093022869114389089898385\ 07930586823394513*c_1001_3^18 + 23650274682956670116831672729848591\ 2230302404899231906927602429518252716374/10150664984078625946741225\ 0853508509302286911438908989838507930586823394513*c_1001_3^17 + 3815910705083755268294955824120189277991788569652936476297372888010\ 960835639/101506649840786259467412250853508509302286911438908989838\ 507930586823394513*c_1001_3^16 - 4172271912482846274031764109144610\ 535901753289126649731006158076491543146994/101506649840786259467412\ 250853508509302286911438908989838507930586823394513*c_1001_3^15 - 6921401805273895595306089982381963104491672156044502463864775646213\ 947870088/338355499469287531558040836178361697674289704796363299461\ 69310195607798171*c_1001_3^14 + 21928264843924849378474517982285904\ 119532514760236360941375015975657268570020/101506649840786259467412\ 250853508509302286911438908989838507930586823394513*c_1001_3^13 + 1968756799547031099009485403531218900835040694331595012290843923953\ 0072464667/33835549946928753155804083617836169767428970479636329946\ 169310195607798171*c_1001_3^12 - 8170485338644638246605381831139644\ 7543454959297753002727093430608377400995308/10150664984078625946741\ 2250853508509302286911438908989838507930586823394513*c_1001_3^11 - 6684787117881792936601391073060692484512039649756913356528424056931\ 3320465119/10150664984078625946741225085350850930228691143890898983\ 8507930586823394513*c_1001_3^10 + 624328061282227855343932889749880\ 7122087400608958933399963675092855778123389/48336499924183933079720\ 11945405167109632710068519475706595615742229685453*c_1001_3^9 + 1348173386515739099782842508490482531554216173288078900805318496545\ 0935939585/10150664984078625946741225085350850930228691143890898983\ 8507930586823394513*c_1001_3^8 - 1249804351585339032340431742187368\ 8625191958945070372796965858015673780027886/14500949977255179923916\ 035836215501328898130205558427119786847226689056359*c_1001_3^7 + 2713250708314028732196292922882536083672292916932308133625133746292\ 7595818279/10150664984078625946741225085350850930228691143890898983\ 8507930586823394513*c_1001_3^6 + 7700656556286291655745016936117791\ 937654390025684656004677484874762801303238/338355499469287531558040\ 83617836169767428970479636329946169310195607798171*c_1001_3^5 - 2390327672901455399401470506572934570599742629679856898063703486279\ 714506636/145009499772551799239160358362155013288981302055584271197\ 86847226689056359*c_1001_3^4 - 112676145737066137839505557818449257\ 2699048227997655750037459435819357951644/33835549946928753155804083\ 617836169767428970479636329946169310195607798171*c_1001_3^3 + 6796000391282674813473767627845577310318003467034922437850718886748\ 59985848/3383554994692875315580408361783616976742897047963632994616\ 9310195607798171*c_1001_3^2 + 9913944072745502248204563650788891953\ 42987385002217638434336905964858649821/1015066498407862594674122508\ 53508509302286911438908989838507930586823394513*c_1001_3 + 1285051009676473680173695629212895888800522049659364906549253752145\ 5793130/33835549946928753155804083617836169767428970479636329946169\ 310195607798171, c_1001_3^22 + 17*c_1001_3^21 - 171*c_1001_3^20 - 2051*c_1001_3^19 + 524*c_1001_3^18 + 28976*c_1001_3^17 - 13307*c_1001_3^16 - 168252*c_1001_3^15 + 64394*c_1001_3^14 + 513801*c_1001_3^13 - 320393*c_1001_3^12 - 804124*c_1001_3^11 + 604785*c_1001_3^10 + 624463*c_1001_3^9 - 499526*c_1001_3^8 - 169318*c_1001_3^7 + 247983*c_1001_3^6 - 10043*c_1001_3^5 - 85398*c_1001_3^4 - 4098*c_1001_3^3 + 13009*c_1001_3^2 + 4293*c_1001_3 + 279 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB