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 ;x\dT ]/ HOL-Quickcheck_Examples:threads=6elapsed=77.208cpu=198.632gc=11.2447zXZִF! a ѧ]ŗXiɟd)&]hS.J}+%b+trN=aQ hbY$иoR:،V.Z3qW* CUKXRdIa~3B:kmHLr@)k3|l>j'L/&NdV`CZLQa zh~[׶1+N:tqO=5S?yeD.v CkFۯ]21}@-|S S9dC@mf]sKTDCaJ*޸xSI< 9 A(23=G$>$^^oT/ Fۼ<{0b*C`,cACɪ{E AzrqYs’r`gnr|Ֆ,P;wҩ @J_FD@42~.c94mfXI.J]k=IH_q06؛t.e^/D@VfS[34u _X{@iA:ݖ!bj bDwxV`d3 @vnP !V)"[@_}^esGS:'Z"T | ia"T[A鹍/gSR^*'mqL}KF\g^fܔKi9bMƁȷhWdg(/7VRo鲷BÚ>PZ]8R(mxZ*x@惒lfZع4/iC?>q&w"? uN |J?/硑ئ "mp k0`p<<(B|#T XuEnpc5R19:Wcf :iN&$4Vtpޱ+hsȒXV"foV=<4S#42bti{3:DXy](,vbЍyiRm /66`kh# i*wGpx"S3.ՇF٢ZY@1>E%|SZF+&|h;n2AA6(7ݒuMI`?+F_2BV\ fK7b`YV:7}du8Sރע>'Kر^r=@ I#LEqtCdzY3o%?jT\l?GN u˖[q05yl1jZ/ նP!x{c[t/״1d^yfQ4= Ըc(S1ړ\0R$0$G P=?C h{YNfw]Z6]I#{Vѳz wEXWѺ{z/0 ˚PN d\1D;$50R8(BlVbD~rޙiUa#ݿ@*嚥 [5dU@|ߩ, ƶ%:ǑO |e  b@BHA^,A6~ )KMT\sU6Q#tMtB)8(ekH,g5|m wx1=2'OuE'zfz|BU[OfS^bWv[R|qDA\oѱ\ `YlwRTur%c~5F=pfYoI~ i.{AC<:kPzEqd 5G-5;`T&dU/YQfSu^!SmբS oŧ Y!:2rEtcZң(( y弮ss o؜Yꡛ9a][?/Vci úRc9S+K;EP փ ; HOL-Quickcheck_Examples  `z9Q3-P^o=W=gMLUa I7R-J./8$5 'r,Q`)Rȱ`gu#L6F4nP Fv F[ƕrV@a(FjoN^9ZUia:f,޾*-CFa _m\yL&ڞ8e WkvadMHz,oV&)h'x4*5SA?D9 H_t3I@O?%ǬZݿqݒcI* mj {2d#+JH9)-szk{m7 G:~vЏ>2d\V.ԃ@<hcr' ܹ¶N`^X,AT㐪8[͎r26ygsu"Wj~v]ϲJUR0cBV Q̠Ġg{\ܭ} U,ZeMn01Ymǫ)kԡ*N1궡8 evV28~* )N>m)}a{s|`QRimzlmlHsş߱%1oVbˀR ˮwO.wrB`H5WGJ!BB[[tڠ+cAF>^Otb5ДH3J~*5y͹'* Ƽdšgg'02GuZp?ٵWS"bAV P?ceY?`\2@gJ^nbiA/C {"F).1/x@[fn&Qg wurʞUzmH7a5|)0JPӿ3k|Jeu.ƊG$L1pXѹ" g^M$T <pmnHZlPZQ=7wNRGOG[|eN?>;,s]I{H! d:wKG㸶%{~I?)T32. @#,NV(`Jɵ˥46IVF:˩{* Iښ Z}c+n$Mޡz(7P2u};'x_ ;yQH6\9(j§!_3).IHÂTcoc8W3M%oE 4+HH0an o}JV(Hix>|>; Af[VBk}[א{Zr;!*/mnMAcA!g+sj<`k$±^> 8Hա&<_}n(nuʒ LMFvjTy.9+*QYEp9 ֻ/^5LJgCӭ mp|BA[]jD!it~Y%,Ĥ0yK,Sš -?[ք˧%K#f6Z66V m.2ٖ"qX)fB+xR82/y_;YX<5Ba$4-8X^$e)sK+a+vMѿuB{ni/Ty[Pz@#%kƇr7p3β=G6s9*Wt*4U]8ʷ f  *{n6ReX~xF60^>tW@&~/Iz!<"JyIp7KiqR> otMkL Ne|9ǮR n9Фf,4] cb4 0 Y=?F19;XHf('b[7A-4!CKIUbjWT R0T*/+` *w*kO!/^H52L/Ôq"Fca)ǼR?2*B]'NK VeaPC_8F?-7E67raK> G< T' @OSTra ?>wۅݿOT߯S 5_ *)\e vfDJ\#f`8%+LtZwz0#=&qf |Gr| !|lAroX"/YOF&ZR7RxF1pEfT' Ddpmc`5a|H(D0Ե!D~LOW -[pܸGp{.(J&ϥ`cۢ1"(Ode<|j$Rxgi؉ψ87̳9c췮xK ă'v4]hSf,iDl_D#<>+A1(67r3t0ԏ(vл02ّugdATfQ@9-aW d:¦kvHbޒt@Y5CHkT :>N#OKGJwX*O*ˤ`P?UfqYP8׏=W;a@>by{}=*'2gI2yN%@_cȷAH󊿑@p^=\c A[uOunX][2 &PfSٛza?A}e6><QR0.U&yF:jߣLbEA&$Ѡc qWɳp~3 -L_gNɎChgxlO&`I#{izI;?m Iԩ>J^wc=wA񯐯՘_X4Xo!H[#.!{3%ޕr! !E)9*Zْ{'_Dտ $)8S+*Vi,F"WrSqAA b4[Ј1&b:/ 0},2#ԣiLpV/}bS -r?5lK8`YΚB0;q!mrxR1&xJK.d"L*RUMy+ΧmFGᾊ-3S^lvy(uIǥbQ!nkB :4R^1(.x}ëF'/D9]S`P\|Z'^Lp҂Xd[|t\IdH(fM+DW8(m|=̲V^O#1yO!T[|i Iŝ:ZX1cSb I{H2߽#bKnk$mIH_QdL,`B{,a9šx='`BTg솦꾀DVM?H;wbk'tUy d rqD/1AW]FIo3ٮ3drhd%]iahN|.G/{]H\>UӺ |B6i,laS,O-Pxk_ZIt<-=㽎9()mLlx\z+)op1I>><7w׊D̵T"9ϓt Z3I(yj8_uy:᪃øh.Ugs(g*2ܶ6[ϰV@kфŘ |*DY_[sT(^tlu-DP+v왫fvݭ%(p /p7wZt'tĞX,o<V9`-V`;!i}#ӑfjf>Np!L q dn+%!}Fj T#9fdC-P0"n>=qW7 poIjY[6F}/7[X޶cǜ͆ LW'hhQ!6:o0)'i6!V6lZP2mg׉}8NAG4p,|La9D)}5{RQe .l9?Ȍ'6%|K٩mUG7EeEgN`櫛cޅx8+3:&v;L>X(ާKF!]EdM(xz(6jy )Əi_0YfYnt~} -P̊6l8x,,J> UCUb{)ȝ-N B Am!O C{d^.F>Q8QĪ TY.xǼe;zHPsYK2"ii# hʎt8lP|"8*ճ~MHS˝5r_Uܓ;g+W0f#p-p :yJ+a Xyq?1υ.AwUpq)  E|<|{d0la꽾T29W$~';}bS߰(j"r9|0@R.6=g/ZqJAp8 8TR.56v#H7)I ԠmuO^G-l1N}ES';!.鼵8E(F AV׏Fz׎y:suU=4Ҫ͌R1e^{"-8>hDZ: ,rXxhGKW0 U|`g6D(* /<;\AEd*06WgA}N)6gaY{t9#MWQ¸+>Gqp/MSmxbAiM",P)2f4r~Kt'NkBȥ?(rzγ o/w#Y8HBuڀdJ=4Xm!\ 8#%GZRtLo |X%ܭ a?+}#oQ% 0gIt]Iv^0$cB!ă \,b %=Q/9U Rcn*uhD.^C= Xy ;LB,|OR:be@hվ;Kd;AcT2Լ j_k| qx^!b$ mB/џ c\dx+!;N OJ#cQzisP㘏TK)HkII-b*%w0Te7lB٭Q\[0ɸ(*q2r'tR۶5L݊vYp{2\J8otMjK9ucHhdIN)Gi%x ^;> 1ܺ76Dp*Ռ!n5rb ToCqμrw+\ @c_Q#v"5htBӺZy6Yb |w(bm~ƻLp-`cSQV0'|BO7z:GeOd͚'Aev? ظ<H Ɂ;R$~BԡsH"W% Zܯ9'T"5WOF4$XX.ȟn2֖=1Iy49(]~?;(O7pzBFu&Pw%oV<ߝ͆NocFeR!5GP߻QS<9#Hvcf8uh_ϒ7벬u9ٚRB:JXEe1nk1$Nd'ø&Uް^ ϕ3 =\#}?)&78{"08?jRlvu!mIZ(r1Akz ԇU0W#/Y:Ox6CT:*kފ|3SJAο7G5Ry3h-=a8aN7a%^}}HHjmrZlU:Y.V_=Zxl4 r/y«WmAr!p7juhrtLI6[^5^^jG^J͊k\]ey-8쯅}8t9 -4Y紲vvhK?wY*SY)aynLK0e藪f mͳH=Pu&tgG*})tQ ر <W!ȮB3{nŶ ),>w|4݀@7B~0+F.[viE# C"t}x\7w4{qE|B/%jJPʏDY )!B> *A{_!t̝CAlCsm.K;.']HE? L a@ʡ/k 2YL 3L.\w`0.3*X$An2x畖Nj-BsS"A7Ԉ`U>Y/ p++ƒPДzc>#!MdsT9.:q YS"2Z~Dvaj{Fnf* 숈׭'[DOPk.tY2a8gԝO.Z8%m<ҿދ+CqdE,)zAS}/<if9^Dt] O!xo!g"T@!A}Bv ?R:CB未?sj7+>'{Kezٷg.Qyq>Y2Vws!w2 c}ܓ31͙aiȀ \"} a!D37wGS$y?R{΅$}{x_P8sT;qèb8T65J)245c\fm3X̦d?*:C?F)?yzU` ED[4Eu* u$=Y{uB%O+ݭMH35e7|dj E6n3OW둢_XYUqO"}U<:W?Ҩ#jZ5y$GG/Q:;U]촅8&מ>p|LljKlpD8o=EL"rKLϕ,~GvIUũ*]fX>aG'TKqkC~o3)GQUI5?>mL:[nx#S܏RkH:zŅ7 ȩ!CwW)7ڑD 4P+&쯋 ɢ;A+|qC~|)S\ɨCӶ`2E58 'i~/YTǿ,}6oA,`WG$v<FZӕ#8LW2s17^&K={3׺0>9EVk:LcY;ǝ&ЇY\vH)Aq'kL8 -oCq `1bFԲ`MyOlM|" /UC,m~XDo 0HYf>a>؂najHAv<|=G 2Y\8]$̜v1+v) =?5}vfCiՍ?*loe?|~]yp nhHZ`b@|oFح ΎF. W# 2ם7= Ha+JWa 2>!%fEHdUI~rPCIh_xRtgJ#5.fQȔlZ $ Ca?E.szp;^x5S\FNnM$3Ώf4\)W݇p }ϵ܅ vmENx󝍝_1o{}'s6_ Y#<[l&}CG~쀇~HJ,Y5w)gt22R R_k2Ѝl]vk$FrE%& ~<:T3 ()n%lyD hKs%v$3iƛnwޣif2=%? E :!$PD|I2ԠcPzģ X^*jPQ#[D/NRlwB6凾jơngsi5>yw_{#{A=w@1sxr9 :тC'ijs+,$3.> mN:ĉ8v1%oYM=h{;s˩!挻1Isۢ2vJ0eBO(LjH=EЯOh,|X'^0Τ#S-^@ }YUN`ey6$P~KTj;3(ɔxj HpBG 1CC-! aÁ>+p 7?HF#q-sl.Ӭ/b[A{LES>)R/96N2Y[fmei kP:!~ _%߹ai?djC1ŐKTfRѵ=ǎbfQgw#b^QC`r-  0>T)ܟd@|W_8U²*U=n,NA#8wg( 7l!=FC @$-5p4wa,6~ W{nl3ٔ2-k65`٬Ko9V_# 1 AOO(iۍ#t>\\R V66^dBoW0L6tT~0*oz(LŠжQWTNo`[!JY3+yfˮ\CfGܭEvxg3+1i!mõiΑl ipZKҺ:N}pmxX{1 Ԉ O_쬣!TeΎb&C"ux[J;>,yלX~^&۞8˷nT4)>]g. jh<i\l7İ%$Cz-bva.;x[7[&N-e£T_!V%T]WCEڠˏkV J&ZWNSht!I>yRv~ ezfy87#L^Îl#\8w<8# M61PӚdጧv>=CI#ز+p$2g 3mt6q!m:<ߪ?WבC ;N;;ASM֤(c4$#mj&t[QFr;a&fP вO GKw2i悤&ۛ= ` (XMSq6ܼpi1 E1  * M^z9cjZcg.:x-qNByi76_VF'J|XGo}c;";c]l}*_g7[xͩea>_{^)ncÏP2\\ڽ~Q%!%!OOĨGFjE6b[3jRƌ4܉ 鯣kr!a㏁00aKZYF1' J^a7l=T`FEf+Sm`^lU~o'vؾulo NKHj$(ia̽|הPh=  82|;薺PlC|V*<3U #b|,=G 2",^T{ 6  >dCہ2ͫ"`l A+?NO<~wp>OD\Iy\s_tlkU(0/gʸ?pECv::SG[5>B0BS6 `Qjf^14b}Ę} DHi<~zRX_Szz f]n* O2FyUeϺWXkP%IEx~=KlMׂsz )WK{hm? SN?C̾QvE^ !l{VOw\ǏbCvgb|9d˽LͷWőKm(Z@,jjut,[+ڪv*#d^ BxEK|;癉}nfN?ts@7k]/k<4iMB FRq1EmpqCqMM#.z%=|+vzw8z(j̿3++t{AYv)``3%N]?4 t R)w*(eG8>|Lc-$}[]yxW5NΈ88VbKHHoO)a9d8.D_/TI+tqdU[y#ss#U*,F0NACZkN \T{N%%\3#@+;;Z},.;;zQ^c`8$9?,__v^q/" 7#ߥ V8\?ˇb﮳HX`]6h{;9$1[1< j ,GnQ>Mah B`RѣPШZDT]s : ȏsw;d9e^͑j* jW,1 0n]7\4%3R2BsXQsM\h*cߋĪgdܜa]$z?U̹.S 5{# &wd)Ws0E\~d6d¨BrOT<bVZu-O( MaWxֳOEJsKJ Rr3_ת贷/:dQ=6Jrh<#EW h{/Pٶj>j} TpWd:4LsDV2>(s}t.抉9RB2] Kiy^J>aQA.4J^K]oBN^KrL|zPM-3wjG+KX5v5 0ѝ%8s:F VDz0e.e-ϫU( X Dk/Mkqc3Q]T}q Q~KtpY*%2$<cOr+0KkBD׾EH]!?06ϊkv k݌ra`tXAݪb4azL2cYY;xT_3TZ"RM駽:́Y(]$: Fd y)飜<դ.?aJYtJɸSwo&kl +voŨ$pWml}ïD9NiYFցDC5P+iҌX'%w=sjNoD8VM3Ͷ>MZ`T⪟AG[ ?V 7K6giUmhUxcHmS$9Wk Y (ѶcaC9(6#NE]20PH~dqLjT|c5܎l c0/VKKaf[Z iRŠ*nК].>Lqڳ|WFVКcAs*lvŽj+L,zi4Q>+.eAwt"RGA3q~)E0Hvmf)io>/5 ti%Oocr #aFo\[,M\,hO+' 2g$9fddh`v22Ϣ%)mB; w%vAq]qTgI,1e~=7U]sqN7̲ތV3Lz~ dP #η^~bAfvqϴ:.m၈^\o{$2+'Y)*vugIBaDm|3kK~yR&std7+%ָf(I ӏ1T2\Y3l;z`o@rG6HƙuI'h&`9F[b$|8tb-QJBAMZ45WЩt5#7gƁD a6 Ƭi@SG N. Uu*i?Ln{l 5rߏwNB&G/@}ąxuDS5,TҤ_M$ӷ`/R۾I'{"[, opv΅a^-UҴ|K_?sGECEzA[~Gr׀0;Vf-nZaIO &v5lFTlqc>06L:2Nd4ٖl67j8v[Ptﳾ$,sDvSռ_a+Ls,̮HRY嗤S'C-I@ޓL|1w]Tbl D$Y㧜ꏕbgTAN:v1 pRGJy&ߙbj};].|/C Dx*: h,:Rp%n}> IC냰Qo98bDy"+Hh5$qJEPsgs"TߗyZqc+ZKOd/FI_E^>^Ds,7gSk0%TI _"1>蠱/ErQb#4ݢʞqa!ik(,)]' t| knylTbirKkҸ6y p l?BhRr 4Eԉ@^3(s^^@f n( ~#:9/&yln׿fClŮIl4޿WI͚IpqA\ k;Õc) E?yl: Zvsl#10Nt QfofƥTiH__~F,;cdKI}wlё P)ϑ/IF=şǃiLijCEQQTڝ\VHȐ, ty.YܘԼm]_<;2<ԣ€+ؖV#;~GRӠJnQ5U)zWS(zsl@-Ds /}G|^Y똾lےV;ߗ Z ^mI`7?!ŋНݟvl/gF mEW]/҅+ &M9GLYKOD .H)]&>܊n!F,@OQ`X-<9RT>⪗ m,J5r yX8*/w&=xVmđ< 7V-IAT!DŽjxyq}u>.u[!ֳEieL8 NLs1;u-3^4)f#᷍ 4{S _"՛ pp%o_ BcjmjSQ2f \fdRS>~"Z^96 u`bIN.s i}lSÃafT?_-c|7/O@R!F+l4  a!EJHu.0MՁ 98~$t23s?E /Mm%_;ӘaA>&ɻ6qYfNM}ܙr->Ú/.Ӽd ӁҺ JĢ1:îƞEW@~\b]ɔTY0I-f5o˝a n|[c\1cW$K N;\&](DspΡ59I:`Feg[QȄmgOXeve?9(BvHmXDqu1$AѻJjw3, گh?C@21ZE#? _$젵J 6"9sQ;0#ڮ=`alr?6B0즥fn}E~DXA!S@R`\R}K@ +~ؔ})-#.l'\&-euZgO}sծ_;0<2Z}gnXQp/( Hү4)9aӪğAf܁מcq cLSS ~( 4[eG)vW"C,BmɄA0->2a|PJpJnD7zTl]ɢόENفy}ڳP.]/ѾAfU5ؐo,;%G6#j'Z+l<|X`|$|WP(NœC32 M48YȲfLzݚΖ4S4,SSA VptO [`MQTEժlw:ՀЇh[LS7 :Nd Xy>io@5 Ee8a^\T-C{SeI.x e zy7LRAs IRfQp0 >> OK /1:][8JhbXZmI!ۦu[w]=vXyH8-D9|8#n 񪆾F貈W'$aN6S[&i}x~c#%*uZnԤ5p.+WG`p>{aB+g^AQ!îErnm)҂AP'^ѺDnȅV}yv oUm,U߯ ׌`W/K4f@d1vT.c/l9 fh(?x vV,UYKԘ)Nd(CRv%;o1E4'T+3d@WqU)On~3}"Rp!.DYUho H6bo<{4bժ`kZSnb--:)uK%#a$Bb(Z#P?bZnؽ.쵢F35G̬j,hJ.fAS}m GY{?#RVx].+PDᾭ-qgX{9b{kQ^*y\C6t0  GɊ< fBtx)o-ugcٿ[V8\@,2f CıL4F ե#!kO ګ&d=ɭ *[( l/tjԥơ*<2piPdY,(#.y>&d׽ה?1^ש$c]r~?[l̕j/;F¨D}j|Nt)e8y, ? p vJ,#ӷ@AFݿc?05ӝϑYT̊?Z,}PLx7R' -?g4gzOj"_]qqvZ&^=̴Ùͬ'-av |$@mdO 3\ o79 T vT؀>72Crȵ8yvujtכ=ݜ6j }J݇>4Rr(3ZA3p1u[ GI֖>rJ<-hלOS*cҫ!ngyeqj0BŒO1LQ @eP;s( >79JTɅxff/>WXt0,~+2#3첦b.՟_Ũwnp1=k\(b $46 aTEtG+л&ԫbl x >+֌=3в;كy߹U AXd"3p\KEĠ.o/~c}bg :,0W4gAO@*d^CB(d:EEZt|±q 5*p|!}I]tԙLvKC+׍Hn'[^ñ!wH' ЫAP977yWߞbRz綟W˟SzхpY(T4e|J8E^D m=M-Ɨ(=M?x͗dp\ ެ䓅zp#jK8iMѣz礀nXq)׻nߵb( @hNQ`\-GO|'p̜I{yǿhk 8VMd~Tf#rPs g<"C>DQl}wBɜ2_ ߶52MG>+ kD){aSwDT<+)ιGY2Ɗ~G_=>iY%^74G釚zCL+va#$Nx@E8{wDfx CKya{0~a,L%w,%1<A`[42K9Z3c}MU|0I+SWׯT +1n$OEwrnx9R^h vץ1iV'bEfKne[]yl! q q& %5] fcLvkM7PCEHDthHM=աSClAmqĈ8'LfõHQ]1;LCcu#bHeīsZ4Te)e$:)Ԍj!>hDgٝsLfpR] )&JbYjQPEc=cQPdHEd?P#MFB'LjYnM K1[4QRtʵ'3N)sąD>RAw)PzI>ꬬm^!-vm sg mG9MHzƸEU?|PWVW:PCGYrw{Z>䇘 D{qRm=2=!qQd_?/v F)4/?(]6s}s1A4&7zi ʲX>~FW{]327U/A b˹=eB5׸+P^ڻ<[8 kpOu'QH :Hp>Z#zQgPpx8FfĎ,79Գ qU.$SB\!D^XoA{7NGQC~)nuQ]8"l.X+L "@ ??q GO<|EǍb#+J/ !4rOTUi͞ha}{_t4nb*2'B@bSۗ'w`5.)~W .P8-Qs} ҷ^W\Ͱg P̯wʹ7zFA_IzB&> .yIMD=PG w:K%ΝUەP;?hr PJΰM̼!Z<<,geP禭h4RB.z|qnL[¸?fEHT+Q L Au@d$N*ԋ- ODډiQ=BؽDi3MEɎVXNI!ba6*|M<4&a V%7WG8?X+ 8NCt[^TQ̮lLJs_Y,*K{O%ρ!ClT9qw,=wa(./^ }fؖ?r~;V :h ~3ybut%K٧툘TZYS[@>{8%?B.yx`#!/A@ cD!uxQL*fjX5؄0UR\X pWd啯Ϝ*$2d%[IBHCS<4nQPAg[ļqaՃr @断(7s<_KJP> {+De6%3n-6yeA\:OBxGW=')gmiKނ:͋*jeM|)QhO8]x^u'ξ(ME?2>'a)8HVpJQ.;S%#RoGlbۄT;d5s,Z-ҲW{&}̈́S|cG!LwwftkX1)OX@ڐ}UJcTxWiRCW;prw[QO ]'66yNܻQ-n`Eިg:j(PVxqPf/b2_в-v -9%yH9TKa;O}[!\yr9><L?mg˩k2:{fHo rE [ӉdF^@$ i02e\%}g|R˔ȿ %-Sl>4gwI͔$0Y=]N;"#K+W_Q,rKKŵ?l򽥹[3]}YE{7| k-"9://~#Gh *3p:e=i#FxK°d^<ƸC2Ssuf+YMvS4%%c*_'TBGHz;vi<W!xlV#5Wj?1Q⋫W'QEToBPKӡ|RHjC Xzm`Q8;%_aG)j<577͟HRmuZˉ!qfC~{8Љiˉ& /x*5 s ZVnC#6]I|x}h9pWt&GbMѴɞg:I`Au@|To>f#o&5fR{ n>Ex;'OR!<_35S+=ic&̎pQDz E 'KshJ>_X\LS6m"mA6b0ǀ.! ݽ^eӧ!)3&[%j+/=1~-AfIͥ+4UhCj%ԭkjM2ls~J9:fYr) 90Y=03F-#}͗,$q_!qQ)A-_ 5qRUPmjJYfΊ3M|["\[v@o4.|i83@osTb鳇{|oآBb5Q.da@Rߕr6,+|zWX$ٲ jh/ :;o{rZ@w.X6 G3J ͍yI ڔWvhnը_pN9E{M+A qir>3]% BԷ<ў{HVQ 'dWdLꅞt^MJ5ܯz4elStM/J98'Y HC0pZ$Or.=#nުLh *2-]</H3VX;e&c(8|:35d~5pgm8n6JeDTڞ*-Sb)˭ &^fQڪ&54h %ǘFFo,JyJ*o`:4`b3}M\M1;'0Z|="n .E!Jst9rYwWQ% Cf68Wf^SYz iDDB[;QbbEg>ͫwf*vih9ӗ.%tl $`O?6Ң{qWQj-V$cjT(㈌]Rԏ,PiEKnסHΜO KDžX,C?QjmܔDG&jpDDsaZMyŧi<]47 E#elѠp0uam?͜#j1dA5WFFʡ2F\=dǾ:Kt6mFvn釅dN tKas*^NsJ^3lq$oj4"e "HzQ|: ӽӢ/(*&EF{KY9={)8v@tXS*R84b&ʕhR1􊲠- _QO%]mXP61>O93UtܴUN}DlgRkq.wju;l錐`zi!DO6zNZİ0;: SF"M8^+QU26Ғ3;\ڄMB.4mWl%75ϜZd PVge2!aq#XSێLhLq-XiurѲ_)?3C I$떦.BT,D#g;R0սy~]Dc삑e<I.$F}Kav`:Z);][ו-uAd' F R$ehb\` LN S/6DQʒ#zC7/d _:F1ގ`&Ȏ% 9;\]M&c5Cs#MטVflsv[497gXԂk_"&nf๮+Kz4zIF2ag &"R0.7lgA|c]NR$b>"$ B5*ൿ=" ;L"O'}$9O-G˒u`GiʽH%sG WAx]5޼~f\J?d2Z愩="z']@$_䚏*_鈰h {b{ DAd< u Ԓi$?ځyL*w LFY8=o~!ڻz\ 5gʊF¾;<Y- ]&Z?K`MgT'|\243ꄬ~׆ CeQi&XS"Z$wOFx<2SNl":Hxܒ41%V$`<`_:"d^(:$-[myDDsS+<*=8a*)nRε"n;@ݟnY}wZd!w9&uB8@f0#};KCaV_|R(Sżv6^AMRYEk'|S䪑][hsSP-3qDO,iMKV3"~FsS(=b؂ȍ+!qý2HƏDaiϔYc &seI^ԃM){SlG+=]lys(dVMԥFW Xcė΍&B #_F_lSrgOlYI'iqI1ύ$Sv.ݙ.Mt*gn$ Xr z׷ ;=3P{*)Ξd.x/͗ȫM6}fR?;rY!P=펥xș >$P YpE}'pᫀ唘kUF*Q͓!6]c鸑cLXr;"t121v#rڱăpSGB)G崜+Z/&Yj#c>KgdCd*/{},ng`]ȹ+PAtl1|9dK%V:Āpj_)ռ@נwP{gBzGG)29WtXI&'SniGВ3c6䣭v/? P9)UFn{dq5)Ē+2SjN}qq* AjJu9C tY˞F,{jǮR? c* CPn+?9c]YA#ʤvz.^1%݉׎. ZW)-xLѧ$py`n|-\Hu`íD9D$K.T5|E=F UIH:cn jAX\Q ͻb?PM(IhK ڙ +ijE2-9 GEr\Mɿa>W2ԕlMʵoʕ=%tu$g-Su$&Dc؎$U~K&R髥tz{(IY4NtՈb&h|eXԡ'FJQh7ߑknB[l|l=н8AV!b;Ąs*a{_lr:bs\OZ]`;d°m"Ѽꓠ<`,Lzk`6*ft fn;9GVY'@鹮)c!2' HzzLEIMs*B3 t-8vZBKrE7v/7sgTc?ߪˍ{}EXH^-i)`>ȱHNv޲ 3cXCn{tVnRlSjvv4JBllgZRDwې-(e'P=XqiZAP >V\m"yW갳CB,f=V4`24:W!̰m g'DP }p擈*5rJlPpAp(dR6Ǐ 琫W +-'Iܑ; 7żGU9}5Tw`GOa$c7lo?N K[8KWQ [F}<: [jyE̸3$ +LyM, JRH5iK¯zYbAe918 SlkUJ4ִjDTRP|߯\~0OLaE[z?&Aɱg]\;LZ((pwʠYPkU hA+@ *dRLrEϑcIFp߃WmZ`Wx`rҜ-)՚½G@ދm,9PGә0yXFr;L^KcfG0M: p 4%nR,㻸L:G$Cp[@ZR+ d`caCQ2qR1ڙC͔pMHToQ^J~W:ZtXlNi P B󽾈oo oLEV9J?WdbL:/m)ӫl9՞''͌!YKô8=o(&RnUAZYAu-,Vd]S\1ⅉ.Td<&'nM䔩i^,5lYn]1(0 9A2_'f^Iq+htr @ -SM@ #u9z5Lʌ$o >h}:!-90 ye<t1bN_WR҉W! &H9ƒ/ݎHϽ+d}P1ʟcxx,-ۨ3k +`\"}ܛ0<nʝ0^QJRwL-Ƌޚ~W40@ʝQht\aZrt֮u%*!)^[V'#<74Rۜk@S`<O]=|_uJwMgo ]m'OQ B:^'q%/"䦸N dC!ج0#qkkrٸ|B n @^#GQϿ1|^S+NS>uQC^N5>\j<^}N]+NWZ4+ApYv~y3[˼؎v5U`rk^rWϷr] ':7J5b z2] ½am'.Kstw:wGU! rګfhoz穩Ӷu 1^mו4W#hpDL'"qc;~.ql"xq _%xר>Ɩ$*ʭlZU0"mߩ4bʭ 159i&I; Nςx[ MC]R?o4Tp7K!'“4V}mT指G Ul;t|9`[q,Kx<&e;Fo7Zhݻh^Śi2xr-ۻBjb; Ldx=*1Rۡ|`K4a<&mPп۠D: qZr qɻHLwpS[hR\s8g]ɒ7t@L'vG 's"\}WaYqӃ@,IhaZ(~)KZ u8dڍ3}`, Z8PT(]ZqՌI KHA$n pydi?"J5#{*m ZkWZl? xoD3<旘WBUmHfpLq،-zєm+^p].bvVyFԱ@}UˬsSE2-!/aP_=XO1( /}hFh/"m&dԴdخCoayRnSfl&`dhKR絊MclC'q[x01 <#Vҫi%L:ƯdeRk?2}֫"%V; \}1ܿMEVA/b{r;&/ix13Ӓ&|Ϭ׌C ͌`$ 10TD),}ֶ 0׌?¶LRJxH0qzI8E Y) :;LTR˳jf9?s̤;eb}R.ǥ c/|{| q{`Bx)DʂHf?hy {C.[ŤH.c4<ֹ p;BncMI.nik>rr.cg/ҔF|_oQ#1;Up .U.m^a6yNWqT P2-Ɍ#@*HԕtsTM8qڔ`\nkRm9Rש  )F0nZ|9cndjЩҐ*d`p`5 Rc\khӆޢՆ\$DaZkp9v[^PRU]e譇L/#"`ɥjՏZ> +v0AåeR z#̞! t^XqŊ*e#n']wT\P p%&[(6*n(PMd~I3z { FlF%ͲF"ʻ\Z^\$V!Ž+/ 1H5"FB>m+E:ZGJ<"sJ}uNJ{Z7ӫ+"=I%%"&YAДw*^WYAhOg"1tzI7,ȴ3ZsNy<5Ȱ205ג~bE3'$pn=*B{*)gPx}M- 5MN(woVW7D^5'ָqra?Eo R/Qᰁ߳]zNâI1/zރS ?ɟš5l[E! tr{Ss8ԡN&?R=/1;! S`t($f0 CڨZ-h$Wkv`LHM%X`ƝM5Լr P@Ux&Zm 2MAN/ &tԺT]M&ZPyEԧ܆x= 83)p1X &pZ,mjs-U-MNQ"ƫ>Z_ܽPL=`TPИs!<д3xëD]d!$Js# >',Wqc2B Y=H`7cw'ÉgaI RT3/7((Jkfp1z5NU%Z\oZ 4V$v&VlD\ݓ_?pGH]1#l܈ ynu8^PM3 98T%d2`FY57&F]voX\n fs!$b%uL)͡K$ )Z1]9@He\u+\z BPDVF9O^<¥#hBwb Lh9 8 Qur"/|_7w2^I(0+ W\j18!<.>qX9#x@~p/ۇAO]HUBhՅ͛:qZIjoS^.RЪi,2e#=xf(Vݐ14eE߳RI˺Z`ɫH&T_ yȀ4f}e#+70q.BO>~<2L IF<V8?A{6M;qzY0-+=zٴFh1|4` [?1K^HΚt8aKJ2?+FIj~=9D3FXov[(6]y]UOhkĎE GIl~ϹxDZZl#p -1'X$M˂M7|C8Oى;qhYx>A^c;M~Ƃhټ-83spPh2-Ē#hʹS$,Ac}>֝Z,lԋR~G;+w˝lI-}vgFӲ^w߫!uWenZQ劜)sM~ӵX 5_w"J&Uu$Mg(;# t)KrK~,Et* lNCcdMC"a{y12~ctq%;e79Ʀk{BqS fxE9[jXn=YtAnb:&վ C Ky?{'.T$hV?*j}+-º-cN륲)si<-.9أK mXv㙢%Kn!tw؁#$ EPdMY"/J\0C~g#{c}3+4sBF)Gk0'n` tנaS%,f1tI$YX` \n%C0Yڌiϲ$Gf KN~CRTOVU԰jDW&Vwo෍hυh]'V! ͥlct˯,`6]뾠4~ *kC:- XFYPկk"{ϩdgFd'ڋlIFd5 >"~<{ `٬ n%Xs^.c5m'XA2EB gZ"bWrU9Eq?9É(BZVED4ca̴8'BKBn=wŕZ Ӫ,kˈY)>.3POB}Kc1Ӕ~QK)ww$]*<~Tup}R`H;a;_]*-@b~p+zl.WaU=E +7Knrqo4Cꆣ 5'zAhyoc8$ W(gѶIepPl $`g;>Cɟ|saݲ&D69gcf4ۓG|J/0kiD'Xjĭ$є`/ndLx׶5̀uU0/6؉ E~7"ա,,C*8 .aAEamY>uԄJyES nyZ~h ۜirpHՃx}r~Ҭi##pҎV$.Y;{'5KϽkyqґ zGѰkaSS&QM3M L_ڿ7Ao8F>BX׷lO&ubuKg.:D6 lFcdp!j\>]Jzu&x3ig[0[_LکQY1pfy?:k֢rʼDtm*QBPԳNSs$W^rۈe9Uރ#Qb XJ X/).^/ǴnS3uf$T LAmO$onʣupJPEa P2[Btх31qa2Du˥HV)TVAd-^$Tq'pv ?4Zop^<#ߖ:o!WxS$|w1sN`bN'Ĉs+ COΪqEU+<lPg PbD էVuim0n`ۖu@٠Z[]P-k4/E_X-x*2؀|KJԫg3 uo92"6URG/3ɩC꣟.ِiao\^(.خiúR$v:L8"2X X,҄!PKB裒LS16)cѶ7/Un ^^/ݕ ,# }ʬs;Оt?k5 X ,Kv]`bXxpI"ArTɉfOf+(Ğ`][R`dp4sLzQk<6SMaze:PfOL٦n$xw ΰv#_c2Ce0mQB:*_ ˥[UGlzu%>kz#!:,tdL4ZMPٜ*"hldf ,q/ ᔑEe| bXzs7^w {gb"D:YfB0,߽8(}e Wڶ~q^@y8,QY? `Y@w\4B#Lfz/s*~{_O?H\T]YހŬG(y6~96tw6=XvAF&#CVKzKc4n>|[C4tlzf!#jڛaQ &%,}5v^Km%}W)2~w.|FhyO^d im{6N }xb!qw7(~L\龎*r\Zted4P*8h1ۘ3>hOKݸ?mHo9QG͢Vk"\&_Ճ,NV*y^ZMs=jgw-]/ÑGq>/lc؏$nj%ut-ؑC4bF_og͎dҔ2bkJQHEtWIvueH".95HvGgIk#kn7vP%|0>d{͘OB ^(,ҜPxWGC gO7iƷy$r\ʗ+g 8nR\!olam3XpWz,o><ΏWjiaP-X(J^nOm.El4jux4Ja8?Sy?`H,XvofqQYHOmc@@)?KnuCC\2/&2t;*p* 6J=CWGY 6ټIݩ Qs:e!Kmm׆?1л(X$w@)3(69j*3YiL8TL8Eb6 čfsD~ zWmjQ *yF(wAqtı㱎SSb\@.Іd{ٙB&:Z `UܖblnĚU01\J˸QKF7_c&q,e'΢ m0@b3ތ8w:k ꓐ N7\& H3&)Gt߱u" 5 9kʟ]-R2528154ƿX K}Ϩ&G=WÉ=XNdGK\'Z4&#JPZ>F]'?Nx] d Sd/7}Aߔw-: zBU[5IWzܛ'^VL];7HKpI !:ĥK]wȋ"XeYi/ր[5F5bH 9:B77C{֡D\BɊv u[ blM%wvVѕƛ{SNQXi? ;G_:ab=M+8=ʂ JC[o.rp^c,91op褫+1O@ Kzj\7atZf )@:Xvy>7ILB1[J$zB -|/уdC|/aVb \>֘n)2N;?N,v%u6N%h gxS^`t&AW$񙸴M(<ĄQh/CyGPQ`hE\OI 6$Ƞ[GRC֟:g-Yn:jv},0BX#X;L͵|! 3ti)Dž d`r-q6>8 yM7upt%Fkሊyfg[`RFJ-mjtfI st  ;͈ѤJ~q^֦H8zBp[PKl@\J`=0vFX %yEV!S 25!-|oƕU LHHOa?l8*Z%qN3D/(u8L%zp]mŸW>40,W(Xlju;"f *~FfYG^+A6`:@.-+a12lE;e0/]>(*q66\<O <1͢I&mQ I_IgxX_Ll 0|4K9$[&rVHgqD@]TzUՁ.ԴO\똚^fO=%/@"f?cAMH28ߴrrn,x 爞s'YT<@g٦X3ꁬt;~B"pDes3f؉]JR`|xZ~ֳje-³cl}f ]GwQFJLȑiE@6̧7zž4gRzƟb~V[ę<#k78I+royX5k>u$u .f\40qԽ6e8pcMh^GG1sec9W("P1GiM嶰d;%.>Dxe2 ./"f:][`'Y3R6Հ<ۡ N`ݖpSvL9 l\O|f\!wS&f㺗annGLםRkQBݵgT_~)GVZ'DI!-FK~/ڭZEbu~^]u)и-`2ݰC /=K:=tR<}ض!иrFy4`?ei5)?g\7}Ӛz9_;Js\Cm=sNxT&e>Iz~R۟727otwQ'ЪjP?,f B=! K|Rr&lCg̼oz=XvmǼv\Aj +AX=~;0OO.0Q89P܈|" KLo&NH6C"~zXw.YA>"trd3A˚6o?CO_THw$ZAbQ< MCWfQUV揱t0q^F{ֻ. MO'ʼu!,V8%6Ž 9qRJuHJwV_ vLs>ڇN * ̘v^V*JV4UʢMQ S"W 4UtLmqta_]eQn'(륟ۧ0OI>3 U;}$vq` K5Pָ#Cڭ*فiYA{.Gb 4Yfi#?~FXXD=a[8u$1xT%)&b4} )l#SW]iD6!3#rּH6ToEgpO@@ijdg!ӠE#^qVAݛtV{|F'ߊX%\b*÷6VD'Xx̩I1В~`V_eT\FwE.?2DN 䔪P{ V,ժ *BZ:͢RܱߛSV'@Q<(UN]H\^X>Mso‰$)op3E_.Jبs>*KCXFo +wm|0̩ Yrd?ZYHiCOtuʎϯ9Ș!N*1Oz觻OC4}Ӆp({Qnֆ#@X#AVnchrc"U grN: {Ar)dIQ sKtx&n OaEt.^*eRuaqh2^+ [d$.D~DWy.).]mڑa3`~bÏ%Ͱ^Mѡl2s;Y>'sעrh]Γ}\4clUSv$oGpjp3U.Q@0/!Bsv4~rddZ/cF--" T\<~q6;YH dژ>SP9BKʡt ǏK@%Hd2#J愾{edg)x7<}!(6@^O.=üB!q4s@=Pуl+Mex"h.gh5eL=|BvwhI!9lz@NwG j24u{d-]bѷ7!8?ެ˷WMYG~Q8nO@={h.~(Wն{ժvͨ)z[JU%S2]ddJ?kY\z.}xu: s2WթG fҎ7/5>} 5ѸqOLźVqXJ튚$z ]E [vD-+-Eh  El8zfBkV}iARWCj_X8\8nֆt/1-^Rȵ!t} a$DZ9&R #5F" )t[Հlϓ_wPrJd'2 㰔c˷ο^/X \K*ܚ8IҁrswᐤՍuH$iڍyp*a^G>b?Eݸל3roPs,ggZadmD`DΕM}}$|Ek ԅ\DDd(CJ5@9N$=/0g9*53sc+@SFKizHPE0/t;GP2ȶ}sã)E!gYZ7zXZִF! %]ŗXiɟ1˦r+ bVj mGe 6PxↅxIrejS?ٴcGRHUk] 'aնM)j!ӹk ,!Ш'Od(θ^ ${8zZ6;qղ±H6m ҥLхߣ}M4hfsY2  Bz?3?ƖQlt *X/]R5&D,.0joMܒ MRf 2C}]*@?h࢔ԖkN= @r;7SJP>&9MKevÀޕ:`iqb.=֙|`V_'N8rq CWl(i3uP߇E ! ʤgYZ7zXZִF! !]ŗXi%L#O"ZI趕5't^hylա} @V;16:܋:+d0kcykWL83`< fW)Ydzf/"ԉ 8%<,bcDEv0$a_FՇ8ӡG}:Q!1.pAU`6ߚ7ڀLzY9%f:nLnGH0/w:8:!BE}ڢ)veV=(,U۪L^=z{2dc77  z++{#VxzmKx$01>۴ë][FJ^.+$\N7J*/:ʅPn%%V؋ҋFQ.nE_Ay{vDZa)9vZe]̕fס |u \(Bտh%31 M#H.҂'k ۛ~  >S`o8,H;גd*sf;2‘[ffHҷ8a3V:>p⿪hWֻz;SIzd**>]㱨v߶ƬT;r\z F޼lH,A-> ( v$_C Ǐ4k.הY9}#7yXVKo\.ഞ[KUŝZϜFd`Ԃ(6 CvO?70⫸\>rx7]^=-@.hƄwFo${Rkw_*'*vC߅zXhXd0$y8jd*Ld! ڼD^稴%ڇ@.zi=CkmPSAZڡ)حj#?ajYuemQDob:bnH? }U ռͯAhm%~(Ӛ*',5G@ 8 . DjkA9f\ǪZaO_@9KO&:' *P+ܯPɎVqr4 v`?lD 3F4gDm"3!!.z~ոIͽzÉV+sH]DŊF%l2*!u`.k?6D [X se;U wO>6EN҅r<Ƣ Y@ӓ 6# 琢SM\x=֕t?6`AL~45x1!f篳6ĵ/^Z-T`Z-!oH?ߖ5xh".,'4Z>z<`z:RS7-Nj\QKSFAВH_'}6zJ[?F=Πe8 @,Ь%Ĥ";3ք)DO tYBR7i]oa8S$ .c* Cp /)VA:5A~u^~P ɚ>qU>j"&2uySGvh g٬'tɨEHڛ\YY $giJ?K_"r}KkC x$K o t*SwSTDNYEJ 3sCmjs. 8]u޹9k%YfI07չuU?:qǭ;$f)duw-4mԼv h,N aDŽT$U?7bZz a iߵ;2CaS\+#E)4x>%΅Ã zX1t DFV΃%nb}T9N숯_?@B7Zb֯ $`B.̶Pi} 6QoYȯaasl͈Q&ʧ`{Qop6]tGp:/A2z,>vST&f8sъ 1#bGfTdEY+#ye %Vi%&Kvj☔NC!e@r=kՌ)xBr ms5Llg'26ڨiݐ* yvZozS:G:GpL5&l1R'_y jg %ٽo&OXb9#eI͂\f^MQG,d"zk߉PJ?r"w&c0A7tD!,c:T/@=,W\ƪqDf ZlH`XKl090[4~N]0եu,y|CuK/sp_Ugh!'EIpܔAVS$qsgS/Dڪ2[QZ<sֺJ{a@9D2h 03ïxp$EPRZ2% jki #H͚{Q\Bcs.[[-U c5.E~z0įJl‰$'r [mSچf8r[TfW*g\'<}MxA}rJ4hNwmK3[h}2M\Ao^Ћm"JBKZADx3<=@B}xX&K&Mql?L.D.Ҍs[)IcC V( ǎy7<" %׃DqpR^`4Cïg'@&vFz5 cX)b0"*9d5&OV@S3dCeϢƗP~ǙfOqsxuL}eͽͮվ+,qd}5aiu[H!6x zݼLOAn 0 ԷрĕDf^wQ$7O e{x qjGa>t残<1jۑaYf\aqGZe-o}OKg7O=5Pȯema}atr#C< Vϊ@ɚ4Q¹/% ^iy@r'=#*޽/iuv=PZ@GY릌ՙ5Z˱Z&2Ȣ6bdWc6$c_эOUE{VH>m*¼+o>x::[HZSVVʹ,c9ݨ25ݶ^$wIՂY8MR^mV3~>9w!Zsyv ]yT\WG14⛁aPQP{EӃGE ̷IŨ2qk$Bpewesf 9z l3fѵP+:&/@\rqKd15;4 94ܸ.r)yoϙu'Y;æX#u%lEzշ2Ht&6-Y~. =Ȣ1_2PJjoɆaDV3bpOX਩?ԖDccɇVq`)4/ӋHC.ъN3–[x$cF7o_/y?;R`YpH=v簑΄_r~ܫ5 k5:7S47 c=F&!fbEOHYaw zH63VΗؒs6UIx@DT ,sM^hMpS+azMmroucG A*QɭQAl+74y7(s{1LxRYz%TN&rLIN f((/ (:sYL+Ij@?UbEGQgsgTZ k&̳7kԝ[ZOT^:x 0/|]o>~{ If6s&n@o#X xFV%aČyߌScb>' 1Ou&-3C4PkXC98kvϪ?f䷜pцvɡg6;=Giٔ+K"qP@oNCb+|0˸@8@Li TtoDt.xw sW{v1`ؙS9/ǁRb?ۗеM\%î.f%U 4?Fsi)Y.7cVkl;}W҄l qxe6́-@\P&a͉QFQ kp'Z-RLYr9'eR!^2HS`5;Nѿz8:2aU5;eOQHU[_̚wKf^ ,agYZ085e56dc8669eb5f24657b878980f9d61280ed5de2015e5246e1a7618d650fad22191f33705e8e0c 8a8103e86b35297b75bf7c8f4f146e87c135f0be