Magma V2.19-8 Tue Aug 20 2013 23:46:13 on localhost [Seed = 3481904585] Type ? for help. Type -D to quit. Loading file "K14n15285__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15285 geometric_solution 10.96779404 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 1 2 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.321066503326 1.172731272269 0 5 7 6 0132 0132 0132 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 0 1 -1 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171322182091 1.537557619335 8 0 9 6 0132 0132 0132 1023 0 0 0 0 0 1 -1 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 3 -3 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466675085031 0.327044298877 10 6 4 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 -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 0 0 2 0 0 -2 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406203936321 0.903229081142 8 10 0 3 2310 2310 0132 1302 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412768534537 0.775231011017 8 1 7 9 1023 0132 3201 1230 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 -1 0 1 0 -1 0 0 1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.322854845755 1.244826356674 11 3 1 2 0132 0132 0132 1023 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 0 0 0 0 0 -2 0 2 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.741947462075 1.417996764827 5 8 11 1 2310 0321 0321 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 1 0 -1 -3 0 3 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.140823953812 0.413818587511 2 5 4 7 0132 1023 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339363972311 0.641127178768 5 10 11 2 3012 2103 3012 0132 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 -3 3 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.580538360833 0.600307386262 3 9 11 4 0132 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 0 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 2 0 0 -2 -2 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509086282033 1.122332038990 6 9 7 10 0132 1230 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 3 0 0 -3 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.028018631986 0.583122779745 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_9'], 'c_1001_5' : d['c_0101_11'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : d['c_0101_11'], 'c_1001_3' : d['c_0101_8'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_1001_2']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], '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' : d['1'], 's_2_10' : d['1'], 's_2_11' : 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_1001_11']), 'c_1100_8' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_1001_11'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : negation(d['c_0011_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0011_9'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : d['c_0101_11'], 'c_1010_1' : d['c_0101_11'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_9'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_7']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : negation(d['c_0101_8']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_3, c_0101_8, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 2697761591877246865390310913932477667/16529915630179188177570366180\ 3125*c_1001_2^18 - 27303163654168575981898772275291340067/165299156\ 301791881775703661803125*c_1001_2^17 - 237666745651055995355640333059746300429/165299156301791881775703661\ 803125*c_1001_2^16 - 1420384503652228466068941324174662368503/16529\ 9156301791881775703661803125*c_1001_2^15 - 5675506011209575646127326410448050429009/16529915630179188177570366\ 1803125*c_1001_2^14 - 15654103554651514848264508263471960376678/165\ 299156301791881775703661803125*c_1001_2^13 - 30897079994839093808381683355678831116757/1652991563017918817757036\ 61803125*c_1001_2^12 - 44633770854699806801748230153060023945832/16\ 5299156301791881775703661803125*c_1001_2^11 - 66354580247007993359704636397934282183/2279988362783336300354533266\ 25*c_1001_2^10 - 39966647872265175452167570229457311188387/16529915\ 6301791881775703661803125*c_1001_2^9 - 5544606287078850580677731758944417326604/33059831260358376355140732\ 360625*c_1001_2^8 - 17987033591799936426445791213308798247337/16529\ 9156301791881775703661803125*c_1001_2^7 - 10936613220156583226937117641751686136426/1652991563017918817757036\ 61803125*c_1001_2^6 - 5300253039759633671894076043904147078621/1652\ 99156301791881775703661803125*c_1001_2^5 - 1908174378178716530761767639276573505471/16529915630179188177570366\ 1803125*c_1001_2^4 - 153528986762873396595215246702740394317/330598\ 31260358376355140732360625*c_1001_2^3 - 4404268823652441627001817173812297118/19446959564916691973612195506\ 25*c_1001_2^2 - 98420655787478321328845949193592971003/165299156301\ 791881775703661803125*c_1001_2 - 1523851188762645761150980115859788\ 7291/165299156301791881775703661803125, c_0011_0 - 1, c_0011_10 - 12589588837395096440/61520913700412095771*c_1001_2^18 - 127827219876476490840/61520913700412095771*c_1001_2^17 - 1103258767915841020907/61520913700412095771*c_1001_2^16 - 6582443450479470112863/61520913700412095771*c_1001_2^15 - 25994934597583393683061/61520913700412095771*c_1001_2^14 - 70142171876645473007730/61520913700412095771*c_1001_2^13 - 133989076480319895261893/61520913700412095771*c_1001_2^12 - 185767777253517528036247/61520913700412095771*c_1001_2^11 - 191485487960599295431056/61520913700412095771*c_1001_2^10 - 153655411137122920935655/61520913700412095771*c_1001_2^9 - 105629331515789099969925/61520913700412095771*c_1001_2^8 - 68640980749928037300779/61520913700412095771*c_1001_2^7 - 40303362760695630566336/61520913700412095771*c_1001_2^6 - 18576288745887549877866/61520913700412095771*c_1001_2^5 - 6847781560529843871212/61520913700412095771*c_1001_2^4 - 2727277059632409172775/61520913700412095771*c_1001_2^3 - 66027635327573569938/3618877276494829163*c_1001_2^2 - 347832466749847154013/61520913700412095771*c_1001_2 - 37951689668290680416/61520913700412095771, c_0011_4 + 9702842527437713851/61520913700412095771*c_1001_2^18 + 97647177723566445104/61520913700412095771*c_1001_2^17 + 852449571254644672589/61520913700412095771*c_1001_2^16 + 5091793663520373820765/61520913700412095771*c_1001_2^15 + 20392538968948404847688/61520913700412095771*c_1001_2^14 + 56722068142396250185865/61520913700412095771*c_1001_2^13 + 113886214095119998479279/61520913700412095771*c_1001_2^12 + 169192992734368891881200/61520913700412095771*c_1001_2^11 + 189686652721942578077343/61520913700412095771*c_1001_2^10 + 164796456446119810248872/61520913700412095771*c_1001_2^9 + 117623326063310078458038/61520913700412095771*c_1001_2^8 + 75948198572548744074275/61520913700412095771*c_1001_2^7 + 46558827382072175039382/61520913700412095771*c_1001_2^6 + 24638624725178364965910/61520913700412095771*c_1001_2^5 + 9941660599714868745811/61520913700412095771*c_1001_2^4 + 3537742824725595674415/61520913700412095771*c_1001_2^3 + 99578534737787116445/3618877276494829163*c_1001_2^2 + 697144607677262152615/61520913700412095771*c_1001_2 + 108038412096281205185/61520913700412095771, c_0011_7 - 11452673175805673513/61520913700412095771*c_1001_2^18 - 120230978261168470643/61520913700412095771*c_1001_2^17 - 1050591139784477411124/61520913700412095771*c_1001_2^16 - 6390181259562416725417/61520913700412095771*c_1001_2^15 - 26194258685561210868247/61520913700412095771*c_1001_2^14 - 74525810683320612626497/61520913700412095771*c_1001_2^13 - 152365147312664670504717/61520913700412095771*c_1001_2^12 - 229055628833536095535538/61520913700412095771*c_1001_2^11 - 257991113273776813590484/61520913700412095771*c_1001_2^10 - 224071307940501865278018/61520913700412095771*c_1001_2^9 - 160629847903450360794947/61520913700412095771*c_1001_2^8 - 105884823259682511894044/61520913700412095771*c_1001_2^7 - 66378508358290611978819/61520913700412095771*c_1001_2^6 - 34990033727790925777558/61520913700412095771*c_1001_2^5 - 14068325630880457862009/61520913700412095771*c_1001_2^4 - 5411800613620379737756/61520913700412095771*c_1001_2^3 - 148494358325112132928/3618877276494829163*c_1001_2^2 - 880694007855810088005/61520913700412095771*c_1001_2 - 161147771551572717106/61520913700412095771, c_0011_9 + 18359416478896873804/61520913700412095771*c_1001_2^18 + 192322033907272254530/61520913700412095771*c_1001_2^17 + 1676536046943954904980/61520913700412095771*c_1001_2^16 + 10178652515689639634499/61520913700412095771*c_1001_2^15 + 41523113284712376913876/61520913700412095771*c_1001_2^14 + 117245885735194244126682/61520913700412095771*c_1001_2^13 + 237135404496361398318328/61520913700412095771*c_1001_2^12 + 351394142990923961399903/61520913700412095771*c_1001_2^11 + 388362283868121224676309/61520913700412095771*c_1001_2^10 + 329558264577111780102916/61520913700412095771*c_1001_2^9 + 230686650992482059790438/61520913700412095771*c_1001_2^8 + 149382875988673166471401/61520913700412095771*c_1001_2^7 + 91802836277315039462689/61520913700412095771*c_1001_2^6 + 46282418871966660127759/61520913700412095771*c_1001_2^5 + 17272022836524754557477/61520913700412095771*c_1001_2^4 + 6567589452287675261561/61520913700412095771*c_1001_2^3 + 192187959167127505611/3618877276494829163*c_1001_2^2 + 1047477491779646284889/61520913700412095771*c_1001_2 + 150719150277768794449/61520913700412095771, c_0101_0 - 3227814112880614261/61520913700412095771*c_1001_2^18 - 33518473866253638766/61520913700412095771*c_1001_2^17 - 279323572078972469558/61520913700412095771*c_1001_2^16 - 1659993474683867631028/61520913700412095771*c_1001_2^15 - 6257055284623714316073/61520913700412095771*c_1001_2^14 - 15221497272190703062613/61520913700412095771*c_1001_2^13 - 23965430353897847724296/61520913700412095771*c_1001_2^12 - 23510277254176657293575/61520913700412095771*c_1001_2^11 - 12225754689917626999902/61520913700412095771*c_1001_2^10 - 1284754934085120506122/61520913700412095771*c_1001_2^9 + 1035228028996941555560/61520913700412095771*c_1001_2^8 + 112191547981561968315/61520913700412095771*c_1001_2^7 + 1698206329909573126926/61520913700412095771*c_1001_2^6 + 2330787991893282066758/61520913700412095771*c_1001_2^5 + 516245315799632732859/61520913700412095771*c_1001_2^4 - 139888399186274862566/61520913700412095771*c_1001_2^3 + 10589786319089575502/3618877276494829163*c_1001_2^2 + 59634562824647923384/61520913700412095771*c_1001_2 - 5898740761945386769/61520913700412095771, c_0101_1 - 974973409134197361/61520913700412095771*c_1001_2^18 - 9652495325336044582/61520913700412095771*c_1001_2^17 - 86348561874761910726/61520913700412095771*c_1001_2^16 - 518649964446632327258/61520913700412095771*c_1001_2^15 - 2146513678518455902946/61520913700412095771*c_1001_2^14 - 6391074217851734808899/61520913700412095771*c_1001_2^13 - 14286286857337285035372/61520913700412095771*c_1001_2^12 - 24465253956371385792628/61520913700412095771*c_1001_2^11 - 32389245876304511777062/61520913700412095771*c_1001_2^10 - 33152118576373489309898/61520913700412095771*c_1001_2^9 - 26457576794076058375943/61520913700412095771*c_1001_2^8 - 17218367273837670004337/61520913700412095771*c_1001_2^7 - 10239817775315846944506/61520913700412095771*c_1001_2^6 - 5936237474632012983846/61520913700412095771*c_1001_2^5 - 2809117306698594088413/61520913700412095771*c_1001_2^4 - 863130493366533601027/61520913700412095771*c_1001_2^3 - 13869917609750466962/3618877276494829163*c_1001_2^2 - 135084878117516182058/61520913700412095771*c_1001_2 + 12404569487415316015/61520913700412095771, c_0101_11 + 10194715675998651006/61520913700412095771*c_1001_2^18 + 93706618159890197598/61520913700412095771*c_1001_2^17 + 802170678940800548396/61520913700412095771*c_1001_2^16 + 4543230748967473142222/61520913700412095771*c_1001_2^15 + 16545045234794717584432/61520913700412095771*c_1001_2^14 + 39977610805071312785609/61520913700412095771*c_1001_2^13 + 65920767728232675107310/61520913700412095771*c_1001_2^12 + 74352910130911244796937/61520913700412095771*c_1001_2^11 + 56708545094150247202047/61520913700412095771*c_1001_2^10 + 29942406197151481044674/61520913700412095771*c_1001_2^9 + 14456360067544209726673/61520913700412095771*c_1001_2^8 + 8794035028708104461551/61520913700412095771*c_1001_2^7 + 3004845284458248578699/61520913700412095771*c_1001_2^6 - 1514409811218026588750/61520913700412095771*c_1001_2^5 - 1217658544219885081122/61520913700412095771*c_1001_2^4 + 204299726019153476104/61520913700412095771*c_1001_2^3 + 1482533537630169286/3618877276494829163*c_1001_2^2 - 164417416050908343770/61520913700412095771*c_1001_2 - 25813933707115734306/61520913700412095771, c_0101_3 + 69257999842691846/3618877276494829163*c_1001_2^18 + 1481008755558729834/3618877276494829163*c_1001_2^17 + 12926120254665148997/3618877276494829163*c_1001_2^16 + 94690050584731019621/3618877276494829163*c_1001_2^15 + 466940000218985581715/3618877276494829163*c_1001_2^14 + 1519982257423407497236/3618877276494829163*c_1001_2^13 + 3339292811695544916922/3618877276494829163*c_1001_2^12 + 5063013522334553940553/3618877276494829163*c_1001_2^11 + 5363494655147079685386/3618877276494829163*c_1001_2^10 + 4104796603636257084155/3618877276494829163*c_1001_2^9 + 2602084757136858339520/3618877276494829163*c_1001_2^8 + 1716716562478075106945/3618877276494829163*c_1001_2^7 + 1065276271204309952656/3618877276494829163*c_1001_2^6 + 411965200163765652554/3618877276494829163*c_1001_2^5 + 103080379904255377350/3618877276494829163*c_1001_2^4 + 78824647105671580414/3618877276494829163*c_1001_2^3 + 2237444270581939718/212875133911460539*c_1001_2^2 + 2306758768171532149/3618877276494829163*c_1001_2 - 211719888098577800/3618877276494829163, c_0101_8 - 8924579020631860355/61520913700412095771*c_1001_2^18 - 83115353946724750926/61520913700412095771*c_1001_2^17 - 714089681262795415040/61520913700412095771*c_1001_2^16 - 4081498508393370016605/61520913700412095771*c_1001_2^15 - 15127019357554496648994/61520913700412095771*c_1001_2^14 - 37700583406514227859588/61520913700412095771*c_1001_2^13 - 65519816586821635997782/61520913700412095771*c_1001_2^12 - 81013665287817511724645/61520913700412095771*c_1001_2^11 - 72882725600799020094974/61520913700412095771*c_1001_2^10 - 51043441527139713516984/61520913700412095771*c_1001_2^9 - 33231790921113360260156/61520913700412095771*c_1001_2^8 - 23018925781514044725913/61520913700412095771*c_1001_2^7 - 13988799870571475998851/61520913700412095771*c_1001_2^6 - 5769843389155170770051/61520913700412095771*c_1001_2^5 - 1805458780773320908369/61520913700412095771*c_1001_2^4 - 1187252525141896324186/61520913700412095771*c_1001_2^3 - 50401308762554922199/3618877276494829163*c_1001_2^2 - 142422222116161843232/61520913700412095771*c_1001_2 + 44163496380007883440/61520913700412095771, c_1001_11 - 2938800559163267217/61520913700412095771*c_1001_2^18 - 26989527774497886541/61520913700412095771*c_1001_2^17 - 229663241216970851614/61520913700412095771*c_1001_2^16 - 1299071418740183953739/61520913700412095771*c_1001_2^15 - 4681712040271838537761/61520913700412095771*c_1001_2^14 - 11137158662043985203176/61520913700412095771*c_1001_2^13 - 18051642323340016768899/61520913700412095771*c_1001_2^12 - 20329744499363015884747/61520913700412095771*c_1001_2^11 - 16494603739025538374524/61520913700412095771*c_1001_2^10 - 11045230324093922960602/61520913700412095771*c_1001_2^9 - 7579574133529479573222/61520913700412095771*c_1001_2^8 - 4899108710416531804981/61520913700412095771*c_1001_2^7 - 2099751565668833694894/61520913700412095771*c_1001_2^6 - 720875797268072839821/61520913700412095771*c_1001_2^5 - 463170078643197209482/61520913700412095771*c_1001_2^4 - 17571669535918152492/61520913700412095771*c_1001_2^3 + 5632041813476205296/3618877276494829163*c_1001_2^2 - 15820762767952302481/61520913700412095771*c_1001_2 - 18104545835084125194/61520913700412095771, c_1001_2^19 + 11*c_1001_2^18 + 97*c_1001_2^17 + 604*c_1001_2^16 + 2567*c_1001_2^15 + 7654*c_1001_2^14 + 16561*c_1001_2^13 + 26631*c_1001_2^12 + 32410*c_1001_2^11 + 30536*c_1001_2^10 + 23345*c_1001_2^9 + 15736*c_1001_2^8 + 9938*c_1001_2^7 + 5543*c_1001_2^6 + 2443*c_1001_2^5 + 910*c_1001_2^4 + 390*c_1001_2^3 + 159*c_1001_2^2 + 38*c_1001_2 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.250 Total time: 1.459 seconds, Total memory usage: 32.09MB