<!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: '95e0aa2c73aa711c',cH: 'H3XkfjCWzpPJRCg5WOz11723.7tBJ2PMic3hQHNvKs0-1752324610-1.2.1.1-c6NGDO7p7YB.2jE.MorC6V0MgU_D_8vrY2T5GSEXH5lshVbjCIaSgvBFgEsiBOEw',cUPMDTk:"\/p\/xsb\/src\/2974\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_tk=UNDoz6ENBr40vK5Kx1K0_oeTp.OwyvA.AJZsRMiyCMg-1752324610-1.0.1.1-Vmfv2BRd.4wSB9ah1M1raFORrKlc5aOn7AmL0u6j23U",cFPWv: 'g',cITimeS: '1752324610',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2974\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_f_tk=UNDoz6ENBr40vK5Kx1K0_oeTp.OwyvA.AJZsRMiyCMg-1752324610-1.0.1.1-Vmfv2BRd.4wSB9ah1M1raFORrKlc5aOn7AmL0u6j23U",md: 'dVi08zZzWi.bkQp_rDkWggI3kob3pWdBIqoBq8CCZjs-1752324610-1.2.1.1-sMRBFd3MpW6J1QCEfIHRAH6PLgc6ZycTLXrc5af6XSbbkhkh155dDdHPVcZg7vx9iarR2YpsmxjtZFRJuHDwrCSMCAbaZcdTMCak0HjQ6vfxJDOBZh1sb5XrdoUsE1CByicTITScQFVhKgTdECxbm8yWokQOmnupkBhrALzuh15zWh3pDRjPqGjsWEeAn5duLhsWs84Maot4zi3K7bp9V.a.yAphxI3F8zlmHSBMzYQFVNSEB8_DUL0jM2takkQATaARpzfnwnEikit4dGuHcN_Cm5dvPWORhrVz6qevgVZHSICPZxxeiMf57Qfr111zFiWc89kCxmEWreDlrhzqrDwEpHa7MMdxaLz5yWgOptCjzEqrUX2zuLj7RASBQpoDz49HUQZbrhLhdiphhFhXlk5JGUOuQcyN6pZzmrH8Ybhq393txzSJuoL5vM6RcNVPW7gzf7eJj.LdR7qJ1Sc498Lw_Ea97cEw6icEvcD16iqeNB5qMef3otudxRCXpZ.b2quRHLieob8jbtVSEKzkIvgGpKmUVdVHKcOpoKP6tzzQ55XiclTqfW6v6kYwPMAhe9LOhoXhGnvt4enZbPfviSYNnWzy1HI_WmFFgC9XS7NysixOgr4QA3kYissRHiMb5_XdzQiT9WwrIdq8BYsF8e_KIaCDNBjobXCTeMGdrSikTjGyUfUuEBlFIYJ8rZXb3J81oVHiq47LvK9M0IfdTGdEOqOrSSoyZXpw0d83vqrxXBmiW4kJYFGevX60MKIDs0ZYunkjVKViw7.O_Xx7ItHDSXaGI4QkKNDPcQaVCVHJoED2I_4EPMIxI89eOyyg4n1lL9V26XgJEac.CQtBYUSXlzDciYPwNKtaJO7tOWWdKd11cFHSCG1OSWcDEqmO4td72euXMMP156K8vafRascOmnRWPyugjKk0RKf.oPyjYbEdfn5kqSrAWyCEsCJY3zgvvAJjyDSxKY158ge5GNxD1EUHsypIOoyIi2dsFxLPXo_.WH7tSidYTob5eJGi',mdrd: 'TYokT_JFv8hQozT7PmIhh4ByOGX6Aa0bIEMrP_BzqA8-1752324610-1.2.1.1-HRQ8sjKHPUJq7D1LySt64CFsYsgfdIr2W7Fo8lv0YVhIs8Q11tUAiTW6P0GSSnZRrlKntsaANoIrcU21UE4V8PSA8MkaO9n1iQGIQgLdek1WW6tIkxHT1YC_.Lmql4pq7zKpGBvKVoDBc30hRdGGYBwp.THR6FswnqFfgaFdYmYCtoo9tCYcGzpxgGVK8f9eB6YOa7S_HrPZ38kQIkPVJ0j0VyrxpbIfpYdfx5sSZJGhEp9UQAWxKPS3Z1jTyQL7VTAHQi5GCk4VDnd6joBMjSl6x_IYG6KxA46EGZOUtrS7dR6kBTHK7lOaR8NHXjz0nGSC25wdh5ivtdO9oXBh_XE3I5Tne8aaf5X5M5ajZHMxWTTx_PO1YixzpykRIlDc88PbmDiNCdJWuIWSY.1AK2AADij_0bb0oH0zFYLbtXRhbXoR.kIEwHRtYRSwgeqz6SP5awrfxV.rTzBna2kfPQKTuvZQTgm9d0MiUaH4.ezQ93j91y3laRZrz3wCaUsJthEszVjydSBQx8476Afib6JVkTNCgmyo7Lc1_4vuw9MJQ7bwNmS3jTdfWku_stBmjYB_fuxLWr.UNcTuOLTHCNJjlwBD6jbKyMTlw_BGE51uNF5vXvBgtGvDO2gXbEYxY.PK5jcIRQdJDCtS9r0G1wLudlFbZIXa1ANGKYI0NPg6OAYBwUXxbs4eFApyB5IpnO03oOtzE35oT01heIAIyyMTKyjSkzlaWW.bxn35lPDJFANzCEWqG.iU3xSYIwTxlfSk_N3bc01meccvdXfoSBrs1q3bK6UP0IuvDuSWfFtDOUZJ11kR91ORe5TOyqNaSp9q53uZxDd0LtRO6R2oum44WWKosJO4H8_Mk1eNx16fn9PrmO2RFB4B63wt.QiDjVhzuQ5fAWhhJ2P5Vu42QTtxLelbzC60uWylnXfYZfxOaFxgl1V7TjZRMqHrqWqUy1QJK2icwsUQqJR._P9lQEiKo1otj5fzxz6.i2.yP6XNuECSuiX4e_IiuCCuUI8AGzooPuVDDsQPEQDAdzOJXlQKPHrWjs5VraGZBxG3J2M8tNeAn26DDgIXTNaSw_WGU.4aqtDfLUEmDyHU2Ia29VwNE5C92TulHTT9Gg5NQ5o6NmLqsJCpqVVKushT_8r56yZFKttPNXvN4AsUnUH4HAll1l1TPIZyFBtvCFeKkl28K1kkEGomSPocpaJcLHFiKnMv2oPg5J8jsxPL0CB1mNL3mPREs7qDKpyoNONrtosqFywMXJqZYj9Uelle4o_eAoq1dq2Jj4boT7aVxZfKQvyjESzS_v2PvSnTZcSqU_5p_FQF0cPJHkWr0iytH_tofyxJHrAwSXZYJFD48ItRHNFNzVA1ni4VbHKTvpG2PL5pc0MHf8_7O4w1tJtww0.UzKhsdps7jDqjbEGgMIhKAUe8.IXoFiqNBz8x5281sca7r5FhCmPZxGP89GE2ka4x.R6HLnnBwj52R9.J6hqgGAixe_WHz5n8qFfePJwF2DhopwpX7xg3VgjRhK1c8vtX4WFt.uhL3oC9JanmcGDAeYp3lfckPAf_8fMr.NvczLGfriXTxaEmhl.JOKk7GIPWNzruXLi4r1OlwBXncEDDJGK45mqmAYQ0_YtwM2k7bFKT2J5Dud2JtvHO_7q89t4P4biDnm74AA1yyhTCQICaGiilzljJXkLO2Kt5ZBEcccjPuIDTJyBmKAiWreAsAXFWIBDNnnyNkF.IQesimt6JnkGqYDacK45SqKyZ3hAWziflVanWdc_xJEEVuqIosPTuJHfGEy3.a.50mPRNS18wpj21IG_u7avPMqizrqUn8YzOr.R1Vuk.EZV3Brxq2viHr64Glx1HestLzQhZYL7flke64eZzXG9W4oSq8mHMEpDHdtCgqhj8wrX43Tk9QjzOEkzDR94Y6DIU5nhu8CMVPuPFknnH6RaPk8UVgHrttpAvFIi6Q.1Z3k6_SvobQNjwaP.PYEtoA5S8VNyvICHNHZ_WOFnlsg2vHLnX3Q7HuNtV5SEVNboUnyIEy1b0N_vYiHui4hnNW7sCGQ0rA_Z_.vrmTe8Ij8dsMlyCXzqdFDexA.ucGtrW9tNtRJjrK7ZTiA6r_ZIUb6n1x7dQXAwG19fAiX3AFMw3JqKrOK0rp.RKQw1fjGMNS6u_SU_Ha9nXE_uG4UzxyHcXv5yxX7ZfPmTD7NOCva9HJJ1JVFqth7tQJwBEb5eSpG_F7A8l58Ho_2MWyE1JgTQU0hBwMA1Pgxyj5YNmkN7A6Bvyl_2C2PqQ1ZmfloQKzUQu4X46cY3aiZYpr8UZ8rXSgy.Abh8gkptM9yJeO6g7aoyD1HWq0PA9F5hQxV5WGnu5ZXkje2jcIdPdQndDQdkVqzGQej0fADBz.7bWQ_nc74wkfv..z8ebv1DefN4HkNCi7q_.cnvadKzKrbEENyaM0CuKPOLqIRQFxcrX3mn0OLh1bR8Z6JKzfdsNaHzWOPZixvYQ2Z_P.V1d5hZvgJ8fVWfmqs5a_0F5BzC5KolvvYEu04V9dWa89FtN6SNAedmZIrgu4acpsF9I5x84MaJYxTdTh7zxBOTKld0A.353aadMPrLr5iNo9.rKPjuqS1ptnmlEppFdiMuIoYlpm4JW5e9BTiR8mg',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0aa2c73aa711c';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\/2974\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_rt_tk=UNDoz6ENBr40vK5Kx1K0_oeTp.OwyvA.AJZsRMiyCMg-1752324610-1.0.1.1-Vmfv2BRd.4wSB9ah1M1raFORrKlc5aOn7AmL0u6j23U"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>