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 ''!1/w$19g*nk나{ HC>5cW Z4y`xXD^&\@HKoqllͲ5rk\%ǼIlnX>uBũ hk );OZ&I%Z,2[-(Jۈ8x ? *V) Lg;AU8" 0MX= V \Yj+h QC⎴ݦA2t%{#YV|gcxâ""Z˅A$3¾x'0x C?̶V5"x\m˝iҌ7"e|-c/%+npVd.boY[™"rM݂uמr%}񸞉[u Vj?L0@*IvMmt.!䮽GS~`Ǭrvh1z,RA^ĨN$׃b zCɄb@KB)5i#aF] &<|^IG& ڧ#&)Ϧ\,r(#"p[Ge׊ h{$7A5 |ؓS7ǞH͹Ƴ'BS]fn' $RQkm~[ȠTe kH \F8oD{UwkҰnN3G.YE u9JzǯRȤ%PsaQGKy77uri0+pꐐԂj.xUR3Kboyndmh+r_}T\ aO\"G`~ҔԐ~dCx.a!g,s&|蝵ФzLMhR,-ozѮ Bmk:sHp px䧳 zx4/##V1͸䮁ON/NWJfJĻMU N{-qًvil\K&2qq0?7eՌTo! M|,d jP~OQpg!@G8(4 - Icmuivv.~XJ)]\8&C24Z.C&KnbaCSf|x.4eo|I%{JW~ZIdAp /:9'P?ǻ3zeEO\LWETD jFjbZFQŏW:Z4/"?\r&;w^SIBU|ǫ >;%֨?[-麻fz yf[0xkʋ#S N7/"XEք Ell~2w_StbСȒ@-tpƛq &XCvalfF3ø' L[fLӌBFpv, UVy\D:WO4~++ y7=phmFCr,4mEJ2\YHdlF?*AVQ^sfǸ6LS~nIP6FD|V\T ;5 &ܬi^jzӫer5;{jyWIf?s]R>s#Ֆ!FDKHyvfsC:L|gӂz;32'vZ2.Kp <+</-ieEŁz"L:-JJ!G!Bօu1 0ɷ~ͳTWh%Q~NZe>y{X~FÄױ7*9Vot|kܥ"p5]n߅nեGz:8QzhCq"e\N&{T1X%"iOP?qsI=*J+ĩb#sW#9޶ʞZ/yyaG\V,KdșVH$d7UDZf)+&$EC+}> *sWCP^%٠0Za~/1tIv(q.+BOaNR+I4{jk >nE&)"$~a?uiw^|MՎ<)&0ڰH8-W]m"600 FFi=]Uz̏gDEQSJ܈q kߊsEӞzx]H.jb2h~#= WZmKm9Te`whCGЩ94U[}h, VѸ;waKdXv0Ac;h_y-}۝n^wZ%/\`Q1i_ 8Y J^avMcSWE񈼘^o,p_u%-˗Gê1gN^v@y"˜_hxGS9>H]o)ҝ*}+(GlW Wsg:bp1$իMLÚVa⧌/WJ΃غ> e(wJO bUOUĆuYqoU]ژdq!rI0䳅a.Jl5~+#GlwPhfpp},6qmJUy}(|HկtwSMjG@PIcK'*y̰m4d8aOԏ»Qs,$W$#uO(s]8ٷ7J">}f3#~ U $ dAXY.?Rlx~J$,yzu1'2m#jM%=3 1 HOL-Decision_Procs  зfIAʇNa穯{*`5ڦ_+lź1I% 8n]1:X$pH?uje [_w-ȿ!{J\O`El#n:D4?/oǒ =7WBB*' . -șhbjUDs528i&$ۿ۱~(%vߍSݯH[>Bo$S2aMWߊHDC?},Iw#;S5U\da}\wnᄸ+C&ԝۤDI;V%x%+g8THㄉcJCVL}"n;^l# 1)k'~9poݯWg=hQr/:wјai7ӫ9hT5˜nTQU "ۥ'bE!p@3GQ%^ )-BuFC#@*-TKԝO/FVɀ!׶EǶn0ǥ҇[*a1ECf>`@<o!3םK(Iom ~-վ˷˧鈦n9Y`<#HD^ʑK-D&Έm`@,-&n9Ŀk"mӕi5pb5W=-T+6|O2٧%?`A7 K# Hl"̽=WsBw8[Tgc4P߳℔*`ӜxyD-rp*:ZW :@js-OW,B>i5ŤccuRrjs+ωxuhWe! !„+ j_5++ ?IK=[5 獹1wiS+ۂ_H'-$67 aWpI687#nby\GW#q8[PiE{Д )˪+CwoA!+slYX\XE7UQjO+׻\Tp}7ecIHCXsU֢ED(@tV ȂЇj3x+Śs _%^kE*uy/2ы7*̻1Jc+K1 >VI3n6)g8"A@{YC|B_Ϝp?\E ȅ"Ռ啂yءd% Y=Xq/U#b ZLz[r^bi0$(;JckJ̟[on3*;ܺO=z}4Nf+2a0j\6iQr.vuc??spF28E;^. ~We6ҙA t8Cԋ!j@ʈ<.]A^K?>oSraҗ(|K~I>8i7d*]2`X`$@$cr #̊ݸɌ̉Zͳ__{6$ wǩf%zNG%BԺSom<NaPa~1{Ğñ^cIa1@Z/ bwP #.9S)+܇^-Ԅ9cX_w_`+O!,8~JN˯brRdߓtːѝE`7qQ9ҕPq畳re^25z/?W1H).k "ǍxS*[(QB2L*Z<{C+A1c0Aŧ!cʐ"^0z_ENz'U U -M銘,M<v?b~!;uKں&IŇԶI=BOP[!%8B?PgSDqA1l)#@1ö+΅Y)j g=~xR9$7Ï *q W&QQz晱t t.hd[쟞Ɠ/K@N,ƕ9_6oq e %dz)B.lfdi ],l QOcn^^F9h; > {("  `_XFcKY&,$:NLb VL v\ŅLj/kY2%bJ+f !ŕGJVCJd^bqiHf;ݝU1"{$QY|82܌x<% }9~@nx;q2?]Vͻ a>ܼCeqXņikS%Y44f{ѩV19$\rc0'l 1@xhіy)'È^}CrK&'Oo Ɩ E@Ox,_ 6R rJH|4ppd]~[Sl5ɀbUx?Ƀ)OPW#ۧɸ8 CMm)I 6-*+B}3>} C8-JڧoL?ٍ9U,}!; Tge|f'Ns9!&aZqS>`Igv?޽&֯eop߰f@!%v\(1;[,{ƺ؎p;p ݐdjn ;HPrXblyQ_}׈4>0]>wlu„3 m~F)@"F]Qct}ވ|0ы)?AJMdS:QgH 1@df0'p5;Q|75(&B׮9L{[ U~@Xn;V@ z@-2;ơαgYZ7zXZִF! \"]ŗXiɟ17L? KxlWP8SաM~>fٺdO.b-HhtP~?N2i'Ձ^6{α{ (a+Ÿj,MڷSJoh%g̣E_ >xP@V b^B(NaMf.U<|gckɮ{<Ϧ0Et =2,KfcGZn'X?7F "DyA©[6+KaX4d,SղgGsKӡ*R˥˯1$K5E3 5.ya'b6/E`v5Tq k))'"wN$?A8Ur&32b>KN-5xb쪍};o}z6^pv- XĹSPJ਼<e~"@P-Ӏ}>=Tp>6ww|v_M!]2t`>*4衺aL4ȳno08ݱor՜J;8dHHFVLȱgYZ7zXZִF! ǭ]ŗXi%BĻ*yKɑSq)Z* zy$t9"ˊ4=RP?NMlotHu6pAY1*d39n?(&|j(iXrnT0 ͪY5P }r2 F"bF70hT8v,Ӟlْn;I-ߧr@ f@؟w=]|<~ZC`*<+7 BH=[1RLY.>4mL|p=vغ2 ٫KrоRxLg-e*UnzS]Se>k)p5lpΫ7 2@0qN:е.@̀g(AtN!".zK?yHЕ܃& a!p{r^"w"[SaR@jS3)LW٠U~t&oaG4 \I=Ww`9-求p1q!Fs a:ԑ /7XGPDC_ T,ouzeL)AW~&q 3tLu F{#=F5~vV_NZZc>qwyz#*P@l{'HQe@/%7z) 20Et/ě=-9RMvn8Ǻ*aszPl?[{;go~X۫dKrr&C1t ~3v|[y&w[:P`99.,:HxgĢ6"]4  )J!ɴ o`r9Bwd9Wly평WM P) ]X/T6Z͉z{ؕzv.SE ۶^] mXp_H>V&:;3QᑸJCd4oFǸnPc{Dpf Lg!P#+>~n)fSp&\GJlz]W@ X)5beGI\e0 յ` CΪΎ =m?E 4=至!×wN8eHHi8y9 DtǗZ 5S =yjYsw38$9N5ˎΑ4}>QB;Q5{$U_%O#Zf8?c߀2hƒƥ& F1GONS+Wf\LJDAiseT͟WG߇-ݒfr/Xܤ$D5gip1yb[Q!9%% "^o%-)kqeUmRԑJsoa' }/cF#dhÏe Dïc4br3굩z a-hXkIfkkWs ێD}e ۼŔQQ+*;Y(p 8|˒0TVfO6:\Ptby8W;TApQ" LRwL!*e2ΕsF{V tX}c| óZC٣Np]d8gf@636\7aPzNd[jW,v|8%#8ΟsFu2J=˺r~L==Fʰwn&Zm,6~r eZ/@! :"DчHS/J8EwldliMgӴ^ 4զFf9UDf[̩SdR%O?vS(x ~.k{zN,Zz-G'#쩍Ր*x:A~R*ЦXͬX1n.uT{ȳ_$^HbmS>GUCD:*<Bw!3mol,{qgXq@YB`SIP]T!xt߿ōNr,;sxHYXa3v96d%G}o Юnäl1=1U9/$nmPoweNU MYJ|D[ Vce6S]q"ڬt+pw?$Ud N$.XB7|`X'+*48Ac9"' 'mb;Z}>P1rUӓŸĂm '壓?b4SՅڃS1JNK'c4^@Ͷ-l2$UGYPD"Ϥx9D=NBM6C-CX5px^>2OjtH#N)4a%c)|`tsF7 "T's{ihtcMa3^C M٫Ϧ ^LP4%S}~Z|P^n8{T}IGlO:(*np|&0ZH)4+-{?/& Vx^ \y}yXdXy=V7j^Yva)C$ u*D#dyst?U8($ oMGCJz1/p%"hoޫU"!xO8ROmZwKGCqgb"@1掖sgq\TpԕV@n,=Upy399vlat>Jh홚jKܱ.6/<\ҁB/ym2ml8i1w3 ]FghEn +&ޓ9/C#dK5LM1#%)Ȉ|`uPHVX ?S کd8r`r&( ~xPwq`F@'B qL UDמ?3T oٲi; nR8WC @1$xq¾gNɌUT@zx.^|{ ښE ?@큓6dgM䲊,%g1pgEž($"9Ƭ3['{%ȍdZ*y?1(EA\j*B ~Of*&Ef_AOik\lŲpۺXE-*/eaj D+¯O>JE}M(0o@:M MJ:/;6ȡJ;H[QA.df_Y}%E׭B!Hw8҄rly?3XF =yOð^)gAa(x ہR=ޏ qCQBȼ._N [;xrnYO;n^NPr(5(X,h#fnKH7R۷;}7$0=ef{^B}:_(=8T?U@4&_cĢq7;nlIJNoZ.5򒟳OVPƳY_&1H\뒊tj1B ][l'qӏםd>?B!'2Z4aZ,࿏`C!Bƥ٢"V.c9=II(>3qM?"oU\ *!+QtkxE|2}~6MކϜ†iKN!EiB,`@o . uڀ !9'z$?o9c5Æ+(-\S]c7? +q8ޫ$ž]TM &0JBa2+<$sRڂDzޝLo]LٞHw*"&Xgspq'9ņ qsŤZ*动b>pO0i8,k3-UBNj;1C}fs>Uu4(09R'*A!@-hR6Wq0dEԼ̢No.cc{O0 ]^ODDd/0񒊒 (pu T00a5fb^E٦2"jR"rN}U~ Ȗ)\F,!g24*K'#ʵ0NObtd){h NKT\a"y.l'Y@+8aj3DUfI$EL3nTV= ! w'HRkYW \^r,s29$Y #;f2M8aHȚHv?IBlZ-prǂg$v $q{4W -l1cuAHzi#L\/$08l~תww_QnX\rx^N_59=4鲎ؔjWs-.ၫ@"Fw|/ؽvu< TrC=#eq2q,E>(J-^~94aR0H3H6g6eut.O>֌fY І>i"3гż:fM.Cۥqn lF\Gl? G(Xh՝(hJ\ȕ T Nfi/!M1u'[ZO^\Y"q&+aev="0fv*Wf f^k?}mK^P|[>X%M4׆+a*e*J/5w4t-^z*Fڹ"1FBB拱"Jbl|}T`êJײ`ZG`. l9mDM  J[Mkf}>WO*ߔ6wf9-haKI`9{>C HirwF.Jqөfڋmu G"y_!vm^)qqxR~Oʹb7w9+X5~Wr(ߏbᇘzT#0߃:bQ͎DŽ(#SfX%&& 5ڢB(R)L_ ?$/ot9Lϱ}\dZ%0Ҕj0SR:Jk,l*T+VjF*ߘ]Op dzݿi#zҕy$XTXl7LFC98_Lf۽M)78^ǬV^@;>ԍc/TS`˜V` (&bVa޹7a:>$Cs9 I?R:0wqzsiJF-e}TWGF}dr|!YU޻mK G6_/>/rj3ykS!}ɞw&oQ>ʅlj ^gILM9 ak SsdvQrd?&:P5* -W}j):‰ OX)|] p{vf?y,AZIla!3X>@<:W:n,^>I50|ڬ-:Qgi\Sk=H@^ ќ"=ΗW`ΉiI{1Ҟ젼aف6/ɫ2|Oesou~͞OC`'YvS=`eʥe|T$p'J9>yL2>g0ºhnaA?oMD4ĝ"Sճ`$l;]᫿_̤tэqDl u*kD6rz܄iIvbS;m4<6[q؟Fw㺾gAV)8V 2VFp|dz)&OIא=7^sgP{n{c[_Ջ f ݥBu! `(F^1j]g9o:=rߕ靌 ˙OKs|?4R "7^IIIE`- )/*OX+ uïtWqZ'ji'У:[{'xCC1U#8K,= X7`' /_U0:UT6B^+=U,c`O?x (7VeaxSʪ4?eE7"uLG͉C Շzݯ"R-I MϳØ/@+ We?>/ Jݗ;Q/K@>ٞy0#} '6[8Q_%c<bSVKu_-kFø'2%~}?_;z \W>|h<-NIF9z џMXDvyvP8%R&<@El37>qe3,xH|VJT݋V5A dl>\-+q^ifu~p]ّrLLac%z-[]fӚhe|VXG.K|-kr»Fk~Iky !6H Bg}`*^@|K@wO2$EV+nZMn+hx"CS2v *6}^LiĆFE`r'fC c"g-[:֫ sLHr 2G+ 7[9Љojb(lMHgU^|ٯ}\g^@TupwbRKb2=[N34gv1AIEꦉC]V|#' Nf%ਔORɓWad'͞=ة~Nu9mH#}MFC_6RݭI3T!o9RP߅idŻ{vcf[`4C~xQșG >O+U>|2zMCK$|8OʉXfwOGj*4qwH=wvcyNse%$C,啦ƕ9w&g(ǡQ6wzho=O=7m:Wr% Wуt&ragm" g[k4@3IO0>DjN':oYOd Ltv~%"x'1fcO/ώrt;F6;Y5 5L0|8tԤ.j軉J\ܭ 0)\!AAr3DS,C2$RDŽXM@exF,pZK518 3 ‹?Tӈ[0׸EQ!= ~=3W㡼-y68.@౮;Ӌ{l_hd_U6>ە8~|ߒv""%Rc$ò0 ʩ_k3tg)GI_@GtJY:Jڿ_qtQ8(ͣIZ'S;:IM/Ň"_>ꩆ[ M'5:/P&^9:@-F\7J9~'PF9١W^ۋ #ex)񜘢"r21G u ?lzISNa  J tq过<.奨hc_~fa;D{ }BYS 0( {'LtM>bPt1B鏏n@_NJ"gB%ѽaIj\]h8.eY:BŸ9BG[W%\oe*Jy]ѫ^+E!1a䓕miI4!쳼:2b^^+. F; շّkzQ^LY/8]|"i,kT>)|􉸈if K[܅ejc3N< ءz$3qN@%c'9m(^c1 *3~f+=# BT&k`YP7?Do$v_V~7!P#cvztWl7ʌFQpfx߳S (/8^bݜv^\@pVIH`/}.֝mݨ(Y|bC26C̞ZJ:ČS9.Ȝh@FBbr?^!,t1͗=Ep\ mo ;XĖ[9+zET]afnk8%9i ( el%bY bpF7g|-n^q3I ] << uc2"ƇI]ڲ Śz:`+p+AK7M0ZgJ59}ᷘޗ>{gE\ZvH?yHk|CEsgtr1S߸[ݸ;-1h͊&|ƺ[ГI[,U\1#\5Ibc~Uf>XƆBJӗwؕg9:#]擬4< -%);X (uHe x3|5ߑ[>DAAD'h Oa::5Hҫ.v> Us >p!ӟ07ˍ yK4Ph߂xMƪ6ɂ,[#=(`P­l/QDP2}3 >nͳBlMA%mkѹA kUl-̅SщÖMK=7Zـ! fd.1y6 B#K`a=,͒겢„Mcʤ-wtbk+ 1bܟrNϊEBs‘≠8^7RJltg}=]y\pϋ9m%͜z6#R R XBTc>VE_ǷNz>vjV ,aBaSUKa3yؓ㢛y|a80QStr8BE֨>HE4ֳu$99+N:Wi NR,xK>ӄe nhĺ0CSS3\L%m!dz+Tt4W̦GT@5!{q:p5E³?be$8ynjҦ]QQ(kð+D'#\ xg>䐼g BQ T565GjwNW2@,t8^,%f oIC\ p|]9NYږ x AI*&Pݩa1,OlQZ=G՞iĕK.1PoDBYüy`;K5iv9cb}V$F#zdmb5o!(0cmZ;6]%iZX< ݙ#~@}ZLb Qn2miP?t[7&zb2>8uE&Ǒ?H;=3>ŕt1Fq2>sݱ7Pt%[k%tL@HyvgyTH}eǨ繀6>aXh3W.U'oݢjpׇ:(og ;SGMYvc]Nv{aN0!(έZr*5o~R7.eL 7wLEEzm}1Mtd'0UQqq44h@]O|wc2:lZtS*[6e3ܦt2Ɓ+1tuS7g#I +p#yTm:lLkdpyv{hKD"8,mr4<Q-ؕټ0g'&PK{*uQؾU 6Ldq SF9b<4 Vr M%B0׊}T4D vsK6ͺ 8F>~ʒ3MtN &7mǥ; Yo-S]$"u\&9&+T=Fw;2t +Eh'%kW&a: Ҿ(6fQa[nn $&:"i* xGE_9iiK%C-՞ZA>qefD-GWO*m]Pzh熚# ~z\`Bԥ]1O{kŤxHeԚϥovfᎥ'*МBIU1H+D֢$W6 ߇7f<ɣz~0XTVYM"ؿHv+p}v-Jnc.k&|u]hR԰YoH"$n٘-?|S%~ <ukIޏೀNx]Z( }IðՏttFPHFN)Uo)}Z4*-*܂OѱY!i$CG^Uoyyr!tӖIdccC@JJ0n]Q9Υ=EL}$Zmצ.E,|lYDo̫'& C&&5\pԋoUfB+M_e+`oޢpvfb<Tw.Zjs-_ڙvG`q$ze-.Y.txe̙8 Dba|t"4&+; |B;(/ z^ՠ<ym ^~j-i9~a";%$2a8Oݠ~LRM~Y]e0 T>OA  %WSs:K;|Y&k˅OmP济2/Zq!Ĕ Z={շ'(3,9\bnd59GiWOɄV ̝77c$4lӝ 4Q(Ҋ.LK5bi-K`&?>8H s4߮X"+eD"gWhiΛ :,2^9Zq'O4f)3QP9B|f\T\|ꮓ)3?S8~4Q4*ys=? /Y[;S e7Vίpot4\]"7_=Vif ̜7[iI XœXNv/)2Bc%n=VPRdH< ^;\ejl#W`y+ Hd7—bvd[?mHzVC*i dz-;"> Z>3ID b \BŤi=79:RS7ʲ_RinxO괆ZE{_ fKwҿ'%;ِoV%^%RM/-GB5>K:(rNV&k]1$ًԵ;Sg] 6G`<$,t[<`_8,RPL r$"{ŕl dHC>}k8 g|M^oјc˿ 9enGvLQP+SoħE4X!8fuUv驻L J"0Rvx^ w'ӼXY72_粷I:dER>=PSԑ.F2 r c/6FXJr´ Uds'9Fpn|p(+ÊP!O`~ÈD+OoBHhVuG+6T~Vko6)ӲA끃-L|>G,&Rf*` }d;6rD"519ݩe&E^TH[36.^T¼JmfJ m'i,0AH&" =ʑ`nd>s OI:i[˹qbY'FvE-!;xA2vplN6Ňigqq2,ƶU ɷ&#ae7rq*!+?e_mk5ZiiXd|XP^wXxM;p,}mٶ y,9sd#y|aOak*7Nb mmũʘxHm 6ʼ`$~6.z =PdEQ=xazVl't@N ƖbSxVnCh$># wQJi\\]C`SeŸGq,h~NioO| A8;6E R̦K7#[J\3}Omq0? ){mrLx[a<q%yeJ7! W[_?IFn ҵw"8]FT%3NO{%kO;dO7dy}O$yp=:*,(#U(]%Cf3 3*$,qN5HFkF/Gsok4myrkbU[RܹBLh~9+}?\%w,R'oaf.6:tfadH lwxcx0٥D2h 2jƌ!,JvQytm.4;7Ab>+Gdǂ[)vDurwnPYu`ݲjal*|&["+J,Zr|تѥNP^(QŦt,$ƕnکښZ^ې 4CPwO 5 _sGp֩|t9}v?}?r#(~Z_"lJyl|9}'SdN{h-cꮒ[6ԸD'1ͻX_ uAd85&A6k1{g /~z}B-M=OW2/pRζ5uJ >f*ES|q1!?!M=D4jgGHB/r,V ㅘ'zaEbdMͅ} 1^1nN2*(]r/؜D}GCiUPZU`i2e'k}^Uo ݶ2W5N dv*b+-1̙SL˿b;S߷$rŨ9Judn<4] ۍء1 .ͅzAA) evbf AS5 @69(d3g丒y]/ԧ?Z1t5rMB܋ܨu_u=}rAU&G9N xfQ`L+C kY_rX;+o&sߩbLj1^с:J`Jr=ʽRO|#N6J_L$9[ǜOn-ïRZGwْv1LOp@Pː_ l7Bvg;D˃n5¾p<8 ׫V\{!׽ëhx3N[[,=%s0IbBkkݠ+fhH0ٙc*3F~s%Q7o|YTh]8#f v^|%4GXƆN1_&?1eق-AsH1O@9\Q@ޮ]q Itb_E`eVy i{ yE'[Q7{H^71IHx#r-AUCgrWO'T{[ q+{t_ܲ![.aWNϨxҒ0zoʏ(q7ZHBa(k:Փ ϸEI.F`s2,a$xΉ[=yA2X$^eWMT!Exmpޠ1p"F+ǺpZZ> Iݥ.̳i}f58z=zɚ[/\,dr17s7U V &N@ThYcȮtލ,81w;r2%*.b$6Ff7B2LL-H#N'S2opf/CXёS1B27K#vc=Q?-mS { EOʔд@Tz_2" I/aة!fi'{`2>w;8U@:_r{T9v;|[*Z?۳:;Ho7zZWFu@ V{GK>.rhmHﮠG HW%H9 X ns.83G䅏:c'K =?)'lwMOPYSbX0d?!bJ$A 1Ž{-)A3s1Ǩez`M஄ژgGp@RCw SV3E[sj\k$7+/1D Y08M7Nx6.JlBQq}C] ZG\Dw\}k_DYb-WCN4D^yE!ZTV=g|@\ W8yy$┙OKy@>7 VPqΞm?nɣONDZW365ߴ# ,^6Ȫ=t\7~ nn0uY Zށ@Qe+zNkqɼ@烚^(OjIYsxV%sTr4uf_"Dw6qMP^J3!\_?x-vp.j"%Oނ&eBTd`a5rNo_AzQY0p]yw`V)61ɫOEb!ٚ-d$[# Iu(F!kB\$]9{\ގsZ@^CI_]R>;jvQ(L՗P Ǽ.3A+TeT%p!.5mm!L&[{hJ\2\SƤ^Hb"VD)Rj|)}ȇnf$':7Lv}UߥKl8M%M!"!Xapit.{f$\ۣ>'3N$>8[|ʜ}`my1B_[i]fq #t9S6į/?ٯ)% R_vĦyYӍ@y"iGz}KsiǽKI&L[ u06oZr>p?ۇc|r-,bD5(Ku[-J?c 5'RU~_W,+̈́ijxN*`.>^(>YUԟ@+%~-*w2 a(Pv579WEi )7Yy YRj(ym-+2h@?B;.e<,‰]bWx"UpW;z(gpqnzץr0Ճm9FL x7>oHf!v1cA.`uciZ#UZdVoCCtxD=/ٰc+4fbGN4T^L@.xhj@ qlAh=h$QptmXY6-( }܉ oLjގ-lɢTmniA)3 ҿuC1Z4VAI@{2/cv1?u%j_@Ѣ$̽r?bGf;β0˃FA0Q˕Go~h^zyå]Xq8i1)&.˃,B(a\xbF Ff)uI!D+.'[9<]K M,մ7MG41Fީ2 002Chr{t >0 ui7I}{4ܔ+j\=HQ$IDW" !ioj dGr>6` H6Y6E83/jsլzq(3ށAdPR?F}.DdJFXmk'PH9H0u1+8`r ?o ܷV~@,MxRa[)C,Pacxf5B}66VqmẍN,t<6RlOje $HgZCZO@&($ =3yv/9DӨ"@ -doT,Lm~qXϋ_NJ"1՛FQd8Tm d4{ַX<#g}Ӛ%>y$D|_Nr7ʼnj5 䳱1AD?c~Rs!)LhuP 7Z>aWi\%lėUPmasWt J>WytpRK"$%_zHmA8_k 'ؾ 6sBx%DQ j/w-J52ztBZc]xIav{cLf@ZZZ˖cJM۪^2pH^%@LMO5@}+g99GA"GZ$Hb/e :0^[I.te05L\U+ea rƍHa(uWNz%Qa87﹠.AJJ$ErUpo )zU-2*pW*zZc ]cNM'xE5;Ӵ@BdڐC1J 01ȹ0k}smbNMu]Ecu UHP`.?{"vr1Wa)e_6I|KOZֻiqa +U`vZY؍ 8A3-5@!B7>AA9wݸE_S\Ѥ7 lZt2 3h>ܴZ"SGՉ Z|WF; )-ەFDzbcDڬ*9bhHsKRGOR+^A>%7gXCV'zr`75B`qжVLhJ׊Jh p61,y+~JUjߔ7$A<- Z ө<nz61uS&`̣v?K|ʑD7޼mC DVc7U"qr,A)S Dly|w*Gr^&<@G܀sxR$ީEjh{/L+duXYc&wlUҟ зP"j%ip4]!$ubCA< .[k4dUpo'/$by㔣rn+]W뱀&gyU~J8tnְ`*v idņ R+$xX ^(´sXKX ٽ@˂M{%Vqa|rڏT=lxY!uh40I(6+ٮ̃Cm:,[VTB( Q+ϏAP[7|??а-Ǎܟజ|s] T]՘ 7XF#_mV3z2njTک(0 #@v!54BĦ%B/4Q,'6`T b9xZv'Ug?Ӈcb YY_r~Hʸޞ%#0f7xC<}M}\#[h``u^0C0G4^AD6`5蜉拋Q}%Icu'c)izYTWE>P+—Ȓ6u: a~{pTܼG-ֺn/86!Yb|W)cVMbG([iB#R!+~{@%$ 5u9&:dU뵢ԌՀCrwS>r-=Q5kq&d8;,6&AOM- LۇK0Ep{ sic8Jg-VU>rtM? OuX?bG =ln"x._Z-Ud1 M|+Nde Pdշ3Xft'Qٵ X4ἰ<$|9k^Ln8j6s->(#LP>Jw;A5Q&M3w\BH;gl;wUoa45DV0C Xx5B1 ߨv$RͥhOu'iC"8IS&gK0ki9F߈7 zn/SnDQXW^_5uqyҎ ?ȓ9Fxrߑc1>bqKK&jb*n!}I%[(TZwyo!5 u{SDv A)ߺszRc,+O!X:A_顪oaw˫\Bv<\ߖcl֙D+ۋ9y%=r~9UlVdߢ]zl2m:*Lm3βB;J (b<9]$}pF`{+N K `|M% E;\S-TVz̭ M$Qk,͒R˦Ȣb~~?umD:Z}O&d'*dN|'Lxj%Ƥ^uZ2MbItE 6&%kB4~~v@+ɕYN^J+|A#i _),j̔(Kнqg;j&Ce"s%d/a$ۺvBD7v}!z3t}OMzCZ܌>HiZ# yx*XͿ\e:!ҍ-.ٸMy>z,6 ;+2TU9M*aH&Ck8U]~$.6Ao<=ϑ^ﯦ7,#7;E!PA5dFyNIFݥ<9zw!wsr(+XsƂ{Q@~yab|D|iP-PGu+i_@ri1Q)d-=@UV=2˅dJ?dyaw7 Ɨ5"D~ sA)} r}*&v{ÄEm~޴Ε T# n65*C},vlk0&?;k^ũE~^%hMFƮok͚!K r8PJ5R" OYAPU\=^1!wu@xn9S}N#g^-%UR'9P|? ^G=뙢2r`pMD⣍k(ۣ*O: BidW˧hnjΧjd+obG"~ O,# 8cp;i?q [qBhk_KcB=p;1,>dޗ;Lb7߳QQw#z/ooMʩp m_N j6\b7"]9{H&¶vWmă yQLk " sDAAL=阙c'Ra|1}Dl > \ ʕw=P9ֈ̺#Q_OFGC$[FS9&cmj5|4qdS8C\ $4v#؈"%Qѿ bOMA"AW.yIl)ZVt%o=H!nlf"[,PR}p{B)L|,b] aΛYߡ`vx62iCUܳ9AHݖ GMuB3m;2ddrÍ9bCDϣc@WVZ=A*Q(~]Pl5lއB^G/V(* WıҙP-$E؞\Qv>8˩@oPy;3*AɋU"G3qȃpNq]Θ$Yv05.sѠ=ͳY>Rq#4d&m:d`eE XNK pK+|)PߟКh)#x$ɻp[G"M&(|E&] rDgf#BByVST~FиuE#V7o>-j؎ 7n8PsA2+JFeкfpr ѱsxdI,*Br!"ɜM:p( ($"$ zRfP5l^D;6o(R [%TL3fYlQ#pm5>1m?2V^Y;JUiߤ&4_ 1bʣ}nXzٗgyx"HRDm~/E@3mA% FŪ{x θݥH i6k 5N+;O5xn0tƞWW@z]gi qj&xJn,zfhaP|8,P6v/i<D;4!Vd28LdwF߿)$}UP?I_Gphn `ڛʘJ XQM)653k.0i M Ƭ5CZ/`_[*E_yǙA5׾agےc$ v&m c-JhiFg+P7w}c7:] "¸9\z"Pi){:3AJ+z %pbZCg$CJAlYxڅV*zt<1g(ѭlsP:;p7P{G"1P̖ЮDLi7.9$t'b_(v+MNg zJ#폋qت۲id_sm;@25%~=5E D>Hu+FfH,*^ {^VjRVj(a>DM[7KHY8< V1Бy(g UlBjReϘfӊitx9''Κ3r;^^RoHnx9.7o^Dxm(2S?1B PT)MFIO&K] (⥺V`s&ef{2S5d&4;'d-'g$ҵ QV dXZ~/T3qk[RqkGee&3&3yn*l1ͯx/õVT$Xe"`EYZ-qaI&}U$Dp*/^T=F;&q[OeHրS.܎"rsۜИuniQhüq%PMĊRmK ,4oo֫QϤV/֟tP FnfZC~EUZx Q\K!4r_==сk~6=ȺN9vC.'_8 usb>PcZ_E<6kU^40'?жHqUW3Bw5Dnܳ13F‚Mc sZvD_|ўzƘXΡ] Vo)D8/҆F1 7;!JFCvF7 C6} 7"KnA~1.3MYӂ9Us=6䨯D#pnc5V+ ;8q,^)061$!r'כlf8 NP/ƥw3VgFUBOکD4jcS`c5̧rQ?YPq^J9sN{FP "E#ZiK{{$a$Z*e٪R[j+/gqYltexP\3w2F<$e59bFrJpQLYi by4?cͿ1Jqr|xE1 ZX3Qƿwr.鎅0(T|YK"鉱ʻ$jdK(K\tm4=B]2uVrKcSGt_Hk zpөPZ_ Zh8$b)|;Pu;YML#-% Ǎ{?ngTt$:N1;,K@ñU~i`! m2d}'w! ޵ 0znOb[TöL(*?!ߞ"$,qLeoOk" 80=3Ov+ҶYp &)6{|V<aC?^?el#.&2e(T_ﯗ ?lRHM&b=WF-F׹Ig}2iS8l|IXrdgBݎR%,z~V;YRf2w* @ g↘W%"}ۨAiT# !zvDr46<6R.7q*^7.qo`0iZ%DL0KW8j*z1Аs{%qܘJsKV`EïQ5ӊlf> cl3ymtk]g&e>yeT1oz [ WDVg">~Q%Ei#vr G)g&̔T2M6CH G[܀x*鯖RD7OD_oˡ{I T *M:`o魟N_W,gC&&q&}F,A/85Pn+D7[Qr 5ryXۚgU@|oFN'|^yjo\k^5amUK$B0oir]RƩWTj&FSdE{A3xE^?#+ ^L'k<[so5V[qw@c l5 /6_z՗g&~M%{s ( 0qG-j͗A}H,2 ,"9,0~w)-[S*b޸P" |hu]-=R#/_M3a&-iF'޿pK:OmEezx4=љjLZ|OڋQx̮1ȱ^;?VzP4z1My,\Fxn"zmNgC[yzGX:B|+]TLp1l:Q|/]'~63uA` u%P흘Ȱv`1(8b|\L"?3TU&|bpm 4fONyaJÅ*pY Gr>8ե*3Wƛ3gwCtؾaMеt=iQg_uXUm3s%dJ!g!Sy;rw Yf:Or) -؝8}Rgōy+ C<h)+O#]L&\ǣ>1:ymO'QH%"ަaZqg**nz԰j&E[ESS##*Erjv2l u@u{8nlvUZ^D$Ha}C޳T]g y')܆ Tw`ɗ2J_s}jcWhIwd eߛxN('W34g钆/bEb^M]|8Crjw{1Pz] s _b,Uh60l;!6^,ȺB"]wյ\&0JW)1 ϊz~qYBĈqZZߡD(-x -rF=AYnk*RD^ P +:m%T&2};i2GM&R6>#/dK[jG@KZ^8׷Ii{2Ut9{>1 x6Ԇѓ".kѢU%YaO7v2p~VD\{ akF3U]+UTh@W4Q$D2}A1 :9†m@6M"`l&!K )W"Èq?j\mliĪ&=_-Y@jN}$bAcd|rf&o'e+t_%킔QTeh8lmYa*n[lS4ϭ&|Y*q ʸuzXAiM[+;տYƈQاM7 `$hl ,6QQ;غG[w?9s%X[]~}Q"޼xaT!բdaXW`KG٥_B=F1.= rlJ|\kMF߾@ ~ Blή9H?VzX%R:z4(&;R%Jz#dpŸZoEPc|(03A?fkSnR&9W39Om|ObhA, qK2 r0b`U4~RA1#^UwM޽o|:{^L:.?Z|/U8u-yӦ$R)a8ݟs|HIBeS/-.먵QYG%|rlIUESj[,4ֿ)}[tŴZI~_ P!,tQg:U͵ġw (O>AvP=Yu䴑;W۶ǥ9fn`P /d| Nr$v+wLS)&]KΞVT$\]sWVLIq$JiɬIMzZxMe'AѪr˃& t^VK8 Y%ޞBi}#;:}"n~KLՙ}U eS<Զ ˳>ߵ*,AOY>YF=~%1iAUA a ^ *3"ۅb9X@;$FD j5ZeZc ʝ3xa]րIP{^KMKh# | KcN5m!xƊPV N$vYY$'h5MQjLFɒ2o lQE)qt䞠Ş f:}o6KzhӌS Է8.q/.zJceiELÛ>y?Ț.};T#_jE}$crʊS?)Z^f bvxI|tQ+mOjPuC \u243nMW?5CV<|tua$CUIY>Id̐)uȴM$'%ujBI,2hs)G.'^Y)6=fڗ}w' VHZ,|'IX=B<`Sw58+lkLbp{ 蠓y е"7*&&6Hݹ.k*p_<7⩙]]r8E1mxHS%D*?F y{P =>ܸ r??[q58G92B-6ePm`xѦ&G\DT?{J09 TŴ?AZ^~ !V{:8Ld8vLuQ'íG{Ӂh^p0˖5cf Vp3e\ ea zbAbqӗK>yo8#MO#DCpP2ԩql+`{~э9\?o%C/ 3?†}XD,%+rqq7S}Dg&433ujM? sx\HQ~|)ƄkY\!]=)-IaY%d OSj19\;@6 }riD'ci~Km1`.Ja,p3v7qzyTh/YM`%'ZStNX(E1;yjɕl ,ySskFy#X(׬"*,YvdHtR< `q|YvyكOS'q&.,VosVݠǃw^aKwp9a9s,)GZZ|Ub>Tfn!l5:]hy?;2zqYe}EW6_IbNJy+&Йib26kHto"-k\¶:gVx+k+ZksU Dru/+yߓ炒mZa.1,t("TY"ЅX;(W;ywO^ܔY/K<؃>,8`iK$8'?=1xe &Mf`wr!},Qwgk=`prTD=CTтyl  )IAx {X<ָ`NHB䘋)_Tb(!jTV?&!:ƕ/hjS"c^а!sDb{DB$x:f»Tno*;Mky ̨̣)N_s:zzPa.6"lW$g-hBQDކu H'NAVnLWX5+jm_|:͋:1o( :åkh%.}EZjx`" ItXlBbkIKeF|35v":Rrt$'k6~8 3mrE:jq2`/|4!<:Rl'祣oH8j舕e; \գZ ܖ5 ? oiVy0XFki1^?a‰$ZL!Kwv)+a.Ioִ)D*ǀq#z oz@¹6a_T[Aª*f[ӎ quiSNw:a|#]cSy>6Y}8[頀B ow\Nb7f]*l5XɬMb5uYm[%kx˖Q ֵʠTB&1gUjUnK+-КbĮwD~Ye|NNgtw\*Zܡt>GS(4G n!Us2>=ӻN 9![TAuj}&[{f؀)L>Õ|4cπU*aP{ M+Tۼ~IX/}E>n  XI)M^;\C;^ y".O27-z&~R*1O,Kx@YNUvu0$*te^ycu88nxoy-׺d 6@ &K㷢#dߒqbX6zE7FF/o%`[oާw*7O_E@cS'5h-^mx8|UTA-%|mQ!$DOm-EfBch(t Jc˺mBM($&'լ w`8D 6eO+S6g}|3j"p$Qq)sHuRWy2HT/&A6ݿ8@R\R󑹐q*7%Mݒ TaEx rQt\.ǝj7 f$X4JO/~Mu PˁE <6]齎m-lb7[|r7D~ܯ%tH}6b 9TG4&.iG9)?__(zo$hB Ùn[UiaO;-g+Q۟I\,ӳx@c P[ nVRp<$ `yS2Kf{T3xVV+]AJpY}kcml`BC> `mmz~'?tJ7U׉z)cqQ ɽr,7u>6n9\LAI2ht6H[aIi& ]L-eR:hu q{Xy8"2q`thg<7qTѶeSdȾ Ku'Y;"`{u!|cOt95k{8,䱃l)V_D]j ND ﯭs |8o~ R&u⩠=_[Ym%$?'}O#f2 H;bË؋"b 1JT k'˖XjE]Vqxʎ;34 c`&}ecMϷ_F0pr{Drɴ jt,x!1}`^lSYAсz 8J IEsh=_=j#rV0j0;=-+T6{#cf]銆jDYԐ[mL.s‚m?\.&C8,9H&Qk.]Q'tFɞn0N Ȋ`_bEfECY4ع!/.8Єx!sinks җ:PX2v8Z @ILڎHO9?ۏ(T88MB׆q@[͹>]NWjL/sw>crKgH:q?tpX$8ZQ7kH#9'V̱j ن/גT붷#۴&i3}A/ӵSY`cQy*&אݤ|7 ND SoڑuQ^8/C =l$Tڟ>r3Wɂ `P߈G\ TAo:9IeΓ/-r Qꯏ8|>m5毥!Zw|86]ATG0D%Q+dKVygYZ55b617cc0071af455a2367a419ebc80555b5b20c3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f f2c192cd6f3f44bc765e1f0abe3a1dced3efd4fe 207a6a1da5510dfec4c58c083dbf6599104a94e0