Magma V2.19-8 Tue Aug 20 2013 16:17:29 on localhost [Seed = 4122241326] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1722 geometric_solution 5.43125737 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328190183164 0.545019915741 3 2 4 0 0132 3012 0132 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 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602923806741 1.009278799004 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602923806741 1.009278799004 1 2 3 3 0132 0132 1230 3012 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 0 0 0 0 0.974305273788 1.066096258210 5 2 5 1 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.984352977858 1.698807663252 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551599702298 0.223874403442 6 5 6 5 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.586622073034 0.056420777238 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2733984405908871885916436657285295272315243549375424880619644802740\ 433785071/199445848155139028649871041964173679351079335805604926014\ 444904326760432*c_0110_6^29 + 1732805235719985160909798186509174849\ 644596729496907411710846857581759315865/498614620387847571624677604\ 91043419837769833951401231503611226081690108*c_0110_6^28 + 1754591742473075617575290702508789827432385838409882558356762174895\ 00062581221/1994458481551390286498710419641736793510793358056049260\ 14444904326760432*c_0110_6^27 - 63474296237023531079357277670935762\ 7011335506187283994523742345652076019178455/19944584815513902864987\ 1041964173679351079335805604926014444904326760432*c_0110_6^26 - 2564012086069825766445331010122208701281495751457624842715075499757\ 075333090243/199445848155139028649871041964173679351079335805604926\ 014444904326760432*c_0110_6^25 + 1656386446968288067434860835381692\ 695284287698438314860613609261269561628655325/249307310193923785812\ 33880245521709918884916975700615751805613040845054*c_0110_6^24 + 6459363176144043747236069947051184265105065911222631668367507810403\ 596154763905/199445848155139028649871041964173679351079335805604926\ 014444904326760432*c_0110_6^23 - 9368189320313010963231074795897269\ 6238502202292968625936315701908687585184032159/19944584815513902864\ 9871041964173679351079335805604926014444904326760432*c_0110_6^22 + 2319458831587382988887018752585248044450607316585774649288115209593\ 8400130942063/19944584815513902864987104196417367935107933580560492\ 6014444904326760432*c_0110_6^21 + 170785646429565142964743806832876\ 363830735573881408847817962246481976143799779271/997229240775695143\ 24935520982086839675539667902802463007222452163380216*c_0110_6^20 - 1279026934537246031021972490439564697614719733640781169755601310862\ 80454058136371/1994458481551390286498710419641736793510793358056049\ 26014444904326760432*c_0110_6^19 - 7818136407563179403338851553301332166417579231441586585705239284778\ 31843805082787/1994458481551390286498710419641736793510793358056049\ 26014444904326760432*c_0110_6^18 + 1344040643416627950797675368726306551139888885016858199553660411108\ 54169645061287/9972292407756951432493552098208683967553966790280246\ 3007222452163380216*c_0110_6^17 + 615686997806542167306504119984512\ 329024201423317163145722391440359323751517425649/997229240775695143\ 24935520982086839675539667902802463007222452163380216*c_0110_6^16 - 1937942946196390248780557768394732184510398160876226179598630141621\ 0871155939694/12465365509696189290616940122760854959442458487850307\ 875902806520422527*c_0110_6^15 - 6482156257691687005829830117891057\ 41267784816233868798918415659590584311794777627/9972292407756951432\ 4935520982086839675539667902802463007222452163380216*c_0110_6^14 + 1008224225118879962944181117778032692290813890261071520865056322998\ 80377997735553/1994458481551390286498710419641736793510793358056049\ 26014444904326760432*c_0110_6^13 + 4977834857828372525125180630361706229059713262701066810722791893210\ 8178980298350/12465365509696189290616940122760854959442458487850307\ 875902806520422527*c_0110_6^12 + 1563085151711672593365896268530597\ 04040325547965324647046848700125777935829167943/1994458481551390286\ 49871041964173679351079335805604926014444904326760432*c_0110_6^11 - 2449803915551148215179840428603659292172163628903462863767175863169\ 87714858412527/1994458481551390286498710419641736793510793358056049\ 26014444904326760432*c_0110_6^10 - 1642933809095793164916244081348890654579177976769321164763489739096\ 59353431052811/1994458481551390286498710419641736793510793358056049\ 26014444904326760432*c_0110_6^9 + 327862795100035549432051102850207\ 68837939698257880559227607504025068982649851255/1994458481551390286\ 49871041964173679351079335805604926014444904326760432*c_0110_6^8 + 5825071698293803041048844365192306945596166261265482947050857591020\ 5239336186873/19944584815513902864987104196417367935107933580560492\ 6014444904326760432*c_0110_6^7 + 5299101318294370560771244443647516\ 263951388983115649212567209634909741853277607/199445848155139028649\ 871041964173679351079335805604926014444904326760432*c_0110_6^6 - 5760764318452149649812981870709274692460858868613340139785897858822\ 259402970119/997229240775695143249355209820868396755396679028024630\ 07222452163380216*c_0110_6^5 - 203341168910516034586034681066064391\ 6997409786725181681485420770158760849325321/19944584815513902864987\ 1041964173679351079335805604926014444904326760432*c_0110_6^4 + 1240475397984331071370445629764179650977540183995703664122175994811\ 901944410629/199445848155139028649871041964173679351079335805604926\ 014444904326760432*c_0110_6^3 + 17670529015961149913044626294810643\ 9820867232297901033417191211016231063057221/19944584815513902864987\ 1041964173679351079335805604926014444904326760432*c_0110_6^2 - 4775143055837670450584465672628119544804982300554594679641415900609\ 1655777749/19944584815513902864987104196417367935107933580560492601\ 4444904326760432*c_0110_6 - 579763686103510075506711522743456378068\ 4966858501651829608063215219641213593/19944584815513902864987104196\ 4173679351079335805604926014444904326760432, c_0011_0 - 1, c_0011_1 + 856393047018472638762284911708991194097442327676314439356602\ 521949869940/124653655096961892906169401227608549594424584878503078\ 75902806520422527*c_0110_6^29 - 22232040521584456590292487411335425\ 71474769034188886855919343324735215269/1246536550969618929061694012\ 2760854959442458487850307875902806520422527*c_0110_6^28 - 5484836548632195384947884141588760841862902712681691607790261937417\ 9701380/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6^27 + 2022110311395330689629419267110959945065\ 08555196464637594194767438459175143/1246536550969618929061694012276\ 0854959442458487850307875902806520422527*c_0110_6^26 + 7923323553069093569312517892568915975956818454746717498858237686281\ 89661994/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^25 - 420368706227579370443251656490051303667\ 8665552058280782017313362114909168764/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^24 - 1790763204736026868830743161445460003682706333401123788479025574093\ 486448604/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^23 + 29555599837413912913601711452280700197\ 794583390134201904952743816993721339951/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^22 - 8972053066986845813861703529003050942420690770688579817382126459928\ 447249109/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^21 - 10719415073416780552066595688152697222\ 4102281382401512865535105481651412631556/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^20 + 4650543103660917236652816769900399627505868291187622544274815328487\ 3796989571/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^19 + 2448785936437035784849183581149044980\ 40959384138249565018870714629081553244106/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^18 - 9913988055636524524389214063364728631344306648906598238648212869428\ 1504042820/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^17 - 3862017877018149035698955605509408760\ 19985176911102169310959352359221093317976/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^16 + 1204953962292586646900698149847074765534638055086098460328644354882\ 74169807565/1246536550969618929061694012276085495944245848785030787\ 5902806520422527*c_0110_6^15 + 408957572678606022689401267610511739\ 795364376458958582468392958424212778355084/124653655096961892906169\ 40122760854959442458487850307875902806520422527*c_0110_6^14 - 5535623631700531031899740796253735071426246631460670592095669753857\ 8754332622/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^13 - 2564913943412277224895966279740795077\ 03905201607608655234477349878724306271153/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^12 - 3625795689288583142266392465169219056829720450635004143591041056893\ 7670229031/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^11 + 8451440554967815188378408291485907865\ 5788146885823017448041059807975399407845/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^10 + 4961871419880864528576643729549483957780879152667316835428142220942\ 3498801030/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^9 - 14134960457200917522930369393530001467\ 683064373283816259247573928731247620336/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^8 - 1905061065818565300315308398696686973731118559874266064583205751099\ 1195478987/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^7 - 82617231518050748205505856464209092152\ 8290194829108562319766746596337388602/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^6 + 4025372979673000085128142907129731396510703439348460519364237684903\ 815153105/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^5 + 566735235396991343498122851649175516750\ 179270699249894477159564930324860968/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^4 - 4560579546875064141998985431014211959696191257294193173318626175388\ 80475617/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^3 - 5613784577949561639029008219552165863785\ 9249837130287367513190194322048557/12465365509696189290616940122760\ 854959442458487850307875902806520422527*c_0110_6^2 + 1847074359894388544697971280881071777394133639363871920930395276991\ 4399174/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6 + 2168013079967355653113394632366299369688561\ 949606198229445178231953102402/124653655096961892906169401227608549\ 59442458487850307875902806520422527, c_0011_4 + 202151979901384760681797702723631729770669082846859196314002\ 771239880121/124653655096961892906169401227608549594424584878503078\ 75902806520422527*c_0110_6^29 - 54252222403782904034900213149232507\ 2110738092475106139526831920045449626/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^28 - 1290828115967864443539232980626957605807826092894963946003433838488\ 4820151/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6^27 + 4888370004890796390565269498089299836558\ 7181811746924496779556881716839893/12465365509696189290616940122760\ 854959442458487850307875902806520422527*c_0110_6^26 + 1833197500538409573777253269424476763042062910560420487004155450925\ 16255368/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^25 - 101021829128931728361318414824174490302\ 7116285394896596404034337467068291624/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^24 - 3431020293643815510780151595714895805954855720172969603439809853717\ 48606012/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^23 + 704652871268312101179863277470968721612\ 0872871553257828346816337279761233181/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^22 - 2700526420064397497695469273285864388518031063913328887789294435654\ 538533518/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^21 - 25358087095015051754988897400348540775\ 445068361025556096750956105461656737046/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^20 + 1317149274837578582168668523498793408470839063095022486979688467638\ 9008146092/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^19 + 5774794302745799844980314221899174655\ 5411417330872250596878069053233886732102/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^18 - 2848410383570163916520451505808737388210496503829464510561961572954\ 6539194929/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^17 - 9121294870248598964879909673008127896\ 5831544140728269188071868267724673780631/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^16 + 3639294932762023305488947289344125130280527303818344403690939676857\ 9724666824/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^15 + 9732852669831724243318956026824007457\ 7677764930885637114398992504616127824130/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^14 - 2116641859104515415577449034736705012509182664344072675107217771128\ 5912064340/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^13 - 6274663421734578971965507712792810333\ 2254864479455109037245775473826957783688/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^12 - 4197487302645204577594792226172992627763210640211751303779922072262\ 703836633/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^11 + 22495838418971908733932006353433585826\ 523604269936391034869275615224096357173/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^10 + 1103425939498326045001295358098655527760591187938132243886843415155\ 5848857485/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^9 - 46346871654782571077138579347622940150\ 88755639635825844728963373369571094414/1246536550969618929061694012\ 2760854959442458487850307875902806520422527*c_0110_6^8 - 4742668513540235626273275122354013053052924748264403593379784930111\ 663734711/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^7 + 934465393924726287788882955818303983017\ 56913103235626237279841752776352242/1246536550969618929061694012276\ 0854959442458487850307875902806520422527*c_0110_6^6 + 1085748622024090322922936007081014817059042807244177444071731272199\ 511124394/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^5 + 107249161071519950990105014474428856000\ 452871100614855575439058009147017047/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^4 - 1300552877574571682927099260438283574821457877782547207045665940207\ 01422625/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^3 - 1317816428509482888211910591878020497813\ 1961814846102069906102449252801708/12465365509696189290616940122760\ 854959442458487850307875902806520422527*c_0110_6^2 + 5534260385083679902428509615311883522752830820171402775429883596488\ 173470/124653655096961892906169401227608549594424584878503078759028\ 06520422527*c_0110_6 + 62627483034553600417160141712098843227871699\ 4856578178313105907694971839/12465365509696189290616940122760854959\ 442458487850307875902806520422527, c_0101_0 - 345351475916987778367034180613942987018134133716832294005900\ 356785250410/124653655096961892906169401227608549594424584878503078\ 75902806520422527*c_0110_6^29 + 90356946544612390992307905695398756\ 2506780906877113901081396948812976324/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^28 + 2210305198535742943674995779647941631460039763590565139336899352567\ 2035631/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6^27 - 8200107818182434358607304573252469883450\ 8548361740962453268032194325652297/12465365509696189290616940122760\ 854959442458487850307875902806520422527*c_0110_6^26 - 3180528308040281139717346380177762473187520672688427832233662360011\ 36516908/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^25 + 170231648655549911534871498217723274720\ 7395355620600596223439603893592109201/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^24 + 6906925498658706447570542563127448537210764331493528047096469794454\ 43208599/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^23 - 119466949983730173052314867596121401862\ 82764498116701897963147757034675088238/1246536550969618929061694012\ 2760854959442458487850307875902806520422527*c_0110_6^22 + 3848303876644036561151004121905493426169629562104809497603501310577\ 881405473/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^21 + 43251560688190310783968953919261541255\ 935888147201305414354401929376035511134/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^20 - 1961968885973089386199663238653338331250810751619143633762686108737\ 6581598144/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^19 - 9873796767900094794657830999689738884\ 3076496710917844316369033616028424833058/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^18 + 4197897416609293543234770708519613670030057811716449844618883842731\ 4296919954/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^17 + 1557819949417888426990380579296159239\ 26474449546203662499205423388764368256286/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^16 - 5170422687025374889397409584506901102736485101456710503304253459647\ 0116469591/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^15 - 1652601412157467540103229120704019204\ 41882807924335192256172980624610881824548/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^14 + 2546693973580872483863225606444460242439555548033949589660825289038\ 3332745297/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^13 + 1043214430838385615725644302163477526\ 28948112656955810880717343627503205274733/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^12 + 1297030781488766858832376631169198870733615135433661882913680750960\ 3676201250/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^11 - 3507430996899152991211071850089299775\ 6036448214258758594825712183043315389147/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^10 - 1978858474581986228310201975262780352233920722276924046571297126221\ 9494274454/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^9 + 61847039774937209267501726433682087865\ 56858384967123064841232438746748587929/1246536550969618929061694012\ 2760854959442458487850307875902806520422527*c_0110_6^8 + 7787346841851782795224216229335806126909463216772166377734019301945\ 136517065/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^7 + 233707950838710502202181694763770171748\ 701319834354415138529373688021700581/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^6 - 1672281192514636614478029328923600915244936100405786836958218158679\ 458531159/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^5 - 220458228173866882928893671987303375326\ 944363300480742336968675308560234188/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^4 + 1909969822136867598603736411777370179857599397957524833749623325526\ 93176859/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^3 + 2247948025248928985858480095340500689093\ 0265471731658582828105506009411739/12465365509696189290616940122760\ 854959442458487850307875902806520422527*c_0110_6^2 - 7733573785275834421448297299965799479778042613715305783618515763608\ 109492/124653655096961892906169401227608549594424584878503078759028\ 06520422527*c_0110_6 - 88685298911988016954487633567695045181038664\ 9542787896228638289892909187/12465365509696189290616940122760854959\ 442458487850307875902806520422527, c_0101_1 - 434631742297258412912939652119396481964259730751489327767014\ 345871261056/124653655096961892906169401227608549594424584878503078\ 75902806520422527*c_0110_6^29 + 11015689977132863575765767209687230\ 47439268581185505834909415616155293260/1246536550969618929061694012\ 2760854959442458487850307875902806520422527*c_0110_6^28 + 2789483083914431022539839093631034492260502020431005579419719532681\ 0682282/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6^27 - 1008884288776286106656789062825351811922\ 53355485774842178971873452126404135/1246536550969618929061694012276\ 0854959442458487850307875902806520422527*c_0110_6^26 - 4077251244612669016453120044518541793471816802219838023865148463481\ 21009019/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^25 + 210639348883238225548288940805385912209\ 7359352875851620008870086306891692560/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^24 + 1029089195499113388976025454359928226704947018650582152282974845986\ 742905623/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^23 - 14894722113913407139403372429378689413\ 301798292558429217256316559067148609816/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^22 + 3672770556159649099265860664406030101692614298005389555412445272655\ 877387752/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^21 + 54322643079337044316438541650219179671\ 167667534173492148903147988148034046461/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^20 - 2028215473428246991795818305944987926654530795524055508704243276985\ 7234042910/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^19 - 1243764840054686275709983288986649839\ 50283982099023136036597528909801406688757/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^18 + 4260814555218216716880162771231636674767415367963737357198482510923\ 6982520874/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^17 + 1959560741266675833190502658035382015\ 41118079613809491790002980601103979002768/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^16 - 4906466774486897879535049877733900905987103744308137594186693206026\ 5497582422/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^15 - 2063861846967978089608739606133729296\ 95340634925447461418081235347979013805759/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^14 + 1572357870834323081692379678009611387293615222926094015076779737470\ 0176060896/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^13 + 1268554027211548750242516403134554790\ 74117468940902560687406672499085767209875/1246536550969618929061694\ 0122760854959442458487850307875902806520422527*c_0110_6^12 + 2513584190922240712887002893643205222552323274009923185986803992950\ 4325761945/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^11 - 3900160930664881979251156641671290370\ 1366183015152692777994721672466966039677/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^10 - 2627887680686571368133766986995409502350415855561922904437064019758\ 7363669901/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^9 + 51589075580515189117613659711052244149\ 50694269844347688982621937661553951186/1246536550969618929061694012\ 2760854959442458487850307875902806520422527*c_0110_6^8 + 9297596213295556641070385735825589802688599109285207803559889188090\ 950763710/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^7 + 873736150084483779485152218150299234778\ 204890593870342223326135021496734433/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^6 - 1830851356479524827750272339161573162033414647576902569785473575676\ 547855911/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^5 - 329688948826464867219930980866866220722\ 172770278720849286893441885688763849/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^4 + 1957179852203591735196797090995154269585686221189199386511846058170\ 62767960/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^3 + 2859155148208640367192223124974278138719\ 4318756242473345239341212213621515/12465365509696189290616940122760\ 854959442458487850307875902806520422527*c_0110_6^2 - 7455220365788462239913185126615067251334810065233526768967885189096\ 523661/124653655096961892906169401227608549594424584878503078759028\ 06520422527*c_0110_6 - 92256718175660712170134890577298613593678946\ 6857907049897402880304505238/12465365509696189290616940122760854959\ 442458487850307875902806520422527, c_0101_4 + 886443609073549196455003622696918364863543360970782839361166\ 33779913947/1246536550969618929061694012276085495944245848785030787\ 5902806520422527*c_0110_6^29 - 259783852402183731143020240503496821\ 819565593601024669951893465509605734/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^28 - 5612456028059699818190257408990619729976691420721926270736872677996\ 522603/124653655096961892906169401227608549594424584878503078759028\ 06520422527*c_0110_6^27 + 22857019880931781596196222479865809927242\ 157983574235514607345567671048079/124653655096961892906169401227608\ 54959442458487850307875902806520422527*c_0110_6^26 + 7579937255364683933644543728268404337522531330846055063398264801553\ 6189531/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6^25 - 4651127312490953414203088607149762148299\ 52059218962385932499492136165591354/1246536550969618929061694012276\ 0854959442458487850307875902806520422527*c_0110_6^24 - 5204747126194387202829506835010110970997625715142443270071678812020\ 1337678/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6^23 + 3175978651695596558066520252860177278574\ 172732529585009620867533999753577048/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^22 - 1904727406631155079543750786909699231107924612257125549809303020491\ 949796081/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^21 - 11184904181243426563587330016107333624\ 749295566063201787846999792055438488889/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^20 + 8491125207304292174653390544124701480296651118586245519908097812237\ 372355154/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^19 + 25242772137967848115700186205382342076\ 370875755913830716000007152385128160606/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^18 - 1879023041816253160040477955387543260253394097022565714246483675994\ 1335004632/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^17 - 4003306180916019131299722710251502651\ 3275541942356899875396679358603229899096/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^16 + 2583348708336232796319881420814557163737628378452416307040654680902\ 4630203524/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^15 + 4362472532867770491738828708580721996\ 0847368991182200483821729081463411118410/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^14 - 1937660105991968244337010305492835523007717130073594683555037244077\ 3814368306/12465365509696189290616940122760854959442458487850307875\ 902806520422527*c_0110_6^13 - 3021301008996903260082965871165105185\ 1376836742641584638465326140355244222273/12465365509696189290616940\ 122760854959442458487850307875902806520422527*c_0110_6^12 + 3641916746526767520211512546946351055376594593933857518902975445102\ 593771392/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^11 + 13025925025525513240030517766838797939\ 882589068413906416523673090701675091352/124653655096961892906169401\ 22760854959442458487850307875902806520422527*c_0110_6^10 + 3953301399000072182496216860485253562052213179407170174847545082745\ 658437594/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^9 - 366571778334267136853533667884572906377\ 0962562536983875117649469528224075206/12465365509696189290616940122\ 760854959442458487850307875902806520422527*c_0110_6^8 - 2381111842333310331670164164504109310393184713344105507874612783847\ 208566783/124653655096961892906169401227608549594424584878503078759\ 02806520422527*c_0110_6^7 + 408936995321010654141188750378113489247\ 629121812827206283893845747191202468/124653655096961892906169401227\ 60854959442458487850307875902806520422527*c_0110_6^6 + 6470633949461314199375420277385385052187401651716197059158786263053\ 64929342/1246536550969618929061694012276085495944245848785030787590\ 2806520422527*c_0110_6^5 + 1297025063394178048424792436327103628419\ 3985800859634001472877212780592317/12465365509696189290616940122760\ 854959442458487850307875902806520422527*c_0110_6^4 - 8568740891504335483485670705376772173895540476421426415959497356953\ 5683512/12465365509696189290616940122760854959442458487850307875902\ 806520422527*c_0110_6^3 - 56932782680924748099426488948504433627070\ 62815544589912112315779578090287/1246536550969618929061694012276085\ 4959442458487850307875902806520422527*c_0110_6^2 + 3942399543737928743197159183811277192876321041486207564195842884999\ 467349/124653655096961892906169401227608549594424584878503078759028\ 06520422527*c_0110_6 + 41830756629335270687462823051633894193689760\ 0229272991469235689323812229/12465365509696189290616940122760854959\ 442458487850307875902806520422527, c_0110_6^30 - 3*c_0110_6^29 - 63*c_0110_6^28 + 262*c_0110_6^27 + 830*c_0110_6^26 - 5283*c_0110_6^25 - 111*c_0110_6^24 + 35370*c_0110_6^23 - 24408*c_0110_6^22 - 121035*c_0110_6^21 + 104867*c_0110_6^20 + 264370*c_0110_6^19 - 231309*c_0110_6^18 - 405040*c_0110_6^17 + 322914*c_0110_6^16 + 422010*c_0110_6^15 - 257477*c_0110_6^14 - 274727*c_0110_6^13 + 78335*c_0110_6^12 + 116512*c_0110_6^11 + 18478*c_0110_6^10 - 40028*c_0110_6^9 - 15792*c_0110_6^8 + 7984*c_0110_6^7 + 5137*c_0110_6^6 - 1215*c_0110_6^5 - 804*c_0110_6^4 + 146*c_0110_6^3 + 48*c_0110_6^2 - 6*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB