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 g=|<$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=283.603cpu=1354.972gc=60.0247zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[{Mp4Y`T^7|BR昊ȶ0u,f(IDQ:q%*ȏAQ1~W9(b0)ze#eF?8pI:pu e91Ͱʷgylװkg;Ր/w9 b8 ĶE_I<);,r@of0^T6gzY 1:DGx~sG6!gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdםovȠ" &!awO`_%ftf{`ճ9nh8y搡oA^A[u 6=C[P@Vh0tJ?XHnf.ǢgYZ7zXZִF! ` f>]ŗXi%DoA\1lKϏw`n0' 4kxX>7 AgCR=r x"e!ywF/l .Y[ċ C5r;ћ3`8{א*ke}p)N` %u@VH7KlQr>YqFPYU]Uh&oG @W=ɒUIDϺ;?-(S;3K֞$_=O)qȉ/Bt4UXJ45X/XّZDFeCqye"Ȋ=:4ɉe5_^.% }JCٌP [)#w.CoA<}FB-Zμʲ3tE{ַ[n+O=Bvk&ZO ϨѻCụ nդ6 ^< Q.o.nr)#\cr\XudDoP^؀!낉/2]L _Rʬn{(2'֘2{mgM|]rc)LI+-mx$]g׽ʘ\D ˷אk0iN~ F/e<)Q8#t^ϱVC[$GZPvȘ[* 0N_+j6^}sq`OQ2πK? j^^iܟ}z о\q-qBnUNpp-;QHTA WA.'( 42)Jca7 tT=z;3]73% @`Aox6O&,ٱg(qk7=U bWDC"ܔ%C%5;r [ܭ!]j~iCn>\tl%D߶5A ̗; Aޯ g[D?UserL{ѓ+ErQ&dp mRa5lspB-Rdfکuk&A^C&OQ:9ʂ՗Bň CBR}cĶ ?m@‹cw*. 60G_4=<1f<  zc7mA\K֔nyɼM:p 4^d7^lXe-4BTyGRxYk"%=?w*_P)mZAd\],@ oᖈx ;/-~l6*˳b =0"<|۔VËru0l/_u<uRW@9fir '" vx~<^ BrDSRӷ= = 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 (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 hh =y HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_Exampledocument/Needham_Schroeder_Guided_Attacker_Example.tex7zXZִF! Z]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM3NKz'8A8|FH2:J|FX5RIVZϼ'nn <ύ%;\{9RUBؐ=q_ck@e(*\YGUn?{UkԮM|UN[gN2ƥf3/U ۺË[@'.D(e.]OK܊|%"~X{/ȼ7󑸀wUCvz$ʉB+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 //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פ(߽.'~ݰ;N 'xge^>9[ΌY~#?sZ} Ns3O 9ڢ`z.Ӌ NB̉iISd|QW!wg>-Ɂ< /CV~Sl(72-xp\^I@oC+ ܔwG݋>O_Hl%Hj$V?FOn,\ 6Iя;N1b4ZmN'VAj!-"JByS?1B=t.86,Y$X3u"C~&;ǃ'BP8e(X+qsֹ7:%ػj ̮%͙ũ ZS%)pg8ٱrʶ~ ͼc+Vu'9HNUWI K&S!D c#{5gC\3܃ZC~S: =Ȃ#! E<)~ te=ylthg*F?Ϝ؎Llۅ) vOH2D0ʿW+^`l+@2m|%s]߻,T~=_ܪH1͝-crVyl;KALK1.[?l)}Tyʩ$v2[;8w ZH 䙌vc\W;>+J͍EXƧ]S Sn@R0qSn[TlIg+R V3)x_zIJFy&TsDzqG9gVeH \zW6p!cD/T㿹Fbд3ؓ0?Pj{u h FPK@ *˃Jlffir z (O& nx!}%\s1L þȩnJTrȵ{m8,ݴ#zM xNZi*E/ꔝl#b;[[J`n5 y {h4KMՂ'y^:n>ڕx/)eeKf<; WM ]2`}eӑbb|7V${2~GJ>wIR{75%}eBD@Q.| PU']BtV/lrT_Ռh^2L:Mc,tǴv2)PcB *Х,wxVkT|G-gveh2>6:S$FFO%@+_0ۣXA|r&nۦZ` i!/HG\6((\Y =^)eJs&|`(Pg2'&FQ(2ԈI\}XqNhVzh,]҆p\*mjT~_AU5{6ݓt7P8#U-ܸ>cZ5L,/F&V.. RVpLno\q/AgOHPZ 2[ܤnTヷE(Vu jm'`פDM@C,^NWc;YOy>)8ctָ+^y&~& 烿jh7B$(Bbc/*Ǿrn|?ܨ"uQ_Z $s̻~C٥Z"GK&ԊtbӒTqِd14CɅrmQT$ػm>2DL6+s"hwq+ѕȒ{J͂"KZnu>ԣ-lܠ+4;c JUqCZI܎] 7Ùۅ <5MY^L  OK,+܀o>wxWa5-2{,aU 81 ܏,Cn:F6SA듎u"4C`15զFM[ޛDSйƫLEJ u9Õp0pf& ;(:}NۍJ.!=p-Gk(jѻ. ?@ڋp GM5h˞ă+@;NыT\m`8iemztmW; j^}T($w9NUDC[J)Mk@z9b{Y4/<ą3=Wt ::ew禆!=:$3uªPR&.U559kWhƭy&ׄ}a`( 5j7V>F}{9"dp_⇂6n)g &i7Z\rzjS׷aVW묛`EIשR~Zu}Z%%\vVX`1S!ϰQcgF0+R<2" T-1T٨8ͻbؽףgoB#xZK/eZ8m6[QzߤB&|^bқac4xgz JCNMٷϏȷ lå_1(>g/gsҨ>he~β hDb"D}A`FyM'\W7Pg+8)m6&M M_EŨJ#!c̷24**zD@&J<[޳̓'M1#Law[VkZl#F^noh{] ?6Y.JL 7,;k5'>{NuITɃV݋ Qi1xYV.5u0P4w\Jy}td5 J֚Ǐ$_GsNTjReڒwȖ\\ֽP;-,+J7f _[SJͤ6(03 xr A ;"J(OqPWGt2a=׶ d-@8܎]#a]yÛי™b ƄAlZm Q2_0KD e3b[# ޠ~,>o$&-@Ug,W.aUCЇ3=j㺵>9r!ZTf[S\z~k=F#Yfɤ&֩xZ@y%&Y-[j!b U/ZZ3(*Nuk\bܷ:A\" Ơq+dRjhF%l,&] 4iF QέrT||-'Ae9OlL KQVWEz+#-.BRAVT$B(wPXW; nҎ] Hr%創׸+AY5,/Tx1X扤>/dQMڙ3Q FҐBy/5<;?‰U,})i?Ҭz qy:X{ܑcC }]va߻A Uw("_Bw ta3S$}ߪxړD`l8[i/}fZd<P84--]h5I#'X ^ @gt8 T.vO RVQQ3`5N Ϋ*KikuH;Ierƴ'nĞ1ّ\@^Rf^+NggkX!Dn&SX/7z.j'#47OTC*F(fN(](0eqoc:-ֻs6ZDG./Rf.ǃR `$q[/ژ3k!(U,Yaq !/"{%hL 3M3)ָ:䩬y՚z `Zr:нcxKy=Y}% -^%U^9Wg)'s–FS73iQ }„Nɣk!{ay6]GxOwc 8kN&r Pͩ4z+UoT ǑQ[Z@s>V35DUr~lGV%Jgwb{[~2HC2={3p}@8wkGsp^OЪ6#9ğo(VULʜOc3غ AFU5K5*`lVifDjn*}x758B|D"#|GJF͘mFԆ=,캧P[߮ADb"Rzg{lqaџɑj8au kE)~2[_O}cDm4f!OҸ;" ugg5 c=LB<|)=+N 5Xh2˄ur ʚIN*>h=Oj#F{/ ʹǻk_ Ka<"aŃ3r#Ұ {.2fp/g8f}W[_Wp)5(g9ҷ[PU/xOl^Ghdl:͹͉B` >o-wPn-cڴ[̅Ws* f/Avtfˤ"Т t͟/*aJܣu!m/K BOiam6Q{Pe'c< XJWN%3vD^qBw'p,ep[㦞e.~o ܋&r-&:+b1 ډzVnWɍOoi# 1AS όhXWte7% ;TP/I+`iU/7 {ȏ`|4t%.wbo_ ;Dbf**o-a A\dL]ɜ+6`-K37 ` L-7\zsUET_teA0ZNPo~h@>M#G'_2v\KzWk H0YϾfe5';8՛.%\b%8>'!Y!nhjk  uմU55Ǟ6`|*6|-WXhLYxE>"E]mLE ]b[뒫1c\ N}rIxp5\!yMS`Xqkw˨Q{=?e.+ =њƋcbuinۑ*P?kNe`עG^^ idT d5  g̵:m@ ˈfW5t+C|Z1{r$X?e]Fz@}Z]TkV†s|.S $bQ(;SqeP`Ui  Xa%aEPU!pM?3O4Mg5ٿZ g 9^:I+20G Tt*{S%e&h![t';[d7)֎dtځND^Hiԗp+wm;Iib82 u.$:i7ᏯecY48wӯuJ[Laԓ&)~*|Ʉq^o_LlRT<η7:H#|Zgt ?]̢?  1SoxAدpJ9o'%{*:j[OT[#_nsS 6fJ~ V 8>Py N$}e'7px S)w}ׄc`?5>+}!;vw`g(_̃ak# ݘNeMmٰaʣqR Ck"qag|Px{RɎ﹵, w6:Z/.Nqիj9[\͉nM/R'6RR#2`g }ҀI XEfj(Gqxwͧˊ~?ҐMetZ48P8 L҆*QD5=xB `57둀@yf[4ZYDVlxUNϢ]M6iQ`)"F\pWs xB)b+2ΓNУzV#[p7;e`ҳz3,a8 q]q=dʴD~eTFGYjZF3PYisҡK?ni2k%ᱱ܅ρz.e02ݝ-?OԿóX4wV850ofwemƺ/OiT`l7:/zJtU($є O\(Π :噪! MFi^4ϭWK!hG#:K3*t^=r O>+@3CMnSwƧ`jӵݓBвjx j}vO=븨z/oq6ytHx9)ǻkJUƊ^`8<ۘ5Nݑ޾ K4aJw rv E Y^0E; bRbk*YHMJh$5~%u$+ӇV?!$7{->~[fcgJd+ f}%[7YWR+yQsEn2qk7R45?^ WT)Ty7B0nSyA vb[\nN%XwhС,jjSJ\ g@7 /F2:/=- 9 S@|EqٵH]QR>q-eG91~:%޼@Nj Ű8/Gƪn0g]zI,djYE=74DdJNLY.kU˾qQ\B0gxs`.Dc_ ?8|0 Vر+%#IAU-LB5P[$ ̐gTn4Wo/S 6AB)sl=B&m*FN9͋\mM\}Jȉ.3픆XcGiȧO҉&? W(jJꇩXE&IsE\'XLRf(1Zr߂dyc3|бmb_S0¥$=JÎ54^)@hO+=|`eVO.sa *\8S@:o"sHkG?pz9 K_v6D6<_΢:By%J lM!?LW=%|ٱldRq?p=xKFsgpU>r,cD 'i @?gv z"d׆ѧ E uvFIIhx\>*tmXy.\e9UqfNOMEϴY6bIiepnJgƦKp3;eh4bny7N:՞J:~=i TRO'rN_rS' ܅Ƶ8$| ^hFF cP#U*Pэ&f-h ,o?yfR9mo8NreE`xٍZ0Γ[kI\t)aث]VB\vE1M 㩘GeOxzS6S}ѫnC*A,hfe{ v4mH`O57ĥ{jF B g)Z \[FƯ^nFڲMٴGЌ(?"CM~& uxԭAz$T@gl 73^La^5c5tۓm!q"O>=uQ6AYC}5 @CoQP,H\kӚ^7_Lk3Τ]&~s!&(A8#iSG:>m7Xͳ xDUR!2uPOXJ2W7P˓%bO'&3>\@Չ7ERG߬E] 90Y0[7"1:%C|\ {͋?(Yܶmm޻tw2pIBSgf BQ`<41L,)e}vbDk") 8FΤx\|QQʬHv[W9AKܧꐲE(H6CB+Sx8)_z)LxO)gJ9; ehƓQ+.'tZY24 Q`αǦ_fcT3bZnkZUEW L z t]TfA`sSw ]OD t= ϙ.D"r`rwF/y@62ѣ|7ku23hi-7BB7dX<e@֦h V70(`1 @1L#툪RrMF_ e fdXPhڹh1h7e @_׹G$6q*]Z6R6V1І?=W3ZM3\÷t,",ABvd壒op}*SurHbDamG92SgEww&Ó]Unܩ*/@&KvΌ_WA<_fљ蔩F?V7첅wBv_ /d$tIA"߷=_iw;j^`=Wf`#X+Їzk8z C})Q}G>%]ѷQ IGtΒu 3,9- w3;fg EJz ;a݅,Hq0w"cƠ╬':,@̭jdBLE&#j]76dX_/L',9g>{HUhp͒lt-᢮6vO<\>a-wp voahZ kIuyK4; #TTt]ԙ%YRB_Y]7k[S> L䞈Dx[ZP>k Z۞Hؔoa8)5I]Yٛia`05eۍ`,!UB-* Uy7N9z%P(}xVkc,]L3S|HzEr.z;<6BZ11$ 12?I׉\1XdUmudzJkǘO=MvNgC(K32YH42*xSc{$Ì8^B`٢TX†k;c:u)UBFF\h'!^5'TaLߚiK.`H~Uwa⍕E6=YVX}{iOE YGrd)`Oɫ>M 5ҶqdrװU%eSwRo(fmry!.HFJڷt %0Hp@HTe+w"뭆ҦR3c[g_s*§9$HwQ|*MȻ4,--qݠShx])vvoᇗcc30,3ǽߔzDuvcg 3T 1)_Rңg}쨓;3.@5OAׄ #%_\prLwiۧpEʀNZxh"==ЭtM%Gu` ZMpC)ؖH\0ig/EFyd2x:qV,k,w>~?cnθvf_6}!n CJYI8?_Wo Evk;c9')$x'="lhy{(g.j ҶZ(߽RqWAMo }1>\8:A_孑ިFD6U$pÀz_^#@a.#|xBSJ;?QT&Wo0F[RO_g;(I[rGכmr ڑf߃,̔pQp'gk-t4Ԛu#P-qCfV91;h`߾Sef-*)z_vwWmunp-% p Pq?h[fNpE-Ea / }:b*$齡PeL!E㺊nji(f<\׸uR>2uhcgǗ1WRf8 [XYTo viq; U9[+>C{ĭ㎫U~ƺbS?8 F!,oW: 1boZ2N]:PQ^&6fB :pKYC'1>:V9w/{Z͹́[JzBE10L?E7M+MzrxX䏒$e7O-gh}%NXoE~Zɇ N v&V ޛrDWim";-6XFk6zR9Q`vwn.gqy sb_zcT7+)">NȢ8\r:v͇cFm [oet{=Ҩ<P1F~"X 63QbMHA>2}9o}A\b*-sxZ;PȪAxKx+h -2OJg-F,N"cG ּ!y 3$L]S-54_$_x^@DuN^f FRƭɸ,_:Ȇq>ốf&q r-ry MM#?wQ)qݿL\%I1F?()g2iJnPJjpMUn9D.p3]NNEg>./rנ͇;%J EH1S6ȔZ SOWZ!gEK^˼ٷ/E/X6ǦUbj*bFJϹC(uH"h~vB tyZ8)/nl>\X@z];%J^H=Op!1y [ʹ 3֫xFN3g';f%Ҭ۟ܦ 3iY*lME8Wj|Ek ]{__]O_Vk60sJ%9|K}v'8# j'finhuϖw?"R Kɠf`=)rۼ S+*:nE&~FnaT=`yM%`nݓpY C|6>wsi$Hqbd6j}$-vR,l["ͳG;|*[ 06?CEy|qY;<4d p5)rwF{ceTxmSZxbR1qXgxbdyl,lF7"N&jzf 6$ɐCS\Iҩ`uC¶, >3 o9Q3%i5C ̀SJKjڕ?Aͣ%xTSeXU( O40T>ѝE"e$Ә1kc?,v/+Ћ˝>\Ur0ICNQx#38}3c``Hof9%ˋbLW蘒k7E,RlQH.q{am iPQJ}eIjGѹf8Na2il&d{Jp5{YL\ @T>Je)M{U^n%[߬щ{bywAF0~E".2vKD$HY[IV 6y\~~EcCF&?%ub_F ԣ,CCNZ.lZ?J܉GOUʢ?W̍Ւ n`O NAcS%h5|LHjtHɆvS2DɟFC/Ebd@wZ /[ ߜ~I\g^+~m0'iMZ d V>̒goįP@x5Γܖμ5=Sz>gc.CI18LJEtxNGSJǛ\oNU'KӦ[ԛOY0ی(-O(A&kPg &^g-qAou"JKp}O:$2ׯrxs),Wbo`.qAN'ƍFՋ.WQ"itt|Y ށ|lշrQ[tCaE4|;3T,76dG,1x SOhpϜ$b}WV 7'iX"A "s>Л63LEĹ#VSU9* ]rM Qjmm \ClkZndӤ2npqi] G`.SD# "gqa N.#W௜УzԏY?ԝyڼ/z}7j| iBݱ0˨d5waW3[01c*Li_4G? P^nuBw & 3ky_QZ O(+(kޥo(i m]b'A9m4eS2FE%_/.SnqBlp߿ӳ &FQ1FW#/2˔RJK:ͳqK± oʮUzq6Y/hZu;@0r0UDਝp0*A8aeKy+,@k**غA4']"S![N{Ug5ttj^%OPT%'v$- H>h-A!tH RMY/0j>;]Y6U lBwgܞ,VKETJڏ96wՔz$LSU#f*o(mL~AeUCM$LRօbEmO@;hۢ;!$67%r)J@9a(פͻhۋ@پHQٜM ;ChG{q%'mGfi sCD-" EV6}n*D;Ö%]5nxsB*zyKu>8h*3*媵\ƽ8GNjFǞMܥpN-s8aL.Xrp09ipύ']Y>5 V4@=hFWGiE)xc c7c(nex~+ ]s G[N1eK2&մ+@t;q) 6lXSa nEj ˅Bev o}*t9tI-sd/̰ݍlUoĄ2 =ӝna댧m/ʨLh)DMEmMkiA2sfn(M9viEӮ߾4sBc|0.d鲦\GWm_@N RY"欬"PZg^UUi6Jk7p(HQlcyz-x`mLt&52*%k|#êZAӀ8?3$i5 #H3; 9KhW`;~ `e嶩}#`_UMXbV'f},*U:у!;"{v}CvBsL%'Tu.{X¶>KvMixHrShaY~v$ 3`k7_#y  ^tK/$"8ޤA#_S׀"Z|1Ut|o)~xZaNaYLD_'_ϐ<D͈wI%ru M[ʥ|B:dnnӡS7 <hl5;3!G%IGCʊ+ q{BPWr,R;Jmo Y`(cd:B6֣O w~ob[ϯ",m `2$ qN`<.}uk4+$듓2~!=*F1-hX,7r*]K!}:sc2Cr AķI7r5UM+sm n!4hݐTq .8#Ez4jxfZx*!i ;VlͼQ=q,@qu96v4I lٲAč5]3!NHfcm8 mp'. y']Eluk[ jh a6gf6qE9@zJJTl ċ0R8K > ;QjK;k%ë%2"BHAM9jO6̆ Y/*YbrcNjΥPfS,'ZWI-?z-7k9K OZEFI[4c5L̅R#3" t81/˫^ |EC8PhO#yTȲ{e j9 ~z} Qo#ilEqAabSBy7)>։{ /83ӾĮ]ܮHlmYMKe+qYȁ\nk2()h,$1J2٧0&C* 6#Ddo_n5*^5+XQ8|y_b0ѽ;h>ȁ&o+uy0kX0s)2MxJ8+:1 T|+L.ГͼVct_^v@Q~%o4_vHN(A~ qy21㣐bDxM.=skJ&=4.7VdRO1tk;k]ǘ{b@CfFk4C FX)=*9!1|CH|NV@Em@'?03Vi0p > ). -6 )Ϸ޾\,P9աJ;*CUN9U[y__^}Xէ&#E[ԾᇋE5r˒wmjG5˳B*HD KyLθp]#ɺV?!ѾadR*@|rD ~*pO,NV8Ǹj˸wۻ10o*;_.L/FtÉV+)tljbkCySm)8նǴsbB|Ɖ]-u2Fl(xLOP=?`Rw%b;0\0m-unœ7~49: kH ,@PyAC{jACβX [I7@y`,KHHY%|N#;XY~nHꫜJ@=(;iї d}~i{r!M!%'G%,{AlAeRGk͗M$U-?+k=~v+7UH r^x lFQ?C@;#QZZԵ/ NP?:}8SCu b;EUDqj=X7zMR$ ի`]ohBVy:o81;Տui2G$Ͼ UGZYܱLF;y\iXT $h(>eSl^:F%m֧`)d Zeİ_mbc&WuhtPqEL!6lTCPUpJf3c,gGhq ZZ H=m˗&2ϊ0-Ϭ=@r@ A;µVOMFOEݮSJ~MN|f/$U;ok3Kc@| ;vtib$ޚD=k,N rs59HB$v^,Gܛo+I.ށ{ڌzl˸ *8M~2' eX!?a @!.̏kr =)7=RDj/׫},Ed: [ŸhiH-SZ\ bѤ Pw8^]7 ҞrzIG?6h#!YITX4^0\s&j 䋧F|PV&kMZ|?=EY_)7*ҰЫ! 8–57_FYXn{6")C̉, <P˝w[aWU v?BZRnwa tٳQUo/G 'Bpl<سgT@76^ٲ5m%+w1jgA 1 )(szz**M&{<7nXJc,q ec@9,WJ٨:}GF*s |"Ds~,SwyEudj#N2Oǩ5)?lFxȖ߹mיoU>dryƠ8]'wLtjޤ-n͝뛹 ð(1 7:8; 6\MXq-Iy>RySǍ<E_y xJ/PRQѶqI41 7P>ϒZ1C|=sA[S o8uvT09nv 'x set0l :1f'u)*̰}5m?Ek1kQ~H~=`y`_<q6 `; O !};8iݝf6 H"hKk9:Wx[) f{tspU k|7@0aZZmQǣzRdY6*͹NG]YݸJߘC]2i%qW+;?$Xx@pv!Gp|JCytA9zCRj%Ku;Z&zn8{IZDdFH0릇5Kš\ǟ_ o!d6"@so:!l‘6b}Zy5 o@!O,'],lg@^Q ٢+Nߙ26Jqg\Vy9"4RS7j(޾A³ e!C3a N)̖51PTB俷L}vr9c Rh?3WGv|btm~ఴ=OBEGk.dԠݬf!.] $Y˳Xe,A@Gr";A+jU^Ȩd?N>Fy*溎gN`Uy/@B--.$EÃ6*" *Sp ԰jTFS'm*3C$WKl0IhBU/^{2*鳠;Kmvp^gQSɎɺmy.F\+o|Fd)G?.&Փ1`t{a#N%RX!z,7ng~X.\h JriqcP*V&-/gYZ9128a10ab57cd7155e18bbdfcfdcc1352d00e5827a379be8a63e9ff923fc00e5ee19cc1ce4796282 ad96b1effe4a8a155b0f9bfbc6f5ade8324a8a86 c272a2779767e451f83a8db40b6f602988675061