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 &&21 l| ] HOL-Metis_Examples:threads=6elapsed=16.151cpu=66.792gc=8.096factor=4.147zXZִF! B]ŗXiɟd)&]4)nNMG xBO@gHi}gr9.⁨=TkfԿ3)<e.E6/KXD;]$/$L<\jIbL۷cQLS5J>o+I ա}+ޚLeD/v> kjE!Owɢبq9{0> `G.ʟ{K$p?'ѵy_=XOImuи`U(:M{# J'oq:;:_0HKXs:6Fe3=QXOPDA2=UX~L4~VK={9&W7UnY/WAd_xDּ·NFi6{ ~Bw3QjD"]/eVοriM үB)^ 5xûpq9op(lȥ{&:Z X4nrxL*>4 a $rS|JD}s=T!vZju$x:H\|~C1c/1kQ:̉ lʻJH׃\- ѻ.g6Az/sv=KUF-DبkyVfe}.ET=*c'sVE-_!^G{X,uw=i*,xIglspPpTHe0, Yq_c3hsXtT&gdn׺s3.t"'u`* µB[M] "چ|<ODL$="F|uck|=OeI#oW/A-Pdï)|ad(  : юT)`,UaY/6 `kXƴױ08U99ܼs5B^5 &y|<|b2>;X$K| cZUX(Jh[=2cAwAo=U+eٶ^-|kBg xY:nV},s]-* qt d P9!:\㙉UfM%}KxxY7n$׍ cC [W{T֖C-l;'7G]3lCxg%NҿW?<@9O69e+p\s/[;}k FDBBOPY`D;eFl2dvpn/ f%hW'3CRHL!~0QzLޏ/ד"i"4Vh&~qJzVp!X1[h/!S{ ɣ`ql#`vˍv{6m(Vvev":4zzʥ`uENXݰC%s $|v򘺎632bCJp&a+E-GAם"[]&¼$%8 rZǂ댌W#p5-`=~7 /0BlQ@ёW[1N ERwjĿHVfpTੌWw(Ϛ|qˣ[y)xpH=#,Z1fG"A,HHqUG-|O^sMLHJf92N^'^6ƔW9596/G5N7јQO ';erJ3HP=@hBe{dPj⨕Dʤi@bc#t5D8@Wf|,InH ZZ~ l0CT b[Ҡ)t#ve,$;3S磏vG4lJ PSi7z,zaJ@x`u7N.q8ׁ:3 54+08!RL<>= Ã|,յCKԾ7S! {\ã@yy;eUk >@g;%ڄk(A҈`3=zL/xY z^ v r#p|C_P_,?Um8ͷed_~z[n `@㧢"c>4N 1 HOL-Metis_Examples  hY߸6uH$qy?>P75+1~W3R}h#6ArƄEߝo(*hmV LѪk#l8rToq$Swt3 ](pTH z.pWDۮ07.+Hw#eQ(N}Q5 ƳiQ<3$")/KnU> ΣvdM'}u(XT,7X8k{lrݹ \Н{,4 ݪ!ͻR<QzrZ5{1za]:+ګvYE7zh'"ކp߈7gkϜ~GeKV\0h)~%8"H15;Ƕ-Tdp!/ԑdG0]%u1w)MQEZFfHϽN.ּbu?VMxCѽ 4JH="rB_MTQdߒ!7hǕU}\=2fL PZLnR8ܕr,g /.$i/ٜ?<ͺo:9.y.=j!¿ 9݁XY8oʮخ˷k[P 8arcrFcy C3 olM聸.YfE*RF,dC@\z5+UkK&{h"b8-)U7y=e70ŪY0ND8Qh4B:kJc_;m5bg$}`(Vbj {T5f*cJfM( lm+3XS 9g;>vRF: ?szH $3ʹ7"}S6q] .y#6.mrf˧rZ#1d@Mן5yeG|qx@dγ+s@Aف+Xsծ{JUG7+<]Q?.eL.~p-m9Cr 5>X6>\} ٪-#W^F]Њu?m3͎ tm>H笢A;hӗҶLQ$URm1Ha\~-e3/|8q&Jbjv%k|? [cRr0-LBxr n0$&ȯ4 u=6܂6&Y{71vA'6S>7) oJG= }5'Pkl#2$G ZPʼAfŚT:Jp (*JhK鼠+7/~e,)OvMt谑; `W\um)/68Ȅ{R?}@={ iFsV0hhL"V}g+m. iăFgv4!a^-zUhf=Rm1=0C\.1YBKĬ(njꌞr814*#Pr3 u5O[BC%v63Ð@+-&@-U`"pz/gu]kNdaPҞ]DXCsWn}rmZMܶ6vQCMkꡘS]@꣬y#5f߉=[͎}χ,]͹'6hL$?|B0~X Ye&>a Qjv3> ,[h%tq#bH*Huކ9!W*gEG9qDV).)nfգۂ&dW;bf~ʗV/<,d?%)|>P]0sb\gJAhw0 :sh}U%&Mp՞+:Zb4L|Y aYOit"9qi= Xk._(hh[&8wt&Q9JE2NY4f#:yw,tq2^-I=7"OOe<T0)P8mn_rΛ tz&I6$2E+F(c٢"W~C0|nmL6yy}oٜs罓$Ev cFG:4A i.qu] _jܫp-]UGGD|+ZшvtnZ2/R(:%@+gYӪ/I ?xGO?`C#R2%i6Éuu$*3!5B)E2J҈78,R9/SUp0`QPf:W9Yg@6TT;׉:eUL@}7v vE?PKQQy wyLv*abJvmՍZ:3Ǐ 0ű3K=쾰Y䄋go:iZ̴A~bъ~#63]p N9+ÙhZVNQU6n"QJ~9zۍ\Hc1F \,A>gmF;PxOp܃׵* 0kݨxuzx.50@XܫM2@Wb ԵrhW0*c7Uٿf(Glgbn} <'3rw)e݌631x?3߅S&^O9.i'F 8b8[0瑞Ȇ5?M;j]]yT%_ϧq/qƸ6DU )!Ɛ4Y\/xU7*s}A^5h~\;ZK5 t®AD3Hupb(K#;ӄ"uE3U]NGˡW:h`LD"Ze^ (ÈAP5N8bIi(D]="o]q{pW`Tno v֡m)S6?HK)Пԥz^Sb&6]ctP}ٷGvGa0˗G` C_7ѣ?J; njmiDM.k"zw8k6JH93WAe ԒԉNt!_k(s$ǼI{M_G3r5=fNϘ+,09s竱*T &mYu=>ZE BE+ OypLriGy.iGO%*Jt-N_P:bvCʱ0Qx-2_]*FpI\aɕEko ӥ1VUI%ζ!/{ x-ְc1Rn. W gj_#A!j2>!ydUѯ<6Qit94U'3$J[Nf-ueb+~u7:ӜE`ZTew],ZYa:f>jSb9"%i@+}zLxImLV֐0\ԌחSv %a^ 4裒QhwȻW.M HrIjWIC{9XF6Udgь]I`oH(LY>s9 j` giv-90> ;`ک23!FCaQkTIm"&@=2;Y/B]ic9aT#'kCBT?@U=9V 5;C7 E,\xR n/a*w;/t0*15 c~ă^}]HLqCUrXaop? _u 8Fo/'X_kp`z{;dti?DI҉2qؙ(p"xQS py=& 9ɰ]@܌Ғ >GjfpyrYOÀF jplxaM .ӕd&\ ,&W,Ũg_ZbFX옄XQ2-;lUr3:5]Kz}{)A}JniT.) +H[:}q]K:QOo6H_PbHx|@|%&'e }6 cVO&&w~;=%H#0 JSTv7T)83:ac=aF:ňlH}~4sQ=V9ѣ9j29fI=(ƚn˒ڕl*Ud\(Y_ܡ|ËM|zϼD`ǟRLoFu qu6$"}E+X͙"Gnk'GR-T37Nٕz B;*峲tfmz`Cdà@uK^zQpȋ4Ꚙ5{w n*NYO s# }Y1S] )ف4x-(a>c$`pDQ2>[a}SQoV=<9]pt $)GPU+" 4ݞZ ܁od`*#b p H'SN{ֹ~Ti g`BdF;2:~4o!i {|^>1;N#paE٭]`o^P'[IbMW {EVԎbکόa1O|Rh2E=vە2;Jн+BƘWǛqwLT6%#N-T\ jEzg&K(04_viU n}V~<=Ӆ #;gKh9mpFD2q^TtF{y-RR+f5Uъ(ug(FkBXv\H4M5>lk|8p7FÊ i.NTLr‡N6}5p~E&8sSZ/Iލэ,:5 (K}> o8OV< 0> \rTҙ?$m$GZa#9uȇp@dOڭ$._UK)¯" Em(vGLꝎ<r1/:a@Ǡz o bo:TѸ] ߎ'92dC,ْ(2 MxJ@?lV1XT\kK3s2HVt)zc<&Yݍ-=E (5߆']eEJzT_܃0c//K4hl= XƑwLSf`<~`dQTi3/צBu| ϮdJg~ChF==k9YV\u(8m%8?Cq::,I>nԋ4 tQh&Cl~jk4 v67mi`\b+{|.7<4_Ŀ_/-SwT@-DYZbYG[X/mqPޯ-c'MnbLǾ+3 XSS3cT5׀9[Y(C*S D-LdjC3go.ds=#:?xNB"rxC1K[H Ad T,zk~rMƚ%\:p5z֚\<󴒍A}D}t"'YegȸFBiJ4*({4$baMD';zW: 'H4Df>MiI_ Ĩ\93LsbG.Nc+U|lv=3D7~\X|q=¿h^24-OVVC`*Klj+b"b݉M+T>G^#Ft\{l2z5rѝz`rM]72[sSօ_CT Ĭ7F ڥ~xk~tNP贤[Ts*k|,o]e졵O^} Pc;KEW߇Dj OC`668”l|ۅ >P3,<d!ɿߺc1)P}hh{~`d>|JZ1܎iYt;]( ]oL@-̿C7I9!~n=zpo{$S~Rf .k5}}ӓeB A /x5{XUs wJ][hKGw4@ҥ>@$.Fj(K|pg0PumFt+C/Yj_m1.ח:O,8t큀J\oIz7̺Mij߆Pm&˽;ɑe m،ȗ~4Ua2>^^ecHt:·L U0Rm}9:LEyJڙf{V\#u;>e %sNjc(03Sr̴2R] *%[,&9bQ S*kkz2H݊/3Sc%R<{f/ܠ™Kjaȫ33u:@q\>Uv$dpi(sqAF \odzϐT眮@bcxcR%C#ū'.omm)\ix\WNҕ?:k1i:LM}|BAqwmIGNS!= qido*åpOڅjF6Dk:r{ O C$TԶ1kc(1NӢ s\ cOƫ2t'oap ΒsOj,\=!0[gUa#1X+$'4YG/V8r5WT⇃ bya?% p_`n D߽$cnR!w׋0orq_|j$1[zXyRSO}윖WPObf\q!" jaKY˩/P ᩕQZ &rvcb2w2$zLƟۥMd;f鱝c3x g?-tX  TaͺıpyKR V/WGb/8ݥP(C¬q؀"| VZ!v;P[n&L4tz\L7$l> _$EŹ/v5g񑍤 "4ù0do2S/DØ%k>|h%{=XH]wg2 Hd7+k)9H:(j[ "B:avOAPKCv:) YQh]~[U/DZL跕]2W9y.F6AsGQʷ]k~>l8 2f9JFN~siJ_W#KSy ̯@6.-\ҙ)#UBw$zaGHVkT{,%ݏid9]йv{IN5=gQDKsx|Bs#E <_b 6)QviIOp: v3 5V:%i"$RƓ"(PZn!||e4f?i[ÃLz}ra͗ v{\ нpmO*I!NUso˫Ӽ]0%;6P";iC1ChL<]ʼ 0G9ePl2%vu/xP&`"’RW1JT S^1wA\ l8Zpau.`G #  y D_!\ P'+I*فvZ DjtJRh|Wl) |SfDcd7"]^ߞyD>i'97zlb F- _4e#sM59) 7|M."m: _ֻ[ =̜sOWho[$ȣ!;@R((ˮzȻ(PV}4[%?\ % YT4žX!O%A#MDzkK }v@fGfu{յw8-vDNQ;^@\&Zu/-K!j/Z#PrK㢪ߚC+@lnZ jWZ1>Pj6'qל&0CPcJSWElS'Ļ$cp%:cPCy9LpSe%4˕P,fNPbp@Xa/arC2Huo0_,Y449(fnR0^lCBAO@h,jB +҇b۾ybj)c 5֝%sL!K/* j6W(1{=:1$D^ }כ pJڗ~JQB`O?Zphr(tۖ+9C-H ;NW2g ag:nC+ᒑyʭNT!I [G@1ankqtrqhn/, it~W-WګjWm =}|YP #cpUH2T#nsV/&sSIڦ~YdUQyYK0:\I:YkrHF@]S]:+P B ø*KD56Ӹ o2RJw-z d C07WCCZۿ [{#OY/"f \6כ w l&xFhMW/lSlr5Fqdj֦ݴ=H鲏O޵{@3E.3E ,^^L5?dqZRV;K!sl@p]{`wP+b0jŴ@^%Q&X!xttƅ(]le=S+N{_/GXdRk>WV7G_ݠs߲H7*ȚY q _.Fϳ$D8 l],(McXҶ~ȟ*ɖ&>]C'@ǫZ X1?/yKca;ݞ)dPU/^ڵz7Q{GBUMWMӞ:76(`}&k-Zz۳ t\7 \!U5 T[|9%cKWBmzVĨDO< *2i7аV`qE.M:D~yq{אXo~cƢTW9mR[ v%LQT4kc":}'q̌LtZ/˧_̹Qf,{YݟSbbDCj'Ʊ|>5GOOQsu'Il&zcQ.u[p"A} xc "D8=C#ġ|KL"2;yй IjS<8AE7Vou;7ƄV0䙑?5?2H+B%:PJ):‡WmTVS:F(YeX uO@iScchif%azⶦ6:.UOd-P}'Y/Lf^ ZV77[ˉB6Hט`WͭȤ1_"A,'j *tygHSrI r3K ObztS#9Ns)|oLA #ǘS^GR(r%ܗ )E$B\WdV5"r;3$RNX #ͥ޴S/G!( 7p$XsfT]1O4Řghrq5XBB2r @nueT+> FIzmXF_Z&dZ8ÑF@m/_h*;BW"(Hfث[q#8bs)9):H{y9]2P\NQq5B[CHQÄ}W09?V;g)Y"-DPD 4Rj(y1 1N|&gXq$9*ytG(xخ "KnLЛ7Vt$R~]({ G&gRz! k<7:w𔻽]G*t\npm5 ЭWWF#eVQgy=0sorq}j_@nK%ϲيuv=d[EP6epz"]l6Q , {bFSآE'])FkruRlN'-&Ncbt\~h (4hA~ǥȷ2 ؊k"Hd v7Т |( ]A/$UXS%-~}|s"i{4gO.ty??d7ȁ^Zٖ ý~k9%Φ:&s"YInQ(`18犭ƞJ(9O 9l)N7fi㛤 \*4WM5ý_ӡps{+y'z]0']ff)>qi($ Ja {'g/H' QU6B dXzJEW|ɪ2!x uzaDVéW ~uJp/%*ګ<+./ZZL4ӰlX7E/cSOvC9EmƩF\saE!^],Y` ws5ddoZF,5}8-6!MDcчwWWOĽҡޙG iLPj p9e@A#`>S[~gin7WA6ZoP3+% (\5[(@)<o`   ssUKEcB?19.=tpFi}i &~J4=2uS5+']KmW|Ua6/~BaEt4E^s@F%M 4b^5NGe-~טKy 6DXY"7ޠ:sU75+{y6h`\wtK]W~]w}X]l`hudJH!?8?>|\'JSʈun{nEREBlcK$KsίSZ6E6ԇp/myo.h{#Abޅ"vd(i(7om;aC/sDX#Kv5e$fhÔmD%n ut1!t4? C E\dM3~rvpo*`5zbYb;0d۰ht!5+o?_K @Ƕ>D{|[/dM8fd- W咁0_&Sq Ț$Z:i+wdM8{]0I {tev?Mj #:Ie $,bS\JP1<;l/E #;KB~nX `潖W6* 1AI9r\)g_*XG}uRϦ{sM5"6@k C/^sqloD2kf Y5oKJÕ8ޤ4 _x3Lc Z(ND 'G f*uv/{K]Aۑ v.q6?8wXH1Y^S}؆ƶ_֯ўP `ykZ tX塘raѵHGÛX`mH3x6QTӄ F;dl4%,3ڃYL!y~"ޮy`iP)>Qf=s,֮ώ]ermdpw;ݙ qA8R,|ULfGH<'h-Wg\Y2=sj< @1jIz(^B̻" eML^Q>^7]4= K^ͷ dӈVCuq, YPPsEOnDߊ˂bP| и+zvuJ38h8W@5 d&twYBd~@"̯v[c9ХWڛ x>kG&=0D-s cֱ'wOᬣ&MyfUvslP07\A1|,gh0CsZDfĆ=9z`AMwfMʽyVlGB.FERf_'|T:9D%>Y,?ECdTH{C5c{\Nm5T`;k.vW_+kPN]Ӹۂ9ah#< ]F0bjE(Sku RER}>̬!5KH` m|Q- q H,D/0C1Ap!XR~@Lm}p Dh.E?;èA d ,c!/^\zRuϘ٭lɣ(ws&oim9n^z`<-+2DSTK6f(5I9)-."7t02riIF'`)n|]Vh3Wp|XK'̷bbܟG7vRT<}Zaw;'I؃0$5vVr-pRP8_CC dNwƝ SlBiy*,}U2o=-`H/ݱ q}Y˶D%Qf6X&jVVpG6k}nzk'AO\ڈՇi5`)n~(~VgUb0X[r}]2 D9) ϽV]fqv]S; P;1|x0ƗX`W"vXR7Zdv#$fq+"%q M7GnRR5 V0f;־R ҽwja^LK%O6۾ӺYwuI@ݰp I&bkD:(HV5"4}+Ji8^~F^P ֣G3RTIt! Rm:#N{|c6}|fxA'MJ7WD&w\YiL0U6L.v]S8B<봸PrԪթ9x t&hDJaI:g{n1$VwgmIʺUlR}V,黈m#Ggtk.:jh`'Zͩc3 iBZYX칉ШR77Gm${RS"Log|L> BnF_G Zڋ%!U &g11s\hMEg!@WQYnFRF21}yL1 d6ҭھsGf>I9Ŝct<*>W3[tܼtri@_ /X'OP;4KO{Mh{c?cZ}9L ":k]3!&{,G;7E:mv 8e?Z5̮\&fi+(֓a!$eH 6ȰI=ht0 -@ݕ}n6A2,ʈl%vuN.9헞5OdܜCA(U#it~`7-> L}[7 z`NeiӑK)JTGN+]EpnJ<E?Jl{;@Uu2oo\etB!n bߞ&T³'˭kC_I@`th]!17 >̲/?\?N&&Ϗc꟞XӤ4 Al1rT(S{ }laQܩt2P:2tI{n)_Y,[Bt-ҰS9{"76=]m@;8CkL=/ڜt|yOtھJL5(隇7)GO.вJ#Û"bP(Vfp;;v*[s`>yߜo`d CU {>;c[PݑXȫ1Gl@sϏ'-u_ 1VL}j `/ee([_8Tl jhφ'oо}*paD-%9?&IiUp-Ɋ;]COŬ ~ CX3 6osONM72×,b#tdgK4 K8=wSIL2h9#jZ 05Y i/&~\eI"YWb<Tʴ"I*r{O4pK)נn SFPv"dAgI}V"1rdT  P֫PUfqrW Τr=MCMﴆUw[0,h+ܕF^cEB,).α9*}tӷ7CӇÊRZO?=WfwqOskA Ϻ:*F-."L2UPLoO;EU@B$3dMKv k~B !(͛ t99A5/SW`hЁKa5V׺z }2hUh&#7E;RL/,w㻓%?).vrwUQs?7 @  _aԥo%ҩΜtvthӫ(EJm݋:F>ob$UUOB߷ŵ1 Eү?He)|2Z ;pר~w 08޵ Y^WI=jzrF>|4>gZUW0ѽ*KweDTLnjUa) d_ɒ_v`[ȡȫADg,FkC0|]GuaB"ٙuu6*Х,t5"PdSSQG`BQ|\?4JŪs8.mE,.HXo.[Xg1#Xhrb`9E"5 c*"Fco^s֓<3!gK8m^J:pKǒ>sHIw %tԧkE4OQG@іͥVhd&fBez'l1зq-尊[ 7_4%l^EQVK%I"i.R+tͅD ܢ3ј3KYu׆>m8X7p)HH>C|Aguhu k^mkʚXQ ЁllrPTg֍M#јX޿O؆_<̃D_;?0({ݎ'{F lԷc`;"V&5HC>[*Q\睻sM[xO"?9ZRzXx.O4EVHmN܉Y̧ͤ C@$F>bdr\GeV&k5$-#.h:Vqvh`t4dC:3c蟭ymSZZh/]o,[+g?ҽT*:1܇3z4ߌ#»(JLvKRxg'D]N O)k&}(slXe;m̷oM$C8s ˸Hi elXs&wբGNWbNcʷH <_ASWG! ? :}y1k;thU0@?>'`JQFjZl=a:!A5gv|^{);ٖWm{ܞ}MufO3+-aKIQUNW`@P]oYRn~SFպ~ɐ}$0k8=R!T+8h}$qfzY5 zmsXzpW`qNϽ8~sc{" W b۞2іBͧvmHVڷHW)ҬXPi&al}_*B4_OuǬ&LqGgm9EnM#ܹ i}IA0M0k1syJ= hXpc^LravY `N~-{e# (gUTD3ɰ^+6bwSR2Q+ijYl(yL(0w{+xz>pkA[OɆ 0RODţOp%Bm\4>皒V5H\ٗ.5SSdgbP g ==M"UMY.u"V^\]g[O/-$:겠oW>`ʨ3$Se5/P+PuefBMd]y5!o sZR _ eFwǣ |S4B4a#5& \69s(_|MgF}3k.c<-Affz]X;zOn>dsDڜ4HѶO H_ta6^OnvͱZ߁L72L'o,GDT_%"dMƉ 8 6mIb_c,bVF|cYOqg8{_*.4/@ n Ft7&=M%ΧOqXFi-R_ K:pZjadb -:64i*~ٗ - E< 3/fF`Z =o4'bwƓZ 0jY8k?= UM+rz̼Z_:C$Uz3j\NkZ2 ؕ$D+J=o0'p_VKgL_J|z0_nX<}`[,hnR7@I W0ꚳ E^O&]S+kc_4+yöLތ4mp STHqbpMt$oJ EVY":wUkk̮,ݚKOܛġxh-Wy0&"="]^u/_qKɃH ʋn˺vPjy6wm=ZɤemСG[z_?sQVǥƲcJ\MAz8 #}kLNrnEt_ɭ _6g E֚W!_5 INY!MaR}*f*̘[KI֭BI lj4O.Wq5㤻ƣE1 ̓Թ!I\xcj}o:nd@^MCf!_<#@Ao[H.L\TvA$q@qBŨ".[q[!ȊO.aÏ>^"}d9q%@jL9o$]6T>3VZ?;.=f $X}򽸌x <<  '8Ym]ĮtNQW8{$6Z;Ct)ǭ36 `-@B X 0}M j𙛭_utQ$qQk` %b{n"3ݑC4C|dS7ox )e^`7Q@Gx8TGy]5}ҊL0dѽ>9Fj6!oC;2 g![ڎͿj-_)@I. 桖1ԥZjm)(_^OU;M Jȹ'9f_4šZ *O!`'k؝iNؠ22~o/(M^oD7'1?hWۃ 23MX%}iR3+]<>:-.i4H0ER!ju ,(XƩ:e 7ӂ0v^HQHm8k;Jh ec>fppCSgeq}\N?Uͥ6ԑAщ+A[eNg.jվ\ gIE&SnDgeZIc\f} S*ا7h]ِl4B4[0|{gqJ}%҈J0k6f}A%?y \OG՞ se*XC sf:r"X=jɣ`vŅ,G9_FHY-ʙe9fwjU 2+}zF@d j Sgoaj?.k<-݆geJ3R!~P~u,Sd] d5CJ{Q N5QCPl& ̱URB f>-Y(_#QAV /ajX+#fI6=\K8;#M I1. 1K~{?v{{˽zx0FƱ+zoݪV+ ,."M Lٍb<>+''E)U9ޮ^ȁcq]|EE۝*tgn>f,$8Zg SN{CǟDG )%UUwem%7BȆact݅%F ?E$Md>F۫T4&b_.sǗ}gr 2iyUjaPWz1py>ϖ%tZltkK=A%bY:P&Zc{_$;"Z5µWfgU\>AGv$3!B>b&Jeі,I `6s.p:2 ?zZغ"֋R)sa^S?VY\ F+T?b!- ck[nR,_`\l7V4D[ /:"cmcdR99m|FwݚҾ'tp4W"aY@aa\"T 3«eXZ\:~J{`y,&tڛ00fX3}+CQD<?J]_38ka f œZgD8 ;`[s/"ې׌mVCsd 8O>BWG\\iU.}N nzQkt<3O%eأ(Y˪ƪCspg;o?Eh*.JpQyn1G[ЪHx!Z>OZ.clqͭ-=EcUlDiYXV6I۵-r*Qk^^*t[ \ȯ2#[{~@ )d*WΚ#e8kΚ ~Z8_o$knU6lO*Rvy N |/;g2XkEųJKblꦻ$X jk}'︒ˍ=uF *qd2tqÑ@ "oŋV3oܰQGXÇ-Ƥꉆ}I)H G *c3f'91x3<;Iv㒑f/aQigNjJȄP^pP!B 0p^jbvX8n +l,K_qNq<Z4a/-L!tff q5n+ >{X hm5%{L.1wp౮hG&V&J蓇la~$0BsȎj" ؤ UXf! )^hZ,tJPmK: `ƻB)+Spw"ygW*oa8hy"\1?:+l yA!ܻig|I{,5WrՒo˭Aed5tO@9C(>+,> K/5eߣ"R_KiO@!N]gD ~jCÌNo!ZCkA;stWkjg:6ɓ]X !<>~Q̵]q6Sxi)N3WD0b:vVUA*Z6,[؃.l~L~dڡG!E' OU1PEB[-mXHXcvHw3$DTS(=R+GBq`'9WCW l^A&bP9i*jUԘ~B">P$GYY65 N;A*%S3f?ah5}|߁!8\Ѳ+v9sHx 5^/:`DͲ$ifqsd$*ӫJ t^CQjnAd$pSBJчeqFm:0YtO{W.7,Rg'噑x;t,.ws@1-я:dGȉMT mjNŹǛ斱jfg lKtIcԚqO]':+E^ ; Ip5yȱ&_{Nl;TaͣHHSw1j+$Id5$׷%ęQJ_jx#9ZYy(ʵ;aOD1h]F/8i(4pzj3̠I֖Ƞxmդ#7fN: Ğ~ې7pfH:kXd='"s<:XPV8*:{9վqtUK7* EC:=uD/D0Ѭ)} ފ^svgYZ7zXZִF! .]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM3|E$#‰wIĽYƬsEJgj8"gn$:q'Y0 wھ6g,1 fn]%o:̽~1lKM=pa:l~KQXg2M f˯;^sj(#\^J[ `"=醿X0.HV}=&sL3砤;zmSgJM6$ßѢWt{0Ս!GQDbhvz>2D$gYZ7zXZִF! Tw]ŗXi%L#N\a);@4D2*taLs3tzs޺OG ũ7?XI^D0U P,7p'b(h7HWf}g)ڳ il}C%d ,W}bW8[];MCr# XrqnyDіs }91 tY-5/W BI9&X;U9ӄhblOfTrBt=gTuX>\j4aLBؓJ5t."))""-&OϦ׋lj:3eBNoBFzJ{{%h/8YZ!E+n}!TFuLk :%!=0]NmP,eZzkis01H+Ə Z(Ff/-]@!]5>'viJ| aMfjdk^/%n.S?b7FnpRH@!dBb64bn`^ &y%﹏puF#yq.=Ok=VC&!{2w]v7@o"X\4䧋fc΋uo>OqEuKWU4CMYBy5.Sj<8;Ȑ5|mѸ96L's2֒,!J)oڍno}.2\5n6%ӛkh'$Tq{8ًIhi 9ImaiYTxe٪]6 kO2 >v>ݍabn&В-dU%Sh^$k=< -x2-4:}h鯥h,|,Ⱦ9i%| fNY$7*xESӳqRY(jٞĥlc aV{)w¬$b59.i^ޔ[($ 4p]ؙ=6M՛ي#'MrIODŽǰjHsպgϙF@nߵxS9 ~CxIDW%YTC8 %Z:gMFLȌ}NWR)&tp:F8}=A) D1@|D*ZFC 5RGd9JSL^>@c*_QC^'gFPNiP8+:\}be=3o{JRk93OOVԸG8\\s&KZbs6cNbF~w)CO֦ͱ'ܝi .r uX*'jqerO;i2@.WQl4qCm ZN >?6:44}ǁIa=Xun^;)tgMBO>`ڳwcbkpCT! ysD|&*>xYI2"Z-,.'S#x|Uf'+9kHM57ɻoh7Cg%嫴 e Mp8khwϺB EI-ԯJGWUN[^(bqO5;@]1Qb=k*lL?:7x*JmP:e嫻J`k'.;)!}~\Z3_79/|`&nm{t$VNVgYZ1a56246514ff1b15f13a793debda17c853432b61e6482372651d25cfcd88b33f1b222ef5cdb71889 fc0e5d8b4e796b67ceabc210f27e4a4ee0999ebc aef5ff10096fa0ad7e3acd5dc0607ec20af499b2