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  y1\t ]% HOL-Decision_Procs:threads=6elapsed=220.827cpu=1059.904gc=114.296factor=4.807zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bEQ\MnR #ƛZݦ7dkOi?kB3>uwm0,o`6ҘjBOLbBtY{*;ԝ}@0C?pFƢ~<5R$>!t^. an9 EPxS!۰jO{D$Spoi۴8_m3I+5x^˧MYR>φd7vO:h )F.6+H5Yo(àcИM d!& #VS=-N@f# 84 WzQa}}Iag{Z P^U}!I`]96+Nvޏl̰2-L̛f DC O3fޟ.T7Z2,2SU"") +nBlglM6_Th{!NKN18 ]y/J-xS=1hbiPzz;[ ìo 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 oC(Vر'ZYJy)M2AJF0M'"Y-m,VU~+}R &HGBe}7: "l]fORg_#4& 7Q.~#PkbIH(=b׃"yh۹5܂ .jJCKE/^;b{-r ny \մ  @$EV,y\FXx;7N۴t ~9^1|ϭk5WVP*зB%S]ָxz5}sq Z`g" {t)5Șu*O@M9>GnVZ@z9[eG80)DT[=C7<雐70BS"" .eL- _q 4,. yl.Mk7UlK/oJ*Z53rbasj.jJ_#Nk/|Suvɞᕏ-\#fb سu dYTe)bc?ꔵ k2-0$Y!MPԳGl4$Dߗ75BgOç^0_P4gdEY0R2>KFXԯ4*̦P;Omya%27EU7?sU9]<q>MurTAM$Yʴ][H^:8tL^Z.ֱk,xE~/W%jh(qIeY=Y"lވ0HW9S W$N}4UòF}N9Mo7N]U}A*ߜ͞&laYTuܿ_9" 쪣@RM=XRO6凟ݧ+s3{%ڜX"j+`ܪȁl "68$(|[=`f+Kzةb_VY_\6,H Ɔ'هUP5-| HRpLNPZ*lw~ؕe/̍*K!{:Ko_SY(YMإ gB.N&/go@0̠ѹm#Ʌ~ V75Ѳjɐ Vl7 _} b/9G{ ,c- Á} 8tGfJFz~N?CE]=8Ɲgb}PP-V΄ ѢWfэpjEI-' ً)!+_E ]{-w%_ô)"ؒR `,~w28M PZ[&{5 <mEY7zv1 VoޘL K >hoEtyHCVdL6nG2fM쎅Kgή 1S0w:2Q-ihO40ro vF Xz G|Vnĸ\:xWQן@KH$Z`ǽЛs,삵]*O~rtk# ( 5Yx2 :}j/'_׈?rm(V0I#A ǐK"X/ :]%R74 ]ϭ ?Me3`0kqdox8G @b[x='SXNJHĝ>0&A>FLi/i"NR,MRK,n:k )58y\pU%R%~޵ίd6qZ12`/}m)3(!\wN+稢ya P$̾R Y0g mk2k/(p3ز4 Lf"?~݌ ,`{ZTn@/~q۟y9gW*<<(#C;X(2ٌe9 ɻDS8>_0C3ynmâ'R^_I>:$C109a'7.nWk]ڽ3a4bzM`o\X,X~֠If6?)ԃ«6R e5"m9p? [̋2ǹFj́.QE,ɧaxy$e,9<\l 6*nCtz71 Sq5Ҋe1?weP記(_̈KmJ8l:mʬOMc)LOl,b+ϫdLR5<گ$pE[] M .9i3={EX8h˴fٺd: e5|=-[T5i6*Kk73^]?Jd.wRJ nKK?' +}f`P_CNS`2X+ klw8PoZQ[GP;28C,4i7  sD'_Z1ZP氣O^ByDn!Dլ(0C%l$3َepLgA:d,ˢ?ﳖ+yhՁr9zM)gH+nD:W[%Hf Ba)4P7\@ī޴p8io/qԎRrYx"͍{*Ee|DŽ&<("x8=A+^E0x%T{{)†p0ofJ1Xɤ˨ )|_8>Ը)r%v 6ZSŸ<`Jy̡<0?7~O|"KgYZ7zXZִF! [F]ŗXi%Ir#l7]T_ڞr )˖00x D`UzX7m|xd>Sɧ9 8*#->FWXn^O$ʗt7Uк^{`tشmtO0 7+%%ʱ˼#f1PBpa{;gIŏTK?/8 U)@Åݯ OIZ>F2Hð2YvϥkF)q#,XI]cpd9,6Xŵ#2VďF ۇ62;!3!4 #:)}:O |DKVEt pc٤otzaw3hEDMnkt&Sѧ] 8Hȁz"6ʅZ_Ǩ?ѣ/1 bP/mn82beYV|Sp@:=u^Hn?b1e*x)&u RM.wP[Q*%}% .V 1Q!L3+.evքoNWnO.?uۚnP /G-Q:N9!PX$'v8oIʳg{Ȓ}m&YL5\3%W@Xpzx dp! ʃ1_r[܏pc z%=aj.v|2>_(b=[U0?̬@M98vw!,ixhV?t?Xv=7Jr \Sh.+4ʄdxaOF 6Y n z]('{%*Qfr\p QlAۈT5f7cB_ Z%O(W__d$[5xl\4s*#cޕ(*%% **u5h%UuP^/01][$ҳ0#Tz㞫C!<iVNi /n Ph?Oc֚6;$[ N,&U4ƀG2$tfW.-fV `25C]96Z` B2Rd-OL!N aX Q&Vk*C ~_t tN;25VuKCh,q[!Xҿ̄E2sUDM'SB=RDw]F:ce?뜘EZCyB-DCZK!hKhWNW-g1[ ]?bIK5Xd\l qYVs6y@-AnY_TC#l/'I,c%7=!@g2\(5|!;n$5tklΒAYA)9rآ%%QwtENzw8fϤtr6:JkqHsl _UT)[ebx8`Eս2}B,o ‚Fnm8Lftnr} XodD hަ,cRAkvZN+c4^:Iߵ?AEg~{ ,֓W>|KV֤`1.Cϐf}=$5؂=Vp o-~ZI~:7.YqZ qK•cWvGY! Ph ) T.ᇐ@,^<_DJ>' %<&JS[n,z+vRO'U8ƥ[哦C:wq vkp\S(lwIə6|aQ|7ĺŃ?l [>8^I^JR \ h_ѓCt%25q IU\o1VGٻŵmB+YevA/aچcǝ+RUU멛Z%#|v+ƲF%9,~,e ҕyu5 [,ffBPOC)"^V󜾏~W;J>&SW?D'<{Z>o]{.yqr]nV`W&ތxM ՞&Wzq+jS~(۳/' >z@KɜPo ^>9o`_ͱ+z 9P:jhq'1g?}%XA1Y,`7{?8Pxh .C2O95"9:vYTJJ!ܽcԳ"gYO,qCf;,^ޙ1"bÄ~*|S'SfkX8>ӟ±HHOZmzDFz#c=(ppbg &Et&걓k!j*( a>:`an5n 0=XURo>wqT- D:7{!B}}R!`Xz \ 9o0%HAܠWnoO>x0B3C8-4zDb:0 6itA :$qӉ:k 7z[o hPF7BqX0EݩtFwmIw/7K.+sJq5"^$CsNLsT/Q[; hwi$LIbC@b2 %VJ~wS#VDg-ĬHoin3Ri#EW8c,^S mGYRT(bHY|c!_Z0bgUhS9`[}*Da\cb=:WS{I ҵ9^wu'6Ur} ӚGT-rNv3zK}F#\,4Ӹ8^]{AP0gy]ɥM@SY`;0vi )xŝ!Ȩ ?)w'˹!. !w4zC/1"άZ >؇r/` JQ?)GH^&_ #HjK-GI<\AEP44E!2)sz&u$w{KMa_R R0UPZ(EvO`"' ijO4.Ah}9\;z?[S Һ`r LOhِkY4K~{} e# UsmwƬ a}*z92edpbyXDv9{^ύmbkU 3GxG̕Xz !QkSŔ3BR(ʁ2s"Lt6kn0Cd|pykon@t*(^9zdw (HwfcH?)"_ȗA1cʻf.'Lx-N敼/Y9A;nȪ?q:O{pH6&"1CGaF_'eH EഐWE4Xpmo[ 7}ђsZܓ-ִy_] ,ǮNꃥM [%:'9[2 nuc}cɈnh}R8[o/wrlnvFmdS{X#F=ysk(rxKKFw%Hs;hsH#mW׌. 4$G'3F{0W8*۰3$`xU}^9'i7BiP"ѻ erPQ1烛K1T?8U}"Z4]l*ړ DȥLs6oS 5 LHuL@\7FxvZ 'b #oxN7ZS.ך :dž үA!9u83%nli vsVsQ4^:,8Jft(hA0`jړSPNv :탌mA%ި#B^-pMӍ,ým(+P92G][5ʖzU,86T\x̑vq.j0z`Q%5<#}3*3 wqǾUԫ\ z 6~_]g4sDr!NS~tqg>ɚo tjR.jU>hznc-r&HH$ЂF$d0F{#Fcl &QRy SUxfOA=MRihu&Iz;ۤ>;KXH^j,)*|rw೤IAֳ_~(kAJ,V[vZY'7/m2%ٖ1<^'qV$7]ts8*ð_TYoP\24hJ^;qqXn B#5Rmd"hT-]HWgCQip+4uqG |7L4F2LR ٰP h8gC/d\#wPڳͰ2|4 K SL#EKw$=Z>x~v!ąz¿aac%&@drĽSK&-ɾdIȔŇ̥ޥPz00LV2T"}kDi#Y7<. @G3"Efn;/@%dPYɕJ6⚷הLݰV\g="+ Ao~tEh6"ți]zU h]`9 (0 nI #.XVwD}f}x M?7Zj1(kB]cO l~]|㮂G?`y 4#krD> _ 4b2 h|w Vu ,% 8þŤﱋP6Ð~W[`FCK]ŎPSHRtu>ZT_#0xaR|˴d0q%t+ѼkfVvŊ!_hAy07J}ĺ(4K}$7i}%pq`itKm %@u Sy 4hڎUJ%kZUE@pqMJMm=iHcpoSF̿W<bvBeٜ5B2fi{*l6l}> tW޷8N Jv}YwRr U.ҵr$يiZJǵ̡4DHdTIX86kpUΆ"G;m@D-y4²)WpF/vm@5sAMʈv6+@j8cE8~ wݸǔT$mҹ!VZ+K_AX0Y6ގD8\e0Adx3I] fnh{w{bբDT0ןL 쇙̼c2Tc9^x[BhK ƒoo@~u A^ͺ:1qRva?1P*RQ0ƶA˻kJeIdRt)t;.7q֣H zl?czWfoVH].淺N,yy$$y@5saCՉAU[0u4]3 <]TP0Y,=TߛvljW9e,CF;Rځ Ncxb &iި!2>ց4ZaK>0u{-1ZA׹b R=$50Kq3~hFODrV!2ѿjZqźյ)m'qq:Vۦkͮ &l^7 dxk5TB4瞿t]:%=1Tyǚk/>q0b^f+uˀTj٪˔N+̐'ч8j6>8"OxDžq6Q0k (p9|x2tbv U2/0`*-!G螥zhr?A$@3)vKm`o;|leG,A6Št&A8џV*F~_jƜƝ-Q %D[Dkd3v6 ׷.qT6yD!%,>'&uvwt\n})LW*x(cժ>LxcH ,Bmj1ֱеTOgeڕ3g'c]u-!=f}fz+l&AC\0)p `?D'ІI=, 9b7@Z9Dz7r!)mWJKm?57w_\XCݗl48u Fpl (CO6+-g ɭNt:,\m 5-J)A܀94's>gO ]tmPya0- ?-H:f?_/`atV޲d'x=M}tFIڡãıﭡx=lPHNY'x7HcM/>1Qל 8 &.6D54eu=oa3©A ܊F Vm&SVjnx7'/"]h)F+ݮ" B[Ž㥙fZ#~ 6җ fyЗBNLaJ2,MƖ, okT,O7XweCŹ9_-- Կ{K${ũB S:]Ef`5zR1)o0K w-ZoX fJ!(cǛÚo:T2_zv߬&\QGxuUyoVDPT~ϼ؊*Qx}<h|KH@%Y4n3N!>?+P;-JWįŞD)ڤ1e0•:e sW J5OU>f?/T{e0+J50t'[>N|LNUJ4׋uN\7Rz &<^Zb ȂYg3` BǏv0(%1U6݈kRq0bow08Fs5ngɤe ?HXW'#TuszEOKDyH[|CwH5`VeXwi.Ӕ<&I?yXj%PIe"3a] } ..M[+C'XvߺC/}toM+@Z7#iN0`]|oQ('A^T}&e";L"2?0P7wŽiA2WP3H8s6S*_Jos?$;tw< /y3Rxr{)hlop;!*/L8l{(ӇrXAq1& (bczebiyؚPoȠ% J-Essbp Ď?Y(ύEiL*\XlvW&e;0r> Œ̒cUwagͬ4 ֣(ja&QFʋq #x{r(kch-E,މW!E^%nAU`ٷ}>e"ĥd{y]mfbgE#f݃Z[P*ywxjA؀ur ;{N]̍p[FX|zM},r@{މ@?s"hXaUY(zr9"u`U)gpT}?~f.=6c]_t,627* |t;px[7. ǓPDba#&i"ކr^d@YyQNthjzGq]PuOE+I@oԁg}tP`H@×g!c7M7DXPRe_Nގk:':NAbL !^NAI]#MX_wu*Q 4o舷ꅳStXqF+[D 5Gmj BMHL)u|ЙU {,O/ց n(zM˂rU9N=aGiQkC SGPMKhVFMp/W^;[g_OQ(mu[ԝ;4zLuq'Y=./C\UvdQx%;ٕjUp$LW*L^~w#]&# ]]??כմy#5Z݊1ѭYWU˜Aoz}9ֽ4}Q1 bG}LDNHil Y&Sj5S QkI\H+k @5GGjeu@A|$Ո!9 IvӒ9!P]MY#/jϵV+̓9ys߉e'_^/S3mZvԮRܨFnA?*hvkcsr9=vVI!yV%^\vhA]8r! ZoDީ+qe{Q曄,r{y4#=DQU,_j~MY\NDF@Ex}{3+ ziP3?\HB+|ir C,0Fi8lU~f8zގ Qb }q)ə#lhkĒB kSV:L*Rxx>C;̍ )**;4 |bPQ֔вui)P!:9ɼ>0I&aW!_MU *%Jpw?+o9R*JK zwᎋXRۃR-=KZz!g cuTFX4QŲo0ز^h'pvԜmR*K̒(%8c&7d#&[8+IQ1|v;:P,P¡G=mX,M*;?xܽDwO3ʫxH`<$6-8=a4u,|B]IdQ bfD-0*σB0 R"e;b e2;<&֝(5b7 t; j6}-ð)zrӣQ@'צw{2 QMl W;FуKh5>WZ9y*(UaGP;LIGf`Y^0w2IkCB+ ~Q~$Cu3оBtOzX!#`2LQYM}-@.kVLPed!w/iG= ,ӎ xU|PsU7*i撄1n>'?I2ꈍ񯴚} j$֘PWAܾ?//f>o&'.V!AY\ !ffdI@1ezM#޶lS_$osh"i*goaVA4s c'p3hgARzYٌF'H%J|[Yy3 %nLD:_7yF;mD?Ryӆ$bm}UWqrd[1HY!p`DαlɪwN~C]M@Uoy1+L!Րvrq^)k@:UL50*Fnoi AumtI5 uxiNEBk ]P`2+VJs ׶uP) cWܗ(lX"YR%Lȉ\j1Bu*NYXcl3d'V(®#5A8h3}<݅7:,A7`e ɐtMx=\Ѱ"3B>ͣ>=8:hb {3#ٔ#ӐK<1(r7jCqfll|TZ0lgF}` ^+}eeۏ"H^ H3Q! +ϨB)T!ݛNJq-0>L.#/8hM<*M~ I߂*2Y׉e]w`]M6>g[`b}SzW/$~%Ff:]p(=m;YD4N-1ttqw}63lOm̴ n6 Eȭ.ѻ7L ,O tbфG sDi"dhYbyWf } >N2Cr#J+2XqZ)8 ď۸զV3i~ +9@R(Ն?۹gYSLɲ!&; JKa묈l+Rpз1ġr" |)yHuzE~kZI)ao5Vп7>%SV\G.v]N9~wAp@{ I*V*A;b딖Z몑&;#M (zm 3?dߛB0\5vG%mvk6W?x9fآZW 1lzHUDab!/#.H1jωVa1b8 Ld&zfn9И8tgJ1fq0L6O\"+ix3vw2D/%"Qk'8bL֌!xB~jo& h{jfBg9?WNOԷ`OD1Ctv]bxz 0͍OR Ӽ( B z WL .(nvBD^i7sv E- T/ F"ٝQy\ luسKf$qNST>(_ (lsjIw9_6>n-#T$ModTZ~<{L3uL$b?^(I> .Zgҡ#9(AU8e 0wz  z9 ?c<1tJDŽ ;WH2.^TZ__,/ ,@.2n&MY`uͪ.ɍ9%)U墖Y8kT 11^M>P1&`g״AbŢ?A}I$eӈDQATU @w S