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 bbnr TD ] ZF-UNITY:threads=6elapsed=6.187cpu=32.584gc=1.3367zXZִF! @]ŗXiɟH)0%o&MZrM/"ٶLGC63|#,V;#j8Sޟᘛ/-f:xA-~BNvI92a5nG֌6q9!SS$ W%Z3$#,j"syY#gf;K+U G3m:I~6¤Ʃ[/t:%M .}֏ŦG`|7iK[n&Xv0?*pCIrykRw1X*;w|.${L4'i=lɰ!-SKI:lMN#Xt$nx &Q6KЭlU>GW>3܌>BZ?M4<,m1ҤDp8oUAњF1yQ`;j]kkHDI _F3B#F˰> AuCax۱2z'u$E]642 q7CݟB|3:.H+JPq;{J,DbO-uN~bnҷU>\%tJ-o7K^j }G,pH"sFlqHLL}tJ6}4MH E}o]\* >$JI@d.5 7R CB~HuB `cv< Dq5LyQB$pd0}} bE=uv0HYl+n@ * )zC | ކ[P.,X$vt(^SQIŽjۥ!J5݉d}'tp0%裭?QGuXuX-5ɶXM:B<-iɬk6RA_]j -[uy@ޟ˻*?HWJ<{A㻚{Ԕoq27U&|ʮ\I77wAmSxm~Ǟ~籎хF-~{b1{SP*vm-kEB\"(LGm=q+uMὗ A"LW:%{.p"{bBix[T:X;K#SU|:]~ǯC{OrQ?0a[rrؚ s2t́ (߀?p7ޤCRs-:z0'Ny=/rEZF? ;r4!nxɽ f@ͥ1fwn4:~Jɍdu?< -3:<9cҶ=p1–CYc(f<\<ۘ#.?)[q9*r#ېUxHBZN.(wFl*qVCCdS #0Im 7nMImRa_O f&aF!- P7I<&)ݛ>v.۾iR/z  .Z[r"޸PcUrfYE7͘^Z\Gɖ,?Ta!"fkQ|G /sDvz*sk,{~a x8*/ ki#gxj: BT4֎fπ|G] o\ߢeHTe3z~$ѷbYը+E0gǠե<:xRB8Ϟf/A̷1\! uuALhM"F"Ocκ"hB$ 3ܣ [< ҈be&^"Hٵ4 8f DVrIGM 3'xga=.c؏*a S9*>LK *AMK/~Lv iܕ]IO2l]5koZ% p:eedZԠ{D| ! TG2YU"c!x C^G$b0L!D]j\*ϒyvY?&O<1vdQuޢ-or~b=azb,>S2>joɞ%c(L&&+~+dM7$Ğ>m};e;!+0-PJq&vZB1B} v쐼zvھ,eT^ w0jSX~SS\V=SmՇ*j$J 8$no'TExԫϵ UCRnôWNNF .i>4|t< F-s#r/t42l/ `b=z ROjrCxw1'㬵-]McSG-7L+1w%n{0SASs sT/LJf+27 iy[%> 6 M|oX DDd>j7%_GnL'"CDMbDDvXK=}1Vyo~t6Mm97Ð!.ƚfp`YR,d#j&*3̧u%ޥة@*7+,Wms(Ib3#*(lACe\,qXv˯O90Ic[N<6V+^$)䒐S)JhR=tVLm:'Kޙz[*Kzp8*~s>"ciS:hOƛO <`ݱIeFiw .radJg蒅f4|M&!>`ʹ e䑗 b޷;8E/jf!`0OiY.K }P"D&.Pcyi.:ɟ;**JKukzn⨺T͍!mzTϘMy(2V&Tɂ,-k#WNq.x<|,?nT\v7`Ճ:Ϫ<-3e%~u)Y5iVZjB3rhktuiF!uX{ú{3 cP8q$K8&+HHܙfn9hnEYv!lnY}EكS\zm6F )YPd:E$~#+E "L'h%2bmeyG70%LU69HR~V~c cn"[܎>OEML^NPsnmĒʠI(Д5LӉg:kkfAG_A"`zIb޼9 vMx8BE'yxȈ(R>%o|RZͦa ؝b\- -r3=a5_/BM8gڠhǹUO$c?xp"DuSFo1DqqŦ~FQB;%I:> if>pD 7^j@ zlKkjL1ʳ '<5x2K@$Z$;w$&P?EC[(`n'U4}{,E"^p샭sgQGntC 'VqUjDE_P/W r+~6ku Dj# ;x0jĜǿXF8KoX]H)6M7X& |kUnV_٬U。܎˳u+؟D@=HA|bm.t*ror_GNЧ+g0rXF*@u{۾'U.|j gYV`CTucʪLKY{));9+\SZp%n|i1@3Bk_a️d4HmVYP*wxэ<`8#:u]M鯳S(Qߔ{:]q-6CM!{3-.\tPύnCE^C~4ȿӧ2=㬻l^af60mֻ h"]9#hŵp 9}ܑ|c魀6,ů\z7{0ׯq ?ty Ybٮ5쏩!d<.5-Lmbb)K@n:2$}tHR+Pr/L$-`JA:pB%ޞ>9ۜ 9 yR1<6Ȉ~YDR8MF$aZ4>> ~|&Aa+\[V: "zrHIwŹ"Gz J% $@q+MX(Krߞ r,L[U cޚT|U'$(sMwc2Snf/o I}&Qi9Wl$o%eyUukǷ[^C^lzs[ JXĺpIuLۦxY.>5`qE(>ysS , (0X҈9ovd#Wq ;4n͜rxοR,C',@7Y[oև Dي1'x }i[fi`f !)8#?-aO2&ɀHXZZ*Fmi@Nω{"ve![upM˂ס c{cs(uOF&tHZ)0%#!Spn]/C!y$gZ!&f%|gsQZOGj'x[a 4U3h#zid*keG5ҒFu;\.C:L)"*ODƙd0%$V]P<Cny' 1R%v)T- ZּVDSV*lY4عISٓnxjwY$)VR 0+B*p}J*I|jJ[s\-ZK_Y8 (N%JI?ǫhH{rsuo\hB6iot\,a x'. eSG&۴Ozv%YM^Z7 gI^Y4ޔ`E06ToBmrc|ӧex -2ZՀgܴ l{ϖ ~_*BK.8D͠ma $w- 5Hq+6b1H LнWܒ"~#3Lp{uwϽQh+aeO8z2U8(^n%wJ~t7ÿyD3̔j90l0}1vc۽K+nQ*GBdआNrr4.3)sB2"G?f;IE!A\=E %SRu@DN(JMݝ6AqJTsVS0+?|Tr*YIU(8ljbg+߂$$:2mM!CcX@D9 NȅC딵n]Y9e[t$;"Hѣ `X@<):=EY(RrÙW"|a|C:U 9t%F_>:j,D\_ hxa9t(]/CľP5+ t$|-*?C>2 }KAԉ9LqnR5+o!tF +N)PzX~䨙)(+?(V<͜:ǗY6ʿQ3e/z+A{`M{#UOnQ|!}֭f`i{_ ߲г n/½>;CV~ȩv z)Κ??S//mD9 Wr(U/ YoWٛY13r[K$z}:^G4AR~9+I;Ϗ Pq,ǘ7KVn)n@JKb^*_i}a!;Wm}8:E׎5X}Εe^K/8&=G(eԘG.DE[6*ΐ_; ٪R>FVRS8vTk *>V>„ !c5VɅaHZLKִaRGHnݐ"?:`뮈3[og&upM- ~gv'lq3O=6,IC="]䑶V&}ܪ jh~wˠRڝZQ4FO|-J2xM"g-So>N?M HamNղA!sYVhEN( eK8w<0@n=L7$Ŋ͖ت!31ӱnQ-wnR][+yspGDcg#OU,3"GU^Qs#hcu4KxUbj RHwﭨ!G-ʹ.=dSA;v̭O-UKe4k m?r1n<"5t_3,̐? R1X,ȭodfi%= t!}᫮iEmqo zNh:;12MF&b1|w[/G4e %JŜEޝqX21^m&+WPK a<^0C)1i7겎YAvہh7h (m&Sp3iyy7,]!"#Pp6'G .#v H]:z4l4|g6 h@)SwLZܪY@eл&9JUf$E*D zYs~ \kl{bH/I2,6OxǘB=&4zk{8q}KOty3֎&# mPڙM{.1 fgzJDX#vd]m:8Ed*ЂM]Y!;\j\%RNJ9C,X:[|Q]D78qstlKdѯS͑fX@#ckml8MQO) #+?̫/L(n.7B<3Ƹ I$ŀmT 0mT6'J95$)=$CcX\b3,%ct~<+rf\X5; ԷgP$4ͺez406O/dI t0C۱a{9Š /!*}(:f_fjD2y.!71e(s`5Cd]y3(eVxa4WLIiK\=O >@((#.D#G(O Y~4YF2? *9O0ijA@ [hp&oj5h.u.S2!l)fB݋RQ{#Ϊ7s"ǽD_CTi0[#iDFIJ) bYS=>i|qS uC 9IC=HJ"XyA|=r` #*&^X#IĔ7Q]۠Ex!%V7UU+$z;bTN`&s_|:-Di|_WFF=g9QK[xjxzo@`.=/>Abq rvf?%:4?eeC4@[),V>&s/d:Lȩٌ8 Lmd<үa.*dۺȪs>%b 9<ޯ_|9A#rG>έS iPd&G]uW# [eyܾ8%cBvXف kj_=Zjh ۱MfmTa3F_)-ԗ Soҕ#!hB7OB:,ƣLh'e~H mKճ Ks2gfÉ!VaHcjis\?U={= ++jWzD15g.Џ#t-9۾-/u4m7LCg<툚-6YMh-V ʄ}C4?G̮6@,t51;iwNV*' L^S/zۡtς9 (!$%\ҪEhjauJ^ᚱu%q [+nAZ4Aײxsf,+nNlI  j,V_ɻ h}ұXp::rr۔[MtXv:aS#qMequ=ز.لN܉?mX_R F"O hLG^+:boD(IkVl=u 70uI74u6 \`2zJhcT aa&)K"-hpI|zmk+Vd[w߸/atMڶQ|kƃ _9H_63 'L$=&$>odڽo9WFP͠72ک6D3WΰY**$^h:Z.s }N˩|HM+r(aXժr$F+n^8~ 0=Z)F1Vx"Np`-[p Z3h8{vp4UXu!fR ߝ3csbUI#O/v$.֬ +L, KmJA#M;Юc2\L'v)k6*0J2a^ OS~'nbXC$5!_*Jkϗ*|־Kb}3FY%td>kC22Ql3rrOV@stf\/OW?7b2`npVuՙ.!glr坃Do鶌HZ['lk,x1]) S ٶ7YfU |٤wJȠ<{-G!P5='"bIIH|G=L&w2 '2'[G wz{k=G 8ê bx!7]ߚiS!C A D\< HKKSmM,ȫbn~nͱ]F 27U(K_L")GDRwBY c4U'Z'I٘G$a ;ߪ0>՟`Ҿ$?inCUy4`&d%^Us92SkD6Jʬ,Q3EUlD I T]|t/T^,ÜLո¥Ӓ<|UR)Vae$2coU urTї% &Y^f4p|نPHdڒ.FiRCM<:/ಬEL|\NuV6~]byD;%W:dOERz/ &\kIe`|jC'E܁^Sly 46юMֹ>bjK#֣qWdk`¶2#v5s\1dO\.z 0_%eZz,t910#9\V,sgl!D9ݳ(UΏ@bo>BrT;,6JEkł|W64C uUkT1dQK0|KQ*GNP;Y\?Z^N %L>f@Xt%[Dž,OS4/<~?›{O qpƏjE2ɲ[@2 Nrh+3VΨ"[Ffi'-&4~/5ɄeIe|4W)a@s$M µax`eC+URl poX4枣jzlu&Zr:񤏅Hx sxwS@ܒ7&1U!ØehX ~1 dt~>eAxԶ CVneBz"U# 5 w|&bItA{*f)Qr4SaBP\r"cXcq;$G{[4p*Ё;Z,F(k( 'Ȭ6(T6 n$9tgRTTn ¶'ڿ̔˥O &@;nEaoA'XfGN@G/n^aK]Mx{~LjF\)ArOGyY8aԵ 5\:$%:}`ջ4Ec0x/Ϭ5a \d7hDm,v`]e2^C)^oCR[}$-xA) {|Pֺ 5W%(5Ku>f8`0RA7O`Q +ȗl#q4"*3cH`=(Z^סEl)iF94 PR3AI 1{@2)3/%zZ}픔]aU ܂d6Oj~6w # bKbD#`k1a~|kє͊#d7 ERaf=n6#ʮvE<8OuKyk4ao:H?Ѣ_'Q.ɒ&5*P<;2c|o|wVZ%nDzxk1:؟VU?wFMIe  ߐKun o CQ<-w'8U5 QaB^g"ԫIM ׭^^0tVm?٭wy-s9͗z63Qpȃ Ƞ]6]7>39B7΄}1a6ǘ l[h1:өxhR"lO',qW2!p0;I!'0۬ i8gz;u@[ ;8{փ#KѪTLđŅh4T;Kz7aH<.;ҟ5./Hsf޺$: JP9iK<*/NaX6*5HKe.̝$O^w#ܸʉd|-pể*\sP~G_z>(_'t"c Sؒ\A^ZF#Ű ĩRp9w]>t``{QpZֱ֘/ gs]{xW<i;բh/XK"/{V1sAܔmqYlhm_oϡ+; o1T=V4@(QK;S-ouzNU5D78qF>qotj=:Wu%0#=y>HrLzQ ?c$>(irl\QqQSKnbGX-n(>5unո<$m *R$+͕X1w**}B|Ӵt00^`<:kuAz<WQ 犠rՓH4'c.J|twI1841u(0#'NMO{[b@Nb 954wG2\CL:HnĕQ#ɴ\Vgf9mZd-exuŧtRz&v 3`ݠ%#CV̮7[C?|dn/4eqA_B .6nDl|-wo QH"mo;[}IGH S@aCF8 #4 6kmvrI.| D3$6d)9KYNx&, B 6:M~ZN& 0vEgc< $U}=0mRM Һ!A~2JUh6K':M5>^]ӚE$ M{9 {vJ⚷k-?n `4w",1CSTPHlqj^']^9jiRҔhk)] ^hr `fle_@ޔ}/F#a5pjP/{< q}\\Sŗ0h6Ĺ4W#:~ JRt\.$Hf־Uy%@88i)}FD߂[-6gaZӃԚY|owd ƻE aa\pH xy]->2O_y}B(ݠy"G{VqQjɫTxlٜ'b_ P^v,#n;ůWzOibYKXwSrknt ?_3,SS;t7BqѠbԪ0Vˋ>BIw+w_먛AW ?mA41U{HaU+-Y#Ty{=倩q }W;LmnkOteX'ذ?4['&bđ.q7^|10ݩ~C o#2h}.MRXx~LpO)ɥ=7A blfT\W)!@:qH4fM 5{k~hhWCHx,u(Hv'Xzs"Mdry,od^Nb^P&*]Cۨg©ŹGs'ٺY"DAPzK-%68JWTAWL2gh @_89>\Q,']ĠZ2 #t.+ F. rhTU0~pΆ z d+9%¶vigO_0VIDZ! *VRt &< '6_e-o?^r_sT<߉׵9qc[{'&~PD|OW(?`RYo J+!? FM qcQ$p2k.=1GBF3ZGc:BFWhSc M#\kY `:4oշ`-5ՑFqzj6,RF=XTϼwJM)<-ICB$Uݖ8=ݙ~Hiexf!R@̅3lC˂fDڌTPbX]%$J,n:LxeKxZq@-]VKrL? dC>:vL G  zJP"8nHrkRc1!B@-˜;eE3)G">c,=LqW~э0MM]LJ 4}Uvy`da EWˏ(|s_DTN5}iLjy?ktE-5w7z WY8PO8Z>$pneeGMU߳)E;kgCLC^9 jykd'򊼦3IΜ{LHW;=rƒ)Zsd ˆMXtr#j8o$ʹI'iBB!l2"G->rYn-j9r3ѐ3X2b#!3H@!̠z{ǡF$- v[Xfe/+)'=[ͱZj2ھ,hL46F|Lh=7ILZ6ڏo??MvP 4|(O+TS&( $,$$SYs5'Cec+uhIF+[z]-~CJ$N0Fiѷoڊ<QYwgVW!F]w"ahi|s X]j}l!Fyξ>)Jb/"O1!ӎ8)HB.҂AnCr'ak<"q;wAm",{c>qvR9zhqݣ/b`59>NvRoA90j-g[ݳ tR@hi#^nHh|\:Ujx9<;0[bo'.#J^`,A+U'h\v7d{>l:3jc?͞v$|O`"T%se\)p!jiA6ƨl\<^99 u@': n)"bP>L nvĨO"x[eeEs0q1f?- ila[aoIA_rd vͨnzS5bTC^_˿ܯY5ך=!GN%Ulۯ!8C\Uib9ͤ*Y܌:*qPYa΋!_F`25-\u~JLa탡%朎X,mpw"d(bph)H ie(Jݷkh)Gbgg3Ûdj?<~1QzR[+_uʣ-#II@bGT八}:Tg_5[`qP䔱 }s׿.C |>xs4Ņ0q'dxǬAAg4[N ܹÃbS&b-6~ ՜ߑW@S%PK`&-Р3S^Ϣ&.󬗸T"F=kt-mʎkf,w.͡T{Ap t(ި7oZPB}kh⸸X!S xuvPQZejW"=[2]4GX $dRZR5nj,f:|rxhkLJOuPȨF&b;qG/R8;2?O D4nM.^]>SbXf4j老6A8l˦5z/-%2 3 i=qT фQ&6 ɰ[fK77ϥ6L:`b$SӚCy<@ $V1޳(dt6g,oyJ^&>$R^s=?k7'8|ZIWWed- $}{ /ip$_H^EL0q:Jtv?0c㢸|"]L[Ҥ ,>2ד+xL@#aunUzҵɷ9垞Ftp>-5=2~(h5E9[Fۓ XhfԴx.s9&849}Bx=73oAn% W+Lq=ns~Y7|iy*X?"z֔Ct2-[r;uÊIߥ&c1$/mLo-ȤI9).>tw.'zc8~صVAAն2<z[qn5Y|֦ﺳmZ"v][LUڌkzbT  p;فH&kDW} ヤKMMbRflt9qlmfsÍe`I ߸4P|F۲!s]r`oߜ, rYX)NL`JiW6L)qn7*0kc#9*ONuNG6]1Xf֦G`/JoCXtwdԍX'ھHPWpĆ Kw- \-R!`ڋͭEl]! ʳ8'r$UX_|t}3eKp9)!d {gT$8 PqSzYXY<9)GBm55aPLu p.rYZOVE{}1Q 9<:rF1[60Xګai*B7<Sf" 6[A֝(`=9 KСOe!Y_%;3Gaop/M$Ϲ*p8UN1d/\S͓=Zp5Ae>o;7=%L/[96hW? !c"wW!ڋ<[\P+f4/*ʡԮXt_ L @mun)dzN?. t ;mFؔvctqK^G<&ݵ1;T%y{H~@>X}'Q9 l-߶bKپh54u1ՅdeˋJ[?`1g $ v5-0V\dݑ 6nڀŰ6gQOwkiܼK0ir.;_ U IUS ]J ^bFWawvi|\bz)K?a3;kcjcvhG ՄFa`سX!]QUk`ގNҷ3kuoq1[<]Y;a9]>h6mu1,k: 2o7Qw7-~bМӇS/ǁ`0{36kKKbٙo񞾶 tǃ=+3طn?%4i)ϦK!G_=F 2i}4t>p2\VWf =V-E q@HT ?ia^ze*gy uՀws''y+U_6Y>^)ܣNjX&̞<Ý۱ &LrL z$6Tl/k1 tњLC~R8X6cVwSKGD}gV9PJ) -V>X/},Ȣ{{4BrWFdCwnWV"BBR[;8QU~׮?$c, H]؟wQ K I| ]-aZ,oqxCO|KʯrҜEU3 ܄Ŭl; TⲯbS037GaI(MH1+C)927z #EI_ 밬v^Ȟ,]:U %k'\'P a5949WI+?yht,R}2$k?40?16=Lj$]GVqWKhttc-Mi *խif9v%UVd$]qkۍWT}Es@<`vdv?# I`5/*łKN"L4?ϩr+dH0kz=*4 N'y~I J?ȔʹqIlwfeb1h_UWR;}a_S2iM,&QU#gL:vmyļDX2D;܂ɯ$QDv@lh",yW M-lK#d.YpghsD~qkP(mq Fz"tf=7;D'eDZHd=feR^pwZ_OFKcY[?b~JAlK~YQzl5FG_Qamb_ +i%HjȘ4DϤ)=q%iV1:{cQlv0I}OD$Ds' OG> vskseFbpPX'b6A$yddzɍ 44w=Ɣ-}}#U$WK;#͢H94 -Y bx/toM'S{M0oJʿNf >q=tCd푦m9h!%oX[H!nfIFFMy)HJjغg!QTS43/%U֘=tJ%R?f8g7JE9Cl?o=Gchz+S)LG uϟ7͒lfDחL` ؖVi6$*0^cP?)^vAg>tfLB'Raou.ex*"\Wq{#ap x;Lf\5ŴC貏!!YEU G%8jbUq~wZk%1k %./摂N KQ`rzȱ4El~xƐdƎЪ]lai"qlkWtX'|,xL xOP4/0W2T4i E^7P@R9#zooQ/E!CDJ7#G;a]zõ^ -,-8vo45>[|k1Mhځ՗lB?](v_d <.B$⢀͵zaنEevfs|4!E pqv* SgظjP c;5mYj%[HTY_ü}Kh~ďM$bBݦMx zĘeUm,C5c/x"{?2`L;rCP餠TAϾz`j˟Jڽ Rt,hdUz;yd\I[a"X!{q~HtV=! '0C ~ JOvZFs,!R*C\Ӥɂ g h17t0$/R(qs*0K [Hhw`i{:M4T{i2-ꋶ Wr+diW]vY~g 8p8_ 9Y܄D=br< '*̭_*HEA>rCJ` Z5*$4Fjf Km3:SCMˆ "7Ԁ7ܿKN_N_rCb{rɝZG~̥Lρ;>dt, lM||nJ! LvGq嘱:pcq Zt%gϘ c; [B]~ Qԅ?XCciOh{dy1DWܑ"МĽ/-g]s5>Ra%m<#uͻ:>O{4cfz?;`dNrǯݾm0^0:f+ӶcVr^U)Xv|@j($_CVQi&T"5sSZ,FqԎ Wx4RF )w  t[&[ex+ԞaK5_vd2z bh@PBA ʞ%\+FEm`uG0Y$ j^b.11~`V,5vS):>#I#5-2M)YE={8w@%·X`xK5|o픇ҢDov  P<3ߓ_J)<7N\r Zj|:%MfL_N&dϲpŐMby5o:ve46‰iQ,^΀uJ=k@ʜ$IPW`2=@c0] xo"FBOqR c0z/9\%y$ ΡXZNiUKmڎS:u.ƯP2'P$lV]`بwmI˘9y;ިb8<#uʓAiMv;VeՍSUʭF :ĵ b OϼnTjL5Q(!jiNy1 r~xnMMKQRo {i: N|Zwu_%D^lR%R{mkHM62#d[@ I$k9T:rDw@Ab+ig%FPDIy?|냴_]]Tsn+b)Z9j_F@Ѓn/F)~Ty`3ni,&=v{{Q݌8]ЪoݯD,X/ WUxV _M`Ov:50>ƀNr W!Mڟ3h(5&ʨm˻&W8*kI'ۘ fdSGζ@j_M!67iDwڿ;Kr"޻d&5߇ۧ u('I2ZS L9[> n˛ѱ.K7nb" ԖWy D _ٓGa1Gp%բHUe}\9DaE@%D/蒮wj1m |BpHi4YY &rKiȖb>~{}qT 7E0kTAex :#8 ˜ }wF8h,h8F%vӹ_L4|yబY3e0Yd@"b0]pp2vYSbb[o];Sy̹G4ݢg*gTx1r)z/%D}euBE)nuCb= FO kehMaFxK GRLmu j 8x|4$*iG6L:sGxu@OWlWB4}K^HzoST<4_HvoI7z:#I˵XWK)+G 3dK$U_LSC)~ $f5,.* %;\dtPs3:$eiP"kn:Hbnw6α59(~s25s ݂P߲Ku8zVAt+ )Atj(ݛ810~O_?U 3d^*vE9c觅t!H+']\t$pK.:sli4)$:nRYfSaxu^ b˲4,q+Lj8z8I3NLExbfj,Om?$ kw)'s{l5{荬 ' 9B=9+mk""Hn0GN5(sH%3'/M;xjBv GޥZ"5~قzwΓրiDq 1O}>jux`XIχш-7d"~+л mgn ˦`z1"ԏ^1H?׹|.Su)2}(`@I9CZ&m=Sґ; ;HXMH CEJNJ dXRi _?Ԕ.Q8J,=;I; }iyU+~l ;H"Y6m~&b->w\5dNi[غ_RTbBmu<NG;:dҢRo–Xj(%9i|^ R\`+4%I> 5ih 9''TKV|Er^wY}-yZi ,]*.fWM{w$|GU$tInyL FI<8$ Oa_@Xĥx,/!8#;E_nfܐOˆO<%RqSzZ(/6N$fY#7$ǝ83 !)$"5hR>3ڟ CcL+KcYl^x;Kb3 S$l) fYP@PPѦKKԫvHsHj[P ~9oJ*Z4aV}ʶ?'Y G9wzz%sŢ$M?ezŸݙenyN u~v$Bs>C`qfa)7^QAHHϮ)],:n g8ҁUm/3D*),yX1~%q {#ձgQ ( ?"@{c=GCo?Rc+7׆K\Dq4ZoAS]~-(z;6io'ѯ*"ۿadsQ[oc |+nlʹ شީjYQy$D3"Yfٛ|F3Il/?٪I$1) bsR" %pG!dȠs䣈XHN۹j">Fmk#V[kT0劲f&%Y6ңaK)y3sv҅JCA?AGɝ*K699HI}U۞FȼZvF s2n~5Vu jDV m<$ه.,8mVLn^'?^J R[x^9 e #-6Cin]3Ohe"c4n)*/H\0O[Y̓rT&AqP<4cQN',ytbٍx΀Spu>{Th ܫ13A X04óq5y>?/O7fR3Bؕ!ݿ^+}ЯѻimIx:>E#9&^cRCܩmQ8p?/"oK(9tJU9A*c_a*f*k҃$!, y/hJ)uN]c(3#84%'Z2ֺ8"b.:BF 9f5-@kBőM[.ױV4Qw{w'oT]!sBGc0:(Ϗ<ÕCk?Y.;B8ɪ1QPԌYbWsk^fl@' l{N^ŵќrL04]xǩW"/-g+hnإmleTS"%TstF'+z=wgUى5f_=|%iV!8JAO}w+o\$a@(#a`2U(ZOjP>C>ޕ l G%Qmg8Ž#.Ÿ#7Fg5Oܯ>Ln=!I;i~ށV𘝮9o  7qat:S-+ bcn][x7 -~}ZPtׁ̖O!|c@VW Ti_dvK-4j0Riz$Ȩ̿!4MvkB pqm^Tk+'xNJݯZm̀' $K';f8]mN~.e,EJ܂;p,4RbR?yh!gO#phuAw[wM-!2u~<\^<ȵrVehW&֠9Ꜯ% 0}&}dnyЌB,aלͯSNE%w(Ȋ;͵(VѕDTW|+0Qhʗԗ5c rpoe߀ e5Կ6lՅDc1 RKߔŏ$#~eJ7! E[џU?G"JO,z[1~9nkI4,ކbnKwE-T kmuL|T*ӿ]Ou} hi i0[`"YwvU!,E;ӹ}-N3a[f+_߻HTѡne]Y:mAX%yovψ<ud#cª&2_ .ڛ=}ENE6q%8G + hCVUU߻rϸ񊢗 + 7JR.a_} vX6٭~QYu*ŵX<W>OuQe< ss[ t|eW4{A~& .f.&'lYʔI8[ԫbe7MHXVE:)Hw |rC7ן^gȀ9$4A-Q7H6ZN3Q _RO[7ӭZ!Tr%6ŎBꥁgՑ#y3#~fnϚ:׸@?{6۝r'H/밐ęۭ p&+&;}Zgʡ.60w"]!R!d>ƽ{ k`.%wSj=hz~,XY~hML*3>@lUׁ& N1QE6"\y~ ).;v09iF|%zRݕgtRM2[ZuX̕S^DD{} =zf9OA>0CH&=4HqFZ|sw:bL *t|59W)(]׼TOMD-2(h `9Os٪×|yBCF HBs4wI[82>YZy=]|_ד;OO:VsWC vhs#49@C<ͭ?QK"nTS 6be*T;Y@=1 .;"$\ Ur.ڗj2ߣRoMg;q|M{͚٘⣉YuK5(|ԛά&=g1,si;J8+;? :~gYZ7zXZִF! hc]ŗXiɟ9 i:4V;}A<<ګMP7h !b~tlEh[: 1;XU]8AA,&`-UUEeC+״-tecNu+|ÐrD86=aM /KXW$F0NEŠ$LsR8u$$m l\nZKNС Lž|4OOJ%{_kVX5SoPyX,Qw? 5cUjn˜IY;aJ-" v_J pŒ6Tmo~3k+% gYZ7zXZִF! ]ŗXi%L#"6H)L}Fe-,Ű򦠷"y-NQ96*Xb6E8s7asXYy?8c&yWU&ShOW,ZXfz26@ZmׇQ%4ix̢*Lv [ 0 uys0kSSA.,oEu9$\0ՑުSS!9A;1:w'[ro:.̟C*jjw5s= X -T@*[.ɀا*8zXS+D.AΛzKo=ߵD֖9;hŮ/)97ch|u}ý]tut M7zT7(6/c-Wt@v3t:ăC^V ]w ƛ٣# ,u6'2XaOzjU 04}y|A4o ˄9|d*Fg(QŷB+X.i[kjr~n(G1EC5H[ {/sѱJ5o^UR<`ȓrG%Vn23 I}ĐH $M#^8ELlG ][dƂsTL -u&FNo{;9Ċm~!lg̾9˳HZ b_ewC{L݊3lԎ0/vc'2 yFBep80ky31A:8U;s{V8'7ԕU|C{Wp7\Hrb2RmK;VL蒱-4Q-5 ÖadD?6|v$h% Gv͘8)ҩ TnX?B|79"+#[Ǡ'x]`\(9ts?C{lj(DPҠ>,a)GE>u:ʸq1Cfp G3 ذ)p@tѝgYZb26a2f826ab4dc7a298ea3fa938029de491e6a3307893eec13dd609290ead753526cddcabc430222 6685eaafe927d8dae82da5756b3d72b6293c3a7b 35f7a671b357c941cf1f678713457d4a4f8c97b7