SQLite format 3@ #.;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }}x3v,D ]% Bertrands_Postulate:threads=4elapsed=49.042cpu=154.040gc=2.6327zXZִF! 3]ŗXiɟ{4Ɉ 6f3|D<>n\°2ADZ`;K#|ߧ!otA6T@! >Zz J B~ۥvݩ:R$NrLQKϏ](z87XEȥϳ5F% er9FDr*=l 0-H'{hNc}W W25j8ϣK f-I' MsM=V/GG{,0 XN$O T^ja(i׸9 E#&UQ<(A-J|#S }pK!Bo: @4b7qL'\G]{(:fO[O[mHM. Bp(e E1% g/J<uT_Oywo~b_͛1r+08"x*HKpNX.7%QL!q\o NНpۖ,U҅j7fq1E/B*GDY"] ]3\A cEYFlKOCtq+u X<~ȳLĨݔy7'r׸zJ3SOcF NݓO7d4m~^O+rA1h`.]p7٤DM祊ܐ'7< iv0vX9W> s%8=3GJc5Hĺ= z6m"iuG/p'xO;UUJjzCddAžcI6qcZU?񨲑Y4$K)2!ns [X`E LI4GxHAtefw)wt[x2zlhRa]e&3aӔM,>-4+}V\瑟=؀ gRagYZ7zXZִF! ]ŗXiɟIPDOB`7"? =05KGoKJqdmf'u 7z&L,䜱gYZ7zXZִF! .a]ŗXi%BzR"m)SarSL)QÁvCuT~>di3=א@p8[5h֚P vPa*(E$u hcyXc*/+ nY2%ٚwLʨ;_2)[ /t47~d&ܾiAh)5f;x5~ΑB}a]jAMcaӫUN,PE E!!, n{A튜,HFdQlxu?ˑMBLᱤm[,?jCv 1m8"V3X_w=y"۝AL,}AeN\,/B`!Aͳ_ͮ6֮Vx黽:t+tۖ.=M< "CLd %kY0hנ" zLHcTprL.WY&߁Ӯc:OIgIv Ĵ k8u1xcq:;<aߓC8p,L8t/#_kN,5n-X겚{G}ӌ2d  _ִZ=9لIU<v&|;J0ǸqJϚ s-9Hurzzm!{>ͯ*wcー`<|BHqPN-cX zW؉/ہV_=C\r}1P]aV''I$9{I{O= ir-y~OjtP*3m q1uTXbCcRTj(}x:H_ !LYK.IJ{9{x1U,aNl-vWay-HO'HT @ O܃̤n3#"@f Na "!!ZdcrP&{}e_^T.;K.e+'n:iqp@df/L`$ \ƳRnڢ%tq(p#%e,[62F[  zCSoxkۻAo}, W9Ta$2 [QS %G)iX# 3 Bertrands_Postulate"p3'% Bertrands_PostulateLehmer.Lehmerdocument.tex7zXZִF! ؃]A-MՋhvG"uIBm5! 0~tFo3h.R$-W!wRC ru㎲=bfjLK灲^HzG|.˟$/ _˲韇Rŀx+EAۻq~Sw'@!] PwGE&V,i RCtIa0.FA"V cFCl^zRɲf.(]h^q jvCtz;3۪ǫxʶ q3q4=,)j̭(q{  lt9k~>԰$JB i]3X}4jZK.~@SG 64&,^i}:?g8H ?wtb(u^7+d:?k|2(<,yB~^񯯶ifodT''0YC''%V uu ӆ_ '5&|Bˊ]u T k14'kjvbۃ(Q=":KJBPq犑?a۽0S?>s$iz{.|\ͽЖ`L>PlpDԐ}6tADllk>2]#{E}vRP-UWs;|]|M }Y?10f_^2W59lH#gJJ#~Pll.%M8)sYl~ !Ir3Sh<܈$>]~Jtq|hJq09a-vpt<~1ZM}d%j'}kY#?:8 j~pP |hz@"x$ - 3W% LBertrands_PostulateHOL-Decision_Procs.Dense_Linear_Orderdocument.tex7zXZִF! 6 ]A-MՋhvG"uIBm5̛֑ 0I8M\:ggkòkH MaH^]wx5Lڲ6Іnuya"\V̿x9iu7 6d t8azv:AzLl if2[¯]d$t,M} uUA؜41Lc0Lچnv6g<{Sv.$඀7W̓$GƳHG>C7vMؑ IE bwIw)'[nᛌą&VT9흩}fŷob~ Ȳ" +@ N-|_nk5 .ߘ OY6y^+F>|k"tZt*b 1oЪ{5V |2E-*o t(%ƄHBVү1 UX?ӁVlT̲CVPin WZeҫT[.L*T'E.⇋/YY/jظznnQڡ}[ˢ jYr%#*@ܫk`N B?_jjCJa~JVy4e'NSd 9*YDJv6|3*6Y>/ٜsކ{?izieVȒ 1N]S}3̖<]'F>\p~`Q88ťGN)Md:e~d~>F]JXq7DQ LUxI^( *ٞv-".gU|;N|X+rQ\' &:dG1hqiXF&v[n۫wB*}邱7V˟{M+31p$w& W,wfs..ˉL{F U_7O0=}=wfZ su0Bz V…JfmJ'D $_^n=cSF2$<9RDqA #$WF`pZ,%$h)i4Dpm[p[nfN[m6cT?f̷;@HbL|A:JQ9w3NX͐e)R"S|]Rtu+- @` 4lTl*$ɷR`N5~:ISݐ编ҍ~QfYJzzq5SHYegF0KLnh]*aԎ=OB )˒AkP<*w+;aqM^ѝb{G~15PK@s\ VphCm8k%[}?4[fD .ZcutJXr }ɗ-kd[ O-h7C!!9 .An.S:dR@/4dYl  :A3E%Bertrands_PostulateBertrands_Postulate.Bertranddocument.texL3[%Bertrands_PostulateHOL-Decision_Procs.Approximation_Boundsdocument.texH3S%Bertrands_PostulatePratt_Certificate.Pratt_Certificatedocument.tex23'%Bertrands_PostulateLehmer.Lehmerdocument.texI3W% Bertrands_PostulateHOL-Decision_Procs.Dense_Linear_Orderdocument.texlCњ(XP|87=d1Żz\,3p)^>˯q7ڀZ ,w&ӈBfo љd܅uhB8t:bFe&]V6/(<{ecGP`QJ !ؑ@PddiCq;J8+㏯;FR&\p>ڻc w\Vb;.X5.qbM*̕e[Gk"LEXG 3N*0bv 3N 00O\"dG2Ošeq .Ga[_.7~2cғGqֲ~৿AblUB8c:fPYՠng /_׎Hj GElaN|!i: 9ԏeI"/ɥiρpB5ڗU`QԼ%ub^k&d1HLRǺ >V&$?*\lK'v;hw162c:od,mmg5IB120EZk9 gXR^tLg.ԫ+y6:ƙوZhrϘI&B#-#櫥tq}qҦ\m~ы¶j)oSX ze,C/#m4dխ aOxsKaʜ88 wdn#i2,N/$f6t%I Sr`'N=}@UUIlIh\MVJ0||HܖnIp#tc4):E vLT+ԙJUZ揨'})c?S6]xN ak/QBӼ })QKP&"qgqkN#!u͹],%%+%ڒ~zD1I-Qpj?͎jb:AG3MD^0zA|(@%-) Sq:K^K6a#}OfCxqķz.Y*4q)x5t i a3+!9<~oȅ5t ed%d ׺.`4Dz!3/ZOfbs40~ * ,+T?ӁL׿*LnPmS;-DD^S3E$OGWks`=¿y4TS T7KgpUpyhl 6xeM0WUbH7WPrp8qn,<cÊ6i.kKjh %}}<:DHA>_硬9i:r5Ouon<29:O=&4ʀU4es@Ba2.L݇4V&*_g|؀IϐKS6Ty|̡}*PdJ؄uUcI0+KH"=Z,O`=sdd4z~w6V=N-n)lw&;-}oޤO>q'<T:7f pEO5\W6G. >uLhzZB~/Imw+\4k9XlWڮwTVm4"l 4Bn2!¸}l^։h6^7:UQU pZc@͔= ;q8ʆQW45v{n3U3.7ZN^cF|`c&^,7V՟<]Jv%,;Җө-aY˒/ե$xyU:F(;Wx~bׇ>x/- ;y _5D %@ xOܞZ`^ޡaQ_ |v1n.)uQv(vj Ќ,(V̖!Nլ%+@u__(o #R\dFkI`(7v  t*-\ V*pg Mo4UG? )q=ZOali@&rqTy4y~h"^I]q /ʴE/M~|Xp>kh[CVl &1D>lcnUi3 3Qؙdu |kGĝ#hlG^`y'6i2uL(gw$:m!) e "?Ex5bE/忢UϤ!9P9BwhSQ"ȨK<r/DZA!!4j5bsXQ[_?ͫ*8^8+՚m Y;E41#$8G1&Ş֭h[[FYXSYQˋ?@$P*X.s PVİ7;rC8iY}?o˫\^+ye\1qq5]y@K^. KJr([w>"n|hn0|b+׉hC$'7-}_DDxHv5&0*4)xI\q>K[B+ CQ+v;wI?MUJasąDUD6H 'x cQ~j#.:Zp:e1 UNY-`N/7|:f!bqO>j*(*F˟0|6pB /#k-YBo)vӣc+ӈJ 24Z6& ŧ2U=^+ r1tf;!^'X1>E}?}n6Ɍ=(̫*xx c6ݢ;(ͯ.=]42jeXPsb&AZR23]YL'p ''ɔjm٦VbWCF@"*/F nOVg=T #K0v#: +h7؝V}l$Lo׃g`a/ad7u>m)Sm{PDo֦&xNC'`.Q2NկQ8C,kO> S*auć,OO n2bX w]x`V} |D{ŧ3@=Ogt7d3 @KַsqGe1cWE +ܪOm@&,n Nb/,?/Cw-0 5a/DOeEO[_)ru@'Rr}g覔 ~xj;_i %g3sTnf7Իŕ@ʖtPc׭* E#i m8~.mX$=*tN_v_OJhkN(jD9dykzP_e%?5q2#A23|ю>ueSL1P-53çy wZ]hĢ0ԑ,3ڐ!f劣ճUg.Թ;8jA@0g .o *X,~|T't!mJ}\ռw\YoC);D2x5WnQ5sAa` n$yA *9 cYi+vZͥu( G?lr`ﵡcThC$GFdj!5ѳ`'tf¤E HD>׉1&S-'dm [&Quq #imfרɟl 1 +2 \┾ɛvZw'+JtX1ޓ$ErY]l u7.ck%6&2VV˘P߫BE/N}rhlpQF+ޞ ptCyb2'v9qaᴱnZ QOB=- Ήj;/n_Q1N;YsU 4?`?_Px47Ēۢay(Nx ynD@F>8z+e|l xr k⎑'I]֠oEA_w1b#5ӥ۷g(EpWى iPoCwR a@rɞFlS-trPIfxS-JJul~Ȕr<J2Rw20i. :kC V$;jJZ&x^٠a;QuYenN3qHӏ #c?;8نUԏ;!KK JhPӖ+_Dވ=[HMYr N \ow[5"04Κi6]2yG~ub`v:T33~CVK鷫2ՕS:jG';s.Ov|AX9~ݷJ8l6E`qν e[ՒuJGlWh BcOO5wRxS[j،\Z^:OUzؒ}ASo\ȁGTKI\>vxVbXJ1^|SWP1jEνii[(.5nG>ښXNy%Ǎ&ac/NX:䇝m-rS>HvZEm9#_3_4ۋ ?UkQvf}&8y^8y`Ei5Ԑ~_ 8eoS"?`嘶<㐏Xbͬc0kE? -*O/8RJ?{S2؄~Δ?f+8`7^vfKj Ӽg[5+i{v(qDՔxcW7}5k{m˼ۣI._M1qdkq+ۉwPg&-qhStђ+0^k$M!2|1K.r;4(*a}kdȩ Ttalf_&pbzJ]Zu00 pRJiQU ˬ$yB|"w] eI@5{C7mj< ?e/lj%LlՇNJVPDBbK=*zt= dž2G]KUrQE*D2pMi0r\J}7BbٺN(glotTTPZEF$aOVKiAx8OA +rXԸ!PfB9>qwazp 8Ƭmeepmleڃsznsg;.wS&&˻Uoa] m )حb·dQ--gg? H2nM1S u/9$|EOw`p?#4&eڔa9(R/0vK7f X%jfhv$[X̘n')E,#; #™ Oɟn@׽n6kecVemw0pBj~QEePRgTMh#tCcPfz2cBfuTit?®xÄt>MS$WRH)b_PAuAh16KfXQ+eFP>jk9 |(ۮKJ{2|0nzhXq(dUS ~M}8$5|j7<|~WǺB{SlUCCR.a xorF7˸DZ:Uze̳QsY gmH:N9A<ϵ[kS,^ȸ@:[0aҹەk;' |}u _~@NO\^O}F^< -Q#6~ ڋZ =!yaSOʳSubN.ٔlrJ1X.&ⲊD TgU.Wfa6םNS g,pb՜A^w*ƅqHۀI%61%m2=fӲ I)"]'{rW}Q[2p;mskXҹtm7<"xC) %=a½oMRnf=|n-hx*VVVI&kaP.{ 6}=# ,HYCW4kF35).;@/8u/]Z o4y41&TJ17)mqjwyEщ*p 6,ZmS![2䫫%7TdЋ_єF?. o]~0 Q*QaWVesdZ 9;, fa EAryxwS1I+KI Qc# \ʵ7^ ![r~Ɩ5rlK2} M~!m}N i*4-.å?LVB둹8kdh1V i:iw8hDEW0E9>Hg}QluέȻ*dJiq@{Rʅ!F-v^:+T9yy٫@:(K%D~apCiY&!nc}N`l0vzh6)[+$t|"Il'|J2lU%/):SQ3ѷm c!@L(4ΌP  yZE[rjg/A$yd}<`k@e6`S + گڇ͚Ԋ(ee<ٹx]b̀5cE3Z^]mϜܦf4B(67Za5u9q_"=K? .\&N0~;%Ҡ=?;*z.vGΡG'|P['35#᷂o}CV?ܴ)dꨧ)t^Lnqr.n&6tov{wWdwQI^AJy)ȬG{_UrЕB~s"HOˊlBigYZu,qaf$cM_uJRl5~R܋`{%ͫۯm4 eB<}{M]AV D`ήd-Bٟ2iyI3%y :s6a0G.h֩a3Ge4i!a=1׵[V_F/l%Fmn"&mܙ|)Q>%2TZ>EŬۅȼ*?܃^>MiuPٹL`htFl|<2#uз ) &c L CKIhW+.=mTǹ1mCBOPz<t.UqfNeeǢ&I8Yd`Ms1Y-F\w%FW8BE"r1H=.wc}}8bz /KK ֝Jnmg|7Um4WȮ:1fx9^%AQ5s~(ɗbaؘ6aL 4:|~ A\I <_ߌw>3{рIp HǪ,WOKA[FzkT uQZb-l!6c>PZ1ƕCeZfMNà#wHW}E[(tﳂDv 8TV2}JE# @h h'-Ѧujc "ӡnTt kx3ޫRW-2e!5|镲=ͯrJ6kΫ}9^Jp@2{ZQͳqCSgmZ2 q$Tpu\';$L,:-Zf&a ;SԒ8Z9>:I^ ]` ]HV"PY"Rv nY_.i3b'3%}>g:襘 Efq cnrB(}L#^pGk˫ E1Ck0q%hǭ{C?ZB's!?E`1C{穠"Gu;>W:Co89n)SMN:E'OD%5gc6ݝ7,Jr• /jN)}†0Nfbzr:S-m>%cIJN/7VAysgwV x')d\^E̛^Kg,zer`QcyJ?2T|p' 4 _qøGJSu:J;_Le+Lv綍V+A5iaܖOM#.Ί;no*«y-IK|:判N'*N>( GTav*_n3z'?" 7$8o-)de>j_R.ߔsl]֑^13*miӟGݡt4*)bY;@p-Qr{8KZ\׭zpvj#EC{:xTBLcw;k "b [hge7vS翪 .KqMD3fotf$ATJin?}. K[nZZfuHboi"'+'~?=?lXNOYQ} x*3P6R2jN /&Gيt_~Rpll$$_ڦrwKSJȥ4WL{qܺ-㺦R}+x^6s Nۘ\PE J+;,b3\s n7 Q6/(5 PbNE7ŃUniӂV0{$ )Fb Dqܓ HQEi@ތJο+KZEq`4zMI _\؝ uӺU0 `KV?2YRFOS?yZo畃<2} b3BK=$oFQvADHtZ;/hroG e\ .}mT L7V ]CC̕ \4dDFb#d: jc^[/ڹ I^-;xv{Vl("BGi-nmfB.f ~+Y."47j:M*٤pܰS_/+8c -h4 @]%M.9`{sѐ__ء @dqI18Z}Rш!NƆM3_ْxQlJ[}#N;DŎ.d~iC ň5-wS#/@hӂ@tV ͌vKt0Ym ᘥ=㊰ykoi\7OCn9I+e9D$rROUm5*"TZӛ,TCu,a{ :ld}Ŝh@oXLlQmN]%}7*h~Ź]ӠoEZ/(E$!V.1`XLR%; L4zBS~v qH#27?֐oXHW[Z  sQ!<_~Y8Ml>[{ERjylD6j'g(%U(B =-=2bUS,Jr{kգ_C U5xpe].'>T ˳il{YGgq C+^_½? wyz?R@4U[E68 78"L/GcWkЭdR])}1{3|{v̚T@9u#2N੠xiK.S,Tt[r]gsVP]Ȱp]c"-\ "Sb3Axc@kKJ| zc)."V?4 k2 -y`XR˒d<ȓl}gOt)>;eJz^As)1le/\6xiE!Nir :l`IG_ 2D5 =Nv($ iN$waB%t: 9;5rp]Z cѾO=9xӃ9"i4H 1dUnz]a"ֲ6tsT Jj]ޡ|653^an6=* r' W+ am<;xw$EEў2l&l[vAK[yⳏ@Fw@{m<6- d3PW76e7Zi섻R?Z%Cc^4 .J|wG4(`gYZ ѾEmk6ݾ盔ز.#=IO{/ LsBj!?y;lr[6'F[y>욠KCl0KUV"kQ!lFdh!4р1'\ܗLEf%E}UBi#|BiSOfxiƻU:%&Q>9P;AҺF [jc8BfFD5᎓nIQXV9{QKllxOPDvmMUJ"𼇷OE}cA䰝1}wݓ ~0 #YHgs B9 Uk 8yl@#q4γ\u6dҽ_gU2B!NJ_̂*id]s"#1GuG- wg03wEzZ4tS*sJIC@5i(ne鐦Αm2,oà=t4ssC?'(N;>!Ğr%:P)[9(!ܫQOTwq޽CқF_EWߦ츏@}aqvfW Е4>6+ܗGC33lV4I$AnkjAlҼ'(޲dm!vZkټAȚZ1'#XWсrP_n|! 4xګR4Cbsp*U/ΤnupqLJAdZ2>\NKWJxgԜٞ NDJ(9d&xA\KlNe-Ws{* ea\}HL°$q0c:{x"kzVuhSDta&fv%r,|<Ԣ=I!.:/ғ`\-–nt[|;ǻ1ox[OӘ2:V2ӎO+QCKa!kv*Yz#,hsYjR5Lm_h \vʗ޾ IusB9['NHť3t՜'*T3c 5T (RYqCڹ! Kd@t &p;bG-'A? -A̘`荃jqR(=ŒN]2OiIr\7nڙQ8lŷSLrnVz`__'=8Á ڴɋcy%O{muaP@ ء.J Cі'02}iq2.Q˰ P}6Ҍ:)iVXa\8V2(?9<蛛I$)}◳n/(^#Ӝ9&FOd)1ds(Ȇ<>c xpLs-"_Xj#9} AWO"Tn*0|2&D9COfvhMM)2x/c <`B,-N[ZOc}{X5Y~0$p0?ȑEIaZHF{-@>hc>@aݯ4D[A> )[]B~1G/!/"Lzm{S>9>C䲘JdV: + )}*Ƙ V%8)bCvB U2r<ѓM(o0,݂pl?vw>v+ېBFiYx*l~@v^Q.9ekS|Zhah}jǫ9ͥFL2x"lej(GŤ]X3)k'6Όkxb@6%e#O=O1B?gc͖[NZtØɬ<+uk&ԟ^4Man ͥZ<ٍ>*Xo11z1CCeVmjهxG=]" IQg 4)6=U-Mo>LUC8hojyB%fu _7xf1{=vwO%&;TIinЄNP4-H(94즄ꘑxBzd[^@'*>c1IhC5'V݋Fד?*XKП(p*s^Я'ϻO8xh*6!5n^g <- 8sT S]wϿCNudc>nx"* T_e=ೱf aA_Tj|fpcBM0]7u@0q%Qvs>Po3ĭ #%]HidžfKtrP[aX?*;5sD^il}7SK\c S bͼsH[nYjc3H|78֣ 7`ϏG}ԜW%NOf )=3_U=ҪC˖D Ej%ʕzdo1Kn'&d2k;^yjٰG57y'ʞ:vTI-y~_@h 9p-׉<CVpȦO0nߙc73 Iڄc!K6GB]]gWcxԊz7i͑7`Fxd]} \d~4F}vviw"XDS(lKsӷ8ՙt\s|wlY=TlI$1NoJ9?;>ަuJ+}ptz ޯ|ۗ28E V&a4}:J4X_\Z彘!Io{R/1'n6op D9Wܢ* #+_GPģ쇱WE:yzlfuv‡.t@Vu[(_0¿? G<֙_Lv;|}D d]U 34aj[:"{ ѩNӥ&N@,9$2qScRA2TEݗ4<9L,Y^\G/.3b]|`/Mg/]T;ۦnBTo գ9`IZFgV+s3+C4kKw rW+qcka<U8+xaCL.0/P<񜎙2~O k;7OO< oPq?=1 ukM R.MDyoj Qgpʮj%R#`4d1 TdZ2^k(u9D ARWl_;u):ZpԥUE3up$S G!,ix4@Tfhm芎tA)#p43ِ5k? Ipݽt;M97|@r2C@ƫW ]͊Cj&'@f@8摤eS1b1`I0m6D־'؝P3,uG[Ig"y9M4c*IL;%s՜i'〺l_z1׾[֧7`*^gK`$彐V!Ǘ<"#>Xg6z5+0,0ITbԟY!܉~$zŸ?rh0< _H zqʓY42Jxwg8֡ 6;'g!"8UzdܱL9#5$V&py>Hv><7KǟzԷM+vHvW㿵k"PmH?H< kC[gU:'Glo+Ƚ&^8u WOշuR%?*M@7a;"k"b5kBoOLV{AHܸmo%ycByT!Yۢ|cikTwL>dp&um&T5f>lm8U-eiE \)C ~Ϧ`19?6gh;X?,æ% ~aيOqr;d:G3BةV ƊA5Il:RQiN`ToiM lWZ| &ƶN1%LWL'/ZRIV1xcmR'%F; $Pc`և\δÏɭ9ЁwDmF@ٳ$ݪ 韽.v!4#6/;{)Hv(tn [5"+?O?r7xGpKv)դgsÖ-UZKH q0:U`͢arz0/nȭfIʖْ. ZwjI&~|gˌO``eZl+=I|x(C߱NI EX'$#]SZ%ƲrʘsCJB\k-s It!0ji$mh3%]QnL[U|&gU/~qX6*Z1ke%= h8t!EgFeD( y5zZ_m1S^VD_E#cJLLQ^ϙ ākی'uGR DWmUڈj˔^rXczXI_4+c'"ֳ9ꕂpN9#3w%/ȍ|8dwv8[Xt^33EiA,B ?gCQ6r5<(I'Vo凵k6TNL) X܎nkx2z37rG; 1~&XH6 b8&DhAȭDXvW ̕+l_VŌ+=-_-ٔhLWÉ,v 쌛yl4GͬhLЗ]L;+q_[*ƝO |^pj3cD[XS+{X;\,,k4g vc985A._eCY(,XlIM{oRqD;";M4]jSaE.?VI֟ۛ6I:b 3xN ]@.R"vg2LBڸ9Pf~6]\n]o[LB" 7MSe.k? L S]M50Z]uX;ɁvdIkMJ Ǚ9*"Nit^(!ba0O*뱳GL\ã^M]qtdmn~Ͱa ?l ``l],R-,ϓBYBi:6oYǼ z$ڜ^3U^ r5fɔl)(Կ_FTe{dw1؞?y:n}M?، Zp3y/ ]k-]8$e:w Qp,H}](ۃ:`{` \ ƫ><9#=ߕ4cRD,,ОEf {\^rȓ',ؤ7N$d8Bf2[7C;{r+n$ƭO2eeI\jl]6 -m" plDty{mm*&7K#$}kW"j#daC̃|EV$!y8YDbs~/zC ;O}zH"+Θ߉(dsa p3{m*P5V㚨kR`89s*62kQ?{YYUz֝9s_eSzae6 ^%%C$ztHB؉ZYDg444"M gLRB8nGy -k-#.{sjĶ%.o>i+ꉹG84y4@22SƓɱOSAZRԚ٢@ٞ\c$(}yL $AE\x>gu M{b>VUhJc#c,r+!R(E!ztJS(Ԓ`x0^4渡o睍/J-G8fcU;H$T9>WSw\ Mѻ>=6JVRG4{yʋKṉɃ1wt!(@([*`ZҎ=Xj}H1" R0m\ ?!٤49.fhbShXv9?˩4 BDpE?*83a0į!l޾v]~a\l#ٙā=]ԇKts\3T6bF[^Asg~/f/jHaӋrcd/Zf:WQ3/-A6x )w )ю{p2pB1j6\i"3E(&r-yͪb% mwky4' ggҁ-&gasnU'x{Fwf(ʸQTm#C s"o@WdET_]zgI_YqNsdd;2;o;ܨ9xMoEH\OCF T]1cbRE0C$>|i..𩂼xg~7ivQ{ lqܦ7$ev{SqbFSH븺^2́Jjnf 3rޑ怀e} 'pX>k:xiЍ xt(SOSDU]MpTa֟?Q@q&_ c~4eԚJʂGŀp'1 NDJ7{oN#'FP9\$G+`Zu'144qXMQ-V>Z|vC &_x!yI aޥXsfPAcmY(˵1 r"D{lم .3`'7mHVa/T#7w;O=ۡc?u:%Oe>zMqKfIQ#U9ޠÉZ4֌XxӰi b;޸4;j'AC@zC*FY~nH!*W1Nwo2cMw7`nXfj\*C& s+Җ`p^ΕSM`wp6=kYce3o/}rJpk/]XO; GEiAıey ZgIDhÞQI؈@3/g^~eYN)ŔPF8cUr‡o[tҨw@]tdXz7܊ ^*+8W/pVmq"TpE+h= fWB+0!V0[^AN2 sP-^:@PO 7N(=њ$>KQ*ʞ9xEݳ}Vzh5ܦ0U./Џ Z'VwO'y6][Ľ /4ơYK9 =r-+Hu lbE<}W|;=T^l`=IC퓠*/ڰFFT\!Lsk V|C'b  9MV{`9N\yybSeS(+1)a Z2RmQt@2 Ēy 1,1 qpڔᦰ ~tuGOBPi5SjR =A@1:=.Uƥ$N mjL3#jG;,!s"[uS M_)uO?0Տϻѹǒ7^<[ZBcc͇,-}P٢uDl)U('[fpcHT,%5xGxZcilp:NX@9q*"Ё>܂9~g[>&԰ĩCwk^r|yݪdOo Q՗@T5>)u˱&I` R{Ae0ty `BB-=_WNI0\ѥ5S-^b꾶<;Kr[`Oћ\nz\"^WMNp>׽Ob Huz+̢{Wg_bBZVio78)(Wo; %b Bn'BL?P+t}Smj5jk+'XKnbRvRm!$U zѪ/_Y9a/҉/Ɠ hTz'2."o/XmOhw[-4INxޚO˫YD(q1_T1E~hQHM+hN,I^X"ϒOBi~0"l}FIN=0#}٧qa{U5x{,N:f.5vG7:w%RF @:f]X}P 5ԐaѻO1}xhK{Ro /as[f9򿁼aukUƢ[Ԃ\e~CQEl3lMRzqo {;xB/+}8ƀhɵn/kH0Z0SS H_4H_9cdޑOGELNje֯A,}|פn޽s4'^_,]!dG>\mڤG?ku%6լ(:"U[#ә3""V2qo~_pNu"i乫卥m2o)|4c%ɲTW.Y/s'mJdO5nQqw?M[j KGѐݓe8R24]lAbqx7lz@[:K5o4 r,|!ElEkrB` ':z.;F2s{ `9'dg4?|ahY6Emg܉$G^ zp,h ,b%P.ق_J޵e`udĥn&1iI>%z]nFgICƕIsgW螙Cԏ[&JHt0 y35ޔ Ǒ?a6'r-Tbֽ<늄է58;LNS3"tE6Ң ,S\  zH\J.OX(Ika3S7 vm3I%Z}dkz[&a2Ey- ڷfJ_ ƚ)j]E2is_2cVWk>Ĩvjk4i]=&``jե愵ޯS4ǭ3@Y8N;rc}JXzC4P_Lyz{r)%E|I]N@Gڱ۬/[m5S5H԰$JB i]3X}4jZK.~@SG 64&,^i}:?g8H ?wtb(u^7+d:?k|2(<,yB~^񯯶ifodT''0YC''%V uu ӆ_ '5&|Bˊ]u T k14'kjvbۃ(Q=":KJBPq犑?a۽0S?>s$iz{.|\ͽЖ`L>PlpDԐ}6tADllk>2]#{E}vRP-UWs;|]|M }Y?10f_^2W59lH#gJJ#~Pll.%M8)sYl~ !Ir3Sh<܈$>]~Jtq|hJq09a-vpt<~1ZM}d%j'}kY#?:8 j~pP |hz@"x$ - 3W% LBertrands_PostulateHOL-Decision_Procs.Dense_Linear_Orderdocument.tex7zXZִF! 6 ]A-MՋhvG"uIBm5̛֑ 0I8M\:ggkòkH MaH^]wx5Lڲ6Іnuya"\V̿x9iu7 6d t8azv:AzLl if2[¯]d$t,M} uUA؜41Lc0Lچnv6g<{Sv.$඀7W̓$GƳHG>C7vMؑ IE bwIw)'[nᛌą&VT9흩}fŷob~ Ȳ" +@ N-|_nk5 .ߘ OY6y^+F>|k"tZt*b 1oЪ{5V |2E-*o t(%ƄHBVү1 UX?ӁVlT̲CVPin WZeҫT[.L*T'E.⇋/YY/jظznnQڡ}[ˢ jYr%#*@ܫk`N B?_jjCJa~JVy4e'NSd 9*YDJv6|3*6Y>/ٜsކ{?izieVȒ 1N]S}3̖<]'F>\p~`Q88ťGN)Md:e~d~>F]JXq7DQ LUxI^( *ٞv-".gU|;N|X+rQ\' &:dG1hqiXF&v[n۫wB*}邱7V˟{M+31p$w& W,wfs..ˉL{F U_7O0=}=wfZ su0Bz V…JfmJ'D $_^n=cSF2$<9RDqA #$WF`pZ,%$h)i4Dpm[p[nfN[m6cT?f̷;@HbL|A:JQ9w3NX͐e)R"S|]Rtu+- @` 4lTl*$ɷR`N5~:ISݐ编ҍ~QfYJzzq5SHYegF0KLnh]*aԎ=OB )˒AkP<*w+;aqM^ѝb{G~15PK@s\ VphCm8k%[}?4[fD .ZcutJXr }ɗ-kd[ O-h7C!!9 .An.S:dR@/4dYlJD{xυ g 3S% DBertrands_PostulatePratt_Certificate.Pratt_Certificatedocument.tex7zXZִF! V=]A-MՋhvG"uIBm5L) Kf Nq]Flu0J?}W?ZͻhX Z̧v/ޗa&O6!N4 EZ6eZ<),U(rB71}ò io,3X2 w'bKlzTk[iӾumN''` EYK~~/B+gZn`8+"Q .9C#r\&b5zN\]6ז=7WRI: %Yf+l";#fL)A+`Guije~}XJ++aPKsDRJCyY+5 b/vk]$:KtO[]f0U0a:v?A^umU!6~˦tٱ!Fu:*lpj8{~k,&!EQgɧwֿ߭qzTUϊnv7f4\S1*ikӷIvFũ"[Zi+ͨe4V %M> y|Z׉_`N{˿-$:Ptgxnˀз{9Ͻ;jV|+qn L%e9QJ H˦\k-cgj䀪#W)~Aި8)!SoJ 8 p{ݣe{-=&W~i ![WoD/|ܨgkѓ 9f}S=6O/gl6nWϻ bG+BՀa_62E?)o<Q'%J/PQp=hi~<&9ϡa)黊?+W+fDʎ!7|7-"4@dL5ưPߛ*[nV=i#55`:ӦtӲ tIi $ٲV>TQaTCQѶ{{(2 [,~a٨o( Ch ͮ{o6. T'9_ЃlFcw]KL&9 tZO"з_MTWB08f?.v^2Ⅱ{/[%\hMb &h̞@ 7$%,iS,]6oV:iqٱU*\eqO-vѰ "q^6< %v`_kODv_s Jc,uR?j<}s6; 55ĮەWsi\oK,Je)0ZB*1urrtn4Jw>#\[ A]Y` Ң̽2b83#Ifi "4-lH(V͖ LC(0,3(Of.+jc'wjڌ megS!Q0CJιB1I.%)xZ4?Yk|Dp3+nZ*6Ã)Vpc3EO LY  5Ǹ%5"Ksx-(RS!PZ;B&L~ai]WcWA6!D qG 4eiT .:ɂy[}qimd//yi罚} gB @ӛՄ0QĽ[M9h[RдXz~Z[F9PҺ3-4Zhg.n">6x+j-t9H[rE1{Ȏ%a@#Z5{Y7E_o:6i{Gl dIh(uK"__TU{W=a.S1 l483TH#Mֆ |/1ZP*udRKu-^<\8U*&ɔ|>l 'Bl7VOػ`ЧG1'6FfuB.>1x~@~ek)f:KPjig5]A^rB8*t>K^,)O0#؜NFJD#hY'mr?4v>6XҸ>{1M99&EV R &T'*fFT1Tpa;:& n)KaTUT9D+k{%2 G~qk>xY2 kld$Կٶ1s'd#:aGԘ\d*Y„K1 V(ş~'O=cK+) ^0+QOtxTK(jq=JcrJ5nM_OP!i<И<ŮqҢGܦՇ"5G;I[0 EY>ǎ; Tzz߾rԋr:5ׁ'<($8U~MPa|=$q}#uQa[ {f7/FO{z[moDJA Apw_.8 T bqx?b(Q'ãbz )Po}WbÞQ @9&~f7cGϱr30>#Ej|Fh*)1╉;t.zmmjL#+ڞ>˾ǥR:$ ]>+oqb"|ܮ<cʧԅ@jj)'g 2opFKi#e9d+W8tx}O4ԓJi7xwT?O_d͆!"H*GddS՗&؃7pzniCGQkX,pꊘD](IǕz,?/_uuĈ[:yar+7PJ@/z1@b }{uC";1T# c7H yVZ郢g eU5~ 'G3O9X2qf +mI+N=49sLp~_Vxp~RS9! ں u?sF>$\cyXLTkVp_1ߡJ~; )9t[K_Z߫G¶Y'5A2 /cr=n /yv CG,T־;b5w0 4OQ@xǹ 7h*_} qU¨5pa(}k}{=l͖gߥ  20Y 6xWsE]fmLz枡-4lq LkL2oVO롼U6Pw)^[~Ō䉴CtMFb䤊%̴5:*9EHs2h 9>6]aӱ<2YMƇ"zph}F0= cOîC*P%v27l,DfBm{%Ș_bW[P`e7ZSgm0M)]3oOhooצB||mr!P@qPP-7Y(;b:?mˬOv<Gjazp~*\ ZݧX?2O=Hrȗ8%83kK'edeҕ m˗O *(>p[#ی8QlCEjC9pl$r58@|edw4 z"_@xOC$J`mG-!P?k:uY~%[Hc.LΎy/׻;vEpֵVoC1AfrE 4<נտHI  ,K|,RU5mg8 oJ=" 48 t.P70|TE3c?CL׶B_4xl _'0<MPQ@^(I UQzKYd[F$A&YƟ.unN(7ljv@%zITn3a"9XJAUi6lP@"(KmGkf.Ezdd R1%WzvhL"UAϐ)mOx3¯e.8b-]],+@$T(A.4 GSD7T#O }[|/!R Ǝ.~[VS&ӥLNҼl+`X$dfdL?2.Hw&9fȔ  脚gie\%evܭhhi6?kŋt$eQq*튊}ɿ B?:LmF(e&{a1Q:F6ؠU>18 J$꠲D#w Jk_1NOXX}hԃ{;Ѽ!{:DB5JL&Uko!&oUH5mnyAH](ws+Je8yhk սg:;ʰ(d/Dɭ2 wT Q9%F{ℲM+ !Nȭͺwt*VJ%7y`$RwWG t̙-\\Wh~eǍ>y[ܥG= ;5lMhO.==orE^7 Fj'șn* q1#ns@6`u4F~^\|%JT-g'0o5 z7'.]R`*b4&E6Q@/ePACK2JXr@,PO#fg",= vi!X?;o#_i|kݍ挑^\-/¸P - uV"B!%r&{xDڞ.py`$MrbGţ./STBk#3Bj&PHmA*>)G 59R0 ڑxR1dBw ҷ=[xVf_aErKނ(H@\'-ش}6$*)~)5!ZhF”l['>q VTCҜXbIQb;;# >Vt jN]`n[%<SCh[MPxɦqm -uaԵ=SL:3-jǘs\ Msse' ,#F&4G߻ Vltj5sS3aZxe9w?_2FlĻ-Tbr h?D(ҪLGDUX:!p  y$LVfđ~{J={f$Uˬ*9LXQ)5I\WHhF-Cd4(*k}hI %p%R(ΔE(PPu]yn_`H0N"xRVVap29pojR05@b(ɸ 5LS  >9;M ALY 9 WVNY32OM@1nWO"ͯU=KLޮH0@2H JV%;2<9壪k6j!KSH꾸\ J4ڊec"[k`,\0\A 69oL3027ͫ+Kc|z^_jG6el?rH{lG00DQ"u4Qs!L?Hآ)grdpog($}Ov:YHQK"r'gۦ|("5yQ1v]H^<Qll84I&4˶?G 7tc8ƶRVهbWTC4X=yJLDIBylJp~[(J7jqa Hep9JYXM3FFD"0; ໫ss HTJTO*dse-Q9a{-2-gxiJ>!:(LZ F{L:!_mӾ9HLed8ټ2X3(QostC|94gHUkihz \С3fr1,( 8rS5 qpΦxN#^E}}`V N`fNWZsFbfR=4 kQv4"->v .JT2|e')#c䭌)2&*1^ /*u8qM}DDм+"tm:VM隍kթ-9c@+DTy:mJ'"ϧ"/D*+2b2O%g歾6r];\񦡈;'ǒE)Md551f=S{:_?ҋgplYu;ܳo\M9D>,߭3nCcNKi xXo;d2n`Q fi4Z-nUXɷ㮰~ou2D`a2m5FѾg4|yl=.d pLe1;"0gz*v_.q\{r /bDM8ԬpgµT-F6 R"[Y0X`KXȧ@  v @wCޥkâ+[4u:.o]#X; h&ޒ{T}"J(P^Ujz.-cڦ̅{1PҨD1F6uy)&3 )~w)MϪYhb*z<|L_cg82BYn x^Ez"[|# wW6X#f^֧X_clƬ(6Xw;5sסZzͿQ{ɀ簮ZMkibq$eu |c,*:Xj_ت!=F>r}27[5إ-6܍8:|Er_! 6(PKJ #G]+,J"CГH }SpkAE$F.>Y7B5yИs3F {wXg1uNNWu7+\ 9oS!f6wl fy,Mpģ5Llh$0r :uň/etg'7iZ\`"ڔ61k[0yյ;;dwId57cSď&2apimF}M=ʗEg:aW`qMU9pP1K*>%p/ZF&ԉ˱P W)Xق 㢡5vLԓ"fE|/!Ӟ rdƳk`^]rqxBs\#%T%!2] ޗRɣ;+"yS"xHi#h7W4&_wu%.˲xA= 8Cl ¬r˓f!<7컖a F__F[,#L(WdXB"2Q 3%0 AurH^Ӎ]yT?~D-!-9H̩L&>SFX͙/u V^l}SóTŔע_ڨs]@arkɢ,h+lTzǧcأ 099C=4mZF6O#DD(#; K_]_ Q#-& 44){2);j~{ _Eô冑R 1M?LU =U'=&!rOz#8gZ!hX k5xBez1+ϗJ#8Ӌv$C.(ZkFlr,i:Gg/ m](1ζƥx<`yh4qȲxL+aVsQxJL7%\S10|-AS"|R9<62-@nCV973ܣ,mu!s{f>ƖRj|BXP5 t,2}[4Vu)![Z_l-u_- |{#z/NT?!I IT:FXީh w ocSk*tm5`cҏ杌;gHLp AijLypg"neetb7+)aFz/8@%)o{XLHey DEG 6g$D ! H%:p LHvU@caAI d0b J}5{ߍ]U!nl')7'%/*TEّL?t]=`ҩeR'bǃpiשvvi#TtqwSN>7GZ)r.ȟQt=zJoQbbu/Gu8/i.{ؽ $x~ͤ@hahsYoO]׽]!lԿ* 3p5e-Ռu\GGPTWQxj@o@2'vFeq1*) ,*E7 NXxLAc+sv|ז$Qǵ`sNDzNꀔ(aN;NoM?Il_%iۂH5wMw>`<363./i&:?9:.}I2}%}@(p㋀Z ZqF]*0Vt[`ՊjlXHZ)MZh Um|?qd&r^gk($Y,b ι0z/ ' :)(mIL"v/9fVhǝ,_a ) D@.gV|iċnY?4?*ejS>Ӫd?@AN rR% zbt>Na  cD`aR&HgV0|g数6_ޏzʘ0UP& ī"D7c1_7=aw]ɘ(y( }`D]u`Xi" ^.*`6VQ8>2? b>1E0|EFHUOLhf`lmI <8oGuzn=7 hL vu0,ACΓ/1rDHgڷB8 i |Nܛ maI=ĿxKaVl^KJs3Ǝ!ybd;I1a30Hv`LKclm3ʊfU}5W_v%4I-MBJ:+Qg%\̾Kc[ ozkZW`S{/RRofZqh6QbpW*bȋ=b8C3=!k?í? c- aX7Y\#'4PLee]A[|9I6}NфFvv׿tOFJɵ6[CuGj߃GFJ&挗CfTu(}QjfqFEtSOi ؽ*Q0ݠBN፼|1̗Ю<@/ U[Oh @j,RyUlM }R10%QPkFI^)E8c2gZgFdpЋ_#`[<]^WZ#yz0Rl\uLHM@Z E;Z TAӎ3vbmn,F_4SV I)$siIDObJX3psnrV@ pFcȜϷs41Q5 @[7q 7:3B8ʴ=zP;3QI/{߹X"&^e% AܤMuy'~3=WYK;D,jvCEpDJ>;ix ebk\lJxڰ%O ṃƊL73-S-ҎnW欟H].s=$'j+l ~&Fnݙ4Cٌj.b9N Me IgA{AT:\l?=wlc.`J^ۑ  ɘMZlc9CYӘn|.!N{w0HL dA{;J>Sp JHu(8!HIySn9bEF V%ԊHU'a102+^;]C~ney܆1C6e1$1*ǖm{MIt&U㶼HVu/v6qה71 ջψCLG8hgH8f1f4yȐ9!yn[ s21GW\#B:2(Z6iЀkmVJ)BO"Zr)6d,9?Gc*NpAEٱ+ήia<Hȩmf=0T)Ǥ^+g0D9_\\q^Ԭj+OvG3]_YUWWً Ccxo֏A07T@o7~["{xI2MXEgNBȔ bB7 cxK *#uL73bğ3}#M!-cݯne@tc~ŏ}sKŷ@]5/xS oB 1ÜtHa!cU7GNsƥ,`׸[/_2*ogQA)pa8D)/8Nj$ \-Y=׻Srlú u'.0/ώw0-b¯<;Lm+?4$bkHDžc({]An>Do]p1' \r-,bt)SQ#xAi>jL<["́FpW/`u*[K䳊zT!휝Q #Ur92ݲsѓpԢ?@4h ڂdttiCͨ)~KKoUGSJ.?HF\SfRT=QıJ*tIÜ(>01C *}_-ߐ ɓx`r<@ ҥ=:H| ]9C2¢2cC1Q7[ CR!Rhk&4yKr٧S[BZc\gN v0:cyϜ_,|{%}k&wվTƑE]M f(" qWST=*zGR14e6(/h'mJPd"Uv%%׍`ȄIQ{hP=qbk a4mk&Pkh'8 ad @X B)%ʏ}U)axK5+~=J05{?V\x'm?arY.sHI\b߉>U~+Z1=MUtGʋAkO S!@ .6?+HeW?Kqb ֞|dzPkL=j?މ+ed 7{~~>G_$]Snf\UR8^n (ǫhK ]n=>1JH $e͋ɑeӨ(}M7\-nZ}I'vu(eb'O87rpӇvBt1M`RtVj(;v$@(}׈G`dRZo, e:B.R {w}83#ALf_u(κXVpq+_9 l"v\^ĂfwVh1MTgTVgA RՀyNB$HPA? -$/1bwNm*},J%^fƒjG+[ۮ)LD7*`g꧲NL'wDS=v}RBrD\%-Ȭ8]bE6˹C߇;}seXZ\ém5&%cUhb*IPħj hcY-84.(e' c0 b,*u˓;Z Ml>Ss=%ߩ(Cj N<+ tJ_I <`!YfS^[u԰1zhإڍ! yy9u8=Z|F_drRU2|ɼdA.`M'x6cQnjTŕ%*j6b/8r+,S3YxeaabU21aSP\YVZ1VOC݋?\ٙd$zp+x )XҠ_AqL^)-ӌ;{ rjSl!M˾첣x +L7yrEj92nBUN$šxWR(ljR\XT/7+82 SWiy} 큫KM1#d;l#B3D}/E5{^Mssp,:'Hf8i+YS}(~xNa/z]pŸ5 t@{K.\lN22T)IgmQ^|'Y( ]o>Gu=_X M/p܀129W}-~-%B2 (έ8vh ϖէ 4t 7/!azeDXw9+ Ri;duH|.)V1oׂyrN8g^Q"ޏLHa;Z|QR44#xe7v*XO&sdװpcB`eF׵&?SPgw:OէR°<}KH]碌%gq Rl>)waj#wDMJ`kwLz$Cy/JV (kyH8Wg@"pѥ͋[G",$m #j&ռPޝI4*rTSf?=_ S̓-jl-tIMWl{um 6,~|R~DrʙQG~Oy ,PbxAk #EJ?Q?◈4_Y'k[5`/큈j'fzB9LSS N&p*&5Z e1Fۑ]"PDBKOgX~0Z%?.Y^3@=oJ/(ی m-YIN⣤B @ Msq)zH6B{S9g^|. r1Z$_J^@vәxbM+<22O_O7SKEF:^3'UWݎǑ;8Ĕ/}Ba@<]I{wsJusir[hPpY9ίc w|?r@'Vӝ; 9^yK Cr3 qp NnBXS;Q<UYξ/~u]qbW8i!4)`8xQ!Pdu-aaSkaFߋ,1(gr[eĶC9g^6p_qTɴ}3fN?:ajuGg +a8L$_f.-=R_}L建TZA!ʫ U> (b<5Z)mll(z >o ~=s>oȩ4Qֿ=YHȀ ʱc'C~A <1@"Co$8HҁC! MnWDl/P @4 7b LSvq AZc zJS'y޼y1)e9c "]5`*Z։ݳ$µ5=] ~"`T(e֌,,i.J"=oj88z^9l@2Hɶ?)ҳ{}~ZGNS0zzJclo6Os/ӚmwWT;4hGѓω a1Ȉ P30+ z$VWMj} _ =coʤT;mOpNm->(=w>dSŗP MŦ5S94f?Ҽ56+Yeժ>Λ! ir dCf'{пBc-ɱ57Xo ܫh󖌂[`>)Ha1=y0ʓJ9;ʷBaM dO"{D A5GȚw5ĵ- }%0?5eEy8C".z{4xQlhŗAƗ.LLzx E-^Y:Įy {p`SЖ`1#\r"^꣠g>COЈSFu5}?ڃ9G^%p6y mo(HNp*ݚ__sF2X',hb[e9y ̱نE#ib:mib􍆪yiX=9Ψ]DX,Gu,,* ךsBWcnlb+wA?u$T5>U.P+NTq 4@?L[_ɵȁYȠ@>t~S=rvK9p*vBD_OZ yhzFV1ܫ-E'W~̒:kJһ^ʿOCcΈg~p8d,x;fp<ܩEJ7k!1+kҍ!vh"qeyJ+Jt _S7Qagkjs8++S@=;raa 1CE'<y=6Spwr`}z˗ | Ppvj9M|x߷ 8ĴÚ'{34o(`HCs'p,:L`,1KGe[,8&o "|l#"8!݊vUb~^V;zyq4Dg\QHQ.O-u5,U!4Vgge*JH;b Ƶ$j|9˘ 7v+ʪuX8%W]p mG&Hs;oJ)" nhfK:`{K]8M׬W~[%VԸ#ڠ PLР4B̵\|{”z}%BUcԝZI\X(N H p \O5y,I%Ͽ`T)q؟vzF0FġPɸrU Y/DOKu76`UM>6T?%=q@dM.N%#L&"*1fZ[}צ&u`(Bq5'0V=&=>/=p.p*_,Ox zmv 1br;j CNQϘ |/p>FE[UbL0~~<MɣDJ29mΆl%Vmoզ]P k}cSw`kS:WI8-[ zs٪Ƹ R%)= ZjCZ?ԤѠ0h8Z]2i;{pZDӡg旝E K(,tF'qn!H15|g8_cT€C>Ԛr_q$V[h"r_sCWqgLQWKCZ2mJ=ŗDgC;:ŭJ;A8ds0u!/IyNJh>o=E-Iv˂Ԟ<5 PjNś<5l{;12pƮgُlSf, }dYM\.D#QA7.\WuUeypt p)@HձaLي+<4l c}P3QB=&i20EnsQ'XNB{,5r!pء6;Zr+Bvew~aDm&-OA2PFeX9сXԮuD82>L0@6xorjV S,`*BcB}sV-MjbZSn6s '`Gy@v" YcӂTb ƸOx%$W2|ޚYikZhu ^操PEXD8e;oBSmlUJ,m&cXqY\L~4_V@]}У.T}@ ?V4M*eyُbq_I 1[4jTN M%)8§8Ja3y|-ϕ7DјfrX kt )&i%f2Ӆu$CX( gl0Ĵa )Oz.lSŸ.DjApCh ,ś - cazyp78Jԗ!gQ roA=)ݪꀑ ȶDޭBGZwm^ш_؏ f@5 x%qY7Wḥ 2{@݆{en0t7B'~ELHupaI}gm uE,%}22aH#*ת8-N~ѽ?G鵶o0H/)O֥mD V\?Ha-#f}-BZ^1ϴ%SSgyҽPH%ZhW0O.Oh`M6S~:]%vٖɾ0Z G,vRNܧʇiaY>aAlTQ*3}{駣x-vJ+*}GB-3T^w_n-&cW I-/Yj$,';n r^Wޠ=']k%s+I6A(&i@'yrhӆ(Yk6qT^Zslywu.*tx47TE&lє\NT=}\(#eB)DLV_" Z6=[0Myy8G7Qh_2_Î 5J yPyrAܰCs.#-JqԳ$LzGVU>FK*m5 AM0 ?Y꒨b+j3 <&3i.Yxû#_Ǒh\MZ1vk?sP/${r9 Jjk0)!5Vg⯈CR~ FEժ2d*sR`!X^ 4RU"tFdƁK8ԞWfۖ0T[F/8) X,[YKHn;W[~?L,"tݑˆ=VEYYl%{%}>4QMj mPG~S~yY0U*l /8Jn Ό_Cp=Ё8x~\/DUIw#˖%BW8sÀKq>ӛaTeG/>x~Q @ M(,ʇO~)LfC P\P0<vveV ,h:XN6ǭ#6ƀ|O#fɆm:MF4?Ⱦ%vj;] !H۝D4_2|Oz;#ubCS e }R]%hKLyԣ}s!MV.~=0'C@"͆mڗDA)I=*z~/=]10+ RnE=_ CSr؈3w;to@&.ű uWbWPlzvcқQ%/K[5&]R LE9ֽΣ;i"@䶲)]x%GK#Q͖}is+zgXؾ[gD $]L6dK~6allgRn(.oUݞE!_S!{~2ĥ>!>%a]Fwq&ӆm nNXofs.\hB//- zddg!~,-cB.zFZVDh<%yy&Yd1%'$$gI|JS@ Hc0Aɸ.8KtA=5ECqF+^Z?S a^#ysgwU(݋AhJGr4rgWp 4o]?e~ E 9v}*Ajel$P9Fe<_6\e5 oY Wۄ+TSQ my3OH>?CkbORjt1R|B<+j4@[z6zKU&*?# ?񥡞Nt[kW%LJp—nN#I1ڏҼnD9`ddyWy!JO9-}jUjkm@/ep,ٿ4@{UC4kd5ES(M" `l 9׿V3W{JM ($=5|XwL-hq2&)^7ϒq4I==@xD$sZXǘ$B! )g{.i'lIIocekR++8]yv͸ T)fvj#1p )ȇ5?{K?ZcK]a7}{0:c.lUE5z1 #n!n/J"2yjRV.EF*:"d34A IjBxқ dG,<@BZ,q񟋢iSQwh!PP67v T$ZR8pzwcEăue#ǫZIP33 u/h9N$&GI! Ec\a׻b-N,U0{>0WK,y+5ObPU#vwLU˟zāMyc!?q1 ׃q6dC/MxaLVWx,96[W|~Oұe rƭA+Rۓ0.7ET{P ʥXAp^AzR#M2 \A9!K4wWa}MAuC=Bp~T.Q/fSAg L,EQX!n05D-h3:zquC^˒毿 P(k&!Z|k0AN`$[w#!?Q2 tQ6o^Āv&$H4"')BnNR]aվ/'(; )=QoXky-raBSDw,+ayۑڈ.zwЯxobW 2Ҷ֥4KrVdeՇዼo$.BMgmoᚧ]h*̂5N[g ZbX]s+/iW(^.U<b~!uM*d6QA1N&]zƊ#)Ɇڧ%( Xum|vI DcMSB-?~iTucS\* eQPzv| ;\.ݘk؏4lʤikر+"A*ٓKKR>|{XvAZ$3!$M,ΚK@5 iTq=m7wJP4`04 ɸOF :}i9',2苤" Vp _w<T/uK~tơꄘuBFWGy`wS!?~`zJnLr4n\_$0G-?{6$v50E@naeQQnʉ}"3H_0K [.8 O#I$xmGxJ]*naaSwǕO͘Sܓ3 b3qW9?r/ǹ7 dmtg>yQ2~jg)ZoY m >Lul&#W :0LφO>͡F6r~A -&g]`2(IFIqoabQQטtj?v2X0d;yi^Okn@a E{NGbxs=_Շ>9dz2U}jSp]|Q <l)'~q[?7洈Rx!$;=zp`v!9XĊ mCr'}51uxy|iSNm229nKb] 2mJIqVp  QCN|x-LiNz\}d7]˸9hR-h 5'8o>( 4$m KLbiZ|Ca0C@(m_U f7h6jHm]&|UBA$hӉȆ$Mro׌a3 *dw")n VByju|F SЏ!·>[K(bt Y8D)5QJʥ)m絩[6&}]V`SlY$*xļ7M~d!a^hA9N䳮O;a{*HUV0]{R%:iK<zDjO]$}BWql-iGtLQBVX`&T!CaGځ[hnBU)\6 .GddVAy.$gZA#SE DѲAlɋVVr)Ҳg/'/JAj=s.y+j'KO1  &Šy}D@8ÉNw'e^gP?Y0/Hj"y*1mfC,1H/pң&eZ+Kb"< F ~&ogEe'L!]}*a;':9ޒ5 6g+eA89<:jc-^E>dU+W+RN:KK^'hѵE QLmSSdm# Qܮ_DhHKa 5x%sV31`ʇVHD1cu^y8Y8,mgn8e1%-0ajޒs&"G oGQ_L&ֹNҖ(\gPFs ޸xKB2,ֽy>ע6G뢉ϓ&"01,xg1a )5 jw'XA_:A Re2:]N[an AR@םrjNDYw߭ 32@3-R8{LEI?( ޥ&b0:ϓ@ve7zoHH{V X*qJGJ 8ڗQ2ᔪ#Kz݉#wǔ}Ǟ*Nom1m.G^O ƫ}0*̥SG]xZLùTbwגԜ׮1_xcu bK2QM')4 $)-Q PNA"-JKnϳ[uY hA`R;D*6(gw֏/w,[%:gKDiVHaP %}F$a { * 0,_u|ͣ gW'9cjy{/{ZVGWt-B19MEZǐpL@-!aBx{b OZZ+#30 HS{ŋv-B^FFz4~3+7^eňGyYढ़SHRMR-’e.`n;A9CGs~;c#645%v+*yiӃ3C6Mw۞1nc;:&35֨r/jFǘ:sy5 <(6;|^b%:IjVGE .[.\uW87>mORYNxuʋ4Vҋk+}wGz oCX,mD~ 3H|qnKSןZ4IKSg0w7JOa+7"cw=? zEFGMc*$N9(%MwP6X>StH 8U6 Ga5"$6=a8[0,Y VhO)W̅7&aN.)KV2F lbI-|3eF?%Gle$ fo{6)A7<lԓ 8UH$M{(M} KktsĕȻ~>wD-bzIWM| mý u|#OYo%WTTM7;O] k6f6D& %pT` mf.Xi4 +ā=<$c/ %(߱uE@B|x_̔db+Uz4y|רDBg;󭛷1ٯnqZ#+@g|vW 8![6$x#|'@vP7 OG['|)A:u7&ʧzGI**#!՞H<.'N觷7"Yf1xVrP܏֕G-pL],?_bNqB6i~+[R}․ }ځHXdA`0 K5ߟ?G%LBKڍTTԾ7v\'2 5ȉQP Jɵ K:Kqcp9e iG{+1"WYM~ٲS0u+ (mР + lݏnɐsCttX<Nv;4~K70/d/'Q-.Rc21=doUG/bo}Xy0 ,Q) 0S礭u ?Ī`Zl/뜟*ഋ=OTb7}Ab7N %~BUTTP¯L".dcZ;_!:./]QLⰑ+w~H ~ |HH{#.iTY3-; G~,mai8\jtr290&jHz.АJ  Ny'c#z|G *zy%Gؗu{79P6Uۅ݅d(o%C/زQzz;elhz:U^@ Ir"O]kЋDN4I㉝qÊOyFapQXop\ڏ 1+i ,|ipjkWCt+%p m w9RYSZլtJF"r}^֡߀5(%h ePtlmCkf%¿Er7^it?Q@dX+l+J)%bDV`Ef,#~x$rlēgX'`JMnՃ7de3xbPV_l9%vG+ uN,dȌ֝N3H X ''vWlrf骒7łlݘEL uŬ ˓?q8I0* !-|dUqqy6~؋N0R l,VQcL/˒ai>Ou R:)mx81ea6]4 9֠$:.Eb5f K//d^|l8QuP_ߡ>Dk M0pZL\j! '6rB "a1#ڋÂL>U`P2+Epe;w8RxڜBgX]:Ang_ңa6C$kD qp"RSA&8 qlP]0RiXR(hӄg7i^}65.IydPD}ۈ7wϫH쮈%&υ& Afu>Nu=RsDH.M}76b0ҩ9 y0Vvw$ŇS QlsWGjN! W1qo<ᢸ?/FURK.zA363nZ\gHaB0ooC Ѫi(~6̮IItn$u6`-ۓ2aZߢi6{fނ1~Nj_lI_%BXAI͸RjKf:j[qpFQU6mB{.*7"SsN18af~.WUIB1O 9Fk!#>  G_ &&7L+]%ВȐ^K~|_D@Lu,/qhRcH)"|\@&csoviR17<ҵ;0vhf V\.hE9d:U$ɆV5TCEho'*VQWB oyd-Tє{ǂ#<ɼ]vGz.cc^qKi&FJ;[úE^w@!NZ>0솷܀;T`+]1k{tQ{R .ɨ,h;X)hׁ 299 ~TC:k4w4ٙGtq "t Xm~Cb2S\WXQS˚[K#Y Uq`P NkʋIFZeY~\oΑI-5UL²Rap !]M̴2_)x[H[í96a>G`|LKÚ9eboI\@\$UԦ6`|~:Q0Ty(tzY? -;\c\*+6~/2ILO*wӀ`^<ىfʭٝ|+jQ:0u%l3!{sT]X[@2D&XLԕŮ[햢1ΐQ|ZMg)Ʒ,q={E5a=@]Nd &[1tQr#%<6E;T]7=[V|jnfstτ@Q*)7l u@9zz܋wWם B.lE- K!S1?`ιqAQg<>W7Vl|f?,Xc#gJ{C8>ˇ h?b{ɯ і>-`$\V$@ OTEyIͯ]Ќ܎ݧ7Ef7o.9|e߹Txg_4aSv6R^H\ȒPptj; n&n5fAj[ 2't՞od"&%˞ ufpT$ >'Nw`,YtGU?J? h̛=ޤm0`C! z %6vI kF~ᖛX*`&žRhm@42t܂!}?5ͫ=dj- Un \{܆ރŲ++5]!P'#b !OwNeCr'tcv{ M78,4Uu_hc+`;e8o.,DQA\r\_?Yd ,bp9~ #Bٴ-mk0GN5Ј-v@%]u [#I 1k{Gw> *"ppyNMIW ݴ4j)* laJ׮H]:,*9t, kX}h1liTmВIyÞ2RJ%jOj#7*T!9׸ ]F3 ŭ YP1] R)VGk rmPiۧ1!wR 7_ ߥDIV4jilvW}3Αwhl)Ӷ(?_ĢYVaW#a4{v=Yj:WakHr>t.BQ/Gu;C΃gtݚP ;+.r๸350J!Y+fݿ\PJO%zpIR=킕5O?.>1gpF-ȰkGmD>nspn 3Mxjt\+DKdZ$mzpʼn$[Stzrx.Vq,lZ ౒i: 4;gIy{90A—1zLGx`J/sE4a\W (^E.'j ~"pL~k{6$ .Fe}V/OX އШ8!]n]9wH>#3msg{X&/Nwd9u3=/;⍗G,@M0( qwqtը'Ѩ9""*ӇnWe K9*C%Op24FÕ}l NJ7-֢ׯ-_4w&qHtW~|,8"XR6GzNHCubVm6|R 4Bp,{-{/-Jduv^n ^HdCLzIZunCPp* (]x}Gإx%d|-ch"ީ}j+^l:_V|a }N۴:ȼI!#Qʼnf|NS$">L= ~O\ڢ"T'4~S,gsOr7zeR[Va99i7YE"^_V[E'haZ  B)h`o 4Ѡ lc 0ak}Ƕ)SFd /Fjd*%S X6f' ̛>AOә̱ Oԇ2*c:7L7 fF*o9NcAaۇMI%j]g@lag Ȕ3Q]].,'˩,it,K?*g\2]~0LH(@=]xU)TJw]Patc/j.Nb4g{PɉvlaJ0 wyvMТ?zӹ$iskЦlA.ԓj݉+K䆺A72+@*rgβj gg,]K5B m9:A/ˠmC@s%QW/'q%K脛;pd1H#-4hୃ]pD,rAld'-a{~P#/(JZ%FԙL1Ppa/N!_H k\&|>i( 7] m,\A%$!a44e]^1GQ%' )U(vv9z synPd71@'Wyl'I)4i۔#8Ap7Tx( 1Sq{6 DM^igZ*rCO\p۰7%so`ڟ*TϞ^dှz5܆{tMt-tHfp z9tGUa ˚SMoE!6 ݒG6'1l.+I`z9:^&4U,rE&bޣ;+ObdoV!C<.+-;n˖,Qh`=gbS:Ly(G mEM ^*LJ S|[Irs k}nݥKG'C,P pi^]-z]| xEy#\SP#UWK:8xkaXqd$K)PIa4p$ImPE[hV.H9=| $<7ПhoY͘ , s1z(= .L JW7S}76?c;.]3 ƿScۭx!/E㾆-wY+爬=W)$0=8WC]L&‚;$&qX]C)sX,]?w k{nXꪂZ 'Uryz8\?~aJ,35UJ#|ShE~ #:Kd;E/>J׈`lt_=2/_~AD@ y s3P#'$;c s%HE[(ޕPDh"k:fb?2b^H<@\Z}[CtӅt2p9~Y&dZh0ۇ~RO?\bqSC,{ ->…^[vAq3ar lR؂O>nhqno95?2Amfo9H*YdFy LLoJo&U!W[g{##Fze/*023οE,[P0 i]ģDWQ0,U*)I|s.nqF}Ԙ#. NLv[Z7N;SzDս48TV$2 g8WEl@(ҋP&~%S3 .zERfPo]4p߳;/";4udk?=P_¹4'"U7RxVAxS=&S\^Fm瘠(.SZ΀' +w&R}08Ph'0h^\% (2U]i暵0ttۅ!pPP78/$j{ܬ*qKs ", /O2XYu]>`4;甎 }_;' 3@ V h] m@}Sp` HZiܫ}4/$ b_J1C<-FH^qQwj~q}S"y(D-|o1TJs>Sp=Q4upgي2e!*ˬ]WۥF 2F[2- ,[Ҿrm Ʉ`~-ФVdW(=Q63\ / *ٟQ>z^F7pTI4"ƙDGbCKyn:$fI d R}B.3yes/sN~ vY -vOx7\![j$<`tbc+!Ewھ>(A)vŞm.Rx{ƒ-6zI֔$ Ϙե=E v OtIMό4| cAu`ݯxěۿmLW͗Ǵ95Ã.d="7 !;tPl4Pf`pYHۨ绔zfj!.}F 3-"9"WTzV GLw&Q@_I !0}r*m~ 4Ǖa")L!%:]'~S63<X7I1C]X fye`cW4ru1j{?PMeyqia4oz@=\&t,#w%[9tY~RqϷ2m}s5I?׻wK iAeY7,`י0E ּ[(ЭSeD_^T?^&_!v9w>P4!y?|&k xSOgͯSW, p%X) 67sXUKNj e@q _NJ:] _Dl=0evjP_# *g`1E#Y1mҚ3E}{ad3a(@ϼW> c Xm-שBGjuݠ"rtfɢ3u kmM^dt$\_?-n*ޣ^Tnp2FBzmzk˟VL 9TH'"7e-v廑KD]ωۊYJFFia> CV LBf$-?z:GUœ?&Q61.mO $lz.4iwN P(,&R2[Ƭs5.BƘHq_-hAoJ*7~aaAQugvV5 M:&51@'u*.\Jx[a?e 2^ڽPl y$ Zar*cO=mt6hGQ>[|'k5 ?\z;`M F[kyp1@2@?:es2$Wsdy|Lv=3vF87uIaԳ2Do,N{,A" D5|!ʹRyKpN x.tRng$p*SC$~tu̺ "s]Q"`Ċǯn/=O 悅ɒұF&kmz^i}rA_P 7Pyh~prR!o I2yZ>l;;4Q er;RrpTsoDWiMTNƴ1,V(2T0rㆤ.o):\Ҷqy>p 31 % FohXƫOuMEb2nKڅD\l }a#}x- 9EvsLKO"Ȯd2x8C @~S|;E{ʣi>|i>YhʼH/#f%.r,O塀}$:{h<d"'?sӵ9qٗ=-X߽E`fB$<Hbkol}\vٞM4~|cevĻH/-WZN93XmLD'碜N\C8̐6> y[´J P)NxxmE c^Y#I8X'/).[lj{k@dyh{+]abDbDnJ'YQg٥?w0Y.ܯ45~خwWaPbB2IUB6^'/ M.c)ANDBןڶS fm.[<1ͫ d|9ĐR]~;z`*ė8LOƋ*u(q4c]5IF.ʱ6m@-jnU$2/=QyiPPdl +D!ϻ=‰JR=>RL/ٛu t"v56\|i*eʧv]`}FZ H^_X=㘈!iPv]QF}}!~ t5C:<7˸6W/@.fA, \~ 7k>,+[cp=bqGΛ͍i:7=-ASiӭ3ӂU=_??)8Xc0̊irŷ"P3A%݈s@1HX hwi6CUr>n6pX'|@. 6|P=-VfAZ&`W?M-T":*1>og\s {O *(r>IbYOF_KrXo%oWْuS8[m9+CZXu  |T"~-qyf4i /RevyxP_gi߉FVw (潳v1DKGj^R۬{<6)V"k?KhA;qq [0|+a?;aH0itGP'SE)2J"!!}r\ $݀WDK׊;d{~t&fb\|kηQI x(>4-"~BC!H[Ɔ&iuYkj¿;3xE^Wd@,@ GDCZm 5lvni[qݘʃG֥z+l i\"]p#zpZE2 ŋhKx^yTb-XHsZ211cёX&)́%EvezLKtE<QC:7 UFX@MY"{ʊHG-|NX)Q$#L y?Zo25CE]^l\DCbd-Wq=zl%m"7JfFA5;GE`"WiHJ\QzN`e [beY\-,]%j+vF*2.G7# k0R5@vWetA^YUn8.WvwXVg!s NqPVB+Hq>|@ˢuwN g%Rxv^2vOzxɏpP#^E,FHw{4hTÜ[2v{:¦ku*6uWIauX0SJ;@5#RkN䋡. dlU}.Dp1)7pҲrs [:y@Qr&ukKӨ?!c1wg\\/E19kOn8Tc5욿'ֈyI;sޯi3vw[<'emZḄvׯ^% $DG#t.F}R- `5TWUF*bMQkc۲ĬW=nEt WV%Y?B: o8cH'=g7Bi}YkCMB"$WҒv{\}u!q_|5J9 cZ ;Č{|7{a nѝƫI:)Q(֎2K&|kS~iP1wEE쟶 UH_ʅE:W&D+vg|LqDQ  8@ kو>_kxj 47rXUz :gC nw f7=^3! 4 R:j܈J~XQlyѨ^tҽpឳKV!E>&`!>Y/QDʇ(qt*6RFk< > [Gј+011ڂ#k3M/}Y)a&/NTȰB/ v,3 ZG!|݆Pp:)Fܚ _FMSc*ڹ ^}^ke07tr+%10J߸@ªaxGJV󒆾Ht˟k7Q2I~ Ʃ#h".QSy&CX(A7Vq<< tW@cruj"r)VԐЁaA;%LJz~ )-qX5SK8ѯ~tI- xm $w~:I{f0M*3;{*HŸ^xkhFi`9w&N}]wo=gAhܮ tYN-?0Nv-}h5Zob"ANsb||wSWJ*Zq[&΁% Ŷ`uiޏ0.*:YrU,I$bsܴ5(fسD xa0èpvVϗ-d0eD :­#6n}c LdCP< d'ս&jD6k?S|iqgx"75'm:M_aA}&Sc h؆ЭSC ZZµ1KI}qVe]3ԐfS09ģPwE}A%b@0ewy<}11GNk~u"՘|3/2ZE{ Is쥿K{'<#լ!v7v &@-2軬rFԍ0b0ɀf#a^nmq hXda&m8!\*+zO&C7h%bQ2Ӊ TWT%MƁ9fWDһts_{:/%"4IEu2Q!P) &uO2bX7@#V&(k 0j;<=iK1v\K^$>L9?fwŜF H?@(V|ؐuJXMgINV(ȇ5a$/yhOP&b,l%kxs,-:"(6/&aH!0s뒢Ĵd2sMgaoZ'Pi.Bsds:cYsKS`!UDEuΡ֝~cK[k|ȊFo0㢶CIF)<_HXz=\까=dݦ-LQ= ؙ#Hl,R䬡 = ,\2x~y3e$tJ{-(̏DuR9eW,|֛S@N)EȊ4cC_)EIԍ$qfA`*Bޒ*~=ͨdINd#D49w x?UpY%Hb&ȠRi"3`&) 8HAz`,F]*bz (jKoF6H WudCJvb}NSkg_5= yI=|vjcd;^[6 ~r$n,(hRsT8(Hcn= ⇿r(?~_gykSՅ6=lr_j')-Т5w< 'kjepkB^ivdh>w9t>}?',4wpQOkE:ض:QdpdMMȜ|7SJXx@L  E Oa'sr+V=LӴ6s9iji;BAeP6c Z;5֙+~ʂTpk֣=hSdc駪i7uIkh`3Nm(gL(e ZA||{JEᾑIZOصQR$buL۶HP)^&49)Q3=Wa6Ҿhqpd6Lm[XW@+wj }%Xm waLg$B[ Le\z ÒʎSfʉ#d P]eBg}h$+\ hWo錏R䏫kyaGoE*Z0E xGN8{=H~̒qY{M lLp/< @PXXʆ[jDB [Nw9]rM'$`9Di,ڪnݘ'P7?fS 9{rvveu"v PViq'mL&z0ҞYq]X|*IpfY˒/a*94;~$AO ZKZ2b-f ?Mk͉ikΜO`kiQaG;&ǝj%YR)}xׯ)$xґH)IxXVPrCngsP끫-=&! urqJF̖ޛTܒiKB۪# i-CC0U0.mNw#Ye}$֩-\AJ XEiPWSArW_EF䔌8D ƖaEOË70##cnk#in,'H3Vݟg¶}.4^'F] /inx#m?Oh߈q3@=kV/ #X 2XR;lƈ{LoNAG{$$s.tZY+/&p % ?˥AͲ )8zAn[*?yy7.€B*Y| y𜻯Q!"ɨp)B0Tp>U_/95n+tiwo,At-3t(37H[OkZ*A!_lkE)˫h F{3y)٨aQF3f¶nNɍ vaIVa8D S;Y-^>=Gpe1>(Œ(wNNPWYbtb=>!MinD4׊-Jr z$(SGBj8:Y|]Ҝ6rP:$;,\֜q $WZ*@ t`3eƌ#M 憏b \]꛱S5 mg^o/r>vr$2Ba<0"]!;qtK7Â2=G E !сݞL_+;c?,lN/[dVd㋉t|lhӞu筺P;.bvSg6pOA4]0zP46x̮;7goWu/ĺ:$%q j2$Ri bq%z^?jQJ̵'HsWb\pM!Ґ<O) up%M.'ynd0; YxDy#Q>fߔm0(]#"2l H-[iŔ2%}*0/rZM0`@JCۙd_:(#+41nNld@4Ҝ7[)3QnJ2Ecަ'g/7xTgY4S^WI8 !juCu)rn'q[`DzaW*Bf.a9೧}@ {mHάQhkGm=Ǿfjs ZT9 y m hhUR^U"I.m7(?S>Y DD] OdEg&b  Dʑ!(\tu {:NQx tM&.Wrtaׅ O>b_*gEѻ+%U{![iq;*;-{*o33!$Zb)4͚cl{Л=6wɧF(u%\W3Ww=LPYbuկ`+=@iq(ϔGU(ϳzRC Tۏȍya#ȭh0F`.>Wl3Kb S/Tl<#9hTN lsUK-U$ãJhX'0}7:ҽsXNӬldN}I> LWJod0_O| .|@;o-= LZ)zFjCq423snoyh@~1zR@vw=KϏd5,ǁp`,Ml.\w^gGyT!-1,zP?lus5Z$U@*`'\BIGgG7e~aY:J|/ .*Ct[?*^2gD21 l|i2;hӕ*ՏcSBJf`͇{͹ ]Km{/8ZzCΥaQ2qݫ'q,Wބ1_뛢A[X/1yF sȳNۜd~kq̯QLL(5> XJ~-:s9_y-OhO:<h PZD xB;'VW\dՎ̀47l֓,N"?[̡ UbN*m8HE:%`~ӻO?x.Rp) ?*bn -ҟfvԔŃ_ \cV!!c>UEԷ'A*s]d{N瑰܄bŻq2 簰cP fWI&zsr?߉jD/E#UbcKZVO 3͚V^$<&o5$\$!;N2{9tJ"E_[&!6̄3ح`F~ey&o_ X]Lg|EuId$_& )(J<*hD4u1(--=sh+>6 6b6,7غ3nI"kId =Wl_4 !O62f[b2o4J"(O8O mtTYLi7ӝ35$=*@Q hh6xa{u~Xwc b UKX# EPȦ`C>Shs]j>ysʬ f/"XS2@G8$B0Vnkj,|zHB ;aRd)}T#3aNj|IV,O(%Zɱ yJ36lkK]DNs Ju JR;jp3 IG=5۟z{Sm)C?9îw({>f!Z^ #󇎃3s3 ˻ŔVՅëysWϰ]/k ܏ۘd5h" 'M $Nq}R('÷ K.cmPuBy(`ӆ>09J0h~;0eCa+m3i4z-  A)J"EzKkW.`: Q4Z֏5ֻlonZ=0!Jpj2Qob[zpGL_l 3llvZb]X8zI\XW)=.5ƄL1_E7+1671f=[@7.AkxcibwEP){H'Sm޲ rFyJ†{EϨ|]TKiвB08%w ^˼`fn>h5?]ƪAE%0:& H7df„ 8kXM]ޚ3T51;8H1I|CV?δ|m h-|+˙p)Pj U҆٪ib 4{n xCTLE{e(tuYTnRm᳉ԝvhf_訆DSYcF$靘-q>q-%v/<#+tD54Y:Պ@ >1ۻbю-s1JzL?T+].FS9Qp Z~f/ VC'Mr:8.}UgpA>|@V'zvds5[=|0l4R*LGUK]s`;M TZ 4Z1)}"Oeë2sph$2' Y@AuF:Aq&L9ڌnyt=W X %oBF l‰QK0'شϘj'wY}>d#+/֙Ģ[l: ' '#旪JKiñ Mկ@>n2Ui˷0KdDtJ̺KVZȼOXQ)lgՙY (Zӟw*[>LƲ&B;-瘯.%JJ?L.&̗*{s?ۭ*SR٬ĭ"Lpe*ˠ 4a09j؛=C^4UI6_d`G>=o"nxg4P3w93AoN5A̋|,\h$ƫ!Y2!ډ<7g=ŎQe%"YM )12HxTzg"%Uv#`ҫJ]+Igw!Hc}#a+j%k e0Y>Vp*= uxw݅MAtnStULy(-;dR5'sC5u„Tg̪'62$)_<˜~jp9D5F^H 'imrJ{ۙ#zbbcƛh[29@!꩗LW ۳t9*8, Y*`b@*OojY!;tyk22rX&#CT%˘#G2Sq ŗ rkJk#=V t$0!2aS AJ+~'є0Ps80ujv,~̑GweH< 0̖,IUwFq ]>=ɝubI7y6@AM:KD>`vh\MVU3EƘDd|qrMWy@65^GX*Y3 jyP̖a &Z_C x-V:ɅqZ>sAj{a6o&DM,zCˀh7$ p[$sV tG䑸dy$CU vjf1X.7 2sb\0!Пj)e㶛`!XGBԝNO9%';,Z^fCoș @fц_LBБUnщ>֟i<6GkCT :tgckfHSFmʁ/ lԍ?WguXw#UѢJ_$2s/Sh/~|4&z`( )4RjWVwj @©l5d-XJ|ϑ1LĝףJG1gڐى,2"R=\aXʷ$꨿1֯L5IJ_FG' !ㄾ?êz!D E=huN%UgѫkLIeiBIŠ}mgY{c͆"mѵϣ FOc&^R=m]ēHgߎyØat?EbZBIJ׼c7aG6yҟʭm q$ᄌSj\mУ* Q׋B#sM~~3$Ze_T?fsIhK~Ou`/`z|1>nR}&2q{Tc:+)!ewӡxE{f'\xRr',^Ym;Ҩ5|>a+;UFSO%W`܍*.vºgFjc6[ء| KIl?}Mfgգ.!+OjOA s:8*]A4nt+[(أM4gn5U؜QQMs>El53}vUXU1?X4A i+O1[DX+T{'gwqDg7<Ьr8U.Oۤb_S BrnȘeT|ԩ-_%Ln+%Ϸu2Hm˥\b'\>FUPwuT=w :TbhGPlU[r( ⯋1II*(l}mu>v59FQoX`Otk#!֍|sGJdq~YyPڬ@ ŇkOO:=h0-(4mk/F>-Q:㱥nW%#=ZK_1b_\*9g8x fy}P; CWvNw^ȃyiq[QJ&=rʋSgˮq^eo"܀>[+r7_JShgx"rTQB31(ZJpyW(bAx1#[HDradTVopdgʍS/MC|m{og1%~Þ U5*?-J/ V& Zeo9D{LpGݹ4Bj6N7J؀w[ۃHԡ oU_w#TNk\gazQv0 E+ }v%`R&},zɿx{G$m>b즙36Ǖl-)ssa9M|g<~SRkrpGFUuݢaǠ+Ծ`ACiwbH:XKZGzp@찰I>Ȧ/0 ѥވp4(5*ʞ\Xn|pc ynVNMCㅁWy:Ja'3g#7gd$+mkC2mn.E|`69\KfpBt3ղ'qZ+a׊'SwXeo<1S6-tdRhτɵfj߰UD6F'&/SqUƂܩm^&cݧ@Ey8JMbW\ZĀF߲wL7Ξ:4>].l>gYLQ + ΛvFmp~-.dܑP0f 筦53Sb˙; YwlR+fѡKzﴝF$ywћ^Bdk H)C.Eڹs(T'$^Jykt;}zµxI0|V 1 n01>/R0'~&\16vatA\I Ӳ!,2ZPEOG 1#Ű@[vOE۰_oa3طa$0bKedF9M>:H®luH$RrsY8*^80ˠ##ס%j*!~RȍKGG/ss11FcV`ҩC%{b.[hj%KmvBB Cy0ʡ @pR熪I@8OPX8_B/wBȘWH!'iƾ]T@.KRݠ&d~ssi:Mȃ}PgHwX:x"`ПFX/&(CV>&fTq} yS(vc'5)UOu"@b7ڰ Rm}j6qy$70.,k"v<6![{j ߲HL5,q5\w[sx'H@Rғ1YC  +܇<*ݝ-'jr#r$̚%XD#oqR㣣0#pB0al2Ǡg8Xmo!+p`ʤ;-F'k?k!@%s M}Ödpy)~qsMvz=lAtO-Fc5h,TDᗤ2'Q4LrD%T+{l[B)Zm L1{ A?)a鹂,nPϯk? 7>S iVsKL*p|.ܽZ0>XP|=,mq@=<{[%4>ؐj\@k+= oy _6E8KpX0qcW(`ʴ'Z1~Df|W3f6{>ap N> b71fmW\~Nˍu:[8qT$Q>U9uZ,a&18-ǰ W' =}Zj0jjC; E•pv$}# PtY^NXB3)X+\> l˞t0 $aRJxͳ $DH"{%MxF01`&s˰TMz.(@[ՋyKD2L}3s[QFAnD7@L)vFu劢\@p5%jljxixЫDIƳY@ G^M);1ݺ]8cUW=`?~`ʨ qZ/e⮘(0ct_V)`o ]f,C43+>F<piTxMgnճ~Q5@³ƳB6<.2o|FR9 TJ1Xk{|'9~4rpfЎjq?J;\8 \cii$ Sw&@J8-ړmFcѸ4,/] %KyX)cFbadDIS(ڤLER N̼,OQ+T^NR0rchyb=!9;Os6^'3FkdpRؗ>$osH\4Hl_Ĥ(%q]}Huoя f<Š}Pd%W-34~>&r((۶gfl2-m 2Iլ ,&4.̵!gkKy'=KnJ)2mἘI84PQd }%v$t,ym*SyIM.;Y$8|ODojpp NHWdX$ֽ;KqH^sD$o|y?}S%:bJ9$v/1GYS)jGG MAvL~xh$.:ә4} (Mj 5t+A O6To*【/YW_w4D YI/48Ȝ[Ƿ'35ڠlڃ%m\!=؊Q9WT숼$SnKb InFQ̼!W7ݕuߟOㇸ:W3@@ȅ44fCl&'$ʶ8 Y_!skig  ܶ/H)G=ATu|>Qb ׈xm: ɖE:9$vtҌ[E XtY=<5: 7(g!HH(\* $Cp"?1wFoG!%c~|q:wsv0f/9[[T_^kL؅DAV\>FLs6rƌ@wocߩTQ^4W?`|?C:{x@XuO};?yuQ/x[6Ov ?ia2,*[,ؚ"]]wvO}6p]@D5utmF7ї~#agv+H{S,frjʕ+~I@{QVt%`ga6%9d<%*޻ -Rc5[tn=&yso/d01T!{Y4 X2dk\(I{E5/jZDFJg~q.v!9"vYY?,LF7)ȰqjF4d}q)j^'d>5|lEgHvZ\z3Dc 0)ea|7 :- ,rJEҫ(ܗH=hzr,d#g]^aEhAqd\}oT#tFq*L3WS.Zib>n`ӔJ*@hpĖMeX%wJʳjCݷV{F=~Kj}X\) K?VMcV+?r-D|Bg>b}*r#ɡ=RӨ聥LL٦Ϟaϰ|XwȧK[`%M^EkE@sӄ(@NqB7 qdz"`+VM gߦ+R-V e@V 0pwSMUeQA/%`8>"/w%2TъocQ;+Oq}5|j*2}*]j< >xxQb-5s˅YESw%"H{!m[)_֊e^QVCd~b6S|67[:I+:2 t>?9Ƨi~2+EwLO=N)\z%zC,1 W/LU|c4[n]*?ή Pos YyN&0Cku&wLzԆq_6^;n\d &4L_%yE}L0v[~g26u7G3}بtbL;"٬bK*ϵlܙ`7}y9w 9SXEst,x7_5dn~o\N^ɤ$;0dU05BWpڼmo$&١$ZGnNq7EEuBڨna".MǪ$I F?OoI.ˢge0RDmw;7kd0}A-o[hF[Y=x>kHЭ\`'8[pyӮ{2 VE͚%(uIf_d- pOc Z+*)iߊ_i (pK3A(Ԃ1t}!nqY ^2fx#RÚ.iډ^+^ Y-!xW_}6۫T .H,NҢN.ؚd>ǘT .M0v8PnIQ<P(&};-*وXX}֙xԝ+ώ9 T-Ce7У˝MP= ?K"3;wh7+UgFmy+d@TШ@^D\w}FY̦?h %Ȭw+;F&퇈Pli*, Q|c}5u@23u'.KuZ>v\fwݱb熱y;"4[JZO5*I)k*I1~5eQGjEe a d k#@Kn CaY"Nj̻ss"h{({4>~TXǠb\qHFvUBPUڕd9.)UJ ,|sSy~/WYwTݓ'gM# ] [IYBp$HoάpE47C's/ ~k(q6dz=LJJ;%K@ jZ XOzVR'Z},u"O {6cEBNJFRsM )GcހDF;1;r|\~v#~'+*AI+3M%[xzD6=ydsj`teWWY 8]ZD&Y;.Uۦ\M,ᆦDC$1]6g'u>SlƁht ~U1cezT-/"ĉ>‹DA'f#d1Ho~k4ZUI Rwa|5XQ,/MFAb6fdJj}"`s n UGU}8UE֛H1gl%!׳2;"T) Wr3\\o)( H5.ve8HPN'^<7B Wmr@ҺI>֮QҵsJcMp~E5,Hy`3+Z%I8qk)yEp*f6c?G{@|!eߜ_ƴ褂i3DPz#rKm5Z{t֏f5 .WՅ>qwLs(4*]vpx@Ql?[4'${nPƒ`k!ly/jRI n4CC+ #ŪJInj"xCzs"t oVIm,aO H$wR8BYͭTpT?ZϵVqwcI6[!Л\p1{dPQUϿI˜ܱ4(vU> >͖,# M6owOLe5^}4'a Dq݌JST-1B]Ij<)~9gǔ֙")x1Krהn? - H;Ma|0Nb~ט^{rp%=R[S9g-ܡ;7ƣM(Pk4ԸPaiQI͑EAK |n:V^ Hfj6] \m-Qˡv\f:0 AMײS`^h}Go$opD D!x:w]`GLt{Ł*GMZmK<4cI gHt` EB_*lr8ߗB§RFl0LA5suyAMBtn07 Hp z7yROb.|]dxt\/7`Es *V7SF=fH=2LH)/'쵉JyUr%9+SMSUYUWՌ*gMhAh"$2DUgN[¥?;ޥTq'j42?ڠy<1& W!pM*<؇VBحjkEpR(MC}8QyeFB?sC`>h`^xxJR Ev (1!BvE/ԎMp%ӵ4]Zн\^i02\b,7 VwK':c󃗩4L[N6qXL6<g{* ]O2qLpۑ?[ aa Xګo(yG|źq36Ȭ-J Nv!.#5>&q1o@c3퐌j0R@5Mr0xCvh'mtV ^An켣EJ M{3y`񃏬*A4þG}nqT>/i[f"5Sj^iXhUo])w!_%}F0Eg\xC8sޘjW Ӳ ªYg a&oY 8|n( zew dEXjpnf$p}4#Gh5GQ0X ܓY%ѯLlyCl $RطB 8¨.ɫ"i?Q&pOMFLOaqᣎ"Lp3?fS|>CC-)4?eY;s]b' 1{"ҕكSQܘ*SeLg.ǷeYD1ƮDw;[jnѶK$/Gc*3ɓTG:I%VtWD܈ϚbD32ϴ+%޹(F$Yrdj0Â#mmy'-8y'sO>H|,u\Lc~0hI'[(!򏍖n4$D1&xsTUr OD%B ⶡ a 0Fƅ&1#&V÷Ff~s'8/NlxLdCZ#EBp _K$Ki_)!A8,UW2} 23WD%`"Wqgpo8JM̽;/R=FAPXY42lxb&p{ ?c3}(wRw="S(:[%,yctlI،eGRs#;clsqF\A+hm_Ult!I_K#y2I@RJP`[{aB4 XMx%0& w`,e@)~үTTnx$dT+齗DEOTPJ zg*L:_d<%娷<=JL垑g[Hm2aMw /fI:ehe_`1OJYNr:w2pl D1u HE0=gLo} fwWQ9V)h,@Mފ*VаhzߧaK7;jʲn%.7;z7A{D& {c1,puYsW1 y bXG#b/붇0'm;H*KvKސ6+"\y'@Hq+ho*rܿJ-Am秭˪$MPob_P+x'n5W~$\9'oa$d䵡2(pDc;kX*NY}xώ3:)wgPS ȋ*%Q!ʢP8s}!,BLOjߠ{Q !uۺ'I bYRԯB8oXB.>0`d9hB/X⸴\gK` '7rJ }x|ތ˲_Lj v%'.PbPݝ×&tݏ549 / 2]BVم5z,/Ψ63;bFЮ#F"R1´N#T#m?,u'yfx8{eX >,CɝjOZJvxGdyy 񃵌"}cJWJa0Q82@A bGDӞȋh3N,Z)y=qM[Lh*۹_?Αxz? Ax)]i'!zoƸlO`0my ׋Kxjq@ u|s:.x8 eD*HeQ7<־:1vmRMcnݡ N0U⶟#U.XTnu:/{_=-G49CyD+WrDa֍DZZbJQ۵; uq1Hmu#lGoũsZns7MxyV4;?"[L=}|B4 T\qQdunko Fik+ o<']w&]Yv> *v)?#!܉X855b͟~u ANgA0Bw/#Pq+7F~1ëISί#{/J.Q̩[FÁSNj."?w-GA\h<DyȢ;59.w/ȱSfm 8SD< b漉|JE#;ISp!t)ĝ,N#gƊQ9P(c>&A{3s5Ed! eD|n%|DiX&meTzN?>σ#a`Yw]}PMAs9yob_{c~9LRzU;'IabŒ۰=_O'??s[㮲#/مi~2^pB}'D-Xm $[o'1?^׍_|BXXP5k8cxp=)D^s5nW DۺR;65?aւ4Qp$ʔ .R&Z c% }(#Ĝ@DGit8Ooja ;9tew)G D#a9x/ ,l7ꐹu,?P3Qq+7?CCBC%G[A˨ڬ.BBpѢŔ&3e'!$cgHЙ@ ::%%SegIɵܿХMS#Xb o唓Ctc:5ϦEց\8T`Xr/jlg R?`,I "#6m6c֒daDDmg@Bo/R/';ZFlf[ٿżunF`0u0[4Z:}%Y۠Y cR.$lU˝!LVUE]K_|#DnەPlu7M Gd&i W5#6JHQ|&/EsOEAYN"3Ҝ I؂V7jԀMiQؒ5H˟hF~aYVoFI8Cc=̀]*\!/~O^ꃉBVE.56P'Hl 25ۡRXUO!1]*\)μג3 't 4hJ#> iThPe\QXjV YPKUI=! NFybuWuH:Kږa"-e€8sq/nT:UeVr9A^C,4%!F:~$d(#kOI$\1yʇ*4D,BDUj쓜caY~po=X/U[NaOYGTڙf@q2]&yP4V>B)nF$/ EpY㘢GlLJɑ0F'fk!3d'--1`>- .Q$<5{+@}-MTc*ƚjMLo(kGooՁN7ehZLǒv7.C3$S8=;NJdY 8MI@;p hӡF}㏈4`u(ӖLv~aێ"|넋a3L3iҽC𮢾I\U&Cᡧ" }%ǃx]EK!kcw{Ҋi8qvaDOSS``^lltK(qOV'yQ]6vG^-1i} DtfV4f'y)W\0#l1='R̥vaD,;g{nun3qziv7;\U]fi7mbWbn#d#srbw/<`M|j-K)hW]Չ3PP/25.L֧˲p&^F9w[=%ɇiaHi= BvZ3 ܻYA؏,.дd}q_cf[-6 Ȟm;.[|1 9-";g.ZZ ks(4z䱮[m{ ƒ:4T:/V,Gὄh87U)TdSth̥#a`UІ_%';4VrWSH3jY:D6>'b_^G7G"=LhOg+7ȿZmIQM *|",͟腥i^>MB1͢@厧,cqR5L40GWEbZ?=tɐEfv0Z7h{,n+uqԶ 7Qyb;Gݏ(6N;x&K$W5PP]h\"X3_X?pF; \,'`S*/#VILt6 c Mg$ן\wiqlaQ9[`e\If yn+Ld9$>DW@AT BHtBq/t1Xy$ li[!Rx"!uV!N$o IôT'ԟ3n#]b}oB˾&nICo)sϩgYZ1c6fc44bb4671c30cce39682e201666eac5fced296398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93 62fc32271c2ebfe8b0a41ceadf060bcb122ed795 b282ca74f80911c874ad941eff6b49243c03e9e5