<!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: '9651efa1e1f8e277',cH: '192IB36xbLY8a6hEUALXHwKJkSEtvqIL_zNLuD7oc1g-1753512345-1.2.1.1-6Go0S16V.nnjBeFLl8KxISr.tw3mS.sNvwmlP2fD5.kmXUWyKrpKSmptMkHOPtFd',cUPMDTk:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_tk=4seIDiEJ8L1mUESUfYQWwv2XOyXrEbBY..UbX1Vj5MI-1753512345-1.0.1.1-AjybIO_bXoDc.Dnl7vnc3nBARS21Ytxf.VWum2r98H8",cFPWv: 'b',cITimeS: '1753512345',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_f_tk=4seIDiEJ8L1mUESUfYQWwv2XOyXrEbBY..UbX1Vj5MI-1753512345-1.0.1.1-AjybIO_bXoDc.Dnl7vnc3nBARS21Ytxf.VWum2r98H8",md: 'GHJyP7AO2qqkrLlsgC5Y_bfcp6Q_cLux7PPWkhYiVig-1753512345-1.2.1.1-g7UuwY7.ExumXy4c7TSwnqIOyfPKYNnAYKxNQI.IgDQ0Z.f7Ki5cpgxgRW0fPBqaOJ8R8nVTqOAiI9i8q3sj.uJiE0TwPFwIYNEBfN8CgDC.5z45n1aiWZ264XhdSQgt52rAvnCjifo5kPxV6RP_A96Lfgql_V3PGaUwz3uemlxocxX0qgLRppTqx.0eqeWq02Nt3_dAOHdn7xBMKhr3m6ZT6qVIBkk2jPZaZkaYZ6xcx.rOEl2h2O31StKmVrBjpDgl9KJ.VfWVZkvx.d4Ia.OFl6qhDQPhH0x9lmE1q1K6KqFzpCuuOk30AUhTEOnij7tykQKGAJZvic1u23DQG6DGsZJk4_BhZ9nEKVnJGirvPGMUI9XcbRbexBd.Tf1aCmDY5_DYPCO6.WJuZuxiTHFh2_IjigcieVgNFGBDbNTX8EXky3yr6HUue0BWK2PKajDdMocDN4fRzMS94PUl_..Y2VP1FxbhA7DimLORhhwFmVniAOFW.MP8PDHJLw4kbHcAAhw.tpi5APNfPvbNKTaBZOef1nGyulDxGjI9I.HM_FRh6HOxbwOC99qyQgDlcS7iEuofFUUs0SxfgSG7oLdao4jLj28Bw_9LAlCv07NyFHnblZ1fr8hxa.O65XRPpEVxxePz41Fr3afawikQpfEp9ZprtEDk_l3XwQ_.NwNMDOdbdYyfwusEDIH7kLuCzIMVYxCY8eESwJnmfRTsW4d0bHrJyaSm0lHSvQSJUriULtcaFvmc9Wx8vgZVzwPiMLpZwVdmMbtw9YvhOIGR_8aCuh8AorqeJHstYxdPDpRJ5wkfvSXUmEwb0aYdrNewrrkQtMfsX2EwIiGf07HBjAeM05Rj5aewkfqpflM9JVKJMF5l88UstuH9xzVx.bBUapw3qPbPhnDhRpgajlMPhUOEkQN9wwzs2TUmwYnnSPuTTSxDPsAo86AasxdBmJ.gI.3CYVh5k6fvGnGK4sIhLJuS7BeDcx4Gv.4VGuCRyd0',mdrd: '0cyeYJ1Fn5zKJawwjRxJIzaaRUhu24anZ4zYIUhd_Ps-1753512345-1.2.1.1-FVJ_I7yplh6uwGIf2EePygACkHLIpJPJJh7IuGptma7Fvx.yiVSMd6p1OqMsyJxmTesM7uR9PaIh0fq0JhbMXtFb9zIGFx_WvUFxgaRDrjkZj29MSwypZPFxIrSC6VPfaLZCXUB6zH5We.khIdZ3QKxR5H5M0nn5MUGqq5H6GfdeCgBRlcQmYDggGNtD9w7Ie0Qts1ylAuOqKfPGUDrmfzqqNQN_U7fCbuHwYF8QBtvkpY7U4_xh18N6vaiMAA4Y9FAzEuhJy11nbxHwKjHSo49G5ykstlelAJ7Dsz0uyqwxBgQv5MF8FYjM7tM7VrlnfC84hdWRf8Qyo25tzqUR5Olsm7i39zJsrbII50uuoRMkMseByiihcqs8ZDOQLD1jEJOpaUbTCkAp.JzHLn5MJEfEgkXle92FdyQQJ25akOIgnfRAEJl4ttjbMb78kNJXNa0KnCKuGgNGC7FJTw626grmxbayEmVhBdqiQ7w.fLUb.g4Z30zbMIbCeqonJG8SERvDR5Is11AVp4Cp22Wgs3GUx9YhT29.musfw7.0Mtnb4rfY2_XSwfE..T_04heh2EsKljl4IDytlJE..U8DxSVFOOUEnwvklh4AWGYuVjNeyi3kXfPJim1_0Nv5075Dtl1YbPV2KluMzmOVb1lQYTUcR1QgQ8gqEeeHt94rFZi1AKAdWuNPXVyTC1mSRDhSUW2osN7bG0_GwJJJWa6bLoJK3BHVqpCLi3uY00xofoKzJ9MGEt2UrVVhnBKd1A1_Uc.aW8.4awRK1fE5wGFKuUkZ4U6y75G7DqaAz.e9tyPJiUsuhi_vEnyFSs7MY.4bO6hZkoQi.WdNtkV9SgYAfGw8WfVlh4YhLa7H6g7MOyl93bDv3.fhBy2IIqXTzban_fOtDdBG0L2ysfvfMkl1RLpHsmmctcXhn9OzelII6RJyq0D2IiOXA5Jij5v5FN6BjY1ur2pvpshDNdQgN_oZFWy80mLBv_IMX36DSPRvKMfnfLgKt7HeNj2rFrSVx23XrZeNZio30sCqr9dw1teHMdNX7vH5u1zy5_ZtTtFUb9T3DE.QOT46sirIxtxeoN0ALm6R9DZdeK6ZnAnad0bQwWgCLaozuLQpZdQCBNhyoK9yaO4e8BZA1HsSvN7YYZtUgTMeUgHJwomWXCz07Utb1_zt1WkONL8aeTP3Mi_G_k4o38yEGjK1NjqrLnI3gk3EvjcxoTkmxz6SlkJ300FdVHPFmTKU8zQz7yB_vOK7Izck5HdGEMf40FENB6HfX0UKxs2rlXll0F8PSV00P_3LyLgOoQJolu0ulD9g96A8iYx1EMIexzuv10N3XBEBXZRIeKmFxKyBsZEAey79lVM4Nh_wC_dXD.FpoxGWBp1kmclcpgKJVsCO8b2Xfywy5lusNRvXdgCz7XrEVTP_zGArfHYL7bMzq_nUOnIEA1pxUJPZjObv2GwYy8lSaJJcj3O5udZMsTVH03jUg6utP6c1H57mHElBlb9nb4ADjp6c02tJv6umMJWLNu4DxowFYP0rOjxP3h6HXPtCEAg6QDsEy0ITG.ueoZ03_EV72yKZD725B2uc7RJk928I0iIZOeh5js.u2rsOVAU1hOvSHpy547Wf45_h0Q5oDQDUZy1_RO.PPNjs6RxQajtxRg6u_1heZhNOoZgbw7RUBouvUPjAwRsM1hj87yYALnDoENTE85WyfDxD7izTGl3MwFqM5h8_kjGHIOtJDA_mq9IcygWdat3hL1nf3iMuoIYtr5LiLk3dCOa4hj1UW32c1ZkNBc8S_BuG0VQW0ZXChWy19401goyDf0m1xN8WDh1fIp0TophUf0zVrGM6s.YZ7lWbP1lONgUCHPmdwvFPZQl5e8tqSkGSqOx9EJObfEm6Npcnxl6zTIGiF5nPkmrXwzVZ0U9NzO1GY5cD.31BfSQLw2qpGvjrYacSPWdGIMO0BhvGt7NfNTcgvv2Cc11zV0IvlW5JyYE7Ijij7mKhWSFWL5hVEPm5z6WIsnUmGvBhNW4QI6fsrzXUQ3_6Rld5IyTF3vZA408512OcoQkOrr9HFEctLgcGDC7ZIeDZ7DpEGswOvuUiAuT1aZzxSilTCMEte.3AswWa8R5VkbhnihmmwAcJGiBUjJZVP5UZo.AjwcpHxHhwooSNYtuJoaB_BaCNOEnYDgUrFCbeg5t9iIQKmZ5PD832VKi.ptTGyMTpDYDBPGKUkLWjq120jAjq6ErE18KH08yBzqU0KPb68Lic83LhNGrj6HpRQRQP4hwwz5Am7YJnjDsseYQahfQJ6ztWYszd1vZgne6dSpVQcEyKE86rc1tXxVwUigYJVmWYkgCWqoaRZVPP_J4mKu4CrI_I4t2ozlsML7AF6QYMiP0rmfVHmKg5k2lh_cCEcDu9OEp0lfdRNl4GzxOavkTKJmMuYGXCXXR2rkx5efNNnCmAXzclEqzJMXbnJeUZp09lE9C6a5oBgddVxM37I.YE4nzg4zwHW7jJbkz4L96iu9YXEthWkz.IsLy4SYXaYZPJ_qs62REhLrvna9lFPB.ZkSGFVgPhapH3rJ46VNwflviEuWbDxhaqIZnylZrzZGXqggFZxmnkJMz59H7rbgtBROko3mnf',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651efa1e1f8e277';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\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_rt_tk=4seIDiEJ8L1mUESUfYQWwv2XOyXrEbBY..UbX1Vj5MI-1753512345-1.0.1.1-AjybIO_bXoDc.Dnl7vnc3nBARS21Ytxf.VWum2r98H8"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>