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  W W 1l\4 ]% HOL-Decision_Procs:threads=6elapsed=226.583cpu=1079.844gc=128.492factor=4.777zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$&d@ƒP(Ңb&8@*J,tvشb6WD7?8+Ndo/뵋~l<`E r޴5#5E R%ڨ׈3ݭm'w[@J8 QΒM _~D CZwb?L$ʆxvH,5nCcU*ɬc:VuLYɭ#*Ը:} 9t*ְ-m7Eg6=fa3H?~P^Lg% "+zG l 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 ScPXq2}-cE~PJg{*:ٺLuGIۏ ^UagxTSv_gVBZ@-oL<`ˑnN$6JRenA3! rvkt1[Γx,K^p|4]W7|EU8)igw94j%("2gGH A,{Pb΢AA"Q͉GO6l7wR>,?c:Td _/g3z)lHD ܯ>\taY0oD^VaY:&B MR ˂QhĭܩЮPykZIZA͓| ,& eLeìa4:<8TurVGA L"l: 1`4^;!dj+ %nSdJu˄T Q1\)#*dicKVMЉfZ9F$M䢖E;jQ@JEux'D.O!9-4-7V9J7T6.1uju48FtҊ&:шȮ$hԦ3mVsM>G7ų1@gPyo\3zaUڳ`?#w `[BXکפv+ðh'̣BwڠT%BLTSfrKjܯn ǁ|kZư([5X0!{'WvT?S˰yK#TtQ¿6C)9'" KI}347Rょl%F»U; QE~4[k-:(.A`,:v?^}7JC-~T^BcЊ'}7N)n_#(pa8lI-+YyySBY c.hM=(c\vp#yp3FKاEh ĥ©(a2uy"Dnbb\dyPmuh,+" Wb!Zğ&Z-b䷠͝Q/f2 C-Myb08s2o8]R߰{0<{dG4 (7ul5ՐD~7 ǰP+5r  ?.LuZs F 7A'VFy2QޙU)Exjf%2XkzƗi wK 2cxf-[D , ޔn˻=-vTsBXwUor(w<1/4QhaTX&^+B#wUxVd|wnkŶ; m9$Ok]t U-W{c%H~.` Dmv 3z*xpoG;$>O7ğM{Px4yתaX>x10L,Da'qT Dg6v\5Dѣ.>F)vre15Us*%vyUDqz!F胩;% WZSB*F{cQqTw 4vxB82kUQ_ר&WkT؎A}jam0~S<*($\mIWP-!,ض+`|Je FMlNcG -t ˞elE.3`@H9X cP4E|/NV,Ƶk6Sg* $B~rgn~tVSTK!ցT 5]Px#(Dϓ4,X\zZخF:zb]+@(6l{#`<]ЩxiS*ؠ 9*6_zGaun *YZ\|&sX,Tn,T'."6Dƣ+;f>f鮪 uź1jrh0XijqU` zo]lAT5+Yd6(w'қ>RrdMr?чVP6eZi?U䡲2 iD 'guz@\u8Twq ¶qk3Q%Z}«']kwg,$#xp{'g!:̩׀Xw}E$\;)0Bhv?vMHLE_|wyqhK/&2lnWj:Bd"p'7=!E@*Ng>:}xAh&iLVO5ΏB/8ل)#'Ab|ɉ˟U|D?;J$>b }'>2SbqGwS|@X = 8aߝ݈w |:ܪ~~_6ۯT_g});F-km.5jpWAÁ %<١jt~̲1QFί=T˕/EO>Ʈk4 Lt0Q 9@/>:& ܢP P DKR~o dً"'%kZTMvyXNl2V!X7E y2e0JGcD:u xmhmq[2B > p|2!GB$WEoMn!Dzv"fI4F475QF^'  [V; 4^k;00 MEifٺdOb=c>0KnPUdZW'j>H}"nœ@ˆc (W9y4S-܁`r`V"J12imKT)! YkK 8^b䯰B ymoY:oj^>È(42<*} %4Mlt%Yl;6 ~uexy,ϲ.K>me/Ɋ+l2*$<5IʥrР^??i| s͗sI zvv{,#EwfV3\* ovh:wmgY4yn4nR25,6ࡺw/bՊ`|CNDޖY<\o%BomѦ8!-('ֱi!st\_̞$v-E[G~3lGofQbk\J)4".~_2ƪɚ$b bgYZ7zXZִF! lG]ŗXi%Gqm#EYM\FZ'7RX.VH=~F{1 ^BGOݑ.V0K#6hD.$h&+CC$衱}#'CRrU> r/9/oS- 3@c%ӯw\h2dͶYM8K+̍p~r nmrL7E+V1.i&,g:5q1HQCA 0(^ܯ_tR[,h5/tWPeb(GZAHZ-{ Ǫ-ڃuO׀R +:ML%N@s. 0xFK'`7 Q;*܅ĵ5+/<K|7wHIɠ4%.`ɘfmK)h²bdk,_Nz_7,kXٸLH!n@'l%W%-YeN@2T &Vy%7 z-MU?qzs_}şw,6A8aAd>G3)(pg 1)UU'?UVF}e39v uA4fzD~e”I&Tq AtQWDqFM'ȪH 8r%1IOe;j #Ytʘ.Ed& J{@>o93]P4pDLE-|;6 XH(o(1Bx^|5lmmP(nkJ؜%,ֹ\S>>J ȔҝR:\1\3 MX߬`ȥLwWD~L1t0Mnkw@ݝ*7'TGؚBK9KǏ6|su( @@~!4@H#DZ!ԤiDIpr$5!O >Nr -b敼XwUX6S+{jUJF@( ;!WK"q?>nnM?E*K ԞbުHD5Fs'm:gVշo뤔jaYk٘)M30)00B+G5'[:= U"T UyB0;:q<8ԵNM0Ί $2G2|"?kJThgj۟PL*ŎtYO9jhzBjWp*{y/5wL4N殭dg[tmCc=&GI突冀%uvD_;j[CgftoM7 k4@x铛'-6XquizȨ]_l/T? 居M/GU'V!Su/tҒ'J;#K8Y(U !CG.kqC5v)띄w`MBjS|H&'a1uܘ kf=e%\ﱺ@!&O3x>RtݣT1G] xZn-42HfbH[@ᶧ Rv<67EFʀZ}|;iDMHi6 Aw 2[=J_pU ̉f~ATrzOh,MpS R}v+5WtE,^s^I:4M9|eP*+<\Yי M~ΕUTzqXHK4 -͂96Q*PК!sK<", c/ƹ>=n!`A>jd#QE0ZƬ 7zX_PkGO)<=2qrRոRjNѨd4GHGS\[m]?J@i.bAm@w4cd%sd_Rq".r|(`(>;_;)S3Չsؼ<=gW,8\5P*PdW˥r,6IU"LMmm'st׸dQ)PA{ N'|RC;RbOa>zb)X+Rx)2~И1L00^OhJ%"|dE`% 6ۏg2moXn x JB ]Ҳ24"e|ag%B]|d|cY[Oa]z,p/ط C)nj׈~m]XS֣=xy<ޑl.y%5ɡ)AWS4^/&(!^9z7CU>*Hpb|p%oz)Io!je=u;A'y|9-"[^ȈN%ih}6;"ϸ a5WHZ% ᫐bt%"IDti\DwͿD~z4#7'#w]%.Q{gzLYjuPcھhB\}ly8˭ O4ݲ~?"zt>Ɓ=~P6=?3 G u߱PieY,J7;ddNǀG MTM@}ް(𯯲`#=hdH5\9ID;r2LEb9і*׃bE'fqHm[vuAŐ`LjFQw lLۚ[R*KU&\ʘ̃?G#Vч*PoU"4 'wKDj1,P:`7:)',paKf`ch%)s}PzG c6Ң!u6W$tpD#XLi1']mMņOcZaIFZ& oWRsV91f=;삹՛daA54ٺ:,=ٜHaAvZo=>V<)#}s"+v 3ӝY>W"}כ͞LD2r'|j)8g.PSf,O4v"r=#y IzDab^T<7 BvzF?{2mk챢VvcD6QyYv*\/DL~(8^5l"O`g- TF-)C+.Ax ``™?AqEc`qMϕ ,.h4R0c]B:g"ee.%Pyz֬nBh00P@2~TkĿK*[FC٦=[;ڒh> Meikq̎ cQ|Sk;r&m( /ۭ`:j?oj0}toξb=, Pfpђa\~Mlǡt*/*i+O^I) Rk"Ovd#W=oFeH]=nJY*O,ѱ"ZFW ͕Âp'xWzfvp?=ϓ/qW>mdcڧ ¦;Wom?]HtrQ9D-jD򝞼)пg>S]']SW ɓ= q|yY FP'Vh[`Ȭ% 0'P l?Cgv0~r.md='ax$ދc]"MU#z0;v/x<`xec^y(Z3޶DdMwMf38hLh8;+ef־y >؜$n"WŵPCPqC~ఖy%]oOˍoUa #À_%Ob/*lθ;czVqD8Vulw|rߡ4|+ݶ )*<"wmuv> @ sYl?Tҽ!_ִ[DѽID i M{1RB̥W]e(c );v5gTo@r"7ipV p=dgwB]0n59 67A.W|)cEHP1(p pG#sO Ot~eXUpI/mב3LuT i7^lg_ųMO9ڜܦž+Zsà.ORt&e^[mCe䆼d,UCę ?OBB>V][=QF.F?~8$یԐL x\2*_}1ȹd $y!jfPQn[UX{%-) TП׾W@^s,W`Lʅ.½Rfp &gMB0.t2g?-M&^o/'ݫvNuAW0">^WluZOۜg)ҸPb ׼NZ$VgЇUd*Ϟs~}7+ \UE74(QThs+=^5k%|tLvac>_," :pqIŁ+v:i: +yFO B݈ꈻAaH,A<3N{ tmu [m)Æ?WAyIl&4!cTc\5~a\͕1ИĢ 8?[C"6S9qpp#vUqt]ݤ&RNö; wExhSiЈߟ0Ս׏4W(|]2-!I`a^xy/;!,oǀ$+%%!U&^S_<6YLBP~y+vv'Y¸o,{ hFGhuGBy$>i Y_+<`k ZJ\͞;(%`̸8* ;"ON.khol"Xo!bRWAÔUeUOL wV;f)e2xߠ;XAb.h'$C"RwUsB0D 9$\>MVjU_mD]d~5 &63뙔bڶ>>s+PJYC/\K6C@ Vym\trgZ LИ u@v8\|E V^#'Z'/UHxejW^5hc9#~98lc2-9D?s,#ԍuA6gdQ7V .T~j{:772HB: <{\^m[:Ϗl>(u[>>Hs;FYh ̘)ł.QL G"vYhewE̤OčѾ'2eBk; 2Z1jo2 &7ZdvԘDt~*Jl>Q#I!(,iw6nrC d6RcgQ7U5夡,A+kd-kAt9gRd,YKmׁ1"a HL/<ć9ROK;Ÿr'ՉkjL "k5|1sdu3-h d]w\EΩJgb:`I-–kJ][1E/:ćNzY)Ym-Uz;VoY,33v?y4 @h28Z`Nu?9tE| @eyT}}̰4mZYu<D1'EYy)bk4N2ݐ=u[ڧh,D8>fbw>NR\\|wrA =^/$}SVi*O&+~SmP8f%)@[ "I4lhe֌Y +4Eݽcm |z.I_SF%dۙw-( X.Y-Y=CGC_~aLdZ@Ab r7g1t1 ^#&T^¬#ٟt $֣)bhA5WQ>`J K4d,%))k>`'A7lW#i7&5xlGZQ&yS%Wا 9U 0x>S b# ~U@[Гf*UI|[`reFL>6"]v${)bhݝeBȥR[ 8j,,DjܕEGO}Ww!=U`3LcCdڪp ,Q댻%D vpڑ: VHSm^..^ aw}zolQ݁!C$/̛ D#zDX³YׇrЍu{a)'㕮[3W*To N A@CsϸZD,Se-U{(%jam|G>dH t\oR+2ЎҬAs72tѫr1zE1WKy&c܎BjOHl]8gg*'~܃ xf7#hqjΈ{|\J^'˾n eIsB2DZ\G}/8/uIܡ nB3g5Խ &$ceg!`6x%,Va5S8ԮqFRhX[XzW*w-F܋J*hI}ǡ MҜ5ddpmVs"{b&6S#VZp1G1j֓*K#.%O—1̈́@Ä7?P7 #O5kv L'Ē+*j4}Mx^gwmc~P|%Ú4wXbФ-|:Z4k0e9Mإ%ۢˤJ/9@>"~n=LI'Fj]?̰7* \?&j3hʍ~A!:*Á n3YkE豏WfyqT*>||#pF 3+ӗ[쨻^\ہB J?f Jg2)}ȼ~LZ݆X5n鯎dScbȧgn߉=H̒FجI} Q㺗bz*Q!f5UcЮ-ŷ6&H~D_Y ZP+G[Dk" ͛`EVn,YF{:L"(&()=9B0re1P d°*,%kYy:Tg2cٕ\@a/kDh\5nrz^7\gxjtrTӱӼ#}Yg#V;ޘA+߱'o@f!'}8 *d΁l 6䖬Q~ hg GbR9Y)~ -2 cRQ^Е[~[#t ,oyn׊KķԶ9P:;\M8yB Rb{ՒY{r3[3#R@4eā(W3uOG(ȪQF|m{\:wY3_zCv 5,@fItR~5,1Y@99dF}<0pYF`?}*/q5/s9zn }s4 j(#+8~:o1նY7Y4fc *]]LfAjuA^d\.{«nނyZ-J~h7CH9MͲIZG KdOxxF|CӱB\~Q9q<|8o'ΥTJ+3_hno-MjAHyn=NFLΑ>%}lﱲ>Y9LS2N[Dg~sn?Bb>8dPO}W89!bDvi&"1dKV~ԫz횎@"t&ʃy2%6Tհ6hrY1˴Cưd̯hћ+2)NlZ}%iRg]YUy@|\i(OU\|~ngp|C)ֺʾ6hC#y ) hwzA/R!2mpjbʽ_+^PUAX`'{owHgM$4T} EV>}:UY:2AzrAx'5!Ognjt篚v H3.Pqưv#/hܴ))ϟm.HuٯL"Kq Tĉhz<YfiWpQ ԕEnű+ꆌɈ瑿.wks9 lXt@}Xy9 ɧ8>B̦x1^kJH6y _gYh)r_ ܪ[`?Ae(ڱ L~ֳ*֫ s#Hm\sD8oT5c[)V 6I`0̞$OT9 ]R~E>mQI2~[ Ϩ }J3ɠi,AGhplQ4H$ރ.Yq^c<^?s_D0*Mbvuo*Nyџ6IH`Au3-fNBŁACivqu^՝D췻P2#v\)ow#C}wjo[W6=,kߤC$_Ƒ6Sͫ)}jP{'#SMWحq_Es#uO9vX1MHشi'ee6F!)"ʦ,*[Ĺc  Wn*ܿo!9ÕgV&abD$1qr=23)?K4Ѷ R̨_:/zlC[H 3_a4.##hq{՗M|&}'%*wqP=I+޹wL29/ !9ߘT5r'5*haM$&h,GUl'Wb$f_&UTUO*f]n TfRMh3.|R#ILAǾ\jI!;AZbrYP:!6 *:74*1 h߶ ,Ħ֣דxnphH. 0Nl2.Xf9Lo| fels> @' x^:9R?E2A-K7Y])PMJ;6c@% [ кy?qh(+X?(KpKwvq"xHg(gx{aO2dkXOIKr g<=l; ce: z&ݠ>_.#lf5y kr?xT6)aXv)`˅:-MT]_Xy[kCAG'P1&A)O6d#wPn睴^ﱼ]؎D7|+\f*-M50.[VM&%kERKP9+ ޫ./zlV>'Jy|s\n JMUjq/6b,4WDV"l*]w#ŠEYiE׆'52*YE ֱ *QO߉VθL&1 EVGrtWLEx R E?V6 #w0=ܯIWR%J STYk<ۯB*ԟ*B{hI/2>ܯUTo"M,5p R;7oSۂN9i2Lg @iۨQS%>[u RSBl91-1R؛$ ՌUoSI;Cm}cjdna멉 !5m%B|rE7Fe-V2vpԎhIB~ywEUiapR\| xY~\QBv|X?ţ̰Wl΀ x%3LXȼ.JiʵVMƯ]@JX>4Eٸ֥븾?Md ГFo\s  d[@eq(6p{Jn#Fɞ_twbɕ6hcjZzc Jӳ[2AgSf{[l0sFݏV/ &_Zи|^D ]=WU".N%(#(YmY?uM x8yy3޶a`W1<+m~/DkDBeBߙ2!,hȎ!2g4 Z )qM[d4&̎j.i1Hf̥{(9r جz݌#N!a,܈/g`2WUtN|䳆#MI$"ZD,NCxV[DY8_KÁNX  Tw\˾qDĿ[""PxRpa$BC:E 5R%W|- FLù艘PK9XZ DK09/`''?_if <fʈ.Zh_yzl>#* ꛓE|kJhHG/5<4ͺcN)Z<@]P' Yű2%8#*JkjO83$牓UJ{I'dž̠Xp7UkCH8ꭇxmqmk81ppGS'UeAqc7H6ҏ_3U纬C_ &c4<Nf/h/RF }[$aւ'PYX-R-a<vG_&zs(`bZR"[q>J1-46Y ȁNo[db{ it젩*D0s`皧0UR\s_w9ļ7y]jBCڢ=o ej+}onO{ lgs8K`k(a\'2mIͧB_@J1) b83>l4x"{űӎp3ힼJ)MMCEs{f)x CD=6VCO pr2(S 4Kvnl_+@N"&E.6B03*#pԔMugm[h[#Aڋ ̄VݫՈpRx Ed, {QI8T"d ./j%8r\RVثC'#&=pxnǨm[,Qôw"~8<0LgƍCuP*óQc糄æ&@⨷>~Ġ8X2%tj~Gq »E2[R>梮Âu`1LmW <^́e :z%4(WDQ#8AL`~Z1?BҘcFstWoZvhϛ#|9ybiP|_x#f*})`>810:qw Nj8~K2^'뎓&'\uuVbv5,Ŝ@WQ*u J#{ګ|Q0FGgFFܲ^f܊]J1> 7J*Engm ش~QmfCih$,_VLCaGg+O~c}3#o=+j;e2SgOA&;|+=;~ FÖ%_ds;]m96nrG4 (06GǠwijh4Hr ,ow ݩ\rV3iSx9_]a"eEv[D 7)MZ_l#&fu=KF0Jm|zoJjXTN#ě@#є.]xcyr&X|⯻ $=OK r{4%#F*-ԸH[͘ GtukyR`|2O!R8(wvq&HQJv8=<2Ճf ZՀ Ň)rFc\{ڳ LVywe6UmNS+!5Xb(}d`rHAb*<' G ^@xi&ع~o+eG>mz x gqNKc"RW ]-DnqI6I UoidS'P8YѸ1M| +(Rσ O+2v=O8κʋZaާo5Fe 41ПgfDϫ`v,I# K. \<bXO,w_p\`V1t;Ɛ^Pƴ$G+o&׉ALoW]\y1v/xb/oAN6vyyp#kFW"%Eo`t8LjIw6e,}zF+|%-:m*88Mm+_We4 qi6b6UVB/Oˊabh>yi%(2w\PD` rkXR5)T?9G~n >ýai_h{هIiȈ4̸kثN]1W𞍉ul-5k %3z6O减P *A1v=#޺6wιZ|2R-4ط_dG3lWԿ)Q.̆UJlP1GH`?BVxvWb[L;۷!bksX),GPhszͯ#u8Δ0=F-@ 0yn McS[ zU&1=mA=Sz -G&,.,AAKR%`k񋄃pziȳV[1̙w`xQ%RiO[դL(͗dPC#~O?w|8𿡥t:= CŒk(2 U%ůߺP?W3O*qO67O ]q)|VؽGyNV#f4!qgCѓ*' u}7{?&E֏`7e1ovpt@v3WHW -%H{" Khk,5adP\0<Ɂ+ mJӕRŲ8'9̚J# j(P1e;/ߨ=|@ЅѹD*j}ldmj!ybQgB Cף@ H;\NЭraw̺3#Mg>'w ~e <A6gYZ5f65807c5778f078ba29cc93a962802eee6ac00a6c51283dd05522a806b28d3dc91f24fbfd1e774e f637bd9bb9fe8f2c1a8651fd48e5fb645f7ab1c0 ea8947358caf8bce8fe84a381dd04617a23e9278 e27a85c84e8f6d120dcad227ab0dc9b9b1f484ab 49897f1980f9891ac81d38d4a63288bc007fe66c