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  + +F)vd\4 ]S Multirelations:threads=4elapsed=82.547cpu=178.700gc=4.7727zXZִF! 6*]ŗXiɟH)0!h]Gc~~T0.F?^@vbu_ vqGe]??(o17TK5{j<} ?JAMY}9ع!h ϣƽ0oC H?֘WdImNԗV bW&l> < vאue *A%ܽ"{ˁoBf۔lmthQJc/MBw+'e_|ګPBϒn P?W1vi.\;L'h[ek~OCJjwp~ ܔKiDi{JÖB1\27E:1 T/{rIr/O}|b)BЪ.tnKl|JV)^xh$%7EPBn,6"h S|)rjQe5էhӶ7 B) oiC4`&} Fڂ?w!RG cy >$a=U#@Zt8R'kbTz<N~9bqniCkw$8%3[p%Ժ/UimRGq@|-; "7pQ KL^'S0)97xJpd%x%^ C aEc ױNt#:B1I2^FmFh{Y?N`Аy]0-"{{LqH vXc'o'Ye; FNGgn`)&DoU)Fx9TW#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 e]ŗXiɟ9%Vۋe! O13Zm]=,d`b/Kx2ّ3βUOu`X2z:+N,jL'\*f)CugYZ7zXZִF! R]ŗXi%D3t[<[}*97E,LBqsM#<.Eul_9Jy?gS[Fқ`N(hI}u)4y\j6/=+4§05)H+Ē}bpq?HA8NYHz*>+GJQ0c,–rY|Z2ȹqnomEx$GѼǣ,ס;7Qw9 oq?~l0? 5VpQfS' fW_ yOWMM1mWa`wJ?!)p^S}duz+ߠA{jkػֿ7ß^^ fH v)2?g|ϨlbY,AjqՃ:߿U^DyXXlViEP#5A(᪁].cHJ-)Q[KYaSEo@bȺƌ+jBy-Q V=1Ct#Q/A.D*ڦ)2j-)0lFhUx6Qk-pn3Myݧ1 Wpr/w/ U<gKF`4 s=™l14oY1f;xo[ 'ʡyK˘ss{:TfTKKZ0CI}a&mbh ,lWOLAX-'3J' E~k&w c>.EjcDZ_% \u4]"+<@?~a 6 /GvV zlx4$Vus}_cvmXkoː?2~w. g2qDI}gLS}RDc3KKHm 9~m+N7RegZF=]ٜV*T{"q(la*lWtlURM`ƶ d6/Z/H{[,G<9sTČdcMޭl*̽ PjHPZ>)0ᅿV^fM?$-gCÿeu&fƻOK0 UD[0ԲLmpi%6~~ "<@#\2KVQ d۹i{!b1ޗ|7";(HwBtY: CZ2A_5ʟɋ=j= jbN 2R-GfsUf$~ðΛ,z_,I7t ɂӀs5y\v|.~߻~dhKRӬ}ܜ4x3'}Ьqp~nyv< \,u>I ed,ϠW{K|m)J}f䱤":[ 3E2I l|KTm0c\ʓ]x+D堫 m J|沛A'*od7V~z/-i8^jge>2k,cZ) ~{f8r6 [K_h>OYÄ,Ӛo;q-SZ1$ktÔ'HVsb;眳N܋{7[JIK.ύH:%̷eBym[?e([l0`SkAg 1 trm!zē0[]K~?f8e h_8A 1KI(5b!b7݃:Uװ?^HNsPyzQBFl<.3aYX}2V7jLUWlFks,Q+ d|`焹J=.LyNU9wP!IC]-5g:Z N44TwcdWI293Q\~pG-&ƀVo\$όTəhϲWL*KFiYu{HB#9(ƧTΏ "rƑ025K.#Ʈ3I |)MUA5wY^}UZ7%b`K`w*6Yv>e-3爾UCm O.=`~\q33OVi\A(C Dj~[ԿTLVRU'U }}|>mÓȣYзo,MC/ =3=V c(Q0.o7*9`ŤD4lYh?fu3TY ]pfA`uȑuup_hj=?r-5lsk)(*[e@ +&L9U=Z!z8{+@\  9 /+9썾l$Tr8ģxjeqf(-EhDJ&D@(u c5y0Ǝv?Uc[?%t%NޓĤ # "i}#2B]*.-7pz/:uqߐ TQ(-cTG֖Ş΁av6=Q&L`nv9$wWUnYF*s˔ !bS[9~ F _(;,cEͽ!˅c^U1Y(V=ƥ uHyWj.sT 3J^؟"!r1o! ?)%Mf-J }OERQrdDφoz'igqd:&3zAW^*6qB[B~OCeȟ |~ [~3dCkZu OЌ ; /6LyUoF1ɗix{+}=oU((g' ä麽1ъ}wćt{xt?i;, ^lV1+M6%(D^4(y^bH"0Kofϧ۫㐔tjxc|'n.쿸-`.Z7#d 7p>.{geFHr O*|$Tiĩ#ˬ pLh*;mrMD[oۢDNB6SZj엉y&_enU%Ջ5L+^t !C"Τ]r>1|%WܜSDsT*q2?k'bF<ėwfԈY/X* kWLCJvXx)s7~%Q7N(99!A^HS Q{.A\Y>&IKC+۫*TY uC`lPd3Yه95|/٥9(3:-l1,"D:5G^&v: !s;ٸ>%e{8ixb휲US9zWH*ʂSTqi"#e4٨6kcq[u#뽉;E 񐙯ʍ,/b3HYYd X=B$%De~m]CFk]?+'>3 ĩf*/lJ C<}Tp h2V†+#37}.F4G9JZzVQ9̣tX_g9GCCv-|/J>Es 's/I\ݭҊu 2y[H8yzAKz;"|%Hg!KXC}jB0V l埑 ,]*fZJ;AΧhg ќCᘎ~4j ?.͡u S։gRG@ cRR9-Am¾:i͇Z[#D꒕{ YM|j}4]O K fre5_aD0-J=:Z\&Fȸ5͉<]A܏X9{+аGSkW'çnLJBPAXT4 (|WNeJ%# i)9ë)Jh>8 7s;{ӡU2JyD: G":owkq AIYP ͢nC;&i)Rg ȷ]KH94 >WL㜿=r~Po0j fi@pI^5+`EsA_з >q =VT!oȼj 5ɝgΛ(O:~%i$7YV٣CNfY)h7$p΋b?a_ ~|hG=n}H[{sKM31`"}y47],!aP@9^9mJ/ǴfWs#kXN\t|Vvk~ >8v%нY:b8cWPz^$((;}bN@$CHC1I<44o,I9If`FLKŕ^{W!/" D;q8G+En.v<v#M'%L.GJ9Q+مf>zOvYllWsأl@U&~֐C.Y]9?+87ّ2(Ac9%M7+W <6$X|fTQ __a|<-jPvY}3B޷lǥM:9̙nmn/L~1QEl]Z1>w,dzWIr R Ioɉ˄1y?ΥJhјװ ftR׎]7˜@jd\?ijHyĉ\_/^"OU.!`;DAn1@IKpxK=.\ަM `kSYK<9ӱgYZ9b47fc78155aebe066b322d470eb3bdf95a5fa33c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 5d12d990b380916ae4d2a60382e76d44023d548e 31af6fbe992d84a9bd2fe141138885957eb04f52