<!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: '95e0bc69b7f0ebb5',cH: 'T1gmS61Vkaj2ev4UCq8hc4dmwnBMPERYbp_uA73JnVA-1752325357-1.2.1.1-VwarBwrdd7B5lZUtlBuUO3Bcu7ytk4cl0cI3dOHdM24lv3fPt5ABiX7oD6.l5ZdA',cUPMDTk:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_tk=xHBxR3BFnEFGXl7Nw1ODKO17mYfEpyqNCJRCnJCN8qg-1752325357-1.0.1.1-E88DgHqyHSmR9gK8AgvN.bkilmn6YdcF6_SqTgJwbUI",cFPWv: 'g',cITimeS: '1752325357',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_f_tk=xHBxR3BFnEFGXl7Nw1ODKO17mYfEpyqNCJRCnJCN8qg-1752325357-1.0.1.1-E88DgHqyHSmR9gK8AgvN.bkilmn6YdcF6_SqTgJwbUI",md: '4qXGGpQLBBIQC6cKCDpcLYewLFQpXmJwQ9sh6xrahKQ-1752325357-1.2.1.1-xYGo97aEYcccUg8TXop.Oft1fQ5nolmNCvQVOBeUhTp_0jVtlixZL0pNDN3JJC2ThPllWg3d0DfmbcAnVmYiAdAaeAchYV_2xmUvCqWIfr.IYnr1aXg3sYJXWZ4W2IWEaQ0B2Y6n.PWYt2pyxk9fjOUTw39C6YeNAp2v2LfvLs9cxXkT91hXnQvkYC5IkAxK7m5vDApftiZ0Sw_O93q9xIc8Gj1g8hccau8XBrNYg0cYmTuW436Per8q3bPD6X7yLWcb1scsM2SgM19MmWCAGs7e58a3NNPmWNLLpSNEyit_xsegHPTeNPQZRO.TN_ya56bFk7_5qsJhe7MOT.TRX9CaiG2mVqmwEVRv4dWDIclTXR4pil4AKwaKGh6XVrvBQuyWrnYLKuAkRhN1P4lb2eAbznrl19Sf8O9X0H.2FBKw21CmJGhY00_iSh2onn3qkMcqwT6v7h05eNn6zY356zvgAtBqgFFlnWpAByD60fNU2fyqK.o51pKWTgX4lUMOrEiStyYU84tpQykcrCLjBAD1IR7AqphjiVs6IsVs4xZomdd45soK2aHDQuLQaKbw2g5hvNp4SJOdnONU5MibQChSVmvo_bclB9jZPOxsf1tVXIzbx2dxilKlZq5q14EhlyFez8xAQNFD3wnw9N4hRBpb1heJhpwaYC8Af1eAzk8N3Z.6NAoUSuubmMt7y9gdDl4dRr.NtnRrPOCxxIXUunLPA2mqPySMjmGnIb_DuGd8z3vbztl2Dgfmlac0k7D6MkNdMZxDp3EAw1vNcUD.Se83eyckhB5WGX9sXqX_fgAbilx61xjg6Jezl9s4fir3ERWzQbWiGJmng.NYg7.kkdLKRBqUJMNbzp7r162OB1ZFT7Zyx0rHd_Fr8dKoSskXaAnGoU..BuUCGKp2tw6aolilEmr3SOoVQRScHqUbnUZ0YmW4gTB9e.F6B2BpK536G0SA7kDvwmExWxt2biABtWtutlu6Th.rN2BQiBZ3Eyo',mdrd: '3Ng.kuwqNlo0j5LAO7NcblRwyy0Xn3GV3Vg6U4SoI2Q-1752325357-1.2.1.1-Znye5V_B_sq4YLS_ch9kRqhySvJN9K5HUsOsy5tvT3R6Mc67rCk.fxv8drXTweENTz6zMFwnw7BMOr4LR8F9TuEhTBeydRaY3U.k31Q4ny0ULtUfDYfZWde9CAcj6xVGj4UGP6bMXd5MxSjmql.M.r.8sjQrlpEmHYIMkKFrWtaWtevHbEMSC8gGatdpO7vvoPx7cvDOu2kOdRPlGCB1AzBudlpZfK_796zsDJy0cIJKZ2GmHWbw7xRMX1_5hkTl1isRGTp71C.JMm6a1FZnxAnCKEEjjcNM03cOhU_SzQDGKClPP10ybWskassdyZKnXuRgeLABwL.6_g8vgmAJVwfLygIAyTlbOH70NeefvRutTGhDeOyK10ed5n6776BQ.3JaPLLuwdzNzGbmosgjCDSdBhKVsd.4Kcqi2WBuXuxK78cRvGiebqtLCVrVHNK2nGpxiKwAtLHTb.7WK89M91PylOh3o2xP_BHmvSHu3GzZaDXhv_MblWLZH58vlRnUg6454PayihGQOR6WdzpnBHp3M_0H8XlglImpAoH2x6yGfa92d0lnFkvWX7UIIUXsP8tCGgp.iWXeNER6jCI1fJwav7SXRpredV_aANLCrWjZNXyQ7whgou.nzPWdeFr40wGrYLI69moAjwXck_zwSdT97GmCMyC2PF29BpTkb8ux0FgNv_p8i6TRKI10o0LCZTAHTL3i1P8JFmeBX4w3hi8qUNbkSwiv79XSoePphAfuELQFnytJcKo5GCsvk204Jh5jw6chbfDYq2W8VZs3tqLPAgCSo6rvUZrLWWuv5oXu.DgzD02dIRjwn3tTWCRVnYsEK3.IuS6iOc5jVUnI6w8o9h54bL6yyG6Qo8LznZHtb_Qd.aA8Uudc4KyLszICmSlUdCXOUZoeD3eYrMiD.nfQdD3pBY3AiTq1XFMiMOjfidwdWwz5XRlXGbITahIlzeZ3e_T3VNaVRNZvP5_nS0eRQulCq62RfuhGUByt0RtRd746oZ4Ex1Gwr2PG8CyNQ7KW5vgkgmf.S2.l9lHUeLz2Q1uMgszjjjQ7n1r9r0R3D75WqoPXJy_KftSu7SGvBeyl3kMCqVXnGN3LqbUX9W1V8_ew3tJCQNrEYdNV8zyRBri4n333PqIrlc5XF4AN95nhzxErh21BrLQet60OmpAS_1HneVsKfRc3ySeaUBSUHt88j_Tly2CthzR_8PTmcV2SAt2KlXHzmG777FEtJ.bCOpH6eDAJf7xkgdNniFOcIVB7F94n94J0y9t3elRAdnF5zziABBlN4dQV2LTt1XzAvbTZYjkBakgWPDcR9yUqOhqMObwLgBdlIo1404m7gKzFl54T5PRUSiTvh72_5.gtKSI19ixxZefS8BNcFJ0BXlOKt1OoS5vmYw7aJi6n.0bU5v9kUTcICXpDcIrCyPQmt1W5VC2f3eQwSuyIOj8P28rFgsmKffeHYXFonI3zWpgjMdnkm.lIwizqMv7YCT7Qa4MBgNP2b4ed8GdHmP2OVt2YD06f.XP48pJ7ybcXGmi9ZjOk3iqvz2hWO20AKn3xYhTslOEGbuisePdvOPrYR5LZTDck8P9EqozZ.unlJv51N1ka44Z2MVGpyre0zHMnUcFHxIMXfmkuNPolNwb1xilwfabul_7jX9_6UJFhr7_oiY_hrSey7eKyg2CYZTed_GVKIsD44ItUZMgdX4rbgbWoWBx1DD1Xcxifp7Mkr5vilQzqEPKBh2hCLjC7noQHOzZQwkrkw2EQDx09tPM9kj.OA_x5L9gK.YkRkmA89RRia76Fk1KecRjb2B_kpNUChPNfoJrg1XFMAYHIKBt1eaFahbwhQdkKDN8iPLDqGuZGfNHyIFU_x_64B.CEllgoSMJAFjP80ZshkrttOEoI26ANm02A9rk5IX6z7VEAxpe08zC1iEnS30JEonbNoJ.8UXdOeP9_GPSGPkF849pfyeaHf_Vn2F4l31AbRoqca_AVqfxprOtmvdTnZlWfy5eejzrbq5K9KJM9JlJlRCWf5h4q5mOGPGne0NOyUGeIgqizOjIYpEcttqnyMEnof6kzx6k6OPkMBNP4iypgJ6ZNqWW7KUYP1Wkgnapj51MiUwTknXIH8zu3699_K9Q1dG4igAUUVIz.3rYdYyAqmw3YxasZp3mD03CTwEVSD1j1Pr.ZnfcmckTU4Xg4aodZ2Wf5TzbJZN8RrRXauZtMc4yeqv1EtkWUSjyxi1GGaZHS2VyCk.fYvqnVjyxxL1PgOfDE3vzYqiCB8.FZPUWZqQxg8HzdveQBk3JmkvTnHtPwLddDFgcG_oL38r8xdGiYw7yT0f2MXMvLUV7KQ80Ty.zfnBP_lkR2oWAveNwuV_Z85F0c1ZQzJmv308R_.4WHzczynL5AH8hzxJRsLCtBw.cpvg4BFOQ_keaXi1Mvntguy_8q3EACOL.yrwPzs8JXKQpzqrHW99GwI5yDvu3HgTkHY1Hvmu3dP02qZ1W85sR.vReRG64UOb754L_Ihu6vxgHZ307nH43oUUwgEXVxPhrAOs8ibSksRtIwX08qJIq0kOgtjLZcA.bMD03s1q68ZftE.s2L0Fz0AlT9N7AmX8FFGMVDgIXd0eNFWNvqYxFUlzgxiZTvugdbTcEwpRaOSQ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0bc69b7f0ebb5';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\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_rt_tk=xHBxR3BFnEFGXl7Nw1ODKO17mYfEpyqNCJRCnJCN8qg-1752325357-1.0.1.1-E88DgHqyHSmR9gK8AgvN.bkilmn6YdcF6_SqTgJwbUI"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>