<!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: '95d27656b2b5a1f0',cH: 'kAo6AL3ZXdl9pFj9bE.hCPQa.lTMQbFRsVqIRO_RsZ0-1752175686-1.2.1.1-KzNcaIq78P6SGePkXvaXWJV8158hZdskZujnmgZyGk7UMoy06FkC1F7B8A95Pfx1',cUPMDTk:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_tk=icaZTZanxGHc79uWU62lMJfzrVOH7PpOU9_GcQnGwrA-1752175686-1.0.1.1-7lOANkjr00Bjmh.o27s2n3yyZWfye4Mu3em2z73c4wA",cFPWv: 'b',cITimeS: '1752175686',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_f_tk=icaZTZanxGHc79uWU62lMJfzrVOH7PpOU9_GcQnGwrA-1752175686-1.0.1.1-7lOANkjr00Bjmh.o27s2n3yyZWfye4Mu3em2z73c4wA",md: 'oOCkLY4pZUc.PvBUeiAAyKjv5dwoEZTEglMe1Nafi.c-1752175686-1.2.1.1-NKn7frVkoeqkKVox_pn37uqeZLuGSw8iHzZju36AocaJyMVnbaa8GUYk7QsBfxK4XDCDA23S.yNYxwWunfCZGA7bVfiJPkxMSIgbb1smVO3mR0DzXGqkHWKEXvQaxWrpJ0mtz3ev1_qjeExVpvnwW59jdFHM4DGDdkKADI8ZEObLZyruQnZuBqz2LCxWWwwaBcpIq8QnOIoZRRXaelgtf8tqpDxecG0NE79lFkeT4iHfWxWO545awZN9oVZsGOIbAJ7XN_zWuSA1h4vllbhE_xV3fJ9JYQpN4p0tAvEbbmHQ0bZKExuK63Qj7vbiX1GtLaEpnmPocrsCs3S64iWa_T8jV56oZNd0FKgzqnCM67vVDb_oC7RGhmzgf1Pxagw.fzwHJkq3Nkat8Pda37rl9xy8QkbsD00hoKfgHm.6zosGT9_X7MEC_UnT_gkoxn7qNAHXf5rdURMhkD9so7cDVVcwYKyOoT.alDfw3VrCze658TprtLm6iSErK8GgkGPowtq35HVNF00VAXrlsTiOP_UfGTO2IyN1OzoVGZy6BJsWIxtlqLvZvH98oRPOuBRoobslAtn5uWxx7s8Nk9TCAJLH_ipA6a7N1piMT6bszNUdl4WFjX7ad3gQd7YISujva1qJePgVrZT.X3hlZWaBFUkiQkTcSkFmcEsE8FfFTDXgVZ9HcUEExsc00zSDW7UJYPz52bekWWBI3jHvbqIzW.gyr3vL6PuXenHy.wpH6QsfM4jmaYLP6Fz6UPcGsw7mEOsnABBzNVY.EDx9Xf_ouy40mH5Vi5dIajjAmbd9It51HX3Oyd5d1XXcfDvq1TTaT_N_CQY.YvQ3paS9DO7on6TvFE6vb2mTzU8XSRY18f9Hbu.Mx_UcO3b_J2nEAO8xw6BLS72W.jLoZoswlZjRdD6bEysyKT6KKOMBmZ0JkP_AIgg.My2bL5bxUl2x.5hwxECSm6osowJh74CtLrWU1C9NOZptajE46UC8GQjI0xI',mdrd: 'rUniQmJDpSKJb5Uo4gpZ3k5aIfsKCn37OEk.4M2jESA-1752175686-1.2.1.1-K3uKibRaTJAtvt2pOBUKGwVSeauq9DI_KvhyGlwutaCt09llZqp3AUIXoK_feLxXhPvIKOLCO5khKKX9kQkwX6NSpCk32WrZNY7veOHFkCyAYSbVxfSf46RzuOU_x1o0Y5uYf7mKyYysujWNfvGQGsir027IO8Tsomkiucr45zwkNWzSG6bK_kAna07nV4g1obwYFAb9tTuzgytkDidThYfx2WK3CD6ClUErLh.kgTSdRkTgs49K5AfVibV4KvwvmayB0_MYG4Q1N8Qv1mJn.QkqorM.M3MkgfVCIFUJWTCls30TKS5IAEplmGPulxrZLkX5TkWMjEduPMs8MbpVyeMAjt4ow.seOV0X8hsetNk7P.BovBSx895GofhEE7mWdXpkiRV6PTEJZ9kBzlK1Mu5E5SqgGgkbV93oqzB4FCDEou5przrXOZV2IIp7PX1AlujmvWdAYuhOxYWGnQLbW0lNjAcB118rOt1zT80RMlfXMys.JRv6mumDmT6EjpVdLtTQk_3q00fR1bln9xWTJSfQ5IUJyP5G17ammsoS5Js1NxayVgJHdtcxlD5jYnx_i4cdeoYcCPoB6gvCpLqGVe6g_aI25NU694nmpJF3Bck2koks0ead28u1ykmIPs5v5Y_FpXIUj4vJ_f_8YvTT.GGgKvehTapcePL7caOnYirfqTHCMrpBLNHGg2Xojh2bSbwmzy77AshU0nHGcmYJCTqPLuvvYkepUrJnKWKG.j2nEdgx7maryuOfEuCJpT1YEFd3aZG6Se6RV4EtzK._xWYnn60ChKLgaPg3FdWZdZTvbt5NjlNFlYbgqnXTtJ00TygGtiZ6ULE8hr_8_eiER1Dk9aCxZ8C.nnwh9OE8PtSCoWtNZllCkdx39ENR8.J1f1veVjPWjTSmjN5q1oQI2marGb0KLZja2UNDs_RclmrqulRShsBbk3PSD47Nb0UTPnFZxpyiemRU4mp0qJyYiStg2y_RGjL7GMS5EpRCmVdNAr16ooUSaYaiI.KMjW4JOd0aqX5PPnssICpC3oQD6lUzgC0GCwhneqYGRT_mOjSDzSkQ7kocbVgt9N6_J5CEwPSuilh4wmlFzPnQq2CQOXyJRrXtGj8woRDjHEKK_iDo0.455xR1Su6AQx7swfK668He05CdoFn7G9v.uvFJBx8G_u1Q1Cx3H_n0E7_oKfw9RCAqM0_nPQziEFxBkyS7EXH.aH95pAhVDVvqGjxNiq23pvqiqQBKVdqVsq67bxAVSDKZiCQsjtSXvJ7iMn7pcpIJk6OKjMwe_X2dLtLHHIfrsOAJ0Q_AmQ7v1_goJPrNJGkZMFrlJnyQnLNx2GNEQ9RB2GrzACLCuF.Cjo32YCI_kSQflaDRTJ2ZYkqg8cxwN2iqZserZhQ8hf1gQ2.9dEIrW18KY2CyPYdF7iLt9mn2Cs3kD.DS1AqcGjVWtoXIXiTjjaVOHahcIbGA5OlgMVqD4Gsdxl6Wed8bdRyMRywkZxjLViZvmwQ6WCAmDsI7H0taBR.XMdWV1qPfOJ1sCxQ8i95Jd5UogRr2zCLQLAi5Jm6pWaa1vN1PczoCmfYXXA0Nmy8t_pfhQpxfWQCxAHFYEP22u2S.n2d9Iyb4QFSyd0pEjlSKQdIRn9AhmxNMc4fbQ7GF2sBabT8Hrgk5x2hrq87pGUPkahk6p7Qi5pyNaSkdX1echo9yRtHsaZlue1nWW8grPq_dDkFNYMO3SNdaSabvFFrmK8fmt_8nIhjxblj2IYK3FDyPZsBl0aEqDnnWvpVd2Vz0SLjEOQZ.juJoahMtUtYvd4YyiWW2fqNou3gxqHJIgA5PSM6cA71dGxTBkOTN7yksgtRt0GqzUbv5ncLcZ.lw5sUp2iYul.uRmuqKoLF3svQY08XjYsvEux.1ziRhUMOvYXOydiNcnBjnl.2M3ROQ_kEMwj1u5MO4bMp_ylYdFCqsMeca8M2tS_.WmVEnKCwaGgbyxJRcyky1f.AutijLH57JhPvA.s0W4bAQVQM_J6n7q39pHKuxZDDSyVv0e1.A6NMw3EVmyfxpD8ss7uwb3Zf2b9Vq6GSTY3N1iU59cHW22c1o4v.0gs_JqixZEdyv7jhxofiXvW19dxtz_P2VQm0.zt5jOAjKBZg8ch11xUbjpL.KRc43UzZWyoYPkTEJCBRUrMEFm7Pj9e4LLM6oAwAvzOJxXnC9Ghj6jpfOnH2IMb9012tAY79iXXxzslIagntZTNdCyhYOhzcvvUlYG6nexQZsO7UlqVOgzLaaNceTSY2k3u5OkHG9nLDAXRhmg1phddMsqxDw6sWOESV1v.rnwZ1QmhhYfKu5eqf_qm68gvTJV82BMkBXt3tLixKEAK7ANLdS4pNQqaAyFs9e0mmWzn06RArYWGA_9o85KOGHGIXVf0zBv72o7RCNZTNYT.zCE_IsAwQJ37spKaXaa_PA4wGvGojvF8S9q3Q7jBecWPfgmdtxgiqXh0dC5zn0ZNiqqTdtyNozbxfx43ohVFvRM7W6aPiq8PxqWfAu86jmBmGTQ_U0Eq42MVv8xBOY5dVULGR49fyLqYYiapfnRyE4HCPfDpsG3Iiyqyc2DQO9dgbCcJvLHVGxxDXSOVGzI1HFBfZWLSI6vPJBofv7rpB_aH.LfQ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/b/orchestrate/chl_page/v1?ray=95d27656b2b5a1f0';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\/3978\/tree\/\/trunk\/XSB\/docs\/userman\/manual1.tex?__cf_chl_rt_tk=icaZTZanxGHc79uWU62lMJfzrVOH7PpOU9_GcQnGwrA-1752175686-1.0.1.1-7lOANkjr00Bjmh.o27s2n3yyZWfye4Mu3em2z73c4wA"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>