<!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: '95de0c293152369d',cH: 'Vgjk6BkKxsFYuQGxF.QarIkos1NagK6F5NP8rD7xQQE-1752297166-1.2.1.1-Z2l74S2z368wbH9y6bu6hlR1lkCwj92TroSSHWElS3qNF4VdmVkgUk84NGE1rBuA',cUPMDTk:"\/p\/xsb\/src\/4259\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/examples.tex?__cf_chl_tk=2I92Cnj0P9DKvb2wb3fwfOS_q14WXoTTMHa1tQVu1j4-1752297166-1.0.1.1-aVetQ7fQpCJpy94dLBag8_n_3U0wzL3JojQiUbX47_g",cFPWv: 'g',cITimeS: '1752297166',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4259\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/examples.tex?__cf_chl_f_tk=2I92Cnj0P9DKvb2wb3fwfOS_q14WXoTTMHa1tQVu1j4-1752297166-1.0.1.1-aVetQ7fQpCJpy94dLBag8_n_3U0wzL3JojQiUbX47_g",md: 'ffxQ1VS0xYJxDTz8TYmDb8Dntzc3CRRIcTjpl53kevw-1752297166-1.2.1.1-zxchrxI_RntfVZGiShu5qoEEOEEL7W9byww4echc5h1nX9lTsCLJfCIpOGXWOO8dzj70vs8U5hSoyBUpDopzZmmgCVsYpav82TgWMDAAcp_z1FZkvvwIAIznAQI7SEwUXxUkqh0zSNatt.v3kfX0zSfjg7m5d6JeKBiuYoJk9Qmxpc2NsWgJIMUn5TkWQmeD_dO9ul8VRiMe7Or0fCOOoqbQQWusUzGo8aEjxl5s0JpTjn_Gmqz3qtRZdPqoaSLKlPpxReyHSC2ttgqCBDh0WjLf5MuSTX2UENFpxiAxNIWU8B3o72EW_ihUb_SW68_zLYwJ9R_.yGvI.6Q0wfv55XUAlIAEufHg3yBG5eRolxgBTISxY__1ijppaSxADXiKbOH07ZYrgfDzpSCKjuVM9sxR9fOErR9tW3UxP1Cd1l1ANB4KNub3qaeLr4r1yNwjTaMtxvPuQpCiLqs1bi2spsV0mSui9Uojn4B.VrGEEVD9MFdSb9MaxBQBT3l9TxDpFW7jHca_VXKKemduaDOH5kUnRBCm8XhrdthMXWzEwkKlynPLB6Mth3.zWvxJLdHbZIq.ahJCPVuaaKapL3Z01fV3Uy3poYzyjyqlVHHCJbIEO9CyNTTsNS5NHbcIRa1.NEnqBC_5buamCwScl99ALMcPfJvlhHIU1dhGPyZjgg4CJ7a68cEq.wg.jTnohrzIVLEFnrL.j9Fx1sxRzXMOYA3zcMwebE9rfurQCOxjxVFOdQW4glTmIxb_Ws7erhdNH7zAwOIndzXvQt_T8BNV4gWpsKTkjlqUJ._DuFtlqf5ECOFej0OYbgu2zjmWJPl0PqFeEjRNgqBvfZdzJQi_A9oLGwFdTYYb5iRmIv2du07aT3t9SM5z9mbdgJcJAXYbFnP0zohTdMECBRc5vHQebqHiz5KRjs_s3VU.mz3iHyg.i5zlT4eTQe1X.06lngWECfvqkByuNU7bfFAW1DJUN710mb1mzjWN8moOhCQuu.gkLAwD__Q58FUVFRO9gpc7',mdrd: 'wwSfgJfsCzcXW6o8oGm8wur.kKvkzQWae_Y.EBCY4ys-1752297166-1.2.1.1-ldOTbfXo0sVNdxeDdPvyD_ciRVtUJDWVroKmc0lrVBtDJCmGl66kuxLDHAtrxtceS0eG6Bsmmv6EDTnZRPl4RyASW4K0GZMVfKAcAYQ8i_wOSDBKGfj6MGAWyCV1RnuLWbnsA2v2Irx4BkG_n6aXI3taOqm2mVU2VsoirvXG68mVdjxRxVnJroWQg4NckYgcOPKpGsob.f04WqR.pE4aKBfp4vi5unEILRVhO.uS0YxRPk2WG.LPSQL80GUnvM67.pFNZCXp84ynQ_os4FuUXllFrAgrTc3aeCn.AYMZ3bO4fCH5fhlJAs2KHVy34sBzfn9K7yhovk3c2b2A7yyMg9OatGvkPHZaDt82YNMLoJjOFIy2IIWlsCLvmC7YzXZQTFTVWMU.rvXdy_G9g9Li.0b4ZZ0pT0KOeAWULToa.4AAYcSLYG9Qq_GhdIVw6az3rDKXuXwNm9N1ifTjMxjhGgkf5JG8bJdVQmx2sYiMMj64T_vhN2dDDe18sYsOF7Q0tBq1kuWSYgUX1QfzPlPHRpzKgHiXs_CLWKGgXafnMP6drcqinpeU4yfrOhVE_KKMz0Pz8q774cr_8dj8kVB_JCfdyG.z7O3EslrOMK5Bl8ceOT3qI3SzSGQDLP3eJPqn531HBDCMGC5xqe9JgqSMaTR_SuKkLthIEcOZAw77laczgj5E4kWtmbdMKqXakCErBf1KePzyVEZ.W_igOILlyPn22cC5kF7Uns.V2X8x1YzJxsjECC_f2CjvWa_atc.VBkIM.v_Ihp9VWpBReoaJGK7EbLWX8s0codLoCr1cfLVlBOqNf81fjT7.MejJR8PjAvNjZpPEyWNrQuZ8lFp1tndT9WDAyHGb4kQno6oAFbcZ2sfKwxlFrnq9c84x1LPAsRM6eylEIjhTrA7C9QH9VuflaLmD8ag0kG7g1xOdFPfGqLNhme6.VCdv3OuoUyvoHX0iw6lWRL7GrrY03LJjl11SfnyXXwpgXj6QlV35..YdnJtkEz64XTWjNPt8AwuxRLxImEwIYIDBzOOmh.tTdavmDo7Zs5gaeCc3tEp4ogUEXp3pq3ifMqnCEjKX1.BNGZ6P_AbKaEbXMLRM4gggcF21KL0_SAne6g8j5VzQS8HVJGUqHZAczAn891G1MYWl4B_JKq6EDU_pDYWETpSSFZZDx72Q1edTwAXq8MLwCz611EHpEAWdwgAWl6vC8rLrqPoqj2gHB1.JwYwpD9u3a28xWzQZrxmEX5QR4JcFZZ_2svzacBxCbooEKAii_e8c4reAxq4jjp_IkvwNvvd6RfiqEtuHkZkLmMAwJnqrOb.mGYErib4HNveHxTVTrxPesgDXPWa_.rkpz1fRg7v3zrnlhG9sPzGhxe4sOnNz1Fk35rGYKQqdR6qBXroghK1WEOaRLLXTeflPFcfkBNCicjDwFraQMPCevfmrV8dpr5A8BckYJhtvuLYiy29BQ.ldQKNSKG9n6GRQYQIlE09SLm3Wnoo1giElIzzg3vJGnJQY.xDwsZ6zmD6iOBMLiPZjCZUk_0H1neNy1rOnXJERiJGiqEyr8Xlzi.HxLmGBIEJ0JLPOlGp.Voq.qw2rGPh6U4ElahDfhkMKqW0KpFZHC5992uI97ckbmD4EMVek7nutIitms3KVgRVOuY12whKN_vy1opzq2_aWjM3ey9.0KwplmOaUnEBmsZc4bwyiqChFQQ9pwaZOJ1hoHxlE04lywxggZNFpl3u6Dg7gJKGY7CvlvEaIoJDtE1EapzSIWC99GiOdYTNv2RR.v8d5wlAXxMrBNkztMfGoAr3kWpAgR_ZNSR0GNVb3tV5rz_XH0_KGRwCKEQpXgnekt.A6XkseCld4jSbOPfYDf_22syC.R40_z1o9jtKp4Tr8cetTCh.gG7FEGW9t5aXG5Uz6M3rOS5_YVOiKGb6VO8Ydk_8MYXi6FFavUwp52jdyN6DtcVovdtJM8I6tRhHJrqukfzRZK7OAMQHU.JZSJOnEA4bK0CqaMg07ZKu_z7Qn_bl.TdxsqJus8D9FNqR7jzGaVyP4EXT5FT1s4yUk6PHfoqApPP_6rIiEXqv9V9QKvry7vbWmqzaQn56HxQvFYTpg_V4CdWBeLrUaOLq9.tNO_Q7LHYHkikxwd.xlAU1Ny5gtEVaBo.hM6MbhogiC2cqoqh9nN78jxq5TJyQqWCkUK2eW.8NppS_t8NqenH7exBA8rNHM7Jxe3bJYrFed0pLGUoUZWgLcfPJJVX6OpDqR9g2Fu_UQgU_LAAMNYmRDVMV0FR.i8qSEhaNE32sg1rMQ0p6YZYmQLiVmP1UDQuBQYOqo8nH5P0s_Cw2VljTIPVB.ww28A1qmiqp2jAQ5kfaqD4Lj_MHQrnoWa2kyno7cWIlMs1GfgMBsycCTtZNGgr8XKQ7J.jSY2hEnBGTqDC49qreo7hAXDLtGIseirtqldoGukfkSLptpKBCjR.cFZCZspft1A6sXIOFdOBWe8l_VI73bZsIbQlirKONYJB1yS4RflzZ9kx65QQBrDbag_fxtUtzw2kuIdbykPLZ2D44ubP8ueIt5I261FBxpN53x5hMYyMqVENmzSTiFdlWAivYoDHkn9mUlZrusO97dqhnqiuokUvurdANh3KA9EDjg_zd.Ag',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95de0c293152369d';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\/4259\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/examples.tex?__cf_chl_rt_tk=2I92Cnj0P9DKvb2wb3fwfOS_q14WXoTTMHa1tQVu1j4-1752297166-1.0.1.1-aVetQ7fQpCJpy94dLBag8_n_3U0wzL3JojQiUbX47_g"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>