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 ==#lL ]S]HRB-Slicing:threads=2elapsed=506.219cpu=868.900gc=28.616factor=1.727zXZִF! 8GI4b[l:d@V>3X3 Doe5!::Mʄ?:&UJƛipG c44)v> C ʕrб*=<|JHIRxΗ澨!lOh]_ӣtuݢBLFe Ȯ=̳ B1v#U(wZF:4jn\TYYyoX4&[o{ͷ3gD0:2bv4k٧va(#$D G=4;Vv|ü71;OCa]oE9s9U iL6G zs&"L\$ɗX =؃ZR j"-xhwSVOD;`e5(=u W 8H 뤼aN1ռV~$yM`r \zkO9*uxbE7)t0~8@ڊlGš/u-w O8 Rjh9|&0͐q%.$:S OE`O/[ЩxӀ%ǯL*ʸw`Cm5E )>:6G48nA|'+hp Jފrr*\\3LޙX*5?C 6L*҄|9$]E3t`'ـic c4\BB~e㎪.^!WPqUQilgތ}'n[.B_5D(&;7`2^Ar14h֤4r< ڨ~8LP ߽LJ:%AY_\'lx+&Lܺ ~^QOR_7\pIm'\8LсmWC{ Bqr#Ue%%we(u :lKh!qD]85m24U_'ZA 6ƪ`8HjI&ße=MՒ ˖Ͳ~GwhIys }Cym,cR=|zA"y:vMvy2~?E}ϧ:څѪңvӓm_ؿ(Q싐CEӗ0MVBƅ>]g켛 7>[XOD3sEFkwϩaeCO8.>9u:b9#6au?̤ ?O liE=6>\tYݙP/hYQcUH_떨H, u$Nk6wbx3 ` o,E%6eeC_ҺPU >5J}\H+ SC8A_hƠՊ2 + uF[TW\b=!b*$#h)C6y4 KF?8coVE9pNaEAZϚ`A=0@;Xn+ca[_[j{amZS$ B;r("8ud áAw{LE׈Ŋ`rA2Ǘv):`XBxbIx bQR{p {DolVɧ^SxgҬl1늹>2P^.m5VeBV6(tASf\wfTQՒFE&@e.塮HA_X"xDDƪ;ČݓEּ')FE_2Nkb+q0MM):eGzg]&iqNU12:qe@m+~tTch.#o՗8&fa24NppyRW@ws؄:<8aQIH9Qh,""&,IҌЦ`jyie_k](Ri›Y9wN[ovUʪ`Q=RƂ!kK4?'^[8S^1ǭ(2%h 68eD 1≂4`{p # HRB-Slicing   kX!h[[P3bx0gvJ_/4@t;>+x tQ9Kym4hr/^;(|'c `.m1-@9{$&L|^_^ǢQ|ă2EB'R `xN8MwVR2ANOҡ-$pUiui$j^fJ)jn֯G|E9Eth&XIIjEK:raQ C>}~Xք(镡.$ʰ$!2g@[۸/UVxSnFďj2; +ȷw8T@hԃ/g!C<Μ@bȈ'78ג}]hXClfRNr ;{*ꝼ$t]R&q'(4 H{ v5Zw~#_R4]H.FpF_2v!U˿ ~LA f%›:^\N]k>4tnxO!;8J^J39(NK" du+ߑ*'M:[`"Wټy3OC#jl!?oGG:dt+ zzܲ*T$E)-,c 9d-Dq6_zM`mra1).]$tڒhA6:vP=莦(v9;'sJ}~&ZE9NZ14UfN"{گi}P#~S-񃬓z#| & In:m+>.fӷ7{f2^fHq~NlS3$W۔k9uPhhmJ^1oؑȅR̺V=6&y( %zN>wҚ3-)_rx2Si⒱5ߕ%8Ő̱\~*xNa+s./(X'raSE}=a+&p!YNdnZp&K5WC8]')%`BR$=4(y&A7YA<,@mgÙ" զ!7fK LS9߀c Ƚ- z!q/g7A@tzG DGi0>$q6$Fӷw&RY9/n/nfPWtZ/,GpԠ.z@=#?.qkDIr@脱 $Ӕjb\;-"~"z> =qmX؜#VxGx;V6 GثZ4mMy"+$jCAn|w,I|`2 /o< 5Ę︴د'Q1BP7=R +dYX(qFZJH7l_<Q>քFzಷ4S-`oisQEzhe& ";sOW ]dw1Ly5k(Ά߲~7?>>`^c3 YJi5Mc= hha'+PGQQT&V)Nx |7fnpXB9o.u@SQu4vp1Gv<*-8[#mXyWBӉ'icV5 61DPKQ:EdImom3tG[$=bȊNR0-h S $n0)I?>(aLUzޔA䟆:~|?Wkj֫؆頣~^9HUiL4$uG2U)B-aH {l,,#1H 7߆/mb.(.lg DMaUDG{ihŎ ŨlFXPQ`ou? b6hL-I`g1-_:gxja(&됱`.Ʃ_){64o3e,[nUB{O 蟊u{i}b s 4VBS5m)2=-g'wyknmg=|ڛBUO}m(d?;(Rs"oʔt.0L}W )v<P>[}x}zxwKkvs?/k_!vA$⏩ҧ7755F؝txR"R,zw蠡N*̣ C V1B0-5ي8+ӘF dTRFMBի9oWW8##ʅUEBRYmV}̪pm_O ewo -pDbYPJsgYZ7zXZִF! z_<]ŗXi%>gw2E6vM?:V-7u>H Hs6,*)Yl=nnø7w 3$o^wN} wX< ϰ#{xW5K;^#d|S鵶>^KlEOXxgMM 5+;2]m-9.^SJ3}SB/0i!etTuݓeȟPؔIw j#!^@/q\ћ0}-)^LҼeosrw*~A_ ;U;5~doSBCEΕTd4;W(Kw]}3!ITKF15Zh>2CA?9@6]c&b?@1:idx[{͛J,kϺ5gGm<ԭdӠ|gUy zYi*H;\|#AIk-%:e?CzTєMҖF17.F֡mw,EG&=nS2xj_ޖއmKGZ4$(iKXW@)Px/{}BIg1Mع_7AQ] vss)rfX Dc>*-n~CV`8 =6t*B;'?A%x%#qw0ɦ*;HcIG7Ni6/:W_ylKaǞG$IfQOi7^XM:Q}AtVMRRFgO]*U@=1-sյsҒ Zj_XXC;Q sPv +i҉ S]e-A2Z?Rz8}VID5㲬Q#/kgL,Fs= 7Rk+Z ܂$5)'ʰpfBzmL( D$iGA~:7zyp#1!NOfO\AMGɂ9?>ʹ ~it,6ȧ.!L7Q&fz2XK(xvW*}c6RcY׍._~| GCM wE8 Ui@')v><vx?f`+;Rk!YSgUӅoF2<{>O[\g;XpԲIA]C+d+#7NKGڜޘ}l3D_v_9uh{||uщ29:ʦ6: u^F6t-4g(L7!^s$`1~m:#8UY:)NB=ߣBk Ϻ%,ȯ4LrvJ:0 f g&k2ՆVe!ǖH 8^V)hf:i~^ h68y&14a.<\ A$+ MM?:};;[QY=0qqJJVg<ўD0G| (W ~VFZyNjZl# puQrO̽SWf(`4AKTsF}A]yZetBܗplq8k pzr,lqԕ?K`Ud1&]vs\[Yv\@i/̯9UzȤ|]8?y) @+?[Rև3 m݄@;d(7;,WSQ;VܞHCisz *lQ(xI,|.̆HZ Oһ='ved}/0͉EX DZo籾,v7ݞoXbtbZQd~mIN[7%ṡ-E[L{WQ$5LΈ꣚` ;HJ~/LO1˷*8$+?7$١-sܶlÙNܡ|-EH$=`T'.[L$zk2 9 c>j\7bQ_Sǎ.D|,AX"Nu?Fe6}gKgRK'LMDCJ QGT>ԍ&Q/Yg!_եNn)bq*%$B'Ǻ nR,Rv\N/;il̸T0 kF>3 rV7`I&Cd\D/#q{vm@u7fޛĹ?ΞЇY-H;P V Z 5P_Ŗ6 Coٝ%@ηrH,#rO5w=OzA5?lϜ=݁ 'i]Q2ވi4f:eKY0}!%w '݂}6" :" L*v x>-y^]A҉.\[^O$}KjIpˢaS4kt FHޤPO4d^A#;ȱ ٙ7J]`2{aެ:mB x*S=mcS?dr)a﯐ 0y~ǽ9VWO҇tPzret9} n,XgTꢃG:0cR[ k1I[u׶Č]A Cnwl%h"Z&P32FNZ(4C j&pLڗQü 9sm^!< 2Ǐ9ӵkdFɽqytOj0e&1箯-NQ\vcVCl^ly mqq9Y3d*IJO-!R 6$]Q6\ai+v K%Q.ݡxZIZSE GhT@# \O^]xOb7(iNo6G_>62ь}p 5oMySѣUf!X][BӨ NRTmhzIZeOoe)bߜ? rgg;. Ӛ.@g?x8ϵn7V d&叵g27:M녑lp,DKk$g/Vw(뼏U3 :qX Fݒ0JL+kD5#Y2IҌxNu`v#Fh x(ګZ$ X#[rtghrW_z {p rHJ*ҏ"|Kbh̪Ok~jߎP^V!ۢ; &wl Ь |Q +w e"ʢ4쭔:'b|)Yz/9#_>}<"<&Suܦݱker5Huha ;EDUw9f6QώrF UY.Lqz"yE&w6#j!V:@Z_s*)Fmj TVsV9~aFP) rlR{ PRX+ d0#z{B42va҄1aF5yXz=O|J/ I3eew'J|*o;h8fl2K]m E*t =)q ]it9 HS@̻`_:2]FjUXC^;YR߭qjMw\ou@2;9!k0!氱JF2>.,?!62MtRnkߋ@n8 e>djꮯo|5-RڷM*h̵Ҷ#WF]{34TZW\=?l"I*_=8k- a;īP(E %ձ6Ç)wJ|,ؙOs!yNƣYn+}&2F!+6`#:{c16!wՊ' ~x6*Ȁ5Q|h֖)%#ˊَ\cJ bc.`<8y[JQ:;4~¸{"Y/7Sz݊t6Ao\ElL8C'{q9ˮw ۯxpEonPnR2B]יᱰo&!uLpp t/? 0^5&kQ\w7FKt{Dce67h-UnVylzvg&ׯi$|3^"[c_Ef.ҟ8f?9Hb[4%$k=ŕa!0(s0%H9o 7~@-jfA6<:mK0sضVs|UB2=fR3&4`WQ9Iq=_5sSޞnp{1u[:<[ vi@II}`߅VT9>8 /bq}g޸y~K1- {zOŋjjyn1Wggꆭ71Fc|'GZ?IWMZ%j.@BT㟪%̖]QOg^_>8-Qe\zҽ!KEͥ yϷL $%J rzģx.퉡og,dj2 LprIeL>k#mACGSȞ*rAK~}s…ar#0=;il`kˡ}'K #(Y.JDes^`YQVj>`q5d^u%ZC{BQ6Z—z[7~涷UC&\ג'~ j4aeqMMKԓqʤYq?~Myj0JxXE"\<#l;sfyqJ@1)aM=o^%QwԨ;B@Fb,!vzޛ0_g2VN B@Bg#j S@r '.GXf:bmoB=Y0$C~dԻ5efB$ڊ.!%;GD"&* @ )ƙ62=}x_]81h>xs 5dtq5^΋>?U+Tl7u+={71 ɲ\Yi_-[~NDkeKe) 7!LKVf ݨ+ NA-m=Û<]|E!J=/_Ї⃚ٰuz0&/ӫ8m݅RE^Ģ4,~"Gя+RHl Nh`EqJcq5h-2" XÒXd&5'HL("8iFqx>Aوw즗$Czևa. !4AgFl.SVXA?x_OM )Q26ĹSͰkB/C-aTpr׎=jkB!ʦqK['-ȀY/%%B,,CUo@kVj[FGOṒo\fgEэQGz+URduZ%Pcl57̅fFt2 _Ar@K6e( %c07% b>JIϽ;{Ls wAšץۇO=Xė nTPnGrIҜn V} @Q(nf4jQc%Qg-.c =ï ɤJ˜ֱx1Z PDm v=;%:+F dpiTx1`tp8?8G J1p=PE}0.֦|",h4*K4Ԥon{sWgn>[\Sc]U!AֱQU1ҬY;ġ/ta<N.֩ C-K;?ZA) hH/ YZ> hШ-?֫uS$8;Dwax6ܶ\swsKG/aق\u'+Go6 Uv5,lDuB0& B@6ꕉNIW/u4=t~\bDY WcBE ΅;;X$E^f--  |N1n)!HI槐_Q@][KnI e]H}vWxɔ@kȘΌ!unpSSK0/!wsg#ouƆ5iC*0arp-\D}my e]%k"Yo1.HC-x)mXy+sr`Fx&a"D%Oȍݶk ̩`KpX2(1OGNM\E*IԃgXU͛5Gt`9N2PPW Gk,<Ώou_tT,hȷuIr4Xm$IK%ndmp9Hk>=CpC|]E呗{eG.;i*ɗ@_A,X}Ɠt:|R]YAaq_Rsog3wV3ҩ1u6S[ļtl#zoەV>3TgZG̩u+зl%kB[; ʴ"#Gŧ(q)vϬL&Fzl,0Jb-v lhA/;uMJX dbDw'?#cjj=V{>9D&x?Jzk5KBD×TI``a)b !mp|Mv>H[%uH!Iy@`Z> r<k& ܴhhlVQEIZ4/ɬ<|o&CZ*2$3—.X-B 9:;f4/G7I*gqqY!jA?0^3߸,{4qwÞ2F7|Eʅ/';:!˥PpsPLr,>v?AvZK0.쨜uxXO+uᯍiY5.z ..erwq0tCtZ7A G(#h<HpVMpbm29 śRH@@Ȑ ݵd"t- .{8ļh/v"Kn;oA?yz|J9{lv.8Ssؑi^+m)1/DSTMD(w"[E)rVa:Ga( =GdFQ\-^kDj惧ss@I(͟vׂf@ػL6Q|q.D+͞[F΅:x#Z˂*R̄bǘQkrN3N L,9  + $&b.єkp JZp+}4"qd:Uش3Sej u.;謕p "G8/"ˏPڵiz15Pо2(9=. ~✤X%v(麵n?S`!7( /;M'47Cӟjͧbi] :nBy7}_[Ԉ@? èU{Cd{j>:zQI8h?gB߿6N#{;99X>TCd2尶bfDWd/1Z+Ql(͙}$*Rxb35 abO?+ĆnPF-=͑|,A|譱- 9:GXBPB.x7mHW%tve 5;myqX}l|Mjn {v+A4w(pƊWI!pdww-J,`|V ų*Ł{Z1=%p?qPNYtˆ㍦{QhڱgVX2oE@zq_Lg!! j5ՠaj6&' Gق?+['> mڊ\ ' Xrqn;$fe8/23OՁ\^ 7d&L]Vb/$.t3n_, :71R|xt2jutxyOu+'R"lըْ߶O9Oц`ZO_8ƷQ%Ѫa={)_KCճ:8L ߔcKCcv+UW-b>M˨ O4d!}S|n\x/`rœ3M p=b/L\H gww4H0O{yRf^" n\Mc?j$*d-eo+kH7VvܿxjKV,IEADa^+O䦏Iv60=p٫U-c ПjS?r>;HgS^("`ѸGޔӫXcd>x˷!Yv[SX2:5+kvwn_.Hh "%),dRV$YQ^Ъ198yY #ݳf½%eDvwxI:I \aǦl6FIt#J8Ng_0EuV)B5%S %V_q-'#>}r1XEQs0A$;r=Wx!ASvnhdu-o7>mH %b*Ϛ'}93nmP B{حJce\Yϝ-VE3O'TaE#}7#QeUۻ9P\ wF ó-ȭ%?<וvoA`403xTcoќMIjv08÷  ,Z{m1Pir}LzoMqYӆ#J"$8ZUR]\$# 73ې4^c}ۥ΀SYbi̢ prxIB-Ƃ]Gd%?c垦r$gb˥lV/Nx.WdEϐ@AK[CVatPaOeS=yvLڧ"a+?!cfxTЭ96eP|+L# SK_B/3vRVYa@PP.Tn!>aPm<82v4oPSϊcwj- }h>_`C暍h񵜇_A#d<8bi}nD@vCerd?2G>fltE2pd T5K$14z1";UW3۳74x*@3tq@ _!ٴr61vQ)̎k³~cڠq|f EpWR\/#V~5&JG Y2hx? C2 ȃo%/. XI.M""^{S*D~NJ dȍFjQ/CұbCq@ИF@f)l%n T8>s"B3xN!,M[ ~2J_:|Zzo\8&q"ΞCFJҺ@2U˷%wQ܀'n LD瞰IU[N'j MF|T}gyU3,dj1BAѓPjMx G :^ HS;Dѓ;~mgAL?ΨDݹ-~ݙw ^[x)[>ގ"8 ctlؽH I $uP 7T)uBڥ ȅIVʵֿaW]"8s͋C񽯟($Gí;U[ xlr!&o5yx09  _+O~C"`%>% @fU s>]8H"T.tѡ7L7mflVIVt8䌆Lfl v-:& ǪyeT|ձPzЂP%OYj"SهМA(;ShrWp{<Ò=4E+_}=2 퍬mY2 ?(q6$U _x6$؝yph盆!'2XL8cN|ÈuswWyK !F X]]A^wSiF|Dͦ:8eJ{}̽o$LW`"D \**) YGBPcap_I{]vudB5t?P* {H*sZ-ZEf*{S̫ƣPp{t7T{(NTsܳ@2ߐC9[w{J(uPFKQ?fcNi60z;>bb<{iG+[h$z8w5 ZP!eG*wlĬ_l(Q$;8o=͡`Y@OLrr|m@C!+f61ڋZ]?舛p9X=V|W>t=7}XfTj ;.*W.0ۤZ1=m WJC˃$eM/ s}^pkeP6fAzHM&2hyv>d4^,⺆%8?P׫Y.q"I|>*ىKU(G2¼z1 a>vb5.?c;hjȤji}ȇ9MA}_0TZH~@#U/1zk1t6D$ض<n;T0i;߫dO%WJ0wHϐxH{&E*7 vHnbPo7 R6|8:B?"@*nŨ+pdDH{%LUX\|fC(|z#%qyLDr9^X)ww,^T=)ո}ܔBBp^kj`yˠH KdvvwCih$Q%-խOTY. )¼9<`!ftcJ'J/&`fǽv-xꘙN|qa(i8ռش%:u0tD##Nw\0!6!)Q|I_fa{M.2P%iS[ K̯ Jx ev,&D.'_!Z.@jnmI&zWSi.B[K12wop.e.\-I+PM`i@ 5uGzu`FaH ~;^ DnM3Эe2U$)I C,qۣU*Qa ].ϒ ǐwkqS?u>L!.7 @U:eW( PO5.ӭk_f"f7sn%AI YEFhP\Wgj  ~uj~3I{? ,WhKFG8VvCK;boR Np @ 3&Ie%VMRdPM(f4QHm_, T |]F,Se潳քď3 * |˱! ?`_13鳛<@=lhS^w6|c}A +ICD&y'Pg W_ X#a"G'-d'[kMZi2wKb—x\{Xv["*ϯ R(:[ewQyc\Jp&-xjl0⁳%M}sE8NPNG$'kz(X w'ZM2૤y~n|fT+qҖݝn߰|*lU\R"!Hl`86^ie˯I==2Ћx{2kB;iYӮrO470-kȚ1ϺUy+PŢ/%c#PWZmKYA8btغVπB;TyW\} $PTGA&ĵ CG<zkֶV Fh(ìX*6HE7kRpkI۵;b˥`) &hzoڎ m1m*~) !P>bmP;IşlZnb // $^^t#߀߾ϵ:QI@vzB{ɪENXh+ĩ fݗ+B;ZLTh@$̚6~^>5 Q۳MYC- -k['>A9[tҠENN}" NUE8w_?Y;s~ːe&guC+Eii`d|, +7:$;]~m 8 Fۙs-%;Y\> ~^IlM 2By%oC 慗~AJvHoje tλgh ߉G`} *7^$57WN]y-5si-:bB3n)񉓈/V:ma.s]XҭQ)/PdH7#{2ɒljbW_o `woq8DA 3h8?K 5"$DD44]BpBiA'؄q{X+6C i '9 L(#Aw_L6cgQ E*2CO1Pk\Q>/{@(et]wOFls׿=$Dl0hl#4j2bbEDfϛ>IVE%j _ŁOit~T(5yoCe(r4'(xbTrįt*x<(O˧SΣ!4$D%$JMB_4"DypOLߤB"#~L 湸x"r GALuͺHܶzIv]`@jV6zNRd;x}OGaq6r\\2:$ޟΛ%Jx,*,ʜ s? VZd*q5\z' )UZ<%a)z$z'=zhRllvU`9ʢ@28:_gCݾo#| NAUbۂ >7,+9-^T2EP;ÓD? #!Qc.O'Dg| OoZ6⋘5He_m?gS)(XX-"%ZΓ@oVw`腯jL,fRկ22 ` Tu:ȈPV5*J󅔥aQk^ƅMtPi ~9Ege:E]v ŵL!g*=M3;!%"⫦V] ĆqQ;@(u3hěpD3Ǭua\A/M-ӝo%a(H9獹*p5sC*Y81?\ 3jU(IcD6[F(mYRq=wc<EoMuTJ#'Xi5 d.,]s]u$Incyn5]'NW0duw`ҢB=dpojpBK)Іq덟8Xx3cgq$e̐gPM8΅%Vm`gbR͌.x)žz(jj {nS@GIBg|P ]!#პ3K1y74mDy^wW E>H ;Xם*vQ`f6 ,3٥WwP` ݘL]t; _mvWbtZKitŧZϟxkֽʒ? 2 (:%Ǧ0հb^;NP4$9@qKW޵z"l0?nsZ]*2wi2fj3UBo~1/ 2܁#Jn5v'vҨ?…}%L0a&P!HQ?]˱/*;C6#ykINTERne% ZDɓ ,1\F#6ه]>{:JYW=DםE4C(ǜb*"sR̻?e mNFrPՖFYz50!6r]R>P21 \2E2Slȟ1ZΓ]UG #)аE<p 4 agpa|i@>]yFFt6_jNo[gGrw%jcOPP o@?[t di~Y6{@q2F'33b>)ޤt?cejf/~ 2, p"6 7,2k$#n ɯ 4U5p BH-| a8AɹIA/lKY,LK]s*],S KI⇩ uA%Cpr"ƽ*qMK^wZ=̵I D.5L>uղfQ@(0G1?HPG{<2kC`CQu^z7-Llq e%P&yWvAݘuGp\pelZp78=>#Sn̠ojvЗ 5x?uW4M $pIiԔJΜINOTq29/!q~U ZG5Pʕa U5N`twp-.Ō2X&(za0+O1uR (hTz5o F!pX~U gh,@wyP6jOG՗ΔBHzp~h3P/Nx9½ݹu0=ɊZ(ac`?Foi|Ưo揦gh{Z;m9600̪s'9C}gK ?6 CpI&V'|6\X3z]KeIeݽӹVT JU8^YzJA&8s+}bbR߄hA똸t\tB(#xw))gIу{'|4+sIа^y 뿣]#鸒oNi;w|e2/WRD | y@*:Ж 'w wUr 0P!?и0~oF]݉J1-"zy#,EW$6V5(@B/.奕3 _?+.>s2+v@wZe`k?[<$OC3µh]{­,cĝŭt,'ą@\]/(l!KF~Öi/m6T:j|Y"mpxay(hV&T|C7#(Qk'`|9qm 6jNG':/٘"YNSA-j֠t"nPC ( Zqq%Z\S^ovH^`S(՟;{'AiG\3ًR9:'l]ܮb9eoI3m3uX^fERfVŜ(2 w-ERisF^ņ%yp.V]9} !.G{iJIVga/Ьē!.dX٩莖_XqԲ]Кen\V}=Hk/B{g}| p 9p~N/؅n)EAN^ `F>bP eS(ā^/;Z)fpɫquc] ͗ ̼}NIF;n/*xağ.t6p[_$ T* rc|CA&Dz m;ŕRSd,".F$ Bȡ]@֪p>ߠ>bFc=+zk0npd*b8jWwjݖUfRS,ty + |hĻNM-\݈.@5rVHx1gV&Ku;6B e.&R ez PwaH(>i%MGa,`%| f%0ã=Ģh"Ĕ<Z݌Cc-}ƫy@pF c*14?3E0aiST~I(8.i3dL G`Bs:9u`B-XD{¶),Hِ'7($;;< !Z*9juJeUJn3 &_3iH}N{յLAc[G}aGlPtZXnӹt|N 4 n rdV 8ʞ~u|%dc7Ms[Њ*{J:9IToM|򒹥?c6|b{.<&~J8DŽq BLznʙp<;"@`s~FnnEԱIJL(G50rZ=v[A#CXUFgl  ."IJ8a:!lqx o3H$+L>n}*NUIX;ۿGep܊sֹ|\:HL_{E6JV\u+oC2!੽K 3͗\w7_r,ɬ^\Ȯ8Qɸ+ɀ}j.6jF?>~qm[jQ+^n^>ͳuV|D>8LuMvLu xlJL#67[o]_LJeJXW=ɆiE@[<_X>"