<!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: '9651eaeb42f378af',cH: 'QxQRzXz8hRdx9h4PP5dH4kf6lgIrkTrXXXAU6uSIBSU-1753512152-1.2.1.1-joheawJxELUzdg064IrrSmxm5Tu5kDQo_hB26B1HiPjufmUCCv8Ktm4SHIF34rsh',cUPMDTk:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/tables.tex?__cf_chl_tk=u.DyxRkH5pP1epr1cWU0o7SwR_46jvLj8W40rHPsWaw-1753512152-1.0.1.1-OfGTeym_snEKQ8OPsrz3pAo7BPrxWSr.Wb5J.orwoJo",cFPWv: 'b',cITimeS: '1753512152',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/tables.tex?__cf_chl_f_tk=u.DyxRkH5pP1epr1cWU0o7SwR_46jvLj8W40rHPsWaw-1753512152-1.0.1.1-OfGTeym_snEKQ8OPsrz3pAo7BPrxWSr.Wb5J.orwoJo",md: 'vGXl1OCDW5jUNEZodvyC4Ai0H2xZdobOsn3qgLnBSWI-1753512152-1.2.1.1-40Cp.O1bm7qgtUCaFgE0u4pmvHgT_QIRnc6UQIYqL5_NN7IXp.8lsMPpR..1o0Fa6Huxm8z4IBpTDuqMlqvbcWNnMkBQ_45MxbRFX0Rguvlzy9331WeiVndUcY3Q6.KHakS8FnAJ.7uXP8ZiKOHr4OU9BFFytBiCTOHReKwkA0vewULYqQ6RzUeHkxMYa48N6ZRc.DSVS3e0EFiuH.0OG0.TG3DRR4JyiDAdEmZl210.wHBBHxXMH_DRdpLDPJnDRK3MYvhLhStvOuDayyVoexrp6WGXvNFU_xUELGkNMVGQA_HL7C_7SA61FRpad3NCDa7PKp9w8ZstKTXBIg9OHDts97EX43F9jruuF1ws2I3l8zle0qRkleSjNoSKpE_v_tmgS0sMdmK94qSHXNKiBuul6tD5sAH4_5RVaZlzHnNd_mzpudJ9bbDkAHz5bh.QSTzg4eQ7yOMCTMgd3Qr3aKkf_sN9DdtMI5ZwcxudU1atDuDduDPim97SYs3Kik9k7Qp.N5xe49q6WsvNTjyuDy2VquJvJNc5PVyZVeSSTXGkHiWCVefkkDIA7sgozFJiR7eyPc_DhMVuJsBZ6QK4PdqnUQRNE3c.JWDcAHcKTKqUWd0SnjiYnc8r_pz6QRe5yzLWMrjC6JjwTIC49JlX0kVBlsUXmtViHxnHMF8BkVte7Glb5_KtzezAh3eJFPrmaHRqDuChuF5tYnLHra7ZgpUfF5vdIt3CcGtwyiUQjxWTloYzAM1QY99ZU0MW2vjr1BnfkbIQ9ZsjJaE0IhgepkOw_6tU4LLq5jc.0dasxdw6rhni6Zfm_xiF8UzUTRZWbPlO49p.kFNU5j4fEeYVcVcqwot4y1q0GnMpDESXsdPnIDRfy0oaVYsnQ3rfZ6fNfOHIa.aPK8V6KKEa5K2SOr0_axqGqcrFV4uJ3G7oe2hFyiMXuAGD4Org7irHTK8LdkCS1vGIMwa0jMK6wA3un805Xuj5z2fcY1YaQNPkksY',mdrd: 'xJmQLiUsO3IIArWdZp9aTw8QhQRTGFwQO79ZcrUKbTc-1753512152-1.2.1.1-hVvVNS_bfiwbjD9c4VBFVMFMX2C4L_U3HLXKYMW.3ofMqopittrVce_GFBKKpsLCAb7mQONfJUSU_PEN.CcZsWDov4EsO3aCj2z1gWWjr5CrEhmWOwpGbB0bZLe_kL0LymJXZ57VfG94LNvIAljCaxTTb8RStl7B3eMLQnMF1M98BIkEuNr9lXxialRf7HE7oZ0so94309Xju7ZshX4sfPRgZv.MV4PuChf9GVi7Ezi97knPMbnMxqUEJlj9ZG3mWEO3qKJgWYuy_TIZf5OPaw6pstgXBYTT.BSgTxHdE0hbTTPhdcSm45olVAcfn5ImozGvJmSnT1KgAO_sPt7yggmy8H9daqmxGApS0T.VAViY1FnZkBOTsOFObrGHJ5aI0Jaz1la7QoiEENQqMfFCiCZ2q3O_za5ximWApFxjfVNe0GEIwFDX1dVEArrBpGFShobtvbI1accfQF7wdEOdtYbCVMhTT0CbTeUSN2jhUXLo659izASV3WjIWRb9m65zBabKBPT8Lk29kPGe8m8MqLz0JsIuEfDmAWq3RbnyB_FbEjIFEtPmJ30Uj6JQv8.ULleVM3S2RvJ2kATURRaBV9kyIz0_uiHVL6WIU1rZETdQyFLHsijcQPblU4fMoglNrhp4mnTfFIu0_4R3GJf.JdR2j3mNGBt7yRA0iHVIbnuEt1oWA31SpRg4s8ZJ0.UFfPTjsc9.2T_hAXInTdZy8eYsPWVTN3rpE8d3uY1118piLpgXCLIluux2PgjwbpiBUpFvexWiL5Me0AJcMJV5L2rSQEVH.ggVDMhAYkYvr0kVSLBK2drFV__opgep4Bzn9ZcHcWg_7tF6r4GeXMRU09avo4sVtKECgER9zqNwMe7aAHt_qC9Nza2OL860m4KwJD_zT6L6p83xbsmAlou5ayECSWcjynUJmPhkSaay1YT2hvqc_oDEgpByQvfEuTQGDDoeXRLauo2MYJbahnURVx3PASSx187xOEbdJdrogEy92OlhevPkoAyKodJ5i1LU5ZgQnVxxiGvST2qRiPjEC8lssKQljw6G78dbm_E.80u4KQ4yL6zlj14DWJvv3nlUNqNzTitSb1FtCTfsAqhv.mvZvT1v8GcpUkdoHrOgF49GxMK1fsH0EiZDm3eAJZP_vVMmAFJMuJS1YCEg5RCtDFOq0Gt_L4y22xZRlxfNRQqLbTqekiMH4DJvl.YMTf8kTLPV_kV07dENxf27X5_5UldZTQWRsSkTUkLfp5kQhFCZVm2qStRz5VzD8yqs4Nl03K4MqHSvInc46Qnul5ZmrOqeb.3Qp0nYYpDSfRNMHZEAlYOXd2c683ab0sGxEFUICSvf717JH6Zc_aeloBWhvxywJJCLK0bONpWnLCWM7tcdb4TEFOVjwjkJFwwVHVm.qkwXp98SVtH9harhviqNLCFjyXHc__BK5l_sVO7VW1CldaPAohxQ686B1ziM1kKPa9yiB4hQPoPTLOPKRqVHHcsaTIwaeD4bs5R2Gl1N65K1aghOjaTK0nol3UL4q4VFcGE3LZrsayVNl232ENKyKVUOa0wXe8VXL2z_KYvlg_Vqb1ztMZ0vOLO2EbBCntlPSYLLPfyQ3JNM.Ch0VKe0aZTFWcxZClxyh9FmsLuaodNTohQZPh9GumZirW0SbGnvQThjKifaB78lsrAcFCzRetKw.hg5F3GWdsat79r_szEws74T4TqBKuz5dwGsbDnqPrIo7rrsbtUiEFFtUGKQ2ZY4xAYGBVM6QUBB0ElzdSk4EX3ier6zRUXWh5kiCHutMcK3LhOwIbajDUqG3qLOJSFEjtq65V4Orhr3MU_66ANH9jkGqiUEVoB0ylZ_KmFM4I3DLN.Dvgkx1H2C4iQQaVLlzSXGOYd8aBc7gS7AeNyVa.sVFfgrAQCRkqcwL5_xzOcHTbqJnnYtF2DePfIAxIt1x3jIri41PjbYT7LdbLTLPlLK6zMLBXawAsYvo6UTrt.CdP1ZHNLmdqJPmQX9joTIO5QPUztCMT3MoKrfGLGUBB0FNeS2xLRwqjADzqPGvIczBMuP6UzPKS6EDEVI_cWLQp8_DNOX5kJ1ScsdxErPh2ccY.jVsoCoQriqUnoT8QInRXa8hhPSRzeEohGTdPbPBbkUcpCMTA4i2oXXnpEQnCfH69QA9MRS4y1uzpbrBPgQQVvUy6BMGwCV5SbdMAeknWH.L3zN4QEAMcPmrPEsHxfJYWHRRoyeU71TceXnyo.CcNph0SYX_P1zEUbh8f3XCtGA00kFB_kQanukG8PCj.ifhaBf70QvfZfj.qBm1NzRjqSAezMgKYEHDdRVvPd5ojqfoXpbSFNm85LyWXZOAlx4LPvW_tDzjGLmo0XnRcEaxyLJgEaFaSbo6.kAMCPKbOrFv9r19eB7U9DV90hwoDSp.ZyCee_X9CBR6gNCpTdjzP2027V0Z.R9env236l0g2eQo3E87jKIYkRt9LAlfNzG6hUL_sayZbOcE2yPSMHfBYTu1ANiyssLnWxRTP9iiFP8z7xsJKqqBpqFHC1YVC.wr6aT2_YXODcowticR6LsYcUlm5QkEZprIiRkjM6wLGXBGe5RnwBmfJ48wAVSIupJEFDjJtrHZUiBe9Cqq5fSBrUOz5xa.eaIYHFg3w',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651eaeb42f378af';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\/tables.tex?__cf_chl_rt_tk=u.DyxRkH5pP1epr1cWU0o7SwR_46jvLj8W40rHPsWaw-1753512152-1.0.1.1-OfGTeym_snEKQ8OPsrz3pAo7BPrxWSr.Wb5J.orwoJo"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>