SQLite format 3@ .;  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   $tL$ ] Category2:threads=4elapsed=10.867cpu=39.700gc=2.3567zXZִF! kٞ]ŗXiɟH)0%oN҉L[˞bHBj?$w;^$-gsL{][E9w Yy$[Ȓx\p9FK44ub4ꝧIRo8) <R4m3 0 >8NbWpK  0 [o FV͇p?fjD $Uuc+Y:)]_VfYamF6KlϾ7@SiZ2uM oD'i.ss3id3!ʘw@"[a\_H>uCj9q@<ċAc%t\.>/w)DXVBzaAo2hYn௻-;WW w2k)lWd_yrt)`dzi+9'E}8-n%#!^V$;[jx77ut:N bgQ(H*(aAEdW%tABIͪ2o   Category2  +Q\5Ble h+F+GEM f'<'yq `RP|r^Iu"=5JBQL(e;:ޮY3;"0v!B5 R?OrWu:!ӓJ$$@z]yWe)̆DeJ:-흑Ne(y}ՕfcvliuֈLRW:c 4cutWf*≑k7@Q*v= Zd.oREQppob~RK7yt؏N40͏W1W愉K[EU.RfFNAU+JTS_4hy€M2Mt{9z8b7^&Aΐ/Cna߷GdlPm/;mVV؃;FQ#u]kD!90e@%w ss}]ϵ̛ Q$d/̇%`) &n֗kt5Aj|tĻ45Vej_x\^3OJٳ%wGEKj]&ZD=Iϐ-ó7ujn<*UOI )>m8K^NqȱS4mǂ_cf^to.t(@',<{S~C96<~S ;Lw?V=qV/aHT'4Qv[CXQXXu6^zT/^ a]$#ˏ  RHO!URiAj=f:C.&UnXoV7{YEty?!' &L']~s!h{~/QDtT?QLD}|Pl>&6ec; ԁ*#7zL!Ո ˩@c ~ђ莛nfx"-|'\)bP\szDwK3}⸶sNʁ!oj7ܚ }[@Xt| T^yֱGdd5]}Bjv\vQNCB=8 I)d,{Cܹ[h`u-oX@QsUo(I8)4XqncfFۮ(ȾP/rn8*Bd'1w BtNOŊc_< JaNہzBO?jwxeRY*'G1H߃ jiO+SL gL;5:)61 a>|>9H;zC”Ժz|l.l%`/{6\xpdF:sYKhu#Pț…M6`w>{)z 6$D̢,($X,/6^cJkሱR/_6}?={̩7qSmCI+,ފ?h2ḧRu0s[tP#51'lfU>K6vg0^R%w1*k-w= ]qH 3ݹHP}uLQqh 6A]23T8eț-&m^>l^R~?]V$ya钥\E1F- EL$$,YEkT ]C|sj㔍Cl|"Kw@ppe3ҨE(O3IzU ?QQ:F!i! cȘFTi2(Y4Mհk:<@S9v;~\^66Nnڣ}&tv>鲈#2b|Zba1F]9F.gXjfoW.uNZ#ЪdX U`J="3>3"2“*i[$>p3j#|ZjhzO-'3o*SRXG\P(VhX"(Apr ['Gi¨YcM{_@*cCmuc49U4GW@?&'hϚ &>"ɽoϣ*Tc<9ngYPpXP؛c/բ $g H۸K!L6yVY7GAWW]ә#9ъxܸB}TLijFCX_RG*B-Q|>f5doSBh1 e"ю7 c9)q)zn͒@o| _ߎ'3,aҋr0p٥RşY17\q^$H/GM~|>w˓wǼ5~v/Lr?e [OX5%CIc0A71^TU{xWPj T|`qP$8,$#gwjχ/z2RGF$`Eq&ۼUM)8Fãp*סk2zRQsEr%f5NuLO%:"m:Ry@ Sx]SQ`z$/f΢0]$zUͽnFQ bJznD !sXU(U8B6s*c,4Qd꽳8F#w"iuec.58EDJr:H1H@ r`qzYE ٴV4 +xك)uTZqqޒhA PrFM۪Vpɕ%~RO "f~xlc-pRօC00 sg겟ch|nUY!FKE>TH&C@EjC}ut*MWV"X@f}LJ0%8ɜ&.T_rtT]:d~b"-5LwM"y^ڮuA."w ԡ6  a?ӮRͯ&WE_T|2 NMy+$NnW s! 0;wH?Ⱦy9ww^sVS2 +LZېz8H 6y..E[b|#- +V@ދ>\'Rx_g^ó"_>9T5gwiw+^fr m>W9NI -tZ0ygPȽcI佫I):gD%.k~͐A!BdWkDv^zD cXΘHf]ֹ,|)r&z'/މC0UN N 3v|\:`本v T!8 h)Dj&n*!^)0Dr2I"f~iO\8=^6_f~UG𯄞Bȫ kCt_%\/k޽v:xC'2CPp.1xG7s V$,11^䞕#A C(aJg, gc9G٥歲\DϘ^a 7}Vc0z<lu')%= BSny9nNUhrh:HkG@_ڜ&c+QH_rjgUؘӨ͆ wPttF3?X/J`!IJ*r裨rֽnUs/e48%Lu*>Tx㠮ZԽ'FtL0~RJC}Kz&~Z4~r]`*U4v>)S)DAzws?W+[z0(:O_Y2eOǓ>hmm2 I9`NQ:Gި{G d):y vW8fIl5%A %S?JٌiϽHҪju(V-*R}:<[;kĕŸuxm؂Wu7l/X_ s\Q]#}3o@*w/-0BiV|d4$nD&aF@6E,XZ|{*셋˟X  y31k4Y匓C[}|tB`&b+{Lת8FKޮ6 ; ;!.7LdC,gt8:]K*hj*{nM0rZ&@jBsci(/q1Xj^3g8yvl-^RB$.q)/gzbD~ϣ?ރ9x ؇'#"HO GrJU?oY(Y \xNDKqi n/5*k ᲽG:Z*b*5|;%ze׬EܾOW2jZ7*4_Lʁ)QxEi8,k`kJPkTG!4ma|e}_3/ lPO t\ޒ~[b# R樭K @. V]T*6\Lm >4ipt-\0(ȕ!;sZk (rmK@UeW=D Z@THmcWגֲs"Szq_ OV} ҏ6K1oUn;­!p+l$dQk~V2~GJ_ Hsr4 NV^rl`+֊y, ؝#g&HFQ'7x&]epE7@x>H}42ݐ!w.mp;D`]tO<,^3pi!}H]i'?u1#I!gXvBF|GoP$]P\17^wtK[+L1V'MZ=li 6 i߇ʠ~WUx!& 4l+=]ےw2ɍU*A1d|9֧.t~OQiUYR<[4#oFbt!TtflgW$.CɫA4@>zp+*UmJݠkE LgK_/>@>L<"*+;MWqۦ_+0j"-"F؆| &8Vw@v||31 Yb-i* 9^՗ "zy~llI^nb |KCY!Dlm:)=?!k~B!Z"nq d@ eͮs RadTSU'8VMG;zb}SAXx%9iƪ~)#$Ʃ/k iu{%Qq/N7g2@AZdz[8[@|^!/Hgz͛a(Ns!LKnhi })h*nmm x[!¼(H6]GL.Bb-6֟.S|'=lC-_biJv Q"s@nd?ڭ)MȪ0tvu;8'Yv?azXM3xD1?J =o{%"S%w,_֏io?jF;B/ld9?7'`CPURY|Bx"䣀ފ Wl`$\k}KҊ90atd(S$W/~EA4D&2"Xgl]vzFV`)2pe,5O95WM)$MX6_}drΜr/GA▗݋c"ULC/o=Zc%W5X%7( H~? X3E4|Jrѓ0UTWNUGK|ƒ|yI;tZj?{5EkeYy!6jMiv,"y0/Ksj "+"%lƙ.rQF]qY]w%C#wA<Fq+3P}OqVqjCW!24+3Ra< poyZػ1$sܵ1au'WʑPjcMrz$$ Db$'n6N$ξP W= C2yK]G:bd~Y}h.FǺAIYm:5Yۼp*r' ?\mt a#;1½83 ~n5I7lFWI+hȤj}lyuD b4"zޖz' /%uVc`: xwlbRq>+YYI+VsmJp/ጙKp>r=sH JTqv6b-9&S{p72ɹ|b W<}1#Yc;IzXIķor#bkW릓hv$L,.4\Ix/1M+v *\i?UB}nǘѿ #9:+T".\ξr);?>"FٝCuݸz .6WGsl9JIAg2)Tɮ-5\m~S!:Q(0&,;9d` !V)'AE[UWsާlTr ΃q/(u0Ү8"RߟRGP΂;m0yU9S1LJvAG" j\HK'l&,⹵Y cq hnhu1Bo` (eLeNw#["l {^d2DT<-rwpT =sho7xVyj/83O.Яd5 c u.5I0&һGӁ-ֆ_b/ ׄ25%?ɼ e6~"x|Rz1$KEFŘ<9R>#X\OL'nY7)s%Yew%8ϳߛcCZ{rC s`^u#ИIN(!pÁ5 c 03e U `AQ1}##hȵcZ-`*?jK<":U70Qۃ͠%AioB p(XWCf91CcF$P~S̻m- fUȯk"yL7v~eK %󪆾 =>8~E~'# y8*Qqr?F!TYDTZցNM* -bf,QqgjA"մM%uE99Z"|`{jI4"X5`XB!F0βs$Ч{be<|2 D"nsU%Ae,-ğPX Mqq@E' :\#y,8=YԓqgAyK^S홟G'9!9"0 -*C3flsiwuv-qht .[;Dx89a-PIb!+^%vqh| '^:3%&} K(-L_RL#&yvwwNEC9  q`$gdlvB"2fWc9N d[` ,}vmAK@¶UGsf`c,erǠO=6 7>Ơh&{EP2ɜ̭5&Mcˊ׷u2û&@uP̗b7i >= .z&_v5sxL&iY@Pưf6xJLH>~ ɤc3CcН=3AiA-*U?wϙƂC祡Y҃'$j05ͪN\izFA3~`jpEfЗnRM2u0G5>CmE5o2%h: ̴vzr+msfW {QKI.yjXߨƞ Giy\HSE^!<+pQWXl'c?Pۼ?vU ;<0tu'v9ֿ!Cbyfz8gGjGOA|3,V-נ>h- eS5Y3]EV`}SFHMg"R1wɲ\Ry!W%ӕ]Zb.|zCrr uum ߲s 3&=:pyyEjLc"aT Ac/[SDzUS()Xzɸ&(g-vwwK!SPͶ4j ;I)2J!X]ƪ=?S5SBL1$׷C֓uz*G9:* ):v=Y !xz Va,v*`i7( jW )0Bv3Td&TG$PzHAd(k{XK\\MT~YZ>@|Y*6Y .%r1& $UAI݆yEb:ep~,DnƛJZ9ˇ64D &ϴX4LH6T\hH2v;2%TWN8 5 ?CAv9v2?tŸ^)@Bra/1"4W:ʙyKf-r/:g]wQ=o\Bsyܭ1_ss,Fh,uHK]x+A` \PlP}|U)[)!jta^lԧIv aPVCQ Aӯbg;U)IJfc^'e@M?=$":HX]d` 4r!f{&z[ch^pGTK$o0#Gٽ;?hpcޕMDQ$FH`B3QuK;:vF !q9 &V0-zz:>;0""Q6U` ی]D,9 ><@Pdޯʢr:d}^\^=bQsz,)ΘEN.Œr1̀XXaNQjOHW06Hej[{_q  ʧR,(c{irL@7II5䏣֍k^tNlIG4;\Àu1861OGUN(qAҼ#\цLhka8kξ KPT$.E*K!$d!k,Z}6Bysg,ʹڮ'5.m;a`PF Xm}gjo&GCw  F t̓x.h[C+v) Eo*8PeMf]"/ ջy*`nq"6 #V/5Cy5#E xyOcܨ+}!(]o c3:,O'Q̿UyXpgB4 咽m$Vb/$sSۯ L$c]6cepL sg\2 8B ؿr:am29n6ro1GׯSb~eZq4E:.To.UvҭG+ \! idK&'UKsN=ˑa꼃7S掘^`SBMMurG~Ew.tUTg7Z`@ax[͓7ɡ/b*P?\͓𹛈{\G#;6#g J5`<:x]ɧbW90 2 0r\XIs"OHGP!,]Bֽ## -Dyy2d˧H8ЂW};z ٱ+_3>n{J6 lĒX$rzkV9 _yVLJ,cET0Z Vu+l& :$5o/ 3QKƯLp z! kzfA Až޵n _k7rtݖ1d%$od~N1u_|k`μʁl9?e%MFtXUN\Q$6 Dzrnn-sn!+ Tf{_s)+30(%e<3`bvzapN/12tQ6 ]hJ/9j.1KW=J_LUԾ eJ,`4.OeߋV40a F [Qu1-lpx+fUƫdϽ[ַ6s)h.g3V?{ެw+Q ؎36m[stGE 4/!ZtPy:p5=4@"N uNxrAg*|q8<J/4sQ30A]<3JѳmxaDO6zW .>Bn5S,Lޫz$c†ҟ%F !ş7՟g֜u$ h`CR,S SJ' XDڂӂjj!T[`TquAy^t\xT9WdޭIJ]&J)zV2n%x Vؖ{h`.9~V|Tț7}ڍ8e\& o'F9 rHXyd'!s sοM# ,,>HqMup'A} GS|99SPP*OeM; n_T RHrH>7~g3$p}H@"/F_+ý9yA̵8QXG@kE_uݸBT3CΛY$cKֆe_8.~lݲa7 -F6h#w`13f'>pԇ.͂+Ȅ~7;e%,y#RFCMsU,kcYnz |Y|Ry/Wb-@6ׅ%0 `!U3!̓ rQ Ȟw[TųQrP$,aQ-ex ^^[?aMI:vg(cF0PC-dx|qk)P!Qi$G ú㊿gfgrEvw(L9$^vvҵ,Jj>-Wv/#P(y¦f c>u犝"MԵ͊yz!PT y8j .-IvY$(_<UNx0vZr5ld,7W4B qVaD5}jJDNU=;݆8փ|ʼneHљ_1˷U xpA+/c@]Ec]Rf66xNA+moXMj-;o;`V>"3 _J>_)jM17nYOHvTSzSԹ[n?"!1nc[㓞DMM5 VOG 0nd9  HK:md553z߅;e#9 }bn dm` 64]v2K4!K3PG&1q"KFCn5}24@`(]WhJ:$r~2_a]NUan1s ,?RZѸ P+ˁSo;_OlT[ <~|OY8s(pD7s$t0{K5@<;N 7gpjswvq˼\T<;&{Z>[Xe~Wx"9yT6s)EgS%%kK 1eL}krOIߥ;,=~4#ju`w||zFC,F4Fc֡Jw!ڱ?cnAVn7z>zPD|q(Ʀ,>.AR`m VFI)/T'~8 > ۆʂ"=s޿|.l?β/!`։Yg\fN'rmbwl^)dZDeW;E;t$1,i,\*},Wj,Mjo\{J p%& at$7eC &hWق4ږc]k5 TAe@g ?oGk+80DnYh ڝ%l };n`'C=! {յ'.% raX'`r;c4ma3;BwFgDA?BI?£H\ ۦLV;l 1?:QgC6*F=Ov!CIuuFW퐱?|Jz{Cob4Gnj ɮ˚<.0{_MuR5$'Xmau[*o+f hrR&.XzIV p(FV֚947zYR'D̹Jn#?YvZTy"} kA|kbmqE~F\PNYh|?JSeި'}}apo^:m 93]]ڠϿzApZ`5М"sٷp~[ȮèRJ`QfrOmxs//4FY- 1@f ɺ:7L`.X$ QR*mj@AkZ)'4Yt+%W` %&&LG;/SZ_wxMܔYa!` sYwJy.`x7Md & ( D%1A8sV9iPnA j?1D3UVنpF x??D=A%ݣ٦Uȣd]8ﹴjZfҭgOg@PSk^YyKyqRuiI{* 6cʬGHDg\Rµ7ߤ(rJ"uy%1SVS`<¡k|cO3WFBg7`>9L2'nDJx쒑| *͊oěٞ_Y_׫~b~ k"Ǎ&Kkך!+n47f6>[&(Ҹr+/< [vLEx‰; d@mcf܊@}~w !\SUfxLOsau7Nۇ `7.>'4O:d]Ks45Lp`eSʅi[b2p(4ns1<>2mtdN<2nfN A P[_R6{ASgBWGW?Li80AE Bm.Dւ0]!RuƊJ)d Dk_N8\_!-bj03TjLTO; .TuYdS TmhçI7b]Qf;T\ә{@1W5qدP8ſ<=! iw'WjcqB~ĎYLFN{%Z0\),&vv {Yˢ)]G.qz) yҦ AuwS?ƣW%rAb* 9Rۆ]Ɔe5\_]=-*o 'w '!_#+ˬfnrqA^ WGGSh`xP(*T]Y/IӰH`]7kxU6 HsP'֎noTK" >B>@qO&b~YTL'r m==ZA:;@vo6C3Iۦ4i dy*}ګt Y̵Iynäqo0/; __o9(=P+B#5d$V4|X2GT9 9IVC?98Jd^>4&:HC"4=`8q4 129wO;j?3`f6j&B3}ss{RȎxQ#M2LCЖӣ*&Ƌgs_G{/V铈R"f|7^צDȓ !Z6ڶJV.rY%K$.m>{f%Y5/gmshl$ّfKA&+ 8/Y2?+:QJqgPzA UI -z w*F<;Q@-ˤ{Kg7 _J#-AW2;8٬W@ `%hǃFC'#i U0'B4dr~큥P{UWVq [m ުV4mi,C| —ʚj[$w4[u;FJ3jR`){<'"&lS$H\p3[~SnϪl\ ͪ zV*0$jaz3uNf z5kՌć/^U2ۧV8H)z4LC\I(G4FQ ^~d붤(@Kd /׏vY]L+YnݿRx؏ҒuyqϢj)i/^23mو~ mռ/LyvvHGutf6N'7z~&v}7TƆn 6g9RfNQ$uki聜Ci3OoI0Kj_W'>Eř+XrS:Z!`YL_5d M;ãH!}Rc2~ByC=P4ϴwMSӏ?JcGF ԩ )=f|f@He2'Mq,u_6Ҿ%r[ry=2c#EgCjOZ3)ؒҐ݈!]$ZĂ`h6ցl:^5Rl6~GHM֋EAIZ;Jyv6c7x((#ǘ-{@ݢ1л*9aa|mQui}FwG^-/cox8z0) qatĹq 0gM RMw_Ā\rD(įm}"':Ȑ;Mҵd9NQ0>Ɨ!VK5,{Hf 7f]ޕR, X5s#P8n@p˳o74,E \ħj`YP r']>Ѣ~4F> 95pZW27X᠐$c7)gI`t~9$!%\ xgNtU֠kA'6bcܲFW&bǂ _չBYM<2\^ykr1m?ڰ&?/naIvxx ϸ,M-Oſ9lV ld$[1zxU͎{9ͯHakC7!o.O_Qi{DeB_Gt_VAQ!^Jz!pK8ns6M~wKbƽϓG?R]׌z%.9q 8}OL]}Q'vZpD,y@ SYtI[ILI*CSΦDKwIM  p23 亴E9Lclj_k"#QzYF])%(lw8m/wriq|=G䭴GO8gYCEh.WI4-,2YD֍b;;!|8ɫ^|mQOukV:!4Ck vS@cM4DB~q1dⲞѼRm# x˜gHg=g1d5)OnNt,;Ψ22,(%ԅH?EeJ*yP~"'jtGFT*OUW}85rcۿ{" ۱ Vz+~1$m;҂>C'Sh_C+T J]ϩ+)Z3ppj;#A`Le$k hv5zUMmlj:,=]d#_ 0 1O+ir0f[N$+'0pfړPhpN#@ULdRckWow8&>TvLs-ߖB7_ٸd@L9~H=K5/|qIi">GZ̻剅 QSSM=$ּgG^7.1 7`gȞك7(,4b(W(o~IPjczܐ<~4q/>I`A?3g&nDV6/ʿ:nZK"U$PI[ s< dUmvv[81Wv/ь.`/ wSFFd:D;IJܫ5gιeODhSXD_i(kevƊ3 XNrWH8u4*/DceC(<2<˾KBz&(,2uY/j[E)2ʮRbJiqMP旪xu49'}׻wgu 2-^䃆9Y 5$5z 4bkW> % [Ao-w1|LEY>sܠLFn$:Fo<+; {]Bñ"񌏤T[|4 2E* qьV:l r-xӠ#2fo߃} >WV!U'M?>)t?W c/Z 9YpF9wK8E#d =Lg4m|~]|V~I) %G@,)ej/*/a*'vcjJF_XodM{t^ȇ91A [AaԥIl>BqWBi)H|sȝƞe@{Wc?o%K먔A'(n! {e_\m|bGFR|wUFׄZ筣OTӟN-pΫ vXxVH:.;6P;aQGŧ{#H>\XW^|qI(+"))vL;W[Sy¨VHdHW202oc4]8՗P$mMEu]s0y 'ouh%3XXP9^2Pv;}bT}rw׋2{JcJ[´mFfH^~=лna3ŧM k\1L=[!/]dJ8@0$h%uA&%z=C$n?&z{7N?[$X^FJ2im?&i 4GhI'e,ȂRiϘϟ0HZWrbNT6pP(X. ~Hy̾F bbZ>{(d b]^#k7VLOp[Kn!71Jgs$- ڷVks9(.mR32bDJ[ LL-@ 2_ `}%*Qj 9 5QNej$(v9ȧİ$Pg^9.^핁j_ƤqiA0Z XxĔl^䓴1⎜du1"J#`&GR1Uu ?Bܛ|V%$sF <ّK+:fdk\WLx"5LM!:Q{9wة7_|Uk.JjmUD)Ss~¡7ƫ"CZdf8GÑ+;e0Y5ZOO1̹ YjYK0kukqkQ :CZ:+GPUH(0bd Pܛe.<7G*q'E6$JfkojTͪ^:S`i=$\&B:@ǾNq-_ܚa*\g8bAjM",n)Pz#oD(DUv'%%/ ̓n Ecٰ1kV5nGFcguY.U1/ * s"?z#,ݐTvOwPi㥢\mLIxPJ7̯4V19-]4n#gަH,_.X~/=ei H$$vS;hcvTWgf%.=hKdM-zE4ڪ3Vu-ǧ0 #ĄVNr:]eNjTY\m񀆅6?1ߘm5K};dձ-)] _:fW@/Q޺dHϋW딷/_S` R 2ƣW[M{.קA "NZ.kh`vo#f2AaEI㇄W"=)Pya8 wyZ@r G./x|FWJjLU 퐙v{œsw~yPPiH^bnJEZkYEԍr&6fzr\&ǹqߖX5GpL2:#D뵒n"UE볰 x ?pJ@ lk2s;ҌVUnnZKݑ<Լ#vKϻ+G!vqe;:3|~rTf\T3LȅbbKk,:<-*3f_Ql+yY{=@XۻwLm͛IBSbw?EŊЃ1zF%p[.ߗUl9睈=x2s!syϫi.b~d2Wz]/nCR;:Ί;> ,Ŕ1QM<ʺӨ_Vjoqf:!KF7nC1i=nQ%C $q;bjޑ.M= X-{Ͳœfce`ٝaK3QD`T6Zߑ֣:Գ jZyg"*@  YtMbAhx+Itb'P'Γ軦J\xa)٤lZRʻ> KSό%yQ>z>bf_6rzsēnNctOo 9[ٶ9cdR4̔GB?a|,梻l]S|XWgш"k*"h3#V6N-@U%Ү68DVr8,~B;EǧQ9:Ѩ`:ʻW(k2A=߅G W$Bí~;k&n(eqjjREL&\/=<@vdzFlCyLhWt޴)RZzܘQYʗ*> 䇣{To5Rn(jԐ<㙩4k=+* S 1BáyFR`vg'!وy1 _Uoְ]0N]2+vֳ=*3gQHh'*d7 }gi(ݨǾ}*4ۤڸZp=<}ѷ$^>:Pw;-P&Y 2$#kZo+y Mwơ.Ĵգ^ᆆ~(9{ b!\qLQhĺ ֳ֍tOoy8$ld< miOOiQeQ҃I{)Ob"x-}9LJ6F'Ni&X:.3bvb>f >tq# ھ˵i8*׻҂+w:(o?C#swg 2M^"gVGU;uL鎞3׋PW,&㱮U/(+F#POEWFOj\J\Xn.I%|-؊ OȥBbbD<:AhP0치$Zy#Us<+P|sY|F!窀&gB3٨/%-Be2-߻V4p+{v>% =욞 p;nfp}ϪhYiw>ˁmk2{;Nf 2nf |Ơ -fpv9_sqM>02zva#R;ݼ^%6RTvSX'3R3:,k6],پk:Vx|'F11٢]K@|!#>5@Nqrvwf$r`"8^TwqRγ.&M I FGJqZa!9&Q_z섅&oEz:,5Ir(qH+ӟXU:N"&A&VLIrZS[>ʙc9En^ϒly φ2Dr Xxf<. L4k!$G)&.7_вmE]!iEB;㱮i_Á5`.CmqEN:IQid*JI[%N51]pL`SE8GnyK=#!6ؗ#֮è6Z%NDm~Rd4U-=\*ITBr᫜;Pl,U5űg4i?6=Ob\!scc$&j N_]Ǡ*d)2ERQܫh1]FfJ-AU/Tx L[!J|FG7''sgI~k S9 CT{?"!NXšveY78 >NZ&hRWdfWf5d @& d)tՆD69]`yFHn?)Ny.XfnL*ЦJ?TsEp.J<BʁnPh82O&Ҝ-1/(nd^r[ek{}~NY&nƏs"?y~7'(\x@x&5got^#2l-S2c:Kχcu^2WGɩ63syqPH6QYح(%CFn{Քf-ͩ6 !8/yM^u: Q!G'kprIEV( ĝ3'Ln-1lß:T;scآDzdAlY$} lUSNɅ xB [j(lC:~9Cց~Ɍ^|p5DX`].y3" QYhz'˿ad i4e /^u.[U /ƥqJ~(UPK&=mpc&"v^nfsFUW}S0%V~T5Hy^K,J:r[G 'ޜ?hGn&q֠7vDŇQ.153K6~o떞mN&),~c+?opPUZU5tPЖ[` L)!1`J\`&"x"ܸ_ ygO'R Ҭ`ςaUDfm͊ != W< xBybke7o09XLpSE]3eX7o9Ho0|G٨xj ;n04Ir6y"_ YOb9pQUW3/|N0'l&Ҡ'uVh *ƻ֒7_J5[z-'&!% 0I\%_PeD\iU>C<{d[HQv{ IO,B|8 * k߽ަvUK( ~>S*n_<|&OJqڎ*mpxm{@ecIҁ$|UZF(" Y@jz1߫p%_\8J/+grEˋV-TczQ9C_"1-8.WVŞk&,r`gbWxLysmHK\1 G!j _YNP;fe/dlY^tloҰܜ#U?E=:ۜ+Ľ_j͝LeDc`vDQ67S;pE$PCG4T,,|{ P~'1ͫZ{?Gk|F+Bhmp~x"KpgRcLAVlvQhЃyD&.KK1v2{% kRiH:dK 4ǸSr${z W&, 1r?FԠ0qLur@l?w4K eS|7XW-V-RZ "gWbxh0Ury[wɱ$FuRox|C 4-`wG..j|gW%K~VNX13gN@!"LJ4O1SLӫ $ŁX )zSkL7q._N>*&履O6ۓ2,(LT{afkd. )_>09{-OIV? _${wi*37&[|g. dصB% ^|0.fsx>E=;zLoN_zR2DK힔^ |RYM`Uibv)}@tOD_] dtVi *\Uot`Jw[UT8etS k_NmgR,Z1/ Nӷ2u]]%QIDL |2zU,}G &u יI_>O^-rKiP#r@L>݆0}uxuSGulef-$rxmײiQ$ 4τ4/5 r3^1ՏW? Z*X2V!qaAE^9IZt~\:}zqc:ֻ->kȲ^~(taFt4_"&]"-QEޘe8;d\mFhnWDRjs 6g]!7mp]j3 9(:Y { o-R=`VvH*8Kj1OB9wpSD[}pq(ƅpKL2QypK[_I`r?D\%*0~q.Vk|h0/ u椰jf& A}df9E ȏ,.ΫGdg 7-N*=-;Ӣ)j_* g~3J ui}%}'GOٷ`sΔ)ƵUȳhc,_XyXܦ1qT^(fm?\!bŸ?A$S-դbi-K%{!20zM!%AAJ=UTpe˞Vd~:?IMl$7/ҬЀ}umq|WqgdY~4b皼K}5ٴR`cGQyF!6w ٵ 8"xu2懶];zdȘYZ=1RI G˟G4i0kx;?/bZ+#6S Pv裳Bw͑e82Ff6̩V>:xjo,5  :xw+Bo53{& ٔʝ‰7E],7B|kb+uy5fݯ؅W#s~ Ŝ{߅8\MD`wc;f[ J@Te~Phvb&̣vN:%.V BpO@گ׶!\]c 6b  q u6PX&d?ekS"@;+;&bI!uiiP4=؍6M`yۜy2jRm${8>{ '%xf26q* uЀ[B֝<8$j L% wa,%Tng̊ Cy;y ZSL06BOb$ h\vSF%tCkVoku;`?uxſ< NJGDLd:#@X }Ѳ+:@^|ELZk:Y䬭'r=LJ6&$ENڲ|DVxk?ꨲ1IUL o/\%*wTfvfS+ 膛p{ܱi6f `ߚ #nn]-3ASujt 9p / $ygq䞺^yي+MM%9CnpڨmR#~/)ċQ=Oaj k("Q RkxwiPmrj3 uFꎀg bS {"MCy4}HI%D2:ΔbDDO1Ag6橑u/+{o=mOGC`2Ɯ!Y'O`C~x+DLK;Ct3~ʡ-LmGN> 0;l0qIS*vy˂͒j5/÷{InN9X]bdV:G3,GbQFOX4"'y Vݥz3`>DIV[kp}3&m32* v48r>,*DŽ0v{μ}Ш|`ƭCz֜"PgdM>sVV;)nN-JN/LKsRZg}X?L(ֆi:}Oj>Ժh,WK:|w'g=K]Gݏo :߅xfK}׋lx$BOGDm$]~,+M!Y_.9*y:CŹ!c؜- 8k^A':(_c=5Qj66A޲9ԭ>9ѓFF,-mV֪\ߛ<@&<4I{cFZJW pj$'ɀXj}x/^\ OOw?F?f}j*_37 >* fvg "zq՚{Hb1n'%fovƱ64*a$e]M .tIﯜ>kONy'CbbIInZMO9PTGPb1^Wҽ+j>c]_"|3XtD=^Լ*&NVuQlY4ay82 ?û<\>h [i{sѩZ+~Ƥi*ygsgy&=j!F:T4&jB5!g#̌̊Xk+1h&K[ʛV`v'mRx-rlN aΌleP;ئ&wT=uJlKNtu'(i1lrO(uܸW9Q8 s˔H8hJLpm"Ph;eG4}Dpz.HH2vAnKͭNܽC١zT-7C֦/"V=8fhњ;ixRrkG5 vtoYߝQ+{8绹RHC>:(Hd3!Z%؟[׍?.nYzB sA,l=S]|`V`HBk"~[|Ӈ ~5nǯ*v(3b&2Ic+-p+/h+v@N=:N/淒z)_Ml0 %cYX/ T~ =] U^~M8VdP u 8&KځtG_D!i1L+B,DABoNwyA%C@Z`bJiVʻvn@+\xw$11ڂN*XvQ@j_uFlTPFJ D1  '~E[:roCO0{1)_4Yj)*n\5P yrpT|1(Nܑk6nJwvx ,2pw)"rW_zC`9*8f7QG{:vNm?P;`}M{Zƺ3LŌE@e lb6APWOlE{᲏rԖQ[,{#c@S⯚3Ά8Չן8-5A1bBy1"\li|WC k$b=w|N l$U'&hTU4P"3wkڨ}papo)Bfy.Xd=d?jEd )%:/\53rTgj 0y'ȍI͂:}tXNS[4l\c. pG43R wѹЦ#%2|F#M{HU~q:Fa{ҎKjUFo8 T]/(s&Qfa*߱R=88uX(T'OJ/Hw%2huocT/j4'3 4zasVk#j207zRՅ! 'G"%AӦX%-q4X\rS]ꑏ ">ԖʲRR.~z) ۨk>ӌdk;gOŵqkG6ol9.CoNz !NsupbXeA'uՀ٬wM`,~.͸cMt ]lςw0ޗ1T>kZSbfr_O9 `E}ۋ[31[бxizE OgIA)uɱz,,A88I]ξAdz¦gQi 0QSQ /7:K]cAK8 qxn#Y`9G,О7xqψ'KۻW{jw`؟a3\4ݱc#t\%Jsބ lO臥2 e&P,۟>^??ro'u9M2ԚQX7I Ls=Z0NN oܹ4܏sTw(m3ɶp %%?xN+9bhhgј wH!quz֔#l;?@iLYHO~[470 xD*m+NtSYھcq(#h{n[%4ަ*#@F`H4ciJTT^Uf v5qZhI ՙ8Wȫr?g[XM6AM;^5PK/3Zo7i+SSzfHg,ڄ Stp|eUP6qA$ڇ%0 TZx[7- ܦ "56m kk5mC/r٧>/6[Ln4)&eP@Uф(xA ž&z|sY H\)yeア{^VWElbՌe&ͨ1fMTUQG 9qiA݂ƾ""T3DM)++vI,;al7.?*/ iZ.: 7%`D7p T6ՎCb{|[ dyrC7;ݣ DG4}¨$oٿij_PiIHmy^6ȴڱ}k<h ڵ$_2P"psӽ |EѤn hLKqbM܍&hG2'Ȩh2| 3B>Ɛx]Ubh+̀2?!) qTwa?9 ,kk q^OOfRc Hzi !lоJvRWM+`wmRXl;ѱJ^nY5۸,FEGB!{\W;H]: s M)Qh 17]9{R,fMwM tf=jufC(K7sA],xyggI$4eجE2<|C Q< POW ~1q@aX)*1.ءLaPr8Ze zTsĞ%Oq#{VӪy/0ni-!_BߊGm ~EFq^8*w=>\REf6YZkr\}ML r-5ǾcHUL1{u BA3y5$r6-!*Z/8Z F t]}9. bCʪخ/alY} )"tH_RX+vw!l:An*▲OEu^^l_QGmm6צRRx-7J0"SK\:d#/;;}ScT/Wu;JX^zAf6/`MjAbg ]X)'K0pX +!Wf96EdQt068_:#?Rv |dG8(Ҟ?-h_h@}0;Jzx~m*\".̳UGȴgߌmYDå GǬz< -5Z"Nd!4^SK-4(>D~o 153j!"'a2*暘>9DdÇ9ٟو[:DuӄBf5aPK~-"Lv ֞ mPc`_Jx% *Gv[* 1|x$?)>@i@"2kzҡ/m㍓${Tin}\a2+SWn"e@ۆ+,g8b;5]鱦iI8Z;7nL14Ahv&px"е(k 2ba I~*6[')Y{̣,+ISO$ 6TGIDQXWO@sru= BP}6=Xկs$-rj֧(ZD*.+)*AayAÇzƔdI4I<&Ȓ0ZUn]K/nxT Uw" Jo O>l ::S S{_";T|RCц1T&F wo6T 5 wXR Dt_mqwS<9,ul.1Ypyxl5 &.ڛ#,)Qfu6ߐ]ًlJ ZKKJ Ph2Y< ay%uRaBҍ Kf@"[{,0ld6x E;>.& dG8|22Av+NRm11 =kwwER^JwPG=zD {N~ɲ%?*tPOfbQ!ئ$S SFCگy$}\)9 =ǭz!_OR_WitSՊj&[u0źbcCä)xLNތr167w[gZټf;U0G?5,cߓFY4]-r_l^=eF?Q#+9t5@@yA~Ec\״h$OӚi@ !Z%#&ls(K%3W #%DS?iWc2C!oxh/gTHUS3H6vCXw|aƫiw ~ĨgI_ Sߙ| 8e{u9*D3M7L6w3 o^#rcLaP蠹\`;U5AbMDA9 g)u^U(ءḼЋi:w~L7y~`!0MjVYu ervnSn.W`fu}ݭ"zfԑLeLG^LSǁ7[l%GҔ+.#XmWh;L^Z|PF<,k]~E+k}<+،| ¦(6nLAX~daqgW'VsWY6DGO J9f Wa^DCa{HFN ;%; /-cft6sB` 72 SbJ~LG*2hdg4_#vXPpjkӕHVidD|Be& B(lPQ'keFR])ޅ!\ .ə<:o1 #v&-nࢮj6IwQyMm3wzLv LrrUmsZZz&'N7^$WzW tf˙xC?@/ZUYZg5ޥoZE NGeWEg¯szHPv@H י4fvp/o+" 4Ͱ 4Hk^e< VbDc:_ wizP [Xb-5,D~XWjbXZempbI݄I{)k 0nnR]LwYp,VG`94@$]Wd6h.w= XBs5n) {WL3QE_8 -؋9P\!_ku;^$!S)nV\d== 6 }kO]k^BA\AX&<; #V&/0&썖JPh#X$ Mz0m-ĄH#0Wrs\4$R]cY@k>]܉o [\X +ũxdbA>w{~`U\y.(š5>db0%dw СCPb!ܲ0P$BI fʤRI'ѽM/e.I@μ@j0:¾m'np3K3rmTjBGʅ 5:t3aM%t "5O#tnSCsR^M #q;^W\?}0DӻHrvȦ IB6Sa$UPHw4 t2wٲ3"bzIe&H__@z$@Zf~_~Bzg[427d83iIGD)1Bvmh~;+;a2y~}l:.P"Ұ /2C1 um[a6>n*BLVoM}@F&,x}'F UA /50;nUn/+Nlts`Goeyk[0ն_i4`t<BU4Dh)ίws#GL j*ڃtGξq?~W R<EW$39-DXݴ(4(T M+z52Ia*ܫGh3vxo ~ڸZgҨ=QDoEff1jm{ɴ/j#oڤcDx,*x>\_wSXYX[i^WR3 j_UCЭ|Z8_I&sz?Ђ,Ȳh Og6xɆ 0`NgߵrK-K9Z`=Znm`x,{(EϺn“0tEj4a4ퟶ}?brd4םFM hc?Ґ8X\t$9;``94%ʸ) :mPl WdbmG+3z^ `ϭxKj:AT|7R}UQ|!1Dc ֲXߨtsstz@m*U}޳Ԝ?[E 9o1h9VVdk ˰Ơ3Ij]l1 m*ɺ#t٬Ӕh M P!Ԫ; Uo:s7}ǩd<(Kq@Z>V}KmA*p눝ܖ< T'{'9M R\7-;$H*Og>@:]&p"dޣe1T:D6QGe/"XT ; I|&*f),wV-GiǓNo`iMYnÕtc5Uxx^j'˭5ZLORCV9PƼ~_ݡ5'̑I$.e:гS8e uuZL\w?2G_/G22>G܂0ޓH&pkQPB!JneM V^nґC.ƪ*Ҝ:IöXfHT_.o[`s119|jRzR/08=.j&#}n_rJgGQ}1 VY<եZq"9ZR潰o4H9y+9&ԕKbC,y"oR 2g'@oGRV/lY^`%j'JmZۿ(_2SpMH7KR9S ay5ΞeӷBgdA3Jͬ^M=`kiS]1S@%Y*$!Dh/^ WK`i  {=Ui& l~qOlyə.kv 9=_I KR t` bik!dXsfcOyK`}Ƀ*3R|E;'^ [6&Soŵ5hz` ?uxhh@ܧk᝝.Tggy8ǀQ0gճqlW+ʣ&DhDBIȊIpK#ZHGa;ιQQuyʡ,nS2n|Ie L]2NۚsvlK⬓?+ 5L}2P,k6 cN#Lt(+4k|QW`R[&w _&x1WsH]gR>B+xq@IؽF eD>M 1zGjSlnt#X嶁.#n?B! o !\|E/N0@=iqkD*BxY&J T,n7Ba:]AK{E\+%}ÏJڻ!$MaMiԣ8\z\"w(d!Y?Ze#MգTG3"R+y@q#ŋsXW4QA~筵ۥ$MeZ薒tOJ8Ũ`h grakjhŚQw'W:nwka Ĭ6 < {܃7Xp3=Y\Pp|?2j(0DɆ*>|d;eڪEvUe7|n!eʣ +3Ue`磫x1hXeN;)/ys4zqp(o!S Ab fs!Rͩ) mu'c߼f=uYTb* =>߅>+x ﳃ?x F,5U (m+:'݀De{}!GXjd,I>Pm  J?,"eUmF\1C*'j{NלM'LX ]B kdPw> nZ3nϽAvl"0HRv@G$[s*#;Exꢻ]]&!&\M)rgL4kYpax?j)Nڽ׉sQb ,WADwGꝄ^MJ9ċyYbһfAמt@dKuӞ̺ rs2#+),uy#;l;1 lcgϷ쟝`cyWrL@D.uuX !@\XJێaIiqjBh\{!$*ՈT0EpXdՋI<-鋟}} Xv@*Ip6+3͜=uck)&lT*ɴ25 xT]ZwϧҘ#v6l%IyƁ$"JByg6aoڗLp8`SI5j`iÐ:ӝw;׀\5^.'5" 5j FYJN{?F~P^5p,2c\8UtJ2-kFerS-_*ա&W bPdSFRo3sqsq4Ko(睥sm7 /q?h' dW}M1EʨOai _̇ Hl[ 4R))…c¹?q'l6? yׂ9Xi&.!&z FZq@"{L=N+/VU֗VCH^=BWw7RK ;Q ~u L`#(+3AhjsP?(-7'}J__[GPg@ rke=k'y#4V cy?@=ϲ'pA 8xZwcr~Dh1 x?sb[<4pW /ƔpUvI`SUī<Ӯ>#v\|eY'siU x5!dQ3ԓ5=뿫iUYxz VX[(\{OՂX+:H/l.l(_: '7KF|^078gߞ6͖6Zp@( c.8_+͚csZŖ"k/=;}[Y:|޴jܡ̡Sݳxj<5n@Fp3ԁT共|*~2ds:o|)‘mZ6"N8lep0)[58:<<Lyw;Xʮ!^2Fr5[H(7{jcoyB(XK3[w}s QNtX~+Kp=AkYQn) PYz?M4iUzr2С L?,^|2< +]*:we`K/nթEimDrh uq-h;} 궲6AfǹD\l7#O|wyBCFdb1b9g f .|JQiǥˆ!A X)jU1fw53svHk]XOK_\Skw!sUI1BZtH5̱qM)r)aHR;E+.fø {\#ť1t(Eh_NdL1rK}̟t>bNO0'YG[Mr5\S-lG Lxz?}eN:C-~a/mzn}Dڬ_''T3(9T]g8L`r<)vT+ǥMpT1(~i< .BPbO*PM4$jnmK!&_n,)rV 'Z!;+cG2gV!Cj=??p` X;Ņ~~2hÄg[z!o,'Y.6϶Z \!) [AL IXK*QQjL=i|cQ':DćnD̹ψ F^q^)~W%^kk|W-!`*2η? '&3tv.q,r\{8  VKMn E{(o< os"st1GjAG NIL~'kK*Y!Y$ES3_s[eE;Ϧ*vu*_R@V;[9zѼ{oy k.QmjYkc6#-]1 U*hO'Fv%r;WG<۪I&2}/EJ.:\b'Gq@@eʡW#拫t6"ܗvysB" Tuپ90X8u9h#k%rrdcw׌}.-N&c. -GOGr- HM3,Zn$VPn\q3mc+P7|;{NbYdЂˍ:D;O V T_d'!͵gxЏ}woa1|MbEb)ݤOW`ؐngq ⇰p!Ale&To W\ dg6 Ks+ 9gYZ7zXZִF!  ]ŗXiɟ1qnAcP꺣3TAaߊ~MB{C:i)SvpK40)8@(" a)/(9.XN35!' 1$_[K𻲼?ۋXU?[IsʓAłZ~BH͞|KfӪS.geOΥf4ch ` )=LE4r]J t%D$.w_b|'m]Ѱ +ag kIbɗ4S4!#aλlϰ>Uள鱯awl_k\U]2/y~GK:(`*AߝA+Sݫ_ը~쉽r3qt.=&gw!ɇXwZod~kTX\k# u9}|,9 Y2LfvkɦSnf4d%-K2v!&AAd7jشTbQWf Fʱ\$f1?pZᆬom& վQ%=Lk.Uԉ8Ž;Bq3  u33R,uXDeymei b] mi'!YZ/?Z7&M?Uð=3(J(v>3Iw:Wg,x0QM젹c8 YE  uGt;(Capye(IO-ǫ0M2pONRS.i&`RðpbPD=$~tg6G5 i.*i 70)($?S>((#v޻yӄW=g+ױ%U;$yK*搟{̅`T̐!^" C mL µ!cϗBs}*zjRSy0TaLA.axmHX:T2|Fmgkz'ČwFZJLn4Zh@- LM6/͂t-+fP^*9eHoP5 ߷$ Hs|؟@!IvFS!m 4G I9F{>i1#4d5HcTtHT;[o_5+yh0\qoXL% ڍ[Wi) ,cRysj,pNZ%rp1 "ȑ$ba(@sBY2q"$ӑAؘ†4颾L/}RYcVKi ^~iֳdr iN@'D'`_ <|n͟~L,aIy3ЃOe&Zr5ao5Mr \ K(pkH_G_%:  e(n|.L*,?DbQ"qH l_'e !TcA!+>8ήá|vֆ+kBVg#ans-^\͕<֯O!l+% CgYZa207349c7b46e1409b3cf4d73dae9520aa7993ba9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b