<!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: '95d27241e0e3acac',cH: '9Zg9tIFrbgeVuiGw.8VmsrFlSQRHsKE6EDu6DMPupLY-1752175519-1.2.1.1-Z6bFmhBt6EimM7LJHabMKrcYYsZ3Z_qONM2wPre23ePNMO1sLGbSECKTvS_wcUdJ',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_tk=.AHRd145P.QeufFfndZUD.AA.YEjOKbEOomnFHhEg6Y-1752175519-1.0.1.1-t3OV9iqP6rfVwxeunzXFFkAVYMJDttwDIc3A3PAIQSU",cFPWv: 'b',cITimeS: '1752175519',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_f_tk=.AHRd145P.QeufFfndZUD.AA.YEjOKbEOomnFHhEg6Y-1752175519-1.0.1.1-t3OV9iqP6rfVwxeunzXFFkAVYMJDttwDIc3A3PAIQSU",md: 'g0V9yyRYjHnQqofSIy4Hr0tW8BFbttMdl2PcZSl7zHY-1752175519-1.2.1.1-0CQg2Kj7mRbHgPB26.Y9h_X1w9_rdrDh0PRmAxX58PSg_EFWbETjXyxs2_MZ3WNubuh4lUzzbKO4AbQ2VG4rLH2NKU3sxlhgAMOW2SBtxXODdQwcCMLKIi5gukCC0gzUGywmJodEga9hk1prZdidDNKnFksTExuZbMRWjK73WUVEwK8hKdCa9mtSpm50eO8.YrZ8cfsE88kY4RJNhVwUjQBnFUMIJwDtGyj14Pkpe6DWSGhD9uNLNQkXteHJUKySHOWkaQTM6NLLYQZJftLO49_L_LnAfdrctKajV7bZ3dP5vn.f7xp9fuDQRxvwB1ASquAxmREPTffAY.Fq0rBpQwhiGIb34RPH9K_GG172MitvJF3CxLpiOiBnd0r.UzKKcwvwOODa14bEZlBRETlDQhblm1fYh51bQl_8xrbFInxv922nD4jHfjogufQxuV5uvMz6PUw5Ns2U3EBU7P.m21YyPtsIoewkcguVXQHj8YGZJO_BWT.ViKnvz96D4QSH6xkPf0KD5tWuxm2NRtnRe58upj9MHa4aRfsWr0zJnXD8GtqChk9tDGy1xkF0MZMFuaT0bKU4nzRdHiGA1eTp4hZAn6_qyRTiB3YrjgY4H_hH8_Qqxqo_ZYx8RBujsOsUA7VdNxCZqJ4rW7wesALJcSwJIPERyfy8yFzTOfawyEJjWdlH1GPliGBr57gTcnoemD1QjxPitt7o19a7GsCg90rlChGgErb9vdyAUSaqjwjHagSH9.aiP86TWM776988F2eUtssTr7EndhC.ZC4bApu.DvHbAl_AN2J5Aeg._vku4IFc3YopdJICfnSb_FCnGZ9YNcTsRc5hOvxCeNrNmHHvpovMwLkejgLiU8hRntgMG64RxQpZNpOhMWen6ZL7ASPLI.3p19L8DPT846inCepTqbEo2mNRTedXkwop9CUziVe7wgDjrXsgNtoTkiRiAraf.QKjgFU4Silp183LZW4TzJqo4KyT73HnVwzDELE',mdrd: 'woRZ5KjNfXIwgAXDEVqx8kDGPJRmCtS3M4ZJf4utLXU-1752175519-1.2.1.1-4TLLuvFnX0e_jXtdInBA6W.CGBJ22RB79Q_zlBrbACxYDf5X4TbjWUwwGxXMsn1M_YS2FlXB_GaTasblYKkoS5OeFByjgqshUCBTg1hreBH4GhtSU7eN9Pd.clxveAVIh0m.CCk1va8cloEF2ILG_39Ax1eunfY0PJPxr.voBKlT58m_iLpYbTjgcp2sKrX4marBA.ffydFCDVVKhfSExnjzTcVu9yI9vkcf6.i1KSmEi9oa1LA8sClkyrC6zfbr.roglIgjtZqlW0aWsqCw_kquHyO.3T5kjlnexRSEwuLEkSEm2K30gR.D5UaRlBXywD7Cpk40KyoUAO4zY1t2itp3PLCHWT9VJFn.aEmRTYUDwmJ0LGGAUGtaKXeRHE_O.fAewiJDFp5iZ8AmSJlhD1fxEtmM6QF2pMbEJDfwiKbhK.VjNGD053IifxI4MB8B.yRQMz.Zptrqhkqm0HnkXo6TW9XYHi6PQrSKf5gKXAtPQJgiV8Y2FBFzFKgBaojMRw81PPzvMGDqhyWSML6w4f.mMQZYDT3gAo3twIrIggX_xpOH1i.qHkc5buALvHFQ3YtPGAt2iUzbI_1arEQOjvKUUgFeoVA0pxozsZImBvSg2nkCpEmtrXz_8k9bE3vW0o5NBLVDQnu_4zEd4XbSJ50V_JHj0l7CWCGFhpE5nBk7uRqMHGPI8MmGzoLtYAf966PF77JVZRDUmiCFm1Hsy33vf7kvIqO7cN0zzErvcasesJj4WYxlRM.8O9rbT1gSWs9B4DwoTR8OfC1BJV5WsfvFu_3SCoAiCvDtBJSRRBoe4LprDaq87bQI6ELVsUawXJnXYhrnpuBiDvzXgl5qINRoBvbT1Grb0nq0AIoKfh5aTzWy_yzE2OmBj3Dipm36zPRZFrx2QRIBxbc3pZHI7sS8EEPzlwAscMhWeXJv0Qa0YU7HiivA7ognwhQEGelC6o4aBJ1BmxyACFgBBlzuSceqbej6rdS8r8HoIlzHPgYTu.MP0d_ZcR.zQh3Xetjr2R9.9WdCwNOl473IEh6RQ1KiqZ7LgGmaIf.xE0wXGuBE9Z8nN57S0Xl5S7gXrdhfCkISvx6jGgdpKuNJknby0otUNCtXSWpYiLrY9Z1JI9VkKT1FVIeWQuc5sEmvJAWAOBODpvSDpxx0I7QqiMeFzVLveHlS4LxM4CuTZJgy_rkrenL03ICyrDbuX7IAXE0yFit_8CJCJ62S_FGHyMi6.S4XfNouh4NMu3_Vqrvrzkb2k1ijrZmpi3wfiua5rb8e9A4JjCqcCf2KaHTJ42kWMguzQ5dtF7RM4raKEwDNB9lDoCth4mQ3YXiETog8GhTtPfTKPcQCrkgUCYC.xy6R7kXDJp_t.drXdvYWTmxS0s64pW9dGjjFZj4gFgKcokJnZmjos9vXHGZP7T0fXd2MhQ.KnatXBfwi.iGHuqpuAWRx3yg5Wqf.IWKbk8rsedo64HCVj3YhOR3is93rK.h.yqy7QZBuCjMLqbZGOTL2YWhHNFBda6SamWGbkwNI5mR_WYHdgpycpfHrlG2JuZoVqdIwlSs5SZdk3d6d36N5a_N86qkXOd08mnEbk5nPoNI8CRZ.7nmLWjui8weHjnTw7Z0MynQD05uYEC7v.TbFqSRU4mAEnF7lIIwuGQOfghNaKfjpr6TMU.UpJYHm3Pfi2GA8MT3V4TW8PONOS.CC9kYebnTogldP2dZHXWv_tqlupUGohRkovbFik7CteQrH7IYzLO2li9z4eO57UgD1NDiWHqlChOsNmuZ7ks6ejfN7MIx1L_viRMuJ1elTYk4ckpxOj5Lz_MiUEsDjGpTzLvk.z5rnTWomSTE1bL9nDUNdS236yC4xAXWQk3bfB_FzUBziDm8B_U9UeNPEM4NIVnxG8XZCjhey6LF5nHjfwoLa.9cnqG6bZ2VOqEymoOhxDzXw9YWF.gHz6av2H1mqdD0tTQmccjBby_nX9XP3NOnrloZaCVYJ.VLTOxapfC7gjZp2N4bNxAX3e0z4xbY5eyqQo57DrXRwU4auyI8TJztgNI9tXia_uVZsrjpKnc2hTVBaPVdQ2Yl5LFlKS3mVJKQS1uwoy6K.J0VligwIwQHRN6rgjnSJF5SCTlgsugYRMpsvqF21s1ROrCoGDLjDhMihbibwJFRfOzgOs3A7cIsDfo9uPmb8FBGl_gF.ZJobrSywAfqUz15qbimbK2z439MTq9NrxeuT69wHjQjAY7dlv94tvDmYqI_755HMuNOMZxGBrG09lul8r9orhzWuKW9W4nLFd4VwI78AtpLXr9BgXc8nwch8kov_tCtmB003bxE0jiMLqZ5gZukKOP0IOVtVhD5lL8H4YSBet8ScE6Lm9W07.xOZ3MaFWulIZZqG26lYXIUTjBu3ZLPR.KCRwfyR4jpEM3_BQ6hpa3SAljKbk8Ch_nufeEVLGF0if_7DfRzANFaZWl_Fwzz6tdUB2T2TcnwNqe4OA13W.CZfbwmpBm93tWJiwd3eKIrzLkV1SMjIn1zK3c162QNWtCtWbCH3n4yXFhCG4U7FUf4A5hKcSNnDFI5fnBMtVrdvTOAXufvP67d8ye6L2ZpEbR_mrBpAuAXZ8KLbv_1zpcAYz.DPiCJv46CznVtNPU1rQWvicg',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d27241e0e3acac';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\/manual2.tex?__cf_chl_rt_tk=.AHRd145P.QeufFfndZUD.AA.YEjOKbEOomnFHhEg6Y-1752175519-1.0.1.1-t3OV9iqP6rfVwxeunzXFFkAVYMJDttwDIc3A3PAIQSU"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>