Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 3482211081] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2223 geometric_solution 5.66470830 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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.386796549067 0.586531225634 3 2 4 0 0132 3012 0132 0132 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 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.687584458523 0.962928751114 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687584458523 0.962928751114 1 2 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578151435365 1.413330878209 6 2 6 1 0132 2310 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629295097294 1.520394417268 3 5 5 3 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.671870547295 0.451069844925 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.437679431106 0.170487278128 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 5209388498773962303932160854258371938490063419827579094162302636314\ 6073796311214/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^30 + 1456266132467271422790231170029232448903457994306352363488808513998\ 22231484031716/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^29 + 2061404625480472101519171527810072698543877842978542857917162939031\ 456464713492954/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^28 - 8434208619194577044490113266878093179449172196308753294545218637370\ 793388236131624/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^27 + 2747371441950517529431300311385707871013977340007200841195170658149\ 17078912140577/7106557313493435126246779130893436024037773796051288\ 932380127611533132783031*c_0101_4^26 + 8347610212890332763685662623066549294407036063753556006263908693347\ 9806514847072920/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^25 - 2662107688375403984634598145510311152843391437851991199851109178380\ 20524198599448336/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^24 + 3943964034964818746356262796715396947956909855210585024265163973605\ 7307337524517860/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^23 + 1106818104828196547345119014127380973844724662025028623977932438797\ 683860515759295900/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^22 - 1498920865810367441401264061942689094602246765601393344472244588012\ 377899783876142210/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^21 + 6276583505933901262191873058714532207889798583607893103042980448407\ 4984820905995748/71065573134934351262467791308934360240377737960512\ 88932380127611533132783031*c_0101_4^20 - 2207068455982397344501001747707675054183187907980315094493329365635\ 049429717631785823/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^19 + 4466734232460150389514959145617504614992015800549461418001988533607\ 323732648555657159/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^18 + 1435797062160392012090084144378507464571250010798563474781806925025\ 097466486828313326/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^17 - 8081276265242377386107527758944645439864709259065246271359164491701\ 067946367325309660/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^16 + 4469446412834715141629301079310663559225410266495179426399893139171\ 532239611240792736/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^15 + 2662232154657636385688887774361566524261030474441996360949314802895\ 03727765715867593/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^14 + 1959172908110260981095081165927862765077661935649141625585075836346\ 14658591366621801/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^13 + 1002934722706474219388983634713007496093269690994686409979180900901\ 521923638865353428/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^12 - 1897411404277711686607621362048516922127718228459388431170459628440\ 965541026006716234/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^11 - 5136666049395098101227727365833969075149410513713163266922913459193\ 753532540835507/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^10 + 2824323766149854487423556290979296299118148591345809146852721713783\ 3315423823095527/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^9 + 6929616144899742141650891625109342643770517025571927802787396657860\ 57844572466530321/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^8 - 1795906216582384505272785961278361032795769972267611599141216642576\ 0469577576338698/71065573134934351262467791308934360240377737960512\ 88932380127611533132783031*c_0101_4^7 - 1327053045852245151597080163380812225238974831726327181225392834535\ 28739191120799576/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^6 + 5637629254188779305382914051197539444578609566397872233509898897581\ 865308874259580/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^5 - 1421852396032881706663643512914382802726056188332790439845303830885\ 1707976720513259/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^4 + 1733507018892015455694453290500603659146878752772744587011912130541\ 5208387718042362/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^3 + 3432018866401581783121866347133005795633703521991431026300145118371\ 1888910119121/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^2 - 1803000621487461771987322636892125058293358475457906409285505856936\ 038182447948264/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4 + 2556916345835342851169103760615722667497848591656051263156362417504\ 30485336970447/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217, c_0011_0 - 1, c_0011_1 - 115318742409667243860545792230931284473566440195451092061814\ 64941491637375746/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^30 + 4391871320920807269014325184079396686381482384370149535528800105138\ 326272130/710655731349343512624677913089343602403777379605128893238\ 0127611533132783031*c_0101_4^29 + 458876642558055404430961524158671\ 948786641376009971654147770645009426923754498/497459011944540458837\ 27453916254052168264416572359022526660893280731929481217*c_0101_4^2\ 8 - 180463007253308746259178353264813779966613680484715131020025453\ 5074770201646330/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^27 + 2507172533457107233436135608890132928870564324797783275423301065099\ 46730308492/4974590119445404588372745391625405216826441657235902252\ 6660893280731929481217*c_0101_4^26 + 1832140618708381453259572808139778236311481395108460345907073506411\ 8954381735857/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^25 - 5663663385401736014526278899271584991923704439329508331002092818615\ 1687578592247/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^24 + 3624145501011865221269932564229956539266357730240485836408194170810\ 144038881157/497459011944540458837274539162540521682644165723590225\ 26660893280731929481217*c_0101_4^23 + 2397457265803808705784786002363145298893838169360231094799476505696\ 34907588571977/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^22 - 4337879524843478411101048795480691356638616875682131469534722075363\ 6824346905833/71065573134934351262467791308934360240377737960512889\ 32380127611533132783031*c_0101_4^21 + 8602875592415777317245039463245466700026116479480679183238510880405\ 6476934252868/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^20 - 7125618988269637985129263870240951127757522957217439489507080227983\ 5658905875945/71065573134934351262467791308934360240377737960512889\ 32380127611533132783031*c_0101_4^19 + 9224541893686890630993681969401994492354307178179161889165744830612\ 00635179262350/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^18 + 3744596443031695439823174738326870070073162017541251496500288349419\ 53350859313442/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^17 - 1662824397594144587237438063245754267330068083951907045671551257575\ 511319036091762/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^16 + 1237037192339503255823862629167372727164991226688661465072102074830\ 43872443699732/7106557313493435126246779130893436024037773796051288\ 932380127611533132783031*c_0101_4^15 + 1804119903271403262878558067434530902795019593681644862866140279381\ 4552035400297/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^14 + 6480228064261081198664332708517156956451766283438207595943728351755\ 2139812936402/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^13 + 2432948872588013552683852819269545030119420790914815855193110249760\ 87467565163297/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^12 - 3741865224955624743579721728579075673476461531351575543391430573334\ 69356525718712/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^11 - 9634943673720176296815962184514768198761249443425815642513875653275\ 673735336200/497459011944540458837274539162540521682644165723590225\ 26660893280731929481217*c_0101_4^10 - 1801276703672005868902884295864300240343357031537575665032434297453\ 3548456170123/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^9 + 1360283057962429123129393102159008411816124724390638553768400317338\ 06598611643391/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^8 - 2130344277742292960689193500252870993943550632146021173213556507024\ 1885175099234/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^7 - 3103208169407310075641925529235031954943641822701154104901393748054\ 293932475505/710655731349343512624677913089343602403777379605128893\ 2380127611533132783031*c_0101_4^6 + 1718522362048493329621727910791717106312355725988946560770953109811\ 689857395486/497459011944540458837274539162540521682644165723590225\ 26660893280731929481217*c_0101_4^5 - 3410265505642345583025547608555824235614243287073436871230851042186\ 946281204028/497459011944540458837274539162540521682644165723590225\ 26660893280731929481217*c_0101_4^4 + 3453367890660942460812690961726468157252071967728667643654532882244\ 303793472999/497459011944540458837274539162540521682644165723590225\ 26660893280731929481217*c_0101_4^3 - 2762651024905037693552288556214523782687714751323700605918756389469\ 3765260436/71065573134934351262467791308934360240377737960512889323\ 80127611533132783031*c_0101_4^2 - 525692658686242099838370250270516\ 07190428987889063083089636713394839010710513/7106557313493435126246\ 779130893436024037773796051288932380127611533132783031*c_0101_4 + 4151662776334759396420737286489677309201516437546858724216453867142\ 9659792895/49745901194454045883727453916254052168264416572359022526\ 660893280731929481217, c_0011_4 - 402498900974610624323903548483280658663686515916457845026466\ 468180721529093978/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^30 + 1659857877111131994311661814054000335264098096193076341672070397584\ 75317179175/7106557313493435126246779130893436024037773796051288932\ 380127611533132783031*c_0101_4^29 + 1583674490580172303414860478143183337644156814893402515304603397746\ 6425648339745/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^28 - 6664969594706778611331494733722198281760327564818212937908632596575\ 2816042928553/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^27 + 2031523874182607283024102801094552661659514244121696491730156200275\ 6447976508241/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^26 + 6454264464520160027342823426840055446061671889318665580474799364453\ 99580629426529/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^25 - 2115585552788947360916167065043090008224445230923542790156916790068\ 925837173232186/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^24 + 4729969397584155374635421335185168014519237190403856693974554075142\ 97400958777682/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^23 + 8579856033835858844538514699785180005521642151798116139003456689615\ 270609397170706/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^22 - 1764741915975790222266137560758643206171601910000978842592476769069\ 739580196721613/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^21 + 4196396377402119569648622067491628782025782230022089711319365901927\ 513506108877972/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^20 - 2441996015622518873938328609043410268162670161129624935605790721341\ 728956644244127/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^19 + 3604903970505326959331088580234530250717418012217732919195059556607\ 5155485577744977/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^18 + 8455357944586171762970368346425582777161828698683183972365663996404\ 663095958207696/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^17 - 6433190151919490859447505614542853691051069625733997890943779856327\ 8970169601769605/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^16 + 5659995852179706024803934682173717539046625151733092864215387119125\ 011439942561442/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^15 + 5900175178237050719454938738454859096549474987882190562190129406280\ 17636347666396/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^14 + 8161590763587282303259618556651488365457411387208584351290307427663\ 69523462306116/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^13 + 7397425859958081316962791282911944231040210778231352943821463989490\ 634199406987939/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^12 - 1548706196275990860918740690077073417737828799071508315102531919536\ 1547405055987794/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^11 + 1028310160591121552621960843416544033906573740711175586716127813189\ 547500387615112/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^10 + 5772039273132772259032642188680652855525712971663033146526880599208\ 97733516617800/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^9 + 5446192114538032836945318158422087981132056163534200572843912371651\ 128166090142342/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^8 - 1428930819285885545255088072594102949850870057012164868373533557761\ 195680974666876/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^7 - 1554945626205284183884693402124446116615643091542080775057175850921\ 72575546014396/7106557313493435126246779130893436024037773796051288\ 932380127611533132783031*c_0101_4^6 + 1190261274649151331911117370013669901683365658525401625072383683702\ 70039930136068/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^5 - 8943615082578964218177387652002401309789644097330931287919802008408\ 6800606753385/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^4 + 1506053204474027221648886716857558954448823559289907702812549256262\ 82763488257944/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^3 - 9420742607213076048535246259772481571608403370346989995516264655950\ 67723489945/7106557313493435126246779130893436024037773796051288932\ 380127611533132783031*c_0101_4^2 - 2330301438498642160869763402018167810320531112253270630751665053708\ 387589340434/710655731349343512624677913089343602403777379605128893\ 2380127611533132783031*c_0101_4 + 252918292381845720858269969402092\ 5546217875698725173715595723621112341325751582/49745901194454045883\ 727453916254052168264416572359022526660893280731929481217, c_0011_5 + 173342271619340418522014538664236098563718697485497676693027\ 1084476259200435057/49745901194454045883727453916254052168264416572\ 359022526660893280731929481217*c_0101_4^30 - 6813207839528676396109835404501571784389608340088912915299456363641\ 49557285082/7106557313493435126246779130893436024037773796051288932\ 380127611533132783031*c_0101_4^29 - 6878978127637033688187290590201916174593339519695210995699830301695\ 5933019898517/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^28 + 2775776663448307190425730784523935572060896569782553981262411455664\ 86765996343206/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^27 - 5230184751113899644588791328771260955213195073093436023887454726108\ 5714146338688/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^26 - 2777860648205173888006499856335956092095100655241715463833235765957\ 076862680193164/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^25 + 8735579432883246906211462139507044772784671958253163335799414517443\ 141696197089067/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^24 - 9491356233237689888725948278106504387016165764507796744093287618583\ 25700892729847/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^23 - 3680563086098666874125174064319728011855398786452974038734527254558\ 3724126626206123/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^22 + 6893932717881545519164407808726283960738073919785548270337294977232\ 497350175881134/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^21 - 1278432127490124159025867338594737411802237904750398202115982656966\ 7490581066346090/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^20 + 1045816231907008760134652714669555986985830890074474366792050578064\ 2826524631214231/71065573134934351262467791308934360240377737960512\ 88932380127611533132783031*c_0101_4^19 - 1454372540094291457099791603400916761694457235015101932612737329780\ 39780572208646255/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^18 - 5362127547795137671553082986430957183336309998328746408126293571795\ 7147360044654221/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^17 + 2654848745236611288022011901035825497171869181836255528487945887243\ 04978740428309412/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^16 - 1966266744724993284894187458977817144071281465786524336925230327361\ 2103759185657463/71065573134934351262467791308934360240377737960512\ 88932380127611533132783031*c_0101_4^15 - 1291148905248994971899527442655466600029291077888217518410692627183\ 3538034549571919/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^14 - 7807974665162497328078778922915832207856623647324642962441648471523\ 999321044502218/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^13 - 3398263295653575545606831366448035707206784971314557317111523966529\ 1089266716798671/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^12 + 6153922892645269166274823784222272670552230190106910801204673857421\ 0896917988445505/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^11 + 2596956449668119492879181809834450166647275169683098507610380462662\ 427991937723614/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^10 - 3830084886254761904912548884094419432959212216830231538176518534843\ 07704906180508/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^9 - 2296966386438139460075582452138697874613545867850913154698480548633\ 3903930857572495/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^8 + 3179627849090778836299969762550872944554438368690807679531377777089\ 980475335001360/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^7 + 6247839443821237770251045637651381128472035945924083757446338456208\ 56073971351416/7106557313493435126246779130893436024037773796051288\ 932380127611533132783031*c_0101_4^6 - 3957371757987341217498093340614600561421358016129381683314606118366\ 004730030016/497459011944540458837274539162540521682644165723590225\ 26660893280731929481217*c_0101_4^5 + 5092132780306603614917934351170552330725370525980076616169191989453\ 74273723880787/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^4 - 5478099012126780032869143401875954290287121647096105542886229425802\ 44468770347666/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^3 - 2887942818015744377175914614092571401313520431892104645398514794558\ 667611666066/710655731349343512624677913089343602403777379605128893\ 2380127611533132783031*c_0101_4^2 + 7932624373593771415380493071113463544276790198552317854205795543739\ 572978040175/710655731349343512624677913089343602403777379605128893\ 2380127611533132783031*c_0101_4 - 695822277021339839015062575610184\ 8123618299152149252918157685903664504930662519/49745901194454045883\ 727453916254052168264416572359022526660893280731929481217, c_0101_0 + 800066481040324396063519334634470313626426290152036953935150\ 529924295205464238/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^30 - 3223510070783736423531880512473427401722693943745424809074934368855\ 46628154343/7106557313493435126246779130893436024037773796051288932\ 380127611533132783031*c_0101_4^29 - 3161025682896973239367718758515964642030924506379742408398864029469\ 5634987417179/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^28 + 1303377411479121142343752753360673950874776553209748174281587429077\ 38981940156840/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^27 - 3249630384643143262811566298580937337787980189006379338488957014126\ 6098984690790/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^26 - 1282283365514662206525187448110816575465551433118451077122291476123\ 760424434515657/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^25 + 4120353035645370751553255136470296129463903571739561667462272648362\ 435735814723384/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^24 - 6969947259072690487393737084134664579252589315674708465414356549434\ 32591606469643/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^23 - 1701386958684622929150449675634409162221480491811432294502616953567\ 5420134141104771/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^22 + 3348513849030456383717854200625181255597391751318074113068143541486\ 683385411406317/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^21 - 7182775943622518853754911542437954053439972670972322278760851838161\ 884945544478727/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^20 + 4845254266965066655717065511718682351133520675304827917541603732893\ 957738793879321/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^19 - 6943428615607488398006879601103226624238977113991398689442939870140\ 3710056793614508/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^18 - 2061580045203287660207803108715933817035243350206599698537025181279\ 8346534676708958/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^17 + 1251435216663312339107512989088040002491984208339175523931279760171\ 41126293765171967/4974590119445404588372745391625405216826441657235\ 9022526660893280731929481217*c_0101_4^16 - 1020079971718933319669853533071736612650579579293602625659408415327\ 2028756674485215/71065573134934351262467791308934360240377737960512\ 88932380127611533132783031*c_0101_4^15 - 3305488111773769739810744369560088082831552683085782161957602843488\ 255716742227328/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^14 - 2625149004742435383391664332629752771242372210997319299908130736289\ 286435447489684/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^13 - 1520172140064161126804905596197197688870657573069244350527805930980\ 4249327866570034/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^12 + 2958736834720759539789122221816698519978189610123646305515588496590\ 2656745847750016/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^11 - 5015701020963670702516617555703967573993818277444554070920140485476\ 81046316580576/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^10 - 6354302111186521660743871232284630870387622204289780962194589367491\ 33758168353644/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^9 - 1069513234568574534528284237253108482746848322979009425811883193212\ 5519545933378215/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^8 + 2181668917289371647884530235990479032539272695033222778037526901501\ 514039260500081/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^7 + 2964306495913073290135933726597365271029273342652155820448564422174\ 09534578350196/7106557313493435126246779130893436024037773796051288\ 932380127611533132783031*c_0101_4^6 - 1261074880388249273490743833299010544749346483653665415724831722563\ 33561051627868/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^5 + 2064627615589188519854486410297391675763852708701144438296666768689\ 43975230910741/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^4 - 2755344294387768708173831606857932519779169751306990691258157629619\ 23477506814079/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^3 + 4115899591178443321677861132737583868644285798679277053104344817921\ 20711709189/7106557313493435126246779130893436024037773796051288932\ 380127611533132783031*c_0101_4^2 + 4142013620419342103069235053757251680472621183517277359191750047271\ 498645131844/710655731349343512624677913089343602403777379605128893\ 2380127611533132783031*c_0101_4 - 417093099689748807131155783964391\ 6133022349551094409566865472018297915996562180/49745901194454045883\ 727453916254052168264416572359022526660893280731929481217, c_0101_1 - 356166640158576251743521161782356757741580479117197705083305\ 296196889024389318/497459011944540458837274539162540521682644165723\ 59022526660893280731929481217*c_0101_4^30 + 1475133687752749941791457609792659954710748832297317125497624433227\ 48842695086/7106557313493435126246779130893436024037773796051288932\ 380127611533132783031*c_0101_4^29 + 1400289839015266791416287638778063498278403511105719859112350252119\ 5342248627858/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^28 - 5915673761359955127097746565781505724077740989996965264908451234713\ 9145011214274/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^27 + 1863194721356145292258173426887335704623287323983048245228824136745\ 4280899972871/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^26 + 5711818955807629070147086323736347311338744456441994933796803432351\ 27601849363170/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^25 - 1879103400554602173216846377753525972895419075551959730956572535136\ 014291338843545/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^24 + 4387748282551217231890226745171992545246945918466608148766035550109\ 35197713213981/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^23 + 7595391213311949266553184221088896868660788909248300429369199921060\ 415454471124385/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^22 - 1574689286182096049664735765335009035993361327592983268436212554129\ 475072198526795/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^21 + 3809213210272923660574391844878680624553774768688623862738366580182\ 675199951388662/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^20 - 2162453770392873790513703521839195662661433577671431598286258971775\ 489077155955507/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^19 + 3209105548338699763686780409302948397841826813634180383050489064887\ 5416215979953420/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^18 + 7166577356282002293320732440319767471115610311262851140448882576094\ 918996971561794/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^17 - 5714259655103998049538652624731577305570276238996198387702978033280\ 6986804106857321/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^16 + 5092531694899781707088994304463723388560782774012517495092388426460\ 667234905365403/710655731349343512624677913089343602403777379605128\ 8932380127611533132783031*c_0101_4^15 + 3320732576285440999601395174554199234518007789366992438380141389447\ 49350292830024/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^14 + 6740803885790758736066455143916580666376857276794760188753559628994\ 72725850985070/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^13 + 6495563455310388921701854293158336656051703046670118039676887254272\ 373469397966022/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^12 - 1380336604442322047834387967966026934360624057826609939693789567981\ 8634614718495041/49745901194454045883727453916254052168264416572359\ 022526660893280731929481217*c_0101_4^11 + 1030757212059513620764749904589386114294973701128432787917304462090\ 222918882340015/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^10 + 5456202976377652445382635192612214685465831951265823040399138002334\ 09297323455296/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^9 + 4836313353157582303718191113704996460768856272309440316433926218556\ 553558602416290/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^8 - 1316081026994727200396413880167909180615740343464692894825675497869\ 011068157443977/497459011944540458837274539162540521682644165723590\ 22526660893280731929481217*c_0101_4^7 - 1382042842754832370234675576194575760935037603670586154519558040027\ 29723335411831/7106557313493435126246779130893436024037773796051288\ 932380127611533132783031*c_0101_4^6 + 1116725268852624145672274943609186579226781435634557746092914637397\ 88403967772311/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^5 - 7709753839223339059002194382813607480666659126778447463343339416656\ 9216337138966/49745901194454045883727453916254052168264416572359022\ 526660893280731929481217*c_0101_4^4 + 1349843435018250023360765967112372239861905217684467618259852870998\ 76711692297013/4974590119445404588372745391625405216826441657235902\ 2526660893280731929481217*c_0101_4^3 - 9538655914789708893455894217027560166242942348560718655171885973143\ 93280020652/7106557313493435126246779130893436024037773796051288932\ 380127611533132783031*c_0101_4^2 - 2086421471717554926873162185822644917459281272507455559517231669802\ 295557950726/710655731349343512624677913089343602403777379605128893\ 2380127611533132783031*c_0101_4 + 228701209235331329909269955483157\ 9415850819952984402211252028717553319042570242/49745901194454045883\ 727453916254052168264416572359022526660893280731929481217, c_0101_4^31 - 3*c_0101_4^30 - 39*c_0101_4^29 + 170*c_0101_4^28 - 70*c_0101_4^27 - 1595*c_0101_4^26 + 5438*c_0101_4^25 - 1801*c_0101_4^24 - 21096*c_0101_4^23 + 33120*c_0101_4^22 - 14302*c_0101_4^21 + 44068*c_0101_4^20 - 94401*c_0101_4^19 - 10061*c_0101_4^18 + 160840*c_0101_4^17 - 117507*c_0101_4^16 + 12314*c_0101_4^15 - 2643*c_0101_4^14 - 18489*c_0101_4^13 + 40373*c_0101_4^12 - 7337*c_0101_4^11 - 593*c_0101_4^10 - 13191*c_0101_4^9 + 5132*c_0101_4^8 + 2066*c_0101_4^7 - 631*c_0101_4^6 + 294*c_0101_4^5 - 389*c_0101_4^4 + 67*c_0101_4^3 + 35*c_0101_4^2 - 12*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB