SQLite format 3@ .C  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 =|\L ] HOL-Quickcheck_Benchmark:threads=6elapsed=289.094cpu=1370.080gc=77.9207zXZִF! ']ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBy$Es2*g F׳L9h[LpU/ BH}4Ln VM -g,L߁ƽq`c6\i~t q)ؖ w]گԨ[WT(ě:g%ٚ1,NǨ3Mg"NU^hYF_T TQx#Mpj(gc;P,umj"^UaW6 Nѽ; ?Mq/ ],L*NkZpImV`GDFeBhQâ xLZ dFdҟԓ{Œ#GmyfbZYɦcAn'JE!̄MW̷$h$DJ ;p^4xQ)gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0. b2G>mF e@WT `4Ƶ^MqTɺJ؏wVoo!)]BYQ}d ,tEeޔȯU,u8 RӐ<[~ 8@y1)KX/klrO)ٽ`LlM vG14e>kP1fWߏۖi2#Fqfݝm!]pgw:=|z13we~3OTJYaȎ9/|S[, 1Av¦-!ztXа<uniǤCuFȻUJF}#PgI>{'"wnN)L1M!ztbߒndI_9$-_EU&g0 \7D5*hU`Ճ(8;▓7QdQ#DIΥʰjㆋi2t3BmԸu F.)4^T>I\*=DZ[Vjυr B"RW& @09[ yacN0v= ۲P:DP7AnOh>WqW3[VMcfdU/R bq{2E)p?jz፽5,Zw`A%QaZ;R÷6qo@q"ci={c12C]489U :U(vBU}y ?D&Fohms"`(;!o^qhK2 pE4mn b^.'bjZ3z&:)3Q$÷|i[vƘdp]ȱ֜bvH \iFK*#&#dC .TcĿ=UfN-+c&@ m> 32 ʼtk }5o:' 5)b׋C7A#RN# WVF+0` l;L8Dpy BLz`m.\†ã N;7cƺoNݰc{hQ,W-5Ebu3;*g@dB+2]r hg{B͍ۋhc00(&kKCy@=B>>&!RC)I`ץ`ڮh6r\ֳ;ѤFtfU8W\eOrA(R(mK3zbtD Ck:ou<=BhW;gA!<63yn@.#K2f4Yoăn&`a*/:Xq jLȺ0!NcWv"Āhl۟xx*\Bd/WKSł8/'NQVuwq25ޯuShɍZ$N_` "w+9}vɷgC`R꙼9T.?<3ॻ|"hqYU8uK✏sJU|Tp|uI2LjF݌ҥ ݀CIuZVNaGwZX5k`ȷp53w)q;y Б9e l'!LL & qx=U4yBVzM.o@-*25@ +%:Re %&[̵&L!S-cxcsD_d`d[t5xs4('Z$C6~w',Q)9=p}TjП@:ujl\ڳG5ͬb`L[Xj\6-uhsy.nL靐AQEZMԫصbۇP$M~Cjӿ.ϒǸ -O2ޖh&-P ܣW~`}+eD_ Rh \ܵC JC@ŋ<E9>bWp|LbZ!DbΘI~l;I <:[%4i?W+Thifl”AIς g! = HOL-Quickcheck_Benchmark - = q DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.tex7zXZִF! $]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM6{;*a fZ.Ŋj_VƓ>-kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 -kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 +Fz,+ HK2-GF \K\/HuX$roL̮_ nHм<40GwZsG 96s"af]J~$~fɆJF:j-qJ^SLIu7}_7Bk7B$>$ET%E 2ω>=(HcC1w܋jzǟ`hR;/Z]N7 ]*N1Nme:t H ^R\K3}x"khwOhϬ4- ?o`.I[(Ug3w6̭msEv@InOZ'muqOlUݢ\|(,m k} UF'rǟ8j&LAtN$rq )G#˄pM7d !|_LʅT@ >zּm1I]-17CiM2U=S:Brd_cn)h1 zCXG|@A.ARۏo 7e/ˌ~vLdp)'LG'+i-Ym?*!Hʱ́>κlg߃f1d!BW(NJ:+n6h@mE4\rR%Q_{|K jwt7UmhAdO x9K"vzrwQCJD:4L$hp&S'4|ݬ|ĆV21_cZ?,VF%MUhob> DAhaf=m`玅qM?s-BpQwOǤ`#)'P~>'LF'÷iR]-ّsNg_D׷IT'"<B=(Gn1,s}OT6Dh8\&[}M3 ]۔JsֲGx䀉V2~[uFGHWPBi {=n'5qx"F9Q͑3;sC_7?QT5[oԦ9[D'9(XBHmz&[NMhP'%`4wOpINz."B_AV4t:F)F^ģo hvPf]1)m0TO LgChANXuyD]@VoQy7ޜ˵8<: pdϣ8WLQ8)FS9y"]^t&[l8~-'6e[b`*DIy=[/܅p+4p)GB $ zprwS?zبy31#,O 0Gx4yfRCI$D_; ̯w]@ #2ĐDKmX8ۡPaC|*{W>@[V̔N!>;T:FrDgYZ 44I =} dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.tex7zXZִF! X]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM=x=[:̸x`a,{|lj|я/:4U ]J CcK^~T`e 7ј@_mc]0U/C\ON7b[VtQ:غa}Z)v6oSUh!WWCR]Nf. n E d͇,1*p6h@q`TX~gih&*+#$|jz88ѬJ[KҾj*m:* i鸳شo"GZiNZnB̂J?eGW.SÃx㫵CL*/N̻[{m`'@"-`LЭ|O>(eHv-22NҹaՆaԲfۃx~ˇ;iߤK}9 KQD0A. I\ށΙl\ϋ$#cߠa?~x][Lv*^\9餆+T;TjG<8^ID5U&oubДQ_$~Kq% #_6Oyղlȅ0ؓ{|nF"n$})ӄQ9JH_.(h/F5 <_C* t i\TeyePٙwOl #Hzph\9Vk)I8bg׎vEHeP\Yrygmͬ¶bwSyLSQi ueϖJT@Rp I82aޯ/34{Z}ob;A&0 n6k/xĬfaʾL5*ݺRs-i(*!;+{fE&đ&G)>NCjܦ^WЖRb[hzkrvZT [r}k|cg)RߣPuIEȃPEhH, D dP3>:f!W-lsecN]A]G5H2of̶F{FWxO??eF~ocۡtfZ_m1 %ʼne) :?|0iqDj)y/u/WHX74J^AR+Dz!ޖRŽ[݀[zfHڸgFGMR]F>UkKc-˶p4y)a͈i0зL{ۈzBٌl}Qw ԚsZcb>݀#-\Yo7)6RWξx2Us^ޠUUUt}5i17#)*tq$HP пGzFJOVnnգq>Nf9xVT"gыBxYѸr49Kn{8xy-&+轀q9]MZxX"B=ewī-qjwn}7v? 1w8>G8.gYZ //N=kS DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.tex7zXZִF! ]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpMM#D 8L<2\䑧*@B-]o!qܖ'yUGhϸD1ڵ^)*$~Ao N3=_^}rwpScAl819J*U0UThQ[9c' x9K(cI4D0Ty[܅ MlS;=_𶥈e_´k/g%>.!A%נl>#~Hڃ]Y]=!Ӌ>75c7Lp?z@W=e, ׳me>K1Ǘp)ؘk]ݍMs(t!?jm2 P{h#T&2/Ixf^e"Ry02׌KTwQS}f|n H),*qðGlȆć-\̜uwWc1j{P4bp@_O+* 'Vr0?7;H<놿!nBo ICW0UcnpA|'eU/,+[ҏjFVqI L6_V٠Ai[>,  t'NkޙӚW/DS7Z9@LL$f_y1(u$>aF? ?QȄ#=x 13GҜi@$(yje;hN'vلRǹJʓ?%ѐȵg ܽe*Z#׃WX`y\ǩ%f=I6ԌE >;k$T!X?MD {̀A-k΢:#r`3qj94|?KF6d 4R2c920.Tu4jdM ,[{^2jjҤ^VFj~~Vs#aHh{)e.uvnGpU> `^"d͓>L9.qh QTlVs??xr;pe^(y8ׂ8 ͻm }/hXKA @Ě؂ڏtC%Sx'ܿ{^c7$n*Ь GOOԕ=I 3{' xlPGEZi4u Ii xEy8 &i_PCa|ta[eτ$j vkF]:e3v9ЉuRԣվ+v~†8r^Bx%T8\HLTv,i(W8MhDńo=j7YtzD`>heڴ 9q VN}QBv]b]5dM]aM($ɞn9oQ0C.HbLg!2q|0ac:sx>Bc/~jkx'աCnx8xYk*;y bY}%m+R$epA P,SI\p/CA!GIy3cup@An @f{Z#S/pwN^"]@`N#HsP3,D喩{e&/[F?L& KEhhoБSD<(q,}y+_od,~Vؠ7ic|c3=40Wm7F8f) ~h6יL[OؼNW5)ZV|H*Dt @$4 4c7k-<䃬ء x|^MkSJæ X 9ȢDًX2 FWMi/tKxd,R EMp)W".0+WQ*g%h1yrں(PueQ٩Q'e[i~K<~ !v:BRrKW-|fe,i4CZq|\ŕKr![ Eo3+90|Wxa9l^6(c1|{%\=6k }׭qlOlm-$ " U#zC璖6p_+s*ŠޣKMKt1{ `!dcLWр%$d@z.)Hoȉʌ S(&;||?ţBAe-+$m$W ^{Dl+MvUzQ[*b r-9v,+1eθg!y .\g Sިݾ {p_R1_zk ʙ:ke;VBF)%}<#Sa$ض+2-K ӓ/Kdw8w,BN _ ҂Yc;SM?POS@#z8UΧ _b(QRY?~Y_(OE&Ovs~6=_ G'FE|AjzA4uED=e .0nݚ04ΚG)}\=OȆaP#vWPD[؟K=.,F㐹bҺ t阼G*s0㈢/UcF Y:%&F{\3,6zּKC!j;Z"=b*3zi7RVվJ9a sMwX\Ш.X:̔ReNQ;lZ{#  +c0 Ҽg^xr$Jɱh54c0fIZgs2Jp5%O `ƒ!(Z8h+Z .h6P,>~N6~3-Na-MHNoԺ鐌vW pkۿ ɹIHa'*Zy]%ш8 ݣ:LHKZ,RV3vPC.Y~iu;g :I{Wy˯"P*%wD2 (GF9/pv4z٩ȕ yo{Oy~FBf"vפ(߽:D7B%2|Kwm59ˮ>.t@x9t x[kPΑ'd8Cx0^DZ&yh. {A"YshP 8K_7NHXMb_&N<2:j1I;*pzTI6#]$>,TpM5! l]y7څMGM$ ~+Q\,9nz㧘wFwW*:+d*e=΋a̺<y]; W}Ɨ׹ 8?OBE!17bUsȉzq[p띯 a l'5ʮ;/M91ڑ@~@r #|gҖqwK!~mc.|sbg{DО!)fa`,Ɗ!.mW=eCS]6k+Y:4)2t*:: hzc9[eOޜ_eU͘ZjχIg: Mmέ" kx3jSa?gФ6rg<R nojxof1gLtqkO)gD`Ag⿹G+ A({aifKtn0m/,(bcDU1N3 dG#6$_C S웾LG1l9js $x@|;~ۥTʫq;k b-dnؤT@'_SO1OazNJ>!1_;w(@;0wPG%DTq4bYyWQ[PPn8ٵF)x9s KqՂ[4h$q i"$=y:ZBu8nu=5]IO'gYE&aM &Jަr; 2=s%>:(u g%Ild"c.ݐ:JE?t8Ƿx >iZ,`Hw13-$FUdNg^mGL#篪1ߗ a\ VP-L\_EVݩϪ=1iݤ@G}n, 肥 nuv־}LQb|yͱ iKjl?bR+ K҉`9nts J|zSg^֟`jiqkVBBLvV x_/+QzI~zotfmcJ+yHw.ۛBzՙ;^XpmpuAv  D~[e]k_F7 Ż!F 7( oRMBW8Q-R`pϥkk"0^*#(߫‚f ׾:lrkISӄl 6ޞ @Ij,&)fT;9ʁ\hF slf߶3@-@ܒ s]OUoI/f֐ތgKGFעt2ZEuä|F\8i']@E Z'_4ԟ H d֙XxXv IK0y b}JSf<{E)T%W6B^LTwi1FդPŭ6/C9?樂VSf0&$W8G҆´L^zfNʱu7c$E&Z?te塚ۓx̆P<aJYL+A2#b+CL?7HePǦg͝I 3m= .ԐK|tTS`iDY8mNqn G9-[R4n\.Zmb#Q2lGգE87o*WNE;fbJ; dۂN :nrn4vf5oqe.?8 ?DN3X'Hpd}1bk)N"ra+4)?ڢu\ϭ G~V\U Z 'Jw)gC3^z׏f-i2F2<Ss. A5dw_ -XtfēGfRw'1bvCoUNڟ]\4ɷ[fݴ^x[[`LUb3#(3 0SuZ8*?[yx%A!wT #ɰV^v3BY}82YVT۷LV(/ӐnQWi oZ[\:88T <}"G2pcQ}RXΜmy+cu=E}(^Fw/X"\_8+ZyUnWZ]\́?Jy ??8R` <ٮhm OIiBg}VVeN%HQ;+ {_^$[K~د`GY')HMJhcg)tZ@`#ƻI*휤 xMmgs%pz~CEO78  vӨAb(3k{ ͅ> iIw׫o\r>TbIzviS[*;]~cN~rrR&+gҀ&KX"@.{9f};\^6MLliK1c:aED7uO Kg1 U<8D)[9$ͦNl푰m_4[ h / >; FM#O&OcC;nM;cZ-붒O,81s_V͍BHq Z>\[{vI1aOp6$ 5AuXf4(CmvWj$Q`U21Izz*/+&'|QSC.D0^DjV_,G% ,PlM8Fwz9-/ZMԂ:N]`hX]19蚤߈g[_Id_W73XljdcYfJzKJT=jEBDr9iu@zTP^Kw|G xe&!/kaP<ݶuqagmO/CȮ)N &Fg"_qPuU,jh 7,Q\txF R*:`KNJ9~<^/+ Yd/e\g) bl2מ|'2?+CraX"ș Bvo8TEF'3Upt~&'8[7] *<+Wj +Z(h'\=1~>@#bqXKo!e|P%݄8hZ\ys|#uU~h0%vfX/j[bA>,9"*ҵE[HK^f2{T-!\8;1o0:e|'| Gw490i.<Z!)6'6>bij0QϛREh/sjFS< / ]'X/bTA>Hm_ғYSp!RmD&R?6'2"/Oic"ۇ['K3>sϗގM95*mOC0b _Ww}9BCvR| .<5 /5.15J.xpA鳊 [J1W_5yr@r,D 0QY%q"r$DM!J e= k~QH)~dѱQ}>hm6P|d aF:3Ԯ@V|`*pO<&̔qs˂p--WG ºC$rh@=+>* e 72:i?+,Ʈ 8[#n3R|RB\7GNNģJO BfĄn`A]$&uL`4u|?!IH-&C%;T|_d`a[|x/gl|Kֈa&0\à݅J馇}M$4<#3܆:F%;z;4u" <-L-#BQ 嚆؄ʦ`yBZ){NO)JoXm[v$Dib~ Iͅ 4n7 yF,I qe.Awj$0hq^8.B,uϝVC|0&ݨpcn8QFFň@SW~Ɂ"JXL}aO', !2oA!Pz0+{Y,̭2cX:ot68ҷAuD8֧dq,fb(6xM=c}3Ґ 4'}zCrTĀ]f)#󐵃YL@LyZ 2y0e4C[KZW=YzG e`n7ȁ.BcGsY2kBj#f1<b^߃nfW|zh.5#;*k2ʾ~ лBO#s?犏XEG#S?A?FJq0P_]"Tc}f\C֩j:^9< LbFW{RR ?U30$fh>/x7$e1S*"4cؗJz`l>1#D!_'fi? 90'A07f^xyJXW>;G% lXؑpK-<h1EQV!:Db1okNIbW9)Ý^~RtQmgS4q%l2S6MT&ƀSQw]} * /7bPf>Jb.uA8)ow(rdۆh"~87#ޤ<M ޢDqj sMedv<Z?H~qUV+ZE7rԝ -?Y1BĉL QsvrLrYB'W-m XM B&{ةSmJ51RI-d|p-nsP­bw^yd1"ni f }a|ba^b"26`&7g'3W,x]S2 A6z$ LlƋQĹV"E,4q鸾y'*#fwDd9~0'C)2|=D:;LZ&wUv em!ْdT"(;\x,WQ&&JHw!H1-DD'k3ʃ@ ICo`ZX;F\.hU j>0\o%\\ J2CN7|q-'U,8$yzC Bx&G6l8W&ce$$ ECqoFR=> j}J8{:Jz ?^#ɳQ -,p5}^M vOrV E8,PHFXI7뉺۞rXyb}!=aGg{=BEQxDeɋ*R-h>7,ث5xxYف+<<ZD0MEψt.[,t֫⑑y?=ˆhڗY H1&K07|1z&(no: E[}g O5_S)n{ }-03pF/x$JMZ@&,O4cc4:-Akyyaw;u"\ 4Jw |;ٲ:n^Fo8Ս~| oiP?|.sǚ&Rh'U/b<ʈ#vs=D<3+bNb٨sEu5X D"Ih䥞6ahGZHl1H' U_ѥyoR R>2'8e^],B٫םQT3txpL&$}'=F@4#WO?z'ч"<`K!"5~6 O.sYahjS]9Ѯ6|?IZ0+^rw.Q V^,m5I.Dexk@քG p3Hw<71؉Gkp|x?wp8gpoxX:[L{:YsKuuOͺp+ mݤt!cvk"K(,=ɷ[DniSҐfhLF~E5пyI4rQ-hu*y #1žs)]vLdNص~)R unF3-Eo>}\v6fLjDpD~+NKVrR`^+U(#O%N쑡%6P A4~GZzSGZOD T f±1-]ܬvvK'Z"9ŽE:StKزap/L=Dc"6%_u~eԒץtp5|EKn(| iؗ5vJ;E⿙C1$;XC ~Fx^KIw-f\ 曫p& ța8mo{N I=R#Ȳ )0(( =trk~\:gWq9ޚ;.D'h:F囷gcl|Z¥?ot~(M#G*A! nraN LvRWUWqNd"0PgӏnbtAZny BJyu#hqڲ6r0Z]r. 1t1Ҕe656 ;h9a[ppEbߕJ={C=awYZ]([XrNI.4D{i7g{ :Di Sv9ĕ< +!{IGӋʛZ 2[O%y5^]B>Pc@ iߣ$p{4QZ׊*RI,EW_Pck+cjhfaȼQ8M:ic& ~),N䕕N\N4LT0~q5$UWCR%"V/Oo A~5ya_H)q"'-'yRY;=j"=0rSy5i}HI9Гbi25xC/ TBŘ$ @| hr "/@םj OLOXsCd&*59ͬ2;e8۰.Bf`k\$ ,$EJD`Vj` hZ_N%CKo%ر}:كHߏ59ұpؽ +a=t^#"bm C\/D3b!I(%%jѫ9$U}_h'xeSɺ&~%>b::Ý3"P#w+xt`h ږ8bR_"&^V| cݫ/jXٕЦu5%Mx*OiƜ;W!# 6+$rƤ+Q> '7lj DZ{W ʨwӌ4HDp /|={Γ(Q8 }j&I (0's.Yj 1Z`*_zX<(8B_Ѣ\&]@hJfP9oifS҆HhjJC:=|D"A /]ْ"sͳ iީ;`Z.40 Sټ*ڥj{"􄍄z/)AOD>nk hB\WC3M1ħJޭ;fphg OjIg&dyeH6j&P) Y)OI\hlSj@N%'`iAggN&gHb1 0$Y}{#%"dmҒC;"_v-zĂ ˝i"\ \RMHڴd{x,=?l 0*Be<-C ~W1s$2y֥0%#xND[ b~>* ǹ$@*7Uh$2Mz+]nx$:dY8N'֠ؗ,Hj{/XMPP&mݼ#Kaoˇ_تm!ﲚTECqlڥň.}h'ѫ[?JvRw> 8fTUڡ[4Hݍ*$t{gQ GvW-<]>7n#U/p# n:rIܧ7`kngˉ5 BW ;(֒[C)cw lzfUiqsvxRΌ(ehnRot 7- HK72Dww|/T" ClߦT+#$L˚[LxMdfv_sWJ0f05]*ϔzm hG֟Sq*SipԽ|޳ɾ<} *Nv⩗ 6;AtL|-T/r2 LiW0.O$8Ï6E$-5\# TKL9|hF &K kB8ur5ilp>SP S)O꨼'77iSS>.Xɘzihö*22{v2b=xiDd)ws][81Sa]'Bm$BH8cyvPO>rgN׀Hdꇶ=Nc?W¾#P" e xb|Pj*yqi Aˁ1yd(sЎ(KCC٠O؂ ) to&)<4iۦN9R)h6i;.|tEܞP6Sb +uI1c,YxpoRf1WL0k g[ΜoSz ` "=?~u_Bq5-a̷5ipz3eGtB-#/?F.o^29^_cSf0CJJ%nMx4Gض>ټ(G;m,i 2TAfGSB!bm/y8Ji*+_6DG#TWk w*xb+g+֝W}0'#Ho?Ȍ@lhyeJAA,ۚ;¥}V³d dۄ.jDr_0$7D:u/OGJ>w=sĻBP56?8-$FI3g3Ew"~Zm)HcWqg4qjkauhʦz[j@lAVmY[&:9o'+_# AK}%٫T>b2ӅPEK7/bS>f<{7hj4Ḥy0'3oЦm BrެW 0. =5+57NSN_7&#_Tg;~z4;[M'P=O\GUB̑s' |T U.;; w1h:r)5j<6 z^]g fbW5@eِ#z>OBs:䠎s=*/h*LJut1"}ؖAL"_ɻZ&&`5[#tF%DPQ΅|4=Bere0go4n$;<!%T̐ կfG?2I(ÆwyP֬n*GYd J Ee)?MY0rI%7:xd7`v@lh\`ȏ)eNf-S-0:Q s P 'ƴ+cqD Woц_ia ^ "9f](t=d #~]3nYf#ɲuB.6$IZdw_l$:,GWuOn%,ؽ`I_H$jyu<HS_/ /:9ېoY)(;ْ)-KFȯoLJTV"&?T{em&EgPHR}`Pf $`jsouZ\'AӠzx> `$Up¯'=bg5~bWW t8z~>v4har$uM:>2}eL%5}ࢆ ݣ "$+Յۏ sc@+ԍge#SUFw%Ӟ*{"~g⮎?3-ߝL<׳w#.tƤ_Ȗ[0F8Ƭ/nՅ=Rf^2WUZӼYTS;frviٶis8z-&W!PY&ynM %C$!!/% @F%d!swl27>%Bn@dDG:(-j!N3(*Lo\wФ.E+ηkh5e: nj5nlfU5.5_=us'̥!JiE=i2]=K"b3PPא{e~9%"'0Ϟ<$4S0態靜A{  vY t^SSbݮ)H[ɇY\Y4/lCUs6F2II-2vUZE;b"a>fNq$K U^ҼLeϏuBiw\1h3a.}A }?ʚ?]Q跉 $&)Qd|hn pwP9B#[  -*^UL|\-۴7v^xIrwB.#R ?öʜ, ï"@V3#?UwaDm1wvwϮ2zn]L@J2V?bٵ#f gY"Թߪ%(ܞf>ӈ T/^9$0R3gTكژpz,3phDNN`kea7R[~=Ϻ}bCb'W#I^rQ$VBG,i^;O|fَer0=!}=adV@ĝH.JL+V9҆!\ݻt7H|2(R ;{`T0`![7jDc<Rt)gVX'Z|N<]æ\DidK ?R@spO$={U-/C,|O 4LΟz~ '4n+_[ot4Hc؇$X.ªn* ]3Ӡg%Ů^|΋8f:1ѝvL~FP(@dI%əV9P;)vPHOlFLQϛ'mi]+zf-i@5Q⑖^Qj0lZR|=Ӊ~Ս>FJ]Y1*2)|-y!<]kwA*ʚ(#:ycῆǹ*rh ޙl],w c&  3fs#:HșY܁ }XW#%3T;tAZL )ef4*|d5>ʼ-EFiP5Tق#V@DLo3{Uyӯ z=vQ[ $7|(k&S)PnH3(["lU ;1ȮG_gHgƆCȊ=4{n+Ck Y}"{s!LUv3eP:VWʧh\)(N̸V72D rG+e@U1Q;7Me/mwnag\XQ @:Ks2]S]^d "-UɸvtٖS:siM [aZ.Y %rC5Ki]I=gw)VV ~Ӊ\ zڗc Nmt4uh/J`KΉFVp۝yv9pCZL੃W[ҟqI': &&s5Kګ'/A)0?=3UlT k`t{Lpfq+"1&gKMVFT ǑIðڸL_aO/@RC ;*}e`FajO%!s;:L3hVFf3$^M^"E]H=GV+GoP*Q\~|S[5dEJb4~0Ǖ3nLk9G' > ͇9h"ѣ[E?>ViZl&4d|;k: 2. L> nG ^&4^WQ ~~'F3ٚ)b*?w0  !?=TzG0rx6 QX 1wBá⟫xiu4>k@SɃ\XA/%3鲆3yW~]]Qu?:f@R:Pj=A?S;w5=|5$אVvq`G'{E?4WLEP(_zŏ j$, gu~+b,GIo Վpne=!j/xxE$]ihu rv]d!l?zМxUE2夆h389>%Iģ3g0W) %adXCɘ73䕉9!8 1W1|0Z~g`HOK#N=4UH!BcT9,V輍(xWp%=KxiQ [x)__ *;c#ʹ/BZ UwB_% i h m]dslj * >FDET4qH aZԈ:?Lk9Rr)YJ1ur^2K[b0G!^j7ShGUf [H:Ts V!>yc2zrY ?C,;NXC\ խ˝MT"f9S płQ2OqȀ vsF$/S8v7ҡ \K,䝣ԌՀە1Rid.QIJrm6:uh|Ϊҋ|kz9'k>MXJ|m0d3KpԍIVcNZ~y-٣KVf_BiP٦0uM$:>v"&8ɘ;ߌ\:y.e|a(Kk|QA{+vGQcRCR/#qhE}q& m`3  (鯯sCpA%Y nU,Q2@Y׻m_7M zA^ɇ 8G\f]{yhfn2S>R4HY'*0%U/ Nuɓ8 6ê>f1J UX+/Sh)L L@XdN@scKqx]H5suehT \;b}8S?[)-/tiA;rUSa=84+4@􇅪k#eAz~nU@bsSKhh*斄\T֣"($.x,B-Zb'ӮqaI 6ҕA' f8goA ]-28}쾦ymSј,7[j L$S3ۀ1> nnZV(6g=bN̘G7lcIvsb4fԡ&a0GV8bLm<|2PxBHGpr*V)2hřtc6>. 8T zV4Й1gDF{(w$+}Nn S/c#i kn>L 4~Uxza?zyb:,' V3 25ɗɭZ4ڭ9^Mzp0lV}KsihygQ%LՓCSA|:&@C HZ}91 pi\2STobK_RdQ)t!ƊvH@~I[MZ7:>JSSk~YXY$BvY-T]eb4d5r>&{Y@BmgNdBxA]Qqboj2MFgL/Hq*;~ ˅1o?>Uc>ܸ^LVųp#8YOٖ@寿z]w#j8?se*֝obl^)9*D-ЂG~20(:#~M*JB0v΍_Va&4bΪyz -d "G8/Lb;CKyhr^.+OG`u H>vx2g`lC y}n6i{/[<6-Rd>_tl(>Ƕ)$uݮ]ln L4%˱μr3~ k(a +1=QNG)ۜz vK3; *r:UBU@HDd6KG SԕƝ^©vG~:7O:MfDÜ ʲ.#8l2h6fx M pn;KN..ϵg+uQ1$&덑}FP8LOiWU߂den=WznͨYN Zn7lPX֜;eJ3.~MHx1 ļ'7>%tDхw|g<'~N;lGZoto֠7 QVJ56eɹ5=G.?nW/C_TZsKQz$GAB|G!7Z[GDs< D1)M/4}= N^w/%1JJshzEhfw9DT);AC Uӹ#r)xʊIg%4U 4=,;R{k"ϧ D8zꦦ YX4 W 6bt‘~1"~7/츔# Ϸ%g(2CH;Hs3v#Caʑ\3%)BK xS9 6Iq1ˎ`E>!P=p|r"JrF*]պ$?`l}lZ~OC?Q79RdžLKiP X@_9;8Qj&s4΂tȺTezUYY c(CoE[4k9fe}5ߙ ҺtXTýS鑦EҌ-PjrvܘnI:s6r#dUG/1rpH"%>oһI/ZD!NtS f> JP(n%ρM!`:U:F3}dhEE X