<!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: '9651ec85d233ac96',cH: 'DArx389PQvt0xhEocDC0C_qecys_30yDVxiwubAhz4g-1753512218-1.2.1.1-2EwdnTO..94i2KI86EtK6kP9GMaFQkL74bKnxmGNKt0RQx8AE4UT6etDfqmLYdyz',cUPMDTk:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_tk=yKSjQvqV5e8hVrJKQjfo3O0aUUl9CwJ2CGTfqiKr_ag-1753512218-1.0.1.1-0yhC84iGgkLtwkFHvxHKucwbs3iAH9mPbUwqW_Hs4ig",cFPWv: 'b',cITimeS: '1753512218',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_f_tk=yKSjQvqV5e8hVrJKQjfo3O0aUUl9CwJ2CGTfqiKr_ag-1753512218-1.0.1.1-0yhC84iGgkLtwkFHvxHKucwbs3iAH9mPbUwqW_Hs4ig",md: 'Mw4CSx_nF7nll6kj3.j8_7lPqh4wXbTAOk_NpnIswVo-1753512218-1.2.1.1-FZGFVZZI11Hsp6ni7yBzFx.kN8kWFnLaPmm1FPKyHKnALGuJDhC3_i5XJUlwvTcr9rxQF4wYeUMNIlnusZTxtY7pPb.6NAPEJgHe0rsXAtZFT_pFu1fL56WoyETvMRUMUGCvp.m.cmSf606FKQJqeA6C1xuypYS7Zj.NpUlOC8E8QdsRIMOt7kpvIj3pm3LF736Z2PbxWQ2wQe..HJNULLtZVdDqvb_iE8BBOvwEaH5omwGL1wnoqzs4AYw7FV8gs6Nw6FdryVzGLCELWmNHZFp6Jaq61JB.bQfxsT91HDH8EMi05lxWuEiz.fc11AlXYh7BO.cx9GtA4u3rjGDTwRFP_oq8I7ptWF6NTJGeIB.PHzPyAi2IYVSM7kq_3bgiMXtlmkb6HE8fM_LqewbzLxsH1szDcaAAWAcbKecJMLZY5xqKvGl8utSCKNX7YdZBXTrIohIeHisd4P7qn7lnp61h9W18EYPBJ0WahGRWLpjM1ifHsVgwB.nplifCHZPEu.G2iqV4S9WB2ipDt3rD3hUVnPHxqubKl2ayqRoAFI20DmQTHxZL4nt7psA9OkIIZwJWHkwV6BA2iV7Bj2mkf8lMZVClBRGVgk88kKykjVgpTvR1QZGxsAbTV8w1imeEeb4gHVf0EJvDentb1dDywhR_K4k3XIFR1mlchvk15F5KtbzuwMfMlIZdlH6mHD0N5RufkOLZ_8y63z3hgi.R5AG8XYFVTCVLzMmScarDhRKWgMC0IFgnMNqpUTBivgch3SoyrfQF8es7ORyhdyc1uKyCAhaClfgQxkm4YMpNpp35TNiwl5Di79Y_30FzQx.FSCXy4wQUSWJ5IUFQVUR23Iv9IuSkssPqGloD3WNDq8.Ux7B56coUCbwmIKYMlAGGV6P1_S88kpVlCzEudS6NsYmo1CQxH68iad2kMHKfuHx5npltxi08Op40rXYQ2dM1red2nIuoIKr1Wh7zhenrNDsxhwowDR_GDQBtFcTwTBQ',mdrd: 'EyaZ7BUUCstiQowAkUm1fNlPFDtnIviJujv0x65TQ9A-1753512218-1.2.1.1-156DoxpdbpkDSB4DZQa96oolSpDAUPEid1rpuSGcAoyw_CcnUlkx6c2HNJn9L_ddXe3S0IqCg3YjUSzcDA0bGPgpUaSHg_33EnlqZtC217WHg7zQ79qDmthkzdJjwKf.Uq3FjH8vbA9isT_d3QPEIHdhf3nRKEenwm3Ql.otac7xgrMG1pWE0uLAEDEpYb17__X49xbIGx6DpA8s2qrzhaQD1Nm3.zyeZ_iX8mvBlveSqR1ZjYbKuDEt8s8feZclNn9x3ilNObsbob2jiyktPqeIjGhjihZxKJqfonAbwy7zgbUxP6ZCR_XI.Fu0NSHfprQEPDjczPe0rJjtxA8m9qcsPLbHegbr8w7biPoYXmm6vxSfeXoEMto56yWiz4jED3BqpQpohxe7xKfnIwQ1XzG5PYMYS8gGX3kjVfBSRW72OGLGe_X6jyvzErdh2siqGRFJuDI74MVEc8VzQCg3fOSQ.VOj7rSTbyqA6727ut6AvMZmnfFc38ItRg1D089jzReFMigdErLcyuZwyZrNMQHR0VxDMRtQ3ksCkdN5dwYN9zfmdx3jJEoi3rPUsjdUG9p.GIc8bj5pWO0l2J5bo__aP9cB1l_g_iE.kltQgB3TY7umbbqQ85w6a5VP3B9SL1AxIyGXzQG1QF8UkAxNoGEtAjmZsSc2abydXi9yXs.DIZMs6e7RPRc_Z3DKXDkZZiLvWrpzhUtjShSOftVPzKVFrkeGX1Kze6taKEagWnOmNCz1zd3pkUFFU_JP.QYKlyjPHFMp73tc2SV0T6pNQLt8tvA9TjT8Sa8nj2F5v6WXuQK4KR6PO8z8PF6YamMhdAl2ykuxBkv9yWk817wGJgle9KHUjjM49FgRwil62WNcgi0hCufGeGgR4fn7Y7IMX8fMYm_wnR_Y6UFLH1hb3o0UtD4w4N.RYkecB8iaZFlCpdGvDLin9vNL.s19n7dsd5DMh69dapxaJRonQS3qraRwDvqYvo1ekUn0VgYY1jn_sZmnAmOJJllCLYDVrfZ11HBUzawrergX1IA1CMcd5U.VsOMKJTa63w0kSqtqiexmbyNP24P4AXYWEoFrk32Zhb7SDbnFRYN3iEVtp5aYN3F_NZFJkuEXFdvjQiRHs7LDMD3VJOLwGTCjBT2iYN2OwA6F5kuc5woL88bW5r32h261_gLHeP6zRBeyeEI7RC_QgaAulynGq1Cc1B3q2ndbaWwykmec2X.Dw8tcq3SkwjDUO9apkL0FeIQ7FwSPhlCeDJWCh7OsSsIvqQpZGuk379bo9l.5SyXnU.0C4krx.xUCgGpId6sgNs30L26wQDn6pYhAhJFO1CUxQ4x4nvyd4mO8Qq3juWoYV1tEcPpnz9buMccyzJOmPoeNcdyGsp5IfDPk_EXJvZ5VwOO4PCvlpHBsvS9_j_2.Qtl7k0HUOvkeICOoAbWTVulyvdZ3i4cqoKAmlHesC3ZhQfwkZ0zekhi_ScmDPtrt2ifIeEubXw_h6p0M2yT8vXKAGyKH.OIT4TlyRk3cYMSGmnGNQ1g3h3OtPdZMsQV1jKUW1wpDbIEPvRdE8OTTiHM2nUeYe6Q8S5C6KZkER7_8LzhGDFyZipa6X8Ui_53LvvaPx21RClES40ju9QKTNfAOUw_bzCi1Su_mPKSZ.G1pYVV6Log.vjeUvjiZKDlsaBTsGVe91A5iKGyzlxThf_UbsISOoxJBAU8rLzKZkVMqff7FIX68GMyTRU4NC_bqI5V8u_b4dGjX.kbsD5GRBaMxUcL3Vx.BTy5Kkqr0IXhuKcgjnpdHFEwh096_empAS.Epjlg.Mpnqq.Tg5s0kHRjJE0t_6YKZO2UgZnMH8JpFwTzeGkYXEK9ASW.CTtLX3wdYEFCclAAlZ9hG_MQDAuJsyXgHeMw_p5pZ7Ut_spbd1IcIuIOsawXA2ccwtx37Ob.iY9DHfPkCEkTkJwHL3WWP_Tr9.puQU2M8Qghe3IEciwhxkThN7EooOO7pj1TOaDuDI0AtTF81ktJZZbG9rW02MiaNVOfzP3cSAy6adIKCCDDB8Ajz1qkN.MIupJoWdqaBR.F26gpbI.F7890m4ej_vpyTn3Bgqzd8C8Prk4asoODBpPt.0BMFtZwl2qYe1KR2wTRJIPD.E2TH..CGblFEYUAKYcH3m8qVO0NfwCjb6BdMlqvfUga_lwbSLNMM4jPrf8bkPIkF_NeoeZreuKmFyQUH1toKs9OfaOY_KREqCkVpJk9k3IyBxEt9SPSUa4lYXu9RMKgNxw0tCtwwkkshFku_X7ccg_ZBKy6gT9AbeS1el2wgpcS3rbunTLia2awlbskPmiOJwn1RPO6S2NKVrSBdSOGqHN0k7AUhrkZL_SFdOzidQglqPEdgaV88CJJzVG1JQfurCvpDWeDIlsWEj2DfWmRiHCO9AhCc9tvJA4mW9D6OC16NhSenmk2QWsaMYpJHNwY62KKriaRS4mFAPBh5qg__rK4LjanvJz4oy2sRu1Fo._UBV5R7Cx7HOYj2nRGCxnXZ80QaAnSzWM3XPgxHeK3teO_tNDMIhV6PP26070dAmbWBfUd9lL3dR_8uWCWaaVEWUmEPEA8RGyqt23Z5s0eXbRQ8kqUdh1TKGr.e8xQk',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651ec85d233ac96';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\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/threads.tex?__cf_chl_rt_tk=yKSjQvqV5e8hVrJKQjfo3O0aUUl9CwJ2CGTfqiKr_ag-1753512218-1.0.1.1-0yhC84iGgkLtwkFHvxHKucwbs3iAH9mPbUwqW_Hs4ig"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>