Magma V2.19-8 Tue Aug 20 2013 16:17:15 on localhost [Seed = 2480017229] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1486 geometric_solution 5.30021722 oriented_manifold CS_known -0.0000000000000002 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 -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.567591261217 0.112255693761 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736897747294 0.223074984554 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915232658387 1.002159529627 5 2 4 6 0132 0132 3012 0132 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 -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.045521635948 0.925199408283 6 3 2 5 1023 1230 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.045521635948 0.925199408283 3 5 4 5 0132 1302 0132 2031 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 0 0 0 0 0 0 0 0.540161855337 0.523592202565 6 4 3 6 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.271434155955 0.747043172590 ==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_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : 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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), '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' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : 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_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), '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_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 3921965355043995789396198820715024427976303420809870025815386275951\ 5656027959850579020/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^30 + 3129629618221071293653712309268526003820293695154863996762225161801\ 85558507596128457555/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^29 - 7798984790670395541385510939567644756421491938372473937238313789441\ 53730775293077051938/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^28 - 2550656180486273985157462532843780620843165042401121003771770946731\ 288773560820979367563/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^27 + 4088474365505501842315768083451045048548792133181875994384041885903\ 16738285834953570827/8847931210559441333179790319211165637141141226\ 634101488912759695344535154569450991*c_0101_5^26 - 3227080659999922993302128069340452301995759414404275088746521124161\ 6218391502801887321240/43354862931741262532580972564134711621991592\ 0105070972956725225071882222573903098559*c_0101_5^25 - 4636697558661623785276921629976316115720092637911678042130196386369\ 6957123180713167103317/43354862931741262532580972564134711621991592\ 0105070972956725225071882222573903098559*c_0101_5^24 + 2397454430272263732140658443116034340938153322582441516363514467034\ 58171973880057223613616/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^23 - 2834584986205042621952088742213631968354552659425218871166862046635\ 66578252204793243617364/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^22 - 5273390941318049624160407583931970546995743949646007148651947330535\ 56764771605974585042435/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^21 + 1731077467920585620811079023372778216540400937018662926168179368382\ 522519189591065163475016/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^20 + 1666671611444659499550548003133360271350333724479157864020331205309\ 23709125026784247973786/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^19 - 4531827477676562521871738296914477147714258041176331169221662714359\ 415517003705807859843657/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^18 + 2051839678069261196790794430759906867993632344209926165554134499156\ 674865733819372900278771/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^17 + 6053648115057383510090820667748927900764719349519604036142116774214\ 886242549529909640020743/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^16 - 3893309317433128930427587772804363129939780668428199057336036736543\ 471410610445946184926732/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^15 - 4428539544579878320259927990135228825895871293376678033144702508804\ 825669266899159883089799/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^14 + 1681620596694198419005731594916916554559201498872233365466176500941\ 180472323690810610316086/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^13 + 1510355957703542023403142018151400671592875573859203931596273908516\ 045074693389839012869086/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^12 + 8224372940614356291533493309904607493636649583422247646235241141776\ 067863875153490140767/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^11 + 5681960867035093733385164300887588365601101164795393340793779862119\ 74575890670667147910993/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^10 + 4923957399920813964972747443165517165989303054734218920153196155788\ 08247014863038584670686/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^9 - 5412334255285380127287359400428279413087751357137901333519143365912\ 93704687557443495508327/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^8 - 3882767364292192761267839702295861990434095057814172859611665965012\ 04371050150547651835829/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^7 + 5435342560546451195392040527031478622435032331998630907036099498484\ 9331505366867235783304/43354862931741262532580972564134711621991592\ 0105070972956725225071882222573903098559*c_0101_5^6 + 1309617972445131377292407541337933783796195521377255991263444138944\ 6462024293583936055385/61935518473916089332258532234478159459987988\ 586438710422389317867411746081986156937*c_0101_5^5 - 4300303664880963042387133893655833731628393117226153356666802258931\ 719772187504236724821/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^4 + 4524052178728319390686024188479151244391964633820711354585823262006\ 393422181650885766990/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^3 + 2502500680909249923425237666236458901830065885883574176020429715367\ 02291523452017966923/6193551847391608933225853223447815945998798858\ 6438710422389317867411746081986156937*c_0101_5^2 - 2335466081461530785535428927318989191265809360106130021821204501757\ 847732733885355645847/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5 + 3489524869275472048326028962135343956029377710122577309833879725661\ 82695695360686796253/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559, c_0011_0 - 1, c_0011_1 - 662334607561442931935848163691613001718095796467447886914561\ 81299668116330028672915/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^30 + 5252297773116850345353147890327853399297141029140288184142836701264\ 66870682547771948/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^29 - 1281757391611363963951829444590563545458590381141231831840946701920\ 867059478320656651/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^28 - 4439069802488382977520657841310828023076751865463875640420903874427\ 425009773096383804/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^27 + 6888492010840500779007827165173938782955017342043135041024390760430\ 99668935671136277/8847931210559441333179790319211165637141141226634\ 101488912759695344535154569450991*c_0101_5^26 - 5213819999563902433360938528733753971703925941114422943023731976672\ 3915463310489577161/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^25 - 8517666025157763911563171103759331652590124213935736686461180075098\ 7470583780030254083/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^24 + 4056488604209872831529414192123741912597540717751685259364533437714\ 54861434063039021347/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^23 - 4447781486599875992864086437020904387096215386807393405781536148484\ 45529409723214506372/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^22 - 9603893411494642051335848911555666354905302801945617412651461944694\ 14142383728026752554/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^21 + 2913628198409006234565929482812483213449581531720262618224437340537\ 517875623274689223780/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^20 + 5712601333390557833763950968296970329805717980034821876764049896496\ 70664188490432843845/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^19 - 7941444111914269927623331368148171173769956217214558914704209319747\ 330891862850362439347/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^18 + 2843672593690637988452903816517991391898081181919882879394480631560\ 078367482235289497611/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^17 + 1128039281351547894834897083514504911759486549070326368876104172900\ 4701623680456248109348/43354862931741262532580972564134711621991592\ 0105070972956725225071882222573903098559*c_0101_5^16 - 5943527243759495074343939906724341155804667713596134282700737600336\ 059239817194392329989/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^15 - 9126842840131643252473325209693743471927995283964522574588179859639\ 743930836837451571902/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^14 + 2468265278255069743422574384044217140120403217587854969280569297073\ 822211404342142758669/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^13 + 3735290226041962081988965193950947449536854219515551892934988295737\ 483224227447897816973/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^12 + 4725478191744620121286323329572348078608113310612227068821569465244\ 76653107729359119793/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^11 + 8044734926051871964613078030510958502778828848078028218598608775590\ 08233738853260083458/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^10 + 7455436898971146978115690461728639114667709275874278940090884324795\ 54258908623031919282/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^9 - 1088018096726224052957178585292638241669236390581998250702783292058\ 224490122659066877131/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^8 - 9459887378839759690186914441236309008279319210836739935192781221099\ 20862999869718791964/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^7 + 2553897091309623334235717067103178388221060553518596511717964770465\ 4134289297317563395/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^6 + 3344551744435021181735834929118274517360350561455759011774203520345\ 5668903639063347523/61935518473916089332258532234478159459987988586\ 438710422389317867411746081986156937*c_0101_5^5 + 4170573855474860620974360036430566252997467413055210402115121251213\ 3649934023447418024/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^4 + 1141247679007637131175075715545243308774826930980362634446050637160\ 7348201913000602452/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^3 + 6601687866996454123825320530641650337794018596374269546450583320357\ 95853831587232408/6193551847391608933225853223447815945998798858643\ 8710422389317867411746081986156937*c_0101_5^2 - 4505091442648553998481030579311724504119321258525503163971822538029\ 737431817194850974/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5 - 1421822372616030852836136938232029606341021961359933384911107237111\ 39031095624385299/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559, c_0011_4 - 554901982826313831160649379089046955986936254096702593350637\ 64400675211145977626559/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^30 + 4232919319652963782385666143941540235983411005954201901035658638356\ 38801614157343659/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^29 - 9523720218197425630894681763055349678717150880713606990047586783618\ 29312273246257700/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^28 - 3962636612085358207276862947469809026116979531162167395625409297857\ 588602824821461323/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^27 + 5510883198163764356690890323119961739623184754835102909098170136667\ 34791602364412798/8847931210559441333179790319211165637141141226634\ 101488912759695344535154569450991*c_0101_5^26 - 3603154283103351141530481909839767206062275606073905743459384074012\ 4036154230564454598/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^25 - 7949719556141108605803030910436952431116335046073055314613135572355\ 4455847045493412702/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^24 + 3135402750912905929937415111859075373199098815795322305745596599686\ 35043885592541850644/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^23 - 2886066017699027771067040563256648126856889545433111130929881491996\ 61776808651644533523/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^22 - 8628257143410297951882158413176640754978530616752880100063241003029\ 31334264010991270052/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^21 + 2166934170786515290471242489685129587419223405792433925087627914372\ 361929004392422324184/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^20 + 1024692576612195363356842445072823433482042055944838124735585343839\ 751033546432271260214/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^19 - 6166382960483384032784821001613898994110925688974014655395440694666\ 296901431197355685740/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^18 + 7559944032863318329254114947990688917754546632028692404491000101713\ 78572445719249072352/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^17 + 9116592006895457981986815416955499172736212495845567145244984819293\ 120323694531448965523/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^16 - 2511619711446957044356593012894762536314989417206826095400140001083\ 721357368017055771666/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^15 - 7507707899175897389548197136478687441999615335630184112184046168076\ 712286704759218939615/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^14 + 9911573489377792734375975203419419328167308800921323919567117140752\ 0640673591846168884/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^13 + 2418060494908177036658307071341149595703889204121065585864325364352\ 652208591112222598464/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^12 + 6595357821209113518479936881852009860630351372282021633546973904466\ 56061349935385816937/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^11 + 9286678607437819420021545827620378754650356580075457730789261515299\ 31127187273770771529/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^10 + 1038389328806749034431968482880396080984954098219158962613775687522\ 183210678637945250372/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^9 - 4254238832340493199864470788972877783178305815724846843329921656137\ 28024307252475064154/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^8 - 7071853149157235553673230035312972578054848075005878531340782731832\ 16053976504897771135/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^7 - 1183668786032874299339691239450741805320499341726188302107750503806\ 80297514076718936550/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^6 + 1610665634779249978982277280047645199787657458077144215854907971573\ 9576345012719770890/61935518473916089332258532234478159459987988586\ 438710422389317867411746081986156937*c_0101_5^5 + 2368782062305045635377349950688621421888708791033054244632569411407\ 6398565996450375855/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^4 + 7120062946254050153452709450016542156300699716602558708019617020944\ 722261346330081939/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^3 + 7923646667526040885596987871617952064115470130206645952751327314539\ 30299157643302829/6193551847391608933225853223447815945998798858643\ 8710422389317867411746081986156937*c_0101_5^2 - 2197714646199308405569178802848167678995405931549139396030111961306\ 894091768695052934/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5 - 3097332193189269182909593732523349908018646164595736145197354766429\ 83925604482018200/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559, c_0101_0 - 124343547149722030310269202901782280195564137817782090038155\ 113903287696632395259963/433548629317412625325809725641347116219915\ 920105070972956725225071882222573903098559*c_0101_5^30 + 9416840736268361515897102695889016999160690241024841061545004093979\ 15695556224538040/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^29 - 2082337646457899997972627684668255846483871342081987986606589680619\ 230586905354459156/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^28 - 8993583416865136114588052807671784900013818369022703802289208382124\ 927480201014158099/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^27 + 1224750028411279582543377007086993330608533252162913850574649553960\ 188520011559370421/884793121055944133317979031921116563714114122663\ 4101488912759695344535154569450991*c_0101_5^26 - 7743957503155607048975723912430344952394507115768831290212202205719\ 6264770665016682706/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^25 - 1823574106336016547532570811586488334209510643000927019158681676195\ 93429945557687775397/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^24 + 6924203136499760192751843619460327723294951881028902183382150059951\ 66265319742595594035/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^23 - 6086567152366540124497127828237061195575677787563480356230882080909\ 32753092886925358539/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^22 - 1966039515630579283176621462658808771051681068644509821891992120476\ 091091919590266761083/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^21 + 4746135811264356914654511091128630727001054430969162506759998827454\ 486092802386335188732/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^20 + 2556234682037664211976174462970479940069221654043038151682189120739\ 487314766296147554069/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^19 - 1366881022855868971982914638906175173919971402566821113400258009779\ 4928483780679292426627/43354862931741262532580972564134711621991592\ 0105070972956725225071882222573903098559*c_0101_5^18 + 9351097512393856201228495911302602397084660101973436672721487886023\ 53707635577220021602/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^17 + 2045660761999697012592939299351968704319042446342361985238624901033\ 0012937561183272322657/43354862931741262532580972564134711621991592\ 0105070972956725225071882222573903098559*c_0101_5^16 - 4468362587961309754006038139010081769928439653651723944258514619862\ 446977492469109426321/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^15 - 1703239515998198353501490777277336085334599989435967775989292643016\ 7495262540099235516540/43354862931741262532580972564134711621991592\ 0105070972956725225071882222573903098559*c_0101_5^14 - 7881539864662389496180285366083931121413718417859132994232361043636\ 87940087965289595270/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^13 + 5342717970077107193082890591298185959501869663637762180048208099838\ 717786968780747481941/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^12 + 1850591369718708377915842141529726001701906024961118265638696271842\ 603243600898076560261/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^11 + 2206033246774230390254313009259663803354847199079470029264794160367\ 623958490421431104667/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^10 + 2421104447850858213932791191021790577725218269376801711557002674921\ 709718579699784555148/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^9 - 8255950105668290973090933652578128643354691647216209151649481352692\ 82176778630140973429/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^8 - 1632801997931962009417586474900450696825950590107140759455793022328\ 712245474051273177766/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^7 - 3653762127442276867902169131887347562980963390087242579414425748728\ 32886169965666167826/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^6 + 3298990967049840022008582255808182934486999260843131377113993646499\ 4487782199447023345/61935518473916089332258532234478159459987988586\ 438710422389317867411746081986156937*c_0101_5^5 + 7317570609706807820597610616232261671609420796472859588627116317744\ 6572207214605444842/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^4 + 1963646128946304340785192966824262038261542621202335767082043680050\ 5810941437798476133/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^3 + 1497645184268758462689874196865805916585624714987816460884890595002\ 249358890795904621/619355184739160893322585322344781594599879885864\ 38710422389317867411746081986156937*c_0101_5^2 - 4469288201244121167215059762340534530003113183109675880201790289409\ 899172688430583094/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5 - 6933689058146405009751307377510086719787205839099534798825843249729\ 90130102987884478/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559, c_0101_1 + 464543304685475395758059001524550940389769125356292952425200\ 03561356849735793416170/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^30 - 3518656613143300565209881916104861393943073812554070986203780850774\ 99739698900884752/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^29 + 7807489033226953839137010151244415089431113153607710984708765331641\ 17617977496554426/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^28 + 3342315848259786632001535096193189087763018820779087437784012103194\ 371181969779183447/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^27 - 4570118105501761928069297027123892835016288662130951941529356090594\ 83404399524693133/8847931210559441333179790319211165637141141226634\ 101488912759695344535154569450991*c_0101_5^26 + 2914532810964554057587815733596056462790884503160533571319080834030\ 5678979062249558815/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^25 + 6704917789843649666202675654952653349729925771905059768677798167194\ 1833395510646814972/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^24 - 2578387695883280590364743294787178691106867510375840975216431220659\ 64542490752456459984/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^23 + 2316313330387891004946372083397355255843740317676441603013201617200\ 25766209171232739650/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^22 + 7232245802561496632128541773146757517486052221136701126154779811658\ 80728058749647731193/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^21 - 1768306939887678420157262196315675925671190256442270610099534938394\ 103018842162228196259/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^20 - 9128318528051919936409165078185528074479541061068156966437357287211\ 34142830224514147829/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^19 + 5039787934802551390377469719883130185471595285736701235747498601775\ 436981018219437636569/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^18 - 4409991855697329186577515680587486545014028314315653590653921445917\ 09268145718868464988/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^17 - 7430304014351014571595237471991785375789479082749612934597231787394\ 560856096674155578693/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^16 + 1780327513605638705949940348057884649597077322216481828805990343768\ 351755806216139816213/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^15 + 6027637281899183611775315634472886714187894364820920484048763646945\ 283579507183732410280/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^14 + 1748142545987206655918720255735049674738406645264047614983544598395\ 42560672995019329343/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^13 - 1720223101420821484010949576626896763677066328122587162558934868574\ 258507694971580164905/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^12 - 5049180279496818575460537205873959702519795598381819870902564222509\ 13301139178387793697/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^11 - 8502041535149065485394805532373516353828839982011919959545715410347\ 21946861384622892591/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^10 - 9599798112572459623543639203820055831358161825399693636379733181278\ 69954317055008146109/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^9 + 2470989697779006047489355960982628857572998034664271632929137070190\ 07813044479976967427/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^8 + 5286302473201653919614376478111433972908369663303230065414043645044\ 78146439809887560235/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^7 + 1090864927244997038668142834971657157304896302080275794450770682951\ 71606759835516548794/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^6 - 9532076905742205538068020899213061843165112971749709209222773841521\ 848101043476824684/619355184739160893322585322344781594599879885864\ 38710422389317867411746081986156937*c_0101_5^5 - 8426292577346576094848056436377285034334915559898993090511038850085\ 136743383427383172/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^4 - 4600927370548978886528661713719976635343064151240367639321703835843\ 456033003364506256/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^3 - 6153398010859825376485128444581495468990964669006875290115931692351\ 33728776855504010/6193551847391608933225853223447815945998798858643\ 8710422389317867411746081986156937*c_0101_5^2 + 1596087752715096258725972804155135975425177621341921906519646403027\ 634639984551454165/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5 + 2493307773500416570051795744158463591030310584621268303453111407817\ 92775437735291854/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559, c_0101_3 + 351465209712054240343631830982088060913525285103087495388576\ 93799026803492188720269/4335486293174126253258097256413471162199159\ 20105070972956725225071882222573903098559*c_0101_5^30 - 2831635121562530853191673756105224499711621093094548898074780890733\ 22232015973955160/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^29 + 7144076918808501903115290576668179526741801460079293841443774410055\ 27860108851086674/4335486293174126253258097256413471162199159201050\ 70972956725225071882222573903098559*c_0101_5^28 + 2276832598552211001736247632293023716925333339370842583810636961477\ 993535391249381239/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^27 - 3718933576586257949799063624323588071983685957958818223780756804399\ 45678388678985227/8847931210559441333179790319211165637141141226634\ 101488912759695344535154569450991*c_0101_5^26 + 2984878563262130490098078868791722275519593549838307572784066346059\ 1420578731080350889/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^25 + 4216359604187574871818299075232431759445428244532791916029047155304\ 6701259349364506872/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^24 - 2213519520766481972902670136246692294269061895400202983106888710802\ 54246008865199791461/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^23 + 2613312833808868074062549224728951827418943510006397239158353329528\ 75291366743355244235/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^22 + 4848538912874660193067401878227566694203235691248539344719882211908\ 92081865683443141963/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^21 - 1612593696533908367735965668141958343280863842140712154039101245947\ 676431602626193119103/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^20 - 1273264884893686235540319939883999824204904305981902821541840530389\ 02726131190207545385/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^19 + 4284566726219747809909390782257324018198096343529356241726492292909\ 429660211155586080399/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^18 - 1998834812553789148715274284060312067598513807252148659771217034962\ 143254018868486307058/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^17 - 5901913268822885720075816587767030755050628444660396894262781028126\ 336406439123943418255/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^16 + 3859922124960300950845716060685597712559414203587640197698624999056\ 390979608584968016328/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^15 + 4625916301864087115947223487868844329996879864084673452895032861127\ 480786805206275507497/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^14 - 1877760058226682001269378826709902739666373040929710413316181369281\ 101444930797268211090/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^13 - 1979888788358679085992240486743258897417215101191743654694109356574\ 504924584260134701461/433548629317412625325809725641347116219915920\ 105070972956725225071882222573903098559*c_0101_5^12 - 7222270377183679218877950012228004333081693249232011434179978753841\ 1337109013877300034/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^11 - 3597403316316459364147853080315584512506220492590358755136475243979\ 77514161075438474451/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^10 - 3066104169544486847894278611393843955052693066098287754216259583546\ 53777214724658514467/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^9 + 6524723320408803128389202330624759250673483610516657218265728727514\ 76597575688446496976/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^8 + 4602695683612796545755327062717572303635832725294700552891540769033\ 14266187810125161707/4335486293174126253258097256413471162199159201\ 05070972956725225071882222573903098559*c_0101_5^7 - 7133339650006366462654549866691429468511346440844695542504408779392\ 6215688880616710528/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^6 - 1972796095616737068649648749460723398038007986534483259022163685599\ 7283739927259019615/61935518473916089332258532234478159459987988586\ 438710422389317867411746081986156937*c_0101_5^5 - 1461984920420100341565156841865144269104890218975203547213299012126\ 9553660102527117694/43354862931741262532580972564134711621991592010\ 5070972956725225071882222573903098559*c_0101_5^4 - 2613705870378118752579635025983015179722315726365310835523495228809\ 405252585495501848/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5^3 - 7537529211178165563864903874095994451023589207189250795875267228556\ 1055607987495210/61935518473916089332258532234478159459987988586438\ 710422389317867411746081986156937*c_0101_5^2 + 2856756483887461392842437884259268069122131495686639100202035728978\ 369733075354293195/433548629317412625325809725641347116219915920105\ 070972956725225071882222573903098559*c_0101_5 + 1568297226562333971258648470117077940862151745394401238887026857680\ 0245417083887265/43354862931741262532580972564134711621991592010507\ 0972956725225071882222573903098559, c_0101_5^31 - 8*c_0101_5^30 + 20*c_0101_5^29 + 65*c_0101_5^28 - 513*c_0101_5^27 + 830*c_0101_5^26 + 1189*c_0101_5^25 - 6172*c_0101_5^24 + 7292*c_0101_5^23 + 13574*c_0101_5^22 - 44710*c_0101_5^21 - 4013*c_0101_5^20 + 117576*c_0101_5^19 - 54191*c_0101_5^18 - 158487*c_0101_5^17 + 104021*c_0101_5^16 + 118023*c_0101_5^15 - 48472*c_0101_5^14 - 43006*c_0101_5^13 + 1375*c_0101_5^12 - 12824*c_0101_5^11 - 11888*c_0101_5^10 + 14845*c_0101_5^9 + 10352*c_0101_5^8 - 2042*c_0101_5^7 - 2798*c_0101_5^6 + 109*c_0101_5^5 - 35*c_0101_5^4 - 36*c_0101_5^3 + 69*c_0101_5^2 - 8*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB