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 yy[;v ,T ]]Stone_Relation_Algebras:threads=4elapsed=73.777cpu=143.688gc=4.2807zXZִF! ߕ]ŗXiɟH)0%ocoRx؂zۈАe 8 Q:b`3NDg_o'l{t+VICvM Ծ>*Q }'uFA^q>po]t7y_XmFo<ix>pgjH0 q(x5 wD*n˜rށQWFRrUGURIc5χT133 yJ.T7b6[>-֒lKiNt9EFUO9TU_)]|RVRénC?F i}a=djkZv5ҲqC FW%.v.GoW 3l&Wnj)im2Kc7ZA+I]1ɰ_=MkFz9{gӹY"$O*?vZՍu@Ql͞_O}~bzUguLOWsWDžv;4Tl [,LBڷ6d뼓lv˰dbSlv_(\݌%bL'Zyk mp @r0qWJhk2Qwpb]WDȓֶvE|  Vrs?e)醯"!R G6K]5cɴ5 zUͻ[-tt"}$wv 6~ to5[Dx_1TӇp Ri1A3 v٧xf,9l xﶿsqΤe ǛǧKa4%JPUnsDQA,'0#SrZ_j *с^X^]U@d̮a?s*8hO۬!8nvݓ̋cedސ&V&R򓮄V_dSN,tJDIZٖ5ka N82 ExBW}I Ia"%'8y'UDEd} DY֥M|ygCXvD9ݍs Rh5M+_jU vxeèD_F0 ywޢt@Xx#K:eV7&SЏIK 6^@8D$ҺB,8gg#DWV \~-aKz_Pbzga4%֝|d}q_hm;orwT,>*Gkms8^HNrH\)sc8I,#6Y~E -y.BDbl2klY52iRp0}4{_ooP"$Fo~ >h GzԯeE}z C7Z?\C&31N7:BetKڽ>WD'\ KXb#V{T \q)cN1Ʀm55t'3`*cmS=H(ހ#`MLソ$=VBYg͐jO~i/÷zV ͖R̯i(Iy\b?dn1p|zS/4 lfI/|Ձ0Ol"7i[zmN[a"Q5Aߑ8A9>$ڭk:ŶՍcmRp.+Aa(R9}OJl_DKV'QދIl^3hˉ:j[_Z\-UtQ?56e+?v6Ds+0|џ) k0 &= 8ߧTgYS< b!<;bY/'}Զj#퍌vHG]{PR⇈}GhuVjIh=veݧNiY0m* >= ; Stone_Relation_Algebras  f[OVU@qn% '6|tKS_7Mj> axb6bGlo)X;P uE@|P!X?"lE'%4~\awkm9j-oM^ĭĤ'(~/.@yء؅Aa _:Mi8;$qs2܉S,ۦe2L&ϖ4ڎ.чD%RL3N˽Q;xO3IOW(DCP mѩge?X7LU˩tNl7{So>$BQw P&_-G%F I9[}sL pDv̼4XD&@ޚ-= 3˘G dH14H84 HS+jŷl?_}_n SX3XvADNQ(L%Jp%5`hTİSgCk;Ǹ*=9)^!QU*x(xxx^WpLҐ̍ Þhq?DסQD6 }y,inc"YPvUgI$3x;e)@w0CkY*q<;6M*죘Z6~dMĻY]th/V+ݩz>?XPLi/垺xIv7rNHAJ&e$m݁X8AbkfuXgu\,PQ\nٰ Bp.-HDFtERuqW|L-5TxUsuaXcӉic_\Af*/@=vlM).y3k`(CWINGRno֜Ÿt?竏*CW>z8%E;5ؖ&))WQώup &i#3#׈I=d8w':Pjbֲj% dL:AoU+N1˂c][1%2:o8U!` l1&*h).nm6ڼ/Dq,dx͟0lb3ݹpyDýMJt-p8Ɍ ?ʷgJo֐a۽B\ׁ I>j IQ8RgÒY3"&8E=0Es0mbG6VA^,=0C<6'56t=G>n/p@ z}U d0lhbTѯ3KLLn,[Uȴ9Bh(C~ tb(GflWd'*&Msxz*96oJ4b3]pK/mEƷ#k3"R_F#/Mz<"a :)LC%}.m&Q(;</_[oȧ{M?ܪ#T!:˫2^cUSyyK=_TD]y$]w#ߨ*] 듑R]KbQ7yCG8 O"lO0hYt`#;# \'/NT QC=z;R1S!7.XҶs9q8NM1+`O$wcP`ÊQ.5FnI;)Ϫ}0YmyQD׸n&vuSk vh+vv̧T8O2/0+pBG"1'{('Vi\l.u$:Վy@RS v?tbZ4Tz=X+N.Nu~]tg@2͹NWV˥"y)z4?mԤb<)wdCOjA` qGcUA 7PfB/,wi@Ps" YKxII0L>x %;*L-SxKxɂez[{͈fJt9nB:J\x-opˏs.Z_ͪǠZ{ !+zezHxOUDL^SO][FTA~p>,W22u V>|k~NJMF@igaʱ_IQhHv)e):W$+dXk4xA]~?$yA;Wh>Y@x;9#&]r /+#*,'x -RnOnUF\g[\fQc 禍mʊĹIZAO4/Ȗ鎶L)_oDuTg}N; u Mmgt#=ruK'HZG׾r){ zC)x:MAUDf>Y+"x\ZQ [0s,4*i&"0}i#-'ȹ7wY#B ;@iFHFԊT+}#Le[ 2QC.4{NG,$6ax,s&ڗ 'bfˉ,•ˇe@B*^ 1I>՟*1k&/hw9Ԍb##UNe!_q^%|<-  _YKbvc]{DvW-X#U H| ߤ95إ0O†M!7?=d:v@h<mX)^#Y()O=4 =UاBDKO rc!2yt`l8[n6hH4I_]uwۂ.^O*[ݔx^+gH!orF CYdp7mnC ~ Ϩ_xL:yqZM&[[gz0f]Jx|X%VOIiHʮ>ƷW15/Jx|:߈sD2 {l*ZӲ2DT}ڝ([}˅@8*^ȌJ rGg/JMlE\@#+saYhitK&9Y䎧i0,210 Ko2OTA@Acy`ND0ٹl-Т[=h'<,68?k ,$КMь@)$&5ë́c䂕uS55< 4Pn0靇f06UӏN9 K[3)ϮP7(hiH;6$^؄Ej:늗HurF_ǓUh@$@G>Ebck:QxdТ(dxpoM _qx""J`ATt;ىldA p,fPg68:Zׁ ȕ| _ FoଇZ+vK<|,fX';=8x;:eGI9*^# I:ކ b_YΕ04po]u=xfZ' /;vtKֽg-l|_!q yE_J^) .fISоU>4#ʒ|= ,6ʩ'S}@f 3Z9z^( *ъ,{+jHN42 :JcMn6كd{ h_ʶmi*hmYoN , Mdz^&7nl=HħA13+r;L󔠨EieLElZq(H>=Ecbi (ט:qpmI.-0Q0q@NNe΂1zK`_snE/FS} r)`rxU"E nj]dy8z% |$9;t/xG  ,C.:${O 8E!s<# M<#\;pƄ M<o E_h1/O-XS~,%1.|:$3)ږEd56vR3rb.^h\$nn7KƈOuI 94Uz΀p$7zᮒ woU3w,gCmױ hZi19~H* \vűþkg)u!fH]:"R,T)BY>Ř^N͓-~.$#tZ!Q;07?GcrZ7@F3PJ:ZQdL8|Iz"ZLۂ .bh EYs3Æ.Ib̐q kS{?pz@4n  _і+[k"~ӼUYH&r /!gyO8lhꪭl, k3J%?:|D\ݑm[:hGSJOIkR47H72?F20Ià:nmru ~,+kh|/9g 1%נ 4 h)nH帮B݅axCI0fsv !n],Od%)ܞ#<1MCo!Ԫ"Į( OHc%]X>qJhP;ߗԘ5c $厵ow|$-(0r&lۊ1Q{dtmjՠ?̎ ELmruEN&/\LpNPw+kmYS |դGZ? J1:̠1N:O BoR<̬u$Usgw֣U!1U 0@ل\e.TN`FעJvA+pؽ 0@%[_EAoW?5SYStZQm՜g3Ir|m/pu8bطNIc}%ZV8C>1&,g,E}$$ nn!4s?'Xh׶o݀709\TDXPU&*v!YډrY}T7&8NDyiI)G=D2`A)Va_J:v@/ڷkemnr1%#l\lj˔>B.@Gsy:b)vmȝ ;H%^gulJ}d3޻/Ԉ_$^6G]+e1+\ֲF q ;>5PiƇŠZ?[>X2yPldp!v38=II[ 9Ty `K*@IfLA4tceǖ$|g,hNw~=U-er)-)C]9 0]jK7|[M>} 4HAܶCvm?H+ OݳqHf_ 7b̢5UXAY!䑟?p˸W/CWutiݗi(GRFЊd4Ο;60u߯ݣhP*RiadJ ءRB. )N8=h'q9؍D=-%DSMuA_L^H/܍s vTӡ֔|87;e٥]X@Zz=. Ӿ\: } 7+5W\U2d_'q ~Eӏ) |GbSR} 'cQ^l։- $b(֜)XjEFb(Qt *r5S~k}QORL}1V_ 35qqJ 5/s(Gw`,ܙ`*ӵA*^G=">-p\ NL1 푷"ךa 8&}%ೱ@ eK@x8ҲC*#8qj 8~ F4ƍ˝ &GD_ ^|¼KD0(j)Q_}@6l ,EꗣwTȚJH8Ő:lEsLU^hnzGu{AµWU݌9@ҳ׼*3aM(Tsz*L+ %ưj.sjshR_0)r;hT]MZ ^wK!&{Xז(qUҳ^_a%5 )-^y3\ONܒ/R0"z]6tr!p)j1]0gL{x=%M8(_Zj`-|TxGmʰBg-5>D_tbFw|#vëW}_\{M|B^oϤf!,3~lC6*c^ߘ(u$ڗjw2C=Fr?Hq|V##r㔲=K͠)>9#c&D#kNR;=a=Vjh۵qG?WBi+xZq)c+HtGKCI-)ڍZS3߅ *xԀ9 :ZW_68ZeBKK?^$=WE%WkHNEbg?ѹEdLrPpNz)ah _XA1Qjr3+y/)*n=}8-@fRN_ SװTw=ZUT#GX_ϑlݗ^PZ.sy~kWX)j~O}OM>ߵrⴂ_Iԝ2Fm g$ ^Yǝ- p fiVaHhgE\یi".Kcj +Y?fQ aG{Iha #PKNR/f{*6uSR*YuvOR޷814V:M o"Qe,~klwzW"rxi&&if)+|Wˤ]^.ϔ 0G|LBAs Qt8GRt}";il8U]ohf$×úGR[^HZɈ.\ ;͚aO, lE4*rXmܛW"|F\md-RoH~_\.$uf:cP`-{wH^ ;\3}`ϒش:t+VGd ӏytQٯGoaMz^bS b7$Y4Vm4~ Az1~?7?4f!rMunEBSD+NV{o0>ElI9 $7DN{8= mm<۹Z>>g =g" [? S{I^7Mgj-` 4x0tX1u߻Wim$1^\ܺem˫Ѿ`E "rbSK۸,l?nK$?\$ٕN1PO=~̿'.,GkI֝_,V"pvZp ^SEk]q |~E 7 b: 2YhܽK$=sqho_% {kG$|d=I>M0; >[E(;uMxAnuJ:2w:bOU !E)\_2XB`6gĐEAr8db>Z@cC{;s%, g7f:Gx;yJCSPꚵ1cc@*U,^~0t@ӃOBG eĢ9Tfey)OLύi[fR4 O !0vsRޥ2J֖j*k9BXv 7{,YGMxK!s0ts}F=!4/obf`,{9?(ne"qΖ򞕃pĤ pxMXKRSel'F.I˵}q%e\ەAu>i9܉&;<-W7B4ַ [ꎋa-E䡘q("ds@[Oo ΋7B>Z]^hw6zxmv$ d ĶCv~z>'Br;]6;GeElMgFW;uq9;F#zX !`vJ;qI=45`+)bPR QzQ;6e8jȴǑ^ǻqZ{3waN`!)*dU@ѺE"?bv*G^LFA]5JMR@څW"'GEt$oP)Gv4h*pϾҴ<:E='7ru5UɔM`$ qxgao$/?;?` (1q9<*cL݊MXςNM8xG2 AxY] !["`>|ȍ 3Ǯ@]t{6" T0>p MdSsp":\'APRk.R )'I/f6O(449,\ 8F!Nύf%럽S0vOTsc.32?˦ɢI0[cZB >5կ j*ȾE9= {ypc*fX@2l-M&3 {٧3F Z啯߻v[sYy"9«2 ]hek-axAHJ,|PMEGU˨#ew4R.o2ϨQfrySEK:MXszQ_Ȥd\05 "IjL! lp&E2uV-~lsL\kfDғWC3kƦA3:p_niI~0 ۫KU]YsNy-ػ-Cy meǶ0U$7$'Dv'^g,yĔ-] K{TuRr?C`Gn&hvAP6\ܗSBnq@n(JW}ftN/=bF]qB~h,ֱ @1_H Ǣqd-T.PX4$s&5E|y.cd41\H`30q͔. xEʴ fʪδ)$KK>c\P7mB&?|%+{U;Zd A; ]s]-ۭU$7ɭdTv61ƃrL`1kۜ3h * lss.c{K&hi4@CW}읳{=GƯ `slΞ-N+4ArE7BEѿի]QȰB g915'aU^ьNWdٶa!EkfIL5F#01n4OB#x |ZQR<@\۸gҘ+~f@p|$YNx~j!%=RmYs<̌tbh?9?6 !>Gf%UvK~yD ] l1KU[vG}M:x^`@3(Mwqir6k4NNA9𫕟̨J$!Ҹvx9BβYQk; T C2^p_eX8`z=jG@YmI<~ĀDuI c5n|a ,$=L@Nj5m>^%KUs"ִeoz5#ڥ.F}]TFY8.7 B&Nh(`x==б(5 >i,&zzhY'<(䓻a[ Sgv(:!̃X} ī=!iQ@G}D/+*cl([vtƳ5YK|5EfE/"9@Ds#A1_u}Fzua9,[#g=ԍͭdn2ANYSc9DRb-TIw1u[+uǾVw,XʺP{pWz(,S_3th 2ϼx)u8{ [oٸT: '0nXp⳷-orKGibU:,G#k+t/͙@?m-kdB]oiXP?5EygpۉXm u|>"%2+_솃T{:Ov1I 9q\RfSxB2Zo7YR (~BE^pR ޑ.  gc|9bR4t4xFwEjxSSoXӼ܄Ŗz;dzH!J`H@Γ{࿶є:8JEjį˫]6o`0to+cc$e" |e9C|]9LvY &ǶkK男yO!x&^نQ/; fprṛ6.5nW!?CWjfQ W@:cնj8z ؜v Fyh)2; ?(8]qQ}{Rzvuz7&PBo;_i`W# N 8 {@М+a`>՘)Udv-r]dئm l+fb})x(Fә/6'++EeqrQ']"ӄAVEMQwiNqt47y6J[$ZPvfÑV aGIO$X ^91D$Rj=g2 8JJL9Z'q=$֜0;JăzNYdm3TJ%t@c茼 NUVh˨ꂻR\;!ǽw"SȽ1PW=Sngx{9qrR~<8r]bT@u,kjn1>k6VGŽκp UЈ:'VK3jO쩗m4Q@vS2JψzB0A7*7XBL*o= 5{{Lヵ–1[kJZdzI3&h+{SMrGp!(+-^<ɋ KɈgՖ79b>\N_7x}z /&SJmO_/򛼂< a9$ӈSmŸ`s 9I$`~,'m],q\ [.>' cͣR!OB&?F.VH1b vw9^C Z-q07ט$k|3d9VB׈fD; [t."3`Tڅ eT+ojJxBZ-'k%sz`Z,ԛ"qIF9eI0IR"P%0Q{+h\~hl1HfOZ i,xAK)|ϙWNN$UEaeDSiKVꐅN-׸ߛFePظlbm0ᦻ[!Td| r EiUtW^f~Ec>w+Xy;`*-x4`&I^`M- &{ R!+R)Ҧ4n ߴ-c|͊Ʒ*+.S"D U}~ H9ȰpZںNJf fZhދjMCn9@n:v=K4K:U\к ; cHS,PΣ-&$ 4d@픬c?a SBc3Q_Aq+؆{#piI7gѡ !eieUj}6ƾĻR?kBi:dӞNf32qݔҕҫ&c0#qt5lV7F6F骶}b(LsXZM8tFk5ymE)$HnAU2 /muH aZcF%2aP5v Dx8nđMSD#04R fhfS%kg}H1 oc\'BR{ ]6A\`d\vw<"Aw8?2GqBX*6!Em{H_ev;(EtwrI:*}\ɯdľe U.K;f\i$ᎄe )T gU o@:]Ydq5a;1ln2B8=)\wOgH<| 2?hδiCr:\ |YP| 36 0)YG#j-W<lh~wc??%~'}ĉ8ݺ }AWT?AϥVCQp-gsC,`|CrTo 1,Sډh_.GW{ EhFf3ң-No3#uWΚϔNj5㑆{o7Wp-<#MW6'_/3LhB kj7j馟m'bM'^Q'g֟/,}Wࢽ߶4ˎ8!iQY+:iQ)JRGY} cғ 5O,ޣi]T;ٛI/ls2J?o%…I Lܭ.ogNe~MdI/o>a4rӲ&WFA7|3@@BViL<{oce'6#Bڎ'w;#DdYdY^j} Ut%33R0#putͅhaMl:_kV2\toqc&?h13e%҆@bFh{.<(Gܖ)qNj%݁[&)Ŝ6mJ6\pCQx3wDIXRs- w, !CDB),ǤB<0d&j"*{q%%e=5Pjtf1 yñ!ムQ;,s侌7Cov#Kc$ՓsveMV T-?](.1c<>ҜM*J`w:x0pPw=P+\z۵)8ov%}F 6-g]8n@kDh;tNh}gK:S̔O 2Y[0d{%Jv`qkK Y.>L+|O(LJ \iL6"j'de6>C#)y*:4C8sZ+-J@D<7~1-Zv$y}]^\L$+x (6K[EkSUH7 Ĵt`&,s/~nQP!e'eXS`4NM#4%d~J1Pa)AK"<$]--d71kħ ?+ZDwovVM Pډ:`hGhHR/or.ab=hWXkl 6OqQLq_>iK+2Mֈ=):g8V53]*ݪ+^#kjh3(\*ȳ !3氻>S#~-k8cYJHQ\׸ ΓxEƦ_cjh`N'VώʢXȾT98xG'CCI dX, ./S,خ3d5WPJr. TB`U;M!ľSP+n%B{U{<*? Z1;<*և6ʍuK `ݵU5 +.NVNbukv0>/~ |.Jb=Ǽl%::T1 ˱#qȋI$ȋsX2I41Aж."v"/ jS֝ ՞>m#Cp_٤:z&L&R}ܴ7Bs$%lO{LZD>!4#oRZqir A<.sDG"tL9[2!=8WJ͘0EQYq1!t{;R/ԇX)E_ix>2[tx5ag-~R cA#-4MetG+mJ!*E'zgOp3S(BP3 f/_xv~Iݾ|}+iOl;34Mˮ?BجG=܀ˤk2ԥp5'_OQ\e(5=UWLlbFˆ>}͍4m6t\]CXTJ.mi)l`YBN{ ϟcVsEdrcITpٌׄ釒Yt (OٻVN] cj{U[< ՋI=g8k zdW6<@KF@{u6Rఁr.ɂ/9~mGeiryY|fQgno/bIJa4[u!uU3FJC#ӀF 'Xk'!U'mi nK s)!,#R$6tt 9%_f)u"KpГ:`ᖄtDR1oԁBDkGy_!î 'X@aB% uIܢn 2cA|=ƪu lx@eVr{G 0̀;"tC ,"NyoډdkCǞ**g(MJ]sjz7deMϽP߸[ձ~mw(29}fE0\  ss_ 7anuQ<ؒ`2)m:Xah[gƺkxcm.+-|[MG|nYpZ]wm,J:S*YJ߾jnNsiVZ7BA50p =2bW& }U;b 1_h1 )W2<]f!oU(2q%)èǼimz(wDD(=խ$SGuDK5 kdy>_f7LMl̸_d**Q-xFykHi]5c!'V+%v( 14he"ߖ>{Hݥ_A\kӝbX@)ѫƗgg^%Kq6ْ X"ĭpnD[|wtt0;wu?MNkGhj>nkX܆n:%"bKeof>_%egmO&m;+TpPDCg [Dqd!ZbiQүqG C,ЯOnkΟ~[ 72`RIh).h/CmY*K$aO(7KtH2A$c0f\@h7sNM$^ug=wWow&YKtE<,q*e>j/:C _hژFk}JŻ N#"mҹ(\Lx C,3t'EP-l6.-;e"(TXfc{, Z_{U"Eħ*FsvPzR(GaQ%%dݷw E)m4/Bp$mt| F@Eq'L˫sGT=vj:&68rFVM̾.| m0jĶXqyK .ɐʋmI#^l\vv}rFAEZ'5P@ c5fE#LaM~FpΙ VIgBl6,iAK96Y~I?~mz5$(8ߑWmj+O!8:+~c:v9x$ jQ"XW3E:Ym'P!i1"Th2jh:džD/`řZ;ROt.F]Lh AbPBpfbjs0x^XFe^xC-s XPm-SU?ɆBh*)VgեGJE鋘Z^=2Jl9hhtd[ npB+<ED{knEMay ,pK5`K'IGMMl4pGUa~ s*e;Ct"!|܃ԹtRyL=| A0+/ю%ylGc Zz t+?z􀵬ǥ-9WMj*4'5u r03!ᔎ 4󥳭LWב+7@W~&=-ݛ-juմϦܟA#aRG@.[\!TZF.$R_%׬giJMs9;@i"z]!lǤ(: iFMdÓ/4;  &VJ%@JS0C]axCjt*"}VנK=/mxLpwǑm(T- L\0:b=׌!j†6bb:*"eElxnCyr[]df?l ] 6lTH!ruj>::,U#6mgj!|oƇ?-7|(zS3rkfM2{%NtٕVr'eh+Js/8YM@&HΣo&Z :~ pQ}*ܙ,]Ih>V[ [F\J:L*Wpڼt!U~sBHy`o}WxtZAD:ϺWzx9Ό{a:Iws =a|3~ щ=Ox>wrj3 `@4' w ߌ]tsEI㹲Doۛs<'ϳ0Y4eP{8(Poi@04Y<(d* ݚuM1Hiկnm,(A#lbϙi(O Nځg4=e<QK "qvS8ܗ|֋ɭ1d ȕ-8 qo8Vt+3 3`K=&i**H5\6g2J6 *wݿ0biz҆|Pu9Fe=tiYȝD5DC"s=5kD̸Z'n>5?hp1 yÆ,6ǘ?Q34(s |ȣ0fl$oM"&8:D ذVvd/J?#4!'6T & 7iE{-y4yoAOhR}'NLֳ0r,#n]^xVX2omR=Kȉ,X`om\VvXEu*LI3)w*gFp $,N4RϷ%}nl?XX8bCdc4F[[3X~n^bϕ0qL9i' l:C,ͣ]EXmfeєzy>|uZ Y)CDL|^XݔdBA1g2pZ@%{NʥM& Ʊ5C|4yf>vHʐB0SEju ;T?&z 2ǏY\p;ݦCJz)qR:'$oHZƊI itD3n+Č&f&X\t9 6Z%\^-2p@ICe RP!Z7;Ig 7E$sXQؚE;߸6$&0 ~ ?5߶a`T}$<;{̺h #&$njĵy*BՈ3Τ-|+%sՆllR9~{;Hc&x-B`\C@|PIçzAgd&ɥzݾ\Ң92yk,Hzr IUX`"_RQ4bOT6q_q '\qOb/;ZQL40"rM?"([ gClR^m߯Hrk;!{5P:I-x rNTe> VAL@XyOe8봏 gǮ=y|8 WKNZk)Mސl~8qVXfW3ܽ'!`&#.D;27AC [ѥvEi3jN-A6@9@(!o RY/lņU-J+Q~= *uS 83iՍ 1Vd H U4?J,CX ozsoc_tQnf4s WC0hwkd{xJLz22+8drS)4,gD@2fűQ t-) 1J+Z#]d=uKYm)+MÏ;b!*Th 8 z3g&_SӵwrE#q .%誑Y4@E?@n65{ Zy~r+I, VhWr0$ 妛Yf~լ/4, yG܂meZN轫7lB<=௮H{_doZ {z`jߔ (kUW% :`/7(L)QY09=dlJH;Eoc@3H #6:6Y>_ħK^9@ÛWxmˤ93y#T$M}NkEfxf8;iQ*DNQ=xL Coq-:?de<>/d+̠_b:l\n'|:J{PHI;#{F@.P- `2p$Y/ %1,D{.)Le<5Ֆ~j^FDŽBlCP7j4e Wn1Lk5NCr v; G,26kߵiƢ,t q`u'y$5[=5Zåewәotb۰2a(^fV %fo qK\(N;k{!ZҺS/>-1=.Uԭjzk|3-SU-u$gn1,볼 pX}J!}< f+ӳXfxXU"Bex/Cy~|B`[k+rqV ~eڗ5X4p:lLI(Y,簩]g128\\;8 b+Ym6ć|ULS##d_]k8۪++e=~1tilxD+g!!k[SbiA+Ąfqѓ`%WQ)1>>suI{EK3iHԡ@|i83Zz^b/Gl|Q" 3%N'sݐXwtk#5{.lo~u] h*ID=t* [``^5WH]QbvM(;_)>fMWL 4-,FpYxʔ|->B m_lԾqFPmͳ1RrU|,3i0k\Elp]:HRY BVKB6 q}=F*=ՆЎW9JaCE \ %JQ+"BE7ɼmB; .u[;οs8H ,m(# j %BZP~r1:ZZW$i@ .~%8Ek'_Q?e,sB~LE3Dqݽ jDB`7!ts4,3HZ9A`'gfzp3bNfP4e1 mxn͎gppLqڶS,+ᮂ+\"xcCO[D^)$ !/>4FjbVj5JpUvY&͍zE kQ̫1٣ }5= ؗ*(vǯn Q0ԃ@,&(~J}oYG.ܡ. \W3v{,HqoP1I ݭ*e¼Y[iZf@Z'˜^wIoQ;3ڍO\$kg4!4Ph;*'iαT/ctGܭEE6xljF-^|,s y7u@zE 0|)JCdDI4yKC_V<m'C&%S{S5!XBŅ#`/fxFTq7@Pz)ٗ>УIsmb\e+On탹/&Ǿ/LAF(:˞"?o R^эHhci~(WQWؓ6$ޝ; ZuD馄 3cbԏ,Of*^ZCv.3t쏦៌QI{y"Ff ^[rmQS3 ?"p<"+8ԌBad'7'? lZ1~u@,%Q\ ݞeD/w ZRN*|a3HYH7P$ mu|-jnRM HΪb#AyѱUYsڰyw&ǧnJ\HG">ÚA%FNA!C{#Z%Rw`; ^Hh0&$c2?̾p gn>hoț- M%s~}<3֪P^fn3]paaJ:S \ 1Rai(`9IJ7҂ E#[**;4FfoQȮ}Q.(?G?#ztH3Bb 17 Y ӡBTFNKBSgŢ5RtMfkG^Xl%6+DلZʄ@.?T#R}. hUD+oĀGe>-`tu@S- cTVI" +}oީ,y̗s%WEGUWlW?b=ąmsC0p%+AfzNn(ƎQGylt٘D~h?RmAlb x G 5؜#mxj'{'"GpV7E@0?e: eV>I.Zqnњ҄,=7LrS&F45eeC>R)B v ~6Z<* º3t,i~1"\%XdQD*ք,5PjG[ yeL.X:r8ZcFtnByʥ^k@}fs ip7!ڑ`4Yʼn.v޿ر{|Q)S b}a4. ݨm8~!c]o]*hꖌP@ؕ]ivnosXnM 'Ս#GFFZ5䋅q?;fjD,a?uoY!BqZlJRO;4[>~N0C*4e.~nc[@[8I:?_2U@JO p2 LLZWf foR6}? om5Q\T/+r88Χ V_/@rcV^*ӕ,UwHL|E#.fu_t7; oКF4{ TC~Q2ibȖ2jy lr̀t>A,r[f[o\B]Sg}GuaYz}H7 +s!=\Y\$#Eb[@v䥂.l_q7Sx]⯹~KYX9;=e601Y6CrS~m qk8NsYC\|X>,"@HhbVʭtڽ+::$;$\RI*!%#[W͘m C .ܲV04l_~tg]i42`,{y@ɔ)jRѧQ1HPᮑ!O+U`&[iNK'DIֳ08g y0Brf5cFAa Ϊ=\wwxAUU/{^|SR%,;nGJѬqHPطmw8߲Zu([$eQ(RNc;z-"& CͅyF]@a)r- >ܲ㯮H6T4԰ xO5_7tͩH z=70mFp( %]r_ Q~S ֲrw_x4)$$tZ𱃒o>? ^7?]P/]C,=4QD[7Qb@\䔴Vx_FmaeWU>;qil46X,sB^GЄD?`q4RkqOL|0}yK?!J ۻ2k,IXUQM> 3[*-t:r (\7YmFB0|pC71P$wh*|+N:<2/j {K8Jy3S8?Ou ;ƒH/kayCEe څ w"іӑOOzP^0FFhmBW|39%u_ X0s`> %_#CDZ J4fv9<$(` @5Hr92NY3,3F`&qcyfjeXVӼ&ُ\L܍9za OY>{  uFm.WH]e7& ŌՕ'0W+bFdEe|+DRBOx _bv+S-iݼ.a& hēǡ\1^-OC17Tm l A^K@Bsֹl*FݓTq\M&JKsa Xak{TiSԍvomq\RǂmnH'ohMI'Lq BJ6q܏(gYZ7zXZִF! 6]ŗXiɟ3:WX2V^M '7xwB.]Y1(Z)xɃ]NXmހ :~7@Ր &;If$ !-C.;!hP*@kghi.f)%WX/M'>"& ! F'CcoKmp~!u@%xCkgYZ7zXZִF! h]ŗXi%L&},n`x5{n[ z+ytLߙ@q!g{]Jg| oK9h^ @= OK @jKu1&}ㄴ6 q8 *B>Vkt88)Ipf R-0op}pF#__1>cu]LpDbVtEGs1op$iGEɰAuwEu|N-ȠGwңcDI xVw?-XqYܷWd Z)ȰO$֜ICu62d~!goYn㲇6֜:ֽNa$888*;J4yͿ+ypD淊8ЉQıG5".k #EaN$O+ aָ~gXDݹoU]j%{{?G/{fyFswK8A%lGӿbQm07& /6B/}W-cɲ]\pg7J8t E>OTI.V]忈 K)աX{֢u%@9f'Э#<?OG<3#2-<e %;&(/_q5҇oAH̗cn(r=+YEK29[E #w-ʔS\1jFT,{؁ҼڅQ~c\gxZ&(2RPlQeYy$mCy&z;@A؂srefxk\Az-'^/~CBC%l !:.t(=GTO`# FR+ܱjŐM8Y 7Hl3܇ L2G簽# A>{waSyGxT;e gKrU!j_ɮ(:`jri[` _w׮oqG_ \O^%V ` n pd63l3 {̔^&_1Xs.O:Rwq|O'e"-$^&&ҼB;QX|3_nNfK=dCL:?XRp]\s_> h+.d}wꃈ,lV:rfܲvMvo !;FxP31YɪrO\GSl=$mi-qJT_ksnkKɨErqW-Ѵ"5+@nW=^$aFͰHJrkP+mzFBno @_"5 ֛?P_ $_R4%MQщYѶֲD LuGd+^3I;L~}eI;2@[Dqt mOL|W7d:=T<H- 7 g]\Ϟ57$u ~<%^ٱE?N5xƸ-!ZdD;ܤa9R "9-hԶ-v^c/B2O0AS1Kro |D q|K, SwoMݼ@l.\:$ƹJneZ/Zl9|Nūs\(4< F-nJ~/Up2ʑ,' N6,͈i2MØGTE_(+CgoCpbh)DP ulvN$1;!qG|)sxV!V2MAŢi(XH#/(#w.Ac27`U>{ m~:2Y5-;Zp S9pdх MB՗YE/z/l}jM-gcp8*|@{ '+ƪJ%( SrR i4u uwwa'\iqHcdl_SnF o_[w;:Kg#X40h_{:#@&o_b~QsD<Ϋ=4".^.ܕX6mSf.A{bC3P#nm:ϕxvgBtDCb^Qy2}u z]X98)OpGndlۦ>ȣmF٩Z¦#ޏl$#-a)-)G1"k`ImOQfnH"d\EnҦz|iڄbHg}G'$Mc#x2zon *&jxo