Magma V2.19-8 Tue Aug 20 2013 16:15:53 on localhost [Seed = 3414841328] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0103 geometric_solution 3.63255894 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 1 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.694524099928 0.021096715210 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371112899085 0.082017671018 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6.372283440562 5.323863656703 2 2 4 4 0132 3201 3201 0132 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.129877580724 0.162411254695 3 5 3 6 2310 0132 0132 0132 0 0 0 0 0 1 -1 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 1 -1 0 1 0 0 -1 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.930932141981 1.991101493915 6 4 6 6 3201 0132 2310 3120 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 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.010749770937 0.997620577812 5 5 4 5 3120 3201 0132 2310 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 -1 0 1 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.010749770937 0.997620577812 ==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' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(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' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 1238314069524819354277389525844435999322817503166041532021034418042\ 95378/2764530685228440158522843521072172552890639600668628145091027\ 74109999*c_0101_5^26 + 23748000222137663343948826122933106838680090\ 4292389426251672226340650059/92151022840948005284094784035739085096\ 354653355620938169700924703333*c_0101_5^25 - 8662388886742422969190034423760456351106801732935865381918519626544\ 32456/3071700761364933509469826134524636169878488445187364605656697\ 4901111*c_0101_5^24 + 397438505414346681357206626732159969001645589\ 80075128187352620851045215449/2764530685228440158522843521072172552\ 89063960066862814509102774109999*c_0101_5^23 - 3663333935857634314199373774717843771575106489216421447162397897807\ 7972466/27645306852284401585228435210721725528906396006686281450910\ 2774109999*c_0101_5^22 + 979847782536008480272124412857999249164356\ 2945306524810084130111760319264/30717007613649335094698261345246361\ 698784884451873646056566974901111*c_0101_5^21 - 1144049882814801440701984100541350769491465357553438918444184605509\ 60145632/2764530685228440158522843521072172552890639600668628145091\ 02774109999*c_0101_5^20 - 46616169460072987615686667758308023336248\ 5563942426277930341970425989379280/27645306852284401585228435210721\ 7255289063960066862814509102774109999*c_0101_5^19 + 4552497800988871515411338996606047773739466317147958183690802105152\ 01325087/2764530685228440158522843521072172552890639600668628145091\ 02774109999*c_0101_5^18 + 11892420410052029113788058990403657042365\ 8547966754381217519160214704461695/27645306852284401585228435210721\ 7255289063960066862814509102774109999*c_0101_5^17 - 2515248274887721120528533399334931551547476777403138420127587406297\ 65046142/3071700761364933509469826134524636169878488445187364605656\ 6974901111*c_0101_5^16 - 280056282928041476424169433675902745680771\ 87021438430762467101744203029689/3071700761364933509469826134524636\ 1698784884451873646056566974901111*c_0101_5^15 + 2617353419608990298237397053345188300614986109733914923858162085580\ 798171069/276453068522844015852284352107217255289063960066862814509\ 102774109999*c_0101_5^14 - 1355930115927262926501635867911252453763\ 923292737699686721212241801381565635/276453068522844015852284352107\ 217255289063960066862814509102774109999*c_0101_5^13 - 2279289494320377599346890766925378395892554874038761286077209565102\ 882975590/276453068522844015852284352107217255289063960066862814509\ 102774109999*c_0101_5^12 + 2261411789169472290084817766079239986282\ 605448218510943639913899875957584839/276453068522844015852284352107\ 217255289063960066862814509102774109999*c_0101_5^11 + 2154552581389357107979668830897488157750502888103195689037650415123\ 762944190/276453068522844015852284352107217255289063960066862814509\ 102774109999*c_0101_5^10 - 4898086276324415632422585748727871631010\ 22797828258164963600180061366865731/2764530685228440158522843521072\ 17255289063960066862814509102774109999*c_0101_5^9 - 3331203627822613405106861838045264237441980356056129411110460265703\ 20867750/9215102284094800528409478403573908509635465335562093816970\ 0924703333*c_0101_5^8 - 4631296285495503559102071137140968537124261\ 23368997422871307421883942560356/2764530685228440158522843521072172\ 55289063960066862814509102774109999*c_0101_5^7 + 9803035766211179473681682592197259546120968921010331441484383176051\ 765258/307170076136493350946982613452463616987848844518736460565669\ 74901111*c_0101_5^6 + 179706519629082929726948405318456734343034045\ 778306168881271763885679250244/276453068522844015852284352107217255\ 289063960066862814509102774109999*c_0101_5^5 + 5079179862641675916397295632029990659901205852855582641774391948993\ 553938/307170076136493350946982613452463616987848844518736460565669\ 74901111*c_0101_5^4 - 125259854330833260533507241079472832680634706\ 6911292331848499521397570152/92151022840948005284094784035739085096\ 354653355620938169700924703333*c_0101_5^3 - 2407152222778402407746928000100354660136383131995281662288438626498\ 307359/921510228409480052840947840357390850963546533556209381697009\ 24703333*c_0101_5^2 - 276719833211083476176996141257698425866984292\ 483404212537139078451894365/307170076136493350946982613452463616987\ 84884451873646056566974901111*c_0101_5 - 2588824504332612398001500673366610041286609581049478172818812143483\ 67888/2764530685228440158522843521072172552890639600668628145091027\ 74109999, c_0011_0 - 1, c_0011_4 - 113673732825048292678444328468799734962878461961385247023297\ 9008932/23628467395114873149767893342497201306757603424518189274282\ 28838547*c_0101_5^26 + 67084984641905545981342512668522258081834313\ 15410950521730406035946/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^25 - 7250063156470547536292953533282141474104120213243677503197520061750\ 8/23628467395114873149767893342497201306757603424518189274282288385\ 47*c_0101_5^24 + 37526060168470650609784006375081547182310684221392\ 0213258963027930544/23628467395114873149767893342497201306757603424\ 51818927428228838547*c_0101_5^23 - 3882241073626306589295443091710267875639894933471676927277045905523\ 47/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^22 + 8490494891883936713553958006575543880223646250248\ 50982343932938421252/2362846739511487314976789334249720130675760342\ 451818927428228838547*c_0101_5^21 - 1164077494931349683752468097490119288409212312211462522812391736422\ 118/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^20 - 415030405212986182025709887853814781638798219723\ 3170451327180324479463/23628467395114873149767893342497201306757603\ 42451818927428228838547*c_0101_5^19 + 4838918429403588837543314220333049442654879056649872381564492569765\ 491/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^18 + 604163790340319489821084166560637904249640467481\ 095512848215814805479/236284673951148731497678933424972013067576034\ 2451818927428228838547*c_0101_5^17 - 2098607984000050509184502776560668398462104903746029900179746170959\ 2981/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^16 + 74921736121221782736327359454486333076002531492\ 2431202244566538460081/23628467395114873149767893342497201306757603\ 42451818927428228838547*c_0101_5^15 + 2494014943816245822508828699288603580895600203310870443294695477120\ 4467/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^14 - 15616688385453398711120487300048682633449879664\ 748067627895106384089464/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^13 - 1940757520743885730773922395001708747936838301659412825445000150060\ 9349/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^12 + 24001353028275676481041698531190247248068538287\ 491212886252211056790543/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^11 + 1724344340234929567962992897439934230310748146333162805140656220526\ 1732/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^10 - 75389122039561299100824492973507395199520968940\ 25414394916557748359373/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^9 - 9109920793752196446410999892652340228331908108593440234431712237300\ 334/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^8 - 3295926045149769335313504820646727188253152002031\ 971250462140203900978/236284673951148731497678933424972013067576034\ 2451818927428228838547*c_0101_5^7 + 1472428327727004331327898807090903015389024312606395128236421646833\ 820/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^6 + 1714318872172568970111550686440761942194526685727\ 199406963918104846865/236284673951148731497678933424972013067576034\ 2451818927428228838547*c_0101_5^5 + 2743305350076592280335325330756624090709324482473737374809593616232\ 60/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^4 - 79855373979267501097629395173201123733814093429278\ 922097265986512944/236284673951148731497678933424972013067576034245\ 1818927428228838547*c_0101_5^3 - 7341676214784327813637356348727034\ 4383316875402418945323322399930341/23628467395114873149767893342497\ 20130675760342451818927428228838547*c_0101_5^2 - 1900845077754517147003966557010616178362208170143586498908391838572\ 7/23628467395114873149767893342497201306757603424518189274282288385\ 47*c_0101_5 - 20914162625843386761832165082785991225121442461519577\ 46871478996834/2362846739511487314976789334249720130675760342451818\ 927428228838547, c_0011_6 + 350576668594674312460235727986735782458243011735827070429042\ 5018216/23628467395114873149767893342497201306757603424518189274282\ 28838547*c_0101_5^26 - 20260046726410098590442736894684515792830921\ 815174023015544393619100/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^25 + 2212821212122719428546833988450743855533481045192712515605033728225\ 68/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^24 - 1131119339121671299295612841312448487207386562012\ 931614350070347684120/236284673951148731497678933424972013067576034\ 2451818927428228838547*c_0101_5^23 + 1068992552758413875734520904184204816856372584292366298421133038725\ 159/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^22 - 253747301161701687159639875421116207765108036495\ 6467378625490618378317/23628467395114873149767893342497201306757603\ 42451818927428228838547*c_0101_5^21 + 3312392151968173649323190687867869485866133722199228144883263184930\ 364/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^20 + 130804624044754179102778571131652912681124112106\ 15093201090102597412134/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^19 - 1319377939580448911816245503465425584467116338826150745192163112823\ 7549/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^18 - 28527527954513990442681545306091893235216865333\ 95252637560216340365080/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^17 + 6408309977868838547423308964893369027141963620338958642225811462566\ 2599/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^16 + 54364256439932547717013887667848241240188528388\ 72544311250711660679018/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^15 - 7347489001986176628786110412252800413886282379758948602994236875367\ 5864/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^14 + 40722859435321490835481825450535631906995492321\ 589658939988955106173048/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^13 + 6286679725703553437679023573435206418703109144011869729021346506817\ 7443/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^12 - 65431519054558277583832604216441589154669249787\ 802277096526272226760767/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^11 - 5849367015137831679344084025422909659646507778321389731485500720763\ 3040/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^10 + 15051390049475921310274363110551629290010039131\ 411351781943853217011083/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^9 + 2703831263307807538546230994603886474402080605956073958851242245360\ 2576/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^8 + 120999394044466333454698540785744880051515688800\ 01324675997326111768278/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^7 - 2639857018270113767532358157038606768710652542469776267794439675658\ 594/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^6 - 4799100720986450695116196239808851823821872631664\ 360623971186481896364/236284673951148731497678933424972013067576034\ 2451818927428228838547*c_0101_5^5 - 1086348038194403416899474629481949917779863132933971345911324586669\ 528/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^4 + 1279872397153925160953340074952243216921845740277\ 93086095902660191070/2362846739511487314976789334249720130675760342\ 451818927428228838547*c_0101_5^3 + 1814995814294694828919698994099716047688148307352042868302048974072\ 04/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^2 + 60839372996937964468227161976770380775905095179903\ 898080917976845217/236284673951148731497678933424972013067576034245\ 1818927428228838547*c_0101_5 + 506339718877692446145516784149564422\ 1516186072917143593949282360291/23628467395114873149767893342497201\ 30675760342451818927428228838547, c_0101_0 + 131999057511782550250305667987169190891838709459172484723326\ 17822014/2362846739511487314976789334249720130675760342451818927428\ 228838547*c_0101_5^26 - 7702408497460491633744051977905262832264752\ 1200127270110471652836907/23628467395114873149767893342497201306757\ 60342451818927428228838547*c_0101_5^25 + 8374924004742266014857393214695778722252820600880954131834774372488\ 34/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^24 - 4305935837799665481401201534488873401325064323492\ 737904058768837027779/236284673951148731497678933424972013067576034\ 2451818927428228838547*c_0101_5^23 + 4266763885683041672083019354889570851609221977589952034846870709822\ 424/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^22 - 979557773333318500166862925421408145498212611320\ 0295505583629912554366/23628467395114873149767893342497201306757603\ 42451818927428228838547*c_0101_5^21 + 1303352003068600519613190911811618401778125546324343958158703533097\ 2684/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^20 + 48520491115531538129582655975043862766725657629\ 317339357446793018541503/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^19 - 5238130618940530605122630488890378312681624089378219078441721114824\ 3690/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^18 - 78176053359694164228029318241804455526906447978\ 32317414388835044514994/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^17 + 2415129517139091283536244110732980660756285941893883746133984506247\ 37740/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^16 + 6929033564736143228264965580861454998042751323\ 739204405168892191661663/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^15 - 2769152361711605293188986382188982650571279627543873602373673263961\ 64164/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^14 + 1679730773996400796443601792738116040904274218\ 18965024294373829610505647/2362846739511487314976789334249720130675\ 760342451818927428228838547*c_0101_5^13 + 2264863100755508809881797928482790114030516634816270915858061483890\ 54468/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^12 - 2583225397577990800963307593684280447474189092\ 04529460713950543870896033/2362846739511487314976789334249720130675\ 760342451818927428228838547*c_0101_5^11 - 2057936840292754679907647321015750956632575801307212343133093683337\ 67800/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^10 + 6692470384554185676147492321739038233519086670\ 1064508683518962441214026/23628467395114873149767893342497201306757\ 60342451818927428228838547*c_0101_5^9 + 9839805721237786812126000774843277016395036690649189212116585127884\ 0274/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^8 + 412637311873699110530739416543870434365820908306\ 69068989592519367689911/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^7 - 1191661908814921228606060111402997132795154001366586412633236342924\ 1207/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^6 - 175458104575703627440156783653056711659951298622\ 78326904337830783487187/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^5 - 3369742633677106265382630520317242735578174183971251293143812393692\ 017/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^4 + 5481944467346682509449470980073323000374256333609\ 67639260188201827227/2362846739511487314976789334249720130675760342\ 451818927428228838547*c_0101_5^3 + 6735594057114175328751625745334956922088368790860467878196175205319\ 95/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^2 + 20108680259179463190867142077960971353065216656795\ 9451035938193442671/23628467395114873149767893342497201306757603424\ 51818927428228838547*c_0101_5 + 14948690319998650871488980837432464\ 273626202221936342320730792168148/236284673951148731497678933424972\ 0130675760342451818927428228838547, c_0101_1 - 242307158799622242570416525830520797813918814984907610803449\ 46331114/2362846739511487314976789334249720130675760342451818927428\ 228838547*c_0101_5^26 + 1387382480815281807788522626747812681532080\ 09078554045352343501635901/2362846739511487314976789334249720130675\ 760342451818927428228838547*c_0101_5^25 - 1521651869516212799598981841182044783972162731989441881712130794530\ 630/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^24 + 773472737130150746453991061841877074019543899629\ 2647425471171061241160/23628467395114873149767893342497201306757603\ 42451818927428228838547*c_0101_5^23 - 6952901005687184686814400216431921026107842313009323972561186482949\ 990/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^22 + 170546457228490486434313861245711428737273331317\ 53497529197690401792711/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^21 - 2191229620200782218601273225241887999023781640572622830705102927593\ 7956/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^20 - 91832028262160634543848582810934015280137421225\ 582770915548670847096950/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^19 + 8656077311605528993665262744555322852777258129797649325942904896087\ 4119/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^18 + 25814109991168842423547641534380883538028839883\ 746637008868176818269167/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^17 - 4423289554635171656655841589901455921572682627846126235125300528644\ 02629/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^16 - 6169449440755102545133072208443533184416707472\ 3657416307886682814912660/23628467395114873149767893342497201306757\ 60342451818927428228838547*c_0101_5^15 + 5110903981268409413619077424246599277127362096020569374475362006260\ 97587/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^14 - 2508795063492920035992182692991741497634679804\ 91303964442680471879992576/2362846739511487314976789334249720130675\ 760342451818927428228838547*c_0101_5^13 - 4539860724724631361354759492413676974704849327574745965027665387637\ 29013/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^12 + 4298816389430779166613138408541822767987567670\ 47607096930615713582059021/2362846739511487314976789334249720130675\ 760342451818927428228838547*c_0101_5^11 + 4345449511293821024703057401686233402169980341500641596828730401479\ 09583/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^10 - 8436942204007602042517167699674100795254908055\ 6997753382129479730455147/23628467395114873149767893342497201306757\ 60342451818927428228838547*c_0101_5^9 - 1990839186047973571290986787221997582224057729252717779222019087651\ 84523/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^8 - 96008313990140418105659868107607305323249118665\ 182181614638297927458658/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^7 + 1532969634661841419054096708662718095029868726910642215877750761273\ 8267/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^6 + 359343480138967184203148227225162711271534278984\ 30147147827657391748266/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^5 + 9865584349354206815444481024118282578380530519803867584069750057386\ 810/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^4 - 6175116195302323565079446594356466111684530201768\ 40904135851082254397/2362846739511487314976789334249720130675760342\ 451818927428228838547*c_0101_5^3 - 1479149109866962060485055183757136923243190244126083449700836480418\ 941/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^2 - 5249809147586726525049669681314228651241034842935\ 48706761563256174698/2362846739511487314976789334249720130675760342\ 451818927428228838547*c_0101_5 - 5739970584029397524281597910959934\ 6136135688956962619819643769630471/23628467395114873149767893342497\ 20130675760342451818927428228838547, c_0101_2 - 154731352464379798865879963296129882962720705475935770383218\ 37312160/2362846739511487314976789334249720130675760342451818927428\ 228838547*c_0101_5^26 + 8960332790097139024882939052778438363765834\ 6970454927363885968091544/23628467395114873149767893342497201306757\ 60342451818927428228838547*c_0101_5^25 - 9776230515498138478321562258085294583183330394613045373279290629480\ 08/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^24 + 5003413089130265102338802212934987814341678624304\ 343614789039000846120/236284673951148731497678933424972013067576034\ 2451818927428228838547*c_0101_5^23 - 4771658135686084849613269321740618385845883130001139110217009021118\ 347/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^22 + 112284521984890659644270537434932191218435859269\ 20005429967076245060092/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^21 - 1473518558980265270504899895654783395566550535969564396755123566980\ 8767/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^20 - 57633497629075696550307058030527561317944726844\ 188468267268231100561824/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^19 + 5899058587000466038639194574690848276404868765252395800564807733190\ 3101/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^18 + 12225895752488266829957343699780101801928792911\ 539438991335492442500360/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^17 - 2830793954309570560688437532628612632202289337060469937571522633273\ 37504/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^16 - 2066297784780809243117173750350821539567170107\ 7889531758286871731015503/23628467395114873149767893342497201306757\ 60342451818927428228838547*c_0101_5^15 + 3259718811188959390820728124365123446089271494404980211337868125922\ 43719/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^14 - 1825093749455619718074778781951607097667663207\ 65858685742080889746892812/2362846739511487314976789334249720130675\ 760342451818927428228838547*c_0101_5^13 - 2760162793001695050665652075432863543784063958349879579807672799559\ 22524/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^12 + 2922798036333238711255633798528474093605871375\ 51287586107209074808778989/2362846739511487314976789334249720130675\ 760342451818927428228838547*c_0101_5^11 + 2560375679564013743903445252473960199752836618208593034390071167464\ 89329/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^10 - 6947475358913330531795810951602492860849329260\ 4848106978314022628189179/23628467395114873149767893342497201306757\ 60342451818927428228838547*c_0101_5^9 - 1201750785455250446370068851020666610614003442153291171206950715666\ 51962/2362846739511487314976789334249720130675760342451818927428228\ 838547*c_0101_5^8 - 53243800541482223211853077413933708387876085507\ 603553285079641754553664/236284673951148731497678933424972013067576\ 0342451818927428228838547*c_0101_5^7 + 1242997533202443906825322752489374183258688777260477196237902361686\ 8320/23628467395114873149767893342497201306757603424518189274282288\ 38547*c_0101_5^6 + 215369076563069953211357471581401921626674024042\ 23635253592940156004051/2362846739511487314976789334249720130675760\ 342451818927428228838547*c_0101_5^5 + 4823474743708348245488491634117377472343361459850614975080596178971\ 127/236284673951148731497678933424972013067576034245181892742822883\ 8547*c_0101_5^4 - 5617059096427757068104045339931939152988556023487\ 18739091079110169223/2362846739511487314976789334249720130675760342\ 451818927428228838547*c_0101_5^3 - 8457920096829108080271837121000772861401532846241663328397834298312\ 88/2362846739511487314976789334249720130675760342451818927428228838\ 547*c_0101_5^2 - 27184866752690861165909019879009047840717157811494\ 1806652496488584724/23628467395114873149767893342497201306757603424\ 51818927428228838547*c_0101_5 - 24334880969531339552053411529174676\ 895359403891963296253351693171592/236284673951148731497678933424972\ 0130675760342451818927428228838547, c_0101_5^27 - 11/2*c_0101_5^26 + 123/2*c_0101_5^25 - 305*c_0101_5^24 + 429/2*c_0101_5^23 - 637*c_0101_5^22 + 743*c_0101_5^21 + 3999*c_0101_5^20 - 2724*c_0101_5^19 - 3785/2*c_0101_5^18 + 18044*c_0101_5^17 + 13329/2*c_0101_5^16 - 41261/2*c_0101_5^15 + 11233/2*c_0101_5^14 + 42405/2*c_0101_5^13 - 13622*c_0101_5^12 - 44055/2*c_0101_5^11 - 420*c_0101_5^10 + 9070*c_0101_5^9 + 5758*c_0101_5^8 + 445/2*c_0101_5^7 - 3259/2*c_0101_5^6 - 730*c_0101_5^5 - 60*c_0101_5^4 + 66*c_0101_5^3 + 69/2*c_0101_5^2 + 7*c_0101_5 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB