<!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: '960c1eb85471aace',cH: 'T20vqTL48.zIxiWNNdul.v7B6uTQtfW6VFbEZ0wM71A-1752780271-1.2.1.1-x7B_uJoy0BeCajCRl9o25ZMkiT2RMbFznxdLgSKND.FI54R1H0pOn7B4zrrb8DGJ',cUPMDTk:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_tk=HbzTMY5__VT.S5eRpPPNh_2BjLJAiOZctL7Xw0NyvFA-1752780271-1.0.1.1-ipErzdFuP_bhmwxdW7Am2pOIZkO4lOuOq1hBiZDOHy4",cFPWv: 'b',cITimeS: '1752780271',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_f_tk=HbzTMY5__VT.S5eRpPPNh_2BjLJAiOZctL7Xw0NyvFA-1752780271-1.0.1.1-ipErzdFuP_bhmwxdW7Am2pOIZkO4lOuOq1hBiZDOHy4",md: 'QoBybBGKnViiOTz81fPv_vNGbSO0obUgEooPswKlNUk-1752780271-1.2.1.1-9m_dPyg27YLomadjjJJW48ZCM34c9tJVQnjhTeppS2BZizjKL0x1CH.DYQErY9oj05EdpNnBIgE..bU_0rKZCVykx4ae4UwDNAUakkXE69EwvXSi3i6rKZXOMESZeh0jCjWzLAiebWKxxt_dshb3F9pOCFGMi.smGspWdFONfXT0jcjhShQ7D3oI5XlfG5Lc6SPbFBJqvGztDhiicYUiIEJyy5w60nz_69cXeT1niqak0k0v3p5QmHzz.vbL9IQKaO3dUKxUfloZssDWob17P4HhUI6RtV1zovC4Eq_5km4DdGlr.5VETm5IU0zlFzdgWBNmn6aQJj7dqZgcqHAgvUnKGfAnUOALLV7PHztXgcN9ZoPbGuWOgdB.vaAZJ3MTAuXDbIkUIQZXgvVbbifpDRVbJTS.dPyurNa1TlahiI8O_5SopQqh9dIGWhPwcWzR0WNPuSIaIq6mdt7.6xd13fgLbtCFVURtLomX17_NkdpBbqjGiELtDuEwUCI1.z.Z.71x8bbEgq6ASE6A3s6pJalCNSmNjwS6kSmnxZObsdodrN1JgBixu8RvLhm7T0doIaLXizTyyC6uq1hmEdDwTHpCe.Yi.HB8kdIBhr09ZXhshPG2JWdLLiMlbWYF7L3zz6ktijJB5fYs4zfWH5HU66NaXdzhImCjrGtWtpJqQ7AygPCHPndjiz7S1KmFY8_XWdkGaweBX6v3zqbPhoRCtMwZ4_Amm8MsGZmzZgu_l0hohaIqaL7bLsHerkCZVpiv4RVMGQnpG4y7GbglBhSV4TWc6JSXSyeQfFdqsaP7jMxDe48ZEVLcVeOhJ2HiSP764nHevTeWA_yYmN1coVLWBb520Z0vaXyl3zvWor.uLLEFD8P4FAu0Rj1oTJ0P44oXlXtYZxiTLiLfbFbWn1dhfizdB0Pe.vTRgv9GEU9tGAFa_AjXjqVPf2YsC8OG8pwPp7ym0wiLS_RFDLQsb_.rxzN1W.uWdwolvZBWvU0GApE',mdrd: 'HeIvvPxFiM9mgOh.97O2gguH2BwBkVRcK5xRQSkZ3fY-1752780271-1.2.1.1-JL.AbcSi7pHlmTIhTqTYJdjsQ6ztygqPygOfsVrNdiBStTourFwUmomqgd2hVYEKPWssD25_qzXPKrZeslCEUkuH4m4Tv_q3TOMppK7QJp1ikTybdlqtuTxXlsoVZp61D7oqwgRBvU7Bdg5nCJVFZpdw_AQRGBsS2TzPaRLMJcbFX0_gSH3wqH0deFqXhueuZ5nq2aO1Iga_FZHgQfsmVsVGkeFcfzqchuabJZtvYjQGLnIzxtnSQ9YpuMm8VbhOxK0uI9JN4OzynLaWmfdSpD6EJsHJNztIPegA4tPjNadLIRCoV_ChfVA8kPjEFxxgqr6FMngG8bRY6EarbTz4lPWhZ4VSSLYvolBJCUmlZ2TRtirjHcxQUk7f9S5lIAgo22LkhjFuYKMMd3j_A8kQDV_ZPTJIZlNT3koy3I__mgQH8OVsqSfMagVG_BRtWKGHBgIOkDwByGEV99oBQ9ubBAtED5aYS0oFpm5NFhdhCtkDqedcBAFXCg9FOpxx0CcEL7yGTX0t.CVrHDrkmvbdemNz0RBg8ck1vk18fClaQNxtbrcWukcybMW0SSO6cYCNIgW8GRdK9.v59.ygsTt4ey4R3uago9Y0XIlSla24KxLxfGe4UBfOywsytRC6FbMU5e8LjZgnyvFtTBwwJ2wKwZx.DRX3wPaj7pDCNzKlfdyZTgvO6dBq7kUYx4aZqjq3Lm6Flv1GxfAqxYUkV1arC_ImI1g50uBmdqeLg1zJ04Kqw_CvUf6GWT2WW3HKLBozw4Ixn_iD.8qvRcGQ_IaLlN67_q2PFtZ.Ij.Zu_zIwxT7Ep9_1Ut35yq1voGaqI8xRWhlWUFcD9EIBgUrrinBV8Q8SOccnAYrdkpvp9.1._ytwYOcuGbHoXYlQsuh2ZCeGpaMTHgCyi.sBr9xMX4KHS1vOEw5RNc0wlAdonneaHjIweXbbKkq1boJsxOWM4mioTT486Wmy.Lx2OGwj.4yeaFV9ENSuQOQ8K7kD.hESWaKoIfAemBUppw8xx.SzTqXzKPUjyE.KYSSmmT7fWZgMQ7hUw1wLx4vXKQxVAhSSeGN71n749PpIytoqwrFU255NWP5HMop302UTddtDgj2SSXYm4SiMFydz9l6El9mRyt2sIYt0xw_AhNr77JSNSG4CxsYUBrEHsV526n12EPQmXaU0w7eJL5Ox6kCOQ4NimXJx.Ukr76_i87tohbpTvvcCkJXA6J_LsK.qp.040w0A3XeuMwcICiYfbo09g2a4QciHc.G5i1qry4WHe11xy6iqJfAldKwqYxLHglIrKtzMrTK9q7buk6doVXQVzPDYtBw8BO2zbx8XoJpN2ARiB068aWoo1hlHRN_3GmZpA4MWuhaWl0jbrbsDqoAL2O56FuORK0RK8op_95lSiOD1QgDJ_nBaLrpYHBcw7yr.obtj994nXjgiKORPSZ_8BciffC.VOoLioCdPmg_H.tFWp_1P2j4wqY7L6USGSvp3Y2hC84zcNHGFL2Gifojj2T81kVnHBos8Z4fKaorwvf7MovqUK9UdzXt3TFNtj6XWP1HvfgWxMj0z6T8v_tSZS88T3s4kkLq39W_FScreyeYOGyfZG8wfsEAIvdd1FAhhfc_yyn2A5tSmRwwXQYtYFNWtzWVCLIO23OpXXEqa44IuyCl0Msi3CUVf55qE17DpbgZ2u9yXxIQDS0hiEwzZ0VnvJ6njeY8HJkMVogxulZ_tyAbA9xdFEV1RRZvl5A3Yj0oF_IevnYDYAxpjxHw4TSRbfQZ0ELVNnFMLle2gVg48tvOGYLD8X2P_htvSgLysCAKEXvCckRaJHcejL4wqrjQqYOHpGYgjshauJHaIv.Qst5pgcC_pGRDjZoYcbDHhSsfpZIfX_oWG2V.BNEgYgnjvM6D4QkIpW5dfZuuDBlfqXwXq6w2E_Q_a22Jd6Ckpgl.cdnSGaudqA0cQRsCzFuHOOEMfzNOibjaKBmhSy4qJlfTWAuREqe5NqdDpKNuCU1FrIhtvHefG61ylEuM9Hx29Ih46kCPAUTH6BQ2zBd8o_D540dAdcknAtLCVQJFLBp1VxoHGi8tkvBj4DCW6Q0QFvpLS6DmjWwn.8.MJjB1DYxhXY3EvuiAuGMAcWkJBbFaRrHIhmj8DjkgX1LdASYJgvTkTpgdMfqXzl_kq5AlNBAFrjzAf.39xae9aSvc1_BvThz2MFn8VyhCwh1kjdF6MPR2NZa1FkCc1Xqk5qGtAXpYDSaFEdl3i4WwVdshCXoSoalNEWe32aSisgCVM46sudvdXyorQKltl9M6iVd5tE3juITY5P2S4U9s0VRHIdTji5CCyn19TyzNSKDbFVW9aAa7rvS_OC7RiV_uLouprvmw1h1hbMG6hEAun4eIrhdJnOt9vytxukf9dr3DP2Ttjsz0VQlx8t9Md5sajmkka0zsf1FkOEXVZg9O1K0lSqCyIGPzPMKlHOL0sKNpcMhP6wYV27lI8MU727KNr7vK7xpN9OKwFfCpr_FLRF3G7Ur3YI2MLpiCm74NMEfpyRam.ox3ksIOxUFRUlpHFCvFoWANpbxLV.Vaj0w6Xyy7zqHoSC1GLRIXJmQx9oGf8QOGExizyfhF_EpTaDI2kmNJLh2A',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960c1eb85471aace';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\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_rt_tk=HbzTMY5__VT.S5eRpPPNh_2BjLJAiOZctL7Xw0NyvFA-1752780271-1.0.1.1-ipErzdFuP_bhmwxdW7Am2pOIZkO4lOuOq1hBiZDOHy4"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>