<!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;max-width:60rem;padding-left:1.5rem}@media (width <= 720px){.main-content{margin-top:4rem}}.h2{font-size:1.5rem;font-weight:500;line-height:2.25rem}@media (width <= 720px){.h2{font-size:1.25rem;line-height:1.5rem}}#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: '95ce46b6111668d7',cH: 'mQpjIToO71VI.PBgsL1E0VjFDhnZe4cYhw37QnOznws-1752131792-1.2.1.1-khgolnoR9TC9ivfbvxW5hwk58XJdeczGIPgLuBmeW4fhf6NEaUUVn3pejObsn6H8',cUPMDTk: "\/p\/xsb\/src\/4696\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_tk=lXF553.fkXQOD9vcgqhtFyCnkFGD13tdoyilAtQNss4-1752131792-1.0.1.1-bzEActIbR.BU5_Xu4AOQCR8CHEghYxQ.HW4mdUj3GD0",cFPWv: 'b',cITimeS: '1752131792',cTplC: 0,cTplV: 5,cTplB: 'cf',fa: "\/p\/xsb\/src\/4696\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_f_tk=lXF553.fkXQOD9vcgqhtFyCnkFGD13tdoyilAtQNss4-1752131792-1.0.1.1-bzEActIbR.BU5_Xu4AOQCR8CHEghYxQ.HW4mdUj3GD0",md: "KdYIwckBjG2vneg9XjdXTUIJjU2Z4QPM194SPh3GOLA-1752131792-1.2.1.1-NUOjCF8J8u4siPqt5bdFsIN.IQ5NVBED_QN7EfuwDXB69ZL25PpCYr5ZAn8qg87WNBTfooCEJNdddW4mEbViMIrmUNckneApC_f6YIrxD3Bs5C0Lh30sfNDYn3xcSijkqc1Cii38tBnSyFlVjgyX2JDv.rtMeE8sZ2n.CCPe4Kt0Ul9wRMOCJAB5UEQblxkL7Cz0hSy8fFU2df1fuqAo4bHuUiNMmFmNHYD12rzvx2HctTC33QxphyqwhA1GQyMRFBc8hNvkMwUv3kiwc4yaB34fOU5KuxeOCdBxzwiI_lWmiivAZHv7.IZ1UcFjLoU6QjA.Kkb618EDzEJonor7MROt62BDRlshNdseGoDrDAC9e0J0ylFMNaA_txTCt2KI4PgL7bEW9RvE5.LKp8q1Sd3sf5lPv1TvJ0oG5HyLbRU25ZzY9_Loq.yiJeWV5djzDdvt8ptkY7Ql4X_sjAZd5EQVSIEohH6IQ5zy53fl7F9JdC0smClfw7lzmB_DxA81BSgFJPDXr2Wfj1VOTgcXTcI2cIkcQ_5dIJlwcZQgQKeCNlFT_J1VsBnk4C80NrYBbQLhFp6MtXvjwB4ozhD1SFbstpjESe6k4N0e4UK5I_rmvboBkRzxxnulcwo_1ANYUXbzxYLpRCBtOo1fsEN8MJqNRrL1S8M1sqBeE0N86gFS.aFqNkNLx1cx_g34AJo4zEdkvBk1OWNApxSZqUAviJ.9IN7CyOTYsGIpa20tWy0UvuAGapwv5_YgzbMZuvoqkWyKkIWNVUEwuSniHo7RZY_hFRE5IMMbMe8eKdA97EKSUsCEAMD.t23anpCo6VMxZzCNmDvCrXmRBewjJ9sIJiMWk9NS4CiTu1FY54BC9tIVBWmuo8Ux4EjyuNi8PHDHXv6bd5W3Tkx8ladPfnkG4g3QISdY1Zm8x8rLiBspj3asz0TZC.izoZSBceJTNA5XuEv3AKch9DsM_BdXSSn5M99p1xUoCmg8oVtIgeBRS_g",mdrd: "Ff3Yqdl2x10f876JkEKR9_Xfcy2WwRmWOfelIbY0cIY-1752131792-1.2.1.1-2tHLPuam2VLDADuzw_DZg_5oB6fGpYbee8w9hehV81daBLJQA3HxVg3MUf5xtBDy9lQzBdFj3dTbaxNUbAxilpiVu77STAC6B2X6MMfVM4XRoUAW1LJc218So.ZmNFL87Z_tG7B.Si10mAD3M5p4mOQRKw7vOY4L3gfz3ExiIA0KNVaMH.i8qGOKhsDVah_qmDq56G4g_XFd.DxBhFJ4MTBktd1b39YWusooh7T_A3qVKJs_X8xotUTAKaFz1HAOg1z0XVGLiwC8DX4I63rh7nw6vlKjsR54UugHbCUL0uGsBTToL0VievMqVU8.TipSQwF.CbO42McyxQMsjOGh2FptRfUjwckYp9GoFoSuyDxrT79IVgzYztHFaEy4ui3Qh.3THEwaDIumU5jTlDC5v1IDfF5V9ciEVch4tw_hMEjjalI3p2HuzOGiHeaWpka36gNz3Rk1wgyAja1ESQQnuN6Ld_rBqAEz7Sa.MLvB9dp27c08USiDfXvoa9FZqf.rYYB6C0El6BnxUSI3GMenSojg9sfMLRBZdkG42TRx5n_rFgrOT5iZZ.SKRC.0hyIilYflGMkfDuiXSuBSeYjwWg30q5C0IBxU80JAr5SGJ7UGcJ9CUdXc8T2G0wAXHHFDiSu4ypTtvdYwQmjFVScZlhbVw5sSkL1vaOnHk.MWSdZ5atE0mV5DN1W7KmCZ6l5lH0BcFRZPuR5rVIij6yL_BvRcOHSXno9QW.ofAaLgyBt4WEagRJfNNtpTSlzqnhy8JX3yDq.lzFETg5SEf4ZgiSzdSWmLZuupC8TOPrrtOdZADu.eDFIySp01mro9wmSs7r7A4VZHCaPOsLu7btHNy3TyGc7HLa64KPjiSKHeaM74TzDFcVndIPwZ7QcNa5qTmLLJY_vEX2OUYZ3NxcItTsnRRIWEicDcqlGJtSsX3fNXfULMMbih5usrmqyplHizf60BycIRFsCIw2dAMZaQmTFttLZV4qb9lAH2HiDxt_RvhiynpSH8w064cCEDvy0LTxD83rQ.WeMUHhE2eszMfNjCNC3uQFbk.dlRLh90U7IZ0OWOJVaq5iVvj5Tik3eXiBKUuNELc1zf7RjIvOl1cd88mI9ZnzS6yo26umNeTPu8RgJ6h7SJItqUeREe.GlnnWNbWTYFL7gSoI4WS6T3x_Pzp67ZXCiiPFHneirk7pT6.hwRkFs1P42a7racFGZCbRYNKbClc4fkUkFu7SF__NZPiWnvkdYr5UDDZCXAVjgD37AbxzB_QpiaAvRmy8lI_MmKSY_pOEVLDM.cVR8ngyUK.MRlLd2pw24vHQ6a0r6sdmB84ExsHzm5ONvWdv6WMbOVMPYOGKGZMDWLFr45Er_eLEWIzWd9FolXmM9ABRfIAh0kdrYZmNeagr28Heaq_eKVJqkHR.glD3wB44SSiJ1_sRBYNbLLXhnx1NhZOEXzgXebB103zsi6tubebZVi2klvcpftAWieGNajn9uTFlllFjR7mNIV6sfOtuqn.oR2yFHJb4vskh9IBMDD8mpXFvGcS7GZOHtQ.FHw9nfFTZNEPCo3bdQK0Mda2Mkqz10hdSgsMfFQO5X0ehJwSUe9TMX.ntCy8wCJ8fnXmTRGGS6z38LNIPkU2WkcO5rm8_bM4n7efnfDti827ix1ecoBCSwteeTy7DApj5WAM0Ux_ce1bHhY6k7lpoyhrO_A0BsXahdAo78CQbEIkzUfVgtlKxDCETDYb47TdI7Ojxlv5ko2rFgZMNyn1jfIDc.ORYkDkyMfFfAe9b6.oefYRligQffR8TRKCtyujVEsfcA3tw0dndybjnvmGD8A9cZ17n41pNXXmarxqsfm4uw0cU.ATV4bfOdyFhdP6YOh_AOics23dfhnUC4J3depn8LHAyGDrRxB.tfO6aMKottnl1RlTNhj6dMnWjQxCqclJ_58oATsndLYqit8RiR9mSB5ubnlAWfgjpgGQXlBN6_2mpO_7cYS.efaL1jBhM4orbgNDh10x.REdQdxhkxdiBOsqKMBJvonx1HW1kZktL8S5u6iZ3gcfpFN72nSgCJaGNpAIhJoyf_2BKJIlVnUb0l0l92PylW0fFrT7HjoQbTQPzaxgohFiOQmQTK73VdKh9AFs3hiTkX8ZzmB0_Tovmt7QiNFUeHWYxGtYbz5Ih_h7A96eDqbyiuAUA_kYKrbtTETgrz5KOGV9j2NO7uPyEoj7ziZLdwTY549LLEcxGIDIwriISE_TseCmnnlRfcSa_MU8l1Alp2Ddo7u.wkToZx7RsiFikMxDRrcaL2dNndP1u8WcN4t3dOcyvTyA69FiXv_N560_CnNgw_nqcKyBjrSobAbpbv7O75ekncZrs3JGNimjIBvsPygEPs_Dp.hU4j6ef7u0jsGb.9ZBaJiUBvrnMRy6wBwg0ovdK_uSJnmkp9fcWcKZXERUC1mlQFgKxjPd6hfQd6Pm6FmbdNP58jyzTtFVPmMy58COgmrb62G9VxEKPmcO9dJsWiNoJ_o3ZXDy2_pnpXpCfyAa0t0Lss0bGzF2tdNRz0JirDBvYVIinAUQ3xUyWkoUekXjxZCwUpLsm7m6X5ooBpxwsgLS2.GrjoFO_pRNyXT3pWMk6yGzBg014NFzi4hgctcnuLExCG0pw",};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95ce46b6111668d7';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\/4696\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_rt_tk=lXF553.fkXQOD9vcgqhtFyCnkFGD13tdoyilAtQNss4-1752131792-1.0.1.1-bzEActIbR.BU5_Xu4AOQCR8CHEghYxQ.HW4mdUj3GD0" + window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>