SQLite format 3@ 6._  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info aIx"Zf ]/ UHOL-Predicate_Compile_Examples:threads=6elapsed=58.883cpu=248.936gc=24.990(/` bU $ oTl-6LU# gewI^@tWDu^kծ*ҭBe2_MY))$@P "Q,FƄt|Xv]٭Z"3o|YN<p0͕*$@dTubhd>c?MTXXxicpT`!@p~MeLKD28?{4Ǘ1OڴYHUeʔηvl*M$S]wSҌmMZ_2N;XDtY#ސlU4:tE'40k?4“z$)HAJf !HY=@  A0!1CB!AE4Z~ZkXVa1U0l%ftk`!Ȳp@bCQN&@z3<}_;q5dixBhRɁl.TWa6  ~GTI"[m a X S CF+smX^ÂHjEZH|iEZ:x+pϦYjΊ_>s[m׊@$@g> |86E H:0i}c71>S{WXDTxR,|a)W78D ajh>YNtK1:cr s)aM2?sh7㦘 q[]6lJON"q[I 42;^UbAݾ ٗj-Jy6u*^7>a?5wVF%/9{^D3ZbȳGJPe܇>yCY`˻=~ܤ4UCqp7T̘v>9;cbvI B0$=HKdk@'AOZ1c K`]N*1Ѿ*SCD98%4ݞš.*[믣rē7]j{pQȏ"|` E b89UWdxe oZՓv"グG DzrKP Cxo=q յV]Y)̅<`u Cә_le T@D洯Wz";r=HJmζǭ$K0P1dfg6fԌ[6}F:S MOp7QP1Ϩ ?JM*5D9 tSdq}SI */8wZ|.4 /h `c7euI%+u.gȜoF@lj-:On1vg2I\IjȴB~ " "Y@ҴE %;_E\V;F^AawTk-li61 'pfsA g2\yr >b5:w㩥ڰq` UNd@_KWL+qełJ2C"[ u0 ſݱ>ג;eA< i !*'Rߝ]=d` x; })6@`OeNJw>]PJpz|z?)ffCdVWǎu)Or_ksh~X}<5 !I HOL-Predicate_Compile_ExamplesIw4~ytoje`[VQLGB=83.)$ }wIi1RHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/other_kindsoracle fact bundle attribute methodQIi# pHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/thms(/`;E#6de"0 v^ӞU@%%ef7 yrkZT33'vXn^0anU-Q0-45..iђ8lA̎d[?d92&`a!Xi7X1&aQgx9laE*v1VeUnFyNp5*ny{Su6:զDM4 &eTd=YlJ᪔oJ0lOTU9HŹJ~#E*'DOj5܄)sޠu;[i KY̽Ϋڛkbq#b󲪦Jv]g5FPÌpTPX}|<&+L FQP=fs׵19S`?guOJzxkkJ(5ZQD 00aBC! B E"HoGMB|IE r9sj a٬;CL z _zkKJM^R/*0:Dmܿ5ѾϚ UwAS*eAx}#YVkQ QKTqQ qm-%Rug̝grBm^?ZNNH ?& $HUY |=W B1Va mؑtLOj%h؃f MNL7u+D LX}Ȏw%%!);58i',y`OKzD [z2LF\;lbHl0ِ:Z5Ne5P"M> -V{VPn6tuxBBeCy|&0&~0-–^蚥UX;*ۉk _Ri cV[ec]B Ii) JHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/latex(/|TR-f z|3& {xdP#(8ݼn4㸩Q ,Q""`(q(3("(e5I&302997539b֒Ȳ(%311?ly|~7oZS7k3⢢5G)S;3%f&b> 0Y0vfc#5^ 4V{ǻgxа3eVG0L,4g%4Ƃ( ܦ3Ai YAcnYC= f=(40+A-l?rDz;zH~;M(N= pDD(PS0Ȳ4R [,$x8X h3,Pj($Q hRO(,EĨ%b4Q ²@P(( `A(HYPciD@8A1!B9 qTD@ <A(izHR@5Y j ,QYV+ήs=xā޷LƺVQK@i:U3_--{Q,i34{@KA#bҴ}<b*Zf5b#%b'K4N {bc'4^i`偢 Nx@= BEjy< HhȲǃc>=={sf۶|dN35S^S3<353N`ă8 ٓYjNB1t7&K։~aHvnXDI}b3s2ٰqHiqnn; y{jP4@(@0 A ?$CPuiǓPD@ AA <%yg3wvөjj7VU3IUDz_(BTUi(GOS)ں:vǽxE-.wZ y&Bz׻^"h,]wUzUU5UUWVe}@u54SSS-KUYJI0A 5՘=Ii' DHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/axioms(/`=!@kePTGe`)b E2ZGQ04750tYi-x6omDF]9WLQy|# WGAwBn7 AwrH)tzjeǡPDŽ3p(&M/g-?B@?<]L)NQk)ZIQ걙5^&tBh{{-wAfI2rYj6=8rjemM9ً%lc  l0HIQ C @ ` " P1"XƆD*sZZ]ETtT0<SUuIh2i_@@U!Kw+nZ~"fTnCL TΔR۱Ͻb5yb^ˑR5{gοȁ="=Oe/vvX`16|_`iEo\GsT+Ii' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/consts(/` V;!Pk m~&Bs5 a0޴55gf&+64/oIRR2Tez7IB/|&$<ŏ <[NhW1fѲS+&?<&G D1)x|Y#|2e,O$J FB?=:7 6 2.'$܁#؁!ׁցӁ yvsqpnkhfca`_][XWVyOxHrGjEgDdCUBI<0;(:%6"43.+)%#!   f 8 H v 7 s  s e`gWNZKUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/axioms,UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/consts+VIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/latex*TIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/types)VIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/parents(YIU/HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/other/fact'ZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/other_kinds&SIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/thms%UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/axioms$UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/consts#VIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3document/latex"TIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/types!VIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/parents YIU/HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/other/factZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/other_kindsSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/thmsUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/axiomsUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/constsVIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/latexTIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/typesVIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/parentsYIU/HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/other/factZIU1HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/other_kindsSIU#HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/thmsUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/axiomsUIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/constsVIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/latexTIU%HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/typesVIU)HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/parentsbI]9HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/other/attribute]I]/HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/other/fact^I]1HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/other_kinds WI]#HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/thms YI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/axioms YI]'HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/consts ZI])HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/latex ZI])HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/parentscIi/HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_DefshIs/HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Example_Prologtheory/UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/consts]Ie'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Hotel_Exampletheory/constspkIy-HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_TestsPIDE/document_id1UIU'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/axioms,idIs'HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Code_Prolog_Examplestheory/constsX   09qhVӬfa80=yxi G-G$Jei=ȱaհ(DQDzDɳ@8 4J(F0H(լf14k1@ -D$ /D#a2ZD^a!]2q3ݙeg7vv^K.ytlknӝIP<$H(v+ mUBHqbVC%mmoP $"aLcAjqVJ8Ţi#47snmmkBٝٝ٩w>2222j1?/qx~^8 66~7'?w||~xH(~uW{]Mzl|BgRD韨ˁԲ<կ~kw6333 g^|?u'Ƴ]-z;v(@8 d;,%qvov~5Ukfv3nn;KtNgNMwzwggvb?7/=:tNMLO_Vknn~@4#3&EmcfffIXuy~]Տ(ҕ}$`P0\ EQ; 00 "*^T P( ` DX L0g=@ )rY6ΩGzƫ;ycqw͙L9VYgS86`|QԖosljpK?D}Qp&"E-^pѶQ Oej('q‹Lh@ ,WhZD˂u!-nҾK{Zmd]K3la״,uߗ>ոĉlϺY"|Q-]k,/\ސjO6ӂO-勸S I<ꃄ1c!_z{ PQ$HTF/ 6DE_X/' `$RDAFp09:ɧ;Ƃ;]8sn:d^c[7:!i%?f\ȹq' TA(5Pqh{2f jmh$<:t+YfN;9OE 4"s&b_zY"6"SBB2vV-vfrrYUODNF T(㲌jze6p9NLk᥋ ]Z8bٱZsP7mK@j[Ðl ̣m}"OxJf |<{FؕҎG,,Njc(;[o$ Zktwyö0[M C%VGj3tF%N5(̏6uJ4FA'F=FיnBRKp~aJL ՎR `> [T9 cfIZGiυhj^aMDu<$xx cE3a8vTn|.h CYbֆ#)ag-y>BɋdaګFw*y/J ˼;Grl7`Kh|^J3Ύok?}gg pYvEX 4%P$RU<%ũ"W'yrKtg- X]ȸpK$W2Ħp, 'KOva_KwP Zww$>Ew7ƖLԲՊIS X<`ݳ_ @8R12ԥ(qh3i..$D*t4T!/@}co!ddg5Q ʾ㱡H^H[0Tci}⸥[[v09mTrc BgmL,22iO!P~4j9ȋk:,\a͋C,W)[J F㨴 -g %7vgjP$W[xؓY8 c"xȏV<aLY/}wJr}cb` 9;Lb45 ,37$}wyNp _E1g28w2N~'/veDU l>q<O pZ ink;Ё *b78xNwTw/Z;lJd3A&7VhY;cVD"GBTJP IvLQ[f"ְz@ M*d ԻXI Qq8+Uɶ. -ل*@cI945V ~&U>sh24172;SĔg“5-ts-cFr;j]hǐ @ #@CRkip8՘cp`C@e;$2 I#"#Ehw/"de((3-j^6z`L,:>_ R6-WgwF}fTdE7`aȴ5IUHTʮq{E$Q͂ Ρ@@4OJeMs,hx=bc @`G]|0jvT)im? nB37mh0rdOQQ,lv7e"ZF" LL #.H&ML~-ܪonYB9P}А4uVLۃg??F(,ЗHc&6|J; zk;rr9+nZ7_ !m)yi<%XrnԄFhH0_4"sARZK(Cd*Wvl~`(M[ NE,akJk\3kA8vSF-/XkIAפ8E/g'd\d@r3i?l>,#MA0:~azI7`p}Br > X嶷JENw|9>I@YSq-:ھ r8߶hSSY-l甔X],Iج& ^vY~/rLpAmS5Qt`A ƙAKGz}-A`HY?*-$P1P`M. et4!ībI^wզd@$f2\3~кkmz5fkTgbR u~tWE-(=`sǣqq5~♔̤z3%g jT}=ڸro>UcW`󣦽cx#؞y+@H@d^)١sC>[+ ݍ;&XjX͉IG.FBP8OՓ`) 2 i3 JݑJL0$^VAKa EuL B$m?918 sOB[& VݮTqŅ&f =sgδhiBeoCƼ}A h<ԜAӝa]uw2\/̙OkjuV@a[[l5!N_eA7t#M! %QG ]^aclec -T}%dukv% !n~=s$L>">sycvDУR݄M 1̒p`U{*-kl@$%2G"ྜྷz-bIdWP4мVBv1ut# fwDGjѹ*b>`pB ˼u%Ԅkh t4ךUjl` ]\t "1/یC1Gܗ0ԝNC{c#ȻM Z嚹}(N,>1l}G76jdxK]$Xr \W,exKogDK4ZVL 2w=EI(!5 nP,T*OR~N67' rTY(pR&tD8K%bm& ]pZ.id^EL8-y|W3QqTl&˲Ml079f0d@`z R F* l99{|m0 AJ{D*a{MQ hS8YrǶᨌkxc#PrJg C BFC5wЗh ['>J2vU7@e|Z#4$(&«_\xSh6ZRB/ڌ6l=O!30z[i]]e4qL+b2 BlO0e vYUV#pJ E zE٥ K"J le F[ͪki(wUkόB&˃P:A? d$#ޢXץ`cN˂6 d;dO9:8P.ܠ/"R}$ U2"輠BD{U.?yPQ!UF%}PF: :,̴h,?wKxRӾe}o9~8,ڱq`\o~_kUBGsacʓA@9B'|"֬"\iAml$hߌv2:25f\NNv׀˫ӪS83\_^#%rZRu[#MC,),B6 jBg{ kVfh)9G-)ψwdP!~WQAmmUA|FJZmM3y9װ6|7 S8އ<ƾ -v.B+D80&tEydC\I!gI[,^A٨$wDב/vxt&)C! +~4Ľ*g !w.273`\y&@IXV\x*R<2bLOxs׭uͦ1Μ#TPZeL4:A:%y<l pu}Ə .B[  UL- /lH7!_m-Q_3{VS}"8湟&ӭ*Y7=Nup&C"0Wj5QJ-?¸JR㶅\(~kH->Z:Ϗz6j;/C *1ءBZ046Hv 6'_׍Z9~}Ʉ ' )-šX: j  r~'#|S7FzŁ⫸!:29zH,1eTx&ʊ06+X 5?4Jep>N_ZK`y|_<,cPf5n, v<O[ٙItjF̚Ef tZ?5Ջǣ7.ҿ`@SZ `<ܿ,,U0 m̪AD0 bDƪyK-x[xmmbpn%"d\PHVvw潴n]m$'f@mj}%'p)-"IO'/`)y5FYI[[MEs;F]kT Pt|gA|48fe9;B[9 $u0|l- g !E;V GYM?Ud6i˄n5I rC%,;*Ms- +0Q1 3Um"vɸLlWA)yia3OLJ=@oY B,zap%=3exV~j鬿𔀃 \:`Ӊ$T@UEulL# !̸vXe?S<<ِ3yc*\0 #R_1TԀV ͖9<^ͦNlYD9lXNv .yFXX^5qd}΋&HSh u4݂749{]!AAoQ T EuSj@1g#V0Ac7&DXj|'qݚ,Mu\hwکp<vQv^mK}Aȥ. 3Jr { Qk8<`Ir*.,~ nkFZ:5>#!}җ:XN瘜:("BO$mVJ-m&< S #&s"S|.,f[ߌ! O|6݋`c3RrL@‡h<0 LU, ^D>~ 4&Pu+,폨$"n2k 1+kX.:lh~d;_1AB^% %vEw_2x:*9a #PN`MC-nYz,: dt45Q3 -<N!NP4.6YF{-֐2~-a[FVb&r} o[q~h[/\|$(2㩰nWlB 4 Œx*So$%9+6e[! ROkgTƺorpOXdE6'gY!uT5PWNJQLvͷ|v˼f0oo=n廽h<]]kvwowiӮMT˹(o>Ur@n>7|WsSsSsA8hU\MWqqqy$.bbF8"i‸ɺpqUp{ȳ9Y8^WQcw~o^76WeQ״I]]_5j7ں4; Q̗7w67337o/70w}~r6o&or&'*ߕWE _MdVd$i !cIa@0 B!b!c"Z|Mnd ,F?jM.Q2w$oh'rVbHhڃE)׆,8٢R/7:pcʂU6 AYM __":0X$$X%A2^Sj e2)̘N2P Z!=ݝ7>R;~ ԿadK Ht ?"g8ҫ(;a{=_dE^P05hېPH ш6/ +4!Z"5sWt4Z>F5v(?3ݽBkjC4ʞ ®7ЁH>u#H } P+3wK%/V5d' HK-" ϩt ٹ)HyGfwou[ Ŧ3@3Y9eLzDpl/GGUv mo3i0#5 G!pQPGC  ZƋzo^LUQ0jk?j|udL4(hCS\=>aY딒OhsiiL`)Y} 6*j"čvڢ+sH٪Ub #Ay9j#˚̨H' v 7gaֶdø,[&'#Kn?j2/M@Юdz &Wla~VXvQOڊ6BRՂ4-\VN3 .WX[X3\![ʬًGpM#`\ U&[br~-' OJ `O$0ȅqWKJӤ֔d\LK1aZН(=6Lp-4o]-t% FU+W_6}t~1/fAr3~ aFQp\U{2-/3˦u[ $ )nFm9- zKuXЯK tAv7S|aK/}YtE-|"(e쎝nAÌ ~ YI]"kMsA :Qo) Cb s[G\)na;|aҘl/|ff  zH< f}ZLC" 1iƐko35yF/Au0.zDGJt u4/ ЮrQE djŦ [moR CA@VW@jFºaLHk.0GEg5Y><HOj @7 T? jJ۶>G50=:dI#u9QG$Ƴ!v9JSGkpE(:ÁX#B, Xӂ^RN#}@<=d a 8 LtOXIC`6^CGLb8#"Ou"<\u4 ⷵ4|:Pb/ C rĕ% 4iZ]RŔHDj,ڸxz6mnenC\ Qva|'iƢd?٢F[̺bfК5y 8q%d%T6X֍ox't}"p;ȸ}cW쫝XI학/Bc QMjS8]V.R֖5df*C X7_@d#м"(c̕f$n6g&<0P-ŻY  j *UIi1RHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/other_kindsoracle fact bundle attribute methodQIi# pHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/thms(/`;E#6de"0 v^ӞU@%%ef7 yrkZT33'vXn^0anU-Q0-45..iђ8lA̎d[?d92&`a!Xi7X1&aQgx9laE*v1VeUnFyNp5*ny{Su6:զDM4 &eTd=YlJ᪔oJ0lOTU9HŹJ~#E*'DOj5܄)sޠu;[i KY̽Ϋڛkbq#b󲪦Jv]g5FPÌpTPX}|<&+L FQP=fs׵19S`?guOJzxkkJ(5ZQD 00aBC! B E"HoGMB|IE r9sj a٬;CL z _zkKJM^R/*0:Dmܿ5ѾϚ UwAS*eAx}#YVkQ QKTqQ qm-%Rug̝grBm^?ZNNH ?& $HUY |=W B1Va mؑtLOj%h؃f MNL7u+D LX}Ȏw%%!);58i',y`OKzD [z2LF\;lbHl0ِ:Z5Ne5P"M> -V{VPn6tuxBBeCy|&0&~0-–^蚥UX;*ۉk _Ri cV[ec]B Ii) JHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defsdocument/latex(/|TR-f z|3& {xdP#(8ݼn4㸩Q ,Q""`(q(3("(e5I&302997539b֒Ȳ(%311?ly|~7oZS7k3⢢5G)S;3%f&b> 0Y0vfc#5^ 4V{ǻgxа3eVG0L,4g%4Ƃ( ܦ3Ai YAcnYC= f=(40+A-l?rDz;zH~;M(N= pDD(PS0Ȳ4R [,$x8X h3,Pj($Q hRO(,EĨ%b4Q ²@P(( `A(HYPciD@8A1!B9 qTD@ <A(izHR@5Y j ,QYV+ήs=xā޷LƺVQK@i:U3_--{Q,i34{@KA#bҴ}<b*Zf5b#%b'K4N {bc'4^i`偢 Nx@= BEjy< HhȲǃc>=={sf۶|dN35S^S3<353N`ă8 ٓYjNB1t7&K։~aHvnXDI}b3s2ٰqHiqnn; y{jP4@(@0 A ?$CPuiǓPD@ AA <%yg3wvөjj7VU3IUDz_(BTUi(GOS)ں:vǽxE-.wZ y&Bz׻^"h,]wUzUU5UUWVe}@u54SSS-KUYJI0A 5՘=Ii' DHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/axioms(/`=!@kePTGe`)b E2ZGQ04750tYi-x6omDF]9WLQy|# WGAwBn7 AwrH)tzjeǡPDŽ3p(&M/g-?B@?<]L)NQk)ZIQ걙5^&tBh{{-wAfI2rYj6=8rjemM9ً%lc  l0HIQ C @ ` " P1"XƆD*sZZ]ETtT0<SUuIh2i_@@U!Kw+nZ~"fTnCL TΔR۱Ͻb5yb^ˑR5{gοȁ="=Oe/vvX`16|_`iEo\GsT+Ii' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/consts(/` V;!Pk m~&Bs5 a0޴55gf&+64/oIRR2Tez7IB/|&$<ŏ <[NhW1fѲS+&?<&G D1)x|Y#|2e~|RrUk(KTR 8kA-i66=lZʶdl)&2Nڿ/a%0HIQ@($0E"L~DC7Φd#?Ap5uB=պ_FwVuvSLTXQlPBf- hT^p^VB@Yb[Y_@%F7ƱZ7 7hGk4:70SYfIi)HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/parentsMain Q Q I]' HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/axioms(/`A!Pg$Uؾ^z86?4G.ē!%lP %:85g`8dGB?%љ}w#JZ K\;}Oʧ ^I9" 2^#햨vƋna! @'D|+=̝<cf g4k)sJ@ G0' :$JTs2 9TDG&:J'`u@`~9w7N^sHk9:JvB"9``!)%H %·Є&9(@,+ٸea L.Ya-HGa)^ BswWܦCN^ Fz4| zǧ-qJ'PBZpK2+.BTG< cڥoױ*ES-$$7m.ʥ7rFLz!aE}[5R':uJbw`X.QZb4+#BG9]}D]婤WRMo2j I]' nHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/consts(/` = :!PgDdl= c8@UGeff\11/1=#VS d <}Q on FaiNĽ%j]5A < ;rVٸEm™ %|@4 3c"i4_ѵsKS3j)#t!VZˎ[g 5@c9’ZsaT2 *Y*Qm@@$&# 9LD %tO@ewXFʥ %3=jepإA t!{`-d!5݉5RdjЊ _QH ;:7JP4nWIinR)k}уQW]-ݸ*xZE*Qĝ,EGpg I]) xHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickcheckdocument/latex(/` eƛV$ k8ZTG5,bm*0[s !LLJmiá_KMi Vj멀[zWc7є>~9+m|x;?eQw퐹>nUhǃH 0&†fEh(,,: Ǡ@1qV<<4m+ԒAo7;C[mk4Ʈןzn#1j:m:oA"̏jPy`A4E⃉{VBk,z4w]* ˉa:zw)=H0z{ħ_#:caRٺ'DYNc˻nSѬD0⢼0<(@EX0Iq=u" B@q 1H!2B e DD:Qa鱵(xsr:CcHcl'?U[ A6$Ŷ4@Q*_T$}»oyYMz}I&1{PRxxs"LA!>ͧ.m@zJ89];2 F$ {#τlY(gYIF~errq@MWח vQбI|jΝ|݁?ch#tp6χF:BZHdm I])jHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/parentsHOL-Library.Predicate_Compile_Alternative_Defs ^Ii/ ~HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Alternative_Defstheory/other/fact(/`0}&cb"@mۼXDu?3TB())3)x1 ygWRD@Yh[Xe-&qx"a`xܢ,iKe"X kqI"1^#Z'`1$L<N[ j61or<kMJ`8L(31BɈUS!V jA4&îժ6sL\c'D(?k)b9p7PT; :91B ,a.+*RdUymd^dFș mv& U$ʢ(Z90\鳳@m"RiI(1)}oswik}1.HFkхBQ7@(KqHR1 0!VJ 01U*SCegYR8gZ?$tyKFdy8F83@t|?'y]6kָ6 ^Dʤ6TxooFHF xSA) 0f0zc Mwi;._NKB]1fO$&D&:%I$-X~09&}p<Bvvfz(/\V`l':X7cL_5uDlBW tAe>c!֓ ^bsլm} J\sx@ J':͂omwLqwP\=? 3"_blb{ OgUP$Q`SlSSSANE .`ٺKa$`z'xSPaj^3sZ2{E{/^mvm"ᨔ:"O!y?uF2fV7OUȸxW74|IݙU/vwovw[mq± *YB"U0baaC(r A"2:b+Z[9$kԛB *HT?@x#" "XS@E/EnAbD39Qize^:U/E,DC2\Q*WE|Ma?ԕ܎:UX,}vR)L:fnh [ U*pac(?8_LHkd4=KޠEޥH\ .rRy e.Mu4G~$х6(io7@u#H dQQQ!!odH(ϓ *pSDjA^kdac7_ԄNOb 9H3u! 01P PM.ޒ ]VPR|d,ő$Œwk}hOʎ*׌QEVB#R_ilP5 I]1RHOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/other_kindsoracle fact bundle attribute methodj I]# .HOL-Predicate_Compile_ExamplesHOL-Library.Predicate_Compile_Quickchecktheory/thms(/`y=J!PKQ%Xb_?ZN[ LJwHC<ǑD΂D4@ Lxx@`-&.!U5R*:bK܄DtrӗdjxoT @da+fp'ٓfoqfZl?#|0= 1Q)Rc=5 88DIU' fHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/consts(/`# mpIzbނ_Uw L)Ғt7 sPHH?%hF:_ZS>k@,y"G[CQˆX %+/ oaAH^jD5̨ؓ*Z>>^ZjB֗ehJJF Sbe}xcƑI[{k ,7kqϵZw$욯kΌf̬sv%$aVV;XX,H cάߚCkx847@2"5Brݎ)B9Pl5\B[xƩgFi~"H1t5ABp"9 08 2"0bH 2еD+z 6CA`׉VX7:;jjV?F7"qA-{xfs:\VVʽʜt6r3@3؀%8x8[@HIĒNUfQӸ"i,r+T4suruܧ-;GQEʧFw@ܐq\3j 3:\$MXu9دהZg$靴'ZOT0q9v/E< RR 6v;D촜] yl#V?fY@J5!ɨu#O@5ld'^&dЌ9֧)M.If=Iiͦ5Ds%46%.T:bv|LEcė֍/GI˺eTcBQIuW䉵!QQhx[$;+ פydtE7qbb! R,ԑ~IU) XHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1document/latex(/`wPDI ( Vݚ_z1 4KͦrXnНܔpX?c$ #*( 98O)+@ޱP<|͂N>ժU,Q l9 8bh- @=4`P<{ x=N-yA $4XA,P %D\Y'"''RL~tP UC {t±Mkk|pI92R~E{Zf|l$;-MA4%n!r 5h -~` CQp[@uQul8Vz5TL W,3Z30qs9yQʜcD93c)րNdž/~#%{ apH6E#a#pSE(YLEnI踶zC\ӴG>1?y1S$ iz)xKޛƗкu*Џ$;i.rwn_QMDzVAd~'8\Gt\;I#Zҳy8&iAI<qܷ{uȍlzSP]>(cx+B BeFRbp+*ī4LԤuA)kiEAu\JϮۍ8h72x;fdD) eUnYY0O6M9(z{Xd3N`˼\iĤ-+0݊g|&sc5B\}4)򑲑ON ->dh[ *+Qu*H] mZ(öETA2Rt+GǻmzWdX<W,X'ʾ(1;A9㖰OoW䉈KkFvy)%6JϾk}qA VkʭC ꚝ;1V hoWhFTs!j+xaǶv:9sjZ¥zPj6#Z`6RnW&_Ȯ zG35_6h0U GsC@j iJ(a#;D Q?>ܸ 5ij {D%KV*s,)%u/'[4 sĆc4.PSzY=~%Oeq(q$kvfY"BzȠcF0e`ԕUEmr-%J  QmX(B4 1LZte\SdUWe>wsGL+xuEu/ 1YVAT pMfhbd -  ~IU1RHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/other_kindsoracle fact bundle attribute methodIU# HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/thms(/`{I�o`>.[ofD6=Uկ̄200PN~IK74ϬG&Q@5|O+./XS:3 Br3- G˩ћ9&QyE<- ` <(y5 mBæ./<Ѣ|dIt=pAItzG#`q9Ϳ?hU4 ŧ\]jS\|-6q{1q)ImٵK1L3NhT/gLՌsbLnJaVdI3WdjUN@n='ZC8DK|[_?e?e3W)ls"'OZL(iJVZݝbU@.BǤ?cD{ wW56~Ş3;q&g&Lɘrw;szfrzk쵺 GѼyWu3S[i"_|dV 8I-r{ ZMZ.$My"joUPwnWl Nٞ`Jgi"JTcp.LֽN]ejY2Vv3nn/v5`Ht" "`J@P0aA1CA0c#!)Yح!]R"A^rWhzioY5'`l/)  0rXJƸ/C7|ݯy. 4k4@$MWLu@8,uf/%R wrp"=bhɋ#4Y $2 PXQW C}ݪ̓Зr"q v @&*,t)~Xur T =|\@|ctxskWA~8B9 9#/ #)j=!vtPDt)ΊSr՟Sۢ>P[ڄ@lhnjȯ(­SNԱ@{P=^p&U?4yWTl 1#PzܲS{1_H/NgcKBJ#NADn6M%ZzAX{ ؾXLx8贼!sj*v gjA5w!zR.CJt &~%rP}H  $XfL<mz+i !i|z%\ W [WО?@$;׀Y=ca بzU뙅Iljh&VE]`؇h:9h5 宒HXHPpܸa 6!QAf3ƞ[pV 24" h8' mƴ :+yڧ|9$ *|a#8GZFF_#;T PfNi9%#=RG1 $?Qkr+p'- ݧ3c9Qri@51!II{'eߜONIXrv-O6CEBC#AQc' 6щ@Ag[8UR)Gl(7|:VvIv0A $O#ؖ|W y"jCv[% A!1j9;|=Uo-G" [Oo_ Xtm>f U ICDdJMRepTKgvLKMLfSxq$dOdMjhZkPfibc  SM-5 NwfTAgiQX&Q">.~{g^lOf ܳų9_xmX4\{zO/Z*VHFD 8>~TÆ G$5, uĘͯcKIU' tHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_1theory/axioms(/`"UFX"0kQ.uH@vw Qb/)vO  TKL3y0~OSm)&$ ʼn$A|Z)cy a~Pa(.J}0|WI0`gn>Awm}h\_vƜXGμTޝq3󷽱3f2/v<2|y# b)f }x+ 8j̛) E6hg0px-ZX[~fjQB(,Q&H J=gjyZ;1kǒxHøTkB3콱I'jeo/ubbܵҢqx )a2IRRф2xga0@cb caJH }(fl^* ]0{Qt[jJ:hhq4|qPzϟ&z?7RX= q6}D(xW?HQKU;TwS]uQզHUIf N ({"Yc? NQx䪑E?o*cf]Fwu2ndְ )J/"??h&R~}{/8 K2ᣡ+7;6h1jF#/|.loGTg\FqHR`lT/lwQo.[VkڠG|o673hAΡٮH z>9">:]gˠ'7cmA~oj|rC j&~˅MuzKyp}Nn(DC܅ ʽaS8`%r:60uqrywVN"E* O.v6-8'Mme  9 R3+O0Imw B Hy=0 f< H H6IU% LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/types(/`b #PGDpz}B8߄E"^`<3''Λ/$yM$H*%0šDE력-xur$5,x k 8毷HKΎZ^./s~ɎCَ: ?qwT =(46;`3)üO?5-al 3_@ķtK3_4z̛>z?B1,uR.帔Ѻ9D8P7ש?5oƱ6nayjS1>je~%1n%}FKbw9W9+=55hHR $$ d8>@`8aA1 3(C! $>~2{h8qk6.H۽CRN2sbH†u#-wL4jW#U#Pcbo\^ȑA="_n GNb>w.҄SC$txY#liv{V\ TD͙| mg.+Hީ@Rb{$: : M L$(&!7[z՞$Q8i6[1zswp ʩ[Ç} J E?`rGwu&|DP߯tx3N}k)mɚN`*b0|Eo}!ٕI>#\uhZ1_ [n?)_ӏt)Q8]_Q3% qCs59&"_l]ES} tOÒcxǴ8aBzRiBНx]0C#Y`KQ#AvXj&;c,!/fc}84Ed~񓧤 [Fm<~,7OB!'t"ь =b{t1@ո0EBX[ elSt@^JeΎOp q-9%gn*3^C1PJ<Ae?ڒK J*@P(yדP19}[dcڒhnH^.Cu1M8 "L=j6-= 2hÁӑ_mg [P{򁳐Y~YP֠(s.3Ψe(4Ev}^/Vj=J! P3 (V,ٽsf kA] V2VYIU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/consts(/`K\X% p >o`~R\F4IJvy!UJKH]З%e(}Mt~&, ͤ X=eԧG$Y^}xiɡg'jD_}  ?Z&5V%^=(=VLju)9cgnc&Wo4˴')'jEQ]s3q>]%6)f2BxFՎi&w8f)9sspmӝY=.|9g5BJra ʢ(ͮ曗|/w B$8@1"B$|O@pz;ID#I넒j=̯1l$Ep"9 08 2AB eDHٟ+qt3wrj''s(ejn$A-Y^WHe4 BB=(#Y-;.AMu RTU*I $@Ky Z|nr4@%Xs91sP?:'V\ Sڴ3~j]T?qfg`}>wmM眡Ϋ>|E/e+g=LvxV*ːh)Z=<|<5vŷ'I!p9|kL`I/7 WeAJKIU) rHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2document/latex(/`[MKM| (^PD/8OenܼPZ"ONπs (3F0Ȩ҈bB 4xSXZ !e 9ɧD 20oiL@Âqc7qnyC  (@roĂ=0a 5 ߉, t#T, 1qp晇O, HD'xLd> BP&"EBrɧL$801?a\K!!a"N " $s pyfV,՚[{s7;qiem2tZRk612v5X7kbUX`vqīcVFdҤywH (<<@|pr 辉<|O7e(|"_c&!ik>?!LdDT$8}I>">}!ջ_fq,Xˋ@ 1#UxUU(Z2[f]FăEÊ7a^eX)fXeDQ<]} ]H'.&.JkǧսKx{W{&]x6i[]mnS]]_UTmRIuO2ֽVZM4JTZokLXƸicTkRKy7_ޮ-ev< |!An^W>1z[1BOs_lA?aݗXΛܽW75gx;xrkUF 9Gbɴ:1#228߰2c<葬ۻY7mִI,ucukZЁիZkL 3Qd^Z)JQjFDDJR $A+!@P`# C!B1QM2z16aBpn}Cs\>99º;-*P #j`` MDcLN@Ivj R\3'Ap=t!!( uҕ:0&(9-"&Ҽ&Ft.9!(/@Ub빾$ 31ETcG=3³X8}Ϣf5_NGBnY+FٟYxY^%g(A{VX*H$Us]C1}vm@ 3<îO+xVZ1(ɻsތ.FWBwiA"y} XE|##T3JH 0(ȳ_D<Dݚ=JH vY "-f5>6t_  Ys$qVU<%&iJ$w|f%B̈Rl$_o>hBʱ>@լU@-Uzd᝸x(Lfx4R)%x\YX ? >|x]=97s g˗!_$wLE)5@@4m0 Rw9)#栗w*^[G|7xG,Q`O3Mqlנ_c5`RTKjy~p;W}ʸ"`uqD8a@R$HL9Xo(x2 Pa=`m0 eI{?rkc-3GrK{Ui@@Ÿ%dNl gV"V' i W W~IU1RHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/other_kindsoracle fact bundle attribute method?IU# `HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/thms(/`ҖSv|" qmԽ:I {X#p))ig=в͂8ЂX sνg17L4wX XTAbcOSX9מa @p/@cYH<5ge(i*P[KckH`8X\$1y+:X@'QhQdknATiP@`zJa]љU91Oݵw]5 "Ӣo"A*X+fYT0DfSwh8=M͢`.q*$"Oc+6+'wiUמ*O왴U;kjVȿ@jUݻyU}a:垢h)I4qI,s}U,DSLLOODOT=%ufl^^0Zf}N廝YwU?ӑY)Oݽz&R?%wne}UáΞ)w3nv. `ES"zU0 ֣SrԔab弛y>`~u}L c8v)w뻻ػتڪتJR+L_OݹSэ$I: "!@P0EQA1CaP !b# =)cy!gyZ׹P g'=VOfOĞ6W@[N10RPju;-hYz* -+2OhK 5._f5@!R\u\%Yv˾\8H;'g5bbH gGQA? r27xdeI0MF S ubslYFkP>*jdZ9/j 4H= qh:a J]c}N>ZO= "FR·1RPwa38%:Z\`|9ކZ/Wx`@fz5mO`DkptME~[0UzQ20$%q^D,;yx7)s\ىu YDfjDǒcP"QV=VsxyžFurLtA7G)F[3B o!yH>wf1UxMpڅDEv NY%LwhF30*E7vP`j#57fBWHsh@'&6$i\cn+&2XvxQeOj,:u<Rie:-, z.mBAe׀X'(KӳyO )4%YbMAo` ҈;%7 gI-eI+pK :vPj(r]f9+{ +VѢ 6@Ԥ4r&h:RW T3h gZ}:1i t3D:RpQOa~:mJtnT6"})zL=A&QSqZ{'N6M8_ ڎXEl{eC@q-y%'iu;t˧szdR1@ !~ ' G(h|4 RxDo h109^.4wX`sn{qRGO;r #yJRn:}^\(|QeKd״|Suȸ o!d/k(, ´R{PAkF4ulZۻWbêeߒa\OUp4Cb@MS<_z6~=|q ǍH姀`i8^JbtB ҟgbGND؈ۓusj2Лr# rũ_ pRS\]/3NV ysܯ}5wFUNm!M('v`g6_hi6r% yΠ ]xn #3j'Nzx`hf%Zw-s;^, ^x`W`nqmJRI*C^ÒC˂)J{lEؙHBlW&%{e$`N>>e瀏H?uSmtx#^(X@kam<}L͉-^멙-.-?P`01H bZ7(gSr685ȈV֞G>><$mnޜkon}+aIR豄b<a0Hcb caD!ĚCfs|0JފYGDwHE?LfV6G|Ľd8b5F>&*J=~L~t}&{pPI']RvRC!ri7s݃P^ԩT'=@~@$c!.t }E)Kt__OCӔcL}}V6:lcicr; gAIS^Wxֳn82L=܆s48'ܨxc 7ccT i| mw"XIg' K K6!IU% LHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/types(/`R #`Gxfƈ3 P,hH|\$@Sr2 r0$暫V¿V:b>njSXG㼏AVSSOS-~r.u0(yt2],4G^~0  *w V gm:e dh"#0!KXp#vP`HxXku.eRj IU)^HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/parentsHOL-Library.Predicate_Compile_Quickcheck vIU/ BHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_2theory/other/fact(/`G4f'q"0m&8PerddyF.*vWsKiֹ000[NmcfZIE4*j1Mz%I.;?<0>5aQ0.&&|(~ĸnBI soWj3:ԥ,*ƶ0^ׅqꍝ^Ĥ1E(hu: #d(1>@`0qBE!bC0B@~^ф\Y`!'xm:7RiT"~^ ^:u# s6!~O^"t筄\JԿ}NeI1~¦L;Y3U?%s1Ѱo(;E/yZkIJ\<1FP5+JF?%/}Q JpV22t4wae5l`D94لnDD Y:)fz[q#JHOM(eEK1dkIebeb~w,F*UuwQi?65EYUiNE[Ѱ!yaRF,OIܚ o,|JB#!|;KFX G1ƑZo(k M˒CGKy68PR쟸a>]gblgJ%oTmm< o?!k?!ȩ.:RtBTBש-N}Pvɺh6cqøǼ<ЙњkKK 0yp>{v}] >J?u!þ=F߅5H%x>r/tנ?ܶr1 U_ yo2rdttTރ;C8-FNƪ/1}pD^a^(LOTbt 扪#2 2 Z&W^%FSaFooq}-$a}irٳ i0UjW+ƘNVN NVY{bFY.1#;7) -b`l1Z@ٗ[k-^ؓCv.ë9Zsr^ˌy=vXAHʢ(ܗK?k/3,1xa_zadb/1n@ s Z6I`š4NYm[Ȍ8$ժ;~SC4,sןHSOyͼe?k2{px69D7uP${'Y49()nbQjmT4u>5 WPWfk(yK(ds֮'6c@x|*U:Q!$lrdѩNdYNON)Z@jlJ:9_{MP/ nI=9˒BR08Sbcя8NAhUySχ6?(/VjXb 95U:xn28rZ:0%řgTfYSIÕmM$"?|Ia@l#$gIeBLXg$ZM%k:|C[J0XHsl8$<|9A@8NqqCn4=qS'dRY0K鶔^(XI _FM x:G7%=fSG(dΏ;D#Z|ΚUARl m.Z23veՉab[~}T6ѹu|MH OX(8}0jsCy"V#^ѴE^?~3:ID{ ~L"YwSKJpwX1nM}U` % 5I>&*^r'nӼpmT^`$p֣[7^%X@+"J@ K[qq6ҰhSAS=:0ѴE- ֞+yVv r2s>70 חF#6e6/2j k41I [m&{dIFLj’SjaBۨ 08P.rg!|̠33߹gP8nT8m<ˍ:k}Bt~<{(:߷d:2_@YzǻMC af̶ia]JMȉbWo%a ݠ]ts` Є];Zٽ@*KF\?M=k` fBz>QژJU*D!0X+hfskb#- l Xli%IU# 4HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/thms(/`ҖUT{# oDtؗ{?c lLv̧Zg&~,b;qXor,"yPwqE&6- /ޏa?= fcQSTy5hGR{-jkHbF×B969"iI=-I {  7 dd@GḎ&Ǒ0.@)H! %rH^{s4k)T̾˪k)_ݱwQ53`LM8=(غ6TPeҞ[" բʎ@=N6-k11ixy$gUJ)W]qkb5Ž)W}=9W!so.{&>5$I٫anU3~Վ9SMҞ$'E0j&b`k_ݱYwQ531Q{Sk{SkX؅(T3}=FU3q-W}U5r*ݽuWg2" G[W3.f""+ٜ{Q{0 jgMfєp>D.$h*ǨXHjf:"G BY6ww`V=`VId,㘅g~g~VqnuT]̻xe&hRHpAƉ@BqP `(, `P@   ƊG:PGM\gI~ =!g=KƂ-V,UڝHU!H5&:q \P!"d䗞'<&4XpR $Cz#OEKų`&/X[D!EnT(K Nˢk"ZV幅 󔗃Hx ߣ  r'5I L]Vjh+?L mbI%*mNg}3R,i NW+AThg2щB&yP>T&r|-m/ױe8_qrd!q7"f`yrtEcM^xF*D3dL*mcd@mܷ>i@ ޔS)iޒdneGd>6 3ckaf@~g-0>c[ RSz!NVq\վ#L~/w(BVFQ4$ڨ\|ح- 1NE`o\_Rj)?'1Bn.{>3Ih˜7d$ϦU咧/=φ8BkAvijR်ELS%35JC?I/jJ߱'~s{I@ױ!sT9kn|FH\'$O+ aK5ʧT|O-:pxuEN?YfX@e* Zjpy/ >, ffś(!P{MH"B5Ԡ@!xVf vH2I]n%$IU' (HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/axioms(/`&%"F]" mpILVw ȓPل IBiYQS Y:5:T?eʿ EbX11x:D5(OKa#a^BgC6ꃕjEx$ᗴLIhVB#o"uQ!Dp;A* ގl]iC? s B2GJ9 VK0Z%A3,zGrE_x)LSY34~TwC=*{K_6J2I Pn}#qVدݑ;~J-N/g`4C )oUa,L<D1xX ̈ޣrk|Yo5]ń#_5ؓmŹۺ1RWQSc`m/][ 2Vޔ4(Z nେ{Ps y5 ai. BFK\ϻ*2I%Bɕh(vQD1tUc Y+-=`\QjQS{KccڲdI;% e:rZ:^Gturo* n{x+Gn`fD85nM45ѹ6,$h%\{7XIR`uCpj p8)IU% PHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/types(/`#PGDpz}B<>н ffUZM1^Tsp Pό>XW[#GhG<֢5VL;;̝MA{Қ|FAhy۪ވkEY0`8߹^QV gm0Zɐ)DF&P C6/`(A!aaԕ Y&(IU)^HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/parentsHOL-Library.Predicate_Compile_Quickcheck 'IU/ pHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/other/fact(/`GE5t"0m&8(ė쯱5NC$ҐB{f60N7aQ0/&&%I;bb!m}/Jz &jeo(&1]ɗ26Ս o~:3MFIt $$kRr=@p0qA!$0BH "o 4j Ǝ2d i[ XMJ3"Ta/+9Y<0k,kl5Rţh1Htp$P,}'#!q +u9d#:!6վ(ꌱcZ&[~B*C5BrmI _bxhj ³3~(15meDDh?$8BD ve׶g[T[GWv~Q86%Af@цf}=tH׳]g-=s;^]e-5E,X~JF u2X&6ꯃ:Mġ.DV+]> ҂Ҥ(sH'L~˅m}SD(/ -sУbD0ӾQm`RFy_e=2}h8ho"sZE7=wN$7#K@5Itwe$ȏ"VOND!M1W:s8(R,[":ָ&5]rHrcrY31a WqI:-z>eT^Ը1UXJ4ez z'ʲ>l].֙ٷ@c2NczMf3 Zgx>L.g쩉3KQ9^{4qt?")P73OqKs2Qq֥>8lOpw3T[t{< ~!ƶk.uB=w;bvA&ᄡ.!ʶ=Hߵcg@%t8[:X+-Gv aN'aF!tTS%ƞxZu|aTI*}"矋^{.c`e͔n m{ޝ:4daǵI򞆁_ۑ涯I81̱ٚ5iϽ "bmi+zY#aa\П/tz9//lt}^A? w $H:7rHŴO *59FIUpd{|ͮ8FnZ~&IU1RHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_3theory/other_kindsoracle fact bundle attribute method +IU' zHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/consts(/`~mf\% /Q`ݟvݒASִ^ @XNPM$*%)( t2DDXIxgyio39Qe0d5U)FdeZd,O%L/Ja#cn9^{jkKe`V i(||zm[ttj0tʢ(μ9#g}c3ug>b_sb|c9ZkC`5_ǭvmjL;뵪M)wXkkDʢ(5gYͫI>$gr8X4#Q~dF$႘ֽJY[EZʆaAs5A2R!#• A uc aDЈ!  %P+Q[{ۃbಔLpo/k-0c 74[W;BԃM!4kB31Sh')sR1ɚέ2iH?ڧCoD rFq /rEq+w˞, <o V}Ro xȉa&M?QէR(e\4-v=OjO1<`ɤ—)~ڐЖδJǬd9N.r3 1IS7*SM jE|S~*IU) XHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4document/latex(/`[LjLX )9 _zq 4<ݴyW1Z! a:"1R+R,rBqZ k`l#];ZK&JjBD$ {uWwwD,k-]ChVm#CH'.ۼal\6o.VUqZ+kSSiSu]VZUWW_UU:UXRڪvRڒvRNڜ%mw`IWҔSRnsƫٽ x}9/W |!AoM2O-DӼA?#.ئH)U7%mMZ֪wxTS)՚|'vU?]]#mvuW3tWgԝy㦔soXI[{7ooWۻUƽ+fʼn9qcf3obĚibf(f(F̗D$3cl[B'%#""%)HA 9%@`Dd0b!B!E!=Q&E{W\<6~4NT'$Pʓ<]oDn2:ЭI65@%'YKa ITpީ:l[ ,SX>}]TS1*G޼A.%SċDɍzD/XAN~3 M>'7.[INg,P= ``FT ft9(1HG2 Q l"K1Da6:נXЪ +lD2@qb'6xda6Ot3;co";xS,TG[tu;- |u08v!Stk.-X%}fʿ|b z4-̭3ErG&CN d/ WeFEPyBJrC`q DFmrX2Iw=;}d\A~[(dZf*>Q '8sqKSJD'1Q=ls'ۦIR"LZ Y:`zz7my$Ҩ!P6Ob؛Ο_'p/iZdׇb+Ef07#P B.T)&T: ],;`i@ZS:&"45ٜ$=m)ҚH5L8 MWAP2g9 yFCﶽuX ucFl L1a-:kiFWSSRWCֿm˓@]6:LBp GPeVc8[Q*o*qKˌ;z|\sžo "L 1[%V4AC9ByÀ*JtDDrN#--QD0D.߯1k1V\ߢ*C^ FDKʅ._;C&ku8tKŭߴwp"H#"{X{kDL;dnkd/WF\37SX +ڗGa X$ /<$ޟ5k/.UZ*Y#)fS"(G $ b7Ks{d31$)litլ&a݊q@*Ev6X!]7舯  QKGPܜ; v<s.0vIh 7̊adh#rxg\,\QtDEt_KB")ҿاR-0k-ňu泌8[%R h^,U"bC(* 6u17M0]D8p-RӨaa)p^:'<T!:Gw\o/ynԵ6vŐQ Y(dž՜;$?Pv'& '"Bz]\IH 8߁.v)-gp8}@܉D L16O[נ DG{)PK4fkĬ¯/N:_2&ATmp4 ~@O݊7sXizuT„ViDB㎖!]tE- $6d*[p G~^h7{:Tcl^b/7417=ZK-Y{,>fJ׷U*UYIŢJŘ ssz1ُ[o:D[-eGb[B2l=2ĚD[D)YOӤ"q&T{f*TM}47ٴT1CJwR&NGSˤԅ/:mދ'7e@s?\gn7Wタsl翅>ӥV4TV#rJL\ǰFJ6r/]J=*vcmtO}9cm7:6FjB ~^mtRy` W \#W~uȵsf>>_3a;(U/䅞ƪl}`%[FƼ ,IU' HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/axioms(/`&!v^" mpILVw ȓPٰI6QfBBCZQSOt 2߆@\XAW3SR7:ycgd^* =]; yңΜvbOR$’+ւy'|!g7{7  ca`r cЬҤLLR˨򂖧jկ%x3V1խׁl&k9UJH ZꖖwSJjbfCJ{ol:u{sah}vYC)%0&P@}Ǡ`b AK$ذarOz$$ŃCM0$@bq (<$igHԤ, "ԣ8.fr'%=? RxR."$`Vq<$Ƴ"(1 I% HHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplestheory/types(/`G ֐6"@iwzVw*8"+%aT2/) 7?*g6"".T8xȧqO d(ǔ*Z%:gDa>R0eʡ@yD?6D/ks|W؟x[Ck³ wk4&iO@iK~1$Uqw3~"?<%-eq;)W駒ve.0 I"RXl9 ٠oQJ{yyU!0I)^HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplestheory/parentsHOL-Library.Predicate_Compile_Quickcheck /IU/ ZHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.IMP_4theory/other/fact(/`G4&(s"0m&8(ė쯱5ՙ f<ר6FMgjĝU ^6H!圁_,)8;j7s}X{1)rإW^6T+W`p0aA!3(" B" ~2#ԈVsͯ&8b^07en* ը(iN:e;%Gc zП"@5e^ 跈LG'c!fM?Ԏț C ~G"!F\|`)fuP-D-7Stp<.˅ZĶAoLQA-~ZP'2C\ 12GF }>Yb5!/H l9Up6=al*@T O1>bE;~:>ឋy0qPyw ,+NC*0J-*ͺ!:%HN+7 KBO﫛*ŲiN T.gK+ \8afg|&<ņ~h^Zrdzk"uR‰{kڙS8k9wGݦ:cd/bB ;2a(œӃV#, N7hfiLdoRZ4:RC .ki`\(2=caF -9)0g:FD؇ϙϙΙ6ZC@C,ZZku6I4 ?q;` FOL{p}гmV^<^o<#_Zr##%"1b^#Zޥ/"""2b ucC21 qّFTAD}LCP<$dXQ8z0o0˙RDC-a0gg翽ۨggy֝SczQ>vǩiB Ga˛pGvgtD.&]LPSkyŻVz;,TR$9^oQPl̻kc654v5SNC1S(@BU(ƳW\I6 P-d>Njf eh4;{εK g-ki ֮ XnW,( Gݯ2=HA 4Pi.I|:pk>GD4گ5a?R$D𢢅0 ^d0ɮF#$ɴhYD,@A<EÀ0aAAA #mӨNM{V NkI7>aB\6K}wI,( AXčU P?:Ɛ^UڽJ] %,pY_|Jy^'5cwױ +A9 Z G x^L \dF]ykAzGrYcsXvȩ֞CPvr}#{k-r[i@6~9̯+ 2^|= &K/2?aV3}-l5̂0S-rŶ߆Lqz:9B΁XV&Iů`ja3MBrz|ye72ΝeTnM5&-hfVWZ.SR9mka;t@ CQ=1"W1ڭIT@o3qf5PJXϲ5_Q y#[o! Fe yL{Uwh?j8#XwZM-H]*(Um쯏#gxBϛ(-, D 퉼Pɢ1碂E9Ir߲/qPd.vRZA~DP_cb@YY\(v?O~&ƒBZPh4(1]޻V~Gavž[(0ø9LGlFa][*]A+-5GaxA(K JRpJ[YRv| Q#} [6It8϶\q\ƫybW(m ebc:? `/ Caư.NeF@Qpju#Qq g>紼\*C}\Z^>9 ͘Dޛf&jU%L'3+@ IrI+:ᣯDr/os (i? >H~-'X$[ bn` _'q|7Q*(oP?4b Ow4o,B lC(FFO+F`~A਀@[/Kp~֝c1s%Fb3e eQDGGI30sGpA-r sDd0"ٞpf~O/=&fZp|^ G'8HdWATU.'JUƷ\>3n'oA!^F&ē-VUo[[-h>;Mt n:Y?7pnPzh.v$pnd"HO_dwk)65x[C7-s+5ws~ 3- f SZ*VSQlw GBHu$:it#0DoXCO)w>_/k 6|ɿTWbͪFuD`}^~EhOAvfa~OĐ[$HU!&F>ښL澾q̫K(ѬⲺ :-Ro+ Htb87?4}w:gW#~G2o]awh%#\~9Sh_A"ZxO/ *j`eR$c!Pl+(|3zYUhjԢ8>]`zBn!۽! > c}fZ3me$ e`uϙFX68U QPt9ͮx#n#%tpxQL=սčL0ѷ~j*K\fh\h$ܮXLڈ ͒-fM5R4`muۍ.7: 'k;>@9XU4iے懔.@Fj98GGrY:Dgͩ=C%eMZ@ C?&IJQ9VS>P ֐&ⱇՀ6]oH/Dȅ_c zeU9G3vohA0a[U^i~eHJa5q;Rxp^ $7&/ q,@[FH]b߁z7 8j_kiCafH!c쵂:\9POQ{jޮ m>װivRk`e`ߞFU /|Ϛ"aKȄ㏨BfG-P˗Gr5| V&+Rdk>Ě _e唈xBsqN|80Λĩf%啛8o"=u7S).`3 S ?X>`-ڲaШֿZىVOEqw>oU`STv3ON`tXVW~fd]TUUmJAg0Xu&o&aFed7Ap}TFဇ$A@ݺfELC`I<ysjMy61K<ā֣4Ŗ5E@ ;ۈ( ^Q%LM ,d.f'vg^*+Ɖ~ kZ߷U3GjeĤ rԄFQZ%/*ŅIcvgf}_Vx<~%@'nzlg aW xBCwam9N yy[q7u{]B *-hq;ambR"q JkU,pLcAy w?~ ލazL(&6DjI%Ez55 {h[.:#{ [xvJР' 5n(.Ic>,^hJۥR`ҕ@1nH |U1%r @@q2ir0:{S)f ӢKG H'Qorh}0 ^hL c& b`(aϳyعmq mH Z$\ņApX ,*XtSE[i,{vZqlL^CTtwޝ^#f,>Ngji׭ݧvTnzokWIWP|u`jFxZfG,5">uCǡ+~m n|͟48 @{ٍF+nͅ/L-?*}̬O7zY],/PPhl3{ؼ4(4_%ͨcGL+V.SM9kJۜQ*5*/^6ptsK*@aq:AizV/+!3vWCG$6'HZDHjʁk`ҦX MAq:~[>8!FZ("@`e6۞,d|ߠV*}6i{?J78Ѡ\Ok {gEϳPdU{֟6 v9LJ~DV '; c#"ݢ2amĥ`KM /6X4d} (O6Y^#x- a;"oHjgiTGn}~;9;xgkΙ$Fƞqo<Ѵ"! (oQ¯S)6DWPIY;=44?KL\K&x4tx-Dw7uo ~nWD/*!z} NNZRgrVh(Jbވ s@fx\+򨣧Ro?no/ 0et9\_@zZC D܀Qbvjfm: Y `>9t a!-0I$M H PkFd< ̀(G~{ ZGs]\ޱ7whRON)hwA@RnpMXFk?.=mtyo0-ּxPNnqqeᛣ祀 7Gzvnuf9%|byahc]݁y ( -2|x~󧐄y;p`u@ ?<:c :wu/NBk O0-LA&[q/5K9- 0ZN@QD=B䝄?/(,0 Cq냥(Vs܆w4;e  6(T#NZI_w^- !$nħ\wer;0s$A85X D]xAd)^x ;n\7iIȹ&hs|Z IYJārIj &jg"wdߜc׸39#~=Da>/pR>s@L&RWdAJ]T­ҜP+!y&…Zm8" cWBf0TٝL _ЧR_f@<]d@j̺.ͥ*GАe7!RT>ґzZ7C1vվמ5^im=^>%t4<_>(D 8[0ˠk bNړjӑ}E[w7R?{-.ئ&tl\[?n5f13$y4%GP,"nFgIM<ֶĦ`}^-H'|Lw".Ha^Z5֏%6pAJ̄Eၯ)~ b#@"CʰXoG̀CzM }w7^ڹv 4:%_A •t:1@0n_߷Wr ?DQ1ӊu%v;jS|A=m'c@&n 'py8\TE" zI17@~C/Abv2"WXvH1c$rVFi܈Ķϩޗ`U\Kt﷾С)5u>ҙ7ތ 1=ɮx4 H-`0䠷y@Us@-T *U)ďwd=2Z,a $@z7CκIA^l,!}Qq~P! # jބg_?PE_*pIdP_ l#+@V"4Ezkæjo >DVf#34e;^u?uBS6A20[*~; @ǭB| IY ^>I|W0I"a" rku:wuѮֻmM[֬jDĻWfV5ݻãi*+Y4 ʴuF`fC8-1+yhvhV Ѽ^ սn>!9vs7̻Kvs7s7wq{Mqz׻&ba,Gu'OUUM]LD0331333|b>~UE4w,f_f"/>8L^qDfۻG{7W, H@'9g߾݈ -Ţqv;Nyffb(ſ ajT֫uo*R$WDgi=刎$#J=::4Џ~t-Cx" +m 0 &G(DiicL;)$Uf(P0\ . `\88d Ap( Á@`@Lsdх[nEjQ" WD knLYd9i(vڎDq.*ƸjOqAC UV[h2g7`:fV0R3_ʝ{Yw@/8}_N\ Luk>bR}Bw#)sp80DIO~KL&PK\$ؓ7m@ ;2-cRg5'5dY5\#80)?+b,?Rf h2d%khCƯwB5)μ_{l{wh_%b=䄋_ FП=;0}A9E 93l\v7ۦ87 S땞iG$@;1*UFY)DV'3MΫc=[IV."[Id!gARK&܄x[O14 'pL"So#Qs@c5S@N?+vHZev,-lV׆3Т1?<}NM{F5XSQӗ%q; ֨htTaedfe5X =CzT5+r92]ŃPM/V<4@NEv:1:[:l7e3}k`JWr;Up2`DPY]lЩ o!wvr8r1$N´KǝXcڴzK 48 x8܊pKw=2[|EBGRн19FUWv9QMCq6k w%d04o``m+HZ 8%K=jF<]%YSHV'*LR}1b-zH~f\W/Nw4_7$Ssp(=/hfQk+SH#lP}oTw_)K))1HFe+5%c̨~*2:5xk*0Τ $JttA$ [1Gbv;="gDkD ݌`vИwj^4T:a<#ʂX"42Y}9zXʉJq:!xifR+4kKHZŎ !?5L]u@:B6r}4JbRK.T*KKkmu_ ~OQlr6ψB늳1gŅ̠ӸGH&'sU)Jǜ*Bf1Rr[1A]4zj %mwY440];mc8"2cB?qBΚ2s )i /E?*\Eg+n57rd<#SF3"-ᑚeB6S%"awލD9b4[RfH-hJE'96P`blSI9V9_Pɪ(E@GνSvŘX0g3̗RE@@K1/X!bby0L+nHh&*2۬R7Ѧh uz+\hלJj:Udُ8!$Pm]'Sʹqxz8q@Kq 2#4Ajh/GpAbJrt{h?8:b.N %_8(P/.De eR(hH;u?=P?%JT߽~UY 89I5p0Ǯ6wӁ_Ek?TLwLYm(ԇO*_&e,{g3m6sw Y6`{BIG %䆕vP:JbSVٰC>4$ı+"*x+=3;&J֌u+nMQ&.{؀F4jĺH-*9Gnc0a0tVHPi\_$V /`/drcJ]@ Y"sBRlm^0VI z5G] M)/CZiV1;-rXald=% ߭1?}g|$&1|w|X/n!l 1t10ͼ5Tbb'].1]xAc'(gi|R)?ߖ삩7 NyB)'kHK(}H!yds AF3CC"vcKꡓ ԰8_ KK}Q­!F i8I(P.g&We;IB+%I~/Q¡Z5xYrx/#8W$%o.{=fQKO;k3˅*/+t7Bz˽pB A¯sUAL_ Kn(&ɜNXfM٠(gO6]ʣƎ(>DYGF.%/CD\JoXuZvnRM9*wIN˴~q0.FBF\:hn^80'Ji<5X_\/QU+G9U d\5ck[˥%$;BU]Cxyd, !ƲkPuzm/F>(Ex##L*Meڄ5~y=sP"+Y*M2@u,RWn('((L sRu[v>64TXTOȽ^FU-G;*IS}37jVq,TqmCՖ}rMMޗB[W"AA [Sb ߉4q|i}L dk5j@H^˓! ػߥ2Ӏa|J}M~3qڴnWpYI0jv7L"0#Z=Xg(K[4}./즖w.>*lb-ϮYtR%,Nq잰Sӱ𑼄&%Y8ᱫP8w8bMK͑N@Ɇ{W J/+!yo@j9:]ѬwLW%iPjDKricU*V0WOFUM!:_S۾psTj2>'$Rledx U̇!uZ}zugD*z=A",ÉX̕vJ7z#azԌُ%vmhV'"+S\󞿹4MwS4 ̊LzHFILdr.,i4xWtHO0ֲ0+PR[`7`L%a1RU#eVlzL2k{sy/"KS;BëŒ68]aG B2 0+&tWbY`ŮO9QZQ<>Qn#w=SJ"laB~?:0/ %=R],+?l:h!gQ2 r 8n,NX(_oNzŐSEU!5+@f6+7bsK uP|!@?4]!2.pJΗWsf"!C~4t6,_!#,1byl@:հBo9XoBfVԳ|񌦟zPT\(SSɃ0UCcO n*,T(U hqK R=xkcaXUŰ?DddRRZc70xq3wb.ʜ"v[[n0G7,*KzοȘ<'TNbּ:JmOvӰѱxTCbyuՁ6q(: UMvL9!^VXO7Qʢ^oZfhw+Kƾj5r/u9]6b7ݹǶ Q$%] ;ƗjOVx1 ]bd+ v9I@_Z ,sӈ<]y,S־ !;ɛ١'[9{ټzʑ]Yŝ9`>su0El $ suq.y ~vfSDGמ hmHcꌬ-FBG MAsY}+A+D*⒊i!Z‹{h[弈bz@. >vS~? A9֪]J\:;@DX^[AʨzlbJ,䑾r =_N4x}dğM }/}keL]PޙBaƗBFYVrh䄧L4-[w6ua~L YhIQ2zui8HnSޯ'%Lӵ9Рg̉&MHoʀX97נ^2>"+2h?z_n aTs[ >Jgδ)!bmz6{~}R.P1؂:] @c pc%tCnrHWL[*P3xR5VЕ<;kS89J!9n YVX mQ0 !{j-fCPp-g֪ c_Y(Bbog:([چf |rhH_Ip)1FfYhsܣq] 3g0#6kN4UT+W(2άlHx5((FJT;sr0%)o&\f(e1@ԁNy93[.MQ(:wyƥ{Qpv (F(|˽ {ˆ4.'?~{eM,9q&1A\86g*ׯێ.6FWl^')8Agd-ZK+SFKA&v:7Ym%12NeRlSG%`t訒VO?wSkg4-%]_5(/5[,Xۏ8X٪y;˰kcC}a:RJRm)=Z/?:F[q3*L*Y-P:hxD2#r :E}1l3mc6 G-,ϱ{+_NR5-懹Ձ\g)^3y5_F0G Sޓrik{QGOT>Qv1v-Xv]{: DX.G0mNgxtDy8(N 'KkͯK_\dXJ+X76Ӌ q`:L<XkHm-vzX-brgt\|U__U :"LilPTrUbwB=Vg[^ +w` +]w ZizD vȈ._R /{Sjɇ~j[y tZ8v`pZ^ŻT T8.*8y*ɡL0H-)_-^5=^@2*7U@fDBӵ`>W tD"ȞP1mG2+ԡOҫQc| !VX3`8B}~'=}8|,BH i&QSaﮐ4~XlPR\tBUU#n͢Ŷضo]MZ@(z^w6׻^^ D@YzֳhmJe^@K,5'8K9̊V3jjfl=TK=KM4GԔXJ(M4lS*V_WvUW]mjDDyx8@8H4DOzIq5M4%MZKM 1 β6iƃ(KR.傡pz e&f&ڕ@ wv3s~l'`DDɉNc~JONO%NOxDd].e]vnh,U.]vV-׭ ]_D!ؙh"<'>_K|m'vbFDi''9 N3Qzf)|$"&bb5wf"v_zo}ޒ7%;nrY@GTWbb J0P4ڶͶ6 Tfy5Kt5  j@by ?,_O z=)=@-&uLh4?&U[rK~~K)%<T:^3 y`"3<"CD4"É Ł@g}!,(zQ"Q?2i Dh ¸kC4 &qm3 Q0YYYUXUXYL4I&dE|&2-3!ȻQ!b"yF,$ Z$DQ8 hDCDL8<x ax U" +Q.݄HLB01 ýBDDDK0A}I8 JH"j0Ol@bP@уyD, @ d@iƱx0q<0AƒCDiBijٽ 08$BM \L8P0bp `(CP8Da[$el~(n7,MmqB0!}w0Uru{QeV@kQײ2[ki$е)Ptu@s+G uRzxڑ< "vmdr'jtP$6efG%5,FQGud pQJ 6: !u|44֔_ ׽3|l46hߚW)tOuv͙Ž!fő!83QTl*Ruy2}[kTPh`91t@Y 7E=7Nqb-x>Mr;*Vir s'Y+@,A<3\I l B1[@ NuimktZ*)XkȳI45M }u5i镀lL Ͼ(8kTLƛz^[o㷳@gM/lسAAHL+? U0B2U3VChSleTm2Gl6WPuW hN,ԏf+YmV-̬ 5 pGM2P"TҦh- þ J se"F$rLT9*`B @i98$%`~~A,~xrLwb6uOXaXN` )ر 7*$_JsLƔW*i|o,Cɥ1Pŋ-?D3r+9J3b$/JubPd[ZtX1`hJf0/JzBE ,MFی?mE wpJ:(v,&|cB|.@.J@R/C)1Nk*.6PĒ()ȈEτ0\P0#UGq]p½CǍ\|V@[K;czE7 4lE{9q]Ǽ1 `2qyDm߷eص E!x=XԋShRO0m-a0UdAZ [=SoiN qڪIieRT8 yl21܌ƃ"8rVjF<<+5R߳0]ϳ,I&Zm1ve{;۴BBcH;hFRbVeܓՠi%}`PE,Dү4kN u`@'74Fk?I4أٔʪ֚UyJ8[Z߼Z4 ̹NA1 A<Af FC&~f_JqN!lryQMqfC;wp:C\KKw3/mm&-dΡ7H'_?IC)lEZiy16!iK 2I/4s$}QP#*qNH^z$2516?|4H;kKEs1#IEK8o{GFqK6v5KBc,i;[Bs9i4Щq%+d|*}/ +:p^ הNh) 8[pm%Xl_hWAGPĨ@?@.d!h?ű&Ba5g]q7Ur#wyI5tTd97#4t& k7M.Hl΍ƫ+Z!iꕅFAp+^1Oxؓ~J$iLE]V]J#ia!`VzoPyT\E4 Fz?:t6[m{|w}fFZV䨲Z3 ALGhv9s ȅ x:sLFMq2n9Q+#5*DN?Ju8}ob\=|Ċ_3v""Yfaj>J:n"z^x:sk~v4j_yꂄi:$[=~BwND~=}d> M)|@cehnLmfg++89X'_2=-KGq4n?d0Cw"ls,2#d.M{`("4;g eRt"BۆWA#bϒW9 kH H U*X&*T j]W3d8$__ %𥬻T WciRoOnfe^Btp_pΓAgqR??tO]e3Vd[BB:悾!Y}J;2@MJ;Ru ̠vvY>@ewRj2Jbk&Z@|)!!J&hjM ç.0u̍M%N 8ggHα.rx\cܽm$`-P(af#I+N؁^VZ qd.U_i,*DOЗ`["AXֺˋY(*!؅:c1P o=,/hc5m]DA$9eb?rfm;d)jQ^2凋ms04j"4z$GZUkQB2YT6U[ŋnFJSR#B~Ȍ8 }aLCfGYI6dDtZeM𵛱8p^ؠ篼|fhxЪx4N< f4u2s?='ʄs#e;ͨ2[U k0;: @u#3A(=Hlz$d6'hٮ#®nD#;ǘYsۍVGtL7mHl4.z\ AFV?&SCGֳNvR%PFEf\ؘv"͟I > 2V0/+ S!l3 Ȟom/di˝T>rLGخտ,Qenޣ $_7W1!~P l,$;GSR͋'oՒa>N e, q HvkS&g_cٶc?^ XX ՘"v~22Y~fT櫜7TG2m2}3tHM:F7?m ņ'_CoMK:7P ԣ*^n|_ᯜ k  P2|][%:.,w2sZWZܮ/!a.فoIj6D6 w2dM fDycM6,lЇ.4m| UR/ܲzq1OL9PRGFb9G䤹4<b}gM%&xq;3tlW̰دXjnj]vtGGG?qȂ!#/ zZg@ 'x c:럱* ]`'EO1I'D]*1UTYWhVtNcn R蝚:,e|ScC"mM9(y'4.e|pgO2]&jT!}bM̂}eR%Wxw;Mb0}GfyhtLYa,Of9Dӏ5/"%49EҼ-tӬ=fCDcC.Zt1JWIAqr/ >T{fe|v@fq&z; 8u{q(.? hDl a6m]{ @bvq=g[Sj:`fH+^|sP s/pqq;  m3Sݯ\@'.an=9~l?km,WӬ(;-64 >zhWrac_9YR@ծO(2V5@|z$rEu8?ԓGF+Iuzx-hC\VocQjxka90M) POZoNx!D7LHT oǣGvܧr['9 rZ C> B:y(Dَ%l+u6Dg+o%p'a:|J3v(&ۻA?sp?]FV~7L*QSߒ$ek}ߝ@w@1-8Z>5:jq1ɞ,P_q^=_ ! VYoK7oIjs91Hpy46El6 .R+_+P,%I~uѸJZIm6@#%C)ˑmvrSv|ȜU"ok=,rMnsǹ1KN%Q/ 1'IVn̜X\ZvvhhfoM1St'rԧ ;L-53?/t}p˿H$tBr݁:BRԨɲfM9@msxQ 䟤NDsXl]33 T6X;:P @K}jM/Qϕ*瘫u/+^A[bǫ5p ;-g;Gj$V^ ~6'φdWlFibK[G@m :P]I5T*׷tk5a)nō2)1a ŏq~HQ -]Ǹ\r@jcat=4nd;i^XђA*=&A|EF%M$eNyFj0 BYNV!h ֕Ůϟ"sSZD+ܧz9w*u{)|?p ޣG]œ{0s\7]H znÙz.}y:GM=Q;Z% OWٵ3I־w1`F< aakS PL -dxӲ[VdC9Ya+A+w4k܎QS{;¢[փ-=+ŒbtE/FlsRoc6{|=-հ7<3֑$( ̝CUP^Fӊy6*W~T!p_ĥ2*hnA%Z3X%ށȚ7Ntx`G 4Fε, ASkZ[Лs JR=]QqFڷxOvuap)e!3 `ţuf*fUAJc(kͶK։YLNHpT`s`+ M@ӌGȳC;0{ytYI@Ŝ;1y|W -R.s͡n_ ֫،`?]MqJwN0 w4&]JX 9nGNA 5o:+qиQ^xUA`p_*E"֚ dj(fB:JjVt&*1YLŅwф=k̊_&<zaq6qѕAVP9ż 3A_HBQI5.Ã%\2EߨAM* ,[XW{=,[Zȡ~^[ t'NW5fhƒ/]NGSy\^J70pP?ݿO/yץHKlRq/iveDAP">$A:rm/@Z\N ?1Ѝ Px]9'spK   e4 I) bHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplesdocument/latex(/p ,lCf;LNt⣣x> ({gJ 5}SU HhwEeJIς"3Q"(GѬm'=kxh( ÷;2*[9B@ִC$=:]t{]k"K|0 &BK6Mu훘@YN8[۞R O0&=Jj$XV!43ۙ&}iCv{fU%]w]&=n՛jުn4e]q[>Lg: ) ( b!E4BZb^XXwxywwwwwwwuwwwWww !9< Cҍ?o|fϧ+ fEaՌhCmAppi h6[)"YY!ڙ֕UUBi:"JfLG,X9jۦ0MTLP$J5Q"(H*F@EJ  ϑ0C JMz"UNi,jUU5եVMu*:Lgt^}h<<4& Yo6D >{}?O_?Oxh}OPn7݇C7 W@wڗ}i}g3mU}EK2~87{z&ևqҐl 8y_@of61! E Ns*!7STO~J"b7/#۷`r(IBڞy}-?cȥ-=iPSqa qqhݞm3uޙN}yϷ/4Ceƣ< }#^>cU>9<Ԃ%oY|tMDW=BlK;ې{>=L#"t웓7w3{T'-$Z!$gbˬHQ95z"΂lGOH vk\;[cເ3+FӇ EAՑx ڧtЋDh(!lg?A>c^E(Z.Yomx]%.annc1tpcB QN2hw=jD@A ,2(oOSCJ1 =UiJ,2NYৈ OU!d@.4:Ep'KI?4[ 9 k^Emi ;=Wk27aAMgm|J1>#ȅbli>GM*nw.`~ưk0,}w#K# 4Y8C,)`ݴ/Jp^$0ru(ߠUhO 0dm,ބE3WkK)mcIZ dMOx0W(y9%T adq6ȱƗ &ziMY%HAh(~HSO݂ |:[d}oatx{M hnR|e0vk EQ/#qKF?g$߱ N5WL}\ZBU}xnllU_~͏E!*O;`Ŀ=)I>ez2FS{󂏡lqR ܳ R 'I/?0k~Cf)=v%4?D!U:G_W0ܚ lg W鎴Cl—;nDwډq|9kIAi׈No[JK]+L ܎z'ۄ~f+mK~k<βVM=T@GOÏ3f=\(Sx$jS~WMQC0bm*~  Lc(tn}/c)gO1hyo_QSt90Zi۽]䁱C^i0PZ xh{s80XVaۙ+ n~E쩐_1RCJ =NFjcpDP)$DA<*C(O՛S^͸kI&@툻ȵa/ 68`8A@ʌƿTv%[ 4m^} D֘ QͰ ~ٝjʵމQvsLOS{y&ږ!&5׌. |>@5Qi!p Ⱦ%p vַYRtRq)jJQ9I|)7B?PXkY?7"2;Πkh_HG]ItD;*% sFҴ˳ee26",<~(sVH Q4J|{_sz&``E f0D/*xHT@oa+0n|xXYxC7PYc*5M9Ra#V!/rt 5 bNvAz):i(Uy`$?-Wq+=ӫZו@rU9|&0hGYI[nJ07 >b6߀a N8N0tњӢZEmz @tk<̠Q[4n+t<>>/Cn PC3N&AP( AuS=)@8] k`>KuV~"<|(6ͳV*^*'ChȹC=:V4EmIJ*r3Nfޕr%{C 4bpwCOx֎Ȍ⯥ Cn<'LY `P#՝ ->}ndx^U-o1#%' <IGiy>;3bot0t|A/H)[Ļ6kxGGyf\;3ĻNS:[} 36kxw ,;NX-0* ڢYd!sbE;ͬ=uh9w]XYOh\Hg֭YI>rY$KۼHz$ &TC ?B%PA~|ek> H}]E4s[eնa~! t5a`,"㪣:sw},W/zB;ɼ5êBS3ÏOt0<Ntda0 dE@_]5 ȣa:1DŽ/-Fa S@F4LB89&❝f/zF1%XFrE(i: F)b8s3SH`A<a*@B0 p8!   >!QwXQC@dRUY()EG47iJo}}}Q|/\Oڜ=ϩ|mt?Q) !Edo УRE>1 Yв: `"ln;Tz`p耉|aVf͘S5v( ɪ[Zcl6"M$3/T݆*-"o ̋룃1+U9TjI'r7)2e@9 G {go|F ~Ȗ\ٰ(\_i\A$'_v^q+j –+i:{D"8Cx|<2^(xl^@;@䴈d@%D/zݚ6RSb8r|@;q=Z? D$LؒPjtb[wP&+E]-B4J\DNk۸}5@ɤĝ2;3g4kgPDSwmNtB1@6% ?q5'6HbX }9[Y<"3sg UVF>=QWދi㝷4w{Pxk3׋}S`$oPC[Lj_Y{)⛾2* oj?Yi MD^v\ xs3OֹOwoqi*<]D|Ȼ]!8KHAoIBD{ ls R]դ <+A&=0^O8`"#D] H@ScJ[oh@\UJ .#'Л%,XR2{TLS^:JKf:4=$*Q)wE 1=N,v\7+(R97I$נ2 9\`OY.`=:O:R zlX̐?Ot7A+(?(4nd'^g{8Ї} T=W8Y|((Ե^d*/ )`߲).4^sc@I< H3~ A-{ͰYqq[1>/܅ JY ^!Mv(H=%!Yrc6?=s<ŸW 5C4tK8d!}` ݇68*@î. d*QM&x9 >}AJضoէUW<[=u C"-a1tg` 'L5U.l.kY hen|YdJEPKZA+ ;6f&C+o۠}Chh ũ^!Mt.הYz"$v :y#nތ`U/$e2H_$@{9<;9/b,7.}uYͼd<n3zi]@iv% N$u}|>._j ]qM;zh:iT/za"ussm8QͅȣX) }0P1v< FXF 'kѡpH$B1@ju<R bc S[<X M\ :ot hH=if{} _Jv6 3,N]ܧ,)X9u){ڃ3ا,4(֧>}b]H ]kN(`}`mm|ȇe[OW%K`ŕf.~^2<J9jpJiC~^1P%ׁp `X"AdyD). `{7枪@V^<H?ȏ)JiX{CVF5[(ykz`f@%*Hnq%R\HͶ 讟]Y? H6I1RHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplestheory/other_kindsoracle fact bundle attribute method)5 I# pHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplestheory/thms(/B f&Sx;#_ÂĶYL-".Qb0ZfLyG>54Od)6%)cTGE G]DғBy\D /s(qaZB!Y 4 fy \9&8x.(X"KH$*\ 8`HўSZD[,˃iDDƒ,yT!2wI}hh4T M֯i`!2`AdZp8@@'h"-@Hc<  Eh&,<΁EEh8 :DAxco*,$Yg$=IXtwuvʖ%|$!+6!+M10DЖcOVΞ{ZIHxmR_ %#0@@ruihcBt4aHݓS/9L0KY8ݪm8ip"p#vvahOzO8'`6 ̒  'XP82Xв( J 4* L۰dXT"dhw Gd K3$)+Gcl%'*~JbEI9ݏHv+~٪;cL1($ (KQI{ ogs,ǹ8;ǎ|Y+Pfik.TUZ G{UjojW)eJ)RJ)ZT*򷳽?۶m۶mn۶mkVfRGocJ_J%"U^MoBi݉+p %Eݕۄ+41p+EQdSr6 Ix(Y-{   `0P aU ?,TyLyXdj"u!8l@o$AlQ_{Kn7vUhI?`p?Afj}/LaUOyf  䥁0+ O$%WQDz yq,*?9nL)~ä$駕~>|?U-pA&z٥| :AJGo j0< YGP!gH^?V`wL0.7R>~Vށ Xy,.jܛI޵ b8p=ϢX k@) $U<yp [b*oA˸_PW)7M\ZQz,@˨ əL;&׀]>!1ƚp8DH m12/e#ѳRLl5 @T`#0JK*,B8ƟA5Hʷk* JGj v!OnAC(“>Tڸc;%M/Z:6 8@0Dc>pR͟sy9[TĄC6E8udPr0bO*U` Xwh?pꁿ^m{x951[?H?2>+6 a;|-czp'K3Z@$yAW˃x( RXߵ(JӟGqT'$#+K0ckq\QPv `CxDu+Km$p27A'zЅ$*p^ 3h!FWpz^z;]1{4H/A>࿝S/O-(}z 8Nբ00D~6?WZK4X) L3W kx,2ߢD 2=!!/~gB%B )k@Ƴ#?A&iEoVƿtKAV0!q7 E zi m*_Oq0`D[P6`&*j9?l` s]_&?$ BL+8h+a2[ZGs l鄎)$.e!sJeI'0kl=dcZ= -Qg吕D@HZv ȎTBon}NId 7*orBj!vR&8 DFaS<>00=Rt*Rr4N~ ֔se^%0RoTx^LΘ6kغu (1ũ &{h_A&N- _flfc(^p245*9P^G[7%Y`HBRK 7N2@zִ:' Kk} }`IwG+"xu qA|ͥ*8{H%,0|C -l~)Xbnys5V?A=:~q`5_jyrqL$w,y2;O^LMk D@. W10'. mf.wM9b#{vGLk Q8YOFIcJ0Ʋ"} 4@$d7^?j1؜z@2'U#Qx3F<(xJ\^Y(3C%%R7To|ʝ5 "{q`Q)V<_2]w='\]Äzק ;\yFz pNωEpY\6HYϻ +$wp_B+HZy4Zl (A9_! p>4 m7 e3 `g$~[L#',/+[\CrhR!-JӀ 3= Gz,i&a(,낲gpw Ɗ晽]cyTX}X)Z kəgvȩgdLMVW[ϭ{5.Zw?{Y)> dzPξBv]ARj-D5YD1&R[gbR7ȪUU)UJz:N&yiUqqo}~~||}>Qe,Z[)Nd{7330Rdb4=3Cﶖ ңhݫyA.A && owA^_W̞+uUbYUuV%*/2md5ŏ>Q1ηbY|?WbMULԻ74MC_{dzsvnge^k[kVŝY3ܛm!k>z+yw Kb>o$V{/.6#xI@A$0 7     @( ` @a<:tNrV\)[BBAVWLjK߭YLr@nFHs<>:ǭI^iGkH֌J7jpdѓ~,S6[-@^Na1Hur7.@69MzJC:rЅ϶g Z~6JMB%I_}:;[ C~Z:H4:0A)f,š+?6QCGCl_VgQiy;60Lsj(Y}6zNk ʧ}{/ 2tW \5vKIiƉ34Qd;u&1(9,߳ozv縉CWhH=Aƽ;eP:΃wVA>~cB+g| }8 iG[/v NA88_ЪSB:QLN] > "'La K$}n Dœ8es5+-cuo ^'Oo4SxZS !|A yF \<)&T} AS7&}xC5tcR/Pnѿ [_O3>\P L׸ /D珹8_ 0݅qp;3ܠy*>x0) ̵j_9"POנAy+n*a ޤF{ $?{:67J~1VFA3?Eu4 ܼ z'M۵bqu`F@6w/N`8t5UY|*4"7 OG 1*,WܞTM%tQlO5+0X^u ;%`{:L??ȟn@;>,%sÊl*{綧c9g/jT͒#?^`chu!-2a:Sg^ 6 hyyzVŊ ī˄8&tx/t IɒP"Tz( %J/M$j0iy@7G'z`,3C;o1 +ȭow?rc@O\]'GN8}&^mxﻄ8g߹lva+{|~;3@6Ȍyg,rw !~ ڶaA0U+O }WE%!QƐ5gW OAPw1YɦKU gTHt,EQ#>!"V(}ujovDtr=fF,0tˀ2M 0,? qeVm{3C nd?7=`TX-8tyLes6lN*챻[>d]U=KVA f|݉55̿f9tۿhiP漢ҽL*G[l l:abuߎv eT^h(>S=傿h7-ׅ#^2CTPcHEH&,=ܓ.Q/Cg0}bVם4/k])00<jnQ wLHvB3#`/lLdᕀfDo<ϵkX1)y{<԰TkDETCkzՉSy]ESwK-1;a_%ePlCZ CVL$ EȄh"VM9EOwN$jEi"Z% &CLpmIp!YRDC1lrw{~ֈx=)}ޡ,v V왒uX7'6ae͆#6 YyO!P?։>Tc|Wo:ޱ0֕7JbA/C.<޵+>6p#9{T=n'a [0 $h0{WЈAgQk "{Ӹ{3cAHB G1qdnr ` nBڮ{.ACRZ,tu~̡ϋYn.$$#:OtV@D6O~ baAMtd*y;a@mw|3"FnӍ@oҟnZwqtcv] /p:z>ޘQ^}1́uÜQUYl4J`{3r(tmz@RAcEmM*)5]2ĵgS-fM#_GnZLCV7.!z~d|\ui}Є??xn V}rX|@ܼ˺\3&S'|)EuDMU%ٔnP{'hc3liD:՚tYL/"^P:%1pTsFVo:@56@,8*Fպ6`FW rl'N~/Qo#Ff1쏺9\v`R8m2+(Ljw}1fNyJR"@J~D)IRs;j泗/cY=,I*ƻn *.H ToaڎQy/S3GvlqZ窥z_Ow]@em{Lzc<*o 6@bOzPoSlFQ@V4 =3ג@*.EX߫8wGb3;b6R5@`=gc\lTWؒi " 0ZΥrwV?D4gZW'm^ޔ?7@@GM󉞫yrƕ0lQ'Io BO5ݢzޣS./)#F*=lϧTq/u)I9'>8;,/5ouQ` v~L=8X2g"olX9I#z A GW ?p1 CLҷcI,%4Cī : 10l!ig7$s}Xy" *pxF3iÁ?8 >pц pّ܈ B:ǚؖllN,l_L!ו)s2t5{WD ^1.EXf4W΋#-t!hzUňd= 23d [E{(lIyg¡\~jtwϐ3ߨYr߂#V4_5'W)1@e"[C P_99<`1pT{bٌ)|t[~ yڈWD& adC`13!;qQ|*4WYH67"˪/Sn:b]}Wy  !DŽ^._,&r*ۿŜYt.H=~6Ønc28{ʍO]K7{|* 0F&A>u8h_1S2?*yF A!>;Ƽ;&X$-)S~B}\ Ee|`J_৛U-M7,u ׅ÷B"P}l";a]Pk?tji@2_T_}rq ?eW&FyIǺoB~/ R1ֈBLbCrRXMY>^ZMoׁ?F,;BŬkM6d[ s ӌv_yEK }g+C\L/Jdfz(d L}ܕcG0uPWc~=c^,fZZȧZqTa~chd MQXw8qK ɣ'۸y]1s掚s%xh4 FÿD~7\2oDX!ZkM=#2K{EIo\߽Ԗ ڃQ R[qy=2S9W9_{RC tiA%SNI韲j1#ks_DXۛ'=Ӡ#|Su5(~*AHE[ * E 9F"?0q+S PQ歭n'wX>s>r #׈+ʣ>tZwֶ"+bH\>_J&?mƁPWQ9.N?Fwi=f|$|R5+] Q@riMi\ѷc6Mp3s7-] .9d[ Pxվ (Q2vQHg@?<7&?CQ=9;D9/%@L &@uj/&p ] Qu{bp|q­4u N~c"Hٗ~M<"`N&x+Y[&.[3/B.4E{u:_*1id2Sk*N7VQ̮<ƁT֡\﷩?`}# 90h-]B8K묅vXoj=p~݁!-br:94cBOx A700į?yy``jz@VF'w~qx ^(/P73v;C'7<Ȫ+@ *\Byo"ϡ 1#KnS~ UB_d07 L sI4mKU~HmqhsaD~.DJlcYCf& OuR^4p^ihߧW@Lr@lzTtG2u冰~ܸ t#B$k%~{~p X|߽%PĹ!e  ؇9V| #;-W]26OrJx]@'au=MK6xeEYu9_r Y{4nAa2$+0; - CR_ W~ѻK͂ YAqVߠ[ gqyeFce;{s4ܭ:=тIkn{{ђF j084ߞ`4R@'6>DKcYHg|ʦM4-d?%ACAK'2-EouVnjR!6ff( 09FP1"Xw. 2P_n(D7>bI: I]|) t }Rgp`uM:+w怰Z@CyzJm"Q/F=#e9rAaoL <62lu3Vpպoڸn#Ͳk2„f?2F]'<@ٹ/0Op3 n:COo8aῬyO8nuJLa}.uI-MN7~>XN[D9Z(T~TU^ ޜO|3mIx=iYC?XF +E,@L8(`4[HƧ$x?9eJw=]%r$$%r]UiRN01Caˬ;U׫sJTWfT&jVks#3X#"(jIJFMeݻAppR4YT -j̀J~S&%52IPQ(H+"<D"YɍJImcfLkvսrZ`2b*(+-H"jKKR}=˙%R/ixu9383'RIe8PJ4J%[RL~5s&j婉q#0jX'$ytroe&'.Qkc +!}ޘn7M\BT QpNZXI:|BGIz78Iy)jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Teststheory/parentsHOL-Library.Predicate_Compile_Alternative_Defs d7 I/ ZHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Quickcheck_Examplestheory/other/fact(/dZ`'oFX j|úek:"n.?JThBg<#ZX&/V`wזhDwm/El|keiV]miiQ(ĤLLM8sn8%4iIX-*1(PL b"Hߔx=j,{H8 ^ס4ђtсi&"&$28FhWg5ô$hhr&Ejj@EAX @Yr<5-YX A2Ik$Y333nf| AMVJ)ET A1iV$zJ" vܿ"z+gU2LZGR$o+u+ Q#" h'[hF`E;ͅ'GP.X8K, +*iD&*#;k9ڗrdœS,y$0(bPMh _VgԈpr8]$HN$Ra,JW nm6-v??߾*,oFX-H*I,ɅeT,υ_.')>O-Y!9k7{zM-(k^eY궠XP-w%83t\|UW2o>j`'k(|HH(t-n{lJxsT=`Z}I|ښX @S8}|ڝSiCJe+{ HJAM{O' R :Aۏ&a@ @N TK?~JvJgSgN3$69[(@3p<72b!3ѿRaL8G"Oog#"xPLx\è޶=yh'kͲ;lC#_gР=g/rPoco dCj|(͆{H8ܰ0!xniNKQ7 %ZpBEḰ:}_KVqjRĠ'k803\7dA3scwn˹tE܇~U-sQe.edǬĆҸ,! @kINszr8*"¤[<;ѪR:1\?>wW9J=N5TϺO #0iS, kT:m,Jvk~DsW 8 ]!Q( @rACʩ"?wo Z3,V @6f ׳;oC\_w틒x&\ Ja\ڤ93ׅe|7V$CsQNv#Uv%Kv׽WeCp1& MZ9VW$h#m)7Ufc/rnxs˵VleA>(;%~5nxEwI%_˝1;_-r`Gr.ua[[ou0j HB#T#v}=;?,-=󷠂UTH>DMM IJoB-&IK,ǿVOϙn{vg惫<rIv$sr$2x2Aq$Cu>7)8 0&7dlD<<4-hƛ(Z`JRܨfcFkbv"%(RTV:G)>n:x%^ *Sȡ& b^Iq4:RL q m@rBQK2N#UF(H7z?٥iB6mhv ӧT~ M;y[8!$6/]Q)~%8f,$9e_9 61&(_ )ڕLZV̚9ijF\oJlm a4E=~6} _r=i^ܰqg݌ `Ыě4JxUs`=bX9 }`a22Miri=HV,G+n%jkR:L2)Sa$El cBEs^h3]b|<-guHXu65&v}Uy&=NnuhTe\#dymE{m"w;7>9]פ(U^P 22ر'PXq+[Q^wANFx-K&gFmVR%vD]5QrMdwv|V1qaѤZu)oyh,`֊Փ#vMrއA jh@Wbe#Ј z,Q#u~*P~Yu&倒8Kks(ևYaIrP ~Kos`_)xMX.Р$eg4DX<[Tmǚ#X>3tƧ3%oo֕\'ZÞtuY,$0g i;`:mĜ f΃ RY&Gl tmf6qκMƟN5 4c/w/c;FB:~$x,3 Ac8 aI|5y#ZS-c'ZP\ jN%u7sbeʩ\ًvxЄxJ,$Yc-hMZXy/i쳷F?;PFMӯlˬSԀJ~*n|/^瀫w(1jNK 5-/n0ڱ]h?XzN[$8SZd^\O8Uf?g©hB?N*$Hz kx(s++DL@lE抈u X|PY(/KD9_׭{ mΊgbc"0XltDӮtMFӹAi(4u^`5F\ @ُ~2`lڤ6\Α+"0ٌ@AxQ3yRˉKJR`:iwƏI]WPAsD!>CKlM W+~5mL%lΚm7Tw/~̢GJO"3TfOԮ Te'2ژb5_$XyPM!+mhcT-Ճ6v-:T\-yzXX We3_˨xQeYX;\c+tF\Y3&eqCW19Y\ 2L gGA1Ja67m;dK6 lGF', L"tW}H :z7PJ /Ǎس 6FbK'3kȀ\;mmS"K!Ȏ"a"۝NoJzj jji9KgO{Plg)uXMų애}>dR*tR|=,:*m+<;ޮǧwv*,tQGȳjV;u;&ƝY D9؎UMA;TMF~sp⬵Y{&!X&xy҂:$Z5f;ڶDOFUgq*n|ְ~fw1yq̖n|Tb5Vǣ&;)wk\~"ŶO+s*Æ㣣Ag: >uQ^kUxO\WUk˥Wu+5]W$#ƺ j/QVCC])ݿ)ޖU Q@Dp Baked uɮ+ehNp[9J^Jyܹ2oc{~ Vxr0V\9Wtɥ+2^(+2oS=**$ZG ~4wCsN=oǎA(wNr*S?0 5~x1xwni!LpeyyvZ(<7z!!R{ioeܪ"Hu,1/lI5>N.&OF&'5SM}#)dTen(\clTݸ~J,Lar Bd.(Nk!Hv+} i ~ L \}s_O A72#Y):hm ? Oq-=Pg<vVm7#MN*nQ *dھN:m\VbTF'vK7k e%Tޱ;K1iNbR%nm{;?[>LSNIs0y*Wm0fIE*I =a쟼U傲%вo= Syp$q^ꔦ/+|A_±HѩuS%n&a%?7pm1GmtC KsKrYzFVǰlٰ-$~ yM!a;t ]P}(oMF_=6`0W(6SY@L0/jڴlc@kT',-Ģŏ QVyyWɘppS%:ɂKl4zb(!!Q$צd؏,lªppH>ETg9]NtM|%'(x/r+C[C"i^xd9f=B.1 ɪ=2Dx+ 9*C;#m%5p-,M!gBK*KmX"sAOudKi<ZV] :l6)FkGm7ypgNFhmF9z6fC)2+A=Se蓿G4zB&sW=浨2Nw̜50ј5 <V$!ЮjFKh_S*c}:-Dxpxpσ'vl~.Oes38qnO- pUgN`IMFЃҊd?ň%L sckQpgf] +XHVc dЕs-Bs:i-p)x7_/xfߝg1NYlg *#CE.g?6QS{bp%%PƵ7/:4X [/wT,$ ]cNqqI'LUPqD}] ʐOͿ.y$H\̑)S} ӮC04J9Ip9+5Q+=IX6>M&+'PszѢA@# "\_M,wP\M7I:)! 8t84w+tf IbGΈT5<}c9uP@BNʋ֨u:| MP$iNO1Ma8́3i#)κ؎mhlCI.Eӌ5#[^LWī%ZVYeIT@7$ | WK\IM뛖XF7])&TIӒf*xIgJs!wTp?K!|7RAߝ$zf-A ud u}UY ztQu3=E4+J]}~KÃmhUzNH&ˌATmc*^ 6}(( y[F6ѷ_j9n,Lm4^zT,;o3HSţl#Tu`@RYo^ݕAd]'=]lHI|$lQM)(|!NR9ʴc$A g҈_h^IIXόbݦQj.ji^Q"vЧ˥ K-7rupޗ`'Ry18H}ObG!~W`e 3mN!S3N"w=1[`֐;ձ˘..kFq}Ug}={o'MjB2#8/s/&LE\ "0o -fl35QB@.U\}Ls|M&Cb0B&A`_єGCbBp,{i)1Jʅ'i(q>&n~1h`@_%yc[wvx5YgJjr<S8 KtꡱQjrΪ&wuDD~~JQaQˠРdA!B$1H @ P5B63 kDE]J{+5JTJH1DIL#d 1WDiñx30$Y C0^N}BIQ˟ >K,2G\ V'gcsVhl'xoX檊tuF}іp?X7,c+$2{<ݏ24diO ǣ(P2/6)/5/HRZd%cѐh,%b"忤; Ėxଊ.,ppxxP\Z=EJ%x ǢAPpp)v Q\&kHI!^aP e>kfzu;9J: dVMk7HhA>$ 0  `0@A( 3[N&͎?[,*`NM2HϴwcV3;r1>ݸ{=aG?"fUֵ [,ݣ_ݦH#&Am:D)\ʡv hUu&8tWP.nA7[eAs/Gl8:CuFrĖ%[>X)>g` #Ýf0 5]9K,*V|,C%nzChwR7+VYuix ;)M%TKXq$|ިB|h┥;b.Mҧ~MtqzRTW>z̦=lVЩ}x+iKh4ܴgFT>@GXcBkFfA#Q +yӀӋVr7i׵Oi"KQT֨Ev1Yem!V ݇Z6^ f.[˪%fYt%&@o]%S* iN@h8WuO9"G_[eS'2ssSŗ`ZK&Ij/4(?Qkn}J(wSWm+1#Ο1~T gu3P̍dV`#NXˣ@=RS^GwbF&i+szFq^K\+~/Ό0gXPDB`J{W_\Vdӑ~C#%ʏ#pe6xD$iCz:'0 2ba$gƊR0{/KNrq0V5nrR$S!oV)6s.)e׏j~G-0U={ 6Jy 3;Q_'vdÕbu\,^ dWQq)`ᓌIT蟴eb>JV]25x}Z0lF.Pb4 >J{]r*c}.VJMu~Z۰FMkey{Hz%sF [Bp5&P9AhSX|nA߲{a?=ynORJN$*꽡3zEDXBǢw Tr e:^d4ðmE"mrw\ISD45j,h8Oo`e+BN= ^-: c c@"CwcHÏJJB٫fiw|U6]ʰ]сi .bl-$aY>\t =˳>Fȿbt2EP&AMO쩿2KHvi_O^[?ѭnۧWp[I3ً*~lM/Eju18+0(e L>P ^7>('u_5O@ԃ@. sdM(xAJS7JmgWvh HȠp?J#hv^"U VBtWp3.b"38R-ךvI;-zzujT:b9ǚƠY Y EvWat8L}8p{ *= ~O E`zK^?#x}[4=4U}LɇAdkF%9^/00RIdϸ$ZSIoĩ ݷDY<Twt7s+V/ЙLD2 IO~4\.u4%n^V{IUt_8o]B- ʼnGʊ驼ɍ@Lz3T_.LimMn'SI׫$!Tɞim9l^Ag~ 2Q: mrZ=A.{cxWl=EroU4f^!.TvPa|C-p?.yMآMT>ׁ&039JѢ"XR<1qƬU)S|_ru #|O`};)YE29Г\aj}yjvj vF@weٲ,l,Y:xG~*s0wy& ?}0Oi8ZH8tɕAVDڔI^wp41mDp<8vn+x%2b !>F5!XeHFڄU]nnj1Nh6J-#8$[M6ccJ U:W]-?~-;Z9i;@LJcrPRw"fh.mךHS'a})ǻm'·E4dv @;o2ԯ"r7 eA;LzJ HrTMAO*~ݴ}80:pg:in3br%}Ulvg!IRu2D i"ac{kZ!\X ^EQԥm =ߪ`.HGYKXAcο Hvb߽}$i7^y_;sOֱs}棫: SʻY*r2"1Y]Qõ*2͚>(١lՌc܎8>}teȢ.z4iq-$PDк;(\VWr[Gfajt5Q̓)2a ,|u(Ntn\e \|C`X6 }3/߼Vࢊ=Wu} 1&!6ƒy٪ JPX5Eɿ 烫^ r3B}.S/\、SެNѸ[dШZ4;L#z$Fu0KZʷFKȦkp~٠M]߻F?57dY_;g{B]$s_ڬlfwv'ӃB,YP_-yIwK)JJӂ_N:_r-]ƺpcHf|^`FC@'fq~*1`F3+:F2k\^v?B X(5jαr> oSA8VHGLu 1^lɵP%f㜭7bQ,#FV/%|y T8t!@ 8S6=`5 "p. `|@Ao'K->836r5ІvKFGuW^2  ۬9Z[w,'p4K"XNx#?IuaX&Ϊ=UVTԜ$i]?!auUu+$H{05:(5~1@kJمRsl_ ֌KCҚ%E' hXh7uP@P 5#fԽI@fBamHg?mnthӲ T$AZ! #k >}CQrX}g$?0T.,8$9s_Gue k+ e?ΩۇQډu*,P4& wg1jN2 *FE)j&g:ӣ EjUQW[&ߪh,l\5T98-iiѩ)Ug*xN+)&:{Ӛ7t͊arkNҾ/.j]IfԲeeJ` 3QMnhut~29QGj'ZNd͕>ۈEc3^&g)S `_a~PGC橲eW/*oSIrx< 5?͖w,2ur=HŚ+d3jnd_S}b#UPN =ґm~CƖ`&32w0Wm[tFXEyLupG,?cΚ]ahS=۱6+j :zܲ7WTk/]!#t65 2Ab&dc /=F`<ٺxs:Ӓ͏H֒V:<$}M$jDInj|ߥ_ ޥ%2̢eRj7v,gXD|XIrz^gSj݋#t>b7EBL^wt^lJsE2"G&z2ɢ8Y "l:b0*=Lg-b.`NfŘd&!^f50_0g Q Ѿ.3Vq]ƗY#$YNͶPd^ЭtT84&eK'Ɍ:ry,CtZgG(}_fXps~\#uzL naC,Ko_uU̕;܋%9}Դ2{沩xԹ&l`QEyN!#զ& ʤ5m.nr~3:I,inYfŢg _]c݀EI_>r>XR,շDߙ:s2}'<!4W9.#1XZʢbHԧiMYWo&GB\O(_|*\?1н${' \~K;IZJM8&q(~b4Ȥ)܄xi*_ULb[Mc( VK ?b/hhwMyz! )!\-2^B Yf]j>aHH1 ه_ r4s=&Y4gݫ9*q͍:M4;qDyT4ȁ͏6Af C?}y]\Ǿt>% XV/C412 kX+gUND֪ע8"7O;by*P;(8ĕ{&&T9CPg X6V[e<ܒh!d7.MED9ullLtH%, l7BfZİ6vvSoI)=Ԫ<D@ zmK.?iC=gk `ÊH1^ >`*mjoJ-W"(H WCClV4*ۧ(Ɵ|[1v;^4JQ2h+S'E֩CM'P"tҽ-@0LRZ&RWօ\@~&hӸք$&D#BBˏx0Vӗkr jK'V M h4s%RO 23YFy5|!0 WyZ:;ؙQD#K"ޑC\ǞGe`{ݖSaYq1@/V tFk03qcX`5X)Ntg0ͨN)DC+/&4g)s9ɠƴsynPH"4ǐVmep/"fW L2) 'Ѐ\aQ1RDFnS#. %2}g,ID;(]Z4,&>`iM1ͪ.:H }RKeQr _{QQIe _X /ZVݱ\.jy--b* pҳFƻnV3=`ߢJ+XWJqn>KB#Mj>0XP51(MU+^_bF}|ԩ ,wlW)'I# U)68]b@|AX Bjih.zN}R: bº5{~h}q=WV.uK,)ل N) ်rU͠:Zjϓ, lP@{s3!4`-ZF@麷c'd%71^Wŭ{Bq钀KckZ3pA. %AÕ:A,&p 4HK:'.fF :Sװm80.nj ԅO%;4ON5>qdN@¥J )-fo\KR[=ֶ42-I,$8ɣ2قu0DvS uֲ_4fN!M-cŸ^5Tp5`\YnIZӊvw%qnVoQ>מ v8,Tʜ Ƭ`4 jvvis@ts-SЪNWPUE^PL^MȠ 'a'; J\pQzP,; !_`T\3a;7T?{3"z*ʁ̀c77Bb55t& Jv'!i0Z 1`M3*~:p˽#ؖ4\,Nx0i;i+׍ayCUo9ʛW-9^c+66+~&fkKD5*sί`aOWԃ 8!/CxQ# 55j1)'x MEBr~G&dta>m0K_`dc-#6Nxȴ˄8x`ŨYvLm 3N%Y] Fs,V6!P[ Qk ())լnQzi9찥)40wrRY7F(Wl"/|[W}QE əSqV?PDhGa)PeRraU}s^ }rI] hzJ /vg#Urס.Bq׈UqoŽg*Ko]!Kt,0ψH҃Qnc4j>.J#z\ia;o_ɸiXQuxvmv=LeN>_#Pd0[xSLP됾X!!>c4tZ486vZrvݸ vvI["B!*)Rz 8N>OK- ]_{[gB#"M3*υc|:rTŻ3e4pTΛz:h :n%yR*Z-Q H$% A:󚮣HrPFE= wTŀ.$ ”Uӑp"E!rGL;M_gtۓVIi1ZmИ7dr` >T).ڼ0G@2|XnMu-ͦIT Ygb1,`JO~@*k\NB3u!몣(S 'Ӡʀai{Y2%Yy`m:O?-AUTrK.tpٶlRv僗]Su[W{J礢+8w7<$us"JR/;@2k\0;J+s9bCdW8Aqc Ol *v~GhRXQ|mIqv!C`VZ9FۊMi}Aa8FK=.yn{yQTnw"}Ł"oAY\Wi1f<zF  [?kE{p쇔GWZ/ ̨9W(F$ +O$(V j  &*Q9lgs~F*1eUG]|vԉv! \6#e,4H0HW y$&3'Nm]6r:2lzH chK}n֪C6.ZZ!(##3=/.$W>^XfpW e؊Fs?Ea)Uߝą@|˨VfIyD@3rVwI+K1JȢ@#*7@JzdžU,^ke@PL\DS򤆧\IŝMPLdWsH"r5}қ wi9uk WSѐR{ 1og,)}K(x Ӌ6mʖ32F4"FJy$֮+U<M9 W;?"Ub7 ;HrBUIJ-? K9OW"7x?J'}}<"BUXSq#k^Zwvk:ZG)\;o[yr%kd ^n .e&O~3%GU˛^(grW)qcj8S%j9i&;RG XZnO-eٱ.wS`1 2O.8׎eE^+74UtP7&ژ=J+jZx!|CrO$%y&.kTZ yi~H;7^#n@i8@=O[Q bR#ܤdX˻Bi,U0k͜'&*-b$ Dtf-nR3L1C Jf(ESL3W4#hrh*Hb9YSپ6ΆbkR1s\;k L,ދio_/B%*q>yPc#(z8 Bq&yY 8nz;U =Ow=؞ؒUI^ >G|R>Z1[_^ǧ{ 4GMBM'J7;ЊhcTQTTK(b*ImYzzğ@X;6\;zy(>KGvKuvm$ ;zҙ>Y[V-ΏB0v k>^b,dw$VM=sH^g+iC %.߷lXV3G/֬IoC4XA5 Dgֻu]= a7c6RZ@ᐈ 27"i-#Arɝ>w 'ΒYX1|8_`$'Bd~X eZL>i&r P]Td}*L<[)b#i5&7w]ւK (3y(Zt蔐=-$an';st+O(x\韻#fۀj_aI>܏xdAd,YA 5VcLd| =7`)r}@һw*5Kqr Yl%л;#FM5_Q:ʡHizqTa,['["'])c7{l|o[M v`0&E\2*A y-)*LBO/ʁnކJC5fÎ& nvт(E&`mSqC3Vvww\?4g~fIjOJ+8$E߬05b޼٬8y3Ϟ?Yq?_5Qɋa*!1Kb7u&sˌh1lj9UʪՃɖ,?bFg̕-*tW 5vhyH߀EY(\>ފUc׮J+Ɗ8VF&<(EQkT$"4Π__ O. [#iwtGyti55=P"PDChUGI&ib8hb(MJ3Ŭh"9*i H[kz=<|F[|>eRe܇#"9<&"N;Mp,N23%!8?ŽLL&$g+ QqLjAѨƘU$cq@` |=> H<  P01Sn6OTXYMLF!a:ōio})/V24?`yd9F=YsY\] ۣt| ( sWj{v ^m=g@lHpJGrGu%hIDX#řW7vkD ~ *GyIoݦoF/8W,"~μ#it4{Ff$USj7tL. *FlP|irH0Ar@χK%UT2%W&kb kb)x* JiV>Mcx⫄fRhO6x>=QmKGDH7 lxĂQφvMgnjQ#,D4*{:Ett:6BA%1-+RҦTr#M`6QP5!BcEԸ$E'ySKq֬وu@$Wʚp1~^2wOmkdLPe]RQ*ӷhW!ŹKEQa%,$1MӣQ%[Pq;ˁM29oyܹP&s,L~@(뙞ĉ8$#fUJaGb'Drf?u-[f V$֓^2\ٌ̛"ճHg RkϞT@K_5< Q1Ee/Ѐ~5vyJf݉&5^B_es*j}֚-[≈6rHJMJ3TE}ƁK ^m\3_.}Wǐ {$k-oe7pxNA,¸Rva RK"Z}- ?^@EUި)R͂pыCu(,#xW~X8X`ZFϡETad㆒s4\vIISK\vqGZ~"ėSL(n ($otG ZʊoPu\I zT0 [~ך/Pq05f0(dv]ǫVS׶c CVŤm/)F< C}j'gN|Jk`wu%sS4ӪMQR#SpqkC`ׁ54ѱˋFLIUemjj"Hu'c E1sm2o|ID*3mŖSd9.4Vލk@6>LktOF)QfBc>$Ka|>.S`QԯU?.*cB6'd☴ ?5V0Qu "M }b=-"9&h⥥f1H}aXJ< O-pYC >"'٬ȿwQhZk:Kw7('R)e` Ϯm-K^!>u;K.x'Ee&43Fd-p]b <<|FRV2ta8r #+QŦ"/amAyH۲'GI, qЦλ3NǏ/5qɑ1Qwq$L{( CJ&noG;`/]I8̴:_t(7&}9v{GnORle̹T+7_Qin& +pid}V ܊Ҡ^Q0(hSH+tzyhDpN,&m:*[s8IQMGzbu @SG g1Ї(6KHg e!c[ГʾcbuAϩSQ :E-&em 8SEނ|:koRũH9μ:}Ri%5؂o]r"N?{qYEmȌ`a.w]+r5Y%p^pĺ=-h K3n6E],hDҙ"1fi~Rw :+ϨNh`:o  #&Ә"s:'rΣRzȠh/^7KD!=n-,\$f`PL5$vuXj9~ j-2SSv$NMf=PgjL& ޔAj8j,x\H: se7Up> o Q1k4dGm'x;kԛFMsYۅT*V}=5^L4_m;AoWo"`s@@~){N?] l *eE[rh?mj_Nɒqj5o ^uufrMj rۗ`2YR=~)49[iW~7{MHhsHvy9". Ѫԡ ͠:~ÚYya,C\R@Z2Z>Nk (ەC-- aͰ@|J;Bhv^&lݼtGw~ԟ4ϭ/*I_(}.b>5rP¡~vʢVY{ޯ[cMf!]LE3Ux>&_hE ؜3•2_CCZBG&bP!J9ENkEf&4dT6P | +ƀIP qj]u+ `.R<)JxtTHO\fDvۄɵM~-v ((E; Iy' BHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Teststheory/axioms(/c#$$ڥ+h PE`&¹c֤$IU="Ěg=m{ݬ4YL՗Q?KHxZ35yxPZz<<_6.5e@Hy 5fGD@]mFMP<_)D>oƜ̘.~c6<0Yq!iݯ+2H SQDBsڥ2*BH'??w7[qHɌou-w-i_=ٗTkmκ2+4ZꢖX3G59VcMcKe?5Y0hY,Uz{ۜ?VYհR +ֵ]"򟵿>V2%gI;)))H9 1j9xKfz?f.Kc_3^Pޙq"qҼפ4 ,H58ޙ2-߭fb)b@S%=~C#=IUW^H[~b]#5k>%OX5NwNrR B nɲ ivCnz"듻ze밅$X>rfk׷5X+vzBWQD\ ~eO(ռ685W-i zT165 ִ*Hɗ 57w%2Uxȧ|D͝/9(*U~FVd .Ts⯅bOsLq zY5_{`6XKE|,_\~0+f!&u#I:c즤C 8n\{N#USmdH 'vc5;*a!9"KKSI?raq)G*;IԀۛknz7'v 5>2 5 eJiCES-\Yo&8I/21UFp5T/04*WZ;G{ݴ*bWx/TT0-stJ=9U`Q0\/Տ""҂4+cߜ΃H {6\E/D;BC;15#7O3Lw;)7]m:*1*Ho?kyJZyn7O;q^~WK6q̢sD፠趄,ηu DE+&c6A? "^]_,clX)knS總*ߓ>'scNsWO8Lrw>^JQY6ҳ؊ڮ*ZdsT?Tք BǷ7S (!Tח_\,)?'S˵ 7|nxND z|Y2BcjMOJ&*{`{zK  HO;|.N V}`zvI%,ӋW9uHl2azN?ZG0U`7OF4]U~_}IHzPr㞗i$i{u.5oU&9M"L"`"\Ce3eODBҜ 56 . )&$LS1#:!Caw+p!8A/H$Ķ)kil qܬ2'F&X5`oJσƠ I4fjlWc:[E5񤝎D %K?~:D]AJ;=iK TR"3]SBUSԁZ<~ F{F~_ZRF~0LǀPkW/7r/ Ix4,~|ͧ~*~,ɛAz&&'[RBԉCnH;,pGBRMN 1R;Ǎ6z!_6qgM~-:7ʦ9Ƌ*4¬8K\3Re }SWol[ˈd߷]d$օ|_p*WK06fxlFz[2Lq|q!0*`'ҹwL`rSG\JNXEp O#=:\|PjfwhE&.V7%y.t#b˟ ]eBr7zN.`D-)Ҟ_/<Xx!PS: }A!)OdI ,!<"\ipKt3H]x>гF(\ih9Z5.8s1{-?)_}E/_4~ PT-wJ("พw9 2\_-:#zF`^T?h+N;s Ɵv":: ;(閻4Xg?b5[L{'j@kpz?4`i1KForAקa^㓓И:p^7:ZhX#ǚV5jD>r$2[5=Tz}cV9g!:JAmVf_Ye;JHF{*>S'Q}^$Vo` sGT@?h21r% cɝEW[#):tSs,4γ}]/F` G?͉Sz֬<0tio p mH*gh9ա[OG'[? h0T\u!K.;K& v#'`x󔳃)1m~vwa̿?FCu%Y:[&3gV;N k4te[F8(=He[of#/Ѭ:2+ \EgBK"4kcI%'2|_%qGP-毊]L$بsإR$)dfCO\J -:%n_fЫs_9%2.*wPFF}kƸ i2>X,|`~tGEx,Ǻ3ԈfF?A=FzZ0]jsu ?=?$t+O't??˟ݽw9P8:_MfaӪ,*O_;1`HDU\<]9󦟶W{[Mjawfma]h 7 ,',)}K?|Q )i%">\ߍHAՊM"Q@,E sJ|`o;fWhH!FOFt.R_鰩͑;#Klu0Ɯ(.ױSX$&\&"g0Raƻ>3M(K~q"`.3^dP2J+n!BZlvM!@a@ًSSaIKq^ZmTt@dFs#f M- 擵V87ײo2w3sm^UC9nYE(].23FogB(+V= RCxW<J{Ҿi[% >FpU>}0=xԻ&l_Y~̄E"[U5(as#pٌH%-1(H7`z/X6:d?w.5yP0>wVxV:>Ea}dqŽ I h3/ո+&:\!trz>r۟:kE!!CG':/Uq<}6Lucڙ÷e;$c Q[m(R(N(o{f`K Cx=}8MyY4C"~/EWDZ(uO^^鿹ZRsU vLVu/,6A$1`4O蔌ʆ7$&Ls(KVr~nr|;$`+a4(:GΗ'cY`A` 6뀱)\z;~5Gα!^pfRʕ)bT5؀ig?ރ԰$^}QV]/-ɍ[rxs%<-օ}>07=Ð[*M7|KG>e a^7{w@gT~\x}i]@daQh(5tu60ȍwXV~^e2.Os*<($/@-~.AKHI24OEn#!ےu*P?1 2FIB >F_~lZ|$ qZlpaG3;? w:X! B/JYeYeYeYa"YBv23KnMq4, 8 CpL8@<Œ` Gqȫ;>Qi^FtiY&** Y C]"zKUfYUf}6Yr[-64xvf;sbLSY&>_ى/W\vnيV+ȂqI2l'9Ns)dr))i3q&N;qfbcbte"ۘ81ژNeze^^6/o0KG|]t2]יEt^{Yz-ņy eyy4NT87 7  fY @8A<(~]Ga~δmxx<},2}}{mm۶W [zxR?,Z0G)ēGnv볞:ݫ2^S˲4 Yhh?=珧tz*HĻ 跢#g"ށ;ݭ*z*]y$Q9<_'W?333 S\wD#3hw[B2 0L F&> b\<8dA@ á@ pHH _9uf<ĸvSE{ SRDHZuKoP  z{UHc\*l^rrZ9]9@YŞ-'*#4EJ*P㵿͕r! D>E=r 2I%g߆ï€1u~l<~EGȸ,E*: uW`92ȅ?C'E?-:vsGjhwB tdfzFvDz]~JM"NATlCrgF9* ?fM"ԍ=W5GE&ͼq[8k^<@X`@Xd9zĞd Zc@ pͮ_cY ^b\d} _Qw =`ak#`Rӿa c Q `ۧK5x ^fZDL~ۑ j[5/ ){²?^٦!2{VfY]}FܐŞ54Ժy`|џ9"RAQxу땏l^3 kF s}5U3H%;ٳR\YZ?V/+3f5 [1 "-r-Ib {<;_H*v\v=cL͵v q4m8)1K(QZ^NZ#9o_1^Cz 3#Q {F&_d!d3ZgT V9p ^sxfwQ=7W;x[K^@A@H)`<TLe0]4iȰ.Oh_[c?] +QDɇr3]`"/+V|4^^a'-wa#590$FE]hQ!  _]jkAceozD˻#=gAFz}f7p1\1*6hY4_*>wb(5Psazi@K]! oho1=S;䂷aBFZǃ@T3(k% 5U7Gp4eIژ?:ib|up5U$A;]> (>mRt%8OT1M\MU!oQtx=?.R;=@[^4aPZ*s oEƦ˞}5&#%POc{꬧#/%Ӗ9<&\w G&+Ry'Z\\\`zbo&I &L3>2pԡo JeP/ɏST?dl@B#tCIU}sϤΩ`L2x%^#lv$c -5P8G1ڱr~6AY:DŃF (<((,c nMvp-85 WZ<8>4[(xqč莤T|3 MHͧUERcOܾLV>vaMqO.0WKp=RHD(('t9l0'ǃ+b?՝KX]؅:C1 o)Qku\]M<;X௢4C4Ud{ڥkUm]s|5Y'Oi' $`-nP}zSb3}/ϷNO9@/Y 8ّMB"%%H2|WcI Ed4@5Sb_a T~bA (Y]ƽ?KYeGMG-F&8!ٜ@l jm_q](9-`C&vזD"׳]dT\??ge؝ =|rz⵸DX=yA9P-J83 oCK# GDo0T!"{ DD5]E#I2醯ِ5]_T'<9#ŷDx=76;yO '=F[XF7PH ؃'<fȓj$Оu؃No੔= p*w*ͯ 58CcϾ lh _zb4{45c|jDVlk8[Oy.o7@.ɔ ϔchl^"L2s0! Z|ŀb$e}L:v~7gobn&N$W}YHKY†~砗2B6Q$`Na [KF=}oq4뙒'wFWrH,]4! -s^L#ҭ@/VTMuJJED. GϒIF !ykbӰTa-+ܞb.^W}rP-&@*O!sN8ͳeC ,TLɂ4.C|m: _er}39tEtR~ d$G R㔵Kvk5BnaH||p}B° 9](տEMtfkM-ޠ\K4r69燒4&t(19 k";NW V4@o1Ǎ=k#eՁ%UAIeid9g9ՍSqs# N ۠zЅ4)WYM& ͧ[ڵşX?]aEorl`OIDl۟>KM*ݟС0ŹjCOMF}/eML9!Z&̖K&O4?S#u K!j&ppr?\Tڕ*'!.L~?jʗ5.jU)> e7t-4}AGeS[cKFEAoBkZD^4~s>LgtQ}x@;> ̰.zNyj ) 4F|,\C{i4֞ s I,d9ZehNXCeq Ѱ9E$n庳٤I:D(f ܁P Ԫ,<329H1x :<;Mzxf35<$0ZZb9rpzl % CCq5ʖ{3QPW#JQ׿;*E%Tz"si.@7 @1pRN^>4Tk{MrTz`w_iNղ Qma %TJq#yKˎ t4/QͰ1ox䵂I|1)YHDRp2(j+uXY.RÀix*0Xy=A1EL7W~T^VQNjI}nq^Ewcm 9tzV\ihKHEᙡӥAFՃ(I`w~_5-rBa;ހҫB;Ck1U/y;%~Fl6&W}) Mw v} hTׇ}L~ߧ&zd8(G䨵 2KЇ8pZT!b{.q{iR0I\OeD(tʉC~L&s ,0ϱQV_afeì#F8&o=S/$?~Ю9#@auRh&!`g*m\9=*6"c%9VF e,o$G1\&ety,G7z @~B!}ZߢTm5HqNTE)}:S\-00X+ԷHV:-jyiWڢ GG|M=t~Q'6߂G谰|[yTC]qpe 26HK Y4-юJ9]՞儒2maeto;5d_Y{ԻmQ33.w+Br_h-iMG%;ڳP=B!v?ȫ&' (KI(L",\2ؖ#('j^Z!mzx˂?o'.Oo>݋2s怨F'U$ͩqp6R6ЊRv{ee 3xGBGk!'Jh(61ntR+2+| Nٺg1rFbhش/rvyg cGO 8}F!̄?Q ޼LJ}+ y]@ ǒf"f8ɠv:~[ՅeIXHǠN3&5$/?Ipr_gdgsp@`gxfHX.8~c&޷JB흪%dn!T'H{ A-]t"A5=]-eJ-/835r|Zg9mIZ"hȚ> mY}yߎ?c$v2;쟞Q X^S oѧ7;yOqo߮>q@; =–F(č,cGv:p2gӔۇ[:Ж"X1~Yu7KKᑐFR"xt`>QP/J?LNL*Dw MaQ^^JiDQe|v4A¼5!C$2՛IMm*Ȕ/iAYe{0B*nhS)@$5Bк){1ݯS_=  D"[fTzDAp~/64*L`а=iOItI=o6i\4M91S=S:+Z!U"Wrw6گ{mO"y+ZoS-Y̵_ Ҹ\@Ɉ,ʎhQMovfH1[S5i^c`la4݁=+m]X+.%:+r EoB+QL<ЕH3XjҬ׶݊[Hh Z;s^)֛ekī#>M^b1_T ٘bpk*W#::22Ps*:PM$]|&:&${y+i=P? \)!ItӨ~buvԈHn5Gғ&!UhC`5‰(4"NP㥯dZl<''ZZ]#i7K9}y> *k " &_RIH(ORM6QB p44%Y$G$XDDOKҟdOy`\W{-+!*JCUQmjS{&S|:;ڶmK%RXeG $ܞCIIJRñ~~۶m۶mq,?ڵbq___008L0|PpyJBA5EÛ3M?-Us5g:(D8FāO;{K%CDsfCGzcnUTLngr3S̗/u'dh 0T dE Px`q2`@( 00(ƃ!+L9B5Q`)s!9)H A9o}Q [_G1Gz(ܜ??S5[-dדRvv4XL[S%XD,H>X敕&3ht~~f7͞Aq?x!.zyGƣ@WHP#2ҸT_2AK_4" MS b3 WvZL&JK IB(,S8ZŵahIĩ L3\u _U$!‣PFp5ǡg0^M)直A-_!dž/(F{g4{ *z*cZY弦+a,)gu HGo;ELpxσ}qc] FEvO jg%0v]vu'Cq/ +dQq믳CW-מsA̙W!ol[?o5q`kyV͗H#ޑL<U!ٶc /ٞk+۟)HO+BƑCޙ^8[g~v귰8죖|Ӳ\ssNmݼWv.TԊ4ĝgm'7?fE :qۏXjdÂWT00$+"vKP2#1VEbL6/^<v/X^ﴬ{s?~771rPM 9 R Wq5j461<ø>zZc,^3Y30eI/_hI 壡"*y_j gv.MfӶ0Nړ^=K[3IWJI2i~d1=G`$} vm!W S;eYȺ_YR1tˤФfvQp6c6q1!JFl®M &CP=9dC٣ ^Cxt+%$ڷ&H$B4 "oBr =VlQH"CnIc u) c=Yy]":;3(DGD`vFQjdAÄɕPp\.SF>Y46t)[(?l6 ?!-S=<{b!92R{Ya6` qH&*bK[_c.Fh4{pUk/)V;pU]32-9QHE'4d2Fb%賤s:$AtWm27 k'PVgNs`s$dP؀zʚw '%@J~Z]oܰ wJ8Qx@4k@}lI9:-}Xyb$ˢW\"v[HΕVr^te뚨F.*/s`1 ?lr?z#Er= gAE[Jܹo&n<SOlm̟]%=G*^->)fʁج)xyhhhq_vWgpm n)yo^=HN;&XBK ZkUڔ Lu[k(ɽFս6NΪ&]pW\f/CY=d-}f{I@Y̯{L~^QA$85_0+k I?pīp1n/Ybxso0ep2`1`_WڎYLA7Ӽ20yqPˀӆ~3HD\XxGu*LXV3:=+a &VҳUOc>ۚJqS.&?ܷ`Z?<@rC`Ӽa{4!2r.Q#O1T̵: =yĖaK!?=칷[⓷*bW% >2㍣'z൬W신8 ;P5z9(ա=$%!3 37kdb3> ~3Wy\whfɦa 6o(P\O:ޱ7L.%};4 ^-`)OA!̸ œPū -Zګ'7=%4-j{S ~6D6skdaD: \="4?PG]E`5Pa,Cb`J=ԏm؍9VHxYCT>VcI0peb[˟\UWJī8 _"ds\b)}$q)gM!<*ܙME;*m-0Gk0ǘ _>ըsz"oDAB{1S!PGa lѦo!-9k-|msC"hiC <Usp $x dWH'S}6WpPjӲY=C.w|lb2- -wCvLz~fOXjRK./-M0b' OgkS:!?/#@5|XLfNR_*1Hrܼ?dͲ@B-7~(;4> ^F<°0!E#J'&9ҜFZ++g~pjh-Wj:UAH2"V"UE.d:XY1;@j`?ƅ$s,wnV1dL|6#6L2K̼] ۾#%J,u(loM+|7n;/sJUvQfrbR[yC@y *5V? ;by M ć&ݘ[/>6ޏZN?jxKg@fu`wL!26{|ǵ}2c4B.m!`q7Q&ȿ"y"x11(hJ4ꍠ۩w A%n.]?BG *8lv9}q%2vc[^l+jՉ8G5>gI*#Ed_aڑL-,L$ tgȐz.om +1V [N)+\Zq_'^f E\^A!';!YC^:SzNYΙ5r>KDY=MS`.!zׯO){ JdbxI*)6*ڪɳE:F bUi3.;M j Gbto$Y^Ն|} 0Es ?),I~brx p^<"O"JQ uĠUTd3`o:?.L35ˌ`'`SYY/mƒ)@$Fyuuq6)4EL~y6}4g_JZNeq]k~Mr|-sFw&wqLſs__S~c'HiSg$ff4f$b(ÀLǘM :e^qmJ)y`6_}fMFv?~HN1\L']]n>_:7-9I]xv rG3rgW7/0 ج Q}VX Z[VGդL,Bڎ`Wo EH*鄑#Py/(v-s; ^ֆ.,%fUmcx1"CgjF{@zY̅'r pDGr\DaP3XAyXe+mKWq#8,Nm{8) ~!l]B2>?Bh)@*#M%)8R^Rr۳ Rc[G@|W6 w~z /J^(Fb!px0uMj%| : P$Ur_'ZYb$^"6R)swb!fNPけ-o1sj>KO /P FOh)L& ;W&.r6װFz~-?Ez$ ܜ}+'&+MpSQ$\04l&K!:ITHbdFuO4~Y6Ch9+9tb^'GĆ?q`VvAe8 F;`C G(Ad;cҘ 6 O.% Z7лd:hȱ@ՈT󪿦jI+#5C >D QVуykQ>T|oT׮ ?kV\fD_]ThQK8$5Gm U.l("4 `<|/hUĕ-M F,Lfa0'y;h>}n vBǯhfF2&jקK 짿dOl2^B*J: **E6,æ3 #X!Y8eSd<<ű9ȏu ń$.r J<_m9)2Cᗯ7U8(9.jBLl2n򳛌<{F M=.$MGr LB3N耆jVJD*r,\yQ'VgeUaN52=bP+ΎL]}Rh]MӇͷyyWD]r&WƳB30 [΋mo!Z?a?Tp}MnIT%\M3],kS<#m֌D_-V(6(,jpj&,\= CCS`=:d5*pb^)|Qn]tE4xv#PL U 2^.O]ڼ :]W ܣY)aus9OF8pRr>S&/dPRjw HoQ})"O fWGƉ r'/}{d"侠@CÉ"z4~s)5H,F֭x/}㴕ʑ=w Q`j̉r)E3jxJ[ k{.Ɯb>PL};~lf!YKYwHSRfmK)ڗUG<S ʓ^2+h{n|1X޲ OXrvFamptu"ׇTP#/lQڳ^L7CM9|=of4҂CXJ=4'XiV)S3, |g=d /jK:5g/#@ P ]vKPq+2S~ǭg[noғK kK}X~Ғ#C˼0EruQT>lW8&ٵ]f2xH h3EɸK C^M)JͶܕٖzLJK2sDV^-yd<Ю+-e;9d U ]|ҟGBPJ<&]` S'kWs#9FI/~uUb7sdOO`(m!7Ӡͬ3hQ _%] 3~kxZ߃ʸi3sP cfjf#qFq\#? W ;CƇkN3]m|" pO[}]∥ŽVցɯg`4c.# FN^%Dd2~"-UOE#ZWW.sO FNLlv&6VO;7" (e ͣL|6o}Π$Vryoj7/18Pp r<`y>$.$ZqJ4#[J C͎{6n:.  I?~[?#JL@K7O%hM /=i]&DuQ]_LEXI郻,w{"KC9g.{S({iQ ԋJ0ICpx=< ?Tנ^MI"xȔeUK+=Ȉ| J1:"Rt%P5R [Bq/\+HF:2zE 9?%8 ! ]J,f a~(ĐEpצwޫcUN?Lf `M9/M6jВ-q]4#w|q|g-8YlL,X-YlK,4!cƌXxoяe__Q|wY"b4.Y p0ЀB1Q3xp` A@7a@S̋;Ō8-.qL3Ō*bUD3<)[``(pP   ,P҈)iPР޶74m޶o~۪^U.h]_} Յ?$T4 u3ҰX ɟO{"{۶^*}櫆hhw,_1kfmՌRE$m /=i=9L8N`R^ڏ~S}].)onO"qˤ4'B86Y -ɳx9ÿU#-8`Dh53^h=gtE+JH~֪}Zĕ|L.Xµ} ʿJ5 B$a: e8@i69RW׎CR'=rJsJ eZؐdLc_n@#{w'N0cy@zFbp@Uz.j,u:~&M4 h".r҄ S)q3ʭ@ &ʤG޴dϮGi2 0)m7^ (Mw}KkD3f-%Udr? sox%7$ G=1Xaq.p'2!]@U Ħ@l5Lr?9I[Sxvec%U&\&^bYlK Bjq |e}RTz {^F m=w7tҚ{X&X$}%A+Ϩۂ``Hh_WN? Óf.FX}yiORAjom1v޹bS/eO[y d҇rzq2'] @O5u)==}ǟ{;]~/{ $eطN>;x7Xw,tZjd窩 ՅfDց; RD$ʐ?=Ga Aso@6@|,Zg ]'Z4=?ڏ{cZx)>6D&;+p`y=Sr_>ϼ@0/m}ߣ`p"?H v}tm}GyUW*hO> \$9`ѯ,; }4t`yBÅ>-_@%;̓}urbm,/lYWK,t'=Ś}*z+3@4&n-wp+C%:d줔_I~W2/ίxZ~9 M9|Xь^I8yO6icԡp"e[SLo|mvN}$x>ʼnl`9)g'u+FƉtI'r DvfE a.%Kq,{[wǘјǾ |gPA]W'+pհQbсG/Qnw ^a/ 0]b.+16 $`K5EՏ<+ LC?ZY}P]8:ȣ QVj a#==VW8H 6aA|I`]R?2(;>YH`owL JgutK$g]JM7u[6bRhQ_CyC/F"/,C~R΅wזv8%A虺mG톱=_Eг[QB)צN1TTxAGrgS:=0cKv (??ONrZ3UZ~OބH}F7.G[IO3kO$9K9#νV@Ϫzc!Jx-eFb@C%N桼..Vs8O<}`T(217X;SQKJ$F6H[G}]%j7v(+)wOiM?g=Wr$s3;ɲ85Z >YE>>q: 8jy7zBy a6+fpMX+at'bX߯çCc:bOĭigSc A1r lPѠl¦h=g4 i"OA丩 jNeʏ5Sl\yz~fS4LЍcm3{lBܴۙf?Lԁ@ =V۵^f+TĦ@+ŏ%󄑞M=,'Mq6f!QRq i.^$ŽP𓫾5h RNjLwR KTܹMN4-r@T)BNDrXVfÀTၤeU(=˥tV`h]RK4"xqL  u;7D0ģ5MD*s(6x֤[ދT7npQ8 L_ ^Dhr#Q  eŚۨ$a!LwjW HBh8f0Eq@wJsH0B_Ls@/ms*yZۡ P(S^Oұibm]bE,}L 3joI9ukၪi8VYlC1lkLmD{LL=ׯQC/ boIjy.@-iQ5oy=g0{$Fn_=7x{40"$ %{!Rys,8tj Um%r~ سsqlC US98G&7'vM>-gv?2Z5Qe>cp{9pwJK U S2_dGUHHQiI@peEc`CQ vuS.ԄsqK &ՠ"*VKC#Oɓ7 (3N M77m=0=UNFn S{;|ėQ;\;JhE֥l~4Rxպ؏ޅ[X^#fɩ77*Fխ-ߵ&vkTHG2,)f_ՂG[n5I)/̶aMЋqJ[[U4Btv(?dM/0=!@Cq Bz ^1$wt5~M˫~Pn6rf6Y FJ6ᷛ_nrCFgJVtǪˠØ| o-_Ʋ*<ݔ~ϔmB3=w[I9!*f&4j5ai=L!ib 2+Dn3H/`]Q1EWfiuҞTf ",g\Sxp1 3\iXszVpW_S0`fzx!GaoP_&FnۺYqTbϊF\2t%>S/˖OGoiFq֯*sSV+賢@V1/^E0IZ=`*-E;BrJ/ >^Ks@z{fz+7";RVi/{9C$B$~iE4XrY~׾ac(ʤiLB` u8/fnB.*q7O;B:8IQ'!""WdwWwEhS56tM|9_8K.<{3w3?MbȊ̪s)ԎdY϶fk ᰞWFZMކd DTNM>,P+ϐW_A0i‡` Y6݉ܖe1g.!ݫgm7`Ms~f2*8p’A{K繙k~W[v1`~1.3W垅Sps9w̋Rci$ޫ)!PvXd1F ?cm4fbph&/ &'A[[4I#)m-fX m(T d d)KqoRPhp~s'(EyǺZ8M F;/Xu,nRL Qv:|48ֵ7,hK-nkGyGm-lRHÅxwK*E]'%6|BGz_ r2,C{|>e6lӶt?Z`)MƦs! o߭ܧd0v(‘:;768 4B;PuW"lΫ1`#,"u,llnMي~,Oyo)[$x痳:oGK06S0ytWr$+(j V?![ R!{U}Ub (IYs#l' *w7Zyohi'?3ǽSJCrl&Q34g%CnخX/tjM6=e5|셣I37 x9|$M^& !MʜsNvE2 k#|'uR:cJ"ArLi'krєHqZSI(*t3瞶:w%%}d|\3+z%A9ݶo⧄8-D  0 edN{_Pҵ6~Gky現*nj)KiE֥FqW0ƈ^ =7O(OP|.猂]X+.5ȺI.Wͻ>B1L+ )]0Mup7v'i~(`oWO/}F ^_ϴ|j簘1ʢ6NG:u (_jA27':aDدܹ-84 @/-T0Xy"vV4A9]- ּ(K]I<{xUwH0<-.9F=lt;-)v/E(XAЭ4x,VAE/C6{~x4xV4id%1L1k8 ֆ$}6f3qLvd*:+LOH땯_#ҫCJ~#rXW헠TT/k ;A6)/|cӴʒD00-iXZ T$nEa_%GՌ44!ZTB frg:JCmG[6i:ʋwzbSFw {/B{fQ\+g:SsDHmNiET*,Lr ׭N6>yrSrs-b&~'lBX0~BX@Ermo4쩠{w{ 2pcu 1OkD$Z Pkt@` $&[Y̾IJUU+!<ϛQMi2drrr'9L>3338$ɽ96yo7U%z۶q$`aX]Df7ָhnC,PmUd56L8 k۶vU c@HH- TjgܪZ!c2am$kh+B6&*6%LFFCr|S79Yޔ9Gc%$eB$9j46pȑA$eA),( U$4B!ZVsu[u&ZM: A&D)p.6pcy۪:M]UwmKuȤ6͓ٶmB"/,D<$o/-_j_P)..?9U-^f1E%hf ׀ "SH[e[,Cb!@Bb97(Pe,K)q-4JYZ"_LzKJe'IXP$?Z1c$M( 9yfe̮CT4PO z\^b4|_-L,t98lRs2@)yR#@5քf 6+n0C 5(ZC<ͮ;)VE(yR&5:0&,jxޫ~$` 6꬞֤F{ñY5'=Uc :sEX"P--cZRW * & _9G聜4as7`«GGACv >.Z%Hvo1mA5Խݟ#?>s\8'0:E*,}OLM?#*!jYte+T[u/zp^^㸮J!"(}~*X2QrT3MA9ro 'ۛbcC%UuI>h˻.0+„!@E QR BKI<)ߑF/ם"Fi_}(u5˸ h.cdR3bn A籆uEX>.CVZ1"( ;د͓;̨{RA1cͧ׏.0_]h'6*|!?& R=u&35Kv_#l#'a!Yg5E0ХWI_>Zb& cJ)woO]+ֻ$1@jgXRaC**Έ"zkiń)M1=gF00:<|*l$oTë@SFM@gof戣%tUہ|fYʁ1ψYc'XϷrX=\ p\1V7^e l$Oiih@&J5Q{u <vW1.ƪII*-vFdDŽ-+aA d !ʎpi[!Z$T[N/p1IV@f T/ 5515cBB%'CW Sd,/yꔋTNfGU/ C/JB ̥I$Ű?%7),5p3|9CR*p.ˏə-Ŧ~&P'H~`ϜJx—4>FiD4GŦ^)*D R%'o|]tGlB*i|v.4`^:)QH 72IsQ+ܰZf86Q'@O!m?/6׷ߨ(;ĐaxQXVD#憒DP>t1ɬ!+ =DMccxڈkI)S94_/!|G{ А x54Okt  * ;a809;e3~$dz^Aj~l:;#JXd QK#H L?XXP]1Ãu:|d|0Ƒg&GwpCn|c)~͖SXx3PR{PK{9| 4tAWmm^Q N|A7~L%3vUxdgU7;2 K/Wf=a&nnEu`;š =}v/EX;Q-*r~UN^nX``eDQi#KX&[FBPY93Xv;~zXBbtƶX'6ܟfXMEf2q~$hqkdP?ҳQ{ݵ\Ly׌xDy(,:QM5FS1y>|5p$E|0ܒH`d</qaxvxYg l! (|FU 5qhNG$ 80N7jY.u} ,' @('M ԅ%SL˘+CΚmW#?gzkܓ<(|\GR8UaT%1 wͣ4aL|PL~-(m8]Z)5σ:v9}`*x?,$* Ֆ\׋h4"r'Ӓ9(zT~ FT ͠؈P:pPa Y a_(;Np ZEDlsNE~IH,p37:-&%=;u 7rG^4I"x-} }` xXW6c\%O⑻y?f*Uh4qDFC j^<j,V[X5&xQ@Cq@'"h Ry~ES?}wh̪ANgoJsJ&zЈ mmaPhcy$hgAh |6[~kL=V=AOQ*JqGJ}h<,9d \qwj*Z (RJ1Z[) ~2'֍N4j_$؞t)Nc|#ϔ|~͏STȐYn&P݋EQ'F r܎y`>Ldgߒ,]fkF4,h e-j@~; ^T $GTKa/|10S3~1aB^ vi~_r *eșw"ć7<9S a7 ^AAoC81p;9kҬpA() oftXC^mN1z:A7lq@,a/_d6nj APNK0eᒚ7ѝƐ0>Ж9.:2<_0ϺdZջ7 rDF&7Ea PC(z1 >?@u 58=0l&;9ۖ_Mb "83FKQ%&TrbPm8ri"AajBI͹o |[hl sqfh0VG<3>$H3or$Au$(DENy!pT꼡^PrmEWP.k/FEf 1cm" sT{blƲ?e9 K<$Tdx[#{@yg;myK}N&F%m5=t7L_9 .P#nOf~\!?S;f8 엁׉I|k=uȓ=SƎYYS*e!4ݪ^^lY![Vܣ֧?ou[ ˁ#,/ .?KܪEtbڝ871~#Th(?Oѻ۳!7[֐݃H5EJ?-$@@J]?(([(VP-8є"5Es?V݈m?9qMUf,p;O=y7p)8_7I#"߃-. qOy`x0^Ce,jS~c⫈4~lQ%S,vDٽWK˶9"2.cр_{e7|^XR+JLƲx(ږZԁ6_BÔhzM/4']8m>O}^]K'W>(u>/n.GkϹ57Z>Tvl8mX"(emB.УVCW48hq<:PRV@3 Bvzg~ p4a yH`4|fu*>Z*UWU T48~8ivN-]occ^* $Ȥ <~>!!D5U6.d7EmT"孇x u=^بLes4wY|L;|p4(!ET*(N0/4 g 7_ QC)r_gӎXSOf;Nsz Qna+chКy.qfOK矡Z6KJ$5zSSkE%aNΑQKt0T?ů UaD+'hR q姪;IsO<9>wm zrX''qkΆۤzy+8h|Lf0K0Lu]Q%ikppu-Y4X\BQ81xF*p.YxgP񶗕uLiTGHk"H*sB1ȷ]Xh=ڦg m]EullCdڌec]QY6BG2+&:7ӊ%9F'(]եyhϑ)ӱO :.S6VI<O?<%³X᥵) W}K6) ըc^t`uh,LSjeZ+8xàPrD Q85Ⲏ6A刣wU БX< pc4D8Kʞ4Gng O̽r8 Kguga0I4YWE4I'pR?a¼狛!bCM.3=DݥESmi U.lfHFct;Rx3Ul5um0=ǿ DaHiJWXj֥*uۺiBBf>#AODq7$S4 E 3N p7I:(5L&e{Kr* dkD3qǑF"q<8"ƑFhqd8$IX$)$ VuPHH  $EH),yA Iɪ֬VcHFDDjj$"1 TUUIHHHJUUm۶mmK4IBдveٯ}hD{':TU.?.fBX"NR&NYO!Tp~2r? . {g&""gf3BTmU{iƌ$~yn= PiDImPI* @[$*ePksa@2٦8 H}l\ gVDfpY DcR/tyy= `WfZ~x3(j#\/f>L溭/תuFG~fj Ԓ\(!Z6۠o?0x^ Y'\Z `qc;rHi|Utg4*C0{ <'M̀!I V2Ćac2e `l ]dÚz5Lg[BK8SB:O_PInOgqAgu YD 1i#F!tASJz |jT)y,I9"pk j.7PQa%s>R2?`7 ^ P?דn ~_j}xB\l)gRE TCLp'%q{j :_ȃbhRնß!r'BT?>VL8ڱiP=M fmqT+pr?pd&fP5@Ł2ytUO[:%`xl ks !af-і*.3Y xҧCp`-4> UWlVd_Skcfd7CTHu3%lx??ş\ǜC. 'xP:ڜNwuF *][/>Ћ*V}VQQ ))H y:?`-{h9 2%SA?ƭxF7 (_$e5sɏ {b缣]ӧ+l|Z7*iaT̊ DΓI. jȺTޭǥ$S;uL Vm~v2@%ϩ1>*FE!9sh(=aIuеi)cm|S7:ڳym$V?~tb`0E­ KX=؜dB+i#^?!qĊ%ʃ^ cJJʂPT®^.I#A{TE!Ykpj8XY҅vle/y'12[c8eXTظRzO KOKe|P|4r"]ݞ>UkxAkU,${H2u`3: = ?*u P2XgΑNh+5ۧQj9 v48p{-H@G6VvA0*M8޷Dt7K:{ZO0t_.Pǒ q؅Uϫ"x:5Z]zpQJ' +uu(L6ZlR,p~,I7h?/hh!$woyJ~8VkT3`A˄bS;6 $k:O5abf R?Dl=>n"B-ۣ4ʗМbU&L;Ś}>G礙PƮMA$Hm߷|}yTW&>ό<fli;5FD zMA[@;{<2{d<7PeIǠdC 4=cn5Œ15,A_$"p*3$5KvA^cǿF-m/\^(Ԇϓbm6/.K,>.ᝄaw=bq!', v^G*ZQA_6A!!OpqzM7@) 3 1yLޛ7'RH3>u~sP%GC`e:)&C`53['niZzcd`-csK_p65 b" X>uEAVeԹ].FpC,!Kӵ+ԶRK8CZQkcRxڪ܉Ad]OE9M#?sb;rDJѤ ;է5)82 4t>wڤւs{缯E))IЦcCEJ6Y k`wmD,-7'/NKEnrcC !q$*5Ô墹%?$+?ox )t?|S ? 5*(gNI7!d)}G_.t nJrh۸d/I.ENkQĶ^{]DdĂ]oWbU}L iEp?ҬCU/|rjGO8H>ۖ>܁naܸO7WUE8bx;Gq#5&9՛W(Lf㉎(@!pL=fS 6:UB xwז= |ߤEܜ=FJz(HWz܅,9儨נh3XPECEtJ0͵bѬ{2QWC]Tmw $HXLObβ c*(Bﶲ<%_ ЅD"{&(W/RkKR a9ՈRѯBOȕ| Ep0}0a2 $ c'I /2W9\`KDT47lOoMٱ/>?b.n"L0:Q\N΃_ hׁzs5,.ByWJkADb-O yͼ\3M=cZf[R-!Gs~ŁMʂ7z{B|+o 8ȉÒoO L+ZH w䆠xby$3됰{vrs0x#U4/_s=J74Qqk]BUa VI.Wg/pL{Z7^y񦾵K072_*sMM>)-@Fk=m\'d^|TMI:'#qWw(N`%nn̄-HaTN(4ߐÌ"V/t87?TGDc5;4. %h^L 1Z\i)jE;K|' TlL{B 3{i/Q'ꫢAa H}NS7'i.QԔΓM%32e+\0+c47N f{HĔS&\!k'+XVN fmIu?/jfe(ϩ,QKvRv%H (/v*!_BO Wƛ޾ KKx(.'(j|mAbn_n$AJs-.EV!"'qbwA2 ˴^ /Se'u ƟMh iJ Or!JuAy_ɤpkL"A2nGX@=S ֜l~P\[~_`i3?!;H85 t yNUSb~q3)#}ẗߋPri\6_. SuAwB@5' r;j?T[WPW?,x@O!.ʟ*ƀfO?T2 ޫ6jt fD/6Tr3j|tۋc6Wh# A1ju21P~Вn\b1HbF?D O\ 5PíT_ kQӷbc!2LE}}y RԗY/Vi ^Ow~EލQsF[C,û<5g :X@,_96*Q L2GT$`,̂^C-0~zppjxm*}٨s [,qd4 2;->`_nQzg?ĥgc!޾"h rl4fN%F; 7ASV01l QC˨l!o%rHΓ}^"H S]mYI~>T+%EN_oE18|ʔ%F& ||XOȷ"&8a,T` dnȔ2p2N y_wExKS{l4vOe = nB aBb5 P ?0ǟ4 bf>/ʑ'L{Z ;5EDWc_ҜY7`7I3PMϙi]c@d%,Kpty]O!Ϥ4{/Зz8Ӎ^i [oN7U:#Z)x[>$P}bNc+2wQCiUzt'l18SE 5]˫C5\~o SY5$Vc>86'Q/Oa3e-oqD/DXRdUĤI87khtrb~>gPs~)s`cפA[SzֺP \0+,`V  6)D|AC[K,l(IӜ/Ux> (_i? b dKG'BQ!Ţ+t8u*X`ϖ Say0@ޯ@085S13 RtRxUe#H"GէoHNJs3J;fk,o)dX )X(yKoxd{˳i?Dlw*b'S@S>d63k ld _cI]UT `k 9nYa-1(eM  tgZG/b_>i_.e|>p0P8w7o?d !l{ep<(UXpP`pkcVb1 9 Km]mmv뺮-~{no->Db>SBEh-Zk"MG#(VdU""~ۭXl۶l{۷mOE~о}߭S݁@}_C_ƷrA$=bmb"Ѣ#F2mۊ#̔GE(RH"g3 gHHũXbWXQ+Ȋ.+Vh]3hhQ!~x*hqDQߞ(x( AQ(ȉB bbcqgq83aVdFvH? 68Gcnʂmmm[mXcGX``p[+8~8ʸs33Lifϴ"BPm1$ $4$ ``@Q,  x!^MAt;$ < '9Y&. 0P\`@ ` Hq@v~px" 3ŶvS4'N{MR K85pK:ք9`G3@fs ѣ* ]Acj'mBC8tie'3E۝ D|F?L b^*EPt6􂺞F`P(rPujCBL9Zt5(JOji])gٵ~R5ok@:&Z(0Ö {:耲:2O`wؕ0LVLSOAL+jZQж\M`nީVcSL({vf x8^4TH0OQM,NƊ8:uB벯.OF#%ПFMNb9w7[t 9&Y:΅'qJ(s4dDv%|ǔ]GG=kjSSB4}k;oZC;3qSwC<ƒԒ=(~0P5G]S۲`ЛjHtO2-|I Op? -XqpF$6b Q_$:\TPH} *9go U@XK,oͷq{Ŀt,{LC6cJ1{QD˱WScgA.C(p.6:"/;&'m]fÐ_ J1un2y3WKftYM xi|ʾKiQz$D?<@KSJ C0D?cRY|U**M?X}:׾&x6{c_@{op7N1f?{원Bo:ؔX 7+YkT#DmpΜKA|~UzτaF`n,Ifl|ų$`5шC;#&3)EtDHv8oUĐA2O̓U2Cm[ !Qæ#L۴v ֗̕5^xY+e0A7/7KCe4G%_kXpyP `M6nK5B͝c'p FPn6Zzɢ+\ƪ?rm|<*((gcE?Y{b́bܽ[& J#}_(bGkk>"n=0'x_nSNoraOY* ?ME?j? WrnBτeIJt}ՉoPïgtd[p^B5\ :QH~T,sĭRp^ڊ7bL+fߊjn8+YK[< )V G0+] ۩>$@TuFB@~zlz“<BE((KL r>=V@#/~>'SOn`/@FqS6 i'\] q^aS1$mЅ_ pĿA/=; qdgus<3}c `L"^ SGBQLX YlW=CUqp5nd?u]q>Iν9?\+a})ؚTSy*2} gCC6PWM; Esהu,<_U_wTVȌ}tfCz !_yiZ}$tfD}=ox?(;H.W⦿q1{.O<ɷKZ+ɬrKhߤƇ͍N>N|H| I!گ/Vq mK܍0M0.@  Kҫ_L.gkʱ&HUR' JKj0go(ɫo QKZGԥ. YbH䓦P_j Q {e"(&K3S s^jnGQS H~c5Ԏ@GrW@8Z1>uqo>U 0lK<2RKn..x<ĵ;u}Z)%!`XNA8 qs5btdRmv2GRUL&}ȍ-qY9OSTĖO4ΊwvкS2R Xc3dH2 k 3#(PoԥKxWlm3K} n6H@ iyҸ4_/tEN|DS!LϘqKF8Ns==Bt37(: >"F̭=kg-iKTJmh_,6ۼ\bZ\h0J?j},j& 3P! qbgGI“D&X. ԀLB "Ҫ:fY2*QP0a59zjh0j2Z" Xª0O]ƁR}RZ1 mED=6dG$cȰu6d"ZY ͇,̦4`p\W%>+Uv3K6?v,XZ*-ɢB-]ɨ?<U`DbuPBKIc,,]Z=-٣ne$oN 5FdZ`,K`awQ‰Ԡ.f1ߢjhAfP%~uXmx2Sq]I!NoRII9ϧr 0g4Vi2 4@A:C"!$fsLeWîA۳&yMIbuh?e7 W^JD v-O) XX5d /."0Ung8TI u F2q<\.|T5 I"d*=k͵_Ji=sl_4@=^Y!Bezgj=6!+ <(iLd>DR^: 7E; y!XC%T4Bl5dDZ/%$d&v;>z^ɼU5+WT!j Hj{&l q8ŽAC \%GΜXn9r mF&Vz@vn6;bY\/LV]QQoMHTTd(spV`Xjrl!^!qbh*~BA>8gMsa2$)pݣWo/r}S/ y<756q7G5Jd0+$A[pY.G_;4e*^5C(JA嶚+, ½ŶNSF d9`UeVΗ #PUYƣq0f>ǗV 'I*, `X;BT4#5\b˚o7V5%/Tg1LBPKR~xyA5± P@\$WՔ*8 .{".Ґj *#%kdCO( H)! NҨxFJ ^تB(Tma<pCؒ| );dTg a6 sį.cDZ_qrJBm_w?7b_YD&M2/_ƒJw.- F`MLwFֱK- _2f<` ȒҖx$V?q1(*Zd>7 TooNBY\<^ךGT9PSMK}n)pq+(H`?]R!g|PC'5'zmlP*/Fi_i=+#MÕֿg+RyOVyPD̿ BF7 5/pU4Eķt80=0MʣqPH}F\YrڡFG.xoH́xvRmes7?6%őK6Wߦ(9|6i|m3lQPfM`ܺr3h#APCO3` ԣl3 @_0Wm4+0OܙZD;wVGkSa (VnCm E[nj1Eni d;{Y;!<fjr7HC{M3hjI,S`:76CX,:k@qvMFf'_jSj` aŊSX`[`ڹg G` q-?9˄|EK{@mH& {Cf@5~utĻj:NBۄ,NO}x jʿ֞$^I0 zB;hA寔0f$Ե涷#EBh~foEZe16!\@vk+*] m?对-!KQ)cBZG.'FO+,=`s-fBG۵wthSP4(R6%|7=9:vsd<0ރІx(Pe'=dq7xCkHLO8Y 5 "C"Ӡa;U EZP\A,E˰irg`"'Dz=L[ {R))$(:qouB^YiI7ȱ aU[RsխX -R2կ0ĚӆEmʔFƮ꺳j5 XL ܶ |%?v>ȏÚo~ƿA9 i/>hLTݸ?^;r%\* z!Je #0 e?aζnR6dHq)((*w{ϬOyg}G}]͈X~3Q"㏉wyDyq~ffnwKDP,L(&ڦ($f>"SnjLD-|EC1%! aP&"}sNϧuf3!׶]_"mێ7D'^aX$ qاu33sLߟ=w[_^຾<#!Ue"ޙܟVEgޙUdbatd80 CC4@IdѠX,$tJI eH"P, Is<}[R,<Ί2fD,y>#?>>_u&:&13Uwº(!~`X4#"Iz$j?$z!D@nQфH'D7OTI')gEHDDh4MI'%QMID8=H:b@~^h^ojݺmHZj]ZuTJΦNRmֻm,EYKݪmۑzo۟fYAayvY4< xww133R 3"ai6.Jx(a0i0(D F,ɲ((HKai8(0C3  e, >ۦ ]VVYM4F7<4"6ٵ;6M0Y6۶;>îʚe!PY- uFbb"VUa}TW ߕYm`̮2WG*XT@jԪZYdYҪj񨟍+ p0X ,P< X0x `  C0 E m3 IBȽ@*Jp0ts~`,!/Ė,59W\Fc-+k,f=Xu $(qx(H[OiT[s?F QԱ]=sG,ȼ쩊]ō ro#5JO'M_zI!<AV^A>Ս!MAz-axrcWok`3 ?e 3@WXo*atv~t\ Tl!{wHxt^ :!x_eGf}QƿqWGYvn 都Vl9ڮK~L r+g*4ӂA m/:y}?AhIWnȲ%Y*e,xC{Kϸ 9RVUF z7j/R̺v܊=_oZJ@N = Ws|ݸA r&,ˌ0ij \ [,*$lW)9AN:*W\)+h)|==K FEqc\ /,dӀds ܺ!HʶS?m+LG"l.P'N:3mG兵Uԓlڰ eiZ}*Df A`  * WnЈ__j0Ҷ0Reh% 6%سlhǭTuMTx7^ky .ʚaN4_MR,6Yi=yqr}VnaUWެE6p+fl;[6,u'ЈsojJ?"| m$ح!JSOv)v4.)X}GSI,&Wr%e>oװ[zWF]qz%czoYEgZS" ׀X9ׅ |r=zQЉ 1 2뻈 аz`)_h_"%z!Y"S#@ l', wbWrizt}F}X60i&*Oy'I8NzOΖ9!Ս@V VsJl4`o%%,_ڬaK@)Ms\\%2.9U'~ =%waP .֑k Ź3q&ip.yX1pd@'si. #O|LdLn ؏Wqʒd0NC8yr,f6hj*oI9 ;ܜPQ/ gDQQ@(^Fj%?EMs`}},p:8I)4Q!RW|.1 fxV ʘ4 =̙;B-Ks;.5W:cjψ\aVs -J/*>E^ Ąz7 /rzm2V!V3GC0Kyn?ptlF0Q^>}MaS-ZbdctLB@#A`-ql+M]*9{9h=c xiʼn>@BŃ=R&kg^$e{wAzӂr=1 cO{ JƎ [)#lS,t3z83H|W5Cc/n 0zǦ,swaّ}8͟䇼^#GHjLV~&\ Fn}q˿ZK RyqpyYx0[:륬G ]2~@IZ(#OZ s(- ՝ƒu])y^IFOS# 0'> ;',D{ŵM`7<ƫBbU@^ )/O4پC} cxsB(V![%(n4[D(bڨHix1ttb'_10rpAvܦ9sd˩yW4d'Dd/ߕה#Ey%D̔ȳ"i޾* PL38tY$ ڣ3ʦEZS*/Gl.)S\ Ŏ SB7= jBK ׀Bz-YqI@ZU[!Z,'L%- ⓚ - ۚŠ${P9Fb4K1l: ] MGCby S܆lbpfɍˢvh'f3<Ϳw{KP0`~!Hi0D_G)}3,G+R{UO2h zn O{8cП(=Jט_)S^/1S 7 ?d|% IZ≉5&Ũ 1[ar1b$D(@zz C5pGw.֧΍ƇxaR~x =Lz79 0JN ACO8@'rLe|'DZӑ{u#(r!Q?HG$iMM՗[[ր5FnگK1HT.)KŹ"qW݊"|OhZe&1/ȥ[XJHOuEO6nFA8$O–<qKzRRnEZ?{Ё\Ls3^MZYuo?t> >ҟ⒑uk> $=;d1E>*xFA [[o,ȷ<#g֢!ɰG(\.!߳70ccK{$Zw Rby!521&!q^*pc?oҷCxALY!y q퓄Mۂ\UPGtW!>eGe!-%U/LK gZ sRNѓ8ut*A44,>Mı О;8El7f^_,<ɳ)rػq |6AQpP סfF;=xjrz$+Iށq4  Bg40ߋMtnCxjIى6zMB+峒|Nlˉ j~7|v FH{B͗@Blnp/r Ꭹ * N̝6UUx1!E]UdejK3gƟMŇ#3 O'sdioK1"$Hsrݏ#T NZ0RdsM+tד6s E@S!D &X? M/ 2Qc>MiB8lehmZm~xjFgT5bɆ j Xg M_:!N`uC2q\ۘ/r3PqX[/`lW3jP DlEVBG:򷈊+]ˢt_tv8;%WBFQl!DP6\qqt[Ab^1xIzrKY?ĭWLVR+Kz]e#\_?/"#vPoC9RR3k6<}J[qRbny6 ;N"[&_b+ C-n r+Y@?dRj^pRCU.b|-I;LҚU0ZڪĤ|qƤJ-'>aD0;6`:3Bog o du|9,eR\'`gim0(^YPafF6+(}ph#]B?i?~Y3].G0܄Ѐ.\({$5[}5"TJw\1%Lx3q$oET|Z0ڸ˲?fR8AfM/ e3)! ߡ7K}Q(:Lc*4 ,4/ U15+wUHFm2f^/H.ޑ 4dH0RxL6mbB*/CEc&V `훁k y\ؒM] )yz޿'>7ɬC`rJ+)Wv4U4'ѡR4q:v'chJ10"Q.miJb翈δR*QqٙE.Gߪ)L/pn0 6M)B'єM~%~4wb?UAo˰>NcBCi:xY{آA.T ^X :ߖYzF%e@P<8b5um!$x?200tYh@\0e-W s SLX, ~nE4L$ KHa E`rOn~Y-@$h( Q@f< 0nvo~馻Zjébѫa?<" WZ)[=ZidP[TVZZe*RmDeKQ"XA`,GcyHH%>A, C:N*+QDx0"(("iL@<>bA?!]:$D4CQhD,whLC_X<&aY8CC@}:0 Qw|Uа(|2qxx9gVxx 2#0qF!1 Y" @FI LYw<2"i;*MvL34n1;ʹC,MC>f8* ;s 'ln%L<8nIj[^ix[o}3e+{eY+[t`ߙϵ,+,,Js_e)|PVYe.OtY%[riInI.Kͥ˲}mm{gWٶeDS& wVuu+vU,T:^΋/|ESTD/Q*V]ݝpFf4?Yh8ά/4o~M͗YGˬY׻f5iL iiwf_UiZaܙ3 E#;o޼Y5ˬ.li\eF ơ*;Y4l4M3 :v#r׈8+tZ@ , EӼ 2|x<aP ¡0CBa@@y j@y}6,$Tv naeԺ|o]߆hx;qĦpSi͸F@qywھhC)Z\_6 ,Sf^/$-ˠn" C)H/ܛK9 QhL g܋Ah\vwrG79h*)8T˳ՠDoLVH9}SH)a< \. ML' bZ~W"^Ε &H>vH\NA=XQIa<|jvEhӑ `%,H/y\-TcЕ%3/`,[ǁ@zswZp 1/Ot7m-22C _Q/.& IcRPFS>8,?zekʏ;c:HX)SUD yrB ĊslnN;zh<+~9 l◯5ĽS_(HfY$itu:Ĝ}gJ`q&1"qY}P:yg^"7ZD_T[,N3~2)N#R$_`iGG!/a[s/PB 8}eZ ,]`꼏sHD8$&8|&EnFОl꣹Bvl=+x%4r78?TXKZO,;G 8M+h@>po`6 zJxp[ɅHiHo|zkUV,)Kk;m7k,J4Z(c/GwiƕF, 4dJe?JЀEP Znpmj#{K|l&ˮ!]͠R{p  r\jaїO#Ybf= yyB,:uQH*RĠѻ#L^x06A\6 Ǿۨ+"prR V5KkϘ-Iar@,}77a"E)rl}C#ZnAVZ~'"oTiK2Uˣćz<Խ[A}n# &2lH097}SUEc|Lo/#Ro Re{jD BLK؁ >RO=HsX3b }$!hh&b/ɚR 6H||#A`p JO @TT% l}Ll)z ? D߽_08]|XʐLLh26廸HFI+;W t<<4Εy/8Ef1ͯ"d,?NmDǬ1I)4zR$l!1?e ngh5DI+z"M-1l. /szWWnQ+xdvQ~#5 :Fǯ.i]ْZ<d)n9c`FRF?ʭ2ۈzD;3>զU8'Roy0 ?.Rxt*mvdg?N-Xv?20p hxf`xxj(ʊ29BaXZ,o٠8V"^rWD6G]Ho<rsT! 8q+TS_nxQ6 \z~/3x9u#OF%*0's4`5\o;R&wf?DOfpMN`!4J?N|~V}>5cF"!L|-)B@>c@L 6{t*mC%zUy#7aamng?9.pu!؁jv3m :cIn킗.L ɥav" wg* M9O@/GS7 ۨs"Ag^j62gI1[AECwPFFT~jK '_4UMͽb><!dDb0BvN(\͗oo'[)3Zzpg4N9> 7:M鉰H#3FN.'o%P{eF|\rޱC{X8( :HRK8w@#LH]G?]SíA&N}>l~:Dq0B]6Dp~$q8rﵠ50Kq !0bs~#a$;ňSC|:qRo79ٴMNܒr-g~~pb R֘Y6ő^Hmub3R,dfH;~\Cl uP?z9:ixnݲf*'\LW,TwdX4Hܮ(3lH/wAb|2VV!;kF0L>[ V@Zh88T{awo #xHP^̼21(2Vz#/SnT&SEU&g3%]r" Q5|W|e78%oʜ~B@!9цNpIg?KKf㍢% ܎OK2qEQ΁'ƱTe̳XO(|i^ݩ-L+3/-٢B_ ڮ52^YDtzB-ש{`Õ>.-(G{gC20 >͐.#Jq^g{h1,UECOܜ c x\M2qi4%ɀ^yWk_r,L` u~p Sc}E6X{/1Q?'.U5 @%3x09B Q޹zYdFj4dmF@ + *2~'7)@TG\cnQ@K7 \Rt]bOmڦ!0}mb'zhHHeY6kP6gez$('!K7+h9TQ@ebݨ`*wBi a3Uj N^.gNp3Ir?^y$OVRlA| Mm2&d|ujGo9)*FZ;;-Lq #v*,Ch?]zRW[eYVʛh+90kkeX3̻oo4:2 n>sX%.'5GۿO͚A j| Iv.ߘCazF% Q.D8? Dgx^tU;5W=$k(!4g\3ޖ?.}vsn-͐eP>nNV{R[7޺I7?c``vqق_y^P`DX,Đ^Ḿt3cRΑ\"*C{rA"OVE19ɌiƵ7EmG%.?e&Iq|弦g ʀ9Ԏ^ L+!Ŭڅ`*a)ܶzG urjʎiAp? Ff*hf"/]1sOK'8@WWTa{sـVnO=ui@jb^*_g'ths?3gE@"M f0lY)h\aJp#q.yp*EiaI!@2J`/BUsyc{]g #r=?n䎥tՈE[-BޢFS0kCۦx^F nGNO訥xYN{7&,xm0;[`p$&)_8lME* rl㯣S }Xٍ1*X. ^>ڴۮF jXX,mX)@Ho``Ǟ*\%Qp62}$ *Cw_s_/ǭaY_ "bYmp0 ~7V@~)n2{Aq7X1UJ=x!c4<r='@M`[b}%@ &Z)p6wҵĚE=K-MAM>Tge,^Ym5 G5S#cfk4rMT\3l1=.}DOFv.&m(2aF_0%9:ohsv"vZV!G"N*_hWS%E1KoU.3y)&9 G5kh Mf9-rRl8hדo+nxQWw(RęsT2oQ(*lU|!G)km SPxSLEaj'ZI{ksX)OW+Q/Z۸S|dI/77L=J6_GY ! ?#W!O$O}i+õ=TF,BOV?fM$|Epn\AJ\' NF"l(Reb᫪v[ߟ$wZdeZ` lt t @Dp<FK׷8—u\2gޛ 0"x38>f 0uT+`k#ES&.ِ^h`3Mmzϙf_nc-^W(f!.n+7&$ ͨ.W"U@+XzDg #4JuD{M o/b=x,D}^;63D<߾ţXYöTm{nD>zbrӦY[AҷVt:=ލ(hkA*|̇3<8BgWer-8iaxE[/$GAJ 9 ]$*6_x+` Bƀǧ1ĺ.N1d\"amĹSCЕJqsr(*ـi>Ny-n14_`7] Y e\ŏ_7dy>BjZbɖNu̩أyq8_2;83XgZ˿gjvGқ~VQ͠ x'Wn_pp_t][ͫ % kf ʪP/.\ycG(,54d IvU*`9W5}Q@ 7'dڑ(L+DNO5\ݎc($TN3%9K@Jigil qRJ,[{5bqW+F4yĢ ̗ώ3wst* `TDPN\[/?༊`c ǵ*}bVu4ƜfJ%}т%;iBJ$=U 1^.*\9CPߥ;mF3Q@)h'C* c_.a=JG xį0r`9恇>l4u{L~Q aEPL-|SF42:X5gFW@41PUuYuNVc󱥉 idaA7]OK?dhAْ@vWk^ A8ɍ|&yKޟ2Q]r<z-I$.VM¾rVj 3l* PѶE\nh;^Ng(lH_k&F eL{] >#qPoIjN6ńlֿ*SJ<[FG{AQ FԘQ>- 4$"f@=&Jgڻ+W% 5lI#?>L@FQJش6)Qn"DI'S@5~Si`P#E(!\1"l:ŕEJE|.hPS b5SoNho6W|;*1ifsc.do"/LT::*ՂPxdxv>J&f_cdM0KHA(zT0(%Qe3mJ !".͡অ2 NB]rD|at=<U'|Um]HgX%J 1N㜘m!C,PE!C$ϔFz5!] SZ.qW HU+Ր3o9pCĽ~vm, 20?Bwjt!}]ﶀ4ޮ 0փ?Ϣdk#=:^==]KE8AnǀܷM5K3?ph{=P(p8J:<$cKD#NwG/:A _թNT ;.9(>U AH ռmRPl>;)UUx-˛:YSK|-co3y{:,K Fb\N辸k )J%Da fL+d8 "@oMVQEK&I)I֣e)eg]mh[]"q8 qt`0(q$ UU ըFU!BjNu QxP$$BBDm$BH<$ I $ E@ZRVJ!HqiEDԪC8, zJ@ݮrmnUZZkUC Xmܶ"@PDV+!¥ H#^۫Us*EE<2*)FUM?$tro|[+[m \f=*^*vM["}IÛ4(  {d&d*"}.•ܿέ"k[]KEݪ]Bֶu[=4!EF$ 5߿_߯{ժVW]}n)}}߯|*+ '飏FYq<9;Ϸh}/u^>m=yݿ~}+P@o^8CVv=wGݻw߻m3mnݺuޫ5Gp,pX4d[:H(ᶕ!B"rXn[pXu2y`zXVRk 0t>LhhM䡇İ;raIa k8! 9nn8DCA Csxs"rX֐,r!2pan7܇nȵe[쨴+  C &D P )108A  a.l :ZHY[^W ɩ3g煚}XsQAIh =&ZbrukML4X9_`g5I3yFnh=HoWaS Q 闔+ET4-E!>Y>޾L |Tv( D^=3ÉQf>Aռx x0"̏tFcEf[PXԥWCϑ2:I. a@Y9%f{@2`ɸk@`~L2aZg'GX&)Z;ykD[/_CH%QL VLvO' &wK,:[jbzVߑB86,RL xF0j|YPDs ş2lXHbe;U|NƻȆ)"<4m !f?C3|_Q lP;k644iU-jKЩx%ivr̚?h-$$0Qrx Q?z<3e?>}-hiA2߮cӯߢX[#$*~d:;\f뙉tk"9ݸ?J]_E&eia(n̄۾ `N{HN5RuF ,Aq%*h<#buXO cIQt5=~*5 !iهHcZkDBC8mwEVO"gcQ.:7*ZAw rFA2[^R2/.KT`5z5A 䒇;mV/JNa+I/*dLq gń$&e$e' Gb!rC_sQ|.#%47rJFп #C.a` ҏe0`|U+T  m%4lws}/ G&{IRc'\ `1mv Wt!(p4654Hkq19,Fhr$1+4 ƒz$4v%NS&?3-2<?Fap/Y ^y1 .$6\:`A_886KuVU Mp ܾ;$/pl2v{/#,;'ڄ_ܻ=\:AX{~70-2@I#z& ٶN9O}K]He85A?rԟjez]R:;-&-_> "͂Ĝb˶.ћ?74_O"wtͱczg322} {N UpJZ`Px^g BwaDBg Z.$6?Q"M x' tI YL~@kXDW0$oWy% <"gU!6qU"G.Yt^ ߖUrnTR,G}&udY czmp0׸!HT-d_)b8 o*Y$*R2OpkV1@"zo=;<^g'kBOhG6Ga=HufGe=fp>>Ŗg09ܦ]M-s#.pxHYUA}cta DŽALMJF0Vo` 싍iN,s"S 'cB>yW8@:}smVz/ òˈsԳL~Rv`[Y*ֲ?`F 8`yP u@|'fC5 zÛ;5;)G LMoDEC [%{+k:ɡ שv+, [6nU_^~NՂ뾻%LtXLosE ?Jkr`E+psfܸq~jbR=rBfFG9*8S)}݇PI$POl&}&Ij [~#NWՏx֓ʟS/.`6@?Yd U[Dٲ=,[l͗1k!aYj'dr8X9GY)Gd؉ ')u"  8xa;#`I`w{ okۚs'_dj"Cq@i݃m$›AŠ~PJ9:$B`Y1 $-k^CIݓDЌ Ǿn pFТPa"BgK$9`I§G_&@pUJv!j:UnOMR̵t-b؝J^8VY Qs,p6H`OD1OyȺ+)]iǶ'9.+Ȯ/ 9hc41E(..qyHf|&~ӻTw]О}/eT܄)'RtQQ0OD?kAϰWI/Re.Z}7qmN U8*~O38h}g,uJGK@#wx g(~Q\5_p}n&!}# ECx heN`l8me$PEǖ(<$<$jp@hkDD Glk"Жc ڊZ ՀL> rAS#b!BuJ꠵6J_n1Bz@I?YE"M\ |;ex]Zƴie0:zs6[UbdQYSрᏪ|.dDK6x%L~|v ?G^U>/x-2bR#_56؟\'_!j/F'wzƆEcUW[x"<>qM=._Š e֗{ TVA:7$rFWڒ8B4 fYYS@X/_' aOrK݃900jا!BEH֝\H\`πmzvUF&wj#2ywyIc "Ks'+F1/rh?iZu&'RgMԢ<ԗ"$?,f-`3`y-4ngj3}-E*@ӊw=9Ho8 ؉_}a@-Т@/ q y?w/QF *:Aiw;Ê\fB};ŴH#G' !r079'PqۏL5ǫ !V;z).kcH,kt1\l9*ZҌ+.o۵b+ }nӟmczaYwi]P닼?%kj,$wxAVGa&i-7Cٌ2+!JQADAU!1%0pqi*$WkH CJ;zƼ!v7Mi_ ͨwx_zf\)H0_A㕕+.=v7QAygXDF%\AoAð rdsWuLn s-'8LV/-JVrS3;L!~g?1Tלpf#8dd<[u?@[1=U .k:'ErC" N$I5TBCƁ J PV к?n٢/-LS&>? _ B 2> $ ⓞOnV,?eɝ原D˯d7,xP)5EiA:L(uA&ʤwdYx-w1hB kݩϳMv|iv_NnX FO݀#P(샨ב/8#]VAF'm)b,O=`*C)2o)1IehN Gx( .WJF|ϡ' Gq8ζ;Y*,l:wY9+Am賛 ?SNHB?< SF `p^HýaNZmXݛ ,Kܒюܟ1&3}J#R./&~rQ1Y"|?=:KAZ/DF (ŗ;L.=LoeDPs Bo.7D&yZuX.iE bjU")opnx1&?rop,%^Q>H'ľz77 b/Qy)]o+.W\#2PܗįQ=FCMO PZh={kXB8 WhNŻnc «+A5C1"%(&KKdTYEC{sX}.?7Є!CӸ-|'4_#̧i6"]$y.)[AT"BTiC|$çY'h_6."lַhB7K {{6#HnEZ`#X̝]J*}?S0a1.55\ opeLt0х޺&"Nԗ Bp7XR@Tֳ!׽4p|L(r[ϯ?2B0LDG`Uw(TV4Ce~,x^{EE5pli! CWd2U5+`|_.N24~FDfd0|QWx]VinJ JԨ;OwHgV%CҋCbɒ-3YXn~Kڥ-H3ՀEKme|Sx/9PN&j>xjiք OTaLqde0UWOr /ISWxnʷI ?։ B \q='"D^m3@=A7ԨH/ 4n8)I B{-]͚FUwcӟj]NmT" E7ZB&A1%cA F/VCq+>zFb9G(db#D}c^6 {)2>n=vl@F Z&=N7Yq&Ri/SKMdX!";L@2 ڭݏk$D4L`FqH+<ӆoЯz:q%R?q7p_GZ1g>Y " sluALX5sinۍq\k|L}`d+RQ (/pڥ .0( TA]w,DwEϞ/&rCvMPwd65Oqt>! "Rx/VeywS#MGSr|sP!D ȎfZQbė&RF=JTs]4 *G*A^8L< 4W7x TV .UXf.}l8vocAfMގfblUxkD3 +tI5DR'CY j?I+zDVOMպ/n0gc͊#PD2~jEɆ4c}.q#g9]6B,fEE 3C2{X_,&|ja+ͩ>Fz.Ui!/^)a"$,o8,{ Ӿ&5DƛNŌ6 د-)T4#,e-d}HYj~)ùD̩v( K20UC,>>+q o^f%Qa?qW%H|#``[^VF<ޜ}VZF((>9 W:ğVȟV>@?t\HG9tvnߛ|51cz-hYPWe Kzd׎`3C&l|͚t=6~cPGM{H[N - .n0t)b᲼%"VQ#:Ws]o3pq Qs3=ROlUq EP1@O^Ͽ;?ЏYyq:FY+׊s{BKSZʋeQ#4K-G+G5 =p c0*3L0Ox_ʹ`t2UQ~?[" QS'ts_61>&V 8 f~oG!f hd(_,0<sya!j6$/'m4m-r_Af9XU [W)T͠O6[ѰCĕY1 c|Ux1O迏XUs"HNEX6j3pvF,Üa(71H4K=ڧKoB<(E>?5lTV?he,:gmuȹhE%H!a_5Y~$pftJ å9C| *B&E r- zbh%A}4Xp M"g>5/._& :΅UǸ5e 4ٰ^X_"1B0 x|Ņ#;WY6IQ 1I*^,DӯQ4arڮl.qVJߣE.(u#KڬE\= ihq٘ }? Ah/\`4SSbEⳊZj!VaKRA_wQ؏J7\%obS|fj g=]!ŘkNO˕v"`8iN K64U^=PItA*npWgR$شj9 2x<ɝ֏Hzh4P3XQ2bóFE-JY@ ! qRβzt JmiNb7Uݔ;9Όh;f,&  DB!+ $hxhhAqDX q&2-rIʑ;;2,XK;,S^-YUwfUD#fUDUw&UEu%ErrCDy[2"g$ݬw&sz eEd9(D(@s~W;⼈8/"$ECQ0 #`0n6!9''g 8IOa0q4 @, /ϬHU0snſ%D(BD?  a`ѐP0`4$B!/ah`4 "$ GC ۸ͼ5FрXl֚dzpLљ=3k~kzUީ/[7v"^=`pMo"~^ӫW^{TM߉j{Y۫Gph,0H8Á^;{z)qooWޗ+N﷤ Pr+r}[ѝqreGE;$40@H4V<2N'8|K|qf3sS$3/cU4Y<#f~h!?4\}|뺮g^i0Om۶m4]9SDnɗ?o_?oNzoo{ۍUCp@`i^Ӝ23ePF6 /YBT I'D^َeTmO7> 4lF3WdC?b^)HNЏ/W H\5cV}(=jD-HAf-փ,~ls.оhe W[h-&U*Ì$@"*5F:\Tu RrU[j$GNb$"!_+ 2[*-P~+2aacK =l /,a3QUT_X7R.UԧꨯN/'@U <J~+v7Kz.8ZV=%=q&LR8( ;bg5QC aHڟGR0xJ Cc{9G-?=t?[`v&S ]'y2?[5̹?6,O¨w T'hn5ep:+K[U a&iZWwtyRj.Q4N}Q\rf6t"zztp wBNt9)\ 7<ύI0sBj QH'Q <"XK겲6[~p-\Z-BHEfZ`LZ0d_|y׊8Kwǵ*]A R;H^Nܸf[mp:-Yeef-Tr.Ծ TTʐM '>ns"X΁}  ZI1mպ=9ܔDxJb,BaE-P|y6<hW U?14mXXkXCIҳ7gK<'sfqjPVݶ14xcfZsނ::#H/\Qc?` K|z*L[1 RL5ʘ02 z|FÚ s '37OEUi;ҵ|\6EQe?a( ,93ePTl?;/PM=:v:mUxdLY< WNLYY@TYpԡB}a -еqFPxUsC\߳3C0Qe~}2/_:xڔ!i/B=͏Nr gϧ~L D x1~<~B?uV}T^zhiɫػ)cN0.nGQelt(P-'RP'NqX vEdk1H 068%ZȠ\u02~F.6Z,/SDEO#nH_<_LuFM/ T#&0C1r -OGTMPQݟ?[#)U1f0{BKxS[x7@F%J1\ m ޒ@+ edV)]:iNG/?Ӹ ocrҪ^du!n ?u18 Bwmd7ygyPɠ>?&)Z㉹?VF<|3|\X^tHA""8m++TC|!,>xlЪUPfbjčcVi^4IR[&I^B'QK!m N:,9odKe9B[r0Ԭŭv"H+3C B 쥭%W2),a%k`]sLEadC`5@fMuE5S;LDR,{VG&zם˾iMSj+<(|MzH%*Jb"hWK6;>d8lWBq DAXԜCoT|tPPF~0(4xdW.s)8V9saCwjI+Fՙ;,MĥpPVT;J긚Nqu jE(ʔi :AX8h{+?Wm+X=cVB@ Y22gQRMen ۦ$8ԫ[eb}@">YKָK38ӧʘBr{VOs0Y+Ug.:YG’!Qk[-tyeeA@!6 A򨔡GgXWBCz9y\yP̫KJt@TrŽL#lr.*}gʋ/rMAOREBxSiM>ŵZ8^3DqI& vu&"K&8=45$V54V=iš4":d5!Nw|wĎeXd4&2%10IJ π"Bkn}(Me88BEfnIBN&>K7l+@gjo5gFH$J vx?<`p?5P4pjj =? <U _`?)cD/!x-D"E4a+H!,t WAm+WgXP@.=8bY=SOXu ~^:p-C 'N3/.Ul\ *x/[* ՊRп4nW|.͇oZALVB>NJ6CK1q?۽<`$uf}+*CIB9>FD'i/:?,$Ck|(v6a_3 V~ W<+QrfϢqCC~\>o0@*~wEef@WC p-g8>-K݁#VEHKw W G /J\ʼnokŘk2,{i=oNe1A}J,qz{__ʘU*Z(DkS>pa/;~Nx0C` o { /L0-υ=mx{h]BR=bo) -WƼ*(T ;ʆHK PN(`I3oj54]ZLj -iP/r hڞgDWoMv Gu!MPD#okJ^x~GH z%|}=ѿ\ z-v(\Nyb;[_Y;N`;oo.ƀ:gpT͍{GUЮݮلńE,[Py $_)Y#küDy;ם.&?!`~%oH~o`g(LX.'b?VB9t'؝df9l %N;J $#ec5aOId %F a'.QHA֦Y6Po0]PrMٔ'z3O|ě㰪o;;c?`{/5};ϋp*Jc6.?羀n e^T#ȧz-'4 YՇChp50G)/c0piX%դ-3rbHQԫ)&hsgLOTW RN|)/ZWU/@Փrjg &g,ˑC%>EtR4t)&73|=&%M({ {J/T~ sk .Te]G.f2R]'`66E̐Pim8lԊ)58/$I*Lz輸re"$QDsF)Tt?ʄw Tj6`lCfl#EfXuOx] [^eb,@ar.̫Z[1ƘN}.0E!#r9X#<3cٽ(w"3&SWrSX5{JOJa/A+bl Ҡa.vȹ7rק\u?n,3\@9-oy.qB&)8Y$BN7t$ez; IK#7DzR] -\^_A4g~Cp_VݲW28Y[1_Ǻ MBr~Hr[ѱ@ȀK2xdũ̅EP U*6%W UJӲt([9a99&$=z,IG¡}0,2A>x'~TD\R{jöJ/q7hkxɄ έl<.rq0ɼ `p@3TW:0b3WC:fO ^]p ʃVZTC[,~p([ KY4y#$2TP{JΚq }1 πKoAp& 4H̚ΧETDTeL,㘰nkEc&y<:^ Dzl93ąTzz2"_4灂3v0?J4&yElD!\!mA0^ Um U5ƀe78$(mo] z#a7w\L]G6'(cQNLʉ&jmZDbQ`7LS5[<|mB*0Y`c&AQޞJ<0^}.X| ]AF`Q?sdB91׀ ō6=*͔_'d5w'̤->o oR VInE˶V` &4DzJۅ/2A+N/oєJEfTŻ$XX3iA?FxT7d=4wH 6POJ1q0)h/Ɩ~ ?eE'oʣ4MoQMg?)dpJ]!ܦ68}@%G@47Ǎ%)fvBР4 F"`QLjΘh$2h(T㵋v`%3h^VyPW2yMbu0Ч&-]\CPM6aC "ԽwiC=:4= TyƶIYbu)+{ɒ,—,,z! fY@0 ,UkUe{JN=}ڬ;{&J/y n<&yQ<ЀG4 (oϓSBtgYUs@ i@sknV?$m[x e!@UIP"QYV8K(s=Ios۞3a#MZܬI2CP0d2A@Рpg  aA a(v' ܌5 [k3a 6Ecc+ou|ipF N V?SU|f9r{:P떟;TaP.eǵ3 Hb7ZMqņjۋVm-GKnv#BNC.ex 1^]^p{:4p:ќ#t_rg9&C uD"ktX )W3=|IWv=eaB Y4p$՝=eGѨGWNs?XOʩW@Xh腯v#9o0F({P+Еx̉Ulefڛ;ˡ6yD LF8'8;4r 3|(v`}ׯ,艹,#frO/Ce=gYdc:+lTir3yhD}EXǖTpe3؋Mt2yJ!ҔG& &kffʐOd42Va9dcǑprK7@T]GE d݌r5;Bcԯ|IFs_|#sr5 rH$a,S'( #G@IH|.*W?'Q T[p\X,Jj۷^<{o߾ z߁e(3(8t,{!q$'OT']Z=}^KxTe++ BO!b~LN$-A$ـ߀Ĺ,j@q-;=@Ίsf( ċiNa0}XPVZB> Ab2ng@_kDP9M\ݱq C^xȿ o$E>DG&]֣,,/1QIݾͫ6w=ܗ轢Z:!Gytd[Px 4QnIJKK2|"C=".j&^"~o׫^uzӷ^UDERK;;SXppwVJ< da*.=vgWp KhwyO97mS4VKZLg=]լ,*33+;5Lg:3++]NLgfnjeeff咕y/Jee!YFaXui;|""~귕  nn&]]ﻺ:]1oaE[ʖh02f6++Zlf+ff+m*,L hH0VUWUV&,  ުRUVUWUUGeTT0@YypHhH0ݤZ@hHEUHHEu*SQw{W5/;OQQAT"o]:׸}~}}/ֿeYVYV,+33J˪*+w̬ ɐȐ ɐ P!#######C2wӌ,!C2$3$#3#;#;#;KȌ̎ȎȎȎ̎Ȏ~~~~:|off.۶t^m.Jl.ee]6Z]5\U޻wۈw[wdUҺjWUDWUUZWk]ZW^AjUۨxD@@0< At*X)` Ā`8$]+?EB'QLFy|V}~Ts N}ݵ(؃haS#4O!aʁ=e9/UKyπ?Y G[ KQ Y!뻵 2;cRM p Q_}Uxҕt*\bʿKf0u/료Nny_< - '=_R-,w_z/8.Cr+F ==ds8Nx\*|uPv!Vc.Tg|(K;WAEzut'IܪLj80X*߅z}~ÇA*h'yAQWv7*SYMwp*?% &{w~A%*x/R.*H +.IR* K]s/﬒:b?I_e5]LrS_!ꂒ>=IKq D_{ /)-b_Qu^~#PEO':zo:B|pA Y)~VZ42P0sK*n`OF?)eJlfG~+WmJ"ؠ}q /U2\`-{\5Usԍ9&1( -#Sq6`3NA>X9Rɑ*"QS%yK~U6w}g5Mgwгy^㒬4w*֤է l֬05n0JJ"益8~#e @eɡ=拂?+1KnkwS3ogGbӶ/`Uj7(b{Y&km^Xي]uT_YMgi騧Œ졡sx+bl5Fٸkw|[!g8J8w{.s MePn ?!KOB8j6BČ}k+LlQ:]0f9p;E M} %FA}[KײC׮e/\;6;vvZu\MvkJ\ kZҢ*F?[w"P* 7Tחt8S`Js*ݍ{ rCBǕn(XB-LX<:9SHyЉzUk[?wxQSB>m IMۼ&x.Wjv6MSp>Wok<`z3g4Bz3caoPƚ{mUU~b:%lRՍD{iQH!Qevrz01ѣF:w2ӟ(Jl$qN؍5439]ve.>ȝ_UjVi'fӭjˤJewp(TEt.fC%}Q[B2LYd'NL--T5PGE\!hW9x1DM):2fsOjwҙhڧR4#x^TA#XX{]"J+9l@cWI%l,&"3cGYZ^2[; ʫ{(CeyTt]G2w^pP,aNGMW92 σobK\ړFɋdYSJΏs&9~^v$&n`+rUuq8:$i&1horjm Q,}sɦ<DڒakWDŠR,yXgěeMOjy[]|ZWtz湼׶I̡E_y\#Y5%TyZX î+tb>̲/fwIE 0[u'k =[Qov_7B`7)~lGU4`#f~u+NT3 W*Fa^r {EA];ڭڎ&A]gٲw=L6D:yjUĵփ$g]r3ֳzgB笾D;f ŷd\M6N Z$zCjNDطYj+!g{lHsrAc^PX]=ζJa3$"CoMC0 }?c:h 7/;(pSSL2̤xc«FHMfĹAh3 ]nO ݐS Kk[٬Rn H]%:;fxƋBrEx[^pN+%h*7"uZU) 8ᰳ!Ǵ.u\k^~UuNk0 ]>2V\J;:QWC&<*]ێgi[.iGڳ5H6D+.3ZG*:*De{ U`~r= ' F^Bߏ pȊ>qH_ vvJ˾Y4P2q#R!G"G d{eܐ#B`(;?j]=sn8сbYhxE+i ]94|K/^Lm~JX|EWSt\gkk3 rc)n5]ej%r& z٬]~ś^әfd (|ɋf8E'P\NfAOB(0Y=SDӹvpH2A-_[PzQ*rQE,oW*p4w(:3[q $3ueKR J|VR F 1:)[9]䅷|?Ir3XYɭ;9Ӏ+%_i +MR;ʉTnlI1dmQb:m K>vҁ%AئXu q *Rb0yɀvyqsrRGUr>;ͩ,&Dfk  }4,H0~e\cy<ž}A5ޢUWi1. RZ<;˺l΂ 9MYYȖD/k,]o@VdKK)Rc㕽%J`,Q)̃jCpf[TǭtŮ-ᜡoPOEvEТz<}@i$A@s|_R/! nAY@6\O6 $-*WeN@.J2vV*=fW7+Mt 礞OX{mSyʷE=SSeDu]do_p%e{AZJ{rn**N"YMHx^$=xj| |Q,ؘ'S.*@%|] OsU,}O3LZRŶvQĘTSā^RPb+B1DɶYYĘFɧj,,L`Ta=3k_:~۶&:hu\eZQ돚zݭUJmPu؞yԌ|.z?prLpSch%NMG0en%OmrP_rpS"xlDgDK9͹[G}fMiK/}Ιw+!QEv/#\+D(9ќ"q0kxvC_3la*nWžpH<8z7l"qw aǼN'l @@9o])sv𢡊AX{ٝ(r޵TD"0x/SL\U~R1|嗎0Jw *?̺6hf*ff+}Vw~BTѯ2.ѣd4ۚG {v ClplОT>Us#ݤ'\rlY_54~8{)~hJdՑ:&%jwR͝Q #:q"lCe$^6N@~*jf#k:թsg,xi)*v*rbQ愷ќ7"~Q!  ~hyLB\O,QhO-rBȢqs1WըBjP<e2ߓbs\54, BK蹌19w[ZZ)cVk5^^?ޔ\BpV+ܣe=:|diNPuC1咀iovTz)%mkv{"IDm10@^H"UQVKeD!6C(>EgOJ1RMiSt#c8~I|>Q4wXRKj6z{Zg+#ԔY8{dKY⼸,$i"GBt+d+;K"-B F@[k'~YpMa`b!@k6af,0, w=8Zٽ3!uaعUvkڿ_Y)T M3`%V ͬd@C4Ą0`$  BX'($(l [#EHEhST$G&(0AH"a*5SFP$nKA9u*ed;88R|h@ I"9k1J:C:1hH```P>HP`P]|0PYVBy0&3 RL}0`Y(8҇UUg;=.*ЮUeVnKdgK?=9K9AŘ4Y BB-p;)t\ki*ҾIYX,kjh@OVGsL!啂P)@ȑ9V̪FS9Y1v ]0$8#7q@uW ԯȮuWŸ\3?Z5=SQ6),;3˪=cʬnk\Os.QB,v,j#e5?'q+V-g mLjז1D;K3fL3U]vwgVUv{]`pdi$81049d.P0ɖ)c&[1idb KIxNڕ.-iikg֊?*eIXӪ9 s|F C8 :Z"ӟ*ЙgT`GwfUg,9-X]^,6_StZ1KD k 4.6","*&  Ca 0H2<E (,mX\+mojT&W[(ؖҲCoEIKO:tså W^NEDo}l"fsB$8E<wP>b6.@wL ͧ5 gۊI9XcfrN#I~R*^kY5'a -JGBG͘FY2+0f-/0<w04 _7grsL4&#Bghn0,vElҎOZK54Sp$2@۽Q-OU?y>cZrFu_=NaRj#FɆAiNofImQޠ7П7=5܋y*;R6QtmQ`~)oW@bVD5" lNƾUh {]6\ &!֜ ,;;>٣Վ,4h2%PnhS|@ MDa&Hp_cVݾ [fHK.Gn=[@ǝ8akq :KIHCYtWMā L0LMʳ-WwU~,,(8ΆE8$19ij\ p 9)-t7}6B.$ރxIo;q^v]g)U*=+CqivBB,`v8rUL <рΔrsw*9(x&&j2e!|%09lH&WCb6⅗VM"6ŵrfcRN-bsO2ŲOm ܁BoO:0_ %郊]Ywc$AL+9Ň!]OoQ]z,~ݩ\ln((GWucqb&j0Jy)[.2=бM>~e-.7i$[ #{>i}nTP7MßV¶Rxց^I@}SZħ#amm| ސrw`h߅ng{aع~o(*!qڵϾS(GivČ4P5)qLc ڵ OF=\YhO{F^߬O;RB (h(F h KgL+UscM0\+Ů/%45 ]D 5ZR6cIk# 4P Y[qSf@.'`ňf U`JR)$DC5BnB0SO?~mO=( 2ge,ZqՀ+Bl1 ƊSoDs P t#3w$p|rweب8w0(V.T[{>T,@$+zvl+HREQr0 ;)BHνk6y'L%$[ MYc$L# F]>n-Yڕ&wߟhYʉ\Vn-/da^H)7!hzWYq)"Yudx~xj#\wD-Bm,KsDu#?jkt](-v "Oԛ=xvJ|;G(sDy ׈ sel}iE--2]8 )6C M94qlH_Flj\YUF^tcI4yRnJ,PgXBh(р]2Lhq2m¦TJpF\x;ϼֲGh^ɲD),j^BLXGLE/x JN=j{J}C (P Zi= Ɖ!M}ytT uI}V7`w7S0Ъ@^dǕl(X3j%4 Y$06C扆mM2M&yD9(6k&#]{.&9.JjO:v1ܻV0 /`TnI >nϬc#9LHX ~B9 S-$O_R `zXg_C!NgBN<\H}i`k Zf-m1Vˇwk\ njh;W;66] x ԶZixv~s_FFp+ n;o6_׵J SoT;X`s3gfw}h1wzߝ#g^SJ2u\]eQ|Ɓ҈c<;RO~ 8.iENo%ӛ/7pfL9Jղo]0RD!W ꣸>2Cj^YJc2pM BYq֜_<̍+Ƙ۞mWnoJ*!Pـt;FlEeXVpcGhm?Aݺ0WJ 8h oaO|%9b&Ug,\2YEH|iQ RG2 ]$w#]Ӈ&"峐K@E>46 ̈eԗDԛ)[TdQ}57.[@`Ȟt΃=ɄˡPl~ms@̛1@ΊmJ|qYs mSeI 2!$udL$GwJ V y[ 2%< ]6))zԄ@Mi  2ugM SaV(A;Ln[[ǐklsxcNO( tM1](F`܇-Dz'قtvw6wZ$}huM%TeBn7w.9Eoi`ݬR5s].:Qo+m%c^`PڞJ̙*%E !Tڕmj}7 !-i H]Ҟ KcZiRk5}n+)G賧=0fig B8@fCN; C ;Xn5#y+v"ܣ2>Z増7 LoUEo"Q.]Cy;ߝhr۬6 ^Fc"+g,Ca|P?.QZs/GX3;cPvkNh}/Z/v'N_ƖGOzŒ)hroK^u(*aAi{7,HDz*̞@g̟/O%ը*e kÕ\ dS6mR!e3# IZW&u}g]N䲭OIiDM4|!q`1Gpݮ|vޕ :6N꫎u)S8wc=AA7W^Nm52>5pP+㯂Q|ГIaA #׉}T4&fG 1Q!7`.R\=@pB,+/G &7. ~\ŦO5 #> iؒ]ĞtRM狟#ڡ Z:62Dj/եhǙ0 k9- c4bY{<$ up…;LWUh((<;4Hbބ`_7":o>B511K ϠhqƢI+Y֌WIvIzYݲ*gQϞYS#>Ens=M*|wXSVŬCUc,S:vƈX~fMC:#7Ñe ^ Z!F%x%k A<=ՉR&FVӝI3^[)3zVp`~.$5XguN{T$;Ȍk-Q儷f'4Kn3gR$o#\k9F!5XB槔D(BnR9hJǵvZPr: .C]{X_=߽fu\??L=p=r ( $8GN|DGoԋ 2 2Y)OO4s3ö́pʴ-}QY{ٔ]Tmv-pR>*3gj6F˓ϓ'^Dku)[dߐzE %ZE PUW,=oҫf$O='{0|=(DXM |]_ <הQޭix).+&C(60mTv.Rd9ԝ8R͞q>Uk+רGyHCMuHO,i vaB_$5OJn\2n+"j$梋U;(HUt,+TTaaㅋzBN/{YpѰfg iB%L4ߜڶnEiܐ\ `$V}ᕴǷatZ%P`u?8HY|kGUvb/&ΦaM?Co֘f7) O`4C*Ble A T. H6ҩSFק3ȷ%E(M6rvV!RڛU/Oɜ)-QJYN:U#Ǹ4tUt?\4uFuʨ(ht02s̼E|v1:|$. [N-"U}R ⶽb?ݦOCj~n%#Dܟ}匚0Jڄ-= m7Q nbCQ|wrNYSUQ0(ݿ QYblߨ!1j>V́B69כYg7o$ G# SoHo%PĶPv S7%\o0ʹ1S3]cEqa+ѕ!f I.xb&Z׊B{ Ufd={b^WV(s/ž$ZK pK@$u$dZճL2ɔUՀ.dq)vUmU]Վhւh*YZ"3J]U-"2]喨L"gW-əkeBpX0 q1UYA &"go5TŊH͘Ulf+vU;"rf#t(D$g6 lW%LmFDzo d޶bphUlGDzbUlLv'? ?q @0P^)U\ŖfLǏ1R*d8L K]D$7 C]EE03@@q CUJ!`0&*CDrbnaUmI4rƄ  1ǝ[A2LHnf!_ cC*/[-6T2ǚsC5ފm4L"o a{.U7u8=cA(\w/\=CB tcg6fôe0(cp q|+s5 )'zY_|Y_CaJHC/\AqNj2ʱ az+ UFNZʼO:>fQ:Kf~׬_8cɵmȇ"Ξ %w\Z:3r\RڀC9piԘUEa'Zy`Wۗ\i}r`j 0#g%Ѱ7?Ta/8vįwDxycdG@AC-'M(D#3{҅paj ;&K* j{]$A~_eqĉ+Tk_|~^qmHwhx(!oc"4n1 bAw,VrPVeK/wKH^(xDv//dl'gz;Դ5xUjcܛ1f,mD.lm7ϼQ%yT0<Tp. x…Ȱz8}O9Ț{y|0>\QʴuwJ^'iVEU)& q5޾teŋqddL#)pW mq.6.C~s|BJB|@#BZ׶ ri6/er i΀ 7o{ӛ;B"!G~4wXoFKs*cm>yNmml&:=xDLniV*vOAYQ8SŪjC%캨RDv2N gPCv9ο%>M~c=Ca:qvx+*0O=SFz8 5 _A HA>?>FћTj0|xo/{@ܩ)?8:{Sk]n/ϕYj)s3(JQ.*Up[~ǥk%{E =$rmP@AJd=[Ũ3܁ UgY}?lG WuYF1C" a>N,飖͡ɕb j^v>_8dhSi [ZtE(EYG7ydVd9g$֏]_?h " x"ڴ-ȥ)hԬoJn̅ju?PԵD U(ˠwT4{j 4'^tٰ\9zT^UZ Ե `hk{"$\YӮxzKБݝjh݀ \f"7jtR'PQa3Z³U9rP.qS,_X#AͯyH3Hnph2Ӂ_'zV@??۸r؂4yH+1^'X_ln%F{@jmWYnj8bڼzm8N rKd]C5?hck ܔqOK'R%LPx -c`-e0bjffnmVC"O8&Atyp ؉mhIzd3 GނwQ\o][ o;*fe;QuM*^\_jPy7XܕEpKLsi9s)4[Y߬;^ 8lT{@{78hd?NjO} z6X73˗x/rb3i=Ypww/w\;$jT6@lC.FO\IFz$S5 O}1%2ZQ^MȣqFyf3Fs(| T 6KF}U=jslI#QOvfGڅW hKc H'_쁫#6ё!sd;7%Dٮ J>j;-` &RZ2*z}٤}ޮn*YO[\:\ڣ"Rl~5%c_gn Ddy4LQ˅māFX'G)s7; DNl }gWuynNK?EĻ^oSAci|GfU0vl>+z&>:i!Θn*QG8T&|`u.gx"&~PHCF[drpr%-fgZ؟rOLp]K?✟_?XCV|۹]o72jn4íOG;YfN )y!{zS[6M%t0mݡ+&{}}<B:oĞc= E8د6$ezx78W7BQ  %M}@,s#L`_xZn0eE:vW#ӯU)d±U븸T^- LVQ[| ʒ' __n)*7pZxblD_*L{pm?&7'U#Ο|GC?jIbIfXyX5cN$z[yfu=I]+gՉ-HYmv̟8o6e^YSAVo29FJ~r|A|8F&KG $=qbد` O/٩eS+pLvyQteOTp szXs3试yM@hR3Q ȶ[4/C @SV]u ;EZM2J]CXEpCsCCYA+`U[%X ]=+Q Ŷg$Z+. _UfW"TnT"jRb5RvQ5j>nUNj 겙wEYv5jR"} *.G0ԸƲ?jzfu2WXѻwTYCٺd-9Wf\(e,įTicoQ^m7+y5sЃb+cTy))YG%̼XJ' rS$6}H~,*{A%0 7o ,Z瀞\?A1 6r<]aІ qhaƆXkuِ=Ghl0ȇ*mQs_sK$$o6.jKfQ-!ZZE;SpdP!L"~@; <.A.w]uzQ4^Ƞ"2 *z&ih ZMp\~ɽ 4;Vȓ)}l=3s 9(ReOyi +mMme~.ouj:-'mS.Da*>[ G4v)4VJCF ИDWm۹ZkF2g9=m0'a-)xJ)b$'xxsB 5%fYJд{ cQ*~ͭ9*5{ŏb-too_0z7R887*efNG9:B72Х@NgOM FM,4*; 1^hg_01ZSn>o.Vw?(MX%[տU".:qaǑ=g |O~IyQa$'KV@࿠x硏΢=,%qʍ9aAƧqScAQ?&ǔ(+_tm?yS`-péJ7 8_}  ²̨LeR9W7X x%ɲ]/ Rꝰz]ikA}.=-K%ķu1Kâw}򨋿M&rvX4gK tG0A KZшnvI9ˑ^T+(B*tmIdhӆfQi.wPyl=7K`Uun`z1DtXc9aþN'wPjrv>5^iFVq5\Q]FO.'.(qAD\5h֣#yC'Vpk+zl ' _꘧Ā#ra%[Պ i  ;7<.^V{:,K,Y񒅮f4Wz;ڷtjShiWeyE "0K6ƫWnʁ7m&0IZsAlU#jRU<ݯ*fwοxOf6FLDfV4Y5Sl=U3j&"οhgr A cP"z42*À؅RA$ĮHшؕ v%]@jզZjjG(pYsQmPHJ h.]hABɡ0wrwWgwwڢض0Cf{itgU,P o3}."*Ir;̶Pb $cY jwƔ9sAH9$EHZVDҺC Bpd iy 04IkIJR<X)J9VC(,kQP 4-c )- IkIJr([P@?KRV$ɀ!1hXJkIi-346ZCQgվ٠5οwb}7>0hp(HXȂCAvz=!7S.HPl#PPKBB҂X0!%Xv1ݯfh#_о1SƒMJR"ԗP#pqQ]*,0,,"P xO190 SE~1F/םFw Zҽ3Z%QKlt2̠>ŧy Գ%Nc.S%ռG` +5 %ˋ͜>};{C$IR: v F;'V^Z*%`aJj`ŅmX,UobxhqPA}P$`i*Q-| - YK7guŅp(͢,r*lTP-.4(u9\;T@;[o߬)YAixJRՋmHI:=Yun|khۖsnKy~VŮ|&|a{PScmOZBL,c:Zp*)s c:8|l  @ȶDXeBh)h | qPd8CVyuyeYVwjs.Wwe4[8T;i.s%%h^Ap3'IHm7J-V W%I=ɡ#zF@ {VCh&3m\umwŽkl,AEfgUݠm .dc| ^d>?VuJ b%HfZ鸧!^`6%0ZPu`w#cA/x 769׫܎ 2m 5FzWr'kPwt?ت>`眧$5ҩrvXӹl~%̙6 }t,97+3ًDfNUR &!9=wLK EȇU]p$dy)mQfbY6=þ0y&fږa $"rg EoADTEę%Qޒ@+Ҫ~yiMHo! }YT Mʝ7ͧi+~Sf|){ ,9)c+hn|Fe~oNInol.!$NրKh_y㖰G}%Q`T`[ V џ. $7P&?7:B@d>OT/ H8{Wԏ쵔OE`Ez/zn5uJ'K}?욕fdk Ky=m8ҙunDWcwVͱD[gÛFKSvpX8 ;/a>bHYXi 8@3!6 nF7A<ݴXnjf<`mrn^TeSQeeZmT{^k39' 3c?pimZĻgs!{H”A4܊R]FFN2TE8A֨q\D[x>Mh*|WYZ*ֻט Z?PGb 0$tjx(Z# p"hN$@CȳP@,eX)Dfi<5\-)Wob%䳩u o~w₣Î"VeH\ Q{,ch}n?Ţ"ig,SW CMkAj1P^=S=S$_nȆk,.5@7pRCAPSN#1"3b!i0ԑꀤLiN?8 fX 1i"IVL5V\(P9ӥӞ>zI5c/^b^:z6jr6xt6u__t@}y% †/1/Baᕡ8KfgΊ*iU3\b@})HryLmR1t:! [-V(jIثbt[t ˌu*!S[J0 K_qԊ0e㸣̪`FcŦ!1[o<17ě36,vZT˫=,oi>т{h%~*m߳v.;9ߚdW9a[ h}T^#1gpa}ؖ0¶T]l^9'bh4ZWH")0#nF/޳]ׁt)q$6IFvOcshlƞ-:5\܌2ɹ \nԿE,Tijq3-ΏpG@7%wL-@koWQ}xYMmM]~ 3Nw0'_Һ n|TQÏ4`~aTkwOJw‹FxLiGB*=Vpk[ZA#n& @%'\4EV]lRg)B>{=7/.72#9[XJ>AZ#LTb2+>%Jϋ\˺\%㉬jjɑ-@5J6CoFd"}7PETT" h3@bl LЀ-c 7`r@|CE9gjTwJJÛitx!aԃȕόMÕ<:֬Um]47lf4>8@[U|oEK#c_n鰺e~Ua\: 莰`N}BQЎ ,*}b[ 4^SD>5maO{L(Ʉ+l2'O!jwh1HImrAtC=P lPY\](ڼ+mU>S!}5KưGt\#x)smG3D>2c$cζM6Lca!=r PI t|jRRE"}>i.G "ލ|Hл3 R7_ĈFvZtY!9.(ͼ|* y<`p1 M)} OR,h%uǢ$#݅=q."x N7 .N^gb⊥g%@e2!siYպxoce]cR;k跳CN/ B&R`cŖWR.&_16hij1Z 1ݽrݷ|x-CR-L(R<x)U@F,m|S\}N)WǺX}:\T62eCt( ,aH|nd X4!ݗi7zvv/$"s heqZ\eMVOlYP'q.g$SlnsTK?3 ITmf}qybJBoB`,3VruU0TG%psׇZ[,c8+;p傻`ׄ˲F] h)E5.L|T:U?sV:c.!:X B".%#{uMsC8MbH4dp& 42); \h<{J]wZY^Iۑ_y6fCfD%/<k{Ō1[`^ti{ܙR~j@ ^ujm/ dfiXGsjQk,WlkZ7r=utynXEg/7LIT`GыIDja X)ܾ檪k< W|pb~Mn!uXڜmm%d,aТGRGmh7\axDۓv< ZiAW3mvYh]ߧ@'O.ՑXZ6ex@:"}f[) +<?c/.erQ9*!^b20EoJA&Cc]RAZ18Hַ%?QZorG? !W5sL9$  S<1SZ4Y"5?\5.Z$gωJ:qfߍ>!^Fo؄Oӷ0,)JbDAAu9K"kdk_ UcRS`! ;'4coB"PvzaEePZVsݸ*6SY3 EN&YRZn 0Y}Hh@IySHѼB+c{̓BEV럄Hd뮆p^ٷ%ԙ\8 ʆ[:lW[_*J+i`8DTW뀊f#ҙ=$q255ctoZmJr> ,تŏA;i\Yγ=KG#,`݀Tr +xHCw~&~B IU6" bO7g6$:SH PM 0r1B^7j-"USJV 3XP-͢"-͏4(4(`¡%wv"H4?RZđZ$Rګ8! hhH)UY-,Phhګu"KR4_KX э#TKDfUT\-'$38HBU* yh[OOOOD?ϗR-_JK"'`gWK"Ǹ2&BUV]KDWגpfWU-b%z 쪪JܘGkčyPUA O)I"uGfU ϔ1Vr~-xG{4 P!Nۋ&Rp F NDeDf%|W6_JrQ#S@TɌ&ZBYo M\f`u[0m5dQ*6"E;pN(_ !KFiP]Ga愀cn0k0><5 X&+9p#C g^иZx_>Д 4sm}0NXhc[kkj*]rY'&p 2Ϙ` n1 nTQm\ j +\D 2{U9{}1i>@d=UP`0sR81G )WFޅM On0{IJ!iY Z)JmkׂKD ",ޔ ;6XꍇwrBKSdPRok5<}Hς#mk`q6.+Upz:}䯠ݵ'_PASƵ~EnjK9YrN>1+ ^ϫo5)ިK)eYZq:74V9u-gh\Z A-= 0)&55N8r.pf.޵S[^o`+ ȣi vm+bZǔkQsqT+JnjmaYj(:2l9]SЄ*7n,aꔋ"96,U;iPm:6'gfy*EϮ:.ֈ38b_n]Ժ`24]~bzWŦh$v`sD@d@!sE+.*&񗐯5>NC?+C#{fb#x l4GH+XB_7Q/eb_Mkrll"%x6Ð`[t縉iHw<׺ɢ`0ZZ.kY͈O C7|iqrgB8[8;(a\MQCo|`C> !s$IvT~wT4.9)xqX}hA?\e ROiDv4Tm3BG/":?gаPϜC1ec;D"V&>cFK"qIZ(g,[8ۓG+p8V7`+VӿB ? ulwy T XRP4zM1: &~ǏD-[e}o ~L Ȳʨnƍcjr&_lscNl*@[ب.1LM=,v1fEN8ʹB,dv/3%zUW=fDf)9fj@ in] 2ףa/ Xٮxdֻ?={٘a&׮9cd3.3E LC SF4iReW vMׯv|j>z>-LîXP2\䰖n`f@AN 2t)pY~{Tab{rߞܹ{F64yӴj2AmnmnO'$K-A+˽== +Q!Ҝ .ľBJ,dGB$fZ5b+f8(n>R_ Л8CLqcl`$ Umk&~"6 4L곘f5H}(V&pг 7i.|dOL|#v7eDz&٪dGւjFKvU4z{fC'o7r|M?uNۛJ%=,Ơ&K;m .V Oqn6[ouF r4!n'FįeTVA$?!B./8w~TEdbW5};`f8D?V u4j][r$9нunҌhu3V{z >a;d=F]+r.1^ BJEHq. ~C%JszA^c:jTAϡqv”@ӥR&u;&G=^Gi67iXr0>kdĢA|-{1nd6)G=5mUD!_&@c2p__xcm%,P3EOW5f]e_tВ`= ,0~or4f~md|,[A<9ҵ8~r(x {'GD+W9V{A~PΒ~ }V ?;(,9)^j4e[hya5n~PLJzΦ5^n|[O劗da)d?W@|j @]3E*rrfpW:t K7A1 ZǨM|$Fd(J3`k]Ta5hFJ !2iӂ\-;|:=s^Yl]'I*>RQs+,F>r7џ !,x)-^ziƵFvP[Al֒dm6͔t,Ѿ `i407f,Sf-`)luT\8%]؈MAZGD"aTnuj% oi힃Vz%RK *RMHB)\ZHԫ-Ϣ1^a4t+Wwߞϊ&XÕMU։||ݦtͦ Kkv.B`7֓Q^nUAhbk2QZVѕH!Kǡ@>K}&Sc 4Fɦ1艅Uͣ+mdT4_5H:F;7PV(S1VU塱pT )PMP zĂQ~{y52 `ɋg},iRjH1vz EvH^Gn(6МL[vXby";.[QfrًZ%V^ZY/+-Lڏ~Dk6˕Nx?E-59W f*E|M@>iBuI uҗ&+˕ȢxﯶXL%lMzq">eY )1 I [tٸrB>:B L}0|!s:G3+ ~UYj'thAW crb NakJ'YͦpfY0F@9SCHSy mezXcrQ ֢~Jш0Za}(nW2HS ZtQ.0M,Li\8jM|r rS 1[O+hDF(G7rf[Qv炈7GZT}i94᠈xGyۂp8gڞxJ͐6,>(V.RY8x0ss`2b4*ZvA4sܽTI7PqBOHCUÂORbwɀf4X]*MVqֈƁ=TBl|,G2:cUZkVz_{ )Ⱦv!wxH5!6o)i#W˶7]@#p4'Vn,aBu"RVz1̬? ~JK%B͸Jdг`A5+ƍ&AУa|*6/J09em x¹o{GŬ%,6B1fƄޱƃVïyMdxFpg!,#|qTvcm&e\OD<V*JrXiFMn=Z}bR= dvZWܑtGPcC}Ÿ/"<;"u;3+TK ߫GXFߧ"2\`Fs{3յ3PSyt'aD !`MFaĶAᏐ*@2dGtEY؝KYvKTLa8l̝K1*ݒD"c[!4)1 kMs)4:Z]nIU>! hXDH@83͖r眙UfK?v:8@љb5ݖ@2BGxT `$ 80kI{)YMk9G"BȄ,yw etG lwN{HCBlB d /P EZB4fXU$1Ym$9&1$#b"&#LVutM[wa,  Ch0G7uNMƚT %92I mhp8O$P  j0 3E1  HgV2ca8P``(ڣsz4mt ]%:SZ qX%tP\8푦7\vRhVu%_Ρp`f"Fc3sHRT'IN;ǘv$vN1dmYljcJɮʶ4N) s`48Njz 2L`TXHLH<0($$  BAP "P$XQ?"N3zX#s4SVOC AޢvB(|SO$ߧO'ДX1CgM`?ѵyҝPv|I !(kBlkQm FnZX;^rEn;yiv\9yLn:!KKɒBrYBpcI.C! řL^40oC$C*އǰݩbJ=j9χ56ZQ}LK=΃v\u־NZ)4gؐ[w݌tmKx =d؎哩,/FOY{T,p]gd?(_mRݜ+ >z/ pD~ |YyA8Jt;%vm j) GdWOŶ+aoz#﫫@ ֨ٮX.+a>FOlu9.9Ny%YqpLz(JUiϠl(q:MthhԉKe*N) @j;_ߔ &'0)ZdT߳.]kE N 6=vދvu)-嚿cu\qc&t~q- ֖nBጋrW4ԀH856v"Q]P J@zF_ !Qhm.Q*o%d #jֲw-˽GnL)bϾ)I0Y:L_0X'<оTs&{Dus"*FU$qr1A="8WR%Պ7o0vH' &5!/'3[i#6x6mtx.=nV#:>mDKOÖ1MVѦ5eW۩֎j' {eV츣0}1Tȫ)/tfVmؐ [x&-[Vw̞s;IIttӭg>QIV 5W,䐻/@r-LsEYhYn]VĈM327}öҼvuM4ki5j'46v ǽVt}<9>))EC5լKz,X7V.yzp!02dpz t=JMyX) . gG ݂r{F12oUÛk/Yv?W̽n-ۣuՉ ;LQ kڊϬ|6x\-.0v ^yu #<}7@sL^\׆(V_oBxyt X칂4v-ƔЏR;;PѶ*8}] },@U*[6n;L-ܵyX9Iꕫ?ޒظ27"Ʒ]8691ƬUݫC۬_up=ဠ@zhP()'l8j^ Uk7]mL/G4{42H4&FRX^)ܹ֝^:;TW0|7U[cj-KяɦN]V5&A [XNl1v6^7W}IFYNf{/q8Xj ұ-tDp(cAǒSmLFOOqx8G`>nit9B]XDUw-e ^P9 pm y :(O'Z>;%MVG3^yүg`B#xS(3ݛx.ri >lֲclYn.Z%o#=/T$ȗpjgEp/=ZK}*W"0Lu!S8Jn>k$O6K S8Z,5{ ܲm>jrԖa`S8*9@eо4KK<,E nPjB;̏)t\HTli'{P4*#ZvG{GSaT_:QٻBeY_< ZdX)*IDM}cq\ ʃ< tlжB3Tgalw祚}#0SЙtvRoN oC3׷ݎq t~%8BL h 6ڛXɫ6Y.6j;\@F'(tfEϱއÙA_'ɚ=#Y;mm`oh{~ NN}pڔ%Ձ߫ 4g;nB6X 3B^o \B2$3iF0{S.7M,AnäCXH?fOT&]0}$@3&vok".z6\KjB7R< ٕ: /f#QX='YGACB5ZyTQvXb%Vް/kޘC$cvY]`˿/%M͠TALGLzk/3faUls|XڦDc߂ 38o5(ߵ)?d3@ʽhJƢ=|lp45pHڻ2x.Wo/tsL( B-.I2n EgE$џ+;6ؓű%2fFi;Uk0;_L|:q;BQ\>]שּׂJ7} $8{vJvU~pZ:q=`1{}?RuHafO ǧ/LjmRf_"/fhR3%_({:jl5lIF>LXCN|3NDVڬ^`C +zXTo. )f`tz<״zoz h99v$t)FO\>+s,6,}t)-[-V]XҲ|qn+a3p-=qĿF fB%vsK2Zbl*Ws3j7Ѣ1|oz %~W'Z;/HJ[Uj"}@jCXۣ_W%sJJ WpkU-+ zEhyz9[Vpo[_|+_oD1{e؃놇9l/qњc1Mk+OnhZ7WՒW«gu{= Yi׷v7Q72wau $"=iU-5h{iً$fD)ATs~9n*T#wܼ=a&ڄ@9>O)-)lg⤵sT&_u;AmzEJpj16X?ɤuUz ؆&^e{G c2vlS fVkmCJG F-GfC?.7\XLP[QIخ\܋rX̠Of.pϥ}Ӯ(4A[[IC҈&4C}% ni:^oD=&}ݲWS\i𯈯ۺ5Th؁\dlFԒ0ӉUj3!]۪,`%%1CA,)'ׁ+ZuAgN;ov-T -X1>S7B/o:<3ʪEMU>$a |P kr4.ah2^/7k %a7^}b"LRϸZe |PuJq1"BxGOⴾ:@m۲ux|SWX7kru^`41?e9οo06N͟b$-2Wqt D'XӨYSėXD/#m X,MN"ҶV(xғK]]1!}7gaȩjBG8L;䰦F`ۣ)_=mPL5?;[c& VcV`I;uN*HZQa QpЉ(!G+>W٭||pB?+a+lw*4+;pestC 3?!R[,.lHp4]Fׅx)HHd2h^G(^_%\VTSZA'tcSj,/ihKHo b>xϘlOl]26 qktB:HdĊ;`+wWQ>2*1.о_3ʪbIch 8hkxRD.l=eE_ j; h[VVHR.Ǟ (LD,S?,~jobGXX(^ >c߉5U:MZ[O"FvP^.뒯<Ʉ“@ZR9JԤsŖrL{;/OLR/l4FjWu1Y}kwtJuHx vpf Z-S6i5 td8a&vh{D}1r8^ ɤ{-S K5ㄍ "qYoK֩ $W`H~s/gyiTpp(HN9*\0/a$hSYp5ޤ KQ7 UrlbdkU *@"Č#Q+rb_J!R^ KT4(wt %il\`5ԖoXw; 9Àtj!Ä`4 8ivI L@EgY`KiI\ kddeGQt;W[Fs@R6,f&Px`, !RZB!g֖lij!hHHg ClJdsy[?2GZr=zԎ]A, F*h E!BL jz%H ̡J]vt[XeFhڍx.X==-_ͨ[Ai/dN>)ԼPR}3LƋFk){X!bÊwi, *nFҕ%QNh\tX^w \3ז04yy˿OY}3 uiF1ҭo[ Y! ?$wdoz,evCc+k68,X6;(.t,c'DZ|C}ͻbPs6TbP=oڥZX1,MzUel]%:Vؕ׼gqK^9uU8HDmJؑ5`ۣLʫp^fW @Ըoo)~O[i;P^<*TYh^"0R%95繋LvP_: -jR -8WαhmA,a~{CzmK/$xI 4;ݏ'eLfIח=†)jPfp.dc9vq{u䍀 mnoB'm%k|s;'IXwz7,r[,Vyq?y:ت|ψ^_.zH|L)xM{^{KŻ[С:q{4(S{?<[á3(~8z&jH\oz5wkcE65WiuC̏,} }lpqp"*Bޑ~>lp)()A.l#TY92}d3Se45fCѝ3hA:WLn=g]!l4~ψ"x)6AQLwE@R  zhqm'V{Hkؙ ߃ 9ꫤ;Z#KAׄA-(#;Uh‘/ٯcx]!5Nefhϖdk-5lm{oJ.='(ZƸءX̚IpWel޾*zO741;ĭ\/Z-N]#}01YC,|5f+?[ʌzl083 ;-|@HViLM L- ]\pѽCk>1ucy.k9$YBE)9MpBMק{u/nޡ [@cQ#Ŭp՝."6 bZvIeݥK1=m[A`evFbg.~G=~ SMIOi*:OY!hGa,^-*w~c?NkEԌhب]49) jy|6<Ϫk>D$$]2q"Wrjިvڦd'>/Өjvú%/K`aɐ3/ jOJ)gB{D@apȣ"56w!:3L4bX'WeG@9R<~7U_oT=k10t{f"ܨ"V:`;p9`Qd'MB6tJ­ ~F~/nH]]Ԁdz2@vmP+>yZh*/Sm&nBZ*HKhC? >`\"U7ӿDODkˋ\z6xAE >ob[<1h1oZ0{` ?~jn:\ g6T ]~Ճ:զN|ʹv$pbZi} 7euP*r= pk_RP~fXpy}́Y;<8ԉ1"w{$9,I@VOSL,u]t7鹚X \vІ3mG94z+E+U7jeN7JZ)Z)!6/ - =ݧuҩpxlZbM0 r|b$%dp%(w@FOnh{ms}۔Ic})mz&I$/վKuRԛΪf# ]62ʯH} |Buu|HEyT[CB` 쁼4u0U ew"qt=ӄAdEGȥE .|YZo<7+ps:0/CM2gP@8 0O[囏7QJ{2Tdy{2VS=sBI)zNč`7?Q=O(;/~3xILd[#@%@oOy`KWv;_&FXFPK5גr5B0OQlT]eJ(!Lښeѧ3,[75=Ay n7l ,Sk0s `B}=]s۱.KUiE 4;g3c\R'Y,,*fnBkV[$ +G:veUNxgZ.z:Q*m-X,GU2Zk xFx ?\Z3zoַsW\۶jo֒3 džƋ4B@y /εFJgn IWƵ+!ChX]Ĵ:J2AflXzP2o'AEQ~#`"ؔ3¹aF!x6cxRFlt4('LJNy @12xSJIJϐ3GJkwgTYh$& BoȚ BdgS6k_2KmPRQz6^< ś'?eX BCp'Rc!^I?}&ϖyf2{N%Y?pZ>iR;8f XwDhGz6S32mWaJɁ0+E:WJR@>5 AI[)jHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Examplestheory/parentsHOL-Library.Predicate_Compile_Alternative_Defs }@ Iy/ *HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Teststheory/other/fact(/H T:+ i``wCOfH,53XϨ B+G@Pa3wW?3;-˟GWGC<{й7z8X'L@0g v t؝xqc4>x2%Љw Ǹfp횭#/;yvIԲ i8=ʊnJz0;MԄXCz8Iy) HOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Teststheory/locales(/ Rpif_+YV 10|hjו};u,B: IJkIp, ?!D:OyQnOMس4+d\J = Iy# PHOL-Predicate_Compile_ExamplesHOL-Predicate_Compile_Examples.Predicate_Compile_Teststheory/thms(/. Lj*mzFlfT{ch!Ed"8S(ݯVUGjᯗgf00풀s 8-M\Qf"ݙUqi&!_[7ᝃZa#:a00Hl쎘V #WfXTI <84iƍfwfM\Xڸfe\hdY !i֌X;'H  FIugA$ht"Y5IHipX fr(ZQaQ¡ (TPA8 GbaNbOA0X01((C 8̂ N$d0a9(,xgf[FϯɆxNJwajPPwZe?0 PYM0vY٬0LW+Yܱ!]] c<(9hvU5`DJ0? #uk$fC:<12 »kk4r#4<@H$&iwl?kgW3 "R#=6nL`xGmULTȼɈwfk^O͟Os) FA&DQ%gXݔ|Y#YEK$VSX dAEat@yQ0aI<FILs8J$0HD,+M8Ä嘰nf5LDc3VۋVqW{vݜX4 讪f"Ww3j"ޡr_=?UKSCן9y?y?ϟ9D4hyfjh+4S-X'=[4ݴM@svL-~ʜZ$VIX3Mkh (P イtO=|lo_nJWFY a aTb8T,V  hV(??Gw]]QS]?M_?G?oR̿/oZ vmljb4 #Q =ƙyiO뽾8m"#ዊpv>wJyvQs9V2?"Bw-zxhyNb!ԧN (]wیuW- L jPK#%X FSBAmJ t#f=潄$6J^.[KS$%LfOiᅢPrPJIҬh!c 9>ΞMhԉi[fccc34ɶhI@a)m6a=܈W53U|^J7ӧUEjǶ@0Gk"($$Pu }oo)ݱ}CSWJEhȈDYJh dP2( MH\JH(wC̠j @A> XP[z4(>"*6*  P  H HV BXb~_IXf_=$}Tyqȭu'K\}ApOHGeePw{YrՓ~d 14ޅ0sȞ&dux4(10Aaƌˢ]Xh&G71MJT$yx'Ap7!.]K٦8Ǡѻ#AloW<6X')AyuܰSӹz%q%-Cx!ˆYIHۚ_ BEˍB?.a"Qɜ+ͣ.(X M%mT ӵn6w4 Oe;>~huw@d#C:~y |g!4 {GCelSh0'y'!˞:3[jSʊ%ɯ\cnkH H,r`rangN}b,D%;Sc3W e 9.8AkXnl\FkBk>7H4tH65)Oqׯz_,s.HRs W5+6Jphy`R̊sGJZi,nCȄTO@j C'kppx׈uxZ_u,.TAA> l7~UwS!=5Ehmi"NH-6Th)(d甉z6_ :쌯0ULV3j "^mjl],,wřT#TsLjkg6ݻSB|lyHzSƴ1=]A9ހ04gѱTjeOg'?Q 5F#Zuݎ3URҢM/D_kTtDK_Rѝ*Trc)d>AHW n T՜b5q\*hjq=̀\3~Ȁ":lQҹ{Q6ɒP)Y!JזUy!% |ޒޖ|4Iw;Kij@?=Pg݆:|SʲuzbIrYۆh]pA=h2ɶnK-/Wτ?]ӴgFxMr]Uϔk&/͞sq2¶zN;MHsaXD`d ly2mg 'dpj&!0Fd5%TCm4-KЃV ss[Aqdj^ypP<v`JFӆALrĆVTJISo=V ;cua,WY˃q)S0NԠ3soyd첢 4xT6 ]t.rpO=v%J.(T%AM1o;c@aW33I@l w JNe&Li͍0v dCC3)q^ h^F ~CO)&T8>7HZ Χ}ԡ]$v7ۘ e}@FY&X43:ʀ(Ad9株`ֆ UH4hR֩4ۖ)e؉@ha tQ2.Q/0X$`j]ʅT ̛s dػD;}V\>xNܑle=B|ԒM7a%jṕReo\4 H4Ԃ~˹춸X!RL]i&v6܌/hS /;X$L2s?H/횅5JC@y%8;c PUji:4/8QJ\Ìs;5[|%aR^f Wt:B (ӡVMI?{1PK#$Fup*ЀʡND̓0cҚtw%!rcrwe|̪2PSfR=iSDuHwCP =O9R Cu~ݱve?+ZgZA aQ/ -Rn3v;UsD(*-<ٳtFLΜo HF.7P.tT\:ԣ/k@y\&pdb6tH !ҥe5;r1<&-J8 ^yֵۧKQ.HaM GrU QbNN].j^c̐r]\ ⷖL{fR]#JĒ3eώH'܄|8^& @ 1B&˲KQKI{1BK(N[] 4H}7V,B$ܙjřCtH9~aSڳz~]'RlųRڊ8Sx3l]Pr`TTL<~TJNWgXR`iLTޤċ9 oa;y2d_BwϤWȳ5AiwR-7ɴDTqelO&5[n7 Ij~W]fjs,bP^ ~`d㍷]Q,` mW)Śx4-H!&|{G˧7F;kJɹ'̦ZBLDq`ؔ@o} LyP*+vr7|쌝~Y6;kFeMn ygfY rX߂h'& 䗛lQ+ηehq2 W\;1j"VOTkTC]ye€L%|sBשG8-?p |s,m RkAϺ$B(F$y*?u ] -]XsQ àfԻYBk1k1LDGWgn 3?pS F֨R|54Șly UU9wj9Y(G,PWW;˼w.>t{^ *ql>a'l"eJVSFل °--xo[LdsA*/X+WkcjC\%a)}B .|E:I\Qr4LS)eVG4~VRUN?L6 N$x'=:lZ%M0Iߺ\]b. 2JNؗ{Ff+uQp^}q$l^iښ~ɑc9)v0mA ]Gcw`Nh"Y1ӕД["̖]4+?,46&%Pd; v:S_p6ȓ-זr[JIgEm$g- \+O6Դ(mzs\QӡjOܴs51~J[X®V7,՛YFL tu˜7Ҋ+[`.|%sګI[Cx{ljn_Li,#)"~Qnv:Yn`TAx;k*j.UB)KTn>{N߀ɾ:ƖQ.eh¿1٠#{-SiVQ 65KNk_nc+:ONUڨ~rg9%d4" r_J*˺d<%.(=hyUĊLʟB SfxQ"2!QEY=+0P3@ yuJS)8譛Eօ Wx:Iqd ~DU!cgwïHZK4h} SI "Ww%&R*>誣q VD&oŌrX~wWRy;oAo=Ƹb9\Qޒ ]C KfLӢKioEjsͣ [m6! MЙ{ˊ[CLIn[Wl;_ <"9Qn.cL ~Gv+^%A&Љ0PFjG˳٩SHT9"KThӘyG nܴp5LžHtѾKs@s>4 5b Z[Ύhͪzlkeqfu rٶ{m7t3CWbI`tFK s  6Jh_KW)yw@:RVחfqG4Q,n`-db*0含vi_{l @S3rfT3]M>JUz[RSQ:32C="j3!?1FǢNP9Fm܎yջoo!rШԳe?6BJFu1v Rf1#\pګ|C4Qxa+>tĈ"s e2"5Pt^9K".^7I1E.:7+.>D$2N&>=Ex$oQznD1󌪀|kDU6D 10!ۯ<DYj!&n-iR 9%4ch,ysL!j|4MQble37*ɫw<+M4֧Q:~t5hJ}75U_%{5*;S@ޓ? k7.Ô 2"tǠ%rl= Δ5^6)("\%] *:@Sdv;-c[0o ỡ8!r.BONy_eLXycAb!7O W5kCJuDre"hI^|ج/ԙ (8XU|NCN4|$9\tdr< 45<ӫףGY*I5#<n s*#Ktldik̕桑x]EF O#~ÈE>XYc;5Z+o0$_7׹❲i;Q\>i{cypDT6MD4їySUFeWPV1 HU ÐNiqqPjL_)6$ڜm0i`zop.6 ̗'k;lLvO™eԻ9pkz2k>}rQ\P/vNt= zhĆhE OgzT+M hlfC)i*ZVPLlj-h@W>fvt"t`J{ ט Nz>kgo[%G9%^ ;ɦ葘^57S)a=zNkC;gqe߿ ,RҔ`ySJ4cwX(>%T>NJa9|991jcCx~J|yRαnjhw@-rv4āVY%'!FG|)Cvh:Cf)%:dh|CQ\<5h C!Ex?Jsݧ s[[_UdL\_g뷞tw|-H`-8Ann;E#}S>mרlډxv9jwZIrNowc#m/wP @PK#~i,47Vm[Eu_amŠv6v;F5j4Kj")S4uz9H }/DD"H0&R=D6YZ"ЏĈUD'dv"Z=oGtJ=HY >ll@XLX\@<$( $C0 @0 ?e 1>j+67NVXٌ"rZp.}}_|MKS_@(g$ftJ> Yȳۅ_G*:00u}uj?aʣN]&ۣA~d'-E&äZHT|݋EH_&.u6oE[()O+xhJ FGC[跉BB|uuGDAuBGK[XOtHz:lᰩ"D1LIq}|\|aUv_Unyd4 ny ZJ߿hb68֦}eҏ2iEH. U&|ӹG@ `h<;%*2e2@|2;c̿ݳ :QJS!>_ "&]x DX|T}#xH>(yxJ38:IKUѽH~/MRϺo~= l" ;;nA7o_)*kZz(#$Kx{ Tmf!ңL1DTS7֧4n|>5͍1j2'l⿅TK֕ *ཞxyi%q+\Ev dKyRf !ʻ86B=p.rJ‡iSÿ%*{8R7sc/Hftq%z(;St'|(f֫:M''f*!Z9{ K_/sW=>ĉ%gKSn}Y/Z u"zes@ȱdoh5)JgQd; ^>|J}uC[WMTE߱ckrNlPtj/0VA3Q$InBmzNa"F&vqvhnʹD?2$B&!/xd_3n9s5I+a limEZkh4ꇏ|t;=М,g,o(=jhaB?ِe9< ,>k)eqfYfrOteMa9 ش9]Tn%hwX6M=@Ry1Wh U#[#=2hv"`쵽'̚c֔_0LJcA̝:{d5\9IUQ5q,bK580XƬQ.z\7';t8!P*qj1{ F7y V]jF~Rs{>? NYפG7tO2XZpS&H\gUv^j4n'ٔXGNjִ~ߍS289XcWnQŽNiu $8,+.V+ٙa5{elQP-Sܸ=*3&^-5"aȤCbumu=$iLen4(`W0ũY,Mt%kM]4fl] l&3nKQ5$U9^zSJYD OLϔd*W  .=#:ߤ7X ph>@ V:u˂%DfoD^yndݎ l2w=.;3l;4cU,0O rž(:X6V3\=|[vH^VY-L b}73?Tu#%p'DBy$Yv6H XQa=“z#_1Iz_`,@u8WZ~1&z5<~dK{M~{!Xy0UOsR|ӗl7)Z:ξ8G: xE@i/AN(*]4tнowyG6p"x80Q^P:v#4z d7[B#a[aZBtVFcG%b A[EF]8bqɻWz:UR1%BqB:Z"L@O!]emN~aPY&$?뒞mlK~^j)#AAE UbQFb"1ߒI͵Nj2 `a1|"|aa}Zzw]?qYL0EevMK?U {sZCmpyĺ߻;U$qnqHRa ,I@*3 ,j%HdD M ד’fEdIu2ɈAGM0Ԭ:m=];q7ТE:i`OU"_ChvTB9ƗΤ/vwC`7WLHbp5t?,ŕm)G&LѭxҶQdh9YYKI-> MS/8[q~P+EI7`A0->`B,œHT7[z]噛폲Śtio,֖?lol\.u@SΞKs-38{/p7MV=)ϰr*7uڄy&AırTKU t(װw6zPpܲ[ +fB_fBG/o+i*:jW_v7Z!wc}[ YXxk!'mQp!񗱲ơK Z,QK&#|%(e\fH6kG!&!Xqqn3x$MV@xO?ɯ#Z$#!%ƉvF&0 :Q PF1&3&F5JnD7Z(ɪ?oT;eS<È %-;vXngeVdZpц +Z]?1/Lt mᒂϮ>IZ# I[}L7Y67NbBr}O /~Œ W yٶd݊2uCBH{ɤ#ds s#Wxbm`Ĥ벡jϓƘ2Qầ_)z3;B@h 㕕Z\%-愬-ywL]Pou*"l4~$mO1Z2uK8,'S*S!֌\SoEf+vil0OmK Hg>#Ks$Uˍч S&ɢPY}t;UŞΓO ᱧ(W!U$Ü *=TUrwFu%n?:DWU`h6c\fOK+$;##슌+wP ZB9l ;S :;ο),/:n5TN*{ܬ]l[R""ۇ6K5nb> VhCFEc1P/O: Q.4ߤՔ,>f]iq&`U]K,6- bB[IyZmx;]p^N|0mD7ӮbZg-ҵKPS35(yXEJ=`.d,Fδ$f{UŠ'ʢT&LN#llgU<zZJrN8wafӪYrA=_sA66,Y +w!5y~,PvQ 2 k*6 5v&5b,Hf6åH/.-M5C2tӌEfxDj4B kDkvGZE2ֳ##7&w؈u|VYWb2f~F # rk9ss]3r#ld9RrDx7@%ǣ8Mo8XjlqYKhfy֊t-g}~Еof@nj7 4= xaJg$!rqT[/mok[asMkt> R.Dm\, z*X*]@&4ZN SIB' 4)Ra廉ѤQr.;M9&[SPfʟH> }jzV/NӵKcyߊѿd95e ^ s3ਤL}^\Eͻ3좷Q!ZKk@oOFV sN?{S!zs};\Ƈ/?X:1N@~@vt${᭷敎:|a[c5H^6Kˇ$8.<2,.,   @`0~1:U!j7I)y1@AS+ӫ\-BS׳OYae{hF+nfEkhQvͱAxRԢbr4X:uZ NP.O)l_Je\@ESG-F gYt5_R˸( ϊ>W F~9ZwZ${d̋7})*:G,Fz6":OB+J7cy ko3eCI5KNYK9 zgja |hq%X?`'g% TRhKl\ŧ0t=΋ohMO5bo꺺><`´8]A2l (/Nqy)#{ *cLE:#ެÿU7Oj.V*.)iRyehbmؽubVɕ+#:{$fpYgtlPtfKMEX07i.Kt( Fm֖"'n?L.k|sY]WVTo~A-^ ]L,!|k MBF 9k vmƚ;m,6lݾ@r8K6<>o#o#8 zg/ؗ?"a#վ aFޤ6ZBM+7\KuiLL%`]S;_tӯm~nL!׶kԝu, ajmͼч>]m>c@hn.֞X]N#;l]Fʼ,6R _Jژ 4ŒF3Tf.8:Iiuwnѵ7u<66 UZZ#.ro)qӬ mmcu]*mQ8!ۖ +e콩N?a%8josgαxt޳"[J+"i5|zlJEhF8ܮE[TB_8ޜ㱧:3)kNY?MrNW_ԝ%(qLZ;ZѬھaޟgW>e&=ղLN ryUܩs_냅kD|j1#YE{ҨRv=YcSvLs)j>IF_Oj|:=~uRН;,v?C"8YJӻT>)pogI`)6;8<%FZ?C-4x;L>V@(=SЪFyzۻy͆oݐ`=IC~yI:d}Md(U YX~pc+kW,wiʊh%~~,>?Hnuʼn!a_MI,>s>C r˧[\)=KYZKs.I W+Ț\M6j9I<<FQnr Zq(.:zojk&K-2p~>7g5ZR^l)' ^lϯ?&=u ׄbISx(S^Ɍ~РVN|/iY,bۘB˕|Im`̳}1jϯ>X|@L`(,)j.*HWLmсQQ_ױJ5rLyPt.KJ@Įd Xul):e_rD'7YFs97=R.CJ@րQr2OQE< Ԟ'Wy2 }6ƢW9#mIL.U3eE;׫* k-^9bA`>Za#{DYe gXQ[WMH)Yv Q~roC9Re.FXDMwl)ۘW"7:tR*|[I'}tչr]NNNVУ}Ns841l0+rUs9c 2MyjɹPh5ciaĞLn`[˖n{j\tTSg9\, k馳:-k|epnСVjZEIQp&QZ`TX2r-Ozm-zp-Vtz n[^myuJh9z2r2diF/ #mWOp/W% x2\ꏡ;-) ٢ӫԭ !K>ƶN㷡K8/^$%NM ~Am5]Ѵ_(W; "L ֽV; yql=zrs?]Xt`:&(I/9jLrRgGC1}~R3Cw]x*ZHk%bJW ~buZnU X$-l3&~_]:kpF Wk)T7{F˽ڨ.jȺDVk1|&j,u鰲+rҢ)ab qe %hŲYΐlS feҹCڌOP jE'#tA~c:g .f4.e\iX2Η SZ UB'\?-DCF0/ huе\G nCО4ZF*[V!F ~R:9Tgm[v:;Z63H )iŔtkw( ?fJMNM?zq|`J'4O1QF&VM .4]fAɊoOny,]zp;h⛽} Hܧh+Wn|#i , 8'H qp>UPW\nB ֶz}$.Ѡkp tO3εUQeDT?"Jle]lu06w 1{ WE)}4bԲ nm(iajǤ!qG|S5&?k4}fM&u H \Oc ?zژe};qR[ #3T[!Lm2ig*/Ccq9akÛG،C'Jd?_,-̱˨#qNU4eUv ;h۬RuɄyҎ! C޵뀺GQ)EWcJZGՕ59Tרg 8Jkc)ߴ̒CM34* 3}{)P-;qgT+<6'pr2jDɟ+5o䖂o#0O=HFP}HC(}SSUc+ߔMz+V<l< d#4җ vc}։6Nu1]zXJx=u@hZSX =ۋ2sĄEE7 #ۣyGMV/^^ODw ^JWóOqZ4W}Jt+&'CW͐CPJOkH8 q,5^V=/ |ڑAi϶W;v?PVDc9D .`->&:]nmL>`خQ2ڦ7!WQ/̧Ar&#U{(fMKܚnKvPI:L|LM8v^^(ʪxh_ߪ}Rphԧ '`_1Rޚ}i5fJ3]}8!b14_Xp* Xӡp-(D~ v<:'Ȫz̩9 94!õNCiFr2Q㠢ieDL7.M"G[m(*MEhJ@nSRj!Qm7ȭf/? =]"]39PV}N+6@g