Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 2496989289] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2108 geometric_solution 5.60549248 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334962264887 0.212913658463 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538724464567 1.138644964484 1 4 5 3 0132 0132 0132 1230 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 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.034241278143 1.061903561267 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.034241278143 1.061903561267 6 2 6 3 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.816600082563 0.794841465282 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.125503962587 0.783600090116 4 4 6 6 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528531425608 0.174118234921 ==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_0101_3'], '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_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], '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_1']), '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' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], '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' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], '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_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 5940864204550443567619683933055694071949832073822701602207523098989\ 0046521418183634/24861890218886293704554241666261579716326575654656\ 760890047823136693144739488388597*c_0101_5^32 + 8250000335452732069863601402031991710425714868390055104013575382037\ 42922023514080668/2486189021888629370455424166626157971632657565465\ 6760890047823136693144739488388597*c_0101_5^31 - 3771453483444459362178969158532898629823209941400363371323407095516\ 621204120585472200/248618902188862937045542416662615797163265756546\ 56760890047823136693144739488388597*c_0101_5^30 + 6748195530315831596835965353790165254994517881666608319056115808679\ 859577461529993437/248618902188862937045542416662615797163265756546\ 56760890047823136693144739488388597*c_0101_5^29 - 5580293953138893418252089968874309326882772669503516629311489432317\ 317322185739758861/248618902188862937045542416662615797163265756546\ 56760890047823136693144739488388597*c_0101_5^28 - 6592195070341574728430459978157535204541444133013544233237310024697\ 728763745747120192/248618902188862937045542416662615797163265756546\ 56760890047823136693144739488388597*c_0101_5^27 + 4692461915030428881951725421018290944747862656110721848367370201367\ 9552975600814545131/24861890218886293704554241666261579716326575654\ 656760890047823136693144739488388597*c_0101_5^26 - 6397926895249387558518124597680097131051751197561248131486853960072\ 2608470785569766025/24861890218886293704554241666261579716326575654\ 656760890047823136693144739488388597*c_0101_5^25 + 1376630284364038314036870079640835626417600152302342202888917271895\ 94595930701996873192/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^24 - 1691896555759964451036705298595145461846549952379905115146735827111\ 3986166454921881928/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^23 - 4119906482853300250268037613876975858091782516121270177755667083302\ 1685010077535584921/24861890218886293704554241666261579716326575654\ 656760890047823136693144739488388597*c_0101_5^22 + 3562036724500403655285593708733201446676080129105747722345222626171\ 43380426910666552556/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^21 - 6057074368905377735715525326610457963607999631715623092762878667352\ 9704783235543216755/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^20 + 5879903739304093132510852144841374502468132813079156298530454464383\ 1675752728629026371/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^19 - 1125000328881669506855855952508424638336057970524886569432429219750\ 186284065097840133005/248618902188862937045542416662615797163265756\ 54656760890047823136693144739488388597*c_0101_5^18 - 5439415097999309227882255703681278717626298442795677156207684760227\ 37294130539048312007/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^17 + 4579195799448636986555961158496034291333468141314109916267780907595\ 3700193098721192777/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^16 - 1866714974687924502919589548887664268997537537533255083238919574901\ 19043673112321768180/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^15 + 1827513230647175397985902245135239155327675602596924343343632758562\ 526025390263518070449/248618902188862937045542416662615797163265756\ 54656760890047823136693144739488388597*c_0101_5^14 - 2693328316817937363279415310992684226005625430401159823563377381532\ 18955081724544729973/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^13 - 2126744899825451869353183407498563570590733257228323788415138381520\ 90782129984038129518/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^12 - 2168783768990620676842998705770586242739365960869365531561199534530\ 58508855609877404886/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^11 - 8774166593174665744603436900489894117728055965915676919219896741165\ 12477925405932611314/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^10 + 2824655811810414324024826019800168721213463707842858681851920422103\ 67963975296810083937/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^9 - 5968786008989870044944470181023032875897702907201886057327854427364\ 146428515120359382/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^8 + 1070916885613974265874943847520375171189724051794920755311208862572\ 24748652398320016859/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^7 + 1135976861020725532309780106828450114023099735874820770891598663657\ 25101452662375829995/2486189021888629370455424166626157971632657565\ 4656760890047823136693144739488388597*c_0101_5^6 + 3700623463610968143518229785785606291171987542948957369224522335918\ 847878053082409819/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^5 + 5824509908518730297567535537867610543483593217853263420552013299291\ 6222969210834225560/24861890218886293704554241666261579716326575654\ 656760890047823136693144739488388597*c_0101_5^4 - 3117608682844708348121256477161866886975639085622683501499652578194\ 1048160426482545398/24861890218886293704554241666261579716326575654\ 656760890047823136693144739488388597*c_0101_5^3 + 9857441170792427564647513618937424703701634325201881219677604371540\ 313033070567072488/248618902188862937045542416662615797163265756546\ 56760890047823136693144739488388597*c_0101_5^2 - 3215408414296082721294908433126972749827821699986563622148321074251\ 703350379362718354/248618902188862937045542416662615797163265756546\ 56760890047823136693144739488388597*c_0101_5 - 2603794045962421235988863485217123354353218566813429161224562997724\ 407143782860078621/248618902188862937045542416662615797163265756546\ 56760890047823136693144739488388597, c_0011_0 - 1, c_0011_1 - 205487146189405087258330982461199168686333647918037066747689\ 045755715372459136745/355169860269804195779346309518022567376093937\ 9236680127149689019527592105641198371*c_0101_5^32 + 2953478189133745375605986480393117992374558612355095372278893689563\ 265311303826089/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5^31 - 1448535510368437493993432921607905570847952146180749192042039631023\ 6256199157344006/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^30 + 3050527822603594057818130098223541131136655645783933841023768710862\ 0630179690179894/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^29 - 3527453533353297202961316791548360988604659255960536967603716119753\ 9953586384098850/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^28 - 9535827288867943455838330764264264859445436737788002080943824811169\ 38878301675465/3551698602698041957793463095180225673760939379236680\ 127149689019527592105641198371*c_0101_5^27 + 1536269825562250852888034319437447754612213393364442561146490131167\ 86140652021466105/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^26 - 2865238001200707832900961693321263748284016884048320582150349859475\ 97864624498754168/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^25 + 6195104097403768555585370192733574069500724103189977569685618674401\ 57045268771997049/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^24 - 1085905714246735643592203786432633144568057917076604834264031896232\ 94679336932754865/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^23 + 3186157069716903919279098362258643302578889074510738568661712394667\ 71430413085982441/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^22 + 8906927729850635069478627162597101885718958450416652784367771949948\ 73066169538426960/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^21 - 2409532387704245864652457719740695814648548976351685218971712268757\ 37352343086251293/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^20 + 3118555214308350015583227769037147382795469135847082336580466162557\ 10677536501695855/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^19 - 5240970286146435541403835804916407903231491089085793242474434570622\ 622296715236402901/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^18 + 1170137293071629915965972045764588596666671246785933121382704198378\ 271727146208121677/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^17 - 2281272639167168212624419936177128941559949664140082325982351301582\ 3928702283699073/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^16 + 9099538561033317951812943573378213823402847030320524085137513499374\ 14961771557530106/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^15 + 5606859236800490884563837237105565183527418972423738302994773595263\ 117661127507653598/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^14 - 3600903836902483320201433043900466370362991030919942804161405748252\ 614143432555175197/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^13 + 8342602550592595891462430229834906991319857102802300301775157804890\ 89662635853121324/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^12 - 2823895452207588657197803459313177507416946628027734407940557988376\ 108431461227440492/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^11 - 6900824159631062388131014030033264016125405758309954692997598509313\ 57186263579850922/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^10 + 1074087482017555422841348092698754246590202812915208989504305598621\ 353124745380017162/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^9 + 2501437403031624038328150426634700852926148595051876704614373511279\ 3768180471021114/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^8 + 4998607118344166749249432957554319615530453708749585259816051226250\ 64659146419056208/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^7 - 1321701407184846320616303064262374142959188292557445926210336512951\ 84844491758490150/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^6 + 1256824321459236028841824427178871580679811873912473223946750058169\ 2942553999504686/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^5 - 1536808909368581670361554750330002678933516691734178339524475498704\ 2249107760638279/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^4 - 3885269810525839442508954570653671694997732132268229264762084135935\ 1921598701475813/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^3 + 1146782755891200041326365121264871371319996344109864697182222929121\ 1749727429520439/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^2 - 5632927622190385650190808996603547133041737008470203482873399472830\ 612976309905355/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5 + 2275887981265318058532964812124009326467460672724400675864019001968\ 705875110663758/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371, c_0011_3 + 218815215455053161421984334208453423620062153410171130654769\ 756340609145615010225/355169860269804195779346309518022567376093937\ 9236680127149689019527592105641198371*c_0101_5^32 - 3170389900493334327440674461493188556683330621471576653243786354718\ 456566330753552/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5^31 + 1577455660596356056739438458540494149758458003434441848030391151520\ 3829608390232457/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^30 - 3404974736931574358148710581835190519095121776147331364587896629931\ 6122538998228742/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^29 + 4013966175691575358210369354138528439901605301207284929672720820094\ 0914590932903025/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^28 - 3780124695435788147762294915628720598677853313892492135039428534564\ 41000555709521/3551698602698041957793463095180225673760939379236680\ 127149689019527592105641198371*c_0101_5^27 - 1680147923282604829093343354688802841505434230700798552450092221301\ 18330966399135466/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^26 + 3263472333108108396255247570447060748301991538820224594241169778732\ 32895869083798469/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^25 - 6848318268634721095488010139362422186574764428252859010290466919334\ 01109942467955307/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^24 + 1225724946338148473021873343169133788059810172332024389300712048279\ 71991307502767436/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^23 - 3722709358618456517066810675432885807321952911303462288957165076901\ 81860901889181678/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^22 - 9999104222786311801498043538109173919249812709436546651366889014129\ 93346364692899234/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^21 + 2827319603031878231592015602320018178985774890321448871216958389024\ 42347237608982130/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^20 - 3574929179118192937746258096249862309329386533950530801680476752445\ 12664053024207905/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^19 + 5697958984109977246108728387329188891076530035431227668993669764288\ 001526769808981194/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^18 - 1646143829040931555906161470462251125291099410457828014783331731842\ 770733660686626999/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^17 - 2795720979953878393459539845795239164368657023397737676249454862671\ 7039909673043871/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^16 - 5938795351860710978426726388560568206154895853575407766025334109699\ 22625469814834084/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^15 - 6032732027998619255415159261043036024687188604287980856606741815798\ 970782620467110546/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^14 + 4662482158480692850632263637103891280916670930313213532224017848189\ 400634547184081165/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^13 - 1026786464271901185351353039697412660463861496133090390652673622423\ 650853327327665146/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^12 + 2613222129449177574218645401012302693306937701218613021031308150624\ 356017763122066321/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^11 + 7054531181085401156161645018389514647832341598988626967230081570878\ 86817642798525181/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^10 - 1535157507296460901208995594356905300744563947920530023121566901418\ 116595792547301293/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^9 + 1503331888140271996148241757837036685807061517229381629621021757965\ 3878844018347067/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^8 - 4801687631429402287700636191350410508984158546970550564183844560319\ 80901020144943760/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^7 + 1821770990590085836287636215927172295143344748871044264844929476585\ 82963428199668907/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^6 - 1294301355164784686287187966792147065854004147687916699952009790660\ 6968012254773622/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^5 - 3505354700122369782535711959533736333686260844772259553756129860106\ 258164474059975/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5^4 + 5965949620866523567559942230992762493835210020839614196946825965618\ 3113088480513188/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^3 - 2758865999428990641758258333789760949190345194888056928600455040351\ 9874439314280411/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^2 + 8438938545516385534952731876485930734037440375158645678790281418268\ 128836357752692/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5 - 6616344425314936670772740174276524384101443680832227226066608968774\ 93440600242054/3551698602698041957793463095180225673760939379236680\ 127149689019527592105641198371, c_0101_0 - 822418458984729818086406735619704426268009226404211548181345\ 69830793789041735570/3551698602698041957793463095180225673760939379\ 236680127149689019527592105641198371*c_0101_5^32 + 1315057120301016286156105493244592411517711179971574957217759018079\ 875956114877754/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5^31 - 7823064122711853778870819150321858059625652135800738461900407576451\ 024157860777243/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5^30 + 2327803316140251805186784835395829994809004779760075451697315975138\ 5046728720825577/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^29 - 4270730512669096442426847321775163979536261647301669396998011237834\ 6877320307381924/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^28 + 4361374095062570593365049557845373894357639298380845068770353300846\ 5502636234366636/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^27 + 3225863657540306593722471151731453756362951473517340477791115390967\ 4929967096425572/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^26 - 1999828154996196784285246460875656648451430818204535555468350475520\ 90062664753348293/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^25 + 5113334537000520189891646894415670286160066385875298612340296236755\ 41544612638014454/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^24 - 1286975320486803727731980513447280490582741277579466789881303945651\ 57674551134482789/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^23 + 1058512151062132954360835724278666519409886751007186428012068772857\ 411846079857663142/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^22 - 4837567793272227540403621869333655693156662684375180015377537638157\ 85741466183303909/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^21 - 1090457455754843333964960688140777813704962699852465678375355712666\ 43069599607599906/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^20 + 3163294169592185181078461010142773688665638305169219497909716588564\ 98321564831785835/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^19 - 4555237711489993685806534743973516874112082025581088641140102090147\ 978919503034200902/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^18 + 5577193867782406639842180267182679028894846692632482887143246381733\ 254551730587167429/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^17 - 6523668740454913295783052787438351586368726750526882453589640996600\ 72649213820455088/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^16 + 2922556207365827813225827406644964005367861035727331218600137982433\ 091645199376409707/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^15 + 2954437706377504592022926113582493653918981198979929747315148839057\ 56700510905123947/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^14 - 3899306711282154630233309684028488913681094926385258518185762537563\ 198951589219174769/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^13 + 5187427341970119909072180763817470073554158302396831054847402533221\ 561442065523539687/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^12 - 4813951856925533161414360505583482361764006374178447016007175958564\ 859719350485788546/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^11 + 3595369783859240039430640425100548418324665501609191740124891738893\ 614668661232888890/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^10 - 1707820607063726304319504712629140060086421408335576564176671254404\ 650004291666632748/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^9 + 3479216680900171837404071937130261326087718756115138884517039207283\ 8937027382390750/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^8 + 1950627286751358406869260248233071686290983865421212898335365486261\ 87500517154561068/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^7 - 3185003740933226962648373395270063172412205666596936968540140858508\ 31989449070078951/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^6 + 5280673001447669909052298253370973808123434847768435791937405089278\ 6878298182836521/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^5 - 2479633280700182360878545322955378515203003616865944638140427273706\ 64742389041395869/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^4 + 1328656442589120353427461709912356792373512283152817227783521905476\ 49600756462597674/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^3 - 5154080266198960595481511308872211373577184108935571378579122686073\ 8576116002930546/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^2 + 1155055641390154380293309266665524921847128704047852594610752410151\ 7286958043142624/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5 - 1036094454669127910332558639394915908042903837215284636011462375725\ 16898274925681/3551698602698041957793463095180225673760939379236680\ 127149689019527592105641198371, c_0101_3 - 130185527701253896666878758292791397576786607721411045500283\ 786009697706190028510/355169860269804195779346309518022567376093937\ 9236680127149689019527592105641198371*c_0101_5^32 + 2099010758621617768227581308814392026472923605746036697035745509950\ 217728131846079/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5^31 - 1258308304006903597619529446983019662367240092584620418309930008796\ 0160268446092561/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^30 + 3732577930114370725984153182419788883580707914711554213188241249404\ 0491614731026156/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^29 - 6621645668899773054279679202969353649008384167693911843852005241841\ 0736627283617540/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^28 + 6223701198781655124597772397034445369531021346031317355614790182321\ 8799098272987090/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^27 + 6534202711386706023412114551769211675218538815136582641622428939085\ 7830541721026076/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^26 - 3369782502273224068684141663130094267953690368834960423768408106619\ 80241137906487767/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^25 + 7993228459236588711409003154155052614534818772696748929805659931835\ 20590593241470153/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^24 - 1980656979430372423856599819575168343969836777492046702000458749670\ 13527774170660751/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^23 + 1536560996954737062070965893504500668074008389905520409303297276083\ 047591323159458129/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^22 - 4934102667839766048600374114478231171117324220426135290985827900335\ 37887516379810717/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^21 - 2176107103643921628400160524152561406430409757972419040867807017668\ 87945337887007779/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^20 + 5063462071506939967130465464621540520290572735056506388753919373765\ 45505725074520357/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^19 - 6891601285116668555156702739050827705917994995956443578118855565481\ 675310341873357417/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^18 + 8441683359108323594976248181640647030235368652230754756583213553241\ 595098378038233232/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^17 - 8020454835868813007464517991027286255383533306416574568710834348443\ 03269480352452498/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^16 + 3387368246620044390324888304235925984857070919174331287497693880293\ 325865381154043143/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^15 + 1007289343919345547421620615244076953569780651743373074898743652295\ 632328528350899255/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^14 - 7076067330324526490718737456936555837521709876848146674736143555261\ 185309412227950892/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^13 + 7393490569401779303015632949138337701700806564655488432228511675533\ 344061003598726639/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^12 - 6085335337984620035280070042140276665247908776570245646827144734816\ 762084486116288250/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^11 + 4868913788480317440839265036333479790438214982423497826121224476891\ 362971693222775645/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^10 - 1538189290474303312587294323051221926710142875423474291138000270611\ 417440677066047844/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^9 - 1609811789371256888170704912838142218184101764207735920582279492394\ 4438000862559528/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^8 + 1716767818214361556115483212182615518214965750268489206390612097025\ 11774501710238214/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^7 - 4921090475162032054740567669741376674666503594640993499956760406332\ 88294300376615701/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^6 + 6903447386524997475909527962943384508567287292853348623076748181967\ 0857723763820388/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^5 - 3090612732664735909506655065909636505669434181160236934167409231612\ 87627152791102320/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^4 + 1585842879135177193794512049813278474773710824491546138054954175122\ 94353260536926707/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^3 - 3772549581549420100183744181979340063711322835934231804678745714636\ 4182361681782828/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^2 + 1008824434276998743662119187812009488807608509028352991374287175235\ 3357831953812090/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5 - 1398976281988420690886559273720892811241992079590071795854567385357\ 169787656813474/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371, c_0101_4 - 657137609851693020897377076529126389062357159182102518830324\ 039125301772595017310/355169860269804195779346309518022567376093937\ 9236680127149689019527592105641198371*c_0101_5^32 + 9814511480913982252636818432806686373936263324320191135414138958542\ 343535816336472/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5^31 - 5186778507352934458845388478888814522668672608105099716927502951645\ 9175464364886705/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^30 + 1270662804373844875581481060921103334687594936416192634361739989613\ 27705999253115344/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^29 - 1856730358929765729990280513376728980998539499429135719284925526191\ 43439962603637809/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^28 + 1031224195439533758510071877850941867022669355274420832548478101422\ 12574201830850530/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^27 + 4331202617173550965977886743718707333705361576445982292290511267441\ 36490289104393904/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^26 - 1164594106107334089144694832523011945754030801549611368235406293938\ 997980099921447150/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^25 + 2654908943342833790568640267994761752426056386184979142790059477641\ 515117363758165676/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^24 - 5624579349278325380351486469427959302189440014343665248103747648223\ 80524646596617915/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^23 + 3272581536974917971337254635854780200329623926498957836683232168442\ 291430014430881171/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^22 + 9971236849133478525309389657712033403545959499027024732532707700421\ 60160629502742188/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^21 - 8597269739887810570809911120944416647097062510803511171063148479410\ 09942249646434992/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^20 + 1501639841695935422740822771897879555192017552531122630085759129924\ 773970970304156438/507385514671148851113351870740032239108705625605\ 240018164241288503941729377314053*c_0101_5^19 - 2274919081150181326127128369011766315473294911730313557630045807822\ 4017167569374923683/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^18 + 1658819204846583912356200100080446877274954133573980582212140940697\ 7727538720374604936/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^17 - 1462506925573901387381971517229311498556320671274167887429171585623\ 762401949283249490/507385514671148851113351870740032239108705625605\ 240018164241288503941729377314053*c_0101_5^16 + 8054476461920232633944661907444316415849090491877738703618528091844\ 690052289372178679/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^15 + 1347088640621084314222262859375406259233673439882597514093235202115\ 2088475924015780637/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^14 - 1892971124841805338188038910572092996515167728818755898855818766787\ 0880755920560563409/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^13 + 1432266827989961853915383403804902009726382904381861632250012589886\ 7597300700206548413/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^12 - 1668821352515221523887224124519128348634512400732050699410775293073\ 2626619178064284609/35516986026980419577934630951802256737609393792\ 36680127149689019527592105641198371*c_0101_5^11 + 6806131373454652019164871267018631820675642100069222900759920743143\ 909562747573226282/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^10 - 8772955910759001331631754806025447950198959937143219619349366222294\ 76379335742487610/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^9 + 5784634220081030814080750829446513507661885817045916056433727620925\ 3440389507531517/50738551467114885111335187074003223910870562560524\ 0018164241288503941729377314053*c_0101_5^8 + 1419984384749220535183858059669202141584171827793225005715668276972\ 922445232458506668/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^7 - 1004586931775664105134346111297991316375831120602161063840151549965\ 298701814568740559/355169860269804195779346309518022567376093937923\ 6680127149689019527592105641198371*c_0101_5^6 + 1543338940552246666965075630428222007441708494319513665259746235287\ 88615712062797635/5073855146711488511133518707400322391087056256052\ 40018164241288503941729377314053*c_0101_5^5 - 5831382798143404247287576506999077183191925184110973396339293052259\ 30510185771635802/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^4 + 1771978754609849503616130657791906792988305451293723519366144878261\ 29025979888124036/3551698602698041957793463095180225673760939379236\ 680127149689019527592105641198371*c_0101_5^3 - 7084554517594055994472900214111108752038313633432791615308238436835\ 5065861102207271/35516986026980419577934630951802256737609393792366\ 80127149689019527592105641198371*c_0101_5^2 + 4879826340999242640551206040907856667043690307565159737911008348921\ 400867666370160/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371*c_0101_5 - 2745705506475653404164898343011524748036099822637656210010914141734\ 627340023246957/355169860269804195779346309518022567376093937923668\ 0127149689019527592105641198371, c_0101_5^33 - 15*c_0101_5^32 + 80*c_0101_5^31 - 200*c_0101_5^30 + 303*c_0101_5^29 - 194*c_0101_5^28 - 623*c_0101_5^27 + 1804*c_0101_5^26 - 4227*c_0101_5^25 + 6428*c_0101_5^24 - 5755*c_0101_5^23 - 645*c_0101_5^22 + 8853*c_0101_5^21 - 16856*c_0101_5^20 + 36611*c_0101_5^19 - 28987*c_0101_5^18 + 20487*c_0101_5^17 - 15296*c_0101_5^16 - 18698*c_0101_5^15 + 29248*c_0101_5^14 - 25980*c_0101_5^13 + 29575*c_0101_5^12 - 13690*c_0101_5^11 + 4074*c_0101_5^10 - 1335*c_0101_5^9 - 2276*c_0101_5^8 + 1678*c_0101_5^7 - 1938*c_0101_5^6 + 1128*c_0101_5^5 - 460*c_0101_5^4 + 179*c_0101_5^3 - 24*c_0101_5^2 + 8*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB