Magma V2.19-8 Tue Aug 20 2013 16:18:58 on localhost [Seed = 2277907179] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3121 geometric_solution 6.27794464 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.924962952800 0.629973798231 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327831432577 0.705798844528 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339532462093 0.731942866217 5 6 4 1 1023 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339532462093 0.731942866217 2 3 4 4 0132 3201 1230 3012 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 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.185571688964 1.238401569076 5 3 5 2 2031 1023 1302 0132 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 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.880140692493 0.964386301963 6 6 2 3 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0.543610104176 0.686497642908 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 1074072061205448762987895253021127461018516153599861316939755102752\ 5308639490339116988434107785610123/58449776528539516545653333199439\ 641791993731285137326366081469153819313534933782010707206403772384*\ c_0101_4^32 - 18760556009277853192315476564661648900871599072355719\ 334087524236533308318282891237004102467180711523/730622206606743956\ 8206666649929955223999216410642165795760183644227414191866722751338\ 400800471548*c_0101_4^31 + 2091786006453651035647856880047433481871\ 17539913922819724464296809857059066543088167241475803986862999/5844\ 9776528539516545653333199439641791993731285137326366081469153819313\ 534933782010707206403772384*c_0101_4^30 + 2346136066309629009373033872246496813530221606790443609354893282826\ 22117904916526430851204577792117409/1461244413213487913641333329985\ 9910447998432821284331591520367288454828383733445502676801600943096\ *c_0101_4^29 - 2421319684796278292288262325027505710649002199414331\ 934082591357413110301574057367993505337075351951659/584497765285395\ 1654565333319943964179199373128513732636608146915381931353493378201\ 0707206403772384*c_0101_4^28 + 121215078848130873796675948173288758\ 527537671836271159956071968721239719762623287384087595029257111667/\ 7306222066067439568206666649929955223999216410642165795760183644227\ 414191866722751338400800471548*c_0101_4^27 + 1889875728182010770669974906960257426235041872419412875561487166195\ 021371242252421434703644958052753837/292248882642697582728266665997\ 1982089599686564256866318304073457690965676746689100535360320188619\ 2*c_0101_4^26 - 851421025442128071732347204618472587365659916200061\ 2451137246177022433891822677395414921202189217915771/58449776528539\ 5165456533331994396417919937312851373263660814691538193135349337820\ 10707206403772384*c_0101_4^25 + 24812277829205378332317855160174265\ 0204095818821282408357923974086781663791179627058170902034713122995\ 5/29224888264269758272826666599719820895996865642568663183040734576\ 909656767466891005353603201886192*c_0101_4^24 + 4474909824245451925911126072066740709024099726239712690331336145159\ 265404602613509654414599083813568979/584497765285395165456533331994\ 3964179199373128513732636608146915381931353493378201070720640377238\ 4*c_0101_4^23 - 111835864657675938207551998569954011641339804743662\ 8259394972244529205658280137161886424428658909257719/14612444132134\ 8791364133332998599104479984328212843315915203672884548283837334455\ 02676801600943096*c_0101_4^22 + 26485569277823362897896451297628140\ 060389849876954336304519283046696296701424910843165781165492808825/\ 5844977652853951654565333319943964179199373128513732636608146915381\ 9313534933782010707206403772384*c_0101_4^21 + 2440095570699732587829720814166928096465636765731217354830090912958\ 52243304896832175452419971326449743/1461244413213487913641333329985\ 9910447998432821284331591520367288454828383733445502676801600943096\ *c_0101_4^20 - 2338636519552747202101180208729372661564148222498093\ 1366525636610535076715447953977015715758040533185/14612444132134879\ 1364133332998599104479984328212843315915203672884548283837334455026\ 76801600943096*c_0101_4^19 - 17946541872978670653763460050186547364\ 48856362001209864495611796212611434074465921647921328069870873201/5\ 8449776528539516545653333199439641791993731285137326366081469153819\ 313534933782010707206403772384*c_0101_4^18 + 6337767259091744215391455613740408325125850961311622524398865215375\ 57532327734556449547606090420983683/1461244413213487913641333329985\ 9910447998432821284331591520367288454828383733445502676801600943096\ *c_0101_4^17 - 6867522691137543299764637359083656759683782029013888\ 30348871559613316182947698447848906388116748093361/7306222066067439\ 5682066666499299552239992164106421657957601836442274141918667227513\ 38400800471548*c_0101_4^16 + 57113431347377135067188040779656645733\ 95315691429592379028581435740611243066140919307193707239907308791/5\ 8449776528539516545653333199439641791993731285137326366081469153819\ 313534933782010707206403772384*c_0101_4^15 - 2435873604890837507043534135651812696808980846913590693426089745656\ 77297785037415869351256647404704111/4496136656041501272742564092264\ 587830153363945010563566621651473370716425764137077746708184905568*\ c_0101_4^14 + 19345620553959052550240667707486135362079861634087460\ 630068645437436906863673204533335114549682368553/292248882642697582\ 7282666659971982089599686564256866318304073457690965676746689100535\ 3603201886192*c_0101_4^13 + 281050183998209904788393782385548698374\ 9800494656630592871776571501461050020597887654133334808507868443/58\ 4497765285395165456533331994396417919937312851373263660814691538193\ 13534933782010707206403772384*c_0101_4^12 - 8651594571027809048669945664267417102121533164947399212408001389492\ 8584111453033031408373163093779383/18265555165168598920516666624824\ 88805999804102660541448940045911056853547966680687834600200117887*c\ _0101_4^11 + 136463425071597361986956185127939622089677871705660623\ 420505644965501770600803756048975066304881873197/365311103303371978\ 4103333324964977611999608205321082897880091822113707095933361375669\ 200400235774*c_0101_4^10 - 7178743732652349662965142458648681836575\ 07921803080625412987477398902354574382039025555854948789243519/5844\ 9776528539516545653333199439641791993731285137326366081469153819313\ 534933782010707206403772384*c_0101_4^9 - 3096343124902936264799489216161021538290040965307446495459846999783\ 24082862890517602163739651235728341/5844977652853951654565333319943\ 9641791993731285137326366081469153819313534933782010707206403772384\ *c_0101_4^8 + 72301343472428174581666464669807714818697026945382935\ 379861161849337191110186928104385824026588329989/730622206606743956\ 8206666649929955223999216410642165795760183644227414191866722751338\ 400800471548*c_0101_4^7 - 66292253370222604572396292769172801227315\ 3627928755965877775448762941357833018129149559389383493660/14050427\ 0501296914773205127883268369692292623281580111456926608542834888305\ 129283679584630778299*c_0101_4^6 + 1050670947757376407015239218306079326795761588142353779518593777214\ 26311889160990429969631806927049829/5844977652853951654565333319943\ 9641791993731285137326366081469153819313534933782010707206403772384\ *c_0101_4^5 - 29948179244974664509006640947881754468138935618879030\ 030787558796444209261194968040118860477270636173/584497765285395165\ 4565333319943964179199373128513732636608146915381931353493378201070\ 7206403772384*c_0101_4^4 - 7169225084674058013517187808424248313907\ 489224814176651484559895232295757885173464631048384978382893/146124\ 4413213487913641333329985991044799843282128433159152036728845482838\ 3733445502676801600943096*c_0101_4^3 + 1210988254727124501739207373977003591465063888417371115862988463312\ 30162587759530391277578654867545/1826555516516859892051666662482488\ 805999804102660541448940045911056853547966680687834600200117887*c_0\ 101_4^2 - 456004081391005102358068442913577990686572507156563039150\ 639347680971294566366711672422736059315221/730622206606743956820666\ 6649929955223999216410642165795760183644227414191866722751338400800\ 471548*c_0101_4 - 1195046277653150690915808498933680093493998981629\ 881198157916447957747556000811252772883355601836/182655551651685989\ 2051666662482488805999804102660541448940045911056853547966680687834\ 600200117887, c_0011_0 - 1, c_0011_3 - 304302777415583669201053174038190150053644061934193490481093\ 801780350963616242464943485095963729491/292248882642697582728266665\ 9971982089599686564256866318304073457690965676746689100535360320188\ 6192*c_0101_4^32 + 207004801114537147500707010647457251371652164080\ 0800707066092403825133660757150581490795405065880983/14612444132134\ 8791364133332998599104479984328212843315915203672884548283837334455\ 02676801600943096*c_0101_4^31 - 44187547394481484027977306515563606\ 91167562855608731435509485799514588311418912134512238515768941243/2\ 9224888264269758272826666599719820895996865642568663183040734576909\ 656767466891005353603201886192*c_0101_4^30 - 1399577093640780042178861158073359288494097468799339832212560969204\ 3584291821646673243519669046239727/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^29 + 58144825125865606274792837873254514930897212980840146\ 859027679847149292662285197995311978308186180879/292248882642697582\ 7282666659971982089599686564256866318304073457690965676746689100535\ 3603201886192*c_0101_4^28 - 399293906528783328591724951645813185977\ 5025715278538004989616601289491320618755008770680615307827395/14612\ 4441321348791364133332998599104479984328212843315915203672884548283\ 83733445502676801600943096*c_0101_4^27 - 5347586852843359399719028501182633686089535760665895452190282129542\ 5199300409831499735028087102861135/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^26 + 20439103557426658324078654119816961907309780770493516\ 6056760346996536417313854880352962815352667552463/29224888264269758\ 2728266665997198208959968656425686631830407345769096567674668910053\ 53603201886192*c_0101_4^25 - 18974767247163180250504613348131860549\ 353895158065996307245830286398089293134051970113362177109418629/730\ 6222066067439568206666649929955223999216410642165795760183644227414\ 191866722751338400800471548*c_0101_4^24 - 1443589262064949565164675890000529368261664453004245720705314607263\ 58903719619744296436483144174715587/2922488826426975827282666659971\ 9820895996865642568663183040734576909656767466891005353603201886192\ *c_0101_4^23 + 4053109623076127741290655649113195532817093380609749\ 4763529572215268475840922479042847825930846633889/14612444132134879\ 1364133332998599104479984328212843315915203672884548283837334455026\ 76801600943096*c_0101_4^22 + 43600517934790310176673783632366066239\ 04779370338574428695615099027017239690411902571717895485039115/2922\ 4888264269758272826666599719820895996865642568663183040734576909656\ 767466891005353603201886192*c_0101_4^21 - 8900546796396283137539773482973977744123974843180325768036238665197\ 444130148732827989377722646316905/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^20 + 110723708415971936176437171853852827289965260766962873\ 0798465502759501075971131366018391613826343303/36531110330337197841\ 0333332496497761199960820532108289788009182211370709593336137566920\ 0400235774*c_0101_4^19 + 465366803398100560545443260888741532343424\ 02869526455266945987972942550105668958281368269582115146425/2922488\ 8264269758272826666599719820895996865642568663183040734576909656767\ 466891005353603201886192*c_0101_4^18 - 2885612821465020068518619380429192039200346146076474891402911829339\ 0704028031858396954500682621941271/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^17 + 34838471057663271049515761313055002809133137740249305\ 397163465851876777572299247109804982520889365305/730622206606743956\ 8206666649929955223999216410642165795760183644227414191866722751338\ 400800471548*c_0101_4^16 - 1119841697288333670882807397153680355665\ 41439357123641133094014499674839571652382172331803782932385719/2922\ 4888264269758272826666599719820895996865642568663183040734576909656\ 767466891005353603201886192*c_0101_4^15 + 3948400687831059316946383696038991731020213273338222360723194742958\ 850818367075820870505545019649837/224806832802075063637128204613229\ 3915076681972505281783310825736685358212882068538873354092452784*c_\ 0101_4^14 + 4600071491545787661594164464897205070565486070788338283\ 650904144612628014543436035115558245711701867/730622206606743956820\ 6666649929955223999216410642165795760183644227414191866722751338400\ 800471548*c_0101_4^13 - 8174058801609834945744025767594261281312501\ 9905649827203688830344608695689137019378405719872144673819/29224888\ 2642697582728266665997198208959968656425686631830407345769096567674\ 66891005353603201886192*c_0101_4^12 + 2993444998300050588819187723167212887713451585150515365756797620963\ 0804728478575472720150789871055579/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^11 - 12070469137316506008282123434647916652150738801416850\ 831084990759931389929448195037811711196650006135/730622206606743956\ 8206666649929955223999216410642165795760183644227414191866722751338\ 400800471548*c_0101_4^10 + 3707635906500895220183777939497081307523\ 530989609530680387455734245513647848147199958593843042247775/292248\ 8826426975827282666659971982089599686564256866318304073457690965676\ 7466891005353603201886192*c_0101_4^9 + 1334217282207753441244349972236022984458450820821107916665469015497\ 0857227145364919401155900490643935/29224888264269758272826666599719\ 820895996865642568663183040734576909656767466891005353603201886192*\ c_0101_4^8 - 792856578248988100359012232248951160761308631037120177\ 9556167550986014800785435278114050226270866611/14612444132134879136\ 4133332998599104479984328212843315915203672884548283837334455026768\ 01600943096*c_0101_4^7 + 104877897387685212479824047508185509397497\ 169347301176515882949941697800923997335068395978107377647/562017082\ 0051876590928205115330734787691704931263204458277064341713395532205\ 17134718338523113196*c_0101_4^6 - 219073975894989110302744168965416\ 3821509649932385446502342041329006083218344900439094375121414883013\ /292248882642697582728266665997198208959968656425686631830407345769\ 09656767466891005353603201886192*c_0101_4^5 - 6987435230492724179843389674116469980005089821518905826567028088767\ 46269173064734543706208002674481/2922488826426975827282666659971982\ 0895996865642568663183040734576909656767466891005353603201886192*c_\ 0101_4^4 + 66067975263853363527373610271218709795690434100833457630\ 9196998722846000013464561012522172701569691/14612444132134879136413\ 3332998599104479984328212843315915203672884548283837334455026768016\ 00943096*c_0101_4^3 + 399840147020936625773920835108835426336472387\ 04941389680623896652320278913470084403955676708837669/7306222066067\ 4395682066666499299552239992164106421657957601836442274141918667227\ 51338400800471548*c_0101_4^2 + 164053068379323062401823438873938252\ 98780710164366718202398791410092271958169962627447374023904377/1826\ 5555165168598920516666624824888059998041026605414489400459110568535\ 47966680687834600200117887*c_0101_4 + 5447087904141576342600048665969612703868832111339842861668906366442\ 563577363935150983145631039297/182655551651685989205166666248248880\ 5999804102660541448940045911056853547966680687834600200117887, c_0011_6 - 268270909951269541345737791120761696573964436001690188729220\ 917772015307145759672999765345551635431/292248882642697582728266665\ 9971982089599686564256866318304073457690965676746689100535360320188\ 6192*c_0101_4^32 + 177830131577485328055329317946935088112617783109\ 3630033844798699376388208809683301907675716571047991/14612444132134\ 8791364133332998599104479984328212843315915203672884548283837334455\ 02676801600943096*c_0101_4^31 - 26099426724052206643629173706797875\ 75495560966165632061091791494668855263924201523447082087353318823/2\ 9224888264269758272826666599719820895996865642568663183040734576909\ 656767466891005353603201886192*c_0101_4^30 - 1312696473171861240770729707155993532337422637890059013901642925558\ 7372135613569283689329791949381459/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^29 + 42876529207590023683331403232571235256822090064150569\ 200546756965841089181900359824869261797866823155/292248882642697582\ 7282666659971982089599686564256866318304073457690965676746689100535\ 3603201886192*c_0101_4^28 + 616471582704077022047734940295754800003\ 4304534173305538095595035944340537777949645296904735571506669/14612\ 4441321348791364133332998599104479984328212843315915203672884548283\ 83733445502676801600943096*c_0101_4^27 - 4975954524671326165664728907505676045062125216721805766357818531871\ 1838131379798740375047537467475943/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^26 + 14730994571756793136295669854067370170383311415959029\ 3337970001419215676005479985640170989234733492699/29224888264269758\ 2728266665997198208959968656425686631830407345769096567674668910053\ 53603201886192*c_0101_4^25 + 24666629034413086152921423298811182220\ 8575401063204863380152708467436768064384761449875076402878599/73062\ 2206606743956820666664992995522399921641064216579576018364422741419\ 1866722751338400800471548*c_0101_4^24 - 1597442298255734523695272068955854873209214504903783029814868316175\ 05287756877892362634197318119990951/2922488826426975827282666659971\ 9820895996865642568663183040734576909656767466891005353603201886192\ *c_0101_4^23 + 1482826936791578957707692957340511876453755284948534\ 9176150626869236960561110735380657110530063966993/14612444132134879\ 1364133332998599104479984328212843315915203672884548283837334455026\ 76801600943096*c_0101_4^22 + 34817348320775646643660017751253454993\ 211382921925009493317038533249869447433289190074245206908223383/292\ 2488826426975827282666659971982089599686564256866318304073457690965\ 6767466891005353603201886192*c_0101_4^21 - 7188743514582299592874936157893158230623573591169571377984390550521\ 307442697540507383720310371543813/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^20 + 178913194285229674152422148509465493164363116754045047\ 294155877761672311718377127523456557043484905/365311103303371978410\ 3333324964977611999608205321082897880091822113707095933361375669200\ 400235774*c_0101_4^19 + 4212201800092316801781492072015124886897987\ 7092678087030166140175343828138189040508174640581498920133/29224888\ 2642697582728266665997198208959968656425686631830407345769096567674\ 66891005353603201886192*c_0101_4^18 - 1795451570006119041134176841101506864793989474647468051664348551477\ 8226914273038569905832993991746111/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^17 + 25840618338933808985006984749235927254198674647236431\ 096662390066197747313132355270291058635225387607/730622206606743956\ 8206666649929955223999216410642165795760183644227414191866722751338\ 400800471548*c_0101_4^16 - 5375494845017561526061153859833471902504\ 8941752776966230649932655410320964823624490790774929480277459/29224\ 8882642697582728266665997198208959968656425686631830407345769096567\ 67466891005353603201886192*c_0101_4^15 + 2649773014376296667880142431001099516823634914331443071817229356795\ 86087481942660140500378159010713/2248068328020750636371282046132293\ 915076681972505281783310825736685358212882068538873354092452784*c_0\ 101_4^14 + 93555838345502139291884544154896982848922130019735767710\ 85960577475450048067934945196533687656095725/7306222066067439568206\ 6666499299552239992164106421657957601836442274141918667227513384008\ 00471548*c_0101_4^13 - 69456539660290965886469511478209359917258212\ 724502357243256650351270396001659876263980046709786091223/292248882\ 6426975827282666659971982089599686564256866318304073457690965676746\ 6891005353603201886192*c_0101_4^12 + 1408565164249763043295878966879423773824521428584801981231843350035\ 6440910168839782739749041040651895/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^11 - 54027009401630467773920334209952855442724055692775606\ 34774346584657756240135552543361794468408847947/7306222066067439568\ 2066666499299552239992164106421657957601836442274141918667227513384\ 00800471548*c_0101_4^10 - 13592292888975174568895152361452890952911\ 921439290389074593009802525616748703237909059988574005257597/292248\ 8826426975827282666659971982089599686564256866318304073457690965676\ 7466891005353603201886192*c_0101_4^9 + 1573211012433006496652275915074236758156187181322897199166280713109\ 0455998192771859600390951070475131/29224888264269758272826666599719\ 820895996865642568663183040734576909656767466891005353603201886192*\ c_0101_4^8 - 538922180396866190891687585518642579255104046876332220\ 8360639109707249752842790735280026136071037879/14612444132134879136\ 4133332998599104479984328212843315915203672884548283837334455026768\ 01600943096*c_0101_4^7 + 190922904164239632240616886634262777955063\ 3612739471903610593693616855772388707065014309459713387/56201708200\ 5187659092820511533073478769170493126320445827706434171339553220517\ 134718338523113196*c_0101_4^6 + 10005275103966223244453804932224511\ 7059836000853412371875539757871092027042529116226432151032086623/29\ 2248882642697582728266665997198208959968656425686631830407345769096\ 56767466891005353603201886192*c_0101_4^5 - 1454031514795786849317408268049070873854269886624916767309980631564\ 370194950737048660890552341641877/292248882642697582728266665997198\ 20895996865642568663183040734576909656767466891005353603201886192*c\ _0101_4^4 + 6310768767321598382018751028374735808278452196702915472\ 26917957961976359486894547883631784538188695/1461244413213487913641\ 3333299859910447998432821284331591520367288454828383733445502676801\ 600943096*c_0101_4^3 + 11143978145653276621724110611068856343653936\ 1318539104034969063498106803643488662888931415833729129/73062220660\ 6743956820666664992995522399921641064216579576018364422741419186672\ 2751338400800471548*c_0101_4^2 + 1533780779316505891625615863155378\ 1577746022088210084775686867814103976213347805149284015185063513/18\ 2655551651685989205166666248248880599980410266054144894004591105685\ 3547966680687834600200117887*c_0101_4 + 8411812758849972270025090600925009469500384834886759510025459487240\ 553904696765727628528353345681/182655551651685989205166666248248880\ 5999804102660541448940045911056853547966680687834600200117887, c_0101_0 - 131168071322469446481608067097661419697156021302249681079218\ 41325605047178861260013900347619793059/1461244413213487913641333329\ 9859910447998432821284331591520367288454828383733445502676801600943\ 096*c_0101_4^32 + 2184737261966159079181685901104128661964326655383\ 03515387821315676379666182530151354287742332968789/1461244413213487\ 9136413333299859910447998432821284331591520367288454828383733445502\ 676801600943096*c_0101_4^31 - 7260928719905554272538994437477776738\ 08131073999395621909539266957804408841617611492297048298122171/1461\ 2444132134879136413333299859910447998432821284331591520367288454828\ 383733445502676801600943096*c_0101_4^30 - 7492117487133602823907486590119832673274386653642732487614702441749\ 52779393652443075897195274930831/1461244413213487913641333329985991\ 0447998432821284331591520367288454828383733445502676801600943096*c_\ 0101_4^29 + 6364725378302532345362642910516112489969850843728522421\ 868016268756207710454132801205427077925792179/146124441321348791364\ 1333329985991044799843282128433159152036728845482838373344550267680\ 1600943096*c_0101_4^28 - 720254427658619018042010756718504297683435\ 0601383598907440600495119373598939961242906261855720141393/14612444\ 1321348791364133332998599104479984328212843315915203672884548283837\ 33445502676801600943096*c_0101_4^27 - 2820579045693926242141785095730916341719111764445399437910376854225\ 478678735354791457531886734640611/730622206606743956820666664992995\ 5223999216410642165795760183644227414191866722751338400800471548*c_\ 0101_4^26 + 2361980940882403004250324276272435667681678508026012538\ 3785944305821455079355727070726073298852839693/14612444132134879136\ 4133332998599104479984328212843315915203672884548283837334455026768\ 01600943096*c_0101_4^25 - 26582919450373802596117635385949589479715\ 351318528242334952604536128456443099626641733315755416031107/146124\ 4413213487913641333329985991044799843282128433159152036728845482838\ 3733445502676801600943096*c_0101_4^24 - 3666763344419015527977292261403068901707281688577028952270991006509\ 702495545646227148077101802873317/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^23 + 261527374309660040026627102000130579102174769789546870\ 55543590068979571956440871226306846075899084429/1461244413213487913\ 6413333299859910447998432821284331591520367288454828383733445502676\ 801600943096*c_0101_4^22 - 5125329078949046506441255833480372846215\ 984709281524332483900885311110556868000400726461357523956513/146124\ 4413213487913641333329985991044799843282128433159152036728845482838\ 3733445502676801600943096*c_0101_4^21 - 6414295163480050380570622507728015952869644532514884631352517709888\ 490088448516684641528812451677713/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^20 + 423698917629627585069318150359717990965189561796361438\ 311123449538964233680539487951049929274509229/365311103303371978410\ 3333324964977611999608205321082897880091822113707095933361375669200\ 400235774*c_0101_4^19 + 3360742988254718037186152000447513122032317\ 837742434604746191312751412842477719749808791173898399745/146124441\ 3213487913641333329985991044799843282128433159152036728845482838373\ 3445502676801600943096*c_0101_4^18 - 8984032974627763412274259049994617985264274599075522942344423094383\ 727793285331606118606402257831755/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^17 + 144221927694039709165686797232775578822902747758947675\ 8275072056578429274574684770507305951459123633/18265555165168598920\ 5166666248248880599980410266054144894004591105685354796668068783460\ 0200117887*c_0101_4^16 - 205652058614660215872367106691703659312062\ 84894567155785521271741884624658034602680561633720641765315/1461244\ 4132134879136413333299859910447998432821284331591520367288454828383\ 733445502676801600943096*c_0101_4^15 + 2451499581033390862841067310062201248682542148239551885586322666659\ 28080910971476367292471065568055/2810085410025938295464102557665367\ 39384585246563160222913853217085669776610258567359169261556598*c_01\ 01_4^14 - 170801494830451219591182553787499949406170939463888815470\ 5669957370934847914326248141826932954086683/14612444132134879136413\ 3332998599104479984328212843315915203672884548283837334455026768016\ 00943096*c_0101_4^13 - 78420325588022267188472915543514343616365066\ 41009436863409175960212704478105593905940003220073494389/1461244413\ 2134879136413333299859910447998432821284331591520367288454828383733\ 445502676801600943096*c_0101_4^12 + 1247921172798236315946246761687915462679906599202516566050108560971\ 1687713960760381797586358902155425/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^11 - 18168537252822508350498557229257111643087622691419522\ 94203220090993231409971731744843423014985530495/3653111033033719784\ 1033333249649776119996082053210828978800918221137070959333613756692\ 00400235774*c_0101_4^10 + 44665477176248513485738905992732952997594\ 30944258599473337174738950519728898062921272774419883785995/1461244\ 4132134879136413333299859910447998432821284331591520367288454828383\ 733445502676801600943096*c_0101_4^9 + 2462893903421350676494858428226999801991983032217184547526788179606\ 89761034100543340352760731956237/3653111033033719784103333324964977\ 611999608205321082897880091822113707095933361375669200400235774*c_0\ 101_4^8 - 229986971442624564461090666503612481558940594795373689919\ 7661957070183611793225228572990046029043847/14612444132134879136413\ 3332998599104479984328212843315915203672884548283837334455026768016\ 00943096*c_0101_4^7 + 164668009707298057638358626011085450398013726\ 64698599451083864390878974887579257183990756967297842/1405042705012\ 9691477320512788326836969229262328158011145692660854283488830512928\ 3679584630778299*c_0101_4^6 - 3444606461814815014220562244763267415\ 20724889341287290829664859793654096320136363323473413535465209/1461\ 2444132134879136413333299859910447998432821284331591520367288454828\ 383733445502676801600943096*c_0101_4^5 + 3668942862010899477806858586615578726463795420498933684556289921498\ 2744841400857517072320436268621/18265555165168598920516666624824888\ 05999804102660541448940045911056853547966680687834600200117887*c_01\ 01_4^4 + 1568865828515728268683703754592570388524328037697847404004\ 0594958493561640965682377264521332492405/14612444132134879136413333\ 2998599104479984328212843315915203672884548283837334455026768016009\ 43096*c_0101_4^3 - 250925638524386705504376733719085800267851347993\ 21113392161151720225327552305993751878479818196975/3653111033033719\ 7841033333249649776119996082053210828978800918221137070959333613756\ 69200400235774*c_0101_4^2 - 792878134757779354518016456187199347718\ 8917922865023926497013202437229322924297468510399362320001/36531110\ 3303371978410333332496497761199960820532108289788009182211370709593\ 3361375669200400235774*c_0101_4 - 552748321705711024558744388596215\ 5469302150166588597728074643602829300658184433877215453769948950/18\ 2655551651685989205166666248248880599980410266054144894004591105685\ 3547966680687834600200117887, c_0101_1 - 103665673228422328246711776408558018040686378753814567321366\ 307761295744191811272280835111903960615/292248882642697582728266665\ 9971982089599686564256866318304073457690965676746689100535360320188\ 6192*c_0101_4^32 + 647675504990376937525629142975145094565344799638\ 125632155074009240663735676716787151816723056881883/146124441321348\ 7913641333329985991044799843282128433159152036728845482838373344550\ 2676801600943096*c_0101_4^31 + 497211732795823108443801206538509929\ 91419500442534524065995489750130798506861623575094493203377829/2922\ 4888264269758272826666599719820895996865642568663183040734576909656\ 767466891005353603201886192*c_0101_4^30 - 5537903160927202075021883882381859644291083657233519008977571248376\ 532827374681989918334557430880387/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^29 + 918669517128373259649358153906231270373169986288951023\ 7957875129219846375753718620868489658468000415/29224888264269758272\ 8266665997198208959968656425686631830407345769096567674668910053536\ 03201886192*c_0101_4^28 + 90248358362517417004783288745561664697441\ 67519982475586292082996939887035247091396812230230207021869/1461244\ 4132134879136413333299859910447998432821284331591520367288454828383\ 733445502676801600943096*c_0101_4^27 - 1897781031467284398085731861250872963919803732305929848659403631890\ 1690979663903250794317696570829077/14612444132134879136413333299859\ 910447998432821284331591520367288454828383733445502676801600943096*\ c_0101_4^26 + 31498846986203244490953228254432189837075970168141446\ 556884459143927072663058122137750523586462597987/292248882642697582\ 7282666659971982089599686564256866318304073457690965676746689100535\ 3603201886192*c_0101_4^25 + 112513930079209003887043791149910748539\ 30733490170463836697416846192103410917822511652659154796038899/7306\ 2220660674395682066666499299552239992164106421657957601836442274141\ 91866722751338400800471548*c_0101_4^24 - 7324186383400043919885163610289181542315608616183612280348538725979\ 7887827412143272544928765098207315/29224888264269758272826666599719\ 820895996865642568663183040734576909656767466891005353603201886192*\ c_0101_4^23 - 98322741230786428018759294313214610486615691065430991\ 34814845286712591982579247474247628934144108627/1461244413213487913\ 6413333299859910447998432821284331591520367288454828383733445502676\ 801600943096*c_0101_4^22 + 1636248867815053946972182641939262815010\ 8730176576952504691448082511541298248237031307572007555352579/29224\ 8882642697582728266665997198208959968656425686631830407345769096567\ 67466891005353603201886192*c_0101_4^21 - 1048929342583873958143828954464278417375268789367253111787258975189\ 487046293049991111395927942843557/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^20 + 152035068969068673282744398150960236059610575475599816\ 1876036753433636071189077140356839395759915075/73062220660674395682\ 0666664992995522399921641064216579576018364422741419186672275133840\ 0800471548*c_0101_4^19 + 144606921858421185793650816165260507567722\ 56541270633722288305034888044451407857682374995999858684269/2922488\ 8264269758272826666599719820895996865642568663183040734576909656767\ 466891005353603201886192*c_0101_4^18 - 1958555116351426710377463090149998618338078943295999374268504933720\ 921947591864417501323379430101763/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^17 + 359570875080660319319145354967808141164469504953094264\ 1278833696121913952650569846702630724416817699/36531110330337197841\ 0333332496497761199960820532108289788009182211370709593336137566920\ 0400235774*c_0101_4^16 + 138612541542456212420103573535820065225031\ 00327146355877148302565936700625401311981350654594133566677/2922488\ 8264269758272826666599719820895996865642568663183040734576909656767\ 466891005353603201886192*c_0101_4^15 - 1831350006622906221060819810822358260278869715617058420905590020772\ 955329929208066678690520662317071/224806832802075063637128204613229\ 3915076681972505281783310825736685358212882068538873354092452784*c_\ 0101_4^14 + 3457644521363853936706537959546791028967566700421665552\ 803761368618658024815139832576385527013770401/365311103303371978410\ 3333324964977611999608205321082897880091822113707095933361375669200\ 400235774*c_0101_4^13 - 2755271818251596857713869897521845334026852\ 8342852820179298033802388909098033352022275927324886845595/29224888\ 2642697582728266665997198208959968656425686631830407345769096567674\ 66891005353603201886192*c_0101_4^12 - 1883275476555844551422765633606008579746998916056945202871977505990\ 035033159021382017503426233323453/146124441321348791364133332998599\ 10447998432821284331591520367288454828383733445502676801600943096*c\ _0101_4^11 + 148752812749540679563084088204579261743545632805626084\ 101637236362334110535981971210427321211860517/182655551651685989205\ 1666662482488805999804102660541448940045911056853547966680687834600\ 200117887*c_0101_4^10 - 1830042273692457700667995696600771043845577\ 7031416825921250178833484486103562415063080872992661321685/29224888\ 2642697582728266665997198208959968656425686631830407345769096567674\ 66891005353603201886192*c_0101_4^9 + 9471808345526148690351310685231583854402257713075346809962689080498\ 363136995974351515312514783549155/292248882642697582728266665997198\ 20895996865642568663183040734576909656767466891005353603201886192*c\ _0101_4^8 - 1929462502082889344918503878897511931939156755205657408\ 780695093769676594391014660422778495629652185/146124441321348791364\ 1333329985991044799843282128433159152036728845482838373344550267680\ 1600943096*c_0101_4^7 - 9648650666053010773798537300507125900176946\ 568067694042397722072301411777780968219759776067306166/140504270501\ 2969147732051278832683696922926232815801114569266085428348883051292\ 83679584630778299*c_0101_4^6 + 110662606045166369781283556170162130\ 5421160543560704533288397574685205903570545753534531699139867383/29\ 2248882642697582728266665997198208959968656425686631830407345769096\ 56767466891005353603201886192*c_0101_4^5 - 1992498419399320410169383948579314916803766404883615774258488608212\ 973302707685395479198873484398525/292248882642697582728266665997198\ 20895996865642568663183040734576909656767466891005353603201886192*c\ _0101_4^4 + 4419645623506801594727185429515424708004608230640412350\ 78929932622016832153011248599489769339983741/1461244413213487913641\ 3333299859910447998432821284331591520367288454828383733445502676801\ 600943096*c_0101_4^3 + 44223022748241412450001860471282456645584290\ 593123001854692304556619843948588221492571385338522211/365311103303\ 3719784103333324964977611999608205321082897880091822113707095933361\ 375669200400235774*c_0101_4^2 + 22910211681463633437805144991027860\ 589644187290612725225197247894472131123428222803025290073080723/365\ 3111033033719784103333324964977611999608205321082897880091822113707\ 095933361375669200400235774*c_0101_4 + 1136043986388194968139679696882443090513900411412989753810707731013\ 6557444246723141110809449669448/18265555165168598920516666624824888\ 05999804102660541448940045911056853547966680687834600200117887, c_0101_2 + 413462614650671258347533651392829664265151122343803343243030\ 950469/459508505035061231015570485573368326596098676704561150659325\ 000826*c_0101_4^32 - 5967930921871825078381365452880769780561826793\ 966646752042852018449/459508505035061231015570485573368326596098676\ 704561150659325000826*c_0101_4^31 + 5364509311657010056536555297699426706387028249560819101655297338733\ /229754252517530615507785242786684163298049338352280575329662500413\ *c_0101_4^30 + 1608154851171734094846115985853472489043627915189119\ 3019725055853937/22975425251753061550778524278668416329804933835228\ 0575329662500413*c_0101_4^29 - 109016698354183644510300594129777618\ 253921481828795241193034213175849/459508505035061231015570485573368\ 326596098676704561150659325000826*c_0101_4^28 + 8071923676968334832272075225391481287803161814562536042773976916398\ 1/45950850503506123101557048557336832659609867670456115065932500082\ 6*c_0101_4^27 + 122097617094810109237699200663820969896453917031075\ 510956854578992447/459508505035061231015570485573368326596098676704\ 561150659325000826*c_0101_4^26 - 1923607993495294792826050440319929\ 37901655332070766714667641332178042/2297542525175306155077852427866\ 84163298049338352280575329662500413*c_0101_4^25 + 1700859149921584204008977904228437707844343466877059849424150907314\ 37/2297542525175306155077852427866841632980493383522805753296625004\ 13*c_0101_4^24 + 66083634489878906529031371693145695942716187303690\ 899686059161648979/459508505035061231015570485573368326596098676704\ 561150659325000826*c_0101_4^23 - 2171646315622403490180934515438335\ 54954981761104742951265725695639151/4595085050350612310155704855733\ 68326596098676704561150659325000826*c_0101_4^22 + 2829288807392901157681701711029511577539755837206681973507103224601\ 1/22975425251753061550778524278668416329804933835228057532966250041\ 3*c_0101_4^21 + 204508137105360127213871639390128830024082668833707\ 41006222569617934/2297542525175306155077852427866841632980493383522\ 80575329662500413*c_0101_4^20 - 12043014317941991329349977779750424\ 435246275212352879645157198692804/229754252517530615507785242786684\ 163298049338352280575329662500413*c_0101_4^19 - 6663313327906355185871914427649885885854442526773503896888550431124\ 7/45950850503506123101557048557336832659609867670456115065932500082\ 6*c_0101_4^18 + 132606640353055314706081438346644700452385173543253\ 671026296640925457/459508505035061231015570485573368326596098676704\ 561150659325000826*c_0101_4^17 - 2583433514515875634238293947568573\ 83909397543409831313271848877702259/4595085050350612310155704855733\ 68326596098676704561150659325000826*c_0101_4^16 + 1623049287993828142633853296538418779272940308754528389832324269563\ 48/2297542525175306155077852427866841632980493383522805753296625004\ 13*c_0101_4^15 - 18630706556589233624832197570165064180783682379275\ 630554990075147733/353468080796200946935054219671821789689306674388\ 12396204563461602*c_0101_4^14 + 92389753158098837747575552107209803\ 116016734418257004879211472166297/459508505035061231015570485573368\ 326596098676704561150659325000826*c_0101_4^13 + 3510296927971558454860110333360843067705031666241899326313803374703\ 1/22975425251753061550778524278668416329804933835228057532966250041\ 3*c_0101_4^12 - 619957993959108707033994140121468423221262152017575\ 16115395928887717/2297542525175306155077852427866841632980493383522\ 80575329662500413*c_0101_4^11 + 55478008741606464191406205894498729\ 646395248305261351027609318959056/229754252517530615507785242786684\ 163298049338352280575329662500413*c_0101_4^10 - 5895190148985517726838194259946591605571681572130373676273425926956\ 9/45950850503506123101557048557336832659609867670456115065932500082\ 6*c_0101_4^9 + 1460959580985828712468687738359786759098153148616036\ 762071183901239/229754252517530615507785242786684163298049338352280\ 575329662500413*c_0101_4^8 + 10042102724940768303664197574815268833\ 877892988407830389805085190507/229754252517530615507785242786684163\ 298049338352280575329662500413*c_0101_4^7 - 560514848136484067584136510111304016517142773398626282860630383023/\ 17673404039810047346752710983591089484465333719406198102281730801*c\ _0101_4^6 + 4967397817643093452401325683051910800720435295556038470\ 679326786803/459508505035061231015570485573368326596098676704561150\ 659325000826*c_0101_4^5 - 29757577296903616353544311062060475636161\ 8347783279468573288453987/22975425251753061550778524278668416329804\ 9338352280575329662500413*c_0101_4^4 - 903262553670866776313942306233438389473450541343547855731508780182/\ 229754252517530615507785242786684163298049338352280575329662500413*\ c_0101_4^3 + 313665348070427703058561110031868306783636564180521359\ 881407958357/229754252517530615507785242786684163298049338352280575\ 329662500413*c_0101_4^2 - 21330959630733382557565333102905903044947\ 0369578200775615053990448/22975425251753061550778524278668416329804\ 9338352280575329662500413*c_0101_4 + 131522078096940741053522144932858383526342617384804663098286494317/\ 229754252517530615507785242786684163298049338352280575329662500413, c_0101_4^33 - 1312/93*c_0101_4^32 + 1973/93*c_0101_4^31 + 260/3*c_0101_4^30 - 22345/93*c_0101_4^29 + 10312/93*c_0101_4^28 + 34450/93*c_0101_4^27 - 26919/31*c_0101_4^26 + 51002/93*c_0101_4^25 + 14363/31*c_0101_4^24 - 55660/93*c_0101_4^23 + 9427/93*c_0101_4^22 + 10820/93*c_0101_4^21 - 8336/93*c_0101_4^20 - 12463/93*c_0101_4^19 + 25484/93*c_0101_4^18 - 16620/31*c_0101_4^17 + 17427/31*c_0101_4^16 - 25117/93*c_0101_4^15 - 2098/31*c_0101_4^14 + 11451/31*c_0101_4^13 - 33112/93*c_0101_4^12 + 21284/93*c_0101_4^11 - 4529/93*c_0101_4^10 - 7627/93*c_0101_4^9 + 8876/93*c_0101_4^8 - 4372/93*c_0101_4^7 + 811/93*c_0101_4^6 + 493/93*c_0101_4^5 - 872/93*c_0101_4^4 + 236/93*c_0101_4^3 - 16/93*c_0101_4^2 + 32/93 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB