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 Q1d$ ]% HOL-Decision_Procs:threads=6elapsed=227.107cpu=1073.564gc=120.540factor=4.737zXZִF! N]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˲k`7@tWIo +VA:T wj\y2e=UQnG!mxLU#U]ҙk%u-qٸ6tRq. Lx<.6 ZRFOj_sv+t:'iYYǥzK/mrYۀؠȢ:ag%>hXq!/x zӆcC:gd^TcQ'܉9]M Iju0wa\|p 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 d3#yf &@Et,SK2y3˴p,CUM}0C`vX~5ܪJ=(B ?,3RFgM#.⚐yZJHgLc6QwdMd;!Q}S.'Y8,ǣ`*8 yLd K\X з/C^1ZUz% oTkV,eàgفie.Ma2diG(PXķ+p%Ǽ^[O\dB}hO䬘d~^furn. Ǽy|b@:P3"[  Qwn(8FT@ҧEmt}8ZbсTrvg^-R[%g0Pl\^= b\kԽKQ7˱а{ z{#͐yNU;JVjԌFh)vw%{$>*N[Ujp|i.k˥H }gv@waS 4yt|1%; A)gpJJ8T wOճJQm?SZ"-_))~UԯNrhM+DG"h|QEȲK@~CoQb"Hh#`W #O >=uD -pO:p<0m[B]'h&p},88P^ K / ;wsS|LFka ۔mgCE9e˻ū5H$(b ].⤗Jazu ibb^M3\ƾBfܰDb8h=9:_(A !}e?@5wlT{Sz (6 ~vP}C4(N*ߑ EâQe -t%,$OV*KI?㑣RJ{F6cLA?s~#1bp@[f#+ۻ5,_kBz:Ƣ,YeG*Ev &3p^;*|㔵 ~X\4㉋o_rVϾ)o_'>#ˎTLbȉLn-h0X\" 6Yȿ9;II0]Tfڵy&ũ_Ayc zHmeL)`f=+#u) )hܭ1TU;C1`p~Y{$Pz)9%m鑮7dP3fF@\fE޶*#s gϧұB)hy"c-D⦼z6-q}o4U5]'=R~Az[8D\_+T.#/ǚd Lgx8VzSs@C'-d Jlڿ6ەeqdsn$Gˬ=5,Ql7msKrX 0CQ ="Dg#4Q>4WYn+Y}RS O4T.*ߵ$s{0m5Ld5q5o!}0a#{Sam!cg,u1JSv>gw,M]<ݢyJzza~̨4xG/iQVuUzUyGNaPQ@xJCF _\sP?#eMkbm:.sb+]w/GĊJrXSu2Fc; #x+ -Lm>'yzp ߞP)S-Y6U+ <ʭhR:'nEax/4zI|3+:-`I?|aT-h @LgW2|nJVFٸDEuSgo?+ol[Ɋ3(t]O'(j2j!<`EUu=#lU*raeP׹\eL-Ɩ$' f=m%D 6;\P5OٴHSPD@s9MV诰~d7٩鹧>7O?4p6E(V ݜER:OCɓsyV%xx_E鴌'oG^t4hkR%[K6[K#BXg x!zpFL/e\E?"p+qZqFԢN#_4 eDhè/4 {魏AM>/w}]jy(ǚM@~:iMo Ra}4[d&e0!h居6!n)#v Udϼ #\,~衎P|7nd( %x=@K %mI_H\}ԋ5ޜfڬ4ih3!7hY :ĉUGY굵N1|^ `/(5Ѭzq{<': *e jA:-}M,*e̢.o4TFfdm:D1[{P_({/L^#"j@OEMC`QZ;>.j(gœ5*OmUc2)u h~e^ڀ\c9"7JC_*Ŝ%GmZkPt.NBJo`ؐIV),ZmV+SеfSfyVF -{i @/ .*ZPŧ Y7I]?M ,T7]W Qb1f+ uFs#JR*)%@՛Ά+Rͩ'8W/B ͈. l;uɖmEm8 sr7I$ ]TL3"s,3G ꜫ\y*ޤ֍I2fq>\]D[B$5-ĥdV$];;5~ CtyFgeminq.}ڸhbct1!6,6|Ǎ{+b>_X-xj ;m TNƯI,[hq LN!*> /|1b\?u*Ocg7Dg < 0=k"D?_+Rȵ%Qu[Ls ۡAP\5ySCw{4)@|3`%72e+_g+•lC7+ѻ"tJ 8Yy܎AuFM$"l =H J""Evaۅ>-[FzˢVo̖N=M"zBwoE]}sۤ˾x&3WC{og(NmK{>+XC#al KW-_zRǀ=%7 NaTjvL.3^q{%3o5$,P"b6:fJEcW≀#t@J ;Gۂ?0Tϯ i# |6X)%"t*?Ř8Z%шcεO A$wDH #S~Z${3AC\1y[+Re/LWd簠Җ5XDX_Ft|u{ mw@A)ei57MuӴmK1ۜY;є' R^|r~#m[* o+"q$-,7„'(u\yO)21ʈh]GzPOf&7m6Gnq_p?h5u:|q d-1f;DF!}Sl1M1هH) la;J)˻`_v> ~: W qTPNo8|9-f+[2 L=C2m_3M.d=*k{A{?XtЄi3U]z]}jAiع\'^e;MŽ+uYܽ8r璫@҅cKMҮ䕮j-ϔ8gEgYZ7zXZִF! ]*]ŗXiɟ17L? KxlWP8SաM~>fٺdIć\YVyxСz0z7b@JBMYf-;by6A\ ΧU*I3AVlxH03#k8E<:ev`*kŞ(\]2ZVo: O3HߊL}zFS̉<#m$6 .% VG&i/E8Oq#Tl<rX,js| 6/c n(׀_M=:EmJ=W ͧV[ú OwX%k*QD 9to!לhVU;ܳKѱ9@~sd42d:J|f{"v{4'ovGؚq1_[p7FS*P_"fr2@lq=gYZ7zXZִF! }E]ŗXi%GRK'>(V̧f^!iNBȽ[d\C(&+5Igr۵M\9] ̬`&W3Sm'J6őjKWWJ]*{ %M85 mIO'*s1<2Y8˕9HH=(eѯ~.,Wd`hD>]rsM;\ZDby&N2F: xgsΆ(g`]0f/!壕_7_N@Ꟑ&X bLpyHqyZEK(3JLX*@iٕ*†J'Ɵ-rLfqD~hm{W\l3OszOc7T|y,=&-9 r M TrU#29Q`]|{1&cZ/t'( 9m%N)5w\,MAnJq5;(n-+(dWn|#6O[fcB$n퀭Cp\YSFP y z.DVQ4tQnUL +z#?qZ[! iͤ׷͢xVן |bk-pS.?Eϥ*8NN[@A@7ԛ JK (O_9>bsyhXlA$?OExYېPml5〓eB_rQ:\D! ֻ]O*g!h~!$qgiONN\ii3fJ4:oZߺZ}fAmvvե~0֦lW0Kzr{֪yRI3e"xaA6'?xi5S-1X&,$Z[U$kIO qNHh+BSk IG1U_ QFNuTuɑ58 u [E>lDR}x,Ս\Iuh"#'q`w18O}N-|d/Lu#E9sNb"wv|6x{hh mV(g(Vn}qӱޫPhk$fUɋ͛`g-l+rqn ¦y>~~Y3!mN$%6Yaom3}s@qq"搩: = +z *qoA"* (VL֢u;SBLo-ci*y4y@r}nLNL O7Fc KlXZ)|!wPiж~d 64kO0䆱W)V%o葂SLv󧳔,@?M/01YdVcϤIg2aAԢt"h:' \E/&npwd^\V`B+-b)I$tEJF^X-mi\<6#[L"B0xY wHteSpjCyH]瀘3w,N+4$Jy,@h=пCl01\2IEi4ضV}TXRmEWɌ$xJ4U ºK>D|3iK]ŷF442óI9/E`l`C7fHr쪷{?tɥU&oC5: YpRi[A.2gZ[$F|B . 6V@!L S[riW`~jY@11c \JbvzWf UeaX.d JsʹؾuMBPv縏zHqH"?%>w}19V])aX_Ndz]_186qZ>=Z28[1e+(O1~^΋ O ifXtlvJ/$Z{4;Խӷ~F<FOq<1#")[J25C"uBY!b"Nwb4LQ?TO-ZS#  .;5bYkaԃ@opK])r09ta/j,< !'HToT-Ya5ϼ&j,Go<$rG g-7c9P| ֐7%P5&X})at=?y/ jTMbkǒ2&*i@XL1sE[$"N3()?,yъ]?-\G[6Jr˛Dt }`9b |jtu23ɳ -ht;d5 ^sFO 24y:XxŻEC}/-*}A[2B3?4. %vh}a 3׾>- a/<~z'SJ]-;x[H' $.^s,ဿue5hEӓ΢SWtb1iUX<6Oco. 1}Zs3E&FƳ2a&whHK6b: jJ -*>3|@\Κ$5:ЭeajxV`3RAj_vX'5Iљ mn5wmƖn!~uV!O0,g/[\P+]'J{H y|ۏjӠp U݉*AP!2׶`+gpF!͐Ek#cc1/@PwӦ%d]V pwE(DAGU0}1X %\BpDC;7^F~ޓOK;We+ȁv =0rȬ\橻$+\@\}{K#鉶g1^K:hC5EX5JSLLX1=FCa[~Y<;ې4<}4s&S ۀC{{1?*dB/2CdUȈ@/ï:cΨhls ID"F=I(Z/1^M'+k}H d)Єt݁-А;)3B0@T>H-G#%{պ|s3 ,R SgJ(z7DZ/C֞.K.P". l{[Z6.D<.*s$Yv'FPKL0bC*wVgZ^`Ɨbh:{ܘ j5w Xl@j?WQNNQ%Fk,Ɨ gp 2Tb7tʽAX7 t`荏0<{>OF`OfէЋDžf܀\'$Y"n2 9ru_’8| V{(NNᝓA/JNW·E7>[9zHzQ#4|N5SfV{LA0m`gcqD4z * o$h)2k?\b%r1Y`Q˾SqNM9 N9xR z(=+sZ{cֵ;flP?9Q֢|?ܥ {IvZ1 V`^;RۼRـv4cB]#bp> #3JS1FٙVR"?+L yydv t&oLB_5ÎaLp]w`t+ۦ7,^)Y>+YGy^`c:PG’ׁ{HKA@0Sg׎/.d/Z%ڧJsZ(;VuR ,I7r ֏)0 J;4GDۤ/;E.ю tPEtGIli;L.zg݄O +p'&DεL0ԙKR׻W%rtnY@:g4{ti;RD8ƒ4 퉆p-"+'QtlLa /Dࢾpڈ݂Tzqv#z eL^Jɵ™GE[QWO/7ݠdI x-TJk+&"*5 oqI]Z;@jVQZj='=$D. ʑ*sۺP^4|#W> OLWB FB\'|E?֪zgH$m^jFjoJAM6oGsBa+f"iej qtBMr6c\N8ƖQ H^$>t &/[# $k ofO|f#J ߀C:݉%9jwQ4#e!LTsβ:+9VQIJu2qK M* h= &VAx*ң%eiNdߞ oQEey| e@KE_'zl(rʷa R>C?r|"\E=&ӏ^ke zϪl\ZhK~ A".Oq}y[Z.$#OxFXjc}:{ݺa#EV=k2LRRm`{0T$zd PϳIx y=5u9ks]s BǦ Kѵ )rOPd)eah1ōEe2{}]>:@[Kڃq)]͹Q ׳9KX9 YrXXrf Kt7~y9Huu ^꽶G3RM@kDcaИיOVn؝.qCY,bzX|Z;A(8)kScq3c;t3Tl4хZzw Ii!G;SC/Acpxg6ce)eW@8"/[ L[g-xy-1 &kVB&@弞-+4d6جPI%:f+T>ӓYy&ׁ^\8K?UrX =='1 pMWz!j3%l ~7>)!3i!+~a|.(G`ʢ"m-CA '&cbe!Nzbz9G-9 LׄO md[[b!6E<+_90,$@ɄRM8=Q $ȩIeQOVyq@MyyYhOi1q9Pnvf#լՐ&fe!'tr\}Dza&wGg0H`ܽ"@K)m-Gkq)zJeGVQxIj75]S7Y 1: ݰ `TrW8(jF ߾nJbY\HTwgm`A !=&%X餗R(`7 nD9̹! KHry`Jjz!&"$,ʕWb9Y26A3Z͖g-kğv"X=_ͳˣAl8VkN@M>IثЪZ^12񱣮^[ 1t7Q9q`,Db(41;94Jj/@Ι!SJ\y?\Dž/_eY>qUI!8*w~UiUhxн" NJv@uxtřoK=ۜB'y)Ӓ6&h絘;(ۢN@BvE .輏Az\^p IU d\ *g >|^'vְ$їLUEa*߯4yCrUX6!N,g.RXZ=v 쀡& %:6*&,wpU ҈~ޜ9 }9Bx~kTft;L`gC(>,ĺ}/ ʂr$W)iFn@v3ww:G)R/ryj]}9Iw;BQVR?j8+]y h}C?p /kǑOLŏuf,CF?/T\Wzpo8 (>ьu(ca}85I+N֞Sa$ebJ"5kKT=` g ~1GzѾ<:Rb$(#Eh-S7eWdlzWT']p1ZTT  @6 -~*}[Uan!X@kQ \nCd<9Ң&tU]=4晻Z߈b*H|\-(KxC\c(JE@%9 oE:C{qv~zTr@ &t/{L<*\JpviO!$KNhtRwWf}Ͻ eR}#t ;iTJ5W 1頪m$`i{<HD-A.33 .A`L[ 9db}|t.D\Lm5vvCAD7@TALEʶig3/b(qB8}/,@{H%YO_ iaCZ/[e0 sY'̺]Cu9:]aRy }݃CuAqX%"nxtp`Tw_Vք&-cQF+:H~A@h\u?ssNdE0T ޯb Ql"kw2E{1?F$EsS#ڣ8~#K]Y'˜T7@M>rFtC(|/dKȨ l7$JLKD* ffk rʬh3!hli-7\f2,G.{nn8 @0Fza)W.^U%ӷH} p6z(Abn1~dVReݓY <Ό8Sl9ba{9CeK$q{d6LTj^fY6!"ecsTܯ+}NL+UӒ+ԐKA;Aoe;X)@Yc_J{I!pxM1ԙ_qB;ϧɀ`<=z;>ٲ*ެGQ=gvx{BUBסA`wqS j'*w=K9:]O+f;qNL8\!imM-d+Q.J{S-&*MVB`Nç@eِj+mB!Tt i@ۡc"#"&5*(ވ_؀ Y2w>_I!p0VeBn&wiwS6s~ Oz b]^Z@ûkuA(鞷 >`Li˞n+ qIE89%Es:"n\_.!.A)1S!H*[}L<| _Bwe'&(qB*FiGC_$X .B៳^ ,il=X-6o4ednTab$>F%V!@Unr'ev/ $T{Fy!4~We*}>ܪmZOTԢ #2.p0$ Q' [:H)7e]L"VqX 3CȐJA*>CQ7?<Ԓ4=}a pm1ko6=MS(܇aMznr"\> 3Xn7̣TN΢s(jrvehT_dڼab_6U.k}r;?V͕pc_ȗŞ?8! jd=?GOBc,eH4݃<U*gr#MyktT_ [Uj(T>MY3 {APF`~ !JG 3A&t:7M0VNG,9HP/4B(WC x2miX *hU@lM{j7N\/koo3E+&ChbO`Q.yi gKǡոvHqU^JM}< Dx{b_CSvwasM>(P;{Y2jIqWE%:[uN-AAKd\rƪpD%f~״SCu'; x Ǫny֠dڮP , NGيCA9뮤wL' ?~M1S8?u}Bn:Wj T)rD9^UtQId|FHҏ0)] E;yP׫e(*}XyEOno#~S07Hwې\/QyZUvMKFtl:R</6[&+fNZ zK#gD*lZ"-[GL_@/V^#PUz 76MAi t:yy%$=c>'iSkhD0.F9(|$b#'G~ĵs8m{JHO:ĦOZmF 'eٴF|#fv_l5UȨEMWG2N$Ohنxj$PR!忤 p IScQ0+U[9NHzQj5 2_qm68hH@οIJ[~QI丼snD,+(b%gKhM Qw3hfq~!M-˽S%#帯^>כVy%ܜP څUA+~hO:&o/'ʦ7~*ψm|o_6?(z|űuȀRJ("|`جp&_}垺YD*7J4xB5O.3H;E[2{ :hAgYgMaugdsGe(WU $$Dj2^KTob]L*lngGlj ǽ썁YV2^⒓)L-HPH!⋙Y>DO$RMq-xp ~+LdNnֶ`*r֯EWr[zk:P;"7"rDE +&@ݲ{C QC^0Ffu;VD&90ҁLS"-VL`cwhK>!j\^v̾n: 0H`)<@M?1({TQj7&bѠk=YufH*ai )uov  J l:f/(pr52kF$NFN,\1s=›cX]㸬Ӻ$>;ATM Y,{h$=tcōJN'!K?H]|e{"Kd#ݑޭ(}iTThmAD_ZY!-Qvt-:/CYtmX7+>f_YSf:3E/W:iIǖMe3e`Aaf /:v!Ȝ׻S 7|yה6Yza_34.]?ۺ BG=Uq)>/|s#A o2 N9v{c7xďԦw^Ԝ7'aoײ>o0vTc1Z\w䃼RO&TfBt'@*d,efqHS F8 $~Z6Mv8e|Zк*9u$@X@Vۋ>0lWo}JP2xMڮ?jT]" LItgW@dz)5׳ ;.#֋tSf\[kR|*f&TltW1,$^RnyҎa*VF!110M϶f lZشVI'/„9  f l(,aVod^gk?d.?_y.sPN2%cPբ[^ƒu kE@Nx_]Xג`Z~vsQbocZ⛣U.{oSP9TLX9oA>(xӪ(~s9V`:E `a"'.(1;9' &>q, g֐v{|%4g~ـ&<#v QZ̩{q3HZP?H3eZ(~+4w芤h;C] n#oBA_NsxݎО$B' tAb~ ⟂TR8@:`[о~0~lpM8 frہռ2em!$\b'Zńǐl .-`l̝6[zV|s(uXJ>mdSx 4Jk 褱4}n+wJnםr+sv>)DZJ/oh{Q>kM>89!q0vAHV?+~ץY>.֯ӁO /qGh|>R<FLhZjItaWCPّn{9iEs#ЋNPJ(5QJw跗X|g^~JJU usvOT-P"(5 U^F?6om MY]A]&+ `zBBכeqJua%ɎRQ}#Iܢ4wM,JB3J -Ǧ&wT:J~7P?[*{4a2,fp1`Kd =nXf0=utP/o?ަb(4 0^h9W sjE 1n -ý޼9=mcr+>/׋w5ϝgZM IXɩU,Y5E*k(.i=<'@F7af~2 PR >aZ-fp.y@UGQ7zq'=ܬO>IWnSf3j(긚J }$l`2pt|XpS$ QP\ Ij G@3X3dk,NZr^P/H]krdXYeVd,38~qa;Z@ݙ!}s|EoN2>iV|qaX\ˠB?)REWP?Ps Нc&\kҖ K`ǘME*`ɤIK/LQ.MLcϾrp%S: gYZ5f65807c5778f078ba29cc93a962802eee6ac00a4a94cf884247418bea313a9db35e86db2b51269e 14acf31a4772521a6ac0f6c0b1425c28333b3578 8341fd756dce31f2bdcc7e1252f8ed212dc9bb83 ee9f98ed6b123b1e9f72898820e1a925522362bd ecd949a4951b6c4bb39130f7052af4ec356441a5