<!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: '95e0b99f46f07117',cH: 'ND4SCX8c2XAVunZ.4tPdVc8xpMlzHy.h.53ssRS84WA-1752325242-1.2.1.1-2W_r0XatFJ9WX9lfwzKgeffq7TmqHCmoCojSK1jDPleaZnNFewK_DXcd3QsFax_E',cUPMDTk:"\/p\/xsb\/src\/3079\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_tk=g5IUz5rukCJbSQbDlmOHq5ApnCJnLQ.qL0OfbDfElCk-1752325242-1.0.1.1-tlm.dRatwPwlgUYVlwgA6LqkiiConRiUn2uGIm7pUEY",cFPWv: 'g',cITimeS: '1752325242',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3079\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_f_tk=g5IUz5rukCJbSQbDlmOHq5ApnCJnLQ.qL0OfbDfElCk-1752325242-1.0.1.1-tlm.dRatwPwlgUYVlwgA6LqkiiConRiUn2uGIm7pUEY",md: 'loUnN7ZCR8Zwf6yTdZ7Qj.NQ8jfS.XuDObiC6r_0n.I-1752325242-1.2.1.1-8wr.Q3EwwVFNqM7y.jom4LUXlYwH1vS2p_yOrZFOtQ6CbnM8k18GTE4kLqsuMBm9PB3ihSU_JRrB1ljIRB3WQfLrkkEX63Xm_NR3PWY3QMaKFej6DXdWfrQrHlZAo6t52s2IpDZQLxOJaP5MPGshCkK1OIcs0U1y5sZOxLL3ZuzPyFzMbQswT1aO9Ypp6iTWcZX9JMu7CL81ZniHGEY0fxWtT75FGwMiRrJ.wi7HFt2SzwiDIXeN53QktR6BXpHVJvfNxccfE3ChyC9WlSiKrLdqDTWq2Dh3dBWk5fBNf_Sph_ma2NblDVhP_K.yG_RFPJujz5WNKtm8JCxfkydN8dl4V4ANxjeOkqGJph4HW7FPmojahwepTAlJgQaFiZxL_CpQIg1qcRpxxM0kVHNx2DD6Gc67sfLGUfmSR2wNdU97ob5oqFrHG4POXSJSBM4PyhpH77q9fUpc0E63kduyRlMMLuD3RSIoLmnq3wHjnaicnb8UqJCnPC8.Fxzbc8aO4JoXiUVfW7xbwPMpBAem4cisOWrE.vc4xCcIlbaWESsJDj.sNGMhGsgHWVjyQwnwcrGRbv3czE5.c8MqrXiwIueNh8Mncl_6gedoyH7awDCOHoAhX80QM_pca4Z.QbbN4kcdV0Oexwr38C.LIRf8Z6SSe455KvKCZy82SYo93KUA81erzcxw6xk7DWzgG7pIc0wUTrjWWPs.j.MubMOdZHXapPbXw7AroakJbAyfvqIJADXWBALV1309pWbD0KwcyjET.wJO6RiSTVAZz0PLyRdkUEZCyj8CcJ.vkHOdQYKvkFj5pOTuU3t89HKaTG3FxZJ6EukTZmfyjyLW8wF6VQKWsUL2SeWB2RWNWWLdAcSZ4mSGbtoV0U_OsXX52NvIaxSYh1PcpDsd1vw5DJJZQlnY19S..C7DkgKpoPTkh0PHys0ANj1nDABEFjg5KbRG6qVkeI5Q6gXYnbPoj0g62A.2sJV9Dv0RNY4xRa6MO4I',mdrd: 'xi3xg9rxG5iKRkn0SvS1o5jOAwCi.sDDPJXEWPTAlIU-1752325242-1.2.1.1-FCK7bgEFWa95jSKjAUMuosN1zRc9PMmSe4By8VH1KwFA6VSWKH_rnnIguYHdRRadf8of4e3eh1BuxhYTuLSyflpTVMIUoENSsiWBGjOYyrsTIDBT4BiXtaisrhMTTU7m3zIj7R3z9.comIgg1PT77Mx028zGkd_qO7ttFAeopwsWtpr3wuBC.vy.wuTlV_AR.J0lNQsKQQzMlNVxMeLnDQO4uhZ8AODLFiphLa_8X6V0BJI2PqI3806JhNPeAcbjUhnpKgpZlyDwEP072ZEAlLn2IdXHYLL5qKPpDglqgiZvXBTMSmDn89p77Px38Kx8p493euISo4tQcX.790PQz9.jt4Ds_9CZk.EOqsPzD90sfTIvG3Q6PI.S_TNTXr9In0jkgkKOantM.AFoS.N0uzY06JnO0xWOi91.e80gH2xZw58ERXCNZfSyMQPDkTKN9tkwrEiggEf7s_tbrsMtqXH4dcjmz0v.cwFc7wogM.iUxTIdN15pb..RgxFLA6tQN5IChob4KmH5BsTEvpFg_gf7L3qXDs9Fg2QleXwB_cMEmN2YOlmBRwY39QCq9ZoQZaN.Gx.yKyGlBAmYwxo_B281gfxj.B9hf4aP5kcmPlW4bAnpyWnL4KIMLLopN2ZSnA2_fO2GC7yjRs8fRTGm626n_TEArofvGQ_WvXDtPB148JX2XHmdXAhu_TAlOeCC6AkUGbBH3QtayYiqdnwEQWG9bz3t3sS33gPg9aidx8aYvnh4bF0.k9p4Zq57M5Rxh0je99qQcXukeCXaKgvW1oL.0Pu4SZDLH9_y47B5JITHh25lQKFOP9jAwJMaTAp6BaITkRojAJbTb0uzAWH1tiUtpEVE200io.vfJcmnHGJrMCViYdRxQTKzQq1_OJLUJDkr_7jVp2hU9SYBFlXniV8w5K0Yan02jEgKV43GrcbFhkMe8nFz2.cf1VLtVJzEBQdIAp2wA3y_ZREKpMZBTQUYC2PQvW1oF16S4IFOVzw_Ij5mm27FryxZz9iBAYRvj5eR0R396SbrBEhqvAzY5X5WEffCGMZhnf22lQzboGcp99LaO7wuEyyh_BHpxMF5bKcmSILmkuMmu1GQkPFVAjGKGab9m.eTP94tbFjXvw6YSIigV3JTBF73OYjq1dWcH3Yue8pvEkPPsVEGn_P4NSfNnaiUlDgOJTm3d9neC3ge6l79gSsKLkjOQrDC0zFX3FGLDgu1TEynP8m82NUaoI9SZH4HiTebZwsjTgm9hKwQQNmtjY.nAB4Jgh3kpwHR1dKKVJAhPsFfqKJBTO2uq0M8BsoE5Nk574ec6YrAV32Yc7R6OFDlgMldC5YHEzzYXEqAVywC39I.9AB6UfFIyu5jm_6qiZ7OP.kEw5o_lRZZx5ej.8kmv2DYlHpD50vyzhZ_9_jxmBgTUgq.xb98M9FiWTpkqvdbjzJw1POwYfH_h.8VlSX5h.5fJjpRDfhDAC8qjD_DifLF0tANKZz2uIx3s.0Bpr4G0eRpGgaBimB.s6A3D7JqvOFe51use9y0dW0d1t0hbgXeUKvSsn_1uzYpLTQVSdlRgsv1PtrXQX7gFhmrHqlqHhOy8PqafMpVgAsK9kBZEshkWHlAZVYLXR2yrBNPgv6ZcgDNWcYxfqaCGptTuUrtWFLbh_tpQEb9boFFIj7l52ujEiDiG5a2OTzYuG116U5sfZQ.Won2EWXIP9Jt3GLjJr1HSuQPLr2aWphUcFce5HHIQI8vTI57O2gOufyGbjUAq4saGrKlLQ.3u_xqShUvz0mq7_vTYLLn6Oo.UUp40xseJvwBOdixCpKEx4uT6446636GcxXXnsWhWp6wD.Nu.4.Iw.GjnXMQDKhI5Fmqp6EzE2p.rgn6tgytJyIpnhfDILX8wgQ7xxMV.N.fi9_T_PRc_BxdtAb78.ikHV7Lf.9jeBT1Ky8WirkrDQEGSiE0tQEYyrbsHwHn63LfH1XI40pgFKw9Hkx13TmNz.kepwiGrqzpVhGFZvd2W_ZqBi9zX9zd9vNK30f9tTFj8kjw8Gf9ZbUkESmroCxDJW96BeQwgQYgmi.LLu38j_rQHA0TBJrP6h3K6P5sMBpGf7gtb6FKWaIj8PNF1Jc_g1y6hJzFUqUdZRtl5WBQXDfJF2TE2XYWIlrAd682rg8Cm.byNp9pXFhBV_TbUxzwgKNsFinZlnlPUHmx6A7uuXsRxH03eDfivXKbsum4cbHt7rWJHM6ecQD3RQIRu4r9SSoWgOtinLFckWlZ_P6FVny1NIXNur4__aUFieeTc_MgmFvYSTv1Pchhb6KNylZY2u2hiYjYlecmWEWN1kG7v81xuJllX2y6f.GTZxf16kb_npU5iuqVWv2LJq0KAdVcO6vV6myghv5tSMfDeoV_Hah2mlmXHgyWr5zTEjSxPiOGeMneYIo2rklm2WA5oDiSDnHSO5vACuQmnwg9FYAiCFnTbtvryRgGc893PRAhKeGgRhqYipJpMDSyGKf3RrQWk36K5OwY8AaDkcqO0W8Ug1VWjhthLu9QWAbz1te9A47sikPB8.DMWDv7JZFOStIlhl9EUvkUq7nOyccKPeH5zL6E1WWDMnHWxBbLQxQnacRsDZhtDLSIMqKfiLtvcaTBdTbnOS8OJEJvUtrOpw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0b99f46f07117';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\/3079\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_rt_tk=g5IUz5rukCJbSQbDlmOHq5ApnCJnLQ.qL0OfbDfElCk-1752325242-1.0.1.1-tlm.dRatwPwlgUYVlwgA6LqkiiConRiUn2uGIm7pUEY"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>