<!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: '96696c85132fec71',cH: '7dVUGvqhSq1bTy6OkA..Gk6V7mSapJxqUBeIR6K0xJU-1753758633-1.2.1.1-iQYj.6VVjvdEVp_BX2Q00KyjiUAOw_JFAgN5jOqwzPwlpv16qX2VnMJ1ga0Z1k6X',cUPMDTk:"\/p\/xsb\/src\/7232\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=CAGCJnBR.iwYVE8sVj5KhaIBWdoNPatXBclkX4uOtqg-1753758633-1.0.1.1-9dmhVUb.su7MMcHsyoZSPfHz8vUAOmRbQl95FOBp1J4",cFPWv: 'b',cITimeS: '1753758633',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7232\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=CAGCJnBR.iwYVE8sVj5KhaIBWdoNPatXBclkX4uOtqg-1753758633-1.0.1.1-9dmhVUb.su7MMcHsyoZSPfHz8vUAOmRbQl95FOBp1J4",md: 'YqfGlNo.n_irmgJet1ijn_Hbf58TPHFipNZGSdy86CA-1753758633-1.2.1.1-TrHnt3Y1otsrGo9RgIEfjlaVDEr_lNBWA93ferHwb2OiVjJ0vZAdeBciHEBuf3I84eetFBfBno3kvcVLbDNU4u7yVYS4w94002gnJubZAw_vKFv5h2DQXaoTxLOxO7s8o2sQL6TVc9f4QjTn3ZYQX4GOxd_KC.GEZj03H4vvWAadrAoS0O0Ed7kgrwkcPnzhzXMZSSbZ_Pb8G4hvpeVA5ltip0t4gJTu09R4nfYJjSfyCqS5CZCh0M4vBkzMz8mG5F4KpTbj.GbL7KA9RfE.qPq0Ybar98NTyJ0mGcoy0GwmyuiJJ980AIRqSfBIMdHuxsg_AbaAdT59314DcJuMBWwmwzn5dkBycgHDjI9yjkW4iA4Dk3CTBoHq6H22Aoy3VV5Frm787xH0feJWwkb6vXHvQ136QVuux2.dIn_VQ_9phFz0wt35_vyn66UaNb17MDhk4apEhzpFKhAdhJ46q12hFcTanH1Rjxe9cDOAuH9U5X_qmB6ns3zov5TEoPTLRKpzBgBNiD30TZdYia8Vhknu3HVaHyo4Dx9WZgqou4lzMuk5xlvniIjT4OUadQc8YoHNDXsCPHfwWOdoYh8EGPuD1pFYKQBG_8b0bgPqCegjjDBw1c_mIx2r5geO8.HTo7rmOIEGfU479kdxCkLQlLG_qxJE7KdXgVHNMfDcvxY2MXsVBfdDwJ.l2oXC2Vdm2mhzVdmiP086VO1WlXTLqmazIHg5ABKsjJxIPoJ6LnwCQt5Fayr6tjIpSKDjD4x3nGXKrZJcgzAgWnpCEQg412ncwbDLSjgr7yzLmyfN_Oa2RlzV.cfHqJ82ApL_MjWHIcLCtW.CaVeuk0wrU_RadHN4pVNetMifWZ2.lLNK0C.2MDqEYvsjUJouaYK.rVHMUasraqtKLj1KtHIP7rfJ2k_JH5_TamXEjghtFtx5B6382VlAxB7qlZEhPjuJosWy67CKJIjRbBJr6J0mvUZrEsP_Bd.J2mU2FiQz2KzGTbo',mdrd: 'zc_A5b4H7ftqcMwRvxzz4_CVKMQ_m4lS5.zTDQCXMW4-1753758633-1.2.1.1-tcjbDS0_2MU45oTvpwy3B.U2CvH1eOYaczdQei6DeLdtgabA8O7DLUTr3pN3ZEKSGqghbpGfEJ3xcxSoM.x.P7XltgXuMVdmaNaiYzpqHLG.m0w.A.xz9yvYbn3qlyEhvLqQ9HTPcPsdKz4fetTXKz22t1s_C81vsER7YM6_WwM06kJKTLEXLiIPz2qsBUfNIj4wN166mRCvwD3O.Cc6NT1kMFN0bDyFjy3bRqnSOGkGjLmz7fqlWtiKguE8wGIeTf.lT6B5YFJLjgV3h269QmY6UycC7Hxxny8OnUffXA4cBVwNCWqmiEsJhiLaXaQ_NK1ixn3I2lgpObstpZoaOBWoGokLEDBQvKSuJblUhqmZNuq_OrtFXX2.hagXnxrNis00SElJEe69K6ShVl8D56Qr4v1qMeSlfO7D3NBSUT6Du0JvqMJW.ERLo03i5.z9yURW0OIqKFid_XZ6UiEJreNkKDbWWOm2qzYpKkbJGVCcWtoSi6QpKB03Nrc09EFUQQ0jUCvHQpa7mxwDDUOKkUHPkcT1Aq6p0pK_9FBFt5F4J4R0O_vkmw5Dfh3vgYQCmtnwpslurvP6rLrEbpvQB_kjhwRW41v9DFhGn_1Dqb9BMOjLcHmdFFiKwDIwDITKAqSWCA2EikRPE4Vjd1LJ9hLv71H0AvlXShGdDnKTmp.uXQ3X1Mi9POpCnf3K7fppQHyOWm5rkvhRgpen7tKG7KkHdCJmm5RuCHa67PdIUv2jK_np4IUxOTubb_sUA.VyhfcHwawAZRoDDdr9Z38_ev_vOrVQMJp.VC5TslBbfTYdIo3YVh8s_VgncaNWj590.5WmPbVhw.y40JXsJ8VAGqR0bqosyWFTIQt9H5nOoBgHqAsbN5NIBPm74KQ69z3tjakJJTeaP49RDGdn6p6V8E1mdiyE1FjMvPbCIZYVylmNXTZkdZujeeWpYPBzFNJHA53bg2NT3IFrmax8OWYMRhxp9Qq3HVFH5j7bR3GP7YcfVjpFBvHc1CH89fW50GFWVyNc4UbYy.ttiW.kcvo0sMR_IvtiD2isP.U7ZrVF54RoYc89WgR2NNtp6mYP6lMlgMMrryMdoN0PyjONbAbDud1JyQNKcoSOpWG4.5YZLcnsxBr0eM7v7uAXAXCl7SSNa6xncun5HfhPCp8iyrldE9f0AqTAfK5dqDurxrs2vBIPohTAhketGr0xacviUBHm7Zzb6jxaYy6MK2GqzeRCVRFlOPkqUp0oAMxsdS5BPF4H2U8AIwIXNs_rCDR6qJjSw4DKNFeuMwuKNoy.oPsAI0IC8_hOLBaAHoYuEOdFScI0dWvJW593HWPWE5yBBKP3XZpXintUrGnNv12dpODSXehI3VtM.zN_Bg.QbO.yoKxZMGpGcylrcBE3tC6MYYtJi0RMBsT5axjqymu_kDmuFkcvurVlvSKOF1.5RlM0PD_6Ppnerupgvcd9n9Ae1905oV4f9hQl3k.kiqs031rGxizXo2fhDLMcqKh_ZBvgpSEvEoYE5CdYTkocGq9dgAFWIqQhHrRPkzxA6wO1YGbNTbZfm6NNgQPjI7o7.PETnjZ7YoCxbK02rcaokpvzGgNVyBk1DmgIWP1wzhLbVY91HMKK99jKFgdDlsTvpEMPS_ZLFDZYuoEzgSZDjlRCVuaIYSrp1b2UlCVGwX5hPOWICV6qj23PtXtN7LnsTOBTSrXnSaCdTvu3M7AZ7K6ekLscO19nUzkUaN8Ss5dDxmNRIMuencdyo1a_Y5K.cdvYa.sLANV1MmEnHJHZe5QB7qF0b7OaeCCDCjK5gKTiov9rFZ6w.BKbQa7A1u5QT5R74u9kdf0IJnWliWb8qzFLy0lfjbAuV6F7QcK0lu6JVz6zuN_SgzeKBo8HIqFXVeKVJQp6u9M9oNaBMMM59HNm18emS7pJ8AQsteNoNLOcX2Buh2SPmO_ZK0qEjTdLBfs.OdfBHcHHXWVnw76z5ZrxmDxjH5Pc3Xxpeu26e4ekeOTaIkLSIK64DcPtAUTp7CrG9QLDX1knJmAsSN6DTt4PEWthnb9DwrDy2jIf3AFoP7HgKygKELQJw.IVtFvCBwkGX09ClGwzGp1KwTYBPn3A2IXiUTY3gqCfcyjLplymfU6O7PqVhAPf2szOCX6vwkoUKQ0uqxCzZDgp8lmZNHhAGFmYHtoyowNmn6cksZZ3HUOhVytGjpRRKQs58CntzSuDOC3yBfJOZjlAFS2itSVaNPvsIgjhY6rB1_q8ogadvgCM9BexfnsQLYdhhV4mUMeENq2agMurek.djKZ47A6ZOMNcQySIt..gJQaK1EiifmlCx5LQ7QgTT8OfssL8kPZlogbfkPNeMfjxhF1X3m3HeYU9kvZKwn8HxiNGvzRrwSfp8vJOIdTdwe8lBsfx9YNwUFglb5T.Ku5hDYSF4WRjBrokqjbj2mMhCig0OrjRQUKPudTRNWk22tx0qQ6CyVgas0V5v4uq_4Rwtv3KKL7zSd61rJpjguY0t3NfpU1kFiccxw._l8K_Roblz47i3YfXW3_q6JiDMA2VUgba3wECOB3.3GhKJNdv.QdSSjT8N5lEx6LX1BDBtJXkNEMMYvNdJVhNyW.jnnxyqLS.V4hU4nZhLQ7dWoUu4nIqpTXosKPBRw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=96696c85132fec71';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\/7232\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=CAGCJnBR.iwYVE8sVj5KhaIBWdoNPatXBclkX4uOtqg-1753758633-1.0.1.1-9dmhVUb.su7MMcHsyoZSPfHz8vUAOmRbQl95FOBp1J4"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>