<!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: '95d26e3583c9b8f3',cH: 'I_apuvGIdiODzWkidzR_zVaHdeWVjYKix9Nc_SKNs2M-1752175353-1.2.1.1-5eGgXicsPIdXywxF9xweJ4QAH_1qlQqSJyKigW.32fgFadBHUG3xVdBWBafKvShk',cUPMDTk:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=cOSQVzQDfW6SIMCoogV7pdTIVW5bee3RppiY46gNw34-1752175353-1.0.1.1-I8I7hJUeaLY.dtSJms1xoO7nW6O2yoiQ.5hiKI_PIC4",cFPWv: 'b',cITimeS: '1752175353',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=cOSQVzQDfW6SIMCoogV7pdTIVW5bee3RppiY46gNw34-1752175353-1.0.1.1-I8I7hJUeaLY.dtSJms1xoO7nW6O2yoiQ.5hiKI_PIC4",md: '3GUuKAU.dQZHmHmHHqHDkA7J_94cclQYe3plenuirv8-1752175353-1.2.1.1-Zt5b2kuBr.Sl3PLsBoUSdvsg7.tI56qxPhShuZFnrCsyPJUVS2ixSrRFS88LCaAZwrCvPQie9TEqHYs6LlE_Bo0Rp9mZn7N5d8_Z7SlaS6zwtqtjt6Og0ZwjqcccNkiecHRTgHGpdZcAuQv6uA5H76anHMhFCVubadHw5qee22lV4_4x08k8a3rXi7UGOD8fgUjonLQs030pi4tzYLzey3o5JHwkr36WbkidEDbai0lA8b3XEKiEUwUtFZ0MPDCHI_MF740wJfyidF27IZt1H.z_VvNEIbj0Jbef7hZZdwZ0XOdcSBMpFAcpmAXCX44O.PHxVR5jUkVVlFpdFrI7DEAXxP8F2MHNajKtdiBFfsbX6G3Dm1L21BdrjJ4tALfAP1hVH9eQ6rv6YijEN2O1NjjyDLVCkXXLrxfGTSUT1VeAAAqgTliPS.s9vq0QTOjkck09vgxrHqfCjOazMUr9qfK1i4vWD4kOrEmoyNgznnokYrx7PR4qeAi.V2OsMI85a_dit0ez6Ns0HTEq0B7xbgDYXimKxUZADEk2Hia0fSkF.TEp61JN5WBbKsW7uX.4X7RW35vas7JfTyYeXxkHzTGVMLHIxMXhfHhgD2yafP2MFyFiOhTi7P0BSETuDO86WGO2IgC2Ss3qa7kRBGYEeceiZpCRD5R.p8S3_kR0JvP.hby5LJ9REnkkJB24WwOE8AMDL0Xvh6ivIN6ZjIeow6SIsXX0K1t4E71ygCTXSwc6WD3iMpUBBRHdK7_.rXPIJqDyKkeY59WsCYSMmmFz6bTXnvZdfMVVLRYhLzPxcKcN9LfxaTW1v6SkzS5yjjO.3Evwdn2JpUsGY8EHLAoRfxI2ZhjNxxDRxfx1MUYXLldDqqohLzRRZMlhLkPrJVCZ3eJUNwHyL9MsdD_zOwstnrML2Ej1mwzx5VAjYtcOcjec7MwZ6kp92sjESEq56Q7aAOWfdwASIP_.ZzEgWs7ctHr41rA672ZTGxR6wlobFeY',mdrd: 'UGsY6glL1QPRgU3qvtZ5HnvY_3Jw8MuWFgI.0bGkVZI-1752175353-1.2.1.1-6fV9wgD2cwvmGog_GiRoTaHwFMLeTpHEaTesBxosokdKqm8ps.itqKAz1r8NEZWPNflqFQ_0_KIgOHgg9BIf0XY5JcKdMikyQkFxhtF0BADPBnfQvY0xc10wl3QciHkiWAnS7z2BDUV8swtrNZXhX73Ig2D1dKFt3YqnaHvSp35iOg0GEk58D7sGj2gNReCSMCyo4BoUNE_T6qm__w8brwtF29wgJcaz1Ja9lNuL9EaDFFaTO9GZPci7Cdi5__tnB6xShbCmRqxp2SeQT_RDX_qXkoXkvWnA890Lsx_fSl29tWUu5.lFytTvP8mb3lAFXlPwsw6IV7fZRA0auWLtfh7cgTVq7KEtxh2Xx7C4hkzazqSRtc6PGs7CCHEcVO.bjbvYyXw.s3dhAN.2AFwmoIlJVA6ujGFUixVU4rz2dYRVMnZNpUT1yVPX2cfqkup9mRv7a2VuqHVdDqeebmnROu2P0zikUZatEQof9FUGDbgBYW4RgM_2.MpmCXVe55fwUPU8ctx.Uhvp0iBtKCXGabKEfv1v6YOV7OxSBAZD_aUuVwlgP33zGNoRIgM53cqEFk9VGHb_xgLlWQnURe6XxXCaSHKxqh2ANFbmhhfBucJd4RfVhu_IHaD5M1Xj28G_hjsfIscNJ7cMbLTKG2eEqD.tcfbiEDMNMtZ__9Kk1BSOk9MzWtd3hvVtUyunAzgsPsc7cJhFk2aBg8tQEF8.GlZka6nNS2TeNXhWk8Bx6tdkrgze5AIA1bhCyUKrM3r27YRLJaN.Fz1CXlQ0XUx5MNH101fXnSFB.Cj09143mOkKPznpKSRsvgBCxLR0W1bG88AhqJXvzT2p9OzJPNYUe0inNbJm5MaGJzsjTb2Z4zpZ.5SaZWPJDIHHBCd7gWjdU0KzXMIe4Hx2hvTT9PxetW8is8rJ3P5MNl02lrTGSGgzQUiLwVu1JFtLHHcbwBCtCkZka3CHFkqj.AI1Tu7yFyS8ylMyLySKTmQuAuyVCCOHmJ9kZFIcO4iOM1kDrJiMlKWPuuvaTTENGQltbO9Z_c.uvlJx0vzACYO21o1nzlcqnjzo8Rxwg24ymiPc7NtIyvQJjchgRBysKQTiTfhz6wdJaq4RTkUIsA3bP2ywPD36MEauCv_lQ31eyud_r1zB1AlJqmW9aqzT2tJ81qPNWBNjR7Ct9ysl_ovVxGqD4.56Fa6H5SGdrxAn7PYfJHk5DQCeGrWRwmRWv2PX0_vy7r6.YxBCMy5npFMDmZMN287dVYRF5p8sQwInEufdQXoqZ.R3LW.239vq_V3zzZkjXtjOfOBIo_T.ZtETCKiXYGNvTa04vK6bwKO1Q4giLF15zLtzrKc.QKfMnrId.gSJSfUMTdyDWzeu3MAGFFBbH9jjabvaaH.irXBnlL2rXj93PZ8_ByFNOshInLvux2OB.JJ_b4gBuVJ9HpAu6eZzY6N6GC0cuiqe9sSxbLPNbzAgRk7l9YyeYTelLnNh1_saX5eMGgN1hS9PwKv3jJnT_dFWCfu1sw21CHQ_jShwG0v.Qt2MgGaSIzZqRwx.SNGKhnfSSCgawFjELG3XZJosA8KsB8_.4vakkdadRiiOcw8IK6kUIj5r6P2L_XWPujyPYqSN6wVPUZVDNtNMihI_6qBPj5W26t1Hkwu0sJN3bDYV.7w4LDIX9bpeQDZZGRKUf97p1R7KZY3LhALkuaSyFIC4E7mxPpNDiX_z.aoGHdvlgKad53J_ML8d_PsZQtyuWJZOoS1bcetrXB9zFrxO5cTrg2uVkInVhQsq57TfdptTp0haS4qEz6my37PLRfaYANOAzLb9eJll_pII5oSlMdpegmc6HBwDME2NX_8CzAZLEWcaL__dVrcEKEAtdVBnjxNlIWwulyzVinCHUe0esYC5odPz_9VeTEEamc.vavPtFeaUzuGjBjXFZQTCd4fA7N.oQC1GgAGHlk0Pi16qu9dUPLQZVUp7vD85xAg6EhS8Ga_HudjwQezC1tcX.piQIX7LzOenj7_sFyCGpCVo6DM2CaUa2iYEfftnHCHxiO8wbjZcbJOGtM.62YcAaN0UVtHoncPpN1xNs.zdbHVmYq1t6zkCU_EEaixp40mA1viQO3fpqXZVgBUzkQbmEWX0N5b1v6fW.G2ZK9Oo4Py0wCv9frC9ivvSqh7WIn7fpyJcC6OFYIcvW4fjhmM.VpM_snuGZvVjrLC4IqF2gi.MiU.5i6tgWSw5cyhuwmZ.98UM1vw4cVl1pbFLT.7YI3m2oBbjNIv66EifAhCYMCPiPLhhNBJ_ZxQcpdXattX.17XxBFMdl4Kmup.lWjXbNFMbX3i1l4YxLvRQFuY6KxnnTD.D26pZxzI95wx9bzApYUMBx1zjDiAzUHRG.bX_F6XQ5ELcupB1QfNFKeGxPdWVlpYWGW0TTummZSbRI6jQVRZcRn.wY5M1gcd9UHjGm4Cxy8joM8nw2l1Um6oXZ2iJjaeJPbE_p4zIfhTi1p4u8I4n8l3yiKL1CWAfKOvapxwuD4Fi9QijPecQ2I8wzdWq7tKq.7LE0eTkMic.UKSprRXttKLZl1I.LkFBj4.vsfl6VImjI3mqQNRrWxR.Mlh03HGSgvvYEKxFgaC9A2tFPMvr5l0R3AQq6cWV_b2Eh6M.hA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d26e3583c9b8f3';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\/manual1.tex?__cf_chl_rt_tk=cOSQVzQDfW6SIMCoogV7pdTIVW5bee3RppiY46gNw34-1752175353-1.0.1.1-I8I7hJUeaLY.dtSJms1xoO7nW6O2yoiQ.5hiKI_PIC4"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>