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  ' '91dd ]% HOL-Decision_Procs:threads=6elapsed=224.241cpu=1064.420gc=107.676factor=4.757zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1|m$Q:ݶz*s2aX0ڔQ<&|ĨNw6D§_;VWDiV?*SIt]Nu9[\v<0,%ɗgԧoy"YM^ ,(V>"߂Kl4 j5s*40 [PxVxDڥvSHK9AtHJM'>T9ޚ-@ciǂ`j$b%SX(Ho]6ίyP0obm…rr17eI( u]Em~cDNf2+oO)K Q\[9.,|\Hc=JAߔxiESL-Gv> Dq況짙؋pm* /" g;E\մܟy̲W0xSxpaWxA&4NSp > Y8S;  1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ jý 㥑|3`agM Y9T_D:F2pi%̓a s~j'6^œ`uʱDgP>7qp ߧJY\SW aPvf:ҕj2g%G .54b +JjG*NQhQE'ZLRLð9ݤ $EMyAa%%x:!;!=[$ #]Qk@ {+jHjxM>ULC&]$Uq/)I259hqIl.3,ߡT]YzoK\o;9p F{+aC*-,^&6AA"x5쳋aDb_CQ / lB hfPKFȶ.w1M]qjKx o06]'CcM1mp4 p.T}mkmzVh&-}rfsU EnnX-ZƟ8~ihdoPWdKC|x|ȳDGލ!FDO&8ho >"u_fFV"2S0|W~˙ܮc;=FGUWPsrk5,bJz{F_ |s젦u˲bQ7:cgEDqJDA#<٘QQwiֲ"qAKODU !=8ݟGg2ǠѲI4;@~d(/ѥ; Xtxhf:n";πKIJBVj>RE 4%5)30y{ZWZņУQ`sJpB":'O*KqJ-. KINhO i;_5"mſ wQ/k+0 (UޚYX/)D"7b_reT뢛$ږew@xFzҖSth|o,my<e$P巤\5RȴEhN]^ Nmi ;/Un%e^8 J}$j54rQPFQ a`<H z-[߳viK0kVQqt`qLM28o.fryӫ FWo5Ey/yKdgFKmm}b? ϸ"A0!=H=B+E[0fcs' ;@g73crkE1P1/փ V!9 0-YscUgTTNţ渻Gg[}s = +&u < ӱT[bi&u$tDK ޏ9RRrZ{e %}@)|#8F>"Smc7h2*Nb71?:-^ecdSv][cm@5mWiҝSQ:K=3~ Ď? K%elK;uŬdV25ea"tj`@GYFpABgD::yY1Ͱ]!͉)|"< AUQ<>U%tee|=d]&^.N äL>5(h,*<xpaDk$Vh|IpwTT;U$>"iF,}*mМ]}EP`Otr겖\UڥPm>=;7}Ղ޽(~ Fށ`*3akoI]f/Š;*i~Ѻ:q=EF66西lJgt-ظZdÞ l'z[r ^1wC۫@KaW L߉Cbn;5^Xv#8B\4B .X^ٸu^$2!>F14-Vg<BFz'mk@?&F6EB(F}[|_`X3ŭ@OtWg)D|&IFZL!HׁH==䄖.3c(NMGrz~shTڦav*ԀXo=I>[p:~N; ivޗj/k7p@v9 u;ˋϏ 4r6Z(taH2lv<=!.Hw_=dϢ6DV7ɗ?,T!eExCL酡{yJ فH V#2M GZG 7'Z }PUn l3vfKS#Ӹ/7$Ǔk=.eP-˗1 C@TCF[H`_I=`yZLJهkD"R/.-uS< g,Wd7ct76` <0DW 8[=RE+l)#)s|h d<{RE3kyoe&mȅϊ=f*A&Tus3Wpj3kSBNY(D8EjbMWRk2++ 0#,~"4AI3Ϩq}|F6{@RvCR {dK&^' AlX`3U;NHn#rv ~ܹ]c؃"fxt/^AU,Q)K=żwز)7 e\7X[V0-QWePd.c3\B<~{е2Dt@y䌴u٦F}q4ubP! /&{Zkcƿȏ0GEgYZ7zXZִF! \+]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-sb錈t&Gj\ϛ7-% @':::YʬjzgNW0,^0XQ<5HӻVÖ|݈1CUߵƊ,$J, ZSqLI+]/s@iTi߯0!= s?ljӊI)cOZ Y5/msmWy " A)aYEa}t=l"T Lbt'S8>9.A|$#2YjtϪJZgi5y!s-d4äcG韖BMkdrY`vV_gYZ7zXZִF! {GF]ŗXi%GP\B& DHcХ,Ϯ% rbVV腗Q Ju520S,>vk+E,rr-X:$^ \pHPѶ%Xu+kS)<ɟA[C8nԕd$Y3~lDX2Svw ^>ii (k%z.JXBUU2kZuC@B"76|@%7A&дxJBؕz%rƓ71z_vюꉮ^5[]?cI30"GFFAMiHh܌PKpqα%z\)a'_γE8U>F`1fadyIlLsim[ Ǐ}RN+@;%<0mncG;P,)PaA$Dz uFs t'$"EvC{NqdIE1k,_mfJF3i-pE y&ԴtWn).auZblOq;ϑ! {2D'jH(zF2)~rhğg}.[qOg 鲘OƷ|kSGiDhVIL_,oiQ/~óM?vJℝ;^֚%y4Sa5v3HBFt.T1S[ ˥'AҠկ{wl(焔 G@A_ 4Byw+^y训gFE4_VJ ;hz_C( سa"4Ӗn 8@[@P,9<1s^^PA:- qb|ܭԏL+ulN.h)ON.Gh[D20cpԴkΡU7WG Av8ŝZ9ƶDoC{\/<@=T=&qޡzm8}l9ݺ#VыgFՃQt0"EKTL>;^w+ k?8~D?ar{N k~L&O&p-A.):e1_6 R}QT)v^I/[~bfPvJrl#1_Lsgq<@a;y=b)VB@p1 }T"7mU/W{víDŽ(橐5LQ5 ͱt[e>2Pw柶kb{ĩ/P;EbdR*DМufsA! _xu/WkSaܮ1|z "; D+\j2j#%/mMah!!Nx(Ser򭢐'Z!cicuGBݮUН=7:8;SIV [i?l!Ƕ9&]EI%uO HOα$홭=Aٞm[y#`u mA"*Y0/E% ,H`Emٰk8O]zH8d`j ӈ+W4FzOٝsk 'NM,;}b߰ ĝ6]3d\D~l2%mr Fj'O 긵I,mci~ʢ>nk'["݌W.mH\rAS;Y^*VJ &dNNZoe(12Yo7ULzyyi]bbZ-])e"lP7jY nWBGpaƸ04ELetswUG-Vy(1ekӅۿV4'wBب xL{S)JjCSs  VCoHC݄{h;08 ]c0%4[Mz+9 G:z*+*B|6/fFZc9+)'2 sEEY|T4Gu*v 8>C?;kՇ}Zv4MXл+J;\r6kL]V k3«9*e0S ,+: K*)d n,ܧ<%?ζҫQIٮJ<Cz kÎtkӄ&d!  !h^IH -aLj'gا]>TҕIc7OYmYvSӹWss+r 7P' :l'lL6YSh*R6|f/]kի4E/% EfJBȡb:0an^\A<$8LyIRR1&탩WRB:~^*c7ǟxQB$gM*M~3=H)\Fx'`XPMÐ $o 1$z\;ɶh( ßf.Mk;/x>wmCZ1b*#O{ _^q ?#,߈pWoʔFl 팥:|@=gHlW!!:rFk# }No5Ä?Uȣ iΤ ]Iؿ5"ݑ %)kGcLrh( k;=dT]rAU0*@8q{R0~UM@Ӓ}u\PO;fgT&t61g:bΞxī\Q;j.lES7iOǭ$ 85~ȋ#1n $UfINd J^vr!wy-7[]o+#r @{@]\B(B)͌;{Lsy F)I͆@AZ#pDS[o$Gu9/̹3pqqKQg*}Cqz`>()sB=W_gYío@SThJXawBd8j?`wA}j,Y%T *܎M3%6Gᮥ{pz'no wSbt{>)TnIKFPPvDYj]ڇO~>" dՂ0^8S|a4Oxa}l SƱA7X:1ss :0zgs~ |O6LW-3cމ+:5}SB "o;: @&~nD ڟꚼx/U1Zi1 CpGM%a),=#~ӷ.Pwg'Lܜԁw?xl3D2כ Iaڤ8mpdʃ>Qf18]﹜ie>A+Ek2$j7=G/WU_6@Y8mž*laHW <=oTH'͔, .P#_d|JF8&wutIJ]7d /7 aUgTCpP bL-&iS%]Gy/ĵO"Ǝ5I~ 0n$pn]lhͳB#sFDi(`zPRK!|*nXP4F?>e* t#W$ֵ+T0l(PGlBL^#|gvqJ F7 Q}OXE,5^MdǂØY>?IɊܼgNYHjGnC/4mznڝ@Kwo ̳hB3$Y?4FNs0nQ>S ,tFHiurV2 K ?$PƦǎuÄ4+S!N&Ņhup%]b%V9.vS4 `WԽx f-!Z }*]%O9[QJ'W. P;<a>RmeNDvgB&X)vuoe "|FєlM8lBh%[Ikfݔ<5Ů.C"nfU@mU1xU5yu~Im(CSFeo/LI>uwn>0. \RYaD ͉JÅv0yd#BFȦ?6P!n䯓eD,L@Ic\;'^YhyI{x W e,jd.Qu[Ӗ`Nymx{I_zcLNiYo5YAϝ2bTKClͲj|yUپyBFr8R9mF, _ndz5y{V# )* N#!q&Tܲ)~[ o)l,a2.L#kk[5dž ,-d CSzSqdL=jI衾?橙&W0ޢf۔YNEem+$uuE3PnC}rGcq]!7[Rz(y w'?ms FFq^rGNĂ # R)xO(OX;>gY^ DӄLVIEdMq\iw6N߅\A%Uݯ{sK V+/2uV88 4AboBOM%uE~@(shbs"1Eؕm`e 3vWU^[:|0_g|F7@D=s*̿ˋ²p8= e v.N([O\Dg*YNV}lr0;H[8,(t{2kX!+J'J7`vǞ*#5-?3#v>fYt>v%FJ=bӊ+&Di4zMG5tUCJQ9iKQˈQTP;x@b1w&h5 ~k#]c";) ;*Șn;.{fdZ"a++챖p7X)N EXWEǛfTlZ'~qVT]W;nLd#5;()"8k}0NqpJ8]ێk0k+N9ʀd fo9=,T3TP/Z7,"tR@QCG#¬cIEɔ ڤk6M85?xMI[{"*5CVa%ηX&5i_!TtV`:ݡ)tl?r- |znE2b+h7Eyfs2uj󕯪MC;lv{*<'oZƥa]9_Ɍk#{TlٻwŹuh]",:/ģ=\w~4E$tD@hew6  A #ڸL65_Ȃ0Wwf۸l =J &z ,fuKHi9#7KI=IGV8jފ(𺿣bW1}T #:p cƀ5B)M}ڠ(z1фG|iQQ Q!/h˫(SY5n1zOQz(;/e̤a [d)hY>WRLS39&:K=KV&΢ @rƩ#B߲y$ )#8O-$~2Z1ݹPpQ2=E}" {]nb2ZmcDCsR6҆y?T8}7C<!?T-&h'UYbTǪ<ٻ1)-]X0t1{E.%\4(mP/M$"^/L<]UYS=22 ž:lǘ!T*y*WZH-U8UnW4Bx~]=v4y]6iqZ&z$Pl~{$`0=[/+쪖'%=P#.sHܠsuz,EAzGӊ<0h5m삯i*((Ltv xiV! )Q_$}.9>֢xvubFP=4%07-̵TgWd ׸ҿ(́JylꀗGKǤlA} 6$-n[um4Y^ v%`JXP%h\G[p&a/OiYsǿ/ V :0?sd#*G%zί_2$sT!_nݨ>#B"p9$kϼWwLYMr.aQaoӋ5FCYs{@ 6^?Z`?"t(yNm.w ޗ1=ML+W Zbۼ[LCHQMO@KA~4|أ Rv.J@:Jb`SU@ϜF&Ϸ{A8DÓ֨3 㳃tr~jڵ{3o `w 1PK~c=b#+`"Jv^Dv`}td1akEE2R>h2qdvn,q3`.D>,?=^\ZOٮ.raH`v?+WODRtg/bq~‡o$_$n;Toz%8'^4r]F:\tM?PefBHQ2H:aÏPlS~=û7OXl7z~ȬFQ^ kvg^=T+Jj[t48r)+.E}fb^J:g3/{x˽G[5Vtsca㛩@b˪2k{]<C"gfv t/]ـotOLSy1"%/_/yS<1E8eУm;E6 *xKpQknLY" {Zs+%V&לVkځI cэ@"xݥԂ݃Qf={PId]r^mw s7s},%rJ ߼9"Ɠ劎VKK Wmp"T'=>|}#[c/J/ԁEo g ̃f :lr]VMlppSnJQ,[/ `s3 p0*P{W_1 9~딦לPDfI_`M%(,V7BOe +gmMgD[H&/UA j B.>>_yqr! t3SK*Z3*Z҉9e7 Μա ?RI.E:AH٪p%͏+ۋt^-LpAro|~`[HQM6v:c[ISRNnʊݗ@Ut$ȫ]bY3PrQ"~ axHfݖľ:<ƺi}T@Mac$ P!2[Vݶ@]p>X\)./uȿE)FDm=;U׹7jФ&kysP lZ{|rŝv|AK:4ɉػtAi_04 7A9SQ:C̉wB hJ=|PyҐkuXTAҞ:f6㷒O'}<[sj=>SQ:ʏѵ۫`I¬ o"hki,#}Y9Zh):U2zpSd |60FhEl$&\[w@Y@=(1?6w!4y# >-eE7I!RqLۤxڻq8sn;o#(ykZ0rNX/ShSW#ߩ';O,iZ"zr1H->_ÉFnh[V NP﮷L ѫqreU- D: `K~8E65>#Òu ;;Gg X1d |g D˳% T[+!V_lPQU6 SVx`[Jx% BHd9]'y_!sKq$J򿐺Z$|JpH˵l7 ,JLp]L4MqfhuнKhjcCe`XulmY,c0ܜpKNQc;E)gP/}"@9O^ lDPe\E`x[.,PPmovAiofq=xTw]`. :Kt`<L^Vמ2pׂ>ۙ%X܋gS#"NֻVHPGTd!L6 辮ng6뚹B}FLh ||s43 i-̗%ص{aӗhD0n ߤ&TZocMW0W,K]6B!#*( p=`S$`_C8wfA@nL hl9H1sM`&Mf> 3`hKYN>r\gv1geх;E6v?CDCނ-f w՗Y "ד?2:ʗ8FLt/ʎL:tųu(r90t [kӨށ#2 Oi&ԭu^uA70G#ֈo^C t*M e[^Ӡ\[)K)&uD׿@#qٽᒷ5nf s{;vl.E:yD)G IAhiP{(3 #*>XP7"Hȁ]s?bvw-0QY%7Bq ቭN'!<֯c3P/qŀQ3*sd1)#mi"(huf܂CơF@# _XVJ?la`љ:dyxIyx&`X$lm#[ꞗKaBX"'q;Lbo5z2wyacBBͅhGJdk:3c)oxo,"XGE1^n;iWhoWzv½^ ;q`fMryޯz!lw#T`mzė>n^.w!n̂{5ڣ0#j`z` Q+%i)9H2,'?>]Iw[4cOy:زn < "C*;=>'D@(\ify(.ȇx$^]J92IR(*z@,2z ،x!38?Ë|N&&Q:2ry%~vfp{H{G8?Plf'ĠhiL#1ҐccHo/Uٿ[? w/?HʟMʎe d} EZuo=qkP 5*I(GrG^L9D T`-YzY}#ߜsHfLnbzRdRAg j&7?رf8:; zbU1%q.9dfC{kk Q j}*ۭ^=S5%0^Oc4j"am =hc!͗0Ha,qfH؈d6a&u`NjǪrwȇq!X &}<-aS)Wto88Fka)"{b :=ײ_oTӾ+Њ:aŎ@ `wlP=w^'h쵑Sм(J۵.BPʻ/iW3'+0o5r-}GAL 1'ɾ ukh@N˾m z-?)[1eڬ .xd{M5[?(С] 8S'|y6nqŌ˼lY*f͍ZW riDiD*螌/}:Ǭ#KQ&Ÿ%|U>[@cJH!!ɚ<+"4P >K~_vt 󓞪Dk<BazSN.OE7<|JV.܌O(/lDߕ7Q9RyXNz6r<דVzSNS\c95xu3~BPW ymaÅ9wOYYY`Ȝ#űb%2ъ啼۩$c:&R]^j5y+|7.ؔ @g`>P#TLgZh{76+|zSr -1BI0||;-HvlV 4iqVף#ûwP&RJQPB,r(ӹ'pOmgKv*>MQV`\"{ȶ[<~0BsakV|F6“\]e'Alf|R`YOjUt!UnCg!؃ DA:·y"{Qm'I4ieYj삟=8lmKm 9KbcNm˱rF6f#.}/n8 ?lTdbX)~$cn;lM7:lzBqQgJnvFuZm,{;4 wąL>71fK[RfddK)6AB+Q;V& 7]4Qt(R6,T+?CNx_ %o'i,F s(:FvZZ۪*)  ɟO& `]J(Ѡ]IH[!6dL#afrzٖMxEd3/*P۽}B.Rh~:! τKxz㹢s#v*H CϦ1S*\L (xZ֣r.(AbK LSi_M(K"P4g-E#@Hdq;eǛN+V@bl#; |#aq.JGfFFcc3@: 8eɖR{C`%QڭEF|>|T^z;~O]7Z|fiuz/bE;[xl=]N$)N=qɎ8dٟ"Q7ߠЊV 5@Djd̻J ~Qrj5өs~53ܹ6"rTJ!6Qr]a$HQ9w5$q  ô̲3N?x fwRY4:EolNyŘ8tw/!@L-R!>jf+ꅛh.&n60UUcZFzѦz}vw<=h] K$`]KJZ2";698{Z7bZ0Fn[FG8'KgSN]JdG>ꠧpwCɷC&Wig@)n=9>FI|W4y :MT|_-3 gXO$?#-ꙧ/ ֌8ߌ @> e;|0 p;Z3:xQ|o^š7 S#XFV"_@/¯{|TSu4jjPKP>cE|vJ$-G ~Q \Q{PԶh>ڴ=c/K #myVq@L/=F\!>}πf23D"n*0 NmŞ)0}l{:t쟤s[b6X2O/ tY;FXCOO_w-fn=˯1 D\@5{c"'Oi*5HdDFP0NAƂXS i05z.ibOuKʔV589C57k6,IlgGF:ryႀbm%?uDG]ƛ RX윚 !+%+ `&4Y[[tZy$0suD iüZ m FA8r{ krQPr_xg`bVhlMYt5W!n8@ۀzr)wm?, ?pm"Ll]:^n Ҳ ~oWcNmLX I0'gqިΘ{׌`*17c$gYZ5f65807c5778f078ba29cc93a962802eee6ac00a5248afc86b05a1ac2f695003788f35082c9fc933 f1ca51ccd42b5a485854d78f2467698d231bd356 39fdd67748314a5f3623ade681f853796ccafdf4 b87b8b49a787e251f1400f11b47f20ece909c6bd 73661c99703eb449989a5fa4c3143224e419821e