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 ))7=|4< ] HOL-Quickcheck_Benchmark:threads=6elapsed=281.759cpu=1343.472gc=61.4767zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBjAmp4Y`T'B{gY&,FXed~,![P*@ ϊBZ,͞:Ν] 'elq4z/Ub Qѹ=~S&jΨKBsW+$ I#EBb=y,+Bpqbc2If>wrE8E.]"P~4k1Ξ?c͏-}/xƛL/>vJm4 ]٣$E"ݬb6਷n>jB)%5"ܴ!@n ,R&32H69?Ω xK5힁"&9 _j @\f[p (+{4n k~e-@-g95G1e$3D=YΝLXZi~oHKO7^ԯo;p&˞ig"y3?Ms/ kZ'3o /PuҗO UU ,E-\XO ]tѼ=^V, \=G9osz)ablg?BX I/[~, np1IO[>|5Vw%)ʨWs4OSդu`RVN}E%qdr4 v(4_ND꣓t۳#SˡZO˕y}F-niB*]9Hk:p/Zy'!x jtɆTd׶0~ͽ+yXIRXh'_2;DgV(L(2< p'֓/HW|niOO򚯄{=V!+̗ =Qσz5ߺ-D%[{<щIז2QR5%[SC6gu.] {zÙW tXqf!Wm &#9W?)11 Ys:)Q苵R@Ua>RX߁$_RA"V"NG.֒!2coo#HODr޲µophDz .0n9,*Y_45QҰZz o7(CoE+/Q"N5qceV = 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פ(߽D%fŻԧ !ǯD@Gi@=VڂD}pd5>c2X:GQnǺ?w7#T@SuڥQj(~`&vzX9a:PMA쑧ˡ2KJ/ع h"Y7 ,MWf[6 8f=+N[Jt5P+f̳r Slmœ/gj4zQ ZEEb] e d|W$*d;*3?Jde?L\&ن2!V&Τ3r֟* <'E7/Ĕ ʐ6Î.MA}Ϫiv-k 675vk]ٵ.=V$%׳XAobК82Ƨ{l;]nNHjӻPduKOF L!#Ja4C8Z? if-:Eۗg}}S2G`!,نӥ;/w[AcQ`pbMTb05!#T;EЃQO'PtZ{TJ$5k:F`Lz#G=d^OolL :C:@NdMQ˔t6/̾ÖD|FAF/KC<'#ҭcɎK`H7mä捭fQ# $re-˲;MX-kҭyBV ZfimKba̺mNb<4(l9TNA 3HZU&˭2}"Qz ' Lz?~0!2~W͂B,kq6oOldXI!ޖY/!Ӹ3v {o_nu%sB^UwUvBjPTp 8펇"#ś ZjaPw$+Z}H5YPwTl7FdՁ#b |Цb2g8`suKo9I"]v4K?ԑwocXk ^l9X 09+2?U"n FGAa; wk}K2D72yaD\˸61w-(:2T '{@slB2ѐkNa~cvq~l`ͧaP=x\z')B7*֣TJPY"6EAv8Y^ uazد!:-7u?-3UT>iFߢ _xi{md$ϸ2)RU̻Pjr{Y띿ڐ_xTBQ1ċ k,QӞZ*SHʲ҈NS[%@eO#J$8 |,H&{Dn8ctCp ( 7$q.k#Q]6QGuw›_}ȟmzgR\?p!]̯\ɴAڲmTfc@"wF!=9PE!_7#n1TXh5u0>9F0< y*Txw3%}4J['5{Dۛ?!Ϙ)!_;vV'wQ°Cqyj ֳ ?RHu-]{#CLohX%'R2ssɄ=@#PN1)Lz.``LgaNhF!CyVcEMϨ |1K1̢% CFm*:nC/Ǝ 3#(ylb W ~[#`/Y;pD{K<:"sXM>3 oN,RM qc]*a1c5 MZpّAN)_{mTAGKl~hb5D,3O$]k- u:^H'PWC}pcsq S*W-CHx1NSX]D&̩L?.b\T5W.ކQZoeU>vQsed_ߐ\mf \ھOqn]dɔ =^hu,f{&xᓪox[rQ%b]#2:// i^1GtCȪA#{D _2%r` (^,ާcvb64-h'uʳ!ZZ8Gɥ%l>c(# HqySK9$ءZ!](?#WG G) DQN54.Ge18 @:yOw=j;5_0ՠ k7VQiE<1U&Ʈ jTiPʄN M LB݄'0|)7A&ʗ|K_ɭ(u-fyD'NkdYŴ;SM P>ʸD.R _:A f|t@}=2>Y׈ G.\'ձPfLf;Q)+No>q}5)}#SqfV3/aumBS[g-@C8C#Im@ F_1(vs2:X\oTOez%`Kh~{>}z{5.k㠔rů!z5ü`HɁt$)`84XiVi* +dRⵤI_LlRmrĪv1!X,oR+0RiLGcGzGŴGOB`>+(v]vR,/"$i Hc!JVCy=a0&DZU&'GϮ:#aqF$Fn,v<Z݂pdOe W1N?< xlZ;btr8Ǿz$MUiFEGdVl%v='S(@V2{_$ ~ђ%kB)(n ֱ]͓EάoY!+śkwӜ9wɻ,c]+ jFFI@Č$cn+x)IzS_-bgiB#9Ō1Rp쐨'[8({hI,8 -l"qAŗ _oXˋT/[R_ڣpT0CoAU>v]$?;t6 N"5fːWX HuVyS84݉|ű2{?תFȍz1RĖNi gPx.l|-ALFK+&mL!8i+s޵uM5I|5?ۑ6n k; _m Ow{#xk=]Ϯ;J "B5oFՁ0`^V*D$f#L rԡyU-?+iØ"@oa3CfI z"}{ XRhM Y\#?+c>ڛ?f5j@+\ m[ي/vޞ<(8@i _وoe떚%N5K=]JesEeOM?RH̓ JϤJNAF`dގ~!FaDh`X9=-I#r’Fj{6^zQ}@!n{nU|QSk:xs$G Bgb*L3_W7?$Be"unMӒvdӲ`rnK8d7K͇{|Z´dwr%*&Tm0%)JjQ#(D/Xg!u/B"k2{/<ˋb߫/"4q'xξN^'401:JF W3.jG^$!ȃ{iq%YrWC*0F)RsZwJP,@PӧN 6s5p*`"9Cu@v0y2|&ILj>k).ߦ-M(e71۪ ^ BLQ'CQڀDBcG=CyK$~b&uNQ]/P_l"$ӫ7gڶ3k7 PAATyyїe jïylQ1QF*ߏy",yE.7Ng~R9[TR#$#>c|)b(Lr9dVZ_Vd0\VUTZ&Ol;G->jxJ:a=PхQgPfD;c~qNSS(f6z/';%{Ŋ6zB=7v=0q(fIO_޴Gjgӽ*ow TˢS=KUJّ@->Eq-csKd2angma۾ Mp9*ݗrҋ7*q0 U$^>%~KMB ?7;ACuney6\7pK@:`ce1wq>b.ra"L %aj:,t1 !owa:1~ԁiS( [*5AW' TVBkΎNl X/AOFuXS<6*;@Է-ǥ 7Hۡ}|[7rB!D(]ޡ'$JZfFYڃ; p ĽtfCa $*e7 Wqb v;e@c ̠R$ܮeg.KKMCi$Dݯ"&<)-A)彻(|O@Y$j~NO^w&OInh?>{L9 S4lV9NXK79; ](Y-# o1=i0KI&G{m\!^+FhdFJ(,x"MuI^G_A+arDCx$'e`N3~)Qnf Mjג&M2)P}^ K(*ɨ3ed;w-g4L%{"JFq6̡V+%n*'*m(Q#%MjB"?2 !m{J:b$Qtˇ$q;zN1'?"WOV6?jhkE?͟c,`/Bc>OS<+17SF2@jz.AEXgU1O-* %yD F$Sek[rDŞ@4z)WsRA9K\!n@>&';y~3hZg)` ~lYgT-SKrA+o'FH@uW;Bb|?~$VЖ̅8L(8}pQ< \;eWsI6ŭ*cה.\j*ʘǗ3PBbK|,! K:H6wJNj^!_R*ou8jI "SZm*yȳ^l8:1WH2R 8nɚ{])t;%,!uhX8M)n_%Pȗ1NNtH&h& &_1g+IpWQ.WҖʭHΨyRS=BG8ͩ<; e@>-a@{5\5rPAvѐk8< xꚧ5 M8{D3d=+ y%>x֠Τmy*&YrJg_ P0[8]Eĸnj`sk!eV4N1e]sU 㒀gOH-Bm}!8Dfxky +-즽1T3fyhD殎@$Ҡ8o2MEJM,LwE^Uh>:\3 2xxSjսnX K}kcD#)`۩:3t@<1`@,|Էs*t <~D#^2@2T`nGU (VkY`F9v `'(F _٬鵤<-wCp7x:;f:cW[Biiʠ5)q{ΰ-gbkǍE?н*l IK˯twFMޞ`G"[_%~'%p?e>~+*sZrF7 굁 +R e㪐T\&NoM}DB4-#>w2IJh]+ ԑ=YSz}nDUyxUn5Glbf]lG?1ocN;1Zw{Ef[n-$g^[hbdkT m[Nu&{{7FOHVs;!Lی`d4([oXQ\V^JZ-%$y|QrdH%PEC-/Ku+g<֫Na$L9iǺ48xbbynX?YiDǗ3/A+ 5H?o=52U cׁi|NDu_FO ] *l9NdjeX{Z{[п!V' bC\Y<D* L.x3 S!,=o @yHuj#d-aMMŢW*MռTF GT9HE$&羸ԧCTT:b jWT.(?%z_WqTcy-B0 *Xb%2֞><k}Xꆸj:O%ЬoV6":I۝ .rd/GӁbUӂ-GN^+; u+tU:ǐl4/TÎ[BN'< CrxXeWAt^fpYFIGeQhAP5̼ , 6 D/0 ."84y{/c/x[A=VX==}Ut pHwo֣(ւWS>7D j"P`i7qrXcAg1oh`n*{M}P<4Cꆁlp(Qu%z1@̍)oH COZ,:Zq-+@36-e9'L6v6`t#{˨p@Z+1ni>72Ȭho_]Q`#9iF'J!2p'*1=,k)IP=p2М'V>.xEO8$._nU]]巫T/oq秃gt1~טkjJ>A37KEtƄI3n=smcKX/£916*KЎ>tfi˴9y{W<*-8b٧߫4, R|ԺӱwX\kKCW';`]Y-iެݤ҇sot8;=26Ĥ6DV9 G^9H~9v5_;W2veSKe_sẁ-W篌FSKfR6kR=lJAp 3T%\9qeQkIє6u3rڻbeZp(M{+ͼ{l,[8/Ҟ-KI,g{Tc57>:ƒcǸNTb쌽~=>v&4՞'VjH?Qp 56Cw#]eL P$$8ktG ^#=]nt _|K[ts.oUt#]F}S*n#iE,O *4j E DmJ}>wBB2kWg;c N'Skb`yKuT)si"^pf<3JZYֻ xlczy5+x;J޲w <"& lO2c5Iq:t'k*-Bn92 HwrSS m(LIЄ0T~ M Y?2j@R  Jl鈩^[sD򊁡?HJϰ[Q xpjD̝OQ@A?k!ʗ{㓟~Nƪ,Ź"z,ps+9J/3ܭf+LgI?u#S;>E)PRh 519|#2rH*YX o$?Ԍ ,XTS!ә&Ju8Ŗ C75 .e1 %lxZq }`[_G^eu&SAQ%pmHH|fK 'y\̾KH@DIF7&zO]>ýy($˗VvP'PfU#DBddG1K7XSgc(qdCRK&G1rj8){,{IN+ rAK#W8dA i3΅N}2ۼNi1>S}QM C$M-Jn傋'!ٷ$"ֿiAIQpFN+nLq0ׅh6,H>~*{rϬ{,G!9q뉠uZ"E [Ρ{I_O/u2M^Vr>~N$JX8 H(Z[O'6re s(&-% B9='mw!&[؟]TIN <'fje̫fjtYM|[x٥51k YGJa]  6ukuxFQ1NEZYI}ji{YŦͺG0gIYX:wSs=W8a F1S[/2Q/G'6pi!_|!_,,F<Dž/@>@lmaC%e(Jb(:;ۦ DTS=z蓬M:w<1k0elҩ0vavŖgN(A IQ+:3*(hwp ;99Oy֕$nF1Qln1L>ŖPP p1&JW#]7R iT ZL |\@Dg^%vvn$>)7NNȞy:еr4EP𵷿h >'.M|W9PZaqQթ߾WKM[$)H$@NR xDM3F8љ_Ndx]K9";ByjyboYY o+ȗ#(DZf,h| EpKЬVT<-yVxGA%ٮ&ROTE|BO=m8fW qiΩr;2\҇f0rQ@i{)3V\촴Z7̖? 1S7ɛ]^ڰ:1;s1T&>m4^96i bmDgJہDۢX0T;tp)>DnSr_&ޯ-V尥^gt/e"^'Oh|v(-bvAXDeL9Bxv h +cbn{8 x\"c kZ叩[0'@i:~nRF Fj$MT}56!2$(i+TJu5ǐ;Pf0g[oV%g ~R^>Z~BO%"Ԥyw XY8'dQlTO+v:+;ĝqx-h :x#ӂogYCҲ5ԊJAaHӲ\nt/qCMW+ak707ꞃt#zz`2}kT ('uUQf!u"^~eDc>PdZV_Y$ syֽ_OUAixR(sYg7ʺyn$#Pm%[ S&/|4@0'gK U ~>Ss.wxuoq7zV2"|]`V"&ͩ>M_ ݣyt0ƚ Z>Vs3g 1//< WϨ`8٤Rb/6"zG>*)yʴIG]`dO1C:&Kc(n:!]QkM%^6ʲ:r`=krV1Y6)hh@m m\_:r*fokn)S  ;4xT+'ҚWәlKqvb.BNIK wy~x\ҳ_Pd|ЄHhɟb4Igsԩ"T(#  pa ^4Dq葬~9>i۩F{MWMmVpH!$TouGxRnD3EB=Gl/?؋eL4$UO`KΦw0-йp  W$$ lW ~V-0 'ح*چ 0Hr}z6 [TT"p lSi\Dz-Mˍ ElIY՚/fE=J<~-chXx/KCQimsKRק5ȱ^oi'Y6ˏq6vĖb7̅}sޤd0w Wjy8*e3-'C6mPGOI;Ȓ01qN򹛒gxHl.&eQ~I-I9NoUjc7x\)c1P<$d qŵ=z}."/k!Ŭi5D^W!ry뒴4mm톘CiD=UQ 찵L<@u fGr5O WI=O5|q_9\2TV0-c.XMM%RtR. מpiS9k#L')+޷x(h%LAGl*%`4 erO8+EbF 92l6)",vo7 ,n띪JrJ@bV{tdJl5U*~TGq 8Z)\_8iǏۮXzO9à?M6 *j.f͡ 02M=*s>y}HJ<t)|nfJ}}lk,[hpW^\癃4Nȍf|i2KN:hW$Z`@JF< ' ( >]苨1 'AY2 cN\mt挊" L ( w0pQ}e2:rH7maְ$*1|Jx%pӻ|gbШ[І/*t6Wi..huw֙ь[_^Ksqx+Rl/!Rw( *fHER"ITS)秀 ݰ ]oz 袱 X g$9g*+og?^Vxyle!#"ep>W԰``$ Y,z:6}[؍`vz6Ůo+lPǴq)+ b>K'1 I7f~h=vŒMw`L@Ww%hj/Z4RJ4gi{vOia*u:<<,g@L<Bډ-4H8ϳ̮m rf`{)3H<[AƿRwq~fBDF'SFpw<XIyVhO36AcE{ Ψ}[9aCGPM\^j e.pj",n:&NIHRdtr;_)&q9 nK=;VC7`pgmfe{ X M|) mQVNMFSw1˵=$V#\iSm#``jG gw(&|09p*Jͮ*48̌ p~&=k=h\UXri!{j3 ^ 4Cf;jֿ/>u7$1aEڗ,Ɛ&BHߘJj7x׎I {zKBrUp|>+EzF#wg'ƴ65q`@Ibh)8ȏgFҕӟ4xYf q*0K*` `Y/(wR8y: tB7.\gucwlF7,櫆&Aqd}}[8B37mC%sx5f-㖨UR{w~:?KqAuML?!{S/ οVtjxm=*jQ(J/Jq.|X"C*?fl@f#_U9!NUjLG`H|4z#)^DZ .ts 0˯>I)x_5?A՘p/LXF7roCgrܲP֖CE6Zp1B, _dMm[ V#sѯ0RUů.Jqv:ǔR ݲNZ~D4%ԃ?iО~Қ +P``y*v1yjr>_Pp-\B׌bǵtZY%5c_GpȏTw/[6 ܐ䧒&$v٢_եm+En /flL̖j]*פZ:ZE/[kGo~r4C'6n|"7]*:=T7>E4bIS(`IJv+0t5k9IIS_ n3r %UJnNhE.)J&yȟ򏵕8Mh_ -Ic'z$797Ygg;P7jF__iI+ư/+49{hT{8h'ϡ{ʂ>Z>TZ ^W w+ f9ep#.leVʮkzlk)# ׿V: A.4>7NSmO'.<-9ƅM -۸D#{-2QOaQú~uHǨbWu½hsީF/k^+nbp]6S-xMb{qTbqHp/ jqgEO tRN%ql_3Kk@pleE 쾽!FY`18^y=pvV>ýEo.(V/r|Qlׇ2SO[| (F y|3/?Fד9Hcь.#%̙f'JI+9WuSa?W X)s{8&a9P܎&ၗ "=xRKEmn[㣱Suoco \&?#'YCoPR%fe|nE.ٹDي$ Sf$cdg1u=K"31 כ/UT$&džqE5?@!0N0 !+-0(udĂ|Jn\DnɆ59ӪF9\^"ק['5ئ0P/˳q X;-lZrmHSLv}HΟYec4 O#\L;LgQهӾ![Ub N&Yyh"3ķJrP]# Dl2Xe˻EƽSLoBa!\xuA'l:V?Rmu[.>:kc0FV8wф]uUo8.TrFr<0pC>}q!S ? g ui`=}fέv 榳q7VCC*N T{rEFk^y O/Enq3J׺R^a Vu3튎Vx'+4 dl;ѝcM=a7;BR%(NeXqG' y^l3/JJZTw|%&f&/eiEB /FAS~Oǭmrgi&Ll`+f< ExϬ %)dD2%i ڳ'kb$K]8VV95 .΅,اj-+wT"Dƹ*Qϫ,Ҟq q\%،R(P"uGzMNwoHp>NpμP$H#) {o5]f$~0ZFMTҗ>f)} :UZm?ETi.öhD#)E5fȔRMnР+y31JB%NeW`Q fSFɸŮr4:Ty<܈PzaV:a6Gdxo A$Gb2 P (ʣl[@eE?~jJ^<>K򯘿',ʺsl7G,y/]!80] g03e=9jr6)2.(/4y/ɒG_<)y(o܏_2)0Ox LY~_`U R:zmJBZyFad•`%6b~H0}_/jE$Bdd$W} Hg^'4*?iRAhg^o^\IcP1ŒhMDa 6'lW1'p\0(!lgpw]sħ^qa"{m.F] 9ʗRDeU`=r< U:xfFvIF;9nǮ(HPaBb`[a(uVTt~f=L*h?~1ET_FvH1߃t`l` Dml6q'"=PѝB`u qՄ'lCui)d4!p~e)ߍȶWڅe ,}#nU@S,zS-Z=',Lʍ_bBH-NZl,m}ajSZ0Z+:\g\j{CٶR]EA TX)Xmc!^ziYzqq0)g#Yy"$[hJ)+01K}VBzmgRǸD#ѾyuϩY);Q,F t[YiGSG0@{kUe{ u9\!%v*~gG,5{]y(&ض!nvza:{| ke*[tx<#w Gnl`8sWh{?p4;gYZ3668ba8bfae4386cbfffe1549bb74db642e8ef23b1229b1545e0527f3af637d3b7e4d9e29c3516a6 2e63f8b985a17038023d038a775f53bd77337d39 d380b5e860e3cc79a3f77e30b43658319d60502d