<!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: '95e0b8d017ca90b3',cH: 'F_2XdYZZRgFCApZ59d.mtkbVB4JPcp40ySiALSengNQ-1752325209-1.2.1.1-Z0qA0WI7EMsJA_0D3aX_6w7V2SZ0fCs1aHFPwQu3zsyTECZ0gPTBi4Mse5baaxF7',cUPMDTk:"\/p\/xsb\/src\/1842\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_tk=6oagLvLgF2UocaEUErhoJmUMFf5RynAVpxTBkUI7AlE-1752325209-1.0.1.1-m3ho1W3C0HjbYIP21Tda8A1jiq6tT3tHkBlb09xFAtE",cFPWv: 'g',cITimeS: '1752325209',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/1842\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_f_tk=6oagLvLgF2UocaEUErhoJmUMFf5RynAVpxTBkUI7AlE-1752325209-1.0.1.1-m3ho1W3C0HjbYIP21Tda8A1jiq6tT3tHkBlb09xFAtE",md: 'UsUCYfyzFKQSNcwqYzYv5V5ET28mKKQfQExIs38O_Ao-1752325209-1.2.1.1-iyTY9TBBunobBgxHfMzVUez8fDjbSwnqGMB9hgp8xjT9BPcIKah91gDmKUwcTOlk9tD2cM_ntM6sqRTGzGozGB3UmgJ0DbuOq0r4GS1T.qybOrM2nX8V_bF_biSADTVYLB85CqAeJmHiGxw0XE7mp8.t8ACFOyGuP_6kpyGkBwQvlu8jfdNz1io_eAK7QenBDxuGfTnUHTiUvYBWg1tUzLa6ZA4bUbOfuOKbErqaFhTe7by.umiyK75_6Rg5GxkgY85bZVFMMqkNBSk_ICLAnV9BdKdrJVEYQWw4yJTV0W_h_hghHBfflOB4Q2O9g1iS4fmWHR_KkoGxGlzDINGuYr8RosnFToUdRVD4J6FqYbIv.hgbSUWPJhBlzNBeuwPbNDtVXkxYx43ZmwI.1wD5hlupKs8jvYbS9ySCvzSwkt9n5NWBNunvB64d06Vi_.AaHvM_biL2xWV05h53pq_eGn40cS6VvEYguscq45wq98n265cOvX5RZIQRaCXYWQqK7X_2IhSoiD6bxt64QDpT9ZfqquFt7Yi6Y.DrWK.0la.hiCNUdATyrj2TwqIgxd1gCMryATMTXkyN1FNAN2vlopeG6T8Sww4fkoeiHx06PWCPl08DuKOIfgSxG5jGFZs5htOIYzfu7XG2ve0jckw9G8BPlSJFYRIvmxCuHLw2UL1EIATx5Ju6lT_RNrCCSG2DJmogA2ALcpGApO8D3iP1_x42bRMOR3NT9t4OI6QwggzSHiU8wxFKSg0nLti0xECWPagN7qk_rHtNJUGl7N21Rz_GgvQZXC0Lmd4U_wK5Reyz9VIMiu0dnXVwGP52U.4kgydeOJzmmGmqh8IEmZn9YaFnVTx6zMr1DbwoTXsz7PHqUXKrhnFoDp_SBKzYpUafSC33K5y4V0pLDimGor3wAIidAR.HghN0WZzdcwfL6GjIfZIwpsbUxYsOk4qrEqufe49wEvJBVKboMnPpqLEnIT90pE8dVR2qASAOGmckl.s',mdrd: 'Wbcp0qmEDWVKm5zsYdAOhAbM9pAZtayohF2ArtExICY-1752325209-1.2.1.1-LDCypmf8k.HbPln.wUrxFf82i.fx5tfw8DEmcmDTyXP9qjF4J52PEPonSS7Tqct1gR4CAAW35mtftpq7GEQplSLumIfRf3bsqb.QMMkOOlzJBzh8PdjVsGZse3jk0niU5818bwD.6YqWxuLGzAzh10kXrBkz9Ov.1_OK9EhQZZqLuQk0Ht5rWGCkzsWp07pDyWR_.Ua.GASVmEaSQjzxl0Rqg4Wo2q9KfN2oCQ6UbKGVQ3uVKp8Z6S_S9OU6H1ZOLEECee86bwlkxkmmcVAA3F5OfE759O6C5CefD5Seb8FWPMkx8x.NJJzCrfs_PQJDtsxop5GGhIhbb2NAQjIXZib3wnE0YilDxm3nA0nX_40CTiVk0wGTZz.YB.Ot5fggjPuQWLmE0hFl83g0vJ.iXraFoPsHZDnQ4aKLcv.NgYKmg8AxMlsjQWDpaRJ5s8DhnsPGuF5GbEyt3t_Rjc7WADgc2UTx.gh8yPll6zagD_3rIzokTcn6h3fu7Ib_1C73RxL0MXYtExjdSUWmjzZgELNuXTd7v8GVcffC2UA8PoswOdZQ1KRu4E0zkIpN8ROYlss542Isjxbix7omy.pUpyZIr7fktV4FkG6598mwEpjGvJTM62AqMI3_d.Vh9s_gbN7fKTYSWvjdnHwRD1aqOmZ6vu.Ji7kL.qc3Ozne.9Wvp2xa4SpbmY.8chCkSva1hnqWf5nRolKImad_cgJqWCZsZPzT60KG2XIgHIRHlmNQIwlaj0u7tlb5_xTg7oNiSgb5s1OUoSAP6jQ_b78EBpkiVFA8Qsk5qKTAJmSgbThe4JEB4UBkjHctQnuZKe74LX74fSarEAh_T3yEZ6YuA7YQVq4LLBFk_UdEB1EC6J3hEjgHZgUZO1XWq2qzfONPaZI6lN71gTpGZpOOTkPUX20eVqDtYlxupRiADI_4WU4Q6TXsO4xThga0CE8PXzMKT0OYFNQlBsMuinRqQxIR5M1Z2q9z6CvmawxhHvnwXRULinZhfX2NRsFLUoZSCYaMZ0V4AJtx6LH.jMbpT8lkxZ2ps2D2dSi6nQLvNZh8lQAZMzGUW03s1PahPodI18Xyaa3huRFCXxQOsb9VwLUEZk7.q4myhUNYCtTm6KpXoU.FJju6JK29tnCoSSpiTa74FCTWjnkqI4m.bm07G46tOqaD73ks7etgjUq1HTzmSG2XRRNR86kvy6l8wHLm2kRR1ZcI_oZLDxyQSDj96I4bzhnNxRIjnCVgmSnl_qosNZfRvEx2WDDCrIgMx_oIhCO5EA_zeQHbBdEyS8LajUlqc5btdm2Z6R1KYk6UqklhCOjRIEI8PD1Wq6Vw.SQ9TdErccUGex9jrIqJME96Ri1kIy2x5BpO1p93yiQYAXtCCnotTsGtDf9IEaG6onGdOn_tPgvAdpynMrW_9Lz2v85cainQuTrdeTP24.mWxPK8ue3RsvGrnYgR3AUCejYIvdIHsvixCpWnldB6BmAIVSQSKI1fu7asBm57niXo2sM.RKny8MOmXcR3jMehrsuzi5d6wjTyiMLiOLSjERBOwcR4Ro_jhuWUY160RQwUs0I7goQ9v7_or3T.cpLS672iSFfG_ef2Ly.5oaqu962Ak4apOpMLt0sDWD4O7y12c3ce1iGi53KcvYhl6w_3aCzSWSLEs_A.iiCrWWw1LNp3F.5JOR50btgTX8DXWzGdqmTufGB1OFnncUjDVhUz1q.9WQFLdqR2H5qokH4PBS7TX5qCk1VwC2gF.wCs4NfWYRTHaDlnbN09_IeuiVAfHd0UfoYFvJGC5A47sNcz8T.sJbkTNWJR.E2fs4dSw.n12HvIAOatKPAHLf.r6TjQmvSuAeAFmiKTROyrIpZ6z7B6pCy_9nvqQ_Y60Lfj1lxdEnjOwlPIMkHLrPBzXEgJNufd79bSJhGVdOb70k3cBzF5.V2EvDPIAUbJQoUgT9pdixvnoEoLmtetXKPmz_Qu5_caSlj0.mSC1.Txs9JNme0eBkrVKxyq0I_cE4oYheAZtzLCPZoYLWqqHTAaSI_Sn.JOArRPFF4Dp8MsaWlvFW1NCDcfu7lci557qv7Xr5S2uXJfTCBfa6IQ9I8CwzFafY61yYMkuR3ytP5_ehvjxRA_rxLBsu84z5dLeP4QLKcuBWQ62y_Pj97GCzx3XFg1XBPPJYGjCyH25CU59mjRQLTEZ29fGnOaUi9gQYxTqPSt_Vll2TViXQaHnyTz_jZi9XviawWxPjkA2HT5r.rrIB3fUqh_VkknmnEgZs4A0lKzRMAbvlsT96nWMeayP.bHL87QljPyqEv8UlKUpvjDSFFWwx6EmkmpiDwKdh5ibuTz9NJ1sGUnkRk3fo3NEt0Xb4hHoYwsr88pqR7hoq5PmRTXNzrpbPb3rrYSBcDy5vzoqzlv69.mGe_RxbV_.WJcf_zA3fTK.zsgGctY7YFfdp3KFofaqJgI0AvdBKpuw4q41AJj.utXUcI8dTpHqKdrR.05TX2A0SvrT.z_go5QV8b7lxA_sKhYCV_YaB0bLYqvvBbpiWv1XgCi4K_W6b1__N4LwDSg8zisdJaRC9PIwX9VptPOGLXAl9111I.CmdJ4taUn2bPCOKXJuusJ6RdryL7KihP.nCXjX9UjoYwuoaa4xxyeOA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0b8d017ca90b3';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\/1842\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_rt_tk=6oagLvLgF2UocaEUErhoJmUMFf5RynAVpxTBkUI7AlE-1752325209-1.0.1.1-m3ho1W3C0HjbYIP21Tda8A1jiq6tT3tHkBlb09xFAtE"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>