Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 1090575474] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2724 geometric_solution 5.97252552 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292324043354 0.203286843785 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401897369544 1.400188689948 1 4 5 6 0132 0132 0132 0132 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 1 -1 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.907754685007 1.149157246562 6 5 4 1 1023 1023 3201 0132 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907754685007 1.149157246562 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171890670874 0.592710951138 3 5 5 2 1023 1230 3012 0132 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 1 0 -1 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.739495458479 0.548565905565 6 3 2 6 3012 1023 0132 1230 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 1 -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 1.150768622634 0.619917562904 ==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' : 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' : 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' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, 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 + 8994826457385404785482712934046422539628992381072377268470589443768\ 454490892728175/467284558212077333845048086024526676352999691699626\ 06338435565835643740103498096*c_0101_4^28 - 5216245882939639869639899078508561976551861838195757681678502720815\ 2875873431267495/46728455821207733384504808602452667635299969169962\ 606338435565835643740103498096*c_0101_4^27 - 4871446268819262779726718197085099895301978720772328709459549375520\ 70087584370663/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^26 + 4194172238641337189369194156857521807350738610535147113793261875816\ 61117176794289975/4672845582120773338450480860245266763529996916996\ 2606338435565835643740103498096*c_0101_4^25 - 3930136402719390139780404835910611093554295559024375077504292254780\ 0992109511657473/29205284888254833365315505376532917272062480731226\ 62896152222864727733756468631*c_0101_4^24 + 2052444018101681026641600981850351408615441495309947943395592591122\ 76515215940040177/4672845582120773338450480860245266763529996916996\ 2606338435565835643740103498096*c_0101_4^23 + 2423993116804195472832496222458050259570773255326939910612695332552\ 142949840903051215/467284558212077333845048086024526676352999691699\ 62606338435565835643740103498096*c_0101_4^22 + 6520254861561522535247565917985356217687940242823458114058370571024\ 123458950136441451/467284558212077333845048086024526676352999691699\ 62606338435565835643740103498096*c_0101_4^21 + 7654299878807511750548117461035620197634310655947299470211881464351\ 28155747671490254/2920528488825483336531550537653291727206248073122\ 662896152222864727733756468631*c_0101_4^20 + 2676803475687876683458114406897190558785254221047976359272224048704\ 0691317506933305891/46728455821207733384504808602452667635299969169\ 962606338435565835643740103498096*c_0101_4^19 + 6510507359859575107909580792227898157085723277200689877639581554555\ 4272813920186922047/46728455821207733384504808602452667635299969169\ 962606338435565835643740103498096*c_0101_4^18 + 1320494575228299868702403028736668902192303333928305751503765126748\ 7052559477092403075/11682113955301933346126202150613166908824992292\ 490651584608891458910935025874524*c_0101_4^17 + 2517950640184828096794644636345246672684126614551496433484622685292\ 7422082098070247871/11682113955301933346126202150613166908824992292\ 490651584608891458910935025874524*c_0101_4^16 + 7753794921488449820882663454389414996731756768305092130974164956004\ 393504810782024810/292052848882548333653155053765329172720624807312\ 2662896152222864727733756468631*c_0101_4^15 + 3694654054877788441843267211167842586617510272083767722138463343868\ 558555002175135046/292052848882548333653155053765329172720624807312\ 2662896152222864727733756468631*c_0101_4^14 + 3494456608129145226644297778968061664918640882721868351611961393052\ 2785218343944547159/11682113955301933346126202150613166908824992292\ 490651584608891458910935025874524*c_0101_4^13 + 7333117877803666238911658039191874565406667306153319828732824941937\ 6123280237602383639/46728455821207733384504808602452667635299969169\ 962606338435565835643740103498096*c_0101_4^12 + 2971654285557192958051914690170056497141010285240901796611025699024\ 4987955905402754309/23364227910603866692252404301226333817649984584\ 981303169217782917821870051749048*c_0101_4^11 + 9251736232154844546006036969914439474372611352078950424586568521463\ 610383841049748179/584105697765096667306310107530658345441249614624\ 5325792304445729455467512937262*c_0101_4^10 - 1358940916416935274653053675400029014681961832047581522116676054270\ 725113041766523783/467284558212077333845048086024526676352999691699\ 62606338435565835643740103498096*c_0101_4^9 + 2425279010375983072919794814044405190472471096761242137527963625963\ 6727411080908722611/46728455821207733384504808602452667635299969169\ 962606338435565835643740103498096*c_0101_4^8 - 7370067336180886379475843299632191613515850149605835323904309775549\ 656637275477264327/233642279106038666922524043012263338176499845849\ 81303169217782917821870051749048*c_0101_4^7 + 7789705068014055754836478363278599745353465616860582799151264617139\ 508885348665572459/467284558212077333845048086024526676352999691699\ 62606338435565835643740103498096*c_0101_4^6 - 1894732638582156824718383499247762571811973197095390576703421997193\ 730630893288401577/116821139553019333461262021506131669088249922924\ 90651584608891458910935025874524*c_0101_4^5 + 2018671292555464554722528359104306516181272086049186940643995936411\ 200562437003489921/467284558212077333845048086024526676352999691699\ 62606338435565835643740103498096*c_0101_4^4 - 5859271377898941536860798220327080979955988527939460296177381835436\ 89434541218340459/2336422791060386669225240430122633381764998458498\ 1303169217782917821870051749048*c_0101_4^3 + 1687205318551089091624888313407628830062123793040941916183929868646\ 89143146601652619/2336422791060386669225240430122633381764998458498\ 1303169217782917821870051749048*c_0101_4^2 - 1352010257243105223097950273051390163529174294044445684043231426497\ 1460855115947141/23364227910603866692252404301226333817649984584981\ 303169217782917821870051749048*c_0101_4 + 2306991727713886296638309039695763775286579479388775671889650183159\ 1439196566618847/46728455821207733384504808602452667635299969169962\ 606338435565835643740103498096, c_0011_0 - 1, c_0011_1 + 568033024301381362002106251987535415473412457281612788590894\ 2926881674178880/28354645522577508121665539200517395409769398768181\ 193166526435579880910256977*c_0101_4^28 - 3238486754498040033728404370734358405762891699543865815024501931406\ 9593215953/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4^27 - 1297618046523042019985747370102717996493509846192141676518084431779\ 51028494342/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^26 + 2512261435039894656171303410177370057035967543773989140868097571489\ 84562574730/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^25 - 3757640012160843492101369543524806333162668126575339074150312837337\ 84349661680/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^24 + 1002854237563911942721812303111538617902852419935729281356536020709\ 36777923292/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^23 + 1526706346837872123283225760526172207051221179791087415799063802486\ 014250392467/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^22 + 4275778561028150895289757289657364037973848409998845646044602356257\ 355380127804/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^21 + 8190743380289490804414764455675968990239974399806420763756322330361\ 770826413636/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^20 + 1781162299646988451401067944148238946215306010509284387470472606832\ 1238946471360/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^19 + 4307335647008300688772105937643762493859403675410781475876362988855\ 0668729377842/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^18 + 3806157331198170762839843178009275652481502129190140626122519333909\ 5890831460735/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^17 + 6848095035288053468969127652334683073499238605413672256484307529679\ 3485027450219/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^16 + 8598727729965903546583982106078335199096779839613920209537091898961\ 7439492501014/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^15 + 4786710473893673252532252265329417100898754790224891605966685420076\ 3023124713178/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^14 + 9525869789586732469290171549900821527491058676150037417252925388658\ 4103894574469/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^13 + 5695241840770402949341350739599906018282768326064396800070414789124\ 4499136830692/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^12 + 4633679570472161548091499586665213888112153698947448847890215632609\ 5429579318436/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^11 + 5257715591644398022045360763233539633256510168320204480907772362805\ 6682864699269/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^10 + 5862736982041569794255138267596133456904059241755181654372234760976\ 531207796266/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^9 + 1771601325055134038123672342104811369461811103104955068466266196791\ 6425645797319/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^8 - 7529038835207643653201660052407745946788017351932843610580592669384\ 880515596982/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^7 + 4961207821363030728114126219565577944570870624922969760939234198039\ 336245983355/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^6 - 4575593204010511521288874903033817161593265524882882936474639062908\ 317732681712/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^5 + 1009043619200277438361417302969361649396749373195482375016945047854\ 380764076445/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^4 - 8797014216713299628836012418155339910186282998074018141073853056966\ 15804895723/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^3 + 1941204889641634110658526141292872679788223335936817541388958038221\ 14883597019/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^2 - 3310964173873006782514074468731400595411691470850520021161865887022\ 7333416315/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4 + 2312285163604528667313966434001757\ 748068137300970489517489159729648968316976/283546455225775081216655\ 39200517395409769398768181193166526435579880910256977, c_0011_3 - 581139050910144258496028690792878573554703520357465892818110\ 09261172655224285/2268371641806200649733243136041391632781551901454\ 49545332211484639047282055816*c_0101_4^28 + 3252197013939735631347832181166893339922396842937375556800037497216\ 73183426271/2268371641806200649733243136041391632781551901454495453\ 32211484639047282055816*c_0101_4^27 + 3413221710150139490028387501473733605918930983527708705094104435620\ 11330021501/5670929104515501624333107840103479081953879753636238633\ 3052871159761820513954*c_0101_4^26 - 2444582827963541921857015959788701829723686988520957804490461221872\ 269987613693/226837164180620064973324313604139163278155190145449545\ 332211484639047282055816*c_0101_4^25 + 1745711414597803078491002703074051466957017572330618024630807822681\ 536976441585/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^24 - 5723123569746063349189000238287685472529407004049643505518200058225\ 97806423369/2268371641806200649733243136041391632781551901454495453\ 32211484639047282055816*c_0101_4^23 - 1582900918818251625874657201576641927374099540838884804099030696120\ 0158297877645/22683716418062006497332431360413916327815519014544954\ 5332211484639047282055816*c_0101_4^22 - 4546068479806408634604029803089437653865277420976407694368005434868\ 8539551814871/22683716418062006497332431360413916327815519014544954\ 5332211484639047282055816*c_0101_4^21 - 2190997845315983701513897210795754945974325695673829457573647099949\ 6272852182079/56709291045155016243331078401034790819538797536362386\ 333052871159761820513954*c_0101_4^20 - 1879741970957917536132377612285754568147934713369006126330932981591\ 45963552070805/2268371641806200649733243136041391632781551901454495\ 45332211484639047282055816*c_0101_4^19 - 4527452445234231308507515948689363541015920362975550719282467058281\ 30169165521919/2268371641806200649733243136041391632781551901454495\ 45332211484639047282055816*c_0101_4^18 - 1051295448555952115332306499019275934667740847910287727260663686975\ 06140112897689/5670929104515501624333107840103479081953879753636238\ 6333052871159761820513954*c_0101_4^17 - 1767023833122956498847665244260068822269637975074220084699248708223\ 24627242909303/5670929104515501624333107840103479081953879753636238\ 6333052871159761820513954*c_0101_4^16 - 1130549048486316989287381120258940521688184146343950076787028231286\ 46419856748189/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^15 - 6400664386083824191787674301984013661533372383757674171320429653245\ 9282393425453/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^14 - 2328164254878567552359703139123190740351989188225745469898577398491\ 97960282786963/5670929104515501624333107840103479081953879753636238\ 6333052871159761820513954*c_0101_4^13 - 5931021547534560701142770818318912717460465010874356179970642344728\ 85404262836357/2268371641806200649733243136041391632781551901454495\ 45332211484639047282055816*c_0101_4^12 - 1081672112480803120462148394325906894503060385242365869155769782009\ 30784550766057/5670929104515501624333107840103479081953879753636238\ 6333052871159761820513954*c_0101_4^11 - 2454053161700339480624795558016170071614693017517455981841839596495\ 58294916342885/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^10 - 3564892904643334330616201142540042869735182677364942731484519196046\ 4226499909581/22683716418062006497332431360413916327815519014544954\ 5332211484639047282055816*c_0101_4^9 - 1156182383364330250692886130300856834753133204957002706845768540168\ 51871777258317/2268371641806200649733243136041391632781551901454495\ 45332211484639047282055816*c_0101_4^8 + 1281982248184634555535922939637206270790663937714348153906572825001\ 6759705736038/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^7 - 1635834564248804557086980889136606674555451070144153041060768206140\ 7855044413759/22683716418062006497332431360413916327815519014544954\ 5332211484639047282055816*c_0101_4^6 + 6213696213812947146669065333474356556205861806045608051612961756743\ 991064643556/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^5 - 3759059540736559155391113430277057324614967944354524963630698999733\ 856782404055/226837164180620064973324313604139163278155190145449545\ 332211484639047282055816*c_0101_4^4 + 1618833794105540294150752223242189826693157178548942232745565282313\ 532681974877/567092910451550162433310784010347908195387975363623863\ 33052871159761820513954*c_0101_4^3 - 5061901856298972370595780013560831176899353973203938625400706582938\ 35490845219/5670929104515501624333107840103479081953879753636238633\ 3052871159761820513954*c_0101_4^2 - 1546112366926036622325000833039865129992034274822186902403280467694\ 0211658451/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4 - 2461452052190108412076724594680485\ 11260619712626557215783583712204796474509703/2268371641806200649733\ 24313604139163278155190145449545332211484639047282055816, c_0101_0 - 494231600373715008017945705973363921614631872856870024864920\ 59980093179267995/1134185820903100324866621568020695816390775950727\ 24772666105742319523641027908*c_0101_4^28 + 6642570035709153988370458630224612476654640340156772610868680600107\ 5174329413/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4^27 + 3052799777586711572609970315369615917248041478428614151223985262802\ 00855071950/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^26 - 1821189529300631091564767982976639364396652448248009400568751410481\ 022231046235/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^25 + 2546036247080505823984172061225477113363074884660534426997017980923\ 887570572393/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^24 + 5169911100102454147917464972649538656627215634697727638068722805654\ 8119825822/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4^23 - 1358298890079946274196930938451460229815769745297459110282211101591\ 0186367565891/11341858209031003248666215680206958163907759507272477\ 2666105742319523641027908*c_0101_4^22 - 2077323933943090984402401846322338793794903747098508970400290123734\ 2317266634079/56709291045155016243331078401034790819538797536362386\ 333052871159761820513954*c_0101_4^21 - 4159787612510142612396913193812161879858406951282649929425449807764\ 4967516255907/56709291045155016243331078401034790819538797536362386\ 333052871159761820513954*c_0101_4^20 - 1777380606136725824199566771650199036040425576276340208320689450522\ 78489369000789/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^19 - 1060829797135739016136803930270566675901635937689221600549186437071\ 20298700886806/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^18 - 1128012510798464141406814322867742095419448893388829041062888869909\ 57222582247731/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^17 - 1748148231779810312439739903145903607378492800146313522016737971965\ 40557617046562/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^16 - 2343026819896881145220621468150594709185099302832235137736611432598\ 23392744874650/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^15 - 1634087241383877243657676041945770565541076643419623953059573113546\ 80969539075871/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^14 - 2385740294580431613088681597835175611553908704543022764157968676075\ 85680892133365/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^13 - 7603516275776968492082290060480292705566638741075019129825779598015\ 97143738109295/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^12 - 5578148432613137069472058089496549049656294369253762424870249005944\ 88539017983173/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^11 - 5805872162068194848779644704913988559193801089517721307900079374293\ 68431462707913/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^10 - 1003998088701169771626778147707601701387920802254787294565975511674\ 40481857159785/5670929104515501624333107840103479081953879753636238\ 6333052871159761820513954*c_0101_4^9 - 1667675386052887898221130175410881166368522628429712230873159035843\ 55163132377285/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^8 + 1516622790349379539232981387440770985444069310243793191539165204491\ 5646160137341/11341858209031003248666215680206958163907759507272477\ 2666105742319523641027908*c_0101_4^7 - 1298449293829469866557879635148320496192057068920155233308843915644\ 0150069305181/56709291045155016243331078401034790819538797536362386\ 333052871159761820513954*c_0101_4^6 + 1250835575963435977092305955215407081756986378334356328270240518070\ 9636807985143/56709291045155016243331078401034790819538797536362386\ 333052871159761820513954*c_0101_4^5 + 8856761062680463911325604832126105775557674722708218884745302252603\ 73114575069/1134185820903100324866621568020695816390775950727247726\ 66105742319523641027908*c_0101_4^4 + 3956811843624641080370069434751276001115412582691492994981189827916\ 182679851715/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^3 - 3937862932938553179922980122734480615996930679248060014599613142667\ 87450045459/1134185820903100324866621568020695816390775950727247726\ 66105742319523641027908*c_0101_4^2 + 5110167324694154245296134440761683920446983079121399499954223684697\ 9134887959/11341858209031003248666215680206958163907759507272477266\ 6105742319523641027908*c_0101_4 - 295121295819317471731141291326628\ 65009713907040686533485923814209176087265378/2835464552257750812166\ 5539200517395409769398768181193166526435579880910256977, c_0101_1 + 781068701168256585961823379133516832406285668204414066449722\ 2825225144430980/28354645522577508121665539200517395409769398768181\ 193166526435579880910256977*c_0101_4^28 - 4464406252225863698106086784944293154092221542698185840783058024590\ 6370068743/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4^27 - 1778126072841441373175721318911076761037320795182560709050647161446\ 83339200824/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^26 + 3480895823138382661251967300947494685057756628803004584444015925337\ 01249910773/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^25 - 5202907847883525567688317294787984406454036870854487457152535575195\ 57223643727/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^24 + 1475133743225650286362594190467633706760792923784385181708721023700\ 18239989736/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^23 + 2094915329551543679919999508506209296114345917701866111390253604105\ 980571803283/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^22 + 5852455478424927066361603222332343188682324824566958857540345419188\ 152206245019/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^21 + 1117272765008882564017472645103344042435728444241843891383016895834\ 1888141545525/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^20 + 2426521529073642665201943748215756825186844917666136953088358813997\ 5136186511066/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^19 + 5870413539317811001057439646038243019949628642118552341554567206293\ 8764590498702/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^18 + 5113874686043370492351759014187001732401063775332192320518800134393\ 7782652043079/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^17 + 9268634615705487628181189903197788754293862203484999653504001686090\ 1567433746067/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^16 + 1154978882684388628697572443788805467034100221463777066188180077093\ 95735876564874/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^15 + 6243901550739365629123264477043092406324785832794473238117344285965\ 5975812253483/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^14 + 1278609468129252400381793477581397184729219842619073426353775627917\ 43005010773500/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^13 + 7369662944446245500477665884089584903338887626992730207634503357821\ 6908228136862/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^12 + 6035504433661292601931064922362259054850421561066677797459056754877\ 8407663830988/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^11 + 6889727967562100638784031240590664496737279208747541099090078677323\ 0932678453110/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^10 + 4696394636696147676169832446239254871304827777533439247781792803314\ 451817056012/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^9 + 2258056420637070978373323663544030712911215914693879965506672925171\ 0979993025180/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^8 - 1210920877894031666871505945869500497593412989882342234963820861277\ 4517918522756/28354645522577508121665539200517395409769398768181193\ 166526435579880910256977*c_0101_4^7 + 6400408536058741118418961683125139132427984218224786221267879031725\ 995907323777/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^6 - 6649251456176432366291378188161854036666417702439551501173605202873\ 981364486671/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^5 + 1403512966196032347042429828118974324992990344610097908436267908756\ 331622902549/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^4 - 1295739958779569974216189241099136801225280810631789349193660652243\ 442235723515/283546455225775081216655392005173954097693987681811931\ 66526435579880910256977*c_0101_4^3 + 2845050545749624737115011173661651089159618622969541719202404401205\ 23713743740/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^2 - 4436604023742334028819391317139838851441918406062995209711113421847\ 7141215827/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4 + 2863271164646341766292236071052375\ 9096319969885620995376512319951906665545847/28354645522577508121665\ 539200517395409769398768181193166526435579880910256977, c_0101_3 + 482510278090808646164856698082135649300806993093429772982668\ 92315691489731515/1134185820903100324866621568020695816390775950727\ 24772666105742319523641027908*c_0101_4^28 - 6578123059940745750436864303456805555185676039530824002384479819653\ 5651585291/28354645522577508121665539200517395409769398768181193166\ 526435579880910256977*c_0101_4^27 - 2926072119605708064183343594636001926385178932806414507227958037706\ 08585572912/2835464552257750812166553920051739540976939876818119316\ 6526435579880910256977*c_0101_4^26 + 1863063481486713443804799992946913488114330483112440264160896270476\ 572475485007/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^25 - 2677170543078296156581258715891439759165405279440924847414745962596\ 724604241665/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^24 - 9962192588676100973477028912271704299171065080172243517241845377508\ 81977055/2835464552257750812166553920051739540976939876818119316652\ 6435579880910256977*c_0101_4^23 + 132655443852147235422021396859068\ 39747251415574526134754021981310771287256582527/1134185820903100324\ 86662156802069581639077595072724772666105742319523641027908*c_0101_\ 4^22 + 197080132061288369928105537149302744019951542740479267854263\ 08818055513913707987/5670929104515501624333107840103479081953879753\ 6362386333052871159761820513954*c_0101_4^21 + 3927573306453976730123963511555775881529468755751736902452030825176\ 7876371011131/56709291045155016243331078401034790819538797536362386\ 333052871159761820513954*c_0101_4^20 + 1693067604541708449607347628944829103105424403962044703501582566312\ 60707658882565/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^19 + 1014314679848939652825492707107334089149651002511761768805896031619\ 39275138225016/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^18 + 1046871719804585869430381369866403529342703567963539828866537086462\ 16897209957193/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^17 + 1680209927738803494751471435648219687842355142618543756429745072950\ 83221249019186/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^16 + 2246301345179968244910993718160703039051745771660205451636261917770\ 71773710729515/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^15 + 1537448017872922385487478528656519375075875546230933800743973843235\ 46297302504358/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^14 + 2376578487835891664973829999602250611005436541704785901794233331788\ 71655040756222/2835464552257750812166553920051739540976939876818119\ 3166526435579880910256977*c_0101_4^13 + 7407543680066337870862448533039213799387951936892707724523458908629\ 59818606763271/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^12 + 5568601641804825055978882018249108335879690692178057622671874704780\ 23785904329473/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^11 + 6010309978706616266430319024125909600134236645315503182359072728475\ 36504253617317/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^10 + 1063266545476800371978721197705777324502035891789051153857815777408\ 67662112627697/5670929104515501624333107840103479081953879753636238\ 6333052871159761820513954*c_0101_4^9 + 1998271851391990368439598442395050201094842516241372073164300193937\ 23255460902293/1134185820903100324866621568020695816390775950727247\ 72666105742319523641027908*c_0101_4^8 + 1096122857069047048124602429368984367151330803438395943500247122457\ 4301415813739/11341858209031003248666215680206958163907759507272477\ 2666105742319523641027908*c_0101_4^7 + 2292531884436005859799920481364493000435347027773045550410036493621\ 4876939922915/56709291045155016243331078401034790819538797536362386\ 333052871159761820513954*c_0101_4^6 - 8226162452225790685423633463582258367245712007566656174218600406895\ 254955189081/567092910451550162433310784010347908195387975363623863\ 33052871159761820513954*c_0101_4^5 + 2320750200014506729664464650609748788472688985865201032516720010785\ 082471300863/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^4 - 2865601176992446190170770295882961773369090149188231085633760505270\ 773369411955/113418582090310032486662156802069581639077595072724772\ 666105742319523641027908*c_0101_4^3 - 3255606827472096073538005121864544916948153676036521701334179331237\ 25757461121/1134185820903100324866621568020695816390775950727247726\ 66105742319523641027908*c_0101_4^2 - 9113410029921553276914986055059439417208031837237591690249353329057\ 8817868455/11341858209031003248666215680206958163907759507272477266\ 6105742319523641027908*c_0101_4 - 464111650211993639137133701054177\ 9088483659318434074692711243743435297878696/28354645522577508121665\ 539200517395409769398768181193166526435579880910256977, c_0101_4^29 - 28/5*c_0101_4^28 - 117/5*c_0101_4^27 + 209/5*c_0101_4^26 - 311/5*c_0101_4^25 + 59/5*c_0101_4^24 + 1348/5*c_0101_4^23 + 3898/5*c_0101_4^22 + 7621/5*c_0101_4^21 + 16497/5*c_0101_4^20 + 39666/5*c_0101_4^19 + 7537*c_0101_4^18 + 12904*c_0101_4^17 + 82628/5*c_0101_4^16 + 51024/5*c_0101_4^15 + 89876/5*c_0101_4^14 + 59729/5*c_0101_4^13 + 9499*c_0101_4^12 + 51854/5*c_0101_4^11 + 10859/5*c_0101_4^10 + 17096/5*c_0101_4^9 - 4653/5*c_0101_4^8 + 4087/5*c_0101_4^7 - 3559/5*c_0101_4^6 + 131*c_0101_4^5 - 643/5*c_0101_4^4 + 24*c_0101_4^3 - 4*c_0101_4^2 + 3*c_0101_4 + 1/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB