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  <D ]S]Slicing:threads=4elapsed=362.218cpu=1164.276gc=13.592factor=3.217zXZִF! ]ŗXf[&R/jhtwA{HJ*nMW3٠{i4>~2q]9amV{%1%MBq_ XhbIFu7'5N7_OrS~IjJBe>wa^|gf>q꾩= _;{P@T l'ȹssU Hrm䈭ީ#// )!Y}G(͘!U1O-Q p! ߿@;zk-tCpy!#%>֌CyLk]WHBI4K3ۭFMʯϯ\,nfs D|SţH6t#:-^ FY"unV=VlC,3./EVlS0%U"*&KE`jrS,Af}gҭPfnϞ3 _K b4Wgٙ_6OZDd ٪+ßًr["$V%ٰo tq<^iMoн[sI傲UݙɆd325Wp>{8B7_fu(g8,ޭ.D#_)6\d@{ \mH|!=6NJ*b qT\*i5Ō:IgV9uԧwN~vE}   Slicing  zYmC0(O^F:B^mXea o'3,4s>O+dNB8<0ɚ!(x%n=@{PdŗrA#Ρ Y4{sL).}oe"xS'T998MS?a[L/z iofa}Xa~6%5Fuqۆ0 UUf?亍U$.oY"Ŗj$Cw e97AgU+֠}Vc~%8יR$tR"zl'@#&akK%(n%z8 v<>I| 癗B_6Gƈ@ IzٯSFfntp\|{ѰK>Lr۵SWUdVȝ3(ӧbYe~E~x)XDàc|"-yuKL1~SM"/Aa*tADVN8$Iמ{צ/]vjx!v7@siv\u%>KA*L4|^ERCgՖcIO)a3;CN~˅Dݘ rE#DN~z@f+3ēƓ4xjєf6XĥLXY_i_%<DM:?zl]$B+#}ѱf>{^ c5sahy~4 C/a6[{‰e!Zqqk0jD83t0q7xw܉9P:O4cʉ4XQltFE<*VG#s'tۡ4%zBgJYNbDu%1ZDs M۬pm"bpFlq7OzB Rs EKFF]ٲcէ$m$,|K Auط^L _K [L-\ ]4o0'ylN.ALv2ۤ9l(|#ˈJ򇖶PB/ S.rNmUx!2]k M >_x;I(97{a- IKj1V鈵qw![%FKvnV`N%NlSP!*bKq5xx)QZHs0e؊'hp FjjSeN.J Ht lEEEᙒnH4-2N݅߾!uVufwy#p꟟p^Wz# ړQ}i$f.ƐDЙE$ %jr6ZY~&Dr2!NyQ$""Hup4e,JO'vo,T4JC,I&g-g Q&,t%n@nUH;L#@궳'QXE uf:[+Q~rfm#~?'%aTnJ3QƟ fvC0ShЋj Dw̼')&!mXYwE}'5kM5H:H!7oo[5߱PQp'ij2ؕ9iʦEuwk[OW(H&b\?@<8gNWС]gۻے X9H } D\ b@kREՌWw30ųVD>Z2`E@N[i+!.z։2_1^qL>i&6;2T5{C\@" W \r>M_1]ySr4s2v BvRF$o>HvlKK%5Q{Kg.a$VYfq6>\0m_;(<ǤX^Zb}Y$ح8Mٚ>U:\sDF4/{􅄞Gk0aGZhnBIŰ+$6cU.,g *O#1v19@O0/f0ɞ?5A0yK=>ZjBa*'{|(eRq??$,r~g Q\2 {i3j\($`Nc3CDY?OOwj43cƑ]#HRIk|FZ^ߛy4ymLJGʦe к/s:[X-GY $wܮD Wئe5IimU"S7 /n+'į)<d/cU 7xYY _ Iz7"Kq<Jߐr}@kd-۶#Jh(.S߃l{VO!?CE@ί 룸f\),7ElGM fQ0耢jd^c8}PthN3b4^T Ґ—!Eo2]*gYZ7zXZִF! 4jH]ŗXi%B}qJv!&-.Xc-F]g ˴imzw9KH'ʇm:?8!lv)þ*keJpEå >ȅ0^e$hgU{t |hW8~ٳ"j+a|I,%c. >+ 4, {mg]C q8 q,s置5rNѺBG0ZmUpgnO2Z{߾>AsMQYP)o0(XOB/Xָ qڤ%"*@L#w2t9V.^ ξyX &At>R,jD\khhW.w9چ\ sT-?!zѕe:n9Tc6; xs[))`N#g|K`sJ&eypSXeNnVs&,Z= ⾇ܨ_ݡ<*RApƧ #kQp ZZH.;?7tӾVT&N-7RuK֌`sa%a׾z'{4Np=K+bx|،F">`R8wO۱̌\Z*u#~~!TKܮot`(+t6oh2s{hׄxNdp˜6rM_ _hl2,K6d\Cv%o\q ~=$*,Ӳ.ZNm|YÚNf] 8:]l8LxNhM@S3zCߘ5v& ʋ8cjuLikɸ'I\r'GcʙPS!p<|q҂BqG.+%Ch!YO}G"KDl[c7{4wN涆%yR&v9v"UeIV']={W]+򷠰/uY>cM82j+ ᆞS1?CNXibrfj@,aG/E0%|8)'g;C#3r4@HeZ㣆f>[ i\i-ŋﴛ_\FQ,XY-cPahƞn2A[Ilnf!oL$^J'o%B+a >O Zȭd8$21D[^~fW,}b|I+|u Zh_3b2#hPVt8뺢 㭤-ȗ.vmo"(ZPlL1t-RĝvJ6Zkͫ .Mt-#p_B B H?oH Ϲ/[kk1*H9k ȷCZd"W#" yK!rƯoëto[Ufm,8)6,e{kHh>&[@6y78L[h>Z9&u0h~(g;"h͕zbOX2Oq"y%k.lgj\M7yKL 6pD2Fy,=Uyo5{=v?u^PG2z>/CK22|w4 )eq2$ })U #<8a  tz|A<{|coSK$mߩiFH>[yg2gXOfgr)W,>+ X`^`|mE"˜g?qlʄ7tۊUGpgpܱ)RZqcP6Iȵp{CTwXCXW p'!ИV¼m"5ч^Qt7T1w\ĴoVoG0?r K TE^Ʃ{[>Y 'x1m}+"6H}Pg;C/dlhɞҭO:fz>jXH8/~9jqL4wShMx9we Czz1/e3 Q!c0ggSHmPtt?~,~=\/sBc{?ܤ`kֳk'}yJDMC^dc+0CVO0:)ZڧUufXŹ:v^G7Yj 2' o5f=HJV@z;>yQNyw RPW'=#72`*}{!#|mѝ1_1q[r,U6Ex.rRA'g|+q97OFp{*߮_]!N: 6Ϗڧӓ?-t`na œo6riv/{*E MN9GELyҨcӅ)hv`ޢFfX$db@LDcxPCѬeuL//;NN9wkZ\ 05@aۃ=lP6ثT=OR(ٶUh[DvnnOfM{އXv$|_*T 8F0Υio.2}k+łhUkU_:o˩!ݠ&u ̴_ BO+I{J~:G=]ݨPጎ4/M8@mR58 n )0 E(а&Ww#4?\.qM̖Bdq-_$4A|j.DzY1>~wx)׏x+u{B8X³.7xZfc [HVk`94+Dɒ&*5Lcl2VqZص3PF0.&NYo@8`s1HYԣT!q^i ?`uuOE")zЀDqBȻ>rhUEڕsڒfpwW a VD6GuB6;.MFI1.&Z )=f46r<ad!)^ݜR%[,g..TܩLD,YpѫAho^ш~锧ݛY̆q֧ynJK><$ 1"OWdOD'[ W4(uD_[ί+CضeV1cb[so[ˤƨ ΰx `uHCJ!ȩ8Gv/dzFj:젍"JMmXJ4k9ѝj{EG6dB1 E$t<8zA+l]B'# _V3Euq߱/"<WX0N`T-/{D3x+ӜXI19z%<=F=5Oq Mik R?j- RSgcyQq ,x'"@zW.7EG.I*LP#z5; jP]ሷo/zeqYhy+7ԛU!,=IƳ}<62`ORl>/=D=ƪGڀ9Rx= ɂf͡HiLP*[aq+ Ir{J xF5 ȨJ~/%b@&IJOc~i8"{? /qFXrT s أzg-.S6DI$^Pg!E_;\ID~<|4)A~Qq->{ F9x,0"X=S [<&[7׊ҠhĞ +cHk3g5#4IQVHNҢǓ 6`I 1 5; nbf2N'уP;QOѢ}XO!ҽs4i]Ԅ%iU\=mOCW!=PQ.vL^&dדNVgT#vꖰj G@{15ټJJ|)^ȀKʄ{,;f^p+PLUaC1a(f~Hߒ;E }oz!:oKa:tP}ev;^Nre-ϖU.CjIz.d65َl-CGGʍ r>A(_RdڀJ%9 vKaňrD;Ke_ BLa,EH;MC=xFb )Y2w Rzw yP^.@ۛ5$ fV ) NyQ'3f/z50E$AE](,q^f={wCxª8.x\ф*WIE@V!OPQ^y}!nve3  UsaJ :;QҶ Ļg5b@'x뻹Vo?UΎn+׻)C-i0CX:"/EI'Ӏ!"Sq/՗^_%|xpj,sZ!96԰SD|a!l 7#`$x5}ݑ6V{ELz2yUdu}Nœ DRD`~|k}U7wsrfri@+fi`ar$`j7w@ɀ!4pk.`g. R%bY]1zo![O1Vf[`ab}IwH(iԍy+O&{`~WDEO~<26gWqEn ]3V 5˧\Tw1(CdwyqHY+94eс?7YDoCC@itrIE!䆐H+Πf(=QLoIJ"g}'h$wu*@QP:hX̟I= uNGeĴ&%^N AN~&JTMzs\*hk!SAYGDdJz<@xib۝@ i~`xK J"*>If'T`m<)8Gɝ3"$azpYS>];C(2Y/!7|썙!aLҳyЃd)oV}~=luߚq<ٝ~b^:" "sxӊ4ox"S*\63U-NȣŽWؾ&T Jp`*Q?"sPmc*a{(FY޿8~,RFZO-\'}f)Ϲ4iznh10^H¶N4]!Z%U?`ƓѓVj>>ڻgҌV90BBÑGݽ;yNp qS>0Y) [FwE4G[//kmQSH'@I hDXkl<]Vz;k<7?W?eBn'kYRCGן{Ҍ|erkT`ȬX &U;Oӹ\kh[+2$7kẁyǻ#_j_څ`"k'f`y.1x@.xUO\AAf0 A9o%㗎ZrJX>NXrE&)qYEsG?N((`W_bUi2++ʴ}xR3AmW~Hť=o\bp}'qЃHF CΟD]'Ws0\}'2m-nLE\ &A?.߲ò m%r͊u7>O_"4Dʧ;i2V&OICwιN3>B.Kt2C:|x+ (,ROW " t3jM!\_^<`vo]!m2 ̑j۞tiG;Z럄.DW}@ɾ;k~eԨYIg^ 6DYp etU,e o%yu7Jk3t? xj L#xR_^(hzyvs_X,0=*}k k-i5~'mvW7n^N~ !r4kZ5khM@ߘ.z.n'lC4~#ψ1jy%g+ĥջ'mwV5?qj\"!b_{93ZOm/1(dG1u&_i -tps6/m䒇&XN7#Cc4l{{^PQҋKsٹ2zx#dvFeu!-s4m L7ї*hN4ىr HD\9ࡔW4(Ji..]I|=3IŬͩ}=0gX|!RQ5끡8E|,cXWdW}%C9h,Jeא&9)P `i+V샑 ,򜈿1]Npݼ7; U$/ie9 #awy)|X6>omeӫqɬMi\IUuxA^Pĭw&/|Bھ]V~y@)I~RVR!q7Ҏ8EX$&@!Rfh;Uʁxqcdń CU/:FsD~BSW$OM((`5`пn|ΑkIa.ReOE@)f RT%ɎGCՊ= |ux1)tؙX;JV5߽3! 2hiw`| qz;\qQ@oD jeϢRS'73.X%jfw?B5DFݐ[Bn& !23NQ*p^ڥgڰVQ6w!bg=uJ_;ȕAb{Y!Pe[i\)}w .zEyvC`z ن7BfVA1mש 9EZI*v73 2&ڥ" Gc-Mgc8b>m\?T~\KwHњ4AEĕo!֙JBD aztwIOZ| 8޾,D" \ӶΪ|+WG(]},T-)0%:ڽg u9mǸ\#Mq[*+la8C/~=x !cKXS`Olge8LUXfg"%Iy#Ħ@ݵd8Oثh|j@[ qF%&_1y5R?Yj4,w)B4ѥS -b{r#ܿ;2 ݹ 7 鶃ߟ\L`y#ٚswqvP欍]APeʤ1u鐃{jz :/OSń YΌlQ)X$42\SQ6M ёy:dX2#a\fPfP: )KA^,BB4~'\nt1bDE#ZO4BRAl}!nq'<9VN6s#o=msx2C~f'71N3$F3Ȁ!#[1>T"lW6+2wK$vB/{P(#V6WYg-C\ZMt@>j@cte "U| g/[h 5!?UYhԝOH ٪LoVkRm4S4H4B'bjM堨IYg,F/dDu,EI|;d5FѧeBU[{鲯p_ɥTrOڲjn@z6,ǥhYڏ߇@ kg;LpB {ַT09$4mx631 d ӢrhuoWB;ϝnw>}ş P~4?ij„%O/tq!Z:?l?".B]׵29y Ϙ4 -\pS/aK/@Zp ġN q.х>{z0Ӑ|:||'d]|S"8|J3dk0*`LUAdpx{/wAbr\䘜/|O"C*#z}|sgta\Y`x?;=QG<8(*.#nFtr*Mira -}y_ )ВEo3JV 萑d%|ww#!8l?n8[zZ0*ow~/_F;UsB`w(?cRLa8wzoY݃b"DZXxV5r5G8!82IYjN`ALA&R&95nt%rrvyE4 ?+Vy[Ǟ3|,]cqhRHUDjPmiedO0҇h+u`c Huש'EX;zLyk#"默fJ} ['٭`':,Ρt_!(/:`y=eش=^y!֤isVg8*k8ʢV G |`3'Ir#g)fW9GPX u&cn[SBӁћ6!9&5P1J[y}Et(SkғQ>5D0tX0 EOhQTdBDVK/p{μLgȍ>9C>~Ko,Ae)̣PR ,bY?/@4XZ3]}D§9ÈױFK x&3<3<0RUw Ct\0xZRv_ܡI7&*(qɁβ|ijKK'xH >Q4zE@)ţY7'䐈,%eEK:eڞIÁM.˩2@TC3Z|=vJpi`ԈICJGR}+~FQ$&yk O(b 2!]EjnG׹77^ۤbTP4VHڭf|id t# x{́[-+ߩr fу0UxZ/'#fǎBjS{f/X1;j2T l @k0۠z̓Z\_rUԏ=̥.xy ͼh|d#ׄq! bǂ∘w`l}"9}gQ!`%qEFMA_Ԓ;4DBDTAWqҩ2UX߿tHd$ vQT;Lvjh!_-8fQh5;p_OE=3Ia0syXn(^P[cygް(|&H_ `s+rrKYn DxAE`K>gY+;s 5oR?2~"f4QEz] qgCUSX-nUeSCW$lBLىI ֡8yMLi܋z@9^Cf8S=iV/w%yyW _tΠj-+Ùy Pr\ %4,eZX(Ntǂr*G_Όgh>:Z4i&?&v%hə(YH#AM{1$:II(vIINm'3BL`tA4J7{x |jރo{ 8}Ju/|4:N;Kb|nQ?~5l@D?X4_V{tgS&WǦP@#"wC p"(L[ɒe=?q/e=c}&@^_:*bPulGH-6{pO 5Y45%eUHj$h0~PG{&N;<*o•1̘Cc6Ն!6\ }́9**x'瘬"s$LK#kU|vH DgMh Ly}Ѭ F3TBG&iӦ;|` 38E/ _àYdfMJ*uL\ 1+얎g1E ,6FrDkU6]x;7dJp#9a r1D-^j \/] 2`Bײ`4 4*&vW5#_c_[&+& "gPVܺVF+Mm%fTBaIuTUWY1a/U6<6Y((06j8K9+ܳ²j/R^l@eAaC՜[Ql6P5*Ŵg WmJ A%1? ȚǸw7OO9ߣz6KaЈ52(.̔@/9k pͅfYO@6)e<٨vvelS rt^Kҁy-{!lÙ\\@2gɖ`̆ק.Na!@J?Ʈ$>k(>+%RRz$kC]&UXI_5b6yqx\5\q3'n'6.M#SyT .hCxJi :^j<ȾT'xty^d3W_Nϳ׷)CA5UŞڍzou% nDSX%pzs*h9>=(GܺUWXnY_$a 06)PV!|3'RpkzMOciAKV^BLB7IjIK?<_}[!/6@jK"Nd uN_j>o^RvD@+b8^eJv|+R,dG+ uKn Ti+݇ͫ/0%].OU/7dF_d/ 83kce.]%QlIja\OþJX <[ωVr@B9?!PkUQk/ʆ01 QGjAͷh" (YT?)f-+'%n[i.dx6:~IRffh&lY%wƣ5=oH.񉐢0zԏڪ f7.ya UXNcL{ܒC8'"zK/504(vbS֪%.5`3[EVG%*y,JaJ"zͨODnO/iw^==_zIm&@F7^5h2M4DM^yMɬ2 j~PČv1wA)*C Ez wU>;t]LܮRĈÁGy4_Kk\{\®+XKbٝ%^.ge`ϔuXSim  Ԙmd c{`|GQuW{\ XSHXv V 餥 ߗԯ+櫄2Y—wٱ8BH _OXxÅ~W<~x7OnN0? pxܣjg,arJ!nttsOӽ?H#Fx< 'i~bSasͰJpD&㤇'UR2g@J|7R&fK@Ƀ>Qzz<\dHMP5p/nͪ[W9[Rz71o0MMp гsC ?ZD3̓B{O絋zf:؊._Vq(MLHqb&U۬}=|/3Al)uBb6tSbA0g{rd%&]^ztYs4X֣;f\A:5I] G<5c@wy0SZܷ2xj/s,>h y@yeYFe!#1uf-DXJa;hfevU bH D$/7D]s @O>o)KNW afxbȕ/6Oʺ$l|T` u$ 07dVL7ÖCt.8LԬ 6ښcF4tXEx&X+,~6sp>4bYI#ڈarGi<8 doN+$ 31Uf'v|{,`<]cibqoQxࠂbO8~ݩ BXA""Xl@VaFSu[7Onŭ{lWࣣ4RG͗hfv7^SCen aA ߥ(8MG96r$6,XA,Vkt{[*@ƼtoODGk܀vWE#U']5E=rl3,%*!,[p}xq)>M9_U$#'[+W=X$d`iBvYiL,Iu3z1XEfnշR t ʑm7LHX|my B^B!GE.ΌtJs]|WҌ޹S{hA}p˜87 My^`Fl&\Hlw9TumSK{Mǚ Zn|k7&u1w̩$q*X?+uQ%,OI W۟ kh8Ei"0[%.p$#S!/v`7͘~hg3-HR Y^X=x[QpK V45ө;G9/=_{wy(Jd%nVENEv_'Љ_'ƣ 0 ,J!_H薓*:,Ȩ:.V䑙Α 8$;jX7ž*}G6F6S [&ҹ\jb z=y{tڭ$} EBȉw@ }2A 掙*yaPI73j*xœ_*a}oTvD?rv-M-vdЩ|Ў~̌&{"5LvQG-7H|214`?.*M\HvUr#Y>;v!+UKx 4cu'0tN;XIW0'pr,f+I= $sSڮ*??cLԍ& g =7Wz99SVJn06l5&3|Cp ;?=! imB^b k+-O4]Wptň&%? &0.fn `v `ӖNeJ28r{xYe2os G5Դ˧ؿRSWWNA2u3o&_K Q{vn?ױ)"/rX Z+tt 7n6>bˆ-Hՠa o]qK(}Y>CC$"U[P  {֛K]^/d ͉–KՅxBE 9+.B5Bȹ16`,xa9Gv.ayL)^/k F BZg&'X DƥB>H,MTzO\Yڿ>߬9e+"AŇ3T졝ZEGveJ(rIS0q])FYz]P=Y{.5},˩k:_8ȗ]Á5(ōp` Z-L%S#k>vDQ'\ )tj6juEWyT!3`uܷ3f|.5ES2QA筧/8`W@5|ވߴG^G33<8`tKHCd֘{Mx2QҊCՑGt $&6nPy\iB[ 9A @%%-8NIo)GCP)9t;z9߿>V(6!eC}#|]+8'h`+DZh +moVø%c]e *Qpx#(p,+ֈD"쌝9DͪozSʳ&Ӥ{(ko1 ncFϵVna꬚$EYg>jt |nL5Dbt< )TÐobه؆ގju=~ ϓlf>ڠ`o@_dk%R|"S$&tc;賿VY@f]=IeFȩ쨴>'zt8Fs(wQ:$xtg BPpR 3W rnWy>gгo4-$I? ֿgĺ NИ:1M+ڎ6ЏDdvPCdd1L&Ԩ-vWq( Z#l/L@Gv'82aΩ(A۠$kb4p }ߐ]دa #yvKRn^4dF"yf=Wдz^IFi]-!^Ǟl7^:~e>2QȦtƌD[=1(`=h;WfO=UJ=yQ&lLgs-apﴢȪuM7&e+Ǧ+r>&|zqy߃񩃓BE޷lMrs2];d2w\lJ>HUup-NaC?D-AR-a599g Z#C& M0jf0Ҕ4eťS,4#q˙/1KX;S| ɤIH͘ 8(6@qkb3q Y/bg2[6^n{SPmU-rrk繥{'ON2M卡/0@' ]kh2m߿̆#2]+Ťv$oN!nԄz;<ķߴg[\7?|YR?py27#+ !HFNnU^ g=m}7"'N^w?`HuQ*7>Ƴ[ l_j㌦l< }u:$(šOMB .h'=%|=F%@Dh;lȻ0:12 nH(;;t9ڕrs\X8Ե"~[Džf-m E"eհC&|Ym(l7'wyQq I7pLSllcX.$bj1E# #1L/\yI9ֹ@Zұ>X# j[#Z"`fM F/GI=XPjf#Կcr1Z#)P=\4!4l1rwc|#c>CC,FA} ๕4n6^TON6xJ\`m >@Vj"Lif;4j{hyJh¥GDvbת]2xOIhTXY3DIis&Vtzs%BzhE4Q\,uq-*}nO  z2PBx}_"" {Ӌy%&ZcbswpA+eF&zSuGKIV}gXgՎ@`F_K<.XU>Mo٥IMnaS2F]u_0D᜛?-Tů8-`5OkIiy NF1W!ꙎDz4#FbȜFw@K(% @lBE`~skݘUYz$S~%O[>cz:e`㺟= K4O $r:E?=G-as8Cko+QF&sDP*{[ b?O y;]Ja ֋H7 _I._!GPu,h^ĥ !qPpOWg6hݹQ6?,]86㞛S:ѐ; FU4>/0$K;@2/4 X0lŬ>63ӵT!C$gݢ;|iG$QLIӜ~ SGb 9#!X,>inp~ji6XFDmj>ڛY'4 7z ]ssfƐ>Jke!Irk,1yh4K2ܺ-LwMc?٫A8pu}F(A]Lűw-S=p%pV_x@wC6%#Uz#:I_yt9Z$0"nT~}0jkx AF~C _ jtuN!ʓMn:Gkc.@"ۦ_j`=P˕P7aGٯ哛;P߅Y+-vمy3Y +y<+^i#{7I|e+F[dv@'g'gL'/UCc~* O7rÝۧ"(KN#cF:+z3*My3q%Sp  -+vFM(Q< >"t`9$g8>ad}Op`+/ !$Jfڰyi-5H>|4YG1kRXU*[ 9#$HW-L{p sӇ%Ƃ7&Gߕ?B.t]O%3|.yK/d_-dDEM!7K !nY"pj`VKX nIK&ZZQLs ^~O!=14Q{Z!*"Zo8gb?q^yO.RqE()0 6lS :BVDz?>ebrH 9sL0P5Q.Μi7+WVet٘GBhP^xb"2,lGY?2]C"iBBջf*FTvV?7K7x ]?%4[p(Ϋ^gx&QX -(98$.qw8[OB5" !H 4^i")A`uRVjEb*^@/%xȂ2Wa5*/p'k' +Dob-U; wM8מ]2 yF@_ Ksh% 7Hhy~*ÂNRAJ gWw K`h53ɺivcZLo?SOfK3dcpy}@ Bˈ7t3%kBOhRͦ4(]@%(bȲ\s+-~(nog[25j.*>:(KہZ=.P.'|iAapbXε:rpXQa nZ<ȤKswO8k)ɲVzCOKn͢\Ss#l4w`O.r zga] <K ODpzGWÌlCx5ReuNhud77\tǔ6f莏x [㭫]H@rbb&hn#VC gFFz>٩ɢ95Tco2.ZtXMw]?C" K0{-ܡ),XK jzq~)W-osIl*X2{E>FVdD5woK2j/@F.~)uEbcGf架焄j+:}gK+P CT #be7cT /l+rxWփÅ,^ *fo۬#Lb-#:i]6r|Z"4?Y/'DZ3Q7GvϮ%8)yD/nZG}i DJs&71x`å*sr` LNΪCݍZׁF4>LpȘ# PKjT%%1)۷LKm<]T] ) 5kn 2=3-s[Z_ٯx1X\]BDl7 ~O;ȋ糢s6)} ' a^FͤE]HaD&֖{+-3I]Ԝ0&cq*̟ 4{_C\LmQ cC;'pc΀*7n=dOC( OΘ_0Y )5fb(5}B1KV+rW/Tp. ?\V S+BMTܰ`#(E {D >HuD#9k^LϬvBE}WXԒh6bR`3h2]=|2O]RЯ ]G0)2rPؾ?X8M X ykZWFȥEG 3tE7g\ w,,&@{>YRc')$tgf^e/Ey$ :uMKu広޹y}w"qߤF$- I)& ]RlZ_Hj*`y*Zª=G]gQ"$oZ$:oZ!(YSfTֲz* &)Xiڐ˚Âw''?:MN.dTUhWR*M]Sm$BmAʱpYz1>Qsu-Sc«+5 'gYZ8497af7458da014aad0fbcfdb52d5b0a945580d0c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 269ce95a56ca4452c2f6d65bd0cd430aa22d8c324ad80e77bdc868bd24bd2f72afbdf66b1ca28f6b