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 mms=|T ] HOL-Quickcheck_Benchmark:threads=6elapsed=289.838cpu=1385.592gc=77.8487zXZִF! #]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[ěؕz5-k9  ^PD,W*QM@g᭐W$uX}rRq|7%/T>1b(]4˯J Ǣ1O&vv^|Wo}_i D+v8TiM_=֤"<Ң 7`%{HM[ %;W* tqrjH9@=G5Vwa_]#Qz}4 w ٲKb`EN=mrc}ϝ¯<=0[|lb7ZLHg7jw-N Gj'y 6+#{0tGO{WR:iOeg\y#JHpls;ۏ#8A_0;B"lS*ԩ!(zi޺YxS·I+OoeW`Jb(gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0a|9i$glQ4& y:~#,8E]ş$[ \=҆;5BQD[jb x:%-Tݜ XΓN*vD933gtfẕgYZ7zXZִF! g]ŗXi%L=b BډvҐ2Pcr5s^tb)}`2_aGsLjH C4r<\ĝOrٹs5E+Rw1S \=)8)@ *`\:rݮQ4gA)u-T{_DuH:t>Z)H Sacoz`j^;[X["ˬKsʈèiѮxnUigCO6o|HX϶ֆE,/܅Ψdt^wQ`7@B)X~N^7&;n6^K^%N؋qMNdmֵiOax0fTSQq='$5h|lzM'6&rcgQDLwB]yWfsJe`d(?z`>M_Jqd͈QiRZC-Tئxm:9fP hIfaPiǏ$Կ S6},Qp8%eW m>ր*~0D>b\/G5bϖFn1eߖy1C7xώ}u,[hܓCs1Oóc`d}?zmĪw;q8x 9Fw c2P1ԗSܢ?[3&b!rU?c]{ q cVryPfS-!eFYOkx)ZD(3نZ`g;킺am:% QR1ӻ?hYFKd ! ZwxT_pSJ'BZ$6l;OC嶕*&h5II_Rgz|mM4~<_֕Jx|K+V{Y!JTw\6\do ;6ou\(ʼn| ~kcJJ6R;JT21hkYV6qPgYJ^V+\5I8dT f OV0 p\n%ԺIx˽@;jMèA>~yOJfZ]j:ƃgT<%}HjaǷ^*JdR`_W+qv[ 2X)a6j14]}{ô7E:[s<60:7Z6E`-@t0#tE^ IJx *!1PzPFXp8 DsgoEωA5f}'+pс|b|e#͍BkB=vyE1A4dkxAX.smCob!ϗA' | ] XMǃMKVQyNϣD6SQ~vUQSbP6:]T}Ce[=83%W&|6 eې{e4y͝n*$aW?MѓE5e.pKHMVfn>h[eGIʮ Tᚬ37/S>UB)kϼ^pw4ULppjPZ_X !&M{QI~2W{~.Zv5eܠa斕MpE*L!@Q] i} `|z@ &=H4J9+հ? 3sjpYjKc_2ý8KOPWM|u[ rTiG4pBu|UuHrKk&H$0ݶn!Hd,[((Ó ktA`Y7-R2,ݻ;fqK/.E0sVͫ돫4o{кJ?Reb];_?#Yc=;K?TCxrrGfys+hZ QW05RdJ:TQNb@hBt1_3@, = 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פ(߽gem;Z *7>-dO  xA']4kH R{Ar;ޝ=Xb`> ΧKW9 N;|qWIC0"1ޓnآd;*r:_oYk((f߲9}Vz~!{u%v5_#Pfy_@ǒ?#} tHtoonn{IN QBHQowL(9 riJg)H)pKd詖@<1,4Fk/';b3s wr>r-[aRAJ˟;,R~H0-,QD6Ӂ3AT}$;,SX zŖ)/߇*_ 46!BbL؅#twƙ9y2v }XqСޅ4̜JQm,w2hz/؋)+Meϙc,o7)6"EI-n<)BS^y'!Kjir^VıMX<p=Iҽ]񝣺0Pn/xTsD'aEvS[oeڸvjӇuwG 5nX.:$d<eO=btshk_Dhďfr!Yk{ހ;(@EqVj uYouU]v)_3O|r}[9)Ss;; 1(8ͻ %q`/%Lhz $aO4S}{9ْ*ʻIrreLoRf)A堌*pui;c=Wb,LT>F.Z_0t*xB-;PzI߶7 ϲ`b vyM[G ԗ#^X,)85sȭÛY)yvFJݞ*/c}O("#hu?:N45S6mwvL";S]l]KƌwgRz# ;簔2IEAEAl_r"# ~6!tBU慏-!Bqj+ًh"P_ њXxLzV ]]4 Eבr|~/eA; Ы!=TZ 06[xRxUr4is0\LJ̚Yo ~f-L3}ϫ 2u=bX=Bĵy6(,A0vQUWd^9fԗr P:Tk$ND$xC(DebIδiRxxIb'qe Asr˕R@ss\rt% \wOz(}Ԫ*Zs1+%.0:EC\te0"+3U\70OjgԶ8Ep* okvUY+/O}M{|?]a_?xF 4A)=(wv esX7pH%0YVŋң&#?m~VhQ,6jt=FgsK4O7_+mjan|.j%Oiv3jU/@@.]h09P; wl GY2 RI'=J(LC#fv CaG/ c?I H/].Ŗ:="|DzSpr:ʤQ|4~In Yڕ,پJ aῨM~+pLM-'W襄&b=pa匯EYά_D70Zlؤɢ(TIz,6bkk]fR5r$q`86 ],X] _@AOu)Y Ҵv10bJYnoƐ6/Oxqc &W7-MO%fqTT|hF*/Uj񒑦@| 9J#',>Ʌ9m9ivuю95  ijW qd4|!>TH 6Htw+ xTI(|[VTD r "ROIJc6E#U҆r^o\o {3|37oA!Vq7A$LibWxHiBT,i6H&Fۺe[9K+ͯS밄ByZMS\۷PՠrPؗ'XH_A_|o9fW=GMY,?d%'akuig.1fv\i݃X?#ǥYe4y ΉXN"ȱ뷡/2Tlr.x3};yce{bMV{qٯ^޲YkaKG!3% ݥvIzcr.-_=3P 4/Ptit]f87l SR S@9im0+% V6 ͋:d<,}L#ɢ=u*$_{Vos-ѾT,CW.+>'HK\\Prm]2usjyXnv ?Hr5@^6h_yzWGcD+c#lAK-ޱ)H?J[jV"1(/uMOMZW]C)MKhbxƈ;4jPIPr50Io۳#?.&vnGWP@< ܴZx٥#jRE~/Qc{Ɂ4Un\"^D qN"ʒN /'o ^'V>&y ײHt56uA%3,&Y(=>p n!L4.G͠C]B<R~y ԙRMݩ݌1u>*C4=$6M~ ,nY|PtAqj] m͉}nX󡳮D@X>&[L6k=lPu/0`D!ab!NIx@uyX}.GzYu}|ͦn`fՂ^FIYq %,Sirq5𦒈%.Ѱqg'o!=5tیtab' b߼& &NYZ.;K݅6ݱ%YFO E0V  S w m-]V:]|NکU܆WoI=wmЅ1ťo'?]5O j-#lڭ5yIDae 2WAR&<ޫpgm:% u?\}kpS ce>_dMðWűD䂵8Pe's5.z.g׸fwFk\(Fr7}!ou3on'~`D\q|X^N$n;Vr׃Oȥ]$< YgM%ixY)TvM[d~ծQ>kR5o5pIoC\yh#J?[TP jYu\o[o_H"^ ݮb%4)[ȈviC~zWAwe"Zұ)6d/'-MW _юJA3B#@K-J,Žu^ f:!>{qͥ?$DТnG t#ʑ [&8oS?pkzPIq@j.f1`4k.m`N1fE=J{5TX/]/MX@iwϰQ}r< sRq⩠(kq3w V>b?y`0,Պ-uzOTUh{/eX4Ƿ`i[__*{5N)bFeTI;kvi~~X#3d@(|ն Mѭ QP V^gpxA1ozi OEUȊL설#@.ˢPwwUėi='`;W<4 4)uxٴmO]>Ʃؔʜ!ziQLh1t:Ԇ=֣ܮJgg13D/Z ;PJCI' D[H~ і =!PaxI˧ntTbIx=XMt &7DEf$DtOI$ҙLf褹fU¨o_sewnxl(ɯ<7Y|!n]6ۋ35ȏ`f*8HWA?H4n:DU(O(]$4Y1gx 9 7yýxaP"c~L;ˌھݸ+RiaJG)=䄠S@⓽M(߻V[ʮeϘQs%FMCft/Э;ć"wY7?ۨ~R?8{":RInE9v2/~6L@?qY^Jā@tXk:`5!y RouSQޗX|"8N׏p,Ƽ(}soY򲺑4~}O 2 }wM 9s`o]y\Okےg*eeJ^ >fnyO´JqN-+W/ 9Ţ`\ ؎PŵE#I?G+lp4{4mPv[zx=Dv+Q:58Ŝ?%ܾ_vC+!}3/N$V\-tg0_P'IOt8`X߮/} zīGZXL(FG_#J@'@$t_2xgK53@s JY wFR_~$^@wX C(Xma,8) (\ޗ;<^C])?}c iImSۃ|"^= wZ^lhu(f=8ͣNL xX2g O6lmIXA((jHRs5"3τ>&# iR߻ )>90T]Qzꋈg-*5"Z 0b,u N4qSm|BrsD}{ /a{iy&Y=-W[CS^T5HqlcV쟻"B2G}jL1~guP|=pV TLNw crpų4QI}Sp8N.DٸO^KA vfp]d]дrT*M:+`5Ӷ# gP^ȣS<ɐaZh&r{Hr馚iשb\ohG(ЃQ?-(8k xڻMP?͚@O4C=%ɾ]I`&J- (^dNEf4(I(_?A^:k 0+WJFEQ-q&KPߡQE)n]F殮aRұ`Ԛt9'a$csZFAJ`ŝL9X(Ã<\m&>]< ׳).wSer+ s:AsUdjhdNbEo+!)OſH'/6*pp؀^%MBf>|h^8]'9캟[evh-SMdžD)iS[セEæw~9P3u3񒿞Iˀ^8EzCȽȂ= $}/׀7wgޛx1֝V0/M(}ĸ6{mށ8fr]=mc7OGP +; :0IiFhU1eH,`9ܔgY_;YDk*ure'H A ܥ8cf,aɣgq#T0zTpnӮ{?q5|W9b(>s/s ^.yrTOȖ+$u&\R [EeZ*"z /ϝ=ཝi{}ջ:DPY3 ”)f̚ޕi2%g'WzJع>hS$l E 6`Om8ivߺS2=mӛ~CRZm·b yej[SWlyE7y LgT)6*kڦ.,6Bv焴Bjzi:mWoő[:Q?jAzwAGcݢ3ƻWLJ/H>w)v#g̬xDVD~RBI+S^MnY+j9$ /Fܸ$$)ptC aLY,juQ;*&9kX2ݐpީfP^~| )85Ԩȿ&/#UJF?v#kБTmQw%^Ե;g˲(g0@9U;sSƏ&JDRGjk| e-U#WyMdiDŠ)r:ZEE x>f\GŎ\-쪁k,T󗴄,l|ŸGaO}nX;G|S-NWuyC/cFM]C1w]ܸ wLg9I惄.mnJ̟*bKk\/)].{2 S?C'#>8* qR.]xrJġ)^>b4j2E7ԺOT[@ `V?\ ~ƽ j0?JÓt[pH :UFGqw9XHGc(uXKdU:0TVJar@o"s3t-|f>_fgi 9e7{%`3q2oe%y}h߆B<C`]D~?΄VR1."ţWQ@dWEaTR-z-yz/X@Liyu?_8HLHY\HWYr%ќMgj6&.Aێ,# [wQ/=BAIQ#qF9~DDC?h)_'`Ć6cXěXϡ[ tҘӤE3}<ł]d#IS"yr,N^'}n*X%a뀉nqWߡk)Wˀ(xOϩ0` 0{$ ׯy#=}_=l蘶'QhD<:x4 q|hY[(W5Ey-0V:`ooGU8(^\]\Odh˩bV_2SI bn`Ŧ]+דÓotD7s MvxrAJO(D:l=E68mkkv`Z j_2!lwϳ|0[ٚKh؜4ej1ہGmuxh7cGJ\L$XE%Dgk V4KB?7WHfjqfv,<iWIm=$2!HB|+vkm(j:]9Y޼t?XQ%"C)q;S%Tޞxrr" ۞|nVϘ<3-.R@YP/=`6Z8qлE;QҖ 1K֤J`"6crV%<͜HF3Yty@C2uajBG?hŨ3oᔉ8 ato|j-X{UcdHV>QUb@sEŧq,jD r5ECt/N`@ʜei^O}M[n5O'4L >*\ЯQS؊Uf]\pn TP]ؙ}s DTj yUًlq@P9*{a^}cYU=@ d<ΌjɊB溡W࿇8%~XDPQ3e@VDeW-/ڡ7 lC$i7ޚُ$w_Wg&Kn}*{׭H?sޙ-*;v\ZZ{ 5Q)8`#\ '`&Rs}mOZT'ܗuno'sAn_)r"ʠJ]IGz^223N>vd> |VNߣDq[ṉw5Ey՘d=WZ l9W~Kuyƚ0FbT zZs&z0c7KIi6@ 4SY͠o; Ǻ.sݑU2qŠ@d>J\8r\6AQ3̓ծS^[3)+]sLK]i^_a}49z2V̠hsN,RX[̾ tYLؚz*Kw5[WIh \,&SͧE3 SuBKP҄Lr\ a];}ZU4g~%?R-/(ayr -F .- MQZf{_h/ vf俒oFp,5S掸<^zs x_uR~R.7c;f*LX[<ƓZky etn{Ljc ^o@wX=R}0=I |=pj V;hR/x:AB!Db'n|l|AlVQNKA#!XU!)ouˡZJ}k 6ɿ t_F6bRdd0PIԴvX䀛"c}T׆[V*ni),o)8 +olk*@Y7z_vp*%npR0n|?_V5E:aOE`R"1g|zWG*@-'Cϩ 0xt]L91S ~M)S|&e'Au 2xWbjFKN *Aܞ芊Oa_%mq&#+Z. KI zܙ4T| xUmPWt,8=>$ط(HS !eH^Nb.,ۃ{b)1?A|ϒ%Y4 F8P q*wWʙF08kw I 66E'X(9<)Y+rŃ~ 5]d,A+HLdhZd/#+p#S:Jvێ%*+W}ŷڈ gȻ̂ !@qKFmOmnB' e7htI_'L -X.|-ozb}}&n-f8!pP8{rYR y-EdnOYPJ ̩S<:.lQ/_eiUb/5Rj85*!m7^B*aZ`2S\S'0olիiX~7NH_ﮗX?unwvI wADՋ6 /0BsO4[c-AaBWbߎ{'+5|i%=yp>oD޿=khCe\tK+#AŢxa$dU}ZgbW}Ȼp &O Lgq쌸 6M|G8kj;LfaW?n甇^t_}`lX["~z=bbpzDٴ Vvp)F|y+f'+u=Blw4 v'G+;aWy>V7g9wN6͓1t҅c22ȜfQι)IǍ=B0ć2*K'tDm잧z.zUVOv܏]W1rT3BQ̼P$\_Q'tDf- <"䀖E9S.1bɪnYP VMмvAM}f8)[#֧)qTq(zqAfT9榯0w8cm>r}??&*!КXa˺js՘A>:>hQi &1%(|IU1,ٿ=), 4əͶ"*r pꏛbׇ |7ffo3LPW).tR7DP9\ʖ8[ui{G&ZxSܦ?}fle~ݫ_6;a!t]G-]jN۲EOv}d64HFy. &uaCIH(љWfsNuiQIFd$gġ~HK0S;m PX`.z *ױP`~]aȊ :A5exHmT|(0^n!'Bs~+oE+(0[iWųQCyK!'x]Y@E,f k|9ZE+gB20}N{hNB1in ;{rI%eiAGruZ6]i;Ws00M aQT٨ک# hE5;^XG班&%xQCxf-)(@K`SU%qֺ _KMJ[s-ކ; uƥ[ot]5wiW# \D9nyGum}njG#tE,stοw@ A rHڑ'VQ7><; \qVsP?mm"|ڔN .n@k'&0l~Fr^08%)BN]DuzdcITE;lfbSX~0$+[ b9%ltPwC}Jsju㝂Dr<żeO4 $ J72,=ks<} -ahoL7 IPئ$  XZKB)s&#P ^QPP۵6J5X 'i? OŸݽ)0[-#`&y։D3:}%P]DχAg^7g ,/jUo7<>BS8#4Ҕr3ҚݷNUmjiݟƣ`L4kN4]' )U GV<=BcV0&;&tQMLsK [pO,bf+JD$x5a4* ,Шh`V3ӿ-unKخɷ3aMN:*[G mÀH;oHA.&=Z=6C.T]ngՍ1EG8p%bvC0ƒH)? _qUM-~q eś07(Vo &˖qnl^PJ"tJQf"CvRgYh#G!kk YNH[ĕPnͻ}ж 2=ĂoZD"AYPեRG,~va3DI*jPm>J{,'gHز[~g򬬄 ^a8a k5)2?ܷ8;o4u8ΤzOd\_.w=!/^4S4)ԛMHдR`ǻ[,Td!nM%b&:P|, G6faFbX9!!p0!#8A6ouˋxL"ڭiam,ܫ~BŻW7)pr).n2E=g u~ 'q%wJAa¼4Wb>O vΌւmgټd^VaiU. >8g(UU,NG`qwPtPPȁaczj 茄Q|*ț ~{\o~D;dmd?rs=e> VAA=#>_,P&U_fsFԛT^$v_:z7itTs3kQ%N[q"&iHKPdϿ>QWnHO;T5#"/}dŦz+o{Rg2uͱajweT3uGPo aT8 ]#CglJWt!/VfAF9ٹ AD(Ce=|=4#a~kջzU]|Ml~7îGy, skTeHd$,L!Y?a=!G4i5HGmy ;XN9xS: Bc7hбZ--kRނtm\qȁ ptN $` keNٷS6YE]Ud10e~dbfVآM<], (YiX} >&3Ib7Q8'6.}g霒/8xmDMx* 2͎qD)v~.}."aPՃ,~3tsH}XPZoȼhVu};%5L:"\P1?hMT\uҰuϘ\,PYB!3d.pPO_5.e;WWY`ߏ%$&oD|.gAvt儐(F?gp {|a"}q[3 /eF IqOPR=\t:lĠLţq(A3;%], _>WuGsbmη8H㊏,5z^ï ɋ,>eT*`!'M VVz ׳v+R;$WýSal(/޺'45_Os7Z\oۑ$`f s`t\ѽ<'(aY1o\gS\)lZ)d̡ԕ\tX¬Acq]к 166+ZK|*O.0vG̬~[M*v<7| 32mh xzCєFH>?+kܵ;eFS5:YPo_:sq.Ϧ " BL~e3H1<1R \X~~U1 ɝxu7 ~ !ov#Kɫ5FT#|,2 ?eD tw4ФR{:PORNҥ t}ֿg{mβ7hM*ZwllQ%bojAѸ|.`9D冿27WS-JR0,,A֩YiA5UY~fXuS5_BpE&}l(uR9j wƉso%ѓm4R!4B9[>k 3QkAS͆)\M =@[D?:_fN'!$tht/JU~4EGq3Wl|LO/Ǚ|EOT\\LM7)5b$EKHW.23!C[9kga[$ׂ".J8npbԷ-ur/E}D菎T::b+[WYT)tzZw!^l\ O_13-(|v*gRUVٽ_Ys5p5meBHorCefTjf[YJ*|ն-$c[%f}? +q~L~W;љ%wLH u m%&ZIcSɂgC*G okBAn)|z,o ߅Ln\&r'Es `s%cWMKٹM( A󭣀e 7*9Q" '.,֨q>sh(a!nX\D9z~b%V?d˴ۉcs|Q qyêxTe̵Ac`؇.ct .'g(&WzB"BRD-J0Y_1OspŒ%R#չ^Ru MM[Z=at]_m;m ˶ k9}xj޲nu̬^3h&qa{y 5p"őp0[/qhed"!|o)VSk,eBN+~}cFx/Aqt!;X>+:cb(=f1s` TD2G  k^Cf ҺU{(ՖKǨ@G1˲tcd PżH_jŖ_ 6΄.UMMI:ԘR TB!v3ۉ8:zgĨ k$TɩҮAfi[̨~.ր?W`姑rx&w.,Dc,K%0u-|w )w!<ݡ}Y M+Oς.:'}dmPSH &E;1ɸsw4(}=.顿d޺j4(|܇="Z%اQU`R$s3Dlh/,i!n\xf1}dkj4<\sCMN&? s XLDؚ D}Lᙂl ?P3-vjd_LFh[ | Nԁ{̉göıgYZd9eb799cd928dc043b17cf9129fdb184405225f95ffc74a6fdec7bdb71855f3f0a0d77854f9c3951 a259c391382cf082c923600c014b6cb41321a7a9 3cf7ed1a81be0c19ff021f2f45ef9b70c11cc237