<!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;padding-left:1.5rem;max-width:60rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{line-height:2.25rem;font-size:1.5rem;font-weight:500}@media (width <= 720px){.h2{line-height:1.5rem;font-size:1.25rem}}#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="360"></head><body><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: 'sourceforge.net',cType: 'managed',cRay: '95d28e651030f60f',cH: 'ZDWYiAUJD4dE.D1MmUseAhBu2rETIB.IxeRXzb2ByNM-1752176671-1.2.1.1-ug3JsFwugJQcv7hHoi8szEJJV2a1ExRK9cnZkeCnvd.Ve8_rNnnBU0sF8B7WVSAW',cUPMDTk:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/credits1.tex?__cf_chl_tk=g7ssaH0JvVcRl.CaCsegNQWq7ywYdybzAb0DZboQ4xc-1752176671-1.0.1.1-aHzmmbbGgO3US26556v7vMHqkudFeKmeLSCnjoEd7Nk",cFPWv: 'b',cITimeS: '1752176671',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/credits1.tex?__cf_chl_f_tk=g7ssaH0JvVcRl.CaCsegNQWq7ywYdybzAb0DZboQ4xc-1752176671-1.0.1.1-aHzmmbbGgO3US26556v7vMHqkudFeKmeLSCnjoEd7Nk",md: 'fDK37ZtnWmEJn.3xaVuzDXdCgedZnkdeNmF40moebtQ-1752176671-1.2.1.1-yXqWPKCZq5pZ_BYS9el0E8SkAMv8KINdCLGl3To1rvDVwd9zSpymtBjEz9Zp9DLdPbRyJanrka7K1zq6N.hQEfxAFJL2NAkNqSRyAjwhIMJZRUySDn5dfI4zfg137mrBRq.McG17MPfLnBPRvUnHQ8bjTx7TMZsQ5QsW5sMBlP3e7gQerkIAk78gyWQkpildeadzrTRt7QZWZ3on9P5yfCwNqqVG7HGadEq7lxOggE.6muz0wDIDUgDYSytutH5npbj7hUPve.qZe4WLyiwQEzYsPbHI9.0vvQ0_TwaxkCpAuQ7kUCKOTUrbqnlEIPdVOt9BTCk_cfYFWh0KIVML5mqlO51SV74xDGHnyUBOkT8h801ndYe5raeKXL0PGjvd0t2p6dws4xVlST_09PEaxi5l7xjHGb_gU_gCBQljJ28ejS7Foh1FbdG6_9sW8s4BWqO7_VXut5axCWvWBqY.bSoM3sfEGhRcrQnIYZ0U7LoQPg3.kxAHXDARya4srQsNt1.l.vytftVT74LWjlT5HKuGIZsi68ZFlGvX.IYEteKtnnAfTWChxfhjQr3ju74RXXhJmrvYKPyQ7xYqNj7vqQg.O6te8_W7724I7sShQK5ELyXWcPVR2.MXJfeNHjQBX2OCe.AHPNjgRRZ5sWz5Reakho0qoS_M28c.8dmdnWTLYHBxaUGTGm.klrRjvjkmNpz5JijQT5YA8EUl9i354Cbz.P6D2Bi91B3nSnQb7OYNFzE_wRMiDsYypdZadaV.HDYluPENuRjcLVEDwgPeQ9RSXh.b25LwyyWz3t3Pt.savrJWSDS5zhKl_JpPk9jtTh8S1nfK7aOvjgKhECKwP8g8dYjA56MB8oOd5c3efWxcGVer6hAXzCYtmmQP.6r1kHlN39fD0vaHddNN1Ie7Rz5e8pvWtebogBnPn3kjuFTAMpfpwC1wVEh8NZRWPSmmDHD5CeWwGsztAWnFc11XsDtpVQrAa6ilpZRh9npT2QOYzus2Z2.egfK8N90BoiSo',mdrd: 'VjzkjqgZ7zC61rTYTOGSteTS2GIanXCDSp.SGPRqgYI-1752176671-1.2.1.1-A1Puuoc994D5K2XI9vdoruX8l21QUQsH8E.TJVLC3O0lNbE_p9MCx6BIlCDBT3Z_ZNln.74pg8wUYMTmBwrPgLUFDVg6ig.h2pKbNpFEHYUm5KW8MUSCtFlDCwJt4ze55c._R2w0SbgzpQHdWaomRySnBJKlG5mdm.nM32amaNhWGtD43_XIuSu0Kxb3pzsqbbwPIjmGWjh1jBOxH0WUll1Xy.MLvRgVRi4pN5do4lUzKfNlubqoM996rgkcbWX5_i_Q5POMwB8ipWDZX4jNBk0iLorcqkM6ogtQcWCdNGpTEIgTCjJlZgdGC88wSa6INVt7IOkFypzY3Xkb4gqRAgALOllq_Bc9NmXoBlKbkuEukz8eYf96H5GsQgQs4GpnVU_In1jQdBeLjdBQJkRjTillUt_qp7z1bM2vSY.RMvjT5xYKlCCrvMGGIm7SiSGZ37qzsYhKUNWthE5CAtPs.5UAu_.IkO9l1POCkVJFe0k4wrUxtl5ESHkFfix6trcvkPJ9c4n0WRqGN.zWgJIYWJwshfSdgM6caJXCeT.2Op4Hmjymtf3TWFU0SSzah7CoZvZBGHH1uMbfOPtZ8QfoMe74vhPx4eA.mN8zlMCSXACWu4yOgKFiHAyUNXORcT_9is0DGpRfUmB2bHq1XpnKheHvpBd5vOV8c8n.9bM5OTkpOHgToqzwgrIoW4fzXLfI22wKwPIJokWM2UZPDuM9SsVvvzpXNT0MSG_AKzHqwQZg9PtVpYyRhbdGdjszp6vnJUzKoLOoPufkpomK291gMqZTD0erfTBHaS14pypAl3UyEYdRwZJf4FDwLnO2v4ByvgcQcsAC219b182GAFCxJ20ZE3w0S0dRgbipc_g2bzgcPJsZ_3xgToxQTF5KM3DLt1cyiOLD.LTrWRNZ.o5OPRcR3SnpwdvT1jv49MBI7g2.rmsmr4DBjWxxvLDqzez.PXBuXsxHBzHxr_8W_oJD_YdA4bb.wvzfKuheI15I47cl8fSdk4JkpOLVXnyr37yBLt1b67JlXNB_sFwEj_.D_6Qyl_4N6dbJcYR2Fn0fzUPmuCcATjrSMTS2piGZMhhyMKilLjU3tNBQjNLnVoEeNPpxIJsy5P.0_Xd3TdMpvFc5VcHCEhmFpL8W3zop7NfAxeqxflbyho25qVYmeeoZzH8EnOuhoM7AStLn.uWLdCAg7sf8znFL.XtKccC2AXifvmG0C4SKX1m9G3VIBPZYRKWrC6NuictImp5FBD5LuZ6IMXJMoDZCcIh3s8P6qg7k.CvM5nBc5yFZ_KujjIBzuFbyH0ZhEZjFN5QeNh3CebJ7MiaIzFzP0fdUqrUZrXBW1EQGckGjG2Vp20E9TvgSCczNorYbsC663ICmS2j8bWkqeifi9Im.11o9jg2QKBuGvX7prC2Xdc4HtPXRpg7913euYRkxpkzmXIhaDaw83FiNsrspvxZ4LZvQyHXO.CSGFxcuS8sE0n_QtYhsNJwQ0vTVNSvKOXiJTK_UfcJtEAkEp.GecycjSzAlRECTxer8fwPkVK7HDR.W9iO8ImYx8wck0.59t3pU28NupbwIfwb3zu.Wk9r4mzGSlxsUgCsqOCGkDnVoahMHrXgNV9cjzLNUUPqFrVFZeGVwlpwRZrFZBGIJHDXZb1WdWxOSr2FOULXZFBw1UWK9c8EIQU0HzppCXgn2LUEPdQpae2KDFb29DPKok385QiG3Pne_O094ew8G8dqFKS5JAckXjx5hWPdKCoGf3YNfdHK9ZwVW4xQewGM.EEBoHVCxyt.h_7Y3.Rt31vTq89jl9NaZz.9l_M_jthKcaw2voqN6F27rYRJBB.x7ovn36WdGWrjrXDeo.R2EGko1FIjKjDiiMyhsXmUJxSlP_DjBVM.s2i7dUKJhUsbOSLf9X5yprF5LEX6CN_NytcXjhzEGVy0iIKV8WNhTojJt2ZcMffCU5L3bnP14v55AyIM0v1la6vovAtbzq7_hr6ZMTCI5mB8tH6z9kwxxp4l6xDswWVq5xzhLwI6P3e6oiZfbtVEGQxHRH8lRq_V.hLh8rxj4nNh_j1Nrdt84G9_3Enio72mHu_B8BojUMIpS6XEHwe13rbZpstTLrL4QaYxuC8tY0a29a9KbWUQ2tP8sM4u2HUeEfK9axrThi9qAym8v3pbRbywevIZr4fvj6DQrcP0_I3xx5toaejnf7R6PRU6nPiQuO.ktsZVVfXsojIbrtuVRkykFW4Q4KGeGoLVLADBiLJ2409qs0i8v7XhbucMU1t564bYzKdzYIsF.MYPA9PQgY7b1u9mAMTqa3Kcde2fqxM6UGQ293xeWuwqHPbrA3KR0Ut7Q8ytIaDALEJHPl2sucIbEY1cSI.zB9bIjFuZBT7jJi2nGo8aLyH82c3DVr7dzyyfapbGBXhAZI1We07_8f10Xrk8L22txrwaTfaII.pAebDfdiCug.rL8ZUkhtj8uUZ0y6ZuJlBQyXVLo9.htpXxPnLEe3_YOQHtMQJclV6VhJ7sQl3zwhjDzVWMlnrySqon8UqTVy9CAmMQpY6lNP6BwddUoEaxovsTgDqyS4sZtj96pizVYtoCUsH_gyVZFTxD9vfLYyiQL8ZxKsFyT0RHLj0ywU2tla9WUrbCiPAn5vzW.iA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d28e651030f60f';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,"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/credits1.tex?__cf_chl_rt_tk=g7ssaH0JvVcRl.CaCsegNQWq7ywYdybzAb0DZboQ4xc-1752176671-1.0.1.1-aHzmmbbGgO3US26556v7vMHqkudFeKmeLSCnjoEd7Nk"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>