CINXE.COM

<!DOCTYPE html><html lang="en-US"><head><title>Just a moment...</title><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><meta http-equiv="X-UA-Compatible" content="IE=Edge"><meta name="robots" content="noindex,nofollow"><meta name="viewport" content="width=device-width,initial-scale=1"><style>*{box-sizing:border-box;margin:0;padding:0}html{line-height:1.15;-webkit-text-size-adjust:100%;color:#313131;font-family:system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji}body{display:flex;flex-direction:column;height:100vh;min-height:100vh}.main-content{margin:8rem auto;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#challenge-error-text{background-image:url(data:image/svg+xml;base64,PHN2ZyB4bWxucz0iaHR0cDovL3d3dy53My5vcmcvMjAwMC9zdmciIHdpZHRoPSIzMiIgaGVpZ2h0PSIzMiIgZmlsbD0ibm9uZSI+PHBhdGggZmlsbD0iI0IyMEYwMyIgZD0iTTE2IDNhMTMgMTMgMCAxIDAgMTMgMTNBMTMuMDE1IDEzLjAxNSAwIDAgMCAxNiAzbTAgMjRhMTEgMTEgMCAxIDEgMTEtMTEgMTEuMDEgMTEuMDEgMCAwIDEtMTEgMTEiLz48cGF0aCBmaWxsPSIjQjIwRjAzIiBkPSJNMTcuMDM4IDE4LjYxNUgxNC44N0wxNC41NjMgOS41aDIuNzgzem0tMS4wODQgMS40MjdxLjY2IDAgMS4wNTcuMzg4LjQwNy4zODkuNDA3Ljk5NCAwIC41OTYtLjQwNy45ODQtLjM5Ny4zOS0xLjA1Ny4zODktLjY1IDAtMS4wNTYtLjM4OS0uMzk4LS4zODktLjM5OC0uOTg0IDAtLjU5Ny4zOTgtLjk4NS40MDYtLjM5NyAxLjA1Ni0uMzk3Ii8+PC9zdmc+);background-repeat:no-repeat;background-size:contain;padding-left:34px}@media (prefers-color-scheme:dark){body{background-color:#222;color:#d9d9d9}}</style><meta http-equiv="refresh" content="120"></head><body class="no-js"><div class="main-wrapper" role="main"><div class="main-content"><noscript><div class="h2"><span id="challenge-error-text">Enable JavaScript and cookies to continue</span></div></noscript></div></div><script>(function(){window._cf_chl_opt={cvId: '3',cZone: "publications.waset.org",cType: 'non-interactive',cRay: '9134b57b598afe04',cH: 'M9K5TDyO3R2ocg2wXXalb.mgya79wTh01jdnEbZlav4-1739784104-1.2.1.1-2E3TYz.iFBgI2YuVlLAhlOnleB2Lbnucp5VZfRMChi.XtD9IRRldj98fXdQuppsN',cUPMDTk: "\/abstracts\/search?q=witness%20counting&__cf_chl_tk=B2Y3fyoa0IxzP4uD5R4PfacndTzf5CeXSgtGiUkkYe4-1739784104-1.0.1.1-ChbsBfk4bgHCbkSMDL.HSScNXDyJ4yk98xAxy3Qbf90",cFPWv: 'b',cITimeS: '1739784104',cTTimeMs: '1000',cMTimeMs: '120000',cTplC: 0,cTplV: 5,cTplB: 'cf',cK: "",fa: "\/abstracts\/search?q=witness%20counting&__cf_chl_f_tk=B2Y3fyoa0IxzP4uD5R4PfacndTzf5CeXSgtGiUkkYe4-1739784104-1.0.1.1-ChbsBfk4bgHCbkSMDL.HSScNXDyJ4yk98xAxy3Qbf90",md: "6JLoRR7CZbvoHp06r942FC8VWrAlVtWHICz9vQD6feU-1739784104-1.2.1.1-sDiL4uUMjVMUNMKs._zDozhpwTno3MClMOnQGcttdMMLBKsiUzdfXgI33c5i_GcYxD0_HzuAm8qfPNFVcCqTt5K47Lz9XtOPYhIYsnv0Dax5SPJ25eXPOVb4F9.7mXn2yyrVG5DSWCL8neDp28AkbLqqlQlxYzFY7mw4wkbOkJ0J.AWxFL3JhwgV5F3YA3I9msxhMbDgQ0pe2EDvf4z8xhR0M17gthSw9sEIrlRG.Cjs6mavKWslwTV2hjn8QrcQsSW5KAbp8PpToRyR51RbcX3.LrOKN5W4wR_E2UpvA5sZ47Fml7NL.xC1bOqJzTdbW4f3pb24yPEEZiEVxU9ffxxug1rmXPG8I2OD5TwuJuyXxaqCa.qJ6FdycniMWB_f2WX8cWLkCRJMlfdxCkFQvZuetsrzq.Xk_6FBxEp2DPnrHFZzZwf2SSeDgrhORDQN1Fykq77lm6BdIsI39qX8_KBxMi2oQ1VvZx_3AxkRtvjD94JZ2BGoahX3hYutoN1.26OWDpHoL_KQHiLFYM3JG9tZm2ap7diqFhRvdn6mD9hlzmsqHJTtwrOc5WcgMqEsoGUZx1aRCASBMJjX446ArNQLD4IgaTkiwG1.Pxjto0IzduWksVQgWAZd8EyAZIzjm5oMd7MYZwJ2.4ACN5ZvkVzvEVbY7j8ULQs9NTd3N1rV0qmFYw6Y5TKMoaEYOWicOLEJoSIh3jvOXO_F9BcTPlsfNVwHUnYKrkM91Bqq8Xg3sfQk2fchFzgDtTrq491DD01IRLHdh4XlZ0ke5TOcvvbohvZwPTAr_ZRTVJPPdmy07d.bqnWTVmVGGM7nh2WqSnOjE4o0mAmE3kUxhGpASn2M1DTnvPiXUdwi_oTfmtmpMeEH5PG3TMHnac.TBpYWUxTqxIu_CWfXTt9QBdS_Yh9QIvyaYy9biLsxKD3EoyKhpvQHXPQ6b21rVugfzm6oe_2SMeZ7PCzhQodHsobwYiSMXOJrWVbMsBxrM1vFmZbPDFzXMzkEC6RDcLupArTDpc5Q38YQ_C7ECMXfWJJOwjxX7ywZ7TLt8Prt2JzyYfNIvrgvasxPEiTvjpZxUq31E6njRJZcOc.Q5.B5aAorcdnb_okONHgLmXrFC0v0UZu0SSoRxeSyFp38wQJh5FXZaART3B0Nhv5hH1n9fW6tg6leeGppbZdluQFBGGSjAYT9WYaEeggXHGldgwa.VJLRrLMfcrIe6aSUp_q89OYq6YiN.3RUBMOouk3yh0HIAgmLXw3Qct1iybXKtWPfxEJqNjTsSMc0Hdrat_m3viLB8VwrBpDc6AnmXZHVDHIrtKTB.XPi3MPZGhikPlpqk6j1U7Kk8d5dX3YKrpvrPLjOOZNlPMLRJ3UAnzd1rMIZRJHXSPB7N6Dax8hJYCkvo1o3z6ttgPIXRKursdxA8AEBerqzN0_wAUhceK6th1if2UohJ_Yjw_yq.mCCloTLWWe8mCLgIEJqyqTYyDMf0cdDG7EyjsZepCn1ex.3zvrQQWzSXW2jE3Aq6WPxpUuL_2qdvjMplVML4EHX9KarAH.Pbul0FlWwpR9qamyoQ7wqRjXhJra_AbEJtFXDont_0SVDTYbovuoJpOP.2YZjWdTKoK2gmkQy5LOPeEpXlcIYqGXRLccl7et7r0XbTHmS7C4pOviTkSAeyInDcv2ImkAg1L5FeE7EwhJwE8E8bxswW.wYgxJXd4moytLeQ3e1iC5qjYwbVqhXTiVSxQf8C7DrUDaNviOfD5qZNhkzAUZpTh8lHSueUuDASlz4f92E_9EnJ3Ocqe1rHN0.07qpf9J7rNQ7ZXrtFpnd_r9rTQ1Fd9DXxRWG.c_CdfM95pm_qigpa5ygEsa4YQG8vykgJx5XRG3CXt2Yi37BV4hPqKFqh09gg.LkebE2c5Z2nWB5ASpE2.V548.gGpEMipUekLDlDqaplGXScuUj.b.DGetxCVg",mdrd: "7Evr8XOprTMViZ8I0kCriORWowOFKJv6t7E6_fQ2BN0-1739784104-1.2.1.1-TmOVjVyACwnDLlpO9O9cQiqRrJXxSH.GIfCY434irLiH93dm7zESnOjNRGUCzonzLk.GvYec3ID8Atl1IVRyw9C6ezCVsJg9kyeuasADVoCb5EgKWQ0rcussK5TalrlKlPQbj0bOcpENN2C_._eRkgU08YEPXuNkMFnlrueEGcEfiPfl8377IcRY9m3cDGKWImwnnWEJUVHnNeosOFaseU0N9Oes9MrEWd.J8l0P3LyTIMN0aG.wD_ATmKstLL8h_10Mx0gvrkniI6_YZ9Rapqo4byj3kvjK1HRzxq0eYsC1K.Y90YGkdinegTYjKNAqtHP7Cj_oO188i1TYO2Mr3A54H4sg1kuOfmhDSoqHSeJx51nO0y3JyMe1O0Hgd4WTMH4XKXg4EyIBubWIe.yK6ZDJCWIummh8DLqcvrgQPyIrQuC.DwK3udo44.hq8LlEar2rWj0a6bYpcr16XsZJ7vpv7sV0wc6yWIhgkpUOdtXdBJJzRXwsXH85G.XXFBo_iIm7UupBgClVxkTEXH7zz8YWdC5dIV6r22kJbUn4ftC_ZEJ5wdYdJPUK5DNsMWNhMY3PVGpJUEuGEFdTajULBt9WvRieDnNKRJj624CC.bX5CQZ6YxF01PHZa3oe0.EKenGaEFllGgOIFb_Bw9AxXADEQi1jR6jk2KZTA_FhfTnMgXLuuOfFR_OoQN8FqI0gVkBNGAf52D3S3U7yFawSxzg4dp3gFNnrX4ix38TKw_2JveWxIYUPw9yBrc5LEo4eVr6dqzR3B7gLAYyG4sGOSBjOzp7N1WezKuJ_YomRyNFHVEVdts.wybmpllj.ovAZCfpg6koAazwsKMj7GHqQ_KZO29GevD0II.7mJDwAMT73PbshRbQUO_YD6_vL_tsWFRshZDN_j4GJeowU1t8C7OIW7mq.Y0uYe335g9TyxqA2O2w6lD0FiL1DfUsbTRrIhOZamyJPBCLDaqZneIqoaLa7iVYNj2chFiQWzvY1jrBAxwIhBLqfxBN.rQQjHsD1GSkF81JZSGprMfNJ7AyTs64VwiLZjYBKrdOmiU3RQpcLE7nchH4j96atpi2vmS.wyGuiLhLu4NMhJCHnKn5FJ8We1amr87127nHvob_MUAXq2ZajHVf.FZSqKyykYobctrYQqpDfHkdkVi3_BL5oduopHRuzYBFMzZGcN.w2nJ3WS7wIdXUNv4zPGe7lly6T7PlRTP2I5ASgfYXiDMa_xJW6bsZjSUI.JE4Ii.Jy0f2MmgXI.bJeHaHtNbYtxPIkUU2uWqBq8qNMgIF7cdnrT72jcOhwzVr93jw5CRNL2PBcULHUZ2u9eem8qbSpOcpmliepsqcDUauMZuSxcFVSoacZhfxHYPP5jX67W3_kIcKQAdkEvHN5F9jmxG.ibP0Mtu0zP.u1eCWKjovS9jzpAfjUBfVlYUkSgpakqI2CEDSlSwe8N1BPFazea9TaedsPByBdKp31Z.bl4E5h0_eoa9xnSMzD_3tR2pkb64ouRr_n2Csshfv7W3HqTwymiUVXrfn0GWeqMCu53MOJv3q9oO1.SI.rLBJ5FTW9MDidY0M5.MUSvbTqEz5kb_kiy9renjTKvFirA_6vZRmnSe05jo4qPw8bf7SpIX2Nm3KgqHLrtuIkBJXgn2yIAzdS1H9NY39Ynf9TSDbwef4tkah7ljrMOYeYkPF4eMVy7MvgEFMJm0S2buXIJ3ETqeZpiWpTSaOWJ376ekyAp3tILuq4n.NTIMwqQJhMHww30wlmF8smxksqgq2MtMq.JmBV0wRDnKZesOqHXyMcaNtWq.G5c5W0aXh8.WZhN00OCF_mrpfZ3xtbtx4d8No7OBUYVNFxFeCjQTQpweTV0.cE1qbknYe86GKzLGCVg2LJbXQLDCh8B6VLloz.vj633l.wpnE04qBLM5QoFzDcYJJP74lxa3yCx6C79S.ZRjci3pNOiJv1QbyMpwQDjESuM522HLBuFo9C68m38m6YkGykhujjig"};var cpo = document.createElement('script');cpo.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9134b57b598afe04';window._cf_chl_opt.cOgUHash = location.hash === '' && location.href.indexOf('#') !== -1 ? '#' : location.hash;window._cf_chl_opt.cOgUQuery = location.search === '' && location.href.slice(0, location.href.length - window._cf_chl_opt.cOgUHash.length).indexOf('?') !== -1 ? '?' : location.search;if (window.history && window.history.replaceState) {var ogU = location.pathname + window._cf_chl_opt.cOgUQuery + window._cf_chl_opt.cOgUHash;history.replaceState(null, null, "\/abstracts\/search?q=witness%20counting&__cf_chl_rt_tk=B2Y3fyoa0IxzP4uD5R4PfacndTzf5CeXSgtGiUkkYe4-1739784104-1.0.1.1-ChbsBfk4bgHCbkSMDL.HSScNXDyJ4yk98xAxy3Qbf90" + window._cf_chl_opt.cOgUHash);cpo.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(cpo);}());</script></body></html>