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 M%$DL ]/]HOL-Analysis:threads=6elapsed=328.600cpu=1709.564gc=119.072factor=5.207zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`Xd#*~Dѣ2zgϣx* $m"2GPe rcbٕog#5/8Ú2qc+B-:JA K'h?d(g/qSKC==ejti'J}mjX/8cķaV;wf/ d}%/E 9m隇 K\FTE##YӲ;e % HOL-Analysis   ]Ȥ5e?Tb_:nw1r!UN+..j_%_d@ u$r&5 <Տ'm$̶֯Je@$wqԂE)HFj_,0Ƈf[{!SWxV]}A aTGHMR tSGP幀398+p-d+ROm>=&Qt@zJ降&d ` a8uaOTd>iBrCo܍V/gW"ԇoK,;q|b7$i$K@/ h}6wg ?qf3+R3e^3\NX*^ؕEF QLDd}/J:pd ]Ξ[0;_P|ױ6dA=SI[t2CH1.bsoQRpIՄGk]@^6T739{>"̠d@0w@sHttl!؁ v b6O%>>-0N wY]@ 16$xH@¾X#`h"'y?SħBs`2דjҀ65Z]F03OP-lYֻD7F_uV' 韼;w1N '+,KRA,#nC}L^[ ׎{5X.WqUPsӉd'bFOn>t蓦P{P=?ۿ5M6| mdumj|5 +N$"Փ&iU:eIm63hTI@9cp L,Qilc0sPjop _3gA3,$āk}xq!S@CcOop7s8_ݣ Wg\ar*iYs{n4IFA/c)١vwCSfC#:b1OVTՏ!ljW9Εpi`(+O"xN7*xkjT&4Wڍh ^e: Nо C}o9١vU1;ُf޲(_ ,cCVLleF'.^2sr@VVj_G iE3S#$9>-,bI;I~.ٮ!7lƒ]mΏfuٿF( aߕO^\MJ4$ ݇}EU(~j\-<)U@TMWXq^1zպC.= ~5 X8y^y. BX[.6gJNϢ%\l%d5y|^Y о0:D QI2بzem|n5)f=GH}%~,zPƵ cO^odAǍ%B3uD+. OQYWRbH\^Gy]YS㮢tB5ur1>,qÅzdR G01u2؃v=2N*Bۥֱy{byYK[(^qҧ'}!5BZ[/"7ZB sg@نpa I,冎C)Y>jC/c3jX?//#]8a$0 `] w4p=hLvGqы**6A"<;x֣l̦ ЂYP]nT޾4+̀ԻCJ4}ogh? xԲQz p81E8KJ#\va*5?9 r휩a#g $R]݂ D'Qz*vmޠLލ}kc?wZE v ~ScC iPZ(>[3Sz]{<:C}?m^A;n(SL:Zzb >~vE +cjnJG $v.nܜwaeДm;1 h[B3>رEU> +,܋a wgQF"t:K`LsLm|d) q{H;Od1Tp8[%3Jиh> ȷbld.$ܾo]`3x”v̗ݕkFc6l_~>0-Q<'B WF|K-?3EBnx.X,Ԫt3Cq*ۅҺġ&Ō4ݔ;omOvBfZ$FidlU ,8=T > ]_SeZUiR]+%ODEIɺ&6qEQSx?A"ؐ]QNPG0S6B>,~ƂH"D <܄-@{AfdZ/AB.X랷\ ;/_jũbjlKx\u8 Yd ^Pԅz ܩ'Hc̾spdOeoE{/̄[!@8fIخ>#VXm7㔲Ղ#/=8v3"6%u>af3C)6ݿS506z3H=`^qVz2$]:t?p]p͜y&}nq.Rlnrc=eM|Ƭ]qh0r"ƫ5+aY!`5}džMb!d޿⭿d/݀\Ql.r&>ï!5tAjcERHWj:-0xc#Q]&ߵ D/]_<#Z`LqyO{e 69P.l9e&h}zv8E7ú)Ʉ֥XgRz^ОlԵ QNGL0mɖ5z!?'3%N< @zNHuUTù%%̈[S֎J,՘?gVLz}E[75jo! R! U~R%nX,."z2Ox<뭮' PE U+e>e87z-UWJ\^! _pYZ|̰4;;Vau xK4ꄽeU-D?4w2\̨r4rOU8d>lf5@Az+DøUT)@bt[eJ"Y 2BYqQw'6.|~1@%C $. (>xݸìvg \~y-Ͽi MV12fTԔ9U#9X-u>{h_;W]?,#Tō_FN'roP_1 L)a1B$q}AP&+8THʆRd.$tXgt9 RMLcDge 8icOUv'Y3w-;U $v@N(2-u_wMƢ7~PJ?nG uMDMލU氫-[~ɰ&/_"I_e3йK8#7vѓش+;mO"-*rlF[x MK?^cwkHZ6OX.P0b@_MvvJ\D|!rZoiU5 q ՙoyp. t{`q˜ `VKyXG6+}i%ܔh\t- Ws2wƇ"?I)t%< 4s"iyQvhq2:2,ps5 Zs߉oWEC*28Aa_;|0i"1j}ɥGJJ&=s>B~ ڤ~~VL]?ewZ7 o`*oSPk–2)#_,ZJs%Lvws1V,'ܒ;Cn%۠#ueİl;Mu5,F 9._yߍ?س07bȃZp ';g+r \CtQ ^y D, [ƫR~/ܻ'1̈uԟE shqapX[)`x.w;ƒ+NW'qbj򶺪rO8mD:,V; n;e/9R /ƄqtzfL f4CrQRTi0ȐI@xz*ȖVp)tϸ~ZcMd3Gz;Aoyh}g<'W(ǯ: ߟƨt\CꏀZzK z xgNֈZ7']'sZuZ@+X-uH`ZuS;p<xFWƲ3 i ?HKwmp\*aoAWf8e:ñp[. a0bŤB!Aː"Cy:>KK)ɯ,mt2)`6? PD\m=O fwvxN B#w@ÚopOYSS6_W틃1\c ҬoxV3E]₧0(u`Tޢk`]Jϸ Kc1!8M-yZ±EbS.ʻh+_գUOXALf&A?5/L zC_0 >NaqIXrd_8N&᜶:y+EMKd&(<8ʵH~@wM*p4/}<ϫMx=`q1nlцvmg6=ʼ޺t,fCbψ&)EpY-wsJRI 6w3Ik, 9.>rQ/h=,ٲY}F7 / Ę.4<3mlO/lܬHN?!>!Yg5`k$vUCHH|nsn]X8ؐo; G&{iZ)J,Awa+ Zۭiojw;`tQdDr7Ue `kbL+hޫ $#KB B s~ʩZU;XqjF&|kɖO9_g.TPY溳*&m%=fy=?A ?ޓ~<' \?gqm:֯(;tΓ?I넇q+1)@Zr|n%-#ͤxDButm'T 1.%ʔt7LN7׭d9Ƅ]Et 5`#ߖ( [a U,_dو4Kz- sjW.Ko:1 gdGI0G&6 5`.عNXB(C{a FX4-ҕPgWu?쀕2c"P \RNwiu=m qmo:C3ԋ S6SFKɷVo2mu"q,@GKqs[N,ʸu'L!{qyKF}2[ܲK5c"`M̒. /;ϣעܥOՈ)8j%3]|JQ̤B.]H1EH&δV \h3&7`iwg-N{6E:n]DC8v\m!u椐CWl@o1}D̤~gk@ySTP~Ou?)L ,I._Nwiss1$ >E_♍|7J?g{Ҿ :ULy*L Xm[< c#9ܚI9hhȋH9oXFEA_uLPiM D/~W;MG Q}"`"v1Jh5E<6Eh:]=?]vp, HVes'Me{#ƻGzaMWMR^D.rx+y6wz {W 4k+w+O[Xx.) LuX:wk&$qk1Ni8(U?`1khN`QZQBN U< ƯWpj6j^;'8D&L*7mF &|G ؏ċYN!~ХgNܶTRKzẺST"j%@]eI\ٓ0mOj_ywƐ^:~b1{l` 0SXc0SWIҌݱ,.^OÏUt3_)ᤇBQT nr"ztD[2%hLGwz z'<3ݸ#E2 ֮'y:Yo1@D%%g?~1W~f6 VZr"[ZQ묿b`TIڀfph23`B-1FF]|1Ό]CL-Ge2;D'·H)I5DDze[Ե6辭V4OψGQ=byCAitj'xPO DEؿKGص%)_}~8r*t,]gy:*\ .BejG{0 dಒ\ v=yw|TF|?ک!R8536E˴*j IagR,z6Ao_s̈U2?*P6^Ho ?})l)6H˜w* &+yJJA˓UEL#ٻa:Rk>UVuLސ?29;XVԢDa2>="epnV ʓZۚ;&:&T3h)IV%Ba,a;E~QDİH4ěimzƱܧM0QX[md|9Hk,C}5x&"\-$Bm ߻MU^"s4uS'|Ŕե"@V- `CBPIa\o}{'mͱ tVճWPO.XfK vb 爞;1%12e4hVЛE pǬX(T"M h2 &j4=%F@'T)?CEtxKoY"|`V'6W W߁FN'GHqRq.==p-aht-‰RE>K(3 a$utypW;03}> l gBƽ06_Cko FP7u]UHP Wɂbuӷu,Q_!0yʤ@>q_O ̑R]2_*^s̼HJ3.ϳ0$~;w# " n۲[r ʭJW7&%ojPTAQRnHT5XXsoҍ=#toxrv3)VEfۄBp/4z%8dk~A* 9"dԩo=HPh0۱oqLf?A\G._R&+2Zz煠 n؝w 77².Za_`|U_*7 K8ɚvTZߘoX@?֔F&( 1{<%EOnUY-1B~""?8Q noVi,@ { .Yroc0-!T,8'tn7/Zb y]GՐF3D#S_udJxGvY+;u~o(b10`/VVF~58pp5ã}!n3ZrrT1L 8pRLحP撬%_"}a U#&S,[4QlS\C5͙z_p-* }0#hPU"v"XJ46.% v^;](KE|2u\K,,VjHO=O}ajh`EzxmH]T GuɺwCHaQbesdk 0KQ;X]YUgj3? @Ack/vB= Fj{Mَ 3cd;.c5֎F4 h"?KIG^޳N`6ش#dg%#+T="5exzPXYNJG * |.JM M [nNA sg6 ̣VL_ioG-)=0"ƠQl 63B2̧Izw.$\P ooFNB5fÍNO[Itδn񿉧:z!U3Us;"vI@J&-ˀg]:R˙C ,- sɟ}|[! '.GXnYA>u] "!WH/%Ƈ?}&Ry-oaae/z2,r'\`mA`)Es[!v9N<,ȎR~bcwL?KA]V W j)z,J76t}w]ꤪ\X;7dy"&;S\T*s+mip[  Z:NW|aw00D$ V cٜ/Yz0GXD҉K9jE@^̪ykRx^=K{le@6&%RFlLS"(ШR ٱsteP7SҜLh|)tҠxx8 l߷->掂<J^ssj8ԊK͞XyvznZ cY  $KMAX|払Բ}L?u*1Ad]"w5mPڃ!Ԭ 1сv,ΒM kEm ܿK@zZVi<jXjn_p<) TR U o[2' Jq2!]GeѴ-_1+7ί+])1x׶K ,wK/;7P|gӌR/" [~ pUodOoV1^&T5]>xz>SCƢc8#03}8`)G\|l|tDqd)M)>RSA0žvĬQ+KY> fϫo5p-- n1ŵŕYҜ<ƱaodCm9X˕A 0@ u=XR|1еAI+ɮ:kxS1 mg{1?<^"C{D dZ0+jyp㭬@: Ijf`9{oʰ--3, +P?"?rk`55fпE::.:a# @KSmD3E$%j*'0vi;1fΦ`UTMs"^pݠ JAivZE`uVo[L2Z~Fmr=;5WRHT<7'z&E@>|7ؑle̬r$}*}Pp#_s~WI1y8~v'htiC_Ҝa ]}%08(\?.F_B7 %6@PIN#( V O IJge/ADJPU%r~"d˞[ME8ͷ:K-[#ATS^v*}P[k{cɾњ.l?ndߎAh^ǥ׋Q{5ذ4G23aUF;s Lf-W#$U= 5P~w P#b٣rWe2UZ_4\bp^ R#.wmp>8MnzOGV&)mqs.Â48`#"R != ؆!o\8-}iH ˩*"e9OSmL!$EqߒYZ +yܩǘ WxkKrƵ7}Z,3gHAER[C.Rf0J T4jlH2 m@<] ,vL8̮$F طԯdR ;cg p+pKmk@im]Pmbnexi!<T20 Ѩk.uw͐20Nt+DlNoDw Dʴ!j_iIw-*2e-;Ȝ#4XS0I۳qqy$7\Ir K9޾ng>zWAOʆZ!^t<Vvy)׈IQ)z~Xo!yՁF>!U] -0T(@NjB?()J=b,QiZo=3 "w eh#R?k2<;hUֵ6RX#%^.PxUB/01$ҶKX۾wY =bi4C\?!0 <Lfc ;zxR;HL,e>?UzˡoF2YYz(#1u s:HIH*%;G ?g0] ;Q$|ݎZ-pVro{!CkTswomu Cbu27\A7&}Iw8hp(Rm7^i_Z>1>zuIܴ.UBgs7NjRq\'$Y>kcŢnSaE6V\M.ᶅC!%.3!cj?!LƷ%#>hV/;k"vt|jؒ-ؙ 8JmyFJXLM54B:  tB4e~sّ`yUxGrn@v^}P+O{NR@azi u; CHS)_D)Gc|jn|g"r.!a]l7>vgGBSpZg%kyS/;=:6\?T20NeZD?ͳMD|{AY/I#k38ά S9(caP0y0Ld!Pך[xM=&kw(TZ} <>ٿ[Q,k0(IJTy>4A* PvHiנC}LEG 6aG>|?zF7GߍZpbI`d^Z%^_ L%{F3UknmFT@Ͻ&!Hpݏ g OɖٲjR\|@\xMQqe`u- J0EWZ&sSF'["8 ,D 6RKќM-/A7;+$ln8f'ILnoYo~>ڣE"s`1uKݦ 9$FZv9ڷicK" Ik~d/rݽ%B=X僄{y#'g+691k.yѭkJa_EKPT-%ఋ4f"k7&LYEu}_`#/|+X7D:IG%uqDThl͒!٬:b<5m:,3W o6 W͒FtpaD2hhuq''ܥ}#F`uA"yԱWbiqW /A_OӅ,:4WpۿK#\Ѡ d$ǹgN!u}a:^2my ])ŏ<ˠ1z+אm\HPDu QsyIɺGo T+k@jRġ$uUR)?tU&>q7ho7meILVamך$\>jYdV+be?ē9A;ӚVzpCA=}7!TdZK=/>]2d'|pk?Vg*6:mZ\5,!WyU4ߝS%tj{,f ng%ݣR>St4Ŀ!l7 lWO]|%lzy@#zv?S#M4ϒ\ޅZ!*wyB''Ϣ*"Q2Dz9ntUǛ(/HB|C2 %dclNTuӂFځ**hnw qx"Do)9œd׀ᘺ?p^7CcN&6HQѡ tQ4e]fO,>%f~Y.ᵑP"3fu ~ vxYħUٹs,|H\Kiu-s$iNu6/,dߴBŹBB1.I(WirPSMBF E[^ :\?oPwPQ^$!RD!ԅ182X}f\{'sIM  սĚWTkwdzd@ E$W I(k"C.'~:Zަt#J8k@Q8Q0bw MC\*P)KI{+QW3m[vq8J؝FG]N(5fw1S/?5Yϯ~Px`H}QƦdY" Ak-26%DUK'5T|PE?wqAgy:[>o!B1qO < 6b>=1~2*|\ O8Ẃ@/|T@s:ce2U9CwZ!1ۈ>73'KyvG_i՛<6AtyW ~_mddIN4sk| 1r+6{ל 1"_އc6*{9NquwGa z<޸5q HOqhթ 4UfR`Q"qL:i,h ''V?*jA($txG* wc̦x6G/iWɋ=ct@0V( m C)ΏIΌ(U] \Y҇O)=6rtr/]Ej7pC`~HC-''rkn*͍_;) [AWV eLwVvZs>rS/0c2|Mo:ș:I;Y ˂F6J5t܆!^;1LR2@pImsp9/HfCbT=~M<]dpNs] hL>7b(UbZp6؇>=++2"aDMy01sbPW˲DuhShƹyo)$,.^4.>.l615 <8i;sHST_~a`?34ai.'m/ڠX.hԭuLӽCA!2Ej͟]P#a'&nP2 qЉU' 3^3DK%2.8Hkf\؊829YILV5{^gE.gos %7,r&5pkusbu/$1tdX`4laY΋׶H2‘x)_jsХA:F-e(;-M囄Ί0&)ϳVESO' &T%_żtL | Ż=^.{(-2ŭ~*KZ &U:x(6gZSiqQX,oؘjH7OR_y{t R4QNcsW هQY5J!|ٝ'l"y*̓ "YGdňh\fxOFiモpjR󊗗~CTTHGk[z~d{<KӲ0?8s](׊R8!B `Hu8vnCmEգ`fjE wSBxA(%bPS~Zh򧎺Oqz/N`@*ܜX";2<`{y{Bf.uEG=(HVϴY?poaNײ|o=KHіJ!m"<̾][ 7xT+i5O< B/VF퀃0ΤLA{lJJ#E)uX{}%=k/7,Xж7 e iJ[QOkT~)Bq+P=qLdH!X5y*3S/׈*ش<I4y{z|YFzퟤƺqzp{o|Ft8.i_30f#2;lK(Oo"vFP<5md@O?R:tsڞkxtvhп%9: 8ke7f~*.-6˲wOwP}ՖL\?~b;D6@5Зhy_+qS`^;|K*]EZ,>R? ?ꢧ铆C@<ڡޟ}Ti˨*Wsa/]6*}]_LYhJCƦ)rBe D:K[?On7lG>xoܽ4/Q٭ܠ_EPaSTŠP/@RX"hh_^[@Gɥ1͆,l9-;2-#=JfJd+aq^W [SXlBl6ʓM*U N8nl"Ũgwco_1Q!|\WՇExr5z5yfݞeZ/;z%Yna PrڍLgjklᰩtw'+˳ i"c鑧V6T.Q[.۞~e-x"Pg5a'shQ^:|}|A"݋oAU9a- b6F8s"z~.QcLVoMOa`Sdk\*ϜEG2j+x:^+ZQ3lsڠ~@c^\8٬$Xy/H,/u#bU:*6qw$Ll<=35ɇ(0ٓV6;fyԺ7^k-X0o gaf^J.A+{Z } Їw3LOqo_P~:"11ӺOJ7ݳG&(N$Zq_|OR{(X)pٔsq9 όFᛮwn5S^!fPm4OgYZ7zXZִF! p`]ŗXi%J`5X fD̩ǰ54$wOb焮e+k&b8<-*澸SD('| R94 iGq.!} f xY@(U.2&C#RH?I ,~ɯKxe.C%мUo5cck{ bs#ʗҨc/ʏULRib: 3Q B;JR,Al`iZwm'yK&p."rsH *L2|J\Sn-A/=_pL*{%ٓ& y,9j׏o !jျ[FkL/K|4!`E+[oR$i ^4Bk}IjoGd~nX-BNnPSW߸^Xmy~m }ꌚ$QIn(,6OƏx .7l7V̹ʷVt:ZK@`j[Σxf;Y3w'yf%mۜb,bML4 0GlaP LףHZ[Ӛ2Un<&lxIt4*$f,BhIo6ճ38'ĉ3ye: vNܺ*Xxz}N|SDIFCa-~#D~4@:;sl7Ƨ1 J KfxLӔ9V7ˬ^U*(݆90hZ9p~8`@TI ~h3H"u>,I-0ۯ* g]2Dz .cD%F)& a06e w/!oo xbۉg‘G/) |Bev"? fW vK!ԇnB=H sE e()́;{@xp|)QZcPNƻl.'#IηK2*}k37@$ha,T B&-Bl`,%UMKP0[u;FӤl whLB{sl%_E r?Lc䷷@P$D; ~Reˁ 1{ϕa &`w]LnYm/2h;r * hm50]3&}Nr8=>Zߓ8ҥuR`4iqvXʪ^MR}{'R+>{2z \? -.z]c H]ffVMFfVMk*+,u:MH`Uet~ye:엗dp|u a>" jΚ ԛBaԜթ2l[n1 ᙛEJ/mvLYҏ.2XMwx`V @Ǵf!6b3ŐU9PFOL`?cw+`# Tog$ԕW[aq/|m?=C^5|:rȇ'xCE$O[QIGU--bN,JspeZ,.\׼LTbWz X[ySCӠV~ơ]#`wo܌WtX?L+ V&(_X'~5ߏ"HȜ,_qށ2\,lVx>ڛA:Įl K ;@Fe‡"궙I WφŜm~Sri*c=f|'>j B@van2nD)H|α X9kh3w=<)0 Q68l&3OR|g'YA.˺QsMG\g 枍".j>9KZH˘  L 󃈧ޗl7J_:!t}?pں#!#Jyu65vc: O7︮S[Wmx @Hi}z3Pl\ER/:y_#,+sDg}Eo~Em=.;%ȭ!6KGK} (J7z'2֑VG7oGåKNJY^Hʉ]u_;Մ7Ad ȆN0 79&Dfs'/ܡjA'y/N?=շzOdO}al dٟ8H"i~6 (>696 3 {D-ʷg"šcs]!>[s@W~>ҵ,se'(T֯{p9/N)Q2 ȏEkjސ\~ g5 @CS%*Oh0&`jHdx¨ї&)bE#/JWʢ?K-Xؑ[YСV(%R~6 4CnhO+Pb D1v! wtu JxwH Eg%ES~ Z-ؒSy{RwO=( k(a[m]t<AJP;v` #9F2”懲btKpW&SOjY^Ԇ\ly*1y ƹvs$}[CiDm%<%Cd|dIW215<.[ܕB6A84]~:쩚Tzj2C,hUP#:-z}-YJUh+j"ZI ڦr;YgRse@ sFrS3__P1IZjĐMjE &ICfY3Bc[sci wIGD;+bg`v>edՈk7W!Dzc/ygg1<ðg =MJ;Qɽiܞ7-x!H$F?rfT+4s$n.}T ;_q~/ģC)+é R=K\IT!,+͸6ac8j{d/; EHzx; >|xO{oJʮ__x=^Η5yP-lOcm>͋tt5`fM+I%zWC 9R;vġK7tbzbiUnH6p!( ex@xJ9FLX6clJPSv.LǤ*ꆑ,:821al݀:- K&f~bhٲy>JU)_j)v6SޜKF(,$PQ8)V'`1, &>PoJk=ieFWI Ǘ"'wN)ގ%+Zy[~S 8\Lb!᭡=R|aj=?NjeDz ~j xLB3R S !޾,Pp|NA{F,"/A[r)::Qӭjo㡊hCjBDǯԹٓlQ4^PKۣ{ȴIo>Tzxb;23G N=V#~@+Izܘe_q7TPThy(0#4}c.F\Qn͘8#ܜ#$#qA}ŸNM{8g|[]XMe;4AaMc?'Ipn%tqOcBٜng\ 쑉C~ț]<<+kvWa(8n>z=I=sdz_+0La?BYS f4Mv?g(87T rxj* }'B*\PwsЛ ݟx- < 5/(a?>(Q!40鎂Bhi \&mDf8hkU:"zd򜡿p?<&6DfۖѨ 1~bB>:M j\!+iJS92'B3%QXo= q#jIjVM¾s1xPCaږJL}+G|PPAֺQ[_{Gq|_ެo<}..;/'c?[ZHDc3pǃ\c,lLIs'ĥX]̷RS? kByό=Ͱ>lr :â#g6hɓ$id:ڂaTc~m/bN+,㹂/ #zK<~6~Sv: *ZW1B~/QJHB>4Tv5J9V|U=_f0u)#d\lU)Uf6:S)'D':pevS+j $o{ /nQ5r{"!cv8l XFkU;6nLT fާ@`!HU46kll`㌅wpŷwo#J[h6z+4!&D-[3BJYNEڭ^R' /+Qªtx0S?ֶ|bYf 7 ,5-?W:Tƌ?fYk>/ ϪDYN08C҄g^c(}Y*Mi\`ʢi6uKIT r4٘Җ3 v  boz#reny|uѸ 9*},L2='+0ϱ< ӽY}Z u\3QKsA˥g< >yJ:9KSdr1rO6ވ؜`|3%m,]׏vI2 ^jy~θgͤW6Y˶!.uzhЫby|Pg3P}Xf t#1xX>7=kv#WQ4/{Ha0gpµck*o內"cĻ" rcO܀clstf6f\)wZ(:sd2Yʔm?Oϋ~(ю5!u>DRCKX4ՏE6p>ŰVvb*E}<ɷq' `%IS廕hJR 8iٍj+#qx rѠRPlO^ɵ%))whϴ\עI~ w"L[aM a5 vg+,'f*[dgKP *J ^vsRoe}gpo2!R.bW RFZ^3=ʂ~f+»Z=Dʹ4g(jKpfd[-3 >;Cum}7j@76"~ӾkW{s&q8O0G/ZoI R.R$||*Zcȡ7D$S?@6ڶCԌtZGU%72}S6Ɇk (JTV ,N7w7:? |1WBI`X X$=C|xԬ5M|iiBТBޛDz1LdVs@)>ޖ)q$=Fsל5SIkyЧ݆9lB{7?w9BEባbS)i)!{ژ fQ/9!~[Yf[,;%,F=j; /ˀ)no-As~wc%D5`fɵ;y3i0b_)ÕpTi"tbUؘc7p/<]+"jaL:!ez ހ?⥝<*$Qn iIοHDS~Ԭ: ~,߇\kOݔF-()cmm,3“VyYa9%. yO#Z׾b4`NvZLd{Ԃ w»?>گp_%p sJ-LpmS)Z48JHEee4PyS@<ꭣ6Z ɣD5Za TWʠXcnlŜ#L5flNkG1a1pNyUhS{!QلnꏇL|݊ ͢ 0 M ~zcŹ\|h(jo7#gV8L[F85nj/cwJ7uƄL?.}9a٥ 'Lc !9$ڥ@w>YXtPQ Kq)Wtl| ZϏ`=CtV&x%M`">U.]?˜شo5ҝ7ϖSk3!QOr!׆u@ ,C~plݗeKe|z0Co|ؑ ~caL )zCĘe`YPЋut* uL wg3207k͉.nPՍ'4)p_y6pVz|*Nΐh_c8V=}[(i#.6#w١L*s%3ձ n빁&ރ pWP D};K1^|;>س:v!W@">0*^M*H\sz%7N7۪&?ȹ=^ .x< "aqT,#3Ζu^>ZืV)( (Ph8 ,B-Mk7mOg?W/nLkx1f=u 'crۍ}Q.[RsX} o<˨IsY/_µuب{?RXXza_}`C)ӗ((jn!'jۻɬN_z2%n ENrʞ|l]@:XH jhيUNb|Ųk1&Kux DIA_G/vN3 q-eW8e+c̈́~%%;;Q'0 J-]@ur#ղ6vSbNΦ cT5cg$ iSDe(Q)ǚ:dӠLۤp휕UŃCydAbDςE<1҃#Qxr>׿Ӫ0/%e}{(sKsŽIklīBWﺇ>X}/K򬵉3yl'<7xayafLN85M 2&o|I FE (χ9Jd)_GKD/RO Wl:|ṍTDC}A"DX |ϐdJ9SZ.9AMͺBy}JdLEإ;үhVcG^k?r .)ͯ[vj3CQ EW=LpILsKVg$^Pd^Q֔288Hک"m ?%;gqU&:κ Dzq${QR9s),3cQ9! kI^U n{wf<= kqT z$=m`!\Y/-?6),闈RUo> L/+~jY\Q[_sM7y7<ͺBbZiYF|@6_5 Ouc_2|@XǕ>"%>aCIX'w-ZMKOxJNL2jTY 78kYۓiN 9Ç&)4 KM< $Ҙ9U[3ȣLD=Ǖ2cf7\療=t'{@R/'!QiҴIx5w+q_sɡ\a :(_H 5moYHǘ?᤽}WHl6tG9{P&5v~XNr~w0G1Qꟍ׆4Lb4+xz-@'W~2 .q)SKyS&&3YtwEEMtL@9uu׶x4O)6ؽ(}z7<>텭9Wlҧm+0ʹG͉7ش`^L\%ղCý~ʳJQWY$'yT+T֩ R%)}"ۇH7R&7HunU@xl֏. ,#vM&XbhXq>M'={ J^ߘEU'ԇVgqi[ 4NR "a2ȍfh#4GY4" ,f>Ξ`މT'}&2=)tba!C?%"tu[ax+}L /p꾕c*t6LZy,]PɋɛhPZQ܉>j;8n ^A,/!SFG~`'ڨm3$kR j38pgP:=6&48TKܭsfi&Ʒc"k^QJ9ʗ`-ivm_N4#ZS,UUe si?qʘ-{Bs = Jwͣz$2Xo»鯵>܎{F;k8]|Ulhќ! {ޠb7nDq)Qdޒͪ{=Ɗ ~^/.92@~J$V͚,VYS!˂Ra(T$J#]v}^yKwUw_H=_)}' "X`6 ǽY59cO/w#5/Ψi, ٯCrS[5-E*/+n MnG'HMMZIpő>hPVЭ2MB4 6 a[.;%rZJŦ*+E=EB<_`VyROJdCAn6eL:ą^: zyF7B$s=Yqf8\O ΫRT3 I KˑX`ǒD-:[ZIY(0..vPV8v3R,*cT|ݕ|2O"g] ϣMPE CdM}ؾY0}<;2($EsTѲ“`BjkP]ě=믈WiEN"UQJw GJ˗$rߎS{Mf8H٨+b.wl':z|bJ @mI'X0Ow-!7G L3=f\ )oǭˎ~Y|f+j.b[??ڮ{c΁3ӷ ' c)%pGS6R-@j+_ŝRztyX%a;` (-Rz$FMQdF˄] .+l8?F(zQ5k!יMb &nI āTH0ÌM`]9/$W-Ym>h hB41sVЧH'r&a,rn\LcږM7h\(:'Nկ,wүsRBNP²Y:\`/T㏒y|naxμ/N͵`9!&rds4-'aC$*g\V@TS!7#(skPE ?nM)騲|+yd|F ;ށZ>AP]׹ӆ}d`5 &o0u9NzI5}³eWj`ȊSOa71ynLJE \m0T o4;Qk-(\߇dٷ+4m^:S$m`R `3o7/hN3L?S+ ]jSF:8P|yG{lPZ{P`@9-D|ϻ y I+#C+4䗈(t/'QK SJnVLR_cmy>K3Do>_)F Z Uڤ-JRCd$ #M6 QC*4E}*ɯe_tU>Iix$R?2/yjo)=a#h̃ODdN4D_$?O1&iV2K~/e=kFVzwr\b!W̓CIC7&e'}0 WbR}_j-CgEiUϽCl)د[)1FoN?s0a= 4: Ǒ+];DрU]-g|A@W8d hɣaYl ͢})>Ù@aŅqc 5m7\?UL#؟%`gM+eܮH6iJTO#~/?ƺ"#{M0;D-ץskd6JMLuAcYSv[tC7H3vԿi,tn<8 : sxe cj EAM`sy5WWX/ %1&zY\H)-88v&ru&T̠-Nr_iaGC7q4p 6PM+2k.Ճz/$]@bx&ZrNqVz  cyv%k%eʭj&TEˌi_aƆ[i սՑ.f8\%y-2, " Rq:gr۞swџx!~Fj+m-SO{L.r1iwDlWrG`qw|~ꉕP(R1'S,WV͘Vd`$!UL 珝gJgsYNs5FI@9*`ewVPMx3}޹7{hP jZ2 A'F ؆.=\Dİ"( noڔ6&[19f7]jm1ær iZLǚ uu|e%oF@NpI ǣu) S6uL :dPIߴ冱g<\0GUgݜht,qq*]f ^ 8%i!3!< ""0*'X qՏ96Ȭr.U^_(m I}LǘuƲaP'ĈQOSuD{vTY50EV|@K֎Z[QòK^@>%^sE)x 셿vsx pHN[>R҃zsvf~4Jo')m]/C3bVWFPY7HlNXy2 *_9Zbzdȭa*(SW7GH4ɚt@tALHZ[,X&ax&ӁUORc2j㺵nkی3^nB=$U)f?--M|84}a5MqdwR&m#Ew59] ڙd{v~#aqps~7"Qe/q2G9ꉤ%vSWZs}ޓUPTvHuo|7-׮NzJ*lOy|q sXWy56 G C$9r$D>Z=bh{ $nfy$!')j/X ]& ƙ,vui-먆f\'CebQݔ7gB}>A>gݢ[%pH\ EY%wylQ|H 8=RBX!hh1Kw ]nh[I\7v+6~t! (\pb Q 90 C5[vcw@K3V6@^Ca `;?U`YWKim5''K<Gj"78:D8Xk)#Y_b|9a M V. {NNn֐ȫjHx7:M a-K)yӉo_r0+8؝7p VuTyH{`,Y& U%~hZ41FA& e6 [ mQ4b;ҾNPo9^9e 5 cIHx sJ N^,yCgC"m)c,R?k"< *m4Li"N ({vBjf#lX\w QLOԻlOREkݸ7jҺxԁh (~*L4qhPi{RG|>!vaV0HyD kaeٹF=?cjvش.rhNR2ҭ@ DϮpsgCqTkÒ2| ROoʍE%F_t|4}d`oϧMx]X햏9Tl 3P3)WHu iALLAíW|;%¾:']٩*J><4DQb`naubx-⌕'K }oizkGjE^K`54s9 U1@a1KU_M 3j >w5W,G 'ufnP4"|;):tqvBpQ씬+\J=spr*LSno>,947vr|)SZR*#QrNkHp6&9P*bEa!x+iN'GR2 $0X<l4FV-)Kΐ]!?_͘ %4UCu]k<,2} V@Ydz9搥VC`Hy6(uixo?83PT*B%nZcUQs`_Ϝoj>;h u{Q)p`5wjyJx֧)o&/_J-EIc]~w,Ri -³#B |y`N/v H kk`c?@ k<4XPYQ rb |"bwʹ{cCT嵓t rȂfaIUY[yhgPZ [9DBJ]5j$MNIK1)ӽrY[ZJ2x<Τ@Ո"+9 ʰx)d,!Xx%*mz[tp& I ocڒiO18?ITH#ZqYNx/n!'ǛVXK55G S{ܣ$ub<9v ,~M \$^. Y#&@{."<5o7$=VyxI;9#ċ.KtO9=&1cR~,qw2.GVkN@n8o!Kc%~r@|LٷfHQ/$z)cFA ;ECx)x6'3';pY!y7S)>̓LY:ԍKi FjWAz?AK]T&0ӝbY-?T;DMTz8n گ*5l)%n7ߎJc1c-UK.Is-1N5ܾ~zj jrq^5vhWָİAFqa/k衻VJ95xǁM-QN_vmY-Vzf\ ޓ+_T2K9T>Â\,49'Okmg.|qaZ$[@hg!Z-ݡb*m9i)7#fcE۫,.x%(6)OnA`'[/vZ@*[ $g .6(\=EF ݫ*\p(gaR;OJ焛gD|I@ ,;eI% mv8.mGPꃲbƉ2)ï) =cѧRi@ ;{5A"QASS\CK+3&{6qсk;$3+AU0bE,ܭ͈9lnVNu}>rؿR{6R<6d?@ Iz_8dMt8蕞fJ+Ջq:Χicy0 1n_J%26!d( 'i8^ֽ9z1.2+4_&bP_Kf(+T _gR<ܳ`'.㱫x%L/vGVuz»w~Yo .!0O= Ǭ%8j͢]BN&2m;&Á6}gzP(x)CJX훥[Dv4Qs>x*U"g%>q Tp|ޤ8``G4VQת&̖v9; E0S?oU(^pm7 q⥝.:P?s-nr@F&U%:.C.ˆXM?GS.%;$&u\m^z N6$QaApjB3lrvhVd]l~ UxEc; ޞ=9@{(63CJԱ`灖M%UX|uBFV\KID-=]Jrz/h=:E֤ E*ޠ 1V.x,1$f otE Pk!)36dY/:RE\/飝y9–QHGr9IhllW' 1V\_4 !o @,f!Dž ߐI%q7'd:`Dm(w߯~G`VZ/Dᄗ;NtM-g0_)R#P_{ɟ|Eo< &4LRUѨ_le>G|]k|RqO?Z(\ 2si~_Z倌I$1hB3).MٲHJm?|&Aj E>C83a[ng@ݙXCRKTt$siH?bD.<9=( QȿK/2`vntKFO=Ab-;y }ce~ ^='%c%!^ʜu>b;$Dt8zҭᖛjY㰻9DMF*v\f>cvж%$uYJaNP掳Z r;ܥһvg]B/hk WނV6E H$EJR9z Fh nK (`LӼ&I0Uh^'mfȸ$> v.dqN&SVٰjoba V /˛KUPBΠ#ޡrjrNkƖ1Ict:{&oE!6jL7j#c .e:H>a JjCVguSAViJy50{r%܈yE-A~R3V^bs]xXB.k}n`wE&VP% 8a56Ow|֫RER.$@hC|[!濸?:ODB#SpUøH[ ;Rn'vT.)+ߚY樞H U>Ku}7܊DDXp8A # GHn0[ y\yׇr NX͠3fLbO!W㙝f!GUv7Ao_4T;/pn:;œſ8 TiOrgVkqE3(>p32!u?TAzͭ$Nb" 6[F+ᔁ$:?CPy9~A(q6 vbʹodITť@ u7OH5t<ќ6mш}GsSsYƺb„S`1UAu//1džqY|ZDW%EH F[_+qMW;xؑYK93VŠ>`V ׁRpETdF O96Ln޸uv*8;y=&CQ)?5XKv9uNb0ZՌl\O)q m ,Gv4qNjʻP!8sA,ZɁs{Bu#n^҆"i cwiCC4?C&79T`}a.B{T`ߓl/2|ׇfopͧmNl^ `‰фʶYF)8u M86Z/;v7ȡ5;=Sg:.61d8S@>^>ƽmt_QTY>P.:EHQm"᪀p>φA|)b6ޮ6+7x"u@*ts %ܜkfeWᙨ&3)w3-M^a "s­$."o 1'Gr E2!ۉi[D2F ô{]wƴaE8 Ȥ@ԸXH 5/Xn`2I by7 MyB[Ot{h~Vj؏ kT:fɄ" >St tWN,' ~giܟ g^nyZ&TwF.F &kͤ]cl{O+ fl/ط!,XR%$aR ^-{]GtKC_Uїo;7r)kW9Fxb $ʛ4틄ݳϊB0Gfa%mBvp:NpZ \%a")9U`6AgRq-L;$b-(H˯0c >kJ; ƥ >`t`gt X3<?VfSų @AAxq "CͧFH-NG̣hXŲ1 Y$> 3\`|td<lsOcXA^ ZR;(v|t«u` 0ܪ 6񴋙>~X1Z\_zaZ.!%J,9  oiGv3pI1y9QW O:aB8y_Kxufj s\:A幰і6se?9r ;<":\GPmcyJ=_#~QL`1讫jo w )=kvT[%RC]/0;^xRj׳ps.ߪ{ $.O40d+X݅m@P>{g5 u ,^̣Xh":&^!:']CW#A~n^-g=].ƀkJhRDa@2WKy;6:WŻ1J%JvX n7n~BM.훳L:vRrG4GN\!Z e~=tn~n)Hل$HY}%&yc!Sd1M4dtl, ->7!/E;%B{!uV#x@ٗN+!>jC{]I?t/meu0ܦu_6 8&1&r\^!Sq[fm9措/=Œߨ*8 ,h $4j쳁,ki Q 4B[yQ|0A!~y$gP3)¸\bʽΞ|T.5UYdңz}qԏt7,}Rp[76 |xmu}#A.`6ڭcz¥nY~"1y0L"^#=˻_Heb8Kk}3Ej܁+S*p~ VJJ*Y@"̉F  >=NPꡉUHI+ .ZҌu{/Y=nLc.zݣfǓp ( ]_vF.cUJ/0Lz!PlVDTwOn{UXɛs3(C:nҌ2ws1; M 8;>PzTT j( "GhFxotɔu1OmIv7 x#,V ]r,( _\1U};C׹Ke9V|q^;"Hs)qT<_(5%QMT;~:/:)ܜ+i]ROhDnοv<>P/1S#3`& ISCoA54p*™k)'U':`ٸfO>gU(;eO 0+Y°t>Ύb).d8ӻT]#05:q׊)ߠ=V976*vMRua C3G,,?QRs͘,BbGB_v\ω"ӸZ+ 8J%f Օ;Jy2A arڽX~^FkKRbVOiաۂWvC+_M.7~#e~J[u98p[~ lBge1[=:)}cruk1"Y3H7 [NArN'ڊL^ϰ]yʩ*q r.KʚTl[CěE Ϥ+eXj(fEVb3zG ][vߑ2tt'`ʪ( P):Q^q##gsIəTYjVԇg- .ٌy}MKn:R&C|)jޕgXYԁem;Ó1gn"RfmQA?%^SW d_B8Q\IKTre`܎{^29e!2#M $ӣ+Z˲*9Ep7ܦ}W;;!9xdݯdK-[֢u$4w#5dt<@,/< I F(aWW|ٹ@b׷ O?X^"0yk'2n,変0{ل/ݡ9oTLF' WӢZ,NŧcOpdRCN z\.9UNvE})ZyxzLoq#z /z*ʙgYZa026071f0c9f857f2c9ae13ae142c1cd165330b36330fbb06b7fcae287f4697c333e88cafc7d609f c366ae6199cb24068deceaa94dc64e678e23a42ca81801ba6a834a5a90d7c830fe1898972416f012