<!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: '9619fc13229daac6',cH: 'GMGeJ3fbZc8cnlsx7QtxMz_ihMEG0JDeEvIDi8dp6fY-1752925652-1.2.1.1-hgumBPVoR5ZjqsC_B3OrvxNp9vpdkVeOb6FvqXy9wmmhX2_PlLo6GzlHFw5NOJzh',cUPMDTk:"\/p\/xsb\/src\/401\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=zL8krKIAooDz7At5n6Fhr10GKZeoo_4pR42nJzxTVPM-1752925652-1.0.1.1-1d_3_ghrRd.v0FoyFnAmuNjobDtaa2tjiB9_oWwJ5TA",cFPWv: 'g',cITimeS: '1752925652',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/401\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=zL8krKIAooDz7At5n6Fhr10GKZeoo_4pR42nJzxTVPM-1752925652-1.0.1.1-1d_3_ghrRd.v0FoyFnAmuNjobDtaa2tjiB9_oWwJ5TA",md: 'rmQk.ich8erh3jd9ucc.ilywQKMxsKFH9TNPxyZRVzA-1752925652-1.2.1.1-5mQs8rE3du8_UQlire0BU8AndyWwAmInCxsqRp9bgc5uxvFNnW7IlJQZGihDICPuJ3Kyi8Z3_38Jknk_JbgZZkFzu5DcjHln4ZsNvaRrqJHdjGrQopQaxgpNJV1tkThnltFtOqfJNLNXGDz3WLkZZ1U6MWM91DfQH7wi.ZBYRxhOGBWHK.YPX5fzdp3ejw_9RB.8vGF04NV.3ogXh89_yzQq5eSULSdM6QsbeDX1iB8nbY26i4gLtfkkWyQCeFDxYNl5UVFAfnivOnKBCJPaONCQoSe3coleYrJRGWGu_TwoGCv1aOQimzkkF2dw0F0NSu3SAGuZRysZX.lf55DM7RIOLjD8_8OMfzGVTkWyq1DH5.PgeLoKBjl2IiL.MnoKiKrjp6BAi8M_KnNh4lY1_lKg6YwIRKcvN5i67H3ENdLdCydIe9ooXrb0pvlr0NOLqhoCQMFOrDxirGp9sXMdQscnZB6JZBrw8a9d7hbOCoIy26FRfmgARESbiUi_R.p3x4SfN4JU7a7ouIbUU7DteADaWtvt.JpzcIjHtQSP4g1_.k0N2p0wivCV3AOKqHFPdOHKlh537nMj_Ns0ZB0QnaXnkT_pLxcsnFeq_IVdmzJxTP4F2Tx_cbMGF.mUtiwCcwN5KXjtLwzsLHV9nmsYoFrRHJnBa6HTgMe5h8HCdNj3IJMbhqvLiWXB1dEr9WbM1Lrkj4yKWPeXGqTW9wvHg11a4ku_iPUGst2B1iZbV1msbmrB4YXFwhRf9FkM_1UKjd6jB1avrFJHi_8M51R5bzLeId5m1saWn0ChFE13HlJVc7FB2SV9C_28hEHdp0qL8.EiLD24KzutBYhYNFXnhU.Fsrc5syxTqnXiSE5hAHgRIAZ8jE1YT8EMxe9JvMTn3qVeSje..yEOufZthGg4lDWAXiLBdEqNs2zcx7Okej5NUQD5vLkzsz1cRpNGfNYuAjsW6IA2ODymAMMwaOzdCbusIu5t.h3ok0Kdr5oMqjQ',mdrd: 'lwhGJJKlGNPqXZsXfXc5nfN54yxI2522kcfe8c1ghGs-1752925652-1.2.1.1-YpR_rgYaZ43xsR36pXVNVJKCSZ9db4oQPN.3KZe.zESqKpF22IXsjVefehc6RQ7GSgk.kbfh34awwxpFFox2_7x1y6sTzStGUcupmRKevMVBgWWbRsZjTjzHDSgZWMESAtsWN3VbzFjM8lpM1mMyHSFisWPeN64aH63E2EAtyEd5Fkcn3izTrJUs7ljcI_An4ztyqvw.lVPu3t2HrIyTHJSF8I3w4RJvCVkm5RR61NBFNT6PBmykqfTr7uGNAUHoL6Dg4nFShb9MF7u.HoMqtW4kI0OS4mp.TMOX.P848rJ5QzutObzT_T6SnXGMc0Xb0XYRrS8z1pxHx4ZK36.A0IxD83_4Jd3tPpMBJFJBahko5TbecKwglRlwJsohf5AlJPJIyJ.gAc8ROUriSGuLFBzSP3ZKvE0PRjLCqLf0.Il2KUrSvTavJFZcFwsR2lbTopFlRh8uzQk2rvdqT7g7gzRFUCmxtlR5yw8QFepSrxkROhcd.Ws4O3vZXfrA5qh0OH9ecsVMTVgi3_WkorFDp4NqQ2fbCMNOt01gnbOO7TMV8bWpRVy9dFnaEdtis_2YMIU8P9ythHo6IwaqTTFYsluHyh84WJH0Z9ag73J_HDdSpUWrF3oevE647N0x.ITCjO3aDHHpUhh9Eph9skmeNVcyasko5_5eraF6HcvHDf9_r_KLCrEE8IJScek.o6Mjp8C9kuw7BnFH_Bhlz6jJRLOHbWotmvEZ.jS52gsIThnbTIgvbzEf50wBjTB7xMuLjnJ.JbUXwt.FjaDfKmt.DUG9d4bCfugtm79BcAlSAmmAfpN05nc8PLP2okkpUy96gIjY0iMWIb16m8HxQQbYcC8VxQupjJ4_rdOtDLcBpLIfjxnHHQ3UQioLnN5kShT_36Me8IsMmd80GK0UqzkSrktXRdrnYR1mYn9LupVb7nTdZWWGSg7PB1US4iCrjwAkZtcYcIIFDAK0iCEqmeTEtj6HD7gzyuKWSIr2pmj.3eA7emVCZbQuYGY6NGwmw.dTVAcf9.ewZ85pAmqhvpGUsx88BFg8NCPjUcjI0l0QciSozqGcGcNxUdsCY7pChKF0D7qXVQTA0Pu6Tj03PhVvpE0nNfP.8ulCM6E9OEm1.S9hNcom0o8_lOuQo8.hR2xFzrIf.rEV6DTEisowajdeNkDnfX_wf8J0XHPllxFXOb7b9y.7fuQDcMit3k72Z33hahEG6GLrHE9hgbDwCf3kAtbz8WpWgIwVdxOgY7scEotKBRXkgzZsTcsLnZx7NBvVEQYJWdTnEFWTyZJlccqSPcYcRPQGtlO8wLZlrFrlQitKStPe0eJ0oGRSjIonJLKp0BodzRxrFBHknYEhoVDgxJlW0rbHxSCizUcS2K5HA9vvGfWtc9n55unYv.EboXSU4oLhpEljvIeOPXASh1X22mXD5lFVdGru5ZJzcSTqy6floX7mBWFWq3XcAJwq6n3K0Deo5viMw1K5L.tP88nCyjANOAhvsunOWiBfFfPQlmUC4eaqDf4QwtEOpchOT_yyYrNi9bIoad3hb0buj.aE23J4Q1KR7IXB1b2hK70eajCFX0Eg5mZ31SLaodYKLY5Bb0dViisHn16FSZ1s2AO8eLUKnPYjtdzHDw_1xBX4hxOHH7zlOqulawyDBUw20C7SHliwEHtErKv0Yg1tBlFJVsA2PnXWcRg2b6GaR8Vo8VzGIyv7WWYjnQinjGRUHVhk1bEXLfOpvPJWgxsdUzTcFY9toKNHHz_ngllO76c6gs1N.v4Fmbp3Q7Fv.TMKKIiwwxc8Le8k20grHYUXBPTNBWyuiWKLOtVZnriNXRaIeXM3KkPUyTFPEOq3Z42FmHJLG4LgYMPqRn6T07cigfV4jewb8thv0Y8MuKv3vv6FZPyq6CRGWYrx.iYY0do9vpuK01o5WPOmPHov.Y5JRSFmjYPkPcQI4dyj38fanHZ1Uvb2BO7PGTHriqmKICLY0DFbRuDx_oMdUGP8jq_MT0lafvh7KyBDRlRfNaNerwBn6i8C76EaZDhYS5skua.9yg.pCrlOhEKFeCpzP4kcHvxrdUqYb74Sf719bUNfr4n41SJyHE89xs1gnicG9uqKqSVjmonQWbu.0QGZCEKHl3zgf.wKrrAbDOYUeYSZbTTeFta6d6yg9FkpPfuFO_GImqmHl.m54OsB_7RWPIJVFhKsDwIGn1r.Naf04tMku7mCGqy_bpgEnHeIOLbIVCgfR17j9FVDtzCSXzvyJnx1DfEp_s92o0S4ep06KytPrFJfMC4B9Hdbvwk3rF1SCCjofKzD2t2mUgqOZYKb22v4M4Tz37fTGSLmuQmm.kSsMaNe_gYhi24wTry4ixhy0dIGeUFIu_KBje.UXxk73iFPqSFff2c3FkR_Azx5pOvbvVqUMZ_vGGYNASXaoHR6rcPcuPZsKvkW34T0zsxoSPgqp0uimSZTT6sajQgDavB3_7_.6GXPgkLideEDFypPTl8Ch9_RUZqUM9NrwAlKNhw3xsidx.03hooxyWwYhZZH8YTb.rWWOD99zWXleCLNWL8CG8.JYMK8JrI3wyyOPorrY1aQK7mZqOsfuQCEDfCCDpwlMgxXmwVbR721VHxHBh5xM1kp',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=9619fc13229daac6';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=zL8krKIAooDz7At5n6Fhr10GKZeoo_4pR42nJzxTVPM-1752925652-1.0.1.1-1d_3_ghrRd.v0FoyFnAmuNjobDtaa2tjiB9_oWwJ5TA"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>