Magma V2.19-8 Tue Aug 20 2013 16:17:36 on localhost [Seed = 1730608000] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1842 geometric_solution 5.49049917 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.297435667534 0.523946881581 3 2 4 0 0132 3012 0132 0132 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 0 0 0.557417517688 1.038766189345 1 3 0 4 1230 0132 0132 3201 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 0 0 1 -1 -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.557417517688 1.038766189345 1 2 3 3 0132 0132 1230 3012 0 0 0 0 0 1 -1 0 0 0 -1 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 0 0 0 0 0 0 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.037947372799 1.092185992805 5 2 5 1 0132 2310 2310 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 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.912426828234 1.918941816065 4 4 6 6 0132 3201 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 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.180809923810 0.193088620157 5 6 5 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 -3.424578942536 2.862452023081 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 6854786960418344656509834279895126348950681249039960599741495385464\ 746365919808532636240604476357/597964660363548453202199545169585318\ 379981082364921058671230947690639864412016114869812731888*c_0101_4^\ 29 - 75092898441086845453875778350807993534666958699014919257714397\ 830307331763281358061257307944750309/597964660363548453202199545169\ 585318379981082364921058671230947690639864412016114869812731888*c_0\ 101_4^28 - 93840029531136318460983457339302938954048716617537385373\ 151997713230648132176675073240367440420105/597964660363548453202199\ 5451695853183799810823649210586712309476906398644120161148698127318\ 88*c_0101_4^27 + 15257805725660568238171880563304335151165067454265\ 99495518623130066274591509797499933926525974224523/2989823301817742\ 2660109977258479265918999054118246052933561547384531993220600805743\ 4906365944*c_0101_4^26 - 138985462167645516228241463762821503437558\ 0293507101030283573056834620360823976254247525547322508367/29898233\ 0181774226601099772584792659189990541182460529335615473845319932206\ 008057434906365944*c_0101_4^25 - 1171642104708823984144690740349910\ 7565018559238319526663491055368521741965190946784084646411723330643\ /149491165090887113300549886292396329594995270591230264667807736922\ 659966103004028717453182972*c_0101_4^24 + 2956478312073835217335959675778718774345254826366978089022033242285\ 4928625101004275210829285109152033/29898233018177422660109977258479\ 2659189990541182460529335615473845319932206008057434906365944*c_010\ 1_4^23 + 3861794069034941577599647058594754662662415164746726546966\ 72833562161772524112677747356548736592169089/5979646603635484532021\ 9954516958531837998108236492105867123094769063986441201611486981273\ 1888*c_0101_4^22 - 404104670788183544479264428411540512538719429258\ 808636920191541798670113412688821489176420273697600999/597964660363\ 5484532021995451695853183799810823649210586712309476906398644120161\ 14869812731888*c_0101_4^21 - 98065685805595180021514841598871099475\ 1135411517926008628593583051568290515805603646014174999155088797/29\ 8982330181774226601099772584792659189990541182460529335615473845319\ 932206008057434906365944*c_0101_4^20 + 1141665812277441326136051080208057806253349076835125213615794586604\ 556263976918213851841902372128318281/597964660363548453202199545169\ 585318379981082364921058671230947690639864412016114869812731888*c_0\ 101_4^19 + 31171570526608984200757562296037746253217597017434530404\ 62074147753870047395752996592763155923613181111/2989823301817742266\ 0109977258479265918999054118246052933561547384531993220600805743490\ 6365944*c_0101_4^18 - 416007446693920147909867024333794205333032958\ 324526377869153557503920391300638647341385814916664429631/298982330\ 1817742266010997725847926591899905411824605293356154738453199322060\ 08057434906365944*c_0101_4^17 - 28900862388968491892239681760586462\ 4149527192791372385879133443702887646780119926613635327744592892800\ 3/14949116509088711330054988629239632959499527059123026466780773692\ 2659966103004028717453182972*c_0101_4^16 - 4030584214691587648305899965704340377529204839729567621307369249302\ 35942767407006909712012824342957231/1494911650908871133005498862923\ 96329594995270591230264667807736922659966103004028717453182972*c_01\ 01_4^15 + 628160243554612584545705875955029718625632337599791798952\ 9074524771607996284590159840720866614123836735/29898233018177422660\ 1099772584792659189990541182460529335615473845319932206008057434906\ 365944*c_0101_4^14 + 3586569403806800409873862583780963467152692939\ 299648137954778490219139775169203367993787851132949209849/597964660\ 3635484532021995451695853183799810823649210586712309476906398644120\ 16114869812731888*c_0101_4^13 - 80133890574078932314409616884084409\ 1107578757790804711879183246098942850434592187115053939075952807026\ 5/59796466036354845320219954516958531837998108236492105867123094769\ 0639864412016114869812731888*c_0101_4^12 - 1468231429371739338603754851178954545957913867360241374992658312757\ 607794854392260732813162582602835465/298982330181774226601099772584\ 792659189990541182460529335615473845319932206008057434906365944*c_0\ 101_4^11 + 28206837678012916777821434478484335088638526466841999590\ 95785298324259504830025341817745607169900984753/5979646603635484532\ 0219954516958531837998108236492105867123094769063986441201611486981\ 2731888*c_0101_4^10 + 627848387037096922711858480584214726980652149\ 264978084230104156179003795834730283061127438607856216753/298982330\ 1817742266010997725847926591899905411824605293356154738453199322060\ 08057434906365944*c_0101_4^9 - 424788848603698423375561318889033644\ 839976789779316698425093413025740559744370946532487068366487264295/\ 5979646603635484532021995451695853183799810823649210586712309476906\ 39864412016114869812731888*c_0101_4^8 - 2878062899176893156502043490938765231505288055219725887974087411474\ 78495902467016872297440456857826437/5979646603635484532021995451695\ 85318379981082364921058671230947690639864412016114869812731888*c_01\ 01_4^7 - 7661669892472549781541769179467973076141561008223564754837\ 567685253703179249711940546689411092537031/298982330181774226601099\ 7725847926591899905411824605293356154738453199322060080574349063659\ 44*c_0101_4^6 + 325131816447475695886697457150225927245325241677922\ 7530438747026835262323066171716856316654275718887/74745582545443556\ 6502749431461981647974976352956151323339038684613299830515020143587\ 26591486*c_0101_4^5 + 104877446805692751922405470043379663088223092\ 81088615894937525987972271443308997796271313674039885607/5979646603\ 6354845320219954516958531837998108236492105867123094769063986441201\ 6114869812731888*c_0101_4^4 + 7038691944605227685005302706751009746\ 3737511187465220927264480153989372745532598029254949517054335/37372\ 7912727217783251374715730990823987488176478075661669519342306649915\ 25751007179363295743*c_0101_4^3 - 353334445147931558630910918512730\ 70672342911388310375532139765496907395132883409357554693436725518/3\ 7372791272721778325137471573099082398748817647807566166951934230664\ 991525751007179363295743*c_0101_4^2 - 9758340243687530225618290564119985972031017991243535959790621652509\ 4362810201106522940322085985915/29898233018177422660109977258479265\ 9189990541182460529335615473845319932206008057434906365944*c_0101_4 - 89787803266163507113863239931032685678056784491982306058793469922\ 17909765089988154781909758815915/5979646603635484532021995451695853\ 18379981082364921058671230947690639864412016114869812731888, c_0011_0 - 1, c_0011_1 - 976271476122607474169999738861980134507964969729236139811160\ 9280209595768616737513009786746096/37372791272721778325137471573099\ 082398748817647807566166951934230664991525751007179363295743*c_0101\ _4^29 + 10691234062788945342840792157799338909041379984205084594593\ 0153914012063693255907218700418831853/37372791272721778325137471573\ 099082398748817647807566166951934230664991525751007179363295743*c_0\ 101_4^28 + 13399840461182418578611609820014830090544485172906263440\ 2366533942531283651145567346605182958727/37372791272721778325137471\ 573099082398748817647807566166951934230664991525751007179363295743*\ c_0101_4^27 - 43450934111921178434027842008983234262231425115473088\ 50872188807318218585046183162870076005997801/3737279127272177832513\ 7471573099082398748817647807566166951934230664991525751007179363295\ 743*c_0101_4^26 + 3943736731568010690908641778635625829174641546251\ 006840589955725926688476764499683194816941613733/373727912727217783\ 2513747157309908239874881764780756616695193423066499152575100717936\ 3295743*c_0101_4^25 + 667407963299951431927540397523555569419757740\ 71540394940686074591995771434362939127069568255447878/3737279127272\ 1778325137471573099082398748817647807566166951934230664991525751007\ 179363295743*c_0101_4^24 - 8395958463164099484874416303443833400614\ 5226073981801647032769307641190525113168224725625817981558/37372791\ 2727217783251374715730990823987488176478075661669519342306649915257\ 51007179363295743*c_0101_4^23 - 54998219758278588182458297582375857\ 1016967255389196275191076671718564767197943413107447651099846681/37\ 3727912727217783251374715730990823987488176478075661669519342306649\ 91525751007179363295743*c_0101_4^22 + 5732980955576421678459275334018229777668399919194846299656372660778\ 69732904763313449855624499337369/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743*c_0101_4\ ^21 + 2792625307993537141577426406992595319731636008074592262726230\ 359191395933496442470825006442279049746/373727912727217783251374715\ 73099082398748817647807566166951934230664991525751007179363295743*c\ _0101_4^20 - 161469894352882754674112277988321182785650155284047267\ 4209614937441552388781203967337890802860548276/37372791272721778325\ 1374715730990823987488176478075661669519342306649915257510071793632\ 95743*c_0101_4^19 - 88706504783238453356167501643968709686404296472\ 41780592016666013389806790341356672105232846902022922/3737279127272\ 1778325137471573099082398748817647807566166951934230664991525751007\ 179363295743*c_0101_4^18 + 1153844663167816113697594908678794344935\ 250760992716478114136429382135820151139691631642270002334064/373727\ 9127272177832513747157309908239874881764780756616695193423066499152\ 5751007179363295743*c_0101_4^17 + 164264349808044021345598872622700\ 5614879342945125649804624937583302807830428952527119699862907014827\ 6/37372791272721778325137471573099082398748817647807566166951934230\ 664991525751007179363295743*c_0101_4^16 + 2333964607200500897242051275335548799554817140446184426757917451105\ 895170402800159343308781488289569/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^15 - 178197859129259690901600467894608313115829251092032876803610\ 68783203775624156924201152091548079579469/3737279127272177832513747\ 1573099082398748817647807566166951934230664991525751007179363295743\ *c_0101_4^14 - 5119052413499136367017992879963702133715137952608304\ 180651944883202199943918332627871587164693716483/373727912727217783\ 2513747157309908239874881764780756616695193423066499152575100717936\ 3295743*c_0101_4^13 + 113452849241034183008157067002823684447158824\ 08731433312208835360889115342907777852706769298785652095/3737279127\ 2721778325137471573099082398748817647807566166951934230664991525751\ 007179363295743*c_0101_4^12 + 4166806649462169092410025108243363627\ 130506763958218606980598965718627122030416334085264341219533178/373\ 7279127272177832513747157309908239874881764780756616695193423066499\ 1525751007179363295743*c_0101_4^11 - 3986698665310238077219654192962605674997715847895494641013438535751\ 002817791313124708147321762049796/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^10 - 177345212507664844555776970952450012821628088748430880617848\ 6806601506274435743360489961422622058041/37372791272721778325137471\ 573099082398748817647807566166951934230664991525751007179363295743*\ c_0101_4^9 + 599797116475975018189778215343645445452872744579817721\ 137863578821224348971089288473430072475665868/373727912727217783251\ 3747157309908239874881764780756616695193423066499152575100717936329\ 5743*c_0101_4^8 + 4049847005527969856848045017443879420662378806871\ 04940551384442752650095039878531626683941142294789/3737279127272177\ 8325137471573099082398748817647807566166951934230664991525751007179\ 363295743*c_0101_4^7 + 21290377353308283283826188764129455059284309\ 350366369998608741150061396425725113110653697351694011/373727912727\ 2177832513747157309908239874881764780756616695193423066499152575100\ 7179363295743*c_0101_4^6 - 3654134216729727077303496173652652990926\ 2383551588699902514781839545278671772673110537246644795331/37372791\ 2727217783251374715730990823987488176478075661669519342306649915257\ 51007179363295743*c_0101_4^5 - 147024896840887125916564566757556229\ 07201562242178157994475849169392006056297953466598201325853901/3737\ 2791272721778325137471573099082398748817647807566166951934230664991\ 525751007179363295743*c_0101_4^4 - 1568552907352659807289803589427113276711413876636298170063981892916\ 806981685849971113683403079651/373727912727217783251374715730990823\ 98748817647807566166951934230664991525751007179363295743*c_0101_4^3 + 79699547138997264543317621076227793074639586570673063216346130666\ 1783853752663980148414775316964/37372791272721778325137471573099082\ 398748817647807566166951934230664991525751007179363295743*c_0101_4^\ 2 + 273360043157848883304659607155665547849579672561359325524261200\ 332657025925745640622086144208853/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4 + 121547001333473266337873553422251458754261607342812234122980133\ 98623347853644433254487564088315/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743, c_0011_4 + 112155118958725808283812482312697030756651403182465514905693\ 87403498773082302513190663589990095/3737279127272177832513747157309\ 9082398748817647807566166951934230664991525751007179363295743*c_010\ 1_4^29 - 1228300765819165087347145060535750351926382879302849249525\ 37416243276252802135881560497587246677/3737279127272177832513747157\ 3099082398748817647807566166951934230664991525751007179363295743*c_\ 0101_4^28 - 1538580304395120863923574178716441508999516159874160980\ 97483881455029736896167581401020179262485/3737279127272177832513747\ 1573099082398748817647807566166951934230664991525751007179363295743\ *c_0101_4^27 + 4991873486314662087048511768544064813716985412043160\ 067161819028968276990596272028931326976533994/373727912727217783251\ 3747157309908239874881764780756616695193423066499152575100717936329\ 5743*c_0101_4^26 - 453403213696489296704945675058641357844532765430\ 2814847819550179754131000163298537424933436022233/37372791272721778\ 3251374715730990823987488176478075661669519342306649915257510071793\ 63295743*c_0101_4^25 - 76672369716125366937568525150734417053283061\ 282930678193006891054163934773457972483494000078479114/373727912727\ 2177832513747157309908239874881764780756616695193423066499152575100\ 7179363295743*c_0101_4^24 + 965093230903629725582839962044650398926\ 39069832934865193832750569127205533811436429009233115422552/3737279\ 1272721778325137471573099082398748817647807566166951934230664991525\ 751007179363295743*c_0101_4^23 + 6318055039299126761814145490070047\ 97694485575787806843847758429968510315659809978295720110319395167/3\ 7372791272721778325137471573099082398748817647807566166951934230664\ 991525751007179363295743*c_0101_4^22 - 6590905222724400814573646622458475428113152555593949060473563132484\ 53467035750700579505134119227523/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743*c_0101_4\ ^21 - 3208143790103853245518360927470517708063316332318423824918137\ 529916586801096336571904648596488454051/373727912727217783251374715\ 73099082398748817647807566166951934230664991525751007179363295743*c\ _0101_4^20 + 185740693272639013724906130574111623467647332244748867\ 0413502919372183825986793911928117751880471043/37372791272721778325\ 1374715730990823987488176478075661669519342306649915257510071793632\ 95743*c_0101_4^19 + 10191469884914705172646932735737641314938768218\ 610056494954879805781761093999415021659694443908512493/373727912727\ 2177832513747157309908239874881764780756616695193423066499152575100\ 7179363295743*c_0101_4^18 - 133255255842087466442873008561960107620\ 9868478231667090141836092106828266598205071175782297271231524/37372\ 7912727217783251374715730990823987488176478075661669519342306649915\ 25751007179363295743*c_0101_4^17 - 1887604829810841674279551042595848294217481532531731297919933733903\ 7712313667389722463677085532932447/37372791272721778325137471573099\ 082398748817647807566166951934230664991525751007179363295743*c_0101\ _4^16 - 26711973977077975318619273467196137665595361811058923353453\ 62574856200717108806769245025338789003377/3737279127272177832513747\ 1573099082398748817647807566166951934230664991525751007179363295743\ *c_0101_4^15 + 2048267262797840383373273355146788636249663451922681\ 0401515417664874827251579976609391047448128830198/37372791272721778\ 3251374715730990823987488176478075661669519342306649915257510071793\ 63295743*c_0101_4^14 + 58741040182428748933606925830369113597385597\ 70111277190853400731861867291742510877841323890655365103/3737279127\ 2721778325137471573099082398748817647807566166951934230664991525751\ 007179363295743*c_0101_4^13 - 1304461903688888994614201108713797976\ 5928397811803809200057426408200585350856246291050088766758253585/37\ 3727912727217783251374715730990823987488176478075661669519342306649\ 91525751007179363295743*c_0101_4^12 - 4785605257187764689267104637561077023723612647953027233542182871662\ 256881466238760379918584056792118/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^11 + 458550841475203398418382248352051668835372645704068820913042\ 1053617751258119435376154974566846579767/37372791272721778325137471\ 573099082398748817647807566166951934230664991525751007179363295743*\ c_0101_4^10 + 20381505565324745103160493122008737100395677261833167\ 40976715266951990033533589309478558437615077001/3737279127272177832\ 5137471573099082398748817647807566166951934230664991525751007179363\ 295743*c_0101_4^9 - 69036276047171424174186519607903051030555356557\ 7850140786745698863204547329795050276317663617926206/37372791272721\ 7783251374715730990823987488176478075661669519342306649915257510071\ 79363295743*c_0101_4^8 - 465717109798009367089615232409053003252416\ 016387104696913707201637354090365147570622349348847257394/373727912\ 7272177832513747157309908239874881764780756616695193423066499152575\ 1007179363295743*c_0101_4^7 - 2438431645569268227190003899101124350\ 8004449020151595135227550209381674132603794299970840103052162/37372\ 7912727217783251374715730990823987488176478075661669519342306649915\ 25751007179363295743*c_0101_4^6 + 420569946985192732527712356068294\ 90748571450317976399628284539145282607821975873967258696763293749/3\ 7372791272721778325137471573099082398748817647807566166951934230664\ 991525751007179363295743*c_0101_4^5 + 1690922051362321763519755147977908361349715666296731845537797545292\ 0163746898298186943555148306491/37372791272721778325137471573099082\ 398748817647807566166951934230664991525751007179363295743*c_0101_4^\ 4 + 180072718409499689499800360876402998552286996633213175568571348\ 8084916816121664049737133906856425/37372791272721778325137471573099\ 082398748817647807566166951934230664991525751007179363295743*c_0101\ _4^3 - 917707723693360718902672032436224383542446688464068098708895\ 915912047852520971944558303480515096/373727912727217783251374715730\ 99082398748817647807566166951934230664991525751007179363295743*c_01\ 01_4^2 - 3144287826474425543615131277298069576698161737444253280168\ 95453468383407610608048955899022345406/3737279127272177832513747157\ 3099082398748817647807566166951934230664991525751007179363295743*c_\ 0101_4 - 1398034853520802830214277469049016017451746671922909191493\ 7827659385143303307083854706486556083/37372791272721778325137471573\ 099082398748817647807566166951934230664991525751007179363295743, c_0011_6 - 901425585791422081931194147465032089213991330577065530728282\ 0306619501845412553349001348243607/37372791272721778325137471573099\ 082398748817647807566166951934230664991525751007179363295743*c_0101\ _4^29 + 98712632581006461725851771113755075785970972726314918262841\ 866346830267908053539823597110864745/373727912727217783251374715730\ 99082398748817647807566166951934230664991525751007179363295743*c_01\ 01_4^28 + 123764051278529406863405974088960221177636878685732149096\ 821139427904087047327034906561554016506/373727912727217783251374715\ 73099082398748817647807566166951934230664991525751007179363295743*c\ _0101_4^27 - 401196271878334499719323572025523323475881523376188927\ 1178401465096470712193026214366916776884308/37372791272721778325137\ 4715730990823987488176478075661669519342306649915257510071793632957\ 43*c_0101_4^26 + 36398956173700289876049360618190541315303688957412\ 78418157750534293223944053240777487414597815330/3737279127272177832\ 5137471573099082398748817647807566166951934230664991525751007179363\ 295743*c_0101_4^25 + 6162668084630276865307873391532645682317654867\ 3946712015080392647728193825640332641201811206685775/37372791272721\ 7783251374715730990823987488176478075661669519342306649915257510071\ 79363295743*c_0101_4^24 - 77501576768720009119265908446738390715108\ 427919164745133488300853173910504527765702420880592805790/373727912\ 7272177832513747157309908239874881764780756616695193423066499152575\ 1007179363295743*c_0101_4^23 - 507864891167608078795168996259192081\ 998380846909645765604492504085460783169938269473364720554250767/373\ 7279127272177832513747157309908239874881764780756616695193423066499\ 1525751007179363295743*c_0101_4^22 + 5291852721626887374553588230211324328688895917024960942864397132821\ 75235290532527470699072859352859/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743*c_0101_4\ ^21 + 2578874262307628062018646176806999867071757670312307954253090\ 525595171393970661664526529446651421422/373727912727217783251374715\ 73099082398748817647807566166951934230664991525751007179363295743*c\ _0101_4^20 - 149012622918376123459814353912420830264131156131048902\ 6366737904709505502443780143963560685046467112/37372791272721778325\ 1374715730990823987488176478075661669519342306649915257510071793632\ 95743*c_0101_4^19 - 81918813071307572279584311571419255219497337847\ 29686719718212828512262853719574606270819502527334211/3737279127272\ 1778325137471573099082398748817647807566166951934230664991525751007\ 179363295743*c_0101_4^18 + 1062813432779334934024889017892940736015\ 942551825206558635675950457486595286949239999228578073471690/373727\ 9127272177832513747157309908239874881764780756616695193423066499152\ 5751007179363295743*c_0101_4^17 + 151697874759293344372868093387047\ 9847291092419444407181067447166893912891444621489547348910387872261\ 0/37372791272721778325137471573099082398748817647807566166951934230\ 664991525751007179363295743*c_0101_4^16 + 2160341203992462639989748556632450608276014646839936077618723084591\ 548527497603711379679769114212794/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^15 - 164567584446129594030665293138834738457295674154052367142962\ 20073829799185656456382846111608506773264/3737279127272177832513747\ 1573099082398748817647807566166951934230664991525751007179363295743\ *c_0101_4^14 - 4733167971049302651439079721420400793513830269090371\ 195026771735887049311280936578498505529485134888/373727912727217783\ 2513747157309908239874881764780756616695193423066499152575100717936\ 3295743*c_0101_4^13 + 104775729396895293239105329547062798314206069\ 15080187313685218237656527261035637635253475064202333778/3737279127\ 2721778325137471573099082398748817647807566166951934230664991525751\ 007179363295743*c_0101_4^12 + 3852072916778780561227808982831332689\ 723375708701525102380139147519703264214006690302938712568685574/373\ 7279127272177832513747157309908239874881764780756616695193423066499\ 1525751007179363295743*c_0101_4^11 - 3681796045683941328703629837683819756974944147877951139394047059210\ 210702655016171330383593595911489/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^10 - 163935408586376925191713063124673208587485990260180745240530\ 2049109423740268507953520270259625531059/37372791272721778325137471\ 573099082398748817647807566166951934230664991525751007179363295743*\ c_0101_4^9 + 553876911764112054272056507906117663858016119429735615\ 829033890829410589700080007308283118412530789/373727912727217783251\ 3747157309908239874881764780756616695193423066499152575100717936329\ 5743*c_0101_4^8 + 3742987688144730677370862999715373670655704593450\ 96436796298062268921407188049752618226617841691497/3737279127272177\ 8325137471573099082398748817647807566166951934230664991525751007179\ 363295743*c_0101_4^7 + 19707570158266240016221534403338924537615533\ 013791981898425233901309137219316255237306620983257163/373727912727\ 2177832513747157309908239874881764780756616695193423066499152575100\ 7179363295743*c_0101_4^6 - 3376595370416531671752632903262419979012\ 5334619043661995759275503328748905019436347340810906926851/37372791\ 2727217783251374715730990823987488176478075661669519342306649915257\ 51007179363295743*c_0101_4^5 - 135884156284225763914895054547747692\ 48262535453569175223515907220060682747332696350003445683264003/3737\ 2791272721778325137471573099082398748817647807566166951934230664991\ 525751007179363295743*c_0101_4^4 - 1449970200569191674491604853200315450609241430543078906499853123437\ 108978377956265533530240642001/373727912727217783251374715730990823\ 98748817647807566166951934230664991525751007179363295743*c_0101_4^3 + 73668219198899002463353754170825879733632608719740230324884774916\ 2807933703998267019636902603086/37372791272721778325137471573099082\ 398748817647807566166951934230664991525751007179363295743*c_0101_4^\ 2 + 252707648781063564790167354599752804651199299176639180568802355\ 174083982451455361509697637696964/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4 + 112402632944781145124637939188205485683975196304406754138210389\ 96493378428956258360458447077867/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743, c_0101_0 - 126425290193440801340894344131980301636789170607475405484276\ 26373311968060024285967787190019248/3737279127272177832513747157309\ 9082398748817647807566166951934230664991525751007179363295743*c_010\ 1_4^29 + 1383869649706695707858992594567757964611071350693416446094\ 75253408343809314177212065654107769462/3737279127272177832513747157\ 3099082398748817647807566166951934230664991525751007179363295743*c_\ 0101_4^28 + 1741640717522576352756131181897597298858424032145983450\ 32934721114946061685966771813789263431926/3737279127272177832513747\ 1573099082398748817647807566166951934230664991525751007179363295743\ *c_0101_4^27 - 5625490704604280343155946558763270423994483495530934\ 448103680199445740011944122361819827974885468/373727912727217783251\ 3747157309908239874881764780756616695193423066499152575100717936329\ 5743*c_0101_4^26 + 508021963086018629871761274324538007868158942788\ 7859530990955011489562935666415949580961568857500/37372791272721778\ 3251374715730990823987488176478075661669519342306649915257510071793\ 63295743*c_0101_4^25 + 86433760398914617418068513303265330464591748\ 226175628462308470540913081559737833738862803116673499/373727912727\ 2177832513747157309908239874881764780756616695193423066499152575100\ 7179363295743*c_0101_4^24 - 108294775803434345604898555913235327139\ 941030528564177677821939630834422479044646347476749926772806/373727\ 9127272177832513747157309908239874881764780756616695193423066499152\ 5751007179363295743*c_0101_4^23 - 712439914046902843414758946809966\ 085226790645747215239083674389600839664695923939804316821124905921/\ 3737279127272177832513747157309908239874881764780756616695193423066\ 4991525751007179363295743*c_0101_4^22 + 7387272851379753347518500577773351936870744541877623534993925686724\ 01010957974431538399890328752386/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743*c_0101_4\ ^21 + 3617385261173268893523852539057151476386930101846708926502655\ 994148726034455002650561022050193202014/373727912727217783251374715\ 73099082398748817647807566166951934230664991525751007179363295743*c\ _0101_4^20 - 207240759787405119381429318244122831634114105491085369\ 0999168454225238101669481864039973845728420297/37372791272721778325\ 1374715730990823987488176478075661669519342306649915257510071793632\ 95743*c_0101_4^19 - 11484118540095380431407531269166204191040126602\ 887818455123308948265660095370475790416462447330944158/373727912727\ 2177832513747157309908239874881764780756616695193423066499152575100\ 7179363295743*c_0101_4^18 + 143974165216560524985908432912578381599\ 2563387088008996377064544151839972867554556786245125166604917/37372\ 7912727217783251374715730990823987488176478075661669519342306649915\ 25751007179363295743*c_0101_4^17 + 2123961834022546978013271615331339828363064144149197543161143636170\ 8064703433718472437873930287120018/37372791272721778325137471573099\ 082398748817647807566166951934230664991525751007179363295743*c_0101\ _4^16 + 31041170890900109302206669553516627291734874947264064785279\ 78008401461884511704915288704745325132859/3737279127272177832513747\ 1573099082398748817647807566166951934230664991525751007179363295743\ *c_0101_4^15 - 2300169730497662084283037166613983172230436774435923\ 1370859201984739397992495663352239177962989921960/37372791272721778\ 3251374715730990823987488176478075661669519342306649915257510071793\ 63295743*c_0101_4^14 - 66888034681562378923519662032617302512559392\ 42198148472693883571296351623469005252500154970952861585/3737279127\ 2721778325137471573099082398748817647807566166951934230664991525751\ 007179363295743*c_0101_4^13 + 1461533561865212317145266579526376423\ 6649048437104418895629978830179355404637604072882612231900268556/37\ 3727912727217783251374715730990823987488176478075661669519342306649\ 91525751007179363295743*c_0101_4^12 + 5412530064038804687870196998924418868723462830730450009445032342672\ 694873821068774777183934562766240/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^11 - 512367026676939533815535028957910750246963570072143556384459\ 2450022900587031563582170731449479787456/37372791272721778325137471\ 573099082398748817647807566166951934230664991525751007179363295743*\ c_0101_4^10 - 22933392257570991836607499479073525156039236677496697\ 42837838672314851626592603346973056791181658598/3737279127272177832\ 5137471573099082398748817647807566166951934230664991525751007179363\ 295743*c_0101_4^9 + 76765289682545504867347370007859153259807404278\ 8495722806999915617309459495301558824810463203423477/37372791272721\ 7783251374715730990823987488176478075661669519342306649915257510071\ 79363295743*c_0101_4^8 + 521474184685635114669319801885480326574776\ 269079085381774891053418643022222936812355813980001370402/373727912\ 7272177832513747157309908239874881764780756616695193423066499152575\ 1007179363295743*c_0101_4^7 + 2799167288967849801817851373997688968\ 3424879214132664462031643682811182065648041775416040717825195/37372\ 7912727217783251374715730990823987488176478075661669519342306649915\ 25751007179363295743*c_0101_4^6 - 468236088389463074613328501992895\ 61805890823721508459247294184287067115000903395730752208697273568/3\ 7372791272721778325137471573099082398748817647807566166951934230664\ 991525751007179363295743*c_0101_4^5 - 1890197844090758027029738060286086936153645378899183194198610558179\ 5917016547055355052449282643493/37372791272721778325137471573099082\ 398748817647807566166951934230664991525751007179363295743*c_0101_4^\ 4 - 202824939032481787333387403471633926247208270976269574606910385\ 3953989548760627486430970679939548/37372791272721778325137471573099\ 082398748817647807566166951934230664991525751007179363295743*c_0101\ _4^3 + 102231529721849326535271697798931779444343617525214860374356\ 2678926032779516037759720740764051623/37372791272721778325137471573\ 099082398748817647807566166951934230664991525751007179363295743*c_0\ 101_4^2 + 351277834426600806571981693177119899960109523228592268863\ 541225551211885764329667260953693290471/373727912727217783251374715\ 73099082398748817647807566166951934230664991525751007179363295743*c\ _0101_4 + 155769858798245285309804103894920092771459450729598104997\ 31427573233942335428045151703473955430/3737279127272177832513747157\ 3099082398748817647807566166951934230664991525751007179363295743, c_0101_1 + 916726706232483081493867559509927225308617394272111170767902\ 8168603413919737915339319173989424/37372791272721778325137471573099\ 082398748817647807566166951934230664991525751007179363295743*c_0101\ _4^29 - 10039707051386806877275320363687173406994557233233439146927\ 5101844458747185021621718431306082079/37372791272721778325137471573\ 099082398748817647807566166951934230664991525751007179363295743*c_0\ 101_4^28 - 12576393967382166395853867267498999667109576155114081471\ 5541474725624102280921047607953968285645/37372791272721778325137471\ 573099082398748817647807566166951934230664991525751007179363295743*\ c_0101_4^27 + 40801402830964422526525754467002801191401147605776661\ 03066157643193624801338267119313846266019039/3737279127272177832513\ 7471573099082398748817647807566166951934230664991525751007179363295\ 743*c_0101_4^26 - 3705663247150119736566285176952964698862415994247\ 729185093751948723163467076592875454360621084041/373727912727217783\ 2513747157309908239874881764780756616695193423066499152575100717936\ 3295743*c_0101_4^25 - 626674074597137018254407236745624667158055272\ 13599853545077819300516791274225277567445822504909965/3737279127272\ 1778325137471573099082398748817647807566166951934230664991525751007\ 179363295743*c_0101_4^24 + 7887556206998291740966457568711894454011\ 4446856966115936827843145234836535001583239098674805609729/37372791\ 2727217783251374715730990823987488176478075661669519342306649915257\ 51007179363295743*c_0101_4^23 + 51638309448547894041372213353885600\ 0846470292729744427026327504174254590701549573019147082394108409/37\ 3727912727217783251374715730990823987488176478075661669519342306649\ 91525751007179363295743*c_0101_4^22 - 5386256338945173661817443612269398242900430682261161474016902135629\ 40158870060605824629938731799271/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743*c_0101_4\ ^21 - 2621919868045364566820415305312775685879259773770420990149026\ 749937572430579739311298526065135010479/373727912727217783251374715\ 73099082398748817647807566166951934230664991525751007179363295743*c\ _0101_4^20 + 151766724585802370180869020033338791729996980247739857\ 5894519742472922103394300849945374891809359919/37372791272721778325\ 1374715730990823987488176478075661669519342306649915257510071793632\ 95743*c_0101_4^19 + 83284366657018100963251584690591296858499095472\ 04033660449195753820458663701931694146474583871176413/3737279127272\ 1778325137471573099082398748817647807566166951934230664991525751007\ 179363295743*c_0101_4^18 - 1087988251543114650545877761479221882636\ 820381553443276309787439126533155279862159860049049904314210/373727\ 9127272177832513747157309908239874881764780756616695193423066499152\ 5751007179363295743*c_0101_4^17 - 154230048772281224583197293554245\ 4821815097579683712694912024006067464455652965055565873469161335867\ 4/37372791272721778325137471573099082398748817647807566166951934230\ 664991525751007179363295743*c_0101_4^16 - 2183395934273484255463159648916768369583599079995851268238477316925\ 219674692810899542163743910093080/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^15 + 167322709334262319513871290921375639018752557224391854783605\ 85377108966805724171868465760846173037640/3737279127272177832513747\ 1573099082398748817647807566166951934230664991525751007179363295743\ *c_0101_4^14 + 4797991533133416056574955526121784922704052337104959\ 110856828452310564907940066972302198134875156171/373727912727217783\ 2513747157309908239874881764780756616695193423066499152575100717936\ 3295743*c_0101_4^13 - 106536637342434990067848069200506669931664801\ 64493226287600968199090173019321925316691686516534694450/3737279127\ 2721778325137471573099082398748817647807566166951934230664991525751\ 007179363295743*c_0101_4^12 - 3906971990076643293454116239576992006\ 098894868169304450753483798497311274200828743895639999129161239/373\ 7279127272177832513747157309908239874881764780756616695193423066499\ 1525751007179363295743*c_0101_4^11 + 3744063046059516529026477410667409527616650112556279803498264825805\ 738440751162848298456272582040776/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4^10 + 166320202574543012790297050503504555034178597996346033940939\ 2831810278252491053332780959990308948513/37372791272721778325137471\ 573099082398748817647807566166951934230664991525751007179363295743*\ c_0101_4^9 - 563521820795609287861394347198654640930996378146812998\ 304336092871136590252088414283294468032924941/373727912727217783251\ 3747157309908239874881764780756616695193423066499152575100717936329\ 5743*c_0101_4^8 - 3799201325077658608754423199315339705333080984518\ 03007691735610475958335897772284543439311492519939/3737279127272177\ 8325137471573099082398748817647807566166951934230664991525751007179\ 363295743*c_0101_4^7 - 19881525193192866634947050956193541829159634\ 222357156552385591752792818285356942840446655552926362/373727912727\ 2177832513747157309908239874881764780756616695193423066499152575100\ 7179363295743*c_0101_4^6 + 3430124552201613199602594508197796013268\ 7713558000369010515318734019089888653911630745178457482303/37372791\ 2727217783251374715730990823987488176478075661669519342306649915257\ 51007179363295743*c_0101_4^5 + 137909215077854061898212723742349260\ 54108637455933542768170438097393407621899681058196236733775400/3737\ 2791272721778325137471573099082398748817647807566166951934230664991\ 525751007179363295743*c_0101_4^4 + 1468263472630386229669111964394813602661704056785622870252410496089\ 534514485132780507149881289982/373727912727217783251374715730990823\ 98748817647807566166951934230664991525751007179363295743*c_0101_4^3 - 74881012983525665970252355174206857686620491375903892222174932934\ 6313388702812837760566796016552/37372791272721778325137471573099082\ 398748817647807566166951934230664991525751007179363295743*c_0101_4^\ 2 - 256322157821671025862428453419332999906182035953715209775245898\ 033474669169092343290917634668194/373727912727217783251374715730990\ 82398748817647807566166951934230664991525751007179363295743*c_0101_\ 4 - 113596888312849795353193092830776911528199924997736948909250149\ 47439184269952634910067220556063/3737279127272177832513747157309908\ 2398748817647807566166951934230664991525751007179363295743, c_0101_4^30 - 35/3*c_0101_4^29 - 53/9*c_0101_4^28 + 4094/9*c_0101_4^27 - 6502/9*c_0101_4^26 - 58924/9*c_0101_4^25 + 121426/9*c_0101_4^24 + 451613/9*c_0101_4^23 - 297097/3*c_0101_4^22 - 732046/3*c_0101_4^21 + 3330581/9*c_0101_4^20 + 790206*c_0101_4^19 - 768310*c_0101_4^18 - 4793356/3*c_0101_4^17 + 8683388/9*c_0101_4^16 + 17963726/9*c_0101_4^15 - 7035203/9*c_0101_4^14 - 13831909/9*c_0101_4^13 + 3642526/9*c_0101_4^12 + 6421429/9*c_0101_4^11 - 994982/9*c_0101_4^10 - 1721947/9*c_0101_4^9 + 2487*c_0101_4^8 + 247394/9*c_0101_4^7 + 47696/9*c_0101_4^6 - 10549/9*c_0101_4^5 - 8248/9*c_0101_4^4 - 1768/9*c_0101_4^3 + 274/9*c_0101_4^2 + 169/9*c_0101_4 + 8/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB