<!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: '95e0a7950174f83f',cH: 'ynxVuSnTTVkJT11biXQ3tKH6KrJFdULzYqUtRJ6qxWg-1752324503-1.2.1.1-CjckpWAXh8UGuDwF2k0z77IJH4i1MEaf_BpHzFQTIXPZb8Xa6Qe04durYKxx3v0n',cUPMDTk:"\/p\/xsb\/src\/2570\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_tk=B_4DOednNUcZrY.OMhJixdm0DXyA7JodW4XalFcnIGU-1752324503-1.0.1.1-cyLOoXVoCaFqP2uBwBotxzzCo3ea3ZVaMSgWBDAq_uQ",cFPWv: 'g',cITimeS: '1752324503',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2570\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_f_tk=B_4DOednNUcZrY.OMhJixdm0DXyA7JodW4XalFcnIGU-1752324503-1.0.1.1-cyLOoXVoCaFqP2uBwBotxzzCo3ea3ZVaMSgWBDAq_uQ",md: 'QONTmLgeIJAmjpmmbQZy.ZrwtmluXdph8AnX1s22K3E-1752324503-1.2.1.1-bLdvbQa4uFyWl.Ef9QFSxcQQGqq9FJP6dZoli4Eh.8WcVATDOnZAglhESRniVqmBUHxFWZxBOQv0aqODw6f2uMQb7z2UysLtQOPTnEPOaCCnWR9TOXYI3GS1bFHdxQrASKuJRTpjy.P7Fuq1JszdtPmlCScaIvoqMBZlZdINYULKSSTrTwKawGNHtVIdlMcLHfZOvHgCz0DuoNsdKSLVFiERG1Px32SK_g_cJA4PqYKvcz1W7qC8Yrh197dk1ZhQRty0zZgDQE.Jn0cimN2G43f5XORsLqCIBfioNDqO_Vn.ibFZVqxfeHfwqDJbVAB5X_Rztfb_pjFBJoKZgBVhpBaR3Q0SbmbGiCPRyb9rwjW7Msy321ty1vFDQlANzAZTDl1cV8vgzA3MPD0061Q6Dnffy4bb.LoDwraCDkRF39SLuGoMsmR9K3SjHt3_.1VVDE8HVIH9yEOtuzk5Xqx5IMUQs2OQ8lVbqNdOEIL39za6HqGTA7Z4LXwzvO2soBnJLC25Tvg2syhVUGMIyzUKNjfnDMsX9Vznh8RIASy4R7vSFCpjBzp0ZqHGTd8Ud_nBUw6Mn7Qv3ma0BS7yk6u8QJMDjwTMVKwn6yr32ySBxx03kPTak9ivX1BPSavn7lfK4Y11tYqNd9EUqL.igQ18mIfZFr9spV50eSLZ1qCiaAjPfunKAuvqAd9j2DxdStZ_WKkksRiKTNzL0AU0hE8Tn063QFeyBPYm47fwLpH8UyV9GhkhDtyxe8wBWtocMZdw1.0EPzyqMg0iR5avE5TGRLL117PYwD_0RqDUOL0yoonkPGhfMw6G5pMMVJsDMl9vLikJp9swuT_tIZ.84jISWeMaFaF2T.wKlOqyENwMnP3tgGWdUWRQz_RzsSDUgTMLq0AVj9mK3HfOhDKGh6Qea7tgDGLy54FXFAc9koARXM6xDGLQx4GJx0Sb9ateqTvUIP1x5lI2W2hweiAHhX1veFMgKykhDeZjZHs0e2f8DNeoGqyiJAEac3Fexz2kPN.b',mdrd: 's0_y1UMrpV5e54z2w22TabsFZWpHmfeAb1bc3CaDsz8-1752324503-1.2.1.1-C8ImV91Q50D_C.V1N2k3yDJcLJGsoOnANhLZHC45csAq81jn2qpjnfRR4OKOwBEUMb2vbDW3qJFM5pe8gFpuZXPgyeMNiobnXBH90nyt0jqwytluTvizcBi.eJKVLI3ANjfZ4mFl6jkGkUiWidDN1CIObaryF4i4c6fP8cdyy5sOfeNgYk77CbPrhRLh_0x7KZU9mlfdI_HBpQjVQAn6uSMW83leXvXrrucT5YfF46aetH0.o63vMSEBYF2KHGV4LQ1qy1jAZR3uh8rVjeG2cnp.VzIAkMOc2Vkixu45.kQzTza7DEYtUXNGVymDFGY86wma8UHKUnJ1IKlWYygmtFEQHa1gxxN56Qs.LdFcUMhD9T1A02aPV7A6MryZjEImae368cc2GngH2yUynxCPFNt4PmxywNwhbnZhsLrbVc2Y_C0d0F8oQrrg6IsdxFRsgJOLQsL8l2IQVs.qXApts9YxKJ7YvvkJB2DeXmr0mtvfb5lS0ugL9a.6LqmEb27RfVYGtEFGi9JxUHXsbf0STOXLXhnYUqW5JR9uO5E3QK5Yt5CSVzfkILJMiKDzeRBiinpRfvp_Re2x3xAkEOvGRYHjN8EOwzJHSX2KZ2eDA9mcOXrnRjXHCgMK1rAMZKVAKKNGOy9Q0lWDSuzc1filnC4b6NP_xoibtoDE5RSN6H457tHggFygbl8rT83g72HSEDH3Uq3coePe1c75K3.LdRdwqM93HVimL0pF_GjwwB2qo7.QZv_b9x0TIooz__LamY6x3odL.YaBn5Es2L90rDRKqYC.qDPWwRYzZFl1KZcnNdI9ROTYl.4EPsNUb3ZCQgVmgfNZf3rz0U36.pU1Ekorao_WzljKEZ91oSYWAWVGHPnnjCIunxsbQTXmgPTqkPy1GRu3a6svI.P0B8JxsXWbRil59M.S60MNLzyjEHcQpoUpHk6r20w.wORfP4q1fyf_JBhYr.jxCqXtiUOj4glVtjZCO0Zo5HcdJhVAvoqUr678j2Pa3MyheSxEXSxxFrUr9DsQoHgm4frXuIA_4sKjkKDgHop4_A3J8TYvI.InQ3TwbWW9ZQwYhIschzMO3lPEz.kpVQyOglXzYVw7qKq71laX7P78YrjXPVh5R7Q5fCDGra1dvbDYaCNzifns_ZeFnz3RFInPdtkYWZLqP4I.2DD.pEh5c1b_xzRfisdx0aHzIpdm4jKDgIA076fcJC_LqAkdzphuA6sH6fT4c0wNuisdGUj77CiYlW05UHlPuCkR5d2RR7fmPG0VzwlA0XwjiaDwkWBfTeicJOB4JJBgvKSzS77YXVdDREXiFX8JhUtQPcXZN.v13YiZvJigPWTx2PF_2DrejYIradFu.NZKI21LiclFJinkSRnXez7ukNCLQeXg0mpZr2IFqwSlx6P6IfJ628G493eVGHgTDDrrjm2L5gksFaaXfVpN2FW.FNrIw4XcuiUrTieymmXKwY0qFreLjkbbxWNme4iDoGKjXzAR1y3yWcu32X_vz8YOtUEvpkAA9rfzZSD0mTpudy.PPu.EfOE2sRM0DPdv80twfH7fiF8UOwsHNYF49mFIhOTAmovQwGkaV9wd1Lf58C7fBgpDc4rSIMEY9u4E9..gHtIpJJc6tlx8zFc8tZKWMSjIzxttSkGisBJj2do9GRr7__.F185lTpZRG.vIQZzml3nTG5WF1ORyZKgPR1K9wi6vjwNwKYmFRVwENzOFfqFgZMnZuxTLY2SKDX4PkackMWLyYFeYV71d1ChtWayGbQxBGtobDzBi3FiyA94kvgAa9JXP2hM_blri5MTpgRkmohcvz.lpgbhu_gTq840hDomdM4T__4vjNexk92SGuuV_YfURxOp3_eUuUGKfiOm2pEZPF7_aZT16snCusCjCEMYcQtR8_Y55K8hCZ8SvOklTtgHgXe3rNwyctdsfp1o3ohrMbnDGiWvjm5Hn06F2M3qxI.8HorOfMVk9YGantWIMNkkUhtzvbvBCqR9WHI15BZgLewik.qZvt0skY0HDuXbKCc4DaUeSz8M29oHrYSme7gaYQGyTTXe6o4L9reTPkbEepNC.TdtPuNcm06grCOOyg_eGkk2vz_WehiT_wj0dvemcNjNVySUxr02VhJy9CX6rw7M4lb8m5eaH3Xc6.KWi1ghdkNgtAXdNtmdIMpNGmFF.9MyLJXbMRT5TXQADKsZvwcoIijxD25oyqprVQCnLGd1nYYnX3En8HuI.pHVSpZe7lmLerWIAwmF3SvRtW9QD_NREJm0FC5eL2lB1IiXvDKVKIFYEMNQmplxi4hJ2EJCT_qU3UBcO5UDkWzoj12_Q3XWvzwEtE664mkOtr_GnhfXzkMIU9JVpc6X1_9IAU9qsZLLLpnDHgDUisiIWV7t9yD_WZfy9YK8HhxLydG2Xon3pPdYbLpfk0bNBq8_X2iqX6j_I1Bd7e7UhdzDrFpcwbw2CeB_9ewTt8GAAF2oqwSzNAdoSeB_pjwKtAnmKMklo5sAmEbeTeql0BkmK1cSoK2q5yHyn_XA3wwhaNWJqS1x8p7sqTeqHVlRivlSafVbSnQfpF_Jf.ZQ9Y1c2_UObdCCxUBdoofwZOqEBDzyKYYpGQeAgK6IZucb.iVpKcAp2anW.MheVSBUfJA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0a7950174f83f';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\/2570\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_rt_tk=B_4DOednNUcZrY.OMhJixdm0DXyA7JodW4XalFcnIGU-1752324503-1.0.1.1-cyLOoXVoCaFqP2uBwBotxzzCo3ea3ZVaMSgWBDAq_uQ"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>