{"entities":{"Q2254141":{"pageid":2264884,"ns":120,"title":"Item:Q2254141","lastrevid":52190648,"modified":"2026-01-21T03:14:51Z","type":"item","id":"Q2254141","labels":{"en":{"language":"en","value":"Computing syzygies over \\(V [X_1, \\ldots, X_k]\\), \\(V\\) a valuation domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6397252"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$B688FA1E-C933-42B4-8000-FB1888A9D090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2b9fa536a997eb4611821e8e05835f232a36667","datavalue":{"value":{"text":"Computing syzygies over \\(V [X_1, \\ldots, X_k]\\), \\(V\\) a valuation domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2254141$E14633D7-6B99-4AEA-B671-47AC65CB313B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce1ce6a0f9478ec62ac03c97f1ca4101ad8aeb4d","datavalue":{"value":"1308.13020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254141$8DCBEECA-9B71-4307-B063-5F879E124D02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9198ab1af9597de8a8e05338369015c06200acb","datavalue":{"value":{"entity-type":"item","numeric-id":167080,"id":"Q167080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$2D5FB77F-296C-4633-B7EC-C9CA4FB8BFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4411587d3c1e55e23b2f9df508875f4e05601b37","datavalue":{"value":{"entity-type":"item","numeric-id":415465,"id":"Q415465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$D280A77D-60E0-4575-BEF1-15A1ADA034CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00fa886697f5d99bc68fae32c5ba753f6955aa9b","datavalue":{"value":{"entity-type":"item","numeric-id":492032,"id":"Q492032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$ABF5975C-4B81-472E-99BF-6E1A2AFA72B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$9EBB23C2-2D33-465D-9AA9-2888C69DDF83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa47d3e0ba2062e2ce661f751109363b14b792ea","datavalue":{"value":{"time":"+2015-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2254141$BC831A70-38F1-4168-AD63-9A17AEFDFD9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f5d475f7215302a6d1594b91b8efc60301d9be59","datavalue":{"value":"A ring is called \\textit{coherent} if every finitely generated ideal has a finitely generated syzygy module. Suppose \\(V\\) is a valuation domain, meaning that it is a domain whose elements are totally ordered by divisibility. Then \\(V[x_1,\\ldots,x_k]\\) is coherent according to Theorem 7.3.3 in [\\textit{S. Glaz}, Commutative Coherent Rings, Lecture Notes in Mathematics. 1371. Berlin etc.: Springer-Verlag (1990; Zbl 0745.13004)]. The proof of this theorem provided in the aforementioned reference is non-constructive and hinges on a difficult result found in [\\textit{M. Raynaud} and \\textit{L. Gruson}, Invent. Math. 13, 1--89 (1971; Zbl 0227.14010)].  The purpose of this paper is to provide the first fully general algorithm for computing a finite set of generators for the syzygy module of a finitely generated ideal \\(I\\subset V[x_1,\\ldots,x_k]\\), where \\(V\\) is a valuation domain. This provides the first constructive proof that \\(V[x_1,\\ldots,x_n]\\) is coherent. Previously known algorithms depend on \\(V\\) being either Noetherian or of Krull dimension one. The key algorithm of the paper is one for computing the \\(V\\)-saturation of a finitely generated submodule of the free module \\(V[x_1,\\ldots,x_k]^n\\), where \\(n\\geq 1\\) is an integer.  Let \\(V\\) be a valuation domain with unique maximal ideal \\(\\text{rad}(V)\\). In Section 1, the authors describe an echelon form for vectors in \\(V[x_1,\\ldots,x_k]^n\\) and provide a Gaussian algorithm (Algorithm 9) for obtaining the \\(V\\)-saturation of a finitely generated \\(V\\)-submodule of \\(V[x_1,\\ldots,x_k]^n\\). At the beginning of Section 2, the authors give a compact criterion for a finitely generated \\(V\\)-submodule of \\(V[x_1,\\ldots,x_k]^n\\) to be \\(V\\)-saturated (Theorem 12). Namely, if \\(L\\) is a finite list of vectors generating a \\(V\\)-submodule of \\(V[x_1,\\ldots,x_k]^n\\), then this \\(V\\)-submodule is saturated iff \\(\\dim_K L=\\dim_k \\bar{L}\\), where \\(K\\) is the quotient field of \\(V\\), \\(k\\) the residue field of \\(V\\), and \\(\\bar{L}\\) the image of \\(L\\) modulo \\(\\text{rad(V)}[x_1,\\ldots,x_k]\\).  In the remainder of Section 2, the authors lift the saturation algorithm of Section 1 to their main algorithm (Algorithm 18) for computing a finite set of generators for the \\(V\\)-saturation of a finitely generated \\(V[x_1,\\ldots,x_k]\\)-submodule \\(M\\) of \\(V[x_1,\\ldots,x_k]^n\\). This algorithm consists of repeated applications of Algorithm 9 from Section 1 to an appropriate filtration of \\(M\\). To show that this algorithm terminates, the authors use the `saturation defect series' of \\(M\\), which builds on Theorem 12. This is found by taking an exhaustive filtration \\(\\{L_i\\}\\) of \\(M\\) with each \\(L_i\\) a finitely generated \\(V\\)-submodule of \\(M\\). The difference between \\(\\dim_K L_i\\) and \\(\\dim_k \\bar{L}_i\\) gives the \\(i^{th}\\) coefficient of the saturation defect series. If this series is identically zero, then \\(M\\) is \\(V\\)-saturated (Theorem 16).  In the final section, the authors apply the algorithm of Section 2 to Pr\u00fcfer domains, giving an algorithmic proof (Theorem 25) that \\(R[x_1,\\ldots,x_k]\\) is coherent when \\(R\\) is a Pr\u00fcfer domain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254141$974C35EF-75A6-45E7-9BDE-1C3B9FAFF44A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd4ec6e4b6aa854466b467ae20b9d087bcc2e35a","datavalue":{"value":"13D02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254141$6B4F4DE3-9882-4929-8D4E-E736B27F07D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254141$14B240D0-2F7D-4C5E-9148-0D650D0FFEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254141$E8B28AEC-524D-4031-8414-7FD3CFE64FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3089472d789a7e784c0147cd7bd7df6297fa7316","datavalue":{"value":"6397252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254141$572A3EAD-1B8E-4CD6-AF11-993E39B7BA95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254141$E3AF12B1-7B08-41B5-A852-7AE04022249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254141$072D1098-3BBF-40FF-AB55-E2273C447A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4193783e29994b0519667f203cf04e77c8f7b95a","datavalue":{"value":"echelon matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254141$F1F2083F-F0BD-440B-8FE6-163D0F57DA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a023fdd9c1c6f28e134d963976a278037343f0","datavalue":{"value":"syzygies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254141$B2C9114D-9B04-4BF0-845D-538C2E5612C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1cf4a04177e6ccc60adf22d868cfdfd378c970f","datavalue":{"value":"valuation domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254141$444BC76B-41AF-43B0-B15A-86FABE7BA65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781e0e460b2d272d1721aacaaca55c439511d38c","datavalue":{"value":"Pr\u00fcfer domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2254141$C84F5C91-8934-46F3-ACF9-20238A9D4562","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3b735a3b262616b77876c7277b0bad06fb933fa4","datavalue":{"value":{"entity-type":"item","numeric-id":1669187,"id":"Q1669187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$32703405-1012-4417-A0EC-A4D7EF95AE85","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$1CFCF323-565C-498B-98AA-E469816AAB39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bba2828df034f3e809cae3e7185b186008a3dbe2","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2014.11.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q2254141$9BD63624-BBDF-4D63-9DD2-363E018E66EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e27c4f34b21ae9977819c15b42e85328589284a","datavalue":{"value":"W205084961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254141$3489AD52-0CAC-43EB-A53A-A59CC2330B68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$1A94CE5E-5DBB-4BB8-9B6E-2BE79885DE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdbb93b09725b77647e6f4fee1e70679c60cc480","datavalue":{"value":{"entity-type":"item","numeric-id":492033,"id":"Q492033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$89D048CD-4ED0-4295-9A9E-D43A16A9C315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc3ca9f49112a3e243880bb44d37995ae549fd8","datavalue":{"value":{"entity-type":"item","numeric-id":1887479,"id":"Q1887479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$0BE65F6B-0E8E-4D84-8F59-2ABC0005A4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b99672265e5e1d723030dc3157ffca1cb28b808","datavalue":{"value":{"entity-type":"item","numeric-id":2549353,"id":"Q2549353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$BE898794-9797-4120-807A-DC0F535C8287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b61f2ebe31d75616dc456334c545b8459f5284","datavalue":{"value":{"entity-type":"item","numeric-id":984989,"id":"Q984989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$26A24430-8F4A-4CEC-A8C0-FFE9476FD679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b805af8f5d368c99572767c48f98c4a932cd66a6","datavalue":{"value":{"entity-type":"item","numeric-id":4736172,"id":"Q4736172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$F0D8D9A7-0A2F-4DCA-851B-272140108F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0f708bc5d2fa955cec4a3ec4d77a2d94267770","datavalue":{"value":{"entity-type":"item","numeric-id":3112383,"id":"Q3112383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$6C765743-244E-4A17-B929-8DCC9BE6CF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3998fef577b651d790be9de3f0aff7423c817e80","datavalue":{"value":{"entity-type":"item","numeric-id":2876243,"id":"Q2876243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$2501A622-A2D1-4DB8-B7E1-C4B82D1CE639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9261260b33bb8c2f2d091a721774b171e89607","datavalue":{"value":{"entity-type":"item","numeric-id":415466,"id":"Q415466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$127CA573-D4C0-41F6-9724-061392D61F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$C9A8D6F1-1538-4B4D-8F55-0AD79681C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93171fa660a44c7dad615fb4a7ff973ea00ac93d","datavalue":{"value":{"entity-type":"item","numeric-id":427775,"id":"Q427775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$311520A0-796B-473C-A5BF-07D272B277BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc2f93da717267c0dec25c1b1930821b1e4dbad9","datavalue":{"value":{"entity-type":"item","numeric-id":674750,"id":"Q674750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$57073C04-F80D-417C-8411-E9B91B8215AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a474fe41a7d5c91a937ba9e95da12771cfc446","datavalue":{"value":{"entity-type":"item","numeric-id":855700,"id":"Q855700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$0B93B7CA-12E7-4832-B24D-EB44C8979925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02d3181b85c4d239459b56cbe6ccfeaf98ab4d6","datavalue":{"value":{"entity-type":"item","numeric-id":2636958,"id":"Q2636958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2254141$DEFA6EB9-0D76-4E8D-B083-6FE022BB1014","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9161e4a1f1126c1c9a1bcf05c7713d83219addcf","datavalue":{"value":"10.1016/J.JALGEBRA.2014.11.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2254141$1E1C6474-FFC6-4379-9065-FBD038E95618","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f25820d56dd3e10ba192336e1c0e0436d627719","datavalue":{"value":{"entity-type":"item","numeric-id":2876243,"id":"Q2876243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf14cc270abf5e0fe61841d55e9475511fd2946","datavalue":{"value":{"amount":"+0.9293314814567566","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2254141$10572626-7B64-4235-B4A5-8AFB64AC438C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5922ef26ef1e9386021613de290bb0b95ef7129e","datavalue":{"value":{"entity-type":"item","numeric-id":492033,"id":"Q492033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d990c38cf7913a6ee18cf6c1abb34c0d9da13efb","datavalue":{"value":{"amount":"+0.9231606125831604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2254141$6A23CE9C-6002-41A5-8DA7-208EC9012926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09f8a2e8866e9a3595b78cf0b90490ca205d6d9","datavalue":{"value":{"entity-type":"item","numeric-id":2192678,"id":"Q2192678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f187e4609b93ddfcefee2468579cba70c9a664f","datavalue":{"value":{"amount":"+0.8253031373023987","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2254141$FC89269A-AD4D-4EE3-9BF3-7F954FC82DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ad35fadea4944396d86e3df3ee54291a56d63b","datavalue":{"value":{"entity-type":"item","numeric-id":5872904,"id":"Q5872904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd3de77d422cfe0a38a808cc68a022c31392072f","datavalue":{"value":{"amount":"+0.7876986265182495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2254141$603FF2B8-2226-448B-ABD0-787F028FD42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"518dbb7d2b718192be8c6291f206e4b0d5cf3c61","datavalue":{"value":{"entity-type":"item","numeric-id":3360287,"id":"Q3360287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76a79d1c71d5e3eb65747f1c7442ead0146b7aa7","datavalue":{"value":{"amount":"+0.7502604722976685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2254141$53BEBE93-8332-4E58-9451-D6B7AA39732E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2254141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2254141"}}}}}