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  O O1| ]% HOL-Decision_Procs:threads=6elapsed=221.314cpu=1074.912gc=125.648factor=4.867zXZִF! :]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓џR1= )k;6Yu\ׇxyiRLw>&!CZ*+V^kէfl5QqEE]jOͰ9F% r@⾉Ru.SB5fNpXxiL;Ĕれ7{E#g̸V< q"%*@?>3$sw; {TjqI%ڎ~i(%COeJQ>]/ ۵Vd^d.k`KT84kDŽddB1@w _і({?S3MjSOJs35`0'kՇ;vƅN#qJ GV]x%Q ŏ:ʗm h47]eq!b!MIx kD]Rׇ9Ì2 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>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 m(4%\+{L¤cտ,`?$|H v"eyAm{qXk)$Hcާ󉢐ٕli ~۱}(׳ HM鋬8}XQh{JTʘZ,;nThk St$AHqzmmdѥ]&mO @a3e5߆G?TSx;>m2+)f(04+G1$!c}_} GA`ZYoSS=&|  Uczzb&:21WJSNUJCr<֖c2#Ov'FNԻsW?}[Ie\"ItJfAml׌6 oOzu3!vb${=xH.Sį)丅9F4(< dַ{s ݄DBAP KJ,.메E7Xew#k{nկu;],.ro NYO^k`aGi` HtR +Lש,g. m.`AtwFUStPԬMcnxnE#*L\4éʕU[):qE;[x]Rʏ ÙnvL2O /JЏA+ )ԯbq,Omy"zpfAyUki, 5 $䍮5,8g>G`?hRI4OkiR2vuqG -TJGy:z&shrJheHv{B)HeʏjI"@#96VnFbɒP FIyQPPE$nWo.[e7"U3xaeujϐR/Ńvt"NBiFFУw+>5kL#kev ^%bָOhFHd]C=!{դha3>T= 5EK8 <޳,|qnL|ŔY>\PH"lt̯[7Y x E#) ǦO-+yR:0s K6c^ ^@]?cU S_ Ce%\eM|T M̙-_bwRnrϑ+}ل[~V>!XdVŽKf긨NyÝ@@KWGCCϼ"ijuJJuH UB4T8wxKLMY  k4¤1"ze,M2=ڤ}PAȗ{wcۜ!ݜ&,&F~B< X= z~[|GbȇEwXaW,fs"{CJ( Ũ>.)$T28@]c`tV;6$h (~LKcwaBu@H39q`ΠLm6칱[ !J_J>q$a@1et8M(Hb)to_0LP.2#21t`^~*a_KE aT`N?x4gm8a{#nlȡkYʒf*B}rJ_slX q9=kEҒD.eD?ID,G"?ĐeN$̂,Q [;uI>HM]mԽ9,mzu([.MAJkvg9rSWXZ msLh"{&~%ޝCQ7髃I _ ; ۵(d_,<SVex]b:/stUFD PjHzp^}M#/\z[#zzl1v.l0Z1Jrb;m<М{!F2镚 rzV *dw3AQ3E ?@V)dP y 4)jS׌(rV!/s ňyl;CGC3e.8O3ʃ(wt0?c{ E $[CDy^)=&꾣UKQxlluٲsQ[م#-\o?U肿⺉ς_mZ Qyt5s;yqOkwûHIX,R¿qyUvU}'!z!}ap7h17D0ZH_͉RÝo+0 .)Eo!@ގNnn 4HGMFi s)V1҈/FG2Laꝺx/ʣW2B_+>04tU칵L孅Яyܵ/. Q>Lj懌v{(.QJ#0ML4gpf\,AJudm ݋;ZIUF΀f26'PԡSuT$_Z*ʍwǿ̈́NtpupK9N} Z640*Ƣݖg[-^d"8Nѳ&^=c%޶!z&a%mZx<, svS>rh_۟R𻥄kiTI*uoFup;Ҵ{+ϥk_{,Y'a8К; 9琎\sԐ5~K(,8LB_53-r蛝1&܂u<苒bW?z579+J /3$Zs"Q1(|m 6{kOIm d > q{%?>hT4jk.f!EYux{SOۨ`bZ( >O0Xt^(+8cubRIRaQ򥻻9&JHl!Nٯ&TXl`\RDoO7-1)rzjf+4A@ z8b Y&BލETTݥgZPZnPdk*d6)Pvj qa\豐Cwjs)6tZ *h$㦉Ia[:'_ZZͨ|)ETtQI "UTL@7ujU[E^aaux_)؁GBg+tBg-j\] R)@F0d8V|C)lI b8+\L2 FD6!UY ~VtY2jkN A֭eW`yh w2ր;d~g: gX͆:c_xI/!j'Ԋ⚄ M (>iIU ^_llf@KUkE!{UvH?2(H)rg;Q۫CW])0p r ь5h⯸Bx"p8|wvNNdiD82;T]}?1DR2QE2Ge*4P![iϵmdRT>\ʾy[f?'{"] n,2V`"G˱Ic[p ߀O%*|;E]k-= )11^Il}ca2H i)iV59M"ba]{7R0[V;=T~-,LH5 JVkKl qk;EK +XDŽ [?!eQD\ 'ZMC1z.Vi:EEtYç?#ٶ5UɗyP_Wq\u%԰]|ߡ} »Xwa_>ධuk3Fr>  <0=.nƁ2c׭p[LeCoڏ2lS6? 8\ó¬%:I)( ө4P۪NmuEs!kb I B$gUB brԍC"\*ܖq*_Nw+XHfz$y9 Cxia˫xC+(1^C0z&s9L9Iuyh< vx8Vh? r<3RG[K˪zcHtPE؎r~-e.Ev5`:{#SQ\+a(P,im6o-~`P>"H>yL.S2;ӢV{cP<`ojߨEN\d<_k4 r[C0|+*![c| ,:{2{TvNl_Ua5iAv Nes=6 WV!@׼IY=(5XƵ Y}ytIkBFDuWɺ`? /jND[ˮކ SDw6߿bGrz|]ۜL iHᙜ3 Y wk8xDj7DYWNSW&jLn s?aӭ\T|'?M_aPᴇPfJkeߘ |N[z?Ss@^SβD&\ʼnw(6ʇ5~Ȯ^|XΤPdg|R%oaj7y*WJq$?u≱Ý EC0qPÏ(Xq]6aRT:xd+ KjMݯ;hef+1 J%tVdB+ _}\1 )W4wOO6Itv.˝*=(IgYZ7zXZִF! \5]ŗXiɟ17L? KxlWP8SաM~>fٺdO^_rss,]Fu9r-rԟ@̔@ %Np5w= I odW!֊LV5[x1TDbYN)Ir߈ TO|W<֘݌Ua~k8 9MϬ簸^XFcҥK"@ZKhެ⨻r& T.}5tD6{` ZrgfWrAaW%-C|:&yOBQL4ѕH7DGir}N8ۊ ;=h% :5f+ ψ9/\ڝX; ){j?SzmS4du8zHByEM> w= gZT"ZG(.1gYZ7zXZִF! ^ F]ŗXi%J K?2O(?px-ݖY-?Ob CAv:<${)]z-M4 DRFfBI|ߡ\MJ:p82/M22iW== \y6dQLЇ"c@Й[I0M4#wxLKu( F u "/yHԍfN\5T'ÛMp"ೋF|[5n0}EbinЅRJРSKV2R*쿷.|z5\xȋ?31y~RQ˽~n`/tP*kh4N3%;=78`ߟ[C@zkQ~l8br3GTИka)R4^(ÍiЎP 4k/3_W*~7Eu63=L}qẕ.QC}Fޗ3IU -}4*o=}kdLu?:#28MqB\f5X' ̘Wm]DF.wNۅpn13c:@p"2t2u)n9RU?,IpI7w4fDJlF㘸M79hdݠp<jtghD4Υ Mc T/v fǚGr ((zgPK캐:! 8pmxmuєWw Rg֚RT 6 /׆@j,Ʌzb_ƍa~+T$0fE+?]2F^T4d=B/rM؍Ŗ*)n;(k%3/ MG*JZ9P.kWd!֫;&AE,f1`y+ ) N)ny 1hO p"]$B@K:{CH@ØitUDynؠZ,t] h}x~<DT2>ɡ8E__v pb".OOR0dlۄz6C)}W-'ըr\eCעY%S䷻,5;/!ܔ Z^ݿ9Drc_fdTD}U{l}/w @X$L d?o):&/?Y "Xy|"!g=chHr&G $oœav#8%\"$ji/td3q2Sf yЭ^r tX7i+m!5r4s\ѩw^`6p8AR7ܟaIi*GQT"B/K2fbs5>cڳbk˜i!yhZkީcW WF[<`q'OYd7n!?g& CW2a(|$v)͌|Ԍ5bX+kIM4~!-.-Jjoڅ+6½:5ID@jNu($D-&gϺ9Vͭe\s{ؑAqM-BBhf @H<~2% Id.@^={XID&Ig®6)?08$DI=|s26j^p$2N@w+EGZLxq` m:!L4{/ cJwz~PF>wS P)W <Ř4(Zz>(i Hۍ&jpoiv駗l5\ʚ^ҌkF7m1 yBH3ka M)":R -5O@#:5Kos ^|k& wJG4oP@[]jhv jCeK'`|{oh-|w8F)XT W&jPFZLʭ-s4Ť5US tپov-[K%>Q7pjyQ EYpM#8klvFM^˫|wҠB'-D?τ>AQ,7}wP(,ZD N"\Ib~lRficf/YX9XY%SK?i DOMFq5 ~8?r}L΅j\6T! p{~VEJ7@q2?hd=~z 'Yj'?xϫT)IjD'ԩJ>z@s 3trCB&HvߖNܙSVxL{[y4ڵM\Mܞo$% [9qjrb9x~^An\q5@" =hɇ//3*j؝UwcW F8 ]::nI<אy .-g"]E; i5,M>:{(M]cq@Ix}Icr]I6+(T9t &8 bu8+-r+\Zň6T j~M=&˟fZNKhWČG*l2kb"Fq745[^b]Z1ȐFŠWszVy<29;+fhhcmk+Ժ2'Tmwq!%ϭ] ia]xa>oPEMԗ8DI' vtkUy>p=ӿsw#M< ڨLIk0-I`&e#Kgx=Bo(Ԯ% A©|?ߒqT[#(]EmkPRzG<M?icrq̸B9MߚϺ5_^ow{@M̧cIAd|L֚zzwPՌ~c.ټÇ~.Pf ]`>{<=/"`݇NcAkp@Lwsn殤PVeGY)"%)jljBlaQRm;)vH%r;WeUuH7ڴ꺂H^eUsKFY."9@!ʹP2bRxci`X kj!|\ S^K&D/]?z vr֖Է #0'I3:Ų< ]Dl ^9(7z@\|O4bG+)ng!N cue#}*7W&<ѷ [E}D9*U#/n@>OUPZ?^2wt2ћD7`qSLT6Q8-|y7#Wkl\x)Qo'IP?c?By xqò$=7jS;gAtm+ B *xZZ|xviHSO]7)"X2?530֬t#5*(r\/-dTe}W9{De$x )R1@ede~OVY,r \bE9oݢf & EmTƚ %!D TҀ H\U/?U$v^7 vn~QhmԮ!E?7ZцF!U{#MÌ)J €V,3 UՅC{ؾ|5dtOX:Cxjx*wnlT\Oew<PhSl@JOu@JkZk{PPqB}@;d!ێ@Dz hkEH[&G] Nҧ}9?ZdWGF;j(<Jc}'#190YXD[в%כxR'ӍSˠe ?Ҹ[k@ '^cQmOڂsҏX˔4n1UnW6pWF$uDL N;? Sr%=Dtg @ 2Y‹T`yv#@ r&ܓғOA, MWQe59]z>#abiWY|54W8䮟gZs%^JQ!"!cB3ΓhTz9N$iHܭB:yȤvW\0ϻŸ=:I4#JzZ Z=-J *v f+ ݀,܌w0?;ǿHQؽ c"܊ &5P9廲TA ">)d:%ĐCX`e̿Q3(r c_aIn%+oѧkL|s=u`("kʜ؟2 -#R+ KY 53%1Fg@~Ҩ=W 98qhnl>T),Ib:[-JlIGm4W%}s}j僄?q%5VVxٖ]SSfVeBծIE1.hjF2w% @fҩ01pTaWZ]a86NskܳLѳtV̩gY R :׌~(qmuG&2E説5xR&?K)NiC4>=)>73 mJ;LpIx4{n%5 ď:vt͇ (4TABLEM+_3:91(pnBw/ǃZ*毅Eo wM2vp5D SĔ4!yYTwO7z}C9jڛKB=&΀ =K;٤X#pq*iDU(8UW߼g`s=tEIJ 1uՑ)LJsrb,wG#cG<(vAMf? .pS||L:AXp 5-KI<#['T= P`۟-[DԏFyyA@տ~9w1$@%߭5ѐ@:lQP“AV'r)"ԯ WUp!DJ"C|y)kg?lU;]X{_Euq3d l <SlBnð`s4ĝ =|Ax;G'kx_ր#cxqC}qY^V2^P8 в˶9Ȑ:M؀8ލ! |w*}[;Ɣ4BA+cQH1 =Qdt-p8@bT+k_֭/z0P8Ptf s?6uc$\6;bZ:rC3<b~!ҥѯ8E䛣?a#} GlX 7Y,ۑ^o S\{zF>+kN_:KHtmW5DR!Ki"U)n t >jg׾=frs~.ߓVRԙN.ZH72kd#H"$* @aׇrlk$hL}~2\eYϣ[h#AjҥJ?O *z RԋO,"}&jҨ Q+<<-{'|!툻A+0=oWn:rR O(a_/vfwgJ72m:IN8ws>xlI1c\ʤÁ@:P&"&ՃՖZ'AT)ڞ޵ĻqiƐ"Rθ':Q)ڄP7h5Mjj^ |ZQ#ă-: N2fl\ 6biX8?))5;@w /[ޣ.* 8 h2)@nw#v#?jסjzwoIYtw~NQ^ONց_Gu][4 3QRڤ8ɔHm3A=c:GRԊ||9`sq$azR-" @$2TD$-jbj5 %Ay},0%oly]ϣ2-Z,Ef}?$手g. 4:Ab˵Ꮹ*xó%z>g'%at;i bp ګ _ehU)kSd&ՁNU/' L`c6!>[*ןCNxEs{gU;5IY z"$Ks ǬɲEG " d G%Aȅ ^8TX5V`Y6opxԢl"фCW9& 4@(Frdd? qCC۾H'fJ )p-(XSv? *9aX>Gt B?%%zUos.F_.6\to&n0tKi þ䬑tg/K Meܧr%jZ$ hЁuiB^^YkBN]㺁iGGЅw\Z PAVdhJuʾGSZ S/~4rqƙO~6s$ox-;i= =={-tϥ6YdxrnK]W y.|%cNlg~Gdo] \F_D+BS5੅P0BcXf~FqTDrgי/W(R8f>%kmyvPH.9@J K؊G)X:{d 1 Kf}GI"m6OLH٥ձ &EmSyh4%[)s urbwIwT84x[=ɛ'V"WzΧ*oۗw)MKj]N F? !'C%0ZTI؋Dsd/|p,""|c^`-k*6 ix2pmYAr];0##c }@7e˚>$sw!g5X˛/:D 3| vS8дʤS{!46fjJ| PhYZ(DSgj -mZF&TD*(O"t-e`AcOfL 3j8nb̘\CKotNqFT]wfj)jh>=~8$IbH8vQՎ$f‹.}< t6.x++pW?ύuaPO四墁I`Tdy*tqÿrR}VCŪrVi?R%|.],5 ®/$ '{3<|`ͳuT)XE'[|57jqQwrg#Th?,ML"/MZ7={L\i cuCȰ[]ʦ<J:moCbH9:O7!bv 4Y2&?YL7 :WEdUe;)u\;2%[4lɿzzwv8Z0G)bY}e<sL*mq\>5'XPv%P`aG>9%^ܣek1}}Nm`c'gI=,6IdRܚEB<9^[ <꫸_9}҄Akg.ec~ hqf5!(KuHU u$;@U揷]W-`]?6(5ꊭ‹um$[|KnR /,aA3 ="eb1|sB\('0DG,$On^%yg8+f 2M=&+|^sDG/l>Oш[Q(F<ЬScp s>7){63"y?}B -ӵ.BWJ˼7a(qvNF#%:*{t ЯC [ ?s3e@svKTm)O ф~Ny~\QrHih YY)+S8kz m[$AjXR@QEdBtV ҄*i?/c=@ځP]m3҂ ͤ8 ɹ؎,>yٌG6c4/Fa2j9O @ `^j:T#QB0Q$ˏ7"Y4Γbo|Em2GPquagtɓ@O뫉6xKdf'F31S` $ yO&4NYW^[g:XǔNo-5RwľTGh(8<,7LR&樉(dfy%. 7ޫg2.% 2?à0ndCb%{xA: dLr\߭ O#[$J'0%#Q8 'U{ew` 4JX15w sWumxZ(vR hj)Ѱ(`j'i .ר);rN0I}yyʬ2?5jˀ.+NTvRjCc. yvuӠ+$L AVoT$] i) VT%]74Ƌ_,yAknpR//[4noDם.x}:ĺ/i@ XtF@k. zO:+]iީd*9۲Ө{V(J=7oeYCԌ5ùS;a C $jlf|Ȧ j8#}& /{%}&Č!OH$ %dBI Dk}*dO Ӊb!}!47H*׏zJ(Ipf7K0;Ifg8 =f:'`<ҭ~Snߗ&:V᎘WH,dyA!SG.O^^ʮ2 l\6rifMNo 0:ŐxLUo0MG EO*pYc d8& 74-xY  -S6]ι ܳ2$.M-1+DN&sKJ1K ` 3j:ΡnF6^I1TI{|zQ Ǚt*z$Nl2>M\Ɇow)xD? m>l8I.ʧ<|N >?Ύs>H<> 4^>;QO0l&V4uj ;qaBEt qfuXOE>+*pʣ+|EAͻh=]lW-/ębt/t/ ^㼝{W2EankZh0jtOK/*A:$ӝ[!OQp-Bm IV-!)hcZƬՋg ӷYzf.:e _G!5JǿŻg`5E!'ӧegΩ\S:;:xT#BrUsQs02QMOsGzCE4f޿I@y9͑t뙣Bt" ueLʦlWH8&prX@D]%09/+h8H9lf Lfch恳ANd%0N;>[Ƚ*ax*-ŹQӓKD:R+][ v]c02Sm;Hǿ1tv;e j>ki2Í `IXՍ q\|9p!הwL0t '/|)CyfA=q_-u}(^%O@8ʨ% ]ץC :]ghat#ED7# wҐOw'}]Y=\; x‘0[%]^a"I$:EjG)ݧ?a"a߃VaXeC|ҟ8YJ7Rs bfm޹Mdo[S!K.¡ (HiP-)S)Q|2Jd4~3gYZ6595833cce384f0cd8fc8cb0429bd74ca4c56e67c2de97967f5bbe0778dca40cd734a9a6aa349fd1 b1e5d8a55545e1f9b2699b64c019a7b1e2e2ee21 2d4043d17a45ce51a751166eb66c0416b64e0e66 ff8abbf0e081fad0f1563e5740c958fd8a62eebf e8e41256b86477f8ec0002c1cdf18be2e929b9fd