<!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: '95e0a75f0727f83f',cH: 'f03jzrJyLhg3nF5K4OIMsX6Sm5QMPGVBwR5cFUCneM4-1752324495-1.2.1.1-GILLxC5DNK5SKF65WUOypnSeh0rDHwYMnzFa_GzlBw1rLUrm4LY6H3pT05nXioFf',cUPMDTk:"\/p\/xsb\/src\/2643\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_tk=ufo97dA3zoOTS3igM2dX96SDvJHKZj8djqE0.0VCHis-1752324495-1.0.1.1-vXpmfxMPcCkJAOkwodmjKcvKTVlFC_o9GSwpJCHwryc",cFPWv: 'g',cITimeS: '1752324495',cTplC:0,cTplV:5,cTplB: 'cf',fa:"\/p\/xsb\/src\/2643\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_f_tk=ufo97dA3zoOTS3igM2dX96SDvJHKZj8djqE0.0VCHis-1752324495-1.0.1.1-vXpmfxMPcCkJAOkwodmjKcvKTVlFC_o9GSwpJCHwryc",md: 'jQOOt6dTlQy94KAYODGOmILiMhGEu09ooYh1naQ4.80-1752324495-1.2.1.1-yaKLwncBC7jpkSWvyYvOKwREi9m7085kwQJQ9vhiac5uotdNnprz8XBnFVVNqX2PTbwgkCAeWWPGvIZ8JYkGH29wKrLxMChCcUT0PLQam2ed4MPAnDlo1k5mXtOQLoHZFwfR18MFAC7G_D2_noJPTKndLri_FjNp9WEzgnotyN3DH_vrpGmZKwMkpYCZ7KmwjpDCr7Hv9gNc.Sd_eyVSzRXB84xoWsyIpNLfGlTnZKLO8SWzLjjWWz8iD6tcfppl_DUSFsgt3vnNdk9zRtyfICvtbDtxMWeHqn2uH0aq4.hlupKhNIetf2ZAVgpTFuF_mYYj7dyeK4jzqhqqk30WgH5SEaeUjz0J1dut4925XCYzAMqvq6F0fHHyY4LHtk.NuMkK1hcONUer70qQqR4P2C56d6q_eYsTC6gDDcqW8.su2UfwvXEMrzesvOhcnfoPnoxfXjAaXOQEGGCJhgv8YX6TKo4HQjb.rDCql7HJG51hw8DaO9bFZfR.8pdmhcSfXyCXufUBo0mv8l5_2IrKEwvFDFlLFUHEVeYON8bTMZ8XqtgOX_Lepe8oJGxCnWb2rNVbOHvDdaEFv15Q0NgGb2mLiI9SrUPiYRyEeQG6c6AX7eiwmV5gVTVyCC4vYKpcVMixdBUz86l7qTAzqbo1xiXGTzLELgQZg9CT1ylEiLLlSZG7fsQXLHo9wT3SP0SdMNSDjptf93mQHuh0lbE6rIsmnHRDkLgI1h5hyJej_R3AT89SFbweYhL2d0p7ez0GZTK87a9sweJpwWRQ1f4bPBfkydw2_zoEZUeqNkW.Tbzz1Kv4ueS7fDTvW8VM2xoITCT7kifXW_yxIHF7VW0ozz3Y.9r1FxdzjD2ps0mcNNrY0ukJ9m.ZPL9cRjbgPlIRWrU5KGyG62jYSwrFsVPOol8zGGuUekrGC4oo02Go_fN3_ydwp4Tnx121O9CIZLLlyZpoQT7dAx2AICJMp8JTVgf5cy34eZ9Q9BuBVHfchtlgqBUw_n_YhR7HOgDDQDy7',mdrd: '_6L.KymCSaXd.dGw9yVZ.u9jBIhE8s0SUQ.Y.Q_6M2U-1752324495-1.2.1.1-M9O3UVS726el7OdpzaSOxjUGMXY217nL4wY3BkW4fhw3GK7_igMEGGyFG9.aJ.AKMR0Bb.g2HZwllvKKRLieaVqiHrCON_FHEzVNQb_iI59g6TxSnHR6uI_dbnWwZEa4Z4BXIdLnsdV77vX3iDevlJ9P5.35WNUyyNDiSJ22vUH.HMNPYZDyz3TlGKKn9eOjeXMPDxy288mlZJgQZ.FK32syzYCF0_iKSlgHIkwNF5tzXa2Jo02WiF0nRabOIIhXSc23T0Tf8Ge15UZtJnPx1Ffct5akjxy_TnsGTIoICz9dRL5oNG1.jxA4RR6a6OVs2PG69hqh1qkS7ouCUeN_N8QeJtefK9dmEgMJ0LevA4E_TWUUok7htnc_HLQtdE8h8K61hmh2dTaA8kUY9CojZe2rtqBjRGLKV2PywqIErdkreg9AdkpNA1xE9A.37au70dBQ5i4L58CotPClqonNeXlYsHZ6GPR4bbxgEe71jACN1Ic0kymKcJc_F1qLj_5V_X5epi3n5jRU2WZJFz5t2NXg0Dqqo9wDd9ZN0Qvof5WIrmOkZQTGxPN0XCmDgS7wFshsJkQZOeNCjcFeovQxlrfQER1xTmDtydWr34ptqoI0zrn9cnaMbz0kRJSIpMz2VD4rQ26pidUBBQI0kUXWKxnzBpWpy6sAZUof7igUljhXo54o0yClTgNGovb3Qet0_hR_UMwUnQy5v_ABJH1cNPZfhavklTPTtItY5qnF81QasJIL4n4WjLyQ.8nZiUnW2yhiFw0_Fa7zleCyb4BasOrisyGrjjNHVDzWa7UN9slIQ9qSQ3YjRz2LiTCNrZScBZPKAzwYz0FIW8SROepQPzNk4ABlrbPNS0ZHbO71ub4Zq7_0vL_njrs5CMXOML8bOfAqY1pkXV79Z1l8uoo01srZBPn_aomQwM0M0jCp.U8rqjbCSwojDQuY6uFt.Ygj26cdL_vExWcgsAcQGqSiOQiPG1Rb3CPZw7IG9FqWXQkKIDZZmLHuBrccN1ZglCwFOEO.rxaeEPoWGPz60.W7jvy1qB0a2WR3CgWGkIMFvgdEerEihB_6XS2phSI2sdfGhzKdXOinhx5cylzk0fbQkyE31ZZtAu3gc1Y6uG9I6IRRbxGqQ9RhJvkNE.VWhD88PZmtwplKJPFpR.tTAHJxCE3dSLOVFpGoT2V.AXb.7ej77JK9IM.qcAhauWvA6ysl2FmSGq2cQskGZ_kNsbDnOXcdheQ0QdwWjbEEAIRRD5f8jE0PjOg25fxx25d_1GPeMTz8N1nCwi9k2aYHL5KHfzzodH808lG6mba_0RBVcL2h7YOuKcaGtXXO1wgYfe2t61z6qoxrFJqUq00gwebpovqxRxlgW4At2WI989Xr1awDUdZ2KOpZyoeLzInOb3XaMEvi6hk2gNlnU7Ajtnc.fXzlitKP7MuO8TYmV8Gco720U_HTXuIJV7xC86ujQJUs_O30mm1Syu0R6fTFyZ46JD80JR.NK6x8ktwnsTFMObUHRIWGtx28prhJdjmYeWvA4qdZFmHm7x9kgSh99zcpUpYkqs2eWAcSkwHe00mhp87.TdNZiv8nu3g1.7PXR82iOs5lm_3HAGNWn11bMvMY_6IdwlmvU8biWqt7LrCnTB9Ko8OvurB5NYJj_hHylJs26nSVz3mwMhES8VL1O1Vy0alK4PGQy9x0w6_.Wv0BaHhvDog5rD1l3jHBgWuL6tdWQrfY9Cu6B.JmpSHyWdov6WG.4fR3PBF4k6pfvSh1DSdP1fDnHdS5epgc_gzLqDPyRekNbKC0oRpMjK7Vm6F.JkpcA7cl4t24g3dc2p5_0BJDsfMAIm8FW40iOBpA1TBMO0yWqXO6u9zYlcqI83RQ53FvEmpvCyZ.EgRNT1OkuTQGW_vG5cpT1sc7joiAMGricp32wTp9epH_.wDqUJnF4mLicV.MYR9xXCzbf7NxjUkEe2oFp2YLXeBoQn4STAoN6.h.oI7TlyN9o2SzRz5945rRhjvWsfyKNaGTeaHRJm74QC6LwSpCbLkkT2plmmrPajl_O_0YNp25wA4t5fUN5wFzqqyLi7H6E5nsjhT33r3eamVvwLGTnSSQlCI_4Ga2mXYXyWQ6y2UgOz.149LSs1QCGjhxlcXgwo6PpNwlZfsyFUHFFpUZnATxSEmxaxiaXPvDvW.fQCjFJNvlYW39XUrqkMDdub9kDrEEqsg3kQ012EYuI8Tnci_Hyvk7DHnaZmARiRYGk4Qfmkk2L_90enxYCFwAjnBhDrCV_Nfvabvzy6XfiL25mjN4W8lzqFC6UN4zhWT2kcV35OhUyUehEiQuAevU5aJnsZvTMfYAzyqZsPu75j_.JhevMCEro9YqlVT.jZz7uY_jg692uLeyoIfrYU0f2z2hRLevjz0aGxR4v25NdRCOE4VD0_bYXLLQOOtKhEWzLVmK9eFPV0dmL2g6FtBlmTc9cfBWG7SauLG1irNiZYsJkfRiNWRomSZB5MN9dtDie21H3evqXrWLtWYFeu6uwqIyRtuVRNdFiPhUOacKGGlFXo_TMz2ZjiE_KYKBTvXVw.5M5FOIiNvy7VNYhONaGfk6.TEj9Gax_avWsJCsKFPwFQclNRMYPdnO',};var a = document.createElement('script');a.src = '/cdn-cgi/challenge-platform/h/g/orchestrate/chl_page/v1?ray=95e0a75f0727f83f';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\/2643\/tree\/\/trunk\/XSB\/packages\/flora2\/docs\/flora2.tex?__cf_chl_rt_tk=ufo97dA3zoOTS3igM2dX96SDvJHKZj8djqE0.0VCHis-1752324495-1.0.1.1-vXpmfxMPcCkJAOkwodmjKcvKTVlFC_o9GSwpJCHwryc"+ window._cf_chl_opt.cOgUHash);a.onload = function() {history.replaceState(null, null, ogU);}}document.getElementsByTagName('head')[0].appendChild(a);}());</script></body></html>