Magma V2.19-8 Tue Aug 20 2013 17:56:40 on localhost [Seed = 357867830] Type ? for help. Type -D to quit. Loading file "9_36__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_36 geometric_solution 9.88457865 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 1 0132 0132 0132 2103 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 -1 0 1 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.822585607760 1.163237133577 0 4 5 0 0132 0132 0132 2103 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 -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.822585607760 1.163237133577 6 0 4 7 0132 0132 3120 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 -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.356088499486 0.448887420966 6 8 6 0 2031 0132 3012 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 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.303827946277 0.803147708980 8 1 2 9 3120 0132 3120 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.495701302744 0.392024574720 9 9 10 1 3120 2103 0132 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 8 0 -9 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.336693484119 0.963502400649 2 3 3 10 0132 1230 1302 3120 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 0 0 0 0 0 0 0 0 0 0 0.587950378267 1.089224061631 8 10 2 9 0213 0213 0132 2310 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 -1 1 0 0 0 0 -1 9 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520568380338 0.507217733747 7 3 10 4 0213 0132 0213 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.104664957061 0.682971165274 7 5 4 5 3201 2103 0132 3120 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 8 0 0 -8 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.427817617752 1.522838965487 6 8 7 5 3120 0213 0213 0132 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 0 0 0 0 -9 9 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.737576538863 0.520014886347 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : negation(d['c_1001_2']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0011_9'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_10' : d['c_0011_10'], '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_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_2']), 'c_1100_8' : d['c_0011_9'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : d['c_0011_9'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : d['c_0011_9'], 'c_1100_10' : negation(d['c_0101_1']), 'c_1010_7' : negation(d['c_0101_1']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_2']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : negation(d['c_0011_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : d['c_0011_0'], '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_0110_10' : d['c_0101_2'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_9']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_9'], '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_0011_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0101_9']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_9, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1964184282223628217954678721154975681/28592406814335695584060737094\ 052*c_1001_2^19 - 150651936422654108675952973839610385201/571848136\ 28671391168121474188104*c_1001_2^18 + 1200239821244617380351347075911282255581/28592406814335695584060737\ 094052*c_1001_2^17 - 20952531464209962432787631104705363410001/5718\ 4813628671391168121474188104*c_1001_2^16 + 56536430688567871500861139074730922202239/2859240681433569558406073\ 7094052*c_1001_2^15 - 409809150429339868282082482742176473217187/57\ 184813628671391168121474188104*c_1001_2^14 + 17227826429259400675845245230837956895823/9374559611257605109528110\ 52264*c_1001_2^13 - 982081554886558738813963639005431117486635/2859\ 2406814335695584060737094052*c_1001_2^12 + 676081038573390835806807604340225436835119/142962034071678477920303\ 68547026*c_1001_2^11 - 2712359196206153305213111902958218921350347/\ 57184813628671391168121474188104*c_1001_2^10 + 470841911462544729267144523616470653309471/142962034071678477920303\ 68547026*c_1001_2^9 - 376808053087114205423405273280204317683079/28\ 592406814335695584060737094052*c_1001_2^8 - 3355969577798751075486965696707443108875/14296203407167847792030368\ 547026*c_1001_2^7 + 218638225966773784396076535250980715171549/5718\ 4813628671391168121474188104*c_1001_2^6 - 29736238109561108063634864194370485302675/1429620340716784779203036\ 8547026*c_1001_2^5 + 8422216234500780798513039340266366928317/57184\ 813628671391168121474188104*c_1001_2^4 + 2804927638036598381018867365281423702256/71481017035839238960151842\ 73513*c_1001_2^3 - 13215769290391098626673086429398895262563/571848\ 13628671391168121474188104*c_1001_2^2 + 1713128311220133538845707957977831417729/28592406814335695584060737\ 094052*c_1001_2 - 368471728686594398421138967043132249863/571848136\ 28671391168121474188104, c_0011_0 - 1, c_0011_10 + 1408044500609560666315789199/41657303640497712004657441*c_1\ 001_2^19 - 53952109546005945388231785619/41657303640497712004657441\ *c_1001_2^18 + 858664086629766015554281918967/416573036404977120046\ 57441*c_1001_2^17 - 7482864683813444701296068591200/416573036404977\ 12004657441*c_1001_2^16 + 40298438519672249287714038646007/41657303\ 640497712004657441*c_1001_2^15 - 145691708206259133754273449707242/\ 41657303640497712004657441*c_1001_2^14 + 372535402169401330971966108102035/41657303640497712004657441*c_1001\ _2^13 - 693978800991655889430020869773322/4165730364049771200465744\ 1*c_1001_2^12 + 951766248509111152314247682307542/41657303640497712\ 004657441*c_1001_2^11 - 949963062274181317015783413455490/416573036\ 40497712004657441*c_1001_2^10 + 655118082036396270540584348407829/4\ 1657303640497712004657441*c_1001_2^9 - 258534952999028071230182952104287/41657303640497712004657441*c_1001\ _2^8 - 7652457284606646307343573619759/41657303640497712004657441*c\ _1001_2^7 + 76802376954293265892664603039696/4165730364049771200465\ 7441*c_1001_2^6 - 40914549766496123821350150417056/4165730364049771\ 2004657441*c_1001_2^5 + 2513571600591328249810367828987/41657303640\ 497712004657441*c_1001_2^4 + 7888163711668356931022760751047/416573\ 03640497712004657441*c_1001_2^3 - 4557077715023642434737634271681/4\ 1657303640497712004657441*c_1001_2^2 + 1166419921332442865917094964441/41657303640497712004657441*c_1001_2 - 123706558108350088186672840901/41657303640497712004657441, c_0011_3 + 871979634219523590891297649/41657303640497712004657441*c_100\ 1_2^19 - 33402729305551641686253044100/41657303640497712004657441*c\ _1001_2^18 + 531416835853066484679123403921/41657303640497712004657\ 441*c_1001_2^17 - 4628672905564448451802707720072/41657303640497712\ 004657441*c_1001_2^16 + 24910452797400319648471322419425/4165730364\ 0497712004657441*c_1001_2^15 - 89984819866808255775341860913563/416\ 57303640497712004657441*c_1001_2^14 + 229869736047381668259758701904666/41657303640497712004657441*c_1001\ _2^13 - 427735633228194122963306645739082/4165730364049771200465744\ 1*c_1001_2^12 + 585863694404067331958211126892995/41657303640497712\ 004657441*c_1001_2^11 - 583845270128887952784532640911251/416573036\ 40497712004657441*c_1001_2^10 + 401805839311366883520893381512608/4\ 1657303640497712004657441*c_1001_2^9 - 157961084569557001855419985151313/41657303640497712004657441*c_1001\ _2^8 - 5153133080220752030417271535717/41657303640497712004657441*c\ _1001_2^7 + 47190896043771449743535389167750/4165730364049771200465\ 7441*c_1001_2^6 - 25009816527137849543584081694433/4165730364049771\ 2004657441*c_1001_2^5 + 1481390504603432879746198332418/41657303640\ 497712004657441*c_1001_2^4 + 4846725761220891543324004067531/416573\ 03640497712004657441*c_1001_2^3 - 2788711261218427259303196074404/4\ 1657303640497712004657441*c_1001_2^2 + 712173883421797631674709307134/41657303640497712004657441*c_1001_2 - 75360074704098653333026006210/41657303640497712004657441, c_0011_5 + 179924092593750808763213424/41657303640497712004657441*c_100\ 1_2^19 - 6916129752799622258309378726/41657303640497712004657441*c_\ 1001_2^18 + 110552467032793263158586433665/416573036404977120046574\ 41*c_1001_2^17 - 969129565438316796243219507985/4165730364049771200\ 4657441*c_1001_2^16 + 5259216199215085766350654514387/4165730364049\ 7712004657441*c_1001_2^15 - 19186878209080845819449396983955/416573\ 03640497712004657441*c_1001_2^14 + 49574675239604981021167303174631/41657303640497712004657441*c_1001_\ 2^13 - 93459274249045593209282126135690/41657303640497712004657441*\ c_1001_2^12 + 129980110762625804576534751821509/4165730364049771200\ 4657441*c_1001_2^11 - 131991937141494308010821259144893/41657303640\ 497712004657441*c_1001_2^10 + 93240299125222586513485903498379/4165\ 7303640497712004657441*c_1001_2^9 - 38589205661252203965553775172313/41657303640497712004657441*c_1001_\ 2^8 + 396363915472550545518802838698/41657303640497712004657441*c_1\ 001_2^7 + 10557969543067526625015802803806/416573036404977120046574\ 41*c_1001_2^6 - 6054229832168816603814318372446/4165730364049771200\ 4657441*c_1001_2^5 + 566018239531010177508696566400/416573036404977\ 12004657441*c_1001_2^4 + 1081723271321392529110257864282/4165730364\ 0497712004657441*c_1001_2^3 - 668846623134187983461968636130/416573\ 03640497712004657441*c_1001_2^2 + 178687672987063784726741038490/41\ 657303640497712004657441*c_1001_2 - 19804577510293324542145588830/41657303640497712004657441, c_0011_9 + 421959239614550411137770715/41657303640497712004657441*c_100\ 1_2^19 - 16201090255342911497680571848/41657303640497712004657441*c\ _1001_2^18 + 258567009655026047379051821751/41657303640497712004657\ 441*c_1001_2^17 - 2261943806433126585931451205655/41657303640497712\ 004657441*c_1001_2^16 + 12242732235811341204034730875296/4165730364\ 0497712004657441*c_1001_2^15 - 44529523997833960038178139231618/416\ 57303640497712004657441*c_1001_2^14 + 114669309835038733300345282879665/41657303640497712004657441*c_1001\ _2^13 - 215377986885452217232892210840653/4165730364049771200465744\ 1*c_1001_2^12 + 298289868377139460123393146394320/41657303640497712\ 004657441*c_1001_2^11 - 301394550804084526774201132795771/416573036\ 40497712004657441*c_1001_2^10 + 211465848490350209350642050006601/4\ 1657303640497712004657441*c_1001_2^9 - 86379401644297522763571292782367/41657303640497712004657441*c_1001_\ 2^8 - 52371078173900572448635650827/41657303640497712004657441*c_10\ 01_2^7 + 24190302518656874133933346690632/4165730364049771200465744\ 1*c_1001_2^6 - 13585086929824029060002517459223/4165730364049771200\ 4657441*c_1001_2^5 + 1148778128069249754368111434104/41657303640497\ 712004657441*c_1001_2^4 + 2480296688425451665417664927659/416573036\ 40497712004657441*c_1001_2^3 - 1503619062558361828108226717102/4165\ 7303640497712004657441*c_1001_2^2 + 396958944978320800586693299333/41657303640497712004657441*c_1001_2 - 43513979600094241363705502462/41657303640497712004657441, c_0101_0 - 2374436127295599885536917651/41657303640497712004657441*c_10\ 01_2^19 + 91057791363670152744762895406/41657303640497712004657441*\ c_1001_2^18 - 1450885355278941268574118051695/416573036404977120046\ 57441*c_1001_2^17 + 12663770381909368503610575925000/41657303640497\ 712004657441*c_1001_2^16 - 68340268198085702673404757362771/4165730\ 3640497712004657441*c_1001_2^15 + 247682500104200595142802370026078\ /41657303640497712004657441*c_1001_2^14 - 635150217093693355896270256891573/41657303640497712004657441*c_1001\ _2^13 + 1187155432826496228894916806264280/416573036404977120046574\ 41*c_1001_2^12 - 1634634793074010092907083851130004/416573036404977\ 12004657441*c_1001_2^11 + 1639727115218275902382281962218000/416573\ 03640497712004657441*c_1001_2^10 - 1138894986883157645472966865238046/41657303640497712004657441*c_100\ 1_2^9 + 456064676998950840330471459875328/4165730364049771200465744\ 1*c_1001_2^8 + 7780277295883700471235787044170/41657303640497712004\ 657441*c_1001_2^7 - 132092255264850756628625313455857/4165730364049\ 7712004657441*c_1001_2^6 + 71964239091537932984722189484476/4165730\ 3640497712004657441*c_1001_2^5 - 5146131252136856027119390111829/41\ 657303640497712004657441*c_1001_2^4 - 13554449221938351755269903511452/41657303640497712004657441*c_1001_\ 2^3 + 7996350080052986619167698152744/41657303640497712004657441*c_\ 1001_2^2 - 2075934730781198447852175132585/416573036404977120046574\ 41*c_1001_2 + 223663026666772698405320702454/4165730364049771200465\ 7441, c_0101_1 - 1693943840448833809297834386/41657303640497712004657441*c_10\ 01_2^19 + 64996360718721635348762063584/41657303640497712004657441*\ c_1001_2^18 - 1036390834233467842669365906894/416573036404977120046\ 57441*c_1001_2^17 + 9054919401180891980706981308509/416573036404977\ 12004657441*c_1001_2^16 - 48927301445439723598477604272800/41657303\ 640497712004657441*c_1001_2^15 + 177589634348607243350403600106244/\ 41657303640497712004657441*c_1001_2^14 - 456172111257682117308751847615912/41657303640497712004657441*c_1001\ _2^13 + 854228968109831609051187629917742/4165730364049771200465744\ 1*c_1001_2^12 - 1178711436475791060599286493627699/4165730364049771\ 2004657441*c_1001_2^11 + 1185340533331707625971253907822977/4165730\ 3640497712004657441*c_1001_2^10 - 826009166793585816260752418856777\ /41657303640497712004657441*c_1001_2^9 + 332808824282576145015131310023951/41657303640497712004657441*c_1001\ _2^8 + 4038491917805345378782979040782/41657303640497712004657441*c\ _1001_2^7 - 95451099461266409576146427940741/4165730364049771200465\ 7441*c_1001_2^6 + 52460462679315763485756977566034/4165730364049771\ 2004657441*c_1001_2^5 - 3946860765501971963268742190103/41657303640\ 497712004657441*c_1001_2^4 - 9792897103739348525088851997782/416573\ 03640497712004657441*c_1001_2^3 + 5820227056700392393355915999210/4\ 1657303640497712004657441*c_1001_2^2 - 1517720517801332440812997731800/41657303640497712004657441*c_1001_2 + 164258299040011445638529022348/41657303640497712004657441, c_0101_2 - 1955780027132686304328224200/41657303640497712004657441*c_10\ 01_2^19 + 75025064862766268109445545191/41657303640497712004657441*\ c_1001_2^18 - 1195916710166449621465986649868/416573036404977120046\ 57441*c_1001_2^17 + 10444203581083848465958374825648/41657303640497\ 712004657441*c_1001_2^16 - 56403714899304589361726665627591/4165730\ 3640497712004657441*c_1001_2^15 + 204601092207571996623401723669069\ /41657303640497712004657441*c_1001_2^14 - 525205939707817158538750329787914/41657303640497712004657441*c_1001\ _2^13 + 982798759305949963993366632769744/4165730364049771200465744\ 1*c_1001_2^12 - 1355067616214144711831917133661848/4165730364049771\ 2004657441*c_1001_2^11 + 1361493395194643319266419430915164/4165730\ 3640497712004657441*c_1001_2^10 - 947708028096439875735967721896167\ /41657303640497712004657441*c_1001_2^9 + 381077598360732274419422672322640/41657303640497712004657441*c_1001\ _2^8 + 5228453401101636751202492783193/41657303640497712004657441*c\ _1001_2^7 - 109643299979094401466813038567842/416573036404977120046\ 57441*c_1001_2^6 + 60091901608264764492892647087289/416573036404977\ 12004657441*c_1001_2^5 - 4449398984444891861072399970737/4165730364\ 0497712004657441*c_1001_2^4 - 11250454922925586798165227750367/4165\ 7303640497712004657441*c_1001_2^3 + 6670556108219730335132631156339/41657303640497712004657441*c_1001_2\ ^2 - 1736792055657446571002993105861/41657303640497712004657441*c_1\ 001_2 + 187624621494607319776251437667/41657303640497712004657441, c_0101_9 + 2596394167999466677739908007/41657303640497712004657441*c_10\ 01_2^19 - 99579656627614805729264687956/41657303640497712004657441*\ c_1001_2^18 + 1586890627296602681170643615355/416573036404977120046\ 57441*c_1001_2^17 - 13853539168495307137866062418850/41657303640497\ 712004657441*c_1001_2^16 + 74779987483464880338031277464576/4165730\ 3640497712004657441*c_1001_2^15 - 271105775987417139525385872588965\ /41657303640497712004657441*c_1001_2^14 + 695465511673807164342619224905017/41657303640497712004657441*c_1001\ _2^13 - 1300413836367746821834367657014186/416573036404977120046574\ 41*c_1001_2^12 + 1791382094907378897243428789831351/416573036404977\ 12004657441*c_1001_2^11 - 1797852064249939181250015001410353/416573\ 03640497712004657441*c_1001_2^10 + 1249445630659291801311624032101199/41657303640497712004657441*c_100\ 1_2^9 - 500774169130455998218132230214812/4165730364049771200465744\ 1*c_1001_2^8 - 8264661003978163527921032562105/41657303640497712004\ 657441*c_1001_2^7 + 144909320213231554172672584633618/4165730364049\ 7712004657441*c_1001_2^6 - 79016453640346750503678004776773/4165730\ 3640497712004657441*c_1001_2^5 + 5671332932429171927716535023219/41\ 657303640497712004657441*c_1001_2^4 + 14872639188943023199201460102787/41657303640497712004657441*c_1001_\ 2^3 - 8775752437059034036184225792571/41657303640497712004657441*c_\ 1001_2^2 + 2277554897783318081460539548597/416573036404977120046574\ 41*c_1001_2 - 245174295887459292937674338663/4165730364049771200465\ 7441, c_1001_0 + 373900131745211667368373409/41657303640497712004657441*c_100\ 1_2^19 - 14350227286558274950842441434/41657303640497712004657441*c\ _1001_2^18 + 228897384954629939819136711409/41657303640497712004657\ 441*c_1001_2^17 - 2000730481934595600874704495703/41657303640497712\ 004657441*c_1001_2^16 + 10816103233930663197973189948473/4165730364\ 0497712004657441*c_1001_2^15 - 39278052262636975768385217301966/416\ 57303640497712004657441*c_1001_2^14 + 100936633272244210043114026915520/41657303640497712004657441*c_1001\ _2^13 - 189077395343725306012692153369147/4165730364049771200465744\ 1*c_1001_2^12 + 260950853508977057689813112150130/41657303640497712\ 004657441*c_1001_2^11 - 262420309258956091383631440389278/416573036\ 40497712004657441*c_1001_2^10 + 182812854675134537739926862722488/4\ 1657303640497712004657441*c_1001_2^9 - 73572463291048549245494796080564/41657303640497712004657441*c_1001_\ 2^8 - 985510535707951400636749464981/41657303640497712004657441*c_1\ 001_2^7 + 21162577546585242753316843940648/416573036404977120046574\ 41*c_1001_2^6 - 11603498125960496420677247767484/416573036404977120\ 04657441*c_1001_2^5 + 859634844810365576904741673070/41657303640497\ 712004657441*c_1001_2^4 + 2171817173070052495499742163742/416573036\ 40497712004657441*c_1001_2^3 - 1287006800837151461213699446324/4165\ 7303640497712004657441*c_1001_2^2 + 334706826321444599800855073712/41657303640497712004657441*c_1001_2 - 36071307318306914467405874698/41657303640497712004657441, c_1001_2^20 - 39*c_1001_2^19 + 636*c_1001_2^18 - 5731*c_1001_2^17 + 32252*c_1001_2^16 - 123038*c_1001_2^15 + 335354*c_1001_2^14 - 673961*c_1001_2^13 + 1013563*c_1001_2^12 - 1138143*c_1001_2^11 + 928451*c_1001_2^10 - 503628*c_1001_2^9 + 121343*c_1001_2^8 + 57879*c_1001_2^7 - 66474*c_1001_2^6 + 21835*c_1001_2^5 + 4318*c_1001_2^4 - 7079*c_1001_2^3 + 3060*c_1001_2^2 - 661*c_1001_2 + 61 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.050 Total time: 1.260 seconds, Total memory usage: 32.09MB