<!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: '95d28e67e3f5f60f',cH: 'Aa6fXCbUrrosS9A7nJUkqK5pNTzNtAGN5XyutPJcXhU-1752176671-1.2.1.1-3m2UoQkc99npv5EhEeSfHAZfew29OkkKT6td.KLUmuRCZxsdqUDOuDQY8euKd7ga',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=dcfj31nqZ_H7.JjtG25vyBgXeBOWy080GHKWhBXcff8-1752176671-1.0.1.1-ywBtCIkRpCeMUcn4LfURY6mIB0RCSWi9PELfdK1GDjU",cFPWv: 'b',cITimeS: '1752176671',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=dcfj31nqZ_H7.JjtG25vyBgXeBOWy080GHKWhBXcff8-1752176671-1.0.1.1-ywBtCIkRpCeMUcn4LfURY6mIB0RCSWi9PELfdK1GDjU",md: 'TrQEpD.3IawURjpXRxBAJmYJJRjfr8kPPnOmUoKZycM-1752176671-1.2.1.1-HG2xE0JeZSGY1NoUDYUykH4LMSBh0TdFTyO_WQRQrMWlpFPDTTxNyczjY5sJpkxH8JNPQBxRq9_aArcul5BtqDnz0dtqI3BF5s.qpJv7BO2rDxIbNR1PKfd0wNSjGWF7siOyCIvKRzRKaLDgeS2q0YyFI3925ShUVovWINyiXia_Izaf_.dv4LMi3qQFARADnOyWUr9owFHNjksgbEmaoGRIJmBpYaIwAMgTB0c3uZ0GBPxvKzcqEi28mn87TThGmH2auzFQruRfniKqi7EFm7pAkAqtfsI3P1AC1PUOchsds1ypQFdeTSgVEbLZZ2VCvFLwFZSONi7zXXsjVDT3.zK4UkRyLkyB3oYBWfd6chwNKqoLaobcFLXpw5HAzS62ClfFh5iA8DWD01SJCjvxK8xs7Z18erdDbGfwn93UWTddMkOwn1tBnUwdbqqOweR_GrRos_PmWHAJ1YS_h7qFz3a2JwsTUXRsY9.B2feHvp8GHXcxKvnPfCAY0W9h7NbydZ4plaoo.RTqf1IsvmmYQk8onA3OtmldghL3Yo.I1ceeFxH_BRAVH_mhLiza7Zez2U0Lv.bBzOACZZpxdKajMBRNnc_QyN1ZBTdyILUH9_KCuJJ7iiafpDjao7at5FcgLSYGKrWoKmCGiTD7iIcGXAq9YylkzeLLnd9RhTY9ov6z8UIedDS8dqrzT_kYdoym7aSI_p6KMiTjOhlf3yPgXRf6WtsFFNsJx_M9_vNqx3iyTEpB8gv26N9RwYW50bJjlwrv35ZdX5GiZKc5EtH3tHP96iScdukrSr5GEje20Xmg5GY4hC_G1NLMsOFIEQ97XYi05IUdf6WnPEA6O8a5TevfcRwB.pLV.OeRDLZpZl7jDMrIWpz2EhRBMTT2aEk97x96eijSFWrUDt6YcCjopLHhFjsM1ANOhRGtZL8zxwx9AKtxjH2AkCfNl1UeaLmaS7K22ObpjfAWBgv3qpmJ.ZpFEmWUNPd_DJlHrjhm4IU',mdrd: 'y_62TID_rT0pHZf3gA.W6VruKwQ7OF.D10WPZeDxLRo-1752176671-1.2.1.1-3sYAqByt6nA1omKmBfRvUxGkVLZJcxeABC0uozIJcjhLNV2TazWmviYgR3XuxoiHnxe3GOKzg7zQvpMBJtb1.92rY9WcN7rsvZt1lvlvBYCq7IoWCNBn091t5uUnzphWS6UcShph9OWr13OO2ZfeMx131BwLuaIbOs25WmvWDTgcPf11qIhbZ7dOzIE0Hz78gHy1k9iwBhtGW8mUx6BxzgLRhj5bDeYzPSf8nSVdLo8crYIWsxDpmOfRi1Jxi2GHwy6xFsqvXYTiMR_pqNms26E7TeVcbSvaXn3qCf3KTv61vfe5VyQ.lYEErjOPPSphBIYXEEytIXrQzPUSiveXCt0XPLjgAKSzYuJ7g1QrkbjDgY9jiVrnVtIVMMZtUV9Xp_Y_7eklm9erzwxxnGBKiy8E2WlaEfnTyIOt87RwP6rqGtCSfiBkKEAdihK225PLYYEdumXrLyRM56RLNJbU8Ww_5EEqATanml0kxPXz7hix0Sfe7Ra4qn_IhL6.QR8i_tgHSySapGSEDayiZYv2OJfwHcwrEq5qmf8Kwk0Gjy5frE8AOr5rN9g5GPDn4bXw1sOQWCxyPe1Lxs1XhwOe4_3jRm_wgaw9g73oVbGWyikoX6a5chgjrC01v0lfAva1YRlQknp1K6QSy6Zg7tNEJGYJ6SXR1814hnZ9Srj9HlADLV0jzFOiPP0y_feDA5_lAVDIt2kJbl1WvYQufffoRGoIagevPtn86LU.Odfnxn9TP_hgZfVy8Wyxfcrve8Qb1Elimaa33vxXUixhOqHYoe..UTPPKbneuqpfFCIG7hC8STa.jj1C6TkFBa0pEMuOKSSIIk_z18yIZxpCWoLxTbMf9Zf2XYl_NhPhILkopQLcwmnliOm5TCa4Y8ri__zU4hc98Z1h97Z4nOuY67UCT8A_H5Jz_0WkF0l3J7Dl6b7whFF8xZUjRPsh86ttVAOgjwHymRML.I9k95BJ5fx0b5KtwVGMHH2MMjkk7uzVRsJm1J8zobmnu3CwOTYa3H2lW3qeuGFeg3OHarmQgEko29qrFgZgaDXPe178aWCcmGVQZmbSNiCQLVCdT6HMJIifBdDE08oxXVLH8EevObYu9mG3x7tqD2rTKszn9Y6OmcdH4SPaJc0avKUMPrsIkqUUk7ATpk5de_pDdR9ZnVLXZHDGzIZO3rsOMnh4sURoP1HO90Z20Vjgngq4mVWoSlswoFSNgf0sN606Cw0CT_IU.scpeVZ5PdjjWgcIIdaBP5RtoNzOTWLOA6qaC06gvyBaX91E0G_h9fOvBoWI3VzzQJGt6125EuPhR28h7lgu5pAuy1vjTWD3BzxZz8P3Ox1qWfeH.7nyVfKznV6HI_65iBWRrGDFuElKedeNLqVsplBQNiGGYN.iDpgIYxRH3tJrwNvc3EtKSydGKVM946R6CcfqTltyGX9EltRoRJYrdG8BAKM6dXDJ5b6lSCgfjEhampxkmPSgJj8EAdsiMoMfv9iJZCtYkFrW7sQNZGA16WJdezKKYWrte8gUyuR_7VSagJW4W5j3swrDdbqU1n0ecx5JsVJmKh4jG0Cijnreotbadbndl5UQcovqaiRluFtY9FeYGlN_KbaICDodWgUQPP5kYhZLIw.Asd5ilyoXd6XYovUcrFJLQcKGU1zdK1cGF6D6QLvJlw65shUj5CvTwQe3QbAOQc5XxZqwQ0y953N.lP.qa43.OJYBdYWc7t2uSSwIpCknd8b3MG7yjd9YchBiQSR2iZ5rHBHvFjd99RuH2gw9OvPY6hHQOPGMAEHDzXnpvf9S1WSNWY2EJfmVlRM_pbxPh2VDLkktfaTsv43yXdnnbkgHZO62SJbUP3_7vndQSuLVQ51qfE0AwKWv90JrufrrNXaE7hahZdjJJbZL0nZ2Js_hhZr.DUIJya9zApXKvJPjqSi84BLFNoaj7BK6b9bO7oEGva6nSvI9JhptRnXR5euIgJeY4rWYp1MIHZfOFYKj674Rl0lF1.dVOxm2FUKriFRI37XITJ66Q7wejmDhf9DnEW7SC8S75KsDfAVPIOzR8TiIzopYKYO82y57Vh4Al1_T_GQ3MoUZVj9J8Ac5jgE0fNFJjYQ5TsQ.VFcHeAMYXxqPTOhqatmf_9mQMsF2FAlS3fo4rZmMJkr8TN95EH7pYk6.e0CtDm0h8HjpINik8DPEo2Jg_MxMbWb.hi8tZRfsdmpIIzBs8VTPmYgb0kx_79TLGWIK.xhkcdI9o1ZUvnH9T4mi3A_NMNF3DvnACx7bvdGyBlWDo1uJiEW4k6a8FlodUamMkmx0nXXLt_2pFwrrvUm.7.Hz4HHwrdpDCXEaJAOwRUIcIIpIcSV7AW2MorIThaPHEJjqrbyNwBLqlP6PFregqSuvt5pJk.g4zCch02E.AAvPBIW.QJdaFrt7wLF51qrMGf.KJiTyTIoWLGPFcTL6XR8FcFEiF9PwvSKoS2u6GcZMZ7ZXsXg4aa4d1rc3a.xlltJ_5bV0zbbu_oYEx_ZLktycrI2uY7MqoArjLr_csEwkUa88L3OEjWZlspgJztWwLZr6nlaSvHtDKfmK15bgH9I8_EmvJwjekNA14jmtTX.wmM.jilLvK9dF_BqtecKbxSvZ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d28e67e3f5f60f';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\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=dcfj31nqZ_H7.JjtG25vyBgXeBOWy080GHKWhBXcff8-1752176671-1.0.1.1-ywBtCIkRpCeMUcn4LfURY6mIB0RCSWi9PELfdK1GDjU"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>