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 -1v<$| ]/ HOL-Hoare_Parallel:threads=6elapsed=64.488cpu=339.640gc=7.4727zXZִF! 4z]ŗXiɟDYK<; FcFE%2V)gZw4n"J>a eKq4G?@qdӮDH\qH)w- u1>đi * C|+S_mo8Wo'S~9+W a]fPhX ".U_ -+9oV(q6#7U=vA{|A%HuҽrhTV-K3TC&Ll1 ]78XAzY~ѷLPVr5=%TȠR D⁓a1XȈGz~=ƥf3 w mB޺PUeMTuHs{9eDH|$cpz`5>FxLZC6:ˤm$-99! `&ήݬL=Q&oUCD1!|G>ϾYlp9{sUX"K.<1p@ !Fڭ{"@)A9m.$}L/e Q #|;9۪56 |d7i pGO膙],Z>O !z!MQ1s#wΉyP%r ݪiӜKr#RWY@e 㮐'L?u2Tq@¨S 0$ ')x;Y+lC عy S"vj݀.A#nt3_80!'LsCɹC*FeZQwxeM$ ˀC%ӂވ ƴD1M&#x[k#vK@Y!7rbCfЖvY?MQQn\?FAwQNdZW6m>w౽󗁦U͡G)cyt&Y5.[OgK- 襂J}OU64z#Ѵ_f9C9Gp|vc(Sک*?peL](eiAv-ô+>,tɋ&v{ \%"1Ds5どpfsFL)<#̱[鿄0펧Q$c۾^xU-"5/ |xw9SӖ ׂ(LRjP0(=I1Έ I(tKE mD)= (9\q;<I(HH6*YC NYN+L+N@iD9˪D'ߌ %h@H05 &ϒ8㛇g7mRH~5ظFUnaZTB~ȑp@%s|&A Uꎮ⌗Kqym`vVckmo) NM}+<"Ejh1kp1r pBY3%[s. 2ɴX8;^Ʈh ө\DFLOmFDQ]`TLx-zmE$J B:Bw۴gg-ݝ1y nbcvMuϯrbijƟV3!T\ {+'J>x%:WwB4횢q7-D\e4l]3HL؛ Y=瑒ȦjRe|L5 .h{~rձ71j^y9v<&X hrxH><(H -#7'Xظz$xoIMA/ˍ#Av9D \Qh}e+9NHY1FekZޗ"~L)TAǔȄ 3pm>" 1 HOL-Hoare_Parallel  U IA6{ 02K< >7Qjc䐭PA)dWΨ͞h,R=7PiĦ4yP4dwM XY)͉ۣq?^& :IIY[0ڃVMGʫ?Zme}C؃l\)B糷߼Dphŋwut`6癪O4Ur!уB} PGt X- uĿRv~7ъdf7)iO^tZRdQ`WPl qA~))TgjK`1T.~#Dǚ^nn{C(jײx8b'N [22$6"LGӧ0WȊh,$LhsvO/VAqXE^]hڈ08ʩmOzZx [#784!%;:E^-5]97:_n@f-&*j9q ӣƲvR[fA涄}HR٪fDGNqSizN)&2D82;ȏnFJyЇCONIaLcHۖ[`a\27&z/^C$GgVCz9 ,<$op#jGnצɪV0F٣V5/4R=&pۂf)4Wu0{\9qlŬ (NW$'XϞ0 (ėXaƃH+MTK<#e\;*,?i%ÿ+ U)m:K-^^ '!±I6gٚ";%Z2wu+V1{ 7O|[9ypb5,{Ws}rI9.|u}^kz` ;Vb1um뢳YkFCHc70u6)ۜ9!sc3:}D Cjү`Ծ+$"|''L\E^4=lAc UrcH 7I.@/PY~F|Qa"w60oYsZBJ5ҟ_*szY[b"'P &Gbd_TWoT :;@UH@9 NyN3x 8A.._\ h`7yd?::{A]+ "m3}Suy,RHAz5y6.9y"0M &Jzhyw;N|3ѫ"^ɛښ#547fW ?YUDA\j$o7KS3-tDPa81WTN\mgQ ?QB#H/=nn']J:Ic൙,Zj~),Y7o !Ӊk4˖pg[ '<l#"W ܐc% <:WAG&SIս1#1 i fX6* Qw~(8;4 ZW$)$Bj[ BWc$vSG{M^8uaQ[.=Tx\,66Փ|"(F}V/e6vU7_/6BT9({Y S2dl?xL']ڒoLOESx|7y:Š^RjG.62kpSH z~Wl5nރ<!}az+Rg0┍Ë+Xev[ W%<ԫO}!Տ$O|:XsZFշH[q6r@$N.8`DxX^-8RTB=>fԺyM^X @2EO)B Vt$V3£>útFvެ+%B~*t Y 'RD]n_٫1[Etchy98jlURN#.U~GfaxcNkJE$'K7~j(̄MxyC_R!IęZr_Y1zSm`xTڞ SJOq^YjU2ʰv{,la|ޕ pSAr, r^%Y!4D ta:|q :KDv{ny$jN.}YB4I{+$yu]G(k2kՠwEǂB&ʟJ8 tx&$!Y}@ٝO>AڮggU#$Џ  rs3<rvJ՜{Iܔ_xnR߂<\7`{`Y -@ŀ%§: eFVZeD*XHDݤBJh4&M4v/!P.>J_YKә9^ _v[8xGsnzG]2Sw3#?rhl:sUBhp\o/H'~!yNvM ){P(2A@?%D)&9!1Y`{?H8P'q@AF@zڬ*`;5 x " d|=#% 0#$2@chs5FRdaQ㒊LB; ^_v~:6yv lEl'ɇjP3J(p>}. fcn͕Sum2$ hͻ⵺F-^o0#mɏ9؏%Ie_ZV65KI.ȯPţja2б6&P3}CO*?C8uƧ}#U 2%M*[\S Yt<O ^ (&Y_QJ"@^𐗴Iaz!l_! _qVpAAɳ3gwi+d NI@^Hu+}ȑ;ݶ ]zЏ;V=Tiivzxcp, 'H~ebn<sjټӓe9 u+= gx I .p<$x{&'TYd_NxݐKx!*oA}xv|OJ>P)q5RMiAx &R|Oڰ`j~{p8 %7Tۺpe1aoxM>_sn%9>ɡr覍W^u|7R2:JO9 DUUK5҇iH4H[}}Kg2`>?gyP8,D-#DR'ťn&٧;Bf|UTJ6#BG [ٕAJ<)X/4ԇo[,8&>l"ГCLzifzׅzZ`}) YGwFG@87<4UQH Һ]$< N4zP >N'M'ӯ:"k'3<}#x>v=K>*$' Y]Z+!waw?**e1+}rNYQ_F1o^bn=>1I 5%tAAkoϪ4*Q$F) 6lH)c=:3k`J Ҥ'.]3Xf4rubxA71 + 3bѱy]G\*#:ng;9- [tO.I`*ZN(~QKkmd)#xT$ƯB1:QbJ:{D(g%$9~\Fup.4GRjf<.q@ +F~wTF\̳F4a !K IOf՛ 7aT@Av^!-}U{۱͕*l>-3Zk!r^ J9j6~ҧSIGh4hIDП3"΄6qF?AFB.R1Y^*aH]pl+0 Q ,4~gDOĒO 9O_F( d'G*D/ޯ+|qS'1?%x]lyV E.R'Aj4ߨe"~ RD~T PWY;v9=U}hrfWRkB.;zw+ Q1ttUPR{[F瀑"|°/ï5z8 +Ebۅ*qjI\g'8ZEfa(RL=ھhp+Onҋo;gr;W7p721CFb >3e="9; LMypb|yf2bc"8Vwpچg$c q'р 9(l{w $ Ps ݞ1xWtt"\a cO+6qjR`;R@bEAɘt:+IpcL*Y;#)t-3 YᾗڑOR}qd .l~0y ^gg t-*(9=RRĜl={ 0S7dN6<CHzM>^8}mgѹՔFH4hg\ʜơy&Q:<%n_揥\n̐1'~[Upr>/.-pw yԫJ&oڈM[F1,G$1ִo4S.KnLbN8ː:`3Əې:TlEŖ *S?}n|\AX{N8 }^:%Bj.;x1 `)J+zN-jψ6x.#}~a Rfqu8^]K9zِ(.p|Dk8_NnqE9}s6VsQ0,B3ȳl:U &*=Y1d Kċiqnm.NB'ycnu?:`!Odd]AӇ%Eӫg9X[9 eЍnH]WӅA)ݲz8cºlfaP 02sf0]C)z=MRL ;T/9kY(!^fbCW3:S14 Y4pr'у -IӼ QtjDޟƥ**VX5gm td5I$gԴ7P 3QANMon@qQz&Q;s ˍkF 6_1B`J h~7rpԶYa b3}{"Ȁ80X:=NpV)C*.UR"Y;Q_p;ҡCuD?ŰYT->Yz_,fa (YT_i2uZ /br#>#ñJ$' L xD S`ke7늫(pJTC0p<&^ Ɂ}0xvf5mHF Nc rJ }õ^?԰@WQOH %| C!8ԈʀXwZ)$L>QՁq*Fi9J/5C0`u31iT!0[M96b.0œtF̢N }ӊ髿(O.^G8\R%4t04jyGqSmLuM׷_\#Lxs=AXa?߁_W2Ev9ODb\OmU'G+Fg#@(z+s;M;&S=# Ս2+)qK0iρ,X-y`Gۆ8~V_r.{V -u RS5;Hʈ\*7`iWDTq0h#g̤>5jm) TiKNl4MBR(POM)ʹgVQ"r*~9/J4pퟳq*C9ȼWou5af8*4YeMߚz7݉'@eZ,GۇF|.bDt:/l&x+Aj ŷC$(LݻpJ_jW\ g,? RNawn 2e#r?WZVM@U(#>y`GGAuW$4WQs-8  xP_i2ut2r˿H9À⎽ 52NY*"dܞ2}MXſ^ArkL34(5_o\d egv$֔d +]gЗw M  辣(Ѷ4tU HDs#{cM?g/&BcnV*/ Ӵ]r;ނY=?dveн<YK E|ee~>mW-_!H|0FzB($R O6J5w';asn2}!oV;yv2wjz܉l0EHQ 6)x[~I v+!`) XlF7%[S*\^sìCN׹z|(S;c yW'wR9v*֍ڛ BkS<N[} @xyJ  38xxE\m?^nGvQoٍ3t> v)E,$3#: ْ =_"肉wG?ȏNNG/PB#Ò~`u9s=θ47bds:ǁFbT\욉)6V(|rhi K <$ /q]Z!Zh>XG mCG%tj(:eKlY {נt#&Ӕ0­{84fY1'zl_c8iɪ@#գHie(EI%«5P1HoWz4+$R[ (8quzIǧ9'')Y,ʟ_,*\N3ԿaJ2:7 >'!R=_rvcG 1UNZRn->ݚ`~@j-1॔3#.XZ{KX'e@=t]$K oϞ9+lJ.5Ÿ7؜U i>/5R膆gs~u s4ߏaト&FJߤ\uNC&Iq9M>pR^>T.%')KfMN(!$yu!1DmmBU J3gζD"Io8h-}$anr')(_nJ^:@(dc痷zg_6>}jP ֠A*t IdrE7TȾENEyH< dyPAKAg.P?˥:{ase\cGiU53DQ3B9q\e€7d&ކl]'sKDlIH[@q@[Ҟ}o85.' [QO#*I+^7P,Hl&hDofu&LѡA{\SQUI9aJx46[8V Pٛ빩6$ƥVi,4w6Պi3wcWβW7_+7z4s+yN>K tˠzo Va#]UK šP;lRi," ۛY5~] BUQ%3Jx.bv[Ctll UQMWlesGR >?ꣳ'ఊ\A{$:slPM V@ytp.Yƶ7-2EHpҰˇ" \,fiRL?)_|%ߚ4K]QоA4{YxrS:{__--0rq+m;BR|\4QQkjWvG+.ފtIt?/4ӡ(]R7]HVPd]#Va%;M^daIv@x2|a}e6Xb\)4߲zbGPI֤[Eǩᐆ!H:>ʱ-vpڢqI="6oTs =k[t{q=jtqj7uZ y{*Ko3}u|d}S0O6i1n_ TU^jrW^G"!PP2m}>FU:'eӤ}O)f٦=B"H8}C=݅JIc4h0IXoSR={VV󃈀W,sMXD?ZDי5$iםW Wl1q–Dui%~%y0 r$mʎG,l-t C_yɜ 3Ж .JAM̻1PqeJZ5.D 핓D:9&H2 GNUW;ZQ(~dM~ }6$MD7996pY(t†  FexȻsV ׏ &z|A۪\odu{jzxw+`ͽ^tF[]k!BM_/)*d$~Ņ(?U4LL21*.MO`OY\ 6X]e C81ɴ{FZ6\F/O6/4\τ05)E b\P,0$i3lnx,uN)5 RB ɏ*G=C8>cr@=cɈq3f!yYz:pڅ"醿s zЂ]o ߻A^{}R`PL4'JÍa;FY!!R\/v[ugɔ6y8B-(#XLV^P̤VMgoqQVCe |}\xłvߥ^em M4mhB`V #08ڮ1| Dh k3q8\ݖj|tf EM"O!D Z9ZR;r`k#89%|gvo6B(AzlC'^c5H<.a/׭]5KqtyY)i1$SkQ8%T9vl. ]ꁦxBHvrrñHdP  DA@TBOk-oU![M17-<,^;ۅ*,_(XNo<&@JQkl3SC0_CF=ͮAs pBuןok 4Icc'e\1bO#MD k0q|ts,&PљV 7|Ҧ8aRη΁ݤxP}I*I՞vjk}#}a@O;-DU{#zkAf9 C¥6uzwк!9`;^Gڲo?W~.'[]4*cH!d 妩'eLh~:8GE_h"wt V߄e!2Ȉ:hAizRf g\ؾ kBQW"? ˧.YǸC'g qN!.qMx#-PJ L4Tz}a6 ]am.}t4.ñ]>D[^j1~ѱt =}N+G隅Z35R9d,rflIrVɑ~,;E[1e|Ԗka-fQF+taf%xm`ӤXg=ܬp|bq @rVp-9>8%5#h:j~I.2IE9(۱AV ZMZ:;:8΍ONO#0m%`zUA =u% {a4V\bGJ?MO$h0lTsf]酴t/P,VTeu& ż]^6h~PHej qgU `t,wK##`kL]?J?t iӍ$2ka Qiٟ[!NJ8s*oEFoj"?.aw{ [/"qg#/M/0X<\AMlx=lƀWzCvБmmO@u6#ho_jLMy|Qr|Run3N/vK!y5sXb@)„)r֞i9Q23@f|ĝn3- ǧR*@MڝDv3V^#<̧ZG!A3ϛJ늖ybLe $vL< ժ%UuQQu af1xRq5љd0(I>쭭EtcI T*&Pn*֢ Tό A^Cԝa]}j̏ |B|H&»,==uHhg2jVtǮ#qf< VRĠPha{A]P%3ꗤCp֦ypPl挰0 K,Dr%C*͉0bp^mm{y!ZduPG)*ܤU5Ɇv?bHx-{@82=N-O9O Id}#X* ZNLhyR(!6,j1P~ZVKuM&'?F ? 4aR+DR͇!j+F|_ZԸ˶ ha#0Dŧ&=ơ@f*a)]tw,?%*gcs*㕜xkdAkÃPI`KHm1xwoJ-Z}S-DD! XGH~atZ"XX-3d6j fA˿%cV#,/%T,Sa'ERfH:>ݢmւk8c\&r <"*cBuENLyI+`F&-;mAnn qU1V.ɮiV$z~GH3*2ϴڦLĢKd*D8S:Ku} 7{:ֺgP^[!A Ŷ 5&ܮ˳BL/ ȸoJ{ǍP l9~ܕQ.9(2v͇lXGeR@,\Ne t/SO߰aMo6HV['tyIq;YJ!ǜ8%(i4sؓ$W/rl6(_2:Vm["3(M º1X5cV }|m1 Pxl4{BNGtӛA*ZQpX&f]Sz+k6=aSPCZXp_/mhUI:]-.?c7@z(9b!jOS9)0Nh~w*;\["~Ax(B$OE <~K|bZ&Ȱab^^hdY![AQI%8S%p0aA@)ϗ ]5}!\qA㨎!b .¦A?9o=LjkEa/^5U+ PCƒ)؇j=^.B޸6? -gm$fn庀-I5+Bhk;q#2$IWKh#BG'/sP( x}8ݮa~5Lz(Gզ9H:-L, <}>Xd OBS!{]s(%?) 1>zǟLHc8-W(n^`5ZmH&=tEBV&+,|r$$S)g-> KjgO2z|sTA*=] =.׻YRzS}A\9ܑ% %! ]C߀Y`ѢOp%_^:BrԜCy'V{{eFZw( i(ri&z#wQ+z(-ԧx{w(sC& Ŧ'P +ǒ@u̓4G7>[eۗE)lo cAJkJeޒF1(=A 5^\SUv*ٗP@1:gLC~}N>h7?) ?M1ƒ$Ԯ2L5hpRTd3$ZO`!ҘmvY)aH]n w+@xެƯcx{+q `_t-˞ҫVC@> ”6sea /҈u`Ot' KRӾL])s>`Zf&1h !n3b,m OQ:_B% V5jkIO> 8_w3g D1_iQy<'6} _t̩&i)SSYKv]7ԮHm҄ ӕ8HNFt0XF(IF+M"19J327%M =rbrarY`Q+]&{%aCRX)%r7ݹ^$F&d<.+a#5G|]9u㺿.(U1$z/!tRiiT ![jX@0ȼdyp{śmg0Ty!ogQK^e>]obEwHx洂#NR H"r Y] ;ZfZ.ѩF96-L`sC7,4tX:N/"c|Cxܛgf<p(&ǫ*ӠVSYl_r]u>`I(RsF("bc_\,&3E5jElf -D==zb\VTUs5(>21~%u >83庬Ԋ 34…KRU#lEDX& ߥ,dG,Q0sHsK=kl7x=Bv 絀D. ڧXm 6\oO.-iqHt7ʢlqgU[ X܈@X|d!.i7I&)JBCU':@~*^yGxsS9 uhir ms ۼZ\V8G  Լ8wMWǵ]JOf4Tdl3%eم1͑Ѕ"'aK{eَkͧ+h¼2ܵ!w _N]kieC 8?v9}RAU^LKӲ-jEFFc?Ƈ9Z+w4$2$ȿ"{>%⎲[7ۂh}Wn9II~KG'`*$-;Ȼ ^@ di%=i"[!BPNb^|?Wi0c{%yfM&b1怵=©n ʀZe vVu o` ɮb`5GN=!ۭK O-Y=V?.-Fj:%,/Z"Jcb1sf4*LW:T:,Rd|u{b8<2ۢmmCtgSnI P&Hxzm{>Ԙɍ/2pO'&m4ʱFyk Mu>r~ZU9kn%\$ GYGV$eCv(7K/2^1Wa ݜд߶Tv46g^ r)F imQ: ri\֘jQ٣sHn:cZ& D Z`^ kA`#E'jR^G]LuД㛷4'm ^[jqloJ$鍸xnmU6%mwoNV2G i]-^cؖ_R Hrf@gV/`S(dk]QUܐ뽄Z8H\ɔAK!.FJ+{<yv\@9XU]|(v%==@ j\yI#%[c]WxxA]< Ĝ}y,c6`m |c/|-%E)_6Â4 PwȻcu%^\K SlE> ^,Wgc{ׇcJcc4SCJ/LXWY=u؈-C[Dk-Q h.$C.LH`x)cܟs:X@*|]r`iӡ=T>m+@(W0yPH&[Q)m]ubf ܗ-bmѭY9%_d곱B&DnW:f񬼭 4/}o5|"7]\9X3|g**_frP W P a;`q^0^eȦu7܄vD M ª;Jt$:0,GGcQyhyݾ~a" /j,$:WRY7_d% (Zٵ%8"2|F"[gZvDáلu ha/r2` mBqg-ΤϞ\? Џ!KW ǜ{=K<AB:m .0Z+= ^aʀgU°1c1 n+ `g~ RefN[kC6&}I#K f$(iD7:<{ZQŴ-h BpW|v@:K-6kĴ/hLKvvMA6G:]J&`h_r3,BT<"<Ů$R+d_XXS-,dR$$\Qn[BBG7H,t3@rhqk)=WgO%{3DO)bGAOMnѽhLN?ػ@{Hp37bh5jSڡ NMŬkꁝVqGn$] [ДvMaF *^_dt#4ev/Q4Y Th5rhy&p8?3Si yT'8G_ce޵ӊ+zIэe1) ?ҵ>h(^$蓍 KV^A%=4֨pd%Ɲomݐ>B NX3Bn m!s~_&c |`y;+9Ճ#VxxB_JzLו-n9ˋ\F?<,F4fdI6r>LZfhЛ|)d h$ogyN @I$6I'cy]?v0bjۜ:OzJ**B#iZtd |v^I+Y',Ā*<= VN$x^-rZ2}Z9G;Ɉ%* eiBaj[r[<9iE[ʄYhkqE& )P\o`˜)Jsz ~7E&ˣ Q*Xi㖠XF*U?jvs,hYUt x~I~N dȔ Ώ%UG j T#oɴwrumگk5mO@R7TH.yh}GYX?ZI쬛P; |&qcEƲ& @$H15E5Nרd9˳9E XT- L?wdTZq0 YN|7w-),$Zw/e׬]8'}׶kK)dOW@V \3TeS%+v^f:'ݬbӼ,>J:A$Ƥ86,yj,:MZS.3Ce2.T2YmeAL3&^k̏/4즫6Vw} ϱX]%P j$2Ֆ䯐F5#J'N[P4¥(<\Z_4"N"AAԫ+ݤ;ARvGvli?hUwxieS̼O֕7)`^8.m4D,cpTg&OwPl @>1?jV edmݢ٫N29zXQ$X*jl u {m-Rx4!{:0b1T AOW-8cI:D *zM,‚B T爕kTC&ta)ږ^JŸP&Q}Lќ6]!4Ĥ1ASF`"t&n&=".G҂al SXza`@/7^> ZR^?3-|uW8l%ݻ'~T9K11c߇ZTttt.}ۺDwu-U՛ 8`rZ0|?`D@7gW|?z[{ld?8nj>V-A߃p  }-O0傶NDű#fF+cT$y{"ԱHd^;H|j2pkHq>kNsy.7V%ß"}_ 1=9za>F">!<[y1֯.d|V;lT}S4!b^!gqp TWA([ a X9zoWVjiA/iJ7%T=RKYL4> ndXfF -ٝ&j Q:=_હ2WI ,0^FKQPب:a+▪* &bB񹨰Jվb Ѭ{i8:~k[nEr{Fߢppo8n(55@׬":\gL0E(cL&ڥ"Izw grE%OTA >=QUs;+¡)1B檦 Lӯ7|[U tΕ4(V*`l f)BvԆ[b'3TonX(om>R&a (hcdbgc$B4Sm׍njNA pYjs$es+D ի'm g+$xM~ӇgpsH' F@߾RyUR ,ֹS:7I~tzxA9u'˫4וt'߈*M6>^{\E=/8FO5Hs)W3H5U lG{pR \ _3&1Q|!;14pQ2ާͿ3PGN0[G5r$ϵML%ةfGV"3= ʹj5v+λtU)q-Ф̯pu=!$&"Ad~ABw+=y(O(eJf2r_Li<&EfJKn.\f !ͽ=|7]A45@?,..̯9og)'AAv*_39@|uwD8;O`]gBI6>PʜZ' bwmv]'ܸɜ~ͻ\\@0Tx;2yfr.FfwtjE. +.SsBRMJ~A0l.5Z_#%LM@6zEi:,V[2ʼ)l3Q<) :x(הҘ8_$ZK4-9zEis:2ppQ&㧃zb9zf+Atn/E4i7Pb+T^fN<qӷWD?c у?M) 5e̘PT6!K*ICBWE9{CtܚKj*_|"#KzSKvFtplAYF8t ,5)LK0}M39'7JԘG˜:B 7m,a-  ^)hpҸg_C^xC2Z^/PBRiqdlOz"/p4mԲlo<榮rqg0JcIly 'P<[ewL{r_ σ(pkղKUYXJ)=Zn7y{J ϠXHw8aԠ %h;)=z>% ~,GQ('ptUBct O?";MKO] ƞ9b-DY{Ō0,'5^G:e04~3ɒ.{Pԋa`/'Uj{#в}c;AkKqjңsf!꣆g|ltM(X9I7Xuڱo&YĬsr*+Ϩ|*.^*30M9c5t|?_ ,MC6Up#bEOA(M Rb6B+!Vy7**rEkg&ɫ5 ?[uȬtP:P;^W1Ig Ъ9#JV@·Us"5L`P"E&y-{X/ b— t MwH%A[ RLmLgD;=&OQx4bƂb1]Hy]ך [.=lhJeH[c'pv·l-ozɗ)k6uYv!:lȊ LA5}HTjJũ-⨼)q+d5S0SrARx+2CPE"A:[ 'lhMiDiۏD9_*qQE#< ?)0=fOh~!ܵ/&!6Ȓ~ݫtcak.xI'$R[asшQxǩ)O? )g)Sף̮7F 'CRxOKL~ d۲/9 dڔ7GW&{MI%T GFGVbT`y2q(VFd(N楐c>9:Ʊ`ߴƳtE(=C*0 IH7=73țn={گA":h|ڮet#pYK=4_W˻+3AB/3i; zܢO-C/G ѯ4N mTd6R|YEzW-%<ԯp鶢rpt?F n^ !!%-QoCHIX7cn㹮i0 "m~XWWM1,Ֆt7>|#fdvbƧ/lݶ!ܐbʷ"ؤ̥8HZ 6C_БQrDvYҊi >m5u |~de5B ;TvEyt [d痀zG[ikYMnlHm[c* m3M?Ф\r/#$LRP=83ӗFȰbE#ջO_ʗ]F9r~mg)mhg(7sʾC` v3331=j"5RU8z# 1y qӝ~~grs2B# Wy]ǝ@M[9L ij$ H4sZMpiiqB7<< =ͽDG61+N<sJT .^Z 7!KܿWK캖pĎ]:=7?~qFP2al,Uh1B\^fPAJ]s9UFskE>#4 940;N"5yzn лߘ\y"$LB|fi[yahԬJpA>⥍͹RI,tG{*"2yv)9pO apQ-'(ᆲ)s@@~N]_!J+j{9X"|lmZx6Ɖ1-rkc!n}* /'P6{\3׻`<#<'7\QjQo&bYJPd8C*mQgS{Run$44Fκ.{,:s_bb&{ag7:K WcMau)х2DZ5xoɿjB=qrƇw)GX.s638LY=b>kư9L@ _IN>zᗵKgqS;8wf:[0\)Ydg:2]#91ر/ax6$%./&1sxMf ;gۃ e8 ڑDVEpFQ8+uV%h%kxt A3zkzX{JA>"ŋNhԆkJQCVM'`sqh lؑ~'Kߺc9KvUA 9AxF׬_צ v8?@n0F0YAEkm.(C|L1BTEvFF|9]F4|??xPUG)[We Q1啒~PlB.ۖ\ԏ]>DgrSX>/`q¢b~5qKpP -mX2&E/ŘY_E'3ǣLOD # 9 B(9F} Ҭ>wp +Jp! +#D|6ai$(uaD r RY\[x#VR.'WČE !^Ԟyɝw:%y*̧׷ DF3ez>穞\\2 v\xyI6d_P?l9nGc7Balq=ZH *&@aD.' g'.t7'\jc;:|MJfiRX۷`ţ#xl=mf]ДnfP黰 5D>"/rԨ|޼uA BUlZ~u[ӓ]x42Ӽqo.V1`==($J-Oo;!/J}ssz(olxNYH\>\Q3zd4[R\I ^b87PLgƤS;O|}\s#4l1S[*[5CH ۩nyw#i~O&xQ@֖Ld֦@_X=yc(oz̛1g2l#DE%L_*_g M䃦CX%?pO+GߟFE/o^mT+J H3ŵ0+e%j:546y`r~.|hߎGq Zy)r^#FcV-@EXo/-`ҭu?ό"8R@73w8B*F~&Zg%Co;#yκV\b#Xrp)@%}aCJT3?{Ns38&pyB& ,hj0pm!MFz `5bXi%t zyc~ &cOzL.7L~jGmɹn ԚxaU=%-K|Δ:ÁXVA=%ʋq ,,lFv˃j'J3 F/t 98 ⠀''%k[g^}mӞpzhG;x33}ܗ9ϕÏUS|ҲKb̮B3xvsx컟3 εEc !Z#؎&%g<}55et 'o!2g#զ;<^4(,AOeZ39 A'2GyzMXI?'bkn #%>ȩ,lR.㾍ǘoweO{>&M@\2@L$3Z~@ar3fKÉ)Uf,!W6ab <ٷ2U)Z uTVxM*eV>8׈q4JrY2 g\+R0cfXH\ [H*lLfSAuO>s}2W_?^' y]]ePtzm+<^_9K..r!ٍSjgԪ5<_=2E?F`!LG2v;XT}8[y;1}y4N/j:H q7:?[7~|//\}^Ze=g?)GB&mv,d :0c MRZGkJ HrzqϚM/m6 QR GGRx *eiv \ `:Kk#77y>.d\V Bu ,]1Bl3ҁ[NYܖʯso TA]m8dDLnB^gD:*Hk2Qqvo/cj{'NB 2G1ԫ{D8orN'V=R9"Uw<ڧ6n@4vv\l$Z;pK"u}8[-@יL?6yv@Ⱨ#®=7E']3Mf((/ߞ>LElr]74Y܏SQV˸At 3@#:*YcOkI}_%}/ΫSRlDέl>V)w}DI) ⍣?g ˆRZDdbGWOwc`ht rp KMQ-@Ojh #_X5=KbVcLcӭ 'cM}YDQCyCË5&/SGj﫢`9J5TD/ d!JXFup Q;q\q7-ʹcW++{[i=Rd5.IC6ܵlWWܢ# I'ގ7: Vd ?gk&@Ua\1x㾛:44x m,=`fa5*:m7WaB+ tMc{0+S˟0U=y^lp<{-r^ײm xӈ0g2z8̲-V*>1 egӅ?᪙Vق&]"_?,ɏn֏|07uyu1{82?(OGn48uV˹ o86Lr7Ux$S $Ȃsh'f#:a#" [YE,w%T0-t̙1Ll%3)ծ<3Цff9!z$_t={O-)^ \39QQ fR8`+WI4[~u;AHIH.ooA 8%A\@˼qlre /rw3ҕGR®e~Q:U"|s8뗶W؂WPUܜhaPc>m0-5SQ"D͆Y Odo!_+;16>X X%/XM)xDMlZH,xH>03g*M|uk8=M~4E172l#)XPؑ`$1G<{zё8NXVK"p A? IVn&+uRwL=QX$Dr#'\Lzz= 3̊`FD g{jOAд ?FU!] īMU}ƍ@ y&L.݌m`Z\X OhW+$Sp>=QX8:bƼ*f~{/ ]N.2NCՎm9)S( h:WO2snc Mu$3Ug9w^EK# ez^ČRB 0&%oUlEx)3 ڞ?_K٩_[ޤ>kC~;OшIpTeOYFUp8$;;Des0ezsEÕN[$Pui\JbC3tf{ G%R8T;sUD]HL1O<3 C>JZ,!9 I+XUIl̐6T,;^{XݔzDmשr50 M ി?+^kvJ `.6=Nyk俢DJ^6Scb -S/wD둡ngDA>yI""l;. KkHӄ/B@NQ5e l[Տ+88%º; AW<#(Ze 6V m$ma&OskMy06dqGNxTa@Nm=zcnA^\9;\+b P,Amd:]C|77=D&S7j_8O~ގF k͛T`rǨ<.U3CJF`u^-W]0]0֜QHįͣi:',K{ YtѦre8 CNc%t+{N5IdԧZU<ҸK1$UENA_`z &acE+;zmb6/9}/=jn˸f=+ U dHbHY_k0ZRњO>\ H8ub@/ B6GD0XUDI H$kvy{ǁ.WHvQ*hYebON9Nzؗ?GQŇX uJ%&m5Է*%xRײc&XlU:k ,Uɻ"`38Sd9]!B sWa\Ų5wj\Qھr4Nnӑ7cs{0.bsv 1canOA#ޚ/^_oJgdhrvkK,{,Qd&&'nTZ:ϸ1!.n㩞*2@[1D )5t6݊xh]|ĕ- doϷRű *ƋψҢ_ QheܨтE"8#4\B<7z,u|7<ycӱ–fm!5FľRӅvAi"AڌΩ|P=+,2&2Tݨ^n#(&ܠÐOarxj=Z͓_F^ď.l4z5"댨GuvӦkO^E:?[$TeBVgla2@MkZUgG4UH\8驶^m֥Y|ƥMWXW_QPGג cAc85zlBK<گ[TA1Θub Klp:JDE[a@q09WG Hd.ijT4Kyx0ЁH@؇MpJH{絵A1ؙ)͛jٽ 6z |?]R#o _A8Kvwbd@^Nt)MiX0Bz 򱚘! #jktOX^T&s{fLq9a4f\4nO(27F›z$?<$kIe.qMAm+Y#dŌjaGɠ`m~VLØڎ:AFwuwT6`f"y;KQ8{] oP UO0S ,P5?xRi8gy+07xZGI7+quqF4f]3E zBrC䔨/`zc< kmE{6Q ar1^l\&*b:C\&|;-Dc4VGs0 ghOOyP͛#1ÝC=iݠrBfL߸4w'{rZ_:if/߽ l2V+ 蟠H3{B!lx f&~CZvMfSDĢ1(X>W de]lyW<~E WBI(ʭ9H).';~@01&O~wi͝aMvqoC.س87鼋fs#TR$K9HazE2mH-c uOIȳ#zw8W֙]+;J_-b^oL8)1䧳)i&Hz€ J\Xy ~WgKQ>$2y XT&:o 3*~vkG)5f 3Eپw\4ޱC*F}oE GA1 }+nD*Lk?%Hpɥ[=eLZy]EfD9몃$-lSw痜AlloN޻䱰o5|m?)^Z/E+r]{p@3BUԏJ^ʵK0W7{k4nZ1 U ѡJyױP9XLI>8J ȃ\}nK3e1-enLTo 5}"L!Cv`:`WT5v,6v}3w (J/GJ,ы:BD^&ei4-W m;Bbr|09أ%'\ȯAm#qo8Щ1Gᴶ! w`P4SFߟϏ@h4UnYWXMYDBYkԧWÑhv~eNEH7<1cxߔQ.9~hT*T"L"&gwV/r0kN-L0~Ag./VOo=}Bh1m]qHhuJAə(vwzy<#-'d-:C1B$"jh8|S 1t2Г hAt3cU{2+ɤ>p[uQYv/'6-ŏõjoiY:XTqp|wLw_GؐL9|_}~oyf%h+S\Xг*amRѬc(ٕvh,.kO^ɒe1q*0(|!*m 7w߼Q,"WHnUo6D[h1e LZ! mWdhzS3P+3qCO3M$8cMnoӬ%δ/d^`;/Nb?0|._A} Cݩ>m g<+3ŜB7+M=)r2 YB`4irfpQ Χ8(Ρ!K]q{yp 5q ӆ@S0sړzFu@Ol5ؗrozhDr:(Cin)TYSpSPCqTu1&ͽCeB6Saq.nb5J2X0RZIXK6:Xx 4 }dǰ[N 2L@_7`W" $r„? &/;tI#Ad$X{FV`mz]~X)O jy;j..}i]" $Vk:a?߄y:Vư$HZxw:CG!l|[WrF4f1f٪[vÏ3jHK,6?zh/)z]^DΊ7/ĤfL ȔDuX[sW-w^aN2VL\*j(Dyl <^Q@IQMccLC39M>`q$8 /{gܢP!ʈ{݅1̐#WѾ6k= ÊR=ŰOjE1m\xMD.w ]Ò<:9B9T}e*kd8%G"7h̖\d' js.Zrd@9#*{@nFjއfȁUv 4'u NAˤqN=:R?Nk'|BmUbIκMdXMUe~zeH1,GiXI_ ^]d`ɾb8حlJ.DjƬY! ^{&1b'| TQ؄!Ċ,:+1i ;JEϪ@|̀ؤ2kHVk <>:JJ`P9/URd; i0Y'y1,*TMR4?IˣC,-@v7+PYZY󱆭:2Y!F|..wym(r#jά}nT~X.wU_uB1Y@!+D_G$77D; f; j?}ୱi^;~J~PdO!|K&=Ky"!$q-8>+ +ZYFJiG22k8@O*jwQqHYLqn$d9 U3롆t}SOM˸y6UyR.cǽue}yj9&إ & >m!o.5.I\y)Sp\j+R8/bTvN2RsWٶ1f O/N&1"ήqMx9ۅwoȂzaJڈ3nL03]+k0¶_IFbl[)EǤ#6~>Bf ubN'B$U~ \x k*zQE#}TbhPg S<-țsYN(ɄX&PDmæx 0\Bs(ڌ#3AFZS>$߸5lsBG;1V|e]8=rѣ/ęrlQL#k߲9U2y+3Ѿ[&QqR%5)>FesS pŏ8A2Fbn]y>-cjwpfSRτٿt>ѻ6QSz&DS;#fhW4Dp0-.\֠wGf,J1xbz<1wx:+S#t1b3 nxi†Ci ̤ 86.dPʌ1*pֲ,K ^G=DPA &;^dlM,Ȇh-(\)0}fhS[F2>E57wIҦFv'*~FxJ,41EQ\S(jq3ݎl/R4g.9>NENu|#U;+8o?'\rW1HӃd%^rWY%Pxn+l0NrsC9=˪UsBQ:n6#L Xl_hOo >_Ca.{%JZJDwRb=.] Cy/ Th+%4&}>p&B ¦_N0hd݁o ́2Fx F[0}~|Ϫi 6. =Uf6TXgez ӗ'\ͮm::CܳpsY~ gfeHO_ybœlMJ ɷ/#6 #UФ ̑2m UwD=Z7XA&_:[F]M5ea޲B=ft۸V%M~KU6{ ַ&SIwɲTǡG;eXќo+-x(_bɧK1 :KDC:[ffQ#p$6yQ}އ6]E;de`!Mڔ*E}Po $S`xNo躗t(#$;_k' G.+(hxL!Z4,kB-Kz؂#A\If׵usVKa]vfGEwD'Fej ]kg3@xHoNI; ?5Doꏃ͊U 1[u>a`"(mO5;(7WaJ7NBK|'O;& "HWR"ۡ3jJ>ua.6م6vn?^%sT c,s۫}-Ys(H#锯ޗR>)!ڝk|21)`xZcpu'੃u1\mqd9EԺ<Q߫Og/ DÈ.* 4eHsbf]F&( G Ω?Rq$i8}1Z9K ae 5E!!#={Zũ~뚔'd#&4%`%.1:QIn!wQo/j#癍H4)$[ ngm`T\3O0z[Cˆڢ)漷ߞ}H8%9坢*I>rBF V=QZ{I飔I¹S$ͨgYZ7zXZִF! J]ŗXiɟ1S:JI 5i;\ŮIQrE񣕚Ш caOH"ʶ}4L9LUT>2F}.tEw}1ZV, )Sĝ4#Av)yn2VHo"$Q%Gz]mN=%4! H0N9"-?Zd=J#gYs{+Lbt(>qU.ü]أmY68E6i: X.?ļLyTCzT?F40MsăezEk@MڴCZyw ]x=F'|'[:aC^3U*1=T&S%k?ٱ 9\GE)[(%]6lw‰M>?@uTM4שӾQ8JlQh?}~21;hD#i/E)`G+܈""mmR࿐'_2)d4$]/SZh #ϘWTh/qhX1 M0c~GUFҩOLxٟ|#=)kDŽ8>K1!,FL֠}zxIarIKUChy#CJʪd%/2 qKW@ɔb:T,i\Vn T bdue<B6&̳WLA{CS'EY|yuX" \y;@(H$Ҍ{ ADBf ]oGB nJ͸z_ts9R^,mefwu#(v}B͐ vܨJ$Р3GЫςOmZ@C[`ܗ(AsU6*sqx ~ʝ+pJF /Iۦ\n#0 qhiGF>,BucŖs3aT|$&OI"+[op _@uȶ)JU, S7׎'h F|~ 2\Բ4C 0WPǙVYjB4Ē}Ef`VP#e]L!M< 0`y&iLv@+~)f)ˀ"WYhi\A#|>Ί7`t>(-JxTp~) sWJh;mc@Scs,UeesOp^2}pa+x}&pG/+_ .$.B(w}:P%*;U&s=70⦺% }ΔoWjۄS|?l|d{+KƖ(ޛE#Lt1}ֳUA$fz.;?"d8wl=Pne0:7!WӠ~΋VxdT< cor=d,)Hrk0 ]c1h%̊@yB$zP*29$J([y0%r זpM.\Dr4,^"fJ[k+ _3z˲eɠ*n'T F @H,4b5@`=_֭2چxd܏:qNbnq&E#ѾSCDۦ^m.!_yv'Vna*`/yQ6 ~J Y0Vʀ^ YIs8WK"z2xѣL>Ex~;)HD#x?St&XtxEK12G>.=k.sx*xC䖈Zkѣ"'*Ţٲ{-u}G YߔxVp nbdfڔ@'\${!U\CZ&h ;IXǩC7RnLf}wd< LjT\j<_%~&Pߩaskמ^Oc>|7|;r_%.})ꗕwd 8JI\ӴNΟS!I;bte\ZvBl 9T Ab ^CI 4ĸeZh+^[j Z9<ޜ|+wqc}l"(pm ]S3aAC )iWB^JX|";5w2@=~HXUe T'rV=5U6TwTAƘT}% jK%Zg :# :PwU ,*]?P̙QoV9wBI5u[2D)'![ 4XadFKw9K qnPh2^8Ok|6jlܦ^,ޛV{ Ac}`^AQ1ka0<* Nq:n7N/[78U'[ ʀ.Cς*e"0Ch?j>/ C8y7tl -+Mtv?s*{샄NVQi<;!\FFYp#8iYQlNmOh_Fc*gXkyިNҋ=OK_爻D"Ӏ'W(.N^FD:rZg߀~rR1?prե!rJ,:|{Rmz'!`4Δ nC!!BO Qp2XnjZj٠(= O1eKJŌibY`7.1ZrtucN1͵ZN7@蚟.H:Aqr͓_FٱA+J+Eudt N.θNńf6HPdaGPg@>"Oޔ,z#߱"d+M7w8hxUwc)Rg.H,Wng҄oPpMn&f2ow?@T|,W,v\f (O%`y 3 dkj.A<N/Ơ[w!9hR^UJQS˞S&Zޅ)7oN (u&upFJ&$A0V56?}y>epd(a[lVCi ioآ{R^˾9 Y7!l?a{ gSqU=~~'96BwBWрNG_+MaV5 j!$1o=eL<1[X<$uj]%dgMԕl Edvx],"m~ZWӳ.u7UJQooƈI$I{b]>Y:[~l"LgU_rOWoy C\{ }M£tZXҺ#Ǚ0vL 5 A<iF,jz @x`">f㓪#^exDOz[6y j_J+#W`lu.l',HHħ)+,(BnH^|">)iatas@c@aN{ZZaZHg@SH?gnڅRB*6]y E>y1pys`;qOz렭<)])F\M$bpFyl힡obp ʒj ;O1xD gkAN*Mѯ,*־'~/ bf51'՛j$9@k4FOQ;q<#Vs 6ഘ&zxfuʶndGr&oJo DK~Ӿe"Mg.t+"kvS1dZTϔwng_#*/ "PT,\ë<_Gz`)gt[*oRM JY J *B? Hᡌ6ӱ֠w}g.?1i@. BKSU]_1Ibnhj*RF0S`UdL\ 1v )GmWbH}8ZcHq"dZRջ-{ot c!V kZ TH7NV4Tg "ěHABj,VxwmWU;g\v7w!-){E {:^=6Y*u{"gz ʤt'4x%:Ζ9ѵ3C^O?l7[+^P^30T`v-2gYZ89c60c16e9a53cbb1b9a03e0decf24c0bf3a39673a09df081446ee0ffc18a782a60162435ff26569 f98620677fe586b256f76996ab9fb926732156c9