<!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: '9651e8106562a1e4',cH: '.IZfQgwmmooX2AWBPmk8VjRqmNiiv46ay.VMXX7FdW4-1753512035-1.2.1.1-USG60EWvTQPLlvuEEqEBpueaxOYvJ3vp13JKGwJDjQj1bKX6SEZAfnEL1MR.OUDD',cUPMDTk:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/tries.tex?__cf_chl_tk=yU1lykJSmfvuhb0PWt9fi.G7JQxxRfrqB_WLOlto67s-1753512035-1.0.1.1-ewTuFECtg9GHnF6Ipk6mJ5xpi1KtPfFC75EbXSbYc_o",cFPWv: 'b',cITimeS: '1753512035',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/7343\/tree\/\/trunk\/XSB\/docs\/userman\/tries.tex?__cf_chl_f_tk=yU1lykJSmfvuhb0PWt9fi.G7JQxxRfrqB_WLOlto67s-1753512035-1.0.1.1-ewTuFECtg9GHnF6Ipk6mJ5xpi1KtPfFC75EbXSbYc_o",md: '1rnyhbfpQJMTMSBVNsaVeMi6nMEYE9dU0GDORiiYLkE-1753512035-1.2.1.1-uN.alq2iSDVOBnEKAns1AHp5sK7gcgd7FV_fU1gZ_6vBbq.ohkzlHS5FrsbzHLqj7iCeqmwxwZ73_2QUDUkhVf72OrAfGbVVpv2WxkBxIniPR.Xpe6gyQztIl_h..gNU84nKw9AGjHYrBxj0AfXllwDoUIMJCYoI8iEgZpVve9McBdOZfloWOTUgsXdcJbBCVq2lqI27.73hTYYC8ov8p3kQ9P99GShYsEnJwUQPZxLHBqtr77Qx_2dPlc8R1KW8rv8qTqaumHSlcaqf10V15IKKqeThi6hYzDj2VF.VNoaNhnNrqh1MXJZ4iAgnibtqRJGkKmFzE1xsxOW08XrtbtOTPS8eW_J3xDmb9Ydu07XXBIm_4oeo3Aw93fzXafyiFfDYbfzm5ytLC9oHJWE46hzOmW2maFfODi26bzFR1stuub8oMhSHZPHpcL7RaYtF6ReSUKhEV_Y_BNmezCxxBsA1qFxBo1f1l4KSppFCE2.ACq7vUrfrY84APyCS2fOB03AXFtsgR0gUsAoS4nM1HMOSR2a_Cvip0yPGnu8oYnNYBHGbPb8O544BGSNlmf7UGy20F66QkQoThoPZkGHk2TRiXmP0MzLrReMfXNtJEsuzDvhCCeKH.eK_sqFJN0nVrLd1msLeVolstby31Nld7xqa68ivoMxcyQmkTBAKgRm3IR4AQXFcXnXUzP7nd0ELEFPgu7FBj5S2tKPYWqxcbRJwoGhzM9zDY5PbG7ZFQHjGmf_J4XehIinaEjJagt.r5NHZAmWz5WKNeIsnk5iwkXiuNLT1GeO0rS7LpeezzrmyC3R01wlVcgAzsuWB7f9rSU_DlE.Ca3pLLYkDIVaTETPVMpBpYTn.oW6agoFH1Kv2KGA6nDqmUDQU0CVV1pEN2W6YOdazV0jxf0aGwHUlobYt8pQM0eKBblR2hMW3YPKD374LDGWT4gzGgTVEVX5OVRIRz06fmRZ6NvB_jEfz8MZH7Q6jDz7JBPns2e2cq7w',mdrd: '4cizoYAtk.dcaBdz4IEGW3e3mkc8MYP1rTHcJee6DmQ-1753512035-1.2.1.1-5qp8y_BF3ziyX7YxRT_MabjhDmubqZsI8bOvoFdqN_qSZ9__dnaIOFV5K0KsG8xdG7qH6i4tGV4KStkeIvzuXExZQnHfm6Z6bKtK0FdZ61kz4i9btbUcb.LZJ.dubbU_HI9fQBc4I9k7NlZ.IIFxes_rDwod_4XlLjjCm.W4EJSbB4GmKX57LN1TZ71WtXCwulvYYU_g0TwTdmr2fQ3e.wcvXUnk9c0zszqsW0xl5XJx7Gg.tP4.nTab1eW4HLBi8Uw2JxlkOlHFsXC5OotCNxhtpOq5Gwe49mzbgSN9S2B5iPylVh0qHzzr9GjZUwRE1eZ4x6rGnOznWVmaszuqHzJYw_x4W13jISNH.QUV3vqpNtuQEi0rKekmInB2kYB0g6Gso8z9nOxe.UeAzmuMULhzgtag94iKLIWAuIfQAYmEg5mRhrReBuB_9lnZstMW692e3uDTOd.wt59jBBrt_zphd5p68pQd2vLlG.jnGw7w7MhTcg56YI5G.aOvSV0JpHQpgcHZxgF0kLeresn_Dad0F.6.LHeUd_Im1mj3LAdgTkDSkbwDFP_YiqN3cQQMZHZRIV8jMmQC.C_i8ZfaFKxGVdfcDkh4eNBw2d9LeSGc7O4LMJFJhVahmVFc8K5h_BnX8HdGbr7js27hJRQ9E7eL1Ov.5jPEczHekRqEAeaszNp_flKUyqRjKhKNRDGVbYL0GeuHiVSIqlAbtdJB1PY3d.cNLocBdfPmgaSXs8z7tTqzlqb49tOR5p8v4wecHsSoRe3NhI3TtHx.rsOzJdFIC_Q0uK_MccnLj5ESpch2IxnmtygV1A82bPVOOsKQs9SPn_HHE_XEdE7F86LMmFZOXbJJJURvmYix9Br.UUcreU80UQ.C9frwiujCgckn7UPEZGUATuJbiarxMvlbqm_3fZ7YTRa9K5ipAPauCNOTwDP7DCfQFvW9HAP9xCRfQEpzJeP1Gl0N5RUYkbfL5CUpg04tgbBWG6rm9niW7wH.OvKvfadSSSV41NkbkYsJzQcAYtJMH3N1E1gAlpr3TAip_GjM_wPaHmp7tDKBjdTXc32A6gjZqZzdHhkBUP5yR4749Tc_zSPgGgO00IkK1UwAXk5MTsckipwhg6sIlJo6KKz8U9s7vNTQomCwf2TPBS5Yxe7D.j_NUJuV0VPVmgbjqGZO05vyE1cd7fBbCzt1MxT_VdbjobfHXgH30NgLKJfly2TqRedV5Fi8sGGqP0zyhZMy_2JW6KHnO_30R.tlwQkVt0MLXYkga25QwtvLRJoeZv_aXZ2RY.opKdnmt9Z.kay0fFtrjaJvgK2vNA72HHxF6eB74fugI4SiC4JuJUeRXDP2yt3k2tduET1JJw5YzIGNVbj6Iibkh9sgVpXYbXxJQcEmziFo1kfUWgCGMieogulL96Xoq3Ob6e0gJAg0fMGwp0x5AIxvPljjJhm2hu00_Rw_f.rxlg92et97_Ueqy.lqrnYpgq3MOmvlb.7J3BM.nfAMxmGeARbEhK1JLnujPgI85zfNMOii0vzs7iTLwxLxoOsoFXPn1PHEkiHuL4FF7.ROtt.7bkjX01YaY7H_gF7cmsoTJPoq9y6zsp0NlxC1x.H6Hoj1z4HeerKMMwVQAvQSMdiFX0Uw04KMoRvwHxe2gdpdpzhJHC_XkDBA5IKOg7mK8UZkw3kxAc3iDeaoELmr_e.ctbVR3BUcAJC8dSBGENcLCGc2DIyMoGutq9FiXwUzsRJmDY0QkYcIzA7F5XzkksKFn2SVmWzsBpZI2ABtKZMIk_k2U5iESS8jKTQ.7RAujab4k9NayPtctQEoad11._hc3FS58DrVR4THDrEjjRNr_EfViDnEZNxdEQnLZcZNeV6ri3AZU_2xjtGyZIqhlZtaB_9Y0SJ_qCJOpehk8jzF_v9NqmcuDmRN07mOBEFAH16b3_GZDByblwP.kxnkaJiCDsYCdvcf1pNgzakSRyabRcsVpdwyOiaOkJIs_g_bsS0kLnOc1ha77G7lHr6fLWL4XTzfoPiqxMzhq4hDbIt3f.lIj8A9qH7pgMYzI2V3UL5QzYcF1snCS4GfB7C_OTr8nEfGsW6SQ9tpdLHqYPnWxP5n0dc5pudce6SQYBv2jP2U5Qgwlg4wXaSZIuwx_JlYjOMkIw5mS5lDLCHhoMM9iWX9n4VZVaWNFEW_OSi0tTBF6v9BGGJH9bpZcZ0gAAn75wjCznPV_7TvRP4_bNQK7FM7xhoHJcFkGc7_2TDnzyG1h7X2aVlDUQH_IeMg.Yl.i590Fp1I_qfr104n6CfT5egJjha6zy6T5SiP_zPDa6akVHjvaOO9gaLhacdei3S1xqcUTckV.gQvlrqdDA5S1bm51p9PjgqwmvSjpWhHNVLQyMxee72fYoky9.psaf9ULu.0fs8J.o3OtcG7p.penLIqPVk7GNLUxIzMKfxeoFepVToX7nkIIji._KaRegAnIS7nAyeqa1wDCLWPzopKebLw1aOZ74RDiD96otEFhLdzYeLdXaXWGFgbOYwTR_opSHkczBFKu5KFOsRwJkH08L8WAgRzy9tNfxbfHsNQ1HsUxLhwLTB0f0SrGBV6kBYUdvscewn_R6aaTQvGIfyeFO7YfTP3',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=9651e8106562a1e4';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=yU1lykJSmfvuhb0PWt9fi.G7JQxxRfrqB_WLOlto67s-1753512035-1.0.1.1-ewTuFECtg9GHnF6Ipk6mJ5xpi1KtPfFC75EbXSbYc_o"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>