Magma V2.19-8 Wed Aug 21 2013 00:05:15 on localhost [Seed = 3052657601] Type ? for help. Type -D to quit. Loading file "K13n2036__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2036 geometric_solution 11.36748178 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 -1 1 0 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.227717043999 1.172461109222 0 5 4 6 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 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.611818013487 0.826552608288 7 0 5 7 0132 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.271737169631 0.755307405311 8 9 10 0 0132 0132 0132 0132 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 -1 0 1 0 0 -1 1 0 0 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831773022806 0.682856938007 11 10 0 1 0132 1023 0132 0132 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 1 -1 0 1 0 -1 0 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.136050830142 0.758343623505 9 1 2 8 2310 0132 0321 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.427608078393 0.249264757683 8 7 1 10 2103 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517839217109 0.973864494492 2 12 6 2 0132 0132 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.654341407859 0.640193328667 3 12 6 5 0132 2310 2103 1023 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 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.841437174294 0.418042216201 11 3 5 11 2310 0132 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.647964847512 0.866505841655 4 12 6 3 1023 0213 0132 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 -1 0 0 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301046526532 0.549263772951 4 12 9 9 0132 2031 3201 0213 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 -1 1 -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.446510694392 0.740166258161 11 7 10 8 1302 0132 0213 3201 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 -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.317939956828 0.270047244557 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_0101_7'], 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : d['c_0011_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_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' : d['1'], 's_2_12' : 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_0011_0']), 'c_1100_8' : negation(d['c_0101_10']), 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_1001_5']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_3'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_7'], 'c_1010_6' : d['c_0101_7'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_2'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0011_3'], 'c_1010_8' : negation(d['c_0101_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'], 'c_1100_12' : d['c_0011_3'], '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' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], '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_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_9'], 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], '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_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0101_3'], '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_7'], 'c_0110_5' : negation(d['c_0101_9']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_0101_9, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 776302437837189414662508310314405341708/117141964404931107665218255\ 1814040715*c_1100_0^15 + 2322785410399477176609440201244046237365/2\ 34283928809862215330436510362808143*c_1100_0^14 - 78695815733220256902041897286673506712316/1171419644049311076652182\ 551814040715*c_1100_0^13 + 2705064942397988053140109350398459224722\ 69/1171419644049311076652182551814040715*c_1100_0^12 - 8442617853548861338062153304949246904268/19854570238123916553426822\ 912102385*c_1100_0^11 + 26161205474754345959768711013062479260001/3\ 1659990379711110179788717616595695*c_1100_0^10 - 3309309495339174513538737930512528305399361/11714196440493110766521\ 82551814040715*c_1100_0^9 + 141710042697498419947534363600476596613\ 0098/234283928809862215330436510362808143*c_1100_0^8 - 7950372860550085081483179279907479033058431/11714196440493110766521\ 82551814040715*c_1100_0^7 + 636329491506889939253482278017391780311\ 9651/1171419644049311076652182551814040715*c_1100_0^6 - 4097104574652312995617871871272821828549656/11714196440493110766521\ 82551814040715*c_1100_0^5 + 243180212116487054830016618078017359593\ 0373/1171419644049311076652182551814040715*c_1100_0^4 - 33153688007413510491287138346080214951319/3165999037971111017978871\ 7616595695*c_1100_0^3 + 364435619456587003880960686123572073257217/\ 1171419644049311076652182551814040715*c_1100_0^2 - 121493577128562772929373222502669299908869/117141964404931107665218\ 2551814040715*c_1100_0 + 26680283301339424587505030721805849449048/\ 1171419644049311076652182551814040715, c_0011_0 - 1, c_0011_10 + 1328471932229603050790295216/249006963543286092097909611991\ *c_1100_0^15 - 19705517611683509736694584500/2490069635432860920979\ 09611991*c_1100_0^14 + 132536398048980751186883701433/2490069635432\ 86092097909611991*c_1100_0^13 - 451859402790058887870312282085/2490\ 06963543286092097909611991*c_1100_0^12 + 836194080248467319593234020251/249006963543286092097909611991*c_110\ 0_0^11 - 1703735107666400565094764206029/24900696354328609209790961\ 1991*c_1100_0^10 + 5769155733883945967765128719267/2490069635432860\ 92097909611991*c_1100_0^9 - 12010383774563452432789212328493/249006\ 963543286092097909611991*c_1100_0^8 + 13926816615347949964261358662036/249006963543286092097909611991*c_1\ 100_0^7 - 13434475864409412732887590314906/249006963543286092097909\ 611991*c_1100_0^6 + 11311116525998298188807743306884/24900696354328\ 6092097909611991*c_1100_0^5 - 8017485591943460599485066015710/24900\ 6963543286092097909611991*c_1100_0^4 + 3708328750730719515237403496245/249006963543286092097909611991*c_11\ 00_0^3 - 1322747468179683888793856988175/24900696354328609209790961\ 1991*c_1100_0^2 + 714173710271433002587587949776/249006963543286092\ 097909611991*c_1100_0 - 160242054853288215615206098252/249006963543\ 286092097909611991, c_0011_3 - 13785067284806315092716090153/249006963543286092097909611991\ *c_1100_0^15 + 205863518318968259445718530133/249006963543286092097\ 909611991*c_1100_0^14 - 1391690032006409660029924934268/24900696354\ 3286092097909611991*c_1100_0^13 + 4762628369836030931411332832068/2\ 49006963543286092097909611991*c_1100_0^12 - 8692081360013606307660768900626/249006963543286092097909611991*c_11\ 00_0^11 + 16861226486802337996942644498875/249006963543286092097909\ 611991*c_1100_0^10 - 58125181197481857603061205325505/2490069635432\ 86092097909611991*c_1100_0^9 + 123931148615694247029542609064611/24\ 9006963543286092097909611991*c_1100_0^8 - 136769394020405063317917398804453/249006963543286092097909611991*c_\ 1100_0^7 + 106695120780319407042660292058354/2490069635432860920979\ 09611991*c_1100_0^6 - 66740222901037679488429474920590/249006963543\ 286092097909611991*c_1100_0^5 + 39287968351416927184925910270108/24\ 9006963543286092097909611991*c_1100_0^4 - 19405860246616102615813140391016/249006963543286092097909611991*c_1\ 100_0^3 + 4974442267950295122583739735540/2490069635432860920979096\ 11991*c_1100_0^2 - 1590320874347457881020060801243/2490069635432860\ 92097909611991*c_1100_0 + 288028942225620371696910545254/2490069635\ 43286092097909611991, c_0011_6 - 7448631951904166659981764877/249006963543286092097909611991*\ c_1100_0^15 + 114148595301785308929215746880/2490069635432860920979\ 09611991*c_1100_0^14 - 795677172504524360085680341404/2490069635432\ 86092097909611991*c_1100_0^13 + 2869399466440959484700647477983/249\ 006963543286092097909611991*c_1100_0^12 - 5707935476714981963151234554696/249006963543286092097909611991*c_11\ 00_0^11 + 10917055117707752930527721077030/249006963543286092097909\ 611991*c_1100_0^10 - 34772780966585964840100432877887/2490069635432\ 86092097909611991*c_1100_0^9 + 78943884658200538856880641336074/249\ 006963543286092097909611991*c_1100_0^8 - 99819625683401806394128425406807/249006963543286092097909611991*c_1\ 100_0^7 + 84332312788479832578411354922708/249006963543286092097909\ 611991*c_1100_0^6 - 52703917572626301024383336382345/24900696354328\ 6092097909611991*c_1100_0^5 + 29028530340847436245192092247153/2490\ 06963543286092097909611991*c_1100_0^4 - 13697443819840986832680629797066/249006963543286092097909611991*c_1\ 100_0^3 + 4503705402722415458159795160633/2490069635432860920979096\ 11991*c_1100_0^2 - 272720223130256209151945294743/24900696354328609\ 2097909611991*c_1100_0 - 3753473219343103785347430946/2490069635432\ 86092097909611991, c_0101_0 - 11218077521669557226293021302/249006963543286092097909611991\ *c_1100_0^15 + 166041302277927757629443250913/249006963543286092097\ 909611991*c_1100_0^14 - 1111977652167947509312937449095/24900696354\ 3286092097909611991*c_1100_0^13 + 3749567979819602966976539626130/2\ 49006963543286092097909611991*c_1100_0^12 - 6715682840006937169964890359772/249006963543286092097909611991*c_11\ 00_0^11 + 13280706952147416636638683483271/249006963543286092097909\ 611991*c_1100_0^10 - 46266832547113384218894285462147/2490069635432\ 86092097909611991*c_1100_0^9 + 96125171556142369982595447510003/249\ 006963543286092097909611991*c_1100_0^8 - 103999934030442314163401963492357/249006963543286092097909611991*c_\ 1100_0^7 + 83851574640377943111500387201999/24900696354328609209790\ 9611991*c_1100_0^6 - 52404998456550470921692591274324/2490069635432\ 86092097909611991*c_1100_0^5 + 30015894931008481680473469838866/249\ 006963543286092097909611991*c_1100_0^4 - 14165135836691274158858602641998/249006963543286092097909611991*c_1\ 100_0^3 + 3497567147711985879822147674047/2490069635432860920979096\ 11991*c_1100_0^2 - 1108141098872142663504363799901/2490069635432860\ 92097909611991*c_1100_0 + 93096152954981217423531765093/24900696354\ 3286092097909611991, c_0101_1 - 3687156690872634936028763313/249006963543286092097909611991*\ c_1100_0^15 + 51836220298882697622051828863/24900696354328609209790\ 9611991*c_1100_0^14 - 324371765599250036636348721880/24900696354328\ 6092097909611991*c_1100_0^13 + 953203418745272249053917030894/24900\ 6963543286092097909611991*c_1100_0^12 - 1246757709350240346448107698374/249006963543286092097909611991*c_11\ 00_0^11 + 2613354335502399872664743801150/2490069635432860920979096\ 11991*c_1100_0^10 - 11885653854268525248940670537633/24900696354328\ 6092097909611991*c_1100_0^9 + 20065826993312454814620978425477/2490\ 06963543286092097909611991*c_1100_0^8 - 9223579930766609847944238517124/249006963543286092097909611991*c_11\ 00_0^7 + 501682174730448160244115261786/249006963543286092097909611\ 991*c_1100_0^6 + 2030055831119538777915027237500/249006963543286092\ 097909611991*c_1100_0^5 - 843485841716435078871393675570/2490069635\ 43286092097909611991*c_1100_0^4 + 692837691079942577228016187578/24\ 9006963543286092097909611991*c_1100_0^3 - 1288687816617032763601925153202/249006963543286092097909611991*c_11\ 00_0^2 + 13080303371035181676207673455/2490069635432860920979096119\ 91*c_1100_0 - 51179631193113902555462257176/24900696354328609209790\ 9611991, c_0101_10 - 8832195865105254331382525216/249006963543286092097909611991\ *c_1100_0^15 + 129840137489214700669343307840/249006963543286092097\ 909611991*c_1100_0^14 - 862394169449178458810473451342/249006963543\ 286092097909611991*c_1100_0^13 + 2865330379583179484774829324655/24\ 9006963543286092097909611991*c_1100_0^12 - 5002771233377239981945586979358/249006963543286092097909611991*c_11\ 00_0^11 + 9990176794618527636836985109206/2490069635432860920979096\ 11991*c_1100_0^10 - 35571872763315849129714708707071/24900696354328\ 6092097909611991*c_1100_0^9 + 72365958860276140897567001680979/2490\ 06963543286092097909611991*c_1100_0^8 - 75006273975252791871196759127077/249006963543286092097909611991*c_1\ 100_0^7 + 60196750882795115280174449173372/249006963543286092097909\ 611991*c_1100_0^6 - 39310644192806760737443110516977/24900696354328\ 6092097909611991*c_1100_0^5 + 23821276239797929743318693386539/2490\ 06963543286092097909611991*c_1100_0^4 - 11472501660320717602949640773609/249006963543286092097909611991*c_1\ 100_0^3 + 3336132697768212547535338363837/2490069635432860920979096\ 11991*c_1100_0^2 - 1360480094914713927175418196164/2490069635432860\ 92097909611991*c_1100_0 + 132613240327955976480956460404/2490069635\ 43286092097909611991, c_0101_2 - 6776347038353518335577050092/249006963543286092097909611991*\ c_1100_0^15 + 100508388983941027245235441790/2490069635432860920979\ 09611991*c_1100_0^14 - 674968860689908037344647468786/2490069635432\ 86092097909611991*c_1100_0^13 + 2289200756709396517763881467469/249\ 006963543286092097909611991*c_1100_0^12 - 4157891125089710904414749536304/249006963543286092097909611991*c_11\ 00_0^11 + 8300145879082180091074037796559/2490069635432860920979096\ 11991*c_1100_0^10 - 28608660930696235883938370618791/24900696354328\ 6092097909611991*c_1100_0^9 + 59631551748367058858078705577780/2490\ 06963543286092097909611991*c_1100_0^8 - 66288342162210459821545016775861/249006963543286092097909611991*c_1\ 100_0^7 + 57841218296960775480361071239156/249006963543286092097909\ 611991*c_1100_0^6 - 42288675894414403663926148157536/24900696354328\ 6092097909611991*c_1100_0^5 + 26802998007278427236268798165915/2490\ 06963543286092097909611991*c_1100_0^4 - 13832145548153228712879949472403/249006963543286092097909611991*c_1\ 100_0^3 + 4774967187202932646971391017051/2490069635432860920979096\ 11991*c_1100_0^2 - 1934613710886958107882445983581/2490069635432860\ 92097909611991*c_1100_0 + 412341299446159024410232274868/2490069635\ 43286092097909611991, c_0101_3 - 5689844364863186621407634437/249006963543286092097909611991*\ c_1100_0^15 + 83187051403032893473276322793/24900696354328609209790\ 9611991*c_1100_0^14 - 548480402418829428588129565925/24900696354328\ 6092097909611991*c_1100_0^13 + 1796022152136123104173484136208/2490\ 06963543286092097909611991*c_1100_0^12 - 3040666740811974557919215853284/249006963543286092097909611991*c_11\ 00_0^11 + 6068567237560290572845005073798/2490069635432860920979096\ 11991*c_1100_0^10 - 22223836166700198043902709849260/24900696354328\ 6092097909611991*c_1100_0^9 + 44426489675927318566495443170904/2490\ 06963543286092097909611991*c_1100_0^8 - 43225005776766685364728419329570/249006963543286092097909611991*c_1\ 100_0^7 + 32273474488692184709884921789976/249006963543286092097909\ 611991*c_1100_0^6 - 19953355991468726359636181406521/24900696354328\ 6092097909611991*c_1100_0^5 + 11736529906480363663479798902723/2490\ 06963543286092097909611991*c_1100_0^4 - 4842611612871571724674024864376/249006963543286092097909611991*c_11\ 00_0^3 + 833940551240831649705867782341/249006963543286092097909611\ 991*c_1100_0^2 - 591460528997425389621441379581/2490069635432860920\ 97909611991*c_1100_0 + 7597516295576614885910903129/249006963543286\ 092097909611991, c_0101_7 - 1002736337416981968481818478/249006963543286092097909611991*\ c_1100_0^15 + 14974630219863174501708226558/24900696354328609209790\ 9611991*c_1100_0^14 - 101292375455182238758125532742/24900696354328\ 6092097909611991*c_1100_0^13 + 347905906527653088855154809080/24900\ 6963543286092097909611991*c_1100_0^12 - 646710908746316779865878399946/249006963543286092097909611991*c_110\ 0_0^11 + 1302454456210992452470784554931/24900696354328609209790961\ 1991*c_1100_0^10 - 4446131442713249503042160489392/2490069635432860\ 92097909611991*c_1100_0^9 + 9388825129954491631738521996787/2490069\ 63543286092097909611991*c_1100_0^8 - 10791073142197873746526738983332/249006963543286092097909611991*c_1\ 100_0^7 + 10498666126443076016007437972275/249006963543286092097909\ 611991*c_1100_0^6 - 9861534047719581803004872058804/249006963543286\ 092097909611991*c_1100_0^5 + 7449044418579933593642097194656/249006\ 963543286092097909611991*c_1100_0^4 - 4374278731914653361650537380401/249006963543286092097909611991*c_11\ 00_0^3 + 1829127142580469548870584519265/24900696354328609209790961\ 1991*c_1100_0^2 - 1277836157650327198414541411171/24900696354328609\ 2097909611991*c_1100_0 + 354379680801939588049329629964/24900696354\ 3286092097909611991, c_0101_9 + 6098128471642053692628237884/249006963543286092097909611991*\ c_1100_0^15 - 91056142397826201726530845058/24900696354328609209790\ 9611991*c_1100_0^14 + 616192534173910111712808292250/24900696354328\ 6092097909611991*c_1100_0^13 - 2116356427074167587477018534347/2490\ 06963543286092097909611991*c_1100_0^12 + 3912276975137799950011403237276/249006963543286092097909611991*c_11\ 00_0^11 - 7688768636731170008596118868194/2490069635432860920979096\ 11991*c_1100_0^10 + 26113806891726149232066185174551/24900696354328\ 6092097909611991*c_1100_0^9 - 55599275547927116757754973279849/2490\ 06963543286092097909611991*c_1100_0^8 + 63326689429906953791620093808637/249006963543286092097909611991*c_1\ 100_0^7 - 53054688164321741873150774977280/249006963543286092097909\ 611991*c_1100_0^6 + 35655324843663489243967382130732/24900696354328\ 6092097909611991*c_1100_0^5 - 22238151512196085633301638147816/2490\ 06963543286092097909611991*c_1100_0^4 + 11322947927480430748202020231711/249006963543286092097909611991*c_1\ 100_0^3 - 3667148357545019247246933866956/2490069635432860920979096\ 11991*c_1100_0^2 + 1354734713982976692384288662585/2490069635432860\ 92097909611991*c_1100_0 - 348493064570909359111844242424/2490069635\ 43286092097909611991, c_1001_5 - 9752643323629480669581850582/249006963543286092097909611991*\ c_1100_0^15 + 144758281031818124092875859228/2490069635432860920979\ 09611991*c_1100_0^14 - 971757830840187584977690598273/2490069635432\ 86092097909611991*c_1100_0^13 + 3286271191477461340408009016482/249\ 006963543286092097909611991*c_1100_0^12 - 5888492488181841901445917272602/249006963543286092097909611991*c_11\ 00_0^11 + 11542333751892256255861551059046/249006963543286092097909\ 611991*c_1100_0^10 - 40409606479770204502903687149836/2490069635432\ 86092097909611991*c_1100_0^9 + 84639324085601256218211695929314/249\ 006963543286092097909611991*c_1100_0^8 - 90840618701176767696394198541983/249006963543286092097909611991*c_1\ 100_0^7 + 71677837332070528923336970128142/249006963543286092097909\ 611991*c_1100_0^6 - 47441041525482633865223700446302/24900696354328\ 6092097909611991*c_1100_0^5 + 29439470226500382822808019313912/2490\ 06963543286092097909611991*c_1100_0^4 - 14686250684305141061194189121500/249006963543286092097909611991*c_1\ 100_0^3 + 4882710278742078911141645216486/2490069635432860920979096\ 11991*c_1100_0^2 - 1789815073452119489561333428722/2490069635432860\ 92097909611991*c_1100_0 + 338963663762457340765944637153/2490069635\ 43286092097909611991, c_1100_0^16 - 15*c_1100_0^15 + 102*c_1100_0^14 - 353*c_1100_0^13 + 659*c_1100_0^12 - 1284*c_1100_0^11 + 4332*c_1100_0^10 - 9335*c_1100_0^9 + 10747*c_1100_0^8 - 8892*c_1100_0^7 + 5882*c_1100_0^6 - 3546*c_1100_0^5 + 1826*c_1100_0^4 - 604*c_1100_0^3 + 208*c_1100_0^2 - 46*c_1100_0 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 18.500 Total time: 18.719 seconds, Total memory usage: 136.97MB