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=|\$$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=278.040cpu=1319.508gc=60.1167zXZִF! 1&]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBje9WsW8 nObl4T,^,Nj?`u.20N&^w;hk(sg 3W=ڟ!q< -/w^COK\38`vg`$'ڵ`ڇ> 4RlIj[$0ysi I(Ӹ:C?73'z%ۿF<5tLów39f"RLz {PNXۃ̼#yB֦ltc#˗tIVe>f"-@H1Ѕ%Kkq'R+gD7&c"5rcH/sn"۽Ww5`]knlQ!5_@[q_S)1KY7УtQ |@\VvFb&ϯ+*TgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج00ұC\vY^,|%O#IYǻ Ccl%|M\fH?߃|S?GH7q. f k`3 ^\K j0$Gd`%q%d21pm/ݗĂYgYZ7zXZִF! Be ]ŗXi%F=±t'qh dh8Yl,o#WLzM; Ecǔ?u FC;h=aelHx0(;t,]&_^VCe$͸,gqHSi = HOL-Quickcheck_BenchmarkI =} dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.tex7zXZִF! X]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM=x=[:̸x`a,{|lj|я/:4U ]J CcK^~T`e 7ј@_mc]0U/C\ON7b[VtQ:غa}Z)v6oSUh!WWCR]Nf. n E d͇,1*p6h@q`TX~gih&*+#$|jz88ѬJ[KҾj*m:* i鸳شo"GZiNZnB̂J?eGW.SÃx㫵CL*/N̻[{m`'@"-`LЭ|O>(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.gYZv=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.gYZv=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:FrDgYZ- = 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פ(߽2Ks]Rpn(^FK;1|ûpO\^e.H#|bÈCl2F$HDY3O1TQ#rm0izЅFcQ N_}&K=8ƀ6pe$`;j-t4U.f?4*Ԑ+sS.n+[A2*H;%`Ej9|n4GIRVS`,6E}Ngd]S1rQ$E#hbjIk*yHōFz`J⍓_9z#߁siSc[xcni>UoG &ՔNRT]c*,Ҙ=ҡO£iEs ֣H5y×0 ghlyNZ4\PIs64Ug@݄u Qy~︰#Xʵ5NӌLP{1Ӎ7y, (xW,+[k[!F9l(uިuQjU?S(i%4k%No3_Qƌ4m6l2F֤hM}>MD+e f-U]f4vW/@]bߜg[IlT萁:;DXxI]m$zbNjK`R2ڪ0W4O ^rm@nFN[n\C\GGsO.RAaI yd;A6T%yݞr Y\Xh}YzV:ɲr~ XԄ0A&$s׏TZgGX.]i}lWZ"wo#C8VJ[J2c@zݡOB $ATwodJ*o=C.[-o3o.R\JO:% FB*dc#0 ^j-xI8/'XI%rh-+U JWk9[F*]&kj9GUFw9qg6"<0tK@#HSvnK)'۱"ܳ} b\0[:!]pvluDЊ mҖ/WԪD9 z|+pT,(,962%אŭ+XbrwdڄOiYZJOH|7O7#nUb?LڌOϷ/06/b z? =%m[EW. x)Ix@^hM&/LU)8ˁ{fRLH NoH5x&2(%@Y™ P@1L3n5Abb0gYK 1U%E> :N5{65ҝɶ#.;NǨ`VI5W^)D/Ynrb(~ V/r"JGDDܕۉ@S,(T]V&'eGYb%jwRLh|^ش<ȹ(EzeX"d=Ɨvle?_ >ΈȊşnA\yeq8•Fh(^94d^JD_7gR.ͲrAoB.I𚭊9+?}J |"Nb.iTL@IT"2f'oNk}aMZ#Em䇐_Sd>P"dН\ .k7Jc$ M7b)ټ4nP )>sEbgENi7Z O;C{cSӳ(zv\^eMő/vPAIhν E~3?.rOwFߧ |<<`%Li`^AH,mjZgQOGV䛂~T+1=i,wM~qc>i1%9-L5/qwMz:H"NNdrq?d!~.ҹwך٢0#<$᷄yuWW5mPaE;\`W{`B:6)' xa#eE4ƕ3-bNv֜w)8F)YD5@%# .*k-Д/W-@yB|2 }=ݳZf:`eeu8_+C/<=c 7R@;|XuL<5G|g)dSv1ZG@s }< Ӕ3maGI:1k9]e}r5t(?~ ~;R ͆ o=00Év 97');P/XGZN1qZ AET`G{V]@k@+( 6I@^Fkp(V7 q_'H b fG_T+w&vT ZiF)XA oMO_t}|Nà",7ǖnEsA>3@>j5.sH`)fIFckGb]$x͒*Hrir 6 i"Ino"_tt/PsQlx2mv"S:k!-/;!Wa+% ?`SI|ꁘT.m#D64[@ٲoHʲI1$P.[Ȋ%sy1v1i%`!.knM(y}Թ9֟EGW({ ŨFɄ⡴tgtZr奵*k>߇xTuvɮd5ĸ76OW%{d>uM)߂ PMjk'pZk#x/t*0@AgOtoLwEDNc>3r `y"ܤ`D{&la ñCKxCy½[GXm\Abݚ\̝#'V9 DJGڑ+ TZL*,f*~gHk,''%*0n+ID^ K٣dz>r9Sy=kb3 <& 5-bGAPtUQeXdDîXȮ5:-sQW :fxY?u'(Ed"AVFPVu}n| j"`'1YI"p o&y*i38u%-|p A;J1 nRSw<\O,Aݒ J|@.7+oݫ@VdgِA+V4y`%] "/٭E?@~pWCyjp>/30?<j: ?97?,n^,נM5.z+UyKJW*zy s$ɄҎ~lm㬐&P֏&}ߟUl4.N'u i. n0`2R& Ѳ* Wž d^7QS|Q};1HXB-̤I%,"&0EsU*61Oz/+:gq%*6ܽ^g)7߸ϥZpU<̹!9^c1fcJϙR[ĠH}08[:}Gqqhw>saaiCZп`7`P_Xؖ覴F9G}b;^ N<v6qmAUPjU,z+:[!mёЋx4cSX`(l;w&Im4p"Tx j.57Zvwa(=a3cTUeqXQ?^ S̿b_{&aKd`ݿsR>)dX ZF /\|x&FsɌOOq21DHιCf̊%2q[f;Vxs-1wZ M$?] Xs[jֵD,EydQ#&BL|6P  3UƏ;ɽY`OyqS 䗃L齹'< Ɏp^i>a=vbu1roJޣs+X>Y*wR?VQC$K!'C⪘hT&Uy!zXװWTd=-bd5hG!H$rBv Q<ҀbRU7G>4-ga>Bu+ ^A!,֪w똆jw.rA.Vec4t3zAg^gTå}?Tȟ*UܭWےr)~P]H|]7 /X(/!U 2XׇʙX DKb:+߾*+y }n79!Ϥ3=I;j{|Pnd zCbq`Z~F %77kr(ͅF Bζsg f-/$mq)$J"Z$ֱ2_ymCR[\(J 0U*v 8 z51t {YESŗ-ē`qP_?p,7ҿ` Y@"&qzDiY zGq͇3 Ef[\ ;&LH̄w%JUSyU;<׸qw(֝=OE[k\gZ7{`vy\i?A_)"NV U7\ۇ=gtԣѸ̈́ l1)Y06m_<+xp D!)f]r|{{`64qNR9qڽA~_22aJӦ<~Uf qY%Dn|ouMoghq!۴6Jެ w"(x%P!< &u# 9+ޞ*dQ " 瘝6ẙVzh{Anv$M^?#<1-^_Ȼaߡu`kMP>iQ6r66lZFI) `#1CD &Oi!4Т~{Nc)l;F%g3T67,A8&Mt '_Jѷ1kG2X3SVYZd*d>/Tye|c$co[knG9Sm9<3Tx9P9𠈊?\?vy/[]e;L -`xk:ޝ[<36";6C}0޹lNl!_m^R)Tx̨2*UMdS@+0$,3@Lm5v/ң:?,~G)'/b-Œ S' zNOB0xV6EaI1 DgdE|96LH Q,j7 0̏X q1>Dz \9q3 .<{.!s~]L ^NV.=dx#*@uUHT{E9^kP&ߖ_'[b05Vd hUt+R$h6ã>LJ(o'_L3*w 0TQHEi>&6di_-s)ǼEY-)D"pq aF8ewx.rIkj̺0]εVt>li}򃾕/9_+ZuDan$ICIu_Ek65bDuoL>p˃IvQoi Hҫ YvMI:tf dr7ޣ :y?;uΥ'\rڶiAaO`.zNUvǚ{^@VGx;'1/7[Qӻ~եcR.5 ʾK]``_ur367?ؿ[$pYxҝ QPE8A;eN3  M,N']X *GiGX gO= &"c ER A R\,8ޢ)Z1I޾8Orb1PWBu5LG` );%NW-uźd0Ƿ-IGA!1Mdҍ̔u- 籡heg[1d~}]X/vYD `yum}'b_up<D4 3ol5K_G/INĵSs%x S| >ב&E>- #6 <' xBpmu66 (>p?1s+.9R `y/G?AWqY @N6uwnJkĬq ج AeW{[=/3;(3/R}(W׏ގ@<`!CQ tq)]MG*R׳ XROYz6&<{Jk~%^Ġ-1tN+Me3wtF%<> a1SA ʠ'~#0[1q02jԏq i,H#"P\k,Vp\Kju#8h2ژAR8tp(4m,$LVG=x ȝ'pHSh!|6W3w.CGs _2)q6 t%`>@urV%J+*㘔H8zyWb:̌93M|1}\%ḮUPhso.]=}̂}C'}F4RgYA$O4I Mcu|$yҴGHP/m;^3Q}u\\ f $!{{X茊|wc9\΍"Jqi{ڹ9(:ZH߈`oKG#:X`#|zG&yeq}yTձ%Z l8@27 n.ZN^?$sCKtH|Tx#g:9TT, 3B'H_q`Y]^l~<>3o#\Z8.9E =R/SlpX6_B;>A|DjuvTY.Zg5Rwz}4~}1ʟm -T c kIXuRG7EMWWlKW"ڜlԥ .L&jw-4U]i{CLIG$eOgNE^JUkx٪; FC)hji$OL#&4Sˌ$‚c>C 2 }.@>^bHqDw _N iw!·+ ҷ`͓Q\@q%{PŽ%XfIzpc8H/Pm+lvuVZ!ߌPgS]6|(Lg2NOQSP j. 9Hb]MQ]P 1=Y%?/?ĩ#9v9zDႭ#.mzQ][ V.7}pD>7|*HYq*3MXȤ {:$hRrv0(u1uGdhʌKEȕ *ch)aD>yvH>bO R: ~̯Ԏ<^KQcDHe9Ŷɡ?ebbW @F'*Mr۟BAaJaeGg4z\c%` 9}z`l2RUEEOeF%heu2#qTQ6x]bb3.%PsԦdi,ɓFVIwz(NU gqz~?ؼ sab kILiKǚJ3nnQfF AR!+6yAġyQrv]rB+xx"#lDbRmV*뙩!Dl_2T#\7NKp6Li;sSԩH~F6_V';cA@Axc+ZJ]9ykOE&X:a7k^|>=wGTkU_^كDLWn8y\t(Z۴Ư.pRΑ}u}α1 #G#Uu6MWy~= hmᭇpp)BZJ{rTzST3DZø}"R4q:uMɿѧ ӬD3`8@~G.{eR$Y1bϖ%㮉%ا[3>l2rid2Tcc6Ї?Uq2gd`v=?D$3[F@ b\+r,Ce6 ?|_굟ٓ@7x YH"E $4O1)$f?Jڈt$#qw1i2!t(M:-r2d.Q._ޜBpMZG[w 8ۍs2sO*o|`ߍM*|($Dz|⁢&t\qEkDMJPʹ 5ÎFhc렝Ԑ/ܥF"1ƹ(2ы?r=3.vOnѲG,5i.b*-K!cЊ[PX!ODvH *sO{|e{'*t / +yO[ J Wk;*}BV)b =ݡ< +!ⓚ]}Qd&u.=e=4WgFᔪل.!?3Fox\)%޾oK*Sx,<[?O0*a3&eǺb.6j!V%fKCe@ ˰m F0$ݚ%s죀6 32I(L gMni=;y ^ "ŭSSD0q2-'?6 :8@\hS8.V Bx [;T S_&a8X͑pE D!Xp;~be\H{Sw8&nj#mhjrE^ϞƠ5jr0c.@ 72z+ygEZŎ@IrKJa -:09L>+4u1.ѫilWol$d 'H(gyQ@=g-s(2޺~кRC:,Y/(d>6 Ի? $! 18Ĵ\,WôW,o'42k_ /¨jIt)H"Nߣ*Z|-p*Ue|(G}?Ѯ DK<8<+<& &W"M<|ή[$U"Rx agf⭔{?E;E;?RVd`Z.(qMZ//uwM gJ+\¡ #W9WUE[%P!?~;G8PlP)|8/)Ћ>R>RѼkV%)"*"-!͹_?g[{$A:#)RE3#ɔ'h-n5յLMm 3oylUFp"rfZI\eNGBakR(vMm'\B֓imL JNpMw [VĆ~Oٷ:-BܯW҆,I:mKust qHٙ=h8<:2fDVߓd s1Kc`L; NTfq6܀-A[qnZ*I 68O}j8^Qpr>vO1mJ7ۼ:TPĔKMy =e{n :ŗC3@H V#4y3r HKvc1vˬx}4\(g;lմ])E(~T=yps)K"(w|(y^j,{%kVʵAbo j7ʒxGʀnحW#ħz" r?P,QD%QFP|/EsF79RQiΦ `8=wA YBH&v tS)[R"2 2 ]<3״C }0jܹko!I[F%NMgm +ArҠ~GТ%h(MH fL9Pt &'$ʠXhwmv| P{S]<ې2AN6\/wECi=?Ik+(L>$[JT3$!Nz~rFv=fӃzng잯5/-AqlDp'2PE­vCke!I}-YY.^c{i ژabl+ϐC jଠXmZҿl]ω hW@1/6PJkʦgAx]o `F=Ҝqo[YU@rS:Bi;PO_~H*xigjMx@lE%w(?wMb"v~4٩Ӟ<-x^ Ahp:"-!Ph% `xwJx"j0[P_*p&L}wGhto|aX:!Л3qYM}<+]Tw7 aFGt:;T2#tVdU&އT`[H\0;_XюkxfZŇGx``bM{ux-[S3U-N aebK._Ż@3ۨ-tCkVatanލ rۍdB3û*Faj `߭3O?s3vݭHZ&֗XI"c n̂:X_(6 khRו64އ&I"F"җ*hu ,]O gpyf!䟇=n0R׌A{J,-ΎU%WO*|; կթ DIbǂJe؆(rf=C͠\Rȴ~$Rk 3& MhEU%o":A^"Z_ћ/hYEG`^Lb_O`p 'YfQcxznm"7^$(%xQӲӍdH mї2ms=h+q*Ax j7Fv" MȈG0K& i[+;%1k EE8 v]nʓ4"KWB([v:O8S RT-`5tbh, H%wJgDfK(j;QhE:Hqh{T{Q2ܬ5R"G}JjP yTdɂc #)ڿ6: *i"Ԯ[,a+r?^NgJ4q.M]W W*:=#f)5_K~gCvsHpcuqMWr#I4Ԡ_@,Ԃ$ZMW_@}կD]}+B"(BiuKDEdҊSo9]Z}d:0ҭ_$2ż?o}:F.!\gIE'ǨhcGVRa(Խ˜#I1fQY2b:Q{ɰbSXtյǘ%YN Wq4O!_@"~".&_*5okAk妪!p2_#4dTMW!GoT|2R,b2ueȠ\O?ji'",z> i"o=upMi gw>1&7dkꢡ6yJzoMɻ7FD9q1請鎓"ZPHi|]D`K8E }dpiR~} ~FNt b*nU1fdFރk> XK #6xFG9(Ǹ푌r6d-5!bP-t\=}ۜǻmR,(auN(8?u  :Opv5ŒhU_#w>!MjU^oE#>fR:>jC_ *y&H,oZ=uZ -ODUPz2S١! RZ rgݹU+m,6xƨQ'b?ֽ]L'bYbY q2yɍTF6^ [e-f!'p!?Y"FY`R0$R)id@1 n b0^Gzko٤ Wi.޿V<|ъ/3LAQBۿE][U''D\Y (jI R>WyB&m9HXȳ 5o>@9wIZQ=`s(#$FN(σBFuL6ST#GaeۡB=H_ Qo6ʞ-^m>4T.S>K]SOg$ l{-@U _6q&ͦI :Ee 0{1k\ *(#e!L@xRّ uֲQآ=c%ODBuM139n23cJZX%W|IqPgVx=3ɪݖ""`N446hQ~{i~8f ,,vW'0OL6P n)`S$U1K rO ZɃx/ʉwMԄ=Q1lIOQO nOW^[O],0r\$4`Mpш̳ Qޗfe4wziׄvډ0ywגUۘ=Y~KQNPrz\-?t!0#Nw9=uPXTV]dV'`C~q+[)p3E!.;TwEaMކciqt_ Tg/s\rܧ]ZA@h E٩7w.;x#i v IS`%D:<YL&|d3; _k$orpArJ^8RVMg]wR!@/]";zOـ+ц~#G?n~=eT(2*#ǔ/v޿@[MVu-yPA|Z2m6B⚆*5P O2o{Q:2h;T=;vVW]M U5kj\Y9"p)Oi Tj VncUЂ@Ub[Q&͵YZkɫtVgF/v'|VS8R3W8"7zUK;v>e<ytsga,'iVV3r|%vuj)XoVmg_(¸m9vEu3H5o$\<F"xP$IKk-6`SքWFO E PSJڷ[y}l*4G=t }RZق5 Fxg"L?|w>d&\9F^`5J|szen LS57hܗ+ RiAX gMh_`!I/dLyrjFcYbN|xM=oD#)Ŵ/&i( ꋶ }0.CFc( u.Ԡ(hHLIU{ k õ,D͈ dO+O 6=bf_%R'fTW&~u5 3Fd;o9C?CxVĜ`JLj,ɢRYqx.)̨b:H 3KPƴL_~זU'