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 klt| ]S]Slicing:threads=2elapsed=560.896cpu=971.412gc=17.200factor=1.737zXZִF! -]ŗXf1-/6vR[]\|⾑Th_&SXu A(ŖAlbI͆;`jdy@Ή)z ,qVlL:00P*]1.1G+9x?C^A!6'mIFu$;o˿RyV Ca@$#>O݀' ^!oo h3Ǐȹ!HOMP??HM#"ljd*vzln*(%<-`᛿sCťfJaRҕ#;D,`i5BmFtN<EF_2c5IGv]Kq:JT28_&3qLٷTZR͊?f5>(-[QS6 {{1_,Ҩiqyi(?eL*hp4, |iKX%"U_- C|^AB'9˕Q^{20o?&Q@aP<~7V&q2_yWJ-z f_(jhYQlmʻval*]b ǿ 'F%1&C@5}6ͧ3 =Kb nv!q: Z8mh0@cU1\P6uoT|C\/ݡ D/fɀȵlqUHCd1;p>q\"sFBx~c­+Bt[-€}oLy|jgnM5^)M"IwJ%e,4bR&ف^]41H1RVb07]z8t'ip >c##VRQA(c@ηLRKF5(BzHQ 2 sIޢ9b@Yu=OBi|@O?b\=ʟTpS|@,W䷒љ,nI}hS0} RA﮼FV['%%C#~Ʌ&GN0?25 \ kB2ǻƔ.'|f=,/d1XjŁ eITabP!QzD$R*}a5Jz!WܮO 9VVr>(r%>4mM1B{Ov2dRUaTp3 j3lseMp$yVm;\[XFm g#C:ԇc~݉؂hnbh c_I LyOs0 crH+i gZTG_4$35XcKuxv1G嘎Gۺ~ux4x(v!R'DL&APcoCz5%7Q!@ߺ5Y66YC 3r4Zf[H~=L*CROb;t|⢖ǰ谇|m~}ĝ)2te: 2)Ap&t RD#S0TOM'Q7vCѮأśys mm Uzݩ^h4ß);e嫹ZnauvvE\A 12)I4O}cR!+˩|Nԯ6&cG"J\PjK[CN=ϭ -uPkIOY Gvܟ {УB)50EKQsd?M,feX ښ-8./ŸT[t+ScegsIu} b T FJ?'H<;O 0GڿD70 LlEjaq=Dw~%_p! iP% yP W3!,W>GwE$ct5^%mP\Oɻҽܛ A/]k=OdXT b[|@[ p7y$|N(*NC0K*SZ;T뜔e|>];% nr6w+ ,ޡRf%K6rLU5"u]V.wq4Gonyj7|MaB+k4b.Uo3=W-7?uR\+4legV3#f6enad1uYYsz3틙1]{FCkz1:F-KTG z5d>ZQp4[ ݷVAhm/!~*.^MH|HnfE &G'0~4s`WhqZ|ɋ?jM v)!ϸ \ӫ} ~L}X+\a82(9 I_Wb~V0Eu;''E^ّB58"E$/ N_E䖞 ,sV~1n?%>N]$^$$׏   Slicing  {Tob%e?Ӵi 9?)l'g^ AmeF g:ZAqO(ǡ Ri{dwUU #3%h7''Bt(LBY/D&勆H[] |K'0̏7MГ5ٱe-s"tW7џa j<,]c{7fbXo n!=|@IZ^kfCjF#.hEs)%ӑRȅl=9 ViT)˱^yRL* Dy;]b/ }7BC%~Y3eR I' /!~<&OCr#ws_y)bYv+"G0 ieUD8T"Qv/zO8_NBsgŦGNs՚}YbѦ]uCLpD'>)>gfLא{pF+I Oam֊^8CžvW4C}wx1,Q,A>"6;\+/'1ɀ< VM"cG/{Zg FL9Ƕp$kDbZʆŨ|J6b}{?YpIwPcQ:泛h'2|`+vw|t;弓%sDhIR|67xUjV.?wŁ86gN̡HM`n) Tiu( aEu*d`ԛ N>xo.Y|`$O Ig݋sȚ)kZ1L=P-.VjeTä{x+k]I !Rh1K8wUuDC8[ O@xv^%:,5ޡ3&FԚZءQ/ާQ&p*1/)ձk ]#(-Wbd-~< uqi`DY.ɵr0zETAo- @l77!:'uqg=f|T~9J̍El^IDDۍ-m-^~LT$¶K>tv3/Ay' 1%n 9c4%FyҊRC7ݖ#q{&:+MjEdtr1$_ zh-OI$\SED&V}*p^F6XX^,[vVror28SC>4o7rK.m(<űgYZ7zXZִF! s]ŗXiɟ쀸6馀YTg<q*m _'^0T("^ @0O_ǁ(NL ’ :< 2Ϭ.HXZ4~.R&|$ Db;"4 z-LKzQ<?~dyP5\?7 Rq /~ &8G,N0PisGæU7~O<=ʂ("m ek7R@qߨPyZt݁م[2׊3IZ>E! XJQW7 a?!jRh/NefQC~lxOB|(UiR[9+6!(G3[@vQȧH<,% ώ.wt@tf7$pK:|' L6tނ54Ȧ9 L@5>0 ݌h@4-HZi ޟgVf] wV\Bѐ]EQ:yOQXs-k=3V9f]8w}"JN7Ы[z.~yfT3 1luz 3e έcI5*K 8GFJ1 %Rf;U&wX9wJ\Qgc s0H~?Ev6tmgˉ0D'Oݮ 6jc^Q@9&Os\3XB^iE[BKX=hȶ2uob#F`h%z&V[68nx%ӵI6/9mR"LZ2iQKBTUMqVۋ:,&T:%Nɯ a4AdPI9S+K:Y/Eh[S$D&C8HrRm^PI?+cm` :|Wo1(>Fpv|4|&+Tҕ_4M~>$X;ʞ܀~|^-BɱdR@"G [LE%bQm ̾Lˢݩ$2v!}9VDںCARWRtcDYQ)YGX6Ҥ.08u,5;e$i C%:d1)Vݒ-ڷ'w;b G^SN;1@ܵ3Q`"&`&x竭O(ǽ6t n'!|c!?k;ίcՙ1GdtR m1^˘uu> wݖ|R6DfE[Kz .m WCM D>P6U1l{c0 X3$EрE8"W(EOiZ|W1r7ے7}*BekepX.qwa.i5bUj6@{S\{"|tq#r eȒM\ ҡ{`:)8iO0JbGK.*8/FtEL~v?N<mu%2c̶M`Bӳʄ5fAxƌ ˷JLuf ?!sf%%3/`~s+Mdo|b*=~V{J2Z_@C uK!]DXNx*Aʺ7wlz s[TAdn,X@ausYP; Bɂhc7ˣ {? U)*M]{@1BR&6XsvQVl2%~k,/ :0)G8(C:I>rҦlRMSHxJaL*.C6I}4D=L{l[oRaϒ=ZH+ pr.lIгNCc}s s @\2Qr ]rL)XՏY2ռ1nThaI >``+G_oGhQ''B;jQ#cwd< ξHQڜG+S;oxaZ$۷*i o{H`@yl?KmE:c<ۂ}aއw8`?mfG);X;}o XiAEL wG*!56J^|ixN J)ĕ;Fp/B~ҢR{^"~yTׇ]C*ɣr"0b1("IwV&*?"0&b"&u؃Cvi;I-Yn;H&+CQ;V$'>vףIP&a{"u:'ApbfpY[6ӓ*gx]N$W -? kL>g'|ߥl%xm }ҲDqc 8{'[Rf[jtro4_3q{Gs>ڢ>oh{*u>M-v7mE9'-}K!tB:H4@DJҷT[(iƱhl8ۢnsZįAM Br%;FfA捛0Ζh=>YE5L@Fd;XG h9*A aYҝVΩdhOqC{ҶɁ;&O,4ž*QH?x+Qls٢&(v)~:L ~Ux/ 0dJH?r&f@}e#h0-5񌙅 }y_r~:ͅd| Z6m"Q_iT9PS7>Gü?{ι[~:5f@FZ͐dy7\36  K7h[!oԹ7& WCM e0\Tզ j|>iQ+$낢{ou fP(XW+7,辨_9K0m ń+) #(/lES nĹ8]|$ECxЌxSsV#,,hFVz{W8za `UA'Ծ+cclٚTl5/xg%>`- ɛRg*@y: ]2Ov , Z9R42isҕ]yq>X0ŎvЧFWF\A *ZN讠!1YhܙR )QW~'6 l@ ͖˚}-~ M%ˉFf2啧[= Λ^ӨF\Gf^+.ĕ /YٟMrtw,& L7%ɪpӬ,KmI BV$\.sh r8o;ךt'%x2vwݗew3-2i66OfW__L]?k6"5( z4sS X{ 7pQUգ8EIh:@2ȶ &hQ`m])YRr *gVRBɟ2JV7'N y1S75*;J =a [[0ܨBK7;C,Pgqg6ً9ҳʁֶl_ҒŐ#]~B_-&-*[o^[ҽZ7ݻA5)q\+^F9OۺX 0GHzns?w^սB7 lE4>x1w}\B_[N/ۣ#n>և{1Sy*3lo> ܷnP*9Fr !Z?thtI>#qc1r,R.Eir44&7W<35+USiA垨64חS@ ,e6n|fE.dҰyXͶm @ J46}i*ٹ). Ӱ첊ERX9À6)"Ypi5!IibFl&@rFK~Ǒj rLe4+;PdӃI&aNq;1`i"Svv+(JjVzU}݄eĿlXR,61@+=WHghKBz`n\mp~v=PwVM4sB R T؊a{PN9>sqeB? h%t APSSv+1.ALugTQ3QxAȰą)Gj3 t7]%w/[M<ܝd"+w JݩaX0+&ZU:P(ֻl%UL_\WBhPD9_s$cSTCUӅ^WSIt[N3/{i➁ԐEcR|Y `%5&"O *ƚ90mʔ bnd s V-zdK~ p7jz#%:7'}gBN~a8ư ̋PDQtۃ7D.)utZomd}ӎ~Doh1IIS^'kw̏8"&BEⱚθ&OKwʁ>יQw+tB30EWh"{)B݃}M7%D_kDɴO rCWOVu!l&#6Ck!ILjr$,Tzg~)91R)\QQÈT/qy}WGQ x[-ޠyù֒||@>.Q0m =Hm44dS~n\#I9X;zKڏOEh{Kb&9jz.l\;#6C:, 1_$mȪ8iIF6kM]W!z,Y:G hd 0N}EJ^*OwBE{B"GKX #n.rsli{iOj4bϗM58,t+)9}C߲ Lc*akmo~Y+f1ݎ\"-znV-411N3az I (~@%Ox%H%Nk|ӆGWq,Mn 䉞 /\ v9DQj04S¥! ]xgر)Jx!)n03ͫ{Pڰc[a4|*oj\lY K ݛn=.x=VlR?8n宂R RëZ&-i-j^:q(ZXF!ZPb#S*>  )OKL̽]Ϲ醑|;+'N}oရ'LuiB>Mdn˪yR)3A#6 0CG2UisTHt>a IR׹RGƆɘˀt6[360>}yzgo#}Tˮdŏe b|!rRJ/Ԇ4x}vo`! hN( T(pb ըC!(tFpo1Ѵ:3.FE%=^QmU&kؐR'e": 4 rD@1 ̛咜 APM}+'Y&Y}<%%b=d{$خ3fJ[^bU[fv1B/'m-Cn>ou/0m%/M+fU}P6oj(V'ͮp0UYlͨzn:'],VkIw>aa\*d Y{zxJ* 9C$>;:$x?v/^I!&q:;C[cQCk Vʀ{jl)kOL(bs{9f\a:?5RkÚ 耞,dx6]nnK$*= 9Z[&l9M.D5~ysݽhW&@B^fq  e^qUY[ѫjLfMؿzCn>?KH_`̨ogr2'Ab*o8;E Vf4*죲 2J3KHݜ,%i=w%G-c 7."θlaۮѓyŎ@C`)M%*ʌ"!t@ڷ>L g<:0ILyK)Zz>8h]Ť!`y%J3$}xy `{@,JOJ}U¯|rb 8_Yբ|W!~&; D#E"JA4ЯC:BT)b)vBMq{MőU`h_p;~uW0>4epx:/ۺPS8H 0,D-PHƅ}^LR,r`ヰI249@ǃy@jVOaCmQs̎/b(E`ZZtxh6i)Re/݂i",ХEyq|Lqt<ߛ}պCQǧ+Aפgh ~̃O]OY{jrJ91jsJ\&ev!gRߗEuw0UˌSf& Qfε72g@֐f򆳩  OZ-*MeTVb&{X5LӃc;D fy#g`v]1[))LZ-z]ôm(0nFk')jgM`D 'iɨrLNzZ6^C]>9{]50w&%"d2pD4+vl&\VNKʢ:$ Xn^c뵎I"Fc߿Խ=:r8N? nM|]l&m?'껊LgKB?EآAk0]ĠSڠCAg\F_;$Y9z]PyE%:Ƕǹ Rd.s9[y q$\n8n2e \ .@+1?\ ]!uHj dR&cԹ]ZknZo..Άm7P݂l'*"1tqʱ~dxwԉGf'$^\ #B1eCrGNJ6E_(5fP],)pleN t$Z lPSEGʛAʁ7džZʣwK5TTz}SV]f0ԒZDKG3rOh}X$/rԙ-jRAUY9A]{\w?Գ2}&Ȅ啩=u̶pO9-7npؑ7XH2)q,|-iGBqX-oMr.qh|B vA.D/ ̑Dvvu췮ue8~9 %IQ"h*wvHr% īmdl)GؕoZchD nЌI:¶e-ߖ|WY<~n/\*.>xUʳ,G8*5ޗ_4#wEK'qU灳(tIWYm(+ gxwڂ$7q}3ӿ>l$ܒ肿˼Tqs%o<Ӫ_Ac8y($3D_cshtmtƗdc(5$h !,O_WPEڬͿdyjS z ?¨\ "{Y.DSBb;FG# !oKJ-@5dR)8vl^m  }^mkv&`V:O-IN]9І嗅 zSy ήi6xBwDz 8mҋEl9!M ;lP8+ҷUáUf4邗=/|K5{7IriCּGӕn#n㽋x|º^$ ϳs&MGf1#ԩ2?mf-}~Ы7ʊ{O7nL` ZNʱ6 dоK@BHsc.$Үˆ*.U&t@M';hos0<:u3;#:hܙyL۫'7=1~YY55/a'i.S{&(LIJ=X`s2֚Uf}@)@kyxlW,>bjŕ:X+pFD ,l< #t^T799DJ.U7-GCb!֪O4-Db$G6Y:Mw;prᬶBLFYAZ9UhǤ衢G&Ǜ9;x&bx4Ӥs1 "xw(їUBZn#]NQj}$+Ǧ#&fW7zKϢj^ 1B12Io_r~ԿϩO1RUs}]ʕő_,8ac^ВؠJB2񩻧Ub7!6@cdɾݑ:e5dC6]!3hXHkY(j^^Av$d$GFr2D]o1Ă<P;۞9+>*_5"5_\l[_'N~FH;/:Oow^'dAf4v0߇pbDon .E ) ~qaxr.-υGI_aΆ_#KF`0Ņ֯MS` aH П/A ?P@_,l[X0m\mG;rBѪ4Z`/}^DhCT?oƗ%yJ`V'u3Yob-MSRz^P.@`HB Xeqx!Oww―w=n ,x-VO>5&Ff'49g Z+չ/LGnqʝK@Nqda[QGɠP&}#~ş09SSʖJGy";%8M"}͓K& #=fkO3vz[[qZa' IZMW3{ؒ?bdROC^|G x^({ǀ+Y22^4M.t2&'wf+;pm[ [0f+=JO#6_Qc+M[RHP7n_'~d)c8 ¦ӌpXuv^$-m=3LGfY?آ?N̊|VzY[c1W /wQp ~ [V%1Bb)/|Wnt L#?d}Wt ^%qa'DTdco$_s6Q}? fRټ2 (sy=Y&n99;eᶕq% w¾_ʧJ|̔<'"cYT^M{3zA!W]B"vQk@I@nA?8RIP]+P4TS((BdO)&ir,(1{%+S޸w]7 I¼NFX^ZzX+QLXpVsO|^͍3W&Mϲ# u4yLwJ<1uFi`)3zWsW^@`T+y9d8x i\̹W3zjY9*1y ZX ^(KIJd/ _2оZ *QJRJC,4ư Hw!hpD*1pS-P:Uaϩa z,zi~V_,(7v"}q}2qVXk;]JxjN-v>S;Z <佇з~8q,xqiYqC٘S«)TY'3{\K׈Lԛ"%L옔 է۽ޛUppzU8]mZ|/nְ0Iۜ@ LUǚtc,(8IYa,We֝?Qڈ4" hn/JܗөqSnh,QLqG|e$5[0pu@LC':z%O;}ߖpy!̧qui@gc`'uO-j ~(YF x+u؝g0$H.+C^,Ն&+8xzv(?+j#U[ m.&SFI_ֲ&%qv8WJ bW'iFHZDQ&q=gc쓧m/2یς⽒p*KXy7UjBFG8HӛXiy0uk,2o^G_re7#MUQ$,Ծ'z鍖n(gARF_HLv޶[}nӪ eX1iq|QS)Sz=m58u=$}g^s:p6E.}$2o9).}U#gKPP0x |_[P[( 89=@; r{Ai;;@} ٞg7{>2of|DB8 ?vTHgOpAHe`᧖ Ń˯mNv5z^O,}dZL\Qޛ$ oHy^*dDAP{H 0dPs#?k-k;zrl:f9k*O1ۣz:Bv˩=SXO64BwKL_=\k!qfI9]}I"\PX^ONeLDW\ Tȉ==7Bg!:˓ٟXw[̃b2̵8lGAA\e~kg0i9P7}!A@OqK8XN0TVe|D,f~H&C ;L +ՁIrInL{CD ;h7mZ<|DF@E '8"&MReL-ИD|Z'a|zܧU%v)Mmw< 5 2NkxDwx[^-{Km~$Xg,8Ǯ~ܽ*$]bEm9_߃Utz7CZjFN^Ї=\ F34(!fƶ_P >ў- lxւF:UD\VELPLp8878[\j\ C,#&iOYكfVf.V@X;Nk=PS ʈ% !.~e@ֵ|\r\Gf?m_e"d}f׎^\X|oĮ7'; %4aMu a<4]'6/6>E۝z%s> he6hsxe0`\2M2x y"8F͘5X]wx/ H,G3AWJ9ܶgPFԂ?$m~A!7 :4}{G#>XF39n)ZO[[ә I?-q|?>6V(b׀]*>Swۛ]ȭt";#`6J!x wQhع랎[Q̆6I 7v)^Bw%Ь"z K6Ȟ7!$M9o&Q`δ-/ ߗlǥLRzrWxPF.8W^:SbHWtDMR=3_5vCs -BcpB <Zyˆ'>w5R]܊~i#?jՓ~T)+yt t $/D>:%ŷNh&rkϯll )ǣ^G#mMjBm D'3[/<0+e^GKwte x4 i=nꡔa,$/1|Me3j㩴,E(՜blVl܇ 7]nIJga|aEy̠> "N& OLW,M0έGڱ@`r4x Lo*LwS2-"a+%d~r:78Ѵ7/<9? A#x{e={8H! ?djĻ=y=:%DarՏFl$"&уfVbB|>xhNF DR :KE+WVAoɄ0ksQl ^vqaAcN2UX'D!bB47ۍ %~ RIB7r[{F!)͉3b\?g窒_WPyc릮KNi; { gn(%siq9÷;Tr!´, K.Z'\ίkmDJy1\Z}lDorNL-$^4e#l G( ^z>b^?T>K 9?&#mG%֗B7umorTb[" n0jJ{Tq( 5IHSitV~߶p>Mٸ.;9ezFT&;{eµȡ> &4W"LzEY"Ӽ|@ܱ푘@o\οKfPC׾YWw۠R$ YG{zୄCBDtwC 쐱VbペdF̙ Èlp^F|?ĭaNC^]88yq}Z ӕkio|ǃD1g}9"+>i݊M {%dG&\\)J)w XP*o"944!TP'CGbv;wRcϞQGzH-,PuL(KJ .~Dr~qi/( $Ͱ]ַcSRc=R%%[{yZmnZU\'mƅf 7j#,}j=F#o䡬i"ί ȹYg!r\|$+l}ncX&D\t k1[^] |e0Y]m@T tZ:Ba*xPWE"<߅G,1Z˟*QJG&ծP7Ƞ XgY]}, Pmm\Obݺ,&tbPViS'Y$h/SmOK `~)ce`r~Y(JyF%ՈGɴcph9ȎFK@@8ɼJë|Һi"K 8q ӓ dzW/vJ|zL/$;7WH"uג.C+WWLζy{y,b}{%<<2i E%*j!ٴ7|\QH׼{'3}&9DG2  )Cct嶹VIt&t1M)˽>[# U6 Ao%RvkQD9}ˢwy }>1j9ݣ(":|m*ްh.z6wEQ('@J9xȻHA̜7tgowAgpiY+C:Ȧ~˾c+77 ehng|!赲nIY)*/F Xd4:I /KQw⛥H\}!y9("D.xkDcF-Ĥ[ {?/rT oNݛ5YGǣzs8?s[nxPɱ @&rƐt'Oѷvrho-@G'b_.tHi@[w >=VEKZq)SFcN2uƲu ,юd{ϸ(SơX%!.IZ8% C9ht9*YV@#KvlBa/3g\a-ɊrdfSH_ ѧ&OfQU4`hbC;np=mmYca `H0zW+uK0<uҌ>wQK'^;x ? ANdPOet(8=sJIZ(2{`՗4ÿPs=}sv9՚D:!GE&>ZΠ\uYVb& qO-:7XtE*L 2_ks7Jk8`~h<@~ $]нO%*WVl,*ՁsBc {@%+lQe?,'bJd7N%(G#H~$Z "? ilS&P֭3W%cOedkuz~-ʙʦb>!=U^Ϻ-921w;rh  w [}MG6esZ)䂰)Y7Qf(h&mSG+2cY3aw:#@qQ7WmBUP1B̰f\A+$?:NvyPtR M*UyXy-Y={'7&3FZ!DTY }ؔ'O0ԄС00b?,)HVh+d=-JTfsUg6RǓ;ji,` NF}Z-I'߻! JUl"02V"%19",h2ߥ2D2<.}*{ABCl-+藿ӲT!pbrؼP*@x7C*#Фf{)+ 'h+QcxYBuScFd:hlM5Cs%Ș(8IN@ɒaTK'B Qjf~gzL\ދ28)F|*1̇'e%C-.&cVX:dWl~<cx(?$XϐM;a D@ [ބ!^b|tc :#yŁ՚e1&pfȳ|SMO@ όKʘ/ޛ{+,՛5u4T+KٛX**N?f%lMŴ!+"J/:\5O?cvLQ4M5tBoIoτG4y w#{wʾwwE"ldl ֲVҭ.vrT3h)n3zTxҧdo{]½-/lAX)N62#MIU`}IhIG k3DTh@,07{M捫O4; `|6Eb9أb:r"3JadY]3+8,pCRW q0({1ݸr=b)u!ѧu^ȱ: [t7M^3=( 8# ȡ`C -D;VLV\5ZWWG_ӫTieTzS8 iH=u̾yȰ㛲!ۜ}R:ytQ?f TJ/x=Ho3aVm2eAM>/ XQ |j4vo a(-2i29(];d0S6ZVkצcmA\W޹wR-nz)yDU2"y':"1. }}?! V jk{X C$>;=6 XT \݃K톰889Z7nݬ o VthAbl+ "|~RhH_fmK{G fZhSbƔ7YU `_IH$ YUv ̒s^|?;dbzQkXc T:!Ɛ94V8(uθ+=bD2K` ~b 4NӸYEە+U3FyD|ɟvXGi[L-dц4kQo龠AJbٱcFכ }7oPCcBC f}O hZ!@f?1a=-7p|Iy 8\oV/7##POY}@,4ӼIH_zΧ21XP:{0?GM :G-{R0r|H`l5E/vQ!jwGwsn e7Q a4XrW[]ȱC j'4"gLk绶t= fG }dy CW8ұ ZIlo':! &H{KD6X۞|Y2yĶLh5-Ph(vP2~TNayF6GB[YϺ]+aNjUdKg Ȓ%6-;iafJ!@ˆQ&*ʛZ##N3 F9[Aj@k)e#`eyt47<~Ji7F6.˫,sYD @kv&7KM:3;-H"Ń> ?^QUuDј= nC}-zɥr9,_:*w9wk yÙ/m9̫$A20G\$m;V]ߗ:,/ yWU &!u X *γ<4Hω.<2kJ=t= ם  ҚZsA&UMWyy1cM"' )(GhRmW ȣ%FTo/ͳ3oEpj:~"7̟Z2͑woڃ{.^@2m3mU39.3!7f(  KiE!HYwr1G-%ycc|¹A_՘=&ۘ O"8cX;d!+Nϒ~yWD"i%IisܑzOjwHN!γ#|Le&IvνA5QWrt+3ׁ Nc`>xI{5[8T4<8bܝe<%-Y#1(Z 8SKbo۶M30n|m8Qn uC2[\63PSX2Bf'%DWB4]אwܳQq{b 2 1NWlŊ&\3k7^SOh}|YJP~!Jm0k ė8Z._0n F-(~u1nP /&*60I{b Fɜx9c9|rK%i`¡Kp8-0~͹o w,DYlXNhntKZKU7vWpUW m>S0m E.u(7qڝ**[l2i;7 @*DCD#L< M= P85=YޒH5 ^A|+>2SIZlMoJ, F鬣N~S#RE>~ G~d_f{ J]/$W\AP##GeWɡA- &cOS#$ETkK#@MLq;:7|*0̂Tfqȿ>bIscX^oJ6^][U ]8LRWe&WJ6)G% /ghI2 Zh7P:u &-rR?:tgj$W ,ea-)078)ԵF %45若V[4㢔&UX 'Dpj?BzWV?\j-Ubf+(̄#aoS!o|K޺e)[+':zR.(Xzn[x|U7baQ1 M.P _0TT>]Ԧˤ$"9D.3'b^e.P1X" Ut*7녨N v(KW7qA8YjՂu ۇ_^RsP|4H>®PQJh~M dyW6є}n‘u\fUm5ܑ,Qڥ SzM)Av: (#]|ەЂ!8vكk"N'v} )=)$ܥl~dwۢIViRsuNѥ%β&At#oh{4C-ɪt9Է-uNڠfQ7׍GԙX=z;Z{ iE$%+=Sr`9f "kPݞ2 <)sɐn6׸U@ZVh.HL 6!h,G 5zl,"GK VX#`BLDk p[*~ar٦Xɜ#7AŕJR+hxɹP{,Md(C.s/%vXzZ⤊Q +;gYZ72c2264cd4b56c19af9d9bce151025c2abcf34ca767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 02ce395b75ec3ad9cd54a87853dfd6ad3455efe99645cda2bac441eb739fb0aa6d7cee86a78cf0bc