SQLite format 3@ !.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 xx}3L9zmR,u QJɘ0@66ЂUox" <:s @P5䘘"b56ķ/l,_:+76X1Nܛ$! d s ރ7Ԑ塀M3WR] W"l4p/ۊG#q[UK蝙nQtH8Uf:-s_]t.gHٔ/Ga{4s`RP6{W!+x1x OK8!)"kU,>$6Ci;v{v*)<}*/*ܐh=XluD_;(+bqxEX+:YճŀEkGDuָ2Q%u"Ӹ|CRnX|zM'6^aR[_Apj)42 {x|0h-LcΎ~f'IJby6Nm^htn7 jěUygÎkA8oN7'.\#,ޅ joX{gLdLz^]H\ 0o,!9>D2aTLv9CG ~q^e> AɟVQ9#8$3݌MŜ:ҏ< KX3h|CB:Knag>vQl(k;}%LnbR}&RN|Tuu"eݯ@xbCl}GbpV5+ںQվ3nr ւ0WJJĶ%UlLU3sm)"]D$|k8t6CJ籂*,4۳ Z-J=2 {`v0h2Ww+'h0Z'Ho\tT^=M5fgYZ7zXZִF! ]ŗXiɟIPDOB`7"JO9TorD<P@7j- .V~ 5*D}x2K7Ib^dft*fG#>1=V/YZ}!g++f$C1o+ܿ.d#cFUS/nӔsn0O^:걸 4s꾻#*G}%g\TC PZb@Ӄ mc {sT.\/(۬=©lc\WQm&M/A3Y?\ȫi,U&܁]ƙneɏ nAРwlw2бJ@jԊE 0+;OZgBxɥI1W-L.~ddv6}I>PY,|#k\f#OO(Hb60]m3%d5Ȓ}G`kۧ //VF8ukΠ<{ A9wJa/htǏ9tss>T<ҁe(!iIacѫ{ H(ho@]fus^YYMYml5us6#$3I> 9FpjRHeߋ4@YV̤r茫z(ڝVIGq-lyӘG7:\ & -߭s@r7 =( 6A .v=|8C>VnNN或_+I dcT 8{T [Bj I?dΗ)+I+KvFw੻A@a'>:p^RS!Z$5E~V@Tأœ-lމSzg߽`Sjr)| /usGr`# })2[UyveƹGIlc~­]`&tE ! 3 Bertrands_Postulate _3E% DBertrands_PostulateBertrands_Postulate.Bertranddocument.tex7zXZִF! ~Y]A-MՋhvG"uIBm5C1B6]aں-Qˡv\f:0 AMײS`^h}Go$opD D!x:w]`GLt{Ł*GMF X !WS rOo_O.`hDEq;!p_[Q.48Y4Ĺi|Z鿜0w S`EEan _y'ݹ[c.jP /([7 x?4.zh?Z}:D}[jharF3ѹ?L`.:JRO24RQ[k_> ֘xS'oh ̐>kN;/;v9}SγĄi3\1$[\\ut`K64SZ {?㨎I[[^.]{(ɨ Ѵ8'"?JhzڃԸ-ͦdhɘ>]G5cdxEf+SffR|zH:bR$Em# b@mL ƒ NM|-pG%t-]H?HD"s*b~7;b4h>=l{[saf&$z%K  =5LYst_sCc`A_hzEvjcV^6*L10=|mP IG}/QQxW>xr2*k#8I>jM(B8h|a.di8o\M6צW1^;cBjʞ /&' lLPQ D3VGQ&`7ՌwF5Ⱥ2S\"`q$& u weBY7L7;ʛ!ȿ.kD'p9f¨.nsߞ:MvbD!ID##v<Գ` H\d=ȶGVm땪;?XNPCO~N]nqI8VE:IqDiՐ4O0Zger^޾.FŽ^nclm -[NQClUy+WuѦqi$r<2ϗQ1;oYP6a̴r#/NDd"`I,8N:*ZW32 [$!Iڐ*! 8kgkaN皔1qcnMUj>_<1łf+0=e+`ۅǧǠ6CyA-N,3QXNbn8HCքF<$6vZPW9c&¼P2( Z)YBvzeJe14 ÔUHSr<s'8q(2"%X~VA%(Czcћ̂oķLzrĄч+.9( 5Qaw .(Ȟ af@]}Ež6&yѣ}[yEzx jdcRO(n^#p?N7M6ֿVݷ#|}D39k_ux _N#Gv(|Y>)خ%ġQ"݀.}.O Wu*? \ vdƞoalW>RJ4TotHb~ǒ?B&phm(mxܦCL_e2>!' /[>5QdS_كNٜkPd:ע]Juˍ__\ 6Qj A z6pݗH)#p9zW<(mvYZ%Bo@ON`>S"rQ ;G=?әTަ_DhBuoJ86عcs+F89<@ Mc+Et'f.5mݱdle -煴O ԭ=tT-q8͸(Aװ"K"%#e>S `?_=T+lon΋\2? tC,;!׉%OCюԭ,:l׈C/:`Q!k/Bbر"/@ DӾl߲i.#s{&C)KT# Ӱn{/Vw~nv»/#ߟ|%ߊ V%#Q!a-/&کࣳ'4˗ciCDI'Ck#u2x"Dxw%b[5zTˑBp:7!#/d2g?Got2&ԮEO.ՊY2509B(N.gڼ)om`Ir<"!c{F5W?k챈Uʜ3aߘFFa)m~~@:A5}^*B ́8(4W%Tox)&:w>Ǒ8( =EߠCtI7EsWƂ2YB2y7TY|qVl(:X{OMZ?tM5JOC9Wnc|.=-|^;lDb Dx #-b~T1@@e#tY_޹8g%"'nLu(;e{ Ϭ-^`r I '{MceWĮxUj%gC}楓sawV67rnsa#F4}}z 8z.jۘT+-Mؠw x+-۵dz<|8<'xLƟldՉ'4fI"MtU^?߬ y+ejS.· (&y8U|D$' >Uh} Ox]$qN/>ɣ@ĭ "Gn;~¾<$CNģ<+i/[4o/n-0w..xiFV"~Eyf?HՒDK~f ɈKa8h*$ =(3{1g= "HOT0J8'5Í(E=ȣz=bǦ2#.xmVi܋¥rU&nԓ,"8)X2T<LJ5 "mE:K^>l{62hpDY*R)F:v0FgB6>Yd4yEu?2iÓL?2.#+7pa񢎳 J,kDSuiVdd*7_nmZydY\bJcʍ }W.3}ԛFP޸!$}39&DVû PlqI%:, mAW;?uC_l_:[{ڸQŭ-<"}l /4M?t jHbA655A|ݜzr#LqXNZyt.Gv9{PϏds['(:`%ZvO[baRx\dPq7 U.F>0qAmRq岆rg*~p.ţaWFsZj碥K=}u鱽2xjĂcHF^a/thnL`#VpHE8F*@82A [%zvkT|AʫA ^VWdqmjyЉ] Zk<GH'݇rlvaan8H}Vc /gJOK;yžH" $NcUtuFMaLB@n{2bw#x }ٿ ^~ ,VK?O ?5}e0 왉ҦsuiOYzqDG`6 iȇ:_mƌs0F:>=nhmv&oۍ60BFK1Ց[,phc\p>>=O}W|ygb1vI4Ežvn,aeۑ\ a)9 SQp#{W- t6Ar@K?Ix>&nUO\bb?PX1*gmTb.7T%?zX: 3fcb88)hl A揌(жلPjˢ9|?ey!rLH 4>졷ƄF^@ &~ĢfʨF$m߳ql].?ܧkhj9^YONۮ m$㍀rl=3e*OV}+נ# ? -kl,efaW1F^neb}NuZv.k I q' )*X2>epNl_5'`dp8~ )JM5K;}1M5S/MG8 Ϣ@I἖ i Y"AzgrKPl[L~f Bs4 xslCgRw`B;DbAdy '!Li =q7| [~/p׀\ej!֭QX#`_OilR?uCԊW[r0*U1bq[ k9 6Ttأt~r^RzrC CuB//?W'0Z@{ekTkF>Z&y<:\2/>T4bN}C%Z.!fazh0(q`Uj'$fnGD5{؍$#Job!H1joDH@̷㺚RZfP=:WP]T YB<0n,dZk/QVQy|^r"; W`ijkGd%}r q;Jꟕ4#_ȅm  c*)-IFߧ{PeA UYv 1YЛ$`zP aMKb YSH޽ZY b\PqWӶL@~` w@C. 1)>XV)eO4O wX)},{V8WSV6$kLot'Ecc؊t WdҼD9 G Xh?i@z˿R֟Or0y [4o؞ z;NŁd_R*m5 h.MW0W,Ѡ=:EV..=w_ 0[.^vUP:fCv <5H%'b.",q J1NP~@30{}EjtNvq!=A@ڭkƺJq0 BX*#y@"aC Vx+ooZ}]WtZpU9F[WeX ~ Q12&&Es"OzXdnͼa[^RL!C+|6r)jtDJ+?B^5U"PI zAvo`Z17켸ؼqu͘@eoY>98(qxG|MU\4_?W(`-1`DbֲZ 2KMR-BJDg]1r6yhk۰&UeZ"H&,ʹ4esm _ȹ2ʥ7 `MREgI6{wRF(H{WdH!/(-u5LGfX7~# ; hpF[;$mK3cR*VwY~(̏O@L2\} (d,2"6fp,2J!% sUaQP׹~?NEQaAna&GwܑQtPe;m{.jvKXQ4woҮH^ݝ`вn(?2FIo1WkvNؾ?6OV+kJg~z=J NKA͠b^Io8}io:3W͢{?߭W=-/]g 6?B1O a17|ǐ3 qRLC[ڬCZF7R);3[PF^.ީz>Ϟt}z BRj 5^`XJw~δ,}8 }ڱ:"~K\$kB)O{.bC 1MvfvBf5Cd4~&*V;PRHv_PGG76ut1 +`th oar+XvUٳ 6Mr?+A~iKjSm4k^-j/"u`cnH̖sBӘ5^`' Z@Bk=.UGP ,~+7mRH6` Nu7oB/ng4t T73SgPCzHI(A1]lU@ND](\qP5Y7wcC LqCb;!nOc>ޣrΣ@QDnp u7rG:ЊQ[,V O.nX*\GNc)Gvs)sn>^oVm@v@`ȫmEh<`(`=X-O3$߫1y)) (j9fZ^? tlV$s[fy߁.g ٭׋Qۃ d ƪ%yk"\C$M^* _O|Mpc;].&.^$Lk}cNϺ̟gI:O(jO^/*7Wwe&x_W3c*~|Ĥ`kW/#F}cIhHڂ {R^@#Fo9лWoIQNI3?nZZLx A &RCD` >=lbFҶXi S,䆊! GlT/CxYzTus:c:N)2-0p#{Q1KߤY1 }1h% LQ^of[DdLϭV@cX=̶ʿ b^NǫOׄ i=4eim: *p+Bn"B@KOtau0cf2_<.>NMN/4aT Nyq r/++\\(@r1޵ЋJ$=iQ1>[CTE)D;Ң 8\d9{n`}B^Na CnOC&5AXX?n!`J6xi~LJ+B\|oku-$|Bf¿;cA<},+P-?7-gt:̋wăiwMR5$q(vtUk O}b\7 % 8T߳ʗD)޵i8ISg4e$7ކ!v?G.}z~һt.><^5m#Fa=iJPcA %u"-8⛢[*&F/wjK(Y[#{wFԊXSa’VBTSۘklSYH ;-7U牸0{iL1#6t1SAz;u!p_rI1QR`"evT~O;Nv>KhC|B2;_?GV*dmL`),F#ֹ-ėARBWMO.!_CrŁ Vo>v+K?\jkAjn)lh%?*Nuzz)|A+cnXKb3gZ19 UJnJu"vA(Lm7TO\a~r5IOUç̠IXV ČE=t:I4 HO"`̛?fĔIb97Nj9v"$Nʪ}Lz> {hN!lUf#.G|ܱ~\tEBˌ9ScU]ܸ6'vǁu(/%q{.C9`1 ̷3T{fnisF2i;Jȕ3ؠkf;lZ O-Bp I}CMvI5cROɟf7z^sEp\Lh = ⚎LKd~BGG=5|*jV>#6\a0 - cl*ѭ_|ڌ6HTB</ ŨQ8 bc`*hQSCu6@vE72v-ۏb3RC|PYԢ't-,J1Go\'|&<(V!`ep# qɩU2Ab/R+@Cٖߚf9u+u'H 9b냡dlW¢[Z>}TŮJdupQQ}o>7q3B\T?~Psĩ.|%XhoW0UA1ee0$iqф5Eh\4Hq Ho^ٖweqH~478WHlGăfN'O(nIfY.K^Jz61gΈh"/N)iu[?Ј|kL#cpۗipT7#-Z9r;U/v\WryJ_!D6@R̩iXcq/iEX˩ 9:X~@p <kj cPS=㈑Ooka" պ@ uu&ǹQ MܴHDʛ4՞0aO?DV   ԥUZcgJr4C'Jۥŷurl^% ._&L<FE*Y a/U/_ yWl?M.v9G2V_|8ӘYhd]Oqlkqk8 Vm?"PwcQ \iGàrTk!5N nZYȲN/N"_'kX/Z77+FX) s+LދFӼQ5qrEV荐)Ic ;?:}.`y_ѫz~k׺,+ͧNPleML}!o+햋J{eF{'Hݻ IbE 6ռִ(&ߨ.b|x `@X[YjɝOon==s6l wt@O+6h-I%z?lLҟW( _=SW*<0~6f*@>tLC(vxnhz=m}\. *Pi}aWz۶^XDXa<Ǖ t'r\9~&X&Pԋ^IpJ>bWb!1z "2~~ջ-7^-nשy?n.+fMUsیEֻ%%e(_n+g) gMvu"q<*gӅ{7 +uMZ&T7-eB Jo%̓[gټ٢Hۃ:1? FbQPjQvK_PD|N>w x`)dHMíhNT${jRN fBib!5|z2V +D ׵aeTma&hT=kI6HT|U[Ք}bG/k-/ G60Zl6Rn/pY>ޡ~.f߉\ Z4ȽG_\ - z])Wư2k"ݵFh_-[s[J[um^/]8|90.6; P2  ;FwBνP8Gf3 'R#X nU?OU[QL@gԖ8ĥTHV=Ćlʚ>p5 F /l.!TXV8<7{MEw5;uFгQ;p"q$&ڪPyPRHL2))2xtM ~WF ea]ӫ Xd]12*hDJ>֮[{}kRϷK,8HJZjIJXysd2ME-.YiUDޙlD}yG}SJڙduO(Eh9ŸD$tB`/Db2ND"@fa8$ңQQ90kn91ImP\zq]#`Hˆ^GP5&L& v(v4jPW.[D 48przK75*H}4_LtFJq rL*ydyM09[CD~I7ӏǗPeavB6?j9~Pt\TqYqGP.>-b&s1bor=e;am$YI:CnɥAl)m*KKMpn;'E:B_mGbE2. >t@ rqiNJ*7B):D?CfM\Q=R5f7Gzt 5fH sq~!w8eCY&Q9Ϥ1և!Gf8YgHv@ FnlʳfτcnY0{ !ҷg~mc0tov#BfN| 5*K􅚦BOqEW[2QxMD[5ZK/7}: *x吏ooJVpqrcgٰW0̷G[ɜF2g]U_*Ị@vH-;fc0 WT8':[:N.vąNwPFߴsqS_.Нn1K 沔<>gªg2+9= CS*Z00q__g;Dl~ JK (p~- -3ېOz3h!e Xb9ց;|'Izjì4g쎸2M>ʪ7x%KBn7cM~GiLP3NŃ_ftV{OIEq9Sğk#`E ;XP?sMpJ3M;񌷧e64AgWŠ?#cZA$40SvLa>JaPS; } _ng 󲌘opg٭" WO lTKaNt}Vޯ⩗>ץTs nx |udc0l(j?Cl@;Px0/Y Zóws9ZS*>s Xc gܵ]:Ve;>ܐs.D*}P0#bxfXD-iE9lJRS)C l!e1(={UX9'̞ $7Z+4VFUQĨ1ݏl4w+NF0;쒠&2 ֕~2'9-6D*5[KkU U螞)t:р<ĻwַoY6IsreReH:.u,M]{S#rVhΚ[ EHUDtD.pmYTtbuld3E$DZ$^+(uߩw9GRJLOskO-nvg-$w'(Ѕe>USobj')6Dœ(35Ե}H72`5.SkV?Figr5B4U{A[TGT+*hs! {(9[rT } YqZ*MF!!)کm|(d"t/jF띠Ȇ%wVQ7h霵"FTl% 64kdcʒUW7xt|K8<䡊e`MF'> O(Ջ:ȟB=y*M EUZ<Q^j#nnvmrap{KCP3dYH'Β6.ǵ)iJxxv|*>$c@e~5LnJ-MVMױ<[|I As?Y1ѤoYw9݅[E Nnt1-0Q|"G}ah*P؜L}[L8T"wa|B,rT]cDހsOћon\Ng Ww|όKM'R4{$O[T8vސά6è@gbΈ575$^SN7BE3$\}xe@y=ⓩ7*~3.QVV7x!ZrzGPD3]DBTir$ld$-tQ;Ow[/ a'IAWp (GU rEof2i#zA(5O8A>d׾G2ϹJ9m9(2袻cl}V0dO*.mxjˣuK~HSտ^cJ~$4X-Kg,'):i \} ıkeq/cWzyJ@pjS[[EZE[dLr .t]igZU:`-[|kU 5p)Hr95.dwK?zmd1Fb0|X|hE/  YFn G}16^maeA%߅}{[PeEQ}~ \=;A lD5R]W`z!|X< sJ7dE$D&:D~\*e4mfƏ4^hSEk<O*O, Ȓx%[1tOd2Zm]t&aQ'f X6K3FHM|CnO@{9ȥ~թL0=(HYS(u #pu N rM~Yn6^7l嘜r0fw!5=Mvn\3虢K%#Z?Sa0햎" q$>Xj_)Yc5~ͣG#12_720" "&Xo@~;,n?CFר?C㽪z@ }(Y/_!rr( ׇ%w*xǣ5hp5Bі"X+B*YUYN vtNV(ަ+X^m͡|~3;p/u~CI!_,SB:P[}<ȹQX{CL%A h4脻R8>${HAV(U9g~[]Nq{XûaUPũJYgvI9%źnWEW99f_"s PyT=9EFH=#bo{l ,a5%v=W]#(' ƯNƄt_ϖ% }_+\.OtAn0#fn--^2{iW,-s6N;$ 亂Kee/ޱv7OeBI`I'>pD~^YgrmuHxx85A$ 1"K__DEjˏF@JIt" _|skg Øg6j tDc~KLuNަ-?Yy8:W mAIq~wRVT j0u11%{ T{!-YfLBH\^RF&2t7lEujtu e%h:<x0-r{p3z:DFr/xFF:`µv<@[;7%q~[*ȉ2r_b`ͩ$3P{mp#1v dT1nm%^v_E%5z*x1r *)[i- D䉙1S0'M-}łp%hvQ0*^ ◽X=(qߏAbt(- koشu,o$)N^|o cP}{ يa yߕZzx*S x r G-Ӑ?t.yRJf|vGd}zwV? RD#Aq:KћP aikTM'SPWI{*hmycflH~S75 %J8Wmw#ˡYqsrnEP刞6Piw(]k[s]-Ǚm0KᴘB)SŤ:?ᘔBAM.֒|_ש)DaLB6ξ|SH#A%ngy萔A$uf95-\>NCD[.㥗wK4di'p=O_qpb$hgG<,&3(bBŮѣ7[y`YȌ Kԅp޼ZP!}!&vsMuȱe \Oβ,ra j{Dk(lk5gdx'/]-޹;.-V1c͙' ԼǨesT|f˥~w3Z. TK 5r)v썏3ڣClEF]b4tZI=d19nhC/7.wI<+IKAAԢ"_eU|)R8*Z}C8F܃ 쬦hb)f*ᖵ%D,Õ17箜h4V7@76?Tp$50vQ|äݤ7|8RԸK.TS pozO;ںnt^|ŧi 7ՆyE4D4y^U1^j;vMj-}{iitg.:{6:F߰ΊK; ڪOߔ_!;!/Wgy }V%dG(ksrLi&f-b2e {AYJpDr>\6T鐮2w@4=+-^}(&󪄾[Wk`͟$؋(.^7T xAAoA6Nnuw ؈4zͮmrjNdQoѯy#hua{h:|!בCW洕 eyOmk0aT|wד BUE"|`IO#1׏_- X i[.]v]|!Lpn$'o@ȳd8pscѣ2l#I!SYXZP!saȞpCI ڀS-)ό3 ]zz;Dv@(j'/<AE?96wUϼgNbȤ)p[bVBsmAQ=xRoť#u~S$HKMe}'u}:clPs4!7ss%:I )9II1Se58UCê"'^??(xvGoؕo^w+Of<1L`=qa}^WmU%?MyQ0N'`GGjK?%ѢOqRFiJ$DU#A3MhDaSNFAJτu&˦n\j|1Br(VP68=0uk|R-7P뾕kY2[&%fc# Eoh2=z6/xQp 3s߂bxN{/+\RøEDbiPc~ 3612&M[Tjoa/j/$/O (VMm l A;R_zG|En^'pq CHQdo]d^b|EsSA8,~8%cG|Pqd  UT;Pq^^G'%GV& Q'C{q#z(-3'r<;Vv?I+cϵg]ƱH4}ܻ"4qJHkPϥ3F:BUeI;{yЯt2jF;kIG4օMZYiI&#@aY,GE_>%đl?čU= 85!h jݿ! jwP"5( $W. AP&:'>'? ~;m,ՐS;̖#2\AW>h/&6uh/t`;TNEݜ_zxt%}I`Py&09f37D{  V<ДTvp\$"rT=%@-}g,s{%%Y1%u4Y w#蠮E<+ć 9yg|s3A܁o ?g:#*v'&!VAdU~dQ'嘊7,5.a}o%7BhgHOuӒE{̡bhz'|A*N +>oV {p8#zBpHg39Nw)2]i6UUa/jRӍđ-2&/(yC#͕+P5`$H X]VT0;.t VoWQv| ^0,*{,f ؚ]]bƮ?UB%̴M]6S4"I*X~,;<Ny<4fQ8, J[3fxQ<-"j:ħEAh%R]Ű2L,Kk`I(, RA߹'6pgˡ0Kr(澔JlNnqț&U 5<S9g;Urr'&m`I7j9 oAW= 3C˂QL"a[-i?lt$n߹e`U=ev'_BBSpq0 W}+mc)/jedSnS 5>Q@Jd"tnnYr hxCTF&ȹhY^Ue44Iu=N(eC>֜&Neɻ?Y CQ QB @k 8l۴ kP85(cbBLϬUjk%LJi/@*931,ܝiDS+bӱ ,Ev9U0)``90dž5r oTӎeV0x'4,K}L*$dk֏*%}TL1R`/IbwU;XwZ}uȧ M`Q"ޣ̿{dk-vЀE?ߊQNM /x㠘?Ze&~e:WW̚vɈ;4'hIߛ%^;TB\$$*zbO?ToO(阶0z&3*^@Q!(gnjٮD"iҠ[o I1:WrCѩH]k{ob twee3dggՌe2ʽ{w pʟf/SQP-o;C2s!p8O<)KqT#A@a3՜Zjᣔ' փsiQKnr׽ j4X o[֭p{Zaɱ"*\4Dmp)`Vk'o" ;eCpo]jOKO'HPLwq[1Jz*t^0:~GqԼt9ތJ9so2` 9 eFeS~O~- a !T0cuOC?s"g%Ӿ6EM, 0?@ITV|E~F>>KB5l4wjT)N'Ҹ"΍8dqW#,Y^;&YYKM^$#zH6^K# [ YHβzN3y%Hx0}$dv9!:R%DvCko3*lЋڨlXWE$D?NXwMGK2G3w\ts~H fd[8#65=gH PؾL,a51rJLmKJ5(&7*e+6TAIDS[{x>DO'&-vb0T!"hrV jTG9)gg%L͡ |)2V끓8EӅ5oiI,rY>K8.T?;A]7B`CV5FOMg+3r'>lk(.T6%Rvl`Kňc+@q Ǒ#Q Ov6H clxONj=,qGX,Rܓg`* ̔P q5+(HU. 6JҎoלMgLX;Zcq.pgmqf+T_ĒeX\"(4ozN& / R%C|I]vD!!eIpq[8Cޚ +H#w _%88RCݮf:'9ȣA𦮛Tdb=c ,M] ': ?,l2;h=M"糕Q0o*h•, S({Hh`^,L°hUQLNUu[xiSM4`WOu߰䱃F ȃpL *)vAA銊]$nFwބ"fj:J&{d"kTҰr/+aovޛTNv-6m>d~a^M5ƇNB \OZgYa@I>F7/u%L_~ $a_d}BŴh3/ [.B&eضƬu^a;wŤ:6I9ӱhcWIx8l*-jxIeڽn{CzG\=T5FUŋE,m+a+A"l <~+3(穒?C'T/ҧ:8vfHMr~Se=Y`2 K2_Mlebov3=Kz|}U|w0_BFنz-\p^rR#`$u 88E-د!&HNy! 96NrG)]+K1{xt>RSZ8(lXX )fD- aV̲4P Ոv'rErKK(ܖӾpp-q-x7UطgҾr}FA:L6Tnj =#l uiPI,~Nl{~"ОBQ(f<_[p1Yw't}HbՐ)9 &&^m9nH`C䂀%77^ZCcZm8ʙ~;a6J\^NxyS% |N3;p&o3j7$l7& .tLr;8đ!e[M̳O.*kbg09H7@U.Vc\#6҈rGlLߏǑmĽU HJMueT$5rM38 +u*~sF1#f]p-"Q1IQo7jcucQ(G!Q6l915i3EhE,Vm.`? SKFj8UeOV'tm8Y:0s -FO'- A-SHЭB4q ū {q q 6\ .˫ ᧙$%bة<-~V͵Q[M.㽢DƛnbՓ3%l 5D.w0-d(DH#DmHUO^be-un"ĔjPTH0IM0nك~bؙ> 尚ghq[9$rɦD1b=k.-pm@EMT4d1 N;3KD&ا"1YS[jv:luzً,p2@&vRo=юoJ3C񟼀` :˂iCȵ` qeT]}6AOnhsf^ia_:Gt;H'eB {W;%q~FR:xȢb 7@gYZ.(&7\CTHEئW/7.4=,k?y{1z+{8Pz eDhgIg93e1EQxnŎO%o C8Ky4뒳*`p3NvxMޥUz ~ nS0Ng䕇'<٭ E ;Lm MW!]Cp(7{(D~Q ,sԺDU_6aQjH_GjKasI: 2>N(%+F5"TTkgaf?@ui,1QԈxA\M"'S鄚)B`wMyeJ7]~i!UJ8)FQ~,M֮ܯH a`-@$7j$%1YYFlb{b=|<|Ub2HV>rQ6(|lӲċ6fŤMX0 VX r+S>ŨE jRRU0 \S&_ Y%gXVC_s|_yuo"طjXK< 9ΨS; ^AwFN~ړ)KnI+𸇠Q)a{ #|=özN``-Ԯj, :LQfZH{eMF.!&;Y^WZkY|pVC8A{[YTeuǝ8ñk!gsSʒ;y^B"{,H/GqV`kR,cQMq-D uh>bIyH;:?h`̧3".R-7u{E> W|)3=ڐ|B>'>m 2@1ʱfmcl-|\e#TZ!,BRE rޒYZy+H]yCٝEћhgui[+]IbYficW8Wpw+Wx5 tw$nk #7 ܿak(''-뤁xՅ;O˵Lb@X4C'6F[Trnnh=H2<Hh8#Kb# 1R}d J= ܌4N=a"SO8~F] +k̕{۔6c x/]@]H#OpQGT\wZp0SfEȡ;YLeΒ+WAra-i黺AI[PbLg1on@l@3Iq m(eQ'=J|^R-#&`v)Ͻ/U])t9,Qm$Մestcon^R(x¨t@'tbAzR[vg2< );[Tg!nԊ7 Iπi͆ mh41}`S>DMN1L6!CS$a+fW?'r UH]960>с)Z۰: !Ri$ IB.!S.SczZl l Ճ&sy^i?Mِˍa V#+8SrJT-DIϥN[@ #eot0j:Pr%Pm5(./EoӃ\Rq_x#8N}@'h$R6IrOW.Qݯu J#lxrkXvcc2KS\Nqm.?k9NkqZE_ lQ”k͘مq3t2昔eſaCt?>IE{^&߆6ѪQGStfD qvf:&sq6d2̃, Zl^{bpHM)vp8*.Yd((90H=Ԋ?`dYȱ6rf7^ݭʥb'k<\ZaYx{"eSAy#iUꏚtt~;הl]-)@v1h,z\ g >C@K{GlƲҤ(UɅ1L8a/,F5M/Ө(C0r? K9_*,&m\i;3im5wkhZԮ^nJXnUp%Eho.T"=瘣;TNr_VS m mV\I&nG^ ɚى]ϏVb:AK@( ]bf\5߳+,t-Ң迼Zg n*ǐUPџ7FQ5{4K+Tʐ=H dD]S 1ڮ*UAv/.K@%y'["=EN0t5 +Unr&.=O<9[*_>4Ɠgp6GXC9 6L*φVU% t a Vj dh4Zٳ_sR"tOը3xS>6Cc%-iWd)B+\ϔqib,=1*^h;ʬy6QSP$ƶDԜ*ѴpQøe>{}8,ϵ+_此KMLLr>]V6}(1mw/qsaj /JO ]ݻKLV{/#V@=G╈;m/k9IL%' \ؾ_gH^Z(ե+8=Dub{n \rv^8~FU.}n6{F^M'Ϋr !-y&S$o 0_dE^rKvϹf\ >t+ Jď"@?M08ku)9R\̲hЀ8ۛWe eZK#v8Ârhs$WVP 5AotH4Q8ig%bC6ܿBK>,4r0>w.l4:)`3MLtjsw!8? ]E9^FJ&b=c<U#AAI xl{I=_ɕ+]K*i7'V G[Zit[}soA<#3&Qw^3Px˽YlPO^D!cjFncDGyec4lo!3J8\_id݄z_IF?5b&{50D|g|e̅&9 ~yJnsݯ `pNb5J1P~C4>tqyH1,[k.?GIfnOUSMo.*8bkl':wƶiIe\uv*o;7U @A+ہrΣJV[eAa-O hՀs~]:{$?dSH][fUvΕZk8 u(E>V;V~XTœˣkc+ : Z=Օ*sO fuW֧ϴ](7??:@vPDo1Rr֩fF 3NSn]^oFC.J|hZ)yY.=0FֽPv)k\1b h4ɸw O%Z ,hu1;\;<#O&" d>b];ᐶt°!];=ګ"]#/ʱUux94MEcXR^/Nm|ɻa2q y6PcG^^ x6E$#HbܘpZ[R;T"Znv2-*PƣȳxYwRF!J%)g|:bb2`/HAvXW dM]A/O^:TUL费]XzgV=m}"¤9w =`TK86E &nKUjLKal :]=7@8Ov2JBv+ j\TwwkcdY4yZz4ɧP8_Uѽď62 GO]2n9ȡ 쾼^eH)qs9f@ A*uoHPRSC'TzFr><425Jve tӶM,`k D&qE * A[Z_vt/RF>+@%(-ܶf%vM'4).Yf#1( u@XcCuO:JPU6hGq-`Xiv |\[}O XBt`;%eW}@Qoo2yp 6BIvU6yW&>MYL0 {>ZokOuN l)PX,BH"1rj'Qs1M{1lWg;c鋓VH茺^Őª+}mNT0Wu' U#RlP9`+NYt &#bQ;zU^7=֠5ދuhJQiƕ98!\Yضtvl6Ɏv]{{ ||ub=/aE 'ц2T7ca2iTf-4w)v,.Og!?*:PW]xlIƢ eY ܫ°"-9:+ 4Ӥ O*-&R.邭tR(.70Ρ_t 6σSDB)$[ DZy#.{٥i ʮ_ӚSp`<"(vFD(_ŲTtu7{1/=$Ћk7;W/-FB-Qblk?Em<=:] |'N]PU|3VC(vp-bR$QON}}<{G q72i_-(=CTfO0E#?.}#GQTҲVT!Q$!7ӐF*1Oddl.g @+/sg-.ջ1I1ĝ,AkeBג/P%ho`m^pv5mI'@kĔ I]Σ~BeJο[)9_Bu ~ Փ &}ah^ OiEr*1~*:"VH]ĥ\ VCRC.?nh;9@x*4CNp; oNӠrTN;9WI`3 oG]li4%&6CdĹKx! yF-k/4#@=0(dYuV;xESp YPf\RP5 ɟ7МiN*QG Gm ?o!x^b$ Trȯ\D{{;ͥf, j˵Ր/,eBr +;u'Zbu2DzYey ϓԘZ <JvPd5#Ub׎Ȇ"C36RMԘJ(0es-l.?cg);v*bɶ8WQ`j6D!,7o? _J;K7)Ct={ gyHxZgY4>CG?G|Ff ~= +vS5|8nܑ?68$>ce+$tC"xyJQFe:eTZ12* ~Xtv *ʮM3fB̿`7iJJGtV  Y* I*aSJy`&IeU:mM\cQ9lԣRcg} [^z/WtrZJu4s/[x(&zudXY>:hLԏľ#0=rl|- p|!JVze2nqd_`$u2fy$ 7+`F6TXj%[uzVyVCf^&I${2:4q0 sf[R m`)=&MTmٸnoPfa|onR Lm4 볊C8>a7ZBP5Zfw?ThˍO`rN6ǴK|[U87gQГ%U&{J D\NWv]$4[.{z Z@@?V=!L,,`}\G:Rȥt1)Jԟż0&LqpI7>՚$CUޮ-+ T\ 5|D^Mfpjt=slf9套kc ~T ɼoɟ/L-"/h#yYK*-S,*שl=TEEG:=4I4W¨*ok{ %Zptap=4g)}7NX  .`r3'0)'CiV7꜃SYlq8iI*:H3-> 7R$_VO=mؘ4V jEYXKZI@H) řn0\bCR^[S%ɞICd1ӹƵ[ oDaB Ā3wX3w"$8HJ猗^F0V_ F8 y=*;8;v T[x0u,4\RD\,}=-~#: \Ln6s8Uy"NʫE7C`DX8Jۨcஏ‘^=]p՘]Xޘ#Ɛ`1W@s5j q  lT5=Rc!3KG2{[&@nքhz ;ROJN30RЦ wf@˨uMOfBRO?aU2[#V}:0S곌d|%S%)I\y5ZY<8[*2 ?r?;r f".Gv3Z[1eCQ$`mOujtzvfGf+eR3GUZyh(wT٩a2[,+L(Bk3{dVM3f4ta{$1:cd4& EuwzWxD<6?%|V&WXܔpn%JlsB49ɱ z3)W͚,w<4q;Pˠ{jL>tg8=lmXͣt:c Ԁ1#xVz:)< S9QкOÕxUޢz0 CV7J,H~\gS+;ǚ8l6Z+]/lw朘vgo )9꟎"0Lc9uٴx1nG;B.b~zN UVX86+w@: @m4R_$]ɴ49+Έ \=}an)N>pu:|?ᓸ@[B[-B 5ا^))# =իGFb_=&owG~{P4БG=X[jX!s^zuwN5 6*ŬVts~+x"!E;i*Jt |8q3\]RNTsa=rF9ޭ*ױ]Vsz$X%($2MZޙ6z9 }K_ ` wάJj)+}Hԃ"O7YL32;w|/!Y(Nvf$bg;!9lO^zj5?oOIbdb.~Ec\=8" A#gϤB,KmPidg6+g;+!|ooOPDCjl#m=Vvhe=w Z1ɧm2'L*HW3mzJV[]dMM[iԥպ>]K!V!w7uC~=ayXLEf*YO0MDu1 EG̪`])Dnݸ5r^fV]R2b>[00O<+ of+T% ewl~0$7(OLJ`p^i \4yaW5&lڼ:(.W -NnĭVL]H3S,Scv\|r<V} p sAWȔ$5 `+՚jWJ) 5,(3r9ɢԘ9T'l5wq3u]k{T`͙Z[ZA%ȑXߗk[8m r55;ᕔxU6{<%BΧ|]9ϫ=֑ǁşڐwwV}^8XǪ2M-_V9|Ϯ\4-(p .dY %w̜ZvzMXKVl *E2L"+0.AY2WD>w$wqǟcmVW oVak*痝$(΂;~ fgή9߾9a1lܘ0ڤ3XI}tJ%KP  J0"6>_(Y!{>siJRxZ,QyUhLWI+\h/ن2;5}/#`m~y?Qa;- @2缻X7XL$ёOv9B 9Oqs')eJ9uM1PW49 -+y ?ݬ]p9 2a(US-Qa1_5!@^6H19qQF15\I T ;dq@xf*B)Z A96N3Tԃ[y @tY9m5'T|oat϶ Nr6o?N]?|ClTΰLofXאޱT3PwS0w& E9JIrD8aWTBj qZgޣu4^!M!t d/eͶ ?8AٟVUvr hNq Ͼ{G| fq0E"v\,I京K$Wr &dm﹬Djf7p2uӹGְAPGZl2Htχ[[g9:IDM@SLגƒ#=Y0P%@20ʹi뙮9ӿn2P`_tQ&m݈F 6mAL,i^F=F˙o\@*u,}Mp'dDtNl@sBagzx*~" .ʧQhez-)n>!uu}M$\IWnz\/oo3=kkw{Q-L0̲7"4+;H.PAqr)W-S9E`YJ9RBϖr',1f8pߎVOc] uib,Nyt3| תLʟ͸ȭS*{,?HO6/t7F,a7(rxb+5K-oHţt#,&c΍cSI\U,U"+-" s.:=QF#׎q}64F)paEVbcHXÜu:noE^w`QB)-xj-l۾8| }Yŵyl v gA.ڈ.ses2O]I셰,Zo֜lz4&^qE$|ul08!y$qJҳONEw硡Fa#ViVa6ɛ;5hFF6'ڶS 񉕰gzDk3ha306 Iԙ4¹v޸+\¿1bm `(vH,ߨ2;#0 o.7hN96l1Xg^hYcim=LaOİ_O;kB0fZDnpcld7!'@Udv1RjcSXUޤ)TܝK7Gh^9 P`*[LU|y1hvM˙ԋ$>Y2A%C~Sv[4F=)Eo ' YN{]FE:ᄉZVS?/wMmvIgfZ62!C DxAhG[O!c%EJ~. Sd*xOԄ ?q⭃K MAɔ藵ۚD>~Z#p6-!fFL*Tdhjӭ\X_ĪZ 8U Ո<$&vEVKڡY4x/%k!+!kYWAΐ4S KY53d? Vܔ3chߣNIhQww(0nC߬&lGV6E67l#ka4K{Zk`:`pg#ݏi;|nT{sK*`ⰲE/q?pcqfG!l:(x`3@%F- t\Zg?? 5Z#!P@~:D9 R]X:fyo(a/h{nn݉7˫u|oaoK F_5ETF%‹6I拞ӳ9⿨h8#Xsj-eURq?}vT6HUlV94qLY|5Gҭ(]qlzPӞ~` ec>1X(]Dgj5TŝWZ5([LՄ}$OCñn[PS 275)CO.gGP8GX04]ҟF3~XC}6KAiB[̱@oQQeHO%)'B7]F׸9q7'jxydeT`D=#oZ( 6҅<Ӂ0Ԭ| vnŹ$;$::<@vp0~<4đ ݱg+ C VXj3LP$ s7C p/wk0ѩƖد=SEҳ< ,e5?A+XDTݴ5:/`Mt,x0v~qIq>n:swE>-`TT^A0C/LcC уE԰9Z3.W[}Ʊ-maӚ*msA2w$'-3l"<7ѳ9Ȕ49]$Kdh,%6l*%x&-`eS_QxD=vu>%Өz),cH?ڢZgvD\dۑ19feNj5"7Y (]?7Clȫ?piAb7C3)153l1{J'A:n>g X[$6rÍ3J#W: 37O!%6E._#> p_lW^U`kMONY8QW؁@ HbʺM2y JsE 0ZC/ϳu3z'Yl/kѨg|"f2lPy-yOd&A"~ջQ}dU~O9NCixSCUrꍘcꞫ:f1@.zYmKt:P.S00\g bU"X8;s fnƺէ_n ]RWu(8TK.FY>Ho$WQER Ih.%*|w-h^;YeESX)=aEITnK4OcubWnXv7`*G\ϐPxp/zkWJPz!v!L00eʐΡ`e/Ffzv ͨ/quГ3Loomz0}tTce:YH*W0881\u*{M/ڷr"C}QڏMXW*Pg +f|R ^49UW_Hx3=C޸`GV/Kț.rB DcU^4 03PC#KjWEI<5`DKngE'ɝfna ε g^='ȎV;$+Q=e 9czE`a?X E ~ 07e0JNKT; [F2@PĿ<BBU1?ZR?ƎhSwc FXDشi'j(60t#9j,7ߡ B0dY2@v]#=.R`4#Xml%'i++3l5@[Υ3[a0u1\2s}Ӧ\3,OhE)~Oe?cQ5$t;^pn9Mg-] 7.믚ET8#J51"bgb) NXz:"_1=U7>t. z쁥C~#8j 8-GdSƠKxgL5T+3M=csIEEns[Qi2wҒH-MŖd(|]޲ lH4 S:Г|xr s蟥qg3F/wnwB2\DT$[K#B%G\OJUҢZUJ ku>fK,; V;@;]8Xa8^C<~^) һۥO'~>-`P6=%5]_rnUES!(e3D cL>}US1:.y(e? h08G.q.(dy,e{HZvfNbj5{R7p5Cֻ~mVo,Y ,|b)N%P.DmٔBq{h-F% |_CVӐFL$';I Ԡȇx1Z,Hh=wv LNT2 G9 !>Ymԝ2 ;N{Dr7 t~"1|1|8J, #Qkc˲m*eȤ5iQ2V&4qkRRNGx"+o OR4i)dEK!,ɮ[d S&\`6[TqaqW@~@?ɮBnUЈ1I&v/ [W\.IB-HF>!nz7R[CLP g! |$1t>3*4F73T\s_Ruݯo(~[ ȴ5HRo UG$ڷoI)foz^mkf{Ȋ(sięGŘ=,|HEDdK17+q 9cF2IYʵ{0" 4,ޟ2s>MMUj#hZhuBU/kH7@Fj5c%j)IqL̋F)zeE ,S?tGaFh"{$ Nh^Yr0?bKibעe!^*Edn ẁʝMrRlM; [aJQG$d2φ9l7=E0\GĒF3fP2)OTUHqTwłںMg:7NPkZWL,dWB g/$/NCF h9ZO2jEXۜcnMsUW57(m?q6ף@ÕbuBC8o90B g/׶ZiV{ h{~z̶uU?]! yX95)tȝAju(ŻC*_rةwQYkmgq[ ip]"2] l&bb5n Ѯ TF]{epBKRI@:dVrN,e+.O t{B~;Ǯ5G ? ͕%}lM r_= xUFݥlW1Miދ@W^ 1bnjwhƏkM8ySC9ׁ^yzUZMڞvvZx[c~׊5~~5o[zQX>͊>GQdC[xAldhВ R)n!#Lƛ]ۗ w5 wf½wr;U%Si]r%ώr>R21Fqt{mK߳;1'͹37sH>ʏ+q?(#\"ڥDsvK(x ;a҉q!rW9&UOOwvg[S!n]qb/MOv 5cvB>C[{L*hpdt38x <퉂*4:83m[9^۪aDTt0L7xœ%َ. YVg<<9sGY#c H(%A֟3 ~mw/2,M4K4)XXI݈.Nva쑋=%X.X}%%zwr_@k(2p>zb۔!a2 L;PڱY _ GF:yF@l7K|~;.ʛZFTAx,R16)GyH'xN"&aKa:'~B &,͊rdz; u?ʼ!/3!1Ttm_gi4ҩVZS`0Z/n+!7n7( L;k ,Ѹp)"8B?Sq] t7 'JmT*4ܷ& #uc o$Bj&k&DB5<ۈF~M2e/-8LR;:"Dp {n?4Me2~Cngr?s}:Iҷ3.BتKk湩{tvHƴ4=TyYJZN!`5@KsAUNouʃy;.XGl;Nh`P-\rt4w' cR\h&1G+@jP5¥<$.ML蝎*B=@ NPҁh;y1{uOEi4:}~ B!䦽wȭ;0vbwaU x $4'rBS^I6(J!=ڬ]Ú.ovgSЏ}ri8@^~ [jS`T ͈Bf /&9sΉ4qг$ɒiDMZӡc(tڟd~N{u4Q:ϝݲqwF]*qcjneq3q~ b5[J;>1gó݈ƌ9 ,AOw] k:݉*<# 3}\Jd`6X_7? 5SK[-A c}"R0 )݉{x̻1M/]3r`}u-bH<frmf"oiAOcpQV0G}AxazG'X2ïnl" 3o(V{͎I_QH+>E(!^jbYԺ{(؂+0Dh2*@ !ޙiN(0mYo7Č0ܒہg"{ȩ.vy=ƚxDF^`Ha҉= UZG& i. X 1U Z]:6^;r3^ OLT܆+AiK?Iz?~[HlX4Ymo&9sxPeDرB j"Ebdvb il)L̜\V Մ -o-M-8zCv 5kZ:yZE-"x4xv[iաʲYz[*V on"*t+k\2x͂,aN">mGv\q~Bd^.{:x]Cne,y '"J1.;Qys5ivΖw4()槵rGJ[+V"ٮJ̞1>N<,yӽGZe,b╪ > WEUtmOsAj;$jQ7j1ny Ѿ -4&Y:  Z1D=cGv.7N15򳄔11QdAΌ |BSؐUdx,_ƀ8ꝅt*B)|Tl1qÎߞ=2sХEm6 ګ ` jakL#w H6)3gƮY75n[̄e\"'P@wزcQYuc@bAFA.":)^$!g &bH7@cesF Hѕf[B{74̹L Z8ձc9 vPX2]6A8$b/ 3d®H5 4¬n;U\L ʃP˜W1a=6]7LF#Ux$nhd]D%p!1F7յ^)v8 y_!1b 8c`Εvy'83 nzT"UkNQԶnԉ)!+\_p(.a{+T]#*FɤF/='D&Yib"H2aXǽ4x 9(#[3k6y6hR f'=YÛu"تa hmk'A9^!3iĦJl!#1n- Z\TҠJqdȮQ ߬u!!Uba:s#g&0GHL2/Fv50#;KbC&ZXCJa:㨼M{BC&;hkzF#ZU0OC<*N»Gbh/ƯY\IBյk[PC-L.,ut4Λ?Φn*4 ?v>R].1:gzn@=dLD͜k;? Rn6é7 ۆ3iڕqG.+="v;ꗣUC4`q 7Vԯ) oapovT 2j郊ӕ6|Bѡr_%r4dOU;qy֛ ;``x<\r^Ե6KK:шGMKF Ҫwt"7IRN@+ƖTQ$SOU9y+bγJlan]f㼺<߫]i~' daH}s-3X´ Pʙh&CZ6IB*v[Ix8Y%QCH;̨ҽm z[edr 0e+3kqwNѣt$"vk&ʻ9@l-ZOwǗG#79CGCXo9Ff:3uxđl@94`4oҖ]Io(,єqRJAե^EPXնs4 M̺3.NyZmg,c8/GkMs bA6و@PcƱ'?|qFѣ@#>v;cuxǿrXIjm♢Hs&QcܸRo{O#O!Kח(}k_H37}~^ԬOntoZfd }O6weFgMw z:&6J~s$|Vk;mmRߠ'IfCe"f:re`>% [YH&*ksKzB)3qiu:^Wd9?"7 EF͞C{TÉHпrvXd_+ +W¤?o&(i7떽MoIGj:@Uڜ#Ns"$l.-I3Nd1`A>1Cf,`#y>nU˜HAPN7a0qYF**S+9V^¦tu;)X !?-d ADa}K"htYU5o#N h E!+m_9ӊc Q%UE^'8ۮrl| udz]$ fCiyt`}&\  7ϰ\I"o{9F t+32$Py[l:=HthQ8~iIIJZ\Ux8MvNHVxcw W̓)csl#f%[QVT,e.jޣ#O6dž~5_*շ(EhcJF7Pnx7[`V-c }c\#(.*e_U9iȷ 8H]7kLܼob8*%FHaN<ʐk|ܫ|Ԏ"Em6HU'iE lԙtI -! NÄ@'p$SxIP-Ǖkq ],@HrJQ`.xzb 'eȯJm.FYi`q#>nEBQ> x 9ʝ>sCCr\pa9ϓǘAa_`? Ncpt4~\UGr!UP O<Ӊiy;n \^\F E5& ߺexc=o+0ؤx`B$*~ܐtzQ5-S};e>'= T;2>^E)4IVp1 g%fm}OYtf, ..rg!O=m5#D`Z'4qwT7oI 3]V,Y$pBmk9Yn3";|)\LAoeȢwJwg&?t}66pш)EyeG&Uo\"M"bb|"?=+=2.f12`Hz@`DA"I**W.Q8Ie}, jneX->4~ӍB͘S!|Թm_=fy|gkCvԃ!A∴A@ 5)?IӨҮd y#0a b;=x[w$3*9W0ғpU*&jY+hP9X67Q y9Uk5SoƗЀ-jp"-y XRƯAg "D1] {#+U3-2zoĬمح֕o3O90ե-c*H=cekp]. Z٭K6I0((,<ׇC/XΟSR=VoD# QY3\hg8Q8"^o,?3X}|:+lX\zjGi,w>-m-:E;6B'agg, m[MP͸ŕD}МYuIk"ߘd;z"X;( XŹ82bW,8u%ϧvLys%+*Zjj&#ٚ7¾^<2|1ZFm%jb5kd3w+`Bt"OF,*.0=-,dWZ m*cL-(,M쌭۱l͙x`p19*T1CŸdcP*.l/A uZKnj{Md3@&{}ѥz%m0 \x'w?g@{=0eT1_F9ѽxv2mF<{]J2*|ʝzespUv"V!vD~$1gA׹0UƜ]Qgt7$޷!.Тˡ{:&|9όّ2;Y!(o7! qzXjuvR7_Ζ琿+Lp-*AX-{ ?4v+tM+9ᴪ]Bv1حK NiŃ+yDoKKB υj؊{a}f]6M0A@DaHӣxQҸkkx(,У9!iT/( 1Ec$!(z ^zK䕵QJ9Z5TDFf|2qCo:Ba" O[xIL"el؍c] ~1}싌QbZcEZ}xO֨ij_4R#ccu7~Ϥm9`YwxZ kl\Iة.R:c! ۆMc(8KS(aGˉ20&@c qV V@k /éW7_N"yK!=rVd՞_ JA}3t5VB9~igԤDUV٤C 1o^̴M@kB\h=Q] hsIZ=1o㓐7V/7B[emԧ2A7(ELT~f X}>,_yOu$0?AްA~JWZR첓 XQWSYU{1ZJw#)U |j.+k2@*> -.iVAŵ6nG"[L[0ƃjO.r@t; Яs:ua@l7;fftw!0~Ȅ#[/baWx^iL[XiVcw6q!Ļ_#.kfOG[hVg)KR|>s</ kFٙí7ᛇU/w`u_Tlj k:$?* (販bdF{=nٗdεNjCاH{aSܫUIo gV-왽G,G:~M. mB~2Q:AQS[xHQ'5Ч+E{ N+Ƙ4p˽.'7A ` [#6t%Bx!c*TXd͹;MA!MR"%b:oe0o 1QvҬIWлg\txI`MK<hVzf9cJL]­} H?s⬐<jʋ:GH]L)"kmeoK :3n.r&X^ M ^u6B)MP,N(K/:_^? s QxR3s1R?hbvs@Wb$̇ ʗIQi T`#~I_dt[ߧXwW+(~)Y1Sye7>,0<\-|H\Ewoɤ A.Mī ٸT ~2 ,,wf:X@E=qJ axS|p+$ 6QzX>5 TH9n}Mf]Jzq$nՆ:>;wjmLWݬ?c'N4^cȭ³(=prFȏE޽AR of1:;:paS!1 W^za{efә3Ex(^!T߯Q)M̺r.VTOw95lH,[t:p&'RAaH(GkQnUWsn_}7y?!Pa"6]VqߪF2͌en&5N\W*vΧ QO@ }î M#/e5ny m[FӣT"= ˳ۺN-gnGQ1` sh̰6C@iWlG|.ow6~mwC6L:w{C~Q; yQ7MkIeE_iOd8r#WmEMt11;xz{~cTH"VС_@`vBQhYh'VA h %'Q+ EDz[%|oB<2dߐP9t4..`Vf[ iwn(6GLP͍U5Ϥ"TŞ!_:7u ZcJqt it\hbTx򱚯5zbƧ' ʦ,J1^w઱~wq5SaQXcdkIa'Е嬕pIތ^M!)5'~pd[Ԙ/d[]2p$ӎyS4٪9$(%Rsz\D'SSDXsC9 ZT1J͂8:n=WQBj ʊ׎5^Q=z]ph3('i7Bm{E"\fb-\f=Ly ҆!C9W Z RU,u+ Id2~,= dWF3K-'L^T:?"rQr2c78⧨Bg.j-*Lz1d~d%wCD2\~);q902{-. 0nH+{hi/*QUPz/sȰST/uP;/H1ɍSwb F}V[W "i01hwvfՐG_Б }W̏n`w^ 0Չ=±߁H޳J%H_Kf9wrQ(Ų]CJd.7uātw",G_Z^hJo$gT*-|AZ8XIh6:HjߣdNL+&?E o;2]n.~\oz )sT- blPo:>0 (,΁h._ȍ;J sCSu(Qdj,>Jت!%~/;tUoq P4w}OXq(mVKX @Tϩ`31{/~#a* ?KSI@nd$Ai/;iWREosْrJOG4<w-^B8CST |OO}- !`UŬ/;mqW(||YH֎]UR6Cm{4 D}S2-׭0WLh zrRQJEm(f40@+^Rޥ!o$0^bN,t~*$DHq7zmPJ}e!!]Lm69]<#;"'σCjV33/14,Z JK= UBiĄ+f<⅀o@69r6l 2O W6^iX ,ʙ8%XXQ1d/-p:8^_,[C%fh 4wG_f+{B^+/*Udkх1J3wOժ7kYOw2NsrV;*sdknD*kq7h7 -k߬8| okxMYIvf:bސV&WQKMX8:yAw+ٗ/yf=dOeՎ&г #$61ErI>g=r`Sq94UOlG57Z*eq]M!}С]Gbᑤo8-L{!ŵwϷp8=x?ܚxP  >7zw#n_Gxd4]-uB==pѡvZlmh5iSHqm Px- ׄ엤_|'h@=xsPUbCZ$QDr.B8 hr FroV.țkEbu"%H9`8Hų0Cv]-u_%aFD9R)=Np=&lJq(ɟM7@e׬lb F<9P<]yNW Rjjp剖DgKqgP8_ך4w^Х5ej[4Tu/GLF=\``wa8.t%EMu)KJ?w}HS"4O`q[$BX)JU@T ( L#[(ո>" P΁©=Ixa# b؛Y"Lt'[rFו\Kafm[T+$r%S~{JÅN?>f*S=~N{!. 7#r n0L#tjNg{Ss>, =E5sV :RX+|jLȷry&X cC!c}ֱ$TG+0a p/A6='<Ѓe!1Vkw3ЬB8+#,o lQz\ÆrwOgx=, WS&]kB2[]XNGɝH!fv~ϥuijH3V;}FȴH1"4=6Ir =(igAS(T̈5cN6/,23a0MB43Q#d|U٠#n@]oq%S2u%jG㚻dk6.b;-1\ @n"iP/-[ñ%M8=af#PbQPDXnQPU6*~ё8YCx K,졏3* zu!L_-eԛ=Hnyxcmr{˽^ tYv 1PR#bTuKWq #)e17v. Y8)@ VcG\kqx3Qli\øPoc=#B 8vElRHwx?dC\v ni"C5!%". pow)Wᦶu=^TQ}Vә|EǩRH5u\tt(C-]A*d @h9jh#ՇZ zxfȤaY 8IH}Q2>5!褗G.kdX]29"NjWd_䮮e}J uGQ4G}yl pJez\ '2w FؓK? aZEIOyAw@gDFSW7uR^F W#W>Miӯ_t i@R v{is2J;5XnֻΗAJV5mX_*m unF}A\crp<$D1a09zڀ3jb/* Wv'u?5by+/pϪ5l9i-yDa=rKYB+Gu0$&,hP* %RˠІAPtp;b'QqE+Zsh?fDs3OĚ^ޒ톙;F$`FH-dpn=B%* \chi|hB'MGgFfQz"a [sf&/|Ș1vPn zj9 \~7Щ_/J.&x~EEczpXg}iR˵[/m᝶|+%!rhs?빏kVy}d J ;{hEnӽ~2AhF,ci'n1o9veLllPJu/Roh19Fڟgl,$$2gt4%$,kFrd7 .ٶe*s*Ap L$NN3OiGl'UOx4X7$YvDH5\\ZziҀ@VKJvا@Yṷ̑dF^,9>mB,|5(tUnl @wL"QTʛ$Kev]*ݗQ#4Mz}ߓgOaP)sXSePcvTTKU,drnjz+0`-Fs]{v^HF:uůL"Ta8 a}6-WȗY q7x*僗EZ,;PT ӨE+dzkEH8̦*zMrfOj`G;DR3$c o//ݜ uVW*J @$̶xKƈ-iF=[hJzxS<II+뀪PZO=]{9&0Zfmԇ]"k^AjrN@1S ]>(SRIxcE#LϮ^+='[?յX {-J┕| Ju :9nր = fER !+l%7xOVBʵ18~ ۑWۢtɮ&,j6]EY{vD (x%=Tm#\'+9~F[3wO-.qt[%# jUTL08RՉѱ7EȖH%06# =|1}I{9ؒ ʽ>1O4_[SvV[RS%Y|jʯǣ"q#J9TVwnPݔ.7HwM52;PnbEecs@F)riWpkkH0ߖ%[Cji}!",cl C&bђ>x&ףԥv=+FҜ0RM禷֥8Vq ɄP c2~:u,'kFhzw"-&xM3N[Co[LǠ|w_% ;~)U<ӎ%Tmz azƵ!K=1NI:>Y^+wރ6Ln@& M=`e`KrG.LrzU+@׷{jxf>Z)g~R&mZ'^f8yRʹݑm)Uyφx?Yi"k@h b]tER._1ket4p}fGo)qY0u@ i/4@ #mCQC=ɓǷAjV*̮9zH",agYZ _3E% DBertrands_PostulateBertrands_Postulate.Bertranddocument.tex7zXZִF! ~Y]A-MՋhvG"uIBm5C1B6]aں-Qˡv\f:0 AMײS`^h}Go$opD D!x:w]`GLt{Ł*GMF X !WS rOo_O.`hDEq;!p_[Q.48Y4Ĺi|Z鿜0w S`EEan _y'ݹ[c.jP /([7 x?4.zh?Z}:D}[jharF3ѹ?L`.:JRO24RQ[k_> ֘xS'oh ̐>kN;/;v9}SγĄi3\1$[\\ut`K64SZ {?㨎I[[^.]{(ɨ Ѵ8'"?JhzڃԸ-ͦdhɘ>]G5cdxEf+SffR|zH:bR$Em# b@mL ƒ NM|-pG%t-]H?HD"s*b~7;b4h>=l{[saf&$z%K  =5LYst_sCc`A_hzEvjcV^6*L10=|mP IG}/QQxW>xr2*k#8I>jM(B8h|a.di8o\M6צW1^;cBjʞ /&' lLPQ D3VGQ&`7ՌwF5Ⱥ2S\"`q$& u weBY7L7;ʛ!ȿ.kD'p9f¨.nsߞ:MvbD!ID##v<Գ` H\d=ȶGVm땪;?XNPCO~N]nqI8VE:IqDiՐ4O0Zger^޾.FŽ^nclm -[NQClUy+WuѦqi$r<2ϗQ1;oYP6a̴r#/NDd"`I,8N:*ZW32 [$!Iڐ*! 8kgkaN皔1qcnMUj>_<1łf+0=e+`ۅǧǠ6CyA-N,3QXNbn8HCքF<$6vZPW9c&¼P2( Z)YBvzeJe14 ÔUHSr<s'8q(2"%X~VA%(Czcћ̂oķLzrĄч+.9( 5Qaw .(Ȟ af@]}Ež6&yѣ}[yEzx jdcRO(n^#p?N7M6ֿVݷ#|}D39k_ux _N#Gv(|Y>)خ%ġQ"݀.}.O Wu*? \ vdƞoalW>RJ4TotHb~ǒ?B&phm(mxܦCL_e2>!' /[>5QdS_كNٜkPd:ע]Juˍ__\ 6Qj A z6pݗH)#p9zW<(mvYZ%Bo@ON`>S"rQ ;G=?әTަ_DhBuoJ86عcs+F89<@ Mc+Et'f.5mݱdle -煴O ԭ=tT-q8͸(Aװ"K"%#e>S `?_=T+lon΋\2? tC,;!׉%OCюԭ,:l׈C/:`Q!k/Bbر"/@ DӾl߲i.#s{&C)KT# Ӱn{/Vw~nv»/#ߟ|%ߊ V%#Q!a-/&کࣳ'4˗ciCDI'Ck#u2x"Dxw%b[5zTˑBp:7!#/d2g?Got2&ԮEO.ՊY2509B(N.gڼ)om`Ir<"!c{F5W?k챈Uʜ3aߘFFa)m~~@:A5}^*B ́8(4W%Tox)&:w>Ǒ8( =EߠCtI7EsWƂ2Y԰$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}vC7vMؑ IE bwIw)'[nᛌą&VT@FZ7~ sV"\g{ 4;5!SP%Z,K݀%DFϙ=o. э}W|$~T咋~Ԃ#@|@o} . `ٚnց}|iGBVٔ꘿tCNo^%۞"+8'%9ϬO@ǰNQd-ݍD-,&s@)¾ 6 <ryd,%DvVl%XGC~R ob6 A}0T6h80} 1}oԝ.yՎ9h "=Xg3‚;q,;M,9{HS*'k:&fqбc#_Bcp= J~*=RSM3]IMR՘4Xju|Z笓Dz3O2ά Xܖiʔ\؎$|>u:e4B4Mjɼ_);MҙiѲaR|,žBLE.ItP wdBMS<&/^s%J7W_F짃v* j%i,Q+9acR30SBW鄊AHjqW:$"SY%uɹLNE)$l<:!> A> + BD@>nx T N&966~Tn3cpƽai-* Nrr̢68ek)s8T+ukBc7Bڼuq# E^ Zi?M=WbqK\G`8u1 P\5:|ϖ(ek2B꼴ZǿM!hyF"M1镖%ᘗ(KӄH2u8ΘyY5yLšCxs;{quL PdkyjDF3Piכ`)Ԟ3ƅPw11벁)3S_fܳ΢a퍇 G3[% lBertrands_PostulateHOL-Decision_Procs.Approximation_Boundsdocument.tex7zXZִF! /]A-MՋhvG"uIBm5=͢) D(Bfu.# Ҍj t * τFߚyuؾr\XȎ#h-fċwjXH ZAyXw{iUZWD^:2EZ h̜t2\:QR@NϧӝU#BKvso n~΂ja&\ZaR M0)rdz::QH<֤N/ly-#y^6 dѡ߅;^ (Lב+uQA7LˆoVngpU2nuCZ*JO!v;yوkw+Ynr`Di@%\R3q;`W ~ztlsb ÝSBs.䕣8:kN@(R'5M ޮ7Ve.>Ei'Vv73blF@:8i@@D4-(>籂O >5?'d=B(XV'l#Fk>i}"ܤg`T0w;kbl [~᫭GuM( xI^d hBǑvSd\rsO4JC+<}R+\JhxURvC&DlwvCH7DNLc|0#SS"h:"M=Gԍ{J*4)JjMƑ9LvM:͚,Lw gK3\Mk٪ʕwP/5}NH0yֺٸ(is`qu|8iQ_9dejIp}p)Q ˿ZA5,eYݥwRf%$TN]J~gCC16:u2g{Xl8Fl0i푛Mc"^.k6XYױ˲Hvuk:/ׁ8Y `.34SUo)~A;#u7;PD:30H"/,e'l휑j o,]ZBGҶw} /(J#dB(kq[}ޡ=Muȁc|Y'횁V w@Ҕo|xָ'b{`t BhՠtEm8i%7ݩ^O d :VLʇf)!Wyc_y>VTÝ[`lȼ+l{4ĵ/{pGٱj:qȞ U#S_B2\CQ~ V,ł˄r<4s sJ{O-R>͸R| F /7>2m]B&]t!S^l U>m,o(>8՘S\v ގ5L脾<0Gm_&U:dt݂DF?i`q }Pxh}dCcC*ZaBM}T̳4RZխ㓁 86))zlz o9 t}pڰQgNސ-#^wy^4/>o0n*?.j,#N; Ɓ a߼$,bvۆi\ QZ… ݽѱ\ܭ԰x$-u_kąRE i8BUa8ແĝu2Ց5h{OG?7;̱S O.6c2 SsX6HeO׈YZ!. Kn4*JZ0B'իyc '? roԏꨭ=D? &4ѷ s&)oJ5ww7*V>i`J2nXJPc:k!!P:Q&5Dif}\wOEM"lчdNbg׿7i. ;XXJץ r㖘kw>/,!PC㥋x{E]4W 8-N]v{# yQIdiH*mOmȹC-~k#ol"#Fa[.V)kz̝bա@\#NK#T}VH,j|!m u\JnO|gXS33s.f_$|>7s 2r3?'J?Nev(*'BV{Q\>cAB%46u^}2зa~*8Mԃ!?bHV!#`)ܛ_z_W!'lZ/ 0cErX!B#ĆlPq^jQ.#?;]$UNfrҰjG3Z M{ 'հßP- |ԁB{b9LOi #p]xwu7|ܤ5^g%Waji^"NIiab;x"v*j9nc\v 3l3B3)&v> _BɕTо0Ŋ8:x7A ΋Wi6Zo܄qf^ 2ceiTO9Q^Qzq@%%|)^ 4"64YĹxT@ N3&LHDxq֣r =qW2a@Aj<U[oЃ > bI.+v9 k])ԟ uA :t+9!elvQ8o"]ht7Qݴ}*e/k~5 qM}Gַz¾Rn9X%) /v;q5ߋXƌJTk5E&=(fCUER p4}Q@G #(9Glfo; _.E'T h2NZգ(6dF }wRAGА4/!tP/@qDKݕO08oh qF`Ƞ~V ^։Hhn$4[mK,ؙu_h51e>h9F,expja-# Pwj`"!}3nqNlj bb}ǷSpW_Mէz#Tұ砄`2]X7xIV}@j E2Q'ĵ0D`Zږ$5XYe%@ҠHΊMC4ŒuB_ JA4GH(^5qbqFm3 "n6u,}UM"G(njnr +OجT*@O m{ B"ϬBV!CP`ʟ&חCar @tUp:onsR TڼJ!Yn<TidUGdܱę!Oc w?6HO`l& %uIC9ٹU]p@A)y=Aۉ(Sگ%cʳxD2Krgy&<|^5DݨWO8n`x|7֠ #O3(KKc_CwlzH7' I8h4cl]^>^'=En4`Ъʚ pUS\bJ}d e[\EL+L!"x#ɐY)DqnGگi3e&Oroz.}6Fg%mr RYO]K02.Nfp 5OSO\Ľ.n' uOW&Ժ?v%*w]J,A0N]WFt'.L,f>2Cy_NJhSqq #!zm:(3keIWZB%MSI$*)V3uC3L$zju)uR89yYiaPLYQ!凄 LRgdN1M > w6ql" ;/c\^ @1fU,Jc:dX*ID#R* -`VV͋g=vP8m0}LJ}c_6Hg䦄g '%6yU#334Nжnr.Q(V >Ui-a-vQ`>Mk2>DUMKxn̔o_A'Va$hH0T'Tndnʓ}S!XGyX 9WdK9ުnηKLQ:&)Y %&QV2}Я VUz$oQdu9*<SB1Vb!UmWQJxqij5K_~tB\Lj{b&eKBBA TLk{GvcAw m-eA6RoYV!CW~GJu-1GP T9X"/,S Bg`oAdgo7qˏGۏA4!7Vɥ6ƀQ<3#Mm•ZτSX*5gj+712""2e+%EHJ2wDXn="RŌN )0 Yp؄4/L>맅Ւꋒ Or\֖'/]|ok=6,Z5ďMZ9$6/ Ȉk$^z:0{@Dc/_^i۩;-fIyg&F"1s4ŶkR1ŴkR8Uoo Z2F_q)N/iТZyy5K hϰ.RcM$filh+76b }Jr/ϫ_ENgYG{26f b%"#IE.A|xX"^5Y0d,^h7$<^j點BEt7Q+Ǥ)*f Ј{;Z"`c4p('\wi"|]/!mxQj9kG>W>|_[(=)F:H 4_0GPzq.": rmF6DtMP:sQ\r2vtJx6wnWpm\\Sܯt I^ ;/Riܽp :Ks*cYkʸ1l nwTȵtp)S ˙_/2TsH};6{O33ba;]U/0d~W4AʦVtTLK;EN3W~ϗ3*N`XR,:u q!"sk]!UuRo$p@98'wTe Kb{ Z3l6ǡ\o -0ǾR皫L O抍s@BrM"KoP=|aySE|Hwl=<\5Bw<:vucsDn>1vcSdoŅ>w- WBI>auEnp@nQ#:L6hAJuIOp݉㓿E,)RV)>3WLk?jG]+C[]86ߑ9/.sT$"z'':T[PU[քȦ u]b$G ]>5}zy;*R|.X9_ ;!iAfTf:g|;R%8Ce̴<>]6y~1N瀄0l }n5Sn)bNC5$`_vjcNŚe&ڿ't[؝ {sqEͬ Cw/fjבM52rd|0m_pO2^^s$=ߞc<*Jw0m0rA24aL 0βd8eEjxY.wʃ%.ܑ*7Ȕ nNP ftā-]-To5Oy鞚-*{ARrBJ(Za/^ZL E eLϧPme^vaouU.0syn16IkAF,S~tנ:$-遟Hg"0*#ԃ2dDJ_UQ=|OOr!,'4$桜 mT'~nomV>X 9L8ҟ9ʗ9 p +)po x[RJ£PEi4H\L֪;CL,v޽Ö,QrWce 7GXLR Dct^ˤ#F;o5{uאwA_ Qxz%Hqr1+NDuBft9i\).)5WNE>טӺ]Ta};3Tv܎ \A^x vh.w6:Y8TyyauCbrwN挎' 6%HҎ{hPgߞ})0 {@lMY:XZ5}2g'/^J[U@*UZ >RO]SVXm0]6iK?-ESͮ.B+j>8R#M]1`h]k.<e(ki2(T|}DomY"~7ql'37| -_q"43p=0.ci_锾xjmϦx?,oxY8F*dT;xxԴ<)m115ħgmM&QS*+'_-oX?ԅ5~MrtD^KX|rhs|:X&gV8~cZF3(S xqTD{=+ 8P᰿]b+؋0%>"\yDQXMɡw`>:Te۽Gofu'mCsú b[DcAD m.0CY-(iS=tvz6KZ%ƴ Ī<THq  nTH^FBb-.Qs_K|~"N1`efzTt ٚP3U#!%Y\mByT34p",K B*MmBgEd@[<EnV8F<С_]4p5KeNL˝NB=_]I \ |$qK[]%}4/,!xH,kl@}+l{鮴-Ư907 S9s Oh>%~!omHVhu;j \UZ#(a㡸] h#Y~D&z :Y*| z7&7$ގ-xA*O0tiI,x(oXWʫF;B蔕dw}13#":;k =S?yMg"!YVزNWW8H1t{ 'v$K %T.D689a4=DdxqZ/#ƺ yekcH*Xzo.YX o\3vAx ԻX{_s!V5ٚTw|0dt~/xCdGTS%QHSJ v]ֿcwxKg#DbTNMX9 1bSB l s\t ZbN,(=Vyp+57 Pyq$P;Y&]c ܨwˣέ3v͏ pf`_Ũh&\>! 2IT|)Ÿ5PD+p0p83rצ/1aVogG$y*=J'\K)} fiaô!cB-'5n_vP=  xj'gy"<2P) ,RCLTIr|-@+| W `g#,(š1p:JD>\VPXٺf-i9O!<\tkf${J[ސ|'9( *{YaAZ~pcrs~C$2(e6)fYP|E>2~x-Q kI%dB))yHzN`#tor4M#5 9SSCY<+6bH!M \suýaܪڏ%NҧXl̲1a:C81;Aa% PEݘ6ZeR@6k,eq^W ~FuٳkU_ *֮Z3{ѩL2G}e['N ϩ p˿yzDI?Bޜ͙T{th_d[(727vs G0b^v{T$/ZV\w}?xҏḻgYZXSkAt6Qu4_{hSg{ =lTIm(MT\-pdtj)E-ۊ%47]_#ޙ}Ȩ{~=1O&? WjK5`:'X*BޑPhLwBS*HY45n|#$mO*Yt?3T<(#OqS,  bv0YM-7.eNblC޺Nzs$gIq:Buz3fÌס"3Cf~Z[Ddb$SY,ه;_^0FTU@h4 vPuԘCt}6>qr8kB1Zr6ח1KkN8",ѹ†QjD_$P؊BSX@B5C8_|N{hfu /Y~Қl9!}HQ0#6A-fxt"=: }2ȝ!r_d*2dªLAٺKu8(cA0 :;`ƋG(RAR =纅yg4[W0> pm eumU@// ,U##{Pf5uG/q0LAӬ@fK7 s epb#׮o%·YEX].a %"v;/j,ZOuʍ6?eĪ.Se2&MV$S8sBI¶_ ͺ(9qE73M/lC g<"A"g 50bplA@ßlW2,qS.aYÂvr vބ(fijcVͷ|v$QjQa0\L*EY8!hsHDa $X΀5Kud}t X]h=]3yЁ-Bę Թ˷` vG8aJds]~BIIݾb0n@gDf (/,ahz=/Vz)(Ɂ}:y?3Z"@NhyEggYY}B#=>;CNjbK3B=^3}a/6"3]j;Db[/W{p:cnQf,RTvʢB%z ڤȦNgVd[H%a!鬆D,(I1>K.|m+s.Wړg2Fajw#VW\}/hz$"NEFwX,@x$ p\OHIWK1ThT*40;+#f)_4tÛRb9vNsډ1?E b<'R&o7;]M77C2fn؟ƺb󕶂:d*S1 F`9=א4"!jw4J}(\~k}Q]Tb&7,MXl u#m;?K!o(tѠ"󡳯 /KV@({Y:,2S%lY! .B #6 ۨڜJS3&ᧈ:0M#' ւ'os.ˌ̕CU58\:PLXf< v΀$ hs]\9J "hF(&wNfJ@Ȝ |]ᇑ ]@FZv?"4f9g7yȝJ"ٖVßȱe$Xכ̛۹n|f+)[@F.vE+ge!5D%,L2!z&?s] *(}ʥhٚ yE0^ |헝p^›Nyk+V1cHp]4wo1 `tCmCTR=pn#\8ݡ͚ڶ,utڱ' Bg$5AG.x2K(,q|{0rCp+x/b2>X hjh\w|^p8P4w[w6<ښʭjPdi$݌I"& "0g>/wNrTD@1M)\B E"eDmmq275g04sni'V6Wob220xlzGRtԲ2i%٭ Lְ;-HI鋝xW_?#b /Rye s|Р-DZZي 7 3F{j}t.*ZSRrXBÅX&=QeM]ECˮYd+\ 5[)46:q-y7QV;g[ 8v3 s0(Q\|\? ^?D@y5O¦d? N U+^2oZO%-HkT~)XYL߹dAyK| >;A]g&=0ӆ4i_IqK|Z^xm[cw%Z.I&{1G3)\.,G=ɗ|d!A12j4z?3tRf4|RV |(,l8NT k?N?<%#OɏR}dȱt4/}UZ v {t*@fnŠxv ČїJJXP S jq>̰=:؉nj63t,^1t6ɳi@"Y@$!A:_nMK!<Ѩcgt8KSAUQب_]P 1{t{rF$u6g+k8W2RpMioN)Aq݊cWɪ(7^.2AbtgZ)@u~'~sB1܈Ʒוi~6(*J,5<|ODZ{ژ1st]f A 4a0<@UcEl¾cs>z3pAGْh:RQSư'6w-5kTL-Nx%EJa!# C# W,ac~5뿻ɿ,gzlkl1Ffܛz ?YW㾌q{-|m5g¯i>,ĐadպWfھ-vuXc=8 uo+t/WƁO)$lۨbirv"]cسXvWlr7LzWZܿ==^`~Ҹ^us0/)7F%yV+q"L9I0 ]u'p2X5L=38fy(!܁ XyV(BGpF({b ӟ@Wsld]J9pK !Jp:"T8G׈y= j)½%`55YT0ۢ1T|TUY`B0kzeWnB)_t.Y*zM̤POGM])po%nFV 7nӭjL:g{#Z~E֥GO:rxtevt~G?C~nu}և>^n^-j-.88-pvK8L*A|5dY(q6@A3ORQ=3P@jIRiP [x2ܝhUw,%$ӕE=$y핺j0:5Z57@ ٵڻ@ 7? ^H 6+ ~nl[OLTomϿ]9=|R]5sRީUVZ#>bPVV}yY*&+  \ԿkS5}VSXSejcJmă<eo!>~RLPXxDFNaMI8^+Qnvj 5G;rfNcO4N_^z !OWG̤;s Z07>A'EK]߲;jq xڃ^^*=Pf&VvnG7 .nORǩ-yWm)yX7gbpCs70AVٵbYTnLc-fuSq涟!7B!^K`b`͈0 t *9+>ɥVyqt:w.r?%Bf[,9O>EQ."͸:he3cʀjɄ a\]6\9t]2)+R]Y.Z-e*B^cf|Ơ{d{/C}2T k80]NњZqLFy A$ !]6>O& pèd4ΌW@UI-`J;vh_oLk(A%,J.~SU/R[1D}~nV`# г `%=ks%`YO? *Ev#0:絭a֩e|~B{=߻?5]X5wbL^*gx[Iw{И>kcU*LJ>5TJo$7-d( 5+ `!ٝ,V>B:p@ 3v&SƯܙM;@R 69`M!P/9s,S[oR.r8uE<̂.55<bЧ8]fn1MLhHFU\]I u/k8л/AᤆiXBYE+mTYXK?ةJFI-]k~ِ{06-qfzÊR[63fŸ3DZA<6>|kƦO3`uhF_AF)hPevtGg6՛q]tڻA#f*=F5Vly@bCqWWz4SQNBuOCS?$}gLR')ܢ#811ma.t@S77a֘0tTbfe_c #im[Dށ>ch 'ya1 JGޣ['EEK*6͍ͮfQkIVh±|Y/ ʉJv˯j-찭MGE܁ڱ(>I;+E4g#S)3{"kۺ~)^<;L'ޫ8hb-%(OۣLq-+YO7|j8 #NrZ-ia@=s'ƶKOP.br95 GW#]PQ`Bf,sخwPTtf} ]tUbɘi_|@b}mZ`gf>U?iGN 4,E醽>.KgfDt+ϑJwSS? KsЃJHB Uzud+f_(nUw]mWUȂMˏ#r2m4Saa?9uL_,jg+b'j~=j9/1ɖt8}Hs'ݩo%841!30Yd~;jyF'jz1**&B3#e Y aYm@f;)G5&UnPs$0gWEk.MVU^lk Fn8]GHХ2`<*dC:Wl&3O>/ |-h(d~,P`: `iGW:Sީ"%8[F ^Oy؂XPVV W]vQ$ %pV-ȔoLF%`xlxW %.^rvX66c坲i1F9A{q ن.V%Th*ޘ8(Pxh&(~@pmz׋ڱ^VΪ,4Z.S,N;tx9V 퀮 @K_֫ 2/SmN*}&{6$t)iZR-MШ&5T 7ǎS,anHPA~TJ.q_q<_*cWZ!QP͓{ 'K1b{f%qu|;&5ՏA ='R4na<:s&~"UɾMp;CBsyK-,,թidkdw j-ڹ! _ۜLw,M`XX/G`y4WE#0k:>e]ЕAYX<|.nJ=KMp7tl4)vUcE^HQAsF;uNSI ؜s3ؒ_l9DK~`sj7 wM \=ؕ7~Bc>d??]۩ {ĆBcwˮ A0XH `l6#GB LMsbgIVxdNC(m֒U ~_Hӽ䠾PwͰoo/WKl`Jyv x,p-?~zz˰-7 jAm?gBVZ*mp頦ȋv=WrB&$1mUeJ͋lWXm|CIfԑ|ychVR睅g5pIdJ)2q@|Y)T(Th~Ly4ZIv3*XvPkˇV}Ux&&2%xT>cND0g+ hr@e凄ݗnk`}4&6~4(G|꾶ML.{n2WxK94OvHD* IztoFT\HghΔXιub$7BnuZ>jj`"&Qnddy \y,11N@ a,if_ \;4mcij(q إC H1Z`1nl;F@{">Q<@SƄ#V~ڗļʕ/垾,#n6(m{,iP@oI nK@h~u:Oɹ}E{&!1b:q4ԕҩH9k ЕN.ɩ) TL^y05XvRVNiG. +M1A( D.:p&Z/7hf~8pE&uZfUZNL%C(-BG9qBtcTEhb5ުͧ#3cYؔ=78gOQuݠ±VG%ٕy| Jmćhѿ]_8i$#yje*"Bc2-o.-Sꑠ @A%>m\ +p8(oK˕We2^e4ʯ HsR8Z?HapP(Nnh7cLr~+4ynAɂ CCB:fshUKR`lZ wE)%7AFidl0$ŸMF#jJ-4 DFˣ: ZRhc dr0gC|y(! ,;^~RޙͶ~T#2icn%Nxa2 '=N=bgjnuYRnB w(zY~WLfQqH^sԨ-Gsi *cӯiiGYXC=E8h22^Xχ@a1m()ݞ&w/Ile\߳xZ D+sp)W5ʭq$ S_[YsqICf)l{칻 R2)S *qhfACCz:~ HumaulHrniDPc)O , =94Vͣst{؄ u\#,m C"֞#sjݡe[L|Xi'O{9ݤxA΀0tɈ"Uɽ!+/OkߞmUw U)*Io7L ؽֻ{ۋXU/3ǧ 5Wc\ 7tNOX)vdHetfzdWb=}!f(x%%t5XE 8&RF.)=1Z,B?i@CqEjrsbH@V-}BcH*C7I`Gw*fc|T Hz&8.!4ڇvgf6y=ΙqVu]ֈqtr(>=-W[@{2\L1f~ I86UDŽ-7C>i!uR2qF!M2 &nJ=v[&+w|ёW8AOu&{;mzΊb3n̊Rd/P"oaYc2Q:ۊ\)&! ;{Ts6j"Aeh@RONY/@vHHO0V_?vazb4GMXuּThXzoH.nOOR~#.Y;4k2X=->TyL0ĊstDJD΋6 ߑҝ&C pHg@r>Q@m{=tvA`\̚"bf;>}\ j{Ȗx]71OrOzwYu|>= Q`(2Ț[-˅":e Eb(Sٖ H;sʗ= -vB 7{6/TP7K4BUےpqX Ō~-ϱf2x)mU2Y>C2LjMP&Ei56tDJ;E^xu@z;G|D˛^3j+FAm10=6R?wZ?-0N?DN!,Fld*?7`y0>6BOE)ƙۑGY; :CsJo#Xsp=r'/h˳b">03f|^+?cY$(#hfnl)ߤm;^,BM(+[rQwեĀ>hn~nFrwx5A眝 Vx^rX85A ='z]I֑ʋ䷗K^i" qlzic>^ш bt2B6H&,"TYrbytiGԻcyuɪ{f5Iتp`^qɔ ޱޱn^? \v7">u!0s6<[ r؍:.&m J\*Ѧ恀 E )j5wd)3 0#ovaa̹/ de!V>Q3F{q"LOv D@-`-=m[Կ[jE+%EafHv: *<O4,oቷr!j&%g00ӱ2"V } ڽ%Oڷ?=Qݡ>3Xʳuehc7lhJ5FHKQ8Oqe6 1:¥?0թmqJ^= z4һ10F>a'a{'PѪ r+3HkyT U{m]Fe[%{< 6PVxmQb#o)̔;ԪgI\ƾ7M* 9;Hhx4m~ <3k]`32I chN>Aڪ`b'\k/+J dVvkKitY("@$z%s 2܎̯|ѕ4y+C~š`^";z3$ /Q{ƱWkV >́%7{\储WJpm7'ԩx^HŖsn020RT_FK>@]a+`ji/ V~qQqÓ-Z۩P"ml8HaRj㟲*>BNe/޳ueQ|,C>2)y 0p~h7n gZ/Reґ`sUY`GAhED޻c?بl= y/wNqd>IpU*[`Փ*9IM=ㅄjG1TdnA+e\xa$O񎑙z{kveƂHq]z5`449_Ӂr-%3dc`P2ISJ*:ݏ.O*UI* /;.~HL՘G <'U>x ׶r-3ڄ񽶉 mDOZ7Z}zm,G*MK޾ `܀SS{)R &[{}/mX|Ȫ:Ȯuƃ Jx7-DdZiG (A!&z8W0?2j:}n/.EfމV6hcܯ܃iҟE}gh~RŽWu"ɬWF 5 ΁j_havcZ>,X> {n(EY]A ;WK# /@sRz27,뭎#0B 7qؘ>}Uغ*ܭ|40m d/v- V+P4Ӎ HUece3хsh -224+ByqPOZE(]@C4JG]RaͲ^?ԶlWSmO `!9%7Ǭ wTwU;5G-|M1DFǃ˷>{8_ER$`/.3."S‡ײ"sRLʾh? s5ߧנ]UNxƘ-qf:6d"KMR 7;2JyUJR [[ &l xiE;0)11-@GH &T##)'K-C 1*?bj~6D(TS\esRWUP~4ƃ(]f=b"@Mr,bYr8#@Hc3f.Hݭ7"Ja7GvrRL^t QLLFUQzV"eo ^ qL+g?{qW+o>93,nƖȴoQ'*`g ̞H\;n\@^=lme0zTSzx@)rRhxŷ;I7as9B^"Q@3[[m'\Wh r\gYZ  3 3:3S% lBertrands_PostulatePratt_Certificate.Pratt_Certificatedocument.tex7zXZִF! Z4/]A-MՋhvG"uIBm5L) Kf Nq]Flu0J?}W?t.C]Sqf0.4\;Q v B`g8=*yp}JFSR&\A 0?}d^|.GA3 ֤¨|²Z8X WB"^鍴HPh&}Av7pT}.s\~@t`~Tb φyIIե~P,B|%&.$_6[Eۊsc MM%)@B YW6:jۛ*fzsvCH%uifUʅ5EL⌐x|>gXbtZ%%p Z'>0(.0+f AF˵^D*ӌ@Cn%|1ghȴa?R#? DYニd**csLa%!VOyY}gNIRqb}!H` 6BT׃em*${Zi#K. UqܓDšn $,<۰Ħ@DQYzՊH[Nȗy&hZO7;@J% ZyNெ~Fʹdwu^eR6d3 W՝Em.^RBSΫxo =#MTYXKG<=f%jo<`tC5fVo)!pQ BDT*#\Sl#M7?+I=rM h!{uWQiklb<Ԥ<Z֏|fktCgFkc^X؂H>D^Wi (D2v2c /lcBw}2(PKqY(?T`f- 3ꍟv cTNkqIF&Coͅk[(An ͵-m{ɩzI%=Z} :GN gggZ X_|k&@j*~o5[ ;BxhҟrlW{@s(štʿN!r#]b9h(f+\*2JydREHZ?gz;48d ՝hmwҪ"~޲CKEз0A"Ѕj1qSpH[YX[VþŘ֫Z[˩۳U$"bZN_E*2ljG߽T=UReMv:HQGJA@Q۬%\W{se~d;g -apwfikB*4uy"$S[In;ۻͲ`y >s5R]4\ʬ!X} }x0]* ^B|d}ܼ]oL| ÑX"8P,Ўw_?p+ߘD` X"`+nmr4A’we{4 +(몥 R =rN3Kp^*^+q{BUhL) ~haym8ֵumxIgu^Pljgt۠g뱠1&Fʏyhe|8NɗA 0޻!EHz@q&7K7&H_7t)qa--!k&LrmB_:T+xτnb~R2-cc`YzcwUB0 dЛ>sAD|iZkDD~ YT5Wcr@@6+yQ3}B.fJ lo!(Z`DmsRZ:ha`%]1A -F:#hZ9xO&Ǜ!C{b!: B~r5$-ɜohNvsO?"V]t@՜rCҍ@ BqZ UL  *&sʽň@)ߵhgGk!tjK-@Y|M{\CGƻwo *OВ w@97:,CtAqrȢc{VcT]Il˟#2<|1o.?X.5:*Ķ8)'(]EO֫9g-w4kh4xʵciu6C'Ԭ\0n< %2`$ qفrDG'f!?; ޑGYKM,,5~~w&Ûv@-YFf:HXvY$o&]L /rrآ$} uCfN-}Z,{;USϲk- Y=q*IrTPJza04M#?6l!q D0i/( IEX%S/X1rgꟁꬱOgkm"Tm50Hul:rI\B^'Dm!*% Ԏjwuz d4qiFn Ey%u`&VHuM9ieO~Q;R}.i#.T<{y*ޓFIC++ G5,x"co!"MkMhigΰWRYzZ $F5QKoDZ= f|dP|lW8BI & ;a/&*ɏ @:ZÝ108<=D}meD!>~#pxcBYBA(}+8W=b; 1}Sƿ7r'UՐ:ޢl Mǻ, DU0WW_qUb+9ӫB?Av&̽J[8ec6V_ ˌmP KV gn^.=Uб-ӟ@"|+̅{DLm 7R;+dq;G7}1kM ty-gh9Ic$ JE=<{ǯ])H|Ҋ3iL|\'*w(61ӦAM-} q:h1NNoxBmR7RSeLUw) Vizq0tK}8VViznh`^ȦlfƘBRzSPmQ61&5EPSy,E+yxS…7BkI@iy 承gQi`A!Hzό8J]z~kk+;H <˄~*{ .-Ǡ3 tczv7ʬbĵ<̟>ٞB=ΐjw4T 6Vp+$" 7I~ERBYQv1V2c6H~(;p4<0Ґk2fJgNO"%#WSJ]SKX?ӗ/qe;n wMui·veO( 5ulffq_o]4@Aݮ,±L[9h8/d6VԝjAaAL"Ύt*@-J1w^|(Jĉ˚۰/)cBDMa]\K:3L{#N,֢9o-pf{j ۴^SiJm~Tx~pIg%l> V&.U^Io]J"-%<7O;Oh`#