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 (%T<\ ]/]HOL-Analysis:threads=6elapsed=341.349cpu=1639.496gc=63.708factor=4.807zXZִF! Qb]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnUڐEBNFFnLd5ƶ< ]o/Y(džD FwtV+Dy7M3Tܞz8KoAWw"nJM7;˪kw1ݽ+Q=Ow$kc \#zĶpTdGxމ )$[R7HkH}K)[E Vo(b);:1c$/1"P)" S4ΔڝM>pa8W4Y#4gu/ $GN_AaC0~^cz% ,wC0a:~[!LR`JbqS7@qVcj,cC!w0;UVg҂أuI_ʩ!kg# d snj8YBL=dU|7 7 (8=lT Vϡ"𘒝0R@>nRg?E@)f/ x-M2fgB;S1uB csńty2H$0?2eꕆ}ݯQ\"'Ŏnڶc yFD`U,SWi)]JK~(U€*Εجf>ux|7Ӹ5~ 8 ž2QF\j? r6*pmD(9!-}V@ŗ`VY֜ҭ "ZЬxK+@쬳n%=J̛^{D8>GHHED)8ĘWX)/GqwG*~oHgNLkq)B5PvJ_z_SpnpxZw>m$J9%C)Ri thW&fTr @4[ 7տ4Fk 0Mhv#%^"}0%;H.wﳒ4k+@ ԇVuQ p\EN.U9[0P"'nq;!}ZHChO BȀ' 5p[Zz/* W|?KF\3+@`o5ܞٰ*T(0-U} bٴ.&S*ߵ˴Ú~s*W%(mry Re?pxނOMMTK eb}]nx KraN^W#r!AגHUG(? R9>g;b7|Yu]rk /gt%L <.rk9 X`_mG.@8RL ^ND^PݙsQ>ca59 QoO + aj+^8)m؄kl[Q9[5~4&[[]UJ|ttOsfUq[#4j$種%a|Ť<6Ђ W5tO\~v b+z9fhՃ0 g2q8KDjj{b3RM?pk9#f2EU2 oQΩP@ l/:c*x1ef؄πRrmK);..yb{MH>f Dyc%; iO{'A`U~^^hxiJ$v>>Au0P_u/KGˣ%J"+1 kc_U׸!-Gʭ&2RmaSжY՗_*QS};bȴ@=X;9(sU\J+0ُꠎ.CWdFXxeY.{5<Nk\b~˨M6H> 2a\_Fl t`QKjMH(}E( ‹J6h=[E+hƼ:>3v/QR2!~u} jIʏu6+_뷀ErwzT,R S ܞI՝YnD`bo|>XsYd} v\/v|rȈOxSNEz % HOL-Analysis  _ }v31VAχ;zGQ{n#PL\0$ 3!˛^!4>ѭ{fmTuLYb(d>چA\JjeVrQ |c26dt-75qZ:`o}Ll%cchAc i)C/Zۤd3L?'p}O&oE(f&v~&":sByW~&7&r>-2&߿\Tw4*ζ#,E!٣{Sӂ_ j4㸚NO+2BC$u|] / Q`{ rug@`#F܊Ie` k_XOC8R:,NVH=B5^(<:* *GCɟr: Ԕ;˔Flɛ3,ޖo5`/sкCJoݾ$L`\@e&ˁ ( 1e#eVzD$_9~l6q?>ag/t5C*%2 SRNeo::bIOZ~z06bKba3&W:8.Ag CHݜ\-H%1xjnض^9*K>kh)!c{8AmU-&4_ 9ɢжiuj5kٰ<"&"KS>BwuD4IWY3=u8nH? OO(٘g07!I: eZxYBp-ʀ%;aOkB*-];:aX" k`B εOX y"QuD=ߦbfh1M2/+-kሡ$zٗoGXmmhX[f+şDb\jQ~#`/@-/6Ze+RJ.ѵr|iLd\=[)FAq,Jq&Q#uȈdEEP: z|I`,<37ЙɓUw_ "IA-K׿Y]PSڂ9SK[z>f/oq" j B<[= H$Y{z[Ǥ0G6 9{f\WgR{_:!=uFےFGQs%ԝX'S !IEсBH9!VxK3zu NOzUZԜ/zc9ev͹K:徨(NnH85ʨ~eq{&ZyIQn8+>4;qn%bK?= U;-XOKK҇az))u0( u|=Z 7Tq; g{I(d @u5L]݄R"rwb N {X[~~75R}Z,PQr-ZDN ^'SUƹVd1È2JTtSI^==Ok7VIZGûDUwYTj 20e')bfF;!` o1w X}@K$^:}s$5@iNTE{U;4R-*6+a`.=6G7s}HjGsy枼OmL]4^Ri竔4vDWIjnx }fFͿgT \cmGzȫ-ɽ3[ÒIHigv~Q,G1_k!zxDEԗdaXi/g:~_Km26 '`U)pgCbHRlF5'[/UsQ,cO? 3*0ɝCHkr xzvUn@b4Ҥ* 0^C%Z]{rPa %͢Zf(=Nb#o8l=r1__{@WNewǒ$ Wו"TrhE-so#xPRhC2퀕awz}eDAM טq_%U> رOT ,T{т~ct? ;z%ExOmocO?Ie3:P5+YajjRښC`Bc'+,Z"MQ՝A2 E9@ɋLz;5@c~ 9)OioP`wґҶTN|GlT|v} ^k[c Aκ~iF %k]K@``9j87-/S{ZNWәS:gKiP=?ꯆ5+ζ ۴0H ~/8_>sҷu=8fzlk#7GbHO;z5.U }(`w,GSiW >~۔`V{3n[.4cRϑ7Ti2|/ժwpGݘK&2Zdߗ0ʖP""rC`{.ySAakdT &Epq5 ͂QFȏiփƢxA{;3ou^ -{5^PEp/I}"~[ws ͹|. a]{$aYT LHYi)"h/!-H 0%|:vG8O/εKh Pʑ-͒IN]BV]N§y-H@ *1OWIA weT ~1>#BGiW&_ P|GIXB)o͌2yǠy{%:mBVcGD.u? jid _ /7I& o0`kH0JVYmQifK ̳RB U 1s;8G(2ӤL􆵍B—!mb+6=p4T|Z}kb.Ĕ{^ν|]}بUt0As6xcQ !T M4{20%/X&hk-/`F>ǾZն(@ ?_~ ORHObkJ.z!f\K3zU/W2FH0@Nd캚_.U4^XF8Sf1)f n8>-hv>Gn:m15:Q33Yzm`2Â"`㓿/Y,gI;S;Z;9(mvtRF3 C-;X{>.#'=8 =ӹp[G5S^jB 9吵z [lXL>߲EV\js|aNw016{'Y㢰r>F LLZ7w<ͩtw4L: 6Ɓ{kS4coyd:J oHTwK?j-pbݗQet] ϔqH.sSbհ#$Py1&܎! 1PHļ0e/y@w[( .2~^bL&T4_lZ)eM*aMM3^?3~1w5'&U D5֎% Bjo"9a&<**,~|m!2[gWq7qUÇIx9#+)J7\7f fĉ|zR<&Pw~s[C!LyikP%* 8$rF~M/a$,F-n@kg2hqe1c_|pH#ıhP?8!~$jLyuVt8ưVLdގɓJK/%]ZooG:<%vyV2! ?;;k+pr\V?z4\ y8f;WfcEqF8KbAԵ? fiq>16}ŤCK. 'P78R5F4L-W@i+kYJCNg"W/bX Rۊ6c@M ű@"] E^h$xx)px͜m|dg=%B{>^D41}rc.vA$ko}}+d m"0,ɶ_ xrX ÆfLDXfǨTE/0McH 237 yc_0_\. !%bɜэ ?x|jb" tpGcl1`A{.ῳ9ƭ/20 K?Bz*JP\DM ?OR@7۫ )ǑH*#DΌNBΰ?}/hYk5<7.=I`v{#*f%f\cTjc{榛*zv*<$>'e4oB!Hp̭nczʉf?+9%孞a“_aƞ~i5r.KDJ 5TqSKk^ S(ίKR>{8DVu%<5v,W!n(󉎭dkKD:X"Ӊ _*ӌjֺDOd^u`yGttIFMx 357%ZUh3Lka<Lz Oi0cʉӔBc_aU;4&g^U(Rh JUZ3hk8L53f˙2v C'AVᛢ.FLϦ~> bBKÙ ΑBUO T28Vwal,6%JW־8'Tn/br8'}K082۶|,"^7_̛+{BhE*pNp3 ,1s!l^XeybfA-ocOWX<]>o6(o +,/e0rfTHG:lc |Ԧk`!5,e|FJWe=3h#J4/Ut9AȠ=1& %H/ }X{ J͛P3wҫ2-_{p5fNpa;a9TL%hNԦ4_;0 h0֙.ʏ$ i tK1l>b8KQw'/ړvgI(}'&`7ݐ#kښ@# SfjвH.bWk;c:~EW"\,tօ./m4SkhCʈ#_zH ItZroZ9H?áªE^ `N:fi,`` IM䶖=$}+Yctpb ^o_?Yu7 R{Va^"rNސoԶ:6'X_J Y%X csj|̟IX(v7m,7 Q~9<a)။ޭe|zρqT~g /Jq-Ο_kZ ς[ػܘ0hI!D ]7 jHz_ 4+{<[F-m!{K{os4 } EoƧRV4Is`$ R&t#{,»מ]}uGI3+RJF3& lxOBTzR |3H/į y%g*Qk2V'aV^̻4IYk#`zt6۔(9'v;96.P`zE''48%`_~ 'vR6i1 JJnto xgak'(68$`4qE eEqvtW93a=!%'ȡAܰdޱGqg+0k]&Cawr\-rg0jjxz5`JEBE00C7w&`ƣ-22 E?^u/_`>5C4@W,C(rD`~*7lrx=ƏC Nރ`ZK rXl<)^p6u:zr4BN%1E]/ӏ+#О|r^d <4]e>@qPn=Ї|rnGTׁ~t&2Uj1Qq*Ƽ쒿mˉJYLY-?ETlaBzlkqY/tVzNMkP 缑`>6A=ߖ7`}CYjd[Ud@g ޭ!Jℕ^Vl ;JsQFAw&Kb $]e:mP~ݔ~j2&b63|~,fC5R֍&)6?SY:BaTx%2뤰I[fxS6~UbUȷvD)ЕzԚ(D*7=I,qs7؀A&P㷬iNOH&1V}槻RT-Q"HYaܷ {! /{0Rzމv\Gg}W`&htZ.zC%2*,Br(̆%+!+Pu\,O3fFUf)p^f^PIΡmqR(ϗ 2}hfˆ5 ϔa!-ym"hRv4q %yz%Z-iBWg8;Ϧ>ht_ @b+e<>!"νxV8Ymuu #+Xi/W#hH`W3|1am"SuԱ_f_kw<&q2<%1 )wk6nAZN+9hTE< -I )B9A]4 ı 4-:1K5rKCWTlz2\3(lȿ9!L-(! 3i[`!9Ӕ)g'!6_)pCάKDXXilRP=bH{K3 x㆑@ΞZ7C\#"Op;]O0~tG Jߊ~tIy#htYl8+ojZ\H524bG() lgM@,,F 5Y;P [,kЖ\90RHЍnC ZjMI"uW/Ƿ(8[a͹҄mOh+u{^ ?-`]I[^pJCS<qK?1skY~`6؇)M]E//ZƁ #[kBfʇMqXa7(2ͮb[F obGʆRhþ0Y =Q#JK<+ ŸR&- bX17Z}-^tTX98ޖ]7˅^(ײ7!5v8y .Iʓ6+& iÏiaicQPߎ)];"ԉd d#Vs2^Aو( ewJ Ҭ GIU2$˳ y>dZAϐ/FLcr4ՊX+1!{!!cz-Q%Tkޣ2J,(nlb3zqJݘPha-̫|ZFg8MBÀI PT۹NKO{ĺ9/QJT&?;P`„וD AƈEV(չ*{D؉D vu'WuEǼZHrY3;谰j3g/V?+TR?m<ۺQ, T\k_qVJx$n<ޟS_ڠj27fZ71q 1bd]¢6Y3V'ARLS\w(Wz<];kg2wR8j:AֶJymL77͏T8J2 ZR&] NV"n\Pp1]NF|=I)z"A \p^vx0Pfdƾ"Bjm^#KlY L OPO*Ҷdτo_7 3 j?ĽZƶ5aJ0)ȟ_Ę1 ABJ*,h¥D@UZp3ӾAUAb8Y9g~ q tXv^._`p3˯inqjIژV6"@d Tj `}o^z| FģNXK+p`MjAU`8`lį&$sBV; b9Cpk`Gsr M:>@|$ϔHoT{~i&l bFr}zqa}sw&!;y5;ߗh  {ۗ< yhim/(F_Xg 443MypʝP F`{N+ 3:c$-fiJf&mE }r!dr#'+lD`Uo>(A >gk%jo00 &b8.lE٥G%M#.^G##M ZSyy8y Î$+ط 8>'FMGt9 N6ghd@aEULfZB&vLO]H'tort ^ &4'sg f B: L>0_kpV /ѭ} ^2Vstf(Y\.V"52}lx"`%( 7չn>G

0ōi҈x@G2DŽlAj_L|"/\]KZbMBd3 /3t!T۷QU6w,MW:(% ø[1HĈxnSr|2[]4@; Ȫ=.-82L{agku ! J^?V{`]V[Wbq L||Mq']38pX:_j^{*#=yM/S< GDMe=6c6QRUG`V5oKLLdAm: e}_^yOިvN0JW]ӿ}FCAD~͘Y9BHTMc8ݾ-*'3y5?=pyg+124 }YV#݃@*lf#;PRG/xc0Y0{Mȼ[~J)U  Q^S\TM[dpĴ4 }͏ hڨBV"S{AF=ZEHgUGΔO΀clR5Q˰68 ?ڮ].m@mns}'\}Q$Wd-`B`p "wL2z삇Z ouRaX@'Z%!?$#>^Ϧza,ZeG?x7tUe߳DbO`kZ1ꂕUSbBY ZX@6f#Nq|GHVC+9o!&j+Μ_Oc!Vp*џ}pUe3#b Ds819Ev>8yU 37W{4k"b̊dr"½CҘvZFB0S;>I;s*ՔHF:LfkO =n'ҵ6˹U.&޵!hפ~w$$1 )<:vHeΙRB #` =/a%-r T,ŇOP2f6ƇH`d +DE1:97+Wϋ=*4SR::@Z @WU>ݯ6t]1I*g|rLRi>;kۤ2+ĉH6q4AA Yj^ְ/cXlmPMªy-<3CFt)#"r;$B2.KU9hW\ M`(5 ";u0|VE"Y?ex`|l .2|xִ;a<|]繬+~qN,NnV 8 =b#FQWJ(+pP0 0*h а;F^ <<Pkj, {&ڒd)/x[yHүv0G>;ٓv3H6qdƭi'v3z}Ă۫s5 [bG{\/]C-6%)6 -F5?8fFMiw 17cBZ2(85Mn G)v/'UFj3\ #n^h4N*X2Bw`ZN3>Gtй_7NhԐۡD ,. Ix#K~I,S뽲UR%+1G&)S $"H_Ҍp_ORӽ:񻆁#ɕ>Ղ2O) k>cFNMGA(V(.9>ܑK~`\ 1 ?Z c$NP$ᔇ.m Ȭ.w .t"("d7|eo@bK5Ou$q$Ϛd IOf %sgp˧͘SgrޑTzBWݫpqqŅmpw zhs 1 l)Sx*q=[C6/miϷBmsSL*Ȗ)VR:{;eMr q5Ė&AZkk)%W}/\ܩ齍 */Qg͹Kޕ)ȊPxд5\9uG%R ]HZk]?%WQOW$L[cӾj)9 6'NJAݦKM8WۭjԽaޏ A% $Hǹsu()9<}Y ڟ_7uB&[:X`fa杆ػviyK}d,p\Dd ȉmh6o񱊺y _q޶|&D;ɹY*bXwL|abNpQ&¯ynjЃ?zV<:̐6J P\c}75(3Gz7xFpEǕ suMlv _Ѓ˼%FnJM8"g0I7;,evcR6V2Ig{(#k8BawK8B<\M!0JynMS(jh]S9o*%I^VP<1P#ExcBjj m8<]qn @x Y=~8B ?Ṕ lHYnvrQ|qj% \ 0 _8dz|JLui8ĭj!0eXe7HElp0֤L8 uAE_]UvلJbwOBR 0}iGQB@<)PՆtz⍗:S?v*(/ 9:#)vԕ3(If}vմ[ke=_Bɢx5-J{1qݖ 'vV ޣ2+Zk[h&sFgsn;bGzI8Gzrmy.g}&1+?ֵ&/u3&M7C{y5ǃ `_\qDPfFhq+&"oTFFefƃ7SlCѪQH}`FW]StsVy&#myMAW m!G;-@1\6t.9 cFƨڳpXn@~' 1S; Q@S`F,6D'V/7 !r!N*`VOCpkhĹzMsRc***=ZjBS}BPOWZzb N!\0B!>37aOP }Er1UZȨИe^\_/i=Tٌ.DWs@`ޏ6- *p.5}ul8]}n<}K?{9!1Wl _QI2@jGIi#Gl@**kr,wuM"dT=qRE2t`ZX~ǟ gYZ7zXZִF! &q]ŗXiɟ1˦r!cHkMeBd4 Zz㱥e})ىQ<)02n_6Ø._X՞.@*ԜQ=&ޕj9_$JKдl\FP3nԑ+C׊q8^"k@-(cc̬)vlPǤEuǗ*Q[uueg*$̪]1ܶeQ  ϗz掫]FTΨ#hW ;۾$yQs*"noً͖ic~$@8 wc$? HV6rneQPgI#KPV*rvQ Ic5*;t`%.Y(au3.WSPlӖ\exUA8jt`T =-s@ZLúlpF:*7h֣fPzfXO߽zJ+ s;8Y51.L`Bw-܋\xayGyhP1ip ;!?ld3{ 4lLzW!<5қ3/rX/(V?'ͷ+مX܎'f;P}KEp+{؟YBw7j>$WiRtĐ-9'nCcҺ4N1L9 clRyq&H?D$Y"=s {,5lmxqGNZE ޺Ĉ*H!-ϸ₴Zݷ"eVv܅VY±m[,"uDY`r;utV̿yg z6;3w38sk̲f݁}=ѵykS@i{°.W)9.* #:b:c%0䫶:ԯ"J$ IvP 7K3_hRK`z>@OOsCF߭ʥؗ!S(5 &ɷb#~Z C´sMP"FnjkDR8ri?Jtb !)M_6?28pU=n n7SI[*:. \!l+Bt۫ϼSn5IL!ݸ*ʒzl(LAylJd'a!Fv,9n>P:gmyQc7i)4{sR񆭕}mI6czz%*?(!ɋH7"xA( +iGoe'Q`NyN{ݱZmߩN^omRP6j v'Y"%DEYV̲,`IJu,%@})I UV*nΉc:|~q$ٯM8#i'At9š}%G[G"_FQP8=CO]M&ǩpRm+r~.KѰQԋ|cO؁,M/ y7)3U^pvht)rClJ_[߶rB|L(q# GNͩ׵N1|z/0k(xg۴y#I  7^x |8P7b˂@fД{z?z{->]vzcV:{$ފLЫb$;0GهKuy RZ? l )1E֌py[ %{&mb0V)\Q iˮYGlq4RVMk1ŹeDdGϋiff$K=W~~;#GHW≈ϢpJGCF wRSk)uc-n.)pHd+4~6R >W8Idm ʬZS{7[m3N)UVRJFQZY]t;/A&*owӼۇ(j}?v4` \C;43==[lٗ߼cYͭ9pƟ j*}ˠ:.7&wxRJXdV&ٵC'm*8@ӷ@ C Xt *])<0 ;#Y4͇Sj'Vѣ_AWC7&z_(؊O<'x?y 4C 1<ú=ց\k[,+s*5 9dX"n3>/\&7-0FiHBC13h P.xz'C,#:)4B[T?*&N3Ė'Kp92e[h0ih[F5B+Z{ (c9 :9Mˈv9}H>}<ϔ=I8IՀz:WFR,(zM7vPJ}|){G헹asvZrxt3zS. Éstw%7#ߨJyЫ8sڌe r۝D=Dr~ď?E&csU+4zm/Ccz?1->hs_xk"1lI?গJ kwxT(El\4>Yh6 s}걻I;fiEGFb&eOcĦ2Fqoh2%"3##5P{f銕4 YMd~`L'@SRG* .Kjǃ{9E2s0&;ɤ)֬ue >h}%/ϤK!{]SHKtC y)QފBHRGvuuQ $Ƒn܁|(Iu{v`wԂ7Ȅh  (hsv.a0O/XD,T-y~j[OK/!"(zc*P+5I0a(_Ɵ:4 |un&z5m@3V"TqO4#&)wWt*3HZuϵ(BLto"i/?)ӘoIxa0Ȏu:6z]쮺h5j.GЮPڇ\HI)W[od7qE[2, 4@66o.٤?35]q; NJ{`papZ$J(ћN@Qoyphip4XiUK UgX5rd\vu!{SzaYTsZv#bѧЁ0 lP2ڠ׵1FßȆ_惂ڤw+(F:ObNF.vp$= *C$]r/匔L CwX<-4u!X8ω&U7O<@.F"t+0  .ڢVԼʦ:.lqi'HQyUM 79O7+Vj/SiVi"M5ei4ccw%|A;Ÿ- '"3lCaWP n5|wby6ͥQ{5<~%9YB!l7x`O4L8<=Ʈ&ZdtMWHxp \ crsW.WM+eq.'^yB+h&fqKBoHN:R8{7;d[D6="40Q"6<c78Yf-.|O#᧩mF9*PIIlZOw*{f?,2@7kU#":Ujms%SBaaz|d o!UDT V(q @<$Sb]Hծ?Y~#u x牯\5DjM[KH(zɨ89ѯC-f@oq:X.1lps!"8bpח** 6P_,:p2Ț $'*$?D0^Hƨ&R kҲA{6!.$`FV-:ɯEٟ =LDWoL^`@ZY|V//;Ƃ `T]2(W1W䪾d}r,q"Sd]FRn)ǬAQ&w+]OcWiOt3gYNhFV;HMKq2gһE&6:А4:1|k?=Сm~?տWzsܝɌKD'Pbp:{xWyF?|1cSG S5J(6E%ԁ|ռ:CkqTZ3gwHz&mH暝> L҅ 1sZaA֓'ccҜMe#֎UqX=I1®r0bCޥ=1Ot.PC#yf3XZi3ﱞ,e>% d{,5` 8A:DSIQ(L8a"왐Pǧ/@E}W?[.:財v\CK[.M&$:c Bx rL=0>@g SD(6xru (d 6˄*Kq@!2p #c)d&k$D>Աu0. 4n$q*EȝHIA}2;lA~9WgG!WjQU}*Toaro'RQPhm 94oLjٜdˤ,!!< >qmpJr/7EPgTx!!y\"7}i7RZHKqɭAz7X=YG]?Z#ASi +EeFS1۲giچ"O{ttpOƈpgz-+ hV8I`Q[5BpPԳBk_J1կeR_\ ^: ~,T9y絡vO+ .1ip*]"qI81Sotqz U:|3"~<ǘnV: EWĆ#7zhQVíB(hMw>EGo a /)|+t^ yO8+3րb/ U,gnn `% LX0#H}TOi"T,Ukٯgw~d(YX/}籏iMG6R#߄^S< WI6ߌס( ^Lj8ixB#Ì3۠~`nEE n/O-?3sa{BV$X@Wzx G0>{xEDԛHpy_7ȄUٜu1J#bBRO;HG$ϋzy\Ȉ0 enLKPP٩1x_%^NGHDq Gk[S53IN8} v7N\t׮LeTu/~Q'{1%w8LH}a1x #8mDD d`]\r19q7U7N8+jygT'eGsR4,_imJ9_khƤ'H{^Bsc9xB5kd\s A_aQ7q\e(y5rEH쏅i$)Âǀ'4a}ְTtL{^ jq5 (hgHI$ǒ IJV V@d+ԖZJk,ʍ7luBvfJ%QϽs3r%ϭVZk'|2L4\̋}Yص렫31-}I^YUd]234D~e @E횢Uݐmv|eh_vTyԋ΍-\nGIWP ?\WgN3l)AT,yw:Xׄ1n [x Mp: YWt,*CA.Y=BCjvrgqí~vX) NsXjjrx z}CwKmzbdj1z6Ֆԫ WZy47[/Y/l1~]`G- PB+y < )o["?jPI\7} 4FrrR۾fM m/,Zpx!m yƯo'<ӹ>Z FQ3*;eVmjN6ל^ؼRe˲'qkx& [+ѣ>3)t\#UiC2P lvV|#V6SUZm0@oA뛂'̟hA  XG͞T@C (%4V<~C8f]\?1BZGvr%D]<,fꥢz'>.t{p~Qhw \6w&|py4}?iТD\mfQ K|#eѶ^f3*d&`)V[i?SPsS{Шf?(D3T]5=R[1SS_K2I*sjHL?/_kG}0AcyF] M\WJBi hxiYb W+) #FB_ĕR(>6p#``+p:eiD,QQm@`*L\leIW\ӚZ(=@O9y=)>UhAVqPNGz",#'̓sj㠵G ݛF 3c>lC լ8$0.{Oy餹Z+tVzŕLBqŞ,]ovGZ(v Kɽã"^8"E%O|0_נM(̿HϠUVA <2-КSm$M-1,6&8x[G:ږT@ݑ\_xrX5r8I2_*AeNZXi{LbXn!]Z$)!A܆ĶqLg3A6 Y"J9cWz蹟<>r"i Z ;e^% _#7j%dms-b$AӚ{I ~(6 ͔M~=ڤ)+S+@)vR& rҌ2a@; K;*W\7wZ'&߽7qB0)>6Y"CwZSjyμ{MLbkq\!&6-31uZmjN+ vL uMֲvLOVDݒ?6NE>ika6Nwf^΂,jfW#-&*55 Wu _ea>VMſ?2~#k0[^Vk/*2.6_Ϭ `Ᶎ$NTQ:hʹ- EG['"5ܚI\{NV_oqO2>"1.ң#FH a+DWR^SOI3(4u" eЈLQ BJTU%K:5']sex%- r>%]*8;:"TP6XDӣ6BG "?V76Fl x{OCjdDsO V?g"(vӡXYU+S:qoIMӺT!차sNnp`a2؇3Lܼ-߉*r0THKj97OĻ"&3AsȝA`ĿFW&2MoJ76|S7APcfݿB)9|0'Ŵ~m>R[frAv\V9 &h@:Qr{>$OU=Gc |$dEJ|XCtc X.-ԆxvSKI$D{s|>[/>62Ϧ*ZQ&pgi4-VͶʄoeOV:Ӝ N.L1·'fRd. PS@Wekf03(;]MЙ*c0XdV ) G)$e˘=#nxO[)o}{1^qakyvI4 Ļu: 2>`b͘* &l%0y#2,D`GмϓyG OmO"\\ۨS-k`m$ _ruՋӵZZk_]˗<}Xk \\&p̼aXDJTt6d c B9>1m3D?~k4)kA'D(n|h@^{*ytZH&؇U`l SXt(CC׍%Z.m鉵4)+Vlc@oMWy:Ԯ͚-{%dO1oAJ MXF(M.:W)t^t(V|ʆTѥUfy"đŇ-py[شA4iU\I7JT5^IL I P7cXfe?صv)(7$Y*rEYtӝmٶx@(?zeVMI|c:Tv2 -NTWoL 2)4[GmCnT*䧻;7)PqUGF`p5\UZQ66&{!Ar8@? MDÊN ŲPd q@w65E{ʧ@yRg>݀Y\;T{i!vjYkd><dmK*qlj.U &LCjT(e`Ph-Rq6(SqxT+B_+p}FLaJͥ>)/mS}m =G}! Fܿmb|g9C*dُx@Vk7m5/QDGMCw0;믜6VX{X~*'دPnfGh=lquNɌ~nFܻjpufM0vK{@n`6,uD1$H U;^(NRvK ^,X\:E e3J:H¯zC<׶*vRUԦn'@\l劄uvU@q['BMqLzn;>s9ˋ! Otq^^91\cmР7dwV+6 >mPxx]5$ ahH^}ȹJhi2p*lLU >Vxa5C`SM=Ȫ;p8-WMm$e=ƓHwUR*ڪV>A SYc0)NL `A;o`M Cf›ÏվĬ}#Ns𾒴PɸZv\ Aҋxv cG >FIM7eYP(*~$);j./]u߽Cw &XT !ҟL~mZnB_>x19s)b6Ъ;h2RKq4Ļjxh%X`7x|htWj|Cv]| )f2ܽ`1sbց:ގ[=DKu]|'z3!AseWrUn:ڡ:M=x [A#Ɔ\FuZW!n8D">s>n9N[6K%W ԛC2C-2i'[~t`OsVNHprS-^ U *d`4fjfÙ`_M}% ,O!e+[遗lC 3+Զm=x\͢հcN 㠘;or[858iSpt6u?I*ӋJݓuc}1[V9 k6HM-K}+J۸ܱdԽ[$gritAt e-RY=O:[RjH:"l@1Jc$ܱÓ4q1K#zɝ|4z3V0S: a*5sg!RM[)rU>ҥLQjBMP94kiBQmPϳܼ`0㬨#ֻ cWL+o"ʸ=~F%m٧QI!6;~tjʭ5fuG2h&G񲄛8TN3 qTc&:m86YPH-0>0xZDożLi{wt+ymUєU45kr?stAPQWKiC)tԂnF߾'sHސm)Sg⇹ a2F[92@ԎW  3MvlAd|ϭNf-Ȱmz 1 %BN{lˋSϿh$S,%'޻)qjp3^M-A OOsg+:g{G";aZʾmIf;ryICh?HkXQ}"k8SIOC~&@8\TЃ/_Cq񕾒DwAKežU{H1&\\,L@>4_*κR1Z|j9M#zDSN߁rxdS5rį|N5 c؈ ʝrI HZNEW ÃҸL/doKұE;ڹեBoSq@۹LQ~eY/5:Q[P Ы CclRxY |`uP~сQgI7fe@6a7gAe'fg1дV @='g jۗ,܀64tBg{wmDߐ3_(*[Ś.&i~vC*=z#+)-s!sRZ=͙Ɔ zzh MYBp*& Քr]M!nhv:|wtIyB: ZUBg7Gx}J%pu.cc?-XLM{opx6YDߺ(ƞ^ lhYvݑŠ 4"Kj02x0~|C{}n>V18<ы2`T'|_Q*XtvtŖL"+v}!GҶgu/,Yoщ63X|Na]E",*8wB{G7nC  ̿xYt3|֧B53{+gHkMDSBΒ ۓƵ!nj϶WJX$B/sԖF M;[N4ԍ.28K3\/Q3U9dNշ=*ӌQ/rй]t@C(EռM "bEFj T>ׇ=2(ZOlc,c6 RebLgB@ԏc ]"9]py=`1؂\Abw| iht։?BﶥXa9oȀ7AdפጲpstxZLzfx;t.1O&G^L}mf/J>”^ KΐHυ>?J, Q%Z:7 VmʹX+ZlI{5EӳL'ٲrw^ q[/ĀXwa{0'%۴i`C!u~My Z)M7C^wLPb7j,>.9gy.(Tc~zH6RmI}|AVc48_w[a[ nc%UIȏbZ q⢄$ScxsT!=6 x^ǡavG(ϔ6t]3[|{1YCfI`^`:zD)!D{ }*\ E-fo E(i& ] qՉ2c),x 4t'FD;}A9Fu_c(Jo3VgߣTRɮkXK50h!|`Ҙo[7нŻ@9fxĤqwnN]/V=\ W+P+j@TQSrAho"o?N\WUQZfnQW1W09ZIʀ؏ !"ļy@EAU/w ش(r`KG{WZ~nԹk=Jl@Aѣ GZՎ9x%; cCjOTk!V sxyrqV,_pk\C4'8Ŵ?HXY0/ӥot |]͑W#˵MS>ze&rZ8(#D8.8j!*cuI@?'=Q!Ar].qGNXrmX#rIB{ ${ĺ+NE]0/Cg\@)B8JS v'҈<6Pu!Sb=$$ɮOW\n1̴= TG,»F\u#oemѸ5V*MTo(Py8x镩XCRG-h̔I~y(s\G0>Rfx0+s\ wLr;Pen&1K&+&Q"3V {i`Msjle7 Q,7OxlJFcUWIܯ߫yUyv0< D0H*S3eV|E}a3kNVYF0@N>'I鮙sd w$ba֒:&,A|Ryn[9;y^ |MEP n:GЩ uB~1@}f{ 0AvAozS뻣Ս?)d2~yٛQc޷(1!BeI4XtXeEp5qpqΐ|@,+\/b_HN[s1JHze@*6΄H̎L; μUpu j<4 rZ>NΚ~`ݙLx9FHUp 'zvR4,ckW_N$c/'uOꍬ=:.ԭ۵zy<4EZЫ WpVqUV IWFGOpRC*Yzآ..sXi4Gl&kX`;kx_nQ~㱢KU^'!LlLü[rVӶmݣazƎEfg s\e w:.-GKئ>@zr'vD")+cQsDs3٣1,Ztwn1?]AP_HAD(H9v6w a6ZMW aмh)X:#-##WFrZxnuBUn$ȡڽ<#)aeQ/aGgJ4'˵2f*W;WR#{HِǚsϼYNQ= xKՔtxEM?sKq ^M,f*7 !(Pd-ܽ,Qґ.kO]v8$3@%q'q+&ݭD0H 3dV@|̄SMZدte>VO} Qd(M9.fSF#@ӹ%XRlFAWjG,T6e"5 \鍃3!;=Ww^u-7yosE* jzzh/8XS{EC~h|Moͳ@|fe߻.SE"zLTb#O5MՌY)|~n r) / E߀$%FՑ;(#rz^MЦ.lȡ" d>_8v"4d9e5!cW] v[P()ٹOUaL{QJnr|+{o7ҶaҌәATqpC'G9(]Z֒,Kbf3QKDvGa RN2eU?s:Ya[-хS!SCu\y~.&?j6;{?@l_FQ#@~uZD+5/=pI[׺[ō Tg@Z];p)Xz d^{&h:~چ {ar5 0q }[ah*WtxR֏ ópd{/Wr*G0Z^? [5xeqxPyF>QLVgYi_"֎N6v\ߡPݑȮDHuOl_k%w]|VᥭQ[Mê:C}gM8U몔P5I4ZIGU I&i}Kv`W&QyGDjX? —jo[&nuA}͉LR"HĦ=ʫA%t9|<,tX~BUC, .ZXmXlHQX%J}Nw5n\k?} 5Ug@͖ *B阄(&zϖ%}Z{zҾ`HڊR05u&|8Rӧ) җ =ʔEA&G46GaeItE}eDAi6 bI5sI198גA+f+4﷥ ⫀h_0P+WhѦUUzԙP~d^nәa:GF  ER t?q ]RT; B#Ou05%;Zw-k$wY+^}"_^A!2w)?Ɲ˽#2 ]gӼ>.iaZs}!<4hxn;X\ 왓֋+`,dU;,Ԃb⚼f 2?Q2n);>6m @b57DRCD)N{:Kt_GtWd·UqŹɴ|W|_]l(#m"MZyX7AX[ ޶y3VaM&T\+vbTk;qc I:C`Ȕb+_`Io,BD#eԳvm_2UOoQ"dfߺ/+"M7'N._= rJ? y(fiڕZn6.(T70o0NwfQ5)C&j-wuT%V釂3V+߽@)j&[5kH)`>0ǰ]Jk:uy0ȣ_@U lU6"<' 2g<_ՉgƽˤtIRĹRh{r&1z^xWAֹ5O&,w8M*4k 1 wA5 q~]גn| H('s)6|r|8qT|cD($pE` /\ KdZNqC1hsӚO]+fy;&dS_9\{b@-Nb#ES[ |LcnY,+".K@$}|%\n"iL ε,IVU/Tѳw:kMk*QTc0c򤁴i `z˭"W TS}wZ[*]i:蚼$aܻRYnHZ-EMv Zi~Q,Dfb+x4bh{ܼOU^eOj'g=e{0ɎT^㴘os_3P\>`BN6QP)ѡqWHPLƏ.˫m;a0|ڄ.@&|8 Ӝ40P ]6"M}AV3# iUkr< -Zp[[)}^hΜA^UQ+p]( UE wkLլ(\@ v/Ӌ1Ob~d,!,i6'G}QI.+Sw˃,Ƞ[ʹSEp2Iu_-Il'ƍ!2J'DN^NX?Sj` 7T^GGTTW05%&{`2f2&Ou{;RPy߫Ϯfl8tzx'4_F6K3iL!/ݿ,-FvN+tX4nIJv%Xn{fCeʛ/:~T1J9Ӷ\STKz:<wޝ7-R)Kv3ϻO*71x2~O?yQU=ʙ*Z[1Ȝ|A__6ò6ڭ;",MKTLuU#:YNe-53UyTY.ݥ40FIZH#N:v{aՕ-{L}ynOUy~l?}< +:=!~MtV (/4_++U .ydx-iJ9{STlN%vBcT0 AHyN& W^u˛<.cZjQ标% F-@@nxYW ƥgب}Ē|QXDMmMO (؎Uy۽ cDp>~Еkݔ[*kMݥ.:~wlsCj{3+Tp\Eň4=ˌ/:}6 .QgŖfY6WtL/B~HJ_O{' lB[`Ƕ{TjǿFp;=糀zQ-46Ĵ8nԚR6k|c]]wqK+I::d j %Fo+`v8[ JITxοi{A Sف_pYBv}"?׮~AEtKIKzLwUzSE#u}{1K'fYԢciAÙL0{D7g,=QLPV\%}'&ΙGݽ/FҸ c5` 1Qtmסܜ'RT8~ r=+a?)绤ͳPCi8U%%QCJ̱<$sg~ǼyyfHFqYRja8`*H @L"[%(no[Y&r :f0 ʸN&=}"FqON؜ wfRCAˆa$ۺFaU!"B`JͶ)kiݭ,4ZRO"۰{(ڝwC Ņݞ۔^/}.XMk6c`׷䩡&c0NF𴛍nr9gRKe5oXd]7x U91z^7J([^ǎ*F !T捻# w>S2x:BtҺ{@>*_ZWE CWrK*j $Ym-s5̚4VK4'fC Qk%J9X%i={K"[;ޏ7El6M싮7}.Amhaa2`H%.5<[+3#gCGmٟAQBxz1,7(sև4@վUJ]'=!."谣2ގz3L w_8Pq$Z8 ppDnգvR\C% 9J!{m2F$[?E*%`CɆu L3z![YY:n}%UrZ|gT+NC!w'l۵V@:Bp9Bjc3舑KlZ 8~+X +r2IGJ=,͆ř%IoV)f M ( GGQ*8]?\UfƩ&47|#(gs 7,Y!%!Yڝ_%lXzٝS)CAtN劊Aɽ{vK%cÑsSS)*r5'!eL^{6cʜd+h2(h|g2YZ"7[r 'j u4XQzN*)9c:9^<܀-z<%?]++a V-q&/&s8{o+!IC{䅊$3j$QFH [,ŞCQv\>[(T η'viб1lps>"[,eyISuQ'BDWB`N-\014\8WՄ/7YO_)FyFgY¼aC9DCFka|CyO Fwи԰C_ y cphlD H6Q\fٟa{_,&:].˾>H\#ω#THſj,%P2KDYs@<W늅onF*NV~::|!oX#fR _Q痕؈Oyp|ˠq22`|~;"ÚbYv-ORwV Ǩ8!ݽOp0:ܫ*=RA^D;MqYjr=ckC9(Ľ~ХkuBl)cbAX~nvw {,EiZ N3WA$DHdLi !vtAm\I)xi9Vv{WJ;Kp+{F872D4 %H!8w͊&j3Y Cdu*A(Vx ̵ MOo2x!/IyX}f)Q߫a3z|(r`m_Nw]IVLѯxD&CS:8v~L)BI JOIػڶ˪▙/"=pjUX\{ cx81=9 J+}ЩJy{`aml)q`aWRpEKA+MN 1'sw~LR8@k*1먹Xȝ)?t3?h6_W9=*gWTSG #hQrI8 ?ƹsszW*CsO<{_ *ђenqt\}>&CrRWCq9yWXܳk# hR~KT>m5LPfztx'w`crga)d"2O ѼܲR@0s5yoXZR=y, 4f* -Y6ǧzfO.`Ig렸IJš`0pWnBHrG: ʕ ڮ6]Zb>&)/H1F=%vZnq9P'[ :YxQ}P+ej $ 8hmRD4hBJF0̛&,Li~be_C Xe~\{婗%3.5B _ _OUg9+6:mHGoj]z*wV0I&HzvhAnA{Ί[c:1aҼw?^J~2~lOhxc.nOuƠ4w T=`4~=OhJ-R=!վ#!NQ#k84~x#*OamDeQ*{(eyXd̹ 1oV Gƚit_k^?1w_Vb2fWI#Ưg@E j4CY ɂ?.Xz <*76~4W9oY0.-uB0@Q-cy{BI͑&iA(~Ϫyv;q>^a0H2Ȧ)l3l6y*6jNjU;Ƥywe/QL)-Og@qX}\T23ɟ.e{Fи߳G I9ޏʞt1rRI"q@#)Ź$J%n6:IŊU`{-gĨ՚ ۙ׬Ȭ2tBA[8l"ZpÝyw4M8 3"e$,(yz-.@Špbۃq?j[/Hg5RM¹ ^|e!nJ)k4^* 5weGt4/kAϋvX+/^kbIU͕R* k浞-mRK[a;C)"I?l¥S3Lf/ Pkq  ɢ [NiB] Cx 5e$]\V;^c 2 +KUj[N eKfa_X, 5L*U0! ;IB$ ̘%FjFy7oW74۲aSv4>z^BhGу6;$Or(/?οIҲM,'a0z]:z=z[ē@_@s{&J}]G/TL"2 TIK0i/Ou7.* UsOY9WtGA9suV6%HcjU!Y%l^<'jO.~K"'2,c}tb0mf9mSD/?Gn,dBSV7 iu;XH!@ F Xqĵ'G$A&9DYx'p~mU,?ixZ} EEQI ʬo9_[k#@ZF~ГKCHYJRJB:^5//S@(a \^P's'bvOœ_"=܂;eqqf:hcP `^)OIT?h߷WHlQsjёno+;٬9"Q?ߛ)޹;n+5sɜ+םW j4u^T 9SΎ O"簾D)ǐ +/! `i49S&ij!;!׈s\=壻Ԧ};RoL!IF,S~B`eHC-' 'u&wJ)\z(@0|xeDfP7B@mm$`kB٨%Arb(m{#!D_mK*Xbc6Q>0ׯTuo)h?8kPrw~B]lpnE1단,Rp Ije.Euɿs,vM#$8=0L}j?}ZCUfE}w+LŞT B]"1@u~{f=VevD>OōI:FưaǏu2Uaq=jo޹U1a-VU !WD2={nE{e>G _lnC [0[+5k\&:K4gQ |"9@o}G߀K.qM\ c 8t*-6l|۠4ŵnZtx:-TṼ<.W O5#mwyN-q \ƋV /,b2*lKl+O@~P7K>Ԭ8k$&Q>0ɿ:dzq;M T*uaWh9+7(VI~ _D@Xe{LƬgYZ9a627b62ec55ef33edca6e45488865b34526572d854150d242a026a9a55d66c1a84d9e6fcd361b2f 4058a9d1c4ae0ea2523ff722e5dba8fe58289abfa55c0f7af4f937837318deb50e2055011a9421a4