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 1t| ]% HOL-Decision_Procs:threads=6elapsed=243.698cpu=1118.124gc=144.248factor=4.597zXZִF! ,|]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bE􁊪9H2W *Pi"?įZF!hvtZא=DJwku` ٘\ ~CypG* c֢gsuRWIҊ6\!woO]~/W|:Nlې$o2-:UQ@M\b/h8pgx/bOMi|߮/'ELOrDz,绘 #$ڷqG_7˫4E-<]R~3R"Ed;[vzk@ kM<`zt+Oq05o&L|j{fuO:dɂ.ff +9VPn6VcΨ#yc!GO Y]r*]0[m iG*$Òtxq]>ȖG?bis}0)O˧4=9;#mo H& ދ^7W:9Ϧa;di[PpQ8)*yCG^e|ߔX>yn)7ۖJGOmQzP5gH٥8c+ tH֜[V_j[h<:zJj֐9[jvk[m7rp9񅙤(?ѣf5$5/u? l*C G1&aGY, \3e8@BW%^@0e/`/곻4sJ-.=S3(PqmX*!ԇB6 6.1~ "!I~G㞰1O;e|fWu(U? X `"XO%>>7{(+MW}D:E7>Bd 3?z/ldt"'C]È{XMo"Pl_F,\W%W؝ZQYY܎7bG%<`jvAߌMKL2)A4z#q.x;PJF47 J |ǙT?WD+,e]gbmrj,kyu_?[G0 ${Fbl~2"z_/㲞 )`"QM<|*+"e3BC$@zhN&X6Hr-zo盩oI{WQ{# .!Fb{dq)`a})IW:38%9)yE(8>'wEM9<,l%1? "XZgO&rG458\,2u4)om £@:^w\:H(sk|Ց9*gtU p=S\stPU'S"{ᩇUN}% W3?)Qw d}3q`𷍈[k&뵨#Uɴ%0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ S#69 % *yPPhAQ-xRoji]KZ?in\Yarr>6j;zX惓 Qsxpƽ65ymг[cL9xvYKlȨI{yS6xD}]΍ΜMb!fr0׃FQz{pgx!gk\aw*i鸓&L }R*HҨD":ket;kџ*AOɎDܟmB2Qzv@g/67u+"UX]I#Wnv؆:&h͙2uBU r~L6AxL*Bd ąߌMPL$kcFl|7lMy7p°bmJQ昤D8%6<" ߚ~?I j~UETzU,*!yV[x1[:efқ ލĺZϪ=l3Lܻ1?Kzq :v~T'Ÿ d?x~m*X "ĥqA玘@j*8W>hkb%s)FB!ʸN}`>Wܾy sFV:$G2`l-jBÁFͭ*DdR5"e绳uW\Ly=t۬nD9QF:&cXzܙjHe#>2ӷv)FP%GԎDh(JOݝbh؇q<rQcnbhpk(nv:Mj lƉxv9mq@,C2ד~{B:r">^s/T3}Υ$:2}Il$;u >6>_W 2 nB?X 7ox^ tF1 ZuE\C~}wYztOgayrL_p?O_,eFWv|;zwrZ~BG[855薥c }g4)(!¶?O.0,d _?:Fb4 #Kav|x #+XxLXdAc^%oLxv%2tV!Ѧju!'aSh5Lhiϕ!q/d>Se1lK"{s Geb?Ĩ5wA%ܓZyO$}ϔg bwsT]ZY*yhتRh/D eaU/2$ZׄPCdg6R@=M5vMjaߞ\/-o!|[~JÔu bypo/gJu2kv_b;3D "t"uN"fA (0C'uA]ĘiLPMV9_ER*>T>4 荿wtq@h0v(m>Hl4++? $v8c$ɴ&^1B+UD6 d@,?R$. Z˧$|~njױTp%y'?=L:Aϯ8W"1 )=*"ڄj8'4Ys L مDYzD#l%U55Bϣʏ_ YJPH)7Xċ^NU5xHpC_r)x' ۅh(>Ү{|j$ ܌B.\;SWQm~֌:j۞%:ouJEC=#+aܡE?krf[ϵiĩNӖ?ž_*3?٩o)D܂sTκ\0EL퇽 vw3% E?#}@##s,H}Yo=-i7,|'!Fy[#[U2x0phBp21ȕe~'~[ N/-%)BuvB(Y~/G',+=?VG4c19tw<=+O-s%iu\vO1tut5),M̼!]$ O73E8"l@wVGؖţB S$]y"HQ2RK\|)|E|¹=p/,ݧU\c^l9Z`uDS\" =qv}x5}2ZHily6x9Bp9N4yL{&N'A@s[*! ZNŭkG-(>Lsrd8MfU,ʱ+-P3٨Zs 7I ḑ }*Yԯ/S=X\@zZk-#k dlNR'x*lIVHpgKu$rIl"zhtӴխ?İ2S)ijIB{/9*\q*#T$Q@$ȯLjtCYoKOScz[~? .VOz&{?E i_l\tsg\BS}0JxY/_ \]$IƖs@?$aq͙ϨҢf#Sz=WS)kQz z} hU\u:R<~VK"}PktC3gYZ7zXZִF! [1]ŗXiɟ17L? KxlWP8SաM~>fٺdOdm7VҡXAbf!-T=LK1ȡdB /^sb; >h<M9=ƍEEՃ'wBmi=ȹӭQ<;*S69Q=_*U8's)2@yv7/ ~2ڟU"zǚ:@MϾ=G3}=O8zʤafuYQdewrU-TW[8>t\G*X$Z[BITk50gZLGhalP[sЦJS8ddأ'-йlw|46zH0z>J_dѰٶx)$cKÂwwiǓ=֡`DM͍2G n}ϫQuA띱#x$^eĺnI{⋚c9SfG#bZ -AiC߬ĉzzrј9l( YG=M/_(@\TgYZ7zXZִF! P6]ŗXi%G5BYg %?zic7ϫ-m;tп#; OOǴ%d ěrԈu>{M4s8SnTr}ozU5l@~RM-f,O~g/S\S0z?EY\Z iy)Siއ1KX{RծcAb6 {&ò�LdǨH;|[3FZmALB]nr=5ː+P.*8(6?Fc5,s4ZWoi{t%y.oȅ1ݜq[n6qxgX:'= Re@E{Q=\%}.K<&nP]J(ߍlxC/C+&5 /$ZtAZ'KہM2㫚0^'v, ʁ e Mki) 1 27`!5܈vDeCg>bͼfMn{ :['݆L U#y֐_8)z]l\w p4Հ mw-7?u'=Mvyf}}ϸ Ε11ٳ{0vvzps X,tI&6;5TL``!5\R6ԔO>/$Ǚs5J!Nɀ;Z 3_Mnz$cOS̃8#=<&Gv:kNJ θ=a*)JXJmPq'|M'7tжFj4ZJ6VF3 lޙ%6OL]O k Tx(OMj_ǺNGuDnfr'Y,̮ďQO36|8Ϝc@ܨ\~WszccRnh)'"|&e~IBsV$6[ ﳘ'Lq!缜qҵ  7Eqw`ޙgߗ&Y/ѕQy0hMXup7o2Ern0[iE_UBd@`@'ߡщF-<ۍeQ6uG?d l_7H (ڎ)d`E%A`sU^HGd $ST,e}i^,j#*/m5ulU@2wM'_fb:e¤ϥWYB2di ۞(  =c(P kĖ 37@`y_c@Llfn ^jT^Ewb8QnoG>*?7NջCzpfu j{3YTRϖzb~A>`T9&0iFGI}f*ln3=6|ls*T7sU(jdR.]M!ilJ9-.)8#GL}Y0|9Gj&+Y8 &z}B+w$&0vR؉J'zCET/n!J ˚}nOWN!!8TeÅk3ק&UrYK7qM_)`%j>q{Fucp "nvࠋ?vhvҌ_fZoD.#\ji.{_]ώ?Y:iY}2BJ wwYXErbҷ.ƚwz}:X n([] *n~Yݔ<).E*R~ Dx'e15M.L9CXqjGC.1VGE.\[ȍ\St|;4mR&yTZWV %̙tW>4aFE0sxayŰ[ll% [FRi=LFun~aLD޿׿3aK PSX.Vop ,x2[:ry߮_- PYEm淶 Y+ǵOy3che{M4{4 ]uc* 2>nǢo/ x9D (h˒)Q@ǟqCdH凁#E )?Ś|'uoaNZ؟r7M&eߛ*$&~}]M- Ke]z}hgk Q93ȡ#35o#PC:xNg42'G4/ne;(Gs,#bHERx Iw2a\>O  A( In܎ (<եArz A rP핱Ҳ3݉l W{O" f6>cQz4Ϗ')I絆F]M@w`kf@B3gBo /4R9抵SF8 6;3(FR2 !Gaz1@U>4 geMoNm?VD_;{8H4Z'oaS@mԍ ~zh +m:v<6ɷF.A(i~{0#Ju+ q_:Mi44 Q@6&a0HD#Oo Vԕ %ؠSYkK ;C8PC$JӮK5b Ii?jNb??smz,N z.wˋy# >=nŘAI') A5<#_CGb?%dgofFm:buΪ&`MaAb}k|.LʬA@. ')%7lAּ KJVƝ+اa{^U9~(tUmTm z| J cRWu])ʂ/P :Hjb!Mg ?,Hj'Ą&h6;[f>@ 9R-ի>ijg!ԲE˄ %lm7{iϫ%{ KYۂjhbZB ykQv`PIUk5'tm@!I{Rsܑ}ݓ1>K)g0|>FDtxWyxS;+ETT`j.Y>?UۭTD2YN<" Ĵ,جCq}r hzk7~;ÎuD(~pȑN&&+Hf|ѕFqm`@ _䏝hi7JErV/l+/3<*,+2pE (.إO_s2+î'o$8?/n⎮n{"`T)RHЧ0/鴱 AT}eViJ|S8XsU:m`nk?'DyNJi71"~Rz&;Lv}_;geu.E? .\7~yеX%+_y/%32K??jQ~R3+f0[?@~ر(>ݹmUJ>4_뇦g̅f\L0/'+h{!:cّ T[WlvJ&C.bP=ut Y6 TZ9|Rh"?0#Z}ΰr @#["B^l/TW݇:w~Ce_dg⨬̓[mo-{o&TCc1sLN[OwaAo@Y0xǿr}yOF0qq6mP|L۹$-р}?YwԲ`.?xw[;QB16*Bc}cu c\E+zRjP=^ٯgz}H Jlƻ* >NT Ϸ"*䙣pi!T,mC:Zd*-t@^ E/>xE2wm$+?o Fu2ϧ0Gbh<%ciGwK+%Up5Fwt]u,yA0`8+-ya_u\hOح$fE~ehO}CHgxQ ]/!Č5T 9M|~ousz9g* >k`"*j/ m[32~9.`ThObJ) 3xkٲnXmsM7-Pu)[AwQ2@*_.O|hʶaH@dt1a(մ-'kb0]Av@lƉ>AE1/ra!1)ՖC^ fBWIޡc_Ֆ Q'iISY) C@sd3'e Ng+/U{BpZw "ow}҆za-m+緿\Sjit}]1*1sAErR^Į&!64^M/'tirWM`TyW~JjT$;.Ϟ1owe Զ*`z_M$&Jԫ>oL/eA& i|X#c}&èmY:A}e0vN60F"y[zBƱ]FcYD$:@ CEskN|ZIc80L J f͝{  e8NKR|,'dy4 &YI%k n]Wb"[̷i=R'4j럱>laT\tF}9֋k4Y b ۶:ȵ@∺}U2dYQT EI%4]ɩ gN߃%BOWzHuhDzwz}Ցк`&\9xY~O>* &Zl#[s'JH/5Văt-Z]tv0T_p8pl}m6 (Zmg2Jy k`rYHJ KhlƉvV@K^. )jCZ-kpF JT~?Kbjzh,G.&+ Sm(I4!BQ#NOhKI6<"-MF2Lw2u=OhMF]Io8<$N[j֦2PҽW*Z/ ݲbQ=kJx9ƨV%!=76y uǹ3O΃rg8C.Ioe ][N`"K"2 91HӘ-Hz?~䵗kq5ZIi/ rG39B< (Ctp]-?N\י3`($NeV6Y5e=2EԨ9hSȆ!=BكfL>&1^ﻵ~Kֹ;0#VN6U|+.shKk8V0(#yvQs] et#m/N #:K0JEȋ$omy@5lg_'DH2R`T+N(9Vsa";] J7%CF,-%gzv=W!rz}>bYI K2,S^cf#x%T# 樓aףl*/ɑ2 K!]g;Y-NXD P#WFF9j1 !3&4D-(=g4!pW0={ո:8zhi2?^XRڳ0D$_NeDmG13e1˼ىĮmN.3xbi΀٦w彝pҢ;&~2>6"7'vD ؗVi ${ L?'”67'^HwP=+HY01PYfkˆa_ } +:!o}`x+G\GlT̰b|nԟYz(\.hPYk$gsqk1p؋}yܾC ?)r .R9:w[EK;sX uE ;{{C'ܠx>}tI;Yw-)>X[G˷gC=WyE@X̊Oզ%9ZJy >W M/}2a 5fF~Y5+ ^ugm6N= "{ZG:whGuV2"47T$Su}6ZK[ሏ*V!e?$$!Z&X@\)UXEY?Py ħ2[fyGֹfț 7Ol- $qBOV]p5u P*ڟIЩVP< FZ :g( }A7njEq~BQ*)Eˆ׭ǿxjP?Q鄿Re@䌀-:mxeeMFx6j5)ߜL䄻Y hTzPf7P9fԋn'Neq$-dN6 N2_bIt#1{PŨ̵Ue:Y-`֡UdI2ܒun3L-bA/t"!j[ur XXre(qUhcXЬHO˘3^C54U8RxpjCq؉@NoӴ̯f*qM=eq Yۻ{-wyA!)8~ziӸ(S1 &D_];k0;d-}  @Y41U`J$qyn!2^ X[2+3%GZh9=x=ejy.UIie[$QhND#Sr9,F?j밥v?P!}Nj>#BQS*O9, %l>rz<2_qU@abp] VݦCXCrLNb\jǧ7±ꪵ5[ZMJㄔpWEǧڦlUnRSg\QV]%WjkssՍM#C_yA͌iZZ]|ޞRM٩ui 0_N&ڷ!]} 8_#}\ԒVcɈAh+yU8Dq7m>w:qe;뺙y@:ޭC0EN+ D7T]`@Pi'E& asZ׻e bBj52hZ&eRA zcPu 2nq45塏F K*wuPg)&130gh }H v 2!R-r ?[eʖ΁-&mi6:tJ,"jHE]m.x}lEvL=ń:̴ {:+ZN_-C~-3n kg!)LOn(e^F=NVuw(ij~'﬽H[!_=wSH2|xY'`܋"뒇1|Ś!}ήeNgs5z)0ΗLj=[VTa9=hd/ z,s(^i 0z #_vgT%qXvSXpFqRL/tDk ?Ը#˛P !]'P ]0gA|s)VR @f)#iަZ #oXdÇVqT*-cq<k S~R4 #,{0glE==:NiLAyz瑯<^[l7xQ~*'}'/Pѿ۳<[[.K~QRC| ¥`^@Zva }X KV4~XP8)@XNYZD,US4Ub#"L*)ɛZץlTҕγ< cy2sܥѧ9i%8 b[ +BS"#8 :%STxd&+i”8J4s?c H `g;fN?=>ܣܖnס$C{DmjϮthxA~6os@tb'A5$Lb"G=Aߎj3D\~W WS|L~SՇF[?)`m >5NLiP[K)8 䗃T1vA}=79|P|qS:_/9 \4.&41fVN/껎c BuHm͌5Q8h9~,Njgiw-'})9p%>;͹mv>!d SK (yWp(Ś[RN6w6s7{owpWLž{ЅqTr4߫Nq$L10YdgLJ\ ,A2wn.?u٨71uxZ*dXF{5*nP.;D UI.B4ZXe܇uHB^|7•ø>6bֽU& B"2\77q1rj$G^I=vkz-rt¿kl{,ʭS$kS\Ƭ?2ko4` |W }ijOOOW:mP.v]`B aV] aN}n?}PQ{ d1^THLsݴ?h?Z)>bp2iJٷGPA])v%AZQDbm4g[g ]TLa*%O;a(}7 {ETQj0z"܅X"i|HCєlshv%nC<)NKiWuI$ETA12X58dяo@S)iV P4> oǪe䫵k~y)5AZ#&xͣp9˛Yb 6OAХRmR/#+(3*]UU1,2DY$1 D4؎BӞx.G--eۆȯ˷-Hp{|per%T3_` ,pƥ cef17/0^"<R6(Uf9$I*l."Ǜo\, #{uh kݷįJ'm,CzMZm)?4U< 0sr} >l0,aS@2N$gMfb{*6le#@c~?]mFcRB[(s&hw'YNݢ=-İV@CN=D J lGlDSr.ڥ|lY, V73AъcER7*@f <4GY%j+?|g@tdͫU ôB秤jGDcZ 9@#?&0_M9!ZfC;ٹNRWCh: ѮQe*3%a"ϪreH8I͟dՒ{"\dڹ=\8L|ruakē#}-sY%rx-?ai:?~Ԍ=5|^hp;EPْOg%Ħsgkw07Ă}ҭ E>d|:d9܃46fԉM͆3̔L $Tv I?8v3!e5'5AJ4 +o4Rf!,:bXri`MqRt /^4+Ѽ WLږ.rWwf &/yhTUc* G,.+PC*ŋO0 9;"oGjq1}}A$T ({Gx\olO%)fKszZ<Y_8mGmAE=/#)hNyg&.n3y q҈R[1͐}ޤIlCjO5e(UFh;A^d9D%f\2<˴ԬJL"C}uz$}8y : W] X)6! p1J8en _>*,O{bLΔ ö7`Z|2 Tatt Q#y\0:oxJo/.V|!aoXqxθ)ٕ7-}3|0p27IͿ$ ^H#8Eϵ%yur(嘯JWt.XMX@R[溯 : EH/cH):U4hڙ]Kz&5әdN+ ="%lw/ByP0NF&wczWGWf6m_J\īu)ޫdA5}{n hnΕ*F  _'`q(P k:l1U睛c bd궭G0 k"՞33'/?>vx<}K$2BٗHÂ~YGፈ̂(dT:dHSogQ21rʨ"hY*:e.+f=cO&Ӥ~uPU>4-=+pɘif F^a#EV zW MZoFǗ/C >](D?JTgF FC*)$ٿqdp F{GkH8X"EO7Ad-4Q=-Vkr&Kv ;_RSBbj8ԫ;Pm 7uq] Lf i2RD8δH݌7_WY=օT95WKn>ҳ 2 AuRw{FD\O ƥXv`oE|ض2L_qPT CץO{JMp + d0?Re\ib.,Ǫ{h·ص\VS)mdy7܋HZ5uPdy "v1 EJYf\2xDkvO(f$.H$,fe*I`0lt ڇK2z QIE "T8Cm=c /k-y(ܞ2$Rx [#u{U!-x2M\]dv!(?9T,AS`# -t5p r,T-Y VlWJ<?z<5ZTrJ_ 5Vayb6;\$z)u9C5N/ 5~QgfU:|B (?7jLݪ%}G| ń Mw;˱`ӢfΠ8X}Pv ` \ԵW\ަֵ^Sj3DKCu,iK߯F..,bN3*<un-QM8z*_e|b٤Z͸Y& zp'Wi eLQ-]#wI>H`^KޝMoI-TD^ܐoyt ܲXN4r p}\gi]WsgҽLg0@]k;I"H4ȯ.ObL!1B;u$epqxե4Blx-$dM.J/WQ.5Ψ9:ϬC獉[Ӿh#(Q*}KXrۮSot8}O&h…gǖ,];-jq4V5ZP? M3"Z&!G(Ki6H\bi7 nKD&bsO7}E5- &Nk@qbꟵQQg,ZSI8}3 FU]D׍CN  {Xu%u @yrNIt[N Njk ,J!Xcr]Zz奠KZq%m4ubBӳfOA]ӝ)85Y>f`"#BQ9r&@S޽٦#YMjp!ACCBE.E2Afk=Zfu&;AiB!Oh;ύ>8c5T | 4"ͪb k=Kg1Q"ΫnQM-Fڐ\-ZخJ+AD^E6uSK+^AhEC4=sj{ӏuJuwMW,:f0%i7'<.(JR75 9WdײD & Z7sخۡex)-c*JK'H\!1ۢ?-oYA25v[1hSOe6w}^PG GtdyWtѿ~Boeg7F'c&FiR}d3{Py:=<3=m@7X;1ۀRnia@eZP&Qbƚ;%Bˮ(@:Xy@5r"r1`fSm72>USaX 6D捣3Pq_)Տge_PcMM'BH/R>ף2u'_?t~b6w=' PLc.L`- 1( $U7fԞQl>282{p3]Q0q(@L & 3Vs96B l"Q2ը_5ޏTo}͢P7#>WJPUNu]R{"Ԏ5N8VzWAHʡ_K+piMg<+/`Ilz -j.,2jxo p&) N8xc]<4H(Am@X,8S_ij"HϢR1MLbѣR, fZ~u2z=Bqі;~r}P#ljxx8֬[[=86U䱮[ h4ݛ:++vԉ;rNO-8SAQ8);Dw:R7~K?Ifxh@&pvx;[%&:p]E(%cr&`!F@z/9TfBO\1 9CtqjǏdIO)yt/Zm vz*p_9yʋU]۟N A 9oFhjc-dBnqC4H(OR|'kCU‹>"TPPWI\a^)Uh_S)Hf[f/3xTs+Wm@,;c) tCSIxWC3Z뾟43bwoւQV)Y'Wց0VGYyJ߲yԕK )c@;(iW l VЧ8.:3Su5aJQ9~P)hK6讘ks1 <5i3dO'6MӯQ_cF"uSR~:#zJ_GP\2.Éfl+rkN5"$:$@ه]GWGI'C" * YFG(񸄍*icJ,H2w<^f&X!%Yْ"C(Q`oqBF`ρhũW*@IE !3*^0367!MZV^:ԇ 螽vq$/*PZzi:z.4Z5?ga-^d6,m-M'SXg\%Jon{KuȄ')!HOG;k֚8Eu $ƀ#6F z}\!mjdOUxX1% Mf&_8nHDoI%s(9 ba}g9>Y QKK1BrM[ R}e