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 CC1v,< ]/ HOL-Hoare_Parallel:threads=6elapsed=65.006cpu=342.612gc=7.3047zXZִF! 7[F]ŗXiɟDYK<;jFc?I*~[ʩw=q. ay@R=[=^z[LʧZݚ1b8ڵIi3#rN+ ͦbXAJ"} spW\f iGd(3  aЃP6T8*ki F*3ad~ JWw4 U6eSGf^xB% _e6x,BBX,p iҤ ȵ3c\!5)Z#&gVc'OM+w|n AtUp[q|㹂 &9Ω~Gpe І2+::ny%ܨjsr%B8^&E;j*w)e i! 'K? %iO4D\ Uw˿C) XԡZnw"YigK?.̯{?Qj^ q|*{Os7I-4Ow0J'c?K`>Û[̏*Y`J)K%y@# 1Z*>s{}LR*ϸ+|6'bJuw,UٹqYH۔(H S?^Vll j3 !%OpضA:ݫѵ՚'10 À6áiź_\R9F֐)tNem7lcto4sډ޻tsڮ xWe<'~s[_QR"d ]r_"),$MST# F27ts T4Нӓ#GCKZmC!e f_Rn;(Bg`ZF?|5a7]< _MŵZ9d2EZТKP,`EvQY !m~WCI=k=y]\ 4Vv2IJt'ۣm~൬1>rM=N0\..\Wٲٗ=p&!)A|r>[gn7~յ~o9+YQXKF*a3VE+1M7g\Z#^>=@+ȑVُDis5@+ۓuf7uarձj:Ĵ>aBR,WqF&G(ڋH/= -K!lhT&lwer`*M/\BB{+~PѺ =J !xQDheQ~I] %Z6Vv'zJh7\ÿΨIvbma~h0g^7a+vɢN{4yw8aRz+ \OnErUpUdza(PiF$ ^AkALuBx69J=$ β͞<va oUΣ6EP02 O5(Q >h6RȮIk=>Y' b3)t2AUN_+I y87T\wwS>`?.1C`M"/όUS']ϒQQjǘ.wtY;N ZV)ܜe>qSvBˋ#73RlN18CuV5[dR]"!ۣ&J&seĢXE| ͟E[lF&,PrjX]E{h(7!%CJ6c{>F(EP YEtiZh띗/]ښ59!𠑘d_\\bznR;&hg0 7( 1 HOL-Hoare_Parallel  I,d*{-(>0U 6jG_d/~ݴ4'{+[@RoVFo`; uuzY7|n9rs9 %QߑD(/yS]M"\>~g65i>/ԡ6 FH,Nq04X:-/8zV֑aX7ъ=#:QŒ :ov9@5K2-TǵTQ_Z(E`WE貝kė- 0t>pfC2N SԑmĜa Z?%]80nʩ Fb\~Zq7Iq]h:_&q]KvG%Ox|`2뉕Z*p/XrOrQns,|>ܧ^Dϸ2w~P(fdz 8r],mp$ *=6 voMS7=}Y&?G^ 7'Td`B9jCOă38MnUm~Y aBz6+mo[pRA:T ApWk| Ƥ eWP>[y<[hZtK*/qH6خ#q!*dZ" &&}ػKZ.5C/)qV4XG I?x^BMf^-H7ޑLjNW30gV TH %>NFy`Lt,#ljk\/x c;#kkqBd_A!y;,Ϭ;lv0U!2ց|$ S-"o #t|Õ3pyJ΢>g`-)M7QU2qVv!+t$)tx,&.HӽN]Sv31}?稣qH5"7DU ބY,1PT¶IL *1\ݳ4r$}ҝvA-)o3bH-d6,D*J k(Wu{U ~#OWrcvCHaKCPoY ZwzPhϨ9w `Omڅ/gbh#wݟ|U]D Wg Kk3QL|xM l(Y`3C_ |ͤ*ݨ0NS̒\)\wx^1$U" I;*Cx!ĮNf ;]@gi/8WvBub>eGv*J*P\`+P~E3 q|we i-'tfAٰ yd2aVOiswOػez2^P4\>b̯:dIP1>&s/EB 2@;rAd²''2XM&?)G9`=&Z2堔Z՗- AjS@Ў|,(|<b`IQ4ï efؚ֔yr泋l6!= vH GEs"e5IuC}sQFr^2H!Ϻo0n6&ʾUao\:rr:tP#EAD{crTܫu *szZܦ֏ i$0tv$F.7<8sO6C,D0ʴͤ?&-$~;edK%/F%Q8v'hxO["@w~p*$\-?ЬY]] hn߰>>62}=Gպ&b]BAo}Wl9+X\ A4Fڛs^0*NT-텡, Dw Rc.q,g+NRFYZ\CmVaIyaVxN52aLf|k$1](3k@7 O7m3XfZ :;^fUpb͋4r(1lNVJ#-̦) tFįF3L_O9$'&-b7R 4 unYݰjRh(Gch. y쏿! eLzS{J5䉖,&0c"Cs7%6yWъu%o#u(}ɹEƠ_qzL&cԔs ɪsYm|BA,^#_.9B|E<fߺ9\+e5=9K GP5rIx[/|"]Q[{o@<{1^i0uf,Jt49=o,j1V}{EV߫M첬dSWC0(KCUД>J־v>z"+LsTU40zH߃~eh_W  QhB)RO NJwk|1 X3:e-fK{U@T%?k8(A ,3Ef_̨@ׁscYLޡnj4ln`b`7|- _€TI& 8i4<em;C. |dc atD((bT[ǚK_YV;1'mz޹Qn'H(xb*ܚ}yYuH(wGS4߁.Vׯ.2 y탨j?[szd !QњY:RٿolI6f[oO&TP [0Snm9k]UʘVc1~Hv=-LG{KFI=D8=|Uwƚni7a3D"fxzXX`|9rjIlE&cRe!V&X2 OwJ}waLöo3^T6l O)o0#&|>`X-*@}(K{hH^oNʆы?o5z; 2U(_ !W[/U~_tw5$MgTȅsb9x*j${@Ј,恴Ns/RpPQ"?zwUI1wC?4SC,Bq -YeM ym~i+SΛkQv#F ߴ~g?KV^ƂR$_&d)rpR=)vש~ .{`k,:"O R`J Ck~CU.>OÖ=3FC(Dc?PkLݖHHʶ5'Y /&V 亐O5c\tk,6+²==Z5wSUbk H 7()ELX"mwXlspK\4Rj$V'_;ϲZ# -f(O>$)!I[ /Esc+ -:k{W:npEh0NFlzDMcM䐂%R aX *~سV>,^𱡸(!ټqMI5T+m]Ss9v  )w g]5^Zյz $ċװ%S׳K3&&0Y(~c~7ߦzlu%e? ;sH2g/Ar\a[ؒQ~G2ތX@"{redȐ9E >$K8Fcoθ.-EDJT7zЬI 1U~i~!QxoB5&0ގ2T^j>}!cdfHƜsܔN̫ CkP'5u y;9~ qEhl4:M\XD2T*} V@XyVױ+g'S V הEO1K¯2ms5T5CNqߤ2F;,/ P-qfh兩O$sI7 lB&M v)m@O}YN%D#N*ڲlpPebޒJ HcP'ӹ˶D oFm[+L$ύf v"YֲEBǦM a }I^y4z6ja'x{GhIdivW,Ϭ9nmDToQ#nA l~T?d@ܾVmD߹2 )v7s n&@!œc2LjX g=GnOѫȗ^͈վIU LRhjjӠ;L+C,IxDmg)&Q\ u&MAdǖ ,&OHJISA39fm W79.\#1,s:x>%&.nUӜ(|L0,l9;?-HG2+hN@Uwj̮Bj*&rNȕK8XUppS/v z5ݧHr>!̹-]ڔ%~~W19~1@u-G5_QU,o%ᅇ?j:<23 1(H!'WvIɟ9NHB7¿uzIQW1MPqC3L8 Qj<5UfesRύu)?\ϹuW^̶)E?Xܠ:$zUt$Ml/]L&&cT27+ K_F>Qm3j#UX;aPSޒ66UzhPm@[HUAo?j;r9o1ZaZ&=(H \^ԱR;4YX~a06W`q4◬PsF-$_s,>jt|c4":u@~'2biCt,8fm0 mz+dt1w[GvhViu 5v͢$Ǔv}gR$o%Doӽ*/ ϰ]Z>1tR:[rnkuMʖbZ遖V ʠYc '#ZVhxHÊ5;ֽ#Dc"-Pw60P,|5*\wK.|P74o!CU+6rD:t|tҩNL!|:k]D#7oq5|LBۧjhZF(r`ׅ!E~5آ e4ez Iu5#%iS${ÇZI;lYNK1ݣ-{X I3,z`{0 SH謀)͔6i9^5`=iEܝhB۔oUӐ\M$(8j^Sb%U/,It+7Κ_kYU ܕV}lml9:VAoHWq$"o)-:^R8w@ۇ x{k#K~ a,A)HEBؕu"8)(b 1Y:LTfqܱV1߃0ZX#@wry8Ф*=zǪh +XTyHAq (:L-Iٔ6Sg$F=R@?'< W6@dp![|R-J&rK9GtT`1*R)JCa-qZAH\{;Y"|g1y޷<yG+b  K̍ÆŸT>#ٱ y_g%])OpTnhU!照Iy\ @dVn(c[~yS-JFweқɒzOt ]Mri(O:=6 nnF+1vIž(5j-?q Iו͇-8Hc r|su Ѐ8/W<ٌ1 &n@gZ,-og3UFەƭ=9>qd@jU88KD|~ z4Δ<*K^j-з/m֬0̚͜k5zE=IokgK6a +jMLʗ }x'~:0dE ͉Mde. +6~3ߖoy3uc4+v^֯`ĺ44z{3TH9څ( قHvCkJ{' D:ZCJK;> yxSipU+so Hm'FExeJPe"dvI{rϱx#D *%I@cM) AaĜ-&U +W); 't m39Hkl')5рԋCBt_a[=APT1 JNBq$ٰdk 61cl((͈3a(vq<'[U@}:IM/1pU'B CiOI 裐vגUOb+'_[pDx^+Q^}uM¡{ 98b$8砗K@Q <+5e[XAQ1QI+VWx.Sbeշ/`t{ߘhx]|Ɗēg?5Ϭ Q+̵!R^+JbxL&BS@.CÆ4<ٷۇ8.W f5CyfJbd|YtD~@_,(_W!C')R0KA$!AHeaҾ y1k&,+ .= ,ob1Je'͗cAPvk8X#؂^ ,wO{3;*4rX&AtSj4E!-sl [WQ5;FnMd?W7Տ=>݂ܺp/,rYzkLӀdx}}m%b%h*`9񊄴%P&.?ƩG*ܐ}lOLMQENBl$n \:ĚiobH~ȝũgJCe2žB Wk.@̺@(ֿ8SguqɕlV$ՠXۥy۠+msUCЌNn4J\il[ 51<*姜R8zӶf 7 >4V# ȽjLT\9>J{X3o;ͺ/xh}ֹнn4qBQy?OV1 Wߴ8ˌSxF=$>١W@]ܸEHpͲR\wn!UK-7i7wM *`ӡ`aɮ eoH,t^_Ӑ^]CoF=-Vٚ[Vl8ٖ< *a4~A"D{0- \ͼ聉O9bL/WRƖT+BMOFŋ/AKv.m$8GPmt!@ӠV3_ĵ]{ĉAM=ͻ._Jq hJ3k k!!ƶs*}u"yZZqf<>5Dph62[c!X3Z`b.Rpײmbc< 8'>IieF-"Ib췹'|0~5#;K]P`qЯd&clxЈu -?ɀ0 QYYmE!:7T{*xyD& sVK'͒I-=յl tx7ѝXZ9dj*{.VRD0Hr& '[t2"*rvD~~寣D:aSkp Z^"!^N$>s"i{i1G C[A&<#1Nim0 ߪ9"=wP*1@_\ 8Ț}PF4 Pe :!.031KȕV0q!u/VO$ 0xLMU&$n/=*x duh&r]񆉒 Ix} \L6> VI`vvJl?p+}"Qgo(mC=3`aTE\㝁qZ>J~'q|Lf'L絃]\zw1C.233N3d/!n axȌΡ (tC;`YCF|k.3 yW)QFuV̍[NAi`^:XP[=~?P(vq7}LוLVSG8~ZSQi J_,N*hWOǜI$Fr->qY.!?0Jd^K@cy|I'B43$‹r > jꬭz\GmK)<>qtPѶk ׇet<LnY\L|J=OHĈP9OuxM{"_Ym]|W0J0CE cdR 遒f߼/uAtZxŖl"ek"a29bz\ Cjg?\Ǵь%ۢ=m@"<'䷡]djoԠͧR8ZnGPHn|O+u}F_\dKG-KHh@%oR XzT:Kp|K3|3P(؟I7k PA ҘF0ɹ6<9yĹ"mM-B>T}Myv7<;״x~8pE H7啍)V櫶gS's)={Q"-!ѮpGbEml#Cڭs=/C0C7_d#ܹѪm-UuPΕ6oS& <+]xGp6j%xlJefj1qZJyoW,JJs 5>Ps#ZC0ٴC`te7$ n;ҍZ b {^]u}W ~_o)sL=FEBX%Z=.X:"uCbTAS.r{rMuءGhh/szFz6Dr%Av9>6EhpS5,) F}tƼ~[ϭ0 Am-KAJ4amcq3kNn3ڱC&.{GL e*lmUhm,|Vo) ЉBZܟ'Vyu+@hTT٦[v 48cD\ͷPՈ\zp}ܖ{ ι)%1݇OuE{t f ~{^UʏWْ[c1n,\L eߦ+w>W(۳?G ԬQٱfZEW]"_l/@\_d#xu}׊,ZL nϕ Xp4{H0=ɛYxQ^COuțn:DSo>s?~bye>G"&:QɸB b=,.Li)^ .WbiW^dM:]yfZSgZ:!Y+ GԴOMrO ,:fX.w)pnu,΋`? t9[ 8;GYm^Vbm&χc$[qh★ק3QwT.9_+T#W>B~pO{џnSV-2٦,Aֿ)yp!"Kρe"pR|xC-pI,5ds>xPu .9ȿl^̄Y33xHcb.WU{˗"#X:78Gag4?w<:̨d\&`@C#=E,9#(dU8RF^NDO s^LΥxG&FS"A}&_yu6LЙ߸BFO | %1""|_'P6=f+)0b Bo} |n06:£1e ' 9r>q4ӹmr= Y}] [ȷ̛/875}\X0e:3\Yh(0L!@v^FkSS.I>DLjPY=eYZEk""#t7v4eBE0xiϸuY(_C-ܭ F{<@F4=RoSܬYw' ",)+#bixi6omxkж 3zp$oƷFJ#0_Ӫy,vwLCѦ}f8E1 A?e[@V4R)%bTtP\2 6|`Ė#@~@!؜B'x~ewM1-#½>{<>k/A~K.oBs]O Q"u4Z<)wrr /hL@ U D`w48XðL|ɀ 3L!l1Q6@WN쇉Eo%GuɆq?W1Vm_X펕 eX fzTQ2Cڈ<&eHk5S X3R-,CBw "ڮp)A9ch|UQݖS'P2Kr&Ǎ.C:ov9,uVZ1BQzIm,⬒)UQ#}WUՌVoxj5` ~={r,ju1X€zL<|f'#m:y q[i۹Ck8Б66xidZ =sMssota P7w=h,Jj&+h@QpN6)' mցʆNI|SJrQeh jV#yFbA?<]KMebaڢT<,t|m3^r%-^nl{'X>:t¬Cd/~vB m2-of ?P:3__c"pwo )LK/79_Z t>j^恙A$2,.m;:hLRMN Qi/8WøX,8fZ>a,(JBvM8wT1Be@(g{ /kKA{[pE;߼Tڞi&v(>jX{G3HULt]vfs7U^# 2ɫ"]Dc Z/IՅ[7V=Ӥ$J%/v 1m>L#Qd~%W cW/:oݿRDL?~Zhݙ[tS3(Dv)3 5AT]4EHŨ‚yX}*M(w x®)q~v qU'9,kˤ<_vպPvrh&w+րZc^f\B˹b chؔ r'pl(1|it[% !7-8mb$yyyr]6jJ$eK1D:AS&wrk( ;^)?QHcwXκY9YlWdu%Ϣl :8ԯ/\dBV$mfgT4'Zw=^>?YX#9s Tsfz_oʕq}bu{/KVxrC!$ĈP@:?u!4Pwn^[KZb&q]{"cHHx>T7[kA;`+) l):暝_V+~Ij/xNgcjڵb4 )O1 huWӄ07.rfK;+|G'iAqL&7,,7_[OAIS)AzKB!s[B(jmanиRmHv-LF%au1^/oVqvOmr/US$ ~Jh߬|EǍl>͘xЎ$_/&_/1RQ!wّ$m [+_5[447r3$=(_[{wI%56cF|)ʒ3K < pqt~f9f2ZH65ǙX%n"&N A%D=n6)1Yvj u $ ٲ |ݷ`RK #t2;H"uEgniJe?74Wchb˟w3h|b8ᖚ^6.Zkwq]F9V+n\!~|D8ƌYXD5Pip\vT&c-I`kY TR[L mo\zH@ C~[}"]f+6|ƖM*LU=rWQYsRNz=&W&3?!{ s(+Rn3K9Wү`C~s08!J+Ay b]*,j. BB1pq9ޭr)FF^hD\5*͈ĜDÈ A29b?o'QrwT?{D*Gݳ 3Qͮx˩rgY_o1Ơ8v2ưI #Q QГٙ/OQg>+>ßxĢ$k)!U"r*?PJcÏz'-syM@}ESi ,!g&5lۯ{OM%g|g7 K F,J-op N{Ӂ;n}I6RS>^re>\|#N;[8(3DH VkkgE ct QF`Ën(.-Rd+?uJQ(}(`X3f$ ȓ&0^YFWeΕɗu|KeWIO:jO’âlG/ֹ+=ow`LSx!g̫Cqx 6;4Pc5OlWyQ +D^U h6ƃp]P=k'9"B)KRxK6bԿKOV!h&TaP HS۶޵WӼcH .ŎD,f'zG[.lyWW@wp$i ^wl>PFʜJ m.&.Rcg*q9y oF,؀ eT_WT/Y÷GF^$PW+'E9q͙Lxa[hK&8 ()/),o{.3 ik`,J̻~@"R7shoMT5@HdX1BL_ey飒ՎL<T1n s&/\=ZT9JM#xdODt-H,6d*9~d/ J^]{/ >֪d^}0vqJU1/ïk0KIUL Ο2"aFKH~+Gfn@"OKۯSjx9[zLH7|LB7pNja^: ?|nk P&@#FscrӱSQaD%J U)L-X958f-|v{UĒ^Ԣdrϟc?>j:Kꗇ8Y*\n_Gx-i#&|i&%_4qYPrXY#wya#]#kVS|Z(u96pͤnK6 CLܜEZUy $R Vح4kvWCE|٭>3=RGntue5|5r%@G꾜.7L' 4%L ji8ڮdUyF#b 1M'_n?zsM%7LK [.8ĨndtzNhܵ, ]۝WwV.#M->lN5apy/[oT<׊^Cr:q,~H:=${I%mbGX6E2+`L~gsg}IB -(4Kmfw'@O3† Y ۚ G@%Tc<,2[|uU~L1=7 1 M{C9Cqi-!ԘӦX Ejv(pt`6 jb즈#”1N}) (:sir!RʋOBEC瑄VKZ5PdՒHT6'v2Lo߉?[Kf9ϘH(I`6&,2d׻ nugK5X O",z3ee <[,w`V~;"H",ΕG,IU>mB_BGS@w?c^ĩDPNF)ŀPP^:NNI8gsZ'i^FI4)p}3VFdK{r 2~MãA9ib.7R8aj] >BH},|V(n/R>|؉~BM?c\WFUرպOmA|-d6qrBDtPkz@qLJ~#ӟzw^Q./g:gf cJ+(+%SU Ƚ1Smp6dN'ȣED1`jI붍H8G;rVNS./AR.-3Z'V_bI]dA/+nu{ޤd  *r-IvƋERa N X/nXU=]o}HzM,]Znag#&fu%e u\&@&^ZI˧T4şzAmn,{ 4V J脕*֤._(QǞ=uUu,9?r`MõCHKOxC,YHF<iLsO߆e[8,jX$Lj2X>ϵe.rq;eи%NǏ=l0LɈXREDY ˭Dy3S0a`IiVT&:2pF$OP)vS\ >YIUʺmgEրd9#1ǐ2bh4>(ԸmH8zD;F%yo@4/g=EJ=eY [y8~Sq>휈hJĚ1tl*eD-edfAb.Y1N50׬y_N&y¹,1Ed3+~V~S*niEvF Oxf@? 5/*li]\8:1]W|-]Oh?a`toX/Iv(}BO@]*89"ۃ?5 4cg9^@]l0p<ϑ ׺w~&;ISgoc<{rIqLZx%ʻW+C̛Fzb9&d ZPFO7$ }_ 3{n!K$f|oM%Qu-Fs5i߳*_!cw)<ᓗj>.[3 UeRGG^?۠]/9]}U8U"diPy p5gc*ׯRu 0D\Mla6=Y:NH^TG7;6xxq:3=EEat=:Tgۤ @gދOu OS{J I\Й} 5濉KΒfcC+}N@U{R 9sKFT|rI3U z撏?d f3Uot3N]}toBAˬ$@plmDD@\⼅KsA(_T̚z(L?6ۢ;f;";|îd c}(PqPNH`{Y)3Uǟ8 J L[o˩kVrp3zYj3܃zdC~O!**be2DٟyA^Eq~ˊ{-M@)prU:kN#OKܲ^7q0Z prr)tғ,ήGE1P/4W7:m07v,a)d- k4n4At) ΋oK2ğFzX/V낀,ZM}ā>$H E"D5 d}GDQT=Z*]\PCSmklR{ȟb; J)uwH* %hl;@Y]޺GKq’0 Uד{#. ?[1їc$>ਁRپS; kL:C9`DaKssu */b<'pq-D% {x8 ovЄ$dK~2^8 9Aca$}ܩ1^K]G"»u0v&(M'M/06LgƢ9F?jš6'3{x+]n<|{Y;[[0JiK,y݋uq`4oA x6e h3THJW}Sn7iq¹hs׬MD JsϪ*bГ?MuWp5vy׼C]I~ϳ̤nȲ6f 5MCQL' u2A;73p:w70<&XWE~=֑WM\lBb R'.B~)Λ]cwsUo@*`DQAo޺aߴUN+U≨q g\w\]R_D%,2PGff)RM^u{pMU>`>jp .4|!ʮ88WG2}1YHV5/5wk@Kd5ivCD3w=7]@Q#EVDXbt  5n!e3T,byoCKaӔ5w0,dⵓxt!t$ EX*TM *1x-_ɋR>Tv_۷qD{AjH@†ELn TG t8!5J<r7x|',?jp6o=PAuSJkW?+n=ٙ!9N~Ah0~kגaLִO`vhe֍\߱/Uwoþ?㙆wn+@3SYsli|85Q \BB }3,ta v5 4tʻBm̧NH:eGOpnٯX Q}$6x6gW YEY/lU$44~/0f֚qPhq4 ݤŚW!lų).@TPW/m-6ODoG MץFlIse,Gw K(C ` 6pewǿMR"XM/ރZ~鄄E9y[6|Z}~d"jG8 Z_MTl g.Vtvb1h1G͇7[|[У&$,' `'+ l[Ӗ=7fštd5s{$tm3 KO|.l"l>Hg 너Ov[mMl|ؼ:75${D#:cɋ|W5MMh`q5$O\PUPUt7<9wG5'ٮS%o2.~m_ЃDn`_i¦p /ҫWގh۽+V&:t;S\|O&h9zA P jYɢX)oL3d9יeLŭQ'QczOwKR}ݼ|wJ?䮲kr݅CL{}f"=HJ$һjKn-O: uKD o%ň>l܈wf4S69 㐥H"z`>و̚ڧZ?:14-:fT2sD (i1ОlΧ}9AhT73ԥIg=f@#ΓkG}- jua nO"l7ڡ|B2͊bV ;w 5j ̀ex2fW? B2hy=> 5Zeyng22]MtzF\KЂ_#a\GģXD֘>HPs2-w&lL kO8e-H~~LBBBK &]_0Uōa1&4gqAέV)M4QBrQ[~ Jy+0 $<͏x(EA& Kֵ@]=mi7E؋ 0lc%LH Oۗ3~Udf$3xܢ;#7χ p1Sm!k'<3d}zKOUiXDIeGF3 7ϝoV)g3e䫟##U#rwL0Sgk I͌d5evA.B(|LKwo.tr^&UK++f|VƂh O+1ex˾Bh=6#t\2\WG$A*\{TF@ؒ3tc渞 Z@j`Y5렐w?zr\RfƗ"M?jhSStip4i,al\ (O-a(kpaHrP-l{sI,PԎBψ[+JkDQxUǀQUf'`{W]#a>yGU6">`ׂz+:#X7&o7c<[fVGɽ,1ԏfOS d[(rhLK#;d>F `E{ofdf w/s=eul9XFWNz&UͳEzK:v0F 9.> Bb`yv9ф[R@.ܫiQٽpQBѾ٠_3a7'Ys7R 2uT9[ ʇ$f98'F=Uդ 9NhK7P)ɎD"x!+ב-ASˉ}gt >5?Y+jWX'o2w:rG" FB%U>Pȹ$#~7 ̒O+,E`=Ų 2EԠ< MU#e9lVJc_#xZ_Y$uf`ң yÊ^n0XASۤ^ ?d$;l5.\eiu|z}4r*83LMWd Ð\,)s˶F3j}xK1 N0܅ȳZ R1a6,eD\ɨIHӬV.#k~G ȑSK_GkJY0Y%LT{ /QrО3ۓz# ̟/r?7 `?F =~*ۨPM!m3|/ba ;5"Qޛؼb/,eo0Yqqo4Kf66 ңc0>yvڇۛI0/G%@qYNKERdX~D`X_%KRrt8f *N2h5P3rjDqp i5}VS懠,}>+۟%;ُ/apTۓ}8B;l,I1b:۽ dQE1KQe@J1i5/ V>h>T/`)[:_۶}|R\jHx|׷"DW%u`[d澷 ە(W'̥^ Yq;M7A0{2=@:]D?K8D[U {ΥF%|Rs9s^CoNͼ msLLBRhj\5v۝%E'k'9bgR`} S/nmpι!nnt GNwg ghoCQwMɠ/%.};j\t-3kۍWH} u:2_)v>L  \oDnN5щD1F,]C@^ pOb,L}[GP|( nmsM[sPRf0$4z \dx@[V&_($fuuRy9*q ڤ);< oy?A!& l{K.H bb2j iAÜ6*:sA:iCW!TRgOL^A} Hcn;`{G U\<ԤJH܏ d cX)p®{a `'V \X"gYq`XxCWxE z(ܵz^ߖ!01 `C` ˋ"۟j+ꐸwa=͟&zSf'`ZnʋS|1K1GP -Z꧝=Mֹ$G%݂ j)_1zHȿJlAw䤊$@T>2@2Θ>S@xbm#sU>'VNsnx|RbmP@N|S)@no1m#l]86T*._ ;SJK~lbd"v4|5+ZYyv9gG?S:O\>b<)F`94@c\*jBL ,OLWmXzڴ_újy7KJG8"ziۮc@z0;Gz^'"y<o+YH'}7#k ܾF.YNGc_LEcAw$W9^fzIN$UJ\el+PMRm%MQJGs5|3*X`8=`k6]60ng]*J4X6&K>Μp;Kov0V=8l}똦~WV8La] ֖X+R}$#5}: M&+Yu}:*bD@qBeU#}rz<ľɣø@Y>(Eʵ+ BYGͷەt (MWw70<,lF; >'tSE PD[.NW> >Bg 1Ž]tG5VS&[Ϗl*(5O l#$և*;t`VG[=@U{J`sAGRmod5y ;"x)dY]xi6r'206ծuƗ ob+gU@@dnS "=f. GbB&-KD-pFĔ5_WД,h:KZaTF},'Q*kDJt-s,Ei7QlE<*~—&.VLVcҮ.%"s36L7}?ylT$ot;?.IvZ( #&p[ۉ"5)*=+d ̃́DBAչHvV5q[6|sgdjU%=N꬙!f:&vc|bvfyZr>H}Ds ژfYlJ|[;$)4RNt۝^}Z2#]$͍R?Of|3;vs .8K%Y1I~"H?_- P8.&QqS{E@x4Q,fl.{^0af O~Sf8;q>h4sD:VOJaBc_'&\ ,U[O&2O@>#q&pkHս2IJg\dH#sΣ 07k Ә-)#ȕU#R3Q8ֲ^_2m(~:A/ Aě_ק!^>b}R䚸I (뺾{+|q [G%J󧋁PP>ٴ53Ew0,Uux@:!?eӄ'V+U{H@kMC\h-4(/f:;޹!(3gR}i2 gp}[俇,b`7)ɁoJq]xci\qSȮp\ʣ%I^ g׍e8?RGsa^b}Nf%_zƑ{ӽ86B殣TK NUm['8KL ݳ,aׇ$AFw!jJ,0*m%1J;H,+sR3vBPz.WVxj)"fXӯOz;G.ĭ*lN ڨUSbQ_Lg֢9la[vg0yњp 5Li|(~ΰ}{D"!lgv-;!>$6]ʇ$͑ %ajX2\Za' z:kⰘ(g9sr4j汴Ö"NW\%ndV*94ʻL4'Z.Q53vFOF?^XeZ۩:PIC\N6bn_yB:wfqw)#DkKF(|ˆgj{GƎ[@XKPc2V53/"в/E̺#RMϷ/诡 :9VWIE‰A\0C&CQM6L^IȸOIq =:(E X?!J׺BVyczҎϤhD2{w)"dn+@Q]u\ o2 PXh2lcIJ< t\~!aȢ+9t .lz`4Z7q e4+|wq}W1;C8{Vl1w<Kxчtrn 鄂0[ "%0v.zyY5V:nT#D~vG+`t!B!۟wA>|*+OXXgvyu=E=K s7ZvSb8: /ܺ5s9`l#槑ꭅ|`wE1E'HwygZKGƀi|dmřK w)ӏCrÆ+v֟SeG /h@4DI5~7R 5 %F7  E2[NЃܤd.Sr'%"HPD4+~X73.Q̶woQј"5 ʒ ׌.-,6sͬOHЇzM#G=0>`nvU$6(ֶ4 hFQL6qan"͋j wf1y9cyid9k4]>iY-Y>\uۃ# AIy@0cty{ʌڒrtYu]TĝK+̀,J*x2pl C^~.7Hк15!ZzvLxVŝiC}" 0a0DFa{PL$:(1t3-Vn etFfyXp NnAႜM:*Z*BB3h}P$ V| 2CCZHf4&_/ ,m]\I S?L&L뉤%}V9m[]pjl7 RTw̡ώjC{7B?\T ?[b2!nu 6R.1I&tY$ mѮ(@*sP⢗\ϦYLOp(a=m-x`V#YJhDVR`3*NaYΠ,}rw[%NUJN{K硾vw8WkҖ2h_=CfNX:xȼ!Ȋ Yx>eJT_1$K˶2+x;24~682 xTajoȪ55{ QOp]D/].]fR. >ӗjw(oc9 w`FŬ@V6V67ǾV'?u[VUPvK͘\Ndd%Z[+\I>5xw{?xPaA]|)?ZwYΛapϿ>w sJvv$.rT I]ɡs:5[hms/sES/k@kE4TNAʭqE:z6N Kf]״i.]}]˯C_o5^8mni/V=n__|[唯f6ny?"rBJqQHѥ^c.1ӂB+õX9$⥚[fxXν|Az_ 괜b—6^ u#~}J˚mVK5Ehqhz%e~չU[.nUAj;8z`ݖ &N_ KŚe*jʙΓPig]Iߨ!-Q,ؖt&QC8%K0F,pЂ+>s&nW:Ed. FYg]dRx5Re*Qd-̱KW$B%.IBa pުk@7!J>a4b8lDy:b$ks,*b(G7vq+0\dL@f 5pל>WBZī&vj3EO)S#$}0_rYZ93k꺙(zCP+42G9Tڑals ;RQgSFG9rHo0/&.Ҡ3Xㄳ̾ow"ǚ9?rSٴB&:%:ekX)@_SȊXl!@NZ//3h!y6kRZ²vt$+~&-]W;yJ9^  }:[8EXoNn Ӱ I<{. C2S4E)ti~Gۘ) 7og+ \`_دe G䗇r&—WevB R[2(@H_ɳK! Y*0CZ:KsvjPl݁ŧO[ouZJ?G98/]FfHq Ȑl23s)pYa'5 0:S&y( #]yEȣRczHL,5{!~1OhO|:[5|h%4^ G0e::Y3|ouV_ALr!,ܒdR9a( lnP} 546yu<4¼U#9踊YF:?o*%Wo(%EcO y#TN~'> |7%e74į)Ӡ}a ZL@c >.4쌒=Egbex⢻]o < ׼($O5Bۓ0_#-揆04aֽd~]?^ՒI#|_ab9~0؄ | n?>ۡaVd~88}ы =ۭarHӌPyY sAx ߲.ϑyǹ~sanGyu: UҒOcs=qQ@WD}2nt9,D,5z[UpRd-W aޙb}ĉ$:gx;hl&}=Z!ߩ@%m`21~I?;PߏwH)g}r|HlQ~_Gр '4'^RP|18)3a[s&S}Qņ^'E_/OF|=>7vʣE٨:+o +F<w280VC xTQmiԫsL{ab.BtVЭH [u4/3`&مVwB"9 عx"/C gjE޲w#JROH{v)>MnIS3uкc=d0 Ӡ⻙齤F{h`DIvZ?0 ֩R(nj!l*tA[o_nzƁx6+<2?O*aw+?.'+X,”:If59t߼:`, 'ĺicw0Zg3es2;tdTN))ݒ.}g2[Z)4@9~W]ڰ7*pҁtv+򌄗Vӽ;ZZt=B*MqZi7SҐ j@R:pP5Nƨ;:T_WVpzWӞw4rM2?|v0Ibf!'[ޓ%1`2^3ş֤*XT蝊<~cF0%TVcїe=Ȟ{%j28`,TYi+,.DmZ3MxqƆ Q"\%hKͼ :dMh y#0ŮXs:pX1u'@le('A[0cx ~ :Q+ gidah%i\_4GZ|}XLq5mhi0C3Z'ZZӎ2/%0woasNǸp\1kY 9HL| Jkaj5av&_ o{9B05yT`H@(%_(GtS\u4jxG+ ϏlgI(37àݎ #0(3n(kp|łPRЇ5J6m~wun h{PT*`}7}VGV39W$ -T5ֲݼ1ܼvƴnȼ3 _~EZעBQ׀ð`w  !PuGeׇp"ե s?å(s`,ʔ,cHޚq#U|6S)>ܗB=R(Jd<^pGYG&׬ %D[!VJA,ꓟ:Roe}XrqXX:;+VF8%!Dļ¢ :ۛvWE#|V>쐭ty)Fqǭ-4-?<$!y?s1(xaҧnt}GnFj|qw<G'Fiʭ c)gO+$0aΐ:Jucܾj:͛T76@Af 0{KS,.2a>PE2C E"T-م OH *$)KFrwA݈oQͭ_Ⱥbvr.+za!ɆcA߱~ɻQfY=.j䍶( 7P'|XȋKߊ|a>O@Li!|Um2*3:z7Dn’ ph<^{|fj, W<ц +ر=+tQ0/H"Vm8fԱv&'-#`טp`M&|sn`@Ԟ;m$0e`˹D"zM;SK%;HfO5zNrdtFs-Hħ1}xޮC.V^)6x(u1kp,E7f׎z@os~ U0%8QU)8%X>P<s{P'YIu ^ײ7'/Re5n^s\FS4A_8ȹeo{Ac)0=֏IW o{Z8vΤ]R]n|pi)(kM\yڊQ, p#( dm{97G:Tv< nc #ftLq0UfAzBʬtgcF4YyEv3>#8Owq&@tuaQ"(eyHBӓkC޶MD@9nt11W۔9 , k>2b 3 s]ͯoO T(tN(PX$hcv0CQ0Jzےt61Jt7]\A-9" dN$74W0ߞr?s! \n0$;ϓǢě mɈwPR`pY(_Հ!Po&Z+$Bߎʓi9Bjhږ1,f&]B3""BB8{,ֲk, *w m ޅ;P" 34]?CT僥b5Y!6gqB9v;]̾Q_xaݖ_i מ"`_ܧZHSu3B\)Tcm֏;ƅXF}ysHup@U)IZ6ٱ&sr!*ZvM=DLd! 2 *JN}FsCUtŦAo'aG,ϴp?(+ƹQ "OSofn@Eg 3+>wf񨾇pe}k@=@D՘7ƲoX!GmάYo9.n W:%8OV3 <T}*R̷& l8g\R =.uAg=&v@%رjD{,zD|z|) yGAT6z!F\q8- )P+aJ=pSZVtHwZl16\WTʠ;%΄S:I2: akF` PX3R| dO0:cyur4$$8ny6g F0z@,Дh1,a=컧C/ <#$-4܉Űkn~X0od 4M1G0"Μ|EБoz4q1xi?JuY4?.:ܳ'B w_9ꠈs6gORvhOhO.[:UvKk?M@l߃@ !qTM"-mV jC+ToE=Q*]! i4-| kTӀE>^mS|zC2]T U,}6KAxmD=վIBZ ZQirֶn9/);ȉsY73$8 ԑÊUXKjud>JF-6 a0u&e8aȋSIA :&Lr.[~GpQ]e Kb+hZGe04)"@qßQ n^Li>.e(K)=tC5WFe2ULGg1FY3z!e-mkzu-8;7` ?yv {M]##x+o7QS&YjKsM̷[+l{- 0VV;-Sv7čn3+h3y2qG?˕OZuMEUP2S26 -DE %.94qN |J>L 4pDa$b&@W1Uh}rrg4jqeE9585WK`M_5ix t>OHoW}hL!q2k ]W8rNr6lʕw-ֶSΒ%8+ !EaԐ([v:!IC umNXh5Vt{0q;C鵘yyŁ_#V$G ,'LV8$R& 넺3ZL7h*[q/lj;vT102n'H__JyZn }Ec|s)x.7y (+<5]ܘUa]RjxFkt\LGasUAkNNM׼<@B;~tPe$TrU'ӗ_ >³{OˤHT6ҵ\%vdL~`-BP)WLjD$*j sA;N `gMˣ -٫0%N2M50wſ S_?5Qo w(T^*UUdcs=XDlVT,'i XbUcL UZtYR|I{q\2 ;iy>B3Kǽ\&JFJAjz,>_AEkqr\}|y~60[+3[X$v`d lYjpھf[4tU"Xj-A<1hjC'od|q߁̏&T U^je5Gkjʙ19 B9zh6 <+MkWa7'|#!C#+ۄ:Zܤ8RѬE:\NU1׵a& '!Ce\b,5(Vʀ&; spֻVcri,,}v 5?#dGujBڀJVhjҚ+3!a6!/W.|˳.4ǟ  uΐoh(GfHGY:w!/'zIOMTƯ!S(ǣ .7/&WhȆG3I }kf)/}5t,#MyB8.jtu_ , N!+h+r 3|/㟋xZ.uJ ӓX bn%wya-pa*Mr CsaλqypZPS[19.aCp?`3یlYX+Zێ})1%55%J3;ذJGS啐 0~{*x~ѥKlUp}us9<;f`YX1-ȝ9yF$9V!-zG+ AX, k*QHZIX܆Vϵ8}lK|\Y﬙XGop'@Xq0ʛSׇ؆#Ұ!hTaoG#XXx]켠#hڌƎ45>)㮦rF2-W$ZzRK=n>ȟܠѥvtgǤ(2~?~7G 9a{[&/$ w=toSF\ Z_n̛g.z`thx|מOn'HW%3Z!!!qZ~<#kDtJN%å\vdOe[6b&֥ᠬ>+ܱĹptXSq1F>zޜ8\ewրh;Xl٪@4Q#Pf>ZˎbG('ZJvbv/F'};ѱ:Oz^Fx  !݉uwFϬʨ  7 <ۅ3dD&WqȦ kk{$U$yBW 0hIS_Yq".)߂Υ^eU4q[䖙Gۤۂt,hWت f1:Uu>A`hExr:Cz!ٱ;} j/K%[PJ[qN(x) 5}\z 8=pfmaPmy2ѠnU`W|Vn]`E bPcŪI!# ࢧ7HdU M.+G{U#Rɴѡ~+$χCgYZ7zXZִF! M]ŗXiɟ1S:JI 5i;\ŮIQrEx^%+qPv}A~m\B:X #iVU,\& :q839>]x3ϭ[И U1qqMnq ڝlRN{JB fmy+3~Km"ALFQۡ=EX9А: ՞9dݏT" AA8b:G*=J:BFawͧ1t13y]>PTu^ފX'4!7[&¿#Z\amoœ$]-E@C\o <ޥgYZ7zXZִF! .W]ŗXi%L#TkTy%9&{ Yl1< NtZ鷻p-j=Ɓ賧 X `aտ;ymen!0aL x)yV)b×})sy=oh'[v}I#x6LۓQ<`&UZ 4W<&/dסyP"TAW8ZY_JEM,/fƬ^${oIs`G\ZAM|C)ᒚ[^;IȪIи`H"* "aUZˏǜ"XBF&]Isq h4PY$B#n܄4 =djFe5SuG|D3Rw&<ԕY-c$:ZILh 4m!TgVjv.?f˫7%md7R{zi+NލqH(4LC^E JqfMb6M-/8.ZV|F6/S$}-h\[u n/p$.y'|Г纂AҒ8̑cyAѹުRN<]Α4mz{PWgO]YG$85t8BdCUks>CNŲ3mLůDݐ#́" Gyº_E%Kb*0Qϖ0.zL(SAFJCUC 3DՑؐ4Cs=/I}ڞJE*W{׌2%nH#bR.Qvc5K)1*ȿ jDDwms}WK(nxHLZ=qB7S(do ߍM΄X1Ӄҁ4j3WuItt$ױt3h}dku vYZۭj!Dy{L~FP}ƙat$4%1NLpY[=C ])cϋdFU 'iդeg@&!To. rMncv. i29K=rl_2sV rƣĜxpfB7Xb#Oe@ bƽ䛏.jO,/<9ӧb,]5AhMӄP-SB)TQ+B\N_1BBk+NI.W׿S7*5!NveQ^3T]Pc$ִ1R N~|8!ݪ+|];'})|u2UhNИ`zI/n5aݍlu/)8Q Zg~VӇʭ;6- uF H|\z21AꭡA9)&* []O ʬZS;ǎ-+)L6ܯoD۲GG0 fCY%?,)}txwG7 m%6'uRv722h.(?3 r;.X7Hem뙟T >w -W1b$."&W&"Vl)c#Oѕl [0eؗnW?pO׽sJުxUi]f tukzV"[_W&!y:,C'ALCF{yM&a{1WYo.š)ɺKDg9/h/=ad2K%L^[0Ը'RoE .kgU-R9 v8 w}UCÌɮ>O\ɒ23'wRt[hfMh R{.=YWX\Rk߿UC1rG Eů8 T?NB=M#E~"'O!TL"!U hֈOrDsA ~[mPGC|%d\yΐl\ Wzצۓx1'PsV)+ 6*8rkHqNp(Ed'YYi䓩kܟٞRN.{Q?{Թp*pS鿷da+4)IGxMD Mf&>xYǻl fOrՌ"czm["hlF4Kd^nJhu+,sRU^,ƿ4imQ5XeWEm5 nxC(|T=+69[+%lV+Q~%$շ -@cYʱfO `a=BZ(8$Ot?̌2GHP3fn)x C[ { +)USl'KLA)vY`ҹM0ZCڵ匶ݯ*X^9`Zh^C_E);ar{nqϞ ()so}8}R ~b[Ru)[Ul?LCZmO~31 RٱzhN%j2j]ǻs-%%jĢ@wXTog*6⣺ H|EispxG. {5hq-/ǸkdrLYXBkL#\W+@w2/Z1&gx1XX/f)JO]% b(Jf?h[A`DG ^Pqْǭ(щz'"UbĂ-"~3q#_ځKh5+\U,v>X?(4!nQ %`wͽr.~-Z5AדsrIEsmuxN6/l"HLtž9=PGt/~̈rۈlH Ӽ-a/.'x޼Wg~ܻmflu%5HJj-ԑ+O5׾ -\{`i8 a>oɡ=Js?#]$yoA.ᩍ$3)YeTPnpZ#6ՔCURRYGW`C-KclGoE^.d}2ԳA%epѲ8c(n #(lg r.sYe0e558 6lD&'r8uրb 4a ]VMP[şÐ]ӰH*g *)DL}l!=(ɡ/n#b!߱RV^T~[v1V$F G@rF<焿IYjP mICoL -4elqs2P.áOG 9f x[`S;@u2{(&"~srFvc ]@%(lMhW)>WL|QjbJǙ*dף-iWQ_AbIj&Xmȕ#4'0aFD?ю 89|%\UwBap¼wKw*6ͼ0!wn Mq0U܋T]f|MH nԞLf5G) P^ [`t-$C>{N 0h[ gcy'>ŵHqЂ|LX4e֯m&f`'П1%8WfAi!THȹM%6x49?$ٛOaNI n ;!Or^+l^D=ߛ^ 4ER}p|!d"F /I^Ǝl(b܍vwL@.I/cClz~kc}R+qa56+3|ySևMU/.Ԣ>" %CXQp(Vq2_طbTo[%27I =U䀘iYŒVDˊw ʮ| 7Ό4 gm}#[^0pGS݄ѳ/8D|X>vań%j%jyRR.XE M^ Blxο [И$VI8Ζ3t芸iY@mO`Y.m4_C / h!w[ngEWKvVKH!w5A ^0‚-8יiYC" C,e*ʹB-Q͌< zmۘE 5bWV>$VAzꛬÏՔbպGix _[Cm?}BsZ1k9m$"܎,tiRCB1>2 }/I|b< ^Q}M?X%vn&CNJqz Us&ɹ(j*ݭ~9hW?<ԙ.k|;\V7'YBJAo!#|ln+%-1L$)>~>`cj2YÎj˴>_j[Pd\Ḑ2XrXU2=W[4J` (Mbr[rqʡ/;*h6ޓ2u`")&VIbTOh#\N7BYٹRD@t&J}VBU@v 6Mrm|%9e^(\Ļw.2ҀI~>,\1񘳻*9($t&#O~jpwyi^鼼2UqYH%ع-ZPx@nj3`7'cYfXx #*0j-7?51*z3+%RVY:72表g*;1=yF 0Y