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 e)tTL ]]Kleene_Algebra:threads=4elapsed=40.987cpu=95.824gc=3.9247zXZִF! %(]ŗXiɟH)0%o/M i/Itf6J<ڸ|{𳶫ߌwk@@ \x9`ne0ZnIك%$y;ߨ8\C]%3 3/" ~M_||^CbZߎrMy LGrwIospGkWsȂ]fNrJlƾƴt{ǥ g?fuq1=Қ+Zιf|}Gh,{ձqw.g3];T`zO*sϰ?Gaop?Ln> LXj:o7FFj5 b<R?# ۹̰Q1v8o4۬Vr+^C9E?MUVd,x@mhk #)|=E9{&3?PUjCڹV:&n bI8(VC*;S{$oeDdVo N\ l/{ŗ~y ;͋A'YЂ^_E=6!W8tiIF/aex#QE H,A: -^Lv7i0". zv)K-mt{ 2_!SKELyݮ^Q^Ƿ6l+#pMHl=y6,HIt BO:ɰ@h l|Ig`H7 D';* .rUY+: =BIF4V Piwτ=UIq.E/G`Y/0QdRz+Ji[ueNoHP'>Sl]uI V'N`'zCwPtl}:l]͕jEOHq;M]S +PA):Պ 5{|TL'⁆*Cf۪ \'`@'i"mN}Xqe`#QRH}B9 v<fkcmb0Zh8I;5aOGhjC0RJb 8A$=gG5?CRP^tr22uJ)Rϛ+o1Y>1Bs$}1% c޾)̞胙Ov yv+P!heZiV%ɷ;᷍#]W(*!D^nq-Q٪݉J}@3 <;:oJA0 uۊ=dcR KS5qG"!C ,wij y!J~9;7cxgv3`0rۺ{sB Z mД"̜}7cuQW}YfH[ D5i%F*j_}3#%ռ PUspc$9ʢ\ =a@~n&ùOFڕYbENPÇ*6N21 >\3/)DgDԁlt' lT@]0w7jSgE;le&]!OAgb@x&abRhXd<|;Ѱ^ki`eHŒ%? f=`QG,]K"t5K%4SsPt0@VZ6ri~MRzzko Y3Pce,b%]ۿU5~T^yhd.< < P͐*!h;YO|wX!K.^KfEYOP/]]+>coU~5Ȱ3rBu2V;ڕ]m{Hg?}uM>33H,R5E;~M7@$P#W&~fQJCM CPL<›!M]T=-ӠtW|8~' P.h즬˱R*-(cnj)Mg e;K<\6Uud(ELfה4S", Q\K| ) Kleene_Algebra  ')u RF|!3 `D7H߼ۜ4~Fg`涂>UG-mWF4Si=~OEdE])qγM{C)&/꿸~#-CK ۴a{T% Ժ4x)Vڵ<.|Q"1[;d^ⴌl ju uhИtpu|O.h*$0D!0\X|>-[2zgȟ5<9,z^GAW2niBj\T*YFv#be@lNOMk.2RI6ӧM"xu0\R(2,'nTO#5Ӄ*9 <tnUyuR:5«?Uimz3LvAw:A6JTЊ8'ZMc77(BgAڈed/5^sR6HWYW'yC3|EE@됔YW'NDe'8Y0 5eQ^i`qd[GV`-j淆Ozc?6efxm Hz\Y(hT;r'|1goٳ@2KN6z(O%,)s Xwz(' }nHW݂y"_p(;A#>J 9|fnc\9_:8p|dHUb߇;&nExOQ.lfj!0hpkZS(u.kx .ӋrX, e\э\Ҏ(*"0jMzbDFj#~50T~8n yG5NxނqX{D=T}ϪM97躀_cۿU^y%Xx«0Wl#1o4AeS"b//) o_E%MTpP'} ֐cϭN'郠>ݞ ,Tr!5g{9D'~n2b˺4>kmT=yOGˉ*㭁b&i=dqI: o\΍D,0ٗLC"6c\ mC@ۭ!A܀ ZV~p{&iN6@"|NC'!]H-\[hEb(X9py95 >ފm8WXF@:RyEV̦SŅ@/]P8ߗ0nΕQJ|bPJsuǚpȵ2껇!_J:vM" t}Q'qU?c9J'Kl7E{tQuբ;pw34rƞt7A}?}v;}}_UTvԜQXSao{;2z?_XLX|]Z?"Tnwr=EEZsOD>AAB0FnG+w<2yJ ͂4rUHU>oWn>;]+b#t IۥSox>Qf~qHQA3~?ZxRY=3s:ل\c}ia?P?逬=.yB.n;>e̹f?as[ KПG1UX ͩ>wJHdH99SR}m`UJgn`(!aϧtEadת~j6u}8k;?$4! l[} >R/~Pz?7>ƚCj}P[%R:v)6vaE6U] d=-^),լH^Ym jqv FC#t0Nq>Sp6,?+Ru~*֊r>,QXi۵=+2-J,HAE%F)vO[GpV,9נc]Y ΈYWopJ;HIYgyj:UjIЏ3 2f=!;B]%!#Xc=S]Q-$aT0%j,V2$ƶ2̭b^XIeX$WgqH012w5/H3m 6"rxż]{űDRjy)-cŶ'CiW#4cΫz_N/wXKﶪEO$"D`31f,Y#Y5$/hS<aO |De ],a3(Q'7*[ICos\oH!#D?=RqWO[,YTnC4N,\%DY-̈́iM vE 7h#;R@_^E6_ESR׺2BB1YF>WwO]/w`,G¶ZGh} b'0OH3LiM׍zozٖI">|Y>B 01 $cwsVdS53b@ax.B !k}y"Ӯ}HG"$r4AҴ©wѭe}Fvqj5 f: 2` ?{s8]_gxR[h i÷ ,44u(T,34j)WelElwˌPTPOZm=\zx H jL!NHP V~I&% Jo0I 1DfIǠԛ^Τrz1ߺ0ZI]$=9UysbrqI0m)X^#b )6xOo مqvjMZIT7A5VyH$bC`myt-r ׄ ׽zl*p=?J!?tX*UtusP|hI 2$c7'ؤN9'dL wmJjUqrQe5  k0 '06;3178 bZ ZrD` {N\IM~\'^+'9I%A ZE 8SQ WŘ'}m[ ,y"ț+ͯo(⭳Ԭ>oO&^h[nGX =c#99dˈ@ 3bjѤ *vßa"2`VBH$t/шjX)5^QtOC WyqSg-W(\Q\R(Tk~쯅?4&یEia.ʩX?5 5r243rchvDWj&w2įn^>4 ^"{fqGivٵ`+l 徖k-| .{ $}8/@jb"fDY#:Ym/NHm I1 IۚלJ'uOi qJ=BMAwb`cYMBf|+%hkF SBuŪR$ӯ o0yAps LY,-Nfﮏ9A޽U6AZW?gD/:ϭs/i-C%'v,)>JHV$sMO䯄8ap@ +" Y({^ī[-#1k3'j=Bv4WF,^-~֙(Pč.uS{>FEpsf:cAcq*0}wb@\Y-Em~Ƙ 9PGrYT詺'=bb'ELj=dPghMgjiD*AHI$ &ލV]9_,aLB-=@ $w%N.U> w*P5vo3߸Y m_9ߛpA+f߈u>we,{.ݮc &*D,{53d-\0:C"]U 7pCOWl f}^8=@wSb}+>iC:0dpXŠO(AJ>hx VHI|Ț}{%&~P: xtNJG%٣SxnCHLc=oyA=蚶zV|\GѸM$NgEumszHʹxl-F3>\:Aˏb*!u$<$`,da[ߓmC? JRلp5(=+@hmԹ&~"fTQH/VXxy7Rx%LDGTG~_zzoE?\H)a r&m bM= !jڗv)j4eV}w unoRjnplij7q}ҝ>Sǚa4 y7${nWQ͸fر ]㗸zgԻ %(tR3[c|؍]/S1`y73q_5Q|wQC4H')k/ 33x6Fv}as}9FCA|uEޥ*X`ώy̴r}YԓUQB IFc[+~ &x>0"ްL$?utB*!H¡B$K2ޚkmW5@VEGXFG0S0^EG#gQ[۝c+yBU N8tO'ʡYVq|B-$V,ED3Kv?]hm =2%>w&Oo |N LX b }cD_q@߄ mƄrJli*ֻ U+F}~uhLn.BEݸ)U&O]4_(|) 282Zxqe"&@M(9ԫN6/ c|˶:RR8eOsĢo΋dF`#[OME#qJ叹>q[dh֋>6֨:;B4pkXҋ+.xW#VW"ds|" qjXgFy6A|(2D(P{9۵?Zm OZ 8A&̹|7Mc=[p+|yثf0DpUl{+ \q5`c"CejS9cw]!y0ϻQ.ޡ3xfQDOa'.᷇!"!1^ԷF#gb y2Hye6[+ RV{rC[o J ћ0'<@PY1UgFڒ{|mCڙ.X!|_<\IsƸ/$斯E$gpD(/YZ;o(SXg]cy Ҧ>yݽ/=Um%8ȌI*1ɲ> Ѝ;8=6x2߶"q5+ If9&ͼ7D7c"5ߝl)fYTmanZGѬ__058_cGr\+&2-?haS 빲|Wo}m8!wZm,O L]]8ZuV<^ .DI@<7,/ف4mg^k`La%†ޠdZe6giDX4Gf(I!ݿBе(KMxrKbI=*j|^q$+ROblbrCcz!$ >$2ɳ1>P{7s0ыU嗄e]<ԲDƘQ !J@QHX]4\Q jӥU[C3r 9.iq Bhtu ]VA`o}RWн!MfCVAɧ`mLR cro鷑Sm-l[$-CqK%se"yVm쩋\e>'{H7Im,˧Ivc+IKX!Wt(F &|<ߊRFY`q\S+z"+8M?&cpKWQE>39Xec2@|ElϠPXNZH)CCKx" 8ޕGQa1Iku ҭ-fF׆ܰKZq9 HxJR{m:7mкR,SxsPB'i9Zaw|%sk 'utͤ}Ed$]ݘ14 M!0,"' ʦ҈@Ua4}˩ok[KeQ\Eط8k“5#ˣpK-/R;!>-doo+dm"7ԸnwIu_<誂*nlI(~ h kxNͮiK-<-s_vH@]67f)GGtma_:}Љ&$bfd#mZPh&Z&";\!cNkOzxupBQiI;V2HRϳ6B儦5x*<>=Fx>VnVoUWTiIhnh&CDRmb W4(3#mLPIv ΓT0!nk`Ͽ&vRN%~]{PS߲E^^!Z[NJAmO0L?h!HLȇQjp(۷r yDJK7lGdVʊK^kvX-,|!yBSή>]SA' \:+k.\UU]Zˋi&|"b"܍tɚc-DXr"#ی/]pBMO-%Ƅ4BBL6-VX(a=[V^ߑkOzc +-+#"jzpm4U;YBS:K:ro񟢳Ns%:uT|!촆GtȡPuNݥ>t! (1O1{S1Mkƍz"kr=1T pj\ .jrSzM5I3dxJ&帬[$Qݓ`/!kkcLj] H'-Y c־Ej(WP=P+It%? ӧhP듳֫ c&U`uy=ؑTVmPk]}xxK6+(J6~N\3V:?#ji )E莤R0cT:6Q4{~E9uLWx!V~Oz15_Bt?aSˋ0±] lkC4!GD/}N%mh@-wt`!GIg!ȜI`Ok(7e3BfQ/XjQ"s8x>PVZD"F.='0dd P'/LVǭ'n1\ Iט=M"(D9@ӶY#1Hj6Yh%}|<継j/.ȩpfPs%Ol qqk$&S[; ]xo|-Cp&sYK<*{Z$!@/qW 2TꩾgE;:"ĿyO"AV#Vً *=R0 C\?0ȟ\ `0u1mY"lWeu3&K-R鑹G*n /SǕb j"a[t`Rz)PU} 3PYst WV={@= ʗe-3P;$B*N `겚'eV1xO2ggEbh243H?*++-*@O qwQ 4]`J:8~~ɼ{Y{ǥwByx6@t L3sאA~[賑$DHaFHȪ6Ð@:d*H. g prtUUn(vE*8T!&H! hxVC'@z<\I+bBt5Ќ,ᨖIط~n{Ci&%=^ؓ}0>TSFu )[7Aƙi6 7A䂧 35XTɣ;j/G16QDPu73\p.XQM]iJԽJrH%\[OX\J<WuK4O#Q]M,`) 4ii/R;0Iy.x.\QSjHIP-8T/SCcuU_71bA\OT\eKo6+*2J^@;ɀV`BS0m~[ZE[/}U8p6+EC#2][]TF'q\6Ϝ!p@uMA(ksc,x*l @xQ {gi ;4s GpVHa_R;vC{]lO/"ھ`WP p]I\m }5-l~WAV<qjHp ۖ 5ѠT*|P?4W} LzE+IT` c18YJ[r ǽX[˅Q.ѹTU+  N#?E&Quh !g7Ϩ8ͳ\@8耎Ϥtk>m.ZdV֩ghlpX>)B|swnuVÊ r*KL5/>PLv Q0T@^IUɀYt,q>Ѷố8N%G(TLK hW1|j6l]Ft sbzqTiHs.<:-v>J1Q'v0m϶BmH`KWF2gMwp-T^/.zL8Nv! 8'R+|d!nmDs5$}=_'!JZJyD~[~PDL#NT4C.h-Zq๹#'0やzpa(LTY$".ƙ/!ȉL< /^pb,'ڞSBJzlya5`AxRg'/Q27l 1؉b4l!}e,'0سO#c?I#[(bMB)/1UMU^~ sOEBy+vtBvVI>_=!N`t?# ap7'̈́eJ;Y+b8V%Mf 1W!{7/fg΋ d7M*[1:QnGXf2S\%֏=fהY%*+"9ȍ>2D i^E׆} y0AWr[ `ez58$xz 競xtŹY}vlJx;w ,6\T rϕGx'^lW7K%DCy!{\d)ĝtȈFg6iwNK,.d\qyӶ|' 0*'AQ-Im^]WQ|7NkyUBF+:1{2 a5z/̼1Q[uᑶ}lYCϱTkFxP};!{v˴8^TdΞu)_lbB_pVߗ^dh8z;'P7(z6-p=t#R>nMAr\mrH+d0jEdJwwF<稊{bLZ |} vi+(AstDkN]z]r,^՛^̪)Ȼ= [хmJj+ re<8[PN5wLel[oV1>4>^>Uʄ1>lQpahȆo9BT&G?r*$Ӹh|.׽!.ha{hF2, ojh8 k>6l[v?AH>iRaY ?RRyarjD ]ʏ0yYW\uԾ[?rq`(+'bBrQQWr89[.j81~P4MN b bf||qz 3\vC{$WU7ꆔhtr)jч]w/W! ~T4(K & !Q"h QEJF%SÓED9 j6[B,tʨtKRY$&_p*\7WsZǂYImP5hah@'aY7j4m@d;-+ηMs .6nKGFBzW3 ww+q1C$rG) :L⊨]G7Iv>ZYADޚ;B@OW^x?ctE^r>>&Y݆SI8IG])h.C$ E)~/# I D1"4%~[uu{=9 Pr*{AN:Wu.+Ƀ-sRu15yzR#̱h=FYT֍Ѭ KydrŜO(Kj %dq`;FE/ɵł߂h\MhXϻ'd}vaPO0K#z,'2B<g JJi 0e! .e1B<7z^l[o3z9\*PZ{`v3\qS'Z*;, ,,ʇ9@]ߒ0@TUJ(DTܤd[^%!W~)XQj-ܪKb2<1d? '@\*sk|2?'8cb}iHKYF$=J;(׊ bh>ŨR_,)8m[E|hE!KfNHW_\4C~Wqʨ6AZ&d$r0կ4$o_MN̯OFa#%o͊+ ~f{|{He4m;ePo $>*wZ֞ Mef i `u?Lx-@2 & VfH7R?0Ff.=., 1TVobG8eo`k\9Q]kANT /s?is\|a+ ~dQѺQVa4yM◚t p&^8՝bCn,DyXyI#* ,tWH!ZG.y B@q="锥f[~C|]%(^Tnڂ*s XU&?lGgiӯ44R3n6n^b M?9f-i"92wcJe7Vp)){FS#+fXތr e]o12 MbWSJ^%dAYa _1 nEfh7 eOZjuw1Ͽ0]N 6 VBhaU?/ZPٳqi,Iu#yw*p:us`oͭ Y 7W`(Od4reE8jS)p[l:!i ll#z{y P,=,_; 87ՙe7 _CB5*el%Sօ!04i R / y€"IOJצmJ0|Hd?yuPvP_D| t R2z]<'/.xBZ'BL4&+f)nT Ҋ 3/Z3cRc3By9iKjkΑlxd>M*R6(v ChG}jOD7}p(i8_'y6n|; >vrGD؛e+4ߛ>tk$<8~](dFC( Su|MA$fhă4r{fۮU$B6#_m!h$@,x4cH' 7cFћmˇC<3sLY޸zUuqZ/N偂3ږ]dfD?tΟ@lfnz5exw*z~KHlK\E6;d?[ъdo#QgI%b>9kYW[kpY h}LٓVܶ`p)d&#3)F;JQn7up!b38ъ?>mt`厉o7Ϳm <+"8F·:]zڼ'O8=S;E슞Kq)>~h u4sM'F~^_0{d{SH? l\2}7 'ρѐOҧ~c@ʜܽswBc|-ؽknQ::̪X5sg$9N)M7 ž{)cpF-RIܫ\OtsFfc^06b!'R|Ȭ3}(˙~olDcn9H?;2B8Ty CݒX8[n9{ު&~+o)r%:߮}͏D.^ebyImz+(AN! X]T7ny4g H3km{#P-8ݻut $_|o}:7VXX*TAˏmv_>e%N,CKdsvQ8ָҒ};ɳU(]lqQ#auDhh,#w6~d ӑ|N`u1Y&Ft94 erW1짱Xu9kZY!=O9J?R )lǓީ,t7ن@[iUlܰ^<>Y)γ>TNEe ;%z夤_bn 2)g̉Ԉ٣wx3+O||vl3,CӒv܁Izk+3<ة4"˅vo> T{@U5$F|c0 Ӭ0wP-vxX)йf1\3]6-HP02,iraV\b?u%^Q=%fj7?S1OJ3'K# kx-*gÒW~ 6ݢ*c] 5fG5u!vR5 4,k?thZPZN-tɔ28+t[dٻj]Y{rN3Y6__1Mƍ$?lJ-/I<;/=7M-\<\Yά_EkJNQ@zeCn7G8BRF}L?@݁uq{~f"lYNUa;ˋq\)0-oM^FpFmZW >U0 IݠF i%plj117kDicgaXtՑSQVm/q\.`434|넕c7T bM)7J# d*U䙃#uT/|V= pD3W.D5ƲW^FOvk2/E9 K68«r@RD f0QTmŸ~ jV.a>?raUC NPDv:uӌ @Nk_+ uXR20fp^<EcSӼ>_kSM}Qg O W4r r})?N޷h$J Znq[Aayf zRЕ }8 T d э?d_c/\8!H[%g2TC9fd%A<1VC 1[WB g]PQ<`$׏Ht;a?pL~ˏ%"dzypLE2*X-< N)/>wܫJӀ}J>`jX5}u S`ۭa\w|2Xe֘TO&Q2S3.)agTVߜmwH[MEz7/' 1NG`ݡb J(TX'9>{7B6ePD>'mZl%ǜ @:̊>iBra e^=rCXiD/ fO5@!1L(A\L "$-"_#MSb0\ |_ Ivz])L["\{+vN~_p(&A3VpV]w),S$K$sTFa_{? {طۆWXxp\Nar.@m E:)ƭ 3awOV@]$FeP|I Mi$88z%蘀R÷> $ZE} PhTnCʞWg<ȧF$&'cd/覠0$wrl$\`Ye|bO±#isF `OΊR?ናJ*g0 Cj4ʺJ+K/O#9?=k9uEz+٥5Z_{g[AF3*1Zm+SiYJr y?tlj`壙lLs_3ݰ1dcŸR̤ ф%9Ϡ⽔;!`G^hL 1(|,sQT0 @ZDN ~hȖǎֶdB`qO%n`MgFCkg ZP(CwGjad8f DGJ!ޜ 5QG@=ma$Q[t%4A^-k d'AQ 6S-{T␸-s44P_,H68RK\1W3ZHC;6)>TOL843d۷FPJYztmO$8=y #=ؗ0!pбmGuxBwtI-O'W_}1 f-^@ a-K(!3U9(>_B'eS6~S R+%zQ̈́b,*]ɝL9TlU>j.9F=x=Di=#Þ [.ŒdR2UJӽx NJekгǭI}9&# m'`'"\`>Ƨktļ`CD^_"Uz}A!: 7ݛ?r'\#ycc`a32oT_l&K!I ~r*4'ćeX,>hEFmoN`:nRQ!QV`g&S'_v:Lg*q/ QAM N{Ȉe L D#:|-cuvy MGTjB54vY m%276<] |M?kk(//LR\OFe$C/+XX4A2h~LȮHfp4JY~~;uOQ#/͂ؗɎmokc~%wˆՌ$uEDJWnJ*f,rΚDve<N*TQW>j<&$(Q I6wȪYp5A*"ሳ?/ƤW,RH=F3ޥd-I/}yoXg~:㧚70M[YKz.Oa!ey`)30s},9걂UCvzOYJqO 9\9s1碡yլLkR®u^-C #${ BlMJ϶@hw0c d w䣯vqD۫1՘C9vCWЛfA܋D>|pa}Ok6szl5S:X6^lqz)4;-M+_oxvw[SsTZ X4R\Y?eYYKN¡;b@oc:DO-"3"sВXFu#W~ {cl}GYkͨ`id,CbVSfBjlQd~@N5?qHmum{0%r8pn ..oVQf&`"WT@mvc3>H ~jZ==n`GOuLsc=`nu!Qfť/)T%N#{l d?ۂs#or3~mzwKޤGdG4ic3@RYOMQeQoQLSF^};D7 |R}>w5Q:'8}G;?k*I$EdWQZ XIߗvB0fgb5ӗts˵>ё7jY#6f>>Uom sͥ;Kĩ8uj*WB@; gQXvHUkShIK5ppBRЛPDEF. 'ۗ(6C;wzP:-t* Ԏ2ZUHjvO1aRBEt $ 2YN- KVVyPY_pԛ RغK>nfVg1$!髫u.hV C%OHt[srV,M3Ii󫺀Y:U9HfyQޙTC"?Z/z Dxߟa\/١X={uW@;Λgw7GBt~|aU+qHYr"]YC ^3lULuR=SF '$T^HVzFw-*rqM*(z!{;Xx"A-M<Z21!k&1JU~SbYx ([>3Օ)CZ鍆C;K476cr`h<Xǻ(";>@ ĒSKY>CC/ߴշѦ(꼩nl$|ZmF̃ swLuGh=nbKpbx(4~q7U"v6º BEV!"- r|J>rӳ w_Qs+L?{,Y@!6X:,~PA¶,As%Ko`10zVbCV<+1V .{Q_WA "bs!ҏG1jÎ}3Q!/K;hU{,]{ukD%<'0Zi5='.^ǃ]cce͟P3+Ȅ%hqTv $|5LUa=jℲ8>aN'yK=770^wY<a$\=#< 3|x"ıg>);\42T5`5޷k9ڐh[GU/d.ݵnF[܌$,k4fSM0Зgp{+.s9Zݲ-Ǩv_xc.2'iP0hQc@:۟/k>U4握PHS0DQ236WRnwпWUޘ:v:q^~}F/[t}1گ:_`Q:2B~|h)2HUm:"('dضʋx8ƜGta:@,wYJ 9{z(]S9| 6*}^kQxԨYc:v ~%'$SScd?HҧY.nNi$dDBke} hW2k.QN6̛S"` ͂(vv}T-b? ~ݩ9>aXSP|q;P_9 !ĝ/d2cf|+b/JG;KM%uET$~_[y* 2~c=ĨBACҼ^Ԯ:L|pur㏵ܨ|Іh#6q7Q/ns9EAY#9 O ~=^H.oD2&wxġ3Ն&btk`8#cR Z/Ms5h1ui͗|b9Miu.E]./W|C<4Ed#\G ?~?xVuUܙj4N[HiL?Rd a7I(b煣Ϣu9qo(g?,O! `( T_R!.W F%HƝkʖHˍtU.LV++j0osV|Pk.q߾ ;;]<(3)^*;Sk8LGcKeH&wUn]dڍt3UUےd\TFߘ1:U& <fUL*$ fgRſ@.ea^梪wv*c<<]f-. su>)FdXkJ] gTK?wSnblh'NYc1ʤLрjH7 VХz,Nd0rHu3y=y;`G;}ve RJk9F/qRzӧVC-SOTҊp#tyi=rĨb956Ԙ _OґM[$1]BR̘{ZO>6`W#7c>t)bKAnU(t&Zd?DtC3:B$ju(̠'ၺk)l>@U N7rZU KI=@dsڏԾCF suQ~ԄfpHu NƆOQE:g)XBiN71ɬzoE}Gc1w߯11( )im뻰i*+'[2_޻]S)A@_1ݬf(PCZRA؎K08ؤw}%μrH`gJȫ8E1_nl@Q^ =~gGʅ0t6 V^5@cǗ@dyD˚>@,oSj>v˦'k,&NkaO͵KTwxA/X28rKcSeou{ xpF*YQb"EP1 n羕\ &D /.\k}KP*76U.X'-tlɩ1#Iу4@/ nzt p#;QkܘĪ?;iwÛl-M]YnP87>`el(g?|ǃ3RfF̩ٖl).NXUmUZ R9ȁK`,meW=\spbQ4O>u\ow AmFqٲ撊Z LiQ֭ A\~G ~^޴5νtA? qP T? HTܥs|*;HBb-~Ɨ@sӵFP1?vfBYp4} ?H@-A[c$lUs; V'ó'EG~"rB?G\8v0$f*2F2ܤPb_Ra{<0< A,oFPjO"bOg 8ތhs\ȹec*!}20_oz+Y U٨VZNq=I:mˎ WxҬol]llHIe9 ( <`ei v*7Qwt*|APsBџ[2p,Io뗢 Xn_XjxO l;y h^Ŭo.Y`4"Gj4OcS m4Tߪq (21NR]5*/Ǝa=nsj ÉbTr3[7y$?^AQBg_ji-ȧ8}QIضƢȺ)UޤTYtjhu)L6ٿ?:BA=n<@VYR7ٱgYZ7zXZִF! ^]ŗXiɟ<t3A;ȅԇt՜+3Ƙ9~Z]6C. ͪJYss^W-ȥՀC2)\_UHɛ\ƾLFg{hd.k1L|Q>׏ %h/\YQ*+'8\t#MmL-='i'ysJit,8ձv5 \t=A7ٞUbgϦx|r/@Ctc0_,.wA5Q$!D)Ku-Cɷ%#^ )TH+X⼙C-"7\ , gYZ7zXZִF! Є]ŗXi%L&iT{Sٴ[3劇ɟ3aQJgɨB4o96^bj$=gNng/zKUHkЅu,3' 9 z2:"2kB`Jd{ȉ}`J̱~w'#ZGU34{z 9 Wۅ_dl}Jxo!'vHmPiWLz1|-{B7'1A><ލ1ohnP(lwx,.ȯY* ʠo°$J /8LA>He2Wwt iO.dz&19r}E6V%5)]@cƕk ovм^/" Wk}mh`E1I`Є0w BpY$9\~ % r*|/w+xKy)r& Q;j*GX;Rmju)BwQ?UYekJm53%Bw,;s27>;e Y TmTK׿k\ rΎĤojd P&cSM&ط{ aIlv0_ Nn2Xt)рAd1]8RS>qh.fuօʊz>sقyukWK}#KoG0:U'&h|˜&HӺ .cCk0pR3yv2團V⎰m.KBHcF XcOt6I/4pskO׀ v`t C ]%=^yo@Y:&(heICZ7Je7Y9Hiwa^\B]6ƧA/ K\; ~)%l1{f} -SfaLqlkEi…v*@ٶM.|u?=?@KRC\6{)N~`J/:_,wGdxD ψ78Rö l#qgڿD.*)aٰ]=gd^dRa _{~m*$]"#r]Ii2h66T{a3 Ifye~":{J %ު)M Lşw .|'2K"};u.t:hol;ڍeP(*zH  roj١\M2~|d.΁\(CQ2nwgb1g{GzrHz1ևPa1[_Ǜ+ٖL})zٵа&{py0q(1ʎ!S\aGz #[ ^ ǑBkzECهфaGweBxsEZ?ɤ &PZM:Hro#+o5vÚ^*Fbd{trLћW h69ެQ/ϯkk^F}6lUruR3DWY3.AyJR']<β`.,4ٛJ΅ٖng >twU-U*H[ِK"qP:u#k"*,Z 5 \ P,Fx5k*0`3mj=E$l2q5SMcOКNg,\;v|8ȦU([Zf11n0iQ~'@v|GH:ܜ]<@V{B3_9A2w;P "ڪ 20cQ^Ƭ4"~2p> SY3 hjؘWkUpndWo:j$!G[]qd"(W㏈b\~|PxU8Hѹ,UFHK_MH.֤Kz!z`v 0z!{[a:Y*}V>_O=06ބ-~TO1)!{U _/miW8p(iCc}0 Ho7ǼM3Xk\ytKHL\sNM25K󲋠scq5j {$rզwߛɽ.vKv)-ݖ|](d$sh:] Y:Ur䎸[FKY%h8n'w*_{ELj>@ĸVytz9Z)@BbUHh; GvW+S=Y]z{gp<:\҇S'r}%]-IVgYZ9347aff26b901fdf7c56cbc5877a0961ec6e40249aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a03d08c0f587e047ece54735d75af4917719c4c37cd7e15efeaccdb3ab4b89190e456ade99a070ac