Magma V2.19-8 Tue Aug 20 2013 16:16:13 on localhost [Seed = 4155927350] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0480 geometric_solution 4.50396985 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 2 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.653951928958 0.425326423494 0 3 3 0 0132 0132 1023 3201 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 -1 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 0 0 0 1.076009392758 0.168288401285 2 0 2 0 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.093220303585 0.188514902536 4 1 1 5 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.898749738646 0.310479598179 3 5 6 5 0132 0321 0132 2031 0 0 0 0 0 -1 0 1 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.637989167979 0.580394134970 6 4 3 4 1023 1302 0132 0321 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.637989167979 0.580394134970 6 5 6 4 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 -1 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.402329756756 0.614132517622 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : negation(d['c_0011_2']), 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_2']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0011_0'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0011_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : d['c_0101_1'], '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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 140650298690702551619171538334273404839726501183/420872778109491879\ 915633231385547368413724922240*c_0101_4^35 - 2544519733399917445217669369610066174078460184567/42087277810949187\ 9915633231385547368413724922240*c_0101_4^34 + 5298209710353094109701554802112584573587786824031/10521819452737296\ 9978908307846386842103431230560*c_0101_4^33 - 4156821057090465867572042958243986851447544027261/16187414542672764\ 612139739668674898785143266240*c_0101_4^32 + 188556830007291761337767872847004884858560528107049/210436389054745\ 939957816615692773684206862461120*c_0101_4^31 - 944210970847187540806715507511164514843240862835527/420872778109491\ 879915633231385547368413724922240*c_0101_4^30 + 169366341555507703667133319936723536600597964515101/420872778109491\ 87991563323138554736841372492224*c_0101_4^29 - 985458722543891118860621330508797791818692777494533/210436389054745\ 939957816615692773684206862461120*c_0101_4^28 + 620828685317112866248602452350129730005417935418893/420872778109491\ 879915633231385547368413724922240*c_0101_4^27 + 641108232292905074467672672078453086903978795620571/841745556218983\ 75983126646277109473682744984448*c_0101_4^26 - 8751494292807269365052005415500936259215244690224197/42087277810949\ 1879915633231385547368413724922240*c_0101_4^25 + 6537750404773465572382709756416177082780091984811917/21043638905474\ 5939957816615692773684206862461120*c_0101_4^24 - 12353983988248637622909450976907007512233146416772147/4208727781094\ 91879915633231385547368413724922240*c_0101_4^23 + 359118638864720454951926396070403846835931197667141/323748290853455\ 29224279479337349797570286532480*c_0101_4^22 + 786031187224070632076271700120958341160112704224145/420872778109491\ 87991563323138554736841372492224*c_0101_4^21 - 3928076983159377760327649507555947794631704720548787/84174555621898\ 375983126646277109473682744984448*c_0101_4^20 + 12391845237299320849061604103579775988535288768755999/2104363890547\ 45939957816615692773684206862461120*c_0101_4^19 - 20652803832074706666389080834479389224480464063645629/4208727781094\ 91879915633231385547368413724922240*c_0101_4^18 + 89883198460063798659545002054005811854894821791231/4046853635668191\ 153034934917168724696285816560*c_0101_4^17 + 735650250506362534874659248986689069179904749772263/841745556218983\ 75983126646277109473682744984448*c_0101_4^16 - 3200297027073118033861404616512734950318289977454247/10521819452737\ 2969978908307846386842103431230560*c_0101_4^15 + 47368874186513492406290989960922619889274410366191/1315227431592162\ 124736353848079835526292890382*c_0101_4^14 - 11610843430416169525814928732628664925179850597102623/4208727781094\ 91879915633231385547368413724922240*c_0101_4^13 + 2719063045651536534260002899453342122786435255731563/21043638905474\ 5939957816615692773684206862461120*c_0101_4^12 - 1752837472348269228726216536393692846745969401983/32374829085345529\ 224279479337349797570286532480*c_0101_4^11 - 1411864364821546249398210856687621253954914616019363/21043638905474\ 5939957816615692773684206862461120*c_0101_4^10 + 3134297244259250175140860550853371156963948972177713/42087277810949\ 1879915633231385547368413724922240*c_0101_4^9 - 2027697476292244359768420171804670722269406756360181/42087277810949\ 1879915633231385547368413724922240*c_0101_4^8 + 154785275872666283583462109282897133638552694234821/841745556218983\ 75983126646277109473682744984448*c_0101_4^7 + 2041412009236453284942624989471132103591386311179/84174555621898375\ 983126646277109473682744984448*c_0101_4^6 - 64279606332970568235373476140048076808202421909281/1052181945273729\ 69978908307846386842103431230560*c_0101_4^5 + 181060183101086543473068584024453939057710953953133/420872778109491\ 879915633231385547368413724922240*c_0101_4^4 - 77044342785182881148490295885181624744621455656327/4208727781094918\ 79915633231385547368413724922240*c_0101_4^3 + 4665933563325458187836440211781486176083476183821/21043638905474593\ 9957816615692773684206862461120*c_0101_4^2 + 852006746333395461137444361515555612364707893303/210436389054745939\ 957816615692773684206862461120*c_0101_4 - 1020969365288533359144423018228195655799637852571/42087277810949187\ 9915633231385547368413724922240, c_0011_0 - 1, c_0011_2 + 2473126123994165491235474204181148351905975/1011713408917047\ 78825873372929218117407145414*c_0101_4^35 - 41858205504543375759479358428859350027368973/1011713408917047788258\ 73372929218117407145414*c_0101_4^34 + 319891812589531020248575559758643723496901019/101171340891704778825\ 873372929218117407145414*c_0101_4^33 - 727887074497690864606053411780655555108019371/505856704458523894129\ 36686464609058703572707*c_0101_4^32 + 2167606321711697536869549578282466515065309440/50585670445852389412\ 936686464609058703572707*c_0101_4^31 - 8484473205108133353803828733064366837734617335/10117134089170477882\ 5873372929218117407145414*c_0101_4^30 + 4571567203254357423652102611406658311265904178/50585670445852389412\ 936686464609058703572707*c_0101_4^29 + 1559404691297284485958978177722366625979163697/50585670445852389412\ 936686464609058703572707*c_0101_4^28 - 34746119958837058935318074305990576660128299449/1011713408917047788\ 25873372929218117407145414*c_0101_4^27 + 37524268295564989364536340906822855084237251599/5058567044585238941\ 2936686464609058703572707*c_0101_4^26 - 90147932771796520674454856129107923731296869293/1011713408917047788\ 25873372929218117407145414*c_0101_4^25 + 20761678579688619574069072828037993596853562823/5058567044585238941\ 2936686464609058703572707*c_0101_4^24 + 38045444137015726636475056478272452443725310044/5058567044585238941\ 2936686464609058703572707*c_0101_4^23 - 210829336204953965292842848159951284328869416255/101171340891704778\ 825873372929218117407145414*c_0101_4^22 + 137832599777508682839399884836809031321136207913/505856704458523894\ 12936686464609058703572707*c_0101_4^21 - 208156495614364270384122196651441265583644851945/101171340891704778\ 825873372929218117407145414*c_0101_4^20 + 20955599882641718358467414878269991202287857157/1011713408917047788\ 25873372929218117407145414*c_0101_4^19 + 198960419664064626714607670118166572473782753007/101171340891704778\ 825873372929218117407145414*c_0101_4^18 - 341770778487889943946688195306305274435058249049/101171340891704778\ 825873372929218117407145414*c_0101_4^17 + 339682369152465708122726233426761370998692793099/101171340891704778\ 825873372929218117407145414*c_0101_4^16 - 203619796887264358205312940869346565863529453521/101171340891704778\ 825873372929218117407145414*c_0101_4^15 + 11359713728543692980244949296277716733226060173/1011713408917047788\ 25873372929218117407145414*c_0101_4^14 + 142796564359198893064038079640293992651116888605/101171340891704778\ 825873372929218117407145414*c_0101_4^13 - 100974130415773642899435709300111229946127602735/505856704458523894\ 12936686464609058703572707*c_0101_4^12 + 168373342168665121225459669319115652086430995567/101171340891704778\ 825873372929218117407145414*c_0101_4^11 - 86363101199154504802541624972539058833469522589/1011713408917047788\ 25873372929218117407145414*c_0101_4^10 + 7188994102323562527137899628275151779519576899/10117134089170477882\ 5873372929218117407145414*c_0101_4^9 + 18974058349667443622150460390205642715983143907/5058567044585238941\ 2936686464609058703572707*c_0101_4^8 - 44527696813901779817076194465298553415907629021/1011713408917047788\ 25873372929218117407145414*c_0101_4^7 + 30075761674163424042849556191725174529674898555/1011713408917047788\ 25873372929218117407145414*c_0101_4^6 - 5997705153524947794371387703408942829930102450/50585670445852389412\ 936686464609058703572707*c_0101_4^5 - 276917915956004837762388576750488236469057807/101171340891704778825\ 873372929218117407145414*c_0101_4^4 + 3513308581894318939977613289725648866564586337/10117134089170477882\ 5873372929218117407145414*c_0101_4^3 - 1485379367717834533697679171015328863993260867/50585670445852389412\ 936686464609058703572707*c_0101_4^2 + 1177204365491752282057924453284389933547918681/10117134089170477882\ 5873372929218117407145414*c_0101_4 - 248538948426391648415039663942249071984613963/101171340891704778825\ 873372929218117407145414, c_0011_5 + 656787418728676918462872789779720134738727/40468536356681911\ 5303493491716872469628581656*c_0101_4^35 - 11924238451144610045403036611324587448233511/4046853635668191153034\ 93491716872469628581656*c_0101_4^34 + 25098376707678505240777147163507839128791209/1011713408917047788258\ 73372929218117407145414*c_0101_4^33 - 260678945811752066206045205501414183874789967/202342681783409557651\ 746745858436234814290828*c_0101_4^32 + 932564051104345930781798660741257632522108999/202342681783409557651\ 746745858436234814290828*c_0101_4^31 - 4818164312592790474590553469268724581155278155/40468536356681911530\ 3493491716872469628581656*c_0101_4^30 + 4494408356147658800515403533353184026867991595/20234268178340955765\ 1746745858436234814290828*c_0101_4^29 - 5555321938919213602271528450047813520241454583/20234268178340955765\ 1746745858436234814290828*c_0101_4^28 + 4772415236307700386786356726593323284076790625/40468536356681911530\ 3493491716872469628581656*c_0101_4^27 + 15614558917362500196946077401821288451955912283/4046853635668191153\ 03493491716872469628581656*c_0101_4^26 - 47263486183691322929346494200969823606447854213/4046853635668191153\ 03493491716872469628581656*c_0101_4^25 + 37133080246082859984669824076075728340499076921/2023426817834095576\ 51746745858436234814290828*c_0101_4^24 - 73398830156042489571586977354814982661268065747/4046853635668191153\ 03493491716872469628581656*c_0101_4^23 + 30354532176977399570022981608535456281720681637/4046853635668191153\ 03493491716872469628581656*c_0101_4^22 + 22586905738570547162132560830858873083467074263/2023426817834095576\ 51746745858436234814290828*c_0101_4^21 - 119648181469811974957709893514064159209138929811/404685363566819115\ 303493491716872469628581656*c_0101_4^20 + 76987388389125485965860069597200208363867512181/2023426817834095576\ 51746745858436234814290828*c_0101_4^19 - 127746704615367947043656444258780185115194158133/404685363566819115\ 303493491716872469628581656*c_0101_4^18 + 6537798936595123910759813133997404208664012570/50585670445852389412\ 936686464609058703572707*c_0101_4^17 + 36021885229099264772048036550632507003891701343/4046853635668191153\ 03493491716872469628581656*c_0101_4^16 - 12162943983238432461618895580234481214937555187/5058567044585238941\ 2936686464609058703572707*c_0101_4^15 + 13734494765396982556762254105674826056744896071/5058567044585238941\ 2936686464609058703572707*c_0101_4^14 - 79125568473971792092517564927400253230590360723/4046853635668191153\ 03493491716872469628581656*c_0101_4^13 + 14723277644677483327256109996870965374340277961/2023426817834095576\ 51746745858436234814290828*c_0101_4^12 + 12728818681742838337524904860057959787826112057/4046853635668191153\ 03493491716872469628581656*c_0101_4^11 - 16364948952722355561230551097989214725381457353/2023426817834095576\ 51746745858436234814290828*c_0101_4^10 + 31039212969032231373775540641627407107741482689/4046853635668191153\ 03493491716872469628581656*c_0101_4^9 - 17845174140307269784691193594413869654444400229/4046853635668191153\ 03493491716872469628581656*c_0101_4^8 + 4366896183484733363033463137051676189534813229/40468536356681911530\ 3493491716872469628581656*c_0101_4^7 + 3361614793882422493792865228061606713526575915/40468536356681911530\ 3493491716872469628581656*c_0101_4^6 - 620857841797027644853081546695310640703861687/505856704458523894129\ 36686464609058703572707*c_0101_4^5 + 3249191119517083802175148503814814269719328753/40468536356681911530\ 3493491716872469628581656*c_0101_4^4 - 1122729235320411970134133168092115186568923939/40468536356681911530\ 3493491716872469628581656*c_0101_4^3 - 38681074440691194541348064269619780676065601/2023426817834095576517\ 46745858436234814290828*c_0101_4^2 - 35351641807891069962519952389676505825398471/2023426817834095576517\ 46745858436234814290828*c_0101_4 - 399225309312820776569637437395260475282477131/404685363566819115303\ 493491716872469628581656, c_0101_0 + 4421864061665274812987349653750649866651141/2023426817834095\ 57651746745858436234814290828*c_0101_4^35 - 81662272471111607274341511409826556989996761/2023426817834095576517\ 46745858436234814290828*c_0101_4^34 + 348140244377195986321026014518479404321236123/101171340891704778825\ 873372929218117407145414*c_0101_4^33 - 911395140068853918093589526559359236717490639/505856704458523894129\ 36686464609058703572707*c_0101_4^32 + 6549945043496307158316636619385695755574961887/10117134089170477882\ 5873372929218117407145414*c_0101_4^31 - 33907364107883317207052018819568587269741019431/2023426817834095576\ 51746745858436234814290828*c_0101_4^30 + 31656748719931119539709069764418625387123019183/1011713408917047788\ 25873372929218117407145414*c_0101_4^29 - 19587986233059559908888785269948246418451105815/5058567044585238941\ 2936686464609058703572707*c_0101_4^28 + 33962670303621128910401512328579098534678403399/2023426817834095576\ 51746745858436234814290828*c_0101_4^27 + 109156722047081017518452557016387804912664682441/202342681783409557\ 651746745858436234814290828*c_0101_4^26 - 331478324534934996540563836352890777810200439569/202342681783409557\ 651746745858436234814290828*c_0101_4^25 + 130314097642733132110239315154931720314350405827/505856704458523894\ 12936686464609058703572707*c_0101_4^24 - 515382396881196281923213704820973298117880686061/202342681783409557\ 651746745858436234814290828*c_0101_4^23 + 213818974853157682587189631592509794359536604779/202342681783409557\ 651746745858436234814290828*c_0101_4^22 + 78557797940587955525316634047669912503549843884/5058567044585238941\ 2936686464609058703572707*c_0101_4^21 - 832616662395442684083694784968535228693483565281/202342681783409557\ 651746745858436234814290828*c_0101_4^20 + 534403488516613677840527818780835296994436312117/101171340891704778\ 825873372929218117407145414*c_0101_4^19 - 884296705295616948910301822628773113880514048785/202342681783409557\ 651746745858436234814290828*c_0101_4^18 + 90667219684062609744481050100412690171239423864/5058567044585238941\ 2936686464609058703572707*c_0101_4^17 + 242370789678060148062062025421275060598815826473/202342681783409557\ 651746745858436234814290828*c_0101_4^16 - 164440097790304638888567563419092075026736107718/505856704458523894\ 12936686464609058703572707*c_0101_4^15 + 184958921341355015948452967440168056293517634934/505856704458523894\ 12936686464609058703572707*c_0101_4^14 - 530580134020895645568998035745720918879611678629/202342681783409557\ 651746745858436234814290828*c_0101_4^13 + 49665967678130123905395787888132951523139372505/5058567044585238941\ 2936686464609058703572707*c_0101_4^12 + 78470995470296154115085576481219292775364414127/2023426817834095576\ 51746745858436234814290828*c_0101_4^11 - 103402682349654331259813647550561622216666776489/101171340891704778\ 825873372929218117407145414*c_0101_4^10 + 194451212470827598790644866156286542665328208453/202342681783409557\ 651746745858436234814290828*c_0101_4^9 - 110023262433901399337645705975161582699782705071/202342681783409557\ 651746745858436234814290828*c_0101_4^8 + 26880933140785990321901359374841766684560497027/2023426817834095576\ 51746745858436234814290828*c_0101_4^7 + 18556774625095284156634339551336844771593638111/2023426817834095576\ 51746745858436234814290828*c_0101_4^6 - 6731591775326961522854227529533942817204950147/50585670445852389412\ 936686464609058703572707*c_0101_4^5 + 16444534096126773989805294974283036289792798045/2023426817834095576\ 51746745858436234814290828*c_0101_4^4 - 5226774030522642617021948804107396177944141357/20234268178340955765\ 1746745858436234814290828*c_0101_4^3 - 185501722571148039347597260727177302212244045/505856704458523894129\ 36686464609058703572707*c_0101_4^2 + 316203120348703596298058044598382734462132240/505856704458523894129\ 36686464609058703572707*c_0101_4 - 557325177395390381208527004459248894869757669/202342681783409557651\ 746745858436234814290828, c_0101_1 + 229455490608783368113634519179325414879663/50585670445852389\ 412936686464609058703572707*c_0101_4^35 - 4324690110259979228728195525477704493690239/50585670445852389412936\ 686464609058703572707*c_0101_4^34 + 75358012962235759876148291009387963150508321/1011713408917047788258\ 73372929218117407145414*c_0101_4^33 - 403661525162210774559304284552326949568240011/101171340891704778825\ 873372929218117407145414*c_0101_4^32 + 743115460704074022499208184439772759361731158/505856704458523894129\ 36686464609058703572707*c_0101_4^31 - 1976447593199547970329848732970650799105296667/50585670445852389412\ 936686464609058703572707*c_0101_4^30 + 3818784691911267047238288887562368176238675949/50585670445852389412\ 936686464609058703572707*c_0101_4^29 - 5004487131661157324784730101840803941807502793/50585670445852389412\ 936686464609058703572707*c_0101_4^28 + 2824284077831671947484362946972832682394616950/50585670445852389412\ 936686464609058703572707*c_0101_4^27 + 10804116817535554882921193460276763327386671529/1011713408917047788\ 25873372929218117407145414*c_0101_4^26 - 38262943276922942919026690755600233090882692217/1011713408917047788\ 25873372929218117407145414*c_0101_4^25 + 32146770147540355345334251422982896426308912804/5058567044585238941\ 2936686464609058703572707*c_0101_4^24 - 68622706024059891119186611525739040054744932221/1011713408917047788\ 25873372929218117407145414*c_0101_4^23 + 36322431356008274772737598116489080152220088663/1011713408917047788\ 25873372929218117407145414*c_0101_4^22 + 13996639875324477789231435228339380038205047747/5058567044585238941\ 2936686464609058703572707*c_0101_4^21 - 48770232254484450574642446632084548667698574811/5058567044585238941\ 2936686464609058703572707*c_0101_4^20 + 137011795458647780285354673438097204941735023581/101171340891704778\ 825873372929218117407145414*c_0101_4^19 - 123975083320319259976195233920477822508696987057/101171340891704778\ 825873372929218117407145414*c_0101_4^18 + 63055419370499907616913780701373295042090670059/1011713408917047788\ 25873372929218117407145414*c_0101_4^17 + 16665957595634148208664716564528551271842915935/1011713408917047788\ 25873372929218117407145414*c_0101_4^16 - 78793447416210015281599215041248979070844990685/1011713408917047788\ 25873372929218117407145414*c_0101_4^15 + 49890367364606113929589574785334760739527880891/5058567044585238941\ 2936686464609058703572707*c_0101_4^14 - 79512681938284035096771807091779907184658869931/1011713408917047788\ 25873372929218117407145414*c_0101_4^13 + 18509550745879779683880493224411932322377498256/5058567044585238941\ 2936686464609058703572707*c_0101_4^12 + 1787247050325757918347022560942212584835723581/50585670445852389412\ 936686464609058703572707*c_0101_4^11 - 26419467360088330029020900628625702283288225605/1011713408917047788\ 25873372929218117407145414*c_0101_4^10 + 29100372504951311322841760353861733073833011029/1011713408917047788\ 25873372929218117407145414*c_0101_4^9 - 19125456373738854685502471000012707603540152865/1011713408917047788\ 25873372929218117407145414*c_0101_4^8 + 6721029767469777558525887403045627812237211313/10117134089170477882\ 5873372929218117407145414*c_0101_4^7 + 771716049440746692248936970926526884046658082/505856704458523894129\ 36686464609058703572707*c_0101_4^6 - 2128775299788437254331193802908891202815643678/50585670445852389412\ 936686464609058703572707*c_0101_4^5 + 1662015664523029716981581860828495677438127790/50585670445852389412\ 936686464609058703572707*c_0101_4^4 - 683669503023224872117336827760226362118870186/505856704458523894129\ 36686464609058703572707*c_0101_4^3 + 36497609817550598409552524039703134956331409/5058567044585238941293\ 6686464609058703572707*c_0101_4^2 + 195980317947646174276363185476358570296217565/101171340891704778825\ 873372929218117407145414*c_0101_4 - 193977415493323109646834546963269802689179061/101171340891704778825\ 873372929218117407145414, c_0101_3 + 94856541594637803941774898133668144709394/505856704458523894\ 12936686464609058703572707*c_0101_4^35 - 1807052486410721269692947448522205485916003/50585670445852389412936\ 686464609058703572707*c_0101_4^34 + 31633421183198939213548229040737685667936153/1011713408917047788258\ 73372929218117407145414*c_0101_4^33 - 84526444432840162287295873487369050241769103/5058567044585238941293\ 6686464609058703572707*c_0101_4^32 + 308093353038398811108389857749512177596581579/505856704458523894129\ 36686464609058703572707*c_0101_4^31 - 803825190643292200545604529244881975205077301/505856704458523894129\ 36686464609058703572707*c_0101_4^30 + 1503278704890106015478528954353709399751307509/50585670445852389412\ 936686464609058703572707*c_0101_4^29 - 1846718145489174034505702685593875377123248736/50585670445852389412\ 936686464609058703572707*c_0101_4^28 + 750228307457606055092389361432842175953783873/505856704458523894129\ 36686464609058703572707*c_0101_4^27 + 5400724139617212715602948500468594977720801727/10117134089170477882\ 5873372929218117407145414*c_0101_4^26 - 7972373216807901266895525102572533570000560209/50585670445852389412\ 936686464609058703572707*c_0101_4^25 + 12339245942867648766371281701486764747506769694/5058567044585238941\ 2936686464609058703572707*c_0101_4^24 - 23880625600378027499858309290457746553610755155/1011713408917047788\ 25873372929218117407145414*c_0101_4^23 + 4534108848769851426237899642071489889530855646/50585670445852389412\ 936686464609058703572707*c_0101_4^22 + 8060161881334931632976203089648145223920507614/50585670445852389412\ 936686464609058703572707*c_0101_4^21 - 20146715937513430375310389937186113993515220722/5058567044585238941\ 2936686464609058703572707*c_0101_4^20 + 50628722264299167159877378406028923188460730619/1011713408917047788\ 25873372929218117407145414*c_0101_4^19 - 20440951073751133805725173037981319849394197626/5058567044585238941\ 2936686464609058703572707*c_0101_4^18 + 15401844098095976671977177090603638081036041417/1011713408917047788\ 25873372929218117407145414*c_0101_4^17 + 6744823578551834620128398800342149490178704179/50585670445852389412\ 936686464609058703572707*c_0101_4^16 - 32773657063469617801159040507008139721196629869/1011713408917047788\ 25873372929218117407145414*c_0101_4^15 + 35822116366553252586170297182835140146649847841/1011713408917047788\ 25873372929218117407145414*c_0101_4^14 - 12477061335531845843375153470073591857883618376/5058567044585238941\ 2936686464609058703572707*c_0101_4^13 + 4238150821040359324530279146178683395854023841/50585670445852389412\ 936686464609058703572707*c_0101_4^12 + 2503077974614941974063907283977090877603977961/50585670445852389412\ 936686464609058703572707*c_0101_4^11 - 10988622809712872135782558410685364953392935633/1011713408917047788\ 25873372929218117407145414*c_0101_4^10 + 4995159154811462068028768064261749876453192237/50585670445852389412\ 936686464609058703572707*c_0101_4^9 - 5477815421503567279767165248436608505567219123/10117134089170477882\ 5873372929218117407145414*c_0101_4^8 + 559960854334626470988649370865598623597012893/505856704458523894129\ 36686464609058703572707*c_0101_4^7 + 619648463490543128768448946460598548442947965/505856704458523894129\ 36686464609058703572707*c_0101_4^6 - 818230431008284944668589421620933886588704936/505856704458523894129\ 36686464609058703572707*c_0101_4^5 + 501500106171772602623953422888455352806428787/505856704458523894129\ 36686464609058703572707*c_0101_4^4 - 158994843237552889740141019003359883962706694/505856704458523894129\ 36686464609058703572707*c_0101_4^3 + 25110744881582707134576447226313126609512934/5058567044585238941293\ 6686464609058703572707*c_0101_4^2 + 59963931042166813163027426498911311360488011/1011713408917047788258\ 73372929218117407145414*c_0101_4 - 48835884108668497078702511391015514191359210/5058567044585238941293\ 6686464609058703572707, c_0101_4^36 - 18*c_0101_4^35 + 149*c_0101_4^34 - 754*c_0101_4^33 + 2604*c_0101_4^32 - 6423*c_0101_4^31 + 11231*c_0101_4^30 - 12292*c_0101_4^29 + 1689*c_0101_4^28 + 25646*c_0101_4^27 - 62844*c_0101_4^26 + 87929*c_0101_4^25 - 74531*c_0101_4^24 + 12532*c_0101_4^23 + 77791*c_0101_4^22 - 152775*c_0101_4^21 + 171211*c_0101_4^20 - 120597*c_0101_4^19 + 25155*c_0101_4^18 + 69013*c_0101_4^17 - 120841*c_0101_4^16 + 115844*c_0101_4^15 - 69601*c_0101_4^14 + 13331*c_0101_4^13 + 26169*c_0101_4^12 - 38725*c_0101_4^11 + 30169*c_0101_4^10 - 13586*c_0101_4^9 + 458*c_0101_4^8 + 5290*c_0101_4^7 - 5133*c_0101_4^6 + 2543*c_0101_4^5 - 548*c_0101_4^4 - 345*c_0101_4^3 + 316*c_0101_4^2 - 135*c_0101_4 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB