{"entities":{"Q5111324":{"pageid":7140898,"ns":120,"title":"Item:Q5111324","lastrevid":46185352,"modified":"2025-12-24T00:10:44Z","type":"item","id":"Q5111324","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204445"}},"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":"Q5111324$6818F628-83CF-4623-AC87-583BAC22B665","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cba1a5a4f9c11c5f5cfaed442d0d377152af75a7","datavalue":{"value":"1441.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111324$2E8B90AD-3427-448C-AB5D-C6E2D44E2D82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48eec155a765f3a7fd82b780d1231a1a5f6f79e9","datavalue":{"value":{"entity-type":"item","numeric-id":5111323,"id":"Q5111323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$5E6D034C-85EE-4333-A05A-8180E55E609C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88be69c40b517dcf95562e728bf82dd0b4372ca","datavalue":{"value":{"entity-type":"item","numeric-id":372958,"id":"Q372958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$20C43185-4D71-4FD7-AD06-50CB1CFAD9E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111324$3F896E74-023D-488C-B375-E6F91E57CC13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111324$DF473AD5-9EE4-4110-8BEF-78C6A749C24F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecdd055c3ab7cf2526a33d9608305d1cf4fe5fdd","datavalue":{"value":"7204445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111324$7667C25F-4C2B-40A6-9C7B-9A41EA0C2BF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa7cc37f86335fb7423a2c5d21be826c9a998205","datavalue":{"value":"resource analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111324$87774754-3AE0-4D36-901C-7FDDA4B41938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111324$58FEAABA-A6DA-416A-8E45-1D8C448A2076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111324$222D4BDD-9019-49E6-A160-2751BBC79102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8e841e4cc6e9002be5ed45d8dcddb3e497bd39","datavalue":{"value":"OCaml","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111324$4BA1D95C-E8C8-4A1E-84B2-353C29A7377C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ec37da8502f5286d6e407b7d5b29adece889aef","datavalue":{"value":"amortized analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111324$CFFEA2FB-0625-4C9D-A006-D7F0255710EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"308c9d19b10840f60de028f733a0e4446e2c05f7","datavalue":{"value":{"entity-type":"item","numeric-id":21700,"id":"Q21700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$C83A5A78-9B4B-495C-8749-290776AA8702","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":"Q5111324$575D767F-BA35-4E54-B58A-A9604A1EDB7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"104f60c84cb2360398187eed5e1dd228a199a063","datavalue":{"value":{"entity-type":"item","numeric-id":764297,"id":"Q764297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$FC3ADBC4-8324-4518-B08D-575472305014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d421837d95e47324e8a9568fc6a54da33df7097","datavalue":{"value":{"entity-type":"item","numeric-id":3558217,"id":"Q3558217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$863332DD-4C1B-441F-B61D-3F7E4AD3267C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8540fe0517f2d5cf0be7b1905c72108509166024","datavalue":{"value":{"entity-type":"item","numeric-id":2981952,"id":"Q2981952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$75F66F9E-6A40-4B8C-800C-0CB3E04D1FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906fa5413b47a98c6e1b580cf1856aaa58f10623","datavalue":{"value":{"entity-type":"item","numeric-id":1827392,"id":"Q1827392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$D6AF1B95-C314-4EBB-A66E-B00AC028F31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51541f99d6bbe126c2da4baac0404d71491b3b51","datavalue":{"value":{"entity-type":"item","numeric-id":3066094,"id":"Q3066094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$6B48A5BD-9E19-44C0-A940-DCFE04718D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c103723028a60f8291cd0c5eddb1aba60472acd9","datavalue":{"value":{"entity-type":"item","numeric-id":2802432,"id":"Q2802432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$3C5EF38A-A9BC-4392-948D-9636DB4BC6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a286e98ec83213230e2cc28ddce0ac59905c6f","datavalue":{"value":{"entity-type":"item","numeric-id":2802443,"id":"Q2802443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$20D20B17-F7D4-444F-9C3F-458FA348CB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da7bf26c66930ba336424cdfda93a39541c47d3","datavalue":{"value":{"entity-type":"item","numeric-id":3189833,"id":"Q3189833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$35631144-0B8D-4A5E-9437-4466F903A3A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f6495473a185f83f33187673a86fff4297b57b3","datavalue":{"value":{"entity-type":"item","numeric-id":2981951,"id":"Q2981951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$93EB2DC3-4DA7-43AA-A8CC-7EE68845DDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a525346570575a41a435d358edb96d63288341","datavalue":{"value":{"entity-type":"item","numeric-id":2789051,"id":"Q2789051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$F9A868B3-EC28-4AB1-BAB7-B461F90DF0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$A832CD5C-2E7F-40B3-8B00-52BA2DA01A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f787411cd150ae479aad18d1dd19610e066110a","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$D8D51F67-6DBA-415A-89A9-99FF2FCEF74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48fc6eb76d008c38f8d5f3864b312ce3bca80654","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$977133B0-C169-47BC-8DA1-6600B37FF996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d475b104702fe45fd57bd1344fb23caa384940","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$951EF1D4-7E17-4414-8CE3-3069429AC50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c9c8e9f1391c0a89cc1e42a8d8d9922385865a0","datavalue":{"value":{"entity-type":"item","numeric-id":5170708,"id":"Q5170708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$E244EC8E-806C-4450-99DA-4083AF3A2659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26cba9b0310940bbd32ffba3c2357cd3f3194911","datavalue":{"value":{"entity-type":"item","numeric-id":2942925,"id":"Q2942925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$4C99C364-61DB-49D6-B09A-F31A733C3BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2b043f1f5ea4ab949da5be665f95c5a9e8b669","datavalue":{"value":{"entity-type":"item","numeric-id":5899006,"id":"Q5899006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$F088E830-7572-49BA-BA75-0FEB0BB57A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6908f3d8cc165d0340602df105a5a95b2c1256","datavalue":{"value":{"entity-type":"item","numeric-id":5170822,"id":"Q5170822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$DA6157C3-C7D3-4F71-AA84-4FFD016FF053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b30e10a59468867e8b86b1455807334bf0a58f6","datavalue":{"value":{"entity-type":"item","numeric-id":5277843,"id":"Q5277843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$4D920672-5E00-4277-8E63-F48006316EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"389b580e3b3210aae5eb33afd41ddfb6dd849c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3644757,"id":"Q3644757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$1EC5DAAB-8DE3-42F2-8225-884EE8EB47F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7f4a4d6814fd1b39255e8b48c879c80b6a5b79","datavalue":{"value":{"entity-type":"item","numeric-id":5255076,"id":"Q5255076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$029341ED-61E4-4B05-8A97-564DEC42BE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85694606be4006c9cd1a11cd23a0af7bbcc9dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4899111,"id":"Q4899111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$E0549A14-968D-4E1A-8030-A9A2F6C89261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908c2d6d461835203c51e37e45e860349a48c1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$3955D05D-CDE5-4427-9CB4-D44164A6BE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed20ad8f078cde150e2d524a3e4922b526939b91","datavalue":{"value":{"entity-type":"item","numeric-id":5111324,"id":"Q5111324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$EE9FDD83-B283-43A2-9CD6-89705FCFA025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2605f7e0615a8e6ba357abcf8a9f8ba5f41ad3e1","datavalue":{"value":{"entity-type":"item","numeric-id":5370871,"id":"Q5370871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$5090C2FC-632D-464B-8D4B-BD3E64FCB64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdd6b24b42dafe812f776bf7cd7b8c1e34fe86e6","datavalue":{"value":{"entity-type":"item","numeric-id":5704017,"id":"Q5704017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$4060A5EB-D180-457E-8C77-52E69D7ADFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88530834ec12c39dd9fcfa8ff40d5bf40aeff0c5","datavalue":{"value":{"entity-type":"item","numeric-id":2351155,"id":"Q2351155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$A623EE56-625E-43ED-B427-B848CC2B58D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01ca5b15c47313f7b671862581171333a66b86d","datavalue":{"value":{"entity-type":"item","numeric-id":5713333,"id":"Q5713333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$EE9ECEF0-DE1D-4F2D-966F-EB74F30B7678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd7e0eaabae954c5ce023ec02943f7bbcdd3f59","datavalue":{"value":{"entity-type":"item","numeric-id":2398171,"id":"Q2398171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$BEF434E2-AA85-4578-A7CF-CE46BC5A79B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b77730f27d19fff5a2af30b38837d9c3e169906","datavalue":{"value":{"entity-type":"item","numeric-id":2729060,"id":"Q2729060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$F9E745DE-27AA-4A3D-9513-4DF13421836A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b212f6531ee943cbd0d87eabe7a0d706c8df26cc","datavalue":{"value":{"entity-type":"item","numeric-id":2802465,"id":"Q2802465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111324$27B3DDC7-4195-478C-ACBE-AC43556927A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b738a3e2fca97a07983191290eeba4c0ccdf3d77","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111324$362F25F6-697E-488A-A366-63D4474E04F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3ebf1c7e2b0f04ec3de2ce5d6cc1db0b34aab3","datavalue":{"value":{"entity-type":"item","numeric-id":5371954,"id":"Q5371954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38aee56e120db62f1f0d9586e0f625ef0b824ad","datavalue":{"value":{"amount":"+0.8259651064872742","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":"Q5111324$D235E951-F94B-4BD7-8901-33B308938683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89b481af36f516e073227c33647f7f5ef6d6d85","datavalue":{"value":{"entity-type":"item","numeric-id":5170708,"id":"Q5170708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7646b21c92c2d5f1aa0cc8c1dd0df05efbe36f00","datavalue":{"value":{"amount":"+0.8213501572608948","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":"Q5111324$2BF1EF80-3948-464C-85D0-D1DDD09CD2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c968463b51da458432038916243b9383e5b69420","datavalue":{"value":{"entity-type":"item","numeric-id":5370874,"id":"Q5370874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6692ff23d2a63f99976a12c6637ed82be7cd406","datavalue":{"value":{"amount":"+0.7918403744697571","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":"Q5111324$039E92EB-FF3D-45BF-957C-8DD1A4662B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1bfc4ce1232f218f043d0164b8ced3edf78d5c7","datavalue":{"value":{"entity-type":"item","numeric-id":3558228,"id":"Q3558228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44a1d0121f8db746d07304222f2fbae09b3f085","datavalue":{"value":{"amount":"+0.7629408240318298","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":"Q5111324$9CF29CBB-103A-47B5-8A78-65AAF458B489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761696e99a30f68ac4d6f41855006641f69acf18","datavalue":{"value":{"entity-type":"item","numeric-id":5408556,"id":"Q5408556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceeb35c38f5cad5822f0cb074c9e3d9b60055673","datavalue":{"value":{"amount":"+0.7479618787765503","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":"Q5111324$7510692A-71CB-4CED-846E-3C04D6F554D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111324","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111324"}}}}}