Magma V2.19-8 Tue Aug 20 2013 23:38:51 on localhost [Seed = 2034179391] Type ? for help. Type -D to quit. Loading file "K12n238__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n238 geometric_solution 9.63589277 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 2 0132 0132 0132 0213 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 0 1 -1 -4 0 4 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732419046099 0.705338149266 0 3 5 4 0132 3012 0132 0132 0 0 0 0 0 1 0 -1 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 4 0 -4 4 0 0 -4 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.430032510759 0.556060909811 6 0 7 0 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 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 5 -5 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.732419046099 0.705338149266 1 8 8 0 1230 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 0 -1 0 0 4 -4 -5 0 0 5 -4 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715033390443 1.088359859367 6 8 1 7 1302 1023 0132 2031 0 0 0 0 0 0 1 -1 -1 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 0 0 4 -4 -5 0 4 1 0 1 0 -1 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567978561166 0.574375297585 6 9 7 1 2310 0132 1023 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 0 0 0 0 0 0 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478860837718 1.289068760467 2 4 5 9 0132 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 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 5 -5 4 -4 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559381277561 0.657787459961 10 4 5 2 0132 1302 1023 0132 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 -1 0 1 0 0 0 0 0 4 0 -4 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350359845565 0.185376921387 4 3 3 10 1023 0132 0321 2103 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 0 1 0 0 -5 5 -1 1 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.715033390443 1.088359859367 10 5 6 10 2103 0132 0132 0321 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 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.131866544597 0.768822061010 7 9 9 8 0132 0321 2103 2103 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 5 -5 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.047785990663 1.092793331964 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_5']), 'c_1001_5' : d['c_0101_7'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0101_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : negation(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_0011_5']), 'c_1100_8' : negation(d['c_0101_7']), 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : negation(d['c_1001_2']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_2'], 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0011_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0101_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : 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_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(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_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0101_3']), 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_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_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0101_7, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 10094181572585642797950989538847/153788999568976144830969282122*c_1\ 001_2^20 - 129643610379329660759611999905/1410908252926386649825406\ 258*c_1001_2^19 + 273320269817209319351830626632599/153788999568976\ 144830969282122*c_1001_2^18 + 779461125738016273397628733039513/153\ 788999568976144830969282122*c_1001_2^17 - 1026428074633880973512802608860679/153788999568976144830969282122*c\ _1001_2^16 - 5572006629787938915888724378033069/1537889995689761448\ 30969282122*c_1001_2^15 - 2712807770341778766824292637201207/153788\ 999568976144830969282122*c_1001_2^14 + 5386262919322920278783179019893867/76894499784488072415484641061*c_\ 1001_2^13 + 13794881744062839579831720749055769/1537889995689761448\ 30969282122*c_1001_2^12 - 13669268428555350321086213041745/14109082\ 52926386649825406258*c_1001_2^11 - 8197990761289702071652246622408229/153788999568976144830969282122*c\ _1001_2^10 + 4873443727399918510995567799125449/1537889995689761448\ 30969282122*c_1001_2^9 + 5613792522917173743726385313558098/7689449\ 9784488072415484641061*c_1001_2^8 + 2210932742314853868770735797031931/153788999568976144830969282122*c\ _1001_2^7 - 3100729214457378842181393636466427/15378899956897614483\ 0969282122*c_1001_2^6 + 311852814695577725336374092354487/768944997\ 84488072415484641061*c_1001_2^5 + 257836458981340458787666138965623\ 7/153788999568976144830969282122*c_1001_2^4 + 1013142180655897687728597921305991/153788999568976144830969282122*c\ _1001_2^3 + 107369326183139688335512856175739/153788999568976144830\ 969282122*c_1001_2^2 + 66775205531194135084565964448447/15378899956\ 8976144830969282122*c_1001_2 + 20168953418479764570189816417929/153\ 788999568976144830969282122, c_0011_0 - 1, c_0011_10 - 3660021457979334404/41153142666088131841*c_1001_2^20 - 7857706265163077864/41153142666088131841*c_1001_2^19 + 99957734203160052445/41153142666088131841*c_1001_2^18 + 708826163259481114765/82306285332176263682*c_1001_2^17 - 287190465758260570596/41153142666088131841*c_1001_2^16 - 2421406413932229077344/41153142666088131841*c_1001_2^15 - 1687053283811112618530/41153142666088131841*c_1001_2^14 + 8661245203871864074251/82306285332176263682*c_1001_2^13 + 6315171425690665336607/41153142666088131841*c_1001_2^12 + 681587211224627356363/82306285332176263682*c_1001_2^11 - 2715694547602788722168/41153142666088131841*c_1001_2^10 + 2739466063029914897089/82306285332176263682*c_1001_2^9 + 4285368099565666399632/41153142666088131841*c_1001_2^8 + 3344998189065043245953/82306285332176263682*c_1001_2^7 - 350862264361824983201/41153142666088131841*c_1001_2^6 - 373072846438351675883/82306285332176263682*c_1001_2^5 + 807175699864130612155/41153142666088131841*c_1001_2^4 + 639063935666032144438/41153142666088131841*c_1001_2^3 + 274918816860008902796/41153142666088131841*c_1001_2^2 + 12916870510212119093/82306285332176263682*c_1001_2 - 24488632067410770905/82306285332176263682, c_0011_3 + 31076632475912812871/82306285332176263682*c_1001_2^20 + 17004063897971009631/41153142666088131841*c_1001_2^19 - 843094436108589824389/82306285332176263682*c_1001_2^18 - 2128666322161674482241/82306285332176263682*c_1001_2^17 + 1783885937142473060336/41153142666088131841*c_1001_2^16 + 15359980658681178009445/82306285332176263682*c_1001_2^15 + 4649960854031953654129/82306285332176263682*c_1001_2^14 - 14709165825965328382190/41153142666088131841*c_1001_2^13 - 15810799588609832845555/41153142666088131841*c_1001_2^12 + 3177062470496577696367/82306285332176263682*c_1001_2^11 + 12765723492216244822845/82306285332176263682*c_1001_2^10 - 6979250643363904377483/41153142666088131841*c_1001_2^9 - 11067243524155439484361/41153142666088131841*c_1001_2^8 - 7218797381297954424503/82306285332176263682*c_1001_2^7 + 827679399485148713225/41153142666088131841*c_1001_2^6 - 847305909104954508665/41153142666088131841*c_1001_2^5 - 4017098481579678999045/82306285332176263682*c_1001_2^4 - 3446087832936063368463/82306285332176263682*c_1001_2^3 - 1421353725754542321471/82306285332176263682*c_1001_2^2 - 89037658576284668694/41153142666088131841*c_1001_2 - 13327423102214359984/41153142666088131841, c_0011_5 + 7009215022851161986/41153142666088131841*c_1001_2^20 + 7350603088511215319/41153142666088131841*c_1001_2^19 - 372263192354920079301/82306285332176263682*c_1001_2^18 - 948208181468412579779/82306285332176263682*c_1001_2^17 + 709683992905277689160/41153142666088131841*c_1001_2^16 + 3326737223397667522144/41153142666088131841*c_1001_2^15 + 3287158560416837131901/82306285332176263682*c_1001_2^14 - 11378681691806092740375/82306285332176263682*c_1001_2^13 - 16735497386491949733837/82306285332176263682*c_1001_2^12 - 2839333297319774299781/82306285332176263682*c_1001_2^11 + 7094936405505069197851/82306285332176263682*c_1001_2^10 - 3666122346364013941189/82306285332176263682*c_1001_2^9 - 11679900015084199506593/82306285332176263682*c_1001_2^8 - 5920284833005504573531/82306285332176263682*c_1001_2^7 + 1253250878160884161749/82306285332176263682*c_1001_2^6 - 155504570012996832405/82306285332176263682*c_1001_2^5 - 1001088763533013373838/41153142666088131841*c_1001_2^4 - 962630574628916429921/41153142666088131841*c_1001_2^3 - 870633259549776752643/82306285332176263682*c_1001_2^2 - 32660500651407389829/41153142666088131841*c_1001_2 + 11012722625903548869/82306285332176263682, c_0101_1 - 3797701874163369885/82306285332176263682*c_1001_2^20 - 1775423992211920287/82306285332176263682*c_1001_2^19 + 103786945380050046691/82306285332176263682*c_1001_2^18 + 195746699356037721233/82306285332176263682*c_1001_2^17 - 274517364963148809559/41153142666088131841*c_1001_2^16 - 768529163702562620325/41153142666088131841*c_1001_2^15 + 312158880460237063007/82306285332176263682*c_1001_2^14 + 3385489144141400141649/82306285332176263682*c_1001_2^13 + 1019673003797069026533/41153142666088131841*c_1001_2^12 - 762000192889823104097/41153142666088131841*c_1001_2^11 - 1037850901528414468927/82306285332176263682*c_1001_2^10 + 2085655007634877879155/82306285332176263682*c_1001_2^9 + 832248940364477734307/41153142666088131841*c_1001_2^8 - 25004728015268772164/41153142666088131841*c_1001_2^7 - 248498777253326548991/41153142666088131841*c_1001_2^6 + 173792332866958074157/41153142666088131841*c_1001_2^5 + 295360035399996325915/82306285332176263682*c_1001_2^4 + 112516215937643473388/41153142666088131841*c_1001_2^3 - 67222951937588684664/41153142666088131841*c_1001_2^2 - 1768984753095442537/41153142666088131841*c_1001_2 - 30308870037632433038/41153142666088131841, c_0101_10 - 386641552156194901/41153142666088131841*c_1001_2^20 - 300121526055552031/82306285332176263682*c_1001_2^19 + 21171325811285591125/82306285332176263682*c_1001_2^18 + 19042904136111060420/41153142666088131841*c_1001_2^17 - 57484713545808895928/41153142666088131841*c_1001_2^16 - 302392916464133668629/82306285332176263682*c_1001_2^15 + 87784432526737336839/82306285332176263682*c_1001_2^14 + 673759790816572207559/82306285332176263682*c_1001_2^13 + 362902868660756076035/82306285332176263682*c_1001_2^12 - 317797224514838253123/82306285332176263682*c_1001_2^11 - 182266885617688789265/82306285332176263682*c_1001_2^10 + 419416140125283799175/82306285332176263682*c_1001_2^9 + 288320138456565811343/82306285332176263682*c_1001_2^8 - 20061474460275596359/82306285332176263682*c_1001_2^7 - 109408428199413191933/82306285332176263682*c_1001_2^6 + 35584382964981412205/41153142666088131841*c_1001_2^5 - 27907150149623455278/41153142666088131841*c_1001_2^4 + 43173828904396769881/82306285332176263682*c_1001_2^3 + 57299963889161983950/41153142666088131841*c_1001_2^2 + 246853889739529311/82306285332176263682*c_1001_2 + 1011138940975724799/41153142666088131841, c_0101_3 + 17732946300336600723/41153142666088131841*c_1001_2^20 + 31824977198809470895/82306285332176263682*c_1001_2^19 - 478932857547196483999/41153142666088131841*c_1001_2^18 - 1118178836584605666925/41153142666088131841*c_1001_2^17 + 4224037326860529072573/82306285332176263682*c_1001_2^16 + 8083994615625372385797/41153142666088131841*c_1001_2^15 + 3661641528397121241781/82306285332176263682*c_1001_2^14 - 15052371308813505556410/41153142666088131841*c_1001_2^13 - 15594702725023434787428/41153142666088131841*c_1001_2^12 + 488974305775620656225/82306285332176263682*c_1001_2^11 + 9391240462034497030851/82306285332176263682*c_1001_2^10 - 6820867351124643126312/41153142666088131841*c_1001_2^9 - 10235407970073217424281/41153142666088131841*c_1001_2^8 - 9493097707287906264319/82306285332176263682*c_1001_2^7 - 341271304281743810123/82306285332176263682*c_1001_2^6 - 1836564646166354610945/82306285332176263682*c_1001_2^5 - 1772891599057666625044/41153142666088131841*c_1001_2^4 - 3888231973557985583105/82306285332176263682*c_1001_2^3 - 1789626686070062735999/82306285332176263682*c_1001_2^2 - 204903022863603680665/41153142666088131841*c_1001_2 - 35552726844855182183/82306285332176263682, c_0101_5 - 15687733512218936051/82306285332176263682*c_1001_2^20 - 5940122569038896706/41153142666088131841*c_1001_2^19 + 216010466247717786828/41153142666088131841*c_1001_2^18 + 932821403651570636901/82306285332176263682*c_1001_2^17 - 1092968334040482593875/41153142666088131841*c_1001_2^16 - 7206777086832093530861/82306285332176263682*c_1001_2^15 + 214573656982169548415/41153142666088131841*c_1001_2^14 + 8038654693143534231760/41153142666088131841*c_1001_2^13 + 10575321005304676711375/82306285332176263682*c_1001_2^12 - 8004422518010131571341/82306285332176263682*c_1001_2^11 - 2851434974156956941084/41153142666088131841*c_1001_2^10 + 4950838557042241877962/41153142666088131841*c_1001_2^9 + 8790438846539717013905/82306285332176263682*c_1001_2^8 - 870721970023451162535/82306285332176263682*c_1001_2^7 - 1946477175315481864779/82306285332176263682*c_1001_2^6 + 712525265896723683801/41153142666088131841*c_1001_2^5 + 1935918297255836864003/82306285332176263682*c_1001_2^4 + 895421138232745675849/82306285332176263682*c_1001_2^3 + 47188761760942842916/41153142666088131841*c_1001_2^2 - 115827927318681176553/82306285332176263682*c_1001_2 + 7005513998960018689/41153142666088131841, c_0101_7 - 3719308638013550218/41153142666088131841*c_1001_2^20 - 2062038868428449243/82306285332176263682*c_1001_2^19 + 208178183855270008277/82306285332176263682*c_1001_2^18 + 170603188569574313758/41153142666088131841*c_1001_2^17 - 631405188297998367910/41153142666088131841*c_1001_2^16 - 2876107655702925402755/82306285332176263682*c_1001_2^15 + 1984856033036414445803/82306285332176263682*c_1001_2^14 + 7342783261361673199779/82306285332176263682*c_1001_2^13 + 719559790735425435545/82306285332176263682*c_1001_2^12 - 6177253393611736949959/82306285332176263682*c_1001_2^11 + 287021073706390288661/82306285332176263682*c_1001_2^10 + 6831088706567089258699/82306285332176263682*c_1001_2^9 + 1215202786612715573025/82306285332176263682*c_1001_2^8 - 2909359134960078657117/82306285332176263682*c_1001_2^7 - 241074537233288823613/82306285332176263682*c_1001_2^6 + 848047323255742348887/41153142666088131841*c_1001_2^5 + 225119909159377853827/41153142666088131841*c_1001_2^4 - 145958550167847731383/82306285332176263682*c_1001_2^3 - 71376315432074826981/41153142666088131841*c_1001_2^2 + 31841088850300335635/82306285332176263682*c_1001_2 + 28577218928792299526/41153142666088131841, c_1001_0 + 10844272628455698803/41153142666088131841*c_1001_2^20 + 17890843382748027721/82306285332176263682*c_1001_2^19 - 587366145928819655649/82306285332176263682*c_1001_2^18 - 1327657041576102195305/82306285332176263682*c_1001_2^17 + 2689929403900848445923/82306285332176263682*c_1001_2^16 + 4887356406181763820669/41153142666088131841*c_1001_2^15 + 760513276909690910898/41153142666088131841*c_1001_2^14 - 19120777669732375191969/82306285332176263682*c_1001_2^13 - 18107859205457794885897/82306285332176263682*c_1001_2^12 + 1572730907848309665486/41153142666088131841*c_1001_2^11 + 3532331767978633621891/41153142666088131841*c_1001_2^10 - 10190416999945024258659/82306285332176263682*c_1001_2^9 - 13334900670029125818711/82306285332176263682*c_1001_2^8 - 1933040579891725460458/41153142666088131841*c_1001_2^7 + 744938628605085842849/41153142666088131841*c_1001_2^6 - 888310862332212778368/41153142666088131841*c_1001_2^5 - 1322717289859928360657/41153142666088131841*c_1001_2^4 - 2177134123887903001169/82306285332176263682*c_1001_2^3 - 321254689200584478732/41153142666088131841*c_1001_2^2 - 123668262927601842050/41153142666088131841*c_1001_2 - 23457530010006840143/41153142666088131841, c_1001_2^21 + c_1001_2^20 - 27*c_1001_2^19 - 66*c_1001_2^18 + 115*c_1001_2^17 + 476*c_1001_2^16 + 141*c_1001_2^15 - 896*c_1001_2^14 - 991*c_1001_2^13 + 51*c_1001_2^12 + 396*c_1001_2^11 - 422*c_1001_2^10 - 711*c_1001_2^9 - 255*c_1001_2^8 + 71*c_1001_2^7 - 59*c_1001_2^6 - 138*c_1001_2^5 - 114*c_1001_2^4 - 40*c_1001_2^3 - 9*c_1001_2^2 - 2*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB