<!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: '960bf97956c5dd56',cH: 'swxhxF_SLpbPM3gj7KIcVTvI.fu0geC8i_.iQhDE_TQ-1752778745-1.2.1.1-Tz_mOelx9RkRr_xaULKw11TudK6qb9d6kRqbGnCnunDzNLTR9g_gK2mtDBLDB7ek',cUPMDTk:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=OrTw7emtRP3bWikxz0K2nG3nxqVdmVRr8U3u8aFO2rI-1752778745-1.0.1.1-r47UlPwR.d30SUpu54PegYQEWYY0jwZAvCXxLb3.5MI",cFPWv: 'b',cITimeS: '1752778745',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=OrTw7emtRP3bWikxz0K2nG3nxqVdmVRr8U3u8aFO2rI-1752778745-1.0.1.1-r47UlPwR.d30SUpu54PegYQEWYY0jwZAvCXxLb3.5MI",md: 'SWbPVhjTbTZngO8ebI5oBsCJla00kFNDgX1z1UPxuiw-1752778745-1.2.1.1-kJCTWNcloSTZXY8IPTqqUPXWt9BR3Dw.vEyuFKIWFJIjf7ef.H6cOOXWJK0QPd8M9JwRqH6MWzNVb3yhsViA3Ocn8P3hKY0ajUut6V57e4ZhgbzOsYnVt8lLP4o1furUgJN6Bg9luQwBRWAg6WG7sC7ezjhkk3JYmtO.FbTHWVWn0ShL76GVBkp22lQY_oBL_24pOytA6yCIfIanCJaRsdkMLaTk0Caa96Zpzo_s0lMytAWseSdTsAZ31rHO.hVkFOLqxlkKgJ_2q1zgWYryFqxpQdHUcfnfZDJBbIQtqOfd2bBiHJvhcV7_Xha8Wq1CSqUd7zUNbzBwAzsZbOFbs1Sm1aHt_WMrZu5RmBzJ7OOrIgAR5y9lPFlHulReQxrbgzeiHo2tTzq5UbQBHPDVXBtZxOaAQBZb_NYYPSno5QCTrZn.48Ct0Z9hH4QT6N1c1Smqq.zoRIGk8IYrBKhLfsQJDp8pFBDbuc3LFQy0DVEB9EAGPjqWis.poqCOWHvLKGauj6b4OH5NjDoFAAMcQH_LahJxFW_V_euEuLPZgmNfOxE63Z3xEk9TxXFmlF2hbGE9w4MyvtZ4NQYsjgPH0G.IaEDUeZhDSJCZLKeHg92ugaF2W77yJtZgKx8CRYM8XgtJmv28v9omDykbLCImbDcZ7mgh8xhyWYvk0hc8XTdxRCmEZoxmBK52L9yJX2eR_azjsff9JwtYnTvEC6N.QjgFPZhxcH6uTWgFUKPnezxiojXydIIS5QA9g2unYlP_yYhhlUYLW.t5uErU4vVpcot0_Osf22kWr0y.l.ShfwtEimStAHARbWpW18uQJ9_MQciuNH9j_wld0qU62AbTq9UsbPN2GpzdM8SkWlrob.yQyptydkVNK7StVj7F59aHkjzkWVxCNnvDAEj6lMFHLuBv0UJscrpaC02l.Ule2Oz6TZItCGIMEzJprs1ILoPiXKnRkezEXl.2R7dKsHmSY1uOPodaj_zO_UEZU8a6SgI',mdrd: 'rg019cTppAWV1dhtlApz82gvpZVIWUlPkQ7cWvk3Dh0-1752778745-1.2.1.1-x8DKQ2OLEa8.dswpFXtYPU45X.WRvOtMWgetBljnkuV3cfBjvcmEH2TR1aVJq3Blx0eMn9VHBRzY0mzkL8WrJWnTl4ahh3QTkdcnDZADqEEJUmFcLcPZVGL1sjLMGP3apMNeRhUnkc7W6OwrtSn.TDFMpqK.mePhtnjq6Z_asvLqycUNjhM8N2kvQ9maPsAK.G22bEZISj5CS0QRLWb2sWyXUFq29lKN3ov.A6mmbg2Fol5VQ_lcTpEP5ry7D2xXv1xI.GDZTJhTCW7OcHqxwckRy0BbHkDrVCemJI7m6kbP6GNxSXzI2zQZFuAUl3meWDn1fw62u0v8qODjLlpaTBIJoV8uM4uyoFTOwCW5H8Vtv3ugSx5ngWz09cg6KObXMZEQHq.lTn3VsFLKxfZl.wBUITX_OhR6mgZxvpEFEt1myvZ73qHom1pRc3uzJZ1mx5FtIY6J9BdTwd749vV_6xSYdepEsYiyAvd5Cool73aPv6BCR.9x8mgsaevn64WT9AYxIgGbqfQ1PZeiyqVbStebRfDzt8nEJK67WCnRlxJS8.n.l_N986aI.xSpj4xZftBZV_MjSPn_1icwT5PtiHARrNOnLLW.8jGMjZP16I8fAKliKjtD2WVNXhGtadCA6h6z.j4SylxMBpq3ezX3QHCb6jMd7.gS6Lhd0pHm.8Qw5nHYraj9FRxsq0la1vRiGboSqxx8q_0iV2dIqNwBh1u3awE1o8uv0.u5yRHGAyq8V9nN9a3jbEDSP.AXAZCjh5Fwfeo8EK1xM1xwW_LXVTIvMaahP1YBp2xv9UNwiVZuWjl4J.a086vpcbKcefAe7chv9w2oJRGUz5JWDYnzU9xXr6x_oxMaR9wg6IjwEYMRO7XHrlwUnd42cfEWZdqCYhA4hT4IwmywX8RiiQTCggk0cfWC3ywywJ_q7J8qvy5LIeo10ZKU.7H3rP2sH3dV0jYxKRjG1uX2V0As4oQWFKgbKEGztpJsG6PGod9e7SoQ3plrZUyeJnXi5O0OUKVKEJ1QeuPnCg9rFpAaf3fNEk23EJnzsBXaOubVNP403UqdeWehML7RgoTZE7lbKBcXFX2s7Qz2J5JC4GxMj2FIhx.Q6CMXkjJYyQ4hdwXaxDgxkTgmzy6wNbcUVrs_w_PR_FnAaghiAumD05tujm6FQwPDHX6rARWg_LAKHbD6eLu2dsJYom0tYP9NXYn48TteIXDmETaS03iwPGYPVqpHa1i9hNuNleTdYO8vBH_luOoujHnI345KHp.d3zSbUmuWkGbaCe6gEOMJ_gGWzUd8b3Gk1SBUMPy07RTspSapiuZofCaLuWqgPTyR1ms9mq1Ou0VIjvZUN3echJRfMJDqDjVtUnZ8igrng3bZwzGLIKtYb1.dwO4Qll3mRaZ_u9jwsUyaMYso38cMVl_VGOBzW7YTVWGuOm11EFk7PP6oSttJ.xoWMKAXZc8_tWaqJomRkBCpIDsUdWRAJvUUvAlQ95EZ6MDTyKawpStSTKUhF8PeSO8R35UC2E8AdE50ZCOTCSDAKjQ._Q8_Hu53mujCywpMgAOrDk6ax536XTjZHnuRVgM5tqDmaLYBi1FaoL79fscOzuQzX8GEKoYsfxVgBLUrjwowNXpnd8hhEisMgXnlTjLls0BYo.ysaj3Ce.Lgr8rwGJkNcj94acUcEIK22H1t728rdiJUnwOcB_yXinCUcCGbb4RylALXmb..RaO08CVIwYnfB.csh7fHEYLw7KWfBosL9VNlc41MedaXoprw9K4LLYG1WPlA8alGmguZDYZ2aUsqZzwNVXCxtiVF9wUxOsGs.kvRo2gyu9lCGwzrJH5_xU6XMMk6psIo76kmYdvPKIjoUNA2hziq3vgWRVOPNXacukWX8IxqCXcOGcDg6Ymm8DzOlYdSTYvubih0lrB6Z9.yOxUqFKLEHEY2rNh5wCeX8BFcSvSpIgEA82.7owuoru7ainVzxPo5cK__O2bTkwm2wlMERFRr.PDlC0lYdFuUE_.gA8dCp8ELsJj7kuQDOmYiowmqcWFscJiEZevIFhTFcp7LfFka.C9AIpMnx7k8JiMUxVD9pjAKaD3v49ByMl5Qg8Wh8uyNk_imxZd6a1V5bPMsvITybFhWXrJoMBSzRCyAgph3eBC3iIn223tTt7yhfzvN8PIKeoPoqRTizKi.aT_q9yu9_ArGVrk4DCNFnDJs5SaBwzUIx0UTVVy2wGYCPFiw54ee7W1MiOhB4IBBRGk6YMupTPaWJ_I93iJdZMKD1TSmhIy4T85IPqJascH7j9.5PJ4UqaBhPObuqauV0973JT8T4PbjQDBCpDTyAGRvHaNYgCq.QG0Z9wyV3EBpAeT4hPaAyWgtSjoKnFP29wOPyWHBxVZxBRqkTt68N_iObXyrlGrvJpu8lyXOZwjyigSGS64IokjVrgD3Pq31O25eUvu6_V.xY.3iNvNMwx2yg1Q4aBIAvdZ0vT16R6wvhPN.Kgxd70Ks2c0zIoJlffSRNIJe_y.i1LEmeCSNQokSRwYNJphIks7goOOSlEtrJ.QFaBBeuLYIkW.azcybWhrY9GlHRGJjIli3L3irGc_4Ilz_FGbgPNaFOUCM1JXZcICQs1u9sOUSQrk8oip53PLrfGHR6g_4yQ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960bf97956c5dd56';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\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=OrTw7emtRP3bWikxz0K2nG3nxqVdmVRr8U3u8aFO2rI-1752778745-1.0.1.1-r47UlPwR.d30SUpu54PegYQEWYY0jwZAvCXxLb3.5MI"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>