From 94788dbd747eafcbc9e717d4b420bfc64a8a6375 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Fri, 6 Oct 2017 16:37:35 +0200 Subject: [PATCH] Removed old files --- .gitmodules | 3 - Jenkinsfile | 44 --------------- doc/build.md | 37 ------------- doc/dependencies.md | 37 ------------- doc/getting-started.md | 1 - install.sh | 2 - util/astyle/options.astyle | 34 ------------ util/checklist/storage.ods | Bin 18701 -> 0 bytes util/osx-package/package.sh | 10 ---- util/osx-package/packager.py | 103 ----------------------------------- 10 files changed, 271 deletions(-) delete mode 100644 .gitmodules delete mode 100644 Jenkinsfile delete mode 100644 doc/build.md delete mode 100644 doc/dependencies.md delete mode 100644 doc/getting-started.md delete mode 100755 install.sh delete mode 100644 util/astyle/options.astyle delete mode 100644 util/checklist/storage.ods delete mode 100644 util/osx-package/package.sh delete mode 100644 util/osx-package/packager.py diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 92b35f18f..000000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "resources/3rdparty/cusplibrary"] - path = resources/3rdparty/cusplibrary - url = https://github.com/cusplibrary/cusplibrary.git diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index fd321e147..000000000 --- a/Jenkinsfile +++ /dev/null @@ -1,44 +0,0 @@ -node { - def cmakeTool - stage('Preparation') { - // Get some code from a GitHub repository - checkout scm - - cmakeTool = tool name: 'InSearchPath', type: 'hudson.plugins.cmake.CmakeTool' - - sh "rm -rf build" - sh "mkdir -p build" - } - stage('Configure') { - dir("build") { - sh "${cmakeTool} .." - } - - } - - stage('Build') { - dir("build") { - sh "make storm" - } - - } - - stage('Build Tests') { - dir("build") { - sh "make -j 4 tests" - } - - } - - stage('Test') { - dir("build") { - sh "make check-verbose" - } - } - - stage('Archive') { - archiveArtifacts artifacts: 'build/bin/*', onlyIfSuccessful: true - archiveArtifacts artifacts: 'build/lib/*', onlyIfSuccessful: true - archiveArtifacts artifacts: 'build/include/*', onlyIfSuccessful: true - } -} diff --git a/doc/build.md b/doc/build.md deleted file mode 100644 index 725794034..000000000 --- a/doc/build.md +++ /dev/null @@ -1,37 +0,0 @@ -# Building Storm - - -## Requirements -CMake >= 3.2 - CMake is required as it is used to generate the Makefiles or Projects/Solutions required to build StoRM. - -### Compiler: - A C++11 compliant compiler is required to build StoRM. It is tested and known to work with the following compilers: - - GCC 5.3 - - Clang 3.5.0 - - Other versions or compilers might work, but are not tested. - - The following Compilers are known NOT to work: - - Microsoft Visual Studio versions older than 2013, - - GCC versions 4.9.1 and older. - -Prerequisites: - Boost >= 1.61 - Build using the Boost Build system, for x64 use "bjam address-model=64" or "bjam.exe address-model=64 --build-type=complete" - -## Instructions - -### General - -```bash -mkdir build -cd build -``` - -It is recommended to make an out-of-source build, meaning that the folder in which CMake generates its Cache, Makefiles and output files should not be the Project Root nor its Source Directory. -A typical build layout is to create a folder "build" in the project root alongside the CMakeLists.txt file, change into this folder and execute "cmake .." as this will leave all source files untouched -and makes cleaning up the build tree very easy. -There are several options available for the CMake Script as to control behaviour and included components. -If no error occured during the last CMake Configure round, press Generate. -Now you can build StoRM using the generated project/makefiles in the Build folder you selected. \ No newline at end of file diff --git a/doc/dependencies.md b/doc/dependencies.md deleted file mode 100644 index 34660fdc0..000000000 --- a/doc/dependencies.md +++ /dev/null @@ -1,37 +0,0 @@ -# Dependencies - -## Included Dependencies: -- Carl 1.0 -- CUDD 3.0.0 - CUDD is included in the StoRM Sources under /resources/3rdparty/cudd-2.5.0 and builds automatically alongside StoRM. - Its Sourced where heavily modified as to incorporate newer Versions of Boost, changes in C++ (TR1 to C++11) and - to remove components only available under UNIX. -- Eigen 3.3 beta1 - Eigen is included in the StoRM Sources under /resources/3rdparty/eigen and builds automatically alongside StoRM. - - -- GTest 1.7.0 - GTest is included in the StoRM Sources under /resources/3rdparty/gtest-1.7.0 and builds automatically alongside StoRM -- GMM >= 4.2 - GMM is included in the StoRM Sources under /resources/3rdparty/gmm-4.2 and builds automatically alongside StoRM. - -## Optional: -- Gurobi >= 5.6.2 - Specify the path to the gurobi root dir using -DGUROBI_ROOT=/your/path/to/gurobi -- Z3 >= 4.3.2 - Specify the path to the z3 root dir using -DZ3_ROOT=/your/path/to/z3 -- MathSAT >= 5.2.11 - Specify the path to the mathsat root dir using -DMSAT_ROOT=/your/path/to/mathsat -- MPIR >= 2.7.0 - MSVC only and only if linked with MathSAT - Specify the path to the gmp-include directory -DGMP_INCLUDE_DIR=/your/path/to/mathsat - Specify the path to the mpir.lib directory -DGMP_MPIR_LIBRARY=/your/path/to/mpir.lib - Specify the path to the mpirxx.lib directory -DGMP_MPIRXX_LIBRARY=/your/path/to/mpirxx.lib -- GMP - clang and gcc only -- CUDA Toolkit >= 6.5 - Specify the path to the cuda toolkit root dir using -DCUDA_ROOT=/your/path/to/cuda -- CUSP >= 0.4.0 - Only of built with CUDA Toolkit - CUSP is included in the StoRM Sources as a git-submodule unter /resources/3rdparty/cusplibrary - diff --git a/doc/getting-started.md b/doc/getting-started.md deleted file mode 100644 index 8b1378917..000000000 --- a/doc/getting-started.md +++ /dev/null @@ -1 +0,0 @@ - diff --git a/install.sh b/install.sh deleted file mode 100755 index 384bbb2e9..000000000 --- a/install.sh +++ /dev/null @@ -1,2 +0,0 @@ -#!/bin/bash -pip install -ve stormpy diff --git a/util/astyle/options.astyle b/util/astyle/options.astyle deleted file mode 100644 index 5f02d356d..000000000 --- a/util/astyle/options.astyle +++ /dev/null @@ -1,34 +0,0 @@ -# Select overall style. ---style=google ---mode=c ---recursive - -# Attach brackets to namespaces and classes. ---attach-namespaces ---attach-classes - -# Of course, namespaces should also be indented. ---indent-namespaces - -# C++ comments starting in column 1 are also supposed to be indented properly. ---indent-col1-comments - -# Add space padding around operators. ---pad-oper - -# Put the pointer/reference operators next to the variable. ---align-pointer=type - -# Add brackets to conditional one-line statements. ---add-brackets - -# Convert tabs to spaces in non-indentation part of the line as well. ---convert-tabs - -# Remove spaces in definition of C++ templates. ---close-templates - -# Don't let lines get too long. ---max-code-length=140 - ---verbose diff --git a/util/checklist/storage.ods b/util/checklist/storage.ods deleted file mode 100644 index d05761496281c3533609fc6a2e759dbb72e6be50..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 18701 zcmeFZ1#=xS(~vjOffS<%*=G1_wKi~w`#ww z{Q*~1Q=^*Fw50A_kK)-TcbGH?Ti9h~W&) z`slr;$)st3j{01<55XBP=$WKG~T{Z8a=mYbCw3l?CJid`*WPf56~SN9>zE*eW-|v zITJ*)xzv~St+`4WEk?F0p>g2f5sbctSO{N@Mj?GP%?<0S&1hx^hJhm9D!l^@;i>W@qCq!11zwCR1OZh4Q`yZ_XVnZ}n{%T|S5!R&d{x_8`g}LDmhvFE|Q<#6MkT$L{$~-Y%mZ zGbV~rdPB3kF(1Gy8sD5Y9|J#e`*%gRmrXdh%r9kbxTktj!$ zpXF+byT>}1AVp7|C6mB_ZFb9~ioAzFTPi}X^BrYoEd+Og^Xg%yy;rVo;&&3p70bE- zqEYu$drBW;I9Yky``w8H44eq}$`hpi!d3@M@`I3T*}*23c_>#%t8kySMQJgOkv&AW zxUtX&7^F%;;ICSHXL17)Zpd$X0W7XT{@&u1u#V(n^Ja)7J^%zv4nu;#+)kR?j5{qD zj?}!id;D(Vr!Yo?06|hu-JL8T$7Mwa(#-;vvyvDshkg3~1;a5EZID4g_a?)z#9e(6<3Lrm0s;diwuV>&W z?l1xp3h^NRE?!%egTBL@^WMftVqd!e$)&XAa%tp#sl*8V{mM!Q)tRKBY$($QnJ;*8 z4c^X*akz~Te%X2nJcR;Dnv^^t`C;Shae$N_|Bxr1r@bKfWq5})(ZSS4)w>2jHhhee zdZ8l35nPh?h2T^4h|VH7G;*S@xF`x^YQyUw2;;E4b+|z{&r>R*Q{?P;-kqVry~QJp zhW^yLH;DI>#w0=l-`a&j>sN;ZTg=2*`zuECmC2)^yc9yWW@M22k6wi4<4TKKEUc7k zR>nhemoLvgSK41Xa?iaUl>L*hOIFX~HN7kb-qv45tM)^ze;ys{)0(B=rQWmLk~Gh$ zdL8}Ht!rghc}ryw(XI`A0ad;vM&n93J~WNMljb!uJ&W&S&OY76%-BCMm#N!hV*ar9 zq7v~W2}>Eyk|%kTu#9SrY^gF-Vjg{lg0DF^j{L5dza4iW3-2+Dl+@CAQ=*S!gaa1? z_rfj+&$7OnM({NPXVxs;Ze{atB;14FTQ1TqzEif4k&Eg|-4fF~Ps7-|GSNHAKiff@ zqE!tJ2>>J#{hw?H!l&&pvIT^yi z%J2ES6pc3i^P#)x~*E^_tLH0f5-~pJy9TISaK8Oe*FUpvYKTc%UZWA?;(LBN+zhw%%PQ^=sGa4x=0H_GQBsGX}YgV zXg;Uy%jqaX44}2`KP}((wrv+*lMx~!Uhpo+Yi#}1XiBSh(|pImc1+u)R2nFSs8L;H z2h*_;lq{fLjLkQKou)PY#leTFWhzilQ~SqiL@>w;g+@Ciek@r;G?*C)5rS!zF;sS% z`uSog1mzu(tnurC-dE=q_N0*p6Ly_%yOK--NHsH!?Bn%b*8{6~2}`D&=o2LY&ImIK zFgzF$4Qs8d#A3QqDicL~xX%L7=A$wFC%RNVgh_W6rRccE79?!Y z^hVPejVTh#gB)-T<>Mllzcr6Hze2~h#`dItM^U|M?$wdM=GAP(5Z5j7KPv2xguRQz zU9rKwx=j}MV4UY3-)Sk7vLObYhkwh0s=OKvqQL^WjC$HZTn4ptO`topoElFBzEs}S z9Uu}yIGTu{+Sh1SscTpaA&KmWusBcn<16R=YPn-+o4~z}qjP0Y;UlITB7({oLeWxq z9X2%aUZEIQa|zJGMfk(=H)}~oaZjjE1xQe~Zq-`lnMsNDMdQ4!B;%TFb_!2T?@ro; zXOtbM<~5WeF4MoR_3z-{oDqqGha7iap7An0iiRFJ_0bcmZFn z#`V1c!$3ALb1qZTX567FW|Por{G!qfYW!(%pka?1PnI?wM;y0z3z}L$Thw%A=IM6J zbONnN!X2Y&+SlD%11fz(cW)Gx2A!|2)H-?Svb(nlObFXc=U{Y0=V9>)ts2D|{Hwo` z8x(jU8@^a&fvV)Pu)g$th^)VrEiG80F|;k|vM$$48pZpXbasT;rz^eDL`X-KgM6dd z6&GeCND>3(Omw>E1oh@qrEM9tz7&BGX$?{LKpe_4y{#TL%iis-KBE&l_%SAkao&aB zD%2KR7dxjS9(j!vtDlZbvN-<h(kAXpToN&V~Yb>=xITw!eb%&gF9u+3Y@TtpI3mJ3G zsmr9@B#-c#A)9*?$$BCu1HV~omed(*_sncQKjr z8c%2LV8XfIW6+& z@62FJ0{qydCyWX7ERZ?{V5~JLIiiANW>cVgcydNZ{n%vlHe=!^}hy+Xb(y%UG<;Z+{&FJh5ERd8=*<0+1M`LGhAGDc+a%S=5 zC?9mwfC|JW7*4;<2}$B5NJz-+Uwb)!pMY}DDI92BBU^;)75vO2K2wKY0>HN{i?P%k zy#dHjZtLb(Ao7cp94?#9R_ylmb(fbySt8=Vab_Gk9drBOqnFZsgQ)F-iI=ZqshHD| zggVB0TXRc09%obTL{6o=^)tkssycj0K9!w;q|keTx=-OXUCBzBch$X#@Kya&{QZj$ z*uNd^1*;P=6&e7*VEV5e?Z2ETlon56EM@@U--YwJqp6rX*%$&1EUX=wK>t-`v;&%j zD#(c=!Q;VyHbIh<5LNoT&j0{m09f$PnxuPI5CFimE-5Oa;+k=m38yV{LOi(HGOofl zAR}X8g#P7AVnP15AY+7OU^pe*pKrOjwPH!|`%Lz#+Cb5TZ@=kHEJVV|1}ch+CF|JP zQa&|1_jh_yoDaTGk9*Y95-;I9VcJfyWHel7?Tl5VtkU%&0PRwp~A}|3V=~$ ze{cn7R7~I6fE+*qAtY4JDG4>e1V#jmnhzHKe`yj!EbJub*g2p9@?J2v6cXFoG;uy}nvL=Ti5 zms$Br=qS(VyiZdLiwTnLDBM!OQPA3l-6DkeV+hlFYI=FhFhVy>Q z4IT^09J+XDVKWnPrQ)`oBbjt!Gb~%Z_qN6VcaE2PgBWGsJ+vOYTb^(p9)l;(BEA&OHf^@>xw2}0RO!8tDUxVne5a+Teb_hncU#piV>b|N6`VoC;n_Mrv zEJ>2sQ&v~lY?&~k6`$KgxtdjTK8;)I1&cXWQj0^d+8~rE!~=avNMqsmsVhsuVy#UX zpj6CC@v6xrfj{9@&Ec{h1VZ1>hU;PeF;Am2jC;(%3Hg`vx|g*Nm7LR7ww%XjFIcz! zf0xH5x4*a_@$%lAF~7@64(kCIa5tl-T;%`LAkfeGPf?*u(bu-K{qt2WIA*{Vj0(2T z!#}!#ew4Iy5F}OfRgejx#+P~Cg8`K3tGv$bJPDb`J-?Io1@i zc>9T&6?YwdHZ8}2B`)b*t)u*n$xujVl1+m-~@^^IZ=q5ZtE zPCGf}x>Af)o#h+IvL+%hp)H*ca33Zs_Y$ zy-mQVT<-7rE`#@9Z+4}&9&O@_fMwj1dw02oXH$>QB_5!ttgTD+vwy^Y2HkX%xO%pB z{iM#5F+U<_&X!Yu|B)JH%3B4k8#UhuI60D(0~;-jf3CWTe0ca59^oJ2 zb+d>3PMMn-rw~1u1B=`0`|>s~_t2k;3nk)YoUMFC`kOWXPd`Gehb6ApLWs>V2o2ub zLi;#oPOA#P9)p$M017^z15!3UQ_-jdkv>^dQ|*WP9P3|+YIhhCJgpTxh~s-n=RCPA zTo@!w351j;APeF(tnc?5Rs;MmV%Q>G!T>dp_Vmcg)!Z#BZyZ?48%{v=g@o7B6 zOSSCRQ4;BiWi-?IKOb}wrSCabiSCL4=l1M|M%ju(K@7B zdAUEmW<$1VPSPFx?Kd7K{oH9bZUvQ90L#Cn@%Eb=pL$Z;O)V?W&UXlw_e+4Y?4MAu+@-hq4wW>@c2n_4~=m>ti=3?AG7ypzAydLsSb1Y6u(L zCg01u)bKjx5N^yYzc0VFZBbQe&%`=+HJ&zKR4y$CM_hKk>SKQpEswc4Pgld0X)n-E zg0l*I5kh$X!yJeQ2(ApC*< zKCxSSC5T;jw$$osCx4lix|_?!-+Jrlv*CsY@DpCHLXV_ja|qOuk*er495wGKob9so z^ZZ9(>U`t4@HmI=Jajh^see>6I}3wKR$xXdGeHY`_K74*A`Vw;o($cjtNXPyG<4s+jZ?w@4Wvz-h~Ryl&ry{IL( zu#?w^HKct%z=yVeFM7rfCr6ujEG~6H-b6H9a=b!UT@*PhFTX#AF>? zIrW`x*p^3c9PQvYPvnTNm9?JOEabfQwDNw=3owm17Cka!KSTCtfrFQ1Yz8qc#BOt; zPcM;opz3u%jg0$R(mQ4CkhD`*C&|>peN25-8o{_4kDmvtlXt91V^7rGl4frSjSUp{5*q^mEkrno1P84B&`r0`_<2)dR zc8L|eHkksVH4XI6*=nWVD}QU?DM=UJItvcsikGhhsy5>VGCt_=t*4lVj-krvhEayL z6%$H9QAKL{n>XLc@1(?;FYKz1T)YvZJG{AexZpSlMi_0{s2qPRaeenDK}GZT;QNyN!)ono zd;+{J*1PQ4&ApAt&edhbRPYqvezZoMlvCZ;gP{%P8>hBIbH`?^;c-Onzx?&Q-S$5; zk(ll8+^{=7pqvtdo%Z8oL$~UjxAb7#bu~`VJ?)2|XNR-sDn8OmEn@iLY$XLR3_*Zf!7#xTNLit*s zv?BhC#we&1rS_(0d7al0Z#`G3&@s8GqWH1yl*Ot7)us!z12w(4i;1?axbaAlZE4@W zxp{||7&myeMWx*{1@}jgbTQ8`Hk!6EzVjn}L3FQKp!QnEk*0wRglkKP2UeEulQrjn zIpebDBQV=OiQIWDg<(J(Il&3>Dl(22}wEsOZx6k=Q zumT`9bC~ffwfP(W_vXra#5^gHEVlmNSjiBwPOi8~+K|pyEdH+%Uv3zmm@t@ z!Gs@1QpEY534fm1{0R@Jvg0P>2{T-hwIQ)JT2#;dbPrsas*a+*@93sPtn8822N5Qo z^YR6E0%M$b9JI-e-ku-La5zqi%}>_9)`cgi81F|qUAe)bxD&SReBpC*4hqJ4i$AJ) z+_%_}jyjm5j?zGD5OaLlv0+M;5lHS(7G!U4?soZ2WouYtObZNrXRJ?ddh3`KD#&fm z$zNO;6aV^F{b)DrgT38B7%saT2?M3j`| zQ$at&bT7TgBM2W`R$MfV?75KD@|toytT61sGtD@uT-SoHKDV$qFe4l!XcIKO_#T;F zL^W3{Y;(@G4CVN#*Y^-O2vbQ(1A-VUV|!uz#i{vd zGU%_xjTY8XAcDV8_}hbPHDljtH*&)18{f)s=oXq6-^httuDop)aSb2Qi~xlHu;?3t ziKx|3p~s2sR2==T6!mx>>^25mG|T|T3D;ivK0F+D_crP-Od%}+*6|1oZ>f}~Op6e4 z6gBB1FkIz?+Qvy(3R1G?Q4t)T+(0(8lzx<1UG_gzR8Wyd-f9bV?^z`Sx1X#yb?dUp;VHicJ8{Z^&XyUZ*G*&OMDym@0eInJ)@XdX1hY4WvG+yR76ZFZtX`&@ z1f|4S^v=q$NarhQX!b&jZUd^8tSh-X;t)XIzM|i(5OnJ^zdMQ;uMJXl|ERR&pKy$1 zH+Y?Ww+{ROU>VQ zSPZuO;2xQ-oz=)#B2x6yKPb#rr2D%Ah{yYtL4T-X)Pqa(xZfl5h@%t*(=+Ew`3v_};x^-b{zM`%;A^QAEoYXh%XloeEkfi@&1P zU-Lb!a~OkV517s1t=TKtQT81&Vwje*}4Dx2T zBOcNcIjePG22OVrwd_~lbYygSF7GIIe)ZD@1)K|&)-r&U2LtG$=g)=m^t`sAh6r@B zoJ+%S!37OIijho@M6=ko{rI75>-KnD*g9#Am4#gLt__LvJX2HSA=^Uum8%*l;=eu*s|4CDf&g)6Z#}bap8%90T(p zW3_A~JIz+!eop*px-lG4cwCg@Q3qCs&0BmPwL=&IS?p_Rl48aMB7D}iIQ$~W?g3TJ z$$UDe7y4BznJ&k-d(ny(y;PoxiKV9WyEg0T++ZkV%g9LLX5%kTs<@_k}$3sgHu>#RM=Tg!zc(@V+LUWh2$IV@%!fk|P0&!-Jj~ffhiSQPbL( zw4_~NG>7FVRLwI1+$(z*fh-BzvzZv296_{^5w?7exvjAPoBCT zjAy!supVShHF;!kG_cMY4jqv$pQ(Noa&_nR~i>n=x{)S5XATQH*;x7WV2pqyLt zfqjq3y~?~!X$TY|TQH`nK+Lpr@Ijcxnboo(=}w?6!9Wv|O=GZO_T~xGQmR7pNJ=%piD#b+;lR{nFun52jRl z+(oGhp5Ghw!Vh#KOJ>xyl~Fkg!da>n<)PUS@wmjA2R);MLFW|=GFWu6rVf;ojMQ!< z%#B9gRV%osZ{!+kz`Of>P(GURskwQ%Oz`BvgQJ@b()h2RqWp+HzpF(}8!RHgHc*Cd z9Fo_~a`k_$jI9V$!E{`XylWUP{PLx|wO2cB#d={Z9Zr4UOF-hzy4+eM|E86evOAZP zw)F*x!ACQiAWU_Gx?uU@edaFKd682O*X1qRrp*LI6V=AgzN0qOVq)g(1EkWmjj*0s z5;lQ2w~ZuDAubsG0A0-yt9yPMI4kEIE6E%+PD&e)SXu6s%InQz`ieg)2(0`$Xy6dg zsKc^u0@3h53>Le-loNpliEghVwd@HVb07+YHtyw)wHODBKcI>Cdm`WECD;%}2-zk1 zGB7COf(V;~KU_{E_7x+p?uOgz^dtk98(a{8+Cn~ivfLY6UP{JOw-V?g#RfNuBSnH? zqvXgcovcc)ND_aw^!=`Iz|Cj&Z~>Yo9`H-bLeX~oWTkLV1hO6Tr;qr<_g{i0SFfQ- z@ZqtAY-ikyxpgq>bLAN8g!v%zfr#Oaq-+d}63zGrQs8Lk47x zx^43#5ZTjpcS4Qdb92Ujt}9&TspnQh>1w>PaDqE(fG{C;5A=r76F4H%d}xAgbZqI5 zanQ_a=VZqe#4%oil6pst%iUj2g6wf)K481TbRx314}+YENrWP@4Y41Lld#mUsN6J! z6{VYOyjW?Sue#z}NZ%Q*I>+I2zFC}TN%0HyFakl@2`%gdGWDkrcqQEuie(k2?!^0%)Q(ZAFq>o85sZ4}X5&UhBZ-nQr@Sb+M_?@eag$H6XE?wUM!Zr!#FXMq? zc{W#qqggx7S7w0x2DQrD1}sbn&=R9*vW~s;$`ju3Bm&Q;q1CdJR$j?+W+rLL(3;4= za~N-#>ce7)AJa2kY$o8_oja^7-qO&s7C7pU)l!6FQX3011GZ~ydD-YV+T2)7?Tb5F zQe!OsSP3wR+FXych}b2Hbx8$9+E8_9+?9{P#F7hU3Iqqez#4I_T(3J{g(%_-9P#Z6 zlnwqBl5k6_F&XqzpI2fyGbEwYIXCCh$VRmM3*kbTzQWR$g27?ocUQvh@ifOmjzTSO zX(Oezw1=pZ)a<2wj}zb}lL)#>^1`Ofdf&X`NhgXc&h{Z^?tfMdXq+Z3jhvBv{G0R?o_S;1X*2c(`pPC?A9R9qMPE) znZ7snEk!PPHtCGF>CF%=e2WN)6XrsyAj1A&%trzOO9Tuk-~tj8lMmRj`9EDwZ&x~PCQ7I! z0C{AFWaXlANX1p&zqZ(23EPD54MCGvF7OBflXm!KuiL~ zXN(4dL16uM+nHgvWj?2a>vd_tHRhm&=b{8d`{oQIbn~Eg^gvdUlu|iwQs_+z^74R2 zwAlTe#y*<1u!MJR6OjK#g-%&h?Vw@Z-$|>UbyMckC#h*vl_qM4{CVYXCSXx$ClF3a zS@mf5u>EZcD;57O7?X36Q|PB%>D2LbbSsQ=H5r7He^(d&lU5Q1uKVAI_&4G2ofrfq zC>Ot$#YXSe>nlM2IH>l?L74<73FE-qrO!_b*{ibM_FwS$n#%)$_C-?)LF5|#X;P+l z&7VUIu6f-GhbnVQ#GON{kU3g|I6=12vi7~(>Ok<-C`)Qb`BS=;`kjzLQ=Vi+B@v6w z#H7Mvc+*+=Ah_1m#u43X`mIPcTnf>3R}P}?;vD)y7@9|3XeCRSzDmQ{A2N@aFG)x`VYpD*Iz#vpzh1Eb#{mHkq=f#U*TQYZCGm z0>dgMzmZl&kvW;qE%51Rz$$$Joc&#d%QZ5M(E8nljGwHFiP<^t%ja@O1RXMpv?0KL z!~$QBUs-DdK$M!Irn|q6dG#b~ff!B<@RB9NT_4R60zYb_c@l}#k zQE4!L;w1d*mKls~f zM7ak2TDn9IUou>WPLl+Eh`b1!TRA|*?4A7WfI|0+T6AqH^Q@YS|DQK0-Xbz(1$!W> zgSFaSR!}^GDhuA^(8B~%#Lu?7QOAg|eZOC-OwL>rsxk&dc9#Th^fFX**UTOS_QmkX zcC4ZdeN@0%Tyz~?@`mRKsMkAd>~G9GVoR?tw^YF?8G%h3sR)*1c;I9L8-$MXOvQEH zlRj!Y`N@@Guf->j&`t_Bkb@U&F*@TB5pEa6`g>j(oS@Z$UCV8-DdY`FGSGS&A*;p3d0Pqat+QHz*0j(>x9b!y87-V?@i2SktBEERP{(T0@{n)s;g)zh~DHlx~@aw=; z;iht?zPx+)?XYz26)|;uir)e)Ew^%+{t6DUQqoAEtO$8$s4hqkdy9!H4-J4hvoEs1ef5t@TMRzQ4nbbU0&$OqsuujX+>%rkViq#+;KtzZp#+2`;5SJvu+CY7ItOUZs|dJ}f7N zA}E4-f)7ydEKEByvk&{KEifAPA0f-g%P$soRpd*K}SbJ&RN8U_)U=^ ze5?!2VVzUCt+E#Jd$8(SjIHl*<+IpyzK%@x4=U(%PI$7mQnM!k5VmZF5u4fCBRH}-Z7(M*4~sO^X>CRZ z4VA$Cr5^qUA^KBC8GaRH%emWdg+wjy!Sv}vt?3D>iD2kUM{M|Pdvc&2wG&T#Ex~&} zU?yA}Ca+0uUw zh!Ta_U21rWFdxmVdHF)s-~vXe{qCp9k0TUap(S;lFM($H`{Pe|oTSp5~2mX)bPMyCGc$>~Ous`wYn-0JFSdW62nRYFv z4j4Du1&hm?2p0Z+MI-$XKwU18Ss5v19AheRbVd+u*Ordm4A;>X5NRjsSiV4##?6Qi z(fC=JlOuz9<6+;Y$=4@=%T>QY!hnWH&CNRCD`TNabMVj@!Gw0>Q8Phwq5h_;=*$U8 z2EOv?_&v7jtl1a;aGSU6g`s1Wx*3&hP19?xcc2ZEg45J<$0kGboM$}ezSCH7S4(HL zgouzl^}l>~_vSio-W451$E31FOTcv`qR?Kro}=jfQvo?U$Y^@N$N?&yp3e1Q6~MZP ztuxVJ|9JY<7BvAkFAnb|PZ=TjRzz}YM0X<^&(LlZ7|^mE5Xi1?osO0b@Fm4kZXEi< z7ckOKJ#~j`&*gbix81ltiPYrEzcS>6)5J2!kyh_*^dY(^t$CHc%1?qhGjCypot^eX zJ+$NCjLA0XwE6UnTy^^fEpIj$7Tzn{4H+ZQ%WkuXGZ{?pq=@y8kwQ-e_`w!FlMJEE z82*OpUH$bESJIixmD>Za@e%YEvu~_9{@vfT+YYZY33(&qB4m=}3Qr|)9@wCy&9@rx3*_Gfl8#z7H=6T_#pl#Ez!tdkttWjBf1(iU{E?#}4Ib zt2r4#HnehuWFf|ag#tpn9~lP6c}F2s<+5JYC*eX20U*_trGe&%8~u^?5e&>TbtTMd zHC#)EtZ3No_U6^xYLsbfgaC_H0H|+Kbsnt^gM*lIci32ZJ_Ejzwqr6~>!K8eqUPnD$f=N+1adU}xYed&J$`t);_@1K6{7!Wgz`VNpOLSnJ#CQ$Ug zbhU8fx;4>|K$VpvPZ&$)N9wHUm^E}E;|cglpbB*}0;_UUVqIPqtdinF6MN)qf8J6Qa|CaC@`v=of(U-abdYiUGwt4xc@+iSe4jBE= z*o`lY@p!v!d**VHJ1Jijy%SWw(rt|SZAN(Ra4Bkwb1{Vc%m7k#tT>+5k$VU}=>C?} zJtIZz%~}k1S;HZDNHW1ms-2B@;G{8!mQPR)$!`7eme6H%9#)U1U&{^Zo0h?U7~5&t z@OgdTn0#Z^h+1#~{@vIt06%E3mh@P)ecBFSv}DNzy3&NUHmP2SJua99)CWgjIzMO{ zAgj^CPiJRo3bk6c6;Cxrlj(51-y!C4QkkYd2N(9+P#w(@o((Q7>RLrDvUaakzeP0J zRuRcHJJr*D3ZW*PN&H`+z}~O(1Nh?k9LrZ%z5-XY;aSJ&b+~q-;T+M-1M|0?G@!mQ zF+s~tBW5QwUWpAmSthlVYN;)$K=v#%$LQxnJ^M`^vXLB?D;tcPHV=zWdaCM5x>N3c z*&_U^bd_Kk=eXO%&{0XcY?^=d|0lqSGDe!)pUQ*m2Q|A0k#i zdRJL8KrOe4-X%8Ck-h$#jKnh4TcT;GKN9=x#q}q#XC)K)@!+z>i|D#X9lib$G;_Lx zz;ovooRa7m547q7c|YFnJAY*&=wkY$UkI6D!@!GH=Q1)9&We!fy#Pp24rY&~Nw#_UVARqy0yOlQMS$W{4`xo-vr1oJLl5EK)P( zB9#7FSVf1nfcUZAk{bh4_gX~LvwMzJXIQ!42w%Lh5DL zVG;~z0RMrgaH6fh>J_LMy4NT17?iYO{SpDHj!EgI>R4n-7qQ-{O8EmDV| z0m6lf!d$+p3(YZw+r#Jt$Eq8pNVjRqvL?W6#x~gjnlN(|r5xvg{|(XJLCL9{za=_R zZ<8iVOQt)sB3ed|5;^ln7BQYpW=ipwRC)}MI*$AmTs71=i!E+ZUC#RLu_IL|-vXgP z)7q1}GU|QL&oL9Co`+-boy0g48@N?*cD+WgAJKfVP0$x@yju2w0f&b{Ok-IOR)$VHZ%N;{>9k#t}BO~8W{Pg^0kd63!qd7|d zb!X=sNaRwKI*n3cdF=QnLU7EqBAVX)G|3#hur2QhU)i{zDGd8ViR*sjPS4Tjv~+t< z+M4r*1&MBR;L~7~F%mgGPfG`v`^awyv0le5uq^na9+zqr(0P_acTozq^wnI7gVX(; zvfyll8ISb~s`cTmV;5>ml75owLQW^GJ@kdv$+gSpI zt~+hsllMY`fDNMB#->prF9nIQ;-X-y$Gl?4xjO7cin{~5G?zPyU(SlucWE?VbvdY% zA-)hoBpz&pV)JvQuga#*O|)z{<@XGV$};H8U~9rh0&9Tve@my&zcxjzVO_A1;Njpl zJP&r};kQo}(7bAc*L7G?0YCbV4WR;f6wMCUyOLO7<-^`s1fF?f5D&(moXfH&ee&^( zX9=&UZf;7Kxe1V~@s}uU)|sB-_2g-R_%eSichz_XnH#^wi5RP=*q>~NXOOG=-DHS7 zQ!xC-(oBFP_Y^2ec{qQcDhpWEYy*FUwmp462$RFnA|1Ij4r$WdF_}-%3?6uTJ|1x8 zjoj91vw|TbI=XxsRqert`q8^;vnoj|C)B8HoR}Tik&hZL;_Ikq@7%A|x=$B7THIEqwa$WMMGt<@jJ&;R_Zs>@M!|zh#`sLI z_D-i2%u4>My23=se(#0wTRMAXZmU$E;O9Bf>&zb*BVvkrtIL_vO=h0< zE9t)UCJ7yQHmx=L^$-!u=;YU9uCbV?X+wz~3vP6+Z^VOabahl=2uj zJoz{=hejKWZ5i*l-eXZqN3nz}PrOF7RjP`%DToS`)&13p$Ko?$bE(6Ev6jKLX*;xa zhu4#F&_3B{FW){mU(&^5&+E9dQim!jOwA{AaTTit2>yj#=M1KVPM>F(mq|sBKB!M+ zphfjX9%DIQNd+PHqEvW}!)j=Y5`)1O?_gST!glZ)R8~C9Tmb8`7_wQKb z&+~a$+C8xojGrf1*6Cj~j0tf;PnLAV<|@NMdc%(9!-Ymd0WR0k*jTQIrkmZ~^6BL> zykY*CMh|cG->jnFwnm~((F|MoIX&+2`fl?M4^9!IHOv+p&7B#yhbxNx*Ur2q8PT!& zp{KUTcktVFc^MG*X2v1t9`b#sAiSa(`HB9M4&pYf?TQ}wD`0K4WKuhVjay!4_E0pp zbTwg@e3d3Gvh1&*5%*+T%aE)Js>jfZtofxkJswdB&@5<7h>)o;l%KyjX2dWJB#3ZDT_nAra1727smx- zjWukgEcXZ9e-`^|=PTfXTLjrr@EH_bsmM0vA2Xu|Z)pFeQ)6$t4nFH!5Al&^S)Wxw zO`l8mBA`L}s-($(JQ>3h=iFF5Q+)Xs0iTXg1~}bFSJ-Bqb5F9vp6G@QDye+W)Dty- zD#+Ey-%u5KyGq~>}%B@GKk54p=N4t{$U@CSlbXA@8Y%OFjJ_z zN>@b@>$;wo0`c_*T9sg7NZ~e||I3u`|BI~f|G&xqK3o2O;mbS9U%j0rew9kx&wPJ? zajRDZY)Wi|Q=wNI*5kCP8U`7qR;14pHToPu2f^wi9ZL!Sm<_P`? z#dMv9zR?*Kucnw^dYnDCTPeo28C9QtWdMfxA;x?<{I9Jegfh7#W#Zn|#u;bzm}ba&Y(` zs6~iRa5T(6pgZ6nj^khX@5%ndemH{MtWEv{m0s640j_f5ymb{ZW9l#YjwGBKhj%RX zR2%&DrNpVd1;YuA3suS$o=LtvdWglu)gk0qpSH1?R@-|T?z>s1zB{;Asb2Pjm2_)? z+i}Ajmq@)#NP7C}`tfMxO1K8>YTecl!>E;Wt7VcX`BsvJ8_UMbxW6I?^zWcvB#@?E zq-6Z1U1mH%r^K7*gwesNwTxD`q~Ztx)TDDzQjX+kGzrfxys++;JyF@(RWXW$l1)Fr z&9?N6qaSxoxyTZr*cdyo1PWj#FZ-Wxik>d}KpD~oC% zYWr1@KRUJ#OLV*BmAz52WDQ$hR3-_UZtcdB@)sm5f%?#XeNY-_#Ut-teBMb+^l-*$ zbqawQ^cr%a39o=klErLewjlh-Hro~#`GSVz>VTD{pX55=#zKL&WeE8zh5$6oS3ey>r1Jz1r)2+| zKi1m42EqwTP}QYWf48L6jF27Mf)^HwR~pg+K@x+Ann$8?f7^D0Ha$Y$Fx6a8bNKIF=Mddq;m#45h;~WQmsnR+pUWFx^ zwT|8>_ia8R6@`ps@81330)`NO-BjAz*GEYOMBeYEe8M8jH)F1|DpP?xG~4W`?$;6p z)}*wh=n|6<&{`GrY1Mb9UXs82;+EI5A?P~?za$Ge`#In8x0sbkT=AR|T}5HL`o?EJ zuC4z`={mOesIa3~j@uR}W5NgSr^UhTF_T6>A?q6WIr^39{Dgxw`Axm1aEh5@@I^O> zCJ{dQxfXq*%KRz!S5$3h=Js+}T0|8tGAwp|J3Kt9GpT7_t;wtvp4^omwF#JdF;l36*O@*`YhVCQ+Cbo2*UH`XuPRR zv*s6&@hlav7fF39OpAnG0IfW5Jq}#M>AF1Ac{|b~Q|K}!S^dSwm`;tR^iO{{Vm_az zF&22N0KI|d1q$RQ_8=ukzFd6zjOXc333s*_2CH{Q$ibd$1SiSR@Pxr%fdUZ0x}uQU z9-(~_ljgkOJToerm6y6#XrjHiA#LT$bFX}t1W|zpeCE3H8J{L^a!2-ft~d8;eiN-+ zZ{wZltmBWc!Dri~AN*wkO`I+j1_%Fg7jB~7=>rwhE=v21_WFO|UM!Pok& z>K@uMe%f`{N&7CJMBTIMt5%m|LysI}SmEy#fAAqgB4cZ+uz}#J<>K?-JSe%F71y6S zr}?)P-{rT7;ns??^uxlvv!XK^UHOW8QmU5OYGl<^f9cd-y8g#So2c0MTVZ|2BCnS0 zV+r0-&T}az*vU5D=flHC_0ODbzaMd3WiO}mZ2D?0zct<8-zXXF=UH%QA$yFPD?=YijDtTI)+7qT9g z|976hwC=)|x4Mi=0RezR!#n%$gFb}h|xny>Ng zjdXW#$VRmzcJ;S~7i|sBK9Lfb{#``7-0idO(wke}KP-CY_>gh4Esx%!3dv*L2D^B+ z1-6{=7rClqQt8~s$JNll^4ER?LyyQ=Z)=cn`L?b zFF*VZSn{)TIB#1YP|eD~um!kj4|kC*3M{gHT|*poJ^kGD;ngv4xBA);@4Ukb0(YN_ zh}}MQAuV*FMP$e;&P&VzHf0kM91L7OzU^N7EI4#!j;Zyt@Aqc+-+1G9F3i2-WJS&m z?)o&*1>e>l+?Oc-`}?n{Z?~=P4bHIgP&wbf>Pq6S8N8Y7jWGAlEJ}8XX2v<5&hVE3)L(pN*wNX5Ehskx}=>syWeEn?~FTt z6?glG98+_AuFikszM`SuSA}CgHbvI|uE^OfxmqvMzuUU<^NpEy$2pbOwqBCb5xMNX zu(+q*|9yRo@p}Vt!nK3|S-|6Kz=zGC>q0({0CZvr0+<79ZRGPy z&~+m3`vjd=fB?n7-JnRP7r->a+9K%NLJ=BWd2w$Ng_#2LE^=E3)!`Fuf!;-G9>R3O z>_^zgzyN9sA;1MYB3ed}xPmzYq#4${0kw?~fY%<=FdQu