SQLite format 3@ .0:  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  2 2)\< ]S]Incompleteness:threads=4elapsed=499.997cpu=1222.644gc=9.860factor=2.457zXZִF! ၆]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0djA8a ^vaJw &0ooJ&ggnmkh6(솽aFHir#j{^֚.%Yq{ؿqAZ/N{`4Qe >WALTxPjL4CE]r(*cX>gp#u%q{XEWyւy! vUK&&2t)yGգ=ڻnnDH}uu>Z ˱pmƤsԸ7}u< ,.Q9mqj* <)h,-ܱ1ƶ(3⭈]([h-#F3#Ԇ9Y/\lǎ"[7%&.T"XbJ<} ,Cΰ w)5IGG[Ie#s"5̫*k=i2;Yq]o3~ ) Incompleteness  : w>[;wr}9\~Wa7#sy* t56I8GÞv=gi9y_ɚ ' қ$BMC( $c7#Ķ=g;3bnDftum`ѥՎՁT_$6G_t},VcZSrApۚKFMXuA~] q-yIjg)zwNfE;g~2w|q?lM&OO9 ywgM2jzZ-!@YE"0 FKz(ZQ粆*{bw^Opz:#{>=Ks]&%h$^2EA'S(P:vG Z^)[ȅ'D5Mվ=cd<ʔ!}]:CJm,d5;fX cIjHzD}Ъۣ:4j3FrW:S^#7- gSvdK'I)_ա{|'FGF%.3fB/+yR4M*wƋ4%c-*p'xɽ6{hl8RHS2#/U¸) buM-0>Rٻ୰MtQl gzݜޮmEڲ}mrSĒ5guS4 G, Bū;@#gGgDgqQ/"g\g)7.߮R剼a 6_qX$]fY |u\Pa;oC#44ClsvVk]K.$Q1!Q,Q';C2ٙ[F6P1ʗ?I۞owftх5tjG;*VJlq۟yY Mn5/p5C{x=QӀ,EwEF~rU(k΋J:v?8`h NNĹQ^rv ÿ-G&'a/ @6Y. ػEY^GW`,7WhO7 1c| 7sSV]SAϏK 3 ~ddʕ>W$|8ɷNK7a.ra3۷0ZqI D !,lQ=\G!aL lٶ[5ogh$ -f"ff *y}NSaRO`K [K:&mUX =[Pn.1.+=RenH*vVU@"ɻҠ#UBR21+/A},<1&?7)eUx;U?1=4_ڗukc]{vsB?4Yv29E;^"ql@5omkvzd{e3dѮ zm]n se5ʼn?Czo I.䅊~CV0vb#2F/vɈe; .FL)Oli%F&H'U!a[ *B]-oiZ:$RTS#v4Z;O=˺[Xk;0w*/XU_`c7;+ڒQKEjC@O A&_8U>}ZDC ñ75A-WnwQ;Zq/Hg\ŭR!uH Z8nɫTVAg RVZ]d $Ĥp|2#Ha&M1'Uqkd_Q'WC R! T 헌w$/Cdnԗ[X(t{PDoE}TX#ڿ 3w\Ѓ01HHLy% 7Oe vOC`7'?0Dj|a g- byF"ѷ8x =-d|~|t֗r{,WQq$ ?mmBO'KHԐ' {du M#GGe>:z(fi9@zTكtf7bIy >0c_dey 7FtN*ƀˏ%Z :.NCF91 .4ȟî|6cU=tuP(:Pq+tZidY؏XlL?ſAl_8wi:b0Ks'p2vO&9_[ xI^F'--'I&whi0e j~oBڷ @0 ="G1FهSEPC(=߰jGr}]R+4={xy ovr_7GE Wkg#P5K&X5`f9[z6woM8 j[(}aS19|jr"*.mMxI[{I]rNZ5"@$VnT@()H`_s}ϾaPcE(DSS -vYa+kÞ(n3: %x`) J橀"L{_fG74ŒZ1ܕwC c#-J7Y(*";z#@ rN(Ơ{^M&%b]WEu KNb+E4[rax헿OzD&;=DnnA}a[K14pxݾcX9|Tm^yB?δ$$GϑTz(;gڄ' )I_nˢ  C4u_3+ >Zg/ J22jZ;1E@ 3qn7t`['Hӿm!|lKeNe}ˌDx6n,fi1; 94?I,ԑi*vLIAPSsg1YNJ_GuNx@TkQǡх]A:ӥ)XZԿ,U{ب$ʜ*d&qx2j!L+]Q%2AqwٵLO|NQ:gHK2 JE] pQeۚ%bSE cs:P0b9&$лg 3pĶ9FQڡȾDiA!q[[2IX˶9_R1x u !3-}"~ّ.y\%A-aMԎS- E06rJaf!1!Ɩ}l}3fh 1a^' <㛜Yb+UPG fp/D'(;ɳ.rݯ. 9"aui&bb2حHZn%RU X).%ŗP)FoCtQ l5b7^W @*J_X·oCm^ E(uñ$=MZ([`aOFhq.8fHsTo]!p& \kE]MBQxi 9/Tq>PkI'{Vzӈ_osfcW>P%6Jq{7=mVZJh]yiy/kZ O"m/FJ1;F$7fKRSָKYF'g;w4 Gzu{db3拐4(SY%5tn!Lt((Lwi&w믴a#!/2)Uʦ~>Tu)3 ie8lvssL3*@eN? 'v uYHPlj?9i;ٕ`ʥ٤J#O,wP3 aMZ: \ Ř!$WW+.x=ιn+IG~P74!dH v'!LW΢WNJ4A0=,~0o܂~חC' s6r/d!)G6/R(rȖ* }t fߕb Upy{)}56HA1N@|GQut\eaKk_7=İ 6I!8K^bPM$ZIF KSg{e¯ty'j1%:_*4S1! gpQ)B㱖T5`C'𳓵͠נ=S g,,6x7't~ɏtw{gR/ۣ lo=ˇ1)@}Be>5@Bv)(R7^:(K\/O?fYY]IfmFR> E6f'UO9f`l0x{K7F HC}5hז?I4&;J k=;"ׯB_\K+b)ᮀYRW3Stdy :482wWߤ[\9H* ʼnk.Hȋ)غU>QeJǹ!<[ 9+.Vǖ~ǹx蟟ZF# tw^,7&iyιZL\R4p)-󧷕8q f3sf# WDqƞ%+%b{ I_6Im<-3ob$9lÁk<DFPyBFKl8uPƿoa2dpfcMTyk@w2& D2X7S$QZܹO)wP"; ;#ۙN^~nu /ZGջVMBGL 1Xd/)1|8 ɬŠӃ`<e0C@c ~;⾳:C_(V[,"F#HpG&` pL7 Lp#N]؎* HR᪻2S9mBN޾עnur&%>xiW / EgezZ <[t}U+K߫}@ӫpPe f8 B; 6|8б|&X&L)~?ŋ\z0$Aͷ1n` Z04!4AUq@fJKT 8E3e/CT2|w@@K[G6z`'=\ ԃje}(Ūz\dz,9 (?2tZKD7ɏЇ/!vv, 7egf'm<;4^(xw)p{[_TGiү֧I+#|]ڊql@TC"Z_ ;VlaNJI]&by"'z+9fIy!S2RD3PX"U C%dB'I; KPP:~{4V ) l%~hcN;{ ɴK-]ŮD“g9n ?NUGoH7egV9Dvּ}Vq_rVBEhecm]Jp쩆 !kq_t:'0&O¡EP"L}E3 bQoFj9}[ooeZ+J:d$&"79Z7RRGvEn<<2VYESli][')Tյe(W#T>C|X"[V, LsĔ_-,1Y^<@=Piwm$󥶪J/(?ȣygYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$ ->Ǐs {*$!|7>țlUB5cm@O d|(JIqѓWpGM[g7V%JhNPP3M)@+O d6U N ۙԩԮQXqrLP}zQ('Zs67hZǭw>mmd 9zgYZ7zXZִF! <V]ŗXi%Br+" ~R5%ۣ֦yhA >ݍ'´T[8R|;ph.d2/]E a"A%X oGw~s!4%kuM(?DUq l#q۞?_\0Z!6Yf.驑k˧]אVO;$};ٹ~i47d>=k/ bu{kWTwmv_[xaҀ92p fq~;Uη,e~,L,S$ Щnг :NIan{k|[BA"c64LՎUt ☼-?'rvF<ܬ`-=Ԉ[0!`<JnhkC!<]1~됬yOq+Gyȍ(W,GfA .A>yyi= qkEIVUg3gO2d> ~ee<\ĽmՐF˙ C3fɢ:ڧ L7>vie{o}Ę3a6,E;j}dx/UTte'~\@ҖzHhct ҀbCc/c>i/qբ'5H>LZ߫t{-A7DFA>:$<Jr. @@HT5r+RVeLQƁpm3+J7'C`<+NV^9P6_Wn'.}+$l{ȶ"M;!!^(xT-&?sI1l'C|[c:Jtjp\))q$OZCtHf/@[Q^F RkQ}`k 7&. %vţHxGGAX!Qĝ2-'.f7y],a7dN ~O:h!_G#i<Γ"',{3+No/%& 6T,zIvɰxRNiϣC%Ӆ:K,Ad9鉰r.=iJE }LXU(N"DXrNOM?Fc3cXT3+LPnO a[12ts9-+3zʠRLHI53Ǽ,[kO.,ɶN+'OےIyg3X]K/D$d =QfK=H:j&6}8XY@!zŢm<# ^7rsWpaI Es Ha(xWZ]XBN]TOpv[,EƸ3 LAz(!.nyG8?4ب{h<,\HgxP)TLX";3MɈ)t)v>sE#5ۛۊRUD:2 WMU79{sCN;I)5Acfy']n}8z i$Sfo*ɨA`XxxU"'G ~ϙC;V ۧaɧP#C!Vᜱ)gzM&ޣOGBέ @lM{g"Ro\FR-*͵!DXͅZnUo"ƍ9НҚh%o9{<(j KM7pnU@@P b{0Խbx%-{9ck SI>m )L]%¸0tvٖbk[BғLtX6ѐ@ ِp<=Dk&8KjЗ5s[=rYntcЅ/=b.2dl7-W $5^f|>9i L$I/fB{T|3AO"O6̏KTq]wEm먫桑"dK;epŎ;^Ʌ~xߞbȲ뇌:Ay& V'?.5>HL?9z߉;PgvFY[Ĝ_Ȗkz 5f^ u]uaUEq&Av5Gwo+_q>5:=lWDԺ6N|kG,Ɗ?/ i*yzꪉ"kJ҅JyޣPd~'هuq;vtEc͍/u90Bo ?E]'MzHӲ3=?tO7TSSUn$Hro%`!;AEE3 2D.mV*G e@0WtS2ce̓@ߧR+<]Y'⟦i!=7ni4E0̸>U .hI]kQc;D*OETtbv5{5]Iqv1]s^& Tjj`F@57j]- 1YbH·zҜ17<~Zū;hUVbb%N!x4}>˵ISm,!y7OJTzl`LO\U̴ eޡ5PKC{] V6AYx. qή*G/MNi`:>oח~ryw 8Dzs %)iE.xKgw~%hx5oN?&3% <ฦ<}-pZ}0R᧜N쌿9 BNS>6̛iIp/]9ұAp2z;tމ%fir)^\:v2O㵐z&qh}OQz:hQR8cPQ+ 5"'p|:lozs&e{bܑL>*'EЀ *Nf6XejҸa@U2qkDzP^'Xa/VP3f*;eZf`b6FDi?BNL_޼lZӢ0TBAθyf/>e ѭ<#v˙5bJe?4/#ڿwE=VN|AT5[Cߖ G ^ny&Gu ,HӒ$ѻq05_71ټl@ӆG'%8'5̪ S*d)&u[O~np[*tvY=ntɉxEx\<;ȋ,vفi^ =Giy sI{V*$bW[j& DNVy|5R\y 4̕5 Y)ZŶ凌U*4k`Q^4>,a3+tӭ<8f$QV^zqfE*)Y lcc@ejw{ ob?"H18UM5s5jŒ"-<ϯdy0 ~>~ڡQ*HaC^'Us} αgFhL]QPWݳt $$WGg^fd'W*dDڙP8W4|K)v_Z=Bmh]MԳOg;[bSq2`)tȑ,B'y:]R`TjoD2dȦo@ Kɡ'j\( c+Ggw/*:{Hqˡb<+`5G70R52)u>y"ϫK#̍0AHF)8Qa_A}ߓ2em(ϤUU[v~p$iB ,0Ъ.Ér4K7Y*&j[:MSh|OU>(D0T`$Y੩Yɧ=s,ayd5<9F&z-G:%x?Q$m5M6(hꨭ)Itz0_/ѲX@s; !-?o.gONT◳LKY1޿q`E i/I%N DcvǴ2Zo{@1.hxil~Y螉WeOޘHܸ P_U2zoF}XeXey9C \ųB^?o#^_I8(L_'G6bjed͜g:{ˏ;E3}:|+jl3|]c1×׊+^IW%hAPJ/$b17fr YZs{(/t/!l$o}Kx>)|d.q jC~YKfϭQ/K!2RGhTJy1;'_pJfLhݢp;5w{V9 ȆO`9wsu uVrE;%1 99nxhn*+8JgЗ%Ϫ/eӣ0Ž #g':>|"=j ɪ#h KM%ο%K3o:d2ˍ|^ؠC b-IH0>ş@+;,e?u@(D򑁇*Њ]+9',^Bpawhu^xOʷ/@=A,J{x^&GZ.#ѦQ)GT,uWt=joX! Z:?31Ը,X6^mҖ[vmӐ/߃Ut!lt~&5!YrEK#A]= }8jr LNZ+F< ׄHC>׾|~*yQ{_Ɓ( mK`NCb*5*##pSlWRI3.ubr}6zgN FJX#e6|m%M죤(c#K}G4 3jN3נ5\E-w<#{9iGQ~MQ0ބ3ɑU?s?WMr-c'J8z,uEn;Vcq̢ɒgJeAk*y+RQ=D0aʿO ]m} @o$F pYl6 7nXJ%/O;))YgZ[ l-.p>g-j^$]Uل/?6$q&'b%u%9Zݪ]t9{ˎa6/)Q ٲP.. '3= 0ZKK]T7QI #{' 2db'|Ml_t!sFW,c Dϰnpȅ,19aZU̶Uz4WӲ:CMs3\A{+ X 1"WD4W);(R֍\d7XR HT6EmE1q@Ii-hלʹm +`䚃 :7& {h⨽Euw4, "*DNUL[&uN h+}ol<gTή RXLt`IԊKUtWބh]q 1k+{qt4ns  Ԅ#l&HJgќtG=!;o%^o |{:>h='n}4L9')A4>[yEܐ6~=,X|IsOj&WHd#N=I +S++::dܷkk`j!{C!s MS-Pcgh7 kh9"qoe'6(N Gt/>npջMjKDk^sZ^,Ć'Q>)+|c犇OGQl+p`y``—Fxz͵q \J?&jhگ\ M$&J RӅ>`R$HXh:2ܒ8V#XZ^c!*W>h')LXkm{nu ϣW7r,e DB0v05}qxn@A 7D=P6TH_iKY Z/x'ڏLj3yFTqu>00@) 9 >}P_U^'K"2 ͝(4;F !?㽫hkB>>A3Bɧ/pQI_ŠZ82D0Yn|_s h#H-+⎝gSnF@d@UO#*]&, jW*7ߵEs\W+ Ya|T&QQ=.e灳%%]]R7LѩCfGP!]Qoh7էETI8L`(y/˜mעX*zx|y>&!oΒz` ~כcl]7m =m" >] A79T O<7&DU ՝=$ՂtYq⣺M>, iivNaWӑ(>{D sЋkA3 8EAijsL'禦Q ˢY60w"qQbS $IK%FVRꔷ!' D2\NoٔAӮ6Llc;=>#vacF)$觼$ᙢ!nO6Ymֿ:_+^# 3dE~`X +p#ɏFhG%+heH`NahMƼ5"bAݧ)&Ɲ +bpKý7歽 1THc^| a*l 3|='l8:?ET-""^ZХdߑgj W,  QWqYO'Y~ #]X26toA2;YrNJ?)e81S۷>l26^1}hTORå~ O~w%A Fh[mM[I 'T٪m:?UUMME—5G,­>l2:VS$JY^ e﫩GלB.@gd(I2;Lގke9$(1W:A?γ̈́gak¦ քd*owG8׽ޞ w~U6cvC1į-K)G8ņ8oa .m.'ם/ F[b8+̑Ǵ+tS˹@m%$IWВȊsm<Rb%`Ye Sm+Db,֓EC|V~ 10|O֘gH0kD]Cwւpj@'h͂ÒjjZ$ƶ+:~!EjnOjf x(B 7{m= ң&i@ࣅ 'X ±o@}w= CP0϶9B=D/OswdB@LJXrsn yh:4%uTnP{e< U[L:Ӌb% XUkGp< OO;m:9嵉R{El !-F7 1}y@Unbe)vmC|E'B͡Y ֨>Hpt%yFzL]EuسK+̬-?#bY]5Z 4b'̍!r8 jwj la%ɏSdw2S/`ķ$X?~t| Zp㻬%jsɓ8}ExLLyY%PYį~<5+Zu sGv<(%ڬw 'z oޥF/o N?e5{.g< 4;z;-.ΚW7"_P,q:`( w9TQV(&gPvdl\qRPpS13.%C y&ɤF5'=p$_uux8Ms ?7X͜4q*PZ}3SbV_3bl$95 t_nVѲs 2t;)IU6 ;{ۢ<dL.q=|yQCs1[oVͼ*mn)2ag1,-?dn[S!/@)/!Z<6hsF{,K"w<󹠞 ?IZ vPAw z~,79 id@|蓛qG%-vdi%#/?^@x8[hXQ#jNE|L:4U9/iiYGzf^.nA1|:]RAs|^CDaUHoQ|<ժ|~ Dg!v{7/k}-+I@c#!|ǂ9OȧRvx2j![#k>tFm1d+ذV;4]#Us$|*~xYR53oL(%{3殱1Q X3^WmbS.?MW~3]ǀxO x]1 L vZk!Q#<{6Jo' y':C1+{X?wkP.utMTـ$vxM-梖 hemY.?R1E;d̂KEB?r7xa6?(ԛ%C,EϴvvtmGa b߱ ]lFYRrnO zі=[0r(T>܊ZHK1WNYZ`jĠ M&Xq.Pq5}z 5Ce0&IfK!P {g$o4'3 +ɮ%@Wi)XBQ}MbWã% aa~PmzZ uiࢥ[DF8SZa<舝%c5A(KRoBwCE<ڿs0Tte]|K;BhÝFW:jhw<&6;$xceMҵu$}b&W!遆 Iw5c@̴}>?&krpn"#}\մMmn x 곆E$vGCޔ"@ҟ[I:c.uLK, p"_8WO/E7HHE~ D̛|sl!@"τw_C>ʙEԇQ`qI[u Ό]iđB-qpɗ1HA<)Ǖjjv`nzc9uSdJ]TG<f{–ü^ Iғ+}s յ {2f`?lʐJ _ V Gyƍl3ڜ*J&VHs@ୁaA̫}"IK.q>VǥYaۛZB:b;qO^(BmO7 bܳA\eR>8ɬÉD?Tݙ ZG)2St1KF!^J[JKOz}c` mF b9iˊJK逨J?P֊Kg2/Ih;eS_Mj(ff䁟8OX-5a)@:W 6VOa0^x_Ķ3Tͷe{؃``:vFiJ G.͖ HOcyqKOh$H`3F4! RbOb, @ka ڦu:s0A~஻SdUV|\?m +6Хi՘ވέC~r=a, H$ \*+SF*~;פ\[[[DYt,Ebz䴊}i^r)V¡GXCEy\{8AOۄw.~ Av)~bJͮJ&g]Z;u>1PXhi,OmAFیAvJトϡUxZCER/(_)xlE8 g^ ]8UAJ#fWWr,NAs ?Gn,g%i;*f, O.Zt~,M%/gW%-OQPˆ.2wVČ|JvR?<~(zO}q):J }ߓ֓}dr1~)nH6\3&FhTzjU;CiڑoHOw?MTW/r$ķ%McTr +uXԥz.qz,Ξh$Vv0Ђb<z E F7.hAv13Fb& S D eP  []zfz3 mkڻӓolz~W=''S9qu[ gF&ڐhDDl 5`[p{:.гϥ`_܄!/Gt3|«WΥp+ H0Nix"qIM~_(8"<T}SAqm_ ;#~fi]NEqnIxW o߱ yUiq >GGі$rc-”+ 0}5\"rblEehS+Y8#@. O`x 480Tbz¸3,%UE1h!計: 8]'Wy p [/.0 Lɯ|EV:I#FIi٧)]Z\8W1Gѐ.x\^Ҳ_^#F<-Vmv0ƿY*WB;]ɨļHRI l%-4`Fo6ѳ(,]Eֲa 8 gQc@J$fM4D_PQrxE@6 87hW;Pj!艏9E |&̵$`]E5T&F\WD;"vDaq2_-G%|Ên[`N$t%v i8vee4zVH.UI$@CDrmh Mc^V nd5Pł\NjL,-;mQU蝉KbVVG%ߘ_snz R<JN1yM0FXȺ]2?K5V]͍)ox )RH6+͌#f(><s&1y~x$`@NX"?;#8[Ak"l fu!0#.G`9hC}h؎['CFD,Z׾F[a\gY,Vݰ`\K5fJ8a4Vy5 y.+xo=ҊePP&S R^gM HChx~Acu0cv! *:TaZ¢qBL$W=Yjum-UV9 `dbbHt7|h+@ ;B*q߱QS\(5[C&LB>K.'5xUrZ ou/v/ATՐ|&._Vg|YqP5P3*߹'D6T'^ZA(e$ zT"W3>>J{zCI 9qHm2@aRЁتG=i6vx __`~l6ҳwme@.5A~OSW g-wf8Jn(7dH30\+mst%g>b -( 꼽RR4%D H#_ϱʙj G(@!ᇍ BwYc5u2k-+*j%CJD*wPb^dL hP)ےP024(`k/uWpXeOb0ᙏԈͦה$X& ]7% mp*3D7p sE?k=`I~u Nl7)>/ج懖]U"D '(j\5!}wo.s,T6ly*`8=r"G5djDG߮AXnk+)Qjֱ@2nϽ(57X0nP@ZtX+iy-н2x!j&*a kG1+AoX KFCOE_)!),7s̲*|DފV1X^#O]>ᄘ\RẀESO+婒~|H'֘σJQ9O n{"x02b_n)Ah,H\vs o `0^m` %. HG{rH<4oh\YQي-n?ם%z wU{UdЅZoˊ&L͉9HeTJ^^֦I)O0旟Ny&pLuFpZnkEߵfy̩lf{aFxzR19zLBygIH 틅fXWa Jk-nRگAY^eW#MKYiqva\8SR?h#%\*6 yI71C;8QpG’S>_זQZ.7”τ/ÚLP팂0G43x2Q *^(nvkoaߤ8`t(Fq<,l$MaD|Qd)PoRF~57ZBoZu}gsm&@/L$艖`n@uE u@%Z&G0\BYwܜ>ϣ{FHJv/2%x"mHX030혰-J9@!3?tчf-wnβߜM?͍.Lhf={{ aj0~g7-m@_xH~.GApdtb3<͝oPڡ6d;uv -rј9DAr ٴvBw;o"4X̓N~mA !!rgb6Z.~-ZgiyOF&ǟ,@7)C([bwl>ub҇&\1l9hG鉄VxJD4)헷2?I$R- ]yAOnzꑫ22Զ:鿄 BMByi 7T*O}/BՊ1z->qX3LoX껌f$a=E\"bSM>{i |w \Uv?yXh_ԡgh}yB([BXᑄVK0tQ[$Y;cWD@U<\>N?x=(x94iȄ7|zA#¦+?(twH-k_T:`'[3^NPl8!q:$ӕ1|qa]H0U_ !4#QOKȹ1n@OTo1wrkE87Jx>I"!FQomv:HҢLxS7o'rkng&e- C0[_|FwXYSjYPyc*#F7}NrѾ`+ɳ8q/a 1i#=y)X#s-[sxH*x< j( ~*WYM 7 ut.qE5%G+?o ݶ?rߢ:l87h pO|Z,N#FWqShsX1 0ʀw.2Q CT(~>̍ZY~y[ZxAtٗ 2lWw6;Tq9-/"2]z-v#4o YdyH E6\ kǛ+|Nc telBRhГ'y@l%N\4XV)ep"rи bD^ {L-XJfw2}eB.%fg];`֨1ze- ڏkQ<75Rމߘ>,#(DQt]ʲ|0&dc+%+H;3v]\M!$-$Cr/,lQ1)5}jmNji0e!$X RBK&eC:l :Cwe]̮po#h>''Miﵒ#PKѠ"]\EDr{ҍH"pK R^5 ?E7UAaB;,ki) 1{ޢ͐Ơ%!J573Hv}s/ @BNBh}!Ǧg5'+I]B\A+-.ڬa6?7Fn8򘥇#$rxQʶ8wB`wF(Rn?ZZ}Se` WmҸd-3pu_7+BHHXSߚZvw[I lz'I7iC+߲pzXu}ot|>$rrtM7مP.3Βd-~|Bf#t)F s=o2źLj3z@e"͹vWq1-4bW`vʡӭIr_/ [[D'A)~7H <^,<{{Rw#h䐢>:FO h 0_@0C|8V4jhuԟ4Aj< ͛(th 8'9hGUrejpa'1^Q};K.VTm:'w%xCLjXep/^d՚w?oyQ|"[ԠCz0*_* Vc =dn,qصmd*lLjfDTA4xkǵ3-GzQO%3"N߄?\@ž$sK|`P^ iUb;cP~&+$Y+I9K~~(v:meY0N=/&WRߵYZQbsjv$q5"eRJX[S?e[VTp$EV+B趠IϖաSO{R࡝'TNd*ɩRo&5ME޹NQ9x8ֿCQB/ISK,Ԇ˔bǵWBc 7I?xWح72ޘ/q)(UiGeהAb+OB='#uu nܛ[n{)mF@ e̹QFgF ćI!Yd<,|z^RcTs7j`O{\0\6`4)^]ogrsREjsAR'ºEkTʨ 6q>5BAB-KpaOH'Y5id. k2$4%έ@۱* l8/C?)RS(;} bǛRZߒqcN޻`k+_8vY) w(\=U(?x-+`j@݂_( JĽ֒FlĖs՞jbJ4 3SI4(C;XWIinR~~lK`d!-*>CSQď7/p:8u`A<^vDOǴYD/O68rX^.գ*$zH_`2[| ʬ"Fe1d/yg*eLF5G">%'i> piawj =.e;LHHРњY]PYƑ. דsNn4Ap'~`n#\^3%$hhCmD$as_k7Q( Ehw ?~֙y Pm&hva@:6Cۢs*pQ*O>?e>c:qwC]Χ#޲$!2"@7+lˠ-0Dk}+kS?ZXRy7h_"O9:5S5'fWB-AJCt%YnkD\DJK&iYaT9%\=&bmc{ЌSFxX[̭(;94NfpɐȅAYRqH6ϕƚk|=RS2( %`V0 t·)ĺ6lpHaZ>G%R/x@.5Y ="߭rx5= !p:&V`ڄn+reWcoN^Wŗ+P)Ԙt%xǠ;isڭA5Rdw Tn*f_} )VAO:lWMi¢>gإ FWb_!4g_>%(!Vj tsd3p J 7/^ 6m*% A':_)a[A5&YOfU^~/TCg3ۨp9B~令aJJB?uUx! R]/@Ξu.ls26WAEkMNjp*4F N ܉A{%qT‚)Huj,tS-Ň"ׇ_Z}{p!Q=Z6),`ڋzPٺ%X >ٵC0kW> ؆<ӔˢHg_9ڜ#-9ט~zIa2v|Fӭ9^]E}S/{YQhsUuT5l^4ɭsjxlU=h@$x*1>G~0nVOK܌'|:[ϣXFRJ9hEGy][v1fy1V%`3^ЁNw<nRkԓ*J? J)|(yL>Ab749ǥ@xQZ3Fdgk0=>ha(_tKp|ý95_%MDORxDR;ʶ†ޤ9En~swyL(‰CVr0D滯[վII5QMnً;T1ȊO PU͡]Qީ3"B oWGH6Vqyx`%j'SzPo( J AcJlVe,Z4kz3FuK毖<#~thcCX3sυzʌ6@ 娾LRj Bx*1zBhwfNs øw;=M,=Pݸ[\  =J:ޞ3w-I]!f,GNq w%\m%gwu悶[BHZJZX DNBf2~%ĺR+>Ao0 %t#)r-WD< 62~dIS.{86Fs5p{z'Q!R[&dduP g]8Y >[JUaR":ERjQV;w"B ]x֯E'8#K`ܛtm>m@V6Mg&ĉRt),tKΩǙ**gqz{*R iZo0]Vs]%0@Q-x*Aa!f^V摎-6@BKG<%!ZIǪ]RgPjoGI >/j$Ozi^,_vuGWJ>/B&–HFJn1#ܮ5e,m*ΩvkgCVr~gYdÐx$_fݒD>&P7&Hg]'ăȋpvRKo,/:8>e%/]ϙIy3*QbY t>c>̌ϧ̚xD];? q`#cB50|Vh[Ils㓸זIū_Z> ntot\U~ T9κ D" Mys0t`&WH(#Yys`&o|L1k ptۿ#pI_Ygjz'8ӵ}sż!TIS×򓬫yD[%E$`E9k4)般jd*jkbew:[kG^Ct.ςQt̕7gȇjGY ҷDF6Jxet90 ̋ḍ|go7(ǢD4u&݅ ZدGKoD0iPQP+Gy&Dcv *%&] $031fTdrKۊTB= F7:> {u@і.;C.ŘV| %:Y5OAwp\??,ꋆY)2d_+/x+ɀM UNHNAfԢ෿׶pL2c_ *:Z1xp,Қ"\':;V7Af&pVtaaI$-h[&q} )U-W:yc/}x8"k uj3ǤJ#$M"<0 VFlFjmp,4G͂2(H7S#릃veԁ'[xR KJH΀MثZ%N\_40e" CEe"k+^ t0Ra|?TWlVan0*X' V!_` ?תP PX\ҬT7P#~bYXUx{x Ai/78TWݤ"D gI܄ыQ#E)O}DHo> dͧٮJ@(շ{?x%!Q'2^:,&aU΄d nw`žyy$!W *DG9:E =,Lv}utu&.ǔ D|m|6Q:V`NOSMR#"nyķ{$ESS?38(sVܙ߿!.--ǡPkKOhkEIߚcYk!n^\~dFEROPn K?e@[b&>:ofW hfYCֆ(/Ćh7`R 4H)DHRԊnbfb@r* bcZNez$,QԘ@S 3Qb%٢#xE_w+Σu&9adq9 Bޔ;g2fOcXf(gX!NP hA4a7r % lMމ70~%iR0XXDaǜfq- j)g-JL?K&4ڄ80xkĴ _XX0E\(K|cf.~2*i?16UcR :ƾ'7 1Llhl{i_nz\3uRAkryiBcݛ>Vye5 2"OoN @#XFw CiDI `b]r ||7FΐG.pfS};LxB:Ÿ(rh D(@r(i|m0ؑ{Pb 6Iq]~Ohckݡ!8(Qj=1:3ETD:=U.k95OKCҊYt)--U_z;++gʷuWH`7/f m_Ts<ƵRRf!qsܓ\U(#L9f];S?P몒xƽ2_zTuWtVdXb k ;ok 7@`ߕxADe=)H} .,*}s:xsrz-RS"GB>íjJN>67SmX\m myL иUt+"_/濊G?zEo}o'(Pٿ0d/ u`_y:3-Zы+%"|TDc6?pveLAQi$tH[wW*4(A \RŎVgnMo_WrC˄F0\ąe%!EB] tOr#&B.:N"PCU(MlVƠ3cqbt%>]~ƯjW +>86g;lۮq(d$Ƿ38UhT[!rk " vC3hڵWIH}ƽ80$&aHsǍO{)H;Zu|Y0$۷LP"am=S =˻mFl]~urOmAvlDic@"%!H [48yvTPv)Ai@7'. af@m(Dpјq4 mv9E6E'Uq[7Ƈ#ʿI 2 AGL0vuKX%IS9 C`vܧ T2HsKWˑHgfm(`*2i)_ݍ 3dPɖ糫=f98^gnw|<:סX-'W?M+F?uqCrLi"k2A^ho-Cy>6UC6uǴ~xZN:KʷU kGP ףS$"֢V8^g"Pß׹dؒ]L&l 7ʈ~oV (m(P nQP~ϧށu),$jkSbrdW$1 )U \E8ih/\|Bàv`$$}Oګ 28op-AL 䗧eU݃u@s\lVɼzf\=aҲlOh 7bbd`Yd]Zei2; vD*+-US+ve?u ssjd{0G=J`j^&u*t@q HQIgs֜t';y-Zx$Q׆[vͷzZP6UVR4t/(ZZbׯ7@kjaŒ)Št,c,N*me}M,F߱gYZ25cf7e224122752d6b4b256bf3f14e7b0e500ca9ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 1179ac6e01961bcae22709136ec28f4bdccf85249875a5a3cf21e37c7406b7b193ff4feebc754b7b