<!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: '95e9498b752eab54',cH: 'ikMkAucQdSJVCafCm6A8TbOa30_Bh4lX9gEQMmIZxYs-1752415023-1.2.1.1-BSD5cX2rO2NH2.axtBRxTy5nwvaD1XxTbnt9D6B4ZUFgCZ88fNVVvYkVfn1z9.KJ',cUPMDTk:"\/p\/xsb\/src\/1252\/tree\/\/trunk\/XSB\/docs\/userman\/state.tex?__cf_chl_tk=.YfuMXrhgdb_T42IExvrOkNY86kzr1cDPd3oAhoL7N8-1752415023-1.0.1.1-eSv1hDFdb73Mh337AAw_4o_JCMI6U1WYBUykHqOwTYM",cFPWv: 'g',cITimeS: '1752415023',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/1252\/tree\/\/trunk\/XSB\/docs\/userman\/state.tex?__cf_chl_f_tk=.YfuMXrhgdb_T42IExvrOkNY86kzr1cDPd3oAhoL7N8-1752415023-1.0.1.1-eSv1hDFdb73Mh337AAw_4o_JCMI6U1WYBUykHqOwTYM",md: 'buKP3TpLABtm99O54KBAsM2.Jg03pokxmDnQA7kf_KY-1752415023-1.2.1.1-okGTx0PdIek3lRTdnC2Jgg9azq7Yscre7sz5vZYyRtfwa7TBOy7RMKY8noJwhCLHYkN2yEnVOguiAZE4tItCWKY7ddUH.LtHegHxmLQ2jbRUxOyuy4_DlotcubNX2hbl5QiChAF2lUnOlZcsxXO0_yPyqWGTB7DtwQq0N_DfVGetL7MHum7I_SB2hFtEnZIDYWBeBr6d1ZI0kiKoFGL3VGIwQU45JTbStYZS7AW_sm2LDDsrnFqNru8J4zvd5bU6DFukKJw76QIMxm1zWoZjE6uVAtbHZnXnIaN81q9NcBp4nQWuUQeDNpXb82bFj6SHQ9DNo2N8LJ2eOj_hFPUbrBxgsj5ewaJB79dJVHrA1s5pFt_PqvmWd01oveBOeieuXyeuzDdVgayTs2XF5l57qABbplgc1WdLcUMD0BGsPvUKLaVENaxLpf78V11BgbgFx0pOgPg35eV0uenHnLmvzSLdKqVxjXvOcznbglOJ_iuGXSHozWH34Y5coyZrBpzNBQeghzYHv9YKS2kcp73F37s1mvi9br.qfr1pVMo1tNGpxPDIghEHbKWC79ZO3f8BRLmnYYsVJo9srI88t7Yir3mg.IUr4KqBN1jRQT55HXavec75IuhsVXdh9.JvCPmIMxjh_m.TbrNHiwXkULFBvxTtJXqvs78DFef_2rNTyqAJlysFuFeeIf0NbKH4Y2bneuU86avbq5FfhD6uHDIDb5Y_K2g6aKgXqaMo1k3wawd9UwQOnDSXPqulIK7eB4GQBLN_cutuP7zULbB1U2e5Sj27P0QwR4hJzuKH76j8iPozglz_ObEklzw5tvQ7GZjYhA.DJM4Qy2NhwbhhsdpIvH_cjSs0Yuz9PTCIvrGYxOa2LR7IYkgRWWsHq_Aj6IshJHs8aJ0ANVtlUdFX_fn0sMzm4z62gzm8mc16OSpuaTxnjG2_yP9n9fjPet7z0dwePOXfZyHxxTwTevGWy7oPCJEOQmawYI4ODrXxT0wbTuY',mdrd: 'YByjDRPS02Umzwbxs2u42fxN_sRVVLe9hkPQN4Ici7E-1752415023-1.2.1.1-aMHgxVMKqSf6beN66ZHXT67yYY5CJXroXHhd1VWSJ1oAWBCWmlM.QXrNF9UR6w9c6kag_DbLgnhWrenJw6nQvQzDIs5SbQ4XD6mCPJbBfyeR3tucG6lVJ3vxNAW7HxpxEO9WyW7vLi0gcUiRNRnkyTFFtkC2jZr1QuOkNnxePWIk6lKdhtjDs2U8k9a.IrxKum2.Pyg.gYlsk_1T4LC8jP5Y9xchOFy2OppVLlvReFuyOf7eeeFl1KYEyhGEmcSX.Y7.SWylWyX4U9kZQAjxFir17kccppmdlshvfcCuEg4mT5bqHeM6Csj6.xLO3sP6v_pqVkOipexzYpjHxaP9mMMtJxWBmE4gujrdvm24PN4HnA2bAEGhSHI0EkS2fjXx.HmABUWrTgEzgfMoJbic._l_ERmVVg.LEOLeEUffQZzOQSIZN0WZIGoRul8bqnpRqRZqCjDCF792b7kOIGPKsSfKI6ZFyMqzUpci7DUSigNRVIcXzmMpVBH62F25iycF_pWBh8OkkoDsej4WEEtGX93QFdfvIzcA5E2jBlXm.R4F0PPn7pkafgZdzWFPcGAI9csl9qmAs1rNqq.vbl.Hnr18ICuE3gRdYD4ca86StxCKwcylQZxw2tXoudy6gfsO_9stgu6TJ1t2g8WmUqYNoOw2jAcGcAI15Sdw8pnDR3FqL09VtFEG3D6l_n3T5QUWCDtuwvneMCLwS3vBlL1Jnh1M3uOalx2ImYWZMo1mO.pSmXlpS0VBamPsN2_mnNdAvX0ni_fkmrHI.fMDWNbc5eF72Smu_cDhIil2w.rnitF3BSToTMcvAAB.QMS3W33YzNvsmYQoSCf9xqQPFALJRzlXWhr4g2loBnIsVaW6W7TAyqx9AQ89o287xElVqQAehgVVgyDmYGw8K2ecqtXHeoJvEqYAHnW3ed6.7vLa4j5ayQmXJ.Bp8C93w4ajVDGhWPS.vZq7V_ckcN0glA_cH.xjvus.lfT1QafbPzh_PODLb01uKOArS7GBaqVMfPPLYbjNFuZ_PohScv84gztri3UGJf0AIc4kqwJQOq.dyZbHSWVX1zM52PoE2jIZDIKQWL1ETfeuPWtxugbDbYNeb0JdSgk_TBmr_T1hUbYMYzA2XrBuQmmu2m3ET7CE765SDc9hTwLTOT53Uf3Vuz2BsIqxXCeIBwQr0zushj_8iOUxjA7VOcs_yvWAvNafIF3.ROi5EPn_Xu8Xmht8Br7cBrmtWXoReMy245RcBWEuy0N_oBKskjfEqskiEQjr_By9s6JfwZWSZy0LKaftE6xN0nMrI.FocwCnJlAbWRUiJ87C9Osx.2VoKZBsycmvRCKfxH4MBgCmPljDGovn43kA.H7sLZPjFJNYVgjtPzrNtLDUWnoMpHgGbaAVPla79ojl2tjtcrf6ktHb3lUtar5iES7HWTa5HUAyiMG8H7zCwBiWQgkBN_vjJV5yOVnhb9SuSMdM7skxyPTq7vfJAuDMZlPES.ZKd7lHGMSAFstomUW8Ph9lwoFyuz48IQdP_KAq_EgfIbu.woVZijFDqRjSj1bybFi4sN3e0ruxaKzgEZXE6F4uQLvjyHsy4.CTf3hDPXuhg0cpILjxJBn7yT.N8hVQs_fnAHUPAaKbDcWn7jGAHoC_Cn9cBDtF_2OSXvX5kfzhsJRwbGjwAf1WcHR7aqmjWantA7hyY3KNmxCkxE7YDtQ_dueMc_Gfvkq7ErYIX26xXlNeL8NFQHSV5HFMJQ8uh__BZ61vqTh7jn3uoV0SUwmlZ3uNXTP7SORzK4CXC6JlTmXkPs7EfdsJMfZLIxkjrRpn.z3poLG4dNG6b7zLowhrdrjY6Hb_G7ae8vXGRyNFSLU9jDfFOo0NKbRH5cbt9gKF50U1zDY2xTTp_ms01eWk_Ni09gJvtE.lnC1EWHq_UqG.0_4w_gA3jYCBZn2mBhNologJx7y9Vjd1zR0xYaPDwiFzHo5Ala1cCUeIIUKMKilxzTHs92lRY3CHi94kWBm3oj0foFaN24uhet4t73pdaahqmkvGgFzpftoel.hJXYH5OTM_K1pvCtCECUzSErUjYscM0bD7zukZqmS3soZQ1xzVuROgpXLbqI8Gqcv9KWGDeXOqd_7AnbDgzwLf4PnqOtwJluf3vXLYjO3LTUZiewmmFGsdOTeOHVQIR7KMyz4Ybg.Z5jEhW67btLAuGkgI4itTak0w3Hmx2XiDwyPP1PQzC6bjDCMVnwWo2_YzUxRIJzuLT74OcA_x_c2lgiEc_hq6E1Jr99AifTRRzNAbQ1nSgWGsNgf.imNpPyOFQqdwj8iXGEPrGrVfR7BPZwSdV52XHgN7Q46Tkb80qVwoelhBjDJF_rxbaR1TxMWc2fvN8e2eb6ZSP5nqd0irjlPyNhYSBndCcq_gAo_kHUbb02HUNy.rGug4GYX1ikdBy2LqDIGGOpISv8Df5blADvp7xroS.Bxu2epvEgHo2.e2HvlbAjOJZBjGxbidK2s7d81G8_6yCIjKyI18RmKXbjGH8SwoJX.POypPG1IIoaO2P0zsRXh.GLy4oIXouDcDXtXV32y81e8ru_SB3g1GW0pcPSzkGcFyVsxmwOn35iZEiBiF_2dngTSoksg4',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e9498b752eab54';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\/1252\/tree\/\/trunk\/XSB\/docs\/userman\/state.tex?__cf_chl_rt_tk=.YfuMXrhgdb_T42IExvrOkNY86kzr1cDPd3oAhoL7N8-1752415023-1.0.1.1-eSv1hDFdb73Mh337AAw_4o_JCMI6U1WYBUykHqOwTYM"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>