<!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: '95e0c39bd35beafc',cH: 'Z_rOpzjIifnM7JxDkRh3ewR71EvKbK_FYdtXkud13vI-1752325651-1.2.1.1-GS.K4Ec9oT1tgmZfNx5G_hwmMvnd6Rk5twDlp0th8F.SVyhlmtOy07l3SvBc4S_d',cUPMDTk:"\/p\/xsb\/src\/1842\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_tk=6LDB4QKNUQWvovT3cn5d19d1JwyRowtegnFqPcz.gAk-1752325651-1.0.1.1-k6UYYpI4Y.WAG1iKR9g8Z9ra_LyLzXyY1nZnWsleLxA",cFPWv: 'g',cITimeS: '1752325651',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/1842\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_f_tk=6LDB4QKNUQWvovT3cn5d19d1JwyRowtegnFqPcz.gAk-1752325651-1.0.1.1-k6UYYpI4Y.WAG1iKR9g8Z9ra_LyLzXyY1nZnWsleLxA",md: '_18ptDfVH5JbNTib2EhZCXZAYKMTYQXbR1.QbobeXWk-1752325651-1.2.1.1-IDXlT_QZsvB9rdvgjb_.Xia.e9Jb5K.V2PRDJQ8Cn_jbWYbf4sKLSvJxoNTaS11HPV06mmdSQoYNpcW3x11GeTg59RXGObIMqPCbMaeq2Ip.9JxZNIckSmZMxJhnj8rc7657Se2ZM0wKz2wGnL6XNtKQpku_4BkfYWqRb3yxsV362kkbatIWV66CosrkohlM12IJ49Gs1huYlOv7s_fxQOz8nOhjwGk3..ER8VyrXrC7TTDEpixkCyf2M8oDL5kU6YWES4yG2bSx0qMWUOn0Unx0uSvwlTdzFXWGCnev5.x1YcwJfHLMyjY8XKId2g38DbyaAGIxacLuwgvz.qReF29sN.MZh_OJgigFO60d1HBYUP5r4INzV4vCHxAdM9iaTD5I.iRITwY.pDo_6HsE.QWAElqqesjVHT0At3vX9fiG9YwQjotdpnnvrKT.gPwmQ.FncSmTwa1Q5.Ru6NyuAJwdFjKoVHtXIYfTOfD_FTDfo.EQXXcRxwk9r5Mk_0hRUo_eKIrblLhfT1njUM6yoQ7.ktLTbisXjDRSmo8q_jDiSlnMll5gwz3n9x8Ot6KnODbcRv.XTqvGEAOvmSoRtm0qTezjxWlFcGZjR_MEE5v8L5VCUoRxDUbDG5mToP8V1TIjN2tOX6nI3PY1_xIIE9WgmSLkHx6x5j5W6.ofQ8sFy2chW8naOHJBuWPigMk.U4zl5wwLmzE.djl_araK2wxt8CHwHbIgrWT43snI0YKsSukkLZ2f22ZR0BAbNV0Wx_wjSJ5mVJFUAMROSqaHBbKc5LDJBVFrvtcMl.4JEaXb9B29K.d2Esz6RMGG4G0dr3wfu6kwfc5Fg230oK3bPy9xnH6UV5Kt6CzouwsfuZ53JOSxdNjq7mtsvaPY2V16XBAoja4uZZiT480dC._rnOe.ifChrMN.bUBaOzpJS_2pUg_xKLx9qWz9OkE_5d0rf38SiyMggx7Br5.14LI3P3b5uEWoY3lXaNspVSicZxU',mdrd: 'DsGVdu1gx85RuM970GLbO78e8aMPNzW_9pn2MzoojZg-1752325651-1.2.1.1-5VTsJxbnRWG8AI3muMrXLo02JU3eh9B7CVgJNZe.y9j_d3DBKMW8Wm6Q_kp3DlrTPNa1X2fJvrvXm1kIYKlFoWXONpsZOCXvxhIYAcIM6Ytk5_7rynIyX4iTuaYSmwORoLDtDva7Ac7D56lTk_wM.hRTG87xoJoBoQMXb1sXxpzmcmqcGLL49S1WunALe7Yr3bkdVVdbfE5pPbBuDM2GKmmBMQbVB65T.rQlBh2ypjtAcrM4ZhTVzxY7FAAY5B8XPipEu3on0axOpsJZkkwehN5Q91jCBqt.QiB7KM_8EXxW0JdUz.4JBe4Ox.pR4dbJw4Jwod7lXo3.R9VTF3hCYfqw8SIFEDM.3mV6Suuq1XwZka.3tZ1c5MaNLk37vyHczfFJ_U2_ouSuhQFz15QNVUZbRFxBW7.gpKmMurYsUEi4mpXv3xGvsZo1MV2SVHFL2dEluWEDF4oLtA.oLoW1A9XQnUQ9pvhiR.U4pHjVlYamDINhBfg_5c.V6kzNWUCyUrFgXvW1ejbUzqtsfL5FqNx4Jw2mNKDr4oNHDZOWj9wOZ63ye5tz9SVzSb14BZ8U1ucotMqXEYoWLviPXoOFqEuf23bS6QpsLruzKN.bOWtMTQPNraoS_5bRUucNVCWmztDM..bvUnmLyq9IuJYiBZE0I0FFcEI.L79UVQEOgmjm4Gcy9RmO_Yqr5dlt8b7RetbbKACTcGuv7y_dQA4GNL14WxaN1BvXDQwrzdrz9hhZPKwZOvbxmXJtMoOcjgtumY7qPmm4YFSH.p4i5PdoloAtJNf1MkqBppavBmCmmM6U3u5ZbQzh9nHnCJfFGSuMeTi_V.SpNS7Fnubai1CU.j4nDEPQc0NHHhSYz6RyMvGYRMun7IHazFdR0LFj8Btl3sRsqUuU1eb1.VPcwzeYaJXyEb2BcIk3.AEPZBtFGt2UrD8ejUwSUqz5aqRqawemF9bdOja4SFHtFCfVlEpvGdhPWKQubpvtpiCR.Xq0LKas6zudBUT15Egs2Ensd.n7ZKUUXf1xS0aaUAwLxm_uZ8BQ3_u_nO88eCWMADC1SDUYUiIVU.MmBsoHMfX_sw5Aeuftskh50PDwTB.VQY6lqPnh_gLCeJ3CIJoLcF66L6O1bne5nt0bZQVtgfA8zQn7TDFAJvuUtV0fpNSlHtARGf5gankgUzRmB7EjdCUDWOimi8KCvdz_zAdWjTnGwVi6W_0fh4ykeXAwLcsXDYGgMSULgq3N0154L2hKjXtGbXhwbpv3.uBCdGO1tC282MX7M675fL6h92wN6BnMR2o0eMyFxttVADr7hot77nMJ4OThI3Zacgqtcq.UzaCcuX2hhom1Zp0C7gh7r5T38OpTWNrcVXpfHkVEMR9DlHlgNLHnQVD9Y0Agx9QdR8JW2..woPSoOd9Fz7pAwrAl_ltwzjnVHh63YXG7aroReywPbfZ9SiZ8AoUNCCtu96d35SFQJ.7diC3VHOT2passbbSIeAhfRF0TYP.jOSTSWKyAwtYIBQNArOJDlLdQzHcj_2vI6ElW2Yxi_iIB0xRZBuvhqUleEThozdYrkv.vnTSIV59VsGDPtah1QDddlzuc7mZn3GVPFMnbcSHJu.mDKd5VWOv4zoLP9GOgvaaqnEUB_bgx5kVR9LFjhOuHlb4p.9QLy0ow7Ixxp6IzGZ8.K4RXIxV_yj9Z0JlTL2ybDWnaNGAE.Ro54Gvr4HuuX1fyGLi7v87SxjVfT.XFgJofQJwcYU0gMirwOTVgkKABxc59SL8kcC1eJKAtk9dogU1S6cFW0adGJKrXYY2w70rIqU4.XR9f1OVL9R_CsXkERmxPWHRSkuXLqlezAP0Tbh09lxuSayu5BGIFs77weVV3hdGdiKUsGhFBDcWlaCWPYbAAUIcoVsUK8gCm4D.8bK3gn3Y_N2FczXwwMJm8P7ok2gdkWFvxPs.fuUM1HIB16QzreWHSQMGraSVu5.7JhD0xB_rLS2y_2.GZm5.c2AiePfkTdwPa_5hbr9zGKM1EBmHbH6NDin4CseSuFWiqosi69ywROSWLVn1H1mPW5K4mGhoOzFtY3wq2Px9NraZjaWkHhevQC9Mi3hkhgRzhwMf9K52eD9CSi__xtzCKCq2Jbt0sDU5.Qq05be03.xKVppWA_..pt06MTnY3T9F61qxmquZ4oCYbGpGpSWbxfBDFtnWe.TRGvlFmCEkALEFO47XhmHPen9L8v5EU6wIIBeg9RukCToDrn5cxhKvVdDjUBdcIHIBnHmVMu2ecibIoCmsjRsBghUkrJxD_kWrV29PKVxj1kmM5Jm8HBZXf6e8EVwiHL6t_.9zp7kIgf71zKgjdun0yzZYCTCFy96WLMt1obPbFD3DWdL0WJzP3dNECpwfjVhj5_bC_zNJdtzIQ7Pq16ULaNU1W72UkISuFB6t17a5P2Duvaq3zV1ONuGuyK9OUtNvUpVMSLIkJY9SJxEM2FmnKdl8UNqGnQMiktDa_0hRHgrYQlhfA09gIeGT38qFsICMTCekvr6MsYcaNQigljVCDfDHks77ryslV.EXURZM.bQ0oNQ_H0j.HWPZI7kZ5vX86n3Cyl3e1vPshEDI3mbhMEOl_yn0kj2E3zjJs.6uYLrjsDeNVLoDhJxdNMEBL2Q',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0c39bd35beafc';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\/1842\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_rt_tk=6LDB4QKNUQWvovT3cn5d19d1JwyRowtegnFqPcz.gAk-1752325651-1.0.1.1-k6UYYpI4Y.WAG1iKR9g8Z9ra_LyLzXyY1nZnWsleLxA"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>