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 `1LL ]% HOL-Decision_Procs:threads=4elapsed=382.760cpu=1307.352gc=79.904factor=3.427zXZִF! *]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bId_>~\m7!x4k4S𲑐S-LiᘌMkGl Vt<82a ]P6w}9'k +ta]҃ZD {Ӯ ŀثfN<#Ax rsLr.\pPU5d[χ2;k\స@J+km31SQ2%u5A#PG- #F5N(}9o21՝MZV)$m(!W.۫,eLg _ 0 6Rex!X&tFU&HcI rpR6g x pǣ 7ƃ|p(; uG1Jr>vTvi!OtJ%ٶJ5iT1DMỀb"2P /nQBWʨx7mFyfq c}/<7 J]޿k/0Lh$n/m#~ԗmp?DIW/]ebšk ljd7AIMe ƍ}gW%5ai9U'5 G$Y?ڧFֹ\}w.j[[(DhWFJ̺[)Fk:/;Wh 'V["=dDg ذ /[ĉĿʛ+oHxUBr82CF{Ac}fe."RV{DɥXO/.M>kSߴ`0N =,~7ۊü+4UTYbK ? 3;&J2J{1_^z,/]{H(z o?*|Jo~jd=We)PpfO-kŸ+tθYPEr+JƸZc_77ONsV(%{y؇ _b0Ucb) ; ?ɋbZ6qtzF /wjۅ=g!nbKvQ朙 ɤ`ckj:zC!Vw![|'o_(04uU-{-6%klJv׎z_(Ʀ!Bf#>gl~wj-,RȍF&C%#er0/1_@Km;W]٣ 7b>Uvy|*o2k;Q {[P?x4+n7#T #8@S*'x4RJswwCtOX\x!x99/5!GQ_^r gЌX▧dQ E!eܙۤbwЍMA!Oi]yI R~qRۗDBc*y&;]۶TEͽ.1=#s-RȾMňTК*&h%B:HFQKi6$tc5˨ S΋^0HOT$=rFoI} #cu553o&Yi*+yjY> sAko n|b=O[ xw.#!x" 2}İ8I5JZBCjLvx;O$7Z߰5}c!ʇ^4RRށf0APc#VS PФ/vpY*?瘼ގLb/ ŭ!lN v.&6i":"oڦ<}XyWP.jHƿY3 M[)g4|rA,7VkԯY,W#BB1$H|AZUsGo{kUimp@ $?%FYi4FEQ( !ʶkہd#7r/)&~ 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 b uo ;.w^`$/x}n-GJ傶+e<'ݞco^8  \(r.hGh,|8_Dn(tBMSYa-KIQnM$235u+!/e;cQTIgj:u++W-/1ٺm$R4\M5:Af ew]ZfQ5 A}G=1EeGQ(6vޖ{*ok2Q,>dz6~T)n~fCճJdlPU ١ܳ]L; D}}s{S. "M`4' {=Pߒ#1is'c18T#i<8 !oҟ,jG UҸ1Dܲ|!~%cc d&VU̒OC5Nq[ 0$2>o(^3=) SgUOm ;u CtoS8R`;QY_bi|~!R01sv-Def9NI ò@*dߢQpWR$i\ч#pVm.D_X_qUz9:՗bM WMBW^;KT,V$.+EU]_d} l,Pd>GxC4 gMH\Z6~4%@&{jJŅ՟!,\ J9kJi 7u6]mIP@a7t/Y0eUvnIA”n[aD$:0w9(rCL_k+hU&g 8~:&$M }$HQoČ_ OECJ{jm~{ib1e)'8__hY8Ay dnhm#_>l31p0[qKsSǽt<Ԝ=>ce, _m:J8KZ{;FՐ2a% J%R95nSJ'M>}E OÑ xtqw%ws4 (5p0!s/#*.)g^nq\(DIau~^6ԟ'CS!{UGL)v+\ WemC73T[ OYJ3X*O ëzSov]˚ychm}(NC$T4'7`Sg uֽ^4Ǫd2Ubmz`AD"Qg l{Be:WiBd (Q,:`!:.|8M!uv[ $C,>yLȦv{ǂi38$%ҙM 59_kbe )^Lźw[LcB2l7-1q|U }o,FcYNBE ˨4{ʱtvzɐ]I7Q#ϕw06LxyXЃ'_: ֳgZ/J?3pa,12GI? 7j N[f#>]nE[rsɶex1A^Ixr|/`Rlla$&-`;mlBd }5,l LpiPDu#%={՘P &pխ56Gz/rvy47'5FN;7;XL=r0/ď*nE.TձуZCE^Q1k)I!"B@HX-ڥXV&E.o8aaZ|}ͅt(4#ИWgB[xL⹪Oܖ,oIsv5 έYLYBן$t ?`d"ٖE5XR(!z~ꨡ T B2W0 9r=X/|Ɔؐ!,"w]@.h2̼;i@I}Y\bqwF.$E1n]d^KHQzLJ9L+]:gL]2p=MY-\w4T?'(­Qs& UF}CfA`h5n9zBWGݓ GlZOo8$a\-Ri 5nvLK`SKhs0 =| N!#Kd{*iJmzW{>DF4X=yYsJ|f[{,|&>:*Nhm-89l%{o=\?MkS8 h٦WŊK  &PKÖђ?qmz K+[8Y{xd7jћZQb 8v1 t\ }5ڽiVaQHTP\) bla lF#)Iy*ּ6VDMK0_'j1hgYZ7zXZִF! Y]ŗXiɟ17L? KxlWP8SաM~>fٺdLtU˴~5|1~UZ{J;ԏnbP71G[:4^ X"kIpվnn(CdȕUXyG/tWod1`6Jx&]ݑf!Ꙙyy4bIi=[)ˍH,Bwџ/ ؄"޿LJ'i0; ojdy1"xW* Lpaޢ*C.mٿ^Wdc/Sf1E<"#S7\|ZZ9]M$qYד'M5›8;9QyXy}S$K.S8:68>=x!㦆>g.-,*n@Dz'(hIyY.]B֐$I/:1b|*ZaM,"ay$ F]I(ScfQ\gYZ7zXZִF! n]ŗXi%B:b!ZapH%F7mtp&.O)8Zmywu2=9\zZ6%D|螠0iC$[Fhx6s:x3uރO3Ox0o7'J mj a*'L:u&0òjj-GĔ} Y暈K#;"Ǣ$_$6a'PyӔb'DXkaOz Pل9!=b`t3sG%]tEf>06 ~zI>X=&ن#LC}:aӾy *wRg7LKٕwTp2;jג7I3]ǩ %ETYr.M0 :pV* 9'+G03L 2\(6dW/Ae=,TCuc]gM0fsbv* ?OH0\}Q WȽX%{$ R]fQЎڸɐe!I,K%~wHsfWF^7X (-"?gmfW$ 8]qWiF6zR{1>a-`~~\~tQIlN4 B TpAEIy0gAo$|J UXCؤIOHYpI [g,^VX*U`SըQ6΄@7!v9196xpV_۴<0ذt*˅C/1KͬøUgT&ڼ i iqEF "qwa"O۽1 _hh!䝱'XL&aiקFmxby>ncUcRޯX q]{i SIg"X Nmx*w9 @wyP<[hL'[؎N :o@R}NOcYN̈́g7C'S18wML}S䓖)Ͱ;Md`2rQZqޟP" $کcιS̰Qp8w?YYD4XT٣)R,=r7@_4mm Eqា f\%IDqUKTpdhvQRXE^@.A6ǧrVBs1_(d)]ނ MYWͫR&R%`4<4~fZZ&="ҤaBU !1f ʣ|FZ^g27 o aKfw-i.DҺge1ZlQrYNBZrJ(o bI uHQ=fBM/UxFHm?mvz,8bF7U&H4:LߝϠ Vj(+S$\vUFsQufɘm^O@=˫ss5dcM?mG8 F"yf"Ռ&5N'oX' +bʩyRo 0.r1@XM!\,wWchk8'ӌ<خtRO*"i* ,e&H XsW .QBɸ$WDdsetW# G9$L{upHU)ExL''<6s)!x0wgcbUCGd΃ٴR)wA^7!鶰"Rz>\w"(; _ól1}v 5p#p:\`^r7CWEGb;n"ڰ!2R k;Ia{BӿrvdHF۩4ukCBbxf{,D}$9VI id=n!#KfẬ2u̱i&lvsؒO1:fފE-9B D͕Aw`NJlmO8 Mq8i>>U'cuDj$ |{WL*y FF biצp*/B@AnD:?DFZ/al@0Bpdj/w/b^4%"ɱeyZ/j7Q$ɸ %)|ɬjKP(dّ _5[<0͍ `bKYG²bƿ0݅j6q-DbA20Z'n֯T1l9mS*h tsJz )RY>I[(5g&Z#"ڐN!ً6m8@uz6.[_T,;ʩ>գXm() []H:}\ϔLWRR`'?4g to) $}FG|7hIaiͬ,Yq(^S`ך3¼CJ.*PߠB^Dr 2 8A32xWf$eIDW1<f `'鉂Kz,t y.> Q(wi } F8`nŋ^¥MQܔ|=!k-\ g:BwhU\Bqh$.oR/R2g;Ɖ$Cڂ:AØAuB:whD% !jQ(v'qh}< qjio?bʑReŮ52-ӥϖ!Z[@!y0 H[iA1ۮOYa%pcpJu KOlm T~ƏUh8\dA-K'C(O7^+[ a8#<$>7 JS|gcء%hS,Mz ֟j31sXˆ5cN{/UyKTIR2g6JM >->Cц[\ 7:ky4KVL}y@N1>:iܞM;"7 hp!aT)C5O]#WVknG[ۑN)QR Ȗ wwmdHXnCLp&c}Ib>Ę=&G0l;Qݎ;n5y?դ(yzC_ /\ I:t5ئVb_B%WG@;hVu*C/!(\ZqEհg\㰹b\@+d)_G|Wus-ғl?;--Mu! ɞeu/ ] ,ϲmc'"~"cBb/Š@7zks9i{?'i%5=+%p?H8cmQ_߄Bx"dl:S=KJPV)vQrtP3gI. $M@[Nsmg0{JՌ+GgJR\@#[=nomf(р%fj`Ai~_bpc2gsɵu`gu6oF!ja6g7:q(ۅA3`ߖkѐbEOgpYܻVѠNoUe M휹?ʃ֊FR  )@/~ ;c1HK\V?Fdd{p7/ T1B0Lhv>_RꡝWpMbɋXB:\cRI^w<;jPfրXlJGQt˨_VGuYl$~ z{z7BEԡBXn`L[3{g0:'K?<ˮfASԝ%ԯhC/^Nie~I:OCz *lPv}X\w a_(eOп:(s~#y&c݌+CB|Y-ɶ+>#1BVO'S ZIPZXNE /Q;"i[c49(p ygoҞ9DD]ڠ;+6X"KdrGI}V u˅9Rm04T2j)&õ7KT^u6?fqh(K4ÌeWG:^VR֋CIIoa ~T{{֗Ax ܍cG7Ft> uUcMCR#ad>h_gmP<:[ `X >O@S1qw*5IV^؉GyfPK5/ ֚#lQ483}]/`TªF=2H kYfaz^R@73N51Lǹ0YT {]^w}$gFD FUݱړWƄ7C_It]AOiXXS7ͿJ7RoEkZLḎ, (`iu\Ⱬ^2X:DJR K: P[XTmZM>t(Z SjGiB8x `g6V4"EFV;x`J~h%B rO@w F~f/!T4r^a"p6&]5%Cfn'$y`X`|`W}C.e{_|)baPz[ER`yŒW9##h^DPJg#76b7~V ej%(2%W.2?R[Z:y؜2Y F4ugeԟj;#߶r ǙXbẅ;cq# /EyR.4$3TLTpK6+8hwmW( @ǵl( % i!v@9f >)f&#ܪF{1!]qfziK!%z7#ci[g '1aSoj4%q* '>Էj=T7S `E9Mœ%w~_)D9EWGL{e^4>N1Rmw {yVDݰ9xB~8`=3WdӼZ}ng^e00Nw~ n9SH_0 RiA,2$to :pс91Amƺׅ C?raA6j@'njA#/ 6%U-Ϡr;Sd8ߤ}_;U0ڧ 0qn(RPtiˊY-4~ s0FHy">r8'$xaЩO-Id(C~ 3)HC pA3AGGN8$WٸX!G#K3wfl|m'\>De`(GD< 0uh50qۚQr׌UDŽ-wM9͝TLm$WpgTܬa ʪj9a&Y71௎ ĉ±;bUij gmNonoSR7;E6>s Z)BonmXȚnUFphM~x 881E:&-oJGSH+xп2=Ü2.1Yk6h )$kjұ]uţQyRxv,{sZSM&z]!g,4Q8iH CQ;ŧU^̎#e ްs[v26A檚3n=o 9-pG͚ 可͈I~ } }ʜPiDFy@ LX,]k~=E7*U|4$q x4.Z 8!;>^I{[Vm-s{igYi ҽ`QB:ׄmA'P`xH?Q :G yorΰd$bzke9T4VwA=AO-%87* MM T8iPwջaBo^ªPt[@ g>kU_pt椻B ]>!_1J-.+.-bʒ߅Rp( &M  y2sOgP?_^`וͰa^\&o ] QNtyȔ@dk#ko"ϱ2bypsQyvArq#eMB> "nol}B<53 k=_!)1P'ךc+2y!XI[2X?Dfc Y}_)%Ճ[cmկS9oWYɹH50NWB$xv lpX0ׅ ,'yoUeP!ؠfiW@dHPU3$2SBnhZvcc |βnN~jU ɨڍO$.Jty*E=9޵{]1!yL&DŽbJި;W^CCS@6,s7ңucwJUf1)h#+KA)O]Hsl`֓b~WRȧ/ i"!Qr] `)Z{,|V_:b]=xeF79(<'4W2'z .iSh+r`R̘ ޸D$0+T7%RƷKtZT*b%Tߗ3 Lz~__^ .u Bf0 (o8F;ǸzakVǿgYŤu *~>*!VIU\$hKh"\("PL±쨍\ `mːLL~&6зG`bX =JHEZPiѵ.X؟}}&= MR1TRf@cbx[% c162 arT>U{BŚbj8l" X}|^캦~`W|NIPa4 w>F]^ Q~LtvEiap+a?iU48+ZEuW2>1 `Gy 8eO$ j 6(o J ^{rGwȁ -MK(W qYDf+b4T$8ݐoOK@z 9.Ofo%a>/Ҵ*ľ6㺵-QP!5 _nj$V6dHv-b'/] u;-γh?/wr=D^ a}߬mOj kU3VFpؼߐ0OWHs'b +Z$H8 1Fɬv_3&ձg݀_}A¾+Da"-$Ke4@"J8uNgV)ش6(DaS~?LwJ ^ͻTM7woE Q#?^sȢˤq7#cn\ObK¹Tc@}.2N;@'uc;  }y=}\uCPAp9@m=zT qR󉵧r,\-   b iiy27pCys=D,kx*/嵀|C./U-$Qv?˜nĕ(1A*v{"Wx%ƹA-s xХ0e5^N:ٰ*6\쯛LmGs@Si^s@?rcn4"OӼAe݄&rb F'd`ek!xX} x6?=MՐĐi*r`?um‰_c+ZK})$b,h~, Y% q!g FNzFڥaԡ/'U#[]۠ O::6'מ6y+*V xc e!^tC"|bSD[LAVq U{h?h v_:u)AiZt cq (ըǂoTXwFd)':dAslvQ^qxP3!^Xh !$-ps?۶SRfs/˰vpΚ`fv4ɄBB!z6 XЈnvz1)}aZ>E<+v?yTp{[m'P}t^at:]\@L#J6d"rT#H .Ϲ8ۮ҂s37(ok#K44/i'\%100u#n$ To6@,#\FGOrSmgZţOl7ݕ͈0Q$K-(`^bD:qǃLog mep\Y_11߸(7Zޏu@\EQKg4<U ץ.h5_O&0z{޽RTV%p bm3\J>eP2wk.;ã>ËVH]t@ܾԼ :V?+{r$$ko䷟c\`pN+}o#t5 _VI_}FߑbBরó w,fIAp{J /IsE"O9n=ljWB_ T͡ۓ0D|LA|DP^XzW%3ILlPL;f 틈-]Ys N0_PHwɉD6Dnyp2;8:m1Uu[#K1N,3ԩW~۸R2T}δ"[X Fk|AZ>9 kO*uH܀ԙ3p Hr9¹ M4m!4(pgKLB?*Z8IPhm ٺbR!^貥ȀH`wZO@6} ,YfN9g}Jװedjjos7p i!U9@Aɢ<oƿDuJnkWپIHㄎ瞲Ԑ싚;Č@jDN\IgCzSE,~谣чu?S="}҆wCAk1mu$OȳՙBbRx<$Pm[_x$V>~͌41/yQQԿڔ'@KϢU" `k0&W"89O˹6gmM뱚9Ma &.^Č[7jLMfCeth\𶴟ND%'N 't)33gAƱ?!V"{^3F"f:ec.?bרiNN'l9}n'jGmBqn/ƙm<4f_OSֳe8.I!pS&Bt&o QᏴ<~5tyU?h-LS[,/2l"vŚ}ٌ;c5ba{t`队7Ze_@c¥* INjngT!A"rz(Wiz\Lws#y8|[ M,# crzn*L\3ft1d@((2UĭlmHw 5onV1O .19I5x颞F|RTD_S]mo>i^KȓwߑqkTߦ4E/켐 :6Uţ7YM-~ٴX9ݮ}MqQQDX4 Jz0M4E-i_д;[*.j\8;G$VAlMab[1=ņbF\Ѻs _AԆq@w8f=&3Q;K{Xn( '-N5=XE=4+$}2 kOVE 1{M9nG#>TpK**Zm"所xu` +y Eݷ k&-9m3!C}'ɃnuU䐈}VOd#=v ulk[l\ci[9˂c~Gr6)hiQ}Mg UDcKu#%{EAamrva xɪ{p|;ndh(/R6=(0z:O+csZ$Q4HKO8HaJYY P̼A$?DJMfVm7K)^nV`'}HЦ'O^tnt~q c0AXwed^42 ]5XVG!~_\KueTd&AIsU&uE(6Sg%G1it"FJ6M7~'+xUBkC_eiɘ8zRrr2ZG߬ͤ&8CY~7xpKGf&H|Vx2+ӕ t؋)D㠳vRˆk kKSKNsn:CQ 1r<(of}4Jω_<|o2'|5]-Q_FxZSHc)ռ#9Godˡ/~5Q]dލxJU%Yy, XU7,.X~qtn<6H_!$ѩ8yΣd,*lje,Fºs. GT/4*nρK^{Jpl NC5>v0k*{!55EY}()c⌦4Ȫ[AewpRB>ڸ6ʈ[ mWdb()] ڕi 3Y'쬔ih}"gsA|T)BP@Q~~}h%E\.q|]n:1D\ Xc`IBв|U\[ T}{̬$M pIlB7^9h"ȼH;RoFKn/_`x=!jj$KYTNGm ɥY~o[u\?>u E?΄xl/FS [tNƢ!ORI{] o~S`-fPjD;*UbY@q xg}F7}ѠČVNM& >8-+NNsq^:n"*,z::g%VbCfW +_nYZ<srxH2y}BH7ރtU n^V%B罣Sw1ٷWA >"iR+,D2–aHT2;/_XD8B_-cqȍ9 lYݰHК|gYW Oҹ֚Tn:\U5-|׈#5֠ӺzMRgk3`OҝZFRw6@|PGB<JǣU!]" hoʿn,` /ģ>x=WX~C)xÆSݡ矟n߮tЙR2:0?XRG$r!M{F@c4OKI=$g|w^e|jf"a.rA`nU8 6 v3lj_RrSW >&$Eg^d(ٛɣ2wIxs#Rd8tE0tcq9F@bw᱕Ѽ$b(D+TN+Aè!*^ '|j~o+Gmn_š A>>+O1!Ĵ $6DĬ&QI!4\֛'#)̹)ӆmDԕ nj]'ҷf :F<.m ?[~DwrL>XL|8/O0=paR˸8,fF+ɖ ü1nkGO!a*gTLEY m vmn߸>xYɒRdȒM>i-uJ!;/ZL+&egQhvw '0j)E؏Jԙb-DkRS)Wh:tD`h@uD55誟t&AAT3['4Дr_&˚?]ֲ6QάQ6Yg[0{Ɗ sx$SE&!MN_ܣM{Pu;PV!5;Y´*~TIXaꖒ?!=iabzF~~4꤇VU IGw=Y΀ޢ.t[`suN^1>`  ^ ,5IY)yMA&ٵᚡƖ;}Ս(4A>5,S53`%ZUKL:՜y$<}i-)̋VI_Ef庂~Ela==mY & m%;]\O>NiZ1X M9Ҏb5ۍ6]'{=p8K9a ڪ<teP=_ឬkij)C֕G @3~]2ғ桂6nϚ7]uБtIaC:4R@DCl?/N;cJromH7'nh ZMhTs>㞁'33,"l~$Hy]z8Xz{n]ܪm3n]_qXYEq{072ڣg)2+QiɽDw[4=^s-]h3"efzCNv(*(߾>Cy\xtog_LrKKP/x`B"wFb݋jkP(X׽]GШ:o.w!FhBh?+?seɶ/̌1L\sQ>kI iqEԥIw:1Z,(;=*.*ѰI""h1[I8$|Sgۀ -+LPC,'{pb< YG}XUt4hڨBA%/Ӌ*G, r+Pnf.zRN5Тhf-N}dKi߱w|S~S_M'CD#K%bqسc}Hy&S32KeApv%T8 ҉q1hajKiR͹H"vEՔ̉ZՊg]YT?LU~3[[2', Ӯwam Bɝn24O9Sȼ R8g Lٟw&},H Ϩi+!o֙WJְQ32MQR Lg7WvIaS<뾧|/WHV~8 KaYm2ڎѥH:eCwK(lVqI+NBB΅7|~EK*&A=s8sжoPaNdXL MA~;0)x04ɾ5R}՟oχ%fd?"3xhS s")022jמ:!2˥xm3h\7"(|cZXu&Sp$"`RTu#S%BάyAVQԳA%I *p2)G$ٲ[@Z5?4)!kщw {&,utJ/;c ڃ%4ty;Bx&A[TV#HL3nI뗰q6im ;Zi6h{' F%8wTPyP+yVY9k3J݌),Cݼ1l܀`Ccڎ$r-N53.qN?Fe.{y+! r[i;k{!6U=ԯW:&aœ=,oP@aykē;@5^ --"b2dF>O}E UYFgb؄4d. "͛:)7Y̲*y"z>lBTgը{S Xa6m#y񙙴%/( &HB3bڳ::+djǣҥh0(7B$a,Uw BWk^UG6v- _µit ŗ~kV мXrP@?7( _.#+LAۄNL"+yy\*RLAqY)♗"1S|t}BɴgߕaM&(7I OTRa~̴ Bxk:.^-{C))ۈo[Z v{?k"4Z|{3=s\m>h63N?'J f%Y'M۟^$t @@n,"MP+(W`5lk  7|b;ԺIR޹$ICQƶ%K rc+aJVv^mtAl'ZDVDq;!;"{t:` mD8hN S]qȞ!%1ʜ{Ced ᵺK InnLjӡ2Ɵı^[dn"ągMɦ)$/'*+#@B+)Ls- $xԶ[|h@0J~5.ߡ34 ; 'C0\=\?;0W XAŔߜ?AL+x!."wq?")+3B jJ7fT&Iv#jTQ?r?~̍cEMhBUE/40ے5A.ÝϚ9 U8'fW vb͕x`:퇼쇂5vbMHs4SeTIx͉@YdžtT3!}w@{x8$`<4ԃSb48Ӡnz(t 7#;)y$[X8R2U,MpZ,×Njd6X^ďUǺ:vbQ_Ӊ풼 [:+\%bgxnz91͚({[UcՐꗆ.1ES&zb6 7#>#Ύ_==]`B;EFE1Җ0FVRC|cI96s WCt|hH"]Jal7w:h Ki:(e+ I[vvqe rdɰw(5ForE2{HXRq'B L2Vn-H&~)[ʒ@HDbN@pn`@M&B8)~ ՛u6zkczQZ^`MUNɶ{:la^gK_cD̕V]$UW嚒W+^˶!3sM#c?E(coeߊ'4_=s7e-9SPhŌ_S(rd%+x+Q(NJ"^9Z ܧ(?G]5gq9Ukf0ZBqt\ hX)Ew  ;ceU*&'hS$N!j1S ny0/|ӄӋ _ .,zc&BRUElǤ[M#cj^o{U )+>KQI.͇.9 =q8("3^&FbEFE>z) c/_ߗ{2LJM@Y' ɢ,,­uz("Z7 Ds`Ckly;nfϓWcW4mնcO\:i 0_b$zQHJQ[=KC~O=KiGh,L(Q k~Cp!7rzj-v9>x:{MY*uoh39godnU|H ;O]b>/$O=·+&zk#8迗f/O*G5qܺOQFM?4VճNj%'}צA:+ξC]Gx"V|dAϘj?LŲ:0:cNω{@%=ӓZ($=sjlBWg2Hduήl>A%\{UB9ݲZXvVcxzWg,Yce_ 5B`xXt}[ʺ{T fZg1%dmcqJE/l&?a!@D{r Pm@&#P3J!8c$b\=)hvڧO0e}Yk8} @[j Csd::R B+X+Z u@dٸ"e!4)|1 BӋ5LJ&=oA ޜ[`i [v͊%LJ#Opc*!8NHk1n%/k k2M zhi_s#%ϧ!/$."1E5e =]'shsKrO\rj3qM0Pص&Gܳ d6s^0'vII%dxNz/۳k|%i\;: >R Ѡ6.ZԮ6Lt.V"J bVVYX?՘ts:[FvޘOtxzAeO1qkʟDr5,=ft[3 a(oyGA0cZᅡ9f0>EkEasM*q,V}OQ$h(^~y5FZ3MRThGyTԝtRJ2襁¯薩7js5>.-mwpq dC(7LBz~.a8']W31jgW\K0 25f<6hzÃXO:mճW<ʏ9@-Qe0?\ HW+=ǡC]Ux0׭E'Gx-~.Rۤ@ȈF\Qqaɪy2 '2gYZe4f0ebb7010e19382e0be9b2cbc7fc2c8a6ed93813f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 b7d4e5bb0195d6fc78e68eaac929036d7f4e2312 5ff326779a75d5e7e788efb17330c4426bbb69ff