<!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: '960c2a63368936c7',cH: 'ZBhKRFsQuBd5jnv51o9dvx4I44lC3g6e31jhC.DlC90-1752780749-1.2.1.1-hePD4HBrahDOCErj9vTI9qIgaDYoplgHy64DbTOERfETMl8U3Ya3JNkW2XyjJM.Y',cUPMDTk:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_tk=hvrkDtfhp8oeagGGdRnWg.PISuenVX0MSz7fXg5sHiI-1752780749-1.0.1.1-8rFzWs0u5bad0XsN3ibETEn1ulLwXgtITbaOk948.ZE",cFPWv: 'b',cITimeS: '1752780749',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_f_tk=hvrkDtfhp8oeagGGdRnWg.PISuenVX0MSz7fXg5sHiI-1752780749-1.0.1.1-8rFzWs0u5bad0XsN3ibETEn1ulLwXgtITbaOk948.ZE",md: 'oj1ptDWjhOkmvKD_5smIyJJvtRvJIc4witgnp6_ZVB0-1752780749-1.2.1.1-vOE.Nq6gxENo5LlcYN4f5M3031gMExS1PO_FBFTjfL5uDC17hYVJFfKDbLy5pI5ITYG4nQc.HKkBCFAqCB6GQ3pZp2L2XEj5EK_bGTg0x_Ii4V6AoH1ykSk41gDNPp9YPDNCr4fQynNhm4DUQXvxcEfaLG30XY5LE4rpWkaAcRQfl7t_xpIhn25k1lhApWyiKbxdFwoL9kW8KP5mlj69Z0vD71Uu8fA.Yf7DOTaO2pYPg8DTQllIZnyXzW0hfJpYoNXijLgx8xtpKGuHmtbXLG1N2cN3eue23VIxE3Z.vWZjxfhDZS4pbvl1NEzLh6LTFJ1zEUqDuU6MqGEROrOT_H4TRdZCJNsy77WITArOShMbIrJCC_Ri28ZDz6W2t7WZudEZSihkpPzZw01IT1Ip79AyQiSEXYUkZugxkgSP4yqSxNhGXmc03hKtA66m_dOej8Sloj3bCNw2_e25Xr_ztUqpVzammwEfuDs751ggse9Ss0xB393j784WKyzybak6SDBQDhLhaJhsPCS46L_yrsrNDfAPjyqBFxDnWmRItPxxuM5AJaOHX7l4WeY0xmIpGW.Ia_NLBbQrx.1FJoEghMjUV0RKBSp5zcXFkYKFmFF0fKVvb6.repTnHLSkdIL.EMsYipB3vSa5120Fs4IwX5FLgnBx6duf0J5iaUDsPj6mCQ27j6219AGZM5lZDURDbLngXiOx.89cpQWEppdHNCHk8m2NoWURM0pO7ahtOaTRd9BNCzcv5GaA1aI6jpWWNnTUZ3Z9gue11Ar1M3iA_uZI33uJjLqZaPNGbOKDRnhcPdsRrPjaOscQVEd4GIT2EjGWNOcDcz_tK7uWNQ5RzM5D8LDMFU5vwVnIODmN4RQNlKQj0UYs.0D6De0xYnrePaByI1SeWie1EbslHpBMHAAGWfQ3ht0F_CZbWCOMAAC04lSxbSmuqBZMoFzd6CC7MiEMEIj83HjCf6LRt3FiGhVxYLvtO.G7XNUtnvbtGtI',mdrd: 'Nn9ItP9G5ZPnqmgCNbtYCcxisbduZMwVg2Ewpgy9cgc-1752780749-1.2.1.1-ThNacPnmfeVYP12TMfNOx5suxYq0kIipKq1_7US8bD.EdeSySoPn107EWsNmJO2T62s9yumakSJmqsOZBRHjKNJxV8iMAmd._NthzCCaWWPK1gGKAt_ZYNLdAfRDWr9A6prlxbIN5qCzcE18.qNN1xP6kPtBvj1l8khJvOPJcrQuxd9WL0w0_n5ArLLzR.6uX25j0fiN2soPbAeS2cMn0saMI30EQ8IpCvtMZkeGEBiIiIIABTrIH7O2xgGGkc6bcQqNLFJUl4R16qDVDQNPXA74v6b6tpZiz2FfhhDuiAqCf4gBFRwWzy6wdLMXjLuXyxoEeoUx9oQyR.DJqcFHcac6b7yLKZpAlUQyiX7IvyPMg782DiHf1fr6osjHmugL16qa8U0uH.OopQJ3B8Ps_XLV7BDtx5ytNRgO0jttfnCxEvmyGKAM4ELLEN60q1WhIGe4kCAnCT0CldLFu.tHa45_dk8r2sr7GU1rpQ4EGKHIng3B2PS9TLIpYBO.12ltoA_yKhX5k16dNxo4JOHHYXVxDKi8TiICUYCvookn0RZ7h9F99yLrnaL6HlZiCYAxePZC3HKbmwLYNnShyHJP5Vb4fQH_lbd5igVuhPyTIwHVUgBH0EvQ.2aBmXTS8knPsf68JcOJRrgdJl.P.1FQ5WYyikCown.aAT.lXZlK5LSqdyMYbPs0hwvFmWWDG5RX4862SDIFuzhRt7wEikKOq3pVhZAGsrptYkv0l76QmS7K20TQtx1d9fBC.VMoI.Nu2TaF7zVmOzjRN6mcasoX782jUC5ojofblaviAjWboZnhOD_6uQMVXnXZgZb7ia60GCQzfqow8OEFKf8yumNIsPPSGzVFsnrp4ZvX9xExWt9au0SHBC3xb2yBmVzLFVPw6DC8sscqqe1do.5CyWaMUFqc_vbzf37XdrU8.4nEGxBk8IPcZAkM.HaGXDNDnSDRYznRpdovMoX1dOB7utzX5tZ_XpHcnyfm0PWMa3DaCyxzQo3209wF2PIBPUfTsNN1HuBmmXcyA9CpSWgHHSeGHQJqbThF.tvZvtcNBuIJ9R_IWS9QB7vclWtISkV5sVUfPZsfZw174L2f07pSpwboexY3b6ELRC8B3m09R.8IG4v2cQTV0OaBXmdkJP_m6sUovmZsca9rmQaFbP0Jm7wLFWQpoSyZnsxJddTuSZOuPIITD.6wEs5FomrOs85eyhSCPeA1maKg6JU2KrmMLAZogwkOxLu0Qrj2cQMOY0rEYXk8YmsinNzUc5jbw3e42ClyjFAIwnSEDZ7L1Kye22u2cU_ti2eJdxXWQd1F3o9sebRA8rKJA25xBBQ6DN1.HPbSoeAkj_QhWP3bpgkogswvELNyr1CAQ0U3pD5rwtwykhzOZydb22ep_XP9dOKidao2Ia6sHWFAXaXz1GV2gnrXJCua9iANjafbobglhzWeUhuYiMpmLYPBy5lV4AQ7dvZP5xWxrmQI5QQwu9_HNzbOd8NnLcKUy23V1Rh3AcUOihzvbp2h8nkshfHMFc3Gax1yuptpzn8lCPda2.y85wI58NXeOTweZ.6Bdi5Cka8jKCVg2.WK2dkwhycs6jOFoLy5TVpC6LvwX.H1S4IWAJ5XyTkU7e8iEKvtuP9kgVE_gUy5SS1K_sapKwrpt5KP1184fnde9PRMs0.gng_tp9Y.yhIA9eZJ8bxKSm935vNGK4dP9SRLIRh.AxKP3djCTf0FKYrdpNY4FYuSAU1UAcMOs20ixwo0N7J2Qa.f7wSLm0ZjgDjNT8IVYiV4SeRYCyBVILqIxH3DJHrgflWrqyfwOG40JiPY.89iGU5iuCf3JdPZ4B_XSTwMeWnuyjbjSqwBgS2a9Kiqf5CKCOLezvr1t_D4vtml5rcEoFVuf6Jj8dgZpOx6LT3e97nGfmgwO5hAf2k2QHbodYiSlfLLGpxKPPqNAycsr.wRkaj0edfEeBUA2YgLT7DFxDzbGMVUC8jX6l6o3EssAqhWEywcQZ9bKQE4.TFpI1hKPzGDkY9pIPhySFydgmis4iQiakiHbOuYeyIO6B6HmdONiBPibk9SsycN0KWnz2EdyMemIw2U8.NODv_Q753avFOT3CLwTgpBn.hTnH9OfAE2jRVyX3ZlN6bU.6LIgBCChSe7i3vUNwyY_MfMx9S_J3jSQC6Q3Zos6YUZ061gc1zdAauMoaM9Y5LyqJ9I_cAg8eB2eAl8_gwBX3S0ZiH858JwJpU6v3uIiBgXyuZAqVyoOp7PS45eWKHVv2ZcFPFdIohlWrH2utqyiA4PGSmaqIQgw_LkHQ_ljSctl9OptNTu25MeldOA8d9dU9jk1SwX8tuRa7rGN0p0Mt2SZQOjnIODHfoMFDrcf29KQarGPZHZdWQl.e4h7rxpHQ947bRT1Rm.aDlVf1cC0dHMO9Mf8u9.x84XcBqawgxivgf63ZEoJaw_oCECr2KEauGrfnihUMkJu7fBFuYEX02fzTducwpRIL43AAkG7umzL.M.wFGWbUqda9qaDWR00E7KcSslaD1v2C5zplcon9aVtjk6kYvwG6KdF12uNfTKGzHTUqSGT8CXTpr9H5YmtNwerQx7XrBTqKuds5dwhcMCiSGMFyspthiqaEeTY4nu0GzgejBqWKlYNWBB9g',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960c2a63368936c7';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=hvrkDtfhp8oeagGGdRnWg.PISuenVX0MSz7fXg5sHiI-1752780749-1.0.1.1-8rFzWs0u5bad0XsN3ibETEn1ulLwXgtITbaOk948.ZE"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>