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  1t$d ]/ HOL-Hoare_Parallel:threads=6elapsed=63.848cpu=339.028gc=7.232factor=5.317zXZִF! .q]ŗXiɟDYK<;jFc?I*~[ʩw=q. ay@R=[=^z[LʧZݚ1b8ڵIi3#7P5CN菁!q_#g%xy&I g3ذύMU=4oD@^\"ZW&iwљ2@7! =0ulL%L br6uX ^MW7Y  t#:D,!ql(*p;;Cη+*VJ[%6 WUH̎EXZlY U@o&MaߎOze._& l|)W{H jbi+Ii$y%mcΣJic+~S㍦F^-Uv1G)sY1n9IdV7bOQی~;v~QC  X3܎[ _۩WVN_U7oiigd^i$cZWM>d谀:wʗs(.Q`.cM}G-eWДĸ$C(14j^WƵfе_-b/f>3u y0V}>ENHjy ~+,mE/>bflY1ik= {E\ 77wV+{*,=op{^[KbaZ$'}34e~ ?)O !YJ),Ytihe/LTӜTtTR!D0?pukn?e> /vm ]WǤۧ NܺnՅw*6%&Ns;|#FMw2=d'- x](?=wF4D8mV1u?lFߥ5Oq9,U.A{?%.c2iJ)ɷA02m@b›|uQbv!ӟ2j,eS=/Bddص-7avzqlʁO7n^/2eȥ:d;˞6ˊ/ 3N#ˀ 9IZ~0S8 liN ;٣"^q%~ 2$h)6CgA,;( ]~2Vp|Rx%~$YY??Sk_Z)hg~κIdf[VЧl$UGhnIHԓ<@͟FF'"')-b6wվ1NR#D!ęLGG<꺧\l@_-Ep*+Cw;_#%yg|[Iwgod+FS&?˜I[gy p`ޥ\ YЕBc8c.x_}h7&{+,gMf3$$S3z@;V?z9 IIV~(W~kU6r&!՗+xFF.t HivE)䘍ŰrjWLj~ {wv *!C)%1fM3/`KkI<1Q.1E$:c281g u"f*RT;ô 9K3CN:xR^6n3!+!R)Gq1Xo`[=pun\zB̷EO1ѡ 'ߴ5Ձ{ 4\j镞.Úם>!2*p}S' {u빆ﻙ"qЭ"X{@Ҧ Ae0uФ@!j6Oy ֩%T"fjF kG%S mj90rdR K:+!6e=q}>4VT?W: ?^_atVMYG|? !#%c&2kuDRM:?Gr,ȏPlVX46Y"9g9wLny$=|C >8%θڂH*'n[1@~J0sI䬒Hw>_SY*z%t[:߃l>-c5!0YUg΂{ؽXDx[aX^Cӫ2t?JtVi╒wmRRqvU ;Yd7(5\A`a'd+4Vx Up|m$W"gF-k:J:ͳh|Dz8~b:hNrķRB',rJ;3͐JH+%/11")ul*%e(X;>cwY :tyacp9TP&M3~z c0?D7:k,h'Y+ϗN~fZ2?GLoxgL,%'ZzPo:kT>H'~Yf{0>dj)uOfk%o̾~ڊ#=-u:]=VhѮDĺeXF(W 10PHhʪِC%@GB*t{&yYmMQ6}P/D#g^V//mOOH _s.by![< w4mjXSVVPu{k#M.vك ӎ2T|A*I$VI"mQm쩆ch)u`qLpCAŹ>HUTm]nB)JTlٽwREpgǴ@U>&yeIrZIM1VƪXZSGS(ťy5>d0e>څ^8Y:vif7]>:]Iѷ^@U1jstґpO4yֹwWףP.gN_ڗsD K^aO7aɵX偫DiYCdW]*!y36H}4gfѯU'"Qwflg}G/2ƃ]23U=:$uuA/ӫ ROrMך|{ |CL8L.c+ڍ8pEp K5#Wk΂fY1^ZAT`tQණљVH$. Zq1TQ,-,ټ'Nz =T/XyϳO@SشXjQG'N\ՂB(P. D{Ve6M}CDN#̣^ {ޢJ@n]A5pe9fYLeZtU9 fO1}oh`+]M0_ O \3ӹ1 1CwIAQH`O[oO_HK觊xh@ 3o`;u=؄yOY&L0&gec 5S) a钇l9_ s>fe=)sل?@de5i͙n@ۙ%aey1k"{GZ6s0CzM)4_bWNXWM2B  $8ǵLe%^e/=z|2!v|SC@R4ن'W$TtYhRc:ۖ'DLM?ig:.Q6$elff*K3Wz ]IvxHZi7KcsTiw旧K-i ?tGSI/T™TlIeLRKR נsXK83b6b.jrD~ A#M7jQFqs2.Fٟ", {(CafQjZ"ѩ~O N1Dhv+|5P+ SZ=U:y*Bؕr$k-?tv}s#{wey6:_n/Ӑ=se=[hf7mT"11yq1!i`j ҥlg(b1L6a xn> C+?W1pjh/b۬G].[ФmwLMp0Q-/z1t{`!)!fS}.\#f=XԴJ_O:lYp4JiF8"S]F5i:[7Ә:-qd`SqQ?kC7rՠe*ԄA"5ӲTQ ,~uaG,7h!p :.( f(&iPhO ,LG=yT]3Ђ9Qϑ;m[nlOr,Q)!*Q& ǷPɕI ".}B|۴Pᖧ[,hȌhmu);Y4!b|2cB? *!\~C1Ge#L Κ\Fk=79PP gV#U} o {?Bl u7<[^ ſQRΞo s2ӵG%YX;vΗR hTY:S{)c;R$]]1BGJڣN:"|cSG&@s pgi*4dkeZ2Ca I:׹Poc~9I2,Yъq{vDvȓ^E}>c e`Pd/n=<8߽_q2̔olݤ'W!x4;3% |EH co̠q|I/iO𽪪 oa.׃kb=YhBq[oD=K]ƻKKz !C(vϰ+;AFC g,vfNNcc5؝xsU !݉+9N;tS-r-J.ut2>s@U$%9`d^d:6 <H]C%zDSj7k1(aZpN颗>a튞uCx̷Cȷ5QI#`*CVԁzG?յe0Yغ{JDpb o`Ì!yV^Mޠ@0U|G`Y8%KzNЭxcణ0pR﷜i =3V*%YR J6ݦB_{_bDI6 u$ :% ABE1nicPQ Y. {A2bs\<5K.y8f42Kriz507,M$Yvr=9ŢD8A&l.\@җef6>5Lb_介g_Sg;$_WцegRp|e;2+9,iwJn\Euca *1챼% Y:C NKǣ9(PVONJlz5؟_ښC#i WD!5 L ˭U$*r5]9*}+cW͌sfs0& +0T~;DpͲ;sL@+zԱic97u%z㉝i@%M;zf_BI:ُLɦg!5`܃)̵]ZͶ]ðK5>%x"8>Q F2$<<ډ@ゲ i;T,-碧W?Jh 1Nv&CU&{ "z2?*0;ddK,JDWgj\OAփ2o)8zdu 1t1^1Ty^ g?Jh?߇Y7m,( l9ꒌss3pQSBwIl 'Z3Gx];X'bzT]X͜W}n}KcEjh_- 0x8_ VNI'&NS !X;Ρ`gA]zrnF 5kSe}*5:N_kpr9P77_h,QIzO&X66 gjVR`o 5"%}l3~cMώ^O'eA}q t^-'9;`0dw#tD1QVy8|~ŕPቕ.笫!m˔$Lk.pR%=2"[<Şg`wz5sAzv;MňAc g',rRn1 {CH:2Ho]3}y $zӉ="HP3MʷjfK0E-UmM w Qt/IjGPKiR7UwqFU JxZԼ =%ϒ] :8{y?'a,ȸuZIݝOG.I/< OEW{qVm6]*n<`|qL=yY6ij#0./*>ᕨrw۷(7&3qj> 2 / >w+pS??fr+?"<.c:RzkqD\ ߃Ryv0WϵpX$@ku!߅ʶỆ[nXx]Z #'!À'fCi0~vl_U6|/a2wdI(l7wvjܗ8C0v / uڧ?'t{Eܵs#r2{ga9 #D^|d z?8XAuH`ny􆰠`R ԓNj[ pP1qǔ:F% 'Wz34m)%py٫Dr$ćˑ_~3otS6Cx<μD/;&H^<8ժh'UA.)],)8e@P(Ńx_8&w R.u 9fvsV-wHnH>}x#( C[qh5AE+BP@ʌ3q5-w|D۵[q"p@c2$m[H[!Y|$w, vtL.bu .zpip}dO_89&McZ\ޓn^1hω@-ԇje9`wuVbrЛR%E,,5[I#δ2J(CQ1u3(Upm-L~HȮ!eNe]UAmjfKщ$yf| ?T 2ӹNʂ|:Y\`=)6[H bL=(^^Wr}#L69B՟E 7{coeFZ.XJҪd8t)HfqkEk$tMTÁܛCSh=kAcE^?y$d=`|B:6ܦ_Fآ)cIxZح= tp2՞)tdzMĺ{En ^Pp,l~_Z_ݲׂٗܜit.ŹIQI7ٴɸPU&о!<&{.E ZgM /523Z>%E=(]\o;7l3jΩHt'12 pVT X- x8@"npJs뿍n![^ ,NX{;x`x]~)2SP3޺c挛}U+-VTg›T~!J{;=fl,F TT_X9*Ooa̜)ͿZg\gO[EKyD:?%vgPa0zճ<׎0Vޱ̯&+sױ4;FE|S50G#'F}&sƯm*Mk= % ]InRT,W]Ҭ$5@ K-(d֥x1q-C"!Ywu3&`A/%*;|49?FA0x} P߰睋x6:h/EB=/"٤KB*޷r(u]~gCu\n9uZv')V%LjoIydUm]4 eݔ>@Ƿ`[ijgfD(ϰ-VgkIA>f?rK=t+̄v-/XPGFc opB^R:hÆn0)n we xQfXlGQo廌po{d@ѣd2-ǜ}EQvΙ#IhL,X $n+ p JzdiGKb j(.WCFwQALr͵Bхb;Szu7]m f vE$ Xj}k?]ʾYeM!]2xh29:a5m/w!2%o.p!K}wCg"zZ +ao*PY4袪wE1fK0ݠ^ L76sŚ1\F2%j_Ӻ E=Д/ҭ_餬(w$њnnBՔ}҇o=EBiŭ&$E@ʋ[ك~r`6j-&٥fd-L$b@nՈRw^h_[.LQ>>Q "gAAQy~mGփ *h" )<-N h;w+y>Ъ2wqeV֣'5R Ӕgz$#뱹]V_!j?u0Ķ?M)$tN{$!>v,`waWL'li>GoK/~~Dاf*t:O|1zOO؛NKeB٫@P_qu#D|Zj<( Qob ĺ*GUmIN|So!RDewwO8%wg᭛wkHƒ5ivkrV&<`r* œE8bb_j`|~ᔿxgQP5%khv]fMc鋂2g4I;N6?ǁY݁rݔӨ < bG2h B]_Xdyo 4;=GZ/$aڹZ۠πPywO O35- GbG·^L'Ԓ2\$MMmĴM,WVj?s>/ v@%ڍg'e1M-D(TOZJq]hE٣V\v3# fʐ>%?&^Lpm땖' ݝN"$oosy`9yh3KAw NjNr6efrGÂ#G* H 6#eIℽX`K%؏}9FuJ@`4Xq3sivVuYl վrEo'qK sB|Ѭ0hkkb)- 2qs/IX,5+2yM{OX[[ ߆/5p Ʉ=*!4fgi#s&e&!3 eLZ_q\{ݖ+X>^pj`wb"#ϡJWbsyOٸMl`}x"z^m573OՆФOTomd>{E$,Z+`gz:+g:Ȁ,CpY=Vck]Y[ҎPQA&;`53(fFZRTv/*z, "^7/; Q)kW}~ 픪3+Pr0! =v_^I(}C3ۨ!:3Oܣ%>S~(A@ǁrEz?;VmM9JHj 1U("=n!ZBѽB𜅂s_-EЕle@T+L8k~J~UD<&ji7F5kL>2n0y(.0^:Y\2tb]S Lӟ{#WkbB`iOw[ZO5Ćoև( bGЗ9ۂ`(,ى&Dqۢq!|+И18<<@מۉasQSVt b+ȮFi&^< o 5(l09&ZG1C[1*G0ЦoYEyYל!eA|ZMy< h+ ק,c~?0!Ko!oqb&5h{'j3v((['q1%ETL XSlPB{P&&ŗ;\M UD`%&TI4+,3kRy`œd9ɯ @d -j'zFk(ӏ/xϣ4ykf6I9]^ lTadV ]VJ(TR,sX3 En~6u  Njh pJ-x'GT1ɥI!AV)j%~87_"Ma} 4*>5y1P%Z# %iҸWz6\|ÒTT4HN@YnNH. "w& {[ աG£bmG0>a;@4T|R^Z8?.u$\X > .q٭,(kM{ ^E0@Y#P@]%aV m.MbSW]G ʳdBK`+==h/ 9ohrCy~i, s ~`Ӑ )=geꨵ`j= H@v&SyQ|ni,Uoz*Wb_[84/OzEmDC!L@ySՃ:<۽)DZVFMa|PɍO#v]1J_ K3@ST5Y2,G$%K4,F WSXEu4;dT{݆"DŽVɐ=| HVȀC-ԨDRH" Q8ociB43BH ᫔]7okK䒘H>@<%|)ܚ@u$o֌,>>N`LiB dJ4{v.ش[Yu6,"7K."[W?ټq &r<s"Vr|QJh%-4'^`C mٖ#́k<']۬ms&Vk**#ɽ4=I>:9tJ&_n1-q`u.E%P۾L&zyaˣhpJ5%5%+!`-+sKƩ%ƻu(JsX?As.^*{`& 3AI?'j9Nt%J;fT_.0m}oԃK;U 9)Sr=ܯ&bۮPYa~I"gY966#'.ΒЂZz4Gșk~7q)^L2o DV<ݶPQ?;ǐpiI^\FHHtX-A}ۘ̉Aw_kMR~ǔ;D0Y P>N8D͓1qhAQ>?<:q|W31h.v_uI4;C1Zr<,[ <8]Sv)dfNzs7lqPgLਸK#j\՗&Ged bjIU-Y^ 2=󏡵вM2z̟]aɡD'@ Wi9GPN 4\(yWH)otyXhu4Z6BY(w懛|w |=NVW['X 4Ȏ'ݡ$ګK !(AgiFSߡFz1e2oJYlm^^AUG!IZGk\fg5iTʺ;hی߿ZeH6o(Αd5yIO!TzZ|TI#?]ĩ;^ߌƦ2:]xXmĎDkg:39]V81RgZ?$uGhUVtce>)JR^D*R W9A>4o=;Y~?6IS[ǺOV=OKQzЇ wc&Btᠪ#컕{G7Õi+Jа*r<;fh5jK@qr%҇"/T+o& I%_`5n{E$u+9vlL&i{A63$C2 e5sh %/SfSΣ#hQ(T0%J?&Eޢ=Q,gElzAKXlT9enV pZ'ܿLoG7l3k _DxI/'%-E?C'8 |d]k@KT1mYvb{av*i[>:+ݓvh(g'^?,?odkѩyqcQ~"fSlKY,xiD 8(rlZhҕu>ڕ<^Km҄yʀ'zC.q6JY(|2-ae Zwv8wY:$zC|D$S,CH3=qr6w( ɬsIg(rB,S4Z{u9l,Y_E~Z;n,ylj7В)>=gMas~F8 xsYWW2yٕ$в(,$+&v5RH.7B^,Z=ÿUFn9[S0TxEN~\&덟Fue:U>󚁱:O]{=>^nX`vNzD*eVd1|ҡs!,? IkR.;,ET 3Zuͣf!}DɅKfkiW"nߕ:.08E#_gbu.!F1u);VzґIobSaW9Md aNxݶ2XZχ C{Y-PfsCjH E;)OT& #|+k4m,ߒ+9ɿNq_M4/ë_ kR&w=}Al\0* =rU;)xNjn0n mTM7wSty WxfltgIz-䴽Pv6'1X {Q]u\?(S\_Bq!hjX]յZjj( ѩUOM& 85'E8‹@˶iyB[qcmd,3[atXJe>^g+lԠ,iC[}z y-C>>ayK{ űa]=t+&~q}Ԙ!詜EJpPÂ?-aV-Ohv0BA%^aGM[AWּ}N @u"C8jI#. aD=T?ge_Ryj7E\DfV~;P]R[TqQ?oi#rhW$;㢵v,|= ]hq~sB`*{UNgrԙ$I*^rt+Qfhu,Yٻ;lRiSPXb&#[jE aD6,luO ]bxuP!Q.loK[dng?WO(}nN;$Y?Q(_y~'6sg,_eEԭ%Gc6~tNy/vdj<}^f^DuT/h^g1aKZ&.c6d]U[N}Z[` @aCo5)F㸍 Bd T32ջenwb;ra)ilyl.<_HM ;'a e_xXs t*m,1] j(虱& ҢGeG9Z"ʺw 7f7;&IԝdW)Ʌi=Jz3%W&= )Uly *ڭijwa#J7’v=b^/Z.yFx ͯ|vS=^I*(y7ԋ}`| ݿg%z n__[,7agZ; ikIһc;RhwJ,OB/rC)8]chK$c`pٵodpDw(wֱluNݽL3QL3 6"[G[PN+&ڍ;J5Flyy:$z#e=t"yzpmhE 5ziCt%GwIL-9 =Hy(AF-d;7H 7Jz5,!JPQE i$^z0Gw3[u&,.Wj@HIyG}"?Q%:_Gv\HoeԿ#!=s'rDmT Y`PKtdI<626A';NC.ϳ:'VPOP@M)ϊu% {gكqOpuµŏ)2/.@!Emh1ԏܓv8]kGzFyS#{Cs2@/VńP=XlT5Fk)AXVkU"7B Ӎöj\ⷪq }-1`ewb&Bv,C7ߘ4|@hkp@F7K]0cn稓~|%Eojة?cVv0S'RF9OPJ70UetV؋!D][DWV Lg_x5.Sk2CVD`\=ƐBQjRtK ; a|5YTM]#I;R Ԥ[ErV`5{\yQK@muc/ m`f9]o%&R[&`;m1b'׭cjKnŀ٭eL}e5 ʈRzf0; 'htQF䒣 $7"A⣢qOw12FЧ@w–)_3ch.O"`[^b Pw dYyHX$.Rj;ZM Dbyz.I ` a|'3mjf:7rf-!Ii W+Fy;| Tߟ{ʕ"J%>,V>maGQ]p-fa%{|L~[- $ ٲx}#BW$<#iz2IZswyƱPa]2golBa''c Sͥ6ݤ9TL,VsO\U ClR-~R^eЂp+| 9-=Gb*,)le0]/שaGD-7>]EvArklrqeё y2&(M¢g&Pu]@KD]*BQƻۤVJT0ZR"B?=Np=wh; R;.nI>ƆؑgJ&؉^RVrN)vd6h7N6A F?x̍h W;,$D#[ ]^;+1:9U̾rf0u=eu[lhQ?/Q?xe;#No 곖m.I'*{U큈ːVj&=BQg^ ]8\05gUēRJ\paơ0;`Ѣ?n2H6)ͷKؘlU$95e zc|i-[GO{ X_LM %}(adj:I/W1˘>>L!4^imKNP+W YS%:q:5RcF] aX2xTF(r r`$ڜ̿0hA&(>Y|=̊vkQ= ַEH>q}vOm%Ȁɒ/ s Ms *TA,&Oar m~ ˩°0j џ٥ 0 l>+]N*GϹxA?y&kbiN&% ++ ~ߨnu%3S3*VP7+u3?(G J.v+,xXC?,\IQHڽN[eU:hjWf*EeCB"ܷ6vM"jB:;=C ]-8y:tʩ҂~Uou7ÞuFc5-}[W:;ݞg {$`sE{J6z+f.Lh׎= .b  !^:lgJ%sTg98 ܞT53—y3P ԱY6tcYܨ(_`=g"0aw]GmjF{Xj ;AhUtaU] ?Z堙5BF+l^ mqV]89Gƴa=$P*?R}P3E>e;w!Ÿ{̧9-&lfH6k( Kʎx7ePiNjt% r]KSv_mv-}pȊdX;KԦ o+H&m\ [=ʒ>iDݭQr~+)"K1p<:5ReXz!q+rF\*ldAz׹82T$~\La% "YV?h1$ 3'PiGbzcF94D7D{д().;p|{Mfm>x݄~ž[p* YaoyZ6UOwD70N mʼn*ᾅHW6jb˪!ʙV\4Ձ>7Z#H.3ę[|xuB*),ITUrlrG_KNiTwݓ(kQ y<R "YV%|Xz 'C_6+~B^W)Ųmz [;#)[ ~Y飍8p~pi20iӺ _|OZa>URbu]#\&%1!Zs.*ΖMa|WSN)Q%WGq#'G?{ uԶvOtGP7a%c{ǝHlD<*GS:m_@ ]1owGS`HMbP a[>c}J%o]O.֕ 4S?oÑ!XD"mMOBC/|&O4=V?g'WtB`ea'%V>=GAJ&BI9lw:lNNʁ[qgOMī >qt]zAx-?cS!y)-x_tAy|!hmNS/c)iB~a2#v 8+,Z Q[|BB|>ǎ\x9uބW'ngwmSca:JoG:tڝhP29] 8,q$w W߀esKqPdÛC_q`K|?Mfx"Si {+s6!MDY6Mh(o/+pj 6y׫d+1B!yHj4 N;O$VăMԮIJ]8:euGkғ4W%`K#iJ|lď`&Hݒ+mΑv) '}6'R/75^}Jo̡|?6Rh&ueDRםxJ2$ڞ~adMi%]YY]̀%}'jWY09F9 b~8u0'g@[WLs*.wll>N=)Ӵ'y`[Fl0{ ES %@ݠ˧x' Q/ȝB 5a!h3; KlyzH7O~;[ lZpMD_NhΪ:sBuRK RHu{Ga]i!7tjs#ɓ{"JD^橔MЛT=kuڮygcH` 95Y#SU 8aġWZ>udatd#g!-*1xAt3d( !Ѝl *-b`Gr$-K,&(aahԋmb})dPyW8R<1Ǔ*!lR }:?QQZ6ϧCc*j||Sic'.* CLBj I93`T D hva*jӜ~ƗUG> ]!` q.zǐC.LPCL" Lf4JUcb+sV`9bЛ*a˶j8}frP&H4GG JX :OhrF3MܗqdV[V&9IfӮc14A]RC;” z6V~A${epy崢Z\NS>LBe  m{M/L&J̧p.ňWs7.pNGY4/ZL%a7LGL YZD*(h)p@cRT)Dr6oye:feOC!bG /WDpϵR Gb3jD21Y]5氼o4mT] Sd4X#uŃC2c`k $@)GTiaoi}%Ɯ}g#XPUKMW} `U|U&Ҷ60eB#)? ~xSQg/K:f($PZGri4n5((*4w-?ȞsY^ ^p] i2-=jqAr/aivT 'xP}QjM7!ހ9#&K:jZM~p|Dj{eISzaF%GWK?+aAGP>%:Fec 0gv`ʎ^:{`P0qԒ7vf{/.%CM2 L+ys G>4b @'pypQf,[l=h=.ԡ:oR|MUF\sxfsYد8T&?y.C/eɍQ-G=.lJ<+hJ#k7''XwRY< qTlyL<||k%<.$z=OR瀑9# *ӜZr ?\Wl[lTl`Tkbȶ<:!꤉sjBQXǺ, PfLɺZj~fL2@6Ub!}at(2a{Yw)OZܖc,[{Z:|rXV]<QzH停t뷥7a:5ED^uHUy" _Ww gӖP$nF@0b)w/g Rp\S D5-v܋Y6O8-1ԴL%RW{(/mBDrfi] ֲ^eFDQ uQ_0X6.d\5Q[21,s) Y6MhP$BU=\=lo6kvV_aHԕiVm -Sl9YI3֠o4 m# J'&jZu%?ie눀K֞}Iڠ$4yv!2Uh?'+ZKv᫢fSGݣ:_z㭆SGE1Q>⣌L;!cWet1"Fo֠?^8 KQ`i!\)z`mgZ+N~ݮ3{ADΖn=;E>l]z!xoD@}qg؅RyKki%+ v %NPSAd7F1mJ/Aʥ(t?)* RN),W1)$!J#N#657ti8~]~%ތWɤODZL3o`,{߉& /z"ixsQ=8;9M! DSX-A\1 `0KrRCNڦZD ±dAnV>F %/ШH9G)PCJXx;X"(!DCL^%X"{jLc&$ IRnbxGefow&]QQ!rf ,1/Ckj(1; 2)@Ee>$ikxRYsl ,M,LWG椓E'?^ :=$LO6ʘIvk\Ŷ{DJckM顑n_mp`"v$b>SNmnȰ_[0X \fn_R2V A<=upCs%Ͳ"}~)^ʚcm>OAYqz["3?*haM>`S|v=ᙧ]TR)Z h8R\uh 3IlQ?bpZcf+D.1G[9mwH~jW%oj6ͬG8>%$)׈ԍlOSiJze^˕2MB]RУRL,=Ҋ0̳xtYmč 4aeE֏7G|+߽nKc,J5.Vͨ3rWDgصu3tzz/[XϩnD3+y$!F8zaQ݌2}bH簖 Tv6 ⒗R'4N[=;VBtU&&;cvXeg&*>^9:WlBS ͒_@nT [} dYn vylp"nWGB|h5sr',l:Ǐ`s3J9P <-+3I][ D_ a-ou+*(> Q傟m[={47"k~2665':6U|#J1lFg-ejnR":*F .Kt|#0<Vy]?*i'z#27oBc4*R_ͧy(yl5sJCt@cN@}R7KL]}C0<~W}9̈́R$qyy[IbUX{/}r~A`:TqtrUԧ2=Six-.6N$/1{NU3"x~F f{+/I"dm{PW"-ׯؕu$oo&PyQt6%*}I-JK&Y^^!I _nd;i 7{flaCsvn^(,lo*=c\EK]Hʭp 't5 -#(z1^,'S2ϣ^x)2  v //Ǎwi|:6U>- ba锾Bԙ9/oGbDtbRYTE+Ri( ^ߊ)IM?|+RԗLzyl_PqO}hRP0&u:ڻ)cdxtoVz[:.xڛ7~ O~,עD_:͘^ONnBM'NpVG.?ߑm̤Ax.PTmPdZb-xJNm?:%)!!).a)po xNa~C C2|lpd"%J5EQs*2URw -V NO[. &bNE^6tRr\Hi{&q#%=U_HN:DSYȴ'nu}vDel N|sGP$U0c4@ yg^{(2sc!PZ<3V1C-A9XUO?^\KlDh>o0s r;V:u.<#RҦ^SW:rْ%rK*W=\F_Sb1īUa_Rh 33Xz|ILܴ3B1;7V8c)_ 8 PsĎZх!$a Cׁl  RVJh QF<3pE;Z/~I^U+E7l"Qް_@:NH0~|-'1LZǺ? Q[/_{9%fkۨn2]6^kWj> 29^M*[v愕5"6-~Ĺº:[&2s}Fa'NPO ;oDZiZG K<Swm#jD gNtcۄ.OdI$)9}#vXx%:o](! K&w7Ӹ٦Uc ׻:ڎA*Q:` 'WAy1?_ s_ݥb>Zm*+h*XjŘӺC!!n08NI`)eߢ|t3\~N߈0n`=)o_UpM 'i {#oJQ;XކHHrb 'w.Ϛ;s|9)u3)td@B`ϿwT ,MLcϢtǟH#-Z~ 2< n$Ӳaſ=]s\wmYok]6! Dk|&9|r6 zQPy{M"I.c{.p̽,-l_Q4ƞV|1F=-LxCL P;[vɹo  mI~'q 6}i̗|H _<y25N l(c޿w)g@wO9rn> 3p஼ОC0LCviveń!xEam)exؐG,~ mJ\A7sârM[2=ږz~ȎaCr1ױ[\7+pJ1 ){.Z!=nGhuy@p60koPeRqJWw6X*PSY0eidu,@,h f5>Ts8pr@tA^<ʭ)NKR$tB @pnavk^;ݕNvvp; !a-!`,hw"~+%/[^S#W;(?G/nؔ]<ry J>/-L,Z2y` rj]_ޅCPiw~nh.P#P ygsN]<ʷk.<MһM9)Zhޏf gZid\{.ey^u-{4)E1& Bo)ח q 2!w[G,F;)sF#pNgaKMYGbH-B񗉄̆-w[OYGV^NIfc],9Cw Z*̑9ΣWkcnOa:eM쨹D9 wea-?sV)[L}A*#1 2'pB "kV-y ^ID֘WJS }dxh3P0aU/Qn؅ }η;ODg`IXA3~؟rw,>ÔIÁ+ح4'K].)Ho,uRӈJgD@:f խΠ7b H3^ģnsv ?jr'[J"z| so)P"!܆nҕj GVeڼ288O,w?HM^R꿼kc˱3N94Hh?43TMOeWк%la}"0ĶGdVg<{H6mwC_hƂ'`%\!=^XJu=',Vk_0l;S@HNI$1L}T^a 10Z?ޡxIuDe2'^gsUf<(Cb )v{?@eY7cw @LDj JMBRn:`کJ]s2Cqug3z'E(TOY%yH; eHW4t5<# b=FOUs<鏴(1}OSyIHdUxO; ] sv\~F8{.mow1ڥO$#-K)0MI0-u^$g Ќ,@]nRZRJ|MHF!"vk٢L9/ "Q9(A-K^T7 T D<1 "T YXK [ԯw'Y*(1X@Yzr4fi}]-63fKi>Ӯz4?Tdǚhښb>Z5hWf}݉92EIZJv`ҬC+lQW{iפA6 rW_?A6S}ҊYԏhgh31+>-|h : ,yJ"d)]yNewKhs|Gx1gHC"zQ-ꆕ>cXw4PVMrSϨV[SQغiu[[UvN?^cj>Fj h^0:P$;Ɓ5 9bk w#GOl"l3q?E[~S=Hy2%l1`+x@W^|7u˲^lZx]h} /GeR +eДU[s!:fG:7w;jcV3=#JF͇g_4nH]3Aq4\p\,ohOjum]Ŋp'N;=w]+}|]n[o*,β9/?~giDʑ^&fOٹ q~)/`ovt2DzPFLT|ŐbP |FK4knx|}s_5<|[85_D&tZEڞߡ|nxzqLQPnjq%j{N^ynob-g[H+WI⮄1ixPy*񢈸*DeQO{6θG/9iE6Hy$M! @wڲX \'iK4bB'Y4R:’O!H~ Urr:{{B^ ƒ/]c > tP& $xU^ M8J߲oʔ[F':QL. sJ%|.H`y'J=GÝZ%KSÃqfWˋt/uu:l`ʶty@zb2Q;\L2ȯ2 bO5- bocгޙ,,^t\]3U4v2Ƌ{ c[qMfbXhXe`'E CG$M<9mx3v24~ys&^ mIl!a&k/ƦRej<.tdʍ4×w}DNy/gGSHr'QcϓuF1HA!z>f|صwZ(?cOC=D Y5l>[j*{IJQWvG˕(꺼O/";KSLHʢlg][P#SV; +<Ǫu,N :K\w2Qu6M"о̭ApzCwOD9H\ K֏C лGP@S97%;m÷srpw#ζ|5F0NRDdJy(YRCυi4b6KLdt&6: KA-!`\-NtnYZR;ׂX4Sֶ< ^fLs Za e*TiJ 7* y 5ڨ'qGƳ^Ow@aDDۇ`Zc'ysgs&D۹y^J_$Pi|f/Q(bH(.WfTӸ~@4/}M12kDmvޖ^3R!>OKk]V(݆_&Txl(KY~ީRY.~v:Yٗ*jUQփ/5d0Ŀ¥'V|) Nvu?#x[c\/GT5JvC{ aS>FtMDf;45@HXa$x?/bP'1ߢq-׈eX{x$!'g m3| vFn8Y_:)>Բ̹=Y:޼ۓ8~&W2;dt\:|3,9בR:kN]PZ;l㼑fBtu.KjL\s"B`=XXCmt0gQR +^ƀF~Fu%"B,Kti뒋 _4?p@`a2T~JmP6O(&5~M ɀG΍U TS373J+יBHb v6۬k 2nZ6h qWH90K~wΎL}؟BY9YN;k7ي|*{9oer_6dϙ mw5]]G=݈6eDG %>xpV֘SE޳GL**MBJP!<0g6*&A(![@oD(OdAn9IZs†سu.$~J8OP%jEPJ:R`š9Xqd,ab $a7s$"lY)Y8SROo 6 Yp }hZWY\~37QlC}֢m7lHu2CƞjoSvdaPe9KtLg*|Mf*f$ 3NAovᡴ7r#=WڶBdͽ6r]ĝAQN.N@e(`A\#\_Pl'CO-<,nz?3:\s~e [Ғ.9sP&)D+fS?NNKrʄ}o$j y?_#r7\s{jOv.±ZTG+e$+Eϧ.N]/="-622zbqĿQdvE:;uhL*$݌7e+IћTӫ[wo@OխU"(< ΧDrTfHIQJ1!$ c!NT cC*Z9A]CQ3(JȖb1O.w#3'?!Y}QXJk^т Uϡ3{#Yyck~J[WGػQWh|ɽ*"w_Tv9h+ɘg%x1ʎr f[e42hqS5tv(4:…5 i:4WZ^nbA.by ;nVekz\Lr{ :(&TĪ:aAFvɚO=ɩA:}PVz7T:lnǩG"ǜGf Ǐ&^iVAO)~AgI`Ov]~.K=Rt>|Xb9񬛴_.LsD]]ؖd{IsY'f 9-_;f 8wF92/Di:EXl?tj^w=FH#Y3&[61% hPg_*ƈ//-W4&_eb 7_<0 ?I$(pUMZx͖\|Pj=`)~~ˍ;\*}K)u7{jծQx~pEbP+X!J_7*=5eDYZʜA<`CsɯCGZʿf6"yIA攨9Xcwvn;S.Ju!>Qܲ*e |Ғ0<;~{O'#$s]TzuYI\|@ $v?[s)5=H/kEըfu*)8+)RCTT-"b/Co2ҠN.BT[}(B Q~TwV_s[fv_jC2N7EXR9*c+ag5|5:` , }˲k̝g⺄k)EţV=K*%ͬAd5vg'CLJPn A4 oFIlggbS 6\ďh 2~/,Ɣ_@-o>!{#b7 m,TW~z9XWl{¼ks"F{U>̎C=Tfg\\}C-``!\WyT([؊nL}ĞXxƷyu;t%7V)ʧMm/ƞ1XGGq f75F;@H;S~RtW4 o0*tJE7 :lJ-dwyLxce/*eM}Y/% ,Hu$gCx˓]t̑hp1% xE ĚAg -7MFEg e׼>17x{|zx5S=%o^ߋtկs:Ā03rn+(4@oo?b- 8LO@σzjԃ*uK&@fGkͱvf ( .qjn"I:>mA'jVv,&YaYz' *F*EUTb:lS}FL+I_x.ԴTG +u֕LD| xuw5>riA@ r)j/"7<麲 R Wp)nKB Z"qVJȏÞc|vT0` V~'n+\9)&L!dh t@6& =tAwKCr[VJw -?iQ[CGH_N/pBa{>2Jǃ gVׁ"n:^t+1$gH0:O"\NEϝ>0.w_ë5;Q1ڗns*=SXrDz:/hdÆlV?gX?&ĝٟRsTf HSdGSg3b #i(M r*'Zkkh%f2TѢhoC)R}zc=Y!NuVj; ״s N)S *m%jΕGZ\2o`v*)OT0PidĿ3*udc=ғ#P08AKʄ}RZ H,Ct8+ sM2Jz Y`z`E_#26%~?bj3DҲzRNH;gp$kBk#j Fkڔ=Ex_\LUYmaeJ:Piv]VF+.y(tsM%vo.*|Rѩ5${|<+G Ɔl ɽ:)X (9lTt .C$TA7tT8;;cy!B=l: >0JBo,wCG=S`H$~ izѮ,1Ha ",!xb3=|u-/oy\*g _[6-e+'2{pym"T}%mx0'E_ɲ4d~cŔi zmp7*خ^/]bRZx-Q#fZY!R5wiwbe0.$t)[xBhL~#$A2x'Ag_YHbnrQf}~*@2)S h`ghp3}jV;$"gYZ7zXZִF! K]ŗXiɟ1S:JI 5i;\ŮIQrEw/%+qކ 5H :-}'^KcBѳ--0HD&fc:G{3%2W`ډx}6(G{)nCU e ,ց Q(`V#dQ`Y:Т<0,ܩ,kzH.9.S%cZ &yե=+ԣu]ݰE$!!0f9Hr@ŀۊU;b=)TfgY&+$NUf6U&g5%`b dH( LԟgYZ7zXZִF! f]ŗXi%L!u4_O"ok ϯk`XdGX&MG"ƃY':U':^ʭ6t[1y{Z0[ck0ݥfM@r~YSnK1g(sj ' MhSڜk,t ׃FkNc-8_sķ=Q"io;/]3a7%ҭJv`3 _O$,v3$9gjE6C=@h,yAfIc'bJvK\ʜNtjÄ$mϖ2FXo9^)%I;u3)GVᮺ" 9^\|Vv{ИLYQ\ؗNMѪ8] 'l팸M$,QE"1g1Nl2ѯj^&|@4>h(q91Wh-!ɣ q# ҮAsHp(WOOT?7w<|]_%p.c0wH/^դ)f%^[;6ӷEJ 3Tx>7**i0 )SV~4:~m{:u}'Ϳo|ME;jxe*Ol-WmKV<\O %{A=ܷM F͞SZh&Nҕ+!}Q -KaBmW;0@_(q}aFQVZl 5&  {th/iAB_UPhe0!9 pPL_ g;Q@7 Rqc4 qQ v Uvueq<VXQONFzm 6b|S>(d]wvL j"W\0A8 :zl.3rtVv]]lMIUd9iA=Z1[pp:0{KJn$C$crM@t˩yl0xi5{=P/5` x "aT冉 o`ញ?^S}(P%:޲ `0/Xj TQ_tusLC~*Kľ:VYR?F,Q봑X́ ʢ|4yA\ڲ-gÉ"G-. gut-~ &)wrQ d:66z+E*c`G%e-3/~l͘KElvk쿏7 /U&q)y7 Ź{z88)x9&žգVp+F#6SFtOgWY\EZM~baւ4>drT ȤH6 yz: |:N9(B=V#ڟs<2ڧh]dFk@R᳏IP{H]YP pnP~\A,L a8P ~3V`QE}[AJ+2(#X/߹jr&D={DUEL; MIj<17^ BmGr-aDȹ@/Fgw??}ZA;\+9b8Ӎv;T=y_qV<.Yu|cNUyQĔ1 pޔEaTƨ"%\IN0t sBykڇ{[[t!˥-`e#" -$zίk#%Jeuv0=qOOpX҅PCz%2]M_|UzơH>=yEn/ zErl +$wNΌt)R;KpG5G')^XEۇw9cddF!Q 2 ,MW\RtJgp̕tCwt8y4)P]-j"DVy+&LΌrPHz[Q0Xf[Q$ۊTI8_ۋpPufDZ)6:!Y,MF$L2ѩ >^kDrB~IjL# dZ bt@ F>0d6U|#wwVFA`D܄p噄n ;SӦQ'@Iݍ ΈY![e2+ցtv(H^R -KeD~`qYHqF#RNWw-r͖aT=j' g o%ˤ5fOā\Y5+Ohq>$H&6;wFE /3=,bՁ%z4A]VpiṘ_y^ EvKQڠq2+Ai޸^VH' BJ//@}_sz  WvtLYǓ~1Quף|U-(9ߛ[$]L:ž}+DMbyFxGM"+sW%zA*s('FԇnEHpTԥsvĹ6s~k18nou%@Ε^W4=glCTZ/NS<2/ Ƶb~ j-ӔX#PTZ^Xz*7ߒ.s:)QμBj;8^&Ac$&g GHmsx-H8HG ߖy,CLڷH4#gk ~* KͣfL|/4L,to,s'( f;,}Mn;ژ$ZeJeXwe-j)~ȳ+z`VV@;3`m FYc}nd T _Dtt+A)V\ᮄOɺ 0e<5O>/wةr2ܿ[#?fbxIK3:'?RbZWBZw2f5WEX β yOT-YӇSSΡA3E*% cBr9 ϧn{bEu4N?\Ybf⬆gݨt +T UT_w:[ v\[tD w^h'?n/N:#j#IY xu7{SYep=>9Uk8vr&+y&y\[4?-s;ax˅c=ƽu0Բ+ô7|nfۡDJ0t f_B1`hDevRS ˜>Oc? :qQ bBZ!h.,Tց<ϸY։^ Pjyt- YйBz7^^5rx.9 }%>Ww/t6[A7L, 2O&A%oCM]2Jw.<4 ģ2yYe?71Џ!?eUFdKXN)|7iݜ.a耦&@)wЭq6 ֌Ic?U5uR)˭/(Ũ 2>3ϑ"oRtXW'^h<c(?:sTC`ߘco-nXnvC,SRX1"Q#;asx[lߙ> =4;M;h5g܏0mOy`WC0 KCN°|2yEJ&x/9~!w6'H).1J aNo ?Ãz3wLjqgB26'IJQ,Ŀwb`QPi K/?Zc +Ẹ#|UH;Wf}עt?W+]o1 c`SZ ߈DMIaTR p3A. d/&`o?JFaڃ:b) @Mfij66%Tkq.9֏[Wsؖ..z<+?vo$\NeݬqԷ2p-({ D'~%3 OLagQ&.:@9TyoHs8F &l$+L?\"e]$ g5?ɸ1RĒC@S!^Z]fW n b{J:aI15Tρ jOF0h2&CD[b$n{Hji͂_x)#*ĊɮQKt.x"363? hcQOx ձaj&Cg#ZH;iO&X= fQM%5yܱG)L"6R4>V8ĕAnP/tGN4!.y n#۝"gݫ%l?'onS]Ѕ{<Th'