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 C=|DD ] HOL-Quickcheck_Benchmark:threads=6elapsed=280.863cpu=1330.172gc=57.1567zXZִF! o]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB[>y쉆g-˻=$&,=4#Ż" Ob9qR9pC$Ii@:F3htXY-zSO][8'9ߍ]#}'NgupP/ϿƼ>}ĩIh S5n8hI J}TF^sJGxGK=q!fY(.RʉeR]8jУ`"K~_l^tfc&>\_[7[lDx:[bKXdMatGLxW@1$V2G[1S&W2(f$fJ=MJ6ܱj,?cOs±'erSECz8iI"iU)JPۤd/b19 rYJ-)-Bw&zgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdלa`95,ؔ󿼟 26g*)[)}S/teIr L8!db,{'r^ӻc wd4.lH)7m3!ZPWH~O#=^AGFfV2g"@i f*ˠWOAL=ףE4JgHW~x n!1CH>܎u<#M0EI|I.SMkpה_ټ虂f%<%/%sB&O&QC@p7tט?Oэz6eJi k[@c+v թL")sf-;,Ua?2!313 NKY2e"\SM6)7\BBgR|7Ndj}*sUCq%񷥑&3T\hxSU*!6-l+'S`q8)fZaڽjDD\~R4d*PΞ \ i'a4/ u[FwG |{ǂ僴U9atYrI—hWĠ?]C zf}Qu++&(%'~12!2Pⷿ?;oBX@_HԨ%Ju4Qmhn<썳 mDzhX!䁖Oe͕x֤$:O&SnQ,<C┊0 5_TADmTg+Y gtq&Ե!OM{'T'Ջd9C&{ֵ:l. Z6?Psܾ/֥lAv!%M&V>)0L%B]c!zĐ_.$,gɧckRrejҮ;LU.c03LB,Knrӥ%+.: SyH>K:BKՈ57k[`tYF< = HOL-Quickcheck_Benchmark v=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 -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[(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פ(߽ ^IahNdt9c0FXζ`5G.駱N6_e< 7 _3\NB^>];ZReO=щ^Z$ 9_nW2e{ {妸 n=_rC HK/[1]3๪]!iWu>\.^jwANtXP71ᢼόN7{yq w-'S˻5 P /Üv}~/{Ul#pg!5#@FܖEz>: T=44X@@[HlYug7e897AWBvO.`6O8V* N|ިj&yN0 X*pׯa^^e1t87dYf㩞N䠆:X]UZ6z48oxkD k;{N];U"N&ԇ88a |&0V2U+& *}XP !6Riܽ:I:{qydvJ5hȗɔ2B0"(,s(On_uς/n\A6}x5| syq*1,Bgk{}9K5S ӣ ٌ]PתˋT#Zj6nMiC:Yu'{kdCQ1l|Z+VEkP_OQ$pE"Ln)u/p<o]?> n<~}pCiJ-BCTVq(_56>FBD@5V6k4,1ٽ%$BeVxSXro~LXx1=u+$|@E5T9^ $Ԗ_tf_*f7`d$[ late2XtW i-猼+lpCu];9:.Z^8k`gi5,joK&:TH_ƩWfE68șEd1s`0SNws}ceF^K _A7lO"j6W[({zZ4BW]Jpn4(f "&:ReQD"yo|/g.SyL0)^*[õ/,bu1A)lH+Jf.P}_p5*"ag;`v>zewcJJJ5U'!_"|GAhU\lt #jVq2+)$F(]),}|<Zɖ^]9[ha0lw~2O(r)GQJg pkX@[n VC`lCĩb}#c,@ks۾ S-P*`YR7A62m'΃c'DJllXG-%̰^X%J$tWR=aN 0۔%XZ0=G,%4AfyJ|0ZSi^1 5LtMiƚwiG|jxe;{44+IpW՞i {CB;/e{jHxW8i̦bD8LK(' )fƖ̮>TZm3Rd}0-bO|Hh>aZ}tr& 51>1}aP QzvP`^5o`^%{1.::uܟ7;yԫD fxDUBޘ/|'[$=:g۵&>'2P0=E0$s39 RP5^d9G #+66nLWV}H#yK. u@U63Xm9yKT#y^KOҪSS.Jοe1d7n4t]jڼ 3pEYZVU1N(yͥl#B 3/^\Aw*H//imL| iW}IbU27}lNм݇ ˬaj'.̳& ήM`1#1e02 K"-t#1Y:B4MAh4|rZH]5 S;bŗF!4XUez9 اko(7JW2j>jj?B#yαbV8Jù +xfvʰ3o|IMy[U]w6I2-9O^ǩj{vF㽣y-:A1GUl RN=TuxJW5G(s5n\3x LEiw)D3m zo=Sbv8P@)&fd!te$z^C! 9ҾQW۱)a&amI5"wE}|q7Q,G*9Vi>7xyGҊ{zu['cwb$a{o͢z3 (4N0mZzDFMOyz·= z269h@oF ZE pUK')ӵyI2iKK5 rUd|TO.e d eRhj Yi$j΀yj\T%nvbx׶ ;,2{M@f^)IPSk%( ) `4ءbUql!'/|Xij=vunճja PbqZV6,R ѫ *#@-srBrC*C/8C =16EZ]R>HەX|fIrڙsnƐN .}$=>PpFÇ>fT4ۻif J(Z-]ܻMVa[|A[g,#FA-rUe/.4>!]և5BGL."aqQ X] ׫O Id? c "AÄ͚eQ-{;W:JWhz|6dd6+#]jK#1Up`&;C1~ O)n5-F\` 9E0 :ţb {٫*+2KY9[)Y]M-jǽ8,F܌aܢ_@nL߱$/# 6V[|% _fSA%SC _U4L] NS!D! BAsCqo튂{ty LS[c$,S-+atМ Q5khG]!G$& ;˒]0-7K3UHD3N#Ϳ曫^`oK>#O6~*c=s%@Z-!0MSv)Ef%>6JACC@#/!7g MK~Өsĥbs:Ǒd&-M[ #3HRh6WIxK3HV}--J\9yJ+4WԀ!,H.ֺ^a@eg>YѕW֎9+V2h0y19CS{ ل 9})sn2y> bXzpTZh#W4ַwp>BmDn 7Ŝ!,C3/ACrt-1w{Fk;]תx`B˫>sۘDr29P>u*%XR-_t fA)at)^͠IZ62-k>c˲Hڇ~ I6$Ry@(u7'%r"-ژwi'Ky y*؜  ZkA$ 6θSڢv5y  D oUog)~="uʔ*,5I/24$gY|]%( տIXڤg^Yeyzn!Fs@KAa}(6:rV# 4foLuo2y_<މ}< +X|a2P}ݺd-a"7]GFISbV6Vq~p(sA9R!&kn#l Q]ەR2N>ϲ+`qOj;EQ) )m"=] :[WҨR%PTCߕl^ !Sq'CJ WɆ>CIn\-# 2S|f&$dɦBO8 XI;a`\}F#E{Bۛ?f.в;7NےisaRfSrHnq}<)(~6 T5">ZgǶv*Js`}m 1HJ5v/ 赹]Hd,ĘHeb` g&\*o k**-Ha.Rr:t$9:g6J, 5 VK p콍lܒ΁z^%yGJ[鯆N2E*EG6vL|~Bp`;z=Z {^dRg#A _60ή+V(O뿾̬qyL𮃎R꩟mS_ l1q\Hhò;`򅞲5c# ]}c̽SiS)'s0p)΍vqZr"؂2x\|3Cu+R7:ߕ ; Vʋr]{OCaBA^)@O]Q 0Om:\ro[')2 9F=-OʼnV*bSl1?4F_A:6K&DE7ÖcI; |7"=^Yy^lc+\gDl[8hDhc;㪄GpCͅZ~{xW3/* ׂ[L=jĢ@@xds^?sTؚPH捬o`6ߣKuzzU;kfFs|NVc.h p!m?AĀϡt4qYHq9V[~>PpZR©QZ4dc9 Trw~JRUk ^<Stto&*t9pf'T\kMEc4%/ϡ8g-pڍ_Y֚vݱ_Y=)àGnHt3ƒ[bFq'j q;xopP~#JzYʕlJu܁8ëYˤ4[T9|I`rI}JPv@b|m?VL+W Ly`UK}-`~<ǎyS~e <)8nu 8.# } sZhff;@N#I'$,΢5ܕmɕ^L3C7\f=?IE eV4{:z{wi՟0Y^ir|S'DN71xX?P aՆD=4D[p17oݨ>l|fn v^u؋%1U l(,QEeMrj zz[2d̜Z=hV(ϭH2R϶1#QWI)_m*d(ŲA2Pme*vk`h'TԀ輘[g=SLX3 Y_.s#2b+7{յӭu{kAS7 ;C3 E%gz:ɊJz5fзxP/-!]v g>tL'J;] K5 L dUwL6zUEcJ]g؝EOYeF >>=o"{ZAk4dL \Y』_,dWA&꥔ߵmݔi6Ǽ lVY 琟3ȩn45' ]\(vkk 8YA3FvHE^$uy v*%_ @>.hCE$V)V?x.IAɌ-؅nn)dC[A=:<| N̟HYY `@Ƣ/ׅ6PBIr -fg8p_nPWK%o|Y@PU=:HӀx꥔3"[ڇk^u|.ROos§"+6yYv\xc$"84syV̓{),zO^JY;1%u>Ո]ݢb^YVpf獡\ALJr\^n/qnma6W6 #`vn#!䤊&-^3&“>xL9X[958kD5e52lh!e7Gc9 ~VxaMſz f>퇡f"X oj{|G?zR9nǬ=^ 93x_Jq3t E7Itͭ͟zIz=9ie Y A3<߇=XVG6į|1,>5PzjU,V%C(K Icg I*Hx#Vme-vǢ51?{ "LFWF"yrk޻Lĭ> %;Y%dP[ tƳ :ȖƘ8f *<&{B9!Ae / n:+xޔ+!=yCΪo&;c]9}q"#FB\.u嶴Cn3pgAuy]f~2Ki'F}w !W(Ha/2(vjcz3LG4S8/sIaϜFJpޝ3φbLe,ʽG*.)|V)^w'fA#AA 'v0̂ZvEi}`cRc'u`n){WrbxD i.PN_.!q_+k>t艪 5+G>?{anV|2d ׳h4X~FUJO h"o끌6_VE X7O94qIDYYL2lJz `aw,&W^sS_xa3dtQ B94AwM  ؘl G~ kGZ=N>X l|>JBtb9MBĤچ~y}Zf*F䖔#0Aџ?i=X^4|0[Ue'~ܔyk[>.M*p{Jހ8vڛ%Hzq6e#2*E&y̐G;}EoW1Xs.L''/DE+`[*bG(t[ [%{1$ g85Rpo%Nrm[U mýYt ^!Qm ; PvTh@6S982Z;ԮlrGLl|^̞'tj"Ne،FL +VKMηEa!|8"U~S6QޑgO|1Iuy;6xonw1J2(q199%30JN&xRDnwRAtI g\;F%Wl.v#<! B]юG~8dT~y)о$KI00Q'0'F \mT-P0b O A+\mѾ7ppsqC ?OG eg}5-̭ADZ' cw.kPR}!jn.jCRg9P٬T|dTq>}RI[ [bceYoEk`\6$?' U9 E;MznD|5= uI:6 ӍMcOUs ?Vrc}EGnS+Ŀ~{)!=L2v԰ߨӣ&Ya`y]V}Ag9`4> 9ڝ]7QV)d]Qsi@gBTcϹ+}Yu}?yW$XMfonƖ}:;ePF4A 1娤C rEjh<"\&nb\iiΤ y[l9*([ǟ9a9- @pǰtlې: 6sG" [ (Aj |o_dAŒ2I I-onYrq(r2?tŘ";:됻۝!nטBQdH9Z(qcDS;f>Չ> Hܣ%S }26+a,梐n>}EV6}T*-lڬYnhny 2_ꂱG9wW+GiWwYUL*(hv6#=&N/bNɦ˻Y'^9 e3{6^ʀ.tħʸM܀ wCĩַп>yˡ$"m+2ޏgJe!OT?foeIdۿ5ǵjXj"^^S1Tͅ犀"i30#bܺ~g[RX=YVrG%]Pǖ/{!)0vbv8 s/l31EI8?7]Ý5cv) 0A)[oHڔbw ,iFV(c区ntب7@ѯm 4|ebTT꫼z jDH#0!oҶ%0Y@t}hû_IO1o1.˲0KUʆm2Z.!J_)~F m1a֠?;]^$a6LpE,Tu"J$0}} &ۿa7No};ҢmkKCB;_ؠN #C/}g vW\V 6(rߊ,=Bms~kym;}P_ʒ'0m/ iLGDK©a"ʺٮL R@^.]-5zN^D5}1m=9ދ wqxYg5*Ud'3$|5wîmn4=1©jWK7X1`lqyhC6m"<2]8) XNNIۋ҇9Rxo!+Z4?c}^hi!g~IتQ JEơ̬Ժ[ϻ @ٻ3ك,⮺fN\O?(IvS]vG^pƎ- -uHs3a'IO;cA&6=63a)Mׁx4J3iU yU#UTg&_spH*E[{0 jvб Ht|݊DY44|y앚K|{CX]m![4zPHMRpɡO6eJl9[!2U6UR#ZPI~a3"m[-Vmm tq ;lpMtEV(]9fJY陳R}%^i p`11 =Η)wn56;X_`j}4@)IVdC]2@rdXV͐W|k&G~- O{ `N*lnw9HҘYsՌWșBbƧ$; E5 D[|x;GV°R&+:<Z˂9B'oF\ 1Oô'Sձmo9C|Z癆@)aOs!<%3n+M]|cuT]\R:r'lGTLpUIdȆTP|,4!>-7Z+р}iB4ЂZԀhZSrB~h}D g鬳9=Z*@CNiSKqC yָDMCYQ_$t2RV*h4FhmY"X!lUC}D ĊpŪ%w Eo&қX(bYv,yf3J (&f}v04ձœL #z4n1]Cr}ׅv3WY\MU#sn,uY~TZ)@B Q+#\w\2ӧòGOyTV#P 2Kg8Pk& B}6QyT8cTyê!kB1tֲ̑䖽CuJTa92@ncӆڳm,.)]Bw5tR"ہѩT,y1ΒmAq q#25l x8q=C漣Wo9 ¤@ ]Ǧ6nH>N+FB9pQ/Cr9@H}\@T^?e8[W 72B?xxڤrCLbeb9`d߯_yKg"H8C0.M#reΘ([5j0td_F3*gKlx~x+|~v풷ut+K cR؇ *^,*̏b7uf2PgN0x$wfi9oL3`կˠf.g; ް'E 8ccR3P̓wj3~ jȶi]#Qq4B痉L8xEO)?6%2;3Jmq-}2 8(ѷMM K}H6A?Mx(YCN]KoWMN>-ht;b$?{T&B;T"⿔|ܸ9ӞɹYٓ.Rlm֓FK;Doӆ{$0gBVnyzxm21Ftz! !!?`=%H䫷d&-^O$\?_fِĩ^$.I ;kkr]!g&e*8583xV40^ݾAoZ^{%T6KCsD^cT2I1grD$ïW s;bްqƲ+-.5K%HziNJO{*./Uw v61jfC ɕͰQ.C`'kZowk*E7/KP" L+'C\CZ*9Lo+Ms+9V=֐PB4q)| ikQ3As >ArV-ao~ٽ(b&9 %_wzuG]ܘ۫a.܌nf]=U󠐖\Śj'`+`6ҹW:Y$*r{KyfZosmu{spI+min*Z l>Qq1*X8O}u˳{M/8G(/EElPaiK,KIأ:2{ਐWvHЭblp5倆w34{y-DƤ>񆍛|)m#(fݭʨ=#E=ux^4Dϲ_04M$ߣ8T\;;L&R k Q!QEa<:v)J#L Xl*D(fPb.޳w5hU(Yt,ȰM/cG@[( O ]uz@!6ݪEZa3:M/^C~/-QKEHC78ɞ=Zs(N8!UbX8 pRJu0*YBzzm2|0zuj.W-A<k}e;J K׀<r7_I5O Np`tͮ7;;t  '0 (:-y*%t|z ߮}S~Oq$Y1 /-!ŕSHE[-*ع)grț}/Ygsiӊc1'T;vQ͕DQϒôd |=̦so}fKTfB2%<6s%g5&vuvӹa1xhy2|3L+3A`GANb-pu:9l=up?xomڏF\c 7\k Z7)$f1ѭuYM ƹik Hd+;+H'whbؾщ_^ ?[L.ۯ}jvX@P!F5J˙byo%BQ?#Q/YR黧I., Xak үe;Wȴٰǣ`V>5Ï+&ZGڥ"19=<jRqSK<$顇*O %uDc8*k-2`xڎv]9;vQV]< R.y& >n.#𘒈=Q`Գ#"#CMӚ|k˅@}p@F#9>,0Z\Xp1a,R:A V`yͭh5Hק&1g, ]Z|fc[y%9 vW!^ssAr9}T?фC=v[8&}> :Y2vR_rgT+ bI3EU߰kZ#WS 6$C\q.VƯu 4Eqr[$agi/lw̖Ǣ[~g QXKyx@ c1?tl&y#tQ݆-*|?+U|pF[$;m+: c{!) YGЩv=ِ;?.Z|h7;L@ʙfcSەf;U:0cڳk`&um`ê6"H93OLNBg]nІw*` JSRY-hQLVl缣r !xU[)@6.:vKZ%P^23  HQ[10;OB;^ח XB՟B~pnm{ z|7 [% @q6/a:dˆ> ~op,jT}4Qc} $؉w?'h5 ~&06)iN> O<ݡamZz,:u~6Y@go [CJ~Z5TXRt5=I[enV$ʢk أe5dΑ#TAau|&q$Y8 x@|$C>-+6j"!/7uʦ'0@QKJ)=.-J[xyHv|X aXJGGG WZo{" L3䠾[ қFʢo2OjBl6|Aq)мAΗNXJ=iP9= 74#qϼvkY߅eu ͨ Z=7%MSu5 O@e9+VȐZus"gE]j5G XT/g0 ̴&l U.;4 OC箅R,\e#jgf$ԅ4)T1s^Vpqy&ee# X ?*qCF`}!6'E5 )az5!l$5gOlV˓M]"J p?HD· +*3#†yqj?hVau#yRm kp+PE &ejIY1***OMk=PQ|+fMm} k碿jņF%*8ArucD?xzQoh8GVMzrQ^I#laZ47^0/voRȣ^qeW*g5l7Ѹ q~C2Zfh=#dCӣd#NlE߶'ַgMgt",c >KԹ wP]&r;iٟ $IKL,R{::K:wL 8L%Qj](ݥ^w׉JTV9\kEaÈH6M.xL0J'Z 9Jh'EV)&QOb }=W/κ<UPXQPY;< qO8T(UP@J%@tv5v߸cS _]liKmCLHX*Dn#VORo9{ΓtTs޾b7H1`qI/*m}#lB]2 hN5J2,űIKշ-!*Xw`|Z2TW]O(:q6h1m,5IXJOWG0^ ׎~g7r?<`R5+8LX*qgJ2XuQPdf|v3)ks/YH;psYŚ-Kϯ8¤QgJjcȸļ %K6cH+>C_ugu8T;{[F?#.;|J&#K8Q NQr>O s<%k}輰h;LPŇT_LҾR⓮Ej%<˚I(69elB*azŦO:n”d4P ^iGk1-Q8ww*|=QtC1Wu+#QaYV}L **"OE>-JVX屨<- Cjҩ ⻇;iHGڰ)',2fw-yQ~*JMB@&\A]}ڮ͙)oRhFVeݺϺWCIT~Q|} HQs=q[Ϋ\G7"8ö́ZHy4J99o3.T.hWQ.7Ո[,;ͳBpKe*T6dqL84$B3pr`ϗgO!Z`52Q"F;BY ]9:SݨaU8)Ƴ`;QC0qCOBu.]&;O5L碿u>)!g۩'-yYC5~("jHM$d= oDD }|4[ w%NװlX:#qNJc@%bVƥA=/FoRJ'Vިf"sfYL`K8ϦpwnMrF͗3郞r'G7h6>|ͤs@o,m_j] phK5)z!9s]1$*Lґ"IGMX"1r[P_k0}Fǥ0bU+bxawh>ح۽ ~G#N <8չr}\i5.qWgJjZW$<8UEXל$whG*[w+*u}.jB`M}R*vlj,AI^az=&t]_|2IdBܭv/[0k6 슙Tw!*ufgo-::87+R 3w. X#lYմM1vir]hI(S5ӛrB#^XX(A*iS`25qf)PisO*C!@޷x1lk݊}@>l-{׫{>oV?@MQT3 "glbR_`M~fmE+I~ *ȥo:g 퉊˽ɹQ `wEogLrh0\Co6z  +24؁Xmqsk#$nMS6Ǘ``r6L,#8Dh#XTFQުv6kV, j8D;6(mE*J{Eķ?H }8EMSx ORp1=eisS5 c8,'OV#y1$ Z&͹ss# |a Q-pFkO~,_]ഄ?E@w^y@ Cb !Ze/f] FN!G9heD6LzNfm;t$YMAlɾgw+C6l/1$fTM s[:ݎ $sB:Nrޣk%X[3xØ )v3`a]{T ;eI*ll%>٭'ѻ.QNoTNu%|5F9J44?U>|/jyi"LSM@~gT2gZ EXZ/_PoI0PW`Yf8#?nl{ \㾦:wb3(c Z)c 'iFjh1@ KJ*(Sb-ji&KLj&aZLcϋz _'2}f ok8(9 d?6dQPxx9e71|0wЎટ82`ſpI~poFNba~xtQKM U~k)۱xkmV7d@nSDŽžuF5*ZkP^Ӑ]SZ7ovt+2Fpڔ`b`ob,8@gXMpYF=JpvX5})XF\"ƏHGZ A1%U+hŻ|mѣg䩕8:/WɤZjF9/@y"zN2:3RM~ykPzu(qiV n٪ٹv[>οB"Dչ"'ajQ;rS#7O-T) 2lpi׊ks BWQ̣Z<:ҡG?tAi%bɔvs@ n@F`\E..+LS0fѝlcc_nP?_hޢSR zLh[*i|107,.~;iGlخI @kwzI'Ss_G9A/yAej:WDGW$ Q30as7_wYc0FpМp=Us v!J|.Zz{#{ PgYZbfd7bc51df614fb6ab23e1ca72dbb1c3ca402653095a950634237037a8fe6e589372f54d614cf935 dfac3b4064125a42333382ec937d0cece35163aa 77136ef32d63855feb31dba125649d66b8de2b0c