Magma V2.19-8 Tue Aug 20 2013 16:18:54 on localhost [Seed = 2084430090] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3063 geometric_solution 6.23143687 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.386586797112 0.250079502353 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.789796892720 0.929601393984 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.420384873775 1.477095244488 6 5 4 1 3201 1023 3201 0132 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 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 0 0 0 0 0.420384873775 1.477095244488 3 2 4 4 2310 0132 2031 1302 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 0 1 -1 0 0 1 -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.111961295633 0.608682621189 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141689316511 0.543018200478 6 6 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652238028966 1.177691681938 ==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' : negation(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' : 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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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_4'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2819743891552737640536402141112211958257106644206733933151863388122\ 6016641/89599773393819046140170524501106272873929212759376673324539\ 941396216662*c_0101_4^23 - 3834236835123596913994191333024580717493\ 3514012268564694207820151825982605/63999838138442175814407517500790\ 19490994943768526905237467138671158333*c_0101_4^22 + 1004788941883023971083354351820662828702558231898628333661541494663\ 52188709/4715777547043107691587922342163488045996274355756667017081\ 049547169298*c_0101_4^21 + 1148970504352882628626198692433132338176\ 3683865204835957252694200278152752687/89599773393819046140170524501\ 106272873929212759376673324539941396216662*c_0101_4^20 - 4878068933865907732665745794939081675305192593881439613075240120360\ 5082977937/89599773393819046140170524501106272873929212759376673324\ 539941396216662*c_0101_4^19 - 7699387160751286962701567470500225617\ 1553639358620510379145259359605093437767/89599773393819046140170524\ 501106272873929212759376673324539941396216662*c_0101_4^18 + 1428577383807380169067687653702606276114090748498001156973218637460\ 07035623979/4479988669690952307008526225055313643696460637968833666\ 2269970698108331*c_0101_4^17 + 833419574903621512350020606428911797\ 86107650276501798702654570607772458660489/8959977339381904614017052\ 4501106272873929212759376673324539941396216662*c_0101_4^16 - 2032050033423562916215489454634969314901811814494511161921367523488\ 2291415773/68922902610630035492438865000850979133791702122597441018\ 87687799708974*c_0101_4^15 + 73885817689001064960043605485029850884\ 0072155208209144395705629595715166967695/89599773393819046140170524\ 501106272873929212759376673324539941396216662*c_0101_4^14 - 9804539326858155783890533980535900197347958446588455906732728243813\ 76050257589/8959977339381904614017052450110627287392921275937667332\ 4539941396216662*c_0101_4^13 - 153939385555250483619623575339815518\ 1895747587349241580313379133184033765105669/89599773393819046140170\ 524501106272873929212759376673324539941396216662*c_0101_4^12 - 3995850707327907874656174929510207071928958243786576690058909161849\ 8291464517/68922902610630035492438865000850979133791702122597441018\ 87687799708974*c_0101_4^11 - 66314898060073440104680531861207826554\ 285593651438097869700806123162387388631/344614513053150177462194325\ 0042548956689585106129872050943843899854487*c_0101_4^10 + 1291205989814421714547869789041674758229281467826206214796982280144\ 96244618163/4715777547043107691587922342163488045996274355756667017\ 081049547169298*c_0101_4^9 + 20103461642914103361511103703816575386\ 62403240942028715963521288784024725945273/4479988669690952307008526\ 2250553136436964606379688336662269970698108331*c_0101_4^8 + 2543896932170167871677480671153795321762129535166568843592646226039\ 66794450264/6399983813844217581440751750079019490994943768526905237\ 467138671158333*c_0101_4^7 + 45636199792740410016569706371304180934\ 00580321212304508862786528970445429443803/8959977339381904614017052\ 4501106272873929212759376673324539941396216662*c_0101_4^6 + 5846438810801057328433822247519850969773195668581213133283257000623\ 40899364023/4479988669690952307008526225055313643696460637968833666\ 2269970698108331*c_0101_4^5 - 3672490179402956287396786618431423141\ 4222857377944700682411860090658588132187/12799967627688435162881503\ 500158038981989887537053810474934277342316666*c_0101_4^4 + 7555581701111607354621611050149550662984187608573774059271095846169\ 7765616308/44799886696909523070085262250553136436964606379688336662\ 269970698108331*c_0101_4^3 - 11466630030541863644267480660698234043\ 1036385169507957185807475181936401632791/89599773393819046140170524\ 501106272873929212759376673324539941396216662*c_0101_4^2 + 5892122990150233059603672457574765972331504853789079464533988800097\ 895456218/447998866969095230700852622505531364369646063796883366622\ 69970698108331*c_0101_4 + 65914854806179812049514513668679573152291\ 2685277815250593756857944819802981/89599773393819046140170524501106\ 272873929212759376673324539941396216662, c_0011_0 - 1, c_0011_1 + 181333530751554727557803103077617350814312396421780966705453\ 2052209/19814191374130704586503875387241546411749051914943979063365\ 754399871*c_0101_4^23 - 3443865727860801819890254992952409411630068\ 8981549062770982526731646/19814191374130704586503875387241546411749\ 051914943979063365754399871*c_0101_4^22 + 1212163752086706537729930731543290218234314586495734137183891606937\ 19/1981419137413070458650387538724154641174905191494397906336575439\ 9871*c_0101_4^21 + 744407710255076740298922908874715279767587617136\ 509145105348237890288/198141913741307045865038753872415464117490519\ 14943979063365754399871*c_0101_4^20 - 3103697093433754117418674894833114326527851387247259839315035452902\ 087/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^19 - 50924043270046348481800032211615418483492946893\ 51089243969090995922035/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^18 + 1815017291391814635154129262135807208740003463333061660727873350548\ 9741/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^17 + 6184127811280163844115951718479633659883769628\ 504885819999721027534804/198141913741307045865038753872415464117490\ 51914943979063365754399871*c_0101_4^16 - 1287907279480225172408197068889021469403208067524618195012465464528\ 579/152416856724082342973106733748011895474992707038030608179736572\ 3067*c_0101_4^15 + 467613668671908319126871345202509781031050886766\ 33336200881478251527020/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^14 - 6091585046202836467297325447326750613049663782998267386279019525225\ 4636/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^13 - 1018292176193924569340959062930026271208230928\ 95675227550170526003593777/1981419137413070458650387538724154641174\ 9051914943979063365754399871*c_0101_4^12 - 2912372713244170045581594045290977494770322889893229360355894454808\ 391/152416856724082342973106733748011895474992707038030608179736572\ 3067*c_0101_4^11 - 865060401481005954266829913310329901671335952366\ 9825238215187208200074/15241685672408234297310673374801189547499270\ 70380306081797365723067*c_0101_4^10 + 1527214282677383845156846304005307269374804626799778601685682874919\ 89301/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^9 + 2656112570220647251702871594970669031622271504\ 75248755514956769555807807/1981419137413070458650387538724154641174\ 9051914943979063365754399871*c_0101_4^8 + 2406828381348151469670271719144234728724407309435381746527786946137\ 22776/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^7 + 3039818478214375084599396106522324018552586006\ 16532245410224515168792929/1981419137413070458650387538724154641174\ 9051914943979063365754399871*c_0101_4^6 + 8859099962080045752737025348166630935715098012915857069155757080963\ 3150/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^5 - 12901066552514588943732758118122763129146935711\ 058742889874617101387302/198141913741307045865038753872415464117490\ 51914943979063365754399871*c_0101_4^4 + 9148027985024342927299503953387652999481970954413165503727343827383\ 893/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^3 - 690540206617867907629915781607668583073386711363\ 9340872460524491268254/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^2 + 4464414072952213462261014641872465558643160876511146559456175714731\ 90/1981419137413070458650387538724154641174905191494397906336575439\ 9871*c_0101_4 + 634794893264949256469491479457430887323599590531839\ 57759234401076078/1981419137413070458650387538724154641174905191494\ 3979063365754399871, c_0011_3 - 341493961564732095883168056069135475614272822226793807660051\ 32326/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^23 + 659870719014322322010931447376497744975362452\ 814682166664854159973/198141913741307045865038753872415464117490519\ 14943979063365754399871*c_0101_4^22 - 2501055650918339770774818261520315399495420642261089111880687097070\ /198141913741307045865038753872415464117490519149439790633657543998\ 71*c_0101_4^21 - 13191457692863747938312553972258136977819770917500\ 720003247500278254/198141913741307045865038753872415464117490519149\ 43979063365754399871*c_0101_4^20 + 6275339423908156080151555956557588720877337839033386260189114032788\ 0/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4^19 + 7555188666098588804856813246738658190653642757352\ 5783013946618033152/19814191374130704586503875387241546411749051914\ 943979063365754399871*c_0101_4^18 - 3656959839053453017706669995786081046400348254453987487537679697728\ 06/1981419137413070458650387538724154641174905191494397906336575439\ 9871*c_0101_4^17 - 402286791287597515577433975060057394441984312767\ 0351494349206491061/19814191374130704586503875387241546411749051914\ 943979063365754399871*c_0101_4^16 + 2393355313384468754484579243420506640212551474983245414185613208106\ 7/15241685672408234297310673374801189547499270703803060817973657230\ 67*c_0101_4^15 - 93843095622086678952841254667289410189110841050662\ 1787379807421649983/19814191374130704586503875387241546411749051914\ 943979063365754399871*c_0101_4^14 + 1449650122780810951518221825127531001040453411969547611993274290230\ 416/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^13 + 14183741159989763134439748993461748954845358611\ 54479230014381822402060/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^12 + 2677954532793962754085509412923375179996253552617817642224006659215\ 1/15241685672408234297310673374801189547499270703803060817973657230\ 67*c_0101_4^11 + 13776074505985188716055416561818224142461551308432\ 5590554821870542154/15241685672408234297310673374801189547499270703\ 80306081797365723067*c_0101_4^10 - 3594372280282268268371055539299443036961284575502021004556678314134\ 476/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^9 - 392413759154457154662536464527773049170887959663\ 3268242271189649362818/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^8 - 3431486541641014587177931065528631014748562475563838560960175499099\ 528/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^7 - 410393249476165690335398437974230912700565868857\ 8769406446508100808322/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^6 + 9116552202055071177921745029218774063848827752782972448960431965871\ 8/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4^5 + 77586026336194036163357208818299484714544497089644\ 3442357890423537684/19814191374130704586503875387241546411749051914\ 943979063365754399871*c_0101_4^4 + 8129257459283642296881083741585264075472809780057880637850655584297\ 7/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4^3 + 16719642755726794951898465922415844710008477481416\ 5762838339329203667/19814191374130704586503875387241546411749051914\ 943979063365754399871*c_0101_4^2 - 2625827836210299035405904187010520961015514114617817361011996342326\ 8/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4 + 3826942788296269200199572664688219654403577154481922\ 558683696739798/198141913741307045865038753872415464117490519149439\ 79063365754399871, c_0011_6 + 287477966973656088636318131100897381792472437074621430879217\ 8463240/19814191374130704586503875387241546411749051914943979063365\ 754399871*c_0101_4^23 - 5480953661510829603218048609320434485347001\ 7279556996362909429306797/19814191374130704586503875387241546411749\ 051914943979063365754399871*c_0101_4^22 + 1961901971237459411211719641794971503748182030595341310442163029010\ 28/1981419137413070458650387538724154641174905191494397906336575439\ 9871*c_0101_4^21 + 116612225817080573266286709113504180037945070502\ 5230098279279591178199/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^20 - 5007958620216736011484371047161725735455083416243233558621537725402\ 152/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^19 - 77139071388165448732441055102995720415653000663\ 97522037572586319003084/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^18 + 2938185896800799415849886673905707302175514753666598374872428152326\ 0396/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^17 + 7711734916252115325872983384106774803418828221\ 543248637621291823734234/198141913741307045865038753872415464117490\ 51914943979063365754399871*c_0101_4^16 - 2102736279463058615472078976299567467228781312508421512343183636931\ 763/152416856724082342973106733748011895474992707038030608179736572\ 3067*c_0101_4^15 + 760202192305564221400312558843863866768461818965\ 32659326079434727103603/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^14 - 1019728436718767630902946224275213485282576867182893484614367841302\ 68817/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^13 - 154488436072041695401685535656801614731930919\ 054341024907496215376613457/198141913741307045865038753872415464117\ 49051914943979063365754399871*c_0101_4^12 - 3689662231035729467560110215343656824427890394829251618322877625193\ 330/152416856724082342973106733748011895474992707038030608179736572\ 3067*c_0101_4^11 - 133258805706817588806534399514233477703104430224\ 43906094198787207099352/1524168567240823429731067337480118954749927\ 070380306081797365723067*c_0101_4^10 + 2556209471968463590389312180205031456610047666023536450111931233650\ 76637/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^9 + 4038514590914916327170870237206485165508398256\ 09055785193833207278597993/1981419137413070458650387538724154641174\ 9051914943979063365754399871*c_0101_4^8 + 3501196759949159208423524066797096989811973151412731977994799374950\ 74215/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^7 + 4522080379110319653944189211697586529845657687\ 92887015147975335869272274/1981419137413070458650387538724154641174\ 9051914943979063365754399871*c_0101_4^6 + 1033524485873343531555062877682991198701452319222967087649551471627\ 21728/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^5 - 3281969072620200411109980221122395957321719361\ 2502227661913870734239862/19814191374130704586503875387241546411749\ 051914943979063365754399871*c_0101_4^4 + 1485685338002186168792281035287695375516722068258231354663807371188\ 0681/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^3 - 12204883682375364998034786461407213056244802048\ 248908380072071096421817/198141913741307045865038753872415464117490\ 51914943979063365754399871*c_0101_4^2 + 1397637076190894454795895433616259519973374541805511464662717547181\ 184/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4 + 81122018769993748684124215708756621481262734051067\ 144000456850787939/198141913741307045865038753872415464117490519149\ 43979063365754399871, c_0101_0 - 613240424016073301052964984284313616995872203567794063165721\ 367142/198141913741307045865038753872415464117490519149439790633657\ 54399871*c_0101_4^23 + 11644239036708140101331696939264237677977371\ 230558001221422985478480/198141913741307045865038753872415464117490\ 51914943979063365754399871*c_0101_4^22 - 4093988703462870563828971903418818978798911238658254919498821325739\ 6/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4^21 - 2520732168405794885822600620151702892386882299567\ 66195301367361847375/1981419137413070458650387538724154641174905191\ 4943979063365754399871*c_0101_4^20 + 1049281163708990391320425631850395252526886093864421375035547870319\ 751/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^19 + 17296287618083826665973814381969292000503701363\ 95530088411981059634563/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^18 - 6147038145715064165528582827356390497949671386127613710208195375632\ 372/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^17 - 21354081202882741569312284871359487459819489648\ 83535985647502468866030/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^16 + 4415842402991228460838341361742273488782805268867655599027094660417\ 76/1524168567240823429731067337480118954749927070380306081797365723\ 067*c_0101_4^15 - 1578474619455529510239600934134133539649911076062\ 6794497616083522539120/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^14 + 2049057648571478762213317444046395211458198658225988557821636664209\ 2349/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^13 + 3474350118933271324060339942927097146709522462\ 7798734245709641681397434/19814191374130704586503875387241546411749\ 051914943979063365754399871*c_0101_4^12 + 9672980351908078249778009319497335881932340569673047609113556689230\ 39/1524168567240823429731067337480118954749927070380306081797365723\ 067*c_0101_4^11 + 2903788275903004364869349880373383315528225111387\ 154109392655007780161/152416856724082342973106733748011895474992707\ 0380306081797365723067*c_0101_4^10 - 5177606501648927018915391553613674466645522905711406973437373517344\ 0246/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^9 - 90587605434492276440111839495840786882501659307\ 548254904389680264898328/198141913741307045865038753872415464117490\ 51914943979063365754399871*c_0101_4^8 - 8093432298058054110832949994799633201265934350619447872873621722691\ 3075/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^7 - 10214416923627642448314054917655924950291152654\ 6052135242346916950105541/19814191374130704586503875387241546411749\ 051914943979063365754399871*c_0101_4^6 - 2905114970282275307555191628789527120717965030810001266848273016184\ 3027/19814191374130704586503875387241546411749051914943979063365754\ 399871*c_0101_4^5 + 56921840431929956304868745920290326556166924600\ 61946914516208421692834/1981419137413070458650387538724154641174905\ 1914943979063365754399871*c_0101_4^4 - 2591897486663568446459532166752532484385019996793723635374301781365\ 306/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^3 + 250073349431170776063548675882438503533250093219\ 1031541519840890665052/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^2 - 1056866616929222704404166805911469570276110152285543192398337271089\ 19/1981419137413070458650387538724154641174905191494397906336575439\ 9871*c_0101_4 - 410437008007548966127360914728508443972201784542764\ 98110549180160834/1981419137413070458650387538724154641174905191494\ 3979063365754399871, c_0101_3 - 160741837351093856087031330448225302978200848321419458716379\ 10802/1981419137413070458650387538724154641174905191494397906336575\ 4399871*c_0101_4^23 + 301721859518995250964573855619180913314690654\ 483794961706040055699/198141913741307045865038753872415464117490519\ 14943979063365754399871*c_0101_4^22 - 1007162441929796449655453956528466179904955923319590023576021179514\ /198141913741307045865038753872415464117490519149439790633657543998\ 71*c_0101_4^21 - 68335242631504547711850171824457882783980161024466\ 16772889108445032/1981419137413070458650387538724154641174905191494\ 3979063365754399871*c_0101_4^20 + 260558512278997750136601981803436\ 72634863719569904554015353632244752/1981419137413070458650387538724\ 1546411749051914943979063365754399871*c_0101_4^19 + 5107955233983839768455772949542836756783016365878673205241189123471\ 4/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4^18 - 1508990760978646493114915441373828267859111235528\ 10117812010164885455/1981419137413070458650387538724154641174905191\ 4943979063365754399871*c_0101_4^17 - 8820739687639745681101264351277890354213403141876620339202124113469\ 8/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4^16 + 1048292236028865983567619233821024001744609713067\ 9732273940732800814/15241685672408234297310673374801189547499270703\ 80306081797365723067*c_0101_4^15 - 3917723078304119539837997037744930408935204475964619972968028525688\ 19/1981419137413070458650387538724154641174905191494397906336575439\ 9871*c_0101_4^14 + 449550902497321070225849805990208503654268964748\ 209672335091279329500/198141913741307045865038753872415464117490519\ 14943979063365754399871*c_0101_4^13 + 1024138444808940392654996375242683181473192846953386569208053823324\ 420/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^12 + 39949402182829548012633448791482646993754056323\ 985209219276443641298/152416856724082342973106733748011895474992707\ 0380306081797365723067*c_0101_4^11 + 8613904890450948104103108738490222766947803799203870652100857475085\ 4/15241685672408234297310673374801189547499270703803060817973657230\ 67*c_0101_4^10 - 10942321942340742377249605907432522082847876265862\ 05137411966213426063/1981419137413070458650387538724154641174905191\ 4943979063365754399871*c_0101_4^9 - 2624864644542770242267623801574384055694871510388422420831196119097\ 131/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^8 - 262684879666885350746468843927742665449803828674\ 6006170847638167637178/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^7 - 3287225520603696575528903103929039798207791667022846954641061798387\ 618/198141913741307045865038753872415464117490519149439790633657543\ 99871*c_0101_4^6 - 151075734626332671085948346218167493805082038789\ 8060055209800501250248/19814191374130704586503875387241546411749051\ 914943979063365754399871*c_0101_4^5 - 1999731787101741323046720817683510752030586037852789361304383753501\ 80/1981419137413070458650387538724154641174905191494397906336575439\ 9871*c_0101_4^4 - 1540214411101378793128181861844871951517295233414\ 26637295385448351475/1981419137413070458650387538724154641174905191\ 4943979063365754399871*c_0101_4^3 + 3315047967859994210811622308101652581683885654573271952709531395391\ 3/19814191374130704586503875387241546411749051914943979063365754399\ 871*c_0101_4^2 + 19704258996619425154557722560214106614065949040248\ 870498898223236540/198141913741307045865038753872415464117490519149\ 43979063365754399871*c_0101_4 + 59600623991568322098433466455142882\ 02187819499598938495419645969422/1981419137413070458650387538724154\ 6411749051914943979063365754399871, c_0101_4^24 - 19*c_0101_4^23 + 67*c_0101_4^22 + 410*c_0101_4^21 - 1715*c_0101_4^20 - 2795*c_0101_4^19 + 10034*c_0101_4^18 + 3334*c_0101_4^17 - 9272*c_0101_4^16 + 25851*c_0101_4^15 - 33792*c_0101_4^14 - 55911*c_0101_4^13 - 20398*c_0101_4^12 - 61750*c_0101_4^11 + 84785*c_0101_4^10 + 145894*c_0101_4^9 + 131472*c_0101_4^8 + 166309*c_0101_4^7 + 47240*c_0101_4^6 - 7837*c_0101_4^5 + 4920*c_0101_4^4 - 3879*c_0101_4^3 + 259*c_0101_4^2 + 42*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB