<!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: '95ce30d141c3ac8d',cH: 'phkswJHWOAntlqQJANPVdB.b3emcuz498e8wvVjKxOo-1752130895-1.2.1.1-AgJsj3LWRSBRhF3FvGQEwvSKVEH18A.oX4BU.xE6AbpkjLQpayWlWLrp3Bn73cxv',cUPMDTk: "\/p\/xsb\/src\/4696\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_tk=Usr0WS2H.EJ6E6nIGzzbvOy7Vu3ezvs4zdOAms4eq6E-1752130895-1.0.1.1-LNbI.kszke11Es_6m0t6DNx_yUV26jAqpZ9pmj4WJ8o",cFPWv: 'b',cITimeS: '1752130895',cTplC: 0,cTplV: 5,cTplB: 'cf',fa: "\/p\/xsb\/src\/4696\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_f_tk=Usr0WS2H.EJ6E6nIGzzbvOy7Vu3ezvs4zdOAms4eq6E-1752130895-1.0.1.1-LNbI.kszke11Es_6m0t6DNx_yUV26jAqpZ9pmj4WJ8o",md: "Rpy7aaLOZaDHNCrJ6Kat8qo0gGHCaHIwFsadqT0h21I-1752130895-1.2.1.1-c5dM2r1jhvyY9Tw.hyVOSWyG0NAba8_qSaGhZjFRZTjv4XazF_vGZ0s2b2YLVc4SCYHl2wyF2RYTbePA6O5nHeSGeo1URwiVXvgbG2b3Fofpom1cpfnN9PeWLv_h36qp.5MNtKVwlb6vz.CiyVVTYP5xcYA_uf3ml_2pC3B9xrfUCvcR1og_4zWWn0dH52Fd7fUl.LXc.wNHEqHcyRDA_OpqkdgAETM_s7GGlyeqMNMblFhOd9dY_WTYRyrM2eaWsovpxawmJTZat4YGjblTWs66xQYBvGlCAZpRbWwE5KhN6LDdt3T0dkPIASmMJCHr_zMC.zTZPak8Nhl6AILNtVz282hDMcMo4dY5NCKH1Ft1q3HP2VjjtbvPW_kpjAT0CA8raGeTfGKpIw2G5TqHHbR0se_ZvipUiEn2xIZZSvG_qLv_IGsNI1iv0qa0lKl2J52TtxhUv6.hUlodQM0_a94r1fMYK5dGuku96hfbNwiFNwZbk7lNSgUCqUgzOhvDEe9aoi72f7lOPsn21CWo_XckHgNfr2xZc4r2O4c7nXTtEa4KldQmZaqVp4d3_RXtYCzSACc3GBR__SqOSvItq2vvxC26IVoSaxw3ePlcvt0ARTGkxkvHrGz3D2thsj21qS.3xhuYjvyYixC22Kg3NowQ8GBKcyKdmKJTH6mv1aBe9Lx5x7OT4K27UJlJvJdNePycPiw7s_7vzxbYQfylBA6NT_.dxdT6mjtpbDX71ut4tVpxsOb4BONIGC_keYsNI0gZOdSjMV2eT0gN3uc7WpQyT0aZ7GMOfUKHZAQOVJxrRvHW4w0VtqOcCS787lkBeIdTfvbhm6N8yibhifscmNUJc7oK5v.6AY__6g38DUk0lFu_1eWT.dVmGrg7Oi1pTy7RzQvE8DxQvncksLvDu9ygjuzuyU6sne3x9CGZgzpyYkkUh0vXcRDDYJswX8Qr911mhh3HF8_BZUjXlqejlKt8PUYzACssiHI3NU_0yJM",mdrd: "A3e95u7YhVkc2ZvgYfRiEVId4QfQobUBp0qwGFP7TTU-1752130895-1.2.1.1-K6hOBfcO_JtbBXBRQ7CClu6ZQJAM56J5Oe7Wze0crVyh0X27lBHIqUYF_qG4x6Lj86U88Os2n3Y6uFSPeRrZontlcQ2P6ICNvgPNYI5djtfUapK5eeobRC_AV4u6GA4gma3cmw_U5AwWmHJP07.3Fvw43DlBp0lIFSCU_PMAHS4WdZkpjggI6I6ajxJLz1ercCpH_AjAn6e9nG2On2DG3pHZCX3Bx3SLDRDLohHx62VB8W8wqW0.sHcNy2vHJOcdics9kAvhIK4FV36ne4z_.SRDPCyTulIOgETiHkY5JekWnMb.PmLqAYTGFSlC78FMaxtbV66qgAPSmR0g77t8EDa2..mw5eX_TiYqP63nLM9Qc0HmQsVdCn_vvUSaVtiuafueWJpOZhI6iwD7yJfbp6fa0efVehbL09nKwZVeMRgXLdenpqnJNM_bP8DtUqzqP5Twhpu1j3XLcd1IWMMd.AusJosIgW3b2w90aseGAijbnCGCiKj2YZNr9lx0s7aJIzfwPHEuHohOjRlL9gT1lxLw3pALJBgzVI2R9ja2VfNGPjGgo6L2Y09tnMswD2koYyvQ0UKHrn4HRU.JwbXRqA17XVVasS5YEM4rVY8PYJM4r1U6F5RMfwntAXtSv3zD0JVo5GST.aWEG7RlT1cOYql7I5sE1QMeBcj1fIrDxyVqLLrI6P4wpL5IpapO_Ih.codeFSPNSfLHoHuZvUEM2SImIPqAyPr1_6qRd1fB8tvjQf7RapaM1tWXfSrkqdj6K3ZGKmUSlIjfsnTr6GjzO939YpYOufE6.el6XRMjlZShSqVwwDOIsv94OjKtVKcKEZInpfmfMJAxoPQgJ63om7U9fPbC7TL_gPZclwkj8wOZHTm.uTGA9cmWxrLNG1ONQ9t8ITvnO3NilXjtTQNoQ6iNLQ49Yt4KbUeevi_gYppqQl34gEMvfFc1AGvzyRlAiYu5yis1JTxo2JZFCF8RhzcmmWKR.mAC9nRIxOnH4PFJ2Ie_Dl4gKkxaJBpljAAlfP28F5x2m0wkhcLkBxGIBWLpfOSe0Kc54n2wS.1xy9mVl7VpIFvSRHc8OVhbUUhnxow12PD3uIdoQiQXDliPEQoTJv81pi4Oza7g_EkPSLhZIrnJjreuzyxtfwtddo7iJmkq1afK7jNIV4bX_pL8oGWmAYZt1BZlVCJpNXC._xmE_56urRfDTxag3MDkYlKo3mOAy9DRZAIK3iIiQ_6z_TsCZelhiQQS5A3ZbtVgHlPQCpz17V5Mp7pRamdUBZukwYTr1qYaqQg.gRvnjbj3gA.hZBnTiOLImOlp8w9h.Z32VUA6XDtL83htMw7vapTqsxpSY2fbnQHZsu1svBz6m.dIUvaOzhfg5i9Pjs5GkmihXoe4lDhEl4h2PKkPO_b2Lqln.35mQRz.nR.uq2MMEe5yEy8bIOr6O7KPJRBIQ2W3yI1RYSfVauyAbHB8S3AlU7EtkWAz_iKRHkkVVd8xSj9JEDH4ikZ2Plt3llx7rzw6qHbELeb_HiWE5.y4TBD0TEvT3.7DCcxBp0cX4rTf4NM_sWIWUPRLAMN66GrMisLimPglebVtSvgbAUfqEkm2aYT0dCZji6QbdyL7ym8HbPRn3uKQzl9g.SFBv8MDIIvzOuhbe48cB3XPrc_Joj73Wz6PFbgRE3WRPKsLO2NhAmn1SzfUrs4ZZljGqs1yvsoEmu.aw2GH8U.00S7ZZpwDFFomMB1U9oGMX1_77HEzWqrz65ZO1czUZJBHBLVU8XCjfuxdFkdsInZisAeLmcuRBkMw.kHnKWFgCPYyGXVLRmBvn1eQozzrmm2nyt13732Hq4aOBSqVOhh76pYEQEZvIwXNc_AQc9sqw2b0fmh7c1quI3gO60AEisdVZOsvnZjstAEwn6hTA714zSYwY5WV8ygL9XTFDTeLJ75Aq_8C.KegUniVbVRF3bCH7tMaOK.jlB_dSj9BMWSPb03sgF8BYxpSTomeZHcQ1m4oRkFOJ6e1iKE1ur.cMkss6uBI0SYecAyA83oh_1f7C8Q_SxXg44FpFQ0biSfCfSffm0VM41hWmVfdbNUX_Q9OQa43pwYdPGHBAX2RxwEx3G2gDP3T.LjJZX8EbtrfoLSB9GAiDqj3JSg.HBjgBUkwkglEgr9d85nbWtdlz_TOQQwilHYWfzslmZjf_r7wbbq.55186c_lswoGG1.D.bqsHREd_ibLw1AwwuIGw5XjlMwWhmRoh5ENBIW5WzCl_kHj.Ao758ZJ93TdlAqpsqNy.xmnjhvTFcBpY0ZHbIsfLYKE7oHE1vTu8MudFpP1Osf7pV1P1R8k9nACTbPVu6kkeQG_Co887IUMco.00BB3gw_m.hQm3KkMZn80PWJrm3ZSLegkBETgN02IuPowEnQTkyDPgOANtzlC8BH_Y78EwKYAj9izzuzerBay.bmzj7xn5eXPT2FTy0Y3_lUvx418ThlEcrf9tF9ta5uoJPqrQrgV5N.a3DE1QDqvDio46pbM6689Y5zQvaV21swuZR2SY_Lx0ZFMtOWaLi5X51kjO8Nvu0lIVC8X62BWJCJc7RymHtA0IvJikBA8lBS8dScxpmLqxsJya3kLBuvuHyazce5mEUOe",};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95ce30d141c3ac8d';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=Usr0WS2H.EJ6E6nIGzzbvOy7Vu3ezvs4zdOAms4eq6E-1752130895-1.0.1.1-LNbI.kszke11Es_6m0t6DNx_yUV26jAqpZ9pmj4WJ8o" + window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>