{"entities":{"Q555778":{"pageid":557545,"ns":120,"title":"Item:Q555778","lastrevid":48497854,"modified":"2026-01-05T00:36:11Z","type":"item","id":"Q555778","labels":{"en":{"language":"en","value":"Combining test case generation and runtime verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174896"}},"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":"Q555778$C9E67511-7DCE-4D31-B5AA-E6849B7E2CDA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"408a8d52c5122512edf8244bb11226679fec6e83","datavalue":{"value":{"text":"Combining test case generation and runtime verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q555778$E6F71FFD-DB19-47B7-9935-3EBE7D3AA650","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6955b985eae8a93c92e0fb27a423f30d76592f46","datavalue":{"value":"1080.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555778$7DEE3176-1279-4C90-A035-A66F52100D7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153f57b49379c8f42a6fee983336120467fb8fa","datavalue":{"value":{"entity-type":"item","numeric-id":551798,"id":"Q551798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$6A5E6EBD-F96A-492A-9516-B81C3F8DAC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$B2E1EDFD-5441-4018-B55E-41EA6B2A84D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$FAE69E53-E0D8-41E8-9D14-9D27BF89A1D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f82118ca2793d21263f8941982493899f6fa842","datavalue":{"value":{"time":"+2005-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q555778$6D1CEA29-1E60-4737-8649-6A709FAFD8A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555778$4DCF3395-F96F-4B26-8143-B531F388505B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ed3a05e2fbe80a8be588c1ac92d712c93aad795","datavalue":{"value":"2174896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555778$AF58015D-6F2E-4CED-8E3E-909C48A3D356","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd23217655ecc70f06c40503e11eebb1d4585dcd","datavalue":{"value":"Automated testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$FE3DF41D-9813-4137-A891-8CBB6C592EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66bfb4af046b88701cd862e31a5d48bc12b79b37","datavalue":{"value":"Test case generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$31417E2C-87B5-409A-9D8C-ABEEC457A631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$67124E60-E656-45DB-8FCD-12F59659F452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7af97e3e229392c4505d8afa708f286cef3771a1","datavalue":{"value":"Symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$4C43A9EC-4C5C-453D-9AED-B738F528EC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a49bf6b7b8ff6b0ca2e581f430df32c2d2f4e51","datavalue":{"value":"Runtime verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$0317B40B-DE9E-4622-8FCB-EE196C5CB6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d02dd1a2dfa11167160686287ff03893b98091d","datavalue":{"value":"Temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$D0FBAEB8-0B4E-40F1-8E61-DFA5DCB0DCBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23b6fea6cd61ed50daa224149c4fd2a51bed23e0","datavalue":{"value":"Concurrency analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$40F610C1-EEA0-4866-AE15-BF765A52DE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07481510f4d810de376fbd6f2b70d5e2000e91d","datavalue":{"value":"NASA rover controller","type":"string"},"datatype":"string"},"type":"statement","id":"Q555778$3AB2A26B-2E11-4D98-A613-9516D113CCC4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a5699a860dd7dc9c732976be3ba437fb61ff7dd","datavalue":{"value":{"entity-type":"item","numeric-id":19322,"id":"Q19322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$9D08844D-2ECD-44DE-83AB-59B62E7C5BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24ca62f46c2e4a4782ae714af37661320baead7e","datavalue":{"value":{"entity-type":"item","numeric-id":22001,"id":"Q22001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$833D3977-908C-4D15-A4BB-259E85D2E4B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"718311bec5677fcb7dd4c6a00088cfdda551c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":21885,"id":"Q21885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$03811706-96EA-496B-BC3C-175C2312EDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bce025e8efa20e6fe946d9dab940244b593926d","datavalue":{"value":{"entity-type":"item","numeric-id":40096,"id":"Q40096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$94AA6ED3-DE56-481A-BAEE-3BFA892794C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e735a85c793db0010dc65dd8f20a7b9930086dd3","datavalue":{"value":{"entity-type":"item","numeric-id":19307,"id":"Q19307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$FA76728C-1B3D-4043-8CC8-7E1AEE1D611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80eea1ed90a1a156489af434c921fb240a48ae8d","datavalue":{"value":{"entity-type":"item","numeric-id":19308,"id":"Q19308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$6AE798B6-7878-47DB-8627-2D1259F9942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecc86304e6e0168c486b1953bbd2cdad4880fb4c","datavalue":{"value":{"entity-type":"item","numeric-id":23309,"id":"Q23309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$3CA5E747-78ED-420E-9404-4F02E174AD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa2385fb9a6f3ad0a69af3bdb22635de5bb0454d","datavalue":{"value":{"entity-type":"item","numeric-id":43977,"id":"Q43977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$F885732B-1A91-495E-A7BE-A284820F67C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e73ff40df6991ef7ccf62ee2273284e400b9341","datavalue":{"value":{"entity-type":"item","numeric-id":43978,"id":"Q43978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$E8BB0AB5-8631-4C3E-AE4E-B2F044DEABE3","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":"Q555778$C9BA9D04-BAA9-49FC-AB7E-865C461D6812","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fe0d637ac725328c1ac1106f7f8e7b0bb4f0e1a","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.11.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q555778$EF40D9F8-39CF-4025-8C42-28AF38EF010A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3797ed9ef46c4709350a5d3c2edab9ec02ba07da","datavalue":{"value":"W2126606154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555778$CDE4B223-D2BC-4A0D-89B0-94FE6758CBB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9ce63212f6d373470ec598cea95addb845f9f9b","datavalue":{"value":{"entity-type":"item","numeric-id":5312927,"id":"Q5312927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$6E79BF4F-477F-4FD4-B631-10739B3700D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d662deea76f1f0e44091a8cecd51bf648c780b7a","datavalue":{"value":{"entity-type":"item","numeric-id":1904643,"id":"Q1904643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$8089D099-986C-4D31-AE62-0851DD78C5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53bbc31a445e987f53c0841acd693d68b85167b","datavalue":{"value":{"entity-type":"item","numeric-id":5901902,"id":"Q5901902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$1C2730F5-DB9A-4D60-82D6-2989A8DE91E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e408553598cfce8e50a228b236d8bca4154751dc","datavalue":{"value":{"entity-type":"item","numeric-id":1888201,"id":"Q1888201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$7F46CBC2-BF5B-498F-B321-FA4E74719F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4ee29b99ac87dbcc9cfa678fc571c46e8dfcfc","datavalue":{"value":{"entity-type":"item","numeric-id":2753772,"id":"Q2753772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$7F0585BF-49FC-443B-A128-7E2DF1D31802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d56be3c28f0922b42868a7e597f4189f5e96248","datavalue":{"value":{"entity-type":"item","numeric-id":1878915,"id":"Q1878915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$A6221528-8323-4126-AA04-0D6C7FC4CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a42467b52e94511ef177e7169682110c81f3562","datavalue":{"value":{"entity-type":"item","numeric-id":4738485,"id":"Q4738485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$D868F200-EDDE-4226-9412-87ED2845729D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3bf9613ae9804ab4d6c1a4bf2f77f2d5228a33e","datavalue":{"value":{"entity-type":"item","numeric-id":4873985,"id":"Q4873985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$6E1FE198-0D41-43E2-83C3-D6F557331A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed95fdbd2f9e0d94480da22279633a8a3a6e54c","datavalue":{"value":{"entity-type":"item","numeric-id":1878923,"id":"Q1878923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$3D60108C-2CDA-4409-9743-23F54C4CB84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f36c54329eece6c81e4341e8f4350487d789a74","datavalue":{"value":{"entity-type":"item","numeric-id":4472251,"id":"Q4472251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$63CF9733-7D29-4E56-B743-0DC30FB5F476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ac8fbaa5327d9e78aee985d91f80cbe5620928","datavalue":{"value":{"entity-type":"item","numeric-id":4082984,"id":"Q4082984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$10C08952-2660-4995-AEC3-25763CD81474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f11d087fb352d8b17c817d210efa2f25331977","datavalue":{"value":{"entity-type":"item","numeric-id":4417955,"id":"Q4417955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$1213474A-5A5F-47C6-898E-D137F5397B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c5875eaa6f93bfeaac4d0fab2d77ff3c0870d4","datavalue":{"value":{"entity-type":"item","numeric-id":1878917,"id":"Q1878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$94AF47EA-62C2-4031-88AD-7C10D7AA1965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$68F26BEB-31DE-4BE4-A35E-567C328F0D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78253dd140fe15a8f0c085578661ef643922899","datavalue":{"value":{"entity-type":"item","numeric-id":1878922,"id":"Q1878922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$CA78A834-9C91-4006-BC3E-633D4A7FA80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6577112aa1f8dc34a3dcc67b303f72f97a9375ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900570,"id":"Q5900570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$8D2E4B46-1505-4A06-9F8B-C9167EA2D7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098eb3d3525d55c084c5551d2674f126106ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":5896950,"id":"Q5896950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q555778$CCB238E7-C189-4BD7-99AE-0BB47D50661D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d0c80ceee10a01755cafcb4e8ca26ebeaa473f7","datavalue":{"value":"10.1016/J.TCS.2004.11.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q555778$157611E6-FE77-4052-BE36-2F5EB65407CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ae0636506839ea53bbd41474f85cd4e5588882","datavalue":{"value":{"entity-type":"item","numeric-id":4413672,"id":"Q4413672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c499b7c3650b3aaece019825aa0950bbf12bea5","datavalue":{"value":{"amount":"+0.87704998254776","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":"Q555778$754924BA-58E6-4A26-BD05-01162879629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e491e82f1872933322ce8cf45b881a1e9ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":3558292,"id":"Q3558292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55578cc6e0b84145de33ef7a7f598b4d16ab9029","datavalue":{"value":{"amount":"+0.7261473536491394","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":"Q555778$F265C26A-8E52-4CA2-A73E-A5403B26E619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc2226623e729e3369244c5351070d6bd8a8d201","datavalue":{"value":{"entity-type":"item","numeric-id":4471927,"id":"Q4471927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ccb394308b119270c1fc855619025805005f43b","datavalue":{"value":{"amount":"+0.7140825986862183","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":"Q555778$797553B1-CD22-4C33-A11F-6F51F2031B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53411487d925dd368ae4f5f1d2fb7d4622957d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5902016,"id":"Q5902016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdfa1e3d3855ae357e23a627dd99c48eab78108","datavalue":{"value":{"amount":"+0.7053219079971313","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":"Q555778$B6A0BEC0-C7B5-4498-951C-CDCD6F12F40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de450abf9babab63e4876daa04dc1e1dff7a352b","datavalue":{"value":{"entity-type":"item","numeric-id":2576575,"id":"Q2576575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1f229ad2caa229820de35bc43a0d460c68c66a9","datavalue":{"value":{"amount":"+0.6953900456428528","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":"Q555778$4D60965E-DE23-4FAF-9071-19750F04548D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:555778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:555778"}}}}}