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  i5~TD\ ] HOL-Nominal-Examples:threads=6elapsed=254.004cpu=1208.012gc=112.1327zXZִF! Ι"a]ŗXiɟH)0!h]?W ߹ĭ˱_Eq8Fp7 6>FL:=B+ PbuM{* jA!|?^ [z4(V ?-Osg\5O0ak2oȴϯh= B0\kcAmֱKA=J_9Ԩ n:J>~ 'vFn4q Ѱd{lׄym)3?fAߚ >hB}KH 88Ülr"8OO iQaůFsLr]KF+"M qL ;r/fn[j963֛ZSN} Ex|B|tI*(@=h?MbO܇ X+{fR~YeiQMsG-DX/եCҵ{o=AF}5GV>K鍺i; @"n=@؃3؉{;翫4Dӓbl$&9 ר5mc>&zh WX<\rJ2G5a"KҳkV/x;-Ug}F'+/}HaQeLGIIˋ(%Oq8t$W˝t0Ja,hgI,.5xXs11^%UC^ɩj$7fqLlC+Wrft =a7R"u ߒ. "z nr]IU*:=4Ӡ8 (DY&2)pjsdƸ,'͜F߸ =!3*UY>5^l8gylYo?(lfF<"uHBzb=:\Ŕ3_EŸ9r?-cwu3@>8i\`лII_Ԉ61;b*zb70 kH"|AW9\)RS |v v;T*:- w_Wƫw()N̟!j]^[<@ g-$יNPݪ|BSr2;!^߮κ`C 66rz(54v*hY~<نFW V ]DOnJ4v++/ƚlzCd] t5Ǽ ̓9H &>0YDFHԿX8@D, '`~9aRѸKƖrD goQ[vKwۮş#{h㖾gc> G[ɑCmtiL6bգ4Wp׮c?Gz'i339mn _ФYLĕ($Hf>sD],.4JREz>`hP?kxクrGb9†ۨB)8'_5–T׼F?^Hc, jOzXRlgZ%*Kgp[' 00-Q۟MA:Nu08.xݢ29K f\G=B~'4"YӚPQg{PwyOe)T;9; JVw^J53zR@6ZfZ6 LQ KЯOJw\R]?dg&/@Gjr5zlk;}O}Bn(PJn~g{/Ze=iBcFU(4Kݐ m\, czbiqɛT>H2hDsR`oǭT٭r5qTaH&~.%qUփg#!.N~ to8c]ќ hןNʲa$GRwk! `Me+GwM9ZSqYچD#Fũ~*W60.L";M+ ŊQm2Fm>]t4v*뿖8XjHK '.${W)ƆC$fo(ýU(N.ŷ.ˣNPn=H8Z {m,F9ف Dc \:Z $Qa@ hIeE,XkD5+ĮD)P.j1c͍.)#yG-:D˱iv U5?87 ~0e5ä1eDsĥ{"{W{&h\t VdDO0_J~a1J{f |8SY!|st.Mrpy=;Q?fԂ0ڊDA>m=gP.Oqą׀'f,:a:Σ.72Kx70g_ntrH&mM><ʩiq޴I Y[sJ'f6U:ysRX{{" _^7gL{KOlrMe(Sw*mGV,S8Y_}{xzځ[8kE9vKk{@{q;++ =_֢E)+vu;>@f)b#40Hb$vpTZQ¼@ңĆOkRnsy,wVLeD&uIi{0F>C}KucWT/OՋ >s+{n?D{qHw8R;͎n8/>S#D8]xD6n~_QyҒJ >^{:]g-?ۜIo+-@\V 8|UD'6^y=ckU溋7Bki[Gn'e'X!L@:l:vʿ]|vT^(@eY5/oqs\ ntӶ!W4lCacg%zm[)l ؀ש;L͆ݾ.$`G}A@&I_Lrߕje깓 _]"|1ֺYE!o*]Bq1u|p~rC CO $uG] #O\;yQ6`aذ$0bAQӎ]mlGa\9MV0&tbM[7s18ZwhG2BhfUˊ F.t3foYK<+˰Y.\(9 +}l#/LfoLWK+_TCt>:.ee|h_sX=`pVTOyF/@!0Lf㞽0<\yˬSp. jJ<]#ļ7MӼ}<@lf7y{+Ҙ='9": 15k?ۚBZ0/̵s7$~C0,O(zUdR(Śsm&j#A2;dQ~t;vb>R[T5(-O]"E ri!2diȥ;($<:wI/\+NLPNJ!]3!Δ!?T';/:n|xx=c}<*$BpS~ GC*"@IHWC6uHpZ:d_já712ccUf:qP8(>!܉l[_h`%*d"%gYr[(~h$(\|ǎfe'HcܡhzFk}‘4zG[Јf]6O)ʴRa tniCK^E58vSS='6X?}e0Lme\c}Z.7B _q+B̦Z(͚gI8*[{/(B\ iwXY0rА/q !;M\ݯj|>:xIυh*YWĈt zR8im=* Iv[2ZⒹpII:4aU tDֱm`b{97=lK/vAel<5< P`|'Ru|1(aMg "?="^UYtK-T5!S:d}ocYi{J&ݒ\!VQV1JFm"?MRwoS!V8qhFoy 0Ťe_t ioE0Bo 5= [}?˻ B] rdSagq.7|햿K_n%VWlRK|I%'P:QX%l=VtXiUH|&8Tjl4Q*-L@)->E\zBF"yǚh~,bY9!q(&$݇uI)`teA敶Q`A<yR>6yUSj44cH&';S+#OEZ8%@&RI&  `B=3ՠadc3[=wbqb,Uj~;^pL +iiect⠱ls0KO-0<(lglPod T~!W#VabmvZ*'9c1V;GVX;^sƉnȬ͜ʬsrVY.X)«lB,e=@--W1J8ۡNr8M;[_LO"b34/y)Nz~»^ʶrЍ1U /: tJsc YNb;B)c]Z -G[p( 9݄h!UlYO!7=cLdleSvB&4_3y8Z\!l)pP ͮl[/j:,Lt[v8tG{J^ra Xy99̽T 0fq.{i!JXpҏOh 2R 8l Yiĭ 87\#R ht\${6Y?Nr3&9y6;}(,WA_ <Jׂ|FlĄ!|J3gsRwS#]h^wCԉt'$%2OnVߐ%|6VcVwOBَ㈍*x!70=e3ov2py-6-cXwEQQ+(҂ݨئ<O- L9ϡ'*7"B8C!C{JJOhĨ {KPWeo[b$c!DBz($=߼nƯLQ}&霮 Jp婽9?]Ѡ8QEU[=l~y{83 6_TM+8Z,hI6ى^D%GHgVK V.A\aЧr۠dvu Oqp3LU '"vLjfτ'q:w>fz?b {udG Ԋ$xY vx>N?HxƝ{}nZ@XHz5q+¹[xKBu&Yˈ!>c/ quOd+%cW3iP;sbdj 6nV Z zpWC gEix"pǕ9|!6 ]|0iT)4H2Zm@?2sHB`2\{%={!Y)zd'[ubՂ?|x _XqŽJz#-]dYD5f>++P5[WB.g}ViY*_~{Y[tGO&sTO{AL'=BYlijkw8HK3cT~ȞhM Iw}L1io(E1{k2@xW=FA:yhB;B鮬8(,ǚ+T)\`V?POܾx.4(|t8E䙱.\.Aܕ!H0BY!5H&Z ] 3!&KoS+ 'GVQ?ue{KF'N;|uv4frN0Zh}J҈%M!f鍻amƘA>l:+B/չQ ^ٟZgş(eWy!e]t9x [ip-̅=(@^?p"+c鋥EԟdDrKTRjؑޠwjGj{le=9|3OVy=z7Xrd)a+ 5 }v5 t,-H.u bN$G:+΄ʺ5<%kGy-BϧH|qjWXqiT1s}BmWL\ i>{k* }_DzpY~y!" Wj"T+ |!=d`&oWHu~h$l&"\I`AgYZ7zXZִF! 䳶\]ŗXi%L(hW9OzF0^8C O  æ`vQ|Hm)'!O+wbile@up{H >,VS(h=^Y$YtU@]ۖv¥j&qϪˌ:lm S ܜ`W h iŪQ't `oq8U3Bž%qng/G;z3e@DA@(q- G-5^sQ;J0 эWM#1[YQ",5cNk8,WPm! @Xd}ynHTҸU0Pi4HќnDZQ轹9=<OPIg"P~4[}riیJ0^]QA%H=#F#,Ы'HMkJ))澃{s0(,j]c; 6)~xvq̣z5iD0>"d1ExMf4UX Og%a[ӿZrLT4*oons|HU~yt&jTa A̪r~Ã6D5d8R &3X4ccHhн?eFY]%\xRў [a S+9*=S\4WYw L%rLD7%8t2{*! h})`)K\j=f#ҥ{?ܴ].z |L>AFȊjsΣm:6c䶘P&<e^GNV< ~|^,r*[SL^,[sB/$:o u4M'=W%<"WՑ5ĸG]6k#_+/*}Ri֖sr1ʥ,Tֽ<,ts˒]y5&ZjÂ~CF(±G)GQ]#/Gp81|Dz@)vp#Cp;h $,6^zS]/^x0=&/@H}SԌ/boU'JJ"# ҡAn*> kѸY%0|#Lw%0'ՆZ!ASZ$PRu*mqm;U]z`N1DrԚֹά[t ʅc"[ZUw Z8ژ{̎o1m;5=68{\@FQ]Pɍ6oͨfO>+X=ҾZu+$[*ȼl^e_%dC|X^+,vt$ym?Ge+?@"pC2ŇpKn D;_ M7UՆ̡POi߸1* xNF3۩s텴u; {EMΕ/[e M#sݻhuPr6k?r`f'k#C=B̽~qw[|&1#I'Gva/ MFqx<͸mԷ^YU\lpm.s8D"JO3}k̈ w\ ۾hνq$2`ۋg&"Vk#ד5 "L6% *s(y.w j]fD^ &yC Ր("U3|OZK P=Vku`@U_pZ 8KDkJ-aLQ EUoV^vMAE^1/!% H$L\$&g/e օȐ.n"hyHc89Nf.+XbpCO c.I kUO7dnڭ-h! ]轤˂bA]$S *foC|+}`k,N3FṁԒ^X|!z{Z "rrX#ZU8 *'9:a`b͌젲'߇_mf笚m8OKL]ь_cƎk a>omB!NКBmk3kU+^8y~!)IT nP",$+")PdfEֹhxObGE_kRagWdj$9 ߁VycJrxaܣ7CMw3J0A0+_o_=oR\dlc%m}w!rgp :]`[2y#kk,ICY%7ryAðRpڕ~}:;3R2Ƀ:ܿacQQuE7@:L#MwkUpj!I/ٍ6%qmmP+ӏnECtyv%?x}xrR{%hyނ6%~8btM7R0_āo8 걼Ls -JpP< FW$F1EcsjKƌآR-Lj.\Yz 5e`.n֘U/ٱ)iQι(f[7L{ `F n@y41BL|S3{ٖvChdhKСl50>j/l!򱸁pΑ IKyM[|wawx{H2-0adݫh{m<^2rIMe+9QB6xzKPЪT]f!G.{񦟺(~Hqr-Sn ML|ÚNg>2,TeYgXj0G.ޑ6&cXV^^81&Q0l'z `SWے8g=xDs4ddWrf(}/`D7ӎͩ|$IKy|d[+.3aԠ<yp_= 5PSxPa@xU <| Ua%A(@ĵ(=HltdټԠitTj4܁0몃6pN0|ĹLF3dý=VdUƳbJal1,vz}貯(_/AӴ|%a=nh[ڲ*TG6ӛkN"L~֒X+zA5;nqػVgY 1+.ި)dHr^z&9M|Z>Q kM_w|̀!^Ip3/g ho>j;y^6XZ㬒@5G$we/&_!)Pi17G7z>i U˚ ϼ ]6zEIWvjx B 6)08#-q}s<^ Ix`P3p܀oG QakɷX-т 'GʔrWLÜD9Y\dށ#*14Mʑȴ/q-_X;mz;׶<*Uo,t}CiYC$Գ(-vIu=-b-4gDcґmV85k#Cn۰ Q<[농Z/c͹"6=Qv5/xsenFjLbTsƣs0 [δLͽ Mʑġ73 IABUmmF9"57?伜.j|c9Vp5N䧀(r'>ͦD)rK 2%5T{' D8QEp7)2{'%y3/s2"+JFz&8fOTÐQCxfѨQ4ł eTtt%}?Qek͖l)[m(/ x+ӷ91x\r~ę 1 ]wTzb/!jąFfRmr&kˮ1̻/un9Z(WoGi#Nu .rcع~qk]: \?6Ʌ&e?)ÆHEptKoWS,xwTulXɓO(P6qNP(2j ӱ-bUD(NL*!YNwܠWhf"Ao>}`dhXNckCu $uk'JP<_/+h}kcr(a#lNYx5!;3/= 5o0iu{0Ex7![`N57`tngQfhGE;< >9t ZwLs)_/ezͺ[kվRh55pU=Sl}!Pl1Pi#q=Ĵ2;nO+nSc^W1{FHnQ{숚hB 0MɆ-%ĥ{'=Dh5z7,|2RANu{ݹVl}OnF6?@52ySQ):qsD ]b-&N:QY@f޹Sxxrr"^(^%r@9ޯnʟAq>ч_?ܧqj 1 RuW$zHNMS Æ8t 6iS! ⴭ{*̞-gtY9''O|9w9p}ɯ R'#Lf&K ok%lpYgi7(d#mM>Q[ ߫?n81LqR@ p!3SlX{''_^U>6%Ť#UU\1P_bl֞)K.LcT f/R8%9L E6CĮbVWWݘcWpqctDY'fsp*q;/́(a8s{^SEipȫ0(rb0a[wЁtNv=AN-$hDFſ"[ŃtZS-u?`9JeX ߒ@'6ָ{ zd@)u/Le<79rW'T%Y-m3{y]t̵KYH"Ȁ IP˞˰e?q.̃% ntRyMi^Xw}$EgXSqƶJ 7nkTWdQw6AQ$|S/lAz(;ܻ{GXMNІ56Ld'.hSlhM5ol6hV#jK;KugL 鴘X=S*6+3\KFl(Wsٓ^8K(QqݛtJS ?sS_$)V=bCO'ܗv!-Irv13x2=:AV_Sccu|}l#!ilRQe0RS0f!*l:!(CcHoT\/Y2@mBrb&p\t/v٦+:nr߾.V7CNΑ~ܛO~h2\I`}`|\7~]rN(#Lyt*ބв24 J,րQ;C*^RX&i d`W:3 -4r dUna*ޝ ~ˋaü^zz|%m#اU..πYQ -`b<[vZ&l+^(e|tc'MӆNuJ!Eq=,D)gIC 8HI#]iVjDD٥{WxhWo._rՑ_Ь+-(5Vo#Վ9ш˿}t+&yPfsO39 ,7rԔC|Z ohuqieFH?mIq *ج{Sji+GzC"ښ ]0`fj>j́Fe-VCG>Ꜳ=LxyR2\2-ƺ؝p1"_gonZ0^ }/ M䗘 AzȈtHXk tL~AGiZ=~q&FJwW(V`탇7>5 ݆Hܸ3+h'HdA {Wv _;I˻eo=i˒d?d.41<w8^?O2[Dg d  0ʳ+fQ PUORb{;G}71_ O,r:?T^1ܡrIE"Ƀ)A}"47=uY`!i!:j((Rb< ^"m˺u 2S~3).8ds'1`Jje1`WL aKNُ4T^0~t͜BՀ1Vy']mMB'm}3 TBCqv̏"rH0^l+7`iGxܜ@֕@S']--xܨHZD M 쒜^LB4 ewzЎUL@ N՞0]0r䅍!ׯ}xK,qEuN7|7Ρt2[ Tj:X eX 3s[[ N{},'vO7p$n*ںJ(qnABNZ(UD ɂaǡ mx\ =#yd 8vH \4¬t=bI$yI&z==#Vpy$RNVL%\>NʜƢ(Ɉ o8+ nRg*@6y!7ʚH+~Y 7H zu 6|eMyLB=R߰'8-gDnoƲѶV"l}&dZ"˸8vr tkvhbX%C&Rl߬۩52g9呫Rsվs:l, AXɅ+]BeJ1EV4L,mZJ@YAUI4]*'O9czp ꌎMw[A|81jaEvږAvbؠd% ~$M6l_;Z\HY7,ZOqȭ'/Y6VFYW\_S$8I`xr ̕.쬈=vhIǒh70(-D܎MUq{k~ܙ'~\?zOZS5d\*66ɝ_J_Mnb8 >jY/a$̂kԕ-} hwg%T0LvI<7Liv j>f{FVoE7wyto9>'.aȕ`e:Dwә0Ihb3="OWN~%!*#m*EyEBݟ0P , w]#AWf ºS| J fr>OlN&$uj@aՄt\lW Ml[=?3SH$AS=DQ3lv>A= YZ,S&/`!F f2%:2 y1 psf p` $fXW{cl%j]rxsUNFq ~w+@d+iN_&OGeG /,^^e*1xd;4h[Uۭ9Je/Iәa [Y"pq=kCf0hC:hQ hiF!Gk}1Q[Zyr^Qi"Cs ]yMTG96]Jg`Z0%V/q3XVz rJg$W 6Wqd2֠2VP|Px| }amljB@ʫC>{tY m.B-} {!8K5\OcYع% G[xeglѮDDT#냢]!^ȏzR]S/>Z; +pRhtq 騕 oo}כH1k&eܳkX=?ccha&n;ONj$ITBxcOj&xfN="o:UP ,ْFA'/lGݣ#YL5B8AfqxAy٭9XPC/2[ޮxxfă8yvk:n_ ?^%M CKRs9è?-[ڥL K-Іm789Q\b#fnn-Qs Z^Q;mH$hyץ&"d۷kTq,N"Qf4[7WeD.݆p ߱>CGU:X~*6Cᱫ'1|j*iv^NUS{\7;v>uO 'z 0 #utiѝ];2'^c3Bܺ,xqJmlʟ LDJ3}ٹ@ό Jfk>+ leqxnvQʄ^䁵\M ƍOR ޡ.Zül-A)6,kwla紃M3$pJ/H>4Β)W߈yxYߌl Gƶ;seB@j,pQa5&{LԐe-詅SzNLJy^jbS5.p܁!r*ejMFc$7dO8n'G2|H.`br`l2˝' -ުԖ3f3c4o0;ۖhc_avԔ" NrH?>i [f$qTéT% nK\rO|o>dAɫ7֬+ %uoU um㞸+SlܙUwz\e׬.Zn4AfXc~?p$$6`phsf!c n9\/پR{GZYIshH_CHdm{" 9!*Rx &tc9 Q ?9 D-$ 27$%8Lur1 -gDXJRŠɇKLpB7PY+ z*XcKH dH-drQs$t\F"ZT0N8s&KvBw",OF@T#YU3j,8w($)A Vdƻ>OUTA1 G Rtv ᔅ~}o\Tgu ޝ~f &M-f txr,]")?>>7NJ7A8UiۑuxSCrKDUIXYZM)#P*:q+>_0ţ}Px%ԥd~}GoP+qp@+cM݌yKZXzBo1X+kˆYSg1LS&w5G?lxYsV]F=X _!\/XGMikH{KE쇨f?m$D JH(F.A#wd0UAS-7$7)n`ܫeKv*?MybM/u~wnb.:OL^솫1HmF*xULZz&G]z'^9 &fh%ȑOwBدr; 0Z)ֳAf<:?-m DT|(lXq vy!vS"ehciR7g/)&5ǖ~ {@ `Ϋ1Y S׏liK2ͼ.g 2v 8m/LVe%FYxTFY!*y]֥#.Va"_e`ּlH'*@(G鏌 x<*R En'$b4g wYSz}߯ 5>_X`xO:C粎1kFqzDMxG-\$5?'10fb 킋ށq1򠩆_|Pzwmdώ}z]~vZ|Ðl)k*~9Y|$sr(|:RFQ[ŒR9VQ"ۡU̅0~? 7\*Zѓ}7qĔb_N42Xbī#wLovGM5<[;AM!% ^Ǥ_vj}QB-0Oy; Oq7>pQ{ ] meE?Go _:S*Lqߏ< 8R]Wx̍Ȳv dD5#P۾n1aZy}:2DlE$\ZCH@1 >_v$@'Ty Eh13XҟegR2X]w#]OkoE$τalɕe i(Ӂ暤>DJ8̀vo5M9`pP ՗rʊ'fF|&GƘ]rsFT7͸B~0[Gz&n89Syz))hzЯ7[#@K']i_p~r㿻:B!o*1 &>pɅ%S#rjw ŗW$Aԝ9=Myk4ZKgE,ifPױey j>}P`-{ge? *JQ.#qօCA]dϣƇ1_ŸeC~}+^{xжqWQg9 f ]W(WЛh%~{Na>kWq2{qmE־Tԗ`zM bzfNnKO,:q8(a@ܶ5:V@ioP)mG-e998thwb"qjn}`"_R,9V w^lX0t"vGW"Ƽ.V^TQa/N)a$bhD) Uy,=-}Q㜐,)2z4W>q5uH3JDBu.Ι*dְç!F$ZKUK̭$ۼ')c `1B x{Bl^tx;M!pZ :aMN,PlzHA/.9~B*\7 z*aƐDR& gs"t~tdb01s *.qu!Q[ ƭJ#|5/ld3R%nqfg?*%Bܶ3Z7i)w2@W\{[r6\dlqig0eX*Ey+" ӦwїP ${Bk*icE]—iY0g*b?բ)bQYfҳ{<;vTf+'4 >S*SpKmǥ]3DQ H6C"!"˝E"K3OʠPfDyS] /(+|8](TMVӶOQ5:_= j|obۙvt=3ڡV)c&2#uClk]vW)qs6y;=$y0Y֕cDP/~~ *1xJI[ py Ӻ* `IY@"F^a%>nO_'?*}3! V(>ځ؎cQbٶm"ϩ\O!`:=kXpՇ!4n{5+iwR% C1 t8wR/)$-%P3{/jIё@B̥lY$t0 h2ѹpL ;VGZ=# n7k[zokh`7֩YG>ٝ\VBT%2cB`މ -ll_X7ZT^FѩCXXk;v[T{d1JJd!(@NF"ҰFO@ރAd\G`ZSvqtی%#Զ(4*.*Uіeo~Kr3qF!xgkc yNG#?do#۾\~' W\R/iT̠}ds'+uuqIf`]Seޗ]BĈ j}Q?z]ƅ%UE:#ȏvӨ9l s-sD !<ќ$.VNOf/wq',Un=OfY_P[ivx DT`0JQd Q$}SbxHQыMT7c2Ғ%2Ix#76yp}.dr$\R) <9o 5?_*= wAK4k>sd߯@FR=0e*P)UE3 $FE9)(PXwG7tF R|*otAvaxk]cC=O)sXF-v7l- @y?ؚhXq3ڦM.vE.IJƮ\uޤ@Rߎ c;&;Y81\a"h@~/TꂤD~`Sw+ЗEѣDPZ}A_MF5N6rbϱc.. F\jlpX.$p#06DhP/rPyo60T O1GHWJa`mDIl9 TۼTZ |Pj@j(dTmv1%],]`n(/z.u]\0b b{O.azF#Fi zTZ@a9Uu->w 1E<]]=C /KsfU]20D7&gթ{ǖ#rluFZޢnJ&dTA#Ld+6*y1YJE̬^oUq0+Mj[\;0y7-0.%f.tl@Kԙٹߕ@`УsV%_2{"ڃ݊++¾g*ĜGhۍjM1sҤ%m*$WL??7 Y >~n#{ Dsba ڿ~+5#|ND=#O|wzA $=y>ͫ"wǁ^a1q™˿t޶I>gl y_ZTv\Քm؛22Q!kI zn?z[zHTQsz=X Gb==Q S)%xšF*aN1;;ܝi"~_Ξ QD5 u ._1!Ԗ׎buDo@ugf\aוͩNpT-df77./{S8`E(ڳVg"B+@!ø-9)sܢ'4Ra8?~cmDaAS{CH="_Y2X0j{1 WI,%g#{eu@EMA1ϐQPQ.eaR2~XYzk㑣F:hCD# n%˕R޵.e~Ԍu ڥ- f9 䡃E?9;(+%i>t{dEX E>+;XDXJu3$|B!]+{,Ué]O wq*}T' E^;9 {ïxr n^@P"9A3 =xh7 nc: ;ʃr؁Yq/j|y3\ qOU ָOB͓aQ|> J&2!TS}\ߨ.fR4L ?l1kC- *Y<7=6}a'C_ey谀>g #VF f< ^'bzUE, =<C6988-B]7h!?<[vO_v@Nyԥ ь<TsIhs㏌ ]YxOv8_Ejx9܅rPBĴxU\G2|br?EepVܫeMF?5{ّBn>v(AmlNpx*\uwq8^>D0Фk\\)D-,FF_,#π؉7weSx ěm:DZ5?lnc+ES@;&TADVk28Y `@Skwôk핞AJa!A[v 1q/ZnuS|czK.E}q6`XtdtXrCdny<Ŗ;P=+rDobQMy^u}2ٵ)j02!H-oܯxpdGy_]?cx|caj$^"YZMUwfrwjlCSt$oy_ZK:Lpb&~[=o܋!iv?Iڬmb tnީYrmq'fDy,_> CywMkhӡ{\@1ptG{S>±0TQOX;] DzC۾f &uv O⥄VV`諨8w#i9_lrammͱ^6H 1ku_YOFm}hg !@ǹ婐y+F{]r15!:)t0T? Sx&%B}x0u\LQ+fu(ýu=ϛE92O\Y@?{t-{0=xg0]Cs-*Xw/Kh 38f35VXRpVWoIpoӘoTVS&rKSyKw xQ c1લOօRp6ͼvqolYFaȟ N<,XJ'~[AٱEMoR<%,]o>a%O7F9;f˻d8S[[[s{Ӛ ӜCH38;Af] d:bkX*&Qf:k FX$jy٧ϴ!0'N*nerI?(f,vc l'zm Ru-h{x},qA'41r{*/r>vb>8)mdQzbr|I;fjRIbi$zdP\M%[{8g w2^\Bj7 $z\v?,pNNRb$R!O{bf-G=ͿJ2F^1/(zj4 ?bMEsi`" EN?qpXlW.s|n>K1&X&N]> ,qݪb_ۙd-'FU頯F J #a|G>Ӌy6P4K@=8dUPYR~Y޳y?) 5C8&)7g/yp/a3 >D?#ծ|޳vsĉ- ՗^$4!BoZ_Ѡ!ZDڸӍf̹nyWؓu_:[|rŤdZI÷-c OtTZ%Y6J8GC٤LuezΡ==ɲ;b9EQEb5A?-$6.R7hQu}ڶs.5It1o{dOg5Ō:FkM>=/A^})^{o-APmqq!!Bq\ݢkF ZBDI&sχJυ(|ˆmwVm^S|cBk7$<:6̱;E#<kWe*VqF;pp0T>JDƊ:֐YkZ*i='[>i L?RO94Q4 hN3?F=^ilZ x9[_ ώ") V(7 B*Z6aXt>伩^)y1~qܶ#[خ!4[] T 7bE2MF'w9vaǿB! hC j}2M\mj'pp ;C r\VbpT9TH11h!ؔn8L%%B# xkv ^+ ?h<'.>ge=FfKI~ WI|SOY δهmvgaGyQ;:?dP!_!2[>bM/CZw:º VفeZzRQ5$1}8I{tȓ?i54ؤ30| e7AdƥO1SN-prԮ-4)dJn 4-{;uHSGclȕwi%R3m&*駡 fgp-ˏse'%/Ӿ#Y/ܜ-NSef:F*6lg >JjT60K| ZQ19#{BxKb!!c}9tU%Ŧh#gxM)F;;L8g.ejk1\7މDnX<0g`V : >a6kxxL^g귓m^_'Bc =ѩP (W5ZaS_8z0o0}BK5)O!D4#55L _skV4%.ckCD#:QULjB!֋Fd/JTj1[D|OYpYcL#MFe<'JN_ 5SɑhZlRQ]+[J B{gĹyαgYZffa359f134ce95f75bd198146366be9c30399073dd4458878f01a34a1b5791d5d83a4c7fde98b709 f992b25f144d396e58a39d8cc82c7030f4bb4c7d 67517e8886b4bfe85180171f017c0ec96e230b0d