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 yyg=|t\ ] HOL-Quickcheck_Benchmark:threads=6elapsed=287.390cpu=1399.564gc=66.2047zXZִF! t1]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBx̝)}'xieCYQx=%C='FBl5bȑ $IbM"*4\=$suTbJaD6v`B7$5e侜IpX̏Y\UvXO_?g βB.uq2ꢃhPCf,.gD?Y*47l8,  1Sh8#?Rxd9`! K"9,e!] P@|2ɬ|A;f7 'ͭ71gWj 3꼭-?m]:AlYk{Ͳrc׺]so?nwj) D&hšJdO^&$]+n, BZX`,iC2J'n!"!(EgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.vDtQVCZPD(/$wUpնG=w26ҟTz ׯ5FiE,R!@B@~#:Kc=Ҟ W3-QH;1bf4_PBigYZ7zXZִF! yh]ŗXi%F?P12oX.e^iKuڵn.nukЬtTFHT圙Q˞E(_{4Jn1m J'24 kl!&Fuxݴ;k߅'~:TIe9m/¾ (AS]/_)YH@@܎5 19~׿L$ꔱk + ^ Υ8` 3%Bk9Y@:My6InZ[`' \GϘ{YoI>o]~D!y##e'0s`v}7Zwy>i᯵&; `/vh2 Wh9Qo}U=5hjXGz`lJy@glIo 6i 鳣;ҭbbQp\zϺ8fi[B4@G1Tz[ 7Q==dz`ƟPs#lax@dQۇwOJ6'_ :.E5%'`Q.34p["!c$xk>?]G$:5F8Ngkr cv̨?u:/j}s{eBDcQkʰi(OMF jc_`ڐ*p\=BmbʾI 5Qk#߻ BWLE іo fL0A rS˜yU`1sDB¹ W]Ss['PQM+J󆧅S#cW11PRLr ?ja-Bg@oq:P(8d ÀQBwEmP{CǑfQ|~cZ6N\N+9nl;k")eoЧgJf d+8s*}ǟtc:U.ٙ[m$ʟ eY M{h[VQ(G!kTEk)20[n@jheGP0%௶\KYg({LWm}Vݝ;Tv~ْn](k v %]㡫Rb3H񳞥ԩjYJaSoo?s;ji4)Љm32HB{eFM:SpI4|@ ph B0F!$@H?y獧d$~kq @XF46O~IR#v2!h8L!y2ǺrςŔMB{޾4d;7,3v r6v,a]^ ,}K~O&YP*C+9 ('1iQ;Y9R߿fq)OGae4pC7Oth a1t˜s9R?Q 09z,<֩V~]Lثj6g@xIߕ% dYr?e2<&ིZ'iǿSγQJC!$-N21mU>$)nW5g#1x~;U^Ŝ\H&ذz.ڭtGzKT0#JiF9;5nI i{POʦrMPry?w{^fAℌ/""Y9Z6I8ra iC&B = 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פ(߽cAq+'"+2Yʭ"O ";DqIϝ *,|c4іTkAo Y%Ee1̱~o<{D"!:3 qd9nnb%KT (qI( v>ծ4ݍ_D}+~_[{y0hK1//w,A itJdU9 /`RԿ'J/ ˴\ָe7 QBV$!\Uy2%_# B7bڷ8i`nl^|F(@a`Q[C-L]~f$t  b<+v*x4/!?{QA>j745{BwqX eY7uzB nnO3Vp_pH%Zo9_5r]jqB (aS@).)Ε%5hzomT{LM 2f^9#aq+4D,3~ 3Ǡ$d9glCg()-5Dp}s =8@W! ZXU$\eY߿45aO<[35SYɷ0=,0M$]elU * o#xݖ6(ŰlJy1vf$4ڍ\U0k>='BGVL9{FzW;"a'>;!f˯]Yθ3)ztuA5z3AP^7:"bD\DV!VT~-فL)K^?v AHoEyo;8{e\YʏDWuVtH m%"HbN"u`݃3O;[қgѨ[L{mJ*GOg:PjOy䢐t,(!ȾUDZ?履ݦ0I&z0}W)uwm}-%$+߻o;2Κΐ#?Cdq'(Teod`Ѫ}rD :_wCtwsSbT!Qi'^Vƶ5`{6=_**&֑[<6ύY')r֑M!ٝ@Т e|YݲG!E7R`[Ŀ\ AZfȂ>}CW6MjIQv0u(T- pNYQ3ޜ2'9KUaeUK_|>yTzC=!icG,xET75-6:jߊ')f7Ňfyï^ʾa6ԢfyxRW\7ESfe %C!λ$C[ܵTeXk@ēIkSB"bF ³\Zv4dbya&Sbm9s 5_a55W2iv*\D`1`N,Ijg=fXS\7]M&Ƿ؇E6Oe;ߠzGP.9 nS^&!ƈXycÑKE7ٗ|&O-g37J!!(qeb}c@h'_(= Oo7aDyYߖԚn4j.p-nE h]=ߐ ay 2YBeMM*6K L?%UfLSOAL* h> RϧI뼧SbaYG\U2PihBR1ͩ}Nti70s !@9p>GIB.TQn EXXq9sNwZ$*;B}GN+xq1,Wظ{t# ͇Ur"is|̅~T'iH'@NI3q,C-øu!i+tI(R x.nŜpm5֊a+`PH#yUP<́}  +<(,=S(Afc`D* Ͼyӟ.N*x4sĻSUol<1.7\(Ari%Svo:[&~Cq"ƣ@0MŘUeTRl󁗆ház &n=㜍VHve ]R6}<=#TqB'vQ?8uąX)ӱvZ]&?]yu :m_y\E/@Y_査# #C*d8qQ>>:Kdgp0t5N0kŖi~~vÇqߎqmcpy@pV0pEo_bCFC?̴xb_AsTڱ6uЩ0Ϋ6ϥ rt==l Vl@D\_s<{ՂHmj[fE!kL" Δf z[>Mh)$8' GcȲ+?S8Gx[nekp#ߤE8Aޘ _eJ!=3'f9I45F2JuK;AvOB 0G Rr]lC_ 9EGINǵ]Tم;{{ZA!oYjZ9J(y_r/ت) |mL#>d.F<HQj ~FHu"6t;{҆Td1y@N?_ TA3DhORl<ӵ13;Dt/?I#4! B)$6ˆLe訳٪nz&{o5Fg)O7h檰ƺ8c]]ώlȲ?},w& h/EHrzr4oI0}jb A4AO:0_5rǺA74AX\2Xd1_¶~o|@Ia)qf6" {$ wt<+P&B2; Ky4_PUT=?Gcxbdfϧ=-٩ o)n6u>7QM)>ū?*? UBDR&pYlA X^QSކr&JwZ-XCGJ)Sj=P[zkŮRBbkfզ-Q:׳O#g/V5hl*@#/bfMb=K=_dA\ƪ)}VlTON**Tb0qJyr=`T/Ij Nˋ{hɓޡ T"fco%2pܡA&/+;{}nX*5].*\{߈N W[\?Oc@Ȑu[8q W_"~?}_f=4p: `z'L$H$–tVxΦF jy!oA";)cq LpkCTb^,ZV`ٴ~}7I3/yH$k~}^3\_oߨO\ib1-`N9-aZ} ;z׵# kg z݀Q7cbpl^g)ћw lhq]͆&Z 4e{ؗWRY+% whD}ZlrT1MJMsy/5=CyH b!5.؟} ȵ{Sյ =4Xtx ~<)J8 lM쨔о O:H?\GdR*?k#4}AJJ1iYnX&ǟY07ynǺeNIN0on"bP_ral涕_'x;'YʳK0y7#t cH3?h 2]e$!/2)u+>WieVJ7j@:>'Q 'lfa\59pE؂T`;ɓkx=^}Ƞ*2yɴ7˕ϖ!B"}$mޒBum壏 ,GO CgQ,PYr% 789l^VS82Ek$&Gw}o *XFzl-ϑw(7v&FEy}g eacZm "r\TOi^.Y7Nv9sUsˡL˧Qtw< :p6$InB5}b헢ԭa{qA( Xn\-[iy"njգAE%(VM8?h\UWk?A=Wcɼ^Q^Ʊat-Lq] qowD+ 9?I}8Z̥8mvL g\ KEIXT@PIS!,Y\95b8ơͤF{3vlMזiHW(p@q>:H8l۫%Z?hgwdRpozGmTST!oZtL26 $[GEUQq P/dzGL\-8LpsA\+cIYFb?) pa%UcK< 'Q:Nw5}* Q&hA@it _:u‚^*Lɤ2&m0rکXBT81k_wcrs38.pG|jV#L#P;[qߙC>RpۢĄ 72 |Ҥ},fVn޷uRMRwS2A⳥xy~:2r8%ݜ\·-ݩѮ~Bib})j|Od%%$ז|8jYmd.}tBY¾m ZК}:SlD18p5UA5dw~_jX)Oqqd`3F?MP2oR‹_M2;Q]N)l[κ:;๔,zBqoY=@VȀdk/]|Ju9Wg[GL:J=2sK3e]]"=Ĺ?_grbswK<.bV']d %qːb?s0ͫ֨guqPR9hsCc @HJ{*Jyrwe۷#mͤbk>'Fm GHxL3S#IFش~$9vO.We^gnXX>osg,'7.d/rd gݹaWjKk.;6b΄Dޢ%%\3#^ZCǘcܰ+8]CYΘp䯠NAgh䛇\C4^tv m(!Gd"4ڞMZ CQjf:"S-QcH)~oF楶UfòT1^I~|d>R8װ@3hGOء6<|[$?MLSe^w^&.PbyS|]?RFo9yK."STGRCtZԢO2O g3_ MDA% F9~'B=ŵr^2FOf|X3Z|M6QY׻=)X10!SA,c3jv\T ~XNڬȅ /V!)k/Z[ 9_!HdZwP ndf{ qЍ̈Ejzj`{R "ot üS,E,/~nJ*x$/ λ7Z"r RˀRnk3eC1W'e~Z^tO8('r5PmiY=f*M{P)E3?O1Ԙ]H1aj gǼ8+YI 9f5w=wYL\EkVӨsYbi;)Pl_HƘ3X +Z h%x$ϐ*Մc珳ߜ/F⹯W)BJ+lWC]I4D ii*&ӨN159X:hL%>jy2ŭD/~mAәe#-*8gk#@@P~EN}l<,+ $#NN{Vd0kbnpAYDG @֤ `%y2=TA_Ha\+s Ykf:7kPL6ڙmiѺCx[I{750)9=p0Gp^J*1DڅdL Z 'bTuM6kh~wׇ/q2Ј%_]tڭd?(d%OPROε* hq~*ja_sH_5 -p 0*epyY.=m)H6rWZ3]tn$/thjܩrL\sHڶ ^P ~ 'ts(M}y iv &wƸqX waJc\Ъ1#4U8潱s@բ۷<ɟ0v3k"㺉9vйEkH(YARA"ٚ:og*3p"tNϺ?:z uO,ۂ _:tlܢw_Je B8wna9%4++🇖 V[4*RJʱJff&)`gSZJ!Г@t}E!y9`JUl%ddg6ްXI!N!w*HlC}(fJk vNY]gߎګG=EJۍ!4.]Lhfe zTGa؂>&@&To5w .lT{A`*pâAQ5c׫oR@1 -8I 6@+A1s*NI%mJ(iJVSsK8YUMob.ۭԨfsGByO(>+I1x;Tܐ(Ju>La2fv爗C< ˫T) X$.6>ر$F&Nשf+YuY:,Mm1-CAٴ8CV塏bl~׼|rWTXC#=3hAʲ\mL(MXKV3}P$3tV-qH5T"l?@ >!m: ȕĈFNiȾ_p].3 Vp=!y0Y+Xw/`˝7as"uɘ3эӋ*5j!{塉KCYh4 iS cFY44)fVn@ɻkp=taHkܚl٘ɥ狊 -gfb`+ y`Gl-9Tlu|-%.k*Eb!/!Y]s5-IȞs3џF6w B)u1O܍?*Std4dAV.c"8PAHk7xyGbTCz 91cV3 !ceXrѽZlA+x̝+ӗtj XЧ@!?B6}ѭ>68r1uy f.fM+ĕ%*uHl/C 9z,L܋@HZ7\\&{nf-m3+n)Xхà,kj 9Wސ>wA#xi^k1H@_P-}ؓ-;~3.4mh-A +#zΛEm$ 1R hX" wLfgRæny3T̶=솈]3fN>%姛#/qΑV0?0~,{`)k0Za0$ >2q`Y3Xa»-,₸$1D@~ոoA7,$u~뽸!m⟠DQA.}]LN+:CG lg bwsFFaCrx&2,~$E<(/3Bm1Hǀc؃&}^ule4LYbidўޣiAb ,f>J אME;:&O=xHYb1 `Ǡ7I fcvM ׁK4w"| r y2\14%3Â6C:AJ[MŌSa v"zv9|m)W Z3\[iMgM{HPnkЬڑF}`m #yt)e?kͭ9am)y/=i>Kf`-ɣo(LƂa$,7񘕆!坌⟭;6]qf*RALVqQFEn'**-7@%b{t^ߞtyLt1rG3*q3ٞZJ鮕F~@xGˌ1OTXmN5!na?zB\l;*Oi^~|x[ŠƮ; 2Jm rdG 7oA8W<#BǸTag%`s`j\xO{_fɹ ?{R_j4ã!RHvp]f^5pccb.e5j$ ff]է`,N5#D L- V+\hfT]}8zXռ-;"i#eΖJ=_C¸iwW5di<BL366fJAƎEuymTrAxzޕ$>'Hh$ /fnL*J$ %c UHHVe˘ ۸$5IeK6\ӊcb&'#mx7TCT;w$s+uCsfN@jJ3٫ U'}0q L>F7r-ZTkH;PM娳TM'8j({dpIZ n^zem%7=ٴyoɿnzi%X`ׯf'Nshn۾).s%fy(%k/p+9X(>VF'-N;!SE~,#ț2 h'WEJqs#3e:SM=ZZPҴ%W$+Opp~`SӺňq(wԺ_Tl o.rWI`OZI崀釪#A=7Tк+NW4~o("ZX5wE;EJ~S62!:3&2$eI9;O69vpd/T5A˼({IA lPܱ8 CXC}6LŽqѭ7ڛKRqP]bFf`ji`+5S7[]:E!Mw< _'MBj/]F\Fѥָ2Ta6%1 MfdbRu.W+k |<4qƬ?ˮ/wH,;-_m2xxC)^x-4%];gy~,bx7څA O6ġS_0JD2 [D67sC3Oi@8(ⷨJ?;װ+U3#y5bR,q.)rx/dګ[a^|Nk2M@;5N p{0^Tp{(6|AUl] ?>ݕ]DU~ HV{DxDfi 5g]@NgC[EZ328g^~2R66Y7?ժ$,xM@`GVꀰKuXgh3Ƽ.lnQ1v%:I8EyͮecwtDM9ܬq U}a~P/]n86lo1XLkpb%KNwB݋BꇽL(R&mJk;VtiP&deKH25zEgr];#,iR/@wo?ON]W{h\\5 +יq2Щm3Y0,T6Xz¼r1rviafo1|zQ\}D]K5fV3?]>ҋQ~I{ k(3b7l^}c>?f T O4wֺP|OBhp"72Mւj|[{pJCN(|2_y/dj*#nqI؛&}8)ܫ,n> 9קpYk5z#gEq;\4Z\NavԼ4biƀoܛ/ГHk |ުEx[NRq=^ǝYob}\t"u]qG@|Ɣ6&L sϯV󼗔)iؚ.>yČ@7`ZL"W 6%Lk2-nub,WF0Zpty>EC!*(Nm־z%:n0^F!`]L7/ D2V~`xڞda$Nnn~~}]s<ʖN,s;( tt/pL4 vzչe%ڒOlNA(,9e^U[ºoBja5/?<ˑ=UK*53PCCLI}vc7FD-(\ٝhk"NQg4"A3 .Ps\@Ej /rYXʒ]uj'Эy4S5hXjqVRZ۠sYW™GEDd"LYf&^\BK+@U 福5g9zJ-QgoeEnۢMzxhbYIZHnKREj#[7Mo<%'^|qxər}OOύyw9_ǁ(:m<0_&-{1 .iߙoEBO)O{%0cwub#ы?R} 4-P/1k.teVyNAOs~ܱj't$׳e${*1m*j7wd7!'kA0exٴϦ0pUq97îyYJ¹Pxŕs8?R]nd|r/ gJLv۫t:ƛQV[%޼wzR5okQB#-B_d.F%WA*RLQ"z:$238(#oRRkx3E ieu脑Ɩ )(/<@*b<>UA,-!G_`1F;/ ;:;ھ MUWwJr&Uky*GXlZa<Қ˩ e |H$W=bKc z.o`5ˑ(M̾璽e=Iϒ+402eDvw@QZP2vʡ!P+pokqְ>$3yqx;t#lK|FPW Fy"jqs$FxZwyY4 e棥Ԋ^TShnze:u.Bdc-AΦ´Orj]w#% S)9xXK _G޽u+ӀT0\2ڝ'Hn~\6v1EGzFrt )>L}o ׷/̙R,ƿ4Xpg2 G;জ4,qC 7;fKU`_Xܦݬr{h✅$VM:mwTAY| bDA|'&|"Qa@ٜ=Hes1p>hu{؅N(3!EC@EBG;舡=D+1y,1sIԃY HڋI3Q!;Cl2а+=#9^}$¢h3UHθ.sHG &yD˚sΧ=#a:J6]WiWEL H t&deS?XChec5~ሊ^-m21 RYXw\%K R[~~D3,Esxh:֮J]GGrgދX_\>S7oﻅz: +щe@ouR>:zV%96+S/YQL~!5 p٥^ YϸV=A~N W'UIOq_J^*XIfaj ,eƌɖ#[]8 W+UGe{Jok B0z?D昞&-`jbl)[a 6ls>8B0X/+Pä 57- ') ȇ ֝%?aWs^k4z߸="J51W,Qy;g gX\j`Dno ?6CS4t|?T_B[/8;9LpRe*&"zO+s)`F^p bQMsI8BB\Y: xV&\1T|nl愉oڮGZEqUDz>䆇նǦuϳC)Uq/ ~St gb;15RZ4\AbSe7:QYkBa`|$߹ >Ki"&ȷE2?3?gPߛU`RYR:WGN"e=:.VtUqݐX ̤jB8hi2Np m5i8pVP'[`C# Yy"MtWKĘsPju:}e8Er,L ]z7-uKL*BY(*>"z>s2d .Ut7EKmQ\} 3mgK(,a$E!xT5'䚕MyBl3FO&=K\Ya[\_7چ$ u'JHy婋Xj YӅ@taVN[\zUO75˫> ^b$o}U7!e.{c3Uij6k/F4[H=--o-Ӯ逜6axۜj^Z˝c&>>Xס b~\FG_? U,+3iKtXڹ|bޡq{Ia  VΘpDEeLJ $cXRZfn@%ǎ"omn'~Tu`B&5+ؓ4 9vzB鉍^&!Fߒ,н kc(b*RF wyp$#%qXP;%>% %a(h'??,1 .}dU'v.'@s𯏞AWo 1R0~ԻVt4q&T>.Y&f@lM%y{ퟒsL0A4!j!{3=!CR8|V.~Έ ):'#EijrN!^~j[/wJҜ)D 2D hhd(Ih%o3eX:r5ez&'fWsd9`@B|-KQH_@ t_G,y$,5AΛ(#4̺ yUOY eϓ"U$=+ D%gL֥Y,M0ˏ"V{_хM&V\@֜Ձӹm~0\̃뿾^¢,xbP$&`(_,P#%)܏FHpĊ?I-;UR YY(5nZR278M^