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 k3|,D< ]]Formula_Derivatives:threads=4elapsed=370.835cpu=797.436gc=185.3807zXZִF! ]ŗXiɟH)0%o9JӰ)"g~l/DF?Dꋩ lv\XJ3LΩX| HB,Mi IXG!޵FOةQ+;^]PØP]:`AkλJm=qj jBE-)dFGUeL0]tyv ;$z6:qs6& O !£{phUF~M39Pϵ+_8(Plٵ ܧ Id!)w ';*;;|e%&JT4i9`sĉkFtm !G[@խHY e8 SSldž"t"|1ѻ&lcg/7 \D8CهU ]iqJQZuO"sGm 6fʁAu'vBn&SڐN,X;!'h./ 8DE,~d HnnAդ8ELu' Kd q|mf ]n S5U>EP>bʺ4bSݶdš`FpG3ub/HOMC,`.]4|Ի亝݋4=Cg +O6JI4, "]SAOײ.eI_O2ŮHB c(!M\{Sm{]lQGoڽImz`6rU%{QҎύ*U'̿yMz.«;G8A%' $i_ʉ)_/[']RB|9sG<є g\nbWyseqYybM|; @ 9Ff#tò^ T&GyI"6ɐ|T)ǾOI;`JFln4×*DC1ޡ9р×v q-̼@QdߙM :3j {!ퟪ@WλR7I'?&3GD Q.tAɞvԳW륡S[tp~\}ʒdyA >0V{Hon"o o 06KvCmXA$1EQ10VΑ[dH'-FϹF\SRh-yHsgJ訨Q_VW= O=2el(뺳ft(s9l 05d\K=pO*E]|{&p.n^EfTP{G?Ob 3#nm}T˂U ?YH@Ūnf[P=Q -- Sd1F5tπգ =7X0NqDKib#u Ը?~yDnnt|MqSʾmBxZ)PCr_?a: sh=;y3F1:rGȾ{8m{~-^*קGDԝ̅,tŹVxh. # 4 ~aLIOQ{ pls(7j  Qf5̯4x죑V*sj~2b0zFѰp[š"dמŊ X5 >xusNQԟE)BvV.1a0FG$Uq4=[18I$?d SL3d?/LDPu%)eaFɃ:6mRCT|wiənȗ3P[m:{Poxu_OܼOKu: *гNNM`|$kYi~c<*}t>Ft 79h۱dIO{) B> %Rssh$k03- ѷZв${ZohǫZ s)\=?ԋ#:ꁵiM~[#kKdwj3snE7k`* ]*s ->sEڜz3dema46;E堕pm`4{j%T7')U?!:Li\fz,`mvھGޅz&T\,,cH:?ojG--mZ4rS dI΃9=~K{FiD͜5Rp o!0Ѓ4"tjU@s<{P Od!V31x7uw4a~;qD1!}7z. hQTƑ~/~]}8^tu/g7:(2pmy8nCO[3Jҹ:QZ"~C$صtǠ,w+C8DY3N)nOA\%.]:ѯ`8hц: 8-+9ȽրpdL& :iBKg?&/B%Zc~6}^i&"8ٺJrMa37O1uk6P4831<lhN-oJ]ôK1M6z$(ڐ}#}!G ~P@Y$SY0aTֆa${"Sǟ(GGXIt"o?Csg:vA62X2L+?n7)r/ԕa\t eE*:LoANx]JIFօ@@ r0&|8;VЀ-נb$8H{UȩI(v!5_8DI@LVY^>!-=s0}43_ɀtL=ˠЬ"9KݱFyoQHR=tgѾcFQfqLdm, ޶F^'36GWcjZ"I }*eC@]z|zvR2T[EP44[e ,"bo.so(_ (zLZ,@Φc'`U1d.hp\neAV)0C;ko zv WqE=2]]ss#>4R] ]3%V@:c6ZCo@RGr5Bhξ;}{6:Wk>^+6Cʤv`LM8IXY$;! P jf)"pt%_NԈ Aw׽r_StF=.s[+"*cBB"HM:kwȆTm׿vP@K:wcd62oV֐爏?P6k=FꢃMKiYGN,##+?Q.w"{ )!HVatV&ƜlWŔ_s~sb7G_0!0U3y?hVYHT yB@H CkPSoOB,1M{{$|{>6~K?bn *}ϊPVK|cQoU Q{̬EFj֋5Qyy9dC3oB?VtC >XZ=AF*19-d2VQ68GpFW% .Ӊ: Qg}X@fS豋n~it~(|79ɸ·kz&qtL'Ƴsr>U;ढ/§=8*W8FD؁z!Mʯ]/LI808E~Va&ȮphjD!HaZs unnd344%$ZW(\t p,1,wam`..CKLSj l* /T}{[S+/wf$;#5!Ձ9(»ReCp#ԧu[Y4;I*w X v\Z <KJH5u)ƿY&M3>Mxtϩ~m0?pRS)۵q$'bkV(힂0UmٔejFPfNHaò REng$nw-vЭ m%W]7Gm 1IA,/,>@#(g 64n+r?4IV3{6ʔiZFYMqj̝jZI+߄)bw0,6j\Ȋ%O~M_W*Cbm j֞>boi/Z[;M8=I ۫65-z [jxѶXU^XײEU8&X,:V=-"#T**0q; ߄l߿ rY`>Scy[܏FY塆=D*RaۈX=Maة_:lM.Yŝ fVVIreyT[&2-uw B"S0U],h`t"DwѪ ]jJocr~J= Wwhߝs]XWUĎ_˜Wp{^34x,ܴ-5QlA5!|(x dbe60~Ei"p#8;Ļ{6vU޵Z4Y_%aO^FpiS O&Jbie^WXV#S4}|vv54~eC-tvWv=HėBxCN*u<`:pDؘDLKHZVqƅZT]/ G (+J{A]=lrNm=C0>B]Y.%V)aoC,x呾w~nk#A3NT }3k&1b n+Q3Z=/WxvGٮѕd—EzdKjW_ϵ˱Ɨ1J~[`Li7` 9Rv' vR_)G˙20D_?F٭"I߅_uXYVܽnfX)yd@b^B0,˚LBIܐg NޣI3,=?YFA a3b䠒"S#'v75gWU)!a0 K aDRV :*DBW%SғNuP{)OTz۰Vbrxo@ &v"QR]-qW6pI) v›o8N{.^q\Ӑާ pz!lXi w5]4>O+-.+'^!?zdws54^!}(f6Ϲd!C &jw'f/.Ak6#){kUZl{jIem 0J b#s&+mVqxfdjk!w Evf2͎N_AlkFv$I-cfgk P15RrFq+|t e f::5- ei5"ٌT}:6S%< Y_ݡ^{^pgaΞjiU&7c(w:VY,0~"BcJc]~҅%l=)!HuЛLN3"- G*kfQ~_: mBF L•"%!YDG&Ȅ}rWD _w=:g.FtI#Y$vX ϶gv;,u*@}ȉ(G,:KTaB}BVQ'&gqL"sBVʃ#EHCeۜ)7[#=@:1/K8$$^sc AS**|֪LRj`Oy"x/7a֦`%d+' ' =(YqDl~FDs$jL'؞ֱ><﷎f#My6Bs"L,7,QK'K /^f7NS퉁g?6i잘vJOF'vB9үڕ%Q&CN'Xa\9߉+Iѡ'G砭Y$# Fw5 (TE>&i]&dpbSSv߮ZCwh5*5ѯZ..=ˎcّk,0aVbMQjx 6u^dB(t0\ՙ uiƑa \5e~1W g5(]c| ԷQ C4NЊ-r <{=[nkVrdl][=T21?UI/B45֔E\.7jLLma@h_;xzzzqߠNIU'X"b@$˜!7A+ 茔y3V ܜL]dW|4ɉiF׮xYq([@'P'}Rfe.{Ni;; n׈1GMt-ms :1@w;JQW0{h23[3Rꓨ9up"JaVD%HeT;77Vp-O>oQly$<42OfRyD8 MOR0ڗ.HVhb}0 sulPs?[^A?JuUWa-@ƙrJ$.Wgpbct& TQA[ Z\Ηq@( i ܰ*+|sV"Pˉc^z1)(=Aw& SiZl,!\cp|PV!qi:4vBEuW8Ĺ΍ۯp+ӍzF 3 s棙E5= =3W0]0Ijs2>'zҾh5XbLL^Íi8dT,LTnXgaPMkA0=*>uC /RH=bCLm!fЏ2$%/A6btclsj;JM {K18M{s 4+ вج= TGj:f t5zj7[,xP>Xf9yO=#ހ*9ǃ|7W$Lg8k} E{Bރz,BI$U)`׋P 0~Zd!/y!$z١Ǖ ]d>W۠k%^K:6F)QjM}vR/Nbai=_d2B ]WB+8%A F]JY҆:pBr 40$MY; < su՟=FbsWHDU.zN,M8!sx-u Z]o1}ǥ^H Ny"MW-xQ^{3=QRbLp dUF_rCzUXr<ą쁥DgEC p;Tj.MZ&؛T[?ା 6F\ˠ 3#ڙl"ƭ-{q-jDBӬHp >j >, 9/b3kTct8ٯS"r &KAZ3CFN/4WӪ.$9ywߨy"#X!ՅulwG -E5U@%_"5 /> 9 օBt/G~r86F[׀_=JaAfN`؈upm gS* vט~Ks Ғ[lw紁m%Uu#0'* erdCkFM]?зMmĦXr)ߖ!ؽ5EEqB<ǚ]PA c 0 ;EO,WldQ棜Z8xXo@ưOZ;C߭!<}sS41zybkh)z>6N0_~v/u{qݣ˭*dv(NK(Sdy~OYgOͪ!=ݗkDbbTR¹[df [7vJ,p%6+y!k*#g NQΰ J+ݦt3 F090w EX~38/pp{VR?3oL3uR!~H݄UYM~[b`"mԯU崀'= 1h :.T  /tɓ "B()1?p&C,ݞ޷Ra` yO hmQ۶r.jj}6J(nL蔑2uq[ZP$8 7ˋ*"䷝Įm](R' A;Sɺ"0aWʦKХbR{<3ԡLlU5*_<ܼpZFfkEJJ8(aN+un6?.N. 1ʌBqOxu X%inLM=i涢&D,l-5${h|r"5oBl.`߮ 41 g^!`r)s XVxwLѫ!%oDb}8v\x֩LD{|y"Գ<Ƕa&,;`CblGWYZ>F&I6_@[Ѯ LY]~m|d>C*D\+嵽C}4.80O%HQ r՟0$wT jY65܆NdkLx6oPFWƣ Z&h-f4!ڀ0$$Vbtq 8\s Iq06babK1:%YâCm1m|ܛ ~קo KR@%X$i=%L O̘ kH]3[r$*(LjkI`pw\("+`4Q{DWvCh30! ;jŹNK$ir5kW+"HܻGg:CSK9,FsEf|0[mֺi)+ n c3<1}o#i[@xꃳ.Bb/&j0g~Q@3xUSS\;]ڡa> _o'/F_msw |7CCVC#Q9xЎ '7G 6]Ć^8x 7cޛ(krTnƻX2Od7LKE;Rԕ&=(SX8\%7zYuO) #ghIZjG^#4mk'~xv5Ϛ#trU29iE'!M=v.y}Mɓ.~2VNF~2敚^ݳh K3ˊ0d?C^s -5P|`8zl.nԅ! `Q0!7: cn]\ +FW9S iNU'C*hx #Ů/YB8 r~Yއ5Q}|$^fjBypSg m\ 2Zq ~ m3c(.]QC XүQf;Dak&( zvG@x9a~Ș|^i%j;l gw8$DŽ,RYΈ*NN3jow! Yo+WbL T#W oEPNY'ςal_4^>ˑIWxIV&3F)wqg]ِE\=.g.wsټEW ]Kd<툢e?* "(JbHo^4VXخW;ݢ`R\Fn+:".bT~f.8xg|yޗClzv1u_,1OX,WK{&|ٙ_;Quѧ3a+R(W;h>Hybel9twAT*RO[obՌm:j}lu4,sg@8 ̹n#ȸ=ǴlЈ#Ʌ ~E ,ye-F0mz aBU4N=%n/FE[iAߎ{'Kf&d?v+bൗ#a"iv{gM˓yLoҮTOs|Ku\F eB nbHЈ +[_u2A7G=c筪^o7%j0:yLb_"lmI.])qP4,[=nE+\[zzsfNϋ" +ޑ{>Bvz!{X8~l=,%ӆypҤ b'Al pi[%8k.> SOidU6E:j5ZOcTXml0))ΨmZt!i/xN(lqrRDWCnO;zw "^,0jTk0=lV/sLRYC."{a8қV(+rƹ1KgD  h=^y>W~Nwc}Ql\Ht΃w`߄ &}ک@I9۞ڸ_読fHy $l5E+^rlHSU:`dJж6]tA"EGFEQ9D]7˅Cm*]r e>D?s]\t(  NALJiF^̭>Ӱ?vy쬜ϵ༕U`Ⳏ+rltOW;G`7)!4mYAfڰGj;gK!ǀ/0LRy|ws3`8cwPJpI^l3]o<pXҠ;gH$Yg.b1Lp\.iNyk)~4_(!lz Q%1;;A8oڌv=Fy*И[}GXE/-mTU1K-ɩCbў>mPӬc,.2fV;sC$]V6MH?:r0 .i4WByI?w޹8A ACsFzy-' WUv'Zs1~="v W_ٍ:X;N)7TRg[~љ;@M6o%9~*g&" ?t;pTԚ<~q+FkbRl)roy|zln莝u ܱǼLg*Uǜ5sM<|ԁqąj1@@cEFbAޒ -:eS@\٦%_rA$:(/OYڱUGu, 'FJ(ܪ]5A | fo[H vF&JJ ?M=X2Hק?W(nvLN ժ;ԣ8lVY7" 3$M/t0#PrV-p /ѱR~qXcnܣPU&dKU7gUԆ M1~?J1XgK=}Or賀NL{vX,&nW.>A 3\^~K/oŖY#]]dg/Y_z@%w $>Xܕb/T{$B$Y(nbMᦷAʦDJ7b3pPk^7<9ŠL Y=SO:% *Ǽ`)i4D֬>(->[,9e[Խ_vB/t ntMʹv{޹6xZͺ~Pjw Nv-;-ò |%/׭bGv_OWxuM:b*y)j c\ 6w߆})c t=A C6 v%yty=8ME)7#I)'cIEIj4ڻ 6,C}K8* +._yJ0MqO/jیIA5`b'+/mLy;moyh,ϱ)% Iב&+6{f0Ou0ߞǞ+ϫYt-jl|ᝨ#ԱJj8ж?Ŀx/<ܘA$] oK{n`6\XȄJl3DCjHiO"uחUzmA<Ėqi%m wwU+#:(\Ӓ"pbty<\vEUVl@ Y zl^Z; DIT[8umSdz3$- ^($K, 62$vťBƤ?%ss4+XYt9DƖ,Cwo}V4iC>pj҅猍¹-wW aOY#ESQ}"6GPmw7%wyABUAsmFQvQܷzuuH7պ>~GD!_TJ"e4Rƛ8H)yt 2?&7"ppffVþS9ФgnݒڬvdZ }|3bUTčTH8, UX z{NMl5wc nǼgVkJ/PfDnEgRP4쪙Am¥"xrjНRLR^BJ+??Mm,DBOqǎʎsf! Z]t>޵wm11ɬG'Rү&Oe>䦛VBB28&'s_3>I/!ULfJ\kSi8l4>@&~_Bl5)y*@dy`@\l<'[Jƞ$AAm>4 ߇{jfxw TZjeٯVf.+[7,WIIj}8 A&ϒ }6c Kr,xgnfuj?A,dSH,_C7, 5q+K̨<쫽b3^8]`Eu'!KFBH{~/~2gI`M Xc5YxNe/=iU\ }bk=e8V(trsE}{ ~Š}ۖ i<xH(]ZLµ ` \vLA^ֶU\%L_ f:fpX^DTdn0%b"&uÀQut⑦T gB ^ʩz|qIΣW//!aCƦI-[ JChɤ]j' {_XVY>9˓UucplCS~>ڢAw5+@YOb}p=8Ogk4Q4'qҟ^lzD\/T-tX-ɥ$sEf ЎH;Oa+C17'(Kk8a ̲ysz ㍯W)|$"޹pS Y /k d:)"$Fn'-W / c) ]8-K9 H}|5 +~wH}٩:!/BY:XvIݸ9WXջ#3|v@k&r}B{Ϩt!wHIDyqG퀕vƨ@Y\Pm.1 Ȁ$k nyv -6V{5_Ei!Wo6CޒM1R*>uָ܌@ ĴH,.n$sNfZC,Jhs ,#wM1aJL;L@OG7q)B`D'rx= V>ޢ83¾أBqj+<q(Ua+/pZ3$)F_n1dP* ڤ~+#)1FUތ8rNKH]P/k/J)GYanDW-? =tp{fL|.0=ϣpN43m?܇lL!FJP%@@z_IB >p-ViOU+vgDxoSdC_Y!F:G'^eog!:eNxuZpz65Go4fFa4u8?'B̠{+ by*j;LnHG ؜/J ` ӾjLX~w `G+:B-^Pi Jk`—j/9v7][*ɇ߀2`X4{dso ,SL(˂qS[/ߚj5u.Jiޯ3ݖEu8V`;ʣ{N1)J6y6͵{@ܘPiew BDGQl=҄=V.lu4#sA FoUЮrknHI.Bl ܅k8`ouy]9.JX+/T BqoQīwĘt{}E CU{;h4쳑7F4ɡ'$U0*^?OA< '=I_>]Wۀ;h5#wEb'y;J<[Fhw5%e]ΧGuAn.l;W$MAAY lzNNx;밅H#R+'x(;}).yAڴqU(EGR~3A*搠0K!qoe>=J x1D_XZ!k/@ π'X9#"Qu\R_υH!dK#ΌrMڕ =OjCI KmhsFpC)KcM^gXy_Mh'q!c[H)ʒ$i\!y:Ni_H؛kAFiݹVgtobE7" crPǮT6!yIfv?ȲGd~\mBGqHYG\|s m`ӄ8̾YbƎ'4 WC 8Η׮aT6)0-i>V:;@/Fb\_ Uj16 ߗBUw;:(ԟ>5,m. DDK,UnjY;]= cO:Qg'PxHg{90&'9QS{܄+lxJ}}Aă&4uQӺeD#~[,:H6"]I^7zC[}SDk6Ix>s_EM q X(m@avw&ذ@I==+8pń0qD%;πY5{}P)Z[.#V)JY#݆ظpmYs)\ζ7 4(СWp)+snj%8zXRbdҙi"lȔ9x+WGfQd@uJ1 OjWİY3*g~{L:{ UQ!}=mՊ•2TS1iT>_W JǯPZm#3La8/-"1YTg_Y?-c#)D&WʡgVf$v!kj퇴"LN+LP׋b ]mNKmɇ]!wŞmVNѦ~,gknrr8w_dN!mH gƗBb1Tń߰+]Jut$֤kDt2%v/}d1UE;Jd tLx 쫁t"UnţLjЕILi :i,sK6+rmڼ~?50ٰjU"L簩|U#lqEp `܀Qk4 raGb0 >l]Q56޶e - T1. o&O~qP'׼䏕!~~;Sm֫R(SZȰ0ͲuO(ls :NR[Of!3su< !) K-z9u24?FQxďi3Q/h“Vdc9(# V~Lq!KoF@FM;O%Dla\8S2D H :;c-ta$.CTԉuS[ ;02=tos$%DmFr SS Fˍ Gdo;0VfE!EcA^khd;{UBI66 LӺ{sw)-\MϮ,d4iNVߠ2bԹټt~̞2f:c-N$C' /kn=f9T /" Ք40v yJ ZE3x 3P^1hnp)gCzAGGX'( H ζXTУ$^ROw"_ z:X'ٺA4qT6w* ^h2{Ƒ}3iGY& ϩZ0hr)#d?d|ս@ gL"aې 25WCVrG#٨i$GXA1}NvL9S{BY_F04nC,yʏ`2lWpY& m fɢ@Ln=+V`6D+;+9ő`܂4,Tnn7qď[2.W1~QLzҔ۩rC=sum0C12uK2hh6pil(:wr@tEu)_t*Q=ÉM"Z_ZH y8[uz@Xӷ,o-4܅1l~nn9.`"{/m<1E LWYa!`ocT/FBMKyT\=5 hB#\*۞3ѼȚ& { {_X!`gT+迾|Unxp C-P޸+C ̓;}0گcbV?qjY`IE Z#yl<\\&(wvY)gfax{X`+{!]n5jeQUpJ─{oˍ!XE7N||4E->>SS^z'xsŝh6s|U293Jo5J 3Kw#&~<Ŝ/dB1`"qڄ#r؍,>R ERbsh|H<ݷh$NvG]ʘR&az/3P&xW Xa煐/G!*&Noә!NZ@K(W|UfZfv2,b`Hr|⡢Kr L\kW\c vB`:fDwh}p)h6WR0Β[@D9 GIUۯbѧpn)EU\sZS;VG+DvQF~֙)xή; u V_n(kQ›jJ`?cC"(>4a.CѪa8!'E%[r+NpȑM0aGIkޯF֨_km$>&?¬YZCaAN8RbDF\ %g5Fb癍˜!l:"9}T.'DkVp\v__:գIg D;G# $RkھbhfxuK}ET&_&&:,JNڎ_H7"յ\>vOMTld׿]G+!+q),lk0R65۞mWW!б}vzoUU|Pyd:%}|]CJUCΘ)S)ez=br23HDpa-C-;I_r!GROY 3\xa{HƦ|PFrrm%wjE86>p0Z5JË]Y<$f$"Qufc7.ZR1("0AhI^O :ضnMDNKHU)OKW~0}HuMgQb Nu}QyeЬ1p74&s\tq$XYfwsePA /x8$^%QH3m9M޷ ] p%X,ᔣ]'*lz#GF MG#V9HZyX Ui:Im^~ח@EW:AW%$m_uJLz0kE@Vd[,fǕ#ueiQ(.0mM,ME8#(yJ&$mvNS1Z%R4+4 1B ^Ky]Ү4$J[Ǚ >s 5F;%U%N~,icCn'MjȲ RQy&;4w,k"uA8sTjPH怶ٽ Wq5AX4ʚ 4hlE{~aٵQ=G V¨9݊S36n59vg ?I2믩mi!ogss|9&Tx^E2;k#(DP10-OqH>JJ@~ѯpb9Jf#w~Wg'D3WH)W߄4Grnkzĩκ7u> mXRȽrfm)VC-ek@Oܝnp>YcD)[8ut'HZ<O]ve g,d>\X|E6<1@V%,u9kljOt0Pu/KetOPp=&tS( @_7$=;Yєc |+8O]BU09/iӠ@uB?R@hѣ@_KySC<5xfL0Q͘}WU;N-~r/jZ) h6pyiVfN4+R=qjyXp ѹşBM92^,8 V~uVqn90*\_*i7Hf Y{Qڟ>hCXi{?[trNHhYC@QX;~X{>d;u5Ҝv Gђ^UY_ɠc}P jl΋JҔtx-%j%&TS,db^VVxvFthP]fc<{/ {A "84/XUtr)2^+Hr?kl (s]F.2L[|Lӊ|)u=pHVg5<Y '|/L˹7:b E̱Z^VlqHwخ lf`m"R3 ZT/u.‶kgXvt17Bbn)uS :/@qGzxP峷\i9&by,H̬6ȰMӓTrLrkͽ*}Ȕ& }Wa$ԴtϗJD1 wY)$愌*ː!qa¦vL9G#Ygn 7?|JMd"K*| ;~Dy <M׸s46g>eOi3~oa!\{R`ٍckye=۞ЉU-3!cgߟ`:\q<#V?="suwZqx9V(T9Iq"VsRayC1fn˜8٧X OP`M|- z񥶗ޟ,?"ׂР0h#1\-##JnjE{IkKL5NLf˳bD #O6Af";pJ!>j -HulHDVn;FI O!܊N2T\7e2vßpx&?%]ϑ>DR*%: Z9uvBXDR\ gs:m,xpO)]fOm+{il#k%t$un0HXboCDN6)(yt{cgset>7RsU "w@W/2LEž`jm /Z.ؒrKQ}KYZ:BčgS"[׫˄- Eo=!$Q.PA)MaDH*-yؘ[+p "ݦۼq1 _w˯j ܿEw5O90Y:^5)9>Yw8&plMK);Z~u{\F[>u0 m>j*C;r . 魊|2$*\臼QfT,g3a{xD8n;1` H@n*1 R^a._*%>T_qqUz /GaqPiQlr -GRl`NZcQE'w3+깜҈q_ ]HUR$HCKǶSB2 {Ӕ5܏Qκ`Ow4o)azr-;vDp'k@zc m (Mw!ࠒnl/OG; tQ!\Op}pJl/67cr=7% 0J\9:0wJZ/!!㮲q?z 핃~;YX{Cf=:oFf=]Bc%ss>J;I84.a;awzgMs44i356- C 1Qx\<Ճrm; $ C~8T|opQkLdl M>Hgb+!vV&YSDŢToEf]=S ނ_(h6buۏd)}ߺ| ?9Cu| ص*T7j9풋ۖ4 t63sjCv m.o5.kn+t XDE>@eG=9@̘2WL>Gnwu/V Rq 4DX#_Z5?^:Fo0 ^2zȌYČh3Y/˅4H/ۼK踡a˖&F=N0 /*s7irpFr6*a W %#Y\E#Nunf%F\6敮Q[Whi5W,.Ĵ̥Ω ;pt[g 8TS2@<(a~p"粘@Rl;%-n nOV>g †i"/|mu9$x#`WT gRnd4O7(Ov"]Ve ES6䗥GWw̷T}s7K*l=؈v"p^#Yr;#,aP'= .x(g=D[ l < pVnIB'AmhWmF(F ~l?ܤ= u=y^.T2gGrd߰2h83iۜIZ<;qXVQA ;k&$|\~.r8rE>EMRؖORG5WZaXo ٿoE5T߷FR~-naD!~u >d,ϙ_܄Cx"ɴ(Ӡ 4mµV3KD&f ?VXsz}TscA{)k8QVQ5UZ0fJ.IAM!aO/҅+WS~)'FdDitVr-r!9ӱ5*^6`1eaQnfP"|K2m9(, duBau) YxG41OĈ%C݄E* A6 nnD3-Ru1]Q* 2gc+u5. &}/yh]g@^כ{9K+&)d>Dd!bԗYg]Qij-=@/H CsG2cx(߉bPP76e+\Iй PH[Q3tEs # }7Orܲo-{0줌c8E,)\vxoKjR60>"iAXR^GU2w-k%K *3KWtGicJA"hYSmH^*sWCl!=YS{#Mv@d(ր>rU2|Th[>a").E*M aƂђ Zܮ{ 1^C"+11y+aQ:aBwu/J= bVS$MK:5-,ˁc+Q(|d+.OC~K:˛ĺ8M:}N%6>M9 'ǙĞJ*. )XfNS&ۇ>8撑AĢ ?]!cXP lU޺+KNٽryT0Dc6GHY`C@l< f%AJIRD"|4!!2"ɓJjIsֹSo! 0Ye;jsضC#6L wZf`=0 BG<^:wn? {#ܛ:Xzv$EkUaz4'o>v< @7EU/G * tng84 1U&%~}28{p lI-5{Bδm"[4BY,<+ =<* ^q`{Ť$-&edl}Eq͈K`S~eTM}x͝K",oTJ8vM:c3I”& wI@̷'MsP{@wh 2J׆LgoRj+{*ܨ7L29^:y>"Fު6=3X)?*XXlA|NÖ2UJ\MhÊ{,gs,1-9|HFi͓Lvj"=4yˢ=>7ziyٿ^rrx<Ii-:REOTOD_p4տm?J7"q{͈ciaW$G ',h/ )xņ+F<qj̘fU9 S_@wrb ,.rl &p.k&`Pִ;X%嫾{רLCS96\,~V{6=q{˳pūwEB[27[l3'N~-2-SMFO6pvзS Y|@Z]~-ow e,xŪ t0>뤰v|۲<78;77-pŲ?M#h5fw"0c^ 4ZD aՊܞr>ݏkp6Sq`;(w dqMJӧXHdoC?۝wW"6نE_ aio8kɀ$ϼ}ZD-EV[0=FJc{)n _1w'H繺:N(ʵsپ}˔4\9%M;$yI~`fRAef,Bu)YIϰnxA LDG,xmȌ*M")OT8p̃G( 6u,[mB<82LI-3# 8Q(h2GYaxLܲ6%`5(g;;$J$Bzӎ;%)O>ݦW_gSY/=g6T GTG\ܢn?;So$; G: pLgq`@(u{|+4%*@ d-떳2Y 3G {R!ҊiAXk>sCmŷ&j*ރ?_sj1_rw]''V HYL2;W,3YaCq.&H2N\fBT4VԊ篷< j}8R_w$Lb^c/+Es%MGx<\y>(Y:2NGmJ|n~..xW uG7R.D1WWDŽ:<H:SA4u#Ӱ,qgJJ8&ܵ܂ H R_pяIo fS/هGSl~~X{1~:+x$g.8 _]f R$pZM>d 6̋9} ͔>JA žX¿HkW:m<-nJB8ܲ2nZ1F)0=QM񄳹!f){`K66J/!C$(u$ӌ ̵̞Kwd-e0afcaORZ4&xc]hc gN>So}(?eFqRyF6Mg 1i9_cpM jp&K ֧Iip6gM 7VdmJ1gvG3I5iAZZ] & Xr $Rk}ȶQ=&b'WÎΓJ| nms18xK\&qK5ʰ4W }s #cd1 md([5[6y cӏκd|;?D{tGN|p`ff_mӫ%T@ۮ,پXbg35o[C5_;U⣍rts!b=|Z+Mƿp'耘|5Tl(#׽oJi!0㧮q 6ܙT)k?;*5A(юgHW?bnj7X<*~.zHKtBU4:pn|*yEP3Wz5:)UJ,ЭT #߬R5U8_t(GD=<禞-5-KXewӎ9umtYX`9h7%"m]#e{PǼōvIh֦:f0 2iΫ̧Lh|sWh%Vvم`K`#1m/'&wRmP`h_Q&jZԜ&jJ/oSG^@.ݐId^5qN&A1mye|`LYNkH'2_}FZ $ڰ&e\}Lr+ ia@P hA`ƞ3܃ g$ר HhtR3FQdU .R5 )`]mO륫`̥AA1P?,zGW7ga#3gA18Laмy br~lGM%Ezm2iӜvu4h]oNHQk3of i&# Ac87eF6!RM}zY Vk%\I<nW>0;'po~ ]! wo51IY^3AjKKuW`$̒uWwj;l^yn&|ݴ[(Qh zr5WI4q62K&O/%}|.yWnW:3=aW{$ ~Gko~%K̟//;j?r4o`XR؂HѬ%#EaI?+A1Uӑ{}MZ%;>1?8Gd_aB۾:|i=0o̶!l\ƙ_ ^n)@݊Pn~Ŗ %suIw[Ov&5Փq`132aHMD"@Tz}USj)7ZVb>e9mzyp 5dp݌jM$4:`5ȧ44>ݦo)BI7؆eqixl6MZ* .~O@y-u(Ȧ4#T:Q|߇xl}Tr0hPD?RNZΘ,D.VX^`pط/R )=};KaF\(q̈Nv>.}/KpYRGQφ=fLB$D7!_ɿw%E2'$VBh%$jH5/-(1>fe%hY+.C/S talӲF8fj2R8?8 8$Xe yQtV\uYݔKFڲ{QTN[c&ݦK{ыkvN!+So_ JϴIÀ5ʀh=%L-}ȍ*cbQ0fֱhgÞQ۸rA"ﴠv!:?=rtWdے# Ɓ]d8mRU fLvR;I*%KsK*=(a17]MZ͚;2MQSBޟĖ:mFHJDOT˼,㢮T@BЏ  yZ8A<gRr K-WVBe2Cn+ -È́jf^'?}|-m ڍ9Yv!ǡrQESCv:G*A SdpŐz %j%%;|ُ%RT~lrC߈r+i[>d$TjƘ*[k-hr`}F۴yӺcȹ 3xQUxRֳn,ƫHQŦvc(ŢGs?Zlɇ= I>,fUw߸s ߣ@)MuU("ᢹ|߰AF,ue#<+ oezobpڂpƉO?d Ю(/53C)Pﵳ%2Aûv7%B'h' YB< Ԏ5~^Z|in7&:!l}iڟG q&N^*@K}+pӠL%Tr>+Ep'*CVPa!t@4uOFtꭣ$KG= ŢM(-H| x8JFymW93sFH;,ה>5ZlV\eaoD`{mh9g 7NᭉGJ ;iG@zQ/6`Duu zuuFۗMU<w;u` KLbVX)C5M N=Ļ82otl)Ue}C.X.`XϲL4m7"1n[*#3fI?бдb8nYT1aϥ"v; MAk!,uݾe4,%^upk_ydv[uȾBFçqiSrjiCyy"<7*佶&?1W]sGknT5d19~ɁT9#:Q1gYZ7zXZִF! 6]ŗXiɟ1[pYP,l~ BXgzDn!EEt.5<̍K`ľ4Z֔#}Ȱ㨅%[ pHJ_yo3 X٠waUËaxQQ]- lN=2g`? rW:c8w *E ZmER)^S!SX*s#%u~H W;TeݖUs:L? e'ؐ6rJnHj]PIZ.ܬ>Y3 2wf.IE$* nz<0g}ƃO;9EI;}Ms[GmR,ǩG>Q YM<_wa 8 ݐgBV;v gYZ7zXZִF! S]ŗXi%L&ʶ'X2+>V*@r3oݢGwS.%å4t 2QH|%+F=~u4=/7&S*!a+ .u-DŽW<<ڼ(3wB.GMs=܆&5f6B*:)26N7- 'N5 Y _: NrlyIW6,tq/IΎ1.NX̐^%?(a .+%@(զPJmW  Q2>:k`E 4\تԚ`6| YQ]xGT9Frm9WVԲۋQkK٩fŨkf&- > .!8ca5;<-l!LcRzx*6dڍUma:]sttnDd\$IL- %5PKOeJc]Ulq SjېQ:n ia ~ZF) A%r澱!?řRy\3=bT-`UrށGfdpw!GP7)2&F~C"<Ӛ$=n3V>"&2Pˈ<OQi-L*ll=42jX=$Kk D0>:ClP?S"">5kd'Kӷ%u4^KKV2^IC>cػR'iG`DIAkFE9.=O;hP`B^Z93\%Ƌzvr(L_jKƑݧ_#Lu:t4`W2 r/ 9~qnRl MpW Vuz3ven_r$L`<"C P"Cc[1"}-{yf|a掤郖~mG1h6. ܙBa>Z!wnDZ0Ї ~BN]9pOIVb"̦%ERM~As]zolj!u>bmQ0S;8G\%d5 5r3i6:ecDbhX)Jјy;55 \ ]6ѩ_]wXb #B-9Kse;I7EP- l/Я>3k ƕ  ca=ؼa:Ā)Gf2YJڌ.n~bU/"c%ֳ+jd},#x]ߜVCP_΅JgGCbFLDqju Em9ϛo ~͚ Nh@u)bNcx2YjKTG`r UGf{$qcyP)^73_dJsesLlbzy{Ry.s_,>o^efN)\c1RXtQw}Z\*akthTb57R@\Tx2vrRJxDL g*Vxy,;τz喆XRNI&FUfDP`vPw,?hs|^]\_]H$j*&|ڪ"̕X!Y70Oq gQF%a=)?zJUnG¼ <"''M$9^I+𮗌+u1=7_ uq-kݹg], 6WS ʪZEYR6ϟ@ zc9pnYWi G:L3yCUWdJ??vM 3$k3Et D8DJ|Q* cg??-)4JZ8cM<-VEGGdF7iCT4|aN׿c'w;N}_)mo5^%E 7@z^<>U0`F<Ӏ -铜s^uR9gv2L^lT6Z'mK.Q83ezӣ|w88rexbOqTKc܁* o Ms>Ѕ[(i dkǚYWJ:u7l\&S3!m}Ø I$/cc=\YJD4 F>~y0{p<  !wu#ngJfqPtl~~E*%{Z1,Os9֑!!ihTOP=. J 9b=M;ŏ~uzX{~ih{ҠǞD>Mrʨ&DˁN f^FAܖ_VH:oqnе %RvDOdTU94XC^`껦R/jd1NP#cHvZQ7zh3.Sg* kSig%o s.8O Y;l9v{&wE)+lы#WcL>wCJ}sXu$_.¯u%7|=G ZKz] X X_l[!92H`NjLYM ߶ rNrPR>)'!ASUE4,\__`Ynވ5_h72O%(Eτ=% B&؂ gKsU"Zui_ө2/~>a!y0ys-*ntASL(gW.J۾7IZM5DKI23)~ %nA^zck^D2/w{6kC^=y7XPxf3:t;T{sy y>}j}5RmQ:Qܣ^$?j7V-RP`Sc\k %]ۍJ[۵6;‰TZ<'5PXF EM+qؑ$SB=&K,ye;C@{c5\VVƁL9nt|PlOqEyLC^pIK=z缸Ē$67:JY/a27nW:i `y˶'5!lig 5V"Gmg4P8-/ј4ztp a"68ϬGN62̯&D/\s{[جdܴw,dû0`Juk1?9wF_CO;KH:^ήQVŖw ӻZ;ja:>+H췲KF(IW'Wշ OP)ș9"W}Tua'-Bıs-H"H%Ic3ajVj4=Gg2_vcA+c ^on`@ =9 c\B[ M:8[$K|éi+exɐ"Qa^IǾy4֤T!$3rN3.(Kbi8Ju@m&g:?q}-nff KEm-@V}CDN64* l+J6}}VMlwjEd(?_sYs[QV\iIpb<,!"Wz5s"<. D2מ 旗eWV/;{V񾫍nӳÁ{dDZubkżo|/,^4ggYgwS=_oujɒ`QBZ/e8dz]l2}`;yJ%L҅+s5g?Q[u1@ڐ;$R|eu qI]וBTqZ\K=_Q /K?0nOp~B;r̘ثMkRPF&_ q X9*݋`SkCJy@đ!0vR 1. L\Z(w\A}`M1Wdo[LԛX:/-)>w ؁Gt7tz|᪙-!I'K ~bLñ$Z;]mԧߚeoM>2DeƩHL;kzB?9ߔQٖk^Mi{B D8do.qI% Mq$=/2I#J177_29  WUjԝdx9,yV}:k&[gf#uf_ؿ #d\:~1uWUulMʪO76u}1HT[*1ƑwZ ?oݳ秇pr)Ft' טn_aWQUc[\P,t!x@}Xy̬HhihtsZdML冰g-6t_3z"7K"ҭf !߲t{Ɉa_.G7ק圖 H( ^%wZR?Zdъe *-$iScz[J6-͔Jo;itP]4^/1[#|I N`[tݘb J+?ѭ|X $yʃ<;\u}ߊSS{X`V2f?(3Na40}~ [HWNAFu Y۱o7]EnS<4je\y-"k~ Pe&#ԛR&bcM0yAyqp5)¾9|jiٜN2ҲJۢ(غePm1jlڤOsK88ClpJCzCE! -u jz }7 iƀudxW00Tsdja\|%]CG[4_ʖ,Q%1/OՍ"v"aɜMإQr#3ilY:B bxa@Q=kPy&9F^\χpZg'H^U~1`yGl⸉} A+dlfa$2<6^ Y\\*sjt bTnAnQY7$Ѫ_uPtc֘Ձug\Dz.:*,ֿsۇ}_K^(h Ibk,:3n]?%Ug;ZD+wJğ{hTEn/0Պ& qZ `p{>/v UYטG<KauUj:JH%L @v Mg)c оC}3/6 Ya-c;grĤYG"ϷaȥF9m뷆ĥ?Mj4tU{[R<,rXltLڜ(nTܸ$(["FLvT".HFCGy @-4_APRc >۶s<%$*ow:2Ԙ%KʘbRwdc!uEBv2EtP.Gl( {Vhp=ŋ0#bf﾿_YvL-^V,Rw͍d |jaGG"ssC* Zz;rtk+bA5Gl 7|Iɢ0ڏ'(t59no. hrw{Rz,>0ѦV>5Nm{;m.IxDgF׫)쓍 ֏!05Q +qөo{;+׋-%CΈ MUۮG-# E:zJcDĎ ~ٷo>s]v"EE,[wvfSߛ166 }j%CNᕂ;2SIuWpQڝb:Wb, w&wL*U Q&R$)p\cE%G+ݐ$ !7g'yek:zx*[B irU<)³ ~vNU!ү$z*UJ^r<;q}J9O≩Q?t%z0C`׊ęX9mt@ }E8J! 1uNjF~kx*) ~Zmi9N@0񙷻2#Rc^%׭oH'~ajb@Vϣ{냰0RL=&|0v?0ooQZp:31`fï I"74#YxoewWfK=ɭˇx1PN\oX&ޏ [UX['b|9')}m#ϭTv mnA$ϿoAMKI LH-XgǀhQTUR .]͡%k6<~1(p#cy-,8۝i8811.Hg@iQm| =~i.ޢe\}_DpIL3DpӚ&'b꿭::vzkz.."x8ſӥbwgh?[ūw6}#"UB:C"8@fea$ $Αn \/i$ilZ ~mn(]y:;6՛g]<~UL[3?-4T?YO\]P6X>{N(C3QeYr9\=6P^BC圔'Z"5VRK|fM"٠&8E4@Py26S# Ά/"uPΦE<d1PgADm UZgP.tE=`=;>̑Qфp7H?s#KXI^(M!L"pW#6/!ba91Lxd,:rn74攵`QV09<44wȐXAi> Qv:ekyϜE5?nL ,0a6\ť\cQK# Yx7,b2$"fb&ݩW,"-tOC)`6Z>Ľl`@xR?ωDvM9 ĸY vUrJZL^є {?kKŴ39F`ce9F#ht1ͳ09^8Jzf# E;9R?1{Hh[Un/A'G,`CFR>t!eqpXW+.ȌFxcG!>&h9{ʚ|~SBr|DEm ؊K1Nt l(üj]hT6)U Z8-tiZLO_Yi6qpG G}>$YNlOXV0yHߑ/9lӒ,"p˗ax6`KL#DJ9[A8#uq,E}Ym)U>!POz=bw/$y XX!4䉯AoCAc*) X"v @^k4>q,ȒrUVQp7'M@:7b&]3TR t^>Ԣ?n/1"pxJG6"O[Z}Л&cPz+T,#[1/&h>Z);yC*.yCln6Ki+J빖pJ5nltCd12dKOCa~%,ȫYj;xu~D>8-0q} A1?c]7|  kLeULK=_cLډ.%@"' N2`K )qR6Pewv:};@v*1FLX6i&H:|Ld=o,[S3 Kt瑺<sYhq2`}XdcC'1EoO7Gg!}S|,{` .nUЃ{sK@mxh;${={+lAfÒV?-jqJ B=iJ$ j. _ո>AEfJmzW ,}NHsݮ N,NRJq&[% wDY  6x )FzJ+;X7QkN[o,SLIv"2u]5C6v]p-mf;f}ɭW gBKP!B < %=N*'ٴGTi/vQY)5@\FFCQINH/Asjo4 8i~:}@e ; ` dLhLPm2 b GI*qr&6`ihx2 - pG DSqف(a6 w5Lpq{5|^Ag)hV~ٕ)̕x낏z ciBa5m h<*Hs8hC8L9~dO* NHvqif}~lcc΂nj+ 'bJYKuǰgЈV<b߰t: IΫEӤg%߹},e?hzONmV +Y8M$7hzvL܈p'=zGM&sȬd5&ZaL6OBVۧ)8Nݕ;5x&:'Wn}mZ}\\X;):7 uТTדmFnpIy? a?h<;P ب&繢s|'uNLY]U4S[i吿Ss,H}q;e?A[ZhNAc\TVתA~#0/6#Ve`!e^\eT IhK;j{t{H- szL|L"wF]&wO Q]HdAާ7UMaH ą_ (( cx%V o-oNA3i(VA 6Fhv/#&]7&9ݥpZٜ[;撞˺-ޘ.vkPѪ$c$#L(DK*$*yS/մiF#ajGŽvP1K OW/yu2אByj!{pNs!PR'#ttu@/ s~.1㴨Ss$Zs$^Gn}>B?vP-N*+T<3e"8KfdY4AMWy8IV{SXfÆJݏ"x{,Ó#毗1&տh -NZvz8r9Fd^ iZc6j%:٦-ݬt/=٬ƴqqɬQB+] oJsUo=PW-URŶ" l{TʍD|DmӢy_~5C$mќ 8cڭiޭek1hLcʬ}_x FUX$գY(a1rCE8jZӵw?<) [H rpة'OұZ~X\Vr쨒 EPt!|R2Vd B]{7(e P kJq"8P1W̨MF>6C恀oqD{ݵ t{1̛H!@ RjRyZ̓0tL}H\#`m*mko2pĩ'3ywOJ9@&0.vk` ƪ.o8fpev<}MoͫWSu`aD{kR9ڠnݓw>6o2e.Ng~NB(Y(!Hw:n pǼ4 ] y"ЩDTz/s6CT^Pbt)Waᇉik-:90)uMA֡coQ \ʞ%ˁaC:cLS~\0` Li^$^ kn*9KTJ˹jЫD:d;;TVԨ;iPg:2U/F.ILcMEMoAnVqqwhwW0nOK(e*ȫ9"ʖ:N#2,1O;gb=i6( ||K X0FOJ/HL~]akm^B&9Vqp-|ӥ,}Թ3[Nf){Q_4oO[qփ u*YoIFWg8尞vD%qY<ׂ Ugb]F& [ݡfY* i8# BY#sE1m姃!}+?}춆c|./fT1EEOFLFRz(GL70QW9əmo!(l4TѸ3>qȰj(Jǚ"] wQno*4)dr[K xM1 e^篩HF}frqXYrcp]bB{!V<@zHҸ~Aj4Fi ~ǗTafUtS7W̬֟BG16 J|$6U8K}o X]ɛŹh+[1%}w_-'297O<n>X =qNmEqLxb>y>g,謢9_@AJԹL"5t*gbhW|-c<̅ ZLHZV58a!ohih.6&80Z4fYh!'k}Ě(o4ؓ$LsgpT@qα1j= ǨdījjbW7)[3TML>>3㪮 ն!z6p]ڙ+̃$XJ,c& 33zxmbW NҒROS@فnU:=oG])D)k^ZZuƉL L/*wxD}QSA(׋ze|| #-}LzeC|;Kg. K{DU]V s<{#X/MX1f'O夶EiƩ +FtU}fpd ,.DLl]`P,]H^ΝF05kPRwCxr1 ?k =mK 4#KR5Si;ZdɣcӞA/Xe 4k:lyM7?Wrw l.IJPo^Yʒgcy*a7%pֹ橛ޚP:BE=iKtHau8IRU3a@ׯu#/B<[<-{-跛ŋ4A*s|Cս1Fs8 sX( q S49@݈lHPAg9Pnk¨w1KikYyۓRiJe=l ۽m`wK*dy`'V-GlsFyF͠6{E0hjʧas9{e>uoXQy[5Got) ), oGgc!5MzC%]K@ݴ?o<= dn-'"Fv} =1J}lkuhMƷ{~0*AUK67b}9 )eԛ:cQqoԻVMd`R}\H3{&F}dکj̋A\UG<{W7{_Sl (!?f6|8-/)yefY6BN h?`Q7