<!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: '9651a736216ca228',cH: 'iml_3C80BZEdWNIrRLHI3K0b0Bd2E4SMoOpKDe4mNTI-1753509379-1.2.1.1-fJEP_BKsOeIohBTJXTYKVFi6_iTuKQSAmNDaY5Hc2FLysD_bgOhjHie47oUf4aLP',cUPMDTk:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_tk=A1BAHT_E7x11NY1Dkl8gpthjYPS1NCGlz.YOW6WWGy8-1753509379-1.0.1.1-AcXPv2tdJCyb410s5ZSUMBmQf4Pxj_WP68W4geBfwJ0",cFPWv: 'b',cITimeS: '1753509379',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_f_tk=A1BAHT_E7x11NY1Dkl8gpthjYPS1NCGlz.YOW6WWGy8-1753509379-1.0.1.1-AcXPv2tdJCyb410s5ZSUMBmQf4Pxj_WP68W4geBfwJ0",md: 'FYOo9LKczetJe9ZKAeMYjQUb47B3esN1Ug74hUsLWtg-1753509379-1.2.1.1-0qGBDiqXpHDYK1DbpgdFUoZPsgq46lV.99MAJ9b8aqqMtjRj1Q5Tcx.NBYLDGyg2erk9juxTex.BDlV3GhURQCljkC1OnHHcN4WO1SinTDRKZsty3yUPgOEP6TwtnBz_8pGj1xXchMwm.UOd8rC16qaPfAivrT996dcAnhY3lCEmPyDKyAMQ4r0EOcAjj6S3ZYkwYoAcVLOERKYzPVTn1iVODEsBtwVNGLz294Oxpt4BaaZ52rGQFZ.bM2BSz5NDgHSY54y7.axq70kNuIux6wZ_5eLtfnDkt4Hv4accChGJu2dvsxah0PUtvyICnZVLqLCdDcLCn7ARtYDcBsb3ItCtdQionTX0NkDvwg6Cu0.U4VyI67um55vzhVbP3Si1DHlJPg9eSIwGMI5nCYPO12pZtC6hQ5jasWRHvVdd7oAEAl7XSk7tKvQs74GzTyB5Q13lZKymz5nSlXfEP8UiM_G4OsgcUHOtqvenobvdMMYmnobTq5ZCPd4uwJw.vZ50haadIUvmpOGnilB1OgtwbQQIOCXtIEKG3n99mX2UMAhyXI0WMj3P8jovUEUGYWou3FgcVmvJdwHZg.2hRBtPlMsEYNuDuTI.mcNhnOojjvJfC_KKzLFDudGmfjWuvSZy0FLiVqbHpxtbYx4ztgv8Z4JazHkXolg12z7TO6j4NElH6ToGBOuqikHq9VouPnmS_1QWRArQTTLtz2lOTaiutLhIXbWS7binHv.4DQviWOeI0aFRZpbpRtCh.UDZOs2B2gIV7EnxU7C58ciuv1EcRXkxyd827Pd1fSAcOhIO2wwx3huk7hXoxCMjJURk2bNK.nQLTJ5BSmdq7GmxDUxJ2vdLXfaX0Ql5Vo7knQGYKYod03AkG6olGYY0t8QF70mgG95SG94I0RpPoRjNMFWRl7lmJ.Ks1gyNF8eqig87OFRXFqyxRJNR9y777aaUpgrH4sszUqnDJxE4cT09xcaTcKM2t3091R0BnJgmTcOqxPs',mdrd: 'rmO6un1yfuPYcP6Iy1V2QhY3mj85t.Z_VeeAtF_qGBk-1753509379-1.2.1.1-H5tx1VaBSr3huAPsEAWzKMx7uLFd_eDLI2dMrJeV5_fMd3G7nRYA5K5AU.JTTJp2CVZW1FIUG6OENixBIQTpclEM08BRHL.qPCmbsUwwRnnn2m3GCSL6YUY4dYsyb1Ev38gV0r8K_UzuYJg0hprMUTiaKh_ZcJYU.Un.10vnpE_Al2oF.Pxeekm1HqfhaXti1M8EXuuRy2sZW0kS1kfXt3mFKecwtgDUZ85mJ7jV1xw8jw73KkMlJaL2UMyL38IhE8Nvddm534qRPIBhUsN7sansUsi4VA9yyq1ZNOehNvbB3m5_yLf1DDKirBHppF5386269U4_2sxiKMPNow2s2UDTBnBvlI9778UGLX2IWKq2N3qn69wHgByQBRXxw12aVSXnFwtvnJFibFDwrDwz7uKuEx4L5HVe4fLINd7qVb9VQGEN3O6aCv98l2SwWGJzc1DggSgHkwEfWpkDSKoJgiwfu6tKGM6YLKfyQMZ3osq4giEs2JeQMlvhdiLKHmX27NEvjgkP.kwE0HUS6QguX7ZjX_Dlt5bYxtcULF4yzy6YE2Kejd3yGtfTa6pe5_3Yu14M_pcXLclCk7VqOCyXqu0GNG1UzseQVhEUjeH5AMGaZvSJGJyDTjjWcGnCRDpubH9pvVrGTTQhcyWkvHYy5Xhg_eq4g3zwZUaezqsz1BDEkifOIng42hVXUxpFMaNO1OusYm.PYDkO4z6upoxghmY_xgXBHhpuP4MaIDdYTK6WFc85hHI96wvjxIhskSQrlngVw23fCte66PaE8i1kEnFt1XuJJI7O1qOfnv0jKgunyisL2pLPxuBcvxtZptLABro3mZ94m2w9p0KVHbYi0Xkb3NLZBYLDgAMDOUYRwouR4cZmBMvDDDkSl5_k4gSfAggxLymlNXki.XfdUMFcrSjmOQLoCjs8mRuHgWvHM07LhPj2tJHCvYPeJ4X2Ep4aIF1mYR.RizQHOsu4Z8VXR5eU5bXQNu6tve9YDyJFerebxZ.XnOueydVd_xr6stva6ROIE..o9dhIlPcVMOHQCC0DVuyAa_HYL_57DWByytS.aFJGwEN2Adh7shcAduh1AWzAD3tna8PiUMb5suupZDSZ9Z4QL1Sijy34uHqPxvazmKu1SV1k4UihelDNSGVo3VWO2Sjp6xAfd.UZtOeRv_H9Yt6z.eYg9EdoGc8nEIpVjnrHBkYKCIdVFJF1Ah3hENMhF_qzfc3b.mLsIwR0zux5ywtP5xlb1wdiemPonDnrH5PojeA2zJqumjfnIvPcmqqluem5hqcbF5_Y5eFXgAI.Rxxjd73e.P8Tqh7E7TnqFTLAMBTjyaPifSbVCqlZtprcoNgfbkQ2L8FAHjr1_UqHgSOS6JeRZZmtWYKUkh7Xg9BzJW7aIfJYDseglyi4FKfhPvUEk3yucDvHVfhmEijyHCkZe0iuQH8.tNAuKn.AisMiSgRQ4RSct1EwCXf4cf49z3kQM3Ceqh7jaLbZFchj5MlPpsS5BeXjGSIafW0wwgIHalNOm8aefcuY3iG8YOsZAr07xUi0aSZM6t_J4ppDDMCrc0mBY1UnQwvKwTQvg5_kqLkRRH.gthdYIJfzBqXQeI0NNDSw__IW9YeIOYtWnBv6RhZh2YiBzW_IBuk2JfM8qO6XN1iLG6aFL1XbpAUbD3ezA9ZEeD75yViUTQazvn3gVAr7IpOAlOBB.ED0BpL0LKAKIo8RM61_2u.s4Zpp18pH52oj9gHg13q2WrqzU8VRtEZZSCdjVHKwXWQIJIXSLDiJ8XadxSBJJnU_7HxpeB2Luxa7xNwwHlNmDiNTafB74D0cp9evUuTZdxZMOGpkGzfuNun0Et8IeaREKAPG44xn4xMjOU61eBJ1vIwq7ThdVYAOyC6aIV1NjJlfc2.AWyDuuFC1PCFcFV6lqXX4.rGpPmIpkIN6OixsbtusI41rPNTm42jWXGgAhA_n4BhXGiKE0o8WMFJ.72HYm4kMG6KMV0Rt0EVm12XYItACWxBwNGC.5k8kwUwFB9k30txL0rkSloF0Z2jQT6z1JyJbHq4QVm4KITQBks0UMQiNqkEHBvnW2J3J0qN_I_gKOS4IstzNWudZZs7mm7OimZH.wPqxeez.f8EPjSTt5D77CdpwCObCtjTO_A5vFMF5.b6gqMvaHq65w5ghz7PChlhx.N9TxRmoOGH6ddiFu2NX7wkSA1zbg2gg4ZxmTV5OecUn97K.HklWnmVQddmSLr22yVD4v6vJEc_ye4NtRfCICJXdT4k441ndW2NVrR5IC8Qu3WyGrU_V231rf7vpze2RnH6jPQUaRfZxundu1Tess_7LL8rV5ASA7EBbBgjeFtBziLENJsQWt7OEuR9FzqkmcicKG5XMsDZRvJAV0kR3SILmzXdsTW6A7hxn_TxAu.dzpjrfcX6pAXIJqx3ysBvquHYxdZBuhiZIOolFNPde14C834aVX.ms9bvvB57MkmYpdHBFOnonJwAASJPIE5druau7FoO1OdkcnjeSzq8DgI9p_OArqLDt8LnKUnFL02Ti_cR6qWtYtdxl0px0GcDlLQEGwcgooh0MM7EIiEIXoDGDOfVMSOUBWRuoA5.bnaty6MJSa15v.NLWuPGWW0E70kRxW6wIsy5UNPVJVg',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651a736216ca228';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\/8352\/tree\/\/trunk\/XSB\/docs\/userman\/builtin.tex?__cf_chl_rt_tk=A1BAHT_E7x11NY1Dkl8gpthjYPS1NCGlz.YOW6WWGy8-1753509379-1.0.1.1-AcXPv2tdJCyb410s5ZSUMBmQf4Pxj_WP68W4geBfwJ0"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>