Magma V2.19-8 Tue Aug 20 2013 16:18:16 on localhost [Seed = 2547387043] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2477 geometric_solution 5.80945815 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.524562074645 0.227845894164 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871660612974 0.468761987806 1 4 3 5 0132 0132 3012 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 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.796080159308 0.908837384705 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.796080159308 0.908837384705 4 2 4 3 2310 0132 3201 0132 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 -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.023288435132 1.105593485666 6 3 2 6 0132 1023 0132 3201 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 -1 0 1 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.723117870212 0.602022974158 5 5 6 6 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.732779389971 0.918859131112 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0101_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), '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_6'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t + 6781174005352683052189547780908971438298823205576984522209197325421\ 343971770498750/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^47 - 1696880195004961767803642743503837805399252210201398818178984150085\ 79383794981752405/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^45 + 1828002268529403841691300848806267357929663983530647098151026973388\ 470273245403739634/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^43 - 1256504194315871786405751825389760535610995343035889222333479387918\ 6877886474742638861/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^41 + 6426097098653437790698018643927882563132749276931012622836369643517\ 7819813802883830301/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^39 - 2563891765085305201778183157254431154431270789172570791790253849589\ 98412461163140055339/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^37 + 8669760147351900697007035537865386389515748243513613176770691015169\ 03185580716985442880/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^35 - 2465554984465023988077145917766941995742351899912291960417924549053\ 821971853042885863441/481164082041483229559841556543167395111375826\ 46959689862564719607718310512853129*c_0101_6^33 + 6141102106382317562170016033470035254265530940595114434953574058878\ 764973641809165398571/481164082041483229559841556543167395111375826\ 46959689862564719607718310512853129*c_0101_6^31 - 1330954868673826062503720576669116618104080126632160992925283742125\ 1265433325520663258969/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^29 + 2482959081908639031461097352861427005424953548446347557330140917864\ 1162304895425838083811/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^27 - 4300126535860644850290566150462293853217729330805082916387708830362\ 5597591467081135762843/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^25 + 5631328602688898323682833242143967316702913333799084117704581782274\ 9800784087633967729900/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^23 - 7487492059499110517331532625462646018818661825402498128597652872929\ 3207074121562128738349/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^21 + 8010466804376602245566415242521690571762384371268150567585242044327\ 5670700357178346018691/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^19 - 7130791173871911061806547320220281829025942210953451049811949029311\ 4524803502658750895028/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^17 + 5199900982169317127827368402519595777630105715399061126662619521277\ 3560583895504919062630/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^15 - 2854464335443447836929311073723944591944745769444135567823654602983\ 7651361257729091564063/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^13 + 1196759839172533605285693906415663095993231239193938044295669360077\ 2529857473766707435056/48116408204148322955984155654316739511137582\ 646959689862564719607718310512853129*c_0101_6^11 - 3910498408433293150803150071837496963097465996371128522877767362825\ 823218578531821257452/481164082041483229559841556543167395111375826\ 46959689862564719607718310512853129*c_0101_6^9 + 9195554684238406078356159829933139238217097524328622689627136285708\ 11965406771066883326/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^7 - 1373562331736398200522787066046351268264958470589995430153024654099\ 22849648721897772889/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^5 + 1154417405839893803056301974098286356230564172034575179340287810464\ 8032799713579073186/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^3 - 4124279510276985407618278701870582430531499822306689265139874870941\ 38855870300753339/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6, c_0011_0 - 1, c_0011_1 - 257665620957608169587813501558742439374957604026976635218574\ 73171390173475799101/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^46 + 6416056043471841855141127764009770940450810608956213845752220228933\ 53222721034692/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129*c_0101_6^44 - 6867373411095907678320464010719373834867885924126286317751564318488\ 267152603886622/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^42 + 4690589537251994656590231742917049457737543934884928357422311726772\ 4754682037978625/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^40 - 2384694404295248350070160022222887727019420066119531721379132210215\ 51173232985164495/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^38 + 9452892084921306279176322715573917852093415181115187809833513779565\ 13615243335862932/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^36 - 3179989648230181075999661405827854626355486317898433813304730401201\ 112373755308311686/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^34 + 8984891932730290874346246677069182291132167439851340563589187921346\ 608653945112752113/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^32 - 2225411094707621796882852729124056587614701704566853425724345551102\ 0740465558564616206/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^30 + 4790328725098295303835715130676286274576266499211873377942043723054\ 1979423982356265037/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^28 - 8861743894376613184390816601214512282036960837552578414895907654335\ 7175787208283651898/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^26 + 1528357802484974989413909279233333506824380532077241168412778435670\ 28769996522323243750/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^24 - 1957943888237293609533694228121316920644113374072601963072017227068\ 62835124740878680238/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^22 + 2614591964997602818221075789256027974062264146852643238171097253078\ 95790920625143887003/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^20 - 2734692331546223716095956137431128439622214227276536527055197113024\ 87153779958642946229/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^18 + 2390158951210640683231459489584479364186964299747460066892948569184\ 91273705985847907950/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^16 - 1698188284892121417009642632722928569319018246924631652134474423529\ 42473157249560111420/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^14 + 8895769138422675206407457608060811328890196798555830073960039760402\ 9655381891102580865/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^12 - 3544171563875617688879855331196691475549743537328175714989503297798\ 3592043521651097963/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^10 + 1092388202812680998524985949955384473724614412188393098735239898172\ 2968350585080451330/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^8 - 2307756269869357993827119605851793626975240089955858125470085193052\ 146198813725723176/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^6 + 2813095444433046571932728179991032295043131780073995977392510635428\ 93273439337403034/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^4 - 1666780109981116800776434531353167862270514202327573484017222171970\ 6678001117873422/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^2 + 2504799894301849619295704815407797295548271449770299379324788220992\ 92527797733637/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129, c_0011_3 + 331530831877916287206200773024128149180395467140189592452628\ 1195474999338770440/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^47 - 8357534899479297012103545131983640848684941934674718121935321932638\ 5713265461305/48116408204148322955984155654316739511137582646959689\ 862564719607718310512853129*c_0101_6^45 + 9085977064776613014021957898479392242078900802024757857653855653005\ 00375688715408/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129*c_0101_6^43 - 6296538849365245632988033809430447588534317599759582341739659191152\ 770238107323780/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^41 + 3242777268985149009616213802804995805854295241591553487131267649116\ 0421287248968089/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^39 - 1303127358723128887957834956598307529254797586597099866399356262394\ 90336620734041380/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^37 + 4428030083742516019847791869056579805254262114704569772111074670119\ 58344616095921426/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^35 - 1267269520746487930942782971486597702171435445465638348422755679911\ 143604007797701256/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^33 + 3170416462351040754654722703206672624455520401724116208748145389729\ 810128352953580312/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^31 - 6910008051507300639653773575254224317819057231894405991410493184368\ 903992380998041323/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^29 + 1297085832378634681081799284059187452474919987774318915966993932000\ 5488998260398056394/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^27 - 2248325504233663604105862150621892782545531810004380591670001310821\ 2900972811572764736/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^25 + 3000212046588258257115770711588528010965431446766819567764387735779\ 1170119939084207979/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^23 - 3927017251366490795595580313600978240086290841907557399522740222006\ 9624949659128654496/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^21 + 4305017235584830952352571560879561955184680503684132781261386070892\ 3519046592388251899/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^19 - 3810464154923462537798559789483642340371637924182913072862746347615\ 5481657636741958843/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^17 + 2805180917563032780371596722260421716110407436884829325095714863685\ 2005090196719290829/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^15 - 1541619089611919187907548668608839528289081159974198938065704516838\ 1104286085799176391/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^13 + 6313028990640643207510450372426911250141353300024041812678110396996\ 948082901881395652/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^11 - 2024431688165311555308969393694072096636448477400691155117059869904\ 891689614762983224/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^9 + 4516974784850092193808403555209064369716576088901096727965407424403\ 45644816375353681/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^7 - 5731437445874018705832009265532809484615832478799682905340671438107\ 5438678595637841/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^5 + 3412362249856785249403539580664349999482017441421435214795190888028\ 537054706996755/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^3 + 7233139541847893825828500914950044462402708581438653430444953875936\ 9948109458270/48116408204148322955984155654316739511137582646959689\ 862564719607718310512853129*c_0101_6, c_0101_0 - 148531511020665453421822755094247350556752016922062947335663\ 36843033719573495017/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^46 + 3712814334251691322133582464725236698946617413850483528720951056502\ 38936097929007/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129*c_0101_6^44 - 3993725137037612666741613735903714855046188932866930869653006364309\ 591773770866229/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^42 + 2740659015005967142990545807748334549238834657698707780232682462640\ 6643395448235889/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^40 - 1399301776679761658868207359767086926851763043902034430760242188351\ 46154748814145754/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^38 + 5572241738339238516540103980848089402821289887445053134121983628044\ 10126160940872287/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^36 - 1880983591385223189752676394703618853182340582004424352015350444269\ 584478845724902966/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^34 + 5338056422049493983701892109800636413852951459646323240331454346500\ 197491567496797312/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^32 - 1326829694266435635275642820984899471667704147896258017479411250413\ 5144820476287159145/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^30 + 2868646205488410785706861521696573010095939477526387542454763713144\ 1421541531850779016/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^28 - 5334675938338213874258277854387653307736708625716335962924442481186\ 7081801558131119681/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^26 + 9218786019891020798150143005193909441077376725931481041877428776633\ 2240041293593540551/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^24 - 1198468167145894229347264229544867086687814914686086235106433427925\ 10142922822092886051/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^22 + 1590269447456452128283272402419496178840504399474504478476643567364\ 04788275692172557690/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^20 - 1691122364412947781339777445211869151051807199471910319111909040048\ 02725112061995826025/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^18 + 1487668751914519142913979215731861855594788434235338481902431924016\ 44940629590920272338/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^16 - 1071564332545914945812720279497246530207141638604287506871518526733\ 01000951869922094334/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^14 + 5734075902740814299169927946732492214193118042472504316319716443745\ 0203736602396018373/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^12 - 2317666093460389228669029861831938041887595967353211631570125448469\ 1821398121186857557/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^10 + 7280362344231787000240393613906574296663062506204586174339556204338\ 699927732529829713/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^8 - 1587746895275792844932085315176624664825225520565609109514878328857\ 710879854531870649/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^6 + 2003701930204925079923787953882979281077689491354112619896729967424\ 28326931866932607/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^4 - 1251609248805132380644202322358702023784683614101624078074224158907\ 5128706718660030/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^2 + 2071266558325481938399720107665520377328919725750010380177757056153\ 41510239028632/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129, c_0101_1 + 496935481483965724008038647164743548226265491145939112714428\ 4847863253747085060/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^46 - 1230048627077101998204043766899241814587380779323614138542277915817\ 39574168487880/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129*c_0101_6^44 + 1306408757843081269421308333368114432834010671033436268159527715471\ 787157704026573/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^42 - 8857115907919786635984975233650044555871847885235206276781912817899\ 728893667230693/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^40 + 4472448638241176026085811209688739347940633556318898948054541001691\ 3069797390907009/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^38 - 1759858860123923799337263461679161191629919045995931326844484809965\ 84714234012441250/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^36 + 5887334392831307435450726456800315967682803611155243778416282269732\ 26758118835262981/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^34 - 1651493704156025943209431016769964443875216596294225785089731864742\ 904386749712298402/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^32 + 4066784977514402376524114502224196009966476355852594929549067629274\ 673976746808476743/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^30 - 8690360620537243031200429642594512111873667856668532971526557536512\ 905140414638220688/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^28 + 1593568908247802676566451060612470024557401790804767109232485078007\ 1724746827392170548/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^26 - 2739507375912381338196734562173765212580692420923832102671542005118\ 0020641254242535516/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^24 + 3420984410473303834594526455719077899741315907172432703347150383448\ 5693708237186392239/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^22 - 4622375221762061442308011100446253612293480421885683675345612755529\ 4301555372712206063/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^20 + 4694000851321507409863740358986173339533986741882375628119172702461\ 0518015867015264246/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^18 - 4057560641586322755552370109267477820301611397433275581517751062369\ 1233185406678853395/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^16 + 2813505281158522166814501142777110035469413744136222124010647091038\ 1103301606935888376/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^14 - 1417220191736999287379675276230526386359837070164136807755143348446\ 3828463365534487344/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^12 + 5520960049759749780175957617988670730132434014762315811963695072034\ 648122732105179107/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^10 - 1655687837925989875024590206518511658433554182822949850637011698678\ 704408766523060173/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^8 + 3327405697190415137251050435597435766627552672825274811100913390392\ 40515528693609125/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^6 - 4055647299808007195395779989925825907138094529106813317118622768178\ 1171076695589722/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^4 + 2774995086491272599428127771891889665819656749369509261681165666555\ 055803789268451/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^2 - 5180337590259347525632764938480207748484943762913865137015521161083\ 2181869506030/48116408204148322955984155654316739511137582646959689\ 862564719607718310512853129, c_0101_3 + 316102258409580316080266169064398275250499581597298736191292\ 18198072673461295848/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^47 - 7856809774809465441307815235147865654479222556571771386116418311253\ 27099546981780/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129*c_0101_6^45 + 8389582045329592494538038833390631969653258331552315105613793430016\ 829013898096189/481164082041483229559841556543167395111375826469596\ 89862564719607718310512853129*c_0101_6^43 - 5717327685224684492051261405583059220223223800759321013042777105206\ 7907978952247731/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^41 + 2900666309151918847234416183858697463971747061477091680453402206088\ 00719618202221864/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^39 - 1147243924321140814339037938063861964820427206031444612694209834836\ 663579718848246253/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^37 + 3852807965261555169205476612188114903529969980053130837540722464328\ 204907864121981531/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^35 - 1086212275136710307399971435887692632890401623365206431349494247494\ 9313725782986480645/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^33 + 2685600192928574532261931835552326709846650167514778781922418833636\ 3270307239420612863/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^31 - 5768131182776305390618798917765797747184811576402746762726080342089\ 3900069659609841480/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^29 + 1064216690202323290350348771449939098689192721839825232926074353877\ 96591578960590078568/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^27 - 1833535399062797718788441368129078238129613856679758770879403797286\ 51884235268964644214/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^25 + 2331172927859003588786473187955752595374452529162797443162463472873\ 57036475306357660386/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^23 - 3122981533580895049372444512691285816358772202840669759364699749045\ 37988376787712847501/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^21 + 3238512547503313371187337498012294949979380637953461813844738108930\ 84882289571963412116/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^19 - 2820159384845816142954333002592150651115900124663266021944785293918\ 36684779692114655282/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^17 + 1988980318021583280066962162891195011986099439677178443704478441740\ 42240693586462114591/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^15 - 1029412359306409976609689880999946313177861979898096436914753428296\ 15924385118438437843/4811640820414832295598415565431673951113758264\ 6959689862564719607718310512853129*c_0101_6^13 + 4066845450906929246136176881549083415557796109914771794591217850690\ 9816549139233111140/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^11 - 1240060531923997773403918887281302912803427997602609454509152771775\ 5199812177916347643/48116408204148322955984155654316739511137582646\ 959689862564719607718310512853129*c_0101_6^9 + 2567057024285839422347254033154772844417535932176478049209398275389\ 298047437487951253/481164082041483229559841556543167395111375826469\ 59689862564719607718310512853129*c_0101_6^7 - 3058913070742957297348758001840065589803850634002508068762178069323\ 01319372931516259/4811640820414832295598415565431673951113758264695\ 9689862564719607718310512853129*c_0101_6^5 + 1738125336165505401355742775893825323524794746464413540124537398490\ 9986002080042940/48116408204148322955984155654316739511137582646959\ 689862564719607718310512853129*c_0101_6^3 - 1068126819956103048254278461356301468887866311906876454375073291581\ 71953434206592/4811640820414832295598415565431673951113758264695968\ 9862564719607718310512853129*c_0101_6, c_0101_6^48 - 25*c_0101_6^46 + 269*c_0101_6^44 - 1847*c_0101_6^42 + 9437*c_0101_6^40 - 37614*c_0101_6^38 + 127100*c_0101_6^36 - 361121*c_0101_6^34 + 898847*c_0101_6^32 - 1946386*c_0101_6^30 + 3627507*c_0101_6^28 - 6280795*c_0101_6^26 + 8201749*c_0101_6^24 - 10925684*c_0101_6^22 + 11649537*c_0101_6^20 - 10369493*c_0101_6^18 + 7549714*c_0101_6^16 - 4139015*c_0101_6^14 + 1739371*c_0101_6^12 - 570194*c_0101_6^10 + 135090*c_0101_6^8 - 20698*c_0101_6^6 + 1862*c_0101_6^4 - 82*c_0101_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB