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 G=|$$d ] HOL-Quickcheck_Benchmark:threads=6elapsed=286.056cpu=1374.632gc=68.8967zXZִF!  ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBxApq*t)}ЛK%rWf_H|A~4 "a2xkY lI5=I 7g]998 %)azv70uG|`exWy ԞI=@h{>A}mmb,fgA5U#Oi6`jFr[ o|k =ښGNAyi8n0h:\m!|*t4e}Wx\Yod$vLy|5;I JqaT; I VQ%[#Jͦ LK`%I7f/gueΈ(9 !:O6ݞՕe6:\ $U}'#_Hkh%4sgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0eG  9&`f}lEK[-%; [مD{s"'q@̌lͨQ|By 7a*zVY ޼/w{w<}f:) T8k<S$gYZ7zXZִF! pf*]ŗXi%LFkHxֿ9 ;1>xph>#y'R)9l6ϔTN+}*7 /!RWe-AZW" :V-!"q%y: #~;ˤB:Q~_ rv!7<\p Y}C[¤wMKɊ֥o7=.(|E;8י($N5&l؂<+R* 9s V ÓJq ޅ`8&!a n4\ 4XQ2'wr11:9,6EzZD%1̑lKt{"`Dx ?2i坷;̳ fAnAoQq-\7şdHֽta^3MLGmuA6xmp'k= c~3TrD?HԳ] FU$| 4&wg}~9 އ(Nݥ2_Dun5 ̬*A4桬mS lsB~.5Ka($"X@-1KT;V'|TXBYҫcy~y:#%`ԴpnUd[WmO'[NT0FҜB{QC>X É|wc]b.8 诳~ggbO=c9vy$Iz?>9KV T63^jX 4BgR0D*Wꮪ *ortN:}klZ*/lЌRPп ,#"5ʛj{ @քmPq,rB@`FM4%Xۃ\W!)zȾGpLRԁL7u>6n>TpKlZdrV2Mo;_?!V"qsoQߩ.3in=#,k^Z\7cڊaԲrV "ܨ9 0@b?Ό dWD:X݈N|:Q t/z P,7GmN?2 4yT$.P0mk)*#H\1ʅ x=V~/#r#P ֔u'G ''gy1 *z&Hu]Kr[>)^!wa0M\V^0ޛې/;.NiI:?hpBX 8e]~^{0IDApGxΛ]#PiK?-u*~ͺEϟ0h|4fAAF+cN.̇0@:>2Ȕ- %xϖW/;v10@\zp]ܦe`$8}ĝlxE ҸINGw~{rӨ| "be0&Mtph9%'/?0iޫ>{/]Z4,6 TXWQRsa"ϚQ0Fl>%M2nWw!ןh"I)_"E!(6d4_WBl HQ1+5DgĩTfmS !ichx́; = 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 !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פ(߽+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 Ɩlqvx,.VتH`!JuphW$}aeQKz@]y[="o̦3ASԳMD:21u4hmynj^/!89^}H&!04yʎAIf(lq<=a7(ȴԨ;-NNA'68 RXgoj@+ "y);[‡VQ cد!{9 !&{ vf9/J@;@ Gxz& fi]5TOiaAF犟kY̲Y_D+ wA0BP:cHtLt{>K&UM^@~Y W#CdRyat.N `5 MTkl@p,:mU&AC8%S`!ڬ#RE n|(Uo1 ާ;~֣Aݪq ^.+:YɌcr& J~@]$1\k}&hL}*Uf4 wcjdCxna3'ߙ'ӭKP: Bu%+>oډN _\C ?tǂyP!`gi벌:su $J<*?%zxFe잝BbZDky %#4]~ ɭ4I'm)ʉX/-.lYd%_9 پ号UF~hd.'Ne]|?t 304ii~j!]9A5eR/>GEM/ Mu,se#@,Ŭ/W#k8>sJ=TFmN5X^fx"O\l Ry# d8~d`E۔]'~Y%°:u':ar|[蒿1mbٮٺq@j ȘLf >w$/ W]$ "8ꃛtCj&L"[Px4/l;!މ,W)?i]Dx .;# 8 ҖW0"nhNV]ѽc""+ٓ?:9˯e4LrBPBSFt՛; Ƶѧ+oTBv۟\n3ݧ٤4iPorG7#)?Z 4,N̵fH'^9KCzy8jo:,V{h.=X'ٿ^'M rYm}\(='R҉/sSkXԮEFlwPb$L#jԻ% ~B~om5Arxm4vr[ CRy kZqa3b1iUa2ee@t@ (8"Ysh5q2iSh+qNƤ|ErﻬDN9etm/q<߼I}ҭ`}X&S8Fu݊zˉC9ڠS,~WNq/s4}ɻ/̎-Z%M7։cf+1/d5SཇqQʫz+?t s-?3_ؑ_˒4C{>2o f'$ez&kq Ϡ*c-=zC^ ,)]XCMg&B1,:݀GB`Uyl.I(w }.1~?dbsAӜ>TqWBz`k |*N1C0YD^:)hL_mIJ&Cڡnf!>_]j0Vm'">d {jcݍ6AjH]:w0 NIie1`rr*VE')q/2 gFgبrxعO:M'v/wJ c_o |2Tұ뮸MLM6K(n>5 -Ә6j֦ĴybNerztq(ǖk uA)=V]cZ!E3xwJG+݁5I`$]ds@}5tn]/Q&ىbA+v߳kγsr+8L'\7oL()tgs0*)|'Lk2לn߯|'!~LhSqiԧj.|TEn.Ֆ_XBc=h35)B:Ւf4g wh SQ#C,[XcՌ 5q H8u1^,5,jZiw0VVé$Ʒ@p5@^7XI[lԤ飡+B'j-L%orpnL 缙cCY0_b:]B8IJQz !ȥ,cMs}]Fb{4<֊nvTхE=]c]rB8T>#P)4$U!6P'ւ)]9Y,N]3MM4+v$qP!go^s&Ii>pi9++c5Ls`j!kՏʼnP@O}(9%􊕏4:ݼhNB׮uڨK b 1U Av>C@x|.zì}>Ru-݊"1s gVsRMⲏ Tt|,.)$/k&4`sp{Fy*+FNˀ6 >%`n7<9N0_T>" Y \ w+ f= ~AT2 :,߾$h* 5w6hie2q0R;kn!k`}a,ie=4+`!l5'(D/qCa96H#a32l'<NiId!oarȎN`a<:KȩtyEt N>hd蜴'!BξajoGdO"Wx`m*N8!z?E!c} p. qizPKeVI 0id'ܛ׆D}[S~ ` XeL*q)MjVRAY3 {x?["T@UcȽg9zK,fµI؆yI _1naXՌl҉nh毶VȝeSLegyz ~Jc{F$O`+-ZXrc@$}u@_Qpi>Dأ㊵{JJD$^"OnN/6{<#?,h,Yno36ςeh$~zXͼpW)a\TS 4. Ͻ69.FZd|Ct%'ez8z n_ 9;πLRzd쾛݆A^>Ed 3& ؀y5d2fʻp<"pIV ֛\65#K.,QڋCh4QJo߻yGx+)ؾ BإpҵUw(E '@9uoNZ?ak7`*nNG:MM7 uqZܡ||ji' =ZzS՘о-~\O^(SVi ́ell@bÙelj<4]*6w,GT)j'AI?v& PҤOؓ{?-x槺OZ:Uw$HњaԖ6Ebg}7@Z=V?3n2ϔTP)l4FA˝U)mO:ƮS3>`*0^ygQ5uX/?bژ6YDQ;k{8`>ov;x M&$z#pqoJE99皭fm}V1$ynSR>; uʸai9,)0 3 Ub٪Lj>Ψ P+KW>?q3!I`>PvAŲ? 1SO(t3E׶bK d_ߖQz IcW?'y/n9h0DdDM]G]5A|cI5 XN*wHz\ԡ3>Z5`h#AD(.ޢ*gXع#[\xTuw/Eɯ$ͅU"~[UgKvw@p!ⵍ? ʖ?}(˺|:h#˄ rEۈ=l!$ViK@ڨNٟ=\3O #q~Dc4RZ[yg{>ĸK/h\cxZ(eobk&stO,5P()q2b6՚^btցJ&49T .IfA^ 1}ODzR050_Z%5ޥh[&,% ڶrfo |2AGV?1vu Li+|z{츨l3P@-XdD$v ^O;g"Qwil{XO2Hy,Js};k!xPn! js~gd.0ʈWαDT aSN:52oAYGA.<زݵe8 3Z$,IcM|҇ ʣ.Jvi4HYq[>k({r7ETS?V~i6}p]5U~rgE3:] g_; ƦiqVSO^"}P̊įqL+m:nZF#tc[b{wD$yFٺ<2!,]E*Dvf+WGd4AB3\ue2>73oO_"=oP%2X⍾5h"&pr+ O\eeixEidu08M՛Sbo Jy(Q M]D m T)IUǠBćܜ)|RRj?O#v_@rF SchW`pPcnz3R_E]Q7L8flF@g yJ*ΩO5[CRn{:WZi2U[  f0eI_/yRX*p1?a\iv7an+ [q6ڿKG#hO~ٳ.h;=A#8PRҮybr!ktfDU2[ڵ y[ز; Y6H Aَ& PqԯӉ9gVbIFY̖ͤX5@i5ۏ)iHEM5`>pZ: \s aJ dL'2FD.њI0XLћ+K;}(=wuZrux _VgzJS c/n_x( J ԭF?P'z f-xe(J@X(*[s>uصPl 1{* 83 Q%5à 8{$!v\ގa$Vi/Lz*ߴ>Nl1PvЂ;8H>TCGc rXCO)?$G~a"+K$ʃ$,fc e+A,etSi,㊡E` %~nwtbxYILŠ]T>;,Ô R{^>"=&L"k G%tMsPgMa"&vBR>] `( vL )kgadD^4QM0Leٝ9:7 q$^k+ע I!OYQPZH=<¸r-b+*蘆A;1-T\JfK{@ӑ 7M˂' 3?}8&Rw3;{3O?ݚ\YS|TxPL]򁂚6#"O@JaJ\Dfa`a rȚlyn'tSK {Ѳ} ZN,I)Pw20ajWQy[]Fh>Y6WAvUl|3q7]dԵ6ݽeM?dTO>փP(90e߳Ȝ2{fFN݌Æ^LjҮJ0A09_;<$̅]N%V)F0M~)<_7YיHf]=8%jꦼc@dgdʔr\Cޕ8duMv i?pt |Pz('3 ZA0jg>h&bhu7)aAd^rX;A=Ѐԕ'wL4Kk"STͅ(4 o >)C Xc oEBad(˞0JN0iY15?.3 `?*DRq7ֲQVrĦi :>]%kgFH@'Ә@DŽVrC{x=M4|_+oڡn|8sFCav:˙DCg=k%oM,IM -08W } `e}zÅs" &]9n%+HTs s@Q5)!d@PJCA9:,4KCi #zvjIJ.%xPuTêThd*}[L$\,|PwVVpkS@ x"[+hʭ -p/B!k{WDѫ.۔҅/}f{(é ȣIb׌#Y 0PlUB^]Z͘ '{K a*)tM1DBS,qj/]S~xLx[Ƿ`aY:kX&w[* VK:MLfK"C46srX{G5J 5aY`*R)^kw0?;/3Fjy]lū*|E ͮ1E:/Z(9VkU˯ l~wlExj8҉s܋NQ4xؾ\e?[D'oi]riL_xS!:ZAd@fanhދCJrm$1gB߻{3׻OThꮅpP'gp:]ݎ@oMባ*懯T#c~k>OWz1`x.%I"gn.$$3VQfR "mG97Ϝos<#-®}]j_N'hpIBmGY&C{adstjpm E}\\e6eVX !/ˣh i؜O"W%,oq2qrDc ;^V06kVmQ^, o᩿ 4j{:z,5@7kGJuZT`1}%YI[&{ 2E 1 $!,@>^K0ȇ?}aڛk4jl>GP?.[r"M gs`n^I͉veOPZL$fUFL1 yə*䴶t+vrP+Y$tƹZw7kdCwRr =Fm (3uliIz_ZG^LIl~G ld+t<넫Cyh0+y+\ >@rZ`!0ܝXʾql8 G~{[~ ,zbpX)WͽLA}f)t] {x u}xO1BVSZYWȢ ˮ @gvckڗxL>y:IiΠ'U_ ?unĉiDzz^:oTnSEc`EO|?q~%b?c%6?(j YP4w\45HI fB?3޾Vx+`%8l (GoCn+Ą1?}P>$/5;1}3sS xD*9K]9 m~UFrv{IgI7– ݶ>^IU&}TِDw58i6]h%HhvP<ڧ=͖h6ׄAjB Kgx.8F}p0Rh Fub`,лk OѝCZ|Y&c .,ئwADӘ*`Oܛѣfcܟ .,cv qVaЧɵ%?FpM9s=?y"wUbLK?L:FFm(5%f >o"+ =8zc Ӣ60Mq %R !FxDZ9f_܏i>E>(NJyK}lA8sUp(M;)K(öbtrՇ#}#0y#%6.s/: fك7KzCCr+e@c=G2gEbR2; =cGV6WQt$<%{dAUe+bdez?אkJy:YD2*8#Qk@W^zMk3tUvz'^j!&ZƬP+*PJ:o[c9p ɂX BOP=yZ+(K?ZuG?һL VvV 3coM 6PH1VPt(wQ\8G?T`Uzw cxob-p)xz3B1K% { zxZ [IЙU.`qI!E?2O0>5rmkJڢ[HJ"Gȴ[e*1;4%i6iƒ~Z* )_B ˟cC=G]iȐ# }ABF]J-u}.c.? 6Po5o/jṉ e͜]KFՓv` 07>l\36 3<._MI<gַ_q`a(x?hcoQ߯~Vtl<[#T:mKz:n7M\]- +"CL {/BOB?M)+ sJ0_ 훊Q.;w㉹9rV; P9PYQDUd-FZNu5#'nV7Y0d(LoסÊpܧ_ cǩl@pH[ ~D 4Kf:&@Hխ?ͩ;jr.|ʚZ&ŋ*;(^`W<~ѿŊӃ΃L(a\% B9$ _:p0u&ƾg^ܢlI4׋: wy'4W (3~s,q@J3>~@Lj@,g)atd0B-?sg=JrP3{l _ rBDۢ&;tm\DEME% I?G巉CX5bA1kM|12aڞ gBKVTV 1fdgEB| *7uv ˒ LAÔ2:F`岔k(6%+ɝG{fNdfK2]5߭ZIb֡m4Mj=0nڣqA {pU?>~в:ίCP!R0R%vkHƈ7MxZ"etŞ JDPj,Q:Fp YɁ;9֢ 086aJ(3p>+#x58G !ܼ;6$>4d y=°b tRM{? ȋ[k;>4Ys= 2Ԯ[yCFAj##l <&3BaֆK$tf"r],eGS%w:|>DKA8 a/h1XX45tpzAK \D>֫[OTTAK}*fWcE刐K*gfI>K|T2fi6轸+YiZfӖʔaKOEonz#\bҖS`[`_#J]amxS]Q76 艩}/[~S>hD߫(rq20L)!XC2,w"TxⓋ.g5RS* ¡"&B۷"|Ƀ}kGNa.fyX;g^OB|"+riEMv+" |6Z"kj˳kP.<eO{_ZR x~$+m&z_+x _l0v)}#:!y P~R"GluGO$Hjd7"<0MhlTeb^Fv.ǃ<7Iu_=&JS,<2ys?ԂjIjϙy[In=Z~|+CR/{awW#F*ZM+cގ_6r0Hk +\/?%Xb %:Qm) 7OwUzh$PCyABz ѤYAN^otmL򠎃 Ub(RRg, O#fi6lk%wU&'jF͹NJY G@ 'Hqp=y 53Y;gSu'-gv Q n)He_s"L7v2sGp3zd(@r03=rk^+W@œ`ׅ;;meݹw1/nZRj]Zv0@od>Ɋle\rCଜ8&;HvƩIɊeaUֿU\s4۳t+-9`l{T1VK9iH#^l{9.B25Od<.,ȩH&rHx\2k`bqơ)g| ٰgBC=DEP6^Ŭ [!i'0eņ<!19E7yf .O\zsx`%c!i |jow&n0o1Q:kqh$:SCV yv,I+-5/th%PDF,x+JkB+{+.7OEG@nB%v"#Fwo>10//q%J%lU[~ӚڳDAjͯrnJO":rUp>֣`vMuhp~n AIOwZ U~{svNݬ;'L8&Wtȫow&LƏ-XX&kK+}񁴋}r_9B0quV7^cM-mڔ1˺u81+)EjhpDEvM>hJǪ}n=<Vthʠ:bv4+WL>ڇޒ}ISHbA85iE ֘ ͍{ݙ} O1&ި}U@<$"DrsG9Q4i8h|pC~'"(f^ws qwN9f!P%RWZ;ԠXU>?_)&]4RKރE26t-T~][fYCuV!CxpHI}|.GP%tlH=vP$F-T]!̳*M*K^9Au{BDtk^}XC"JUR Ko|LҧMEޡ{4KRx!ۙIDDϼ6)O&eYp4VGz]?jX7:VDE π)l6֚ߊ/j%A$5(W7 eC«LglQ}6)N- O{!8#5jN51^]d(3dL#tJ~MЧ2q%jlNz^@s~=wRӢ34xKVAeS"-؁Ɣ)l%pL' *k68du`}AJs6:KB0ncJbwт0I9CTyb펤+<ںuʼ /qKq5d\H:񲰍7<H 7мC6Vk*mgbhR&1<>28#g]hL.TTq- yЩu@bXr.JgV6[i9jĤ߫FIOH<" o6-.(ހJ}p sraϖ:H<`c'ΝLS{JޤA0+;8hUK^7Lv^`eDviٮ͔bԋxE>+ꚻfBDό%œgU:+'>_Xtlj$|w[TerȹEOrn٘DŽJ0+; n`X2|v$ Y0쯸:*A=nY.leij @helTQ`n=⡱cC"Fs`5U|P&&Ȟp$2PV\i%Rxח8c֫#h%K Do4[< z[Y2` ,k (L^ 8Q&a< _~V kTbG߾\E28? rv933T;5͡X% ^sYIjn mw StYpWD(̳mkBi81Dr cKb]41v5hiO(Iy$ƐLǼKNs٠MJ_1Zl缿HE>LZRWߚ:%\;nZi 9C!7TϦAf"zl!/ԏQTkv7OV|h]ݼD$z.R5qwHPA4CFG֛OD7R2E0iӺZk]f K-K1@` pauRjĘV6IcL٬|_#Z>KaY}.#C.n5x>ڴ>ywQVXY,+H:T:oݟϞPj:t<659 ,$}&8 =6[C18`Kcz7̂1lq](ہ& ][o:F=GM~25C cb߂A/=~@=)r0'CG3jPY @0vgƅQuٞ /*J!)+PȇH0ȵ DmuD~ 쪳ѥ1uj2/[W XMw=du)+*(]$ ?wUf4WDQUG'Nt^j/$|<~,;7/ur* (ȵUfMXWۊnjNf /b(?^`Dt7>F齰KomSt3? c73R;$J$^BE~ S賋\5ݵ1'ʹSң ΃I3-lKlG` OvifwU% o-3FdaG=_Kt9k'w {wvA;R,wZIgzRꪊ _4qZ *O#Y0w:pI& VnԇNtԶ]d`lЧ.1GG }[gxWd(5eD] Eĩ1Uf}#M}HՍyz,hG1&Ʌd[kHgYZea093e26ae0c787ee747b01b533b7102453106ce214791451a3e4263691afe954bff2e8059b80e96 e3bbbabe140c0d040cec0633cb1518077c7e2174 7aedb265c9528835851ea8a48763f9dcf10d018e