<!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: '95e9d373043089f1',cH: 'iE4_Quu7pxTO8Iy8bSDvkj15.sjVISmhogZpHipp8dM-1752420672-1.2.1.1-J0aIaqzBG3_F6ggw3KyvDdi6GeDUaNB_VA5.h9GX8Ah8QMnf0j1n3Vatd8mu2SyH',cUPMDTk:"\/p\/xsb\/src\/2460\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_tk=r1uZCo0n3dvKjBEYB9abSWt7LcBOb0qkGAneVkW3iHI-1752420672-1.0.1.1-62UVxwVtJ.AzSXfNIQIMZh9YyU7DjwXqXWTr.cmt4Y8",cFPWv: 'g',cITimeS: '1752420672',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2460\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_f_tk=r1uZCo0n3dvKjBEYB9abSWt7LcBOb0qkGAneVkW3iHI-1752420672-1.0.1.1-62UVxwVtJ.AzSXfNIQIMZh9YyU7DjwXqXWTr.cmt4Y8",md: 'BXMuYXSQlRLhCTJX0gBj9uJixaZe65UHXoc.b.PK6Ls-1752420672-1.2.1.1-ov7l2mmjTaBvhk9s6TM7I_uGVQWQuhexGvAh1sXOGRHJuzD9FbBe98MS8SvQWurcCtvnJx83P2JC.WijtzI_rtjoINhPRNGhoT8aQ93KQWEHnt0iAdjOxvIiE9wQo4EFKfGu5aIWEFwHD1A4mViA2.9JFNM.1e9wq9KxU5ddVVw.JOChMjkFZq_ZZ8sCX9LHsB3Gh0cHX_irkR3vTHQvP4FjxJUY93fm6pRKmB9qZk2jmgGwQpYQuCfjOfYj685znrihsjK4YP5LhwfFQAcFYFykPYFJakt8Y.ufJh5p0QCX3eIyDcx8FPMGOC3UroZrzcTqys2XkuapKMyQaVe_7wd04gGh.GhOe1dEmGbCHyb31.bmq701s2u51TAWexdEvPCuISjf8ZoMo_cFBI38djJKkR5agQLU90EcA3Bk.2.TkoWRNGCT4e1CXN1mRcBOZg2m.KVBvm_1Hjz43mgNVgXDZZ5GGnQ7jVvHWTudJvnrnG6em3OCoxk0Ht0bMwHpLaGAgCbiJFoffOkpYM.rRkent6_71g5xbpxq0Ox_cD2BTH8INg9vsLnlDHp3s0NOaA_RAikWZb0L7JyQCaAg_uNxIZ.9ZQhvdJSrAPIyh_HS1THsWhDVvEwANj0Mb8d_9PhtcgsgubwFOLKZ8S9gZiLhhXPA3CaL2nHfaBhhXYB88fYjjALaCRiyTfZ4lkxBrRRFYxP_bApaPvpUPN5o1LPsKBLshW38Za6Oc3fPgNiRxL0AjpJ8smgK8opAXA1S_0wwvaYDmGIZjkoagrIUwfsFAbs2Npd56Vq_y7CPJsqwHkWxgKTaAAiNVp1mcbVSn95WLy_S33Fo17y6LU4Y.C4kn8iZYZnqsygaUmTbJYhzjmlE.Xl6QE6ZzPcqZqN1RRjNi15cjtcAICqmG8XAECBJowAT_UMlCvbrVDUbDLC3sxn6p35x_AWIHQh2NPsOvBIeaBlw9iNH96o7liz9VHujKQFDFZ5YGZyvI6IdnUS0YRTaSEAO1noOx8_VmXpH',mdrd: 'NGdz9hXM2ulWROy8ySPXtI9.BofrLdOnQXHEun0OcZM-1752420672-1.2.1.1-GDn1GU85NstodE3pJF_IUC2SQlysrMmaj124DogsUtIhu0xHtm7M9GgUmi0usjlOBih2fngWMPf7ijsf.Mz5P.F.nXRWuiML8m9M__3FXBG831nlhBOGxQ4cAsRoY0_Ld3dInVVhTHKU6P1ihiftQS0nNIzl.iRsp37P3WPMvrC8__wP1GOyPO5pKmQ5tKv1lvhDV85FoNqUNmlU7N36aCtraRv_w7IoEpg7R7awVJLWpaFjVD8LUjpj56rTWoocazbcO0KObXc7RDd5uvGXWrv1qpLJaNMTnu0nX10.OMB1Vsrq1RG3Mx8NSUaCis2h_UXjTvDFTNP5.XID2yV1NvAkrJ9Ye_NlKVtmOn0D14FVSh0EsiLM6XsrTBXxAA1O9SbG17b6vVjXLC1_jP5GiYYGQ.9JhiKOqb2gEsuUaNqbCNTYQwx10vqFI2ELYdCUBlyuj0cn80.VoWzAQgItO4d65Y_PZs4yjoj4dfoq2zINiTuMl.GsCfGVNJlJ6y6Mp2v4WZ7msrdnsElLvRlJVfu19jiVSCHkqrGFQrArUHgeHNmgNRoLgkN_3L9Sl.Q43hpkSFjEZjSk.tH7mWlSHeqEmC4Sorti_AH_l2UQl9C0wbv01AehsxepnlT0kOkYg1OZ_q.JT5fiKpl1sel37GprlYeLlUCvTIoSCGHSxirabgXll4gBaPxyBh4pgVb7oYemV_PolR57OoF9qOKHB3vxCUc2yQE1Q7KEjMzJGqLJioNLdhIw7jWM6jBf_i28eP3cxbLHmmRqsnzqYXCcC2u7yIEE6sIbidF74WqxWsfABSQuB5fige.9V_RN2czg6jGxGWn6H5XyGpmNtyRvb2dxFUo7qjDpLZlWbFzCDZAT9o.mgHzdkH2hxXZYi3jzLNTDBRm0Gy5zH5MS4ERKGNWuwquUJZjaIiWMfm4o._B5rk1z3HNQuv5FhE_nO13Z8LIEfeE3RwjRVTnik4i3VL_VcfX1XhkMVcFhotpUbefJO7tsyMxa568O8B5dW3dsiLOONdpPtRuM9jvv5GaXu2xq6MW1AQVyIjh5QGv5TRNIytvUo_xAw9lzjZhB.vxZSv0rlSElGTvv4oIN1Nz7htHm27vNIjevrcNEqtxgdUW94Wroa3wUy5qFByI3zHn9vLzWeZeJrZIgKsonqXrZ2YCBJRex.VvBmSo0pOEe69lJReWHNpviVD6xptnozdSZs5rax61UoHfhG6UcMnmcK_.3M3fvs9_RAELGe3lCFFVT.DjHd68YRrq59sNIeTqL6gvhVfsD7HEXrxWVzzoEtgLopllTWZRG4e2fZwAg4hVJVzIbxZ5hejZNw7zaw22Un9aDM04bh5LX6j3WPqfUlHO5DMs8rz5TKy0CZK8abRlwcqyonCAhwsmA6kD5ihOzarUUoqdi8YKEVk9_M5mdMa8Xxpzry6CYqSEd8uFJm1vWZwvAHYYAr4Q1EDX4Te.OBWEjr94wjg.q6oWWzLa6h5HqYWlvSESOdcp14OSds1j9o_2tlJOH4ALilUwVu0b9hljTsYQpOcIEeNHdM6YK.eSlEWoBfczCkDum3bMQYydKKgJwwzYfyzB5Q8QqKvaVdLsQ07JmNXZvSOwqy3UckRGk1x8zJNWDIfpb_CnJY9_r1.v1EMbIPAT0JMWxzpBnhaUz1hmr7F_nUEzASp0n0fNTsQ7YaujPIdi8cU.SZmtPYtm6x.l5XfTsUjDpOAWGrYD9BZWpuUPkG4CjqCmksmtud1akE91xHjIOOHjnuW3SX.KEbwZEQeU7VCy_Zx.5MJgfAKmICC.vKHWHWBQuqhGYGg0Nrrf2lRpqJuso.KCjMj81oml81WTFXEC_BZ5yVe3A3ZXVkKyMQBO7T3zXOHIjaiCavz9RMcOYTTNzFM5z9R3pr3PclBi6VX2pxyK.rsXTwA_ugLoB9pKiZgbJc62OsWSMPVV5g9v6ygK0cz.wPMzsn0o6IuNYLrtnzdsYWy3tq5kx0lmn1dwJhEEXkDDNw9XLu2BcQjeU08VGTXrgpYlg.OkiPjKjIhK0kNWSM90GQP2pGzpAyi7SntDzJ7Mx_.yTpj6eO1uSgNq1uHhTCZmw_h9tDhjQdqUDj5.HWopuqXKIchygByGtroq4x9FinHuTe_hq58HWG1avmx5NBFn3MApwNBzj_Xk_Eq7r81GQPOupYL709lXq2mBIdWdR2KY1EbV4W1mNBZ4cS6cCWf_LPxAYJCExQ_Ut.eJf6KNnbGZCcPC94DDAUXkq7RhdEVyieMRwtVW7gO9RybPXzgoscRreKSZYFynbias.o14BNFcq9u0D9GfOgJp31ePJNXehBemZITbantkRqo4HKfHL2nvZY5aNGc53tMHfPQn7IYb3V1AK.cL1JX_N8.nvRvGSmqr6ol6h0tFwNVHMlX5p9sXk1htMf2HgSsYXlU.Wp5wRHqp6N2GNBv2RfZqcUUhn1hJu_QsNSGzz_gdfjTDk7zistXn5yIltwo2edqAIRc_o8gGXM4TwhhPa050P_RS7qtigEf1jrJRD60mqBKmlnx2nGZ5HnUzMvdfanW2DLk2pry5TX0KA2Gnt1YNOxDk_3Q5sJOx8eUGNOXV_lmpnsGLje7sRME57tx7FTPB0TG_dwHbPbODircCpWA',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e9d373043089f1';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\/2460\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_rt_tk=r1uZCo0n3dvKjBEYB9abSWt7LcBOb0qkGAneVkW3iHI-1752420672-1.0.1.1-62UVxwVtJ.AzSXfNIQIMZh9YyU7DjwXqXWTr.cmt4Y8"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>