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 P!l\L ]]]HOL-Proofs:threads=6elapsed=639.271cpu=1544.896gc=264.208factor=2.427zXZִF! X/]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^};>< օ@65ZĖ=yŖszn9n?og<<04O7A%s!+fu*@>c'N$<|km%#΋1SzѲ?hmKSwYޟgG9-J"䮭؜-M.壌t @ h>~{-f-`) L][""ƼXhʜZK@C?߀.^ b`21q9JeX2cSá.,q2.1Z{l+a.P!('WZg&& -NL\<3z׺M1 *Ӟji,XOۯdqa3.!s rEf4eP(WGJt*0?h![DI Z {h*b:t^Cot Y BaW 0.BQ`0З'JS}!,Cuښ^TPq^/Z)r 5+`)YXO7t1hCyMۇzpR*B^[6a3- &%ߍz[ H-)VO7DKƣ}~ '*?OѸ^j;[Mb_:߮,9=zh~™AAFǿjxtlg~()Y9@>Y-U./s+/HUĝv 3uN|H[*M˨g t \щcvgr=p9A}=];Ļ'"F=˄nǸK ưw3;#m7w/%7jn~7tvin,r]$TqWޘڸz'*h^O{tɾvy-nߟ Qi0Wq hqDZ jpnL!.'G(o C_мHێ /Q (N ]N]C@%H{"яGij|ւC8=lCt[QpP(OKG{ Xjޑg +u//=͢H)AxFŊOS\`sM[JGqԶFL;_YۏCh s\sOrP[IƼd/]q@hDw1ѥzrF1.  m^9ݐWZU _2A1ձ~kK2 :! Iy׍H"0~C͌E#vN7U4o&\r1 TxeYN }eD|E}wcO꘹h9EB *+r`yi!9a3rFDٙ@oPaXi$(ktmn*;NWE75]DZa(V,C^_ >|k]3稂oEϴi ql^sc CDQk@,̘-ykYm}p+g^#=70m8㬋?NN7TQ ߴ@Ozc8BS/\I&g,b1ݴZE9&lQ3 T_9UJ+4-,dY'8 A6߭7cd mm'p\~ z2>Criůe4\TtG%ݕ' t{eM*oD EnG#59 rՆMIZV waIQ_ s&'C·#]Ǻ(~ Tb#N =KOl5A!K@1Pzi.rn8VD$dP"3NpHc ƨ\,B,]F4΋$ b~FNMr09[cSK{7i3i܈aY8L Ds-N_ھEEh~e qe?fi"-NN媯yLQ/ۛ,4o>⾫ wri6#}.<NLd [ߕ1D+ީCvR%H^Y`BH^ 0Gr&(d ,{5OI3\@́}jB1U@jE0n*mn\z 갋u,ٿ~e0fn#si;=o^ד;y:*:z Mh5Mg$^2L*aB`K WA 3Aڄ:Nub[ƦT9DJZh6(em])ɟIJH8O1 /rKt,bܘݎ  ! HOL-Proofs  ʩkNA Hrtoc7ӖUQu rZ;-yo“̳kآBφ1VakF3Cu>m#%>rR T(L{GKA(򬮀nyPt<;n ii$0O!c`Mқa!["LD'ra8 y}udT>epA;ݟZKySKcA]a{zF@LmMo[ jN&fW77{Nz"`di(6J}?Ƌuڶ(3+v<[<)gYCYЦ \.{RwrEr)[C]IL*pHרV̿&c4yB]h ڈaOzlBII)}Pΰu'!(#(hF)mŸ*ϐR(&$k*kM#B*Qd]EeNj0ip&`JUYz{ÅAK㥰Xce}lS|NRS%G% ƴ SҲ"'OtRO3jrr _HNJ")*i A<' Ǡ>bF/G'%5:s AjPM3n^Yۤ{Snbm^L Yl8G ``#ͤʷizI[6MEw03vi{Ѹ%q TM]췟67iڳ6u0<0!:5!CS02`v+4tN7":3 ҭsQ4bcY #'{ޜW du7tH':fpIi4LV B yLTv7^n]RFaW 1z.NxٵX_v ⧰wexw`@Jd/M/_[,r,PpR*ELUe.2R=YZH;KwR{l}N⿨m,SאT\nHB8T`[y%qV3)gJ_&(lY Ee抑!NFE8જcryr=Ba{g74a6k?B8yQ؍`oWuK NPwO|ټ'gXǡ@頷 Nm-u'!Ov͸5#䘪Ck~x*Q䧌,7@cg1} RgGȩt06t{x;aa䳺bZw"&;6$:[/?F 5kY0:Lo׃BuE!' Ɏ͸O+:Y50֤ҨOw  TsZ5$peP?N!@b2 mS%2Є[`Ot 5a3 7V*m0`J5(ᰀi%-{?kG*rgr1TPx1 OoiKyQFD$Fb/|7 (*Z~t*F}W4_]5zf fW&qbPBK>8ècA+P,G~͙fQԇ) e 0yiú৶\7KFuX!x.fr9=*vi"Z=)+:0)M 'T@pt?%\L]Λ\FWF{|: 9L y9:] S-ԒJEmQ th*oO!_G,.l\h.2eEc.b?>]ȇYբ31q*c==`'DXg(}׆c&/Ӣ38*1A5H9eG!X5 ry6I8P 1Yjz8t8  ^,DY4M`.$YENל5:#tvOVR[y2{W?_!8N{֩em~!թ 9rQ[TSgǢL"eu6XҞhmծ|j lm@*ao=5BA_|| ҫψGjhs+ lo a(Z:InX\cpdv~?V*\يHE;W5ķ^nC2&i6Z$9^gYZ7zXZִF! j]ŗXiɟ29aoʼz[%U>EM!!*Wټ KUkEg,ln<;ZxɕzS'WR+T0 ˾e3˟oJsr&םH "Ydl"nY 9Yor'/m SB7ꝚZ}9\5qŤ^"v 6#.s3! `H`2( gYZ7zXZִF! ry]ŗXi%@fn+HުJj[ҞH4+,vM)xTz*_+yZ!*jC>Eȫqdl(+S/9%3O4q>iZ62S`I ָ8x|T7ݸ|H`6 r_A@y deYJnV1&MP8` nn{]qY oJm!\e­H!s2x)D:ZŖ6aVl~S0 |FЈ)8]ҥZ52 (o~ 9nΚ?tn~TЫ&q>7lmkX {zhA_CkDm-I2cM]hֺ~6yŖ, HnUi*NhPsM`0Qzq\-C YUz3HGZD~MCNviq#wx-ޔ{[#Yxhرءih0d[JN:38q_ I]#r-MISݨc-ZV`VK^)Q͟J~j], uY..EhOu# cG 9fh>y b8 d9g(5C~ذXa܋M?BFa-CpEN!}$cgX_3̾1"(ܩ7]uTU5 523:8SRo$zjwݓ#@ , 6UI_'<+FMc:`.]K A0H.(5) 02B9+%u}'>soGtS rOZO:C Y?ʌ3s% rpMD$4*\cbL5XWLKC:\4@IY> }4~iQ5b ^&X"諤8*eMyC|[IkA'  ydt|քfT,@ڔ;`n6-2Pb|sd6u'iW|5-V(۷`B4p=G쒣Čk/Xl `w_Bf5K1vL ZE?}jP:{14&c:cDtƮ?hbyXmEt3/{RT҆ߟ,ӛEuY]B>xxQ֍4yOJE ReM%fu6/oi7iv8rbCBf.@v}ANrJU"  /((6>CM:0rneHkt =?7ڂ0 12/q9wCu̍^ma, Ҽ%8/XҸXpW"`I!ʯY{nGDc%Kon*cHoh+a3s)%AGm4Vj ɵŖzZv=oY C%}rnǁI&Z5Ia ב(a%"[ =f)ׁT am] 0/"ZF!#φB];0{IzSvQ;YXg+(YYC 8pu\pr z~s11Logk~I6\ݣGlZBp&*+J0)fI7akVKvwz\^M#fuNx^;|9WxH E M[ʺ<A wO#zϕewy_!t&[뺽 1!S5`qF* LKYs%~ jYF $tY7(&0ujRYOUe~NTf)Y Y]+0(Ҵʅ!{~o$}V?I OgHa!V\}Ƙ0GN83N_ ۏM@OF|7{1$MdΜ{0 =`Q]_-h,ٴVVkkAvnu ^DwcY%R`ڵ3O,ʲ\ /Tr@dTs z :MD "I|[U1Nɞ2G6Byy$.)L^"?Ő.! wKj};i}Ҧ ณ:} vtpE פܧja5vxkO3TS }݆ υ-T@sš=MU۞ۧo{4dm[ȣ_O&A%[LNIl0[ Ov_b?*O5Yhk)7`G1?qS@_TIntEp=C +Ue%ӡG&vUWǔ2C=;e':,e:ajx[;ylnJIaE*kn2V/T|_=۟`G곫}>53B4 jhv3/1o& ^`ζvF0Zvkت;gb-D+E{e'{ټ^n=/dN ֳ#`6=ƠAu:!8gE f'^֠5^,RbaE;:XnH{Eoxv盛tL=N箄O{cq01a 7I 췺Z {Y LBsN5q^"Jkz:5jMI?u 0'~*G*1"$ư%~x?H^p^ϷG:@5v0mQSx`ʮ~ڧ2K2v  XXxO:w)$+I2?0K#6,ؾy)[Rfo(tX!B2r2y vRue]p1t[*ٓEJٽ$G+hh(EhhO1l6Yax?Цcwɝ-tXt ESK\3vQԒ89E?I2_$Mm~^uTs{>]2iB"i>Vx%z YJ*/H UOFa2S"h!ˢ7c9r94%=c5%s7:y[Ux=N9 FsORJIa0DCH1Ж*6H%ZwxSƠks !\ 7K*M: ((1~L ;f'Po#v)ćط`܍mRꑩYH4@da WIȖ YJ@LkTM})=r9<4߫l%j Bfx_4#vI?PnSf-&zZρ6i o0"A_RxiZ m0HZ zL4 H1Ml`ڨ6kjщɧ!3U!Ey{ޞMXAC?Dw!8 qscC28/{`"NJaAo.=u&{HKDZ*>A| HZ? u{Vgn {O.7+mgvK_jr{~C7"iop]SaEN*Xa4e!G/5 Ъ_tDp b؇aHv]׽qN1A18e-g;#^ت  A+^ lTy|qKpfFxxßJf}bkD=JXw&K7`Oru ;C`'TAYXhB@oVn1S.i}bvL4$؉8g=(dJVi G\lk iЫ`CjèhT"fVO$nݩ\b6q+R6*P=y븩{ &7Q|y h? RTsjU)߇a1H7=_ĤO297\+^$Toj(v滁WD}R !6)Ӟ6ve}Fup o /u'h/P÷#,FHESHP~p\ZY<)}ea# Qץ3 =dU|K8ݐy {*p |i^Qxaȧ+#cA#Qsf;惵V2_ᶡZ1DdYĘll [@51( c p^d]CeMO=xCdP?͔h+j`kLߠ8,?߽yi,yBgt㝕}GKlh "2 f(1, 2${C9JFEWU6A6L1Щ\mf`e:#OwN((72/OBemo #G2trG$\ KهDK/[%rM1Ș9C-+65i&4[67(gE\5bm!HN^¼{>XnoM'.=|$Fi&F49'9WkhK/R6Ja2#ʷ~9]!Ǭ$^;~#?; νg!+a'j65)+k9x5]'!tbj7tѷfs0ތVG;:m=r"9L_>36@gOOrvYaVf^}Wf8&b zJ 6/#͜lYrfV 6tn #4Hx`E |<>%D.T4[Ń'y ۚcE%0|&&C1f0rنx)zJ)u;UPS!M[7֛zr4zxpT6jN,W-_h+ʗ?LGk[9\n-h]d@Q_FA#'t+dD=3=݊a,1³QE>ɄH?&Q]-P7)cu% #s5~@ƃm#X)eD7'f!Oc6T0V,K rHZJ`v0|2ހ L=;GڼDq })9|;Xƕt 3pҔۿ$s &`As18e@1B|s}k0+r S' M_i#1D\~䮨Uɼ َ^{I_gkeM9;F`~\`n:`Sڙ롬]y]hT:@pԒI6 mY}d>LP'6_8})g qXk:F(ӕ&'UFea4v"谫+*MUpT@1fb0Bm-X߭M#{Sh[haT5̩r]T\ooՍ'w`jnF5n;"͙/m;cTA\[> 8uLªc*w<$z eKSˎǭBRϣRZ_D쁂HDb+O#:#)+s_ R&>AG& %s> KE+19@9f .d j* p0n`6Ieg5} |] {n͖)2Ӆ'ັS)x "Q|f g#j*6tsBQP`DbѦAG}<~kQ YBՃ-"8ؐw<\^B+פ$O80^ 99vڜrC/t,ѥbξsg)nq@+]8z:p{Vr;QT6v_I.`/#$Z]:gYG~J":I@ݴ;ѥV/1A* /0 @}=H܊w0yڱ˗ӊO[ݴl'CmoGOʌwd#yQL5t5ӑmL nlu`ݏr+BoɯfU5 {ԭlT6}))];!J*!VsqlkJJriu 0߁Rz!#b9i?vcDUXswvƉt eקewzwVn(.iJDk׃y3GWZ nx~sGYn, Њ[zɊr$dJ}}@Ji$iQA=c4Iu-DQ짌dzI??x.tS%X-a#T~/v7&aĔjS-ұ"t+oC3 dV*C!5++ȏQ/d![pGz}$Jр$b+~[`V[omzr >zVw\8aT%8<J|3y<ŎjPL@=;_:w/58.HՊCY|QSu:"/3G8}r {`ZEty,o7XDэl'mnτ\YHcQƅei/1G.5S3u1}oO^'ΩewhU![-".0N5dx9 :Ed6+c jLz(3C Ũ`.ϚZ{ HGf_ +-8RI|$ QO ,+߅S2Bq),Nޫ1%`Y;zI:Fw7O謬-)_iWb"R`\p̋(5هe01 &9'#(</p-`(%}^ɂ) ~kZ§PD.?8}a%~` nS;rlK3t\@. )@N K8r ?$%* |o+vm*b= ,2l$(e\y{쉘.V˼X0=viPP+)Œ2I- \2Y>QTbKeCɌW4Yi%XUshgg"cnlS4GYg |FX{J+TPkk[.ʠa<9ZMTFQ=?+zwx:Got]"[L:xErC9RkN<'CzAq(viXW/ZhZ#HF5L`듊I3P!,bk! JR}y8X2Y"Xg˰2-qzS?~530qvG,F !9{:+jO0rm>#M2g7nb̜|ջmljt˹aktphOS`/CjR/liz pev%[.Չ9' nӣZai\s E\ҸRb #AW*G7UOns:Ef6v7- .'?H~Rh̩3EYujU@]=0"Ųޣp7f =EMfT)li{>ƙYG?Q+%dVj^@oO_# XЯ{pE' \)JnG^7\ْXwGs`Ms#5aVM;](yRSXlI!xFX|Zk "nfEFhAFn`\"`fK;sޞ+o>[)Oh7Y>6g\1kfE|\h a xZ*\Dg] sT7Z}_};f8F(҃IbfX! ,yStH}B\a 1" K &Kaa`.fG9.b1fOf4y/B}SU f!lz[p%< 4gm| z=M*ehk0jR672kjDBځnpU964gICVasYQPMm]b`tM6$ 2@hpc¶%qIJ_\R L쏓V[Ikۮt{5,xSV:=yal aUCR8咅dFue) /4?90Y~3C=J>UHU+^HV4ܠwyF־q"nn iEHYAg HOg\W9[ڈ,c !WgKduckZ+(8E܀U#8v:y%fw|2fa*%g=J\Ow 2еR7HhNOF) ? @Y }O}rbrpFӉ0y`3DY<_lGImr:b |D,"<^fyw&y dݽ3;Pb`=Nn(ZQk>m뜇ă=C3WD܁X`Kyy<FMBxI,Qh(m$+21PXTEcQF`uhVFҰu!KnܾsJ_k> XY3?-$nQӓ O\CJx] O"6n2U&[yj>P:s^a_מobߤP&//GwW$8! a.J8!K?)rz`?{gPR2BK:F91*0"M/LkwXYѕDc  ]=}ok/baON"W_ +hqST[nT{KFB.1unMJKmBOM"e;#|Vm%Ld{-=f;V^ ۯՑGyXO.yzlv:ۃ)*3 H졶9#?̟A!5)q22c0f2 L,@XK㵕-v/D $s0q6~=l!Ԡ"K@eLjwÌΓba:OȋG2xJt2 1g%- B-)qL~lH >b=k 1β<+ݹ)eP'VwEBE}p[ =圌Zw.І?v9ǝ9x进NBݡkII ܮPH5Y FI9[56BgDJWܦwX-֊g6s/u5C3:pYaA4#^׭kj"G;3٢vnZ?)ĥ +lrF)Hz Ӆ# cM t̝;&{&];O'gʭàifi?q̯m41>B v )CqJ= EH8T˼XN?4eTaM#hgp8G2 0T̻Z`W?~[Wtmu0m都 GI{ex h)͹4{O&iֵ?R{V5ZIX;DT1K9u{sHr4ҟ9[DѯC[4 1#Oi1eShUhqhNQ]ި;MGɷlT[ho#@^X/-DgO;pyx*j">׏ E53+ PQ#%؏eb̜),,hi:]5<4^¯ p] ?m\H& x9zofl#M 9Fs^5o͚D6q<2PɏZ=O>yqk$rޞ˾ZrouOXͬ"NAg c-KX0"YDJ/p$ɚWO wiRˋN=sps1z[OӳvXCUqZֶӺnC@Hy + .>P\ifO%Tlw4S6VD\,7 ?pIt~S[ %zaT"׀>+><҈$J$CQی*hILfjOҷ*3$qK6&<+RT>eruUN+M|xkݿfpDu'SaOM|AoTjlA/Lj TíTL nȮof9a1M(?70L~-Oh7<[ Ӑx%O /9V\V̝aEUe:cLW~? ʚ_4qm5jul[!TLExecd83N]w#HwI`P$.v޺Azyء%bhZ~ [ QWW^BT];V@ 0{JTK@#Xs IRBs+ y~o7i_}#_!?0ެZXb|YĪgPe▒`Nw;N_D406u7:5z'9T Mqrj(Jz߭2^M4̔j8!# G}Uioe循 7 Qˢ<15y |l1;1)s(Yzqo ~NOJ0!{h  ^ϠlwLDK2  S R]z>y6;};w7ˣOyᙓUG WhxOeI+ 9z5͜~A*͠=Abi%>Èlâ{3B1~jTڲ8*DBFf`b`+c~\ATU 0>Zy55-Ua"m/H%0񶋡>4\B~w%$OySrXSIk_& H5",d0qNfD-ӑ$-9 ̒w]Ͼ-Q>tLki Mz1@'GWi8˿LճB߫;fCAۛ~#:pr3_ۃJo%\BۢIsKXV1wT!˜u^P*y Li\|rd(u*V0$ak0zab4W7E紜>^Ad!էLY$(5c[k08`߀nEC&HboI Y}GɊպ꘏vtJsVfi2]7=v/{SåBB38Eᑪp-Ɗ\ӸW\8U%H#.DtVrvy1AzSih,2HpFkO0%raGלS6PU祝sU9jUp}&K0U3m[wzNJ,cLڥ7IOiZM*wV:e6Lw/ԊÞ{P3/}n^'fVoRMZ 1tycl/3C`OqSqF;31%內Cs/Q5m >PB#1 IVCo)1hy@EM+~ kڗ\zMzDY `Wz[NEI'Ӝ jERdx JZh`ԠH?:BY3۪ Ε7ha *&s^`ϼ2^padpij8pW=z  ` ݱZ"eRT?J >(ʻ~z([e.gI'=F!y,ʒofjyeBCyDKXSFeJ4%HfO)yr*k `p>p܊u =\P[;N史[[HNUb؋s9'PKaE1 _f:ˈ=qDCk-:{em64ڽaa6Y3%o|T@|wVJæ \Uʠ$"֬H"qFEzj/x R,"IOހY"3@~BUCM񡊅Շ'"﷓G:q jHNҲ1>L54HE-QpdTv88*W)^A$9rg\<=`7i{JZ(']W |&N8lҗW(8rSS;Mx)cRM^¯f5"B a-57_FjD&"s80\g)!mEahk(PDܮB1F aeTSF[&5-bRV'{R_01ldJ7TV$Lȕx3k֌x`2hǜiF iTS\G{CB`$_무Pd g_3Fbf$jkf6 ?<)nmou*&]  P O .SVЦ!4̣680mgoЩMؿG^bךl(A@$< /GhiMdcubXÃAFFS4*(E-Jyf=yp+q {: ** "4Y:+r?)j骳L^b ϪʸyԶ6S`-V3{XNF/r\IJ~Gr /8vG$$r'.vq,,ٓfORPEԡx'q[aФ$尖5rKJs(l-kmZWLq%T,: M&'YiJzxS-+F(DBC qB$=t[I@2ʘ[0T.~r mwfM5n(=~SuV G29Q,ȡ1o+?+X˚T߹:gzѥ\BK ?_bm!re<1Nr}7yEv>bݾ*Rx n Զ $FR) B2G S{%8hg`]2z9H{P5BnrQ(lVL]i-.xyN"Qp83g߷6chhpW C{QkT>_\b1nL8*yM dPST+ݜoy (ba ;Qճul+1f_v6"n> >ei!C|leMAlaAVw&7ýrI+;V)NJFDNHH aٵ_vqgÉ^xɲAAqot4`%)8vߒa@9ttAy';g< vެ>+w|ê5$P-Wm 4-lrC{FU߭hj| kYYGqR3l/d ָLDl!Ԓ&obd!J o:Oag>ke.ъ)']#+IIj7sH;, X%f`l)rk]cK}a sgj٣X鶣nMx Ry: ̐f˷Aܧ,˿ٻ9Kt :n eJcx$@XU6Ȧ#@:xm?9CnO3YqXx'S6gh=e܃-ĉ|iqD[_<+C7c6*M`hye7SotSse*FWV00jqegqŅTmۘxM1E|fEݩ=\Fݓ\ܑL6 eWrRN HC_'(˕O,뵫74xwfbm=?$I9S=ELoEk(z4}^7?yg7-W],00Q^K3g>tۤzH̠#KZS+p`_)\͖ZhlPȮZK8mϫݰD& 6Yw<@2o8jeƾ^0;nEr"4~5B?n)=XfNÀ::b˷n7DeEUa>6ʤ瓦>ђ7DpcCx9d:sP>&ŕp Ƒ O9_)_(olnϙŖ"ܬ4bjp8io'irfcʇF鬮k._٫C4l;[+5nZ^U=ƒg]J6 ԟ(k/bj[_z)$ܣO~DåfA{&FۈN4@h$c& C# 9fIX`jޅIPL;ky e(X4W\6Sb/c`!!K_qCy pzXݏ][&A/,aOs[O8O3ߺSDJxQy=5.st#z@X$?f&IaT \&qy+,IXk\ǣ \t ^zLUN63(5~P0\¦*Η0t&`yPMizV#VQ.q'T`%1~E-}ԧ+5Yŏ 2鱕0:"r*Ȕ^P|oXâd(擑%$(J%[I;I#kjz]|l6x}`UnmoZ[|M%P35-ŖJ:e`LB`aj`<{; $:gv3bSؗ'9pzx+1n5 ;6X }ΕN=N> ]﷋h'#̽~֢Ycp#}2KuY)z@fJ5$i.9^Ji_$nħBd ['jNzw)T'_GɾKǕ/}8U>D|8ɋ>~~P̈́rV&@K@Lˇ_Ce63ԁ_{4"?E OjJ]h9\gb 1Rϙ#ctؖJΦT5CQqyN>3// oQTJ%m̧*:'"Vt*p_2,|(I):S/{׭iX>Yl8/Fϩbʄ,g* AlM]7u;bÀ֩]Am :}^]j$UW"lcuV'2= ڎ%>yJʘ fɱx ȒEĝAЦ"zJ(]b)f |lJcVgGsج{bmvfÕ9p7[s )= 5Hh L{UKȊ9Fj5V0ydqFbb( N)igrllj.I2^~]˾e̠J4ΝIǡVnDg1qY@>'ҩp7Mf̒*<r؈4+5 (mVB#E2Q5wNR=NGqm0g( yoMށ0 pm)IkӘJ]h;C{Oܻ+rfLIU>xvGĄH$IZKUH{u4ukށ>쬗t k?c[.&Int.]|7>=1D b<%cVqWðw[u>x͔8O4 /5u}nGߛ,3M(ݚvZu1g"}LJ(3Y@_SoW?^úT\*WX&v؋ VTn!屄] j8 [{E yi@"BJW* Zr3(;9KD<-rTߧvHpsswUJr& 2o'=Y `HPAwj;#yAh;teHC}HqK<gѝrUWźCk*M9 TfĆu8 {}V'jV zZ'1 >?]m{s˚0`<1-k˂jed).NC򇲆~64s4 6.[ ]ZCDA{_I!(L6A<޹LeZnfrR1I>8%[lZ,IDڃ$ҟYZmҷej'gڒD{4N6:k= ^+Y(cMm@CsCfCLf(b4Pƈ\99]#tt"pkRBceY g>>y$-+jG{S.#J"c{*>/LnN77hĞ| ۾ pNӬg5vK1TL#لQGgkD~@jDnj|P*!w̽E(ZwC.[YG8 ]#R~ίaLqyLVTTru#"Ay_ntTN7jp}sQ%nzd焔7hEZEbq{ZvµU= @{xoyCGqā aޛfp y_,*dV ҇%'{#:$ E7~XcD}>LT%;8e u_=hb'i"8s-T>`~L eDŏd)7Z%`f1Y v٦[|fKd [[ Z9²}UGGU[sL^ֱ&'0"2PH4zX{Pet(\R=G0YKJ@ׁUΞwJ;"T9{ql:1)C;$ jBҷIU1+m~mheS/q`"|)DxTМGPy`8H1 ,9*Ysl01̾Sjjd̴9pqbzhy*XTp uvbC,b9; EF@Ob!3uH#pvurǙ&yxg@-vƁMY3aӼ GՇfTqߝ@)I-06p0C7a2Lq``!z\ot_'`WΦ(gK.B̢V^=&. 4.Mړ`Թ:ͣviZZN#K;]:<\3U3f8GQebmu{rۨ&naV~}su^'ٗCu5C dDX>Xndk}?4U7>G6u6J!9 +23ܿ\=u/گ. Eʴ(hվI"k p?#pv cy[Sˆ78O!L&v=^'p"$W>W%:"~y%'ms隷fkx?'t*]]0|[̄l5N0ڥԯhI 4qAlͯXcP#O^+o3^uA7p“{/$m/!/R.,xmk&kIg2ZZKgxqzCz p@?78ܯ6oՆ6 JMR3l5]QP,DԺ.jb^N/G'b5k 3R'DFHzJEub'?FCKjmCw#^A/ږ`FU:2, y>Yfi& (>t1 dI#uq#džifp0u r@ eixىI=wL%Sdn CL$M}@IX;M8<:Ă:!HbNY fj-->r4My9¬E(CX\\2ǎrm 9UܙZFqiWwi ,*Ga*Tsj-egOd"O nF{ӑt&[ȡۅTZcƈ33KA_\ nM(1*4&(Ďq )_I'Wp;KsI_.㓰ަ!l 5${|GK -#: ʏQ@Sf?S%j5M c6m ; Iu!%N3qRA;U6g]]#v-$'cT!LWM!9J#Sx) ]QXgiPPM'gC)+,rc~8uI)9^xkQ=l\X\Cd@%.M4BvP#S.v?c~<C"*c^9b_zTwоx^4_dR+ 9cQzM>.v$ ϮՃ| $Y_}0BQmTǫ7 J8y_kYsTF4 , *Cs = Bf;Y>k"D H5ØYՐZQ " ОF j$kC;QhtiaAnBB Mc;jrѾ'rxӳ4$i$Sޅ6AeOV;MtC+ 曽 >dnJ1<= a?- sv:5twߝo4]fh,--8zٯPco~c \K N=q+) GNiwv՜qF3A%<@N1M{p} 2(ɾ|4{#xʺ%Af(~FϚ]iۅ=!8fl_"EdM- 'cbڳ)$:P ʈުjy* 1K ,}t:&ޟLU_ׇcXEI9BrNj8kQcٿ >_ ]9up?T*I6nMMcp#Ì"}IUkAgy]ÕC!ނ-K̰ #=RadǏ n@D ED>[hl?f<&:v5E+\D;'Ӂ{HfcUޡ_ h,0G1=ףR(6~U5xZٔy,\QnN8xrB;߄d3= H[(|!5,h ==zeKFլE| /?dKl'}rFY2d4 TL卼z` ՉqP1 17slsHaC4[{JD:ɶ(%Iأ\Y~ݲNz*JS#ce0 m'hR3ps6IhU "NP.zN+304͖&ڊiIP81WUT->.=9H:f'߶W>sZ$ 7z3_V0. @lVs`!';aɩ XG LDQLt%3]e|?X| јeGHNO_h'6̮2z"DvMUñ_pj;P'!QC0'C܌c_ @տƈu1$"t<ʑL VXCZgv N+3f r%ިkl =&㴹27苮$eэ&~XJ^}$ Xfm* =2|'gw6@>f<\*GrI-EBGn[Aen~lsbȔPKT PڦqxHtvιTZ֠X@6/s;]eOŰ)E.bt',y+b64A M p}0GAPEG8KT3yR2JW`"Aʟ`' UblVMqm[;R@bEYvt|YF"m!B%#].{.f P#WrRM.DƅgpjaR;A #v| T5ZJ7jPu8qp=KV=TFR>@2pIwrѽU 'v{Ҟ\߇"0 4%:30`CBSk$ O1EWoVY-.ycbbY˚ۚmbQ6r~~ Ցqtu{oPbz/mQy~.N|ܚ^<ZJ[ibAs̅4u ɝkḦZǞȢtn͠c*6cgYZc9d60c7d005683cbe9cf19145ed1b183deaed59ea722fcaa1e8b43a508ba50c6d40dc06804ad4aa93c91bb041807176758add69e17e690d5ed5ac438