SQLite format 3@ .;  B --?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 mms=|L$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=285.229cpu=1369.076gc=69.9087zXZִF! l]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[~?c{%}ys>֎owuW}5~@Vw ITJꔅ4PƘ[MwlHf'b0G1Wq]aG44 w~,1%H0c4 !ǒ~T}ia]r8zAD0Kh{QPB(3[~K7Gl`'z5Y䥝B;.kzNAl E\5.N`u艈ֳY /2аH?[uЫ'n ʦg;]6rɚ+ j_^ˉA;zL7~CPZJJ_(\8͡- gvH?y>Ie]vF=j \LXڢzm흵T Z*6YEM7}(pW ?&QgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdלexa٫qdpOpxzo9 HU #U˛)۲ۋ,KҦ ;h[mx/ϘeHPO /t 褑{@d1 ]ǢgYZ7zXZִF! hg]ŗXi%Bd ԰Hh$DT qq~^l$;Љō_k@K Isov?mE~ߩTuZ^lэ|vOOܨxb~x۳@ ;ىr>=MM-~Mtyٶx=18F]v ,Ne~ZL5<= 2yufL%ƺ\("9\ z7> ms_m yxy0L)=(^k~ۯ0Jdԫ laq3NZrAY︫^KROF!^} f5_,*l:ħN*,̨)m̸4ʐcVGrf_@o :26cXg0e&TAOaH,\؅RLنn]'j"'WU 冢+B2&b?9E??F&@ڗՔLU3j3{Q-facKrQ[s@En-g=(zxg*-sP=X$#Po?WfT-Nϗ-+yezu+s,}N ovڼ^FYda} va Q030j_qͰnj?&X:ca zNIpq!OmwtaJWrH^&GCV O0Tzl/ 23 p3UVE9E{)iCj*aw$ q4̊,(Q]YQ8S F.]]WQ*s'rl&|M"? zLvwvWC-G-E\2Yy0߿r <[?YICj\[0 xLy9KgGf۞rA 0Z ZB iI>9-AKkմmȹ1aB?7O!rΙ% 1 n`'T`|KzESӇ,Y5;h]gޢ,iTsPSQ- I!b#'V#]iXd݂,nT)2&M l~EAvjqAx蓋'&:s+]Hon%sGw;wJgPAYֶSifo߷7RAAe۔1IX1<#|Qʢk9!~Uݕbyeqo?&&bmp6"'?I0i7F6497X ra FG Բ[Y>Ȕ'L t@fK>6۩"u ;fXF.T:?} ~?Ҁ* = HOL-Quickcheck_Benchmark/ =% HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument.tex7zXZִF! L~]A-MՋhvG"uIBm5ij `W')IfY* q z|H-xK_5r fqjelMSEeey_x<6spJir*W~62/E(Tv*Q^ǰϛy؏ι.NoSt|NhBZb A@ &T@zbgb]C;C,b\3;~YszFa}}"ttZTP34j^o վ,2GeUJ !&6!s[s 26*;b!z!T*~Y"8Lu+! _ eF,nzx1F-|:e|ocShU  CL-=mG4"eH~F᫸8sUn`:6T~:M?;ItoX\oLjԿU_=Cm4(\oܣ;| dSβN Zؽ}>B>q%IIVl_u V2p^kuT>oԭvsܯ/`}cCBtb3ZW犥v|9nC?}L,!(."W<ieȲaO,o8!>?yEVmb2~|vk].ۂ ~n7̨mU)R ?疛`N kC%A'>e#ȝ[lwp3܎۰"~ͼ 0(4<7BGQ9mJvk/.=!m|x@ >-׉$ɧ:O۬OH5~If%Rp[_l[ CC!hpt}! obl}A;Jsm]7;ȏ ty+hBT,HO.itɩ % ܃0'Z`bjVzS^Hk(D- ? OvxlxO5%^uQ'&A '_CA ;cv@lʖoOːdk_a3qYEF bs$k<iiom`W|4M,f^V Z͵LvJY"BK)GH4Ƌe 7& -眆e!Tk3m/0s2`' !Zt7=HvG+uЋg}O ʁʡ]Jm?h/@ұgYZK=s% dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKOZb A@ &T@zbgb]C;C,b\3;~YszFa}}"ttZTP34j^o վ,2GeUJ !&6!s[s 26*;b!z!T*~Y"8Lu+! _ eF,nzx1F-|:e|ocShU  CL-=mG4"eH~F᫸8sUn`:6T~:M?;ItoX\oLjԿU_=Cm4(\oܣ;| dSβN Zؽ}>B>q%IIVl_u V2p^kuT>oԭvsܯ/`}cCBtb3ZW犥v|9nC?}L,!(."W<ieȲaO,o8!>?yEVmb2~|vk].ۂ ~n7̨mU)R ?疛`N kC%A'>e#ȝ[lwp3܎۰"~ͼ 0(4<7BGQ9mJvk/.=!m|x@ >-׉$ɧ:O۬OH5~If%Rp[_l[ CC!hpt}! obl}A;Jsm]7;ȏ ty+hBT,HO.itɩ % ܃0'Z`bjVzS^Hk(D- ? OvxlxO5%^uQ'&A '_CA ;cv@lʖoOːdk_a3qYEF bs$k<iiom`W|4M,f^V Z͵LvJY"BK)GH4Ƌe 7& -眆e!Tk3m/0s2`' !Zt7=HvG+uЋg}O ʁʡ]Jm?h/@ұgYZK=s% dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKOOf՜鵹+-;[u s>@. 3(jFt.%0uWmaQVT%V^OׅP~$bc0qHu-jb&RȌI~/Fa~8wVoDV*B#v ;O# п%4}1̯Mڽ{wKRwMjy84G(%'$hv](P'0D/npd/jzb݌BV/-)$rmxQq/7VQSTz)ܴ{/@`mڈηlm)W(㔫Eۅd:nacYNGo IإiUc\-2EcIo[:j޲CseW ́$4iZ!eز7J#r`xg\B&Hbdhj2U&R]sݢeboĮxyF/ FjܶYQC}/(}7x[KÆ<]WxUȆ>ӾΞ=Ͱ=T-KH@G꘠v772$6~mw.$`|%!/YHO_o>cT5<–$l;Q>Kmsq bDz^" UMg)ȱ+КASi#DTn؏Ƹԛ\G]nSN`RC(w F"{')MuKW~O HXxܟٓ8oxXk]+bh$RQ cE-֜4.*ɍS&zK41ǰ>8*2,N#aCv$GޢU yd֔b"W̞noH i!kͮNlU RE`^1}Y [~L-isŗwgYZk = % HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument.tex7zXZִF! `]A-MՋhvG"uIBm5ij `W')IfY* q z|H-/$Qn2f{y"Сis& /m)c}XRr"ɹL_A5H8bC+ސ ۍdWZh$d ַNyB1kKS[{X)s5mU)ͤKJ1|RkY\F'T rڬwؔct>[7ЭPj6m@W 'áiP{Py }5|ˎӦG0 kuAWl I MDq| !6Sd3wJVd^(®~;`o*y!`O4$Teg;5.;Y(ɕlCCp,K҆MlT.P9@QS(/d8TO$HD=/9peVxLG+oVS*‡:؞X;{ 1ksV}3f(QcV)gn=36݂UTTJ0?( Yنorn8' TK τHjp7[X[n׈Tώnx٦4ent<}o!^Empe e؏A\ucZj-]^\:e]\1oj9,pP@m@/|*m2PWcYt#*Ii=*&v[.F]N%ո땔B3=yr fz0EftADLFüBnRnPsuG9Q#M}:s/CMܫt?Dh˸P^̅EDw p{8`N,K8TBgYZ C=k% \HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument.tex7zXZִF! *]A-MՋhvG"uIBm5ij `W')IfY* q z|H-n>-$iΰLݥ0fpx=E &wl<_{B秔F/\ #]c0(.@̻~k Rn ߒvPbk^8!Y tQgVs9 /C ORYFr}F2`zk'LAE3dVi"=5y#T>a/ r'9{A/eljo<X+/xy]7DaHKY$19=W/-e?fq6jM>v>ɊZXa{ h9 0aN0 5-U[ie rO/c8|qj@=GX(V&I)_2cb T>T}DxmvY FPJ|`>H46)P3L@nk'-b9Z'w$E3T Hߙ~$}\# ޼ j1_,7h!(^'ۥ;y;=Sh,i'~ &߃l@K3'գud<,{z[o)Ō0>Զl *+gV8_O= #sK8jf<#&qu `߾gdi:,Do_h*?B=CPvdT &^6Dv>Cдi(/2B~ >~lTC T޻ˡ_`ǻM蒮>&tG w68/[0p> n8~ `⩇$Ey .X{\[419F%Btq8^ 2nE,o &|Ī=) VS5*н"N'Y/ 3P ^s_t ~]ɰ"_OEj2 kLqЬoq=3N __𔀇nu}=QX?>y!Xw!5oԄrkYMU d^~KW!\B;KU3ۍE?# 4\:gJEU&9bOmNrbP'zY髧EzYY:@PgY+;%w{'Su_Uwu`/˄=7t x Jmjanݐ2ؤ/`wv{E~S<擔6,A,lj$n D8鱕7-uvI_ VtJz]õC Np覯t yC;v ,nw&'>m՚6Ar*Jti+<|r; mpTݝM2,@ D}{b(PJXu5< @>#ܙt,RDJ~_OiiKxRs`+*~n \j NVw KgD?"6P%Ϫ`k룈\LO.#>yd Aث1 ، h!'L]rĮt#^+I%9J * (#-pW失}ٝ/v ,G&W@ۚ~kZɹ?DQ=4|v"\P=nȸe7}CD 2\Ux j#;t:23!A%Џ5q5O.60,?<IP7 }C etG]p6s!\ߵ1ϹP$Js@_O[p V8b/,k/0Nߦ#GaGuoDQX);݃,*gYZ bᗳ%aj/4f Ҡh`OwvEs4-礇QKEJƳ[q>Sl*aqXQN[tϚ>LW{h5sf'!҅BR.xBzv&b|\,dIjIq9v>gGV4)]JMc~ oOˀ㜧˕KZ/b"3R / Pjׂ:87zɫ{t\W2;?Qc-brdA<Jkָ2$T4Ѝkn=Gs'(mQ%*]*B[%FlSVA>{q,h'ƃ{u8¦9&:5R_9rF`xVYb *9bWL5%6%V% ?єtHYКgo4bI4wSXd0@.U2/VvO2Һoͱ2ðW_f %d[U0T.vuE;X%gk@-A !(3pČN,ܾO t'x.-PԬt=/Y>v P Os۹lRo5RVV$U|وV@]eF>b'v~.elĦf\~CtArXPkl`1v~x*sEOt{ 5< rS(ѹa%tLtk+{n"d{O*8_c* >;=Yl/KmB^rX_t-bvzBE'%HRf GnFwJ=I]-֖Hw-wZ,sPqW1H,l~}n>b? ,ljNRsd_5᱁m !wXCV˽䔅fqK_|LhbUt:@@(6k}ts>>rϋw vݦu1eDE($C/$K'qI2`ܪfI_}PhJI.+XJhH͟_i=JՏ W%A ?˟ػyi <`~KRxN:G4mc^ MT`:#|lhM3AdNIRlx`X]XI2RHB2!^DIQ٢6P\qG=jm2!\ %sS*6͊Ơe@b\kΣW ps;ߕB ļvi9x.ۗ`Hiu.4Tb;XG&K2Œ牠 vOh]&V+G'Qr.-&3_}Y$uՓlMY.16H-Co~}Vއ%F~XEגv] ڸ~HtTLg S7ڼpӿ !ϫtt+vܢl-BerEJm/m>ApaZa؜L3AE0Fa`2Ǵ>IU y%Cuֽ"'%Y 4}B`=}˄~M)6> aPadO!BF(ΌKMcL\\-u|u뺶¤Azk 4ȪG"ڞÈpyJk|H2nUb0ݪw [sΦ/X3)+l?(s1J,bC0uU0PᅬŢBTnqWtՔ*BĶ2M'}oHmI+Q Q ,@U4_2&lr8ab2!g@>hVw-9)P^wyEʉD d rA]=/H7ИFtAEbJ'/fݫxQ:!~Ph0- 裤hZ6~%Xn\b]N~3LO$6A7gp: MAjk[$;=E1 LF 74^Wb^U:5횡hRRz 'x\cܗ$H|_5c;1V&xVedڙbScSAVJJY^i,{\$UzW4 l<*7~K -N'|jpnXq^cǙ2s ed" 6r<=u5Pެďj,C(AR#)]1eQAp OF\k%=ϴQӊH"ifIt}Z?9.VAbLF[@_z"R0+@z%QKg\PpO yC$/c:`Ds1߭, u\( 'PQHRKUz?C328f"9ewS- I$+|lYM9Υ:[>C.a;\ DqGWJ3wG. o|X_}k/ҙI8*IC_FNz760Jx41dHJ>J&V\3${IO(1ޛ!v쮡}aD:@kW|vioХz3M1eք7d'NTG@l?]b2dyۯi|7( dhVK†M-i0H[`')Jlk ]Z|^љȼh/$ L Ԩ㹉eiG8D [nrOfѩ"c]LOD%5fIU"TG iݢ*jkNceLb@ #SPf5x|:ERwG!f'k.ً&c*xvɡ/n=&S]'&K[gė{jϪ`Y/B[A77֧اmeʰ^R|,Ir<݅j01cǡ/mƒMQտDz-Q7+9TyСq[$jBmߢ 22*I|lcZ㈛=!.x_|•0|`}fMV-@[:@/^v4=5̷ XXM䰒/Xʡ0ǪUÂE 32(l#4 +~v2Kì{XrFLKv{7*&nnj 9Eg;#ƅ7>(g?IDJ2BeۆZM+] :1wokP5\9 rgFL <mD݄m`Դ pm!~7R4yhE8Ƙ (L 6*L:?\S ^ɭJׅn:bTDǧ7?_&D0_tDhHS\Q=NR?ZMXZJgBUN(7%ڇ 'ыϬ{y$v]#B_8S<ɭ&>It]biMc5[9#W5ݏw]u4e*z_s\|Ƙoz+ъ 16I%:rM @ *={{+ioK%;*m 1B,KR1:~wᔑvKuV*fXX/8 hLfuZ*` 5^#Gk`gUMivZz&$].ݫsFqKZ5酲vm%mC!$RXdQ@~`.P,*wj[b 73ں~tP X!^ {_MiJ.7QI:LwFWr;* Qw`EYL&C95s ;,_MP5k6 '3/c$C֞cˡ`R];'U-uK{.3kvK.)bj sa#75Ԅ`.zJr9Qq7wOj=e %o6322B!4) .nq=y;aMYG:[ vyudܩWX9gsQ+݆О]+ %9) ò \<\=yD2 Ӑ ,;e$% X#ɥeXJc{7TeV8| WѺvbq0?(WږyݎkCIsaݼG)vH,WB[O^16'Rc~si*˱* _g_12X+PB֠:ꅄZZ[D_leDY1z@dN#LH8(nR_>=۴S3 +,vSl='$Kd?MJG0xUz1qEe.p9\K~+WH d3G .!QK#pl+#(^Ur;({2 )2圿U  ' y g_[=͑`v 0xT !5"%I$3\R[*oRq3@`l*F.Q7|GՋFI֔Kp Gl3R=$ sj ba>m`rM3ȔO0_,l\M$j; ^ϬQzwl[3sf2`Wtp~` lzW$ ]A*6-sw/<9pv+˷0}L1UvM_ '.(0ny-|`Yicȣ* Fo8x֦X96@si 39>weFL⭛(hLrv`*Xە ڎÒw-[S#R )%&TZ쑐Kɳ"7HǻРm|6 0 ' 6,R@=lBz?ZNX }pecZ!f8͌t d-5Y+:"H;MDYְ^Ǖ[05VVLv]{A*W_H4x, ~@MuIBLq߭>}=ݮKS+D&CHATK"~FrO7p[l1PEX2:EE8-DF4x!;(K9:N5?YE9Xd3֤oA-gu5/\LWOC@\Em^_]Aܘ;8GX6ã M9(f%S2oPkܩ)ϫIj7o!_㔇韝]JWww/W> bƠZzHaQ!שB9L8"@M?$c;׋dߵ;s~bT~N~1;E[FAr O]@6CmS,MHpvn2YY]`ɴ0KFV-@* gCuiݿ'qpf{m 0,NvlK=~7vGfcTsAMqJ^<9_N#N/98W91>a,:4 aXY#pxqo]-"T@BrUa҃ރDH*Uy;PFV2^4He)ZDwы&~Aѭg}iN!rO~FIKV%{G;"5 +sɽ|8.'pΒ&7F@|7|ixrZ_փi@(z0ɳf {s"';> &L8qVD6{P=|71gɎ1|H"b? *Q$ոpP]t7m2VÓ#;l]0G%¿Q1t%;3H4LJ} A x(Sj j8b 7v$fg>E9h&xBL$څ<tJKpؼ_t<.IYVgDGHKݍPB syRZЗ2NwqwoF^?RoJ).9 8z1I~6di'K8Ic @ɧ ئͅ'߹ K/"1pj͂5DGbAi.!=S2f&a'px3|Mxv° 9Z|j$ ,HL,k ہ ,oEDC\C7o{B4k *;7?jn">G@馥pm|ͧ`|z Q@zs; u+?*[Ϭ@U Bcԉt"jݾ͏t=,ȩB3ӍHd6yb&7]n;K d"R#30 VX13xCd$lfgf 1&=u[4LCJ*t{UrG<0BЏqMxC ,|\LmiYcf,:l&~=DU=ƶ9Q"ȬL,lq(7qqT @R&dA^-usUnb@ +1Nca{5g!t@!o):}ic/2Pb{`3~?#*t: FEDb_wD`ƑAVi tKT# %)6IbSbF皍'c"8Zm3>F<c-L"݊AI)CW5}3'vv=Sio`͹F8tAn@~ݳar&xw%:陨U } H>2ˮn77~>:qh;;-֛V9+[d^iۗudP5Ӻ>Ғͷj-|I ѯ jC2EBy;Jlh Cc%,Q*PWf@Nfn})LLeF;A*0ncXP/GnêaUwog6"VR0nMuոUtr1`y|_Pl<:ejTt@[OE,P^ ?z"M]?M%2Ϭ񗢰(\LۥUjhOǫ\^mt㖏wce?_b BP?ƨ ZbX>3_tzA?2U8Jue|8Ȃ{0Wo]>MRtJ*ې#N ߄אR{Y3R+ D&s$A wݥbOUV]sU*F͈ݧĂ0W3yDd)dI4V [X*S)1Isxx|N_zbsvxGpy3Yjcr5qZ>E>̲";ƹdϩ"4}GҘTTCY4-̴ {189޿[oj` V:_Y6 :"$ tCPu"q#ZPxԞ(j6A(MzBMO_Jnv3(^L _A_hV @0nUrFy.^m+Jԯd>L[qN$J (9¯ j_Лt} V9m,3ݶ6RpO}oǍZ~}%YA cElV{^s{@^hEh%9#qwB;a\@싞yϏ@v wF%>2 TzM" pK,  3Ѽu< hyl-=oVnS~&U6ìwsbcHA_fzwD楽#4̎Bnbr/ dn8L> p"_혿򛓻߫Z@WmB!^y <#!2ɎY/,ߗ=5? /_/݆*4fCXx|űb0Qpl ȳ7cw[y7 ouc pvƜ]-τM0DOʏyFvu,T"V`!3١R_HE%NN2SǚSOEd:š8@']tkYdt$k:'(T?`EWTB<Bԕʌب7MH7O+.u쀙cnةИaR'!r.P2~nOq[~ZjhX0SJٓtFc:80-7]1F>O),E4(ko6E,۳ ?$sXPr0<&ZL,APVCzW_[@QIq\IF:2͋q©f]O$N_`)ot{E شatP ^׭c}cH(PZZ QKoQ8đ6v dk $)m9=uRR܎+!}nh~ƒ [j: b'$vϪrkZ8󀼏T!>3'7D s:MmKXEXPgXUWʯZ)RG e d/~;M-}\b= 8<1ȣ+[Bs~LT|`k̐ÿ9 fwa077k,* kb ]kI!NKMJ vZA0ģLTJ"? cL\pNJ@r\ U~V*ӵ4ἈR@*~_}_MH>,&:bG?R+jA2e C}Ԅ a@R67Ly^~ĦXdR 11t*d^7&6%ݔ?`b$JϺ efMLhnާS롈~Ó(GDUS参w*e7ra",)8\o抶Ldqrs?)S`[Å0,mt%Ŗ=4׋ů%=?'x[< ^՚#{DDy%]>hU0[isL//,&J17N(j\NyH9CdT@nn}qv1hvˡM3.L[,?p_Hdj82kӣ8˳a %kP^]xAQ+ ͋!m_9.@;H~ܓ8*?nB Ҫ3At։Zz+L8=M܍@sj]HL0-My%һfh&|D73e.Xvۆf:ՍR+W˟( *!7T#`Ow"֘Hmd8o̳ydx6t=8gLڛL%o ZHI&z`qjh>R~jԡaEN&bZqϽ|:sޖ jFuf 'Z^k'L˔ `nC8LM˻<Asj4=b9 /:pB~ Ο KCЄk]Q޽b0 |]<6v%'wvdTW])xҞjWh5cX6Ǣ?i߁ }5P1nK$p?<`8Gغz[JoT"xͳɪ0ty][~Q/ GPё,ѭ)[[OrIITS Aa}hco\?]ͧ->O.h/(Jr7HϛQQRp1R__!h&N|yCC%QDOɇ=X6 jh,7.+QReԃu`pم#ti*hFoid7G\bQ};;gN-P|lM3h,pƂiOlp #:nCF교%iA/N/epgI)d~G4t9~Tp*2RJ]UF_7'k[=FV FƱUC j 4kX7G7-iB;6?!"Xl&y(D◤Wx1~9rLG0yӈnFȗND&(V) + |gEcj8,2!Ϣ/\d9uo)c p\!hn5Ӵ_q42۳ ^p 0u}(Tagzr´l'=Wi_ }»jmamCe@>b D9 {GH0%Ͷ95UҔb#Î'ɶj pN[J{@6 =g pV}oJr *R_ bB޷ ORUAH8*$}6]Yp>U&r=|mV{WЋI.VIjy4O0[ZXuЊ9r5X[-iIAIm͡piEqƥ$wF iFrI'MQSYg]k^Gfo< UO pLO=Xμ:2Iڟd}5/;7Hx䆓Z]nK(|oŢ 9oE c'!8| }??c&ZQ h=ܴEL$ }|'O8A</ sh:U4S0[[8SY j2n;tֲ8q‹vߦ&z.d?'Vy)yzC*ZBq[x`HZVzMC| Q:%Tm 5 +>(ͧ!ᆑM_m踓h+;?0jIq$GrpCs[ P'W\%Rrt&IoR#-ZݥuWY0 'G-/l40Hg$I? \DwY$Ȍ Ůw*$L53v%[) 1W 7ҌiP+h> ?jKەV)_]" @_E[J$uz0hlA)9!!1%# <KLJoGiPM.߁_^= p$ЅD:ZN3v N$ܖm"0M/Ɠ_'4ӁyXz<*p.rjld:Uu=5s^Q1=aϽ f^ YLK&A0Flm1WyzYr#<f gyFhB`x5g%pZ"2'Đi)H] (^'?Zi,$bIluK3 ?#79} ہ{E(Jx $V3Y 6+%G"9*Ґ=c^OOzTtY!b9 # ЙPK)MխQ!aiֻWe(gw6pQdzW/H K]RѡRجHҶ{O؊PTvaTLK3- ]:"l]L !R5+l8u?"WCl@M(&J XQ?,RvPmj҈JXA)(WwL5d~W+5-VsRrgwH4P(f@\#GȳQ^ /LDDl`z;ia8b7*P{D* ,D#ep@ƁY-eîv_az]M¸Jڀ׎'(B.5S-@.N IDA8O},}k&E$S=_NOnL:WmWە_;?}'Q+vg@M#/$dZ?Wf#rkc <Q?,]dpV2-jW.T?x ?kC[618蟶ЈLC&n;@Hܜ o!ryVqV()dW+f)$5 py8"VFj;R Ǿ3P. F4h`,0嗗%l˅ Ox{ETpr!o|<u0Źޚ4#-| iuc؄ܲW]#u AKB>x^KAКڶ#\ں4}\03bxqPRMV!QH6rވa~ÜH{?>ٖ9DǕ=.]T=|5Rڙ^k[}qzfg,o |˴mόky/nYوDK>p\SL_u3R~r]9 .rU{F1J}]8czD_j5w)xoȥoY g\ii/=d@=lgRQ5qNU"ѳLKD轰D-ɉ6J *sF Ίx *@V ~q<)/P'_[˯0dBhIyh],Mj/l LTTY}_b+f1||.cz47.v"{ qg-ŔeXzSe{ԃ2 >ï\b_?,n {Xl2˚0DE`ہ8} {Tⶏ6PsŬF'{JӬ-$]匓BS y )霗$KOɧɽr s3:\D 7ZЕnQO;b$i1Ϗ -y3\,IDӶC[ ͪVz)i THG9}hz_ȅ9u\gh42*lMk4  Lj(N* )uO].MPd' ɕ5}# :_Y=~n)LV~I4[t#d&y ze!El܍iEM]D)("q -%Q> X~yv?$SuDe '&Y|c->-Gqb]`۱i_LΐW!n5j.`>e#T;>8QEŴx$3dEUWWI{K͔OiIV杍t"D=7Л`PB>R0jFvzkdŜ=ZFly=ؑA R5`=^-+5Nb'yqb_3{BҢ"afիb9Pv>u#vCRl/b"w["HuG-e "&`DWCm-eXf8Ku(0XX65\F>kAa@꩓\~>AEc{d0ى0hv!*ǧ!gΏk* 1?`"DHwrjJΌ(~REߑ\|ΏO`"a6k̟!nc2Fsbz'S?1AӸƍbQ,gFotn NrpXPA{8V6[kWt;1a6AƵzJ1uԹb(~3,Í֧Rdt;fS*f%=Šm ylq]HE͇'O8+){!M={?q~ZAyE%Lh^䥂̧JsbJIvfM~Pu<]{;*;\{)awqff5 j6@hߞZ[|&%4R*%zhb"&h-oݚ3y8^QDYe_Sf86UCs]:Sƣ?@ۖ\ϯ4To= >JAñvbbh KL{bd.#r_ X Y8Yt2) ͙$T"D65u|0o nkf1׃*)XMѵ)|jtfk G^FQs4E)a(ǎ IP/ܦQy _SfSeDm1lw`1.Hw**Vş%gLkk|kӺuqؿPi %K Ԑg}[XZ"ȧ 4q:n-5?c"<( jj+U8 ܋6z8L)$+#^<؉ -k{#rcj(P.'W*yz1Hy=rDbl.9uIn̯@a zpY饧` ZfYWS Sօ+a|+54nQĊqsF{yJ_̙r+PT v2뽘U1ȝ?P/;HRCJQ5"Aqfϟ AfZy%:_K(4&6|:`_tDw[Dk[ĝ5vVgH 00;ɔ~W/ږ#j[/_Z}m-& 3 :3@}A':`7V* ΢.0ZR&3RQ;q]")7H32vN#dmES9-Su!UU : & b;40t6|{Hs*_dozx[\, 3m!|30Z~V͙2=@s1? ?|hy38LӈZm,äMǺִ'?]*Vy7,`O)6_Q|(3G߿b݆a/|[]0@[h$ȌM<4[CL;n?A /F_99L~GȍfA9N[?al +ps䮃(H_9c}dR"'7Pl` ʚ9"<:cQ(*e*=R̤+`9D-uF]LvbGl (X*p!+,2J@N6i{(p[氍9 ~HE;L8BV,Ә!kODE%ũeP:/6==~,hAys[5xkIAt61tJ&堢WK;d~\hkwx9ё59MOJ\b~`Qb\#oLքG*}QV:&Ld=El\enNl=O 54B"@F; # {^ z~m5pz[fwF 4*$3.~8 v2{l ]f^&dhWx` ?EvxFH@{m y!ňj]oюApR>Bl㿣k̀*P ӣ} 34݉ 2hd G:b a)@cA[(F\bGjc-ZKNsHfS.0[.i; &u!sq"UFOr^Z``3VU4ez}pYJ)BѲh[Mu곿^}.:iPD7kX7-8]B@9O+0iĺCJTrV];g01S"1#_Wh" %AW򲢋ê_׼Em -gs#Zr+jXQ&F%Eqyl~{4a_^D5Uj%js(| 4[jUpIX!}D\kf M83k6bFt]/v@>grMBYå*vrǔ|ZJ3WVw#?%kM7s>"Lnt:\:^gKP`4w6a@[)iDj.-9;=K1y-[\QC_)ǣk2+1M | ?ClITDۢ$M傰@3>PBL*L=d΅3lӹYwAN^ڨm +->dfxDτt`8>orP d/A,$0 ɧRdE|MuKMH:y}c *;9ע\Jh˩naw?VHFӎYjiᅻyQ(?x6O\u_)!t(ok;_т+au!7jI0zE3bTP9ݎI9QfMvpŽ -JjJ`*BZ*LC7x6:_jX\`oh.6®B<sGTAN 5W)9qQllGDfݽ&; pB0/羪7Yc| 6\%z&A !1&}n2c8ʦ AzL>Ҡ*IoskcfBET=+Wr1Lm"<4PW4)]$PǦ ox+Ptt/I6iobvȂM`f@riʟҡ, 0羹2P0KNYS&i4o Xk~!= a7S%r"3侀5TW# 6s:EOUuF"3JYQ^,@6OE dJQ1Z{hU+x^EJ ]E%*$~OAUyOc@Xb_ c!W,Ye.Bza8㸻W3oQ޽ۧN`'MK{'ﲪ9Í9i GqGߋtբI =Na=R>ϓc}Iu7ů OeׅAYL~9M;kEu,wv9IhetNb\aB*<~"hJ>nˀ#刾*H˗AM@7Juf$5}%>a g^-S.3`AZ㏒˂w1o/ r'CR˼$H@r4H7;MezM^g7>I.5iփ>+YϦuU $~{Ҙn5㫦5s Qk?ݩuS`тѺ/#ECQ_P 3Ck%]%0=n{ɬt{FtskdheЌ{A ieF_7:]~d:n/)!O;#/WhAV +vX`cUe4JԲˊoWd@F*KX&úMG+/@ Ff|CI6S*ư1 arnBZ(ߡ6qp|cAc)|8dahs#1"}s-:&<7y.kPű 6fWW况gYZ9b15f9979d0881d67a8640fcd5a46192c59f1a2f0595afa400e94bc790f9ce057508b43b15e1e2fe bea096321b375aa5b5a5d10e9d974b036f7f356c c82e349c554379fb81b6060902c5aebdb62d4b8d