Magma V2.19-8 Tue Aug 20 2013 16:18:00 on localhost [Seed = 2985307519] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2235 geometric_solution 5.67048174 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -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.295518665647 0.292451101582 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.994886880050 1.399397297655 1 4 5 3 0132 0132 0132 1230 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 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.772669309205 0.995253067846 2 5 4 1 3012 3201 0132 0132 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 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.772669309205 0.995253067846 6 2 6 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673940317593 0.424910502335 5 5 3 2 1302 2031 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578560815711 1.211692400547 4 6 4 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581521546459 0.113637726934 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), '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_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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_1']), '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_0101_0']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_1']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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_0011_5, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2297039016707762585556485877915636891333062938126521408652137396722\ 70885761252844819863/9903466451648065742799272713284879010978392421\ 21753166939428734910331088352880264350*c_0101_4^31 - 5491302770662701090711815139512761524915614679990411280748092037443\ 34718317287414577237/9903466451648065742799272713284879010978392421\ 21753166939428734910331088352880264350*c_0101_4^30 - 9858334224919611748039388157814264809122236312221438781712960520619\ 26205336667955439577/1414780921664009391828467530469268430139770345\ 88821880991346962130047298336125752050*c_0101_4^29 + 1508629993570277401318112794164312502120179719059705568894944379278\ 039994698018644353341/990346645164806574279927271328487901097839242\ 12175316693942873491033108835288026435*c_0101_4^28 + 1009473220894691855248588265089723314073525953248076563972098797679\ 8342683906909055058121/14147809216640093918284675304692684301397703\ 4588821880991346962130047298336125752050*c_0101_4^27 - 1988271641537789819728786160071727943294128563900486609946127747435\ 4479574354321930198687/99034664516480657427992727132848790109783924\ 212175316693942873491033108835288026435*c_0101_4^26 - 2436611219490512096862617457644126929070007477383505452221796354807\ 19384165245277393433153/4951733225824032871399636356642439505489196\ 21060876583469714367455165544176440132175*c_0101_4^25 + 6419865073708056774104151745645576284745565466487916846368461242366\ 02901978722684645041263/9903466451648065742799272713284879010978392\ 42121753166939428734910331088352880264350*c_0101_4^24 + 3209876407412123744996618485424264279215770530831834588948705492557\ 74019619982291352865459/9903466451648065742799272713284879010978392\ 42121753166939428734910331088352880264350*c_0101_4^23 - 3535323595852190195630650038757102975011021909868777930714842115317\ 287269056825875408260567/990346645164806574279927271328487901097839\ 242121753166939428734910331088352880264350*c_0101_4^22 - 4111891227955814716751713243503415228894360784611461651060044145597\ 59566774719965647237357/9903466451648065742799272713284879010978392\ 42121753166939428734910331088352880264350*c_0101_4^21 + 6532612869404604645338214362425402864269819878714586827623568820439\ 823275624820119458209702/495173322582403287139963635664243950548919\ 621060876583469714367455165544176440132175*c_0101_4^20 + 7729578802181411775619110704066406149777473226102054292974425174880\ 553566897731302691406002/495173322582403287139963635664243950548919\ 621060876583469714367455165544176440132175*c_0101_4^19 - 1598012126392668505398506500099247683498671810036451211254086230722\ 3281683853854098679032879/99034664516480657427992727132848790109783\ 9242121753166939428734910331088352880264350*c_0101_4^18 - 3120292636517667020707299319410133959034511519649466459848669940829\ 240083219356650975893168/707390460832004695914233765234634215069885\ 17294410940495673481065023649168062876025*c_0101_4^17 - 1840550599617979504716235555957651714920628054220263594209482176695\ 660499902838986530060791/495173322582403287139963635664243950548919\ 621060876583469714367455165544176440132175*c_0101_4^16 + 4684856881169183258820867992742423370195083503811808663911971830487\ 2880163545757045160257523/99034664516480657427992727132848790109783\ 9242121753166939428734910331088352880264350*c_0101_4^15 + 4058925913071448531147029732430485949274243835580489034214278527289\ 682138145876861194686941/198069329032961314855985454265697580219567\ 848424350633387885746982066217670576052870*c_0101_4^14 - 4203387606908010793075477964095308411281751412306380002429200401959\ 012907032687430548663747/141478092166400939182846753046926843013977\ 034588821880991346962130047298336125752050*c_0101_4^13 - 1763453406664691384595593702483066810061183808830736037105565212424\ 297368720743174268246159/990346645164806574279927271328487901097839\ 24212175316693942873491033108835288026435*c_0101_4^12 + 2215067430295658258108483154361815234452825911259766544172254414334\ 4134582259011393217638151/99034664516480657427992727132848790109783\ 9242121753166939428734910331088352880264350*c_0101_4^11 + 2077235089181972035832540673471922616997108709753530874714257958158\ 364245256465618159116523/198069329032961314855985454265697580219567\ 848424350633387885746982066217670576052870*c_0101_4^10 - 1085461644343532927699353022713010636529649839211546783808376532230\ 572256413796141563356043/707390460832004695914233765234634215069885\ 17294410940495673481065023649168062876025*c_0101_4^9 - 3702630289295861770704222677992572737532074355765457735911471984732\ 64266549955662726197617/1414780921664009391828467530469268430139770\ 34588821880991346962130047298336125752050*c_0101_4^8 + 6852082824640394686367801175982830230290854778437221042386601217964\ 94461946670353519949619/1414780921664009391828467530469268430139770\ 34588821880991346962130047298336125752050*c_0101_4^7 + 1817784027952359280752989716143179465292171095064679718611368277267\ 3138258588544777623994/49517332258240328713996363566424395054891962\ 1060876583469714367455165544176440132175*c_0101_4^6 - 7506739992765103482373762039375734124263056998687000097029092779330\ 13437318040068090765237/9903466451648065742799272713284879010978392\ 42121753166939428734910331088352880264350*c_0101_4^5 + 3743584334151669969182395629276183918104700495496080229903503687030\ 8329885405496378050896/49517332258240328713996363566424395054891962\ 1060876583469714367455165544176440132175*c_0101_4^4 + 4004078478005924410528861052797151489445567778410257808432507063822\ 7413505043132949447698/49517332258240328713996363566424395054891962\ 1060876583469714367455165544176440132175*c_0101_4^3 - 8449801713718481061649385826811789355799209051917264763959807399408\ 878381044656150714103/990346645164806574279927271328487901097839242\ 121753166939428734910331088352880264350*c_0101_4^2 - 6492444141114577956541164034845842617047616174800698202929874728994\ 57512679253209954833/1414780921664009391828467530469268430139770345\ 88821880991346962130047298336125752050*c_0101_4 + 1069318880143662910628788384957567547219948217797612193017838039388\ 73907403849755641202/4951733225824032871399636356642439505489196210\ 60876583469714367455165544176440132175, c_0011_0 - 1, c_0011_1 - 701585658102898612392089202895900192855330090856383304646142\ 611083226909011789346/282956184332801878365693506093853686027954069\ 1776437619826939242600945966722515041*c_0101_4^31 + 1661654225997756683690658544490154346265127225200622003840230032206\ 767285003253257/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041*c_0101_4^30 + 2121825982100503388473207844334412094076097350098824606839529378233\ 5421753437894228/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^29 - 4586859367604353634340199182276695413516983104575085129253841705353\ 1215032482211292/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^28 - 2199342864254540944878351370025650604291272099778164567119232826833\ 21495079473802921/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^27 + 6095780213130840917280575033669575551494163218643195607322046494746\ 83281921859498608/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^26 + 1532893208422950473811789790671936138235007266965681020973922461700\ 434002491913047896/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^25 - 2020034520333333198711785188639168264669652058417283859131937655513\ 895745584035912584/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^24 - 1232584676083356071744488820993267848354226694900654071569431768969\ 649164816471111816/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^23 + 1107863875501986263279500906656694279931805065871498214323394429946\ 0334002522755018929/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^22 + 1590590589115229177449695659802025328112728011775438385327643823378\ 961526708468212114/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^21 - 4146554397718412892008873809479637362692399012458605496167725938959\ 8338559518259311349/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^20 - 4812357350471414842173707227376262855382934589665847532821767009281\ 6232906241240717869/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^19 + 5353101852901918495954425367465154732867506695291582519025475819094\ 5380858149144249875/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^18 + 1409001998835415039342289744040458337403871336181125381032964157067\ 86980842672298642720/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^17 + 6888028401906717136843378936126122584828101127860353763600617051202\ 011003431866462709/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^16 - 1611269026360587850948447620816832058840668457328503711557665329903\ 95197308460937699588/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^15 - 6548870456599197987221860153858411650964017781028767908705910234184\ 4622359115204733339/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^14 + 1078885896925758429451052217810918720428466641476616864758793550954\ 94002465329342415224/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^13 + 6249979811130385957473488821590751936740734922684007801238165936644\ 6498489045707365472/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^12 - 7885217729190607437606230201275161024638390952187020622965377869883\ 9731855118930272809/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^11 - 3884832406594395735222256326018283290197353842342740439217089952924\ 8991562994988385602/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^10 + 5550688980816930820407443737765475902294879636336678755999088319974\ 1247594449016955110/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^9 + 1190085121649399044131392562389197467871818067900943916233985930736\ 8670372282200403627/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^8 - 2099795256481554866879254636905253990602517775811291563721027033578\ 3245164659632362095/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^7 - 4499775399319858549352379871888511126851636233771439409073616790321\ 26858213690022721/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^6 + 4047837705831803928849913910720974447355808954626926696380496769336\ 528637491104188460/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^5 - 5068354917865392297426480580172771544730260199324238294527501224759\ 64544496860594314/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^4 - 4338262718950115044946056981567932984855685948845998734374473538524\ 88620884267096434/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^3 + 9196507501244838835809112824655515579665269943559868682415002727840\ 0681474419887969/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^2 + 2426061454875039770443871283832110499811998484199213755735576403705\ 1723598026391967/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4 - 5540299265525806936518314168150843578274308613591068479123927822127\ 623513680008146/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041, c_0011_3 + 139500239670962677263139769815962849135956977378096329953820\ 9040709100472428425545/28295618433280187836569350609385368602795406\ 91776437619826939242600945966722515041*c_0101_4^31 - 3431244913674125851242426070520706848641537806484557846594005478425\ 879869457304012/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041*c_0101_4^30 - 4180719615059209219895709335791813790668980001251864140267656347310\ 4098634379992666/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^29 + 9485422357573619836474682042816315627971664534357702340369252506007\ 1179817891373638/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^28 + 4265771299723921870762961300204430548254872176827489352648963766670\ 14563441104231667/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^27 - 1246504495941349051397389690155064499483253334026828908896739836586\ 967140498719994103/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^26 - 2913027923326515900672608244156086613252891321373983413316062474577\ 233035610694022436/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^25 + 4223315917576644089077659713430927134043122286928820720112294119925\ 304004320056340552/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^24 + 1919648083056342476266790436388569008455349739271327994568504703980\ 127499328582385554/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^23 - 2201831851414776258558020393474119267261479601294194629861524271063\ 8651703810372989201/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^22 - 1072123480485600833144789203975333537853359528102050238674517477286\ 638366461099845159/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^21 + 8148854470024223276021375819364652052342138223361014699757424233675\ 5725991116850816327/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^20 + 8811945868718587667337401334066236609899583014432305105512058025324\ 0452299915142214120/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^19 - 1106501551466608296941754017433727782368696455697504377965296815623\ 52295889628982001396/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^18 - 2654085050423759595060447482556186877874723784170229283401913099144\ 49788468572766209403/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^17 + 6204477994529997108772113742024509162782088848347411243019532114054\ 404736855366056928/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^16 + 3073571105920141495627678515415772882707285306870797413796898417584\ 32137655542406287354/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^15 + 1007774781786772227039057845242931439194344172136583282003475237279\ 27077891359238703550/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^14 - 2111717929743443524096460390426322948454121289849181472288337481910\ 68240825243799234010/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^13 - 9983175022495711915218046700675723494785235639916748243229411127652\ 1920998551779404426/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^12 + 1580262431221438041875891894735033051413046405866700740991567371303\ 47273004532437265688/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^11 + 5871844691072209172309096990717957430485431468432673103072005004511\ 1760709314476985790/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^10 - 1093345855021013927610475564247917369127733565999644939243126134363\ 96886559287130109650/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^9 - 1124183463324213517464014874499096639030938766219068290794693226592\ 1934570936647616881/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^8 + 3852567255963750245105501883464952856934258191853292983319384259049\ 7139089982076541599/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^7 - 2843596410082616839489956835631087116648741859162804598854839849594\ 594362584187551221/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^6 - 6506598511203847460981341543517415448706756524338467298275568222269\ 339565864841142238/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^5 + 1369133750494375426607312235543818955312306032783231464016917045611\ 706294645440197164/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^4 + 5822392943941275819075560462373713799017372553146649235024258329035\ 17960927313523840/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^3 - 1729726408781692901034240796041321390975929243362858464140524335943\ 94682508503496089/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^2 - 2948809050156513222552199532095965777585969554832824335910615473184\ 4525537891340902/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4 + 5955560260891825096977851630171227128719109802349517647816182476353\ 620925896025749/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041, c_0011_5 + 261736094669896806513613555841998487766328365315702557138488\ 246706658042511334029/282956184332801878365693506093853686027954069\ 1776437619826939242600945966722515041*c_0101_4^31 - 8095767593992371333617144397663041032120727033355796263857800227040\ 13320274941155/2829561843328018783656935060938536860279540691776437\ 619826939242600945966722515041*c_0101_4^30 - 7424940994803340076834184325280990593379605712620860259970835684329\ 592663055775165/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041*c_0101_4^29 + 2269855512977699768737903036367096241379494525199355257204999021406\ 7070757669849323/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^28 + 6853481658312748021588291677718411251337584272228806326856897171315\ 3044541010174394/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^27 - 2826686716008563085356286396125121728476839498238487660716291539299\ 66435349911350470/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^26 - 3980192470526572366369236751896894101967013456550749240296889738631\ 53130423707863697/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^25 + 1117658415699133521083042729604651627859803658244430264425829033739\ 757515347290451440/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^24 - 1266730298203768880550630448077363135309834219385276450291721882235\ 96469068027556767/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^23 - 4257495214619152598909851419587894912941084727112518313749939590010\ 887032476510614464/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^22 + 2291432988978888403689201008614313194364861985924612380149190867560\ 470627008914656357/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^21 + 1523693347433995589139002140639137827921054790950480567649687449764\ 1234771859247718142/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^20 + 7446002788498667472138433661318227361785592467171548386616484731676\ 788200773467521715/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^19 - 3075593753149254544402167230033346073240831839220013195697353691288\ 8270492093722136146/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^18 - 3811797125066583728376220403322368009949589152557952402192085028073\ 9884499261423203938/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^17 + 3006784852928205212037406312874914976159165627151569604435801684216\ 5348268387701758152/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^16 + 5835694875475574372800945674166306390986128057526615202964046272198\ 7968555227530861776/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^15 - 1138026838502971333744012413037498665415841102464754657822155373095\ 2825761752458087029/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^14 - 5106781375831368375530011301207258528869822857489558548968247755327\ 0917718370129817320/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^13 - 4105156193984303652321550344518303326246893606738639214207841404811\ 68268689408720790/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^12 + 3915334032163480432308530841258712202551454598958633554437461330325\ 0708432246886459895/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^11 - 3115316585456333989117790933906223762377130175306106005493901870347\ 550940492550767739/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^10 - 2512410423296391117569634813582638021550342617669275152562398715535\ 6063303788681318272/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^9 + 7155282722000480322797055060684784946537981716071833863617368896014\ 084127087663697260/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^8 + 7495597270416683578470093940915489720607068896370144554743549621420\ 138464950646704366/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^7 - 2496810422881166156755317692217365765935995068680244288631352591660\ 656323232409628428/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^6 - 1115593870895920131747353004451061120523407741710756556287078443398\ 799435738564005003/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^5 + 4162454179031798680451244830773968841025144696158216739683647618834\ 09821917313371817/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^4 + 7882233852386631854523644842770440118540008651033242381564494622088\ 4607056065355737/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^3 - 5143479523275116690337949054424632004381432691324815809182202459285\ 2541745067909043/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^2 - 2322850014170255914684536147009413691807225560374164849533117794975\ 000611871023958/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041*c_0101_4 + 1340916530750418404100053855477781046453822872351031808544954136428\ 347508796623318/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041, c_0101_0 - 329158986949582050820747025896131212207769606898244472608980\ 0930541879733826560723/28295618433280187836569350609385368602795406\ 91776437619826939242600945966722515041*c_0101_4^31 + 8010999907936839666715739049914188317780284323439047588712657045612\ 078980904569667/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041*c_0101_4^30 + 9871152055613548230259744950914058532967723957737692298709292035368\ 1792144824972531/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^29 - 2208757940044024307960911310857946762111659161012011599429732440789\ 93160482805445887/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^28 - 1008091711325281450389823698461937702023195006263436263433422523856\ 187650519654151039/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^27 + 2904530227568419282481258529352694002391279338292046436119522893393\ 372074591239516352/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^26 + 6908119156244220226316568295267832779515125845906267055852827528121\ 794370643204360334/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^25 - 9651424724374798620372538781667924280733806662322084123279455942667\ 678579884121933260/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^24 - 4518618775373187660470295707287594687324880435575230521836381288925\ 721990198873541109/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^23 + 5136634057286088504942395045066130217629984155398531136437326361221\ 8266905478656334936/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^22 + 3809845270723631129919571958722717527342925086283562912928702127425\ 685952636053419064/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^21 - 1899906332565140869848864860755295419302329139647977375125370822965\ 73709904976777096232/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^20 - 2132439350479403582959974576451034302084641004661417676888926337980\ 31899708843780939652/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^19 + 2476646030190814417759280198683518442430348262610586369685123026065\ 01546245937752991614/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^18 + 6254000686828901658217666705462152431723510821399318323401715086653\ 26132587410899851860/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^17 + 1327614495562941649793909896341946526516600208143054686950262785746\ 2880816508103484481/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^16 - 7015435848536155357624490044312988334606820624882478403741587059570\ 07107257927765839739/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^15 - 2599679991527009500953580859509115738477845062070540747309215908660\ 57519902528216048535/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^14 + 4648259706057892675251724216950002364816626718436683534607259753628\ 18421047958384178124/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^13 + 2426835021758935325378480713158384842108026788976113009541232030849\ 11441052579534203667/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^12 - 3485275340042975093129885063273430301348906723394568462510312496593\ 23543893038468664624/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^11 - 1425494491225522027479982060758148475108046847269711012879849275311\ 49983167873173875105/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^10 + 2401748517097807097377788899466449566954909846141529633711995243099\ 09644804891181686117/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^9 + 3117086908399838879227477657482872790951108492289993174705258327227\ 6419349499956318927/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^8 - 8084126974991746559868302187562328091536170517083883765309500800534\ 0815010783065775995/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^7 + 3132717204465721533417824864854786498017379714303658977237131125528\ 380901843472579393/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^6 + 1338110023617540150038075778554656121318525949766688048526053730632\ 0891711515602660881/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^5 - 2147764805514420296980167191478683474904779654987190983109415350734\ 049201678965351330/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^4 - 1356506911299730346238043077711422900211470346368183101627960722765\ 638500036137896105/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^3 + 2709478518959396999873674621917995600390190906025139434055350421905\ 57946214566858813/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^2 + 7712502245653638773584686485633221640751857391646196297262729995616\ 6196539277325241/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4 - 1094114517283004631006970229617897748488898956336771311254048561954\ 9075314458921953/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041, c_0101_3 - 715602070421072777623552640803838669929640962884707919034099\ 208094738204308350405/282956184332801878365693506093853686027954069\ 1776437619826939242600945966722515041*c_0101_4^31 + 1567034980480501913029790541040430463108187929235061146230205408254\ 582653471953877/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041*c_0101_4^30 + 2190597413273953644137682557435574861591880075754357698420933159557\ 4651349825749613/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^29 - 4286455940634646614608576212008967689899125898430553848704360096216\ 2260598760822890/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^28 - 2314279423545493918274511237890614984792228856416760851430960644967\ 91530748073302645/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^27 + 5802820100557109137924430292721872780989675576345282579297893605737\ 40451773072122591/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^26 + 1660217100767017966823709702601405926859002406981229247121822118297\ 605099469095384136/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^25 - 1759226403719521474093762855845190364376207615565548101069836663081\ 109688205342867084/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^24 - 1511131623303340152119266243756096475701885211893995772200935096967\ 275888508811133150/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^23 + 1104869206703828374761627505524394822025746579227611703247619992612\ 6615503506144025820/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^22 + 3492663505222768558589291390166748413959178153080492359739443562456\ 430676636483722820/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^21 - 4145357195867781185504398357736207890529241426181182452358840120570\ 5283293711999334497/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^20 - 5600161331147703850514533551524983081647454308725128709040990721805\ 3578758470053618591/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^19 + 4373447799135902584672293644085740659408865757037157696844523504884\ 3305004450777450923/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^18 + 1487830175143261701079537925293620232095659137171000586986281576034\ 87535561788501844725/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^17 + 3265705165377022497852003835722264407780891979358866175159643152759\ 0909697118467935246/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^16 - 1536413918706795908180047297077906899010149680887565932790769809683\ 12366282019725133153/2829561843328018783656935060938536860279540691\ 776437619826939242600945966722515041*c_0101_4^15 - 8854485957827301419493629015806314848745991966590734212501966007432\ 0859339908608742163/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^14 + 9177243336497666540877416535185414788165868507739321131311078670703\ 4355750665043780132/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^13 + 7350037764242989688519308977788956576460181450160214718371023683863\ 1250457351730931749/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^12 - 6773323162156364130400280332390303951590369290009417480982856125059\ 3286236408492264652/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^11 - 4750109987078452411284525412352799331176061166367329075623247906824\ 0860882881167756485/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^10 + 4841923778158416755655947033565206733522921074151982258621285933335\ 1634662530050297559/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^9 + 1760679167462313157581009496863326545911475992637788330155768964253\ 6301607726749070359/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^8 - 1823316797151215058253255205123195486114796681993758100677901090199\ 2272224811949043952/28295618433280187836569350609385368602795406917\ 76437619826939242600945966722515041*c_0101_4^7 - 1931074245165231196924990156472325756002901919960668192702129675955\ 413437743005392138/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^6 + 3575623174191369673653043339987615146379174188100109643059756028487\ 750477506798721886/282956184332801878365693506093853686027954069177\ 6437619826939242600945966722515041*c_0101_4^5 - 2521375565213566161682175145617615393903805717037987968303222211009\ 29719321369728825/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^4 - 3997501060726001908523877241299598337856141517027622043657633489272\ 37352374718524758/2829561843328018783656935060938536860279540691776\ 437619826939242600945966722515041*c_0101_4^3 + 6163721017165685640994879224456958431550690060212488072896698269348\ 9971224062760917/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4^2 + 1998260398597621948613533243513442312601172634480311413129712935271\ 1070866081912016/28295618433280187836569350609385368602795406917764\ 37619826939242600945966722515041*c_0101_4 - 4740637509512811591997109265705140093580766935330476847198954686432\ 490539990494915/282956184332801878365693506093853686027954069177643\ 7619826939242600945966722515041, c_0101_4^32 - 2*c_0101_4^31 - 31*c_0101_4^30 + 54*c_0101_4^29 + 334*c_0101_4^28 - 747*c_0101_4^27 - 2467*c_0101_4^26 + 1987*c_0101_4^25 + 2540*c_0101_4^24 - 14913*c_0101_4^23 - 7837*c_0101_4^22 + 56550*c_0101_4^21 + 89559*c_0101_4^20 - 44657*c_0101_4^19 - 218955*c_0101_4^18 - 88577*c_0101_4^17 + 202313*c_0101_4^16 + 168322*c_0101_4^15 - 98663*c_0101_4^14 - 128956*c_0101_4^13 + 69692*c_0101_4^12 + 84824*c_0101_4^11 - 50894*c_0101_4^10 - 38276*c_0101_4^9 + 18130*c_0101_4^8 + 8628*c_0101_4^7 - 3752*c_0101_4^6 - 969*c_0101_4^5 + 565*c_0101_4^4 + 93*c_0101_4^3 - 44*c_0101_4^2 - 6*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB