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 wwM1v,l ]/ HOL-Hoare_Parallel:threads=6elapsed=63.998cpu=337.940gc=7.8647zXZִF! I<;]ŗXiɟDYK<; FcFE%2V)gZw4n"J>a eKq4G?@qdӮDH6WV)Ld2Ll yJJɆ}:UMsMw+0C6?Ө!iաp2 א!ǒe9g !2qn!y+ ='E=PVCg3]}g1 <_v>Xhccmrbu"iWXRu? mAX T٢wД="ǪyPb'\B)MhJTt@(0S}= 0wt6gnύ[eQGR#<^iI4JɢDdcl9{UM`$gz>Fռr署( YJ%jFzM!4t~kSBX~`c0X9%]9NZ|<}+S,loU_,*1)?k/ux$^~\2_=kCqvԃ'Xcp:΅eWn> +`&؀rO/+2+! .sS JihC0N 'c5*@4NLbإ|B2'}dY:7 `nEiRoG-L{W4k<*ջ(]!1s aP߈Gᥬ\өG*L909,n+#9 |CW/mrPI:YM(vzƄo1 ) zs"ԗJU17trT1;QrIOwOC0"2,9/8i`D-?˖i"!v3J&tL~d,!o+A>WAT^%T1T ݏ/u.rJkٝ!v./a]$o'(|F7O n ߴA`25d%-Pwi`[{LBh} 6a}/ .">Nna%!L%;R(4//G?=Aq`C)$%qgn?{2ŀ %"~z|OK54)޳&u[R]jyâ23r@sJ)z]9@4"@)YBח6: Fv# ꀀE82)ıIU olŦox5H`W$KmD ¯iH6i6Ga>)I Tam&QOȨX+< . wһԤ3z; 56$Cϫ$Dx(S75'Pއ>6- rm(ù['w<0<)B 1V޹6<߮s7>㼧1CAbuy^=v|wcj`=_[)Cw_0[I b<(S2]s}US. t <GIY#o/H9]/m i1\2,{ $^vncSH*Ѝ}jNV CAFx _*B-І=@/)Z|aM\41`Lt @y >Ҩ_OkBaQ$B eh(DǙx1jV]||S<ϪX3 DCJ^YFɜXnhdFCWfxoLaM? pnoI-~$"JC#:zLq~5K)%rTj'3x(2.Q uH߅GfƊ{x^zwVGJql,SoBl˘+ >[T$:8Uy^|d7܆mjJlM}e# fv$}Z ۸BPڧ!=,EG[U~Kd\ ӯ)޷"q(OW@M|^CxsCjKVZ5tN@.1xW1-?rLdet:a'*)jQIiXi+tf2O iZ:uq9¹C6&"eqY'J!`gR>Y๴ L.xԤe0#hO=;ӊzʣ v0Q*2h{t|\J-fk mdtgG* tBt9dI%/)GY%*1.m aa5qO9 WЂ{ECȕnj#v@,"5r&#;?܋_(ʯI̜vUghhӪN;~Y5ƂY}_w$Ls]x!Txx ^lppᑾv( c#-[7&w+}.B\M|ްĸމdՑ؜*dG\Z-vc.a5wk4Q4Q};mJY|9#؜$HFo,g[8w'9/Ns0t1mYoYҪ1Oq)8${Ȧ8cPۍduCF=n5pC0xMBã|A2, >Z\5s,Xo)3+jq5(2XE\I֥H)xkw\ajL#PW7h4]Dz5[rf^nUt$Eّ3y}qEQNm!+l|T:31KEfwmI Qf΀ԗП6GtKV Vƃ!~նvM,F8Ņчwu1JCMyQuE1,l*w9kƣ#j:i<ՃGYaab$M+I,O CE4R[||_Q V˳*r_~Gj|j]-r$QeRt<OknYWƧvk'`;谬9'}]>$ oleĦ᳉o%E6R6%n`K}:ɏIЕOI>wWҌ|^^-bFھ [PbÒ06yzb-uOjrq@8: fXmA3h*'lRa{i;EL0s&trOEh4}cWq^ 'd:T>fH,.L^c(ƎڣS @¹lO+-"4 E!!$+ApJ:3ZmA.˱2dsV?+Ԣ0)O7uFasz9^VO`1ALmYiw* C꠾b]4)45?G܄#-vC`m͂`\@\ªHtUGatwz8*IH[\_$wZ|`yH]MstbLͨ2?zE/ HݕF7&h Djʟ2l ꄩx>!]gVzrg-N'EɳOS届y+)yr՜V/AQ m_.Q+^N>;7d)*;S+ӡs櫍:5 j췺Ϡ#4')#$MdP($+qcpO|n?Gۣ`TNQ0#_l"hxߞvoib&p0Ct.s1m,q朵="Ԃ: W#BuaZ_BJ0zsa nZuk)]%,?C$ERtW^GtxG';Z69f(gn#`EaSu췗4V軲^#*o?CfaTiUK+eZA{(D߬n ˫S u7P(p6q2yG(y:O!vj jن]': ja'} &||qկż=}G&v,  H=)LUMc3Fv)xdJ>N`_%si5p6VF};JbI vܜ6=uqvK^勱Y~" oH 9w"F\q% jl/ӓZP(s/(~pLnV,A5 B`G ?6ܳ"U_hn`\d6w^ z/Ǵbw S׮Lu6>I\ltW767s[/\e*Ipa48IȆkq–Rޙ82UgvN|qK/~i|5A]S8Va]jn{f{&p3 OKW;*@9H_:[CFF;r?l; ]7J(7?qnQք# 7Rؔe0#J kh(rOOk)Đ sYB>KBvj:f=Ezs9 e 9D!fG mur˦4/%Q 4.GCPk ҇. gr*Ѡ?jt٧iC}!u0'FUBԠXt#s=УO)D5!:]?x8+9"ng Rmonk:λ_A9Vw"oHa0F*|Di n_P !47Czkb)<_UȠwph9%t(fZSB. 9vb0!G05̂/-Ue٥q* VCWntQrg2Q B'p0REI0Ҫ1*\{_rK;Z# rЛ1`Rq..ǰ2a2yrX՚i[qn~m=¯W ڐv`>6^NwDppS\$ EbքQ͝Q>!28}3@ mF:,{Y:GgޓTL^0",Գ!*QF_"{ G4CʨQx8rPkJ*Fi&fǭWhUTH^iQhN.8y*O4녿,FN[-nKޡMb!%> m)R* J~{JUqVG3bb1Iw@4\A?caTΎ0fǵ{6"W>zD5U6i#mE~l+]DYд-"tl2!v/ѡPA Ϧm&-!c"O7_fweƀRk0mJi}k2%edfFKQ+Pi$v}>&|[,Cl,͞ѰZK!&8%aU,Tl [FWz\ݍ.5ͶVv9QYF+$XI:a%N[>nY?@=싄__0v>!|F'~3h|uFhܱ ?h=(дmfe+z'%3NT~.5rͣ-{)~kCjXP@!BϦ.Kl#={L 8Of!vXHh +t\}͓>1m,]o(2\K)F\b -ZppGM5ʛ;Zp\@J֑[:D'd0$8Q*׍8L/F@3ƊBG;\ovW4!.ݻ)}KE?br\Oc*_SOR'b&-[\uLIOؠǴ| P܎)fc=3Lx!CV}͎^a`ˣ4 Ȁ*<}jܬ";L*#ryn9\x12'׃`~X+,/:R{u4bk\! @!Ri3!1 d)+JRrԺ6۱q(Ws qnKͰ$N41m2Ttwdޛ?m&ȋd @HoO5nwZy~LǒLLt1&k̍ddhK,s}ڪLtEu㾳&u ftpfυ(\~jctִ mY*VH_5F<3ƥgL[c[dCVOB,)q12kAIٖo\ |Uj? Ue'deaVK_`jq;r{EEDb8!y:{J(IwFl(A!){T=Z̒7g/7/^"= 5T;7DgVF2L;8IV _3i,LTVGf!K3cnBh\k^Y_7?teJHZGDq:b^eɨiQd@tG=x~&JfCkb0A&9_JEnGCWn,=?E,hxF''S[bn3FZ(dJ$z@yZh+oN5/&=aSmT6ւć'ɤ]0NpׄyUVywD-X\*aЀlzS:?> ?O +d S-1fƽk(a[||ei~Nˈ݆ )?l ?01% IC1jYW.ۅ,ߌo؏s0~E~.z֋^e~v+&bֳ#F@FdS(T$uJa6t`:h]KxI$ڥK!7פ{uƉ(kQ'ø/S^|Z2Pl")~I\*ߓ67ĵcޖEҎǢYEiulCu)̳$G {Ks6F#)b(ԮI':ٹ쟚5 1鋎i~jXx!H g.j {rrCˁQWK ^BCK }VRͤ鰊745ЯH7GIꧩ]r_tRŷl8rok BP :]y7%&E}Vu<+V9<&9AMbo) "{P4-(P+d@Id\]p5ڑ5si1 O:ƺiq kN\9_%UXbH=Ё 0 {pd߇ufV,TBn6$t%T tEA-W}v-~5(Ǚ :JVܡO .U&es++CF\dceu`YRqݡ~ZP-zs=gBz8' ˖:X=ajѕdܱ#F*:q9[MS~Ma|"' Pnw;8b :rfR|! ^̌]=i`eJLկ'w3K*a5Vu}H`V#]3,Vrd T@c}nOKUEcsT40K@ѿAȹִȰm0W%/gC?]NzdSgL7FCВk,uZhED TO+KLޣHMk\g]m1C i:^32oTK3BHZ՚x:Fu)?}X,(k1&T0~:Y)8o|x}كχ~Dב@ʐ-zϔ{Nw6204J;M϶*X1=)vyH-E~"K ҭ#8 Ȫa!f<~i2 7v)> MgF{ХV7) z%t\<Ȟ-sq: x.wpWBLͿ~ YM7CW% })#.NhXW[]coC4JWA{Ukti1&דQud|װ@#ex8<3idZrI(as'6iv=ܭZT垛c,0EQr '3@2=?Kx@W0TFo| )GQo9 ?Kok`'lI3gxΑ:NV &y9|t0fωVim&1s"2Ad|c-% {n3_L+ E[7cDvBĈmbPS58#ݹ( l@Z4 @۹6>IO c8zF Gd12;G~*<\J9G2-Ɂt%~9)I@o<7ΕT\F룱ct-XTeNrf1ϰvB~D"*x+L|*D qQRD2QuAy-Z6=vG1uH..1 /7T+?p)‰7aRD9|=c';re,8d!]ڈwi(Mx9O`;Lnĵ 0ĝkc):7M "ӚL>k籺k*ELQ];X!t$wjоSNn]Ofam>֠I\_ޔ5bP:ִųb ,sn*:3MШ] tެa x󀳙dùrĸThAISRG.sF )Ar>u;s)I>{JLs^Zߕ( xJCN#<^qCNayZc /pLk߮Zx[oneC7 8 @K.=Evi)AՓ9n ? f?igÂ4yіJR q.vک?ЀF-V612hMIf!Ju*oV=aAڤʞAW ʤe+Qp=houkCS.V'$\@,LKVa0P1$hC_sjb'>qfԖ/ Xt>v!4Y2_$ 7"_aƫH;Suq%nT*7 #W6*$IS=I1Wg0@Calh"33l*j%tfMI1I~L@?sso({C*R:Suޫ6_O]>.݁ ffQh85(b&˽_U`؛Mm2ZcI{-(Pe Q!T=EYnPeX dAOHhr@pn2)L{d$7d6-uEpz#nůNN$5gVc$1(Ut{9\Ejc)y])^-$MPN7$`REb_`XU`\;/ly`fU[O_ )3b/A*poK=8%=7Ox!U(t"ktskL:d9ސ 1b[xTMj >WuB7r,A޸u_Bq+mކ.H ;8iJ=+eW~eǭ谰 v)aqh>#P7|J=)Q-ٙUVyIKmI3cLR9'XWYc,^17G2>y"\TzSŗIagY-|<N V#8`{mG[1e;  i iK_:{?at2Pe՛PKq5j`VH83V }t~VcGo1NF-VK{xXI:G<ru u)KhF+Eڈ:Sck砆;5 )wrJB7i nq*:z{OJr+ hYS2zEQ ϻd%]q>O!lfj2C~gv{E$//e88#<A_X/Ȕ1FHu8=,DpM?,39V\xfh+h(EuČbJn+pg3 ʕ`4_O@2vCBf鱂5-@5ݻ` 0:{O6 GvYEŷohmE;xpPy$ц%ug Omz(Q%B/ p10p^%a\-h0]ցcӦat$\އhԒ.AIKh밅_\ɹZoW}ߘծG(XwQ‘_-GZmvي 0 M-f:!T _D$)S)t5 XDƷ(σ*,иxcq:CS@vQ®j#evB%@xJHZH[uQWX jr kVIG#@Qy6aG!]ug܇rs5:}Xi3~13=Nݍ2$5batH M~'h1?a]mT Kd5Y'`Yh,ƻvnuۊX%Eʠ:o3m |\,HIS];MF:c6Oaذyw$ ޥ~461,etX`d}UU8Lì13Gh.PtTSU=a-Φߏ@Ӫ92E?^jƇ*՟ X(nZ;]VNQ@Nj:yG"NW=7G2Ai\_*EpPUeU8d=ZHd5b:ob_-qu)XRaÒ邨 ˱T˳pb;A8*'-a4ڞ<JEWF' Kp[ 20)T~*Ft*JT ߣ$l_k3lE)?*+2L:M g d6i8Ģi Q`7QEHȎY2൬hJ:] I!Ѱ܇U $F ueN(BSk9l΃zS J garUX^:gb2/xAA1dj]$8}jevGM{]rG<=yk<&2mw]o_Db6ŸPcyAҽĒH ޾R] f&O0YHn˴4V0l(m?0|Sq:81G;z]M^}wdBi2-sZ=t΢[:g_BytC,vXT .QE #qҢ)#1!1 9 =Vc^趎uF5{'B]r- W% LdZ O٩ rS}HC6L#%EƱ3עqSII7NtK5%mbdJJ*KwgXg}9 yb(jɣ@{t bH5tK&v\4("4>ƹq#ZfM(TLvRGuq_kpTW:FQJ(y?۬fxeѡ.xAuit# eAwv"|gq^woaQ^3y.壑|L㞵^~}q&Yt'jgcxOJ}<^HdȒ筊6á fYQ @fNNUg>uATf$W5{eeB{ʙExB"l@*7EUBKIlt7)a#N\c.z͉*;AjV[cSG1h@ ]4i$}uA^H~`?D&iˌ^rJp|V Ӯ,U2! #dljӫځ |K9VCHjܬlt04Um>t0H4(} hl[ JN|⭆7X5ez?|C+<+ n/Ϙ81IG To/-eGjY1Th|'?5BcEНk D*"̠tڄz$5T^ԑ?ziIFIctsBS_`'he.+9C~dc޽e/P,/W:Q{D_v4..?͵j2>EPv'ۯXy CCL{ƭu,mȳmt&s#lS4Y-PoX< ʟi\%т&=/eL\||e)3g ?B") F1E!ӟ)BJpt*Y2A OI}^ׅ[IYV9Q[sPMm4e]z2~z*>-3Dռ%&RT rD}mgj'h}mdGS0 ZvWhAuN۠j_2@ݟd(@,"!/6n '0)0_( nhI;r g J4$rϘ!/ `sO< &\o0-i1aN}|ԋ|O&B ;:9OH  lnx[ Phh$Yν[`'cjHNh}S*P¿&k7(8W~y`GkGz$-bkuG4RQ`,m 0 ޢhDOɽg, P mm1݀]%rCe?ׁfl܃d7 r #m2TjQ-_Èa֪+Ab' #dGC,h/BIlzo"jGCDE$m8/ ňKorSf$c?HLD=Yv6oGl`>~tIL&MPR%H+ü¥g/k]lcZuζmi:qIb~Um&+~,پdT1XVFrb Apv2!эZi_2{t6ߔ} !p%dS ~{iYU,M?w Ğ2k+HvX|ݯ*ICE܉ 叁aX%`-n1fX9ial €'u9O(rflB&?p͑y#E`O%' P=eseƏEL%NCW&*3:" zЂVQa)kKЋjhOس2 kD. )aUO^S>ps?bU®Y%.*gt/!CI&M`ǓR)lMJ( pFd@AѰWw*ޗcn'i*'s`enmh>bZ-cW&|2&9*\u -mڮ'U1^SpbSH=|mA=諙߬3)։ž*m8<_ϨZ}(Er#[*J# 5gk'j|IT;}/1aXEot+&G(۞)wy='bedW?k@B=r%FY{ž)DhVI\ߖE&wc=D_Kc[qI,Ps`r'f !I\` Zaj'NzeZ[r oG{DlqaŕSVl8ƶuϋVZZ$Ҟ4VdX%w#l)fT^>+L-&[<*1p$<;G ^"\} Ƿxm0"oSڻZ90F]͎Aa 渴L#D!`, h[D !F~ 2>C>9p3jAZ3DPoW,,L+? s~ S"ݛr}dܛot@Zf-'V6 ai*5 N&vW;$ f;Q]^ ;_3g I0 gJumZ r*b76{Jn4[2۴zN0 $Tm2eq̨E-rLL\xuܾ ݽ⧤ӗ`AJW9/jd V'j0? k %[jlՒGbku$MDtɉ\/T8E%Em:v c}w}j֐JCMM ׿=`u(Ac[v05@h:~}O>ekM&p2P=DuAҾm`MkG{eC6"cpN<<&j08.s{P)]uI4tR?(}ȍ Ć⛷[j'L 'V:ywuB¼]z IFa3̈́ JVvDBK(_Ufs"5CQ[=&u!܊`XK]\߬Hw^Q"tQ xeJCIp2kgݧ:` $%:(ґ@^:d7V),Wwtc9R[V)U!|ӌ4&Y@zr H/$'WO+[{-%d Ht|fǹ/jgxZO5IaɊ;? ~#cB&G.m#rofCPK|)xj*YDp82>P 0)QuƗpr7%`?z- Fo? ȇ[RwF?폝l_x F#cI3˶_XY~V} { +ѣ7VstK;jʍ{6`nOG7 *'6EYo;2zRP~4E~`Ydž@3W@6wtHVNt*<]zq [@Kz*>N+#@N] 0Z^xsm ILx2dಫ*]"paL pk͓ 7|@Uj aעY[5z&؉v ܝyfg9BW@Ү Kvb_<vJXf XV=5oEz7P^*dW`,/%6H7jtigh)Qq*ڴJQZ2iw_kVXjIfėmzI t$B)nzBZ GS-\2HZ.Q1$Dt})4?`WCnu܏{SzwDN\S˸"؄`1""xaZ?gV4@Rf;U U_ (~P]v'6-soQ4g1LŖ?wqa,cۮz^#ƌPa*d\'<'䡋ngU 9r:us!nDZԽw|\ʟ(փgHaC GL@~((,QHD׹p-BWM''% 2Nw8Gxލf٥c9IGw,7?r@tC"^DϚm*m8L/ozyA(]!b{tV)pPJAR\,li>3!hϹvHHs0097YxU?CRdBqCO/F8~EM:Y e[%_r, &)^.Vk2T&I%˼T4Dmn~gR BJV'u p;ܡW Q7XnsD96%ft<Ӳd9: qH}٘2r?TRFaA\,^*ػf׺0lTiYdfwCC|"w2zlйaтVc]DЕȏ29ɁԭM4ؼ8\ u i03x@5 ,HY#'#EhkR% o"東Bd_ܠ'JEqocl :n sc>!,wW &Fo Q9ߑą~}BlIYKٵ U4%m[Nc2$Yuy$=Nb Щ&['~oԯ;g߱Ne@FhMG\.ٴ~'6E*C SPqڂՓ8~", r.&<ޝļQRE1>5GA\' ǭy;'DD\WV3;@͛.& ܀Ih7|\sǽ*p]*ѷ&ՔȪ9Qv7IޒLuFyfND<7"1!|8^>.3r| ןX/p-`rO@>.HZ1P Eb= ]x$P{"cd6J6[%]þCګ!,- ܵ8QQ{󙊬kd׃\P0 HoCr`Ov&`3 w A 9]qNfݷ=xo㛊`cx<uK=0;f,P3ϨNr2J9_l4~DVA5F yIu-M8VuS̙|p/ʛj^WEuG~UJZfͿgʮ+ߛ~/hF MQcs!q/rܪ`*UpW5A@JTi&ZRu*FGQѦ- ;ˎ%n3yBiQc=+ h!7e܍ɑNWNIq-'[c>&5M3̪U u" * f.PF6!_D-S눰h}r |c^#%Z˳em bX=qOL ?))+){4x-H(Y҃ eZUPdEjHd 5Q d!a{0<&3'q$NN~H_7Y"Yt }4c-ļ*?s[ i";t@ ˖<' ARSp${ri+ݢO4`&*x1gM #^ FÿSbYZ ^,93 zȬަb93I,QɌ)Z'B24v K'0w`q+IR2 *1HOc8l՚8?(Ct=:pD8LjH ]$FѼ^#t’CfpvrbՓ9:edQ!"!n \s&d=X\j<Cvpglq?3*Kͱ}[ou"nsȘ_zl꘢פOlŻ:ƟTb6L6( &Z< 8CI _\:z&il0kQx&LyW3)%6u$6lJ"ZZ7c+'f@0۳pX\ 8'mYL#'N^q?I !|+ѽA2ŋ(@SE# $j5Ӫ1#>l֡J]"| SΙ)yLZeMf)q>wA"Znc[L.(${myeZ$@#\(歇Ojo2>@V$@U~ƣ!JLZT`Tjv=fwMW+ƽYP>:)c]lz89V݆~!:WW"G3Nl4ғ\ƩIRAP CZaRz2麵Xe+K<ɫ"8[0/ΤSLҖ^$[p 35GT>ǣ!l~yzZSoTCm˜!F.A?p?D52߀ tIiULk W"t Fy27LN0VA2#I0 z w~8J鍩rr)]9j{/v ͬ[pri#Fĸ+tHIiʄn I/d}*0| OOϔ"kߪ/ul0 5b 3saWK l ~x4i}:EJ>QNV O&ebz@nfY&ɇv6rs -ؚUǷb5{{"yhfa^.UEQ`OaAn+ض|EV_i9+t+ǡd2ܯ[=>s%:AHjڴ`;|A dR`ҟ[tČvk B)|E<߿W> r@QץUߦޭtb$;}A$^֨\a<)seM-0\R$dlxQA'" +X. s*@8#֨K2 ":kIǸǿ!z]+`mh 糚;,BC h4d pV<O'lG/ B!9Q. %dVvCg禞gJ20#`$f9 2AumE:[N4ynx$QxݴQu@9U A8Ek}JAlEVv3IQUda+\C#B[OZtw̓X%Dž>wuvRGJl,!#& 7Qi}Ai>|+%95t]1zAma&PiaZNUl$v 97@+ K?q_$v׎QO۪oomyI 3wӴx)^S~( 2^}V %Wsaq$? `.@V1lZBUF8"|/oAZ;MJr=vogšam&LmIvN1wb!v|.53z@ee-3F)^}B۬.Wq$8H՛qއuKx WN{f ITIIKh ':~@R'Sݏ?t^rh% Ѱg1羢ʄ42) 9SdlYvM$L}O ,P0(a“!9$Ɪy7;3{]C5)~.!I^r  "3f`yXڣЂѦr!3{+}!WGv=jp᱐1JRk=Wg,C0(2NU3u 2 7p64F2>pnc`ySIZ#n]/@[#3̇ ?ʑw棷ƚ"5_pZMCO;A=Dw|GW#RXxps6E)2r]<ӛ=F2Y\pR~}Ib㚯>"xVt0Q߸-1'VSi'|viz]̷1 9I@O\O$E"a6hE `I%߄Ю}ݍm9"O1b J2CϘྔcQizR#4/,6hzn)DZh61)s)Hq"2/`FNJzyH,|([a ca{Չۖ&̈RDyЉ )к܍Z,i!*~'iPNi֜0zen~A 6F }%ب\VQZ2@vhےtP8^&[edO>Puk J )GM Up>$AsjJ%&6A`)$pRb[<\'a- NPoTwQs}X{i̢1KT~iʹHKN)K\'8Z 2xrCRL ^+GXY~䢖=4/ dDcH=f8~t6 P:*XN&dr|I v\Ԓcu*"zFW2 oGBB)W:[tk{}1Ze7LzeSC0RoW sOGپqL'h&%ԝC6TxA :,MYpV-=?2?2ZT]e|GUgpPX Sǚ~ZlW(?q^{;F3S= z Y%iW(⅔ԘỹR*[س"XM L^0S\6α?_j mznNet+lB~aϏop/ -M 5VOGoPqV[BW#}8@)ܱ)hv~B*lRҞnEJVolMx'F'/8 t_ !R{'Y2WnZ)P`YsZ@i@ o(u}0|+i죌'St<ŽH)_vQMʉn`0.H+mȩ o,Ta5#t+H7-Kآ)Qɏ {c)^`;OiD@X,Q% Zh kfO??]mղWW'2vch1)p&0xrJA# J9\0zn %0D%m(cQO&W4])OO1] <&ڬσ_)wV€[y(Zj-t'"H]Kt9}$;Ƴ1LeN1kˍȗܢK3-J9wBB *ay֯ rClUx6f(X`ڧք9LC8$tg~Rx:7f*E H`c+͖ {sv fܴa\?lT}%ű O])LNhҎ1oZwʈ PګzG~Q:Z]lx`^!Qi'P5'lp] P"Og%*2%ߙEt~' ?eño݈ezZpFM<}:8AEֱ6Xn'B؆q(0F/ѱ* an؛G*!|9򚭯]7H\csrYoG? :eӳyH2R?pu W2Ye'A>9o^KZMAzI 4LIr1АŚ#Qg~W1pT;otSveEZ uou8*Ԛݍ{u78seOsߒikD LnLWs 6Zaء+c51s1+D#!z+, ;GJX-O"4`*zFGWEj̣ l#{?'-McWM(+Yj#B yrHAg[\k4CFvԜ;Liqi;3 7n*Iz 4FTXOϞcuZ\G;bP}+u?&4 r:02i}ᘶs :"y6(FduNnaԵSfն+_-_f+8)l}Fo<R$NÔ 5%|B8VΤE; &N$|ә&'OU!sB9j3cdwvx(K6Joc1W9\Co3paH[Gއ.6Tp;l/wC6jIQ*\ba^!3q9iڽ^qHW`5:T(hɟC(/\fu=[sU7Zo][Kx:.j#7BcݑfݴL^#1|{.GcD~AZna,3aȲPaave)$A=#3AGr i2n.7aIlq:r՗09|iFm|"; 8>pH )G̬oq_VNq} ]T1M8I\Dn ^4lTfTyD:!x?81["ڷGXk<(Oȣ鵩,눽aaX)'{Wk?O)ͷkN5LJdMM HQonI@o|. U^I8wj}7uC~s۴aHd8BS̸?U\/؂2&%>T3MpF^~Ku0M010 's)) ;bz=ly>_O VkE:8 ,[CM3fIJ\:9I2zD]`^?w3MGG|Gv&Ps4i]{SSAf"uvܙt#Je?ʧ4QC1F>U3zAF"&xztF8vc_359E7=;ƞFz 'zRlCO ?mp*6;eZM0֛3tKzH#69iDۅzvP[}E#lZkqo{]٘9NgN q>  z&T62AjZLu*^Hyuw!^Ik\84 E{Zѯ?Ov βܚR \OI-0״oQV-ѝbgdT*At-Ba/l"٧p]5-!歹U./_F)Q~LU 3mq).ʪu|mzd4r҃ąg$MaE)[{F;BWrJ@~>la-!t+n8^ A/_hZY< M2igq !G{ⴡWvE3aďzoDdhtb%$Y:0GSS29SU@a6<>,.GP#mLŏ.K@4z 94> s. lcT:5G "d+n9U|GZZ:m4lk ֯; F#kȷ_6:{_!VgլpeZJ k)mZ{@̠Eܓ-$8ava\ y<:Np粠XoL}(nd!ن/PwQY mGXL ?, 2ѼxY]235Q03sӤN XKϱvKTMvZ gtp̍,O:w9&h^=P/ -*J"NZPY?cAjn{N<_N 7tPO?؊(vi!F6m dYF)GH)SB)H\ϸ Ml 6ܐКoq7rHb-OZa^g ĩPQh NrD:NtLc![rVS[2ku^5Zt?&0]җl`IWQqlB6{-Wm1g&g*vQR)JX?&1(x}6%LӪ eI i`i liieϞs4ΣX zK3FeإD p~UGU#3#oiآ6.ql/v /jbs.K廋)_~Nh0}; ba޻ uӪ+B@ >t/3;fS9 /du-}зW.a m9$HHMƓ"ƲYNU,0]PUZ F=pD<`R=2fc)E3nD`[ӓgD qp79Ώ2k|dI~CD5&2* ϣnpW̓{ ?%^Ҙ'RKB=7l+ȕoLFi @}{+N7"~ iW53g'EU˵T!]l],-܄8_ڑ{.aY:E |<6BM1+Nn z ;p㏻U샾 qhSKKhl>\P2h0:>`:~B)zj302V]UߓYrET9@U8U:`M?C4y? Op bA؅bb@;L$LQiEF=9LĖw@x~>o@;u@=ӛ,W.MS ec`m2ZWZ_gz,wyLCI|:B4ui%CFu`-15J8CӬxNVݔEs4uʹcqy$Ђlfu^E-{ *Pu&QgA$q`ARԯhGGH֑WFG9*vř|: ;g^@{q>Tfp}D %{Z/ӻm.vg‹ jD-rj^9Jr %TQ!ps)V/&4bVFS}ʋ{Iêw"楶%P>!]!L )PS܄ c HDR`UX gu~,E^DŠWxFpѥ! ;/I :3߃*q_|Eņ*N 3O,Gln}ț$|3M3}NDbLzuxRݴ$Is%jRԠ=S`g ȮK$6]U5["|y9<~z/s5DIόGjx޾[?v@ł6ݗYE@-?Ȓ.QHqY飝\`]!s6:zxqlv0NeE_),Q0:Xdgc4_hyJڒ墄D^BN2+ȨZ91ZOҚ94OR~;pLĵk/9m]sxyϞ g݈ ,*f-gH/X.SZ`وW3d4z-xj2:7,f h9jٚhM*YK#gdߨP#.T!pS:JW)" ro;GqpLb▂.[P?87ܑl\j4_u7;~ 81C)ܞ`S2|';Qx;GMҷ+ R |h&),' CN:=ÊyױH8}r1 r]=~~t'˃cY5vMBјO.yP3}~v-¢Ste'Eտ9%Y6iawL 疡r~+1T|HQN02p]Sݾ-*|lazy*>5Z96vؐԜR#.FdcW>kSq\e]֙?/%Fgk]_&ǂKˊNҐvTУMW#kFhwl ]n ՜("5pxXn}~uRVK%vr9٫A`ߴˇ/e̮x(@0-uoM5!iІ, BX\0;"2O(ʔV5ߐBOA/#}‡C"q-i(%dq1Ԇ;z$(s`nE5O pXJ$"Ԏ3{(Yb lj-+.o8  Նp`8lE֡c]w#(ɲٲ=u|`M d74j Ei+F0-bÀ05su#0!`Y^2tJb1kx `r& ݌U&Q 2;xUPJ}xq /"DdAc>Eu{St[ILy%\Tm'VaQvs61զJl;Q.7]Q^}G>fyZ і.h&hC'>^II@-v9FnԔYa#rS+N_g뜽<(L$&aiP:u ?h˺K!-se4rPbuU d,tmǹ;81LdE^lyzxbpZ?F%*n=՘[E Za#mq ciE:/(/G׏wv hFqY;h'|aP5MH~ynb=+Z)w"U¯1okrؿ|? M: Hѣ za\I:&N{mn}UʼO@m;qxNu=2Va' ;ʢ86:R݁Mfz?&AFAVFh1LX-аP]r mjS,4 ]ÇwGIJbMAZz 5Ptd>D"q6jvč} H5IboKTCZkf.W4{٬9_%/wtĔU8ʽqr/l C5\)E6HKY`)_g^ڄ0+%B [%i9MJ9$ۏtaj&@ t)?!DsYBJ<D1j޽4Hp&.)f<"QFV.7B辞H*f; Eۜ?*,P :A (C͝gnxJMnu8 sY{ķ a?M!%y=|Tk7݅gΏGOw'7y[}Wdf2j5jQx-Ut"ԑ0WBzB^NVGq~%+zeP"dC8@i傓,ݭ;9ᨪgMGX&#?g1DO0A'Uɚ}^nS"?BhHPbIߵģ]yw{0D/}RȺ5ZiBw\;6 Zj4o W;娘ŭJWR+q E_ Hj# .r$8O<}n 8 ɱ>6K WoG" ]|mJ׎=XZ8vsU>Uq#- ·֥}ۂ PBL)t.!Aã$D Dzp7 X5vF* Fܫ4hg/!:S,wX 2JIL}&{ T^Fw"/}3x,c`wAnСHI3:QD)H;)udHu6J]P⬞8JFI!D}"@rGH/Zoe}  88)tlpDt{V2=f(@}|/Z+@`/N>A#Q[we`t(Z\3Zߡ3ant+hoTqTP(=Rb ݼ4]j0{8}r[ֱ\)(TһAm}R-^<|r8Om1Ip+(~ҷRk畁FU&SˠtPv"-y!tj,#6eeHu/csG'X^fI`ّY~tz1z0Ⱥ _a奊#R}&d>]P&$?9@lI5nBX) _<;+wBɧؾJcC *>kߢ%d=y>#?] GW&P`:`Ž>!u m\;?&ׄ%jH_gYZ7zXZִF! O]ŗXiɟ1S:JI 5i;\ŮIQrE񣕚Ш3bV{JM(Z$D A\ʷܯ<+DfB¤;S*.cdavfo #¿2w, AǦ gz[P$iM#~81Gn7Ew1㦀&)"Ѩaw÷azT /ZqE2"n`YWJߦҙ }=ڭ*~Ͽ_drw`!qW c+ AV45FZG)4[Rz0rߦng>i=iǰ3 ߏqj 70gYZ7zXZִF! '.]ŗXi%L&Ԩ&q&o}D2p.)0WT!-!.O -0`0|# Xi$[QRh}ZbZ֌D*+I>ҟ(t$RۍoQx(Z*I>dd4{#ON8k_V[嫅8Ya*"Z AU DK2gj eX|y4hl;C|dضe8?qVv4Ќ J`:,]OPF y7d0}l:fX׷hh5ɻpyEuiW{ wG2j$=04|I|6{&՝4T~}t~ 1."Xع服J喐Hu*;nW6a&寴m` aO>_؎j.+z&kltq}exV!H7َ[:oVX`%{M#//W.:l{ )_|QX#3ͱTUmIZ) QYK 6Pf -Uٴt]̌@-rfqyKnm/=% 0gZYDb)IJ>AIɳ7pRma)D]sҫ"@K$jyJH/ؼ܏Ӽ3)ubzKYs+:PM=Ϧok _p[vG<g'\j6=F'86fL;ܓ5'S*)}Rr/ވMM2,Pr}vk؎]0ԟ{Z;޷!:f隉\RA҄ M+¤9t.[Y {)L-&V"[/ ΐeM׫:FN-俯3&@gL.,}9aTzSeALξBי?Ԥ =zL84;)\m{͏R7;֨+ah`c _n+#*1 ՠv.Ksg eŚ1WuFkܽ~o6<[-E[Y=M=8c|,W9ӑ dq :IXZ'bPV՞A{1|hNԲޥ# ]u*N7rvCl!0f'휫GzZI/^kC_AXvbsE,IVrc9g4at8ovG=$|O 2`6sj_k y͙:#jZ.bVnfdL=Y+] _xg;$b7*)Ed$ǂt KQĹQ Uj0ǥb:hF3X]nc E-7[\oi˞t*ϟ/L\}Hچ$'uog~X\pHMU`e<C`Mo+ϋ1JCA.N"vڸYSF%+.hlKۜpȍ$y;Tٍ&(ß"LE_B hy*[6xD{r1|ia- 6,Iùgokwʞʼ7vُI"ЮfQ#hDl! 3Z^i;f`$|몾R@äʷFsz&o҇ʏ"I Sdl_YBVItգs$?;Lv`Pg-t: |+Zy}<|TUsa܎J` 3͙k#_fyQY?.(!7 Ydȉ5V<&p^=LJ3̢p@"x0f<+VG]c=B*B]6#XGD'u@3 閫IH+A|8ռs!i:!IE8f,<k2tD:t9r :p3 W,G6œuEl#yx}vwR ȏVN8Կp`7,d٧-*Y(*m2Lջ ݤ|nFFa0*{2.X%&7@2Ǒ9BW @yekEѡܴt,LKHX 1Uߣ̔,qbm/K3e_h/lŻ!UiS)숰՗h$qu'xR5{&}R}NqpFoZijOr (ۯ'%N=ovGGSgZTImGq<'U3MQ_k^ƪ2`ƽM~npɘ$1YM QMk:x,^+)XsCR.,eDsdΝ*R BT$߰b#ev v^зaJ2m0sR쮲O[/-k9#֥#1"dʓF4lR*N["=_ϴO 0Iv TYG/, z`JtoAQ%i(o5C@{0Xr v, dŬT?K$2uhFY+KpM42qۻ rn㬺@ʨ}? hD# eYWOF.Wh0!@_(?09\r;&seft ,6UgF¥f)eLpajEM2T;n(OL=3~C+-^P~JE^H3-ĪkuqnR@q*o|7^΃mmzI\Y7\SݽqYsOxQP\eï+@A{w~2I_lOfȻ6zjZ㽵~L*۝TKzSg^g4T tct<$2m+ :d -`ğe_&ᅸU M18؋WjNu)`vǷx\/WҮT^? D 3ৰbq aӍWj5RT(SɿdpD9q JOd@MO,+󑽯z! d/:~ajLT'"̏tZEg*7ʸ*5\lp!dnp7ǡ@|[N< YN\iO_D;B)5.cvxT؀~IR_c<'Q=7cB"R%8"V&kYT%6^FR g<ǐ@)1gX-Ԧ%mIIuR0lP(rvIצ1ry{2>t9,#bp(%3ybI_6dFF!ЪXgI{^]>NSN{YLMnNF$!ozIԹ$E:mw [PY06Ol^K_0pAbִAFuJy|&FN:` FQ4Fc9FG3,rn pxL|{ nw\Y>U#A^O)^#~W^9Կ^w/%Ojڦ}*ֻn*v#|8K~w>( " 0M#4]-a:*+CINjɻz@Ƹ069SkΖ|)Yc1ajEqt)W. 2gYZ0e41e18e0f856edc86e8e4593fbcf765d1c984fe9400524a2bf0062e34657c8242e59e39ce561b20 8112b346d345fdd1df303f366f2308e1ad40a1e5