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 3=|,< ] HOL-Quickcheck_Benchmark:threads=6elapsed=282.201cpu=1350.044gc=63.6887zXZִF! ]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲBK:-@11 VG׈l}?ŠsȗiRa4)RjQ 0'ޤnmc zy_8'} YLYjdeƵiJԋAU7dP;K{G%1\R ʦ5998jyҼJ|T4&ae|jP˖bqO<<ֽƖ,ekv+1䈹_o6Bhk7W6[[ OSiUjYH;L_T qQjѰQw+V8Y&t|m ^>ɻzC֥ gxGA*N@`̊1P!f_$KuuL 74|y}.BxeRomMyP>p:{d+w&;w=/HK3;e|Lcfz`06%s)Z8gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0. 0#|A4#| S-qvESE>u³'qxsm0A]J1^$  }Kao+t廝z 9#TmK4c,Tpl+(+XRON LJLQ!@a'N~c._6c;o<$;I Ol7gs"?k'UV7)ϲIZ#lÿ+ה!q.a{b˗5: |ؽ?-7Q{åÎAZ )Y{c`R(s/Xy^Sq BqlyK $hi"eW:1oHkv!^1 znBu HO-!< ;ZP,x҉s߫xwcV%;]t(G<(7d" 2!w`|YA@v(٥ ֩jXoوl{ح^kMTc80w‹q٥D‡$5ԈU0 ߕ[l$WHPAɻI>$B '39[5OM48tT[d8ulGxtoۤ.훻C#=Hf3Fi &h^hzK YF{֊%ԤiilKh/N PAFPUJw ۳nUb$Lb#l+P䏡-ș/yn2I,|0`wSuq(XЎ9*TRɃlH3p.YvFh$Qc l2$3rI**@&w!|PlFw‹LH;r}]P֏RY,ynꤵZx8b,jBkg؍`H^8QwRWT_[Þw y4BhxH6z|Lve ' [ 7rݳ[]ֹԶiȌFu@L(sƫZ\P8 `aTWqXNBs)¨3wAA-4Bg'N@ ]<F.Œmu;|x ةyqj1sHN1{Ɍ#)G^ƌ!KCl6ZK2WĬ/&)9/hO=ȸq k9F&uͻ$Nm$EY6mi? 5'-g^#9~~?ְt!͘cg 9)N\_Cb_p : 'g+R__~Na;QdQʽ,<"{4튛'j l 5 +:a„| !& :I;Ձ)+ OYZ̙o+z'ue`"UBFp`$C`aȩr?06wQ7$DG/ zYoXCݨXpî c%Ӂ'i[$$= Ke/doM޵ת{ = 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פ(߽yi<C( 9JmrO W;`Mr<Z;"T}[zTA~;k_% "n y*Ѧ 8b i٫erzd `͓9[rUwChO4pirZ6$ﵽRJD_Q.LGƀ{E oi! 7X "/t;l;$m|@3"<^C4ZD ʄ۫YVp (Z QniO0 ^gNLRjc< L]NL#HkESϮ[+w_K5F]oR.S;F&Єn.* 1vi )NXjTSgOUIxfEi_<5Dm%lz !̚rYm7ХHs lҹo|U~t  i'1mԀN9tUt^Y.8CfjxLnkImQ!|`0˧HEZ.2&TWAw8HM`?jN,E}?[AׂÚ _DeF8?_Cvr4Sk]xhi8NS"wv_ZhJ<Lbtn{,EЃ=dWS 2>˃YcaJ\\l.\Hs1(lmpc^1Lgc%z'hT+xDW aKޙM_pghFIr3OXv5DYdY߅1_ IkM8r덩B;vB)_xw0,3nT4-dԥv>=ש"=j`a^ݭ.>k4`Q?uڴ)B;BihmLLMk%:Fo ù[3:/3\ ?ddg HhԽ21lvZTFɡf T9'k.$`*3sXOqBk3Mū[$"%k`b(q&i#c \=㺹}dp[ѽL~}ه=\kdi^$`<^|}KuCst EYyZ  Z\ea ˠپӇG? za 'rQNxBxRMh\3Jӿ s-V|xR+34B, WzхvⲎ YZƢL6ZqYa:UF{%Aޡg:1`TpַʎN_"г oCD~@gb&0-?J%`=R|[-ڬOYn~O _d.)g? 'Vqea{1!Z5=p Rf,`ږS<)$ g!P5<*܈|utROQSQo95U zO0*FR;} 6Q'HX[,bM,#/DO^2%tsZϻgrƇY.IXvڀ & ka;ǒr \X wu*1ifkEB)3X@ݱ3.#;T<0]Rq:V}CӴ2J-mGj-+(1YxDٙ|Uڡ^m\5k'Nޘ}#?D~KqxT\Ig8~*Ԗ5/pk&j`x]w I$0EOHk ;.ZB&yO Omȏj }˚P XH~ ^W:oՈ #lO> "ɫ K!Rv,K!D B&<މFti;{Gk;!ۨc7./P|FZi ǰ_qb2~h"4`"|~K/)s!P6o {&9KWng~5UcW Yp{+oǣ!+¹=55Qyg5Ŵ\by1vtQ0$bC:@>ǥXL١DEӀ5:|鉙uy1GnbOa O~5A7!K Mt)9m |mo\3 3ԌwӇiUE~}/NLM7kB X[tͩD (Dn"5M〄,X]>|+#:4VF7fMK~W5˻[[2r¢++>\[iN$3{dW|2 gع8_heбX,fdvFz";!2WfQSiBNWKY x^M+kxuҼ۬nS  b4X"+qgC_T}9,TI-??k?D$0w\(yT0>[搗Yn~qB=$CKC]^OE )/9J ^ \2E$=#ʱ(֡gD̐2"o{.{_͆`vg l9~ ɦ] Q ;(fYzIgxOkP@){oiXn.[ggi\?ݻqNQrQ{hcq~IhQT-$[w%+VnC;Z5B{.x"9!00O\e?ʬr2otBeJrgs^~fG91]~JΌ N_4h.i\?LπwKkT[׋S;| s1n42u&>^0><)*`t3 ;׎=V/DBZ/lӣi@pxs0G{^c{*^ e G \-+-pI9gdX!dٰe@3/u(9+]:݁*7_ĸ(@[5 oxF:Q uЧms 7ġɿ|"Nv@.r8r U?L1*eab^0ۋݹQ||WbS!t#NMP/\6'_vAK/qqyު)&q}t""a*v %bl\dž&j"FR"VUޝ}'p|9?rbxp^>5=Q.mA%}^cjH،,Ѩ!i6(K}%SlPgBg1{ԛ iʙ`-zΣ>礿s̢FkG4`^tAϝƮe,<_wY 珓TbE僰Q+[E9G0`s{2&;/ߥ;i50Jm;5*8($V}\C%d~[)@ۘ~pqBOjz1Y$5o6 y76߾HSmҜM5"+7CIcFg}O*q0g?)M#PJ;I*j :KS n"XeMf`g͖3AaշJNm2@&^ׁPEž&\#:}Ut?3Muۗr@-sGH6' *䚞HGwwa ږ3]1䯆 –2Fp M|X-]WsC#y)  ^ȑy2ɋ\: J@X)nP]\&]/& l$ѷ˹kWIӋ`*8hQ_7dzօq@١p['Ge97hhf q 2GXvNze7Gƣt _`knvhq;z¶ؿ7s!J[OtÁ:> qD7_ӂâѸDrg&G *rR$u]36HC$SXs,ۭ4;Q n1dm:V{iz)7G^֠;Gq8@ @9}YhP '(~fG 9ǕV?,VZ*EU;*oċ;R ,gYnbXM8)| '[Sm69yE `H uS-&A? S+%17T\=ڄU羚SQ.BAbn$Fˍh>eԕbXh_F 4ރ8')ҟ K&EO]LX4)]MK9R#L|k˖IcogQ#*0@뉘cxV0TN]+ Gڦ}6~"'{ >3>|blW]4 P14€rR6՗ \J_B9RТ1'kӀ|HOF|6:7Bj{ݴ|ٳ~1m[;]_AL׿"==l8! ]72wa)tL~5%ôyt>8:.(!_}?Rgڅ@+LnDٷ*ȽM;fa9q%đ|m`tme\;cE"ɉ-AuyǠjmq's񝙼lAL*0lka,Ƣ>ZK'^hm/Z N42H쉁HÄ5R. oQ!U?5o~}jgCR:V}᲼)UV(^]P\~:D*$A[ek}c9 ̩,o#\Yg0h}3aȄx₦eÝ6J(‹#h5''EOYϲ7aME:$Gj*i\w;/pMÞ;)`7j U}z/]`F6`dң1BR (R:^~{p:W?'BQ8@vN=ihU;ĠrH}7al{! t7?tPkNCm'ΎٻI?:#z+)}YuaƋ<8 8RGPPaosCͩZ;*3!.-%Z\(j.JtKMC\J]%Γգr|>QC W3;czWLI0Ȧ- 0DqԂ]Px^Z/&} ]pCEnLrGf&N|]:;<}\YL-¿Da]!JR Ik@en&l 8^LD^#m$:bި.5ksA6w'aI^"Ypx@q~Y0 v9>za@ \e0Fs1" 1~="B5塒vSU*P|7 ׋:MXߜUqVt`DurAo<^GÿCWH? eu]?M|ʽ{}o8a[DZ6Ed6HQ.gVITs\;-?ҽhʷM %ga Ir{H/T]w2p-]% J9 .bxU 6<(cܽFvSRv GiJКŏHhK6z*j1][>Dl~`2]n;7G1؝ x)wLfVwqoT'6ּf_#Ւ6\ă>.?T9:Ԅp&#+aݚkKƜRjmdܛ5'mT %A?bj CTkw<#EGX5֎Е!X^K//I%1vND{/]OJ2M: .FC%ob^yܵ0(DNhJbl({,T^'7 ;g`B8U}=2TM ЇʿdT1)k\@ԸYiqL<C>]arg]K'zgbnRm#Nr`FOuLhRw!2֩\ĵmw0eDOTe{כ"Qf 4wh8r*%mtz M+~?0#`yŒ8)!ܭw"t"'i')/3ߌ^w@̸;O%0HgnFg1uf)ب7wEVm٠_WkW!$3 ^UhnNoжԶl;!v_?e[7. x+cť;o*"zKb?!7/)aL^#N/N2z|j:kز(W.n9#pP x5WCIfi; OU2\KEG;t%JbѲr40d9&gI&c3ɀ=ߖvs-P~3mq6 ^mDMQQzR˧9IUa8"vmnDw'A K?>j3҂yjؿâ)ۅ)dvdp(@7|l'+"RpKOR0ԗ*HJ?R@֒c#KJo|`wGNaaO/?w u~@~vo0^J{e,_Ae- /d`Vɸ/wv}ǡ{1u|I<eo]`?cǓ@[gPEήZ53OFzWux# [`^Znx@5TV ]+ į,v)sn\&IUݢ ]BǧM;!ФRRp(Ȑ/ob׾ZzBUړE_GE'#=BldБW 侄3u/GWscqjbjv%qe `{j0*Rr{BӐm/QU&LXpGʪOw4s&!6&Ps/5;]rkZ DR__aw RUIv`17M'ƾwLj"~>OVvW]DF5$| >m#ݎ'd9.v&hdS-(`3ĒOwVc^y c荟ND31RT-(J}$o|+ONwjhmGhS< ~"VihL6R 7}{ _rsBxnvk梭4w\Z( ΟlblTQ@5NDjvGgʮ[Jr^dLMy$.+3\XUW#3#}x&ֶmF99RsDUvW\1n7}rk T\RhWEB iMci2ăU¿/n6p rmޒSEdgpf oP.:e38Gn VUeC2n;0 `K{/S\ttvq}>"%R.~V-u(wć tm; 譩X쑜:;_)uLY6g#U4o'DHMny9HingX,lӭ^^nHbNtTbGLfZq H ʸ\)3rO{8]TIʪ#G<}IځJjArN4.52)/B_=s S(u`xwnm) \mzds_X1$S3 C ΍dx{ 0nnTR0r.x6X@1]ü@0{r꾄uXjY NSXe^:~׫𺖼\kLQݕ@_4qr4.λf@0ѹʵ,Fpk -돤)',6 2|N_uaAVƴ0Z`o]J^Xk_7tnT0t3;R{M ~ vR,,tGǤ" 'ZMj@|aA͔/ZM+Bi~* '(罕qH ߊ)rvZ$ KWc;0q4|iRZl:3-g'E8PG|:q{FʍO<#1Oo# Jfs.+S(zAVm.%h/Uq7@ y3%ZAW ˭3ϡK3P \kZCRQ9Vөi :w8F$nˌ> K34훳lr (`uz8FF*#e?Q* V< 5+}߉kvA 3bpAdj+u0ƖHYKs}L0G4÷ 5|w>[YeՍJ܇Qd*7t߁W]:їFң¡ 0tJ/"\*DBe Xe~0\ $VK?5̉NAt%ItUw;A|T3kVd$.Z.nkIÎ΋l襗qspϧ%̬Jk[ Ovܐoe¡1x/RCY{fRYqٗ4m 8d>t[wX}y3%W0r(o;+79-mr~q#$!,l=#UogRL@pZ<%p kN7M ؕ>lDz꟎?eGX4q-}ݯ6LUQ5 QAWD(y,g^j||hʕ>Hlձʇf?`$qIiKcTCwi,W4c xcƛ5⬓?31=Da!B>a SD,,ԒjxX*{apu$1mˎ k1[G}@P̋Br~੎ [N#*9 ĭ4_?[3{`>AAݼ]*8*DJQGTN[;R;vhMC/vis9 Lٷ!M a*Eg";ZcukSB fJ,֎z4Tu˛mat`Ms:ɝ UwɈ-WT_qud1};9&nn7+c6D=enUL T 5ɌNu6x)vԑ zSVlAYf #V 3D/yFrKw*YH.;ȪypHXզLԨVշ[gF ڜ,JQ wՈ/p?^q PZP. Y__FQzAY3M_ x<8 [ LH,+.A6!@*yzK/ &­ZEE.$w|`55uAqef5 g-d`-9ȷؙ$pi2ʐ dP4 9dIu1Qt > ,a3&n\i1i[dŲOh)W p~M^U>\cer UZfeꍙ RU=>̲EOMuI|¹Fad[ձq#}1ɧU5$n(u 5e~ I4o 2BPmE?j"!֥1]Wg{ƒBI0dxh@X&}{)=iac=KƠd3X$ԇ9ۖ =Z3.1UiVŅL@cI(3Vhe(_rbE~,k$<Ȣvм:EʫYt4t`C.;us*bL![2H ٥toE}r4,d:hC8G(a/gxхs{AT5!IN`5CS^ǝBz #!Cc)PmyVOD`p8¾F qO蟙ՠHGuwHuAP䓋OvT N h*tveX8}|qL_R&Ee~:w_~;[8/7mi!:CϒRЩ N+/4@9B1{:׬w)?uob|+y Q/)XK&~'n+K-,4s/bCA2Ӿť27 CGgh0`M/r&'QGU+ظtb+CX뺅KUv1 o: )t,aj{1m r麣B]Sn"jG6uLJn7[T|/櫘w ʁ C?Tt02) .uY l yH7Xuo~6/&h?xfئʋh@k ȣ{|.]'vʜ2KMoƤx7`h [g@ AA[mȤt=+Ad'Dwؼf2QHD^hh |xun"MaXf2]gRȁ$C9%>} wP ? 3ZG:d-W0mP`sOn[!X7T|g<@Bu/~O2KΘ')Ym֜#\B@"ނY n]IDyԁ$wU 8pS@@]2~/FRf~ a7D< Ϭ=8GGҼyc̩Ͼawe_spQAw$6b S7E $p*ӧU2ϸC) `gw$xK{&tG]GOn?]qmd\nM 44FKYaE 5Pqssx,y~PGuCVB`ylu$qVU =;sn ĚlMKl n01A?00kvN΄YcZnSy,H:j>fw*=t qXGqd L-z5˰H+~A5ZH-BA8F\Gdh\fcv;xĖ1#*Ѷǧ!>b㷄AGzٓ OW 7Fo/-O{vDy/ d]r# 1y] > `"_ڂꀗVL0DED>" OSLѳ2eTƬ a3ɒBPVOAsUJS65KF '|a;h^gR'4"Z pK&Um9OnqhE6)hz{MrI3ZbEjTs# eN"g:MBkCsn}YY4Sq$Fڬ>i8 wwgb@}6a3nEAH3 _Ndž eT4kT$Xk1UR]n\EQ]QUJ` _fzWXSmٺx !LuWR!SZ˽l(Fjexѹ)Gq̱_wnR_- 3 L{KQfdI> r֘/w#95cfkV^Q;iӨSѬ-thXMc8r<|n1hsniN˺.>TSn%dn¬vhw3|RȮ}sQ8x|v/"sUT seײ/Mw{4O^;1A h{:mFhXVqUL TBB~mFM|xSdAױ<Wzvzdjͬ <'˻b܋kKfMO)j3Gװz֬L9tK^sק-Qov=dbfblKbGg 0 `oȐP¶TN>Ҝ>4@D/-2D`΂!fYzSOUDEq)JH0.)-SFMg݌Y~ b6\}'T"ˬ0I"105I#Ř8>3S4_vt銬_U#e IEdXF+5U%}x.C'8k7l H ڜƟ[ RLzV?.^W|2lՐwMm9Q 5S|`wcU)"N<hA,U,/dcXS1q| {*KBJ%D chr_KwjNڷkCd`/7.F~Cxc.]wrgP79vl: E춋܀QRRyo 8 (| 6[8V/\evQqy_  <^ A󊾨JJ2[FX\9uA'h/\^XDLȏ)Vr8vBqxXBk(|Rzr>[γ&,~,IFyɽ!u8E7^rP37Ԕ1^cf8n4<ĝt߯܀ne lf(N|Rm0Qv ;9y;ŧaZ*{l3*מ&۷wwտ#{ AU#fKSng?|+k>u$E+5̏!SZ\}n)믊mi#C5` Ng )i>BP0iɑ$]ܢ@9lPcW%l.N}M ,}SRb7*Our1HjࡁrN1Yw8}]3L׬߅q YGQij.$L_H-x+>ڬѴ|"5,[ `ftg>:Gͤ0aaZ>+>8J-(% VPw#&E`Ù`/Qð8\b"C%KEB=u顢6%{p!cdc"4 q05' yK&K8Ά nf,HWTIly| ^?Öl!ITz=UJ~^ |)HtsVdb#"6rIoUJX!&A(fVC(n[.ě\&ę >oL!"/x9֍?F Y:N֘SD۔8U6s,sYNk@p?RԘV0a^d!Adq'?>!ԓЇX'>Fvu{pzdW7,nͮ<%phsg(n0ߢxHI29ȹH[Umy܍~(u4LH1zh59`f1s_ikyRx.m1y&@Pf1],.S/ι/r+wqqDWɊ=a|X#7#{Il@6{F3v1B7oj{is;B7` O+SP#BtYGBW4],}L7'/й9 R3HFNrDDN[Y]n=${z0gYppK{ Nk(:Rw-l܃Y LstDKlS7N 7U",o#i%;RJBtB0TrWX Җ$`"Gn]f&wVoxG=]s5ʉNR{c1P|=LmtevdyҩbQu^Y9kQr#&q{Yrk~7Y*OGmU\Vk$x?zfKh]v^L9P 4] +A]sBqCK:O?4Td mg_o;@w%=ŝk6Ԑmt<B0SՉ]e= 3@,O^]2MG*Gp{1V!}lZFKI>3D H$lQVU\34U #\ݍЦ7Iˆs-ҁᘒs=_#f:Ri`20]US!hdU}P:1ZsM8ɰ)4O̵cG6Gbt^:#2.C_fI%;Px'uJn -8+ZazXhv_HyUs \&D9P bE6Į/43x<<|,2WhrԪO15Bb$$GCFA٧:A/ O\+: Yy) H7-&-]ox Gls.b%:r0]+Z_t[pwpxNZlͳDȴ; Tt]J?!$r;6Y/IؼpJA%d$" #*%0@thO|@%FTk2kY8$u(hs}..>© Rw*ֲ&BgYZd63e06eade7155d5826dfd0634b8f5ab02dc0d685e341a1d6191d9356afa4682b13bd70b1920f9d9 63f48e936253096d790243e19b2890f4bf58673f 319675ccf492b875a3555b5d07827862e423dca4