Magma V2.19-8 Tue Aug 20 2013 23:50:42 on localhost [Seed = 3869281756] Type ? for help. Type -D to quit. Loading file "L12n703__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L12n703 geometric_solution 11.25075650 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 1 1 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 0 0 0 0 0 0 -1 1 1 0 -1 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.601168677388 0.799122156699 0 2 6 5 0132 0321 0132 0132 0 1 1 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 0 0 0 0 0 0 0 0 -1 0 0 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.575406524128 0.643631714823 7 0 8 1 0132 0132 0132 0321 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 2 0 -1 -1 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.225964954622 1.136038466815 4 9 10 0 3120 0132 0132 0132 0 1 1 0 0 0 -1 1 0 0 0 0 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 -1 1 0 0 -1 1 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438851875079 0.406661389010 5 11 0 3 0132 0132 0132 3120 0 1 1 1 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 1 -1 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771990456789 0.863524344433 4 9 1 8 0132 0213 0132 0321 0 1 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 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.601168677388 0.799122156699 8 7 9 1 0321 0321 2103 0132 0 1 1 1 0 0 1 -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 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.116112261042 0.937889949307 2 10 10 6 0132 2031 0321 0321 0 1 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 0 0 0 0 -2 0 0 2 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.500000000000 0.536408343828 6 5 11 2 0321 0321 1302 0132 0 1 1 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 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.399358688969 0.491238233981 6 3 5 11 2103 0132 0213 0213 0 1 0 1 0 0 0 0 0 0 0 0 -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 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.996398035198 1.225637064307 7 11 7 3 1302 0213 0321 0132 0 1 0 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 0 0 0 -1 0 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 0.929827912034 0.997534900678 8 4 10 9 2031 0132 0213 0213 0 0 1 1 0 -1 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 0 -1 1 0 0 0 0 0 -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.130007514335 1.050128039314 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0011_3']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0110_11'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_3'], '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_0011_10'], 'c_0101_10' : negation(d['c_0011_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' : d['c_1001_2'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0110_11'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_0110_11'], 'c_1100_1' : d['c_0110_11'], 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0101_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_10'], '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' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_3'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0110_11']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0011_8'])})} 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_11, c_0011_3, c_0011_6, c_0011_8, c_0101_0, c_0101_3, c_0110_11, c_1001_0, c_1001_2, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 28935353773083646643589453681796192/1896272252622123183456815052552\ 81*c_1001_3^13 + 2255690652410164130436230493645384087/158022687718\ 5102652880679210460675*c_1001_3^12 + 1608844279620349572486889463897061761/31604537543702053057613584209\ 2135*c_1001_3^11 + 28963290460949552485258554601392047486/474068063\ 1555307958642037631382025*c_1001_3^10 + 74885661266528548740339263156321858492/4740680631555307958642037631\ 382025*c_1001_3^9 + 21787509959079682137258807894003792438/15802268\ 77185102652880679210460675*c_1001_3^8 + 98802826679957371641963568875937408118/4740680631555307958642037631\ 382025*c_1001_3^7 + 34114269013433461775547538886407459424/94813612\ 6311061591728407526276405*c_1001_3^6 + 113609855745777911606100202210683993444/158022687718510265288067921\ 0460675*c_1001_3^5 + 240481912080891751073024905332527157119/474068\ 0631555307958642037631382025*c_1001_3^4 + 75544787649249638048792921209541362193/4740680631555307958642037631\ 382025*c_1001_3^3 - 31322343249063552894905459361339657877/47406806\ 31555307958642037631382025*c_1001_3^2 + 2526914510705543958018739914013799999/94813612631106159172840752627\ 6405*c_1001_3 - 918031579406102336221718664405187232/47406806315553\ 07958642037631382025, c_0011_0 - 1, c_0011_10 + 16514552137750413070314705504325/63209075087404106115227168\ 418427*c_1001_3^13 + 452216988267147780298686883093102/189627225262\ 212318345681505255281*c_1001_3^12 + 1553541988596564312112206782813015/18962722526221231834568150525528\ 1*c_1001_3^11 + 1662813189292645172373853795409389/1896272252622123\ 18345681505255281*c_1001_3^10 + 4863235081339378356978517645061876/\ 189627225262212318345681505255281*c_1001_3^9 + 1165490014267435594886712294788605/63209075087404106115227168418427\ *c_1001_3^8 + 6306024406251074693614708319756441/189627225262212318\ 345681505255281*c_1001_3^7 + 10586545788820739250262405163533574/18\ 9627225262212318345681505255281*c_1001_3^6 + 21285196524013250546369148893570680/1896272252622123183456815052552\ 81*c_1001_3^5 + 12636605269144341426208131583541825/189627225262212\ 318345681505255281*c_1001_3^4 + 1237180448385837045362255427854785/\ 63209075087404106115227168418427*c_1001_3^3 - 1858292960059069393256386520765282/18962722526221231834568150525528\ 1*c_1001_3^2 + 507498789798365425971163101482151/632090750874041061\ 15227168418427*c_1001_3 - 68582173499318906463561329290764/63209075\ 087404106115227168418427, c_0011_11 + 43802631308793570765566881130600/18962722526221231834568150\ 5255281*c_1001_3^13 + 394826184632161593347520525032867/18962722526\ 2212318345681505255281*c_1001_3^12 + 1313100311344943689234257082556140/18962722526221231834568150525528\ 1*c_1001_3^11 + 392404243370432529075142699359475/63209075087404106\ 115227168418427*c_1001_3^10 + 3658550038029855701314428366978416/18\ 9627225262212318345681505255281*c_1001_3^9 + 2069945600852343666575620313954518/18962722526221231834568150525528\ 1*c_1001_3^8 + 3696615355581902845925170254724214/18962722526221231\ 8345681505255281*c_1001_3^7 + 2523361784096185081890002497765638/63\ 209075087404106115227168418427*c_1001_3^6 + 15729441898426338086175826988057023/1896272252622123183456815052552\ 81*c_1001_3^5 + 5597169266194232323531997187113710/1896272252622123\ 18345681505255281*c_1001_3^4 - 1500765831282768389604107468253692/6\ 3209075087404106115227168418427*c_1001_3^3 - 6553682150124797936803331707440607/18962722526221231834568150525528\ 1*c_1001_3^2 - 31246270261066602398949095641073/6320907508740410611\ 5227168418427*c_1001_3 + 11593416957845388296460552523030/632090750\ 87404106115227168418427, c_0011_3 - 5876702397064821059621489344175/6320907508740410611522716841\ 8427*c_1001_3^13 - 52021214596458022164609371077386/632090750874041\ 06115227168418427*c_1001_3^12 - 169161265982338157948731439548663/6\ 3209075087404106115227168418427*c_1001_3^11 - 143980761535397281107656122790790/63209075087404106115227168418427*\ c_1001_3^10 - 516956559107655551981570022597300/6320907508740410611\ 5227168418427*c_1001_3^9 - 259849229402748280715210332697824/632090\ 75087404106115227168418427*c_1001_3^8 - 611133432836420927579532828007596/63209075087404106115227168418427*\ c_1001_3^7 - 1073890035541546284354006085293788/6320907508740410611\ 5227168418427*c_1001_3^6 - 2148758860896508395531945949779600/63209\ 075087404106115227168418427*c_1001_3^5 - 782164827729433718788333972251622/63209075087404106115227168418427*\ c_1001_3^4 - 2066222837731478770625899832885/6320907508740410611522\ 7168418427*c_1001_3^3 + 262784131329029900795288861185059/632090750\ 87404106115227168418427*c_1001_3^2 - 295075730807824970387983089735427/63209075087404106115227168418427*\ c_1001_3 + 69968880586800039098479867225654/63209075087404106115227\ 168418427, c_0011_6 - 36622432381339970495712324504775/632090750874041061152271684\ 18427*c_1001_3^13 - 347285697424693216287887124236003/6320907508740\ 4106115227168418427*c_1001_3^12 - 379211754767780169226097273034671\ 3/189627225262212318345681505255281*c_1001_3^11 - 4827112636885630750574985966158711/18962722526221231834568150525528\ 1*c_1001_3^10 - 3937185095902302282758228270751200/6320907508740410\ 6115227168418427*c_1001_3^9 - 11315732109712921110084026612035621/1\ 89627225262212318345681505255281*c_1001_3^8 - 15908131655023518016521302039070065/1896272252622123183456815052552\ 81*c_1001_3^7 - 27697011056721651710106473912089082/189627225262212\ 318345681505255281*c_1001_3^6 - 54800231103106757021036668775090750\ /189627225262212318345681505255281*c_1001_3^5 - 14060460679974959273010374609219954/6320907508740410611522716841842\ 7*c_1001_3^4 - 14918008177829044062300984087424303/1896272252622123\ 18345681505255281*c_1001_3^3 + 3436932826039700490802756420671094/1\ 89627225262212318345681505255281*c_1001_3^2 - 585589135629625807491203024198362/63209075087404106115227168418427*\ c_1001_3 - 14439829487777408173374956900813/63209075087404106115227\ 168418427, c_0011_8 + 79234547198314931336721328516450/189627225262212318345681505\ 255281*c_1001_3^13 + 740266452087518592509254102969814/189627225262\ 212318345681505255281*c_1001_3^12 + 2642615735350808312110000161836813/18962722526221231834568150525528\ 1*c_1001_3^11 + 3223112249662829820802861261104935/1896272252622123\ 18345681505255281*c_1001_3^10 + 2829086484771175488865910407399027/\ 63209075087404106115227168418427*c_1001_3^9 + 7542793540291124979485235138189856/18962722526221231834568150525528\ 1*c_1001_3^8 + 11696280702393963198966194905545601/1896272252622123\ 18345681505255281*c_1001_3^7 + 6602297306548224300482319310924708/6\ 3209075087404106115227168418427*c_1001_3^6 + 38377445610281971837584679089645559/1896272252622123183456815052552\ 81*c_1001_3^5 + 28429038923329108281706893449929897/189627225262212\ 318345681505255281*c_1001_3^4 + 12836673425017795484180888529060020\ /189627225262212318345681505255281*c_1001_3^3 + 313824434883715529220540573165736/63209075087404106115227168418427*\ c_1001_3^2 + 961939503642413150492857783354594/63209075087404106115\ 227168418427*c_1001_3 - 85346371421071390404359768839562/6320907508\ 7404106115227168418427, c_0101_0 + 18360683098943341663166885761150/189627225262212318345681505\ 255281*c_1001_3^13 + 143093579918064770907118473394043/189627225262\ 212318345681505255281*c_1001_3^12 + 114034204732249453274149688754912/63209075087404106115227168418427*\ c_1001_3^11 - 243060030607026091450286634811321/1896272252622123183\ 45681505255281*c_1001_3^10 + 223662195486470199476287472922932/6320\ 9075087404106115227168418427*c_1001_3^9 - 472833322899611854340277350707120/63209075087404106115227168418427*\ c_1001_3^8 - 105308524600350480244176212376079/63209075087404106115\ 227168418427*c_1001_3^7 + 209071385471496187243183548581804/1896272\ 25262212318345681505255281*c_1001_3^6 + 520827548977917707573430236892215/63209075087404106115227168418427*\ c_1001_3^5 - 7791873531738931485878069989116031/1896272252622123183\ 45681505255281*c_1001_3^4 - 2941378540716764130520368063534276/6320\ 9075087404106115227168418427*c_1001_3^3 - 1523795302146138177877186586510102/63209075087404106115227168418427\ *c_1001_3^2 + 513255095633777238573205382939282/6320907508740410611\ 5227168418427*c_1001_3 + 36331658152552417703299061246149/632090750\ 87404106115227168418427, c_0101_3 - 17150559436145181467630458983875/189627225262212318345681505\ 255281*c_1001_3^13 - 165271450078489544013747109113940/189627225262\ 212318345681505255281*c_1001_3^12 - 618941005140810938192753246443682/189627225262212318345681505255281\ *c_1001_3^11 - 863787599885253198129718343932561/189627225262212318\ 345681505255281*c_1001_3^10 - 676382289544174012818222713687887/632\ 09075087404106115227168418427*c_1001_3^9 - 2125286175902824946428059550170307/18962722526221231834568150525528\ 1*c_1001_3^8 - 2910339445179685815771739156692436/18962722526221231\ 8345681505255281*c_1001_3^7 - 4914616121387038237227924592887260/18\ 9627225262212318345681505255281*c_1001_3^6 - 9293126711444537560205189690388031/18962722526221231834568150525528\ 1*c_1001_3^5 - 2799856423965797931393074743965150/63209075087404106\ 115227168418427*c_1001_3^4 - 4175196151357836132910280255819894/189\ 627225262212318345681505255281*c_1001_3^3 - 82828147553970352503796041934299/63209075087404106115227168418427*c\ _1001_3^2 + 54094455644704840598521881995418/6320907508740410611522\ 7168418427*c_1001_3 + 15561887667785257195939213655983/632090750874\ 04106115227168418427, c_0110_11 + 160593351044126353256508446560175/1896272252622123183456815\ 05255281*c_1001_3^13 + 1509067045286712833389327092868181/189627225\ 262212318345681505255281*c_1001_3^12 + 5420050520146721870424277113824359/18962722526221231834568150525528\ 1*c_1001_3^11 + 6652573265267283863320043651873878/1896272252622123\ 18345681505255281*c_1001_3^10 + 16903377276484843282800239451647879\ /189627225262212318345681505255281*c_1001_3^9 + 15277141487804270238843275166992923/1896272252622123183456815052552\ 81*c_1001_3^8 + 22536154927016284647903785339339482/189627225262212\ 318345681505255281*c_1001_3^7 + 39041048792418136270776386169171188\ /189627225262212318345681505255281*c_1001_3^6 + 25750041225033109647796566968691809/6320907508740410611522716841842\ 7*c_1001_3^5 + 18919254953179389654265759322972775/6320907508740410\ 6115227168418427*c_1001_3^4 + 19362912206747736117085602245628736/1\ 89627225262212318345681505255281*c_1001_3^3 - 1826331449815708646236891039953488/63209075087404106115227168418427\ *c_1001_3^2 + 908694614957251845838224059583585/6320907508740410611\ 5227168418427*c_1001_3 - 29416751750440391857338541822882/632090750\ 87404106115227168418427, c_1001_0 - 1, c_1001_2 + 53136984519090383566027030009100/632090750874041061152271684\ 18427*c_1001_3^13 + 1494074080541227429162348255801111/189627225262\ 212318345681505255281*c_1001_3^12 + 5345659536274366004373179513159728/18962722526221231834568150525528\ 1*c_1001_3^11 + 2163308608726091974316279920522700/6320907508740410\ 6115227168418427*c_1001_3^10 + 16674790369046285205253202457315476/\ 189627225262212318345681505255281*c_1001_3^9 + 14812202152515227894744163496401436/1896272252622123183456815052552\ 81*c_1001_3^8 + 22214156061274592710136010358826506/189627225262212\ 318345681505255281*c_1001_3^7 + 38283556845542390960368879075622656\ /189627225262212318345681505255281*c_1001_3^6 + 25361809209040002522468605889553810/6320907508740410611522716841842\ 7*c_1001_3^5 + 54817987309069219245239255411201687/1896272252622123\ 18345681505255281*c_1001_3^4 + 18629549522986555198387750370988658/\ 189627225262212318345681505255281*c_1001_3^3 - 1765075262032923294686380980478792/63209075087404106115227168418427\ *c_1001_3^2 + 1093087925427991233462366125680513/632090750874041061\ 15227168418427*c_1001_3 - 54142344011541498290186372389951/63209075\ 087404106115227168418427, c_1001_3^14 + 233/25*c_1001_3^13 + 826/25*c_1001_3^12 + 973/25*c_1001_3^11 + 2557/25*c_1001_3^10 + 2174/25*c_1001_3^9 + 3348/25*c_1001_3^8 + 5788/25*c_1001_3^7 + 11591/25*c_1001_3^6 + 7929/25*c_1001_3^5 + 2378/25*c_1001_3^4 - 1128/25*c_1001_3^3 + 493/25*c_1001_3^2 - 51/25*c_1001_3 + 3/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.270 seconds, Total memory usage: 32.09MB