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 ]]=|DD ] HOL-Quickcheck_Benchmark:threads=6elapsed=289.006cpu=1397.016gc=63.9367zXZִF! x]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjOuͣҀ ̈́,8`ymۘ:ێ $/X@~7`h̏`p&P.xw,Q:vYR 2I5_)n-t.0V\-ePG})P׾ geirzu*rڥVX.شY"RR?fS_S!kKhAW[pϽh dܞT@x\=t(C^c`'7rjo8?jTwԣЉSGsBQ2#j.ٓbھ22r~ʛ;ÇFեBǾc1e?2hSnV dݵtnSߺ# $B&0P 0@ܭ& |d.=*l!\iZ/htNqs1J&|gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdםovȠ" &!awO`_%ftf >:PT8P?2OU$fs8]GSSlF0CƔf sěMGX7,nH5¿gYZ7zXZִF! ?g]ŗXi%Fzf LTnOk'I9@10 5nVrojIYm  ]>ԑ Z*BBQ%^L^း<S *U1*Y:*΀->%6E"V xFNHjE6 +"99zL BZb*]/H~`=sqI_'y1\.`o}/dCMliN+m\7φ#2[ޱ/Q9:n.uQBQS+ i>@< R8'םkr!c=β 2€~u RS!A(bE1=t̔=ܿ%mI~ SqKcČI1lB5Z\vsҨ2&LÕ RP"PwR2A3e Do?fNHз7Oϭ.9" <uC9dG"Lַ߆{૑J$=T*05+Mɟ1L8g^t뫜.8F7clǴQ73 Nkw@dOBtm2.O LpD%}f_9c].f uhU8ީBn܃ҦW2 W=<15rR!-$qHݧ>?瞈'6V4^WNT9+QU`TGu>5^~|SWKOEXHVU8)AzmlٶZi5b^oDfb'l=U6^ K;a$GApAWXQE Y,7]Ef;SM{͏Z[)x;i#BoulI&Jj8t W35I;軠.OTp `XB410#k#hc BM ӽÕGyoAÇ =Xet) .Z1kz UܜK@c߽a+NT3ziLg ~z@ *2r6 koiV5s4cCC8}E87?gг#ʧ{LHP=n@ ~pNȴ*<}7c<id 7hv$yH5"6KQ̽Qo1en\5kZZXScX]NV 4̋q )# f-DtKNGlykFB*C+X'۸i"Wb_w@bi(we q+fW׽[Wͻg67эxp`C!^qgM?xc h!;7j '(* +ЍCثfDb6) uo]p̧nxsK6 0 \^6U]H/h| F1Ps|غq}ppԆEάG5|֋n} 2AƽOxHl~ _ V_}hJa١eHՆ'vj^tI' $p+d"BOa0T Jf>~9񦝐Gy l~[7 'M9ufB֯W1TPzA zZLI8ynB!Xs;V>M?8U0_w&`!x"\VIZl8d )E&. = HOL-Quickcheck_Benchmark =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:FrDgYZv=s[ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! 3]A-MՋhvG"uIBm54%?э~~`ٟ vaWqwRZW^me}@wr 6x̿ThI~B=j':lxV LWH~ܜS)lʙXu}rMpPF#j%{'NȄվـ]suDᢢc(UIÛbщ'OobC;|XL_ger MB2E|k@;&ZG1dWUa_ard!N]]o;O6;Ĺ< XpV`xU>$-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:FrDgYZv=s[ HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! 3]A-MՋhvG"uIBm54%?э~~`ٟ vaWqwRZW^me}@wr 6x̿ThI~B=j':lxV LWH~ܜS)lʙXu}rMpPF#j%{'NȄվـ]suDᢢc(UIÛbщ'OobC;|XL_ger MB2E|k@;&ZG1dWUa_ard!N]]o;O6;Ĺ< XpV`xU>$-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- = 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[!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פ(߽J㮡2^1j, ݏ*w,HE:6Bb4 o-3zGM>x`mbjDk@A*hq3U3Kʌp'7oPS?JwJEg E֬TA<Զb`.].c0j_ up펯3r[(L<kcg״QaMw3"ab1\AG|jGgU@q}5G;ɮLux ikovƌ3φOY__gf"V?T2h x,P uTW҆|ѳ"D, 2=2p>bGjדr!]D#ǗNb?&w躍&Z?P5!s /"ݿ9ŏØ.ݷ0{3pTUO z5{jQ|gHpLL.4܂Uς04*ѸٰaJ"!Ëupe?PPdvt *Ӽ㲦z>Έx ,1%wf ,ԥK[9 1MH)uR+G]anL : mnq JIqӘ$o<ğؽNú8Y]juQk]{  sl.RG\H%ɢ=vAcM@k2&O(kW'9| 3-P?$]Rz.neu%yCE{ vX$inOr^Im:_&f80'J ڜa0=}4r*J_1Olqwd"'o$)aϬa*1p`˄Sqm.+̀Ns}*V0ۋE)؋n(:ɵ/h~ljЏyvfgolC .w̙)znO>_WZ1\p9ѰqtŇYLnXV=T?eF8V!ROX^llrm )2a+I3Es;$|*!.hwˀWzD_<+]KWSs0+E%ǤLīANdX;N;\Oyߞ GW])ƧJL؟@,Ĥ a'-x-ZYR 9 ۘ[Ɓ(m0ؼ{)7G ,µj%wzl(V[a+IpUI/6Ԑ`"iDC#3|QL()L3Pc{B8l"QIvqF\sMQpT$^c9tdM 7ڡ*H7Gf&N_m>p"IBc]iBO%)f$h8ܦ\\5q+^u)g&dTlm{#-FUQq@̪E!.܁4 =\xRjux(_udۖ|{pq]xB-&FFqWﴛ C{*q_(`gg~Kv8+\C ލsu]&DF [MlњYl֥%*Z⮯`7fʰyUIܟNpx%侟$).8Q3:nᣏnƻ呛^oQ%b sKt ιb{CԪ'|2SE5ӠA;Y8\f`^`/UvW[Ԩ%f{=X]~ )ڀ \R9 ^Mg@J!iYTSϲmjm:p) Isa0cx^o9Աe#UPܗ>Ÿ./HsON ?/e (]{E;PVQeݵ)C;,h>Q*lOr]Q٪i]&Ze&L,A,ɿ6koITrC' _}NJa"^s4U ׀Kjh&2seU{זm?a&C+`a7fSo= >ȳb(zs>ڒר+}TNrz/GÎR,02^hVȏ>*$UG̖2xBuLBdlD0[λ(zbѽ@7<8 A~O+̆RLӃ_'R\sBN_kw:.UI>4H`Y F뤿S^1"S_ C%%LJ#(BJy%"V4l\]zU2t{Ok{ڛ u$+\6%Bbם[o_Ɯ;wΫx٠@yi6gSe"OmwpZԳ5Z8`CuKrîqyx-#)#6e',ZmqCϠR,xec .OZV5TOswnoIұSTb8A̠1b{X,qL+neP{dIŶv!|?VOПg\޺{ [Ğ7ڷ:WfjMn 5.O5~yE1.sLa-g=H:T|rfF(3U4SϺy [lwWI:4aRS,Ch`ehK7|v-fѤse%="r<U'aҁЦleI߰u\]%Z;W3O{EC;%)$*SY9ofRN5@Ej*J1u `q Tc*qhSrڂKI*! sjG?IF?0a 'ZƝ cnؚyگRFX`'#Ѱ'I۸Yo?h˔.\mBɺwgcc9|0\ oŤ[{āxTL"1Sk}7z3°Ј l"/&Y`=mbz`a{J@}MK\  8m#U0{S($i\& c! ]=.Q91{s.bkuHu*1 ߛq{Lg&ډodJ' Sp 97AoGpR.9. /ۆ&XmA7: @L0lVxŕZs6P2q>pVaձK0`b'+4U䄯R_ێ3J\ _Ӏ#s鰯o&PZ"˷F֓jgi\&V/'qt̆SƇ "e)?¾!H翰ޣ%ɁzB|)]10uGwBclW)?łÍD7߃ֈx]g Ceέ<pW*E{X>ɣjS=gݺ r Df533XvMe8pٯW5ygA0E 58PfM䘓2B~ ܱe j} ]dԓޞ6a)**_n"__W 7 =tRK+fj18I, @&{J?u1u{ s(I)K5>`AXjU+_#핣R:hBdw<rE"i77'cΏLAQU3 OC~H[Ou[|$~@&u?v2whkQ#4t$#*BD̦]^>&vfaL)#+i*nò.eO[qmȌNgˀ~ʰYsz: k.6ir^<:?PwWo5ue¢^= PMf z!">e,P㣎B1ٿxz@:,Krpdʬu0 vzv@ u c .ĸeBc/DSƒ-op4#|ߵ0_LQ9%yʟw *~<<-'<f(u 1>G,YoQS;VM~B]K/ƆQGh#n}ᙬUJOF@4۠qHقWs* JZX&4=1edX}'‚< F%I?8'_}J1`J|QQdVdRk\L}ʯWRzt{ژPDLX:1MX5q&!nk+?.lRE- RxKc.!>W9t;0vT 4(X1C$]Lrb0-ѳu,/82~#Hm^<|o.h y yu<H/*D+sL}|cU¢Diq6FWɚ$XW*_уo.q1<̛X.~1VX l'N:sJow P$x[,Yfy9_2$ۼXF\}bAo ˖P[I3+DɎA'ih[&¾WEQnΈ7F.Q!؟YǧWHĂB +)h5>tF 0#m t>! LwCbZ~! kѸ)_бiSk!"{:Cя[e<|H 0U?MOmmc0!.Z{-^QeﮥhڸL W5f 2OTLX 77Hj?$sٴSJ4%|+uQ̬Xe=݆,-,u=d[GVdQrg8ڥcsps=F ةi#T0{Sn qd& cFTqB}ElEekSW2"=9n5KG+CeXP<]N< Iwmge()6"}^5Byn: 7O˪1w<9O9Mv@{jw\h#&#TOQ_:KʪL$dIAK#y x%2ӤVwx'yeob E#^~CQr5v4"FR2Ǿؔ_nW:9>t$u;NmǕDÛ{*9Yj< g57soV9/yz"P.}ΓM12,.v%RkX`:r5( z? ^B Yu1X1wo?X0,yj.p`;lDpxn/Կbp,=2M:rEC%|%PiНqDI/ͶxIvbx½Vpfgc)-ėLO0|ߤ&%x mSIzGۓUHQ%)=F93+\WiFkX *$Y/ |,Ǝ菳(Z[.dJꉞxc7פP "iG ykiq8=We!(c^Sļv(\ڽ<æZb Hڭ-V|kMNMY!%Wpa/WK?y55=9DWx?8xfgYG0^/|"^ј~a&8/Xv٘C6ma;\Oո%y | o֤?jy8Mjo8vKh}͵h;TVi5Sλ=si!Mu@&T0i-@#gƖPA<ƂĹgu *srF4AEǟMר>w $5E'F]-vEjb ;xE8KWG LwR"3싿s*}oAD$Zv ҵyd)稁m1./TR}wR=20D"> Q3mF0μyK]5紽+{V% emjCWDk׊6~GІO-W^Y:C!)ҒPCpnY7'鷾8++ ̉YėT9{,̅.TG^r%Is%L#N,vgSқS^Gła6:}_djv 8Pfه5Y#"Rtɧ Ɖ`匼!Kw'iUiWTˡ׷/B}@lsxS"T>ř Ǐ"Zm}&ӾooiS֫zCem9l)ﰐ _zpd"IK7GrƼw ӶeCw$vhkFv_卵hǕ&F Z8eJ'l}oCuʁl>c^RPAsղ*E1ԪZJxwJqoT-WWC{?:fy '.I9֚NGiS>Ǥ&S_<0r?Po񨝩w8))2BZjU#Ӿ". nч_>ldɻ*4UY|W,^CuOӨ<=қEv9~p\)X 薝񒯭2p!Gg&tws.2i'du 22"g `e k xΡĨXSSEbF褌aɥEsw5]YBheN]#lI4Mʡo6GnDPW;eeբrO1PFra=QWccI0)Po\R3f>CS[&ؓjd JxI 'K,Wa'H$p_JӖOUP^60 GҏYhzg5OwA7r}_-P^X}/ S`bd1 #"vIj#Q!]cK"b5>7:b?ECSٌISF&ie.,16Ȱ ݖ.z/PC,cp3Yn 0*"~+YwzcIA#ͭ(vo UOSH|},qFE{~N&wɑP ^T['kzGV5`}ѐV{[SH͉NGl lȻ~-yNV3dբD`ߴ~9pVcE;lxd%Pa>(m&hF0n Lb< IH N}O])a\ gbD"w8qH 4 imĿƲ/$#PGjF O?ɹh&sz͛ޙDm\sMOf53vK J> hj l+i^$zmS梧(c_aOoA5ւb6b {%fH%]BGCSW z@j 9ƍrrS\I80w9'2$r{:Ʒ=D# g؏%?u'mp RحGi#l8gbfE4İc7f"9}Pf͂yQnhґ~.Bb~6{[PגCR(Ft?ز, /=ᱪ+ƛrN[ܕ48 #ZM(.Q1*5⵱zUTvD {T_EBDMuChw٭"5_jo*u4UgܱEsx oHL6cJeDNvř`NO +U'7>:rDSrjma[Ҟ\+/ XS.Fo;X&][|+F_̡( wbʴ'P<r$JerD7R0ILφ"iXI#xqY2^TnR.elzc' 7ut9/!V@+}nP8EwrJE!ō%??<^!(=ąyY0 iK?(4\Km"ĕ;Q ~S9;iNF-br":@J.8(ɐ\9Bt('3$ 9X6_!W3y$Q";V[X3&kJFts\|o4aU2湄H19NP7xJsq[[*5%By_KGUO,%T6;6T/U8"P1HPIYPX'n#hes7; ae;)A?LJ\=eiYO}0 Վ{;#T ; F1#uyq4ǯZcM8VKU`MI{O>.US <ll.W̆A'~ݐ v͠`֋=/|+eU?oFMb8\ Xk qԖnHGrn o٤4LK(̒6jS.+z8urԏ3"Q*#5wb8퍜VCN]8) US#D~v]`@lu'xkɘl$HTDLO0[֕$Qc$Zs+u825M7鈪ѿuߙuݥZp?Yn h$k)' FuəT-ʞ_ ^8QiC`^ՇP4:9UtcUK\8,Kd)ܙ)ڏwH"V/݅JZ MyHA#7"G3uEnm8Cn ƯDj$GR}lNw`5bw?xɗ)M!iDALBF1wP]Ǻ(ًmN~d%5=PbjraՉwTM1M)>Íc!543,߬dr xl#wٽuz ?DiIrK)?{ހ5Ѧ}_2>*f9 ѝodGT=ha- l_ܟFu.!N W$1lSO+[\ofFx?>3xBoydOaXUxzP"𨽯A''"#,[M}T 0Uoi^L'DґEcl*Eys26k+9%44>`PcM/ɒ~ 'p2DM!}P|`&mI3o'>z$u޾/-Qw ԭ\7nUxoSkLgXg3ŅSޯ]{BiK&G`"V7~š)Vﵢ?!QaBt3>8n9H!pBoڄ>gB?Cs*Ulm&ʢm}XVn7GGnΩ42k,;qoѧxC Lv%.8dϯ7ٜL9usL, $4_b\oŭ$1˵ǥQӦ1]Ȯw4~Bdv8SũwLp:"ڴ.ǮGm$u.gtxQ9 7td]g;xz}QKP*z.K?<{AMёߗfp6mf?-;8za?MGanQ됦~z472GYӊsG,vդ֗*,0Y!bIHt8m0-'N)и5K. ..1wҐy9y\,ܺЀX1WHtNJ=ɽ*1MKr.Fʌ>MXna@w&y|G;Ey}n3VV[I[m!u"gg Ad +MM;`^l,'?:gJ _Addt> (4mI_ *KfRpݵD?evho ّ[Usan4մWoY\J"чA 1`w;Ts Ųd?(QEJoys݊L79| /=Zl`[anKj+.Um]$:X]1-8ףL;:7(Ne՝zvsiAC"`%h:*7A7|a{AҩqAL4SwӖ?p͎r=Q׎} >HgRW#'%Wj;b+5R/U[Dd2D߉<#|:і fqxޓ}'lѓzuB0R R,Z`o4Nv7XSjWYE o@Ā"׺GOI#VǏӒvgP7r%ѫéa Ț9߱CӮzK:bۍi3c%,~3nC{sWM9:P|97 zH0[1u,&si'/@ b ]"alvnk4+]_ bx{Ex 1sV}/3P!Pmǫ'nk5"Ufs/`+VY|: <%M.ѶPӲ:)S]`P h52 DUtcwھw'5j{mcān ǚͽa4`X`N p5oDRfh5.F,`׉/*;娗XA2caV'GWVMbcXOo]8e%Nr%W0$F6Yc|Êrk &Vo22ٍsR,iAzC+D*h.C]<6K% 9+ 7jT4'``.P75Ew$v}4)K.O[MV=@tBdrxVْ&P+6ëkS׎@,՗'[r}*}m5E,/~ eSzz%ATdT-eD:a"yMC: M\:sRRSC !|llF+ ˜R~Dm˫:://VmunL?cXuIH//Х`n?P[̰2*'!~C $[:` -:~q䬺37ZC÷K96HQSvr4Q mK韛=t= 5rH@Z*i9@,kfH=-}3C+d0Ysc6ᕳЙ jFfVTAów\RZ7KT qZ!2h7JPŬnD@ ڵX[Dt+/QYK^}{'̘ y݂Q֕nu.pIټ}tnM]wt?|?\{Poax7N$i,l>1[l>.; WN:e Yk<KEK܃+6N.5ۍލQv ]3UK`R]4 lV6B%k-XnsL]ESR5뉁5 #ʄ(%¸&-Т-?}|AgHƝ5m߿v\,K@EEUM=x,hhYM@4.I1wi/bЍB*"S,yS& #NJ)5~Y^cܰȚYVSʒZ_Ma5NZ]"aJF FøTf\sk/4¡J.qDaPma" Him0'9okoUr bSQВݜNzY@rC]7B,:: %Q[z. ;[ ^"+WM ;/179 3#Ʋ I<#AkƸe1]) 1$+SۯF0U*41?CB~g)D"'ԍru 87L1x"L_~Pu}#VRYQ{zWJ~);kl=;PFGݘs|BQߠS*73X1H$tvxD'"W-/==v!1v \vDŝPX(+}ꚵ.|aR-YLs -D*eKn=ޢCT%q⁋O܏>KhXc RLVTTd1 l#*WA T̂ↀG~&Qutԣ~RmWţvYjaei'LcīAIplZiVLCQ-֊QԞ:\AM8?[nFwz>?*n4AyEy;cEekDkqv蔝r,%]6n17wϒ-82dXhgxw>ݦVosHpeBt5Q Ao~w[[4g!Ρ`M;54ϾbYIa8u|mRq>D F]w4DR~ԶqS }J6[q:%2]ib_Ox3h]L^"'pt\L <.B㟕=zspO51s˨U ek~vt|n2iʳUV=]`,j 9'$!LfʜA|IZ?H{j}膺4jng?&*w ;V'31|߱0U=cN]-r(Oʭ7ytfX$ tIF޳`xְizu䥰Z]Hnxn/ nCݵǵX ΈF5$I0:#Z$_>"lL&K#fT#9Q-j ߔ3h!/+;:'kUmLUWeї'/dJ.vk9r)g5Sn0юu EIh"%_=B|/rd5-,r~'FO`u&_=C8`bJ Nēu}_;"0Z_EF_:,'J*|"1e#R\h0H 6!sXuRHK^*j*EҴD)kZwoq`K"vIRK];- A>+)R,LoC%W( '=|{I^Omok]|ńt[< pS+\ /0 Y`CYE/qnys05\`LVld)0 Iyl`$Ȁx[T%K Gw9 &mb_Nvsc;X^ ;ym)P8Ognoojbo]01]Ȧg7,\{Q &HkkHKXwФ*:ɨdOGfPWZDb sA 1ZOW Uj6G J};\Eca"g&~B9"X*bfq|JEc1kN`&c"9=W$ !Q$ Oeȧ䳶8M JK=FxڢD)!,<(?H4j}j\cܐ>fSjvvܠNF' pnꌒa;VZq=7'ƆIz\/&@O< )e=F|/\D3s;lL3xjޭp3<%u&Jzxp#3e΃0;D/jaHI[ڂKI& sɵG|S_ ҟ/7Z]Bcs6 Fr7#ñ"8VM q},E$l*c =tLt7#qlʗ S?>A FMm;7S3edQV=RM\\F mFpߛwbI4_D/픎f oEb*BPЌa1??R^lbM5W)ċnGkOmX"b&eD+ o}7s0( )}vZJzf ë{N Y$x,Hh) eǸx%N=>O!HxqA2a"wQi2՛xQ^Wk|)΂zP荛 dD `ULxL(<4VJGב57v=XR:U]}j֗_/}b<^@I4^8kS;mm>J|ư)&B.vm}hk]6U?N+~uLt)¾l3\zneN=-jya(QFc&_Me]&-U>L̄`"8%2u]=mimO3@Tcg$櫕VȐT) KeiHJΗ%Ѐzag_c2{e8$k6Aig5K|8H@$&s/XXW`3" ,QGJ$|A}lI,~83ߊ"7bs#/1jZ-8Kh.:sNp,B* Z6Wڶv͆-|+[]T,Q\퍗Azw_]H+T$Y(s4'w*j -t~XdZ?B?jQo}xy"V]h: LAZǃP,cw5RTmk͈1M:'%D_'ů?#;wG?x9":`Hņc9[!xu3% :6Wݘ)N'"e,~,G. pHQiv m祱_;u);{D@ 2eI*lf/j&>s1odD#;*v焣@nuMs@ F wr5|YMȾE_Qaa"Nz{H&+#>ɥ:8X͞O&ZNצ+Gro[fi<6rA$; Gy/z`7\~Dpa9wf|3i? 6=zn<&Hݞ.K~ F-'ӢvUo3;"ձN|$w4}ܚ sHL#yERe$07zy3M.z"d%QuVO@8HkTLPo9v bQ#.l$z*bPdB /v}c7Hu"tft"wI2&?`ҁhbٕ,X'hu92>_.Q٧|y%*r/NGOOdٶV sLS;jY$wg#gq;zW Ob4[C{T ˌJFt`G;ֵ5UH,m}΀ ql"Zk $ކH*V b31mT'Y!Z? #PZ1f;/gGvܖGP>N~Y=.,ɽcEg:CB\VNLlߑ̕R.|Dw':cl gR3p6{۳3mVpxL;I @͆lL(אxT;8PxBW68t2.*=N5:5&".KڞzQ*J\M_8cêc]a,fe\ ]ՒD Mmct!:e9WD38n) -Hv*JfvV9Ym<[JP~v3>84MUr/X`ax6Dp~:b|y9)%?jϤXm h3 LĒ|B.ŁaBPEZ\1 8o>1g&qcO-փ)q.OaJ,,+(A Ada'XqE~S\}1p8_ E/p?)mr"s@Ev:]l +14Ƭ3K0%+iw:•˫pYF.9(55gދ(̺5]6XߕVZ6Z֛,0pl>}p3 W ɗf/<5Y)Aܲگ`̝نNNTwHslD-*YpaO)~M \cvO>Ѣ G:⪝o-ο{Mnߓjfwu -l\08OO$`Ozusy'8t-ۛ*Зgo0Yys^T߉C6UW_&N;3媛඗edLhj Df6'KZEtrV†S_YFLk(C`V-k*p(}^LnPRǾf՛\.M<:[7L]{cEêta)?x6.Skc7;u\z,)<ap\"ox$"aN25I" UheF<L==^.=Uw)8 4 A5+GZ(elf4 ysHWr-ֽzk7T蔢54 ?PvZVXȱ9Q.ۂ!cժ -%Vs GgBGO-{ 9jLN<"Zq+ۀjS z"ukŐS7Y_7{=z?`x/46J<n]Q`:lLi_/.$a q1} Cg A0:/mTb'rB(ɵuJo9d5@'d<^LNdH6' !#_7$3ArFbvG8GG4P l!467ְ*7)Ynį_E/ W:bQNL_` _$N>{ c 3q+7jQ:OLL4&Ջ [0`LYhO'x?TqoEgYZbb5d0e2faee3025bd151ba993bb9bf4176eba026d9ca9725dd7d36bf78afe35e40b7d2137df0f7c7 2d7fc4c8c99ec0195cfe8a002fcff890125c4fc2 27db0e64b3b356786ce1b65e6f736a32c6b5e500