Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 694727952] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0127 geometric_solution 3.63749147 oriented_manifold CS_known -0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.639810780586 0.032918213403 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 1 -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 0 0 0 0 -1 1 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 2.423536423781 0.250043398130 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.875026321759 0.518144462303 2 4 4 2 0132 0132 3201 1023 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 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.107664252640 0.207553842844 3 3 5 6 2310 0132 0132 0132 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 -1 0 1 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.056083677019 1.983139434559 6 6 6 4 1302 1023 2031 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.499788066909 0.504663110074 5 5 4 5 1023 2031 0132 1302 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.499788066909 0.504663110074 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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: 29 Groebner basis: [ t + 4495212476403676085535001708122150628009059003710076407690962887847\ 091411385/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^28 - 39877974790783925639653357395055949\ 032960032367800052222182737334067094489480/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^27 + 4396659299532206702872666677376060413924953324488445927975204268786\ 47981211003/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^26 - 377366276237383228419517956972483\ 415109306662049923448617381851902284308299599/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^25 - 8139960918697109419721036740327965757933945014993513387890563762793\ 121807579819/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^24 + 6743906005672065212448161175170845893859871645825932418072055959855\ 946766774020/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^23 + 8332270816905932956345886285852911217422593915477593054600548123368\ 0320470745383/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^22 - 2565165879232278307653659337313833013243940673581801169922394829342\ 2155460844620/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^21 - 4450785251016992226910988200736154792221852803562101746060895064110\ 55925316133097/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^20 + 5694249639929408413909974748006197903107449923669620692420651088000\ 1478987809147/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^19 + 1389365341186575926380044647007499982062257006597366825438213776830\ 708802369846820/734644086323715037261442118123381160144225902516894\ 63166282395389558129759*c_0101_4^18 - 2174531043512112280821453320386760856864822510973334299198698540149\ 86060400975425/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^17 - 2763558616132093960856183902205371595568668119182785942632964452677\ 168278556659569/734644086323715037261442118123381160144225902516894\ 63166282395389558129759*c_0101_4^16 + 7777153264383220105693407407586245800722694020045840069911435339757\ 52041216347482/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^15 + 3634464232735938425540895811092813840909668811645079721877878374367\ 666600978482844/734644086323715037261442118123381160144225902516894\ 63166282395389558129759*c_0101_4^14 - 1546506671288673071383004099923226085001537617483923529157054779753\ 891418606075004/734644086323715037261442118123381160144225902516894\ 63166282395389558129759*c_0101_4^13 - 3161698684374385351045790695161681913754508600558381383310561501551\ 810033987545033/734644086323715037261442118123381160144225902516894\ 63166282395389558129759*c_0101_4^12 + 1682956824887888323601668641455626430560090965622894584608805524377\ 120712831637200/734644086323715037261442118123381160144225902516894\ 63166282395389558129759*c_0101_4^11 + 1792242192946062738442285701016194702948302314248208643748237168063\ 750187394848583/734644086323715037261442118123381160144225902516894\ 63166282395389558129759*c_0101_4^10 - 9823799560382969174256772432227902241200499593231893618878838759499\ 96752942731313/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^9 - 6650040582586361926331582139099783326298831968642686399581545361657\ 82393724867881/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^8 + 2559677847084957713760640245883253417729422991823446165110801370688\ 64857028798277/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^7 + 1731169220841735554388600447721640672847997628375592949593555485043\ 28104733065377/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^6 + 7674440533342257005004467116250767039027073778505442995465262551146\ 050935481635/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^5 - 318520176849813251621481014498743\ 84947601052782553877686848612694927510733314755/7346440863237150372\ 6144211812338116014422590251689463166282395389558129759*c_0101_4^4 - 1833667002382929194156892178664497554396671127232289793507135781465\ 5297293453994/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^3 + 1606195990738411897033725209474850477605116959037508093587112769364\ 740897570373/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^2 + 298725909059843777754073695341608\ 7123387943140961056233434878069695174197279638/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4 + 5214214438799373949575149088671144832923214981099885098378508671439\ 20932028815/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759, c_0011_0 - 1, c_0011_2 - 127866085391877670804418189038853624745136925674788853220940\ 2824489645629/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^28 + 1132577720622553030776580005636862873312634352831992088648744848711\ 0912711/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4^27 - 1250510124396944110318460925561349144\ 99404860672588209493449286710877278955/7346440863237150372614421181\ 2338116014422590251689463166282395389558129759*c_0101_4^26 + 1074136805907641388713583571041327964941478545543118956598330270528\ 50357674/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4^25 + 229863353042026321362084953180211330\ 6143369468980879308500622987780005287131/73464408632371503726144211\ 812338116014422590251689463166282395389558129759*c_0101_4^24 - 1826676937432098866382703622712768527814351658921048293909937619154\ 584891968/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^23 - 23486105477995646590567268707641843\ 894145530575148218229776738664210973845277/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^22 + 5879738641517408746079188787318728914141624536762484364658710271992\ 550213900/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^21 + 12421123736941422607665761193355154\ 0071983569733438017579450202324772065784386/73464408632371503726144\ 211812338116014422590251689463166282395389558129759*c_0101_4^20 - 5080218752652826692487981758126587795140739444793145456716387389459\ 423731120/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^19 - 37801990312000120504417749669257893\ 8425448342636256603966685028520609160603442/73464408632371503726144\ 211812338116014422590251689463166282395389558129759*c_0101_4^18 + 1587205677103262037704416974000685114743385981230848580953513622542\ 3925254567/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^17 + 7226443433871940756223064132311691\ 61783885835516725355959522734291530354594044/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^16 - 1057900723883930776275580960894640454039309959726940050544285314052\ 06519845710/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^15 - 908683791017959081872933507678035\ 146159275137931943564700714294496738890165562/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^14 + 2431234351773461068540061962401287104121392075528119078804033368898\ 71700720950/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^13 + 760111360484705927112822550631304\ 794570826013150346345107203796409388343604184/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^12 - 2473928540310170060705910509335261998795439013793390673297585853427\ 83526305699/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^11 - 416959933640824445699102767396898\ 724415359334002295560644789372126250191714908/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^10 + 1065288022236096843478596226673153465205506882820432289734426426138\ 57670659862/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^9 + 1442857040678940650685916149768690\ 22305577486696917698733711475680229455467979/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^8 - 2541290365635742154078489793008687242620218731413302535598592883777\ 247214670/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^7 - 267304418891165925194058848735614018\ 34463874133080419783791989137930902223661/7346440863237150372614421\ 1812338116014422590251689463166282395389558129759*c_0101_4^6 - 1192357742988861984829316691786638626219537577905413404973183810486\ 2567464580/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^5 - 52294238920716619115316078572385006\ 7268960736193370775288018078825799002558/73464408632371503726144211\ 812338116014422590251689463166282395389558129759*c_0101_4^4 + 2830051317386420569366924529406205918239811500849317724906750946981\ 629476662/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^3 + 106540939302819361222044942419851636\ 2441330595519833628297263478162459469334/73464408632371503726144211\ 812338116014422590251689463166282395389558129759*c_0101_4^2 + 9985607658759781783032359796596089161608064113144107286796354685998\ 6665142/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4 + 2176545329271409374472108513493761826772\ 4464833700507798040742265248039962/73464408632371503726144211812338\ 116014422590251689463166282395389558129759, c_0011_5 + 143957777528310559396402325557043622467786784107308018618986\ 2338817666918/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^28 - 1233071223366863228496041095739700300449833535192126720469857531849\ 0408302/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4^27 + 1379691243554116758532479243089160895\ 54294164150162942255855688842486248857/7346440863237150372614421181\ 2338116014422590251689463166282395389558129759*c_0101_4^26 - 8652489996135828948140576696620658052300256390655675668129459860134\ 5216108/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4^25 - 2545033470284056021164622420834336391\ 554957620886714136107723923616494914422/734644086323715037261442118\ 12338116014422590251689463166282395389558129759*c_0101_4^24 + 1342924178262150410116705719466510096706904848685040531549918256383\ 384311027/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^23 + 25417403226768351595790019299643675\ 134219321544000836870692967346597389615979/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^22 + 1310911361355636662074865026324967382016310235601461432519354887618\ 22886376/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4^21 - 125616855491061988575763068359852248\ 748523728991645534958159382526338545489194/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^20 - 1713662629398296999578208977172265444314942000945679665163212689768\ 1791422051/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^19 + 3562566021291201979593022973403746\ 78420408564759886694278715394929690426739343/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^18 + 1318796487655624408745155388009359358797844191105247060979125268442\ 2553462436/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^17 - 6429072838298347859052755114993836\ 62798272450807820649021866065428544184336526/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^16 + 1045843490848460259437726522652242740597507642128789339100496067309\ 36630361016/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^15 + 756274957227823434068089950882263\ 105327594116151049768855348155835881433938825/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^14 - 2745632851870676576801263355152547659700386133725310550727426572509\ 89193117638/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^13 - 552205711141471099035683737096666\ 983406538741282159420945456136931350153609340/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^12 + 2805368322282728833488749395037866423118062247132728192444223003428\ 31790747627/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^11 + 221611948068669032798943581507515\ 200882014591439787208605151489235800539763531/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^10 - 1246848217131969202871510368717351304642263432036069908944367060785\ 39235542673/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^9 - 3664661448292887454351474771902058\ 7371778664552927887705502360484887240504928/73464408632371503726144\ 211812338116014422590251689463166282395389558129759*c_0101_4^8 + 1160029485338678708167578762706960344207977710031362248221269412443\ 8913142123/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^7 - 22463899170711305715395449045416780\ 903031625310360767829228289765747530562/734644086323715037261442118\ 12338116014422590251689463166282395389558129759*c_0101_4^6 + 5986348633805125775005115529174090378703322368336400657777045321735\ 930951686/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^5 + 352926773542301131928808814512198365\ 950797959843920325832384641804586590284/734644086323715037261442118\ 12338116014422590251689463166282395389558129759*c_0101_4^4 - 6602456859065144696581470569870524670417824405766669044958240846689\ 52995012/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4^3 - 1749772733974890858085884658364965320\ 97610735884085202906690205022567134003/7346440863237150372614421181\ 2338116014422590251689463166282395389558129759*c_0101_4^2 - 1430491242691465498346885687417670567634151493097715484078133227050\ 67717806/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4 - 246225609921587284442446151181912990063\ 48805474085914355593335583263033313/7346440863237150372614421181233\ 8116014422590251689463166282395389558129759, c_0101_0 + 430812421045741315455217107314411352729960037630703730285391\ 3847312483655/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^28 - 3584029680543654983371629899323534730474989402669562070783207434451\ 1396344/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4^27 + 4028071219450594919710311056445934078\ 14345872171023050950743883356670853815/7346440863237150372614421181\ 2338116014422590251689463166282395389558129759*c_0101_4^26 - 1504315435740407069518118489147442812704579935555496330041328110203\ 73297591/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4^25 - 776178570078427702922684792868775950\ 2733391388107942823731017841901053232598/73464408632371503726144211\ 812338116014422590251689463166282395389558129759*c_0101_4^24 + 2045908303356706832788948374127672797147462529760368958231906544441\ 439837514/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^23 + 78842706133190483496491086664477632\ 333959716852381478671818536434767594861583/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^22 + 2118037681804494156011289530595576004199998626972828150097693373459\ 7448252099/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^21 - 3934623141933845394363493181530286\ 98445513757569885402641232998630992174460898/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^20 - 1733207829916396900967377121811721763389591109951573660553230981846\ 36289493688/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^19 + 112500305392961319946162114919656\ 8525861179583430531529544586379059464593399553/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4^18 + 4474701510423945991511713185900519875187458634706676382177479814431\ 53666914621/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^17 - 207317356633917332117730481832024\ 9328276718466316281922547336251148572213122996/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4^16 - 5144336525842249311674056458361357354945833632048618619624135790981\ 72666600120/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^15 + 260032908462631220587666200667085\ 2604232023740561381596436969878850993998573231/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4^14 + 2499973769599213969520708566810486252579458508430408443106810443182\ 13673904702/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^13 - 220612237025701434781123662915998\ 9107898710223398045489788244041833930248221508/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4^12 - 6479096751434423075092168962282568355295786983379074473227492801531\ 1309089807/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^11 + 1201534116071034912880291207637501\ 526204651603390010711239922155635504938429266/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^10 + 1144818162652573442786835614115658650955723733543776655787831543256\ 68984300213/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^9 - 3775930073723466884876623366021633\ 79862382556991384572199277553992541161085818/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^8 - 1285451225065862083799318243460674537206296371652287923653591180888\ 71392689098/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^7 + 4354851875593515604897762193958124\ 7204604897475151935211605897077124263926635/73464408632371503726144\ 211812338116014422590251689463166282395389558129759*c_0101_4^6 + 5315868151005597900286400708873015481428637001048892559114148797957\ 6091319621/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^5 + 12735499388574467264714742025735011\ 931529224729492779463406069941416796063993/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^4 - 5690340973323193820061406547774293979023227940937532292700625333449\ 426032932/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^3 - 451706275252961445428859249182303895\ 6638864556395313807346862814542426306047/73464408632371503726144211\ 812338116014422590251689463166282395389558129759*c_0101_4^2 - 1065066558978713174181003285722603244975261497713291670042577926343\ 429239412/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4 - 54920359192190383150630035472327958883\ 321971623509099626120357534595555647/734644086323715037261442118123\ 38116014422590251689463166282395389558129759, c_0101_1 + 108733284271182337697499829749725347787350256381035730948174\ 04637233808341/7346440863237150372614421181233811601442259025168946\ 3166282395389558129759*c_0101_4^28 - 8965979900847058974772019126789505979478008176331443301648694781253\ 6773916/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4^27 + 1008543283745667827419859817226488915\ 276379005456238836239301209897524360755/734644086323715037261442118\ 12338116014422590251689463166282395389558129759*c_0101_4^26 - 2905995913296025362467249854534194788037425280628946614828653303232\ 65040566/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4^25 - 197739099128426135685161086176195546\ 23782991658659888442494587834776511637945/7346440863237150372614421\ 1812338116014422590251689463166282395389558129759*c_0101_4^24 + 3988891290735567853951642281050096143810450402183923659310379598437\ 758222759/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^23 + 20193070769143495617927724145812733\ 6450246708998559058687347027261806822798352/73464408632371503726144\ 211812338116014422590251689463166282395389558129759*c_0101_4^22 + 6341488289870769311864497296212613682828304222490939314790572487658\ 2894858545/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^21 - 1014991212700279590687774649013313\ 427654629258445220565464121412092826352921432/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^20 - 4784331593590944040529972246053085787975173000342026118011858016388\ 89799783294/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^19 + 295256288072046767452288131368413\ 4543317718993835456543052063538876312329099941/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4^18 + 1212050820649847786515014368406023590702355221995174073688278901855\ 737345240987/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^17 - 5610256121550308423121603597326529158538112160512624162876867767227\ 654254982539/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^16 - 1338357348243554347401538003471606741020951101180467199921236899874\ 610926826783/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^15 + 7330102963833364832455852692086269456598547656811123650084335880422\ 104507847362/734644086323715037261442118123381160144225902516894631\ 66282395389558129759*c_0101_4^14 + 4250427893833754524827146466585718695031989729473945716256524405001\ 08330659750/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^13 - 649944628951777806616715828384442\ 9089248457535258933675374511333831218742608937/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4^12 + 3498899516375161378346729927028082137799445143574183614447904585171\ 96909355799/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^11 + 369328302159618192346048012403835\ 2601656895824538430463981825123414695980270724/73464408632371503726\ 144211812338116014422590251689463166282395389558129759*c_0101_4^10 - 2231541586355179309537699794979193080297595456680363159582423161925\ 61433604550/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^9 - 1217950485419934212549973270033856\ 287899616078909953245364460379105535699136160/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^8 - 9644847598553581561839592185591459346568683867220196063468513109383\ 5695742782/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^7 + 17890778219322525511076274087757868\ 6276499633345588954540786265394928130940503/73464408632371503726144\ 211812338116014422590251689463166282395389558129759*c_0101_4^6 + 1057119582257411850538414479790765053002822720329039449796122997183\ 29723261327/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^5 + 1102292382710341356854673947513118\ 6803864797961731919634957385901464335638662/73464408632371503726144\ 211812338116014422590251689463166282395389558129759*c_0101_4^4 - 2285951401726228901154812142461658925361526573380811962926429246148\ 6224996345/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^3 - 68537951653702266940960469742859643\ 07214682764064314182599362398408693233927/7346440863237150372614421\ 1812338116014422590251689463166282395389558129759*c_0101_4^2 - 1362715689587026918782351458149197600353384599939089327484764037565\ 11743666/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4 + 554046409664419155488512256781160864089\ 98015117192008169148076366717008051/7346440863237150372614421181233\ 8116014422590251689463166282395389558129759, c_0101_3 - 123389723070335754604586271203922700078137441891033517733401\ 0828944282655/73464408632371503726144211812338116014422590251689463\ 166282395389558129759*c_0101_4^28 + 1060260035680740684414933764821925440543475542149097874807689421901\ 9926487/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4^27 - 1179667905737820318200047729960702334\ 18854973203737122300545113259426358279/7346440863237150372614421181\ 2338116014422590251689463166282395389558129759*c_0101_4^26 + 7271818741957956987013439499462878871760207788714357190023687002664\ 3017865/73464408632371503726144211812338116014422590251689463166282\ 395389558129759*c_0101_4^25 + 2232419213838669643496862571196809062\ 430472542710362264181122811063853577168/734644086323715037261442118\ 12338116014422590251689463166282395389558129759*c_0101_4^24 - 1218515385034691846683479354658163843381611337973315417002520380695\ 981063426/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^23 - 22789663575126443594450341687930587\ 296800254341602098930235340919761946718875/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^22 + 5256999438307927709301156174147300959386972540089158779016648990431\ 67851719/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4^21 + 118052780565027777927205918373143329\ 876590709825870729403735923405760053682746/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^20 + 1671844764750258242238657219166171279986576263845752252563995451608\ 3951991477/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^19 - 3552513371934849022452455012397358\ 05857812361493648426743135223812105818472251/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^18 - 3334715875262121427798033205140517715863484476734000566699048086458\ 2106782291/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^17 + 6867738382860240439946561300311837\ 81115657616419960367789522875626974243937704/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^16 - 3537351175530672474679427093382305508801768393577399894375375164876\ 4127380163/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^15 - 8898517855068667725165152704216200\ 80250901898345604285141325581805737834347345/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^14 + 1827172758923525989303249590026311970981649705393481339221308431374\ 66076777346/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^13 + 769624831745975738774026308719258\ 314290345821538092672748761010011796999181543/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^12 - 2320129525337105808586092412486937963816788117275926614324288916074\ 67897016357/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^11 - 430421117166918470527069330989235\ 012389740085741887535747408443867203648943086/734644086323715037261\ 44211812338116014422590251689463166282395389558129759*c_0101_4^10 + 1260868212622089788595924870027359412998221328360096623835442232436\ 04644444606/7346440863237150372614421181233811601442259025168946316\ 6282395389558129759*c_0101_4^9 + 1487634177936828088046806795423151\ 08196560364382160405695764845166806363574978/7346440863237150372614\ 4211812338116014422590251689463166282395389558129759*c_0101_4^8 - 1828084498884526082230317250073534428701323470836618935508223589443\ 0938938560/73464408632371503726144211812338116014422590251689463166\ 282395389558129759*c_0101_4^7 - 29566423841604983625524525060398381\ 826832670206113578932131734463115668603995/734644086323715037261442\ 11812338116014422590251689463166282395389558129759*c_0101_4^6 - 9345232610762505480687953191491291449191960614875125907091792002862\ 685560012/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^5 + 238039796926249702478055992843896381\ 0971517449093274144291851585890584862483/73464408632371503726144211\ 812338116014422590251689463166282395389558129759*c_0101_4^4 + 3646607009732291982320877171787958324365319354267625754846819207409\ 949162828/734644086323715037261442118123381160144225902516894631662\ 82395389558129759*c_0101_4^3 + 258208527089026303313115598860665381\ 732638688936317670459157775639678505034/734644086323715037261442118\ 12338116014422590251689463166282395389558129759*c_0101_4^2 - 2020753640579869468490050350415628928889495755459101541728387535988\ 32887365/7346440863237150372614421181233811601442259025168946316628\ 2395389558129759*c_0101_4 - 245393609214018874135554347020829885984\ 96659046877887621476204329838085734/7346440863237150372614421181233\ 8116014422590251689463166282395389558129759, c_0101_4^29 - 9*c_0101_4^28 + 99*c_0101_4^27 - 97*c_0101_4^26 - 1795*c_0101_4^25 + 1728*c_0101_4^24 + 18254*c_0101_4^23 - 7997*c_0101_4^22 - 97382*c_0101_4^21 + 24915*c_0101_4^20 + 302691*c_0101_4^19 - 86364*c_0101_4^18 - 593884*c_0101_4^17 + 246061*c_0101_4^16 + 757976*c_0101_4^15 - 432346*c_0101_4^14 - 624294*c_0101_4^13 + 439110*c_0101_4^12 + 323908*c_0101_4^11 - 244837*c_0101_4^10 - 107884*c_0101_4^9 + 62466*c_0101_4^8 + 28113*c_0101_4^7 + 206*c_0101_4^6 - 6554*c_0101_4^5 - 3283*c_0101_4^4 + 609*c_0101_4^3 + 511*c_0101_4^2 + 76*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.260 seconds, Total memory usage: 32.09MB