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 TTx) T ]S]Incompleteness:threads=4elapsed=605.787cpu=1380.212gc=15.160factor=2.287zXZִF! Ꭰ ]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0a؃[i!Ma9IOJbKl R|%RH,x^WGl)@/;/\&{Q*CG.:۠/PoB2ѭ@l5>N[5LLjnGAB3ocKN-;纠H_8[kf-NMomP+oW gVNkݖ}ɂA+wb,9'VL[fOm1C$Ұׄjw@֚W5]S)kc|`S˂iN\Hbs`ʵR.nk *5Ѐ@̻ 6`}w{<\Aw}G !;S6Vg&Ktw`#wmȃK$/g>5>IE]+ԣ7:.`^=/$C\Õ.oY0wEӸv!O;x\<*/?~X/a*6b`EIwW&kKmV!9r_oyy^?ڦ f#u@ťU_d%<$G`uiЕ2N0PHpW"0jqS5)߰C9*P$#%P:6E*ILpJ>$_ <6eljۡ+s{}C1 Ť@V  O'c=>&`;åBb؍J Gy ?:KF9;}8 H]Bi}5BrbsVd8tkjv2bОxh0Dy|rg_~a ~zs#Μ|IZ%!_X@[ƍK &u^a*h=v&bǘ3~W],*Q76'Y[}aeB cL̅M@rC+e׆@LqD@&M~'[LG|_{#;4'zA֜g %d༰ڐWp!m-XQ#0^!G(I4f86ǩ_XzR!&VdPkfWT;h¹z8q Q3)Πr x[7"aFx/5E +H<3E\I\1h #l>=U6-)r':c(^0yS |)lf'`C07#L3u t^V>e ^bH|~]u[ԘI`4͵\?]y $>w f]WVYvif3tHF>϶hSbvФ^GwB{q=;|ST"{'i-֝c]tfneϽ&Q\4sr)QZ Ζ? 0֊/y1gq IDWUu\ߔˎ8愼Ns4X!yBe3HR=tl>/;f/VI-EfV$C a"̓mKez^xiYq=dI(V@М "q WUfKd0'sa,Cr:):?/_%2vܮǰ̋RLYjQ8}˵"h(q?{ޞ4:=B7w8zp;Z-E E{u"b*V'ndvV(M3~{=U wUȫh ZBb%Luf 7t.RC͎];_Ы\:S{gc J[ ke '<raq`u#4-C R\JS R,Ph'L11k+BlqȒгVVI\nYF?ZNf y"څke. (+Uˆ"L*FәBZ~ű9'̍JL*.cJDN6J u j3.^)zFӾ*MWٽtH$mΏ-.]<POPxJbCES!#8扙5dyOh%*H%í*^%E+69 ʗY&ɂ8`غ)P];7ũ?&):.|x$γ)3w禎' tĈEM>&6}:P-XvsM_' 5c0GuSv/-CX#Gc[ >@3ۄb:͆*: g.Lmktb#Adws9/ Jb7zⰁ3 q:-*^-erpzKoXs$~R,N,9QEo_r3 ͼK,9y{aspH5Jd 9xgƾ,GF k)w͈;;5mX8| J2:d|LGzgqrVRNrxI):1]L` s0d]-V_ԏ aO3;LxeZĝ0VD$ҪD R?)3txOmKΫjA%#-E5&^p5-eO !菱t/y<%DD8x#гP'UWg5;,.UqwZSa i؍2 o1ugiר׹(O#'3F{- ,"٥9dbTe͹R4(Ʀ)#ΰ7MqI˦W[Ct 3tiەz ̟@#דXL #3! =j`Ճ߃S|&=ޞzE܋>^=NI;'$c!o@3prEƆEnq]]uQ)5ʮ=GOs1,"l2d)h+PH>f6_4"]/A`#ޭQS%0Ij'c$^|~@2Ls+XCLӆϱ˂!G`5Jig ADlW0ᇉ*$PP%ĺ[bRoĢR^ UlxEt]|O@֝ԋ# AEƫ)ʰ%iJ-gMuğ۔BZ#|ܤ&5u&Э$ӻ%{6A 5=[M8jI:A0;NKS͢/G4\ LPE΀*:mJҞiXV0tkbPKt3PhQ~w[}-LR3a"ЭoH,kfn8S6U%[݉qSZcZQj<Kb0@ebI^@tZ]]88dn%ۥ#f# 9/C*e_-#s[en-‡bOT5lJ7#qASCr.jfaXf{ut"zQa;ǭWvMk["q~/x[Ts,ZbVV%\Z3HcfN9FJ԰Yr\ lx{jn ^:DU*1ǖH!_eE:AֶluVAkDZ^@~(}&NC >9@l;] wKΪ") m,"ILb #[a{}4#L bKIUڹAe 1ͽ``]&7 '1)ͽ} áJ%Q taXU-#Q^2IEƱ%'3-5#ά9 ȇo{q!( Z%'p9(H rrkv"{B]1q9+ZՔG/wC(W si=F- RʙYz i5ƫ;2N:hL0Y@.yY*T3)+k5ޫ2|Z kNk %bhfO\ 3| %H 7,+ѐi"zͶlg{郱QmHoVB6p#Fc? [N{i_,%Xl'/6!ueWՃ1 psJś' O9-ccu)VaC5i ;f/N$IO<blqB4nSAS4gYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$5l3QxkK5r`%C1ggn APza. 3Nh7&M}M)9Ln {۔~h]Xsc'1xTǜY,t)h.ոw#G f@qf|巵_U;ؘϼЃ19rr0LL[o~օ:}Pǧv_4J 'jI9pq5V$lQE^M&AV;[HK]Y3 4'wcPYǸ""*c(bȥ|قҫqǃ75ټ8|"+0ڣ6 LYgYZ7zXZִF! /"]ŗXi%GJ& Ru|RM)H@#òQ͛Ur5 [\7D:9 (n Xa>bԲ^>;VGXLm&ȔH)2:1NwhW "<^&^ۗ,1szpiV1řVZҏ4B?B9ŶHlFo'U`Q誽 rWΕlzZAAżtҾVvp㻸8eRwe۠<@6LM ]se0{'+cUJJmMܶ]LV__If(/u*wo}ւ*G $~Cr9cF~.]Rx=&X5dB0$;t? H8ЛϿ$i4&^oQ6RVD˧c~0![%{|ZQϟKĪ^=,o=-P%ׇ-n! .P?'%b+^ m!w$j?9jHiޤK9 2[fo Uoba^<%? 90)xW4j 8ek?՛$%=뉒s!\|lnRL 쌖 aUB@ʳ+CDӰnE[o4jR/4l]77(6 >IG V??]͑D0U_Gta:d" B6BZ`b=C3on>?ߊf ),?βJ9kqlw]qkaktݱG{ f\J?ǁ2Q-hW\6(ZtY@4r2fKq"Q<&6`O:{b-[!7t=L& u;'x<_gǿe^P}x6?0 Zpߋ8\~vܞRKMypR~WCOMXVv;y}g!uqd $(6e7ڻ) `Ue5؛E.{k2 jњ*W Y+W#*$# e%|n*=N$jW g8G `W;#;Vq'Meԃ4ISIQ^;˧REuEyoRN䫃lmu1m,Y]&<<ŗ4{ a%1|P0Yt*~>.5>zw|+s%[+G6/v9 ? {p׿QEv7B@bӌ&hۛ+1Q\ /(yrD4g! 2?%|=#: (ިdkmyA |H%KW=IFX4VS2k\Zwڬ\XdKɨFك4 ]=]h&Qh,Xtu`Z =Z(*Ѝy%.X?^R6dmHӌA3U&ӴŠr }jƵ>-n";1a LmKаvMT^ݸqjzvܐ;/(8@3t l7È=zú[mYb/~@.rR~Q!a}vQOyoD<\~!`Q =iM;S孺LۑO'J/@f$?C68馒m]:2$"K:;Y?a1 krH(z9E}Yoע#>ʠ9 n:gX c5V4Hr4S 6 `ߨpF/Ч-[@Ci+gS_mB0"]ơH0|'Xg۞`nJ4+E]6ѐc4Yv!4.PwuqI nBLiȏK7|_mN+Ă S*\"S{h4 Dr9N`#Qӡ8_:5X4Fp/yDNglvӢY=A %4J~hAΞā hf|!R>bP1G:A*,&/i#02Gs%,QlWN2A{Ʌ2hKj0 Ŀӥ+y6‘$mʺA/R!c}?>p쉲0N3~\ʜ:OTט~f}^!`c_l46J tݱ59f}e64i.zɠNӫ nysuU>hJѤN1~ͽ,?ǽס#J1cR6fv7j~_,B` V):t+VUZvr!Xd1ʈɞ=AT5\t / f'I$4aw# 䜣!('4RG|Mٳch&i]@drV6 n s$"kZMn.jD&x_Rs0M_Gz(!D~")Q9lD:OԆX0+F[W=N`4 ^Cע&} |x3!5vPmO.ֻePn؂C09=V!R ~x52e~/^b!Ȫ4P<'5Ѩa1Q!G _ôZ88L]nitNUx!'M\7kUo`Ǐu‡j$ETf \x꺅LfI^2Oե;woӜV>kVR怮ܿ!P˽A Dr@hׂbsr73C(1x vw*:(+15 e8J'Ry) l ΄,w܁ r%+3q_QO/:6}J o-#=8WQ[["h+.{8֫x)KX.!$0Cy',і ܾ:#H gD,˫Pb~Dpٻ= ^)0U 2Gf9uBG?1jwI YW &ȥq4-^~oS3gq _cO:M <1PzL y3oU%CXڰX}gKY^zt\EbM^WSLΆ HC;N)f%mdA.a׌@5Kcw_}+MC0Z]Rme eNh9tk2' M@ $XϞN.75yݷop=a|*)anP*d g4nkz87 Xe#Ғ/ ضԋbcFW&#-^1 (_r*,TLh8;(ek[{0_lh 3 ZXʍ:̾c 7)"/JzfYy06~@: o\2+sDnP.:&q@JSCcŏԆRr(S{|yIg^O9!3{{0ȗdz/:򋪖;Kw- 17y{WzdN; %2s,iX;1PY1>h&5i,9iíW͐'_se?Ո>k?85$u}hORYB~o {| ˦Dsޘc O(2%Nq<.<(jEW*=(NJy_O)弹%?r&\}P~Psv;+30N'iv,!K^05DQ[1'ۮ'x[ˌl#|QV!Deܾ~2`]ΊE8'W4c]'IKm {!(@Nz!2D'AK7|ܣ1B]-k OTt *frߓ|cWgB4/ $a>C{"!EJe6|T$ 0ʲpg)jjPSJÅfI1ZpI7[vKzv6R'递7rRh"5\ C<=8/;<;V>o~>MXZĮM|S)dr$VLohD"w%WP W՗C޴wb 5%6my_5y\L~p~#`,olK}-D &YBA:: -5o1)헳Sy\1u~DqAҹ~.2gq pty AXT!v;J; 6֚_o3h&\Mqzs ڋ؄ϫr<K5%d-\g5}PN5U^5% gPBO>=ɘhK:?rۇrIٰ5qeM}p"r5u=Z>Q n-g `n!=%| $-k&# MI68>nU,19Zbj6vvt{Q+mq `J_e>eMƑq131QA 0Ґ>O$2G3r63s&Yǽlp,|R$VIDUFJVO7֠P/x:z]oR_ |OWMF-zibhVWc}!1zR]eaou,{Rߞ{E9 +]|VEa&^Fك͡ma!摵moW"U,xkryl|$D;Mn `J??|1f2'R{la$/bK ɐwK_ YU. uM'0{$o,U+9ݥx" ?Pp ٲ`9{gI6 V|VtV`Y"yPS`t%c?qF~WyHYg[NK$\.fVM`cuāyE(7Y̶TGOȀ>ηcg/'esMf8+<"qt]3[ҏw8,}u|14ϬC3mVVleدJ\~*]rietLoYfõ/?B.*# *kJR_>0JNw5aV:a< Yf,T/Ur5hIw'zrw8#vK7Աg%"e ATbW G<߰%%xhOȐζԅ_hGIYJҭ3PaT-FSk'{`1.̎fz(F}"/X^A l\QjboQ"N~Mg(m,JS?JI g .*{s>@l:F 9j{;p,T3/hPS] yf%Ș_Y7]5 ה1#5pзׇgҩq$IH{v0$F|"Eq\yZ*rV3Auo+ ;UFmi om1S_2\2nh;Q!߂Pwcå۸ws!pp7j0Tgm-?_7:.>mykuݼvf_y}at4xGO)/3 sTϋD-Xr4gwWs\PT :U2)F8k-D:Rf;6 }FrW1%ty%%il*ך$E..Eq *WH6QP `edWA/ Lt}!@[$ّ)Y6qV7@LyYޕ;j-Jx`b"VGTL𫀎D1 ]߃C hXӚ6ًՆ'%9]pOjwf q\dQ?,ɂ5}4c>*mN聖?$;6޳pFϫ?GmN_|rFGXXoX݀S0yQs(yUkm_3Ck!@pے%]Y('Ē+HDGf:FʂYw䱞Gf+dRk}|^/teS#YR5=mdpJeC)"ětCGOHL,QTOUoOHjD(B жŏl."kR 6snqCŔ#PSj b(<Zxp T-ݖǭ*>%x`d`Qu]kMF^>V Rd߁''dZ30{29w rGP/1dZ;R'Wt~%rMR_V4A>v ߉Z{ xC4HBfK(cl\ʓkS$duIM"CֳjuAGm~ItmVn!N-P~6T zPTT0f +rz%VfPx4dМv5a57@ hڈM V:EI㕌-6ʯi%us#K@LO?tb銶@{n.?56Y {U(oDҟ0M ١ͨlFZ'=bxJtm>K OUQO;wKV{):'_p|!xGe]i^qxpkzE6Ģݦ6!( [$>ynjW@~ 4efXޭPrޓ1݀NޯēFh' f1T`W0¯ .Aƕt);jO߬FfNlF;JDKo90Xt\ ^&Qv5%[?"*c(pt.olC_`Gz9qZF6y?RVh-_*zb/ *!裚TKg'㩿(k1ZUF'-?1 jӁV??,EHGΟ08՞K2zpag9~#F#9Yփ%j䄄&Nj~}-94U6 m͈kd-@ڦѸ_,l$@& ]bqtZ y/: dJds. ݖ}i:kT_pZhDhzav3bErҕZޏ!z3ўi7SA-W(l)Vl8b*Dw M>Oݩ"C?h 1*1åP|{Y)n7G*\[)hR`F$9 Nm09(a6Z>2j+zLgz Ы+!1ڵ m7sʡՐ؀">"Jϰa,6((;|tMo1FS4e648IML&_=3D2Cf@ׁh(DlɻD?B𵈖9!5 ^ nu\WgzG)2|%^:jGwO=)>Nw1E;]3%VU36qt|Axv) uA HSG@N̈́0rB%蕱o9e]XtmaH3~ЗyHmlgtL7!C$#2Oo9bFm`i/R_} J&q4Z|VQsF̧`R0DVP+4,Uw0pOHo֛ƣ`TLvw蟊2+2}S֜U&p!FzwT _OASDk:l| uWəfh~>`Kz8ö`x0?Rf;9*@zӪ)!PS9VqO6: s0˰| 61"F?N24c8T-k+Fmډ@ ʶ SGݳ:*18^L*y |ao8N#"#x;ȹ2xG_R#c]Z֘\(Ilf "kw/%IA?RŇkKKhN=@I&0j C2Mɼ|h[KlģZ &ʝ8Q]qByQIp[i Z<թJ(<15^5 a/lv.x;VH ?PgaBc$eW8*׫ = _ oڠKgkɱQ*b+XOHA `娋JJUʄazgw'`Cib 39A%<(#R-5'9JCxwU C8d?LI%8{>XS !5X@+#~m>L8L(/uJ2]%{Q$xkƛ#c˚c3]꟞6/܋R)]A|ja@ivAydYEuwSuuu.!0-zb ZHMVa֭Bi9zf.O0n*ft?8Ian>&0$jT3 }ʵV%G䐦w2դr05tvBUn~0&v@;M |={,eS.Z>DbJ{9+E(tlU ͳk/d/n ጭ' `W0 c>t?*7εQ Mm yĀ"U-c.s$'y^- ex̑ki 2:iZNv0C&?!" u4[7Fcvz]BkW9i' BIyNA_~B&nZ w>Qk;gr}yYL-^,s7Qҵb5,v/AYԸ`EYOrƸ?(\=zFSJ<G c>b+Pb|3 I1d?*XGi)v U_lm,}x89!ߞq=')i "g ?FqFne95[٫:#Tkk&R;_y! &Nj腔`Xf]!?@ڦYl@ v-\ ,&tBmolyKҘYMuz8F-.ar>(7.[a\㷕Sa9 Hjl/G՚LUz!sOSs#t<L!*_d^Cz_|b^2'Hb= xS mio7E]L.ߌ%ٻw-24<82 X*wE]˨s&4qWnc[wa׺L>t\cަ")Bxk^[Hq>CR/$o @xf˽UˬłჸC8mL%D=~T9n,HTfmxh/" N+?0y(O~EZ>m;*G&L )}@[28j]ƆpUb:Md&'ߌS_Lv{r*WUL1fP uZ+F糂ge''\'Ej;:MdHqE~Bԕ5BU0Ȟ ,< yŀxץ1|8& UVrtWa㫈 u,f-Ԫpa%;v(sOiD1\Q׭ Ye(k)> !0hW'n^%`Sab񉒁# բOyf];cU4>MscS90Lg@g\Mڏ&Ubd^ncWIy2Vv5uP2@޾CRbP(RL+^ƐndQ[ݐ8j_sh/1pyx\R3~K{J[cm* gwSoY& nU<\HVknSqL978b{ARҬg?d/1fisx*m-,OT3\6`= Q@xL7VYfS%-(Y)yI%G@\vdgYzk7B.šEe@ޣFNryK\oF#v8nh!b[2 . kb{#t62)BC5Q3GyG1wr3T(a 7rϟWHֵ,oZkb rj5pB!tKE$}u7"ڮmKヘ;䋭ډW;Bd -({lގ73.?v+򜯥Lcf(V>Ȓęi~Ns5jԢJA#xzܭ.[kMmi3jIbmɀ:j]pl d9E)!GY}ܡz_}{TxCr_)Mde|ž? k!qpQMFAJM(إtomB[WٕPAm I۽Ӽ(ҀisD pc'0cvLb&wC3!%1Ռ a(?p-l[q#Hv CR "~]ta|V;z@%siq?O5}MFk)[(>Q. uz2 |SoJC6hg(mLMqQpXĤ6hm^_n1`ո# l6d߆s s3-T@pSgx#4sr,3;˥ֲ5U4] "򻑍xGu#}֊UN_6F;#|D ^P'/k댉֨mF\1;UmeELk [Z)n5~}:]KF- # #fp\0jmF$B!',Q Wkۋz]d6fobZE-{;iHyWnzHX)X#D#Hq [ IڨNo>FJpM'گ? 5L# ) |Al_>P^`K$.ckpb'tv9egXrݥ( w1[HXՕ7l4M(FM@r#G(X膀C.uFUA4??z%o_wh&-'Xۺ%e;KDp:65;}dO[pp#+D1S^Mwiny?b!~NfUփ ? sH-þQ$\x{G_EGl)A.o%|D<{m7q`cGb_Tfbt;\c.F:1'7›B țL)!{/Wԟ5v1?{56ܫYƬ0A8dmbwp5?)nL_\ȍ0xؓ| *kҒz-:O:1  U^" f5kZ"EiV{[2-\[VyZ2qMnKa/S߻qwI#xYIFcka\^3~+=κJ׃y9&sWn.ˢ\ w`2ڶZ\!Kw[hx b_0]ԫ4C1JF5up(5eE?FA*d@VRzPis'Qww2`|+!M8cX1! hîMxTR1j8byW}}O}8vavWZBYʓT,P uMʐ{׆7kRa,@D%hc_fXqX} [-m:$RsEdA ,CIZonC|8tq48 )x,_LIXLz$fOW0 .Ā u1c4[tl;68ZV__'Κiso߇!3\Emu־+ZU76R&%6Uc/ ղ<<kV'm6eª!hou^;df@xݕKCY nCi].ָ,.OUJM.:xdmKPvqP̯E:Z m@n+N$ U?bvRxq3մZnmw瀀WjQN~=U0 *2f#MVKp5 Et*E4D8M^n?/n*|KMUW +\wE9bK[3cQ\ Sc(K }o+< 1:e .%h#)X,RpP]i}`07Օv ̖$ez7^h3A BJalmCbo.AU)(1-?! IlCgA3h7GK* (о.I?T JJXrfC=ca7G+݆ͬ!3q;P[9%N[zeq"R "bYLm&x86\kSkd͘wAXAsf+s{ئwVym.y07%TfG/jŝ 'dz7@y&{\94FM-BVwTSxlPQ[A 深-$AS9){$>ŒBU!*VbgqH ;{9Plᳯ*G]\reu"t]i"S~kLkPPiut 6,o98LkF`Q񉘽Yl6ǩ"'ʦB^ %G[i@Ʈ=5 ,,\[vH.E>ŴЎI23N3dNSqH;yr.I$Y`H4+5m]/Wι+^m+fNu+n4-,mҔ (x2YD_{QSV˴% ^|#ςh>50rWwrb,qB3Ӯceܱ+lSNIm}?xXTb~{>$xsօ]DTZwjF 'ILooK՝#a@Yp58 hIv *wn,Pg*_g"#'ϢV1GN"c{٧ ";<9;Wp]pc"<,w;)?CDَefBV@G7"ZNHb4G(sPLrꩳO=ME{YYGzVڹ?|5@4"r^zhl-)!l:6Ne|.TyPWt^H6\_&,6^|f>DZ _-W`!N?Ɣ{3fe3 ϻ+4`S,4zФ̩Ke-~9|\{x7˲\0UN6\#]$K v̅uKZ='?0wdBr>H# ϤRCyd yˌ+R[kC %(l<&/;2~@ƣ~ eİ-%݋N$tP !S[9bwllN7]`hU3{LE4wDN|жQ!fJ+wVoʼn @De9c+y({BNE*¿sQ4*OMSL3I鉞V ))Ȉ;Hxx 1 [A1D YS"iyy8"^b~N3nㆮ@P ܤ B7.OI)kz[\).ͅچ~OkO?#zdХN"f\qV8_lDvr/. vȺ2PVƻr³0` ObӮUjO>Rfg#+F$?S_AɘȯNaǼKҁ+|>J3xx_;a"-v*eGtJt|e<^=)PD^옌 O/~1P.ueEMP `|0 Bq`,7>V*72O#B(-;[tf ?CU~ )P2ĢDx0R>̀cƲ=BhVk] BT{FSm9V;ŦuS͂aiC͛p&kɒ@Ks7,b|Qxq5FVǠ2'LTh6 hPWu.ة%.'l5{'3"%+ rJ/?A\Ԃ~r|;w,5kwΧLn7ƱZ nMcyM4۠;.53DŽ=ՇMA59Gq'"d+C0" X9\mm12W>`3[r9ྶ:7ߔx ^=# /]Z% /U} (e5_zjp ۅE~.T[EsfD]EK/ae;Wڃ+729cnU[Ŕ\]Q}R8Ƴ8T.Չ!`r3ߖ *Ϻe&1Ф$6FZv%(51s fp"|]E..n`?*ji\{|j@Xt:aeEXr~͸3kpwC!'^ٻ'Pҗ`l^0z1zYP]kݶvM*&3\= r XCFW6 t':c¥h{/<KɦBv7=.*)+TWF!UI7).cRlp=r/wnvIwM~UT#ze!O`y f؍2 dP^O͎aZ!ַQV}KgP\y8:z즿سN!i3Gddp9%Th݁dTVUE٨C(Nx{S7O*4,RT?bpѶd=Y,M`s$rUfzrj.v /W(9ކ~Qx]n7"职=?ӜgGkr^җ$W(|(?0"݋ ܀M|+:|bbPtUَEl3/ˇJrs-g2m%&`)*]m~ :퀗v ظ5cў9 pg'N=d a??jX F9 P!}_PRbcl« oy)H3 ^lUf#Yl@<|޿M+m.5Q`Ty~l,z;y]<tiȨry!M۟aTaLEth-ykPɗ+"`r!˃4!%)քܳR~iQcR_*nR {!׫7u;zu ZNѝȗ͇ߵh#DF[rha90L?SxEAPn5gJ?Jâv'e$upXU@@Cp{8u-&c<4A6fQ%†(o*gsK*N:VA$5ّb?ZTVYO䛕;9YYeRRP"uKߙ :L-8oAru#I<ȿeM)|յR\sʗ綦4' %t,:z+/ywB! +;-ٝ@iESxiS c{lGMy--}neV`K抗#Z"yJe[ES ꈜe(6q/PlĭhI}Wj@\T]l~\6bA4{9>sy4b݊vW3wLS,,Ԓ_yp? GN<5N&5K&28iIi¨$5xBy9\>*࿰2%5]7 iΙl"0} <It#WJyg@TIiCXbL|X?pȴP]k6,ԯgn"LئJ2ͼ i^4΅T5Wa.Y7xeʙm^k_Ftޠz`Vw/QwA+ xsn:_e* ~5jnK?KyW $6FjR/a'SS$tF$,~MNAZe[^ I9 ĺg60e k9Bч!HӞ|wEgYl TdIW# fv'd70Ԕ g̅a- %`_!;w/婐tV&C@0WQIчږnx$V Cǯ (Qrstqᒧ6c+J CG*lM#HDKANBN,`g>*Iz4WҠɦDnfM%ƖI,+. uRЂ6 sgN 2yۍ"}=${Cq&k}~!?hkdk7wp4"2dl+sn& v{*?tmyJ˩~giCsAҞ ]U >uH0݈&&RifB:EsO3% Mz?5~@{f~]N_uLx0erlAica ٨vtdT8ztRs̀y$}v(p*wP'Z\T5^'DF/b(10\-i[ޟ\FPo# fl&>U|h1Bv Mpm-z- cu on[r>r KN5:Wl~Zx6C>Tjֵ{o޲L0͊}H?~4ʎN[Q]&^7N3do(i߳Cl~K$ڎBŒ.;M˹1]'oU 褁\ -jebpw[1_:3+.J6R±B%8Oc& i8KuC+v،Oq}кp]vW+h9 Y_W,\ce28c8\hVi❺F%NzKGv.SpPr2PKڮV dfsUTBi籯ùUgµC|ͮ& Vw9ՇIY0_57磻EÜvÓF" ba$f/8ژc`UbU#/H ˊGm>WDمو:", ۚ)gjc1P҇ڇdFbIWg 0Ǯ89\IP5Wpٯ>%FV۹W bĝ|4 4>AQGP!OjT&ssQy'|F>mujBӡh?ؽ;5NJBx.p0Nj8nvXkG,KƢ2*q- E+²q x']qvDƈڎJ6VAδ]=w"TTNahmWsiW\ocN`̀I&7)G ݤg [štC}ۃJep?3I%|D.2FʣI#IpB0b {M̲K1_go~`Awz;@-~߂ko.12co" <:]ꜳ_v+K *_1chSH%cEG;HٹXn@ $^Lq'x]& 77N?oc_[|M-sS McRc~egTV }jXƱ'㈂< 1KmKTVZ椺S'%lyկVr^n$U)TYbpmE~{͕ւ`=9r{Sohwe pVFvH\-*S(~^hIﱹKQ:(l:n]5?dA|R<5=wȖf:Tvp!j|H]+NCrA`B%Iu]/ug8#ggk=H4`$lYa`8)+lkC8c;3p]dn}FlxÕ _"Y%)8F;FjjG9ڌMqMXcslc# 7FÊ@;MF&!vt$[9ꘗWyk.,\gG.O7(]=F6`NkB*QP T;4XDꒆ5cCճ'kN.m+Oڗ_iE( d(NMw0T#;}p,3,G-2'ۊT[7`,~x1lErkJ:cZз_[JĉLe=oC`JRMڝ؅udhĕy@FO]FV$E*|Bպe1 :"CayōP7ˡXf/9VE=^rs<)s m5:}󪏕{xinFI)o:ܹWdWpע4Mhq]P COHeRvF L( V{&b:b1ˑ#o"FG)o0`|(gd4bXzQ[6 I7qï+n0PC$+x~2 {߭)Re|ˑG/r^QpfO`0}/4"v#*5Bd1U7@TI+{>@Ad!1i*]o4l]UQV4u7Iz~P/C\pAL▁Z h'דlX):ع=7n5 Lx ,BtDn:RAk?O]0"cee5&N>xj6;cbvκǹ*+wQqYߚ|\#'S+/ Y}\$XzLpQHdlXs)=gЙG` !BZND=(*cQ!|=~NY^nTcDb*՜#lD t-0hD3J˶r_m̖ ^F]#{2t#uD o_ʺvQ@W)v! K7)b[F:;3v1ԐNY=|˼K[D5O\'}-[.lT;ꐾO"ׁr@?ص-|my&n_*S>u`u:92E$.p4׆4-Nb9`Xh}LeKjsC? - pEh=JiWbA,CQJҸHj1E$6nsyڵ.(kLxYIF0B:# PRɯOQo_Y%Y9 lEh?^shғGkWi؃EȼG1_FW]Z[ĨFKCӏ9!"M`,g5,tݺ܉zWNSFvjۜ=%`G+guF?n䊽_͠q-g_.)[;Jo@kw5!Mn[mʺRj,xNqmxCQHԗ7?!;= a봮$âGQV0hwxߠg-Y׃dz M.m7wml*%/>CK?k3*0 k+VʪD)PvM}.gՆ #'!j36hCY.[F&ÜBڑsyQ!Ks,.ٮ@||,(]{V*AXZ9 @$?Xp/*-f%/ΐ.S6ҎkLc Y*v$7"f_,;p5@52-h+FAZiѵ9pDaZ .==)3~MJ5Eĥk$VHByBذ Z+l@#_֌܉h+I0[m^B# * q1 ;/w|}1;;0Y[E#T\7P"`Wr]g9ʙw!";Ͽ6i?O^#8n<MNe4mP AxhXf~sn*!ݫ'at;o 4SjK"qG &~0wf.=D$Y~2g|ҜlXsR %[Gx l;Nv=.ᒌjͶx'oCZyN K3&ymBq1y@7oa4S 2R2F˷y$c.K]΅Y' &L  4)F-DLH $l,L GYfh1R$wo埔_-7o@~jes{J4Tlh0‡ @ȄXYe?$~9 M! h+ T '|SU%kW2:;yԟ ZV͗RF?޽x };E6NU|88P2^ϱ: rQcD#J;^~*TcՋ)j A(GmlW03QQ'7P'7/kⶬXAD}.#C -:oxl |H= |b/2GVAݸB9, y4g?|h3?|&}w`^gl{Ӌ̾n[:OѪ=^ V%!L̯etW7L#s`1~PC^M8|#35'O)t#F&RpOF'ФFryW_Xb8$ s^8(;wDm)'~>6sk_k? ATV˸uF<h,GY=9CuݛN_HGXJ/(@F tRm-(60.V|z$0tj8\W xԜpPwH1yQ#d="~~C1D-X'4LYv5Fi(|ŖtPwd1]Vɼ)X ar?:;3댚G5+ug:|eLBF? wߝZ5Skb0GdMA:Y -fR J.1 rAq2*%A"e`Fr3eeYq7оS׻4A22` ]6騠3%#+`mL`4)j@u ^vE ʱu]kr ykvyޮ4M5"KJL,59d& -\5sZ(h6FW˃D]|(㪔;q4#q%-؞ :"b H1F!s%V=z+95Xںlq`FR"Wm+q h<ԫ r%$L@1_E;51lRM3 ÊxuI_lb7:v۬{EeO=˕7n`Mvx1Ƭ]C#moPFX%;g:<iMb{(sۨI ?qMq0C-}Ve\kENW`'bfpȒ[a>4¥k v"S+|s"%Gr6ś! |JWFiF  Qjg&"JV3@! s!f74U%aъń(Ħsۮ9x"kvhkmox!T7 @of9b!/&گ}0suvcI ud>U RRr<~jg\D!l%-8:t5k\I9~0K2U/Oc'' F:.U|Sc&I: H'jrGylSZ]J:MH)kRgeKB8Xml-bA4B:=%(\w%d~M8BZd7B]8U tA]Y;~x[Ju_an݀Wx s7y"dC׀>!)ŚYX/Dߣxd8PD9c,f==mfx e/\H[ڢ}C$[>lŀXZ$ӹXhSa{t8_a3tux\W8곹Vu}ҰPk!7D[k6r|$gzS~x4gʡOgo6υk* ]R 4D?|;m:wli) Cٸbba@oiAsUN+)>nsPZX@=3ɭXOWb1+ O.vÛL^ Ru+x d?>*hb(,dD9njֶ*̰|Uy_"ϯ4]%7gK 5SWa"gU==Gд6Nv!<蓔IF f\ӛh}>pC46حD&hȱ_] (J#O>=9-`ugpԿ^ ~ux5Tgs 蘏9\-h\Q@IPbEd0PSk!cDx(ΛXo5 R7'(N*"vxWF+l4q'#]S(c F31GkVvw;^G Q8Hh Yo%DomW)皑l{L~|E҂!;RCEb3HYЃ 0;n!k#$N.jd}5G/;5.$OYr6l32_ *Ѝb{VWŦPۙ61+!@z[|WXiZ+O5%:K!Wei\"mH ز8i} >6k`Sݯw ~<2?lKxz(3-h|]XuF )1"BE|;58 0P=MH:1um@FQֻԅn9pˈRs٧+S]POc3Y B 6XE!U dFotibKJG`9_xNN鷋yye),kkPy!J11'ݦg&Y%)b>.OD54'Qjfs7\=c;N-5;Lgd0&`T M3v!Pf ;Ceǿ%KI;lpR2^78MlpSZWL9Ho5n"Cލ:35۬tK[#B&&>3+w߽9p&VQY9Qe#17$=%I#&ݟeИN`: W"CQnu6s^=pHs]۟+c!֔z̎LI y_RA: &?8X]6xTĮ\P;g=Y@V4&/%V[T &WݔtVfC[A }teoEg_<& <ԅusV #xJ4Ksz&| VdVU,I͗f"+#6>5yjoC~tW1̣ ʝӶ优L,t2vC/(MCb;;ۚ[ d9\N2Ǚ%f+HٱX&fDշfs#HTϙdw& #{)xЦ&~8Qպ08JU8).:k8Y 9:kt~؞¤cbHczQǕVڟLgOlʏ(vc4mWo&Q0w|6j aO3J x'}ԷbͧAH}?0W!NǑ.NR9$J,Tΰ;ȒW7j$Ohx9{mYA4w^a%S- ׁI$|Gk:gp$3E296vza{ulS UZ*aU1D?WQP<܎YZ}r%&XN.3Y{GZm]WnKq8v"Rԡ>%i-ڇ=Sin:>tW3iV9ʿ|0~$3#gб\c < u4fjR> Xl.6W4k[`y_v _tY@O{rA>Zh3'͹b(-p[ya? ([iN2Y.UP7/+h U 0,h2j]& GXs;))-Iqcp{vu>?u=QIQn c30q!NAVJvw<@^/8)L9D齲%n?G1Qer^Ų珆Ak{ҺPn]Fx|QTVV=[&!T7E|5 OPWA[9xٍeC4f?Ђ"XY>hŊ&kmjՋ%^H̊T6L1kZϫUsos2S>p\ad8-}sܧZUǨ!UwnÂ0_rL#oH:!p5鶡&]S '6iH!i έUp&F5'f/M GVũ4O1_óGgqR8@.2#I<|R`'No:w*nE 9A5DQMԈ̵4`jbwwC#K6d>{"7N/HΣ*֦Wk#%ޯ8djyD:WaC=X>iP ]O MyzՁu8r!ʞ-Pwn4^z:\֔PU+퀟B~} FXpPSL}7s3S7^-U0fʮx6nՔϕ6wݖi ;v:&ܝ=1K^pv}{SJ9X3ZQ*{W!2%c! CnJ@ ׇ? *)k]~xbHen]}vA5gmн N8Tr߶ЙV;pq͓tr46K9E@sHW_Fe5>"C.E wSۺѢSֿ%$N W@gy;ƣ )U7"cT'~]}:IɞD9 ]{5 Xi?LLĿtT?1slLzx Bf!g yTI+Gi> எ` Ck2Rleٹ9HeNVZ0:]4ۅ\>JLit ܅=~Όسȍ2X':&236[w Ջ@ b&F(ZhbR5_LZzxl}tZaOړ[$ 4Ax ᩳ>w=0%1#?_>"ꆸ.*0 `ƪeR1wi\F]P\ @_a^rajyXG{+QDb-'d&_]N eiЛl.!fSFKגgĂx@^Aer;!:BaͮXoj.~G&6G&Ů0nB_ULߞ'|o>=|E'݀vGmك $wm9^Rm4[maɍ,o$~(9&蝅IuDK*$m"GAJFD!Ç MIAAҊęP A )?DZCс F^%)PxSU7tB,}`gAjx>?j%': n.\/-D1fr ><8B2Qf$د)>ds4MyjC[#uAƜ>O ut_2RxpݽR~9M#H]V-<#~ACs| ^^h?(sXiKS% }['u>xTM."c0l7qkX=b[]au8&Nst'Ր[#!ڀ]Z rjA@0Oaj#MϘl/}Qu=gr$&CE:(#Ц!iikaH %I23 L 1V۝&(/ oKu7sM?55FL"ŢQ+&7 Un%hbkC$jzz@g h7xv;A:)_դkKY)ɱAIT~eN ^IP3ue##:*bڞ WX'G[OÖ KBS>`V9 mJuCࡄH"_6.Ը(pHΫO,:-EÄO-꫇5(^MícݧT&|lA9Ƚz݁Axɕ54-#VfkڑZ4ޱLs8>k4I`FJ' \B uS:{@2d,az ;߀/*ۿre6vB.?Ic] ~"ux[4C^;Ut ɲoQ6cZ&߽U*in&GV.誛qr.#:tpn:A[޷Q{ EQPSg&IM&Վ\ر9—7g"}[g ,ccEJ&&F4PNt!QV:X$[>]7OݏR'{!wfGtyV{eЖ -RsUy]^ i^)T34)3H[$ym%VOє6/" gk1F>uuf7{HXZ0v7Bt& D& STX{ -4ěA ]iФx?mY3oX'rvP@=˧(icWB1+,:*ۼE+ܝc@-jO *ŭ*hd'3QC.B+o/꣨\ ͭ곁v.Ub,Ȇ74ϼK&#a@^qd2s.͜09.sv}Y|{my˴񈢙b:7^6 ǾucCϙ7&`􅁌j^q2!6߮=*\JE1"鼯пt2 ޸L|jD-Ψg]gϑX)]29|BE‘ҡC=U-7|3rk[ %TA3Ya&V%vU!v~/=w@T]omA_L6K2S7g3B.%c۟f7 0JS 헊:2 m+=&~ح/>B Y&Ku oᝮEg=_Mt/p,շrquM`Ø['RE%Q gqT)@dǩCZ׸, ;+4Ņ+#BS#(0B:<EDTsz5Jyّ[Ǿ)-z%媂x~iOx+ Pt:"z6T爆ZKV'Z^PUv42@gv/e5Z}酉ӱmsC@i_óe 47_|C2x\1rQ2e; &r~M[9bz;Ph-?ߙ9'T4o^)r#+k_$ 2=.[SDL_Ħ,fuOyuk<9{W G=zL>6-yJ™\EPϢ:wCg%룴e׉0yuyy%5 f`Ļmx +!e͏k_QѭOܼh@}1Eb74Ff9(G(,0vR^n&MY`B0^U/A,>b%B\a-:IgBD?/e,l6Je-XC6_ 14{@'(p22C>g(v (>YT{7( #tHGnbNvK8`wqOtt[) zKW5nX ̊I8[)ErDKkJMEwG"!e&WYmiIU: onQT"^:gK,zuGBX6,= ^6^CIpnӪC ~«i(#ZP=gZ|WWLzMKi\ĶBRX+q|+hO~kv#.gwQmdC PnHN+u{o̤[.dn ^k)! Nr᪛y‹=}DJpA2B.MWRnFwx{QȰx Ð]tLmϜ]F{'f 6vzgYZ813ebdd5f1e9727f327223f1cc10ad768b4e71021795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 6c3f1bc9cf6c57af01ac3a1cc2e6cd8e2c05e4d1 1b7abb269145c4eea9630077395997a16f6e542927a24257b7b051f66811a02c2c60d058ed68269c