<!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: '95d285c4d095ab6d',cH: '3hydzg1gBKgI15QrkT3scudvEeU6DZuy1T0OBQ3X.3Q-1752176318-1.2.1.1-Tck4wzbO7JiRuNgGramhRTosCkzd6nxSyRIXqwz1nTE6S.0JJc0ViiAbSzWPFqDS',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_tk=GxnfW6ItCmME_KV9ECrNq3As4_jYXx5q90.V60jApDQ-1752176318-1.0.1.1-ozzigA96APG5SbbZ_2a7VFCeKTohaDnFzziideITm2E",cFPWv: 'b',cITimeS: '1752176318',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_f_tk=GxnfW6ItCmME_KV9ECrNq3As4_jYXx5q90.V60jApDQ-1752176318-1.0.1.1-ozzigA96APG5SbbZ_2a7VFCeKTohaDnFzziideITm2E",md: 'ik5pwiB_4T5GBjCR_a78fXQvpyQkV7s7UbfDIBAkglw-1752176318-1.2.1.1-ds6sDEr31otxjJ9Kx_KV23G_O50UmuIivwcRrYk_mzlrnKq5ZP5A8mpoKCArE_VWLOBaijSgCOU0bY_xV0uR_YQ8qAWSMTNuCgLkbk.SxkGQLnd7ScKdtRz8djBGsCYOBve67NJYjCNE_MDwBmSNzMLPm3IR7VC9vBKtYvDXdI3_H0rCG6cefBZwSvx4fvlU3zHDcpUPM26Ol5EttLmIuBZpaAIeSXDAcAP4arvCm...oNKx6n2lxNNswwO1MXqtNNauqKEJuAJzRkbzx2jKoM7Y5u4dF_IpfWfjPluhd10M956abdIjHCcatqflQgqBjHa4rNxQ28Yi05cdiGaiS6OH6I6dtIUJ0mTya0GE7TB1K2hNpywaV_f7h_ssK74XGqKXUe6TE623Q9P403DFPVsa2iP3uqEb2UhQ5WbmGcfj7Pulk3FOPSZ2Ti01oqVgteJOMgXso9i3WeK.pHsEp9IY_VTEaG2FB7vToJajD.ZZ.E77hYJFd49pnVDUt4MWU3MmQkA5dK4abdonaMohjDkyHXpPEeSCHTgP9jlkOSIN2QBBuis6nEH2dRENodhp7g9H3qNVOxcZQ6Ntg9j_aCZuRPkWZY4u3fwk1el3cBSALJvju8MaGJbgiVIOdZ4pwnJmpVeJW0DXB40R7CQ52xkGF4etJxBtyhfj2wploDFCWyK6oyiGnYSMb0aqtmJaUb0drdtzQr8proyRGQ8fLbemHSct9SDVzMG_DBv28XU1QKhs0eHjVV6MZrpi4HSW3p1qm2jLheA5xBlCterdk0GIFM1N0rxkWfVMLOwyFbzq77I3eG8m7CHTFZEnzRG5hiSrLKHT5vdJMnmZFYv5Q5iKQf2mBlWh_0T6y80RwPaB58foSSxUvSdpWKriqRUqIliTm_g0jXbnHDUIGIcOV9qufHZm.yoEULKb4shjY9Xyfz0zxI3JkXTCJglA_ugj5DL5W9mQqjg7WN3avkcgxi4YHz_Q32Y92uc_zmwPFS4',mdrd: 'EA0uJlof3Bt4G6El87THJwLNlyiR6uAjshy9QOUgH1o-1752176318-1.2.1.1-HvaMLbayvnj0vqvqUwZz7AK_d6ocIsYVGGMUKytb5q1lCdds8vKtBgwotDe2RdrqJlnQSj2dzXf6n3W43yOZbchmLYcD4IeL8A6.QtJcT3MxJHczpWegHbFHlF17sX7XDtL00xil8Ckp4aelukpMECw4EQllayTTwqDqY2yIw27wxRgGYQQKyGvLJRrbib0OEck8wwW3YGO92ZQouNEP1jWn6p_AvzYal6ThUiqkZ9Uum0XY2BJyWoCpSiri8wbntV7yWT7Ih7scdUp_w_rZi7M3GEU6bKHWhBrBVHULvnMOSmnqJqeNSaBmpfL8sxgrM64tgftYaP1pdAURIfi87SM6BXr744L65QIByNVZY0qHdHSDLPP7iBMBzTCrfYKKBU1aMhvC137KwP7EQxWXmHqzJseJGn8vflvSuTlTDfLVzgluCW0deBuIPD.Qk_h85fjQP_z6_I9ETjNUS2QTG7Yt.jDuzqkRZXQfab_XKTFUqyZ00Mygahdl47z9usyKt.ovk3LpJ_Xwa9t7Tg6dg9ybdtaAw5nl8U_6T1_xZEMEExwfaOMFTe77o5xl7TTlDTsP8g22u6Pq0PWjRGd_x_g5zMNe.Do1xQQ9jBHoll.w6YIHW5m5YhQegWlLmEbHqQZKS3ANiTiU59EUM9p3IBraW8I7_z2iuEKrPIRbTEUJGuupwc5FdRr8nfgYe4uUXH5qhGxEPTzIbxIwYn58v1ivv9Wx2lJea60HWJrVfZmBBzS0f6LuA.YjkXeDyBDQdS9RNk7fpE8f7ngflh2qPcqoUUlPbmFMd.DekQIyEQuJHAoKkyY2oIakrrMb_xEhiDbQGfC4no8LWx_Uq5uxi1JC.8hzDEfpUhJeUhKw70RL2c389Uz.HMkYu3.Qy2IrUWw1sewZ4E_0GDsSiODXBZNW0gfrwySIsR8fzE5SCnpn0MX5rytuVNxB2LOYlDr0hvtUYQdlS3dxrwOVX9UTG6BLptzSlFAL.hCroQsyoY6Fa.NoLbZURM3fbQIMIwL_p93GO699WEAUcs1aDx4v9rA19HRPfhUI4er7yOPzU8ibCiocZvmI91cxwloqD7pIUNO6feOmrZ6UqN9dDG6tHbJ8qPpJZl0Agjcjiw5wgz8AnkbJ5z.Sbk1xkc5Qq0GUH6155kcmekySU_Rro7OtFFkjjrlnFmPaZAHbAPYbJR.z3qMhXEBFfGKxp2MdMul2nd_zGS_BQDj6ZEkqBUGFhduzap9Urn5JXUGeu8Ugbrd.AXq8dYd86w_ArZN2g2W9j3Y6ZwmYq625fJjJ98wpkJwd7pfKv9D2OgZPIZLWMxF7a9ncNX6JSGSdzpowCiCW5XPNqPed2AvYORhCbNXr4TERjzGAIk_Jb83z995AVDu06JLaUPpzPCxPUcXPfqhGt8z.UzOdFEeK6s4bnB2ts3oy7DecXltykkHXFeh0_GwrHFu7ubqrcIOWO8wECLByi1coBRn9fF9XMwZYC1JkDtsAUqHuDo4l5uuVvXu6Qhm4ykFvIN0Gc7iRal0w9Oud0A3a_LW4x_r0VmrgM3b09N5t8VSWtC9_UdlKNug3MwVqYhxjkpqjueq8qf49OaUi0qmFwo4l2ap5aheKVqYm3tEmTLgL9qAb8OBzc1LwADPpHRHbCdCcwK15I8HpHde1lZupom1FB5F0em6TaStd5IZknwIYY.amSFrxJVXshy0_RbttbLe993gPKOM6PKXWGy3QxZBd5o.HzLTcZf2zQ_ThthvPIKXPhO3_498a1D2zt.JXrSY5pTTZoAw_8dX6EOdlRQ77vTS14o..ENzslc8O8_5GnAkWoHe0AauRmkXydLouoCAYWmPUd8VQge.QjS_pghyNhW7MEga4OnXyG5Mqa.wHj1RMR3VPODSZh_baHXGHgvX3SfHpVb_biBBSSLfrD_Z7Ro7BETAjyCNv3P9Ie9sF2Bfc.Q5sxlo7zkiuZ59G8tNaDLv9itfTMKf8afeJqGtbkX0YF_ScivBGtV.jDX3TRqOt4gCx3XldQ55BFU7.qMSQ2i_OoZQiyuSfZzt0Tsbl0pSZfiFXlpgd4AnF8aXVbbPJ1IMgVWr9e1xdG_6X9777gdoB4XYpWu75XsKkOlzZhI_.gpMFiOxAs_pKBJ_2FajIFd_CtOxQohDHUO0NJKjrLgD8mzDe0ZZA8HlMn7enwzJ7MI5o1gXMssIK0ctsrwtrffLT2y8eRhTHQp56n6SJKLlfBy0vWykQDnjPRI2kAjZUXDrIt0X540vNVQUg9Rb6JVw7t921Bii9u.gAeURDFAjD9sYak81x7PMHcX3vdUXLcaRtze1io4oPPhUeiSNFaD9NbTta6OfWnke.JgN2Xgc.hAf6bMfGCrNVSJpIe3jJe.thI9nFahH3dknedB52D2OITWZqDuHACfxDuGdYjlf57qFvy8QE8t4Rt0JGzAGLddwuB.ARzFF8rtl2P_Xe8DMLERVBbyEnRrU3hFCmCYppcSFOBHfvOPaMlXVAzNada6mALzV7qT_IZUeIZxZHKngpjHUjWO2CO30ajbnzIt8nq6cgLtQcjX3ffsgTz0rXSkgo8tT0okppOjqfBrMhqAiu5b8uy974FNNEnSzUOlVeEbTA.8eJFqWF3TGkdw.hUONRmeAUtw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d285c4d095ab6d';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\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_rt_tk=GxnfW6ItCmME_KV9ECrNq3As4_jYXx5q90.V60jApDQ-1752176318-1.0.1.1-ozzigA96APG5SbbZ_2a7VFCeKTohaDnFzziideITm2E"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>