<!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: '960c5edbf58aab54',cH: 'YU5ySX6PvW.8kbQWgfrvHtBAKgB_D2WQ5F2XahW22Ls-1752782898-1.2.1.1-jOj6IGxAZ9K5B1WmcYYqCPPXZE_DckPy8sF.JvMh7D5C9FUZRQGuMIUQMldZIzj7',cUPMDTk:"\/p\/xsb\/src\/216\/tree\/\/trunk\/XSB\/docs\/userman\/manual.tex?__cf_chl_tk=1TyRcew91ko0TY8.rlm8.4rdLYmXJdtt6_fm52bBnFs-1752782898-1.0.1.1-hmGtqE1JYHE5Z4gNJ1oN6a5wuItvIGLp07DlZ2oMn5o",cFPWv: 'b',cITimeS: '1752782898',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/216\/tree\/\/trunk\/XSB\/docs\/userman\/manual.tex?__cf_chl_f_tk=1TyRcew91ko0TY8.rlm8.4rdLYmXJdtt6_fm52bBnFs-1752782898-1.0.1.1-hmGtqE1JYHE5Z4gNJ1oN6a5wuItvIGLp07DlZ2oMn5o",md: 'i5wMuGEyv37T0obZWprZvzVfioaZdbRUR7dk6boeeH8-1752782898-1.2.1.1-AM6LKNQ.eNMnegeO77s8Wt.gxHPUEn.yYNGfe_t3slPaAdZ9jxET56n1hpFVkvR3x3objV5B1IlI24VJMVq.FSsoXGQoiRqYIxt33c6seSDFlELiOlgqIVIdPT33KRjioy5OXWEeHG1jy9QaBw6zvC9lFYO3LAJNM6ziNGS.gdCiDKUPRTk4dxBl2EgG7Qm0pZcr0.zP_CA4oXZKz5lIqzf111JSk9JWbxGtO4OxLi2lHFSQGfb5JiYVeHaqKzbIMz2iw9.yrHmjzSJVzv9aPpzMNEWAGB7wQzJXI8UOYVtEifAtLihY0lKFVK7imRcLdVSvDNDQKQVDV6NI1NEgG7V66E5bl9nklyM7EWwwhpcVh50sQc3eADzshCV3m516gUf8EhEkKxpSPYs0SiN8ZJPiMhQebiutFzJh8AOY.RYM.qnhLhiz29hGyCQng_iwEpIxfEwQiiJgNedJCkawqmisB6Ji_wRq3GhijQb8m1.G_CcD8uSTtAFuArkp.36Zilzr9xBzR9spVHoolhZ6g.J3uZ0CeZOCVjt4HgIt9ldQQIMlFEMJQLQMVcV79dWZecynpjo4cUgozktdvGDuZt.iJAJ45YicWRFvi2QtPpXYMXBXN7K5bJmQFpxsx19aaidbLdjOeQfaYuEiWHs8CuWdgMMcy8PupdF2emZa6gmEvvdmcsAX5tJh4Dou7zVSio1dqTcJNyNcVuaQY.fMipG0UbBoWtoOngSljLnBtro8bkg7zr7ardqi6P5TOnazr.nDboS05tYa.SQ_KwqMEaA9M38_9sL5MjuYpxrscxuS0Hylj7Tc7reOBrZR93Wu_vAPL4i.5QyYSEgFBzdsoXGOCI0mUqAjX40l45M9k802c2mh14CKzwTVCkerCldU.fMRTUL08cy0e0KgfiFh.NFn509dNU2Hlb4gR8ZWmRi.2pLMol417D_8caPHK5ArEe8_xPKVeiwaOA3sH5UMCZxNNFArR4Ewg6Xmai8Krmg',mdrd: 'QODe.YgS083DCT09FbnugiSEEK3jM7F5HWAL56eCypw-1752782898-1.2.1.1-_mb9WKfaM7Vz1PHvxT0xQBKwAPrYg2G4..ZhUxl6Fsaic7SIhnxGK3EkYvIUCdwbnBsA9nbPn4wmX97vZli6s1tpg8uKtesWGcar7LctG.C1_22TTf6S0fcfuKsBu4p5VNauCB5CI7Z28wi.TM1YTa4WP.OINX4Y135NkoOQRSS64CgY_DNJwS6vhyBBgUc8mRpSY3M1tB23JrwzVjywP1KK2njzGNG2SglWG39D.uOcsKCclgi9N6aK6RrNCyhc.S2L7Qi8Wgyi8XihcxsOW0OJXQbSYtnNkG6SsedWNoYcfnHanDuqyiNEdaB2TSBb30Pnvw3ViHHV9h6pKgJeXSqSD_NM8UqO7fUeJR0iNrAZ5arL08KCktiHxBewBiLRif8DACkY.rv1eBRSHMVAa.ENdSHh26hK42.PxxhbQdNfec6TbTcE71KtLQgYHpLfV6JEhFNHHPx73Z.3meP8800lkRjUIizzvazY6YpdMPDhnNhMFJY1J6dv6L4Bj0TygMxCwtjHVFmcfCVSadUQSkKxxKKw0M9IO9SzcXa9JIKULGCQS4yC2IVHzy2KAjxJ3GltH0VERriHQfwNiGPzhg4CNrHXpTe9NgbKPHSRsOGfJCLUjD39a4P4VFA7TvQVg9j4L4XVQ66YdiohTzOPF3vUKFe8t8nAA1GQCGf6QEx9WucllZHC9wd.r5ZVJvIJNFTP2k0yBLRMt.2jbnd_ndK8pNZsuDZnaRxEgiik6cZF1uLpbiWTZnuX1fBiJZPx59muoJp2ArZVC0VkiBb4yqgCXat1QFffYhhkPg8BmqwN31HSPEuy9XDphYvcQ2bc.mq4FrMifUc8TrEUQ4f3mJliR..ZtIUfXKY5d6kq0xqu.Ld.yffCDW9kt24Beex_YibWk2rwvF2fi9s9C7cDekSvBL.eUNi7H9tAddjY2Vs0tsQvZhvtp02Jp5rD.HvQn2gSdZp3n4NB_wAYEYZUFQ7lZhdwhhgC5eSmwnRDfUTTCxdj2wAV18a5_hcfmt63H0ly_BvMcexYtHUpU3iQq4C8KW.snKyRmi0JsfA0mJnRP9jMydMMdhNQR_utHfkY_i_F.U4s_OoasUKuCLJqASbMQdOd_oHUeY_3wmZ7UT29jJSq5Ttfs4VIzi1exm.PdjsStpt3YdxjhC2dFMyzKwo33QjcSBqqZocsU3eiEObfYgIZaJgtiFcBIPAkfDOjoRyg8XggiemPyi_o9trs5cJMlpfJuzd.Fhfowb2mOSfw5dGWbKvWWRcZx6QhlIhMPyULhR.syFeG5y4ewYYJxpONXUanmxrUWPvOoG1pC6amW2lbBARJS5QsNL3eQUSntdKXwDwOuTJejxSqW7Ubvf.S48Z7DxBFsVUzyRfTVSTxABF9b_KkpDz90m9SDmFCXRCZAZF1gX.IFHhAOT_pdM0SgXLGmZNf9MgMEKmidr62Flbwr5.wb395Bmw92Z6fBw0fFhZ9NkptTuoqkmp_.c05LB8FI2r0j8DF0y5BGbi3H4PdotTYh3MqYnPsKkkjXfmKxzbm3il.1PhvPjLvdgI2_oLK50oMO4UbvtwA2ofvn8Z315N7EzrterrHxzjMj8Lslv9qiHwHTGNkDEq8dKeYO0KjwTTxNBeILqW2fzWUi20JQDLb9IFsd6B69IE3om4ibnxWvwtICKJAby6rOW86hLYS7hXqcAQxyLAVkaIQDyTxysbkI6_NjeyJ2.26n9wG5Hg0lkooGQd0BjRBKUNjk.BTJZx90i0PikO18t_jivSoL_QfQmj8wBzpxQBLsr4vhYtYkthl534fZW0Nc8Z8fPYwgrSPoS_NIFrJ95tFmFzDbI8QzxpUl2W9eNCfU346YH7MIqqJhDhayTGOAjdRg8V3LjSXaSZyqxQhdhwUJbHsTYtCR2YtUdjSCtJDzipIMyHWrBNiOLu5Qd.D.SwIe1i3v1CMduM3jx91NuIlbyn.pRdGOBF.2S9ess05MD1fswf27Pf3UVqnjFmH9mQZcb6pqXs0hg0MpXRmHhXpa3uRK2xALavGJeHLT8qrt.BBdaN99kwgyQKEf00gzJlX9knXwm4sdssBUaySFcPvzq8MD9HWS8pZXnZ1GZwQQvqfvkJvlxpg4lz2QG6jJfzvoxVzoUhFTEdV1F2gpUXZtjvz_dcyPxx33OuK30xGXnqosiEbhEvI85jjiosOEnpbbR5fWT.T7fAngJdsXe4QvCyenyh5m_iTQfe_2ktqR.nI1OlIyJTxaxSqBF1fFYr9rRH4yaNqUNEvpfhVY_QjHFUmdrZnGWnsRsMoO1Q8BjRrm5z6MIPv60DOhgRRJ7bABAcuBhnwUF.vHVYGowZTp8Q6_xjEU1WxeHEca1nwxAC4ZpxIvypvUbrwvYUYzs1oJQsHtld9AaqtVKNS.QCOEZWKiWaEknlfv9skRnrk_qkRaCJJqhuiyGJ8.2LHwM0T_KO0VHDDq7VnV6Fk8fwpYXWYOSDxpiEPDD.t8.VJRvkY64PQOghBgh7aH6jHEZDfprgorWZELHLo6EQVuMtPxe4ICRBny.RAAVk1w6hqlri8PyfcI27rvOe8baUuXsk5wRIg6b8cvNi0u.b3E73qjm0kHxOCCRk5h.5NSL52',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960c5edbf58aab54';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\/216\/tree\/\/trunk\/XSB\/docs\/userman\/manual.tex?__cf_chl_rt_tk=1TyRcew91ko0TY8.rlm8.4rdLYmXJdtt6_fm52bBnFs-1752782898-1.0.1.1-hmGtqE1JYHE5Z4gNJ1oN6a5wuItvIGLp07DlZ2oMn5o"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>