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 u1ll| ]% HOL-Decision_Procs:threads=6elapsed=252.147cpu=1147.692gc=155.456factor=4.557zXZִF! &g]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ыk\pH\͝\Ec0ƶu+x%j,}Unq Y_ qD.BZc='8H XYt׶ك)8Ye¯M竟 @mM:(jsERIp+(Le񝋷cEK5 ].?*aBr+h\b]m.Uf/@ հm"bےvKf|t;Pn'36(y 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 /f& ^_P< S+!dmWҘ4e='´qKm+KG0A:i~0PUk=ʲ;u@e0yL]S2@&$w Bd-=7%qrFmxv+ Kj<v<^'JXUkbLP/fgBEWxuNFpsy25Cॎx$6"9ЏŲ݌#XX6(oU5PxQD FgwnyĄh? A Vٍw^[wbn/y-PېZ;BC?oZ{*w}f\."2-?Y0:YhY0pt%yLm~o=VY]D?@1cPjku3)ӌ?L]>֦#J~DK 1 ϋѕР|%!w\>xi)W =6lxc̓pkU˔j./3KxLM>f;.-Z7=^ UѴc.MF{]_W"v D%,ޞ J"h ![82 Km UQ;FngysƆD,>mHIQ!݃,]wc_1T6alU\`J5 zΥ͵lڸ籄 Yb# 9[CւR[ʚX^ ~qf:+%e+9Ijvb;;Rw1TK1m&T2W)CWNe|Y| pPbL e?:$F|–Y?{>'mWbDlBmHUZVl1H<"]Ft6GIy}Tg$f(_N~p6VMdN?M, '(b|/$܋dbu;̯;^wv{ ![G0˝ˏJR""1nZ:PXF]#ρDf Ѱ ʱOL9|PG:P6`T#]狵oϢ " э䪈aU}F"%>6YrX/z585. XG[?zgf-,̉gdIB+Dcӻ/TOpQӖ4JB/+$z)^s9DSUÔĂE";;d }E4 ,%Lڔnb'r8~]O[=N(~7 Z3H">[֞Wr ،kl%R?4WQ "p8}6uo<;i.QK]dqq$oi+hr٬Ju83g6[D"lp^h7aG_=1bMjɮ(YRO\GPB5ѭ!76qW99GZ*%^e/@&d ;$D{&aW5fJ YnV[|)f2%%Q:OAx76RJ7ڞ,'1?m PߥM *.E=Kxul߄1Ί*ಯl3@am66S?|UKEFD; <,-1ɏXBٓȈE} ?g[BMɐ2Zvp+ Wbf=vT1> QKGl} Uڻ`}N~6aꝽSE_Z5|*Р4IH;jX%#r ˫лlV:U΅,5rKM䝼ANlR%(? f`:jx=R rkO<7_i% dJWExIhd@oSٸZ~/M!;5*Uy _ r{ {Ub1yk)#+uMXgK64 РJ^-/vGҶ4Z/d(`pӰŧy mٗC~y>1X$SZC٧4OoT [Iz]l`Fۊ娳*7rc0.T7.)je9A lc2 r;BlsfGEn&J/rhx6@ o  \5sG{NXʂxx 0OGh5:79>IozrD2fU~?pT.R}*o%!󊦯hًHLOߞx9dr"X> pXZWpz T6T^U)+935u6 Ny/jj(U׹^ ʨCzJB=H EM=$a-Q t:8ܙD&9M")25϶r 6iuV">$V0\$2gMZ;5 ѣT=* NLul \ 7w7\DdȝEflj @U CIE.qQfT^8FF|m%<:܍p3j@[ u5UiǙor\-ܢ=f>E&7x8ca)"5 9?>3@ɒ)#]~xW0nOFg.(z8W4T J0d-_΅d>d =YXvĊ՝h1Jecc1EY}8B jH|8hUyrԯ <dztFv"J 0~Y'`s 2(K 1!UN1V50G&[3-h4`-$ \iM3Z`AWi./nB{-s[fV̙ot 8BZ|~ݖ|z$τ1t9bjfōݝev_nAB92cu@1=ߢQtә ~c9dNo_]2;I5it59+0[69Uks@s-F2"$,AXo`56ݙ7.{g{׊1%lR6pw֋%S "=ǁfE2yy)XQ"[҃GgD0e.jˉC[(0~}jR\wHirWkBIr[;IRi pS_J/oo~k܉OP7vuQ4?K ƣ5I`Z.~B{<_+;Q!潯!H޲2.a73JE&n R<\lфߓ8߱mBf`2Oݎ?d_21sn$ƿ2tث[!˿hkw88s 2mNu_97GHKpJ]4f4c[l~0 %GK%R;꼮_s/\Mj{*6b4JHhq%V&6HVŽ}2~ړ?=j#O~Z' ޙ}Rn&H4r9Ly)kP}wG߽V`8‘4-;wÞeNzvV޾@qS5|vJVɒi4X]Hh Jٽt/C"j}CCxkYخ{:*z*-?FbxR%z&?\?*zw K _2ܹαgYZ7zXZִF! ^0]ŗXiɟ17L? KxlWP8SաM~>fٺd: e5|PS3܉TL-"*/8u&#SűcaZ?CkQL ?EJ$O簏8JIoR귣P}?*)Ynv o6w4_,:!;ltx^/۠z"ˠ3/t5I)\h2rN3!@5Έw}z ^_{ljOA(V/kcr;&)~^9NMj ]fiŰsy.}jPI ,#}1JuX;KCM*,(g5A<|%]1MƧ`0H3"q3zr@Cؘw[dj&pgZw$K q,o(V$gYZ7zXZִF! ˥R]ŗXi%EdzT_ Ї2^ej? C@'m&~i']鈋:x*=n:6j( ZozjNQnof0΅ezuCcfirէMPJ} \ervppLpdՒFÏcĶzPx,'i3@ oOxK(XQWDY}i"IXNi|yO3羪˙PW[O%⛔IC9+,oTۈ%>kbQ)̋jNZ+5b*}d+p!JQ qSY*u<3ؿ|ۮc~H-wrי eDžDc;zA|O`Ip2@ehU F+Lg+9(Qg {6,3 }9jC[9-%O{G+™?fN[&Fa^!M/vW8Ӭcl/:կea0\Jტ pN+'HƆ76&4.gOxp!^hQ?0kU%g9ʺ?0 L$U*k9ctr>lJC%x)ɩ47 [8"A4qnp^u>pCU행4 \ֆ?M]tIPǴ觌ag+!;Ț, @@v^\!Ӡ3FuS2TG^h~: 1qB[Gž1k;t2iLר` ƊZ&-$E>x[nz`bn.\`ENw#} 7u>U@s!6*ftaCK \?(A{$&0\ _0m$:wBK'126 UMO8)/'wTcF{ru5pk ޶8Ske ^8A3y)7*tSFL89ZHéu@gw~XQ8d߮q=nE-y-+|`+2g>0YA`Rpi'43 ŮgD4>vXs=cbGvN`qUU\jCp%g,,C1G٠#H bdB̑'tl0TbmDvo_^>~޷Nrw*Sl ^;b-TAWDI?:V9n}5?^fC^UκŎQ9xu|L)2:bic:`he,PJ>=JMQH6'L%ǹǒP> R8|Yؒ~!`P5uX)uE݀TC!X%1#*Ae^] ؗ6TUwGt>fkt#~PWUm *$y4_Yמ'{Cňؚ՝I|6 dXŮ Xy@!P`Eێ-,cx{:I/zWa]i=q#f){[cHZg'{S?2#qH/BD=Bd4mfz>6' `eA4xåb`L&ܝJ,HۿEK\I00>Y[BG Bs-Ly@z.9B-;KMkMW(ùԾ"{ {`?zn/l;(_ZP#ğs4n1ޘ।υ2!`2hi@p\oRʵ @09Qs3gى͆P~wf so) q2Gn*ջ@-֧ *F,"*a7>'!*;p6ak;,lZ c ELVԊ^1b_ -b >[=b MV-_nNpd(*%I"T X+ ;ES.1fr'hS{6 ɳi6H')t䧲~_ɋgmlokr"x2m~$C+NJ1wrXhPlTЮCiPq1-^2E(l ⼇W'j~wB(¼eTyRe5a%2IU]`yKN>7oBe>2bЂ\9t %k ?oZbI R=&Lw;&+R17AF#?:U!+Q0#(hLƹ䚏Rc s]nk0D `&\,IsȰ9"%'t(ħG*B&E~d(o?9Et\I6=6x'1xHkHS,`!\ɗ#{]f^0J X+p0IoILqgL^¦ϳX8OڬTR4 C%Hp6VإuիiQX1aX y VƻO}&N Q1_)V(#Ll㡽 ٱ RCraRA(wN׈ G FC άG !:Uiv%Fi0U7pzq?U>;})p<ౚ=pi2 ;"C^/=6wpxƠ{r?A\zV.D#9kfnUW|3·E/WE&abM*B/ɛz_IW+TWu0w6 Pl#Xxh~[غ~I@:TZ9ª+#u\5ߣ@C㇠^hrjHOe~9;j6{yb0V{o4֩\]Kʦ*׿跳䉿0Z`,a9oDV(XRs"V8V%c892M@~!`fr%53lZW۾:փ]~'T8gwEV'%Tޱ`wc*C$+B~BZ~SӀ`<-9F aE@xQΣr Y }gH)ci$P(U+/Sڛ#l$n{u'R SF{{ p[U5 "/jq Cxev9P+3US@KWH[A6*k+IIߐ$0xT^h)`뇇!Ͼ/x~d AHC 8ɹ]DA] op`=}iEU|z{N_hmYY?S_)mD rҜ1x0_|U7ݩ3 $ 7ޜˠ:kS6 #Y5ix{k߉O6{9a8˄=CAp+0UHlG|&|2fNanyn{ }UPǝ88)Jvg^2c@.-$߼3}cn:qߑH+9vb"$.2#y"&I(ߎ8j^]7-0C0cw dbAKEiO/fQ `y|AK",~GfR (bjœJYK˳dVit TپER xvTrЧh)$&f\q @hmp[ . 3f9 (X-/RۧJ`-hh!:Q*p#-*x@;67L_p\ Oiu|sFÞee6Zn|PΉ+SHq`BΝ2@/B y'M\AI7 F hBx&92bY{TDv \m0^C"c&|t Įq*eu18,*$b}_$nQdovz`N ֵ* azځӹn@vT|':`I#5pl{GW@{h+@>[[N(&Oʝe`zgKzΤ@!c] bNR\vuW LO<ֹ͗~~x?BY^)P˩/̈dL;)&C  j8Lj]J\HWM k5zuN&/GɰS$h =Jn+QK-e¶輮֜~;[$R#0&56Zab3;龵 aכd%т.6Vlb:s1ݓOW)X h rcCf^CB *>AMKJSiS .;8bb2^h7 $29P>*VCY|gtl뛑/c;^//zH/" ZU<bYZz#2mk8|s!~k`Z ZG~ۃx@EjF!zP&jY F`MZN[ߑ@&,?E 2^U~?cie CED7DϻKav2n#8unXA!ˇ qsUTzbLCԨcuD|hhӮ^dDķR9b @U&`ZL!Ae4bU xe9J!Ѻ+/hJng1_=ɰMFڶ< ?X rgvyY jڒfA37_!hS!ϝcLύ{`~e3*pڼ*8vIަ4kbW(9`63q"p>qf}uubxRtS!P[r]%3CjCD3'k:ݯ_GD,'4Ux \Yh4i ߜO"T=c+-x8䏎,IZ-L'JۙoG+ƪIv9Sz1H˾QAۚ~$eB{C[6/ H1pKf%Rq[4@0772Z-ӊ)ig&^7qܟ"jM5Υ^c2G>מw\4i`~x%сI!eu@-J 7TAB2%8|^9qczӱ򛴽-0t !s6tqm+ 5~ٷm[ggp\7;G pnHeRc ύ]L:)Rc_iؗ Fh" J`P&t tV^ĖiS0Y>v;zPTֻ&͉1l%WLF0): 6K`._aʃ-mk0] kpDpI51͢ Z\>\0e|6OUdm:%ѴW=gZ*uS@yU?ˍAbtLQJ6YL3tcVFI>v^87 Vx &K:R haشNjbAA^{墹XMNdz]_Cd mkpHiQS!W&ŏSwgE/ oc6>RE]`;w Y/ElW _\NLf Mvw VeKw0sa"3WL?tWdaz8fvRP5d+/U{]vlGQf-+ժBE|a ,Uԛ`뱬|[St-a T7#B@:"!F"ܡL?$$Pp׈u1&ꀜ`z'[8!O9ZIj uvvx13LsqgmY_aܰuTN@~kYZwj\ r4 2ܹJIz"8&hI %M̼N= ՇjS ҅ىs\&zv _$%偺7D5y[>fG~W`Uie㶞Z%iڄ|DKAW&ESuuaywJү"0&Y _]MSJ#~!q;p$/?&/b՝ .?\`8R3o )FĄ+rL C?_d[̟_ކ4T"`(硄^b_B:Zx2IRYzmߚZ \P#kJxJқ"Y H5Y}>ao}(Qs4djd9ZE$0wƇ:q3_|',bbQ-֐{3A 5f=z*{ }H]P]{pfT?m(EsO4q ;sy3C,.t[HfY>J,C< qƿ}aV3xmhFfT8RLBuhfuO\(zȆI@M,xDSf_dU* ~+ն!\ql5*I"d\=Du7@k#4!4{=< Rx|%bub2N =@z({U{.IYZ]i 0, s/'Xmwt\ύ+sD\︊h6y#px"H ڦ;͸~t5]Љ=o )]{.&C",]29pݠ29' Aj\*gw8MHخ;~Dqp?_` C@~⦑k^c=)DE(Z/S h2zU@qLGhe-xN Ұ4_bԅZ~?m+?/`a-k49wJX<NseV?e|EeH^]`E\Sl#gp&̒vʷo{ P"SW {63`*b ˌ:~GqG+.ŞWr9Hbaq(wOE#RgD5EV=J"փ-W'> J1@iѸUHnݹ,{}>t?pb zu)A;&bwMs ,D Hȗ{η7ROyUNd)BS`,E̎㗐l:rk\J(|P<Ծ[Y˕xܞtu U6'6JHh(~b80_ ~˩3e;r],]"դܪj+mi,(vIYμϧQ ռ,SO^x|V/VY=MZhLAJmX4PTV zl%Wq;%sgxBv$qty+O5{t`c7ڨm 7d?+HLMN6Rd:#TF8.߶A* 7|s!;ʚ9L1 (*tgD易ҨCA\B$C'J$4sk qW&Ɋ[Kd$& ;btM 9q{xw:副;3٘M$*1?Es}o i~ӿؓJ'cMY=ldp Kh{m2w9W y 7>̩֞%>I9^A}xf Lj&WNuG+hi{Umh Bi=ғz7,uV{d}ʾ 2j|a@LOƀG&5ti 9C(&?juGkV}[zܑ9}  h¹ @6˯`O60wPj)1B Ār4 jVe\(x%$`"SY$fZGA *Yf'mnTyy:O95fׯ57m@8jn \{dGn\˥6GT$%NJI~\2M1BH u1$  jccNmq4Ԫp͸~ N䜺Ϗ s-އQzJ>bd8aJL,nr49qIWm G͙*}0!{u%$0'Bl!< q_63Mkaz}վXZ} x+W;%7/geFv6`@jGƎ> S"z[z$n [yֻ h0 OΟzY  3`/d\Jxg &/QU'^lT԰f=4:.% y#<2);OJV_#0VL>tCE02Yyd>A-6m1Apa+;QH~Näng,0ϝ>)lnhW,&m6mOQ’5)|[Ӏ K߷XK{}#c\3ƴuڪ3'nQH1y:z^˺.: K)g֤>1vH߮v~A߽ gZ":El20cB6Úl:1߭ } BrQe{إC.&+4c߶`)=gڄ5gKL} ׾{wqjݻއU(*~̃J񰛜Qs ]{H-Y)yBMk}BӋ\k/}4d X]@(Ng !sDܩm^WxH_y+!!'ôP:xyLgLy~u =Dg0sŹ#mJ3߃?%@?wÊw/SWQWeAU= d@/Nt6sH)c=ƑefcZD0iAȖ_+'5lBC]] PKY+Sf/^XF#iLVgД.4G&GybGI1fB#o\;s[gYqt&wBjL|2 rF- -=3cOd3*|tN$Y\eTZD(ڦvi'r&I5m][sF+/S$W|pI㢒(@pʠ~*V$\u L,IJD3\/psr\^38q,-/`SS 4V1VUSvj$+w_xhh[!mZɎ Y6gX |S3f,{`@Uv5 N~ Qb&VnMU$T_6=޾ݔj,T1 4WgUlȯ,ޅhIwta"?Վg6TXL%ٕrQA2)$E.%Ǟ1p V-Dc2)>TfJxk!×*{J7w20=R:LlcuwQ/ q9:qvY~ws|H8ݘK r)3\/Wh d(U;;9cgt%.~y6*Z8cNJ* 0U <8Q[v"Ez>z2]Q[~翻L|^iu>jYa/ ;Ey"p}"vu(6>4`PTh s𕖐]R6e}x2JRJx#&7 sů-IU[bGC]C1c bo%P ,dЯrf8OBꇨ.Xn5⒠C=БH947NF^{U"b]$ %9qv2"۹w1ƪv+b~DTDPw)go6ݓ[-ՑJ'= 4:Z|(s+e&KjPX ;񴏧5ﻌ|">6#5 kdm:ߢ,kv-\LxjWbE}C,+Y'pDVW粮nZ3.Kbc=uUچP>kTTf+Is-y'͜NHR8V* rʣp&0&ZXKkc= :z/m݀|o"I-> *+)W*_O,S vGH*qک?1'WXR-f8l7AۅY̫.p~zu9(kÅ2dQ_auȣG;vsԼ<6&1}I,jٔzL=<~(ιŤaba!q hbs0Dտ>R*̰nGX|3-T~-n H4wZ sxfdmz^ϸq;{%6maaeWOL,1yaq"X{l_ UϨ="z:AQ!2sSSD)^`tW݌)â'=B|Q=ߐ ,nboO*İN/>Gb=%|*Je6ZԁQ#M{w` vϓAM%np _0Pf,ZYp/IC ~\mteFf /E~m.Fo hȯab&[׶gほ$SDq9'D@ajPQϷ'\raVyZAߏnK<#pK6 :R%I#`\bn4~4F.㖿ô#t~p**W %$,ݭb[{,xk(jR)d8(t4{7FMjy$BC}&lzAQHK'ga{iw%/tX=V&~dylTb1DԘglETsos&k{/)/87=t4TvcR{"YquqWi.\I'ii m1]>LAq)˭I Y#_žxt645wSNWD7]J+2;+F.QLC*'2Fk#ڵS60s"p`zdAaYz4Va)@ /PU IGSKG3RGo&zx@y;]'AnT>t-lM=ƪݒ䈳Im|Iq$֜Fneݻq[rhm.B8p<#R†ض$ZRūKT!Q=5D&Y`Ȧ.(m_3D@ An uNƶb Yv\Y;LD2,KO i8ٺ眀9 Йl? d8BTT]Q=kΉb7MLwa|4!YÕ,FIbea;'G y-hYH= rV?318ѱ-2NTw9Vpϔ{%lǗ$( HwO J20})] |=Oi1_ح-"F iz8/Qw#(ٳȩ[pm_w]rR ߲Y(G71)bED]V#Z~NDg"@;Nl5yTP|Uy} `dCx oZ#>t<*ugԅd E_>;p Uv1F%xDcNh -"V{e.`ksK}¬֝s"sj8[GKG8Ӟ h|YFz-?Nqǯ2MՃ4"nvҨUFiG>0ݔڕź5 9a4uav(= f+XR]x^H]6|.pu1 K)2_;ҲJ29,M^ǝ~_81L<:% ҎgQvx7➞A[s%鞐sɻDz'^hLjt4~5\vDŽ*ݶLmgD{+{NZ~qtbE e,rѷ@n.?Q֊xg2X .ANJIo$yyl ȺP#k4"OۼWYkpŮ bj3c:u`e?lo\J;{Udҽlb%*} MjL8]iܭ7t Z$g, .R(},ȁKߎziCR E'~/q=Ŷ]I#ӳ Fַla cn!H!G,MrQ ۙ鴿VPf4|Ho<+kb^ihC-w~nXۓߐ! w LǶJ褭yW0'<`!)N V Z]J+뭑LKkK}uy4 V[Ɣys2l̹>JDH)BR\9>z_1äKq)ª6S *"tFI^E2.^}[$1 r`d>'ݟ%.@43d ;3q˂?*7'z+.]m1KRt$'pLg7hXz c˸TY$)4p_hM1&ֈ A숈z:²j$W3Gf8t7un@N1Jq@l\_dZpɼ~Wd6Aqh;&(U).X{ahd]$L kTZSLU~PFDp8H; nas9-y`_Srdr.Sc Jk'㒈~2vαXkIi^tN 4\˪$ D:p'1oVM sZ[Ek[Z_;By/yb;?m|ͽ0t c9p1ѥ}gYZ85f118335decfa5f0e367e9d6b94165d222e61b81d849f65e40086cfa647d5ebc591e23f461aa5f2 8299fc860ca605d42055d4569ce45da8c35d31f8 791b72dfea4fb72ea09125b6383f1cb7a31d52b1 833e5af36744fa2577e434430b50346ab4c73203 5ce0382f82bfc059eda18c0308183adae472d2d7