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 ?5|\\ ]S HOL-Nominal-Examples:threads=4elapsed=508.264cpu=1803.416gc=162.128factor=3.557zXZִF! ╀.u]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$AԬe&Mgat*;.dV\=&ɝìs'3.y7@L_@YNLj!9*P@ wx܊!2I-&E$2)YS| \.PILW|8X߶CHV'{s?!oW8`?IxWLTIC6+ⴙ^ݷHXϚ^;y:pOY2*j ƄREt/5y'mnr1.Y&)_nUmNɏ>}|e>=Ԥ=4G\YH]0P-y+k`HCzNɵ,q8KeT AIq4抸B-]E|m#, pS8{SDMTKy8"O"$iӤt5\]r1n!%. 1 /.X.ylh& f[ +[v/p[5W̿i:_j[ $,~AKz诐#+Sɥcxˏq[3oN3Z) Mr%,BغD͒,Ʈڹݰq4d+ԙr=+F6(N"A"L09I؉ҁ/uIަM5Kb*_{|Y9õ{!q 1amm"! ցp4nn{u 6ءq͖hɗCh0T<=wou4{ٺ3 R[JZv 3%!nQ]sZcO\ͦ҄^߿|8Rc$ x]OΟe? ]_mG|KF$V@D\E9#"iw m>QY x*z$m`$wg]!棒MW9e3]č<]`}HZ- ?]"8zҿ&%كPv_pSSj݋Mjc*:i܎HPjYзmuv<9Ms7t AI@ LBp۲  wH%8H2uq p`rdώ=[cv*7ɄLv;H5D(QR.{݌w3ʦ pfef}A2;9RUp=.)m+|Jn*KEq4A|4jn:YEcrwhn2,PcP@pkI# '0wWO{΃XX{Mj>m(Vk|o֧[K0{uв |AvS=!T="wqФ\^ϧ/,m̿mdZ} ӞM洉=p?c#VH-i1jkRڔgbFäqK{$5,]\-1tpH>6oOr$u[ n*nJn2{ +inMWiȉp+`pٮקbI ,\7'Y<,*ͼB9dsLViLy㯆|7$T6P 3}M mm_'&2,<Ȃ=;#W 5 HOL-Nominal-Examples  NsHkw>wʃv΃S`j ;2w?[o Y꼳v"xu/Ug.>*H AcesA׈mpMn!;Vh&`˵is{Q!AjWu7XRLQ88D;EMA=C\:WFJm׾?`~k8Qwm<kф 0Ns^ Bssgdj K׉ fW^:=MPfx)' 0O;sE8N1vG1*~>k~9ffԀ+,j Y+-sO'xӢ%6}+ܠ$"3ZoŗLy쁩Pm A^_JJAe$Odl+ :ڝ:MAhZH @/Տ9FD1R9EV5$uG\rhKLŬ-e|Y+R_nI? A;ZCٱlqHJ:Lϫ}GLT*fܚ|Xr N6ſW/=}'3Jݔpsf4h$^<܇*0_czͥm^ЪEXWnˈmKd#v{jǠ}LWNkwZ0aIl$XFQRC+e45[W \CYJӋ(d-զ"W~ JZ km&(TۖL8tsCvF˪>UttDfHS(?xKM*š3uC˃DI47vb1O/2Ky|Ӆ4B2l]^ YZs`fT6-0 f-b[jue icG7<1 +$@9Cؒ nǝrV 4\GkzrLҢaB.I` \P<<TtmbU5's-^D#7ToShgm`H;ҢUǡK?bMqaȻ}e# ~:g=JEC_W S C@y9nq_:t{f"$}<cZ+ K %|W 읂mGW'(/ᨇ`dvTر2E(PDYc$~08~4CXR (gx_n<Ҫ#4(v~QVШFo5z:&jjnݺ؄GBZ'ljY"P9|Xk Mui l:1=vn08{ z~n,?:ӌ%IY `:DlL1yP-S!d(j#4{5kjg6?4U >sHQ.{5]K C+B ǗC ‹Ty ~N74D=Ng=q!`)Tn@4pBo[(z0|4QmߋBv oE[?Dwv Eh* *^s{엜 ':ЭP|BzY;ҒD(g""s}(Ƽ>p UP0#o$FHӱߟlc0 IHu\@mSݧZ΀U Kz,,SSp|_jLoԉ8f*gvKDukHKt2S)*Ӆ*PzÆz-Dkwٙ!KvT#D=TZ}ڑ˹y a[ ĞXE _~s޼|91F 5Trx`hy&L s,h7ы9+3v8A"r+:ªƯ>1[O>i@ݖV"- Jo 5;k53Z: [~e pZV\LdKsw{] +Vɮ|]sXtVd8yd#;h:3lz.>3`kEAooS|4TWoo9}F<_IsbtV Pg |`~o6͓Әp[|ĽtX}=֓)[tfJ˕ ~I[\b5+B3:g1K<_Vgg]1#BT(j#u|Fi`f5#2hkϙjd Gu\t}H=sЈCc]rY^fnm -+ip)с>ya D͜ɭ.6=)rLJrQ4}C8k=Qxܕf*qK[}M; BDZ)SJϑnQ<~% GTԗKspJ|EӇIgcS Yo#I;?+GUΣED#"lg@&&\Ø{A^&,G8s]@צS\JnؿgbO=;VvʬXy:YV}(㲱qvRGG0L?|p%%k6xTNՉN}8tKxCׯt?ck!5[GqAVD}_2#jH-}ILSnQ[uAu+i կf(hb$vs:jk+⫚-/˂M }$Kv}:fFluCj'%-"P2mh?2'v8)iF$im& B2Y&C~(VHI4<:(.D?zAȶ`*(Į"Nr.\D-{6fhghܒb]׎7X \UۏaQ 8"R V^E)5$ǟ8Cà'qהNۨr]Q'i;ilU外43{Zd!GvQBN@o~4𾁪)$űJVC(-G}_Dr?Sh^ &3>e3-jcҡ<|h:ywVIo4 }nN-SwCP!ԏς 3B4?F-W ]zh@M/\!ex~~ΣYC8  f565vg1hmъ^{.~Ӑ"D%ghϿr[]m {Wu?bחx $k\E92n@Dbbr6,..FY=Vsy]]UJt_% mV}aۣ> |$>zJ",vUu7E_ 3`EI=ĤmIEi<%ɗ(u.Zä̓O6C:W=v6SԚ3Iʉ}:X>G.mIszcy4vDQ޼: ~ؼw`&bA5*Hk`zPRE^#2) Dݚ;l~85Y,uEB `s[:mքkT~^ED!Ź̛[@&Lr$5je}#{';YL}S#?Gޫk|鹔SP; J9QlƚD Lq?atP[qmN 7tzvD}HVL^N PhV1UiK 9!@"OQtS df]o7 K\M'-ܑcvs AĚ;7Tܻ/}[OCp8>-WUkV6#L16V c3#ejcYr!+ՂYWfV9 UBl:+NWFZz)w** cVQ$K|/Ld}&` je[ȭO н%<6dcW2 npChl7(? ]4GtT/ndL{K՛wJY6PLE ŋ,Q;@`"F"?\5!`K~Mr1(gDn29LXmm:(>&OrH#^ [A ae"W,;[c"P߲(0QbqH6Y@iN,TjԔNɹbkUqj۾S2In8oŷs5tI0ֲ'oXFWFAtRZj瑤}΄oy0"]+=0C$) ᯦ pjhm',ǍUζmA H9P8%ŇjsO~P=ߨq)s642 }eЙ%撊h0hd#N [ ¦8޴Ah1 0eYÛ* |SV"*!fr>mRHśJ]U{8jh Z36D |g-1@ٞ>Pqh_4Ѝ"8b.+OE隅-\%w%`-<bwvڡ1@_(x"Lտn*6Y~Fa\cvKpT ĵokLH٧#2wH'\37x;!QFC!q#Zdgzyf7U"'($׋-I~ĚUn"c/gBF}a ŇD<ƟFҖWn'OX3uCRj]֞vSvg#VK^x4.+7)YM1J< + `f_Ă@a^꣡ص0pn !s78h-WKp8jQs S^+t93A8axV;s`cg!)zL,45ICy(e 3W.DƫfkEJQJVSމ;(ܜ Uqr I` _~d0߬w{)I9Lz 0քo I&rIiS閱o(q]#gޥip cW_!qrK0qJtXKR1l$OjN3-pLp_H=)QFMdȏt,eVa*s_u6|HGi[)v^(@^_=!+adk:JygWC2Q IUӛ|PLa*<)|f 4hCT>r#|8gY3'{-ns$ '?͌iΤEjDv?֫_8u؜!z@6m [57n1hwjb:鳳2yPfg]Us0^8uvȒh0u("koB-m$. EYm lzF"/ 8:~S]T"J1 c1At6;!(b"VO\X`t 3'c˻>wDT? ^H!&Ӭ 2SIv\ds)"GoͰ'XWiUgN[6xeSxY]Z[bݏ~^3OaNB៭YtANH?qL9sƽhfq$CfqSrNM0XB\ȑqAY*_ut]w/֞pJ̶\!j_l"$Uqw|-֖+ Zw($3|FoGiIWS\p+)vL &AD a(uKeܒZ5dNȁE#$ //{d.d8qi?<"gC= _/iI!3dò%V gEv52<;RG|l(`xW%p=Uy d;)gá#ZX/EjlB>dC7-5Yݳ?py`W-[ Z1QAǰfh Duޢ)s:&y XpVU?e{(x6" %r2ц#K0wWCp-u#qδ̔.,t#6w@UE|wpR+>]y"7{ B,%xeb#yZ[*h>gN{?ȓG|b,xY>VqkF(ֿ?ijQm4[qX+-J@ca085\b]g&ڹ~^%Ԁq vlY?DXd2_]́m]>4Z KǕv5#DaR[ iojv_R\m7*ҩ mT=H͸VdKMVr.Nxd)'"HA[\J ,-XL 0^&v6>aTe "c>S"fb$nY(9S9!e~<Ԛ7@F:bj.%"蠓ViEshf$_˯݀@h|7Gڷ$Ħ{XOv'@\HŚKt\_bvB%W5z1ey* Ǭ=gt8UwW:_gZFo#oɨX2jXZFg˷-1΍ODv*><rZxۏXlaTPF \EsPk/RQd7܌7{i(W;έ LYU,A!="XA.'G#"FdL'e`6^5htXfjF#zy+Cn?\yLV8" ݊eH*|oUֿϹ6*'af.܃XovtBy?X j5_ D6z g~^OBӝEg0zn4]\MWzkSfu;zZ4`M8=-/lQ._ 6$3߅ @뚍~ ZEQp W^Ϥ 8ys diGݦ|/yp24]Pv&8)kp#tMe>}j2q+)4oD4YyX}'-Ϻ bc1Fx|6틿j1!J%Wje~Q pUp\ޕR>vyKwka>Q{c/pidOi=zJ8Aa;N{.I'M4Cz5bԀ NdIpBѥ}G\jfH'<J?gYZ7zXZִF! ]ŗXi%BzN ]_KTˍ4 gKHpOlԔvѶp C:-=C#0mb;}a։8ܿ.\D~vP2+)|F_TA\ S$EwS g&{An\ s\yxT/R0ψ zqβ"&6婃/Mb^qpQw*b֨0X1s؇ ԍ_ʑo[a^puJMDlEf̚4 񬥭ܱR*lv}NŴK)c-H'rmÎ E)A"L9lr8ˎeSdU\SWK(K?oRr'ZsۡXZ_}~peVflΔ\M~6Dx9A<\ea܅!b͢9VpU1~YO'ՖkafUH?%t@o~ܭCc}z޳tT5&ruґbZ8|G+YY7? r882˃I}s?'1$秲PYk6j@BMohx[*#3WQ+~w .}4It S2[f{נ/p48rӆGFakm:uYH>vqW,Awssq͉VMԀe7Ѕ섈X¬uTq9NUOLZn3sur1vF& vz'ot?7GfAtX SYxV^ NwoѾ*h>7:!:V 3Rň,B)&r)n,Gߡ-r$S~[hT-u,-r!윎UZqh융{]2^4޲ئΔ6pܰŨu;%ۿỲ,X_s^{hm-;qh|i)8kf.DplUuJҡ9vfFr> 7K2?(tlx$4c0&h\;c]5/l"elQ|\s' DKkJ}bQר $WC/ ٤ lQ0[k/]wcaH.C4jR7%{vXCAuSsOGf㦢>Bn* +0/IK%]qİwtn3vZ(j6~:e8x#7 Ԭ(2a`_ +J>'1gMZgdG%9nP$mA-=J::+!ZB's"s(p9 qXE!bԽK@n%ȿ %Ob|N&򧩲ئCF[(^b]7_m BD'^7UX^G -!8ӿO*tbUl#Z,,ԔmFLw`Ԇ0,ĥ^`,pc+2Wχ #X*6#x6Q֟(%0D.fZNY"gG:[Zu`7zO7E@7neI^Mu6J, h`O'}TKA؃admkZ%nvVMnM^0jXҤiNAyl-FЌ/ĵ1^)+56Ee/ T{'k P-zY̢ ݗ[9za+ KwV,xقK1r)1c(7?/bJ|K8o4}8dh!lJėZo, U}ٯdށq\LK.5 ߐy{YA$t7t6_"S0>gu~n5C[7l<(; ћPe 5/0^{^%fIk910=1/Y1UMQ碄;!DuWM{1N6q_5ImGe5^4.pT?7p]g5NMpJ?Q"HՋplN}`rlڞvai@n/﫤dYɺb`'"a=VS@ّ.;jb[Tw,S=UOGLܛܟ2Ȓf&%y۫wg 'Re/XzOb1 KƩ__$ԟr Uٿ'"n-UPN>:[z2dujk:4,8U#ulVuz;UG"z{Fq8[aYhC,kJN%ꆾ{Z %Th礡$,i?C2w'ݦl'( n~rwڻ>}XGf ^sST$\az~8oAi2uʥf_^-r"'o0h6*,w߹}ݹ&ä99ii !y;6}n*#OizOٓc]]9[cOOu~k"S$,Z^]w1!<-#A29~ )/k6!;UQ+b (N4.b_ ̻. pi :ه5Jg u=Ɇ+_VUsx6t*oRUYay~ Ը fz2EnL*ʭ[ 1C%j`0~_ i;Mz_u7]lbW>0H:Ff .!ؤ7F+'P+ߪ[r鐡0_Omw7i4 g> Fwr3`@+s|x/n- H7E\8AxO<+]Ƿ*x9a#+F Wlu9Pb=T@ܴl >  $ִZ<4OoWdb4>*aT:2|ᆪx꺘F}62cM) -)z818bM)HY/ߌ Y&o%23~x?jlIs9lD2w;;'?fs>n2cbhkBt:B=Xr4PPͯpl# bF%BQvɞ^W+M.ÛW0 n9<.Wec:T6Sg#@*)V9Rб##v;vf>QS;>/ [uxlx/ [jϡz+H_c.$`!z.,;T ~q1+ۖ(=@dJL MI1 b,;vm7Qjx PTIEjGlqܾJ+.Z)iu`_$]hf2D7|ð#+ԄыAJkl,&} T;[a%6nK?X X;N+'(kyGoC]K  G[9+z-wtKIϦ\Ɋ]Q9ל?2_A^1Ih҂B'pnwZiҴ\vxc9'Xh6Uw-PVqTw5p©KDז>ZisgX<ͩQQ# xP&^xD^C1]^#-HTV}ddm*|`.opeH1O| \$KZ}LER4-+&ԇ\ B2ozK5."ډPeڨf%Im\e/snSX˺e}Lkׅic={2츿hT|zH;)Q 'jf8;9%ҫЀ11-w5I u.)::>!/ /nEp=25&ޱXhe'Le 9> )~$bzV;MFKQ[IfwA#2TSy H.Y$*CI˯jd.;M|[w;^l3IyyoxbR8KєK8 :mX ڷĀӼs;qՌWoड:m)|M3z \ހFUؙoTYRwiZ΋Y9h2!7] 0{n@TW s#ƽz3~ iExU Y tRMm>>h Ϊ_ssA"/e4o8akrZ,O$:ce&z̃X?AY'eUONu@L/{7 w &a (ۡ$Db{YBO٠ؿáA) DF 69~!9ಹȎY 4 K| ?/h֔a*#A1,'mB@uVMdfp!ٌ$ Tfyx.n «5?G`"cJ9A6@<Ԝim["&MϤHW,jF).Mqnң}SONy*] odn>U>r2]`zq5Yuߍ*8.ɒQ8X RX7XTN \WATi>з9_0,feozb$Ѽr·xt7K%>QQ=h&=.lþˊb9XvzVo1&a _Ǣh»u;'@HŸRus4D:Z#ƗޒrmpmBL}i1 U rGZiwP+ Ui{M{z>nZ NZYe!PҶ6+X:רs  |$TC4($fCҙ6"zHҸDg5vW&+0&v|v$f9rI C%rC$6YzEnk(7Z6U(O x؜b f庪@S)Mv`M]>bcn9{,4`t:R8lRUD.!DXЩֿ bf5I؁ $:kv0 ," W{# 7Icʐ4+Vw}8 @4~ñl]CE 7PkDYy[obWxc6&rfv;:MJ\|8 -[s5=3éא*I: #jtX\BGdssj.í:VK_!cȡ<᭪I"{fJJVQxIll|,x[~ l,1hyo$wVkE&A[KM#wN}gv2yѢ>3{/SuBujL1Eȕ0?/ ]b 1| %f?[lʕw:st?BC$nD$Z#ܲxӲ0 JPWG\MHV,]Lv)'Cヵ : 5=t#T>J9[WiUԤIFp Ԃ0Q)(fa9,JY A"Q@DG $xz0 Ț,W ă^?rDU'ulf%BQ+[cgdz ]t^~RNsiIprj'욌*7`+';Ҟ_/}+v>{rM80ָQXVޯH]<鐪W *Pb;U{p܁~JmG<Ʒ؞;9yU,H%aHh~xUw\] zk^wޓѕoX9{*ۃy'KgAVJGJx]ژ%wP]T1V tT<}]z/YZy'tOh A~W4gEyrS8օf<{1an7j4V-xHyB\y\}4` Hos_RZC$ 674餭5!Ԁ@fYRu 2ed$!,-6fK(!IUEce\č ~NJWI_CvWL9rɘ3\E2Q_wkb|vX߅6<>C=p%*`۟WVr`ՇA>ɐqd_s 9V隒a\yh &ł2%6d\OfIAT$ۊ*Ng]O ߖ+1fsX^? ox',i];c޳g>=^48xk~S'tg!:%FH>N]/n"J1ArM-q#3+%'<@ƆR/0ā9?5A(Tثx7V]dK+z|r^K{=WUonO6w>5w*o< 3;|?Aն t>ޫ -Vٿ|X&;j"F-;q7"(͕XL Q'ӑaed#>f5aD4b{[Q FG:A`T̊7y7g%$$tK{) >&ΊLiwsKұb"%CN2OA}X bb~̡$iޕ.Uҫ|X'38[m/mݛ] OBo* 8XL""wGTXJU6N`8nYa q+-ȨEɻaz]nhѝXBk1MDKp4z4<@U/R|ntjߢ|91"ꝇt8q0'-oq?bH9~. K S+N}_& K#j̗߫0}t= )!#S͊ז$WY Fu,cPEe:M&Ka@,cn v'MiBkn"ZHgDev[["{xf!ztr@`|T=H -E/:+ 54g@P8z+ La I) s /|Doɽu<kp[i@&֎|'QE&N]mGb3| m#HPUzD5EcSo.si$f|0Z-npA_찒P\ʚ: A?}W= \I67ZB7YH;LITt^1Vv2dIGJJO "\*;M9KXte yJ! }3} _7 ib}{۹S S` p:o}ߚ/M+^9[ (\EkW!2.Т x'^PÔ !?PNzh? !lfy]/TKN"sAB7阴&H-[SiIEFUy\gy8WT/ ‹F7D|tنr(^knk`W8yְB*I1H{hF[iP4(̌Jem Iva9wMdw:C~ii/cőPIFNR_g2Q8ra:C/R]QKң,h/@ᎪdɰNt+ycR10 JуbKnogW(;2t"g;^>˅/ı+;qM΄68Rn1wYӨ:P}oސ߱eEpm4߮M5CF=.R/ŇhD7'_Y_jAmiަ\u]d6#;;(-p$86 t6*8XA)gC.A#-{'yY-g dw$(3#2yQ;iGp}j~N{ݭ TVvT5ObsjG?C!њKiy y7v^aRGK9!UUD0pF^g6@-ɑ հVq+s(`Ă6lw` js '׉0K*E=o;<:?WCS"k;ձ>mf-4.T ]ʽ '̧\t}8)\wIzLC(4]l͗00"=K$wdgaC/tܳE-g:;I-fsc!J+d J$ZR~AN'491q ^-Wà֔֡)zTp4udj?ove D̸R$#y݊-_Gta^mj-13 ]j[4"Һ.?7DrH8GZiU<>KwU)6vb  Nz𒥸7@U-wѴe; a.k(*hz7雮"!մc'Ffq"bkw 툍_F֎^̻ͅ1uO*.(I%TP=VB2!"'SJYqCbqi1c2vN %w8 -\NA=ߤ^yrOf1 V@[x7ٮC6:khѷeQHnAgl$BP vZF_F ?# QL؞SٟJi T#twJQS%{u pnbb! wO]dr 2R;1UPQpD̟\OVl<҃ڋ %qo!=]n;JhT{(W߳X Ujdu<"+WC'Cmʝ̐/V Kh.2vvUÃguM۟S[7ݨ揽 `3&-!z$eaitJ-PT$4G!GBZ2]; o@_sXm<y !1oe7\FUj}r˪\7UMo0X{4YFղh&]@чMUjQ_( ~OT` %SlkmOx}k|i8Iֿw!b08r ׅ*mAȺlȵA*;N$,$Kx53ّj!UWk/?1uR5 1r@E p<|g6;]҉wЫ)7+3)_5&߼o # f64':&.9MgbY˩.Ь&)hsmOִͦް*,ڇRG1v`<%cRt75|.~'ĢQN )KBsrgH`ס)Ro>[N'gͩCP#ea0 ``HI̮^;֟L""m>!C7D "Ϳ?߆`'t@~W.vslOY_4([l U4k{&Lx5o[3Pt>VR97;:o& giՅ͓).Ip0ʷ#PqGd *N_>&X(ch`O7OK.+d3W kw_~wa_=juL ξY68QBd]6YO.p 5އH;"G h֊s^|K u¶a#tkSL;@uk͚w\JyUz՗ͤ{.n/}Kmѩ#6VyZP~]bgUtI}rt!yqr\$!y50}m&ࠗ,@:)֖u&E2+vdBk4Wawk 7دRymQ< 玉"o)ϝƒKjJUN1=#{Bh҆`JSk1S 7 G~ 9iͼagL(\4H Fr*'~{":z..a_a%\VO>LٺpCt}^3DY)^ a9u{ ePeOq"E;f#P0\F{~~Uu) كqC&g,׺Nݚ[<[Qt}s=KPf|;p~0`ŤOҀiJiH0P|^e~H!_$=zЇͮ*x|_E˫h,[7'2-ӹ_ =4C[_TN+8Soo4SL~9=%=L0sQCe֬ChΫ[36qsf:,]9ޮȴ:֧HUbWZF9C]'o\O im[hTP/y_+@uWpl 2%%긗qG)h)MI"w욆D1aOh5Ue -zql_ì#(0'ِpww=eN\cĺ[F@%+ :VcB,~`˭d.tx+(),͔a҆{?ULm'ܣlBtvq}5L$Qcl(<=StSP"!@Xe;J?#{)F%-dZCN>w՝oc =` {2]]I}/ q"*fݪ/+p2**gf"cϛ0~}Ħ4/-cL<+ЊF޷X_@R$9vOo΍)~0 Ȟ?B Ē/!z +0"A$PXAwA&y[?"9FǵB(˿TCd5]x㟷dmPu'Xx gŷ|aNϠ{'H;&OLy oj؃R®t)iaΜ=D|nGs-i#9i5bZLZZ @.Soe\x~%Q)țM Lv2ޥYc0 >k2[ҝtBCRe*P@U ]1ϝk }2j=s<ZA]o4rХhYpfįáx_Qjs."C7R$vl+{^ 4FZ/*ܦ2> ^\oL5Z[-ɂV'jq͐ -N#]݃Xv#L0+ m¦YH;c_c=%ǧA5W^&8ssbT?w%NtTWÌE JTܓng)^Y(lla@H&l_BQ\/!Z!谀Db~i!OithK.%U08<spH % 4 Q8=v鸩v+/ֳ3դCynH 62˭}!hZߔ @HEo1Sa)ޏ'6 \Xgɕ}W &W$|_&/rj>%&QIR[MDݭLXƧ溷i%a.IpxJMq[N[mYDu"E%msT - xvU't "ʸQVlub='< 7Z=_Vq:Ezق*{r,K=d@gfRX(U\_w'sO NM|!'Rzplsk0-.A o_U.S2g"2B%$q,w%&xמ¾9(hg6Z[΂2m[>K ʚ#Tv:O8Sя/Gu"b~23uAum"h]Vz?{|&vCP6nۦH͍_7[8mA;p_U9A?1JypZGtttjZ̴xj.Ϥ崏ﹶh]͉g3}xO\:!4vM|Ly'Fޔj!E8eʖ}$ى~4c>!v0NdN{RsaF6en&f0*KRXWx` 8H:WweaycHs\2NQsk^X8j OiɔI F5j`3 f7o25tp+Q<& :`O.9eBexʓNŬͮ[ͳRV&Oa@F:a:'1U!}'X_s}If~DKnV2)ky _=bggF|q8JvAOL@{D  5rE= ( kMR?qКؕeɇ\aҩE*S3%ߤX^>F8T2$g6tkYD WB6]o[8j񥖋"q, `q{sߐ0k=8A +Xhts>&~f;YJ&LiDYĠ[L}sP>bbd/b7N&K[ބw4ax]:x6uxtn/L?çbjR6gYN{ ijwCRl $ŧ V%Q;)+D/^N^ɰ9[T ;D$ۍ*HrR h _ Ÿ;gPPS DTK/y&+Q",,6_5Y&) CaU GkeOZ[D~?Rya7wI\~\uF:)Fy.S V̂8_6.y](aA#R-NJ 'ok >AL-M:ml%pɓhj"h{OP(<[!h%=< g~ R?)ʾQN{nFa X]Aa:T\ rݛj택g!oDCA\Mܸ3 _y ~.X-8ՠjmdHR*=߇| *$L^FF< D^1-I§Hެ|ŭ?X`) ڭ\Hj S&%KCUiODTTDD]G\َ9_,Ai}]~l*j) 1Cpձg#kc|d㓿38jp^<-l '>vu1oC+^eFW+J/@𵒌} 2邹{:tʵC)(WZC2(ݎiyiJhS)I;|?WtM3GƏ;H3^0<`| . bp/TaE`|J0 LWMXal%g~9+Ē94o3Ẏ}ȟ\s W P\M98+[k8+rԴ襌F#ua M=SwfsybY>&77y3n4d5]u$%Z Tbc*@M'en%\@K RXY)n}XTңDʢ"x2=RijVFA 5]­ʡO!ы?11YY01sby:7AX7u1E5LzDHyNMv#v뒞oW㯆tq7l2rWbf+ |i3\af`AمzկL;B:©[ /0"Da#_[lU&@ .Xǰj:eW~Zk7ԆxfGN } Q!&Fhx"@RgN;ӾAV˩ `B pxL^ú|8nɴ-f7}&-C#[9 ʔɝ4* ,pdu7Es77v>}A >D Ԣ :|ԃp6P6MA C`PH %ތiB`}VXs*ܑgC< ? V}NHF#%ECrW<|j+cax`$ܬZu߁ysZ+tK=-x85tFg[-#vD7ux{HVV@\:!s( nT#mޗfkӍ3hWABMCQ^Ljn32~XX{BsiN]-xEl ̼b@;7 }.5MF~+X.\l y^eK0C~#ǟ.-REOddX 0*+ߝ˅iS33FǝR CJY>j0YdG{kp!JuiDAZF ,l@j,gФ2QQx#nIrʄbdfkMNc\ Y<:Q44řҾ]n` 9:c6#~-c"Tlo4f,rukLQ ~Ԧ 4!bt,st):N|qX+cɋCd$(@iFAq^zk0_]m̗%ىmI=Pf >"X#Gz-X o* )d \*TC%! @;=SO7%i-<@7xC\ոuN~"t?)ޑgNrIB(jy(Rvle~5NXX|Mñe8>m")/qDBܞ=>N3}dUT`(s?/p&ZњEg=[+qXKo$[<[Qt؈7go]L@][rZlͻJi-\H"H=uӧ`#K Sk~DQ)mD!aNWʹt\ fDBY[ֺ06l'N|$R1|Tz8J>fٰP2# 1ު>ԏ2aU: a*aO<<֪JԀqk{.z2 y3mz=0gUNMP(4jV˕&^f 0,ۙV5^E{ 'ȖD`>ÂVWJ06*$ NO)I%64B 2_5 ĉ;pVPt\ۘr b -~Zz2\kn$Ym`CcGeƠ't[nSg[u3_jC^89,M/_Zmg٫Yy LN@a> `vKI!f~P'kM4o>^֥6EU^XnUp9 7)l"\M:B, gttp$)>g(!)^:JnXjj#S)cjXy;D;VAǫzlw3-r˩(m`LPMx.9@:h_NM`AuAj]2'ͩx1KWͤ+&a!x,RJ 4  9_F\@dV;C咕 \'[ sB&̖󊂵?%AWʝf,Yq}Lg2u>Zs5 Hqo]M|ǫfo+9-I[+9㍜Ab9>%R0+`!7rH:bܢlтZV.BOk^8u۽8naH!.{2x\sR>%>aR` 3TjOzV6$qTw*;EAQ yY9R0c¨9d0؜*?كw֍7$n,zKU42k C|KDHSB= 0 _qT.[-" +%g Nq((Sr+[+^TyZDa$%sژOUHuR5:)dQCⅥs'+o~oD=7!W<F:02 Ѧ鱭t[*]~&2G |_ClT_3 ?^dOԀR _R\3K}4b5/ηhY #"P_@қl>v"o~{vRY0I&N=ЛzL?b_j;f?_9z= 8yEi=x膻6cF':g8"k>~ 3¶8ʹW*-Ě3 R r njuTxWƏom[~ RG(:mL4/|Wu^0:E=&naŨt:}!tOVĴ]d G Qrqw ]UظU4@` ~E Lg6S/MK=X.dy}%+4Svr$R'q>,:0$@,XwNA=ξ@W qd|dYpZG0*u(p>!'xߋ}w01& 6*lC3ny:%E"%+8Hr'M݀bHtbIG3>A<tzV`9т b ak!H^ f尖A^0[*']G+,{kfe~O'/g^)G,;dvlpbsbsfG5 8kzJ@  rs:P:*ROM"aLn&sW" >L&8~Bܬ}nt_s^ ]翣`=m(sb_M"x˂\CtDHE?h}{HV&Iԯof0HC',";?({P+;32|,?h3=e=8JE,G)8kbFd KpHdykh*3zutF)Jс` 3곩ſ^Y "$mHr0-YGFz;|Fn#.S#=Uok!!N*6cGBgwzJ X:Io .⟷X, _5ζjiX+\N8͉qa "qd(y32S{—[Yl;'o(d`:9\F 5 obK\gwٜNdQ-~9L0:dYt"U';F@at ɵ c8Ԡ!VdBRy{[tTgOHa~PTs_`9ٵ&6lep B[cI6X|߻,6nMY. .v=_l٦G /";G؞tRrӫR- qBgd2vn$ N E| +u,\6WģWv8^^x>̀\DKFw)RA\Hq@is•'XIq,'u=7<&}8򇳧*mʵ6Ok46E%Ȃ}PdRYt >`Y)V4 AA犏N 74@z]L1]6_&9udS4uyH a%m֨|A2m#s;:PKokU( "CjlILS yy ha5z!#16Yu}$jLMRy$7` ?sH(73i&̬R[#K]o0dL?YvqR:Nv1"1X"Shrt4ƴhr=vÊ 5rZ&8*[$wX /yt d61< S^jcRlG(|ٝܗ{߯>dXOKFM뽕R xٳ|9t^]9M;gOLA. C* l2G|3v `]\,)c=J%v(ܥ69Gw##RfiG+ϩg4{эHZwdREWHFu-[+y?pԤwPD<.Ъ!Dr1[B,T9Vp놜5 ;9lN~`[_~ӹ&pK;E-Q0dα;zӚF-SZ_J;d'ZXxL#JVk J>nj[2-֮Or iopT78r~O9"Od`pUX'×)Tcv`TCJxϳ:s簫@}@\E4c . J)ӵO<,)k<Û@qvMmƖksb$aN<suuھQT*b s@0z9zu zغAˈ Mf0 Ahr6Ԓ=[D9@Tw a-Uy hgfE!7Cf2tDAjLDI BKJ|MGuAیI rUC.Q`VgN0C2CV\zxYC~We⊎җGPZX^\qA8{5`ẅdXbi\hNgahpsO2*x(f0zYyoacL 6P8{ u2%Bc6^ x?daTzgŖƇgjn!n>s; 8ώu|Rթ(uM6އ/e'h!a9Ԉ1t,FoLq͹oæ[{m`w#0C \!zҿ_t;׼_sd[FFa~x1l;l XL7GWG&!>?:Ka6 5uIÿ&ũQi'zN"m4t? XS͎2 2Qz̟~ 8$`K@0# VpW7* ::h#7quM(|䵱H\U F"9@ ?嫬fjvPۉ& 2 n@ ]I"E˼ W%` "8s'+\#̠Ihɤ7b́([VvV6wbYUcl*u'StfP_5Sbaה ݬPTyReZk 6EWk#rgsHG^ˍq@}BYo w-.x!v`D'L`mdTUMeؑA7˝\iOG9K;a <`ŷG,'%w76ƕyQKkA(B,i "gpf+C^Γ)ԑ%ص5T?m߭rmFCKuhH"fk{F򏾿F%eƕǒmoJNbp6eR buX٫ D\|Kݭp W?3]YTAw2zz~l@*1`sMSߒ\-6ÄnKO 6YUM߿^ϿBF^ԦУat\s>BiN*2/r:eiB OƋC͓@O;tG >v\3dʤp/,I>$XnDk0|Xj@aӜ=o$үd+];BʱǎYO?hTR(F %Xpq$>oCЅf|oz+f#uWݑ?#i#}|lAg%-\xDQ[wUk EGxoـdUޯ&>Fzʡ.QB(nlUkoD5rԧb*OA9WqcnL( ȀP*p \3?*{.@}+NM43z`J9$9t\O'gCT]% 3O"gIړj^V.0`rZ,WNpWS,a8d L W/T:__>Z4AuP2aR?/lh)_T| r(d۹(/]1v8}/*&_M[/H0=gi?epD->sX^ƶIXwѢ:}x 0E {ױySA8RFtF|L;ġ4&HoP a 192sDJ'7YN.wQ 6Y$T(־܋jXE4T a.O} sAktNWHZ>@`G Y5Jq "ʓ Dcp;D[8_g<̭aDߑN*d̿>"JUMiL}aqv-rbb ZJTn3Y\8&pNcLTrj+l:)DG.i6z)>2؏7}p 5ީо"27&NQzѳúׁV{(w`/~XңBr,hb;Ĥp4J%2>{/tB`O{ pbxN^ dإQ]67hc:ۃ7VV́=5/lޢ^x/:f%X뫘rg(7V y )[AH?Y.Vt&7WwRYĻGMap2*VBK$I+DܻXIw}i@ڞA)KY.NV?K-nwT O"Եp^-A)B6p۶]u^WvS#YўT"3t@ӺV<N s]F~֎0$OoWRqV2\N/J7д}XτaYQ۠kXP<'ffvP|-UnmYz :Bȣ#0lP GMԾ*Cnb'`z !Xl Nd1C3*p o9HnӋ@/gb3qzUQbpK6xuu>cn }#"O${j~@A”qj9QQy:?6~TgnAe!$)A@ ~ײ?C"I2J2S+kA!"Ԃ(L-<"W sA^T]ևjJI;^$Wg1Qf]XQU2_{Ly6Ph>!;7"o& 56B_l[(:\msV8nWˬ>He&^mH{+؜n[̑FddeVN-y t(9c(=bsnsPxָ͆z;0V]b*i{ y5A]_z8%]g&uĹQL"_g!<"4&by}i r wSpvEOtbC6*@p[w4 A=ެ{8gK`D( U?0 AЩ*h%9sMS1*&kcóS 8`HWVc],E44q#B(2X?IԟG#,*6p]ErszNN\&fQBq쀧aeb,?U_a O2aHUp@(vtIո AѶb;>w^BJZ&eԭjT:E+B5WbHi{rU$" YAn xifp]~k*85P{dV-,U5ҫ5 $ I $O1OEqԱ)dʝ;pr;Ոl0˫sVP~xTNAz{%p@-AG{0sgH'D op+BC\5(R׉MZځH"kb(h*o$|s}͆R@Yu21z'禵\$ n{z[{?&?*BS )ZMۦ6G=W'0 2I+uJr뚿RzH4+gZpP g^^efS|{}rI_:l:&qyMQ63 TETXՔ;;,v!cհ-` Eڟx8=8PCP`B?}AT$\8plq$h̫l~z%zSr$&_z ѹ^X8іMj2Sü1sgޛfzf|l;JH E/FEaisOHh/СMu} ᄌ|,M] ʿF"HuR'8Zr߸(4t\fʥӋ=[WbHe &kО:+3EhǺLJ jD^Oow63CW0J9[4P<+0$`/ ,f^ƂnY"ph鳗+<"rB>0mZim Ċ%a ^up9쒡2 V Tb'-tn"ܑ܀4NL|/0 {0K>eLДNn87EFGB9 c߯0z*]xpN?aQ/, xuQ G:oE?+ԟu 4a(!'Io:myZ:w#1C&@E~=Zng̡VI5\VRBu,0½TDP-dD#qG+.:/gԚ.O&AB?_YY6+=il6<Hq34VwV;B6ocԌj7?GWI#~I:}^ͅ=:ْ, .>B'HK!U_>9QSHs)6&Ver$i 9l7eٜyG EKv&ZzN~4C>#x7ɲڵ9d [h~y) Gl7*28Nv[+F۔M&HSD)DGvnA޸wgX m mናx$ՄQ?Zͽޯݩ_Ah'[[Οx6J>P+f:/ 4UQgC9aĢFj)KP4ȩoNͣ'p;*|LIW>?d7uM_ 7*蠖`Hp4KZ $MF}MZ{c!)B#^ٷrsA'{xHr/sh$l>w7 UNs۾5i(<.xN"Ka^+omd[*0* t6S #fH}2Z$c<ʪaL 4> CP2V,%> ^"l-#nd}>4WlF[xf .Dxbe$t8A2Z(V-4k䤛r'JYAP$M~a..TndO:Ij9``\4_[1MOqRE(침'Q B!&3d"=Tޖ)Ap~bZ .3d6Ǝ+[0(SDSU=5:eJ K0-At߅\k! ~32µ31Q_ugR5'kUN{ô(6~ <jD'؞d1e \Ju ** H{[sWw~vJ=o\bbR!v#|uOs8obX X Ov*yF\ :N*&*Jb$B?A҄)%k͛ /p#0 %zZ[,Kys,B<$Bl\/dowb f'$z5֔1/d\ȇ?e~g „7oYܮ4[k+ݽݏf́+P|UOS@4A 8_/SH1y|a&h9E摙sW7Lݶ_#^ftw:>V56Vk͑dg5qsrģ2Ynp?@wJ, Ybq#OH)2+W CB6Ӱx>KlYp!c1l`ݩo1βB<\C=u#.ÅbǤ-9DܗEݣX P/9xVCdD)A7XZ r_&}JQζ,zZ(*I9ܺXygmFDdXWE e^ݠ d*Wٯ1p4Ґ+ײNgӾ?3kϭ5ĐŖ &#4]iݘC,:ǟd]-6Du6B&tx繨aQo -:▇VK)|J߀pzeu0_(aYG :/m(R Ze'~N1&v40kXX1Rf;%k5oϋ,.G<.9{_#3nA?io%njUH.cx J_ һK R}L )F *tF(Y4}lW3tǕvbu4xg~^VoIs/n5XzB h6X]}"3^Y)~,W9k!%M_"`p\\P(_Y(P_hṚrSVA'"ݦϛRG1S` ^t^3!fM>*z@Ҭa!š[Ys%N7fQO (܈HH<N0z?όcoNRBob{ ^=˴V}d,\f3^;}Q͊`>IA7x=_#<0KњC"j[bᇟ+/Rh}w,:" '_%^OMs #]$eh߭4!`۵ok`5h.i"G'=ijhH?yr]E0/U^Q`KǶpX=0,H>!x]6G0jLU^u2;t&[,Ȱ;jiL/ԻtP@9>*h]=C/?[ݸ%w2 g2h.YJ_u_Lwkf"bEᢹ@0uuVCeQ#Xaa")p8~fHM ^̴(xBګ~/Gƶ&"n,rn1.aҞ7I$q"428^HigPNsg/[lS{ডy _k 61Cz?5V8(~(H2ԟorbXv \'9)>#{9~({b!'?~q2pI@ x-F炢鎱"$„^Q-U"y=ڔ*?c,PUwZN6—!zƒӎj:ޝy4?PưY2+j\-7č-x%Sֶt% .65K~kS9Ik,UDFxbiIdj1>FVԣ8N $\uU./ ieN]'jaKXO^ӛKl gxF5rOs"s_),̲2 mI'9\F۱hJwH#:_zZO'Dcϐ8 ,P{=4E o\be61'`bUdhLޅ/ 5ҞǛ+ "bťnql.SFM z%9K+0ZśS0bIo)j>KqNGtTVHGn©wº@Rb:5;d0\N| 5:U1j![8z`x/]{F؞+C̊ OȽ:ի?lc 8ҧѮТYv{Uh1߲};_ӽ}F25mL$YREߥQA6 -aL׵[ @7C*;`1Ƅ[NPYL4p_צ8I@Fw I}hb:7;g1dջȵ֦g!̋E (TJmBNSR1mTVK::M}mЙZ{:mv5D0D dUb pC nnOI*pZENfΓh{`E@0?lM.Oe {#&P[[QBeΐ+>@_|5\jrAS%=;)Jbp :D3䄃*5RGBA͗R63Ӈ`q([ ,VRGnhwy<¾-^[/#gcXd˕q. ߂ Al0H-a%CNB EHS,~檪Rv Uǩ hq{*52&Ŀ6@%8:Ԩ*ۙyw“JLUV|va *rdzHw5M4< ;׀v6G"$Ӏmh[&˴hsb g-Jw9"CUnҙwR!)F%Qf/Dxq9 AHmuZ5-&rUI4Qn0jG{U|$mt!EgyklWڌ*=={\,oqYTu=zA'!/I=hQ Dv JV4@ՔFxXͮWjǹ Ǥ_G#(G.Y:ʣz8:&{`l.9]?MFWsŀSnV ֗-SB|{YI{MMUp3k:֓j:(Lc0P*tF͉P؍%avW/D4N%-(hRC(a23ˢHCt2ՒI<ʡ!7;JuM&|tY3(>}/V(žEoi׍G (i5\˟OH qrqnީI1D]nڽY{/ŲKjTv{v&}t,Ѯ?2n.P<uׇz:|G4.ZEm&>$by%aNN J-ʲŪodR1(4<}AN"Eg69Ʉ+,F'}UhKG t#iV\:&9c3G*M6ciicrT!ZX=*nr ú) `6{!Zr?ΝX& ߧ& Wz;qN` *;y'0=+TT{.޵FK~MӃ{dGAăz4g5  UC.ULQk9vzhI:^*`+n5l|(`'ɩuXi`m7046,΍OwQG%(JXtz@`TE=; 1 WXZ.I*;4Dc/v*Fs%~剑7Ax1M=³xF9ë ':n!  !1zZ{*}iaxCc큂^ {C ʷ'^%S4[<.AUiek]$?νs|Yם ѭ/͚~r/WjhcoK\%+r9H(T6F??)/*KgYZ635a4497cb09eea9cdd0a22951b00b5f138f90753853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f c49e6faddd3ca69721dfd04cf6bf663c241612d9