Magma V2.19-8 Tue Aug 20 2013 16:17:14 on localhost [Seed = 745386227] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1476 geometric_solution 5.29032448 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 2.686268016576 0.870036579737 2 0 0 2 0132 0132 1023 3201 0 0 0 0 0 0 0 0 -1 0 0 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 1 0 -1 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.125121545240 0.171665810020 1 1 3 4 0132 2310 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 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 1 -1 0 -1 0 0 1 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.861985143956 2.642452486125 4 5 6 2 1302 0132 0132 0132 0 0 0 0 0 0 1 -1 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 -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.400310776635 0.699733299068 5 3 2 6 0132 2031 0132 2310 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.400310776635 0.699733299068 4 3 5 5 0132 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.095298518711 0.818271336346 4 6 6 3 3201 3201 2310 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 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.080269227724 0.739707795740 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0101_1'], 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 2621419046940879755525247259399728849510034317290295637304313681699\ 88489612085437155951514985077/6744292536826948330924736255108202771\ 7883630867138428202960007944630429444806834403158203920*c_0101_5^32 - 15406690226598189995455142877828087945601167828601502342071544162\ 02058343352280156804460433368787/1348858507365389666184947251021640\ 55435767261734276856405920015889260858889613668806316407840*c_0101_\ 5^31 + 102667449181259346040462585161250111922871758353837837761152\ 65117920459225036274117178362674795035/5395434029461558664739789004\ 0865622174306904693710742562368006355704343555845467522526563136*c_\ 0101_5^30 + 5292050349175451930409531749421827153753647120552171036\ 9360503604249036755953872670089033872695027/26977170147307793323698\ 9450204328110871534523468553712811840031778521717779227337612632815\ 680*c_0101_5^29 - 7015880333900315114091897936474627696456310012527\ 39494331700156877108823867516921748575159959966591/2697717014730779\ 3323698945020432811087153452346855371281184003177852171777922733761\ 2632815680*c_0101_5^28 - 310151515570437886461237069833203321597173\ 523533923825442307774739097769159471513730737346695783839/269771701\ 4730779332369894502043281108715345234685537128118400317785217177792\ 27337612632815680*c_0101_5^27 + 94753064248283588827180736201663240\ 8540367076835290096570467307936237989168555503373200297705705991/53\ 9543402946155866473978900408656221743069046937107425623680063557043\ 43555845467522526563136*c_0101_5^26 + 5309234607504147255532494959328381642526627090964069424644697179384\ 99170290695960675327400440589709/1348858507365389666184947251021640\ 55435767261734276856405920015889260858889613668806316407840*c_0101_\ 5^25 - 892328257697344445733576536148620276165992801611592987491811\ 0345070396307260370721607332696522788643/13488585073653896661849472\ 5102164055435767261734276856405920015889260858889613668806316407840\ *c_0101_5^24 - 1774303092587069693825365439124093597023409996372123\ 744780944472046001224813198870790433139889366591/269771701473077933\ 2369894502043281108715345234685537128118400317785217177792273376126\ 32815680*c_0101_5^23 + 51291855007278098533712719151805686376882493\ 959687731429251423114746914854485740694555404835867804019/269771701\ 4730779332369894502043281108715345234685537128118400317785217177792\ 27337612632815680*c_0101_5^22 - 24261582529193989204859141025645098\ 68991822212290250937543528384137838888421273513249410075919681073/5\ 3954340294615586647397890040865622174306904693710742562368006355704\ 343555845467522526563136*c_0101_5^21 - 2148156479512275677288022536902119833196121170208281138435291122422\ 609699176589045416986668166523303/421518283551684270682796015944262\ 6732367726929196151762685000496539401840300427150197387745*c_0101_5\ ^20 + 1943334277330169960734992016402593291014491839171131007479872\ 3714651391795246666685998799395010598383/13488585073653896661849472\ 5102164055435767261734276856405920015889260858889613668806316407840\ *c_0101_5^19 + 3180008676976237752926371390422283888127262139419855\ 76999806535032409792555883412849458003812467113077/2697717014730779\ 3323698945020432811087153452346855371281184003177852171777922733761\ 2632815680*c_0101_5^18 + 299086834006047935963964962950346106425352\ 4685999612930884090247451439140057211892356162428450881877/67442925\ 3682694833092473625510820277178836308671384282029600079446304294448\ 06834403158203920*c_0101_5^17 - 24149832405316540278674440898638857\ 0660764300817315236184159883573831713232230765212930090791507620099\ /134885850736538966618494725102164055435767261734276856405920015889\ 260858889613668806316407840*c_0101_5^16 - 1712268844168089276987785149997805355125660807028403310055520917213\ 93086645613879928472851317740377251/2697717014730779332369894502043\ 28110871534523468553712811840031778521717779227337612632815680*c_01\ 01_5^15 + 935270643647026641242604063683553967359971378782713401251\ 9927298580361113904021278989310831914311397/67442925368269483309247\ 3625510820277178836308671384282029600079446304294448068344031582039\ 2*c_0101_5^14 + 445650494747330849236730666365683380479251076732589\ 0848678228074622810355197813868181121645465772523/67442925368269483\ 3092473625510820277178836308671384282029600079446304294448068344031\ 5820392*c_0101_5^13 - 401572918108365320289900802093726633530321360\ 65002463119850724144523300634720912756123386684601114939/6744292536\ 8269483309247362551082027717883630867138428202960007944630429444806\ 834403158203920*c_0101_5^12 - 2909511010219305224886278271536415418\ 8459857764653291484472700825094987281237610214613493645867425483/13\ 4885850736538966618494725102164055435767261734276856405920015889260\ 858889613668806316407840*c_0101_5^11 + 6585358463046490143718431899216555927996317586221266231465435504671\ 1055072069740100517178889941780527/26977170147307793323698945020432\ 8110871534523468553712811840031778521717779227337612632815680*c_010\ 1_5^10 + 8409075550607834620980613592351913714610320765797160477107\ 497729739041289240968640129261946680476031/134885850736538966618494\ 7251021640554357672617342768564059200158892608588896136688063164078\ 40*c_0101_5^9 - 148827365157581220406810386222434278518403644687562\ 98125006048446517797661613837909487050002910636001/2697717014730779\ 3323698945020432811087153452346855371281184003177852171777922733761\ 2632815680*c_0101_5^8 - 1656167437462504693781386171235025147169620\ 960598444821579028060466566709919275346164170242327054681/269771701\ 4730779332369894502043281108715345234685537128118400317785217177792\ 27337612632815680*c_0101_5^7 + 229850173096950621651432459671335086\ 3739587873114172990364406730127021840309339944717265089689984237/26\ 9771701473077933236989450204328110871534523468553712811840031778521\ 717779227337612632815680*c_0101_5^6 - 3285514708780713048198397908115288317318499863068395554036760705785\ 11426818284998990861624253888297/2697717014730779332369894502043281\ 10871534523468553712811840031778521717779227337612632815680*c_0101_\ 5^5 - 1987991050367343612107850822538048736857731042496109796660924\ 64840013083601421689593783699374684761/1348858507365389666184947251\ 02164055435767261734276856405920015889260858889613668806316407840*c\ _0101_5^4 + 3848782592290144255445803494704528965462435953288854385\ 2040897025701177251025726472163850547439823/26977170147307793323698\ 9450204328110871534523468553712811840031778521717779227337612632815\ 680*c_0101_5^3 + 60124210365286960545410336445003068199000329761521\ 9793203159551315233781442063893150239401269411/42151828355168427068\ 2796015944262673236772692919615176268500049653940184030042715019738\ 7745*c_0101_5^2 + 1678286719512653918017289106730515269739179464279\ 122467126456078714750111323212602529193905960883/269771701473077933\ 2369894502043281108715345234685537128118400317785217177792273376126\ 32815680*c_0101_5 - 62227957094632882387704519306690590424450513309\ 6974413445948115343935626096579409002028269934769/26977170147307793\ 3236989450204328110871534523468553712811840031778521717779227337612\ 632815680, c_0011_0 - 1, c_0011_3 + 128859898298828121507502915479693554790303349014874090131787\ 82322910953842553912453895948508/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 32 + 20837384997912724973799385105926540647779147535020598551785681\ 372575997039176655515173829194/421518283551684270682796015944262673\ 2367726929196151762685000496539401840300427150197387745*c_0101_5^31 - 13463623170665963864937466482218772564314251602307644816606358081\ 7743164369280641907538135133/84303656710336854136559203188852534647\ 3545385839230352537000099307880368060085430039477549*c_0101_5^30 + 2021328948611608551251512585954231644378610892278624926870953200187\ 88428081934397552909820613/4215182835516842706827960159442626732367\ 726929196151762685000496539401840300427150197387745*c_0101_5^29 + 9094140009307306299649753951627506831641491146130894823831827317233\ 000233469297065068915624381/421518283551684270682796015944262673236\ 7726929196151762685000496539401840300427150197387745*c_0101_5^28 - 7778263677125362399281010731871798261023694670010811079589723732399\ 852376046768199815761753806/421518283551684270682796015944262673236\ 7726929196151762685000496539401840300427150197387745*c_0101_5^27 - 1159670869929315441940116917157027814003085341842867076629006958518\ 8682984172998417504397983535/84303656710336854136559203188852534647\ 3545385839230352537000099307880368060085430039477549*c_0101_5^26 + 6353647645058333146495289926972607447365109841074479668621220985402\ 2796303182199560906295689207/42151828355168427068279601594426267323\ 67726929196151762685000496539401840300427150197387745*c_0101_5^25 + 2016586917867041047975580405991694006147502183866819257702008655201\ 28380338661049136080382440946/4215182835516842706827960159442626732\ 367726929196151762685000496539401840300427150197387745*c_0101_5^24 - 2583432850807284702991988964234716925573581124464655061647362145383\ 67919172042749134828025195664/4215182835516842706827960159442626732\ 367726929196151762685000496539401840300427150197387745*c_0101_5^23 - 5311429956452757258750243559296970126670434602473393888450517441793\ 61141999064532337850920464889/4215182835516842706827960159442626732\ 367726929196151762685000496539401840300427150197387745*c_0101_5^22 + 1861516820732202427791672183979416991163170166754253117018370057215\ 77197142318309567868191892512/8430365671033685413655920318885253464\ 73545385839230352537000099307880368060085430039477549*c_0101_5^21 + 1135145782623702919635022956163627799278080878787370685879637450450\ 980051452584430551810864124732/421518283551684270682796015944262673\ 2367726929196151762685000496539401840300427150197387745*c_0101_5^20 - 24407675900320179622504398577917813071874396202578771489821903836\ 32443388321762051396369780179916/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 19 - 23845115455721764238965312361497153194340169226601718253606513\ 68936340052663111633366948844430112/4215182835516842706827960159442\ 626732367726929196151762685000496539401840300427150197387745*c_0101\ _5^18 + 42748869113718138390172258433649171433172124483631988523405\ 97511329204451118989120246418674077497/4215182835516842706827960159\ 442626732367726929196151762685000496539401840300427150197387745*c_0\ 101_5^17 + 41213031228557518365393419194390229069163863944906000574\ 07685356642415569845785250496150642407163/4215182835516842706827960\ 159442626732367726929196151762685000496539401840300427150197387745*\ c_0101_5^16 - 47951653742064042162130560379109996826011166327431922\ 63520834969371172623212631724952492523358104/4215182835516842706827\ 9601594426267323677269291961517626850004965394018403004271501973877\ 45*c_0101_5^15 - 84049570309785851844665738230249667336707876289892\ 0831386149405078774626903239769104063258104878/84303656710336854136\ 5592031888525346473545385839230352537000099307880368060085430039477\ 549*c_0101_5^14 + 7064417765436455937484426391521425300765256631172\ 55869453429295395982892244254353475296376119253/8430365671033685413\ 6559203188852534647354538583923035253700009930788036806008543003947\ 7549*c_0101_5^13 + 214715964130260215426959471665453636148686253735\ 9848302182418038767090754643536854768268139605901/42151828355168427\ 0682796015944262673236772692919615176268500049653940184030042715019\ 7387745*c_0101_5^12 - 186372598759836238691343199346862411472035405\ 1850567267663266994617555470546026740767377911606464/42151828355168\ 4270682796015944262673236772692919615176268500049653940184030042715\ 0197387745*c_0101_5^11 - 479243345695762995676469798996447856442159\ 476943987716952924758922130970413767701994157506444347/421518283551\ 6842706827960159442626732367726929196151762685000496539401840300427\ 150197387745*c_0101_5^10 + 6788383165136754655124942994778716401191\ 59885620501279768849120639913983764723533346505566186268/4215182835\ 5168427068279601594426267323677269291961517626850004965394018403004\ 27150197387745*c_0101_5^9 + 224609712616903517859104117120484638163\ 55873419500377136326390041047002684293839478348661461141/4215182835\ 5168427068279601594426267323677269291961517626850004965394018403004\ 27150197387745*c_0101_5^8 - 129045900724802484785730512485748443825\ 375341016857028393746084599317608838320779918418536874444/421518283\ 5516842706827960159442626732367726929196151762685000496539401840300\ 427150197387745*c_0101_5^7 + 23733620202783427239098132898547167204\ 593068267312272214013453138783993867461608930578695099868/421518283\ 5516842706827960159442626732367726929196151762685000496539401840300\ 427150197387745*c_0101_5^6 + 14549513985356177363758712996957805103\ 257405290583598875252880530508049849493663043570565845167/421518283\ 5516842706827960159442626732367726929196151762685000496539401840300\ 427150197387745*c_0101_5^5 - 59784409342606431745252397135837805500\ 74209485148779205791908434399025853875385370785179531218/4215182835\ 5168427068279601594426267323677269291961517626850004965394018403004\ 27150197387745*c_0101_5^4 - 124398826678443188202162295924450351708\ 8197783626525065555423285049844941688469297470435516678/42151828355\ 1684270682796015944262673236772692919615176268500049653940184030042\ 7150197387745*c_0101_5^3 + 4603664472519959735143595076932042080873\ 32856883345253932003813294143648940908827609683937741/4215182835516\ 8427068279601594426267323677269291961517626850004965394018403004271\ 50197387745*c_0101_5^2 + 429337021867863825397710749942213933952498\ 29989492631178231384294807487419623826988219970317/4215182835516842\ 7068279601594426267323677269291961517626850004965394018403004271501\ 97387745*c_0101_5 - 10108956797845120490858364877928497855763683247\ 462739683903833847519324083715544349868146921/421518283551684270682\ 7960159442626732367726929196151762685000496539401840300427150197387\ 745, c_0011_6 + 491608033129704919586211363064244890413970271975215603520265\ 1351637039387166937653239604248/42151828355168427068279601594426267\ 32367726929196151762685000496539401840300427150197387745*c_0101_5^3\ 2 + 251590393230635215191315426620317064412598467435472560427750566\ 14213446895065894879482707044/4215182835516842706827960159442626732\ 367726929196151762685000496539401840300427150197387745*c_0101_5^31 - 4254541175271456785359436191779673700623591437339954884896369604265\ 2336021697659603113497906/84303656710336854136559203188852534647354\ 5385839230352537000099307880368060085430039477549*c_0101_5^30 - 7819573872099766053577491409394956580769526126241822527275329529752\ 69305570179281504465672002/4215182835516842706827960159442626732367\ 726929196151762685000496539401840300427150197387745*c_0101_5^29 + 2924620126684482542652075846234373302742306358139018292906957981906\ 493297095949635494435210016/421518283551684270682796015944262673236\ 7726929196151762685000496539401840300427150197387745*c_0101_5^28 + 8751647970380936310128790399445785649393939859893892990107409202659\ 880935028871287665404631099/421518283551684270682796015944262673236\ 7726929196151762685000496539401840300427150197387745*c_0101_5^27 - 4291679418140021880921106391892450856177671745963989885249031562776\ 791108131824506931037119614/843036567103368541365592031888525346473\ 545385839230352537000099307880368060085430039477549*c_0101_5^26 - 5375454353654727888181191491156543038233328344050933109051801048953\ 0231975165170709196760458898/42151828355168427068279601594426267323\ 67726929196151762685000496539401840300427150197387745*c_0101_5^25 + 8908042906645018593900493262801744250442915319596501153298965622427\ 6048826645534051746325104581/42151828355168427068279601594426267323\ 67726929196151762685000496539401840300427150197387745*c_0101_5^24 + 1896303372753292892713111634475290834260470601549397974075054445882\ 38652646494581604922888002046/4215182835516842706827960159442626732\ 367726929196151762685000496539401840300427150197387745*c_0101_5^23 - 2833850357776111968147993349667336056697966403988122245645948076484\ 81856443660374168167079006889/4215182835516842706827960159442626732\ 367726929196151762685000496539401840300427150197387745*c_0101_5^22 - 9109783629309434274071110550067103093803453878657739651518862751261\ 5392621348979131849482240995/84303656710336854136559203188852534647\ 3545385839230352537000099307880368060085430039477549*c_0101_5^21 + 9421998867943866458655286677458199870249742047002739716391999137194\ 02571646960641724813961496752/4215182835516842706827960159442626732\ 367726929196151762685000496539401840300427150197387745*c_0101_5^20 + 1130352465714180921814542648512869301660148326918320148544397223276\ 816919090040351464635881945699/421518283551684270682796015944262673\ 2367726929196151762685000496539401840300427150197387745*c_0101_5^19 - 23366564143950320340742406726493686369941317197056900232981590386\ 13599323937369673236540779688817/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 18 - 30372749924243242409550558932854891259239578719399445997262661\ 51215359851297263015516389768651013/4215182835516842706827960159442\ 626732367726929196151762685000496539401840300427150197387745*c_0101\ _5^17 + 31654358526146970260539555666959161637838669860260142770494\ 10431717587896232972579680214654580853/4215182835516842706827960159\ 442626732367726929196151762685000496539401840300427150197387745*c_0\ 101_5^16 + 54625835061772663506486446552058044893654855119306643217\ 50017127936609306383868120028409479846111/4215182835516842706827960\ 159442626732367726929196151762685000496539401840300427150197387745*\ c_0101_5^15 - 32264015559751123684818434074535426900095309935271104\ 3909218074329817169133684945146568213945970/84303656710336854136559\ 2031888525346473545385839230352537000099307880368060085430039477549\ *c_0101_5^14 - 9492123914167497108621972750971596877793744466874999\ 21674567718067950360992705438183376062579796/8430365671033685413655\ 9203188852534647354538583923035253700009930788036806008543003947754\ 9*c_0101_5^13 + 305684658154774664318223673561795475401600327971496\ 462270222397243428111820786070960499006550636/421518283551684270682\ 7960159442626732367726929196151762685000496539401840300427150197387\ 745*c_0101_5^12 + 2106299646304944080639075784671916319584704303970\ 036950126032341829391377040264141395859874705361/421518283551684270\ 6827960159442626732367726929196151762685000496539401840300427150197\ 387745*c_0101_5^11 - 3786126746956764248441541080398152365010884850\ 83942736668693866957437256069775967591412123093597/4215182835516842\ 7068279601594426267323677269291961517626850004965394018403004271501\ 97387745*c_0101_5^10 - 74888776604128370096516551651357729292607727\ 2629517998675349214757130819569885087129486840005387/42151828355168\ 4270682796015944262673236772692919615176268500049653940184030042715\ 0197387745*c_0101_5^9 + 1457005174269080308262534222796926867852851\ 46375074753787336020392168269366076449860738593974151/4215182835516\ 8427068279601594426267323677269291961517626850004965394018403004271\ 50197387745*c_0101_5^8 + 136223725813332336721236027354049991622737\ 210087279568366303993124206270694238860028877489318726/421518283551\ 6842706827960159442626732367726929196151762685000496539401840300427\ 150197387745*c_0101_5^7 - 44607233637649135554812676448915102059249\ 967391140098549264027109721297679048201219466723923177/421518283551\ 6842706827960159442626732367726929196151762685000496539401840300427\ 150197387745*c_0101_5^6 - 10183900288479450623605795961666079791573\ 067822600502443624787682913584782204037052706458867963/421518283551\ 6842706827960159442626732367726929196151762685000496539401840300427\ 150197387745*c_0101_5^5 + 10161859915428990806493873190720197307661\ 612158121575472696018377543176406522247414521325891747/421518283551\ 6842706827960159442626732367726929196151762685000496539401840300427\ 150197387745*c_0101_5^4 + 75469433902671979954322915761236138659464\ 8589759980227595189447549636548352121868335108066957/42151828355168\ 4270682796015944262673236772692919615176268500049653940184030042715\ 0197387745*c_0101_5^3 - 9689998278033746094241286893518681058671453\ 17549604181663669491448082851785905489641485840919/4215182835516842\ 7068279601594426267323677269291961517626850004965394018403004271501\ 97387745*c_0101_5^2 - 749958894285661581396498809219747810270603715\ 40209580505685138647782074211485525255554824153/4215182835516842706\ 8279601594426267323677269291961517626850004965394018403004271501973\ 87745*c_0101_5 + 19848078094555187529163964868607410770145633273823\ 644953981305482591832094009664636422422184/421518283551684270682796\ 0159442626732367726929196151762685000496539401840300427150197387745\ , c_0101_0 - 798687155635874198558860613910547028486901795542891618831449\ 38401717063395137901633466567446/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 32 - 28870409765036664227646863065401035207913914980502747930435509\ 5838742099957161506709998947753/42151828355168427068279601594426267\ 32367726929196151762685000496539401840300427150197387745*c_0101_5^3\ 1 + 151123879810036493659636392250246753483520362029389984499613687\ 8113640363238222412283084350697/16860731342067370827311840637770506\ 92947090771678460705074000198615760736120170860078955098*c_0101_5^3\ 0 + 134810455065365512263974205386861539785117642817135135564074683\ 05711936158979831467147434473563/8430365671033685413655920318885253\ 464735453858392303525370000993078803680600854300394775490*c_0101_5^\ 29 - 10410730095140379585206937720770807130934495375745017820801854\ 6230601017874295085690654396942129/84303656710336854136559203188852\ 53464735453858392303525370000993078803680600854300394775490*c_0101_\ 5^28 - 120945955007156295254368600632316231127901667238361338652862\ 859891769929480119059039258351068961/843036567103368541365592031888\ 5253464735453858392303525370000993078803680600854300394775490*c_010\ 1_5^27 + 1452445511138786114777816882541356374914410334399145221456\ 36913017758484975340462354105358701587/1686073134206737082731184063\ 777050692947090771678460705074000198615760736120170860078955098*c_0\ 101_5^26 + 32418259434911280895532483321286847130524288902835542342\ 2464738521036962018285189627656462885106/42151828355168427068279601\ 59442626732367726929196151762685000496539401840300427150197387745*c\ _0101_5^25 - 142509773772835459904875745655901606311435830054958973\ 6815296879262610131371208479357625560140692/42151828355168427068279\ 6015944262673236772692919615176268500049653940184030042715019738774\ 5*c_0101_5^24 - 204902874173172660343397313017865250360894035450317\ 2538982970220991139059048958181157480637001679/84303656710336854136\ 5592031888525346473545385839230352537000099307880368060085430039477\ 5490*c_0101_5^23 + 851252194499457230512804193991619119052091420268\ 3878424186785987062334310502990917163255355983211/84303656710336854\ 1365592031888525346473545385839230352537000099307880368060085430039\ 4775490*c_0101_5^22 + 621912909362522674152545182529215475356516045\ 750341165050909894766505841176517524193190591489867/168607313420673\ 7082731184063777050692947090771678460705074000198615760736120170860\ 078955098*c_0101_5^21 - 1232684981074354376567651848898754761938275\ 6166925859679759151345818477079238757153167711594728289/42151828355\ 1684270682796015944262673236772692919615176268500049653940184030042\ 7150197387745*c_0101_5^20 - 323003985695516947570228425643915678217\ 2372833779986334808410180242182910421217787523646569081473/42151828\ 3551684270682796015944262673236772692919615176268500049653940184030\ 0427150197387745*c_0101_5^19 + 586139751605034602133759434547496043\ 33291425402548617728046774666318604599573871917481320805631223/8430\ 3656710336854136559203188852534647354538583923035253700009930788036\ 80600854300394775490*c_0101_5^18 + 1484255018249294106656059851672091126903898993327000086413161805323\ 2487999882329823410481578000071/42151828355168427068279601594426267\ 32367726929196151762685000496539401840300427150197387745*c_0101_5^1\ 7 - 431215301561267235755642284928178960948540639817087963371342386\ 02155479700053119801574096601364481/4215182835516842706827960159442\ 626732367726929196151762685000496539401840300427150197387745*c_0101\ _5^16 - 69885297426417687757600306298061415034348268824101950714571\ 116016960558604371124819612580299285769/843036567103368541365592031\ 8885253464735453858392303525370000993078803680600854300394775490*c_\ 0101_5^15 + 6115005084743826568866472645218445129059743350438139895\ 709393196068098630643615114216775680523268/843036567103368541365592\ 031888525346473545385839230352537000099307880368060085430039477549*\ c_0101_5^14 + 64121888600492192659988156431640055030468995055256141\ 11375989891085362695675207139177050340641329/8430365671033685413655\ 9203188852534647354538583923035253700009930788036806008543003947754\ 9*c_0101_5^13 - 122042802883699820649934286878995278415052750516557\ 71714030820797115500410747958926695930018233192/4215182835516842706\ 8279601594426267323677269291961517626850004965394018403004271501973\ 87745*c_0101_5^12 - 12913679382341766527606565883266463207811153571\ 964879452164813525202298924599807380619051957642712/421518283551684\ 2706827960159442626732367726929196151762685000496539401840300427150\ 197387745*c_0101_5^11 + 1240508201517196276035532080593303017770390\ 8057043528234024794046893894574734280472181058702209333/84303656710\ 3368541365592031888525346473545385839230352537000099307880368060085\ 4300394775490*c_0101_5^10 + 416590362803771560118544967657418547694\ 8718263303539422663000116468760955652714583124432280856139/42151828\ 3551684270682796015944262673236772692919615176268500049653940184030\ 0427150197387745*c_0101_5^9 - 3408507803297838266448567984861003562\ 620701058938774928005349613607831655987473091647143135064269/843036\ 5671033685413655920318885253464735453858392303525370000993078803680\ 600854300394775490*c_0101_5^8 - 12753242820564614725346340887164718\ 44116357543489776459186599459776048266062584639653306303810619/8430\ 3656710336854136559203188852534647354538583923035253700009930788036\ 80600854300394775490*c_0101_5^7 + 692945266724575613409959557596621\ 587846404799883804124263627451999098815718571800427140614759623/843\ 0365671033685413655920318885253464735453858392303525370000993078803\ 680600854300394775490*c_0101_5^6 + 2503875790703958180678244531010626956558006681544456186199427468884\ 5772444368833777183628850367/84303656710336854136559203188852534647\ 35453858392303525370000993078803680600854300394775490*c_0101_5^5 - 6722440562840238125707660186967550982127751128197824236770045581084\ 7412287449561625760150143099/42151828355168427068279601594426267323\ 67726929196151762685000496539401840300427150197387745*c_0101_5^4 + 8423679583843733408905606556123103171404112045886865458634357590531\ 65809119834337748133822137/8430365671033685413655920318885253464735\ 453858392303525370000993078803680600854300394775490*c_0101_5^3 + 6462500300866873462411486535311786534580700845010381678183309682227\ 018938117009087669217940273/421518283551684270682796015944262673236\ 7726929196151762685000496539401840300427150197387745*c_0101_5^2 + 7923976167719898537262055322366665306841201653560891952634588930774\ 81777490235426270938995837/8430365671033685413655920318885253464735\ 453858392303525370000993078803680600854300394775490*c_0101_5 - 2315717934273503231671328133050606197457031828581824713715881663838\ 07206158751554656204466341/8430365671033685413655920318885253464735\ 453858392303525370000993078803680600854300394775490, c_0101_1 - 773807700782759179705812410198421083492368461243007823225892\ 88937171832259816848246067739564/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 32 - 21069150870030892645709694876811161443166211557780374183245073\ 8206412336298993532411252353642/42151828355168427068279601594426267\ 32367726929196151762685000496539401840300427150197387745*c_0101_5^3\ 1 + 766365599330716101914206765900137935343724783203396307350950091\ 066045378669524090460929043185/843036567103368541365592031888525346\ 473545385839230352537000099307880368060085430039477549*c_0101_5^30 + 3074106600957499100088771260736697899335504495859596365968536435860\ 626305346554172493320202951/421518283551684270682796015944262673236\ 7726929196151762685000496539401840300427150197387745*c_0101_5^29 - 5234131991942991205257771455032479564698153496821570997074113015229\ 9708238040165966516843568268/42151828355168427068279601594426267323\ 67726929196151762685000496539401840300427150197387745*c_0101_5^28 - 1156183853471990047213318239916877325325710201209207250235163535904\ 4162740352071045575489056412/42151828355168427068279601594426267323\ 67726929196151762685000496539401840300427150197387745*c_0101_5^27 + 7015627144009452517567507460302728277620174096071663823534610567706\ 4018814829054020122142335149/84303656710336854136559203188852534647\ 3545385839230352537000099307880368060085430039477549*c_0101_5^26 + 2995579860373463286558735732016799179756566864467268176572678864035\ 101771282793991229895102494/421518283551684270682796015944262673236\ 7726929196151762685000496539401840300427150197387745*c_0101_5^25 - 1308725158906061783572340744572056489564195064973456558569173973779\ 327855960899164382159175575213/421518283551684270682796015944262673\ 2367726929196151762685000496539401840300427150197387745*c_0101_5^24 + 14735677213931570153659366551875176731305893251452207587894489886\ 7342733607884583597573595971747/42151828355168427068279601594426267\ 32367726929196151762685000496539401840300427150197387745*c_0101_5^2\ 3 + 372001494746572525757936254672324180321724231236562003791904263\ 5681473066826071009784033104038357/42151828355168427068279601594426\ 26732367726929196151762685000496539401840300427150197387745*c_0101_\ 5^22 - 335703767761572079976029006853242915551751176329807266011876\ 570450413573458538082689364645160230/843036567103368541365592031888\ 525346473545385839230352537000099307880368060085430039477549*c_0101\ _5^21 - 96897245968729703376354337076939410860789098302590501411071\ 51303514424653490437982980569726392216/4215182835516842706827960159\ 442626732367726929196151762685000496539401840300427150197387745*c_0\ 101_5^20 + 48724625492590463992637507254000986973223967867482384737\ 77004765608586292135153151038970886250743/4215182835516842706827960\ 159442626732367726929196151762685000496539401840300427150197387745*\ c_0101_5^19 + 22186832054021573514696947900893207697349702106490640\ 489718118535044453923631887290519325626698656/421518283551684270682\ 7960159442626732367726929196151762685000496539401840300427150197387\ 745*c_0101_5^18 - 3662298876155681947570806330707850906958348478305\ 020510410007011251187906345989502850933873551151/421518283551684270\ 6827960159442626732367726929196151762685000496539401840300427150197\ 387745*c_0101_5^17 - 3433820267824588408615399239509045138582097509\ 4068721427028402929341054403031609583670850869143474/42151828355168\ 4270682796015944262673236772692919615176268500049653940184030042715\ 0197387745*c_0101_5^16 - 559969538415789315189454655824385348491016\ 3703307411903868968631917840703082650620922180470300978/42151828355\ 1684270682796015944262673236772692919615176268500049653940184030042\ 7150197387745*c_0101_5^15 + 559040166680037298262662177613427596137\ 2646727302276535678764215764171237360343594658481802987821/84303656\ 7103368541365592031888525346473545385839230352537000099307880368060\ 085430039477549*c_0101_5^14 + 1481821488804498514179418293760894427\ 864769372920066523163328544707950946805750420183637728545619/843036\ 5671033685413655920318885253464735453858392303525370000993078803680\ 60085430039477549*c_0101_5^13 - 12604789995939206229538131358028360\ 536665862804328464543446600969075109257774303876687198671344323/421\ 5182835516842706827960159442626732367726929196151762685000496539401\ 840300427150197387745*c_0101_5^12 - 1707365827216153159605703223963650785509495468504488068172055248369\ 138402337505640338445335994213/421518283551684270682796015944262673\ 2367726929196151762685000496539401840300427150197387745*c_0101_5^11 + 47699483204418633668679526601320648902987709299515537960015804134\ 06325871475248296385865037410006/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 10 + 30182715559199492050017339187400581089002437151669180757777629\ 7776300904481843423609326337227111/42151828355168427068279601594426\ 26732367726929196151762685000496539401840300427150197387745*c_0101_\ 5^9 - 1010414284367885091755264512897532543993424856913520605106371\ 018880856847106422974284956560803398/421518283551684270682796015944\ 2626732367726929196151762685000496539401840300427150197387745*c_010\ 1_5^8 + 46249469220976114476857330043054223422855091592871485050832\ 932067889377538289213649326419088177/421518283551684270682796015944\ 2626732367726929196151762685000496539401840300427150197387745*c_010\ 1_5^7 + 12564293916646297126363004765708911406962827272290553683128\ 4967931369276900726255650044488063781/42151828355168427068279601594\ 42626732367726929196151762685000496539401840300427150197387745*c_01\ 01_5^6 - 3963987862573337424562967117628562771280566419276012798183\ 4112637604364908000395387977717695926/42151828355168427068279601594\ 42626732367726929196151762685000496539401840300427150197387745*c_01\ 01_5^5 - 1859427410686341637633977204196864771489748687919477673983\ 0090943349318327853105736777744149586/42151828355168427068279601594\ 42626732367726929196151762685000496539401840300427150197387745*c_01\ 01_5^4 + 4360169986473407119527245454923859948176790295942989396960\ 641522221569851448140155896713127619/421518283551684270682796015944\ 2626732367726929196151762685000496539401840300427150197387745*c_010\ 1_5^3 + 19261519933662249648685953306728057599185593388821288824362\ 19304557002832338124797229066592882/4215182835516842706827960159442\ 626732367726929196151762685000496539401840300427150197387745*c_0101\ _5^2 + 238646473446931050288590079409106378549610572102888526061139\ 38182254232400454717745481094049/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5 - 2933510939853879482668495727469741060229536267618304008411111614567\ 8599051635763530977454432/42151828355168427068279601594426267323677\ 26929196151762685000496539401840300427150197387745, c_0101_2 + 246200197271104019158091336014106447688255534550361437053757\ 113323642655543066985585710378808/421518283551684270682796015944262\ 6732367726929196151762685000496539401840300427150197387745*c_0101_5\ ^32 + 6970724603540999396149686474263758362417968883519902350092105\ 30654062870633006906069542879984/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 31 - 24244650108293723730748836885213836217771952498245113564426470\ 88861536897802409404282418005244/8430365671033685413655920318885253\ 46473545385839230352537000099307880368060085430039477549*c_0101_5^3\ 0 - 111118369389217896807623640880657930639938135285004787645188572\ 18606533286271924698937658151817/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 29 + 16564777341743640547134254984377480384025161735732505288338248\ 3702708781475388798761580985787296/42151828355168427068279601594426\ 26732367726929196151762685000496539401840300427150197387745*c_0101_\ 5^28 + 549201903211025608249328072622957485380732822687515408834143\ 52826008098920784704085062608095399/4215182835516842706827960159442\ 626732367726929196151762685000496539401840300427150197387745*c_0101\ _5^27 - 22290268013585472495859838285861142873484525395372424532526\ 7107113910624967826913384263557447203/84303656710336854136559203188\ 8525346473545385839230352537000099307880368060085430039477549*c_010\ 1_5^26 - 1301133576905308134978782726291447981455192400121868324938\ 10204591790601306151379520088676024103/4215182835516842706827960159\ 442626732367726929196151762685000496539401840300427150197387745*c_0\ 101_5^25 + 41792209770722084835141936243660054436950088763320053282\ 70767803929108626101336565436804113576886/4215182835516842706827960\ 159442626732367726929196151762685000496539401840300427150197387745*\ c_0101_5^24 - 24033193682258938324744060223457385697680525624682616\ 228561484278896546923141132132215116417229/421518283551684270682796\ 0159442626732367726929196151762685000496539401840300427150197387745\ *c_0101_5^23 - 1194786262409061738832404024588976266381135107995139\ 0375990276375574879037616315504999544321578754/42151828355168427068\ 2796015944262673236772692919615176268500049653940184030042715019738\ 7745*c_0101_5^22 + 818008022987768216828610674980071201851263072421\ 592975357196276629082382241192673700859448991275/843036567103368541\ 3655920318885253464735453858392303525370000993078803680600854300394\ 77549*c_0101_5^21 + 31581335308482550764502224058557819438915609268\ 042589322954415901313838732704119290334265540951012/421518283551684\ 2706827960159442626732367726929196151762685000496539401840300427150\ 197387745*c_0101_5^20 - 1231130750376988972719180084334939445596185\ 7454741631286380626372876041963925300948051240165497391/42151828355\ 1684270682796015944262673236772692919615176268500049653940184030042\ 7150197387745*c_0101_5^19 - 726964951871081634509885329165181581465\ 91121007432904744330600739319032060974988538529665798584787/4215182\ 8355168427068279601594426267323677269291961517626850004965394018403\ 00427150197387745*c_0101_5^18 + 44256342973743114036695347011989742\ 51289306503645481834592831110864426642160967471849720457856657/4215\ 1828355168427068279601594426267323677269291961517626850004965394018\ 40300427150197387745*c_0101_5^17 + 1114693929828245308115210910933247520982602862365880524222814892961\ 88330535186424583000653927822443/4215182835516842706827960159442626\ 732367726929196151762685000496539401840300427150197387745*c_0101_5^\ 16 + 29008596689106202767072513711515460105544568274150400878140576\ 013947140689258969406020701009036376/421518283551684270682796015944\ 2626732367726929196151762685000496539401840300427150197387745*c_010\ 1_5^15 - 1771891249543071282567902985746353780761562959243056843428\ 6185124917291421613627760890576114094995/84303656710336854136559203\ 1888525346473545385839230352537000099307880368060085430039477549*c_\ 0101_5^14 - 6545639510282593481354226444235316210495924737775777830\ 927174300466153517741816316833590584489551/843036567103368541365592\ 031888525346473545385839230352537000099307880368060085430039477549*\ c_0101_5^13 + 39105728851501859052637160609520614152609306993857452\ 357885468297173320968283451762067541211910891/421518283551684270682\ 7960159442626732367726929196151762685000496539401840300427150197387\ 745*c_0101_5^12 + 9555980279281616300603194214091672227788142191003\ 376570577803275937070998134312918052113802937446/421518283551684270\ 6827960159442626732367726929196151762685000496539401840300427150197\ 387745*c_0101_5^11 - 1543067049319400164925615615601424389569029010\ 8406733040141614398502045114047521723074654057518157/42151828355168\ 4270682796015944262673236772692919615176268500049653940184030042715\ 0197387745*c_0101_5^10 - 244238828999102792526841632919815937651450\ 2019874996515491560933493561469308141816694653099876572/42151828355\ 1684270682796015944262673236772692919615176268500049653940184030042\ 7150197387745*c_0101_5^9 + 3393408690498222258296173710539854964416\ 701874331063115862295858744192259822451407793713426530676/421518283\ 5516842706827960159442626732367726929196151762685000496539401840300\ 427150197387745*c_0101_5^8 + 10889658864470196380193130571747533539\ 1006225308822168781480590309474814329693758400641860284286/42151828\ 3551684270682796015944262673236772692919615176268500049653940184030\ 0427150197387745*c_0101_5^7 - 4772353918854770328199312263540767255\ 84420802968851775242308443683175186373213529948431469949837/4215182\ 8355168427068279601594426267323677269291961517626850004965394018403\ 00427150197387745*c_0101_5^6 + 104991772651019017581137394236349003\ 645284403945411059204470208093820296573588172752972389926952/421518\ 2835516842706827960159442626732367726929196151762685000496539401840\ 300427150197387745*c_0101_5^5 + 76492957604836768213270999240897948\ 913250323860122241271065586454715154456791083417253567471812/421518\ 2835516842706827960159442626732367726929196151762685000496539401840\ 300427150197387745*c_0101_5^4 - 12048397311971932296268318297991834\ 734330221865846771776520603222447747054584255888556279243683/421518\ 2835516842706827960159442626732367726929196151762685000496539401840\ 300427150197387745*c_0101_5^3 - 75420207506940857817154562469626023\ 89067974391537916412946055351112104743817490579511153898289/4215182\ 8355168427068279601594426267323677269291961517626850004965394018403\ 00427150197387745*c_0101_5^2 - 175681241523983023602451169566431508\ 337051050886062491261619028186740682302485201250038576333/421518283\ 5516842706827960159442626732367726929196151762685000496539401840300\ 427150197387745*c_0101_5 + 1213051124492481036190473763427086895126\ 57306354883376822201963105716164058115196413434768994/4215182835516\ 8427068279601594426267323677269291961517626850004965394018403004271\ 50197387745, c_0101_5^33 + 5/2*c_0101_5^32 - 201/4*c_0101_5^31 - 29*c_0101_5^30 + 1383/2*c_0101_5^29 + 2*c_0101_5^28 - 9303/2*c_0101_5^27 + 3901/4*c_0101_5^26 + 17485*c_0101_5^25 - 23271/4*c_0101_5^24 - 99443/2*c_0101_5^23 + 33194*c_0101_5^22 + 504731/4*c_0101_5^21 - 190243/2*c_0101_5^20 - 1148827/4*c_0101_5^19 + 491909/4*c_0101_5^18 + 931823/2*c_0101_5^17 - 165219/4*c_0101_5^16 - 1715979/4*c_0101_5^15 - 10200*c_0101_5^14 + 228457*c_0101_5^13 - 28663/2*c_0101_5^12 - 349425/4*c_0101_5^11 + 51077/4*c_0101_5^10 + 84231/4*c_0101_5^9 - 5029*c_0101_5^8 - 5555/2*c_0101_5^7 + 2657/2*c_0101_5^6 + 853/4*c_0101_5^5 - 817/4*c_0101_5^4 - 65/4*c_0101_5^3 + 57/4*c_0101_5^2 + c_0101_5 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB