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 99'=|4 ] HOL-Quickcheck_Benchmark:threads=6elapsed=283.742cpu=1352.596gc=65.0767zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBKcoI6uO եYhh>W;}@:#i;?`O>x[)UnY&9}/V9L5{CExy!r!*IKvf<'ÿS-~ԛzKx繕:@Ami J7^f+8~B^>{8>c_chuS!$gDOk*/sn]J$bPuV%(|:A?';Y@g@jά닻>IvP[DO1H uCZط? %Ux;MN5#beZ{D(1G⍮HE&ԨH`ɭ9%ngYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.ͯdלexa٫qdpOpxzo+ -bLg`1E Ѡҹ%@Ɓv6]!0*%vadYyrtgYZ7zXZִF! b!g]ŗXi%F:c]0cjyM#M >}鼤LFȅ'ݫ@F 7@%FL5 M6 [V^Q /S6!ƁЊ+ 'm$7pu `mkgˣXG25{&nX&68hnI'ni ʹv'uYvzY1zS_(^h!a ` cAKW,=jƗ1=v\nE^b"|Ce[ bSJ[ň[;Ȝ#DCr,  "p'D(|;@Ehc@ Csby.-. Pɯ9{\.󈾝35mXIb@CA 0;(JKȰI!JvHs~M~HwS Q󛖀^V'¶<B'L7k|6JʧSЇm1ͤ `mE J.o%7̢x+mNoU2A"X˓MĶ]$.8ЎA"|&f^r9tDXM|kfaBrTN1`^+*R'w_>F|~t}_^!8M١+#V9j\8qcsY[[b5 H_?p{G0V)[^R2wxKR(6#|__c9H",Ҹ#<9>[ct'vL'Xro|jOP|ّIJ dyV _FɎPDhUÑfagTۊUIAH<ّ WtH쏃5b1F{5sN6#$RPX|tK U/;)7zW0 qc"4չYIA뽮ԩ#m"nfIeL[~&D8]'WPNz-{e牿˅^RCk_->NYA`ٝJ;ncF/9xi{^gZ}dy>J&wmct'3xWp6fy-~NgiJ5* $H>qNf3b[g9=<J SVS3gŢ]3kT*i~FUMdդ MQ(VcE~ !!\RSeZ5lo3m8e5mr㍻1?HsEet nVgv0  e/zۑA֭X%1~sxL2Pr gtr+]  K = HOL-Quickcheck_Benchmark - = 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[$-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 +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 44I =} 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.gYZ //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פ(߽#ױр/z]2 ʔd ѽS-ON0Pps4ut-Ւxiʽơ'ܣdUz G2Vc]?9\) <$;T%{c?7duAW/Y5|~qGZp|f(߀~z'vTKV/ʸ/Ade092,Y1U^x鄳{D{KpݕG5Wk8܃u Lhr)ͤѿ:#ړ!q}G&EVtkVb=֏gf\0[. 3hĦ`s,d9zAV&Or"3L.o#>G%cȳ q^ÝS+n(-<3H<M03 Fhhś_ i oKl,f{>.rҷ2C:vx T k S:($ t|cż.lD9EC;vll9_1n:i C $߂)°0T;HtEym1usPA#gCI%`y̙4^֭<4C Q4>e򙥌JzdxGyGO{Fu|fgI׹}%}%zUT n{EK_ϗ(`p}*"-Կ!=H\̃ O3E<s#- 4ҺŲpmwXV[ltfJη3qq`Y?tS>zcg"I""]2@/4w \sK`#.H5wMK4g![%@Vr&?CܛZA7pZ3 ^ <JQs,^ac.`zD5m#o fKJin^Ns\ay'7Z Ivo)V̈IaT }Y`<#eDŽI>ZA$h򝁗=k]mv0&g0FJCf\Wht&צ뫫`yʽ+ps.zZmv,xsu ve?^o:3Ο'᦭JɃ?, eQ Lӫ^O)v $| hph[jvq#kt,—j^ r,!"vͽGc엓]k޴^"- d k(7^o1ڢWg)lPʤ&_PF)V(Yeg CfulbhEdaSn)K:$X %.EHl6m&4+`oa:O~U4*ےLbϴpCtƴ`3j} FUq~=[YY9+@#.I+ w% KlvǢxQؒ'TZf9mQOCK=TGyC2ytp[{3ՠil*Q;t1otSXl%{ Xc0]-}ڌYL{2\ Ѧ; y>֣c tVˣؑri/НA,mTPѲ>L`9n 1𱙸oZ hhH t2Zb6i_Ǯ\fsq-<7K1 %,:1j}7DtmB}ЅK=Fnv1#@5b8r,Vl}xџ9wz ">F|7i|0p[tQH]s#b%RwN,z*;F6q8w%ή4]~#|& @Tz1vCGOi[ ˕̸%MOJ+G%7t \. r 6xNRi/"؈*;gbGYk.o 4ԇ".IB95p[`DZ ^L%[bp]_+# Xtͨ퍿%XH [d-\*[ Ff:렀Ԛ"퉅DtJ}bqn(]mf4H眃~=H!38b^m*4Ocp:oF 28xsx1hzפ1C><ݦ &NxYMˈ,Qk[OY!*YT`Wtͱuw`j@/fTnyG&zUΝ#v2 ~?h =~J8Kx$rOfDN|#guXByJ\BKrZm]!6<)EP#>l_3ps9&eyb+\q.'|H,ZL\5TG J[?m'|J_'B;JM{9dCЈ{@+* fQShAl A3*fWhƹ蓦p+Q_mZ7j|8dg)23RI))!~p%R(r'ϥ~f"{ cN?B1UY{C1߸p a0(ALWe E7p!@3zh"/j;xfO#'EX'4+pi;]]1&O[J]Aeb_Y[ʶ4|O<cg݁ޘgd; Rw-?~Ɂj{+z qvscUgzRrCH9d#\ˊJ5wex* 1vQ5 qI7SU͠iO S(o/G~hv:0:,R< 5d/so$@pFZT}c}gS1C[|#iNmYN>yL{XEkci)z|<2fXN eo T'aZ R H߹H_b\)MöFh Rem%uogf [ &b;pݪ"2@ E7+-37_s}VzNC2ޭOƙ:!yj*cHZg۾߄3Ά'CLj \9%8ӽ6z 7a,3f+G}s }Ԉ;4p.0];殫DR|Pv?wQ.u?YO7t=k+jf]~87`,i|QSi$rG6[)K: !|\pBGCQ1_FM+^e 6[8b қd GyV~H[)j n|ǥ/ajKr3#\&Jw@WWT]J t3=t&^$*2/Gr\_gjOȎ HjF'+MBWWY?X3׆@ =R1;}64@/`Ɇ.\]-0Bࠛdlqq[jO ΢WH-Ԙ>9OOL|d!_=-R]9•1(`I?\uȉK}̷ y P8 ' K o:T#ו|[SIOO)OP(֠zu11)N>`<8uDf`N!+^QY)"vp^jV0aFū +T7+{~ϺG>cp,9x* p6P9| HVȓS%qyjhXXvEn͝jVVRvܜY[ҧyk t3yhµri\ڂb> 9TbL?5:= c_B D|(!NpތpŨ@6Sꦄc}$qlxC@o͆ ^Ű(C<+ ڢƮbSgi`;pesDdDT}W@Bm ,QO_IlԲ 5>eL{1$\>L(G^kWuAԇf63EΤۋVwW$OfAzt ;t[7d@@ZȦmRrjgG뿔0/!HC_WZžSJ"6'H _<&m1MT1*xi_HfRJSL ;sLBn},_|`khTwi'> a)``GS*^ŚI ZL] oPWyrq8 i]_R8V`i:OE~9Q7(R{l1盚Lh2O:Vzk,TSSURo?X' p JK'0: %!I%a?*C$xZor&n%[o2BsfTw5_a~.Ǔ8íݱr0DHO5C=03rAQ1>Ԉ;x4=qNTd<9@4+rS&kfxN({k >t]Mp/kC;EVWIԄSHӅ0mGJ8h[EFXF)Y+3ETe37frDG\tiNѷ%9EM` | 0Jnf*湫R;YChHyjn=?إUZ4K :7ҕeW{v^78k%mG6 V8{Dd Uvz<`|d'CT 7qٱcۃ[_5d:t+npCzy|sh~o/lXzG@}Qkv2=!tzwR$o챵zǁᰥ&[K+0ģQ o&y;Jt0SWD_Ognz31;o2Ϳ+s7SBFqƐInFb 垜/ *8mt}fڑqNK S޼CL(9Cy+E{rjmW7)G `]D#\Ws)ʊgfZ헧nE؃uh/6_MBD~)B20j,ls|Laeyt('\;9FհG3w͂,=zESIG\R#=k{_n/b뽠Jf?8٠űn,$ރmS{8S.;xk/qil Yy}ث[AJo/f]FHAXeTRXa``"'qQqJmbhU[Hܭym&!Vzb$Df-81'΍kWt$c8U$Os"G+ [v(U %w`4=jIKfq Hr\\@~d/ˊ/àAa+isd"ikfA f-Ny 92x/Ɩ*yh* @65)HŸ?^kX+Jt!ӡymw4/u,|; kVb_$nLjx~ۨ'uN]Kul2t8SwcόO]2ʯ < 9|rX0ưbw \̂W?v(ݙ1D61py5]?>U HO``RLe.H{wꐅ`mW$T$+Owtr8-!ꇃ( C*;?K5%@XO OQ^X˫ֺMl uºō=AR|be"(K*"THǥv Ov\rv:RdL wKvކ) rUӾˈGbM4skY]|yO[%$4Q#zx W C:Ag}Rbg(KZ_AiϬ@dBw~$gU7ybC@0 . h ږP#^=nc[jkZF̯fz!6)A@U_ PP1I:0SqvT1[Z% * qT:NQ {CَlzɠhQRT#!u oVoMNz5 =/ f$@A*( d~5\K?>z wC%{, Ǵ,lW`nEg͊SjD3y%_i ⷣf:L?&zOWEĽ_P;E~@J:'> )gȌ hM0fJ6NAzfo!#u1HTLR^Mߚc 5&3h%T,-<H'锼S{5xwf~o-HXH3R)x3rAFg7l-qxj'c =/0GtT7UaƏj H ^yÛݩQ4s+/ 2@Y,D?# #RY^RTWNF\odʘ槖*Plqjr >ş[&oM8S~IR{[?ERQ175*PX8mAQ_9Ysn~E3&o0'r_X|P3Ă9 P }\؟H:ib({,O7Λ\|} U"׉U' Ss 4w?E vnZ=3T]&@tLOUzy.N R[;UԓXU(gq6uk]t#aT:pire9M"Ÿ렡5d;81jgͳ,RR> 3{i1h*PxG"izyLNگK$.(=7Ϝ&H% "?]ٌD̷]K4gkBAiy08`rNv .\쥗 LvS$ n)N6X&{Io~j9GY$S{#θ7~5v )J*%YOC{3}oyU >~ /-oŏOàS4ȃ-67WD!=cC8}rоUe_wg)i*gv#v|\7o@{7K|dWNV lt$%{Ghbt[,,I5,;"i@f6(L1{0[X?b*M HEO ~ meQi.ώrpn@%+TX!30`X{ܡG<1f2\j9x:s:t ^_=@&^yuME/lˊxKOP^SW!Qk@]5=w~+n=eK4݌BIAYCM 蛖GQ(#d[\ h$`XwۀE^St&eI%čCXR'kw N'7-d\v9T!޳$7ĭ6f<\F葄&D@{6L闾60hzMwKc '\e۰Y9xM`{Hy}"ȜSrfJ=cxܴ&;yP[n9J,0Kaes,5`kա~AHNW-QG\N@ 3_mrfMY;=5G_'3#.5r_x_EhF :EnO14+o~Sҡ ]k5?w.7Tguw<v'u[];'({:?oJ1T 1XwA-6TD}*mPmW2 M(vKu!wW^5eңۊ ?]~ZCN킪4͢z7N%RV ]wo9Ŗ8!a@7i^C@s]>(Ҿ$TlwtŊ W/cIm@+.A]f.t\9[̝X&T{-:wR1#j'kucx`H(۶[#EZ,һbɵYnpW~m5 E~L_xBj $]EjA ZrtLT=N'·݉V(py~x'Un`g\!AT a2d;? [F獉4թ_ j04A8QWMˏIv~k?u˦[M1r)mߚ mRON6Oɻaen}zўkk1rA 08SN 7ɻeۜ 9\=%SCsViH nSʉ(렋쏌.UpicND!nVXMlXe6Q8~!|w-wƄOҾPT{wľ`$=Pam З704es5ïccjN#$ם͟sD QolAS1WP=d-ލ}tO[VR!>ӵf27f`޿T8|=xi)йͰ_oMƶ%٭9YOe/t 3Aٍzc7eĂ%#)$Wu{\#u71; *l_:+iDdAK>x'c:?=4&Kjmi^Կ@ԽgܾJؽێG wN+ZA$WVF Tʙ RzUwzԆ#aoUԚ{U\l5w٥ $OVv߂=U[y2rb;Þ-(u@2JbCɟ E^dՁµ3BT[5ʅSX`sSA""f/%qaaC\?xm[Η._A)Y=`3C6C|ta<"+뽟JI1Q6PEd=Sv(sjbÀJĬ l>z+~x(zq)WQ u1s[ =YGt1@G`yŸl8jw.k*v/",? W!^d0S,&1[pRc%Rl%E͵;*`F A]6zx}i"üg~Dκ~`c'Z:?hڽv=J^`KpkP#r2ȱ=b7 ejڏ_V'Wdٟt~T\(NU~БNbm8?^Q+VRbGi[WY׃jRQXqAB;O@Y6Xz:A}&銏.cv }Xu^7O8[4ou!qq ѵ]FNa(l ~v& dcH:p֑nJ04~ 4VvD[í b<J r+R1&,}LԒ-󭨩bИf==Щ T= ʶy%na/ZEL|@B -W6Ulz^B*eMʒV(1OMS\_;vKW!b.#1;h t]N@s^CoxouYW InR$"/zVuZe[+3~SebHc1ځu'ƺ%-ܱ9:m9 kE^QU^3W-^ģ`+|Z4M:/SQM&lSRA)䆟*7 ,fOcmOS{?pc7D\Z-&Rza=Z{q4ʓtrUتܱc:ַGڻb(pZڿ[dmשO6 қ4ha&ґB Wa3MZ%&ݹY3&r'w4cMHX` A#$ +H)$y>%vjgL2G[TMyt @t3ytfԘn{/Q]fa0yΘ XrFnTS ޡJV|RD֚h  XyMK 5qUo  W_6@s#"9wcL?-~xGT{g (l,Eg +OZUXq:B2#jٿ:gjy6Lp\=K>gdX?LfLTLאR+7(N`e{.l:U ~fM4OmC^$MTǡJ-z棔O;wPo8dDElUsߦ* c$i;Jt~3 .Sr; bv )R:eV3k Z'?+Ekso't3/U+?tW ="*{8Y)v\qG21m)>\-_[1VݝNjh6^&᠜Ɔ~-OXm,nh, |yN)}FѲAGmkh2ʄkIAW;Қwd*Mr(nG2y'2j1)T;[IFr +D4>B\ B!!FOI ~sw|[p#ꕦa.6_Sq+&&YӼ>`" ܓi:Q߂YP1`rgrDZUG )o֞~%ށ)!fWD2 @V0ih}7Ebclt#,Ýt.ȵl-a7o[GM&rLǠmGZpۑcɗΒf?P;x&?zۊs^ ~&K5 &}Bf}<ceDSzN˲jUP56eyoEpy!]zFd9bu-㢾/8]I 9x upu*;3_kD͖dY4.؆?l:>Q"4s@&شVFŘDb_[jztBeh\$\X(Ff[& kL >u*}*@MfF-yK1#|/pg1Sd&M=5m}uO@pGlGWL. rP徖)đW} CvWYAaCAt y9[~MhюAUNJ ]p%g.$"_{X(6[_B^,!DPD;=3)`AO1/o~t=Ά)#")$'D *'#i _Ĭ.~sMΈED{7{ԙ-,V!!k0bA2Z'/ %M.ZB3Y.KA^|KXc*]r(GL,hW[ ޗ#>pGvM"Ě۾?mRnIoE>2j`*}PEΫR_Pü;dXJY۾V ;h=깈[Zl&#-V\(@orcUaċvI;C-C'`s#6*=VXgYbK .!q?r{ev|v!ҧM\!Q!E8迸KitʜPt229e =-(m9$>8$Ŏ[߃s,;SG#Ntڭ*#-Tψo'O>&.QK3tVa5~g5(R*4Ix Bg9NĮX&.!go *2=\7Dp$H-N'Rnpva"ȽWM[j|$_sc:Tmvb9wdgkuPk]~*R\egK:y$oF,ꒄZ܆f@52ĖjɚRex 󟢍RSz%h[Ny}ySc([3O\R\Yb_kJρFI¾.peS] mi>,So*eحyl:o fӶ2 P:^, f96u)UF܌( y#[D\|%+.H5)o##e[Cb7A"DJu|}U#M_.^7΀*Fql  D+mE:QJ75/pI)-J;F)cYKE;,0齜La'JI DT}aKNLJppT^w0o R0S&uG:۽ }^~〫>F-[ r%tj6; -@ɨ!{<]_R˕r<1K^˳yo )ݰ^Qp`>÷|ͱf뷢,KQf%SQejp_>,-o(AA:^iW˶WJ *mCY2H X/9ΦOrƹdCc%Ƴ8F;@NE|gPF[^rG;4+fe:|^=HPLYJS@b*xcLsku ƒcr!990m:Y)ŏ"oRp Bk 3N4uv2F#`ﶙ)qy5tV\s1b!>4 k 5S7ho6, Q~p:jU-^Ga-q*.QJY,)M01UE0N)'Ej<NCY!#q/=xjEtS6ΰr]^kn蘫yPTMB!F6,-0G%礩j4ᐅߊ&1[L ;ō]z|ηxA'y Y}> <>{ ǣ<ȸʢE&m4@њNZzIwh:xK"m';iK|1yg4oUWOC#(hnd4H&M!'3D{ĉ4ҍ7%wD$3-$ws#S&SD6{rhؙ#I(Z*3Tۋ˰cܲ>%n*umI[Kh{K2!Xv{"'WXMϠd\_la>',>|T NGe l߹ߟFw ^7JϐA"֒=a sJP"/‡߲LzRoJL,J}U5R-# H4G?.fmI6皭G3S Ö7T^)qJ,ωNuN; lA"2 8R=hRvћi|jJT7(Vbȸ; {h)I_i R#1.5^b &um hZu`6Ho\3MLӁ}˦ZqEU*փHH~ YwmƂ86KcCoRXcAܡsr+$`t/#g܎5w|h}M)6Aa# K?6ubbqח' 'do+OE^TVV-=Sc~:W\ŭsfE}錠pēœ{44gεMף&h:ջNsI Y/`:`1!yk nL|ǕX靌9iIK|߽""q#}pmpQeI!hPQEt'uWOߡfc~ McL|kYO7|SOv_+[~i<ȼbɺeiGi& ϊ=bٴn\Fs$:Ʊ"= VĻRdDq0R2)3Y{7MG^b:28i.V m%K+Fgu 1N!k̑b4J(X(a`F*፤̐vNy.&Sd&Rm 9~9m C<{qEXF+÷=Kw*ٻ!{꥝lD2e^L x\$Z4שٳl!Q71 yW4e3m ֳ1vm'>S(dA౩Q 56>&K:-[u-$ [gisn)R;U,~9Kpr ZK +080<M^~ mg9`( ?a'h}r RC:T38n9&&=D m̦55Ar.PgOxdܑS)o`"pЊf"`zq*?:8dmn#CU#;)("j81 fvu2mXpgH(q`x JlFPf}kQ(FG T질lt;C6o?O:ߠoM_!5m#=D2P2l^}{Jܧ{p9XvWn/r2 ץq7Y#5Y0Joш9߇@OYf®%Es=YTvːtkD.rkX4 ϖk%WXav~T~wy&djcSId66r]ycD=#P/kpk*ŋsr"W\uN0ݖ|C/y 3ctIFs%G+H5!|!\1|0+ε#&7rCDݗY2Rg0D%1XB9s}U> ЪZ#)y7"VzmhhqOPe>sүv˿pO-l=iCKrĤ SGMB-rZc*d(*C@iЗRWύ( b?M(LEƋ繀@Sz h+.WoqPP *Ӹ(bjaOVk*#"*ڈ%!p7OKVC }|RX OQis\N񎠟lV>Ͻ(o>|[Ve|]څ";+lW ҫJ6KHPWʊOUsAWzRC!}֭*6 &yЙrJƽoe[TL6;l1VlXiQHPCòBx( R4^/ܗք;DXv7vQzݞHiǔS( ~Rl=y jXC#}ݓ;19nŶ&Iq^XlkqL&0"e3 hS'ʥCKig[2˟n1T`e(ᬂ#kErhggP=d;ϭ@0ӷ H@jGE$qj3Cj!ťvGA;a qJ OFL@*erzCз؞.9-Gp}-w8[\wu܎CM[Xa5RWFFS R+C^P# h_xMy. i'ύ۞m4~c\t~X(g|fDh+Yyȯݺ&D/nһ#UQx7qG┫ofUW AC=i], o|UCxgL -|_$bXHf#T$sͪ{od)}+u7Wrw9MoUquogMpCW2M!kB@fruuqG%Rh sv~w+^9o%m~L'lzFKbI YC}2,9zW×xh_ҪvL$e:EeѶZ΋f p E2r_йu"d4T$9bOZ"@V (!]*Y?,%v`4 n@N>sTwb<\v"E{BT$k-O4yTKtruk˿d*2_`-68c xybaK@]No==Ub" ݕz)5Iƞ] WJ )Oh.r)ce f}ͳqۼl4N]`r=o&P_8 x@\wйw2̂뷣;֐xTc$H#TM@Yi{TcfhgYZa58584a5ca2a9cf32710ce872f02b061398f302026147ae01ad4ddf2dc55f2d4dbbaaf16f7824ec1 1252048e236c2e2b9eff3f4d296c1d4ba90a5b58 1f89748c950a0d5764717c629efe2eab997d7af3