SQLite format 3@ .C  B  R11Otableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "tags" TEXT, "sources" TEXT, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 g=|4$ ] HOL-Quickcheck_Benchmark:threads=6elapsed=288.883cpu=1379.376gc=74.9287zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBl?gJrо%s*1!z/Zh h\O7K"Jh,:WaSOb%%-섆ݑ;h<php/f䤧{n&7!P}D FJU"[oEF&biaҶaGP/O؉7MIMl.P& ~YX'6:I1Im@LkTP ,v|Jvl4+iHTd,*^$U瀰m5*]cGo UeMnU/UੑU#zb'q޲dVtЯGPB4rGWBaLAW;Eݼ|<^?g.^Lna=4Fd6ylYu C0ֲ_v>ɹNb)7^=)j& k*[M_zrg4X $5 ɨ ?szFZJና>868:}99S^ ,MN>.J-˶;GP1%Fh"(0n<$1;d>Y}Esy 5Q4Ԙ ("6Pns0 Tٲ2ef&bClA]6*Jr,_ni3&(~.a/;'@w;nR0_GRYP+KBaٟQ3'Pm?ZX™m,|üȣh~v ˅&`)1۽΢ut/ۖpRq .0DEs*bhž3<#:(|D6<@@ @??myK}yMB`cjQ(گJMߒc߾Ɲ9_j,9%Sf:zB"Y-2!Dd?1 [XMi{٫Yc:{<ZB9UsP3g<L _i%hDNR~o)o{ya}_>>}iXSި·֨鉛i&aU$RQVv6*26}"-j]4:,$V<\6ˈ78!3;si ("1ŏ6D DSW3dU@6D0:g|4}KdQ6L'@B@a.vR7Wok \cㄒ:S1\z+=2`Bft+Qzũ9 .#hI#T8[g[sr 7]V-2S%fTHĂ1T] h(' LoNrxo0C(`zz AFY`07% v Zx~nd~!4S A@+ݛ 1 CD=psr.ȹ}W0^qDf:0f> du7i F=&NA:X'IG='⯂ ^cVf!0[Хk"-&b9 OΖ~ ޛZGۏEYEz+U) 7ǥ]( 7pr<ÎQ2:o^yV"zBxcVuOm]1;~>dCٙ\_oe.&N2W`o#˥Asmt C~k3uwՋm?6+lv  y1Vچ1*k|lO;;h")ՋjT \]^y)"ׇ\pL<n;JuMI.Jqդ 鬒Dn_F L6EЈBդ;y"W4/K O=)) *we/[/y;MiO糗%WU~ = 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[+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פ(߽U]֍>h"9é\3LpäM?p,еEխ펀Smo;v2nыEÅ魸w74!WdId镧CT6)hųt">X ݀Xt{Gnus1z96DɈ)V,@)2"Է&f0"1mp,i*SE( M3BWy4`q8ҍ;.G&c|/yw O0/ZMlںUC_ʮ5K[Vi}Y_<K20 27~DR|ԅw,MM脄W5;/.!8QhhTyJ@˅pd,T_}u%,;$F E>1s7`tn"!J±6~`´_ҢFiSNDҵ+>;j_t-.-uҙ%\1zQO+ BEWyV)^`͙.v)J}^b'6=/aftC5:ê`)倊1F.d=N/a`]"Ɯps@ۚ} }Н T bCZ]@c{YHa 칬Q"C+j >u\H h4 [HG%GTiV!]D\OA謭Hrh6|4^|`EF)\%rLg?H*iOKeiM,>f[d̚YTB9*7M `NPH-\p »Rpf+SU4~wBHIm#q~ްK}_="g=&N529{LH!]IљRqVda!7p ;P-H¦u73rT6kZUb1W?-d>`N+6錗gႾvw2*M XVPcъ4C%|<-^ >]zbǎg,ˬvV=X 4bxfQif"[w }t^Ʊg,(h5@#*ȁaST_El~E"+6 3og/RICH A,%a5pJNW(awsugB8,_S]Ov^.͉ID``ㅫc[{;p9< wACZZHC~eS/ BdD} H>*7ZAaʎI6ڑ-ljG* Z?L &[c<1?3X?=]G%J "ߊ-Fm;|Syk*"o@?=Fl)L )Z"erׅ`OR 3$Oip9 H>80,:ٝ{RB ,YugU~,y|Ҽb(oD@'SRȕfAF5{HR!sЅx"ocbw^YxYS c%"]0{)B|ons,qtG* n獳y?+/fC8iZw#!<16Y,idTߺ՘4~}7jfP.Wa͂E0Gvh*Mq[7KR n}6H^ٕc vyVOR/ee+!685]Yvg4>XR+ jd%CXlE5R=("Е ^;M;컠 R%Z&v >NݸlHH}ljL3d{`rqY($}4$ʁhl]NX>6xoz%Ç՗DyD'dy⊒ztq"R◍O[GF(+*:erv: QT.Eykc`{=Z' 3H4kV} t69Q+]r1|SJv PmH:fNٛ5bd-U9. fuMwa}jSZmeru_@.jYE6P&4cB!)%.vNrW[ b #6hk xdC-T lB;2\ɷ9TbJОA҃%\ټx[+`ެ<qgVtE[C0mNLPlqJ:>j^dĦgcѹ/.(l^ ȩD ddc/4Z;n^f@w0q*L8 IO!M5*zW'ޣ){(Ș^ޝ)ݛDCg i{Ͼ#}I5֯8gR)>L?Tbi\$[ j\SUk~)4Tqr6QM~QZ.Ƞ݃\RLqW.桓كKP;I6bUh;M;<+`X?gLR3"Xci;V=mZHޅOX5 ~hB#a4EƳP5ȧNxحeda=q+R801"p`P7FweB)4bl7 =~[4a^fVS;D~? 쵳/3MxP(Rvrw /l2/7B3XS񶤶_0#΍݌l`YG3TM "^f/NBfԽLbVDvb<Ӎ}ֱVapzX/jL4sG3xMyxE1aWؕμǓZvOA` 3wz焇^Oۆ109ڔFIR~IKdb88T7"$A;/P6ށP,P]Z2 ݐ>[#\B[1c)$kئ# O.O-)crN R:s%+2@CKǝ QzJA-4fvO: "^>_d|ir$t :%+0y+ewPB^0W0l ԣ7j.R nMD< ^ŧ%{u;>хQ|oh %SuOJ_ }"~ZvHTNnfhA(ћ쥈:9g_/|=2cĶHɖ9d^T[r gƒE};IBoEyGLw;t0&w՘@zS1W\xpWM9!N4I"uK(rg)O4[:%FƱ--aRo`R2gaBΔws}/Y)DO9J AܵYOYrxxIP5U,_Ҝ 1ظ%%t^pHG垛O'D*,fbm`xɿ~%D/_u=Dk}F:F$X+zw>ˑҋ{ֵL,^56Ao')v;ZTAl"EáΌEL|_ iz7Q @ мSK9H'e\uRwhkO7كT lպD(q9*0{+_uz7=7Ǡzm*oR][%O4RÌ"f" <@K> 鮭:M+=MR&v[DuS %9s'!* N=\HjLu^E uy`[dꚹ]4}Y6r,R apD'x99#>ܽUlOTw Jzt ֦k-?t _ C6`t=٬/vXDqm )Oj(dk)tfEA_"KXdYTApPj b)T' -A+->{ZYX6r1M(iߚgI΍bc O=;e#/kDJpF}SǙ^69hԒ#ޙ@]V2.q2غ P\1T+!15 R$N@{nɀ9 evœ, pE9RcC \gM{T )wY>(4R˘07P}/Z}_5Nu{l tDey Nz@jț[ic~r+f->K o">@ +2 ?AǂTBڿ=L %( )V"5omC{2XP=;1Q2S8;[$4HR}]/>R^,]/djy$5 l6+գsZDzUZx"#*VC| 6!X:>6 vZ2%:Pk7&6ԛaAЈa܇hPiaRz2ynγ?PSs5up\?2'vnhG%{2d%j z:aejcQX&C3 bŧI%xuqrq ==!T|sMi lZ!rY$ 8uEm0Kv+͑^,Sb?^q2!'24ֽдn\xa רҺ{ ׈9]R-:׀ }8^4h,X*Y_MlE@yc2~4cD)D1tAr_ mךLC6uIgVkԸ++Y*fR%gINP! cJ` /,3J(@*_ Swi[O%4dv5/$<4rZ%N]G_M^ԯ; {C$Z|E]E2;%+m\q% n#yl,X ?a ԭ_lsVQZڼM#W_,"j$ÏM-"[vu2zNe>MMeO(C1o#bT&akgoْ8Pd<0MNo!nXF|Hc{ eMܜ|T_/joRtId2R*8S &)pvO[Mj:h2ʇ!*uNa[7%RXh|רzBUKrx͐.<UWUe]H* YV蜎.gEJgOQc$Mta 2r?m6]@ vA!5gW~)mP+ ut$ CE֏\˜GgKszOO|CoqDHx-:gD|}yb;(Z$T_{H m}PZxOwsSc1ؔy+űi> l]v,ڥ^(g7b} %6]k2:RfT\ w(k-ɋo ),bڳ+FȰ} 3b7~*]0oz;[]0,#,ݗlݵ㙠|V{P+8bWMYMU%UX2&%gHAG_ $~mxx |YԾ! d Upo(_O}Uͅ(vy)څ]sSu&qY{upgxq>Wwb!n%E 8;䖛Ƃ&rdw 7:$7$=63eX5 MN`2Qͳk3P\AvتmKZ89[ukϽl3А l(,lUHڼ$&KѢ/Xv9r =v>:P\k}el2}CmmbeqUęI}X|`vFxeʒVX#Kz$/T2%+m|cwwoָWPHgd[2&zXI^m#s=Yl0I5#`#SbTΌwV2k8/C`%Q%;spSF k ="fD$Î@X(г?`<7ev9FWbWa!ڢtO.//oi&. `ZPl8]OD[5=Qi4N d(,g) ,5PNUBR!&RqK M(0r$'lC2Hq%u-%,Rb/ @5df0\ xs^ySFqW#,d8:[`  ȉ˞X \])2Bqjo眮oh[A\ԤkT}6StMG:8,L5Un =L ^Fg$|`K͖w!ˌlRx(%8)D6X'wtp^h}7rq` ^;]W^wY(-[IrtOV%$\ 49Lzxy]9U"2=E(j쏞mlH48|ɽs<cgS1  )N.'̵< ag:joňxg_<G u׃Mr!4⸄FK6w%dN^D;]IH7Sco WeW8}`dqI:v=pOE(-,`CL̂k{U2竑4˰:|͉5˸v͞vw&G 1h0 e2Y(\kڄ:A{[ڢ7u[k \M/ӖOa:KHˆcbQtyZej1˪,* 84: u7qfOc_/`S15}Ci/ҼE0`D747Oi#OTǻM#x 3/w>w1d8[*i +vlK’h0/ZR E<|6I5rƖs$ԯJcх/VI˕zPaby;046,%գ#6ӴU{B 8*z; Q$w>U)aDmIQs}Wq.qNf_w)˷"0.E!Z55;dϗڱLaFs|זkMvW?-ѩTI2O8@V;Ȗaԅm / `E;=_&EWsZ7 d;RT7BJ]7]sJG뎆$>ϛ߱JEbK9.>=Hj.HBD׀tvtCB?M'=P{RApWKt._յJ%;܌M2 rz rU؛U^4qTUMGb$@B[Dg𼈓(7v;9Y2'Ž#~7ez|?wM|QV K4)ুقATt җ"g3$doFr|G(5>ۍAxhL29H|&NHmVUԝm'p*@-; t<;O!]? ՅK8o TC`w y=/m9]Qp+` FB=\=s,h4Ȟ1eRetfOaxOՠLAh2ˆ &#},(a?Vm,d@=[K懶.WJ7F`Fꖹ$YRpa;_WjxcͰY+ g.ŐA;`Qӫ n.NFP6ЧLqRqVs%ԑJqi´5Y[Pn.{.i/IEzM{ReBF'aubhM.EЕJ|'̲e:^LKM (k;=Rm,{QIQe` dKʌCt{~|op'Qg3Kpf7TٮCB U=~ Hs6 +dEx|C; [ 8.;TM4#`zzm`G[h 3"GRZK`;#\U[ʈ@OՂr#Z% ȫ"|5y Ğ{Ho\: 6@cXX]ͣM8| ܚȯX2ˆA¿Lz OBY?UDms3h4M"wОL$yaՑiFc9 [fPf)vPX0;n<Fr6=ŬWXsn@ð $#!8eb71d%( waKxCeU\-jg>P&U‰;x[GL`/C`5[S y,z?.`vs)tu\}:r GEP-O K`K@%Hctň4PX-W75C,zB++eWŗsH;ͮh_x3"Szk ~Ћ] z۟ͨ85ВRRް}4RO1pF;#ƒvѳPK |VHM L'(dexUI28E v3BƙNxKaAD 1? ՕMedQl؆[q*xH/TV˸7O8Օh9>BF#AacSݍ/ֽ\|Yof3|C&i=3}Q~@^'=ysyVU-Odζ(v)2$Q[>r0:g2;dk0;D 6:M; ժ͎fY??hR dž[u`rd)\IצA dD72Ļ,9dr6?#}SZlt^yjKCA>,O;_1>a ނbrλ:HP/:nc/XiL(d( *v~).o 4`ɭ"`I, i Z308GbV5!ѽ{5'Ps A-zf KXe0!9l (xҢd]YPmj;°dfJa4[NdL.ߔwT0 vm-F+o2G@P5rRhBR.: rZ}Xr,YH~Ds =r@|v;W+79KdU/#'Z\ ynVǏ7]ŖytD,7fDz^1mEa?@|,,Oe͍fķb)Ί|0Fn?٦O=~5=Qlsk0Qٷ&)଻5'E|b!XV0{vr+ 3QqTԁ\#a`6ټQK2@Wni:0ǒ|ꏐd3.0Bgw͛zt#di,K{vvD9ރKOO|,P˽!=)rd7WklLHz@4}e0)Հcg\[t[mጎ{܅09(7,Z*pSnKHMMi~ @Q")-ЕX=~R!(C؊Ch#CkAரZh3XA3}N!> j!.@s&(hv, %vBZG Zv,)[Y@y ioat2^Z^,pW nypRh+8"_L%OՈp*ہ7?+G3˽QY۳E,_Cw.?Eh~[U_g"]5qIW n^-Rm*wbb.켤uz"FAEZT ͹/=|),npi7?o.w9]9\%f'%j!!y |0.E[D<]d^$RZfzp?L) w3Y ]4ˏFa CQjta\WInm:3fnia)$`hN3X$:y؛p0Z@?,}|x=a,Jc9R2]4hNxd˦@ <,sioTMz8-G7UCin e+bx@!]}AmVtm;9bh?$_}-DQeAJ9YP8تvΌX:}'>4{RTCy,ڟ!^q HvQ0 jSȭ^^,C_i[U"` pӾ%U)Ksk k,ώr'u":W"웇b"?8q~ae– rYJVa`23y t9 ^D u]u][ 4CX5+Wq&n]m4`4¸\-gJrIP,f1TgHFݴ=.泩P/9tpsāl(wҺM^1`Rf#_n oUR^j0`wyw_I?3vjyy.}KѰ΂AE731=ʌb”a_afJ C 1 ޿KCݾ,y% -vs5qjc5[&? ]qa`8Gvm!eALX"Υ pea훤Pm .sx ;[>Xɔ0y q/Ǻ@a#%̜ToaJӒH4޹\Šo+v7%E8{r(ā[#֨a2Y8g4F? 76e1cD)<9bGV· %׾t:1p:5DG79XP[Y |soJe4kh/وz翻g[j5 ̓~p c0Dmea{*AX,,s՝a{nrx D5QM':RĆ]pc}' TpR1n 's7a}~*&5j ˧ KA9CQp]pO=lc@JϮ-揜קC$b`qR_N$sqJrp%*>9W=f[kЭ=i+o,f.l{=, MBZpoҼ4*p5J!+xA40o׫D6FӫˊE(ISxf(W:-xa*lRϩ 5mbۓWa|̓ Sþ>밴)X L3J614NE|)(j &PvoCHCfYN6v5W1 \tˎ3K|U/p' ZR p&XU}a lXu[(B' s ,Z.N(y06Va8S̤wOwCVjs&hޘgϧkLR(h }&O$Ah$o"/THօ~ͼȧ pp{viᛏd9.Vg*jӯ8?~װ0ZOĔl)_ v*AƥkIQ_0t@NҥCl,W=g5(^_]G3\-|3\)hZJy+ $[8&A7*S4\X8&oR oZߎ!e P@_̭㢻y cUJz ִ{qϤ.Uc.kX4J E!Ož Jja.tKlD;exyKP 3fV[1rԵ^+{n+XXuth2i5폃,i&˻#~D' {I DݙVY~\0l55cAlxgqws rxSd)R.BOs1P 6w > C̽ v9IsUgIX+l-L!TTt{GD [r~b0pyĀ)Ghؓ*7ll<>ڈ-*h@ %망_~MpG2{ &J xCזYEߠt) ѦYT%h e{5K1^Pػ,GyVQ%(blgeP~}PYX^YaB@ԏӎyL!` q7P63"ʷp i+MC ?.CG&?$kn7J.vda6c:-ɿ5|OףCu 4 ^E}? צXWr02x )KKuv~cP8u@.`U:l#?sE#pc]FߔjP^z5]R9SfgA7\xm1]j3#qkAGJ ([X)s]G"d+ ѠiEm6t9dFosĨgf0 G:Dw}mnZ} Q^~SVFgXRQL2rI"F45aGy>[_kr*a[rɑԟeC;#}3oxbVFWNlH$4i0@,a֟xE ыS<[y6Iڙw' jδ-PA,,Y?G x O7Lj895 ze`K@.tӪQhW S'vZlܞơ<:, eąO'rT8ԣ4?4n@S[VWU#~ DE93=^3p/{j+*hGW2nxy#.\\}hvC:βx hɢi;Ow-x"{JjYK4I5 pT$2RNni~aƃxu>9AqY$H'Շ1z|T6;KQ++G`k*٦BR3_j.}y0AAT-.dmm٬vY=M TNm92P;:mlHMI {~was,(AZSX{s3F85[Ũp]0~͐u+y?T"GsgUjn5 T̲,w`$0 ZfM^ +hlL.o`qࢎDVd^ESZ H_ae|x[ʼnhGiӪyaqm.PTwLaYq$ljX9E;!<֢Huk0r\Bt}0FuFH<%ߡT/f/_8M|QceӬ9w&EUAa !jUAFd-Epr4Wܙ[wn-@?U865H{{d?ۊ=hzT@"CU]3[؍un#aP3|P" 17ɶW?W/} R_:CTǗWK s$!GSQG8BD;/Xܮ4#ɑ#A]z`rVHQrib -4R;8X,ᐊ'3!!mV\by}Z߹Aߵ{BfW8jan$C%QAwɂ%R JlN{Ros|!}W _˿WgU^ !jEjlY)!ne;!ƔpSyU?v[veU䬨Ϲ~G#^hu{I9 _ףtUͤ ٌ۵&VޙoR3Z4= i>2vB@KaV Ҥ%\FbVsҽGq;_Ddn_9ΫˎP|Zq"Gu+ ~LƷȝGF5Ϟ#F>)-`]ޕr%!\ir@ODoyug}Wy/t0HV{IST˙(APN7gDe'(nGoWYу*YN[yp a;e2ܞ1טΊ2Uc rZZɭԆ^TLj g~K `_޹! nX|RȂgyĦRA1Z@`2Xj؉ԕ"'89 3;//rMɨco"VG14 ,xZ.?\c;quxZ] 7BLv"Q)n{$ȜO56g$GPASfyp MuMb]lzl]`AY?f})5B2cЌ Q"`36Y4ZQ;;G*14\o>r9P }j!Jd !P7]JP˹z _o ̈́`Tfe!8#Xحr T&#'@Aš%/\^xr[N+CwVeAgOO(9c >vP=m[k6Zvr\pޚl''}5-~#;# {D b|L b@i]:zs! g^tmX@kMs Ngaa8V%FNV`a3ph\h*3!eO"N;cRDkDslPQLZqR\_#ɔ-1rؖ} $|iڢ1)$% SBG U~Gto=C/a3Txj19G0'yd NY]&X(庻$O#Zp6Oi