<!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: '95e0a488e43eac39',cH: 'uelPNtqB9NXr9QYTPOR82wL_Dh8wgOqZlHZWbxX_syQ-1752324379-1.2.1.1-2.914Z3sRdvDCICu9l0VqjpEYdAXwToNm9ghX718YoexVI6W692Pv0FTLWl8j7Ao',cUPMDTk:"\/p\/xsb\/src\/3076\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_tk=rBMJd0QmxNIXPyCKlswy9zGq4BjWQq3f.PEZUtDD36Q-1752324379-1.0.1.1-f4Wo4juEzmYjZU8mTHwO0Hw.VvSLRwFRpfZeVpB0rf0",cFPWv: 'g',cITimeS: '1752324379',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3076\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_f_tk=rBMJd0QmxNIXPyCKlswy9zGq4BjWQq3f.PEZUtDD36Q-1752324379-1.0.1.1-f4Wo4juEzmYjZU8mTHwO0Hw.VvSLRwFRpfZeVpB0rf0",md: '1XyIpQqLy3MnGnmw3UwuJE9X77SbD2F51uFOxkLF2_w-1752324379-1.2.1.1-ors9JWW0cUnbyT7UJfLpSTjik1EQE2Y6mfhY25t_A09r5dniGPCJGwHZDO8EwN0RN91yKy86idTfPloTrIC5x.lUX7Omrt_bpkPEoORI_WLLgV1yThw6q3uaW6eJ88ns7Kch49uQtk8EwoC6KJyemtC3slraN8LBkR2wfFfWan4Yv94MVxCqdW.OfJAca.jLAF7KXoILt7YiukbTe5Sb_AzDy0A9kGdDnPtRf.xO9krki6xn.gP8wFAQu9hYvWSsiR6uqYsTwxNqBk_DJbId5FGNkZv8Qw6nc95BPGyqr91oBqLNIPu2dK3eHK9_Kdi7WRXdlscXBOm7FzRsUl4F8WzGLcrhwzZy38.3UCrtr4naBbB5KHuzY0.ubgew8HQkQsB8VpOlUJCuGuHJG4lsiWz4DcJfmaIFpOhUvIEqSU0bdOf2R2Z5Vi0oClvMsD5pSbtIaKrdaiy8TEV6ZgQPMPw5lrYDnz6DRlEP9hP_XqxPlrzkqArRMzX9XraqoHycoEu8bYH.fiZbA_Q0GtXTyDC7J7s.pNuiyt4JHlMHsBdiqfu4NfidP1wz_Ul2reNZKAXz3oisQyjpxD5lKZMZq9SnRDAQtyjdiN3sivt0rp8rdxihij7UPypGnjQ7Xp1jFFMx9OqYd9LqTk60abzq4D5N9nK.kBP2un2t4FtiQ5hCoVjEiVFVf003dTJnAMRgYZsPo5J2tsWD0HQmbv6NWIsNr06jnUC229JIqtnSgKgMJ6bsx7dmFzXmYkxkYU03SNzopJJPCVqZGmsmKHfnMcJ3irjEFYhXVQPzykL6RW6oLR6QHcRahEXoXax7bYKGB8YAKCdkld79y0kAOaSYYas2aoSt5yNCOMaTEGvH8UyzsWUMl58iHa4PQl1qKeGg_2MTQ9yM_sGFUeW6phA0jEz.fHQWE_Cy2f_xVRoXG6T87o40H4YBfHon6sdaFknfY65ihyJwCFIrRkb8m1_mtcHEV7Rn8EyZ2hB4QS731D4',mdrd: 'fApigDsrCEi9o8PGDsnYHgLhuLLiSYnGonngQ6hi2vc-1752324379-1.2.1.1-Yfunf.9CLsCNnd.59nMeoU25jlWnsDBlIFlwvRJQTA33xjbfaSZUr6m0mvRJ0mi0_rUlVNlVyltTgNaipi7H1d4btuJKindAyfrhYmQb_zTNa2efnWCU..40.dmByBztVUySJS7WE056UBIp4wiqJuLTHHrAkSPcMgb_pfUBjKxtePa83KF1gmx9YSKP7PaCfHurOmNij.V82.8YIehgaPKk8B2TeYJ3Bva4TuBgbDnWxhwIkA.Yb97rkB0qs0nEKT8Hn7UrBhWldBJsGo0Fz4jv6AycvrWy17eONtPNQK_GXWpmSqXAkRH4.u.A0JCe_DfgKIEf5Gi.aQ2ssoJXOOcCu3fEx3xltr1yEo9PqP8U7HiCyGFFu_7ReNyOqdpUMmF1A_q5JxFvuVcj5AMzoRyrHglAup0GXPSSyG0lnOtkV0tmwLGTowJiP0NZ4.HCobKQdZwQ0ZT3nv9_aTQaqeLY.x3Swjs.63ZwY5OdLfgbHdROkbTUl1q7caU0_Tra1jSa2tuL1OpXIlffwgpXKJPdXRWJ.wITAOEeNhPEet5tPgdYe5AbYTqUWBEJM8f2kMo.lJuWgtVu0AEsIR3642PwWSW5RPzQw.88es3dzmCgPd.EygcHGiipkiwEQHXSBsU22pGml4pU.UDrkPYKyp_oG8LefAcONxf.j3tu7RDXV0Tfc7IaomQ99ce5KjFURrm6HEeevrsANK0pkRVH1IyrUrrdL83laBw6ZBcaTTltaEFeIfjj4maxO2mJ8SXvfDxgg2.djU351BM1MtftSqdt0Gs2NY.a7e8fCgqZWRUgbNKJMhsItnGNDvvdP8X9KqnRJ6k8zxA.DJiWXozlSCKor9zoBBpjehQAjtVSOH3MnYImAHTgWm8NDeLmkh4rzIwYWXzuiqWjv6ySgQGlcW1VUcEu4L6_2ug_QHBeaMLcGbiJfH5vrkTkZ5_7vVz4OqNy_ghRnb_8_RB2w3TsLkSLvYHOg38tUMGHfg1VQm_6.1_T_IhK5H70wyR7Q62N8JmLu.48JlRgOTCa7XjrcPF3PYKWL_HMhzDdmRy0XsFY2hj0FdA_.Ioly7v9xZqp39bz.TBVxv5oh3R.swyAj9burfllYj57u8fZ.En._8qt.vAHT_5lgSCBSlNI1dHjTmMPlPPK9QqKD0vVPo_7R0ht8iVuuTO3SlN3oNHY.M3VGKYuhLnEMiXWx4Nq9dqsCf.Gbv1BkLtJxNUI7UMM9b8TEeo5f_uPc2uqrgtF3D.k2EB8EoOeIlG7nYweSQZy.HfsdNBfbj49KTGWB3A.iN.w3SgYRdxsVRAyThqswmuy_bbItAfGSuGSnK45lb8yW_9L.KA8xejaVCLfXql4Q5N_VRhLZd72z6ZQIsSJAJylGkTKislmrM__J3uNdn8v0NKx4H8NsL3Hy3SiodUVRN3dDPHj3kjWqr.iQJZ1zorPCBdtBu9_eOPykW7iQ5K09T5g5ydY6wxLEScuqXjYsICsXureFI9u9FcxEmN3582CSPyEKsRnIZxgS1lH8vc9D9hVcGLLq9k77laRmixY7YovskUlfVi1EsyFKodDOR5GVegEhhzB2oVYdbe.X6xVhqgq0Djm.XTXcFcZijw6OLIkRZHviMthI3njzx8aNcwVnDTH9QHIZLou9yYROVMgJxkYc9HJpFw3CRIXLyI3LmxmS1Na5H2b5lA3l2_fEoRektKvg58JIj2g9iH2imcClqFOLtuWk3mkNSeOwYw.WqKDyWqeDqj9L9cDdrxecTFpjSGkpKL9uqkvblNk3iXTXxHBdp5zRsOUVGOskTZmROBpStIl1OyH3x.4gzkPJcV_EGpz6fDj4ed1KhV26fif7swJY2jBseK4SPFuQ8Ofac9ZKXGZzWguNeQZGDwVBmAFdwnvnjLi5WE0NimIqooQmnqTRdnXh1Vdtqs51KTku2ENhDH_qxucBEvYElz01IfQ8zMECIiQ_S7Fn72_.yF.eKixsUolMaZu7ziOEhRs9oyo3WImqk6plj1dsZreh.ye94Rdp.6T22qhK14hdlxdqDvhq8FDu27R4iwbhgQ.9CGwHDSdAg6Rz6C2HxYkH.NxVLYQdfLDmaCE6nvckAdAWKCo8bl.6q8tokqF2HX85dMTn214pnySm2MqIGK.EkNmrbe_256cmIGr3tJg5qs7aPtpRcqZCEKUAxjUZGZy8Sh.qFFYkiKCkQRZj6FvIlQ9G8u98IijYl0vHpAypJq.MXexLyxedOgpGugym._AD5gSIS1wavRpNe65jLoMVkzAjP6YSmk9gZXfGXEMPCThcGbqraXOlUS2.SAWtfKSXVLvQTL.gF13RiEERA3oullRmgquSrvwmYfw97_jhY.z.H5WCWYGB6CQ14CoAqj885Yt8VKSxDGEbd5up.jXNcnKZBZb5x6jUeggbTOqyni8fVkNiWPrgrX0Yejs9z8_s5vbW9HHz7Vu8Q_v.YxP_hvohTrUZIPnHDHKn4zibTF1N3OlMWHK2TM2dZ3bioMqaSJ3E6H.MfGUOfDOfrWq0lqdoHGLMvY5H8FUXJHjmceJPertPE_kZg1E0lGAvRxU5wkiK.pz9kncf20OfzxoMNBsUS9.ww2_aZAx.gzTzzXe',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0a488e43eac39';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\/3076\/tree\/\/trunk\/XSB\/docs\/userman\/library.tex?__cf_chl_rt_tk=rBMJd0QmxNIXPyCKlswy9zGq4BjWQq3f.PEZUtDD36Q-1752324379-1.0.1.1-f4Wo4juEzmYjZU8mTHwO0Hw.VvSLRwFRpfZeVpB0rf0"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>