Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 1949690036] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0464 geometric_solution 4.49877316 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.326899225908 0.640466752135 2 0 0 2 0132 0132 1023 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 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.119016294717 0.068070656738 1 1 3 3 0132 2310 0132 2310 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 -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 3.664832527597 2.836664185202 2 4 5 2 3201 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.094889458599 0.569329554238 5 3 6 5 2310 0132 0132 2031 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.131554831199 0.793978416447 6 4 4 3 2310 1302 3201 0132 0 0 0 0 0 1 -1 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.131554831199 0.793978416447 6 6 5 4 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.792042802776 0.839131134320 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_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_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2956104423343216667516357594131008801023984422316008977948555565357\ 2175436/23090688162921744335223157837061566287886480281373432639562\ 304576635285097*c_0101_2^29 - 2072579686057271335336302414384254874\ 427124441693164864685885676457533111746/230906881629217443352231578\ 37061566287886480281373432639562304576635285097*c_0101_2^28 + 1646178655314193237900723080714524229283267322071562774082161424978\ 091297549/230906881629217443352231578370615662878864802813734326395\ 62304576635285097*c_0101_2^27 + 31144498107049009740481270462836300\ 410153218390643015218579204836454897574390/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^26 - 3033863303867086581485805685976244940087484214131942732431219770989\ 8368499405/23090688162921744335223157837061566287886480281373432639\ 562304576635285097*c_0101_2^25 - 5163189577236337897021766907415340\ 9385581339840994912786330438842829434845327/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^24 + 3113046927051720410609150207201613493433789533771439894450495237018\ 16023743143/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^23 + 6079630005583995918505399117735513\ 131783640092261205483358551119011817592573798/230906881629217443352\ 23157837061566287886480281373432639562304576635285097*c_0101_2^22 - 1129376199193647763025665050599249866476461610919476636119041674639\ 4443680134450/23090688162921744335223157837061566287886480281373432\ 639562304576635285097*c_0101_2^21 - 2123931827570944543851360046407680959143170055726134216870782747417\ 5219952818013/23090688162921744335223157837061566287886480281373432\ 639562304576635285097*c_0101_2^20 + 6405174891398028188124968324993950507533963267941303566005068371141\ 8420328027727/23090688162921744335223157837061566287886480281373432\ 639562304576635285097*c_0101_2^19 + 1836539929448811131459805577096589933619080429184751613088687967645\ 8185280461387/76968960543072481117410526123538554292954934271244775\ 46520768192211761699*c_0101_2^18 - 2810014296745625441378802668054954324199878805931341252136662944302\ 0134101248771/32986697375602491907461654052945094696980686116247760\ 91366043510947897871*c_0101_2^17 - 1095146409690300343140744069340084250668231630039386343427273991522\ 37438906996220/2309068816292174433522315783706156628788648028137343\ 2639562304576635285097*c_0101_2^16 + 3516398323513610392396938034580992261393684177626240069848216199813\ 62643377688817/2309068816292174433522315783706156628788648028137343\ 2639562304576635285097*c_0101_2^15 + 2180906670138522868659121634994589278979126238798824382466886406870\ 4295713316811/32986697375602491907461654052945094696980686116247760\ 91366043510947897871*c_0101_2^14 - 3874157780632522708952030792118204555592601194711852365961760866237\ 77327886876135/2309068816292174433522315783706156628788648028137343\ 2639562304576635285097*c_0101_2^13 - 1515524765240171118164342272347705580271608061438936445043009392821\ 01972657561418/2309068816292174433522315783706156628788648028137343\ 2639562304576635285097*c_0101_2^12 + 2653506647920101902947562513036126371267459964470211208745972269597\ 20434057493914/2309068816292174433522315783706156628788648028137343\ 2639562304576635285097*c_0101_2^11 + 1163885378043743463051705040924335084434743052085159067749422379863\ 08296597501598/2309068816292174433522315783706156628788648028137343\ 2639562304576635285097*c_0101_2^10 - 1490341889665071090330690455531006403916666141911970482734469213425\ 6204596069150/32986697375602491907461654052945094696980686116247760\ 91366043510947897871*c_0101_2^9 - 685661905252402742606986980515280\ 24778170997416391115541306495389191207227482140/2309068816292174433\ 5223157837061566287886480281373432639562304576635285097*c_0101_2^8 + 1618354656214769846133227022029353985463470940973622565751882783429\ 0943901444493/23090688162921744335223157837061566287886480281373432\ 639562304576635285097*c_0101_2^7 + 1278045022632985601452513514960381970019562139476424061311340029388\ 528261028859/109955657918674973024872180176483648989935620387492536\ 3788681170315965957*c_0101_2^6 + 8190879232882799994927507055535313\ 49758068324114976482147589281158337481698284/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^5 - 5665590881415231865097978195708784985513822049568902745648825251323\ 437869443628/230906881629217443352231578370615662878864802813734326\ 39562304576635285097*c_0101_2^4 - 849323607662504574284890839720354\ 176657123948770221753650466220431605694296489/230906881629217443352\ 23157837061566287886480281373432639562304576635285097*c_0101_2^3 + 1460302090309909929967200072644086347741201589092546119100706501239\ 75553612250/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^2 - 26511516096460632900764704815914744\ 208459362332435984294296422430937544805025/230906881629217443352231\ 57837061566287886480281373432639562304576635285097*c_0101_2 + 8125264079627619601229269331380657394108986694343095657637978807095\ 82901597/2309068816292174433522315783706156628788648028137343263956\ 2304576635285097, c_0011_0 - 1, c_0011_3 - 696724226799388019349006216346612426941853176658194236962942\ 872664861840/769689605430724811174105261235385542929549342712447754\ 6520768192211761699*c_0101_2^29 + 222715011908789869150384164495888\ 7777166558896172753100234632093561651988/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^28 + 3012394444500815855979489034704911438374002674544336152982767810870\ 7748518/76968960543072481117410526123538554292954934271244775465207\ 68192211761699*c_0101_2^27 - 70421152761164475268482058613356469701\ 549599003540744469870961653979068869/769689605430724811174105261235\ 3855429295493427124477546520768192211761699*c_0101_2^26 - 3422207999979463831836708174671822075439250414715151055967793979661\ 86077211/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2^25 + 1393100591403776328222481365370062959\ 01714617190037669546383536602648651696/1099556579186749730248721801\ 764836489899356203874925363788681170315965957*c_0101_2^24 + 1455590698046166697350222988886870251960123755984949454679373189005\ 847815510/769689605430724811174105261235385542929549342712447754652\ 0768192211761699*c_0101_2^23 - 741041498566873517291724704697013583\ 2524397176732427585927058897824674394953/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^22 - 3644922277988478000167001741411866909815759252263985403512546964031\ 67150188/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2^21 + 3409945398867151741209911857943513218\ 5537246166828732748088083780141854728542/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^20 - 1886011992836415188479230591937706112709146973190379755705353508200\ 2543547339/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^19 - 99350528612114841407297686145478059\ 385934852880017934649222524738167703679783/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^18 + 1072812156099725242061449273551274891406068328664491141586450871182\ 7222471718/10995565791867497302487218017648364898993562038749253637\ 88681170315965957*c_0101_2^17 + 18626724628336579871821116956403850\ 8489941786880092581843505808281579261522059/76968960543072481117410\ 52612353855429295493427124477546520768192211761699*c_0101_2^16 - 1430711722615380448779358753407299698545389839409739564898926595051\ 82546264968/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^15 - 3255808666504318293290493648261330\ 4962436541660506571161263362183575853707033/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^14 + 1565258422870637060483667735596867803029549439999547902248949492877\ 07871835392/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^13 + 1881646968861857966470084582769017\ 95707344013136406236917870528450729542087723/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^12 - 9742087709536606431399784807501840156380307202691089540512225478146\ 9982196860/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^11 - 11011645079589766996010999796168347\ 3195940188416462781613745791246583169201839/76968960543072481117410\ 52612353855429295493427124477546520768192211761699*c_0101_2^10 + 3780388812657447919297608912658162941207587252144177512183117084421\ 291304531/109955657918674973024872180176483648989935620387492536378\ 8681170315965957*c_0101_2^9 + 4707757306463830985722571484693368108\ 9580272862131176498397202897692701473774/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^8 + 4253996065197006119161399654259207438210935296655823507320170655396\ 853161988/769689605430724811174105261235385542929549342712447754652\ 0768192211761699*c_0101_2^7 - 2004229730562577428949586281425438384\ 385654678363079202956100317430631696757/109955657918674973024872180\ 1764836489899356203874925363788681170315965957*c_0101_2^6 - 4592849216983920982776795415982382159093953137339178863605177992265\ 958876338/769689605430724811174105261235385542929549342712447754652\ 0768192211761699*c_0101_2^5 + 2463745907792245539671569583980808381\ 067637203450025380981245616634129170642/769689605430724811174105261\ 2353855429295493427124477546520768192211761699*c_0101_2^4 + 8456022475262833786108410704960194726856820093458063531983252000356\ 55126968/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2^3 - 15214485050347447971924189283386492987\ 0638715736028649028420298367768858590/76968960543072481117410526123\ 53855429295493427124477546520768192211761699*c_0101_2^2 + 1072349223947691355346237489215071061081946062160773210705693024547\ 898333/769689605430724811174105261235385542929549342712447754652076\ 8192211761699*c_0101_2 - 766872339671755843117898705688057840069758\ 2788405190844296838676589914073/76968960543072481117410526123538554\ 29295493427124477546520768192211761699, c_0011_5 + 390046691460934178813382029206132790205396806449881173069461\ 8643316045624/76968960543072481117410526123538554292954934271244775\ 46520768192211761699*c_0101_2^29 - 5532970480500400206464667501877593807886968669329847930838736404462\ 866860/769689605430724811174105261235385542929549342712447754652076\ 8192211761699*c_0101_2^28 - 179611787269961621787644510607238998161\ 338442672815915258443011250469118822/769689605430724811174105261235\ 3855429295493427124477546520768192211761699*c_0101_2^27 + 7930978886548702497109736592014645482679770823965922787720277260656\ 1978416/76968960543072481117410526123538554292954934271244775465207\ 68192211761699*c_0101_2^26 + 21036419278320147357835258529279585755\ 92086717272684730346592404362657168883/7696896054307248111741052612\ 353855429295493427124477546520768192211761699*c_0101_2^25 - 2668966767972901887397738246319169877592595891339003113688389458309\ 90052887/1099556579186749730248721801764836489899356203874925363788\ 681170315965957*c_0101_2^24 - 1196758633053461902671204600575207222\ 1775578112699035793769228951364655491893/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^23 + 2216015808628560283398879913917405701134361605403982746273804913497\ 7653953357/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^22 + 42963023404079512195906190709791487\ 987991745786394053135460010790289189648247/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^21 - 1280334310869720453616766014402201786353228918433085106827411319414\ 52532590624/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^20 - 1161330294505501631755164281869836\ 28212817097168710273806308083279737150907080/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^19 + 4061321119718554715714651008054514121094193364365966766896432865791\ 18839097211/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^18 + 3464429848738270088004095142020204\ 5319639022336602916448964988038092432705024/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^17 - 7617724891271398544280842815432318838805100755374164666161138716037\ 68877271241/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^16 - 3586030055942349157340233290316286\ 29248419775987177901890109708449513655439933/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^15 + 1282955785365376167547535679241837690779764200623774936723150588869\ 55767148238/1099556579186749730248721801764836489899356203874925363\ 788681170315965957*c_0101_2^14 + 3784543509453117334284675440417842\ 47642471594725350840183373341997896093269266/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^13 - 6776569434119961275213537075202803468991438963877641747028651454011\ 58332252834/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^12 - 3053295061829429188530552845825120\ 58413100053938591083625593163398687026702608/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^11 + 3123148960312727175008155305868300212544152058724255936561445994607\ 19204977422/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^10 + 2723680741845944530485041420033253\ 2102106107727199895366038213798224449812498/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^9 - 7232427045112534026692295171604048409990721136915180381253409124698\ 7839221404/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^8 - 845276214904491239486469871432557752\ 69615633890377144900916892672755034390802/7696896054307248111741052\ 612353855429295493427124477546520768192211761699*c_0101_2^7 - 1855827942856762845388811347060719810996548185985024318041431139323\ 7650206/10995565791867497302487218017648364898993562038749253637886\ 81170315965957*c_0101_2^6 + 231491305511155879412053383223662714626\ 51336981145297315551444147665262708450/7696896054307248111741052612\ 353855429295493427124477546520768192211761699*c_0101_2^5 + 3550713484628507900623648733310438518325527530215429801578315541137\ 967010066/769689605430724811174105261235385542929549342712447754652\ 0768192211761699*c_0101_2^4 - 3163049877210481712768358992664282498\ 505906926704496566876900049677344580150/769689605430724811174105261\ 2353855429295493427124477546520768192211761699*c_0101_2^3 - 4771865532425031604816079676719846845436344983385147166769143609312\ 80661908/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2^2 + 11574595436448631430459697496639439845\ 7808581886066416180414211029726350872/76968960543072481117410526123\ 53855429295493427124477546520768192211761699*c_0101_2 - 1092059102655438992858674992554637336643370712791554808893898312286\ 712284/769689605430724811174105261235385542929549342712447754652076\ 8192211761699, c_0011_6 - 295679899453516653387290150803712797331662583145858844429171\ 9161557579960/76968960543072481117410526123538554292954934271244775\ 46520768192211761699*c_0101_2^29 + 4865197681432526023067948660284589044331744485672498436223461196007\ 329564/769689605430724811174105261235385542929549342712447754652076\ 8192211761699*c_0101_2^28 + 134598289949342776721936512243281543951\ 057930172699153402953611959898260498/769689605430724811174105261235\ 3855429295493427124477546520768192211761699*c_0101_2^27 - 9001953379483380098785520308377807821824935666415292572385206858684\ 2371250/76968960543072481117410526123538554292954934271244775465207\ 68192211761699*c_0101_2^26 - 15533975598592721718661195854115757453\ 21867129555079765597341790070236009060/7696896054307248111741052612\ 353855429295493427124477546520768192211761699*c_0101_2^25 + 2514236113670625100498514631098900001956104470897970784196106940932\ 99269167/1099556579186749730248721801764836489899356203874925363788\ 681170315965957*c_0101_2^24 + 8430938845158479082906879384183424779\ 941289715582781160320118543182445945668/769689605430724811174105261\ 2353855429295493427124477546520768192211761699*c_0101_2^23 - 1850573753659668471313792098206519592217523915873163507195850145162\ 6051507159/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^22 - 27011523820689512678153373834688857\ 291892110303428440167253070730061158553507/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^21 + 1007395457913017920552720834155513590024992991149411224762327437210\ 05115247882/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^20 + 6029883899152779813199657473716459\ 8371568237947494185080958336726860691284756/76968960543072481117410\ 52612353855429295493427124477546520768192211761699*c_0101_2^19 - 3075567622728047430669205513793547119421187149037402239215056842737\ 96885793417/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^18 - 1432724391555462504492332203747617\ 2731515087490538405076906399038279704044787/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^17 + 5568998152871731289922338793295730594335726169624435122307520655434\ 68782694306/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^16 + 1143027106444730980974450856689694\ 98394262255753494660302801140738696167469388/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^15 - 8990213769941220702603728083938550672812749504905553790700686336773\ 4464072156/10995565791867497302487218017648364898993562038749253637\ 88681170315965957*c_0101_2^14 - 93633752555063643361293356989824627\ 475393824553379982011770252540125648131736/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^13 + 4510986646454383532050857515802576054614812378263771125876671183693\ 71986610018/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^12 + 7279944495500376041795470048716862\ 3432111500248438771598105832424067344867639/76968960543072481117410\ 52612353855429295493427124477546520768192211761699*c_0101_2^11 - 1985822941037901738918570661317274891450405555273729721974681522290\ 88046089212/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^10 - 7891630486729618313890562669833883\ 170173353603293159446633091675219030690013/109955657918674973024872\ 1801764836489899356203874925363788681170315965957*c_0101_2^9 + 4965013186466523548166127488738256742513244224019707936125369002791\ 0461031824/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^8 + 289468839442066930478117025106398748\ 95665917510349266250290998380766990016755/7696896054307248111741052\ 612353855429295493427124477546520768192211761699*c_0101_2^7 - 1087483088074877956858355349747978644255017689720361971531392332869\ 372650633/109955657918674973024872180176483648989935620387492536378\ 8681170315965957*c_0101_2^6 - 8125953256203981393464383524150614790\ 319523208978299384207849913901898321389/769689605430724811174105261\ 2353855429295493427124477546520768192211761699*c_0101_2^5 + 1974626075023099362040371565143944700688592095886020384948622329976\ 140371303/769689605430724811174105261235385542929549342712447754652\ 0768192211761699*c_0101_2^4 + 9309837474869536512240650460540922206\ 87515070835842321302271085684663747151/7696896054307248111741052612\ 353855429295493427124477546520768192211761699*c_0101_2^3 - 5026372150532275353192360643073915411662904852258937797011281721893\ 74559536/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2^2 - 75990081431568803659526248492875891163\ 97202323907768802598634014812740106/7696896054307248111741052612353\ 855429295493427124477546520768192211761699*c_0101_2 + 1043174717789552478170455596995512747107963192778028424572401424543\ 0774899/76968960543072481117410526123538554292954934271244775465207\ 68192211761699, c_0101_0 + 112690630358758722248262221893108114391642554877146808895718\ 062487390504/769689605430724811174105261235385542929549342712447754\ 6520768192211761699*c_0101_2^29 - 865760172337526102721399549186274\ 598529317008973914450306519966395947596/769689605430724811174105261\ 2353855429295493427124477546520768192211761699*c_0101_2^28 - 2984791535004692212478286117597362513446909266895286811192328296480\ 158822/769689605430724811174105261235385542929549342712447754652076\ 8192211761699*c_0101_2^27 + 328848648887977472548773147834302631863\ 35269339933458347772770639648815866/7696896054307248111741052612353\ 855429295493427124477546520768192211761699*c_0101_2^26 - 8187752145539970906879246572887513528764998072636419257210661645317\ 663035/769689605430724811174105261235385542929549342712447754652076\ 8192211761699*c_0101_2^25 - 573847543099687569785987435816100021305\ 87771401132761998784943634843773671/1099556579186749730248721801764\ 836489899356203874925363788681170315965957*c_0101_2^24 + 6147857780953330360057943701448843214875294298331481919761783923838\ 65730080/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2^23 + 2139059371172038347785933364668570965\ 745435851314844850631903237991871222270/769689605430724811174105261\ 2353855429295493427124477546520768192211761699*c_0101_2^22 - 6113571211500139797284245397424247652105374655206222109155135434719\ 784474921/769689605430724811174105261235385542929549342712447754652\ 0768192211761699*c_0101_2^21 - 435436034096587974057754827137762603\ 5074876401929219882708600557800471639560/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^20 + 3065227577865467778820533927728042824332549832377553115067029217816\ 8201058808/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^19 - 57514386971967228986243270887722062\ 74540845357097133585663579322188086864791/7696896054307248111741052\ 612353855429295493427124477546520768192211761699*c_0101_2^18 - 1317157722927841891604858026725752210436123977852423872557814797724\ 9849177037/10995565791867497302487218017648364898993562038749253637\ 88681170315965957*c_0101_2^17 + 49096925035923133926543513444522284\ 800042208566536506736035937464731063914398/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^16 + 1753715554785260838298740021814150375107856410873246076185077399033\ 76557709437/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^15 - 1573314039060696675165349264813274\ 2969735406322395876730956644162182074346004/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^14 - 2157368074109688498385779732493907101395591371946982827957682545628\ 30213250759/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^13 + 1292359749229469516267135422671648\ 87396159835144936936815152265037870841196102/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^12 + 1776318135657861054649495711176631863024717605490652368441122243747\ 04992002729/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^11 - 8297681189444734446918796191498021\ 5555711483376810041748318039981179948041912/76968960543072481117410\ 52612353855429295493427124477546520768192211761699*c_0101_2^10 - 1470396780314635751707007721419210574196490289823657003439668805613\ 3488530507/10995565791867497302487218017648364898993562038749253637\ 88681170315965957*c_0101_2^9 + 220873671016353795953916712958298516\ 62054599018710421296394446167297993575787/7696896054307248111741052\ 612353855429295493427124477546520768192211761699*c_0101_2^8 + 4347812164034919750989397121744591480779681801680023027545907226378\ 2961385510/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^7 + 672957573911923647250434910576643049\ 830237808704882891010327433306089289582/109955657918674973024872180\ 1764836489899356203874925363788681170315965957*c_0101_2^6 - 1286182328418781505366892463005526257828758886298840132680859986997\ 3215931973/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^5 - 448790606746232692268310122184442522\ 7566736008109835897821040546574576469488/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^4 + 2255690831492387248720715456810657524872067136508093085057526143766\ 784452632/769689605430724811174105261235385542929549342712447754652\ 0768192211761699*c_0101_2^3 + 8216554885750471501330853483437339983\ 77457966434412656307985111757084644868/7696896054307248111741052612\ 353855429295493427124477546520768192211761699*c_0101_2^2 - 1452764825839121629803950532665345615148144089452819015251695069834\ 85397647/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2 + 3962054417951390218566641578564223747320\ 90732897892357331384649623555309/7696896054307248111741052612353855\ 429295493427124477546520768192211761699, c_0101_1 + 497110859008499831004829476980295891310938588579971808109335\ 5269771308188/76968960543072481117410526123538554292954934271244775\ 46520768192211761699*c_0101_2^29 - 8047874593577872043696517388298683557867632358785728651726718744663\ 260874/769689605430724811174105261235385542929549342712447754652076\ 8192211761699*c_0101_2^28 - 226935362795720807977096626799660576229\ 379417167879847578917287191491819403/769689605430724811174105261235\ 3855429295493427124477546520768192211761699*c_0101_2^27 + 1458668047497608803328260925650835922750693943408187477469264745618\ 41661476/7696896054307248111741052612353855429295493427124477546520\ 768192211761699*c_0101_2^26 + 2635510766187587770321075618182633862\ 867262324956740006162809250724909892044/769689605430724811174105261\ 2353855429295493427124477546520768192211761699*c_0101_2^25 - 4135052847578140846580490799852431493751805571017136769833232344403\ 10354164/1099556579186749730248721801764836489899356203874925363788\ 681170315965957*c_0101_2^24 - 1449026590473552040109161136664452900\ 3652271186074646884207859348824575661954/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^23 + 3089340048652545927260180707496250020397379169924653037676516693326\ 1861662949/76968960543072481117410526123538554292954934271244775465\ 20768192211761699*c_0101_2^22 + 47650683493679606309602506526690285\ 041070710220196809591980806132176192050221/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^21 - 1703402711548686782485904783261497995966381703186689640900446633599\ 18065839037/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^20 - 1114096597416194349988421103650666\ 62587078035619434512494938335188118362964204/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^19 + 5279073199552843322369117201115420407291133790420240453389971282586\ 03805060545/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^18 + 2846792986153404519894168384221403\ 6002879792636814763929401930787220109563627/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^17 - 9765391106245222396703790108088638873301231141916471623566925407824\ 84991491283/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^16 - 2570157959442929851772283380854461\ 49113418710930507041813723210028839555685485/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^15 + 1626778107479597740064628391857998060431388677774456303726449995758\ 92719663430/1099556579186749730248721801764836489899356203874925363\ 788681170315965957*c_0101_2^14 + 2511059289189875949683798339174451\ 15169597077781471581938955934356402532187838/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^13 - 8549826276833014500805770717097885317656616542011707970696943788993\ 23689259689/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^12 - 2149572225668883723264726208337110\ 68737600500724330826819395331059814149765694/7696896054307248111741\ 052612353855429295493427124477546520768192211761699*c_0101_2^11 + 4031993964392289432267634772196560253634494673792322374840088253717\ 40825943212/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^10 + 2247631968639613681792008145516995\ 0125723765562762611470996694494277404552328/10995565791867497302487\ 21801764836489899356203874925363788681170315965957*c_0101_2^9 - 1090411806961197665507236053687925931233023314160787922426400814626\ 74489740672/7696896054307248111741052612353855429295493427124477546\ 520768192211761699*c_0101_2^8 - 80967634682716171046994757232788892\ 044289451079867460017299944890548070565356/769689605430724811174105\ 2612353855429295493427124477546520768192211761699*c_0101_2^7 + 1858209726520103813803317837905665221885808976257270054818594572096\ 740124767/109955657918674973024872180176483648989935620387492536378\ 8681170315965957*c_0101_2^6 + 2456000981517450096809826681661401142\ 5195260821028914472335591146972019302024/76968960543072481117410526\ 12353855429295493427124477546520768192211761699*c_0101_2^5 - 5048262809932151663640964233699877006068406336430696018549147234159\ 6804631/76968960543072481117410526123538554292954934271244775465207\ 68192211761699*c_0101_2^4 - 360841354602238528116553568227309530908\ 9267477809853771898053954059018318581/76968960543072481117410526123\ 53855429295493427124477546520768192211761699*c_0101_2^3 + 1361995697864941326334869686650889098666075283647172970960324894197\ 4517301/76968960543072481117410526123538554292954934271244775465207\ 68192211761699*c_0101_2^2 + 155076639789350632502136986384516274623\ 313846080510580568706797252601115351/769689605430724811174105261235\ 3855429295493427124477546520768192211761699*c_0101_2 - 3757124745756943455105385630530066538650673040470847759347723535968\ 149936/769689605430724811174105261235385542929549342712447754652076\ 8192211761699, c_0101_2^30 - 3/2*c_0101_2^29 - 185/4*c_0101_2^28 + 49/2*c_0101_2^27 + 2209/4*c_0101_2^26 - 2111/4*c_0101_2^25 - 3198*c_0101_2^24 + 6065*c_0101_2^23 + 11508*c_0101_2^22 - 70811/2*c_0101_2^21 - 122359/4*c_0101_2^20 + 232649/2*c_0101_2^19 + 126887/2*c_0101_2^18 - 461439/2*c_0101_2^17 - 386747/4*c_0101_2^16 + 584595/2*c_0101_2^15 + 107993*c_0101_2^14 - 968665/4*c_0101_2^13 - 373869/4*c_0101_2^12 + 256349/2*c_0101_2^11 + 255165/4*c_0101_2^10 - 155305/4*c_0101_2^9 - 31941*c_0101_2^8 + 16211/4*c_0101_2^7 + 41451/4*c_0101_2^6 + 3725/4*c_0101_2^5 - 7385/4*c_0101_2^4 - 425/2*c_0101_2^3 + 517/4*c_0101_2^2 - 6*c_0101_2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB