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  l lh!ܣ=)](?%< @BU1k\,a}x?JyG9(\~i^ D3łijLm2 ljLɌ'BѲ6KM" ]bz7NsB=!4*`dVkqنCs&@![ .ɼSn;M[-yxrU -m.~ըK//x)MC|dG47N 'cctxiZ/ ۱?qBj^ػ~CbkHHF؁UWt؂$q_?v::P / 5rgB?߆ H6L/y_8H(FL?Ds(XԾu/4AJR&$"8ںK3tnI$.+ F?I)9W·pK}7'?x^[KYDU/V ON?o!?WwB=mll5wi Ls0R)nBvYe?kJ7N7Q_cH ^AaE/'1\_+g \xWMq2#!Ayo./*'&VrU /rᛃw f�!%-[ *Q{/5V y0ɉ2fիvյDzқ, fR)iڿ*gFY$?fM71.)"`wmʑ?CA XaF!^-* Qggnɩsw*o;VΖ{ּ!;`$cG8n;)M :ppmfU(6'ob1*(  ! HOL-Proofs   ?VTąV'thPdڻQW`_Q•>FAjH.R$?DuZgC냮P.^К!鑁H>I-F7sRZ) tEhj1K"-I\x'XT-F!Ed\e{EAQe !WHmXhW;b]kdn!2 k`ϞJG͆n[Cʂ \WL{bxyaQfT\nod{TꊙdmܜXSMxl2h~#Tގ+%LZ#;= !p'+RעbmYMGLkW_{!`Dh4 ?J:*}('ll zYhjs&[SWc*'PEH0#BwQl7fb5p.p5W,MhK &pWv=dq6̅-z?!ݏMк=(3tʊLICW*['H)|-k.u% uW_$v݀ޫ2 7DNpev)>3ypѦ|o>5TpJ/pCPbC &ݖeY+TiUKl#V@!lm #WP}cCn' )`'\䏔7*hT58~otɮvه|>ƈ7N5 ~!7q&*>.K";N-/}Ө̌Z hmEV镁uDOV;1ʙfڞa=s% ꫮq!؎_Zt WpGSe8|(;2ͻjPd.jYKZBT1 6;tM{-G0s]-z3qn,-rQyƨ_dgOVˇf?3Opp{ҥkJ9%[N]<91Yh>;Vˣ7A}Z+X[-uv]Dݖns{Wވ 拿='1zL| @so#^vr'фE.% -Z[5(v1G5htfw禅^aD oC+7T0il͸+RE? IaHi\#I? dCX9_Ġ!S9BMGH<:pfD5Z2<4ftASnhW|Y[ܺ lã&iLgxMܗt?m2[Y;ud5 )S=i;,-l^c%LA#ьAcËU4L$tGqpϚ)Ƀ~ nxQ?oz4?ڗ.m,ñʥt1iWԴIO% ^=hTWʱ"gNV/% r_wv횡z.F1l/:#`AYk>o'K%yO#skI*% re( mM XZ/w X뾢-Ck Q%_e|X!LIj07we@C$0:P8&p?3Y{cIQդ$lYj$ԗku`X˳!eR!VafMS8U1)rE8J@rJQ[h;Bz?3oYeN ZJB8jN9zhK&{$<~ۄ_L(kLsu˜߱8H7likq!jY)cˀd0* G"t%VNX4)~8H* qH4]*J֊HnJ:Ռ<.c[Yu[/դ|o Rw;>(IͺA3 ?} _h<^i:ǴmYpZ8hi~0nh'rOO Rpť׉K 0H#u ON+Tե$vssiGr88"4/ qj*`".$&"۩5 $ճeQ+Io'Fٟ֞֝dՒ~ËP׷ə![#a]n:SFU dXbك#R:}fa-z3p2v@ovO6!z6J( `VLQ3~ټ=ObrmFRy3oJ=PzžPƤ]0pؙ滅f ]7ֺxS. GrGmsY|k(͇5}]EfTߕ珗cٓ֊ p_b޳JZC׎*:Nu#%~F h{G̤,|iؓoo!KuS3OO@ t6LFjlP A)6s٧'Jf_n٥TMiSq+F4(sԄ$^<+be+OAwgk5Q53ՐVRZ3\tpvRy BDӔ{3RV3U]z}%Xڪ4( rf)|„6PA(c X0f a*1֝:mh%/D)ӻW75E8 Ձo?s)~aWt4UA9u2_uvR)F-G¦к 7sOl\R,o 7(Ԕ N>(t Jjy,u0aWHs^T\!nbv\eM+ư+f8(ub^v K^K sӢ#Q9Xv?Z{X8Yݯ\`/۔}O.9f7@\R`u4T8&a7v[r2"ep*,B-cR.|4i,?uCو"Ȣ:e#J1z' 7"m\'7)1q.S_R vDKN> AZ7o.ƿFez;kO=%p2)RUpT'iK&>](( 7@ )r{rPv*Z]҂uw).vnhRݲ;vKK{PY)Ozj8tc7^ٚ@8q%rֲT(V\/,'sX ODHJ:K7_rAfxGb*,fCzVy@icHt5_+ [.Ҟ@[gYZ7zXZִF! b]ŗXiɟ29aoʼz[%U>EM!!B04-u~=`y1u-ZnRͮ7UKe N1´* XK43u>:50 [~H]Y\5/;9V<_~RtA0wEȈIc<CFqo0vRQ  ye#Bu]_V5BS;~rؓz'$n=T}8^ Vx8ק3n[/Y4nXMB Av [ʠMת)﫩_zgHX۝̕S$-!poP/u-봄]L'R}IyLx]Jp)$-Ee3{Rl3Iq>}bIX%Rl@ YxWOٯDW'GRNk1oqD#^]zE |M'>iWO8әObe 2Vnou[퓴?QmBɦu1D.כ={qgrC'BCQZX1JpG/@7Xg ̽q[/$t0i\rw”[^ӊj^d(_M4w9d>4%AtU2 m:xRfK&G%%} [̢R.KcS,0clDCsbݐOg喋+]1u'aZ&\ _GsKՖQ ͙N^>g, X]L?Hd>qɈL@: _?*wjcD,}3G)G)EUG"$tm 4 qާ]q'W@;b7M^J`_= ׄWG>&N ]PRQޟ>˭ɹ8+6/`%m\Oc;߂- h1rk3PLe6lw1ElǸmA/DK-ks7P dPf !Dߞxֱ}`:[aDz6FQjJS~sg5Pa`eș` *e`ۺ h2Xc;^J0։I#NQĎzl =R.|"7V,o\P?h5R~L<; }K:}09TH R #cFk'op*59w{oq^~2 ``,na E0e=&b.sH]]o]03P4xf%PIH\0v>j+WM`H4E( -,/GK۫k x旣G,p\^ȐE)B].xw=9q@gMQ#Ox3dN]z'?TR`_Oajw д;1d L.Ȇs}pS Df&]Ri^Տ]Ga=Ude*De#fP.+ց -TG)bUЭDM|r|TQjYEɩT~=#tj%B5aSՖ4KOŨ:CyHzY0)1N 2~}C4[BRAiưՋ޸VAt7VD''S=sbEz\lǴp̞*  ܡY}T] sZBM*.8"2 :r^maX74.'ɒ4y3&r2b?ڏ]\;}Q%+OPٕ+P&:;^]\@ֹdٜto/TVkt:aI_`I}or&BVp1NE3 9:%L % h7 D+-uZ=jyqaIӈ0^'ly?D$ SW3gG)dᘏ:cgf8sMAܬ_c I$„[yM$4C0׎%`0_H2]!aUVO}]qb:p)S?3qr%ׇ>I?B350}x .R\#X0d`3[eG1ynzg|y+o (C cY2Zᆯo`MaUR Y`D+6ow]ZCiH9j/o>7\ տZMefE.Yn?0.=νϫ^X|az7bjs is.=4 ZZxD6tVh|~MAϹ<=h `K K$=,[|vꇉ s(ͥ;>T9lxX %J)*ee5&E =szmO=5gi&rXOZQ˭ :,OϨSl[+[|] E֪i&%кf}2[ ~Cf ܤD/&x@uߋho`#n'nMHj#\^'ߍP ;8P.RbRUp&V_е> >>A 3V1;Atzx3C U^Ÿ89 ql= $ą7Q|1w# k#6PFFyBa8-,v]BKJ2Z [kI&Űux,hR#lSm_r yB!GWfiN2vUe5eЍk,p$}Lw݄¿,+ͷ1- w&pĻqR8zt=<jogT|67ɷʛ/_.Nt{a>Bч0ƨڳU!l o5dI`7#L,~Zrq)(psA،)Z'WʹͶ`\[Mc=lp+0ڑӈ8*4`O9VQA\(؀?wS`pX ].Y^̐K-BNf,wTm1G$jx>o[_O Fw.-:ꍰm R9Vj,oX m!delKrH}r֠Tn|=FfՀi$+[^U / - ](N;Ht.ZbYYk5|f"!Կŷ[ܯtXD {o'ӡzJ(s#}W)wC(cM'WvWodw7Kms35y]S~7;Z0aĄ ~a?A%{*h=Ѡ ^~uFx-@+YY)slg>NxFqĆL,>YAbj4Q-"TBh~_P.JXcVo({<S߈1fsy9Y{x@ũ:B"1cY6̀7pe }BYoqg-ŏh\I eQ{zv>@ [E\LAZg^@}4[m/܌Ib }RFWbY2.!@ucNN…JN 9`|wEy.Ǟ~sG`9'p|fI(MU?#pMs3"Ϫeɡ^ʗjElcg*Ń{)!^":sվ_zhV(⴫0W<'fּ3AYK#Cq /ͲeWlWUS|:ZIL/]]5/=Q$/VTUF@8sWy![ޣ~TN]-slw GIu1t΢XCV:4$u٨՞ U2Ku8y2vQHj|OޙR2>R%u%\:GRMF~J>YKrXW ۃʸX1FƘF`/RT8LT 1Aߑ(w,k,En=;!>EL͝ vz3Ϸ3z꧃axv}нj¡, 1IꕸG-aV`yOQn,%a τ;q5l{~XvzϚ$Pnn(kHjґH^λl(dBc4gs83VTV@YK{%KWݎ$f$A[8fkf:kkf=„)h1_e1xZkAi Oqիjœ}r rf̒ ɑB('LǜbȘFygE3m[fl8:uT ܡ#PAy8t]vvx`0e\32&or>A_ta~4/HjARv\d  O˄-h7&[kE6򐕐Q K%u=1BOVf @z%g L[_P?١}}d.^mCԪΘD emJ)K'fͦ7^\@i:M Ȁ6xfͽ};JGg졬2i,zR [G[Ws!k0M鿤}ԩk@ +\WpgRzqH*hc<@*ZRy'I=HV T!xBiBR{zQ>'ِ4"R5h&r \Gl^|K C4=tu os hlL'nM]eQddޢ5HrR*EUA}džEK^Z*9sCt|)c?t2؅',gc2nzXZ QKNC%(6_7LdÊغD`ȅ`=3|dr7dk!@Ksb35븽U3tF`X-N×pIі2AM#^ }=iϲ5 L' V~`.ie{#\<T]]Lߜ12vڡt2 |u~6KW~nrZ.fLlqc;+yp$>F1ohʆ*"Vq,1@࿌3R7hX@(Rl!'Q"gCZ aqz} (2a[ \Q7, hۢل/|3BOYv$ꧦ(IOjS_T1)8#6#/Zsv"9΁a;s/oC}HtuyTTlTzyçAF[#ڷS4Ғ8"Yre}Nۃ7◼cXl}&e~kTcѐTu^Ǧ#X-}9oY3Ң֢q5=ѲN6.*iQ'-\yĢƒ9)Kmc9\~ fKiwb*a]nob+hJdY1WGԪͮV⚚Lc~C/J6HicUvS=4}`~>k!EM5^sDa<1şɐ߆~Ge14 w&oW$\BUb/U!,)+4%|`Y4%i;ʍ"cTyHjW\F]y08d]:?Y8(\GZN8BMk2t3XZf}Kb{ T-pQ]@Ό]2%Jcs>V-}N :6ןfrP51BOXNaS =BPݠ(Gdx봔#O%OOW j\K!  Y_Ya6t{8FNφ#`lyPUg´íY`JL-`|vR!Oq%_(`kjpު`rR (]g ZكO˴3!}`n xx-" :,YA|ё fM٦h] BD=PnJf}T v'?P8@8xӦ6a7agHoMa.MN|`ƒQ9[r5$VJή@[*3KhFCT#c3ם2h%$UmJn߃jo]\Q,!حj,/®Z) l*@0jXSAТA. L.}/`ZIJxzu.6_wT;4n>A%CIu/jwJ-47(@Kylpּ6>pxҲFmOU2S>5/ "UCzFo!}~*ZK:)%56EBNm/`_؟_vsBJ*.]=UbT9p^K8\B7a7 yV&\/\DAm94~;;?w z?f(Uqqh6[&vj{ĠӑqG$-j$)5Ln>5 OabΟMY{ jO]c$$TJ v3V=]`ԉDuC9RۊEq<j"¥uJnLYB{`ݹ+ݖ1Ayq@$H Weʁ|[zX^z<Z֏$7K~72] oŗaAR,E]`GWp3_c,x1n _֊I=lF2ڥn()e:oE!/1_oaOr"{qa(B^E᳸3@̫2z L&nZ!!t?gYyB<͹~N#vQ[68Leljvn&;\po$^#v ֪Gn(' ?篤_\M!BS=,C'է?ʌ_ɿ:j5}qTa@6f.x$c#Pw)V8Z`l#0vHa:}΀z~Sva_'rFoEry"q ~ O4ֱH?ژkY0byp/+)=}TLwYl)JA=.=WS±L`5&-çj{î}y䉮}>mb1!<*DN(4m'+M8Sz`~)?Kk%&{ڧB2[j/ddP\ɔW'u9Fȥh&4{D*zA^{Hf; B|l0ܳ@ xE5Š2^+o <ό2E!x/hұ??(ۇΈ` #tMpZ}\=!GL &Ixn..PedӄZ‘s}4G(dŒ5 %#O [w%bA89Ӵ! s+ qc"_I pX$_klhxP/=?F!\OQAS@}P?.ѡ.ħتq6髪bCS@c~EO`\Op,Z/f),iUa00IΎ=3L<#4HwiJ$KR+7& gEƲ)v:SADdBLjig6b_AEOߪƜSudⲅ)}*?BU/Hf]^`AQ\b]PK#!rR2Nwv2$Z yIP~-։in5䎰2(] 'ޏڧKd VR̒#iVđQ(p26:`E621;OP ՠ#o]yΨSJcVo.@#YHDU?d<]$CS|!D>v,>9`gJaBI\]Ē?o yELj_,Rw`LPx 8#ixV;Y40I=ƛٞC:ff|6|%}(F 3J#Кe| |7GfBmvˤӟ{i$x^ĞTDY"I@[-=_I;yi)4×9cfC/iK6/T=R9IԽ=hV@WDf+[Ƃ }GTz]O)_Ѽ-I)8B>b9_~4/Q~4=}-nKLfZ!3pKrݯTmbX\7*Sӗ)E Ϙ/ӈsΤ*KHrf-_ VCC!p$ 'ez(üHS#ݦ]myJn cSxzBQN=7vz/{BN:@ lǀ'8k5{emH$!2C~v|M2YE'ƒ[+\]AT#KLɣtǦ~BΝ"\|*2hreF{!1B@Kp1X1HPm]wQ{u~)PP8#?YUuU"UNS /Q-}2Jݵ҅(궃~׮"hL&e=HnHalO| 7Cf%kԸb8`~mLd<۠N޺t`擙%=Y%ᗺ"ڕ#\i<clUt%.0RxS}p׼&3Gu h\c0r2$0MRWQӖ FM*E +ݒ WWv}>W0}|4F%@2cpqôŭjCJ;o[vt;ZbNjIGm'_~s5qnb]hRf[M^WA_h$CYFzM|^IoHcF'q(:d:XWWWo|Goh 'lYw] ]M,#<,ġNp<`Pbvƺ2 NS\lӀVfd&`4N'ٔ|Jl|/DϳEhxmtPIPmQwy1BȔR IȾMyLY)ΛKz/1XJҕ>urtNP8lr C޳gl}Ƞ̀\$MP3fdN#iqTFP}9Ϩ\tz訨>w,*̢ goı 8wz"AƖEkM<&L@]s>p<~<;tס\.4|Jf#V ]laۤRH:Y-#6`Q[^ 0|a G0z1(f"<Ƙ&; Ծ5Ȓj @Y.hzM*kx6G|h ?~]6#CX 3[ˍ%1ĵWsM<'vE'J%Uzˇ%3cЖ$M='N5Ji9,^J.ܣ6GH$BrCVNZ^  W/+e`LT"gYOG-<ª26hH+hK3A3ue&CtIj{_ꉶƴeZ,:Wh}~O'M> !! `!'6ObQxHѾ8I%oj`DU;|жs&e+&8n#/&t Mͦ_AKGx|R0]cr֑?mkŐ1hcLgU@7k3mxʖ7T*)2.|eȏ@1#be1ܔZPi{3y4zs:h`귏(Dq2?SWw=`mXROƂ Kuw]83=%OC׉c ^I")T(CGi҈iTve:'5k={"AeǍU/Z4`?IdZ_&Icl`>0oekdt$GG(LrN0қϟ Л"$?}vnx^5BTG")嵕L[ZZ'.7^P&6(cD].6qc0{dRq=p%5rjV=B| fN;,a3`N]fcAWcshl^ *a6:n-mZ_Di:CoyQ #,\Z-q7s-.}?P < }%J/JV=%Q{AZO0ܠ]t*p݃^ۣ?x iI,ET'HN>W'd0۵6HT*{F:2\1ss[2: gANv_68JJ l mb~ }bb.{K\ fwvs4X%"CjSΜ.T8-<l"\3̮ )ٮQKJQ!걈x-qc-#^yؘit j`/#= mbnvjjJTeşKv5뺛5bȢm9>\㓥b@=6g:*U4F5* K32 /3Ϙ C<_>G!#3)ȸ28 XLL.\ Z<& PIM*ƈ"}Ou '5 pH0N'0U.sOL lZQ90"yQW{L0P?/c f #dxoV?{oE<"Sj%Վ]Rr[TXjxi.S&Zv ȅc7EK1޾ ŔNL. e$@5 m_< G<f);^>chuz_da4"/tﶧLw秐eS-ַy^Ll4|Q ?k $3l~Oq鎎ܷͣ \+TG@m΍U)[?,IT{>`^ >}o]S-+ *FA )4Jb|;:yj+ïȔ2z*.&k:v^TkS)ksoFRHBdT#)tf]0ɓ\-Dgv\*,/kROf2R Иia4I2<̹!MrL>-Sa!+q"ӓu6ƚr9֘lGX\2aV$YlLspa0O*]rzQs2-R]ն_IDTxnNHw` xI%g!aJ8[y@n9aި' שbԟ3u!lb_ rf [i]sg`,vr.b "Yj1AVqNҌq 4:̞ڠ,G)yzbRJQ@U;kl?K!;uH3A~fL%`іvg%;p?μ3i\*HZz sc' 11g ƛڠ{*hw |}4߃AyD0D$TI#E@2gzy+Ƴ^=Tym?H!kSA *[9]W6hI3cʤE)vje+$pBd#gr]G<ڧ$0y\5mxrb (K,Uqa)MN 4iܵXl.(3/q2*bEG1Љ=S >5 ԕXլ=>#ъVE1?NX!]c#g.;嘬d;ѹ 'tֆ$1?vs[.Og10rWW=ҺR$#PJxdxBE4W5PC`ЯTUﲺ `ld(%DRA'>18*(#P9M"mZTC27kAIكv&[ϸq#4|@Mʝ?$r%1 &xڴ(l#ZH#*>cژKZHXeE7딾YYk/,"CG[74]GCC5;T_k1beh*c}b"sO}<<f1{)u kC{e 9qOGB6 B~/؅me*`+1D $FϏL~Z&-2CrqE>er~Pwʀ8B>,^uN͜x2!=`뷄gcrW3YXJui@N?1_N^Km Eal@@틝4Lnrܿ3?rJP$"ײ_OKrS͕BMoG;Ϸ\oGUg`qiGe+|"`L;Žpl|bjI3r#X[XFh=o[+Ns^Is=w=#,St-۶ osFYʩ:Q*5chd~K g-}hʚ!4+C4]s2[v;7D8QKiN F^d[I1T6hZ^g€o󢫶VN4.uꋘ>R|+O't\<2=0D)~z`2]1*@k~Si8em4X#~T_(xƷHFJth~f E6$/)\<*hۑYFgg\k4N_W+맜$p>g݀Ǹz[Cn&V"V^j.8x~ fه6K;J׏QLϹHQh"Bk -ߴ[^D٣wi|*A#pb&3;Rn7xwo#vB j_z/ p؇8=iZA^5_)1 Ddω^_q4۸ZǻFi)cHh?n^IE]7.[tͼJr>Hb}LM1!Rt4aȡ._u)АK2*?Eʰ>KUiU$<^0'u|4Bu ;sOɿ )/+>8ry|g.-b2Ӳtes|BNܰ%e`]fprJ{Uw^yg DJ~r[eU1g !3{zi_s驑= -Z j,]e|0:0)h3[%JNJ>P/U` dDo6ioqK41gkt a=ɐ^q^R't6sRxRQ S2tc5׼L=?Qrܤ6qqqt]>[p̂;aQ5 [3e%@׈P9); wA#g=2<]$CoP>_@~ }0ZsCo8*fe<4u큥aЉdLN;i r=Эoղ4q+ ؚٜ.?W"{t а9tXQpmJԈR#%U#O8l@Lt)~ [ߡ>ևs9' OS7{K^} 3{{b`x_*K5S^юJ%͈ o$ȍ 9,ŊCXL4cdK ._EhxYxcWI[˳&?ȇɷ CiܒeLXQیTmQU#g;>f=~  5m%” ̙ix0_=7 ]xRiSYX,Skw}Z'b@.K;zA˔Ԍ axƈ5+؇ gz}CԒWWqvhpJ-Qu;v+_%{tLp׷azcV8>we 9922MZ5)ܼP"e#>.ʢ!i ns ި=\׽19L :?̓tnҗ>j[?~z!bJLeqTMu\@hKTnoq4u`̟%x]YEnC!] h*`mHCa6j#t7MQG- <|t$WA7sWȄ;'X+`xQ2xقGU:%\B)A<šm_O e#OGJuW6&SRtŦ!_4vO@]}%א0 `W*0LµkہN^. ڷJocGx3PA jDF>eU.B@56Pp'ā܎Wdx5Ѱ;wcݯsdXrya?eo!:(Z;,Ӝu63|/S%t*BAe,J(J * Gd{S)!1錤[;2s=QOne.R@v^jeWz?-&l=l4vC#Pf0ǜ:^M.\sQfL,*ux+ n\s#&֤ _y٫!㡷3փ-zS6. bRND|]Zdm? osv6;TU#iCń_Pݣ =䝢/'FPs+ a&kMm>p 9>XR`Ƽ> gEnXG,dk?В0暘" ߲|m#M JL~k&䃁,&Ln9/S tjQ>cx.og:LWcWFkfwy0n}и PaQ oњ>Lì4rXDR/)֌|-q; nFNfۜRRƒ0 1"l6R`AJ+3"VGr=`^KY#n3){j*Oٸ&bYS ٘Eyb ,,C7z֌&I8D@0\RT9>|G$1{3mDin,$5{.L 3oZmpuVf}L2 R<21=_-V㎘&~<lDF~F=ixjSs ǑCoQ^&Ɨ/Gc[ā#-xMfH4lfX-bq&W-xu2N,"8{~Q8L0'@,]t-w(^G`ѥfK 2ې4ltJD^O:7<~\Ȁֵ̻XK1Q(*}q>#lJ:dIkzDGnĬ9rpd,WH,}D -Aמk~0p Y@P@e 1M]paX^y?E (~$[檘c˓5SR$GIpF B@[e2;4T}}# gGQI5giF=Geaz;X\lc's|rzo7)E~x,lF>}J##ٮ?CaE0.Cf:f~G6a $oS?g?xg7Hdv s`~(ߨBv'AD2ht#'hgc?_Ge@-A߬ 8!]nM4d:>ՒӐMl"&i9EH-33Xk.X? C9 ,Z;(ˢe<;#{j$_<[ e N$C$zۚB I`*99JIjowW%m %,(f ,P,T jRg˓bMei 0 ,.2EME5'atMQ R7喝Ek!~An6#nu$h \E^⇭ "`_Pb 9;xqg2u∩ޑXό’EGƎE]@u K&7P)F坆V[W?"kmLwCfX^߮xZG\n3rJVCKjԽf`p뚪W]HhOyBgHP'i%*ďmb&3(ͲDE{ܫ%+rbTf> @"/PyBAUpU?㹍z/HPeq0onVk:z[w<'$4/%+H/4a-+[ڋ7rQ~TrHSyA-D^+1MwqacՃXmtBQչ})de:A\XӭTƁt]iB~*Y0}WwcJٸcaTcՎ";2ky;f9-bd>DۣIL(k{<;6Dgv8-VUh]=(o /O.ƇڔTI  %o8J^jrE[rO\cĿsJ.f LRM.AB`GppWӫGNDS}Gex׸쎘L3zgY ү^J~_Мsg4L0cLTn?>RozZk<ً4%ސ9q /h!agh,҃d,P3C/Sӳ5yp_k@-_S'Uadgq4rc!OK78)&d=7G@ӡCҾ99L JiR=GXLRG,`;b/$85yFQ0B ]/}|l?l~~Z<8aֱ~ԺnA[ 48-crîAڡ_P;Z_M`յ'mU"϶K$an!-A|,HF43d})ZP\ѯK̈́9VDok6ݢd5QU+c1 2|L (l/WQ&货L7%CgQlf,Qs )2mL%X *̢YZZ~jeu~CO\nbOlQ[U&e}>2+$ i .`ޡPӵ0 GA/znUMktI0$ᵪJ>u3hsӊ{CpI^G;Zǔ>H(AQVY5vtCN_,OЬ{DiƤ+NbkuڃKZQlrߚ};bjϽC:PN{srի Ip_B,lR'ЇUCx. :r.}EX&sɐ <@ Eyئ042SLJ$žvB<,.oM6\R԰.}8A]0+Y@*z2j2`%oϹE&{, 39 w?~H5wXQZeˁgc Vքh*`0$\I U 'n8 JO QnK`Fl7Q S!z-X ;D3 J$BSJơ~%:ʵm,`D :BqԿZZz7ݻ;vC~a?DY*[kޤ!r S+eP_B~EM/1X52@IOA>¦>l װ1:ڥ۳'Oy'|\qY Dn qjjI.!^t@;ɗD{C@]rOtNAnz ?ǬġEZPmM]g\?zͯW5%C <"ࣴ$b6@ɞPuu1M"ScWaΘ4Z\:<c'ߑf4ztvϭ87c? p6SȌƐsR(.~rK&(6(] fU]UZlOW UxNe``k$.Sޫ57 xEDi'0w8ק+5hsfgBoɍ >ڢy60Lfx{ُ^;9L5,r.0,Y7ܽ|wܲ$en)=z: pf?@tFV0rx^ <UA^%ˢqINcCmI]C `^qMԠ)`͙*dUe*cG6oß(V?;8o ?\,+ejA%A<=֋>K,[)Am˪G.4'ⅱKHwkw]Ts5vqjʙoA3q8E=*~OE>kC@v>0NBFaé}9-9f[s2(2 HM4s Y}ԟ$Lfru UJ BoU= Mhq |lci$;b[ V^Jil$4ir];laeukt~B?BzУiv툝kZ" u;:.9W&q&'uI8JSKskRAfr-A|oѮm%G dUEt7zǶ 9:+j*Ce:q B[kJEg/9S7#'&_I̺DCCXhJ+XgXm'gс_'(b{*}QAF-(^ɔe`ŽG/~ Vx#vyjVOxe"U.(_19W$s<#=;5JE):C؄ !3=29z᳀m4-|.#JcރNeS_Y-h Ra3{Bsf_=0 >{0l4Q5կTO爝"綹-D O?Dǡsi&o1r~ >'|AioC52V5,SUvma:ʖGhhԲޱ!+A1T4DWBwKM2ΠlʵW}{r+?0Qii)]>GUYnB8n GHءUIeP Fi^P8-&]w ~CT$\F)Qt "-PqK"偘$]'o֦WJ`U+4yٿǒګsPPkͨn"t1Ϧp;6EĶDߒk/_Kd% c{l ږK);۔ -g?N밷1T Pm;mwHvq_@Y2Lw`+.[,wl1&E;~SRhtNb\ t9'[B#%"}izF|pCu>Iሰ#x*ޔ8wfpGmxL[OW"Tk_L?yt= O-& ,: \&Y8Bh廐~)mqpkk82o+x( o9j:~c hh('E^KƝAmJP+Ga<#ldK8b h.zXPmM_{;cqi*j XiN]ҕ蠕A^fnS9>=w5BG4K,iCӃ?K̚)j 1ÈXqCb(j%}UYx.]XqA$d4gp't^U|ԒIޠAv-H왗vh;43j&ȪT$e%hyRV)jdX-Ъ\~2qcu<6 ďVaɀXQ5 gT?T7R\،>AH^_ 6=8C~:H;}O9^9|)voh\"%`ĂUiją=$Q< T];Q}Pc*Q(Ð"j-2 6@wivz9yI"s|1ŔDAkO4n`#z+' tꇝFފ#USG =4'sOt(_Ӑ][XbT ǢswC-X/vb:I>= 8K5 1/GcE~XI76{I Z|ŁhH Bk>^%dR^2=[mlա'$fL$6K#yoޘmED/ dn}UO%ǑEs/"1[-C$VD,SyrjQ,qŷxufZbe̎|X荝gp di_8( kA+rNƚ-5W:7+|X8[Sv袦"i~•P\\^-e(t%%Z {,Jtg%07@Ua(+Uv Pyz @0-KZ&gCibrwsN#<*@yh6w\; tNF= /&x7twA[yQ& 69]"hiZT7>8*Q[$|NNYf:_io#>*V8#/?aTx/a%"N(^~>C߷&!K/U'-<ɻ h|! YI!.@W*7fmȜWThn/DBѬ@1[85x S L/cMQb1q}xű\,fMi>T_~?襪KPmo߮"[+n˭[w,*dmy>CP>g@ T1vKT{|l"q0.H`m/J07FLք܆UgC+yU^_ymrPDz*v_!0rj:5&+1xMD,!y1\qUij6:? ;&QmGbЌ;-i#eQ|~7SʓyGorl߇ "(rLgYZc5f41889b2eac9f00551e64fce87555377baaccfb32ce723b0c0669b9208cb20425fe0e449964a29197f9ee1c212429d07331fc0c9f8acbbd7a47368