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   Y1,d ]% HOL-Decision_Procs:threads=6elapsed=264.530cpu=1165.016gc=170.696factor=4.407zXZִF! *y]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+p΍ӀF@d S^r5`2!r3hJu1ZQ5b_o]w>A̋Pu5b-a ^~Õ&.5}b=7Cf<9&aϲE64JlѪ)e5jjFrcc++n;Ky$0F{>g<$)S*;GacO$[`ؘIi-MIEfW x3@M p*dC{Z3촣gNek?2)brǽ'xxicمGZIQ&/R@W8S?ɅUd4YAMt0 jXN@P)ua0rۊ hiZ78ȑ3'EUvvkn׻8_B?wdώκ28K_2 +z0 BA%_?z=i84~m%j13TA9[wѳqY-Sˉn.i"T|n*"6Bwa@^Sqq7Y}uƪkhI"*3<94\UdgRbϷ>qg\5MY韜4?wYÍx= TYv)z*b)x5hpYANw m0wQ/ch _ UJ#XAVR=+Z$F1hHk 4'쳳՞+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 msA*ljcnG0|k9?mùH#ۧ*/ǵL'~,Yh0=:1XZk:1scXkwBxt2 Î(s9W%NLWfs=b[*ZG>?ED]DlA0{ 7Pi>){PGӻ c86z覡wndL`P{}o @aKR&JT1 Aul%p8a>tBejU.*Q eΒzk~ZL+j)܎,h9G*x˲]"ҾJa7M0Xǒ0<'BNE/J1m%V>E[%H{SI(yx6l8rfEBLMZ8X\+۰*7L@9|eN&>Eea-*X4L*E51zkTEVtij  =$:D.!LsɹKvᢲP^!qgGE;g7|e s8H^I\v}Mޡ2?m}CcA+b:8$(NFؚi~r MD wwRORB) 6PӖ|p?5:M:1` } Up}(R(^I5+,7dq}*f@^g!91r⹁1d̬N6NdC QtK2:<,LeL:'kB$MR|t=tv“+ʡL\d`y-˺}%Qmj@OSAqW ws[٫ %j 6*v^|,.T1IkpQDOɣS MD~ּѼ4ub4x"'3lWSQ@K̾(" |I|6⥩ $=Z4Ƶ詿EُKyLشUzWz~loN|[Nٓ2Nt/Hl? OL]j 0⻩;+o卬:ָ9 o'iŎv@)]ksdUWy>-Ev&1Ü[`Ža:Y ^vڔ;=AajCv8*3 ׊X/16D<} :UUF#9?y8ŷ ʊlb_vRYrD9nL pZfϐ*u@b!sh< l^׾JLC<1х̶Ł#o"P ClPOa8:HV*2o ɾ-e*t4WQ?RuOƘq-->q[)DPer,zNvR&Tz)}L] Dw~`s xf`+3rS\O G}==]1 9,QSmat0'`  zD{ JJ uKۀ]45&yf^Y-˨<4#R9r (Ӈ_%̏io>G,YJ\ɴX9k 1r=ϡw; 9YKmEc2bĺQO NV/W۩JC8wa$g|< 1v>eA z UA7i%0O K5B j"!dڌhsLef kHTkuXƷ17 ӝFǓGI;d ILJ&HnI7, K:8Qs H .npuT'a&(΢d&Qht_Өj0M+cR]~ӽk~_kFF=}#M>o^TZi.sWSJX:N_"C2t} \^IQ'59y{Xf*h ^릹Z@4?d)Úȋ96v-e8JPoԷ]lӯjRp]~獈C"rxB@d MF?gFa1ej}VqTv &⪦nʔ+t"Kb0:<[EC_XZZ z mcmLݺ6R,*~AFot2p?TU 䚾<鷸j- E3ںϾc2{3)@J(2a䕛E6LЌ lqA7bYH/׻[hf QpꛦžI"6-x V|Gc;b@R $]}auqbl^y]F7O VeZXYgK7W?#=?1-̊eכ#xKmof{N%J1hOLq"vՌ¯,J!E_W2"6Xwi/2X McKSgOa-]۝,$G U8FzN%*)VlIWE8Y!Grltݕj_1X0iN׆j1V*<4s!䆨hj[' J[9+ă6WYu?PtEy<oɊ bg,}FZ\Pj} t2%'&VaЄ*!AX~MX?lZgQБkNv"nE`ʱ;O]oBr@ ٫Σ]qvQ>1#(yWRRQ)gQoϝۻk/"Xv.[yRjep9YX%i/o:HS_ ء HA!Gn?;@I^څ=|c3Fa$k,֘F:zt>R CF< +IZ:]sB;NP9e<3w֟AIvYm}vyLKݑdxUUs띅<xQ/wLPl4m8|lMC'g&Q0_!+ө "l*d8&sr- '_kC\ c o`_֍G:zp?5)GD8oG5C*!^෪Zt8Ž7!F!QVfٺdHl-sb錈t&Gj\ϛ7-%ɓ v8@A}rPr%fM `EN-8:a5Gz=mj$}n)QwY-p~H207ΈQ U[ABʊluGZB_o0p GWgޮ/1m |w`涸`An[` nBOߚhUΔԒzAN8e!գr7$7;z&pϷa"L1d^KHV c-7Q4mױZ(8wJeAp,Ѻhr*G/bF;g|2F}ϲ\m .3ju/ bzχ%qy\OGALFAJŔ>޾|ߏ+hq7ʇMj8r8TY&: )Y ꪲ\n83y<*7xs¾f*\035 _oǕ BHrPN"kc'Ѥ2;(C{\p%G7IV>}7\wCña;[Xx=ugR~1?Lz A~\.gn,j6̆0cBc:鰬YICRP3*>U. cB+RKeËC.p#1 FUڬT Zw0o0;`*)Eݑa\5 ,S"t -h4H}OA4#D-Av2U5D Z,{96\~̬xǩ,ᾣc@Βbؽg5Rk(G{~6>-3 _D jzRrT'rm6Ao=G5^Gl>s҆ğ*[Y2nIMC#=4>34Ct#09w1 &}}w\l8@"s왘Sn Io [|# OKoOUU'_"ZUK-&xD@ 's&7ŸԽhLPK ~B}4kD'ڸȕ٥610P̙2a8T4(V3ƾ%.dp-Thm bH[H$`QM2 $Daޚ"+ 0TQub3Ĺ5EgiF :'rdg}i)@_l8u@Sagg\:^;n Uc`ei-v¾aF^;OlDC4ʋ wXTSn D0;Ht3 5qޓjDY& ^IzG@[+ rGqO2NAxe0x!Ar*zYޖbCzeK>=l|67m=lOz9>5NRqx|& )Eίٴp6p1WG 骽n /1rֳ7 tL9f֒ y8_kUʝ\*̐Qf1uN e]p2mKignײWgP,mը|W(PG 0 'ɜ*Œ 7͂Qn>D) ͘g~X{A6ȴ}+BEE~k;Z&P@:z؃DV2Fd2\tG+~>G_!.>eZc)ߟ6ҹZ\6mu=YH$\;`/woԉB[; Ǖ#6TH,pE_E8 # )+SWoB5>WPAX,b <C3]4RB$ m EiL_V}()-/6ֿ%0ED¢dy?~4?4B \x 9 B/!]{!V//y[A~|g,N2-s:S~?7;@1dUөB1N|ߎxT Rc&4yT, Z=*k[ D %;f4\o,O!b!kNUN{h#UM2D ƿc߼|^]iHwj` c L5bJGCYPG\|!/'G8^>4! 7YxP݇}}e[sArA`R*Q1WThTӧ)mǒI{,=30/}<{pApz6x:\X*0M0 91$fi4D4[[ycŒ~?ns[\boV)k\QB`fIBCeAUPT#JD*,x_ *VT/d[1S.D3: T_ ^ dzjLAZfbɞ_cuFo) _qR=  l'xqqΪjpm⎋8x!cJw0̒w_3ubHY/9^>1;EiỴxl2 H7@:dܯ1=!ŊA8AVkA!'9)I%Y F!AFL?tQ6s2=U*UjW;:95O.iF+TK8}WFy@Q * Sbbm [ d4DG齊WZkHv:4K<jiM8 Ƃ:SתL,h0nFw4`xg>Vۀ4 <2e@; ,~R\4\̵vrʸ%œiL)泐MI[ۀ\:!׿`CJ}s|R2_ XϬ=S]C .LWt TtQjoax2?sWѪ;}2r'Z̆5'30Z]˩ (ikD&73 nie5C1jȴ4?+: r7i7MϸkpC&J^z}@J{4k hsTs?Drw̓jX %Kfղ@$ 0ARRz̬ѻȵRr%nA{ fdRQ^Bٶql%o$T̂)&K17#AM%`H$5%쟩9. @R8ޢVyބHKY>R"npB EiE3xhP4(P:ޟU>c0i;yHqkD;⚊CFx5ccxT=֐-I.p'NN] B5!ږ7w+qyRd[Ui 2&r3dEumYLݱ ƑLsLA=3& 66ͱ 5gݶ`']C@Vl=LyzHw)`X\_BԒY*PXǓSNT5Q[;߰/qJg}\l&v ;kiܗ5EYh'ӰST*~PsvUE40 t,}EG\tqۤ)Q|"(?M |F7wjFo(w/B%\2I?Puq:qXIezNYLogf䔎˟g̥q#an<~ѷ[YswX"5+Z>x^l50^DS0?m0C-biKOK{<޴63=/:ԑO !5!Hn4΃,-Ohi?E.psLF\7MT`ES8BMR^" pkvVMk cGMXkLÊYnTq{}Qr^ x$S{:L7nY~ sWJ(󐰺@·#b0/S,.VPnAIT*Gv( `{-##vxET ֯ܮ\s18rmZN4ʿ(X\S箠9A 8+z+l0N2Z][ov:oLue^hң_Ni5YPʘqH&riʥ\_ NSt=OOvbACnC+>gH 42x'&O)h;h\FOrKJzۍi zni oq 58bP$- "bUL^D(\2I5&{nf] 5CbU$q}Za<3xL~s=,c3 +]uƃFѵ3%%ScD!ÏN8ɝ.7N+]tfp:"@F,p'OJ9YfdGSJ$ll<B$| >LD$_j 3kzك02;6%ɼd9*'[3WOH-(YD7/+e7✐L#?hYPENxXJ-?5:iJ^U7: um%{~G]顙h* z\@/yIӋUyWfJv<F8*ҫ YAN]t_Fx f B"OpbP*՞s; i׳ Gj4YחBLx}+=#=RuLUؤeuz#iΐ$,kKQ%`C01HT~ ́tnk#|$h}ѷM7qƨx/u2'PIsG,F e#ὄF 5<1go!")nޯhnpĉwi< CG r}v7Jv NbMtDb% J%fÃ'UVÒW5Tֱkn#Ko( Y̬݅R|-%^EELh|p8POΐNX ԠQ/Cpj2~V) fƍ@bRj8NhHH27ގsȨҀ &Xn ,n;!ia0e>$9r !:,Z?]޴u:և?о"%TRy,FxS${$yK~L]přXЂҨ t6/(#TBB k5I6g{mI18<*Sk.)QHfJPTC#HL+ ,[emR\t>;;}ύvNr 7Z H")YA&._0grؚb:T`S\iJ2=0Fty<֌BEcB ofrI- i]9i֫cXM~A bzѬT,D+q9=c~P]doyNʙ#58˦8n܆3mB %*y%j!wƯrɣt7/؊8m հw QA7VGX?$(gS?1o>4HTo~0wtXxe}赸u7|ZZA ¼1VڊT;Y g'Eȥ{k.8U4/[-'Ȯ^DWI~ϵ92fs22N{/4p"->6@ϖ﬍M5Zhj׭Tֲ{â `jtTNL36KHCet\.D{͞YzP}@DB> \aM0dj; jo.#R ?00pqru' nFf"XsxPSߔx ُmдr 2S`@;GY\gvQ %if3À{3ݰO|ǢK[Y9>im{\OW%&'֛V$r/$O)=?JXCA1fCTE*!gi˴`lc osdž+G&(#́^J$TQg+XXBRS.7WOPE2 1uصjUf[V4*z# OӪH|idB UPud#j IOjyE+gJuljЈ(v9ZXɜs>4( _;M_/3 a/X Xw螠v k\% T֔!HHPРQbXcWxkw[1T^biWϓrN!eGU)'VFCFPww$q{"ܜ|ՂŒKjjdajΩXZԊvAw}Tec*g6,:#Pq~4 VR|b ^t?dy[l WrHp pm67$[ӘЎ@Jψ=s=aGPu GnӶBU"A˳d)+)":c)"|fuvi>G)H35GBߵAOA>YI[#a{x LhbH?ΗiqWy|on[[I(:kxlû'48=yo2+ 4F# 03O&x$>g4(`8 P9ؐ\t~g( sA&T O?'{Co|%ϛm W۝&b 4ڑk؆9᚞|4qAGЭq vZa z(%<^SFr(wִFy8.n̏w2X4),0 Xr ?9ЅbcT-AsIfFMt{há4Kq 1Ώ;9ts`p5xx ` Z0ABADQ~C5) :w? C( D:h;4#ʹK~aL)w *עi뛷G3#(o^`J6vQb^srE!O)}SbRXĉf΢ aQ>VDwd|![1ӻ)GMd>?٪ g6mrL`3^(LuzNeN&@uj#_ըpگ pL:Hk}#%5&A]oW~ wLEMiGH܂(c+kI>G)}FӁ:BEmY*vx&TI(؟M ӹbRy/"rY+֔fwvt׭ji:P/̭K^6XW_&YcIja,a zRxXWM7g qpiW5 1pc;ä[xENezR?1[XHA1V<}JkJH¡{<@ FaKz^-ͻXƒm+1NYֻn5:ߢE5vͷ)a3arF!gˉIVeEaqT =EĠVa)c5B(X/jIڽk8vE|:TYSӯʬq7I}$g vVwHi$+ xfYQq|Rμux;˥, s__0N#un`Vy[jX%7ֹ>(M令`(5F{~z05IuxWi`]iE> P z1yÔ|{o] -T^Ew0jn9]fyOrxƸ|)?Vjr =D+{Iq!ۤxGJ:RO@D1Ix'v^WiK98wI:r(&U Υ^#%L:‡ /xy( jK߀D"a=UXm.n`(JuU&[#uPK7QZ\_"l-FNzgP1믯ϙv[G+$ooJQ$'- _7BifV2h,/wNs,"bW8{ 5Z "~Nǚg3HX@V:rEmʒ+)/#PcͶw!bNZ5b]Σ f6ojOd-"1zU 9LZ(pE+PnU4?g0 ϰuWև4rhދs:}vwٱmu, 慄~8[|utݨ*.z-MnK<|ؐS`I uDTG;mz D(ſS &Tk"|tT<Lg;Vv:9Ιm+i f )o9҈FDF "|p Xz:m-4=܍V͔(О( 5qCYقd%C+;Wѭ?pOޘ2HI0XȺR7/ͣ 醬L0$Sn:}J P\N`6QS-]sMYj{J#zmAƷ2 I.#K'g. .dz4*tTQ E%>#oÆ{#eôӳ" DeFu`ѱ'cmMQedܖZ S~fVAFA1W0>K!ָ3_3jenwG\kC2Wq d)=cvtz:o*uِEE8,z;QuųA񷜛 EzMA M;9Ĺ (ߜǿ;bn0Ss'\vגqƑ6QV0Mq!_T*o -yu /*z"A$iw!eVHl̕+d2G< P m'ƪ#vX (=z IĿoQBABS2tY4AyF>E+lԶko,\/QaacNcubg:W]_B.:mG^0g5Ji1g 1nF'Uz 1Ohr"bcUVգ2 #*.ͥ P?}/iv`sSr f$/#`VW?m9O(WV?&ZTTc54eRܐtȶɇ cjv[[E^<jT+ x%"{<9 W,m ogSf{lD1nr~潫lmF+ C)P0 T594*2^Y ^1ȷičK 5_9nfL.ä:,3u:+X=ZX* *\wޖ{:ۛDG  d L\m)*XFmB<]CaC41v9Cڙw u?flcDw?z];RY9W[}#3wesOlD5}R:=qW~gBZ;ȈJ`R5&%Nhw ^e8?w'ɉ=>/8kc 3`M/9m@lKD}!p9_-/ɶgǎ4)&kW[Hx7'}$m,$ (׬1%y|ߛ6ʥ?Ǣdwݵ{f#:b_0̭YX-L34\[DX΄F'h; wJy[HD`#_nCj2/W 0Iupzu $اcb+] ?yrA%WDHY]g3~Q%bŧے/n%%Y5g<OˉWqG8#3CWt4CdE?ڤ)rO%6ЌʸMQUZ(׈mCj6ٖ5C1amVMC;i!ob_ҖM/)I20t&M֯gZl6;@^1RU~`>. ޲/V`㒬%I<S74x+OQyCu>hA+edMH\ C*q>QiL`KA&mkֿ:T>Cy%;o-0~NR ցV6"Ġ㔓!{H.9);=h~ou=d_||0̻~\*y $6UϥSDBǺ$X,1X]/5v`s&|c" ^M fue;$,n$PO8ImdNiDܦ+67yԨ.h!!=UIӈchV&82Lv/4lWdTV$cw@-Ƶ>%Y9_3-#!wF Wg"C"~t) N[sIFzMQ_5 ZD=b1EN=fQܤP[ewxbҨO;TYzaW' 5XϐGF Lm6~P b\&pyM篂 Փ׫.yANw8/7*[_s%\&4dh$V9Fޟ1UN՗IP7.1wY1NZw.^\_)90/Mm׈3u|M [oZ"l!Q,s^4W3D3 ߇+InYTŜ:hj&)7ˏJnW[kMonּu\DB269$\)jbNvsx{',V#ꎌ:ϐK`;^='ʣr+F G<uzG l KLf[%)Wι ܳ29(D->F5U 7=R1>eAM$)edeU(VQ,9l!&pAtd"#ALb0BI">:<ڳ'8fJU1ZѵSd2h\w"-^`AKB Wwgb Ɍ ⺉#Z]|LAMMB9"nc}}_ 'QIm _bxq"q8H[\&˓ͻwWeZ[aN\02W5"ZH,7kΖ Bq3z;ij mʶҒ6Wwg򵢚4Y*g5޹tpjg{шQCH#:jXt^eO^FOd[oH%LEtE1WX`uiWb껑M;8:2hU%VJ Q>!2 Zf ~h2.zxU̙#\? sySוu>F~\C>AO7HLp_7i*(ցp Bd;i\n7â 7+mN  s6,*)f+f?ٶ)C2R\P3cPHYB)ZPq'ZȤ>j CPgY} V FH:+>0A |x͔HeƳ eFv ˆqn31=vdkp)H&4 ΒeYa}>.XWwvʳE /I!cK"krgpR[ CyAX}T @ζnr9Y'@fpb'^\䘝7^b+3RfݥZ\Cֻl[?*xIJ `{MQ=Q>n5z15.4 ҂γ\X}8-U+蹖M20.xM/CBSg!ap@I9gʮb=7×傍٘Ki3_Drh2N^V^` AFGPj=̴^ޗq=$N"Zv>XC2f`ThV TY$+ka}5J) y"At:R |f1Id7.n sͫBe f^ 2ɕ:,-(1t]qhնw(@խ= NWc 0.̃\F#O FX,$ wNb;q0 U@lJo#kh,3c.eчd6O]BūXo_1@&E!M ;,.{jɓD/՛ `ւ ̾?\_ $=,ަ# 68i%+xZGps6_ Mp?лPycT>S'ex,**NR֯Z$6v٢IT2P"_>a [@Hvgj<-9X) ;obRmi1CҴ`kiO,/AHAݒN5G> wc6NI+hoՋ0w)0֭4`*eL >x yޣ.TIS3AQ(t kш *>)wMEs P0vKy6I|ݲ mo@wVsU>gQ-+Й~ad51zt7!j2utoTfY= >b@;G$CS4bymE)kݫ5b޴{K.I9Z3lW2'pC]<Kc͠QS }˴x <-}FdҕUz$OS&b){Ϳ,Tv>ܻbLt3{ҕ0C*nG9.gMk9!WR^ /QOWmSƻʬaH vSĻ?bJ=OqTBӢ?Z6zt~[␬k"s bf;2Mb5Rw|; U'63)]?8䋥7#CDQr+ 5+hdvk-.jx{ VX)Hk }k4/5qTXU<Ϳ> NO˜$' vD.|w ʝdԺԬ E,Wr_AIى;[L6f= J}ޒtF{IErzpuAP1oF$8 :yOnIf(ݐjbSFOvQ o-+ᅁ-T[)@tMh1%@7|AK]o97x{ҩ?Jn/"v˻1H,D_u&JSy'=ƏfjTFr#2SQ΢<"l?VRNR[^s,7k¦`^E_/ܽkV gP%b U)ߵ`@,c&t+]i.4#% HsiT<[p]Nok^XuupF]2֪>B^l^|迅/ͬD^_$hRb@f^$_QA7=EMܗ2z@̋-0^so ㏗;hx)9+g}63`$L]&L -A' (h;(<) ^"47 ˝+%ՔFgR޽eNK%ᢠ{}r$ Xb ˵WmU΋2˳#PUɄnmnzM6)1@@N> W7 ,# 3x(MqnĨ.7RbWd"+}wG>ݾ:`AZW-vˈꠛjD+h}\$ȰOm=r{|.I^֑/g5A},#OAw3LZ nbt=PBFObL uޔ;t3٩[+_ V z"j.֛:+)ilj1r_TsID漶Jd $t\Av{SV n;:|} DΥ ढԋu@RHvwGPPG)APf摳n(-bn7! Ru{60(5x#,v\c#JWjU[3*=A؇BS0?3pB0Λ4Ba6[X6p@3}Lu}l{LC3xYELUA-t[b?qnȫLz'~Jf=oqk.,rTq. ھ}@3&G*2Ŭ+/p`";teK>yxHU}L$IO=0%l]"Usf'6\ t.XѢF#f=o*rݞvNNS&FΗǛJp Z0pg/.Ex:Tz!&ᄺ*SмQ5man`f&C]k폮t7.g AZr&VɬY ڬ?~ M۾,xzRBWꏊchk]ā1tq2N|KMR%U-7y$o.J}y$I!&"Zя״ NP'aM|KSȝ)<8͡y9yQU3a`ђƵuӹ)N-푹\D/&sb"<{;DN {mscCj.f8ͻ+=9|EʧNSҸl-ͿW?QM! :I8Lxf -$L}{jl;K"Q,VF'0Z^ qK1\4";>fҎqpf!rjgpAE4q5xҽ^MZKi7!NzrCHgizϘ4І|.l I֕㟴o}>r*<쵩[]˱lrsKza{p绛;3/|݌kQpU5X.$LinE/E551#,I h km.PV9 fĬyߨk0/pggYZ9f35d2933184b37fe018908e1412c2bc401a13fd7c385341d59add624f3803e0e2d207c16fcf2b8b 4343be3d37156aa8739d2cac200a596017930174 ed9fdb5f2057cd9762dca239523ae99a38516ed6 3e6e9a1f9c277f7694158f1cd25444c0dd912e6c e63b7755a8aefeb67c8719965030a4a1e6b355d1