<!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: '95d28e15508af60f',cH: 'DlQ563f.9Q.8V3lX9ktgH9nNS1SWSc0Vbj4TC68QqTI-1752176658-1.2.1.1-eJv13l6faCdc4ybqryNsLWhV5_uPgzegihiH_GmVu1.G7EEGJv668q7YTprGuzt8',cUPMDTk:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=WzE10Zrb_F7Y1MogVE1EzyUBWftRouQcsrrfUgNc0Og-1752176658-1.0.1.1-UETwcnUNcnNFQ3Z4GaApJUfGKdwnYwkVC1V2y_PI7W8",cFPWv: 'b',cITimeS: '1752176658',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=WzE10Zrb_F7Y1MogVE1EzyUBWftRouQcsrrfUgNc0Og-1752176658-1.0.1.1-UETwcnUNcnNFQ3Z4GaApJUfGKdwnYwkVC1V2y_PI7W8",md: 'Z3NsBb7kKRchPFGZRreVb65vdpSAaeKLcxX7V7FubrI-1752176658-1.2.1.1-zK9HXLfyoFVFylkd8DRU0B6A9KNzM2XxalcD6XP4o2Lo0KlOpyAIjXna_KzSXdPmgN8_.SfQEcr4ifo7Ctf2vIzF.r.Hu9xCW769g1OsVjNGFQY2hPnc5EWK3oyt12wNpokT2REQoA0naqMttLDSpCIPXOvNh6rsl7iEo9zOXqRLy06ZrJiCV17A9U1FSlPjEQrpvb0i440MSYd5hB2Hb8C_a2adH92nmcIrvHqEhaaX2CYzA3CyxhQbmpiIOiDVaMmph_iQ6TddrXd6K5MBuhvf4fapjve_4kzWknCmAbwzsY6ESY7K50UDRvLcjQtRL8LwTRL0oKC3CBBwYWKLeZCkoknZ3tpFeI6Ot.8L6VO5Ebztfh7HmdJPa_Yfhk4GLna6IewGZAbaN1doWuAB2ym9uaa9MMqrFlQBwNbVxbmtQtsB0qBJlg04X.tXg4J6qlMuWbAkYAv832GGVeJ_p95.XREBWsfemgHEWRDEMR3Gky4NrpqsBC86aswKBcvLir5WlLnlSfuJUvbjZzAG3R2o8jM8uLXJbwrjjlJpR9zEBNzx3_wpb7TNhuyxMxCnsQqmr7fYamkdQ2NH8ApK6IKBQFC2uqtt8HpPaU1gDZakc1bd0W44UwPFnoK0WVDUkOOudlTcBb5E4.YViTbkadg9s4yuHJIdHz2VKfZ3OVEaP9waerrgVTra25ky0WWz6VUBVQgqvMrAd0yX9b7SnUkkbAyfLORNp_lnLsBZUW5zZsWKRl.vC6ia.bjDyiRfDwhKEb6iqf07FFiX75yuzCAKqn1hnujd4eZbfJHPeVGsy2fC88_T4fgJiwlV5ST0KQM0ZvSXbfgmyaPIiVcAeG_EGrPHfQx6rjNYBm1E8Ca.xbPapESZ187gVHsHfNv3jqxxiNw2D8nnZ_nWJExHgdR10qLwo6z8akv_Gkp75FfSxPpS7gKVerMvCIY7pRCTOy9._H0veWfjD2p0oRBIZfvr9AwNat_1RPKOsITeLuA',mdrd: 'jWcqnn3mqY.WK4RXtrLGRFcoajmmRDPIj9EdIqfaKYs-1752176658-1.2.1.1-rSej8GDf11toBxyaMNOoLr8BXb9h9TEcfsPnmbE1lGTEUlK28imxwpAnwgUPNNJ2.P7mW8ByqOkznoxCSspmqUbjAaMkuMRkM5qEjp1knlXh7hJ0qh61jjpsVNrogAjX2Sr.TvN9EG1TenQ38yY2ALR8bCIwdfpql6UOVxmIpz6Xf8VmvZ5OgxD0Xq_zm13eYiS3he1VUFetOQikf5u4gxesulX8StJ9w_ld4WYpvli4nf0uh9mdMyxfuYOR0hSvi2jwj.drYlil7H6ii4Lg10WEFjTyppgY2fr3vZLf0jND71.FS5oTbzs9Ucf3KD89uq.OZUiKEh65z2ijamAx24.C52jJsgAvYXKKsW5orkQPI4Oc35RhAHLdTPRFVOUO0YWve9qf20vt0g.v2_kCJ2GBllDC1aQHxGoWChOVcR6sxkhzJCpzE6oF.UmuD7cK288q.KCxSUibrzLPMSYEWB1AFpm5VMzjFuXAsm7f.TnxkYVT4JayCcYlhyWjgsdww7C2jBp61MAZfyi11tApsLnOdIp0uz8mfjYheSCoDgZ61uR86RwsffAOI4_ihS7hLJqzt1Wui5nV1sJLmVcifSa92wSEaJFlNyqj.UkorPd9kmJuS7q4g14zUTVCM7umdFnLW6gTqLODvEpYpRJcod220.gMwdJnjoUZBRjSMKPxfqtrN.BoeiADZdlxvMdWUP68FQKhEAl4pKXi__E027KTRiUS0rgNWpd7WDiYlNJq1mIVHPnjXiFDgCHmqpBEvh7n1dRlBFxOZuX5wHyitOT2Ww4A31aRdYcqvWuaT4_KdFBuE5XX7w5oVaG.DYqDgcMgtzhqfly9qcg._eD0ZeEcX.SQqq9KdxXXhAQe23HOQ_H5aTzRycIEYsWTbvewXBO3h5y8w4ehoPlZs5Ds_aQp7CA1w01MRVEqyOC_9qM7q3wdXFa7cFnvV2y2jsGrXinv2597Ipa16_cKbIAOICjq5HsK2oDfmeZT1S2_2InTEH.ObltAH_bME38CIfLf9awYKjLtjiKegDz32RIVME6oqGPCTU37MenXlLP7eEYzP8aalwxosd6i07asDZ4cg1L7fkS6RkA3802B.OVhM55wGjiueR7kCmfHFKJDDoi8pBTqDHSGpZ6OY2tJiwMZYPVq3_WkrBj7xdhEF3n8t3anITF07M9wHjxtWvFVAHoJHKa7Dm_NUcSKExxPbLdBkvKc1pGpRM6NmSH_YHwmUUl7UhhZppoWJ9qQZZ3MoYItZhccFaTITlj9SHfmCsSe9G8nrcd_kUa414.O58KLy4zwbYPzUA2YXat_eP6Tc32D9fD0kCj3xDb4zvAjMN3nJgYIKycYq.RCLvD7eXWpYBROm9ddh_LokLsLF8KhfR50nWXO.XW2CortbESo.GnGKQy_mnHRthEccdf7LxSbYS.5AHEP9ocgENgP0hCk21HnFjVYuTFbx4LKD31DBId7FHpcK_Hi8Q3v2JbYSdkRMvTVkU9qMjd9RPgsBU2rXNlxFp5e30w9TXG3gIcMrfx81y1G9XKow.EHUpCa0ZSSc9cuY6yX0KUxwgzWZWPxwdWd6wpz6E0yEtwN_npEkGQKYtR1Zu_0Z0njP3UcZdTAXjzVGNqkWlmtJ_J808_Frgvg_Mdrp8rzLwhwR2va8sABZ1IJuuEVGxo4nmIb9m9xupqyOhPukJkTJ9KJuip7rdE19LeVga2OgV3q9OAHe0aTaQWQ.tumHEzjq1d7mhoi5mXfW.Fmq3WVPnaDTi.pfbKEvh5T.k3fstojjpQCmvDU4XL5wTN85iQZ4cBx.5TtM6Ea8m8G0qT695Ve_AonXJQmSJWd3Djy8MdYwQYt16YiqnDwD6ltMoXgFYt1P7YTbNjTDjc2Z8OCKM7koMyelnKpUnkoxP5h5vuF7mk70EPVipWUmwDDIhqRoce9QzJY6j64fkvzGVR2g52PLLUhYS0An.fBymSfJ2DmpK0nFQTMDGwJVV3Wn33VV5JI083YH0h3xHHxy4AgnjO7jV.9LbHIwEtbH_np3peEhhBB7xHjWTkDb9w53OmZ5oW8sJrmrRLN3rfC1w3mYaz4qLp8A7fheoYsogagJ9Cup7Ly_keaEY6Sqa5ap437N_2RYSFuYPY7qnXqVNdsD2grUp2Jr_YrXfAI9byOR_I4hhyPyeqFHiiBWzVBfgFt_8oqVH_JNVUCu8ru_ihk6a_sGqMPUp4MI4smpZ6EEJD.gIQXGMYvZ.4uSMOxN0qqHPnFs8Uf6eRcKoQt3fSmbIC6H0_OlC0CiUeFog0fGLO4hw0BNM_hBNVTKyC6PYs0o3jvU1uOObKxW_QtfO4WrqYgbwHTPqnBfr97YO_Kb2Ho4OalrmJRZH7Uz32YjWn22t8_Qd5Y4JFNx30a62QQkH0Acdi5b5FMxVnvXWTGpfvHcQNBfOb6ZWqdSBjmmzAfHUpNfRfnYyjZd0fc9B_1fNZrZgWv_ryX5xfmivECPju.79gCkrCSC3THtimtBmqkSdHEbT0PobCNAC7NZN.8UwTnjzVOo24FlcadWN7wTNdUSABxx7iU64mGnDqhiNGQTXBwBDOgyu00v2NapriGXJq90.XMegQJQ3.cjxb9cINXRom1N8OBi0BncGOtt6U3fE_B8dNtyQ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d28e15508af60f';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\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=WzE10Zrb_F7Y1MogVE1EzyUBWftRouQcsrrfUgNc0Og-1752176658-1.0.1.1-UETwcnUNcnNFQ3Z4GaApJUfGKdwnYwkVC1V2y_PI7W8"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>