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 *1\,4 ]/ HOL-Hoare_Parallel:threads=6elapsed=63.850cpu=337.884gc=7.084factor=5.297zXZִF! J(]ŗXiɟH)0%o\}HYM9m_LTASۻ33}3{X v޻ TwZ01BHH!'3\ig{^[fnK9Kd{լ yKɝh/F!Us`DpnB(iU:6Xoj!@H%I/ Nh=)`"Qpkކ,!,:߿Z8cPWQ"Y_M0 8T祲qd.>_^A57TJɷHyXCCSƏ}ʶ1xg&CoO$wDKOg]?[eH [H;8I}O-^}PU.eӿV#tXrXOH'$ 4)r OX= K?Ov"fnLyV+8 *9yN(DLX.{}6(UN0ںj>; b%r%0A 2Dy۶ xr<8O<@\52EE߈ȑ5Tz )q1vR) )gH`S9>,V" F[`7̳.G6'9ҧWſRPՑ5VhM'[rX%;4^O "+5C 'Y}<; =ݝ#H$w 9Dbo6];*{GLo1'DP4Ɓ_Y [˦[_ʤH?Ydvym-u(2LJz_q/8.!R,Mw^H389(k`]SO1a p:@){ b5ÿΊcWZTAjE Գ!mj-@2?;{),I.{?:\6pV3 Z$I}*|h1Cۯua{#}=-j+;t8(iU O3=ceky" ьp`Gx ̍r;h>Rmvd*By:3L ; KIoGq}eSNv(cu'.CG~PDυeq(-;3m_Pi `jTus!ȴxBۃd2oQ1XC'vI Uqp0eFTbu)!>Q#j*_ˎRLϊ3FUDvR>_ӷM=$I 5)ˡI/n{" lh_LghHMFHXWhe|s}(գ#o5x`>ﻭV5dWJo7ka{ j\DFuǧv##`|a_?wv˽ ᝥfl܏w"h<B&[XBY;hgDȧDaA ʒbo!-mJ@!,BXt䒮T>n;/{uL~iVʕ {:x,Y~ZKH#2zG9g^< g 1 HOL-Hoare_Parallel  aGC\ `U>*F;>ȊNS 36 J5i=T9"u=Nzu=M4ny] ϖKE@UUgwլ" TK"i ܛ:}̜;DvR./:Ԣe#:R d{,KK8ÿlK(|A;L"B p(Rߕ\:ДlGBe/h \)mhvMnq?RlrkҵSؿFX!@:{<.@[pm5L K,j,{8%BoGa HxZ!#ĜB U}JjNKU,*3>"aceJ5}M*\< Q+ċSI[2}Ñ*Һ9|n_L$\E=!4}8ڷNr]rBDIu:րW\xa[{syo%vhmfY1?3!փyy':6"0/ݺUw$:mݖAbϐWkD%q{xЬ'+QnV+ً?[msâ2^7-u:jrsJC *ҦtsD57G>U40e(R}$?>eH %ܬUgY -]N's&ErͭL|, jzVqWԽftCQi GFUJoĶI<]Z (d =)]31NOrxrԖv@>o`ZS ;R6T;8Óa㪚6llћ~ j @q#MkHl2;>;J bLJ56 `qŋ"ZtZmrXTKe|*19OF׎ˬ?z^<"f;ha&(HD4̉5& C-kt`eNJ4tm(wI@vɞ8k!C9ऒ ) @=9\ ȭf,$ "1Ce Zd3?ƛƩD8=;Ǭ:D}|ϰ'3$˹TRrXEtݡtf8D燔ݙ=dLc^/3һ5 y>zLJ!`}#[unTaP 0ʏ F3y r4 .wD\_mdԕ \ɳ!dR׺$ܣM0v vl\7Т ^rns?d,*| AP?)Oԃ*[Ix< QQap>.dAjH]ڱɾ`QKp8Ct֌rM,fa!kn ҦE>;&d)FY}~{'R9;Hmy֘ΊV$K)()LSR<Ö!x,9pıwZfw\G ʢ濧#hlWDpX.%rm&%R3,T{f_AmE6cl53q9Ӹ0DL°0sf"0S@1Y  sR;߅UC)e&*oH{ Ţgn.َ[Z} Vѕe=F<#Aa4{kΰ*m!ۃ&J vX֠B<"Ng09l(EVs_R Aˊ>.>! 7>8NY.V`@"%`V[]39Ͻ< ,PU ^n61/D^=HŹA.6a85 %8i'!`I@T$N#/:,SY6%Y7W'/ Ld-ѓB;n{'A;Ϲ r@y|@; 'j2O Quz ɱĺch*hj_`MGAsn CWNT 9 C"1zFd e,^jϵʔYbn;BjLGV?GHEv^!F gjF`zk+!ys5x|o$0Pdꟛ'r5l$ft0LxKrBNXA,,9FS'FX8Oء `l>s>(*Gl3.?`t>HhC/Rtr5ttu=Zɓ; ,,x\кNNT(e8&d| ( =ĊKKt#sjtxKNG1lIX0}P_ H3B`[Q1 ;BzT3Qʩ EnP?l lE] /p{K0NGZK@#Fk:]tq-\uUF58hKd?$wqE.^Yx]C]znАn{YS{0l8~%;.r8` w[d̎ƠbH-*ulAD5RԀΉ5w 8;Z_-Y*HD6;xHmLkU# ;G)Q?A}& uEGL6ޝ=j=UHF5(wŎ8>0 :u"bzZY\yࡆN UeF9 5ʅaBA%5~$1w3<[5; R2_ f~:K$s؋JGi>*>'u'F;t5;)HꙩCiRh9Ygř_Jl*C ) V6@GUES;#Ǥ2##A7Wc 7&ف6MЋe1}\79̩ G4T4yLҽLKp2)Ք V$i9o(xK]s8y*+ )V56Z ogާEM:Q*7@db- ͭ%ly4)LExe Z1FhZ"rDtDIpNDا3F-%껉ICU)yh)9*/^-mI| +nie 4 fj]DiՃi9NwUݼ@.ȋ@` !n#*?ՙV ,=f Q9-(\ؕ*٪VK 8x&fc#wboSjcrF||-pd)[㫒2_I&IBq&"H[A0MGʎ+ax2kgs[1R0-۟랍3_F2#^Yg1v5&|'lťҵ}Y:2_8ˆX&e4cDngz{6v~vk95hz0g֖kGscyUs 93: :e 8+66sLʴ%{կ c$t K#F֗*y4XO%E^G|tO., E\8cȜjT)|`Ӷ 9 [y# ߃CPCk@/+7"Dq:P_퓏/t*dzn6azy);ߞyɏ 9-f &,8b@)W}fPcO5yo\J̰$\]"wi> p<(4R'NV|b`hn"\AC'& \M6R!r)53v8F5O8<:xYrCQ x,gt$D 8V~:f>ЇiES23ʇ6V,v8'Ei1Gz8=a2dd<3 ĻDY X$Ii؎lFbwZyfc,8 qlXJV21HmwHٖ>/Zg#|Z5v&g@}]歗b.sx'Mh.@ XD\4|ְtq9=icbx]nE^쿶MO>ʅUR,Τ#Ӡ1MBo}$(8Α#)K} !6gPX@uJwVdpL WBqH{7NւCH-%F&3SǾn.5m}vz4Ǽ_gٜS993شC1ֿ)%Dŧ ۋ$ ~MXh9eM&qag͢{ bL& Z L|#=BֻQ/DTOc8q\C2"pR/3*d1:,#Qw6ek;Rd0٣z G2;P ݄(gcmoo~)6?r;2Uw:geӑ|I~x6{6s8_,,WAHSR])_E Em"<˚7￙1u@'f>s3j4qC q,E/B $%J`^(-s]|&l{ξ"[19R1C5U{p T⺞-mzvx=.sU^eedb*i0Q' ͤ=pyjC@AEN "mu0p}k#a`nWh .uƒ|ntNH|ÉsX| V@k*C՚2+:$}"#s*-BݞmWu6B04O>Kj2LPsǚC9-&`P6 oyˮ^MeJ1vjIWPf𸩼V:mJw >/{1V|YLvzZx ø,xv4f4&74ľRSWZL8e"5c %& f/iB <]35j%_|C Zh+&c-LPqt}*/tݮʂlXxzm#,3qp6kVPJI.`XF */D=y0Gh6$ =r .YP)E2D4=f )dfF|g?o V/@{t,!~C+b~&>곍2_,j; Huh$/'Yv'&SbP)ov:cuRG%/hBm\:2#eJ>7/g_3^D"jך 2i^j4ܿu">h¿fpxYd܈Y+M =}cOMa@)Ӡɀr'M KYɠb#̛zp8Wwo5Rz"_+u/,= A݂6*](V'KZ8Q4T##~<1i $җg-zꍖ$`o㕁Ub' ⡭m"T{@H.:"d`3-YxXC4scl|@AS#u?zkB%͝ޑ[Fi }mOf~0ih!I3$`M΢A;kj_tdh!ś, D뮕i{˴k&]͘;}%5G-*"qf{=1%oAs|]ke,6m2w،#|2":9ɐ킐M+ JؽeHyd6h5;)&ʽF}el', i;^_0:m:&Ę[˜L#0i_ܣ|j=Rw/#'W܏K WV GɈ fj M<gT6f& 5h Gu8^&ƘlzS:R-&˔R$?fP:*D)E$Z91 Yh.UAjkd7! oډ`<.ٚd`T{z'aLt#:Cvv$:b4XX^-v%EԚ<ʡp1yCѶULzh`nz^h15g\ Pf{6)yn[UXM@ FKح}pvuŕvV/Jl@! C2T?AȤGI * YrBb&UN4{jZ |##i 9!h͞/YroҼ^j?hRZPP2ٲgn tqKzM +fwc4 K'f2uIYY |ּ䠋v:5PmN~vJ߅=ʬzgH$AT%_9NJ;t0` N 11s_lmW^W}uDzm@ҙD\GrHͪ{A{@6/c2aFқM_AsxQ2'nIphWCz|p|ݫ6u= ho/c4P:Abt]>"'@4o֮n5ҵϋWDy`>O%'b?{āj$WѥJ~w)^8)wIuBi3J3eJo_҅?10%V -~%[HLHڕkIKJSA*{c+MgXcq-,bQtk&]xI嶷)|PA|зZMEOXI׸HJT\?'.* "\覴 j5vDBy1"^ ,OĦ5M{?;F_RLa ~x7w3Ǹ`4'9̋ v;e_ڑE^SWY%aB;[bQ|Ҡ'i¢cw>""914iIq PbxM=ʅ SV)i3pum8OKx{;@rVd6 %΀%F3oc:1(4gqjܫ #æ?K!_KX;F(D+Š4α}l7rFfJD y@0o0g![XoGƇo_.em^ aCRAW+6^ 1σr"(+c3*='*6`b]\Ѫ1;HN@o0?vl!k@t8 4FGAG+ Rydz2`[ldvX~c `t`- {&P]ľȎ-qDl @L5n'g 3Sծ͟_YJRsfo&6Oqä"s;s!L = )U"u"̰Xmđ`E=`i=P!\_7K#zr7O m4Y9 2?}x?˲7`;uKCbq l EQmoQQ^&WB~ s똚^|spIYnL%܎OxP[*J$޼.dp]G!v:{(>9:~1: vw;W*9|jֺ֒S2`Kw:7-#5QyΨ&rGP/H"oKS1šhf*H8'5{40b(&m(ˊb) 1j(/)cǕp޾'WlDnUw? ֪A;.GHh]<J3$}6wX#ڐoC9445Wm92G[~yPxsSiؖFu:b1U=To%*}#,G.Jsyn_ &\P껥~NWC-\N+ǃSApԂH1{ߒLw6! l^6mG8#Kք %o*m-庇j{'TӺ!!3HM=v+,l1~tX{jT Ì 2PpxTo)hzqbeڝJ9}ĴSK]ΙK$S7n^g(A Y<Y@{9yA|,7k3 JN>m{3OU݌bD)F@*ϧM nDzc2bJFG OBmMܹ\gl8@[B8"]\<#fs:ko%ɝ%ĺYx,n6G%k5*ِ)6@ӂCs_KQe$W]עoԃ|0 }B9`}rډs:;A\cICۋ6DR۝L~tYsfa0i@lp)CmidΣSK $K[ZMݞl ʺ5]j~Au/Y<)]T$AIw63WkyIܒ`LM:d-J R}#UX I{-"iyHUr_|g&ݞ0K$r֕*@핬R?iA`b$vuG! v#&5}[(ߎ(^Ƌ74;eF?^XI D dTss $R"=4TB͐5@􉮤$QҦ߉])8Տt],7ĈVJbb-{*9HQZx)ZH CNJU1E>L1أwK70~ zs"[>𚾑MTj`WaHG ֎77PeO?qS ][pÍѷD%"[J/yVj/8 L&}peƏl. pTlWGuњ|"x^s ĊTZd4#B{?6z&6*:̈Brrxو S$kޓN@F$%S^[h =j'*ӴgY)xr2LoSvhR3QσG~ b}Z>g´[}NYq3Wݙ4nSP1NruVd"Q`cE}Ɣ;Ɓ8+յz[KI c2KnmI*tشEX1zFEw>8GW[VGAl$Eqc% z;G /E3“ɾ8qk՗>OVj+*WXfKuBDpR[DC/fFT o/ԞOH Izy5Jpȉ4RL`Е>9\62Qu*o Qq,Hbeݐ`Y$C7E ?RpZܙ,[wzya<(mGSt:פ^>T椥uDR fջ'Tu4>w:?oi&(zU!R,* cˍc:VtC&TZf6prMumC 0S;Iu:pз4Kph>3^fbM:R?[Q̲}Цcˑd @_gf967!vl0խ Mq^zǰPG,fgO($f$u(lqOw!*aRpaF&42%v5GZG4ӭ4OVt CZ[eKF}.I[8G:*59 @DsᤚIe]K?r%]_jX6,kA5lʏƉ[Xd5Twx9-[= 4Ty,߮EnNmQ=<%JF7ֈUt_=rD=MGNbtaiwoSvVydYU+%Ц(r}}y,2Z@=[a3Aε%=Ux}`fPi͇G;{9pIFVSɶo1XV-w"}d~ZSK}#.mh:!Adg#`eK)x=).S*,q#YWMm/vsM[IXw\ &ϖњm*ooVْbd+h6Ϙj Mf)Q\ȒάȿBKTǯc?^$Rt!;8O7=!fD熐d]!QQ|#@G^C5Xl@iwיCO_j6,q##*MRչU0 oyU W_Є3JFcn/}h,Ŏn11s9 k.OVj 8gh tĞHQ/}/NT4 t.ڢ w ]^C;Y"it{O*3.+;(*,JE8@I5I.د?"7.mE#*.TOV_[lg9-X9R8*AHE8gk(\G~+kȝr=G; Pb3Z$\3 {!R:1aB R\I scuuޱPkEzxafZ=} k`}OD `кb-c4~/q|:*H' œ]Tʄ~ʁņ-0z"9$~;_Gx\jey" gЎDM8M-Ma}Z@tELYA#JS-7uʉ#Cqj ׎8IOTm(,MJRrL?E(WtL Qڝ(BϠ4j!=6u) ۭU+W̩ ,ZicD\Ϭϧk,&Jew|n'wZq;>, aɽz9iXLe^m7>Ar7k(rƙ.ϣ)gO$Yr5Ow˭gQGJVpC:9C^Lag؅=HfckM֓IaZx)`(p<`ݍ, LNƿF)Ka{:QҺsQx-b"NѐiN(+=}ٽ TG0P( HoER#mG. dI\ 2>In7ɬДώ[hnZx{Y?%Umdt`Il|%zRb4-m1͍S8O0\{ h@N}8qG5i'{}Q@{_SϢP8^s)vtQ =D76U,ױ=p^(ߦҥ#Zb Ժ}QZ%pYy}q6362U2u1D:4NQ6tNw'ٸ[NHqP\k?@⮍g ڏ$ʌj]N:ͬ /y%+̀)4&䴇X[t],COܰ]J`)P{aߍFF}jn!]U%o,ύ \/m*4O,06DAeVHV˷E˧.MYdFlgP&ϡY/@);٥PC ,.@EŬH'xn2M|6 _x0S$ ohfGz-Ul E@P@3G%-?.ר./&&K\.؀`cœ`_* VH`T{j I%g=낎N;:$B^e e}۸U8Ȭf+1>6J|Lդs֜@H6_kwpQ~˦w"7 o{<@ͽ1dDp/S }Hy*,C<&9[wC;KB{ap 2<7 ëm1ջRGEZ'uo.Pu}'ds@:r  ^!5/@q|xK x 0 LPWouK@tj T-: D2?e$m?w22$ͷ&K/ŬJϼ5/XO.ѐRU>@m,=N2aXeLОibQs05:'v͏po{K,N];Ld'Ba.Z$IU"7MOm :WeƇh0ٔ]o&"%k\@7\v$4\RN>!n+;l"|*bBjO}WKIw@Tlx(|KWuo/ KHn;mmU RC_C[pͭti[-eayXChgR*eRs<> 2WW齔;5"E\30k%2iN-IGh'dpd|?|Li5+C0?9WTE_n>4? R3G{8)78/L%*M/2sl_܁j(3N՞&(.F޻Ǭ"Nj3'*|Kxj+Q'^ȸT|,&8<~e[RZ8s=VrzXrvт£g'D$6ADEy`,Uŝ@QV۠9bnˍir9 L‹NaGFSBd*3G%t"ȁ>9h@X%;9u8gSpn)\HHS坶fHHd=.5 v6<@u@+$D0 욊6\GlzƎ.ʹ,CXfEN8@BCmK4Q>=n\R L?G)=#8tBuهfA)r3P' t`}ηWfc+??$ G7%h=.7 } \zl򌴠Nw%zCKe8b2=b<&zUPN1c|;nƤެ#?;>>Nd]E>_e. 2BcvKC'AO[KS}ӝD@Q*U,^_zCL?qP_MK91 .tbL-$cHwJz-('g໖`_qc_2&t_yӴc.^H}b- M"2#ѧ}-[tⷤ`j4^mè <GҮ%!,*N "&6 xұ/ R1(A"N*Z:ú[v'V7`]8-YY!\1%= DZ)UdÜ`ц*qeNmwh_+mjwSz[`Gyс'GǩQ4(  -z$9׎G!>\TG[-B9ms}DYl9UNFWc7;=yZ̑C{9 ˪AiP_>\:u>yb64̣SC佒SD xmEٮrX3HȖdoupfM}4{ Ga>lR㟘4"_ܯpA;TA{d2rH. p"IWs!)N2Ln%pA+!,kyN$/*ņ M^"ri凡/L-IuY#/2xZ ^P)p;8L]"NlG/" 9seQb+X6n;_<NO?Y1x)B#屡C|cp} ŷv৅cȰi32#F#͚N0D?Dx_f@^WMu6~ي|-j7{p~c#xۊCFe\!YQ1(y#//aqƥe- {1nȴ>TkqDŽ&YLTkزdJ(_?(AdƋU&v~VNDŽuv*G+(|^vȚ"l,$@ *Z.1xX%Y9l/t+*jFbܧܟّX#ZBB7hWZxQft+9ت` 15O NzC;8jUa), W4DSG+d:RCtu8i&%>jT6^.;';Y7-D_Ͼ+߆ ]7Zg&iZ6J}^4An /E!gCuuk /F_PKDj#=*&x57/k;ݣ약i0M:m;#]eD;;OO(8#Bߧ6ojڔq{-'&ר-FxXEwyF,]Q-,wcn&"e%Dσ=#Tm9NF'p־iF^!{t_#ڙ)b35#Z#wA7ʞ M`<; `± ).;$tAd/ @I# =Q.I"2-oZ7 +Y&QG#+sL0do HhyKf rR8cOG7DKZʊ+Ará@Qg;b/OWD3|ɓ+8,枾PowD`6އ lkǵeO$Lm.YlΜ.arqRDTaRL,L%\YgBS)+G˪GJa wy_[h̅4gaOi]iXw\7ۢ+ ~( I,గX +LE-bkJZu 8Z5rB~#UpC6v!Х-ѹMp/g<_9鷳 gstoLشj"PˁeZ,^nKTmXst1+H-&5G~!#]"Qf&DLH6K4dFGƶ 5KFV;ݿ޺kfB{DJOfM(~c蠎MTUBp7[S.K=#^6u7CM Esy&d.;جKŐ浇0_2>2M¨,(P[C4/1jpWmŹVxG}žќ:Ìf hc Fp[{6ao*Eh3| ,MppVpkY3#୆*ycEz]@&rbg|_weDY^W÷C4C썷 PpaX WWB˃.μjٹa`Co;yO<

Q\|Z\AXc{LWܪ?@-hpWYo56ԆiΩ8e{p!l kAm@K ,E%>f 9˪8%5>: ̩'+luEwi`'9k2d5Ui=}ga .Xpåg~q6ơV^l~?m:ŧI-2`F Zb(ꫦ -p]EBS␀{3yF=Bh?⎃F& j᮴YeVߙvFݩG3UbYkRf pD@ ?lSKB9p%KT;ɷ5N# bsx,pI[Lz`YA*~5$_cx2CDB KߣZC pPvQ)gH~r~w&foZKI)SqsKU^Oc>dp nBW\@lG^f6hYgX+3c6g*[I7hۂ5NSr2Om`\#/5J}\+2҉! ~Ph?DP4[֋jG}v5wJ5r츕5)6YYvV<|7-IkQg[!wu:2xPz`!@޵Z)]{Ak/La@N] *%izp߀[mJY}a+57캮p<\RkYOrHWj8ߔCc\'mX'iFY3kVĴ٫%ϡz|YxWAَ>IIdq"nDw`eF;Vc VFTCvYn3=r63?Yu̶XM!7G}9hVuQf/'5P(HoV: ޥf 页@ "xϚέg aB +4:#f`K(3by[o~ 4EuX8fw[rCaAB/Ȩ15Ej^7ȘE6J-c9aFn sh}8TJ˗18_:%3y&#-W-9$^Mt"A9lê'EH $j J#J8.pY:S@_QL?l=CܛJKԊՂd`Zbː`Nh7XTB.c҂CEjӖ5ndy?3stP9_/0|F/X'6rCkhL/:褵a]YXȒ<@4x9W^,JJ1YA/?,VY 7݁?L3X؝}RXk`ykN=^n@5sIИs]ut=,J:~I!AdRe˭nAJ=?Pҳr#60J]OZr;(E@ v0,C(E}C4+g ߩR+qf璎9zp2n/ȗ ~Ksɾ+7<+q\˭ق7襽x>1"~C{ skU os 8awz̩* NϞGH `=ʜ3&NP[ljLoz! e;;;(7FDU$!}_\co!}ر61vI2ޢeb_ xV@EV%e:e>>ڧ|ӭ}xe I5p'Ѻ3Ȟbn=)Bpݛ j6U?@O)r RgO|hI"G/‡gp< q$h~y]iRxQ! %_HOъͅh3sj77lB~}_ @:\T3u һnRTҧþq(O4~-o֕;A [%(N1`d"a> Tb3 RR.#GnN4(D;Hd(RY| U1r~N59ܖ޷.ҽ klݾX ݕt6i.gN#Z[HMGbFObV8 8 !ek֫Pk[mOD5WM±xSOx2jC-R+YAB;GY I̭JvqQpr}ru0^!;иŋx+b0X(95W/)=A)9,^vrr`d}!o:!"JݑjWoє ꮐk u^li25JY oL=WMrHTLLZ!6Lgkb A.uoA4n ]( *##j/:9 o˥_^EvN[j)`ťō&/E+G6`8a,H[VA-%![r<s$y~/($2rrMzk{wD3sOG7/'ř{}ك*ڋ=9Q&V_ܫՓc+Neqo0!A.<σ2TD:%ǣCODԣ_) ^'<OfΦ}&uquϧ[+2Nu]p ށ57Gۖ ]eX[Vߨ~ ,X fJX&.u`8V.74_l`ٶɾ(GV(\ AɎqy#+ =|sVLψZ_RC̡P:7G[$krJ s*Q8_ }@YKOySJ*$ ߍ#ܿGY<3$tu~`ĪCh~R%DUde>﹒ &A3T}Fr~n9#RS0* X2Q0dՔE'7="}{r: oZ~ &yMΠs镚UBI9dTec5'f`ΞIaʡyBZ
 5C4k&w.y1hnBL .㟦 \>^S[bn>e_`yJ!axUE}q,I<aHy*ӡ/#\|x C%%y,̓!oq i;wh#EP.y'ۙ3=a"?HTKwOi0`l UڟPuNM9&ƛ'*T-jZYŞ2.l3 i"ZyH̜{`\Qފ"=S 3D'R7M%9\|x/[f" yT,nf-k+Pv曜R){m?LR/C9XmCz\HZ; Iަ"h*O8YƨqB_R'ڣTst ho݈ ^g~la6Hאu;)\>۟M5".`@^-[,n\N xl_Ԙu4~yYt3?Ӹv ܤ9ԇJVH ZJ.8~ԫ* ˽\@¸k>u)BIC.-ZjƊԊlڼ$D0~A^y{$0BEL- *]Z]&6 34&{qa5L:ɫ No|%M.e-!.vd&WXOB#h4fm/q|/E| d||4?W_vW2FjO;*cU9,)ۢtk\DkT]Kq:@vLkyG' b8ho*bt(Ǖ~-My cbdGW|=KlС(l<1>ON*5Ӓ:Wn( :Ҳ{G+0@E)ft7w<6-#t!ڜ'Ln5j}J3s\ѷ*&BkIT7vY;(TLL ?X"Aj WwK xѤ̅Y8zմ>۽<4d~v1se}p i\ _7uLI'HVnL`790=iNxZ@e[h`Ζgd^mˬX261{GQ7 JXMr[uvNaS=<7Y@#ӻ'PѪfQV[dd_p+آLQu|@T,n(ٙO^'XPAa6 lI >#CN3?gf^~R:g;  iQΒ9t`ubŐy#3qױl$Xc5>GC t g|c9Ofe_R .4C=1HqGaF0}R,~xwKmȢp+/3O&T֣t˨Mfk,e.j $(*̯P73|ek0buG$K~Q[">l]`jp}?Z' q$ -+ Ŕ;<j]G89S4M̘`*!9+:uIx*6 t,*CL x <h Nnۢ:gjOِ ;j&/$-02i.]W:WYYQ` X}J}!5kźH5u,W1ҏL08a"QDOkYZ↿$ڨd~^ (rO*Plrڣʿ_3ukKl.WV3*z$a n xҁQfzbRF,coΚd2rk3)xu&ȌM9{@þPsBEgwE1\|),ɚhaF2pqGr@wʮx[>+rx~rP t3~ ҏ9- rR xQRJj4F2r'"fu6Wq±c^?'X@ZD7T~8]U#@Ie&q/Lx\z?V`>we$i_/pߒxRӳ^Aܫ޶0ȸ ʒ,B5R\THP/ m#6?-ai偉h4RX]w+rSꎜ|Mә׭)­({SR]P [Tl*A?' ryy+^u_|e`3#$=z_KAWSr`Hc{(W #(tz͜'|[~-v'@84cSvǡyX"j.|ҕ..t6x5B#-Ea16&Q6e1Tbe2~ð+(@*aYb^z4̆& qMFfdsX'V\9rt`c%C8_[cwӦe'P~8@Cj2byJGV ?F޸j '}VV4+M5FD2DLl%D4|_%)]rh(Ԕ^d#̆/QL/[95Oi{U&!FpKnuC~`'բAwmb q>^w+/FZp_5Z=EC^SU(B%tz(/:{+VxԳ&П?Bn U%'/ # PL syB1CO8~BөD{Tж$2NÈ)HPo(rתݲüB_C 6Qtd^kRB *HpE,8V''^:(Z#fzKdQm&}`@{ [[.C3^2H߹C!i;i,(Pjsa~yA'0XWYW . ɽӁP׽٫]4PHcl4-TavY 2 h2e"R$a>,+ 2MC[bJFq)/I`f[4 )UH E\܊q{oХi4 tvY!h>F=<ӟܨ'z@V5sdJa8tjS UniC  .[׼aOj|&X|vDGV#*z0z/fAŢ|L_h;|T`n8oB΅0m'-Q,!c.[Yc5%a4;~NwpY ]1_hM,2hD|&.No M"3Z5e%8irKR:1G߶<&2 pZ"4ͲM2:h(G5ź%ZX+P6CYMyߖ6a/&ׯ:Om^5l% o"s#hVuJKiޜ$T`MڰVY$]ť{EV{.Ƚ$6qx%qYQGP妀JP*gs\gmy\;[-3 d΄Pwt(g"[K')%q2L}RG#LN6G {p5~Qy1g z$kRC5EOq bȓL y_pR>gjgJ+,Tr5o1Te}pb|M9ѡs fC1+c\'$hbe,Qp)i<[J k);"8p9,CF{$jg#$+Aˮu0)üfM!@4[sɥiqH?32(h쎻ݚ%kmCX|MA@ >~#6`VR3wĭ1v#DFŠOE΅PJ%[9ˇRw`y )}n-CYk7]y Ar_>-FAMnh/~52P_Nq*>4ꌙ;gs=]\,j/+%= 73FWϪyJ,~`|’LwrB,9ױixc^ ;X!F%Zxp>5K%;ʗu>"ҎyV %F'Vڄ@m=MA0SFdޮ.iB$j>{gh)3CĤ+]Ѹ{v'DpS-Чђ(J%d?7qI>_Bjc?td r~४m Jt憢~J%֭ΖZ>mojh:fj,-zؙE>?Nfžw$j+6mޡxe$?6˗%&/\h36$ <|n ـD(׆UfHLaOw0(J_+\YuEˍ:8Nhc<,7c}9U '`%k@*(>neIB"jyʯN9Ǣ 3Jv۵7 ^2Rg'!#p8!F}ʻ@srg*=<ýڻK1U0g9&K¾ L|g`lb&13b}ԥod?mc@$7pz_77`L0N(¢zAPbI}-X)9tk1KNQNux1<!k8cz6*H\G۽x AG@f]y˜pu=c_utc 2~LǙoIa߹VFEmez8F斖@LVqXwŘ'.}QR}7K_3"ckK;.ƖxGi*3hȡ|d;U53sO5F&#cgI8~L 8Rdd;W5#ɽ5w݊#FX5)PjJ/„*uzqXճEJ|mqif05;޶y T~I( oH8\NjV8ޮ"C}ޫKGL"対}Z@ˡxoi/}.0Qg1X_P9%.V&"1Yљ5z([ʼH3ٝNޏ^A#z$aSu[yr&s1K+=HD. T}kްu Ns7t^ED%ꡐ\dV91Z] wDJ![ٰl AkQIs-ǾD'wmIvצAi@O  ZE\ =OhS>ھ0i-< '}"n.0XÖŭHP8o;m\}L>﷒N7zQFԂǪ*9Cgk2nzGfP$o5} =|sdӰ ae+X}Z**PP]\ʟstp.s/'81~J]2"^x8U+H d) h.5xBcRLX: ϘR`|2ɷɥrן2@-INr̋"ʝӁ8ml6rYNr1wgkپŜ#qI=3ɵ.\{AXqɐA BrrX;*sk_tVoXPYgqnۭ,\w:<;>-~}8[wZzz6mw{ dD4yx\}YQ a)Hqͣ591I'UADzv~~iZ}%MHAs ,wFc=e)6`tMGA4je]F:L//Rh(b.ĽgW&n2"Ԓq]#.!<6h(ϓ˓b+I0A+{;R) L!8!hFڄT~5s\&%bsU.(y,ת?Jz(Cʭu/ @ܢVV|]g[ꝛ^kjL:-}.,,=0y9HQhŽUx}*QM+=ء!!dZ!%$:i?Gژ;ܾ]`s7@c?f͞[{>C6/Yq2$jq5t*m8?pġxjKhQ!}fiyA,m'x[1x1#۶(U5F]}@ {xy\O5On猤85&unr;O̗%nx*&iC<с69#h"YmT-;ӗe|t2$VcxGW%!ɅB0Mx_!׶b]L(҆ߍ? Vn#3-V}Vr$2pg"8gseS@k) e/fLj2YctA1_ j ˕= Tи Wlud;f&H Px+ s.FU̥ׄ}eHY7:A`h=(,w~ ~[hq!{0Ã#RuN84D\) ColB{){D?*'h$cҼ Rm!S5]`dxr-8 ^0ϙMn$dLexVO|Fry֥2y4W?]&%P3PV.L?ku3 FVe29U$*T(Uj$w/%)nvxF=tj^5েh; AvBb)AvE%)u_ %Ȧj^% UID̊{t%p :0*4峷P#" Hw4H5O[_{ c^ԉW΀spmӊ?=SZ#:7 oGjZl*;-Tf 5ytUE5.fS.eO^%8X#  nA>q1 KnGl!2 G? Hx؝SnK|H*sًZp/DQ YȧgdP-( WI;5>D̯䨛;-]=RK&35XI]Jp {y<)KZcq?EVEC6׏13[fAC ,ks{y5?lsbWeBPhoM# !ܖ#AuF puT\BWOud-k*!V -F(H`7iѓK1U8q&b^4/ű;4iϮk_Ǚ\E+aWzKnQ Q'ҭE28)&eR+"H$![ o `ҷQ@qdg<ӕI2p]P1 ;-C)49yθ5m5O"5}\c:gU*f~1ԃBėiN;h'_pg)mb+̝ C 򀙣6-Sa;;F<1h$!AAwsiFo{Dus;;S(SАhTIh\wku`j8vn̨Uϊ+#&M?j{n&K(bwMk$4е{^υ䓉+=_rcQƳ֣;vFu,;wڸZ$UQNmB'gNX#?~Rҵb'b*%*D~ 4futGHP AvmvVB)G2^[0ZקAdН F2b+n *00jѺ >2Dn07,4|#i7Kjv _%R#|`nJ9: np\QEvyk2 LF 2DzV0i+ỤY!NZ-ݎ*dNK~12_5ה=&?A#%$-Хnu[=l>)}5 }b۠ 6 <BB+n7DzR;b=GKt$W,R-Mͥ¿iD,4;91-8JL؛aPh4kIYwsD89½smw;BGkV^"9_tvS9대FcZ*f^ctYϭ iѾl㧖k*$m kKaY+6UvƯ#nsR< cx 0$V|6fțVJ XqSZ:y&*Ń_1g;*C,zrM<6810ryHJ-[z[6&[pCR@(Jyݷe^^Mޚߤ\+@3~V "9 g8R'ג֎`so,ɹM8\J#zSD%6)$tIXcSxPM),$4hH["2[a^B&Dcߐ7ӕ0EE zt !T*{cl'݉)#gnA'#gI9YHj HɃE/OE *]?D&>Sgȩxy JPZqwx$Ia,h[5>D;b~sg*\eyy?VJHvq9Uդ ˉM`Q#}AZIAkO<ˊg"ځEqBT Wɀ[M=a2.^ D\)뾻XY! q3Do >!?)$-dŠRtUr1ꯁOLtr $n1n<1E(:S@q]kot7|Mpg%Ƥ?{U:"'{Ot#LYCRPbm0/ĪR#^}Y%$*}ڴ9imrϫ<#2fVtiEyAxتHdc!W?ԹkS9E }Ym4zrѴL[Ml9?d1K,gJ+I Ed!.T VNAvXqL׉!! 7NDPV. \| NwN >&ͷ\),(W [- *B"*oE =9p~vC`׀݇iA{:?< -sdOxPCJ[lK$/5vS&c|Nܔ@Idj@-iO8MC3Dncu53bˈH%N[! -^ xBC*,n\TP"[+Zj7^3*2es>IQi!pّ6|hQ%=-ej8r/ɨμ3 V)^w~^Å|0X[3ܺ ;_Q؄!%2O}xN$7GFUد-_̍4m,<}Տ{E+QdCSɭ]_v''hFd7Y;ZX[%Z[c*OUHS d"+٥UgI Vzv9AY4Vڹåzt_W.uԻC~Ѝ6v\oAfU2}7*WM4V' f<(F:*^;t Z]@xB&mkv%Ū$c=m$D$( ~8NPwNlzP#PiS A#Sdm5kԒ S S޷Sfάxi9Զ 7>ٞ4q oѽ]IŃw-?U)),Z|u}i.}Q~X(.Qp[Pۯ v<4Nq:%:#9:u'~ca1jߒu,l6LS2%ϛ=P?‡A \❴bq6n0_dNwlF(lP ]eU-H5M g2 FlPE4U0K\XF A4YPwTC2%N$$[Ղ|TVʿ,L^3}JgS~g[-W:'ͽkݩ9{퐦C%0+lZ1]q_FǏk-5{})B3pA?E=%<h }[rvh>I-ПW k$cPĕR5'/s:DBB?&J=\F4F8?<Ӳ6~yܡ/1e/J *:̰sYg؜G\T̤άVK UmWقO @5LA]Jj=}Y4/T`^%c"fWXza23F~KZۺe2 6 QQNM.[Ǘ0Jӌ(|zPcW=41,>+o[IG}DdѿcƢc Ky"TN-v6yؿP'7.Ea ll%xJvݡZc2.e1;kk-&Hi VXPRS+]UX _Ð6[PA ӄ c^i#cs"3*173bJr`qj4$ב#n 1-EPC-QP%1 tגF2гX^ |fOېAD&O0z; wo&opp ƅd]q#XVa)2%=W&558'frcyqqn !} J#gYZ7zXZִF! ij]ŗXi%L#Lzg߈P,.;ޗ qdOef?>m"Ȋōur@ATE>&Xшj^;9I'Ȃ ]';)W#lt"zm窿ٍΉij(tjPc)缳ʱBMZE c·ɯyBITU>yF$2-/d^l~hBnuU Afu^$ XhOKG1F R zE UQw2ռ|xcg5o)q9+7uIŬ$Nς'3Wd1V xE >1=KPs4D Z  +6oeE]"xjb<}e]@#y*E1Ց6ud؆F525^ګ%.^J;ʪ\0:ں,WehPi1[~7$a[Ġf{g\J#0-m 釘fsӆqIT?`>Eh~=<*DaGPxCȇvpMd9/'fN}D;h39?Ʌ1$mi^I-#΅AȲ"Ij/b)u-3L2$H]"%=(.)&vAb%lĩhb#'D^> Vw@8&' ,*(~|Jr:ޞ+l >dE⃪ :N8OX@D8!RncrsМE%2U+n 1}3NRByUR;f_I)HfA-E}8â^ߌ7G 3ל)*і?$A?¯D[i6xܚR ^2 5 pA T.E3F [C%={ TYճde汢 \yxMi@R j. 'lKP8WQZٖGoNp60İ%;9M>vQ!Z XWLYj=gV;>֨ܛT8pm_nBniQ%qWH*?gY%&bdP#:[.ցG?__ߌ=ӢӵLDUo쮥XU %:U !oJJO,/vʄ|"r6ϪZvwLjBY>}PWj"eur~e.qC4*8ub4bm%&D= ^i-L .{YdC|(=3H98+[eɪp4Ąπ}b"??a\P$N/;Mo$3( -fv fxA׌jSIȫCYr$Zm)0&}"A*岠_7j;VX5)}gL}.rL.8ˢ0ސ `D`aO ۍ$'8ux҈=/ͨTe楴g^QQk?A7+Oz܀\A m:MCهx\*%Y:L9aiGBf>& |Л~UA#X΍=g}UՀt֚ 9u%O{9{9P6*6m |W?6q0nq^(M/T0`6^ZLsۡb;n@dv0F%珰V7CvL%Y ,3o bTԘ,O 6?嵵`}UH^y+2eFWNm's425Z 9;_~AbRlHk똦2*z~TFп Edŏ0C3P49uϴj/B˭^G:sc!(xy$4maoC\Hb#xsx(6-^%EՎ0j ]4O4ZDgZ(*n9HHF]o+v: FK:XuP,)@%|)l%L8OeL jyl!DJG> 94=Ew x~W9Z!9X,1>[D3͖hWΙn1b5a$Ŏ[=AzN~D9.L$M(YocX%&ʜ~َF[E%tA_!ȦK@s페sܬʧ4lyb`(A!I0ަH6ُE!ßdߺQ%/l>76%#&b%R" CWwŸ{I0{Z=/b:7.9un"C'6n$, O' mzs-?40N-~ nJd{C9=EE}X $DZ0Qy9#qY;]'UtMǴTNaM[4rf;6T$qĎ4P8JF"\#z8?g6f7gi-޵'yXVGx$+}U?r,.bk2P,UfepS~&M*~FssE\ATC'!}$1Je~ կ˴'2eW?U[l Ry)$XFZ̡6[11,a^YQ>~ pFr`ڋA2|6c+ Mʸ)Q8 .@E`kкYVZ}v6s4+4%q1St|)xH7"5/,7/&Mb1*E5~m03]' D l޴ЍZo2^ϱ6ﮕ%T|7g*\QR‹[5;ereT&-AD 7r*rsfľO㍮W3!/^48˄e7 dq(SEh }51 \HGBه Yp@u" /Yԍz-%$W#u_s%T5B) Ze%Q" o'[h:mQ$1;ؤJTz7.Io;:.9"'LߍzZe5y%:y˙Y;$mԥZ M&4dxfm_ `i*^@г4 ׊sEزQxF(<]lIG2FMl̡;vx,KtS,ݜ<4}tb[l~̜įщ?=Vp- ЏagyCϳm sHb 姮'2 /t-Ռ}^뤒$́vSWiA3{{A։IEaN[c@$f k\LY€C#/t7 ╇CbH9Dq)Qpj{ZDkNOmr4U GWlȅݔa=Mޔ EA{H !C{zMw5TMbcdEc.YuKפXzDhZhrt[MYp.4kVO#ZkWr %~9HMc;V2] qʭRW44޵SoYMͿZֆr0?QCTvp"m~eW]I0.ێ%{Nngx^S]!scE?9T XH֩4шRۿuIjx9pˋnFu:VE[lbY#`#Fwاx2FZמK׸Y?6r#ח#>Bbh=rG70_`fG}۲C865Nzx4f\BqOʬ] w+2W&U©G b7XE"^ @egvLQԎǐe3⏹U#$TGYxZyYBv5uTE;xΐ)GXW ɲ "qKHҮ y88 (0QV\8cHbj76pmnɠՌȰۼBSJ LdqoBH(Yea= yGҥ%"Ī|_;Q)L(n 0q1C^2zHJnIz-i!2!-N5e'BHx ŖdGӵ"U6#QNpimx;-ЛB^e)Z{G!dx}uؚ@7g{D^ӸEM֧;dZVXHV=M4e:#B]s/<-* !='Nf2scQ@nިaftnGzo[z⤯ 3 ,(:1 Z - t ӥ*5 H.yFv'@R 5ϋ1&i=>4#+C{yA#n;f x'«'[ to)Kć'qC>UWog#4RYS}} b]<+]ҾD~J>b%?6F~]u4I^DϹ i? AAoʹl/ZZ] #[(b-[0YUt|^5¦tVr@a%IUVy-ucA>a@(~%Ln'ݴJ+ÕFL0Z.-q}}tt*O`Ҹi0/UeMHe򰰩F(nܪ830.ӓ7D