Magma V2.19-8 Tue Aug 20 2013 16:18:41 on localhost [Seed = 1696921705] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2848 geometric_solution 6.07023252 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.469926877011 0.440713591718 0 1 5 1 0132 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641401509960 0.941387721855 2 0 2 5 2310 0132 3201 0132 0 0 0 0 0 1 -1 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 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.940860451070 0.992569291066 3 5 3 0 2310 0132 3201 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 1 -1 -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.784569624212 1.131106341025 5 6 0 6 0132 0132 0132 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 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 1.131810147570 1.128859044174 4 3 2 1 0132 0132 0132 0132 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.469926877011 0.440713591718 6 4 6 4 2031 0132 1302 1023 0 0 0 0 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480792700691 0.224066067610 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_0']), '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_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_2'])})} 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_3, c_0101_0, c_0101_1, c_0101_2, c_0110_6, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 73199453045354558559101094708432026151137494834126474/1650132913863\ 797007140066930553479880855403567389917*c_1001_0^24 + 229258055123348192359085965667130114511060658299320091/165013291386\ 3797007140066930553479880855403567389917*c_1001_0^23 + 555345367519037459706171290957995054560136130574184416/165013291386\ 3797007140066930553479880855403567389917*c_1001_0^22 + 805176144345467216937111529903688631680478994135553833/165013291386\ 3797007140066930553479880855403567389917*c_1001_0^21 + 2601859816934032490019175073543622842869272151962922443/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^20 + 609648221300141549839508094861774123190346480908827058/235733273409\ 113858162866704364782840122200509627131*c_1001_0^19 - 843971704893182286864097205845438468233067217311290874/235733273409\ 113858162866704364782840122200509627131*c_1001_0^18 - 34066451083455528718384902575342815877924604760405134014/1650132913\ 863797007140066930553479880855403567389917*c_1001_0^17 - 8968485297876150160268928531613399376690295766424782970/23573327340\ 9113858162866704364782840122200509627131*c_1001_0^16 - 45143332662536215234823541363477352538721191602582402273/1650132913\ 863797007140066930553479880855403567389917*c_1001_0^15 + 129705646080273939266077055179153478437843063236764373159/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^14 + 308623629514338847381430020807114800942940306785402354916/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^13 + 33884173022146674552229439624545168865063224412941295536/2357332734\ 09113858162866704364782840122200509627131*c_1001_0^12 - 264374036095016016098341888578407714366554846080835898333/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^11 - 648290196085296578314205277702568099655635478688811568337/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^10 - 287185953133772884177856707103965607402819624288939672050/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^9 - 93207204433265878344104091517175673288926796022928429041/1650132913\ 863797007140066930553479880855403567389917*c_1001_0^8 + 1657428743907350552097107898555837966794032073017692165/86394393396\ 01031450995114819651727124897400876387*c_1001_0^7 + 597196694152789056525409598071409772365241701745908033217/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^6 + 700281798509901271493788192820319775900568167997137875/124070143899\ 53360955940352861304360006431605769849*c_1001_0^5 - 178775103171181244118702957973924499139392427390340746912/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^4 - 172477951815095617903196875690799745577318068016974285058/165013291\ 3863797007140066930553479880855403567389917*c_1001_0^3 + 42206507293904602789492521188842333463425340140113079888/1650132913\ 863797007140066930553479880855403567389917*c_1001_0^2 + 13767243748303184508308201123643506908464953678732527560/1650132913\ 863797007140066930553479880855403567389917*c_1001_0 + 751958642861859854581255174387332998562765984974747934/165013291386\ 3797007140066930553479880855403567389917, c_0011_0 - 1, c_0011_3 + 1215933286636869187534597559573288137372383003433059/1650132\ 913863797007140066930553479880855403567389917*c_1001_0^24 - 546172072544507612841423117306559996242267255340265/235733273409113\ 858162866704364782840122200509627131*c_1001_0^23 - 9174513073785001848335361814947389596305788327283940/16501329138637\ 97007140066930553479880855403567389917*c_1001_0^22 - 13271630898870132624388794695936507648302805924652727/1650132913863\ 797007140066930553479880855403567389917*c_1001_0^21 - 6155224313881082082111477874264674337290313761919324/23573327340911\ 3858162866704364782840122200509627131*c_1001_0^20 - 70412673119617753879305937311464016979528621166504141/1650132913863\ 797007140066930553479880855403567389917*c_1001_0^19 + 98855125772335187179204987950343891753878950150021351/1650132913863\ 797007140066930553479880855403567389917*c_1001_0^18 + 564403166513115123325073092845978555822771835291183644/165013291386\ 3797007140066930553479880855403567389917*c_1001_0^17 + 1036061431078481118861099120495482969800758423823343374/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^16 + 738816759809877842565442914242698714030322884400730325/165013291386\ 3797007140066930553479880855403567389917*c_1001_0^15 - 2159911816849848755654953380384849459676591998726567070/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^14 - 5096189208744371421774103049764820225137879722218423477/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^13 - 554521480048497639336385340571564318767611842414456316/235733273409\ 113858162866704364782840122200509627131*c_1001_0^12 + 4422861951051533269442824394977764425499240632941623282/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^11 + 10695292357882024883170393516194888209115692878859038719/1650132913\ 863797007140066930553479880855403567389917*c_1001_0^10 + 663208810124867136677632191160832805333299194916867536/235733273409\ 113858162866704364782840122200509627131*c_1001_0^9 + 217567853134272812951013016210752951156109988993960066/235733273409\ 113858162866704364782840122200509627131*c_1001_0^8 - 27473259833092182212311126950357000022235156611489620/8639439339601\ 031450995114819651727124897400876387*c_1001_0^7 - 9837172986972868035649842039278728383436203516348785052/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^6 - 10778064977360582822467458437410941354640922044805103/1240701438995\ 3360955940352861304360006431605769849*c_1001_0^5 + 2956247714204971150597607974224658512026342700955954484/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^4 + 2807784160285982703155967885176695170129101309230042444/16501329138\ 63797007140066930553479880855403567389917*c_1001_0^3 - 735905014855354917260911144536121123329996499917702615/165013291386\ 3797007140066930553479880855403567389917*c_1001_0^2 - 212201011739120117430404044181194412421347570969634677/165013291386\ 3797007140066930553479880855403567389917*c_1001_0 - 7627629432617166924519760190658774251341594534680850/16501329138637\ 97007140066930553479880855403567389917, c_0101_0 - 74405815156215435317912012170250928036402697431853/868491007\ 29673526691582470029130520045021240388943*c_1001_0^24 + 33307312328972479252707850509051601490899136501122/1240701438995336\ 0955940352861304360006431605769849*c_1001_0^23 + 564151682681378545326621106324811798787391585869360/868491007296735\ 26691582470029130520045021240388943*c_1001_0^22 + 817521194790638306987344036025341424978026625886500/868491007296735\ 26691582470029130520045021240388943*c_1001_0^21 + 377634636461406657024958165562627625041557454189687/124070143899533\ 60955940352861304360006431605769849*c_1001_0^20 + 4333632985231914740318143502678616867002194683788114/86849100729673\ 526691582470029130520045021240388943*c_1001_0^19 - 6012593685038360913109038981936713102636633036060015/86849100729673\ 526691582470029130520045021240388943*c_1001_0^18 - 34619684759199942288783357197510313593345432967449158/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^17 - 63760772904064292163468363025734789090711328395452641/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^16 - 45786941819635542948687679709402349481387677541323672/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^15 + 131920996969041780133978202768924703003030241898758201/868491007296\ 73526691582470029130520045021240388943*c_1001_0^14 + 313523190403687917564519347357068808275085673831555199/868491007296\ 73526691582470029130520045021240388943*c_1001_0^13 + 34375482775570442568370024715943271152516137603234477/1240701438995\ 3360955940352861304360006431605769849*c_1001_0^12 - 269082326781181550516676027213252623172184774078185945/868491007296\ 73526691582470029130520045021240388943*c_1001_0^11 - 658576966648984906197812447195469729828784449882073940/868491007296\ 73526691582470029130520045021240388943*c_1001_0^10 - 41570007983647389979008726193964649982903837923706025/1240701438995\ 3360955940352861304360006431605769849*c_1001_0^9 - 13494742119121047344136743674278522083008299296260233/1240701438995\ 3360955940352861304360006431605769849*c_1001_0^8 + 1684856156367511119629567320334900999655317467257670/45470733366321\ 2181631321832613248796047231625073*c_1001_0^7 + 606785635512078120264422144547260892399207533806273942/868491007296\ 73526691582470029130520045021240388943*c_1001_0^6 + 13430278119301897969549483395446645950720343724604086/1240701438995\ 3360955940352861304360006431605769849*c_1001_0^5 - 181550021626382898243316213576135533162057174248090090/868491007296\ 73526691582470029130520045021240388943*c_1001_0^4 - 174854421812166829489187747302267406245348523514463806/868491007296\ 73526691582470029130520045021240388943*c_1001_0^3 + 42993229808087820816106756943630162647704839038642510/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^2 + 13772272054926455831962867304481306141852540141807947/8684910072967\ 3526691582470029130520045021240388943*c_1001_0 + 609701868997118931160109415720803299524102249976993/868491007296735\ 26691582470029130520045021240388943, c_0101_1 + 48382675161927537114904259161416441301764658779694/868491007\ 29673526691582470029130520045021240388943*c_1001_0^24 - 151025971749814293189185191497646240257886149535768/868491007296735\ 26691582470029130520045021240388943*c_1001_0^23 - 368847446755820720510558038517345252865556094186117/868491007296735\ 26691582470029130520045021240388943*c_1001_0^22 - 535388905826690503213891211534531509240009405907682/868491007296735\ 26691582470029130520045021240388943*c_1001_0^21 - 1724067487165414490734502062060650626254157107169493/86849100729673\ 526691582470029130520045021240388943*c_1001_0^20 - 2836788001392239238166865985111201908847590152579018/86849100729673\ 526691582470029130520045021240388943*c_1001_0^19 + 3881958582088138518935114295919255104649312954595879/86849100729673\ 526691582470029130520045021240388943*c_1001_0^18 + 22567930687805187861385954998380537924119855539444646/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^17 + 41714552049218586099621294772607251180147453081992617/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^16 + 30189923418827970816422594772623311209623372379080433/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^15 - 85566380184767474266605632808725724179932319740902351/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^14 - 204987572043234973067919250010184625919239460388861672/868491007296\ 73526691582470029130520045021240388943*c_1001_0^13 - 22654025818291470672896996518365447978504843385546074/1240701438995\ 3360955940352861304360006431605769849*c_1001_0^12 + 173800780026293735733890529272846572302717505866676448/868491007296\ 73526691582470029130520045021240388943*c_1001_0^11 + 430832500575547158994557157183749901747360500719842114/868491007296\ 73526691582470029130520045021240388943*c_1001_0^10 + 193622280921289828553517313796625487086508605027776451/868491007296\ 73526691582470029130520045021240388943*c_1001_0^9 + 62201689933518218427922272283883157649032468997485566/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^8 - 156381488495561540614382149716865222406322722532864/649581905233160\ 25947331690373321256578175946439*c_1001_0^7 - 397266067548773767012409371920512222785941806122400585/868491007296\ 73526691582470029130520045021240388943*c_1001_0^6 - 9281175082726137985864714651238101291353288170011662/12407014389953\ 360955940352861304360006431605769849*c_1001_0^5 + 118728443222032277097318351818290430379421875852600384/868491007296\ 73526691582470029130520045021240388943*c_1001_0^4 + 115227088586293263557026896499388611474088462789646089/868491007296\ 73526691582470029130520045021240388943*c_1001_0^3 - 26954446820804993022314447548190268491010812391392754/8684910072967\ 3526691582470029130520045021240388943*c_1001_0^2 - 1373567219693666791322289915586424577620986947475627/12407014389953\ 360955940352861304360006431605769849*c_1001_0 - 467672695026115070174125704102108040987900483411492/868491007296735\ 26691582470029130520045021240388943, c_0101_2 + 2162457547484872419184363504102/9387300852571703070633981855\ 623*c_1001_0^24 - 45967700369476304944594490582746/6571110596800192\ 1494437872989361*c_1001_0^23 - 119348358169539503415570363047906/65\ 711105968001921494437872989361*c_1001_0^22 - 25334780322142776028935581277943/9387300852571703070633981855623*c_\ 1001_0^21 - 554315611816216851753133444371711/657111059680019214944\ 37872989361*c_1001_0^20 - 934878587660843308859920483362007/6571110\ 5968001921494437872989361*c_1001_0^19 + 1135620006093702870529211506965121/65711105968001921494437872989361\ *c_1001_0^18 + 7155478269036012266213150953130787/65711105968001921\ 494437872989361*c_1001_0^17 + 13644772106239958160394325300277607/6\ 5711105968001921494437872989361*c_1001_0^16 + 10581986326081011896235466015725856/6571110596800192149443787298936\ 1*c_1001_0^15 - 25867182534416198120767360127278896/657111059680019\ 21494437872989361*c_1001_0^14 - 66244041284146621182352502372176876\ /65711105968001921494437872989361*c_1001_0^13 - 7859580053757364823189998707580465/9387300852571703070633981855623*\ c_1001_0^12 + 7114243496633308453851374595324796/938730085257170307\ 0633981855623*c_1001_0^11 + 138677763228114600667038660847840426/65\ 711105968001921494437872989361*c_1001_0^10 + 71583721558900444520933383408262480/6571110596800192149443787298936\ 1*c_1001_0^9 + 25196596085177025055871650199790743/6571110596800192\ 1494437872989361*c_1001_0^8 - 62505197303977649124175714360046263/6\ 5711105968001921494437872989361*c_1001_0^7 - 128872521260923764750100642306447330/657111059680019214944378729893\ 61*c_1001_0^6 - 229447147426391106416738321466833/49406846592482647\ 7401788518717*c_1001_0^5 + 4973944348490273003176383392544420/93873\ 00852571703070633981855623*c_1001_0^4 + 38173377574738005222239482618510852/6571110596800192149443787298936\ 1*c_1001_0^3 - 5788085816664827540610120967862782/65711105968001921\ 494437872989361*c_1001_0^2 - 3612760110638533660684002158237897/657\ 11105968001921494437872989361*c_1001_0 - 227364619201284161094290792815248/65711105968001921494437872989361, c_0110_6 + 1821292947472387985998025737838250577511216366541/8639439339\ 601031450995114819651727124897400876387*c_1001_0^24 - 5741183933266702740891321421960872237401195027280/86394393396010314\ 50995114819651727124897400876387*c_1001_0^23 - 13693793233709053196922940069837185497059331682716/8639439339601031\ 450995114819651727124897400876387*c_1001_0^22 - 19781998625049574857243031152489870893667942665863/8639439339601031\ 450995114819651727124897400876387*c_1001_0^21 - 64379459291528583872320981192077659277363156088456/8639439339601031\ 450995114819651727124897400876387*c_1001_0^20 - 14992506140363609321461392645069878040988984084145/1234205619943004\ 492999302117093103874985342982341*c_1001_0^19 + 21269682233884865547744602848906888177282699995932/1234205619943004\ 492999302117093103874985342982341*c_1001_0^18 + 844243123834711806952240336838505233882595376294304/863943933960103\ 1450995114819651727124897400876387*c_1001_0^17 + 220797286400440658537676114553369757693900004166929/123420561994300\ 4492999302117093103874985342982341*c_1001_0^16 + 1094950975135829312379100640255799989898282276321454/86394393396010\ 31450995114819651727124897400876387*c_1001_0^15 - 3244190469495254459664579328471448948245565193630310/86394393396010\ 31450995114819651727124897400876387*c_1001_0^14 - 7610173635772828276949804339721056766003272735906425/86394393396010\ 31450995114819651727124897400876387*c_1001_0^13 - 822950962090027730095747980617758814576285535861622/123420561994300\ 4492999302117093103874985342982341*c_1001_0^12 + 6669457032782233122968061655728686608701339348368387/86394393396010\ 31450995114819651727124897400876387*c_1001_0^11 + 15978639416009583828654633112408175568095192483471732/8639439339601\ 031450995114819651727124897400876387*c_1001_0^10 + 6852710500332512851139631248137858808661019984212851/86394393396010\ 31450995114819651727124897400876387*c_1001_0^9 + 2232203071817561425537728124274622575781042905641948/86394393396010\ 31450995114819651727124897400876387*c_1001_0^8 - 7907328537998793303185067785384099791336577680146492/86394393396010\ 31450995114819651727124897400876387*c_1001_0^7 - 14695819114548212729486750626207167426600550886745801/8639439339601\ 031450995114819651727124897400876387*c_1001_0^6 - 15456864710260620114774985093286909205581537089353/6495819052331602\ 5947331690373321256578175946439*c_1001_0^5 + 4451315444454493579035055568323416494199960712105616/86394393396010\ 31450995114819651727124897400876387*c_1001_0^4 + 4202427753507321543715569293562239614501354848236041/86394393396010\ 31450995114819651727124897400876387*c_1001_0^3 - 1113127438390998123579804712899023516297575960957269/86394393396010\ 31450995114819651727124897400876387*c_1001_0^2 - 307667934165168343487874266174669390767929825301758/863943933960103\ 1450995114819651727124897400876387*c_1001_0 - 19966261976021682131425209645352330966484370995221/8639439339601031\ 450995114819651727124897400876387, c_1001_0^25 - 3*c_1001_0^24 - 8*c_1001_0^23 - 12*c_1001_0^22 - 37*c_1001_0^21 - 63*c_1001_0^20 + 73*c_1001_0^19 + 476*c_1001_0^18 + 919*c_1001_0^17 + 730*c_1001_0^16 - 1690*c_1001_0^15 - 4449*c_1001_0^14 - 3796*c_1001_0^13 + 3182*c_1001_0^12 + 9328*c_1001_0^11 + 5088*c_1001_0^10 + 1795*c_1001_0^9 - 4146*c_1001_0^8 - 8723*c_1001_0^7 - 2347*c_1001_0^6 + 2269*c_1001_0^5 + 2668*c_1001_0^4 - 269*c_1001_0^3 - 262*c_1001_0^2 - 32*c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB