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 F5Dŕb.ot׶nrX\/A]z!irU$ ^Y3dr|$H7}N8\59"9gDvN˟"V>bG%[Z~t|΅S6]? XZDlq3II΁-*M.ۓ Iz\N`cͤ $Ia03C[}.O79tc[Ӡ>K4ݬ: ^-ȤvI;NY Fُ/K1k2:&>]k[`v;_ZԵ!3 -$$cORJ1u+A2Qy5R|4F8-hfmu0|Ma'?aaK*R!<$fDt9VYvQH i[؃qs>A}:AJو0w)kMQ 65T] OJ$B .6Cqĝꁱs/M?{QsbuSw^_F|Z3^B&M +u&!AXHrŦ'=8lؒ-<~pyGi N$@@CrL'syloъi %g 1򎘚fo?9U`d{UAap1Fq3YF0 0F FV{.CJ`Q\A)]j E2OOe 9D'9t,S'K̖ޏM_UoYkEDgW$6^>w]P=DoeB@,ـSsSTISt@Ы~{z%Nrr9ˉK%qY^#&`NH"= vK%o#ODs#%U %}cÒ}ܱՌfᐥP'\?qgLDg8e^uv?h n?xŭ"8QL5j 4Gixj06'-E>йpͤW)7K)ⴱ6w ͹R[C&lQ~[l܁?YAOYǘH+1vPRoCEԝc/窰ԩ3lZ.3E$~oF8[Bm;poIo"a"0i7i }5[3jL?., 93³[&*!Īޚn_4o5`OtKmdDCKk8'oi`V ؔ>0;&<>^١oe~ӓPn J'Np %[5Z (]uލOc@WqTe擺VIXn)B$8)ě0lYxwVr'cAxl$FD' @9H3RK; trxdM6w0*;PN j[4j M{d53TSR%=~kfz]MCl{FH>p 1i4#Qgpt -o$]?Kȡ< mrPRVfFOOX=Up=G x:ܤq &&9+idz(e尗7P~.bQ͔_K#E5uĮG:5ug>N7)y{b@hx V =:@s Z<ܢVo@p3pJlMxMN 7#_@Z":~٣3b[ <[}~iU63F8v\@Y)SΟ;@OI 5 HOL-Nominal-Examples  -RCkMhapH5ZIr i'pha^ڏQ=ة=W*byr'`(Ԭ럮?CMlJe+ 7,(\#5ApA>?X߱g@n've05ZldJRȬuHC| Y*pwD_ Bq  62Y#MfMķ_|0Ŋ@ɼܝhTVkzGzx_*Q,(jm 2R҈%2-s]<ȿ&GlQxؓDEn@GC 7n=oÓb/ơsC,Ϲ3$TJ(iZ+Os bPE`/xwtpg @];/}o"{g0 9Ԋ%R'*2ɉenڵaM |;V;sIGz ,1#uŒ(< ja?CZ(*,ez=* [?/+#`W}ӡW#ξl8֬<ʇK[]91OX1uĐ*X][4_`#PF)F|.U}Hz@@R[:Ac7'Wt̰SMm~DygpUOS8l1\G}}ھՀ\L%*Z&4eM>| d@$b91B"qSHRI ?o.g%$~8A,YgkD@wBEͨCmChpöY8{xFfrqf_B6_XXY[08GQL4AŃFrzl-h3pi!1/E z!iIUl zl&@b]>Eþ#XeX46fNt{̅Äb2[9;+/mgRͳ4z2IJÇW=EsbVkN:R!YA0K"F\/Axo#;a};c5Pf5u1Q<7ryG~z+ 1h2b,1xף2sm"&-Z&R$ $L!7-Fvvo$JAvN롄~Qq' |Sߜ"Jq*8K-jwwA0\SU~Y7rxr]kd%.|y+\Gof*X(JYc++Ⱦeg_ S}ԗrnQ+BFDfԄ<*v ϨW?M{L s#cerf)c;"ݸ49:܂ ؎_~uzS\JN[qZW0|QԢ;s<ߕR`p_PS:ﶄJh1%}Um"4Fb4paËV l\ (d2x=~E^CRn/峐ٗ25-F=(b-XQr Y}WfK,q@͓ǽXa=lGaj7%fW-u!kfhں3$G\i1 [n__r:ho,|X=.a_Dž!̐T%}y{Cu謥ڒIB[1!p@9VˎLX;EdcQap}~1p̠cˣ¬y~!+vsٚ6'b9IAWY>U\J/*z,޴}n{ vKP סbئ-0H P+#>cT=٭aH{'LPONRd9IJ%up}HˆhAt$,=\WISOn+<y]tBLzHc:{lΣƂ;+4h3@n.cu5-x(6 2ӡn&j2PE8,CFw1]{ICCU<28rH8mULduu[}.*FAyc L̹(&7bϩzv@HQyjtEbclh$ԒGݯ $'I KUDx{wY4k: ̉$؋Ƀ"R*{t٪}ϭ;aR@|͔K3 a,FmP A)!{t6 "|sO0Bc"B(1 /n!k0-xGi-5)xh&zC_OPD7֗!eF16vj9Oecr3γU:n>'=ÓifiQbJ _qܶ@Y兄hq|6QN7ZD հ6CzcGe%* :l@F*pۍdͳ:I+C >cEC9ÓG iB:vCPŸOSv :CuWb¢d̴)U޷P /lEV$Y}`rF5k 5xa@J8LWO}*(zm+ӡMk-TI Ѱ+_^?̾fms^wCM5^Oo,ee'ޕƖO;kH%&.g/ǁzXFfp{ht6Ͷ=W71F1Ywq!C亥1hjjIo}C>sd(Z}Y0Ee~c\0/XpW˯I pDaʘVqG+,RB\UQN00`CבLվ x3SHW.uj-9%{#+=^:WF`1^[wCegNu;Fڊ&Mu+\®3^28@?Odp.96T{ 0K9؎d8O {aKJaҏJ e S.;i+FXsRLyTϚ Qe-GK!2]Lw5`,Psc#܊:U 2~:3kjGs ./:`n9+1"Z6[Om$陘"%nY!щXW?uQjJ,~TmWAR?ul 07d=][a0~ĭ,GghL,I/}p^@x<!4=O(IѵX[? 2ͱ__yr:} 65Ce>hp[=<R{F&1iev}}ar`Iˋttmʨ𣩣>0( QCq9dHMyrqj> 2b G VkgO^*V=$O~u{]Mr#*D˫샡XkpږҺi\kp+#HO~%ok|B.Iñl<\1i*n=AHmo ndQd)G"YsW$xn6"\~a ~eWFxfE%lɣRyʃKmLpWsa /ML 9 Mo8cL뛡Yw(b)%'x)Bnʢ#w/N:|EΌ Å\MP̎apݝQ|dSE$MANnبttQҚ2,0,_TRt:9JХJ *zf.9TU%,UJn owP꣫9qʺ6 zޟ!N1Q[uh@VXg] ^ R=Q Q0_3. OImbHSF{QjP0*4=D0w[_ &OsKs/"{{EϰywR5\HXN}㸈O42Yu{opĪ*ڷ1>] EvϾl!?OR-N|b* 6ظhG< źja2>-/> kTMf A_mahC3\︴g.96 +AqߺgF\õ52Ep*Gua@s nx $s[Nj ꣟Q3.$;%L"UގP{(4M[H/Pծk?}R|bxd| Q{ñ䖿Ek*Nf8p b';5q5}U/WѺ}:˕wM9htKNpCT_BL_hqa8lKaP1H-@ eg2+|;7j\=ބ%]j8*u;#`=mn#@'Aȶv#jHUIlt6p@LйYSkSQm =6?OfV?o%јvAꌠ$$HxfI8=;'g򨼄ldtȾB9k†6VCdՂ3g^2T#\le&ILYN {|^qq$Q] =|8gNd0d. L?e9 tVzCEtDKRt:0cA6tNg.pf"nͳf4 m5k-'x9.!/ Y'귽iYYL@WgYZ7zXZִF! u]ŗXiɟ1ʹ l93攀Lx3 aѸ4U`#4ca1ۑw0BYS_$ GKz~~ݎqB_Jf]TGbϱgtJzG`⢩:@ PA27$9xd%&5ISל>΋,@&oܧErn(b{a"t4W ,:PWUCqTV7'seaI^PUV!?%׊L0QK3Ip}%GrĴ^2>fcL;m8u3JƍڬT`w;$n!u#UkIuub`B^+U|بނFD7QeQH^Xheyvb )Z9E4}_ 2|)T?*%2۞3 2o. y)'TCme^H1Z"Mq؇M,)L lf]- 3 AЩUqK +ǒF.fuC׬Q #@MjN.k%Rqt Lڰ|a v$=:_>5!VX(CfUr⪆q|hI3oʶÀbgb8&"`GXo@KaE]S+z4yOhO^G6_D/m~-$.۷LEX\BqQLήuG}%'MXb>vԊLKq٧Gf 7,%cB] -}!&l|&\ }ɂ\9|NQZU$5 j)<лc$!Gஏ#E͘zCU zE=j@ldݑPLMPvښ7yp3!:[*L5Q!-ޘ]ԯyVxNC6)ܠa׶<ޖQ? Uwr^}0~ƛ6^*r9+PJ1k4*aͩk]pb B%ac'gXx= BC2p.r/Yk頳Aۙ`'Q"13NpO&zhJ6}fdUՠ؄)zƵe8wM+A/GTP3>okazf_j\R`#iIroc_ \S{ _@&E/9|mk(;meTZ׶X/yЃ# 2c4^ܖ[4EhW7$XvM)`aeC}{2 PQT-Ku.j;w>0馏/DOXdLI:^yw"%#9/r(*,SHVtJ8AUSx Ѣ'v4:Q /kh@=uFآ%hzή5LQ6!V'Yt/KYGQ|{/X}0J$D:$ha;>mHNƵU˄̟gI*ґP:*|?ur`m۟WouKUB>|UpחfJmǃyM=G=JV?q70߈|:uMS` f6VAN|Kcv8NO‹0X^N/ӔoR2"?9ĉ.<p;(}R%eP0CeH[ 3NA9oB'hnRF@ oՏ3cGFTδ0kŨ9or[5ũf]ufrD3Sa:M5f-crfHMSTB\0{ U2hph|:N*b.ؘMRԯ몿,kx}ɔEŸgX&ZezTy@j=f#pP<0c2?6!o]F :;rX\gń[CkFk [o){Hc3VM255P(nyT-I5!>[$Uw 쒕Y Nꄷ E$P,E;| 81)RFF!0K*j>Ohbn\d{,!%x|et4 qOֱCzJVuS,RCץ-iSE+k! 6p-[]RM([߱JIv:8dxܫ`d_C&FR+0j!4X6>RIf8=W9RٵtvD) ҡF/j0 IkJҶ M-vsK"ߏ QŨe@{瑲9#4k֣p)^iJ Tg[˺)\|uZ㖲k* !r'7:%'|W7{-HڷN{h-d_PKƵ.&PPNOuz){A99⥅3g{tuKf„~8A?Ät%rW5f+ t2Hmk0)a$ ҟ'?M}O_#PH X9w=!y'؉7 &Q^|p -#l)8h M.y<{D0)Ca,EA oI0}ۈJ~ [B]MMR41D,<"+h1mDZx +ӓ__e- >MsH>T7ghL Br>tDJ")G^uCuTR`L. 뀪ۗeB:ՠx}+Qk#ACNWY Ţ\X&SMA*T"we!LhV Pb^aj^ (O6L=@08+l]ɓ v 呠*vډ}cDB,́ꦘ}ˋ211$H3; *NE*U>@e1$ƈؿa g+҅$m% `F}Pz{g`~}=#}U5vx0^=G@ SL|Ӕ&$P@lۍKGj;G'b)^yv?/'˸TwxI4 fl]-m=f|!'6J7ݠIڠ [ `hqѾXE3 u!氭6̵:;r?E(nxS/ L0 ՟o' fNO[,W=ycex%xuI)x߳wG(*DrOHr/"'剸3m I)"g8G^NGO γ/}/-1K@o7'\Y1ЍwX֐Ͻ;yr5>~NA.+4 @FtZpQ9_?ֶ>#2R !!7 7mi½`Oot,l*ms5 uhN(%02^ T|gǾYEz+ %Ԯhd'lge1mmF7a7쩛׶HV{AKa\)_}.:jR6%Ei:v; HlϵvV79-BD2QZiu2>+~#§fMp;(Ve_t0b'~sL@I-m%yO!ʤ}]τ7RD>O9XW'Y&2ˤ^\I ׃qՋ s%`|)&Ce)Zځ)r$v4J>Thu!6oH\3n7Kdۯl3p k.v)jgi?ӻO"QZ>CF͠u># t%Jd-MD|e]Rt;dG/V"ʂHq o[@.@KuЭj+VeG&xP$b5~+L :$H󟣸S|Č% & 8 ZjpTBjnF r;|Us*=W[Q#SoӒ b7`~bpđ[g)ub/Z.Ml2GSu L5hՎ\b08=(薓f:@zS g1=Lxh/NEyz/ZGcv;öiЈѣ3Y2/waIa:ysX'H!?owx୆亖#IQ\"D])F?I~$vHӲa*coyQ1#r>JPMQߛf kX|wEqZe. jk1z3^^t@u0Ts@ 0{pGh-nuq'DUcrMoM>nox ?k4Vin{ qό |9)#VłX:aDk, ȒqQ;|W} }A=*gfog 18(IYgŨfx野%iEX\>v qL@tx}ڬ컡́w $P}X=^ D l+ڬJԲm+R , .o@Ux@Zڿ2|bt3~qN8:X'1[f[׊aUkui+|L MnEӊRS}`ho&Mf"1T`a54jxJ [i % 6U9>pICe&5;)В'繹8jEa1I*PHrr,y#Pk6C? 쫸#og  F7,c5a[Ĝ!ʂ+ ]Ei_S$eDA"*]$َ\L?+6؎JnF*ɱC] |zozdb/jsn%jx&K߇P#kHAA\;W6Y'X2=w$qVŶq_X}w{u2o@/,cw2]§ኖ\(J\-e\8UwU*PH[^!  &5f}R8r6 nv8ESsBqs֎U(c`((0*ǥ KkCC3 - oJyA*f.2,,kz}uQ8tQ (##+pԢ)K|O.Gwaiad11sM`< }EL{22B3\ܘ-&$+rY v) Q)s=#=_9P c"}i':CdF{^1BE>ƙj׈A]vD/\!(ppfBbur$ѸoձdP@rL\w0ufH$ W8DNw5X 7^y/R5:|Mg>^k$U߿%$jzs yt%"LQR:D7q:bS؊; vR~9*$րAhf |2 Nj#{olNAg-A=ؙV{}eŔ I_DEz_xNE-ۋ{B? nuhCk-I!ݢ /ȡm6ڻKgK#UlblZ,Lnwx@H*&cإ֡YtۨUm>^'kxQM|N)9i+EC|l\3c<ܗch!uO)-:dD99# csj]:S,FAq:%8lƹo`̶_w/7w*y[Z v|;.#B8窧۲]d'kY[VtC83WJ4~xE)TԴ˖WeH"TQdԃJ?qbmQ֦ub8I`}zŹAYiK4h$7SLz8>Pk(mfݺ%f+z1e;%/k "+r߈=UP~m:׋HGf nk|D՗YBLow$#E(o38pDsS1 Ys`-R0G貙j(O|\!^hFƝ-xeBUahGϲM髻}n+Ȥc:M UUe◃W/XvۊrU(s8d_jJp8&x4}otA=5s4׍E8R3M yyqB#1g|% OgE$z̯#y^Wg`G8^jØ(!h]vx'y9@t;e{Aڢ~^SBI҂f͉S4H|8׋:-Ud,A' H9%if'8 ?` q%OAz7$|lYh+P~;%G#dU* ʬaP}^Y|Ujsv 35=(ik~{i%|Zh>)9ddVٞhRCU~g\T3<]~z(gPIW>`w,Cʾ?v_?]u</cmcBװdEm%y 5v|P^7VH'8F:chuZ8ljIUe^Pmf2k'5g!:!8 96ʞY*K~G3# uMcG'Ku[kcMPF6;_T8L>9ocR57cf "Z I*ŌID&/4UMClIA":cP[W-ÚFZ0_K"L=&1qpM5dfKs,_bY]⫴3bEDLyV]p 7jWf/dpOT:"j(tLX_Jv {8>eu3tk)=0 եMcdos[%ޖ5>G*0xIƽ@-!RLp]GdM^C#iTƆ*vb+X!RdU2~C;d$5R>7݈N{})tw$~ﲕfό+&<#WpT"ĬtYt4͜9~dt=1"Ժ+SRh8y,j1Hݐ)6\Aa"_:37(u>48ti)ww8/NPsaIx\|sfK Pkjshe&m7)QHN Ytw9mûzCep2\RNm﵄ \z jߕwǨGɒF[dݺhVda%hXvOM`uP~D\ٵccBlўҚH VO` 5uGbOgV2쥓:;Dm$TҲO|D7!nkǨ٧&AW?`ǨN&Wh|osv# ~*ʃB\{۷ѬA$ϡBL23/ ݉a<$9L+zQLІ"zͧtՂNϙt*ms͓%q1] ΍prEXg`L7c*{ҕx݃'!wb53Mc<͸$W/ۛ>Kؘb?8up)M2 s,ALtoPx'9#-;Vs|pLWlUh`GCR?qj=Z<{hӹZPy4\Un b~b8y}@S?G/6V{ 0$!ݪ1 ܅b~ݤ vS+yUpeo<@IwB9Ne''Zt#f~Q% "(6~E3ea8~'/Miye}k%PeV徊h™Ɖg룹yv޴E)@hǺaZɒV}d ԁ%d!AR0dDɡ73  t@Z]7Dip2Ms^ClCM-nǕ`~=1iv8XU]EDE/' $]Ū!?ɖM29#kXR͹^Y.REnWƪ&Mg2B9)R:~8>֮9 .o.YAXZ6AҜYb" _m;\&, KMw3S5ULJ E% krHY\GY-TKMN7]hw8++dZ0BfE "Y1 vߐ1.{~;-at8Dܦ&)ce 07t ,D2V]#ޡrz] ;_4.qwfp/`B/Jofؠ eθkY0$f%8-9_k&ԟ$W\!wEHNn({\e_AI)\'ų5~،uvuF\DBUD .c:P2K-kjvO^ͣgz1Oa0%wPLP󰷨#YP|6J3as[ҫT% xp7?EA 7]WN* qYn/d\PSұQ'[EztSmo1gl{(<>TLHhNOxlA?cY"MZ  p7@%<K&mBۚ bevs?`ـIլrX=0N.;wS.xykl:~/SA}{y*F=)\o Q?ƅ%Q*Ll EcnB:M3,b8ȄcL~23ҕ:ɞz9]y3 '`MB@OTY[m_1g!s8FbN~?eCK|xqaM!#I}&C>5(C ʞRг8?nzG'= $%s$Gq&6yǂJA 3 휊Rw#p2q:8(ꄬ]K'"]傖 (x1}LT5<1o9ƅWk'A>$*{l/z믎HBwHtF0!srD"bK"HUQiIu^|Eݜ1@f%}GJr2QwW ftp Fs2JvLx8 q|N7c )K|_//c1 )1'vԠL1LڍA7)쟡Fz1}UxߚH{cY>$>&7g0/i ~b Է]J W$M`&F8`*y exBH:ՙw̿(t߻uޔh3 [f6lϦM0N"iYͻxp0-|ɋ 0%hMH^*fX@y?"Ӥoh>*u //%uY89~Pe.| C*A)3S4b75i/ĴB)^9\U1j'gRX%v &GMD:=TBI L=-7|fa.9Z\/+yd~b+SH>ZZ%{aZj3!42uWkÍqCGTQJh^ȯ9ëR?7<nMSzYŋ|BnoH◾#zc ,SQ]asbVjޕ' bgvߘ#dGfG"9CT[IJݏ}ήM|,!T;}&:}C`kz:x3q!jڜXIJhY}̙Pː2>Dy[ƭ _qt#{Q+t3)l菙\1Ѐ[ {a7NfPqHe~T܃?5cޏ:)K# ի|7%)D_qW-xDH:?6<#OV !1x_7e88 .>}򄼆c8)?6+Y*P+~s#CqRFP!1~ir~lZ (mO+LcD0\]weI#oPde!-3}`@A2}Vb c> ;q|:Z,޿ fRy" .QS|M)|)R:nOY 0.ƤfɡZ18̲` ]1 iqG~Sax]ډ3m1g|Џp(٨4W6:-j2L dyNѤě3sp܄W$i<@T]xbedžxĪmp΂Gt PG#hijݸ_s;BWѳV$å+l ڂ!B[^qVJԟ\$,W wӚK,by1-GA<ݩ%)J*F\ыZfK[чNSO0XLӌsvF\ddnA{b3i弬T}ʲT,͢j f"Hp.S?;7@FիM 4Kw"fE J򄏱f46ȵ6źbp׫Z&-7#t/)MtqdT}ԏ|`p~ <e zƻjs{ X xp#TC9tnĢlGkK퟈m&s(oɛ n6V||*d| D鱺FN;$[cMx$}H%ґ6"sޓS#w 5YXbƑLATv<1IB񱺖u  B.$].hS+F0, R1Y'RDI&x~8aqS~TgW7颇un;d `8U6yM= ,TdMc[Xأs&$}ٕ7B3/ 3*QXO/'k^KOz>`R,.l<S#CHM@,+#OlI\Ak/!ޙIs\ц$m2N.<,&Ѫkqz @ vEQ>Ӫŕ"q q$4'ԝSGTnTox421#lQʔ4I5}D-.9ӭ1x3,}n>0\:tݭڛ%@?Ek2^%OǮְnk9ls](qdpH2dqYF\i$Ibեb$@XBٔ-VOR,X"'UIr CcwHL9d{3l,Z(R/ؒZ 8(>P_ߢ9{{n\< ~4q~ٟ: (%& [F g`~;lAh5'JږX]`ԪfMVnh3㨯jIVDØWY˨Lmn w7RÿA@+AhgUskF: =ehm7M#&➳-~z{up.x8)D&kOfͩ]x( qƠs?OHv(D_sȷY>8XpzY>ߕV8GdzJw(dhx`Qæ\@W&w$,Ѵ!o+G4W2,Ml 1WkxnP) MO &$˛⇵dZ+f{ ]ͪrVՔ8< E|E&Bu Q( { K>d$ =D:!4Nv1N ɟ>)_0/=>-j`yoJ!O 6OPԹ܇ [B?\Do{'X>kd{4fUcHD $%BO/.!Q 1'oFiȼsVH۟f}:~Gl"E@`8  ͡B#\ds Y]LjB/D5x[vxcupkEIt]ʖ]b'/6_[)eHܱX29!dP`HKTk x^9T DXK4NHMkG}2ODDރॽ'{9 Z28‘9oN2\@k'DǮϬK<~J f0&dRѴ<~#О/"mCV LCTKx)ɤ_y;I_5!V-F l-fp`˱>}U׏B>TwES> ;M'9hV}`#sφ] -G!g<Ψ(ͯJm~svGS qRD(sqخ4Ko[eDx6 \2e$P,=24/jf)UfF6f 5]SY6iXv߾Je?xk@}'an Q_"Ȣ<+UP Íi09 3ROxEu [bS81^R]Ų9gĬ4=˽`SЂ$=g} H>o Q MzV>45FM `M{*l/JFi~iʉ>v xi<#Hfshb}uPOUgNЙ=o|ɇ(MhLg` 4">al^˝AS[%$A'10i%I尜d f9R#x(qAߒrqM_Y&oQWDZrG R{Gu62  TL"zg;~Oد9[[N&ewfNHYF7.L+2J$ qlmTw*LGI!Q*);l|%nh8eP VU@' 79?Y+/{@>bP,O$xêUHknQei({GP+/R'^b.BؙL<ݺd,5w{$)c%]@B8x N`}Lˎ/+ :?q#Pp"%2^c*B/b c`-^qFC2TpK{G4\aY3Rƭʹq$ݭobaYb,0=)9{jgFBCK=r5&` [H؈ ~6_a(V `W,&w:+ n2kqZ!c{d2 yU_.SZnwtyî!r'QeWx~kRF䝾u _ _Ӛ>>" 4mSOD6VlAfM Ҷ}o1 C!^;UՁq)a$MeC֯؂Zly TYێÍ)ðE@-CO<3!0ua>8amH  Re&O6sO3ncę: {&J\NO.iIk (>SUy`R+T@*QTxDiv4syOl^ G \[]}T%a^(;s}UޟO,>5?*RtйN3vU"K y Y)]2.gFW^iTyq:~0ĞP| qIF#øX!.Xsn^r <0jAˆtTAMwSQ1 QH1HF{loy2HIS @u*/XFw=+#䖋Q8U4#cƤ'loW"]hzؾ=1+4T2YrTյMX`MgP݀ 0|&tk]͝$q#L͞- lu &ץ֞́;]'Ĉb.uG=H\&ї$Z#|Qp:j-ĭJ3K3 6V<ݶZ?>ۏ͂%A*Isn4gN1&(2QH!"a@؇?aUHֈ3їWm\/5H7/K1-8p>M4lDhwNgJ?P'_C;5Hh0pɄ~X.I0U_WZ{Un9G|[;$g}pwfJ'f oneլPMڰ1ϖxrHhm/;7Aa&gm-O2D5Tߥ}hN-^M]hj^}dketYD*S,+LG4Οk5-R_"[ZceY(= PҸs*rSn%{AiN|S "_Dis*e9pZ&ہP*]~{m*ҿwe(hW9Ixc}d3+[ߝwStSMgqrct% &k)n!7r*S7^=妩n5et m8O𜄍%JG,kzd*)[GJ @MD yX*uױ!lٙ&}=.JSOؼE2oQ49I|Rٖ@+zL4GCO3+vP;kqt޵3˕S&pͻ7CԄ6UnLJѬl7fjmp#O.0jhQgtyX3SԚސBDA9@2I 6DKF\i0*گ85Rmdڽ)L*c[WQ症eM_܋.(n lH joc('WA#зY6u\z_YoGy%r {iC,~:g!wu ٷYb$-|e4>_-[ %^2Կ [!xr"X Tz!5M`Xv\#20XgWvhB\Mu"]xUhm.qH CxF # y7h F{.{3We[ Jes<팹-o.(1L /G 'to)%Ify̫qb;S_GG옍 2f&/F ^rbVr V 'mul,cA%*R2*7{H~%E!WO H~ 4"(;@(}~DTW7ږU&L&{V,O>$F173?[7CIC3i͹-~යz5yz=Y)2h,JN}*u;Qr 77;sebB̚ 6WnPVBas]EXa Pa1^o ?Feݜ;]2$s.CΖJ}5VM8sI"{!rsg$erR>o07ОMJ_dk<tkecl25@Z 26# cHxV`J^O;9f Ԥdk3t[C7$k#e~MryǒyBLֿq͉݀;ފov{1~id-Wy5:\8QiӘP%?=իZbpPQ佼040YZD1&.Ypwc^M@6'ڑIG;ǴېYP:HS7^;  v@|\|J!H Ί=X  M.mav1ـ ,n*I\.TG~g(Y"\Ck連TP:U.%h}]d6ǪfY>D]q~MԴH2@FYIv3JCJmSiNRYi%G5}:*AXC[ҙhG> 2Yv4ZlV %t#ģ4mco7(F_!1$ u+N|k'"b\Ly"-: ! hGޝֆePX:,6$7X8_xf1͐F!h"|Zd> Mi>4|Jt/7mCj<)]yK*w $&!iDA[\+,\k"Vb-Mu53*+&Аw%b7kӧL6]ћKc7=m\,Wԫ>@e "*ĤA.ZS8Jm (AyL3T583]1D{Q( ISԇZ8ﻴGzt)t wUfk}ýazSӕf[/$8NKn,;ySƆu5D8 u0.|Bu2Ҫlº2jE|мhؖ_Hl6s9iޔӫ8ߝ3B@Js|(͚]PwEJM=12 XRe___\@J)vazͅ;\$&k<ۆt;!CChz..ZY:HUHc=~fp86o\\MYDbV%K;z}PpY[jmЈdsa>M(m9#n`ޙQ&}ʨw3jюiƒR|T_elYgm@} DW{ k""QL9G)>\: S @`n<}m5F)^ӯ?ՙmQiS|3}x LFIPim=OLï\̛|e|^Vo7PE&8?#a %x؜̥X$8z3R7dZ,!/6?%춌1yMF زcnlOiA* qFIp8^ %hBf4?@_ki:!A7" $.7<РՋ6PyJQi*!xjQJ̝Moosӊ4[AnTOR4ַiHvT!vFMQӺS+T^EU@n26d=ۡ67v/\_Sf#,¡*HH']>GR2pzgLhAœuaĥ5Ԙ>׃rR@W^rX_q?X'iEHoO@ KE;g?έ?ROҵ{Z?I nS