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   @1\\4 ]% HOL-Decision_Procs:threads=4elapsed=395.523cpu=1342.512gc=88.840factor=3.397zXZִF! , ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_C unbjM b&%lbMV_%[N ^ρ$Rh]n߈W8hp&,0' u'v[[0Ճ 9f-c-xuě5宮L)PlIH98~SQU%vB|Za5#\rd\ˣT0F6>?KEe}pBjo ]FQ!7X/ٴ#Z%y,UMOzdހo͢1+RкY5tIDMEl10ӟ$/F.\k;( 0 C?JL卆<2U5P*H-{%fP dDrf-cVRBJuk'EN9}Ç'7DD /ݓ|Fe*5ε X g q_U]B璊ҁ0 dwa{]1 hi *fa͜WZ:Zx0./¾Et,&9PQ$$_A7TM(Bs97w 9Qa㨚hl SHo"(gc C_S3;4SjG<`(!|ԹB{V9WbHXu`oX‡s?9}5{ 17gwN3z|3F6,IfeQQ>hوa Xq Fh|vn ;fb;zĢR'_54[H jE[XZXE#X#nU :#LJ"ĵ K`#D -ȒP/JSkF0EzyF+$ދixϿ@2,1qg_WC+z9pCBftGP@w~!x 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 (eF8q'پR% ъU. /i3Inȃ4bGX^@sp=nfaa"Quaބ9lhG`X{""(18;h'SnDOJֻOP0`E^tݦe{-PnoZ4B&if2 ̑JM׌ۯd){yϠ9J rs;g۫iZqzlsLu0!6(,}%4c/f?o 1^Po'#B= ;&E]O][̓HU4^V~}7\v;׫ƛY H IpE]d*qR]DpQ?{ .&k*x֛i=;N{P}cc34Iӳ+e ٍ3أ`JD<60aJ쭅 @hZkuz Hfx]v?b꣚(SU/J`w\+"u"|eKN+= f5C 姴qʿ$b8:\=sГ"@A+"t#lXԭŀ F<u~@G壂THB#Gnj^Xʒ6wA.J,Dg1*͝ZufA@|ҼQ>cF[HR&r8tsRehibl[-ir=~nDJ@aQa)΀p|\&*VPMi蜬#`x+u}ćIC-,+ (8S `2g>!&BOknPO;JUth[D]༂'Z)eV+P;Jj~97XaL's~.49!{)Ce'uy}kJz7Ż;/"k3sT<ޥzwy D/G'yŸJ{{#AN5UK4 )_U?zBeb6 3ڤYQ9?etGļeeou`7˰;JU#s 6H #46ndGK*i;Ry|\P{$('._\ޞ'ڼ/~wj5@5&bjL4F[%IvaЖwouhJ2Bڶ٧0I|ة X"+#f)cٱ?GtR>vq" Q ҆:h0(ȚD %2tumP2Nefj|Un"+SF*ԊSܲʑ+U 旝r{F#m&pp\]vl$_A mS4g?#~(Zl@ ɰ WW8mGع;mqnb]~X맨6$]1 K/ Q5bK+D[@C)lQg"&nƝ5OIzc^DX̣LlK6|y109q Z*Er M1v ݬsZ\gi[9xr2"CN٥͋*Gso!RZLze&B>vLXQf!G\V$Z0#0%aĂO*:S?56AKB;᠟ Tj2$m|H1aU"XnPPlSFĨ^9i{?4& W4!rNU]k#qϠyXIf&a(mf~f?zf:`R:GҶTbHZBN Kc]t scɛ?,F5)P+HXKiC@p!熤Rtkr=Bk8v8ӍzPDByT8! C'VM©;P.BdMD,:0ntrrpƳ'Fgs9'Y4H G%#/,_hz [Ћ< oLҪ&4jDs_t&7ZZT`O:C5tkWu^5)jԄPfjhCR)V9@A#ZΉE?oIXh// t7̮n\^-2>6JxǢ ^P.'s\SMuR*ч c.Җ+MWSm qd;[S8`ePR}T;-zG}X%T}>,kmWӭ"ArZzf(?(HicQ1DA7I `n;,K ~/o4J2T{s>NNzj1qM,o*z͔=x~¼!;Y? je-%T!sXP2D[PN$+ea0[L -ɹ޳s٫%/MҸa>=܅aMA_X\>nL3+f{oIRn% 3UHֵrcx?gx=˫ji}NchuxD`a9E\i]Dҷ9&8RTjM$br>Nde߀b,v9^jMW3|<_\SmfbUu/P8?ܻDtrr!'+' /)}5c=ϧʀCS9~}m0̉#Qb;…O/*Q:iE D+ƣ 4]3&LImk/ <+SA- 8pB >2^G1&,:k&3\7q+?EWQ8O㌛KX>5xExMʯayYw5ˈ+!U=q ~gM̂ ,0H&DWv"WH#YV\y·AB?| x |Q Z6;A1`?_DsY}oz(XI{>OZ`k܌ϵs{W` *QS=ti^}|wrbxr)fijVw~]$l.8bglx"Jw$ HD'IbFZ eRυF Ll.SWC+Qr&G5XRL1F ǰ*n. u` zEUght61ŕjqix^\h.SڕM'R6Q~#U6ܺ4BmF8$ӝq|cz6HxVش+ R R^kd@*jhٌ0󪎭ĎsI؉=\]} ,?Ix1 |O22gya&a17Emb21ㇺ;6촔Xu:8eӣW|?xxe P@,@cX]\niF/J\u'gA_T<|*U*`taymф ;Z(&Pi<]*|1 NbhqT^Ev ~<|OuՈ1]Q!jg]P#` gܳ5]쿾Cz^/l6N:Lz`؊0lSkЙI>>:ʇ)CN$Bl0.X.C "h\sm9Z@Yvq]U/y[[Q08ׅ\ `(?z>N9-[;fٺdO^ qd=&׍TbjVYR u5 =>N]`7km[ttb'#Kʉ2d)ˮZ說,EJ)+|6@-aߕW+@̗(vj=AͭҨ*ٛP-rj=snC h#mY9Eԁk'M^4 Yڣ*TKZh~e0n6Ǖ{x<:р$%L4oDeQT^WvF!f µ]JئUۅ}QB۟+?00/,S@Ҕ e9'Q#ӮJt"Nz1$)MRPeޥ Z/@5j4ۘ+VbХBo41D?톎u>CN>B,Y򁎤gYZ7zXZִF! >{y]ŗXi%B۾,tk*"jh:5dɥp]应=+&F\QZ;}~j/-%m+uÝy OgD9נ%ֿi 'FR49^{NlVW~\p*Oy svm֩SnjL?A|&3aW;R6 _gў w~W7.7c6Y9f:KG +  mX)sHZOjUβuFְȗ.q܇r?)RӋbӳ_)W@ ]1]dYG2팕7W.e)3JӜIo;MZ#ؒB%@xϋ0/'왺n'`mcX΋ք@껸x`Z/9P*2"9Gݍ0ױG>㢺r" |Z|¡db!R-w*=ivHnxi@LԻ己wAee Pc,m_Eߡjʥ&CϑBth~~րo0.k-'t!@ om4xwSd` ݙ64u_$2*fN RYF׉w`%Vl#dKݽO{$xzy&vƝPټGĈ3kIpc׷nAQLjdhoo[ug]ΊaܪDGYb/?z{`tDG~b6jI7\/4w;R*"mk\1̄?M=)3W= Z4`jVpv6uƒ޿VT1}Of>(W\iSӚpَFEК]K 5>VKj~F˵ ?_Vx778~]pg5ߵCu?ArmZ@l-ș~B$N6᮸184nM tl>ԑܳF32aaˬ>ɀ0Ħ8^m =;/`B-Ր}ˆ y}yY+ǥSDk3F4 &'FVO3tя¾s?z3?$7CgFlQ~/ KOrR,` ښf>r,}0y]i-p>B]Q{09,ӭEmcwK%Ux0l|F,؎D۳.s1nrGa|xER=߅,N/C}Q' Cɿ!& l~I7fvWҚMmVi h~PrRc,G^Mcq)_kb&DߨZДGߏqܺ{KRs[Z\j}|zTD>ѾY8c;uin~P(6O q\;kb"($-$6,FҕSQAۡjoF^$ְ˛1^/iC!c@=+|u P'rr-g gyBB 75̌2edrw/ܑ@3k5;"^%Qv"NXzOEJ.`|ƗeDLy[J7"$6|ΰ̀gQ}%d Khο[wø:kAvdn$*< !$oykW8XC.ToVu!/چ[tNkl7 i T vHDI#0?׎^ ݎXg BE<9.9U]O]5/Av{Ku(eОݗWL7NGX0ɹB^e.ʱ%=\-2 ٴd6|PQOu™ (e:6g. UWU4))ĺ&_-KO$-$B, :Jt;ޢZzZ!1z˧b9Xq/ Z;#AdMD)q׏t o*oou ouD:Az3WΕXo/CTRߚ1r#yZSD@\vWeQdk5fsp>Cb{&\?0^ HrɿQ߈zf{x7ԪW7'ol vH޲ M*e5Eģ<^T9ohK qrcgܭTlɖ>i`$p@'_qME$Kl/[q{r4e*5N2ict 86>?j(2X);6A|4c`@e٧#)Y) n C@# FDmPM-K@7]iW 1ZTE*Z^qk of쬽RPY Afܱ7K,O~qMOdjϡK}ec "9u~A/' RToX_i+uF|S>wrʘ̙쐰h>D6KI?YÐrq~p hR}1kG^y/{%I3<>=Mi9J+NY{N_q2R.5! *jRnLYS椁3Y{ (?cyJ`vq,' 䖠cS9-qpډǖ, {dd=L "ED F3caKe)|ԡ~K5Tz-#7&~A^~ x2KAAJrᨭ$.-K$^<$^J^8$c+(~'_K h9!؟b.j {1sښœѸﲈΥlC@Ndnшwp۩̸2F~ck[:yC-|Xm8i"OK0̝Ko+a,hḧ cqqtNΈ+Â]O7*}K7y:۟d 2P ^r1k-ӌ|һ +f!=GW!6S `N<74=LmSh1U.+4i<,^K  E|(i]79dgl  Ì66>hCe/,-hLH;#Dcy5G[_h2" oh2b.cH` ˳^TftsnδՁ*iE֭_ޏ rI}А%T\S=Gl9<1 3[23 ~CI)r?q`˯8i7kh}m-: jaq v'^bUKZz= )/ō__QDXwM<8iΡw@1a?>7լө|Q#f"f4*|MNO0Xb[BIoq&88*;ڴķjɮ[^ e'dϑeSlZ2ۀ-8g7*f0dy dcϕ%X{o;* sHe` \ G0(HR]ة$eb{Ec#Ugn9.M7}~2?o8Xv\*]HORs0s.*N,^xYS+׻td\okFco%>:p5u)OC'ӯmY̓(vȀ>':r 6w(ږԒ;*߆5Ik.wB  +;VL/C ]5]Ԃ.} 8i_;-|Ts¢\7$l;j\`'uWіR#q܅IQOɍOj$k55+'-3ݒ~&1.@MkXKV]=yNgQrA5P r?.b艿 0X4H41AsSBh^sA< 6mh'ܼ-,QH =,FşaE@ "r_-n^ȆFjx`5zRgBa^ Q}qi6C+Xʹ2^Yܹ\y*0WtMȸ 3Ǽ^qX܈y@hf½d*.|jm\﷬sGF'f*PJaa(v9*]VzMtB44Awϡ(2ƺ!|myw/)cdK]WNA:λۮoF2\ ӜNn} ;YgGHSJ ]W郠ф+i9+\U%Ru魎@;h7Py.,s#'lгos8mtrēz^aB֤SeOUXK\f&4,rqH_M]$3j|A1R Gd3rfsg jL@ٔ,[tLPI7\iD^ խp$4R3;6(5a.49 xJf!D6 +=p?_i;Q`Ӑ+jXV(Zੜ#sI> ZM7 ;\La9ߞGic1"2돝r@P)URNDx?;8I&cj|8TE{dwe_Vḋ<,Yy.@ML%jML>|mLOغ: I^{:"<Lf86s%a=$Vz&;h G!K!j<'ӷ%kWzli?8f8p}?pDŽiX?z/zwaisuu3¢gYo>F͵qS CLxglJ1IN}|\"}sܻz>υy.0S۬b*e2eC/ٌa2Li(qlnr2>4P#3`6I#0dZ3Up'7p7[{a}iw=;%K>qJ- `̷=`KԺ q{Jjg;刢07l)ixP:JwYՁâ(G[K3RE/[հTa:LǍY`}l#<"HN#,943knn+DQV9k|VEZQO2vO QƥQkj__gp_Y"/~ =VxW ,ՏM{zxsv1&Ng[>IfsB oO=*̀)9qw -'Uub \ ߭/3:d gHqX3)@=w9ؾ,½}C2ōDۜ'{u߿#=]Pw%uL b%[I 8<˩jUYZj?*_r$:bVuR G?mq6~(pq\Wy@!KGL jϷH ^is\M =XͻOl"!='NCK8 fS0ZR̹X Eo"ѩָ |m9)"V*],N~( otSdj5Έ4kோVs|u w;w*VV3na0X>eyubIc;)4tPjA,F,hX!&U.͑ G9Tb] 3{&mx=z('{[ؒɼv,㹘6_\= &? O>,W{D~e6xe='y$ɴJ{qYpjft~;\9_(V?6v?z#dh(@Hq:פzeI4i4"`y0N ?i dn\(ѿ#,c T)Ca<|>ӓ;awz9[>zy$ᑬ{ kC?RoSjWH6_[AIUB<3ZdI-~Cf PB ߅mxS-E84=)vv@z { a Cd}=T&r%g=4_j&ңn+A48\CjЍ5;.%XqjpWy>}ַNi*퉓>p c_EU87[xEiZWy3<ereq+&=Jy?e OHT` 7i3`LMLeD9"8 "a˖U"e80]ծFbAT2}F@YfLה5"k`&gfOJ(Neu*3M&/ N>fFȔL򜮇#H- o r.뢹%- ^<sƓ9tui^"/ɧ,LCkL+c1f݁OY^&F6bl^~ۛ4Fda*/$q?`w)F^4,1\#DoFiƟE@W_NwA+A`?Wj_f1bG]Y^$TP hh^&su1rM0 h"i&nPd0' Xu{q*x7rǶ4yOjWf##ϓQnr\$7u<+pEV߁Wϴy`nzB.N__w]a}$ aˎ&j\3U'+ZFVuHi&K_ WTzaY~NR|h{F6^jǼoH[-n<lH:OWY9Ef͂OIq0~1_LiLUINi%Ú.fJm`1}۵ xV란 ܶ`ʽv6R": [fS$tl;)fnj*_`7~eC\CaAIT gxoXNHԎWt\UG,$X.-GLyk8+8KX@b7R=mv +3MYq 4{Y_q.  (d*7պ1Tk'y$4ԬMa2YMN8uGӐJZ/DŽ6=gSxztOW=qKP3å ѓw^Rͺj*Y@fx>q%a%[L\8j2B$Q zM1v2(lS"4hllTrh'7ts#g"v7R'8{xΓ- rHUrdWsQ-3aUMS*~VJ{/šb- ~uYVvJaP wz"H$!;sMݟW//p~o1՜WDl\>Hs[s'Fa37ء^+{w&lhvpݠQsw"1=S.N1gOE_ҴpOQ{0;l:ϧ)+ߥ)H[<32%h| 3y JX̍; 7(eUnPiAo9ߥDZHGC՟C#ˡePlDc Y\/{r0`;{"8T9dexc۟i6n~NN&TkhXv%t}--Drr^>ȧރJRۓ_rO?q>Rk/]d T Pj8@VKft']&]&R<j@~}Q="Ǻ(waMyn"Z).yvFǫٱG/M65K8/f.yW%}x6_*Z33a{+6 js4[$'Ej-Z Q?ґ%A*FrWkz_ߐlj`A|jK69EP ;C=?GSqp/:nԦF:~$Z< 6@|mzBnM\/j~tp0&~OJ'b~8t5w6^KG4ߩsSWoT_f](k\\sr՛˘xIr. W <=xAO%mCg)m~ڕGF3sr>7F!ဩ).+ CD{FJUߟBNüZm @ Xėy{ءu{W7Z/ŐyRQzĿ˶Z즗r*kO̶!$ZK-ʱg}6nӠ p Z/0,@2E?PsлOp_b(@@XO6z"zd&N'Cb?* H%PSq< ^LfgmW@2[@:Y)\RM9_P^il^!BQ*?'yJlay7I4Y𼳊[=%߲kvWAQ՘BӋf[cCb~|Ox "%1-%Jah@~DlXT*>Uحc;r0dYԹ57|B?din670\CEldom& LbF%ǽyKTJWپs"p?3wz]۱.m3sbۄX ,ay>"2!nd'/q]ƌs"~k+ӣԭMagybOEpQY8^Z /@Θ vԁ4M +#Fk=M]OLnv#+A{Dv=NAstl: (uuchfC~ѥQ'bml@g5 C%9xwBBfNrC< q͊/QG Rt[k{ץi"WGd*rR?;[>ts]ӗV=ܤ4OC1ibThAIXwȱףخc.l[D[Uit' IJ|2ɩA i =Z& 5DvV.Ч#QY>235 *O+B!mGW1t0h q@ ,T&o2#Z1wj.̟d$eRX6jؾHGN VMyspms7 ӧ@0d#qy"llJ%;=0:+kif=Za[\q,FjЍ [L}[M,F|`:fz0o6TgOch9X|,cwo5_m?vGmT҃?1:머M oX=>4uyLm%Nt{)=L0AHӲRֵ#^ ֻliSLm]] (2\pjXJ212/Ȫ13ǔP1T@s,,) 3z;([GsYn|7+t2oa9\|hTSO:r~(3kh-Q%ڀKkI۸љ n X7a+Bx& 喙גD5 0pߖ @0h.%pB4>@.a֛N[V[gibtcFR5[Ãī ;]D߰ 2dwq')>TCmzU+}+VSkkʤ?M&oMOtzc;縙a".3B+ذׅ4X j_|o5qO3uxMi{(2u-uyPa_[qT^jѐκO_xdڑUG[ZЫ>OBD0ցxKpFԡcDFkA@QkHptI:V9 ׎j /(Iy!4 Ivuf8=VTye*%akpOI ZĞnGHxW5.AZ9KiRJ)kwh@yT4Tp:i㹸z w:?V.(6}b3I% 73ޟV_.;4I'ʝh믪7/M3 M,˓Izamx0#A-Բ| /02Rlq 2 [޶.]DIe)2wm~]4bjc|=P\|{"5y-O߃-1X`"X *^7fIV@:E91WKz2@lGaDn S=kѽ2q%$64 ِoi[c_ߐ0] @ufɽgS 6<-E+5dO0pԵK (ĜEV]eLPpXְ'I@* О=csО%Ϻl<m8;&B7SˎA!% Br !|Z[<{$*5v$ҋp`a%%smB:iUПB HE ' ZZYB^ pO~G8Dw9nUJ?U|nkxhe@f Vva$[\ B00C{*VoS}Z; ~YJ$ꮐ"ǑnCG0WuiI CUbE&Jć1ԝ\U.]A!42fT6Cl}rWG재s㡮½ɟ x$"aQ˂G4Fn`kz]~Ʉ'Ъ*UԻ۔48*b?_5ss.[ ;`vYmԑU 9i>iB*MB– rĒYiR^V35XN۫bJAnۤy%Z[լv(M- T~Җj : tQNҡ^ 30-}߱foz(X2_ILEF> KBU`̥b5ž eiI278=nCk o0 eUsrM$ Bף&q='Bj'nq[DO.鈾90`Uǥ1l !ta -yܶ|b+mIlN7=W4޴zƅ2 $ݽrxAW}HJ)=2N/PRKxT1D"T]ZK>Ūt7|XJR=u+TcC*nKL_+s'24=s@,]lǂ톙جI߼2LPwPBQ3G1RNY 8{ Y+RŻf|mS ǯ\V'@/Y'88APqpv\2G/ȵb4B[]3ufm&Ӣ}C46ˆDҹ N#2<uJlp4mP(0q ySÅބc$pu|ս*BqcT@ܪH vUhj9DN?qR~.h!#8¬ȵq=.ZU 3"l[bߵE%)-an}`Э#Jw\s b%J/ Y2̃ %ںDn0z>zuRվac^X ^rN L%%>ID; f'd1)$JdMu31ڛv,У{ l:.mVs,Z@e):x"x_VV0(2LϴЅ &LcŒE՛ɔp.k-] \$趠|[$[F+(%t<]"[XK`f0Fu!4 R2ejG߇0֣~O,J8JKOJ2NCޣd>~Q Ţy.d$ aIѿ=nOZ, EeoSBŧ{D-px˫i;, [Bz\Y_dL靋 bX@Z.muq@MՎkwטR70G=Eܼ B425,  S>冗^̙ӫ ԉn6B)|mHS>~zl_ATaSVKu%~6yo/5L mIcWa %mޟto⃮̩Ceķngf`Oz-;{ևLu`xj`N;V;!ļ2f4;3]P42{/ ):pZ/We-dkIm)wc[72ԩnRDT{DzpqP K ]ۢ0-6dw aB_Hj+`U~ؾ JUMmB԰/0N={# & m/+w ?5F>fK֞7^k.؟{&xSP0[M+4tDTL :O tUVD7A-XS cפL5F%O$+'!1DNHOrD_yT|G1dO0R[DŽ |;[K*;anw6gt)ZۥwMrzK(ǚ 6).54I~{0ż5h;3~zSa~ǸC[*LqcJ@r[K@f}j˻, 6[(|9.9Mqvë2XFp!J:{FKMƮA 7%1(,gxuc ckT)u)0.ӭKf[̮-R6Yh`T]h Kʥi3~87%EwϥdZױ0 Opu$*N@FsO;.OIR1SSq*͎8DfG!`ݶ(f*= aHH=QMGKFA;e>[;Xmxoo1pL(RHnATcŷOH6x a-%xW }z_ޞn,ra914TS#X?h(yˢs;5QAy 8PL}Bx=77 C%C24x\T& ⍆x뾫[pGXVZwb낰ة?6bd/ex~rY|MCM{oVWP'  ڑКȯ&͉<.*Vh<KJҡ7E_:xҊGD q/iaP",*i^3l&E`ǚW5`հwK嗖g+N޺CQDq,jͷh^ d[#2AU PiVGy \G4Z'|dSvȍWKv˞JEjl*[g ڕ϶?የS%ٝ5kIrG{M:Pjƶ0x?_[pA5<VzK&AhW+9PMvzqM?\ԇ츜V!ps5]G = 1xar/Wz-<+w,O:|c [WndqEg=C_?*m +RA[ >R !+zaTy8CN3Df%Y[2SH>i U4W1">{ 6INwIT3$D4jĖgs_ܼ ȻVQh4AmWrS'd|< N6Ab J5~7%c%pw0 bCy~c\v̯!\[C,XLN#\Tn䌂c)`:i$!]X%L)4.5{5k{CXډx%f$T*𐘙Tq6v QWlD=GEer+PK\܀/8rӏ*ԛ:pc>Z0 (-V޵F`."ʈk%#Wbt82 9-F8tL?rB `F9lɯ!*٭ŰO?]єoZB`0 oa@MV2&4-:qcH`eSݚS_!ZcV|Za璁*PFZȊ)D$Qt,a;Y J?C ,Fե@!ȡG['IÇ$d0Yd`c'őPԫH[lsC =XؼmcoC,ʎLʀ]26H-D1Mu|ZX!\_Iq _dۊ,Z~A:b̡HL7VEz<ݤ;+זhZVxoA)EWEH٠fxɹF{oĴW1NGLX'iX`ɇx²,(o#gXZ9ڒ{cprvamIBe {8ZKH߀&7"s_ChJ4wHINwbV5qfhEk kdG4gn3FdAGSfݻʁ9C fkʚP"N20ˊ[. D;ғB+V5.PMqG<,3YrLyrH1jj^텪_\>Go 0YŎ~#+NE`^dVL9t_Yh8?4%-Z]Wd"[b.! "@˱5Y>a.!ꁇvbXI|*6=pxf t:7gvL0)7'6 H0;M_ǫzsW_~DIQ Aoh<::$aF:|:h3M=kenq,oKpu֋س`' Φ ZVD|>IiNd4C\(gL|pt 0ب"PDs+o-􊲮&=Qr`u;H 7RNjKzc!=5oE P m^>0^b:2+K6[KGkD{'_yx:#w(LA**hV"ڰX_aٵ]GXyTBZ$0XqjRlGT?|П_K'~υ-YPؐX#ů=y`4ˈ`;?<谳05 A>@q9If`:?O}UGf'Y lh2/1MXް*~n`N:Q&%Γݚdjλʗ1(Lh%ړL#m΁š |/O /@he$hqj zD!-ܖ!@\4r~:Bt8n gm型>Tkr S4.G pcTNR/h9Ue1&$4tkٍI*;?=`LğDZ 0~ snNE1͘B *+gX +aEi^kL6OMOqNWqO럘JyJ;zJjɊ&iK1gytX8X+4T]sP/Rү<HjV-S֔{uQԠ!KuXjcC \iz?(aFWQ8"G,,q_iޫ" kJRen#P6'E{q~ha>{+0(046TŁqPlF!|w蔗œ lxuY?y1VV?MۘCRD7{XpfJ;`j`UHbPpM1(xoA)6!+)n䶤P4;瑩s|RduV9zF&9y+va? vgQg8[=[|'̀K*<_"P7UpGxXK)HD+s޳gt**M҂ak:h(=5ffA}yGݧ U&ka"ʷa7Y?ɡk{FNf6_ ؋&Vs#=6nϤ MtHy-ۨ Rˀaw9;S l7.x;y-}|MwڟrI?('}ڧ- J&eDI)ujϓ3W0q0C>mW؁YQsYGvH ӄ$޴+R~PZqZݰ:Emm>Av!ܺǟj *#_?hJeb u?kRM}6u8Kxm44L?y"/(u8'M5}jK"+LԳw4QhGoؾ %~]xQ"T栐ʝ9:Q*}~ &` +_L|vT~[_8,NQb 7) $1k5A=,Ej|Վ8e]wT07{/V6JvHQhcݝ[gJ2cK=(gMO~h|e9)0Ĺ恊[0aq2& + NՓ.81\+8})#^<%# ()o!sloBڛ̣!32فbΆ|E) *&{RBgtٺyr{7kd<ØQ)4v!{؅HAR1_T<G<!ll\4dm{$dvoI!|\Z4l'8:ALeTlj{y"BSrUKhvF5ȼϟ졡X @}^Tu6X|L!)\wpt%UP+gtV*ʡ!^w h-ͭQgxglΚBDQ\$፞ddp'OCQKhߊ׽u3 |ɟe_DA lkͨ5DPWiAΛ`vrCd/p8ASY_;Ǩ3x^ S 25=)OLJӥk=@hAEP}XVȶrh8(p;ՂT#][X:grO(cxԫ9XzrT4&`=ꬥB2Zڱ`%VR?4m^ Tyr_Zt]P}dz:?/B424[UXh**blG nM_vM$&,T5}(ʢ'maJpQ0FѬ@mPOk$oWPdc`/yA+'$ f#ƻ$~<N=/Y(+qsq.\Z=\@:fsVoV yuEňJZ#֑ CҮz4 gj|Y J<lll̅30xǷ(ފe :7}IAU^RzYHcÌz,s@U5jbt,b@ȮYO`ީpH0Jg`HCNDdpu-*sW~p5: `D(F&k{G, c{*So0$3RLLT֤E`=mJ7f|K,ҽc%)qpbUF^GPLM5Zv9n j(@NZdr5fL>vk,#7gΫ' Bxwv.w1l".8vcEFTf>$mJl|bGa'Ϡ[:n^;3uS0q"_4A9Skwg,꼶ԭN9>9-|Ki ӑԨpq[c 3 n*pR%9)h򞇼\*ܧnG%2xn${󘰏 wC]ύ+8u2Ȥh.H& O+n/Ѿ|jX)+=S2q/PXݑ^jn|Phy+?]?Ӫ<)q8(^u-qvFC?#*@.YiS/ŇXYtchWnC>c"f #X+HeP8LN,U˾o):Q6D_a&\-L+ J1`t: I2IdKzaU,;UbV|~z6bO4yh_w:܎.Tjɑ_gaGoBu?xW꼶[9f9L4. R2t +ikEpʆzs(Bytj~ZEmXq8[߯Nf~>`SUenk V2~M9v,RʿTnsDb lJbó~ %'oh%;2O՞h1f36XoS-zV,sd+̝#V+Q  RD%o;"7QpyX8_I(|1?2"vq(/NFƴ̾C D?^\8`7-l#m/;mkf(&3=_*1s5Dj%WA6sml aCkVO%IUV{.(jzBa9׏Zl!L !zb̖jpm&3bF8ڳ\8n6 SsCէ%$$䥓ʄqy-h̭?3.Spo'kYo׍qS: z\X:σ87udyTlS d<$!n{ (.WZ,"?\}.njb.<o?0:!?>qr IpF|t/nL_$;* QQW cޠs}ݟiYO$‘Dw$ٮ CA!"}"  Xx l:ϓj!i|mQ-_=ƔioaJ:Btj]'6De${kUq$15)RFYyl~2&J;}&!ܿ54fyƓ*Dt|ŧd 'i)` I`l%S7{>s*vvb -\CP6LUp5瓛G$Eק4y(rj#fbFokQ12aVX@5,:@'Rh0um<.}͠/.!ֵ ^1NjiZ&wİ8>PYcClw \)UDF WnNY}KD$z(~f>kw2=;a8:U+ṡF=7JR]v8.x{(8}w i*HoR$ u< b|9g!'M)oW{0[ӄ wd{k% [M {ߴŭX ٨lgRzcTЬWgftQ"Qø}(yO[2:χ5k &e fhgYZ024d3652ce406043132ecd449e11c19917e9649976b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 ea3329f2ae13658f173a00fb334e72a850730143 36916a6721fc923d224edc3d6b4cee3a9f09cd8a