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 @%l|4 ]/]HOL-Analysis:threads=6elapsed=325.063cpu=1664.924gc=88.804factor=5.127zXZִF! rQo]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthJh~@wZ_U o- $jHZK'UF L e)Jٰ-˯J6%GG H 1mq8dTB )Va%[ةT`iLɁ~ M6T''~%e@LO!-ApQ+Meh^H@Jم㝈FIo1&1*-4"H /߅t]323Zy0&+C~tȍS8TLMt똍^$\C!Q@jFi0kVk钏8Puc ΢mYhҔdiUiz|/"[-l/R&T W%-H8wU uWdBѡFwT=n3"KiWji%)wsb4ˬd$(Sޠ=]-_dcK$ٵslf}Y`ܤM,L븼g\R x}/~4K9Q.ɾnR:SvGIsdg#`[ns2g]i:oJ,%i:1!؛"kQuNb/{u2%uW$ `3^?H]SbRo4;n~}QNTz˴T)>jjʐ ."0V q^Q΁v(Wf47(&PK+qSLl..MA{pΏ o[ FV-D/%Y /lVwI-J1ʍ\ ˛!Eu; -_=Vqo;mi9C=(nĥhlݨLv1ćĻqHv!}zzCx<FrDdY/PoDO}97NhF1YbĆe1DJb_Bm՜4H+99k!MPMۼ'I27:?s;<'ݝo >:f@dV&ք*WG}kΏ 9 mdzibSg!ijxdZS՛C֗GS깗] sD;˭Yn򒀄gIgO8F?xDpThjƞ ^n5rn${f)Jm&L4;t)`_=ϙQ}Ҹ$ը"6Jcc;Y "jZ. ܡ>:IpX&"SGcyPjfkO72IJzAPPÊJ0]"89ǒZ f臿$&)Q(E<9/MMc㧤HuJcUx]o!Ya_tg`6bS\2CZb=.k`@@<`Ksa?$2R'U1u`5`:fnaPVm$_-hX@]½5n)믄Շ0Hh1ӯ7pCTxu Ռ9 8SgeTn2wHx|?GlGS;);G%N]*.ul֣PKV$̍*<$'cp\3QoRdp|qߢD9 96]\4nx;Ɔ5ad^QD`(Mkk:ϣEj/፯p L0 O$>r>FGNn/y9Nk_Q p)SSpEڬt9&| Y.wF|8K֧P3wii+Jf.Ay [>aB\AFmoig[2sx2A vT`u,jZ'1D{phppTdK?;wd"A1h"2-x s$YE_Wޜ:/7i?κp;Ú2oX%J沨dYg 'obzD;Rp>ZqR ,O % HOL-Analysis  Q Ξzr^Aͨn,:,#{]T??0&y1 !E7{^佋^,W:5.#(e0JP1JAЋ ;*~uR3EHBA]&Td?ԈLw =>;2QFDM  \[c%X>VV`9iM¤e~#%e.I01:nN38&l5g7 PHOR󃒵H@"bwAH\?izԭbc!Zz?e0WtNAJSnj u783 -DzD&~rwm %^U J-b"/}y@pgF4Xc+_kł:+-btd`3wgֈT:2Y(Of UH~BG'&~(TZC.F%mP.Fv§t[{Jl8>#|,\ç p=mTtwBu 4t6tZ= h̞T0lوE?_'Uq@Aq2G'¨JҘdkHN<5RܚDwg}(E^qΡ꥜$9~RI)6PSKMcMF0ug=XO-A|FnJϟܨLi]#/6ͽKnnǺ%i`>T YeYT'mAB`A Xo0]'#Ql ]+vg1f,]Gb;̝҅Ď4&feIV^v>-cܩ_s r c=k7/iҖȚ+.6Nٞ72MK.޵Jڄ5UkQG'Iq0.^P;&? qQQs@AB`E DJKf@ټI5H_ H<.S{PG@-'d ߅1lC<4 v ~,L vL!V1Zê]ݐncaBMͷ ]ߴ=ahd<0!x_UiZaxTRc>UYopmpԅ^Q[~.4)P`V=xѸ#07,ػ PO9L y-|0e\EufTF\ěV~!*j$F7up쿞N z,{is 94Yzڊ[JJ$gZ,a/C?բ5%/$i:9hQ;ɑ;&]& zX†&m@1W+>s&缓@b >rWt8Eaw%3CO[╘/ SQݧL;rA=q1.{ÊMp^{y ұB砣pC{F,< '94%€0'2vTWGRВqܣGwɓUiu8~oR5eWUM'1HχL ii4ZDEu;8`|LGxӫ˺<#b󇘌;D2wn1Fm̜U?" fG1'@Q:yʜj@[ؽB~M %&*\6 ӲwAp-eD?qЈ50thA8 V n}Olǀ#K_BAd.¹VL̵T!eH5BZۇiLO'6/H(D-ޮI0\s ~˖K/E?6>牉hcgMN]Ľ;%b)MJ2=S&o ]os '"Z%}̚!!tbMmF?q!I Lܡ&/y./*b F1|4F2gC}:- #q,`x~tD$"nXf\t^e8FMS-!y%hPAix8 5}]PlM'9Qȗn^fuRYri[T+`F\7N!-4qq983HN",}RJj;#vОځ .zg m)lE6+s @n` :v*8@)Xe>@$RuY.#B-׼n UXyN;!棯^HPoXĭ{yl6$|{[02 ~5b( Ԡ4ygtQ$cS&]AA_ uv,ިHkxZ59[=wrNڈ4jӨS. J+N'_ɺ*v v4x0ĝX43F wzgBy 6Ƥ,’k tl!.:K,z)x#<)|qYݐWe+;#TV'K\*h.{{#qS#5?Nq#R5>r.Y\7}"z$aT @z@MQw@b`2R~uKAۻ0TM2U&-XGOaw$Wiڣ[38F_ZC؎ 1ȿRX;=fclX$*U$o[>[j*db wsa]M{IiiZLqTN (/&˵k,:` 3$g1ncрı"O^/zS[3CSezF^)E#AuESPꞠ؂Ь F"x#Ԩ `o46!-S?%uᵤQL>Qœvm\vyv?9 /+HxHK}uy#b5a+CT `i[M6D /&uk |;k3GSr|aIǜ1c&ĵ0Y u#|}Fl5BڿD G'w(t JJwn&oyw=MW~8_8i$ͱ%g&^ -`N(%$kc6q1<>^7:Ƚјh}e۽eA.z ;e|w_*:&YD-햦?ǽCԳr 0KG֢T0[hxz6.PwM,y?:OS\[%#E:`qK6S+ݪ5SJȰܛd;`h&bv"jqV KEʭcK27s.3î3CqRu"|26K$9r+Fa*NJ[y6—Gf5uY>L!m|~ʼ&TzpB>:s3q!.WEĭ9=aʁTSdz)qwsۂѣNXytW郝tL=v~1%1*Q(7̖Xdz̽"-U|uxk40H}})ԅ #cWaCw q6rݵ@JlBݱ2-y*CM<\g:!e!jphCVP;_8^ >ҢgsWaC PB6sB$Ƒ\j,_<@I|@G|!DNͱزքk&l}U[sQ.lA~A?o8> 6}QJwm;ximXD펴DL,NqҿUuE)LVBw<71`IC_/SHwu~= '1aǓV^ \]"YLbXmIu2C g*;Z7#Q _ԈT 7Xit较 ETa>A jы&pZyij-es)s51nZڀpё-DpO/eorȯ7L_!Rچ$E9; 0TbSa"#RdYmMcB kwbC ȌdKRV~M|,,1e>Q"`RM7cs1+џ-.qr9P’pΪi#3#",1/<%d :;դ+6s,6Od+dσyjV[v>knf?& Dj_Ow cO*.2$1g:;.-5WCpͻ˲RN|>q?4g"> C8BQ[-*J8Uy修wiYl ~}D"{yj0LсbH_>[_1׊z+ܽL/Ċb5O(+% B! 4lQ6.?h꥔tOQ4̻-kY ΜrSvk?yOuN?4xT\EU"֭Ea8nh Ԟ+M^k,0\R5J-w`p!w pVo@ϵՁf !H^-a] kTi`t9#֌=-H\y3_M^*?ɟӌ/U_,L4lmaPnnшVbǓw "bCѬHe{즮|dQ$s#@!yU0Bqmf)1AŰșGu|M=BNA}[sc<zFQc騇-o rc۷A@C5#ha-dF?fS9U?ǭZBU%CR$CnF,Yl&}A^ l Bu6;T;>xv.H 򝌴 *)#IշAǴqnDQ@ B;L@}.6']q6wp}֛Ώ9CBy-Ө{!!L[OuѨ<)ӯefՠɔGķ[B}\({7Ns>oHFiaw󁐇,J!l1D1Fz¬@ZXVW\9G_:=|d˶rl??GUm?„1m1ګ}2?Vag8\>tK& ^?S@$ܳZA獟"dT_w}) &] ZwS ;:gLLIٌfx I0rE j66iS rOIn~ǹY]KtVc278OxCP{n^ьzgІ `Ilu d~e׏{G3[y*:1ɀȕݿd`xCEB&Ҝ#?ή*k:}_s6ocEcxhjKlKR.#8Ǻ箝_3FE}L?7@a'Qɷ*%gʹ+B^D(9t?.[̙ڴ_qw񡡌:O-|~J^j|[.7^][Xթ7DAH5`wR9z<Z4~UsHe Ee78֤vBop5=iÚ7 q|M?5TI˲dU'#Cw׹o?͊GBxT=܊g!K$M2 3vp~D5!@ uc{;ϰC(N5ArA   7Ou,q`܈S Ag|˱]y$19 ;pȺ>íKSm DJJW^i_(;ӣKi82[k7.|^Mn:=}!*FCN>pj. oh ?܁gw{{<'ngؔ @&ݓtbsb~fUX1oj-nĮ5tz'Gӗh_<Iw-u%eYeݦ @p+ Gkv{3Ŵ >WBl2rjnLca-@ wvCOӔ=ŏ()_7I3}eGʺ{V9[J26Z"y=i;Eu, t[y-~hE+gWKJ^\H8B:"۠Qb@!)3/>Ҭ:b1XìFqH#?;J4*?y0?ZO"C25#39"F&E*;u{ T_9n A迸Rf3JJ66VL#L |Lu5S7YckCBƵod Y2f9D*8BYfO#xW+ո> DcuXJd0n;Z11&eEGal84u$8ul*MqO_j"^ҟ!L*NhKwN>4OMty,ۗ-XD"/|>Oxׯ9"j,‡]8ntHuV3Q qgFcDhcXÈde֝49h( 6 a_F|Wc藆$Xm~U`jts3r+xҍS@"I}?jE͇ӬBiG\z 1J>g)iN F,/[hx 4aB*zVQ}Yr10 K)`/#GGW_vwEܢ4HaASʏC$Vl)"Uo 4R76ʆEñiB[eY"4t5C<fIbV 3\ಈ޳)Ksw~[d!b쭰dz?maF<߇:Ҍ"4*7~eK ./{)†qֿw\Sll9M^PΏ,F#آ}ofoxǥBW0Sp?+3E9O&wG|e5 "#$%"ZEslc#l Pf'N\|:xUG=$B %x͒ځA0~yaA]Fh 3 -ĩ'*Y>?3 Gثr p)qυA_r_|0ϯEuzrNfPmvt8Htr| c0+XǢ.>^i .Oѩŷ1ʕ)5-ЁoO5s+Iڂd 2դ>X~! .tdث%ky{)wn1\`dg^I5# D5t[PHZ:Q *oG[痁KCG]] lKxmUQ6\z9әxMA.1'!fAmSܚyg\H-RJLRmA2#wT`жgYZ|l( ^![9=8k/_I?^}ɡ[jZFC=W t =y rb [l+0bj@ 亻.6M㘾K'i@/0 ūUn}+ujO5P}f \ax^n0:n4:+%RGp2߄\5uy$242`;NbMsg5_rҒZmx=0]Co^k0<6 k/=) 9WN LJ >3!R- ^r%5yd7DT>P+4bVgXaW(Fp1= ЁFuШ@3ȓ8ˆi!E][Ӷ&I@L#ϵGM9ѧoӷE~ 91!Az%)ĸɬL q^<^q '=Yg9 9*49xrDO(wVpsG(<2I%jo=&3 :ܢ -7d_)dBeO,#P6$BRRq6i˴(a$Xkr rm9,@Hv4!n v|˕iMDI=,&h#yfv봇MIP Q L(]pB:՛畒%X*i1eSڞ-ᨿު,0ªC$p v|A DHN0S5rt̿0I`=Y_ABSR9`,W B{9%Io`9>W"Dɂm(i1}YQs~X#NBaO"cZn vkVt=v,>xi8f 6Ts 2z+pU]jɝ5&C<Ƒ/#FsY W?1jTrDEbsK8R 1(K®Ʒ(#!XaqnJ<_DE NkT6N_[%N^៪~oK^oҸR9^xܜy_b&n`E(7@.-x"tՒY4I㇭oF7Vh+JO>- f;/(G4%S,S^F4kGle*S֥F{㎵%`36ާѱ`kD X/JU8Gq2+Z\rPSԏoElY☒%G58E3d%vH3AB[U$(_t< z0 (~?It5_o<.)4 1bi,돃>=aov(!0`]D9&T>CQYKTH)Khᯃlv ' `΋/ Q S-QأnՖDm(~#Ȥ8&j#L0`{ۃ_`onۭoGͪ2t^ $#aVqF m+OC:,dN=P+`Y@~7\o,rȐ6,cHK:{'$+jr˛s[Z]![ia>߳BamW7+*+$S4?:0z]: Rm"@ѠXC4yz5=[y&Z딣jYz]4K" 7WobRyq6h'AdT<:xD#15}:ᵺxdue["1 ۾tИHd ?ؑZVqp[8$'u߻;Łx7F mx٫ނjRr|ժfLBˌUcCD-"UL(,BLym0xf k.O[6#wHaV/K_A7QP VV.I@Pϖ=ř=w̍5lg[籝Ms :0݆DǩY֖67ڔo5)YEMS%̘Aſz$ s.33Ur`TmMsUclK%?G)Wu ⚤g5mrю3ZWYuZP`aNe^=gA%@:6BTEp &k t}1Bi[*pUgp`> 4&ǒݵ<ɕ>m6myR B yAZ둽?  d+b̄:Pf$%yIs;"(L`[oɁIhW`ǯL\; qX\,y]G5Ib,ŭi4ZvW\:L+QzGIi%y, tFlvyaHؾ14qХ. 7s3<&p37F0T eeM%PXܖX{|GvO{N|r"k+?K"qb*jS/M4732Po4`RnjRbו)E9"$oW#`roSMD5D;84^{R98].tshk=l?P44)'7& |$d]΍ZٌX*lAgyc P`IU "q҇( ǘU> ƾ8*'GfO҉ln3ՙ3`/t3;^=EM) i{x>Gk-u/ p]W`Sd6|³nne%W TZF _Bюo `u_fp I"4.k8QC:뉑7aO7i˒vqu^~vBL[<[SmG )5~ 8wz:sc߿ [Wn|EMtٕCeIއ=zy,%[t]͢ Ւ42urA<.YBdw$Ǚ`#<%C%L(r#4…I.'wњNuHrz"zNl@[k]lG)mr)0"Oxi>!^-=N~ƺYGSLkO A& /Q[n89IG7?O}!M cXU;k <ˊ 5T0&#"S iNNry5ʺ!`l}j:0bqUS9|א#l[b ?勣4q9s0nwld$rWK+ $c!|}n*miNcE"YT"K=f D3NJmT4)P"ב<{'u _Ԑ'U8N^1|D`ӔZ%F{7̛wVx|Q˵/ZT# 1{0,W<0j㿣ظ5k:0?^ɽF,2|x5XqMns+WEa$-A >@#? 2;P@Pw3mN7L, /W,QZFYǵ֏_ sA&㓙*[XACh](yXqڦU)`7)uOOK+|M< OqolZԵMuAbp,;RQwQ - uLB!#~1ܧGHt\s' `ƿ%$B[;J0|LP? !۵ua[Jf"A\|h%]D{ɏ>u_LWjL8V9 %vwp21.qa]馃Lц5%'Oz |hU#ٵDuS>%g:T]8@095NA o97ODw-H٘kpeϋ(e9օ^+Z/+<)N0ŀ/c}N\@L&k+lfe qO ) ?{U%V&7n $~,^tѝk/p ^1/+#gYZ7zXZִF! (]ŗXiɟ1˦r!cHkMeBd4> 1ƅX OP#ɇlwiv*$5`\OH1v{ IG2~PEs$-!j>[%}dB%Eh4߁!7aydVW0>E~ְZU}iA)EnZBm1ƭzGMȺ'<d 㧣 wNu^^j7)r=ʋ=RBiަ|HyuOeϜ  "mM/هOݤM}Zh}70:30ruP3!ȡI<0@ њ"$KstL2/沆q&vh{QV-o[aW4"\EuɓAk_)8a8QKG.sl宲3_[.+[--JH7fQ!}vE5M6UUYu"DfrƃNK O4wġ08#ڴ]v|A(.='{`!uUǃ{isQ0fc-C-lv7Bg? yeygeNtlW& j_S0R]/ aOӾCtkd6,DCac\]0nVC jwX1ޘOщ`Dyvځ/JB?N` j!=Fw%mō4b2łn+8Wz>mLD50M8"07a=Z\0~<Q c-\`O?o Ϯnc{'*x xun2A=X<|`g8?8;@3J'"X7Y.4fPŕvaT-A zV縉Vp`";|&ѐ@,a"Qwpc4YpifJwLR5*vha4G ;XÚV6.}TZфf}xT9 UNj&Eށ)0% q+9(Աļ]B!U~#wrҊzd[-z%(] 9SA$vk0({**Xx:Vp>MqqQrq8܏۴Սaf ͵h8č$l5]B4r%mT}ti"~u} яxK̳3zYN 1Vy`[rU-'jdž5VL p=KFUkow*@%_hX8h,󾸳L&ylqf6M6Jk^&6Îkm˔X|.M@.׃Պ;m|~Z,rA?ik?a__R8Sy;1y M,w50 ?výa@kU`2YV}S2:q`8[ankgu97~>ܙc]ڬz\ EgbczL4\.p$_܅35j F LC*j ?ԋHWtÃXnkdtNi+U>@Og[tS/.нVJK^]0n ` >e7ux͵/o>]OJBDA6(m}5Mߢ QLoI|tJڞ R7!k3;@Y`)oӴuǝW&*Tϱ.]J&IJRZDD1vOf=S[NN8@sި0[$sL8 QD<)h4ON D'f]:W]zG ,F}KXf7YLXZ{r{!j~]LSDC= 4Qzo_(E&ӕ,ZG+ $#Ydd(IWH-PIُ24〠d-}k[𳒇PɄw L N-~_4#8۲COǾؠ%QpiˡD5'U+T1r}4 2Ȯ;)!L 6z'(glA&VqV P:>ui_Hsyڢe%J 0tQ u>9C&s7xm+t p4tT0'o"jT٤# J5Piij'Y@\-է879"wdX.=q)22Ù/mnOtD2J}@+]JK8|pDE'( `3n|H#OR rʺRΐ Nx`^LºCrp)$wD/2Swb}Ę# /uPPڴ`7G㯈$a C;`rf,.|~}gj@ԍy[hY9 Cdn/Y9Q'N#f>9:53©|]N0]'@ִ![{?NxD m95J;(lӦy7~(N~T{-$!_ -~wo8ICƎ띟b*SudoCiʏw]~xՈ1*{J]: YH~v^ABAf 'C^Q B;q&%;8 'ڞiu .״5L7eePfSݾ)P{cǶaug}t܁bص>C1Pu!qTu Dwg'$ `w95J\NѶgXz6oB!QB[| fiRϊ})9|:ˁwSe[e(0HwGiXҶ-UYm]h8K:zGS֙ft MksH<޲y ĎUq Ab^}wAfmF ܀JW}mIk͆ZSZ쏎#=]c݀]6.VڄR5AR'Tޝt7N5vq&ʩ22z3HJa|^|OUW 4˃28& M')k*VؓHh648zIdr,-1bhB>CDq#WZ+nW ?V9tqY!Y;ey2ړa,HFZ^˷ ,3D8ꞇ~ܶ öLI:=cxd(<@{)v؀auMUJ%>(}.$m#!Wղ|x]qxj*h!:Jq+;m,nnz1+}JXbm Qw+w@F+B*5w}U\ @-G Ez<[3߶ŵ]J+kgI9'M& ,F/uuv zݵg)cEsQ$#R'}T#ӕecܴ}cp`LjD>sY)ēl_Gc^FxnĶ13Z`RÆ ߞiY[y;Rg}䚒%6 EML}ݠA 3^(V6^pRd(c5T4[[&;dE>z'jmP-d8|"\s $s A0K $S{jKTULos'zt*m٪0髺SO!47Q_JG빜j;\G ^ȕ8 Z&WKP‚i#6r=j5gP1#.r*c mT: <dd -b "?Dk!ͣupTb}ɫG!*e0?[ 8Y#ԡBxTl x?̊pP"uX1*Ȉ{G _YϾ^ݻßU,1̽or=5dBQ)ޝtjA2|Imx[됏·Z|/zK tSG(*a H%Z.@M6Ftd=LC[1)ߨ5i8neK٪1OkltDGE828=/D܎5YX_uWsJ_-^MNʵ+T+iBpn0 TZfM[PJо@0OO-!z1&=)߀C [T9m+ROɘfB'-PVbYv!1O+7ОR@2‘yHHi佈+ >f2|9矷L/̶~' #kUZ><,2b(=o.Ee{ sf.ıt h=x5폮0т }b=崤޾WK7F:=/F&S+cQAˊt¸XGpߦ gkK:{و?W3uHU4<;;9\wP: :\pK$$zl='Wom[|r+ Гk-4Ҵq{~+{ uR2|xIpm睄{۫;5W#xʖ7Lw(rŠQb\I7RJ|xou3rz/kt06* W{)EJYC +,*HcV< cx6f OhyHfYwteY↊h=ݨc45;8}S++Q WpXP-WrԧNoX,/NxTV*/NfwG;f\>.+&%ڭ5`hhj1n孝ވ\PL^W䲂Lkh9冾! y똥q c jau<< %ɻ00M"GM6VkY#O#y ݷ-L. mp4 &~/~Ήe6Ŵ\#E(\brU0:SIQ꓃*V=Ph"Sq"?F&d2 .<&sɠq4z#n:p렔, Z:]01QPsXzV5-=۾k#3^_ŘPXEQ%ATq ]N[:\m\)"7[YeNÞŷ>mk`x S/ЪEHX: mhWS0,vd;Td#ܴ1tXD.9Mo5^Lu zw3^"LKcV&;qnMn3>,~a{0 ig:kY/ŒQ>py (J|voآc4L8 WG8(~:È(=T&f|>y3T D 0*AN9r81\)L'>.v g;(!Äx"N A&)./WE;IxR:ςxoJVĸC!$-3EܡC KCH'?#Y\#R@ݓgf[~%i4Oo>)$B"XwzN+wZAy{HLk[-:z|~h֌RJ9x|:*.qw}OOȝAjO%}~ӭUݦ5 i\]ը0 LGݺWTt99 4cmCE(iOr`R~^Ch0w3YJsA\ v0% aI17 ԗ {-ﭨ=tJG*DqqB|"Ĭs `"$!mHb >=ѫBsIҔ'K`pQ-͸ 6T$h<^c#=xNYXߜ_LCe}@F!dOcc\ g%]ē <$F=lØMG0Ļ9[_:}'`e.8oЎ ӉkT`E5(PU))M56!)BEuxZK^{,.*TPf'*[065>vtl+>3_!+7R2E.}LbOT*Cq01ыԝpNZqwтjɟ-pe؁n,q(9c;"tko!L4Yq.Ň_»wtI:S$&)⿺R'ű>ڈ* ?>t?< ď~Wdr2Y'8S$$D!^H, m[Q n)0W$>*289zYDyh!K"9Q6L3 AS!Rc%8{hAl|NAHʾ '1s%8zGVZv $wwusrY\pT4ޯAkީ{18  AwQANeRHQ hG&f~@!7䋯x;b S$نG nPe u7` YS={[4+SolH-H2l&wF͔DHSܮʥPxBI } Rmq}%ڻ֟ywSŧ%4<9͛0/ $ fGF֓VYb7@K!TrZW,Hҗ3*J.v |ԍÿQVB3!HO=ٰAHyANa,V J^ I`?G n, Ac AL Cm>=չcۨB|_ ۯW5 Хu2(Q6T Z FSW*ר4ה!!&=M2m`L|f;$o$~klz+{i~+tՅ_#ו񂃶OM41IBƴVܻ795N:= sg: 7(\* rAux^@Wm#E$g5xjN8 ]A36B-:=KoTԇ2!>rMcEks-:yqeӕ7Q8jL 3$ &]g[t ܼɧ8tЉRNy(hi<:OHnG \6v4`NT՗1A#tPYVX.Gd”qxm]U wǹ fDK6 J-U*2lȪd^@\*gu9dSr$cLhq؏vfp * VcQ2;hQ KVŷ'3Lb5#'l ĝc"f<7HY -/^ ԑnFQjACpFϹRA⤠ـ!a;j/ޑ%~&6"DI 0 b)*4Za ;-2t=o:Ԓ_rWY*ٽ/-܂ ZVJ3Z |*~'U^Unf u:#CYT=KQJ1Yq. h/(ō'>wRcmS:вR*DmK_.I*:gX,]vocX/{㠨-]a$nરKp-+Uj:6 ¨yN}s}R?WyJԶ1n{k|K,Fָš"nIZ){A&(l^PFi^نX& S&Ӑ[`%ӨCwzޔVŒZ Xv|mGQhԶF' *_w.7D ;6ݾiqih_yfshY[Rɿls\5\~2$e-+E,H^wDvҋ֕M 7%L"@[Y 6ڦhQJ( ^+,bq1Brr} sS+FUv˒ꂳł \d^gdťݖ2saX2雝̰ w8H%Ya/騥70ªNE5MA*P7N9unieL"z+}F ?`.;s#ޑΌ0a "-:@hع1Jsɛ^ܡsA`m|;u61FBIX(Y<שċ4ޡ1_d^$(>/y03=DGftS>R3g-2۳Ec;ޕ?{wzbSVKP70LJc[Nb7ctsH"JЩKsڋp*Ima*%S+k9C&}>~UMD(4"a i0Gkn~m!tSbH&@a02ډq ^Xn*1!g#>[K1p4x^T` L2ܻNNPTAw#0}b&`(ƾ}:G-;R3e]1)9M4P{`Cm(txu Ds.iH'"<-7 s]0(Xnx‘臍,i_dzwťdzəs b<~7{U|XJtRr@+זI'H9ٷ퀦1>1¬@.!Ηȝ+ ;%9Q_2Y*=œ6H|<dr#yGVNKשTA 44@ƀ8,}t&<JaiR]vӕv8/z)dՙepz>AクavSzDqrc6RtE8:,J1$<h[9W'kVvRl u{5c͜؃>ű }zF}8o7uW2eN%NfJ$l=q LXy-,W rѮs"}`3K7קu.G«LK^ISm/|×N^Hq+-1, @{km~!trt\ܪAHD#BGϵ|svg!.3:,Mӣ IyNDpx͇X/o i U00Hڅt#y54jĿrikoxv"k$?䲟#KI'w_Ci`$&X9[7?U.ЮHD?S7@ƁKsԋAjY>vjv X!A"2ᖩ%jmz\PFO<, ln! _ /ړ]'}nhHr8sKlgwE{ô.$~u'M1;k!V5~$_9AF,L!:: 4;#&eF+@+U ۲U w9%6Ged]v [].Xx ؝16) >%,ɸ R'Jnӓ#y,؄sAFuգ+d6)VrPü(,=et  fTѼ-LC`PAaf*#L~邗E)SYE` &^H˴3. |m\>$BDjB}@QtLsdolQ(շz8|6^1ί$2l.ˡ` [o BHJXXaM ho9ńUo}Y6'3LF0ؗ(1y.V+Is/)ZD:AjXIt<8 O ֡?@I\xRlr3ts9;A֖WIo_yt뙎x֎lb u<|X"\g^7YȨC{eхo'IdF S䒝{`FYoo.XK1iϦUa렱ֱ3RzXO7!ϕr\YimVE@Z!ޏ{p9s7@M"ʛMPq7 *+0(8=,#d~&[5Wg[,eR/8bS [5sA% '>KYv'm+m%bev|ށKM1֍Fl#FKf@TcSbB`ǫ{D -D܀<$Clæqa4(R1p ён59Fŏ2u̠HKY h[y\)vci[>)a>R$mscwJ DE IWzA/rʔ t cMmf3Aֻja&\jA3 .Š, $T KC%3V?wE ^RG``&z6+]I9V ƙr,$N3x' Bc6ڲw|Uׯ;]F_/>f&7׎Kٻ:}lݤp|,%*"x%Tһ)3J?l\*P۵l T<]bXnTM4Y7jgJTW9ƍcj^n\{:Y[ʜ]oEOnʾTgCQ|xM"$P֗ 26W~J]^kM: /'>n!Tޕe:g&!dFnuL].c x b֤"?4c6Dt{At{hE)1Zum>r?үV9j+35uTٛ 8_3?wV3b?݀@1 `_ $BVz;}nnM"z]YF<ʠ)sqtI(N6tFL ˯ LLy3/(= #K (@bJ[L,I]z-[mYe6ڜ=5 cn@+_d@ +<"ϣ̫(gHªT鴪t[pN̪_ '`鲓bw7U9?j~U&Cjӱ45yQQ#bɉ`ZVtȹ)I!Hxfvb;fy㛛}O?OS Ԙ?oIk% Z}x#/@ak}+[Ą6ʤ/+gO${|jW|{q oKn^JY 5n(,_W4%;,!iq$K8ƨKeEbNmb]={6{cs _ƛ.j<#V`'?~PC#U(*% Nj;+OҚTAG2 M,e8H~_H ?M׳V343 ~Jd zlI g$'jU4F(/HC\ ӰNpUGDZIf_d1y gڍ`c5[]T~HBB~/ǎD忷CJUx"g>ؿgYFVd<c]iD)# De_O/%XUBдMqK}{Oԣ$V+Q%xgBힺ^]U-  Z3SxqOau"URF-$m*FP&,1ʌp )El:BB,HUޮvMjו@:R*9G!mo5E^*<{m-395) w$(imG[qA>y7%V@r\i.7'*`qL~; s?huA6#Rp jZj&نWU  GpIn|d$K"&lmXkfCR &VA 'q݌՜鄉^pa mH+jYu+ٙ; dbHݹS+–es e)퀊RB~)|hD%(Z(ˠ$]Q}#-y`Lͫ!|2ϗR5\]FRPvCMr<`aZA!$ܷXe MU|fDnEV4/|KkHӓ}O4Z3`,'k dn͋Y 0!M C*=rِ^T- :(zV x7Zpƨ_^=|F0̜ZɊ9 mv2?+ DsGkBWɝyOch#@--u}c!!DzYȢ%cT>q| }AHtj0W,9P Q?:3X(uW?O&Z JY؁5=м&{;uqQcSV}^,H)oNq,(]󼓍Ey?<<4Nku Ϡ pw#?wƱ7=g!7ays$p R2`q&DIMOK6v&pwqAWJK m!)e9QfG/ kͲF t%#ċ]5ADce[Up Iɔ*$y7 ڽdإTLe;&MaR` j=';_i׃g}^]*|nNOfkuEǩ ڧ7ṫ_ܓk#!`& 6YEE hU8!pHL$:Uʌd-Z!zK<^?%}is9|*] TBqq <~m e+,rx ɣt6I-m Olc^JcGNgP y:D&̨T`\QH*|GW1c< P~Mz-关pakh aG{^[}twO(2\m R[!Kf+jޥB3"A:LjXpne)ܗاx1x2,+]Πi a?$Q<[KxPgPZ~R%`&y@R:ǫ'd[yr}^)䀴s9"~wxan՛d*+~5ÑK4!XaWIlFdoL]y顝KGhYHb.Xmȯt`kkJVxEYLɚF dhþ`UzXŹÂINԾ#OLἥo#&>r C~ e:|ΚY/֩f_o+w [##kuFhE6Y] 5qŝOka%ͫoN) BZd50 artNj"_f00GEBILnQwZ;,ۻ-!ɮ%p mH$m-F;͈)v6>A" c10q{ob7z wHsHr(i7ʣΌE_JӀ$)4mGK9\NkZ+kMH?8u 󿅪{'3:Y ݖS_y q 歮LE"+|rS&,HNZ6^>1%xCܩk鬃 +v%RAEޫwwz֏I%rs!lHo.$y2G*a^ጴo?gbf QV < x8r x٣zO|(lqĩXob\gP&5B [W-CdG-qʲ/[l$k?&Uqrw 78-zJF/8j' 78J+7ݴa7nd\W͛{.4a`8o]ðK|N0*oցBTR/ir] Б U+#9<{eCsF*Iy)j3OT,eW֢dfBk4DF246`B$z$Va$/ܬ4Tu9xH0I{Уv / [R˙lLR^ ?^ųh#VM` ] a 6l;RG` TPM`T/1&ļ8)TKo" MO=®>vLt72/T68| _ KR?KUzaEk%TX`o,nT[<"oNgEt[bt-2Gڴ^[UeiJ @5 s{3%U udG+0φ4F2b. cpEyo*3%3@R>@VSi'aW5;t] SXYhJR}ARIĀ-P&AP鯮g99A+oh/ )_lG t 6|If!8$oO&5ccSC(,Yu8 ChBJS,Y5L"͡}Z!VGg!i%v[>͎ 7H0(IqSRˮڔ#dv^ =+c%7C !5}cJ yЭCd2ut 2BDfF͔tgh5/T)4=5!(;a[Ifҍ5iS873[ۗnm2=1{'6u)'סT/D'  _R,5NNvi$n]묙Céa(&CŅeww0"¶ض\Q k( r[C$4Q 0/ڡoU9s,T3B~Lib!n ָ&H#;TRZ$!ߊS)mc9~`Q]yɇ %yE, ȓFIZb'."Q+baz*39[i;k +>D2ugXLT3 EM%͗_qɅfY0ϒR2X*` `z7T'G 8)2}Am3\@ (|t)ؿ7Z{n[gG|Z̆$7snRn0:qDnV-b3>G G аD3un[Wp<Øwk {-lv=`8*n_?8ʶ3tkLbnyH V(ȤJ,}N\z zrQg9D ~J!Zՙ/jM5L ۝F/܂s:PSs&24,Rk8(bOk)NwД@%njzQ֩`?"d-ilvȹ پ oex6^ftɮOG38a5c/܇'j $noZ*!A]cFR,Ox66떣v\ei]J8R78Yfob_!O ˱5Nl\HRx.Vvz 8)ku _;委O9j!fp7łsԉxUƷ:&olߜ.—Hձ!tpfh-Tj׀ QT ;GҰWgrsaj(@p17%xז|, lo_rTĹXZ~|Wt'%/Sw *Oay.#E 0DafϢh}CCYPĉh+/ă e'uƞ[EyڜrS{Tޞiyl1 ~Z'v7A3SSDtݜ:q lYl%?PWU{_~7DT;>;Z{3s'UrNYxR-6YfY3m"#?$qk5(Z9q}>@t* 2dn,)jQX|َ1z>A,t˖ő a<͑Y>&\ONJ|OO tqrK |E"m}ΡO)pP@ CQ{R42o:,WLWBQabv%>E ~|r4T1MtՉ}g $M<xa7 A [_C6P 9q32Gt`lms>WŽ Lwt %s MWoU?'Dtyb\ Enq?_[DN=`s1¦9bG%kz6qw?DZ2:wchJO`'W"ue{ϿR$sB=KQmTi̱pj&3aJ"3/Lx JhR4fL1rܾs}{_y_VZtT^W Z'GKb<(=lʓkr!_bm=11)A[c^u-n4{n祎w2tkT~ Ã-/z"%a0M"B/{VL{4( %vm"!('ͤ3h> ؿ(D2zwڈ?FsnI_V( S~&p0A6Ct@alS:17lSσnnt=3鰚~Ȱ7܏NWqk? 4ڪi7Qm,yοW]иf`VBgE3r>Hn߱宩^ KY$JJSzaq 9wyM 6,k|y^-eI8D)ENt+ǺAc!!7",?.TҿȲFE8qVyqDSG^%P{KMtwc|Im7N=i/66#q ;OE-zQUXlЄ0rTLl@<n<$chpd&"1jY8YYck]1zXk;8ـ) pp0hGg&퉟h*3>'S w }1cJE_Q+|"s4*W,T13֮E+۰'=珼1_39k# (E`!iWdSL4qjlQxG1ܫHy{TJY\.ԥ\1Ogq8tDWO&FmvSB\m4Aь=dK> 7,u(ޥu6bL o,Q\6*.sV0.V(,yF_Jf&&jK 1N3%At}H_ GU5}j/ּk>iWn> nl")yiYwNެ> ^Ơ?;nvC޽n[ŎYmy+Qh# +lOt~Mni>߶e nO}cІߔ̗>{'O?7)ef=}dŴy Ys j|D!}=#aA8v3ލ[SRޅ-pY ,DD 5fk7=okXr$-ׅ(dp]o6o{qHM7λ;\'/P1j,ogqNuF-r_?nuF5`zTɕ?s zb P¸M =F8N!wFa׊RI(ޤ^d8}!7 6Sd3aRZO@+I$2l$ .՜U|v ~DWfkLi}Ql`;:ЊZ4+IWKQR6pDH >*W5-!FP(GZJ˒k$Q *syGׇl#tNu6GjeU$^yR˄)iS,"OpU@/rujm;pA'B }"TKAEi=X4jRѯvgبnש``Xm:\dj#NZ^C_t3M4ASJnlZt#."N#S_!IAԔclD%?E:i|va0άuG,SK`6= RDWŢR)ϓ)~#˼FXNFjR-J7h"Fa$@j366!Z/Svy埽}"8bB(aBh=wd̫J3ǬӈbJ @p];?iK~zq+z,h+ ҡKd3N`IEnOo *t@D*YsMQ! *Nnz:cv9_#^4"H pj뉢OK`F~Uw %_w /UeLc+:seX~R R%͎[U/d)͡3*7 9yN㠡TJSʱRGQJ_X(KHSlQ+2g#4rI7t8~8&w,礉ԙK̼ v(vc#u5K#hӫV;[:)ޓ> bꈿ%dlX*XᄪЪ8"ODz|E0zs7GC+` F{h+i;~10 !Th0ٍhcEs&+JQiqk+y x)\ S^>(.̿"FRo>1R75"pwwI}ixsA P͔T={* >Vie\git[v%rRTu3ʱwN[:bF6tdXUDThg?x`SLhEg4'OTMhV\ .&$xV(΄Ƣ;As,_\=#6~yM~Nh}I|:dDz@Ud4M@ԙ.%I]-ww}o%NuZuqǁ4Iizk6.8 ?ɖq-J˲eq"L)-?jXLDZ]i<2{m'9)h%YMn^O m@bյLٱuKq3'9G\7y2 PeI?~'?bL̋"}g)>6ȃx̟xO18"b3зR>HbXn`T?4R1L[K>Ep[ڲvss/tSx&Q_>sI![ i4\FmZa]y: }rqހB<= u"t0˓0J"E deE,>:┦w?w|܅شkPHwق]]e9D/@|k'Կ'Veo/*K<ٵ3PB0@Qkc\iGs'}mD!xRB5uI"\y7 %r2ܬ|Q+XMHr Ix2Jݩ;Jxz~Zˬˉw$YZw骍 K8*]NlTl^X'-o6tb B Yċq)Ve0ZNԎ^樫-#mږgP2.rV%v0>p mq Ae;L2Pl#j˼wݿPj &jۣD$v҈ ^P8ДZ)UKp{{ʥ*0Hy& з-8WKKO- |<'FIzV6\;\v`*cށ}e5RԾpt:]oCjF!4_ۖn̕V"v{l[Zڵ%*g i|SV3ZeFϐPSnq&Iy8M%5IB$7Rwmgk*˾ucyE͞? p5~PQ0YrDD4BF&h}T]$ك ]sf@BPyФ;n$`QxO%IӼ{"8,>+q 㟁$Tj[A4ZDhh^In^{`!+EW²'u7'-;`7PCGOm8 4)YKh,V?8`>-r <ԫr8^ؾ>p/z^{sGle 'Y*T|GFiG-ǞbL'6"1DW3ᑟe7h6ZvǺV _~-u{<4 UX?5JE<~;Ox@\c>.|-IĽ 2XRmڼfxUk'09rsM+OM z:*R*n!- O BCIq/RV\܇Vw(Iu+~Sc`ٚ!zi{јy@$˴vW,4!=YCO_v9ajB䪜R ܅~#XYPK~M(F߽zV&J,w qzι6e - bpӖmKB/@)R4o!aO8ܔ!`!MfůP8ymU}uj JWn 7ù0 ~F֒_/!3翛fָiw :lr:ׂ0\gYZade10143043d2ed5bcd2eaf9c74f2ecd56315ad0bd83b15e1e0e9039a1a1655585e69901cdaa3f80 e4ea8cd95193acd87d6b106879f9d68d28c8a75e8f813d9a322d62e1cfde20de008b4b225649bc09