Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 3246415110] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2170 geometric_solution 5.63992401 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 0 0 1 -1 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 0 -1 0 0 1 -1 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.407370851892 0.218244108653 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 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 1 -1 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.685297060801 0.803586465055 1 4 5 3 0132 0132 0132 2310 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 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.099232968536 0.931976327894 2 5 4 1 3201 0132 3201 0132 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 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 0 0 0 0.099232968536 0.931976327894 3 2 6 6 2310 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.937147741770 1.999755746555 5 3 5 2 2031 0132 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497767674589 1.025976483766 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.567869464769 0.361012082796 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : 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' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_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_0'], 'c_1001_4' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], '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' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 2944672943336139464687911373646302793477719028752670003557780327658\ 6937403029/48218506666554034360644337715962057872819361657618157444\ 348096282217435838675*c_0101_4^30 + 2118028540147583803212486591362580890996315471194016504445961140630\ 2331704237/28931103999932420616386602629577234723691616994570894466\ 608857769330461503205*c_0101_4^29 - 2061752065468461657223230568230157921472840944515729522775260412297\ 89061856973/4821850666655403436064433771596205787281936165761815744\ 4348096282217435838675*c_0101_4^28 - 2389934331216530415811545899630103065013936163090689969561058410635\ 86287972713/1446555199996621030819330131478861736184580849728544723\ 33044288846652307516025*c_0101_4^27 - 2195602029553841294244657629467921748216503512896027320871665446808\ 372703020664/144655519999662103081933013147886173618458084972854472\ 333044288846652307516025*c_0101_4^26 - 2034705887380720077752297031807416080909884507315324983465908170209\ 061853414159/144655519999662103081933013147886173618458084972854472\ 333044288846652307516025*c_0101_4^25 + 1548422288051459320454192670052101987574825998844118423248199350268\ 0497417232027/14465551999966210308193301314788617361845808497285447\ 2333044288846652307516025*c_0101_4^24 - 2178247620206290219242327826796025684900746686188111966041957922928\ 303048853357/289311039999324206163866026295772347236916169945708944\ 66608857769330461503205*c_0101_4^23 + 4914837808877741922835876253300124726853133631194747745914602900519\ 835177641956/482185066665540343606443377159620578728193616576181574\ 44348096282217435838675*c_0101_4^22 - 3615610232841623863883372607220119427238772828126303705134990710386\ 384862539382/289311039999324206163866026295772347236916169945708944\ 66608857769330461503205*c_0101_4^21 - 5664223058922052548935615828078292008860930678821079602998453759231\ 983170114850/578622079998648412327732052591544694473832339891417889\ 3321771553866092300641*c_0101_4^20 + 2015184655094931621587867503444710320290511658884182280917766276308\ 287136054477/964370133331080687212886754319241157456387233152363148\ 8869619256443487167735*c_0101_4^19 - 1239907711832151668537960392862795322549368285913265798671769655223\ 90504796277909/1446555199996621030819330131478861736184580849728544\ 72333044288846652307516025*c_0101_4^18 + 5175097343086212720993568273759006514857496120880950833129507630349\ 400285202999/144655519999662103081933013147886173618458084972854472\ 333044288846652307516025*c_0101_4^17 + 1136466701005143709275776248407706884646461038620209954454525623508\ 28380808439027/4821850666655403436064433771596205787281936165761815\ 7444348096282217435838675*c_0101_4^16 + 1942598167744642363246772366377647264724148145614005146337840216876\ 8380633834948/96437013333108068721288675431924115745638723315236314\ 88869619256443487167735*c_0101_4^15 + 3128485176410998093942552587885893462413102492514335727258122603260\ 57855701060258/1446555199996621030819330131478861736184580849728544\ 72333044288846652307516025*c_0101_4^14 + 1268900314228435504731619473637660266850915233009552831155664101659\ 638910992935812/144655519999662103081933013147886173618458084972854\ 472333044288846652307516025*c_0101_4^13 + 5498231146560801098072822628621287646851524568002870705097397493847\ 68811583212309/1446555199996621030819330131478861736184580849728544\ 72333044288846652307516025*c_0101_4^12 - 6447367622031790905777162452016293388179906651619682491948375997039\ 5924865478642/48218506666554034360644337715962057872819361657618157\ 444348096282217435838675*c_0101_4^11 + 6870911828935417922501830615553450527374363578300961467837763363995\ 92886473838791/1446555199996621030819330131478861736184580849728544\ 72333044288846652307516025*c_0101_4^10 - 4131138248601870042655260878891533667223686342215941885235989866483\ 82750272382878/2893110399993242061638660262957723472369161699457089\ 4466608857769330461503205*c_0101_4^9 + 6433728020725322325715015574177697269539223630731105976343304024496\ 739975828753/192874026666216137442577350863848231491277446630472629\ 7773923851288697433547*c_0101_4^8 - 6227806057140905201093777017845080081319171381123633762323124222435\ 2413635155239/48218506666554034360644337715962057872819361657618157\ 444348096282217435838675*c_0101_4^7 + 3143249636582776682675069365198206703380823859480582227397632182398\ 2959691140062/28931103999932420616386602629577234723691616994570894\ 466608857769330461503205*c_0101_4^6 - 3807151665432670375680623281616634780337121185822929819864682869936\ 8333805510473/96437013333108068721288675431924115745638723315236314\ 88869619256443487167735*c_0101_4^5 + 3829251605345897065594478208336271600262931095411661924807785253519\ 29197753317176/1446555199996621030819330131478861736184580849728544\ 72333044288846652307516025*c_0101_4^4 - 5767011361512623118442231327763420177793447143259037974128822351741\ 0547021760254/48218506666554034360644337715962057872819361657618157\ 444348096282217435838675*c_0101_4^3 - 2002776341444395114277134081885586621853359081336015150077348662935\ 2590722935153/14465551999966210308193301314788617361845808497285447\ 2333044288846652307516025*c_0101_4^2 + 8812551568856409041247361020738109867531884002033011066748842443876\ 799727064176/144655519999662103081933013147886173618458084972854472\ 333044288846652307516025*c_0101_4 - 4100086214895017912584979133444535285357235894397560137080275945400\ 913650291616/144655519999662103081933013147886173618458084972854472\ 333044288846652307516025, c_0011_0 - 1, c_0011_1 - 117770322559320020150176763067602707058064454957301740905403\ 95335966/1326199298187829989680821388425753538208329432871842808822\ 7557474922341*c_0101_4^30 - 182765834565981895875192917416676742004\ 01213770060408032242433939421/1326199298187829989680821388425753538\ 2083294328718428088227557474922341*c_0101_4^29 + 6216987582822777490000930568857212462281725729903256271422325500173\ 9/13261992981878299896808213884257535382083294328718428088227557474\ 922341*c_0101_4^28 + 1524222750162390605428923784788884765313649672\ 5408605684190843356568/44206643272927666322694046280858451273610981\ 09572809362742519158307447*c_0101_4^27 + 4173395305895093587454676119897690894342669604772783700402637725784\ 31/1326199298187829989680821388425753538208329432871842808822755747\ 4922341*c_0101_4^26 + 133189142524189291866868666864393363630699168\ 834470323420879784842291/442066432729276663226940462808584512736109\ 8109572809362742519158307447*c_0101_4^25 - 5369524786517053684945368829660743071326005367861921284974852019584\ 40/4420664327292766632269404628085845127361098109572809362742519158\ 307447*c_0101_4^24 + 9773431351875635563762966345709429262401286206\ 73587360497718543637550/1326199298187829989680821388425753538208329\ 4328718428088227557474922341*c_0101_4^23 - 4279766839354560239779105755568386516357574704447573112113714008330\ 468/132619929818782998968082138842575353820832943287184280882275574\ 74922341*c_0101_4^22 + 40288021748305690267708357148532257898677778\ 36974451575627731912433638/1326199298187829989680821388425753538208\ 3294328718428088227557474922341*c_0101_4^21 + 1716511659222031237608552914376889363453174342958672201308275782498\ 9203/13261992981878299896808213884257535382083294328718428088227557\ 474922341*c_0101_4^20 + 6342172817840163218153515662641445642963909\ 997156813040001143669557087/132619929818782998968082138842575353820\ 83294328718428088227557474922341*c_0101_4^19 + 1309107524639356922795437121876026185351240567956917200611545520020\ 9017/44206643272927666322694046280858451273610981095728093627425191\ 58307447*c_0101_4^18 - 52375708833230500387254692791634070273270128\ 04162760606500567059214418/1326199298187829989680821388425753538208\ 3294328718428088227557474922341*c_0101_4^17 - 9173858321738068569140071079196277192702941469326397808617502716781\ 427/442066432729276663226940462808584512736109810957280936274251915\ 8307447*c_0101_4^16 - 629973012766362988659528202235636336107013254\ 91805387237661160579210857/1326199298187829989680821388425753538208\ 3294328718428088227557474922341*c_0101_4^15 - 1182928430789324274732086150473876548232974257998984111260380444938\ 91782/1326199298187829989680821388425753538208329432871842808822755\ 7474922341*c_0101_4^14 - 225445846095808889443403453496590645793785\ 423110467208848873779038726223/132619929818782998968082138842575353\ 82083294328718428088227557474922341*c_0101_4^13 - 1681461492128703741337152243028554187186970875607287295127471256314\ 61088/1326199298187829989680821388425753538208329432871842808822755\ 7474922341*c_0101_4^12 - 191388292603118222744849719042485786707922\ 166901456615167934640007879766/132619929818782998968082138842575353\ 82083294328718428088227557474922341*c_0101_4^11 - 1136228582214534535199583648737527755643812942077044039192522046566\ 97399/1326199298187829989680821388425753538208329432871842808822755\ 7474922341*c_0101_4^10 + 343792251323260598972071927000168054558600\ 764921460949832107978034349234/132619929818782998968082138842575353\ 82083294328718428088227557474922341*c_0101_4^9 - 1406744392968274071743320304419789459730720404785095893928970478056\ 6636/44206643272927666322694046280858451273610981095728093627425191\ 58307447*c_0101_4^8 + 400816992123717777958739770349808656549833412\ 860600038898278248476932685/132619929818782998968082138842575353820\ 83294328718428088227557474922341*c_0101_4^7 - 1503795761712543679734950210428880952395616315056749544925519309944\ 40916/1326199298187829989680821388425753538208329432871842808822755\ 7474922341*c_0101_4^6 + 6967625974292713275508947182115476537843497\ 1127742009414593447054682742/13261992981878299896808213884257535382\ 083294328718428088227557474922341*c_0101_4^5 - 9594369208367138022599428708292010928071186434845535694374355404757\ 9326/13261992981878299896808213884257535382083294328718428088227557\ 474922341*c_0101_4^4 + 91301919494464282579100558090546814273113948\ 502495834452029529724488315/132619929818782998968082138842575353820\ 83294328718428088227557474922341*c_0101_4^3 - 2651747268810566945539318395570750990399902223195272523825696761473\ 9464/44206643272927666322694046280858451273610981095728093627425191\ 58307447*c_0101_4^2 + 914174093214884555439703983341315413999336381\ 9302898361016399860061615/44206643272927666322694046280858451273610\ 98109572809362742519158307447*c_0101_4 + 4479590919634343555466493960868099176504716189400409591765704808383\ 675/132619929818782998968082138842575353820832943287184280882275574\ 74922341, c_0011_3 + 332138877660332539416274604196066289159670366381354747506417\ 5998786228699/36933324255232877382621194846268810285563766376047950\ 3829049248119112274509*c_0101_4^30 + 1864897171693578441518186499216403531115520391966962350248709054358\ 022129/369333242552328773826211948462688102855637663760479503829049\ 248119112274509*c_0101_4^29 - 2639207914423844772378901578424262625\ 3741283151936953495507484631140071198/36933324255232877382621194846\ 2688102855637663760479503829049248119112274509*c_0101_4^28 + 5151532392440966546960526810495053642930690583499004497008412162414\ 48805/4103702695025875264735688316252090031729307375116438931433880\ 5346568030501*c_0101_4^27 - 733716758913806300852358828771161438841\ 51815701196613913377483725102503432/3693332425523287738262119484626\ 88102855637663760479503829049248119112274509*c_0101_4^26 - 6375944601696462566944600133625841870138013118238993531766582995176\ 163610/123111080850776257942070649487562700951879221253493167943016\ 416039704091503*c_0101_4^25 + 7203848596373571151075305350943645143\ 7032949098582187564864757685360165111/41037026950258752647356883162\ 520900317293073751164389314338805346568030501*c_0101_4^24 - 7540624560654724525078662414776904882409801212273223027345084498577\ 21924308/3693332425523287738262119484626881028556376637604795038290\ 49248119112274509*c_0101_4^23 + 72530996621581578916073986765269959\ 8826117486906256234478328676567088318427/36933324255232877382621194\ 8462688102855637663760479503829049248119112274509*c_0101_4^22 - 1039358628931212716192720959121774640197426230101729649131452631344\ 478453070/369333242552328773826211948462688102855637663760479503829\ 049248119112274509*c_0101_4^21 - 4962925504261939755579021752140901\ 997627952734041797860675121809137484797617/369333242552328773826211\ 948462688102855637663760479503829049248119112274509*c_0101_4^20 + 4586824044642019026156957889348770454543769320817783430595340261401\ 773886601/369333242552328773826211948462688102855637663760479503829\ 049248119112274509*c_0101_4^19 - 4828642315406278413777204334615419\ 94601727913196475054770081327887520489372/4103702695025875264735688\ 3162520900317293073751164389314338805346568030501*c_0101_4^18 + 3762355589973131998246370421404498724158073553816168595147051005812\ 468882319/369333242552328773826211948462688102855637663760479503829\ 049248119112274509*c_0101_4^17 + 4552595970156932047916466834205435\ 269356216419408566886215526870714165340870/123111080850776257942070\ 649487562700951879221253493167943016416039704091503*c_0101_4^16 + 3392695067045033420728793382367880571560348729737066824179696730972\ 053912668/369333242552328773826211948462688102855637663760479503829\ 049248119112274509*c_0101_4^15 + 2573451534772995666182174417744673\ 772109661057706461556616595066643537762675/369333242552328773826211\ 948462688102855637663760479503829049248119112274509*c_0101_4^14 + 3632314037680456050614251559907476861833035671742030125333495943240\ 8327239766/36933324255232877382621194846268810285563766376047950382\ 9049248119112274509*c_0101_4^13 - 142452750909595574760292685375428\ 09102820134630096396984365040040498484824017/3693332425523287738262\ 11948462688102855637663760479503829049248119112274509*c_0101_4^12 - 3150121393863856760389045917447203347541492827993692879942924432830\ 7161765362/36933324255232877382621194846268810285563766376047950382\ 9049248119112274509*c_0101_4^11 + 193170834009341481481971325141790\ 78330382481938067293136211892303480108611450/3693332425523287738262\ 11948462688102855637663760479503829049248119112274509*c_0101_4^10 - 9793919137274138649342445160648644527173022704533368529656538908873\ 5949724123/36933324255232877382621194846268810285563766376047950382\ 9049248119112274509*c_0101_4^9 + 7031379968549776097924332529521788\ 945711498637800171315436079955198753425721/410370269502587526473568\ 83162520900317293073751164389314338805346568030501*c_0101_4^8 - 6714435947045543044329288653335616742566140316097547431234416139991\ 386333355/369333242552328773826211948462688102855637663760479503829\ 049248119112274509*c_0101_4^7 + 18612684486148664142258528153311900\ 107626939371917961563661979157277287704394/369333242552328773826211\ 948462688102855637663760479503829049248119112274509*c_0101_4^6 - 2171040030475913893543242296804554178676352375003049125144112722997\ 4523537382/36933324255232877382621194846268810285563766376047950382\ 9049248119112274509*c_0101_4^5 + 2869921233428280651496213081989108\ 9120298696814835903468258172959658925639549/36933324255232877382621\ 1948462688102855637663760479503829049248119112274509*c_0101_4^4 - 1308188915958860909442411665823792698133900949823063957174787333172\ 8152684279/36933324255232877382621194846268810285563766376047950382\ 9049248119112274509*c_0101_4^3 + 9962814622082002689993047208309992\ 74460200592837990706805881522507254222695/1231110808507762579420706\ 49487562700951879221253493167943016416039704091503*c_0101_4^2 - 2008621273503897470999047208370321343277728618879824974393233873486\ 9058062/12311108085077625794207064948756270095187922125349316794301\ 6416039704091503*c_0101_4 - 302660576046520316703487832411683571345\ 789880126997898301498615480238853800/369333242552328773826211948462\ 688102855637663760479503829049248119112274509, c_0011_6 - 108114189820054641164870709366698775414161830886342372025372\ 32345498/3616907176875899971856785604797509649659080271468662205880\ 242947706093*c_0101_4^30 + 2313315122074058463945820227926732371826\ 414088934693703849115919145/361690717687589997185678560479750964965\ 9080271468662205880242947706093*c_0101_4^29 + 9526245528295461656589799213277045028338318005085219978041097261325\ 7/36169071768758999718567856047975096496590802714686622058802429477\ 06093*c_0101_4^28 - 83801365978339953392561689982613706445391394331\ 90159528873493415068/4018785752084333302063095116441677388510089190\ 52073578431138105300677*c_0101_4^27 + 2198523838598537334144939310670092872195111507490662556034392565792\ 77/3616907176875899971856785604797509649659080271468662205880242947\ 706093*c_0101_4^26 - 4211475331348369730420909905017471024371460547\ 205980546402557414752/109603247784118180965357139539318474232093341\ 559656430481219483263821*c_0101_4^25 - 2536202084715941777705010246384113982821299813311754951807877724160\ 22/4018785752084333302063095116441677388510089190520735784311381053\ 00677*c_0101_4^24 + 39607880094397886697312063886626931366521955104\ 19460667924912817345096/3616907176875899971856785604797509649659080\ 271468662205880242947706093*c_0101_4^23 - 3492800067461776652484349717284070785324108276163353009021702080655\ 791/361690717687589997185678560479750964965908027146866220588024294\ 7706093*c_0101_4^22 + 473552241773262879702739301676355902030418992\ 5409476149009139300799442/36169071768758999718567856047975096496590\ 80271468662205880242947706093*c_0101_4^21 + 1438386142429313683558624438759430383551145222519892397353155199539\ 6189/36169071768758999718567856047975096496590802714686622058802429\ 47706093*c_0101_4^20 - 28340125984686522087845612558494539865342217\ 326369956187675434416146007/361690717687589997185678560479750964965\ 9080271468662205880242947706093*c_0101_4^19 + 2029787845177975743396146134794187372203896169582804459852367971345\ 447/401878575208433330206309511644167738851008919052073578431138105\ 300677*c_0101_4^18 - 2294110011687806485556193601206570286688582712\ 9719644648392323923180744/36169071768758999718567856047975096496590\ 80271468662205880242947706093*c_0101_4^17 - 1430198022874706665450674368013691297304136533790055843287997054665\ 8165/12056357256252999906189285349325032165530267571562207352934143\ 15902031*c_0101_4^16 + 22392381014688648119003807984068669850180642\ 654888272858609454123061242/361690717687589997185678560479750964965\ 9080271468662205880242947706093*c_0101_4^15 + 1681995137137047062581648839819289509466863471838496533650737636217\ 6284/36169071768758999718567856047975096496590802714686622058802429\ 47706093*c_0101_4^14 - 93785865581686476183616147638100360782536471\ 886960156768487730093216918/361690717687589997185678560479750964965\ 9080271468662205880242947706093*c_0101_4^13 + 1610726741402123753419487777251613238170489844855320108442071152998\ 29029/3616907176875899971856785604797509649659080271468662205880242\ 947706093*c_0101_4^12 + 1410865678801457962060540278534778416672641\ 42228778679432685449653242686/3616907176875899971856785604797509649\ 659080271468662205880242947706093*c_0101_4^11 - 9768743712630745897632898304421325173878375928248186393679358790553\ 9683/36169071768758999718567856047975096496590802714686622058802429\ 47706093*c_0101_4^10 + 34301831793698481518690597788652943073430973\ 364101105192414205536357446/328809743352354542896071418617955422696\ 280024678969291443658449791463*c_0101_4^9 - 4538000234036502594092692800911500260109590344559343489434705772751\ 8096/40187857520843333020630951164416773885100891905207357843113810\ 5300677*c_0101_4^8 + 7739463704073227135883549888759827687388831550\ 7757987798837651353709919/36169071768758999718567856047975096496590\ 80271468662205880242947706093*c_0101_4^7 - 6665352864271271597306625316101353282957325573193789548256827276341\ 2864/36169071768758999718567856047975096496590802714686622058802429\ 47706093*c_0101_4^6 + 841359858608783084581523245329135057605686824\ 94848772158794800312332590/3616907176875899971856785604797509649659\ 080271468662205880242947706093*c_0101_4^5 - 1495164443961482214544707292051643816057519486268142563763776696879\ 68147/3616907176875899971856785604797509649659080271468662205880242\ 947706093*c_0101_4^4 + 80822588913579519033441052331486957981474138\ 266268488128606900185082302/361690717687589997185678560479750964965\ 9080271468662205880242947706093*c_0101_4^3 - 8715549442630658425646795118324057282707346290527274750803549903226\ 497/120563572562529999061892853493250321655302675715622073529341431\ 5902031*c_0101_4^2 + 5421732550792362369046045161838849344191282987\ 0785425524756135411848/12056357256252999906189285349325032165530267\ 57156220735293414315902031*c_0101_4 + 2858489904697824775724422514718217812073550844042632066821025356333\ 027/361690717687589997185678560479750964965908027146866220588024294\ 7706093, c_0101_0 - 626723970155831168887291198644714722727143495426560166245835\ 004813600679/123111080850776257942070649487562700951879221253493167\ 943016416039704091503*c_0101_4^30 - 4977030219207883438625333772018613720833449599547695693149453390579\ 01883/1231110808507762579420706494875627009518792212534931679430164\ 16039704091503*c_0101_4^29 + 45733481180905301547766324618649275131\ 89742347385200985823242784771414163/1231110808507762579420706494875\ 62700951879221253493167943016416039704091503*c_0101_4^28 - 6308045074380861848316105259309747617916470239135795735507058305646\ 4030/41037026950258752647356883162520900317293073751164389314338805\ 346568030501*c_0101_4^27 + 1580226864721563660874102232684359290586\ 0918933119669904929308326007706602/12311108085077625794207064948756\ 2700951879221253493167943016416039704091503*c_0101_4^26 + 2763931005450887515379094510707297733126699748386012677050258772004\ 404192/410370269502587526473568831625209003172930737511643893143388\ 05346568030501*c_0101_4^25 - 37697506633254498977758666967484920810\ 475565422090727687112059294001232223/410370269502587526473568831625\ 20900317293073751164389314338805346568030501*c_0101_4^24 + 1233367525638055059169897138437844874474779588442194387173776335508\ 43642452/1231110808507762579420706494875627009518792212534931679430\ 16416039704091503*c_0101_4^23 - 15849683698221610690596288454522973\ 9476439784748684877935313647241841218995/12311108085077625794207064\ 9487562700951879221253493167943016416039704091503*c_0101_4^22 + 1896427319007227952599406574621530649922260956177150456125763412262\ 10525743/1231110808507762579420706494875627009518792212534931679430\ 16416039704091503*c_0101_4^21 + 93556667275602534804218461313896391\ 8694266502183437219418021727585187824068/12311108085077625794207064\ 9487562700951879221253493167943016416039704091503*c_0101_4^20 - 5915665213507179924368740624089417898895818395637627391663972541981\ 96854122/1231110808507762579420706494875627009518792212534931679430\ 16416039704091503*c_0101_4^19 + 38440778597858825091268711906673599\ 8969777037997684730817046458521609811422/41037026950258752647356883\ 162520900317293073751164389314338805346568030501*c_0101_4^18 - 4921010182813511118777357550512055023275622515303836940025619978152\ 93755540/1231110808507762579420706494875627009518792212534931679430\ 16416039704091503*c_0101_4^17 - 76539053946506408258343319449793814\ 5470911529175063245577037682722320074703/41037026950258752647356883\ 162520900317293073751164389314338805346568030501*c_0101_4^16 - 1165123250673300759151166898634945472209246772281603037498945800170\ 374656691/123111080850776257942070649487562700951879221253493167943\ 016416039704091503*c_0101_4^15 - 1877111407388520779234788193234065\ 548397565558797091109040990734182541034463/123111080850776257942070\ 649487562700951879221253493167943016416039704091503*c_0101_4^14 - 8379306680313874206450213178699047474425679868402232073137185922959\ 195222735/123111080850776257942070649487562700951879221253493167943\ 016416039704091503*c_0101_4^13 - 3937781859416992283277883861850816\ 34272747055070907804530082090486713963405/1231110808507762579420706\ 49487562700951879221253493167943016416039704091503*c_0101_4^12 + 1598603920674933563054436774692075518674571071753425319043845486201\ 583903034/123111080850776257942070649487562700951879221253493167943\ 016416039704091503*c_0101_4^11 - 5482814976075310092336905107933647\ 322716603896921050277312053596661102966312/123111080850776257942070\ 649487562700951879221253493167943016416039704091503*c_0101_4^10 + 1769269295122288142106570805436544585994690081846136307467554236332\ 4972956420/12311108085077625794207064948756270095187922125349316794\ 3016416039704091503*c_0101_4^9 - 3284982660430688322188875140524689\ 986640999894653308739178005891322926871731/410370269502587526473568\ 83162520900317293073751164389314338805346568030501*c_0101_4^8 + 5654742911254166338666234992054174354657543082154175113117622721546\ 856065784/123111080850776257942070649487562700951879221253493167943\ 016416039704091503*c_0101_4^7 - 30491613522207527677458078559713382\ 60795351617640820821793490642447152423381/1231110808507762579420706\ 49487562700951879221253493167943016416039704091503*c_0101_4^6 + 3990653080381849307133998680728580176077607425229599763592200221030\ 526593593/123111080850776257942070649487562700951879221253493167943\ 016416039704091503*c_0101_4^5 - 50751574698445371075670410530758933\ 48901397153827176693317341537562985990678/1231110808507762579420706\ 49487562700951879221253493167943016416039704091503*c_0101_4^4 + 3227481590698883688170028893353196276434038253438862751709069915620\ 166489033/123111080850776257942070649487562700951879221253493167943\ 016416039704091503*c_0101_4^3 - 31690979185629101052821048688592445\ 0506173280276412354348689778620817921735/41037026950258752647356883\ 162520900317293073751164389314338805346568030501*c_0101_4^2 + 3681384420574154115124776779502059780122850833737415718961702111461\ 8039792/41037026950258752647356883162520900317293073751164389314338\ 805346568030501*c_0101_4 + 7093383446331962292971829592060544873636\ 0977506599159190786409915955749193/12311108085077625794207064948756\ 2700951879221253493167943016416039704091503, c_0101_1 - 798152801396896921511411564931051399252864423266710994039778\ 0059608/13261992981878299896808213884257535382083294328718428088227\ 557474922341*c_0101_4^30 + 1377899085624933875287941424509541987835\ 1724765799327121414027812701/13261992981878299896808213884257535382\ 083294328718428088227557474922341*c_0101_4^29 + 1031174953728738153197312906810485333835333912745128663264799233247\ 59/1326199298187829989680821388425753538208329432871842808822755747\ 4922341*c_0101_4^28 - 409886435229857302949752902623237311714802254\ 34007696540001673987664/4420664327292766632269404628085845127361098\ 109572809362742519158307447*c_0101_4^27 - 1056804036124362958246468689913622189900273078463759714542174702216\ 5/13261992981878299896808213884257535382083294328718428088227557474\ 922341*c_0101_4^26 - 1435476481030945259009039434926965003912987822\ 71660805156340886334648/4420664327292766632269404628085845127361098\ 109572809362742519158307447*c_0101_4^25 - 7891703655469425997241805150190793280886493254937216217016443557918\ 95/4420664327292766632269404628085845127361098109572809362742519158\ 307447*c_0101_4^24 + 4779843868270395241629024352978463125991348013\ 423035087840031292845968/132619929818782998968082138842575353820832\ 94328718428088227557474922341*c_0101_4^23 - 5721830788449092893949125016224067987551060620597704700374412570998\ 26/1326199298187829989680821388425753538208329432871842808822755747\ 4922341*c_0101_4^22 + 267068010503696605445368769701659428202592296\ 2438809452297720421725080/13261992981878299896808213884257535382083\ 294328718428088227557474922341*c_0101_4^21 + 1080538951881797163812277355074713618303601309997724789767548931302\ 7736/13261992981878299896808213884257535382083294328718428088227557\ 474922341*c_0101_4^20 - 4473328773596433077482604695819187305445682\ 6087875106382104244858844968/13261992981878299896808213884257535382\ 083294328718428088227557474922341*c_0101_4^19 - 3843008450156243369951230674095259503754086003584571478316528971813\ 191/442066432729276663226940462808584512736109810957280936274251915\ 8307447*c_0101_4^18 - 192795999129155289347114842648186809533667550\ 98456533542747376613779279/1326199298187829989680821388425753538208\ 3294328718428088227557474922341*c_0101_4^17 - 1586171181673961142311387216673926979909924814875491529759005700959\ 1114/44206643272927666322694046280858451273610981095728093627425191\ 58307447*c_0101_4^16 + 75518015011342995739418285398789298682258886\ 743659985956549412460679722/132619929818782998968082138842575353820\ 83294328718428088227557474922341*c_0101_4^15 + 1317472863440743436328916767282378634110413629979628899177518733242\ 94506/1326199298187829989680821388425753538208329432871842808822755\ 7474922341*c_0101_4^14 + 201503912807102221745236198937688288583906\ 08360631152032084638525813085/1326199298187829989680821388425753538\ 2083294328718428088227557474922341*c_0101_4^13 + 3180165499217939629100212270032677138283311092998752685110038317413\ 24996/1326199298187829989680821388425753538208329432871842808822755\ 7474922341*c_0101_4^12 + 387553860950505213033279018864154882532441\ 780918257932477884493415767293/132619929818782998968082138842575353\ 82083294328718428088227557474922341*c_0101_4^11 - 9311753108430827795441623384213421012096575660621408420195751114889\ 8506/13261992981878299896808213884257535382083294328718428088227557\ 474922341*c_0101_4^10 + 1953847944901290054382514182581750314781612\ 48451714148435646783057455603/1326199298187829989680821388425753538\ 2083294328718428088227557474922341*c_0101_4^9 - 1769043477571179623711689267077241902915918659782480916461008765198\ 07277/4420664327292766632269404628085845127361098109572809362742519\ 158307447*c_0101_4^8 - 36357865123454971308786213685023611288155723\ 9030293437516873272700593819/13261992981878299896808213884257535382\ 083294328718428088227557474922341*c_0101_4^7 + 9923907208972393154825300282080111955001434572639494654657253158813\ 4810/13261992981878299896808213884257535382083294328718428088227557\ 474922341*c_0101_4^6 + 14925626867354851593788787655429603167459265\ 2111593004957650683302147601/13261992981878299896808213884257535382\ 083294328718428088227557474922341*c_0101_4^5 - 7963194384920054986354764377847430621774963653812468403435924091829\ 4874/13261992981878299896808213884257535382083294328718428088227557\ 474922341*c_0101_4^4 + 19012709444591321558778560627987535556740016\ 898560236911183156744693509/132619929818782998968082138842575353820\ 83294328718428088227557474922341*c_0101_4^3 + 2092536221944639495239707576904880203408905061326901183039903406544\ 6221/44206643272927666322694046280858451273610981095728093627425191\ 58307447*c_0101_4^2 - 867897803401260395423170376479010183760595162\ 3892884966295622957080179/44206643272927666322694046280858451273610\ 98109572809362742519158307447*c_0101_4 + 9264488718694468467755109952142263051418669693117284030851001464016\ 79/1326199298187829989680821388425753538208329432871842808822755747\ 4922341, c_0101_4^31 + c_0101_4^30 - 7*c_0101_4^29 - c_0101_4^28 - 26*c_0101_4^27 - 19*c_0101_4^26 + 174*c_0101_4^25 - 164*c_0101_4^24 + 234*c_0101_4^23 - 261*c_0101_4^22 - 1530*c_0101_4^21 + 615*c_0101_4^20 - 1867*c_0101_4^19 + 380*c_0101_4^18 + 3580*c_0101_4^17 + 2558*c_0101_4^16 + 3894*c_0101_4^15 + 14615*c_0101_4^14 + 4203*c_0101_4^13 - 126*c_0101_4^12 + 9735*c_0101_4^11 - 26067*c_0101_4^10 + 11030*c_0101_4^9 - 9191*c_0101_4^8 + 2344*c_0101_4^7 - 6705*c_0101_4^6 + 6488*c_0101_4^5 - 3893*c_0101_4^4 + 1285*c_0101_4^3 + 24*c_0101_4^2 - 110*c_0101_4 + 47 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB