SQLite format 3@ ".K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info s=|\$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=289.189cpu=1418.106gc=64.8307zXZִF! &]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[iJ5 (N%jԿ@GY[lV̮GEk7̚ =o!7t:ڸ1J_5Ƒ$ݫ@͸#5zF viC adV?De`FTfQ4|]?*ɉt(= ;)!fn~.TF*?T?_PVy)s\e[(Dk!)>VF{?"aFmAמl p(Z=8}oxkjJZ0h1P1WϟSlbi3*6:W|yvn7$*=bΎ`t63QUK7`Ҙ pC.J!#|16)5a1UJUoΣ,1 $8 Sٙr{V1gbm|)O>-gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0ΉLj6!a.lj͂S 'äIa*Bp6h' i`^6aX1^0ЬdyDHq:bOVv|jG"Z$ 720@T &ig<NƿS$gYZ7zXZִF! -s<]ŗXi%F?"҃õiҔ;(a"?A"貪NOh"ۚux$Gju#vFi(yKjEyĐhπb\@4"fѵ74S3I +܇iL-ZX_u@^=G㫓M ʳ* %)U A3{yf.'as=~JpE}Gw@~Wu#u\קE@b~ w38sy|[dDiS7gsg/e?.Fp^p>kT)Jzv?|sWxX0 s+)utRv!͐Z{:RPFFmcЭ QgKm=}~ɲeoN꣱=; gNhbY@ٞw0; ASxrchs=jҏ3J# yh!<xF`%Q=r1O&Z-jbD@x*ߑ?Ugek4ɯs|InY;w*7_r0Bs|Ô tX%fZƢuR~d3!o^#!Re238Y C/Bf\,L̈ϯʃpҭ]"Ob+K)HHucX~$MA7TrL*Xc3GHJf&HpƧFBɵɄ{AԀHv8 |^QE@APSGF.!EHLN병m(?=H/aiaK9Z !קVsv50K@w2wjZ(u( d߂bu/89h,3zLCxT_ a \ZX* IB*ޮX^5䎷%4}_%g7l;/zW72vT!T|}g53ԙ>A,+C x/7^6!R M^i/>P$ 5N2p(%6퀻tفeLdX5Mº٠og.YH 0 D(ExeĿBȆM{čpd+ҙFg>=PVٛyaܢF˽* M=>zWO~ԁY|60ѡ NC=17O/cE]&#U)TZX5tKcpY ͳAT!Z#*4=8 -4}dEhd|:an4!\sQd Rgducn?mw\K We6O-&P8 .,~IT0ӕ +͒"c&br7=x%K7وqCGx#<2wGRI -K,{J/C"nAH&⬹m:9k{q%Nh0u}ĝz}BݏM?#ztnR+>"Wjg{^8t!ި kv@\O8!:6UVk?O)DLpH_u_ʊ̭F0UⵚQVVMjXbP٬>!-Tc&N3ov$U->Zvr%Ag=~NB^0סHHȢ$N)8L;~d>/!/^ %)d@ZLu# ·\|^WDU>?pPw A/F8=)xDeaК@oMU?a,I)eYu:A|^c vOl7i ;>ű܍haQP ZP=`SIh389sсsiokV"voF ;}&:A/wc}|;ktt˿]H,Yz/#Gv~q_ m#CƼpFn-Yh{ ܁~m {=?tB5j "/"f͟y4k-eK엱|J}F6PQq{xH$Έm"vePY?UϸΈ9Jqv.8rX_$vKm[BA Aڧox "r2]\B` ڵ>38N1Ac;xJhUXEߥb2OYA)͞A{ 3>dM ;^Wp='HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_ExamplePIDE/messagesn=#HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_ExamplePIDE/markupm=!HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_ExamplePIDE/filess=-HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_ExamplePIDE/document_idZ=k'HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/messagesX=k#HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/markupW=k!HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/files]=k-HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/document_idn='HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/messagesl=#HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/markupk=!HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/filesq=-HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/document_idj= 'HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/messages h= #HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/markup g= !HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/files m= -HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/document_id ^=s'HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/messages \=s#HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/markup[=s!HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/filesa=s-HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/document_id_=s)HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/latexq=)HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/latexk= )HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/latexo=)HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/latexZ=k) HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/latex   >˭z t!:)U-[˜aKTt59Nن40W"6~kNqqQVKT3lNU* #FcL$˼Q)+- Z`gƯy2KcF$1m'c%g[K<Lm88-Rd@5BK4%! 0)8xhf5@ {Y#I۴k+Ѐn%.PrYω >A18^Qz< D#O6f};^ 1$^#Bo<[pۅo5KUؚEheaM>Y(tt֒ERa fwϤ'X=dm%3ʴ!U.ݣւWsBԇ30.ܿBHQKSBF.=Hc 9_ )g:yLOoNӍ{DTȉ>'q*{+$hH

T De|gr} Hm|@Ij4gW[;AzeyľMʅk]*?$sM%g`t_5ճ* ;fiBVkN萟!$Z*,sTZ0n])WeٱuゐW*.@"PdVCOPAvWއgBP67wJs:Om}i4;<HTs4f:Rؐ+_3N|"dM^צ;GʷGe}84â$zXnWaU5ȞjoڅŠKme&Bn0l#ưVP98;WyLzr#A%U4m2\1@]r\ ^ScU4?o pb1pxk!~+'*oSQvZΏT\gZv三 [?ncɤFdD; 091ƹ0yU`OtGdWB9!^E&I$1햸%*f;OR) z}{̍ȬMxB+0VzH͋.1E.Ld(>) Cƞ q@ȐrP1rP$dZqӖ3ӾEp5z"'x(L[Q?m R}\uɚyc/=,Beb'YsmB D~O_;A)+E֛ҽ<5{Xa4c}\a`o%ߤm瞖_y DSԨj-\74kcz#`UP[9(2xfW(2`G>KF`c/sN -)'\Gu?j;Sxف{Lyke45 IR8)^P=ʈxR%aFW4 FA! [GbeM¤w̉Q2E5 J,߱ȲZjI/;ɈڕT04'NP2Z;%[H[P*>J\U h5G%`j<;ż N܁BzR}b)>6r BUv΂ /59EGwbغ^O2^/{PzɛHL0tAn#>fyxƐ3qYNeHt#TjoQ%̌穵]spWV84^픁_rkC\3n2N dHYc>(U8 g KNS daC&e/:/K?R,4+9<|ڌd[eLCOF Jbǜn tdgE@XUO[`֗'ZlDrcl{n@Ú( 'Ρ+9 Bq&Q3qF柞@deb6QfۢMe>P L T *WH=$_r2*p [ą&4x_*Dپtmi?1&zTSnF.ƎZH+!WR&w|+Us(ޤ#1ұNI[AV 1 WwGv~k|,TD-ۿҝAV ީ*SV06An>fIW4:'`k hrv}~A;/hp0Bj'쩢Ԅ+bD}ϯN s왨к ]|uD81fXmA_ۡ9QݐDL ;26`v5c-<|08 aM PCxUآkmʒHI-gVJeI;Y[#Fkrns)<#DThc"3ȳ&j1U37Ȅr, ,9ՕRT9$(zN-Z%϶KڧH3gl\#H8ౘ 1@5&>F//*ǞŦ.d0$lP_oh^[Zlj:'3{cUyCߣEuMC-Hfgy9CZ3K^]}M]eTG0:t,xt ,uh ѤN҉RV~˟GQ^6P~XY~r7#rp =O%k49+ǜ(ax6%\j)8u8xJk~1/HlK#ch,u"oVLmdl0xGC҉w{H#:5{ _WQFH!|a, d5`t Bt"4iS2<@'5bX=/Z|0|"a_0zFRVuHf%AN UX`5o{^r=/Џ 6̓.{0l?.) DAx"R` e|a.T`_6XziwcFyY]P$;O# k؅7t w<•7 cSc0Ⱦz) ~w~ a3{{B>O=<%fYdz786g$4$#%Z)aerFFy"F@Yilfg qZPjϫ 'x=&6nh*yXSzaWj6,rЮlDlcl[t6ot K-k7v4.'gnM"0a0z=m Y[];q-Y9B[ԗ_gKcUoqTK[>R^Q^KÀi xHn"O}"#A$:V)ުT^ow3,ZXs&S)-zՏ)Jn,-@.YOT5[rT9Cܑ=,1:U=_o>Zћr. 50w]Z]8ܗU?|\b Fv~N(gl"c.XJ-=O3,i _Q5ٯw3VҊ->6e6œ,"…9,}9zVQ3Y4wV%nҾ7ŢpW\i+|*QU LHp>x&o7Mcd )- h BD4it-uѨH%E &VPiSLpF&uR$5$|7X~/]yRɣA;!N]94(ޅDM˘Dq|dCl6Sy VN^׃C]9>pU[RbIbs ji9(We 4ӧH4*.9䙆K+B˰M|9V4@nO=b 6KCn۳XU =@/$~=t=$s77Iz17fmOg`;|wsic/(V tSUk_>dW~^},w+egn7i)oc?BV\ !l- c'$Fi^=v:x]3NO3#~;0}\MahukG_戯R+Bq<|]c,#dP΀KH Dg1]ozg5/0c~{?2ߏ' ` c?@(p~p]9k89kcY֭ 2>W`)MNߓ {Ir$7q0x# d,[o p74oE(dO:e=* !D(yw^Eg &"'}!mSNAڷ/gYZ,~e%m1uzulWޢx獟w>S?ro _J=Ip'PZr= #<9Q1+8H;)oK=vb|.246Lp0Hs<mǵɵ ?4` bw6>H:1uݼL)|{ӣ(,z GG(ɰJt#r9`(qU:ח\޽Qv KM@=D-(37ѯm/}CkuT eX): f#0hUBSƪ1@={Lؾj` n3=MDOZ1nk?P !ŀ9I{-GVvfݨjV ^p$4պh{QY j+?OiY"x:,4qƹAxH)p[gϙn@'Zu2+?,a]^EQ~֛iF&ARnGӨHߢxt1oX k/m w[^)2`QWqYeٕuvW;$*}i%- eazOz8f%8V2Z_1WGE[_U xfA51I,TyA q43n9{{-66Ocw= nWS5껚k>H gQ?}"Ӹ+]a%Z-aTF&)+ '4Lt1#76_'?#,y'b0א0# 1ɣ1T^;I1"ǙlL)Okuf}lyPJeZ"wl*ˆ2QIvwX 0WwSHK×t`\+QFr0 A‹C7YR .-,t߇<'# AԺK%~@FL+u^~r躐~CwT+/ V4@h+m&leGC 1e:ؑ C!7P>].jI^4W"2D"^o PW*%QddbC="PԿbȡqG=QFʇ(22V;b#9%N=vI}f#Od,!Py47 5ST]w{m~:謐X-aH4tЎSbrc #Jh2>@?7i;Q*x{SE?AT_)@.ylMs(*.y#=.`ۏg2H5x:#0t`lROL=ml- =ʹ!TJ-d%rz*9P%%h&woɺ%ZPOuzJ<[| lThgZn^c#G,5?SE,c$Gۿ b(-8,(YYJ$FR"8]M '|nwp(F,NN=kPJ6m|8Oa0 <7wU`'D&|}CS6OGe͵v& h K_b 02OM;}4ҿRG֩`$W~W =J?Uʏfig]%uOvćl2GmV{uD7Ax` rސpW:⭺nթhJ CJْ?CkQ ܊[mu0V'2nևk$bc.CO`^ƯX%U1/6Mi@uTdd>#P`β*"" ݲ!*ͺ^JiD!Fbp_s¾@W |t3oFcqSkqoNSI)YP,+(;BKN\C$7zp@4I+4^;קݍfLHwk .T&#Zk-,,}'NYX 6wj:S: %+ubJxxҦF!-7 L]`Y]:% j&u"]#8} FJ?d:1, xY%gV?w[/?:.)&oΎ RS5Q -59ϕW4lS {$Br6n|c?>5OQ7@y ߂ח,(WQNWFΪ\R}9WD0A߰0'#G2$62Mk4wEk)认(v/ ='lEX$H$i["Q Pew~_nu\՗zr:8dX쪷${ﵴ]"S\twYWI+fO:+B)6#yO0d`y 'Fc BܦV}ְ,^ΑKLB2yQQ2F &juh\h= y{0m_Ȟm5|{!1=Z=?./ YSD].B5Ƿ9jB9w{J.pyk\qv2W yE$gLo ohs=U `."j0Y!)Vt{Y&]Dz"K]#J T!L?h9RB:j X>Q|bQO_0+˿Rr@`dZo-(޷O-NLgn( %Lj5qA?_6_6x5!2s՜A^jڱ>V[2 WB*ҜhH 3 AN|rND;I ka2\l8 o5na<[Bhv X9 [IeEqdAͺ8Cҝ䫱3BtԲ[B-h܅l\#ޏ%^.(,.5e99/(̳i)]buMV =? f iC%fb${3aVHRB@o0N8Hѽy\np{Shb2nt6HHnW<߂m^e(Rݧ,8!%="5R[n^&pF..hta ᝱֥JMۻ$6v8UA(oq6J_of*0G(+R?=8_rV & X(7CGϛgIu RIժE$e+8Dj`.}df/acF'NGSz$,KWF*rw<%:G-wjU=tJՍ:d܊T el >Qh<;!Y{X_}+x]x^}p9LqMFcXw+ ULn􍛟Ȣ>T=U[$(^\򭛬eIaVuVշ8Ld1G}$Fw;R-2'JcIQ+/CO8c{V wИxu  +5'0z+|Q`aL1Zs*tTB ZͿߟP)Ma.0$ IӀH~?i0m"O S?&6 mAr<(S #v)݅Z;ؤ-qcAWqrh6tS<4.)˝;}X̢G]~ܷ%HMQofwKT<װBҍ;+xn 6$봸=lr($E*KYx1위}w (yah? L"i2db\_\8*4!m]xiL xV, D9 'r_vH (lȌd;v8O.XBs#'cDTqlk Ԯa6VU[5;׷#ʶ2J=i\xsL8e}ff NigkݴroLYCw@嶈ţ*瓄tA) "Gq gP}oL?0+7EQV;\0&%d||5u֌,ev"kq02RY+A8]2nM`ہP1h u^3DO <H+;bIl!w2C? G"ٶEޒ=zt߳N.63j\#=$39v\ffQG#v~Q5? REw/5QrKTpOĄ~ȶ䬵r4Ӿ0lc{\ Q_C:NxC֕`xvٱ誵Y/9ubB$et_ (yLPDy؞ EtN-o~7,8W^:1T"bFQf)ˏddB8?$Q+IRA<^(e֦  ]X)_򭠦 pJs6۷([R4Q0G^r!CoZ׊SW@s! p{h_8gRxPLYNn1Q=]vfm 68k,PfH`} rj|zH8vM2E<2MmMNdNTcNigt/ڽڪ& m-5PE-&KA gFXpj %G\iB]bvJ!2w+u'L`A'\z*;}rX! Bz؋,XوOFS]trbͯE*E()B{^gfn3ЅQb -w(ޫp&Y uPD1!ŶbE|Ƅe7,C8gW"/TTOOR09+F.yeP{yUHu'lQq HIziFPoìCFyJ1pdpYZTi-}^<+E 4lp&S'ĚPR^tfW ƃwÓҬP+ML9ꖧ)1GRAٛ_.*FR߳qe;HOLcMDϦ}N6#,NV$ra]̒OHQ(QIvAH;{wP__]ήJ6Tier |C?;Mu_h đ^ل ²D˞$bKba3Yΰ 4BjT'm z7˂ X_2ZSt.v礀-hE+Of7 e bO*LrZ볿GZ~xSlqbFs<{>E장O*n_^sN_L֎;e @R+1^ȑ9Wρ709&Va)+Vmi৪';SvZ#VD EF>-6{mWPC'Ke2<|/T؊;5F1 x4(GU7(ijZi3),&kxc l=,X^z۸tvS|\ߞS[dT>jaPt=3Тs(K K el}*Z:zkw2 !> )r{Z3y|:P԰%+ؘGV@42Q@H-T%eG/PzJR⺱4Vza KSG(:~!gYZ   Q = ) THOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/latex7zXZִF!  $]N}T':=Q߲mZwb3Kzd[M$#oSĨ髧߳~d3!o^#!Re238Y C/Bf\,L̈ϯʃpҭ]"Ob+K)HHucX~$MA7TrL*Xc3GHJf&HpƧFBɵɄ{AԀHv8 |^QE@APSGF.!EHLN병m(?=H/aiaK9Z !קVsv50K@w2wjZ(u( d߂bu/89h,3zLCxT_ a \ZX* IB*ޮX^5䎷%4}_%g7l;/zW72vT!T|}g53ԙ>A,+C x/7^6!R M^i/>P$ 5N2p(%6퀻tفeLdX5Mº٠og.YH 0 D(ExeĿBȆM{čpd+ҙFg>=PVٛyaܢF˽* M=>zWO~ԁY|60ѡ NC=17O/cE]&#U)TZX5tKcpY ͳAT!Z#*4=8 -4}dEhd|:an4!\sQd Rgducn?mw\K We6O-&P8 .,~IT0ӕ +͒"c&br7=x%K7وqCGx#<2wGRI -K,{J/C"nAH&⬹m:9k{q%Nh0u}ĝz}BݏM?#ztnR+>"Wjg{^8t!ި kv@\O8!:6UVk?O)DLpH_u_ʊ̭F0UⵚQVVMjXbP٬>!-Tc&N3ov$U->Zvr%Ag=~NB^0סHHȢ$N)8L;~d>/!/^ %)d@ZLu# ·\|^WDU>?pPw A/F8=)xDeaК@oMU?a,I)eYu:A|^c vOl7i ;>ű܍haQP ZP=`SIh389sсsiokV"voF ;}&:A/wc}|;ktt˿]H,Yz/#Gv~q_ m#CƼpFn-Yh{ ܁~m {=?tB5j "/"f͟y4k-eK엱|J}F6PQq{xH$Έm"vePY?UϸΈ9Jqv.8rX_$vKm[BA Aڧox "r2]\B` ڵ>38N1Ac;xJhUXEߥb2OYA)͞A{ 3>dMbEdэѩwVľȬHM: -DՆ`c!uXFP\xg< %PDžj$jчoǐGܠ8zbR\Ps_;1D; ]Z,WJg&7hMp!W*08AB(#e}-d?Ę?u%!60ިZ#^QbC Om<ЩAڃZ*TlINwM2 @J&XmKYbz&ka f}.{Jk/s,r9 9E9?aH2&g/f(oT(Np :G.%F1~$\9M Z#q0j9XٵRM'FS갤fWє8AW|9 ÈU;CҚь>}%&2'v!$%]N}T':=Q߲mZwb3Kzd[M$#oSĨ髧߳6_;L 2,œuYB3K7$ty)+LEuss(z .F%O3dFx.CqM9I n*+] +e뷗K Xѵ 6fQ8) vf^%w^(w !Kzhm'{x' Bפb2 \b* JEU{+m͆u}WXcuѠySjaQJa% '@r+'_=_V)f'7֥\X#x[K\YSG*e5 /*wmɷ5Z#^7KG2])Zr]A:wpZlê@pyhtwZ`{2]RP<ݮ$2TntfZcO(CP2[c2M;mp|[^[ղʬ w*6͒{tsY(ōk($ R=|;H2/]zfMܱ}Ȃ;kϑE (6)kemϻpTԖH$L%5jubk&*F 1 P+!r 1 `19 = !,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/files~~/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_No_Attacker_Example.thyq = -HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/document_id522 =s' |HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/messages7zXZִF! ]·Iq n[:|&[zk"`SB姎 X|k7f&mh 抱, CFpIz5Eg/V3wpԥJ)":?ƏQ9QI"^xHOA}6yc՜rVRE9ҙas |g{;9$ے) ]~ĩqemfeA@< W`[@J~i=µ4.SNj 뜪m6N|귒2bނ)z7e?upH  찕$<EjXnnu[Z<-n-kӋ4QLFnV/e^鈰P۔.$D$>/4EK.|^NxKd ZoJr"Vr cHfIri)Xovze\/ I xxᕨ^&L}61Y0p^߉Yсne;2Mc ̈rW!@;%i9+{oFC[,W9 3 g;ʿgYZ=s# THOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/markup7zXZִF! d]Ș'@7DѺ9 Ǩg2H׆\c`pE[eczM}LWUͱVcZ&~ErHDEọD;Fm_XszY*.07mX齕Q >lAU x~H!1*9 4"Xf`~V"1Lx#"TLHwr^2EV7N49]$6eNRmɞrߥ8b< :(BF!Y0KuѴ5¿أFSղmE~K˃:i{`*bEz]p“caxlۓQ sBc!i4uHnojl : u}Rab7$bO=1lAny16|0nyQ 0FmJEΘ(ZK 䫣͏{ڔiT φ*98@tp>2 مmPS>/Dn 8ؼS~㠝hEɲ 0qLWE5&"pAF2<=b;.Ŀ ؈jK|\v wֈ!A<{{ F|;xXgYZ R = # \HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_ExamplePIDE/markup7zXZִF! | ]Ș'@7DѺ9 Ǩg2H׆\c`pE[eczM}LWUͱVcZ&~ErHDEọD;Fm_" ?_@{>ڂ/Yw%YED9@j o \,Ѭi: J:+,ŝ.f @4toXmY˒:;D}#Db"dK4ko [#WF9뛨x5|N'Mbp7㔓hԢc+iǠ"k7HacNοz0D- uOPL,E#D$QqYu$XiCq`d.f / $ռC7gZ:qHҠ 28?Q(?jwh`$Xd}Ar 3Z1GHj=Ѻ ESv3!Au 6^V;گEu`Xn*x42[ x^,MRJBL*)OsJdӮZFm)fN &%Z8B9OBW.;B%6ǯUQMaIw&J v9 jLD `@t\n椙*LB@75ꚿ'Q4W HCz.J1O+zV>3Zq2S"w64]4-Lݥ}@Pu-2)b.((Ҟ8y9!/U[DucFCM}qZu00zNz$b7rDSk$Cy,2o# LiTo\hs"EAb`_f'ǃ6 ӵMWCm\t93ם[0g&vC U_9#i5OVӥcuhGxy{z_Ҭsx']I)< o^|g@|ԁ^4bE_VsHopmM2ͧ21ds=mIʵ|HgҸ|H3BՒuFp=5$~uGBDV.ϟx)@Y'{&lo 9FcDq#V5usL q7atuRl{PPIڲ)!}+bV&p@vĈgD@?.8Wת:=#GHn<ga+RR0Xi↣J/.,jgƅrL:TrG,.:{%F?ˤ,DT8{84w\9+ /ͼIx?);CZ|T["02&CwVT@nl4K= u)գ6,nY[ɠS|] f(`_R{=QL& m_Y w=a-}UBrn:'ThVedb$LPDUhSġk KfXȪJu6X[, G~$n)N[p6F><)4B{[F0$b;9Z'*I!} ۹^5VX#x:/F1tbז0Z-^Kg]cHRh^ Y ڨePA,Yͫc8ӹT5M)ӽPVS]\ đ-I05o$\z!EڹT49F6&/e۹U@箋 e:&u}hȧ@XT=6_<2]286fɰ`#5#thNXKBuKqNK >?@'oZbRQ7JI}hNǟ \;WUl~#D{Poe ۝= i6n}ۭp?ͩmz羴T[P:}9ViX4=/&5~$o\ {䌫r,e{eV>#p)2GUqyU}}8[Nsu(Z'JcB=xS&;ذu+VlՆ-z M~S?Ր@Ј7t3/4v@&;me˺a5'kg DQrlXƥn<,’g1T6E:iW\See2ǣjfT- ? 's~1mOARFpT 4IIڇl@eSn+".ÈBE<%ڶ=Tdn${"ԖX\CZ9!qwI(am_ }_ҀFO] X|fI@bV}Ty3PK<ܳz7 Nlk gN)ȼ=h4Z1}ꀘMC4 NvQ^M+MYYFL/T.d?C,:XQ]aPcyvـըhy( P/"덊V U{sbTe_@ a0 m(LWd66!k>@UK1 x.-)k/;jRQ0`J| ˱gYZB2XtYI[,+#Y8Pnhy+X͛CO6$`S4v{~|?4PΪx e%&* +2ý]ζFXZJOeqp oLQ<@U!Qp!kC K#1 u?閊r% x:Im;8Ky t>nFPɰ~?0-<`"U`rXO%"@+jX+."”-Vv  Ev7E"A O8gL#,xGBQJmT_0k_w6 #1z0~ | 4 *ux/p\ /A|2؊}!!:K~ :һC >͖KډcfP94%\G?5q/ [i薺I9w,!A1u>n1_ZKLX5xhڭ>Q28 Z?L_f)f<3?-xdu{Oͭkdy C[ih) b>G{ F~٦u*/a¾,DH/J8_.{ =dC{:l<] n,Da(:V!Ǒ7|̒u8F:MDi%JWwH2`UۯE'oN]ɑiMto=3ќ*Z% ,ɀ5p`b{,5%"RX7=KF'AݡH ʝC?$ Rs{BRG ;r5g\8&Rعl`; *]^!_oC(}T]NQLAxd8r=@b 'POJI^׉Q *{ZD.Xű1D0ϙ41iA=U5Ƥ':r u9ҤVW e^d](!a;f6LOW>lm(sh{_4\7v&KYbeO/׿(od48_I>1c@0Ǔwvdg<4.ܙ 9~ 1bd#8ki?_<nys+VC {B]B<@gɝ]Ogf?Ha)xti]o&0o]q:M#e3%KqQju`L)Qk`Zb(VMUTjfgkJa~*IwFA Mj9?O[9I 1(as].Pu/|g?Ql0DU5tIO8^U;J> u2bm.2WԶ,Ɯɓ\ÆfWp3ר9=1c׉ܮE5 {[K|?. z'!f+W~;Gd AYN~V;r(j)0=_ۃܚY^~.2i~A~>֯H;LA7> ]\)(w1 Ew,t~|EbpSs/l@ ) rP_\Xlk+`Խ(~79w,9ڎOg"w-'<ջ=LEeB]d6ڹ$VϿdQ&F"m> Z}cF%}7RI vo.s|B mL%#vRy9Iq}u)^Vy$wIxUc[,«(R34'R Oބnx>p| BxֶWT'7*;q98 Q XezT[b9 oI9ck*Kxż.i *Z=AM/~0FE'ܳHG h־'O0حa$75\rOX WJˠ Nxgyr ,eFڹ+L--۔@StGXÇ2|4)g m:Y .jw_kzu+ "-x'~ jNN'F+S8TS]zҢҶgu USr e^dtTBz!kU'/υ s݋۵5 zd'o4󹞪Q.,\yQuc7_<;>܆kz &V*yDhlX ?] 7 7Ȍx2/x]N ES׋fZ4ABBzTq:En_6 ɥ}V'VwHY=Lb1/e @ uijz4 9â5xUYX3Q 10]PysFOY(1rF_4K`?!G.]%­#~0]i;`#CM³Όr4U/-{깟<@vÜ' qΜz*yo> Gm\2 .7vL W!Jo갟o3{t%kqJ9ǣt9Śu| -ukM.#:?RG8s74rXt\CJAtg |j|(#ʯ38hoS@HOO'X2}ۜldR*\xgYZ  ! > =# ,HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/markup7zXZִF! T]Ș'@7DѺ9 Ǩg2H׆\c`pE[eczM}LWUͱVcZ&~ErHDEọD;Fm_!S3VxI*zDC#z9ST,$$Ι \qaI0WpamQɬcn0Lm0ONPYYHXEd &&]ƵXg7%y|nBwoN%66wٵwm+0q$OMYnUOoei8"$G.dV}M-#i}P-F#h,L4ٻTTضߢ֮ m%g5@M-x|Oeij؞K]_@:G͓ Z(b2Y֫2Ina$ke3U VĺN7^R򾭅ΣҕZ횚]mmQ[ Cw؉_thPwYSо1b5٭1T BHFPmu Ʃ(BӬR5ŭ"ch z"V7y!yU )S(ȡ\D~ȟ`F6idǣ#Y.̚䆟%R\DCoIrNPt)2篧_>`~OHwwYdrI!DV,L-PLXh~k_ɐuv0b'mx8wl>6y ?dkF nG(, '~~0RkK)v{%­yz\ | [(9hD>lh1GYtcڴ+r`h]n ,~aEݯML-v!,ݚG/ߏ#8|ѕ\UIS2 X?3y<"Y}uo[e[$a(Μl<=n9Y҇^Kݿ#Պ:Փk"esJu_S2%)6y__?|ʽ`EҀg/6%EN&Y06LjF=:7θoڷcq A)S\AVv#WgX{|ߒ؆R'YlMrXZD%S*#  R>WdHCxӁ:T%jU٩S]ؼʨν. *A0]Yf[t(ޙO+ Oϗ۟v;; )w,s{2>OWyAr9\+(5gFҾ]lnjhvOWel&1_ N A,d$kB`ïMQc 7FJo5+h,ZAPaX{ فP|򻀍?uP؏ReGh:,E,9 AHΗҠ88[DKX" TT)r i2񱦻‰1$zwSA_C}ҽ0wf98)U!EC;+ׂEf=Rg7)(A*>kx-#}4 (r5B0q ^[zdQ37I*8QT޼KTEQ1ܴ_(Q=CsrznAgMpR &ˍ) kgaWϒIYS36ND.2vDQH 9Y@]M59C]By\@IJaM_x%xK: H'ȍ^πӻDZH 6ae=:>} @TZ0,I V~`0Nb#@?ӳd>[;Njne$[=/ ujmkJ]xql<$τ 8v3ϳpq#!8GJbaQ|@݀̚JO-tPsyWOKrlcsֵsIbw4'4 ;#)Znh >d!zTn%cm췅{W*հ v;nּküam,Pr֡|D /#s*dY{B=k'-oS hH݊#($NFYօ)v"f+Z5NP<^x_GcDZS% X0yCIErAa{"c,sk_ƈ=SuH?7ܽn-_pprfRdM1oa7%C=<% һ ȯFH4_`_fzS J?UdGo7jmc"7xLOgM[5+B(BSrJP3Uvt- &.Ym Ms+KД+0WB>z@39I`)`VIa8ftᱟf]/I3@|ђzH`SvSVA󏏜y7tH,Jֱp`e2K\azA~Qhd wןcf^D>fQP (L'󅺞4P^i䃞Fn˶l%#+fv1I6*"$3}ጲ;`,^RxӸ+=K=YyT z&kUó@d]2=vAe=+el@Ư_r #q,нK;83ab_/Z oV rP疸:c Ԏ[xk U%M8ql=,ˍ(I{M) 'V /PzY ^GeTLX>1nMv p h( pT7TLVIm}@HA#R 98^²lu Px59 V^WĠ >6!l@z=Go>Xvg5AsY`oAD3&)[3AeE bp;h \Vؼ%* {>K)rՄDBcU1UUe9Mo98*7hz ndyxq?&zo/eQxDU e&Gg. >iZ:Ԇ~6&=(% ''e&6:c+/ U:m!|ZOড>) 9ͱn?EdvLAYgng(1g/K?xO4nn cWQtڎe?])Vfʌbն(w;|0V\-G8 咂޼Iu W71h!L Cc4N4 H8U>^|xJVkRpL_~xh?DڄYޮ{3? VzpGuT%I[s>T2A(Vc3ۭ5qДXFԟ[I58=V%ُtBNςfn1T\|6.)5u4X+ ~E?^6޾虦 <%G?Zk EܼvqWp| 6d`n|Zb5>3F)$f~t0n9bl(I&D.A,LN4JdFeg a/s諒sh/##Q{˴%astzM#Pa!7 LbX=C6iLeQyq]&^ax{FDD,4{2݃3 گz"7,dEHYG ea3mgu9ztpcAch^YOM#~nvy掯 +އ̍X{ ZZN3+>ܑR%mSWS@^ K|<ⴲO?PfPC02J F3[ƭ oyncsCbXCrމ8\GϝMYk6o=>R}r!vo`4g_qЛ?4p+ vBQ=*SgHm3JпOc8f_"= Q%g` `W{Nۅ_$_aZIS-n#Չ;z٣W L5n+I_  H(?Ӛ-3݊d4$RJYzeU6ꘑ;X<ɡ3e!a`ÍF9j?b{̈KEN^|xb(?E@z2uM r ₕx7×x1vI9ov^{iSh8%,r,5ʘ,rQP *u[t^GƼɿsˀ=n- +e`s ?"=↌]*|6q +j 9AYУgHM7JaYL i>/9DޟyXU?dψP AFAi^ՑT!Ey_$uԶFpX-!\ "H5y?ʱ??ٔdifWjHgz3IsKj{\/T#KKΤ|TGuvPωAKHwo P5=ϩ ZrOF*{7dY5N_sȨv,_aBWa*s%Ok=Әl͝ز1_% u쾩N~Oofuw”"ݢDmIc mnf!뚯.9fY=ӵd 9*݊j |!Uc9$@r}S{k`AҾ1,-&l|9ng7}Ah3a@g"'(2\RcU% tz<Pa/$rJ1u\sT{id4 %G iIEs#7"ӧ-0o+AG 8t**%0` .ނd[rqGVywy/e+oDoԈ 4],CV9xo|jma綹<'oX h37eR{'jwR@0L6gr1l?92D,{q#0+F:ķ](d=8XT9[UwCy!K?uF{P. |6y-LܑK5^,G-\(H(;ˍ#a@M;R2le]Aٿ- 'OlaƱ+Z+^P>TY+)\agV2I3_^tq n =,~t̵{c9Ghi(]|w_9&$ ܆+D/7.|mU/]s$vA/K|A Nq %58 %|/S>f"*`L҆T0P!HCORbOpHuuK:#'i/TҊǛim߇յo%*vWe=y( rn0+|ѡ jeOj_HD?pXud'.P ̱&7ÈnHptN/vgYZpB! z0{ cE52׵/-:2bݜ+&`nնFLUv2ȥOxTdԴ Ai ~^+`;۾aO+>ӼJL?ƧSy̔Z@.C4+tZ /ǹҸ)*Z2pdc"<;zAljuH)0{*ۛƖ'iZVJ{~A\Fʉs ɳ-FtZvx[[kSdv~<ةGYݔU8{_uQ%9$-`|^QVK쓧g`Z jC Mu o7 hĺPÌW]_Aq].rm_uQ;uz1k'8#ֳ, ק)k-n @x@H,,DܭpLJɓ7[~5.Q%)ۇM9Pf/S+zYr+BLe[;>;ߘm;u8 |BlDSP(⬖g`(*bSo.TSǑEQ!&.2h(%q}7d/WQSuu7EcoZ1pM?c$MHgc:I[k8 U5r'w*-~B\2[nXݍaRrL>ѨԘ%i5X)>' l!^)?b fx%aE @)4m(P7aԋ)cTot. 藠ܼz&={ZZ^NF6(T0wip)1=?,>T D @bb"V2k*N_գɏi#gly^"ǎ6R|w:V8gQJ5,_]5$% 1}n>]tWʋ,z\v3 ERqw  *aud:S'k;ɬƛv'5>(Q(Q0oFϘYi&I @ul`2hZ>%Y+;- R6jzm(-t. sJkMpB1;`lrP+ \W*"F7)}e8e<rԥb`@fvP"Ά\&CMlQϐ iVDSׅT&y鿿 Ilk]XS_ur!&Tf]HwXՕ[cu*t(O)~hʷ}^j- N΍ٺDkRF FOݥ*d >~^䏂ߧa/B5#-H(5)'uJFJO Ey$h _щR2idjjL< Ě'Ek0eqXPzт5m/a߳u/;Oe̟8/pt Y:fRBW< 4 !2"c9 %|o APSc㱑öT(~sb|L@E0^{IW;M|M$ Ih7.t*^ziH~\l?֪!?N"W=?C tUQEnĐC؋پxl'K{:>xjH>_GU,كb"qx`(jP斳rr Ud,H6&RxRP3 n/0rZa%-pbyb{(h kF^%"m#"g3ž[9,ySc|&SFGB+qT ZBf&^3ZE 8}W.2Oq#*mVź2STsH lEEfv'pTS }KvT%c0s~𙔾8jW5 `ckݮnKEX@ȅRN*A IL~ ^WV,+&"Y׵ %eӫһKZK 5hŬ.ڙ2t(|5q"MW Zx=nOUК^Pw60^:so?HUdAp?(k9PnʨDM&p?%/F#*h)FMғ+X+ްIK( \% ^n׬ $\kNFM@RVC#O %o$%utFTxu)Oq]d u#%zɴ8V]Q.;$gލ]HD.!Jg!+wrRN.UGc5r(Z.B5`W|Ct4XѯT)Uf5rX*fRCj,})q*N굯aZ:H$T*nEpw 3x@D>ߪTu`r #Apqƭ^j{w7VsjN"ʹ. 4a$P'l90=SB{׬`ʮp"288:fE+4@bm%?Fu "ם8'r꡶``Aĥ$P _86ڻ|*j-gYZ  =k!HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/files~~/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Base.thya=k-HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/document_id516| =' $HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/messages7zXZִF! }BI]·Iq n[:|&[z r D^Y , f7p+b Mc6420ASZo RQLRU4)LYgfܨlHu^W<#ՑR׋̈c &N?4C@~z;*UΎ,k~#`\0f/Կ`)  -C:NzF!3DO/9)BY;^U1 +8v5 Lbό Pm޸[{ݵ\8T)0Fn9^ a j=P^Dx';4(]>ABKP F\ V742Xr~ vTQ5~: Fx}6 zMe_m\YPv]s5h5et(qQdnޚP.W2hUģXm@J7=>wݻF8lj;>3A)o# tc.+U rVvڌK@ <Z/ )g u6'3yWQfǶdr0sr-s?֢;2s1 %N MDN\)WXKGf dSwеv$߁~J%<׬m߇!ʜ/X ,3b䠙W q(܂p6[:J:'L^\LWq_LL ؼC瞺lگ4`-z+>v=*L,MQ`Z؍ʠvu:~ީZi &8w 8s$ ;Tn}߷iƵJA-}= 6tL +V.8@ʡ-1\ߦN03VDb{+hcx <1"0ccNiꅿ?<'6?$T[,ѷ˧-h PL~j%jzdL~W R)^~e?DpP4=P6x{h+grP.cїN ߇n,bM>jN!,@\=B>iLMt6`V'.[!Sׄ\`&]%Jf݇:ίA /&뷳o!^ÚϢɡ ?3qW٪_Q27˙͍W٩lV7'G]rJΔkw"abyx?qs[RXzRŇrTe[ѕ)Y," {sͥ$fʾӯaj!I D`; 8=VnZggP]4E{,©l=5dβ(1h3fQRZYigܿG/'A{ Vwߜ /อCe@fHc`P!v%6A ,![n"nN,6~9(2_ؤ$o#ғlds#j~hL)Xtݷy!v E@Yf)]m1=[<̦p)_ *땸aRRaBB3"=>5юԈ=&Y}sB#W'B͏@TfTIΘ|O\uDdcAЊ_6 qӯmƄy@ ̦eeQ٠7I9Y4A˚rz3C%Cﵳґg-8CJ%0l*ii 7=(6TZL0Yz{/4㙑:]}J#a&Iϟ7҉ RRyҤ."!85Jayz!$6GGu<hMcmpFBGY# :|8~_ŮX"Xݷ;*8svyO(%V(]mo5 לNIrth:;J!F$2S^JTRHZz+nU7q$Sӕ'];&c[X{:3IaAB#NiA926SO;Qq"^5:[s3sz1Jw]›:AۦAy`~scxe2,J_Gq%g!T_ߕvOBV@ ׮p[[5nZSzѠQ+}YtK/u4ȒŤqac'׻ ThB4y/F' ~H⠒QɆI!B54gDyp حbUw=Pa _qP9 Y6O4eFsVڣ Yx{{T\Qgz 0#ܠ+a_*R$Źrp&/*d(u2JiS2®p5G;8h4uļ0Q5[>)?.O6Xez?rJ+lΟ3*:D*H/OJۼ}]V]mqbIlXa- QvhX*Y~o Ll:7 YOGK0n&r:nm"2PPwX]Q,d+|f#|Q1|3.j0xّ[rfx_hhi `~T`_y 9n|S2{WHe e$]Qx⵼gM{K)3sʮ y %*:[3(|Թkfe(&vizs:3|S紤؆I\oju"RFkt3\#D}CwCM.vxk v憥n Hvx75F|8id6qq.9Od u0Qyp,!gQbɞN<#Ȇ !&SJňP=t"σpUUp9q^tN}nh,`~XY9WYsW5 tjMFa-l8@!%7b^"4ꍢzw)xjk-Fq_  M`hRL-+E7Ya`]6\'d6h+DEtM?p Úе?`X֌#5a9]έ"M$؝kM]0-2?y+M9%>Zij2B@ ,a[1vD\GFV_E+ (c<]y6fkx\J|j,PU:l޽C{_ J;d !23 Zp?WaJ?.k@ ArjG ~~RX=9oS3CbX|qֺ0Lr[\Oq>GGG3bn>"U &QJ2e w SjQz#fE?##1Tԭ 0 \e\%.7l"޻3Z@q;Px/C79߆-,~2Ix}39ϑNld;km\igybژCcEҳx!S[@麗` ):r: |D)g8CAf qv WbǾ? K>ֱ'g#{`a`a~1&P4  KU~a2% q ߖC )E.}kVtj{tLI;^WGՒ!\F!I滚=x c|\>N5 \f8umT F%>" ]v-&(n-: 9mo]:p-ˉ&˾7l:|M`{S4` zz&|JqXXص} nof'K͇+Wc cD XbNɞL.] X46 ? F.AvOdO2-–޴yR-F^ȹŠA+Px,@̵keYזc v t$Źr (_2r:,ȳNJE&n>ӃcB Q:^lj%.r|f3 a卙\E̲ *jm1+~VxU>ʷÐj޹?-W@ĦK=!Udovx$4&Q{7ߙ(qEf-cuW nm|^6:Ҕ_!/ԯPL f) R֠J#OrkǾ*uW(ҧKb{gwC@s#g ? _Ő#~voQ'630-^Ȥi1xJ0]f/@k6)">ŏѾRc~?y&.dQd@mbyw&nQiAl#CsA:-ty\ f%pӐC8ժK]F@[!UqA\6LbKf7'W4dz T f|i}DdtFm/SEO1j`>Tݸ ʲ]ezhY,)b?N%|pX;KDgg갥^CDeh7!E+4<;]_N ð`o6u?d-[ޠ{2R_kzR 0F\ kao:骻O C>{쭽nKN~5c몇LžGC$keh:Ҁs;z-mCk0h?,dyEXDFq_T{7htܪfQzL7*tmП <|W1z$b6gti~!>{cG51rP9/)?FqxR||'K1OP<J MCһ E $ <'(=A3RX<ο lye`U* ~o_鑱 L.D/9QB#$h߻+\[JJN۳_II[xzT_H5, $I @ʓ0 /^5Qq`f\Azj%ԏ>^9g8%.EK͝$kKX{M'rskvҪȤ@ly; }SnR'f3&=&n O XP8qt5Mc 5<%sxQ὚'HMKLp:Ԣ+ Yb u7Ue|W]^0KX4Lm˂yMXMdž*p6Z N͍cLsߡ+t1{@i]6ʡ! G4N1P@ 4Fvw4u*N^Sѓ:շ1(QR,ۈ Q]4cHw^cGg6+b7S k[zDcv_L9םj_䘔?X՛Y_\}?4+tZfuZqXA7's`ؒk=J-F} 萜$^s,NϨTlR9Hk};WE[9v /6yg@ bJ~V'V4ZVѢ[r]HAݖ\emXS\>OhZI̟LcƩogZ(F prUd84Z$(y@w,"(l/`gnELoEG3cN1)rAl9$cNH9%V*bwD"&UFSTkP 8m. --c%-=ъܑ/ EdD=4bD"]4/$3z3~C;Bw KSE@vFηAFHfS+5-'ju}Hn=z(3=&[jPfPxOaJ8G<¿ ꉦqsf 57Ap;[ೖp$u71졂qq`,RoD{ р5Ù5] S PWɉLp _:WJEe/9*tzlI+ )&j &M}*_H($HC3EڔUHYL{AѾ2ށ;(AzךD3xH_1U'XJ[mmg+'U8HU'heDoN& đrKMCt#RZf{+ N_mhLh^7 MYI0 =Z HDŒ? TÕ F0Btc}Q,A=:/DͨӃ}\ Xe{ooYTwP-"uA}qϕY?Y @=*T{T3gq"vSp]l!Uy^'|cѩ]!g5s&.Ӏ36]'e `s 7n=|isQE9q<EL&J!OzL4ik$Bl_9XZ$LSdnRY9V qWx ALH4!L:5kp:JIxV|}^R؄\J$L,Tl'䝝BG-̳ _*cV`UoM2yУO_Tv v4(|Iڝ;rpT9h 9s٦,-t{trG":̵O6*%"'Gy"K<`D8=3 s3H>+~IХ=:֬(:-, {9N,^}"Di'tMxFI!w0#o@7Q?庞J3GLuGtdO$}IP7R197rc)yS@8]ʁ@o¨ݙ6RDd\Ib^?I.w%uQicI = %ЎȮd ?"ɶJK_rp^.u ˠM{ 'rmkR>=o@t+APЋ> <Z76yD:`h꩸҂,lT5[SL(1),[E۠.By ܲzᓤ'y'-ll&V7:gfbN_SLvFveu)?tu=b:ၺz!.9Lƴl^_#`YT8k((Ej%mڸrWTW9AK=vTVM遲qy'=wxȲ.EQy*7rߙE҇ƛX aBȦXŨKZ 2[zP%vju-"7h:B.4} a/+/ i ΈT>J\F>&JDW e]= ι5)}l>㸶f+ڥбX& \,آծ5q+#重~,|$4[^p&݌Jal[Ɍ:Ro2'*ngzV_5-PJ80_II]]3&YnF#Ŏڈ?<o  n  wfct5N;{YC~xxҺFbC 8菆pAOAȇ2ǟlGjM17(01.ػ~߈8x#w  $tlDTm r˽=a_C!pwVI^P!]Vz-nK%<$PHq{S;\7BNKנD'u"< $ KTy蘦UP(j;(_ xKyl|4<`8*c0Uh[/ʳEеfb1p@Hy={f*ǰ-D0P 񿌰%Eã(4viD/T Qܵgkcuve nRV۩Yn~J?/1ox0PӢfl>0L/C4-3tQD^C#Mh*$\uIe`W㎐eY42`&ܚUJrLn9: ?[Vc˾ȓ=)욗6Fr/ kۯwEIՊhLU<\Nxq̛V6kӞ=X, q 2(EK"sē n3]^"Z)x1:efv":C9P[ì 5 ` Boa "~XN^z'&j!v $ qb 0bBlBhJ;1t09"Jr"OV_E'K7I. ȎJ.}dRqG/Zk6.N%Ѷ<h^b])P#8]Hs:!13RBbg£K1&Ix̲c\ۯ]~^%-7%Ӿ7q:ΦĽU-?#_fu {Ւo“Nu? ?W[|}re~9L7#L"+qW[JNޟ"WԨ0O{Y—vwA!*g?~i~ p=N5bo7J#'#UI )*TPBX*йUzoB/̼]k't=֖ꨧS "֋Re74҉au:@}cSڳFsq)}bESpҲ}IL/ ʀ(%,xLbvo0syFtR3/IE @A傛6<c!~HC=#ʯ0vUe|}lБm) uk^;!yIA#@_#0͌՞^{G O<_; )놕V7{TT9s :`ԈU\-ߢf̧iOu1u -$擲sH>0NU|NMA szXd$(r)u.fˈ<=O"||ܙ@j>8ޢb,Gaݤ?}rG@:TB#fpV~ub_ʧ {AѻSUEIγ(θB|ouS*S7vMdxdrh':Ќ0 q[n7g 2<\JIs%IܦadbgBn՘su0 l(J oL:NBS넜wo~qZ&m׆nw"MsUV;$p}`ɨ( 6 i35 @z}bpufqc+naFO'h B\{nmH:ʣ?1ݥd6B-ALd ' ޯ"$!{:.]Vyg0w~(3dT"S$Rߊe^1ԵYN3]O$>Ë X+eHկqXl}" <{1?ϞR1u11g oi5&EZR| 2稷FuܢkKYV#du+YF/%PQY?{eYrB%KX'TqH\nqoud<2ь ?E3FC_XW8j^hh4y3lOi3肷^PlS5@R-Ԣe `p{Njj7LuSfi RԏXM3FGڼ5٪HND4K;@!* zmˑc!ܺJ7s'NoQ@*u9Шj@9EJ$Ya " yN[ٔZ5b&GC7D3? ָ +νN)QdJsi/|v] K_-aGy1nEe7)4GsAX,nM c BK1D|R +OCYK[P]˹N  o S14Rnq ޓq*9Ts8^aQI#yNU/5 $zg$Ϣ!-Hxm?qGu_f؄]&:kH?jȩBO#=td^Epizd,_i~c'sƐSw]\<1Ck8IGpYPS召$A1X;N cyvM}9su DA͖uF] O: 'T[!&mяlNjJ;qE'mird5w*OTǂ 6ie"cHdy|)xX8FPR2a3Kݒȵ"Q÷K~tA5 2qVٸ-Z?"B^Ӿ=379 `s8K cmlx!GH U+M*^/$44+2 EG:CH^S3 s _+2J9xĕN!zrY4睌kQ2%Y!fp}9ЂڌlHgj4*!wkA \^KA(͈Wooh8 ZXWGo NnDhkYA~wp+Jei5`]` M I (0Ѳ-d T4ptw!ֶe & h؍O`0oc :Ĩ+.*u'ǏNC-?J)i=3}3 C+fid+ܙZF1UlQJ*)FQmr_lF{wbwώԩ d>ٽՍv}~/!y##B,mlA>W@ٙPrj)7-dďF/Ĵzo)<@|]f e>w^gF{,~&\û1Z [2^ mи84Cø>y1%7QܟiVN v#*}Lԏc@ qb ;T,RًTq0,FbaQsE[{pӟB{&侲%ZBYh׫?o$~= 4JG=7T2c%p bh]Jz+<ŨWɚ\ɛ _"9W٣fJݞv2;@O21fp al"qX}w}vΰ^]Itb}mP^Gn"}\\=q_t۷|oc?D: &0,H-n|0f/Ssp珆Q2ċ$ݸZnGOc`VU` vB!;fJ?Sf{ޗ߼}7~zélKJ*$DvmߍdD1,ޱr}'qrӇ|xx̌߼ya^`EKnD gYEC*~zK܌5qx;6r@Z˶}Ɩ6XÚjg^f U)ZP̿|bb Ma|L%_=d51,XYʧ<5+۶s_{'X0`p˒ښxt8a M&id ?9 W!QrjvV}_-.3|z5i[NV_UYZ"l4+d羖x۞*Of<\^NdgC5P+(3q;G9tD3OԊq;Hl(>Jfʻ]~F ` bLwq^MW6#_PݸxxW4i;኎4.czI0}4 CͭLK2 a-2Bl,K|[@hΦH2#-rc|uJ_qDQ0/gYZD;Zð&i#z3մ<@JΫ}Z*w7ªrh+ToiJ6zӉ~$Wr!#4-]4 lv]dT,60 _ [1c:%\}4w#r[؄?M}l 8뇗LdrZ@lar4sԺmg6oڨ5JDˋmWgh+p!S:] Z&o,r~P_K2߭. c|HfK⽅fw,$$ h/x%irH>2hmQ5CO:>;M T=0Z6i3C@!5Cm",?z & ;U\0,ĪK";n"tqvTR*Û,.*ϳ !:?wؘY0\%h׆&\e ԐrԨ2qfFh$ / h(#p*Q! ,|`Y\ƃUEӻXџOj^K22Numy[^؁z&h;Z!&ZhO:Ie~YQj"8'x k҃Yޥ{#\K;xW9CvVwjU1> ~,W{N" Dw^rB5pn 7:^)o |JT+VД>IEm7IЂIn@X؜Id\$K $j`l+΅ky&$7݃3!GmUޤH`1wڰK< H-a1@"xjпG| lul& {r[m ev_ɂN*YmSY2M}LG#rN:7i_m6ŠՊҘH~9+{|بEsH/—$C\Bx&z5DF? 4I~1̰F '䡡@q7 x7zM&Ve31Y;M90<#$=4W@fG?Klo;=2ͥWO7::$‘R֧jLor \.e6&h)w{t@|V^*X *>P,[}o /&B2oՂpg_ iW~!7ġ$(B S @ѪAlԖŰxVc`kkMLCVoZlhf{/m?v8jS%  OnƍG:Yk>pcU@@8k9섇ne2wY*G~ߩ2  D7=R) (x4GDIGgZDa#C1a<|$AОax;{غ `n^)C!4b^^ H 5zЊs̚A`䂒sd駦Dif 7٫GDIciKzHCC;.ywvlahި bnxM>y1AtWg8(|{^: 2GxX%_V =&mw~gR6n,.q|Yaar>r`b9'RQgjyc;ISf]n}ĸ3 üW==Kr=0Uu7Mˣ <4hshl*AvWțs޹?x5XȎlg[Nvgb*LF(y#.n҄QHatz>bM#}CDGaVt5jCziOօ`"3 {kW]_ݎ "՛Q6up\ݏ7vO!JgW^/Tk/~[31NjKaQ/iM0 `.f(Nđ k )]:Rs\]'(ԩkEjtŹRݝ(Ҝ f?`Jt=ist1۫0ۮp[gf#ֺkȣJM#N'x[N3<&O~Ju:Ʊ~k)Ó gYZ  J =' `9]ϪOaLPg9tW7.,ty5"3 1"y'@(&SaB紒G k?s4d u:Bc̫q0MOU߅A( A/>5;`؊$/]aj`ZCu|p?R< )ȼu,~,w=yOh8ӰdssvhvPy1uaBk4qڶۧI(~G)s~km;Rwz?:9LU}P8hJ@] %ӗ4lb/a(^/CooT=4СatPi1ba z 'IrRݬsZJ;fflM3wn$65vC&3jRf}6y(H |Cǃn",5۰B4P?֛<]*+FIxf1 iwbB)f㾶!"@!B²#2d=&;tf,BV}[?W'2٩:r7.rFӏ$\SJC|t?W5  ߩ~+Ba`7XMFU? .WnZaB"}|,֭υ -ߪp?ڇP5"_'bm@56H #8WtmuI#7BÛjxZ%Pt$yc;3Ta' *'눨ܙ=fY\];`;V$%s'^(ʆ'_Y"<@,j()_ 3 ;tJQJ >5~mIr\Ybkuؐ˜ VBx/ñu(VaqSp+>5ʕhjN{yUIRMmU4=|OSIo7-3hX*I`Kϸ" rC.o(1xgeԦ)j3v 3'?MCk@FUT +3I(7vbN,ٻ#Qxsb#2.Ck@sn;D@XrG][k@ tAa GMw B8ݏ~-pUj&=&$~,$v;Yif"ʮ~ƙII A2//P؇MȎԄ%e5JZ| E#ٌN959Oihz%/5X4X' ln=P#"<n͌*)㢎sUB#@5(,sL褬Ĩw&:eMdu%ǧsߨ`oR1~f ;M0_|Ȣ8m>y+S mR\"m"nZ9Fxbnl|m<ǂmXE4UtKuAs6UAnH!砭~gE&jw]S^Hz6w׼#!c8 ˞Vf,K)ƀCz J=v8>O_?G*_7WP2| yWo8oR@x =[;DG6{0V|+]5fV)\/ĂPdOa1f!yN5Q N2NO= !;,ς!T F43pDz2p+3)_h9@|E}n:VÅqGbu`aafnA鶃tdjwD9KFQHS2уt(NZe0m]L3WT7ySr":-V.þ>nVp>ؖlKo{E+Ϸbe`^|ڋ` u\U]mԨNϛi_xTY#7ʽvIArfBUG'6)_sy6DL"s' 䧽 >0}EC0 Ulf]uI-28=ËcX/`x0tLDbPޡ䝁$YW'v%AK҃^UZ;9abzpE '+= vDĦܿsfZQ-=y])msڸ9re*X"/]A nQM2u)ivoA?J=*L!wߧf7URw8~C8KuEy2 BM<"Vj;s c5->봫a(CfUCw׽F4Q[}/f!˪qbÃ(hR赘]plÊ ɌZ)۶ћmm]|2 s21YI}-7:)QlTOkXĊQMw/%3 XU UЎFzqdj}'^loؽ{rX3=z/K C,>_$C,U.+\vҪ7/DZ˱c_s]Έ-pnJM$_Ez~76_ q{wj=K2ltOdD2E:2$uQ(geCD= ƋY|EJ>>!N\sh4_@SXT";hO|=s@n߄w&-^ |%jVӴu1F!%Zka0Ddјf~]2/o,dH?o처 s" rjF"P3h_)NV@4:ʷRfY(QGʉ#*]DoWkZa ё>Mൈ^nM|-Oe LD@(M[(@VtdX>QnwLSߗr9l%%F*I\jE*l%@09PLFrk|eㆊÊ W? >eJ: Z,;!CqYYnsd 2t9^DNGc8c*m9BNSRR-(3Pi~i(jJw[D5BZ_\̕(͍۾fywi.o$H\t,xyۤb$W{?p~=sU+;D YN>e7\y)`.T/pkYߝ1=`v ۡOU°E? @_ǎ=[*~Gޘ\ { ٌadTs>$ ?^gH[@p/bm)tt2\kUiJF(02`,G꺕`|?1dQ2n"pA%͘CCCbf,  ~[zZ- A:Hf(ʱ71*u |vA,jAGoʝ\*C)#k(Rd6|- Xy:3,  7+aJ?48s'Y%Ɣ̉Moe^\m$n^9D(7]ޱ́ռHh/۷I'c|7;ڑѰ@n{٥Kpڿ%+(؀{ëWD˒~$̌*,#E=#/:&N_c{>u/˄s$Qj?;|fLJxGbgnXotL5(xArүd!kPFIX4HF|6??/T~iPi8HH -x[P^"+ho촋kpp =9辄{O")eGET&>ח0٢W 7wʧyg%잣{ce4{Og+k%)փuj)pfrZ:]h&Pxn3fx>PR2G9%Ӣt'uvkH:JAZCI m†,sʦxY\< Md{9]R^v&*Wl-3!ipASN[I6vK0J[6^Wm$ hcɖUA8h-8w@P3^KLn2zM{ώMEmDFޢ?DqĐc iܷ Q]uU ] 4 3=-Su t@'HPn{7a}ϛ.H{*ᙥ [byZ~eGI~:F H֧LL5k5-&GKJ #)KpQul:@-l^=|IjjirvEOҍ>OM{4e 3?EG fH _Ѵ|2\@vW!<Ɯ=PſwNFaءl]9e!b+vI\dir74kL>~L~C4]ruA,Vrv9C-LJ<%R Gms6kY `.-ӿJ;Y:+:k}0u7C\a+@kPZַa3:G^^)V/sUU6 ]hlOa㨘4SQo~s%c弌 0F,tvqK*zRVy=XP41@/2SxIAG< KKA)K4Ǔh ڱ@yfKS\/K`T?קq웃i"%`(W\Q/E'̔IH$%=Rh?}xΔ<%+>/Iutfznf NdH[LUSof9w9O[O=E BEТuKinzfߪqHk!QhK+Ċ[d~kI"Y׸n/ydAy~ƾMZ}pCZۧ߂P:D trN4/.{B4`@võg ɼ({,Xͥ,>eg )Pnl-] ިoJ~a4@S6NI 5(9ߐ[nüo tx7}Z"c)|{dx7dCFfф)u сߋ3kӌ0-'?(DAw̙pZ(5ո={(x> 3pnrZXn%^W{5ڠϣ/MvK*(8LӯLODnC" =O2[`Ol6:ق3$q 5|towY-F-XBe9n7:>tcT >Z.J{?-C\:Bɿ μ։. (= dM g9?M \w]响)^)[[˯%AR!G(쫒?ͽBeh0=>AV"dg]8-9wip˸W|Co s#pe͸[cHp?]T;c63[_+ Vra `0|AM^%&Rn-0tصy\8ڀ+!æefoeHJobI{pgHTTɌ4:1ĭzƙ͗ktR|EܪQaPS+q63eh /hgIO #_ΧQL OYi?)'I(kc)K?݊8aXò9*m${!!$4r# 3_R,^L&?FO`+怎'0bnk`M)WL̙P&2yl0moK|%h_eLmDg/&C54,mO+W/]JY9X Ҳ|4`4J 7FjnMo.[A7J&rFDB t#*25y !"RGb8L"՟Ԟ?>k ֆ7\-j#+ЇKKJ!ӭI&59=&4)3dݹ)dBd4G* m@_<8;K.ROwɊ6+P' A$ 2>Sxi9{!UWtj$V> תP D7y~S3R Nle Z 9;Q>l D.c+@|va 4XNdSpn=ھB{:fB*&d573۸VYW4.gO-{i17BJ MX<c?̌Mx Jmc~Tl ܕg>q/D^ ġڋSLR$[]JS!T(vh M+%:"b|{}Aґ2_IBK:8nG \]gVwJ=}5 Bb|B+w._`Ӆ=)^ /qH֦؀%&0z~/T ^F#~HͥIع*^,iZ-Q8$uSB2A/GkS9VA xVy hK{B%73),uW6 bhL?iΤ goPVձ4%{Hyp{,oë=<ߍ4p؝;Ӱl I.nŚMj-歄7 <Th#XJ㔭/9x,JN@)}qJg?`QTyE><]IRrr) XS^â2AF`[VALTξIS&q0Լ@VI e6K!s _O Tt[nWb'/O+:fIFJF#KjoӜRz6 S\_O6] /029<%C埿Iŝ' 9:ȨJѕG@րuZߧXqOٸ; v6_wEU[tsxZǮb\VMB]Oj7-<{ bc/5'Jyk oɻ|a߈o8@,_;'lѧ304ˏ"[C*Eţ<W|w\jr~ YhPZ4Xh`Y%w5m\{MOЩ%̀9a2K YwՂQ h})fψ TS^w4ZvE}ׂM ֑ %YĪ[-K770X1ΰzj'=]JŽoo 8;w[bNu1ifw˟2?qɾ8[I4#sTz\#RR%.ℂG'Z eŠ:Y\A\iK 3c:X: m&%Q3ةFʮxwP?zAs&,Lu$̬tz׻Cё8p< %F3HS> 48.1TzU4GjKPb(^x/)s !vV U .l9 4kp[S06fZf!Wqf_ãn ~h$<;]5u jMis0Ito ~ BIٯmkL3BN zxfqڥ67ARKcVut@ /o Z|Fz P hv꤂b/8&#k\6B`ٌ3rHĺqn{JoVrR?Qgʝ*1%~ 拡&bж85 ZdR}Aqfw1 ]\,zBiF%?JnC5vٻɢ Gr5س CMuNmbkO~܎| bz]ұHUrvj1A 8E')_8aߩDT XBO$%3IrD@A rk/+%qSyE;_QmrrF.֧h_6;Ŋ6ް23j!'ïsEW掬RFw̓HNrO椂Dǃ駥7_QRsys9l}oabu-L"m!`=2 S2^%$B]ӁH-ЬDo$:'6˩~&]`.R# %p`1r,⋱rґNTj } enJEڦ;+67!݆o)>-;#3QeYrQDJ2qۚJnRcn+I=bQ5'+wh౻^8SxS9̸ڜhPS2#3ƸVypnf(VI.TSzhM O!T f=>T^׎d2iK P#mr2yQ,v]"1]b0,w ]XF7[m\ u^'Nlϓ @G{mk/y`9/Qx2ڑif HUw}<ŨTYg5k 3߮fR4'|aӰ4dddgG֜iEzgy11ږԑS!R2`UVt?Inb61T O2jzqϾk$% M]ҩLQF 9ܦvW{rX&*s[91XU %:\Z2>Gw0HNx+k k觧2um],ܮ@2 QƒNu Gˀ^ǘi=TߪBٯ4,J}J ^jk*zf].*Z-&cCۻ0g? # -W<"+ 'jE_5F"|Z+@;hT Wτo?6)TznS;'Q>eRk!URۓ28%a)Ž}IXġ@J&KDk>/TGGJ'N0mp"R'A'0췄<$uv4@$e^Z.km=Nh&3,+Sx~v&fv"[&qGIY;-/T(*ţlJm{S(Jvv뎬Cm;03b!pٯCnE+=IkpmB VfU !VzOb$9Ƶu4n.F\$,x-D7Mle=20JDѫ&vmuuZj`/4cM ѵZVSuHih9\,{ޛ(TTeeշ X;ޛV)+h?3VB3/%5F~GC_⊏z&E巧_dXh74>(Xy=|nOZmK0dBh(y=F.kwЬFkK;-ŬP !N ޡb_RB0g'E3 6vȕ0~#^{PdyɎy,@v:CE ,M9i6dƲN@JL*ld=$Xkf,ҼfKnzԗ>qr'XqX^Euy15߽]hΩabfS;D;[5j/S=K(~ýb44$ a*)m}"m<6@=e1>zu'z(R#l(%l_o& q"d}8qO ab+{^{49-|qU#juF~~j:-L5 r1 N]? 㧎T}\ P3ܤcCz"J0_o,ݮ2QM4LN& yi@ۉ hy\CfDe ?źCП5@:`Tr]R*jekOWkO>ѡtR?rdq%ok_|壜0R vvuxS5ϛFV]*v4ܻ۩ߪ3$9uƣT:p.5}//:0(aO-7ԘD癎&U?q9cas(itAyGS|ݣww$uB}~,‚ȋĊ qWn5'N]IDEyhGq*_9Jf<\k Sd;TW=6 5;!PDI| sO6@@x㣥'ŬY!+b;N6 "@})O垎]IN.B|/yPX_) Aj` tX"*mPxAfKlltiґ= i,dַ4iujvd—L|2T4$cM|##fR[`[ ם}C:=o}sdm=[i .o1!zN\ xxRp`Lwd9o9SWQ^Uxx5*Ҭe]Wtz% M8D[xں-s}Κ\|͠4\+g6 v%S|l2ӭp%|%8N!fd/{&[/`$Tsw4q\ԉa݈\5.9.Նcj? 2#pi`PzA5F< w莓h}?u"| >Py](a*.9K;@ 3a$!U_$RN^s =JߟQh?9Ě_sjm,Ǹ5|Y艡{:]nQ;l+qg@pJcͅ$Քcπuq| M{3 0`,s!|MXޤ?&EfZM!b{|rƓs[-d~@>S?Qǂ7KrWIHF:&_NeSM #̮ ~8ddUD[\sڲ{(>X]LQZi-,>|j y^D|uo9!JKO fc5W~xXpTM%9}^_,ȸ2DAYsr`|yXvƞ"1߮H`ђ }0K s^y6b>LU 4ehUUR5%:Թ$=TgĎ. ?esXi; ]] _CGN[uL `SI`K@g2e?5 GH e0qs9%'!>".֛%GnAoքñ(8\% RSQn)Wp6I;rTI[@N܆xSAh<~EC Y;8;O-?>[o$0$4mZkXTC`5ߖ9c奈 U6<,Iɱ@_ZR,\۪< K\\ˮs?ժEclhPnCf8&!aãpp("g\C@=} -[;` uOek@!(KKLg/dܫl^$Zš9Ӭs`sbccN⧌`TFsۈ1thbz>$b:,'Yv1@T˫]̤det]ĄDgp{Կs $c >X%OC$3t.oH3 °XܨxSZ(<$oX:d+Q,;KhuMBZ!A%I9xa[(n4A7Eެr¾G`:֛#dΎ(loʹ⚶z?*X4@ Hz'Tnl֝8HT`Uʚ$BSd oG9A SJ G[oEx}SEˑ8[T0O@k`bxG2Bn[Zb1 ox##(4VԐ(ޓח FN5O !F?) [ShcmF\ld-cYdbLĮw 0?&ѻ~J;xl 46!2Y#GFwF\5qxARg0Z3JpܜN%Ab"Op43 Bep-c*$0ܗ lu` T02o>j&SE*G>1 cI7R<@/][Dgd}}%  HպaSOI`(o{徚K; eoOQా6R!tnw 6FF\G7MwI" uHiS7'Jk^)Mfr+kJ%-Dx ҝxjJ B⁽FT=\%>T1RI8fDY+qDJ=q)hGR4rF}Pƫ^sJX{ ZD~aDw'>h"!u&z)*f8=rA\cvm{07cSVd>ЌRxARɛzo+6qi"7 n=t6df~ #@b,y@}zy3Kͷ M7s宸)^n 4x2(ežT-5Xծ2\R "wx >'&&o*;8)xKUoηjhBHAf,. $;zEG uYE W6}$kcv3 Y?4Ô./8uܝ3V Lt fea@}%sR u *v:,]#ޫaYE[H\&;3::FgSC?ն%m^r$*}js?9gJBgi9EN N)_DЕqeA^ ˤC̟F%U<t+yuk:/7,3Aޓ!l;&l?2CtD]tX~RRbٚNIl²oS,WT8~o4 ~}?$g0P ߼]Pt9ej8 h@%#<)21v2cj ^&RnxꩺU8\+. q;FDc :h[ 2=t E2sf땊~o7ɚJeE`X3@<4q$r^Č)]r#纄JNJLnle0+&<=Ep_7[$9%^f{U”99;,#A\-I_#r++4ゟ\Gx}\Z+t(_HҢhn;O/im)1ağ,a- . ޴1![n#Yӣ?‡(gҌ9n%:FwD1%_c]no1$C4bG-h dIM>Nrp6圷TGnTTնgZ׭ ZZ%7gd.11)>25ݑAiе?7h.^/ .,?yɳX:5Dޮzs{WY'܄ 0%)厳!z8ZQt˓>!qviYpJ+Qioj9韨ӣFQsc3xU4GՋi3dS3k,ƴuL@*]u\CU7eywD2 ΐPD1>\X[ A#s@ex_@ ϔH0%0;430X0FEִSRa[n8tYSGTOIȘUvZ[d]vQl(R? >Yɋr[R8 u r}FS#sС" 7}Wݙ߱$,2.ZZԦZʁ㔴5|lq;/M|\EoI9Y-J^F` >g; 51!v?WxNlu`{qG FN-i86[04U 6>!$ʶ A*G4(R#תּ-(ɵ"%z̙{; vrhے>".Iޭ~q  'Ų $잹쳕\6.Ԗzg5l Wz(]51ZpWѤF!e_ܦׯ nK1!%%h"|p`&KY}hw戵wK%RXi.Ӡ}T薄&1WxhJ=$:Afx!E:BQ9"(]$8h~BjۦsfVL2)Lk9b;wNrsH>qڱ`bm+֧$}O~1eH~}@SFbu 2UO0xic;uB,E+wFͿX~BXN)ΒGᬪ#Z[J9 ]h^Fb.*J&o-)Ie <~dyכ<.F|@`IPE҆GlCpD}>(Fw_QkMC%!kE,餝[/vˠ2?x^@Y/xzaT?O 77e3XA%&y0 |'!yWFbg6nV^&ټwǔ,0i-̍QM1p),lfC0%DVxQJ[G#8ÆF&k+[f_o.LI%֌a, $rh)j!9vx#IlZۺs(,sR#[`EXfv%fVub]NRǺlũq`I}{l /թUFGQeJÄzueQX1fL1jg_[35QcImiW\6V5(4_j#sr1χRtFL^u*d `Z. !VPx*\)=(Rْ#kNC9@Gh$xd ߗ a&J]7)ҁ)h@ѻXc~Ef'%T_<Xs2$єxu;f"#dž8z݉sYCZ(Pi VIDJ<Ҏ==tߚxB-FAOTtA2a`--i6:Dif 70WB^s go#3]~::MLxd %zp\ ӑ~|hXBX|tA8.al9k2A&p9E_#߉ Gpc꯫]Ѩi o\N&_c78H$@8J鍦*r0GR#LRgمSqoK..` %O`达Ѣ%mY]]{D3m#4B7g}%?e%'j7!=k I~ISZQkx+n( ;Ax6,fCG;O|-޺pdI6f'PmBw}gR,.wec=L%h=w0lSOa{M,3}L$ M?Y6` I6!}k3{ BS.Y uC}JY `7HK–@o3j'Mn.1.cUsT.1ө>IܤMg{NJx gQ{_eN#6%\K.B! $ &'|XKT3ˆ[t`)m|<͍a{2LW_ŬnNh@">*Sm>e nY-4zƆ 0, Uϫ74@VױĨwD5}L,̥L8n+2pAoSK&t $ \A[Z 'lY:"(p cNR=0JrE 7/mq #R,|;oA%4[6@%ڻp͉zd݆K^~2o*FOIԤuz%uQ[dīvb-C&} #$ (Ӿ%˧|:tL;X,i bj1"qUNJpDߍwba䣎ݠ45MY6EieV~c Mu%p6:x _ksА竢)dsrzOy{yN1@je $asMJS(dox">R"3.|̒= \%h8s(^.gƣ~ѧIq%ze>J #wT Y gs'H=bwͩmD-P"e Vf߳6 59%=a kbL=s)ya֭ c`僱Q~9^Js.wN!yI{X'hu%Pt,`yOp^}+^OHDxySJqW@߆ 8³|T2+ T$څ9 `?:Q&WY֍OX.ȫ}譨*%< x4n2!mDqRy)`ܔd"Uk؅iN |KS}KQ/'r󮠻.+r])PJ.ƚHI+^9Kun-_1M"o-%}g*FoIU}yuU3}Pĭlo3H&=G` \LgFBP5ю[[h U/EJm[68&F9}$"ۧaaɒ(LMpaD<&P#V鄣X![9?FҕA1n3cO[c a.jx(@ySC^V;"JHߔMK픙eͧ4[%&—-V:;}b#J76w^7QЍ\\qNLBToQCD/| )[=k"d :Vl*_&: b#kg*_B#e 5 {E0U9nB|AҨ3 M++񕜃s;l-]J\M*mEL*F2﵌fc.ކo84-DX- 6<4 gFhMP^MkxGl\]("+Ե{y-' PJK(½z@NR@iVq"Զ7K+Wu V`ܝ*$DDM%3ea'cUd;Ks).ARzOďw'†0i< u#5 ?R$'RTI( fo&A{'u8@r{pkTh 腖Z[w!c> vUÇ no%R;jtDW$<̙ê 1b89&ՙ܋Xdh1Wqֽ'fڄaF ᨡ>8,ֿM7laV\cWӫj'X=^6.ڰ7L8yU $T#+#jD r~mq0;i RSJGL*Ym Ko1 buTip7zX<3JdH*!lSLML8xQ7a:]8k&`0kgupƧz\azT 2;A/ 㶨}~CrJƺ8=JXI_1XL}c^mqze=XdD*^m2tJj(;p73-Z"㛮S7aG<6F 17S<"( hGK.mWZENW5BJ50g' h6B欱$%q1Ͱv.ޡBbpuE*&z>GeT 4C8Je.x T^:0:M%`dfFwMl?PyFيW^onF u?745mG_?sWkzwi3=T5WT́9l3zd(dg.~`Augi>:XﴀZͮPaq_OGI[~gWFxUO-"hhݿy4T4t(誸ҿ[}Q<~*Gh1!My ?خ=:x4QDَ%omm^WF/@>F_ +7}wZ8Y3p6kخ>͒K7>թ3VYzv OXA JC *fZ !ucmK6`NamȲdb̤gqyRij$%X ; /-gӤeU1e__Ĝl;Js#@h2ӶTVUUR>sK T>-Od\th̿<&&GKYsR]A Pѧ'e im->/Ox WGġSǐUxEкy]$lDzKOnަtcȿ[Tun暞