<!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: '95e0c75e14e3aaba',cH: 'iFtX2wtGwlRBJZ3ZKWMEmNlAk63Sg78usqQ12g6BwB8-1752325805-1.2.1.1-himCqEmMqja5IC7LRecZ24lr7ZoteUpexDn2XU.q8u7o7X_2iQVcoGz4yBlYPCB6',cUPMDTk:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_tk=BRqGIngF_MNIvfUlhUxRWwdOxxRuKKP6.4pKKbklWaQ-1752325805-1.0.1.1-9Q0rp6cN3hSJzyCUN_HY_tjxVdF00aQbdfC5f8R4.iE",cFPWv: 'g',cITimeS: '1752325805',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/xsb_dbi.tex?__cf_chl_f_tk=BRqGIngF_MNIvfUlhUxRWwdOxxRuKKP6.4pKKbklWaQ-1752325805-1.0.1.1-9Q0rp6cN3hSJzyCUN_HY_tjxVdF00aQbdfC5f8R4.iE",md: 'eJjMBOYougQaxrrQ.hr0JJNL_C3Kc_v.64IheivqjPw-1752325805-1.2.1.1-vvvyGBBnGyt13McEVdBpW0wq.t5dS.6WPSEASLwoCvwsV_4Yx9dS4_QTuhZN_Bm0mATxurYvzVZ9W2EeTFH4N3LjQXn76jWktByjeud9s1aajGMRzzHoH7uLZ1GMCArWpio9.DdnBp1zGFE7bN1vivbXAtkTzcXpY298E4sEXHa5Q8xvv4AWEm8NWL9I6Fi1yVn._kQs_rhDmLvKdx9gJX6aW2WStLvEhokVGkwm.eqbvmGyqZBAzNAwmnQFOBgPJj6lPduTj8P6oNuMRioIX4rC1jclrG5FV.7fpcA81bLPg7uY668zApVIgtyI51B5x3uWC3UYuOitLhREVsBki6l9I0PtIwsL1f6fjGj5U4XdjIlYGLZjDbRAKHPeh1wNe_ruQ6laJgp7d0Tn5UBV0c9sF8La4JwITRek7e1fCftIhniVsAUDJA6d3x86lDM7gL7CMCHfqMMQCtiIvR91wv71GD4UJPGRFf3fIUPvk453RM4JDoNa7BXZx3dMI5yzB4ZO2._1AZ1lztVH6Jd56sU5iyEam5MiMtBvu83MFcZE8iK7o9MSbJsv5hgK.fnCW3w40ac3FnFfcmzzz0dmXUM6P6yuh5L10JwUkkxeF.8YA0HduM8FXURbUkVtbidYa8h5NlEjCfMUQjbFFo2srV0.X_ZNoL19iI4a472Jny_OOknDK9IgWwWaf0iP5u75z_RtnhEF2G6XQ5JuqA0I2jDS5nzARpGYatqAnMPOfgMwjqO052_XUCQJlKFigEBjOivX7aYF_3Fpq2gSigHqR.WwPBKmKFyZwnMfU0J0whuHVUrp0Pb4WmiKXzbQe8pV.Z27_9o4bFbxrY32N4Ld2qw3nlUwYj_UCJEBQDLWkBR.gi5eVtjDhcS848aezNYNLopn7AbUokX79abBE3COHlD.J7NX5aVqHPIg6Lk8iEIOYYuAzh0R8PUsWTGFJtN5m_vEUXPl5tfnzpGexWqHzTN2okq0sbtEwiZ8KinRkac',mdrd: 'VAN2yltZa4NjF9RjpCMYtOjjEpunIzaJQ3WkO0XFW3U-1752325805-1.2.1.1-5Q0GXEpszH8ife_mS8HghaPb_z6b6NVjxO73y0t_QmzVKeT733SW.MAUoHUVfAgpFSedJHL6eIrlKCvVOmo_sVlJcQ_20lXJJjh8nCUMTbZHmGIXZ10eFGceKg15Lm9DFrA7myi8nurUuWIkritq7ek4cieB.HFJMRoH53mAVuQH6MrMZf57JwU8KkyoyUnbcighSD0eF9I6QvQ1TqB___ev59Mk2X_459N06PZ7UMVjR8sqTo0zpjeuwZBoMKuQB1nNW_OiEx9GCI9GhDq0kAG0.pDLrgnhvYkx3fruepsIz1807HNdB30z5o3t3mcZbPxDGFtwOG6fumTfvrXAqBgiJJ..zrOZJ2yG_4s9qUENd0QlEybdt79ksO_dWnT0Fw3b.jdmOWYgTkAbPDv_eZiC_uZaYwpt1ru0McQ54AyJilRoLKjruPJUpat88Y0AnHhUKogiYMSz7YP.QTchImge7xgCWpd9BlAXbeSAQxx9w3i2DTBLK2O.JAj9QgM1JIfoXZ2Hfy7GOP0201r._G2BmCMU4InR0uxnc1wTUFHzPCUliimMciGCAw0dAxZ12m6D83UkgDjh00sHoO1jIorWLpeuHNWvm41CKe.HpmCsaOIYlwO9Ap2bBYbinzwSTZzUHup3KERU9yXnA4pvNjgpvBCWdUFAyn2252Hxicc.m7QDhHTN6M2zhKU1DYo2SybSFBXfCqE0B3NwzAUnAP7O1fgFBmv_3EXTCwIe3y6gyTcTDplD4ef_9ZqxLOJxDBlRUEjRIkM5WaHQHexigrBvdSjP40h4DjcNRZulgS3BRGGzrmPoP_f5trRpCDEL_zaLTMpfefxTt0A_XDXi9NZSOlRdHw5Min7DBWwgbYlYpvtZiyFQA5.TKs..RnCQPoSiaSvmXOJB9T2.FNqqAdciJoPcCIg_zsP18Fzg4Lwo50B_RVrStL4KCBvWqpdPLUGrlmSZMBezcua9TeL5kt3HNIt2yOb2cKHIB0c6u7iSE3nkx2EYTmkucSe6Gl_ghQfuZOhYiR86s_QuWL9Rbmj.G9s6FLQZ6o8.BUq5OHdgx0fjhD3Oo6XEL7VK0SXDRtl_LuDoDMSOZ_l7Y8jnUuDZA1vy7R_Rf2FO9lH714NSwbTg6r5.yX.NP7ubU2FIqT1DY4KIPsJu3dagwFYUZZEQHXGMYkc7PHGV_riP86sjayWLDX6O8pS4SId4TIL0uzVkhEQpx2VxiWIhayXeBZxtsHe3qXBvNJUjDcZxpGq1bU264uHZ6k.5yFlD9H6GKSUJG5lyvNfePh6cbzQdxq5G_X6lPafKk1.Xsis944rcqap_6aoILPq8QFUJpJqsvSmJLEU0Zs0sMAjTjLrC0v1q7lR836.tz.9DlH3qpEY5iMI5RYdElKx3D0S9jNDjcquNmyo9RAb.tEjtzZSQeiNUYguvPr1fIJwQ7B9qd4O.qrKpuDf4AOrQah8EIXripebetRm.VWQSdoYLh2cTDoc_JJrzdzYGoYZpPltsW4xEPj8w7xuw5p2QUbvt74Eb3GdAdBEhsyq.g_uUq7rFuNY89BBZqAnwvFHdI8ruvNhfFxriwdsYgo10XPQcidE0O1K3wYGft7xVsRJTR7QWM_eNmS2DENdq.d5wnu3PfIXyzNcqD6e.ZNeV4h.TpDyL0cGsAKMNRoKytSD5l8v_PA8cis6k85qymFgzj2YbX1.oepILQxDIEotUYCswLhP4E1o92hbPwjmdvFZoYYXg20U3G1WI6oOaiYdeONrxrr2CbKRNUE6LZXrU39.3DICp9pSlO.d5pUWygWlG8lVQCIKxlCAKM1TfgzHT5AMRNDPt_haiPviZ0j3VO4FYGdlY6x3vMyo8qweBL_mk14CoTdrmCV_JHBY7jqzMDFuqRsRJjz05.uro8G.Ppr7rfygiPgTOVKZoKMkMZ30c7CY_gOm4QzwKKtD6n1pJLohhChAjbvdhtGGRFpe11BcIEkFhhb9zn.0towEla6D9p.6_LTbsdQO3mmb8bz115GxNSFx.5n4cgbzIyZSksailLMzdlTc76e94.jWihchDmZgR.feuo2lGFg0XfxngYpLNHlJW_WSasLVUKf5WClVJTI6O3L3bas1aRmOSXUrRcIwbBvHDevTfqWRzbQQTUIseAxAS.XrXpCJgaq6lTwt_Cf7Z3Tys1AP_R3a9dTPviacBt61IWK8BItbGloQ5qcSZ1NQeNxr4OHMbBskikFQRxHe7jxkMDNeIn5TiICCMN5kk0nsDP5Cc3eS7G73MTuJgA90C0Aed67K.05ISPXpUmqpv_atbIHHYN9cAXioLjokczSvxHLBY5w0f7QY5HLpX6MWxcsJOscdKzpYY2BbQpDPCekgieZtEdOz7I9yVv89udki8T2wG4w6PO0886UYvCmr9b0jzs_kJQe8YNfVdpXiGMe0JsMYpXJdY4g9au1OLjqTZ.9jQkPAi_KoS_conAgyJJYnhhgMzV64aMlyFSNORQ5nYMjBVzZGUNvXup.yWrj7yN9lNj3knVNmlLQ9fZU_zcZapDlzrN6Zj3PZkepE3v.Pgj9DjVfA1nC4AICdXuMIheyZX6l2J_QiXVGUTB1uUkVcGS5qslIPGSUpaIGV0DBtfydRceWK9EgIdBKUd.A',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0c75e14e3aaba';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=BRqGIngF_MNIvfUlhUxRWwdOxxRuKKP6.4pKKbklWaQ-1752325805-1.0.1.1-9Q0rp6cN3hSJzyCUN_HY_tjxVdF00aQbdfC5f8R4.iE"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>