Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 1343343767] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0419 geometric_solution 4.47798268 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 0 -1 1 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 -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.716273469809 0.051512433511 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -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 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.469779088057 0.177587348627 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.599250032512 3.990275836260 2 2 5 4 0132 3201 0132 0132 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 -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 0 0 0 0 -0.186590601734 0.433756129899 5 5 3 6 1230 3012 0132 0132 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 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 1.208011955477 1.273591797910 4 4 6 3 1230 3012 3201 0132 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 1 -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 0 0 0 0 1.208011955477 1.273591797910 5 6 4 6 2310 2310 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.188632682572 0.807292009644 ==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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), '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_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : 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_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), '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_4'], '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_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], '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: 22 Groebner basis: [ t + 150691214787443718068998830991783158792612927466580057032/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^21 - 1824680333880987988952219859129639710171628953154660906899/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^20 + 5639630364282434614751218469717138304661773370606801049995/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^19 + 42583512718736556624399173813827758818206907540241149365454/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^18 + 171592850467240180971387792106261347303625718823685809091341/466852\ 2247595890855284912284976729545280221486216043649*c_0101_5^17 + 9874728647300055459062320638481750264879579295877998829554/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^16 - 2250211101306049235069393728532397858505574618488902562882546/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^15 - 7140614530072972821703641942811824661719559661080728126188602/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^14 - 15658515352906710347745454329901125618091782960782468992376078/4668\ 522247595890855284912284976729545280221486216043649*c_0101_5^13 - 1252657110818447250469891009613269992652611161576777769006329/42441\ 1113417808259571355662270611776843656498746913059*c_0101_5^12 - 2987865772191873292308063660809617656984622993363547815765/42441111\ 3417808259571355662270611776843656498746913059*c_0101_5^11 + 6839907424936144622841388897992690207197953065918818799023964/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^10 + 4825842790330758762482274237052223687261322699832808297972760/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^9 + 1477815939887150837183744116322172952443102326327137016386469/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^8 + 420664908760922923595834236277638380738946292308842569324219/466852\ 2247595890855284912284976729545280221486216043649*c_0101_5^7 - 239797322993280619722409629525682144097017956759075946278669/466852\ 2247595890855284912284976729545280221486216043649*c_0101_5^6 - 377228081484561098852835286519458693251373641136658159436026/466852\ 2247595890855284912284976729545280221486216043649*c_0101_5^5 - 73507009244605775134951980576610385702043354877823593644193/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^4 + 586027279718607126006672157884300303855857695907005578963/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^3 - 3657334233213213575829877288578635446028674566284333509390/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^2 + 1464297947385913639855483920340582652946556579623573717188/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5 + 543229891123380109370156248621305620356387515229635236743/466852224\ 7595890855284912284976729545280221486216043649, c_0011_0 - 1, c_0011_4 - 291665577185325475834068321481534694390428697888788260/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^21 + 3581593511277950727318385997596440451538082855533937396/46685222475\ 95890855284912284976729545280221486216043649*c_0101_5^20 - 11552972450944239986553109899436597460311691061850468270/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^19 - 80152722564915964661173949009768051326621616137475259599/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^18 - 319247391739460113868809805854903319932868831298943320222/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^17 + 28210091567697661564109734314372732316492355905210178173/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^16 + 4320577082630445363696358276712301379393039639320037049552/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^15 + 13072982156783723251514032866887086693583668638293775163051/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^14 + 28442517350569734623725770795895764586397798644482433998947/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^13 + 2097790975084953663731014389649614573234824439469701918958/42441111\ 3417808259571355662270611776843656498746913059*c_0101_5^12 - 94182019892496670476233021539904349386497460896851885319/4244111134\ 17808259571355662270611776843656498746913059*c_0101_5^11 - 10187402533639029707200922668069723667883684944023389512553/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^10 - 7168681983973105679348207359684251140908724477574997463013/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^9 - 2766315238671303038751482454889840049508213875882798595104/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^8 - 1291779601872458491173148088408224129427116167762237864974/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^7 + 283567545691035268616106611846550738193085150843069016743/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^6 + 549406099574808851953079123743966525401474799742759550979/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^5 + 46751655624507140559914264637932648757386047715046875285/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^4 + 63257595235483318682805975394262704605685047549944327265/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^3 + 5801458447386725702716028548190425193438818700425103691/46685222475\ 95890855284912284976729545280221486216043649*c_0101_5^2 - 1009258864490468627391878043605303231172954662012251011/46685222475\ 95890855284912284976729545280221486216043649*c_0101_5 + 2038087882437391625476064695740628180688199897019469020/46685222475\ 95890855284912284976729545280221486216043649, c_0011_6 + 778307813372771258911467441634326974859737146487890473/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^21 - 9612982567334160839035049874353707963731413623879492531/46685222475\ 95890855284912284976729545280221486216043649*c_0101_5^20 + 31418088056848259841747621277725250039407711993663280613/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^19 + 212835541738495538543905159196956806229319873592979637055/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^18 + 832873698763237857777035594939202632094713779805959270606/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^17 - 161239841243992461179040416101199685642683234417727435033/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^16 - 11623001801437069750922248760670142826364536784138411727341/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^15 - 34043016003498713302962598742576843590903336386938111528791/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^14 - 72032775930953926705567838119525647443263884790917776200939/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^13 - 4739736064315555518332346002495428601459239637306144445181/42441111\ 3417808259571355662270611776843656498746913059*c_0101_5^12 + 1431681309298897596216539998977320783682916085478585283644/42441111\ 3417808259571355662270611776843656498746913059*c_0101_5^11 + 33295515353616442451015408101132389127267553522448139087530/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^10 + 15797641453448128595859289161426991957801815799552516754646/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^9 + 2541464922827135949564408326429195529375536433472444918872/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^8 + 1008536919962161200052306156495506336401014440788103169378/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^7 - 1513629711448555167181764541337084869821632468789893264569/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^6 - 1654888069601000283459141913511370108903196090297098722338/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^5 + 128632098513564516332465115143545121941443681028610258881/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^4 + 17792144700887411569028438903319034825322992511249545888/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^3 - 28547380620416484399097159504644079228885270127816275354/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^2 + 12439991650117766102219218281156004066547891066665273042/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5 - 2396783591825798236680665364140445483780032202408399724/46685222475\ 95890855284912284976729545280221486216043649, c_0101_0 + 1724070349720271961556348557469938917351149098795662735/4668\ 522247595890855284912284976729545280221486216043649*c_0101_5^21 - 20902795052924184524192273404863402104629155537794654140/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^20 + 64788132606139987350577838377015575652051019574557124799/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^19 + 486912483739511574031661720976148577266257436671973329215/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^18 + 1953311397515493216285632445152938322144437912777818104368/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^17 + 68220632851154224179198111907723507631146562883279364407/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^16 - 25804512351557459977233178413189297883203316108122946453676/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^15 - 81283078296106483034005451970275052343316393818520497361610/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^14 - 177081920168753189625486408414383772084920034509535980049183/466852\ 2247595890855284912284976729545280221486216043649*c_0101_5^13 - 13872425776572928883747687623460953985832371882240668513928/4244111\ 13417808259571355662270611776843656498746913059*c_0101_5^12 + 641851372642179175974865423964921749650829152298976606764/424411113\ 417808259571355662270611776843656498746913059*c_0101_5^11 + 81790240526324518277966658138523403533026412172813131787930/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^10 + 53757375193021399071982007141904717583398145729234760141177/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^9 + 14598290428590216444052671214217128073342252514005745460925/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^8 + 3247911172794007179669539143009771389924384204056574345670/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^7 - 3312423051958881576061986626298086641548556903521731814859/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^6 - 4514070787445254008368727903325344857985417574391644624986/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^5 - 656345991996851594374720321947220954027293210025906299737/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^4 + 85631850617508570529639623256390514240902359747679022539/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^3 - 11773513016434302358243674492521898554011005033720472827/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^2 + 27815619924920900628419135806393009206072426279314828364/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5 + 2089950946989756455636761950131371286852723535083918948/46685222475\ 95890855284912284976729545280221486216043649, c_0101_1 + 1146080403133951652122737970456847460831347823021396185/4668\ 522247595890855284912284976729545280221486216043649*c_0101_5^21 - 14136155412813970453073328748681411831578319171394836221/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^20 + 46051137702107341365387993415143613597886130778141445643/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^19 + 313891965011189358082755945574667804007090644150259997418/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^18 + 1232520460923158391171901035930137904336353023631991898098/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^17 - 209619687056119264703440974815942920142459875299494670661/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^16 - 17088603610282189620860865305814403601458152143007125131473/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^15 - 50405269756694988635621147608389597064114849308028052086771/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^14 - 107278081635125186285373570822249366005290022387530751783658/466852\ 2247595890855284912284976729545280221486216043649*c_0101_5^13 - 7259124724189274079220947281619986366980141557230881097362/42441111\ 3417808259571355662270611776843656498746913059*c_0101_5^12 + 1719322176923693124894326767197316683368992976033225164367/42441111\ 3417808259571355662270611776843656498746913059*c_0101_5^11 + 46292244127665212738701775934011416679571595724883730598660/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^10 + 23338951693501074436266057844736376874472395415512131878714/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^9 + 5660920722949221156955965859819802855748369750918418382362/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^8 + 3197666467936092282386563101475406619853507565341336080205/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^7 - 1607681206761579857687019017708311245875625406085990395346/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^6 - 2437598242538653837913014517929860803509040066066085479460/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^5 + 1644980380278075168351427793199822819784746782976735538/46685222475\ 95890855284912284976729545280221486216043649*c_0101_5^4 - 86679940246296313161767206652456557167061550402153748506/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^3 - 99594389602482649301077903751928195202718860923902063479/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^2 + 17685238481464555097463151619301242544814220753281363585/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5 + 2336710303925282859539798948235855620042768732488699483/46685222475\ 95890855284912284976729545280221486216043649, c_0101_2 - 469467498391152301465805541314797790768926823551297472/46685\ 22247595890855284912284976729545280221486216043649*c_0101_5^21 + 5699830124194978593523397824821243720986317439686323638/46685222475\ 95890855284912284976729545280221486216043649*c_0101_5^20 - 17689151556617308922798565407571551551288116594935217063/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^19 - 132893086415327043197225328192263881838335422324179040692/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^18 - 527692795268847411074509875424358681116435561016467984533/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^17 + 4004291335558958414038761443513320416286885732180250320/46685222475\ 95890855284912284976729545280221486216043649*c_0101_5^16 + 7080945909896109202361748363482273559359554551657874892925/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^15 + 22009635226489712038430950016372836714826973936441287972139/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^14 + 47113166699693774883690815762425460179983473791425950137314/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^13 + 3501859971701800373947715972511703875327783662574813890946/42441111\ 3417808259571355662270611776843656498746913059*c_0101_5^12 - 675912693036373148072433161149311083274608272382028731360/424411113\ 417808259571355662270611776843656498746913059*c_0101_5^11 - 26114585126108444831315569606675344814647281498633973347431/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^10 - 13994202617089953147824078933283896381106586212821563842824/4668522\ 247595890855284912284976729545280221486216043649*c_0101_5^9 - 1847928704752301918322980124277839745654988110717001932095/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^8 + 449664492217042671115550370020911683461692332581478473842/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^7 + 1334226384386311480924210045788990601771759558371764379599/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^6 + 1388819643213423522523761746881276325792520993392616758781/46685222\ 47595890855284912284976729545280221486216043649*c_0101_5^5 + 93233617620653498097536639263619326050101734430211590278/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^4 - 130140666499041796310440100625763585952310172528292186403/466852224\ 7595890855284912284976729545280221486216043649*c_0101_5^3 - 14012839424815647252285382096868266523752163701284967303/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5^2 - 13336126515599218652212288535807369245952620232550493056/4668522247\ 595890855284912284976729545280221486216043649*c_0101_5 - 1163833067327789383019378321552425784655577146350502191/46685222475\ 95890855284912284976729545280221486216043649, c_0101_5^22 - 12*c_0101_5^21 + 36*c_0101_5^20 + 288*c_0101_5^19 + 1165*c_0101_5^18 + 160*c_0101_5^17 - 15041*c_0101_5^16 - 48986*c_0101_5^15 - 107457*c_0101_5^14 - 98046*c_0101_5^13 - 121*c_0101_5^12 + 52727*c_0101_5^11 + 35444*c_0101_5^10 + 9214*c_0101_5^9 + 1569*c_0101_5^8 - 1842*c_0101_5^7 - 2946*c_0101_5^6 - 568*c_0101_5^5 + 139*c_0101_5^4 - 23*c_0101_5^3 + 10*c_0101_5^2 + 7*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB