From 5f91256c317aa4a4168ea60abb486f509858912c Mon Sep 17 00:00:00 2001 From: jay-tux Date: Mon, 21 Apr 2025 11:27:13 +0200 Subject: [PATCH] Initial API --- api/.gitignore | 45 ++++ api/README.md | 133 +++++++++++ api/build.gradle.kts | 47 ++++ api/gradle.properties | 1 + api/gradle/libs.versions.toml | 46 ++++ api/gradle/wrapper/gradle-wrapper.jar | Bin 0 -> 60756 bytes api/gradle/wrapper/gradle-wrapper.properties | 6 + api/gradlew | 234 +++++++++++++++++++ api/gradlew.bat | 89 +++++++ api/settings.gradle.kts | 5 + api/src/main/kotlin/DotEnv.kt | 15 ++ api/src/main/kotlin/Main.kt | 55 +++++ api/src/main/kotlin/data/Database.kt | 32 +++ api/src/main/kotlin/data/Entities.kt | 82 +++++++ api/src/main/kotlin/data/Loader.kt | 205 ++++++++++++++++ api/src/main/kotlin/data/Tables.kt | 63 +++++ api/src/main/kotlin/server/Endpoints.kt | 122 ++++++++++ api/src/main/kotlin/server/HTTP.kt | 10 + api/src/main/kotlin/server/Pagination.kt | 18 ++ api/src/main/kotlin/server/Routing.kt | 66 ++++++ api/src/main/kotlin/server/Serialization.kt | 28 +++ api/src/main/resources/application.yaml | 5 + api/src/main/resources/logback.xml | 10 + 23 files changed, 1317 insertions(+) create mode 100644 api/.gitignore create mode 100644 api/README.md create mode 100644 api/build.gradle.kts create mode 100644 api/gradle.properties create mode 100644 api/gradle/libs.versions.toml create mode 100644 api/gradle/wrapper/gradle-wrapper.jar create mode 100644 api/gradle/wrapper/gradle-wrapper.properties create mode 100755 api/gradlew create mode 100644 api/gradlew.bat create mode 100644 api/settings.gradle.kts create mode 100644 api/src/main/kotlin/DotEnv.kt create mode 100644 api/src/main/kotlin/Main.kt create mode 100644 api/src/main/kotlin/data/Database.kt create mode 100644 api/src/main/kotlin/data/Entities.kt create mode 100644 api/src/main/kotlin/data/Loader.kt create mode 100644 api/src/main/kotlin/data/Tables.kt create mode 100644 api/src/main/kotlin/server/Endpoints.kt create mode 100644 api/src/main/kotlin/server/HTTP.kt create mode 100644 api/src/main/kotlin/server/Pagination.kt create mode 100644 api/src/main/kotlin/server/Routing.kt create mode 100644 api/src/main/kotlin/server/Serialization.kt create mode 100644 api/src/main/resources/application.yaml create mode 100644 api/src/main/resources/logback.xml diff --git a/api/.gitignore b/api/.gitignore new file mode 100644 index 0000000..9c6bea1 --- /dev/null +++ b/api/.gitignore @@ -0,0 +1,45 @@ +.gradle +build/ +!gradle/wrapper/gradle-wrapper.jar +!**/src/main/**/build/ +!**/src/test/**/build/ + +### IntelliJ IDEA ### +.idea/* +*.iws +*.iml +*.ipr +out/ +!**/src/main/**/out/ +!**/src/test/**/out/ + +### Kotlin ### +.kotlin + +### Eclipse ### +.apt_generated +.classpath +.factorypath +.project +.settings +.springBeans +.sts4-cache +bin/ +!**/src/main/**/bin/ +!**/src/test/**/bin/ + +### NetBeans ### +/nbproject/private/ +/nbbuild/ +/dist/ +/nbdist/ +/.nb-gradle/ + +### VS Code ### +.vscode/ + +### Mac OS ### +.DS_Store + +.env +intrinsics.sqlite diff --git a/api/README.md b/api/README.md new file mode 100644 index 0000000..34aaed0 --- /dev/null +++ b/api/README.md @@ -0,0 +1,133 @@ +# Intrinsics API +*The backend API powering [https://simd.jaytux.com](https://simd.jaytux.com/api)* + +## Preparation +1. Set up the project's sources (recommended to just use Intellij IDEA, and have it figure out everything for you, which should work out of the box). Alternatively, the `./gradlew` wrapper can be used to build the project. +2. Create an environment file (`.env`) in the root directory of the project, with the following variables: + - `DATABASE_URL`: The JDBC URL to the database; for example: + - `jdbc:sqlite:./intrinsics.sqlite` for a local SQLite database + - `jdbc:mariadb://localhost:3306/intrinsics` for a MariaDB database (served on the local machine at port 3306), which should already be running + - `DATABASE_DRIVER`: The JDBC driver class name; for example: + - `org.sqlite.JDBC` for SQLite + - `org.mariadb.jdbc.Driver` for MariaDB + - `DATABASE_USER`: the username to connect to the database; not required for SQLite + - `DATABASE_PASSWORD`: the password to connect to the database; not required for SQLite +3. (Optional) change the default port in the `src/main/resources/application.yaml` configuration file. +4. Get the intrinsics data from the [Intel Intrinsics Guide](https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html) and post-process the data (I am planning to automate this in the future, stand by). + 1. The downloaded data is a ZIP-file, with the relevant data files being `files/data.js` and `files/perf2.js`. + 2. Post-process `files/data.js` to be a valid XML file (when downloaded, it's an XML string in a JS variable): + 1. Remove the `var data = "` prefix at the beginning of the file + 2. Remove the `";` suffix at the end of the file + 3. Replace all `\n` with actual newlines, and all `\"` with `"`, and then remove all trailing `\` + 3. Post-process `files/perf2.js` to be a valid JSON file (when downloaded, it's a JSON string in a JS variable): + 1. Remove the `perf2_js = ` prefix at the beginning of the file + 2. Replace all `{l:` by `{"l":`, and all `,t:` by `,"t":` +5. At this point, you are ready to load the data into the database using the application. Run `./gradlew run -reload /path/to/post-processed/data.js /path/to/post-processed/perf2.js` +6. Finally, you can start the application using `./gradlew run` + +## Running +By default, the application runs on port `42024`. You can start it using `./gradlew run`. + +To reload the database (it drops all data, then re-parses everything), use `./gradlew run -reload /path/to/xml /path/to/json`. + +## API +Most of the API is paginated. The default page size is 100, and the default page number is 0. Each paginated response has the following format: +```json +{ + "page": , + "totalPages": , + "items": [] +} +``` + +Typically, you can use the "root" API endpoint (e.g. `/all`) to get the first page of results, and get any page by using the `/{page}` query parameter (e.g. `/all/3`). There is one notable exception (`/search`), where the page number is specified as a query parameter (`/search?page=3`). Finally, the details endpoint (`/details/{id}`) is not paginated, and returns a single object. + +### `GET /all` +Gets a (paginated) list of all intrinsics. For each intrinsic, the following fields are returned: +```json +{ + "id": "", + "name": "" +} +``` + +Other pages can be requested using the `GET /all/{page}` endpoint (`GET /all` is equivalent to `GET /all/0`). + +### `GET /cpuid` +Gets a (paginated) list of all CPUIDs in the database. Each CPUID can be used as a filter for the `/search` endpoint. The data is a simple list of strings. Examples include `PREFETCHI`, `SSE2`, `AVX`, etc. + +### `GET /tech` +Gets a (paginated) list of all technologies in the database. Each technology can be used as a filter for the `/search` endpoint. The data is a simple list of strings. The full list (at the moment of writing) is: +- `AMX` +- `AVX-512` +- `AVX_ALL` +- `MMX` +- `Other` +- `SSE_ALL` +- `SVML` + +### `GET /category` +Gets a (paginated) list of all categories in the database. Each category can be used as a filter for the `/search` endpoint. The data is a simple list of strings. Examples include `Logical`, `OS-Targeted`, `Swizzle`, etc. + +### `GET /types` +Gets a (paginated) list of all C/C++(-like) types used by the intrinsics. The types can be used as filter for the `/search` endpoint (but currently only based on return type). The data is a simple list of strings. Examples include `__int16`, `__m128 const *`, `string literal`, etc. + +### `GET /search` +Searches the database using the given filters. The filters are passed as query parameters, and can be combined. All filters are optional. The following filters are available: +- `name=[string]`: searches based on the name of the intrinsic; employs fuzzy-search (using `LIKE %it%`) +- `return=[string]`: searches based on the return type of the intrinsic; exact search only +- `cpuid=[string]`: searches based on the CPUID of the intrinsic; exact search only +- `tech=[string]`: searches based on the technology of the intrinsic; exact search only +- `category=[string]`: searches based on the category of the intrinsic; exact search only +- `desc=[string]`: searches based on the description of the intrinsic; employs fuzzy-search (using `LIKE %it%`) +- `page=[int]`: specifies the page number to return (default is 0) + +Passing no filters is equivalent to using `GET /all`, and data is returned in the same format: +```json +{ + "page": , + "totalPages": , + "items": [ + { + "id": "", + "name": "" + } + ] +} +``` + +### `GET /details/{id}` +Gets the details for a single, specific intrinsic. The following data is returned: +```json +{ + "id": "", + "name": "", + "returnType": "", + "returnVar": "", + "description": "", + "operations": "", + "category": "", + "cpuid": "", + "tech": "", + "params": [ + { + "name": "", + "type": "" + } + ], + "instructions": [ + { + "mnemonic": "", + "xed": "", + "form": "" + } + ], + "performance": [ + { + "platform": "", + "latency": , + "throughput": + } + ] +} +``` \ No newline at end of file diff --git a/api/build.gradle.kts b/api/build.gradle.kts new file mode 100644 index 0000000..a4b1b6d --- /dev/null +++ b/api/build.gradle.kts @@ -0,0 +1,47 @@ +plugins { + alias(libs.plugins.jvm) + alias(libs.plugins.ktor) + alias(libs.plugins.serialization) +} + +group = "com.jaytux.simd" +version = "1.0-SNAPSHOT" + +repositories { + mavenCentral() +} + +dependencies { + implementation(libs.exposed.core) + implementation(libs.exposed.dao) + implementation(libs.exposed.jdbc) + + implementation(libs.ktor.client.core) + implementation(libs.ktor.client.cio) + implementation(libs.ktor.client.logging) + + implementation(libs.ktor.server.content.negotiation) + implementation(libs.ktor.server.core) + implementation(libs.ktor.server.openapi) + implementation(libs.ktor.server.auto.head.response) + implementation(libs.ktor.server.netty) + implementation(libs.ktor.server.config.yaml) + implementation(libs.ktor.server.test.host) + + implementation(libs.ktor.serialization.kotlinx.json) + + implementation(libs.dotenv) + implementation(libs.json) + implementation(libs.kotlinx.serialization.json) + implementation(libs.ksoup) + implementation(libs.logback.classic) + implementation(libs.mariadb) + implementation(libs.sqlite) +} + +tasks.test { + useJUnitPlatform() +} +kotlin { + jvmToolchain(21) +} \ No newline at end of file diff --git a/api/gradle.properties b/api/gradle.properties new file mode 100644 index 0000000..7fc6f1f --- /dev/null +++ b/api/gradle.properties @@ -0,0 +1 @@ +kotlin.code.style=official diff --git a/api/gradle/libs.versions.toml b/api/gradle/libs.versions.toml new file mode 100644 index 0000000..ceb7578 --- /dev/null +++ b/api/gradle/libs.versions.toml @@ -0,0 +1,46 @@ +[versions] +kotlin = "2.1.10" +ktor = "3.1.2" +exposed = "0.58.0" +ksoup = "0.2.2" +logback = "1.5.6" +sqlite = "3.34.0" +mariadb = "3.5.3" +dotenv = "6.5.1" +serialization = "1.8.1" +json = "20231013" + +[libraries] +exposed-core = { module = "org.jetbrains.exposed:exposed-core", version.ref = "exposed" } +exposed-dao = { module = "org.jetbrains.exposed:exposed-dao", version.ref = "exposed" } +exposed-jdbc = { module = "org.jetbrains.exposed:exposed-jdbc", version.ref = "exposed" } + +ktor-client-core = { module = "io.ktor:ktor-client-core", version.ref = "ktor" } +ktor-client-cio = { module = "io.ktor:ktor-client-cio", version.ref = "ktor" } +ktor-client-logging = { module = "io.ktor:ktor-client-logging", version.ref = "ktor" } + +ktor-server-content-negotiation = { module = "io.ktor:ktor-server-content-negotiation", version.ref = "ktor" } +ktor-server-core = { module = "io.ktor:ktor-server-core", version.ref = "ktor" } +ktor-server-openapi = { module = "io.ktor:ktor-server-openapi", version.ref = "ktor" } +ktor-server-auto-head-response = { module = "io.ktor:ktor-server-auto-head-response", version.ref = "ktor" } +ktor-server-netty = { module = "io.ktor:ktor-server-netty", version.ref = "ktor" } +ktor-server-config-yaml = { module = "io.ktor:ktor-server-config-yaml", version.ref = "ktor" } +ktor-server-test-host = { module = "io.ktor:ktor-server-test-host", version.ref = "ktor" } + +ktor-serialization-kotlinx-json = { module = "io.ktor:ktor-serialization-kotlinx-json", version.ref = "ktor" } + +dotenv = { module = "io.github.cdimascio:dotenv-kotlin", version.ref = "dotenv" } +json = { module = "org.json:json", version.ref = "json" } +kotlin-test-junit = { module = "org.jetbrains.kotlin:kotlin-test-junit", version.ref = "kotlin" } +kotlinx-serialization-json = { module = "org.jetbrains.kotlinx:kotlinx-serialization-json", version.ref = "serialization" } +ksoup = { module = "com.fleeksoft.ksoup:ksoup", version.ref = "ksoup" } +logback-classic = { module = "ch.qos.logback:logback-classic", version.ref = "logback" } +mariadb = { module = "org.mariadb.jdbc:mariadb-java-client", version.ref = "mariadb" } +sqlite = { module = "org.xerial:sqlite-jdbc", version.ref = "sqlite" } + + + +[plugins] +jvm = { id = "org.jetbrains.kotlin.jvm", version.ref = "kotlin" } +ktor = { id = "io.ktor.plugin", version.ref = "ktor" } +serialization = { id = "org.jetbrains.kotlin.plugin.serialization", version.ref = "kotlin" } \ No newline at end of file diff --git a/api/gradle/wrapper/gradle-wrapper.jar b/api/gradle/wrapper/gradle-wrapper.jar new file mode 100644 index 0000000000000000000000000000000000000000..249e5832f090a2944b7473328c07c9755baa3196 GIT binary patch literal 60756 zcmWIWW@h1HVBp|jU|?`$00AZt!N9=4$-uzi>l)&y>*?pF&&+_TFn6P!tpfuCgFOQS zg9x%hUq?SrH`m}0JzuxazGqJRcd6=Pt~!mh;~Y*{$O0N=#SJiX+c#Ny() z5$qKr$3_3K&)u^8>Y}1Wol5gvtvi)`3?mK+C~~UQC^!hYJYeYFGKue9-qCw4o5X*7bh3|A;nWZND75EF ze{tO&pM$4ELp+aZ?QzoE7j$%WLEORBp=SzDt`Gbewa2e(Z#3Wc6A!;?y*nx`vgcyI z`OlAOqD=XLAHqaSD`s~^?TI~T9ilUp>D^Il(L2wN?+$7CkSF^7;NMTL_ZC&mm$~=; zIQyR+3l@p+pZLihTEoG=>W4v)mYd0SNh=azMF1x$WOy zUtFRnpmXEiwR@K@N#^CBKC#ko^P9JCbKai}5PufHZ8kNh?}+j@vBpIKf9n|IS6e#d ziazwXb7O9gtnnJTzY$j^xXt=oRkAaPzRmopRvFNY&t%(_rRbqd= zJoRenM%lEUx@j(F7b<4HVOp=zGS~IpYLDPs=OzAn-d6c9r2mh3XN=IdZ^nPyUiUSv zH?;V5z`>5kMe9j!LEem_bfZUG7urPC#jL(GEmeCpkLZS zCJo(Fie>YAZ~vOvll+7;E%i>`X46&bLb=Btlo?CPXKdGD@0fXa+r9dv>2{A)_BXBP zUc>7vdygr2yI=O@uSqM*W_zx_U+}rc@1SF}uBef`jmwsq%O3{@%U{^Qe^+WAQ?xVF zw6?_wZY;~Kos5A7?Q4%VAmsfZXl3%ed#-jU=x zrJ#%Tx}~E_mXZ25)yHKjX(?iw@jpxhwbp*%y;R}5Vv$dR_iDNR*<}R>7ECs5Gq|CD z{w~KyF1}e|2ECpWSnVw`W^PQdufA+(o5(U<-&ZGo?&S8^<9*V9x2c&J2Cvc%cWG7A za-FKgG;0N0@XBw$*kgn@7laCKHZ^oVlj_!0*|p;0ks8k!h0o1OS?ek_mY!=}(>vK} z(}Ihe8Yi=wNSXS7Kjwd=QewB7)X_-+e@k`+cg_^sb#ZfhoV!c-vMatv4~s}%6V|;J zV3c;`?Mk21C#Lom8yHR5GGmT6cUH_o<4u3Wt=CrWx>xb-+?rg!!i0r#MsMDf8RjpF z6)6i=z59lBo9|++bk9WA%ys8ybD#MXq^z&tx!X0Y$3Y{W#c;*!UA&jske1iE;Eq0C%#SEDcJPK;p?G~L*vw|raaH`Gb|O+XnQQ&Xz^sK%RH?+ zT<>;13vH0K?Y50Q%f95Gb4uOiR|$5mPkYzS>Wr$Gdg}NVgR^s3uItMAnKOGC7cYC@ zvgvu;Jkd>Wu05>{+}ty9gJwH|+iC1FSGZqGP>*(UJB`jZb2DbF{2r`xH&fNACA)lRo+5HCM#uQN z-}Wi(vx~i}XFNS)Hdko=aZUY&pEn(RCAsa)bXfxC|y|0(v{#!a04c4K(dqi^dijQzJ|KHqS0$|A+XFPV1g`Buz0 z>vOTuNvn6;*)NOFoDA_i_1=l~>a-mjxP41h{JS}ir|JKiGS%kt=4rnDlizbo&8zFI zj=f#>#OBnYWtB>nhfe#wNcdZKhvVmb^#*=Zj%0C`vSKsl)H&s;XHCz2PdTe?aeuby z`j+|k_iQhIqqub9{-*s$c^A+4*l_sL>5WGe**4B!{LJV9!@M*1gT6de*tsKe&ho(2 zCALOwi#~K2{wOQdxM$lpX?z`u7Av?`yP2~yw&EKQu_TTQ&c&Zaj?dGm2i)u zr7H3g?xN*vv%0dop5A*U74OWod6w5PgWaAh13h#lkIQU2cJ7^nDK8ZAE`4KbTi^71lEu+T)AD&~U7YK(|5%+~-|Ayg z{&nS_)lK>Hn|k{fha8kW=-28M`cur;`p)wd=78G*8s3S&@6LD{p`&gc^kPC<|H9xy z5mQ7k2Qf$oz2xNY*v?vRzVh!zmwC&Fem(53}Ed#zUNL}X*4?BEyT?g)LqhTEYuwoyrawOvzJkEaPCe#ja*Gk z`w9|^5_3~aQj2u+5_40Fk!(e8pCh+~`BB@d$vK%AP1~z??AO^aF)#$PGB6loDtAmO zE-6Y(E^*G!%}vZp@yX0fbQ(s z|78L~moiKg*9u-bay&8edTzpW9_PjNhwd-ZH@SF3{z1RdJ=qBX)3$s`e16Ze`u)!0 zXZP;f*Vq4J3vj#Xz+`Pz#_O^n+2Q!-1J!~Rk+PPum9ngD6<5E;L?(Bn6))$xHSzvN z$uQ}4>GJ&5xzSrHc6)oQdKkT@`c$j*8}$Wh_Pd$ek`9aeofO=2d8>EWb=|ACnKgH) z_Wz0Nub$iR=EV1Nxr(`gi8pqf`MUN0{Pi`$i?UXSt`wY|*DKg|IOlQC{LewttNmWe zwz905D*0wfZCdoEN!-p$TDjY|tkGSxAbZl6Thk8O>YV8PzEk2xQ(|`9finm1ua@YF zD>?Ow=h~D*UuBl+dPzz4T#wh;tsi?|`o)dp9al?a`%f=ipluy7t9M0F*E{E}r4nI* z+|J=0oTUddemN)J%)hgsf9C36+vKkpCO$B8{8|0t36t-X6!4w>^@Tv@Zf~e=F za(zY3O+8lI-6|RHns1W2c{aYIW{<-ci+CBw)8gF9N4~jr)Xxu#P~<-4oiO*C^s1n` zIo2yhDqeqS(|m7dE7;}th*2&mub^+sqZ@PPB+LBIkorI4(fkSP1wV%=QHu^n6dPS&+c-xn{@W1jcevokw!&_D@#- z=DPI5+gZtaPd1+5~-ekRfOMTfx6-hQOx7Zg2OP|c# zcGN(kGp%e(t#06zHBL&eEtiEVT%0I&ad+GDnXby`4X&k~zbd;qZDaKIwYr-F$~ZoS zJTbW;d?C#AxN6KD!Gn_`jD7Y+%vi>SrG7HVpo^9RsPId8Gowh&qqT#zIdCle4cVCn8cGF_%?>=(dBGOrH z4(G0{5LM>+yZr5{3f{+BY6g0by+!jC)E{e$_B%>Vu1Oc()njviAw&L3jfCj7l}YTo zwYqKuCmvk3XW!aIE$by09BN#B$ayCJ?Duvr6#pPt`j_B--o?u3j(3#r z*;2Dl_KrC#1=>Q?w?%)EQjdA-GpUMmul%C?N%Bq;C%eu!jE!sAdse1RZ?oXng=(!; zW*_9d*F~A}*?in~DOfwQDWmSbRH@$VuzMB}Hv~+x*bOdY_47y;R#ldm{<`N-2GzsS9Ri2{*o+f1qwjEB|5>Hdf;v!wTqaLhtFS?2y}}L= z^`LbNvj6_LBA_DW&iO*3RzI=J?+M4T)z?;W9Legc>v{5P#a|bX*&m-d2L1VR|HT)D zvpXg1w>Q1xnxg#0Kqub1>C^{VvCP88hn6+lmk4TJiFUl7qagD`j=50jcfY}dzj=bKQp_K= z>ztQ)lD_m_&gy!R?eh8dGpX&T0uAno>^t{R_m}WXW$)7W#pg;N-4O_!`0q$V&&~Z4 zCOk~upZtUW)-Fwkz@~?`4=+Uj{ajKpDNLM|VSm9QBiU~I;|Z(})zev`S2kL0d$~H& z_u;k~&;PNa7Fe}w&sDlJGB9{EVXZrniYLdS^wQkayb{-nDp&i}p?6zC+3$pLDRCWoaA?}Q%b7FW(u7W)S+V}MVU`Dc+Tj)aG}$mK+jp5{_SWfm>A8{S3F#yVz3} z%aU>w#I?>Osa;zAyuo%!OqX7x^k$WX3zz;Ya=Z}t=@>PGvRAxirl9JME zmn;3=`|UPnt=#xs+iKdHTUVx9M_gTgY>n6J>}ih{^pu`8SaWJl>EiS!U*B!BJ|6s} z?$EcA%lleo&zur7DCaX?u4T67sPFCA-z=!Hvibg_Uy_Ur4Czb^44{@2Xt)s4dea9r zfRJJZttHbN=<9vhL7?{XwPRP-uTnp+WWwcUW42VmHIPF?rQ-gw*PB%Do+u0cb=&3# z^Pj*+X01X#T(J>l&(7}q-Zpdo{q^|_-z~~7looguO!Cp)Vb)ToKW7u`=ip^6|C4s4 zJ)Xj@`li(8X(#6%EteNIdcyxQQ7HZk@kRXxD#T4)fcc{83Mg*PTfV z&ShHIcr|kyhwql0ZRwk*9lc$UbLBu?U}3hFY_#QpM8WkFm1V@=pOi-p-{3T^t4wSR z4C#Cf3~HFwG*bBbBPI2@VbSHnp%Ql|FPm#JGp=Jx=E9gKN|{d5TemD&dnZcoXxxQs zVqF}UQ+(K$%`})L`gHS^Ar)9rIU z&n@1!dH?Nye$T$w*ZpHXaQcT@Pp*af;~ELZIoYoA)1nF)^SNIxlDOCTKtRv+1D9U6 z4E7EKYVF6mgEbvrmo9+s&~}*U{|r zw!CLtLRQPxt+;+QK z;fkeXjn zOeX3##!H`Xi9Fu%INxINQ(fJ) zx1!vfPS2Qk`R!q$q{8_>J)<{YNp+Tf8$Urn#@u+8hiGD2*Xq-=O!d#T98QZe6$|ke z&o1A5wB#`7Ep02~J+E*2g+4pJS$E;?OAMD^ORapK-TZ3H*_&CvUTv9GzV4L9sU3QX zI}=$ZHWq|!PQR|XS@T}J^Q^sBt9j>iu36EVtQW1qb3A*+rTr6gWLND}f3aoZ>gq?* zLBTb3Mo-F)**{$V>e<%{?UT2XGFulNJW-YH*DqeGyf|`^LYCe7r$(2f7A{DOJRP!U z;isUrf`NV0gqVI;l*%rd%NJf@5!AhFBaf@(Ys13^`9Fj&h`djKo%^wGndH)W<|gyI z7F}*EiZ8T$`8uXG+<&Tc`HpG&(ph&i_H>MMuamg%CanLU`C)VM9TT2iN*Wq_9#(J6io5>7=KqfE zA73wE4Lqo|!7he%hrGa%PuHq{C=1KXeELjAbk65R->97qL!!w1Zo*@Al5Fh0L}uj)nc&%e?r@OO>UbS$jNs=YB~P5!~bQe|C%hA2BH= znM`ZG3-=RGaXr6uj$>)_l-&XqrzXrw`Et@i<#RVjz2F*=5356@j?R!y>(VaV8~Ni` z^Wq6bo3zZnTg6TJFgy0P>V)e%$|c-mCYW2WTb%A(;?diXS(I?-T$#PTy3C4qlV*vx zy_vR3rtQYf$D+?yBtMgIPfTmEc2b|x;dbpUOHCQu%d%6?i%x7+epq4Kv#mg zOES6kS@+P%b94JI?4BVbkZ1d$r+l+gf{kO78;7*22fwBYkGhvaTyItEVW(LttC{*r zjxBuR*nX)o!}xss@hPuQ2-?e9We3^#J~rlkpG`$YcS36` zm!3-&axX+J>n~Gxxqdmpntgc>P4D zY5iV?=eN)Jy*!{U@`&G|>d1SGwmk6Y{?CM3i~M=pwSFlB1H)4W1_lkhwMal>QE_UK ziXmjUp|!`6>yUwf>;H_cTe-@f?&`>Hj$5d~(bc5h@irj(63e7l4`V7A_*IwfD0#^9 zxt;(0|Lea$vTQhJ;Ubab(sBM-TJgQGF3!zoOnR>z-FK;G(zT7T*FNcSUhX|NwQ#B) z|D8BrK_#^_y}GWMsS6{XtP-++c(lvlX69M5;7gWeElXYtd%X&h(KmgrtN1s3@)CtF zALj0huMkgoP~Wid`ib~AlCK(6exVKRsEDRjdowdI?B~SVuSKdbpWx&Z+K?>j^n>TY2b+|b}OwOfSC(euOoZLzPNZmQmP ztzn&iDExp+vscoeNz9NmrG-`5)M5UvVK z%n)o^I(O}sB%8^XD<^GH{n|4pell<9n{KD=3r-glzFN9c!gy7nL3sHkR}Z%PdzNXs zDd~%IaYgo86!C-{T4=F%X7XvS@L)Mk=gI5V&f1i?Y@2WBbqgV$wcl=)xq40B5cfsR z{K@qq75(g;Cst*yh|-JGds&vFSxtqW6>w_3fjW=B_c(+wrnO^cgb zwLZvR75QtbHe;?sNYv73$81j?&9;a2t2Ra@ZL;-yd#bI-XjxX*!Oh~lPxlpz&7H-v zP4MZ=IVUw*of1sEBCSH46TjR{-IcuRCr9Yi6&r+^w4TpNGWs&5tS6+(`Q(iDbZ=Lg z(^t0pwS3zawBEA4NGI27tJr%d-`e$ITjbAuuU4w}XVx>@@xRpY;pPR4y6ax(etDf< zw?89%%c^GY68#JQ6U&OXtY3UnoTs)$TY~HT;&--hV>6a-jC^rJ=haP_Jvnl+Dz6n} zZ$1`U$8fFd7vD*Vb(77dzsl}axMSkaVt?Q(=erN-S9X8kowxMg`wVM_c>amY6i8}*o6$?gdD-OIh=2GS{b4@u3*VkcMnl3;J)kPxF+xN zDObjJ!2_~~UMglX-_U2Vu&Haj8Lcu~Y3+fBVPD=@RP{F`8LO`QF;TnEjw$_`R>o2N zFvTMEciZnDk~ok$Yx&7sW82MEo<+^iX6JF1v$pJS^gCj}^l@L8BHzawU4o?_jk*(W zy*Y zvO>WwoTX8_prK3Yn9B!66;a;_ZWW1}wxnC`eK+&%!XJWv^!80~QN4JC|3SOaxw!L1 zmnJbM&w6w2%(;JQY2|spKVRQ2&yZGlyP+?TIkTs9vdOx|848`A%)uK| zYHoMdNkOy20VgM$u2!qOx^->W>j?jyIXA8@t)0)>c170R;$Ljr#Eli-KN>j~om?$s zvz$l!_E+C%yT`NjBK@Z9;VM5JW97x)>sfy~(;(&j-Y>a7pY*=3a9VlV=|<7Xr@d{y zt4a-uRMIB2$n?EizUFi3zq-qDUw3|)?bh~h<0b8X)1vjnO|!2~?^~hUlW(B1W6jDZ zx5Ol?Yy=%&%t(Eaed_FrEiZz3rDadZCLI;Ocr5Js`_`Z7HX9#x+FwoicPe3HaPG&C zizb%DBuCgCl0BZB-eh;7Y}r+ZSo4}Gx;)2LZP(TQ=Is9UsKe~@Q&t&t^K8o6G0)YU zN7h{8S@O&5M_WJK>*NbJuedR(%W(PQG_mal=M5^?u%*nfICs?Cf}4Ct>-W9UVAt}`ozTC1uy$-{FoY- zZ0M<5enH;pc}7@V)T89?sY=o}x;dP)4NW%9;ge{#5I2&$%-7X-r(ETF_p@}Bkha+Q zd<@!*8!nXOG8QWacs}>M@&?1tE-Go4Gaww!RAJSV(0 zp0D!zN%y1vGmqMCxXUcL&eh0gtA!>H>+xkvv?chAq&UmsmdZPLFAp-yU z);`&>>5|nlPich*Y|A}sI*YSs-^lcy6xS&&eur&N(PYu9D>g3e)49BlssBLq6v-JP zMi>4yKa{Nyk@)73mvr6liNV~5=Xbujx%v0o<+iK;ex4s+$86BvZseEzk%iaWsBOcE ziIWu*Bi+QNAKuZlT1LL>EZ6Z>0lU?lkCpaGE8cmsL-nzl-6X??(!M=C8fF$;GUbxL z=H~ZQ)wCt*MFO@QZr3ghXtQ~yC?BgdFbwSw=FNlnfV;vd8nZHQvBai z-tawl7fqjiD`mp9HMw&iP7%m4$x6MuZ~3&wvdTe(5?q%+n%ELT+o?l<}N? z@}nj3LUi@M7Z((xqbL7#f3-bp*{WGneJ*a~-8|{_6rZ2Y?>G2LG_8siyi$5&aen&F zUoMljf8fiA&bXacRk|m?VngdHr_09!Z$5d+afoBCa=i!dy6YRv6Kl)V5I{U|z z$HuIxIfh66{0RBLFyC0`XVtF!cQdXDZ}v``XZyzEpk)tdNW7s6fBA-_a4FNfCF|_3 zeo2#?lRc})v{)rpb?=Pn4I4W@{yJjf{6ry=`>Fe`X9YED9b6+Tu1M(pY}-=j;c)ma ze@m>EnE3zb!WXO)o)uS{C$z@uVC3-i};y%~q(^JCBqg~lKrm-}Aj1$Ny6qx_e ztZe`5W2dAwY}c~x4);@Due`9xZ)Id~=d`7I7V!0)~HOfSDfIntW5Av<2S}V&W}9{ zk3GA1TudNM{Da=fwwFC$4868JT(@G{q@IV&bMmA9a?8}3tgfEmbyDQE>wULJ?kw{b z+kZ8#V9*yl<)wV-{fw_i)c3iU@E2)%-Y#hRGBv$gLc`VHYyYDV%^7-j?kVEU`ria} zm%1+rkIJ_#W)=##uRJ}$o5i?0aN1#sXt%Cdx4zh=+X}9>?t9R9t9@M((`1&&HOn$Y z9cI)8aV|OWOkuYjC1YSmoV)Rw}Rj29V)+`=uEo8cb+47 zqJYc%J!}_Q(+k-b%|G`jS+hYu<6qFE|7c^PTeMb3`7$vuyk}uxa3iKvaZW5w^~@_y z%`46<$t+6^E-A{)OLxxC1dzVs2XojO$h2gT6 z6}~>RuJkWy`Myy0)q}F>XYxAhkN!WmV zEv@-kbK(BvD)%>)b2PU%^?fL74SP06ZSzHKQK4tjN>hC8r_`-bDpk2XF|2OA;1~W@ zvA_kKewV*5&8tx2Q5CnzWZm`r+m;tqm)=&KO3jJ?5qtUT(hCc(Ock6`+H|+m-{#n* zqSp>GoY#fx&ihXI`p{?VNz;RgOPJ~pzmQ~_6Pv$j)4E&t)djAL+@APiPn{ZH@Wto5 z_TI3bFn5LBoRwy|clr-1FU`Bs`}x}JQm3c!7g|1Ud-YREO5$U5{j4+r&GUbs-nh2m zLGCiGEzOPZPAos=F%_NWsa2QZekW3pkhFUn%30bc*fwuNU?IZx+AlR5*0S zwTq*B@m(dKW$#neGrs+C@V-3Xp!VQwL;aLLJiZYUuIKY^{An!|tuKy@IHqoASyN;w zbUfy*?V9pE8v~x0=1=;dUO(`xkAvxaLjJxeIIz3~GW547S81Sns_2@;pe(57HJ4 zE=ep&g|q?BM!YN+4i)*o*X-<)%Z%O=wOk8bUQ8-!Y_bl^c3rc@b*-4T9?!`Md`pZ= z(=IhhzuVo>g)QV#TEXqbnH?)$a-#woFJM~TvyTr$X9CAq~zH!}YYOkzx zIkdRuuSC3kT%-Di*h7^A4a%XsQo)=7c%feAxHfvd4`4W@k z7iAl#>7Dl5rjn~W@ly07&BaR(OUYb0<1#(*m3ij2#kafFFU4yLd{gDnvEp6n?|eh_ zqs#_|PIV>2#t9y$WWtL}InN7kUGJpN%rdL{wH4$1P}yrincFsP%HC|YX6uqz<*S!c zE%feA{VwGhTzuKgFwW*_)zbfSFP%y8PAHe&9Gy9%?Y3IMg1WXi?RP65_0635k++s< zA)mJ6wYf(%Y+oMi-Br7Ko1yE3ReIX%mi{ui{op-=L=ihrQRr8x%Tk85Yt<_Me|p3v zqNaNOX(~$z2u6Cp8x({+srnzMX5hSpKcbO;o9+0_wKELgu6L?t!cY$e}zpC z5sZkkPoBAX@~-OUXHRrA*XHjyY}}{O9%NO$@{G6TshHEU7v64lT&dw4XJI_Q^5tal zw+h-SdlVAeTf|xGe*b?SQ}`w|E^b;*?5Wd6aZ#0#=T392JDgdd(EdFt(|TQeenGTgR5`oZrF4; z&4H}3FG4nmXN&CVGZnfguw%)J?Ynu8FO2#0xz&d+>foNHf@_uXg>N^Wa|vYq{c%~# zc9A{3%C`SJmw43*&bbpLU z%^|-3BJ(|e#5m}N*>Lea+;CuN`VC>$sO6DoCwDv(X)ryzLYKqj+>&LiSPAH+{8#y7&y0*SnXAiSSNmVor)%sCnc} z@UEF9>^6~euY6YD&%?1sRVa9caZ-j@$i~(*_lic@tg}A%C{=q}5dXUwFMTv$oLuSlG?l}4+lkDXHamAWJnlZfYENSAs)?Tb zlE-)Srv_>KYWf}@TI>9edxM(vYMtp^L|qCoJ-H7w9~vp71lV-(7kww<2Sb{;4B!AzjxE{r5CVZR8j4 z_#2^g@5t4b&4-@%WEbc@m>UuNaBjqPq4!5_O{-GBX72J`c8A`Dce;}fMc7_6JW;*z zfrQqt)l)8*&$t>d^;hWOz4ZpaHO~FgGiy6_=Ifk4*;dn!9t#X@Dm{|%PVrI1tH?m- zdkq!hlPnx&?eC8&6v%z#T+-EV!@a8ZWh8gi2CnOq^H#rF z$2^m^&F+TtRr@Cw8+1h;54d|i&hGhz6xFoNKOYr`bUOze6`z-IG+l%v?(IXasSRIB zIG1d_bk1Xaq7?lt5v(Aspcye3dpx=gk_ds*U(EAggi86g{@;Rp-&YgX5_1nZ&j;-$=?61GH(dPM;uuU?LES`1c3kcs24yiw2`^deg zWBvy3KRtmTx%W=0J6!nDx=yJ6L3rVz&*4*QHg$j6Hv3Ub*W)KUV6jkFxy62=kc{nY4{y2nXx>zCPww^o?Ch?{=g)aV zdmdA+U6|R^lsjS~y*>LDWTdR&?s7Z!HtynwmGb2idW6<||8cKV?L2Sdkp~MVz6-xl zSJ?4?Rlxr_PE=gMd9GbTeO7|O!Eo_wXJ)+< z%eP+iu{ZzAN$=*|F0OmN@$LNm`|Frz9G%q1Qe-vh zgu17eMro8gm-*G3J(Ic$r#zmKdSQ<4`63sY?GkPAKR$Wu#Rjjdx??Qav)pOMrmW)Y zrm<~1XDLe`ZF^FBTPN>U*v3~TvtzDgPcvZNe^PmZYFE*9p=ssw7fyQ1J|Q}}BXq9S zQ{yE(;ZbLKgZDj>Hk&(Vo#pI1agQ$rRaHoQz85v+-HGDUrMee6CY;_R7`F9-b@#e? zAzr&q+ULz!;;FyGJ#f?3@|xM=xq4DZL;WY+4$7OWcq-NTY55bi!wZ!86t3-7*yZs1 zb=@gJ?Y_f{v)?UxFZ(Q^VT-brk6fqK)p=*v9yL7vVcGi5@82|kM+^Q82%2tm z_(@@m#Fx zX&s5bRQ{&Uu&rd4RIA$FocK!OFsIbq4R`*sUizDve{&gE@Tqwf(Ixvu*DlkvY4g!f zPkHfn>XPqLww_s1Dw!QCI4_U00zwPe9i??KWpBEl{eqmb6oOF@- zMh6o9u`k*!q2cr1>31E+_mjs{nGT!f8645{RM&L+l-kq&pgOV1lXaQQqZnIOXx{|8Fl(wf^12^83}}o&yF4mO2LS5Ob27lxmW3L+-}8g(E30-Q%d6j^heR)_izv+ffi^}M!s2bW ziiv^Y2pf?tMQFM&Pb^BsXeq7@y`6X2LBMwQlEOzjRHm54oKjt)>3i4vmV@Tr0!>j@ z(S-`Eu3Guh$5}2PS$B=E)&C)P#Y09Ft`4sn2Km+*zIP{SIqHe(-a+qV_!P2&thbFV{tedKH zJLSYQnLzz3tm{qBG+o@l<-fDw?5$VwXM~)uRA=toIaBThU(D|X6JDgA-nPe@hyU}z z4+%d%ayh45T^YE^^W}{U)78r=j;-eX#4|;v*<33o;?lRdf;07;f1TWxZu#vLpZLD0 zn~&v=ZY{lSb~LMb_d3rVtp{|9_s)C~8|?dUTh=7iJ+(ZC1NMFC+W)MTZTsuiP3k(k z_nG{gqj<(OR_%`Hl4%y-+LGl3RQgn^_lw6C9CN??W_j<%uQT$0iw2$c^OkrvOSQM; z`pe9fD-=7Yv|XNY`9goNR9;fV!98u!5dj-kByyhSDQ=v(X3qzojcJ_MwYRUTn~}I- zdi1KhX)~(}oBE0)+{JZys*_-bzEh}1= zW1u%_;rXR*@|OhIp4Kq0oHD24Q;Xn2MJa~ElAF9*I4;k+q+WKg>v~ihJ2pgQJX`W*)z%ytDnsviw!@xAV14 zLr)%9CXjqtcGpqoyNlLWPyNQ_w76eHD~{u4*(GHQ_tk!xDlaO{gci-{(-!>s|DvI5 zhs9cBm7>M5-8axi4QHr6IJ29HfngOJ1A{p+-6cpSK=05`4FMPbb?>fS478G2&$X|C z=Pp;Xk%K@Nhu%e<$O9>DNBUDuHZRHcye(MYX5XS;$Ee)-aP$9TE8=^fZ{zhd)6|PS zf4cTu@jKh+U+VsT{mI?nIz=_bKzZT({l5&fll+<(LJu){DT%r2czP6D_o^#}S=59c z2^P#&x+Ym==5zatx#T3))P6?|Yj(E7Ygc7TTd#e#@8Q0S-*rFngw5TR_x9zwlW$LG z{&?@xueiJV$?U$^vRUrCR{!ohtq`7byWsS+ca?04(^mD}4v=0~mmryS*C_OmS?TYF z<&|r9&wJ<>|MY^yk*b8iMd7X49EUt~n|S@O z)3)>HGrqH)n=kw^=9t*F%n$3nH6?1BrAB`5>3S=cx3Z zyHw8FP2C&tcH6z$2PR94jn>!LUR-|lWuR8c#?%+P7JGN;IWThC6{YY_S~@93CD=IK zqeexwQL*ZKf%@;Z#7j>F8U*hso~-Cz^nl-Gn$k|A>aHi2E!*Gltn`1evtdW@n}W66 z&pnEFm*@Fdw3ZajTr2OX^si6x8*}A1;}g4NjNBu4mWh9Fn!DzKU8apuJNt|UH*92c zCYdPi_T61A@iuR2Scmw`nK!w=h`y}n`uSv*a@wJk$bV0iCYes^Tw%ASy4KD4z*E2A z8OM~P{2vuIoL?;9!MfekFYv69M$i?DmtRgVI~jb$=4R%k(-QxAQQJgM(wt{3XJlYl z%*?=GL41C|s1K%2y6+|JC~|E7=E%*vmP!3Lxw`Gz3dY4E*S+$+mIN>_ZC%jnp|@wY z%3-TbGpF9{{J~W#vz|r&7enoeOUAPsI$BM3i{GEQ`TkGYb94Uweg06qLHUZ4$Ogef z$K4vvGK4yPjL1y27v}o9m+xTyvRcoG98F#S_U3ga&lk-uNZUE}o699Zx1FCYUf%Ye zDmd-jy0uz|HO*vD^|?pV{`f*J3lb? zt>hBN2oKZtWAjc$|2}$zaT~{H|6elKzN;;s?{qlCINM^vEg`>GYqblN7rDH!$ckQE za%aY@9Rl9JeN*~F_MPe8BN!g1e(4m$?UuX0Qa-e|MK_mMd#w1|KYRC<%L`wgTz@Ke z$)_{L4~}UkvK?ixZdv^DyMu;(+{MW6Uf(JXeZL$dm{|Quqve&#N?Ts`qs~HN&M@) zDt-9n{ST*37&JY8ZjgQ7kTjg56u(PX`{EuOOA})5D>r!S+9T z-Snc0z1i>h7WY3A{-LkJ)Tw6I@P0{QS+qdTWT(mJ-kmvD^ZD$VcYl9<{;S?#Y4g(6 z-e>NSEqx|kPP$7C7C)BK;oWRyBGRhCZ8-fk_!m#@_qk)IXNHFK#TT)xE))`+TQ% zo57tn17#8pHV$DuACI$^WhWb-^bP^^eKB>R6+ZRLy9Lo8~ZUrG(n=3S%DS9Xu!IdK`Y@rxKLme>r1m=Mp}hS@##D zO=f@bvuUIJ1v9>hLRtDZC3V>^>`(ggV!`_>2lbAst1OpmJZf_CaK@u;6){Wqv!#Ao z>n5+J_Rh7t!F6?k&n$L>vi{ZCN|NdmCiyPuS@FkByJG66RZKVM=*c{)LF4=X(#mePrgDoe)QWOgb0H{2Q=w&w zfQRrTwNRfdk1u9Zd?RDZPQIJ=WBq}Xv!}=Haah!OadrJ3i+Uh6M|cOo-VYYkemn;8SZX z+tx>Kqj{W7Z*QHqt?!%8|D89AHH>3EOC7o?x=;79#mYAJvI7%tTJq(dU)#R#t(o?{ ziyJ?DdWL3$r?p0G&e(N20`c0`*K&GP3!{XZ~cZZuHwj#aZ z{znRJ-cCJcUELn0tW%!O70TN!xa0YTrJJVA*&mm1;xG5Ch5Pf&V+FS@;d@=5beSvn z_#e%CRo~x8hj^{8*4>|&d%I|hPx$W2$`cKZQyNuuvMbJPxH&o5l_l&dua5Z!=if(O z?GqHX71;E6Nn>D&#HIb8(<1(!=Pp?q;jYs*@%5FY8L$5OUr;U7*)A#Pa=tC^R?2$g zhy~@#n-d%2R&wdJF3p&rG+9S^_Kdv@_3nJf1=f1be8P3C*1j+kz)`?Q?^Nx1sCV^@QhW82 zl}{S|)O&ruiL$+3Q&rV{OtSxYr0O0gGt=llEV+Gk&tGK!cby#4?i6)wa^XbNO*Udv zV)ZkYG4FUX|3IzJ#eGfef_Clg6XzcD-IP4#y*uOKC%zsPyZV=DF6h|!9yPfq_|}E8 zFflOfU}0b|BBq|ltl@+2=U)mC`RAu8!d={O`--Kgpt*$f)xDBEYC^s~C(@d39=@k{ zVT0b&Yj?`r{;S8=Ts*@5pW(m8cmUk131dEnf ztCW5Xsca9J)uGQkU0GDNwr7un&^773#veT`_Dx7$F0bj|XMI-K=^nSfg5<(uQBQgL zHVB;%ncb?kaL$kLlKE#cjh4TCRG79S(phmrd*dE~-&OZ)yx(h1&^#e+xoLye*eeKm${s~b*w1@v`l9XXrBGZGa zHchYERMF607-@RU{*dps*(W~C&RsLZEIjA2*==23{io>7hk~;aymy%x7_!+R$EoBO zrR!tgsQ^h#DxrDVcqX6rhMo=*4ivC0pX7PSz=1>HV{3Ua^LcN zwfFV=YuOXHwwoTAaP>mlMzg5i%_ld`e9-LK8?I$BPad{c!V(i^{%aS}D(R_+Id2msj;k_S@%9|905-e94>rPi!2y zk2k*jHP`j&xrf{#YL@;J z-%V6M32NBb1&H37njx-sf4boB0HejbIZ`+6=14zQwlME!QvkF({i zU_FXRTI~k6I@3Y0|FjKNY*S2v3%Kw*R!`oMn3YhLLmT zpXFKCz7=gGT41p)yO8 zdYa+34NrsZ7$m*Trfr666_P`OAuyiOlW6m+L^-Lc++>s zA)yoRgl?SOlz6k*wt-hMhvE3~y1(~kUp(_dvhzsS5P%T|9AXo&n2 zB4_n+W7fZL)BV>sip|gX(afiBck!dJL%Zd3~{qeyhfxl~^UY zFwN~(sz~WXru{wFmINFxsW~(^wMQ+vbjkza{URHu7p{_AZ=tqAZ2`-iB~Rw9nbqm# z-~E0{jg9`~8xK~fO)kCSu~BXLs~OtCCNo!^G?D$Bx~nhB(l_wjg(WV>ld2rOO0TS( zDy4aONzCyg)epHdpG@bfa@D%(H8p1pYWK@T6=O%&6;Ua`{%4Y8DlzU z`L;D*PuDE{&a_`AWWRXkrU-Xq*3&{VPd#2$u$)?xCb|A((0-lZGTrMNL&H{FjI6Va zu6!;N`zm#*-t$vh`%MCb=e3)>+7xx|$5WfFJHjTbH3rIe&e)jxFu^A880+J(a#g2` z9>GdtU0d|K-@V{E*3_BdGr6?snU=o3wl?Cn2FIFLJaIy6-ubm0x@x%j?w!!RYBLsuP5jvu z7#MwXsja8v;!7)}n_`!o%;wta-qiU{LN{jO&RqxoN%FbfTAj=IIovh*?bWv%6S8lt z$>VHaC3`!pRcYDUH-B8GSXxQ&xtE)@l+9e*x0~hEFT-m!$0`d`&zOkH8os{%DZplj zZqB97eXI*TG&Xunhz>ec{6(jG+bpm8cUNxgO`a_oy_|!!b@d|MgCBk+=q#zTo;=UR zy<^hyn$}(0Hm_W>-Mg11eOiuGPJZS#mhQEtzI>`rw)6a1VyTzZ;i+A=b;ijHHa7o7b)ejy%JkIxir*y_VmmfJI*w`c}*}1#~F3@PquU(&+bmiyOZXg zjGt@gw{7{NCN6P4A;I%3bJUC-+l-CU#dz3*Ox|2fS>44GHO0bSF6VhA+a>=c>sEI& z=Bf)mJk*iq@cc%`nyWpk#mDA_o+>?h#_To6BxBahQ){`7PTjZj_F1__M^q0Mn45o{ zHPOZAZ(QPc*O?P6&&~>qx%jT7%Qc*LX2BkXvIvX0nvd2zG0AjG)9`(|C-GNH?Yq7Q zdIzuM*za=tv_+@c&%x~eSswF0%YT~;*ep5r`by`xu6w{1&T=7Z`T{sA^3Z}=u1++w)I_twtlk`-;+W6n;v-kV*z ze22B^%{-5YG6|uHD->gk3rL0@kX7w|yp-?gp;boC`xL{q7UfG7O^xxb*mCXarl_O2 zJ6c0~jKg;>UDZ=KpDpI(s~lGyv0lld-k_>K54Lc$Mu#5bc)KfXo$-_CqP>dd8t!*A z!X=6(*W8{k`)QVQ-odwRceJ)kev(zy`hAD(=qAPOr^_QFb{<&L)hljvt~B4h ztBZF}bG<>z_89#J#p)+<&inMgXB5qEG=Iw8c4z+4c}&^PasdyY&6Jxjce2AunvwVC z!kC;B&7TCm&&-p(*e~Jw@ln#zgcFCgjvm{YJXft+^sikQOQx#8#x=GQX`DCrHkT)@ z+LM}@JUh-NxvIvkP$N!;=lGd~Z2v;-_qRH3MlId)V`I^0<+eXAOP$_sN>CB<6=9E# z?p~a^$MKWfBx7AOUmL+5)voe3A=#tGTInH@Kg8Buf3m#IMyo&blkrr(z=O*Yy>$BA z4%r^nz38DN(G_rUU0*`Wvm;KrM|EXwHj1@H%=x(T+ooM>jaTh6N_czt`jbNEZ`!VE z({kc!em+}w`qiN+)kl|ISyA+Q+NL1qc@xxMUQtZ$RQ*0lv9qnl?!0u+k$G?LkHzUIsH`7`dRe&u3sI9RnP z;<=sDV!sr_H(`_0CPWID8*MJ|Njk-lVOU&yaK~OV+r?gmUF$9#Ji6t)*5Z?v3zvLx zDUEo*61rg3>*KraXYbrpE0KEY0{`ZP^0Svm?-u2|)|Bd}@$_?{zaS_1r|*Y}bqr(`}+-_h1`fQjd84$lcd*Oza1*gQ#l;3vpY5Tlv_>-~3P|8y- zq0x1wNpkBY{q3=ir!(_5J{P;ObI(jko3|S?%CEOgxV7BC_Vv~2Orq(=ZGKtmN}C;& zD_=)u+vSCc^VPF%GO#U?noyP5f6gQR_wLqD*Ncqr33031*OjhR{}&@Zx&0-}{j$x+ zot{i&?&fuT%Co-9eAnIl+T0Bpf9}-n{mXmk_(ECPZ{aPC?Zv-1`58~VjF(c|rTWf6 zr}FlpyC3_W9G&>o=3c{L9^dCTZQf_UoF%z=-Gk%8*Vb+_$a4>hx;pQpqYZ1c;p;$a zg$zmWy=sS+OJ*7x*Q9JVzv1&aR>fT9X|LDhW&dtEp2#qLyl}?NSyi?xS>8Wux_0Qr zmU;W*CtlW@|G7}hYNJ?#xcbUf(-+Hpb!&T|mi;I9-^ZOfz4@WF2U)&udi-8+$wTQ` zZ_9sX3l>>ED!R#7aq8E@TswyQ#wRKdJ=)W}_MF@dX8vc7{Q7ui%auRO`xgFjXDz?x zlr^nyM04XJe>!ID{qWwO^JAoswhrUt93}S#skg`E*4;n7vHkD&pU2H@L>FJUW1f*@ zceLWy#OrtX_wIa?`Q(dYd;!BT#-5B9$4@-l#AVqK*!#3r;{o>};SXODw`n)@lG9`JrNx!Q2! zHSrH$ABhOX_%(ToIffpH-mpP@a(0bbs-R|<=vuK0On;v4Jn_hOs!#gl%&wy)t6X1y zv|1t}{oz+o$>jM*uGnfQeKiSs?^tKQ?6Zbnb)$~Ts;`=xnfKY9Ik9l}G0jN3ba!v- zJx@=pyQ<@LcHy2?o8(nRLZTwBbr-qD-0SAL>c8eI`=7ll?(`mNu+P*BJ?NXYYt_Z* z$>CF$$AtY=cy>waUr?Fo^;a{MO5K;t6N+y?P$_b|`ww%<=n4VPPp=tHhCuh1^ zOR8|0hx(#Rt$I6|#83NnoQym2H1J;?oAp!6FDFj#2)TE}{E2gnX8i%vPm=2<+drcPhUpnVU*f$CF z^(~sWwk_6u#l=J&t1}sYgqA;(Y3o0{MQ3~CE6%?8M}qle&OYpM;#zy=Gf&a!Z|Ms! ztPT0M%|zsqjB$(hI;E5e9o8C;{KN&r4bA3lbnTeFEql)GH6NZaq?t}J50hK<@yWG{ z?me#a*k_({y%)K4UssCXyot?rXU-jL%ii1b`+n$`#J&X^FR>~1tS>QG;ieeus(1vCA9sQ%3N(aN(a@rQR<^grLz_`kqx^c){}Q=O5R-dA?}a z21o3YWY^XCYApQggO0A>yoI)x&r6oJ1wXVr7w{$X#gz|p+MeI!y8DrJnQY+Z-~7o+ zGx;8}-d5dtzQFp>hCi$1i)WwaPmn9zKCQxL|I80NA25iSg)M8?$>05=yH01>`)OCI zv~p?1-?PrG&%I{b3@g<%&7%!QCx zs^tz$X}Hfj=U0JP>)XRm8lNsYc>4Hvwm+@u@<%N1v}#?^-l(s9f6`v|sE1yD6-4T)I&alhPFy@U>`CZ>uv!6L)3{^pNtrTdE=^5}T)XE& zyQ$djtv^qSwmz?%cl_3~n5`F7GF~0Ek}_GZlzINA$_Jx`i;r`tTjs&d80 z&lQs+pKsmd_H_2zlk0L`@6yC|QxoO`C21rrZPR@!zHxoQ(^Z@7a=g~hHn_WTcGlkIZye)T z4`+UE<0=);4_ti5^>^R?!#{QwFdSYbVsW9){@$Z``N0>z@32?af#9M6LX-Ul-N(J71pY zTfDZt{Almr6`5gIKQXpQY3bbX-fyKAy3FB7^2?_yJ(A8>hnY^vuH4_|YWqR)*dyh8 zYVw-{{@dDq=geN*!QYWm7gx|Qu2#~*Ch>r-Bl*5GH?voiibwTNq&iLuIZu^%7b|KNX~wk~Zw zpWjZ4?-$o>KR9QL_07{c&(Ed&^ZzrQyV&pB;X`wO?vE{>miXq(iQn_D2xoR~Wn$s7 zuHHCTyfIzgW~YB*R^ktZG8@+7578?d+&}G5)jJ-cH0RF+rJo#u+}ZAe{)sCij;F_n z&o2<)+`n=DdAoCV2lvf>q?fpV@?X7gwsLd#%-zwm|M=$pbN-6H+3$E#`DXmdf3x4L z|McX;7VARZm+MpOWnYE~YsP(i`WJ0vNviv)-AQ%^1_mLlBTL}nq!j3$Y|v?VkddXS z;hE*q>7sRRw@-XJ()~)cY;uTia`d#P5|bD{25s+~J;7pI@S|hLG8-bZr*bA`O$OwR~~ooP?;7l#1J3$ajL;SDM#^rVg2hL`zC(oE&RD`$DWmsqPe8b z?wM;?+^Vc?ylv{qr7LIdS)l)#+0}Zo?2JpF4|BarGkQ5EPh8je;K^6ZmCqTietwCW z@4$y8nM>I(O`CU0ikbW7nFEt|g&G7ses*cnJa6B$qGOtsk3MKjl>Rg=(4c7BVyzH) zyW|@tl}n-?7cOAg)T3H_(_?C*RL|*cOZy{VJ`(!4GGo<&nP)^;zU=c|rMtmdd1lNp zxzG!8>kTXtrKi>DW%GPLr^V4TThqDX{D)=T-p_enYku@`EV&eOVe{r)Qw6ibBcB(X zQ*LoQJCke6o+oEG-5hInPq`F+`R?ZO&vN>&8}`o7thjOQ!R0Vh?Kg9*(QLA-3p5=nXUPrT2v1e_irF>Ef2& zjWJn=&T#zNd->f~$ z9ywe2_O`EIw&w-vPg%9bG%ow1cm6D~((OY2*0yd|UxISY^q48`}F_rsC z<;mB4{H0F2ZM!ow_uersp?UnO2*16t#q&Q z-lA@XvKK3-xXih_*)^H_SLC{bsn08A-+H&$zfP?F|LMQ|p{sKWqpa4iPGhQEaQXU) zp2#g?J;{<6zvY^K_}zM0itjNO=Us)DJK`czy0c##|2KIB&(e*H zlYjE-!ZOq7J$wEMysEVCaXjVRV8mx1l6BAHPTQm%%=iD~{>WEyF!V4i5q{Msu`I&f zut@l8ZT1BbAJyv{oDYi5S#n{)gY_A6_BE^BGT~?am9My~ja`I?)w*e2tdGZ~4XGMa ze%La}F6=uX74>&UbnO4@uYOsZr%X8f$-e1WwtD#5Kl}0*UpaUF<6NGfj{k&jv`W5d z>$R;A<$q{;=F^-B#Z_c5dd+27%X0B}9@UI_e#cmvSmQm2WFMSs=6gS4?|t(h19* zhj;I3uduIWpPTaM;K~ClCQn`1@F3(YS$K_nFP! z@LD_GnEbu*uf)8<$=}W1Gdk)X{1#>sl)iFe)H30m1@7w~pp1m;0sN*EjK`pOp&Vm(ypa&UtZk^N)(qh1_S=W9FIuc<-coe76}_)N|u~ z(y?-J59dtiSd{(pi=F)3oLOG~c&*DiZNrL)JZ@mL*J7M?7z_)`y$-i{7S^R?BhB4&vloiXL{ zhUxBK@_*b`&=h#Q>cqrtI_EttIGz@NI}y0d!;{BAe(h`($E5egJ=ZLMcU6B&h|l~m zZM9ZhU}(wGdR|WXtGtV5?R@dM^W*RH(ocIVRlnJ&zu_)u{?-v_uFM}g&r>dkn^aU zf5r+H&nxNmQ$G4dCq$}zTzGlr?dtQk&+oi^Z-2j@VaB1!CYv-?&G1leO5&2;F>l$^ zwyu*ZUrdB{%si;;qgoif@BNA$+V?LP?Ogt7Ul%)|FD2nS$BSV^X8K}&id7T8+vA1YI&aF@~$Z6TGaY6ly#%)Zm*-Vs)-+` z_ujH9kK0^2S!w5_*u-aA#Vt1N2WMwNri={MK+jT*`fXTx*fJ=48?I)8)iy!2~j z_x8(7-gI$8SG!c2!RiI}KI+eYMjig*a`%bjGVhiB4wuhw)4KXW;P%EF8PrQd5# znflc?PLcn%e}CJ%9_=!w_tP?$K0FnuV;rEykOV?4~?YRLcI{QRn(*^ZeS0VL#)Ww30$D zyIbp?IIjBT_YdYBGD&Y+A}$}z?|8rHtw872IlKCwoPQ*Kgl~eV4Ub)fkH<{DVxe@ik~8Q-XAk;@@0hYdgLRFPG0Z&b*i>AWjMv4tKepZt`_yQC%VWN_?vDkU%?+)2Te5@Ol#`1}eIma8NYALbeBG(7r8jHs z*8^^6zD2&cDZAF?#mpDy`d_GC_xW*0b&BvcwmzYceXV^mTJ7`}>ZovRwDKF5`^|z4t*XY_Dw3;yalJa)$LM zvUv|3tmo@3uxOrJ&K|Y#zD0;Z`a63m$$&43%g)W7nLDND+*{k`d1sutSc5kU7t3-l z6I;%>xLde}^R!`1|HCg)uL{|8Yn?C0zwlz3HP7{Q=Zh?+Suvk3`Nf{(S!b**QD+)bH8Hcz`iyx&nW% zQjW;N$d+bm%Hb4SFo$vs%T2k`{HgZXRQbm zzawkrY-l(TIG_9W7FJp7j3_>1_C$q?dxh_~D@wA(zT0(0+P%AMr+KhamoSs5bZQb; ze(lK}?h7tn``usS=G$Ji&2mCh<+e@R>LRK&G>Z#-63kQeHn4by>G1vtiKsZasO#(g zDQPaOAqyB>nU=UOkU0`?JY1ylF{4-Rx{SI_YmdpBSUSGVs#v@A;s)Nemx~W)d^^LN zer4vOJOPV8$4yt>j$NSV)+lmi(*EKN?3Q021fFKpRQ~P3QE| zdX~JAFI7~#xcQW};XbabEbmkbmhJnprNM0f!kPLdx~yk)7Fn;%&}BWVwLszL&&(@HEy_#8)X4mA;i+Ft3=Hb57#(P^ zMR1K#nFYZ)nFWyAvNa?+__Bk@ziDDZUOQMrM2@Ub5ZL;WOKXM3qpeNGUyT;%dqo6&B&`}w!p=a>Hd`1w=1!Fa~m1%ihq z-yG~4E@GlxyH;#b+JBbmDAXINxEnzL`7x#243V?Hq_9w_OVCd&xlD!O?@ zlsQ~-mRgF!RnfL9A5J8xy1Y`?&Z){2JS@8=gtdO8w))*8MPR z&Xxv~nKcoeT#uGrxw$5bF;X@sQU6<{MbqMt&w1Od_vv@t*)JxlttzXpdxs{sxxtA8Hr$t` zrrRcGoJiBXb40f)c9X$^w{8;YrFP8Qb?-RtZ`>{RPBHzVUD}B~zjnJluV4JD`9j&^ z4DV@&RvZyMeAFtpX4dcBO}~QISTo(SbUt=@>87Z~*N%6&cd;#+CV9q5LPL*P>29>N z<<>Kc_f!N5Iy$N-uX(y#Ogk_sLzC;P0@rD!OPSkcCuL36UAEKA=G6N)!M%+U+g2Ee zuj|U_I&P{R^*VUDh0L<}NaZin*)C^0rStE#nbecA_&4Vp=2)o>^Up1Fx!KHI5_OyJ zg{%C@G#QtA(+WPfq}S!!FKp$@fI zK-pWfU27JXa=(3Ta4CPH-`?8??Hx)Pk54?vS#oi{kNl=1M-FSeEZf<0wII{!RY}$) zw)NY0c%`?zc(MNSyBki=-EYi(v1vDF81u$i-{vm;9C7K=!g$n@cdF{;Wjh%e7$lh) z7(mxg+-em_7+sivj4VSfiajl%< z5bv3pebB6fHFTnbo=#9{;|-rTiZf41xtYY&r7vC*zj9Oi*_dxdfN}(N+*^BS> zwA-ehPti|aCiuMb%(MusKX)OHT|aNAt#aYYiBWs9B4y)i;mIkLj@MQeHQRjsXmCV1r}e`| zjSY60FAXLqPv)6oYjdmKf7#cKvPtZ_ncixf>jnH@{3Z9jlj@uUx9W|=mkKcb8_TN+>c_U6T_&C0?b+AnQnDBpQ&R}OE+p~v-)KKS1XsPh z>$JG)`^KKBtBzzHjX7+!w*B^v1H4s?fpJFu(L)5Z0@4fmN3=cgroklZtEd%3h`|zL52P z?OvPjjobfmep9_+wDt1zvSsy?AAhml?dh4c=fIhpo9}=99&7&J?(bj2hQ&WT-57+8 z;tsQNiaXDkVxXEV_5Rcc$EgO&iD7O$(^F!ORU18#y^BkYV-W-34OqGJM`|8%~LNaZGXPiwOJ$a>Z$BwqGzuit?qqMKCN`q z#1P%xGxTmn9enU|_qJ`D4!!+idAjHn-`+DByJnV}+B?n;os;8c1WQLa?Q~fYD|EPz?Y^Gp4zWLy?{uPB+aj79&Q9lNf2n6$NBbDuYPc4md2o?@^dfuWhp z@3HKuLtz%hqL(jv|Ea&hBP_W(N#xP8r$=~CwI6+3T=ZHwT2`X+O(Ta=3TwAf1-oBY-0&Aoc;u($i_-lLV$+g8?A5!0?+|t9N+}^WPH_P_Jq-`rEu2@lNsL#V5eJ$p98t13b zTQaHNCztgu4AwW-*~Zsg;S^c3eb(8TQJy+BALn{)d*d#%fWLy_(Rp^YX>xPdUyhzN zuV-H4L*5PXFE{Zzm$1bqiEvtp`ZIX)T%MfBvRK9S)EgF+U+nMt?GA0b>HL2|x$wT2 z8}I)!H_pj7`OR^V*P}j9X^L`?`?>NJTsyn`k~Bg~au-ye`Ok5C@jtDqMgKnZX&p*# z%uv`fd5N-Rd`0-SuDi(xGbU7uxxc7Ae|5!w{V(gB`+n6sPjPJcwtGSFizUVSj(6Mn zzAT(yXVIhF$K$#_=#P1!fNIxXr;GQMc?It*5qHqFD71Ddn^Eok*nm~)fL7myv+mo@ zUF2Vs{KQxFl(dE4p4m?x`_5U=vNzOw>Tzq&J%)>1HoWEhrFvxEqqdd_EgddpemiGK z-di@`<;&ZZS0AM>`uU==MtI|$f{OQS-&QJzep#E`Aout63+bCj{@r1F6e=@A@~?F4 z;{Lz;9i+a>)}D~twNx~-Lr@~XVs6MvjjLG`9F}u_Gi1_o>YIE=VOJqrx~5Ihb2hF? z^2-?bg(VnmSiZ3w=dd`La%Z1~|4ZhSNAJsnTmPe-&6^SUuXYgw1H&Z-$Td$`>RXrm z^1Ph<#1z;G#I-%Xpc9B&?`N29)hg3(;=azdx5@s2Q%ptEjkX&?lO}~!n~TdGaPHK6 zbWQRZFaN&paqo`{ACPipJ7%Dul3rar^Nx6w(6Q*-61lGXbdJUfs98_We9gVMZ_~b8 za}*WNtO<^>oS1!5T78w5)xXoaVJ#OAO1w0Ss?fJp%w4@h%jR??QDYTo$sE zPwq7Tey4cf``ypq+*Ply|I2Ye`^O0vrhJn{qK7Z_cuY1uIVbmkrSS8QX~L6sD1__H z+R<`Rttau0!?^>|YKtnYixTBtB`fuFX6i}LFex~CK*agTM=jBZ#wB7l`zNjZvFA<4 znN{bfPj8*CsgXWy;X)mmz=w?q7F(|$Gt9qQY7@8bRkdh*$ZFQzQXJu}a&g~|cD=p2 z>UMQYyineO1D{&zua&)hU~~BC6-JhM+?(>JDcZc6+L>K^uu}|_`r$|Nxx6ZCwS?BwFv#@Z`QjuDlt@c7r`XFB zb%`@;pBN=i5%Ais_OmFqFsP_>yVpVOMK7LOa9# zzCL#soLc^AH?z5UKtR&^lp}_wyY&5j=Vcjp@7umgCMYWBxZ%mv;0*6S+ukg!iTgHT zTT1XvD}D>(FBfuWFnnxn6T4|x@^|ZrWeW{eezzSn__@1a${WL9+Z|p@^>%)-ir7`p zyYR~asV!T!wS8a~z3RJ-*Xrhb&2Q``kKB)Z5LW!_Q?X!vm%D!7>eprq3ueypd?Ijm zrTOcM`N~f52}_oLe7D?U%0Ho7N11{v7^` z0*xt4HN%c4O!(WX_dA~RwRzBYYsJ5fjDI>4|17<+w9|ND?q=zO-X5A|$}g1jJkC33!=jcwU+wqPb8eAd-m=}**Dp$#&poPWyYl{F&m=LwSMwjPcrxdTd4kZ} zAD!(PT#0&fue=m_zqr!nKikEhe6_M0kMoQC5D?t*$|%l(`DVRMwUOG@ZQ2M0FM8tqZEmVZtvLNiSNL zJuBqo3zt1>zTSJe@3HEIn%9$gWo|i~7Qel;|3uE2JIk-6zslg;v+P30&aN6+{Z;1r zv3430oIa!Va^^Lyy}gi`fuW9_fx(0Ua-%bJ;}fiX3oC+D0*dl0DjiEpGE(zOGLsYG zM?y{wy;~gYD)RrW?+f2NbCV-pDv9n;@CyX>mz?{PTBXc zYUwiD)1?xA%Pt+={V024@sjzs_ z`*C#Dk{`*R_ZjS;Av9GXTz0-u%!@Pe$9deDtF~5Gn)VpYv0ylxaAvpZ`6=N#M@w?j zwO1QGsNg+r*|#v>)3s0Y%!?UMfAAE`e2%!V@x;cK*H(E2I*-+yVc8;6OFyNP6aLo!Jy1~cy=7Z( zW1o*vOHkJ@i_*(;{;X14ow8*^WZ;r*FIPTWmSw4OvuVjAm3X$}1sP>|&yE=#UOD~i zZ4uSLy%yn1mOfjN(HgKPGW|uEchce3bL;jndxz8~&e{~^+xKjx<7W0f!nfaL z?@N9DqHcw_o1#pS@uXYTU+!f{tzG_Z-urhZp=*w6hW1WUdNfP++?u;nm)(D~VWW%8 zkG#a#3gLO`W-k-HmWFd(`SQDEbC8FA;)Ht-?W$Hs+N{eH^i<4v6%?qx-|v>>C6igb zXD;wxFpB1=^`6znD7Bk|+2)wE$tMT10;c?nGGTM?e)yoDnK&zZrq!YQ4=+mZTrf_>A%0rSI8WB7|`74X~dzq&&WAC z;rD0r9laSAp_dFon^`Y$Y;qJWYD|^OcdFzMe0uDJ-{OLo`f>|D{4%KBh(1lwU*La6 zQ;30Kg&G5cBK|B7X=NOZKKuRbnvb>L=T*Pk`F!5z`Ni+H#{WNCtS@v?>tCSe)r<8NFYI6L zw|Vh*dq&;L3;!!lxXM?&DEu{bdY$k7kC&278rwV*zfGF%ZIiOW`OBO*t5bSBFPTpy zZO;(7xPohXRR&-6kptWZ*Q|_D+mXI9W?eyRyI9fE_F9|U&g(zQTs$M16S`>T^M!o# z)^CV^$SN0gh}*V=QUBA0=$gJ6aXPb#L-{IR@Y?x5{CxB~(?uP@vq2YiK3|x<=g#4) zdz?&6xvsB@dA{&!%zLGe>zfwTGn-evDBTzEbgEq3QSnaK)vT#o4~c8vior>prpZ=RQnZ_&Zdq zyh7uU<5cridpw`|IldK2d;9G|>7B)&()j;Q*}me=>H?1mze3)HSFUza7rpoF;p$3< zr*EB(@wKiGtXO{P`l>zNPhW>z3%#dXA|tZ9J=82jE~ql%so+#)t@nYI>mwvWD?%Ph zOcv`o+LIC;;=i;<uKfb8Yc8{f`yr0y{kaU$)sf3hIjU^8r?Al_P zbmYv51$oCDb>6?fcjfNpwbj?JeY+R1VYzh9-0Cm2Rmma!yyk6ZQdG?DoC&!m*1y!p zHZAY!;>--O^iSKq<=?n)Z@0F{oqOkwII;(t8lJs%=XP;ueznGy)oYnI$sS6+ux{=0 z-Mja$<+pzGio0y<_b=byzTzq?V{?8xBU1j*qo<-i|L%P&ecf$juygUphlz!Kt#dy< zDR^8E#P8mF?60ToM1x7abBly#X-Sm7Ud%R`eeYT~Bhk*oQKFrh-&W|WJwJSg{iNv1 z<`?}*Y&~f%5_|7#3cc0iBE9t9#gN`3J@3A}$Wy+#{C%I)p^G0KZFhzGyB)cqW_5NV2VdDa zpKXm@pV=O7tli+0G0SsW`183{MT;trngs7;IQ+!1=Jwk6cbxiEC-K<%EBV)i7QQr) z+Qa&TyRRu()+eR^T8vNKzTm2|_l9g|pS=`$IAzm>mHh9HT50+|Y&mpYn@6H_?%l@o zw|<+SfAQr$>!$S0k44sV9I*NHf5m~wD9;r;IRs?7c$61MRdeWSu$qe-vZc&+Q1*6zOS?5xB&^-adnV;jF@tXG`!WmaKuf0@+A#9|fy zNrLAlRVX`I&OUwXQRYV0MPl0;;y!=A`p)H4ALHHtE-523+x#Lc5&1jWGioOWD$g@3 zKGl4_u~6?+!GU>OW_rvv*t4)dX_t!7X;!VY=8b-R^0;n{ zUTn%OwHl3G$a2+{WkT5GaHl)e@ z!ZxXm8+I(ISlbwTN?Uz-kx98ts_5TK6<-&}r(^t2> zEM4`4A*|BrV@c5kfscJr6Q1S??2)?b8Xxe3t=ImTdDfTIDv!n0FFm6Jy@T54Ni~`n ze%x}*{Nq`!`-?s*?hAd~|2bExzKP%XtX|N3lYc7m*M0dWG18@F%jnFoEY3X+vJ~(yyH2+D_2w` z%jRTWei`n&@%&q^`wKtLt(kr-{=sh3eeCYbd1NoYX#di8?E5G2iPtvoTpF6@p*&}P zRqy=R{l{!B`&AzU>wF#`|G90=b{C;HCtIcRHbfdW{;kpy5PWGl({F~` z4#yYYS`PVV{n4%Sdc6GSZJ&x+vX_5I);T?X&vASHZ$VC}k5;B(QI{vK=y`JL%{c|O zwn-l^HXOVEG~KmWrc=XU$>F4j%NjCIio8mhQ1Gca^08s#X5mGantp%hyy)$IR%sIP zktxUA*~qPI_LcSGM>(sX`kuR|P|7jmql1(GvYv(;lk42!Q*BR88X->CNN8HFFW|o zPTNHK&4n$Wd_xrrH^+vt?7M&IN3P(DO@1bCHm`0=>wl9KkjLw;uIXiSH9=I9zlt>_ z_F8YNcW|$FaO10`E7N|~yT*k-mj7h!5$Sfu3qM4 zH9|SZV=dL#Tfg_+nR<#h)?D(yj;v>g{8-QK+iorNsH(>E>zAdMHC>3qE^ zIU*u4Qn0iuukPrX@cA>it9;&BI&rr8;Ksu})%~KSlB30(HkN4$%|8 z9(huI%66Bzj3<+pp0S?cjK?SKG+FGH?SJrR@|LFd?isULXB_=>aDPJAnWpcP_@BQt zUFZM!W;*ki2T$Ic+5MWXH#H*f^yX}fhH%*_RURj+EZpa_R*M|DzsIIoWZ#A(#Y{h7h*U16?# z{}*=TE&IHpk0)tYqs^1$(JuskZ5ImUteqovA@@t?ogW6r=AV(S=X&h_yw|?@V>r;dfA!Tl~WHi`aEv zWPd5G34OI7-{Z55lIoNjG51-fo0juGlRFwCZCUSY*V?D`8D(aNoRLX>t- z-O?G#q6mR#I5>(=9t$l&@pHKujX3unbXE|*nb zC%N2`d24C1$#;v;#@u-Y{myc~YCKf48adZ32-+o-7v)~OLR2Gj@zX8yvR1}QEjW5h z`T4e8b8f#<@$*V~-%&FA1t+^zs{exHs%ID9{8N5VL+`iF{X^%2zijDMW6owd-!&_} zv-Y$9r2Q=GR!>>XT2wOY)bY%R4!rXYcKcnhoXkE`)%@K8*DVuQtqj)6&E0V*>{sB+ zmy=xM0`~hJ&-wgyvhzBf^`|d9;+ea9t(%0F0cV1D0sosVl7DqAEkv4rNdD^Mef0j) z=7`FeyklF~|N4{}AD4>={IfAvw7huo>TfJ_r!V|G`_AK%g9j{hB@Z0)KAsV|{r=pA zPkqnLirQb?v+CgnQQxlnoYS==nbsCny0*P~o8NqY=E7rY;i;y!>&;dsl{}R4e;Jkk z@|My5)9ceRo*tNWX;ORUbIz!#3%lPf-&7c7`(SrP&$T(LKAqFGU9K5J?yQE@nXBxhBad^k{Y~A9} zCCW3(nXfl@i{D=={8hfo;G6fvwM2NnyZL7$t0Sf*+U6H>_Xyn#OL%6NkSr>6 zOX8a54NG5jj-TASW4zBdE*F_~BtyoQ|I1D9^Ow0h{wrpDSE@?2I4)_``sCS>Jn;*s zFSrYOoJta~m2Q3!DWUU_`{nO1%ta3D+ph20F)z+hWak8q=?;%pJ1pVoDL-M|c=nXY zs^AsQ3$Ke*#V#}#sR~}WJ%x!&*jn(SFvEYJ7@eJZD`qu(@(Q$@GKF)_#)L_4G{atW zZE(u>SKtg4N#5|kk@YMK-_OMAC$0;$>dG_IXUtAWpSb$f@s-I8swyWk%pRo+*SYw< zJmmjf;;YPSndQ37`|jN`wEHXzSD8-xi+l$xh?3*{ee7(NaPx96;hD;-cZHfx7YQobO zr!yD^2iv>dUVFpQYQ~v{ZdQc=i8~tS!!s#%35g8 z;^4L6m(VZena5i18C+X`g8TfrlQ)Y^XWUyVAN}o#hMDNpha6|NDLY>;x%#s#?M2jm zz2n>^v29=8S>4Ywlq*THdGMjtS;5Tmwd7~FwzgR@b<6L!dL|zTd@X(M0*6Ff+@ceP zYwl==xp9a8nj6!z`=sVwQ!OL4KcPyOzlvGx7hhP#y>D7?R)VCH$LbCLYNpI(3u*G6 zIB)v_zP%i?1zFDNTD)58aqCdr^#e?w4}LuUMSa4Bh6BHYzsy;1#$D(~aYX@(*|v=B zi|+kl{i|BF*TbZ~b>4v!6X&e$_t^cYt<(FK|BLkt7jG!go$8ZN-QHrz^kTUZ+czHu z+jBCUES^Uv%~yOL;UP9P*kZG9*zp-_`Zl;smpQii@Vi}?OY}ayaFTXhQIsp{E9rG5 zn!}21Pi(zTyW(rUFE&9}xer|K_E@>Rp=bK%4VR}``_DdN-dt|_w|CD@UAIZUZp)Mf zq}TiEUVF+qdH;g%IcGwWgc+~yUb^b!npJa)W@y=T%(U*1S+?0Z#NF`Tbm`qsD(dsz ze3M-fpc-KCkeip|-_3=L2XsvyeB15B+;v}8Dj?gLS@fNiiC66l7FnBV+P}k0_BLIf z>-L}L&qu9AFHB!K>D}_o_vkK(IKDwQsPD?(@=J%iC*JuV7qvvr@@sA8#M7DDf1CG+ zlwM?8^1<2QkYAMZ|CV{XotD-wtKTSlyJLNaN97{V);p7Sn7mJVyr_Pv^z;k+Pky@} zIQK~JIZt`ve~lL`SJap@e&YVPS5hX<%8P%ucRe@i0-DN3pG6B97#L15FfbV6A7{co zyH(nIkgLf-#Pz-QEwNcHgrujrX)eZ@GBw|vw&@g%mZX|2WlZ`t?f$8#JG2(@|? zJIgq6*WZ=yYlY4pV_CT|W<%UIwZw%bN*{5gkv4}D5TjQ-z za-mPgN!;)Eh3p%RzZp^et7uunv5k#^p@j$I2-5PR#Dap-{-sg?|*;$%m4r1zw!(+2iKR_bfrfvcpSO)Ojd=TyGZ<% z0zY?|^D7Qdzw&NR8~53YxLjY?Il3B;y=e&!h8P zJl*B`b`_RR`S>)g!Yh8MWF3?L!d1y4(@S+8dhxtk{`Sa6mT4bFdE>8sFm3$y@#Mmd z+{!;cKI9HgcX#`Ao~xuU-bjCTLPgu*Q#NIw}^WN*maJ7>gPOS^t0xBk3-1`-JlJ*cZ!~@%*ynuy8LX8 z?o`|D3Ac=wrLQcWEAdraC+lS2?t3+5_l&!@ozbgI+o`kn&4;N?v1=oyKkZ08ebC7< zOiOrK@;UGRzGG(_6bxo?KHhL=&7;@+{-O6bZDzf$8Di^iRabUmOK$4M{nfEoCKpdn zIT(KG$<$3xb&Zb%?n>F+>e_f$ak2B>R@TdfOJX^B47yyWYV5pct(LY}T+3*)lj-k& z{q{^}PsOcRvUp?drB5$ru8zt2?z8;Gv_n6fx3yo(nR~Ouy)^3XZPUxqN)lZBPki%q zP8RJ9oYwyS?biceO8y&8ZPC21qvJQ@se{kq>!vl%hs{lEydBbirrg}#p?)ai)U0x! z{jUPQA30Exmo3;=yU3`GucUaX@aIeO)x6YoZihu=ohsSfC97Io>Bo07&($t=>ymuq zsVA+?nz{u9j^ubREEL(1FD>V0{4{K@)81>p-}RlbQ_WexAI>XtM3H%~g-XI2{<8L&puZJ*X|8dX*}$lcU5nh>~()}o6KKEv1Xx{E+1u+xGWy4zgA(^K9Ad(%Jk!!mb1$3k=9{Vx;Lp&{*gOdUC(@p3aNCHJ$Vm!_h?R-!I$oHYwwJ(#{W}3EBNwr zac`OtXQVs-B&W~%tuaixZYYq0X}+k8E|aX$JL?}AoLikQnOSYvgfbjF%*KHr~ZE}HmsO5~%b z=X}1GHCwN{@KB_4=9z1+*9w(xSo!hsZbi=r2e#Sna1`9zJ6)`^W5dOH+-b{0KUVrg zOf5}b-OI;+E;MHMtJ9a4?N=!HU)C2m-|yU3nKIKwyN_SFRFiM%^XlI2qU*~`ez&dh zp8T^jG)MFFo2h43Y}#i%d4G7>qB;HFo-J9w*WASa)}=Kkc-xju)840JxUui$4z61= zZqaUBe>u|lb}g_|Zctk?!O@(hs-jDw(a+Rj$NLcDmh&3#e@%E=HDh_?CzF-pwdZ*| z=Ece@T-yAb*<`OchrL*b>&~*myZvG^2l#Bx^ouFTc0IiO!{^6Rff<4a{Uo~z{#)32 z>&@!?BWbvW=~1VsOFI8GfoR8?Z)_%cv$Hc^`V_1@xTEn}@ZLRVU4t)5mBk!Ses%Mk zn9!@6b+WPAFJ`PgT~-#O*C|S2`ErjJTq2iNJE+URA|kI8K7V#J6nple%eUW+Z@;5`T{q(ujjc_NQL@L5TXfccIQ((`AFDs&$2N2o3Lac? z!D1~h&*j;Zl{)v_Xbs#bp8Sa6y?rZZm8mA*>PxXT0Ui__Dxlw&kUc zZnnN1ua}n!zOn01K60_{)jy_8-xD2WRi+0#eE;j!t+2NnCIcFnvso_ztI zR5XJx{A+$Jwdl{?&0TXdE-qj{zT9b1+mbdL`NaqJ7cM$~$zaa=wWh%~3+D4qN^G(DdZ6^H-s;oypBoE(dE%b& zc4w;;(kItnjFP?Vn<(`>CfTvh81La%!RZ*2(d{`g+TI{^T9=cz%7G84sIoX@cDBUAb1O zwvVf)1^+r=P%?Y^eZTx%>6de3>h7K}EYaENchp?gKKoXv-{1Eide7$cO3m9Yb2>gD zqgQ#k{oi(MPkwhZ=0ySbvbmf&*OLjO#aCC9wNIQ`#UmKTa!UD0gG_H~)V z#UHvC^XISZDxVSjkwMD&{@eawiV*e6Q#-`{J|nO44Xx#Yw=rx~{jpU>bb%Cu8{A7Vn|I-G$0g}3S05SaP{Wd7HM^_2jQ5I@bp;O{Nnd)yzr$~4AfNBN z##(L-!>)%6Zw@MVW%V{N@&xrIaP+^Py`SZ5L+0AAGPygy-Ve|hI2E}1L%6S1`yGzX zN7hP<)@ZY7at6vQNw;y?)vno>AhS5US=C2Kt%jHVaP+@L(T6(NX0C~!HAD64Bl7}A z)$+D7UscQHFD_VV&RO)DUFne2?!>jzA7vzbe_4;(l>7Ba;@K(&28P=V3=B%xo35U) zWf71$QrF&tT!##J+Wwz;`AkG`4_DmRq=T>5Y4NZ)UaY=*>W0SK6_L+r>}mrtA4RlXHWnNzL;(sCBs8N#a@t$Kn3HPqb2R2kSkW zWbmthmcK01K}XpqLQw^}+jXyQO}@N&FY|x2OB4R9)^7^qU|?ty!tK+%;*!Li9N40} zx#5*HBH^-_Munq=cko#-W?f~WH*10`TM>1 z|Nj10_x|n8|2AI?8cKg0SK4yuk>bI_+!Y%tJw81+k>TuhC{fa}$J;{5*{w_5{pag% z3UMbscUL?=YO|-MJ=x}tqH^E#Q!fsmuGmp5`0mi@pRe;I*B{WH`6SdRuD80Wf_L&h zvyST<*IYkc!F=z8b^fXYdn=5E_q9&XU+ch|Kq{-$XkV+@)I{Qen0)>p}T60&mm4udGQriYoxMy zv=>P^S3Od@dx1r)ynj{u)eU*Am3uuGG-WQTy7cl&ZsXFMQ`hn@m$_^7{f1lL$t!a{ z%-g4zw5#Q$(zHsC{-rrnU$VT~rE4wLcQfnCg+q_G&GN`7t2i**`jcm;eaM<+^)9j7 z>zwPg^a9>$8iyE*y;Em0cH?18cky2rsl8#>lxcd#FITi3ESX&zT)vI#PN=nfVxoZ8 z+D-f7wgeZiU3Xji!TSx1M82xt-L>-TvPXw!?TwawW)o6g9QAG0wsWt~EStYqBw&}% zZ-JfyzJ!n+fyiY<*IG#EOvIin^@YDG0~87enIN_cQFc?kvD%XQSm8z z)G5mzhdG>In#%m zJbo-`nJgrykX^h?U3HGo4ijk~^TpQf?prxt$6Z-}+~=z2%_Zw<^&IChhR9BwlAFCu z_}v19O}m7?o%kDesxKpM!ls>>X+}(E%Z!sEJez|0pY=opa?TI>pr9t2bKIB9EV;XB zt&I)4xmLz;GgjFbAsd)8Crw@Nbx@>?bB#vZi)~Z#Tuh@6n)qo~aHMOjKYMLPlmF)` zcDuz763=M-(BYr|c<=eg++6!Q^fiAN?NfTVnrmO%X0CmG`5qN62hBgOXv$A?JG5Q2 zhW);%M!w&QZHpgN|FDys%F6I^U1F>Kgb&WF_DSpHAFB)1t$L9DV`o$GkJhI6M~1BZ zkHfj@&i<-zmPlL{Y;4kgle1o=@U)#*)4T)us(<_rzW>P1T7P7|$REji#YaL1R9s3U zG?k;0qx^hN?TPij62N%XLdgZJin|`pJgb*9?{@{qtDVQT?=kytb6cR(O)7Bm-dlpNa_cV7-Nbh10Go;Kk%onr z-tG=5|MJW8U$w@2Pjm4&>6_DL>mQm{b0ps9^l7b(RMy%5-luQT?vi<>7@5_>wI*qs zr>;p?jeAA7-+Hri(JL0lTjeVJ7FeR2&X7I2B) z^YUE0smhQyQ)lL)a{afzF6~HRl9s--Vx9wcF2}tueAE0MUz&F;Q)jlrgk?|F{S#Tw zPG2gh^lK{fybG^>EBx#~{QkC6_J5PGuj}R=xUolV&AFKup7H-QUUbAn@BDb@%PXWU{@tJ1^W>AstIHV)wO{<(duKKq`R86Pl*!T77m`(* zIImS_Pu1G(Us9*(vT}XCac!gPk`KFN99P(6xA#A~=)jry{LYj$C2N&Gt+8Xmejw`Gm+4$0*g+TA-}8NOMz{5`|GLv|aPnv;~zg@W6qM=!duh(Sd zp<^3%$O{&V1%BkPU3osy#fCA~rZe!Pe^2LUgIFK=CZAhj6Wi{#JP>aAVjB`$H|cJ} z-Y=pGp1(cs+Z{4pXx02T>Z1kQ%aDYaJKkHj&ade2tS;aVUBd6*nRTa&S>>sWRP4#8 zJ9>ABEc$+qFGwZiR%T<3+;0^Y)i1WaN2i)kitU?VP$PF*#YM$szT5E?Ezjy7PODe; z3Axa5*1w4_bZc-$Qru0&H`5eXv|YYYu_@)NmYn0U<~b5l?lD!ei{II>9k%TbZmD{) zde*n7hkw6b%(H)je%iyur-84knHU%(*>LtDJfW=;DD9k)nw$-3icOsYzM;JBe&+Vr zT{+y>^8YX__0n7#%{5ElsKjgmUkClHSr6`R;7Lu)JejxppK|_=3oeT;9`V-y6L`#c z^KJjEjLTon%(+`R|MR@LH~)VAeq5hH)y7P~-LGvaOY0t<(?+^4G)@&BbzoAJUCrZm z_Hp&PiklWclcIG%*PhJH^s+uE0dys*sZ_VRkGpG)338aGpqdex~=|F zAlm$M)jRW@ucz_1)GoQS>%%F%@3jw&b5hQ)7T+!vcb3a1Lf)pXNXbTfNlH~_h`YA= zw-qO@ObZrYAANlHq3YA+u}@be7H>ag>;CMa>)#!@QQxDt`Enkv+P432;i}{FtxA{w z>`AO+Fj}%wYi6#TMM&WsuC~YFtV zHzx{CcGc*VF{*M#$TJ&MnA}bXfWrj%Uo)_Dc^Swb-<;W4! z81spTRE5j>#@kx`6qPeI-Y)dUf}PggG*Mj+z>LE=H8^Me3XmJ zQv8HLb9BQjPm5sVn>j6YU!EK`($ARkebUbL7wVj^+c|d6yVRP|e|@Ul`jY}R)BhQ| zsLkK}lJiW^)rR!eJrXzj=JI{9xqZ0v;k+jke%L)b-+A)P17>Nxa}N#*6qcBLJbbRN z{OEnbogQ;S9<`oJ``&fa^-;q7&02a%QE%;PH*q*gqwn3{b+^Ifng|0!y)FZT0*+n; zBo#vv?%F8MnwZe5_Ugtn%_}SKURw6@LM!7ev+T=zOM<#GXI+|NqU$Su`P8RLdsLV= zADL;M%cK=BF*ZB`wxjTUazYHgUb{(sPy+t_v(nEdAn^zYaNPY%=eq z;=hlJtzO!AKkJ*Ww&F8q%_0-^mo~G#OLt9t?qMAM*l6yuf}LyDU)XW!e5lpk^H-(L zUw&z^?&3?vdHTxSPcj$U=w7PW=;t_Z;b)<^Rl&CUldn%+8mZ^IVgg^$+WFxbHC;aI zue?;QS;bR#;C$(&^_Oek)UQI0mbx9X#ref@>=YmGLB)0C|)P4RER`HLyOJ0esE&J@w^)miXV5Z%&kF8d& zKb7X{KfC*>q;1W=9ml3;{NbECX_Ml?>8IA6c6oHVw8}l_qV8Gin$~0CSv8`QFG_gd zN>d5CpSyMb^0?%%MRrMQlfx!yZrGLRdw1Hhv+3*ea&GQfS$K8Y*W4p4V-ndv?3q5VJ&Q9-3(zh_IgdjD#Zkk94Wk2=@QTGw(@ zaAQ`P>X~_R+JTpssBOG_U+}(Y_mQ)F%Odl*rNfs$e>z3(^1F4+-50lY1lV27J$&qr z>5Y;(S8vOCsvfppYx=Mw^!mL#)yc2V&RAKox^VG@f*ZUF&!YwVTHj9fNuRp6Kjyvu z$%!}h?w@+Hw!b{WM|jpD!_}6extoP%`}%aTK6;y$vU(=R>FTNr+2!qtJ0;htTW@3g zUR8a_C^x&*BGXv6d}_k%%ZC@teYh^<(3Zm=BXV~pe<|4GR-&{l1dvdy>uy8FJ{vgRngR0B7zsgpZjF}@#Hb@l}n4N zanU_5x0zc#yXe!a0;SVeHk@g*s;S=Les7`ogCnmd=6d$pvu;kq8Y|Stifbwo^H7*P6a=^m8aK z-ErFM)`F)mMI=Ph{d0T1F3FjbGBfbwwrzG1_qX^iW13KIkub}wZFOjuuwhAe?zZ{c z@4X4Mxcoz^*M99qxnBFjCZ)@#a+H62npF^N!e^%T zWyOr&?(15+M55gDX2iih4GWv-ZY#HD!82vnscs@6T$4VAEV>)S7nt$&Tg2OKR~M%J z5oDh%VEUqOdCbMnthy0aiN{YYm9p)1jye=;c-c?2;Kv{33sQ@D8B{ZG^6ot_PnYXX zhU%h+DM2<2b{4awSk4OT_?_;vUa-l^EHbTK*k^K?yG?5P$5nlC!u~G4x5K#i2(s8; zc$w*}a6a(aF_)M_pH_ufJPL4fTY55C{6vrGAz8DOz1z&P>$fg8Y*Q9qDW_pue$s;7 zbz$z6u2Y9M>b?7E*}IfQqTi`i_pUj33^vVZkD`d^sLR@g( zrz7*0`wLe8_-yfG#;UlRC3_viFHB{Nb(^03hqXEXfi&;F&irdX#42}QeQ^6nS@Zh` zw*#B^@!t~X*l5lBPw76ZV3DfJgpA1O@ZLiwALxIaE~r_QUOY!aL_z!g!}St>LigQ% zu>Rw7-hJ)+`x>6c9n1K`+r0necd0$o-y8p^t8bK8;~jjy$*axQtkl z%Jr{jou?X|xzo0-*f8fqon69*W}A!;&NcFvXSSy*)s_jlA8Ee$zn8gL{+YXpUB-vS ze*dn?>~Dl@rNbk)ZOT%Ib7RUYsmGK@5<#Z zn`Mx9oO9{MOA*=!-tJP%`o_BZ?A)*oXE!A|-tPJ4At-o9bldLdQ;%J_?y4lUWw)<% zujriDzup>{-@`)h4R)Dy}DHAB<0QH5Idtgp?Sr7r-PSLGIfLlnuF$^nqoX>Yijkb zb3B@>8+9EXm7cJbumBX^jI9~MU+q)MnywuKbQuXHfCs)H8 zvM>Jw|BrUI{~iqXSN9sFaP3gZPe1oS{+`k@vb}hV7hAAw4PqWOwo`l$Ac&GJ+;)B{IGeZmE{fN7!7vo z$DIKIkIrjL{Xg{}zB_SCMNu4&=;CAh4S#I^v+CG>;~(Guus8odQGe)*-tv7WKTQ8^ zKDhp~v_@v^X^rN4kIZ@hbxVBG{g>@_I5|tb`M=u6-|yM}H^-a)n4k1ca&hm*L>EH~ zU2~b|ex0)S#5Vsqy`cQ%eYX9F%b9!I{h54<`!~rs{hT{fY`NRsogZ%4zcStyu68r7$-Eckq~rJR^P4JpMf{3HlJ&8y8&m)0yxr%J^*uP|rq!?aHu*+1 zc3WOIsvghK$xb)l9xvK|yMS?Xx-HixvD-d3k{UUKzM0NkDbdw@#7bCs^PT+iw!JFa z=MR0^{&dAtcm3}3zYJapbrz=T?V7?Z_+0Ktr(bFA$qJR!=tu7tZ+r5q`|4|#KTJFS zL_Lnl^krf>-XZ9>?%b6f7na{-beUW7e0*BRXuzqf5`mN6aPQKE2aPrncMxs0`UYE!w?zM58t^v&A2iCgB|E~j+~ zk7AXxPuYcB4OIV>>m&Zjr?~IciCa9X>dxLt6RnTx>fVe`d+Kv#RmL@u`>h-Dy#Ab? zGjaE^uRQh7lzo+=&NcnYGrq{gzfoY#RPzeuRUR7WnkrT1Iz+C!=oYui_l4Qy*N-_@ zD<-)n%F2XFY_59y<#mQ}>f;W!wU*|Sc2>q*3}@?^DX7UCtyGk1ZkSmXHPh+h&8OY- zp5NKR-j-+B3JT^9cC3^CnhlQTGDn`d&htJTi3b6zs9MLo>_ zQ0TlWp?x+Ie|2KJ1s|r_zg)5~KJuo&@U_J=Z^V3L=skXT$prHUZG=z*0+rYH{@0tk_*U*?(5>9Cy(w?OY{i=;Cn~w`c7>{6;@QRPZ?{W!_udD zzBjS`{qY&{#@9uCZ~HfXZ7zw)e#+pR|4rws-z*RQpUyvz-rI9K!>v?d|NJzauVU5t zvQ?|KCcM{dn_&E%XK&P9|IObf2!1;0e4u>8s`-8VmF$`~tQ^!^KG}NL9^KdQeWG>d zKNTsiitgHOyKVFRcrqE+&iDIt&#$%dPv_^~ncucK?Bki5xBJNP>b7~)A3wXpt)}i^ zxxDFM@Jhe0a!a?Z4e2ps-B_07s=weeyYPJf z=7)FOPPk__V;lRix6DuU*lw&laKm(gj@J7YukH-KyRPv~MNA8Rrru%>{r2FecEA?5 z+l-6WCx!Wx$6hnJe(`RA$sMkceQw`1?&&XGf7$#%vGH8D`z)gRe(|2)FU4Kh&0j4x z*^FhAU9aAS6)uZ^n^rZL-g5u(Y}Qt{#dZJdGllM%a(z;qwK(waZj-zgO?C#)PaH?V%5y_)|*44d3Ck*SsP%RYtqhn}umb;Ez^_oQW9A77dIg!a$-B(tEhlBI)d z*7xAElOs&(uPDuoC|Liq4DaQ9O62y}KjBW~K{kmP#vr_1(fa!G?X-PPdb* zEzZ1J6MS&W)ys@8%=kmjEo9FWu(IZzRnM_Gu1ex_+od&UY?~}E-evhDvuJ@Ed%v~I z=7qLG`{ccUzcjY+I1?QIm*r|`2=9eM6Sham6kqJ!!XOd5XKhC3vLmZ`~ynxg6X@%|0QntePj?UVQ)PfAN<+ zkC_7&_;37YG3n?^^9kke6{c}ZnwcsoB6&WX!`wX%9Eqt|qOWd+g{AZcUvSpEP zUpvbm-M?2h@dgHl?Ack#f41O6-cjXGhwFYN*l#^`ploA+fTWZ364?bm7A`XW{Zgk< zaaWzy?)m3#a%Xl4uG3qtyK2AK!o!UZ%Vu?b^UV0I`Qp9glhf%NA6YtlsN}l%eZj@| z$#3}|=-4m%{NnhDefCHHO?P<7`sDij!&>@{x4JnZ_BT}j6WUQFnNY_X@OSH`4E_hZ zdY?63`abpa)TV3vg;C~bS&nuWJX5;Gvdf+^%BjR^#ebe{JB7028A|nENL5q?Hvavn z!zLGgu18AZ+$V0#T4}K$0x03Um3lreuw1FKQWH)7_Iz+I#m4y+inDM_NcB6eI&B+uSk1^;`}{d6y|mK z*GRmmPn#fAFgGRpfVsmrhNVtXt*hkA*tRgPHWR^K?wv$8fUN{MTKNC%ZRq%o0xGySU%5nq%Xu{TwHpL%KRP_I!R3 z@-2Y5I#ajkRhixbKfM+gwxbu8U-~@q@?uw zidxSSm#P0s+`e#2zG=er6#lh~gfeg2$7ub&A}HF`x?nR4Gat7U&pVCS=9_`;K3_Js z@6DWK`XW^?o@t%6RUb&1A_@G1A{#FF;SoVboheU*2&rVml8yd|L30`nwQ-3 z(BXz!v6gtO`JQe=Lltk250f?|Y$`v0YVx|xTh@s5#vk=x=$8J7+rB~mRK>g?$v#u> z%a@-Qo%>&|_wv2HeLZ8w0!eqC?MXYDZX1RK^e%4OWm3Lmr}o)xOrZz+nqu2toV+2R z$84PtQIQtW_Ir+EkmZVRFD`HT-K2QeQ0HTojfKcLJA0FtDLa$1@4P8IKB4-*!6P|I z<+h~bWhJ5I757D6vA6TL9}2YIwvK!GNddFmxr*U0Wj=q8G2OXzb?kLRoxPfkryP3R zV!m?}^YN@)cY15N{?7~QdLD(V&u=hZeckGjU-+D!)}@_krOzI?=BWfyNJb(Fu|xVY2SS#0WzFImyYR3#v@IDy=!oCWi{0sSfmc z7Ja~U{)Nw+GdUFv6T2UOgWaz#{*L!QN}mU9pW?9s0(_Y0u8gxmjCXU&*?m@25_X#Q6gUTg)cwEsH&4 zup{)QmtM-`#0^&-nA=P!+@SBg@uu!u&!ZFWO`7PlP4XG{Uf;bLKYI?|>|NcY7(QvD zMNa(GR;#B^Cm7XfuKVzzM|)+V`Ae13n@JKzTWzD3r|g`2!XoJd-y)9{cPDI*YKk)R z+PI3<^yun^9C@PoX02R(l|lCx{u1R4_O@@kz+3055+D3*PEF#^-)kdZEe^lXalrFV znCL~uy7QAv&wie8a80}24!KJOv1bg|{EwI8G}LmEyV|t4$T>uaZTEus!iVcKBbNC4 zTs$B3VJll#jc&&tUbkPHQhsyJ4Q}_f3$J0*UT1SqYn|P}I)jk&7i2b-Zkm+A%kxNx zc}nDq3mp86YL_0*?EK=?og{zwt|?<>thcCq;@x^a|JhHrO1>zS+QlsCR;POV{>k$F z6Lfo|tlMlVYgaXEUYhz7?MSW#54Tyfurn}d^I@Ek3tP00635UO4SQKHeO1&pSy%b= zW7ead8#W3b<=m)qQp}Tcip3I_ZJnYz)?eM`GMw{}Iz8FLIBD9Emwuet+`7MmyuMF+ zw@fvti@WCi{VShd?=?<7X;##zpZ~79_`dD)dF9W~{r<^XbW%Z;pJr^Cu_m*P4bCS5kkjnxl0x%FxuEam%9> z4c`o7jdde8i#?sRmg9wmy>)S3QqI18s~2aSXq~hvLF?F(xHNwAo>j}`LcFL<&3mg%_O|zl z-#wkytZ=9`up-uydj@id259FmtVtY!&6%&0HyyD^A+^UPS4gi7(ApuP9Z_i9$O zo^m)6&2&h_+_(Li%!vc{;e%dg^I`k(a7?=-Cx(V=sQm?z8&8=q~RwW6Qi5x2HYZ^XS{r9ol?#2j5S3I?`4q z_F|rFum0OBG39GA7rrlfHbs-a?GhJL+x`pb??c7S4ZZK5c~Wrs-hSN+i+=M4N*7yJ z2~R&P>uVyRZt18(Y(A!)-Mi6ff7XlZJGiZ) zwp~r7F;n=RH)?`PfGc{Xg9{&>)&v{Tf^sw7c-j;qX~ z>WhZEdVgMQ-d)JV^lo7!w~)#H^3ydEf_Wt=?mMnu3|>-x#Xn=u{50<;j~Az>?_pD% zx1)1f#V56z_tvxht#AJ^kz4RlAxhAd-LbwmY|%S2n+D^CWW$~Z5jHEl7!uq~w7W%D;JE2X(6Uw&k+ShTwB zwjY~Wt@7=f?>V1K*Q6u|7ck%Twr!l3z*~L&_0F$K9*-5CiYi}ozTv;9Z(>Wfhn1z@ zt~swQ?;WsE(^wp~Yo48l()J5_(&;BZUA$-XbH2jdV<)VgxmYy%T8dLxPfq@)F;7hG zY{cb*7J^^yAKIt&?RvrQ5@qq}|2BB!sQTSvsr#Q#S!+-g2z1(&roRR-K=dF{5)t<{E%uc!& ze<`tVRKGs???3NQ9@7io1CK3`VV*MIMY1f=Pw>>j!l=EaYsyDt7nd~Aj zUi{HACQ9*-xS-(l8GNzUHdg0@CB)u^C^@xE%2yQm&!GFd^F%@Iv*_o+pHFETIi)_i z5|Z_~c*pC>vMu^TH9IJ=HC$95%Sd?tJ{JSZ54%fa%Q`G;m zX`X$Y@mD^;o0)}+fq{dA0d$yUOa0l`hgcXGYB(7f46wJA(C;enNX$#gf$ez8e8WlRY#4li}ey`>$Ke6adXO}@V|9$CO`J6 z{c!f6ozmTcv>{C=mn?)jbK`sep%|NVX6{vXQ+rG4BB zgacWH8Lucv9gw&eU?ADxFO|%wQ4#ESZ_=$PO_{95TxrZ14p;guE%)gj-6QgmAwJJc@9UrQF5)g;>Z>_<_JqE&5fUR_zA zl9k|Yr^i=jl{s@SH#L^*v)-1drp(0qc-qWTlgp7;E?LGd_|}vtb#6w3`jyQZ4`jE8 zW!l=L&iLh%m+ZP-e9P1=dXpnLb@#5g*)~VKH%>h@h4t5R9cxLyTeq^J`15Z?sV%W3iBp*HtoDi^KRl}*$#$7umnwYAm8`pn%8Dsyss&U8E&B9fUOZwDHY699; zRWL4Ro%QY7%qyET*DY1*oO0k|mI&t-+l6P1<}OU)eXVuL=;K7KzhW8pS6A7kTODiL zcm8JB&ZXX#%6nJcW{M5Gz3t7pvs3cQmg(kB-FI$pTUlJX?qV&o1h2%ECmtwAPFSnN z?e6Gzls9M9j?O7vx-~i%e!uzNoUR@HiAU>)%hBaOe2zZfvGfsl&B{mGHESP9*Jxje zs4S~wIwhsK;GOyhL*Kk3PN%k+b(dG`Ydm|g?OBA*;%gdmb#^@AH+P;=R+i`X>^rd0 z_WHls8iM;=Zk;+6?)L7cN|{2*2bHff2BOx2D-Ve4zqtIN?zq;BiX~3$jV@opRwk_C z(#`w3wMPHZF6Hg}|My)G(R_UC=#O5Z%C)HDHNuit{RZ>5u|7(8{lqy#i z@t{WZhq3B`&m5oPc^~XtSl5*-o^G1)-2X&)(%Yq#d9Sx*_NHs5Y=VnI zxEa1In4T>A>w>>X^U?SZLY#lLb%H8mGiUxa{>xl> z<)iqGHmgTdy)IPOOV2gl9WcH8qQjSk&kk3b7`X<^on`)B@T9I@&b|DCl7aDt=CDTV z9X?Ba6OKrKc~-b)r)~f9cMJBLygc#vM~D84#ovUZel^)$FKxOfJLgM6=I@Js_hTzg zxSO*@{!lo#D_P*Mgrn_tWpn%f#Z!(yJkBX|%+q9NPMP5=lfQRW6ppOO+jFLH#%94F zVMR-Ci3Z>Ex|^zI&#XUS`N!$XdWoXWIZwh*X>JiPJt3v^LgAgx*4uARSyt8b)V0Rj z>Tl$mbn1j+U)>*{*9Nl%j(oT15BL1%u~C;bzU3C{_v(}X1$?>Of(t&%``9EbyMA|Cd{SFs`0hVw<>4yZmHZo+7#Qr?ajswthinRV z&d*EBOfM};M06N?C+GSLI|>|6U-;$LV=wRdEHzA`nfwozaB(SddW8CjIgE*(C$XKEkYMkVukc$eY>_+tV8Gjs`e)O!*{^-O z#&*s4?pM=yw|O=N`gia4UEOE8UGw|i=LZ#=oyu3$ozVWw{q>w7^V`+MLcWVMUiIo* zuM=Kl@IrrTxx|sUE&Lnit+QPBcU|$F4SV_bT;%$m_x|%WzV9+o-6=X2B{ghMqi$zM z`S#0i$$8y<+}|(f{H@+U-P?Yj%q+9<)9IL1EdXtdf%OPdyseN?*%je{|g6ykzmK$2W^#)O}Z4<#O27Rp-^) zzU}$@OJ2Nl4;8oZUT(O6UOfwZdq$e!a4F3N!RN?qhH zG4N|C{8X(W?;730xTUfqamnKeJZaqqZT1ce3It->rC&(8Z9k$WR<(+EhP}i8GCLhT z7V$@o#UFDe#2<;idAB&P_?O5RZV}rvehZ%YSuB(&?c@}>xc9;_;TwgbDr(I>T8{4y z*@}AjuxTzn_J+}k-&xvU%h5zK#f`Hlo_Ennh2j+}zc8HSnxLtAVgZlQdKS%VUv)GVzW(n(~PVMEj*jLW^I*IsAM!+%i?)TAyoAQv#CcA+f9eFv*i?6 z8I6Rq(*C0jo4Eg3!7s|mz#t>Sz@UM>DF99St`(`trHEr>!@t)HKbQPJPxt4O#}P(s zIXr^L8YblMuyANExiRC>HRr849g1r$z0-d?T+>`G{6J*Z#Y-hiv~y=ocvo^^<_xhM zDf5NGw@Tjc{hj{g^0&%+)=MT^X#912Up4Rh?>EnF_kMaW9?!Oc_5Y-g9X;;O6+Vul z_p~18ay3~jcQ|zW=aWLo_Z$!B8r@s^fal)Y1!DdhGun%d?k!GGJa<*-d39xlJpcRW z-SQ6}dM>LoXyO0(M`V7@jBx+<4?O3eS5}y{^ndshs8-(-F3*}M$0Pe=AHCEv13Jo^}bV2 z)@yn^7HW;E)FZ@e*dHB3JzRO(q z%X%xRYkhCt7F}iQebI;h_!-aMzI9El$7zug&fZi8+2505p|XT5Au*L8B6CKP#Ht-EZ( z#k)6S4wm(mpZ?L-Gd*RG&pY|+x$CQzNY9wik;8gBjxn(m9;^Y!%Xm*nYf z^Eo#CTH-9Tm&>14nQrsmoO4&GkSpVwMP&4I<>n~{G9H}1+l4g}Pp;tqr+ey9xG2|z z!(|udsLXyo@%NpCfZR3R_txBDv#$-^p0xaziQCPG#qa$lUivj7?8KcHG1l)nUUuk* zoVX;f6R>dkN{v1bj(I5_lHr=`H8%R5erNirGD-L5Y86*8>#aMMEK)Mt#KC#?|L(FA zT=^TlI>J6!-!?1Xz46Ms5S~Y~Rc@`{HS?RUTw6$u^!PQMJxnDbxAZYve@NAATJw zb09lZ#$`KKZ>eq5Vy$(Lf2*jx)x655yMFZ##<;+V$2~>uQ#?~;IM2=t_^ABshoSK6 zy+@w3xakLOGFbUYo$pwtsC}y0S4HLNOEg~ewahpC`aG3|{fD^E4^`n;HM>+RH(b_9 zxpc_;&LXAdH8NQVC`K`6e zk$3t$*Dp6Ox2f%S{o{C4{-e5R{WBkllQvQ3EKR(x^??*tIoIg%U=Dpl06wU zV|`76nEUB?i)X7=SF~AtUeUF9-=bHa>ds6Rn6udYv(@s`+7;bf9hUsj_2jy1mGnfW z(CgmrLJhth-i2lxZ*RY!w4_x$i&JgptP4L`XPke}QEQ!&yPR3fUefD+!B^LBOD50O z+~ttSb8Fd(=A%>P)Ba=>sZN?2c%Ps78OJgswcA%JUZ+pa@e$mwYnS74>(0yT2YtUxK{NB^wW(FxOA9CaeX!B{}K$70rnXA`f!nl({mPmr+hmjo-PrN3V~HTW${ z-W=g@fSa@8VyaHx);Ko{vHd-}EHaDb{EtPiPw;#r6qpuh-@G(QGVa)Ao@wV7C9?IN zyUF!@jpv-TCFjB{)5|BeD;Y<;l`*q!&t^&PF5Y&{GFtuIwRnf*`2~mBj`J3lIp5Yv z3fG_XPtc|{U7%FKO;3;&Ovjd1!uQ~CveD$8w+Ww$$v_>b1IzdP>dlO!&8 zG;i1b=>p##*t|Q+E%LvmAhF?_cOgf6tM~Gk#|#w0-gtPfv2b41;yr!QD|?n8--D9_ zRWI)ko3*&))Owp%Wbi_+QNUj7*5aahS{ zZp#k&Kb#kRJ_+}^94q?D^+?aA!F*EO8efh}t23sZd}n@9&tbXpk=ivYPBK5@QDS-c zVVPvkK0Z~kdnVnw?avFoZ-~g7dvx2WGp|%de+9U6O)<*ey1Hq0WU1UtuKE`{jOME; zMQ#X%1UOwLG%d%x!%2n~F>lR&k60&w_fR2J^;-pajV&${G zPhzeqE0sjQOtV;TVbHUMWwA%4bI5tcM?X$@6nA`?wP;uJm&N+*+xfO%ICHIaPRO0m z$m7RtMT2fDwX=5dbqLM1+ZV(9 zZO2WiuA@sCM01w%TKbE%bqP6Zbm*P(P>)^0+!FFuVe2o&oAVUz^&D9pyk(WpjODRs zo@a=QY;}?JY292IzCf{n*Oa&M<+W^%ZGP)*`fo+d5vq#PQY|!2Y%~z@2`sPZs3~mI zvFLtUF=Nt8!A17ZJ|=qyPM@|&Pj{W(o>@vP-;$N@`J^*WOyOD;?;3GzW`b_vT-_>T z$ILU^XSpcvHh*EZ=^?}Qf4$q{9!@`QE0?GB>e7=}N)L6L{y+TB6yVLsB*KgsXFJ_#nKbu>sS-g2bZ4+|-iPBHg^i+|*(sjpYZK2gaZPJjspX|KyxZjKI5k$9|m+ z69YpqE9BTNuwDiRh9!+ZFf}_S6_*qxCYLzp=jJBnrTAp#r8?*5m8F7i!owbh*PFL) zj$mP6c*DiOU=1@HY9;- zf0!8ONUtISd@;(rVtiyyH!jK z3`f||J*8|)giTN@$`gxH33_UV>Vq@8nHU&Wu`w{1qlBM^1<_U!ilirL&NG%XGB7M= zhAcIK*|Vh4!kTDH2zq7FvG1;{nHU(hv7+ZBQ(K~KfuuU@2_W6EaMKhf28Ie&^k^}3 zAkhLsA(r4<7s|rKz_5dbfx!qCT;NQr;7o*71jDM}Yy|IJCI*IVc1WuUX2p`m5?3P3 z56#OaA>#-vwq+L+VqnP8gsehAShmiCuw~feLaO_z-AQ%^1_mK?GdZF$%mfEV3bYso z)#BLAth~=!a*K(9!IhPPK?mkYaG;AO6E+i)>#&;~Q+CV=bk8|AGXwbUdYIu$8ZFZ> zO(y;(d-T$f>pbdx>Ii#yGcfEypRq&=9|F}l$XHmz4s^#ih!1HkKgdL}rWADJH@YK1 zs$sf8H-3Zo5ZwYj6Q40r$hU!`n~8oaGQ!OETok84o56VR zNJck26Ya8HgyFsUL>rDhePy8CE{QPudkI#fVaI#nYW|?#<%lrwRw;f1U5L5a5j|+o z?`cC=ms^G3I$XE5q1%9dEfm6rggU%7U=Q$0w9|hP#+{ge*SG+zH(jE;7X7eYgz-Bj zVl|%7(YxptpdVw1uwefTtQJ7}kk}42L^m4!bUB34&9ku@jds=?x_RhlxFO8TorB#x z$f*;!k~aG3D+u$Lm*O=K^DGv0r=lN;fiU{ya(qT(Ph;qd$q}aA-GkLMj|u8qStFED{;_Wj6Rc% xF#YIRtfoVUQLxNwqZ^GrQ;0D7zy*9pqs|)!c(byBbec1mGbjr)Fi775@c;|Mb6fxb literal 0 HcmV?d00001 diff --git a/api/gradle/wrapper/gradle-wrapper.properties b/api/gradle/wrapper/gradle-wrapper.properties new file mode 100644 index 0000000..2d7c225 --- /dev/null +++ b/api/gradle/wrapper/gradle-wrapper.properties @@ -0,0 +1,6 @@ +#Fri Apr 18 09:44:09 CEST 2025 +distributionBase=GRADLE_USER_HOME +distributionPath=wrapper/dists +distributionUrl=https\://services.gradle.org/distributions/gradle-8.10-bin.zip +zipStoreBase=GRADLE_USER_HOME +zipStorePath=wrapper/dists diff --git a/api/gradlew b/api/gradlew new file mode 100755 index 0000000..1b6c787 --- /dev/null +++ b/api/gradlew @@ -0,0 +1,234 @@ +#!/bin/sh + +# +# Copyright © 2015-2021 the original authors. +# +# Licensed under the Apache License, Version 2.0 (the "License"); +# you may not use this file except in compliance with the License. +# You may obtain a copy of the License at +# +# https://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +# See the License for the specific language governing permissions and +# limitations under the License. +# + +############################################################################## +# +# Gradle start up script for POSIX generated by Gradle. +# +# Important for running: +# +# (1) You need a POSIX-compliant shell to run this script. If your /bin/sh is +# noncompliant, but you have some other compliant shell such as ksh or +# bash, then to run this script, type that shell name before the whole +# command line, like: +# +# ksh Gradle +# +# Busybox and similar reduced shells will NOT work, because this script +# requires all of these POSIX shell features: +# * functions; +# * expansions «$var», «${var}», «${var:-default}», «${var+SET}», +# «${var#prefix}», «${var%suffix}», and «$( cmd )»; +# * compound commands having a testable exit status, especially «case»; +# * various built-in commands including «command», «set», and «ulimit». +# +# Important for patching: +# +# (2) This script targets any POSIX shell, so it avoids extensions provided +# by Bash, Ksh, etc; in particular arrays are avoided. +# +# The "traditional" practice of packing multiple parameters into a +# space-separated string is a well documented source of bugs and security +# problems, so this is (mostly) avoided, by progressively accumulating +# options in "$@", and eventually passing that to Java. +# +# Where the inherited environment variables (DEFAULT_JVM_OPTS, JAVA_OPTS, +# and GRADLE_OPTS) rely on word-splitting, this is performed explicitly; +# see the in-line comments for details. +# +# There are tweaks for specific operating systems such as AIX, CygWin, +# Darwin, MinGW, and NonStop. +# +# (3) This script is generated from the Groovy template +# https://github.com/gradle/gradle/blob/master/subprojects/plugins/src/main/resources/org/gradle/api/internal/plugins/unixStartScript.txt +# within the Gradle project. +# +# You can find Gradle at https://github.com/gradle/gradle/. +# +############################################################################## + +# Attempt to set APP_HOME + +# Resolve links: $0 may be a link +app_path=$0 + +# Need this for daisy-chained symlinks. +while + APP_HOME=${app_path%"${app_path##*/}"} # leaves a trailing /; empty if no leading path + [ -h "$app_path" ] +do + ls=$( ls -ld "$app_path" ) + link=${ls#*' -> '} + case $link in #( + /*) app_path=$link ;; #( + *) app_path=$APP_HOME$link ;; + esac +done + +APP_HOME=$( cd "${APP_HOME:-./}" && pwd -P ) || exit + +APP_NAME="Gradle" +APP_BASE_NAME=${0##*/} + +# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +DEFAULT_JVM_OPTS='"-Xmx64m" "-Xms64m"' + +# Use the maximum available, or set MAX_FD != -1 to use that value. +MAX_FD=maximum + +warn () { + echo "$*" +} >&2 + +die () { + echo + echo "$*" + echo + exit 1 +} >&2 + +# OS specific support (must be 'true' or 'false'). +cygwin=false +msys=false +darwin=false +nonstop=false +case "$( uname )" in #( + CYGWIN* ) cygwin=true ;; #( + Darwin* ) darwin=true ;; #( + MSYS* | MINGW* ) msys=true ;; #( + NONSTOP* ) nonstop=true ;; +esac + +CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar + + +# Determine the Java command to use to start the JVM. +if [ -n "$JAVA_HOME" ] ; then + if [ -x "$JAVA_HOME/jre/sh/java" ] ; then + # IBM's JDK on AIX uses strange locations for the executables + JAVACMD=$JAVA_HOME/jre/sh/java + else + JAVACMD=$JAVA_HOME/bin/java + fi + if [ ! -x "$JAVACMD" ] ; then + die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." + fi +else + JAVACMD=java + which java >/dev/null 2>&1 || die "ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. + +Please set the JAVA_HOME variable in your environment to match the +location of your Java installation." +fi + +# Increase the maximum file descriptors if we can. +if ! "$cygwin" && ! "$darwin" && ! "$nonstop" ; then + case $MAX_FD in #( + max*) + MAX_FD=$( ulimit -H -n ) || + warn "Could not query maximum file descriptor limit" + esac + case $MAX_FD in #( + '' | soft) :;; #( + *) + ulimit -n "$MAX_FD" || + warn "Could not set maximum file descriptor limit to $MAX_FD" + esac +fi + +# Collect all arguments for the java command, stacking in reverse order: +# * args from the command line +# * the main class name +# * -classpath +# * -D...appname settings +# * --module-path (only if needed) +# * DEFAULT_JVM_OPTS, JAVA_OPTS, and GRADLE_OPTS environment variables. + +# For Cygwin or MSYS, switch paths to Windows format before running java +if "$cygwin" || "$msys" ; then + APP_HOME=$( cygpath --path --mixed "$APP_HOME" ) + CLASSPATH=$( cygpath --path --mixed "$CLASSPATH" ) + + JAVACMD=$( cygpath --unix "$JAVACMD" ) + + # Now convert the arguments - kludge to limit ourselves to /bin/sh + for arg do + if + case $arg in #( + -*) false ;; # don't mess with options #( + /?*) t=${arg#/} t=/${t%%/*} # looks like a POSIX filepath + [ -e "$t" ] ;; #( + *) false ;; + esac + then + arg=$( cygpath --path --ignore --mixed "$arg" ) + fi + # Roll the args list around exactly as many times as the number of + # args, so each arg winds up back in the position where it started, but + # possibly modified. + # + # NB: a `for` loop captures its iteration list before it begins, so + # changing the positional parameters here affects neither the number of + # iterations, nor the values presented in `arg`. + shift # remove old arg + set -- "$@" "$arg" # push replacement arg + done +fi + +# Collect all arguments for the java command; +# * $DEFAULT_JVM_OPTS, $JAVA_OPTS, and $GRADLE_OPTS can contain fragments of +# shell script including quotes and variable substitutions, so put them in +# double quotes to make sure that they get re-expanded; and +# * put everything else in single quotes, so that it's not re-expanded. + +set -- \ + "-Dorg.gradle.appname=$APP_BASE_NAME" \ + -classpath "$CLASSPATH" \ + org.gradle.wrapper.GradleWrapperMain \ + "$@" + +# Use "xargs" to parse quoted args. +# +# With -n1 it outputs one arg per line, with the quotes and backslashes removed. +# +# In Bash we could simply go: +# +# readarray ARGS < <( xargs -n1 <<<"$var" ) && +# set -- "${ARGS[@]}" "$@" +# +# but POSIX shell has neither arrays nor command substitution, so instead we +# post-process each arg (as a line of input to sed) to backslash-escape any +# character that might be a shell metacharacter, then use eval to reverse +# that process (while maintaining the separation between arguments), and wrap +# the whole thing up as a single "set" statement. +# +# This will of course break if any of these variables contains a newline or +# an unmatched quote. +# + +eval "set -- $( + printf '%s\n' "$DEFAULT_JVM_OPTS $JAVA_OPTS $GRADLE_OPTS" | + xargs -n1 | + sed ' s~[^-[:alnum:]+,./:=@_]~\\&~g; ' | + tr '\n' ' ' + )" '"$@"' + +exec "$JAVACMD" "$@" diff --git a/api/gradlew.bat b/api/gradlew.bat new file mode 100644 index 0000000..ac1b06f --- /dev/null +++ b/api/gradlew.bat @@ -0,0 +1,89 @@ +@rem +@rem Copyright 2015 the original author or authors. +@rem +@rem Licensed under the Apache License, Version 2.0 (the "License"); +@rem you may not use this file except in compliance with the License. +@rem You may obtain a copy of the License at +@rem +@rem https://www.apache.org/licenses/LICENSE-2.0 +@rem +@rem Unless required by applicable law or agreed to in writing, software +@rem distributed under the License is distributed on an "AS IS" BASIS, +@rem WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +@rem See the License for the specific language governing permissions and +@rem limitations under the License. +@rem + +@if "%DEBUG%" == "" @echo off +@rem ########################################################################## +@rem +@rem Gradle startup script for Windows +@rem +@rem ########################################################################## + +@rem Set local scope for the variables with windows NT shell +if "%OS%"=="Windows_NT" setlocal + +set DIRNAME=%~dp0 +if "%DIRNAME%" == "" set DIRNAME=. +set APP_BASE_NAME=%~n0 +set APP_HOME=%DIRNAME% + +@rem Resolve any "." and ".." in APP_HOME to make it shorter. +for %%i in ("%APP_HOME%") do set APP_HOME=%%~fi + +@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script. +set DEFAULT_JVM_OPTS="-Xmx64m" "-Xms64m" + +@rem Find java.exe +if defined JAVA_HOME goto findJavaFromJavaHome + +set JAVA_EXE=java.exe +%JAVA_EXE% -version >NUL 2>&1 +if "%ERRORLEVEL%" == "0" goto execute + +echo. +echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH. +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:findJavaFromJavaHome +set JAVA_HOME=%JAVA_HOME:"=% +set JAVA_EXE=%JAVA_HOME%/bin/java.exe + +if exist "%JAVA_EXE%" goto execute + +echo. +echo ERROR: JAVA_HOME is set to an invalid directory: %JAVA_HOME% +echo. +echo Please set the JAVA_HOME variable in your environment to match the +echo location of your Java installation. + +goto fail + +:execute +@rem Setup the command line + +set CLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar + + +@rem Execute Gradle +"%JAVA_EXE%" %DEFAULT_JVM_OPTS% %JAVA_OPTS% %GRADLE_OPTS% "-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath "%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain %* + +:end +@rem End local scope for the variables with windows NT shell +if "%ERRORLEVEL%"=="0" goto mainEnd + +:fail +rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of +rem the _cmd.exe /c_ return code! +if not "" == "%GRADLE_EXIT_CONSOLE%" exit 1 +exit /b 1 + +:mainEnd +if "%OS%"=="Windows_NT" endlocal + +:omega diff --git a/api/settings.gradle.kts b/api/settings.gradle.kts new file mode 100644 index 0000000..595dbf6 --- /dev/null +++ b/api/settings.gradle.kts @@ -0,0 +1,5 @@ +plugins { + id("org.gradle.toolchains.foojay-resolver-convention") version "0.8.0" +} +rootProject.name = "api" + diff --git a/api/src/main/kotlin/DotEnv.kt b/api/src/main/kotlin/DotEnv.kt new file mode 100644 index 0000000..bfbafd0 --- /dev/null +++ b/api/src/main/kotlin/DotEnv.kt @@ -0,0 +1,15 @@ +package com.jaytux.simd + +import io.github.cdimascio.dotenv.dotenv + +object DotEnv { + val env = dotenv() + + operator fun get(name: String) = env[name] + + class DotEnvException(missing: String) : RuntimeException("Missing environment variable: $missing") { + constructor(missing: String, cause: Throwable) : this(missing) { + initCause(cause) + } + } +} \ No newline at end of file diff --git a/api/src/main/kotlin/Main.kt b/api/src/main/kotlin/Main.kt new file mode 100644 index 0000000..b0960e2 --- /dev/null +++ b/api/src/main/kotlin/Main.kt @@ -0,0 +1,55 @@ +package com.jaytux.simd + +import com.jaytux.simd.data.Database +import com.jaytux.simd.data.Loader +import com.jaytux.simd.server.configureHTTP +import com.jaytux.simd.server.configureRouting +import com.jaytux.simd.server.configureSerialization +import io.ktor.server.application.* +import io.ktor.server.netty.* +import kotlinx.coroutines.runBlocking + +fun main(args: Array) { + if(args.size > 3 && args[1] == "-reload") { + val xmlFile = args[2] + val jsonFile = args[3] + dbSetup(xmlFile, jsonFile) + } + else if(args.size >= 1 && args[1] == "-h") { + println("Usage: ${args[0]} -reload (to reload the database)") + println(" ${args[0]} (to start the server)") + } + else { + EngineMain.main(args) + } +} + +fun dbSetup(xmlFile: String, jsonFile: String) { + runBlocking { + val xml = Loader.loadXml("/home/jay/intrinsics/data.xml") + val perf = Loader.loadJson("/home/jay/intrinsics/perf2.js") + Loader.importToDb(xml, perf) + } +} + +fun Application.module() { + Database.db + configureSerialization() + configureHTTP() + configureRouting() +} + +// API: (everything except /details/ is paginated per 100) +// - GET /all (list of SIMD intrinsics (name + ID)) +// - GET /cpuid (list of CPUID values) +// - GET /tech (list of techs) +// - GET /category (list of categories) +// - GET /types (list of types) +// - GET /search (search for SIMD intrinsics); query params: +// - name (string, optional, partial matching) +// - return (string, optional, full match) +// - cpuid (string, optional, full match) +// - tech (string, optional, full match) +// - category (string, optional, full match) +// - desc (string, optional, partial matching) +// - GET /details/ (details of a SIMD intrinsic) \ No newline at end of file diff --git a/api/src/main/kotlin/data/Database.kt b/api/src/main/kotlin/data/Database.kt new file mode 100644 index 0000000..391f8ae --- /dev/null +++ b/api/src/main/kotlin/data/Database.kt @@ -0,0 +1,32 @@ +package com.jaytux.simd.data + +import com.jaytux.simd.DotEnv +import org.jetbrains.exposed.sql.Database +import org.jetbrains.exposed.sql.SchemaUtils +import org.jetbrains.exposed.sql.transactions.transaction + +object Database { + val db by lazy { + val db = Database.connect( + url = DotEnv["DATABASE_URL"] ?: throw DotEnv.DotEnvException("DATABASE_URL"), + driver = DotEnv["DATABASE_DRIVER"] ?: throw DotEnv.DotEnvException("DATABASE_DRIVER"), + user = DotEnv["DATABASE_USER"] ?: "", + password = DotEnv["DATABASE_PASSWORD"] ?: "", + ) + transaction { + SchemaUtils.create(Techs, CppTypes, Categories, CPUIDs, Intrinsics, + IntrinsicArguments, IntrinsicInstructions, Platforms, Performances) + } + + db + } + + fun reset() { + transaction { + SchemaUtils.drop(Techs, CppTypes, Categories, CPUIDs, Intrinsics, + IntrinsicArguments, IntrinsicInstructions, Platforms, Performances) + SchemaUtils.create(Techs, CppTypes, Categories, CPUIDs, Intrinsics, + IntrinsicArguments, IntrinsicInstructions, Platforms, Performances) + } + } +} \ No newline at end of file diff --git a/api/src/main/kotlin/data/Entities.kt b/api/src/main/kotlin/data/Entities.kt new file mode 100644 index 0000000..152a712 --- /dev/null +++ b/api/src/main/kotlin/data/Entities.kt @@ -0,0 +1,82 @@ +package com.jaytux.simd.data + +import com.jaytux.simd.data.CppType.Companion.optionalReferrersOn +import org.jetbrains.exposed.dao.* +import org.jetbrains.exposed.dao.id.CompositeID +import org.jetbrains.exposed.dao.id.EntityID +import java.util.* + +class Tech(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(Techs) + + var name by Techs.name +} + +class CppType(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(CppTypes) + + var name by CppTypes.name +} + +class Category(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(Categories) + + var name by Categories.name +} + +class CPUID(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(CPUIDs) + + var name by CPUIDs.name +} + +class Intrinsic(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(Intrinsics) + + var mnemonic by Intrinsics.mnemonic + var returnType by CppType referencedOn Intrinsics.returnType + var returnVar by Intrinsics.returnVar + var description by Intrinsics.description + var operations by Intrinsics.operations + var category by Category referencedOn Intrinsics.category + var cpuid by CPUID optionalReferencedOn Intrinsics.cpuid + var tech by Tech referencedOn Intrinsics.tech + + val arguments by IntrinsicArgument referrersOn IntrinsicArguments.intrinsic + val instructions by IntrinsicInstruction referrersOn IntrinsicInstructions.intrinsic +} + +class IntrinsicArgument(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(IntrinsicArguments) + + var intrinsic by Intrinsic referencedOn IntrinsicArguments.intrinsic + var name by IntrinsicArguments.name + var type by CppType referencedOn IntrinsicArguments.type + var index by IntrinsicArguments.index +} + +class IntrinsicInstruction(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(IntrinsicInstructions) + + var intrinsic by Intrinsic referencedOn IntrinsicInstructions.intrinsic + var mnemonic by IntrinsicInstructions.mnemonic + var xed by IntrinsicInstructions.xed + var form by IntrinsicInstructions.form + + val performance by Performance referrersOn Performances.instruction +} + +class Platform(id: EntityID) : UUIDEntity(id) { + companion object : UUIDEntityClass(Platforms) + + var name by Platforms.name +} + +class Performance(id: EntityID) : CompositeEntity(id) { + companion object : CompositeEntityClass(Performances) + + var instruction by IntrinsicInstruction referencedOn Performances.instruction + var platform by Platform referencedOn Performances.platform + var latency by Performances.latency + var throughput by Performances.throughput +} \ No newline at end of file diff --git a/api/src/main/kotlin/data/Loader.kt b/api/src/main/kotlin/data/Loader.kt new file mode 100644 index 0000000..d1c9945 --- /dev/null +++ b/api/src/main/kotlin/data/Loader.kt @@ -0,0 +1,205 @@ +package com.jaytux.simd.data + +import com.fleeksoft.ksoup.Ksoup +import com.jaytux.simd.data.IntrinsicInstructions.xed +import kotlinx.coroutines.coroutineScope +import kotlinx.serialization.Serializable +import kotlinx.serialization.json.Json +import kotlinx.serialization.json.JsonObject +import org.jetbrains.exposed.sql.batchInsert +import org.jetbrains.exposed.sql.insert +import org.jetbrains.exposed.sql.transactions.transaction +import java.io.File +import org.json.JSONObject + +object Loader { + data class XmlIntrinsic(val name: String, val tech: String, val retType: String, val retVar: String?, val args: List>, val desc: String, val op: String?, val insn: List>, val cpuid: String?, val category: String) + + data class XmlData( + val types: Set, val techs: Set, val cpuids: Set, val categories: Set, + val intrinsics: List + ) + + data class Performance(val latency: Float?, val throughput: Float?) + + data class JsonData(val platforms: Set, val data: Map>) + + suspend fun loadXml(xmlFile: String): XmlData = coroutineScope { + val xml = Ksoup.parseXml(File(xmlFile).readText(Charsets.UTF_8)) + + val cppTypes = mutableSetOf() + val techs = mutableSetOf() + val cpuids = mutableSetOf() + val categories = mutableSetOf() + val intrins = mutableListOf() + + val errors = mutableListOf() + + xml.getElementsByTag("intrinsic").forEachIndexed { i, it -> + val name = it.attribute("name")?.value + if(name == null) { + errors += "Missing name attribute in intrinsic element" + return@forEachIndexed + } + val tech = it.attribute("tech")?.value + if(tech == null) { + errors += "Missing tech attribute for intrinsic $name" + return@forEachIndexed + } + + val ret = it.getElementsByTag("return").firstOrNull() + if(ret == null) { + errors += "Missing return element for intrinsic $name" + return@forEachIndexed + } + val retType = ret.attribute("type")?.value + if(retType == null) { + errors += "Missing type attribute for return element in intrinsic $name" + return@forEachIndexed + } + val retVar = ret.attribute("varname")?.value + + val args = mutableListOf>() + it.getElementsByTag("parameter").forEachIndexed { i, p -> + val argName = p.attribute("varname")?.value + val type = p.attribute("type")?.value + + if(type != null && type == "void") return@forEachIndexed //ignore + + if(argName == null) { + errors += "Missing varname attribute for parameter $i in intrinsic $name" + return@forEachIndexed + } + if(type == null) { + errors += "Missing type attribute for parameter $argName in intrinsic $name" + return@forEachIndexed + } + cppTypes += type + args += argName to type + } + + val desc = it.getElementsByTag("description").firstOrNull()?.text() + if(desc == null) { + errors += "Missing description element for intrinsic $name" + return@forEachIndexed + } + + val op = it.getElementsByTag("operation").firstOrNull()?.text() + + val insn = mutableListOf>() + it.getElementsByTag("instruction").forEachIndexed { i, ins -> + val insnName = ins.attribute("xed")?.value ?: ins.attribute("name")?.value + if(insnName == null) { + errors += "Missing both xed and name attribute for instruction $i in intrinsic $name" + return@forEachIndexed + } + val insnMnemonic = ins.attribute("name")?.value + if(insnMnemonic == null) { + errors += "Missing name attribute for instruction $insnName in intrinsic $name" + return@forEachIndexed + } + val insnForm = ins.attribute("form")?.value + insn += Triple(insnName, insnMnemonic, insnForm) + } + + val cpuid = it.getElementsByTag("cpuid").firstOrNull()?.text() + + val category = it.getElementsByTag("category").firstOrNull()?.text() + if(category == null) { + errors += "Missing category element for intrinsic $name" + return@forEachIndexed + } + + val intrinsic = XmlIntrinsic(name, tech, retType, retVar, args, desc, op, insn, cpuid, category) + intrins += intrinsic + techs += tech + cpuid?.let { c -> cpuids += c } + categories += category + cppTypes += retType + } + + if(errors.isNotEmpty()) { + errors.forEach { System.err.println(it) } + throw Exception("XML file is (partially) invalid") + } + + XmlData(types = cppTypes, techs = techs, cpuids = cpuids, categories = categories, intrinsics = intrins) + } + + suspend fun loadJson(jsonFile: String): JsonData = coroutineScope { + val json = File(jsonFile).readText(Charsets.UTF_8) + val schema = JSONObject(json) + val pSet = mutableSetOf() + val res = mutableMapOf>() + + schema.keys().forEach { opcode -> + val pMap = mutableMapOf() + val platforms = schema.getJSONArray(opcode) + for (i in 0 until platforms.length()) { + val platform = platforms.getJSONObject(i) + + platform.keys().forEach { k -> + pSet += k + val latency = platform.getJSONObject(k).getString("l").toFloatOrNull() + val throughput = platform.getJSONObject(k).getString("t").toFloatOrNull() + pMap += k to Performance(latency, throughput) + } + } + res += opcode to pMap + } + + JsonData(pSet, res) + } + + suspend fun importToDb(xml: XmlData, json: JsonData) = coroutineScope { + val db = Database.db + transaction { + val techMap = xml.techs.associateWith { tech -> Tech.new { name = tech } } + val typeMap = xml.types.associateWith { type -> CppType.new { name = type } } + val catMap = xml.categories.associateWith { cat -> Category.new { name = cat } } + val cpuidMap = xml.cpuids.associateWith { cpuid -> CPUID.new { name = cpuid } } + val platformMap = json.platforms.associateWith { platform -> Platform.new { name = platform } } + + xml.intrinsics.forEach { intr -> + val dbIn = Intrinsic.new { + mnemonic = intr.name + returnType = typeMap[intr.retType] ?: throw Exception("Type ${intr.retType} not found") + returnVar = intr.retVar + description = intr.desc + operations = intr.op + category = catMap[intr.category] ?: throw Exception("Category ${intr.category} not found") + cpuid = intr.cpuid?.let { cpuidMap[it] ?: throw Exception("CPUID ${intr.cpuid} not found") } + tech = techMap[intr.tech] ?: throw Exception("Tech ${intr.tech} not found") + } + + intr.args.forEachIndexed { i, arg -> + IntrinsicArgument.new { + intrinsic = dbIn + name = arg.first + type = typeMap[arg.second] ?: throw Exception("Type ${arg.second} not found") + index = i + } + } + + intr.insn.forEach { insn -> + val dbInsn = IntrinsicInstruction.new { + intrinsic = dbIn + xed = insn.first + mnemonic = insn.second + insn.third?.let { form = it } + } + + json.data[insn.first]?.forEach { (pl, perf) -> + val dbPl = platformMap[pl] ?: throw Exception("Platform $pl not found") + Performances.insert { + it[instruction] = dbInsn.id + it[platform] = dbPl.id + it[latency] = perf.latency + it[throughput] = perf.throughput + } + } + } + } + } + } +} \ No newline at end of file diff --git a/api/src/main/kotlin/data/Tables.kt b/api/src/main/kotlin/data/Tables.kt new file mode 100644 index 0000000..e72882d --- /dev/null +++ b/api/src/main/kotlin/data/Tables.kt @@ -0,0 +1,63 @@ +package com.jaytux.simd.data + +import org.jetbrains.exposed.dao.id.UUIDTable +import org.jetbrains.exposed.dao.id.CompositeIdTable + +object Techs : UUIDTable() { + val name = varchar("name", 255).uniqueIndex() +} + +object CppTypes : UUIDTable() { + val name = varchar("name", 255).uniqueIndex() +} + +object Categories : UUIDTable() { + val name = varchar("name", 255).uniqueIndex() +} + +object CPUIDs : UUIDTable() { + val name = varchar("name", 255).uniqueIndex() +} + +object Intrinsics : UUIDTable() { + val mnemonic = varchar("mnemonic", 255) + val returnType = reference("return_type", CppTypes) + val returnVar = varchar("return_var", 255).nullable() + val description = text("description") + val operations = text("operations").nullable() + val category = reference("category", Categories) + val cpuid = reference("cpuid", CPUIDs).nullable() + val tech = reference("tech", Techs) +} + +object IntrinsicArguments : UUIDTable() { + val intrinsic = reference("intrinsic", Intrinsics) + val name = varchar("name", 255) + val type = reference("type", CppTypes) + val index = integer("index") + + init { + uniqueIndex(intrinsic, name) + uniqueIndex(intrinsic, index) + } +} + +object IntrinsicInstructions : UUIDTable() { + val intrinsic = reference("intrinsic", Intrinsics) + val mnemonic = varchar("mnemonic", 255) + val xed = varchar("xed", 255) + val form = text("form").nullable() +} + +object Platforms : UUIDTable() { + val name = varchar("name", 255).uniqueIndex() +} + +object Performances : CompositeIdTable() { + val instruction = reference("instruction", IntrinsicInstructions) + val platform = reference("platform", Platforms) + val latency = float("latency").nullable() + val throughput = float("throughput").nullable() + + override val primaryKey: PrimaryKey = PrimaryKey(instruction, platform) +} \ No newline at end of file diff --git a/api/src/main/kotlin/server/Endpoints.kt b/api/src/main/kotlin/server/Endpoints.kt new file mode 100644 index 0000000..772da00 --- /dev/null +++ b/api/src/main/kotlin/server/Endpoints.kt @@ -0,0 +1,122 @@ +package com.jaytux.simd.server + +import com.jaytux.simd.data.* +import io.ktor.server.routing.* +import kotlinx.serialization.Serializable +import org.jetbrains.exposed.sql.SqlExpressionBuilder.eq +import org.jetbrains.exposed.sql.SqlExpressionBuilder.like +import org.jetbrains.exposed.sql.selectAll +import org.jetbrains.exposed.sql.transactions.transaction +import java.util.* + +@Serializable +data class IntrinsicSummary(@Serializable(with = UUIDSerializer::class) val id: UUID, val name: String) + +@Serializable +data class Param(val name: String, val type: String) + +@Serializable +data class Instruction(val mnemonic: String, val xed: String, val form: String?) + +@Serializable +data class PlatformPerformance(val platform: String, val latency: Float?, val throughput: Float?) + +@Serializable +data class IntrinsicDetails( + @Serializable(with = UUIDSerializer::class) val id: UUID, + val name: String, + val returnType: String, + val returnVar: String?, + val description: String, + val operations: String?, + val category: String, + val cpuid: String?, + val tech: String, + val params: List, + val instructions: List?, + val performance: List? +) + +fun Routing.installGetAll() { + getPagedUrl("/all", { 100 }, { IntrinsicSummary(it.id.value, it.mnemonic) }) { + Intrinsic.all().orderAsc(Intrinsics.mnemonic) + } + + getPagedUrl("/cpuid", { 100 }, { it.name }) { CPUID.all().orderAsc(CPUIDs.name) } + getPagedUrl("/tech", { 100 }, { it.name }) { Tech.all().orderAsc(Techs.name) } + getPagedUrl("/category", { 100 }, { it.name }) { Category.all().orderAsc(Categories.name) } + getPagedUrl("/types", { 100 }, { it.name }) { CppType.all().orderAsc(CppTypes.name) } +} + +fun Routing.installSearch() { + getPagedRequest("/search", { 100 }, { IntrinsicSummary(it[Intrinsics.id].value, it[Intrinsics.mnemonic]) }) { + val name = call.request.queryParameters["name"] + val returnType = call.request.queryParameters["return"]?.let { + CppType.find { CppTypes.name eq it }.firstOrNull() + ?: throw HttpError("Unknown return type: $it") + } + val cpuid = call.request.queryParameters["cpuid"]?.let { + CPUID.find { CPUIDs.name eq it }.firstOrNull() + ?: throw HttpError("Unknown CPUID: $it") + } + val tech = call.request.queryParameters["tech"]?.let { + Tech.find { Techs.name eq it }.firstOrNull() + ?: throw HttpError("Unknown tech: $it") + } + val category = call.request.queryParameters["category"]?.let { + Category.find { Categories.name eq it }.firstOrNull() + ?: throw HttpError("Unknown category: $it") + } + val desc = call.request.queryParameters["desc"] + + var results = Intrinsics.selectAll() + name?.let { results = results.where { Intrinsics.mnemonic like "%$it%" } } + returnType?.let { results = results.where { Intrinsics.returnType eq it.id } } + cpuid?.let { results = results.where { Intrinsics.cpuid eq it.id } } + tech?.let { results = results.where { Intrinsics.tech eq it.id } } + category?.let { results = results.where { Intrinsics.category eq it.id } } + desc?.let { results = results.where { Intrinsics.description like "%$it%" } } + + results.orderAsc(Intrinsics.mnemonic) + } +} + +fun Routing.installDetails() { + get("/details/{id}") { + runCatching { + transaction { + val id = call.parameters["id"]?.let { UUID.fromString(it) } + ?: throw HttpError("Missing or invalid ID") + val intrinsic = Intrinsic.findById(id) + ?: throw HttpError("Unknown intrinsic: $id") + + IntrinsicDetails( + id = intrinsic.id.value, + name = intrinsic.mnemonic, + returnType = intrinsic.returnType.name, + returnVar = intrinsic.returnVar, + description = intrinsic.description, + operations = intrinsic.operations, + category = intrinsic.category.name, + cpuid = intrinsic.cpuid?.name, + tech = intrinsic.tech.name, + params = intrinsic.arguments.orderAsc(IntrinsicArguments.index) + .map { Param(it.name, it.type.name) }, + instructions = intrinsic.instructions.emptyToNull() + ?.map { Instruction(it.mnemonic, it.xed, it.form) }, + performance = intrinsic.instructions.firstOrNull()?.let { + (Performances innerJoin Platforms).selectAll().where { + Performances.instruction eq it.id + }.map { + PlatformPerformance( + platform = it[Platforms.name], + latency = it[Performances.latency], + throughput = it[Performances.throughput] + ) + } + } + ) + } + } + } +} \ No newline at end of file diff --git a/api/src/main/kotlin/server/HTTP.kt b/api/src/main/kotlin/server/HTTP.kt new file mode 100644 index 0000000..7cd77d1 --- /dev/null +++ b/api/src/main/kotlin/server/HTTP.kt @@ -0,0 +1,10 @@ +package com.jaytux.simd.server + +import io.ktor.server.application.* +import io.ktor.server.routing.* + +fun Application.configureHTTP() { + routing { + // + } +} \ No newline at end of file diff --git a/api/src/main/kotlin/server/Pagination.kt b/api/src/main/kotlin/server/Pagination.kt new file mode 100644 index 0000000..25cb858 --- /dev/null +++ b/api/src/main/kotlin/server/Pagination.kt @@ -0,0 +1,18 @@ +package com.jaytux.simd.server + +import kotlinx.serialization.Serializable +import org.jetbrains.exposed.sql.Expression +import org.jetbrains.exposed.sql.SizedIterable +import org.jetbrains.exposed.sql.SortOrder + +@Serializable data class Paginated(val page: Long, val totalPages: Long, val items: List) + +inline fun SizedIterable.paginated(page: Long, perPage: Int, crossinline mapper: (T) -> R): Paginated { + val total = this.count() + val subset = this.offset(page * perPage).limit(perPage).map { item -> mapper(item) } + return Paginated(page, total / perPage + if (total % perPage > 0) 1 else 0, subset) +} + +fun SizedIterable.orderAsc(expr: Expression<*>) = this.orderBy(expr to SortOrder.ASC) + +fun SizedIterable.emptyToNull() = if(empty()) null else this \ No newline at end of file diff --git a/api/src/main/kotlin/server/Routing.kt b/api/src/main/kotlin/server/Routing.kt new file mode 100644 index 0000000..b6af330 --- /dev/null +++ b/api/src/main/kotlin/server/Routing.kt @@ -0,0 +1,66 @@ +package com.jaytux.simd.server + +import com.jaytux.simd.data.* +import io.ktor.http.* +import io.ktor.server.application.* +import io.ktor.server.plugins.autohead.* +import io.ktor.server.response.* +import io.ktor.server.routing.* +import kotlinx.serialization.Serializable +import org.jetbrains.exposed.sql.* +import org.jetbrains.exposed.sql.transactions.transaction +import java.util.* + +@Serializable data class ErrorResponse(val error: String) +class HttpError(msg: String, val status: HttpStatusCode = HttpStatusCode.BadRequest) : Exception(msg) + +inline suspend fun RoutingContext.runCatching(crossinline block: suspend RoutingContext.() -> R) { + try { + call.respond(block()) + } + catch(err: HttpError) { + call.respond(err.status, ErrorResponse(err.message ?: "")) + } +} + +inline fun Route.getPagedUrl( + path: String, + crossinline perPage: RoutingContext.() -> Int, + crossinline mapper: (T) -> R, + crossinline getSet: RoutingContext.() -> SizedIterable, +) { + get(path) { + runCatching { + transaction { getSet().paginated(0, perPage(), mapper) } + } + } + get("$path/{page}") { + runCatching { + val page = call.parameters["page"]?.toLongOrNull() ?: 0 + transaction { getSet().paginated(page, perPage(), mapper) } + } + } +} + +inline fun Route.getPagedRequest( + path: String, + crossinline perPage: RoutingContext.() -> Int, + crossinline mapper: (T) -> R, + crossinline getSet: RoutingContext.() -> SizedIterable, +) { + get(path) { + runCatching { + val page = call.request.queryParameters["page"]?.toLongOrNull() ?: 0 + transaction { getSet().paginated(page, perPage(), mapper) } + } + } +} + +fun Application.configureRouting() { + install(AutoHeadResponse) + routing { + installGetAll() + installSearch() + installDetails() + } +} \ No newline at end of file diff --git a/api/src/main/kotlin/server/Serialization.kt b/api/src/main/kotlin/server/Serialization.kt new file mode 100644 index 0000000..56e7987 --- /dev/null +++ b/api/src/main/kotlin/server/Serialization.kt @@ -0,0 +1,28 @@ +package com.jaytux.simd.server + +import io.ktor.serialization.kotlinx.json.* +import io.ktor.server.application.* +import io.ktor.server.plugins.contentnegotiation.* +import io.ktor.server.routing.* +import io.ktor.util.* +import kotlinx.serialization.KSerializer +import kotlinx.serialization.descriptors.PrimitiveKind +import kotlinx.serialization.descriptors.PrimitiveSerialDescriptor +import kotlinx.serialization.descriptors.SerialDescriptor +import kotlinx.serialization.encoding.Encoder +import kotlinx.serialization.encoding.Decoder +import java.util.* + +fun Application.configureSerialization() { + install(ContentNegotiation) { + json() + } +} + +object UUIDSerializer : KSerializer { + override val descriptor: SerialDescriptor = PrimitiveSerialDescriptor("UUID", PrimitiveKind.STRING) + + override fun deserialize(decoder: Decoder): UUID = UUID.fromString(decoder.decodeString()) + + override fun serialize(encoder: Encoder, value: UUID) = encoder.encodeString(value.toString()) +} \ No newline at end of file diff --git a/api/src/main/resources/application.yaml b/api/src/main/resources/application.yaml new file mode 100644 index 0000000..7304966 --- /dev/null +++ b/api/src/main/resources/application.yaml @@ -0,0 +1,5 @@ +ktor: + application: + modules: [ com.jaytux.simd.MainKt.module ] + deployment: + port: 42024 \ No newline at end of file diff --git a/api/src/main/resources/logback.xml b/api/src/main/resources/logback.xml new file mode 100644 index 0000000..1591528 --- /dev/null +++ b/api/src/main/resources/logback.xml @@ -0,0 +1,10 @@ + + + + %d{YYYY-MM-dd HH:mm:ss.SSS} [%thread] %-5level %logger{36} - %msg%n + + + + + + \ No newline at end of file