Magma V2.19-8 Tue Aug 20 2013 16:17:52 on localhost [Seed = 324177902] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2098 geometric_solution 5.60110879 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 -2 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 1.024465465711 1.070657363569 3 4 2 0 0132 0132 1230 0132 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 1 0 -1 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.769559194974 0.950662558170 4 3 0 1 2310 3201 0132 3012 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 2 -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.769559194974 0.950662558170 1 5 2 5 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.829055726080 0.530848653115 6 1 2 6 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363512982358 0.620033221622 3 3 5 5 3201 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 -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.579986806210 0.159046835347 4 6 6 4 0132 1230 3012 1023 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 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.875387412922 0.685558711255 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_1'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0101_4']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0101_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 1239500463836139200863161788261807525135873479882272627129655222329\ 367401231963151/717433254711023952552132226219297111727187092340163\ 5840156059478687277113453968*c_0110_5^30 + 8350919823709582311481693149909291238825425447993471110386672465863\ 2551502208603/25622616239679426876861865222117753990256681869291556\ 5719859267095974182623356*c_0110_5^29 - 5957842714061688009059586345557603971258703906270854411001330422528\ 4417179470754843/35871662735551197627606611310964855586359354617008\ 17920078029739343638556726984*c_0110_5^28 - 1064475364948023760750428091548981092486138563002061993839189459270\ 45999307922706271/7174332547110239525521322262192971117271870923401\ 635840156059478687277113453968*c_0110_5^27 + 3786762886478372534069045297666269873312429515539214653625083274557\ 835697343939366749/717433254711023952552132226219297111727187092340\ 1635840156059478687277113453968*c_0110_5^26 - 3747975157211116359995333580041537212374269234231890775803445303007\ 68663257116000989/3587166273555119762760661131096485558635935461700\ 817920078029739343638556726984*c_0110_5^25 - 7095903956615690591412855520832490068372883364421431207421519992203\ 391150648710492709/102490464958717707507447460888471015961026727477\ 1662262879437068383896730493424*c_0110_5^24 + 3536689639467605203074941922190963938764771747662660983047613671743\ 4188185903656865815/71743325471102395255213222621929711172718709234\ 01635840156059478687277113453968*c_0110_5^23 + 4131788190791555641024778882216398324841375015123136688940469153480\ 6186654203622299099/89679156838877994069016528277412138965898386542\ 5204480019507434835909639181746*c_0110_5^22 - 3059820946787869609105701305632097467962479019207902979074330930627\ 31784541206513753575/7174332547110239525521322262192971117271870923\ 401635840156059478687277113453968*c_0110_5^21 - 6403453186292431242385804492778507540429297906886623479972307481708\ 51241813867986491107/3587166273555119762760661131096485558635935461\ 700817920078029739343638556726984*c_0110_5^20 + 6061197303914843117139585885158278057589324103135909018684630787323\ 20739113959609312919/3587166273555119762760661131096485558635935461\ 700817920078029739343638556726984*c_0110_5^19 + 7951696824761474597527298366479655345762381090602306466322541360565\ 19298178888039652211/1793583136777559881380330565548242779317967730\ 850408960039014869671819278363492*c_0110_5^18 - 1314080147533357096539814189005190681936925818004186263979978265876\ 780594389386353855279/358716627355511976276066113109648555863593546\ 1700817920078029739343638556726984*c_0110_5^17 - 2515982491091346716429467687102660436836146493364652331631166340082\ 4130456940295823222/34491983399568459257314049337466207294576302516\ 354018462288747493688832276221*c_0110_5^16 + 8207121802789483587785177363278442632150508919975931840147981379651\ 89011983632628768187/1793583136777559881380330565548242779317967730\ 850408960039014869671819278363492*c_0110_5^15 + 4059888504990539622002930249438785042548977195983184957365924993350\ 05373611304443664277/5124523247935885375372373044423550798051336373\ 85831131439718534191948365246712*c_0110_5^14 - 6111652057688317558623947111904623569836576433276089909880041949819\ 21652909260995747437/1793583136777559881380330565548242779317967730\ 850408960039014869671819278363492*c_0110_5^13 - 2568514356461540771488487104147751097322189160882199541242133322389\ 91454667643166403758/4483957841943899703450826413870606948294919327\ 12602240009753717417954819590873*c_0110_5^12 + 1082478472502373619909705872596416200852998555072188055604466811544\ 226218262987920702577/717433254711023952552132226219297111727187092\ 3401635840156059478687277113453968*c_0110_5^11 + 2505714390447017834652083977259105603827298217266863244805773965160\ 55786555628202904773/8967915683887799406901652827741213896589838654\ 25204480019507434835909639181746*c_0110_5^10 - 2683556121605873966103639203739925326127384892216128026703447835759\ 75986895660321058097/7174332547110239525521322262192971117271870923\ 401635840156059478687277113453968*c_0110_5^9 - 6603559466815198850600464575741201444285391956201303602210678387406\ 04964570839677926115/7174332547110239525521322262192971117271870923\ 401635840156059478687277113453968*c_0110_5^8 + 7188986081901012781946660239033036041081940183955820495168132874765\ 386034790647857775/179358313677755988138033056554824277931796773085\ 0408960039014869671819278363492*c_0110_5^7 + 1107078702938956629014939175949151312339759748215028563041446882714\ 7241079554303884107/55187173439309534811702478939945931671322084026\ 1664295396619959899021316419536*c_0110_5^6 + 3884856855895806174632761564172826097401290813038839080689153577635\ 68191683542321583/1793583136777559881380330565548242779317967730850\ 408960039014869671819278363492*c_0110_5^5 - 1005560677125270680168286185584052386479760192846350024078264887103\ 5603645755148162235/35871662735551197627606611310964855586359354617\ 00817920078029739343638556726984*c_0110_5^4 - 1048474911427913274516171721145776316710001959588205343915187477919\ 16655929094031385/1793583136777559881380330565548242779317967730850\ 408960039014869671819278363492*c_0110_5^3 + 1554887084875290052203367442838322721841492943358853945234654156468\ 337487580626803713/717433254711023952552132226219297111727187092340\ 1635840156059478687277113453968*c_0110_5^2 + 5392163944797462719853714710547734616556492211607080842311305793152\ 8237912078361/68983966799136918514628098674932414589152605032708036\ 924577494987377664552442*c_0110_5 - 2230415654291825939841842987035102808212644052397844595163350929477\ 3603319817089869/35871662735551197627606611310964855586359354617008\ 17920078029739343638556726984, c_0011_0 - 1, c_0011_1 - 376540085670941185139122885818251608026971997033856597736206\ 837002470196620811/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^30 - 2238796126091555069296964986495094389167752722648251272150187490972\ 726415221981/896791568388779940690165282774121389658983865425204480\ 019507434835909639181746*c_0110_5^29 + 3518705372124310721324728333112365182522996338188910734386743362410\ 0452468541438/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873*c_0110_5^28 + 7107207612368179814471007203712745637823258213197299950513518666770\ 6858868971643/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873*c_0110_5^27 - 2185155403374636964276763023977917157606484803980726495656662809334\ 191883314283567/896791568388779940690165282774121389658983865425204\ 480019507434835909639181746*c_0110_5^26 - 1976616100166792296114110056914898022692485718722144842541640830012\ 994339491814715/896791568388779940690165282774121389658983865425204\ 480019507434835909639181746*c_0110_5^25 + 1462565880006415513361333370209918673877136074908546593816016050121\ 0886291883711562/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^24 + 1075942579826285730691978281083359987700267716905007049765316783809\ 1153790484258975/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^23 - 2053143706858795425107617643076377600386428481722091941541186273605\ 90451834673428481/8967915683887799406901652827741213896589838654252\ 04480019507434835909639181746*c_0110_5^22 - 1746882262421456416027055507090880029365015775196008249733437209203\ 1402718176598786/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^21 + 8509287193536436597664289375991975300442168143253374973888032383444\ 70098657563611675/8967915683887799406901652827741213896589838654252\ 04480019507434835909639181746*c_0110_5^20 + 7582196891949244960280313762617024728972530376045060260365582964907\ 8917057786387011/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^19 - 1106599464249705755381000012892391230131879401268540015434299655071\ 425084329452835328/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^18 - 3338260366034553570108923031989492590679740981224281467804743645176\ 18045632119778196/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^17 + 1380598464363018015614446535295683741042341423513440170747081610162\ 74550537196737820/3449198339956845925731404933746620729457630251635\ 4018462288747493688832276221*c_0110_5^16 + 8505424218690285914802053941066614267069754384187932306408393457599\ 25013200309966868/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^15 - 2469099580165060603627360762338692100118296569480734405665849286246\ 80787505710575761/6405654059919856719215466305529438497564170467322\ 8891429964816773993545655839*c_0110_5^14 - 1134762228350006468565641467567697763437235929050142198325310690339\ 155055093088645739/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^13 + 9549215735425119502550756623780584493857830563576074020692844948189\ 41934732099499089/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^12 + 8550286735808801525385336422368845546677410111842769932178685342686\ 29493859273853633/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^11 - 7752456363511337275251985433655142845465537841238467308215470288512\ 1923231890648289/12811308119839713438430932611058876995128340934645\ 7782859929633547987091311678*c_0110_5^10 - 5440260680703358969908647200151257430284903709425772544367230711936\ 6113775138988741/64056540599198567192154663055294384975641704673228\ 891429964816773993545655839*c_0110_5^9 + 3481221825584551728224009677711488878274515542991174045457275806766\ 2431391066976299/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^8 + 2875183688489933316218074654479844918007858231420586671906710998649\ 5848490795098525/12811308119839713438430932611058876995128340934645\ 7782859929633547987091311678*c_0110_5^7 + 8546202885466707717200572496377632615768151017051419333078484767999\ 27204229153588/3449198339956845925731404933746620729457630251635401\ 8462288747493688832276221*c_0110_5^6 - 3060196214615149131628961363123168891837774403002235868517727750074\ 9012835654986539/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^5 - 3092064781905428392324321725507628970642684988012482102833251365708\ 100315501866642/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^4 + 1244766197815418116497881729665556292278764189466418066675744985623\ 172108949214650/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^3 + 3063378431565711772218626873029477346616320321549077555002331325279\ 77754266055641/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^2 - 6562275545521234844336724452281465902585800856155455460220600778643\ 672349967023/689839667991369185146280986749324145891526050327080369\ 24577494987377664552442*c_0110_5 - 1017889036340732275052467091390986247029027043592872313767430920128\ 7819685668228/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873, c_0101_0 + 795426523755977369470735701378627613793795156713594751735278\ 570425851841713371/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^30 + 2179275935997482749409447411310255730325741740552705334761971566461\ 521482997065/448395784194389970345082641387060694829491932712602240\ 009753717417954819590873*c_0110_5^29 - 7479369747337313775094520250012144731271239533039077030809315076059\ 6862173135097/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873*c_0110_5^28 - 1894223452280222249838582429282027099815593312257405557519296262547\ 9159093699097/64056540599198567192154663055294384975641704673228891\ 429964816773993545655839*c_0110_5^27 + 2334604011452245734491025898724556510989936302549919680644673630454\ 870345855070074/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^26 + 2196615706162947758857160052054574267912704736298088431294509682158\ 54890405497089/6405654059919856719215466305529438497564170467322889\ 1429964816773993545655839*c_0110_5^25 - 3111807277319729448405599247629865486817962942718784548353923376899\ 9222379956268965/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^24 - 4074487493120713610373262720516228499537054386227978623856839201221\ 336893412043539/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^23 + 2159990690431552545741086800188982757906014839552730855234076724352\ 76671833123173731/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^22 - 1299436341933050224443965028325052012796936996797484121479817957860\ 9386577878940481/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^21 - 1261963249816965599420984624538084808437656875900231905682185570955\ 14103684376390016/6405654059919856719215466305529438497564170467322\ 8891429964816773993545655839*c_0110_5^20 + 4028285031229838999925443228716059190125362349122501820848870562552\ 0108483460448062/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^19 + 2278562177691832484440223242454307882435215281088314734224099760809\ 708883587490183336/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^18 + 1954179289369411887617909092407661220765520797951701493903014136013\ 47437039348170565/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^17 - 2853715678668882316178189822099691325186912093267542543135560178767\ 31121029596329196/3449198339956845925731404933746620729457630251635\ 4018462288747493688832276221*c_0110_5^16 - 9693604881959195140547019176892243976182470680385588868997100843523\ 53123129732003699/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^15 + 5238306565706191935661655538467232385833455739138587720303289110516\ 16567416558902205/6405654059919856719215466305529438497564170467322\ 8891429964816773993545655839*c_0110_5^14 + 1565417649130716043913677886091926092050107103835740543481003951297\ 639842887861938807/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^13 - 2162016307283572637113246239292214578340285685171742479154445912279\ 388673031725802504/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^12 - 1290323644960568466126516490337511723816533033671421005539977664255\ 032463554673713262/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^11 + 7282982202746678189719001892532909234891199323519814703354859336139\ 06652809829562435/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^10 + 6075836057445976677652858881844665843689995797305192340230686114498\ 79827492687818531/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^9 - 1678675831907204045108295441990636803478750604679854199048822775089\ 4227294081626319/64056540599198567192154663055294384975641704673228\ 891429964816773993545655839*c_0110_5^8 - 1674091849942927197757272149992200069978996152079794755576443988670\ 62300038544095931/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^7 - 1884738436511146475108553598150502264804325741144933999622035505164\ 1970554823730/34491983399568459257314049337466207294576302516354018\ 462288747493688832276221*c_0110_5^6 + 2641533389807640630099834466395648067809512911683729086484255977729\ 3863213129576194/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^5 + 2812451397454592777417375616069486084594986154208556710058907111631\ 515359380206421/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^4 - 2184415509622415198253990825571203497611272118737865259803519562417\ 507539282021556/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^3 - 3529034722966649121164524085079710673362655777395360783453806854410\ 55695745974420/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^2 + 5462692563017243918293562551175904187520399673189986622282944754305\ 832310633182/344919833995684592573140493374662072945763025163540184\ 62288747493688832276221*c_0110_5 + 1331535981874650117125944154838627535848802039316260900091120469530\ 9131577199344/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873, c_0101_1 - 544863055406970366272218771121320276795778469867865889384583\ 60968438993313894/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^30 - 5537805384265182111209605909155320367372674416596095071692445207719\ 81793301563/8967915683887799406901652827741213896589838654252044800\ 19507434835909639181746*c_0110_5^29 + 4806397082069338557341540083759242896152664558003979440549519813454\ 091115063214/448395784194389970345082641387060694829491932712602240\ 009753717417954819590873*c_0110_5^28 + 2115946899335059481156949941964094929492738942680553555651029030457\ 2987636556268/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873*c_0110_5^27 - 2835052325821072360544452697772477463729810332067477472059442972903\ 22281258540583/8967915683887799406901652827741213896589838654252044\ 80019507434835909639181746*c_0110_5^26 - 9683706475434196643166699335641794652299862239302918832698065397927\ 15378040087905/8967915683887799406901652827741213896589838654252044\ 80019507434835909639181746*c_0110_5^25 + 1982743935976105779139718561310037144509472828249350392065825025946\ 683646387352643/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^24 + 1059850648904834591923784518338270942491054241589006032312242204108\ 1148296530955879/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^23 - 3088205511231095867942507761796212148125684339171126191593997280502\ 7087179624096129/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^22 - 3346288067193544501602871303515954033722193243979665511122638133864\ 7959207161251655/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^21 + 1429820152842127877595668035573731109611162858244783014460071303482\ 42897353560028109/8967915683887799406901652827741213896589838654252\ 04480019507434835909639181746*c_0110_5^20 + 1352276458345392868508209469136995433307660502367833123004185487241\ 64327857084216141/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^19 - 1983699863403967751979738192873487888197352997501415484263651912439\ 49707645298903352/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^18 - 3644393195897214631700375390277347347706376841377291017521808868440\ 33127360718412462/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^17 + 2421016181455118845528361896315504675572101567151104344324886637590\ 4375902952029835/34491983399568459257314049337466207294576302516354\ 018462288747493688832276221*c_0110_5^16 + 9102601008139571920972182841047082129018255660666979075531939417282\ 9240705315506836/64056540599198567192154663055294384975641704673228\ 891429964816773993545655839*c_0110_5^15 - 3547206071331942884262424060266869737031558357397789423697171429101\ 3759325542165159/64056540599198567192154663055294384975641704673228\ 891429964816773993545655839*c_0110_5^14 - 6838814829662129368791992970680928311188243045416685126834397398212\ 21937208921134909/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^13 + 5706268176165039957360429805187312646461721941550976184516189639990\ 0240159258532986/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^12 + 4502880277112302471226390675787974796830300772074962688180596987794\ 67119236555629771/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^11 + 1033988631693044384390705541544025486863440376764397244531760538131\ 91919236886185263/8967915683887799406901652827741213896589838654252\ 04480019507434835909639181746*c_0110_5^10 - 1831756279086273036484838307206556000695004389609808558549963175156\ 91730214093571463/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^9 - 9246157236890929873771047210563172864336786298907101502478370328596\ 8885251173098245/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^8 + 9111354993163418047701599734209496158655400381452088746222569256077\ 6487922250571667/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^7 + 1245455207266501686069635906960266507864999147282487267422027847995\ 139707082263737/344919833995684592573140493374662072945763025163540\ 18462288747493688832276221*c_0110_5^6 - 1909838470551937870927781975101081664780913173803011151677824143257\ 483686603218421/128113081198397134384309326110588769951283409346457\ 782859929633547987091311678*c_0110_5^5 - 2935084794010907714648852635958633622542459140880509461411129076089\ 710377923015892/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^4 + 5591492278640402470074086811775490335937989924680886708120608523318\ 24744040539158/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^3 + 2617400513125928795779095102774075050407473623659029146158058470926\ 15224725915941/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^2 - 3444246493561232158296595406906955452499161957305448342094314084591\ 650801158459/689839667991369185146280986749324145891526050327080369\ 24577494987377664552442*c_0110_5 - 1183660489809562606334194725727657264013836048951900297383039027925\ 265542769708/640565405991985671921546630552943849756417046732288914\ 29964816773993545655839, c_0101_4 - 283401716383765031938332007284720283760938508341370590137194\ 591180972577500300/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^30 - 7471010209523249615097141336699202433096579341326370317341569205442\ 88235471094/4483957841943899703450826413870606948294919327126022400\ 09753717417954819590873*c_0110_5^29 + 2673242263261161123446067579624778085646479629332596276946893024552\ 2241813471613/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873*c_0110_5^28 + 4449720317089974823505724382563399299613079093466296287279833253827\ 2414740961379/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873*c_0110_5^27 - 1195760398814616962499142060723862046752305419796176033324729761690\ 26624599812369/6405654059919856719215466305529438497564170467322889\ 1429964816773993545655839*c_0110_5^26 - 4627168767003537286501049034488957367425176297394067737653255431788\ 49331462521667/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^25 + 1115400878403652974471191687903207183797404761078393222389194927185\ 7398966187168675/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^24 + 4605806092522736073246373353707574085596499730664296389243666802771\ 7379012027124/64056540599198567192154663055294384975641704673228891\ 429964816773993545655839*c_0110_5^23 - 1103439238444849952024684203957963686314719915806272076928449142119\ 2084080637722115/64056540599198567192154663055294384975641704673228\ 891429964816773993545655839*c_0110_5^22 + 1242850722311606063454398001599691986825832245767582977136487809463\ 6347404825195662/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^21 + 3151502810212627531798433661286639554500985219228671113509226806626\ 75311820807811553/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^20 - 4596085984632909602291480551258849499907114720525526626821366343710\ 4375152963384454/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^19 - 8137988012532016601236699802987857469879168172731525024827010351994\ 20354888089552565/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^18 + 1487754848186955700594588428377826535505100803679735039159699110156\ 801386623044015/640565405991985671921546630552943849756417046732288\ 91429964816773993545655839*c_0110_5^17 + 1028243044074073510555188909121537726707275433983223741263587474339\ 58840623967430991/3449198339956845925731404933746620729457630251635\ 4018462288747493688832276221*c_0110_5^16 + 2197091548391615341948316142733776903948062109165912189951310584761\ 96890165227577377/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^15 - 1929547685703567294117347431928459625489616147178951246033933683084\ 38578210339935276/6405654059919856719215466305529438497564170467322\ 8891429964816773993545655839*c_0110_5^14 - 4413233852623787213288727290288504473152245284714816922941170490164\ 85946454168900739/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^13 + 8288521094259799140029505559009481204946655831400910827773565001712\ 52310883425423431/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^12 + 3967406116352607265148083314477183005016943308529573369462227613668\ 46417356586578089/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^11 - 3009339635963995329706501172831066746249295163541028580354399789333\ 98665803974619080/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^10 - 1972209509586128695940198766077965244710504155833508936139043506251\ 53274658288885071/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^9 + 5869664502765338508372840708365355688478571515835767128570776335907\ 6408983892806134/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^8 + 5670790044154023658739618876067682821764842954870515109040143668335\ 1568997226952721/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^7 - 2967970641025466705540422916508310446912557814673243546743554847199\ 69477405511027/3449198339956845925731404933746620729457630251635401\ 8462288747493688832276221*c_0110_5^6 - 9283186942541021293673465868664338509113712002580757058173902129292\ 315382437697895/448395784194389970345082641387060694829491932712602\ 240009753717417954819590873*c_0110_5^5 - 4796420497025508851918041277996585296387784371946476333930041006049\ 78922598212830/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^4 + 7850663068441922224961053007263877323688813783044068628791034065925\ 47877478300774/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^3 + 8997008774972606159262842091906670851540768349733079813855566864943\ 2659072646944/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873*c_0110_5^2 - 1937895630172954887677952913298483495427283970986157365209316536294\ 614852537424/344919833995684592573140493374662072945763025163540184\ 62288747493688832276221*c_0110_5 - 4164977154402766231897792850295853145300549699457478523964537605327\ 025272076841/448395784194389970345082641387060694829491932712602240\ 009753717417954819590873, c_0101_6 + 567345748220214842966304789676322801821147464353608160737679\ 49971387353189687/2562261623967942687686186522211775399025668186929\ 15565719859267095974182623356*c_0110_5^30 + 4775308275834710463378443544168046937189629842615349411565719064628\ 47450332363/4483957841943899703450826413870606948294919327126022400\ 09753717417954819590873*c_0110_5^29 - 8840238544375997118784489129260362753375775901801818746549251523870\ 376292643807/448395784194389970345082641387060694829491932712602240\ 009753717417954819590873*c_0110_5^28 - 1441741909197950706666220870285419446126017203848829640417155613106\ 10682038036141/1793583136777559881380330565548242779317967730850408\ 960039014869671819278363492*c_0110_5^27 + 1054127785353000250526737563777389727541825801593753128437816645357\ 861215149943139/179358313677755988138033056554824277931796773085040\ 8960039014869671819278363492*c_0110_5^26 + 8048075111130850181797905953642477824577000805705180678612087439547\ 68228261502261/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^25 - 1474782334437400682033910845977902038168849503141328404948280294620\ 1008117319101767/17935831367775598813803305655482427793179677308504\ 08960039014869671819278363492*c_0110_5^24 - 3451834813928391778409312118709334811383140691667772632346212625968\ 8465314962892375/17935831367775598813803305655482427793179677308504\ 08960039014869671819278363492*c_0110_5^23 + 5711183881066908537003695346504197511513351777714718686798490493508\ 6446419642177383/89679156838877994069016528277412138965898386542520\ 4480019507434835909639181746*c_0110_5^22 + 2155014931359104927543679339944584107578941267521521386465176335813\ 82304079217226321/1793583136777559881380330565548242779317967730850\ 408960039014869671819278363492*c_0110_5^21 - 2634105808852507965178438247627946123742297994222452335851878190324\ 74585221077964965/8967915683887799406901652827741213896589838654252\ 04480019507434835909639181746*c_0110_5^20 - 2176274535389214142415836645357266069486351495309647330024807574294\ 49098501827905066/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^19 + 3672648658623448428740746276510898653622532032482804161414637090826\ 29984407456039634/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^18 + 1183397543976615147479706425294803034009755819762769978966017267730\ 134470326327059343/896791568388779940690165282774121389658983865425\ 204480019507434835909639181746*c_0110_5^17 - 4585397718379143453973796201346910429053217241713791194928137150863\ 8075696004954317/34491983399568459257314049337466207294576302516354\ 018462288747493688832276221*c_0110_5^16 - 1049799587056610627100567442450743249815110940840657696142093382267\ 890689256630704290/448395784194389970345082641387060694829491932712\ 602240009753717417954819590873*c_0110_5^15 + 1438757027281151245804170012837208733727292861836662065225588988238\ 61764382366161381/1281130811983971343843093261105887699512834093464\ 57782859929633547987091311678*c_0110_5^14 + 1638844798014509507326321793796553051388460393040535029807848320470\ 15718258248185320/6405654059919856719215466305529438497564170467322\ 8891429964816773993545655839*c_0110_5^13 - 1615039577744295172089661078889607917020695650992171681865511856811\ 84918092902779836/4483957841943899703450826413870606948294919327126\ 02240009753717417954819590873*c_0110_5^12 - 3074726347443300237891358034363834374320510798741790314954216090809\ 674627280666906945/179358313677755988138033056554824277931796773085\ 0408960039014869671819278363492*c_0110_5^11 - 5912729742292886868086825522192558214974055134053601803563478366582\ 8800632445030445/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^10 + 1266639985043912118562248306736567964947652061112076793212416623526\ 967002060803100455/179358313677755988138033056554824277931796773085\ 0408960039014869671819278363492*c_0110_5^9 + 2869106874421652275207153035392129241873394834136410998675984828949\ 68279122269120171/1793583136777559881380330565548242779317967730850\ 408960039014869671819278363492*c_0110_5^8 - 1576078539051851116997340153487708416987135487560289607157212718345\ 19753682739105697/8967915683887799406901652827741213896589838654252\ 04480019507434835909639181746*c_0110_5^7 - 8191650261914402365936798322147729286670527950629309702315683611956\ 390062067271377/137967933598273837029256197349864829178305210065416\ 073849154989974755329104884*c_0110_5^6 + 1128854868520706673744214310846656960780593978269846471438792390336\ 9689458987072491/44839578419438997034508264138706069482949193271260\ 2240009753717417954819590873*c_0110_5^5 + 6943882710915023826219109427704066344050389656370474061885294153230\ 26766934849425/6405654059919856719215466305529438497564170467322889\ 1429964816773993545655839*c_0110_5^4 - 8830456621924603094265368110636949010154335395403775910894217314049\ 06213520940045/4483957841943899703450826413870606948294919327126022\ 40009753717417954819590873*c_0110_5^3 - 1689162990178771486359084270389835906718697876033599798509454203915\ 976567352582753/179358313677755988138033056554824277931796773085040\ 8960039014869671819278363492*c_0110_5^2 + 2356937291687050420947603101593333550084475575766534798807564159132\ 367891123292/344919833995684592573140493374662072945763025163540184\ 62288747493688832276221*c_0110_5 + 1257028852128216500497786812536965343754013667349159118712480630832\ 6320961395849/44839578419438997034508264138706069482949193271260224\ 0009753717417954819590873, c_0110_5^31 + 2*c_0110_5^30 - 96*c_0110_5^29 - 97*c_0110_5^28 + 3053*c_0110_5^27 - 246*c_0110_5^26 - 40383*c_0110_5^25 + 23879*c_0110_5^24 + 273104*c_0110_5^23 - 216867*c_0110_5^22 - 1083112*c_0110_5^21 + 866816*c_0110_5^20 + 2765016*c_0110_5^19 - 1852314*c_0110_5^18 - 4686332*c_0110_5^17 + 2198272*c_0110_5^16 + 5248506*c_0110_5^15 - 1433888*c_0110_5^14 - 3901780*c_0110_5^13 + 422399*c_0110_5^12 + 1938954*c_0110_5^11 + 42031*c_0110_5^10 - 640731*c_0110_5^9 - 75340*c_0110_5^8 + 137195*c_0110_5^7 + 25210*c_0110_5^6 - 18316*c_0110_5^5 - 3884*c_0110_5^4 + 1359*c_0110_5^3 + 282*c_0110_5^2 - 40*c_0110_5 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB