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 s=|4$, ] HOL-Quickcheck_Benchmark:threads=6elapsed=282.398cpu=1356.780gc=62.1047zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBK[t'~Y6#G \'WX$Qp,5碇\X_(ua*8QpnW~5h1ͥ4y ~Qu>I2 / E"^ΕS{& ;-OS8yv9lke D?4pUq:%!FN!U`]m 6ss4^]oojaTX*@ X 7O51id}{ uhʏz Y -(iU`Z*Ouq]}Ji.OiMK _C'ݏ͖Եksf"c64 &4?7nͺ5wU!߸2pv+q\~A;suH~EBvY><{QBBV)r>t(<͘,c3]1OE2Kn-C(;r yA<)o$ϧPk;/>1JJk}Sc?#^srV;< "Hzqe@TY k%k)5;*lzQhN4ĪS!3 :GGd1f̣QEz1pxnA"Ymm~?Wڂq[E8Ԧ7 K I)]w0iCŦʦ:'׀L.*<Gؙ%F0!4 :;V=bId.-p+j⤠u͛M{I$D?)5bvYPƧx5tTh#ѡ_a*!ߒ8 pY _2CAvӃ.Vi;s_G<5 :8J>ם k_)q#Ogn\t_ =V2) b>zSjŢ lxc@vE-gش9"í3uJȂύj嵄$1@\L\߉FHEhIkwwη.7DO!:CT݃{TBs0%̪t:/Kɞ\ڐ_gs/jwb TSr酞82h$̵b ?L\^)%- IFӓm&!ըiA8\q):x=#@xm$5!x|s i=ZZ8]<4 $/SBsI>KAnG? ޛc{<$YVKzC*_$::Ձ*95zؕBacSpv</UlTBؐ4>^, uܒ$`yhZbZ5yưrXf5鱼8M܌5eڧ0=I Wֵ^ )y"F5Rub" = HOL-Quickcheck_Benchmark k = % 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,K8TBgYZK=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}UYu2rKO[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,K8TBgYZK=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/@ұgYZ e =% tHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument.tex7zXZִF! K]A-MՋhvG"uIBm5ij `W')IfY* q z|H-(]Ry\!80sD5b"M҈\wƋpL,ZSR.b(_߈9`\ wp&ɲ!nj1Օ‰0,L HaUhjdGIp(Of՜鵹+-;[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ŗwgYZ 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 \@PB7Sw3%[baQ`n EG e-KDY3ڡ_3hKaXVF\䮾VHIuu 3mAP.R,`#s'qm_|0JZ.V]n.*Aax03$>gl Gt>nİbAuܰyL,R4(4sz wP#XL+d3 B|*b/Ī6c9Q{Q<ۖoH(ℕž.\9u0",$]1mUmZs'~)glc6qb.lxU&rr jM28׳?ZNTԟ4le鏸}F3T54'U} L`AA i˗?>#Dj6HOTՑ-V;_W5~SqBEҒp@(*_#WϠdzRRƙk%0~*ղ4lݡ%?6XXû 0lF;A \M\6jhcA5S^s?+R^^gkLfw N|Mr62BP|\׼Vꃹo18=D[\-"ƞkDw殆Q($of{U?ʾ(^~%/{ǭYQRoaV5XPK.=yڗgPI ?:{l93ӓm ! &brWnyaqr`leUX&ߐ>՝aSm2uRQCS=~a3)H~A0@tv]̄9] <m/TH.$65E{.8f" WRtM&Иަ^0dl{Bђ#2Jwd SJ\=ZƗQT܋?)ِO'!=r4҇P"4>ťB(9q )v?J6@**pK:_eɿpedD0$ Sy#*-OGBj5zuZ"@ k0iR]ry7n_H@%PדO @/w6pf6"Tj#X_R̼=q 8cP-%h]'gņ|εsrU""Nʄs1z|ϖ9f2$w]"-Ǧ I{_x]|En~~P/5ҘL\#*"zu 6J<a<=dw#70AB8~MtغMp5 Q_\plh3"f{n_Juwwd~&S*sAk͐6hͺ9OH*~-cGvRеFS^}>_}uZ`qpid'X+'uyAҢt[$D)w[#yIVV;.4&)|<@&L)oh(̵.=45Ryh6Bot) 5IQKd A'@̳4y^ݧ䞃1{D ­Gn/(6tE}^ tƪ} 2@$hV,q93TXf_N\&6x_D_g`P׋hX뗬lY}1Q;sE0Nq@޳Q @q͝X"U;5+/ ]j_FnWڈ&-ɆxGuq玘2F'^7Jmƥ{(j0~AaJHi}96I4BEl_62Rs{p(PX:ICL+rnC]^ RrxS=A;4v]rs Ԥanju-7cD.;QcL<4'O ޽Ka[+R h\tQMkG)Ht|H_sLE<#l(LrZ +u%#pg1(MLȣ2'>|H7ܢ\Y>c ׆Hu6|yGj8T~F(KCelɣ? h޽d1Zƙ-5 Boho^ 8c7Kݔu]"vyy25JiS+ LوhpjgGP818%ѢwB%+H'.Q#ipX^GV\4 -,|J'|E[yjc$@Ļ2ӂ>\{ \ߣA槧* iG0W5KXcp2v*}1Y+M\eTfaJ!#;D*ȟͪè8:f*b!͠~PHWgWVnySfA!!2c>?B[}4@{N5uw+@/_Id4doC'!,\6t&q F2p0(xȅç:УqFaFh}1CunU&+gӲ)g/ՈȲD>(@ [l$}N L&>JfuIWtu1@Fdw ,p^4'e4lotd{ |ҾۚTVɹB3BvDy=Һi-CyP0Xd2¨f~`716Uk~L y#-ߐ K^X`j37~nIhlL_￀Nr՛BNB)|ݪ| ¸Ao!PK wBO oq͗c4TƎv2:?Ec/,OXe6 GGW$޴8a^V3\g =t-P8T=ط+?E'uSJ준Bq!?c iaR?!Mx޵Y$ Y_ղ(5/y̫ley=d16qF}NzhV *,R$|:eP0_oNT0[;bO3~S!1OQV!D!Ge S6ݨ޻x|;SaMa-fzO0Us6=}C]7p,ۓR7[̯z [7 Nb8?!UR#/Ĕϩz&qH`(?*Ɨwp鍈N寀7Tvw쾝B>}9`ͯ;q%F >~896#eAj~WX_GR9O~aeT 1oJXi>,E3揌]Xw/0kǾFĸD" ̶We[]7M0;ZTIs1Eu[|Hn b^nGl+߿`"yZ%"w<%i8v bHj@/A*9{hiIѝg~_b%eU>֎+1Pb7WCH6}6+`o;ij_;?o .]⥒i%<o2ѸM~s_d %; &Ҕs;sk7/jjEkD4hyScۑ?!b 4?7/Ș4=_ulBK"(jA"oyy G+eCl>^ۡgRۑNքg|Nfr3rMGx]u ry/C\N3O@^A_)v#Pu/WeVz 2m<+8W oc^:l˱Ǐ29{˅U tix-7Q .i!U,f͗6<3euuvSi3r*(ê@\'l7aJ婁T(l۹jGH-OGa)74cd*>t+#}I9eؠNX~+\N2ޛut`/fJqX Qը *8<I>d>ᨸ(PjڗG,ܱ!s+?j%26 \>Ok0[FlF>/ޛ`39 )M/^{ݢIo^7`cIL#-lrFgY2A8x%%BL&$O8B\v?e$j l3N-@Xil\V]L Ǘ|?&)Nl(׺qxFIflgOmyIy]5y6`H³<`_Y#eA;]lfh~YN/3@ '@DoClsQ&s1f&M.3IcnL=]>=:;SX9Blej\{ҋr?eF\שpϥ ZةY^b.X9} QF;v׌lF w&(ޔ g?ea?O>p|Ot66`䋹mk Fɋ̪hFD7(e J(y`bdDܪ3% DPs~EĦ[ sAޘAшɘof i U $VTVV/P:F2;{7m!hԭDZXGp#t[Ī1|^`X)Os[)l3CfAGa &F59Z4qL=-eYE$j_w/+r03SIJr*J੬K)u"yFCNΐj(ЅA3b|$%cBܯ|k=vȽH; dm` xt?6y5ֹ0ܿ ;J׸{;zMuExy:|:@6u'GƧ;}{yp+O'M!Vfɶ T3x! 8i=+8(=%\pcߞ/m]ojsP 3_c#"Z!X-e|8[g_CS*@;G ;yAZvar$G22YMsP(d_ëzj X+`W@}3,-R]\ =(Jő͉׏mI?>:̘5 qܚ49 =80]EqbEa(ѰAe'Ԃ5r_1MHcP^h2*uiZWMNk{r&w'¿ԡ+Z!9FVnfnkj8Db udOJ8ƻw#eA6l|ϛ@Sn5ϒJO;RTA_S?e$ܫʎSŸ_4s|Qu &SF-+qЮ) xS3Lq0~$Z/xB5ٕZvYipTgFͬ,щn?'eqV[eck;u|57ir1S.x" Lz un Z\[ld#7p9Y`we]JCI+VqYw5*,@\ ˸zh1Uϰ~3t .pL9mA>sMC_pb_gb;a>P&6cœ9OelIv(/c94\OH[#ZyJ&B}C27eVR+6UPGs$0diFz{V!Pc!.ӷpD` Æ*d0j$51őm^"H2p^tyFt@/J~g7,m.Q1c54>{hN]-.$}K~HjM["aƜ 4cw/aH7KclP5[2XWI@9Kuqzר_FG͎P A:Wو}Gw4A}p"_|"DdO5YA{Zm90STAeuǵ[8f?;(IZ5Bx ]hdg8lۛDZ*s@c}1\f4{mޓb6@"Nʔ[' 8ż9yg1.9^9V/ ڤ)4&rd6$S]'ӍRE m_=]1MXB-w'㙏Tm>Dd'cοMobx. yihrn"E *D'IycU3QsJy&\FYI6P4 ~S2sDX`v1O[=ɼ]e=w7EͲIBg7]9l#=~@&߽`o,zeT\2V>wn@;ʥeUU/Sf4!Hhu(o)N -T}hQ~yn;B ùAzֹRz %QfTbPח W^4qel).& pla.ls*eq6#9'/bPF)2ai~o. :YjicGPx,@ (^kd$@kF(`\Lr`Ȁ !]G^5KB<\opԱçI[F^_,( &sg|Lt*RQӂĊ;b$^B}9ӮI;g?]x`\oQa\]Q@S~n2XbV۟OobNN@ / '&`~Vucyj~J(ԳpqKp KD I#zQE$[ԡNx6j-gz-/"-BJuOL0$rԋa8,x5&Z"VƼEp3T#R%pd0g+]-{G E ,X~)alnG>&SZ2ZI0;x4-fHP>Qԑ)AkP8:-5kY$4\|ǭ-t LK#V^  ΌɝKISKMPl0`{dtL/HG `uL'Nνwt:gd5hJ@s!s(1nF\ZP-B`M.,7zukbp䱕$Id ]evP3Z&xT9%s7ZQ,~asj=6n3̐?l x_"؎.>ǷRL $Ǹ)<,GYI(Jɔھ lGrnz@wvţloJ(]\NL<'F!A#8)ٳ('|YK"Mjz~vz%KnǓ=D @81p'*_Jύ*(h?Q$텈=t'g+.{+{|O! _N["Db] yunk_e?Q]7Tw@"HϊP3QI} 8jܚ{D?^BvZـV[(=-ޅ i{(jDsFZO,o!C!o&Q+\f=-/s峲~8[QcpZ m+ѡ1bAO7ɕ 2~rqM6e Qڅ腮y" 9 W-Jr։&S@+t+d ;J>3/ {d0[BcCi6g*Ǿ|A2٢} Nk!bH4QZ^ܦ7)Zk|&FWSdM+ʯj46V@, R u=l8ht97Xyu7F }} M ƶNu|=[oWy]&?ZD( "n_ ׏:t|\ fV%IUhD?6sK\$‚1y+.oLq%q_-0Dj ]#›z:-umXt3lEY%j]ۯwGhԞ֕ޔh$3!`Z JUqAk(Z{ъ$K8-"rgbh(Oi×A# CHES5>| 4vma{ojvŠ|Lau_PA*Bʢ&un7SҴᜪX3qC1QK,C̨R¶.P#Œ~-}_ ׳8܅޿kȮC0J̺d)`aB"~]"˶Q~̝M.tSaTPPdo%&P'G~P$b??Cr~G}$$0eۯy=>jMcz`XIY*Cҙ?Gx"; ^?ȵݯKF)|mdؙPG֐RJ5et^ ڮ~M0csGÊ,w-\ԋ [n0@iD|Ⴆq./FLz 0Ǥ6T%VVS 1na( & !A0W$CER*φr8crB"* yQj34ɄV%rrP٠Nnd HȀސyи,SE!T%?\EDjBWR/iwד- rtp8"v,6N&A>;FދIGZjp6 N|P}0g&r?ǵ|VhG^Da0h\׫8HLCW ufx1|_4 "ZLDxV zw=fEA#uĮyկxz$Lf*"S%aq0b4 yVd྘!HMoݮRD~8zuµLZS8" -9H>"Ywks( QN %Ŋ-+>@qxXn/H ᒐqBx8X 0h1ܴI@#2fv60ެ<޿Eq/'1:,%c9pĵ ˏtpwۢ~ QJia)jdly}oɗXʭ  \囕S>˴*s,8kTnB!4Jkn~d;˓ !\gͷicf@B˝u=$jp0*GUZ}~bs.3xTZ7ڸMDFѯG.FL w=} ݡLGq} QOJ(*B+~d9w䡟_eG臉ߏ-*rp+8 XG7}BI!K\:nO{[y4S ף[-yfvx >U{bA;۝rC`8ıZ˭Z*9tvX .ޱhTp$d'H8p.ܠ[G}g_ARG;B>EV&Ӿp  h, NA7+jR~`U 's5 -yBv)s'k@qbKuJk@yE%ZNia7iuCPoz<ŧf޹M/qd\C96F47:! 6Q,~jOғNO[42᱔jGf=* O rnzBIl0yscO 5W EG^f:Du6a]nFT+nm%> {PdwzI~:9OSʠ[a+FՅ.c UoX rI=3UPz.VPADaѤeU;>YGDlku:h^1"w/^V:Gk5}7FԐ|q:x+?;`QkoɡUQ3Xʩ2O_KfM=hVeȡ;'ߴU`&`Tٕ̓*DMq괊_W v(YK%nǦZ;.vIYFn2ȾQs8RlFֈsDNk_,ݡxuZl,(_ CHlVV@8fn,م-VkPd *>%{WsD{`"Пǩ`2ݦOtH'0,GV8~͈OG /*#P SBqZxj%dLUii;BJBpSD &0Cvh'C*fҶz㺝.G8"nw<}m 4΋vd:1Ԛ[yEj[=}֢NL3G؋l\*%p,5$pʯ RgRYΏPJt/ݱ:Y츁jbJo:9 ;K;e( Gj2eWΗ(|c vYɵRa'PBG(a9u&_VJ lVQ'~{RT\W?ME VwZn,ZŎ`$~ߖ,}<8 #<YY,kΑdQB39~`e5XI` XRzƳ@BE~\rk6dRsEvn[؞7a Sy$nNf0@'| ODg5 e\i aʸS e]&[ 6e;I<@u2裪]1oB@ZnReJ SJhRr;8,G`.ۋy2l)0EW WKǬ ͺظ˖㋭5{$β~MC=p#-N,]еL`)m;]5ci1[R!mb0=g:Ԧm(&<$~jh8u(,X( ʽQ[ C8I%}H-\>2NY'9~ ˥|:NѪڒbK-On0PI.j-$!7V̷.+ǶGU+Np9V]߼Eb"qPLV]/_ps E[DDY!z=!e1K+Qem{R0FC3Imjfc̠P:}H[Otqiaw\@Uu!1>93Oզvʬ:ص м|-Ft"E]jp7YҴANw} ?BZqK^FoN s5-إ &LRV3׊G(2Lv=~%,JOaoX4@<%/Bßgs.*pȝ0ǣuuG!ѧ)mrvX63W~w֩}EMr8Mf)Zze5];k1mY90(Ȱ㝙ytMx0t+'AQn弽bC11 Ex< 6R. ƅ;mX !e&Fv~B(y<޻ -R fZ1 BdF+`3 dX_96M1̂v2(/ w sL 3pYenթStiL(,祶Sp%P{MײدM`*]z Ƈemم лm$I~QK.; nHhziOXiBOw0n͞~ Z 4= A=%H(tP}ltuS9 lBNnyکeˁ:yҘE&0\nvȠ ץDSe<핊t+Hþ.TP9V1!6!&ݸLPEl0hq?N3]wgR!jն,wAhD1AW7hAB8Wb;j }b*CѷV.$Sӌ?9dTCQ&؜4>'LSYcouI7`0~[=+Ȏaq}AF d9s.9uUEvXw\'zZ53Fe>eV7B>d-4ŸcC}$6O:LLF8 8a d5J %;#2@GK# S`&үKRfU|9]FiľP$#nQrd-%;MK_8NGMpL_z(/|k' p<).rblp2Ԙ"8=P4&kea-i76U {Ko#RCbl\ :.dv 2˜ [L׿nc뜿(n 6N]08?lZZD 8\6b<~ ڔ2 5WAu3&cnD6m^$}Řָw}Q5ěF(#ה `?(NU6wV@O~gp5z VcV fy*'$$X ťfY}Og,m UE`┬~D_ήNΌg0wDrɇY8btL@@<ĥҎ, PH!{U6hU']^y]Wq&o߹F &w҃ p :ea(:>R  37Dy.X-d]n*4v&wK(/`՝[qɯ{ x?kYÔ50}zL.JG1c8sIFۛ\r+j {dd)|^vƒY+yl\G Q"faǔ(J!\#B/!np0:!ԩe)Q29Z H  XFx[Tm^ PfXBtl'GR\9PkAV9Ϲ'yƀM'MDҐy}fR!7g"JH IO# *'F~V,[ySMhYm'\ zkO"4oφ*E!*,PɕZ-%$٩tWFo(jh~ۭݿN{ʝGbv&il,l,>.3+'4P[/%}m P`ő:֏_u!- łIݕRnR̼i9^2~eˇŀҎNDUn&Ϙ90e <󽔇G'GNdQ}"a~!P4%>i}b(( Yӊ3EB5qAњ ,|BaKWSYpۢ*&jXW%jVnۆbg7S6 Jݲw?qMo P 'tԽa,\N`6!qm ?j# p3đ r}%T%Ex%]|!W ؚԙ)i+_UDP%F^Ar5 ]zm: p7bh\?=g$;e Aq=C kZ{n3|nGN: eޡ6`yNH,c>*hf^/j"v\ZL:mZ>YI%N4Zo3CZIt>L2 ^/P@G8& b =1JVis/81&<'b#5NsNYZ#|➻M e1A9"g.Ѱ IbIW9>5*oOeR ps(F?PlZ؇HT0@fwZ[ U aeTOɰZiBW]CśƆhDŽg-fj Y{F!X8Fq` rڍH(\ڛ6Z1ŢW}C{HRaIYK- ̛_lASR 7H{52t0" .4~G݊<VCϒw><x7븰ԮNS_01o0|k;Ƀ- q4'hbc]{3w#kO1E0 ]'4ۦbA<[aD^a{{}o8"b6Ĺ}0d""HVm-ΉHҹ)O|$r?\.^48`B)KPU%ă|An@(츏 펻qG$zKд*Bju^ݵ!>r'61Ϟ=ĴY9jC-|O̾ENw&>>)nUX_M7Unw<d<"|k6ߐi tCXIuӆ؃Ix{o؄M(x]>aWy6UVcJ! ?T_JVW׻Eʑ4VQ;]pwԤrKA9[c&Do8p߰CV7#9h*Q(p+`>԰vU]k$c#KV5 (P)yOLe-WN__¥~G*a_g{!c^6viZ>ݡ?孩i^^fMN d:yNf v۱ګF9&R}~hO SM :=_ 혦,$7N>Z1HUV({%\p)J$7s;2diQU҆_C(P*a kI.9p%)2)Bс#iBA\,qwg5{n[A=7lxJ:a0>.ۣLWj}T3eAidF}VqF}Od\ ,σ7r&-@>X),UzfWVI oY( e=j%F6%L7Mz ϲEa)!(CKKn!!hR[^/6wo<^wXv_lYPws Q9~7Ȼ.bp&q^e| ޚEƞ5DmCBeP^H ZZcft y5Jnְ[pW"T9VS*٪Z54GrW"dey1:OA'TW/ ̛H^?wO~&_Waio&XSt5٩Q8ŦrѱgYZf9a8ea4c48d5216973565374d6d18fed8f0063575adbe048162ba6286850b02082ddf88083c0b4e5 3da023d1ea27c13a4bdc6e607859bcb230c86ecf 6f4460675270752c80c6d2cfd841a7dc84fde40c