<!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: '960c753bc1a6ab63',cH: 'JcGl5btiY760SB.mNx2UFB2lTlcHodxHUIJoPNr.tJA-1752783815-1.2.1.1-UQSYS8FvIp.8N4n5QQRSgCvmYg16aSvX4UsCIgsE5rH1wzwxn7bdNyEKeqP_D9Pi',cUPMDTk:"\/p\/xsb\/src\/216\/tree\/\/trunk\/XSB\/docs\/userman\/manual.tex?__cf_chl_tk=skCGCEDyqx2.3Yz0MHOeVaPKM1yDG2R8a1xyro.8N9o-1752783815-1.0.1.1-aedaongRWRRXUIZr2GPEyRqRhUT4qsah_TuHw6_Fjj0",cFPWv: 'b',cITimeS: '1752783815',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/216\/tree\/\/trunk\/XSB\/docs\/userman\/manual.tex?__cf_chl_f_tk=skCGCEDyqx2.3Yz0MHOeVaPKM1yDG2R8a1xyro.8N9o-1752783815-1.0.1.1-aedaongRWRRXUIZr2GPEyRqRhUT4qsah_TuHw6_Fjj0",md: 'xMxYId1b_dD_NoqBoWxq2QHzLi16h7kTD6teBUYNwx4-1752783815-1.2.1.1-4MvzyqGq8yen0gj3r_2.qn585E5VPn1VLs5oyQ.PK_KtJe5hF2JwK9fkGx3TDf2f1J7vb4Hx8WeSbUVFdE_5Kve29l641T6gRKRogI.2W3MvUCEHsSfVmxQ.bB6yJx7hZvkHGMctAa0L.x6jTaZzDWJ_DhT4riiIZ.kJkk.9A85nI3pUAEgL19Nqe6kCucIrMa8uzLkBQVIbiymKgtbzr9pBVtVJ45rhzY4nM8baMcH5Gz6LRg6GVouUjXaldIxC5RehBR9Zl5GNCuLETZ_GZSboNO9suY1aNCwFmtp0vqZ7jzaz46X2bMnUrUNjV13ehneRn.eFKdTLqkN6J2dPfvilCUOS_Vweegwlw5mMpt7DqQxTdrHWlmJz.1CewqRC4d1Bl1gA9Yg4qMQvw4ZwvujkSKfhnD5DHO9XuNE1JYPobolliFsFAKuuoZgoZli6qrWgdxvN3uUg_oVux_4yhZ6UIojjpDryqmmmY_Vlaz00AwvxQ9yi_wqAv4kAHxgv4RqV7xr8lSQmd9kC1cEetmQa1zBePtNfsw4Pg4kcnq2uc9T4pipp7.ULcu0l.b47kUF63h4r75AhZGWdKYOYHJMkAGExLlUxUzWrPovpjignlpEMTfdJSC5aVfCXTO2F3gdF7GuO64hKdzm7dXq.jOyymtjYjlh5Cm6i0WJYesmg5sG5AUn_8IAe0pKSEL7gtaqQ_2I78hso4pMbkwiA6RlFdMztvy4JqLVJR2USsOj2nZqQjiYBGVj.HDwhFHqoJ8e6.WbpROeSlgCbfecaG6fdXBzYIRp7bQTR4u5L9NU0cHwXNgaDTCls8IiRtRX6HsX2hwyoD.Zhv0zbk7U2O7ATF.CmFEfNWR6FC48GzJv1ZLFX3J9oP92jTbQh7zlUzMYXyy80Gx0QKmawlxVHSIPmwBAXlJjgyS4Mw_w3V0NQ92ADFVu0M4S9mZZV7dcIR1VO9_jB.spUMa4SpIVXV_nz6VPkI2lBnTKp.6ViXOg',mdrd: 'Ncb3SqjavDnXupjvlMTEr0gcHjYnXv3L81W80ctec9M-1752783815-1.2.1.1-t3K_LqKYsv6zdM37uncD.1YjOeC3rVpcIQaN78srfcxi0GhKTccv2P3eIa.uN5gr2HGRwRaSErAwvijfa274gxf1ipfJ8E6Ief.X5Kaw4_DhDuRVTtpVlUZmnL.t7NAEgW_xoDM9woNq2nmXWfCVwv8.Lpx2n1KDdDuAvvQ5B9UR.ajwCAGZ4jm.oPvFDJCCn1IMK6WCRoZFXcW1viOORwoFMAMUzjmFFIMLsYsTPcEqWQPaR1y7.Z5dtlaUjANsTNUkroz6Irp5jLzvsESv.xkpIZn8CwKeCu45Mw6rpxUsxWBrw7RMglqu62ue.MH57_AD8P.vrCTRNkVn00L3cjzHQeI7BcXUJ.vLH8DJfW6WmGI0ii8FSVuJWQS0dpWlB2PGEJe2uHARnSr9oXh0h0qwOmQTY65KFpI3zLqif0X5leZgndLpvHbS8QvRvvL3h0Sgc_ii9KbMVLVOZ87k9CnTHlhGYp6oJlL06nGbQNRzFdptjClhp6F.RlD1JYeHYSZiVyjfP0Sew_ablJPAb1aeNwFoPuyoidfxFL7ioFLTlz9NAAZ07R2aQjj5Lhgle7ptQU9o6rRfONbysJacNKq2ndWCIB3hHpCnKjQ5RtqYythlw0kgZU_MihCAVXQoxgB6zB2Z0639I2Ga.RtlLW8hiqoS.7tGIuo6MONBH2dW_2n4.Znh1oZ0kVBxgAWcJ3roeHLTFjFtVzgK1qDAUZg4VvHCQYEJlrX6QJVLB6i8JzVN2fPLa3I1f6eVc7LpS4pGVgsa5gGWBfLs3REFG2LnCDm.mVlCEoc8TFCTC_P2VyoMZwh742Kj21eJr3Q2WAwbXhRVWEGGHAAN6UyVabLFtDOCQw2s_c23zFmjAHn0Pux5HMLvdXh8lLcVqU0867NOJsAucbCfRBXCcpmZttb72BJx5LsYwRr90rBlTdCti_miq_PHewtPZ_K3zlzZsLQ8lBJWHaAIBcgxmKpvawOltYIr0FZlFWaIidqgsb5vFk6pSfnMlXaQYS0W6p3xSdO_irX_aa_Afc5TZzWhaxAAoDucfv1tu8b7J7pzEykvw5kAtG0AT9T7RsmpgTvidMh2RogAsayp8H76rMQMCspiLtYi0iMdczyWGBzp6gABqmbiV2tdatmq0JvVTF5JdX7yZRfVPa4cZs2eYbBWEVHRU6JSA6jqVRk6Qs1ZD43AIgZIAG4aAvVOH9tXuNUZh72kEqJVxUVeVP0xykZdLMuJsKINp18wh2rSPB7JiDcr_A.cEnRIosY3DSm0jS4Dw1pAg11wx1Uq8OK6zCZUl9MPJht_CAgCX8ZX.NAGYrE2M83FTbQLaYWc3vNTxwRJvyIOvniI1DDGO7yWY_rls8GRW35xSpr9E6BZ_47YzDzx0QJpbu3BYr1z7Fufw6ssYAD5Q8zxuhRKzUY8zyRiTCFE8pziMHdNEKJFumGNR920vVb.NlSo1Nkjitf0RFlr8SgDcb7po51_nPZzqEqhNTh9cx1QSb8S5MuqVo8PuiotVWos2syy3rhdWkEowi2H3p0s0K5gCKSvLYZJ7UfZJLjd1si_3yVdkcOMsKSmw0_ZVN5I7.ZyT37cC4nhL0VJyrM07xr90R6rWI6kVBwbSRFFMQiZhC_sAIFmPam8EOuWpTadfj9bhoP3B8Yj1xGxYdDGwl_UoNYsxoXZSGCOpj9gmpx6ALJPfJr6_e6ImnS0BvmIuYc4Bkx9w6BbTUoSW5G58x9iSYIn7dSvdlqEPo99IIF6niVyAeLxNuO_.VTPr08ZVsqYZVq27Ej0D9zhLaUOBWhvEH4217yrOnO7P2Dr.RxYCCi2NJgG_9nmywQ5w66hFzIto9QKbJXaqX8ASPHhF3T_hADdhmuT3w_a1.2yCnQPQWqrYmwL13aVvh2yoXrnj8qFE1BYnOsiU7b1l2DN7VriDDtPjIFO4bZ1q2l5SJUbWJXuxAfqQW3u_fz3JED9lbAldL128f71_oMahtyYanxQuJeiev0ml9dFGWnZ5uNmcJwPpq3pWRrBlqzz06OAfFgDuRlQ6QlIw534kDrN9aMw8.5LtLPWttTBYu1e.QiUxdgsgWq2hf9dspvSLzthvSsfdFbJzuUUXjBwY.vHfkxqToW2r2CqBO_F7rbliYwiu.WQhDujRCRWUdzTCpneGwVBHJWZego57rGVE.BZvhX2Wi61B6RiDUYFUUktF2WKNGWWT7fr6uaMz39Xyxu_ioCt9S1APblAWQ_jsBlUqAK2KPCp6afxs8ZHcLCmyoqYEXNDA3D9HSiFLdIyQjHsnCotTTlRiudTyA51v.a9FT6y0lA2sBEsBr.XJcj1T7NwrKslmMqujqV748QA0QMGqWJnIq5m82ezoPbaXlL5DkLVhjplPHjb4ISrtZMfPxpRXUaTfu.56sr_JZoboytXlUCB_fHokNwFLo5qZfUxwWOCXwofvF6l3u2aZoIqMMEQPsSrDAhkj0P94QpfKQl27ZD2xXZX_Ps.Mou5icKxwrGEZx7TvLVev9eXTtPErcdYVvw1dGVGpUsJTQ0fQ1l7LWjRjpVrkleZMmUUxcQA83rYVTz1zfdo227JtrNgn7shGS2kMnqXO1aOgjF_IFbhSALBmZ5VO_wg2dG3',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960c753bc1a6ab63';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=skCGCEDyqx2.3Yz0MHOeVaPKM1yDG2R8a1xyro.8N9o-1752783815-1.0.1.1-aedaongRWRRXUIZr2GPEyRqRhUT4qsah_TuHw6_Fjj0"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>