<!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: '960a813495c9f865',cH: 'KEwz_FT39.TkLkAjURkiiJNiUhEGCOohK11KglMtpd8-1752763333-1.2.1.1-faqnsP2xDm5KZO4RHW8dMwLvEfj7cnQmboZqmUdvASIS4v4wwz22XZlUpUyIL8aU',cUPMDTk:"\/p\/xsb\/src\/1914\/tree\/\/trunk\/XSB\/docs\/userman\/tables.tex?__cf_chl_tk=vBtISDwDYMVjMS658.R5ELVhWt3mE8m7NKszoeJSKvs-1752763333-1.0.1.1-LzwcRLBTqoY1QfD9x36igYO7jGscsk8GasimfbrMI9Q",cFPWv: 'b',cITimeS: '1752763333',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/1914\/tree\/\/trunk\/XSB\/docs\/userman\/tables.tex?__cf_chl_f_tk=vBtISDwDYMVjMS658.R5ELVhWt3mE8m7NKszoeJSKvs-1752763333-1.0.1.1-LzwcRLBTqoY1QfD9x36igYO7jGscsk8GasimfbrMI9Q",md: 'PDvRLUUjD4ZDWhSLZPmA1WfYa8.tOoVudaHC2gXA2Mc-1752763333-1.2.1.1-1yqeeHn0EW9pYe34b2P8tjLnEh53kU2YkXKYDYVLb8t3fwWlwgb8N3fY5bGu4sFGW9A3ta_sFmeYhoZ6yO7PeHjZursX8lpi4XWii2DX_cqWaNTrX_tAUFj_GWYEJKKJoSRTpO4RfhMkoC.B9yZZyY2RDYqPekw0R5SRTZ1XhC48NNpjKBO6sVcfdBboiVrprz04.BlauNnT9GvwyrCmo0C.rpuHkliFGJWVIOop0EalCUsJG.4PoCIJMWv7FsBEeUPn4TGoH1EnaFaJsX3w8C5kqeDy84dG0nUiUnN52Ai7n2RNetRpM23IeREzDtLc7PDTER1J708oOJBlUb4_m1sCNoSoewEqsxYR0vOkCE2Qfrz0ML.xXC4c2teKTqKFaIPlXpP.yyh8hKNtXBqlTU.vvTQzfTvAiBeVITPmLdcOPSpgBzfpsaeWfua4qMMwrmKOVYG6XDVplAwYa.rRRS2vZMgiDz.MQFivco9K9hc25yQUtPJCPEAbbCLXliHPPmK6MCE.ZZ7GbpBErM7Uf0m9Uw4B.McLUFWLycabZFtf0JlL7d0YNV8_dNWGAItN8PvQQakFa.M_3gDCl5dP2rCcLgD_WsQmUWGl_j1u6PTIMa3HM1R9b9fx_fHBQmIBUADzzABrNppkuIgPycxgaAHJS2uc_hVohNGf29Ghjoek79KyQ.cxkIR71CYHguwNnA4vazmx_Ht1bzScVruVALKpgFuH.tCFVdooz5kUAoigv9AYeUUk6qaSDE8.8MCPv59eN6YDA47v1x2Xum..ombFFtxhgxavBInMyYyuPjld8ATV.YIvBIyJcpwzVFAyXaOhtKR.wldMMUKYH1sz2X87Gc0.54eInCoHetVgIVYwZuh7.YhCnq1_poJQvBJJdXUfgc_Qt_6gGo5Ya721rKVLO0l1BY0Nce5wg4iTEyLyEBTXmLfyPEZ6lyzgQ4eVVKlQQmVlcETpslTECh2uG9yA9CEaMnh_R66xf6ibBK8',mdrd: 'arvYF7Fzfp27w8ra9TAMNLjJ0DkdJR0cxX9Sifnyjns-1752763333-1.2.1.1-0COw9SVnxdXga6asijmrwQRrQAjXXi8sen2oznTwSki14ItqInKU38SBM1HOiq7.fh.DinTH2n3..lLi_YFkGB4_M6YSKmQTmenKxfWs3gS1yGmqhBai_M65TLuNl6MXRO_cYO9QG0Wu476b9OzQk4lypLVvNUufWM4O5pdsW2jbxBtF2bH4.fzsAhrQKAoink8MuVsGu_MtkOwFHC0RDrUICRuQd_kvYYt8v08LpjQi9Y_kGRtTptxnIwWXoBOh9eajbjxcMbZzVtbuYZYTNTqrMrb_HZ7aAxRi.v4TOrgybsO5D8P6PnozpkoWK8NwWBkf4fN4VI_Q4Zq._aEbTUiUfDdSIxFUmh0FgXrs8SXrHdYmV2W7bI5INvI3DeF4mjhZtk98QFvYWPaULkpfPmMpaTOjI3uIcdXX.Qm82F_TSzjWOSmOaGnsHZL8XcHVB7nfQ_K3cq8tJxib7I.BcgcExz.PP11XEUs.xiZPrOii0jbomx829Vc4nAkhaFCw2kS319.GG0MCTZMKYiihNguJNmPzM2HYvLL221JGyhfNkWp5cpumkFZX2vCRwVhB9Il16NyG2DARGMDx.rujRjvPP1zL1wwGeH.ZaDI22_LOoUsphS.btcy8KqAfIkDXXM6x.Ud2V4ga16wpMPLodUaMsJhtV.5XK.Kof8bSW7fCBwR__HFhLtuFxPmmkPlbYiB_8qYNsA5fOdATQydp9lFndq20SmTLUctNZ_vPA2LeIh7.D7me34EbJmRwE2pB_65ii_N9Ei.Acgu9eFXLCLxb5cxNlB377FpT43KIZWfan8Nypal_cmIpuDJ.i1FyjcaZDCf16tMmx6QG7n5SXoG4eKS9.q5hZGWNSOKgyCDKMniU9JtttdmTiVkJaPhhl2NigI4eLgXmqATRcjz_N4_lMIWn96tuHU7idXhhnl57tgtsV41RtmEeOcy4h_992lercdYOdLTgA8x.1Ojr9WUxlUz9_HDFzPGokyUxPmEXhH7g3mJp55dZlqeLnmIDi72RfnpxFJKdC_5.JuQfaioqkN2S1BGXHbbMsDuWNTf2pO.gk2RR6fexVHugxR3XWUaqxEff71wkS68koFh3_jODebzZq59vrQsm3Rwwbqqxk050N.0CNWH9t.T4RN.rmIeQ3gdlm.0zLQmv1iu0ykB_s6Zl0DthCCCZKkbZZaiSrYeM.jI3m7G4pKMjgUNw.W4Nn4a6ozQFxQwUOh.iJWnFqTn8k6j68GCgPIXTBhJ7nkPeRwacosauS7RXW0Lt6warMdjm88QCbQqGs7pvPvYQOFTHvfnjWaOONvUWunOGoiWzmj1oI0cgChaXOPQ.nUnKUOvVR.Osa8sjbJDtwAPv4rXN_vXSHAFZkWKcrtJ8zasEc9ZvLm.cFo0PidoEdHQmf81ML5vaRJlaa7VSdQeroV2Ijhh_SMzQiIbkUIwRmNrkAMFzBXnIuMOXi7CJG6acS9HJ0s9y9fJTaFvm6DQGTZPxhfJRS56PWtJXChGxz8qs3l81fD3HEzioKKMnKzzqr7nDIUkyB2VruQcFKm.ItgdQjlEjLCDped1hch3P1e3f7Ey3LYpI_FaKgMl0lY1InZZm2V632ugqou9So5gKOS8adIZn9f04UQYPtJYxqT5BXump8GKuWm9DHXaflCZekAis0Ae1ra5RxZBdODP5gAiMK17K5fJt.z_7BRzXXL6wje4qliiS5W6NvLRCcEgTN6Btha4sYV8jAjMK0ZRuxBC.eY1bo_n4NA2NQS6zxQ5PrL5TJnCgcqnz0v0p6i_jylosFrVKTlS7GDdF7IwYqnHuyieCJRtfft90fGfvSnfEuOpsy7bte1_2pko1TckmLiu0x5LsdiXsfx.twMaFvU68ZQ6XqmXx68VgWnFI5Ik25rGtlXv8rR6kCrcszUsPZIuoHZhOLv_ceMW4Cr2tnlYqkNBQTaTzWsC334k.I_9pSHMHegpDei16.dXvkpPw.AtQfaRxMOpGqT.BN2RcL7sVJKd4B8Y7s0fQ00e1r9TsgYYI0eO2fluxIIcJa6zEu7pEakS5AHwGvfnqT0GzLUwdFeQiz50.PzBMkaJrQRSzvrShvMjjgVy44NlRxUhdb9Z4cUN5AgXC8Qi0M9MR4V59ILSNFa6NJRfHsrm.ElhHno4lQFbHEEnaIVbWeDLTr9xVaH46tu3LnBJRU0vSlrFkn.rkpvmFRG.bckV3yb1yM2CEFO8ovOt9MA025Ps7td_83MA4rrbPGdg7EMCYVE2KmEOKsjzQqBrsG5ZMOFjv_INDOcJ.yHLPXtPySZsSelRYmVYGaxLvCR8k8DssQ.wa0yhQnENJ2FAI1dyRh2fuNW7_PecL3_UY24Db1R_FMjdpwVQx30cW2_UvRNniPTKMUicgaM2USZkzMdQRbu_Sc95707.ybXwUPPrv3hsoA9kh1jRfWscC67Qztu9gfKVDbddc0oZun1AhD7Gdm..i3CHsyFTOggnKXeGMvLZH35rZs6yr6i2.TvoPsf07UueFh9nEUdRH7Ja8DYFZ0r50qSZSF8QajFJhL1mbHx3SFHoktxjh62Iv13K7Vknp8EQ09W.1PBhPYzcm4zVjNRM1Z2PN8d0BIQ2j0dZ2',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=960a813495c9f865';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=vBtISDwDYMVjMS658.R5ELVhWt3mE8m7NKszoeJSKvs-1752763333-1.0.1.1-LzwcRLBTqoY1QfD9x36igYO7jGscsk8GasimfbrMI9Q"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>