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  t tt)x$\L ]S Multirelations:threads=4elapsed=194.215cpu=212.620gc=4.7487zXZִF! 5 ]ŗXiɟ3wD&s7VeaKQi#bE^@HN(%+SnkA13*N@2Kٮ` F|kwK 6BP`,3j<*'Xu#(L m!'F&zv.A*E`!7-ýs6ba$B"c(X9Ed,0?*(z.Oc !Lb;]dBg3ͧMQ'pɻ\ j:n 57[I,t1<3F( ) Multirelations   ( )?% dMultirelationsMultirelations.C_Algebrasdocument.tex7zXZִF! q+]A-MՋhvG"uIBm5@= Ci.Tu͋:N vUl1?hlY>TW#OA8vՓ91;(vrҨ tf/'ty8o+U)2邦P6]qp- /=@sV"ʲPTO取+`qq£5CZ-(rJ̏sV3 _.#Vh?{=f]KƎJ=խ"^>X^ *(ȚF<@е*Mm lΆ/dz"86"op{kWZ{ 0 %WLs 9)?%MultirelationsMultirelations.C_Algebrasdocument.tex<)G% MultirelationsMultirelations.Multirelationsdocument.texbh M6hE.\jc0J%* 6/o 8mKz!YyE4zLQ)RK1RpU4Hg(|{ |ٙ7K+񫆶~h[:j]мB1D&@F4dVSMMa@ifif6I 埫 kɊ ]@7!NFRh’H\'F7(oOdT͍R-q)KfQL@,ڦNw:Ns|񄁡[A;96 ;GM+{3Lò y%hȆגT/nbQY_Q̆Wƛ9^r_ mA0XiZ0X"ucO#Z~yUs9D on-;l;dxe˚7㍅%Qᩈ:?admt ~}GL?wQ7`!eJ+hsZC*ܳ˶9`%g lܑR]pmg|G&]Bt5x @39R')ㇴd~k<(yݮՋM <2;HQ=ao6f tO޸ӒH3)V;=\ @2F5.) Wc=aUr:}l\{a]0`r.-繅2[_XyrAéPj{F5z;oU}JI&9HrݲZxg b^B#/8ip7*tv73-DP&STl>4+)w!EM#/,/xK~&.Ì SFnބˀԄZX=g0M?Jt/ФW7Xzӱ} O0M[g;#g,g!n&BͨTJL힑5.+zb~f._.9V>cbHq;guf6cm0*e7&?[W*V)ZcxPd7ެ]$c-"hNθS=0k,4ڬnIx" /b刡yQe~>Ewѕ:B&w#st$zRxDJlmhAg< ?%KJӕ+cCXB2lH8 nIգޗPJ/eQmoX[ޏgeFӫP6 KwqV^xӻ)<[,UEYz/ Heptb=8Owk>4`w?arbtYt)=~2t}jYݝ0,z gJt35;(.Ao@̕$ ET \O[wd@eN7)3 m{gW>6MWkzR7sxyM4+㛈U$/c{~-=0M2v#-1=!\8tV6M8,26RY"3&n: +/B/ 8] ?Vh3>pJcc3%{E-_o2U Հ  =ݻ}U1cfI!ù),0(M~uW}[DoԫBy S6atB9Z#cfrYDk(;4{G : a%:Z̙zŌj%x&5MR"\V9fz^*+.i nfavEڴ/dlNB.,u9ӂ YH6K\79NPm=WcɘQ $'() -8a fPAo'<ۅ?Xp B ЀExxY)B_+5Z2]<,A?)n~_*?^ ?)g8 0Ea"tbQ*ԡqzšx‹Kssl, ΌpA6KFb @sR !1?mq#<E^?mi$B̌O'BZKܛocXA|Ο]m>ٹln/loYJ6af\[>0{usa'q=!dwZկDfvSE<<Zj};5(U3p>XRZ;7ᠵy `lÂ:S [98xRUZAe{Q(x}{Y/2(InblY @:V#]^̳5`iy[ɫd> 삲j9L4XG [̨#a fz[G4QpJHf-₟ieiĖW#!M{gpC2X@]S MYcS~ߘ7(TAT5(LZhPO&VTwU#nݛ]h6:5l|F\EeS\kQEql=@R8ʈW$ [ T"F 찔ѓӜQքDw0(iL{LI/T*M̲%/e@nOOa}GdqBXX6'5m#bjx`BckŽeU2 ^V4ɰ>ashHBOZSUZҷ.+p^ʹ2jձ|ݕ(\)ӆ$b9$V?:n]=`l[xČb>(&3Oyz,-<#)]||]Pb_wji7d x[ ㅊ@dzԽF)-wE $O=x~ {G'g>癧?=H[l&%.GkJ$SJg@ج~0>=hc8TlsPT \5X' aZ?#MF0!Eщj_8J۷HF?ZG'Jbku )*zyF#sliZʔ 9P;} >P’Sm[!4{#Mه:Ӱ\<|)'sAC<𵱄P1t-+1tN&0M%Oyvb/q-n+LcrLfK|$r*C C_ٌ;WGr &Wu/~'`p(-k8J^l@83;F,ꯔVSM~Wx婋#'spe TigMۦ5iNz ?W~a՗ɱPOϋ0cy!$a`'jS]׷邁v~J]V(Bza}a\gI 2O?LM`&5ZulHFT$sPk.e+R Wq%2%HIsw0N3z')_ P2:eg=V&"@T=ljxYy q8x4,h*iB'uA`Ol6۹(}BƗ ~j#+'+^{t⟛O&)AU IHm]*Ŕς$L5QJy{K@uc8 x뮊1p{h*m7m)ěhwf6 CwCdelU # Fd@ϋsۤMhRY[[YE}m| r\ c?t&\#_!Lv ԢzρnRr) |L"ws*z(_l45_%l ]hkg +)+N)b!PO<a.E;S& /xKI z&Ȅ1C`жZU7S TlyXg=KE8qH)':8=0NSwA o XJ!cUf?M^:bL0P11iTEaG! +9Avj34#ְgW8@[!InDbH̥>:ھHX~NFf<gP!hK|+lk)tz *+PULrJϞ L}Kw/@Jw@"+{ w_R?&*%C/!hh:I02wKxK`M9XdޙZԢ1KF)pzj D oDoۏGc r}^~& We9~@ēTDr<+?1"QĒF+qr'qDTPרm{Q v>Џ50=!%_o(褛hs[.v q^[zVNJKt!mLlv/]s˦$Ƶ3KD@(ONs{)=B̐sD§ME,Jm3(3e7IA=Qa2>\M_F֊`ՠ!`* L8(8^1Bzص: hl e烂\ކq}=622}8%8 }"} |22Uvb]@$7?"&AfTQmY@e7eJ46>yP>w fJȻbA0? D~2  ) ~RVr;mP0Zx}\|32 W (|[Ed[H  F)$Oٲ^v$2|#pq뮉ٗΥnmړ/{Z `Gt &'=hu2nv9q9 ٚ])$N<g:Np(}s2?BsowF/5nc2~yx[U/ד}pxj5jc w!m Q0:4*QeQƥQZɕ19Tb{rra;޽+~Ob%k؜Tac$GraB>A 9gzDVv^h0GWZFR4%v;X{Шn,|`#\UʽYN"tm{з3Ýc-iGU+bŮ93ݡ*Y B1ȸc{Y%{ƅϳA`. X`p6BO ZΛWzw '&ͱm B: qs~Œs2+|ܝfpRH2',ayS3w6S59nؿ/jvA?Ќrg3m~Eod4!&Υ)' XgL141K@Ŏ@ KA?"-`I@o]NRȵvw mdlSkq!K3V1ݸb|S֧>|^UratE[xJ~~FJ#+ -#g(ZTǩl谋EHl@|Lbde?4YLA;{S`ˆ=7XVZ uE g0b_m̄$5/c[Y; v,'|ip"bKoOKx8ɺޱkSv@@C{(B0,!ep)URLTϔuY\IwnZ^,)s>XO3@ۋޣku7=w *.J^蛱ꃜ.oM`/?X@Gxi3۵gRAJ)Llg DDSxI0OǶ9`θxdUB/ƱxcgD0 0Ejh!2'__xgeW;< _O̢W4 (9fNٟlxM479|mMyGNCgqQ[z5 `$'DYJV j?Jխ &i|78dʫd5Al 2R|N!onA<YyS G@SLX;S͒/YP ]?ft3oK"f8&-K9^yԪزR7^ V!ః6@`x(C?G8Oc&Kp6ȇy'BCw?kI+28D Ή#a0g #&L $ ]y nCJxK*rGl|êz<"5"F*Vv\ϼ)~21NOS_Q׿tG%TG輩 "7/NW̭/憺𔆜`p>C zY`?ipw{숍 ׾ȥC%?N=v}>VT_侪haӝ.i/TѦU/!', P^nĘ7#Eؼx:n"n<#V'?O_'pnUXsQ_Ǻ-Y]zuY7B*(TꛞZe^@rF uIBYޯp9SbX {){)w*co!A±@kg|6Fb |=z;%T5Ҽ5s*Ę9~|p{Lkmw5X&P[ubvJ;w`ך-ַB(&^(HL$O=:>7fn~SOYГʠM@€rO Qm!opɇhUm'\I.gu^\ヤ IjT -x!xc ӊϘ>^atbLV?Wȟ܁e|~B߀fpp'8qBRvxx MxX-܂W a0C9ӯj4[1 }Q ! CXk$NUL@; lGouur\_uZȌ.F;NÑ::q9\DgJx* ,Xf*e}[$W+LvHATRHt+u aIy9)X墕2›b]Ñ1 t>;[*9 \@ c^ HS ȗo/ P4 &31.+J0;n {C=clvG@Mwd0<t'A|̔%!IrCs#Րn<=FɝI6be#;[i4hiw\x+)Jȏb-cRՋ*k#1Y.hZdP}BPoyhщ]u,83vzǃ\a̡LCw5'A3_uiiKnr)tRpz)x@*VΏ#}\ߐ?R($ǟ7tl$dea\I_UX7@>)|Dio-uj ::ޙ~n=aCZqe]Q<oҏ 'w,ʞ's4҄Rc,)7n:I'X#;)Ī&q_ɲ}ر BxC#v_yuK)jjOkG\DL`PM+9z!]/zÞ4~b-ԩ>[U|]+,A$t(>m dN z ,IW=51BrɾNV+SIqTlNgg-|qQ~/ܤ3lp' =mb]([P%4"^ J*&GIg@wrcM&Lhq⯨*}2$g<7 8<~ŇY2Mψ{z emEUmcEeN kR2rLv:-i JVĮ4{>_Uܢ\(PYdX%ᅚ3Iu^k q@ldAT0VS|{9K~ˁ[8 LxUH:njh8)*pak?9 Q\J|`Klގݪ|U]۹S:eИd qkǪU1*Ĝz4N{wpŐs4Gøe 3lSӻ$|C5<8b\6a<)v/ tvG0Y u 6woYyBxyTKb˥䩠nF| KYS[fkGDIX7[$wt:Kqv[Q}{"ц-RЇJ\d*8~}$ ̪[!v3U-=q)j^ǽ:Qġn)v%ub;cN? 4,á/l3D,5|xU[{?%j0}du*<.Oz،M 3HuֱJXPx}k _l,{Ec G. N͢8JڣEct&4YRQD=ad;oUsxtVZ%Φsws˪a|yWvVjmV9vK1 j鑲{s*L==Lw:V?wB_eCF\^bnrpHA_C38 nW+s"R9:|>M(]s/Ϡ%m>4 m+G/V)o'$ MJú"f*5# d@3c ~D:[ ]- {87xhjD]i6,CpMA_G~0/ǹauz,0v\#c8~Y&MR5\<+AX2[wPV/&Ǭ*BQ O)VcnyDE,*2޾kSawbuԲ l+(lkRF&a0$)CUqvF/=HP9q^mپR$mb!-€NGWY[~aW_DBqqd4*)%~N_R#sL= SRٽ4.D]bb.\|#:0$8vC16|YRvL"m9SyӇľ.n%_aoCh;<7:6 H|w&lǽq9#Ã)=MBmB;F5Zhn7fdFgu2tىxW"HArŒ,qyjsqjœ jU0h2]bh*n~\]+wqV֨ǠY:*(>˪ )'2c YW-Q?26uaR 7 ;`n.sskC(@ +/Sğ~n7ᡢaoDa_X㔌.*ywkvP+#a Rpҷ<9}7}b)&:_/ }G;zleȵ#}c4.TS x7jж%<)CKp[fyg}!0FuwYvan~5U!8Dt?[W'v0yoň5ٓj oYAvx_A_tՒ+){d؞eh8@۵>[WD(WFu",8'2P-\Mav/"d9 N-Fq,8BLN;b:۴*D0Re'nlzN5}V @^cK􂵁K BP>fv-IiަH]!NZ֓}&*q ;1Xgw0'{ ު0$'>/mV@uu[f'MirS+ny"#|Q ͐`9nWvamc3ۦK]kMqˉT8|̅~Fb[=i>w xyp(з SzVɡ ~n!r ^]8k~h4zjetgR8jtB Ӷ3T3G5.7vH$4%ϗ|иrN Z~'Zor=.Xx{ jul7/RQJɛ|gV5-/9Ze(-g~+|N,8uߑĮuIM 5P:+:<78#$L` u&"0$*159 '30tB!sy@8z"/6SVfRb乶-$)zX(Mw ̦OG$ҷq ȔCK`|p| z8411 CnTމrsqPsMFJ4L0ˁ]˾3#ʳwaO _:Sߵ1v! Gw/>v$Nmk$pO%K:#>P ;ᛛ|u''BV90bp܍ND8ӚS=FT︅TՔWS=PC MrPrf3*PO/4)F]b*CԂi @W,^R;erd=0(9cـ߯Z|8=if21K,=,h"f`̠l)9^;B5癠[Dn$f~%o=AfOd/^yT:;>>@CPpA S$>H"jj@kU12f)_|=vWޕU`b6c 2`?$JP9`e5=Q;w>IB>sDwV)'4Gc,̝=VdZ/ȤpOG ڻj|؇̇T&;|tgkZ\1ɘɸXXݯ:ڥc Iq:؂&%:Z C/=xT(,3HUeaBvm' ^(Sf'Z/j$t##L-rb^?Q"#*LzcGOt]܈B_kCG8{a;GԹSd1z))YZ!9Cq}X?O0+̏ :Nq~wȊ5tK\AvO\@ˏڠ3f:<#C׺S0av6Tɚ޶SBj;l4|r][n!;eHXB+x_Г+zA41܊.|nM!AـQS,d2OxԈl| > ),^h]b1KNX|Kv %Gm>00q2]}`tC]7'Ԓ&&c-e嬫4xL'BV^GKKS4;;}&UO)G;P8UPp{mȞpg^zqC,<ҕ|VҥlpxGÈ,81?ʡ8ap"s].4MgN^&SSBp i^Y|Y~2sLt^R~f2c{F ȰɯڡgE_# -.uB?e=o>S-|P$i}ڑnJn`WX= ƄޮCⱌX"T!"r_ `S T@`-:7ڋ#.x>6̡Və`'oAۦoT}!ٯkIU~mʜM q-Ņ#VE}jpꪌ+_l˲{ ]'?MD+ؿea=;IcL9V &;TT3I+q65l&ǐZ!zI&4 8^g}n_^ck$z< sj6<ۙMGsg-5[i>/2{tJ&Rjt᳻ a:6ؖgWx[~uwy`Kڄ0J4=7]N)oCp'v?MO8 0prgAtS_ t[8X›`\/C.YJ %0)@, i{ A}(@(tRe,YҗA!$1PP=Rwr)ZR54dDSҎc\;/o>`V]l]STĠҐF.«FI :@DdVC (o}M?Il{WccHcwEr!l`֡| i]Yىip7k+X#g3Jr:;tX~ײwqqe,?yq'eL*GgDAe*4z܅Mɜn|p!gd[85_Dab"z3οP["Bڞu,gnfkᄚjU^M,_fhIxhs ;(ȕçUnNKk{2>6g= $Piv'bz&IgR3n(t!d%#h|h18 >Z(Lin[:Qgm`2%(L1ʦ[NqOX{5-ctBR]{3kݯ-C1U $꟮  ێikVR5c'W9Uw5̆UxNU*^;ݜ"jQOQr詈@dr#*imV J;Rv4.7B :.(Dh-8W1% O*'ŻihHNIbjteDdU<(S(=*x=A haON O+x;R'|ErF4ϳ_ ~Ss@S`f w}ת ,SBwrQV>p׿D&5SYQ.y14"_az̮qm/k"S?^Ss\d`JKn` >gkO)I$LWjmR*PO_DNuO]@])n-DOCDR-A?&-Q lOKT,J x|4GwOP 'JVq 7@>nW'q)d$ rʲYcw5U}IcK0s1ʥDWɱCnߞV/K ̽cqW2L=|qn7Up{]4:%VF1Ly) 2-һP6-F^bW~kn VC(p9Ԝ~ f7{V1zKi)skR*`hWq27q37Bʭ ahi.:l,).L Gp(ᙒM?f1@놞GxO׍H4:3Ƈ|Yzߜ#cNicEIwheaMEޙX!rMEmQeuVL9-;3">;T[hwp-޻޿7i3>xHU'B`?[E{K16HVzr^ ΠzI`'M 'S,#ky 8Q˓uwu{+|d}YE}%RK,$-QPwGo 9ljuz ݜibˌq KלSDž0]ZDlF&z5QnJ{ʮ:\uu%zÄCn% []n?3P#nKE5`3Qi9ܻ8Ooe4[Ƨi7>'H;48!).f.:Ed]4 Lawk&Ňj}w'P¸+˼gh[#L6n!:k/# 2" Jhy h?ߨWPYȌ CPyyT4OQ7,QC4 bl +Vo,]vۤٹT;,t!Ji\_}Q^ Fn4liFotuqџȇ4a= dK)ZnHfa>y Rt7D(콾S-ZXdZ<7"؉@yc jjel`p)z` kٓTȍDe3Yꂠ" 6T1JOIE YcX/'r+OC *K!5̆-<͸^Hz"jYtXyreg~ )g-6U7A-s~w4!gkd lzm .C 1f^"D0ךx >`@RTs4}64a#lbu a2T+‘fVȵ[9G40-MV3F67=b:`ڋI9iQEHwJR%`e c,wj:Qm["!ebi1^h-+K+ Npi592ϱս5'U1&_S(3H0EjM%a= 'kshfX5^ y+#YͅP=+ו/5t!Q`էX`b^pn؍8j$e ;|]nRx $Xt[w u3eXQ'#Yx<bMG-zLbC+u>9@ދ.X. ɨDD'I,qt; u UO}QN*!`? E(+< ڱU,X 4#\jTͤ [(e\5bc߅^e"ߚrfeoGY {ueLy=M r~6q)"11#ըAj9gj]uE)8CMr w`6xԋyE`?'bh!+ʹ.+(܋qQ/mo.n0 ` {j*?$>-YtL >iIg[dx sEґ^p@znVHh5'Xc-u8_DBa86T d߸?zIr-j}ߨU4$,?RN#P45;*|-^lЯB pS=ZoG[uƤ 3ws0ݪg3$ޅƥ6 V;z(LÁ΋y-뮫J]J#}v!$GD>"`~Jfn9:uXTv/_EHQ8J( %+ e(C?ca1PEP.8rB^}oZaL~6Վ8 _h Ԋ_7zJd;:v|O)V1&TXf ,J P[%Wvn /OI>-ӽCii}T3,ˢz(0 Dqfq}^tَĪI$MC&]Î[ї?_=\ka#xH- B6r<.' h&8/H~4%Rɮyhk \HTp,7q|8(6Lc5DUkX^16& R-r(9w<@?ʹ3 e٢Ƈ tuA?g)XKf.Q{L{3lV); -HnU2j-vB2o*h6kҺ v_] ٖjED/Ir^;imE{?J/Ҵϼ.岇5k㩵b"Ru6nčrr2^k(- (<:Ǩr[4dhrJ\\#gp@'iUMd %_VS)I|\o{*f7 vX'QlHT7sҽя8uJjt5KE , dz/.H, %tnq.}2zZ|4yhwü- z n')Wڠh4F.Ab0t;:`}\P1`U,2՜̌J@ꧠГFo¡Tvrn23*M9C*z!ݿlYy7y(4F.v 3 "$H Xj`Ztc\E|,G.hœFm: rhس-a2"ʁUֳשE;؊>KZ7'8NK>&Gψ4PUrt[K@q?D08ld{O|jڊ3r !ٜ+DQֆtf'!V]k h;v@B:j65?z؞c]Oh?00mY 5oSkOMP0. ?PZ D%kܑ" HcRm>swP?BnʽSN"7OaER\lcTz4qrk􋛏вRTǢq>aʖמ pݺF/E@`?H.$zCat<˾Ct]jLl~/{ kިeCR:\jwqQj  ;-ʘ- /2"{i{n-f?9]NhDklN؂}Z$5^׈WIv@;CV sV8U%xI5'!A9/q5Qs@a;( #}uo72huQ2@4.["fV[ X6+(fB0Z[!{&QP~l>)Ǽ%3D)sn.nfI.L=]clU[&DM5M)ZmqKda|[V6A0fX\My]&'1(XE%lϊH+7BT7QIбSedUuoaJ߂wElmdT^$,w3$Ca$zpıژQGe2@`%sV}J"~~<,n[JĵzK 2UzUGL?QWlF~xަfoc^ U$zvIڰhmԥEni.lYK!2S|dUo,"]'OjE2+*٣1*j+^6f{@̮5fkJyJ٭e {"ւ-ZCX6"vџK.sP:j""G,2N4#+`,3`.L9Mr:1bH!w+2ƇpDXA2b{97irXWpVK1B'ByN/3D:.ԋAiE{l07i7A $$̅:N\@JIa'a6˔ .[y}u6#wg,KQ_ ͳ+V2 k<&1Ee`8\KXNr8Vty{HHJkR)$'QI|;^oˇ(8&He[ 82,f8#ŅZR /$04mO?x!cޫ@b4;Հ:J17x}+܇]h ړf$.k/{+zdaYUZ }ʋP}ejH.O܃qi5;]M Ye ԙ$XĤi"S(;Nݼa$`F@b0_=:k_ڇ@Y6lG>l"/._bmCt $g$×?퇬$=Sa|%v9L?k! T՗8^0m(|x1o;ُ6brjrg74 /`-si0pmp9ô< *`_(_W;ێʸT^T @l6:^%j1Ji|w]-ЙL@"SvJ[[+n%mGAr"LfE9`6 <>;ޚ^IXۢ\¨>7j/\vVHT%@ǀY]6,*Ze7pllQ8Djn{_4g~u_Gޚ{&?ov"M}|̒6bswP=N3Ȯ'@L,ghfx#7;`$h?)w:k%Fۨ6KBqJd$T?,ϋݴ&,YnO;Er dMF< , ` pdI{s=o#G sD} fd|w?äq0ioIo՛CiJSq0= K?[=tqNm h Qx{#Ka?Avk%~n "01 B#:k,tǍAcpQj17<;ġ{ʣYNY;2Cn/o.f}Tն׹5,5,$ }r ͋&ȣ>⶗d{@"P4ߕLPAM[0OkOIc.nbڄ <"R*#rT92ݢ5 gϝL/Rkk86,yNiQ:^ˡ;p&($;P+~^Gv>W dHThs#Шʯ!wXW_ފu5)qU%盉H#C#9CNJE/^L ў^wz9x@J0|F~&a1G:"n!fɀr,/.LG) >I;=O=\x ϟye;1χ(rVJ@aɃ8By#m+0·B6 :e gdr"J+5XT(HQ5hQO420Xl&kPׅ ex}@"ϔi: KK<^fl+`:!:R`&Q=7(Iѿ!.3yߗA`We0/^"T~_`? ITȟSA64gxPmmd7\h$E`\ jVpv<)?7.%{p|.X&hy6,|PwW$I!c/}&9^ETؿdP4z֚ pR(OyE$;C =R+v7Q'/kZQj]v$nq~&"\d)o H>fvpCǬ6ۨdzq=UQ؟[/[zhyF?0Kf/4vE^ZTt ֝VDTyW¥0GHz:Ө+P<~M*$ ޏ \,()B]OY%R[ˤ+FkwH)e0oAYR]D5 ?;I6CcI= t#l [{.cwlwJMF-*nu z͕%i#=l%꧹[PØdJƘ [%X3f wC6)>,I->CAGBsu܃9Pt<\pixAc_U8o'_U@@O#zBHNdc?ps}-j.p9Ŵ{*_PzrCkE{ϓ6cROaLExqxkjљwNs'd@h~r֡cQyV/ca@kT}>nȒ-4Ϋ,ܖ_j5J66$h^ħV =(U {0a Î B 2mZ+@{ 䟵υ[oCE@&qr体vԇ]F!ٻ,' y4 /}u@F|yVtҦ35K=x Hk >qԺaogzj1b=0sPy M^H.J d,&l*&ɓ)۰QAU * ~M`tjcxBuu]ZI@P=cɭZ!rj(c55-EfKbT>IUEQ+_䮷0w !PpZu煃 BWLFs?K]4|R;B_ؙ Ίrb>gJPʞ ^M:܅)H67WJ wLZ 莝{֘霄s0fIF;BǚU=QG_]AfKB"XVx2"Dp 1!p`FѺVQat80a35¾qS$ ^ZlS`r6UJ 9#*c҉zݟ#}4_aVu a~&:LT&`5^$_x'+T rE⭖+^[*1vR[\)()wʻ 1D'tRW4iz EwbynɗGQ\Š)>*_ ,ې\k rs-ſ k+NfR@9C֕7Uvo:>BG;D̕3#pnMǏ +2 !խ2&]ݢͻl A~pSٴl܄h ',EwJegKc8@Aޭo C=&9'w<@CQo{,Is,L[7 Y`dGqXOUlFM`>K@/y7Ep\WXCcG[l$mwÚeog(H3/CN vUPdC=06c]JL08E pֹ}F +GDt[xh ۡ5a7CC*f%f,ۜ+s7'LፘO _ɩՂ9,AJ̝~O EVJ'5 Gtʹ =_d$dSi*Iu.8mD*Ǝ՟6?z0z3JtI-7h`'<;!opoF^kI\5M4A4^"dGWc]Ji\sojxҕ$Mgjn,JvhU+1)B:EnC쉔]^s3bPx~0؟q dڭF)Nm`| ?ږ1B;Q Ê0Ž=-TI]NQp6UR`-Zu!։FrwYψ/?PH;B h+3\̦bQMͱJ3,]+b۹fg`rc*iNkoz$3#!PPADkƐY&ؘ\=YglSK5`s\rBI(rs^,WvE,#D Gy]1n,%,NWu+%]kZ9빭no ʳ:h 5ָXej)`4yJJ<2^s+j3cj4-;UeC¬>:s*ƽC.O3E^'q $IR zȹnCJ3f;KC#svJG_1WgIC IGuEGU;/*VRo\::VUX+wHB~z4hzt6ĖwBcq?Ϻ8Uq8dsY,GGTFE9+eHo.>Kcy,?X?"m9ޛ^ lX^XDC[1b.V~ do8R|[YL.MYn|DLnت(86Uf d _5l;`QApA SWx>p:{ϯ'ylch:(8F疪Vlޔ*T~]? ) 5ƺHK{[Řc<*Ƽ{_tޢ.;k) ? v "J7 VE%4LyBVjyy9C_P7/YV U Mn;ex{uRO,^{A' y ʔ1rFCfR3 ɽFCdڭ]]Yl,aORNV2X_&᛭ ng|]*T"HAG?t}ZYI "TbڐRM a*Q7?L{KSgoxOjL?ަ̹N)dQm+-{%ǽ1Cp?|@XčBg l+  S?LT)_#!߻|h_ZkQO6V/'Ácox6@17 z b~t-/sAF%"0?HЩu N(KH||D~Y{D%VLB"p`aMRR=8/|Ӄn0*g2vL7*]óP 柱 2Z_p!fbsnpWwYѷ-L).L-?D[mظ)bÒFu5ĉ`")3@VyGgИ):ʧ0jFka>{`.7NsAwHGWה6h! T*NZV^AlLʆbCBv=K]=8YZr^6͍wh\iFEHBj,E| 8hxyXQ=sWѩe6m? '2(p{8kamNX$GRY;qP_w)˙xc݆3wb}T h>Q + \(.O$H ճ=8{tOpIcpd6J=m,`-.24nnܬKKrm?ߊU7aKV7 /[.$vh]± l=$ya"th$d[--V.-~*M=вK?uxV]:uid_wdx {аL3dzV8ztyd&165 73x5CtW(Dt\~F98,0[9Bk^")؆tNç2=5t[OI}{,-6SoXg B,\5&F_rX|3TjGg\=%MsSX>e^P=S=j"CY/]d_2Yv^"7RX=6Y ]1o O@P~fS5W*kו( w|zbF9͑*ru\-d0G8S$?TFRlj)2bwELwxե40\0'[i~#oNy%'8gdn#e7io;xyc֡w< >1ОU&>>p^]jZF򀯹$oO}PyگF vy ͎glU~K Bl 3[F*nzLdY)]tlkX6v 0H;.QΤ`uShPx\q)˜5ps)y)<\\Gk >FGR=rQSLy@xR4^3b(Ŏ\J0'eœhgڞyYnE]J!pGPG7Yd:>j O].C񚒀A/MMe מTvd} =!dҡ: 1Jr'Ph|dU96K`+5墒N/dE+Oǩě u>guw7ɾDA^)v[Z+b#$xlXRّSOw}Қ8gk_+UxA|w'/H]wbcCq|}뺟 -=j!Ql*m`'U|+׼$X3sr38 u]%C"8'=sfl쌯j ]fvmyacʂXݮqN?jQZ\aI!yd,2OLצpU}[%A6al9x;|9Th.-ุâ&Z6Q+΀WvYYQ7'j`6KuBn74R-P 7|l|6ՇS'pW/M/ُRcM᳻ y X/6ť@;n~>Au>ɚ3_/{ҝ$!J';dsOÙdNmi]_ՍH{QfyitY2jj@ɍJ} Nkݒf\'/ dJNS毼'^.G垾9A f%Thz{|A(W]+~Cp'PwPȋVvJz>&%VD*I<__7 ''.=6mRmtLƇ 9cuf?鷉i= p$\a@7k`׍|p?Q?h?R L8 *:<_gЯÐYD`)-/uISBVU4mv\)0ar[QMHtUҿ!nzkJ*侮 "\ ⿂JVSEQ^x{"#O?p$iK@zQK)´'4&1 2VA2;~P<5lJqb +iΞ\QBPi;W2\2Ãhr!N5>ZRi[;WrX;m~OtqykNBoK.3!_e|g,b.lhĊ97DB(l$UW-׫2 !s-ldAM-;o  8h ?ic#P?#,+f~뼸ZH?p)0un@ֱL:)7hJіYD*B ɥ,DhlEچ˰8̉&La/z$ { 8b@ϋ9ixṐXit F gqP]"t}ts69U^QhX+S9 e ';_!az GZU<ӼqG*sAXe2ph*S)">x/6K \ 0Vyf:9wiŒ0R㠑 r - &FaAvaq 0N6a~ 9n|Y>XoNuI@uȽ:C]r[ T@UɺNH3]awHF۽T}bLJ "3KKy&=a}R2ݫ '|ٗdgȚ4=H"${ tln4\uxkyDy$"fn4sU*cDAE]DN~$ ~TlFI) wW+s0^e}x- i-8@ǧee{h ?N{AP1pհB&.Y )A*y£}ךP,t7Qs;_M6w栂rw˦@HzRSiߴS2S>t+)C9UoBs]ee~,=:3׷Di!SoGg֟vyM</v*kdfBSߍaN7BPB]N)/ fޙ֤5J|_BVr:҇$8M!(CO6*X6)72"#b qZq3OG86]" w[،i=C\SNE 01 3C;L7)%@ A.FK3J OTlT}* 閔jָXtq}9'cHR 6zI&qG aU||!)b 5&"ps B}YV}>s]dPnMDzxy (% ]_I jc蚈i볒ug`] BրeS\7>A-,L"Y¹8D|nnX0+ az']0+yڈu;DiddH;+"%xE8xW2T Kl=C]=LF@/C6 9JJȃU`>V"am @`wFjb_pQːTt }S>Mn(kۨrJ2m5]6:zɾX cD`v/byԒqL2ed=] K&O^?|゙aJ,Pš1=!zTW)C"y1.(2}JqدD!hQib_T%>#n/B{G~ w\R^84'81Cd:̢0OQa8=Y^HP,#[H`y2EiG*l[G"1++y%1sŔ[02%j#Xush޵ ۱KQ91+jgv7ٕͥl,Eg}CχCđ XT/׺NV.r{[\pݯl^UAImԅx_"%%mz8` ÈJ ůX> Rz"©ӺKț"N8Ȉ᧢bIϠXbAv0nAo9/!Ќ"o+-s՝"qZmD펮@}mxԼOhRx—Ё|KLd2q[@]kХ'#cvv`y(mflj'|j9AgYZ. 99F!W!>G,J=BdTAoѪ9xPYO HTQ:]%g9BM:!a#e7źyRZYW%k%6h̍~i~= F|mޤGS DӇq6X6)8 ɰ{^].DUT2 8CI>V^+Wo# KjV'_8/Zoà<sÓz|NlՏ/WNGj 1IY볫sf %l/jپ z` 6 ~1 bjiDr^P۪"&;ִQ.-. &VX ` =֝kYYw2i/h/ zOR,*[U8ǛP}̹Cջ &ە_r~i 3{*G,,r -ݰ91}(N6"I"W)l&Nz55=%-N Z\k](G< ? OxP7&G[h .&i"Q(7zkWcZWqmݺzQ,7_,D@!hboۤhs^zUlXmKFN3_N+AC`*U+DDH\8Lg@J~Y _˦pxk{aI(ҔP-23[Wj޸  jgYZ7zXZִF! e]ŗXiɟ9%Vۋe! O13Zm]=,dOQ,!{HOVZPIPà`XRpT &߄{GD+ ŀzyͱgYZ7zXZִF! {;]ŗXi%D62wpa"+A˓`W$ޓƹ- Qȑplő}t%ݷUE{CMGJv @s6+Gg^(yug8'X/k>lU/3ӗm+c^ȇMQ!$$i$]9X EP V(.6a-Ar;'`:ESr& ʇ?F.p6饮;+E'ͳc1aN1G^cVތ uKnȜlu%MP֏Û9'saދ[?f gYXeTD=Tøw,y{cNܺ["u%Hʁ`=.ӆu e+m*ȭ ++A#pIYܤl'-SKuP%8~٥AJiQW?m">葙BB,imE7!{r/V$(xh|KC7LgXihOJ3J$":9„<(+::[ I7(gBelmøξ5&7 0];Y⥌V)84O/[6Ӵ;FA@j#&2K 93{ċK h FºL*4Jg5[gz2qp ja9t1)}v&;/rȉ$.,7C4Z#D.BWRj+c46;tblN}N|*ce-1\xs_AJ4q~GF0bCC;YHBk/ʼꓟ91Q5lgI楖^e?4v L"XgLnrdvíOX9`| &s{@MUdtΟj\/ڍp46eŽ=6J d8yֲ]o`)yEY(3~Ti$nXϰflpF7XQp0Ȣ,H@Y{*4ZH'LΥ=f[F*t~sw RQ3dPtN`#zV%4z!THb$M>¹xhI/la7D|",3pqTd>*s\wngmA":%+F|d[RVex7i$GbTYp&LYw"3:- 9]q^|z&7)LCѠ7H~LUv7u8<& 8@e&;s*ZJۃ=+&glJ8W AtUzszY{dD0F[XJϧV(r"U/?qSU?XYɠjǼ1Q.ᢢ"Rmyn_\ !&m&;;2@k,QCO }d:4߼Th}}:yXJYHqj)ZT!֐/BNحGKFiCޏ 5?O+t.梩bٷ=@gy ,\jJ,+NRLc1{t+lRs*]M $>.8߈}="cΉ9\76cQ S>qN|Zi=>߇ ِJPK?8PۿRh,(`עCSMDFo޽!n0 P}+LJ/4تH=,M&=w[wx~yHCS\:[Bu !dym=GC% hؠ{S8uWZy96¤[ᭆ=eYXo>$ef@ZRI+@!#`"Nv.yHtT߇{QLk?J2U*ʷ՗(;{!?0/ǚcw\CB$+*E#z#AR 4|젫1p,x:?z/jlǾb.?sMA=Dtwtб2ҳfe$38Kj' O5 9 C\|6ʃ+NQRl[??=VM9(s#"DGp O9Ĕ-]w-ӂTHTn;NdތKtu.+ ~Chc}TW1/R|=7ʠL&v9qth̦(Ux8VH@.ٵa5쭀4XUdZVJh9yҧ6 E6VOu.|]om rr.0#:rLu2UPJHWactƴBT[tX^ߜ:'Ql-ܦ,7b8m߯bu$s={Et,$O#I~k @D|V?={m*BUj18:@*&&0}-MϋNcY^nldK5"==e p YϫE_ UUz`w*,SD3!u7{DSoz0c_9E`*lKa AkRy]Mag?bok}Z;+"k-b܍}f83npq5^ZOiȄ8.r>qюHb2z\;V\L}N_vN(oLِ7@Ss-a߀^I)JfU 2EP8 kP~vynQhɢKg87r|4x&"I%L_w tF  pF!ZraMĎT?` ¢y*eQblУH!xZRU$Z>kI3_!Dʍ12Z:Q gB ؀p҇'c,2^>[ڑa?gyo3)%8ݻ@,њ)ҮyQh kT;:%!IY6:Isʼ.࣊#0CxΝ6u`8k96Uek5dݔI]|[ʷ]JMlhW(Ƌ!mF?~|t dlGYP[nMmBeE>ITѨ.TUxW nsSG߹B\Ψךwc>2"- N6P,ڈاj*8/5Еr+boD ѾJyEJT:(FXQȩFcV|x-8Po!EBvLwcKNCkz6&訝5g;! u+t]'B`,O%vȇ4#wT/SP@*^axw?:^a<ĵCn4= [S& ,#=JNk!`B wï8>lg\]m "C9g)|5¾w} '/ja.sr~(qhG&4aUNo"R3kݙҮحΆhrsύ݌H#wΘ'H] >Yve4fGof~D){*VRy U8\:퇕q)9UO)[g'(%067(}py(g2#еMO8+Jb') x갸W?"bEA}<}|'} 9 ᵤjryFWkʴC\Ppyܞ(2r[ C*Y\L_A쐩SڼuJ:R@Ͻa CcbP^T-2_1q[ZQ$w GA>Wn|\dv7-*TDf7-\A -p$%FM&D~Z/.à)>i!eKB|x5/%(R9^鿿Yr C$u~ۗN-3{]l HE;c\oWc+Qd=yh8* n?&-11VH^7ږuEvK[ĺ/#;J*Yg\JOKnr+ڙ9>rsFH9(o\%2`/%1b>?_za̧pmn#w(/9?%_X/wk Kt(-C8R=/2<ElK*86|@+un')i+H"^Ef>`GC𝆔6l;S֗xV=D>j#6׽D5混a⑫P/2)̪[AM-R9Iס76R#OQY!⅀*En3A9B&̪3i;iʢKcCsSZ}FO>8f!.` /O0'?<ʝڢ+ׇ2D믣7ڞ(sS^g@0蜓ڝ%vE~uIzUjUbˏqiL%=2ͯGZ?tew9Ғa2o{]9Kh,\QW>)K"7>پ0],,+0|; c7} jذcȾF紭٭wwQ~ [35O^e?,Uй0BtjJuP >2C+o,Gz Fr':`l.9Y\i#ٲ!Ϥ11+!I WmLv"$ݧYc5vR'THB~eJFy00YϮanL˦"* $v-F(Ç>7^JѵةS]eb M핈L}3sVal.»xJ]%GfȝNV}ou(IŘp`qެh{l0H ҵ: (ۺ,~sی4TgOI[ې82x UH~ ZWHP / ԍݱX- YQ{F-=vڳ雥Ӓ4cGmps +S*KH}Mټ"aߥ5/=p;bVIxXhZ+3k1қSip ϥJ?g-e˶6bj̬jSem c'Q5V z}Hx7`L[ۂrd zء^(;u貟uP1ƒV6R 렬3ߴƴxy׌S(RJGVlt;\9J%yuaU,pΥZt09a+:FYsL2u$ lsPTg\tQk*'aHfUc~zp@Ϣs[0HN57T.s…)Rfb Wt3zϛǖeFB]%L`9^$fw39bn3U\1k%CwKs.ff7RXn3~bDNÐ*W2ac6_cYbA~x fI#jefdQȫ޿6Qz @uV}չ@~Rj1,8`Ũ$HwЌ@CWukh֨@؞w8 X'FN1%㈽{Pغ ,E(,MՅ 9]}l#D)1qXge6N:?˟c&,K dH_A}O/kL#-_)<{,yYghyRH'A$HU.Kg?ڮEkrHE*; ~tʹs6tSUS )d8l@HK!Z9Erq2a#Ow Fڷ[]0-\"|x'bѯnb*?=ri6_.̨ueH>%-7]7onnR.Q79,M#3 :,0~+mz\n u&qhi2Ϝ D-{g'N0S?p<quvܺ|v6M,%kRbI4WM; 6vguq+;BHLrNs; b1V#痉!K5I<ܯfEE<niښA}PAu,ARs-uyBQch(r/(*5h!sτxSw}oƼ*zO7] S9hSCz2P*iRSGx!snn qJ`ؤ=w,1AV=SQd1DWCw2UpziH7#g ƐZ-N* m7_f{*\?eJ† Ok"SN(+CY0 !53r8^mdxo+Vϗ&CXr|NaLQhxuۢjrƹiD@8ڹGwB i%1?\fլIJQWɈѣ;]|H+2!`4 w>թ7| ;VѶ*8H3.xd6#~,D &~ыJ[vE  U>_sgo̠?D!  `_`aN#HLkV7p&Cja\U^!c}9=kq}m/L6P%Oɰ#}`T͎..(^-6WmQ7m'&^&`d-H&ˈ Ns@ԱtP#v <P %*7hβ1꾐謿u^d0WhF8׉(DIIqMDs{f)#`$f$gH:?EoL06W{ 2ܫ0yH Gvg2]uCOBC- c3qJ#V#@7Pض"-5+N<1uu$.{n^W{8 `O$ʛߎhsk{1Y}m׺*~fF}|vؗ>M1b_ogI1$ "YMeXMAx'a0f\m8[|CɣƉן:E- bYv.(x,AtzNj&{Ȟ?؋)ӌ=)g AI_ՇUI֥ƞg94BJyN&a`uO+ ڳuN@g\pp5V謩nuٛ (3qn=ؑ_Yvs/g׉Qy a S"/ZG1eG3^=k n[zM{iRa'fozB9aVmz/"_*_Ʈض'h9;-,,"!'E}cA |QtCUDgcu& jH*e&FID=,)/RUc*[iiVҕu; ae17X>@pb7¾?,w8Нۢ@|9y`~4dmS+3NnlADY$)}ը7y*ӵܬex,ꨂ"DƏbX6;k౅ Aw-ʚs<) vqJo2@|EóOWcbIDgڿfG{BgkJ^: ,&CsբWᒄ$Cɲ6xԳ9.\l HǸ.츓ɍ`#*vB3ꣅ"w^U]pLX(Yפf1ᜐ`a eXVhccq]vLЏ }JX5yD(D_0o e֙N_1i-#[3מS$|pj+|mϿG{Qٔ6/Vh3vVLZ ݛ悿xCL=d vKClфR4DM5)+~vL /4Gq{j: r( q1's؈aҬkLd/q鞟5Y \tDS=XެĎ9fjIcH(iu›}N,,{,gvoͅHCH_I)-=~+nvkG.8yQ^wjq_Z.DwD\WTʀ8$ܢ_qmm+H_{QN- [w9v4)3:iE >~`jKG_: Zf4ut x 3lTMNѷFRha՞z\TEGw.m1~s jhU}W񌋖_|,h =5 2O Ou#N(`{יQEV.[UhrFh݆Us[#i |z:@9;xq f z`7CIVhs$5j (2d=kb.:mZm^*ӄ9~hBv[͞ӯ=D<uHh7Fhg_wqO>PkϺ(n(e%8zбoz`lX؝?~ z?T\ ߗ&alM,1/mM٦BN<6͏p,qז'†HszhƤh澿SG2BygZD{PZVKk[҆/'W?{ Еyf<.Y 2c^GQfcHF6ѓa'@Mۀs 0v QlLC<с.o0_uEضwۼEI*Ww]uhג~L]nfPjHYDm>p I^6EO%ƾZ#os(oR=(UIiѴae)NIghܼzhN;q@zY ܓ}Յe1ޓ8u`mx"%L]u8ѐ/ !$ĵlGTIKuݥ(,+93k|s K%oGV1\g7黒H 5{[k$_"Ga'JY\^pv=͹A: p#?ԶGnnovsUyٮktn&Ȳ`;\R`}xP@h q!T0lN=S$ER,AXcy$irj\(iUp B7#bZ@sKYϼg7,5l;l(qKD )B bUt9E$Nv||0մ8 R0fb{ƣh#n22١[)AK0ڲeVң13Nb%8)Wli422-]Scv@V<}l`4>{-BJ B_tڰu~Иl''6JHCQyHsU`o~ںXNf,n}_GC]We4^+~FMÀo#̳]ݲB_U҄ebtpPRUJ/JR2ZxըAJhU]qC[qtw$hxF_K#eK+R,? rj5i GN!/(8% ,gN5)_f;)C5t ye%M='h٢kLZC\ J7.QkTj::Ch􅒿ࡌ,P׮=қA[^LyS CS$`e׽WY땧NS u]*'I¡G /iV x\}51XV:=P'Q0z P$5㞥p>:C^`ɀ޴l 1 0l4o'H򵘨 AW;ջ֫۩ >`BERypsCWmnYPSZ%g{: [,-Tc(gy #fvgK`}J<{LfOH#֖bhG:WIb*b