<!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: '95e0aa2631d1711c',cH: 'NJHAnx5aSpEaTwyrFWH1cynVJ_BhlnqEPVsMaAvq8Ww-1752324609-1.2.1.1-o3GSCuOdMy5SCwhnL89QfUuH6w3apfnTXQgQoaLUB.zUrgqMdwISiEgbnbRPEleH',cUPMDTk:"\/p\/xsb\/src\/2766\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_tk=PUvlczwTENvfmCfTS2yXSYvZZTlSGwVpxSoRee8oFNA-1752324609-1.0.1.1-ZV9tFp4UDY1VWcIL2vzxv1nO0d3PZXxEKJnCUg7MGRo",cFPWv: 'g',cITimeS: '1752324609',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2766\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_f_tk=PUvlczwTENvfmCfTS2yXSYvZZTlSGwVpxSoRee8oFNA-1752324609-1.0.1.1-ZV9tFp4UDY1VWcIL2vzxv1nO0d3PZXxEKJnCUg7MGRo",md: 'mz1ArDDtDyUa7bjPjWqg_VVawxk20bRtYSvHoVrrHbw-1752324609-1.2.1.1-oP3cDTR75IAFO0sW9se2Y9G0PwSbj3me1rKn5Rcp7qMnD8HSu1mOLRsFIT9NTpQCqZcEuUjaMwmBtViYa4b8gi85ZLaxO5KaCRttE_j_ep0qJu2eugQa6yvLIV3ZL0RwyPaCqwf0__ZeRu.nnVmFTo7bzMZ6Gom0Z0QuteRXwum_kQhbbCBdW3ec3Fs1ogeFMbD26F70.qRklKcsej14T486DmFJgiNXzDlRzlA54_LUX_6uq2h6qrVK3DZsocMIfMpE1.FSB90bR7oUagvjR3pQXNaBJ8wcn2upbV9wBQNDOeeSXj4ce9djJDja4nNsxe7p22gtePGjY1EgOidLrFpux8cHI.Ldel1UGxFsrp2QC2VjCwNO7RbKfZj_1KySJOiHIEm87GxYvUtxwLiQQDfdhfISuxGwFO1yBXlD_UKG7W._GoeOZ0BcUX_IPLziNv4nAcJa6kVR4mOwJSCgvGPmZCr.7pyns8KMh_Ulwi.UHNgVrcp.E_VL5625odNClReahWIlTd.pSYOvOOu5zzOQp25ROBLIabQPmJ7e3BRge1yL_1rHQ6e8V3eHAaQebmHHXyip3W5tK0CnrMNSR7U6JZ40wQn5qUuoqjUFegx0Q_WG40CHPuaflzKCGKBPtnWuJpvCgK.SQ_ZIJPs.qWoJubGhXfLQCGWBN6Xw6UQX.acwhmGmTU2UZZvJ2pIbyWXOc4kcFFZU2wFoz2R8ONEBdt3FE5Q_si9FFbmWU7zmxiEJF9X1B9rs0HSbUFleeqVgXo.g45SdtbVOWRKpDQTsXykYP.lF921t4zECug20eqQ9couFmn4inUAxsyUFN8NcMkryYFd4yZOomneePsXzmpdVaLNEB4pT6E.0ZjUa6Ke1FvdMe_Vt0xnv_nIwn7JAsuqywHMvkN_Jymx67VM_Y8AI3jWzAxyZkEflsfA5MYgXW1ssMgyulV_z2fsLlML5IAZfnGIqWuNdnfVcZC8gK5Fi7w3i_quUFGcBB0qhxduT45qKToYOzE3md.9L',mdrd: 'gEpDFNfvtAu6mZSRPmsY9NAr.9G4YE2rQ8gaOJH8wIc-1752324609-1.2.1.1-nHvb5FK6tUU0hWHNM0Xaqp530K2Dmsyh6p4_TmveigfGwwOkHGoikN5r73.w7cl6zP32HX0VgXM5_CnoG37th1osKG.OhTwRUhbOcKspVfTcUpn1wZEqw5uwLOkiOcf1bSZcfa1N_6vJ3wYXRcSFWzjU.5txYp_XiCNXePgb_SlZ7a1XYp4yPVncmoo20O2TaFAhkwbJI5Z2RMJwEhAHrXOcSZHtdHYSr6Sfp2P.XKNncehAtnkmCnAQa9kU9qTtfUQ79MHDG.ceT9HEjAj0p_tWgC5RLO4LC3N1FLHFiz2qGqzkyfZhIGnKFH9ZkCI7MORx8FPJnxsl8_gWX7DwkPHrFKAO9PXgdPU07ZEMhhu.SKYCIXdOIq4d.bum4U_iHIR8aRoa6YPwv0l30_2adc_F0GeIHWY4dU8B1aC2mTulV47iWIxhSHHpgjmtPNRcZnza1a4WB7MdNbKtFZMH3UlVhzSQvscsF6Ys9PfoMHiBeb08PyKGuz56JCmcE4OxDPR8idAVQqikc2F_lh5ix4PbsZl_FdbWi4nvnutniMYu6VC5eUlnI71Nm1TcoqHgVtox70TcodgJD.deBOyqZxugdzQozBQAtGDue3M2IN_9H3TL.w_19Wl1Aglx_7sZj6RIQS5FE0Cs3z0jBBwjisKaUjWJ8Yp2a2baSCFqrmyqNJVdm48co5rUX.yIvooY8W7vPfK33ym1z.Ehxsp9mEb3Byfgo7lt0MxrX3DPC6SVC9DAA75jjGNQJtUYSwKwKTwUpzJQm2n4QnR5zwdeoesbTsl9r454BC3axuVtYs3WlMXwhP28q01HdSdaGmjGbcHVmJWjAgVpczqj8o.ntPXuCtJgRtNWOSsPhd1Xf0_ZJYPs6y11UsTf4sEodhaZSXiF_MhKoHHFiVBzD_Zc8qxgyG7oV3rP_Sc8efOQH7jZmDnHEqpOm9agNatoUT.qMv9YTWPMtQB8Qx3juZSCRH57em5rsA0IH84yJlKWMhy9jM55OH6c3oErjkFveir79b1NB86G5e9IG2.n2cAXHLaVEtzdn142tAZ16WtuSU953DbgTx274XLpksKTIUN0MyRwGp.juO_8r3lT5Fu3AsJL.mxsLhWTgoMw36XJlXtgekpl8uKxy30gpQdEeFzQaIv0LbIty7cyGvJCQAeL.6vio6RpTBtv9v.lgcoPxJK6B3lNIJScTp5V_RqGzgsfOoIsAVklx9sIJXqHHoeXGIeJ5fXqHV1N2TbJgZeJs6gWRsquPZFDFYMm3gOoB4p_5WScYXrRLhe5U2NGs_crYBNkoOtuv.Q8hyQMMvdcyQxh9drblE8yKi_6HjM3DwR4ku2m4y231.qs.efgpo5LV2UOZ42ox_zjI94bfxBr2yh6zgrqBgNgWcO1hmdrKJowktSE5Y1F_srIVGvz9gOb_XA583fZrD2NxBm8F9V58QXMex4BOcLcHyBLBRzblCVCpDDIiAtifGRh6Hrf4AijoPsRIRTFaJqG7SRduIocsoLrWeZx5oAG0nUfIGQ3WdinJPS3.aTM7nGmSXfQf4nq0lcclmaH6lzO2QKcclkCRxWMFEZ3r5SRG5HkFzdF5YNzI26o09evlXsO8KUoMzltqKnLFeMkejA1s3BWkFLEBk7szB_qyoMFsHIrVafsoKnrnwConp5CCzwQhQmz8H_ZJH4kl5y4RLPBG6kEDBgLvlKLkP_l71yGQqycU0_F241ZqybXn0I0OmXuo31Om0BcXbQDX_UwD7HWpCOJN6HkyEJJ8Dg7WMZU5gi9SaJbLQqv0JRa4520uWOiS_NGDtcAvcuks9GzEAR1IV37LLrPjfSobvwVY27hH99QYt1fNKgXyG36Z5ljagFp2K_xV4_bI6CK7ApiwyAj4ta.OoIzTHTMcgXc0SzDLHih22Xk8Nmivlt9PtfJL9sj6CxJkbK992l_totRX2wXG0fKd4X13HbJVITTMdD8mgsEkibqzoZBCYKBSlwP_D41uPID4UTcn26_i57EKc51bzL7L2xCXRWwu19Oc1x_yKBvSPMcR.l77h3eN8.CMcbh5QeTssIep3.jUXsJfN5nXeMh4_LYLZQpzzw0.11CQwBauuwJSG3az9mlL1yhNsKUCIij3zfT33mjtfrgcfSmrwaXuVORQXRT2hyrPoccZYbayfztD_ja.ANDTMUC3j8lOdgLztv2xOvLKDq3MKcnnvydjVIaWbkAfG9yhSWOMJgGNqp_NiSTkLXuhix9V0QzSOPm8xM8_grJgs2Zl51.RfV8OVHjuzp4aJr8FP7NngmV9JygXZFuW453qm5jGfKtEh4hVxrKVJjg5g8._mXpRwdNoWvMLNt2EyRLUV92NwTtLiDy9gS_Bn9rAuUrhc_mV.IZrltRlyMT.DUCJse.s5AafxMbhbbhqD6yXSxyy_WNfNsRxO6vdp39kIYdcTjo.qi1ctvXixGCjU5SCyRkIaD1YgFiYTS5P3dQAEswnRQW4mIO0A65m6YJ6J7rkvu8oKB.ZV0N1FdiTs_znrwZcErzP9vcLqnCRTrjcUIKJwg32h119yDNdPR2n6ITxKcR8sGdWq9mNueyRI1y.MJ_nx97YuNAvH2RFKkZ7dyogczpoGz9ox2VC53kGVLC_S0tV9zvzymFHQ',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0aa2631d1711c';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\/2766\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_rt_tk=PUvlczwTENvfmCfTS2yXSYvZZTlSGwVpxSoRee8oFNA-1752324609-1.0.1.1-ZV9tFp4UDY1VWcIL2vzxv1nO0d3PZXxEKJnCUg7MGRo"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>