<!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: '95d285baa3deab6d',cH: '2WxLjAOmXz7.a3gGw32lyjCosl7lUwHbL4nUppOgPsc-1752176316-1.2.1.1-uYwPxhwQk0JzAFm_ZyhyZy.dpCEuWQQJh9l29ZG.JDKlGFnCeLradEFrp8TcR1Z7',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=KPtEksq3IG_uxSl7qHmmVeUJX0jURGxCI6t.7F0X_os-1752176316-1.0.1.1-mskAhEkbKPosuUBgoHoyzxTePR61uF7Pt9SDoIu1PL8",cFPWv: 'b',cITimeS: '1752176316',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=KPtEksq3IG_uxSl7qHmmVeUJX0jURGxCI6t.7F0X_os-1752176316-1.0.1.1-mskAhEkbKPosuUBgoHoyzxTePR61uF7Pt9SDoIu1PL8",md: 'xuvfDwPrqu9CBd5BviCQ3PamxBQDFmZnGtAzLwL9QJk-1752176316-1.2.1.1-8Xc5hnw_i4vwzC31Ra3LdvPtLa1eZ7EEaRe2Snep4.ndaT0mgg3H671Eb62vQuTjQUfzwJ4rsKsAhPgA_bxqg8d5YU3XXd.LOgI8rX17O6PDy16cpnqmzO5bQW_A.1G17aWJ1blRLGL2M7i3w1.PoloP7bIsKQ1xfHKT43lBCVlUu1c3BHzeNh2KbLAUf_B1Zo_rsnb7RJ6EXQLpwF27Y_79QQTdaHIVF6wWNCQ7EncNykpJ6cou2Tw43AusltEQHJn_02sbeFnvl.XaI.XA.LiPjnqARUQhU7ipyXTuVq4fCtTpVSyoBccm6dm7TVYz1SeTMLRb1Ke219elzqAqGui2j5uF6TYX3cACsipDIEbS7GBoBw3AZyhf168.rgNe3cXiKf.GOEqbOIAaiaRRxDU0vf3pVlbtOv3G8H2xS4fjoir_8rjiD92Kdmbzcc87jp8MSWZCCfdjML4C6RNAgbCmVaq_HtVdsESjKP2ePrNUtIKT3IxesPZSi3rYerZ3sda.iaoJx7TaUpbNk79oYimA4a2M7y09bMsNvn_.vxqQNZmHm57V.hshjcevw.FkLbSDfpbXTofZwwSJbb61b8RA_iO3hs5q0jJlI_XDny.qb9ME9mY4.ReHAvgZHfjSjCnO7QBgdVO_BMINh5d3HMzQNxMdBw6bMIKLE1sqJv5j036IV7NJxhE0SaEquFJEVNWC2AIxewaGadDPketXVLvSwDyd7JIFc4blP3MXZN27cMCYP0b8RSAD6VGNBSLZwV_Ryy3.MmqbyNY8_HR.Vj2XXonsOQGz29G45Gv_HWO2dJvI0MN8OiYaHhuUhH0y.R6Gc8TG9z1JXomj0w4fouE6VRlD5UOatFZud39RP0YslhLryc4.ktO6GTzlLqaXI.VQ4GfPqrIwNDZWFhc5Dl20q.knPDrVyOJxdJoTGiV8nX1dvQrCCToy7kYRIadr5S9VJjv3BtufHGeVci10vi1kSAoY75HA9eBtvP8C6IQ',mdrd: 'IOb7O9K6fI.AUVvo9qtB77Za3F4sG3Sp2Pu5e9fwK2o-1752176316-1.2.1.1-DiWvHSdVsiCiJmqWxnhbzSJ7tXAaWJKTIs0QNShdLNJZ5tPDson6FwYhuf6WC4pbRT_Dpdb7Kx3zb_pq6o0BrNPc5pw8jso1msOftlJZMJMH.DIH0EY.XrUiJmVu9tjZa3XKGvgMdUrTXCnXAXvtKEUXeJ0BBX4KsmNOSX.KHuH0FVAXACm195OzD6eU13Dxn1TI19LUto9ncbOVdCQgN8gWgmhM1V9RJS6VovTNrwRLWkJULjfJ2othoIr0cxiXRWOe7oGX6MBzIq9mObHa.3ELOVUVk3LH6YHbk9QwfVzYKMNkTjtwvy7en1zifW7KtrtNSvzI3myvFwZuPoMywGv2JraonnMn95aW7FGD3DLAf7UfGwhAV9x0Xyz2Gex1glxH_1IlsVf0lUjy5GI40MOcTeBrmCEWgxWVjqq6agqwG7zpakYYB3B0flmSyAk3Bye.FEO_qrsyfjbCWhZaRaKrS.jy2PODYwWN9DSNF9iUYcfdkeeIQ2n4p1xHqlVg0SCNjgkqYpgmQPqU6z.IHIR54kNmYUPrhuXpmDXHlS6yFdHCUKkYp_OsysH0CBy9MizrAc8js.x7hgk1KIyiwcOc8CvuLWrdDkNiUR_0Tjn2XFvsLnWMHMDbuRg2p2ZsirMTRzmIXbqVZfJPxfgenxyCwDGZQ7ishemSLShI1iCG7vfIb41QQkkFG9wjOqa0ekNGwm7.kbZCqMfHtdOWLgdhw9cNWr6aFvmu77Wc6h6jthiDc8MAvP14fTghD2gyV9_hiPvZOb9CX0tiqWuD.M.twjjIPKGdSWtS9KiSCos4r6B8JoFbVAksbxmiIN.a8oYTqCWbv8lY4Z5LA4KNnjfU8mQQPfCicUjmF9CqTZvtTQIKhoQhbG.j02rsh3twzlxw0qKnSyui4CT1yHdFMi5apIpXmjacv4tfOZLONjqO1Xji2Pl5t3jgWC_1DBu_QWMaWjGCVABOGK6M4vRQCtIctc9T0u2vIV7e35oqj2nzvXZ3kt_M40OFMJDc82IdMIzrUdrZ9ycBUoyT7rSk38EfMfc2pdWnwBr9_zJwDZL6RcbWKwOsghqJt0KMtyPYMBmXXWkhRWqBP2dJqILm0_JEoMUjJb8oC13F_o7TwnlRghgrMUJOi946Bsjv0OQ6MM1qdKDvyGP2NBuISVmPE3zBLZW_ZtBD8D.dhUm4zrWfZrXf0sLUOlzQTK1wsqHSp91F0jeMo8TqhlYKdjoL0d6Y6TZ.V3IiZrspp_TnLuFO5MjGnjsDJgDq9DGRDa.U8jwMh74kzIOyEAlxx82abG._wlqLyRDQEJ8joeUTJbk1l15faExXr.qfz7H1e.ky06mIH6tBlfpo5wtXbw30.6UZ4BfS.v8aLe9n0mD4P7OBsnPBKGytr80XphX9NLf0mFdkC5jBJ7xzkpWWXOTANEI8zLuo0i52J8wbZM1QOSeRUQSrC6ihGuOkgT7OuXSNHkD7rp0gEYZuu04gDNY2MkBaGhx46FnJMstDn1fVUJAEBCxPdvILzWJHyMbH_Si8uwCjwV_F6pSkKzgYnNn4fqXnqEIaETw7wqyIm4qryYBEMPWqqeACbBuapS501JhSK25CS3.v9LN1v2vq4otEvyL3KWJZWhZr787KItTB7Ezt5aOWocCK.L54626VIZBMY4mRD2jFb8Doqau4NMjKfrYVlz2gronNfCgUbImYEKTWEsSVf8_acDnGVD3WpzlrB2Z7F1ib8uSbtBTMIveZYquufnu06b09kHpysWZ9Zz_rfj0cg7p2Gdo6IB5xpRENjwUXdqlKuvcAzgPKwr7xU85WZZkzalQIGUMcGG7HK2ZipcNNtLpd4tpEEJ8Kf6liwfTc62JUn4MbO02wGrhB5.YNltV1jJXWYaVzAW3reV4amYULi7uKu5kg1ntO2aWCPrTMMY6POp.KnIrOxg44oGz_Vg5rtskuUQZMLeQ5ymqyzWv11oT0P._5XkU.wvCRU0Vl6QjbwIGamEP8VL8j03qynpqazzgK8jRXwbiUOP9FcgyKIrC.XwduOR6AXljeIsD9YPssFGeiw1u8WFBmCO9PqgNIIA2aTqmrVxkUNzfnuAmrLO9HymQJxS4z_MYx8KreayDKgJQEqyfbRPVN.fd4Jjm.DobH31IiDpnVlTI.YGN8HrqdAsycnR7JrA3QS2h8GW7rdQsbRuDzsnI87G9TUd_asGAorjYcPX6ZZ.uOdU_PYtjSSPWGVUQNjHji0XZjVHUafBWYJkQjC307JRwSm31U8WzmdLhdNGGkGkgE2xRpW8MzovWtYtPfBf4MvoUFyQbIbi.jqWn55OejHc3KAtgvRRXV3veA3.nhH6DobtGwm40bS2N9QbBiSMP3FrNn8XkWAD3thLIteJySzLW7.84NZmTmUiiEtjESTemKrHMshI5euw5Dm8fu4occFzaQu4463CeLCqUCkEIs_hSRNBjImmz5xtv_I_d97JxuRImwyU0jAAY35sHjCjknwTrONmShaRwf8VfLQoaOEJMzOZ1VprPb7FMkByIX59q55.4bfaHSvoyfQRT7vfMplFhpBgTKT8h4WiYL0nSTepP2VwMjWA.G3OtamdIoGStTQPRRdi2.alQh6k.WwhrgovV7US63WgizdijzYn4ZDQ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d285baa3deab6d';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\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=KPtEksq3IG_uxSl7qHmmVeUJX0jURGxCI6t.7F0X_os-1752176316-1.0.1.1-mskAhEkbKPosuUBgoHoyzxTePR61uF7Pt9SDoIu1PL8"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>