<!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: '95e0e8231318ec71',cH: 'uo2Xf8m10Vy6fUQzhHjXnITn9YChy.Vq3kbtUE144hA-1752327148-1.2.1.1-fgW4McMUmLq5znzst5Ty7z3no8q8t3yYua1XRsh3qPxhGE0MhbUKRCx1DmceYoYx',cUPMDTk:"\/p\/xsb\/src\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/newaltmodel.tex?__cf_chl_tk=SyEMoC8eKOsdmYTXRjSf_EAudHV_ZdC0rylbSTEaorg-1752327148-1.0.1.1-oVPqWs9Ifjot2NUBU5njWbY7iM3226_XBQwmdzP6qwU",cFPWv: 'g',cITimeS: '1752327148',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/newaltmodel.tex?__cf_chl_f_tk=SyEMoC8eKOsdmYTXRjSf_EAudHV_ZdC0rylbSTEaorg-1752327148-1.0.1.1-oVPqWs9Ifjot2NUBU5njWbY7iM3226_XBQwmdzP6qwU",md: 'ObwQSfvEgIZKu.sc_t.CShzl2SUjObLDGDVY_Tn14nc-1752327148-1.2.1.1-k6ZTtaNoZvSDckHD6muO3bs_fJtK_rz4w1dqoGp8E3P0ndB15TSRNgZ1ne1qEPStE.XE0WNl_BPe2bxwxcWqKQPaWjKX6wPexll1j6qbCXTPQoKu8WXDTPkN8VwNX5OVmoF9aTX.yo5AnLXG8VXYjNds80zcNbCGBOK0jkQ_EVGG7LZC6pFrXe51HE4X8YrGrO2qWx.mil2Vz4GIDcBvBlpuDGbRY71Dysqo2mSS7PBuPGsSvsBve1H071d0tZwkNHAYbsriQgBaaXLCXLpLfDPQxvxo83I6LFRW1M7yNPIPZE99Ez.HiKDVj8pAQKKEPrZtQ4IndL6L2FEMRkcg6h.xCXd9VnopmmqyrczkjVAClzaiCuTYhvJPPV72wz6e6vbHW3CLOsWJ9xQX0lHw89DFhb1aIrJ5xqLKHC86QoUeZABqJozMq65goVfOE81araQ69PtfdXIME2uFKUrD5pHc_2rmn4uehngFekHImi9_yGqoX6pwd8xFeKTw9fou5RVPGEIvbkChvDjtmZ1Rq6CG8J6dMSLjxLfyWkZt6nwnm4KAXPhKqpXvdeCJBhDpccZCrETMHPHf65p5yMDXYqCJdTkyJQZCC2UNND6SIfR2u0U8xIh6o7KHKcffB2nly4s5gxOaY29b5X3p7QgBitqSHhFJxz8ExBOaAWdJhuCxYVgQnT08p51C0zf2BxtAfiiZaaJ6JoPISTrdObw3VIFRpiVEqmsHYZK5mCjGnjIIcEcG.sO6wy3z1.UPU6FIunepWTwfcqWoQjw9vy4cj2VQUTEhByxgYFcfmniErnENzAn4tFyZy_B46WjdpwK97LajvEWLEGJ_219rdAfqrefvhHzdjpo8l7AFdDEA2mymhJYoYFrZ0f_oq92VsotB4rtcj.uUmLw05JNunyPzduMhiS0kdTSF2MFiYiIQOekfPQ6kOT2HhCgBhdGWbztQClMsOs6NmpcUz_tcHN5Z4CJxbryaZm6i7rPaZW355NCohi4Bjn4O4GjqFzo9.jcT',mdrd: 'czAu3Ja.IYxVtteUB_j2aNAj.ur06rOykjEd_vbA51o-1752327148-1.2.1.1-P_GKxvnANZLzU.0X8vnp2i8XT5_l6QvcVrrPqxckZ5nJTXo0Ce9dKM0ukSJe41PqUhjtWVlX0RtzwxLiSOUWgx5sZXyDIYfoUm5cZIBmKljZBbl5JMNzUo0csCJvHZ80ztspbCQCzTDqmA.3Ec8PqQ5mOY0QxfNQ4Ien80TJezAxW7ddu7QwiMIsS28tBKRjCPWbWin16ruisxWpVdOJSlyM5wMCfoimP3agIR7xkSIqwZJLvBPJpuokgK3oFsO1.XFAHr_UpmxVebjwxxNDYTtfJ1oYjDRgmGsqO0f6gW7_L1vF2N2GFHcZKB2f1vLDvhw9NavEg8mppz32XQ0AOHzYnOhD5VZQ.LoR9uLMJYH8EPnVPgna_S6N12MBo8ZhMwNbsZc.CE4AgmHzdvVTfykEw88kPVBu1nK1_mbEE8PPmW9ctVf1idRo0FkcVPw_..Gb58999ffJzH3pT_aXcL1o9u.IIz5kiIwfavZUGJ1I38BHuB14sd.hjfEZBabMkf5PBZHqB_Eh3XEHASzGpRnJgf4EfegF5jyVVs8HFVGAtaxljJDSasft9FBQXrnQa4um5OcT.L8HlaxCphy2OJrse85qt2C29Nx0ayWyEd9gYEThpdqIdEqXUc3JcFtEemrTJ8AIwUCI82gwYyeLSPdKsB.9SxH_3LKNYSTqHMvojrj5WTrjSTLraYn5Tur08MLwDt_fZ7aCdAA8isfi4VYQwVS05tsLjiNF_83G3_iujSNjzxIHROGQl2Qf0on4tlQgQVfc1X9LtbWYjCnxfzR7iqg2m0WeV3EIDAF5xrP26oUwNAa9XbC0a_Eps.L1DMJABHchnjpan51DtraPWmpv9ml4p9hwk_oKB5uMum7PEnr9j.o_u5kzcyeVz0LQ8xMB7yq4aYikkOPogDGxq1uJcur4IYhzBtJxmvaHcsMZ9I2CZugy8wOWjt3i2OX5MH8VAhOYw.VeglqfuenDmqSfVpSfi3K2ihhD6Z_tTuz6vXjElFTPabA4eOcqYFZhEhGcIkwWD6Qq6310MbW6FLkHf27ahduQQOso5ONLS1m70metPHkn2R.8SwC0jQY4DDYTCCqdX0CQwShd3nIbTfkWs95sMfWUhu2RJbetd4N6ozLFCFrx9GSfV7AlHDA81UrPlev9kfJWZ7B_9ZotvkzA.ZvuEyELcNXrOgZPMAjIkx30Ls5uR7IveR69z5tc4u4nLDIVOflWCK7zv9_TzPh_4o5PixPUoRimIr9YAmDj4a.g8Ly9xQR8xIbwCaU2qM7pWKRaP1K.q3EfhXDGtCve1vUqgZ.FQaYW7aZMWJuwYpNgmxEeEObe5TGzR3YLnSfN60p8_8gIdTJ_e3naervxGQ5gHzII5soTjYZXHPOnJ4eeC1G9oXwlGo6DRBG.5Ou81417vXIoYW.Ym3S2Uo1spDrBtaIIIujIgbB5k1zRQs0T6xE1VqYNvk9MMxn5n1vLzMNgDWy.KaZKYpjOBk3AaI52hi1WWSUMszV5Zv0KUYs5E0KHeYjcNgdevWWK_dt8CfebJDzbU_J6uUHtRFlA1EWi7lVX6EQwRkyfihuepHtyisOATnTEQHG6ZNJWZ.lNo8MpdXK8TZvyHKiXPXkFlKUDw4zVVGqqsEN3_J633Nw2k7CqYzZG5DxthlVpuJwSB4DNFHQlRSezd.38ieuQR66HMXRVsLTUgp4iPgtEKwBbisDHXqz0DTFCl_jQroekjtRzkoAgDJAv2z5_0UbIH2_02kbbgYTfMqSgiHB.bYw7G6RS7wKWAYBIPXOQ9GyBNWT9G3Q6f9On3YNPqPRjD7W44uxNjJhYDXQevrla6TjTeIWmi3x2vFPA8Iybm7A56eKDO4kioWr.b_DAt6VrlX5PiXUCRKaP9IiSb2eEoytMQ61sY_dW2vZa6JWcsdcdlIrJl1HrG4p8PdHpYAfcAjn4X7oLqtiFQlSH5zhONx9eiaKnh66wj1wahqsCPvz0iKGmL_6D0e5rOsg9CQytOuPP6nbrs_.3IB0AglAYeqP3vjMHo3bcW24HI2tIfFm5K4gewHkKXk_MKC0XFuZh33V52iValTHr95VSExWuDd2CJu7iLz97IpZgj7ilqt1Eg8FSg9Bt0WnsunWSVgAdzewxBYOEfVxdkcwCiC5pLbTMBkC90ax0arc2RGkiMqbvL5G11cxuWAv7noU4aYYNVpQGR9Rwh2Wd1wq325EUVUwbnyeMIsyhXshLkqeGb82T2RT0n_HNJK9A5n_OlY1tEYb1h6fRMvHZfHV4bPWn8sWPXGOHsaG.WRj4L0dHXDj8naMCwPQ7PIfVI1uRq62xDFVDfF6A3Vp9YnEvLM2ZhEsZoeq4bblYCEZU8R9eDLsJFsmvVRkf8ZTASxnVVKAM_ZT2MgpJXiT3YNQt8tAj5VuQVGWof_3Om9EjlOM8XNCuCntZq3tpHr1FhM1x8ECSNiFxTCuPmuMoB.72EAzdv1SIV8lPghiUfDfePUyp8CaKrTU9seITFQxsszA4cKccVHg2LCozhGVXegVCYORzr5NivIN6ml1H1UDp31i1ek3VFZtK73GNzJ.y8IAveiYTTCb0MqfBvVUgF2wQnQRNrx5RFoz67uFEoeCGzisqFQq7j4RlsJus.yJPs4hgaw',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0e8231318ec71';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\/4251\/tree\/\/trunk\/XSB\/packages\/altCDF\/doc\/newaltmodel.tex?__cf_chl_rt_tk=SyEMoC8eKOsdmYTXRjSf_EAudHV_ZdC0rylbSTEaorg-1752327148-1.0.1.1-oVPqWs9Ifjot2NUBU5njWbY7iM3226_XBQwmdzP6qwU"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>