SQLite format 3@ .;  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 '=|D ] HOL-Quickcheck_Benchmark:threads=6elapsed=276.626cpu=1286.540gc=58.4167zXZִF! o]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB:p۽ZEE۾L2@Z;S'Kq|w&9]#E@A]=YyADwiIel|=7p*<0CKOK~lVF{=Ӗbi "a5t4S8 f4C@hֿ{I&)Z^_뎠|!SIDu7{e'^_?0WjU6!0vykgnTVȑFz1NOWRZ53Pf%'^/ .X}>& o2;LE<\NĬ3+%~均\ ƌC)iQfi~6lee,: e%đeҸ("HwtM{#q vI >^mz:^%LPAg:y#.9sV܏|[M }]ЭN[enFe{{^Q./PW5K5+&A)|ןp Af!'|}}9S\V.q.{U^ B\)rWKFt2nڥKq͋ȦOj`aQaLZp!&Ե=s@;N:@vFvwrmn~0yBBcfD,;a .7K8O+TrD EW,\HK^ CxPLQ1DSjާ5 MYsU*XR.AkmFG2 SI7i܍oFyZغ&;zNO!H`Yo-lDq]|$,%_a^VxL_3{1A@Sb,;_Uc#r%KwZ95poV4wpxM45?y8Ǵ<9A4F_w3|38fF'cU j^5~%+?kdXŏHR5PfKV"oi#%86*֐alZHՌlÊRE)]AM_PWqMl]_WlרtV*ҧjRHyDs9 xkέ$Zb A@ &T@zbgb]C;C,b\3;~YszFa}}"ttZTP34j^o վ,2GeUJ !&6!s[s 26*;b!z!T*~Y"8Lu+! _ eF,nzx1F-|:e|ocShU  CL-=mG4"eH~F᫸8sUn`:6T~:M?;ItoX\oLjԿU_=Cm4(\oܣ;| dSβN Zؽ}>B>q%IIVl_u V2p^kuT>oԭvsܯ/`}cCBtb3ZW犥v|9nC?}L,!(."W<ieȲaO,o8!>?yEVmb2~|vk].ۂ ~n7̨mU)R ?疛`N kC%A'>e#ȝ[lwp3܎۰"~ͼ 0(4<7BGQ9mJvk/.=!m|x@ >-׉$ɧ:O۬OH5~If%Rp[_l[ CC!hpt}! obl}A;Jsm]7;ȏ ty+hBT,HO.itɩ % ܃0'Z`bjVzS^Hk(D- ? OvxlxO5%^uQ'&A '_CA ;cv@lʖoOːdk_a3qYEF bs$k<iiom`W|4M,f^V Z͵LvJY"BK)GH4Ƌe 7& -眆e!Tk3m/0s2`' !Zt7=HvG+uЋg}O ʁʡ]Jm?h/@ұgYZf=s[ dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKOZb A@ &T@zbgb]C;C,b\3;~YszFa}}"ttZTP34j^o վ,2GeUJ !&6!s[s 26*;b!z!T*~Y"8Lu+! _ eF,nzx1F-|:e|ocShU  CL-=mG4"eH~F᫸8sUn`:6T~:M?;ItoX\oLjԿU_=Cm4(\oܣ;| dSβN Zؽ}>B>q%IIVl_u V2p^kuT>oԭvsܯ/`}cCBtb3ZW犥v|9nC?}L,!(."W<ieȲaO,o8!>?yEVmb2~|vk].ۂ ~n7̨mU)R ?疛`N kC%A'>e#ȝ[lwp3܎۰"~ͼ 0(4<7BGQ9mJvk/.=!m|x@ >-׉$ɧ:O۬OH5~If%Rp[_l[ CC!hpt}! obl}A;Jsm]7;ȏ ty+hBT,HO.itɩ % ܃0'Z`bjVzS^Hk(D- ? OvxlxO5%^uQ'&A '_CA ;cv@lʖoOːdk_a3qYEF bs$k<iiom`W|4M,f^V Z͵LvJY"BK)GH4Ƌe 7& -眆e!Tk3m/0s2`' !Zt7=HvG+uЋg}O ʁʡ]Jm?h/@ұgYZf=s[ dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_Examplesdocument/Find_Unused_Assms_Examples.tex7zXZִF! ]A-MՋhvG"uIBm54%?э~~`ٟ v`kM^OD3J>IxބaeA{cRԈdTK&Iy-lq/2L/Q}F7^˾ޅrd"7hZ ksC >sTL}UYu2rKOOf՜鵹+-;[u s>@. 3(jFt.%0uWmaQVT%V^OׅP~$bc0qHu-jb&RȌI~/Fa~8wVoDV*B#v ;O# п%4}1̯Mڽ{wKRwMjy84G(%'$hv](P'0D/npd/jzb݌BV/-)$rmxQq/7VQSTz)ܴ{/@`mڈηlm)W(㔫Eۅd:nacYNGo IإiUc\-2EcIo[:j޲CseW ́$4iZ!eز7J#r`xg\B&Hbdhj2U&R]sݢeboĮxyF/ FjܶYQC}/(}7x[KÆ<]WxUȆ>ӾΞ=Ͱ=T-KH@G꘠v772$6~mw.$`|%!/YHO_o>cT5<–$l;Q>Kmsq bDz^" UMg)ȱ+КASi#DTn؏Ƹԛ\G]nSN`RC(w F"{')MuKW~O HXxܟٓ8oxXk]+bh$RQ cE-֜4.*ɍS&zK41ǰ>8*2,N#aCv$GޢU yd֔b"W̞noH i!kͮNlU RE`^1}Y [~L-isŗwgYZ = q HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_No_Attacker_Exampledocument/Needham_Schroeder_No_Attacker_Example.tex7zXZִF! `]A-MՋhvG"uIBm5ij `W')IfY* q z|H-/$Qn2f{y"Сis& /m)c}XRr"ɹL_A5H8bC+ސ ۍdWZh$d ַNyB1kKS[{X)s5mU)ͤKJ1|RkY\F'T rڬwؔct>[7ЭPj6m@W 'áiP{Py }5|ˎӦG0 kuAWl I MDq| !6Sd3wJVd^(®~;`o*y!`O4$Teg;5.;Y(ɕlCCp,K҆MlT.P9@QS(/d8TO$HD=/9peVxLG+oVS*‡:؞X;{ 1ksV}3f(QcV)gn=36݂UTTJ0?( Yنorn8' TK τHjp7[X[n׈Tώnx٦4ent<}o!^Empe e؏A\ucZj-]^\:e]\1oj9,pP@m@/|*m2PWcYt#*Ii=*&v[.F]N%ո땔B3=yr fz0EftADLFüBnRnPsuG9Q#M}:s/CMܫt?Dh˸P^̅EDw p{8`N,K8TBgYZ Z=kS \HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.tex7zXZִF! *]A-MՋhvG"uIBm5ij `W')IfY* q z|H-n>-$iΰLݥ0fpx=E &wl<_{B秔F/\ #]c0(.@̻~k Rn ߒvPbk^8!Y tQgVs9 /C ORYFr}F2`zk'LAE3dVi"=5y#T>a/ r'9{A/eljo<X+/xy]7DaHKY$19=W/-e?fq6jM>v>ɊZXa{ h9 0aN0 5-U[ie rO/c8|qj@=GX(V&I)_2cb T>T}DxmvY FPJ|`>H46)P3L@nk'-b9Z'w$E3T Hߙ~$}\# ޼ j1_,7h!(^'ۥ;y;=Sh,i'~ &߃l@K3'գud<,{z[o)Ō0>Զl *+gV8_O= #sK8jf<#&qu `߾gdi:,Do_h*?B=CPvdT &^6Dv>Cдi(/2B~ >~lTC T޻ˡ_`ǻM蒮>&tG w68/[0p> n8~ `⩇$Ey .X{\[419F%Btq8^ 2nE,o &|Ī=) VS5*н"N'Y/ 3P ^s_t ~]ɰ"_OEj2 kLqЬoq=3N __𔀇nu}=QX?>y!Xw!5oԄrkYMU d^~KW!\B;KU3ۍE?# 4\:gJEU&9bOmNrbP'zY髧EzYY:@PgY+;%w{'Su_Uwu`/˄=7t x Jmjanݐ2ؤ/`wv{E~S<擔6,A,lj$n D8鱕7-uvI_ VtJz]õC Np覯t yC;v ,nw&'>m՚6Ar*Jti+<|r; mpTݝM2,@ D}{b(PJXu5< @>#ܙt,RDJ~_OiiKxRs`+*~n \j NVw KgD?"6P%Ϫ`k룈\LO.#>yd Aث1 ، h!'L]rĮt#^+I%9J * (#-pW失}ٝ/v ,G&W@ۚ~kZɹ?DQ=4|v"\P=nȸe7}CD 2\Ux j#;t:23!A%Џ5q5O.60,?<IP7 }C etG]p6s!\ߵ1ϹP$Js@_O[p V8b/,k/0Nߦ#GaGuoDQX);݃,*gYZ (pK2iUvzK">N|PFx7Z/Ѥ9fٓ]-v_ 8R8B5CՐ;F(KƝ[12gT^Ҋ+}BiVC\jao#}݋G|:1;tqO0) mQ"^|+ B{gάhrowEHցA6)U%ÂuF_Q134kJN;lMPvPSYuIk#+]J±ЃbX(Qd<̓ K(VK TkD^ ,g,.GvQ/tN?H5>F0<a[É))d ioڍ]/(&J*ΎԴ;T9U{X7aL}xacHXSSJ[GSEcl^+(Ƙ̾,", w5 /"}6@xkb.XZqÌ6Je_u@mSX /!L|7FVR#Z)P5wW^ۙ& LJdLp]/BXEm9iF8Kvn9!bQLL,#Z [u~ؕD )4kH oK鷞ƟTh3V hYEi`Cp)h$Y߹H5O-z»b%?X`񐸼ɇUHSwp=ejyV1eIWdAAU eJf|ʚ*i/M+P?M6+ȹe"ƶy+IM, MgMa37T|M_941b":gQ<ͮNO <=!Tґ~ {L!2Uf(qFYuQ\q`|[>:jsq9pX@ZPQV b^:h˛,g^eY:$W||s2k6*]|6Wq!8mN$e InYM|_ ,1* +'Joñ/P[h $8pnj`:foСm̫F )zJ:YdU@u )F(vmYG˿Ax n[3rա?,59U4wH*~soG/h6)L%%E@_t,En/Y-nHWOs"r0a(ѽ}m w I%[_U$eXCQ(ݩ&|jtDL|3@]`k&QQ`G?D>`Yos=3Ý9.R>"mP>~S)5]*|G%J7dD%Ӗj丽I) й @5>kUPٝ8JLQ3gf^z31¸sڱM bnlsnNuΔV Ϸk֔j.0 JCR9~$B*cU.NеlkY,ODЋ,}N,}IQGnODdcdR&s9OR|Gjl`@B%aM,%$ ;Ѻ|cȈ:'D\W;?se\{5␵tR,{JTVĘsQӯ`;x05 Fdo*Q#K >Ȟ/y8DbـN[x]oL_3#◊/ o@VN^P#CKG]%KDv=n!BڑSj3cR/0㺛5N1@37#>u#pN>9fa ,}%#6&$bMm14`$Mk +^ڕcj9a"τy'Msa39M̞wRG,FTO~Q;R~ nCj{ PX4z5pG)zԆʞ`l\7}, PiՎ؃Eg`3[2a1ˉsm [=coݫI5\7\lFdCIMTKzOPSYNL'ye!ZFM;tB"<­W8JP]EHv*l;m WYրgQI#',3%dF(U/w`?5Y3?qԶU8G$%\'T?=Fo/OasCGݣe7D>h%b˃PgVj 6$\/u s3'_r8eO"+#[*!c+|#/ؿ95Y/{/a5x k1ZZ}a[Ńe sdON! w96%YsfRܚnTxx}Z,H@U^%R/aTK^+6ܻ'XaB%HZS uW\>׽KZ~-;P'wj;pÛ1}ݢ l,D"8? 0>sϚA &`zh&CHjF 6vv5̂&{ժ _£K(nj<n^Qe'Xunj?~BOٽќbՋ3Gf *(BZ8oǜ@;=)H&|(DQcfh  ee욍IԞZs_Kó6v8R<`fŊduWA2wPN,ԲBOK_,^[&C{- 8Khn5o;+,ϧQyl|3 EZF7I2| Q[S${j, NuSɈQ+Nϒi{ΓnD5}֥!5q{[԰|#(vFmzʟ|w]3&2T&ДG-DW@dY8.*y S FGiӂ )X͡v%V*$ mTմ -p;1:~@[âkdo)$9 ǴAAYT\e?3a(ʕdA?\:D D^'ȸf5[ Q+\rd.~D:GMJķt}wcvs&!r Qi7 k-[@?s&*RoX2{Sn$+-~Q9p鐤ǝ P 9|!Z9>[!D|lq}RGRiTTa^\. V4V ߆28F"'#'y h`5jtCXӚ"T }] &caL \ykva@|*s:|3ٌ5W]ٟS9eIv/(yqh!QFm)(k||^s>]B*p+NC'_~*C5\8Le'iieiq8ηO;8GP<̷E*@& 9^}Y,)ߝ&G>W:vBxNLl3S D꽯a>A0p`#L[E6Q&L^a:$MׇфpHV7./f+JBtbȯvi69h\" csUR9z:F9䳍's5gjrͺ|ӲgdX@XߠUNZXʲ"opнFgM!$YCƊoƃTş)&_9z-{H6эPyD ozoevO1,QKGK{ D!Lh3ieAEd$^CCƿãtL $9ۍ6ŷ8[3I + &2Ł־xױCY 3ıXȐ"R5 1Ž:vms o8c Qٹ"Woe&FGlTQ׌^E*jB`f&=×3qM4:ڌJXQG xȲyhX@}< &N*6)YZz'MF,剨O]59SWR&,3I̢ PK&g4.iƕXr47Bd@ξxy$]k!V#[ߠmTF<}Jίe:D,oYXh"N?r#]VI9}\##ԿabE9&Wepmxi OzkyW8BUmĽT!*c"/pU=~Y.OЫ5I8\ׂꟐ3uUX0Q_OGpluDm25s5RJM mċs  á{]~zܼKW3.nٛ} ;YwexxREsq*>:$ ۯ,ؒ%׻N u3\Q oNe9{aNgs땔9UW{#'zէOgo/z(hc a= h[-Ǐ<P&o] #J@Q+xkdgB'K8IOx s.nx)\ Z(fzi"W( l^ЂN9#[Ǡ9K? fxv23`!\pVc%RTᓋi HV-x@l} [6~o6=G yzO"#9Y*4uۿڬB!?7@$P'ۏՌŦjG.YyCZt] ILܰO[H'gNt 1'Teb.mT x?h[#ɐO$Ca-cNY Ŭ+K(zp*8Z?}v?ivq0,Hjp+%KQ9Gtd$R#W?%ft<;DnP1}R,N8N+]*4)*o: eGh;.01`.ϲYrWtyƢ ]N̐Z]6J_m1!xh 〘~v/v71:q+%PA+`U;U90ᬤ„~~ P+QEg"ϷJb﷉gUCY[ǟ s,|LHGvJ32@Ĝ ?&h«K1v@4V7ɷ&$]AjG |J;fa>w5RvcLuo<)/&R~;TTdߡt3 eX*< ᙿ9D%p{Ja.we'Uǒt)ف.- wUurВSVhLdYf0;~뀳sL)j@`K<c W *.ƼB TNuNGڻFDML.zb:c4ɕye>[bȕ`y׎.s}#hmfV(Z*\9cPčj ~Y܂՝=gTgֈx#pN6QՕb!"E]櫯5*г|:HnT?~ fjK2 jF f yaA&Y( %klax<uSy(EGkTqՇ+߭W #z-3 ^2@GthL>WU&jP4v&yO]P+t?UHT^QS-@ in,U+Y`ނ[DK1m84BC:$mRD bV[ *0 pjE៕ފak~"mW"GJbDg)?~tF%Ki`2ۋl[D&!/ j4Miv|2}Ng]="Lv!@\S?wY˺ 0GHPpOIqlLti>/oeuAv43NѵG[@qH__aMXg4 Z n ,0m|TPnj|=#?u kN^ !pC[s߂&ylSw4uxp>QTnhoiYo<z*Na' 6u>;>HDynl`?s-Ā#^ƍd?Y0(<ȑj;=E&I]6.(Ep ҭHR3C(M}`r\F#Cr_QF}qAjeσdΪJW)ߊ_KFQ /C@l'N8{kuutCJVam,Q 3H$od-z }(IXf*5gdҦ .@8*RWZ}2.Kھ8 fR~Jzp^ʐ+KyKs E>Zl<6Q]x0givTGߑBG bGWK{@n9OaԿt[nRQ$ 4=wWw=6>.ٰ)):i${/"6.gP9#74pQ[^e+Dյ#)3%d%ݬ>5[GdLmLIyqE90q֩|[O)Cn~W4OJV#P\P -Ҟ ɊY 7[C*D+'*14#43ⶭ\A@ #QܛI+(ZZi-*Ss#ɒaHoh#v g7Aڹé>&rv nρj>8V/J 0J@ 6vs#8an+UN/TNΆ59xHil:S~hFḹʏ WHa])XYªrPXM9D@\jBy"bG69`Άnub_k7Rѳ~c2Oǫ'(#׎~]Kfx?^ʸe0v\^$Yg3uJnA4 9nz,|"~C[V$}[bſB93bX~')"A̽R 769ɩW0RG]PG B>yĘ@,3z 6Ŀ>k"o]dDs7AR O':Mƭc?ODkvD"I)dA+]1Of/ pqV;63qӝX‹NRv$T,Z-Mc>D>{Us,K0UIc|oB)ر sHgm'J}NߛB1_Ǧ)뗶ph'Q $hӛ!,/ < !bcByF1 YQB߅R*_.s^gy%ȨfNL'68ƢRU:qtlkhQT6T4Eۅ'`v_y;2K-UU5UϷ.Σ 2x$X1ǙC 0Q=R@x?u>W<8<ކ2MGfz۝i^&tŸv\p:Y.;?'ma蛧X8TpN-rQHjerǏC夬NgP+M}0Ra)%j ʰ(@,BٶR sBW6 b"aޱ[ E4 62Oʫe7 ~f_׵}W%7撔fjS"Є@YjO]WIhgLsa20^΃1/'冱;nBa˙BË&SGQL"3kHM[VDxRtJ+)Kֳ v{,fF#;Cov,z)aԧVT\xQSS/{v{4 alRz4'щb?s Ajvxj^s BgJ6#t'}nt?'\fmed7|C .kǑq^@ԊTD#we8~p퐷BUߩJeOY4e9csާQ'Bi疚wQ*7H>۶c v*8ZM!gCYexif%oř8 %56U!Әy3w,/X0WOGv蘸C9ސ% &GMՙw:IJ&)ei p RԘwNOiy,7]wDVQzBtdWy @TjwaE &`pmfFleRp:>? H~Y0gʋ?BT[ߞ_$&Htu/k!.Vk.<^6c bT-iP% cIw2̊m @qye0'cܪ -3#ĠđTKřë`/<+PͿlusLiIXs0k;6r8; = L6 Yݜ`O-NP&zR]#BZs؁gJ ɞ\`ٟ7;(QK ^)zF+!1G8k_,X|d&239T?BވfD~o`xOZ W۳  2THP`ڽ ErY4'\f>=pQq_*xT {f*Y[mb4^,IHZ"?{]J")#|)ӄwV^(ij:O.? <}r:~$4i 3C;QJÎ4DQ &g'e!MnDYĸ<>]FćK(k&y|qy`4Kp"]O7 )P=AnN[G Y>t40!U/E.q㶹kgJ;U*ʏ<O?fy$&r5KxvYc@ ƙAke I9k!qWMhAZ|; 8^Fjq" a*$)V/{v2KHɆxT|$0gZwXy ?w!Sf@(^j!&%Jfc(`1fz#5؍ <;x^(k>!קn._קC.HƮظOZɄwĿ k&s/Js-kVTT񤷛on^΄E=TYψ7{`uP6HGC0 ʗ̺Ch4_ǖ 7pl^'+'#a-ٰۣ!8snӑckX4hQV2RQ=U\7ijsǍ*F_;|8+#  fW[evU [SţRۿVrKɇvL$Φd L~Hws4GkA3hݮG8Ŏu=aEG>H<[$474 hM"?X! TI(!FSb($|bɺ}-] #IvPQbәǔڇB'ho YOي99g6T KJ 8{xTJ@ᤶUҠ4oXlHˀz1fROnWϸi$1[ql ^ef {S"MÞaK(fP#sa!ej}nlc6aQ-J8%f_uHtjmyCE#5 .X ~4$CS=[4q-[EGq gκ>s|5y^~VŖm7ROiZ>n&Bz #"Ympݿw&8[q|ʌ^YškAQ )Crk@*1ÈD5MQ~ 3 ז4MX;"S) +zYسB1(m#-zwmEbC1֗c)z՛v.:JV`nku? 'ApGX)4 捛N)k$T)aϗwx &KcA%_VWc3ڕ̌tetV bNY7"J].{LWP3!n5OvW2R yT:Hu.2iC,Pq+G˦$%"~r,̪+?)Nsa;){(xO8a*ДYbgR,88DB+0\6o͗BAZiXv5j]up-~Prz:pDLxeÓBh3Ȭ=z뷗@q\JH:OA9|n ,>Zq~ʬTs$ezSTv 8 @1ۆ8x|L/? Bž؄1= `ןs\<4VX9q~jZa7;pV\+x\M D']n1wkr2l4l|,WSTWśXfN@blxcFȮ!@IK6FK?gǖrYx8rЍgTTsp@LT,Q\.l-E .O*% Xqp0h849>-Z#\MuF6, 'pPmrι&+s8rTx4|y E<4IS| >|]M54^ ˶.{aG|yR2ndrL.7coj.1 'LuDⓕBY5QQ}(0o3R_KC-Po(-ٖf~:;KpA 'iN⪥F HMW OsK XWarW]av)pʼn!e :+a)8~iDN>8Jtk[@ X4nD`䧁d[{,&sqhf鬪Qa5jvzw0a~fsn%G`1k/Ń&j1T=6Z{g1trJNA3CH7I!" $5gYvfj2bYGʽ7s7u;A4C拺P͋9(')٬a-$eG=#}#UN:+x2-RB?(\НY#'R3T6_VѵZWC) ~ ͍J4&|X/XkmT{|6v9SWvmZ=Z"-rLflZ)C@!_vr[|b!_cRŢ7g} 8HوSF{h@kQVzB-UÃ\\o þO| yx mafzT?9[EBBALCY#|7@UrlvZ@k 0?x P5= &H !g 49u;ED\/x2.S ˔W*{Hp8M; VuS )pjJ^f iFdI롑ݛȟ BK/Ϸi|J$:/bPXXE je#iJja(Z`w:/xI!%2_j ψm6'/ ܥ?~%mzȲ4 êa0חHV sO \k4],Xe M~eXLB $Z:I%G-6qD_mº@BOJ4 4*h} rzjYfTI/ʍ|cjryNO֎%} p4bsa9hyߔJR;Z_A}+L;XFWnЯ/ &tS0r\Ѝ>%6 Ne [XXc(٣r%UeK6lSAGAfBC)M!_OeA@3GovVYi Ta}&AHnhERźfrU<ө˱ӏn~X3Ղz84kV, rm^Sl)/[$Ll >iQiхQs)ܥ2SOP<`*ﭶ!B h o~[q}*})<_`GqqمXBInv2j.BP{"2YeҚë+ng['!䄒sPj dYJĠ[-k\1J|iH#Ze΢[p WAXLVv!Bsg c) ;-1E^_NW|=v&M_&$MW6X03F mL$\u# 5Ln$ [&67jI#= [muV™cN`CED9/MzJ>: oj/ܡo6JuNQլ;[~if  7SzB4!7E;١i=L_|ИEM-><QﻊTI1~#F)$at]Hѵ'3 WpALhQL)TL Nm!b .9 Vpaf#yx82u7Oudj׼@DpeY縵l&ּ h@l85=K71u0?Yb^Q2֭:~PUiΰ/=rFVy"}*~Oj0f;E탠%=z/{Oo,$~QGQPOPva@aLRh,]eOWaP%RIrpƈpͷHr V xt/^Mz P+Gv䒓JÙž ,l;U!?S]] Am8}:צA:F1Y)^2:*븉޼&)bSx \ftSd>^j{궎7*9ݥJE& 1]cSt  isLjC^rPAVKܵRXN}`% m.617#5^Э?8zk0l"!]'k UCa%90êͩXJ-]zW<] Z(4+Nz7HyYˎ'J-Ѵ"_96rN{# MGaE]pv}MGsY\btkߛu`IB`O cߥ2Ao5UrQT ԶՑxxcor$2^s=Sz'@RH>*|_KFLAH8RK;(JY, O9X ~ A7"zd6G /w!dB17(%ZRČyb[_3ꈕND76NY! {d`ʉERx/jC[IJ=0{pLep㽑KtHF$i-1`U&ow+b5t?@^U%nJGM2~{$DMwH^⃗ZŃ6OK>(/ nOU$=uDp%fQỴ۵NWP)<җftue N!6js/= >tD-)deEMvPer C=q%vǪ&yS~xs R.:B;^`cSF(h \U$";^4I\+g(+QEX1laH'6"4(\/X=l kI-P>u |6|>:⵲F"?\zICjn:ihl޿(JRUm聀j9}7T9at__]O YQ&hQK g n%!3xa77b ʆ!X*]v' qO;xlX^$Ԕ7lv5GkENH]V [XO_DMS0 fE%~:6l)UU/f;@R+TZR֣ Tf^!w,R7m=;d>MB\[dp< TCB"tPUR Eҗ@̃[ctV7܊yu`V:`-u(ӗ$b6uĿ-6jdV. 5CM_bE(nmfHTB=my}!ϲ E?RL0CHbPl!i#,ӮR.&+p+Sc o@;pc >ܞqeEE[W-]~3\Kr+0;EK*(辂BD欼29XHe5c;ܺtdZx2:l4BY6_ga tqi!`}AʚF8(|ۃTV,Ec._\ xYW\L$ 9 rʒ_lmyխ7)l$1#QXL4PD JʐȘ NvcrxxP:pIqv8&=m:_peX%^N)#hL|?c0z|`Y<݂͐D&&xjFՒ0d60;G[«4Dr-,no_[I +\Sgdǚve2BLlˁUD/wo 55h}aZ٫*Qռ/&,FQiV+~:JXDE^ǐ< WweKöc ^ nhϛ*g ,5:}&xLdgĽڂX^z7j5cE.Y[2a(DՅi ̽0s:0>!*`䭾U26oMZ1xr⅗75E,VLg1GeI.3!< nHyW&,'+E,UeǜpZQ /k/VX:Hz[G.jz$vܫ_mŃb.Af V [(%|gNM!`^RB*5LnG#y4:]|a\+~:Qr;V;; Q9[o b!!DպF32o*:]ŦjbL@6XUEX1\?YhGjOă L|o!%⎲JVY|us@>n[&~gN3 Yɘ6 gh7n AzpY Jju+ ŗ! 'pHIjSËd̂UgFSh6m,}k3wfvr}i `J*Ui' Hbw bv#lP?ϘpZվdܚ)uz ]ۛ;~Gƛ#` BBiɸڐJ(nW2@ p+!5ut{ .j.%W3IKŋd;c8K2::G&'ފ־ w) 8.2->͵!#0=㫇d S&Xq mBJ.~RYp>CPxxf_D#qyhDB)6Rh)@_$"<GR|ܨS J'H(}bM"/ 0z7U]>Ǽc%DΓȄo{掠 Ei|F=&Av!ZF^15wЬϏeLOC`E!q/dxb2#R?dI8oܙbJւ%ZD$dNo1:C|eet|g-"qm+ I30 0|TENJ}pFgs6-%(ʔ@޼$i*raN 9`V0hֱU;>V};ŗ" qw>h8?@D^tքN" ZPc k&nAooUdߒ@_H9B`J꽫yc1L;?"Z? *M ˟Ǹ ρ҈{cw+Ĩ)+nwm,9d$.Ki݂ 8/$ JNȩx4 扏Vsf[v8Z.lt5\ʐ8`w2o)\{뒼;JF ?Ȗ>lҡ aSiK;8=Qdwfo_eg$6-@SSo]VffT6y I>{iڷ\)=?ߣ?M_)Z80~\NrxEpN}@X?[S ߾e?ybzXjd!!=3R1wB9J^:d6>jvL lvD@ȍfL55v O5 'Y ouQ0i甒MrR&E,qTRZEʽ+8c4:]՟P&.)DBu l׽a]'G]{Sǁo͌T{@_C1)N EV-fXiS*ȹY=G zrU~ Pmi_ĜB [;'JdCO+`D\\N!4K7<1ul &[g yjRؖد.|N {/Ȱ/fU5+*!i2SFG <|Br hfD8qAM}PFS V9Mz.bWAKT GMa_ךLS,fh*c<\): k\+]qH MM$qI%@?{znY{Dd ĺɗz,h.:FUmwtU-Kw0ǘ(ґЁ%p@|*I+31{E!k? ? oCE:i 5+fNwQ#y2w9h;GN4GT#I?mCVU,\Մ$Q?lYE)N"sG[mFKewK9Ҽr=Gv.Ǧ'dyP AHփv}wta EBrMƣ]7NT D6iq&Z%:%$^ܙǩtEÂw!G{>19*O "g\%yU<$l`izȶӀ(Ex{ /.ћ_6<wvހmPzүD8{! PnӋ%CSF0x/m?{iɱgYZ683b4764fdc869f7ad66dbe392e3d0a60c62669e453b001c09ff735701b1550cb3c993764c9b9b6a 3f6e51873188e0c44de8bc52bec007be4fe630db 3c0a1e14ba6d3f892aec94bee369d02437602d54