SQLite format 3@ .0:  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 @%$t ]/]HOL-Analysis:threads=6elapsed=352.025cpu=1824.892gc=83.192factor=5.187zXZִF! KVJ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl:4!ƐEtY+.=zZAıp'\c!judsKg0xl!@ө=g\?& W2m#<P^jR83IH< yTS-8{`.mY &،*rgӵlGf \4M --j; Ԏ{(t/w.& }Lg̰r+ӕtsM J}Tc]vjEO9c9x>xI_e0 X-ery#?-0IƷ',Mb{>q]LdqDuJG$j/!y1ֺsxSmm l]%+6g]V&c*SdqyiҸa ?uAj@|>[[2rb>.,fMуZ" nR 3xh`56e_Ly揄NDt"ASD}q,Жo:ר3m <;j()7!1`n?d'Zeoh0DxY(0ܰav,Twtق[UC1lE >Ŧؿ>"G{{ 1y> &kԅ D˿NeiwJkcsTkFqFjofQMf0n_lK|qS, vUHX_LQ@Uq8K /$]R5uS%ap1fͶ9ª~N,r%)颕%dA< >be7 *b·s̯`sؾ_Ƽay9߷}ܚ\b_kp}ɹc2,ը˼5qkQZYRԧ*])\(a!t K^؁i/Iq̄cNǘUq&˒zÿ=1JH(qm / 0QԤPZ86}[݆5- 1Wu-ثZŪ}qBһMd񵣓|dzLK`Յ(t N} m-( xSA vo?I$Flb i(bM ~) m``9w-wUV1K dOZ]it׸zbΜC!(7hy(':D}ɒB?b~X6^N 炣FOΊds&|:Э*e\ciPy,z[c,.(Ei<,C5:L{,?Yd:g>Ӫa9)!k=QTHE [C?;O[3ϛ2jd=w_^UjU_]mkq2>* mрs+4{1 p2p//;4<H7{fSLQ;:l%\p&7-OXd >. fP<)"Qnܑ'~DaS~^ t 4\$-`żFi1W(u#uX0ҾŃ6CZ7m?ɛMۈZp*k$ :vik4Bt^% @M+E9}4Q*#o#)fĄ_>5NsN2PY?T6+"ͳ 2*%bt'cD ^|$~4 VQ6Ʈdq,Aj9ַIc -8{}lc"%>Bnoq=d;6kRt9=0BDƝUN \({2p:>/b_]q>:$U\IIZ.軎eh"$k4"#U9w _ *I:@.b$~R)0<oF]hj[ȑY^p.@G+x[2AtSMEfVk\ɡby>t\އ1lI Fְ,k. ֓øwmveVϤ~;U:D-(Ly\OYh̑Ц.%hCrX/BRlfmts}`\'}fl#y~jm5>as/k65]2 >qЫv121@0,04=El0e Sǽ9`{e#ԧ0_'K~v!S mUG΅us j5ys+i-pP~wQ"<ˢ>0k`J*B wbڜΩW/I`[ q/~5w[# :+VHywԆ:s.>Eӟ!TqoQ^mz ^xűJ[A> MgIUnjad/'x2& huh3}6<+ ~߾Pl%:3DāD8kx- &%NL|Dv`pZ ދeC!@fSYD7AQ ]٨0(]gQ[otUу4GW١a0w86ݸMI[$xS1-wzcSDjs3 GdN +@ 6q짢PAlA4-ۘg!PiK~}“-k(LO$Ǚ8(R[GGhT<##DH56)"mѝ4-Z% |L n2Hwi㵴%6K& >} fk-!ͪ]oo$QNKa(06IQR Xa͵I=%m20,WOM4|vJx*ˮ}1ur  џ+~l?aL[?)'fc9B2a$ 3+QoF:tIe΍z J]/@͠Q9`ۭ.4s}"my է~?K1q^ {{nV! *Q+Z/2ZzDr++F˽rv{ak_Vv%,grKW'[)IVXC?~,,&Jr{k*PQFך24V)OX˔!yUx%m.#r. jƢoT> /$h^4OaxK;zuRHo˜jm 1C 'D/s?]NMC%M̆:*8rU ϮѸ%YUj-D_c` 0HD+'nXqdq!H#<ٓ14{(wJx`<>DG#*a;S$v5k^^ݓ)@Km8[_ٯe =E >]vh n*is9nOƱ{8|9{$fm^;k#+m>tH /fD`3%w-9(ݾ1);͉uol0o or<7`nяxC!CDŷN B?Ӭ{_  sb؍}p )E"\xF|LY=rsCam B>JZ'WY~b;_;:+b#Ҵ9yܽe'ʹ9fZr2u_LVT;ME4 &{sVc!|1@#$De)ȏx0m' !_)޾NH隕<7PXݿI[C"v o[sR}Up?6#HA0kOMuΙf 4{ JiU7=*>4lWR@8.gU&m3YsStsm0U6Zʄq&y*Tz}hىOVͼJ ƫxj,[CNԌa*m<-87p?;Ou0z%8B(o@ݤr+Y4c~||؀'l`C3Mv\-y@QY&!Pdo(ĈEPY~) X?1BTwCQq!-@EŪNp=۴?REݘ&!E'4Ȭ.Nl%9('J(1'T؊~Vȁ/VR<.U[x$F_5ÖAj<Fͬ,wZ AQ>ΩyLSZ8e@Ud ﺛtd/tJoދk2"M7ǽqcѽ3qTZq< m@;_!+.6\!敵OÃEqgWz#/Oen-aQ+:GS~G]S>-21/{ѿnwc4Xb4 ^9OƟFb2;oXF*Lic9aC4lɦ`NNT5*QV!ۨIkd 7l['w#T.1(񸳭񃅅ELݪۛ-Rz˹ g ^씭&nWn0-8BۍJV8"5 3KGIrFzqq51FfvgqʳcڥEڋԭ9 +LFiS0_/Hٝ{Z{41whL,oaumn4HE\4hٕ]>rZ ,Ph d۶ŷu^H@-J'X"3^]s"a:Q$B\qSAhq8_o?JLnJpW4đը3_¤FܜK[?{{n<imPr ^sgކx~ԬŖ3Rb:!:'r*\4$h2(97P%42O}jo^tmuNLioQԋqfX[-t5sbL?tFoCF%K'dY!*4YLÎ%l:Ͽŧv 1U!ͫPA;, 'Koiwwu PZͳ󭦞?0in].i`BZDM'Q|WӚ84}U}|F#X$Q2rqH](0ބT~ZslS.;u'kLW:pϒck'x ShF51%ݝ'5%B%C{Lo$9h;R&MX58'3Dk v}!U1bP5jd3_ -I"Jsl*vWCt1Lۨ8|ddi2@b)9)2[F&ЪM(A[3Kc-/v8Q0d͊/zϐAry,*] QZ=Uʜ )g0y4mRX$qc.t}3߉/.E H_{#vZ&@d7iߔX}`u>,j>3Õ6BaoӥW@j"W>D~4aWѳԥ(PH`=@9(-h DhKB3i5V:R&^et5x "k.0d-Rn+ۗ'hF*Im70E+3%& aAmoQT+p &i!;Ӄ\j^i@hv|OO |:OP3dsλ*wtxz::TpL’ꃄa8T rb_Ce3sHCƞ+X0"#MGɝ}onM%syG!}A/>"aI9v1|%)Fh|TF\AgF..)ZO|tf(Sn0BesX|e2OӨԐ&#cYO#Y_0]|H-LFDUzsRu]I\:>/IA)F+;W>M&@ݜJrځ|1 Bq,>{.A+f?^Mmdjbdg/cl_Sg(͖4|;&3Ǝ!hfRQfYqߊypr&DzMH7վy#sg~#Ū*pmeJw’ j .v Y9RXd _ 6SF4Vt/1$ eXKGzxMeN*)\ʳ՝hCaXVZ7 <JEԉ,6|yZp!(l< 7FCbgPXb7 L_˙h1E=;gTv.$1vJPoy#*1Ө+˛q<ûݲ&M5DS{0Y7=qDjvva<3EnDؐ ÝwMJWLtH0tnZ"_b˒p\,i߅E1m|}| % 6 7|Lт?v[k"HGz.۫VG>wa3 @@mM=qAd7Dj Ed Yom?}a]ո?I ІwڦO)v&"@ .9q;鿨a8 dax`Ԍ@Y %`R#}/M7jq} /3J|N)tȾv1!Rj5ER\szƞq!Dy9ĀVQ$+q9eyeS%f.߶ͻwu[1E.Fa 0DYлg Ñ]q3iG3M߶8Kǖ5 /c{/ \k]EYBxy6dا!aQYq#CVYԺG)/XA!LڷeUH;A)7zd0GO9fFL_Ȣiռq/$'{Q ]զԛyVs20F ~1%<LyAJBУwqm͈ ۝æ[X:4#s}{o{5q1—6Im,ÙOdb{4WWˡb*]ȄI'ΧirLw݀g0GS XէKg3ʠAgRj{  Q.y%U G!ӵ'$͍^B:rP9\? gO<=OJȜHoɼ;M.S"m_y?_EU85* q ಈ_H_';3V.ƌMܢP)UyLO`>02;|d$,f,%u%8ꓷמt,:.jBE/~%y@1i:9d,6"9L69x *+坱|U ^7X+¯'׎TШwYr]ىdcQp׀tF`TI`H7I_]UON2{/Hz@uh/ $-d c1ebncq\%&~;:ؤ+ХhSJ`ecVJFAݼ4*H ,&lwRZ36& lG(Zgao@ݎ>`/3elnZZn؃ 6ݤz ر5N䞑X v4 h~± lUȼե&W']^ptF N1FPlv~`.5̪l0!K},~mH^U2:'jKiU`Ja*. Tm1YyO{t!bI jS^X6,_b})ѫOm`ڸϞ;n˟1Y4N{͠FネaY4+ӬFl]-GĹ4GP wuX5`yh]_0y8t+ V ū_r~ P={Yϐ'-.e"Y½[vJaR$ub̌DkgȧA>% zEΒ dLa"l|'kN}ʽ=0qFBB- P":~b(ÔKU:}FOa=1aI)`\?I# 䠹#03T<<\^~d뇝`)4u!bF zd/ xUdl7e=q <mw=vV&7Rm{Sqk:mt7fn x#5dJCV4#Qp_[^T>:uA݆-Į#b(JF^aBRn0fl5L<4*w΃i |jd[ IaK%/]01X3i,{ ,SYVqlI4 MN@A'Ѧs^k7_ȗ;ޱ lQ%Б|É3~~|!ٞpzu)X]-O#RS@,oBPya8xG=B'` '-b/-QƌmnnsIcZngܧNW/T5pvwWfv§ǃެx I3(G{Muj /CXU(ū`TD'c͎8Z6'n{4/d{ιPNs<WehuoLA%Y2^;7&TQ/ntZvox|i~L\E"d ;6@> 3~1D;2~Ϡ@n`AѮplo1Á9iDК!6O^DK}ҀhST`vH,+ዥ?,-vd2- yPa/f9,N·ޚgI (Ǝ/䌐~(> 1Kߖ[d6l\,B p巘I8S)7{o!\%NM'X7ys6ׇu,}47| "DVrS/n?p ZGC>ལ9bbwj\z[ ʎ0E ghA_> !NtL6N?ԪSaΦwv;[H} .[Ϛ', e"/ոϡ:YhanQ9x0 2!PU%.r*>h,E$$ dzg؋DV̮p[S"-G9tE> JvxY=ʎ,*#9jh28OFl7/IH zyB f,p0lp_1eřae&ϸU ;jզč]؆t ^6/yq&UXT8=ΤYh1Ya ٴHCnNgK]ʯcu/.;sųI{&rۿ| bWP??V+uLڀOu?s^; Xɫ>@fVڌ*AԈQ.sU {pw 9F>G^i440 3!}'Ͽ΢-Ac.( xkSη[yj:TS3/YY s^49~cshnA-d5,u&*M\yވoC } ݍ$ \wA3$T2(/9gb]*&VMAw+)mwܜRcZru]я^~"AevJn z0(aSŸןc7w [ ME J'Ej]/G|*SKlmH+@tG0cX:JW}px,(,վn,48{ȱƘ0\阍1K [~=jPS}~g m]I,&ģcO Y 'u%U4GFg-Tu'xۗauv}dh|b׸>&G6QNOnY>yPky(=A잨/6#-7:+Lg)PV7~kYD!{%K Y Q'vGblLF:p#1aM0_et5U6taehGߣ/R/YrԜcֱ;<aּ@B2ۿE3T J{8Hx cTq&XSg;ҹuW; <N)a1_R֧ \lLdayX-"AcH|F|ǃ9eyL:nۢlfo2xj?b[@D otA2wæP8e]l'}KcaR~DQ#- g܈Bw~CV੗Z1݋\1sؗ7 I?ؤXIƫɯ58{B3sC6TUՖ(`N!qo;{nEZ^?f3@J!+C"f;-"|`6G&t8H"A|7v\PU2wF~cT+FJlS$rkF쯮_P菒Ýw5\HF:_{A)z{-&~V>Ć3G܌aGg܀hwwz#QlZQQ8I9Y~%%pEKO`aޘܬ_}!7X8]I_&!q-v&aNRJM8u۞.umFmOf}<1ݏKM?{;w vVЮeڼ!<pJ銩QQٗj7'b֎v] j?B|/DSW:Z#'{99cB'{W h#֥R-WfN˚, #ni^9le= G_R?<4FBs5#9WkcPqաD#QS2&a$ ت C 5c h o5EdL'K׉_Z1.i/.==#Y% a)pCӯ RLH"#o*4u W(}c/%v!,k^%j XROTϛLe} 5D@NiN2iQ_,1pH0%3TOj@KE+/7̽d;#3Dᙚ)N#\ GKeGԳv\!DOXy ۝2ҰlCsr֘H.@~-x6 RÊs +ZZVG)Y&!+U4@}NzPL#FVPܪ*Xk?am5Yn1{W JEO* ?w +XkD{w=⭻1k:2ߺ[% 9P,DH;D1m^ݾ|#*O.T-ͪ2akq2PվH=NjZfKE/ZH7. 2jN<i=Q WSуf*x DՂUWMp2B)iS UmjDҞUO]6DQGeh1ڔ:_\}׍&E$s h>Ā2޹7tiihlRdeT{}ӭq|>z&B6vRF*m\qM׏}" +mMw9`Bz.(q>'牱\KjgL پ>Sd^IUӺ҃lmnbX%wi[$= bד ̮ΌP\KcC0hǤ֟DY)*7NԢ3b rH{h.@,,HS(EAAkܩjłb! ra>E>xT{٣+мtֲsﴱ<Kó#Ky=ϭO&؃)l:_̤BS3Dp0~ iKG `m6v`]Q!5Yaքlm?_PW x8~SX'|YsO0K=[qT9Ƨg!\p_2 cÞjI^Ƣ8ԉmS$Tp*A?F$O\jiI8?<]lY \N(!'7ߢq<7g8 e%G^c"w8Mێ`kh{Bp!i:=`>@CPf -Hŀi/-s7ܗ u RI<z,(C\EhVwEO*K_=*Q?i?cBjD]B×+ώpKjVbcL"+`~^ < R@'|o*1Ar3oZݝOT^|L*h[Br p"V >x}S6}N6۫6JXYG2cJ\u VU5o\ "05. kܜ:+GDmϾV$1bP襋M RgԹt!#0,a -욳[ůhU#ɓgu禯y0SҏoLOTGD*pNpENƢ5x,ҧVh"ĶȘqZꄓ`,(XdBH'!LzTY_-GI8Zeõ|cLD 2oQg˂3:rGNgxS{ITi>킐T(}[~B 1G_I(R[Q_Q Sʒu[Z`WVHg'س(XɎƌWd ınso =fD$2I2pB31A㔍Ou#Ԯ:@R,z0I%`vXF4Xa\ qCA84?keJȁ>rqz 45/уC.LƟ현q~?b@'DâO./IMDŸCSˤؽ7<|a#Ր'PZ?M#g-8MՁ3oՑtg0RgX/us F-CA'Uf0(K# Ds&No{?I_~PqwY4iߟ jYϘA! &[ީަ͗Pq5~Žonc CW 8t)P*@̉,R DF~ѠL=VO담-C\.!ecoF*0`MFrqMf*cPm)J7 FmŀUu&i =џ`28 g, 0ԧ yQA5O"$u֠f$|Ȭs}J+xFt@埿}a'#2Äe_柌_3:"J^Ozx$(s\R\O YVo-,t"Jh#`.flOB]@J5m5HvkyWjͮ%L !] P>)ڲ DAeux^\ZӉK4hV%ꬕV5/A3S%4첡xޯΓ]9Wpg4[; ~$N& =e7H2>톥[s4B. Ȁ|.zo$-}TX8@c "2Ԯ M֠9pHGBv@ӵ9DeһC_GɧtY@7q)q+*uЊ?ɡFc=4ֈ&'ޛ8(t\ŋCZ:cT8HpGQAkOP#=݃a|lH'8N2, QVaJ"!y2¢.)/2ͰLj&AۍŒ4 6=Npְi!Vjf$P_- k $w G38̶~Ox7rַh҃k J -_A) ݦWD gnx\C;< W:ZG>iG20*Hʐ8YfȴF!0Y[C"*AwLDANIAmtp}~ 1D2T|;[kAݝ@ACZR5g4~ H5dvf#@Y9DȟԴ)^j#A6q?=NܑBvI U8d }F:һVTAܘ1^0y_[WJJWt)]8k*#7=ȟBw$~%}pW7԰?/zmusE4o wz%*u4Lt:;8A^}o=:CO&‚;A"(kFw)RuZ_<Ž pna["+1`CN&ɠ6OP;gYZ7zXZִF! |z]ŗXi%GifhϨ*par$<6qMh`s?nY E} 湴 Ŷh[$5s<3' A^'I={K1FMЁbj_ ([FtjWHhzL%NaL$ dTʘ)8hOL|Ȅ3ƇJ$zy-[ad kh{Sڬi|S /s 5[HH`XciShRN0?V]Έ Rrn=sEGHpg쵰5!RDݯRyb3 څ#jm&ۦ"hKوr`An3 %AT_55{+Jm",XNE^q4ZZ2*szkn>4HX+ %~L_<꧅'K1wsurQ~v(4ޠ̩P E!'_XsI_CUw펨E04x.?+e5BDzfUWdƧaGJ̿5T(z6Abٚ{/gVV=J8D͵RfӒsՠCQ<67p! ILxM6dgqoihtUs _x\A탮 4U@18od[,6D]t;!0XhR[SRSVa`v- &TFu١2YɄP~7vV$DN권Mukzzʁ-?{"bEu2!:'c,ܦTNFUwWxWNw1 Hg;;Kw.cčY"R'Uo d[n)jo{!h;쓈:r\ tp5ϗ0O؎{sgw&Xe-(6btS f_?쩐/C<:ڵ6:Go!뼚M ;vX$ަEiOt19$ݬ >5Qs ?*'`^1J[6XW.@["-{ >Sm䷄fmswqD>Anj f!suy;GOֈ^PY~".d\ƉZs,^h9,m(oI7WtCUZ ƃ/>)W/&g ^ DkUz08.znɺu EUN'Kэco$V+sOӟ|j<Ͻis(t g |3 OSS6݅ կVhaކ {=>+A!:zG0ߺUNW~t1 bNVgeTɭ=[>!ȣ$֢">ֽ%z^M&4xeZzc'R:L=Q~ 誨 +_>3ZtRK%Zi:WTcݙNx6=QI6x6 G!QTVE#7LfV+ޯJ[a d:PYtj\偣Txn Dt]깠RlI 8zk/e%l$,Rb?ܥ0.|j&||s&q}_p =27o6E%ɐȽoXC]͜)kxo>z+1Ф|H]-YQZ^$bFރD pfܯ6qxg/,u;֨N1_ uSg恘c`ؚkTnJ$f,z0X.%XiP@Rbĸ؟ݱJ#߽[~xMX4P[bS݆6+7a4BNu<=D L0˨K̦: & iR76'Bזg4?MHdʮaC cg,'btoQ`Z-6Rpn\-bYz}儭kr|p0,uнw^s-bהZkZ@;'/fꨏZ>0F73-Աi;OҊ˄y5,E UΞ:JT0?&@juyi ')asv 3J'bjQ ~.䣽YBa!JT4C{+ܺ]DXzDWi^ڸ~J~# ;mK6ԣN9p>amf$J] li@jQ6*T14n┧9|XcI?QEӕ ?O.m_je~cjEFwAullw+ Lv>|E&!r rKzwh-$'摔ygH@8Y}. 7sɚ.!%q>=jX?c4ΛVJm$i56L F'>i)ga*!!fRr9tpBIp`M5`u*;c—u3G\ML'1&jSd*Ci (Q_">0M7p ~PXyg_{T+ramjB-% b@1 (\2[N:M]e ͊C+ ?K):깣ECf Ndֽ2IY;1 #GɥGjR&yA[@ƒ$ }'t+=>,lKI5$EzX,#IPb,fhU s OC5[ң&egsSГ,*x<\9r8vlTim?iѱ}; Y'AEr]>~044RY5CWOl1^V_}Ȝ -jQ"v_?XxI/%١%w:?aswbm ?GcAJ(ɓ\UHJ|2/AUsK/i[v4j8vl%PFfj &?ۚ|JſmSjSL.]m;Gͻtb3K S1DzlgQ ` ̴澆Aݕ8y1XUGki6ʹ`P}LSv!VJewM4Cs/K(p~i雇muWSg1\6-^uy{l{3Ws $lO6K˃%A@}D8o(H 1Po`C[*0}zAI[d{u_@V4! HAZ|DɈ F:ۙKoS%Q-~։rbA}PKR'_|Gs6)Mj]U;X"ix)^N?n"x`8|Hd_{l< S< FTZK͹q#^'ΘLiJR;Lt+D%,HU9Ⱥ^xL`_:E.I撂S'Cn1E=)C_p2{EОOpAPytio\m&Dj*o_C{իkDJY!'jA,KT LQ%ґ1 R/xU v,ј76Ն~%|1 v!Twsct#0¢5ɵ"$訟Gy FϳC+ ?ht ؕL$"ŖS&v-NQϽЏ ,j)$ 1?ͨ5CkvHvcaT^$VC>2(00UbO$8(:3&`UT9k n(20*)m3*ZkDj:w y;ay宋5$n&q9߂wGU)TyZ=}0;Yq'ќWO6]Z'B)g_2jkQ9 ^!uVziCY f,/x>JeU!r{I1 G{* ѤE8TNR _ß3۷NN'uT9AƮ+~W8&:kpKWl0`H5> U %k!f^i4 J]L+'ePpƽ`O¸$?Pe,[CbJf?W*QGEAH[T.J0^[*BQ'e=7V)L KD*(kOLe!\V%E&v 4׀25Z;q:'D 7U!ЋxSը^Eȟfa=H/)Q/N0]LvJ|s(qi) _'(:s( GC] `\yӵ @{HzWjsAA#zw754rg9ެÔp!zQC\nb {+1^}J}$aecͣ-k KkO O O…dS 7ʔlڎsZbH2BJ޷@,vޗ]ki*ZO5;ATCEV.YD&vxcq1!5ɥHLS<{SX׈$ӂϷB~b/,;iꂠZʘpɨty ʶtktt4H=i52ڞ|eX[?FhI9&_'LariErCF`nX>Ԝ+Gb?n#kdB_#HM˷I*ip(u5Fv8b9'[/4*Zْ쪆Zx߉inGw28Xs{]+'nHFq nSۀ{-;$x4\GDk4g1@@,f BƵ]m_E2» ds X9BPFQiO,A݄\ꗍKV@/ ,w@j,eeaD}tYg&!a/aQy߿^Epz˅ ORj<"|M)T}ԩ^߉2Fռ1g^@Fg@(زY|74$ i>3fΌRw"n>J16/7Z*<[3h| (7 wc@j04ȃ|4y+jf4ck5<KYi+q4wg%nE7_{PUzUP-)\4X3ac>oԿan*$3=#l^-L2N(TgX9XC+fTS,q* C1a)*U-E\Yaam@BH0N(k08rv˖hjO4}{/UЌQRwͱ-!4#5vxDo&Ov,/^j2n[%d+^}]HnECqt^ @Ŭe;-?7Q6)NyHƗ2΀qâoc&PjHWI2] 1S 6 4)Ax eZgc]"-H0e' rM]bP^'s$4: A>gly{ .0Ib@=)<3)Yt<@ ) \BÐ KEW,Ylǩn蛷5$9'3t q,9% VMPOB罙ؙ=)_5cr>xT^^)_[\B`7zr Ŵ.ub D7aiiŋ$\[THcзgcz譌&v_:L Zi1pO|!F3L"6)GD5lVqijxϭwQz)guZBqS' S]RiWJ-  #}:7]šKtnqId*z6f?h))@֛n 3 c~@8$Pd *bn,n)hgJ0yA\i<-DT^Ҡ67xt; 22~bvӭATPycr۬lV(!`?e*D g g^cJ%iBs) ͠,5x ~IJgFH_4A{*WCځQh3;0)wU\D1{GQeN4r4rokDnUVׄkݞHC'YgJ,9k/WKdg"pndm}@;+8U6:;ةYp$~QMYvw9ۼ2uaMdd\@2jT{;oυ}qAb' \} 'J:+EM"sK S#j&O 6惞q.?늒 BΝ<a] %6- iݶҗG#߼9~\Vׯ&ʀfSKJwn)hq"Oy-dCb<7BB>3&h+^ov׫Bh}dJJAWV ;9 1+Q> U9VBX C)(m^v |chOv!!121OBqksJa]3}s ;jY- <ęHR]v.z6F#vV|3վC|ic~Z3/#cȈ̪dP_ {y!sٟ?_80p!9Pk@1 FܤwێГOؾݕ"CMʀyLu:0k)gaӻX ~,!.8TP>:p*5^Mqw,V+H`D! GtVΓ=Qd9"&uyo)(vaWl0vچe}rЛ|X.u;k&/t'"j֖aj:6犯m. rG 5ƮlL,JҸXŌ|s=a±woIX"szX/?B\UCP]pgB4NQp$Yl .Q1:nbs/y@bO16p|ΡN%, NvdٰYaDL+kP9s\-}h<Dz)0ʅj|1eޜƐi֎j~rH}XQBAJw'W%kzvJ,-I}a%hveF~ꬵ2P27|)dˁs1Qwwva0`,O?}S @lÄ 8OQ hkהX͠+:yc :&A-ð 1Ň$R&Q#nmbP^Rb8gMX7SBklKc_9@gYk!NOL~OlJ&xM)fOy̭Ղ @W,"6C×.qFQ$#)E5E kP]nOa;P@sw-Ug?Y,vnBfpS3tnb b=iJ$Pb _۸Y"BٹՙG9{8NRp)j4_O-F'oa#T膷>C5Immr~lj\ihFc7'[V: (wٟ.A-fUʃӝrd^,^0i)#O*uTZ-Bh'+1fl' jG,k+ QytD2$0sB/יHiauZ9¬:RIIJܼQ` ^%Gf ~7&?Kc! 7 >J%9^ma>E7 RSJFQ0ziL&b~E&spaB}=;9)\2"t|ITtU*[^&_Cmٙyܿ٩qBy|B;Ȕp%"Շ]Ą:UKM*De&0 oߌNҶK;7 RpU#IIE<9 ̛`Y.]5a| D׿<yWpeZWN#Rp8j5{PC,IzKru\N+Շ;?UVycU+c9&L8a((߮ n0߅S p:_t{ V[4<{*xH&Ba0xڙ ;Q5y (wۍ8k.9P=Qg۶62DN2:s >#JM8>Tas) iD\]kpTe6/&fpdհ1hBǭҥ=ʱ ]JulWϷF+K1JELA#0(gg:F9N>4&4*JNX̺ y|mDF_Ӣtݴp'-ŏ 1i9hǘDu_NPF =gJȷ2A똱[]X8Dn! S.s DDXBJklJO+I9 BEm[@̭ot0ەKvn~K=Ҝp:v| 9+1T61{_SR&,k؞ od|փhD Xz̀k _DU~ }al~]z"mnZy/,4Fnt$/d1,r'Mc̿~͘`GV`{,3!i5]C[YkKUL\Ǝd)ќ_ad>!kj{l:_g'6ͨZso[6-yEK9G$('~!Wj1w_9BI{9 :V8(r2x#})){[B䉏R,DZ?5wFcOS#Ol'rtRVFF/Y논MWR(= ;gT y5A1yItO!PEjҍ.{úZ*gDa<>zsv7N^8'Wб$?.aq LËTyBک\'ؙkg2btDk:*a.}CU~xgδ"AeJ͐h8 z@*P鉼C{/gLS!;<+irH;F`L _tOJ˯Xby#\mXDt7Y-҂Nt3x[Ҡ ց&5WNtN8K<н̭QXEn?p`*T >h;v㟶#,3>inߤĕ|RoEux0F Ki^f@.t5r27 } aw vXI$ +2X&?L}˽ %<Ϟ|3xQ'NOpNOz2E{G֩fX=/TI.]ĜpB(?yE3Ƕ,?=Y˵&{/b& MTX%Ztl#-UaVllw'(n׼3":O]Va: xfjuP}_A, 0.28ivXT vMlEeី~w.26Ph=RaѷV r.Dܳ{h#ݓcT5;!a^,d%oxdv'2AUƥT!^?}|d~BPJIإYȒNTw,ۉ/w)N{Q}%|šDL>Х,9RQ%Rs7fH,ȡU=vtm9.`3]c╿Ymsݏ.R(߾*Ւ *~*_Fcpe夔}yRU$ȼZMIÇ'/Ą ɥ_T#ԞuV!(*5̬p=( ׇ&ܳ(8կ)d*؈c$d?̮'XL/3h*6J>~6$363wstU:, \xVa^yzwd-7" "_`1WM^A@k#h͚ѐ_=YQ49\rww>n]R9Mm `;4qXNPs$M,j|mI D]fJ)m%'(P|boYO\U9gyohӪ9dPLgr* ȭ+.9Y,`0&,֊'~SwKמ "ٰ U*ML 9bzQ]c@/U9r Q֣zwEBl(Q^_1+4D; VH]d@ch% Tmȇ}#2?8|XPqAe#ą1rv%SWS8[Q:svel -dp]H!dr`\g^Y[eXqaX䟢?Hrۉ,ؕc"'6-6Am0~~{!Nw8+yH/a?`m^]hUeAIFma;0_IʺMiO+փ(m%YB8Zmr?N\pZ \ х#/ޛT`ʥBJrH10+t7 l jF~\Uu t#/Py2W`j "sCgJi=;"(*F(T$oXՆf^zڙIULj)~O}y`ʢe= qXKu/Mk}ֱ{cvvpqcB-d~55ީ=TW]ƀJ Y" D]+{5c`8h ~@&y\ #qusXݳ#س='Qdɪ=yȖ0!%,8b^ ;C%#8)uLgjp8ᜓ$Oy\K<ڐsjR" ]^s(iQHN0M'P +L}1'nmÈ}nd<R[ Tnd$~'0(\a\Fw< mJo aNl3ḀJvWa?骨KC{\kj.>v¸P;0ڭ3mIZH%nR$%K"^Å!l6-SYQS bZ yxeQvP<[C CWVYp sO 1\4N BvxFM@XBzwlnIlqK"$8ԗDEn{lSYJ?޻C5K> '+"eG˱15 F%4"B׌[61jfV wxHRΜ0H"HSIkb.*&YáA`72oІ3eY.y >=IϾ7CFqaWLmzvfJ(u $U2RŀH%W3 Ef)pdesf;(/+wZ[_τmq6IQRxIq-lqEMuQ,J驜P *'[5|L7iʃ혥d41WYd`;Vb Ks!y\r9£= {"/uDpi Sj5ŋ x*/1n?8]]3+άoX6}0!+@ycŞG5&үs{qI{c#bW'5w\|PpPJ{6ᲕT[<4eLio2 !. `6RI8Zp$0m_npBNc$>rx~a>[@f yWOh$ք)UmV}ʐ\TΆh//#&1C!nk;\;˥̴3ëbc*d布Ud&i@e~geE!M8>:ln[٤LDPXڜbZ!už*xO߶d̕B|ߛqq Qkr/y8'8 bJ[$պKAeGo?b5ڇo]N0dPtdچ od p"[ht(&Rw9wS}}Sdu~Q:`9~ ;*}$d66qto? ͓Iҝ !WFD=XU/sNG >>GGio4-Пy 9:|Evs1)_?t#'A ѯ~wx0H=\4fqjI9LIbu#7.ۜWԚ4joi.Qv uicֹ{ՒӐv]n|KVJ6r31ި@b))eH0 =aVa1zn#Ydo4 ](mԘH8PC;!0^ܮrt" 3|NK Qgv}πO($<<"IU?Ӡ鑩q#8)*N40 = TQ8%lbѬZc:(aon\l[A_b2VeV) xG00h4I֦?7 ,m^O#Q1 RwH "(恏þ.橤Z*0P ڪ2W)m_b!h)ġ)Wa[65J -Rކ|=皈(z?۰+šCDN%CN3KyGܨ:J{`o6XbMhCY}<8I$깠z6#:Ӽ[r% (:!^_K oP<*p?mMjy"ffkcepĀi3-4V;?!o?W7 q"`2.YHo<S[ ^0U vPt& HwZ:wF60s_zהp6Q9IżQBveO+5}_)Ybڠk̏TI%:2j S "R7&t fEOһC9vBs i6A~Zg7 )؂}yW$kتg^YSPAXz.Y@}/*Ns|hU]e{z~eӵf-ey#*f1-;n7m"gZb@snJ&pfO $R--p}FM4B#ަI􊰋fGtԺ1_(N{\)]-7P&ѻj'RܢXaB̉H7Molb{֑GR uọ2:dzx9GqM"đE0ѿi;ÅIəjLоvV cF{|:~zN?-ZIAZ, 1yin ^N@Y规0+)hwJRasIPMr#<+W"m'j#O'S|-$C R􇂐dy;^tQzYo+g!QFɥ,ۄVĈ;_U60; X\8~T~^ƌ@9冷[fA_B0tmKC<sl-O L$!|PVo`& M,LO&i[=E+p &A,.`^e5ݬW&,8ʾg/1tyoY'; B*F:  ³I&E@)Lh,!|uN8įxb%e oAk܍^ќ_v^wTz mfg~idkKlsp:Vv'US-4ܛҦ?-YDF4W;x#8AȥH[buȼSi2ͯɹ`L5٪q*[T[4*:͓Gnu}Jo a:Z4zUNہ0߯GHmrl,Wǭ}@z+Ti;>tȘ(Z&OW*y1UN80\*ոo a bbtaI </%6s咄CK "sJ3K5Kh,Մ3u+*]3QjԈ204G%d "W>(u@b$mSܫ". `+B쬻%Fkja[]/1Ԅ*Wh)K3vȠ[;B 35T` d]R@]C;Jpdx儤e,iQ^BSQ&lJTH|89a$C>5G6˫eD~PY:jl3HBE>c1)M@)U5]O25w4!U6mu$P%@q(\xEӶYh~^p+B;=GݹQ]'~uP/ jvom.YX^/[w\׭(8:,oF(Kܗ0/Ye`~&P@e^lgI4_~- D ] Leq{ztW?I%jZ@i@l:& }6ɻ:Lj"; ]qorfȶ:>iH|S8#Fpju%|~*9Ib1!"3xX62|8Ÿ5vA+y.T- (, mı !a+NyV̵G$,ipgB6y/Μb' =%PT476'JiM_XӐ l<<$s?G5P(w8T X-%q9zܜޘփKXqA*(t!][b Y: 1opX;D?L'#;We=j#nJTum)lLl<9 ۉMw\йJށqj)qMK薲'MrNwEW}yuQdnr "H9n'6dزx3B$C d K>x ^{XԻ٦] A.> z@0ty;|1 3Q]f}+>ļ 13&b53JĤR2]FZL#O6m9:D,9y++4&[^j<Z#]'7H0,NhuHˆg\JvUGh( 먯n~S,(>!W#!<qVk»j<IH!X{V:'Yƫg$S@ f1Xx;'6`%|Y'' bB''ri֬oZO0,13٭ ax.ROa̱Lllг R3Rm>m/M]œsa57\}ctڲy"JtA_t!ZkYKAqGF>HUk8J_r^ ܪ+7FE4Yp,\Z]IܶԧW[q)Q3i\XbN(+Fe[j9yJ~*}F?TlWh=)eMkִK$E688fЀr/7X]LPh+e^ c>M.U|lt5Nb&FBia#D:5YMe<Ϩ]C>GѺyX|ﲾC/ 6b E^?;l 7`zj&)"~+cl:\ȶ˗%чmQ*+ YG1s>:.- 0v ô9K^e;…}BBGq*lRsལXCAx)no(aΒ܅W*a!NS%I5"J!,i˝ _$Ue:!CKKeGse~g;z&g|={1+rTyƺ+pː4\@_.)e@zjm1\;z)8AܜENV+/GI]npﻧO*V$L uQ &TʵSϢnJRF'1>xeׁfY3j\t-JTEU5~sexr]TvxԨ[WxF5 h<mRKK mf(Y-&YŻ|,IyjY!ş$ԯu.`7tRaevlrt3=^ZIZhmG`W3;G4稜ܸUd#x0Nf {olFX Da+ -;,d(8JAcF!Ze+ZS͐ l'-p8JOɰ@:jiu4龔Ajmb?57Tqj1~CZZA=V5̶60Kw<\K,E+ŸQw)"`gJ:X(v{8FXFȣDovxT24@{kU? c潽PYp{LҜΙ iqJdbwHLi|+xTu 91wSn]%I>70鞪TH?:l; |:fK8ʖ6g6 ;Ob持iഫ=>ZfYTK.򸪛}:0ݻ7`gKM_Vr6BϹRM7*B;h cEMء눺},rЅ XܶC##@Yu2f:u38Rh / xMP  2#Ua{Dߎaw#8 Y x.vR&յ׆qH{h֗`ބn7 dB>?cl?H9W (ԽJi Bh-09:r?;X0mCP@7s6k2ξA\B= m @<8eǯ`Xﶭ3ͮo. 0ė-3Bwx,X04VI '&R,Q7IYg̈<%SdڄշUq|⊨WNA[SenlU-EȎ/ w$Tw$ɷ=A9^&ֆmXۥw-$O=Vt@AHbKntƶl3(kJYG=ާc$jZH;Իe{ԪZe˘7<[ݨEdFԘ}X7M[RBO@hw{Y+-oUx=,öyۘ RN#gj+oeǗWFD ߣ (}1'áע XˍsAζkVܡcuˑf?}Fg=PeoؓSjT6A$MdPzy%M1P*˃FMw1w֫Lc?3얟X(tfYI׀> Ⱦ% B򂫪-ꋛC6/xT Cf^L­?eZ#=psgZM(1C$~z@Z]Ʀ@7\ytРT=TLͧ!1<':b] )3!| ̝\8F}ћ`u Li=BM>ʃר/3(&bpD.X}̆O䮖\^;8#I!44Sn"nk1M h (װ|cx?((负 `27!E@38PU.HXqQPAUN*`r!uvΟG?$˱=ڬe[F2Lb2h/G]fVc)$xQtVT?N + ({Ony;tH}Z\J.mVPߛGiƆ%+Bx[-S7ClWK[vj՞'6:לH9#Ҙy0hS 0E0LxW:0lxdn9L= ibs|ps鍄ߟ]BBRD"`3P"M6~ڄ*7 `G !*+1%dRyUqK^7Ayr++]!VA}sy_Sx-&l5WRDee+p}iѿ-' <@U 1Uə˄KJ4" PǿS01* Õn/IIjDOК]jQS|#j3:Ν ȼh qCR-/~^-=p;;/r{)yueṲӕ#V9s5`-V|9v4W@!~X~)ڣíJ粥|&?w 1f 6C7Q:G# q0ܙExt&ZE_Q:|u](Dgcun{iJ5t۽i)8zu9^_v8hGݿw7.CmB/ g_nK";6+Jswc3_--1k׹fƮw-x3QQE|%sf= q1 C!&Y(uo9 clFse 'MXh,NAj6%@N읯^WlaEEIa=E oQkgu+ ;${z4 J/PR}1%Sq(yީxDOXpY #Nv*]?.)9~/T8+Z3!bg#6A>1Sz^u^j+!biS!$Lt5.wOb.6J"r`aRj>Ӯ{/hsR?Ņ Ě sYJw(^hh &w]qcd4O@JA`y~Y>e5;h>xwp [Gq$KԽA 8ߜ/_3)wСYdHRN5C+3) 02xP_g!=?& \סDRU?+*H5` _^O'^ FJkml3B rN;d E-Lnc ΄Equ>!Gz p^*b?[&sSt?.K#w#3=W)d'P2clw<Z(Sm0/nKcMD!Q8oR <+y^mNXnN6{ÜH3bT4[Ȃ%{7o CZ]7xi4C.mI1Z '|;aH?O&AɌW}ģod IWa'D@FI,l_H,=;g'Ck+QE>@+kˌ M||S]D\1UƄͺ-b b݁ $.UR1b`5 k#U_Cc]h.KH⋶U+un=`6b{kA.zc5R>;c:^9Y୤<yf5byz$z7%׍x5C5qfJTC8^(E4H-wKfq* -<6jT"90̪.=7|.cl`&sp$Kg8Rx0|Dd٭BnR [ 1=/+ñՎơo LQ9-(4ݙ=&Z[[.R9SYGݠ"aUeZb3e_=ΧB梤aE2ܘ6SKD(8ݵ7XYHe7xL>*e!i`Ǎ! 7TJek|T1~ J+ɻE3r}h͗0\b ;T}>XK< )  5E!a\@R Y0iH5q-SśE: fT»6, vd/UϾϮpaEȜEku\$^FD`.]gɲS MGQ0 3Zrھޥt Nnc FoQ󄿸Q_{ ʏ iWۙlU˩{a8!uIp o)ʏ7)C0)L[N%r EX.P']PJP67g0^ڭwu{7ж g=(Oa U%dY%Kl]<(6B13]DMPF?1MXlI@צKxߋ˳I wh |&ٚv kaoIޓI+6%+JMŋzȕC1ޥ7JB٢?8¦%[d6[T:7Ea^:d?G-!^h[[j2i%jD7ס:Eخi&vsI;raASt\MkAB)?sA5 Uibv\M z+ LL5-Ve:3/%q7OΉlp>2-1+Cǭ8qyg5J8bn?K_:A^]K6@k@ZlS] +S_Z]|e+27R Or5B-*nzԆ4ԪLހ *>7?*iV 8aNSAhlQn\| EX4/sZ~im@†W7^| zB ('F7R;~:-ةxxj̽O|AJsT| 0l,4EbN]lMݛgߓY--?2 Q=P %/Fjr?R$QnG^UfĠ:Pe5EMwǚ)nǠLG BDe@9`k bY. c$TZ %L1WFI9u~k;, `oy*x$ZI[0nE YAGȘln ܦC <…Q~}\cc5ERbeF_|ڞgrխ81`bGљد(X|q?xM ԇxK&q긾q>1t,v,CӊRyӁ&цٍ f?ߖIg߻.7b ;?YS(_}N-{rT00~E/l}d4 _l>>tĠin^ef/ܡj5X&.Njtq2QY󥸹m) J&?Vkјzϝc0. 됗A 7Y ȿׁ$Cq2Α^]= /JM.W8G.0hc4Gh 2r6@APsܶ<թFSpfA-4?k l`,ڙx_@Dh];lJew0mn >@ x'NڱUkeͨNQLTkU۷;Y57uޫQ@(`~I*ѕ.ƆdރʀrH_ˍ^uYmh6y/0+ 6w2 Bw)8Y32" \$ayv8! tKI@)-1Et/?=xJ{ؗ$sl9#[^} gmmKA*D)d#2F@7h5uђl1*V.(8>M{mK(C儿9M@xG'd ZŚ\! N$c:YeGvZVdѿ;BpncXֹ|c ;lu ''Q\f򳛓24əut5mΗdNBÑ<38*;V:?) <|# H\{.c*6q2/ >o9F$Дm3NTIFb1`'s34j *2,>Bk RPE_ 焁Jlb~%KvB5@[̝NԬ\?{Tn(OnpS[Jl++G \7rKwg!ŽGk1 5f\>Y*F[x<K5^d u Lrdz9_-=@6:YI[qm;