From 8c5009552f72ea917da711e6680450f60a86eb0e Mon Sep 17 00:00:00 2001 From: Olivaw in Actions Date: Mon, 9 Sep 2024 09:47:01 +0000 Subject: [PATCH 1/3] Initialize README.md for branch heads_update-scenario-logistics-configure-organization [skip actions] --- README.md | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/README.md b/README.md index d500a621..82b23a20 100644 --- a/README.md +++ b/README.md @@ -1,28 +1,28 @@ Profiles: -![OWL EL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_EL.json) -![OWL QL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_QL.json) -![OWL RL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_RL.json) +![OWL EL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_EL.json) +![OWL QL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_QL.json) +![OWL RL Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_RL.json) Model tests: -![Pass Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_MODEL_PASS.json) -![NotTested Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_MODEL_NOTTESTED.json) -![CannotTell Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_MODEL_CANNOTTELL.json) -![MinorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_MODEL_MINORFAIL.json) -![MajorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_MODEL_MAJORFAIL.json) +![Pass Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_MODEL_PASS.json) +![NotTested Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_MODEL_NOTTESTED.json) +![CannotTell Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_MODEL_CANNOTTELL.json) +![MinorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_MODEL_MINORFAIL.json) +![MajorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_MODEL_MAJORFAIL.json) Data tests: -![Pass Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_DATA_PASS.json) -![NotTested Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_DATA_NOTTESTED.json) -![CannotTell Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_DATA_CANNOTTELL.json) -![MinorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_DATA_MINORFAIL.json) -![MajorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_DATA_MAJORFAIL.json) +![Pass Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_DATA_PASS.json) +![NotTested Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_DATA_NOTTESTED.json) +![CannotTell Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_DATA_CANNOTTELL.json) +![MinorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_DATA_MINORFAIL.json) +![MajorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_DATA_MAJORFAIL.json) Query tests: -![Pass Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_QUERY_PASS.json) -![NotTested Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_QUERY_NOTTESTED.json) -![CannotTell Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_QUERY_CANNOTTELL.json) -![MinorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_QUERY_MINORFAIL.json) -![MajorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/NicoRobertIn/c4128ff5fec462d83e2ae8a229917537/raw/heads_main_QUERY_MAJORFAIL.json) +![Pass Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_QUERY_PASS.json) +![NotTested Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_QUERY_NOTTESTED.json) +![CannotTell Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_QUERY_CANNOTTELL.json) +![MinorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_QUERY_MINORFAIL.json) +![MajorFail Badge](https://img.shields.io/endpoint?url=https://gist.githubusercontent.com/gnardin/c4128ff5fec462d83e2ae8a229917537/raw/heads_update-scenario-logistics-configure-organization_QUERY_MAJORFAIL.json) # Hyperagent ontology git space [HyperAgents](https://www.hyperagents.org/) is an ANR/SNF project working towards the deployment of world-wide hybrid communities of people and artificial agents on the Web. For this purpose, we are defining a new class of multi-agent systems (MAS) that are: From 0c1e17bdb76b9f6739437340b7e1801d3559bc58 Mon Sep 17 00:00:00 2001 From: Luis Gustavo Nardin Date: Mon, 9 Dec 2024 12:58:35 +0100 Subject: [PATCH 2/3] Remove Usage class --- .../configure-organization/README.md | 40 ++-- .../configure-organization.drawio | 113 ++++----- .../configure-organization.png | Bin 60594 -> 47691 bytes .../configure-organization/dataset.ttl | 221 +++++++++++------- .../logistics/configure-organization/onto.ttl | 45 ++-- .../logistics/configure-organization/q1.csv | 4 - .../logistics/configure-organization/q1.rq | 6 +- .../logistics/configure-organization/q2.csv | 4 +- .../logistics/configure-organization/q4.rq | 8 +- .../logistics/configure-organization/q5.csv | 4 + .../logistics/configure-organization/q5.rq | 11 + src/regulation.ttl | 47 ++-- 12 files changed, 253 insertions(+), 250 deletions(-) create mode 100644 domains/logistics/configure-organization/q5.csv create mode 100644 domains/logistics/configure-organization/q5.rq diff --git a/domains/logistics/configure-organization/README.md b/domains/logistics/configure-organization/README.md index 5a7e95df..b1125ecb 100644 --- a/domains/logistics/configure-organization/README.md +++ b/domains/logistics/configure-organization/README.md @@ -2,35 +2,40 @@ ## Description -The FL Logistics has a depot in Lyon and another in Saint-Étienne. Each depot has one _receiving_ and one _picking_ setting. Each _receiving_ setting has one forklift, one pallet jack, and one barcode reader. Each _picking_ setting has one forklift, one pallet jack, and one label printer. Only one employee can be associated with the usage of one setting, but the same employee can be associated with the usage of multiple settings. +The FL Logistics has a depot in Lyon and another in Saint-Étienne. Each depot has one _receive_ and one _pick_ setting. -Forklifts are capable of lifting up and lifting down materials on pallets to/from high shelves, as well as moving them from one location to another. Pallet jacks are capable of lifting up and lifting down materials on pallets placed on the floor and move them from one location to another. They both are used for loading and unloading trucks by moving materials in the _receiving_ and the _picking_ settings. +In the _receive_ setting, agents have access to equipment that can handle (i.e., lift and move) pallets, and list the products in a pallet based on barcode. -The barcode reader is capable of reading barcodes identifying materials on a pallet. The label machine is capable of printing labels with barcode to identify the materials on a pallet. +In the _pick_ setting, agents have access to equipment that can handle (i.e., lift and move) pallets, and print barcode labels identifying the list the products in a pallet. -Marie can use the forklift and pallet jack to unload trucks (i.e., lift pallets and move them in the _receiving_ setting) and the barcode reader to check the pallet content. +Forklifts are capable of lifting up and down materials on pallets to/from high shelves, as well as moving them from one location to another. Pallet jacks are capable of lifting up and down materials on pallets and move them from one location to another. -Nancy can use the forklift and pallet jack to load trucks (i.e., lift pallets and move them in the _picking_ setting) and the label printer to print the labels identifying the pallets content. +The barcode reader is capable of reading barcodes identifying materials recorded in the barcode. The label machine is capable of printing labels with barcode to identify materials. -Leo can use the forklift and pallet jack to unload trucks (i.e., lift pallets and move them in the _receiving_ setting) and load trucks (i.e., lift pallets and move them in the _picking_ setting), the barcode reader to check the pallet content, and the label printer to print the labels identifying the pallets content. +Each depot makes available one forklift, one pallet jack, and one barcode reader in the _receive_ setting, and one forklift, one pallet jack, and one label printer in the _pick_ setting. + +Marie, a collector in Lyon, can use the Forklift 1 and Pallet Jack 1 to unload trucks and the Barcode Reader 1 to check the pallet's content. + +Nancy, a deliverer in Lyon, can use the Forklift 2 and Pallet Jack 2 to load trucks and the Label Printer 1 to print the labels identifying the pallet's content. + +Leo, a collector and deliverer in Saint-Étienne, can use the Forklift 3 and Pallet Jack 3 to load and unload trucks, the Barcode Reader 2 to check the pallet's content, and the Label Printer 2 to print the labels identifying the pallet's content. ## Competency questions | ID | Question in Natural Language | Example | |----|------------------------------|---------| -| q1 | What are the artifacts that an agent of the organization X can have in setting Y? | What are the artifacts that an agent of the FL Logistics can have in the _receiving_ setting? `ex:Barcode_Reader_1`, `ex:Barcode_Reader_2`, `ex:Forklift_1`, `ex:Forklift_2`, `ex:Forklift_3`, `ex:Forklift_4`, `ex:Palletjack_1`, `ex:Palletjack_2`, `ex:Palletjack_3`, `ex:Palletjack_4` | -| q2 | What are the settings of an organization X? | What are the settings of the FL Logistics? `ex:PickingSetting`, `ex:ReceivingSetting` | -| q3 | What are the facilities that the artifact X have? | What are the facilities that Forklift 1 have? `ex:LiftDown`, `ex:LiftUp`, `ex:Move` | -| q4 | What are the agents currently in the setting Y? | What are the agents currently in the _picking_ setting? `ex:Leo`, `ex:Nancy` | +| q1 | What are the artifacts that an agent of the organization X has access to in the setting Y? | What are the artifacts that an agent of the FL Logistics has access to in the _receive_ setting? `ex:Barcode_Reader_1`, `ex:Barcode_Reader_2`, `ex:Forklift_1`, `ex:Forklift_3`, `ex:Palletjack_1`, `ex:Palletjack_3` | +| q2 | What are the settings of an organization X? | What are the settings of the FL Logistics? `ex:PickSetting`, `ex:ReceiveSetting` | +| q3 | What are the facilities that the artifact X have? | What are the facilities that Forklift 1 has? `ex:LiftDown`, `ex:LiftUp`, `ex:Move` | +| q4 | What are the agents currently in the setting Y? | What are the agents currently in the _pick_ setting? `ex:Leo`, `ex:Nancy` | +| q5 | What are the facilities that artifact X has in each access? | What are the facilities that the Forklift 1 has in each access? `ex:FL_Lyon_Receive_Move_Access,ex:LiftDown`, `ex:FL_Lyon_Receive_Move_Access,ex:LiftUp`, `ex:FL_Lyon_Receive_Move_Access,ex:Move` | ## Glossary ![image](configure-organization.png) -* **Usage**: A set of Facilities that Agents can use in a Setting. -* **Access**: An opportunity an Agent have to use an Artifact in the context of a Usage. -* **Usage Constraint**: A constraint imposed on Usages, e.g., limiting the number of Agents participating in that Usage or the same Agent cannot be part of two Usages simultaneously. -* **Setting**: A Setting is the context in which a Usage is set. +* **Access**: An opportunity an Agent has to use Facilities of Artifacts in a Setting. Agents have access even if they never use these Facilities. One Access should not be understood as one 'use' of these Facilities. +* **Setting**: A Setting is the context in which an Access is set. * **Facility**: see [Create an Organization](https://github.com/HyperAgents/ns.hyperagents.org/blob/master/domains/logistics/create-organization/README.md) scenario. * **Organization**: see [Discover Organizations, their Members and Materials in Hypermedia Environments](https://github.com/HyperAgents/hmas/blob/master/domains/manufacturing-environments/discover-organization/README.md) scenario. * **Agent**: see [Discover Organizations, their Members and Materials in Hypermedia Environments](https://github.com/HyperAgents/hmas/blob/master/domains/manufacturing-environments/discover-organization/README.md) scenario. @@ -38,20 +43,19 @@ Leo can use the forklift and pallet jack to unload trucks (i.e., lift pallets an ## Recommendations -* The Access Constraint is represented as a SHACL shape instead of an RDF triple. For example, the SHACL shape constraining that the artifacts in an access have all facilities that are also facilities of a usage. +* The Access Constraint is represented as a SHACL shape instead of an RDF triple. For example, the SHACL shape constraining that the facilities referenced in the access are jointly provided by all the artifacts associated to that access. ``` ex:AccessFacilitiesShape a sh:NodeShape ; sh:targetClass hmas:Access ; sh:sparql [ a sh:SPARQLConstraint ; - sh:message "The artifacts should have all the facilities specified in the usage." ; + sh:message "The artifacts associated to an access should jointly have all the facilities associated to that access." ; sh:prefixes ex:, hmas:, rdfs: ; sh:select """ SELECT (?access as $this) WHERE { - ?access hmas:isAccessFor ?usage . - ?usage hmas:isUsageOf ?facility . + ?access hmas:isAccessFor ?facility . FILTER NOT EXISTS { ?access hmas:isAccessTo ?artifact . diff --git a/domains/logistics/configure-organization/configure-organization.drawio b/domains/logistics/configure-organization/configure-organization.drawio index aee82477..92bc4e77 100644 --- a/domains/logistics/configure-organization/configure-organization.drawio +++ b/domains/logistics/configure-organization/configure-organization.drawio @@ -1,61 +1,61 @@ - - - + + + - - - + + + - + - + - - + + - + - - + + - + - - + + - + - - + + - + - - + + - + - - + + - + @@ -63,63 +63,42 @@ - - - - - + + + + - - - - - - - - - + + - - - - - - - - - - - - - - - - + + + - - + + - - + + - - + + - - - + + + - - + + diff --git a/domains/logistics/configure-organization/configure-organization.png b/domains/logistics/configure-organization/configure-organization.png index 045842e539d3ebe1445d63f8ae2111726bc0d224..65195775f501f3889316d095e285362a5bfa22c2 100644 GIT binary patch literal 47691 zcmeEu2|Uzm+dpG4w#?WfVvIFq8+*w*7$LM+QrX5njGaVwX6%!QQdwFQvQ#Q5+k_;g zQc7iMmqJmJ<$wPe<#e9sobx>IIp=ww|L5(T&uQlOyXRi7`+Hs2_qwh_vD$3H#lDK2 zfq{X`6p!1&zyPB#FfhJCuz)9GNBC60UyMOpObi&#c8R=YV9>rFY-AVg8}9B!bYqZG zF z>Z)tNCw+f^qMNOoiQi&aoofF^6`8A$R4jf|C*RTY#J)HGDo6tJ3F;LVRk8DrHHv=mgqv#rkV&VgRb zhJ(6r3wHKcTq}ONuYs9L1kPRGeH%f4j}^|&*mZG@p>BaeUSNY3wrgo{=*Pi({M{Cx z65K+)T)|ARQYuDLO8Vd(^skB`!OPhr(AgJ!@pA?fnr_ z`9aO`ZeAXq^r1De8jCM{otGNZR}$puOdy3V{(j-nulI3jHv>r|(A~0QTzs+oztBZ8 zbR$BWy|j<+mLyfx?c2QUf;G(pNfxdq+xD2s(+3AK_a}AuecuAVU%S6&V7efMIuk?a zXX778@+Sqk1sOZLdJ(;X_bhIFQ1G6m!*e5mv!s6|1qOSPJV<`dM57;14FX9aeuM?A z0e8jVM;mhz$sZgQgdW~*!NGgzg6SL*OahNQgMEqgw{GEH!FJ0&+k?+a3RpGJ3VMZu zE&|l`!WZZcEPU|`4%`F%YN;jk9r`6S9@y5vJwJZ8@NMabLBY;}!TOL`gT{U&Kd=!7 z3(t%J?tSl^u++kp=o}Q}<+{)*f!<^h5En)FcaD&L)Ip?>K!7X@$ng)48bBM=ADEkm z8~qym!*)w|8akH6?iNP)Z9!kU698e{0MvrL0YlN@MM*(jU4=e6v_)VZnu~J@bRz;p z3tc`8R>_%;1s>l!`XyK{zhA%p4Ba>@k{8f5KYAj$y9a?KFD(D}uh`O3K+9#T`R(Pa z07V2^FI@HCYx&0zL1l5e%kGgBR-FjW%^=9%8K?lI9~VeHAOr#;16LA}6bSS#cp2#7 zA`37DQjbf2tpP2-S9g+Mu)MpouNM&<1=JMpMhtZe_HuPz_C9C<;Gwt5%KqRKzyFXv zDD=jU6zJ;=r1|^1P@puOLFYs-59eT@wZJj{W;<7BNICq&CSi1_hF)rb6)X%w1UK9* zP#!Gb)yog);-7y>3iS7M_M>+RLVryfc^)P|8qyS8#3Jz#e^n=LK*DvP+x9S%VEMufrMX9?0aAGVQwxyUcvGUeFg#h$;V9| z^Z;p{UySME?CRsOfOGOcog-Ea=wj$3mw%w2=0dLoH&;^Nf@L5d?CIs|g280=tG)68G};2dE9C zV`1x;1QtlN2lQk~Lu>^n3>__9(7}~jl=a0{ix=XD*kk`jy`iL_v7{^PmjL{a=#9l+ z{ZYNKxI%yDzZ>xBI{Qxqd?k$~%Zm>9^2&6B@-K#by2?>kp=(9@@G6>G3R-lNZ%Mx_ zDnh!hfHdPDRSioD;)kN4k4hhNX@LJmwL@3a%hb-VJ&$Eq@P}ar87yI*Ucqi#0X{|Yaa;7kF;`cn)LH7xKMp%bP{gQ~jbcWIzwF=Uh|Lk9~r^IYaBsMDV< z9qMwc z0v`S1{h6khhKj~7-9u%dlp($Rmsnze<^_bv4>r;tVkd*30e>6Aehq`mxlOufr1_Jd zt&aWS=>BW|?Ba0$USrK^yM@9pO~`$bbaa?zXU>M4VCZS;nIMM zaI4X}FwhL#=H z5*O;S#Fcsl(OFW+#9j;tfP4P^^WZ{gdF@;tKz$ zto?3OYzg{*R}cLK6u_@pQu-i&i5~hvS1zI2ebfA&{8_KO*o2o`Pbe6FD-?m8q zsU7^gLoTYw|3)MD*W`^?kiM%ch?8#vd4hjGWc*4wC@uVqt(N?9>`x4X z@(;g!=?eeb_vxQrVfA0}8owU(PXvyoh5S2qbxhxnO2`1gnS7uk{jIJ59;%5@1;jX@gPe*jgNl050CM~BJAC_LoH2pp9f-Z0WUVXwp zl%QXSDwd$slwP3rlW>_kyMUszUnGRm6Z3K3v+^Ob6I3D)^%pbtalT#z0#qer0ICT< z@tey+#SkP3^cX6*?rH{7YB=!ZcMP(BxCVOM>Q@vis1sPMQ=^XvglVDaAMr>aX6Sp8 z%J&i&DBn*5%HxOpVLD9xJzPKCFjA)b*uNb6e`16EjS%(^%aoR^<$wK{9NAJe-X^ zg$IY_VP=+$$LYgS=92o7rpCo%x)-m_kC1k{hn)&Ld8(|=@5njU(Aq1*SHJmfe;Tp< z>8E35ww1g21u%MWG6MW3(*K4c6sPW2X>SlKXiV8_-)nMC(!UTfh$n zgkVgpD-P89_I13ycS>sONps5MYM+M+mnR=Myqtblc~Ez5%JA-S)93k5W0Q{Uc_oyu z;?dPGQo7|tO6OsX+d+Mv3xlJ#z-4(PjIzG)GGelb@N3^bY_Pu^c;dWgx51WEn~!*I zJhCAy_u19GWj-f2ACU_gzHb_OrMnJ=33ycFh7Epm=aSr~mp5hj<+hP+c*~Qam4J!y zQI6{0PNFcN5M7cVdaDgrY51+1TKTAX#p?C=o4NA*c-yl(sW4`C{P@syw|gfo0$(2q z>nJu#9bypK7;%1LxW{aTn9e%4o4Gl+b-tMgzGxR`i^?$XcOYGrV&xV+5csm=MmtqP zD(u6PkFCO__NnpbFP~fv+ER>T%U5!ad*a{1C9c~r-YU$D3AlAgttRB%15JlJerL9w zzV89PXWu%kaZ~={6HL_f1a-Kl>}DJ@$8pf-rWakubRA!H9VsKai$llqCW*nQ*bh~- z5!Z-;#~ER8_l`x+ovum9ma)w3-}lX;HBG1lo5tuo`Sta&n@L>4@Gpa-%p3v-(uFlT z47oQ-R_wU2AM4hEk7waJplKLYq?3%K)vDDTwA3C?sQ>!v@Rs9vRETbZc*4t#U!F*8 zjF`x>-Mz<%LbEz%h)#O!mn2*N?(CK0Rz(K;)qHH;KD&Cw{II%(dso3}_=i{~)&qE4 zpW@Yt{rAuAa!9QRO7%3cg?5~mF@*+?F$i_Op2F|k+*l}BTeqF=N$JEDNQQzKQ?D?$np=I8(KvUelhCu!F z`nFkJ@LQgl$mxlOw2OBU6dd<`bvx~F@oezB2NrH}K0Rlo_I!L{ZJ=`hHF7^2 z1y|rj6WUY|gp2BxKBnxN^wF*VTGS@VvpX(q5{;U$E_-hIni8`D0Ld1~^{>QDp9^B2 z>A^)Lkn4D=bJBw19BPTy9$ycs`^xRQ5}M<3J>_%-p&lkvrIy-H-IX9qQ&$z$ZmLzO ziPMzB`aRK{95XXGCgJetTGZZ0SHdct_6l;Bz39x}x;}J7_SnAZ(~m`44YA1baJ=;W z*NGe}H(N=<5Cm0mJ8{kco$;q({rvT!GXB^0W4e`hg)^c2nHjsj@KG`-Mt3!n(lh{g zETEjyip9sKX8-s2|Mmm`*#8LxxFmn@Ho#(U9#k{~y6!+l)2FDh*T$MdHPrdb5tGB) z5B4e5M5N#(T8vA8rdY5%BvbT8pItp+k|}!ka*)T{-s+O$n~&^J*i|PvRd0Dr=VRA~ zQ9LjM$QZb)k&CCOm1Iryl0=S)!J_A9FTQA}8fK}PXG^CSY}{*ub?=m2sj$;3Zv0Jm z$$kLT^IAtaGi7;r8PYMzLc}5YC1ZwDk0GBnH~VdEte`A1<^AIeTk~c2L;#^b0_u)X9EDzM?e#M^r}F9*Gz z8On%oNliptifz=LpOFBDNXqi99H)w z3^c}G(@M<)+g5sAy4ZXOtjle7da@?!Tc}p}SYd?t2}gG6jht2c)`YKiKdQawI8auQ zwQ~9G$-^^4t7gX-VlVhS>rSU#9!wI>tJoAO_@n`4{|uOqrCnFuZ>>^uzF%gWnSJHkoo{CnA>*jr z{+y&oSHYHYJLNTYRfU9Ghk9&vrf=l~HQ9c4*A;m6hQJr(`=!=~*E13k3Gt2BQ&*mV zl$&cSr`O%%lx-C|wx$hRr8NpHThW@yz;?k3H!4?A<1y`R-zCfq){i>b^r?gL_-U6r0q zxm^*9$U08@PD6%NocU+SNZgbom;ahUK4T4R@0Slbhtzz|5RlK-kX`N8xr@iR28Dl- z*l!5-^uWy5Pa6UosdyYqwPV9RZ+`1*k$X(I#$9HSc6Gt0clZKxHde@Jwz(w72;3oC z*m#cZZYuFnjhCBndO%X+`13Y5u;@*)xod5^9^I;cyb7LW-Z-AHK4e&y+T@}RLw*Ie zEUyTE;K#H$396>oUCCH0oOJAUF$B6SCjLFJu_e|`qre4|LZeiHj@H4JWFOL6E>7;)7c^BORZwsn zu*Wc7_fB%%#_T?^5jJ(U1K1^77(B(+jB<)-_!X=VBOBgXH>c0QjUK3X0T$@YbH0rf zc9>?aRb8-GQ>cn)q{}!fEW91rcMF&r?BCk0dNBdO92&k^8L)zS-4QVmiAk7Oxvl+N zvF(io4N-Xe`JD)W6?;V2xTsE^VerTS>ps5Xe9&N}EwR3qr5+)o`024gt=KL&tnH@K z$>gog0u*3jTf?e>1v_~ErVpoq)9bDy!}_@w`}g&s%e=hTAsc-ZbJy7yAN3}Ti^0M_ zRvRR;qpo6FqD${c)Jt=Xa^cjWnV?h2UkrvO69*4e8DVPJG!N3+p0&jGl>3Zb((aNL zFKIM@$DtZ?Uv!t4oB%inZ%syY=BtUCVE_4jpA0Z&DaThmD-(yw zSROqP`Ss(C(_2q9*C-IFWb@{MruddK2Ug}MHwu&Li=LgLLEY*l30Z1=3|TYxf_b-3 zg3RhYY3;|xEza6bxo}1@GNtOG{CONxaM6K{)wTem#m^0~fN#n9nC^biDr_?j7uYut z^-O#~@)|G>ubYmz*;~%i0L+nO9;%z zP;rPv;C?jh(Wkx{osxdIK?Z}l>^r72id-0Rbm;i@n|zcViH5?ivOE{q64xeKN!G#2 z#&g!AP^}w$ikLPJnNdB(_47;#cUp{MFv>fRch+ZMx;rmj_PxN18myHs*PTXaQWT9` zCdM^tjNN(CIS;=x-YQwQqWTn+1n zKY^dn5^4^~gjP3F2UgcVeiAm%GpNm$P=4!3FBQm z-Ym?22OjCpBQ)WUD#UZHT%%H1f>%}X^K*EQ!(H;_c$cXIgU&}VY9_s$nh#X+tGaH` ziQ$MB6L6lJD}A4XzG^q$se(fS=18Fd&Y%NwU7}~klh1qIGd{X+8sLjLJQzv&nFiQ# zZ5a(6IyPEqX%6qbs+U<-WL)ZIZ+-_5t?snXM`H zO%!MF`9=zP?CzY2Sk$%$m5z#Qww|0hCp_!`=h=bDc^Z{ z%Z~G&;^5kD=Bw;FvcU{MQjZ$=2EkEyMkNJPtsl?A-heSmDP^qMalw1Oxf@Qs6#RC} z+Xoeg8RmJUHnmqa%*jFe0O*YyeWZpXvWlzJyd{Czl11T_IrDC4ehxUqaz$TzT{HJ| zDQa*Q;)9vCe|i^;!PHL(U>3B(LC1Ysa_%!9Zz^u7a?-cI=(no?uN^v)x3fOnT3(=A z^p$9uy!1+$@yQ%KPMrW0-^cq~El-=ev}cKLsSh8&WVbm_N#9L4Lrhm8k)414#b*&_ zeplYBLq1hq=(o@B_bcpLA2MH7c})(oJ1VbDZ_@cTqM{Wrl<;KVxA%9?Y+swx)VvXR z^~fythrq9jk`vCBcToR2anEx52D@93OSU_5+~_o5dma?r)t6-P;0YV)6$i|Oz)UL9 zIeEqE<3Mw=x2&~2i;smdZzF2>K9&r7w&&Ek9p`0N^aCU{tK5Bco6TvU{^a&)1-{5i z&}q9M7C9CR$97jSDKkqyZ_7Lw^tx-!IOE(8!X*dKM&MB(T{Vb}gl-8s8! zbJIS6T8Vy9lq|acp=0zec?^n|k5CMxajvp|rQ+^&P5CsfpjYjM`tkP@66&(X_kFw} z(~}niYf^LX6qH);+$M7@viJk{n9Y^O`RK#d=+p+yJKZ*q`M^yklY8w$e9b5nTxWyD zAysSpCcp=r(Q@iIu*Unt)T_g!`otnEL+lNYC_$8U0&xa4iC>J?n&+fcjbLfr+vA3|6X)LUqLBsD!DULzfkH~@E3fK)5HLv7p zk$7{!kL6SW%m3;S%%8yo%_+Wa^zv&_eiA1PNh#8aewFWW7DZ|I2hGeV*Xu&wbpRr6 z`)pkfO2W8(!)SfU2#!r4b!s)n>~)R`PFoi(R|;f&Lm(89P(VJ=Z^yH)DM(&?8EDjb*_N(!T2-8yVr7y4cf2;bIE9e{pO z@Oe;f9mU6%e7yE>yb1-GdnxSkc`xrKGL3h?vF3;3y#YLq{bU-q?u-@lYKN@6feoP} zrP%l>PFkZRxrd3xk3gw<+?LN=j#UaUWPsB!HC#xE*!9ZQaJ{R5|LTyfu&XvWvbF9* z-Mb+;a{|YQ3SfTEOg?l>Q3VWKw#?CR1B;#OSCVn&CwJ!p8?BXsLqs5E4wJ6g4<>JR ztRa}XiNeKd8KdXEdi1PWyREdamLIkEN%FkJCywg)9866M;68iMxGk?b^S3|kwTY>s zeSQfTxDyGykBv?;FOqGX3gapiJF7?_6~m%4t2wx5-qW@0Pw>$bG%*pIr_*^_U;W!$!e$PU6?m6gT5AuLMPW zT6(cj)4^(=(Nt#xu)mIA^&{;pM*u`0nnK6NtN8UAI9%|~d7MjoadGb#KQ()Xb%?AO zs{{lM9$(HUjVk9EQ?wDalXog+BfzUKq~}2AQ&?*x&QljQdKS)(<(%4pgN?xUSe-g+ zbn(4AB8V6=#H!ra5Z!QS2E|JFg#H-MApmQbpS$7&8wEt*V;v)RM7|O6D@H+FjXVU@h3q}Z zx#iX#iy6ZDcW=xlbLvj75`Zy^BciizT>s3YWU?-+$D}EMxBPSWmuv|hCIh9a4UAN> zDI(v0W*(4|w)XyM8~G@8)ki)j#K-WWP@ALtc4g<`X#q--!AkQ$|JZFTOj2GEG|Qn_ zU)ZI<%KplKXFScoh5IZ`H=9gj+|L43`4&@&5u1D~pe9#hl$GoxS`vIu>gl_)@v7E{ z=e?ljH}l?Z|1g-w!;VkrMAgW)%Q@dh4mXf|$XqnMR!n~#L00*+ zOWCT|m*>9q&&%nvH!%#RoTDIR(a5f~Z*~OpQtaOAzY*U|UR|3xZpA@ksA4(V2xxVl z>Lvj(8m2a0`Rj9MrYFh0gTzgxw*yXcW^2Jky3P!gGSudcM@O!xjx~2fm%xj_o+C_o zjWAe$%};EDe8}Y3WWAUQHV>ZewyMOP=RK|Y*G|C#1T_yMP?Y!X1U_nhQuLd9?V7Gx zy8Z((>yIVueLgQLmo2zS(nUP(x^#xL6AZSpTCWg)KZI7Yiy}UN!-Z1_E*R8v<&3DJ zeu<{|uLDi2V%uJ)jPGP@MTnRh=w9D>6}bG8MwnsR9(NH%1APOw`P)Y~UU__0{e&i^ zQW1w?39aX0&W~%X6^~1#FuqRm-_2%^p2=WiwrAF^f-wq)BbbF4%F$J7lw|X&Sx$8I z3AiW)DM8tGJDF2k7;G(&lq!Cq=mII7;5S(v6Ncr3 zPtY}AdcE{UvYxg*(3NH{K($(3IBoAu-*)&)p_sYfz$R z@-RGCGq|P25I91i_@w|R(Z1X5Hp4S_xQ&V*c6OhOlED~Qa=W zz>2<@8}V>`#v$iqSn5dQ=W}5XG<_aH-pmo_cYS4Rc%pWL#Ojd~TwRMUnMd#R zXYUkTf08<;4aC&qEWaHF&K@^ah6T7}M+MuBB@7naD2ceox*A(0r)6@xClWBqhdhUE zR~i-XQ|@lUfOWI(^@>+nbTou&uU$Qa>AqN$-maWNBM;o0b5Fs&H+(^f1ze!hK+k1|JbQ{7mEPm?}0-D5;8buu<zgM(1`sIKc*NDZrCa&ulOAc0t{`!wA&s_jA`E zQl~)p)(jY(lE7;0Dj)25EaCs*iPqak=T317VR3sMyqt(AyZZ2I$X7eM=T&~MdglX| zxWMkrW`*ZF&Pp^cT)e;|dD&^TEr9&JR@T&Z%fXPb;vFyb_ zF`1l>oV7PAE z3bZ7^SMD;G-GmjepjVw#^L(u71@E3th1BqjqBJ8WN+Dtv>@5bkaO^h=0XgM; zSSPA($1XspDwcQbq0S+|5{)Y4jz)d9pG`lJcogjq$j%&7TCNIUAT;OwOywX12-mWX1r~f@@l`7*`ap``LNZoAQoL3 zL;(U3c2!<|Kmi6Ke*6U{J3+X=BuOL{S70{trX&;ise**?%{NfbcI-?$htC@uKd=?J z>^*yM0+=j5n4nXmu=ZQX(3A<$nm;QJ1N=9Sc6VC!VQwi;LG&&2=FbGc@7}*x6&|hz z0`!OM@j?3yAi{IFXq$G04zNbs+E_(WX)*eq#J6`(d~BD<#1A$nz662%ZLf3fCU6WM znR8Rmxj~5WO8KrUHXR2QE7$9Cp#0++Ggfba0GVscqBNIjQW^D+DXW5_^>{WLp6d3fYaSyy4u<%UJ)6<@E{> z^ESKSa|d|TZ~GgfYtk%g@i-sN$|}F7>!q|;h-#Ov&^Ni_ly%Mv7I@PUF{Qodqpbcs zaBDw_Y&lQywvXzMp1(T4TDFyp98*6eWp&IVO83wd^Dt~5a=aZ5dFI2(i3my7*sFWL zbR@9x!bdk>FUWk&3oZ1vkki?=ZxPwCl)xrht=kpqp4I)X3Qp7)kML<~H60;nKnM^x&k%zcU{r_89O zLcD8u)Ho2g#^H>IahRj)M;=xl+j%u&JK)n#?)JN704EwS*sF;oH-Di$zd{R$ymi}= z&2xVPALY;_4h#x22-4PX6ae-vYE<4(UD*ow5|yHGf;g-e9aH`|OWbe>hpD01X@0$s z_d*d&aNTkI{dH*7HeNUpMFG2G(;pr@*vy<5G<^Rw^J`w+nK464e~%Iz`T?NNlWgDZ ztP5Uq)@y>PzV3SFBiy~26Zo`{OnmXi?_;x2$?x6jjp3G*p&Wy$rk1tg7@^AY!Ha$2 z1{>8^xx(Ylc~5mX5_+m%jyxn5d(CZ;Y`tVC*#lU`Er{_^b+l7Fp0@WU#7BXIn#`NW zoyvq<^}rSDd1q`#jyZ@fVe9=`0O*tYq>hM4+#74Y|=VhVI)V~^tRAa+NZ&Xpk_={|tVwJy81Oki)tJJ4!~9^g z@lwl{lO&>oYOHFteq2RwT8uAdJlj%-N@|$3iMlNZWQ(7%@0Bhu*ysD@8i({&-9ndW z>EIgGsQ~#rLskTUP>4>N^ezl+P~53+#v=|)cQ8Q1-8NtEP+n|PQn?Y-G<3wy9yoew zLMp9~^X>&;mRcT~G~>mW2oY4#S;i{uo*CSz zDhtV>BjoUxw?MK_l%Pc&4&H3I)UM^ZU*}nDtg13oJePecSV#cKd-@0^wa_TM73o^5 zWni_pqNO1rw{HLorf&^s2gn{Q&|OX>PZptD6| zDG(<+koXwrt?J+E5sqvZq;nHrbt>|(~*3aHpIBz=ywu}i||%FNLgosCY04=_%L@iTzV zJMP++QRCes=i|D$jS}Pg=@=UT0PhEi7U*>MtZor8sNGJWL?IPCruZA;e`()rgxAx$ z3*`IjQ}K&z@9u|U1A&;ZT}m`SK)B6BUSO5ETDVF zomJoRpb*?k_n9;Eit?2X_+1(&r#e9%5=h^^+8aT)H_8CejlZCL>iKsxQG0iA`4#l* zzqSi9W`6rpFceH@$G!8iK^mapXk*CzZRnoh4*K!!+7STjQ1kr$_0LDoe2IVROqj?j^6P$lJUE_B11>ht& zg)^W84PeK-1VPHXCoP26SQW;o`aV|upb}Zq4bl)!gpEFPe)#rPqI4%nj`G8zg+dPN z9U@%1?f_C@7P2-Ha15AnkeYD-nDMx@J0K)~+^H!p05c9)>Fh=ikPAu$A^Dr7)+HD} znN|D?Q#F>jYhB&~zl-bMW#gs{gHlk(R!dFI3m6ukcsK6aV&^4vQnO@z@EdgaiMvqh z12~w2+VeA??gDbyzRD?DalTYCShpq! z#465A+Z2LSiA^AJ1Z0z}51e>oJ?X38ma#e;q$S{w=|mj|_S>-dI>LB{h!zyY&S{Eg zz1hO8yY5)zM+%e|xL&VqG3{Z^GB3 z7-jchM5Q>mtw&|*JA&cBIzGRzP;2**$a(z@QYvI5un| z)#^*8pt6DU__MvEH$X_>IF7<2w-!qAJmbnUdhOd;fLohqpPlotoII~H7d6psvc1nz z=j-ul4d6S}Qafay0I1sZ#L3_ra93UcXwMyOnBRT(lx3x~0>Mg&&ABGQ|6`DTD{H=_ zd0P8`lS@5td3pH5^X`y9h)rliXn8#V8}C#FO+QGxb~K_>X~o>YC-3z$%H?9t*BDzJ z6>_IgKW;9TxJm%g{*jrzCIT5Q7CjTt{w`_Gz_C;Ns!zkHP;LlLI$@sFg_QAJ z&Ldn2ep_7Qm!}uYD!pBs96$dMWGh3N)WJX_QJx4~T{<10y*npJpI0PDNN# zIGtOPxVG1keqLjg6#(Sg=k&|D$BV4%MN}ixvH1doo*j)bk~L+HHfbe0122PI|6gbg(sf-~axv$(Dkm{IBH+}e*C>~z_Z zY(;ydOmG=s8i_s9$eFE3)HAMfzjbKS8;P6j){F(>j{_nZ`ZAH3azTnsYW3Vk9*(?Ibr6QOK}qXNG1@YNom?U;YJhe zyVd?C{^5XG={IU3t(N3;MQCSRzRpBn>PkhqXD%BA3k)70T~>^@!JI+-GljPu&N6ZX zgb>dAJlq_xVrCOwawx)IC~n1*riM2%?cv26{rN*#YcB)=(x?zm%VVIX87Z*W>~G{y zFD7k}_aoybbk~_PG0zG#KQwKcg7U@Gx?-W}jH``l3BWX-250XmFB+BECd+dKEf(*y zhR2lwdlN*p5)Ju@==KV4y zf~U_f5gHeo}|m&CR%c*W1*fNhABA>EzM7; z%X-@=Ky;DHGNpy|ZfOx(M{pa{!iszHHggPdW=l%%B6ww4GqE&!1FWeb+~ASgpJibf z$|s~v%o*I>n@KcA8?pzGIYn4LSzTf>AtVlX98&cFd>)>GO-UEvi0sPBrAap1lLH{Z-UIPH6!sx7`X5hUXD8_#OP(XIcV1glu-Qyca%iViE7OF8ij>+&xp+m_zpN9 zJ&vUeFu7#Fgwa#ZVS16S$t)azRXJ7e{}p8H9%OW%bOtH=5605bb|Ho%dWFu3DY3## zeBi9Oto)TkA3EP@Q(ud<2ltjSVn&ZF86vHG4U}J~cCBZDv(&h>%NEYYpyOA!2Rjue zFeLb2Z_H#AU}h4ly`IHo^y=hUZDAqnAvT)l$+qv;M+}uqJU05w>%#xg zVCN7i4-FIIBO4G?oniXYOuS<3Sk*jafTiq{@kTajRdeZfn$yQtLfnXa?U$+(EY%s` z#N4M-aX)ctn z6?C%WC`*EhkxTE>JL8FOGTX7N83CFV=)2#J)V}VS)ZBs6jHeix2X4}nEG8AryNVdh z$Ck#+8YivTfE>`Bme(Muy{=^EDAlWE|&IDQiC4`S?yItZeU&*j??!_52h;f2vT6knDZN!NhYR zc?|w`qRbA%yD{k^I51wJdG-tc3D>Q zW9)67GaPN3(3=8`d6`|61d;}insPq#Yo)@|QX83E)dY?S9+c(DZsA-x3Nj*5J8j-0 zVq@$KYdK#(tdcW6$=;`pRJNnII5jnr8IepvwI$=;!Xhc$+Lz)+gt2DGe56QwhCb0? zn^P*2LlZK!{pjFEx88kR^%1O0yGzY6U1Iv-;(HO|@t>>CBsm$1#c9SB#_Pq)(jKgZ zuVyjgI|bqsqRQdT+(fP-9rKe-7}VrYId5%20AB1hTYx-~gCL~LIAAVa)p7y(Nbm*K z6gS(hXRx!xZy+D}0om8c)3-^}AtBspEw>QE`9umLj{CJVwJF|;B?I}6%z+ceDby5u zvd){V&J(QSPZGqGAs90RCGN#i!xd`h z-^rTV3h<=m$=E1q2`LBw~RB`|thx|IS ze<#xwA!JbR+eQp$U#A`1)dc?9nEKulFDbokrNBV1TB9BLxwhRl7Zkhrsti00!+*t~ zmoaX&U9js-kx*wwGEoLhE9(CF&Ba2Is%<=Q{{fM*orHe>+!YvjyprgCvO9=qidYaL zsX2{4d&U~M;6Vec_fa2qt(r-Q@%rQlV*Zv}T$33bZujnK+{~)e;==2?vWv+OH&moZ z5DA!(5U1u@?Ly`v3rmGPN&?_;1MW&eb`!~=QuZ#1Ap~b=N)=P=mm5Qjnj*XgMS$u| z&VOL48lU+JxlmsaQ-tuJ`=sEHtZ$!?xJi+~XnGq^-|W)nA?6>!wG`eto+lA=E?9Fz za!_I|-{&X?jD;?*K}=NR2ET##T*zciG0~aHgigtbmDySH=dwKokcXbL!NToWEZ06S zPm@oK>d(dBvrNGSY3c!PvRu=8sfD+oNAK9SitjCG^Wshh$4-IyHGC&U7%blns$n$~ ze9fHuFG}5=$OZ)v%HCHSYh&-JN0%7$*}PZ_A2Zld|3+&}Uh-O?0;5Oo7hf_q%AAw2 zZ#sr;4x3$Se@tzO4rSP_kh;?6x#eYxFwYU@gJE_9H)R zYUu0g4WXr9-aXm^`l6`L9>*WYr|nRz@*OyTtG^VL$p4j{v0hNP-)+^59E+otV6)KY zs0Nd~IjO`L->61-^yQ}od_Jx-VZiHl#rGB@A_n#*j8`y%q`>p7dp}3{7+9F_>NVEt zI6-vsp%B~e>`EF)6&;)HoT`&sn%@(@SD``oBVv7-PWjFmr^}YN+al6dZ?L)c^_8#? zC?l<$+0+R}hq}x+-G<1!^E%)3e)*N}+vfyQOKXUau#+b~EgfCHDM9+@9c;}MQ-oMf zP>I@UyH7dW(?avDCzj4Ny7Oe~6EsN5v8sO4x9cbj$UMz};!faQNSo(5aiK@PJxDl| z5qKrP?^gFPb1hdv?N?#>qgA5O;!18Ee4rpV!~CfBBgYJ>A+B%N)QV1)KqZ7fw*<^k zKB((6KeE2ZF~eGN2e0M&VUb0W>}BY=Akixk$!y01_!(?A!*K+tJ`=rf?(6FZ15MXR z7Nu`xRVba3#$_ve)%_p8BApL!j+jYo1oa(o?#j*rt$U6c(2BI*mIl!|%zWHy?a;{; zy!hvG4CMs~a_J{>xa|<&PAZz>qxuh7-LrP*$u~{2p&z;Dc*5iqM=U6uIYV;zI+Ut7 z^HNZS@_?3|vEF2np3gT8?sByqRf<(T3v2A4#E>H=du*{TG(^4z>8M(G)u;on_xcWV z;5YuX@G7S!n9%y*(g@pP`Zc(nfUK(E&Kpov0Wqf^q7e!B1FYvAwEZRjBJQgk?|ByY zazTD8=6b6kHJ)XG+M!iWzQN|I&dubE zQ{|u}2gG=wE3`?{z2kr>RNM)2#Lf3#ff7!qH}?SY#gc1i_d$@UtxBk6e4P(E65#!G z#->6JqAURiE&b>j2%NuYn4hiGo}IWiT-FvW3)O4`p04cRNU$*;`O|_ z>qESu#AFZ;GQ0-p?md8@14-lJ>+>vxBhwlo3IwDY*8uiQZ0}dnL-RbPayFLLlki0l zlA|I5{Gkk55DVs&YK2PKEstt{1kBh?kmM-UcaiiZ0pFB9$!I9{@4gU4EAalO#t2zQGD+hXFmPJ$ZlY z7Etfg1m6fQloX#XNT;?3ITYKwJ0MT@;Ch$c4nU0@Ag7Do=7z zOSu5N(wq)1`np&37dQ7IVIgcaTK_47XE&6@4MK8eAj6r@RcCI>6{>@Ris+*7CySE^N?EE#G7uz-TS`2gzF{`5FeE14{X>0a?&GmE_mN5j6K8$mCJ)H zRI6iQZ|>;3@y$)YQ-o@|yj8ZJ+4gbd-0hBJv3;d;nI8e0T>8$xACRG^b>i=U4NL_Q zf3c4P@!V&8J^(JU^qelJmKNLxm32P}Xj>gH1*FOhD%%;k3}_uF(gC7X<#XKYvMOdl zl*?e>QBc+0G&}Yd@Sh)NKHV-eSE|`pG?I06on=vZ?oTcvUHq-@>wI3HdTau}>-!xl#&G<#Y{Hxso z*~y9>N7Q_B>qPs`BPrnjZcyU=1xmCAr2ukG6CjVDt=6-8HT!sq$|l{}iEMAC&&+V= zNa`iGn*x`Chq(O}2kZ=}tb!H6QTaMi)1{$jfg9au!KsVbjnE?741~OBM?JdWb1*15D0P`eF-+gUihfa%V6O_;i9y1OXly!Un^^u$ifVHTE^f>%kBo zANy2Z9|SxyAHU;FYB*Y<#5jFF*h(`%a~G$Gt(Aa{qx9yl8@vRuCns2jac>MZ+8g>vj(($&e_4r%e5a7L>B5&JtDqB#l5q%CaL|6^G#lReS`(kt#!WMuG%F|3~>@F zlTg@ssc;`Ud<@B4lQq?38~7glF9LkEiWCULRf%bzl95}R9#u}|c?7yo;r6pCOajr!eeR$ zD#O>+DI;#71HV@eN{ovBuApfTfdwOaZOJlAU1g6z`vsLUe1y9Wp4Iu5ltUQ1Mk&6P>+JNXf)>qHXC+aMR32^X%+;I@Dd2$Rs|$}kL(>l!OKIOM&XH_e zq!&4G+LmypDxLD)Njr^47Kzn#AfIv`KcFD08C!T0uxmVunlh}6e8Zm_wZJ+fMI~1T`RmAc~R5N0~xeZg9ORq<%ow z+Q4^wsEO)%aKPL}b_VSk%Uu%`t5Q(K_-MxzV-sgll5Zp-fNF95fim`DZyoof)`!uj zS1$70i%s5wp2)h+mB?FL!rRR4Fi4i@62Sx=-Vo-O(*zGi0*kHNo%5X;d#q#h?DjjA zRsQEs>yJJbBn>0qn z8d0$opr|K#mGJYVmb$oAB%!W2Tr}5|&NwwN_7bpYua2+3BOEy|Ep4k>*84Bo6mwgZDk3E)& zG~*FnzhoSlQm1s`=5IbhIX*w^t%2>Er#^(#m-pv3Un7|ve=B2zF>?9I5FgleIy_&S zhGE|wn>ZTyCCIt|OHlAz2Terp16Gh@kx%o_6K?SVF?!BHr>z3wF_ou9ump01hs4`H0UFA=16Kt9A8o)$M!+F2El@DUex%PxtbOYB+j zJ&XNown_tiVe!Ov^N`!<)LaN*obfXYys``c@G7My^nI6N1S* z)E)p8$!AEb*!dz)ZK$D4rEJz+`8i70RQdHgK=oxUiyJU2{R>2ZiXQgjQ9w$|8If}>i^f?mxojNwQaL)nTm~& zs5Y6(5Gq54wlQNOMCPf%Jd|W8V}{6-DN~U$WejCjhzv!>Btnv*5QWfptu>eXo11bzkcm&hxynhKebAOFs-72`dA?e3Y##$Mu;?UMmocd09gG*5o2$LN`}MUFvnMo*!cS=jDFW99t$>6BbFf7SOjm;syGitT>( zMaHggA887sJ%B2pTB-oKVou;V#R0XQx>RpXnbzx@%?wHb15(Ev}(-Cs&fe^%{8@Vl&33{1eQ;7L@ABi_tyCFlCk` zWXW$SNu?8Yw%FLU=aPUXo+9a{yj2^N8F(R&t^OOTRr8H$;l21)sBWx$ALx$Lc8hDv zGhbZQ^JV)eNB2Rw{n1^JX?j(8x%?Ei09=YKG}!T(>}~u;8zr)WJ80RnOF{)U0m|1X z=J37+&av@%PmKt}Umfhp=TF+gdI=r${jT+~!YSRlHKyrvyn#n@vRRkq@WNN5=3ssHxpLu$o8aUG$crB}uMeCS_dP51%h>!_fZy`TuKt@bM|tuAjpY@?Cayf^ikFl-yR$ z;X2^ReuXU>YTiROT7S;@Krk`^P>q;m$I4b0FOW~T3$Pf3xV462wGOx@t8*12?EQ>w zY?iDe25U{_A->-rDfA2B5~BZJn#B|7>&QV*Knzr*VgV?Y7=&7bM{EMB{;`k?shWM# za-?pZ6N!E4=IBT|+JTT65>NpmaB9lQo2Inv68EROpEruuo){+#g%I-Tg&%y^=4!sj zr26#Ymcf1&PRN%)ccUK7siZq8Xjbd}XE7H_Tu2xMiG96Z>V=4!S;&|VXtr^HIZy$p zHJ8onyVILY{QBAHNIwnivo#>X)rvk{94N9ld{okTlrUIi5wJE3Fv%DQ%n>g5gU5J; zOHw1i*V|x#_FjAiPFoh(P{7zlMlI`SpOHhM^dLOxa4$-OyIZ(SYrPFOHUR*`F9noe zxj2!I6vjm zZSj1N1CBHn@0U9TeUo15#?PAmJ$8>e?($RC># z)ijhr0!dqT@*y^>=34?8LCwp;tNCMYOh%UrMXt6&aB_C z;i(stp4X&*n-n_$Me}1NULJ3)fc~JSJJx%&D4F{*_R1Zn?!F(?oaRCpo+Sj7UjZB` z0yaMj_x+aADESi7ZLn}GDiOzo!Jy)>NP&4b%BRQC4_{fAu{fVEpQ znD)Qp^V5Np)xf=+_6k_&tUVKy5{@(PaMBW}T~XdsZ3Ie8Kks?T{Rr{B4#3TF@PwQB zw;pOARz@836FVmZrX*oTYM`8vw^iWJAO4CiT0kFjd z4YsGr7|ri{=LZUwYE0MGZ!_F{fa`q0Rc!YhnNKl4ifTycj)A5K@nbTo7g~zdy|9 zxH!1W%aE5oL=09cDX=V0$-G#D@Gwwl@uxNCD6@D`(*W$R+*l4;j-6yG>;i3gu*^Xfqa8_;yz~A?sA*$pmKN= zq_a&A(jH=%yRUCq?JvO&XhM)lk)Aex*7PNt?KO3%ulm-JCe$}v^Pr&6x*YLK>6Y)g z5A(UhEpNw$KXH!gdDqyA8ykDndhE~Wy@2= zkQR>3=v8rH>EDuXeN)JO^^ZHmi5>XTX7<8o(Vz@ESmRY;-4@@mH{Zc!3HE(g5I1cB zB@@eUCFi{FJkPX`qU7@RrSd@t!nLh6h7Q%v)jhNvIAawlb75CsxkM!@g<1cGbfwil zjsr=dSENHb7>3rbMoMnx4e~o~Gw-r$b0d&O6#pKu#sVQO`M2RxW$E^jlw5)6Qb}NI zh>Cw1QN5C2KNc1ka4`d`>-zG1g5RW8S1mv@3@a zq#;c~*3M=tZA2|zU{RUE9)R~U8|@jq7!S|q&YxZ& zlBYUI%pq^!{GMFK^fHn_WrN`DSw8>QEW5tEcgE-w->SV*;#X_VzwWhYdr5PM=Tnt2 z-HCalADDC+_Q1C7sZNmD%uW3;e@@!r*DdezRMMr9K-qeYj0@7l`WWRD(2DlCg=Y2>=eyqJob6X)k`%8=nhy~y zlk2{fyfQ0`W!nsUJoho`P5DvZ&E&TfiK;!}kBOU7zDV$gBAy<72{lbG@sp`NCig&Mq7S%?sSwvvF7PAp&by5 z8kj7snq4?IH*u?O>~fX(MCshl`+vY*U0^sqp7XB;RWx==h{B#t#r{XX$b9OQ58G|4-m=S1-XSP+qLj(vQEdDF-f8S&-;#I5W12b4UwCT) z6I@8jGKb)209(4poC89vk)jNR12h9B8V7deGklax#z0ffMPB}|>&Xilxk9t3{ zMPNO&>=OTgi{DorLisFoYd1~asiHg##4=XL)o<}g#~VptLwZj04432kr>aOB2o-et z*`+7_R6aqz8lZ@|LWK*Vyew2+3L@ zRIyoKS#W(L^Q#3yrz~)eP{exu*YLH^pjV|c<_>|KMa3JMP~V{~l1ya>CU`lSus2v} zb#alvL!T6mw2`2M#)Gu2pcJP9LOJ9~itBT5Cwi<(cj;tT2<1*ALLg41%eer^_3jcI z^;HN`C%}P0+E!YOpFwgfjd-4wQA|T3pJ|BQs`g+WdY}Jlk77bO@i}m>zI?#P0e)E{!vE7mO-z(50)aOtK1u; zAIJU_RxgHC|LBy0pdInK$=O6la3OyFc2ES=k0TFuxKs!t+M>2Se1CStq_GBVdti5o zq2FYvBxy9|!Yx4oYkmlP9%C&)TNLk=|sqM7vo&!m=*P}?( zy)#WFFK`gVx_cf%p7jEPQse_gATXoYLEP0DIA_T1k>finZkEdtM4ixIT0c*Z|Qy{S3W?k^cbD+HJ zPUkq^RXBDe%n~ES#(|;2Z(AQ9;_hv{XT*hzl50AT^^CG~lnI z@Q7|O3Rpq8RB?Ka+9V|VNYOh2m^kUL;;Tp(Zn+{L^}HB}X_Y^WZg@Fi_~iWY!D6f6 z${iQ?YEyI?MC_M2Z)1CA{$_|SrK+{7a95^z%q^1^XZdVSuTUzMBqohMNExrN+!!c% z*~cL&3F?1m+G3Rf$6S6HiFHZrOv4+61ktX9|HvCf5~2b~tjwqqXEA!Lph;whfMwKj z8mKkA|EAqz1Zz6zS_asn_Ly(#Gw8s#JPgwu$q zBpd923u-aQ=p>YrGYXV{8oQ`pRF(=d!N(2Ha(T)NYVD0U^4fVfDJR`+x{!J!$LC6+ zit{*QWghw$bSVMzWRDxZpsfCzVqyOx?9JjPc0ek|jIKZ!%fzc)v@e1})%j$B($6CU zX<%M*gBUx1j%gebU7WI-I)@8wi4Pbuh$43qN3!wXs(+m3<^!KlJ$j0&bl{TZmaVdF zwjeqHX^D(DBDobo|Fw6JLV8y=?(<81VIDo}Q%I?=HI6@lAtn(A!!XpIsEFhfUqv1` zM;CKnR+_+YM@5l`B37*YC!VV~EBud@7tSyNXgBI0kKfDqdLWFJITROpi7o?Y6gKdY z=7#fUU@?I(OQ7M$V|#Hn2HCzW287WZZ~G0-cM+xDFzy_|!D@Lb5r6kf$gxGx?Htex~3g(yGgvtNx1ag%y!T*5SXHk;g!c8cyu zb8L=3h81MiLH3=eDgg9*{g5W+JQli!*%wYDlStvT#ey>P1^n%UZIMMVp|3zQP1Sl629s$YE)>L-l<3P-8hD)&XszZ0r{O)lgV3C$`TY$EqmZ;{Wrb z=Zs*S>SGvpefwinSdGN*P=&}W-b!4;n+S+(%X*2wJ^)@eB0m3@Kd@{64~{l^&WN!X zHSCGRFz%ndbS|ZT`>6j8HU1rH{Le*Hx&|^0M?l->wxO4!IPkzvR3y)v zY)q8aa&V_FM?@6FCkc-LER@xY7^G~pr65W@DkybjC?RQgRVc}KPM#>41Fy99$767i zbpD~f-blY+%veJT~jQB*qK&7L*@~Ry|_a3|4t%&fK zP)BDf_;xkC?~lE_zCBbikk7>`>H4rIS5F;95`Zi0>Yv(Us4V-6a*9t(LG~2AhI+2( zmemd?T5W5{8|ai?&_uAbB@lEh5^S?%#tbMs^%tZ9@>dyjCl0~JA>QW4cU~PGADPRU zE`#}4bU~A70S_WWM^ysF|JH+%(wyKPYI6oO*<yjo z_hvKv!WBr2z&;i3*nY5}132xo)^`t2fy^U>Whc7}&Fc7iTWqh$-G_WEN?)Qnp%Bk= zM~c|r+Q^&5}2;q9&gYxJ% zn-Le5q>mD>Yg(PD0|lz`v9{UWa5I4ul2oNnPy`v6gcX~xI5IeIDk{cazb;;oL=g( z3we1{zt~NOOtEo0qsG{u{pdtI`(7oQS^(;RT7@%$p5KJ?)17_9uMJy7)Ru|Xt~EFF zw`q(5J^S3OInV#^xhRi@R@U!xld_+o0bIMA{PhobRMJ0Y{}El&R+$|2MnWsr3-$aH!VURYba@LH5n0))+(q@E44i!Ab7DGEt_`V2EPW|v%7uARJ4COD@0 z+YZAEoS-{a8ilZ&M92e&I{tmR|DM4t#ykXx-|lBFR;_@3YT?mr2HSHUNvW(tfsGsT zEd_G#v(#AtR1yvV>8>)d54i&qD?Aj8@78xEylh}+mvFwn4qDSF2u(V1H5VbB7bjW| zLb=dwXVT>lVuH1I$X>9qA2dgExG%VOm<^0*73I3w9P7~wcWGFJT96tkplqv@1@49Q zLVWcQ^1~>RkaNB)7t}C%j;kDi*B5>L@VrzvSGSeegPs*07P{E=t1mv8)9#mY*8u-9 zJMa@oL_F~rgs9b8?!w**%`m4D%!}lIb!AWqs6|-=AK%c=0GnS)FgV7P=Qv!MWB(ed zPPg1bN!C%C*FfG!X(MDgAVCrGT5Rkw!4HF~BXT^GVC&&IX9jA02t)FUJ!E=aK_y!9 z#`-h#;uJ&{0dt_eG7L3$i~y8W7Yu@g4$md-9ho@c6jK-KA_1YLPNwp%CJ<%!eS*3`!~_vk;0Y?HUQB&BVYv3=t$}L@FvKt8OTw)P|;qSd#@+F14uE3g07&D zauDJ3U@BN&IW)3J9YnM7JCx_9K>}3q-hKgReH`%2pLHksHm#HHCi!XT%J*|GU;B{I zb6j;}IN}7JT02UHX16t?ZC`$l=&nzc{SS+7e;$FT;(;jd?_b{&0Pm3Vq#Q&$a`W3h z{OSL=5jfEE%7y*Ud2yHx2V-a=TTT7`%SYWK#jErC@3qazv^N{W zZr@;s%ILR%%-OX|Du7m`=52(hA&@bm+$*4`>`OCURknE;l|A%Ty6)O{)5NO&LNhw2jJ^UB zel~H(yI(ZO{$8X@UvS*e~sY&(b-x9(!vP zlxl)#el7FFPfkucX9%2JvJxLQJt=zwL>pIX*5A%ujZ-@3u*8*nU?xt%a`n5CR5Sy_ zI9+Jny_Zm@rr{4=U*w?53b$XiG>HhT0%x6f;E-ugX<8b{?jCdh^#ddG+ z8Xz6ty?uKod&VKy=y>kV@XLSl3llE?(r)|0a=F?t;wl2*ynDxZl^V~bJiLD-;N83% zyp;!s<$w90maYF3ef%`PR5pi}mZPU;{Ed9$8&j>0kk#t$?q;~ruXh(|UB&UAQ~Zwa zoq2jpr2r(ozm3!#DDUc3sBzam>DXuYRGB)oQnbeE6|G^7=haU#tnV(TEZ#vRm zb9dJdYJ4pz(XE!@n0Y{IM$>p>W21XufDdMNCk*~YrIW|sMm|~Ib@xWt{A34PSJC;0 z&rJe1AEmyO9!VqN=rYyP)P2}cRPFiI`}q1VuQn3=Zr^74AtnWsYM z#M{f+^PAVrz)3B~ST#Q-z|+TNmEZYrp=wW?;Ia9y)W1hZ&7X0okFa08b}iUEd&F5- zSQuwYc137LoNTv)Bg=z2B~Kso{4#nxS6_2dCh*6Aa)I7yp!cb$n&0k7Wu?FC%DhFF z)T!l}oBL(G`5(heEb)cq*>`F*MX{3)Lv1(l_)i?Mp= zy}Np=B#)R>?yhZCzFAgQ7HV2CwqQ|QS2vwm;aSshd2Qy&xY#r|*ZZl=w!Wy9`H z8_W8IbAv`E`!<&QT-cTw7#x@ zdG<-&$LTT|FRIXwYj$O(@)^CIC$ewH=FahW%@kI6I=q3Vip}#+5~41ZmC{a+J+!TA z{Rr1K9V$(TntD>FKf}#+el9ked1PDe_Tug zw$9S>^7BI}tM(PW`@fV9JFex1M@{98JjykJ{RO?9aW5O2X0MV6r?}I{yBoiMwSh7I z;4GXzSN?w7yL?E~ERLSRXL(4s3<|I@N6czfjEs_VD*2SHA#;anqh0&GuEV$8|F3T! zF|Ce*5T^~w0@mP{JhJ^^+z#nE8z}26PIVnb%u6=v$~67T$GHWo0fqWcU2bs(oSd=3!2*wVCJ7!x97x84A?x z9UaBaC0F>vF1DxORJG6V@`~=@X&c$0%Q8O(Pamn#mseSOe_i3~%qvMKEm2*2iF_B( zz_HCfaUjckWnS*yy?ZZ)r(r{O_gN+R@qEQCZPj>vzfQwVOrYWge^w+Ns^;ZY1+U^z z0ymAR;9O53(^EE*RN1~YJuTh74?>K$YKb9ZU$&(aba-;`~}jQ z%_TtZl|XvXd7lU!78i2XH)_vCvpq~0O1!xa;T$~*B0*_20ThE;U=udfJT`batOQR` zdHPn#mOw&^rRKb!7Xk@YcCfhjJb)|bAD(8xIjZi9R*vp%5)9=84}4>dNiQHEK*0(T zQl`!|-&M={(A?xlPcZi&mFGN4Mhe}z&x47}3jsi9EZEhc$P`1(e5#Waa`<8r4iOPn zEp#!Q%3(McIA!#^g3&8YDx5}Mg9e+8xjA9&_wTHViiFM?*6&<{aBpfoYydOSS1N$l)hJ%w--cqr{oDUtt;^(Te zq;upd=NUz4rLSsEq$iO0`P1MSXg(5deV2#Z%K#N`xV=Vhn6kVB;XC|3VJSn~Y2Z#s z{O-XQ?M`=+(yIs%R5Uc28KIFB+f9vQct^eHjV)opb6s$1rzf`FV8C;Ua^phGVCZi~ z?%_Z~f7&k>of4XDCce<*E$?#6TNwLi?w z;Y)%khBH}x$BiravYksLgP|b7NK)b$+z4L)n6lfPTZCgz@!T67d3I z3gR%h;_zIPzMUNODtz^7mavjf5hol@q~X-EAJ=l;H!87A_&2dN8x7f^|H6_**8<+w&!7Thgn*?__cy^zqH>LA9wHtAf;VGbrc8ZB*PfO zvMgo3@Q2u{2OZ}j$1FhG_;>n)iqOw?Sa%&|cl~$5BeqK{E(Se>18{KhwU7ml`Uw7Z zG}I)1?9ds>`)(>&2I?ZH2ZeW_alm%NiQci5P+&`#;kguS-z2u?q6dchKY3t6WVwV) zDs>?swTVhYS0k;%?Ao;pyxMUV-`DhfzJw)?Vv<`s>512cfBt$3(CR0y_rEVn{Ocb} zi}J4{RQ_7}#3l7l^R;#SKdq;~PWjg$Y@dh($ literal 60594 zcmeEu2|U#6_djEZESVwMmoc(r9kLYJ27}5TTI_3u zwaHRxQMM9^{^v7Bsr&72zk9#m@BP2N_jYf5=J`C!dCqgr`@GM2CfRbO3FlnFxeN>p zoTenAH3I`G8UD*>Wq~Kx&~YgEi!s#N#DJlsP52c9gIQ0QkwaJj#mm>>*+DwhM-JPQ&3*4K+v!y zC`+m86Bfh&R8eFMWO z@Ha(M-C12t7JkwX3i9`~_jEJ&g>j7+t7<5!sw1zMlWbQkmm(O#&;GuCp7586r@J2+ zdBxBtgd6}*j8zC~ipt2p@X*H9%QeJzRu{+`Ji}bQr{}-XK-JyZTsg#7)4|Hy*e$@( z&qsB7-WxnaLVd}B^ku3kswrwse-IWK?Hw{R&a4MEz8hy2M_UR(**o0V!!wlL+w}ax$YlR8-=Oawx|0I~J>BUFK=08t zB!nFCeKRkzKYexdHbI~_-}R0>u=$0Mk*D^)9$`N8wkqoMbs-;+Jbk@==tFA~G^S@6 z;5yTozLHQMR}XT;^!vZqr)fFPNHc^?hVEu<Hf- z;BpgIx1D^ua+f|Dq1R$}QyUdHeSa4BC$zfDNwx;q)B~3LyuPLp?){UEO{C zeZwNB8-#{M&YTcW576-Qnat3I>1crq~ zB5%#KM1Du!M8*TLhD3gQkM`Tli=knzAz}K6T0`SNav%u8fcDH74BpqyJ!V?C`@4pQ z`nuCP^`JMIwuFczgIs@O3+Y=ON)8VJ^Fy;7|8lF<=;zWk#2c*l&)cccl@ZyN>1MPM zeqGVOsk@0Mm|c(!Or36Cloi$0Rq3N6B7%8nPR}L8(;qC_hS|dqlwIkz!24@Q-y6$c zp0e3b5Z`4<_5~;NttYaVSLlqx`t2h&vlM6v_Ht$tzrK7`@IcU-cGQ2X?O5ik7pGheVP2p~Z|RGwKX?X9p7=*$ZiIWrRN7(=rN zUvLoL4-)~-{ric1?MorT)6LH}Oo7&CXjll@&r<<3rAD%b)B@ zmmJ;3fp9#0LxcQX>8j-$=t7Ye8W6#z&In`JOaWDcs2`x{W0B!a0|@UUxGdstI{=(t_q7) z=`jJ_3L|ht1=&?Z3w&n92tTUKY&`ON^yRO|1oVZ>+8^K06`lcZo*@=q)AOITJO4&h zt*rQGj3ej=4MfunD&4;R3aI{L3iO+380Z6J!>8@Qw4(hQYW~Y?qk^)csr|-`!ZPyP8^YwBC4)dRBiPVAgqRpHRhyKBqh>qiC z?TwG?e+A3Kj#cbp#KEAL2;+C2kj zNJk{BrFBauV}CD+{CgS58D{Y}tsVW;{gt3gLsf%5O}gT%0Q^G`;NOD5fZ7ETx&gL`e0gYc98Sl@S```3EbaU`m`kr61q4Yui7T@!YnVd0c|3ofw zX1`{gk+10i#BI+~{XcHZrt24Ah#&C|{0=Ev!|6mCFoUXIi;;in?Pfh!rTqiXr&Bt! zK2fLr1E2gc1^x>y;a$+q%eB|?8tfPbUyn=y8X;rm8=eyamOU_K)B zuhz|B#zM{{f#`4jisk!NWdH9fC-}?kAJ~0mH9BcTSH~Ho^0%13pF?j16aH3x&1?Yv zw_{OFWx8_HZVY7+G;=u1 zY5W^)#y2}bvl`$UeoxI2((L!!jPIiVKW`&uLw&^5{V^Z*n;;C?1jKg#CJ00H7isvH zSs_TfELK*d5C3nrJHJ2r{pqn){UM)CP^LThKWfpS{eN9Zt~SG8(9NK_*57Uh2{SHe z#_}rvFyuei4AK?jKV<6Y#*Jp^{&aoiSMc-=SJB`SvRTMy-x<3X{*A`% zpJ&Jx&(s0Y51xt^U21>Kkp0w9{-XaGF7vPIU;X>YO6AY>|9|F2=~VEK#VxcFLBw(X zeF$=~*7p+l#gPA8)A`Gq14t;@g~HtdYg(Z)IWW}6H^|->iZ^NK=PReV?V zL@zxheyux2!hEQ;_1B-SNhJpOdUzmp@CHyX3)ef`Xf^SOjiYA_pjvvdfz)CmJoz4* z(I)WQ>==Eoe!(t4DeUxB4Em6;AlgCvJy->ai@qjgXH|JCt1YHWaOQANi|KE%Qr}oE z`casngXv={{NT|4ksR1BYb|ED;QtkY|E~yq@&8vv;J(wA))ekGd`)-!_mqFnE^wUT z0KcKrf64mIBKjO>GlJh<`wrCpr_ksO(f(J4+N!EE@zjhprf0nVW>+wSdj65d{+Fdj zGyIh;`CsA@qiDn0n3pVF_v*vvWl(@_4W@tL~j_e0X|r~OR<%gieN zj5U~9z|XS@zXvH#_cGJhFCeSx%y!e|ukjZL!#~!#{K@|RV6gfhuY;i@|L+n3v?%UB zTb?{)4iVG%EhX>`4g3`#;!nkhbm#J0_lFTRMo#K)TFM!%{>u;r!riO1pvM2Kwfl25&|jJV zSw`|#u;AZn?tU*Yq(ivB%-TV!QcdHBD*YLg`Zwdk{|jRJPrH5O03+^cmi3#?{{PSX z{qTJpgdZ^Ye^qrDO^tr?%{ntG_U${2W`l6rr!(K9H2nen1>{?;rVH=OtGcTh7{nP& ziTbt_r~Z9&PV?4}ez;+H%~3BiDP;!h1oi;QV|fMxTShDkBd_z+$o?-r@0H(JK6y-Bm%DzXw-fR1|D_yFLru5V$OPQn#->Tje5&7Y+JyZUnHRl3vmAPJZ&=Ot}Mp}RO znAFqF6DPF?YnV`*c8Kc8L1z(5v>O|xOf!kgCi+!tE8Wzkd$ps+$~>;`vD>5Oi`%y( zJX80}XB&c7s|*_!pV8a6!~EfC-(s)pdk9fuL5>w3$=VbBrwD%cNZI8{|`Z z*p99}Uy(>q7Zz$`GL1#AHHyWx+r8^@A&FO@4P?=e@z{%DuW%nbH7%)R?3bE_kr3cKDj~{-)0AO*y2!TA_#5RtD*JM)vK?SgMdgdR!S?_<8W^JnM@a z0;Fn~&TJFiNJ_)tfI7=)qLy2+eh|Jly2r6$L$JP{71y<9$g%`wCK&flUYTk zS#oj1*EOCt)o))=y!y;~f_Iy+?AppQxglKd`H<&k52`nv`}7317;j&)_SRtwvB(#@ zy=@z?yXzFzoNY>&w@k*nZLd}D6^9+dTG%q@Rt}NG=lgnn@15A~(Uj4x{&C&K4WjDk+!ZT->T(CGBf~He4noO7J?hK#AA^GM+)k)vR8|#M6}xgbqZ~UyosFllf=$`c zyTqPYcX5^HnC0Ab$3WxD{tqf-+ii~79*vz8 zH;aDmmHNDG=s;q6sJNk)?=5_I$=vyJkNJ|hDeMarZE+vEY7=f<2=|l9ubm%1uSdv$ z!$25?!9{#}|EhTzt0t>{Qs`jR`*ssMF;=ZqcQ}V;yAmc-1ylof+?K{t1<)58(u7(n zJX>tf$G~AUI|8TFZu}HXp*e>8XxWGJefe1fm%li{uE(swyD8z)6U3)JkKDL>Mgluo zZ%ir7^pMu43DCk5As=03niF>bQOBs-CwG&-lp+ zZPD@PRv#aJo|P$Oek^+9gHzu2ZXP2qu2;l-+3d-dZnAp;j%O2!=|h5MTuppUTu`l6 zM*A`Q(){ML0Uc%f`${bj8pyS<1aB$Fy-6B*S`}$i;#4iSX|&%8#f8JfvtPj!UtQ0a|hcE_`oqTKFDWBab>9sXSA(~dh+$}LPC zH`)qff4(7mw**#VEK1jKl;_IrT+>9&5B7nh3xup#?VK{vB=Nau8EhfLzFa)xIqu3( z3tS>UVGFk~GdrKH0gIBQ{JIOaZ?_me;FEIh56#n!xwM1}$Ep;5U^#~s+YqD5Hh1b< z!?Pz=vm$QfrD3Bo7RpX^Uoo|aIU(g^r-w! zm$a9%RqoLfr)mZ~R5Q(y%aL1pmi*M|ZS>NhuGnU633HYq=D4j-^^5i{2{$uN6D%h3 z5JPM(_E@bT-0i{u{zeV z^6~l5MU08V3PhQT+$Q{|=IhI-NvZhGd)M=2mMj{`k z;Kn(Vpw?X~n;Kj2T=N3 zCsQK4u-(k8qSM~Mc1%aS>7|+ zddGgrs5I7!tHD9MKq7MpqvJ9s?yw~G_^Ok~O15WejIM~65Ui6QE3A5a&~VNN)xkPZ z3+GXlLnQQoy;G!7hCqEMi8UsLsQN<1#1z$ygS9GFXe+U0=vA?bno0*BIBl=!I@V+4>K1gp!xzCc?Hnv+;Rk3J&Hjcg$(HD9MlE+CKhtZ-FN zAvORe(Hmp4#BbfNQaTI9G++*p)Y?3SmDv!~Li>}rA3(~Oz{uQh$i_t&3{~&i2F5JC ze)J%L$!WcEb+;!+Rdy|H0(fo_6mN2SciZtyy$;qccl$wwg@-iO^eaD^C#(xtC<4aa zc>m++$JVH`NsHF>m#MY-@WJyrtnj?%np*oBv_HoFY)ALWmxX6wRCSot>1%nXx1fo4 z&PA0yZnYF=#KNB>CB~GxF|0=nHb?*_l&h6^RRa0I5c(H%V%1o8Y8ee>z;9NZ9$V_ z(HtOLpRy6nFs#c$s>-zFxD}zlZd}Vqrd~Fyau&bTV3j-~JO^WdKZI?!gb^6X@xNL8 zH_0L?k)#cP4nYhX-abUoGqojGiKoh(4G)+Ypqo5EwoHR9b4?pk1=cOG=Gu-X)dYYh zJb8gh--hln6@QEi1{_ea@xyuqR}F`jq)>kFY2}h_(-0cIGPt z%UlLul#Yh=cUS?Gt;dF{i3s)h8NNRk@MsmRrXknSpmpbA zNyatM_ro63hx(`(9@aCYy(;con{hi8*6d7GkW>zRv0UnNOU@$i-JWXOz<=|C{0#M} zed3G@FwnTpsm{9C%rsqCYpsXWHtbv!;18-+=!+n-n~V#bQx^$1)$IGsvZ_|VY{~&s z$uC|bXniR&wA86u{!E4!m4U5p8=UH>m*q-ql^J?RjNAaM7Mbi2RXm+-IF~t2>C%`1 z3kN@Uip>z>H+Le2r1c=o1tK-3CGh`npCJeAARmlF9?!eCF*de@)ZbZs(YDlSo%NyR zuX4FmlQ+!aG%9#9RUD4z7K3v>bg=OfzRLi00jB~%P)KhBr|+F3)K8&@9g0X{2eS+{ z@hNrOSDqau)exZdPOa=08PI9n=Bs=PtD8=)Id^A23#Z^`LwRfbLlGO^})Snh`TbDMQ_v!?n$g**`K$-M&3YexPJbEB}<5g1tbm(DSsd zpp9?lIW}G;r?nvPL!1)&@#qkMfR84zQf7GarSU^WW;rQ1tGq*6A~M+PL-S3{P*lV> z`1VwZg18t|lNH0v61Nhm{1P{-IN10}V6OBI2RGrl%}_dNYgd&p+b-i+u{ifVjqe-GsYe>On`Fi2B6k1UqtiL)9=%wc3fE1J z*9KIdj8mGn*d%2z!>mkw&q+0EAkIUP%gI%|$s4OEYHSo_xZJ80YfQztU?+PSt{+h3 zO=i*BZYUMU3N}4eImjs;y&P=1&mSKw0PR1{y4P?U*R`bsRg#`9JLg9|ReK2GB-+`= zq0B}9)xDE>k8WOc)8mxQ-nT!K;Axga{R}X3zSif!mp2cFe0Xhl)be0FhoBm%GiqeTQJcf*{T=0o z8$Z030?r@{jL0<;v1q(f)nL4eiV4*x^|+=bHc1o2nIzfAY+4hIhG0ZVdgWeACi6XN zN3p3g57gJ+Ax&~hyc&H$#Geg(vie@Bvr_b@_f$!f^rkyUZHi%T$Ame{!v?B9Hm@O9 zOCeGA{6(vpAP#!={?%>kGwbalUmraTS|>+{{uJhT+J{;-Ir_+qyP%GJ#wn~PLn4lMrW_t!2cur}bj1?|N z!5jcC28Ssq1(WfmBa1TmDLithenD|i_mx}4<_mT!yT-qV*xYk2oPb3)v`12_Mj!fR zY6iP$MZDX4!l`=o=BaUS$5UQu!pou@z@|$gF?+twCbNOg>KuOJAq)x=Bd#b>l!Z4f zAY}P8srPtGneR;9Ds-lljj9>crT2DozaHu=x892w;APJ4;;~)|lkWO_BW9|wLe?MO z#f(z-z)B3m;-$d2W^suukvX?dJJPz7(#sk7syG+zNIVU}hpb9vz$5hsXZ&*II1Oba z79~}LLVwRcK8>+=Bzo{l@Jn!0R~V_cOB+jI_eTwzBJqFo*#hn8SGT0XIX&E0__pHr z^vI^Gu0>aN&RJ+q1yZ9VvT;PvfWff>)THH(!q& zer9#q@O&ghopM=Y5CWOO;_P+{8U#a}TLG*_PF(Ar#m6xiIA)1?noY`pb&5!LxRhAZ z)Cn7uvtt#=8cbix-5c+i%J}7y6+0?Loi;?m z(Md~YNg=wgt&iK9%y55G3i0htx0^na?sE*;I)=59yRTf17;yT4Yi63KePC3*U^%B% z5@FmR!NL%EueH%oRbc_l%aH#m4rj{oZqpK9L3gK@8PRU>cJ}SRuH%2~oE8`!(KOms? zu&JZg8u159M#<3N?Wod8_LZ~-gEHrPS!u#5%Lap1oL)>i{iytOn+jveN8aT0g!%~a z1Y;qAr4D9bL#!LYZM=0@-M5Q2+s0Z0>XEb*5qW8l{<#Flz_X7opH_r3PE4umvbqv- zN?mfpAPf9@adJ5{i1A$)1asg`t}RRiw}4qnNq`ZbY(4}d&Uz2}yq+Xdr4Qo;>e|3~ z&Z`&fWiY}Sxedx3B;E0<kSjTVLo4OUFd>_ve*O@Hlu>SZF!dG0@wN8J(h!CvFDBu%ciDg^ISz!V7`j& zOPxe3_8iKr(WT9B{S7wy*69HXE4DpqohfO;Wv=kP#F36=NLdS4RI$hH+>}49U#2w& z+Kn5yc4Bt{QWEdAJ?rmCYp&|uW-HJGoMq$!l)^`C+U7sZiq$VnOBIoq3hM7rdDT%a zY2LPT{J#DAK!g))-PKNbIVys?Yoi7Ah>k2jO)W!E9eKMJ*()M6?(>}w$(>iWuzTJwS@(Fm&*kI3 z2boZ72V}7#iPv=JxzdhC3maGr<4+&nNbe?if?sML4De=}O!FW7S7?=cHSP5?k}0&6 zXd5sT_uV~iZ{B@ni&VtB$8gU1<{B@U5WO-u*nPFay^#yC&|m`+rMwnQY&YCa7lc(K zO=_aJ*j&eZCF_ox?W6liR!#`Xxev$aY~v~U2LHK_V97$Q~L z28lB+Vhwt?rrTIhAC=A))MkTU!o~MAjzciO1FZTg?ykq@uB55OqlJ08_8umM3Cn|0 z9_fffpTN~HUzLlv#gAn*iw(`ksrY0(j%1*TIU{yHTJz({Ajvdw#zwSe9|&m%%W^O_X>SW_Z5nF-ekCqr%u0nL=!=?OB>Z z+a*%XT-4r)Rh3lZj97Qn-VwwMZNXUy&0m@kYlp6Mad^H`&=93h6C(>}=F)jCG{wM{ z#WVC>njct%!FTO~!Hf!eU0fIb>@}?p41x<%G>JSHGh&%x!xVyWE5sQ&VOg#C^@%NCxIBM4`5}>} zpUP_5@RDleknIeSPLqf`K-Zjo$tGIIj_Z~QbS(L#*oHtBwUcZ zj#Pt!ZRXRYE=1B(ZINEs#aEukY$N=1@?%`n&hcMuG&lz1dM>=nd`3n7Rp+xBGW0BI znxmiatc{6gXkcmLHRs7&gnZF#nhR^RET}Iv9d?=i?6t(*!~i04HnCmtuElG7dD+l- zY9rCUHg{wrs_9 ztJ9}bZ1Xguo<_R^z8tP$ns=l(g-=1Q@5cUIU`|cy`b#f;GJ}K~U~6G2fOVs1d#YI3 zI!FwDF_3Fv9$8{}HQIG1`PcN}&3!4?D~Zjz2(>@ZwTxUPKmeqnJ zbQ<1XoO1`jQA4`Oq8-}9q!S;@k~llMx2#=+)d+knqx*R<;ZDiAHCozdSsKG$-qaT% zxL!dYbto?|9Jw07PwW90jrg~7N(f>^5bKo)tNh()`GrUve?F)?zG|dxDQ`00#O_1X z*c~+yPot%G=uTDgE?U)k7Z(f`eYkm1DJfq&vIyK*2;#AxUcUS|=F8;kZeBr_n9k^r z>vBGC>`9hR4X*Gra%)}QQ?l-25dhLQq0u&VeK!UM+hO$NT&OjRii&?5u!ml_5#}%I8pQ=))yC0^~y%# zeqg+%0BvS^=SLbF?+{ghXnkm61f0}dV$bWl$34MLo@+gb#(z31$a{aLH-I2f(YtLJ6 z80b8?d0XUOaK5i@AKr06qplUtCAMts^#O}zHry7BvBb}hQBw~wr}a8xCM{)emp!+`7rx@Is6ePg!e_F#w~swWv;{R zCSpe~2U~Ppj=B749OfvWFlSympY_`}f{<|8V|hV;XAoq0nlTXZ+BH9xKCy7c9=z`4 z`>fUY!3iYOS{%mCCocneKWbn8rj?LXE2tA_>l^6fj+a>@xheT@JmeLuhhJPj{;BuH zJlACDEoTEB9jj-=wLiTf!9AIi7rmX0?+nBrM>6l!CG&W`zH`*9OB4dJWa8Qh$b4o% zGOn^9tVF~PPQ0sl7f&*Gh=X>JVdLIqQ8xFLvVK5kN~y(&%=ekZnTNA;$U ze5@vqyCjT*FAqKGlHilT4!NW-7w9Ljymk$NcxC6KsLYvKfb|D!CTr~j8?^G&1CC8O zUy6#%!PN3wZg7(X8hKx=1>WsC*Xer=3$dHtzr+kWG3vxNqwhuH^AD(Op8Q~+V>_(T zcTnZ?D<*tuCd7xLZV(SdJrc+70iy5(c6Ft_KFJ^($HpA(W~OR@-|+g5sZN??I6I>q zgv7GeMM-X{U9~pL@?Xb{KVM+i769-~PPb5O3W952gxFhqDauhx_2!Lk7gkkmHasaq z?`=R+zRtz2WTxFHG;hh8L(2tn(rUg;P723yQjxWlG(>D)vH-kNNR?s)*iB zQO-uUcfI-?2DhG8Kf8Bw%`sHD{{uo!y-Bi9W4efSsgn-ELcQL;RY>O;E71v9j z2;qP!Z9=gh`KMlJzhj%eV{pK(H9r451YGc z7{@=oDZN`Tc;7kZC{`7{8f>hc@vWyfsL8}@uR!x{cQ-&SLyOMG$AxIgwrzy=p8D;c zkkUJ*&0!_*vX48tNxsV$=XDilTSW=ptsbxko9TTc-wsy}>G$FHw=EV?lSU**u0f(> z@C#cVZ!)D)PwaBlAoz+zrv`5c5+a(0-QP)!#BQyB-nnVOZe*@o+tX_F1BRrf z^2QWRVkE23OzS7cwPVPN3fDRE}!^0|Qo~aC5$9a8FE59@Vr?eg0=r z91pu#Ln{o)y)_0R*@KB1#THhoXT+d%+BLm*k`W(% zb3yXLm{8IA4SJs#J~CHnCde%mMYXeV3Ck>Af5&n@>3t!IBlvXVpLtT%7F3lKS6Fmve)OuD~x3vo_ z=6CD|4=5ErV!}}U;ocfKRtYswQv*Td9GX%Yqt5Lh~4fxbPm1Hk>ikI?tQMVopf++*ML*JJfkQ} zaE!hdYhK$>177sS>a+ewJ2Mk0L|=j3Y}t9CeQhTz=5;tHGPB(`UfAw@em9OvU5@&M zj>2KqsG&}t*%i|q=WxSzGTEV|48P?#|dR6L}*P znGc8O4dycus5hA@(kM^=?2_Pl=LarLctH5~x)WgEz!!&2u~eQ^eCpo|`n(bB$s9T=nvv=ec^iCOZ!X_cpxVx}%;!>A3i= z3{JhBC<`f8ZPr!j#LN5L#QK51)$HYh8}3 z_(W;Ck}zNNf^y>!L(Dw^~FlVP)U22Gr-S6t; zR;cw(O3EzT@&U@**7S6jSp@^+k!4_L?@0cni6nthXC4x?@k9!NPUPpKq+ z;Q5Go$=g_ni4H-@jKf&A?Hj2UDK>*xEw6S zpuWtpPByc({XEY+lds`ddPtD5yvd-c?^OnMwmK_P(zV9sW6 zm1*a;ut4~sDM{mN9E<8Sr%4e~4F!ed|Dc|$1#sYx&45-5b(@1NORfQq9}kc-WcZnB zUTc8@2(=u@Heg%x#py&w0}uF(#AmI$ZPLYb1FIC&;KbAj(8#1V+!lzaRsz0K$Bexx zy^II?Ww>vD%tH^p0LYrVEL2&k0vR19m) zAuUyt+X|l#NYYr%ICQFX(6c5CLi|4i4(G@HnYE3KNmo(KbDIttZcF_^65p067V}vG z@|QaSp3*0lv<0Ca3r5k?>=RZwzb1}pP7#n>NU2kAz(GckLmQ3k3FDK6n4T`IOVJZW zhz0`nOBYrvzCo5{Y(pr6e^f=1jdnQ?8~=(f;N5c}qyx0IDfL&DI0&Ze8U$GjFHe0s zK6Lgb1MIgq>^Ja8+q3yiXcRCL8^1+YuJdLpK$j)}IX~aX8@gZQpSR@Z0;G5_E&hM8 zO2G8Rkbg!}*~8PO%cjQM zA3#Co50c;ox^`N_Am&K8bHvIJQb^?KQzXtuqn;n~Bz`>`5P@aEk#4cjo%Hy*t`0Sd zAw{nh8{V$|m5p?PsM-4R=4i+2jc3|71Pvle0T#!5;Vfb_BX$VA>f~xENaO9yS!6Fr zX6J-rk02URUvP?)9L!5+;)c-TTo5S80a#J~K@tc#o(u%eLKG5DpZ0%Xy;I3K@TW@z zB%Y-n@URJD>mStts33Yz<~!x7kS=NhBpN{2eim#56pObJ5$?k4uN4}YY7wE&Qwj0+p+T=(L}e)11em1?m1+H98w zIsg6ZyXKd^Ol|s6zra=Q1uDuPrwr+rSC7t>w(eGKTzJZd9bBqBjeb8P&H7bVUN`a; zm{>S6fVvgr$}$WF&45d-=(Z?86pbk{?`=Ba(zSN z(^QeA_kI}6EVc04oV;53KLji)G}-av!TP37lv9zgu?Vm6Q`^q3;+6=diNrw-Ay}2h zG{K!7_Vr|P0Cxb|ShCDAFAeOz5Y0ZVH(By^r?zs5$N_VaDPg#k|A(ELt^9-4*P$f4 z5F)##9~LziaxT+Ok^^e`)crfeVdKlL$v=cjDsH5D6>@KESH5oQ)Z_#lfHg(VmpA`> zQvqAA+|b`45j`<_X1b@EDiGK>}1n$tT6)Rlvm>KdjeBj?FJUFbM^T zPHG|>kJ*iU9Z#f=7W~H1RVVkHhI$uuV9$WV*$EC>$X9623JCqks3#XAa>1CGf{#SZ zQ_q@#p&;OpY<%yR?7LIyy#FOJ@%ak|SEwi(*GF}V4?kYXHR)8p+7y`d8VY=RW;z=b!8=cC3eniYk$DV7yp*VkX7o(34uC5FyW z>4&m~jr@t?i9uCR5nc>b$*rR{(zib4AwCu-&BR8@*8>w%1bONZ$T!!c+{%GQi;Als zq3Sc7#m36CW=JGJPWk!SWH>yl?9g7AFPHDjLOw2_dd^Kn;JLey>g2p6YaYRh1MEieJhmo|iP4yz2`^xo#N|UV7z+=*m)W-IF-R6)1`oGkYCUs}E(Q_S@$m+Fgxy z^WxcU^nL)cg(<{M0}Q8A(Q2#*?xgzTMrA~FHrfXGdm|FdizSnBA8`QljFvnNymzHO z!4$F=9otx`njTHui~4EUvz$jyy&P^q5d1ro-x3%sMC>INlFHK?}9T)09o zajQd>O1mxA7?K#ok(&Q30}zr67o z#GyOk5`>bIGb^_@RTF4f#BK2^u5}3MYeR@iDqJSmdTV9=qC~W%*;2Tc@yY4oV!wM( zLS|G1^$!wND2wOJD2Pb2z$6~Mu^{1P6IF7XT)RPP+4&s|braXJr0i$7FP zbuo&Cim~bJgAswyK4G>K;?*T6WO4=I*+DAS8xw+>vz6E(GT zqpX^t-bPq%74Xm2r+uuhcWOU2M_bCu+a1e>dns4Uz1H~p0YvfyX60Dsk=v(wtfU_a4bYBPXt}IP8_ytb+LCNQZ3ijQdaH|G;mOak!g|mr*ca*zk8`l zr#gD?WvnKwzaw*I4o1pMeG{w88-`Jto{6ImNa70_tBS0lp6J2l7+v#LzAY?fH((QT z_iz4mZKy>)-KYm@YqAf>tT}tasL5w8YwKPu8@4Zi1 zdEV`!guC|{f`?_zlHJb@SGWLww*F+q1&#J{5>Y*__=V-g7LmS@oV`>l*z{fKL1WcX zJfX$kd+h;(M4jZQ+YeTLX}Eg~IKxwSgzYJc1AU9Mdb8H=RRbwLCEhGFnJ3-%OoatI z*0Wv7qb8P-C4H|Umo#Hk8{7`LUn!=tH=~de*l!LF`rxPjrRvy0OqWLb0}=KmQ&2py zluvk#3H2p^&S9=1s6=>zln!W=+UNch8nJ5 zBL@}(q@cWEzpV+8pL}8t=glD{qk=h1b^EXJCUc-;kn)6dcBFJc$o@?jk+`TGaV#xu&?U1I3|fp)wq|y@^UN}*Pg(5WjSu& zJEY9R#@b61in0zpy`r;T1cP~3KKS{dG_A9nBO1f0t$4v#XUpd8!Kw5o6>fx@ts^}V zZ|lQ}iGFEaH7G1HH5`*EQrs+#6fOHitVIedo>s0tEQ#yc$T_-Qlu_i1HQxA!MacyM zl*~Ww-cxIdztAw>Re;sV&7n*%###j9T2(HpMw5mp2Y1Xu8$5w~m+5;a4k*UE(YI3m z9tN|rt+Kwyp6#GSF=nQ?TAf}k;NAFN!zc3at^z9LDyZNxVkr` zj3W`JBJYrsxzk~uAR-ImJeDNgELp4o>l9KrBC_EBxRsDnT=GN~P|D$=R_%0L z`|`_MHr-i*!##HI9yhe0E%RU>`I*3OQ?*+Gu3~CNZXFnt4**rI>IWWff0M*|U$8cg z84puCPV9kF&Sy^|p5{Qt1i6(}1kn=*4^mhv5rk_ZU)vLW+90(4gl zfFV;ma@axV?E1TMacOYL&bsl*_?L5?8_gkT#3K;s77$gdE-dae28E?K%Zp0OtUi4N zDf|n$zb<03R~}&s00;Q(*Mdue!^jmbB+`Y0S`j_50VzxT^Z@QM6+x zAw;NdQ2FS2`_PKvhkm8kPW#?20_J@fZg_Q$O7X=*>0mRR0YL)2NVwSNfmBZ(w^w>_ zKJ@U$Pn5|I_n&83ETf{?uuX7n#q(Jc^_T@1{bIP)HVnzQe}Knc-Z>kbQW4*JdOPu1ci@0I!9V-+dYT0&$&`*TP^(<{>vU z&xm)gMOY!^;?^eAL&$A;Kt1Pr{aMwV*B@Qpv4_X~ys}Y&P&IZ^1ysQ&U0t1;^x+)9 zF}X#Q&tt(z_A^yX*GZJp#pno5(dGI@Kz#^m^xfiCpJM92o9L4aX*|-s6OPY;y~w$- zY+^aM%+RIBS<63xKAAtc5MG#E*M27avtJrXJLFjslHaA}aAB#o55^(GlmiG<&IghW z)pD}keL;A>`K+3n0ywVX^_mNg`pL7reRM82Th`{7UQNMZ9goG4)@MK!d4e#2WD|0{ zyt(@I4nN6ID@eB?6#AX#Lufb0xgJz{srV6R}9BdIj~RaVaroIh^@Dh4pJ; zo`u+rm+pbTS-e0+321z|Fp|F4o{Lt}eGw#ev z(dM;HE84oSfm8lv1PI}&p8CX?#`bFGFvD_+JZ;?*r91%o5|GY3nkZ)0h+GP^)9;re64?AE$q-eQGNK=4@!R0@;Rg7 z`D~9jS(+*zd^L7|E;VVGt9c2W+sWJ*%gtA8bP3GBqGSN4C&$Pd%&Onl!XWM=&O3Ap z()`DnS)RXw3lm4{(H5ebx&+LnRB^LMl+2E^0eRS>4xTL>lJRo{SU!vP8R(+tjV`G? zV}-wPSG8Rvmkoyz*xY&sC^B=%$MPzBuq)58a=P-kaRbI4v@nQj4;akSufsCsJ|y@N{}A zionWEWo1p$7v5gadIeLw-h;jTrHfU(OJY!cC$WEr0mH%8xA%;xFIU|lMyy?!L~K>b z&Y-rNjI-k4I=d}{<=iWshS_=Ly0WlW>)S59zh(ZqnD6nkd1A{>ycmZ|m}8}1CR*^H zc#=Op4&5Oa{QO#$iGrSthGc?1mH)}u^Siyq;KS?Q&OP{Qejce#Fg3vW2>yU@YIv1i z9BRF@O6Q^)CVZ!DgLeJuXt<<(0Eg+T+x$YKlVT_ko5DPmHooITvFwV*%d3)zk6%(( zHnhk=g6P6q>3$=F^K42-Tx^!`&6SsFdf&ZezC6dJT+0kbJ#}s=*(#6t6F9wsqD1Dt zj&k=eln2it_IT~NfYnGicWFdm_%i?XMlUcEf>t3bA!NqxYLcrw4+`*LX}eG!C_tDv zi^{ojZ~h!qYa=j-ww?p!ecbc5G|A(#Vz;0sc*^b2Zd{kIUJj0_Ve+OdN?$Tl3()$- zecq`7$)G5uk};lSc=fcLx2qU$^8*LXpaFefcCq^2dks3tfghHKH5N6uaQG>jZF z2(W;Nep8fynK|4AGQAz$S3nBeZ}C_eCxYqTIuydO5sl!;BaQbS7Rq8zh6hw}6p~UG zEV~~80K0m70YMMUQx4;B!4QrHmnjF&9)_Y}ol6|WK#3eIdUYujbmWF~AU_oZd6lBY zqJu)DcgNlDZ98xBy$kA2TdnX7?EBv=wZUKLG_n#n05+hRA+nuDZq!9hq2`OEL+b3IYeAp+8T{lp0 zgu~K=Nc4=Y@~NVUM#bsK+gDJ1y+g^+mkll;`d%1V%bWaeBw5I~ND}v0*(qIr8Wex% zSiMQjsNhUVTCOWlJ6HNXf#gdftZZ41fD#h)oYb6XqTyG%Ga3e)*O+_oG=S!8wI>m9 zJ?GQVaV0?| znrKoNtlzW*a;&{Ama8EKGTZZR=>nsIiKw2fm{&=x8mYPNH)(MWQRnPE(G^smlYYIP z{2-{o^Or#KZ`SeVFuqPoI>M2$AZ-CH>}X&=qXWWtJLD;&0CAAiijVuY$$;U7CZ!{~U;6&u=~v5yR8iZ>-G(ke^daBS;0uLkS_v;mk_Ilor&I)W8yp3oODt*JPTZ*n z__7!-)(rz(G8w&6wdXh+LeiAIfN#baDG`;PbJ$`!^mT@+<-#_Irt>wa!Ez9-7xIjV zhtk4z&!pW7ghp?w;47$mX0}6n?8%b05Ix#5yaXeTBoXaI445UX3W%6WoRaI@IG{_L z!SxsW-7h)BvAZ{nbO64)0(=}6;S~!-ff0bXq6lu@$ZIXVvc66Kl6B}Quj_a~3@$+NDWJ?$o4HD}ed-Ks{AtL9SMs+ z?o(HwCS|$pHvo?9&N4prQ*17!48VVjXmpLisy2^g2d+fOTG1n5Za2o^kS>-%B>05P=KUpB?-58-q$kg zP0u}Q^w~~yw#d$h8cGGqt)_iT&s|W~6*bu&O`Nw?xi0Z(x%;+_nKITztmdtl53wQ( zuBLfG1hRgI+tlaryN5*}TGPoC*GDboINh28EMqgoNX+|P%6xAxJTs>p(y&o^4+y&3 z9tmgXZ{rkNC}Y2Kn!z)vzv z<>#{)I=!0rYMpv0XL-a@;!;u149O|mUJk&tmXpmb@p?2`ymQDgV&1Z`1K1BxR~GbC zTni`3+U2WH_LTHIX~w0jdzVJ6^sLG# z2fndb#JJvVi|nX1{(?L&7}giuT+(vrDm>OI&NNT`fNX zw~x>h`guv%OYZ9jiO(J$>M*DBQ-gvwV^WBHCn!bL$m`|eJ=d=aX#_TT?~h)H1a{Tw z#h&=CZ44Fb$7BwH_L1OT(_Q?CE`!lq1#CcIJehLk+!r;Un>DZf3ru0=#=h3*3-U$&RBp)`Og|_63(O0*no%VGC?}}ElN;;o`uy(Vz@2jv$oK6GZFK=N?mfL)1(eg8FU!kv zaVo1%Nz{a|U=_@j=nayG`*&3S+W`no>0EfX)LECk+B6HPeJDK{vk(;FrThlT4cTn^ zJSzNE8QyG^6?iVVIhnI-Nar}*-LsqNwB7Smd*Xp$0RmT}0m_Ld8QcsNi1#L-R21GX zT!Dk6f7RKk-7bKkPIaVpSS>`asB;-K$d~F`Oida%zOLMj`KiySf8FgM?!kwjyyL53 zU3qy6(P=Fi!J2&7!9675SxG!fPVD`Ax;*{Gq_7A6Y7#zcx29e#&xpNG?15X~o?sRb z*7!FU0x|k32w5e;2MnFK;j76;37Ax^MRfPNIZu3pXOpHdJF;LX32{0EbjBED2dm6# z{NC(mLynif`W|jIMZ<<}2U3k6E*R=;;&tK1(CM3bYROQJGqa2~Hw`zF-P~%Jgj)8< zoyZ&^@b`canh-hcapTk8ty$mJQuWc5Tr%N2CbfrG#YGkQ|VA^vbKI-=yvIowR`qxpg*RP3_ZP zQ^MJm1_w2Kv5>&*I`iQM8cxo>`oOw$f`ku_C1Js^JR%+_Y%l`~%@eL^=6}%Ql>R2h zNZ;9FL~daLQ{o9(oZl29Slg3#j@w%xiRYh7@k02UBKR(a;oBCvj=w1&7}~nfm=ocM zepNsS8wkbgY*Sv6jHTEaWmL>dn|-Droq8N$@8AoV_e@zdAIK zbi+_Y&;IK}!sJckdYY431~Wd0_AT+rLuR??F2*g*-d#r?o#N10VH*aODZW z=Ly{mA8>VyL1oy?fbAhy37a(Gt6?DC0cGe91C5yW9Bc`U*eyR1JqTd336)>!4}ZOu z-|kVZRGUH0^17^Bu)hHZn;Vff>|R&#z@Z)tfDF#}RK$W9hl7fPh~8&w90)zAT27mG zh6K

+ps7QaeEWKgE^mI#$I209zucS}q~sA%qjj5SAXZxZ@8>n7Q|&^(layw<7>F zL_3J;V<(#`PqEYsG}j$VDT#RdcX#XgUPtJQW z(X^}%h!hveO(De*JnYO=Fk_jYt7+`{qd>~3Ys9nlTPYt(VS$+WygAhT1%ZlnVP+fQ z+Rs{T=}qZk>nX3TYJ{~n2et&(06i1IM#b2If2_#v{G8gGy3t9z9Og1!Q@)Sdh15p~ z8$;pMR=YlQ2&(i8Q6XDhvNt<-CA;Mxm3n&3cN%=+t^p50$d4`_x|I%Ccp=& zIY)4{uzt7%KsB->A^ZoB%U$86tl+u}S)mZ9vS0{xZIv?McHH%(~0RKi<84s{N~$eG(7g& z$ITClDY*B^!mx9G0^rV{;1l};7F+(N9PJgET~w$Bx|+sBM#^piwU(9-6cxHo3cLQP z0K4yjWF`tkwZNR*UzvP$RS#Gt@rY&3^~P}4ZzN~F&n0VN&79eQ{V9Lh1}Yb+M1eq5 zaLr;HX@Xj`=6ysp6FhrMcHol1nVo?Pf(bT4vPH%vDm#s;Y^|XIU5FioWysHR(9F$! zlfJp4881NPQIBZzQ{C0B&@ku|Sr(OBQ6OPn91#*ww=_3z*l+9S?jt2$U?i|av%v{G#J56_Vfv7t3tSkqQ=v3++j&ELQ`Xn{Ih>1%^tnmGVK_V^x4dahcU`j`HntGlinzk1CtkAF$G1NU&(# za$e=YN+O!fO^N>omWX+qqVp`QcOkTTDd7(GH3!ie5gHFb-o05_|Er23o=JAKLZd~M zu%ohy9L-mnx_Dcgr_{5Ze1;XP5fc?1kGRd9;AN6=PDCsM;km$n!qx| zxc-LDGSFZh=hzJSF4neMb0v*^cc%Hc6V96|&xK4hrWp!R`I|eC0GB_+bPBw@9l*?b zf2MyOi{!_uGmtDVh?akmTE7|ER<-UvwKfUx+#3K8jM+ldy3vYQbkVLWCDFqQN{ zUAy17wTu?SshIG%BX}h2!x-^+I3|&agm1fdZs4uA^fuHZRPk)-#CA4_=z|tL zmd0^E$?yA8e$ha^kYOG>HLtcli4n zb$8t(nr*xpy)1wy_AOnxMU^|7g4S~nHPobX>nr=K;kuxJ>*RJc#nEKxR(sSWM2vVi z2g^>7#+(-=*pr9>vE~bKNZAQv_?FpN&(EepI`tV_-l}0}*fi9cwp7kJhcC1WJ?H`< z`!zjIiJ;;0*p~Zf&X=)OZI@eVDN`N*T2E?QlvDq!T_tze zr=WQJTp$%?x(x&oKzue+N7|b0*po1`lp!eZ_J~%h;Os`NqBVUsGU=0lMY{TNY@aS9EwEB$)iqjq{1Q^9Aj4g7= zb5KDsV>&!6FeAV~+k< zI+Q+RR8>pUu^b{@{-H*Kc*5C;V)ZBjTP1abeP>95KWv?Z!)14)kuqSQ7^8~bZ&3&& zZDhK@Edr#F3!Q1qF)vdaB*)aoy~EH{1+O-N|Y@sfCjT ztQebK68)71`8T#W;%^!2DDm{hf#YO^L#CHk1*0QWtwl5 z(-dg!Vucu=Saiyxk|9c2X}fiHUv???AYpf7c`hnWs%bx=P#?>LrlRE;+e>O}4i?;w zY**v$y`&y3hbAD`JNVUdl9n@tyks3Ib)OiXy0sRhK1lcE3`QcJE{-3~$XF_Ziajt4+?%J4$-6d%O|;8lx52)|9=kCW8T}pt z!WRk+dnZ?KSNT|H&Zu#8dJ$dj{CfI*S5-IX7Q^CY{wyx0xF1X{a`O_b1NuS4yi^9* zjX|hgCL%M;xiLDi+v4gN(=k;6s#z)q>t$frs8`9C(_&{CH(!v=6!V})KPO~rEg_n| z5<#}9kITJ+FfGVQz`NW{+kLLGcgPd#A6xm!XH-9+)XIh zD)-j!97EG)_Ha;nG`IOBrZ-$q^iv|he?k*alCA@J6 zCXya=A*DSjrnv-lZ;z#QQRtQOahtW{Evy~p?Frc&OvKZ1XOP#xWT();NP-u^8^Nb_ zFpL`&iOXQV-PX;KmZXUzN~9=-u}{hOAeE3dKAxDWc9JrVxs<5!8~20&6^BZR11Gr^ z^@Oup6ylA0A&$HB*_mnWq&#Vwa`J?t_BgkY!bbHCtFc#NXE%zYZ#TxA+loPVa@Y-e zh&I=@hSQ??XU2AwVhH)=Q*um0qs`@sW~Lc`x`(K#9|y^wjeED6stlVViMNO$shDNS z3Lcpkh1bLvuwDIp#TmS>DCOOYT7&R+MPgg3(CYL*pteORqF1Qaz&FSqp?|;Sf;gI} zL*Cc(Z8E>BaFzHB0fvd8qj%4NX}NmqO%;wcelHefq=aMyMGG$)UyGR^UsYIze%h-e z(PS%Vo7~m+mqg5PNW?N{X>@zav_I;s?`ujgqFnL^qXtc3{AeRGz3nQ2+%K_c`BW~+ zC@&QU6<=#NmJcybxznxj3X1&W*#`s$M3fkDtAahn%nuw^22rX{Y2t_^oU0gAxjFko z6>d$%2^T1OBouJ(tDv}q;tKF4zHOVceU`$Uji+N~Hw_vJEn>$?I*FdA{4ATY=D~tF zRqK-AEQaR(CKz@ikbrIKK>V%3FP2wh%X-|oY-y^+kGvzra}MAjkf!k~K1V!O%}0sz z$w#l@a`RP{8MiSm_e0efwvX7I*Z^PK6Uoc(O=l7)WBMdlL&VLpy{to|SF`Hwx$0Xt z%CL=5+_b0KNc4f&Wc%%#;}l+~*t8!I`H`IY4W)YUV8aAE>u#$yPlkgRkQ*p!8gZ?s zP9eruoIr0F^|~rX)w}gFDsZSd$~PrrW9Ha5>KWrP?;sO(JL2^jay*#?HD20uEITTX zU^o`T-d1ze;Kq2_*?Hi$O>j9YMd!5yi`wCNoUjvO-z#>bVvx7Hz%iWI8|fSE5Z-h?)I2G8PgSV(dGF{b6Dw`duLA5Vuh8jO-Kvd=fx zqx&RT1r5G5bi1=Pz9BJFVCO8!qGLE~_YF6uMQPz?aRk=e>XH@wksu<4K+iDhB#a>5 zH?G{8FfB?}kqy7n;ZN}{Dh}{=9y~&_8lvb~M_{~d_$X?v@S9KD`mHyS;k{Z5&zudp zk=e+LbNMiLLB~#Q0~IaIS9+Mo33hmnXl ziCs8F<8p7VxV7U%@|DJ7ok^t4nqIip)AIZ;F2Ija$NYE_E7FBJx>{`}Tfo&$THSop z38?6Yzi~P&Hjy}r!PW;iEF3d_SZqkG*zqQ%|A*gQ=Nk+H_oYV{YWw7N-^@6UYJxC@ zzSLx@oax!nGMP#CI@*Y`fzWpLwYF{W@$icT`{GevlQ$^(>#Xo6K{(KZb{r-=C14aON7)>(77v*ni&5rHH zK6B)I-z6*??M&;t()vX@K$VtXKItMJMDn~ybq&NH#`c$-TisU!T0csqq@&duB2I!B z?ETaHzu`{xczO=t0$#K{wf5I|UZG0YBpnf6AHCHN#T;RMU(S4@ct&Y0T7X3%Jud4I zxk9BdtINnp_y^Pi)g+#$-0L)y)O1mN@pU7rAO?Ig$MuKDdI9__^QE4R<~$`>4n_1-!i9|#|#=N)d3T@ zQ3T5H3bT5QFZ6zct)*iHY;D#n)+#*_G+27NIGhMj&4c38xj)Cin(-skLz>JUd6D{m zO_IEsh=r2427s&aM2oZ^p86=#41CylMaR4|zd_XZ+PT5Z(dE$qP#Iy#pCrcQ{lx4Q zw18$aAc}CI?&@V7)pSie-v4lu;2r|%9}uRLy%$3U=^ytfk(~GM?hyo6-=Xqh2es?W z>BghCu75Q2AO9M9L0wz4mUI1= z4xF3FxJ$-#a!38UaiM`*+0``{vXo=DvyF-u#pU@xv>L_WK5=q zAlXOGzcA@?6}baKn8nl28iafwHUQW12`DH^fe+Q4J@waH|BqKUDlq1NO!FRF@E*KN zn-W+Zk}sd;AUc-}e30{Tqb}h926h+8NWn*b#{bytz5zGmf&{r-%kO0|wDWl$)yA%O z7KhskD-5XO9gsJ3fcJ&CRap*0E-{I^gYah)jRr;RqAqOe<%^u+K%qVV>WU7~X3ctr ze*!6Xz~@CU08UH1tSd$!C8!@ESiZUsxhAJXEx;`A5q2Zg)|886y%+Vr11sPOWNu6O zZDT#I6SV>g{@eO&7J=(i%I~1OiU88r^o$XCGo)ze5oif0dWQK%I{x35zeHJkkj+#3@)AkGu;W{~d&T3B(G#DMum#^n#KDHg6Y0jW!$(DC$#Mf&2GB*r=cdI6zH5j) z=p;BV0$9f5kmb(SQ(z+b1pvibz@|3=i#bNS2+AJ8961o8A=Qf%egl;t*KsDdS`HxZ z>Q_a#Yz1UAz&jWS7h=_}?b9|EtDPYkWnjUvc!0}0{G&*F26)Afp#rVt`x$VR{ckHm z2$mC@2H2Ap;?4^tf~5syBLdXc=;tbw)|Y&Ig~Y+H7^#FHra8F3m~XxUNb=^IgAOpi zI!rGEb(cM~ zXz8fmWBL_pNkG9W{JA4F85Trz3Y(rfbjWEqcpKgUzNHGdZ4vm*k{_~jpiF&q3LkcG zb4n6%fTHn?fJy1&j&BI+6_ek_8lY|eZE2{es8q9ELRksyX0?Dz{j@_B<<%a+(I2V! zD>&i26ZlZ2U^T7vidfbO1K^hoROS3T8$Wj^MT=@TV+{*UFUHUZDhwf-Zph(`Op1US zs{vx_l!i@cJh6zDq0SXROn3vnIrDUi&0E=DA0MHVOs2=MN!%>zf0D?!*bAOB8jh66&*NPn=I_KtzeDF+0*2cX?r} z0#wdoTvbCj4ij<21FThC->Og0f}~3H^Zl&{#a2}Ww1hT1zqhKN_cYK9^dnptiDk8L zedYOlm{NkDu3uFhVVDsE@sFSrCZ1I*v;CNgLvD)SLO0M?MfY$UrQkGy$rZbg+ZcY2 zKQXd}Es$pjwwfF*T{$|5>--$Hha4@2oy$WHK@V4UbD0A)ULmuAz9x7k`j}k(iZo7f zlwyh}$N4p9)azp6oAf*Z!U+z0t;9r*MA9LOZa}?(imf^*-16bDp9hdTf1hAxZf!wM zabE$3q+_x!3ZF6kvRydGya1IdgSh-9F`VJG`0B79m`li3cPUW$^dr^ZTiqcCmB9?+ zX!Vg5og!DV-~t@+7sAJscMmSWfen4(Ave&sxVSj1atpH4sJAPS>JiED-&CtBc8}Ri{C8N1(RK^goVdc<%ce+Vx~_cVLuE9z ztx^T;4J9$vyqx&k!Xl;5`B}KU;`-jyXFUpmZ8RnA+nW@eoM_>fin{z~31_0u%N<}8 zqT9!=0BUb9)<|xX!YMvL*}R3%wGJi|$L48Rncw{TL*hL}f5L~$Qy0OAz=k8#h1@sv zrt!9xq;=zZtf<3P?>}J-bjF&;DbhlO#bMy})p1Vr&Ett*yZ_neumgMK&t!Q`)&*rw z+cn*sX1LnZlLtf$X0b+#p*S=(dz7b)U)O|w>1_2fN9dc9y+t96+COrS-`ft73jHH| zYG^w%ZFXn9FZ~kZLfs{KozntTM-dTtl$3tI_IE)&aGUzfIU2UXzr*E!nSKb-u<_pR z{)ukBnlU3J>f)O5Lnh!}#mPTYpp*Ml%oq`?tx69XMJW221847)ZeW9aT{277``B(N zpn?Y)2?Y;9^=60RMTN|VATxz?uQQ+~jyxWSntGXXW`Tr2lrv>7uWkj@#Z3rkUQo=o z`P4j`i+4NQMA$KlySt&VEF=3N=)s$FpECXoO)Q!(iK)>R`PrGNC-Ul8lf@BkzZxsC za%$rNmb*wi*}e@GYg3(YugPn>eR70YFI2DBh9xJ>f>#VAcgEWENE8zgA4| z`RfKARFwhl_+7J1HEAgh*XLbC? z@>*f)6XM;6uXf!+7ADqKyxcfR8JdXWu@pyYS1LZqIG@~lgMmH{q{8oY`Wr_n>RL2V zydJnXjDzypxyAPR%2G{<92r=|@vI8>UslgEf+Ltba40z%NUf=Kj?-v9MK_G@=&9C; z#RzB)A2u?gXR~mw6zf{SQRv+Ylhmbhd_L2=V!dg!Qr~`Vm>Jv2NeTIM(_jHXFOh1L zyA69WIO*I!?IUv0&`{sS<;2I2AK#+zpE{F;EiXGSP1Y-dS7Q9;*4Fr1RtpIpH&yYC zpZ$rVaC51-zi$phe4Li{yr17mn&ZdyEi70+&(BjShQ;60#u-aBFSR2+VO$*A(b3@m znyFQ~2J|g4SzZ~1?cnyXHd)XPS+flk`yuG3RczW@hV6&(M1lwrwcuWBAGiWns zXo!}UmX-p;`X%^2Z*-e6dm=5i(~u(B_a^SAJYPENO~M@{vZU1ql&pHPm8GDAoS=xv zAWFo>IjRA8L=GU1GrV{aUzeRdDzyA-R#c!h)m!1)hXjA_o``6jb_fs#tWi^+ z@b_}qofV=Dx>2S7c+w|FPs-elx5tqR!6wzAi~U%@BEyY{=B+_5U0w2vmoCj(-zBQH zeesm|?`Mnsc=T)uS8;fFcnmEq^`1O=l6kdh-GG|@^bKKqdwYbX@FXw)tQJW-o9i0b|IHi2ot-2+x_wtAhjf`p({V)O4k9co?XXLV4*?-1i znTED@x)|;d!J#UbNemG>u31+mLz{G<&3iwf-*`lZ`YC6J{q@|DC-lj3DWgcIeR;8T z{0W%1*7Mvt@f)_qVs1)fCG!`^$yt*K5j8bZ?}j;HEo3y16!0rJnGPJiZT!c7jX}0% zcc?8Z>&~retTfh#=tjm+&ErPQ8O4z_c+=U*^i>4zABbxkV*6e_RYTsy(*~1iB%xn=HIEly!|lIqBsMcvMvO~WfrB~TVjMV9LrBqJw*htp$6bkX?~;ehP&KIiFbJgEW&xX%9XsRpm3=ke7B zaf;jft(UR1-R_1)l@liOYiIt;o9v?MDgI_f75VPMUt_G4oQd5gFTcd(g)R2R1lB35 zcCMJ;-!ILfPjV_P`fQM`2-Z{Cb4tyl;hM*J_5S6kUmI;K=XY->vaXPI22Rzx;6Nw^A!!Zx&wc@|V@{XMr+9M31NWMP&G(KVzWIpB&v15y{^FJ*u1<6X+lbV`SH8Zh7i?Croh15E!V%UbHdxYu@v@jb0M$A%A zj%tS&vO{@zh%0P$N+RnCx<2^WY6h#BSiWOMF%hA4jxG~#N^_#~*osTaiPujMUzIgfahT;!kH9Uv(*c&vP{Wm_j4E1ORPK6OJ z-ZgV|#LT8%vOrw#B^gf9?GIbcZ;V8;h8%c|!c#9MoLlH5~`R~hBi(7;zbMYLT)3w>WA$j}#_*=iN`D$_=CS{of*~!3H58QxK=?y(8`+!H6 z2kiMWo43a*KeE0RdaBAlm$T@a$!JxPCI+fzy6z(o--KF*C&oVvd<4)gjrm_rJkrosc z^>LeB`=0jo!E*;z;bPbcbv21*5vz=@F$H^$rMfAc1 znV+9E_Vn}|tKZmVK4-XVrGC+}TjK3Hdv?N~J;Ug)J%e3P2O;`P0iZf_=vq4-xR?`N zvvOr($v$}xD2BZ-A2h)?8T0ApyomYCTg3&D3E(hkx3Tyz18&hVK3N65o_6)$LFb4i zZ4Ngl;JfUQ@rrK*dGaOcOv2-6LCN&#L!XHemiJdmo_joyh=Cc$W*)flHs#*Eh1MzZ z`9u!YMfh>gr-=&_S01=9YTIn?X1+gX@Nvk8m7Wc+jPmzJ_FU_)jST(#9f?R)!*zVO znlHRpm-m8ICtg6B6)+wyANgBcCuDQK1WQ2BDDE6YYW z&q4n6Ge5U4?0=g4HE6@P0j*SCecGS6mR~sbGyGu2mDkNpR$63|@SVA8um^Jt;U&bY zN>EVH(`-_H&>~<(Eij8mv5+j8-*AtJ1W%qCvpF_8XlOKnoy5{B&zcTZ7P6J_c;m*p(d^)6;tTk^! zffD-_9LATsVlm=zcC%lO&SlAIQkGLG0BjnfO+AdztC_XgP+F?)^)L^4mopJp}_EvYps)_ZqVGeg4u7;Gql zv)+MUPR@qeD52KTO3e_UZ5tj`kV7)z(nYp*?sllC%hZ?o?WNqG<6R2lox1|i+;if6 ze^=dh!5dc0BsoMLSP*%z{&~W^K7wGqTn1w4`wm_;o8JSdg1(I0kWPBT3lkL!Zd=U} z30bc+#hhdE=yG~mEY8PxDQNb-?3J-JRy;;Hr*I+4!8=N2(uw&*Tw0`y(wkZ{94_zN za+*lim60aOnSQe%pk$!1G(RMjZCxr0Q!4Tp77-=vAY43)Y`LyUU}te7XE)m zdHX0DfKhgJ5w@($fMT06*r>7pI>+ogYLd0>8&{o|hq-p`n!`k`-vE%Ehwos_x=VNx zVw9&2Asj_s)Z7asc1kBc8!O}cwYs)8!}qm>sOW7^FE49){QSgQ(}0LNG~UEty%7fO zyIL#WX2fg8X5!x?&%uW{4@m}iRggHZQ(Nv%StG?OVDsLCoi(qb;_lMYQs;oOS?!YMYb#uiY z{#jmOGMy=-=-i%HF%n#w-c&!Y{eDHkAE^fyd(@40$}-8eoz1b^Et?sY_zco?|11L~ zrYl-5oCb>{==3DOQ-YUvJUxRrU3fg7qzOmxzmcUq_U>2WdhNq>t9k7sG!skh#f=mv9Glxd%6Q z@-vIoqh*?2Jlk>3zWVi;(l1!>r(&AC|4b3WQLzixsAE*Rc{}2{do{Q7v7Pv+oWAd0 z)H8mh%4Geq-(RNZ)pdOK5ZF&1qODIICB*;koi6@&d~FO(*w`p6!9PAt_NmdCqoFwL zEQfSpmx97#4e&A-K~L!-(QD>f9Vzq4S@P6s)vPK0qbI(;sKHf82Q;9fQ^&LgJ~>aI zhSdXq(*=z5sn>^-(Z@(gV!EH#&dYrOGW`V|9kLxLP+#wU4`Qy@>>BLEMZdJs+Q*2PMySx={$;-?~y=Dlk^AuC89? z?4TO~CTSm%#oW8>N$fH9$)%EohK9yqcXj;vWTX2=6 zKNRS0G;=`r2$6AU3GyLZ`YIJT(m2mh7=8c#y-;%ToRkS&$@2Qw4l)Db&WO*C`w8!5-mI-zu81@QfRbCcU2 z#wY8ZimBUQ5&}~g7M+KuQpthQJ)_Hc_z9TmpHIbtv61DWR(W~(_FBl{r}P#W@dS~o zDI9-jDF`*$;9Mld(pCKF4V-7@65^jw8O?-8`I~6X>sURw_Illq3%k}*Owm-JPP=-0!t;s1H<%!ORSgs zo{+G(H(U7?370a*EjMUd$pGj(CkkYdis1Hs{bYJL6^AGLE!elr6Nb@W!24Z z69I1f@Wvb=J@Rhd)C<{9mW%;kD3;WF_xb@J%LA3&%jR~|d2&vt)Yp^s2cJbBRv1qf zhz|1klzfkCv*EgAV)CVCdu-$YY?a1ptj0GFvpiZEyg}n4<4pzW{urUmYTzqn?b^NJ zhc`ywU2i-oleq?-Pfs7X)(DKLa7teMv(_|^)><4-Mueu_R;!uuSfMYZju{*o@_wa~ zG0rVjOl{_A(Ce}X1~>q~z8hB(MQiSv-$?&D1wx%nL{xIMbG3F$*T*0juD)2(#`*}x z=MMSFIn+$yG)%Ai`@3s;(00Uqek+1n*J1e7tVp-xvxoEAQ&2wq0>pc7I={NmP5hrJ z7j!-5Z<8&7eaN`l!-ZMMZ{sS9Mw~Z2nA{fL;xHzwtFS{pVsyf1V|bv%=sT`TP|zF6 zn1h_C!&^JQib8(AA75?QSKMf!Hh-2>-oa)?#o`dmHrbRora9+gX~9(+RVCzyB#Vcj z8O20Vu&oY~h74;uhiuVGgka59gMRkQnZO`WW=H`a1&{(|OnK*F#fB50;XeLX`a8Z} zo25`oYIw`d-h+otHWUC6;^xsdYeURuO*MkqP)iU!f0o$;j|Jpc1BGU?SE;_|c3g?m zVf5LrLi!Am`Y78cx7)h=gm*F3!vUSq7y!L;#_vk`tnbYrPFQ`gHLWI02Qd1P*0n9c zkiY&qupW1qr6b6sxjMHVnF(mkd{tHRJN4Ap_W~O~e>i4Y&<(f{+1|!o7B?18K0;n` zTF18%j-~L(qf1NIo>>nPL-H0*{xyBg(taG88K-->8`d-7t#ZcsMixm z`SR-LRhuSmURYJud>b|=wgTIjz2ZMnO~8_Om<^!%-b}^T{BRFInr0WiSKsZD+nsKf zcRD%F()p;EbRTe#BA2%AyFzrdl#eABBc~+oIk|TfFAGe|JI1$K#!uJzdeVu(P?eQD zw@q%}_1aLAw5F=|YT7;T!53j!>(V(+J)t%0qOiJIqB&PWMNz~309|(&E1Gs-W4i}D z`jcE~si|rJg1IX$3=bdoY`fE@?QOP)^Zt`NlaGG_yYcETo;EMoQC?H%2D*t(_P=NGv#_mwIn3=@nNi-w)_$k*f#Uum z*Z#+%;LoJ?5d3P}2zN9+?xO5*e-jO1hBXpq2;X(5;@yBn{|pEUr!KS-I7hSGa5q0Q zacn+L(C6%p3BRkOkTPc^&5^)c*p!j9L?a}ReL%g&!@1>I6_xrJVMk=HbJ!YWWzw8D zKYzHeqP$vT2OyS(MP`6XdSxyk2@lR@-qzu86WIJ_u^BF;c=)~Bn#$I|NIscYn;}Hs z+I*dmC|EG7GPt_GYj=}Jo0I9}uh6EbL`CP~4O^Wp1YAHOf4f4=ssGQeBXAT{9_>1FaqO1szWH&tXniL4g6pA% zC7K;5N@Iz~=D)~sb%}~Msj|WM^}W~P0E0XO_Cjy^)yyxfmmP0u&hb41yvytA`D(9b zvyOwA6HayPuwzWWtlPil)2k~J6GKkkW@cb8&FVR=OKutO7nfkU$lc0WXw0j#I<^tc zGNxeX)z0ScTKE0RKGfJ4VKg*X4@#2e3Kt_Z=U~RGQo5adm1&%Oz=2^yrz?ikeaf8o zFu6MRbC%-5n9f|Z-QLxMDJ@&x4G1Hyk6#}=H5t`N@p!!`Yvx1HW>Lem>nSFcRrbwr zVfjhOvCR2cV2PMm_tE~fL`r_+$x2vw$d?k!pG~FoH!ep`6pDp>x298EsR5B@pECH~*26LP)(O&0#=B@6!}UfU=34A7AFfp_Ke+}xYj zoSdG&e5vbM_0;zLhYwG|!>b=0^7$1Nvmnd3djG8LJJoJ~Zfu3G&r?%0q>%*ZN#5tf z*&ZY(XKWG>7Jj_B=_$z1pIuukk5q4vX4hmxftP`M_ZXO)JzxQpS5OeIp1`aLAeBrv z4>p$nAP@ec$)z{k==`IdLs>vm+yTLj$^yT8GK$;akya&cgOy@0$g)r z<(lVL27hwZ=65E>gI>NLJDt^!KA&FbH~PpCr8BB|#R04CdB{{l81!k7a2CIcc^+Zy zn=iu07yTkXUq_)6N8y~l<-Be2i-pc)QaAMP$gBoH4S{woEv>w|x=gKe=bl7F$Vs5B zpt*Vqgb=`U`_O~gj1J5EJd{^RX*%F#W@6%>^*hg01MK3sUEtavaEKkiDet_B3Nr(z zzKIFa(p~bp8|QWg#|9B|Yi=g~UFFLfzn{+Tk+RhJ#GRw6@cG!JX*nu0Z!qcaSa0`? z4$u5N$UELHymZq13hhME@7+8GFbjMJW6kFgS#kv*hfM2&4Y_;_2QIm~%*1Mk^IB2O zoyb#yCMJWr^CXNrw1A>TK+HD+L7SzR6@BtdpRR5Sh@i&%_f@=$R@pKjke*5H!U z2}`Fw^`OFwwVwl}9dLL{KA%$ek09tpAA6ksu0czS=b**9unzEsM~u~va_c;us4v+u zN?|9{-#gW#sr{ff3jgknJ5hv37c)(kS#m0zIkAwhOf433Vo1D?3t-{%?2Fu5jVyl5 zgM&BA1G(r7JE?P_PO3Dujr<;dZMpyY!3ZlJ^z#;3hdp`tcpCfY;Rhez+BePjegFMh z51zKo`|I)BL}a-!$B8N)Jef+6CwFpcG_6Y_5u7JR3fk=M{>ZZ*=Vd0#O}a^1@Yt|P zkNN1)6<;Ks7F-gll<`n|irllubKFl||98WK_o?f=`&riL@^Y&alkNC4TM^1DTBAKO`Ic2dnARB`ra6Q{LQ4TP=Cm%Vc`wsPci z^u;>*jI`sUx(tTZ`=;-QZeN>Ah~4if)VZAGhz!r=rG^_`qjS>2#bwD-@}Wnc zxnE{r=|tmp(h?aN=jwzc)*NLi1MKvZUc3lb1hRUjhvy~pp|qrLZ_g71cJ~9oT6NPn zr=_(B)V#;gzH#^ya~;9p<;e=bx80niGYT3(U)}?pVP)BIZ|ZT7v3i5!MlS#vs-UF3 z*3n+(Xl534L4;@`Q34yetaf!l@Feg;f{72@yk+#D`veyt3e`oox^j(-po08tZ0s^p z4dw@o^8=s;ZW_?HCj_#}r_JQ2JCCkzI$5#Vlj0`Gs5>}y$udX{0{ZK%>l7h-;r*Y1 zmHUa;ZnUiMd7XC3jXQ8D-BdOvQD_}QL_4!IbgY@Wjt|o)O6JceWG)NnCKrN&6oP=9H~@_7 z8Ys9UN$X>z*bG(ZvqP7?$bhvY{G!j^jrtk>`}+>W&OI3Ag!xY z4hO1oY5y5%BjQ1)G+OWT_2yz_}w{EQ!^4%-kr(?2%}Rf9{a?a1`f#KM3UKnOU>>#^tz_;=CEMXTTSK8F1IvLv}jNHo@Z|feWt(fa)*3 z5KkEc;4_XHeS$1_wnhXY79cp$ix)2#J)xX*?=?G2*@vq*9p;TKU!kz?b0ukQ#UG3= z#v<>6s$gEc==JKU>vZSS(BIko@AtbmaeMmIx=q%-%y`FUcwZtWkooHYWE>u&2re)l zoreHYx+gy$_lKIW>`7wBA6P9>q22bkf~0rd=nGiU^@r$RsFqQeLQUZlC!PQ&q=rHt zY_pz$uTc-AMYE(c(0fLp6$TH&WWUGhG_@)^tp+%@ zc@^~8^ifgxjDY_J_b6clcdW?mm8rdnM^Nt~^wQ&eAYWItp$a2Se+t$$o6h_ux0zw zO#|f0Et7x0tT3l8eL%AHSU8rp4gGaeiMXCj*ZBu))ymXF9W5Tx3@HK_T%iTLP3=GQ?{abK@MqBW0l4 z>*_Q6UtL(RG3C_V|3HC}X2cPT>2+@vc40?tu4y`x68h+ag*WY{J9saQN( zC|l}Xxi_}Gn8aQL#g)gsC=dL2?A5KXM|CcE(Uottuz1Cd4$|aVa5yr(zdL^Tu~t9% zlac9H&C-kf#ZX*w4Z`Hn-6-S9`B>`{mgP;(wo`d-OpVhnB~%a-&?xfiMPupKeCbI( zv^YA50`afNz#;QWUffg)DrJwR<4xpI4Vpu^hRUj@`9ZRBX3l#`-a$jEcc*cSIOBW~cXNM)X&I}M+(6%8B0Iy%EG-g3FS z4_vY`K%I|+ia$*;~Y}hPP`sc@*xJ~oj@_-;0Wom-!H=WCPBdHJx zxvcZ)czaEQRJ-VS#RobV+ezp?7RNaww?bz2Ml5DI{=JG)xv_XT6Y7o*X>8+TKthD*`cs5XC5BunmyTEWZbo3wTgfBNJYr8gphi` z;!3;hXGSF)AE9e&dqr?NLyB+#j; zsZt<|fz44O9M_+`a)5S+*;U%bo*>yFe?r;b?EHC^ot+&+Q&UDm3ymm;f5gf%|LWtf zfy>GW#-J4$;V%RYY@A-!)ZB-ZhR*ng&NEzvXp?LC{^YOje=EJIS$1hFTS5df8SspP zFxo`l&qVhr)MFv|*FtiZXl#G-qPe>}%ofrs_ISw-Me~jJox7f7Y-ciJ35u%k3i^Rn%^4bDuvOxVnmv+7{3_27A^ef~iCV zt+4TwD;+%)Q{J7Jf6A}iee>-n4TqjrFa0@22Pq-kV&P+c5`i^&pa@Eh7kPQv5N1GX za)GM)jo7PKubzh-{*r>8MIGJUvO9@dPWfaCm3Ivf+LXIDhOj8@GGQ~DPq#rI6~V%; z5ETIYcs-$dYZAH)6ay^-1$%*kgEfj40fQp6tU!mey8B>rjiMIFf~q>yeqo{hu;DD7 z!~BMkD6m&KzpaixKxj5VEt3oa=yH*FNq~)0S{;kG*SIlB1o=%ZnxU^TpwG+(JQ9p| zA36ZJW0AMj1l37~(*-Pn2>IW*6emaGn3}dW#?^*vO^d-v)OB7?uZ%IbxA z<_O}g7M50^npY=qTEHhgfojn49G~+DACttR;_cOL(m0NH9Ck!QW2p#Iq?kAgcXF+W zeWp?gMnWYui3=GCA})lG%T7dy$H;+|Ok@Jzf-kf#Y{8y$z$`e=il0x=DJ7%z^Cd_1&49d z_OHe>{C+PooN%w2p`n5BbDK^PM9AQ>%fVk7Q;!qlYru6IayfaBNtFmsV&ET%Vk4Sr zq;dFjIRf~kxKdjRdm<;WIxgTvHUEA)eSGk+XH?^{peP5I|MQ|ys?}sZ<;{P>qE=36TZ0(cK9;HICG3b!n3lDRVA+x5 z93#TW#vG&P{Jr@f@gRs2V1sq%QB(Q7{EZy@Q select distinct ?artifact where { - ?usage a ?usageModel ; - hmas:isUsageIn ex:ReceivingSetting ; - hmas:isUsageOf ?facility . + ?access hmas:isAccessIn ex:ReceiveSetting ; + hmas:isAccessFor ?facility ; + hmas:isAccessTo ?artifact . ?artifact hmas:isMaterialOf ex:FL_Logistics ; hmas:hasFacility ?facility . diff --git a/domains/logistics/configure-organization/q2.csv b/domains/logistics/configure-organization/q2.csv index 587a225a..7c177703 100644 --- a/domains/logistics/configure-organization/q2.csv +++ b/domains/logistics/configure-organization/q2.csv @@ -1,3 +1,3 @@ setting -http://example.org/PickingSetting -http://example.org/ReceivingSetting +http://example.org/PickSetting +http://example.org/ReceiveSetting diff --git a/domains/logistics/configure-organization/q4.rq b/domains/logistics/configure-organization/q4.rq index e11f1570..54b8093b 100644 --- a/domains/logistics/configure-organization/q4.rq +++ b/domains/logistics/configure-organization/q4.rq @@ -3,11 +3,7 @@ prefix hmas: select distinct ?agent where { - ?usage a ?usageModel ; - hmas:isUsageIn ex:PickingSetting . - - ?use a hmas:Access ; - hmas:isAccessFor ?usage ; - hmas:isAccessOf ?agent . + ?access hmas:isAccessIn ex:PickSetting ; + hmas:isAccessOf ?agent . } order by ?agent diff --git a/domains/logistics/configure-organization/q5.csv b/domains/logistics/configure-organization/q5.csv new file mode 100644 index 00000000..a2d25d7b --- /dev/null +++ b/domains/logistics/configure-organization/q5.csv @@ -0,0 +1,4 @@ +access,facility +http://example.org/FL_Lyon_Receive_Move_Access,http://example.org/LiftDown +http://example.org/FL_Lyon_Receive_Move_Access,http://example.org/LiftUp +http://example.org/FL_Lyon_Receive_Move_Access,http://example.org/Move diff --git a/domains/logistics/configure-organization/q5.rq b/domains/logistics/configure-organization/q5.rq new file mode 100644 index 00000000..1032411f --- /dev/null +++ b/domains/logistics/configure-organization/q5.rq @@ -0,0 +1,11 @@ +prefix ex: +prefix hmas: + +select distinct ?access ?facility +where { + ex:Forklift_1 hmas:hasFacility ?facility . + + ?access hmas:isAccessTo ex:Forklift_1 ; + hmas:isAccessFor ?facility . +} +order by ?access ?facility diff --git a/src/regulation.ttl b/src/regulation.ttl index 1fb67746..97361f14 100755 --- a/src/regulation.ttl +++ b/src/regulation.ttl @@ -21,7 +21,7 @@ dct:title "Hypermedia MAS Regulation Ontology"@en, "Ontologie de Régulation des SMA Hypermédias"@fr ; dct:description "An ontology to describe the regulation of Hypermedia Multi-Agent Systems."@en, "L'ontologie pour décrire la régulation des systèmes multi-agents hypermédias."@fr ; dct:issued "2022-05-01"^^xsd:date ; - dct:modified "2024-05-27"^^xsd:date ; + dct:modified "2024-12-09"^^xsd:date ; owl:imports :core ; dct:creator ; dct:contributor ; @@ -110,19 +110,14 @@ rdfs:comment "A Commitment is an engagement of an Agent with the duties of a Mission."@en ; rdfs:label "commitment"@en, "engagement"@fr . -:Usage a owl:Class ; - rdfs:isDefinedBy :regulation ; - rdfs:comment "A set of Facilities that Agents can use in a Setting."@en ; - rdfs:label "usage"@en, "usage"@fr . - :Setting a owl:Class ; rdfs:isDefinedBy :regulation ; - rdfs:comment "A Setting is the context in which a Usage is set."@en ; - rdfs:label "setting"@en, "contexte d'usage"@fr . + rdfs:comment "A Setting is the context in which an Access is set."@en ; + rdfs:label "setting"@en, "contexte d'accès"@fr . :Access a owl:Class ; rdfs:isDefinedBy :regulation ; - rdfs:comment "An opportunity an Agent have to use an Artifact in the context of a Usage."@en ; + rdfs:comment "An opportunity an Agent has to use Facilities of Artifacts in a Setting. Agents have access even if they never use these Facilities. One Access should not be understood as one 'use' of these Facilities."@en ; rdfs:label "access"@en, "accès"@fr . ################################################################# @@ -263,42 +258,28 @@ rdfs:domain :Access ; rdfs:range :Artifact ; rdfs:comment "A relation that refers to an Artifact involved in an Access."@en ; - rdfs:label "is access to"@en, "est l'accès à"@fr . + rdfs:label "is access to"@en, "est accès à"@fr . :isAccessOf a owl:ObjectProperty ; rdfs:isDefinedBy :regulation ; rdfs:domain :Access ; rdfs:range :Agent ; rdfs:comment "A relation that refers to an Agent involved in an Access."@en ; - rdfs:label "is access of"@en, "est l'accès de"@fr . + rdfs:label "is access of"@en, "est accès de"@fr . :isAccessFor a owl:ObjectProperty ; rdfs:isDefinedBy :regulation ; rdfs:domain :Access ; - rdfs:range :Usage ; - rdfs:comment "A relation that refers to a Usage involved in an Access."@en ; - rdfs:label "is access for"@en, "est l'accès pour"@fr . - -:isUsageOf a owl:ObjectProperty ; - rdfs:isDefinedBy :regulation ; - rdfs:domain :Usage ; rdfs:range :Facility ; - rdfs:comment "A relation that refers to a Facility involved in a Usage."@en ; - rdfs:label "is usage of"@en, "est un usage de"@fr . + rdfs:comment "A relation that refers to a Facility involved in an Access."@en ; + rdfs:label "is access for"@en, "est accès pour"@fr . -:isUsageIn a owl:ObjectProperty ; +:isAccessIn a owl:ObjectProperty ; rdfs:isDefinedBy :regulation ; - rdfs:domain :Usage ; + rdfs:domain :Access ; rdfs:range :Setting ; - rdfs:comment "A relation that refers to a Setting involved in a Usage."@en ; - rdfs:label "is usage in"@en, "est un usage dans"@fr . - -:hasUsageRelationshipWith a owl:ObjectProperty ; - rdfs:isDefinedBy :regulation ; - rdfs:domain :Usage ; - rdfs:range :Usage ; - rdfs:comment "A relation that refers to the relationship between two Usages."@en ; - rdfs:label "has usage relationship with"@en, "a une relation d'usage avec"@fr . + rdfs:comment "A relation that refers to a Setting involved in an Access."@en ; + rdfs:label "is access in"@en, "est accès dans"@fr . :hasFacility a owl:ObjectProperty ; rdfs:isDefinedBy :regulation ; @@ -312,11 +293,11 @@ rdfs:domain :Setting ; rdfs:range :Organization ; rdfs:comment "A relation that refers to a Setting of an Organization."@en ; - rdfs:label "is setting of"@en, "est un contexte d'usage de"@fr . + rdfs:label "is setting of"@en, "est contexte d'usage de"@fr . :proposesSetting a owl:ObjectProperty ; rdfs:isDefinedBy :regulation ; rdfs:domain :Organization ; rdfs:range :Setting ; rdfs:comment "A relation that refers to a Setting that can be used in the context of an Organization."@en ; - rdfs:label "proposes setting"@en, "fournit un contexte d'usage"@fr . + rdfs:label "proposes setting"@en, "fournit contexte d'usage"@fr . From 90fbedb96dc5645974226dd1c5a7b30e8ea8c3c8 Mon Sep 17 00:00:00 2001 From: Luis Gustavo Nardin Date: Wed, 22 Jan 2025 11:50:48 +0100 Subject: [PATCH 3/3] Updated README --- domains/logistics/configure-organization/README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/domains/logistics/configure-organization/README.md b/domains/logistics/configure-organization/README.md index b1125ecb..ffc67365 100644 --- a/domains/logistics/configure-organization/README.md +++ b/domains/logistics/configure-organization/README.md @@ -4,13 +4,13 @@ The FL Logistics has a depot in Lyon and another in Saint-Étienne. Each depot has one _receive_ and one _pick_ setting. -In the _receive_ setting, agents have access to equipment that can handle (i.e., lift and move) pallets, and list the products in a pallet based on barcode. +In the _receive_ setting, agents have access to equipment that can handle (i.e., lift and move) pallets and can read barcodes identifying the pallets' content. -In the _pick_ setting, agents have access to equipment that can handle (i.e., lift and move) pallets, and print barcode labels identifying the list the products in a pallet. +In the _pick_ setting, agents have access to equipment that can handle (i.e., lift and move) pallets and print labels with barcode identifying the pallets' content. -Forklifts are capable of lifting up and down materials on pallets to/from high shelves, as well as moving them from one location to another. Pallet jacks are capable of lifting up and down materials on pallets and move them from one location to another. +Forklifts are capable of lifting up and down pallets to/from high shelves, as well as moving them from one location to another. Pallet jacks are capable of lifting up and down pallets and move them from one location to another. -The barcode reader is capable of reading barcodes identifying materials recorded in the barcode. The label machine is capable of printing labels with barcode to identify materials. +The barcode reader is capable of reading barcodes and the label machine is capable of printing labels with barcode. Each depot makes available one forklift, one pallet jack, and one barcode reader in the _receive_ setting, and one forklift, one pallet jack, and one label printer in the _pick_ setting.