<!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: '9651ed30015e7815',cH: '34jxF6iTyZ2TXEOAIGKa0nKCRtfvQ_Qx.su2rIt2yXA-1753512245-1.2.1.1-KAnGHlufGroJz9AhMA2Bw53pXuamQNEJcoq_zgONpiF44y8mWvgzrov4ci515sMt',cUPMDTk:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/tries.tex?__cf_chl_tk=DPHUcq19M9EHo.EPWOnVgyQ3IEO0WOMP0cDy.R4EZek-1753512245-1.0.1.1-IBQ6iDAA.4mLicASaAuEfHwHLTo_nAzceGBp9jK5cVE",cFPWv: 'b',cITimeS: '1753512245',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/tries.tex?__cf_chl_f_tk=DPHUcq19M9EHo.EPWOnVgyQ3IEO0WOMP0cDy.R4EZek-1753512245-1.0.1.1-IBQ6iDAA.4mLicASaAuEfHwHLTo_nAzceGBp9jK5cVE",md: '0WshpU8WmOXtEMnhGZAsTgHdgzmIaF6gvdXle7bl0ZU-1753512245-1.2.1.1-dJiFl71l.7e8ilcL6MGLloN9KqfNahcI1IWmvbs6wzM6UK7FzCtT1HUKuwRf3mmbxkoy8HmK2QEkkpd_TGYdOkGAHfo5mDdnkoQwKyyVDZziIrgbDmV5WVbqjwd5g1MzvJjYqiCfOxp_7gm1avrKHOeM3GM7EPYnGk5mo4knM7qD6FM6BGAir1YsXiWffrpIlR43TqwbcKJ6xKjPr_R_Fk2F0Pwrx9UqRNdZIu5PqNQELfm9FJtqtk93qpDZ3j32vtZqVUMqujPhIbxOpsh1mZ1J_lF1CZNYi5N_kjir5Uqa23R.0kDc6UlXXvodY9lj3fbcZ_VdVeSg6XVHYjL1F1RXp0c6kv8zIx5DE.uGxJp55yxiwtwUruw0VjudD0BFHKKLJBCOBDZrj5LOVBfVfh38raX7_VyKEvr3Payrj1hoFXwZeX4teJHnLc7UKRwlNAFZcFe0r0rbPcO0qjSDplvzshSjzpFug1bjaEyHh1n8OrKv_t6WnomixWEZ7p7l4DGymDA3n3gf8krL09Med8aGRUBbL4fdlNIVJt17A9fzweFwJz4oScZPJVHtawJUPTZfF.23PiERhd0s9zBC4IJcOQ2K_2k3_Z9BsJDIIcuslf_4KVjwoMUx60Ay8fzvYTdP06warXFV73wCNHMUVhR7PEzomtMwiD6zxD0u6JnBSPC.yPmzFdhi.B2spDC60N4Jys.P8P36x7QmpbVHB7ZaD5ErwQKm2T1RUo58Im0xb9BIY7yVgnl.KKXKtpFd6P8WiYOznqCz1YX037o0.SLXhohN4UFCLQHyJcWhSSWYFf55RB0EX8yRDjdLohDStKVmMm_LqfLG1TPWMQ2xrziUNgJf1Fg6f8Uo2sxQtdetO._BIg21FuwGAPzusFyLIsywB1jvxgxTT6jKSfoModwj9mOKpbAhFxiZcRcwH3J7WKC8OPV63wtjfZ4iuru53sg1LiWy8dXNZUvJJP0kVRMc5TiCuoRZ7Oo8Cu6gzEM',mdrd: 'iPIecBH6l6ERAJB4fSRP9eB5yKmMLaKlcimNYYvB.8c-1753512245-1.2.1.1-B.EKcXQJZfGVC9Cpova.B4f36Y0mjQlksxyiLegQDjL.9NmF8Rsqu6eD4uQZRl.C7ptxbepfhdnwHEcLehW40dw0GOmvUDs3RF1.GGb3mC_PRu6jdXrCmin4T2T.C2ig_6s.SXKcndBx8SI6lTirmsuu9vHQy5YCgKXw.IFFrMNwZoAQ.3fOlLAn1ENhE1cK2aAPFaqLWWTPjMXWZy6DrHzdidqk.eKPy6VUJ6WZA8QqlJ6cBDJFWigy8I_ZbNEszWuHCqdAfUEvKBhrWpKSNP1Ff1cm86tEtvQZVEwPm6i.OiCrp6Jkmy86uIN4pBqLQa4XBmPuobO9Pfh02sSgCvRiRYBUqhgyiTT9saYxTgXMYANxynhr5vkMkrpn7Do71tbAWPFUeNgmZDFBBvmELwK7e7C8u34l91H3s1gPj7enMjLWCULELUjn_cxx1wUB04sEe6TtQHo9gDMbHEjx6cZ7XBdwHoCC_22MMPFZti7mDIPDIwo7RyaJsC2kFH03uaRZ4MeDmTt1csD.Xov9WQ4nttUNR10E6uuVoOmnYDyt7k0qMrUpL4w2y.YMRtYW5YuhuRyVLp2bGy.et31Nl9iIirQeLoff6HJs2gP_V_qAJ56x04ht39.7KXOJ29TrULIhkNKjt0ms9jl3ebZ5tIxDBEZMrNN3hC0ckpLH6dlC0XZ5OcmMePuMDtUILz9SzsNB3xTuDLFfPQkfJrmQjZWRRef2.Wm3J8WBxIfVL29ogODYgI_vCA7E7xJzg3hL8LqzyUczDk92l1M5HU23g1CHBj9kZ3pjrFzR16FA_LjktuK.K1mN_8voLXMCgYGJJwMh5RoTSCkChzlsQXCrOMyNkGVouhiMU0H0w_j_LfKghJgFPxdKtfrNM8Tn1hJGKmB3dSxtq.JD6zp5SZ2X0_zbG9cq_6yfAXP30LI0UEifq8zoYWF.PpqX.oxY4GckH.OTn0yZQ9KYjZ_.LAHVT5s8WG5mkAAgZ_P.AH9tRw3iTPz3r2k5s5mCUye8yyp_0WPTbyOCKP3PJJ0EtmqfIJtJCJTLuzGxOWfKt14HKINmGz8o2hU18LzkrfvjX3Lf78P_ieEQIe7NP13Bo3oTX49D1RSjZkdjNOXc2wvZ.9m9FQU5jD3sKgZdFaoSIueVmry1GgIJYMY69xbwcTElZeOdwTezeHm9xo0.IJn4njaPE0rnzAZAlv6M81QgMupzbfTX7OyW7cmbgfyr4Gt4e8YBKcBXMOz_aqFrMNjzuO1av.DhLcQans6okb6WlrLl.Vd96l6BhjWsvrfW.G7ELYFNPnoHw8hyakxJ0Edj5Bf0HonwpT5RaECrIXlsNluq1OgUEC4TxtHMSsnCUHPg58Tq_332lpbeDLVASbfyvTDRRGUUCg7Eg1Hkf.0ndyiZwpyHu_HiBoxwoxJLQoeMMSXlxxQYEdy8_Paz.b3499CwB0xqcB84llWreg1ifv_nVPb0CEFWDJDmUjKJTFEasP0YwFTJQROrf4FxX_5KM3JwFdkPB8JYZqSa5FUIh8ijNfXed.P0tuSHqONr8CKN4BQntFXUDdPz_Uzman1ArvcHsq3I9owicTFvq3052tHUzUkgPwu9CYVpS4LfZmaznYExf222LxSlUiedOrwlxHq.sKwjLIMwqRu4DaNtK0b7Ze_GQfCy1d9XKgXE0qCsjbfLE9XjcEP4AbO2KdQZG_myZirojuuBS.XMg8KQiwDFMeXYEKtOuquhBxvFkrnNzZx5T45qGux7gnIkiC5ovGHR.fxV2lQUdrmS1MtN7.BZENiEUrNU4FEeSArO_lp7D6gefEDZWne5IvlMpCeMAF.0hdC6u1pTwdai_cQbMXkqYkSXGTLmWG0kQIXZl4CRI5rBwr5VH98BrzKfFf1xP2Q_xp2D6rGU3J0AFDkDunCcVKrnlYnQVPHhbYgMCjeNCHgWPD08YdTVmFrU8Sk85_CA2LD8ahg3.K94WjXgcwJOErSzmBPsHlFwoaq1Z7MEedPjrkk6Q15EbzSAYaAwGScSrdB5twytPIydF2.NMdeR_l2TaMqstjL6hTv73hDbVz1uuC3t31yG6EA8Ay4_Rqr7Ys8dlWzSsC0n0Q5YX7ey9FMGZsBOFVCTUdUzUkAVWAoQA4q74378VU2cSMZbrIrD0s9CJGTuFr5UM4oYb3MyPfKgs5L0TDl4DEneh0hw3F9zSzq_fDfuM26RRSKdm5dps5tMhiDJ6NJiVKGollc6_vAdtA9YiAVB09M4KV_HoqtEla8oVEVpuVyxDhlb0msjZQ8uDsBvJjTV6MiTY_jvYovN2Kv4ltqsvd5n8ciPZXXb36UU2phhpJvHqtkuglqwaYvJdQ9tFQ277N17lutMFg7t6eyulsG7j9vmKcd8SDhAS1E2Ie96QhL.GpcXIT550iGoS5.XLs6AwcEsBp2suwP7xta_3.Y28ZMqldXy0en2k79GLuA7mI5MwQPB96Re04lhm.XiKC4.alKSq9hBiTE4ztVrvHGhRxW3DxEm8QvFYl7MIWBxoUTg6FCPFq1VFmYz_1VI5Lc1RStbVadkAyS5_O5Sry.LPCJmx_ZBHiWNH779_W9nUhB4brvP7uZPywTBKqIS1X8cxN2ee.CZqs_p78mAyTslGW9E08dfqA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651ed30015e7815';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\/tries.tex?__cf_chl_rt_tk=DPHUcq19M9EHo.EPWOnVgyQ3IEO0WOMP0cDy.R4EZek-1753512245-1.0.1.1-IBQ6iDAA.4mLicASaAuEfHwHLTo_nAzceGBp9jK5cVE"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>