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  % %#)tLt ]% Jordan_Hoelder:threads=4elapsed=12.424cpu=46.076gc=2.0247zXZִF! w]ŗXiɟd)&]hS.J}+%Asqd4gFu05+\&c1CtK* VZ$tYvtJv ky4I7::kԽ͊n. Tg.Sy^a8WI>؝?vXҿĵ}ܝ4.5 x>M#"q 謘F MTOsYﯾN]RƼ~pz!a]Tڷy@OXa-I;9imUpV@6`a4עa.\ {7.t\jnFvWUyʛM5KK1d7R5Oߺ'Τk&^\W>?4щrHk[|δƱ8fUD+khإ;I;gW150QcD`]#g4F/Nz2bө@Vνfq/H` M'U{Kqtpy{Ch9;/޹eCPfjá6bVV 2"%kp.$F?\C"QZa1*xZwQ ##Iu_[(\^:QUW8 Qi hf,>Q |f!\z89Bxw4!$zgYV8{whMP]av?"vcv&lg%B/H1o 鰱FSFɕȋ}W>c/>{HˤI1vS9 8jW֔^IP'PN^D9lZ fԠ-DoaQciJJgg^|$={Xzwr>6}R9 6Kд8b'D!F2`~`;)Qמ-[ZI3hZ$-iW;)+7> W3CW Q ?}iD陎 z]'=/,)54>l^`^=&[x'-_=uP z5=$jb]s7(1ٸ'חsWdG[wOjvg'g&ގE# ɰץV8yK>)pNo$&FݠNşߵ{&gQB2kdO RL~42 Ng.<.(G`v+e72dEk4"SPĽcc9дA\CRw䝟Sd#Wyx)lMYoqpy(DHr&anu s,l8 8_&u~D=(? %[v1*:#v |ϖfX'_D."yA;RnGϖˁʅBI - ZHkZrQ0=//PҴ̰}E©i+Z<>SƥX%hN6R:XM%;&Zּ`hT>eMnff(>d{$/U3=vݙ&hܙ%T}ݳT-޸!>U i!\cbئL$csw=#.iAiѬo.H(<I Si[Iy*~&`-_LQ0'!7`d|~S]vɎ^ > z[nHÞ kNjXgHSu1h{+>ĐPە^3>'M)߰w(apz[+%77W?U5ܕ*A[EGf?ፂX%m>LњRLFD5LXa θen:0Ջ,j̑2/qJHo`\V1x9[*/boֻg*tH$MA2Nfc s6Db`m̺:̐$5䍘=nVK HtM*?*-ZCkCkvmFqZk"l4 8 rX6kd`ГkWತvb|O<ů^\ո4]q"YE n`WrYg@s0"@i%8j 5 $2/Lqnu yNB LrܾsĹg2f꧱0L~yN%{ʝ6 `>ŢoLYH.T^ ~Vptke+Ѽܑjq}"}f7]cVLIJ;SKeɈN-fnw%^ȵxXv(,K9q*V>'kW N%S(M+*c|M6ig]{߶^u /MM昰w{I$X.JJ~ Z]6qkJ @jM󰚥Ov@ae/>F+&zW=KƒqߋzB J5yxu/ ezQvup+RVX|J. >68$]dDQC0fi_=Ԩd3ɵ*O|hɹg!^J {z%!mHE$6L\m x¼!Uo8Y}vfc`s՘t~̑)2K1(_}3vfLq&:t:X^'#0]{ٽ@:܁\;EVTIiy|e.iti\|wkx)`93t礎o<Y 6I9s$c+D_~R i `IQS)wjZ}rvy,w7[KԺt-KxҦW5K!'\8ns5r,1KcHylrP}ڎSKbNPG'̗7RwMxY?CA%HL JMkh6= 9ZQIIZLUmԝNhA+YbȆw17 FX/V@[@$y9KPzOº=8wr(K.,MH} z[7^5 "zSoUGKٺݞ㸴c2'"_r~F]4+j(tZXKL?Gӭ$K$鱶 M `hvv(|j-a ӅFVcm xA HMW?4;/$.ĽA^mK)b}OCVSl{z[_IDڧ@M Ze?)d78>` =k<&u0gp;$7sŬN8 1Ӯ g8IXl>&RR'RLE+(ujFo杏oC$lɟ.i]) 뱦|o" Yr' nER Ih IZr?"eOR~z8HH_7C-YjJp9ҥ ]rp" /ùJqPpЈy5ͤLc9 m{U;3P|Qhg]N^ع>W#v-o;}tA>oOOyz0j8Q_v?BIpQAjD8o)`44|E4T>VW>G].*+#]ئ5X\KJ1$y9;<|67)0d RbMCIPRh$)tE@ܞ]I6_7că6D#҄e z~'?2ۄbY# Nb?[>rY!d4+U(&ì[F{Z qt;nsOWRX*V <XiA`$AWimSXč:af^xҗXWlZzb*p3Aa3bggoJ3FJuh!Q4+\ߎQy{*BQXh!䅧bGwec^U `ERs=0oK͖׈Wf[#>4pE$p<_ /ߩZZ]*i3#xӐ]GxxƄk1?= J2*ȝ|%hPZM]zN`>X`jGv{ƭ#ݫj {ZtP =t+ߋ%NWZxVӘ-eڗ{ErE7i>z ]_k؟`AKm%7Ā hdG[/ KJhBU\eez~Wu<"ԫtGxY+9;XE"6W$?~+'g[H/B/#5'bM%GeL#5&T̓ g96UnRw2[/ "b:'Ȇ mQu!W6TzcJ rH9!*p% fA ^Bn8P!>M3)gέu'"Z]C><שi5 O9x< RЧN7cN6P})Ē]EI mđ+oMxY=D-Yw_weHt b7sy)Z2ȑk 3)=D>'ފ;4c 1=Շ}tcRHalDهzYD@InUPPCH.}IGPqd=ӗ|s)4Qc-u6ڇ[ɝut bXzCp+ƀ{zll;.3VtPvӶW:7/yyS=N808:5+Hf/%`i_Y7 .yh1_Dvi#0R[_]@!Ub%T]'J6$c-Z [6cٶ4BFF9퍬L" (> p:Oֽ26Dáta4OI.PU/>7;?'& ί!Ĭv%54آJԝMlp2Sj\B,ԬҷKz@`> M;93dA'l0Tq)Ndc+l'VqFTR=ȃ\򐄣ߨP+rI1`MrlNBCVڥآS}c꩙w_%Cʒ\9Ŕ1Ti@Ve5R Yug($pIRqIQ?CxTh/'NqޡԴGZ&5cb~4g7֥G~wAl"$0 b+/TFT1\evK^θ/5X&+D|$DŽ8I9AeM `3 msaeZh>·bhK|?z:&/6h|IOtY ӱRѧ.Dl i>U%#oev0R v-D]Ϋfp>lhmxX@+?y EctdUp;N7)ORzoLEnjzgP#?n2Hm,7g鏻L'8܈@l#1:,aӑw=RiX ־4QJv oMBwaCd =Wb/u5|<f $a)0$ƙa\-f,zt9KM%kmŽ>J[$~`ґLf/?/-W#p٫r~K.@A l=ywpũjpUFTBթ-_n ;0p*$]>ie 抟T' wgBJ[!;a@}06uD)uKF /hLf `#y%o @7|&Yn[wGQeZ,De\5j UZ5hum:)C,+T$*K{=HĒx ԑI &L7h_R]r褴(@;&XA6)q=/<~FUj5w-s8y_'0+YʃoEky1E7`t.F& Ȼքb#ANj#]C!Uz,xbMJ&oQ0gܨ )L%Vz^L(J+e ӝ.o0hPţZ) bՈmcyBGո/$}\gD?;ZFɶ#D}qQFtloߤɞДsN\Qݧ2f$'Pyw_f/'sW OiH@@֨6k-%e Dw< 2-[rVzֳ"fk߼i naʹתX}7rۃ)DQ~B-Bvӟ> (@x4hx7qߺ%(?@8W#eaJ^EKv*i2ofȲ{5 .;Ǔ)jf-`0H_/tWSZfܞDpYg!]Өx3cjOBU?BH^:r`J7 %ZA|zGI]%/Ym3fČfpmIm@ٍdNyE*[I-gs&-dr>1 kSCɱVhvxatKV_Q!,HdGQڕoTzR4me7tr\Fc7~$pz9gM]2*2lQgCy,"^ެW akr=Ɏ|>i! dD ?NW3zLǮw:paܖt."|5:Y &1- f)e+9= Dq-I:vH&fds-K,5]lKy`uI6q'NKUk~KEqB Ψu)t혨F(tUnp{]+UģZ)Ϊ4V.IJW7~KrhQŮeuE͜w\f:MCҏh_p&g[dp+ɚsEBI'Xs|KmJB:8J$-VKidK=KV5 ܦT4y+qIӣy 2$Y3֑hnK=X5p9堂{|(Ď+->b_R>ӏ(ݮܕAr4@Bt3.w6hciz}:r"v7w_ǂ"6pj<=zױRVZJq~4]1Q2UmQtow}JX=v LK ?@_ NJkDUjB@QƜhu :&a`qHorӤY c#[Fb*HR`3LMU2!7:Y d"(p{lK  #=;nhN?%3,g8t2$m*@G4F\PAf`.Wؼqx6K5Ә`V .F_鹼z]kd]SX0ى4nB%0cw_ĄU5i0IX:SEA@B?틲F3e-.)`g` ]ex~i*q@ ]׷E2$Uek h4}E8n%Ӎ&%G)*u0m\Y/' wt 7"W7CD3 ߋ۸NW h@O}!Z[tw&9o )KdZ6|~Nj z]1> ݝ37ֿilov!NX#f(<[}1PUgqSL]0ü5J[2lO/v8)Z~gg#ȵ] 9bu JQTΨY6EO2,hA m &ne+iigDkz = 1inՁGg^ >g3TiWQ&siq א0:OSxM=)l@ QD8I}@ޗbA 㹖(J-e^x=׵0&?J8!b^Vf~mŹ^V2{ISh!H6[]+v*ATr BYu0P& VD68a\4uh+>Sǥ> ̟/pB05ot8\i"_à :jƷԒe&eoYU"acdus?5~rP؞~o!Aa-r };(+֗\:>gJ߳wʶ)O2^HQ!7Il;lSO4S!/j7>$B~GI-8탍O<"Z4BmUoz$K(8Aucp%pk'%8EjgVtV,=`AO]wG75iʀOjL`J76;gv .wKg'K᢬hdXBR+ޙb+5]id(1 Ycer MbRw܊2QX#;OcRovX6z+lN_}ÒZև 4܀a>h[$mt4ê#(@OAʦX]: 1ZF7gâ1(?T8wp? >Ȝ (\6:z!ޞ ٬JX'sd|Z B&wPN,&an8[_^f)w隝oa e fm8ۖZTwC[JhZjkxP%|ZgtcjA"\0 / E+d-G8/aTuP9u*Gfݐ$\<^~DtsisUzSg!Rcx&=f% Lz@u3Ps ]"2')U?{ÉgtDrJ2( m0{M^j8W[?r:ھ7e?0^;T74xomD0?s=pg!2jXM~@@GɌwt @Kqn3K)efJ=ބN!@DK%f eyIqӠշ*kHO"Khu5a~H:3ap ОNIzcU-2=v>}xDPz}Fenąʄӕ3'0=m( e>UTˮ{E\cޕ:Bh~UM/NUi2̂+*ƉωP!&e0fݸT)d%oIDÆ5$F ;&!m2Aնxo͎w0k +;*Q| HaSYA)jCՕ9֤fsQ'VWN'>>Ȯ\D h$my?@†}Pğ> ZӳD=Uο[x8O/ht~{QG/P/2 `1 Y ؈W ~s0ZnX2V 羙;ɹ*HBTmPv+فVqXtnHD>I`דlt"hS3q^Pt:f$zl5\drvD*͵"8ܫ--Z19S@ot˻c#1YCЊ< C@ zx|ЍH0P)y0Jм2D 3Q1?DzSȐ<63 G%e峍 /f\!"KZl'˫̮4OoSOO _UphkݝNHD&gs㋋f 7 ĖP㚛tu9+4jxa<0ඛ }{~A;:etk'$ǢJ' 2o]'3 qhwnW8MWєƵ2ߡPctdq4=g*;5n4Bq/Dɫ]$z5KQa;/j:@OQ.G#+5khI=^fOLS~F7a9z.y).)ٕ#mo{ k*a|!QmJ!˜ӭOa,Md$L.x]vFm.X(pqcP?j֯Bh5MVk㴠< S}fRIn%4\QǴ̺G\ _-v}}zo dsfW(^[Gl^ YiM( P%S2v"xyXG2"3s d|630 ^& `RX_+9$Iɝ.Ō:Wi>(㔪% mCEFu4(lW/Zu9rB8 ;c(D6I ^o.6.@}eh3˷,% &-Nɖ]1~XдͿ5B: 9[hLqDWcCKZɺ1m00Ԡ$n^qmJ^G3hAd8%Ö%LJr<'7#H d?y{M~Nu b'd֙.c}`P_ޟZ8ak0W#q6~Kߍ\:f,d2}/n `Y$}۫Qh;U,ٖJC_kg<-PO4 ,^$as/r j/8'}^Lv|[9Yx2I7*ڃ4+~07=qfοOj-e7BtpKܾ|MVFц K=R 6<G_}a/탘Etݿ]ŕNN=Cz5a[?/mR3&ng;G2wƉ…Qۊ؞dRu3pf(6ɳb3 @H7u OkWޏxvC ''9RF$&8#T(BI g;RH3vVYU?p~4fNw*Ldl{5c{͝,L4}c3̊ fgQg;Gd:|Kg މjv8x;ݲK|; rgF?<,~nQ~:!Ud;^0sh`OA,nyh'BY.P?uGI^P'wKp'eڗcQtW^Oлb߃06V:ZqVn:YȜH1A2A}4cd0B6uc0|Yp1QЫJThY  D"3V9/8ma*y2G\w^ N˖P (6h&[7]S,uiC$4"oWRzrm(r-|̀('J {>ģ„0zxq_<>U[%}H߹/5`rӚrɒ!|\;՜dDJ%2fzW^)7x=9U`rx|~*;?r[>E3{7e̶"TqQNFɂ*r.ivx7EdhY8b\v?Uѱ`#AԫzZ]N҉Sţ"WGH2j¿)xs tzܴ`TjqXtdDDUk,S-0C m,ZН:j}< T(#TSͪ9J72{[ܟt+h{Y8w ޏ&@dr1vl}QXnHͤڑ'\ml6{9bST_$?Wly|v#O_/r?_Uߌs={,E8bq)zV!A-` (;w=w]XP8B?3@FQ/M)B.Mɖbx~ooWtೠ"=9$yB2A$V \:Z$7%G3; {-6Ɲ}ezm_1+n杝tNʧ>b>g6`\V_DUDӄv =\h&P):1FؘiNr ~+Ek$W~иAh&D)>o-4 "L̜bٶׅ3m,߅<\DAX8o1h =6!va539a_ͷj dvp0>4MN^I޼<ѧgDo;mI?}c1;(AR|(RJ!tLh`<`؇ (K_VrR7ZfY>NJDkBy`Y' ̙&AG3$}q/X]30er]W?갖-w ӵ߬3]HHݪ*~J/FF9 KB: fz[)731B&W/BEP)wΡ<6Ҋǽ'pt=As9-E`Uރahh;ŤCj? F& ey%wm ?yߧt&cR濍T{B7u]*t.zh!h-<G/;,|TUDo i좳ys: Zk]}ҋ2]"]OD⿏0ZtSE[a1=@)z˪JD $)2UXlt҄l2=4R]%hS 88,>u<0~t ?;%.r\H1re3K<4h爛VCq=.ˢ,ɭ>gܑ,(^B~_-x%'rJ;Ӄ &7kF :Ίob|6 ڟH 2+*<3VͯZ45x SI^ZՉX۶V؎SM6R.L&{-CYpD/Tks ; `(DkjTUhj6&=Eh`v*H["BZMZJ2 ~q-#6`V{Qgxpb?i#>KWϤ:-A]9`pنͦWF>M̷R5$ Dj~zV짔ō!'gd$\&MӈU|6>Cdag @"}vHуsc9Ϡ@6"l&Ww_U垯| ԤAsdЂi7Ռ o!Y4qb4(A{r^ާ= 5߆-%U MU8٪L:] <c ַ+;zv6TDT圠K(]6F}oݖjG@PaVa!z,HaB\0F53 ` zֱ+y鞋E>_ L.'[~aĸҭ6;O,:긊UR6'5{"*R O Ώ4o!{Wu Wl$+J\$|Hk9烢X)[uB:xVť {qF 7Ûwy0.[܏e+>GH PTOsr\xCZgp }8ikdpθ(P*`c~v߷úzcx[j{޹2h/Q*lAxZrf8n> $F'x1,RpYA= '2\x HÙ?S"ko? ^N(z{5Mqް%wԐe+z8'㎍ZMSynGbcgPIv\ֶd@;u+?8 П @O;[W6V]vUnzPG8w<ʷ3vq$[O-؄=>7హY0מxwP*5߅ m.X9؂vշr]Er?>7g*&v3)9aUd޺5ԎD8l _ ims+f T9?3b5 8/kα2|F*sf(>: 3- !b Fs -(3^س&3”G2ZtdTZӕ;f1*!ss:Pc3~4xݧdJM0ޘ&*lqG8y.KW—"dkPW)Qm\Akx? c ?4`!2: )Y:&:PaTMܶs d,Sa4iW+ OK F 9v}_y~ DCEE2%<,zYT1% c\"&𦎹̓N9U6qaH (Qz6.T4JT%3.s߱bHJjl&gP2"r02ˍ}Ou,9c bOF3\T-C~웶<(\{D?5A"Fw01T }+mR|_v2 73 utsl(gYoLY!9b > A@mQ4<|bOVǹ'5+c4he,"@-OOp.##Ʀ4bt9˦=ǩR59GiI#T,&O3.xaݳS!ĉxo.:96rp qi?~AF:zg-4Q/Ltʙע^ӆ-$E[rӒt\eXF&;[ Ihʪ߫{3h9yUuP&G}9_`Ү0$5(e3 bKʅt<8%q;g=V{7+QͨY&WJ$?f׃)\1Z b_ǩn-o|Mty0VE!ד.#cسPKBωyQ7ΐzI9JsHb]mxD؄=("i3upqyaz?aÌV+8j|izO4gE3`2AֳF˿P< m/JqD/UX/|]LІƏ[^ΎkCF$PT%[,IEƐBO/֜k4-JZh}Ç3zCN?.,1ܷB,rGD;As9OgSa?m*yѡ|%!>v/h"5}x87=>yMI=nV\R_/vPȓ:fD&~C}8<ը n;fg0c* 2EϽ~J<9 U;;^& ah¤|IME61H4Ab2AegS.P2 v˴EHEFh@iflx"]+1MkXj!dGɬYXc2CFvK E=rKKs$22 CFQjiZs#"V`)X{s5nK]>t^.0D *:!+[ .n}=BLw۴I4liqſ+[` zRL9ص"&rrb`R/x PY"\GNsP_1c2VۋY\g˜Oomb/ԝT1t sdx7 ,G'^\ E}1B@2QnGZ耡>Ur8Yz[_)rj *| ?3kv{)dB6̀ ۏQ0.9&\ߋiëQMmH:/OZȍ㖪v"ژs‡V>T悔 uLlށ/Y'fOA&Y{Sc_4sգwJVToLa(L`ExU,iF*sjWxrRJ% x7eGʽ9G)'˒ZʡLu,]#{̚};#E`VDwn_؎@妞ω7]_-ԋ [(ŽXva=r F)ˊy ޷}bη-M(,K~(}ȳGI'ŕ |j:VXѭHq`'<%j%p0#Ln,gkIɌD>vGuSAl Z_T^_9MjS:j!dSE 'PVqU/۫u0#9:ՙ B8Z1'c۵8a[La_״Òd>\E+/g>4q˧GWOq<4aaOC+-^iB{\۴]4|[G5f0~L07 ᴧX^}w3UxA?2Bs%<9!>RI:d%m Խk+8- -QKO[Ʌ:u ;j3=* ~' K,JO姂<."l[zIEdDž36p!R? Lu ؓv醵fO"7W4@hMzOWt>"kV c"P.lBXU]~QuE-IC \sw)YZW^,"֓z/QarzLcJ&GM7HyMtfa2Vu8 _Q"k P%yJ vll^ɔ<%|y7rdiPyLsi"s|@MyDjpE{4'l>hK֮nM!:~lKPㄡ/2# .OeDO]vtF@-sFnl%XuNseH/^xN @ƜV{hYHA񋮅& L+eҩ K z>X~] xw9dRy aC|< iT < {CH,Rg:cHi<7n4%;+M!9%g`Ɯ2o&%H>.Q=qF*  oNIA#*bdOܕtz\xNA8۽=0$\7;L@w%=G2Უ5Ϡn [%@a 9#:=; #1b`~A=Eࠗ3j653=7kEwսckbիe[RDR}XU{֔,dq%(ߕ108Wac?j\MdmAgu.,;ohtVH "e N(y#h 9zGm:x^mJ8ƑA6IC{KjvVS<7ai6U^ƪt4rTo/"*Np˜t o:Ņ e8'j#/wo K't{:{`I'  jयЧ& XLf,6Yf18Zqí9[4kqYyUvlЊIL#ʔG錟;,hH#Z}Ǵ  3ѱ 0Eƨ<9!#8ۂL6IUjC(G [3919NW($f,ֹM׌_{ɭdRݝ"ZoOf9UǰOlE5>bS!+~i2:!uGɀ.D dɴp|dH֨N.ݏf>[i~\Nܬao ]?of;,r8۩K@r2 W3tSg!7OPscjDHW2jl'b̢2wH&ހA(*FKx^seVpdžYj ^ikdnW($'l]$;+pC<$qM.RHB<1gA$!a#C `{:_m=9 nS6h3n$ې'(Qɲ tv㻥6PsȒpX3MK^tIH򛉏AoΠU?0}ƃDi,Ge=+:X\<ZyrC]CIF(a`9KJ/`[0Im/C"iH"3TdN@ّNd&_Xg@Mni. -r ݧ1 `\;G퀝-9F3<8&jC^-uƸL\5*#ww#p3@IO-,0)l=H>lYG;Q;  ;I>%_p[EVjrpDyHV\v_E15+Ԁ@j j͕m*S5ŹKW ޷1'Ą:옇?H_5 !]U5*~]m/.K[ 4[bYKD ֞ XgKYZ2W J~QLƈ/L o/Y/K y#=}TT9P}/ɰTa͋_nϯ7pFm*Fu]ėGhKkCKFJ .uhQr~K};JNRw `i ?Xsd+Ύf4SZKAT?6ՖJv;CIԭAt{mUxWYx+~  -kc ^NIfyH2nvu zQԉ'?ٵ`xG;چoux4SMR9%!}]|VPO )wf|MhT jkS,~^FaPRK¿j}DW'OʓJO~vGGID_J6rSrIX554V[jʪwKih8A/a !q-#I"ylsMYfmi;gg_K 箭nb=CV1Sz'kAQ%9?( #O'r5.:")1m2tz_wҷusNa HKzE o >cۯUc窈`ԫZQiSx3H|wmy v4Ϡ QEml{ous 1|2k΍?mlsՂ;60]7 {ʏ{jeIj*8-_"<#˅Jy9cE/,wŜQd'7\ˡWB OtO-KI@4({6=/Sp3Y+> xU&,@6ƆG}{K')fT𼵲l67g,äT]0K9Oaq ja88Q0!6'eY߃,_ۣ=>ָT*0\7`~ӆ[F<7[KТyIiRu„đ[܈hk "+𮊗h\oe뿥6MV5&2Hj=Ƴ7gp4H5kx/5fu1i\PWDu\ NغGK=fǜ2U'pR9C[7.3q3Pn(T-ҌfXn'S[zT>j .$"󖋟8B;/#A Fw|CH~Q̦-&7 :w@l҈p:F[߭C,7 )H69^4e5N{2*ҽ(xIo[l8+G="K˃׊}(=؎]M)W"FCfcRqϙV[_- [inү|~$maf„, 'J˃L蛛ᥑQ*"nb,8ɕ #3w"62 >\)VVGp@蛱#tDK#MXܩIET%P('. Lhpk F :])HY#3QlyB>\6&=Œר3ChAjS$3GJ}~74ӓq='B=Ro;}d8&6@=uNh.n2/#O`,RqaE> B;OjB )N]3Q% &xHzK[A>I$Feabh;#Pb cW!^ K6Ix ѱ3 4Jol54_ 3. o~ٿ,tZIfk 6z +@P9cMX&cwΊ!~ãc9MAl=%ڋCbO4>e &t*rwQD%"tE<&4MoQk28"4ec)@2sϻD3<=ba!oL"Τ6= " >^#52'goq'!c9\qaE ,2?5qH9HOzr=2O`pBP__|ճqV(6ym*fAUL ylK1 UE0ߖv-)@,YGaPU&72@w{[~AA.ۉ 3EǕI1EpA7;޵`ȕlh5Sr4&Bk\<0 qǧU槚%S w|`dUJ~6Ǧ{kNJu9OKrA}Sՙvvh=׮Aٍ_9^yr?R%əJj}gC':AfՔeQN7!a0QdaPέ>€ %WxNs4V-;YC:Bmf?m|#UuݼĖk3g9̧GatҌc7ڣhۛ raӜBR0"iCXY!2(\tdfD7X=:]=@:4$ C0_HsD6@%= .3ּfỷy}cxm÷rھA(k܀==":x³|mU.]p&"A1;sh;D:UEx~`m[;'PUG55e,^caV;- YO5 ;Ou&M.!7j?f8wMm;fUΔLosX;7D = Txw|HxS|ToUZ}l&2u?(喈v`1*2d3k6?xӱ0܁恲#ߎfuIZV"- j({\p u;1&S)Yk9-' yo -o^* uЋF2wriN!%ךYymwے\/&Wbܖɫ/%?Q[/tz&)Ͽj$$p,jjul`\,G LK/.O-6WOEQZD` -hw|YxpCPRwXsr K?n*SA?sLQזY~t;Y* }7mQ`3 PS\"9=|\i>FpVkr#|.;#[K w'P ۏrb-)q(NY _jʦ`((8+ &8^{Xcېxuz]fj3׭QajUgoa٭KTWD;+6g4Vn*6bLbʁJ|ÿSL' h d5 =X,Q^JVAi_Vw(cg"sT(UCqgzIE5HC*ar܀qjW5dn {e:̼Ӊ,tGӼj$7ʯXG/JY]oZrk'. |(xj~AQB¬ 狜ܼ𮩐 (&6S1$`S ;FVZ%CW[}[$L&Sk9ܤg2tc2o=ۉ2s36ڴt wV>{Uhw Lftisi-8=IUq$`jRkm#qVk112lDeg$D_SE >dcF. g ;uAܺ|D.O5Oκꛈaǎm0hAuY:sUWYc_MJ0PEX*i QPU b }GPj Vr[-_JQqJCyoqv a!TU$G8h/<33ӄ($.v?3 ]bo~ת}ƋA++㔲>ˎIRijgXkH`lAO;}ڲ)YK=R3Ϲ?s>trЫ, Rn`-j 9,9+cf3zHW in 6pR+ě^WPl,%Ox쒝9'鎿ѵ /c3?v8gB0dj\.Sr49Yc^1u9ӫm\@CH^ *1L&m*j@-}i dbFįr_3ۏ:@C45x_b҅H{eymvI3uL=ykܚ5o1](֥3Qsd|J(OZڣَJjj5!x:5,m",%ĩ3 4H5ʸG 7,9/͢=?Dx. & - ^C+ ^hגܫRߥyPZO,HiI4|Sx`)f49"|xwI.'-͔%9N1Cʟ7h( LM|U ܮy3؟~(c q_Hyf^q2Pޯjgc_!~CygajE6K K1/EoSL2Xx30o3v%DQb Vx V#"ɔqx۰T1=p:;XA!RfgTBK0*i`Zӹ0C/X7*Rٱd3jᖷ^>?Zzr?Zbx_OmHm|;AC*StHL@ll@|W3 }SF3U`aȬm?x8*e6`Q{:LʾRO׮ )ޏ~O#ALuLa\Z/+moZ*4v~E]VIƬmgkw-!WyJ'iu6pz\j&ɲq[4wpZpFoVqװ/}ĠoPKjho`ӯF̋%$hGN^(r?bHp܍ )Fn.WNB6GIZxH0b<)O|m N-?M_Ƅ ;>!8w=/ :NX%aSV5LDG fCkQ)Jb[NQJ|MU{1Uͩq^wZ"}#:/=~w8zf2['20vt~ wqExSM:K 9ύ`H7CUK-Pl%4Hom@i}rx;3`c cHcGV)κ݆aß9j,(nVY#?;,aߖ1ijD*Yʍt98խ3liG. Nҡ@Qqԙ4ʭNzi- Ǵv&YnFlLhϼv tzgi^-yVQ3)G=կL}ݭ:sHM"VJ &w$RP w;U5᱌9RWWɳ 0knKeʬ!~idyBQ=Qk)+S6!lzCK#(w-cep'$wO`<z(^(C>{rAϬ?_@e)i)!C&V-ؽQCSe{|IHWfi!έ9rNT%@V~D(ݾ_%8O>>2?{3 xR)Ϋ!z:P)$qIPCii!P:'kJl`pm/U#Ri{Fj{"c/Y?)k 7=JHƦ'e3PmײeOT{+7KVY@H$P@#j$LD o|̽P3*V֧ȖH\!Qcl7e|-Þ*g^5bysŭUgt4h]=kqD0/Q$Qiz"4NVQ蒪b%VD-,+&ܽ:RW~wz>rFH K$BI掲؋J?-A/c#S/}uoHti֯ ZՂ PqH(k3˺̟"j/kY4NW&ձ`e$q3 }GSqXV_Xhj ځЧ6{!Alatl `dL=CA}]'+Ԑoey[ p8B':w޿ jẗ(M /!J'qS  ۂfF a5*! -Nrq$Q[ 8R}PkC¹0Y/6螤1xyh_Ɖa@k-SK G}&Mߟ&]=]`\C mS=}:F3(S,s 7ZpȂ㶸Ɣb=": NJ烣zO{;+=1NzTv*;OTۊOZ~u6]RZH: `4\ސ^"|Ո1[C3r[?6\q2xx$Ǡe`cp½PB1J:8/g%,ɭҌT$@W ._I1/zw`L\[&GKE]N&Uՙ1@ >Ap=&'~={-Rրޡ׫"lp>j*|)gQU:8U_x,݈[>fp #yt }iUfݻ'tUO4҃Ң4F=W cmW'X` s*y;[,գjSbZ>"pj0Nvbhf'P2٥gf|]F'ZRd3,gdlp~#"Y#3RV㙑.Nuod h>h]=""\!]&ЁVxa"JvJDA`r* wN_ܽU# {Ыފr f\ CPVC`N<ՖIwːVF焮9xEbLfvY@6s7?}@i=.Âq4e#7VC_1g0V1l  l G#;RH7UL"J~hD'Z/P4 Kmד^N#HoFw" f0ETÎNIYgNiaj ͤJ S6Ex7 %854ե Eq HFm5SKCLb'+О f{z6D#N8#hs놬>-q=F!e{#!4.+nĂKH*eyQ$r_<56 &\Bp0R`d:۠cF<+Kw\ Sp.RfN`f9;  f 1<ʝac)~=iXާ[Ȥ)9{VZ{c X![X,Aʌr?Q%%٫ >~ӏ^˳y1+kR(v̹9NFLW/ϻ_w݁Y:Z;ovE6Ÿ@7{I]0S$ >o G '܂b2D"m? H(x)C ;j4pTK>^b0],8Wn6s#Us~‚ VL]1!`~3ڼsN"\>qURl\vor4pgl0Z MTtFٰD@E/wV gKx<h2[7D8a~r,/[SΥ9`ΎMIʝɂ*uf=*FYp&2* WK>h3ERb," TA ;1?( 4iʔrt:qc@@LD;Zj_iWjvkG}¦Ԕ Pv7rP+f|eLM9o&`Y^2*3 'd-\o\5_.+_3Q#5GcJҞ{:Juׁ:` t&-q4#nt5fW _'grhnGK%$|%>7ܩNJ}nFbtc y< ]4[[rx!?HwL\ֺ"`+/tƕO|ū6MDm[pKi{H#Ō4A #7m-(ƆUڑwmfXx ":u\ۚIkoCMQJbH۸[c2ӹ1+C6NH~@7zI_st>;NNG "% M"cv)E%*kU +mxWHPްb5C@ѻgKHM4EsE[$Gziz(J]4LV5 E,  4܅oNBxqzl/Uè9E@LWq>PqU=I wy&6Y^t #AKMUqbD8,lŲp˅8@rDzv E9;0bQ<~& b"+Se;I0'E?*YC"s7:/UMw`oN ֌_6@RM0}#G[۽ B3S( %#"COmڑef0QhX̏9h`'Vik:91(JmDʢPͭTʫxʪ0.hjTGרq\WP?P~B99Z(ͨ3,BKԗj)/@X ;R1T:#}٪+'I |QnxM HCG 2o/~~ wKTD[#gWffCP_ YIUNpeԺ: |@0qY8VYn\o.w3s{xB`% /VEM4=d";/B& % v'l6QUDUmKC A}Ro-j&}Lv^8c.EOj H89]Uĕ>Jerw#kW,WN6\%g] .0[n6rщ6oq#@M ,g:"L+Y$@Sщ˟h]^03cC6Co<;23\,@Xufѯp%Utŧus(됐YɥlT92 i 4et]ęeҮ~oE{>_z7"Xzbj2Of </of""V qAWa >bhh(sv*wRЍ-)#ّtAM#pb.iHU٭"pzو|kU-ՒzO?!+2&!uɂjeMPUEO4;@HZnb&Bħ> s♪oR0) E\*0Myw+;(:*7>f !љPLTA 853eA"}W]?1͉ܲyŬqdqː_S_BFgi}wDW"iG( }\y%8 KM Gz+HTL"grph~7˽V&ƒ'jTecTKkH].YYiX|#UK;MJ˭ , ^"rG3:{:̉sAbj(Ⱥ'$l, NTB|1W~=MTdQ=J~V680CHMV:A1P7}G)O2p6=2 nYnniOLc, eXq|jCisÀh?<I+qMON3ˑUhX8ESPK}iӠB7a?Ϸ^9&-BQ0Y0Ӽ2R/~e/&Q%'Jt§낐dT+2loD_8f%8pboO`SOty`-cL(r'=BzsC͹ rpڱA$D= .hEgC|h Ex\r܁5ʇ6E5?̴QىrŁm e178D?'?pQIy2@ ' {!y)󠚲bS$x3GՉ-!zb*HYRRdsܼߪ:VVW4zt"Bg%!l%hrM0pA:\ۻoakK:ؔy>æ@n4/ܥv4:=OCMFT(e'2|?6BwYIڹV!>znჽ^jQB;/TRXWP'7+R<`$68s͙TF|o*51V]ʪ4pg~sd5{&}La%*G8QQ5%&8I@]= BTY տɸ2pI5Ϻÿqԟɝ> rRRsEVg~7FԶaZT&'GB y۲88T¶=8j^Fh#Y&#=< C{븾]){i>? jfe$26BBֳc/\p{ g4au^3=Jr\5a{ ? `e-)nS ОΈlX-ZlٌD\Eļʴ~e"Ao$mP;־>GW٨5 5 1gxKg+Vb OH }9%Htp~ Ms#}!ί50uYǦ<:"I8MJ4/uPUVN--b b+w Iue#8SٱOs/'k[ sھ/H+?#6B ڭ`4o߇]&z CH\~&-#^zK<H*+3p^МtG`a`5?k5^]OlGGwkvyz8{cvٔ^9gT1vx]3`sz]MX>6KOk8)fY6 Y DO''}q)`J`jK=K@]x%tә5~ >dPAtu@Ѻ,D Q7,NGvY@\!vuIa-4nLK}8rq9 C *ZuLш < (╺?F+(qfZ"|9uyx?:肵1gkȋ{Ay.)W /\̂oIN]˄}ҿL(o{Z>%%$}qv9/ϔ!3&_vx6wm \NT$DT @jo+W;/*eQP/mS/ڻ]w@l=_3 Km'}&+NCɹ\&ءtS_'Rz6B?VX? AB#˂'q>I]//X͡&g[ X O4sx[dO+@YX7~dh /B=:!!ģLX:p0"oJl|xG`YyS9?p!"=x4-ɘwȖBRNdYJ/Euj= +s2˄SJ4H?PhbM!*6$oe}Wm8{ʟqn 1L:iыz(w5fb{9HjݏL|A4&d :D T"7-hhd:Ӂ!›[Ul7(ެ X)A3U!'+$=aBR6͟$aLQX\<5.<=+_y7a8液wwydWM,C)UXmKRP z~tKi:K%1i{;)6Chte1%uK]*aJ`;^yBP} G<(7a%ʊPO]ZG\Ơ}X%٢aTg4ݚHJk F4eu b'S$Oć ?T#V #U:++"eZٝд;T)׸<|xL.' =4^6j |BHUm`ShL9`[ C*w $-8+߁BZz`j=[נFT8f0Ȗ'ga}}RA,N.A.Rݜu&rqPϨڄ [ 7?*%<3cؐ R@'*Ǖqc:X;jL nm=OrГEn&IH_I(f{Po7-u00R̜6IQ:Xzؑ8t/Qn#z&K u)+XYr 鑤F.rNw_էԚ!/lUYᢷkvۑ54㽼_NE*&y4j (2GtM[9o㮲: P~9Tn+r(?X mN @I]}n1)Lgc̓m_fs/7~s+bL q\4%^-!D#(ԡsF9ɥrV5[5x^AJhUoj4fwqU~?'5ʆ(H22/դ }*R- Ï_N:xߛ{h&3О5|>{ۮ}*첱%nt#(.+_LOT<~+M}rz.mҽGSIg&'tj<9NA &+FkZΉMixtM-t93WF]l9.+Zѭ\T6G+c2&!\\9nСnV*oC:>O FNt7Z϶PJRPE60>7[v%륟") ;Ax dl=Aso _w'U%AvUY[79!,QɫvW,0ob_xGC)wQu~lUm#^`'(5,Tmq4E[4n+/W0iX} &ңb|niI']KdVxyܨ-}m`fq曠GP9V(5q=kj@opkAoO+lkqC#7188b!㖥AG3C]Pv \B *ɨޔABkH0Gj@JD< $3-YKa R ^# Aj#-=7~-'yu+:iKX dܰG@:?9U*I}Ə3S4'?7'K(˪fѷ:U$S3͗;t5qŋ C5F~Q2!Ov Vm3ơ;,cp4, F-kL; J9I9kXu䬧rXPA*>A0[O4\H6WJfS ",h ̭6:;i 0fRR;4 |y]g>ʤBAG&=פ[|ָųҫk +<&W |&>;=KVa\0%GˀK*l!y*.+qj.Ta[E?߸vPs,(pp;-uٌu@uD+B\ sޥ4y9~hBkKOJǑq/Ӏb ƷRhoq{*1]`7cQڑ~D'}&kVGqX|Ťo]yx'7> -=E٦%rDdz߅Z(W#wv Ss, I rTUnjcD4sS6w_~⁳D={zY|v#/Do9(a3,90;LL_2\Ku=MmBLʝ-Zĩ! +"hS1!Ģ~o4;z4pdR i=i Ʀ c΀=v;vl/^ؗ61pYEWNb02znRI HڤgcsTR),~U;{5rjy9)d|#('yzE޺7z@_1hoB(Jrz"1b2/{ݯw=W4;#!C}X?7ᰱ ZR{7$B~X -1?[+>.#OhqV<3CtCO@Pܩ^I7+UmX)-gYZ7zXZִF! J]ŗXiɟNGV/}YHE$+N7\Q"^_^`0O{? >N喏(8)9A`Nf UNrh)>grV¸tB L~vSi4Q١ Ҹ  ϥF%2/C.!|Ad:u|A xɒHU{!ѐC,x$̹r |lx 씥xѬC-ZC@'rHq}TgYZ7zXZִF! Ks]ŗXi%L&ʷQ]NbUVsQBG-3tB7e *X("-e,)H\Fp#rOrB.>حuN~࠺0ZsսzK BOLYcyv%k7bIoNoALnzߢ_t+9 ?f'^ۂ9&(dQRr;hS} CDhYE\%Sj 1*~ivT+EZQq6 ? \ &1@7[6ƇuXgD)қSVV쯣0-z} kDَ*0G#f=nV>;{J#{ə '|*w ? S|Ye%EaYGƬc,]shƬ 281r5m`{Y2||[z@ S4S̫Q7Ɛ'csPv:'~TNs @(b:[6픬Za-mn1ŠL7wR!!ֱ̐?zIg$0 z~:MDUW׆~ߓ _i(<"5`22th< S_nF>J$e76S6ʉ*T"c/9ԩvJ=W6[[aǭt}ӄ?]=}Wϲ-K,8vu.4T[u\$]3aJ6wSqOF˗񁟛ĝX}}+f0  x ˹~QF_&4F7z[ӿE]:ۅ6*`.*&1<34*ľv gB/5ҫ6]U37;ȉzZ5#~jرM*KQ;l@l8iO#8[\sq{#x&KF!Q3ܯROÀ=%+f%2.C3;cWsZO9އX¾ =o=YEb"xz Of$K[ ӡzT* [F ?f04c+- PZmΪqT:Z"řES:hwCp⢲ِ෧?P#lP12qnA;B/ٵGֶP袎w^V_J kk!k##A CxsaZL- &.PTRX (Q_RH/cİ^z|J*Ca`+zNS־WjMp?ۘRFf6 AЉl={i'Q?E֜'tׇ0erڮjLqoQo  tky|">mfzv0O&9$>mv \š.G[84iU V_qHJV gYZe16f4388e0cf39f953a5299b87e51748f32d59fa9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f 8cc92298169404804b4a3efd2b3ca5f397caa20c 06ba1ffed38a897411853d444c7e429c60878177