Magma V2.19-8 Tue Aug 20 2013 16:16:45 on localhost [Seed = 3616951067] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1040 geometric_solution 4.91884711 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5.466315314916 2.176229393896 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.231151017375 0.186152414513 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 -1 1 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 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.079493577796 1.599369064204 4 5 4 2 1302 0132 1230 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672204325831 0.658792780174 5 3 2 3 3201 2031 0132 3012 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 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.672204325831 0.658792780174 6 3 6 4 0132 0132 2310 2310 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 1 -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.661751526074 0.988518671670 5 5 6 6 0132 3201 1230 3012 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 1 0 -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.367644135565 0.226719972150 ==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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0110_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0110_4'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_1, c_0101_2, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 148475990624162626011071549950669198522058798721966934424550218239/\ 227769614843228803753417553375830053055803328757952434582622275*c_0\ 110_4^30 + 12940528718247912646105713350542742277300557555735851315\ 5333682343/91107845937291521501367021350332021222321331503180973833\ 048910*c_0110_4^29 - 2188584910093867918495168677331323467931523531\ 535816345671983065701/455539229686457607506835106751660106111606657\ 515904869165244550*c_0110_4^28 + 2147119037334049174011125030089753\ 9530908489249583825967185996814231/45553922968645760750683510675166\ 0106111606657515904869165244550*c_0110_4^27 - 1034065159252605710536909723898919739070740369088046498928025090534\ 9/455539229686457607506835106751660106111606657515904869165244550*c\ _0110_4^26 + 129468683300221832768436036145054608496421513564992142\ 60039881311146/4555392296864576075068351067516601061116066575159048\ 6916524455*c_0110_4^25 + 318849320063766080665702226999917833309599\ 59854506429433294393137501/2277696148432288037534175533758300530558\ 03328757952434582622275*c_0110_4^24 + 3161784688831817339241786112438294241791807381476097118757170345553\ 6/227769614843228803753417553375830053055803328757952434582622275*c\ _0110_4^23 + 914558874716499897323791646314718792650343493981509503\ 0427961219811/11110712919181892866020368457357563563697723354046460\ 223542550*c_0110_4^22 - 3501708227675026437432285644394176466761643\ 25216117125569652461773952/2277696148432288037534175533758300530558\ 03328757952434582622275*c_0110_4^21 - 3812269402880272506648806543387320906970297604743749959936826119604\ 23/227769614843228803753417553375830053055803328757952434582622275*\ c_0110_4^20 + 22119042308038401231067545898652089664280068283463274\ 94704371979351/4297539902702430259498444403317548170864213750150045\ 935521175*c_0110_4^19 - 2568276265708234275327601240142378479660193\ 902690786869734534979958419/455539229686457607506835106751660106111\ 606657515904869165244550*c_0110_4^18 - 6498606212518856579095830078699598283295674580245865245682196990524\ 1/45553922968645760750683510675166010611160665751590486916524455*c_\ 0110_4^17 + 1670363285725748567355668947291269528623310677350089067\ 46999338012249/9110784593729152150136702135033202122232133150318097\ 383304891*c_0110_4^16 - 1068737184419199029773903895622151186959056\ 534317760556319953372406034/227769614843228803753417553375830053055\ 803328757952434582622275*c_0110_4^15 - 6716803446747023325018068902791165312305475725157308970742079053052\ 67/91107845937291521501367021350332021222321331503180973833048910*c\ _0110_4^14 + 742923599139287140429918687020520621913328854832839036\ 5974970757201776/22776961484322880375341755337583005305580332875795\ 2434582622275*c_0110_4^13 - 696793286087816534142533398065880414307\ 0419697918938553812073485088943/22776961484322880375341755337583005\ 3055803328757952434582622275*c_0110_4^12 - 4387610206290919289582734555851462427816839510482150835209076028232\ 781/91107845937291521501367021350332021222321331503180973833048910*\ c_0110_4^11 + 20539400356483569922316962505863688961357596204233588\ 151594246063134109/455539229686457607506835106751660106111606657515\ 904869165244550*c_0110_4^10 + 6739501640060330107830897605774876834\ 847473646273820915237997949265873/227769614843228803753417553375830\ 053055803328757952434582622275*c_0110_4^9 - 5103028863974780156532259167680493666039373212858211144819926961337\ 7/2222142583836378573204073691471512712739544670809292044708510*c_0\ 110_4^8 - 401274524726706053006895389913198411996097578228783039836\ 893328861159/455539229686457607506835106751660106111606657515904869\ 16524455*c_0110_4^7 + 811347287980917428331613132312247386911090402\ 133097121845491836083591/227769614843228803753417553375830053055803\ 328757952434582622275*c_0110_4^6 + 4129619136836878331536445916754035044911204679332800368859977034131\ 68/227769614843228803753417553375830053055803328757952434582622275*\ c_0110_4^5 + 320046019474773321923973132189919880844787001257615739\ 61336357146661/9110784593729152150136702135033202122232133150318097\ 3833048910*c_0110_4^4 - 1642884118961532856741129673540467864991256\ 9543918598722856221168984/45553922968645760750683510675166010611160\ 665751590486916524455*c_0110_4^3 - 1743848533397843015515974242436816733855174645760226124535470036347\ 7/227769614843228803753417553375830053055803328757952434582622275*c\ _0110_4^2 + 1935788469682037114795909824681711217802200188602547948\ 267149796231/911078459372915215013670213503320212223213315031809738\ 33048910*c_0110_4 + 16848512963259494899227160259171078007521709563\ 34184183689887375951/4555392296864576075068351067516601061116066575\ 15904869165244550, c_0011_0 - 1, c_0011_1 + 84962573293842242575724582150854740665024110969074/998772475\ 14835011372697287305190457432963981943975*c_0110_4^30 - 191755950411714924560017686319088535023489349095737/199754495029670\ 022745394574610380914865927963887950*c_0110_4^29 + 205533159783341238501173984387566306988478198408733/399508990059340\ 04549078914922076182973185592777590*c_0110_4^28 - 11171577954567496727595150138144092286834055766064463/1997544950296\ 70022745394574610380914865927963887950*c_0110_4^27 - 5967601109670698933718544180193957882422108655685523/19975449502967\ 0022745394574610380914865927963887950*c_0110_4^26 - 39384381876935710848876732196652394473521432931686461/9987724751483\ 5011372697287305190457432963981943975*c_0110_4^25 - 59503704463813193138663079683321331532393692743802744/9987724751483\ 5011372697287305190457432963981943975*c_0110_4^24 - 75396321171551111526138504214176129481439826062363816/9987724751483\ 5011372697287305190457432963981943975*c_0110_4^23 - 360977212299310960451840833970148601769361934721903143/199754495029\ 670022745394574610380914865927963887950*c_0110_4^22 + 17593742580899206943249190236018832390237745469027521/9987724751483\ 5011372697287305190457432963981943975*c_0110_4^21 + 256712180497476618594940242731286433504785992588658757/998772475148\ 35011372697287305190457432963981943975*c_0110_4^20 + 189324871896441419873997712382285312330220283491514782/998772475148\ 35011372697287305190457432963981943975*c_0110_4^19 + 1794945060777500874781915819287268579467113867887689873/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^18 + 1115062890678567337688681013963092721578610603836811043/99877247514\ 835011372697287305190457432963981943975*c_0110_4^17 - 1330894060578836775551149369423074375874422270292833156/99877247514\ 835011372697287305190457432963981943975*c_0110_4^16 - 888622169433220795749371709762752007547004865672457079/998772475148\ 35011372697287305190457432963981943975*c_0110_4^15 + 111077679978810656935303257750591828922597074155720271/399508990059\ 34004549078914922076182973185592777590*c_0110_4^14 - 3896539652856163263023528512142888603503093441552004426/99877247514\ 835011372697287305190457432963981943975*c_0110_4^13 - 188025582242838647166521352059565650722255208696918903/998772475148\ 35011372697287305190457432963981943975*c_0110_4^12 + 2649822105163902936009711733911818962782536332660786673/39950899005\ 934004549078914922076182973185592777590*c_0110_4^11 + 1778418369107216679628864849813648840641125582796554631/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^10 - 154622131269845427996592673722096386278669860121712409/399508990059\ 3400454907891492207618297318559277759*c_0110_4^9 - 1708520298848649032534187383699793303523178623922441033/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^8 + 842068461639460941068298868776787309262800094102386043/998772475148\ 35011372697287305190457432963981943975*c_0110_4^7 + 367743237614124977676787546807508747721407084139866408/998772475148\ 35011372697287305190457432963981943975*c_0110_4^6 - 3363583890548063064086497817239419916905272230561592/99877247514835\ 011372697287305190457432963981943975*c_0110_4^5 - 29532810035491993156442163518278621639538758357912659/3995089900593\ 4004549078914922076182973185592777590*c_0110_4^4 - 3412266858879564467576799953593701480458820677802308/19975449502967\ 002274539457461038091486592796388795*c_0110_4^3 + 3773381475888751716869887348061726851905951778030092/99877247514835\ 011372697287305190457432963981943975*c_0110_4^2 + 2836666038154052614100224423442689040054906914474429/19975449502967\ 0022745394574610380914865927963887950*c_0110_4 + 375513200678761239517342942080069548395618006791281/199754495029670\ 022745394574610380914865927963887950, c_0011_3 + 677668280057799633615190345875946313868481933459062772342418\ /5555356459590946433010184228678781781848861677023230111771275*c_01\ 10_4^30 + 152758645745677803504242968585643314189399923919432547868\ 9318/5555356459590946433010184228678781781848861677023230111771275*\ c_0110_4^29 + 28531682034835267332708255859200564653836916680615808\ 1112296/11110712919181892866020368457357563563697723354046460223542\ 55*c_0110_4^28 - 30431060087482653813146957606924580454011537633553\ 589278525863/555535645959094643301018422867878178184886167702323011\ 1771275*c_0110_4^27 - 175114319341181690865010378467146244743819655\ 621518064430138318/555535645959094643301018422867878178184886167702\ 3230111771275*c_0110_4^26 - 388167804111005468142908862059154584361\ 863811146091500098016112/555535645959094643301018422867878178184886\ 1677023230111771275*c_0110_4^25 - 154431098210514539775466183309960\ 8749164133041882627990545742428/55553564595909464330101842286787817\ 81848861677023230111771275*c_0110_4^24 - 2178979235120736440478083632729862013232572265460953313757963182/55\ 55356459590946433010184228678781781848861677023230111771275*c_0110_\ 4^23 - 349228428568338271306417768633724175439516032204031050543758\ 2663/5555356459590946433010184228678781781848861677023230111771275*\ c_0110_4^22 - 48123509116703252494116418504326103135617495812260847\ 08433168513/5555356459590946433010184228678781781848861677023230111\ 771275*c_0110_4^21 + 2495722339532573551095838517012197408579265549\ 812864686887238959/555535645959094643301018422867878178184886167702\ 3230111771275*c_0110_4^20 + 150310825828196176935460864842786652227\ 962594410266950143364428/104818046407376347792644985446769467582053\ 993906098681354175*c_0110_4^19 + 1181950522993024689089663966955340\ 6386500137215792804591354501203/55553564595909464330101842286787817\ 81848861677023230111771275*c_0110_4^18 + 33361555754590379134656363430238900465455868496177780626713217341/5\ 555356459590946433010184228678781781848861677023230111771275*c_0110\ _4^17 + 19060230082993787485642304865259915919531743198333322628484\ 468398/555535645959094643301018422867878178184886167702323011177127\ 5*c_0110_4^16 - 422175491433321295120392654509070498410013243817402\ 75538405630948/5555356459590946433010184228678781781848861677023230\ 111771275*c_0110_4^15 - 3460942856118777880538074850400575155793289\ 769537865337286201613/111107129191818928660203684573575635636977233\ 5404646022354255*c_0110_4^14 - 240047679741359986962243812921674706\ 94225329676440670863033657017/5555356459590946433010184228678781781\ 848861677023230111771275*c_0110_4^13 - 109366988071049944491606602131164672383848899289985063050447766816/\ 5555356459590946433010184228678781781848861677023230111771275*c_011\ 0_4^12 + 1039375413380443701354479701642902674972174911561650500002\ 7251622/11110712919181892866020368457357563563697723354046460223542\ 55*c_0110_4^11 + 17830496960930436401151173003943694735991619937231\ 2665154759655406/55553564595909464330101842286787817818488616770232\ 30111771275*c_0110_4^10 - 71087604108080864389847361185753636011362\ 1818838254197984683587/22221425838363785732040736914715127127395446\ 7080929204470851*c_0110_4^9 - 9962051957840519350450545255646252480\ 4647702366187949665215331253/55553564595909464330101842286787817818\ 48861677023230111771275*c_0110_4^8 - 6418508737512231690695401908192803744254891901213842629853001484/55\ 55356459590946433010184228678781781848861677023230111771275*c_0110_\ 4^7 + 2029829970362368612234943580817560449416004214431755734607821\ 1571/5555356459590946433010184228678781781848861677023230111771275*\ c_0110_4^6 + 596084748694863325576627692715025431047368849758681619\ 8778436946/55553564595909464330101842286787817818488616770232301117\ 71275*c_0110_4^5 - 705651972079972903188188692878595305428069256541\ 02333054129316/1111071291918189286602036845735756356369772335404646\ 022354255*c_0110_4^4 - 28743109809402361612956846786627848478466039\ 2862333950580266672/11110712919181892866020368457357563563697723354\ 04646022354255*c_0110_4^3 - 137161840920047389279723794590619931023\ 474475963924336086479096/555535645959094643301018422867878178184886\ 1677023230111771275*c_0110_4^2 + 7815069140367437269001353962227759\ 6589178717148802198302528749/55553564595909464330101842286787817818\ 48861677023230111771275*c_0110_4 + 8495562821564503503886694666575611540787237584370809046890806/55553\ 56459590946433010184228678781781848861677023230111771275, c_0101_1 - 187191345884695473119401766393636040918246214939124745202037\ 1/2222142583836378573204073691471512712739544670809292044708510*c_0\ 110_4^30 + 25080044624196477086927398743346378518383745951093537750\ 02377/2222142583836378573204073691471512712739544670809292044708510\ *c_0110_4^29 - 1193448189587770563945363417032040982982759926118626\ 3945978953/22221425838363785732040736914715127127395446708092920447\ 08510*c_0110_4^28 + 12565889110215529956005530059124646729705504542\ 1851559939258557/22221425838363785732040736914715127127395446708092\ 92044708510*c_0110_4^27 + 19340552760144169470659127097078280757779\ 965882137166922878423/111107129191818928660203684573575635636977233\ 5404646022354255*c_0110_4^26 + 432449479682633887258549511543909099\ 782969048259511454841095698/111107129191818928660203684573575635636\ 9772335404646022354255*c_0110_4^25 + 113264609364811934486377982825888456652544060098973000583044870/222\ 214258383637857320407369147151271273954467080929204470851*c_0110_4^\ 24 + 14629017346616481424587075863083797404979022433752454268364317\ 33/2222142583836378573204073691471512712739544670809292044708510*c_\ 0110_4^23 + 1869926481998345026256466266328230400963434722935122610\ 668341768/111107129191818928660203684573575635636977233540464602235\ 4255*c_0110_4^22 - 536508997283155093244921410792323442450575022923\ 997307046860566/111107129191818928660203684573575635636977233540464\ 6022354255*c_0110_4^21 - 519903902991458167421235467727115712978450\ 895252138900062016449/222214258383637857320407369147151271273954467\ 080929204470851*c_0110_4^20 - 1128071848793504509577006890460940938\ 8510201225774703493369247/83854437125901078234115988357415574065643\ 19512487894508334*c_0110_4^19 - 96517573007979856692398549693482860\ 44311258120647411984902176699/1111071291918189286602036845735756356\ 369772335404646022354255*c_0110_4^18 - 2066954624495007026632142513876343890737353633502011024732854801/22\ 2214258383637857320407369147151271273954467080929204470851*c_0110_4\ ^17 + 1636859915607781155778981407749306892678292974737681372176386\ 5568/1111071291918189286602036845735756356369772335404646022354255*\ c_0110_4^16 + 22473187143400472807292052985296880216512011046111484\ 53655540405/4444285167672757146408147382943025425479089341618584089\ 41702*c_0110_4^15 - 39136389614283687942528275516793156602823650543\ 37014554333670593/1111071291918189286602036845735756356369772335404\ 646022354255*c_0110_4^14 + 4407139719511810643279149644629008639404\ 3815083227869098632394963/11110712919181892866020368457357563563697\ 72335404646022354255*c_0110_4^13 - 14618399409757669466963397661054012343045984028915358090765930959/2\ 222142583836378573204073691471512712739544670809292044708510*c_0110\ _4^12 - 13890773656227042878746498743018031756616863528668059037020\ 6250289/22221425838363785732040736914715127127395446708092920447085\ 10*c_0110_4^11 + 55428868961321845349358324224690275022365881074038\ 56717352788293/1111071291918189286602036845735756356369772335404646\ 022354255*c_0110_4^10 + 1551216528943622116653052940731530058694247\ 6316854304678283733075/44442851676727571464081473829430254254790893\ 4161858408941702*c_0110_4^9 + 3916767648116810672845302366515748074\ 16575004338488333750681013/1111071291918189286602036845735756356369\ 772335404646022354255*c_0110_4^8 - 1637457985679262994555224878703699296614273379624080238626968130/22\ 2214258383637857320407369147151271273954467080929204470851*c_0110_4\ ^7 - 38673785468715755303831276639453310136393313067960493742352525\ 3/222214258383637857320407369147151271273954467080929204470851*c_01\ 10_4^6 + 1233315273969310813752496501623755396303558997614374807120\ 51763/444428516767275714640814738294302542547908934161858408941702*\ c_0110_4^5 + 641708458762490515913763778576911854030557590432850482\ 602491421/111107129191818928660203684573575635636977233540464602235\ 4255*c_0110_4^4 + 3083405355743084008587446977486098608724217345307\ 7785586993828/11110712919181892866020368457357563563697723354046460\ 22354255*c_0110_4^3 - 131658815607836810571764022800109301623462033\ 29379126701854445/4444285167672757146408147382943025425479089341618\ 58408941702*c_0110_4^2 - 161430520137448889330854026035060614434894\ 0507148704756945113/44442851676727571464081473829430254254790893416\ 1858408941702*c_0110_4 - 507838604582339845370269214873281766162030\ 761607346274891717/111107129191818928660203684573575635636977233540\ 4646022354255, c_0101_2 - 157695581472506098791623340338479129755260588015337/19975449\ 5029670022745394574610380914865927963887950*c_0110_4^30 + 77778326406386567094655372311500255233436145409074/9987724751483501\ 1372697287305190457432963981943975*c_0110_4^29 - 94498242536352575133531158462390093096103990020553/1997544950296700\ 2274539457461038091486592796388795*c_0110_4^28 + 5123073093453045254442088131121972108506855659120806/99877247514835\ 011372697287305190457432963981943975*c_0110_4^27 + 6910963964963873937638258287834028896762117344023737/19975449502967\ 0022745394574610380914865927963887950*c_0110_4^26 + 37475568756134148361158514743957310909016040334462649/9987724751483\ 5011372697287305190457432963981943975*c_0110_4^25 + 60840550183614977325828703111379814977792166684177666/9987724751483\ 5011372697287305190457432963981943975*c_0110_4^24 + 163776185897818862139083918377820780314974558236681243/199754495029\ 670022745394574610380914865927963887950*c_0110_4^23 + 368839156997508590765973040570641923364194228672770617/199754495029\ 670022745394574610380914865927963887950*c_0110_4^22 + 17627123182702593480626514528439606328165560636362666/9987724751483\ 5011372697287305190457432963981943975*c_0110_4^21 - 218945715818654901165930809170013848410150087846965873/998772475148\ 35011372697287305190457432963981943975*c_0110_4^20 - 406722463529808707955820943637834087330142940556352421/199754495029\ 670022745394574610380914865927963887950*c_0110_4^19 - 1753912182706053052481683803651630854784975112635191317/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^18 - 1176701070424168288883000092440360039642965433917612002/99877247514\ 835011372697287305190457432963981943975*c_0110_4^17 + 990804749827417257003020746233816309088710510006836379/998772475148\ 35011372697287305190457432963981943975*c_0110_4^16 + 1722439926404232854278298017861523709246679026719710387/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^15 - 27631799260476693052393493726108176833607289591555087/3995089900593\ 4004549078914922076182973185592777590*c_0110_4^14 + 3663491978057395372693806281162561342890308447449750159/99877247514\ 835011372697287305190457432963981943975*c_0110_4^13 + 1411634229925273368037483573553535651042297939065385799/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^12 - 1146636412777433760096335338237011233529402760547021437/19975449502\ 967002274539457461038091486592796388795*c_0110_4^11 - 3142273175140511534458810924462564022641393805793401669/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^10 + 235395641153028817691741623618540094910115112897485189/799017980118\ 6800909815782984415236594637118555518*c_0110_4^9 + 2128498794428744169175009486157536432270382924842979077/19975449502\ 9670022745394574610380914865927963887950*c_0110_4^8 - 461038613654515402346027221147660901748412232973030602/998772475148\ 35011372697287305190457432963981943975*c_0110_4^7 - 316122370503924280640669826038237284544302297298230112/998772475148\ 35011372697287305190457432963981943975*c_0110_4^6 - 94263524147762401101973242482867947271574322395497699/1997544950296\ 70022745394574610380914865927963887950*c_0110_4^5 + 16315238764989848617183259359652990878118341586793537/3995089900593\ 4004549078914922076182973185592777590*c_0110_4^4 + 2801669955853468827156194453418742925420723464631241/19975449502967\ 002274539457461038091486592796388795*c_0110_4^3 - 2325314963736876584667118665417308428797748670607551/19975449502967\ 0022745394574610380914865927963887950*c_0110_4^2 - 814248074120211557833797076808895557137095322501103/998772475148350\ 11372697287305190457432963981943975*c_0110_4 - 32544875376553536419548261464477958822370185070769/1997544950296700\ 22745394574610380914865927963887950, c_0101_5 + 313897072777584238908022452315932057886680883594006111967009\ 7/2222142583836378573204073691471512712739544670809292044708510*c_0\ 110_4^30 - 25624847914006221425655563555633200752767580669366199699\ 13312/1111071291918189286602036845735756356369772335404646022354255\ *c_0110_4^29 + 1066876451405803811020210350750587344352200947296510\ 4610250218/11110712919181892866020368457357563563697723354046460223\ 54255*c_0110_4^28 - 10825301396085499665944475693245589187569143470\ 1012132156263092/11110712919181892866020368457357563563697723354046\ 46022354255*c_0110_4^27 - 27124095030384254265173699338924181702989\ 69212744708593788417/2222142583836378573204073691471512712739544670\ 809292044708510*c_0110_4^26 - 7182143858644744699256097765949491056\ 59083344154414101783824916/1111071291918189286602036845735756356369\ 772335404646022354255*c_0110_4^25 - 148888610154547886586265741452139602788397364989709795332342441/222\ 214258383637857320407369147151271273954467080929204470851*c_0110_4^\ 24 - 19505533837569276198572179200459705337831752578834807906191577\ 31/2222142583836378573204073691471512712739544670809292044708510*c_\ 0110_4^23 - 5704364082693474368236164315206847294619940112756841726\ 656943387/222214258383637857320407369147151271273954467080929204470\ 8510*c_0110_4^22 + 169664339373985742089145966923834365356234492905\ 2412180574973822/11110712919181892866020368457357563563697723354046\ 46022354255*c_0110_4^21 + 77646235756283521217134113867021048195657\ 3103704339569296718211/22221425838363785732040736914715127127395446\ 7080929204470851*c_0110_4^20 + 749705337320942806594832088376704989\ 2169962654546190193466035/83854437125901078234115988357415574065643\ 19512487894508334*c_0110_4^19 + 30985598230441413400190609000244604\ 897371637396824625653823649771/222214258383637857320407369147151271\ 2739544670809292044708510*c_0110_4^18 + 2576364535916836204466901103789064864736452912760192019808640421/22\ 2214258383637857320407369147151271273954467080929204470851*c_0110_4\ ^17 - 3179611551179861654955542930368135827757856549851184833510658\ 4436/1111071291918189286602036845735756356369772335404646022354255*\ c_0110_4^16 + 10808758691640673420440712014404957492611539746562952\ 1327569299/44442851676727571464081473829430254254790893416185840894\ 1702*c_0110_4^15 + 203951667127067473492034123417713072384013595529\ 16128046061234617/2222142583836378573204073691471512712739544670809\ 292044708510*c_0110_4^14 - 7691492830346360537505202994944330544649\ 7158412149197898180800691/11110712919181892866020368457357563563697\ 72335404646022354255*c_0110_4^13 + 66354908932146445089888997327778979862816126257995768023803707343/2\ 222142583836378573204073691471512712739544670809292044708510*c_0110\ _4^12 + 11072515916219077250008196372877063132585085727542527100473\ 0608219/11110712919181892866020368457357563563697723354046460223542\ 55*c_0110_4^11 - 95496267574665329098149410894679010749801028134536\ 687471684056377/222214258383637857320407369147151271273954467080929\ 2044708510*c_0110_4^10 - 242128986560651214113782753624164364500473\ 89897498301297416226533/4444285167672757146408147382943025425479089\ 34161858408941702*c_0110_4^9 + 489658382273917386909560831033809619\ 82459785732062810135181125193/2222142583836378573204073691471512712\ 739544670809292044708510*c_0110_4^8 + 2859114885146211757189583268778974293798530543934306762697151713/22\ 2214258383637857320407369147151271273954467080929204470851*c_0110_4\ ^7 - 69864034670226313791844800766290868366800548091353761430017528\ 0/222214258383637857320407369147151271273954467080929204470851*c_01\ 10_4^6 - 8432140221924763547687383713602114468189691829212391940239\ 25233/444428516767275714640814738294302542547908934161858408941702*\ c_0110_4^5 - 124673551430205224159578437107942709378369632429720133\ 5122986879/22221425838363785732040736914715127127395446708092920447\ 08510*c_0110_4^4 + 462539755613217598018129627503448622714459440041\ 424353747170139/111107129191818928660203684573575635636977233540464\ 6022354255*c_0110_4^3 + 4645854584947637288905475350579497574650600\ 7934002759504979137/44442851676727571464081473829430254254790893416\ 1858408941702*c_0110_4^2 - 6210570004114399712552486464312064297149\ 463730331453654109727/222214258383637857320407369147151271273954467\ 080929204470851*c_0110_4 - 1181652787837001097436107176844807333065\ 5555042770876253095397/22221425838363785732040736914715127127395446\ 70809292044708510, c_0110_4^31 - 2*c_0110_4^30 + 7*c_0110_4^29 - 71*c_0110_4^28 + 22*c_0110_4^27 - 431*c_0110_4^26 - 294*c_0110_4^25 - 261*c_0110_4^24 - 1319*c_0110_4^23 + 2107*c_0110_4^22 + 2936*c_0110_4^21 - 351*c_0110_4^20 + 8557*c_0110_4^19 + 3799*c_0110_4^18 - 27500*c_0110_4^17 + 2531*c_0110_4^16 + 12453*c_0110_4^15 - 48279*c_0110_4^14 + 37945*c_0110_4^13 + 81356*c_0110_4^12 - 56418*c_0110_4^11 - 56426*c_0110_4^10 + 27879*c_0110_4^9 + 19225*c_0110_4^8 - 3464*c_0110_4^7 - 3719*c_0110_4^6 - 951*c_0110_4^5 + 485*c_0110_4^4 + 213*c_0110_4^3 - 16*c_0110_4^2 - 12*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB