{"entities":{"Q875926":{"pageid":877774,"ns":120,"title":"Item:Q875926","lastrevid":65019447,"modified":"2026-04-11T23:46:45Z","type":"item","id":"Q875926","labels":{"en":{"language":"en","value":"Hilbert's Tenth problem for function fields of varieties over number fields and \\(p\\)-adic fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5143563"}},"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":"Q875926$420BE7B1-8782-4203-A714-34E39B91C3E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c40eaa603f689f73a422abccb618cd87020105c","datavalue":{"value":{"text":"Hilbert's Tenth problem for function fields of varieties over number fields and \\(p\\)-adic fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q875926$A992E1B9-9C9B-4BD3-AEDE-512074243533","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0914e6c1927f8ac96edcd02dfb0d481a8851e123","datavalue":{"value":"1152.11050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$FBF2ECD7-798A-40A8-A268-F86E7AD4B096","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a25a5e59ce6d0b8f4242037b57bf5ac19170e423","datavalue":{"value":{"entity-type":"item","numeric-id":368678,"id":"Q368678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$07C4F9EE-6C4F-426E-9FA6-523BEB8A799B","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":"Q875926$CAE17569-F7E6-44B4-8287-84B58B414758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d952bbb2d53d4bd5a9de3b9e090440b84b7e8929","datavalue":{"value":{"time":"+2007-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q875926$D1709419-4A5F-4500-BBE7-BBDCCCA2448A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf90314627131778b6ba4335c76291e9efe71999","datavalue":{"value":"https://arxiv.org/abs/math/0610132","type":"string"},"datatype":"url"},"type":"statement","id":"Q875926$078D7C9F-BBC4-4DEE-8422-E377D3AFE037","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b30ec0df4d0520484f4fdf58ea51a79aaa323da5","datavalue":{"value":"Hilbert's tenth problem (HTP) for a commutative ring \\(R\\) with coefficients in a recursive subring \\(A\\) of \\(R\\) is the question of the existence of an algorithm which, given any polynomial equation with coefficients in \\(A\\), determines whether the equation has solutions in \\(R\\).  Let \\(k\\) be a subfield of a finite field extension of \\(\\mathbb{Q}_p\\) with \\(p\\) odd, and let \\(R\\) be a finite field extension of a rational function field \\(k(t, t_2, \\dots, t_n)\\). The author of the paper under review proves that there exist finitely many elements \\(c_1, \\dots, c_m\\) of \\(k(t)\\), not all constants, such that HTP for \\(R\\) with coefficients in \\(A := \\mathbb{Z}[c_1, \\dots, c_m]\\) is undecidable.  To obtain this very interesting result as a consequence of the undecidability of the existential theory of the structure \\((\\mathbb{Z}, 0, 1, +, \\cdot)\\), the author constructs a diophantine model of \\((\\mathbb{Z}, 0, 1, +, \\cdot)\\) over \\(R\\) with coefficients in \\(A\\) using and extending some basic results due to \\textit{J. Denef} [Trans. Am. Math. Soc. 242, 391--399 (1978; Zbl 0399.10048)], \\textit{K. H. Kim, F. W. Roush} [J. Algebra 176, No. 1, 83--110 (1995; Zbl 0858.12006)], and \\textit{L. Moret-Bailly} [J. Reine Angew. Math. 587, 77--143 (2005; Zbl 1085.14029)] concerning elliptic curves and HTP for algebraic function fields.","type":"string"},"datatype":"string"},"type":"statement","id":"Q875926$C03D7769-F11E-4A3D-9F70-F6A438BCB270","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3311c476ff97a482b62491729bed0b56f3ca41e1","datavalue":{"value":{"entity-type":"item","numeric-id":703834,"id":"Q703834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$6FF84669-29A3-4CC5-9314-E7663FFD9C8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$54CA8126-039C-4D99-9F62-FF15CE3EA304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$58B03465-E2C3-4586-9348-4B7C2DE21BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7d2c1d6303ff43a208c78ddab6e0cc8993208fc","datavalue":{"value":"14G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$F143C5E8-A441-4042-ABB5-BFC9A465BDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$DD4F737D-9227-4C75-95FE-A1F5313FA9CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71291a491d0bf13b17274565466ae214b881c6e5","datavalue":{"value":"5143563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$0A970638-706F-4B88-A493-0137DDC39142","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4eb8c6e83c899047490a36678acb5fb3cd16ee6","datavalue":{"value":"Hilbert's tenth Problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q875926$C3010E87-96FD-4E14-9254-A10E75E3EE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24faaa3ef958212f2d05f6c53e6d479c4b0aad51","datavalue":{"value":"Undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q875926$1F2781CB-3995-459B-B0D0-DD78B89D546F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec8e1e47431f0a513ad71e56dafbe7e95c925dd","datavalue":{"value":"Elliptic curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q875926$1C000A35-D917-49A7-AD7F-3F7A3B0A4B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed86a0de13ccf49ffd33d1e8945d3d9013947735","datavalue":{"value":"Quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q875926$2148B027-9D13-4990-BB6E-3C1E07E70A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb9f113664a1273411c55d2dd1b23820129ad8c0","datavalue":{"value":"Rational points","type":"string"},"datatype":"string"},"type":"statement","id":"Q875926$62BB0412-EB6F-4774-A90F-764928C5000B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a3cda2767ca5bb754b1008a643b2fd048b7922a","datavalue":{"value":"Diophantine model","type":"string"},"datatype":"string"},"type":"statement","id":"Q875926$F1082F5C-EA76-4B04-BF20-F5A555393A6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e7a7fb66b7a019b3455263578bc57675b41afa05","datavalue":{"value":{"entity-type":"item","numeric-id":39312,"id":"Q39312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$36169505-5101-4C9E-B534-77A1661D061D","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":"Q875926$BB1191F5-6B92-4AEC-93AC-76EA7906A381","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecd1d1b6ad1bb87845685d1d9b59625dbca73e52","datavalue":{"value":"W2129200961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$0E401F0B-03D9-4D8D-B3F2-DAC334D593B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2106575aa4161a8525210b43be2b92c4dbd693e9","datavalue":{"value":{"entity-type":"item","numeric-id":5532660,"id":"Q5532660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$E4C0D95C-5DD2-4028-9004-753FFD10C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd7ce3751638ae78ff380653078fb6112e35288","datavalue":{"value":{"entity-type":"item","numeric-id":4657443,"id":"Q4657443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$6D31B824-76AA-4147-9ADE-A0387D2B4858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba8921880464e46d958368f57cd472c0f778c767","datavalue":{"value":{"entity-type":"item","numeric-id":4341641,"id":"Q4341641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$FE2B7BE4-122B-4FCE-8E0C-F778467F0CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$D025FC1C-3D3D-4F33-B1FC-D3B36964E4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"201be8267f6c1bb899f0e8e46461dac702e0a104","datavalue":{"value":{"entity-type":"item","numeric-id":4182609,"id":"Q4182609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$2F129CBA-BA18-40C0-A31E-5D38D0F8C581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a454fd64168f558aae37864bc0a7199ddb22f8","datavalue":{"value":{"entity-type":"item","numeric-id":2556360,"id":"Q2556360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$22CC656D-CBF8-420D-9C5A-DD9931B71883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3db8636c39d94471287bf2ba80dd82aa920c37e","datavalue":{"value":{"entity-type":"item","numeric-id":1880058,"id":"Q1880058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$9AF981DA-DD66-4CB9-AA29-66D30E1D857C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de747b381a43697edb523f80616c189f0b2d9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4658943,"id":"Q4658943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$0AB6ADE0-651B-4C3C-AAD6-624A75231B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b3135dc5e821ef718afa846b20cc937d3cbdf7","datavalue":{"value":{"entity-type":"item","numeric-id":1194191,"id":"Q1194191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$A36280C6-41A4-4D11-A391-244FB884166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e7ecd53dd43a766d92f6c0622709b3bb69a4fc","datavalue":{"value":{"entity-type":"item","numeric-id":1899086,"id":"Q1899086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$FE609712-0237-489F-9A46-4BFFC343F3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1619ee43f4f4ebb0a6fb5815a795e5d75e76afb4","datavalue":{"value":{"entity-type":"item","numeric-id":3877755,"id":"Q3877755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$996E05C5-11A2-44DF-911E-51D2D82C899A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead41586bd2d07d52dfeae647df78ecb86f7a272","datavalue":{"value":{"entity-type":"item","numeric-id":5701252,"id":"Q5701252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$4EAE5B1B-1A5D-4911-AEE2-321E3B6EB798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f54c44d69d416c509126f92cf64ab592cdf1c6","datavalue":{"value":{"entity-type":"item","numeric-id":910434,"id":"Q910434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$FF58F4A2-5527-45A7-90AA-4BF6CEC440BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958b91e18443e1a7e8882870b1e3fbd0c0bb79cb","datavalue":{"value":{"entity-type":"item","numeric-id":4302340,"id":"Q4302340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$B1D147C4-FEEB-4C7A-BEBE-8C13F4226240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fcb81bcc830274100bb0a9570d356ef440b763e","datavalue":{"value":{"entity-type":"item","numeric-id":2776773,"id":"Q2776773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$488BF4D2-8C2D-4D76-A68F-3032DA437E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ac92c60a4cc8509821090eba113e18f55d0206f","datavalue":{"value":{"entity-type":"item","numeric-id":1587513,"id":"Q1587513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$4C96D046-A499-492A-BC84-457A723F2253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe5f4394637e33cca2cdb65157e80077e8a216a","datavalue":{"value":{"entity-type":"item","numeric-id":4740681,"id":"Q4740681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$6B50654F-16E9-42A9-9458-E44141B1F39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49863a66e453cf5c72aae30b9e8012236376bdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4317891,"id":"Q4317891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$9065F530-7B61-470B-9C43-4AB861B8D35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca23642c36ab8c6dc2caf1a700914c8fe3482b31","datavalue":{"value":{"entity-type":"item","numeric-id":4281762,"id":"Q4281762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q875926$9A583B66-BE15-4B7A-B5B0-3B2E6F99C168","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f5112731ae8141151177a14029020afe6168ea5","datavalue":{"value":"10.1016/J.JALGEBRA.2006.09.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q875926$D3E2D302-FE80-4504-90D1-D05C818CE113","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d0f5e75aa2fc5682b1a7210901c2530484bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1758239,"id":"Q1758239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4347859874771a9b3b4ffde2f6138730c937bf2a","datavalue":{"value":{"amount":"+0.9198387861251832","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":"Q875926$EDB9F56B-2A84-4157-8B8B-1F0570EA1940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a31ba7cacc68c3a611fbbff7950c6f4c5e0eb2d9","datavalue":{"value":{"entity-type":"item","numeric-id":4658943,"id":"Q4658943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bb4d7d8f1518a9c54ac2324e430077671d0d306","datavalue":{"value":{"amount":"+0.9114403128623962","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":"Q875926$457BC65E-FC0B-42C0-A56D-D8582DEDF074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0454b9f14389853099f21a352c402873a1ae343","datavalue":{"value":{"entity-type":"item","numeric-id":1931690,"id":"Q1931690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e9d6fbe592e30dd969d05f5e6d8b58c0e93827","datavalue":{"value":{"amount":"+0.8949485421180725","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":"Q875926$9203A7E1-07E8-4198-A4C0-EBC6D9FDFC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b28ead08cd725c0aa75584aa479764fff2225d9","datavalue":{"value":{"entity-type":"item","numeric-id":910434,"id":"Q910434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d9366c60c35947cd6a5f50b3a23353f21ce239","datavalue":{"value":{"amount":"+0.8800894618034363","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":"Q875926$4AAFBA65-BF74-4A47-B0EF-354F85E2CBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e15a0980b03719707addcf81f9d8014b7cfd9cd6","datavalue":{"value":{"entity-type":"item","numeric-id":2359446,"id":"Q2359446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8468d2c2fdce4dbbd0637651b749339bb5c411","datavalue":{"value":{"amount":"+0.8780987858772278","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":"Q875926$A2FB07B7-9F61-4372-8537-560D5A596EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hilbert's Tenth problem for function fields of varieties over number fields and \\(p\\)-adic fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hilbert%27s_Tenth_problem_for_function_fields_of_varieties_over_number_fields_and_%5C(p%5C)-adic_fields"}}}}}