<!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: '95d2840f4521ab21',cH: 'D8rHykJKvR7JzZBudQQvkm4zEoh6M314wF0KIzDaIrE-1752176248-1.2.1.1-ROjg._zMJSy7BjmRWBjW2tg4.AH4v49ImActiLnIPakwTIeEoVwVBRGhWJ30kPQS',cUPMDTk:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/credits1.tex?__cf_chl_tk=SAHgIBX0HLXv3JG7orWfd51S6l3hxsPvC4Gne1.MVpI-1752176248-1.0.1.1-CH_RfDEkcFhLf3ocx5RakB4QprtXEI4tQ8ihi5jScuQ",cFPWv: 'b',cITimeS: '1752176248',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/credits1.tex?__cf_chl_f_tk=SAHgIBX0HLXv3JG7orWfd51S6l3hxsPvC4Gne1.MVpI-1752176248-1.0.1.1-CH_RfDEkcFhLf3ocx5RakB4QprtXEI4tQ8ihi5jScuQ",md: 'I2iLNICe5i8G93dCgBaclXxi70hy7sQx2ZjZOb3pO7E-1752176248-1.2.1.1-Ec35kvXWtS3ieg_KPOlHQonlXzPooghMqp0oPeGgyyYGUuoWx9fS8CEEkR6ac4sS6mfLbsgtkc7drji2ol4MffnX_ejZ8q_cpLptN3TkbDnUGY513oOp2qqfnyKQX1j4eehDJcZwS2_bKcVsPxggYLvTCRiyiBrMnDqXsjJTTKtLl02d8n5OJudC62315EOgrBuDKbKG51OuYCuwnmR708OYpQcLB1ybH9E4S8EuITvIacj0jPWGSUtCkZT3W.plEyLUQnXi5QFz9paVDsz9COJddIuKO_Zq1DPWbDChIq.x0EUo6gS_7AhoC8eNlmF55BwHty20dvKCg6W6HEofAkMXBWL50Qj_xvpn2w3VF52KLJA0vgNRfBIu9fMgTxSEzuO9AhQGZbcthdlT.H2SuKSgSoT61_sC.lbPBLEexXdczumt_rmxdSJpnBhkhN3g0RKPPcqa.G6gYP9PD5iur_KeerZ.SbUT2Fhy1OYXbX3smCjRMW7g35iOFzeqO.vMUUdedRBqJFTQ6t7DxsMQmK4HYfQUi_EAhk4YymWy9NN.xLByZxpO6XpA5f20RKH_f3_st3HmO9PPa4fKSJKOJE8JZQjBMzmzRKQB896tusT5iFdgfrZnu5g1MrxnpppaTKR6c3U1wbnl02iUAQLa1DTBaiSsenVWrk6k87zsd_jAWIuDotHL3l24JA3lK71k2IRxKATPbr0_1NkyvSrwLIBVIgrTCIiSZ6YY2P7mgFF_5UvAosLyLTMOKz2MASnjyNGi6mtMGM4yBJm7GPuDNzOe0BOxKZXbJtlnFoQ.Zd92w6cCUws8OcgJtY_QtqU8xjhlk_EtjfcHiy.Mdsp1OwnPa3vdhJ5Iu8ckgbkOKdQpR4OXjuIx0nemvsc6wYKxNz0K2mXuCuQJvJuLa7QYNTITFpTT3HY.RXlWZ8ll0bLmwNUrZf9.a4wy5xHX86UQBG_ohV68dmFCYq0Kb.21m_HsbIrXbViaf0qOnqZTQm9wY_WO0l6Z8sZ4rR_DGd7y',mdrd: 'iDfXpuTP1.kbXrFub6o79olOkMz8BW2qKHwdIweiDRg-1752176248-1.2.1.1-ywmHlI6Se0W8VhAyfB62DsqAoI_AHuhtsU2a737KzMlpRv1Ac_CqoIHU1YANF.7VS_Zku9dQ39uGlmCCL1mPbnlU1Xbq9i8hmVD5Rd0_9qePTZBw.ZVaguTw2GGjOapQ8fZlEOU4bRgH5uHFiIBiUTmdNnJMocBKpoKpnqllULfNgIvcdxtTOrgta9nmyNp6p390yqROHerPl.JDkySLCAfclWIW0hONx59UiA0KenGOIdxzAgjKtGvw433GpEkMpovnVRvGP4k1zqE8VdOkC.5Y4ZNRAemdaCIpa9jy6vXpyvUNGd5u0YZC48oreOmDrvqO_lkMQGXeTxaTsR6YjpxhJjkiTW1PL.ZCimqZ_Yu3Eshh5I45_CWyvATxAxMlPMYk7KU9oqjdFX41OCCcpPEoU_dHTMkOblHDUy7fh_0_MnwBaMv8hZr76ozrtacOLMERPf1e8XWvDWLc1F_8xBwoboQv9ldlOh6iZktYbuDRWYCzXtz1Dq1pLRgIj_9EmnyW7p7UC8PMCMuC8Bc5rhfBqx52ZkCoIfUk_60WeByWzXh_5exE3AFit1kI69IPinH_pUgE7g.H2TJ8uOSNHeJnbNcJD9lp7NzrNfMW5Ws.So419DJVkll6cfaKZ9UpfKC6BDyM1t7xTHwKG2U2eMeckk7c_.WuM_x4qsiAaMdeb.MH1VXZDxZV7hfdO7RNJUTfhDKwo9JihrN8asrRnn77XqhVs2X2iq3TwEn3.or23O1pcws00Z_Vuo4.yIFvRCUnFTSoK7l4Dl3jR9wCq2U6Xj7ZwtB3aAkqhevq.CFcgutGi_BpoNItf2nLAb80SP1BjekaLafrwoPW34YGv8Fy68r6Pwk8Nc0z0x4_Wfy9d.jN9H0DVCnaBwxg4I1ZpVLNxNKICyL1isxWoRYEt.r8J8jimEyZBgvbXmYc5RfKnwwf4Twfb1iDwrwGVGCrcBqbRrB.gbBYHYEaueZq2F3sTgyZ7tZBHKw7iOEzpVVGYwEjuQBVIpcI5hml7i5c3xbLwDdSUQ7rS8U1wda7kZ8hzqTHsgTnE2S8TfTxV36yu25zp1705wDRB7LSCIjdhBYreb6yiaKBjE8YvXh_NXoLiipnRTKxBAahmk84LmLyHVgkIrFryJqiMwclUxadRQeTUhNAVmxJ7CETbKfnMjAWuYNHCGeMHYqklzMH05EyUCU4SsypCRswNmfYuZtUR0MKDAft101yuAcgIPkn49v7E87Clbu6tubTEZSlvYTYaOy1W2gN3Ikr8Yeq9v2nLyoD8WcwYuPLezQDBCrFjFT3LcBLdzuRI519jbHg_Q_Fy.CL0W_wjCJVnANg.3xzTofpNwNRGppS9YfE7wmliU.0hWhWEQDqMwrqdbrLOI376tW64rq_3lXizbKNj4_asYb5ik0bqAhJNuxVLdRAqyXzVpoLq5mm.OUXaaQBbXySrcq9fw9sBpWCplFSWs5ClKObcAqm23tuRCzXQoC3_jA7_HffvY3Ddb1pSnN.KdBz1nz7zaSh5utLVywssyRdN00Ba5mDjqGM7A00SAwp_CuqMffOwDLpFXnoMGLpAjsTPMvRO_lgnRsitGIzionjKIBodHVCSjhuJixu2_PPN6HCjTdBk2rv76o9Pk01mieel6B0ipt0ei8Dg74v9NUv_ev1CgSxqjeMDl6ZYJ0PsoIx.8yXu48NWMFVs8EZCqwqL.sLcYsgMsujtC4eaK6L5gGsAqwcOaedLzyPYLcdYYPDzTAKaLAVSXHuTDiN2Tav_nGSRnyA_1PxTwqCpOGkJUxWBRe6MwIekQqxBSdAWSqjmmHShUMwPoqbcE1SR6cB7dZv5.lLvICLCTB__klfnP33jWD5_teTiqcah1uTBDV9vjYuyjsUcSip1seFTkEuayg6NAE6L9h9bulVwzuVW73F4m4nmXSCbSqTk46abQK7BNEwe.94shUp.Je.1L9O4fR6n9jBWTCZJzrVM3FUM92wbogCIOR5pYstLVyHc.1hLNqrFkOnHLWDUeA0lI.J_IuhbtGc6ebfIyM2RUmECQNkJePTpieBJuaYagHX9C29NeBRSJIoA9FFTE0K5kmeJ5BKV_.6.3tfI_dejSBAQ3dChun4n4vE4XbwO1N5lqJiVIS5h1O38SBACl91UA_5Vt06dKuebJH4u0umk9mSyqgt.LWOzh1ULRLss8t5Bjn7EFiG5f1hkYbn5bsOYczDFzdeKkoQ2D2jVHxBdv_rk9l9p5mMdAQyVH9.cbjn0VkzYdKGfYqOICAwP7N4QA590NpuuqqBE0gaA_tc7AtIkxjFdnQ1uqSAD5XK6QwLKFleTruUs4V01tORwi_uxpCLy2H1ZGePBNAFNDyCg75tce8RYwO6LfNpWoGa.x2H6GlC_YPy7rb3HEpPNH18zlhPkHlXK4icWD2BDtT6oT0z23oGB6qiUz5vXwjqaiX8_xsSlkCHGfTtDvbS_OEcrDpw54cNA7ONchRzsPK58LBnaTDr8IJ7pI1.rstAkGdASMSHarIft9RockJ50qJ.N4ADl8YT2eks9leAylAclwyCmy.xn6fweODQ3tnAg.WcpME6nHZ6lBbNH3tFPsren_pjDsE__zMTRQPH_aMim9O2LeNvlbdRX5_aHPoi5t0F2A',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d2840f4521ab21';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\/4458\/tree\/\/trunk\/XSB\/docs\/userman\/credits1.tex?__cf_chl_rt_tk=SAHgIBX0HLXv3JG7orWfd51S6l3hxsPvC4Gne1.MVpI-1752176248-1.0.1.1-CH_RfDEkcFhLf3ocx5RakB4QprtXEI4tQ8ihi5jScuQ"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>