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 J5d$D ]S HOL-Nominal-Examples:threads=2elapsed=670.008cpu=1219.008gc=131.288factor=1.827zXZִF! "j]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FR%_,9ыcdOw?TV(Q{^&MYoq7pBwk/لpwf%#1^ab]N*mHoۦ|:vP`27mʃI Dĕ.?muHQc25 Y2™7Tg 6eDAY!HzZ^1qf:}xc5*j[;2 eʼnY=,}JG2lm2J+Pv@^D4gnwџruD!}ɤ7 9s <%B!]A1;"KKEiQ%ᡢ=@A7 \)]F_sO( y|Y rkBYEe1 DzyE_?~D^rI:٬^%{{)+6v#&@$Ji+4[xyȝkFs2yܝ" .')Ao\Ixac p[Ro \Q@< D5Y~3JV0АvfӴhWHNUTZԆz u*FW`w) hBgd8}jVn~~)z îF[k0EԓC_#*BK\H-xUo-  7^3hȵO4X-sWB1>3禧cconvǕ#G&]5#1EU Z"VNzIii^R+e̾Vo;2d>%/(E\!o΢{F:oMGV^$]ľβ]vә 3D><*wpȖS5# jڦ\DXwoDž| P: XaX(_nK@05qѼlg9]] Ѓ/UdO]\noa8Yq 4K Y;O;Zde#ۻ#]J}MqpـI1kLDaQ^z> *q3u7Y(@fDTV  Aϸs8r츟,-܈M(ՖvfnV뿃B>ýJG`kIMn!)!Z rxDt<\/$X';^BJnGԍci[ljl3cOy!rUNRw:y9{ȃ|!*eށOT4m 6H a.L:k[͆1x |!O6x.쓨] kΐ:৿hNupkN}[}KH``g}?D ZA}rVsdh~:X*(A ]$8uL  Y$ i^zOexH^.V\E8\N+;oޞlwK& ߫q[$]"U~'*`zS2XA7nNc5`5hWfdStO<Itį/I^0a \Jm[LjG_xK@$^Tpe;V>B@1# 'zPgbc?z~*$%(+hV k>.Z>xg wKE[rZ<wF~ [:6*'PFXț^J-7uwrDJUj<F$f=2ux9M$JeẖeœM7L?Zxf):zkӅɾ3^MOPew;]PQy#hI vJd ¯qdd0aIMK }W*AF \J-p}Bve\IOy"b!lJywj <묥jS+`ը|)NߙlL-jCXorԶٵ81ç5'gsswŒI* LC=FՐ#O[NuT[XgeMYhv^ۓ>qbImHԹ5ᝁ`'%} XhaH)Wo' LҬ *?̥3(䠝acQBJgo[SkCXu61ޥPtO5k/X9Nb=0[!= %2au[6n}gfuSJA(V0a׻xC:d|~ht!I!u m9$k.Hm ȆzerK7*EA"75:(ɎXz@lVǷqnBE'S-֏9ӧ(Jm?~i)c}`a?_v^Vbveq뤶=V1w1]dA*tJh\?/ ʟ=)R3aH1 P72Z!vR ;bө3 JQbSNpBS"tY䡉Ӆ?7jB8[bOGy=Mf+ԘwćMan"VԃswsĬٚYN-;{`"R)Y^)Tt1p_KQ Q^lW #0XZn`",]X!1E ^̅A͖yh+Eqh(ݣƭ&77heq!hFz\8Ҥ}tR!{3`&nf4GBu f9ïtfD@ʙT(^\?avઈdVp116wmY|l{f̗-ۙO[sEm5qrMi,dhivHE>NtG@ǜC:arZԿ(gQukJKFɸf ޾wvox PۖQ^&Ds]!;P=UI`ZuK'Ycju# Vh`|"Z r+}!.Wh @(wl"zc')aNaOh4'|,g5=B\Ns0@$wW/纆"ELrm=#ֳ]u a,fjEZjd!' NY/=?fϸںb-4.Y2BK˵nMz\7&QL1 -Do85v*ؘdqN F )e_7#sJ@JD GEŽ猽ViqD +S.lhβ_ř_h I3),W=r/RP!yDi7Z۶nvҡXM娻lM3=\|'7=~i(GIf; )H "gX (СRӯBtZST(-"t=Gy7WBk"˥D w5:4b0qՊƒo i pKENTjfVp*=9ԤG?Ƞ3λ`jPV mUk-)Y Tp y%hL6CQ1Vݮ'3O7:Ӱ#Np. 6/{MMUy!FB@]lM3lBѱ0ڬktE+,fx&.{Elv>īg-w(ֿi1/xgys'~-x h_[@;BpV7n2;~#qz K"n'%4ܱk%2qǓoo 6)MS1Vl a"4yIyЀ!zS8Pp:/.MEUWNMxYSj "=t584rİB{Y݅f6R1͢ܟ"ذ| S١Ŧc&֚ng«x);{ko7^$=ٴԨ#Y|Z֪D1u _@g#D,&:QmYB<_XՆy揸+vۣ/G8mP;-ʨvCw@e9h^[W ).sD-G~:q9 u|׳MEiz.W0yz2Z?Z|XA TO4Sjia3Êy#&fh+zM/J <4|.|Bf[vؓS/>:x4VK>z| `/ / *'tC?)ԁ᳧n˫ҋHgq+if-*G4L唤22qFY\tW)W)M+zjl8T#+Vd/ R:/]e_$Z8<˭!{pkWUgʅej.=ZPݟ]1{T "=& {?`F2}m(P.`i P_y-@r4QۍtNPD߸tޔםa_:`R)L$$nC,G9V! L6 ړ^~y/ ԓw$Wn agIÃmCpVw)?^$ 5@$YJ/b֭NIz[L]u!E"D/59w i5u \t!2Ȝ hInR@`8g7g#kr;y{^}Z;mT>KۭtSF߉T$nК :%ftI(Hp ()g?h!i~ z̋.h8x,| 8,O68yW#ŝ셤+у%&B]Ȃ-WLZ)silVx :ol veubE)vW_+: \g8LIIn+ii( d)iX>qdvK?ʋg7el-_Izr|i!My,kRiH5?F>:xG>}eIɞ͹F'rZm'y,VÌ-;fb6V5Yq}jf Z`bE)2o +UowUjsMyۣZCJ)H˰]3Y*$EZö)e_M^tD|FpQGN۱!P6N%!dt"0QIsL::~轟ɐu^yPM}{w eCN\Ces:O'Eâz}w=\f e:@/߅ۃ_)!SOM{0DEن;~I$AJ,TZmkN^,sL=%TZJdDK D7@gKB{Zy ?qC.!0}t*„&qy[Ny6cc/ <Üԡ6minxB&g-09n'w7Cu@L-YH?rݨL`yפ !#(S>U}db+__r]5bGMQ~| /7:83i;f(-Z6GS`\v xC}T$b]18)kC„=lR6i^Xa7!?vДkJR(r|vr*jv}v/o3]x$v9? 4Rvڌ=BL9h)ݱy]L[踫Β/a0CSbslJ>)e (`x}=8;|"?ڱgYZ7zXZִF! c ]ŗXiɟ1ʹ l93攀Lx3 a(ֻds&fg<Ϥ4ނzkT ?d W1}Ⴭk0D)hK:# UkBcΏE/,X9n.YD`qa^R nb1:^=FH!1A _R=7~b6:VwP>4ij] 480VbbyXKn$qP<45Iļ+u#\giK5eD%2#}A4L%5]LX!xP7LgYZ7zXZִF! V]ŗXi%;;=sMF^ ߖFr- bߣ\d%T!Vmi!coڴwvӛ|IqTt/S-lxTEm.%탥.q *u CbSGI}XIK>:yEgk>kJ N08>1PǰKЯ˰ȭ5XE8G!Cg;li\KёZ@W*gGz%!qz X{}~ m0"DAzfa1/F5t-=Qhq>i- 9+xjFW샆52[#}v1k"5]j5fϪA8I_HCNY5˚L h fؓuU4a)'E^qw)uޒ4%: 1)t`Ok:fbJfZ*PWn_N|W유/?BklGd3 )1+*@Uܟ SXqv(ʝ@2i1/ԥ]Qؚ>⿩Ő}lm{uxBC\zQY.7.AT8t%ueb¿ﴑ]'Au%9=V6Z4"Vdw+y\܅1nD|+(,5X`E!&yo̊]JcOG0 FP=ܚ ;%c*[qNEJ /06}2zҴڪ>pvW8Y_/!R5O3%ė`u@vEPHM1apr.3P>S ibl"R-sc]ќ\T0j)tht",q!@ 3b5POW0"mEi~Zд/jv:Fj;|umd'\)+Fp&X*s[ݟd(Eh> * jYvd13@ٯU)GDG4 c?<K. :Gw'J M]dc [fzJKMC;Wy%ہ(Fx*v40_j#06 #7\@$uMٌӽ.MIOfWq' dz4*pFpI3N`jT~Lt 0ا%^6hg2<r#+#6'~JN.. rmML a֖`^dR'(Wގ|DxwBOHp5UHVHO=sL7!,_nc4՟x>[w ZL~oTϠ˞$b9VM).UCSI#XIS6Ƃ;8Q?^Xc=(ॕMtb%`% kEڃPw:O0)@\s\b.AeHC0H{(G$i5sVci":3b1ʄCgQ\膍[L$6.OxG"ՍogWoIؠQ$owZh! pK(x4GцZ&k"i);AkBz;ggeY|0CTkbTY9q^7IwvPMysMޢ`w1mMP Dub No.3g!uq9fU+zFKǒG XûG'XCQ״PJ,nӎȵ5`EȖϣ5ݲ.EVՎS>3e~*] x~n;:hD':M;C(+yגہh0L߁Ogqn$8/@ӟ?m{E_B*`s&_c Jءr4/1,/'BU5Jh@oǗNu',}ܞ)//e("]h**!r6gJj*}ѩ㈆L𙂄XїN{D(b_?a' |\=ﺿol<W> v@3)߅$Mˑ/"[Hb&ϖ0ϒG2%5`XxecE7|d뭀eMA{",'I$MsO:ce2!ˇ%3) #He4qIypCu$ (w"pX7o6z-ߝa*bOΐ;^aH*Qu\e"fFtHߢ jm4f:lL;{ dUJt5,)^Hǿ ެz $C7k]_RZӣ'ٔWG4z'+Tm^ 1>B9gnVHaDaXTC:p' vZcr˻|H3W[W5ϏaO>gĜ_̐#\'z#e@t6lPo\F(:RAyܕEjdmsy[ `Ez-[.fS>U  ђ{?~c8揓٬-7%{2yx1@Mqy)`:aMyrRK_3M%yb.՗_^yn+&4wV\qM絔afx.yHbkzLU<#*^Xh-nW|+YQ-eaHWGe'J*j{_ xOF.:~z \r&RqO]0ӿ!*a u?oa ngyB>EO^"Xtw X\}mED9gt]A*֒ٶע5i[f>?84OYi(*2`| I*.n>|Š`a9^ CV0fu1OR/Z fṿWҌR0)x#o"\$1:;{}pdK ~STOW#ZK 'e 3~drGȷx|~*=a|zcO0BpgM6g7iH¬BJt!h.m/ߑa/, $6ܛK>[bB@fmWB >(7&j![5 |gGԨ.feGWzE[/8z~F ~=O%}CTVH1E*ُ|6W' h7ieqx3#KZF cp /0.vPXm?ŹjW{4T;TfEd^;nQ‹ PoN.?l5ʃ~\{].5^BX174$yJeAȻ^GO;NCb5Ek/9e|a捻&4+&!BR24f_e,&S 'm\A-g/jKf7cјV恣jJ_i;y-}X fP'rQk1 &wBS-I[)$jso>?2kSjéktBvNLGF-p>I:sd4aY7e1H*}&וa(kR|XԃZ\SAQhҘL2(Ɔ2 :bB߆k3k [0MsW}PU22m3jL!2f:?+wֺ%#'7 bCk-23Ky!!Yl,$^簝o0ӏ=gS/ oU Y4d?{,A})S*j^N~Jf\L*}PL* c\X5p?K:OVzvF^whL8cyusDN9]ms$S`]D16dw)a̷  !(?:|- lVl~X>7vr;Rf oĸDB) ty={2t#.y+uqmuPh pӬ.~&J5'Tc}0<va+Ymv THNREtڦ8+tfKM7]ٟz9SddYp@F}XJJr(t @@~xp"R\]gEt%E&4*c&˘p]t%iPDq"L\|L'pEƵD|)Z+ZcD7+T&aܶU6WX>02bPy Q4,}LK}LA>1dU- Se_(aJ1hjX)h޼Fɩˊ^$Mt>8VMLq5iD5\#m/;3T$2 4nmbps2_6P36*"ZmI@{f?:wf_C,Hz:'ReBH*E ,9#[gi3\_R&HySg);qA6g9S9gi =T}Ckx YZK8[u) ,K#2^ȢKM͚T\;=Vp?ΐګZsӄ9%$9oT7#Vg*7=+XHħD)!¬5&ånmƜ~P҅sNݔɴ" %2w#)Ce P Ih!^-\Ad! bUݾOxrşC<2hmZUzb2p`I2\-so3q V˞ӮbkrEց "2syXhT%\mx]}m*1ڋCƈds^4bCpVs-'<u<,HX2?T[7)b]ɨۃo4;KU.V-Maշ4$W (L ꆉ$@p\B(gĜvF\mfi< h.B?]:M‹-e~Fᶇ#0݆p-*BWFc/e7#TPVqb%24uU͎=moi lyדəTL`7Ŋ.h/^ і.%g$]i7}Rjx3 k/w*.F,򙑶1y"S^ӑ0_GkFkC8^W(u}%sے|Q2>:{5-goϕ]10o?}IȩJRdFz(QJ1RUIFm6QvJ0.4wXjռ`O2ǦpϯB:X-N{fI`DQ;afQ_#>y;))+Q=|ǥ~hS!( ׮sZlX&z66=*_Q(vUVXΊ8DA3̎8 ՠL/q?q.?1es0xju mq04)$ wNlN=S~GxՁȆ[h K:L;U0Fvv%aŪ)"M|y-4HtE$-tZ. !דQlcncL}̧1.lB"u^˗40?o-oxy‰+Ś_k{ahK*yCu(m4ZNj#HN(8X{ޑ@2ocgO;SAUu ,I5Riy`t80l/0iBK"|F? AR7ւ zo8l)ɊutPAnWMmUD=ML᭿$@ߜB 3C{5_=֤NX ǵE$g¥K tدA$uP^Hqu__Y* TƮa^/!#TI">7aXPeg-xkAy)F׎w 6WQD"ER?AebY{踒㶃=Ѩ%L5*2ias v1!`2RhQ=] +_`o\fC#JǫeOiC]$}5|BNyJ!=+2[\WB$spTEDUBƀ#^vʣTD 9bPw%[@R㴗%ZY%.W(.82L*6t]M΋d`1_Zrԍ(\ +"RW|؍@my0wlJdgb @]OJIS=Vh|2Aޖh}Wmt$sSW`Aſaׯ,5jC*JZQ.(ǖ(>Ss$M`,vH]^S\Fz:\8ea .V}w3-lZEtm"㳲eJw i.ÁLe_pbf\_ j-1$- hg2o*oߠӾXt^^-_0gKl;K@j툷;qW7F]\ x;BpKӷ|n@xRl,.Svek<}yeRt$s &߃qj,ƐKMpKӲJJ_E:jXCң>}ó^'&r-):1my:'xSH|zxl2x R99T+YMorl/-%_¸ۅk4_$ ZWwMd<{mİ"/L"'76Je ' 8t/}c"eL!AYN~@;^*c`ax6{T)Y "euĘW#=[dPNK}uNwiyH0OE=|B2բCFL[͗PlP: YzPd%Me}.\Ƽy&9^DnH9y%lkrR9s{h@nlz mm>;jؑbE^vU 6AkغlV[^7 . g$qȞK5avFXt^#>O.tʡ jC {F@𠿣=B .&s\ɝ_'&/qq. Tܓ3B˂Og_7f[@O`1ڔ^3\lP*&>fRa C`fy4EUі^!{cIeԵ=W6V#3EvhdH˞QE^$N|^ JoIm73ᑔ 36145{H] #aԧY,Wnnv! ހ ~It>gn5R.mZEba\%br^P=UE4֋$xͯpqcoפ X&o8rphZ4 mMs?}=ng# @0aC탗~y4C-K9lVb855 Qõ !I eQ[@br8^չSQ i@$=f1*XYU#ɧev\aV:!B|jΊ/FRR<<$3U07L0*ȶU(ʰȮk6pzsaU*>Úu D(#݉DRɑ `qOx[KG:}%)>fm9K{+Z]et 7U ngRivg5b V:;h"+ifYo'6.C8,m2"*Ƅp ,q青W ^I*yeD_gC4'a" KBnH#h,I_diԱj_) 8 55wyNΰl2-.W%}2_M CD *N Wp3pМ@g(p!3E#eȓ8}&p]x++v$hU:o 6H &A> [X{R+3,|$q0*"~WNOOO67I`K+Ub،=@PFq_.Tϻ&HQV|r\<3ix(# YD_DIw(ţ>;:KJrSfO]Li)!# 9nԅye@jז1 QR?Ftrsgk$4w)zh$K%UBR\-că3 ۶Uiy#$ LG8H <"1;K%F9piba42ʧ\w˫  *z T௞3ؗ}pS3oVە 4F7M#֤YcSDp,e,~,Gkt;tVv6%j_Zݮ=5b: 0[ #HRt-Q(Y/C$Õ$v kiBD.cyGP=;s+Iғ$" Yg;2ŽAGR%;J-KY}64ҷ EQybf~ %[[mX/8 k4viik/d0ōwFINŀОyhi;BCGs3v,Bl3UP@)`^BR>e" 8Kp9}8ևQ50Xhp>z~1<9Tفb^BWԒN#@Ҝo:R{MKNJ*w):l HYa?©ˬ]PUȘU; aV@vO16XHvLALd~oR#4 zB%0jǥNA'Y:YKe 1)uMg(HUhwןyPI!蜞nK& %aj.mF'{\ȍMBS)xM#g#P~75+cAM*PV/O#XPIM2 p[&)<4`_$>3Ѓ p%V7<=N J:|4S )37tƔtmr_ \9ӥ#!=/f4/!PhdֱatjPr ?,,`WoH9A@] 4[/~I/EN2r"\> w8;ADë{y',`̙A|/H藸KU\6B2Zoї 68y dMG̩8'vAHzhJ0 t >Kcݤ$O^2@K{@!|w Vè@&F5pdz \۱ f%[^m"?FS$]MU j߼E@6>]ѻm8|LloJPף F' ˜:?֚HHE^fv\?$М0Wox 7֨ԚH4aN$9dvܳ nwQ*X9'K]%[QwAr> Tu㉎A@z{q | ;36n~(F tN"r*wCe&;**QpholcNUk-R@4 (HQ`bd)x-ނX]fwl@$)[=3`~y;͆Ul3dmVFvw8pH!?[i EFйrPC0Q 'I EN8*'OChj*w䏳&k~])UTİk|eF*~b^5G4 0cǎN׎ z,lucSj"{ V|}X٧xajT9Kw:^ UdnŤ~0Lh2P}KvaxR$âIIf): e?aυȬ":]vpM|I4d׏Y"pTƸR<謱BaxDr kTdIxLkbBN?ei'M.YoZYntܧHĝ܀WF'})Cݗ ZU!*}y5Ez7ZEGSB`+Pw? 5"Z,[LTcp_ܱ&mF<+)IX; il&w$| @RUlalݳ?h2F(an#M+CVK ,:wg;M,ȴEVX0+Wz-tO|^9f"EK xEb]!H 8hᯩa)°b,H)?.Gx5ϼݪ[:}'==5 {| ƽ 󚭗ӻXxa>*׭t V+cF燛KBXo|5R}W.z2L_@PFo7+$4gRuE;C(R8^v%d/y(Ϲ)(ep*m!ߝ6"HcVKOa8$#ddda~wo Bo/H٠5ZfpR{1~__`ڶ!NKKD:@C=lm&!li7wb!8Sl٘0 g-#ȳ3*@/tHvm12Ǭ Vp p"mՓ'Km|+ZIRV/樲~4K."O"-V%}5]'D@Et ~x !,t6Ji\NQML'G٨U4uY3 ;~\ J<"A|z/C#).HHNA|5IK ]+686VJ|q$fѻ`<<ި{Tҗeh9እ!M|Aid6i6} ^/e7A245J՞:llj\ݻÛn}bo3=]"8Ö=F9ņ6RҠI9eXc:pzWtuHE4N]h `5 Y;$0[\t-0]=BiD4"s}c1]Ll/\"]Ǖ\]yY@ -50m_)8~ċ/_85w^'Ʌ 0gSG35`/e 8p#YU{v5l9 zTV=yg)hģ"~ބm׊\tفHx(%f> 8px|#LT+o odɉB˨_R4 UR@ux;{1/`,ݍǑqUɯ nV7ɝ? JS:L]tjy9%hC窮-@\TGk3vzHK6yUqoi #-ʡU_Ki3f y4ƦO93J&,(d?Ded.ʭ%/AhiҢi]}L #,L'YajKU,>VILL/oy`1sSZAQ*_ *Z;or=gJY i9 !Zl9HVqj=mEX3{)Lbt.#%! AvFF-70LÁN]v O/O"mX0%tLĿL$Z6{L~ܚOL⭗ 0^ݴ=ʕ8\2깠#tuVwr줨ʂa#1p|U dT K*{}U4ͱ]O٩@d˕7 >4ߒ9FEУGsypY3+*/|J-OgvWzĽE҂49a#`_(2KФ}˹ŒR>TDFt`ZOgZ::/0.YYidq~7xINLJV;R@PKƞ#e@ $5..-e0? ch%0`>cuKո³c`?4pb$1eY󒃠4eokfXc-5xKO3W-y/[s rz~})9.^+.ԟ{ht6G)12߈@"#-DTE.kcJV%@)A>Mv B]`bb&Mt~Nآ~8iCK=RsqEO2Zr$ Woٱ\( `>iibMSC1͕%xeHtt&-jw _`E&9)-`a<ΊˋsDS¬,LTW\䐇絤f:nǩB յD4-U\!j8NZA[.J9l70sy ˤ39bA7S_PX)]3ĕ`Kއ*e<'\bțm& LOPU /aj*u"h'Et-!rHG4_Tݻ F$ע{W3}D q@*cBf'5"b=ن?[+od!9qE*vsW2igP(Dr>ʑ DK1bj\Hډ|vZF>Z|56@[N<+_qq4[<ԋ[qvs;XDwU5FgKdnm,c91=Ҽb}PbqhV6bLkGNϐ e:'S n *)ە!YvW0Z{XBܙ[{ _}iH,NJA&1V C-#ruQ q = QK倀'F2HB하͉ك6xSjIdrYn/ ijoL/2/g~{QȾeEKE~( CC9T`ANP;Bm! 홪 Uv<ݘ ([T* ?2.C˔@os.Ű]),ѡgmYC ,76 ϬLazBJj@访;V(rc\%.EN dfɍ[{_NIio\qY$xG9zͫ{~VlHyۯ =}'Z&\]=li:ܨ,Vɻb PQvj 2ɲT#=⟻:M3n'.Sq&`HSaOؓpwNFNM{͓I :ޠθRѤK ?Y6M`)5狖(_< Ǒ݀." %pׁ' }`k5۟_NgC ,N8CT֧鍋ϰN~ sUㅤ[4}~%xjӆe'tP˨]' G ɎgA(u@݇)'jvt0ň܌B+ɠ `SIH#i?M#mmUj]Eu,KsoIqPioc!e` 9Ⱥ[iJT=tD_fй>Ju @ya߂=U/*dguHuUsڗ\&d %+DhIuL+sd,nܾ^;S=KB^6S _1!ce?jA.A3HGQpoeY- hW1Hk7F@)g`r̍apuob0Gzyx6Y配s}͟(*n;bL69hF}QybE:u]- "%TYHj|=hӰe{飕+q~+(4z`0+9I5Y]P+qHݷzdYȽWoGcJIY+ιuH\ʠ봲ty:m'\T|yy/q bUv5bI_Ʋe/Xxh EwwfrAbQe`pO-z,]zw" qtP%} @ 6qÌ~`H}svPĎkӎ؋2w'4ye!C.g,_ `n]>Ԩrre1"dxڄ# yO~Ok25t3'Q*PgU3eG# ;.gn.ZnjaN549U~j`F& 3i[pcFs'-8v:Ee $L4Pk/_W#ɥt @|ö`iBBVSp|chQi\N65 t 7i-)ɭW*; 7=BCWxOgt:3` R% ?e:~!J+^$3%CTQ|ғηjFZ>IWB#tae.{et 5 mqu$RwBP 6"3Q8-OUS5:ՎV$F]2씍 F%i4ZXx40!mm)>imfud B)% OP*^s HYxa@LR9șݠ6敾s[2HhyNƥHEq34R]iշͯξ ?ʀaXibk|C땣o/<=?n )ىM^X 2j"6i( 6-@ T|,[Qm?1zJL4ƂdYRʜ}<b G>"RxDr ˾>*Si3Hµ:CI Yl| Jph 'WL%_;IT7Sk$/q` *Z{'/g(<H J9}Ƒ;# s.]M@ ǜM$ hX*?Bv`&VNT( #Dn_vЂyKVKQm;lwZDN~9']>A Ť"̐Og]DBHD9ŎVe I/2" 9g[X4.*#QyoQ8ѸlbN&BܸzAvDclӜy7MhhteRj:L}|!I$͟A'Q_r99=ȓOo˨M:X"+ZR+5 \űQW}~>#kt=Lثzm@Zѳ 3K\](&l3w.42i-6I/&ns1V_P=o֙pYGN:%ĩS'J;G|O\ I fTQ{ﭬED FtpCvŦ|~c"pfjǃXo3Cc/!BMn|P |-^T79-24eֹ1Xni=t6@q@232 6(cܟm!h |T~oY@QўA5.y֋2565AX n6X_by_ &SWqJ4 AʥV˯H5UY)fnΐ>j}l/i h6bXWH=]nN)sǁ/_~fK`+rYh)KvInXa)HvKAJH*vY"fuDp^ ߍYC-~95 *B5RԚa16IGdP<6ǺL^d1ѡRM->|E=[͞!C^hz!fduMdM?Gjд:7% Oq/X@+RlSuF֣̃o3"y4qW=O:Bsl߂>H.!V!HX3Ja_r-I9'ӗv.@̑ zjd(!ͩ9lO,RTMp@Y;SA8`xz;mσǐ%\ٌ  Sڃ4:؉ԫ4l/r԰S֍ 3iRT!c8}s&1G8~lݏhuY Lgjhژ=3DzpRyr h㗍Ncfv ;^4R/%G|`lR،򅸐˂P,XtO&+^+kNR:n__ʞn:>j۱T9ӕ|8Tu\&d W~vۚhDo4[XSNdHȶD?M(i 3ZH{lXI~գ7$F;ONkId+'Z.iԅ|/@TjwT6E}0?'r4O 3\9?ըQNv0tJ\-ʀ斲`t&>8v'ՠy!x۝Gȶ5ye(uld Z5ݔ|Qj,x ,Pٚ BNKfYT$@_M- [K|8 ([@#n,*.i7Dp,$A,u*)! o7LbZi% qdN { l_-o$LMmRKѼ>ūt}2ا䢳ŘFQ &O[%-5 nLrn@cu"]=i0v=A͑OӅSQ 5$s+ffHU4\0E6vg?\ylu,؎{3 5,P``Yݝp$@&NNѮ'AP iaߌITR_ݺp"eYIQ|A _b1o@7Zב"M^HY< ݉E0~x뾄h5րް .fjk9K]\J|[K#䆟H@;yʀ ]Kj%,nNNR3.. 5X/ڦ.ј>Z[{v+32ԑ`PM#_1C=FU`_- #]JKZ_`8 ڝ8+Xx#kw&#UUX0 h3 a3T).p#ڐOMRڔ2\*˶mƓ_ k o2Y+)1UVkolt/'mP.~:KFB OʜLE0',X-70|R̭$d36cD.=91%K2{nq[d\9l3tE T:GۦަУs39tM%Q M&aLF.$}6 7gEǐc"jݐHuaHT)lOĎ-U=J6eڱb빢,S`wQb@sP׳~|E̪a~sVi+i&*yMn)J{xPoEdBa#h6m.:UAl˦䚤<9BXX n!`͕.ƃHS(IȜA-EUywm/)B;F&c%D"n8-)%@j-%"5dg"CvtewD:fN!i߸!)#n8ek%5{ NͭAT(hp1gb[q4O V{qd _GtsdtDd4 3i֫\[Y˜S L UIL }b1jݿ=ڇV8j"º5%ug?|`ȷ\6:'I8wSu:BN!B7 ߪެ)>cm2uܞDvSy?9t\qyᆑ: ]"0BX p[@QIC$$t=.>P{p9"Є\ {ۉez4P[帩vX*"2M]nb|,_00^qg 1²A%m4U$(((~JaެyGSGVvkaU=#} &E paf3B\F2Ɋؠ':fߢ OFW?c)6Q%oD xc=(NՈ,zB[0ҨxN` !m1>$H@"x^@ĕf 7L Fw 8e.@#pU³r\1bUVmڱ(7_Y"B%Hd$j)߳EBI5PNtt@w2&s&mqVxy$p)hZ' uISӮd +&mR]B=sK)Tu? hKaN` $J.ƃԘpGZ092B<M-@$0 n@ð'jbK\{p]O6QL&K߂h;vIY4$c"t. |ZJm %>xiMM %U,`)\YnE]ic[L0=f 4οQv'bz ;tH2yOol(,@hŊ @ЪYܕ[0UuovY38d2nbؗ`۬ AǜA1Oom3O!˚~)N8:#Twe !/}C]}4k;8.TEƹǔ (O9``;1Z5ȝ.ud1fڝ{Qpx' tOB@6]o L|L$Đ60[?V$m;,D_ t< Bd _IA^ZP0o_#R56fXcC}{GWZ%+l1,=}z謥p>btZ}&LCy"y3P:;zdlǏ1V)UZl:aME6L.nǠ|N㚝gۨ\($ b"SXg&:K8<ˉEqJS2"ܧ̖`@?7gZEJ|վQH}tS%獞ㆈK6yOBTl/|Z~j\@_$ +Hs}S#쩃>EdϫW(I˿#ݩY2rR \S])tA"Pxy]EA@LxK<+_CFE~Ph,6ctx Bi>Q2 KSRԧ(X6by[ՔL* _źVfgko(^ 4*"#1_xiVq]ڱVD&26XξjTi7GKϜaJDj$qOCpVhu/ ɘO,B np )hjuo;]|%U#%o{XmO%Fbg ]* 1a sˠz=Ȗcj0SoEνU#E|}k:^2;:S*2 %Be۸ E@a3xA&'_#(OZ"ꏐXE*WϸOoiWqNRur_2T9St,?2ةkxcFguOXM2Ђ+Y{J ֣CSH撹R#'qCCSqw'8-B[T?8PM&/>^:StJ9snXsS#1%wpqkq12 ם۽m4ƊP0,>}C%V8 >3گ?{U6M0tQ`BqIHt R  !ѫ֏Y4^ST)e?HlWGUb3]찕YC;`ZC+f}|ۢML 菄VQAux?P=/'Aa( }&?R5|c*S9 :]q,ƷsCЩOf`Zb;@p- ekj)hRi;vHWGkoڗ ~ t2XpW< [ ! LkKE! Y?sGX˩>?ۋg/l69lmh@w@l$SeK?{1@_=gu .;lyez$>gmhԌ;E^sW"띅ǖ~RjI]Tʽ^me/9 s>#(RޮBv 5f@Vc&.19>ӕǯҏn$=$]Ux~ Qk{VS%;|c, 6*єp3z `!b_ JO7C-fĽVF_nu`U8K0f#ՠnZfS;/fJynB h]-:GukOSwiDF0\h;A7T;@x)P-+^_9]0Қ9D=G{=Rpp E!Dv[Z6r - ie5U%|;ʹ!q{B?q541[ J\FppE>΂3_Dqӽp ~ys1p'f[53"<-0d[[H"tlb a`C=GrT=#zNabˍ .0>M%eE5im Sg'.'䲊~ِbA$b4QDIoɟG~EL~> U;-%6ŗvqHudX`&/Úzȟ <p.ӅdkO=|8nD ZM:wLE9{!" 4obٽ E6x_}# Qlc,Eqetͣ3*+ɅH+M1sCt~u+xA ^|2 k%m_UN8 \zQb'io>Z-Bԛ€b?b͑CYSOe(Qyct1슭vAPCU3t|_:F&9اP32rlaۡ&{;"x Q'Wi4du*xtV]bW d ,.9,x9+WXL@#[3dB`m^V[բVQ9t|Q2[ EÎ_B4تV'< (u)t^|QaYوʅ^x&e:|4?TaiK h-5cuO0TL __n5I{9yx)z ?ʖ[vcIVAe:.%pXbY Eny]Lpz\Ű}=$ iowbEZpkdUX"Wn_x_(#0א%N5u2D ɂMkLD, /B԰ttNSqW* a> =); g^u * (R@.W>Wi7 s`" ?N.F"?PR0Ϊj9Ąe" E%#Z{ mn.8NSruܣ܉e,ôw*f+'hx?)y8l_Ek`H8<91㑆IQ uU`/zC ߂L%'?h:N=УMG+pۦpUs75lM'zشl ̢0&]:3ˬͼq1:O/UZĜ(87$g:<5? Ǚ4N, W4 F&ۀ\YMb_wLvD(_bջf^XgjŮͬN6;G_ k?eG1c yL, -%< {1|h h>mu`/i'Kۍ] OX>bdʈo/9U٤VSxTR$:G[f+ 㦴[&-pE 'mݜ9}+tp3zCUs]bQ]WUSo-eNJE-¥]ma8{ 0x X_3 H9Ӯ)*¤SE7XJȩɍ¹AIoSTiWl ID-('T:*- ٜ9WjL)Y5Qu?/P|;U҉ʫSﲉ0RͲÞExɈزVXAs%awEpDe< Ő]=:gRS<}-6-aCLt#wEi(4 m;QfOC]y͸zHf%?3ǩOn|Ӷ':ͫwJ/vn2Ӗi>nj3.~%lNC '֊\}&V-GG/ZWF_kr\ Yh#j|\d)𦩤 "wi]"WB\jVXM a}ϼeSRI<ͧ{S!ZsI-gr9Ί|FߘҥWZ#:M8t̥!}1z2G+ڳI- [ ~]#ݻ|CIĜI3@Oa[_P'?{#\BxS^?FJ.26QB}cnFeQ5NVkV1 6B*%0۹?yR<~D:5?U Om*OIHo֎ l8U WHۉhi1;ء`?--0Tkk1*o:Ŋue۰jAMvdzdœ)]L&l杹x|:-[l}_Cv;C ̜ad.EEKc1:&j֤N9C Q(]<+ dW`ƤYy]0iB,"Rtg W@p=YC|~)%e??QD\$Mei<,DZ~V;(%3VuQ2m;U xݚJU '/j,tGPTHqMK,(zPsf(gD=ou. Jnf߹Pz8@mkDkInY!& =puC lOJtX(6FQJ^r UH*dr!qXAʽc)ME?|E{Ϥ(Pʢ 3˧O|ag"ng]5F&D`ZqLlO-,n w`h4hkTTr-ai{}тraxW7F5=m)B܃n}8;sZij_CTz_3!?7x@JzX9njXQ6^n8@_A+~^PIy+SD`ƝNQL2fUH8^Gh q{:$jY {*w/"j j&X&r'#j;Ap)E~cJO͡IWq9L 8@٢gThm*;+f^t[f7zC-}\~f_* YxGij*#jđͱ2?pİ z.j s}qLO4!mkkyvz`⨘U4K1 z&P