<!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: '9619f6d2d5f2b4b8',cH: 'DX8QXAAaG18s7PFSTUIfJju9MIG_Xi1g2xkpWtVtpXY-1752925437-1.2.1.1-ZmRwoTs7P2kwYbp8J8cOcrsLOTXq6XDSho.KA20QCqiR23J0NIlaxCUGyRawwIUm',cUPMDTk:"\/p\/xsb\/src\/401\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=63OT9v0uSCEK0hwTdyx.n3o6.O4eaTm8LoHup_X_mDk-1752925437-1.0.1.1-vH_5MEKRk3s3X6rcLJMaZcDalbttQZOlaP9DMCsPoe0",cFPWv: 'g',cITimeS: '1752925437',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/401\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=63OT9v0uSCEK0hwTdyx.n3o6.O4eaTm8LoHup_X_mDk-1752925437-1.0.1.1-vH_5MEKRk3s3X6rcLJMaZcDalbttQZOlaP9DMCsPoe0",md: 'T.4Kb4GFGPJtrjXmBDQXT3woPJ50uA2M46YMEZstAdI-1752925437-1.2.1.1-H8B.SNV6jYvW1JNkkTpaKrotnrdKDEmwNrT4dJIGzNhX23138OAJ7izerUDFbV4wwlR5fCFTkqHQ8BXh9_8jtqgg5jk2DihsoBylUTds6he105cFDL9HDxKRZn8AjJSPORVjSDYTaKsofKEhPsUsUCZlL41C96ruYkT2M6MDk5i9Jbj7jYwL_1n4TRLdhtvLS0RiJiV4T_JM70nr2fjiiEjqZ.mK5rlJ355l1ozq1r2WmOr3niFfL270ATlfPYQP8KeHEo7sAh4ab6WeFBtSuNIKVBRhAelxvOF63sKAhT3SR0zzbzCY6Pcg6jj1mjgnWfVKw0b4DAhfp3D9dla.MoRaRFJe00WCBE0.VPRbTGYU16esYopC1dD5oAtIzMJv33b71EjcG8T25Qu93EwyaIe8kPlH9__0NgB6QUTv88mW2Eaw6LQ_1i9jP2umRPgEy0jhybViFkgP8CuH7Zl3xjmC35vpflMr.eDsfcwX_eoAKt5G.Q9n8xa9fDLXoCG3q.KtpVUHXbqSgSKq3MOj0Rw7lpV241tm9ZrdVhFJj_hyoIGKGEcNOZuyevqwfEz0NKfJymZFsajMsR3THs_kfZTBvze_Iy8t10ykW0VJyFoeeM2BPtQA1rcgAOBn8YCoHBey_.dIvNY3k2jZuY5229QNwaihO_Pnx2aG9f07nrD7x2sYV7Lr7BJriStFS3gkco2rqSZIETIBULZfm3IVFqZHkxctjIJpk2d83Pgricjjx2Rb36rSnQOa5.W7fyO5cazUVvbZP16I.QhiM.Xlm92DMXow01h2Y5BbM5tNeoPz5dKun0.Xzflk9bzoiutvPDiAOWipVyxNL5P9RVlCjBfE5F_eWay1D_m1QJNo_cmdUYUwG5ndpjJvhoLZAlwmSYVsoRox3cpfccMT4e9vGJRNY9JD.NLWZOThuq5h40rEHMSSpkrGOTKNT1h8Cny8nhOeegVfXtrSydF1v2Vrb3KwHXa6iEtJP21FKAbY.Vw',mdrd: 'CctZad3iuf.i0pUe_LO31kqFvE2O6MulFT143iADAc8-1752925437-1.2.1.1-3pz81dIpqNpc0Ieqx7VkOlnctuvOm94dp9hCDsNjevsF6o4tVfsrmPFytQf7b0Oa9ycAuePFZpUM67ypUMpwlgbB_cihVyhGuAHV.57HwTn1NuBV5GpkOaIKxGTD81AfuTR1sm04j0CXsh8ELuHc35uytl0YmzPnY7G6XXbIykn7zEWD2WMcetNW9ev0klCRcI62nJaNGf1nqfbCnXmHgDou2LLTlmXnN17ZEP9fIPBzujPdawjIuOIAsGCD5G1l8.iIIRrcxcL161xg_O7vTHwabwRMwcoPIf4KnaeEZ_._e.Zx3ZZBXVKC_gyOGqlWucagC7cQhgzhwUvVDwzr4hIPgJr427yOrewrg41fUoiJRP9.TfJTpPicddm6Hq73fbiMx3wqg5kowM6OQepdSodoZICQrxF1kqJQMlA.O3U0r8ZwnOHuDRveZjUzdjNEtEVCUQsgcVtHaiyA3GlWIFEabr22ZCNrZXB.C5.gZJye86dpD03FvxXRReKqJbT.kqZVoYpkXySyotCtXJOZLuyNdGYH1.q7UCyB_HPIpQLqWZFEXH88.tL5XqQny3wDW7QsNx.el2WlpNP98zeWstyFeJjpPQLfXy6vrgnbeSNDpNovhmX5TKb..mHR0tkLi0olVKRBNo3SIZ4u8fvCiwiPXICcS7LMSmxrBLwa95CaDL2aZQ82_Jf1TGV6xH5Gmi1HsPbimjKhAFXRecd_Huj0T9N8XJXgFd9uKescbLjlUM9QkQIUagAs7ELSzosoBXjZPOsmRGsWaMtCFAkFoMDJIibsW0Kd.wYrm5Ueg400dfOrsFTC0zaBIfUvKoaGHueELRIB5Y13OTbV96YiWv5mpTX1bhVd6SM4aIYPZrUogA1eB2O3yGMJju9D_DmH49aW7ApaUvGQDMwMa8w9NrBk5b.Bk5JqNQNniTrcrPE5lzwPpY1mO0JLPsddRTL0O4mLMaG9gl6IAslEeBgbFL7cztocY1YRQpjdmn4LbFM9JEgNlN7u8oDibNHgptGRQtAbhgj4wEYxvPue_ZBtpQZUxFvFHN4vy.3.kxWUwMbqGUIKfky2e_BCeZajePD1Qj6zA_qSkPQoSVR74Wjku2YFaI86d7VSt0oPHDu4N.ju_YCNjEctLFJgLnpm_62EqF.Vmbmvsow5acghFH2F_nor7UYcPQobKzXJxoMgy86xUfA1HWXxW5fAQbI6fEEjiFgUfSana47ZPqr32TtdCD7afplhImE0VOMgwE81OLKVbaMtlMHAfjqFz07DEZYg4IHYTBZkB9..TGBOwZ_.a2AjUC5XYxHrFqJVcrzn_X4YzES2st4NrD_Tsd7kWqkYIqrXZ7UVycfVONFlB5rouVfCWi2HhUv5xfqOTW017cLljdLKoM1k0nm6buWT5_HF_3aDCW3DlSRRa_8629Qt_9e4mCj05TnXRRjJyFhH7AVkNandregKVkN9BrgWzQMB_srvYOTkbZAASgBHoLWqhU2bHWp5MtOsNn5pGjk0UNGOwmgK_X3HqOIzrT0d7GRH9.D5CBLwWEFKEyYTJjEDVWKEYBp.qrzyPw5FxkVDFGqPrBwZ7JpVHpKjsLlZxyrz2GDFWDiUR_A7ZcKp7_hdCwTpQmacVsawvAAqEPc80UeT66ngqV85gKEeoXmCe2Bk7GJw95qZ2Jb0GZ8ERiw.6FWO9dsv1Ho79xdhs9GYoGIh9a1etf13vsxM_wCRyYM4vqDYJ3l9Ie6I1BP9Fs.7KBwNEipYw1Ue_t4aaLi9K8LHPtr6KXNEvxgOVL1ATSkfGgzhEtCA25SZi31uyAD9a5scBcoBU8SW1VVWgmzBumN7GuwNnzE0W1a5TJyGE76mMx_ldzDoHCXb92QyzWkYxVfSsy1UmgPTOQNVCWF9J_SDTUrijnq7UYs4Bb0HqaI7Qjk8tfnKE5foXVmpdwOECt2avMjTYBs2se4NV8ho2cU5X.Jgwq1GjrkY2B.ppbFSxEn7Sxq8cxelIH3A3CUe30iYQ6COlW0daGLK87DppMe_wGXkPD.Ys9K4Mq3aOLqhAhR1qalWfshS8p83nUxwOAttAhKradxmQ_PDPMPNpEIitCO0GEPEf6n.DpRUIZzfr_FkO_VFHGpdsfGlhiEZTAlJWjiUcL_dwM0mP7bF_ixi1LK3JUTAqcWWfCt83cGMNPnAuFrki0e4pxFMdD7LuoipPaGgivI.0OQ0dUABY54BHOo_cLU26K576l1P3EADZ6s1dquMhzNp3Opewzi5Q6iaHLung7iJrIYRfxn4kqhjUe5w0RTsgeaV_8v9jPHxnNWurOBzvxBjcNacQgS_PT38dqc.vtHiiVVWTuSXXyALq7BTVvslvtxWX7ud.xmtO3XDX1Bbgi3A_kifqovzHV6T0hhPGpPLhu0.neUo_g0hcmTd.3yEhNRbFixfHqPiB64TD8HFf.L0HaIDQER62Nwp3dcrLquMGTbTammHZJtN24hWY09WpQwdnAjEgwzAB4ls68ijTwLLXMGerpf.s9RwWAlXZQJkGicx88dLZK264XDOagtZ1yRuuXewy.r8uho863aoI9qO8duFuUQMwGSOTHilmy_TW4AziPdbYwrqFK0yvIA68WlilooZwJjqrGLVde5e1QZ4EytMf7FH6Q',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=9619f6d2d5f2b4b8';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\/401\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=63OT9v0uSCEK0hwTdyx.n3o6.O4eaTm8LoHup_X_mDk-1752925437-1.0.1.1-vH_5MEKRk3s3X6rcLJMaZcDalbttQZOlaP9DMCsPoe0"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>