<!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: '95e0b9ca91ea7117',cH: 'z8CxEK..dZqwVOz2NAdWZfz1EgAgUN9glNfa_XnVEGk-1752325249-1.2.1.1-wVi6Y.F3beSnGUfxR2UtveUS3jlMfUHqx2G0qM_TeEjfqdNVLlLMw3Z2OMt7YbPS',cUPMDTk:"\/p\/xsb\/src\/3080\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_tk=YINXoV1nHRt70lAsOrcRsdEPnf4nfR5VCOa0AUoYj2Y-1752325249-1.0.1.1-ulrTGHGkaVQ3wyPK.zPd8uFPTiEdEKoRax5Mp2_D6v8",cFPWv: 'g',cITimeS: '1752325249',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3080\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_f_tk=YINXoV1nHRt70lAsOrcRsdEPnf4nfR5VCOa0AUoYj2Y-1752325249-1.0.1.1-ulrTGHGkaVQ3wyPK.zPd8uFPTiEdEKoRax5Mp2_D6v8",md: 'ZN32YsNapQIdU96idOTb4kwedsTXDqDilPsG7hdmv74-1752325249-1.2.1.1-E_7NxwKCNHoN80jcUPruqK_E0.U872vkM4kwe4eNIkaDmfxNWcR2IbqOF.y14Vo9VVcomUi8VUyFWI2CRZ2NiZoOLPDezNJ41YUs1Dk4YGc0MZJsG9e7_nWrIcUT9inS2VX48t0p_xq7UGf7NsbLB04co7FvcEewCwDMnl5HzACleLli4B5wa8a9OvlQPhh4t.Z.JD3xPbVv3QhhkGJmtzMn0bexEsaZw6f0QkZ2JyCHCBxrS625DEBFwr2ltrQp8zal2v_lILeDW1EMdCl7jl3JKFPuZDGeY2TVttim17kucyegRDsnD9nGtopLU5M0FcPs4HU3grykn1SDrDLrcCFzZMHvVPJyKTx3dz.xtM8UogAMP0Sb58Zr3rKH3mCAcSL2ArxqUaXm1BrWMFPDf5TY7CnSRFCXuNRGbyPFBoFve3_wq0Fr2cncRcGQuZEoKS3IAq9RWlVoYeEjhTmwOhj15p47DdQicem6ywpLVwF4PZVbRLX2jWtNu1KX3Nsszj4s_OxyhcRStHK.E_og4GZQtB55lXPD3sDsCd3DGq_ZUoA1KNXa1JBrlFW7B6QkEv9YIPZP0VgPF.6JWyI7f6VtM3eWtZKdPFCP9p_yiDX6fi2vFTn19WyAaoiwuqav6W3V8Cf75KlL5JbA5cDKZ.PhbjIlKA3HQVg5akVvjL7mdZFjBfFPMAl9GS9QyO_HSgO1r5GXCcbrfUW1Pj8qG.CWQ45ZRFXAQ7J29Po4NtzD6Um4_HnuXvYC4NkbXFEusTccGn08Nst8UjaOVebP7pHWmsXZOTX..h0Z_Ix4ype4RlefyZ8WX4gFp4tU4ZTeEvTxH_d7UwKv2ja1_E6tFhSglvAUwaLSlLLVU8r3VCwZvL60ghzIHcr3r7N7z75u3M5AwCZho2dTm62opQwhqNnFHbwlK25xBY56ffm6gMa9b9BudVCEIQH3opnloCeLgMa13Hp0jtCq5jADo_Ud8lZ9VIadIRRIKO.Oil4Xsa8',mdrd: 'cWI4xeT5g1pyibTErZF5mloREpFLEgvGUch2drku2HA-1752325249-1.2.1.1-KDM2P2ckN94rjSQYqbpQK0mXKMfw.MrycauNkZqVO2M1MneIfUx1l9B9jodApN9oEauxoMkR_kI6J4rVvq19Qt8XoMeWu4J8GienRUzWEySuH12pWwqqYCoGKA46uKebE2wgHfTw1THn.yXlpcXm3ojQgbpJcqG6o2bROEGwzdhCkga8W5aBfoNmA0Nbpq6xm7W_6tsKMKC9Glt7H3Bswx37mqGKijGNv.qPXhD6SfArDT60uf30qh79MhFv7Gd0keURjxtiSyFB8OuiaESStc3nJqu12_vW5Ksc6wgL3quLoxHKMhWjopFNcvkKZx1L9bOZ8gpzaj1ZWiY7g_Ms.BEJDjyMeDEfXXhN4Mt1RPSWhpjYEzns1npNtJ0o6KGPppDQxHUcl8fnqwCl37uiBvu6ipP0PT.NIPR.tWsU9WEh_R5sH0_WAM6IHGOKNG4xFpVA3NuzTs74ZbZtpK3iiJm7PjmkrudLWPS5fByuGowYducZila1dC3JJDE6_voy9Dtm9n7KxLlGgMFUGlrgmFqSmX.RzUB2p2.S13TQIgx1NmHyATtfB2VaT5zwUPc1uRfjUPUdHicU0bo3MQdIN.fgwp66bRgWqSimBQIYtckfr9mO5CY0672vY6iWxTvvd0RC1BK213_q7pFCRiqngcnXCXKkzHFNSB1dW9VfIVhcgKPYzAPsXVOYc5woS9B7LpWpM5HYvRAQY5yeio58Xu3kxv9Z..0U87Gh.JBd9yaSF7p_GVy4SyZy4PgCOEjPVAZrwR6b60Z2e4BE7TTeUNsWbj2lIAUNQD2i3KNb7I7UERh9mbvruGtR8Y6uLakCYbXcPdxEU3le9vG4C8FBhXrClGUOceqpSMIYYodqUkUaA3CwIh63FFzA59OpSTO9_mcPbK3K.y_PXjzjtLHAVd3eXnI9NpILu3C8vTnKXNxCUxLJJh2QvqE_GrUz1_kI3iCQXQgGwTEdWOjaU1iN7OvQSW1ww6Ev1XFWCwNE1O2cTI2AyPP2lqk8Idlxd9_JyziOxdTlPqN41QZRQEpx0mTVHBBwYKOCGKn_uMc7oOTyANs.hkvqp6hSirIzXfXW8BDnlSEg.IivFCSeYbOVe8cSoKlLvP_Hx7KfJoEliU6l7B0pz4_Bx8lCk1WcY3s3Z6JIcrFwUk.sx.tpG3oNrCk3ofayNb9EYgLvJUkLLBqFLlsCekR0N337HEp9vgvk1kRxtRWlShd7CdeO0vu2cR7WX6giZrs5c.CZEq1p4.aEbEQCSh6ap8My27xvp9WQKROZ4H9UGKPD1sp_EhjICJzFbluDr0.DroKkvrX0hVJ4Y1YPieO6DUtoc.TIo5cDd.HDG7JlaqvCRDufZ5R6LTDXVWpYEoCF4IcHcnOt81cuVPD.S5gIaXIItb_Z2MN5a9PT2NwdxEuhczeaD3zny8s0DfQp6JmDz5f_tx5Gqq_aAdz6fWVOzHbvM4xszI4CGdrsOVZJ.8Mfp8Z0l94YsZtN74X2vVBcd1QMwGMMarsk8TmnRpqMOMQAkKDj7p_oW7nk6x9iItEirnuFystQGxKMJ4jQCZRu1z_WvFqx9w_5dmLZmqhaQNAFmjKi8JFDLTmPLXaKnFpqa425Pk_GIrm4DvwkhOkJAMroD6Sz5PQjGgwhypTYsr408UeZNDRuiaVRThh3aNDb3pnI3LKcMCrcQfFX.xxneXG4hrZGXGjDODitvdFqqlCnVxcsIy3Z73VJt9.6oV6vQ4PzGN_7WL5IRRNRftWWRUugfxqc6PZ3IEK.KhaFGBMdTi7nB18fGwFJtDExSxOkAVwxoOLS1um6wZlakHx529QHf9gPMD32a_VQuPihpdx0OeiIlNYBtl2N4ORauax2n3FJSHDdLrS7Q0d8yqwam8YP7emkuOj2u4RUgeDHKBaBvjjsTgsnSYSUO8BP2XZC_HaeMEMfsZ__qFdwRkwdjY0M.mX925MDfr0He7iaqFNNRLFehQZMI_adsz3Mt2oFAdRf5trwYMpMgzVEv_MPsFmjkb40efzR.Mi4OT3M9P07Zq809CvC29TI6WB9Zg8RvYb4c.3AKW24jC0amUTwoIjdaA80kj0mKSA9Thonvxsz50Hrh_WRRGGWK5L0xAh.o6HmSqxdYmjMjWBdg3lbN5j.tAwAcq.lsp1KEzutgKejRlA4Bhb.qhcEFY2gWTqO1m8J5mBbfmibT6m92D4NBvScAagvCsFucAd7hwt3WoIiyQDtt0k1x3QSvkr2JXdjzFmnFxGw7HMo0cjOzQzPjRc71TR0wztyjOCtH4Iu8tQBRMahJvQFDMK5zDGEcuFXkuQcJF5VxQzx9.ObgPGkzAp5q2CN3zsbMrc950iBPYd9fDJovMJbutM1SZXFnGt.z1lJuAKaj0yOBLSvczoMB8zG1AvQq1Qy1qg.eGAbnjpzzIHdv4.pvYCfhlDvq6nauCfke_Xxf6APMaU6P5soYZkMd5.aPhjdf5UVdItaQYSdBtuL6CL8PMm2fe1rD6NmR7wXNJCnXNrxAY1VJdQcBymdOke9KoPbKT0NJv2eZhtlcE.txYsXhI_hvr1ZjJwLQ63O6o01Sdm08o3CbKhTH2BSl7L6NJf7DWtwypjUx4BYhk8A2Jw7oJtNdfPidJMPD3xXPegeIA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0b9ca91ea7117';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\/3080\/tree\/\/trunk\/XSB\/docs\/userman\/rbltin.tex?__cf_chl_rt_tk=YINXoV1nHRt70lAsOrcRsdEPnf4nfR5VCOa0AUoYj2Y-1752325249-1.0.1.1-ulrTGHGkaVQ3wyPK.zPd8uFPTiEdEKoRax5Mp2_D6v8"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>