<!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: '95e0cc25035bac40',cH: '.32oISu5EFaEt4XEdgiNeZF.dVE4xnyORZwEMO5cuuM-1752326001-1.2.1.1-HuAFrhWzWoPhdVWABT7fj1ZLEercxJWzyC1WIwEAarobQRxISD9RdHk1rxI.THXN',cUPMDTk:"\/p\/xsb\/src\/3173\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_tk=QmMi.47s4zBKF.1ZafN3UKlAjBCNXD0xlmoIFqAkNl4-1752326001-1.0.1.1-uuGg6hMcTBWGwlJejEWyb.Foz3aLKiEyBkYgxulakPI",cFPWv: 'g',cITimeS: '1752326001',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3173\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_f_tk=QmMi.47s4zBKF.1ZafN3UKlAjBCNXD0xlmoIFqAkNl4-1752326001-1.0.1.1-uuGg6hMcTBWGwlJejEWyb.Foz3aLKiEyBkYgxulakPI",md: '7itQopqs1J09c1pxhxTcaKwlo9l2K8tve8NtiuoFkBM-1752326001-1.2.1.1-pMhmfhktMI_crl48sfe08qZMlR31W3zqNI16MLjkr2C4rNTZh.ygXeYpGgPd2i3CnSbRszE2jq1sz8omI7Ngqw9qr_HuePF.YH6ZCMW2VH_JjrsrcsOpk2.oyJfCyWuGleB41aUEx2gu6E0j7gLKPUiJcav5yjG8WjLP50Vgql6JXP_Vf4e3gJ6cE1Wf7l1V5AfU1UKptCknwEkOWi3XWSMzPmMuo3FIIdZHf0vd_tZTBQDi5Sx6XfY27POuDKZAWU2CbcgfpMVwT_MtPV9hfNY5rtAOGnePXhG0.qhTX1sLdzSUSCRmGijKbK5DWeQ11MxQ9LgbbiEUD8kX3dEhxtPZugLwL7YOHRm4cbvDsjnCvpceyrAp9m1zfLgc7pp6hMtot.UGKwSjTeAYrYGN6gICZes9bbaVhVGWN7P.3DuBI8z7..2ptPkQt4PP7tJMauZ.9kuI81FZENpZN8crrOliFZF6ReaZsjLNC0ojO9mI37O.nfbP4jtuekCZNkeoivNzHeU1P7bfiOt6W0.QBiFlxHuVCwwtFPPNYzGsuxci6yNRIio9iMle5wbocjbZ2HafxM8fRtxg4fSRU_CzhQAlY9Yg1anENkKLY9S8NAcZhUdULhKQjdZRdLI4pG3fUNeFSf3TQK28pd6CuwNGOCPtWwZG.lxfaKlhlZXZJG.17fzWg29eq_WMZwXBeYHJ0V6R8tXzcxTdC4Dy9dgSBFY78JKMsJbakzWXfuyf6gyYdDTPty45K9fCsFVeadxNxNhYI561mnftKclpuTGymaujoambpa.M00AJXbbmPdOwwJ9nUG94TlFn5.Xn3aeEH0PCVaYqCi9bIzsrXzrThO.eix0Tck8otAamYZvjJXzq7BLsDqfQgIVB6MQ6pJtAXF2.9ZSM2hbanID8QLiJ5X_iICNzb5RZHe5zVhpyYp33fsPw1vnXH7q_e7ygvWkQOAqgbvlRNfSZC8s8_weCwv9Tx4VoMwd73PbBblg4GTA',mdrd: 'ywpAuh5rNdFeK9we0OynfdZ8SKyWDcAkF1iRlgGzSVo-1752326001-1.2.1.1-bK8BYANh15A0GwMCnVH_wCT5JH71LYZAjcTqZ.wLmw0WJtikKk7IqFqqFvykNcdIaJQHTXrZHQsyO9kFLDpRDJUjpxKH7c.k570ke7ojYyqyv4waL6w8NhccqDA6XSjCoVqP0_0jrrqbObeU90OkUS5GCArvaNQ9r5bhvJvqcj4gaq1iHD734UPes7Lu7f5KPyzIN2wmshkkn9e1EmtOReawvFGV_BkwZOYKVXAtVsuEcCkSy8NoXO0j9uuP4glRTubfFsETLcxToNyHG0mlN8n8XAH0zW0AiocrTFacXQN5NlmXR9YluCVvyXemKga.LbsDSN0bCqCuIoHo1_9bGIfDvBkVUOoewrUCKb5GkzXtNnL9aYbd_Ih3cmTbMzGIZ.m2nZh3k7bg3la4JYwic4jghwbBkJRQYBnvsNbO4M32PgrTVkoyPqsQzlkk4gXCT42IY1ClQ_L7mFHfLTUNlqM.nN5c0cuCcK6vpYO9LcVr_YiIn4l7u0SNLoRyf_qphOvAOOvGiUtWQu0mf4yqTfnQM7g7cD3oCC0NpHuVR2Sd.x1yub8xku0HUa8S9BgWTZNTA9_.sqaktxugIL4HomYnvEfc2_lQFcX1NqLCDpNGYEsnWT0cjRpIPbRzL4EIdYseP2SSTXnyiiSEgS.fPvZRt2w8Nhqya12i_L6vXOOerET2tMStD9raySvEALGQs5Wd3HwdL7EY15.d2fYz_i2vQtl2HcqvtskjHHkXLsFDlfsi8SSEsWWfpjYtiLQw5enfVF0CT86u5_uazkkraGVve1x3byIsiPFcSW3wEXr5i4eJ1j.3YFoJhYZHwQh4FeHP7582y5SKjdq5W.Q4skX0PtwQqcNMjyZZ8KVEvr4M_BYZKWYj6hXqtW_3C8df3ylV.dwTHDFxwNHyuaZFh.csyxJa0rcgM60p5yOyDZtUTTcijab3nBjuKvCCQS6nndDCmIYyCtKMl86KXCb_lhliFFd2kwCs7NoaUjPa9KM2bCIFiOMjzY69CTLuiaBM7u6BAyoGSRDRrGGpLjnY035hqoclyzMmGQ0bmao1vB2z4hABq.DmoyY4FNDo.UGoDwAEqo7k8s2gnKBsgpYdJreor.blgHGPTLg6oOcxzwG8rfHteWQ4rh6qmZGB.J3XPndQEOznSrgu1I6mxS6v8AkWe_R.jsfVgCx4wWhYiwX3gaZhcOTEdj8mt9_21domsfA0zSihyWQyWjahr65PEcbUO4xwMy33wPsle1.Vq92k5Pqkq0NtnHUdEyZ0g5PedBPChKwHFJdGkXcNfdTwODGu4etsQS3MwKdcIsTbrG5U3FY7tbZEjbO6pqjk9eCA3KqbtLo0eNV0JS4OJOMSz7vBahDGm.XqTZ9PM4INIlLVQaH.eRQNpzwiAlnaZ0YjBg5eMml5zVOSxEXO24jF8X..IqQKA9W8i2F_kpmxes8_DtFt2VZEO2AllrX0xCxIMsFXBAWp1sJCq9Vj3rtf_RnHR4GxFkGRjj39IOAwP28zjS.WolY9kMeZzNlrzhawB2nnNPeT6_3iHaT7qvl0gIVANIaHIYJ8WtAQSwe4JRLq1pPjPO5QxXhFewtt5ORnQ6wWT3ksXG5HU5fL17jTfTgpUeqPKJw_Bq8vQsa8MjMbrRkENljnLnyPOCNuAV60t8jxvFGFlaY9tKzgciY5hK8RUnqFScktPv8Gd2YGIyAfNLYRpHwPIXzsgbbFwSnIRYzmGZa2z7_BOXDuxgUDNL.q.aJA.VZA3e.pcqn.fX1Zs1ULQM0tYS4n9xxk2BkMuCz7pHbcx2L5JwLc3Xh.bYvB3iM3VtXZWHvoM_.9DHWsX0tXct8IZ_.FqP_5v1l4V64hdKIxMav9XJrlr5D_doXB6SnpTR7c9ko8HlXm9FbkZWdYn7Hyz2N58Vx6bnAyPyxKZMI2l9c6fN4x02lY50FldQVqZKAfg6kiWMZpCyWq1zVco87.qUbbyD9ztGwGqZCeGQgVtQeqFLQdJHJd1Y8zJ..mDgzcrwo.VutjrN_tAwKEi3je5CbP7jUCt10cSROu2J0Z2.JlLCS2wVuw68NIHuhSbddLxosCSiAv.CjnzBAOLq.dIgCIPQlf1KMNskNHbLK_YgcwE6qujicWb2DMEaoF.RyelHG4DgrZnnRee3x4HJPtGALhPgO_x9MLMq524gsGx0LYwiE7yQlEt2yqWGkxhRQ54L_WaTzLLivGdgZwwlQ.6mLtoYOB1fLEWb92D.HK4bxqsXMXcNkszdb2bNZTY4yf4SoQSd7U9BNXW29w8hez9vriIFKyhHNbL9X7y3rSj7fsye0f7A0fClVVQAYKDvRbX85TkdAY8yU08v2JLBwWQTIUhHcsZfJf3vBiSsJjuLQFsPSSNTvcdDLZBbhpqnBVQL171dg4sKsrKpdvy1YdH3BFB2y8bAZf7WfRG1iExEWIUwTuVUAktVFH7D.QH6cJv3rQTaCkiCCsnJ3aHflVfKo4PNkeqpV4Iu9eu310odJjcTP44u8uwR.WGVM6X73cfuV3dCfLcKyEnY_86vDMtO1CPh169Y_L6DsXj3gfnaaxmcEb0w_ExHTP1uNcHJJffJ5QHG86xvLSx5MY2jafhV.FzH0spNYCsuEj4UJS7hdp6uc1ZZkRuA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0cc25035bac40';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\/3173\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_rt_tk=QmMi.47s4zBKF.1ZafN3UKlAjBCNXD0xlmoIFqAkNl4-1752326001-1.0.1.1-uuGg6hMcTBWGwlJejEWyb.Foz3aLKiEyBkYgxulakPI"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>