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 /;v ,L ] Subset_Boolean_Algebras:threads=4elapsed=46.467cpu=128.776gc=2.5487zXZִF! }]ŗXiɟH)0%o;X~'*@~* 8ia =9e>k>Y/ш^~7n悾`.#p)eq4,]DG`1zz]}\ Q̤@Nʔ٨ݷxPgH-Ю)W4Ң%&M ; Subset_Boolean_Algebras  j&( B3}ӗNqvHvCh*aBN`=m+kvs҄&Wa>o29މj-*Gyg"w;虾-f%b+eX ?pl>l\~Mw.(xJ oݞcW2I e*+N\, Jڀ4_rOe"$&i%DQǟw5Zs5Dv͛pn앑.Y@Sޘ+Wbлe-P!mQ> f`Kk?K$NRQXL5&͟fd[Nr/nE|} bmME: r"NDs{"|-_\ [wx*X"?I׉.6:t%wysWcPy PmK;t#)@˾(v>cx͵t!d^ڢ1DžrDEB Sc<ڕ%--ޤ~h Tv8@[WQ6 h )+x|U$T{ L,15-|G5|2eş~ URk.+#(Zd5sAWa8I^c5 G¦"2'[,P/ w[k T QGz^ YA3lȜq(ň| BUf).f*D6[Ac?ؤJN+ \.)T]SSe 禍`ekQxJ$EЄ0;АSf4]jk1gX,b.]KmL[p1 ~GV7)2kaӦR齂>m 7[g"YwxKәY#0xF Qīn4hG˔aՑF"E{^-5-^+.>EP (qrS~[7؜|EC-IF1󬽌JkdJf3bh^s{!K?V΃Jqϸ_EM)m nT>o]8TB"׈䯟wo;+|2BG5_8}7J8$pqw]k-5%}f(E yĶU0ys(u7I>oNk;&ZdĚ $uQxDFN|uwg&P2U}5WmX851Е4]2mj;%G;bƱ%HT (P/%/g=Í?{P?}lW=8AY-H )(XlbBe[D:aFlad OȊ_9X{3Cstfq+tMNBAyY2\M C٣]hk3֎l 5 -1!ݯnU[ADa; Զ3/:SԿ3zj#Yp#f?Q "%.:O{/JدXvj33V'~ƾ1h9]=Ww3\%7 dTDRI;68Xq.*}5i8 d } (F"8߲ŰO|N66 oِjA51DTnL7{T)썸FEM_)մHчwIr]oiA\ąZxM6V6`'jX<)yt?uY)7GW9Y |>QBD;7'SҏyJ 2J&mlb']}lwբBtb vFdQLD8݁흄 "ˊ"Bfg+Q{ɰuKXv#zty_3!0!ٴ|hĒ% (Ň1z3es0 j(E:AW > )}dLwkjLFY$muӞF}Suzd/\xzTƿU{!4DAh!11Tu%)l</=Q}W4nB۷&!5i7 [K"w4:9ȝYOxჄB(OOBU$^| [ lX6] G^v-x TCxH`==ET,hdEg(5K^hgk^Kܚچ/wUЌFC/;I\AAV)rl3"`,'H%c~O5;mEo3faڄ)[[ȰO9]#85&0b?D=ht/KxI%N/ ;߼SID-2/rNrHew6otB~]q8fh߆[[|0g6`c Q2 n>l|rS"[Tqg7-Ug9V Qe؝zƙ_n "a"%aJƲԲICk{wh:qY8VJA&CU|sYeR]*qdu].^}Dq\m,␒(?ߨ:̦1Wt{Q8yDʃG4$K[!S; \T;ۚTݸ3iGow?Gw,>!ypK>Ջm- nrTt}z :^VTӖ9Tϔb|GCLVM?vQ2evMC[D 0VQo:yi?"/]e+9[lu*İאb)~0v ҙc\Tj!/,էcQ4r[xpFl?r渝$ ioA`%5 GoPg_ws96:IBŧ3MqZ ۀU%_.i-{ +-Eim+p<[ǥFGQ(yrU}pI D)ߤ@pb$"B2?IW*1AD]BCGwDGB(Icyhh#YfL:]cu 8G4MOT`[TꃳYJ}Ǟerl\rY5ǵȏ>@}PBw*-[zat~u՛f KTfcFw9SEJH} )~o!];qwr]6 4ew{Wk'MhK&{*kf*: s_zb 3 $IKt1l6:a]JJ>چUS#x߅. \ow@`[)Fcj!܀}3&1R fh3Yy>?6r.ܞJ6QQ`Nwy]nqXYꎕ7#$ٻ-ƒ>ѕ OR%ߞ&> =!d;+PJ$3D۹m\Y=CU~?'䋞I*3:GcO5>4%=[)b%?Bcq7 |omlS-SV`橱97fN_dLtʗ3d" 9Uhq (]U ~l{`Xoa_h$42e5RLNLr2{*_ߑC#;۲v_TSp;)mMl <&an?VvoejVݗZvOVHhUde*/`=g jȊ#!Yf2S! ( 7Py<NqjIмH.4;5mnu }h_;~zJ[ۢ3>VG/.2 {g≘"r,w7C=2KʹZgi Dۨ'9*6]Y<DM 9\xVrm\Q=[p\9V<b͙xfzB>˚vq>g7},ųEOٖmj su,sFj'G$|TGX4@w` 9ߌ&"cz`Q<g ]e՜"cn6A fkkee(\ ZP6ћ~ykf8ؚg/$"q аݻp*)2KPķkh(l KHԯ<emjdc(83FTP$p|t^xK89,G;T8Ԅ֝1zWͥAXlPCU,tQi$cY%*ImG7: zAh&+8O GX*&`jEl@+lr8.>SuJRMOC9D0_9|@H UvL3+\V?GQ3k?\pi+w)MD{ĴӎMV#QfW+O$_0em>`flGV4q]!e~j;z~䬥8PՊVwqD 6Ug.AL$)X]:AӰ׹ jQ_ލ+x O<7K lem"kv->^XHPK;{,rS toXgP(nB@Q[[-KqיּH dH),(`]w%m]qTo],b9n ۘyCF^OQ^|1XyV=t= L;T&G0D:tLZYT ʿbD~_Ihp̝q8N"ģ}7DuR(}" U㯡m8Eu4XSdѡV4F"YMB,)'V+U9ҵkOQNë> nKEo<(*NqFFdo$EiH#2nkK98FˈeKPnc@ y@OWPHuYbE _Yi ~"ħ^*̀aP@`鼌fų+rI0'[0vCspC158 *Exhئ0!ЉpY;LM>A\{bV;!*c̞c̻l4H@q|U=ڏN#OU$rԏϧQCEoiTƕ>[q'Zz;L*v~>9u,g |v|-Gpuos2`Dܶ-> Qؾbﻏ"q'm+p4 M|aO2zJpvX~ݥg{Wių2=!| &Ld,%=on^ ב$ 1LI ]?ٔc.J{y Ϣ`[sۚ1G 3as-Gżv>dNj&/ Nd..u 1c2'SzE[ZFI9AG/6 / Qvժ_IFzdwtKw|b:?`KuBidPW/_h\'xDe{SwKi\Q#0KTyϲ,ym⽐"y[  ǔ&] +Xi73nZ}w;ZO{OBJ/ d7SoSr Hog9c#gX< NB`6RqK ?"gL[0edipʇE G.Фx<YCh.'!jb oDB,yt y#N2lTdrDy<{i؃q|Iv1oÔo!a>^v̟.a8r!k.h#FBC%6orKgySAׂ5+PhZsǁ#6T'm}#Xpw`3Tr 4;XX]ȷI+3Orl&'6i7 @;6$cA!TOS`6D⻨tkXS;HO/X-0MnH"{@t8X}C ۧ=5u0c ǹOOj"8J;%+vv8=.W;,E.k[Z8a6f|8[p`zzjj A6pI(6|!]ّIJEgӯ<˴&xFuVZ܇w mh*(XQ/Ӱ]:uA9킛8eQ2u\/J&|\GuH'qKm?}AkꛟL2;0%hP )A (ÙJI^ q.Ei_21KP B fs vI'X5>"O ?83ˣiA8#7-%~rCjDFbBd]չQ#LI\M ;*;ױ^7vWg,+n8PZ(*Ѭ˴[J?ff o'LEWUm((oXbrw,tNFd@b`QP&9TkE|Y7c7ۙD'o@x&%} !crG[ZbT[qH.Ϙ![8QihEꊘc .Ǭ6@+eu"ŸkLq䓄kvS[oK ΍:-m fnךK6e9T./cK<ܟ]oe/=N'urߠau^FԲ2Cnm:$IqϫT}'< YvQ|m4R+F1rUw{Poyȷi%NP:F]iOzf[ /OWsE?ZJ?fndQ{ֺ?_7Kz1dB&9cRN_2"8`£UnBqHL1 B_qz*5FV@ؽ83U ?"KsH>!^nm_KaA9kVb>_'%4Tp^pxX/F;:Hљ~ֽFч%[*"F%]=xZWbD11r x |^^N+ %bU&LhssmƊ#nUۮ.EK|-%nq>aW5kҊ~K_!(}$ ? w s C~Ӊe^ e|\1Áq23y1۶~Yy3])6'~ɤr\eRY;R[Au.ϓlw9Bh}6z^Z]J7ÞE".4_TL`}oPUQ(:pd.В Cįy.0lBU\ԅE,]X-q,BRڌגe`o[%Pk`sYAX.f~A릯nWuؔ8Akq#?T박†{$jZZ.JW2Q~9IdFfY,˽ q·.:O&P*$@NC?,/Z̸vݹFn8~ks3 sKݏJn.>L w}^YZa<5FT]wΌ)0CXt{~5e? }y̷4[EkJyl9ۖ-P/KoȰkgXw.A٨{'Q&t%V$r&U:EJ,TW_.S-&B:PVxy `|un;F|nJxds yD Uz^SLWOF6Ý!^`rRwotHTtKӟɟJ_a CnO2(# ԥjL7(@YUt9]*'Uź輣3SBsՇy"2Q]e%@aJ20oZDӢB+%%|++}Ii>Zи3&OV4&$=-銑sٯ H8yV45DVL|ReGہs#?Atd%r"k3#& %o *٦T~bMjIOm=F|n9X8Y1=\K`'#J@ysIч.c4M 8;V$G wfs AZ9Jҥ`Q 40 s9xXG׍ m[D0dt9rL ԍܤvm3ppqn*\~u͂U=C+`NWe9>]TZP^B8WZۢl<8b^bsP#cHYշ$y;JNeͼbL1qĆF9m2CmT3-kmu[Ph75́ښ IDU$^bdwҦPYO48-GOCo6It;*Av,FA3 NU88cPLjsŬ . `](1TbؘvbՐ:LVFݴQcnWDx{#K+8\N'.X>޵n/΄c=ˋj~IF@GŽj.%i+Xed+U^M3"ِ`:ӎ[u R+UUzIKbAnO3uiP\R!;q ̃FZZbN%N9DfʝإtT~gd\؇ȐB=pg~ e&f_tcW!L;fOH1^dMB.:/Gn՘AadgYᐝU7,f!tq#$ LAlV g::G:6ӣ* _R(yYy0'<>+K.IQx 6-q2^9`ҲoD}ӟY16>1G3Ms weYq)QQ,Oq(qKm@Y@p ~~s9tTvkWs !j 56R~nƬI*RR;đ#3$tH5$;&hUeF9< NdX=v$R6SC݁WalG5@ކ3iy$+(B]'&/O{"r qգBp3kO/G2AIV Ԃ**U(΀Ǘo@=#;{̞Ȃ bW!e`^F.ڀS&M3߶ poeW pAb{Bo5x^)Z[G3 %n}sҀOURfZ"Rxmw'; 2<<~ XwB璄gYc=?jEksu1e #OAןMZk.B'"t3Wqcej$ r~s1 ^8dаNJBjic{nm*?sZdѮtaN̤rJ𒽜/D|,ZX^^V}m"h`OH``I-Au30 "ɂ-ҠJT2:іYoDtO7܂Lb Py@~k6Cj"}Hÿ§fsG=3Ě:D`_pUJ-`Vӛ( _=W4I&pa'``XEfWq ϢD=kl}KMQNc+{^7qDY=0A4 f!.^DT&5yjcylaĠຒjEݩ{;lD$]Y.'+u(E{HR2v\8ZΣTN0ˌh!6C *(ZM4%Q=s.-َy)$䞣OL`Wb n>j|~01AZ˪Nep?J׫5I4?Ǎ}V W P16x}Gā&r!%2U+p鍎PT)~߱ P Bx.jɂd=;k"U WI!WSlrdgW%imgr癫OߨѶѕʈ$8EdYھT5-{IoT@G]qs[5&.^&ixVU˳̓;j%!$ffkD8NLLg]LXj,`)7UkPFF'>99D;A\wاڬpdĞ// hGʑ)NfݙiC^Ϫg(H>\H0נk\ú8OfίQh MsYЅX2Ƥ$U C@#&}d}G}y Mf*M6onFPT' *b( 04d #p&}Q ^M#-ZZoWe*D޺ ȳ1^\>`3Q2hy|hp0kH94 􌪙yưi,ݡ=pTc# YLhܠ|f: /C˃̈́pB@rH(aҙq~!Xb)nܫ @Yob%N@-=9DWNGM0x [:=l Nxa .3ͮ] e2rz)1ҡa \;i*r=J@d_&>'aA;|f~A)ZNϒ::KRLvO\E+kr~ }z)NWJ`7N6L3 wA!* C{)QR`jB,fL-JW13eb_geei Vs5Su?AO~{S"lvbow/1WĆ[BKEUUZ*a;Mm?Ot&8W^ёthsf } /<3DvXED >JX HYzb Z2O•ͺkqJv~tC) nȚ'%a2J0!ZF_aËThmmp|U1dtO$fpqن ِo'F.:1 %Ǝ9Ey@|+~[J4-Oټ?b2d1rF+BhQXmmrK״\TCt u&` v>)N͉1n^9znTxkz<P_jl<^;O)s̙;E&S:af\(X^!/Atvن^B)I|J|Q5! 5I&U &q"PV꫑E8paRvЄ_wZeΛ,<|`8C/)oAmYخ'v27ژn\{'9}c '$@JPkHz=u?AxYlCql0.  nLrshܗ/ms,aӛ׮eS]flVܯ`-kKkXKvNh 8or")Ÿ9iv!H^([x!ί#BגTj'P)ѡ FkHtNXS3N|nEAv_ݢ6AĮ~mڇΚ(MNC(4zޗ1U`S 6ĝ~ GHj'Hap Btv/L7톒}\/Y+OZr,>^ۈuvR-6wWXNnprjޚ㋮S\ Hi$} dd4-pb҄][e1x^idL|1ϓ*s$%4g0J[:E!VztfBu;fǺ0ÜYm}M[-hP%:! U1L {lͬr^2 V}Nu 4ߦ[(D,/&j@;Wt\m8 ?pdY"BX"4X/skAP&!hFhTxk%ğAm@=M z@锑yJF#|~o9J"q톬Bqz'k83e _!*3 c#߶SYdR 7ۼ ado$.3%ĪA{oLFflbع#S_zD/kXp.( hfc:7ۿ_+m: i`6]m)FG2F3#oy+[nvl/T[RLvV-:Z0gъ$&"UT쐑)XAQ;FM8^- 1Bs=$~iVw姤>v*vHt0΄ВTvT! yT _hBc jDUBݏ#8/:=!$Ob8W|m~+vܨYE2T+qޗrIaB݊3d/LC@ǚfҶY WGVlTTCD˭g?[O,h `8[ 21:/z(3(ӷ.37p='WwZT9sNKy 쨛nR0qRul 0|aq&0;efse(6bZYG|^v ;w/>Ftф/|ww\hjko5Q0>sV+>V|=ѤlG4Ƃ#l%!;)^b:{HeE`qjFϰGs^1`L$̲ @C"!W$ hkXĢ }ߞ53t'ic:zȂdbГPӓ.^7vP=KL  Ԧ8^Vh^x@ɋ!N p OM>q5R X$a- F"Z^'Wk?jYh4>\\:QODEzDݴ;L - Rt☛g]+nX0rk;p@7դ`mu"7@k`l -/85m4VKrX (x셿LI/% Y?d+@4'%XYﺽ?x fZf\MӛYkG2&MڹJE^I=CRk01g3OQ-#MC3Mj4^Wkȗx.kQ6mYLN9<'٤sS$lNDUbyG}a%"z&zh#d@Iɝ8xq7YdJGnWУ;P{H"h; }QˋJY p4%ܐӚdR$M]q# {4爭b&V?q>7*^27zw0\4[@].9ݭ}AFA'ϜФ0isii{;1|Fߥw:ow>M"A׏QY"`RJ{'>7a9GlY8$~ٛpõ9i=0^LEB^s7M7h#9lkGs͔5h%Py#3^z"9NU~m%ŠNITnQ0]q{ Ѻ$GiSDf DB"q|V]֨(EV7XV!z+D=wBOUTd˥pO568іzI 67ؐٞ<Ơn_! 9<_qA~>0+_39$j'\  U(V**f9!Baځ8Bm7z^T"S6~U;}}emcnafLk6OFP&fCfdQCI}*5D= +g d_sFBj`@y0% vX$k m&g>@uBP|-QO{8 *,n%uXdЬ>-b^#1}v T/"4ZP9|yn;^6C_A`%c7«Cf$:o4V*OJ`|_ZEQ3G>: x="!*s٬6)ro@ddžBZ/F ò7DGMc%/sKN+u Ye%L frg3RK$oW6,& &E`#%J{%NQ|^V;g 0{9__RM)p]6ȫVr 8dސ_43CXٍ+` ,eeChM$nR ~ՕIWBq@.P|ˀ!YE=/oߪ h6B%{X0709ye1G1Ƞ\!Dk%!\D9!EElklxE]#T^hs:Ѵ'~pzm1*W\uA#:!VvW. Bɶ> zG"BY"QeFL(QBh1u_e&}̺j NY#$Hg,K"ӌ$7v>k\3 h6`[$u z zeH(ݰɯX} KU~UPFUra&%Uחm OGI3Qj[hxG(6L-ڤ'5ݍ?>PEBPb[w)vEb1Swy%%H }`2Y걿ʊt/zTsCD KܺSʩC2֯iB4%[ƹfAnFZ $rltIey#<ބByA)<>ׄ#].:* Eu1?|4&tݑ23l sQyY w?꾌׭u"H7/V(b{ 9ۻ3B\]av(w/y? w| ܃1H}Y,Z#q ..lC5Qf&6bGN>.+91v +u9e <5 _5je dzI̿dvʀ/[O,"%GhQL3Ty,m<E"T3p~87 e#B(?W5xШ1+}jsl&{Ds.X 1x5n.$Sr5 !5fS&b _|19k 5'=T(ݴ[4Wrbvk4 M(nn|9tpH*fQ"] #T`̚xZp]kVDڸkF=l.RQuÆn1TNs{\o6 us> dW"ѧ|cDhp=t~rzQUH*F0V둦uL ?$pM6<&R8\`ɟGp2^3Г15Ͷ]GJJŠmiaQ/I`L4 yϥ*0*1{usx-2"(%_5`ζly%%!;ᾷMjf~(XlX; .:&@&q Vt/.?͝}DGo#GG!b8.fG9A`޳ aL5QoؼmOƆ|Jq}G2+z#Kdf1@/)9mdr|qWm.}ڍ1 v>fcL,N 9I'ڡ8T Dpy8@r.UjTZ|<0zF{1 Kh2M:Kh->!Ӝ]G@^lT444gF#?ΝS"W<|*j{MgaNڇ\w,UGojukXBE&aZH|rS&$TL `ZZ&1%U@HNld3"}^7$G)nں%.NtDOc0 !5/[LkOM]VQ}\ڹ9d2Z1upgؓo^OgⲽJCvs"*9 *O+0o$θvg``v=!2C:3/̓J&4W^ `şQ2eԕʉN .@fiV<00JnM T:r:NH؈ͻ G,K=Y)aN&Jvnop_<1*}(lTΆ\Ƥb^^RF z""REW$_~2 N`r ~k{NيIc!ڳ4wI[di/^a8vmD 3r%ڼmWhZ9XÞ n!)= Z0ݧT4ZD}Ȭ͋Z7NWP- }V[:}3ly2-?[TDWc;f %ρS@ ePmD$vj/58uK'hIn/ӆc3M+}_k*3:8f'ؑffSB|}S󆖤~^,8:0;du367Ӛէ Cɉ5,!-*eP<X0GK'2:L6󫃖7ʙ/'آh&\mfҺ(i1 cd| _(6Xܥ]#_ӑɤ 3ttl ro/CjINB-YMe G m$yYQ>'/?<4\$R1#1MA/gö\ M ,oJCŧ9b"<1ESED<?ri,nqCKA =~(2}bWn՜d#w2Wgp>mD8 4H,N`:9ibl]Ŵ\|L O>(+mf"6s!J\A׸HԃiDR+^>V=Bkb1c)l 8@A{`Xw!4"(Kqc~·]@'0ࡶ s;_tkH{sܞqFAt-C5ըU}V`!dzZI_mǵW!!1/ChFEM5G<mԜ+cƲܤ4 *mӡ7fVu"Y m1Yiu5^qE6j5Mlq gbZ}2/ZFwRIiK%148).׿tK"B]֨?o5zAA.^QXXJN\Ӟl`[R _xhz ׇSd)xa@D*I{*<9+԰dxݿ)ʪdi;bw6ę|~PfH ˅$׭ca.ꚪQbAhqEQ€hBTI9:Wf[@H1dzB*.MQI <=|'<јQyiRic(ӝ8e*ѕ(!M Cŷ1$ՙ*sqŵ\D9jFƪV%LнskB#i9Qf nC`b |ʢ Cʤ1{%9+1UsePDB-1mnuB\+\n}vpܔԅ'5; h6B`Ec?HwzjlEѨ!y ۡ*%;^Rjt~:dn\ }L-=n9kʏj!>?W,2-3(ZC;z-LUwit~ 6D p (~ߘu'B!{2EųPA~X 1.Ҿ'$l T6Zboҥ)> c*}ɂ%6C8nx]&2N~t9IJa,ꤲ`MNm멣SYlΨ[X߆`D:E8}{,6=T&Ixw뺂>q jp<%h.cc@%Rt6$cj|a~+m:z+-r\ *\̣aia>? ? &8k\R6'S035٧E M@xoזL)V,>mI*u+՝sS 0N {#x*aJ$¢_sGK&Fpp~;kwPN 0TP%ioGiy$.dW\Һ$sM/ZׇϹArnT+#HLv;f+Q6(mFTևT~^d Y '1~~ Ub\Tbr#QoGn@(I[5`S&xEnrqeXEk9Bv4rEjm[]a{e')$GQ=#!Iu=O$Kh#S>7a(ʚB"%ڷ4.N]ڔ%v–t3LKj>Js/K'*e5<Θ)#2w<.{}& 5I5Qzcĺ~1殦Izz%G7 )DaϨM6)HGCm:AȧֆH^CM~T`F8eD`Mwf~qUB;׽||(*>'%'p@⥷eb5R"4݁+6RoaI,>"qUPrl:!F.&Gc%e"4+E,/]((m& Yfy~@8w ʎ,墽` 3Xa=a7)k= ց |N9'^wԗ6́&{4џZlKzQsYNa[^x`Jo &~oҘewM!A눽E-4oN |cp nD~$PU-Y8!TR4Dչ=2XP6s{p/"k֏ƟRtcu̹88JOBk't>L݆ۢALuF>RtZڻeOzM2K')gf$Y6V7tA:޶_wQܜ=^~J$`׏L8YW>ɯdg×,(u"q7?V6CiyL\G˭Ih {̳C=HVPYj(0!ĉY8yD j9GPѪkO(puib%\ amT?DGW_ ^B1>x1?7p maY%>1*/:q_9ңZdz,i^a>\GOa@H𹡿i5|4GmҖx"A 3z,jrԺ9+ PQNW9}(tk*j9 <f@)U4x%{Q*Ioǽ)M~6|2P!Q0M_YEJ Z^l(tW5*A)?s6ogQcbD* i'HH3ڜ@*AE2z]L/b/KHEf_<;, !UĽ-[17Q<"0xY) } @}ҤA`Ɩ=bg "}+AHaxrϥo$~ mHv3MؗYI IEn̆HfI E4CdR=itJ|I}܄h|:'Yh?T:CMX 4EG )ĝqE|2A d?"({|uWTŵMN79x(δcVMZ)sYTn6 q:SŴ;P 1I4iU2J!bdUK _/.6R\絼㩟lCoȆȔuh ^v4Uy5ai5PP7oWİ]BbPnc0Òއ j(PB: ku5"OϭGU/T LU *rCNZ=nPv 7&/ʜKe! W"VFkRjaGVy`W7႙ݽWC(ʌګ✟%›dV{Kd.]so!JLPV'Ж5 J~Am%PT_ǿEZ8ctPCx}iE /A^eoDU&$-[j b6B@rAp %\Dl`}42<*'lܴwMS kS!0䚣r&/e"EClt7C<%!͓xSA,_S(Y7C (m>6al@'ܤ/ʑWP8A5q} ԖU#/i++ˉͥڜEm)5D{}c %ߕ7)nu]0r )Z瞆\4dWJ7PBt%ɖHR3UmZl6 [&3I28H:F㨋\yO+TَpO\5NdHa`}?U.Ԙ7q zq3ء35I+\Ժu[ Xv2g߂*ӧUQi' )aSӠ.N:Y V2#=_Sfǩ+ 4~m$N2b*mOƦBhEW ??\q'Z069JQUu4%j#u:2r^rKQ9UlBU`e[Cխ^DIӍͻ{y*u?,I=? L;[4I9l7h6{u5->`Ro4/f[wq6#qd/t=Rwccd5}!l]4A>,} |b6CWŰvsZqz 6SnX>~#1'q({q)}PPq&݄?,ZFs +ޤRH o+Z3"!մj@kBᩫ, XYc*6lŬQxY4ҋt_5I?spH;SQV &Ίאٿ@7!\+G<~$H 潂op#iH|HOHʰ%4mh}{{_*#\SVh!i_NHRBOAjRGIKu $[c5//zㄹ* w{'אz3Jd{A 39C4IcdjPL?~6C4O3,,J ߗ!0%|@bw!zolyl{ Hz MGAA.J&E wb)5 Bkm@70LmLtx!ynj:#LI(;#[_oy,np|tUwt}:67CL"Kr#rݶ ?voůexa;軒V@'8 -f!Ǐ*G }ʻ`HBNpnJ2kE TI UՇ;TLM~pm21jUaM"cS iloƀ#<8a!t2ɗ``>"~4&Cx A`oa;mHP7/ :HfoHk6*VcV7',r ,2C&3D,LxZ7 9oJ~4-RLKzy@$0ُ1]_cr1Q6(XF@E.6Rp{ h~:Gn4DgF C^+y ԏŌ;M7%##]Q&{p`1*]U|[|"7amH/ ~ϭ|wEc@^x֤=x6FU?EZ_X3}@Dl6Υ uߒɌmS~g&rZǻqQU8 gYZ7zXZִF! fQ]ŗXiɟjqNƣJ90[⊷*}I-5Y&š;D12Z 36ݼmg:T#}YZ7zXZִF! u]ŗXi%L&by6 yzN-^M #8/1Tm.czmH6T|]B'a'3>_=y"ܮT9kˤ/usS ;h!T/~ʩ]η:eC2"'ӊw]`dڬIҳvh?$uU55t.2Yр\48[35%sJa #{"Gv$""rqoM226 N@J3d^{uII* F)m2_aR@9rϫ.釳;`)vjt:Xn&f v, Êmjq/NF![\"x^"ݷJZZ(`uWRN/N7/?GUYn ڊ^ރ⃤+SEpþ?'RD,38ۺԎ G[v+E@|igGRf29k8_[OTI2!]R"3,'~+$TB܃ wfM4Y mOʜkJ vf{/!JVskcEܗĹ|5nh"\4F%E G8y ]v4 y6J"}=f~J`YY{'EF DA*(QDwdz*)7;~%pWf.ś?+g{sw-ߊHVZVXb~LbS'2~R~]-ؚXoWQl=z`jNLhhbi"! Qfx HE\\gdi?Yj۴6Vu ܺ^J "`Ph`<¬D^ڥ\+eq1P_y\E(}E #lۤ?j=k phV+Ma*gI^Ag z8-ѦKaC^3r\cF~-▙V:s/''!ΦCQ |GRiuvC$ 4'<+u.~Q_ %erpz5O{LHs4 {SCN#`dFreNr2r^mdR]D3n 5rNjr>XN? &dBb}KX_xOP =yP2׎ :Rq-:aQ85;H7 fhıy;7Mi2n&9]Y)ީr 1C5Қ1 7tZXT o=:+l2ꛖ;2D!1xy3΢4]3R@&bt̤DF<5F?k !m^'aVl2SK;,BKʸM%w]/j%=i!eY3OζV(Ͽ@m=40Jl1 WG,~@q+'g4!,% w ,09PmF7|Lb|r$+l``69Ѐ/ oMv:w[8+!󑇑UGr鿃Z,ټy 9}>G$!u sR9"d =-=wGV9S!{:o٭ahj|`dDNDr)54 )TiktνCZ2[+iT6v.Kq_!\񚞄y"yk(9m$Opƻ{jru}Dh~X}B2Bzsȉ luB-EE (")ph`eXr1O)D.8_R#UuʭsXU9GHNiCԎi3I<À OY5ie:\Mcp$j莓h!)NY 7W'H7k4k g]T ;硱Ḯn3-)Nϕc73y5Laq^ b'q;S.-[:kpOO߄WmkPaG* ItXIa'g#>LG4#j>gĥ_DK J$),haȳƂc Fϥ yaa(g8I*++ndssjv!8 :rGiXFAbTi0.We9Icʀ\^!pK`}*I\"b̯Iƍ~SrVLRVuRoBEj͢1*=@rspq?W J1u\g7P-#֫jRii7F:nIQQ?mt4;0UhgZFbI?/ϑ{o;^t&c3C2ç2$sxXϲq?MO̩]04OtA ̿'4vdjڡ-Rsqݴ3A* UD|VAKifݙtXKU~m=Ӳ:{dmAӲقY*9UWj.ODFSX=`;t,L|:$y ]u)uK)_h͑tX*H,1jWrw}lj& 3 ?P0.xER,5\=g US4w}&Na|Vs7B [\i8D!>#jyg73Mte`g"E%/>\"*/;f\=pLTW10@EEV`\8"]s]meËE=!A@\ \0 ⶍ~|š`]c|䮮mtAy(6p?*S2'+ŬM-Zvi#E(  L o`{Lr[\bl(9;u6jDrCwyh :b"f]80\NG%!<ݡC,$`̝jiі\&uGp)_[ճ!1+yjV ʐ WMqfֳ"e` }\3~F#?7Hh7iЮ1ylO"'9½[tpVϭF x:t/£c FпlB՞;"J\y,tHۭs3yoO:F$fr7#(*1z}5|B$">DgYZ3f11ee627b46b38ee37aa1ea5e54053218a7b87a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 d14ebc381d572bebf2394c32a3f16a010caae51e