<!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: '96696b32e36da1e4',cH: 'A9VJfCYZtQWbs.pEHe1BM14rT7EyJCDoVURc1mVXpQs-1753758579-1.2.1.1-8t4C4n_r_yhOJrv.LpeoJqmUKqplYYupgOLp9MDaYvxVehmyAn5GMLb45FRZMaX6',cUPMDTk:"\/p\/xsb\/src\/7232\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=8lfqOwcufBpCmdr.pkO2lsyRDBPL152zz8LoqomXZRM-1753758579-1.0.1.1-iHfe4uQIVRZXkLBMbdy8eTZeJ0Z2oqS0fOHZkSx9rVU",cFPWv: 'b',cITimeS: '1753758579',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7232\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=8lfqOwcufBpCmdr.pkO2lsyRDBPL152zz8LoqomXZRM-1753758579-1.0.1.1-iHfe4uQIVRZXkLBMbdy8eTZeJ0Z2oqS0fOHZkSx9rVU",md: '3Q6GJGlOWin1r7hz42HSEzjb7bG6f5RrRKxYZoq.9.w-1753758579-1.2.1.1-pws_kzXabyog1aDHnPbNKxL0jZ0fI5IruChGFOUEncl_fSbwlHfu74lsl5QJLXB6l.JNreAgpVQUA5yYQT751E_BSMKc_Y2KcyOOebdnC_NNfFtRou3zobJuhmDa8EUAaEcm73PEHy5y4TGiNurbDY0YDDBFXlkgOQzuewNeu5c9Cjv.WB7Osw.CBzQBKtuQuBAgkRvMfdNFDp8tEYAiGfA6tSq9mETaHUTOFwb7HKBPymO3kXdoLiWRO0WCpRWnfPVe6psO6GnrSmF05ONUrn7qpZfwpGNjgeHcBg_i6znOtUSXuHVNRZCkiqauLfdmoehwHqI11f4edr.JXYoXZ4qQb6aB2sPRmkoQq3SfxmWYvYIUInhyGTYqnZFYyHf44Tthpg648sfzpVjhGZnFdv8wy0dx3iQ4t_ei1EgQYKP2rtPa8lLSa61w9XqTc2ilx5w4rQXRsEY9.RkMFL9rnYJ_yFo6q5jj4m_CWG40laOJP2sI4lDpuxWgKA_1CFtYIBOoRDHKVYoikEIvOgf2Cexkhp2Y9XBGJHzoaJK4f9Hm32ewiI3b8HBZsZvQPOedTy5ZUE_tIaylkxIXR9u13hdVQHVTeZxVFIA4FE1BklV4bNnyu4BosJCuCUPht4FjgqW4C9rjDa9.ElL.67K.MZJf_t5zXJwwkIO7phzIIsqqmSVBWUUYS5Stc4KLauszo_k2qQTfOtjKaD_ySacBy3HVpQIlq_B4x4BIYCokDXqDZyMcUE8q2YGfjGb8lPMQh1La3i_J3cMWTdX5mfE7kwxomf3Zew6Ixb_tFmjw4eNnUl3uf7Q0q6RRnvZY_Yp4hVwWMV4pbwCFMdFqRoI0JgVVuqD6If17EaeFgmiLh1K_oZA7_VYpuG_vVZlTE3wcVtGPYYD1zT8DTsv_m2xnK_4PlAkczHUbCEwykMMmDsmD7ziP3pcdiickc8.2bD0B18Z.VOET845mf53ikqhc3jWkjBuKZ7CA72ZArVYMBdI',mdrd: 'Ddp7EgM42uobqpgyPxQPs4WrrjGxM6vHn_nsuvlLDIw-1753758579-1.2.1.1-BoZMTHnv7u4ij7HdDrbHnKq1cDtdvGXwosAt_TItzq8hkWaTSGNj5FYfyj5FH.EVZ0jvr1wTk9TArg1WjHdnjimwB_bcGbj86bvt5nydjtjjW2wpR4DD4mp11F2OsqROHpJfM4VE.U1DpzeZn7m3JbeecWeLZBwoJg49B8ocNoN853nms3L3f36e7pujSlnh5x2wGgSg1ZvD4fC9ze55MV8aflljY4pU_uBO.h1Sey2VShg54PFmIYob1JedDcl0kyja3uRWhCVxv531IKOUvgjVkXKetZ8h_xe.3C_KfPpDs3TI5TiOeuCV9Kebui2bDhmQTRegW_maNknaVRlEarRFKb0nU9FqeSNkrvVlOiVniZuBVHf.4LA6Fs36kjocTBmjY1cX.rk6tCpodAGJnoUUO5L0XuO4xW6j1TsEM_5MdhSh6eJMiBgxtbInkWOr5vJJYgeYlLZjfoEcw4v5ZFNxMvv8vCN5y7r3Pwz4PLRsdNoDbiis4GKEs6fmQ.3G_n16iG3KejvEX1QqaG.Ygo9J4_zrSIdRizB.DcTLAaXejwxSpJCTusIX1i4a61w23OxwF4I5T5Sx4T5G3Axo0cQo3sIl77MFEO.Zd9bVysfjf09m66GXelkEfW_EHxYCVs8XN9134sBFLK.E77_II8kTQLIkKbDW1lM_K2Tw0Bj1IQ5zvUDNZaDcKl3wYK1lt2S.bKTfk657wo3.apbAUhztDzyVITOhiCloFkdnZpRzEw2pc8kEngBeeW7awcgTj2HUXcODSl3jlq91SJ_Nqj0cg7vI1D5U.u9qP7qeiF_SUmfQoYxS2xFnlAf6UV_KzAtgU9ms0SlLtnnFaYjO3pXa.PZoSfMvtG3ZmKNkf1EmbRpR0GUzE1Y6zb8ZC9JBlMKo1szoAMwhyK6iCyGvc2RRii3GeouBA5ffBe9UJqlkEBrmt1NIroRFJbtJahUHWV9hJC1U5RAy3mrjOUXrmH8jCW04dsE8Tv.B.4Yf0HIlB8pgWJbsMNPlE9lgck52fGZARctm.jzQaMn.lgEWqsA3YJLqX67i2ndMfz1qF.rMQbD0Hmr_2XGRJdrYXHSmoFIHf9dCeqGWWH2N0oKrVIvQSiDCN3yNehV3T8.YKQ_SlEkgaNarkgFnmprUUw7wolw85EQXqUDLB43Z1wcP.hCiR7Xq_bwbaaDvgQ3EXcC_DkJu4U3xXFfSgv2DZ7j5uPh4OL1tVMZHrnPZNysSM19kkbWv_9Gw8RoYwkYnpBKULJJIJSW.5RLKkqvguLOJ0BxaoN_R.sNKGOcT0LLokooVVtr5fzY3D6tc.LF7Be4ZXUnb3GMB5Bvprqx1WzyG6vZvXr6YUAanQu0SyYW21DqNsXOWfvRpWcs0P_OzgUSq0NyOmIl3OR21YuGZ95shJT8Ms6rf8QM_6GbOmd0gAuYWQUJ8YRXVxLVQrFqZTEvibsyTomx5_jTti2IzlVXN5zK0Pb6tJipcqJdzTtZhlNyytNs3aPVOLCCG1f1_1WEGS1k3vKbTxeZ8z.okHvtgPp0XS9s1LDkyBrjW9R.w2BgueX9xg_9N_8PijRZjdRSU0.OmDLEHlOHpUnvZTbD38ac5_.6YmXzqzP0bsn0MCBTd8HNe.RnBf1m1QdXNH5mIXu6Bn3A97PHS9MuyMrvjIDdfGg0OQn6XzPOw4fTjC_iknhSIm9rpafvNjGjMpEKPa6AetLOb3Lsje6lRUQEUVyk8S6.YgQLmGi7qTbY0dwJHlrse1hbWgahDPBx5JwYHZ0HWFJUttuH_sdPmoRAYiniLObz0RzjbTRdwfeCvBXj8q9TucJIRPoUKytekc7yG1QekoDCLn_NrTWTE38lcTHY38yYZ9olilrmyCjSg3FdOedfjFq_2sNxYJx1T68IHB1WH2bmx_.zecEf9uM_c1AwRrRWWWlRtMQiKgGnAi7u8kxafmcDcC9tO2Qz1Q83ywgjD9ZHkiIVCM1J3aSyboqKLF_f4hudHGtuIgljBM6LOFHkGLEZypjRvDkU6rj9F8gE_CVrM.jvvHAYzWsSExBMB3q.lUt1_CSBhoVAbSMU6CKkI3RhvTw28xsblHNHuPwSGhlxzXwTXKEbx.osawBFEtsplYdAJ7wFN9SJZQnMjZMsVoEygWqFrV1mHbF0HgRosv9P1Y08tYOgV4le7H_mXWaZ4cKfXqKDzI8jwozgdtSZ.fu2FeMGeiT2bOVc0Q4JFK.OigqauXFaIKAx59laH6wFGywJMmPlD6vJZiDGkTZvLH8mrVrNXq5FAys0qm4ZE2V6734s3l2APwOMe7.tJgOCKzkVOK3o6jVhJJO9GnNitj2AzbfGQ_2sSRYOaK17xu0Dww5uGENz72Jkx.EFOUJ8nWKYvoyPkNUTuU27buW7C8Ef2Itano4oyjaVmahPucHCzVTbTpZfO_rLg0WXx6Z103PBu6JtScnaWKQvQeRRYPXlNgCOzqXLKg6dtfTuTi7TvzwDSbzToLzrVKFCeQNliGXnao4Y0Bu_AQbTz6BDFu_sCU27tmoJBazvMjVTZh2f7G55Fbnr4d3pMQXrGPlEInV0VUpvXCntBc9q_zbaTU6GKNIpJ4P19A_32A6hvLP8DkLsGJKPYT3Whu4rdNu8BMREkSIUCowYlYw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=96696b32e36da1e4';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\/7232\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=8lfqOwcufBpCmdr.pkO2lsyRDBPL152zz8LoqomXZRM-1753758579-1.0.1.1-iHfe4uQIVRZXkLBMbdy8eTZeJ0Z2oqS0fOHZkSx9rVU"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>