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  I IDl| ]]]HOL:threads=4elapsed=192.657cpu=584.552gc=36.316factor=3.037zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟu1B.! HqT̂).mfLԟ.1W3% ]< YD?1T]į~.CluMP`vVKHGl={k@`2Xn$Y0lJd ۷BjӑR;m#< ]Lpab o5dA]Kb\m%։#,-`/M2W@F51q[(Z.3j jK k4Fep`-?N#KІGhZ/c|y׹N6kzD%)d G0$کp-$oϜmn ?p39m%mPCSCruo쮃dLvj`a^K'M"<^O]ޑ'eęSm>YB6[?Wھzb`0z;NQ&KuO#^G2g8tv Țxg^c:?{#$ +t>M5.Wl e|Cp_޹lzln*w}wfFgQho.gr+2SLWKHAw^rgXT҅)mÎl&uv=\k`΄u׺uنD I /8 4̋o QK-S.w.<E@AeIw;^pM9JB_QWgϷlI   HOL  ݡG?/Ej/n]aH \c^Jmi*`9F,?5+!iݹI}-е4p`c[F^uhK[iS7|srP%ށz ]u8~d8Q>+i ~!`#Vj:n)4TFM80D#AnIj9CD؍B_[|6ލМ5/6'cd=uv^of^'j]%s/a6H1X#QU]it|g %D 5Y~ XO!s»E6W#y߫h@ۂicmP]x5. O(Ҳ!~ 8d7_x;tw$GK\"9WٰTJOw5'6\}vYR6?yR0x]8Xl )?i"2Kv DoO^5ĥLYC +a8gGc7npyPW;*OuD3GkT)*Zd&0N;蘫蹴IUʄԋdV_l?NI"@FݺJW:]o$p!ȑ-}oUM~*"OnyrRЈ>gN*Tᘊ9H́ t'qXTA+@ra)AꏪTSer0'}?jgW|wt?a$RCY&'\A'[S'r6JD?p+ϫH"XAۜ8yƻTE"%!#jsr:hn3m 4ĭtҼ{ RBhF'Z01˄7{ >XBt1ĨK^+̟Um|@ z/ 8',to+!^KT*;-xÍ"y7\/|_irɷPJ4B{?`Q~ճp|-h1) p;twsDz%HXޯ7nȓM|aͶoI]^v!yIDgLT#:ّ5o2BD LxZ>7Xe!4dkJ+L5 2\&@Lg)NNE B @*rj"sZĊZe8 y7Y_s{Dvnב k|=i Mկ /c@Bo Q7XեX$ʢC^u" *.bteޅDfZ|dOU@Y-҉w5(ch]s*d: -M25\0"(j#cZ}]=*hoh#ᾸRN HX'Lù%.6^d꬯H*Z_ωr??UM(ʑu#Ӻz?jۃCN'juѴ*2d Qńe%؊VzZWsqaftJ8R&= rVsmr!k(N<`C6{Iƹ(N_BH&vhSm$gy\L8a&BePm EE2Xpx8>l#܅Iw8TJABN$՗JfYQ۟%P=8c$btasmN;57*2&q5X,ңހ4!`W]\E`fMtq(yfse=dGp.&*|{MI$>ә=/C❃%+Vfh&6L?J;Hw ?ZwKNycS| !7Pomd5- /2TtRYe \ YNG'*a2+ [>==n d[C}V}.d,ۉPѧ\~'ނ w%ӝ97_dZsOkSon'7Ehuf|Q( Zl{.b\#zQؕ.A/%m[ߊqΟMd&W0$=Rs"FI?,Ηg:xzmBT3j6Ƌ܊7JeO!w0$sXKsmg\/^+7b"p,j֭ 3UF!NZ ZNt6|xjNXװe^fy.B 8e/aGݮ-k,"u2Q!矢)ӓkܙjp~ 0RpI zҝ2]<񖴵tH`CP)&i®kqN+AApq8%%x duyϖL&!o*c{(O7}\+ባ]x]^ؘQJEF4>M?,G-Jhn]/7%NMN]=څ+f 0\N?JP:h$WʛjtGa@(,8Bjrԛv# =[E.%eTazT-AC;.rSP":1e&}~^8P϶hBCܺ'Yĺځv\")}N6{rx/Rǔ`YF2gsgU'W":b&s)`(gSq)5M(}:}:(છNuJ _-Ԉ'7@p2MqҢ_i?-[ŁڑK E$ޡs}J !HDW|ڮCW*q4һO $"=Xɷ &G&Q{_*T}Zz!~ S<;کWdLWigba\z]"3^8:͵vtၧDIi6#J-\&*-ȣcoG+u3{6Ҡ6N~ODDe͎qa@VoN@&8̹R$di3SMzSOMײ/,rtBҠӯ{'t=Ml z)w8R.j\[0huK1 A%PݺanZlFwa1%o Ig.9M%%`]!<E0$qe נ2KN®T%eiPl5ĕH3M7)KBА%: QBPߐ riلk>3yT%$/%ĸeA+pi!rTWF"r59%)4"ڜ[[L֐C%?^DsBTipHSX`٠jL W~!XeO.2+/ґCMad&O2ߏ,׫*MO1Zt9*:9vkW L?m ?Q u7H1Op c[nyy- ^$@y8<\Jxy'D$[ נDž8= QpCs80@ ܦJc@ʋr1RQXƀ f̸Z8K;_E ͫ\TXEN[zb%,DEL M[T]Ng=iD# ;J:Ir6P"B>V-@A2'2a}]kW]}h;C[م^|Z d>Hڿ+\XۙRק-Ex-#Z({3hd0 ؠ7:SڮzڗLSo@PYr Hڹ}}OCUeK@RoaMac+/L+9bآpќz<+  MlWhy V Yd?IfqEnuh~M.wO1u譳 YS04Z.RcԄWoG8c(2OPJp4b0?f x|i Mx]*T瞙*-M8tA=jr= Qܖ#z#N#HYqf> ZTe;_YB RLXԫLI$Ԓ-ec|F`$Z$}O%YM>E8~*:4 ~qǴ]͸ո4c6"L{}ٲEU} LfVU 6nX2h\c 1YI۔L OEO<Nm1V :Iym:$};_pέ0ԩ; h0ӳ5]PCgP0d lf\`g'ycǚWAaP*vAD%5+D_6LjIz==ٍÒ6Ϲ e?>]4ˀ߷s紻L'eg47|*g#2Q(҆c_r%Z>jqC/_:];TK@o e9F$Fr&!O /5㳫~R{H8[% exOگ&9kT/SO\"wMgܠVĜf Ku'YNviS> 0BRpjքZz[vضemWN\B*nv: z:84YULu4qm`_Ai%VSkR;{nq^b b e+E&CN@?Nx; EHyx2o"4ٷyu.,v\9vɩ4"KK;{AET,}<KqN19z:s-[%6inO)zK[JHS%yF49v)XUf8DsI܏|]Q"M! [yw:&U!Ϻ%8\ʸG{ TӒnp;HG{*Q(?zJ: a(<ƣ*l8^B.D%\:S(6j<S)tg%Е) ]ޭ ^m M)!$W֐`BgvČ(tKo| 0O;.Ǽeݲ14,܇L\_X=ߜ2}/i&py9 nxޗo<^ryT xV@Cƣ.{j%5h?TK7Ռ&ԁUS#v݆ɋ9Llq;eϱgYZ7zXZִF! ap]ŗXiɟ29aoʼz[%U>EM!!*Xg Ul+UP ǓXZP"%_Ug>&NcexIZ?tB`cPKT;E~ݬ1kL)ǣªx:c;x_*G!dP5DFPӉTIf [%ƞ/AYٵιĩI]GX li:z( DN-Ӱ&?bNVvҘ̒fj_[BPv/L gL|ByC*N?⺜<1\a~2VP =֘,n[WPVB9xT^yS|>+7.P[-}hSӕf]G y'`\n9u&}`W_*+;RYhc[1}D_mnWo7I.Y8e-)ڼ5]d°$ skqL0>Rdz0\e?{Pp`&1)w$X^̠KCYu',jiH:Lֺ#N܃wۍ22*H|U Ըșa|Ua s?D t9~jXgr.92&/DX6mƻmb e#6Z Ñ9CuX!|V6 L籐o勒h`{amc8  ^Mvk)`ת|DVZX@~Gy~8:ADX%3H'db|rjACޔ*\ &pMP 3:-v>KaUCߜ=G5܁,0w>s!>2V`栖 ?046NߦO킅*,ϛS̷C F=ˆ礯:_KLWUZT1A{lJg2+M1AaB2%\Ts;k/F:S-){7'6HCRJt|_OU.DŽ(lm+?FU Clh<uhhX瓻g/,i&m(>TPMm0ʰ `'wYV3,:Z~}gYZ7zXZִF! ]L]ŗXi%Bq*_ Ӱ=t!t74;@ao:T%&ƊV]SY#G~ 1뉹j5i6$r'J_vڋ'a|S|Ȕ)2@6OZ;N4xRk| qcmj OE~Hdsa^)T2,b5ꪂmſv٬EB_Ζvtj@J+fA٫#ț5iW kr $J3Z4+E=Nc!Oظ,s,G.$Qt6,T]N _5h(⸃8մvsy*׹(P6 7eidBkyR nn,[Di@[^QNعPcO <`Hmڕ&JPE^s8Cȁٺ$7?݅ 7qQ:BC-ʵ ȕa8xFA+9؟r Kf@رJM\gNan+9͖Y뽚f4T`PL6r{ 4-M&1UnPkϭ/ +^_O.q$dêtcJAt|eVӼ ^Ę756/ juvÕL*2P\1*cH&[Ycц&O. @LѢhi"4Ö;hF5{;Q0To|`MTy׭zc>"l/q#TLg\Qri:\^pvלG{DhD6^ךS#%h뮘q,TiBn_!1Έ'*Ē{k!@RR}+ol/ AޜV%&qJ]TBr*# ƒQh S6=MÍ_&q|a "i,eK;/*_h]2>C7Dz#,'^S B}fh3+ \A62h):vi`f,njyt(-G"%ڿE$F:z({`|W;3d+'ԏ)ٹ.5!3m c)#4Xy>*>o=h{Jw}8)SZ)/;Gaqsi˷ 3Y+$VW%o ,,,_(>XoCnIrS#JtM>:oɫd^˻ h 4 f`lQ RlF/0Qd?w5ZбV11yg [Tg],Z6QۍRϣ53uf32|-EjmNQ{$}+s21^̎rS[I3H>}Ŋ7n/fii `D4M0 tjnSj =) b/&ƸRqөBb̈g8 jhD=R?A99=6oyxapnu3n:T9@oW-(j_GX7s~}ƺeyx۱٘II@Q쿎-0 ѕ("j9pu"dl@ӥ_Y/!*ŝ=wG]BMa|!FgHKli5n. c4Ty#}펫V:6]TS+..<;}TܬKRWtr@4wSdRтͬK1bB׉PqVr]!n#pW{P(+J[Bfns{Ua҅gC L5x׶]a6Bhy#Yy?AKiAI*Ց3`)lѯl^pf:g0Y:/00)ƪA$>anORQă} 4nq,\LS#pa JV|;eQ 'ShK{Q;m :s`6hO)nі;&S=_+BmPdb"MMY$cH&2-1d so~ ~YQ7ivrG$^HwAΩCH :D;˥'Is_93[z_)#:\)?ÃZE>&JQpU{wW; ͣ.c4.rq\ 6h<*@٭m17|F,DN_ם+ѐ rᓫk4 cN?PAr$!ʓ0^+Z_[f5A{GݹtD+_#~)ߧ9ZȌ(Yǃp_ 5=@^Ę}b-:oh^ˊCz㘥0vUbz 3}Ae̡RҶ? .:EQ25BO279PZĉ\aYNx^[sP6S9E/r 4 / u׌tmIqz?Xm<BV*vAS_Trd2P?'XA0 RЀKk yo 4Z9kzm8+0gs/UkQ#>I4R> 1d-(HS_8 H:6{:7h?w"Ia 4V–#"!VV#~ &Kyzs0켰a25 XtlRkc $tZ Z ҾdΣE$G2҆M5C) GB{6ںSU?d]J9,Cbb[gGw%хk.#9ԱGf,.*GI8@F'C%lEBIۣO "l||-n3qc8;W)HSAB#]. 6RZaLTmM=)eJRwy1Umy|2Y*̶V30s*1ikǓȹ@c OKO͌yJ'`@aXD2}47x :̪lGqq [L@[Ւ(x,eokLIF;g f֗ PΥ1\V07"E\M:f1"d100! uUV-Jo1:QG"6PpX)`E=ĈU+ne&fP58!7IinY^S0V<w L1:BmoDjC@?rk9™b8s :3oeܥM{Ji=$߷Um2`e&IA,=)9fe%4!]Wp^w=0PhRs@3YZeXZP"amH}:F:QL 25eJMSr?#si ^rIKw؈z 'r݆6nx ˜†*YWujZwj+6α'z}3"4nYPR萵2R;P ֲ#B?zxDrE92]]=!pe2UOR Q2ҩrc!d,]yX5 ɐBYd~@m ~W| Ԃ/;~ΫI)m FBzq?ƵWWN f/Բ=_x޸ݝ}z x`*4lXg>&%&^YDAH #b:_E$Ut?BS靲iK.^ͬt: WAKDNu J%Ae(9+ ڬxTZ?6Z'H-I=믙 Q?;t%${*D)>YIu|:ƒPTaYP.hծYIB4AZ$>2:jBnp>c^4"{TJKDН$6:S Fŏ ( zxuqK&_KW`n? u8АȖWﺺ⽐B+E WuOa+fMllkcr!=P6z66v4'EnAB-3lsy2jV1Ѯzòp^;d+qV ciRӑ qTp1NnOFZKTL1Mv35Oj'zCdWr݁%WDRN`\D@&_~3xWP}\7+j.?d$(/xΆ R:P˻ZHZKM}FΞt7')X^VO5)r|xhGeXu]ϪCwߔhTlFA*2Yv<<>tVFS7iPDPׯA0Lsw1gL>3}V;`3Ԍ'o|zwAC Vo0xOZXFDbXװ.>7)͚ [ZNww'Q Դ|#`:tPbݩ=Ō2fH `_ ɿ޷Ȣ&syCMV?7wW&;d,Բ VmI,9fk&;h \=j %qdBV/O|jAH6zh`V ;XK-yk+W^χ\AxJ[jJ~p?!n8Oh"Fk ^k0fZm3o93%ojF($TH tV84Oa㸷GWP.e.Si"{cPuG}91G<ɧe?FhC&G?1W.~9mZT.N{&8sM5!|HF).Lc՘`a)3Lʒ)I*]ƗOtlѯHZ|#KSUkyNZx)C0L F(德ŋڸPס`M+:jUjaXdž؛;3`r@ r1#oG[THAXT42Wx\6 )_0PH+SyWGlq⒞ԭ W#7D&nvGD.YJ Kn;MQNwU/|Z 'u z#&7qc9P̅ꓦN-f9i2< LSWG>5:sБ#ʗZޡ6{/ǧiaN?x@ug_)wB6kp&˹D"X8>/4˱m dcq!DAQK.WIQXnF]H7>dQ|+O/Qc{r*&΀kxX8g%g\qv(b_{ڀ}%f\Fc 5iszҁ' bE:_L|ry_K3q%`|| * MZW ,<'?:7Mt;&4b[4\k/ѻmJKg+82bL\P~/fOl^kl}I5|; Ro'QFLr5#ښ[ۀܬ+EX~jOU!65AT^֮aRx0⎩1|NO8Fmk0YLD(*`<=Y;#ZyMV bG4Ytn4s^.. ITaH:YB\sW٢+P &=]s؟jw%'FY2ҌP|s~dKퟏC-cZ1)U2 +m{͜q/lbE=b9uOj=Q?ջs lw}qm9$Gn1oyA1lЍ8m*eeǐ˥T2ynπ4B[`J Y΄QZKp1rh0$ ߂6{sjyRD4<  k&Q:1-\@$i+OpGVކR}8c 3Q+y$%N t(%L j%8aZ ~j6Y;}uS:de0C{b($:M!k/,qO-snZpp6Hc]y- r]$ I :0 f*>@GЃYZ*|!P?g̈́k"ƍk2CeS8`:tzŵ³`[aAIM.%~/`.]m0Ku {dFy΅\eY9Z>iXU構B\5_/L<49?=l0R$%΅fiIc~U/zmh|.#a!]VM-C-J]FhY!:yKU+}8W U𲭷0ڬy; ,Sf/OK@qg/[\8ʒ{>=L3qkUv-[Zrd? pq5gSۥ6> FR3#JeGYrn WHr4?D0h;>WArf(:)5 \sWi@d`.tƯ OnKB}ցn>wQc6+߉l0;viq"KaY\\rÃ~ZE]|JzF,/R깭 G;)Ki*@4 R@ ]"f{I&)DokѴcL=CY&PJ4>~-E8:0h,E#6 P4w^!dy|v ؠY"OHB!𐀉=,Hg7DgO!fgEA/AzuBmm2̔n7(#Bf/]J|T-pgӴqSl *j1:?jD[K3_%0J# d6J }eM|K{0zt4oQ6=IFo3 -) jOr`^%gFR`S$OhD8 _GrW1F1&7HL MX!le05q *qÜzV1e- e d *^Rt\q`¤dtWUoFcasN*Tݳ[WvK0pՙw\^'|gQcO0#3R*sUJiPUT$clKtg< &`whȐ k/xj >mqTRS`6* X[GS o;PT_ņwp%V-IЁy\tw[>"f+" msu [p"]XWghA8OG`adlI){Xfְk2l?UCԃhBd2Ӽ&}OMnY@ HlSvHV+D#R#Sv;N ]PvJ+*$59*N332;H}OCB3)u'D uߪ #氁JC3i$HqTU͉&_0(6[K^-C|,__@^X<=׭~3Dg J ,?zftX91{fA~gu  8[cŠ}jtz`0k(iDHXH ת/=byHRt`$zcI[5h cݠGi]!?$Jy"=VX΢2i4D2}XuU8XqU)%6eh2뭖š-M+j;7^h9:%a5&B\:/KF} 5mNʄ6-r7km,N%HP8D & xZ!.km{oM#|.A_sm?L; /-rkYTi>UfϺ{vZ1'Z-g9nfx%XG@df14fŬ,joP#! rwDf.oьLcT\Nj%>>)`aۋctתlJݸ=*ؽ;샬/~`TU ݜh+w[۲gB￟]}Q۰,c.Rۚ1[s$p'K0/r}H]A$M| Y[Kl=k9zj 8 e(x}<気aS D?ԌLZ笛Du2dҒ1n)DN4H8QӖ2h>OH4;ǚQ5D Ed7G }꺑*_(v6C.J~i^kjޘ@b]zTT6K{5+3ܲjߘ&^_ɧaCRjiq19 2"-űO۽1OE Zǝh~O7PSGh:< RLGxu5xi@m;v+-&E(3Tno:N'[$p7oI>v[0٦fST2O8)Ϛ3pGP)?fPE9;k 4rˬm=,D0? w&АHC6.tңss MC|&9!ߐ@PPrW tmP̽Z o[>jDžv}5+[=jР x;cq6Gq=@GLcXi6Dya0.,|-Z"*uUQ ~[@ }\c|wK?!VBKB #y .N [ፀwH-ܦrdIR^lCՅyDE9Z AK1]pU( # RO?KnTU|FmҰyA9Z%H۞&lOA#.Aϩ+Xz$QNK沰P}t)w9(R)jCig^5/;[~} _!)XKL\!3. ~X9pOФ3<(ae譧:v}7b>W\GON&i/ᄛpmSƜz"NOkt/ϡ{ dttQoM5jŇz/sh=C\,2bkOjKpOؔ4aXgyGBe[f;u`O+2Vн݋H̼)C@噱=uw ZsyrhKKAic<Aar.^+2 Ǚ8 PۖHN(vD P⽋ ՗؊[hm;n2iD2kr?@OP]:{uiNRDVH+u&ls!uD ]DZ^U-B$OqO]闀厝](## Cc0λmW!‡sZ.-ñkrQ?s&XP;F$O2mΌj0U=IE·JՂoiIZ3x^htBV΋d' .2WnrZei`0Y ƞ'-Kop.^ZP@ 4H !#M[_:<%߫IH~ +}GHyfkXD>Htӥ1>- wQwpj"BVTA(Fmr਎x@k|)ajmљ'XZ~c8t܉fb#cuTS8u[$E|/VW=EjF؈Kc|V䝢o =e_ͥ:2H`^;Ͱ\۰ އh(NȑFip'Xqı0d` E#fb7 &!%b/Se,& 00~dʖ˵%`X&)/*SC2>'W(2eܰ,`KڽTUFކ]Tzַ/TrmI3rś>>.5r sl,bDQl3*& P#:::Kw,Q jx oct.9j 4jvFfIRA2Tr&,f@NdmSJ %N'\ S2λZVuw*tB)WzۄiEy#=~d o򃟿V{ N<_s ث7Fsl+s$Om/F8cn8 XDcϴup^<c;- }W#b &mSaG=^qm;h@VÝoejG;%7.؜^: $(VaVta6 BuvF=.1 j:ɲ|8A,Af@RYBHG~{@i@H&@AlwWE%l6_݈D M5Xy^W@j!x]Bv+t[1]8g)WzƁnd݀%dEGSwq x8"QO&v% zxxjV:BZK1.NG\@96kf3e`\DWbP4}K()26xpqAeͼҝ<'Hw$"/T1FS-0ժRirn怖.)H!KB2Qǜ7SEIHɧ+P@!3d2*P|4=~i$cS2Ʒ <gRJc>1]ϳƤ~n|_)EVAS~` Ra/tͅ7w1Rn0y 1n%ClHcSӓ=?RM3u{Z~&K3ɴyb Y#rY` (U\4[ G">"[GFfhn5&\ u$gs RX@'1N.f4Gؑ&5">yd&_6cG7uzb!r+_ǜ}^x@ѥc#Dc'UTX#t45ƨp2Nf Ǚ+4wsN-2JctC!Nt]dj\+ha6kz>hGZ[q myxj:jhM̥Y+=f$ql1*r~gU'gF97 g(eV$i%W$r rJ)1X ,'f)/Nv̛v&r;9T4/2oMyʁow Ƥ& j u_H<]!JKm ! ?s'YJ_[~uiĺqԖm;A76QԽ*@ $}&NG\ yf3wOYl )xds*\hOZk!PoaT7,} a̢jlJ" g>[|A<1X>ydFO\(t.ƜzS%険8#d0Z24; 2,(fl1!vR&5ȞJ H?jZb8dG =GFoA#oiҺR 1Ĥr  2F! }s3٭QVYo)I7pnD$. zU8i =Cʤ.yNycUABGWVGGk <Ҳn.k[ :|<ħd%F50-z@EԦыM46?9`%_z_{&d !WpJC'¿a&'G!Q4y\{C(__2LI Y0]~uFtOK_cx6Zu̞[/'DSEySd{w^Fn\Je fL%:!Xb"ґ<<~Byt#{8wGwƮUcےȔY=H'JeS`j5TkP( _He/N `ҫxY5+ΥN>lK}wq،)KC'UJ6U*]U HL"qrXUsuGA9jY̼hK )d$=mu\! " 7]cXUϊl SNP([_YY]O' #i\;2 ICx"k9G{\|ksqi0w#zdEM ,_XpIN2 ;4*Ԟ晇]7$>#֞\ط(x9ŷ tk`r]&#:yb%g+ by!NqjhN,DqG -![*[$MuR%,4NAD2R8 9ܛ.M#fXc]9r<.WcM^iqCqPQRfy%66| y8 hyUqA53`+ˆ='~@I-8''iEMQ){VG4 7A>s7d{@0^ܼ\m+?mpX<7S@и!ɃEf/ٛ35*J\@6k!Lyԟ5ϻ|Xf -7?,妼-^DTfі%Ў]eN1J=Br尲n*|iQʪoF~@PQ}-i]:`?ҪI{(tͫwc/"-<Ƨ1`6GZ0DxYuCH2_}Fh)E>C@㒿 "blVW8D3S#`C7`f ̂g`nT-ӡl/fmR^L$p{;gOאJ$q~ B,3-4Uw+~+HvIEpt 3:nR/k(m%7eUď}00| [w`as6X~tyM؄.MhJZАVpm:y]<lgNC*U[NJc&b9s9M /?RƳ D(`Ԓİz& dNt61|3D/