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  O1\\T ]% HOL-Decision_Procs:threads=6elapsed=216.079cpu=994.180gc=91.084factor=4.607zXZִF! n]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1}D, ߚM@#fQKZsfY?%,uǹ**4M6h 8K85d^861MWA~5- s@Xz@hd#IwҮӄ08+韽(+` vIߡ9OQEFP?R#5p.Ѷo-8u=-uVx%\'L`ԗ\2[^/9vPvOX^_aK~oKjbbJпC92\B;gkr,HbۦF$ =uKVhw&H6zs.N|0(3'/Ɉ %'ZRΩbDMgE 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 PcΞ _~R;Ƭ>H*gD3SUBp|R9"*/u[ob${wح|A5 zZ7&=Q <ܞ!3s iѕ~46/YdT$ܭ*мˑ1)+lܵYOp޴PW$csw`ag\G,@C.m[~ NŲ*/]W7,9^mUU i)˥jW1a4>b,W j}9. jZ^Z/Ѻn9|5d`bkR@nsqWk2$ۋ&uscbz:/r r 9n3~BTwO]ӑR 8De(ϫ-:zp*y((N|ukOLjahפ9Ńך>Ǯq3yc G-N;f e_DZy2ΧH;POUNK2H,\)s!sGEl$B9t 5:mR}HOyS.n+ -hEc]@e5ԣ`15+R7R·ubzc\N5xuwT Nx / |Q1bUqaG^w^QCQ䫿,l\.l oHZH4cAQ3ReVqk3 h2=$|Ӕhj1/1SZ#`an54ҝG9ӑR໺=Xݬ^Ђm/@*> gij:b:2s>o ,ݧL fE6ˮzPlȳ~%BC_aߍԊ[E,&ړ~xɰP >PVM'|__wJ3BFkb#NGCBnfw6jMP ۺ:,aqacTV9K<̈.Q/䁋z&t5UYҫ8"݁5[3(U߼')?cgY= -y*Qh` @YbWTcmT0bNY' @m⬤'Xv~@ZmȾ^T4ɰB BI^ǭ.saqiEkة }zJ'aբ.Rgimc攓w78¯fG|QǼ#RBQ9z097^6Z3O"kIGe$[ @cH-V a2NC^̇ma(+_r:q CVn0L0j8U^/+]YifOiFqˉb]kh<]mң=ӂ!*q}@Z`Cz hFijS u d.y3 1ܸ~ VYOrN&4.t$c)qf>)ݫsL^wdeII}mE@RgŔꂈXZoxOIڢ@0VRfic./m3gNn * p+Ci2)ưo@kj8Xf<QB,솪Ox@/\KKf ez]k -oOy'2dcZǪe5ᖯ[ly.ߏ C($'z\ FzzްN$?.9K+rE\BLy2%_Npz8||k2VsxEm[W ĖsR?4^Vυui#$xjxDq'mgr14-C5?dDdZaj^cNG Y4:v^ڴZBb}{],ő@3[ili 朡f k@_ٚc;]eV@n08vו4T6b9~FB({j Q=*pAlL$ վxL'F'$+*/˞t, K(ܱ1wB*J?;ߛ5_Cp!۬a>YH2ޕj'^#e)"^@"dV'!zl$m&uO[Vj]aK;q![l;OM y@YQ^"б^vD_kvHdk2#fzx#i4)< Ǔ8WGDVFą?j4dY~םo 7y#Wau: p P{ŎuHyllт x' ۛf&N?8@ͨ N6KY 3pfflv# Z9 שϭsAs묐_h`_6[0@lTPDdI'Q̑v;Q[Kj&MM%ǰw5^|G]~b|M&@_6*DΦ@[ |`z,~a p8rg HJ-4 T"U1㫐7{Oi 5sS''}z֬N9\BVNq#C!53G,tBS^p |K?Gpg;4"0zm;aИ%'x{G5)m?VEYLN/LPbH 9\XQ O|dJ+w@R SړD!p@jn Pg|'YgI[Yjv,@\M^AfٺdHl-uEzޅ=P*fu~7K¦H_٧B:Jx3_r[ɗ!k8@7%au|.]4LQi??(Ն4]XT3,t |3Bȑ*Y/!C!U1~h{d jXOTyvs<Vj嘜 ȊȖWKVvJsݴKg&H@JXj蚧#$gSv90>WBHM‹P0!OQ%:~^,@͵G&} <֭$P(8Ifc@A?eǃFh@\X^EUR,a`7v+as-u!ߡ=Mꎊ> Dq҇GJ4|Py:N^a+ ۻ5&渋O8"5LUp&?hBVqL3HQ!DnRTXHZhﶨUgYZ7zXZִF! dHc]ŗXi%#AMpa!?[Ig?ϐr' IlchzBV;镃Sל6#?'BW<жUͼjݽ޾qϽτ*^x8Q_ۄAwaggEkw b8_c :Dҭ{*~?N-X)@mQGw<6jj:$7M `(XG=ݯqL^~5rJХާ (iכor ~s&ފkl5 6kLp5ec͞o1g[s^qIe#:o ϶84x}a6 !/F'k3Ċq?eo4p%6,/*W9yJҼ?Uct !_2TĞᛆ1Z){ [׵VX_uWa>B*!nC7up'XK&PxLȦi rh{-мI6@a0[N4,FlF'̯硍~g F lhO$ڵkWOԼ`mVw2]ldЪemSyF$bq 9-ΰqWFuRnim U=(SLYK^lO0CVkxmh``KN*$k3IXTv]2yӀ|dȎ=g)-upY͸qp-K1Je^EG@waR}3$穙B0.'{Jtl VKP у!Q1ƃLDu.KMS1/gTƞ_IOyL&'"E&y”ܮEtM/FHw/{ϰ3:(5{ 38ASzI0(p#قPn`'^!9CڭٙXq9քΡgoŕ\'?%revJ?3󜇂⌃tkF u װ,9ѓDog" #= Nal'Ȋo=LA9~G-`iВc76%1gnPHH֮SK~G~^[5AStP=]043vж$S[HֳNEV\hiT 5CĄLVW]wHG6xh/}P4ʓUx>DS>"?xv8.6lsx,k-ObvW⢝*[7;q}׆3=5"P}$nq|91nKoXD,ou4IK``j-"FIdY~u,}& )*W/Er^9`zFjU>%΋.9B/!:kDm"‘h\8;f/2/RyXMOB823G/y[pv-!1dNdFP2m+5[Rag'|dRKp:@qjۗAk11Ohtt.!ĀG8oYITgyxYXV K, CÍzQG=CWt7a<( g:V DYF7帝Z)Wl愹5R?E9e`مKuªnDmQ;J|ל]%H?u0s_YcS*n`ؔ-Qk3ӖZiV =`/Y?%4Ip҃)T>2NmPs̑I?OQKdNgp==V8 rxc "t0~r1aZ[zkSRy;:sI^GZHsTW!qSIGzG.35_f@V>6 娙H-dgG#@q}]yAJi 2%Ji:w(+?z3PI3\{R+g<}oق v >fK?VI׻\([e2oGdGL|p܎%C"eLoNt/O\ 1s:J᮫Šdճc!*%Lǡ3쪋x)Ar! .(6He˞92rg=Yxz@>Llg8NC]ᛳjBeP *Ṃ[" iܨkj~:IΞ;,txK!zrŸ{G1$W_ o*ܘlǃ MUh1PӃ>~bMU֒N.(0ԋC\b}>{dҗiMN~Ȇ7>,{Fad%4pp'W8ZXPVr*:щ )=RtfO}`DQab:tx %p1n$$c&qRu=1z< [U݋/V&zqUdE}.a ONXD&$u! PcD!$TFh^6| ,Tg_h 38+]rT.G/$GeWIJ|Pw#%Fz5 m3^/"pm .SMSUPZS)L%7٠VLM{v\>;h-+Mzt\gQ m5'>e0_v1)RomoR+EUjPGI>bRuKr O3Oǒ> V"}RP gDS)+# \wH6r(R3A[P_W[p?OWy=CLex˴*p`KXm?XZ&{|ysf8Հ+OךFfIm9^(?%8w:TBX^*``a '8DU@JoZ"3e2Np)Fu 7z$b=Hhþ2_F_loȄP$'`L;Kj"*^yED+9Hǜ3gց!ЄKŒP|+ych C2>ȇ#yqn _SP6u6ϼ RIfMXoJlwOW B7(w 8+lh j 7qWkN&rrki әCaݫo 6X  N =Z$ Z' G(ߖ?6Iz Cl6Z&wlb.3&&b<5@1 hRMj"|}bL>2:թ%aa/ /F0sz(9g,]0Td2|ZIVI+n}ƾ)T^f%vD~=u ;|g)Ʉ~Z[H2#< $ 8=L1}S%bϙubٜ|c$"hT% }o7bd;Uv>8X0A*A)By: LHשFDrN8h40:X%ݘTd|m,)_rd)PUۤǚiaiA_k~#TW=M$11'?]V j+(f"*2nkY#@Ti)k;ujGFY\)FdMT|AKc{':{5~jUYb0'h\T"%]i MTe==bJ)K)ROfS A2)% Os/K.OIxUTK.yF%&rʿ{':,kZvbD2eڣnJZGl)2-"֮o<yLߓ:s'%kU#Uw f 1M,]oJFX$WZ4]ɘc+!Lj/3H-Dp)<[8 SyzXn;eLRr\}x @OZH;ͳ+v;# w܅RJ-I۷nbetn$>qMpnh=aOʞI3#ól#(7Mf0E1n(:UoԐ3 ƣwDZrbp嬨{F#/+hׅCW=\&g qҬ1Mg3ը[zp=E:h C欁~C})4, Y޴kÝbe?uD}矝'cn O9Kp# ;,]pN}tq ϙζ;),s( +Lr){B `ޝ iFRXg$mŮ]Q[Z Atᙑ؍Yhc{G`˿G7 d1v^h0>:r?p3ԺZIptA=j_OWBD͝{#ՉCO]v3!hD6deT*q|,9A8Dz[ zQˉOg.ML m,^W@ fM~>L[J2_ iQp2PWBScTyFW ( TA0¡!`Y|_$vggv>Xd X (tvR5#s2z`*ëI%d ݝXrnQ]2Zqe[&nIoH@]!&/nжQjvL臩X%[CcKv:UJ˛&ɑد؎VAЏr/OO7RQ^T0vW* X#k6pM@$ਅk %HT1mx& &a?t/\X7Mqd\Bvliթ l dw+D3+GOEo;o hJx !{ٹyƧetBVSpj>ⴠ~on32i hm BB#dSIDG>H \ V5zhl6;3)!aGSzi7U_InrٵlܪxpKs#O$=*jf*}LJnxQ%xNM8G,Mݧ/Yf[a'^÷0s|$Sui$CYc(sֵW`_p ;;Ĉp^5z&`֘(_F]gT-K+ϐ.Hl?hb+K6DM]q yo]5i0VLKքp2c:2<])I6Fgx&Rf@`Wf0KWg\$"/fa/ _4CځJ-ؠĚ)Yv{?tNdHT$4K xɐb5^/%b49$OFP**$/W~p'_ϫQ(?2⡋aLGGZy6>b_M Q!u mNՅ\nSE[Go ׺cXr\$ppA9aX9N r-ʸ9ʾ'ZMjpϕ'_Nk @ʃ|$&ސNV~x&2ـ/׌#CrtHI7TBpÕzbnuN*7ai*tTl6žǛBNHr܈%ЅdڕIH3+1oN.e玬Iničbܛ[1TSŠqlY 6-~2BhJW1AA'7HCV~/seJ┽pqeU闗jn0LG% ,@>lj›OΌ]MWƠ7`UGYmW!O¢1p-׻؋ !qy`Ec7>ToIzOfFgQ 'F]p6?12eMl #!GG'zZ+t / +!(.HoC/v| :-]u.;EpNI T,FǬb?V:GrQox)8iWF4AD\\PnKѓ)Y%E Pd>࿟s #Vl ?s{ ,"Y{|\fqXQ;.I!R1dO)f;:E69S0A:75wssZ Q *bO$6cq3e iC98jP"ꄥkqϘ:`%PXE9c޲1@H. "l u-LD9aZ!qWnN^K۰8ԠL0Lz΅v2݀cG"+홅 n'ke T;Q7!ǃƊ)uWDHiģΩ6Hj76fv+CgBC-K936 볝vJ~#EՔCg,LCT2kO+) 5#Vnܝ!otSP T"lMLq0M) J*nn o%GZp)3vF`9n-QO:&[ɟs9dY .B,^)5VK0CqaJIL=>".K'lut1ZࢺKƈO:CP0%j IzD%=# *ͽ3RAkjw/+>؛dOq&h'f4}](XMJoS^'bMgZ0[rxVxHb`)c1KK'#` 9/|̶.`1wȴS+5DWDd:&9r=2݀cWR{~ P"C/BA*J[3v˵!Gh-HV8' ^+jG;T<ÂeDRE ׮rFJX`<ͧin<7DŶ0\HJ 8v-I}um#QM6H/{=]+U\ P7o6];E!|Sk25*G,UGC#ȢxZ}kr۩sFՠx9{Bnl竫rs&Tf؆']td}FJ%{MwQǹa Mܨ} 0f#kl8o~m\uJǀXL}D1#ēV|ML'Q84s}P8iDore 2A[KZ!AE6|q!aɔ7vӆu ;6S& G5r ȷH2G3<9KKa<,`Xv#>q!{c9*ٳQsfe o yŢ$lހ"n7@4J9<3J=E ՟ӱgfkK/ϨXB%MlQ* =On|ߊ]wxOR\==&RS߃lq+gWmNhz KzO{ΏXv lɖ3(*T,2̂߱׍qRA}b' ?힠so6;F9]#j&YWI@m:3 ʨ/nnI)YHnu1}(̱m"1s*Ё[t}㏲{_9X ̶覉<3 7:E*}Af I\Asp+G,Z}K;lSmA퓽]?Y2{deNAc5t'e-ti1Kwߔ+"鴍|ͷjMںd<[)-/k8]! :|ȵa@39dTDQ=q8ًmj#"_t6}X\Q}50 jZ 9`3<}lZl? dE:6\(9W?Ű/$,uSR*aT'tq(Rgǁo+w #:F43ӅdDz5-k a8aC!ߛYw@7 " VGك,{;=YL(c1oeg.0]XEp`M 9Sc5cǟ&fܙ0@^dKǤ;VYu-TǓ' {1T;XD]i-rfjQ|glH9y+hsWWvK!QfMr8d2HW(SVhKaGeܞrsr tD<gt@d*t=E¦ )КAYGzt|FPCث\3q)xmq@`pos  hyr0-^p}XɮejRW8߁=U|jdRxYuwzޮ!ȭ(?QB'.!tk.+WT{,@,^⳸O[z2ʅ^԰Hۇcxmg\ B_'c͹SPҬBoى1rk=8 9götc}rI8X iIc4p9 <<0A˸4V=pj> tkG}> Dϋ;-D ײ}ݰ>kVlD26^v_Vl@#ܨ1ʼr<Y {H#j#I}8~7=]niWɊwQ5Zx- ٪4V?3RE)77~|!Rв5Жacp@gVsAZy[/>yg_dYbaOuӏnF.| ׀ ~^D7Sj4uC|(ZuRli 4:3Lnd[Gt|Ͳqg% sWG8uV^ևmNRJ3O5Z1݅\,o|s{6͕wJ=\c+y  \ JA,5*2Xٔ0vozCK"eNVN#iMcςE^[u˞LjW (Cɷ|lI (~'K7xTDR?7dթzOkYUƎ-R'LX w|)#R}7QȘ-Ĥv#t>`!_mgw9񞤆yi+Tf<%%(\O>ǥi4;=(`8YwjK ]!|!jiA?T_  wP鏸ݫy1u=@V~Z +CJuKms( NR޿ WaP!w@ O$!t3ܒsw"jǭِK! *~$"}6){|R_ߦQ^L wɪ\?R88r]q14np {/!\nRضûhUQv>C}<4숂E^wGG-i`=`y+o{֋DB ,r)EyKXmZ-\23ʒ}3}8Q/G)tV.XV:W~aXXd n}I?9)Zؔڶjz!ˠx} W>Ϋav@Ƃ+PKco2\,uӀH2$Ŗ#3E &>*@.@'_Z.wUS-if6?g߯,8!SGuk3l`ڐ8^!N(Bb0ʌr#B$Dx"S+!;ǖg0͘} mr9;P + Ѵ 12AuoC ӗ_b߀|R Zv'bQ.2w/ |5>f/fy{u U 5. N-$dD|2J {'>lXynA(W7>Ƞ~ ٵ"!Ԏ"o3otRB/$|yM1s#RA֜nhQ+Xy 1weP$8Ne%~bԢ$!;%ȕC"W^"KЅ H#0g'ͼbBn`rKAw|a=TE{N;؛SF4C5d2yn]QV+y$Rw˟\*]X"3=/{sR0's3?I=>)ԃ6ao•+mœʑ B1_":uyyJ+Up/VWu#,#ӦpMƀo@c,SNr cLs.Zt]q;_KV9[$h /TҳB5ˠ]HE䏔%pLn7ף"xmBک2er! w*evH[C;*h>[@kF2|)9 7\;AҽیRKpLȐHC0"'Ҡ; G[}[T "$֏ʽmL{?HQ8'@O^_UPToGB*;-%D*OFֿ[ƘxZBqzq8.~øm[܋6?nEnK=GJXdfo3'=gA9D 2LMZ҂,f=H>evU=govOC| s|VIEPK[htk;U8b*^1zeW$^hpIO4,s 4ӠUV"ĢWXxs;\ۼ#voJ,͊#0@Eڳ +`Y4ZSC"3G-{$Kp; @m'X/?$q'I殍 l9B\cҟb4Y6ߏ@ qњP N 6|SE籵p!`UE< 2+{ܾ3wʠYnHh|+*{3ܕwWTBi+9pkUM2AHP=?d .I޹~h&چ^@C/`6 ZGW}A;mzxR.0&SwV= 0o._4Z:,-1U+ɸLͷ"~d5[WY3Ld`b[V{M>dYH:spw%uR֨*ژC^*9Z_pjlح -T58W̖xʶp GOkD+1Q8Gu bj=VX]1FyM.ѝܳGҜh|M5=VFB0w_an Q[} nX4>")/U0 PŸn:MQo;J&\a֢6lC?-=NHuhq]<]aRKUzk;yһ ˁؓ4R~d ߞky[?6G-ѹĐ+9X):kEuft[ʼny:;#grr"2&C^PlX,!U(nx<דq \2YQ0^՚A5?D\e0՚|dia1g*$r1xa8B EnԩAeq/|Ҍ8.^d[>bNvyHf?w,RfȒ>WCT׼}^{p'm}sV/0`'&M'&Y(.:^\dd9$Jxx} UOmtd\"?e;>sC Ӿ `?+AW;'G \'I\5Dp#/^C.8~W5:Ob: LeI˝ U`IV E6)gxO;~ (hAKR䌡q.t^AG ~[{wkT?Glqr*`ȪU¡E87ѰͱoSin0`ge{l7MM@iERY4f~_0| (+ I 1Nb¢]ܸv3:)Q뚋YﴷSoxƆOJHiH1O?rYa.r3bmp3 h ]Eno.#p]C:8_ސ^҈c\8a~Y>bTa_ָv4F_.~>tEiz+ 0Ê3@Ah6 CD9=g)Qzkw}OaNy+HLfeGBf8SzoU7R% w/<=렧BMF #@gwt_tXl#>iY8ugYZ0b64739f59efd948c45a0cb2de2e0afbebe7d36e7a20346d2c9bcdb7db27edcc8f4e212d5d7547ea c833d794d77e1e4cd4627e82381772084c282cfe b1d6b293d50eaf3fe5b199aafa9593896d60a26c d17cca43c1681f0780e8f28893f6c5fd8e4ea526 753bcec30ce368ca932d6a56f1cfb19e6cb70b6c