<!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: '95e144193062f84d',cH: 'wSuMYq6IlOz6Nn5HvhTg5pjQAIW7BPPr9aPToSmjohY-1752330914-1.2.1.1-7mV9oDN4FmARF55MktRE6GeCl3yrQaV3BLX6er8odT0A.OhlFGlyrWjCq63VAyDA',cUPMDTk:"\/p\/xsb\/src\/3468\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_tk=XMbUFl.iybdhceeRT8gVBLV1zKj9o18.INLTsR171xc-1752330914-1.0.1.1-Z9weZOj4x2ASFX3W7uyEIq_0Xyy9ieSS9DSyvHMj888",cFPWv: 'g',cITimeS: '1752330914',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/3468\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_f_tk=XMbUFl.iybdhceeRT8gVBLV1zKj9o18.INLTsR171xc-1752330914-1.0.1.1-Z9weZOj4x2ASFX3W7uyEIq_0Xyy9ieSS9DSyvHMj888",md: 'nKiU4jnGRoqbiG_A0JC2jmYIEBe_rpxyTeDTnAAEw7s-1752330914-1.2.1.1-Od1L4R27Q68FyrIs.zeGMb7fLLXf5WMwTj1B0lsmvswr_PeV39nT3LzDiYHSTOBSIR4VyXTCMZhdGVwT.gWQPvjJDlTumUSf_aR9YB_OnRRYkxQzCHbjjWuFphLOby89.Rk0ljcYGE6OIgRjdHc5395i3Qrs0jPdaME5KkhfbtrVF8B_pn5ikTyqXVlTwyRdDe_kNbU9a6emB9kvPgBLlUS8lVlRnIpUf_8xsrf45BQ1vVDRsxtRIjnhekhYbQO2hyj0Eg6fjOnHwK1Pe9iIXT9ERwRFWA.orqr76jlOQzebI0hyc28mKYqGk9kE8JaC9Ji8WG93JnDrTiuW1nqtQH06IpveTqwjZVhpu6FbkGsr3egAjfKIvXhRIzqCR9uLfL9fz7w059HURqD24AOWLHSv9bLMX1UP.1mzckZwJsbH2PRYLA8f7BLyFwzxPjmYePLkhCbkUdtni3v29XGETgESv9Uu_gQQ1b596s0xokxADbRdjYTjmaDv90pj7nvKRt8G0cINfuKW_mDZ6ZuvPDkZUaXzR4TkqyOShGPMmDBB7T1ba156fcVnJ2k149G9CDMjYT0_Q17Yod0a7ol3I8uGvoo4LCwYtNOaGpIBQQ91K3oDC6o47shsGBapnh_ArMxXwjVYxwJnUH6rwN84qaxL0hIhDB2bHjFOJPFSfbvl81I.35UXPCpXYZPErGg7pE3ZyA5RMb4ryFbqqw4.KQTdxRLy1oUL4N6B8xbqCZEfiy2V3m85_7607iFsX0ecF7jw98qOljQqyCgGrgzWmmr1iYPYyfMqVQz03CunhWv6BS7Zvv4M1gLtcHPshkq4ribr2gJbr4d4E.5w0cNR.y6uYVseHQSUZ6__Q4Eaa0A203zSNu80Qlnsk8vhKdsmAICQoenWdUkD6N7E9ZRrIu.kFhv.B4S3AlLDZgaB7sJNhrF2nYGq3LJ5sISOxv7DylexNG5dDo5mzVUNvY3X7uUBDmFX6wApQszNjgR.I9QgV5O_yDO0PiVQ01OKODc4',mdrd: 'E_bAY4yN0aZiXccOOlG.F2FaHdWBcAIJfyGvWgSFbHU-1752330914-1.2.1.1-NZsdzCzuC_yCCj9.8HHU0SvDjHSZAOfev3pvdirwv_nDfQE56OIMUdVl4edfjzZKJIXOQy_yYGLvXPw3BzHDI9diZA2lOyK5hf37Lhkf72rrGIRt77lLy8ukK08R9r6pjm5jbYqaoit6DBa4r6UR7ijWmXbBTs5IUuoD0nFzeS.7JsMvcqW0kGhog8V9NmOPMx2SBICxT4zY11iZmfkboCuGS7fskTJriL8sB_mv0vbmX..NLyXqv725xuaW12IW1y5rrZzAGRyfydYVN.14O5UmbWV7_mK4.Pu96pl3E2aZzPRbRTmS18eKzm4QkFjwqj3DDnEkKWqtX_n0PyNvbS8ko3g2XY5njFjZUNxoIqLe0kx.V3hCNeBFHUnofiAyhYi0IyPW4Wko40uq5YsjVujiW3TCjDnP6Lj2GCeDa7K08QDusyJBnQ16ZxgUrUgABPFajZddEOzjuaKGJhuH8nEwxAGJlPyHFjZ7.5fiPP6SiJoKBfg2U_xhXisPbvHZcywQbXIq5BuGRyoWUB1rHCZ0zczNvhOJqFoxVYh1ercR.8Yu0ZSqstniXo0SDmKNUsJ6T53C6ZfsKr8MmB2jSLaoNr3MkZogZaIttn4gaA5BRCUIRRLTSN3nQnPbI5jsLOP6dFve8XFD9Q4VGbW4iqCzcaiP0gZMHaLD.XXuvamZchQLyR5cK4adMejQpT2X4dXQM5HPCg4zUjeXu9bF5qT3A9GpkGwFwlTcEJSgVY9Fi7IAIBFFoCHT54Iax06JofacJCt1q.By5eJZXIRLttOmj8ckwfV4.19twYMcSaS3jIdshg0OcMyePv.Q3c12caBY9qGHV0Xi_K8vQDIu9DLoVg4khyYUG0AGSyOugcElaRKw2OUvUUv9Gg4fG37sC9VDK5uUe34KSp91T1tzqK.65CCOsaOacG5Bn_IKRLUNVKYR4VwJqgIt7nAPoNzTwKzyPSSgGM_yaX7IgtCDSSGGySQUJxs9xj81OsiHKGHovh4BaRE.3MTsqLy_0qQ0402vPw2UjjI0G.MdmNAyUY4Y8OEmlbcWa1YU1_lSKoECjf7HLf3R1.U9qAVgYTOQ0H5hthQfg7ycv6wB3iTTCcbg5_OuZ4cHDtlKyIC0SYG.edlyWh8sk3PppeO5msSvG6s5kGzuvaeZIcuk2KtHnceS4jRZSaYQEFKOiKTuGDznG5Cx1VKyqt1M0SIP8bJFrC_KgjQPBQspfes.beYg9zSQ4hbBwkp9rd8yEgjPQuc2_m9yLZVY4yrukZkpEx5vmz3ihSfQ2WSrSO8ilv0shC_.97JgRuRzmMlfOprkx6kZRYUQNtn.909uaoH9jhfX5XruI_nr0a9a4qniO9k_jshLEWf6rzFCiA5vQp03ZXYUVMrgEGVysKzys.y0Z0WIToSrMXwDK3OHHr1ZuR9Q_r5bIYzZN5Ig8njq1YgV_NK0ZoLFwdinhOn40xeqvn.moMIbkpahohZGGlohh0wjFgeHzlvQst78TgmxZ0bucoKmj8W9WH4jVuevmV9.kCbCkHW0XlV8teQr3GXbcvw_v1FxGBM_IOPPOvJVAEa_yFjBM62s0iMBbqVzMKQJGqmEGO7X.1lAbLkSIPGnfBYZQ3AsEJf._cr07TYbYTTCAaTaGkvd4InU.NFt8jV4y_jmNy3tSFkMQU_kY3AWoTQm2gqmOzgMCOV_jki4BHo7T53CCDaYg44dWEKfYRQ7nONOK_IMrxkDg4frfGT_RfLavIz7VE61L5UoNp6xmk0UkgtJFBvjIBuUxxeeucSeP6z02F7VRXzUmF5oPvCKwgKSLGrqXatxX9hepDxULhzMPzI4F6FMDhnr1fI.8GFFR8PGKLg7z29E0qK_WJ4nDMLI_QnG._A5p298Wj3Iz2CGx4AkB3Nv4T8pfqTEsF8hi.waqpVo22SN_knB0xbQpIsSQQUoWyvqOdz6OUysLJgjLUjL.xQQbXQt2CjelKOLK0UQ_osm1aIt83FjWFE73ArMGNjwW.klXor6rhxmETTGt_4EZpysBdCwbB5aZ_fOUTQjQSeuOe_u44WacvmxBFVLHBjbg52JLqu2C3FGzajKLZkdcPdeJMvzrKxu2eJirt2H33t6jWIQuxkFXFYuFTOc0W9blIOt835m1.taivNNT4EK7RcKgq8J6.GeV.I0DjMCGavKhMn.6EwyxAIPUY3zpaf02y_i3tdAz0bx2oWU_46NLa4MrjURQe36TMP.bvNCimiM_nsMDcDssCyMAUyR9hAPxOR8mIIXzYeMgodIXcoO1xahtuejbWLJDhVYWw17aIrHVbN6e8Noi886UAQDYu.712NL6Br0.pyplUQhBRjI3RT9Jt9owZ_aOf2SkZaB6NDZfA_b2Agt.EWxfqVO1fGsjV.HUzGiVfZhlRxjkwvBS.e6tpoLYmO64gatJm7a2aYiqgYD4kcRM3Iuz4uy3rUerc8zddC.4G77FAmoejjo_wAeOIoR66rCzQgzHIdTviXJQ2cEWjKQFhhNhcDzvNl72gNnnJMF.9fsden7lEgRr9Tjh9A2BaijKrZES0molplsYwY10PZlBasXpuTDtNNy6vYRHrrga.LUWyhqTC5EbPPYj3TWM5vEGKtD7o_x',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e144193062f84d';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\/3468\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_rt_tk=XMbUFl.iybdhceeRT8gVBLV1zKj9o18.INLTsR171xc-1752330914-1.0.1.1-Z9weZOj4x2ASFX3W7uyEIq_0Xyy9ieSS9DSyvHMj888"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>