<!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: '96182bb9f4a8e8fb',cH: 'ooCgQruC7yvSTLM0DSoaYRVvnTaqyVx0Fe21.RsgFE0-1752906633-1.2.1.1-eLN1zNDIZS8sCzYrh2ROjrsGTXXlUkNGHdidtLuqNC_ofsPkY.5_nIWtvDKTEHOf',cUPMDTk:"\/p\/xsb\/src\/409\/tree\/\/trunk\/XSB\/docs\/userman\/restrict.tex?__cf_chl_tk=UcHon4pyYInsAetX0PhL9NV1BurV.P8kcsjE.R0HgMk-1752906633-1.0.1.1-9U1LmFS7jTMbZusyF8PKv2EfnRg.u1GL1hu4j5VTJpU",cFPWv: 'g',cITimeS: '1752906633',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/409\/tree\/\/trunk\/XSB\/docs\/userman\/restrict.tex?__cf_chl_f_tk=UcHon4pyYInsAetX0PhL9NV1BurV.P8kcsjE.R0HgMk-1752906633-1.0.1.1-9U1LmFS7jTMbZusyF8PKv2EfnRg.u1GL1hu4j5VTJpU",md: 'YPJlu7FECzDgmi3x81w6A5mfv7amcTXXoa42.2VScZo-1752906633-1.2.1.1-8rL6BYFrmge.ovrlcvKFMKqzkr9ABoTtFBFmkQJPbv3u8fSzmxBxPydpuTK8s3HMKFbFd9NK37C1P6H0YA6p.tXPDR4IGo3YY3nU5McFt9ewGo2.Lg.JP.8HODRd4Z7qViARkjEUUn1bBdlDgdjtAX1R25o7HwsHr7_nMX1He.n1znvUsuKX6sHjDvjd3HLjvRGMVXYn7vcn5Tz1Zy92GTMmA4aA95pdImlQNLkve7iSYmb.d88P8Vxw3OYHDRPbbPUn8vIHdkfqRsnZiK07ijQxY6MfN5TO1tsgy5fOZHoPwCxIBrzClwTm92Oee1PjBxLdSlwDpye0wdMI4CKybxMd9heZc8ul4UxLaGePRTU982cZHul2Fc3HIvtiuyeDsGGXK6Ji0.UviSagJ62135AQ_sbTIUtJrDB3L25i_q7qjvb6gQ3Ri.3yvpa1jyLizCMxS2_Igqn5EkeLrwx_HjHQ6i63rt6x44n8aRe1VFQj.kIL9stYBHofp7ojOiPJMj76x_0rjp6EqJkjYL_Gx7pJ69Clr7CJG7PFIJfYFSCIetQv3VkWjIxRKt3J1CM5WSMUddaLQMzqNS5l.N0iKqCh1GsjyLkMVIn5EIE.pFdjuoPyJDVVG74Uf__w6.23lhemXgspD2TWPqaa11TdLBvOvYeS2alsMh7kSTnL8zWyhxYTgTd48o2p2lMJFPc38YArL2OnyUPH1pK7Zif7lc0Q8s.aiSv3HWKidBQ1ZLzRR.Ef.hyGppajxInWXBAdVO74.OhcXOxAYoZcGhd_qrIvFdasSDUomW8R5l2DvXhgc9O0pInaT5RUHiahLq2ueH0BivkWgigjgWJiPGT1TVKmAAtk44FvPDPEuYUlz9MUUZxxZLbGJYtifqOInIHN4Z70Jt0OwTArDjH.enLfBx..7wWwEjOs95cKf7iFQVjcsynXtsebm3BBzwYkTfgo_0SRkVxsRVtaN0qF1gt5yppaGg4lCGJu_hV3I3OZ.hM',mdrd: 'W1b6dp0wC2JsXQn.2c8b.B9Zcn_0scOeOwd9HKpK5B4-1752906633-1.2.1.1-a_4YWjtO8fn15TznlhBTjpOl3mEPhQBLs59gaqXjwuUektn8Cnwp9hX.qVLA71SYDfBn_RkuMryg6NS0gUkMtR.fdxNOxAVZSweOL5otCTwtyhXeeCC5UpVtB9Z6nRbvaXSTtDExcfiA29o6a7yzKfwNDgRzrR5c8tcadRySAEmNr4xQIaIKvSlQ9pNdsDE.lqT5.666IxzH5x1Wogqd6dWdtZEQeg9Q7ADJAUDusp9kb2MGhQ6bADN4RNYjjGDJEXNvw8i4e29SUPp8pZPKUV.crCHjFo.6vEJIGkcUhoG2xYOfsRKcObirEVdvHkNT2FopYvQ8ka8FBj3xmCATnBJDHehQ3w4lwMGFOuFV11ezw2qcwqTCJuaXM7M2Zsy.H7ZuQhD.RSB11ZWJQ3WkUv_s_sdBurN4T8RpL9Eo_9JLibs9TJ2pNc8VSC5RzqurLdM1JbOLumNEVHu96aLFn.1w34ms1679yU_0QQlrDoSCWApyi9IyPBvgCTK9WxAEtMokrGG_rFj9oLnswFWsvnxrBTcPvCi9kRuRcm_L_ME_.R_.0NYPg_Xx.08y7c2OVneIw9SIs0ox4GGAWvfsNnN6rC4jMA4AwYg.46aTe28O1BenJjsD.83Oecig4aLLUHpigRiXOFMRD7U2M6ostFuENz43kFTHkjMeJNluNnScVdFZ2EKe9mHkpRERRvJYjnZZqet6r.mnh7kBTml2pkwHmVGIijnIDo1JiTWi7SOjQyKIZMaN_HdcwIMOLvS19Y8_aI8nhQMg1YVbD61kTQl8T4Vi.Vk9_6vjuruih1jvT1323fOYCVVTvN8IYpvMx0w2bSDJM2tIKGk7FJiT_m8wfo9CxvUfsHIHWXS1SMhCWgaylouvm6zQbmmSrXN6IbKN3bcTwKy8utEXbHfUWdfZzRVDtngoxhvTXGRENQjKvMWpIf.KCTdW.nT9lPU9D5_dUagJvsJqLpjEJyoaAUVkDRuoC9jqmP5ICr6mGhDIHnJcc2WqJwTOWUgss01xYQnzI66dA6ZLlw9kA1G39crPOb7nD76aJku_j1GZrRmszlacC7KmCGnekv6vHG0MegEsltnvuSUHnaedQChf9nN3ordVO9zRTMVgiH50EblsNY5fm.9KdIeXmJyu6wpr503Oxgi.GoRFkTHSDl6Mrykc9wnGeZT__a1xB6934lhXuVICmuVelGj19.TR6FyhjN7JdLslVP7EmSjVfmqqRbP6awJp64Msqf8DLoPrgQemuwpBjFq0k.V.az_ULFitQNjl6AYUim_1QMcspctc3QTHqagyVBY_G8VayNwqapcdrzVyeoQjan0hIyYsl_aVluuxuEYuNfsb8Q9qTJI44OotR8EIPpxpvS4bIA8NTsObtP8uxBU5NGHv7t2FeBLoo8J48hnDsRcR0j52zFrsYHxy5lV0yZc36CVgocGupdSR5X7BMZ891ycQ_aGfHSXZTobDqvXUuMTl_AMggg9Y8q5mCZE7aq1mdtLjTMHVlbNT70GFyk_GKNPqvvt0CtS8OLU7LSvIktHxXRUH2eXFjZ9xRQixMIx7CPfxWt1BZaJ.KQBKSRhpXgRm5CBDZfvc0oXx6iJ_Xi6vE9lzQLHj.RLpwqjLyXv2xTBXOAUazMveRyE256e3IeHOwePKpmam6XhYjbn6Qw78wNktR8fDzCDxKIp6kCTxgx4XSISNq5X6O7OpNYpDFcvO6RCHlAQCg8TGP5hW9eH6n6bEP4jzZNJbrQw.iFQL3ti9TtlhxrT2sx_7tGVR1V6Dw9L0V24ppNrY0otyPD4fi2BrMx4rAdKSB0Fw8MVrRwOzBCGt.QkAKveVb6HAN.62QBm.sF3goWzjQF7bzFq_6ZcAL3OaR9JPPPLR70EtoJwd8A8VPsb3cJaLs2PYsAnOWIOzvt8oXerv0qP6Ju.NE.J2MOJkdOEbXSM6XcBGXuoHyGh4cvv.mCX.vrO5lIVQemsVcSN8fadzKw3WQMhCLvLSij6Tb81.2Aq0symE9u1qVIRjM3JIe8cho.A8ntGRQX0xq73aSHGjSDJ3y3_0TzGGqDlke9YSPYlLLN9uTgy8KLeNIe6SsEqeEdvTL5VpbYmPgztWDkJ0RhILE6eORxG2UoV2mov_Q3NwAIYp1sc4y11Ldnby0qO09abk5QKn0NWVBA3q1d_dU8UhRNBK9wcnOglRqfgHMtdVallpYyePi3SteO.nl09AIDKU8iuFGB_3MYY7TbB4gDAZo0fQZjq2PIqjoDdtxsOldImADN6N1Xcp.Bs32zSZ4B.klHEfFIB8qJW2vy4pJHD9jGRcc71hU1agEHL.c..WPQz9mws21BEZrLgK9pVphwjELrZ8iXagY42mt5i_FJnpSXe2ykvVomqNmcVbpU4B0Sa3rMqS3Go0iGKBurhFpZf3so3eVMJo1OQ5sYdtNpt2cSj3GfgZjr2OMhVLgeXwxce20g8h4iO.lEcrGi5kMXz8Q2j29BIsAKNAF2TgjouxmstnphBKdxCAC2LKQ7T5zR0N2RuIAQtMYV4GXVT5Psv4aFPZO8xvh52y93T49pxa2CE8iKAXPsns.O0O7TNkF_Ptt8jZZTpmo_hylvBX_YfuFaHrklAUaxrpLqmHlGCWddq6faqzV4c0Ww',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=96182bb9f4a8e8fb';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\/409\/tree\/\/trunk\/XSB\/docs\/userman\/restrict.tex?__cf_chl_rt_tk=UcHon4pyYInsAetX0PhL9NV1BurV.P8kcsjE.R0HgMk-1752906633-1.0.1.1-9U1LmFS7jTMbZusyF8PKv2EfnRg.u1GL1hu4j5VTJpU"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>