<!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: '960a57fd6166aca6',cH: 'NGm2QOI.WPh7TX0HGUYpZzm5ItN4czQ6WDh6oT6EvVk-1752761645-1.2.1.1-Qv3QRtIkKrYSJkSW5983XQXE8wcvcJbo3Ty8YQy_Cd72aiAYTLPn1_OTVIu6QrOH',cUPMDTk:"\/p\/xsb\/src\/1914\/tree\/\/trunk\/XSB\/docs\/userman\/tables.tex?__cf_chl_tk=VSklC_AhV5ruCx8Nl4Nvs2cYTDtfG_CNdKQD0meglZE-1752761645-1.0.1.1-y5_vNAXpXRKCsPruQMrmapUPZPJUTvFUvPmqt6Lr4Ho",cFPWv: 'b',cITimeS: '1752761645',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/1914\/tree\/\/trunk\/XSB\/docs\/userman\/tables.tex?__cf_chl_f_tk=VSklC_AhV5ruCx8Nl4Nvs2cYTDtfG_CNdKQD0meglZE-1752761645-1.0.1.1-y5_vNAXpXRKCsPruQMrmapUPZPJUTvFUvPmqt6Lr4Ho",md: 'ycmnBmGFA1Kve6Warpj6BIQYpe_jVs3ZyxOQv94KrMQ-1752761645-1.2.1.1-tP8fO_XmvJ8RoU3767rVRrgHcQffbcvKbhOtwL7Pjs1X6glS3KTH0wzBHVDdfa0v3eMSai336MLnr5KXL.N2EEiEI1oopSsDwwRcwSrkEK8hrtFUPonda8oHmTOQL3F4ulKGLyKCuNe9mpG21wn2t5neu259F4xASq6OdvZcDph5UsHqHGTfCKUmhNe6RyZvI_CUHSlDIDPAszjsPw9XlAtfFbdgsk7mQNMJu4jG2h7TvQQLBvBFJkBNDKiKBlOJug5bYEK9X1slIA5LAHN01tdr88.2Y.dfNrmpQ7oruJNh8VnLEwcHidaah8X27IsK_u3gy2WBpFGp3YNv5KxqP3qNqDuCaIrkJzh4a2nVd8qoMQUvUIj42HgazoBpYbrLRADt4h.UlDMrUI5F3UDSFuksliZHCe9N7nqPssefIvVB40mByKgzxJSpVMUN66Aqsx5lzOSF4VBbc9l1P582VCpViUUcWuhGJHXjWciO0RPx_IUyvia7bIT_366HgS_aQ.jUGupp_MKt9I6TOT0Xlt0PpQDgJXG.pGVKiCOv.uPELJksB17ECCqobcmaFooA3OBJ.N6aMaI6VtHX3FNYwImQbaXXR6c2gXWqGpwC.Qx3eRUe_fLwuvM15g1Bg_doCD5gsHnRNCE0KxBQyNEDVNIGnypifzOjHDYGFPX72hK2nyb0692IVBONIUBBZEDR2JxXbOC.qGiJhTSA9RR0S_wgUm3JbYF93DZoxmYg8QQCaaRdCFRHnKiQF9kkZ3AxEiQq0zzXaxyYX.fIVx5A6srzLRkK7PYhN1q14H.9lTMpkOpSbe3SJqvDuUOotIhsUBY3QaqcqO8WLLErl3FguQedTN2VJPoxz08oczxhojAX.nwY3FQ_1xNevfPtY2MSwcGBh71d2b1nqYRWfjy8Jw40mu2Vwv2nrH6sHczvTcgKE1ZcJpu.j9ISi.PseQyicPv3jRC9HBf2hoLzMSaUEzjfKdA61zRuHfTkZtHhEb4',mdrd: '8ZWwlLTeFQjCC793I0oAeJMnPlcZ90YuCTsrFfxSjOw-1752761645-1.2.1.1-sXdJaJAJEUN70pNf93PG0f3UCogovnYxtQ1wrS1Fah38nv7QL6Ot6X4MMjl1bFzG4pYB11gpbwNlUFU.rkRRnY3yLefy19bHhgwatbhekJsmOHZXqD.N3UT_oAFbqeAOqbXHXMFnFxwCy4Wgy7NuvrpCrMMY3ohim_Ngp9.czeY7McWKiuZTYJHK7h1dTW1iE4EvkbCTVpJcd9osdmmD8j2g_ynsbI2hqg4cGIT9jqEEwNNnfO_Nw9C2goqIIil9bijaVicbwt9Cje3UdUOKoFOBtWAslkYEJlrD1OOeu2f0Z9b36S1L9RLYOv3jGYYVHrCJIT7GT5aHP.o6wv_UFroK1imampMufy.rvmoF6_qC7Eav09HqHPHbAphgGUi.WrGF0IK2fGhh.wY4Z5TJ8TtXJUYO5Rj3Td.6W4NM.uTG.OgJ9LRtrSHH9ejsDdOM.bDdEy0SABHy9P0USyhwTznl5gaQJ98VcmeFgIb4pz.I1SskgiVPwaaq25jsAwyf8OQjWgPyD4EwzsFRDm.WtTPQgYnXPLRYdOc_3ugdoIh0UybJlOKOJbZzo6dyjhQ_AlYmssM5sDZ3pXLg_Gc8yguASSOgO5V3k6KdAh4n8H9I0nJTrm8gWJH6O7ATKWwoFjic.F.WL.TsOYm7hPYWKcWrkhbkwqqZzt4O8DFHreWyyeISaqBhQS0JoiUolDwSKHA1_9jQMYK48M3.NJyYUfrNpAr_cGInBJGKXTUS.pkRswLgQU62hJZOmtN.2aAd6ZOuhXwSjGubxlD1becVIVYGEjljnziW2gtUCrFiAFlbjItnPum7Bf0wg4OnMqHN65EDhRKyrSas7aoJZfp1jqAH96G7MRJynmE87CtUoEolxYd4WgoRYksba3rBX._R_n05Sk7QjO38fylXAp814HQkKSxHjNkox7qkwMz5Qzz4B_TS6NmdvNX34sDwggFu7OQRFtJqudvkObc6PZgNh5VC7sUvLQ8wTT_wu1og3g5WKiURuuzUSL9hseOaSr2b.e9jqSrxt_q_EwPYpTgdUrWaXuPaAO_QO.TNigXhrBNjyTUC1lmElY2.mC2grjI_euGGFFjxNewnpLPPQiCiFWCogw1frLOe9TtrzY1yJOP1Km6mGeIJYICYZZo7kIbbxVlgVkK17S4eIqqAKe7FQyunAQVhlwAmh0haviqRkhujLn3H6Tj1kv_NW6aXh46kEJQQG4KP_GN3p8lu0GcLNm5.2GSgRE6TTpBTDQ_Q6RzYZClZyadVNdn2_4.LyYFHMSMur__urluMGg9CWx2PIcotKuwY1rFJahEWhJgTAeEZ1fLCgUw3dEQ1HYqePn3Q0GFHYyJqVNQOnH5D4eqrhVS3kaKa7_VwQNh0mL9G8Lb57yUOVj3F2ypbJkBs.eQeTDQpuUhHReUIF.dikVHKrRQtfmDxAm4JgWLunRi5F9hZt0lNMluwQkbxHDa4K2jiAMGTSuUNBjM7Qsmz2f_N6gvjThG7qhUJDqPoKsxs8DPgt0aRkK4.s77qAFlgP3RGs8MD8NbDyVBSb.YCOxMEbX2qQ_9aovDCPvaIZspYUdXXr5OBEge14oXYBUHtpJnGsZfnk8RlMJceuIeySW0pwiSgF98W.52Er3W8_9iAlrnDhBsoPWcDsKnX5LpIGLhwGGoIAxusMiCZ9g8W_4zFYlgG1bxgPMyE2Yz_b9zys15jtyy2yw3x1CB9W74Np1awE9th58eUwHVhR8YqPB2jIIrJcxIbcaEAwIlEF3DgwlVBZAQIAWuLr_myawTT.ur0fwMlGdece7EwjMKQLoBl0dF8qmCUhDN0Q875Nq8f5Wk_msCQVWHeN1yM4KkbMvKMsKr8e86VtPPUzwi9Dkuuj2ayimAW5BgSTG1ZFfxhtFz300irmmcC2dojI0gxwB2eCnqCeCjujt5J3OMFU3cfdCQi90H9ZxUGe2CWcpbKq.aP94hdzOPLXXFwh9cP6riLHepHJi.5szMee8sCKft7zpUPPV8J24o2EuzZB_Kt3ty5k_YD4RPs.P0N5q.DJMubwccpQ1YxIkpDft5r.akqCMB8oEfDrRXiEAkXgDsDpulGjY5sCSz3lTGd24.6rtUHRa4qOnyCs5MY6W97aJFupIeERJr9Ucg1wcGgI57Tb6HVq6upH3dGQeOByjf4PZMzXKXlFN82u90fhKWb1kAtz4oynGGk8ZgsY8.3Ua73M3K7lWoGWpBnNMayFG8vizfOklpz05yWcudXk0xwpIBYVzf6AVX8pyZYAKhliGTW4rup4YKybowxxFLulGlUICB3ZkuaNWMcfgx_JBr_c1ZRH5R0LKFRf2VSZheLZa.i2Qs_Pn5t16kKjBMZKvjdYN9oW_ngH7jyCPt1ODnExcqL5_0Y9CBi2zaZci82rNbDOE4sziIyA33jmZzvuqoi1XzOgh6Z7uHs8LflzrfDuKKy88gM4In.ZqZRG9ffDVnYDSH0pIgZV__p0DEeFgmALGWxHoGotARdlzxXoPDI92wvNg.BYc03Qy6epzgiXYi2sCTLU9HPWt7RiOad.pDvM7hZSu_4hgubjOvbLKzREHY5dNNwaeBKCHgk_vUNgBmxksl5YQp0oCdIMkfeEqBYW0fjy.79aatBJYWt.502ZimP8A',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960a57fd6166aca6';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\/1914\/tree\/\/trunk\/XSB\/docs\/userman\/tables.tex?__cf_chl_rt_tk=VSklC_AhV5ruCx8Nl4Nvs2cYTDtfG_CNdKQD0meglZE-1752761645-1.0.1.1-y5_vNAXpXRKCsPruQMrmapUPZPJUTvFUvPmqt6Lr4Ho"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>