Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 3920131282] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2432 geometric_solution 5.77873282 oriented_manifold CS_known 0.0000000000000001 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.316692991804 0.230207738016 2 0 3 0 0132 2310 0132 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.617334793041 1.271570964903 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 1 -1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.893485031127 1.181997065805 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.893485031127 1.181997065805 3 2 6 6 2310 0132 2310 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000503314597 0.582275287227 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.646873747041 0.724125210967 6 4 4 6 3201 3201 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.927061106524 0.926260107867 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], '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' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 1156615141772505053897679632306879797576067524660629767823966957299\ 192177092127433293609258868661/390560624089323097301721318919513453\ 1174265208279668211077216756890935306794071710749718238175*c_0101_4\ ^34 + 1593218070717501819019196401961796085511422980413202458243718\ 9503576751930524457159544624398313847/39056062408932309730172131891\ 95134531174265208279668211077216756890935306794071710749718238175*c\ _0101_4^33 - 117735734098018667019666987549042995548903390475898113\ 92026420429082849198828216261547124984684101/7811212481786461946034\ 4263783902690623485304165593364221544335137818706135881434214994364\ 7635*c_0101_4^32 - 410423007425914551759648220633271782131431496793\ 95872277562538633047388987655332258262702302237399/3905606240893230\ 9730172131891951345311742652082796682110772167568909353067940717107\ 49718238175*c_0101_4^31 + 54836963483752416538951891177916930797371\ 2042280978127700097009706218596530621989161748061856899364/39056062\ 4089323097301721318919513453117426520827966821107721675689093530679\ 4071710749718238175*c_0101_4^30 - 989224730926710417124303127285136\ 380828257001772313052971174801376222787386948067602699042841984439/\ 3905606240893230973017213189195134531174265208279668211077216756890\ 935306794071710749718238175*c_0101_4^29 + 1463893582349245778787687446467312401128185829938615235922280223145\ 502952136664488345459166465352281/390560624089323097301721318919513\ 4531174265208279668211077216756890935306794071710749718238175*c_010\ 1_4^28 + 1285040421272797400100475050290734570759969362338315403316\ 389105034882578107678587291075389267710611/390560624089323097301721\ 3189195134531174265208279668211077216756890935306794071710749718238\ 175*c_0101_4^27 - 2637272223505966841272045918132840243200825302540\ 306055294983464885675596993257412302474888204892902/781121248178646\ 1946034426378390269062348530416559336422154433513781870613588143421\ 49943647635*c_0101_4^26 + 41382945482810255679345959304463886331277\ 51035406505459272021866817841068021459503046413998750491642/7811212\ 4817864619460344263783902690623485304165593364221544335137818706135\ 8814342149943647635*c_0101_4^25 - 704113025029294070093981030305695\ 253316154644640754720815412409556910292509602849426493764325303999/\ 3905606240893230973017213189195134531174265208279668211077216756890\ 935306794071710749718238175*c_0101_4^24 - 3497510716999417125189764950630817211663384517178342074368499853742\ 5604714664923803008527416851541726/39056062408932309730172131891951\ 34531174265208279668211077216756890935306794071710749718238175*c_01\ 01_4^23 + 436839838149499449208133932488691672762320843093686673654\ 58384580204087973476130875191270727819020784/3905606240893230973017\ 2131891951345311742652082796682110772167568909353067940717107497182\ 38175*c_0101_4^22 - 16270543135617092748902765965655643355923694799\ 093855939436694766299701064424677281436170623852309057/130186874696\ 4410324339071063065044843724755069426556070359072252296978435598023\ 903583239412725*c_0101_4^21 + 9540639928211025567488670751846780257\ 796122393884488100757082445942501790080473081289616735508936501/781\ 1212481786461946034426378390269062348530416559336422154433513781870\ 61358814342149943647635*c_0101_4^20 - 1180642813578574580341792942596273415363419342345953539080740525959\ 1046018479422158324278254886036492/39056062408932309730172131891951\ 34531174265208279668211077216756890935306794071710749718238175*c_01\ 01_4^19 - 259321769523730350754099118524931291298585804138202949548\ 85258561944351245894363977271135600282117864/1301868746964410324339\ 0710630650448437247550694265560703590722522969784355980239035832394\ 12725*c_0101_4^18 + 96211585863530783681497348641147453335177429719\ 404117877491857475390345013995428591696715195598326886/390560624089\ 3230973017213189195134531174265208279668211077216756890935306794071\ 710749718238175*c_0101_4^17 - 1615015101781010036588639307561837138\ 4194865316232520440573176309703940660765000205772107477342434137/13\ 0186874696441032433907106306504484372475506942655607035907225229697\ 8435598023903583239412725*c_0101_4^16 - 7477504782787502429006876564384962533568478755621412932973597960504\ 690338287542049037776928525131614/390560624089323097301721318919513\ 4531174265208279668211077216756890935306794071710749718238175*c_010\ 1_4^15 + 9252497024335678711056708074520911382255663169229001785569\ 871831233548172284828083153511680138711192/390560624089323097301721\ 3189195134531174265208279668211077216756890935306794071710749718238\ 175*c_0101_4^14 - 3438970797668368887520420541207106591463399511294\ 9863699040176094882425141212111342335250802811418944/39056062408932\ 3097301721318919513453117426520827966821107721675689093530679407171\ 0749718238175*c_0101_4^13 + 289466647434521719299420760410806392468\ 28000555078886601182627516617971520563205308063781153976645883/3905\ 6062408932309730172131891951345311742652082796682110772167568909353\ 06794071710749718238175*c_0101_4^12 + 2751973552294795200012879695414993247462790688470865582130401491741\ 983921512319294915478952980946886/130186874696441032433907106306504\ 4843724755069426556070359072252296978435598023903583239412725*c_010\ 1_4^11 + 1464588822280695353327462843359405571554640290224375441525\ 986712066892743893078442230545807708187587/390560624089323097301721\ 3189195134531174265208279668211077216756890935306794071710749718238\ 175*c_0101_4^10 + 6776117784750993331797176550226295275121697427565\ 579574993233627891578627026978175703830026288708812/390560624089323\ 0973017213189195134531174265208279668211077216756890935306794071710\ 749718238175*c_0101_4^9 - 68531411696599149643702629441228854703706\ 0208092543288364259475692538156981591193347252408957692188/13018687\ 4696441032433907106306504484372475506942655607035907225229697843559\ 8023903583239412725*c_0101_4^8 - 9294552079155776376741066006748663\ 76497521759739037595757069424195698370948488932018167369530177456/1\ 3018687469644103243390710630650448437247550694265560703590722522969\ 78435598023903583239412725*c_0101_4^7 - 3121105897349278826551762526230482413271743956263304072674020594638\ 336462650475091167050204645755888/390560624089323097301721318919513\ 4531174265208279668211077216756890935306794071710749718238175*c_010\ 1_4^6 - 88378596532233092564879162717740428659549050888605707130624\ 0267401753668495974905068422627801735287/39056062408932309730172131\ 8919513453117426520827966821107721675689093530679407171074971823817\ 5*c_0101_4^5 + 9055093245707124860444673980278456807088447289618449\ 08898721931697931926945461902265330077720596347/3905606240893230973\ 0172131891951345311742652082796682110772167568909353067940717107497\ 18238175*c_0101_4^4 + 463443550577139229786277269267563748103689079\ 720534298635291925591699714051822106373882797748243036/390560624089\ 3230973017213189195134531174265208279668211077216756890935306794071\ 710749718238175*c_0101_4^3 + 19672921440010746350514915847646321055\ 615121333584177880332081754189843401153643259764970292550507/390560\ 6240893230973017213189195134531174265208279668211077216756890935306\ 794071710749718238175*c_0101_4^2 - 2420855047593459097009155830178372569600365431587939935822489728103\ 0997760107610403649612522313944/39056062408932309730172131891951345\ 31174265208279668211077216756890935306794071710749718238175*c_0101_\ 4 - 412173084166542828108049078096142651976071666644219867076739545\ 0976307071476971922819592193226528/39056062408932309730172131891951\ 34531174265208279668211077216756890935306794071710749718238175, c_0011_0 - 1, c_0011_1 - 225050743898828860480675547188495062021670239276354554275221\ 27126310656947525434952516680905/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^34 + 3083037640194424303929451644839546940719751535252108024958672\ 35331103428109365939052752071726/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^33 - 1122630982688087683475308490674581298856480939938024978443372\ 682842031801400361259525483733632/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^32 - 877538396271496354443105515939760726980624509922542995045392\ 981151090793213629113132228122175/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^31 + 105904238734940343000020335028163341306842603931952062619459\ 26266599515122578200002682088844402/5207474987857641297356284252260\ 1793748990202777062242814362890091879137423920956143329576509*c_010\ 1_4^30 - 1850693226457854468200853738635134222172047896036736732133\ 6713807825837073537914041199157232773/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4^29 + 27287610974184747180819327267718199163405597400758810158\ 328060221540546265937957148620066030796/520747498785764129735628425\ 22601793748990202777062242814362890091879137423920956143329576509*c\ _0101_4^28 + 270242187854239744881138981827977156125266441659209138\ 95106801283379976044234744819705994669757/5207474987857641297356284\ 2522601793748990202777062242814362890091879137423920956143329576509\ *c_0101_4^27 - 2546097845149283588721001843314442283932303366994305\ 29380211483285117362073696412755100374898707/5207474987857641297356\ 2842522601793748990202777062242814362890091879137423920956143329576\ 509*c_0101_4^26 + 3850615753427662717352405415810718288661938203304\ 64813918362840145762871887935884910032935223269/5207474987857641297\ 3562842522601793748990202777062242814362890091879137423920956143329\ 576509*c_0101_4^25 + 1058172704363351295343970380908220005308091199\ 7636898712580833342318842124473739959243927814226/52074749878576412\ 9735628425226017937489902027770622428143628900918791374239209561433\ 29576509*c_0101_4^24 - 67997424487124206524285173596345639547503369\ 5539902102112666105383734560355515064455115133510724/52074749878576\ 4129735628425226017937489902027770622428143628900918791374239209561\ 43329576509*c_0101_4^23 + 81268388700754884005901157083363026956342\ 4333379329827061704148420491090869692768030264405103428/52074749878\ 5764129735628425226017937489902027770622428143628900918791374239209\ 56143329576509*c_0101_4^22 - 90599584548810369030842890451873933589\ 6348752220077765913870874839781686120770558627314247976817/52074749\ 8785764129735628425226017937489902027770622428143628900918791374239\ 20956143329576509*c_0101_4^21 + 85893423017034330418477293676104028\ 3425152521130191221514707739198477717291537189456226599591883/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^20 - 1573021865089114228972440795794573661533960753128559063545128269531\ 17945465487177501170226619598/5207474987857641297356284252260179374\ 8990202777062242814362890091879137423920956143329576509*c_0101_4^19 - 15461272426566400606731213331071199579985427576707343828098175762\ 32075379249973286341476222272164/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^18 + 1793416613749405010143807712917371644948128003363727409489246\ 119937723126336715025909720714752226/520747498785764129735628425226\ 01793748990202777062242814362890091879137423920956143329576509*c_01\ 01_4^17 - 862160340740895152824046711978837935455344659110492537786\ 747414699992381198408544195467282144681/520747498785764129735628425\ 22601793748990202777062242814362890091879137423920956143329576509*c\ _0101_4^16 - 209129166413345747564076578063071390460177155888219420\ 268144325327950589431818369672018874160648/520747498785764129735628\ 4252260179374899020277706224281436289009187913742392095614332957650\ 9*c_0101_4^15 + 199198716642862791468018725101216079651820659857470\ 205588217135939036920775941218090245549505868/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^14 - 702647964261617502465203326519746776051966927316\ 792137004239081407776979062904469173628383579922/520747498785764129\ 7356284252260179374899020277706224281436289009187913742392095614332\ 9576509*c_0101_4^13 + 529240604130870752301412274436903304503553052\ 622851599611242389331010748345115805497518524462890/520747498785764\ 1297356284252260179374899020277706224281436289009187913742392095614\ 3329576509*c_0101_4^12 + 173690428068976219439954041281906250825496\ 654199223095937704340142682614117302587153311383872089/520747498785\ 7641297356284252260179374899020277706224281436289009187913742392095\ 6143329576509*c_0101_4^11 + 353061481630802358994969337253870887143\ 11932101395646323953231128716512193705208941631894503682/5207474987\ 8576412973562842522601793748990202777062242814362890091879137423920\ 956143329576509*c_0101_4^10 + 1519449469209933865962864621272288922\ 17187119189139473779304920796746644983146369548639484251228/5207474\ 9878576412973562842522601793748990202777062242814362890091879137423\ 920956143329576509*c_0101_4^9 - 27826556504306529634193244830023049\ 741635092285703256600499831603887586829689129012499450088179/520747\ 4987857641297356284252260179374899020277706224281436289009187913742\ 3920956143329576509*c_0101_4^8 - 4604258593210987261104004185245115\ 0386900659839236750943211352172383405908871305810246704785940/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^7 - 599922621369616501850103165825917\ 50806139606034274943002073522650756560595936600912910685804687/5207\ 4749878576412973562842522601793748990202777062242814362890091879137\ 423920956143329576509*c_0101_4^6 - 2119279859227247461715248788514335558643838739499074964168387172396\ 5459438133617765804030308505/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^5 + 1461255870142587515595665746327740101057016328574479911337879270579\ 4353203846767174165455600579/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^4 + 8135326055703618985691500826932061359440238541060436450700838324872\ 010713813160325099690539459/520747498785764129735628425226017937489\ 90202777062242814362890091879137423920956143329576509*c_0101_4^3 + 4714232322373135971193599070702413022328782209368487339128662617337\ 92163639887577345578786721/5207474987857641297356284252260179374899\ 0202777062242814362890091879137423920956143329576509*c_0101_4^2 - 3132154369730134572028526607955826970420963095205254288789546673908\ 11861618804861713478774862/5207474987857641297356284252260179374899\ 0202777062242814362890091879137423920956143329576509*c_0101_4 - 5382074291037528517159859446409597284230671009600347703069913761236\ 5712976408115350915049139/52074749878576412973562842522601793748990\ 202777062242814362890091879137423920956143329576509, c_0011_3 - 476025922639219713479056148661822310525060665698321508938220\ 07953875790131700335697553181612/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^34 + 6569388724662875394110800396531613578730859951903056693162004\ 29662831040323958798412930384041/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^33 - 2441939394612515585481483242813969526330704539893184469841827\ 536354523844657456804946735446344/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^32 - 159514195536197668083766660867084276467791406489998505047984\ 5653207856988741697037906105725293/52074749878576412973562842522601\ 793748990202777062242814362890091879137423920956143329576509*c_0101\ _4^31 + 22492748512442328177576228592404776895800504940327753984287\ 190586671541628561983178438618099276/520747498785764129735628425226\ 01793748990202777062242814362890091879137423920956143329576509*c_01\ 01_4^30 - 413582976673681350130953217895533299968651041075103334112\ 47068320010801998275717482049647288000/5207474987857641297356284252\ 2601793748990202777062242814362890091879137423920956143329576509*c_\ 0101_4^29 + 6235545886424662509840740270579656455265528519460162188\ 8737904266719727042086112432711873621655/52074749878576412973562842\ 522601793748990202777062242814362890091879137423920956143329576509*\ c_0101_4^28 + 49293450726958714529761262591255450710968015202542703\ 580123169785145715269876188197651610102779/520747498785764129735628\ 4252260179374899020277706224281436289009187913742392095614332957650\ 9*c_0101_4^27 - 540730970851616100717398349083028360486767956528452\ 800147492813016386303540193198905198116181192/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^26 + 867311521521611031821940744547632081828370443558\ 160700031060350499250338621758115575563458515124/520747498785764129\ 7356284252260179374899020277706224281436289009187913742392095614332\ 9576509*c_0101_4^25 - 762234092412455958338080058896947182140178343\ 25223865778831160199171414602962422752701517336182/5207474987857641\ 2973562842522601793748990202777062242814362890091879137423920956143\ 329576509*c_0101_4^24 - 1395596308263448310734216157328364083694714\ 284345835003496260213460650729897028096479307411471891/520747498785\ 7641297356284252260179374899020277706224281436289009187913742392095\ 6143329576509*c_0101_4^23 + 182378896966204723241661216760470127072\ 9208208227093775862386592549390790976257872236201588062709/52074749\ 8785764129735628425226017937489902027770622428143628900918791374239\ 20956143329576509*c_0101_4^22 - 21118767819711142046734626834867222\ 11104760186008050826672240756779644360231387430829772369367567/5207\ 4749878576412973562842522601793748990202777062242814362890091879137\ 423920956143329576509*c_0101_4^21 + 2101586964253540973689301653038568071875700343174925283000581079837\ 132585867764236643731071214758/520747498785764129735628425226017937\ 48990202777062242814362890091879137423920956143329576509*c_0101_4^2\ 0 - 653633713264415108863428526262084186022250370665649577662757586\ 226692364008928987899375280555248/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^19 - 306387606875949831475560410420568107849660532888190280861247\ 5232177203256517115080304328720316978/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4^18 + 39768207355363944999204490797496318491963980013947630025\ 72798336241695363158989684642762983408757/5207474987857641297356284\ 2522601793748990202777062242814362890091879137423920956143329576509\ *c_0101_4^17 - 2209424911273031428068660486138468217703524091593436\ 176731788479921299279963710793577229821617353/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^16 - 798924732737208810781600051514504639069406396974\ 15426776464677876626122779808411131290727893749/5207474987857641297\ 3562842522601793748990202777062242814362890091879137423920956143329\ 576509*c_0101_4^15 + 2526934605329941790039871603480634253651466504\ 21010779097659937662288874815443384710153400209045/5207474987857641\ 2973562842522601793748990202777062242814362890091879137423920956143\ 329576509*c_0101_4^14 - 1385172603090242404433671625365506088293025\ 460302654303372462439969504116026038660659699240704671/520747498785\ 7641297356284252260179374899020277706224281436289009187913742392095\ 6143329576509*c_0101_4^13 + 120339468584317050507911566086909299142\ 6833099802696131513785268929523939370429801285852390859119/52074749\ 8785764129735628425226017937489902027770622428143628900918791374239\ 20956143329576509*c_0101_4^12 + 25725699910423723690563359449403638\ 8599645946459722398986729331996010843613531089308356262312646/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^11 + 1006222461847096890218873722743807290901134151903592763762492539563\ 97174480723672825487852130574/5207474987857641297356284252260179374\ 8990202777062242814362890091879137423920956143329576509*c_0101_4^10 + 27747348526034271563298724846487083875027960907268787078441556661\ 9184618193219109415900312424513/52074749878576412973562842522601793\ 748990202777062242814362890091879137423920956143329576509*c_0101_4^\ 9 - 764678078742655949057865935714558581901587953064970229166537656\ 70822015898475189206964395377102/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^8 - 10094897776090643298793348668016968841888622311729062509215276\ 5913339914885219897430624700988030/52074749878576412973562842522601\ 793748990202777062242814362890091879137423920956143329576509*c_0101\ _4^7 - 124118594714678286766873292485368480298175804706646748466370\ 697591644758268609509842242371599422/520747498785764129735628425226\ 01793748990202777062242814362890091879137423920956143329576509*c_01\ 01_4^6 - 3536064950370429176705939116610559144524147553474830200167\ 1824094083725399332793036113014956539/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4^5 + 333599272581307346800257619013303719333179725995941413270\ 34252279573169260407114698574884073131/5207474987857641297356284252\ 2601793748990202777062242814362890091879137423920956143329576509*c_\ 0101_4^4 + 16525017324324832399261670019532603486069399443972249571\ 740625646776993157117683407163454982542/520747498785764129735628425\ 22601793748990202777062242814362890091879137423920956143329576509*c\ _0101_4^3 + 7952181703486625005746682972327261196787848479900438949\ 24093946221670756331150361426657964340/5207474987857641297356284252\ 2601793748990202777062242814362890091879137423920956143329576509*c_\ 0101_4^2 - 67033343015510251795014650323069569058375730276027075150\ 6589440288649602983504721017246326665/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4 - 17270879608835548647284878229195705260627427572841075019010\ 7770661900497456555067121129948340/52074749878576412973562842522601\ 793748990202777062242814362890091879137423920956143329576509, c_0011_6 - 365046286032541076528914009044886837771455655721043305844623\ 86411144034789894340596641630590/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^34 + 5018588303460012144580025572357654421234424231034428124868323\ 23220340295612711400928875140816/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^33 - 1844434444492531262431836602125112610043515897540267131132575\ 036395885521991810243940568954244/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^32 - 134498095524607997165678933263781437008969893337041903175712\ 6865065614076126946545760161892935/52074749878576412973562842522601\ 793748990202777062242814362890091879137423920956143329576509*c_0101\ _4^31 + 17272326085985660425624710233017516570193067019730006895093\ 786264462512197587154823919943489319/520747498785764129735628425226\ 01793748990202777062242814362890091879137423920956143329576509*c_01\ 01_4^30 - 307664039772053284181930579271509423019240653411072075646\ 77244757067944794130016729938854249252/5207474987857641297356284252\ 2601793748990202777062242814362890091879137423920956143329576509*c_\ 0101_4^29 + 4538010530610507825246046342018664672049410505072056779\ 8279447066622989266337045510737119367915/52074749878576412973562842\ 522601793748990202777062242814362890091879137423920956143329576509*\ c_0101_4^28 + 41853157113987997386163065859318479697897629120866719\ 010786006890400225823154065721672454284181/520747498785764129735628\ 4252260179374899020277706224281436289009187913742392095614332957650\ 9*c_0101_4^27 - 415196751573209486685318929585788598983039394437254\ 058171336518590884098473517897922510288138195/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^26 + 642151975276134563809847187295436652911433913735\ 124128043840996393597007020465876446607849260385/520747498785764129\ 7356284252260179374899020277706224281436289009187913742392095614332\ 9576509*c_0101_4^25 - 503004872624230483321255831712979909630158696\ 0526146650866522237353365786295693694852443186747/52074749878576412\ 9735628425226017937489902027770622428143628900918791374239209561433\ 29576509*c_0101_4^24 - 11057627394080172256814968855239628373034615\ 59394379863931582639374892925985952366609269839722425/5207474987857\ 6412973562842522601793748990202777062242814362890091879137423920956\ 143329576509*c_0101_4^23 + 1352717652089193223722835474461609243393\ 612518945659299448484323476748105736762514078711952054777/520747498\ 7857641297356284252260179374899020277706224281436289009187913742392\ 0956143329576509*c_0101_4^22 - 150565855432535072081291997121842851\ 2892413060054727700860813225183664554287038475418890508316066/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^21 + 1460160769049398467136906609272681504437885733670064805611565650158\ 208270615028903858986971858044/520747498785764129735628425226017937\ 48990202777062242814362890091879137423920956143329576509*c_0101_4^2\ 0 - 325906423907856387888757468862742314346309978994992617299087755\ 972790552953104101840278963208194/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^19 - 247290051899780049074014663258630707077258956436435341333441\ 4288068246679349601679428517275850116/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4^18 + 29789163264405165107647969017481625276919222634117600344\ 64083615632839812112597431008429956262684/5207474987857641297356284\ 2522601793748990202777062242814362890091879137423920956143329576509\ *c_0101_4^17 - 1453761815990874023914714735133724185855868623861337\ 837142974796069272735292055764411591869552018/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^16 - 286180111384399360007380872689048135873706067576\ 313300964277110271088870802755839535753719793559/520747498785764129\ 7356284252260179374899020277706224281436289009187913742392095614332\ 9576509*c_0101_4^15 + 301846873820021117665313341463298769029081009\ 779454044420402228978487354022599906705834843352121/520747498785764\ 1297356284252260179374899020277706224281436289009187913742392095614\ 3329576509*c_0101_4^14 - 108937771441223452260706830823169108437713\ 9952565903062050159306633558226060792416251451304740634/52074749878\ 5764129735628425226017937489902027770622428143628900918791374239209\ 56143329576509*c_0101_4^13 + 88456989631582412766396151164108368416\ 4572645038376055564376022398150363560390729359803787614042/52074749\ 8785764129735628425226017937489902027770622428143628900918791374239\ 20956143329576509*c_0101_4^12 + 28604487044693566717034644632869965\ 2067255538629878056929184480993265443114468166254428641176462/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^11 + 4713532834650837630288042976913138415496467094855500844855732442505\ 3965906009947750846860162557/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^10 + 2213369236929224955106770253461678745255608229017311685034819239705\ 16108799309178689348619584051/5207474987857641297356284252260179374\ 8990202777062242814362890091879137423920956143329576509*c_0101_4^9 - 5854341727333113424659525350505861623708576900560644752543805311190\ 4473947005701623157721130526/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^8 - 8959783265395500114985252611705673965770892819344912410492913497447\ 5451778246731921022432841273/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^7 - 9921600478653523183981722314697267056131917950649903188841225890210\ 1132461022919570303374630041/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^6 - 3129359955375992958284248919451797457758879548255804742339209810228\ 3548505387584713787010118194/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^5 + 2737148325057562250700083382394113213372824658101594792873581724567\ 5544934158636878108331721750/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^4 + 1513650000070387280266786203158019870823643132612583528453874107519\ 2361711976089570921496425613/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^3 + 8892490658800457581911088944833509771787756478537904333730958006180\ 97005083202627404215647609/5207474987857641297356284252260179374899\ 0202777062242814362890091879137423920956143329576509*c_0101_4^2 - 5715688010273246232363894683558365603858536131150883968652747324464\ 96503997704980735472679850/5207474987857641297356284252260179374899\ 0202777062242814362890091879137423920956143329576509*c_0101_4 - 1353596113305739281330291843000678811890684382132174702902624644537\ 95422286458533283553751515/5207474987857641297356284252260179374899\ 0202777062242814362890091879137423920956143329576509, c_0101_0 + 187063677903110788529230329639587625497266303566296192851680\ 38363927641905836001223417899773/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^34 - 2548676250114435755964260759096288258480717920783704626136736\ 71391017322994800230199323908653/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^33 + 9139968516132701444411080048254831412394841842738056610502463\ 41716382047063074953888137343762/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^32 + 7988840392337941713677433561076890861542160771954628994821796\ 13472426610859868914876670407183/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^31 - 8743832636361392719878132908971281771499670140609817585098541\ 176922392883751532853400319977093/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^30 + 147021343747492095464595155722238428455520526656351418373983\ 64651072677734026674808677082687675/5207474987857641297356284252260\ 1793748990202777062242814362890091879137423920956143329576509*c_010\ 1_4^29 - 2151439049130622995507885222126412013603284188824340529144\ 1154270592590211694912985419187337267/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4^28 - 24003795326909964684401632146640998165412119714755919243\ 051342534045096696643584684616931645401/520747498785764129735628425\ 22601793748990202777062242814362890091879137423920956143329576509*c\ _0101_4^27 + 209473934077025327831979444186439033633810504663378946\ 824755827128173533853545611723475792829058/520747498785764129735628\ 4252260179374899020277706224281436289009187913742392095614332957650\ 9*c_0101_4^26 - 303343464197531764362990381635897349654478373926041\ 365304374630882688319923215544290628600368697/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^25 - 332718879114062339031717478017607306036635083963\ 41132893371263935928209260143576393654070734106/5207474987857641297\ 3562842522601793748990202777062242814362890091879137423920956143329\ 576509*c_0101_4^24 + 5608792590378025174032146978452577189626563327\ 64735273505682776865730724730366169938609782790889/5207474987857641\ 2973562842522601793748990202777062242814362890091879137423920956143\ 329576509*c_0101_4^23 - 6223230841001749324348542598209526769382444\ 50279109930804541473356954728657381329555369304280726/5207474987857\ 6412973562842522601793748990202777062242814362890091879137423920956\ 143329576509*c_0101_4^22 + 6916029061697274132145699579804050161071\ 77567372670529780906053775080123308325547840142213832176/5207474987\ 8576412973562842522601793748990202777062242814362890091879137423920\ 956143329576509*c_0101_4^21 - 6612171645747960537460216640564743308\ 94180773505357742265069423118121088199894167603135926851669/5207474\ 9878576412973562842522601793748990202777062242814362890091879137423\ 920956143329576509*c_0101_4^20 + 9889245912544743590335979583134500\ 5421265803568298028200656411928990294703689774982581055114814/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^19 + 1259846868304019003631515300735901702567643386641849809138250280380\ 508324251743051617294384360462/520747498785764129735628425226017937\ 48990202777062242814362890091879137423920956143329576509*c_0101_4^1\ 8 - 134987202884674042064592176207982839914890243265381917068014602\ 6802263351162492976897687584856679/52074749878576412973562842522601\ 793748990202777062242814362890091879137423920956143329576509*c_0101\ _4^17 + 56519074393996831188605526976669234262117023970385054554477\ 6218993105308104495680801532311185657/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4^16 + 23116708246023730270321060244765195027638169347964305561\ 0233810521862651076247066973267768824522/52074749878576412973562842\ 522601793748990202777062242814362890091879137423920956143329576509*\ c_0101_4^15 - 11101057974229188029257554223957844608320634674813182\ 1168419978424636290165118813491562004126934/52074749878576412973562\ 8425226017937489902027770622428143628900918791374239209561433295765\ 09*c_0101_4^14 + 51481655170848522751160334206888624631683951736917\ 1799696179951868935580904799171391086831508762/52074749878576412973\ 5628425226017937489902027770622428143628900918791374239209561433295\ 76509*c_0101_4^13 - 35467717564880434280604650606816875742583012101\ 8050709513910196313193436239286405116943769214298/52074749878576412\ 9735628425226017937489902027770622428143628900918791374239209561433\ 29576509*c_0101_4^12 - 19812882034631280779336984985686201009761109\ 7173463696933785698010239642787785238285646928221625/52074749878576\ 4129735628425226017937489902027770622428143628900918791374239209561\ 43329576509*c_0101_4^11 - 38673699431169516997425049182715795285142\ 823393474147716242389965418695678106719224960874406532/520747498785\ 7641297356284252260179374899020277706224281436289009187913742392095\ 6143329576509*c_0101_4^10 - 112909256213663687555403494554558630291\ 979633800750510261720180091886746041506362877505170667784/520747498\ 7857641297356284252260179374899020277706224281436289009187913742392\ 0956143329576509*c_0101_4^9 + 2233444539462145910358566580594377779\ 511299253575204270159810118442842061634593651776289858744/520747498\ 7857641297356284252260179374899020277706224281436289009187913742392\ 0956143329576509*c_0101_4^8 + 4592334372444923181840038753620484933\ 2978466181945272175239939138791558992873313324082453478495/52074749\ 8785764129735628425226017937489902027770622428143628900918791374239\ 20956143329576509*c_0101_4^7 + 503214815323378215335891913090771995\ 39683288713538139986141685439271130217425773004928623377649/5207474\ 9878576412973562842522601793748990202777062242814362890091879137423\ 920956143329576509*c_0101_4^6 + 20071514852935079011657084004438730\ 418255224932739408257939415262557098788671902055918560017057/520747\ 4987857641297356284252260179374899020277706224281436289009187913742\ 3920956143329576509*c_0101_4^5 - 1128972272145510188291000577246985\ 2887974101071311197720606118918427385920902800114191119720348/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^4 - 820523082899737333622179335164776\ 8198733438503467490530962979396042762608994100453206284834414/52074\ 7498785764129735628425226017937489902027770622428143628900918791374\ 23920956143329576509*c_0101_4^3 - 341038425587503855090831429784709\ 799429460838802550311040297557428644149246947645533880571991/520747\ 4987857641297356284252260179374899020277706224281436289009187913742\ 3920956143329576509*c_0101_4^2 + 4359141498194164681339873066398338\ 22394041706830884353430987598632733612728974318384499686474/5207474\ 9878576412973562842522601793748990202777062242814362890091879137423\ 920956143329576509*c_0101_4 + 7227783446315621342871501535873128737\ 8607238424970420332211334404130291151848750543613380779/52074749878\ 5764129735628425226017937489902027770622428143628900918791374239209\ 56143329576509, c_0101_3 + 586534223952014919908631997268425630494173811144648923540789\ 78443333467745602646225079634050/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^34 - 8089038549005207482026241683499435786725740605872871691668609\ 04758953537338002603443099459568/5207474987857641297356284252260179\ 3748990202777062242814362890091879137423920956143329576509*c_0101_4\ ^33 + 2999049829145003039554896829631551237915607369525963160052817\ 666985707237874103304390042295017/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^32 + 202425761402003329433470675550316806160643796532369044715612\ 2576752052818052101851552898756887/52074749878576412973562842522601\ 793748990202777062242814362890091879137423920956143329576509*c_0101\ _4^31 - 27804326826433642348994456751413389470294547702889186694382\ 468936265755804344241261949785801159/520747498785764129735628425226\ 01793748990202777062242814362890091879137423920956143329576509*c_01\ 01_4^30 + 505939654928799522009459842465007182661870692072776676237\ 97249741711323221952251715302303084530/5207474987857641297356284252\ 2601793748990202777062242814362890091879137423920956143329576509*c_\ 0101_4^29 - 7531961970570369413138501650859205884113469089723532043\ 9991416060131352326333478119161451155004/52074749878576412973562842\ 522601793748990202777062242814362890091879137423920956143329576509*\ c_0101_4^28 - 63120410846425701345169456561102214531085437602325238\ 493104283967433394481801103125613536560458/520747498785764129735628\ 4252260179374899020277706224281436289009187913742392095614332957650\ 9*c_0101_4^27 + 668277112994290205994620938384560631308829261385742\ 196790345294877236473895604327429466488676356/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^26 - 105940335995284123598524805017105494075970384116\ 8993743377767473951618590474214178987080644823166/52074749878576412\ 9735628425226017937489902027770622428143628900918791374239209561433\ 29576509*c_0101_4^25 + 59113817936076779676826379334338975548613633\ 756527832875725812176013112542723386229194066890902/520747498785764\ 1297356284252260179374899020277706224281436289009187913742392095614\ 3329576509*c_0101_4^24 + 175465814351212733509671129474478612999638\ 9678354699489268539317342124390223426682981749735535366/52074749878\ 5764129735628425226017937489902027770622428143628900918791374239209\ 56143329576509*c_0101_4^23 - 22264258412301891502144054409087054318\ 41922681394826466943629210680514986950332844237833294860161/5207474\ 9878576412973562842522601793748990202777062242814362890091879137423\ 920956143329576509*c_0101_4^22 + 2518202173959939624430224347307125\ 068411336153256697111325771642006781116783467913572348048868088/520\ 7474987857641297356284252260179374899020277706224281436289009187913\ 7423920956143329576509*c_0101_4^21 - 2495460323404847588970309044601619408370235451362117552761500233067\ 002501138243392132288744019803/520747498785764129735628425226017937\ 48990202777062242814362890091879137423920956143329576509*c_0101_4^2\ 0 + 694533421058669070584441017610993143770925804377889024487874275\ 126893155190313584373873907114898/520747498785764129735628425226017\ 93748990202777062242814362890091879137423920956143329576509*c_0101_\ 4^19 + 386085214294189830991056886040231955909133077485412636467538\ 9468232201866454247004803266721275267/52074749878576412973562842522\ 601793748990202777062242814362890091879137423920956143329576509*c_0\ 101_4^18 - 48764562951772834294004256077676951713603054715755698681\ 76002946504492352993850450539547049653039/5207474987857641297356284\ 2522601793748990202777062242814362890091879137423920956143329576509\ *c_0101_4^17 + 2528017135626234960708355131540374897182313105533788\ 115913218593918735070679738461809907795180496/520747498785764129735\ 6284252260179374899020277706224281436289009187913742392095614332957\ 6509*c_0101_4^16 + 271690527755663055742020540886701141248586189813\ 214661332337714943480083746574882210639380017711/520747498785764129\ 7356284252260179374899020277706224281436289009187913742392095614332\ 9576509*c_0101_4^15 - 388947099243109659427337070295080089896520125\ 734419342287384069606425049200819926512700353853164/520747498785764\ 1297356284252260179374899020277706224281436289009187913742392095614\ 3329576509*c_0101_4^14 + 168579767737759512562388545736594342051016\ 7972191511056113715674461434043592352377550662362650428/52074749878\ 5764129735628425226017937489902027770622428143628900918791374239209\ 56143329576509*c_0101_4^13 - 14610169002034369463579999073239721605\ 64649442484719164265363054696971479674500418430517632692655/5207474\ 9878576412973562842522601793748990202777062242814362890091879137423\ 920956143329576509*c_0101_4^12 - 4052695553040085818995321390630983\ 92524887495739689288821361611786278792723052272576484395599985/5207\ 4749878576412973562842522601793748990202777062242814362890091879137\ 423920956143329576509*c_0101_4^11 - 9024456586931892554066573819044660719148611111685309051755952694178\ 3861405179448434804195438794/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^10 - 3283310207120798037947017765846321071609715506646150134894826879418\ 02569385454550971319606195479/5207474987857641297356284252260179374\ 8990202777062242814362890091879137423920956143329576509*c_0101_4^9 + 1023524249702683468354471769798809861855088624261882527119201419870\ 85292213082561118974126182561/5207474987857641297356284252260179374\ 8990202777062242814362890091879137423920956143329576509*c_0101_4^8 + 1464930674642994245189950971627708787684918098074766901706095298881\ 78596415847505701606117722956/5207474987857641297356284252260179374\ 8990202777062242814362890091879137423920956143329576509*c_0101_4^7 + 1584510243066732913130007958111563692075031025029175487905438584406\ 84929669209062103533781839919/5207474987857641297356284252260179374\ 8990202777062242814362890091879137423920956143329576509*c_0101_4^6 + 4460676799839043558302381152793223831854334092516265959444057344789\ 8296806983637018529899118133/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^5 - 4557663195381630954144548211589778848279426169535485024629721671056\ 1204653032330321411538415571/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^4 - 2384689672510322099289413342681066762679481006272479133787582122339\ 3585911130818536192958863369/52074749878576412973562842522601793748\ 990202777062242814362890091879137423920956143329576509*c_0101_4^3 - 1236502844503495499663402969759155033752343810634836320031294910657\ 123746320454778040201318472/520747498785764129735628425226017937489\ 90202777062242814362890091879137423920956143329576509*c_0101_4^2 + 1007702411596036602593198992220694257048266718188212845969395797937\ 195752234492865860815063314/520747498785764129735628425226017937489\ 90202777062242814362890091879137423920956143329576509*c_0101_4 + 2274050540960083193856244803565227601406213304677648499075279120256\ 89812878241341144637440262/5207474987857641297356284252260179374899\ 0202777062242814362890091879137423920956143329576509, c_0101_4^35 - 14*c_0101_4^34 + 54*c_0101_4^33 + 24*c_0101_4^32 - 482*c_0101_4^31 + 962*c_0101_4^30 - 1459*c_0101_4^29 - 824*c_0101_4^28 + 11647*c_0101_4^27 - 20455*c_0101_4^26 + 4654*c_0101_4^25 + 30058*c_0101_4^24 - 44536*c_0101_4^23 + 50714*c_0101_4^22 - 50812*c_0101_4^21 + 19632*c_0101_4^20 + 64758*c_0101_4^19 - 98115*c_0101_4^18 + 60538*c_0101_4^17 - 3038*c_0101_4^16 - 9285*c_0101_4^15 + 31343*c_0101_4^14 - 31526*c_0101_4^13 - 1617*c_0101_4^12 + 369*c_0101_4^11 - 5563*c_0101_4^10 + 3053*c_0101_4^9 + 2050*c_0101_4^8 + 2127*c_0101_4^7 + 171*c_0101_4^6 - 956*c_0101_4^5 - 227*c_0101_4^4 + 75*c_0101_4^3 + 23*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB