Magma V2.19-8 Tue Aug 20 2013 23:38:27 on localhost [Seed = 2564750496] Type ? for help. Type -D to quit. Loading file "K11n15__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n15 geometric_solution 9.94804671 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 2103 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 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.676262960369 0.394950850952 0 4 6 5 0132 0132 0132 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 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.187726720057 0.998331873830 0 0 7 4 2103 0132 0132 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 0 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.417886443024 0.972992131715 6 8 0 7 0132 0132 0132 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 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.152121208931 0.648627544692 2 1 9 9 3120 0132 0132 3120 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 -1 0 -3 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569232013316 0.529123741748 8 9 1 7 3201 0132 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 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.357881834406 0.507510425386 3 10 10 1 0132 0132 1302 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 -1 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.459374734688 0.917657751867 8 5 3 2 0213 2310 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541489740463 0.733873920036 7 3 10 5 0213 0132 0321 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915295425249 0.921555230032 4 5 10 4 3120 0132 1230 0132 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 0 0 0 -4 0 1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925322144050 1.136597728513 6 6 8 9 2031 0132 0321 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.563796771820 0.871369806616 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_0011_5'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_7'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0110_5']), 'c_1001_2' : negation(d['c_0110_5']), 'c_1001_9' : negation(d['c_1001_7']), 'c_1001_8' : d['c_1001_7'], 'c_1010_10' : negation(d['c_0101_9']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_9']), 'c_1100_8' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : negation(d['c_0101_9']), 'c_1100_7' : negation(d['c_0101_4']), 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : negation(d['c_0101_4']), 'c_1100_3' : negation(d['c_0101_4']), 'c_1100_2' : negation(d['c_0101_4']), 'c_1100_10' : d['c_1001_7'], 'c_1010_7' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_1001_7']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_7'], 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0110_5']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0110_5']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_5']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : negation(d['c_0101_9']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], '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_7'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_10']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_4'], 'c_0110_7' : d['c_0101_0'], '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_5, c_0011_7, c_0101_0, c_0101_1, c_0101_4, c_0101_9, c_0110_5, c_1001_4, c_1001_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 264271799119897555670973720639815876051669/187322435073725157041849\ 997749718310912*c_1001_7^20 + 9877822837870442085899335377539702933\ 13073/46830608768431289260462499437429577728*c_1001_7^19 - 12848805702754334977906602303771265038533295/9366121753686257852092\ 4998874859155456*c_1001_7^18 + 898058252981301932772240278023717283\ 33052451/187322435073725157041849997749718310912*c_1001_7^17 - 239626854425038329392201882883091445409716869/187322435073725157041\ 849997749718310912*c_1001_7^16 + 2243267461184594950688316317366660\ 42199913527/187322435073725157041849997749718310912*c_1001_7^15 + 21525566798521715288213381429171626334369663/1170765219210782231511\ 5624859357394432*c_1001_7^14 - 321207258811452712811990498270924951\ 630519179/187322435073725157041849997749718310912*c_1001_7^13 - 2028184750925198728358696693183015309681210253/18732243507372515704\ 1849997749718310912*c_1001_7^12 + 244806957998437239555093869599588\ 9867757393019/93661217536862578520924998874859155456*c_1001_7^11 - 6214865788461954728846375405617299566427526987/18732243507372515704\ 1849997749718310912*c_1001_7^10 + 132551127957031761195578473765364\ 4387090193/45733016375421180918420409606864822*c_1001_7^9 - 1850095253101502367732535961299268221047117691/93661217536862578520\ 924998874859155456*c_1001_7^8 + 55334609191034282229371502529629855\ 1488219781/46830608768431289260462499437429577728*c_1001_7^7 - 19448079152744150379293497591595062483434247/2926913048026955578778\ 906214839348608*c_1001_7^6 + 59051042307553764547271568415728871784\ 3810997/187322435073725157041849997749718310912*c_1001_7^5 - 84191526104787099912705524540449209449369165/9366121753686257852092\ 4998874859155456*c_1001_7^4 - 2347958417087025532098556549036447691\ 5854899/187322435073725157041849997749718310912*c_1001_7^3 + 1122136935200286416172665264462443862054453/50627685155060853254554\ 05344586981376*c_1001_7^2 - 136496022400551916136135120711412472811\ 191/1931159124471393371565463894326992896*c_1001_7 + 1356730411794900967081982143504040265694479/18732243507372515704184\ 9997749718310912, c_0011_0 - 1, c_0011_10 + 40865228305615581403335924842318969/26096744925289099615749\ 512085499904*c_1001_7^20 - 150030854915260169337273902241683053/652\ 4186231322274903937378021374976*c_1001_7^19 + 1907837038794868828980512644379077067/13048372462644549807874756042\ 749952*c_1001_7^18 - 12893497415077581866270824418114136383/2609674\ 4925289099615749512085499904*c_1001_7^17 + 33757166222811886871899655180472041193/2609674492528909961574951208\ 5499904*c_1001_7^16 - 26154758835417307295792599607540629667/260967\ 44925289099615749512085499904*c_1001_7^15 - 3692459110231353145625106381734561159/16310465578305687259843445053\ 43744*c_1001_7^14 + 33099389406199741352815862246734917287/26096744\ 925289099615749512085499904*c_1001_7^13 + 320345681505969018106911365843858246257/260967449252890996157495120\ 85499904*c_1001_7^12 - 335338350247331171610231011061881023863/1304\ 8372462644549807874756042749952*c_1001_7^11 + 793814979923573678366317699226600242855/260967449252890996157495120\ 85499904*c_1001_7^10 - 20367391412728775355166958997458225059/81552\ 3278915284362992172252671872*c_1001_7^9 + 212446796250926404480099232054260458407/130483724626445498078747560\ 42749952*c_1001_7^8 - 62383665592853641722962907160238230993/652418\ 6231322274903937378021374976*c_1001_7^7 + 4319234750816349154389156623370843777/81552327891528436299217225267\ 1872*c_1001_7^6 - 61158501442796118895320302520479216761/2609674492\ 5289099615749512085499904*c_1001_7^5 + 6621371683337433897641385914983068305/13048372462644549807874756042\ 749952*c_1001_7^4 + 5786291423307657482357323201323049839/260967449\ 25289099615749512085499904*c_1001_7^3 - 4855283053376301645853555704059164157/26096744925289099615749512085\ 499904*c_1001_7^2 + 1154032537210155193967614398480254755/260967449\ 25289099615749512085499904*c_1001_7 - 122538813846711534171987379872015259/260967449252890996157495120854\ 99904, c_0011_5 + 73063912888376930240641332070968989/521934898505781992314990\ 24170999808*c_1001_7^20 - 270836436359396749148693912753711741/1304\ 8372462644549807874756042749952*c_1001_7^19 + 3485132151015634502598006085641355727/26096744925289099615749512085\ 499904*c_1001_7^18 - 23961357324537116087567146137479777739/5219348\ 9850578199231499024170999808*c_1001_7^17 + 63261649636054828924786391229492990381/5219348985057819923149902417\ 0999808*c_1001_7^16 - 54158679831899837147900934722279561279/521934\ 89850578199231499024170999808*c_1001_7^15 - 6373424150935256439351755990938327953/32620931156611374519686890106\ 87488*c_1001_7^14 + 75664484139339187515086748725063248611/52193489\ 850578199231499024170999808*c_1001_7^13 + 570954272957514305862757986122173394181/521934898505781992314990241\ 70999808*c_1001_7^12 - 640601539372336169701221893593704395091/2609\ 6744925289099615749512085499904*c_1001_7^11 + 1556608037333916388720759523066380936867/52193489850578199231499024\ 170999808*c_1001_7^10 - 81953543812600700106806624912847878641/3262\ 093115661137451968689010687488*c_1001_7^9 + 432827055300557712003995074039641746715/260967449252890996157495120\ 85499904*c_1001_7^8 - 127747002629330154106260272525870267497/13048\ 372462644549807874756042749952*c_1001_7^7 + 17773154926907437557925178033942918811/3262093115661137451968689010\ 687488*c_1001_7^6 - 129714425091194445459533034704618466989/5219348\ 9850578199231499024170999808*c_1001_7^5 + 15642962129146527400796183300303014357/2609674492528909961574951208\ 5499904*c_1001_7^4 + 10010283038284635125210890190124008331/5219348\ 9850578199231499024170999808*c_1001_7^3 - 10237814495805832227425867730378526433/5219348985057819923149902417\ 0999808*c_1001_7^2 + 2596342845627482870823952078830404943/52193489\ 850578199231499024170999808*c_1001_7 - 273703537163563252404387080266354039/521934898505781992314990241709\ 99808, c_0011_7 - 104774683798544873964874345849977311/52193489850578199231499\ 024170999808*c_1001_7^20 + 385557707338312730330264707441674175/130\ 48372462644549807874756042749952*c_1001_7^19 - 4917253179347161011961464530518871237/26096744925289099615749512085\ 499904*c_1001_7^18 + 33377079381254377384797333328595656345/5219348\ 9850578199231499024170999808*c_1001_7^17 - 87588188878746122602484446823891379087/5219348985057819923149902417\ 0999808*c_1001_7^16 + 69712563030135473477624991555476589077/521934\ 89850578199231499024170999808*c_1001_7^15 + 9371582354520155132079756102727872251/32620931156611374519686890106\ 87488*c_1001_7^14 - 90542728112863512106647478407434084513/52193489\ 850578199231499024170999808*c_1001_7^13 - 820020604456705094307151317069719583831/521934898505781992314990241\ 70999808*c_1001_7^12 + 874162762471666326651301063166862532977/2609\ 6744925289099615749512085499904*c_1001_7^11 - 2085857727105384123206127790137928802785/52193489850578199231499024\ 170999808*c_1001_7^10 + 107810643998366715823981381310642717387/326\ 2093115661137451968689010687488*c_1001_7^9 - 565279345319624365843534708722179753609/260967449252890996157495120\ 85499904*c_1001_7^8 + 166335703328653857466087789067020300259/13048\ 372462644549807874756042749952*c_1001_7^7 - 23087251387249884934869782946116350393/3262093115661137451968689010\ 687488*c_1001_7^6 + 165075701376700613472498694385238774671/5219348\ 9850578199231499024170999808*c_1001_7^5 - 18559862841189022399330365577111530567/2609674492528909961574951208\ 5499904*c_1001_7^4 - 14629256509670454592907585976014839001/5219348\ 9850578199231499024170999808*c_1001_7^3 + 12973525099856538449750310591811710027/5219348985057819923149902417\ 0999808*c_1001_7^2 - 3192494168404585613550723866463420101/52193489\ 850578199231499024170999808*c_1001_7 + 340673444670769102023744387755319421/521934898505781992314990241709\ 99808, c_0101_0 - 26118111082436366462901959721446509/260967449252890996157495\ 12085499904*c_1001_7^20 + 95338628075018589518054856650156641/65241\ 86231322274903937378021374976*c_1001_7^19 - 1203938887471923035838050194714325191/13048372462644549807874756042\ 749952*c_1001_7^18 + 8055844972419172479872396583799294955/26096744\ 925289099615749512085499904*c_1001_7^17 - 21003310779474169864771273313265705885/2609674492528909961574951208\ 5499904*c_1001_7^16 + 15267228617919478097662650538920761759/260967\ 44925289099615749512085499904*c_1001_7^15 + 2390585726517541399862374027125193051/16310465578305687259843445053\ 43744*c_1001_7^14 - 17813352282049769131563617097921274547/26096744\ 925289099615749512085499904*c_1001_7^13 - 204118000330239793635771102592582609669/260967449252890996157495120\ 85499904*c_1001_7^12 + 206087366346749124225527594477155571587/1304\ 8372462644549807874756042749952*c_1001_7^11 - 482664579557350053710525456917601513523/260967449252890996157495120\ 85499904*c_1001_7^10 + 12149309204238278935367825991287950065/81552\ 3278915284362992172252671872*c_1001_7^9 - 125866193115528025488239290228085641363/130483724626445498078747560\ 42749952*c_1001_7^8 + 36604213188253724688957619119526457237/652418\ 6231322274903937378021374976*c_1001_7^7 - 2529911657209296577710418013427375255/81552327891528436299217225267\ 1872*c_1001_7^6 + 35064191288359779539135157055072161837/2609674492\ 5289099615749512085499904*c_1001_7^5 - 3521981123514997904183706374441791461/13048372462644549807874756042\ 749952*c_1001_7^4 - 3899974873284482984714226146656776987/260967449\ 25289099615749512085499904*c_1001_7^3 + 2856110312628143361958468946383758593/26096744925289099615749512085\ 499904*c_1001_7^2 - 650019797173753730941881123990994271/2609674492\ 5289099615749512085499904*c_1001_7 + 42323859881111532829618815474623863/2609674492528909961574951208549\ 9904, c_0101_1 - 17491106971517221007212387496874807/130483724626445498078747\ 56042749952*c_1001_7^20 + 63786638893085096627252474963773783/32620\ 93115661137451968689010687488*c_1001_7^19 - 804292324366623959564712546676273229/652418623132227490393737802137\ 4976*c_1001_7^18 + 5367127214451785223868047858819091969/1304837246\ 2644549807874756042749952*c_1001_7^17 - 13960123451590572593105582360732656103/1304837246264454980787475604\ 2749952*c_1001_7^16 + 9942426199145453382379078458812027997/1304837\ 2462644549807874756042749952*c_1001_7^15 + 1622696483148079233753060055699047907/81552327891528436299217225267\ 1872*c_1001_7^14 - 11522999470284258547023800379485333833/130483724\ 62644549807874756042749952*c_1001_7^13 - 137542848095287788179601358982976230511/130483724626445498078747560\ 42749952*c_1001_7^12 + 136848632139113616633424835646527253593/6524\ 186231322274903937378021374976*c_1001_7^11 - 316317036138279689944174871594501666313/130483724626445498078747560\ 42749952*c_1001_7^10 + 15812005535492046789711653721741804443/81552\ 3278915284362992172252671872*c_1001_7^9 - 81378594646841380014740970132544834289/6524186231322274903937378021\ 374976*c_1001_7^8 + 23691001321679645716165299210430020859/32620931\ 15661137451968689010687488*c_1001_7^7 - 3268555590246643728627073554266007377/81552327891528436299217225267\ 1872*c_1001_7^6 + 22382221530950698533930972039015228903/1304837246\ 2644549807874756042749952*c_1001_7^5 - 2103827067894200901685052279653830495/65241862313222749039373780213\ 74976*c_1001_7^4 - 2636077081018737656361327044113841985/1304837246\ 2644549807874756042749952*c_1001_7^3 + 1798756326594452511394972365393055619/13048372462644549807874756042\ 749952*c_1001_7^2 - 381750189413580750279498607224145037/1304837246\ 2644549807874756042749952*c_1001_7 + 37815501168709654466794982833804037/1304837246264454980787475604274\ 9952, c_0101_4 + 25039395133777019935302370758927303/521934898505781992314990\ 24170999808*c_1001_7^20 - 94338866555409791658411249717990079/13048\ 372462644549807874756042749952*c_1001_7^19 + 1237456447618166023645285401560147501/26096744925289099615749512085\ 499904*c_1001_7^18 - 8733784463054510090873780017275021841/52193489\ 850578199231499024170999808*c_1001_7^17 + 23315403061836252504691999946609349815/5219348985057819923149902417\ 0999808*c_1001_7^16 - 22670080992901609881764898734756451373/521934\ 89850578199231499024170999808*c_1001_7^15 - 2087031574314279013733287639305437199/32620931156611374519686890106\ 87488*c_1001_7^14 + 35965964798718756028887324885518204281/52193489\ 850578199231499024170999808*c_1001_7^13 + 195896592857594565198297766447695121183/521934898505781992314990241\ 70999808*c_1001_7^12 - 243833247153226301771618028243857058441/2609\ 6744925289099615749512085499904*c_1001_7^11 + 607560004296040403010437076838740913209/521934898505781992314990241\ 70999808*c_1001_7^10 - 32717414140749991305036342995831286833/32620\ 93115661137451968689010687488*c_1001_7^9 + 173586252734471228253081372397213301585/260967449252890996157495120\ 85499904*c_1001_7^8 - 51064625148219490887715433884783349875/130483\ 72462644549807874756042749952*c_1001_7^7 + 7106322703283826648944840121378514427/32620931156611374519686890106\ 87488*c_1001_7^6 - 53037482969623122365648070239617933463/521934898\ 50578199231499024170999808*c_1001_7^5 + 6665465052210589227266571511766071663/26096744925289099615749512085\ 499904*c_1001_7^4 + 3823431449771405970872196552822642289/521934898\ 50578199231499024170999808*c_1001_7^3 - 4526305634620039548673686463735960883/52193489850578199231499024170\ 999808*c_1001_7^2 + 1103741705586638664033059164048795389/521934898\ 50578199231499024170999808*c_1001_7 - 98422164573956404132140845091991573/5219348985057819923149902417099\ 9808, c_0101_9 + 84244795924785373175785279677069773/521934898505781992314990\ 24170999808*c_1001_7^20 - 306998951583395859947624353605008853/1304\ 8372462644549807874756042749952*c_1001_7^19 + 3867423017482521391077622627511255663/26096744925289099615749512085\ 499904*c_1001_7^18 - 25772890367848598069680357759183869179/5219348\ 9850578199231499024170999808*c_1001_7^17 + 66996992362200277394806082592457520925/5219348985057819923149902417\ 0999808*c_1001_7^16 - 47292703835534533162997884179519438127/521934\ 89850578199231499024170999808*c_1001_7^15 - 7827616551052575698823880418670715285/32620931156611374519686890106\ 87488*c_1001_7^14 + 53866914768407221737316758945162907379/52193489\ 850578199231499024170999808*c_1001_7^13 + 662400900294014755074052491999959514901/521934898505781992314990241\ 70999808*c_1001_7^12 - 655259915955808128932215294871601195939/2609\ 6744925289099615749512085499904*c_1001_7^11 + 1512893798652414418164418664871699227443/52193489850578199231499024\ 170999808*c_1001_7^10 - 75589806323472873258584826390565950931/3262\ 093115661137451968689010687488*c_1001_7^9 + 388609362764343370252661132388956219387/260967449252890996157495120\ 85499904*c_1001_7^8 - 113368207969075289126168774105866702161/13048\ 372462644549807874756042749952*c_1001_7^7 + 15659409667749776104770208591931410289/3262093115661137451968689010\ 687488*c_1001_7^6 - 107204184449729010041043324201694561597/5219348\ 9850578199231499024170999808*c_1001_7^5 + 10098013451454738147383252737618012165/2609674492528909961574951208\ 5499904*c_1001_7^4 + 12582148900563273963448317090329274779/5219348\ 9850578199231499024170999808*c_1001_7^3 - 8545892712966610865775565688001431025/52193489850578199231499024170\ 999808*c_1001_7^2 + 1790189253162909541675201951757757087/521934898\ 50578199231499024170999808*c_1001_7 - 172090159886089700147104997568761127/521934898505781992314990241709\ 99808, c_0110_5 - 48842198681144832458905417664069211/521934898505781992314990\ 24170999808*c_1001_7^20 + 181626770792802302122144047391222739/1304\ 8372462644549807874756042749952*c_1001_7^19 - 2345770220978974557966150276630032457/26096744925289099615749512085\ 499904*c_1001_7^18 + 16206956432003405725127231192465598493/5219348\ 9850578199231499024170999808*c_1001_7^17 - 42857950946571909850667639420168198283/5219348985057819923149902417\ 0999808*c_1001_7^16 + 37608161661652028920532936241264710537/521934\ 89850578199231499024170999808*c_1001_7^15 + 4247172148112685683713838247330600915/32620931156611374519686890106\ 87488*c_1001_7^14 - 54431114765161629003996434597182780645/52193489\ 850578199231499024170999808*c_1001_7^13 - 382825086769730246427713525519711439443/521934898505781992314990241\ 70999808*c_1001_7^12 + 437268463151511351424549180619942329141/2609\ 6744925289099615749512085499904*c_1001_7^11 - 1063628772869232447485517858329851859365/52193489850578199231499024\ 170999808*c_1001_7^10 + 56156794762943744248578552365058762661/3262\ 093115661137451968689010687488*c_1001_7^9 - 296198074644010504709137092119675012765/260967449252890996157495120\ 85499904*c_1001_7^8 + 87262689805222311923990380826637736823/130483\ 72462644549807874756042749952*c_1001_7^7 - 12132411602769676234760523933775259463/3262093115661137451968689010\ 687488*c_1001_7^6 + 88616878201253801806753032633143958123/52193489\ 850578199231499024170999808*c_1001_7^5 - 10541378772700841649590970150756280035/2609674492528909961574951208\ 5499904*c_1001_7^4 - 6992865851476212749451142892750626685/52193489\ 850578199231499024170999808*c_1001_7^3 + 7175352773936003148606380999242122071/52193489850578199231499024170\ 999808*c_1001_7^2 - 1760607105404432460623187687665437337/521934898\ 50578199231499024170999808*c_1001_7 + 172106733056458130284728982826663761/521934898505781992314990241709\ 99808, c_1001_4 + 126689542251011868355525823852077487/52193489850578199231499\ 024170999808*c_1001_7^20 - 466761998274803112010619744374326191/130\ 48372462644549807874756042749952*c_1001_7^19 + 5962011624131106961942224261072811253/26096744925289099615749512085\ 499904*c_1001_7^18 - 40562116289211565906699381000145068745/5219348\ 9850578199231499024170999808*c_1001_7^17 + 106584057339431324986499383004103365983/521934898505781992314990241\ 70999808*c_1001_7^16 - 86053779980250288669673860761211767173/52193\ 489850578199231499024170999808*c_1001_7^15 - 11256503180855051640908630267029687323/3262093115661137451968689010\ 687488*c_1001_7^14 + 112733791737841017720379652259794858449/521934\ 89850578199231499024170999808*c_1001_7^13 + 990278244297377621332864024091476744743/521934898505781992314990241\ 70999808*c_1001_7^12 - 1065562823104339374896604874682860827297/260\ 96744925289099615749512085499904*c_1001_7^11 + 2556207524011344936525111075209992169745/52193489850578199231499024\ 170999808*c_1001_7^10 - 132892602509153352275316613279281239939/326\ 2093115661137451968689010687488*c_1001_7^9 + 699236433594429913861439188319318715257/260967449252890996157495120\ 85499904*c_1001_7^8 - 206069927728037998798776276080681306835/13048\ 372462644549807874756042749952*c_1001_7^7 + 28627245372715584377626161212526563233/3262093115661137451968689010\ 687488*c_1001_7^6 - 205642720337340302076087238691605401567/5219348\ 9850578199231499024170999808*c_1001_7^5 + 23850333471551431772969656853602219415/2609674492528909961574951208\ 5499904*c_1001_7^4 + 17289089717361552913494342332332208777/5219348\ 9850578199231499024170999808*c_1001_7^3 - 16085520574068594242905397635641573083/5219348985057819923149902417\ 0999808*c_1001_7^2 + 4076711509275693494848302114438500021/52193489\ 850578199231499024170999808*c_1001_7 - 446528208095789530160870334186281069/521934898505781992314990241709\ 99808, c_1001_7^21 - 15*c_1001_7^20 + 98*c_1001_7^19 - 345*c_1001_7^18 + 926*c_1001_7^17 - 902*c_1001_7^16 - 1239*c_1001_7^15 + 1263*c_1001_7^14 + 7572*c_1001_7^13 - 18881*c_1001_7^12 + 24649*c_1001_7^11 - 22149*c_1001_7^10 + 15518*c_1001_7^9 - 9454*c_1001_7^8 + 5356*c_1001_7^7 - 2593*c_1001_7^6 + 813*c_1001_7^5 + 33*c_1001_7^4 - 162*c_1001_7^3 + 66*c_1001_7^2 - 12*c_1001_7 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.220 Total time: 0.430 seconds, Total memory usage: 32.09MB