SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 (!
  ! HOL-Proofs  n9ĝ!Lfaord9=!FB6vȦT k6WGQZ;}8Q&FTzEwW"mC3Z1yA )#?Q&Rxs|>bL/J?R|D7xzxѳϩ6U9=yU$eoT8 ){3Q̗ʾ"!et4QCt5wDt<EY9Quw8v=Dm.t uqJZ).ڪ ה59i*@(S`r5pOs?/`0|'ľ 80Z# ʺoJט Pl_8AuNO0~?"FP ; }U\e;Ɇ1|X~j?LED9c:)V0<[͉8 SXb(BF9j#Tp獝gH]pL4'sՀ\jIS/ (F+z%$!wf"xF|yϢ$1O0p~Y鯕J8Ptl/ :Y-D`@'>J]ѬKkm~2-leˋ[L [>zӋ/ gEc7HMZ;]]gTllאc.AniIb')6b Cŏ )8lPH)u%j홇ŋ 3ǥYgtq}iㄥV?b+^6@~t)dFw;9ۦOql)>,8csp&Y 8 &!]Vo| j Y{Zt1`4Tr>W;]h!Cc\̃bzl܊Yz=jX, ʓ@Wo眐UH.y8; ͮdݗМ^CטqqL:>WX7MUnse>Pp -p-#E $2':̹ʄW 6!ju-z1:3np,+s 7bU#Wq-$1Hg}FE6t8y!+q/.y9<0sjO+52\$˯vl|\ۆ٦/$r~ Q{U"ubmD,gsE TӪGp|\%WHq͊ҔѢ/!W*o]~> cGC hߡ5\KyK|ʌSTd5?HZ+ 5Q& E?m b[l5<&#m_Ђ J\1*CͼZջ1Fn 칥eq<!y+LX'KQfN8刐iZl3x:}D7>7'Q Bۓt8%!o17fz ḻX8z| Ez>׈ Um9wcpYJÿJ 7h_y)񓭟b[V,[o2"-A~~"43;GY4@[P=@ݠ29]=謐 ,EBf[qv SM%hծeNh0dV4UAخқ>nbm10g7_On!tSko|*6{qTPEbn`]Y%o%j '-B,P{'c ƉO1wNIC%D&'4L6Clh#@a 7Hsj#2CG-E#㗀駕#:π2[д6.j/;Xm7f=HrxorlS%e&(`_6=kq[A<8E)Ul8M}tx@iO4CLLt_If&k=eK,1Ϙ~!!u$yW8;jqБ G?u&]_@ji d w05Nr'6(,4;זc0r35 tDj#~ۮ?w "oyC7:>."dȉ:RUnxQ>~e(l<ҦίJIK KK.bvR=PPF:G^֍A؃PDc{Cq43prF)bX`t?h[NeI,>UkUO]7%nu=27\K UDPэ-_,{`) S[PL[h)kƹ>noa;bB#--5kB) #t76I0 :''7~a-Y;#dـ8b #WhupbD FFD?0aq?1a&E̾:t& |PB4Kh#KQ$ej::Ja-+HӳI;1^r:aunSxFܬ`ڥ1l@l.C./M]I=UXŢ{Ҹl?9d\Y4G(m'?g& G)rI>4㍻Nn7+1.߇9NcTTH꭭fbPPz886\N^* Ryzrؠ,݁ѝx!*`q nM|WnkGpW^QnF#L@?惻odsRM }ƚnmV9Z"P4o1YǗ$iٶ,Íj|Z&W); <ȢRPW k('Oֱ NʜXӘnU}g,"śfvvI4`F764)$;PQA1U1;,6]|6duM#ڠr=N膻|YPF4:g->,.O2n/g3n/:FͰ^k ~Ub9u[1[um_e='>1Ƥ݉ \$w۹e3Udx:lkj U,璿`s&hd 8#rݺ5fnοgaM d 1* 1(1>$pdݟcHUy 9Bْ`  |t-jAe!X `6A$fjwP(yh0O ҠAĈ~0A>cC(Lݺpߊ$0~:g ksB$Rx(! :{z.GGxDy%ar{ SFYq|BTw%-a;ImMkK %ϏqJ|L1{M]2Ύp%:siYpn܍Hp*WxPZ {s(^ , M{e@ Ќ/'|IM yC Mvt;GGh(TYzo Z C~nn ,.4L0Þ0H^|SLHm?gT<юDؒM'Des1^).6 p[B w6U7z8ZS*>]r|^mXMh=V<]M. B ]8ҞfBb*f.ם7Ue}rΜS- "g{R?LZ;NM8%T{yT3Ydח 1kvx_. f'4-q&-;!0l/߁sܐLu C;eL{o,&D۷jZ?09;LA쁸ŷXsq+> Rf6 +jP}EK>rŪf.eBHe>g#&ז0ky \LXB'cIFs%+~@M6JF+7>c3,M[eXhr=fOfe]z*r J+DBGN=>7x4аWaJIcQ8̚kqaVJ/WxM5@V,okb?r(B8BQ&@43uB6G8yBn%?<9vT-T6 su?%uAeZM4*)ayugCAMcz/ ~Fc"?db$U}6iֈ`[rt:9T]'1^r3!&#R.96&~cwӧz*;{;}PemvȏNuez]Z t ܼ3vXH3Sչ 8_4>}so _ m1u)V#.JyqEʻ[Dmϻ";4¢:%PdyV!:8pR?zUwS呷]Ԅa- SԐ”fX :'L\5~q3q([y"4Y촡a)a(* 𜙀р3K=6)dAB5T!ԎyQZ>2* ܊rs1#؃9r- A&nlBr/܇s5z<0= %\~.vJAUKd^I:N kk'b׃nxez<dmsZHG#R|,ųEM!!BgTt |_.>W3!bi <GSm63\bVo߇+qݞkJA-{gS2ȹG2Bnkth:xA/K~yxE6K(4%KY7&kA/R߯rvuǂ`b TpS~u.p 釣*/v@a,tgB> -:ESYhmVq!,ށo6Т8Fd+Iv4R!18GVv%UL.k[Kai:Qb,HJrV0J4!9/а`#l\v H].g[nMW-FY]ykM)*Em>1~kIzRy":UJCj_\OMu 2gYZ7zXZִF ! ~]ŗXi%>;mt5_-j9pC>V_I_z*D<%}’$dnx5䟯,V)Zj"VmK@'4(8-@SKl>N[K{,58Io:ph8 >tџKg$Q^bF+iz(-.`2 K@"yDq+EQae 6*&' IC[5ˡ/l͹fûmH0?]&q2-|LR\̟`"R d)iyh"Q ]yAm%EюAT8y`5W(X3kzеGJI|OIP*7"b{XKl<ѭߥG;Gn\ehP"Wn7wB^⿞cyY 0# FžmpI@\RbvN9VxKp*BX#ѻr. eF; f.oiabNya|5=d]8oVd.ttn  9,]BN~=BmԦ o)me6z2[ުm=bxҷXjvIbQ*t+,]&&`\ܷ)o˅H7}7!bI3rTé(@ʀ_ad]:GHeeEb#˼Ofy|n"aooШaTl(}r ;V,-X/z %ˌW5k|iǐ?ű^X~=;#ZZsǡOli kSnz2flJR"!Gd}ŨޖeB r^3Μ|yJ@4g:)C>Fv7ai^-++ߎ,.ӭĨ1$-rǽͱlhF,e$XZA _mrDycE0)7i9UGePIu/x# ɮ:S\؛\XYSjmeZR:ܬGj5nO$1)9ծ)IÁvGC!@ ̤L`<-!(Sa@igD7j<=-|~`Co_ ŖѱIAOU6k3z!uq=sfo5v^FlWPXXD!ʚH̀,\8?#k'erw9a*SI]!LǴ: fMRkC,REGz]VZL $ tbYc.a' žr wөƒk4rY8ĈBפk֚0Cn o\8LY#h?dTϢ\ K&W`;% K+l!lF,v4sW#KmK>%^xh;jh V?HXKRV]sr*hp*X'n ӭHz5Z 6Į3d׺wsx~z1 D`,j?$7m,4SBH} b.K8!Fƒ7jfyJj2VU5{HG=&ŭk+&L?_BÎ79Pm=83`PJvp/`0tg]gseKcc%@uÔyJ/oVP,ޟw85DϺ&ΤyE=֩q]($ZP@a\L:woȦEf,]mNR.)r4㄁n@~+͜xP/LT ID "̷͝tH% ~~ңmO!wϋk)1u(AbXdPoݍ*g3ؗ:gWMՉoyRB *xR/E S")-S֝#TqFMaC%[Ob@<%%֦WW2ط֨` ]sQvM6bT!$G#ձ- ^kPƈ+ǣt%FyިYkJMMW?Öj%-a)O,ydA_#dR@c&O#rGd{s dQ)/Av&vs RDGңw0u90^;*2K6R7n֞Lv}>32m(S,X9.7otnPwȘ 冺cXزNh+GQG?IZlNx 4eZshs`k:v\TIΜ?tuj96&`UTe)0bF$K.Y<.B򃇆A;x5YwDEnc4'w=[w:&Kƙb؟psmI/xʊi;k[H4*9qǹ6BsZ%-.8P݉ӏAVvaH臧}T\6@7n˝"g;sR`*_}dؚT5mv;<(e½[LR;=rvzRSP<⛺>F%U?Wz HVV2^ޜNx/%Gi͈.<*1V"_sGǍ (PђF'X69 k6|htb@.32_7%@mb-2fB( A 䁡$|0±(wD!ߪo Z4Yf7v?VϐQm!@iìGNajA\( mkkjX,m'y LBb>ܙӣ>MK-3P$=kX38ZVF6% tG[عEw[Ҡ}LhR\+=?pI|F֬`:oKoÒ5hح) 6i/91I0XeT舣G=5Ik2m [I N5Q("l-} N|r3@(Zy1»y o0"X6fjzcTۈ)!B;N4zKd{63wɘﴗquD407iɠԼ>{pp9A/&ץp|Ma"`KRoSiҀl p-ߣ48GZ:Vhʦ"K:k@c)q]o KJU<1ZKQ>I+ 4k#85_BO&uP7e}|2AAu@ 1^[@P8>n@ h7X4tY;|<KȻ aO벆ҫ꡾Gi&87[ ρ͉w,|]空 }6ot@bw|5 }wnJ,=b5РLMrNpW#6|KB\߂yN29Ok yq9  CoeP kRf $OŘy.axR @1"qdPhUν5r6h镢 IF<. w=Y*.VV@>j6Ӄjw[YmF{ϖ;8%̐லڌ ߆^C-,gV9*݈+Md%eP0M>` \g`<+D=j889!wSG !c\w5%I#-*pmNߥ"{Ԙv:W7. ˙w޹awcpJb>YÕ yv?ycCa>\ :%TRAH;ܪĚ[RA~slQ+|g-\Cc18UUL 0&ļ[T( M]#JZ|{z@E*]t)Պ U<@_a/wjK7zOȼ1ikELkh I#ȕV[JWNi12 G NǶi-`YOROx8c1M}$c}]Yqilv2)B+1BEx"@if ij;H vyK+eN>tW،6s__2+:L{z*`Qn +6:qvG{R<'e#sq8L28@gnɼq!(+v`\Ȉgc o襅3hgc#B&⥉@)􃚤"F܉q:0ORĤd6 L!UIt bbX[o~=vXGI]j ~Cf_vvSkb@.`2{#"3jÎk+BbE6*pZ) 9Ϟ2rRbq@]>XjXzF3jv쭁 K*p^颥Ftp[Pp‘ L-zv2Vh4:t*Kv~oiE *'|Y`c4KMĶCp#lP7r8Ԭf!\ Ŷ>tOz$zێ/TΫP IZYsyKD%AizJ8PH Am-vsPjnꈋ6+k.)ܫڟzEn2]~ʺbhvD9vW1WP ,jIif3[`a?'>r:Lk~l䗘ryQ W_iGrtlP+ZkUM,}% fcLk8kX +ђOW(޿nRnaPd!p{ӿD|` 6pc9T`juK:Уb^:/+bVYv h@:+): śMXe4 BŸ,rUȊp4¾!1Xs|n^ -WXD9(10XcǍU 7^ڏ̅W/A0D*&xeWP-Z>aL S;32BMY,.[2r8/,?0Ghpo!S, L/[ۻPOڈg#ZP4RM%]^>T5^7rr4c`v}kX<0`.+gP..Tf0.xui]! W[HRFaGkqmzR( Vז< w4t0jhōr5MH"/3ch~N2熩k k\~C,p7Z̿wS`7 w^JQ%3S.`T\1ĽMmvO/I>s.wF9({H&k VC'-KAg8TϚ_t [Rt\[`*GC d(F{7> |bk::$oD^_Bh6\Yض"ʳ$VFƀl!\`:xBZ@Sa/ڹQ?=;犆vvju%m6,0RlX[ZZ&  ے/cnz<3h46pBy=U7ZK0l6(g] VCCݲCS=][Jsa䱘X\戎+u1ژ^`kO:mU|rdW!g Wsž/U+t:r;h+R%Ct&fO4ga^#Q>k5JBEZO 8GrDzZ>$?`Z1G@_IOю[N=%xL:"ȢI}. ˋANQ7Ѯ^} NfDWy`[4įWBm\tŢ͔ܗ8TNc74Kwvzy"mޝ<dϝ壐΢#(@nJԻAvFm ;,[햇5s~R*G'qEޓ7,o uڛ=)G ~$I =v,UH:`ir@ܧZ l''nt| gZ%q!YNњ@u G#ߊS*dEgI| t{Yq1J<\k$Z'ɤ:? ׋/$yt\dhAH5vWwFBdVTCoaP] YAruYiUHȥ7t}H7^o?ȔYv aRvc@ m6pX/ϩPpf¥ eR1:T :J|)0$/, AOpM0t.E*l p0ke>ohPzDô,,ضz^ `xzgX>BMS8Ʃ_4!~,٤6fA{a|}NN~fv3ǒڲtiGU$A5|1rz h6}!- ?#>j6Oiz(C*m| &*_!aǴ`?h m„=`˚ aP41y,5ۃO&尠ɐi~\ƳiHsVa%V&nX>dPN~4K7|kQa. ZNRO +0yǍZGT)j&Im=連 bC)TK/=7Z(D+R'ec 8mVQUO^9V &IGz mfvx]usk*(J1FHq (e3CB/$J =6~˥%Ug"eDLW!IVVE+4g#u3'J!s; 2(G jhVPzM{’ `x >j;=#2k-9<4RX.+STK+lP:VTO,oqy0A_YЪ'*0-CP>`q_α?BmnRPzߩwQw-#")+@t>ol/YLb-읣m}Xޱ*y8 0dܡW@˿cҩ;N2J/_9cEa3vUxO#߱:>~S&" L~[gZf%}_Ⱥ*of+ 5k@ 7if,XzX%] Zer vyU:\S_? { 5zɹ0]ʹI²A~\!\bG OKy\ *f +Cp)oM۞6i|n|q sx_.- h)i)KgΟzc[X^ uUh`'BYyu_քneQTA| 5K4:M{w_ih`g! V4NKͽjzD.PsIv ]DMh>Enyb ؅SqWi.u5 ovUBuӽS7Xq3&Rn]#3;p5OUjBVXb6m9s1,Lp ݲ^m`9 1xxJ(oomv3MYaQ~:%;{sȺ/RH" cU4[A_ ;]|nSJ$m'rǃ?,3hj޽yNJpJ`k ȵ6閱@qC9E3VOVJF @-Wm X5*u~ #6n|Hк9*=C7{۔R45OgR Xq)u1[_ޏ1%>|OR|$b7{qw<}8rPpϮ8^7 j4sֆ`*M_aX`0ښÙd8C ĭ DnĪL?&jdOy-nGr&@T9>{ZŁZ!/X=H[=-Tx<{oBDkC0\5_}JR] CzIJaU(cl)RdMӾ; ޅ/Vvb㟗:l +*W. X1\YpR7xn(cYƑM  2PڳDW*e[~^n4:(0B>_dB +"{'"$)˒ S|+0#]z}v=v+ywc"`?gv5WofukA  9x=&]VFjdm,xR'W*L!A!?7pњPRhUXc-^.&pŸۺTdddGZ! NY[ҚP]kRVs&yp@;BS,y@%>x_+w塥]fO),aj6iқP_ـXgכC3i x 7k !" XTGj揎^c h4Zy&wD,0ڒ&b(?YMU(d =u /ɒkaw&6 ɜ/ "(gJpWmaDAƷ#:g1u(.4QbS0!տE]^B!T qzj0іP  wU6 Z@.:P/y @^LV[%C}9$4lP>p\%+t Hc`lk< kEfP62'eHݷf$t3amo,Yi t@!!j5r+z&!|i2h-E*%嬉=7Mŵ.50Y{9t^k=n-  +A%^{/(cyiSsnD#H弈Lĸ3%߾Wשlx 1;% 138[=nAsSW@>U\@n~$ u}g0mLJwۑ-w{RFҾi*`X`ֻ 7'flF:4k7X0W m63xĽnSҚ];Dw弴WZg-ɢh[C4W/C"xY99a/6^9JN"V 0 pЮ)!t31ZB6a Zܿ@1h0)pH#Ť:"#*=ZyMa$}"l&RP8NL|Uu {֥sF"h@xm8|c\x-~.>lGc@f|c?;Yշ*BD7$^i\pkW(i{mϣRp.B=r.6,*5 e3('/\,NpQ g#|o5TɗR1$@GJL/1Jw÷g;·0lo^?̬n{,1L9 x4>\hghs*Gxlא8K/tJ9U͝6z08rYNGs-m4 cmb8ƵB\T&i(#K ̐U^qjه7UI.Vfִ)0QϷjx&q;[9"C8N!gP|XD <]O[ɷO-C[pWY[kr թ}Jb iUiXۗIÌ[*ÊR b'V;~"Bµt-1uCa9NI }?:Ku@33SA3Xcs5*ф\jjeicĔ|ϹH#>O ,9?G%uU'f]dߺ64{ݑUqmܦD)<;(;118A;mcI pޛ_k3HV jHè01dXn(+'`wnzlGɾx[~q{D5tn"/9#>L ,}(4ϠHkf%@3A1z\a_ llh ߎV(pݏ&S98&ΞUlgq\[ '[v]> pv'4\\;/Ru ߻F-QټW|YTBa)^ُ"YpO>!̙S܈S>p$FMV[@jx6ff4\Fs(\i݃^sB ]er˓P0ӥ D͞\N/ڟ"O?ѡ܍O# u>Ƌ76R1pͪHiYE2xݱ U5/86?(;[wpv3e dp# >%7]iaJGfu՚8Вdՠ@7JSѭըL̀H}ECW}N]Ta.* +R[| i dm'C9MmRTWhFCgڞXSbsQ7sDH|NiBKҼ=.ґ50f%%/dʂO~"]k,U]<)b#BS/).LLj(FjHǙ:/Eg>ݺc9v]J`쯅VG׾5e1dSaN‰00 Q@먿?lO)ƤqXW7Լc޳ǝT_lx5#3 u߼ MDd #P*CQJ~Z*e_1qe tNQz[.%,vR6CxWIBCX\[j$J/|nH "0䜯p`m>BTG#8QFgN %(t'$ߏx54($L)c$;ǎ9^(lXKP 'cuE @]M 0B؎-K5R>$AL0>t%'z?RUcU B &?Iע :o>KGSRA%gzƥ,*6 fuc}, ,i6}^FԁiP'a/p:&r=RH9@JṶn Mo̫ECm{ۙ*yS;} e-9H< 7 1V;.ͯ!;}[ Mn9֖,Wf#:Z<\fxVZ񑂵taqsXY |J(-a ^29?:L 8MwGpʟKᒩ!)}k|Ati旦ELʞ!Q X)Ռ+}xo ;*tg\'@ORm[Y04] ԝ3)_?/vZ]Z#>,/v"j^WJ/JbR8 s ֔l&h.Ξ_Oy QB5TFg~%LQj79B!I:%cӋvJUFieyBö}/ljg)j3 ĔE}_$5y>tC דxBLlVpB4uせJ_qRJFDiv,KC?jjɪLNr]:9142EzT?3TuV#s.IeρFD:{e}:=;$譐LEH7`3k,N{B}Iz) ;L[31\7vtr+V,d۷Mb|Pl8ցH< ^rmž?Y fV8kmƻf4m2õ H_oGs,M_kp%I׀4oG&vo֩f4_qAF߿]e?oE`C^_&ne6f8(P^*U'<(M*pvo3'L`Ex%+6DXQi;nI.gmv^im0㭩yA0˃jF6@dW%}3p˖ 2s&f -(M-cw1n—}ꕹNW<`I zSlzKmMh u" mA`L'G2:㮡IpSNsj GNøNBQqSQD҉7t a>Ins9!YeU,ǯ/Zz #D cy:=bd87n7BBx: q?fh7f(p a qT_\-E7G5% ѬgP,w2puƸas޲m5&B%=t9Q+bz(#,|I@g&g^p~' {P Epcf~6Ery2d)&aLu7 ڠq,=cjXTG2;!+i!e%Sa\'EN@_Mz2OxɼZv@Dn}+ЊYJUvLO.]~9ONiYg*?oz>CD:0U^/nּ=nT=A jE~a/3_pڅ1Eugp+y% ^ONPoԟTB`fsi$9w"> KƯ])3ɔA/ LPs:DP{a`0OxLf&cE$;^G)}8MJ?z{x_5B\|Y a^_rHA[y\ K1ašuU&m, i~sԑk6W~:aMllr] V,O)>-NɴP:/>- SU@@z[ g1mzDg:6{\tV8F>3&T1;oEO8=\0Oggn)O⯋xM"'4ێrVT֬NU8y̥I~ە1i:ULt} 5{=.NMYS YP vX%X<7ljisA',-=Q1pο!n4 ZDi梉w^yih oD@h_2"g`amC@.0V9yy\Eo7u$ \T$!~KS aK2\<].0k`XSzV/;uؖ@]UdT9 Rn }`ap?B67AGJX*l]cc_V1o.O4c4I%:|]t܂NG> Uh ;{g~pl@ ks7`ysPI<8HHD[ FlKl'iAJ|Rt}wdJT%mUOEl2W/~RSaL $[+4^"icCSGjHܛ r}w?2*3ѫd q'Yitσ/}A E*NfO.'*ƟЩOd,W#ZF<檦y1oY1M%Qq޳:A:rm@b)л|4ֈ z3U0+P2C!7%rk;,OP!PHF/p&]RJ0^`! 3\,I(wFf˅1oW)bNhK.JD&_>xLAZo_$%19|BCI%c1APDUɈbF'a# *V2 ݃05C0v € ~3{h>[~3P8Uc-E!DW=|U}a YJu<}I٪mUW,.4%_aMlλ؜ٶsvsHpq`&tk:7v/jp5W]2W;byaXYwQd2T;0$kNZĢ)= At_uS`%딤,,̊hV7lkGXt!6]h1ɔ[H<{2թ[+ iF*Uln4jYɞFG6nැBRz}pdg4V׳ lAQx9+S{(r` ,!dM ~;oۓX=Y$9X@*ۤZiزpICNn^M_~QVOfcvPShW ]H즺_-׼x%M𒳷Gm(_sbn2m2tΑzׂU.~kpobSVgP^+Jhd ZC*"4jRQd3;mRG[)jSиR qS}c hﲿxx,JB3aO~v@T#AoKRڗ&rW;Jڇ:QwƧiAc(n=Tԇ#8br.$N0wH}h+aV+*3v`)pNY~87 4Hıަ@&0Uc(ur6lo]cҾ k9+D &(#r hvgDle)I$_߹/yd<&ö軤W/ iMq1p [| ޼,u1 qHYcb+61uհDQ6n\K)krǔ^cn8C)MWѠFnyivwɣXXBn>@LO|!^D@y..°xue+/W\Gcǹa,>4psy7Ci6/%MFzN-mtľ7z[jG~ IcrL_KV0]P&lbpnL|) 6[. gֆteaaY kk|J([2G(,:CP P׸u +BX/iL0"C̥O h[{W CL4\8 >&IzG!k]p{jǐr`ERt; ,!G䂬C#8pF(ѢDz7+ڌLo} Œ/Yl ~dOΣTcFM0hF 34zYz~!~dS_UsE:}x2ny{ۛ8G)=.# zq vw]-V2_ %OK{_c,0݂-#&Z9';1˯^U%z}rc|nYQIfZ^hBO6Q52/ 2:un4M/Q;RDkb|%cwcX/}\3@?}TFo~[YS С4"اG4?D[cu [=-'m۹JĹT:BxZʒxW=vb墦]=[&g,1s& 1 ("ǃ崢2.gBgg횰`jl+ܺ6>| =;Ek׶FjDcHŃ|7\qh p!n{&De>\OD,ɥ+QG|<['QžãM@"l %?/[\A4]?٬[ϱH^\!P9r_?UeEobY;?C |G LQfٽ`ր3u# XŠHk+O=VGѯ_5}d}\㲠wu}AZ;~]AiVQ`PnIڝ"uŜZ@(73+<=Bg&Ql냝Bk X+:FR\]zlb8Z͈h kFGmi `͎7*m=M,d1zNȶV^)t^YPk"Y,@wp3Tb}r x[WR,#@4j&Iw,OY%Z5pbT3guM? Bl/ڏ5IY8ҥ]9OUAcL偐YJZ{m~M(ˋ6+XX7޺'{sŕ"_Bzv'ގdaiG)HL"Vrܴ&6ڐeM.\ܛ>85Q&M>ޡs*~+ }&TZEc(4-3\e<id|/P]ؠtpm}N2aŚIn;A?ʹRWCCijI2KXUueR?o>o,f,)Rڂ4Uw׊mرݮ 2vm]1 .}QfC?rCL8BcGtPB_r:>KోkGG݌MEX냿/wKH۪ml,H2.%YJ@"tC1ŠTi6Z&Ecj 9u{Y:jHg?Rioh:\=fsZ=,aS#=|9uDfZ u`TѡynjX ʵY7長8b639HDŽFteAd1T;Eܖ 0u~Z) ŹbrssfmnS`CdS42lltٜ+a}l Sد&It Op\F]kfM\3¦0_aq5F4  #d4o:sÑoϭcGl>aFgJo nl3"Gg!&H3]89Р74[a/nWq)SV J|CW_]+Roiiڎ] J5(Jg |? }t>D$DR<zy3Cԥh+ZSt 䓂1&@ 5H&M d[/*ee@!I=p^˚b6q k*5J>WȭYP ΜjY&s~UhOHz C)e$3;' bXXE"W<֪^0=aLir +$&(QC1IX݂ﲝQRm=rG;_68@ n!j;c"VFMz28giɕ? [2ִu*b{>)(7ULAi=k v ŀ^ 2-[,h/B14mC>]q6oDlac8T R_(:ӑpGFd1ğDZ݊J$k|)I9eko;R 156ԩ/Dkۮ|Q!n,Ll t0jCn<{]QpϥxhLqC%Y}IWiCWimPrw= 2PqzfjPt2fA}CNM2ߩy.L8L61}{BG->O9/)V x@%DOKlQ`~TE +MCs b,6㳪g(E$1Bh}E5zW/}jA(=rì硬CUr~S:lPUo$U0tn+M̸8:C}TE:;>+gOΊVWYKlzNC\htc%` 5gmhtwDL$8֦nu~m͢0ZJt[$* Y9a\uHRݞkH7BG!.'.Tآ,!6H8e@3_cu*Z tBy?,c=7Ln/>N`Yc! "z"A(|/@-a{≡T9+-Yv`<832٦2T7~%r8^6) }HJ~d!3dZG隸\[a%],%{vPq+E<Eãf$ˢ 4bH8'k~!3{Q2ʓE(bWwEVs9%DR\06&ٷoMӞC#HdJm'OboKf R W\Z\(/reZ%z`/}eٷ[,_$?.p"K6eU9_n_@0q :?|_H]T4ݎ4)U7-g󊞈)܍YJB`64Q,&q?_A$y8ip!L^p|\t-mgf{W0u`ݎ\G$ 6:ݭ9{=ޤ3^ N-gP&x9 ɻR# -C.ADkz=xBЪJ.FfKwms+giC3iwHh<`.oK;B /yuN'ڊ@(#NŷC5:7 w +RGDRaؚ:zqs xI% )~D~u ŗVO-s17}JM^p;̑1YQs"X\J*JToT[g/U" }`HC"p]-Nc54 `UaE3cQn'ڑS?ޡ{0NX7O;ɛ#n?:Ymъ:p')o*c gBNDWH@aTx{uGH6;s@"E̸si0, (X|Hqϼmxp-edM?m[v{ZB̭ Lxm̢/:oT\Sq_0:ƽ*e'N7W1hKj/{JH>A:4xlp.ÿ2J M+'ڕ˦mK~.44/*4UCQOSTq[S>p A>.΄:UUyirdnO2gvٍ[f .?M-@Bw:iec^[yXcTdxЅ4<}a*(Een1*^Dg0*qu%Bh)P2dhZ֤!\V}Q5=H=dq\'0p8חڞo+YMwHw^e-HGV2[#YP_\%e~jlMěsYLૌ=7O&UBCz$yTJKetY0 oB9VZH,[^FZc-\ɻG|BM!rT?av&58>F~Qv(L*b^oE26idwM 6˵'ԋ6p+$>f/îZU(O/di(Czfn'NRe-<ɎVina1_.זX[啪8JUQEOaUIf ў7@a!L9+LO\‰sW׫=<5qKhIfdUf3ɕ_6>825Ѡ0 Ʊ 4-%)IdkDŽMCW T.5 a!7^3bSD5]*\BsI0sK=/3h[+Md%?4(n,L ղl);EJIJX@dIȵ,rLNl_qxIO&q,j?TpL,7Pr'&,ʱ|b_ Pc[&I-,N=68^{5p?z\zyHe"Dgk$vאE6Ey+)MmLɵKfNP  Q;@S3H7;lN,yz>zQzlUㆢx ٶî+] a qԂ97HvxdǸmYa= yITMȔNﺛL>Bʊ7&ju)