SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 qq)d\ ]S Multirelations:threads=2elapsed=102.233cpu=119.316gc=5.088factor=1.177zXZִF! 2k]ŗXf1-/6vR[lRc2qJ)=?$~)LX8igRNKe`du5\$hưjv3aLzPW#\MjD6:10ԜKP}ϟ?)-W-5_yQz=lvHdʬ!WGr՚/)S[qHw^MC)*9G0[kV;[8N֍Fd3Y?W;j(/tru2I-Qzd/,d2FƟ) ~X !R{Xe]ֺ%lscg6~[l)W,."kA Ć(ыT6G&̺17Cv/Ĺf D>IVidDܼ+W Z5SiR3Ϛ.y\@_xd"<ޫ|7o#a΂a7vYPG&F8Ym@k8 Y37m(Dr ?QS >x2tGj#R&<ܩgP.bl' DF߱:psenYI$koDjTԲ ô. ʏohXUI쎢w6RpϪ̺o*KG0]ovĖMkc\}`X{s6C۩#O'Tpŕ0-͸䍹ۣxO+2-y -T-O,il+6LZJv?7A*XB[CHX\33,et)`V{_/‚ҁ/Mq=gw<~q~[5]f?wݨs\Ur-ջfML!lᧈ*:!q|Zk3o_i"pY!7KOT*߿4_VͶeN$=^Ը]Nv e-2ܱgYZ7zXZִF! e]ŗXiɟ9%Vۋe! O13Zm]=,apɗ#oemIEϙ>q/|N{V]]F@gqI^G$<yͱgYZ7zXZִF! ]ŗXi%; V{a qi[N]ćT|.91;ޚCQ5ٻWzsTLkh{3hVȆ. ˋ2V:x|nF=OnE=#D6H`*ЭdNj% lX2)xL}Jt9GL{^O@;`,]Ͱ O5 Q SfL1 ) ٠EFth`EK <)r4ڹ4㯰XGyU27>Z;F@GЄi/l8W 0:0S$D+uӼD, e})غb0&yࠨM\cj RM |FU[(:dcw Y&C6)̄3B醥a@v9N`! (1wM.9hH!*+*DY/Rz 3f5On<-C5! fVh1saCY//L{|+d`5&8pqV"64y zpkxzMTlΟ-MoC*8p;W/ `J#|JmKOdr4yw$cluF_ `q<ܲ:D5/ v*{b?n̲8TsZw3GtSX^bL@"dPp+e(׻%wA($yhOM^\dkN.7^vvº[Ê\_n= +!JQq#rVY^em%6Mk:)uE9lzǁo7NJ'@ B K opbd % JsGw@Jn!A&9ѹz[C[:UAˍʁ1GB냗&Bwx$//shgS1u9 '2Kr> SY ) Multirelations   ')?% dMultirelationsMultirelations.C_Algebrasdocument.tex7zXZִF! Fq+]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 %WLsb 9)?%MultirelationsMultirelations.C_Algebrasdocument.tex<)G% MultirelationsMultirelations.Multirelationsdocument.texh 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ޙ@+:%- ~ ઍcvwb'dJ47|wӹ\:ƍ"Y dN\)z2.şkۻ+&>gSEU{6/2zWT8e2͈JB5G2C8z=孺|]5QH Ja0f.6]Ք)ENV?į l̚'*xՍiZuJ V]:/d1cS5]j\AP o~gxNΕ-_4EʁN3xKD1"-EwT·ĈP)nn^~LV] lT5u ; i<(iTze'}全W>1j}8eE'Tie}Ac3ОSp#8c= zJ"d񝈯ӥR\wꍾeP~޴0?:^Y3nn>¾Xk{Zdrgi%2,ΟF)f'6[3"s Nu‚ʿe+4Bwv{襳wa@[qXCԵ q"mr :.9u>pCWU3'"$֮&my߅2YD=Cn[x|(:}%ѳY?dR&HQ$admް?lŠ"N)8A2ޓ_Xt `R7~^( ƀrQ{ GVT*D52NH,_ ϸnհN4pIpΔ 5#96al E;+LjCѳ)8l˨&J]lUzUM_*8`1#n( 6+>Y07o_֮j|r?d5ThӲ; 2s"ݎ?|X6>N+>V BBBrT*uZ>rϺ#aWh] pyR.V+CgMak2uUI~iqAǔ^alrF7@ҹ%He:Rw6n]ْ[ T=?>ék \!?Km"r X nje$NO`dY.XGpjPS028)L}F3f>P&m-B7C6gÃ>Hxc 㿹6.KyJu)Iգ,g75"xjVP%y=P:P ~7#mЃh,ϴN8}=AgOןbu*Zv+ʐSW,ҭZoK|o`}Izif'@L5n,ȊK͡e#'bSGkq "Z=F Y%-Q:fgsA B.3OߚLj}75] F+ș,IJ&Ek@m2e*e+:LXetK }w$ wŷ7;G6"Zn]PKf.=aYJ%.<fXɂ| :L՘;O&0Tզ ﹮T]|dض).xcxn[FusΊ,`W݅"v-U>e^ˊǰ!-&9nM}U1ɜ~b? Jؚ9-gQo6EHLH滓q(D6-a G+~4]M-,I^&0 LЮ:N"51ю]KL-Q{XnVs>Gph-ic$ɞ׮[ xU]v[F\3͔~ Iy{ݵ]dv=Dt8%@5W1kA%[|@$f9QcH~FV"BKtⰛ+b)ț ^` bD4F86ss 9o#Q{hx"D$bP4Gh0|yq~9RAK k6K w9NܷmF[γE5g[tih!\K\Y(%b{ j8rzImT5]>rz N(] 'zs}Jqy}G϶_Z)6V:#Z^y= =hxwl 6"PM* C~02~.-2uw3/TC%^(1JͮԳ [4PAv¡yœ6;5qo[)`<~׉/CBM@FЛE}P#4w)V%MXg5"|F 8Q=WPJ?!jr=-%G{/0ֆb=5fk΄"戹];!kL aڔ~<¼-/)۔}hW`J {Pn7ijɱ(6\  s ϨLd2:a%怃Ctgʡ&r0JBhC!lna`.5QFS8.=Tۻ ."ci(V̢8)$bT]~Ja^+@:zt;:o +5ِRL8{\˸igә@ y xWi6fˏQa8UJ]XB7$XptGrp{-`[bUב&pN_X6րmj a9b ˡ#|0z40ELUBcފ5ˢ{bG/~#". .HFӿN-[2ey#́g]HI-"֔ Eȝ~GkVc%o% +.j٣L^Mgy ,t.@XݴY(ǛRҜܣ)ƨi,qkZǣ[)Q" kRϺmwW0s9 IZW(/u!jcnǰl}\O`QW6NU2o5(Nf h6N ȿ(L"?ŗ@b{Kπ%,چEfh-<&J}-.ȗ)as#k,gFKF$ e  0eZmϙ֧ -u`}bN_/_VR:~s*5{(P9jmC(Kr=&y.E΍zd~Z0'mѠepR=tѨ [:U[1 &mZN>4~Klba **Ce·7jR()halVEBpbl%b k``."uG̜!?sV_תp5ג+;ے6d^[gn}Gd)/j#j5g3(ce(.scF-ybK"{FbfwO?@rQXGg[M[i'[F A2ۘ_;f %~ܰ8S9kzƵ?:W(eVϻ(HbcMk/QFs\ Q6I*,?ġdl~Ukm'o&w;>o~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(з Sy3WޞVA}8D} ?Fh%nbwWܚ&/lmA>*5{LSM9Urc?lziW{  CFxA2,`->3t(LuP@jv 黩?w@ >~)ybf?U(€gŗ[∉70.RO|>7! `6z6j%V(r 4|Z`x$O*&Ds׌5'4*񖠝u`+!5oDj Nj,\aEEaI^(nȸB.15WXKqಊrĎ( XBYp~Г!b hwCb5%HK5ZN=^nP:QFB ÀZD,5 Fm/';\j,}L`XXri{骋&姺Wy`!z~+$ o6/y= =`όqUtP1Q ζ۟3`7Ī{xQal>^weیsz)YqVLqH Kl0]ݎM&oMp>d(nَg7Od?? G 8an+c=BЪ8C,7ıZgSb1@FU %7PU:\S"Ųީc%Szc^Oo|fS&81҃|U`t&Fؚ˜Eswfʖzspf@v4N4ʃI߮xmC.J9t/xun a1D !sL'RL:z-^8VkoHD/7nUh^SOy-.!yjw~pv$0,yS*> L\ZR*X ,gh9*[Q>Ф.IR߾oC_,6 2ǕM7z` ~̀:mN#e|$4ô-(\:#g;Z_X;¥4NLܼrqp"ndldbej--t-q2E0Jja}?jUR0:t~mw|ltǒFCIu(- 1YGQlQ;4Ħ'Kb'W-gr{1G~D`*Nn.jۆ^%Wuߦ?\g&UO?ʒR{u0OŪp%olʭ;ռ/5fF>B7m26py+Mݐǒ{&$3 %51-iB4 yfNo$o\ )CawyQ O)cC=yI=x]A VJ[Q!0 ץhͲylpǀ$׌wJȮ|eva{v@=ۄP [V{;!Rڋ7ir%^l Z/rVr4¬3KPဉyq54B_v?s[ _yEoR6t:U,*m -@4C1ͻuAۢvVDؐ/f{3gL39T.lbش8 'R@ K N/a:eY#B5:)΄Q#Q9IQrE NHY&rJUH_V>N O9d *-ГuCRhAg U; i D7t{F_'7LC/GeXa1:DFBkO.\ `d0qpC~*E"âo`X;15'5pɪWpXi5w*L0ȁ _1\vrv}f)6 8'sQ6Q)&w*2]ф;Ǡ0d5eXbȖ 4>q ΜseH m(ۊ{h*kB:i4 w Q>80)Ұ +sUE}sF.>6T낣o_UV;bs,dE$5[̋1&o'‰\ss|11-q= W v 7rg)y:y0],}~u5ʘ%(є;aT\uwoC!ofx6 ɬJo-Bh   ULזmJOmPTv ٱroX)9kx锐z)pFj;xWAn~(W3 MR\KN8)e.Rĥ]Bikƺ)Cܨ'hW 9ό 1{gPPk:CnYNL@]7̈ϵC4 ;@?2~cX^:8/=VDT@ 1Sv;.A bȽON# *YA O~H! $&M5'>mI5PR BhP\5+Ky꽱\<* *In뙴*O>E{p=WCM&but=)~F`?%NcQÆΟ^ޙЉ+2 O' AO4{L|g+ rj/w@E0A!GRy JZL/*E}AOo{ҨQk֡o>gO )f LVL27se LpZ\jr?`Gɏnƈ3oq瑤+mĒQ)qY'P,T:$?J;I델g}xlYKpF33+ zS]2j*VAwAG*˄hRyV3.,!LcjJ< ::)xJb'F{h(<8aeuJ[?r_x# `,|i= B מݝDR|d{4'rUVN>~;uT>j$"Iar\VfGRw4`p>;q)ض}lPwzLB1c%=ú;65'I}eؠFMdԃfkrǔvK&ݎ-@y>4lī5ޓ";gQvb7f0mk mԆv^6+@ mGsKd8"$1bEZ)R ϑ=)ErHTݏ<} s/{}D>{T<"+ ƒ.о7M7S]uG Q7]TLQ1s%6R4/Cj၊"^OJވp& `'N]J2ˡvvUq 4ߚ 9#r-thg|mΩZ^ dmnjr Y6 k gu)V@K&Yؿ%6VmwbYM$Zϒ~~HV/u;N&D+SM;8 i:%}ܻ< PlN K9+]i¾Z_23UCS9%Ed/L:f*qfe"vWuuAw\wݿjxv''4-ߔr^fq=8uD]1,L2d-*L (; QSÈnw`@XӰ^ ^_7hbB =)azzjm~@ͼ1=`uKJ E J_ȴvDPs:(tL*>Z=,= %rg 6ڝ*$No'&BrS.2JܭCj:e|z,z0>zJ;`k/4s"| ;FACaMkKpP qL, ~|-˟=:~G˪3cXfr+"&Κ֡P/-a&T$9X{C<$q hʛ?Sΐ]DTF[R}Xg̩0F`i﬿W~eX){C&őa~i,h"B1]. ps$,?ţ-%&* 1]vYۯ¡έТ,cfLy9zou\؞+VguSf|תZ qJ_A& O"Y%`cַl1P(n4spcJ*nȴ6u"Q׀A+'%<52zԅ +&B% qש\k0.Wliflt~@X~:ӘgUweoaqhYBCv"buYpƔ4993Y)pbCEY2OvfvAfxS~$™*^#gL,vTxr/p\VC B%kޥ)5e|*O,8nFЛ1yw{dHg~d;1DS0fs?2Yr-%F5Z*:O5/rh,fhengcyh~Cr[eWٌWO0I7@m  蕠)=cI'ⶱP~N@puNHb3a5d(隃6~~j I- D,ޅڃja 6ͳu8yn)gg G::n@A׊x凫9Qt&s\ %@m>d3[!Dq"G 3̳-e"mK6Z}0jvN!-W`k4S!ئ:#ŭȦ]t77 /G%i=G@WXBZ =J|̆ &K%RJ^i1| -Hґaw5V4x²c? pS [ wُV9-پ1T&7!+GG@ ZM3~&ʷ9 C8ѭ~UAe ɳ:AC, Ws4Mr8]jF? ٤$WEph~yl-V -i!&Ź:WDe鷎ޑV`fKFh,ќʄ;˽nVHWoC!.H7 g~ Dow-!gj9OHSj2)Y.%nA`oDe?۠0@65.+f!Fv2Z .126PM όP@JnYx(hcL,VE"gSp-pY;aS,}ftXu[8].fuC @2$v`ϒa8t=A]J|= )dkC+x7Z䙿4yqFֳ8\xׄ=V'[0.!<͹#'4p2Ȱfv̚&Ga_#Ðr.v5!(E|EU%J#om@23ыO)֤; kF+? )3?)jK[1ρ3jyְnUv6x`ωA'x=4M ujbѓDΧdw#DJPH iԏX&mb[mA4swHmmXL?p#7(US1n ^(;ڎWv/º&$Ǩ_w&Cj7AXW(M$x QF E;j/JNZ®;h%P2ɵ 96fQu+iESZ1!6b^B@b7+(clsIQacv59)H2aXL߆ PdR%ܵҹ,YqoOKM ԋ0fb~%C{<0]1]˫#Jf{u$z&uI%M1T?ha;n%hGtj{iSVw~ 幨BK冨M t$5\'kcXq1qf4WTRscw avL>2ӂ w]GF)LdCԢ'S+ 冝s+`VG[} ? դjtM0=^,7s[WmbݸJff|Ri^..[VV~lasO棋66*TOxC]M"U alP8|` 4?|Yf2aHqPXG]GF$?,U)QnʤgNQCU}Ꮉ@'9lbI$B#  {!с(aźKs2xu}iH[ևRB0mqaꉭa^N K#W\o`__!>Od[sn e[PEQ/ q*6٥/6l~]Yb8%YU7USQaKE:1 |\?HX)CJH>#!^lC: k!Pl_-iń6 skv*yOm?zS^yx.%h?&I2c!J.:M\l핧$/dX16$mɣL(4q$\4LIDkWr9*Fg#JDz( VZMP@*h|¯Kp0cX }U,V>0t~-LƛsQ;k2UVx},3MҌ&S$V|٬Azx.m{Ue3uEm"i,2%5J͑ru,knCʈ{Kiqzȼq;Iᱏp:ew.0ϴZ {xEa!~93 ZY[؁y0I 5#Np=5S̊Ae=U,Jbiąunr&v]L` "OFzK#>"yd=,OP!gJJ5QwGKd)Es pfWWJA %zAЉ;[ix|f8$[F<'O)2;R<#  0:u AݥΤlM>o[$w!_ DPhJm}*acrP͡-wH.#@02[60 3\X󷋴L Br' ӵU׍AXN8lbsYzZsv2Q~Gj?gEysZHm9ҷ Sv Ĵ75/(vM<Ǟޚ1^'i`6saI#M0 Q=x o!.~ּ sfC+GBv|}@\֔Y@ۆyJ,g0*~Q[1U{GcZnoɞ4 R^slir$=9#~}$=&ESuA5+ZSbd?45Lo2n(y3ґ a܉qw"%mnxd°NQ\@f>h-ֲZ.Td%Zԟ-|~ߚ8L~~&j*  o Trͽen@@gNЈ.ɫu/T]cA1TȀjJ@|r[f5JQzܛs8Wܛ˔0$r_ ? \:Xi3@'Ա{Ro^"ڢ,g>;XQ4ΧΈ $Ws)lxgڐ]eS +l7N<\?]@zu2AshJhѽGޤ+0"z(Qߧ$u5!v1̷3xL붆"UG+.ۧL 7E\K4D̕j_!%Kl1i׹hTZ,ׄAZdPp92zJ,ƴ z51Nגw*N!]5 @T,jkl?P9q~bR`tdz ʀRy$uwvִŔVez˯*D>`0"~M>]/1M,5>Rm0?k[eZkl?T7<϶,9ݦr.xn=a;*JîSX`y2rID 1LLtnroAiGUYm>q4@ΪE 299V/=l0Ƥ\8"ou*]#X<{La"^̈ j;תޯJNG5$@$p`ys(@zIhH?rVz*\bg#fӹrIMT/zZTQj/OޣZ)H`s'C'gK ">=F۫a>*S>DBK._O!h0>VSAIRuX,篪Ǜ^h&^C+OYr593"`WmnsJƯtP8Dt?TˎF"O bK:+(N/"⦱9H}WlU7"ov~^ ֮nqmZ.PG{o[2 ,Bb6Ǟ2 iɖ5åm0OMg%zYW \at`VoP¢B6ŻKW'^m2W8Gk5֗/z^8j^Ʀ=*tiNh[%| bzf:V߈VU7;g[V CR簄5@3 D{" GŕCO;Lco=&^qFY~.m|r)BPi)*tB.0y90q2xW_!&Xb~2s#;?D34 *(tYS{đ3X dM_TM`_t4?ϮʏF$$)|hm}rJUq="F,f:'Ȣ0sI/}|-&=F嬧v| iE\CFLFҭ-J>;$t27bl^Ԗ47oAr#cpcԅ*h^=`g>T/ !|dTΚ,cԷ<V.iY$[FD 'Tl)J4>`PοYڼnuLHj͵uoqx=cd,UI"'^34NKy~l's 8ӝm{G#:Deh8kkՠaM*lrp9R̝1q*gj܌oZۚz ܀0@Qt~ig'?,s=9Ik(aD8-kUJUE4^m4SjX*AL@}Ѱk.}gq?b)՞^ͺELܵޯ(YPUZS6JGӤZowBY1; =LFb# CSH!b6>J," ` Ik@s!CiotD$142:S/djiYCT߭&/b0ZDAYȋM|w+ #y8-ޚ2(>mKdD]e6ꁤh)CGot牸.7U#Eu5 *!g0^_=m +}Pew kۺ3m^DBn4t-$$ah%g Fc[2w/'ez}]o? ཤO2@E eM~MK0h%$ax1  3<̩JG ~2l)!N_Oi.cg'#z>wk㧿6:z$V5.$Ӷ!jL8Lۻ<$Ge$=*8zEB(%cN{'nT^7CU''!4;)n[@K٘E rX?IRqz"aS*}9k0Уkmc0Dj$ȪNO +d/7Nélbx)^P ⹚<]mHk ]m lK'Mr t}@bU"ϵs3Z)}hS+R{):B4fFej:}^>( (ov`D`\w-k\n_XUr;G! `=ڏ.D 7r^n' 1f9d1[YqNDPךI3V=2S({UI%^`b0I/e{iC[_léڴw,އV_"?im^cwi_W")P Y޸+9s~d8yu-_ptس{G|⿄HyPGI}ÅhbfTᄴ:ѡ:b62@>C rO̹6MIA">R#WN!B!b| H) n<)B)HpCisXfPnBnK|q+%KWF(&PKXDlÅ'3t],Ѱ(D / o%NdUo,w E-.Bz-;N3Cl@39OS! \!n:Drɦ@SE89fO%/|v0b؀ԿoH9N+e +i!7kgQe?J:\l2oU@03>\Lppຠ_E[ A0+9V$@OW l=Qs7uc?̸Ȇ+kQi^ K^ b$`§X]dǞ;E@*Y&#PP:ϷF Q iO%@] w)ly>$ C L 4+:ہܧ㣤{_1a֎.?Γp M,FC'y;7SrG$!{NȰYH[?Dl]Z~DN͹):"h"Bv-P%O<6vAM1p'Z,5v 18bM>JProXXUws)<}uVU׉^lF/`vsogV߽W1ՐFU1І纶m &.6&b/=zmPҶ绐Χ97 ZfX?-@qr-^a& 6d~QϦɵm:LI7[{uL)iehhfSBPzCtY%@fHrLGVk$@nyT,jA_y`I(-簯ɹ/ 9YiP&O <7:n Fn0lsr[JWkV" `GF?4bys%2CG@uCiѦ+4G$ܰ?[߸SY-&> dräenJ~A0Y (ndegk]AZk*rzTnu0/Iιʙ*>V b0R2asXY#F[@@ ]mCD 󚀋 E|zCu*1[6 r.%^/ -tn i@rT[D='~/%]et qUfm~aYLJ$iѼ۩4NxzLFD"g 1JX) h>e%URl)L%=;5::VÄ`h2%eñ %Qi^1SǫP*xӈ )AtHu$ABg:k#ފehFDsLLuE =Fz* @B xOvH~ ?Іr[Rzw &K!6w6ș,:r/PGnY=P͜Y8yaTJqIfHtƍZ`#&s= 4$;۟o8rb>u *n+V!t~DjP.{ {!<XF]yo"M,W6]§ a|VHq;#!˅V(Ѡpcz[O#[>2zQޣڷH d躏 M CH v~9WNLpS%CnomY3v; Ԕ["+:g MiDn$xe[Xxtuw i}y_ F9 ]!nJJp)\50Zz`VSJ/;@ n gEN $]hL8eB"p+tp%D4ߠL-xd嬝cbfǣ\Jׂ܇/FDBg5 RnQ ]ˆcs]=VSP?dXp"?Ob C֙q`.7y*T$jެ&O _ i\Ґ)r?@IS(Q`#+W9MQcT=̝tlUe (93n۹؍h -~M2{~oNT> zاI :ݘ׫Tgkj[se~cLpb -?_{qF}Uyモe/˔#:|BE<{ nq%d/l*@pD/ZEéh3)gj0P􆬃_kQ6%-H;j7#B,Oj*rnɂistg;}At 1!B?7e?O0x֊NqS%C'V;B|&qF\쇾#8%0F/f?o9 DZa2cJ|$Mszr&Զ6%4xOX-Ѵ&\&\w4̓[oGOsmu5?VX%z;9nd 0̔:䢵JEC]O)NwJ ~q!:qo` 2Ard>sG7zt }8&E+&%= 8qd삎G{OMEudi/1"M }%G) +t f,|2>Y%6 qǢF B-{E4%$‰*)&&/ɱLn_z~]kU_oPyRW{>Npr J#F {2|ur^ V.gyut/ F04۞/Ǥw鷫Bi0Xs_`IwukO —dn+xK[2WAuu"dkP]'2ȬlMuMNK5a0ϭ55 ͙SԕKE/v͛fH'D=7!WEj?mWyiKXDA:i,T9e⪎Rι]BH_~!hbuJ(4A8WRO (DcYiu20?QR҅+(:`n*)Vsm*6$ >zTNGk `! 7ڟk)?"QYjLDXgTxw$]52de(Q- wW t OzH M=վRS 9~Qp3b e~oAU2㰪abHy] Q[przk lfז bNjN\q;D~ݰ0iƗGa/3ÛMn[fPJaՍř%6[V JJr6bL_GnμyƭR48.JFaQ4`5g!?J+E՘rPVkDGo ƏWzL5GI!T^j5Fa )zu\~i8)N%I$i\+ =c~;LL౐0zl 2OZauy>'ǂVIi&#MEѐn1{|# &Q&#k@gm5(r_\BONu9 Ȕ|h:DZߎLm*l&2{Ow/>r9(v:[ZIg==6ڗֱr40#P$ H1˘n_S]"Aܿkh0eZ:V櫟bې]ꌸȈDBT;iT.3ͪ1].VAXq|8#/#3]G#ũ Ѓ^Az擨x|@;8,(+2S~-u6zdu4X8j| :CSĠI`@+߶=u}CRy?@;-^_7R e,&{so Zk %dP"Խ89YC疸H/䴿D1܋R.8м=Rk7{7 qP`"[$4>=떘d'_m'|$gQcpQ<(Us9椇nRԇ4 :X%Aʩ;CL=\J> Q,(,6~IAzw{ױHV(V B,GQ ΐ⃽)&7?r~/d>>׼J!TG#lDfv2HBȭW>az7f\l#+C~#u6s)΢Z> 37Ch^)`ެ,LQ5 x琁q$|4:*.8Ʉ?>;-ymxbbDHBv? /q˯7S=oU-+5*s&w#}'̈́L?)YYRp1`M+Q!F>=B%DA=BXZ Ȍ.&Rwi.D}jj%֐GJ#b&t?+rtw7j?g*]v h%MIEaS g.(d£K~Zgq޿2^hUU}S?<8U+FGDnԻy?vh׼Za!t}7OQSo?|{~=lf]nc#aϠ5vF4^; ȋ&k^d;4b_nPoȿFT/ Ft`,}ӊ(<-}9}/H"~fLkd_H I\g[3ԔRs`r nf2嫝crdm!҂FE $,c;Ap[b0#[϶uK+ζ| *TfB橧c"8D [:`u}#xII^+(PoBsL5Bc^g41rpV}рK8;8^gp4p'JHVՕf엿kVﳡGsHAcYIk Aaw|w:Iq7$F+ @<"֢i3ʋY~0Yh0jj" ܿxm_qCݴޚc?Z 5cJ:*=83c),` #2CJ쁢pɖqvja#Ww)Hޏßk Z?%qeƍ_'f'W wF fFmA|9Qo鑡!,E5s~v0i?{5b\pCsN8RF-~9O;~vtn -Aj\WӭS!(U!gX ORv̲w8o r2a]3Bf˟ġ_qt I2 m?OV3=F3@x;T,E sKSn0SuB]h K Dbӊ|iA.Cf) U䌀zO's 3ㄐb|ۦi[xnM-Ny.侞l{s:FyL+I+| #WaGy GQt'ժuhSh:R;L|s?$'EBK"1|@Mq4mʶs|:sѬKyK}4G0LL%iڥ<G[4Mx_itma-F~0p$ #yuwmAmQ)Kz9P?.THŋB,[ CLR2|(q^ѲBMP>7P@c~PRTOs#p~#jCTkJkhjI_\F'kz.yI 48~HUH1xu1%_ҺcJ L.+QVژbVDf%HHNK;J 0 "db,.woOų(ޡ,ƅ>|*ܔKVT/iC<^u$3v]x)+pםTY^:b=$&* (=_\AlM>= fɨrv1Y-zI\Cf7K60-IC=oMDhB <,jMa$,BT QJm&5X xBGI#B=tڗ";Qu Y@8W0ʎe hs vq4S{qʊ[._Im w3 M]j!qz7"iqH`n3IɡQ\6ftBgLt$a4H̞UP((Arx.sV^rSZR/RV_MOJ4 %,.]רVP#qfWf\q9Nہx\NjȺJi}p R(4 굦N ^GŔ&Ҡyջt[<}IBRkGžjބ!='!BmGGוw2rj/č=\+oc_cs+6QGBF6?(,\O#&oz#J#l, X:yU̺z1OJ¤i5&13OцV$Ә]>.o 5\/X,A\T6&jj89zYb$\i~-=ޱu$|Ŏmhr<s $o9/6i:>13YX0WWjٯS[i*vs'qwSBCfu͌9&yy??duC&K*aC2MEy'.>֬eV:1lvd M @tw~}'O$x!cU=.S df4`]~ z#MaA*q xb"v'繧9Q&TI[~t*nd1uw{tZˍ0 &kݱY.'|Y%rM~j[ `.\l~opЀ=~ވ-|'A;.e< AJe2JVss%0ҥLa??E226^"{r" 5BQ%L  |L G)ʤgYZ37ddc9d5341726f533e433670a9b5f7f54933a4f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b 1fce1a0563686499ddf5e53700a579f66385745c 9fb0679732271db286240c2bcffdf857033f9146