<!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: '95e0bf48a687ac64',cH: 'rBIwiDksSkAZu30Ir47pf7wHxr9KdXSZy1cNpRAtBek-1752325474-1.2.1.1-yYz6Wdxr4V3thYAVxGIqv3BVGySqhTAkR5t9Jc0jOoz5b3MCP16yTdcKVqbuElub',cUPMDTk:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_tk=4B3RLcxeH0g77cLxhX7G65OjJuRkEPUi1AvriPVKRgc-1752325474-1.0.1.1-B.Xhnp7w3.bjPDP1BEC875ObauC2KCRt4l9NE_oIQJs",cFPWv: 'g',cITimeS: '1752325474',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_f_tk=4B3RLcxeH0g77cLxhX7G65OjJuRkEPUi1AvriPVKRgc-1752325474-1.0.1.1-B.Xhnp7w3.bjPDP1BEC875ObauC2KCRt4l9NE_oIQJs",md: '6nE1MYpefxTQf03tIwqrjw.Pcj7CjWqZTasE4wZy.CU-1752325474-1.2.1.1-35F73ag3t70zqbYRHDw7R1fb9TBcSva5oJabcI_i5WxHvxKEBAk.rwMJ07bjc7mN7EcgmKfiYJFSHxR7e4mba8F4cLHpUsHuuSs1vOZykfRUgmGXWjSKHkI2VfZCU8tmmlz5FiodGHAFeIKTJrughYfXDljmAYGZvEWYFOh7W8SUmCE99w5DICupnsuX3Eie66OhWpTdPXfTuNvqnKkMR8SXPoNlj9Ne59AWt1B0JKjMhRHfPDpKSh233CjsGorv4ObDTJCD5T35Yuqd9th__WJvY6GO_pMZAVaDz0qEEb_j_1pjshd3KUDgmDLGzDcCZwSVtxOX.nP4mEx5DMJC.orxOx6KvJYVblXWjPvC7wKADtsTqu4Fr_VAeYZijRhwpbANrbHlR8h6l80xEzNm7NlYSBtSFfz_acsaZk68tEKQoCoQZTOs4cIjGQKY2ulwNOmNxGC3sd3iDMNMdOTi.LR16Nb8vPfvwPfD8Gv1lW4bzSxk9hXEghLcyuhFusqpQaCkEBkIRgfqPD7bUV04FHZZ_g6qEh1hYaGvBsvsLVxSqHeFVdqQ6w1rITIWtDZRYIKHiJl6Dc9u7Y9LSMvAYAc0RkTP.Fzn_gmoZJajoZS3vMKDiBiHnSe1zDXhgUq.9fhOwJbxNSbnVBJ_W18j47V5tgeUaIFQLd1MED9lIYrghH86CAx93lDqy3RXHnk.jadRWRKR45l3Ilr56SF6f3MMeT.v_T58p1utDWCLb60IqdvBheN5UPcB1Psn1_9vN2bmkFG9xblOzT4UATaURsUkO6v.zrIiqWkc95.WUKU7QHbtRXbaYnqZltmznlhq21rSjuMqLchtwat.6ETeGxe2XZZLbH.PNLLQGAexjsbpK.pwxUKhnTp2cf5pLnTRFHyPE_bmcqXC0JMk5TOSRi8ajJJzStCREMbHz4LuTwJjeuAhSA87ElYh5TZQZ0eCWmzcpPFBdBxO9cn86JTeo5nAMxHCQ6dlQ7tUpqvHjdw',mdrd: 'WvZ1cnHhDqm4PqnU_5KXrDif.cHM2ZYOpsSpDP7O3iQ-1752325474-1.2.1.1-qvn2PvyUqWX1bdGGFr9JCy.DxGC9nikWrYcC52aaEMgJHv5obbmLiFZ1BQCrRTd.9YL_ouUppD_w0wVvodSn4bYOoHzAIbitK_NaByWa9rVcteFZj5sD.Pm.y1M0IeVtta0hHCys_ST9.TL09WWNwTaa9LTtc1p4l1phkt1BqfziG8qAZKe08bepq7gYvWjG72YT4C9OsjsjwlpCRH1.mgNWaCJYZEmoP8g5ECgZ5H5g_Sx0Ak0wgwqHkyfTgXHlBhnU7s40At6nRRjISsgE2n5qvKcNlxG_6byU9FUU3qBK079zvd0UQEQGq82x9BZvRQEomzb.XWz6i0PqR4kXzmvPriKIZnRPiOuOXh8hspj52FzMf6duCFg7bFyalJBJo.oWfKcQrLeHqEVu827FkTVElA7M96RuJ2hvVY_yzwVFGp8DgY6uwmORNYaCaEbokEoFHXTBBPRhhCGDHu9rR_MG8M4AS7RLWxu94qNvEnJd683UJ4xFtkoD5Y_7eq.DRnCpfnFaNkKZZq4qv.HlLgHsI6ZgkiPIF7QSsJtw19NwtdoPjWQ8jEfMUbpIFzXFxRWkyMmGHE.QrEEXH5JJX70dwJ.AhzACet8kRStaPdxzvu9L1r914CWCw4ZHlLRUe1JUtsQAG4bgba0uMcKQGITdDpUKWi71Mok8guHJ9fG3KK.sNGrUkMDIiyRhmy54zeb0gfEaqYON7m4og0sRSVTkbemGpfX1zBGceu.m42B02l1XA4uonh7KfkAHkEkdvW2qn6rh24jEpGwrfZ0cVR3ox3nBWUNP_tFBQCU3tlWimb5yayLxFW596AXcrAShWJr0osM6.urxeplZaiZpUwbuErneat9e4VEXcqtqq70ZoQSQIrxC2trW7M2Zru8p8V3o5C9Dp0b1oBQdUCYfpcZv.ynVvxDHT1EPg1B6SoWT6vVHY.QAeAMGNlXxhlDHy3lQ1h92N6Tt.ynLIbqYUKEGmt1nR3HRzvqAxHkihThTApvjZDUDQVsbVuHpt0gdF_4GTr4I7pP_rKMY6emaqAB47R45G_i0O3wvmG.mADmKfpE3EbrwbJLJplP9fuIw8L38a85S87G9ux.NEa_x5a2QxNLXEYdcYGTY3XDb3wZAjTZqSNhXXofwf2q863_5JpAhBEpv7NgKaKjTB0ZnyFYDg18bBerMB3nvG1Pysw7IDuo4c8QMR6k8jbR3_Cb48RgX.mXnsLcQoinNE7zGaxMro1x0U4.yBbEoI4vlggm9k01AKUVeBqAX1i6gZnok.pHFaHmU5Cb16WM9Bysjclbknhm1g7rGYClZ1TllPFMwtZIh65BlObqbWGKJJ9j_1OuH11zBFB.vBgi6_r.Lqoi8UK012tYPwriVzcQhlnqHsaipUlrYjUOo6glq5xMomcBqXEMf.i5KK8Y4wKkWa.t3PJKOl2NBC1nBNZkCqXERVk.QFNPHiFjPmX_HElhloq1nzN79O4q9wTIuu62.1zrupMa4QTWc1DWlkDquRnE84vlGmPREyS4f7zuGBGxim4uXdWbs7X3i9rASvst0LXrRfm_tTmdWEnCnqTd.95dnBwE.4S9DnWMTWbPNE2sFhqC27iZYFw0J7YlZodl7I9Zs6cWZ4CbCUsPpzkjGy.Tl58S469SGGZ81XTaUsyL9v0lo3ooQR5og4WEFffpyfJu5Mitq0jSgsLOshGFqK.jiRSjvyOYj2ARiZ1vKZgCEzoroYnFhU66_5c0eYGoA8O9FS0NdqB2if7PZLiuPzKALH6RqgXWBn6E0IveVCM29jaJi7MbQF.55lsa5xCiniJ8iX3D4RtGFNpyALoVIknjs6SwMaYPm3crdAO4XelcEJ6m7tpHwxcPlk0WpwFzsjTcfk72oWAGARsTdViYyucN5csj5FOrMg2._Hy1aB3mBTob7m6QZP0bn9T7bb4R8TUXVDcM1ETiPsWoBAYtrHsdQEqAzgMIKNWNNeml5TMdnA_IVetldUdnXgVZlHHgXWSjUXWmrZW7zzCMduxZLiXNXVf2BqsoLi7LJdB8LLCYJrs_EwToNm5xxT_23qFHP23O9LtMVSyAN7M2WrkyiHlFEsojN6he_4vPve23Xl280a3gUWp2B3sHoNv3qsNjRWHqcpEfwzxA3RtTBi1lk10g6tXTz90.9CCGMPLqG.YBB_IyjfzakTShc8iwn5iE59CdPc836d3rbALCpeeIFhyByb3wmEDNScGLyoJovvGJaTheC03jOF78XTPeif5fYfRU8t09jpggFxLisIfXXJ7LQc_NDVEZf_PJ37jax1wq4MKcmuebvVtLlv7FluDJEuACUSBqpQlNYL4WErPDsUwiIuVVhSMb16kMH7RG_Aa_DnxDujCuFT8CtHlzOa4q6PokFbn9ZYO7HNdvQgkj9AfAVb2Y.UX3bu8ufZG7EhoA.lS_1UMLrtJfAwUYY91wkLADJWsbvORQ6OGShMup_LTf1vno9OO3A2azK5ji.vdMdQwUDJOaDbe9qC143292waGgA_nNab6me_AtL46mZaipRN3jUtMcK1GjOAkcd.CszV3.qj570gpW9bPuD46Buozn5W5ovy0v35BZe9NlGIl3hW6mKAKIukYt68JqRqAeY',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0bf48a687ac64';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\/3583\/tree\/\/trunk\/XSB\/docs\/userman\/manual2.tex?__cf_chl_rt_tk=4B3RLcxeH0g77cLxhX7G65OjJuRkEPUi1AvriPVKRgc-1752325474-1.0.1.1-B.Xhnp7w3.bjPDP1BEC875ObauC2KCRt4l9NE_oIQJs"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>