<!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: '960c237f6097ab2d',cH: '1NBNDfZphxMHbIKBnj9H2haXkBygPfvgGyU3gwC1ndU-1752780467-1.2.1.1-HAZKdmLpYaDvRgd_Tfk3pvFtpBwiZAPGpAUBD0CDCbB5ImJ5rzLUCi9WjfolMRCA',cUPMDTk:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=JbeFol7myJ2IreDG4860O0sMmhH2QEhy0_2.MfJUnzc-1752780467-1.0.1.1-xiYkOJwv9RQwStUUo4GdPZc.idyHJWqndMNgVYQfkqE",cFPWv: 'b',cITimeS: '1752780467',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2712\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=JbeFol7myJ2IreDG4860O0sMmhH2QEhy0_2.MfJUnzc-1752780467-1.0.1.1-xiYkOJwv9RQwStUUo4GdPZc.idyHJWqndMNgVYQfkqE",md: 'HoYWLYSSptBkCh_76TX38PGKZzLAFhZbAfp4qd6.PNo-1752780467-1.2.1.1-zOtVi3YISXToCLlyPsIvizM5Z0_RwzLDj_9Z7i3dh0VoAU0FC1szMK6XnLI.NmiZBRWLMGdrntj_bGTHY4JDebtJCxnzJKKNjJvWfPoUKczCuTiG_WlQqT2BsLruetqr2PLFBLxpAK9Crv3YbPyInUOOaeakH77LlmZS61g_YGiKB6bwFEOIhB9n28YQ1Kd6fuvn4ulV2m27Vx8IP6TB2et9DrTLmerYPELRxc..FifZrnRI5WyOHrvNA6u1v347_oohdgWVwvgkfA.sPJ_Tr_7M3Gyc.KBEQxRN.gnE6dx8pBR_rH2kohKo.AJhgTVEv75_w4p8Sco_m1vQ306mKY7jBBCo4m1EGcpCOI_1indtLejePTVVSZOY6QLjv1bZ1laTEnaX42TCqju3LH_968dpVIxgFxMW0KDpmhraW_gjcFBlyvTvX18RpX9aASnvmsufvFpghEH.Pmxe3CiWH2LxGeXUQruO4b2dP6.Vjy0zizerAE3tuHpoCrv2YXnPYt62sp9tpMf91nXV6rXW8Rehb_rx3DIvsniyVJQ_woL71fiYmrRCk.pTS07MGAL4WiEcmbIEwRxKAraI4m_wMyOZTkUNVXLAxbC4SWKbnIdRhWVTJgLa3sDHBtFVUBbFreMqH3tp.ckiSDDXAwFKMpxUDdkLlKblfjK.D0B3PxJnpJxEPbvLhM9NXNrUP_L1knx5GB9NNxmgucOUsCFe4U8sR_jkaEy2x.H92Tsv7JkotepsGCogNNTV9SBA33_X4MNMhOqAhS6RKH_k0ONS1Z6ARc4UnVC17Q5CyKWKxE7X8vTmBKsk2864SX85QJkEOOv9CiGsHjI52CwR3YIeNJsQZ3fuPEWcUNJXVH9iXI5Y8UJICjxWTqb.o1Q3cgCoSngqpMoDrcYy1dYNMzyajqQvFpriO0KgSBu.rHuSWvwwXME3ZWRRyum1FBHur0gW6OEqniCkKvXVnVKeM6SlkwkZO5rAElhb_kz_mvs8tvc',mdrd: '.T5Luz2pzNCnm.WGSIytgIdGVqQJYKj445Q9wmmgUUU-1752780467-1.2.1.1-d1kdAp5OPfMegZPaCyohoyZUBv4hDm1Rs4tLonEQ6qvQFa11D_.dZJg1zzXTsKjjv6aFQfhSnC15iPbtwKzF7rWJVfnAZR4NMhj2yybMpniVsSAOedxOc1l_BoVuiY1XJHURKjd8aQp8bxhsr0_g0cNZbNSQ63NBVJqgZelNU7PALx7rTkjvss9oXtMRZa5l3oapYus2x55X6zoZDgaj09oKPSH.PBr_xfbmFPjrSiWmONveolfvLyoOz.4etVzqk8GBZT0n3OZAJ84mH5wfI7OJmNP_ll1.30MzEIcWqhQAm2U8gv84NuvSyYfAMlWNgacId21tOrrPoT.lvpE5i2FZMj0P1paLmJCRWlWa5p9FtbAbqGpGAlYKtma3RBpNx_G2yRrqjXaK0OGDcQ7g0UzTtEUBp4FJsDFleqeg24b49m3rEVtEV6uJibwAe5ZbaYM2sjydyKPLLEMZAy3Lef8TBtPdnMXaDgXTd09Mo4.Wr8FZ2hRNwcztyikS1H5pfEXjTtN3Uhu75h_PC5OV.z6Xt6dmEnWE0GrSi.MLE97Uocs49OfMzq1fevU8gNtLQBDY4sCFggzikMSRbRVqQFZC3Tk6pi7ZuNMrvUoATa.WFjPi2EMamdyHOMEwY5msqUpcROlKZBdDeNVf2yeJJhtP2ISvdSDYUK5H.WFnkaF.aE4fg3Xm8e7yUbDlVeXaFvbrnOL8jf0nkkgDS6qjK8Q0EIxe6uMmmSiP5gjmw.N4CAxtsmFN0Is7aLrrulCrUszl5RWeSgQN0_GrQza54468zgZ7o6lg6pye1XHK_Se6_Z72z75vApLVAmIxUXKyS9Pn.Jn4FOW1XafQc0nO4Gee7Ve5Y34v4aCjm3kpLc2xF3zjZjusY69Fj.QCxtkEIoNDExkXbxoxd4cEwsgSYxNf_tL3FxA3TJBbj2OOgHykB3tx6N8vLScMKR5EHNaA9s4Z1YMPNEc7dH91DNa8exuQII52lWxjM60R3Mk.wp6XPCZgS6EF5MWWgGu3pn47rB1SXYEo6CylREySU6P1g8B948RPdJC_KIIyKKkb4s8n2SNIj15q.ngkd4BO1neKno.CXpjdeHw.Cq5gb35Y0BUGBtsQ2tPWn6i9M0C4xSmpEy5pFHOj98hESQpqiFArfxCeABAHqwf0RcX_QC2cdt.X8YlooaHqkEnfkicpuzi4ha3ItwZ_HxlZK2S5BY4uqO_0ck34cVYCklhpfposRAPh1I_qd0c1O80M4wWN57nIHEAqN9.HbZ5dhtb1KwD4113qCAzEtFtBrshTEdVy3WbTKsQ64pZVc.KMMhuH1VLcVGkdsnJujeEtJX_SAv0hgjWvhYkEMNtUQuitGUEtIqi7W5xxyZZTXvWmBrBU40xJXJCRIbUraxwzZ3uSdIL2CmGYCxzP7d8n0GQkgFf_WPZ3nLROEO1IpDZvmCfl5ga7tpxdzpeeyKyeT4D1KVtGpoSwNbUQB6NM_xsRKjZTNg9WEv8n1CgXrymEsZRPAlPDRKJhdi1tvVzm68V42h8jqBlKCssfw7r126d8.Jrh6VO2LuQwaJiFJunNJg7gnnP4FYI86cDbfysCAX.o_Q8fgH2Fq0R4ejcD.dHVXSOrI47NliygGQKtBC_3L5g460vj3S5s9z6TX5B2aXJfTIvk1rdtkA614Yl.D4.loMcm15Gpl9wMtHN51zgY2GoF1Sj6N_.FLLT3McYBRnPgYb0kwaqCc71lH1.eMWbJCEzTW7vzQ8bdzrM3.E9CFyG6vSMaBBCTgcz.UnpjHoYhohjPNTUIZKFzdq4OfVUDev91kw7By3PT9BiKShGwfQpDNZ.SLsADSvUadmu9t1auQMeMPqBuLvhLjcU99p9UDrTQGfOWLi9KzSFxx7rYHh.mCA9mZIa21v8ivRsc1K5bonu6Hj7pjI6FFIWv_08lM5hMYFV52Uj8Rux.3B.sWcbTFqnEkPT_fNnbsi4npFmDBWrDRkN9SjsOzdo5xwTBU66wOd1Mrw0CCj5ACROYDol3uEQ3BpQ5iUQQjewtnikoC4.tKFw_HzaxpmbuozT9Z6u5JvojMK_KjojJ2Jw2eXa7iYQ43y7xWy23ro7KG3ly1kKJCVI1jiX9aNGiUO0NDKuWzUEpdm5HqTnLO.SgqqtQxzNnEvS4xS.e_y5rA9qgHXdnJ5jSIXPnLuqhBHxaktb808BGc_pFXEHAQ92FA6LjvA_XFAWnsojF13W0K_cg5wr2ao8Jo2ZC1ASpyC4pFCk3skjsNPxa3mWWqWG9Xd26fWfAKanWrQanLQMnoqLRQ63n4nnwz91sxJ7yGDHbhJ77EaoTO0W2mxuNDNZDKJkJGx34vxfIzN.5njSGsdHIs0j1RcIwdeNg3lx9kBs7TWIY1doBhauO.bg9fVDZYwv.7G7LegIRxw8V0gBa3EHEmqQTNQpxReb74xbgN7OwBlX2gJmIY6evTG38p0876r9RSqePpWn_E02PPKtI0SYAlmOLUoy6dMOjb6OmdComaU2GtAh9fDk8EKTrAhEAZ35lC7nP44ETIgOPiO9ryXwUCCwx_vkf1uGIoE72n5y2Y7vLR8XAkBLIFWzWSJo9U2Jn.HfGJ6RxXCXbvg7sOktudUWe',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960c237f6097ab2d';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=JbeFol7myJ2IreDG4860O0sMmhH2QEhy0_2.MfJUnzc-1752780467-1.0.1.1-xiYkOJwv9RQwStUUo4GdPZc.idyHJWqndMNgVYQfkqE"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>