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 <)|\l ]S Multirelations:threads=2elapsed=105.393cpu=120.924gc=5.208factor=1.157zXZִF! 2u]ŗXf1-/6vR[lRc2qJ)=?$~)LX8igRNKe`du5\"=GGquNp"f =)<r<63]M1#|=kNsP:rYm Rjm"=ӡf'Mdbdֱ(dNYW !%vO7BOpTwurDQC݁?|%":~3,x4ѦUhU\ ~K29!! ]Ů6Rex~2\ $i `huSYO :fYMO(昆 B+G;2V&*[v-_d>q/sV3@|ŖP9^.2[#j7e]Q!{r6..E]{/ ϡ1Eo4h?0&e_'+'4!c8!Sv7LZҝ+,%-#-pc5uDG^M/FwwKnf"ԿgV<βs ^D㝂5w&uDXIe3ͲJʔPsGw-t47domN(:a/ F3ai}ߞҹ%YjNI$uS~63mw5^hoyƽk2P-GX8ED :Dd٭ se4 _R! M ZYpq!r1:3>#IUS]!zts-[Iwlއr3A8ٿ<r;Z;|][Xϔ$In(+3}Q  sCU}¶\@ zʘHOBv18zR./+نbI& 1`ttn]gmkVHX~hp@֍-j|9p[V mLA?Ɲu~ݟ>_ 79t 5o5᪛< e+gYZ7zXZִF! e]ŗXiɟ9%Vۋe! O13Zm]=,a 0DV,q8v~{zВw@DBNqːkp;UyVӀ0ORyͱgYZ7zXZִF! n]ŗXi%; K# ot鼦 wQ@ 0Z:M.Dh3{] T9G"0=A1 +,Lq,GOdoFѭ/"ϘL(^KNXpM605%Wsf%pJXrdyYOwBz~ZzÄwtcޡ5*I]]U V ;jȄWbOZ|d^bxYou,QK܉dau2Il)6clMeHGbSKdHns?}s0Kʇpx\X7+1 ofgŞы-֛Ց!¾ %?|P\FlSi/:)F\'qsLwXM:7蟚a{BRxӄBW k z_0*26$Ih{{݃;!R`4i i2nO$fu2- 3`oO %M5nh|x9֎< Sƌ^`܆ - ¡$&L`/>LL!Ռe+بADWhxao6=|IS>^A\ىT=2uTwn+Ű5y!܋^[aZr ]"A# _)׽Z, ~|ij Ux,PNKa{L g -lt-Zs`;SF(n/])2o"분!N8vI zG|]!S$| LJU7<̗IaO=t%מ]4Kqw)w-)vPm7ע'BZ5ҫ2=eN45w6>8$ @-[a0\'f={=d}V1Hx l5`4sNlFʭ9ϙ ̀,Еi3} x韮S ΪraRR~.~[ IW!W+rSx~[|WwR,3ǟSYU`"7`hmscS \`Ҳy8m ~yiB;j8pu'BJbE6ڔd~\DW jh(~1U! C8YZu 6tUѱ&b|\\V+REOwTRWNɀ29f>Xi*c+1VÕS?(mlܧu++WV}F )TEL K DK%ܭ|ÜGmMLZ8jf_V)k|;i!ΎG^tzf #tGXRT: Mlad!O9JducaBk vۏ{QWޖa8Gy9\[n$#m [@S@=|{A~2% VB2zók(?WNQMD=% ) 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鑡!,p(hl'~,%BGr59ۚ/6p񊑙%+;H<#Cƪ<{XgBC+20l_s<4!`asD(8']4űXWGf&Bό<:M-u=-|Xx >8rRedmR\VOW$/p`yֈ3qpkuTq43?lCN1KSP񒻫Y+_ 7iEYQ+-mX?&|t+2j詾c2u=̭Wj2[4Errqi&CR|vu|El~hZV:^@kR1>0XaUS30 N"hZ5MEELAMV T*Q V<8MwG\ht}ř&nozhĊtG hH;=a^/f4*[PkY ؜Zwyl 3wl=e:JБk0 ֓=7K;/8ۼ(b+Gv$W/ksa"3ҳp\`IqbFހϜд(sRcٛ5HYm9rr-3jm90ǤfBeIWt H"q~mzV/uGc(q }o +&+zZ?X:g#X-Rve.6KK0R 1l&+D%*-!:%JV?L#+ c˟msp gt0sQy UkF>NvfȲrq^]>5+^xC,5?2cbTH~Q=n?7D;Zng%sn]7#J^"#!1+ D/eaq~ɡqFK)mGbS!܏B5©:ؼ:ǼfZnn}n?+~t=oOh6C?-,9l`ף]ʿqHj̒#++Idh3I[D`[39m՜4}ZU\Ƈc1R{eIS T,i #0oG~G=0a(Re)9hC =;ٿiDk?"]@Y ^a4*̭ڱ[)иwnŊq=l/lƞ: +8 -##:@T_p~칮oX< ^E*Ҽ+!d" C `/g qD6CI ;D+0ńbZ*tދM *ls?0c-Ńac:oIwXƷb8nnMs;'SugOLC `A#b[͚.9CS@Ọ'L|>ώdyy:ORu.A'IWJy#J'w6}R_;g#*lo `Lup1% "A>ʒKlLgaz}"z-D*8my]zx-Tgآ8?>ԃ͔?zP? E k6)ż.Gly_f|^Im#;18V v%'Bbk"*QS}qE>7xI#`ˊ `c(5PT]AKv1kU]uT}>?޽ z$8.hjԆKpo p=ȉ7M1Md}:E6G Nσdٜt}:$!E9zXHL"aSb@}o s(%5SU\VYu"uINmf?iEփޜ[` ,<^Zm3^citV]J|@FoYL oѲHq#/fK_~>joX,@=&+ !/Cv%/$UC<^3 Oh{Ku(Υf'e`˩v-n'"k]]cY/*&2pP.IXɉZYRدu) >c95RO7O?T&Wb7 ozLW BRT7imk:s>7 Ldl[@9(fYJpWbbGn;xRlw~6p3ԣPM{e5ȂUl7Ϝ](Az&"an+<{ud*%b45,MF$٬ܺBbۨz &VNk&4'y?4 W2otS,{^y`uP";!XHԯ]{ | !/3'<Z6kxzN/#L{ 6-h& B%'m)7K+CEAoәot3Ԯ)²w}*1('I[ŷiDM-\(9*oOTGj959S]TXȼAKQF\or|ƯFH0 tFiyGj Ezcbf;ـg ܵ ane"+Md8UkIp=G\̤u FS"4"L[c+΍f}gYZdaf0a8154830a864df368cfde34c38721670bf120a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 d6eb13e4ff6aaa8ef44fb02e2f473957fa623823 b4247c28cafe7078445bd7e51da75260d92440fc