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 _ttD ]/ PropResPI:threads=4elapsed=14.808cpu=30.772gc=1.1327zXZִF! yrH]ŗXiɟH)0%o|**&h$&Nib}K?se6m-a0ŹStFu([6%֤[HF2S @ Nϧ 4 ;"K0mjkZ`۞_u H.g?"{|=`҂K@M`&익3m}Ejyf&jz`m[ ۾ۗ5djb)o{ci!EE:?0ltJ3RTs[3>S흝1S ynf_n/ulJtYV^RNz`<2!C:cغE 9 4p&dp< 5tbP&m:2ƚf΁y"vJOL7/՞.}ͭѴD${Ap=c:i2UJcSs 3=l#wv?gNO@]0<MdȏJH$}n(o.@ޙCgoO#{5O}k@F9@'Q?EXzc&4y†<ð$4FGg5D8ǤçXU (yTt\{!}Vܭl\>?Ýv.[ZQI'aP%Kof'mJ'5zYѰi߼ސk%\ENHgMǥvL+b鄥ֹjO>H^QRH)TC6M9Bo.C_9J4"-3g z.W<P.eB>l bSƠul8 6p͂P:ZnJ2&o;٘+EĂa ΃߰0 ?(&-lBȗeOl ({ryӽɖ)~ VŊU :Γ,Ķ+N`33T؊]yoETzAݩ_u֠ٗ1,^i^^UGR;34>shua&"_s̓'&Qh挴H+RsoބrőuesOY"ϗG잼6$#}s0z-s<׆ Qp#]hfn\3ulqX\dgC+#|;@rB < & ٸIYߞ]؇#U>RȄ>ulD1d:=܉ɬaLsh- d^rLL|qYfq;ZYl;>J]1 4 f~!74 LGFk&XztU<]dNr/MT/PF>d:So!N{zKyꓝ5@eOk/mo$?֡ x4H1+P BIxEíi/@BkvC+J(uv D6o$2z=آs'cՈF1DnPTERaPL@H17u›% NPeYa|bR/`|>POi m0IG?ު,`䯹{/=`.w+\t:L ǩBթ<)7<2!s`ތW=zcܬ5#!=4' of`@(pLl[|y17K)Dc"%2k`k6Js G1&ܮشQ=MaHLWk.Bz)˽`J}#‡\ &?TN[M)E1Ku5j D$B2iۗ:FEH~/jWOd6X!M f*>NQE1_4J0f=tS+Y{|rYǡ>?'e#G ƱrYg:?p   PropResPI  Y380WBsǢ E~Pq6?H&Lz|7}RсwVN~P>e,q+2Sm@X̂0'lLeYs!lkyO\\+~<<7b޳ Ip̹Bc&ĶR13:V/tE N.P\NQ1hMWD?Zwe%4 5s`cI z1ẘN~n!u4@yDdv^Yg~gL&Z!~3{ImzK@Q;TFçݱvzY_k=~4 Q/쯎~ю:$V-a3@W!SJE i*FXd&54v&LHYl4MJu/3UEfYgk-NA,QQحd6u6YW얓)t=R */(MUR{I1,4;". YUBkPƧ{ݯ2,JgNx~vXމD[6wjL-`ha@2Rr{A b2viYZ8u^v%ąqU$I`vQKb- i]_,g8k%z Hdc3mI1b9C d|3H3)C(yr\~!=OؔPک3۟T—.Ŕ09?0$LJ!](0{B&jlZʽɟ^n{Sr1׎-HiSRnX:*R _HqߢCYM wZdX$hgd6@P_巚k^|A154ώAF{QۥvMhydyR{ˏxty/Κ2||-IZ 0C5*k2>EAE1`W*!}7s:Y^x!|Е&iU܀J8뚚P_eMulseOJ{Q;x |ۍhبZ]fz>&2 &ɞ L XcM_Ak؝T~9ZzSY+LJ/ cV.&.V![J-煌Y bQNՖPOٮu'=gI@s"%u _Ib9Nw~Mf=[k\4T[)b[^<+.њ_Mgo ›U;jq*4kmFRzG+zK7'u!!SIDFK{{:)*ycW+N X,gIX? |nZkCG]qKX NݱmɾഓKbyvݛVH)x@mgݴX~" o%vnZf*-džm6wtϖS+XP)5-K~i2$wW,aL"\dJ+ U};]yyYMyD6h BI(obd IrZz9WQ@z'.q\2R6?E |^q.uHɘ 7YQi`Bd@бX9Š#jz'81!pg jq'7$&0mO ̨ Z:vfA2)=-e.aie%8=lOr}r+U= TL{SQd*G_:˺L^a:OjnD@_hB@VfVΝ!Ѝ Wf mr4FOc )+_ ˺^Kd Z⾎+ڇ|8Gg3U oϬ_y(IZzDɶd̤2(Y # qo2P:=#_`j47Ax, ;ߣЭzBRrSo+oWVf)bUezs=ء>aVHd-d-W$Q^?e.{P ?Z 0}%B i2uW|I9we<.ߵB;&qXS{xS&܇lwyT(AIT=}`uo&c `fm ݑ*ۄawfUJ;xS@(^>1HtyJd42y%9ch0yLCx}I:/1FuNV8SWj˚X[Y| :CE>rap_I 7BcnWUӆg3U=%kvDk:f.Nͻh %ҽɌ-i-4{̅d||;U ;Q?GU0 ?Hb(oXQ~mf@Z:/2UK~̱X'v'QE[ ~TwxTyOWX7l !<8_}')s_T Q%wԯ ;g@|HslOK?%zah˽+~|74/K\N&ڣc$skq#"@Cs;}D/i&̫®# h']F ޼x;$Qh[57oV(䏻NE~ [K!a5 ETRLi&O!= }2MR80W#%``1Mvd!]0 k?D"7 ,;6ZB`7N=2TR "Vj{2/ < ]}pbl3%lGo *kJ!29 կ.pFv/mvaN AYXqY&gi˅iʪ w|+\U3p44U&0nVNZ{ޖ fw1H)Y;W]xϾ41'>>*eeXyWu(~>EM9ըyRᒝUQe̴aB _ҧT`5>~7Nk 2#CkCs8Hyc_\B2>;e 346t$1q=/J3}tLHZJhEW+V{>2M xb0kB_; j:b9vܪV^^"o+GJTFr\gGGB{E]cǹU m7#>tܢc$E˿F]Zn׾F")ڴi(5+p.mE too]3B@,{4%tIb'-<]A/;BPB6Q# &s.h8IF$vJ,}f2/hǑp}Q^DS/:2AC8[[-n,4iQ-y;=Zw&wCy13p+B4w_YHהIzsPw, B)KƥmkeQc+  7W\'kOH0(rn6 pw=lhht$9҇)w2\f@xhl8ߢkݟEL'zq}`6;eBGYkEi) aR".?@SYSn>,^ߺl8!{^=V@= ʀ-BU6T#Edpf Yr~8Û\XjPBķ~8v^ ?z*FصKEF͚!Op &Fc 1` ɚ=6BՖ n$y.98@`r,i90sK2"B1[;ԼQO,;:Y7iIZ#3.p۶ ϸݝ =bdG=y"Clh?bNWhL{6AU5]0)c&q̙BE=ޡ󣒣 aY D.{  ki+ܴ@3!1Z[_L˵jR7o&ڀ2HAY&UWY= T+DE@EF']JjBJ: O9',H)>PwѠUS; . Qs%vk 1ו,OS.S-ZBp'Jd֒ck26`JV*@}W~pUfyf,,? e@a)~WB"/Bttyuݪ=m4bi{n ˑSSD8̔(jс/SLK3״YW֭`[~,d6_!6Z1ߜY_vu*{<` ז9Ϥ9P4Pbpt6Zxfק 0-6o}a49M`i<MHX7KMh8C5"vF7##]``Exr8B#*D$j t69O.0 wQIʑ*C `4/;\xDB 9զts*)̚"%y|A!_`Lq8~e<3=pSZg0=n;]: O2WmtmM[c*=3i; zqѫkKw x)uFœ|Sc1(5Uour=mh'ş%)LQЈnvVk?͹|'r15\W44 ^)RPE{uѣqt,=A9aM_[ubƩt}^9Gm3߉P0c6ꪧ[t1uVAϲ ys WkRQeDTmybQG2W#W.qc{|deCfp2l>G SkE h?^;3f4zmi+^2:$Aq=I@C|^rӰkO{2 d݌F# n`X2Im#u6|:섟̛qJdQ4m9c:[4y'tF|}hG3PO m:;B,Q]'@VJ5+Kx$?f [P+D8 |̊p+ qY'(FgOMkY~(e֮oQ\Z;^y7H <5! ^Ve3 ys|}b#N> NјJin- @ݏZRkŦ]jZRƒ?'g˰gj$W>u%#]DmضCnHTfs{2Lh6/Ohv[:0H0kr4=x~Fb^W[T],NA2n/h;bu7Ϙ">r*1aNҌ,*&(]suFwHһI?@):.`'+X9Skj [.>W}v>lA*y G] ?i,QinŚwgŰJ<b1|)pTc$ef$Usպ#*w c3G]3]XkqAYN H230YtE3g-?OyGbVٳT{ȖcZO*K|Usn QR? IP: "M g}#+h8畷9 /a3rcJ- %mTFu\8UBO碵oe7xn,?'z!vD*Z"0vO8fէc6dY!AT@[nL͵;ѥ=̻T~Y NߒbL%'T&wE`M5ٵͤ.$٭.3O.ihWfL0POg5UO<#"|Jjۣ-por=5ȶq&(:~(E9ӸC|tR.ZM{NB| U6΢P'9v$JqC ͺ_5왤\y(D;rRڥ]@.%vc\'P/ms6qk{-][j!4N*9^1{jXʑ\z魡\ cѩ #yt߼i2;-xIv=ݎI0\ 6jEf4yיU9 :E0LG =(p#F;}0I-θ9#dmNA=JdKM'JuU0_g8;DlE6^LjC0wZ^_ꗎspKFxˢ OȘmqe缆I0K\ϧtsyXI1 ʹy'BgK{i]?c3e6+>3$w9 se 짷&X1Nsy&_pÈaZݹl8@Fflٮ^5$ 7j},Yl؉6(#e+Q1`IG20/D8 A6Ndτ5jՠdShuLJeL#ㆀiw B$[A>Jv-.?xDLx #oT܃A86:InoU`\g @oYj,˂@moj2O[|q-],1rfUS6d[18{]R6 4@=;A]o0A.f$S%l,cGY30Q\1b+/߯в剫Mg~\E[-_Rdvpyb5B`bБ z`N9A %zB{ 3]dGv}C@mAZsOjȘ_tC@[Xb[.J)Go|extF=:Jϸ0)h; Fz;`w`ǁs.~BAkDmo1z!B#&>'ܝ;YϹ=1_*JL1;n ;_L٩yJ o(ȓ_rTmt`ΧX%JQEhл9USlטE7]Uִ""TVݓxF4֩fl)}޴*t;Y+v gU;,<>P[f~z`MGSې-/D:SY@T )ʽD7Tr\A ZOg<ݧ%v{U"~P 5E 2\8@`XPSӈ<iB`%Kᘾ^k9o&=3_0w IwO_87:0' HKL@+Λ]/g["b12Õh(-0BeEv+laeGSbZS[1D0$j/=GlWZԞ+2$&| IY ?@J3ⱼ3EyϝvQit_O]{Y]$cVlTΕ ݤpd /,@HAH,,  .P:TD1YHV p@ȼk<~Z4e폷+p9{ 32Qn OUhZ4ۮ`&]0n!Ot/0JPXHa#[.'RmNi/x0ݦ .VCAd kX9?wo10*BT-|O( ,5jqJ(ͽ#&`xKqHYW$˕ծ~vO>g_Z7CWXQ1H0BeL'ǘ,㖕NrEZ-1bv+s:lkىd^S/vjp՞g&v8my%KB|j-)yO k{4l jTkAX.Py^Y 1).' gY-$&;=(,Fh(^۩[,Y *; jiFo~8\#mßJIJ [QqfY=;?ܫ`7sIbݩ[}ޢSֺ8P̶H Gm1\c[֨Iݱ,"qzU-Azlu>U ęz?^ٸa {c$v<pp'imV[ ,6̍@R1~P#s ?e氁a~~?NYQ>جuMuL^A "9Wa[=lJ\0}#w\ERcX@(|K}&m焵al֡˫2)xT <"WRGS#<NVB,6I1&]ڷ{?'ި.J zI)?c"օ=צf$C5C3ygČ kE[׷Bp۪'*ݜ״}γ+X^r7DQQ@ s B^ 'zA52/Dÿ(GFG1HPJ %3e )kcJ T;zAOM=NYC:^LFBAlDnAf~NTEݸ7Rq(|h̯gޮ]ǵ¸rh5U?,4Bp%qD_]htiaU*pO(E;+GlâN勮bnO! ߅K^h<QC:?jP pm ð#^`O@j 7V+`ljFA3dG[ww3ުٱ6\ӡhMKsxCXR|̆`,E0SYҥ{;R{kB*쾡%e,'hγZLxܭQ">H$UE > Ԭ}!$^v.߆NJ37O7,k3 O4,'#Q-%0pM8jG椮LfL4bvW1GK%r)Ƣ=gxz9~ׯ)aܿ]6O=X0٫ll{ !C$! JMI(RnI0S4hšT|,)m"*{EG.Rt^֫?sl3k"5eV3x@rmM7 O%HZ\_ZzAH!_8Y~PgZh,mr}rzeߏ=(v4_:U>:1E3/6d/Fp$&B$)һpoe1exxe5̿fWIq An~ʽ7ToM2;̗^"Åa0 Qz6ml'D ]CPq2XQ?ҥڐOQ -dn!u& lHuLD2w>ӎ&퇪͸Qze g 9멮;dE+dZs=Go/zIFfcdRRӍxW_jcE|?Y̆V ֩Az6m]wwʏүdv (r)tcOl;{LJ/SbhW|UY*%u^d`pg&u-$IN`G͟v:^, Gk~FY{c8@ > &0^@YM ^.3uHhXu.%me5>0}x/bۉzz*Sg K\5%&ـɂ,] +kO8=j(Ӣޤ-I܋hCn9>XvTaҽ6ڃ+A5×|ޓ:2a]O-%\.vS)[pc ,a2%Y ar\✸M3@;1xBztW* ę# 11c77 ޴ϟo(]U۵{5g5Jzsv6|3L@qA .v/k p1B-(eͽRML0 7yp;~j~a╗pyM OÏ4%R٠ߵR(ia^,#j&0S!(h.f;׶hvRR&[,UZa%Ĥ+2X+;y nK5oRTz |cYrG$6 s}AUJ%~ ywKqHgسerLqnP ޫ&ozQcSos-FrV}Y ]L, znimeau&1-&~ W١g\=)U.]eܔh2lca48c٨'vZd϶xKAʻ6fL1h |SsaVv͈"YqblB)\k8avcDN0ؔgvZLI@ nyy?W4+-fլ,,ZZjl 8+ve9t#d΀>!ԃ  Vyh8+! pmM{HUx &Q(Qmҵx Imx͝J?@5MUeX,?=4u?JǬ\:rp]Y]vGvM C̎}UfbpTP6Y E+KkчRfxXu܊1&48O I<|KuᘋuOIG<DzYg6D4 0f:  "3ֹ ݎ*p1Đ8՗y\Rdi&1TW@]eǯTz8!#u,ESL\{uz.Xzo4]u-30`HB+A?DB.ržM c9T#[ǵ)/>3`dٿ+هiL,wPЩa% fR5^K"-Il'd%@J=Ѓ.BB}AlXѤ/Xs,g[Z;(9߳)*-S TZ?, # Vt)Go ܓ=`ThVl v%Y}װ-4~h]Ӫ~ [lϞ- n5 HPkqݥJz<9d' \Wlq8%8ybۤm'ko梭MHl`bL v߅0+5g8{9DHZ3NѻwoWT}J8I@/朮qc劍[xܦY/kAxY 0j?"vZv @>JٟقZce=Zly s%]ujն9ǔ-+!q~ز=X׭`9eyw"p{z1tP 7Vw7E悅{LZ Ռ +ٹWC7E2䣙K, U7]~>G:Bx(j>* \-ǛR_~@QҹEkxXܑ1T&lZ(*asO݌DK+ e-T0f/w+Zuu2##*T.D唪TIyYGEHnf{=_ρ%q6dϢ~-~A:sysL!EĿql%+3䂗S h V*`i} Qd3rM0[ܪFx0$r{%&]L0eUpR-wa=ΌMQIJA 3;gӉnIm S@Vȡj)dP=u1Q;;K,.l1س #|q OL]3b􃷄eJmbhǞ26-n梦)d Is%u3~#x]_E6C$Y1CE\D${u^s@FIޥL <ςK["_#]43bo@ugwɚ4ݵ|oC_+cd(=($ sVf!}L=B*QWmhb D''OosㆄQA{Oruf×+(Z[]6i ,}1sT^柍J$i5g}1-^[){goɑ icYްZMB1˨'"`Ԍ494})e^v$p$xK|P @t`5NMWrKKmV^X3܁0-Wc$k0[f5;01~49+9&фV|Gm6ZńLIo4&^PgR"ԇ4_̳ kX{ 0CzƹGKQq\%gw"yl4i&)t|S 3|6l~T+{ALXұ8M (%&06ocGn0o{WH'0,U0{ pƱ7}N*jV,MNy\*RGv=dLZCAs<} a(&Xv]կE4e3+N%X 4!tnkT!àvWlhth{ tr? CP;(Xhr1 `fh҇]mp YRob:$TOHXV8$92-̄Rzt֥ܜvv#QI\|EьG&tlɪ3WJ(fԇ4.&x`G^rr2*L.= Ca6x?)2lDgW6ݿYm*7=֮ ?r mW4ZnH):DcUnOi 1_{M{}F'B g1 X_8y1B~%;b+~wHںMM"0K x^^`j[#}mEe=]`㐺Li(Uö! =|\5h^V/r'̪Ȱ*aj=J׊&"~{BSSڄ,qt]zֶg쨃z1ˇ)U͔waJ{yY݂Ufԭ G cJ+Lم%/߰o񡐥fDÜs,qA}rp0$'bk;ٵ{Ͼ2HĀ::g9YUWn]CVkeSZYȭe5'KŪnycI}:9‎q֞p>q2뽪{'-sVEeAKVGC yP(ݦq|r{oS@`;ne3Y?<;;\@aUsձ\deTw949D-=Ȫ%PVG͊\wW;*)CEKt\ Rq7ĩRbbMì4VAI&zH.HAך y懶BY /tB2_B06?Ck7 oDo>% @[4(*E%n+5f^ldrŻDaệ'+Yd[Tb?BMGY"G{"Y?>uĝ >A1#]Pv2+BJ0vsuNt}ldf@}( )훝{/~@?N5!S^<; ʉɗ Y̼ eAČk)V!Lb~( Qh_"M*25RtܯMߪvPNťsi'' {tZ(3MP4Mg JĈ"+NaQeϒ%2F>*;1˜ o$.%UWP;UGR]FhzG7mʺmjhR7CU@q9̃ܭV 9>E5Qnܯ[J/Mw 8(I2UAuʠQR_}LRFXD&hyO%B Gi @dP`4pQ§2ouw62!:fD79$^c ?X-{9+vjLBee R`rkPb)x%rn2sg?zM@ A̶WTw Uӽ0e5愜CSzwHsyԯt{A r|>۞Yƨ9kN ,T/Qk?6@&6tLvX@t aӼyk=?}K7VVe/* Ѵ{ '2ݹ-Sˏ**݈UE`r^gI,RVZRíi M":JoYHFt(M>k&cA]-W6•Ø!+~NtBp'Mseih- eq}ȓٚX4;Ƴ IpqRIcqv]m+ Kv*0A @Xw{⻦I:賫#Cu0qͤ ޯN?ۧ[M#jj32op7k(Ta]_mu|l*M8dړ0jE $2HNθ4:жBo:&v-M^U>3zlTR #YA[ Y1w/Q0^]R5+Xnl>;>vapI|u<~-nd޲L]0oRIݳK!x7mgbW^-YzQ2Cb6͑a2*`$bϱE7gS@Fy#&r M`6yLMpRifCL!b05}4H(eݾ*/Z(QٺK`^(G.up` W12E? Zm%P5l/c+829ܾNr|\9E ox_ x[$9+fu /Twqth`(ud+%eN6o)QyOEVcQ_tHV>.Rwlv|(3I!׈mN'3dWk9W,]~xц7X,)4D[u O0FNshvTąLCAo`U!F6WSv|GK V쇇zLSx5 Br?aѩlwwVG6s9^2fP 뎋|8 Z{ky8yǥw|׵;U)Uk|񡇣9mʣToLAv.dv0A۩v8 (3N]KlqϡG-xTVY:'ڼZ9(bl(]|S6֦gO."QnnL1K}+\ZW\: ~,G"ƂbbLR+Kg}Ah8gHKV_l@tP40<|IW2moOYx"0E/[RMtbh!Y7mg^ӻȀ`Vf߻kxz M@ZN Ù  !;Ҭ);^e* q_3^~ҹ!> %ˆ%g (߻ޡƢsšx;uٞO e0/$&YESv.dٜXR#r% 7{ @|Wi_fW;KJTa,0d9pvn6{P! H>-e椷V` } ʚTƾxMp%]%5^Yثg!^FHaBCPY}[+넋,+ RTK&et5noA](NcOK(֭j{9J*B 9jӟSf -׾Nю?_yԀ0h"C=#)+Xu;EutRsJuy! !5Wd"dG̟tpʍ:CGvC,WXL ;|U!֊Ή}քAT|4xMȇ{E0WZoIci/#d,1"Z{.hf_'rlEw9?,bdؓ냲qbh2c¬m{/~ k8 QTjΏAg~7;= YGd݄~Ar[䶘ޅR\ $-,h8 *ٻƍh޸M%2E 4Xfz0\`_ FUD[Ulb ?F˭ /W/681sWcjAۼc 6憧),([&DIFи x՚`AY"N9xˣXZ@ uj5\.yQ wx=KLRD"1aueP.3k-) RAyWԦ)R+7XOA>ƠG aLJFY02=\qq 4vzBQ+Mb}B&61|F4̮$\CcxBYn֗k=uclᬂ9kA6z1.a*wARrr. /an{wc5r2dD>-/ELdH_*B^Qy3\5iHRFv(-u+6~ ۩8J8$SnUD4Z΍WVPV赫ö'dge 9MS z* gað,۲ One;LO^-~Cݒ8Lߥ'pcV SB9v[E z||uqe5H~bN^uxw^ &Dv! *g.ݳ#8g~!51ǺzZ%=:GGy8)*ʎ t\ " I*%PT44 w>Fd&n )$qI:մC~_?;h- vˈ8Q5C?!=!8nx Mҕ= YAnf]tZ jէ[_D7  tF;/x.Iכ8.Dyjk񘈾kop>A}"FC  {1.ց' f7ys5K%>Sk:jQoJ+Q.Bf"b@ RI^B\n\Y#p8 ![g./'DJ]K*nWM;Y|YJǶJ? -Q+;.%c)ރV +c`d/_,b@u< @X HQNdĽOzXȀ,dW 9$'}ވpUˇ0@㭤E`3ζ褡;dr;{0.nhu?9WԤFO_?!@: sRU)\Uտ閇A- @/CB:UW6uH]6 h ΢=A md6wÒzX^/ײc %+bd1v Uv=.M".7v~jEH$jAҞ˶TLOfɯĽ.H}wn횯l'XFɄFCEWIr;Q>˔Rf| o]awM(`k(]/}"Q3=jp_n>+%B&ݻ8u$V Ay4YNzJ~m; Kmo궧Z:=T4QoK#f ˤip6R &2.RY<ttP~Xc$QDr* m 0$waΫqz#s ^;X_Vɲ tM/t݃K6Tۆ1k ,ʻv6IU0҃Xv^#hk<P q#Q^omnu[޴ 9J)! RN^tROQ&P!*l 9J7F-5tة'Ň n%-Dh-qڌ_H;w8l;?VBbdTO#|N!Uɐng-ȿ \1i< QRH6Ut֗f{/V-Fb8IQ i"Ի{ ÃjYe]Q.n }_H $&x؊I頔.ůwZjOfCB x9CڱgYZ7zXZִF! r]ŗXiɟ˕A|tYnUzݪ7PE |JT2< fɫO hVk|uHxl^Bf !` -ٴ&c(OIݕ_/+MgYZ7zXZִF! [e]ŗXi%L&㩧%87˾'sQCagn g.'0Dr|;4qeXC\ h3>A'@Aa8 6"عLyΖIq5vnhsN j%pXǛV??dӜnVDyLđPsjWp,YRـE1]"_]4KImDJsp1]V좤0n{2> ٗqjd\N1jy_'0WPt)ӽ?}.HNU}0gtcˆKq N$- s2[wK>]FpA¿}>xF9#:}WBж !ElIbIYC0mG~!j!`ƅ MM"qR͍ڌwf*  sΩ>$W^h +~Lu! &Ah_(n+}$X̔*H-.%!tؓR mRh>0-9A=bs3;y7 {3nnD0G|9X6ud ⧤2buSnR=P $nӰ=6D.עGOZM; gf!av R)020T+afxhIHq0P2fa8wl iY<F ~1l,t|`b>{ES2jf8.ڤS;`rH;'k־r-\.[gH{T[7{٪~k>8oGw"TbEfS7b9KA8hͭ7Ol>QC],{bJv"R8Kip(VA“6)FTSҠga6kBbt9fe~,@4'˟eGo2ev ,K.?߽MzzOԯ 490{]72!Srer]yI^*CGEQY ~D+{kg=U !9  c12\I\,Niq6SP#p*dq#^?ܚO&8K3\iO,4]%sM}fL__-iY&}Waq)2d|Av yu)z7&eH}tLGTC_VBYbvA%@FT)P ]HDxĽd]I@_'6FZJY9a=+q/l# a$> 7fɘ"3?cJb< G9>')<aA'b˗Τ6DGk8h٨˄BGUz!uf Nޏ Q~VS\E#kgH,FMXEUz# 9t@;Z ?$7-Z$/{=NI@wU9ɏx+)Ykn9p|yNrCP 8/eCD8:!$_D5\ ƒiUc1^V"L<*:H0VƍMtx2ZhI gYZb033f7719234a012ab02b60b538dce70766098749aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535