<!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: '95e0dab5156c003c',cH: 'QDTNCo9sndnJN8mrcBp4CctX_quyln42gi989DaT__Q-1752326597-1.2.1.1-4rLJAg_MFPrFySArqbBlbZFBUO5jtvY4adcHk1tZ3tblVthGwFg38hIOOsodN9BS',cUPMDTk:"\/p\/xsb\/src\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/nondoc.tex?__cf_chl_tk=UzK636WT.Eg_CS.QOqLE3vYtUZx37gUlPLvAWN26rII-1752326597-1.0.1.1-lcXPhIxFGBfpz0WoGMkVtYddkSvC0Qr7pxLAigjtO6s",cFPWv: 'g',cITimeS: '1752326597',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/nondoc.tex?__cf_chl_f_tk=UzK636WT.Eg_CS.QOqLE3vYtUZx37gUlPLvAWN26rII-1752326597-1.0.1.1-lcXPhIxFGBfpz0WoGMkVtYddkSvC0Qr7pxLAigjtO6s",md: 'b.V1NcLMPUoTtK.vE9j4l_IFySDvS6fQblbGTsfeb6Y-1752326597-1.2.1.1-J4Fgr1PVs5cvNRghkpFR3oniDirKTQnB3Q1yk.1JirhK8xRqM135_Wo.bppKvdSp2s0p3AoeM59_xE0n3rW5kLyK3H4NX8cqX7G0QiarAg4HW1vTijeQQu0AoWrHmnO7EqeOemWmBzppAF1keO1OrByorAVbnHu9DREH7.pH_8rRMRjWdUqR.PgO32jKUHk_qbHYFB3G5t2gLxsfZVrYr_6urykiOZ1fJh3UNNHkYYeU5TKJkWsxaeXdgA2NE1to5IjqRK9C6CHhS27hDEg_tewpBL_eGMWLMaObqhm7KyJWA.px.AQEHrsRcB1rWSx.pP5zaoouSfASwoSRLdtqhlMA5pEsXvZuTTT1omPC43FbRLq7IXV0E9VPyOBwnk4adEWKHBFEfgj9p1i929vGyAxzfUd1_aOjdJKr0YIcHvylGo_xJHgQTdsZmaoOCJSHSLRXaKfbiqzGLMbZ8bD9_ixNdoPcn7BN1EuHD7dyf2Kgm3fBEvz5AD4Vv0.BdlepPF2AzcOxY_yfIwmzakNgL49xOHBYXWPMhXmsbfA1wt4YIdui4DQgtkct7LgyhNwdJNtiZFjLRVbHNs93D.0D.zPaq8j0pfaZIdJM3RVd._EUSNQIX8UJ3EIxv9YphHnuQmIrXtnFAhwErZ81DYNUEZKPQ9wFtrt_Y4YnmYReKvOTEzZ6eLicxq_njkxgVh.dKyUaBqMf2wf4S9XP6vjO.7pwXVH1esKu2DTObEGDOKkc5Cz5HXTb44FoKKgZG5FQVJ01aUR4Uu9RmipH4Uui38HPMOb2tkv44hcz0th5vH.HZa6z8smS9sWmAYFiDyrziApGZGYNe0DG4v3C8lGCFK_M4fGaM2_dCdzOH674WHqo7vmY93laIvxBvm0ySZKW4UgR..QbDhwshMDCt_Vt74GXj_awxrhU4yYAOdrgnB_vvlro9pcwq9N3FYvSdQCKoBCCimScTuTMOQ8M5Bt1PXKtnguUqbMiHWPWgh90JQnvxQEG_xtXNkaBGwAHSidP',mdrd: 'GCj91Nq7IqKBqGgDtjiK_b51wwhHSKNi4TAXKOmikag-1752326597-1.2.1.1-uitGuXY.fxsb0ThSx.6Xw8oU0o15C5MLFMuI.JtPBXf3F.pIwsPTi4W291YsiDd9YBSH3VVXArghagKk2oyb.9.wlBUAQjQNNxXWOqAU9Nv83dNcS9OkTLnbwQ.sD_CS09OQYgkUBoUQF3cs6gcdyMgpHypEjKVxRkQmA5rj_pVT08BTaCCJRUTTSw9CQs3t9LVR7Aj9SWmwPy8DD9eTSy2iLdfYdS38HW5xYOZiAvbt1fyMN0wlb1v6lX1nEU7bzHWtOaAowJtwgTyWxArZlG57IrtwMcX6wC9nb.XBZgWtfK2ARgQzan2kigE6YRNGzlUVIoVf1aKaTWhDisHs1QwnF54ITt0Iec_7OniE9kz7TDTq7SEEsLS2UO32RL5isaHjYQXk4GbOwEYbrxOkcQtIt2hv0vj1Zn56VN0GO5RKVPjsxK7ylM6t_3E90J8BC_hRiD3gjzStlDgYPhrvpSWHwO_ou4V3jhpcqfjBNB3WqKYMSUQhiJ5k9l9ZD7HNqKXv3YeBaakbhXzxQoUDAxvcW6Yyhp1JmlxAs1cnLYCDF74O7I.vhq.s8cm2mktr4zYDSBHNtE_SfEBCGGviN47r_eb.br6yw.TNiyvNkReR_nlt8RXjuMBzngLeCHFsV1HKFXAaF7QGUtWkh6XXoQ.E0Vfg9DWCveJOplPJiXsJBId3_sGKL6uEPcoj.tIOtQzQE2G9Q0qT1agyveQ47zTTRuICvjbHTYwDpFsNVlcX3c9GV0jgjJxip6_orPt2JE6UqSZaDQIO6Imxhy5r9INRm45M7doijpGoMr5yhJjZ5YcBw08rsaOZb2Wx6rGnjlEKFGzwbCLEqkwPCXJpH9kYQK8L_do_XdLnB1ROhzMq7dKbzhB4WYxwc9gei_7V4sYbdEUXl952qvgQgBWlLe.Zwlg_InliFS6_bp93Nj0SjhZ0HxtnLvjd0swtuogse2_BrMEROD2RWCwEBt_yemRWOw6MFePa9981TCXihMCWhsSkB0ou4ODWUXf.SUvzhvxHRHLZMihogGAglD3QD0rOsUJcRVi1bNqljHYCC1FrxXZBMsZ6x_0p41bPRjfWAzsFkotNlAySiyMgmDKVcFOxqQUGjo3DXfpcSseQhF64iqrY42TQv2fbkekqy50.rovouKCiqKcWPpm0QWQmAYX1oULQl6nMJG0eOEgi23zJj2U0cvWf4Q0c9EBPM1wpgSfHIXK.a1_qP.DBZ9DSsa3hMTToU03qKIwKhpqP9xy0PjRWNPQooJjCuy72hHsA.mearIF9VDBor6ZJ3eMjTQBFbZcg1z7JN8C1ofVeZ2TC6E6.psmAgqJQI_tU3Txe_GXjni1jlybN441D70gtOal8O6j2tueR6lCumbZ7T.Cv1Ubw44SDgt0k74yCbRZWlIXTG3yxw_Y7lwYlNX.OyC.fIyoXWy3FTCS2fCv8dkjMUJ.zWQ_vKAR5njZQgky1ou6pdtIeuUCH_4auI0JOkyYQlfQEAyynXxD_T6ioKTCuRhIIig4aLBYk2erSQ_A.76pPxStGEpGfxTUUMgkz4ULVy2dbvN3ebl7xJxG4DE2v2kK_nseWXUM3NywvTo7D2IlX4rNXOhOstYEWL8HbOXio0g43FqSBPfoZNCzeeC4rabNAx.8L9XRuh47RUKZ.J0P3SbF6GQsvtmrxK483SfA_77803nE4aE8Jg1utNNVPsZmHYBnQvOLKh_aLdrtMV170ePi_LlQsRrBHrbQXsPzFG.h3yNuKrkGaqJd_NaEOl1jH41tl3A8AzfS0ugHQ1rEpd1ZiwT7F4T3J0vsCA.2Bp6Fs5PImWA_iTGt.xIhaXWu4RV.fR.BvoXfTYpJp1HusACzNLcrE8DLe5AZU8uxv3Jzpf2N.uaRqTtxClegYkSXtv8xEWsNf9XPah9HahiJ9mxTTm2qGvioWKxUyguW0ymsSP5m5aO749xaupj6C0QoTc6zzHWlAobnx89mfxrJKKCJgIeOsbWJBZJL04cxR31hjAtqP38UUOAGQmmhJAuuPwVVOwhiIMsoae2f5iiI6Go4k.vYuHw0N33Dnc1SFkqfA7WLCtiMS255WacacdgOSlO9X_XSbQea48pwL4d9t.cplGu2h11dYELQmIxtnbhtoJtz4zxj9ETSqtOyeUm2.7ET6RNm8.QgQka9DTIuCe_BV_do_aTseGRNNVFkPUR6o5opMC1dyuDzPD6w2K4SXT3rJHqQQ0XdzkEhrVQ9MB.oQJ7aBLD3In1dXiPIIJNX7dG77XaD_m1wpTMoKgSSAdt9c3yi_t2jj0HQ5z9XA_sDQK1uJu0YnViEQOujsiAmrgtmykLfPhSxVjMlZssYUuUEz4G63MtYmuiHrL3H4UaNB9IR8kvDnTictLvFltJulKKHaPVQpiV9.ZU1VCJJkfUiLUHKsirXk3YYMjrNgs5IltOzkZ4Sj0nY0MKFAjsRhJjYdQFyrc0E81_a2.SfSIzQAv1ebJHultN0LK4VlbU0W2I3ePzQ9wtOJjiRnlBUTzbCTaFBk6qejLqQC3bJMekcKO7Itc6fTC2YLPnCQigwq28wRssi.Ik_VyAkeIiUyQRtv3RudqHZfA2wFdbNWDmUwH4kdUDnAzUXMK8IfrjJOOePkWFdApvFsEw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0dab5156c003c';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\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/nondoc.tex?__cf_chl_rt_tk=UzK636WT.Eg_CS.QOqLE3vYtUZx37gUlPLvAWN26rII-1752326597-1.0.1.1-lcXPhIxFGBfpz0WoGMkVtYddkSvC0Qr7pxLAigjtO6s"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>