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 11$dD ]% HOL-Decision_Procs:threads=6elapsed=257.310cpu=1164.844gc=166.696factor=4.537zXZִF! 1\ ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bCW9fwϊS{^ x)On÷wؿ/sPijзnQ<ˍt=^(_7dVӭq ;;A|j}1۟4GR%AՂZU xK Fg]?B~ Nc ɑf9m!*ߛ=%y6*9&XțFnzlmܰ&6P>H]R`[|oz=}k޽Zx#R12Z7 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 g\b=ўί0)}}aht^>Zn4R 6](.rP:[:7!Ѽi$(^Sڸ(np$u#=#]5]o0D4#+ŏMb( }UuNP^e">OݨQ8,0F H\q?6\Χ{H(XSqH02Ʋ hv7o[q7X ]!b#_X\DdY.2: U ׎QU>A@/؆ӓy>8lыkK[c0Ro(6% qXpMS d\c[MMp]jb3Ƒ/y%ǝ7E |[Wķl(FE)A4jT@1:fagb*j J"}+o_Nvtx(7ϣr ִH35<8S`Cf|0ʲlkY6ŜۑdRNGMa^V8 pjn{Iijã: h$i\T|p?mʲ=>0)ڧ3Gƌ? 裂I}wP 0=6_xI4atvˡz tđIw8kf-_#1AߙǍע04?1qg|K@8>/xi=xgZ6frWtpdK4emϹHA)|EM^p^ԅ~<\_PAStɥĢB@qgw?5s·#tߑmI[ǘ*cN{Uk;eq GPV}1 '?LGL<ek$L~ODsͭG!,ڙr_ 'mTJygU/|ؘKea̓`*yS7] H'5( ^VLtJ2)yy}Qd\P;W&raS!R(titEr!i9M0h?Z~<[Ug(e^0D4p 89pMDP\ְƪEY ߘ=XW18NYO} q6)%(*x*1L , Zu]ӔAd= [%f,Gz*y4jevA  "'Rrh%8lwKdD{5"-0w͕uQj~N"ޞG٧`aB)(/pZ)!d© `# t 6LѾ 99EEUIjvنf /!Aބ8^^&sdJ;qa"RRS0]}si} 9[ʿW9ܥhiȹIc{>J%(xQ/w<&Dk Bův2 q(,zd ǩ3[s0=5He x8hIBܳ<+-{'fLb-V5Б)pܲgT(k%VcdO7/87?qҗ/ &Dv;nKeb2Eg`c$ϥVBi"zM,u; Whޣ)^(T1s5, t26rkBj4:+2=> yyA  1qq^>ץR㉋j_MJrKݴnC5Rdke- 9.AKh~mx<8KY WC$fg$H%+lp̽ U,@5%Z .zx. M'N25vlűq< +8g2 7AHAkJbWMaOjw 7)𶙪@eNp0ʻcjћz o8 Nݳ4Y[11u`׵K1Ag>!6 UX6v 3 &EAIC *㹳0U{D"Y.Re ؔ;_Tˑ=,G[YRub΄lMR :FM] W!n oMD(Q6]AbObC"*tWR#FB0vG[o?54N0<[J.d~pB3A"3C[GbF8#O.[1QcÔ7 Nڠ."f͛+,I0쐍ם.,#` 0\:X밢vu&la[ (u X}*<:9K'` &FgcWRR`@:*MWq ^鳪`1WNf _QCX 鞞Tf=3zw{aoǀx@vI~q>'37 A,~XHOh w"ڪD9EyRS/hfUa(Xˋz!T+Wgl!ybH5t {;lى /HtHrR)*FNʮ~)5¥=EŪd3z$4ʛc`y3gSI~#kj]wƪ+)tG%0I.:t:XI4ĭ{߱-DHQDo?hGN!V׭PioXU]ZtB$inB_\B\dd"w1vpdgkC?( RJ.S/:$' aѨ~k"7;3T3:Kbm`(0έg͜SfQz ^i]]o>uq*BW3lp2kԔvV^s0ڄa519t@J +NPf |[}CŢNo@44]W3ZO9T^1h_nD3R5nlZ)DS* (Bօ~8]P) ͡kT?0w ZveOڽ\3x&KQplj"KCބ֬K nv>")܁oD,ʼd ^n _y 6d(lֽRS#ƽ*$4`gT<0gG[7rzvb:@[cu}ːFړiMpwJ(}L鰄ij23?u] @LuO--6Gx\&E#:š2GJGĐ$V7wi,Rr$"kO21`CJX쎦k sVKYlx6!2"4n=rF+3rи.\{,{D eRH~;GXb1H*TB<:%U^Y޿|c%/ MMBʊ_A/eߌl)k}fדȵS=l|^K`a%s>NBB$VdqDEJ}R&b4hȢɆ\:k_&NU`0y#Ns(߂s>7S!GU_eL7t{{+)vY 3NGĸ,PRErƪJ:Z~ : (KxBYJ=bN KKQtne[g4=*Lv10Cx]?L|,NW-Kc Jgm&Pӥi|?90_xT4}h I5|5Զz$ o4Yf5KCv`\mT^R |:y^Ӟ/Bʋu':`r^\av;Uo[{i bS=q9_ڥOꋓyS&ׄ U!BGD0iPMτ? O3E1s݂.1$*O. + m孅,oxYoS%31UlQGN)Vp7AE\u kGիQC⧔ef^#:B-ԥ<H9)T3o7;&%N!B,=a-=>5_L.չN K,$B~=ZMXԶ3j >CלFF bTbvg'!#0:mûOشo hi6cp٧V妶vsQa*IzH36fٺdHl-sb錈t&Gj\ϛ7-%1{9=t}  i9#(;/C4>ږ2RQaϨAċuv,Ĵm6g1 W@1 ;NYMC]u|ܵ'=vEH&5 mO)M* ++*lPx붇ćh ׌q㤢TٗM7&D9o(Gmm/㋌D"]CipzN|uC0ߢž3NJ&nly$,+GI׍ZΟKg3n6"Ձ">U;? q/ݽNV5Q\WLwuܡM402Ǒ{LiA2ɦ.|ggR,cFɾ?gן!m;ҋ&V C;*X!"x^\[ -ؑNgYZ7zXZִF! SZ]ŗXi%E`{Nuܠ Oڅz>0iO}|NQY3_Uq G%2h7m; fKL\y;X@WA<6)R[øbljn$\-̊0 εǦy7:\NyApvy.ę7DטX{/jj~2Jz᫋ |Q^ &U*T]3E]/J} p >ȩH3Ƅ-a|u':"&.-B!5S憎@g@XDӝx5Rlg1 !_LscvgAF(]?Ԩ|AAdXfԁ\i7 z9iVŐ) (!hCG\p 2Zb)}uud] xSۇpA5̖}$BfI:3}YTl=g+Jy  4<knX\ $Զu4Mi{ 3FºSr{=+wvUm԰ |ug$̀V= Z2;V\ Mx:2OTP-G3#7'medlhTJ[ ^-C%%a 1Mčg=z^@_N;OtxE]f!ZK|6iQa~3e޶9A]M kJp$ K䍷 _{rk IZ>>s|qf䡶 Zc zɋ{x4ͪX{\< xssW/z;6( Fg6(i5Pӛ !UZ^i9:" cRM#lh^UL"$En0'Oi3\ F91U{Iұş v0X| ꅝD(-*>4l^ -+38N7.kaj+vD֋ϠnJ)1p`7srv#Vp+ ><0Ö%J߭kR oNJ6K ~+ =]'%LxΓdsE. J-ʷXԧfr{ꌀ/ၨYZkWO9wOJ p` :V }"٧dr+ NOD6 1}]Lf{.j Uf8ִ{#^&(BbyU㔸"ψES"l La8y~Z"uE[ʛܗ'aj}cm:^jI޺C^:qё\23|V:zjŜ|R!K`?AfN#Zc%^"qМ\L"C'䫼TbԂS ,1St;/s%Xj-oMiI옌N)p.)!7ՂnGlY7,neˈd̀c%+$ 7j M/Y:L=SW̗h8ԌjΎVͱ?6d^+bX%šrZ@X^Z@ HV9}@JF%Ud$L"kj`?g=<)M &j3i{QL003mJP }qv\57+$kQ>;՟,ǎ=#֤l/UQnY&.#-^[zrTĩP W;81;/i嚈#VР72<nr0BEFc zd9?2xQ;>:+ ^C(H2P~ )oɩm|)rUKaսfVH\BK}oHUZ.rp#ʁ3~%"ފ~8e|A^!G-#|xW=16BNob]sjdpJV#o#'\ pGFS:z_M4F h )OA~e2;>BBxTጆ-ec- WRxA?Ȱ*r9GTcXG.c?d#w'34¡[8;oǰ6A**y{-v?:ggjXHۍ7 ܡdk 5αöL0uQ#fwPGzɬg/p9ъ>z;xoBpR@14<96{Ugiţ, P/6Q~4sb`?qH@A{N9FKuSP6xGҒWcW x'VFp;[P_,l$GQ\y2@6Ji-劻60 z*+ڋswQoT q6E:юFk([չGr.[jto_s^ 8Cs&@ܹ8Udخ~T9v~XQ 8xIxՊc@.u=U$Z@]$\n)Y1mOz;e Kl"# YLܚB8Kٯ7&1+ቾKE /,#瀞n6^Bxmř9F9SO`qRl96s:ʦ5YHq[ R={+xɹnsL|;;_u; x $#V9k, %5Xa@.^&<9 ֹD= 9dϗ-md<dkt)f#)YaoR~iRZ*Y6 ~U KZu]!]}.cvƙE4^g| g1 \y4Ayb1Ț^18(:y!JT TrBPUC=r~eQ-MH)>lLxŋ 8`ߒ9b,ck$/L)iV6^;M:ϮD[o1hz "Q~פɜHp1EbJi yb5DJ\Fǣ>ܑ]"ڲȶ p ZN6mB0yEA hk Jz9 |F: DJZ2 -o[(Z|;6^]zlUd;WM2p2Ayn!:Clv srm"P))SM0=~bػŃ]U ]\'sd/ϕ&fa6V'eq.Ƥ!BBReT=*|I鰡fuosJ|7U몰W~{XxwU$ B516ڢȻ1o꫼[ސFjȒ7M;Vxs=|~ XQ-+:ٗNEVB=nABzRwtFMmiBe-<$S¶/ZK~ &u2r+k~^/sv!WkBr==һmsM%Z( *@$#oXFqN! eS$+qRndr#d$|Ę z>Ap#W ywhoE>^{6UpAI3JI&OUP uDbMƺČCs[1 \ hْA\ob&{ ʄ'"dh%.-(}C%lݙW̚CZ^tV$opkU{C -sqgt~]dUΡI"J{\EoKip )$nLBq1:y/Rd.WC~IևBplYl@QIǭ͍1m~Gaj# {f11%-ҚrKHHZe  $CSg$^QI#W60,g0'1p74~cQ !#y[x=~^|Vd,^xfX ]2JL<5R53;" ,^P"a~K@Jp;[dYh.K˲ޮФ:=.?p֣o<)Y`"BmcTFsYN^4F>R;žS`gbG(ZijJ)U/vDs7X34]-2BTP N>cOy%!4Ȣ>YQQd]/8 r\~2pW܏Oғ@\M82;uR1>cM ۜ"a6Hη UIdRZ~)e8߆b|v>QLb p_Y`H,٠g3Ez_Ԧ4\ʪm;vNf $"2;tܕ/|/ [F&5.lnuͰCMk)wIϚi@ʽX'dTC_l%\EƧ8sazi"\P uw,92 Y(gn_h F3|hcHbi\r<1\m8VNtȫIǩ8br]b9IZ50e,W슓mz0=p0naxp;FR('@? 0#$;\KjgJD[#>v>vLchgt SRї m&£#U'`ܱ **iJu)NZLZHV! S뵡md9C()fp""8j6) -~gNS^=0h!ӵʉy,qU}UIjvgkth왩 D5 ;xB0:=e364k[B㒷_) |뇞2QInrm Tho w!ʯ'BDso9=LLCI{v7_!Sk5PVKٺn`bYYq@g,ՓюWBWPe ^ӥ,{hLq| {S O%1BIri0%Ao_O$D/ۅYd lLk~w21w_9Q3;Pe(z {kQ=u1eyfb|hFF3$qbKfCXWRD*ߜ[8/ؚ0j,-ek2gZGH@z#V3-{v EmPnJ9AŶC/AJt  $}kȍֳl$srz31i(2vFOE.j!C@1TA 1 @2%"BrsGrEySEWmuj{pt KAׁ^b{G#cÇlIq[4[ی&~1[^^? )‍#ݣ>뀌 J4P9 s7ۜZs[ 赫 tEPa"X!5K=u3qQ #`my푼1~!G"@ҕoخɼK^dy^~n3*bԾE \{7Rt=H;ZY{L73UouV:Hs9 ;CVABd|>[M@,|T!ouȈqWo1R7pI_7 6!0N\9PGaCz]k\r*&#n:n*AƁ8rӝ |?gv_g]vtnR Z_ݜ& '84HS{#* +ǵ%NB3&eN^s 7Բ9^dڇ/Amaz`=#UYCKia=>w^0,yT`Ol&4ꪽ&-sN毌 jMpqA{>5Nb6tu'*晝0,Cs0ze:CoUR[IW',?Y.4 Sq70Tæ촩pv k|УG|UI~c7` Wq^ xJTaӣ.f5=Br$ɴm^ n212N!{W!UJKlݾR?6bDBfl1Gu 4 j^HX/e2sxf@Yib (yt-K`!ô Egw䋅<<,V>;!HmX"$jl=H"()#l(HDNnU" 7R݅!j_l٧0^2f . xd™riGQL -rP] _T"ecM9_sױC཰y0 1D9jXrß9}K:]MXdq\|'pë Sw -jvK[OMT oq6}O0:۵nLzZ")v{>ag?x_d/FUuJޯGGh㿱譩YL~bV\ti3D i-brM҆RR2D1wsC&cZJ [VO6HPҵ6 4W/PS̉))SzA=:gESxi/I"ǃ| O/焳aStkK†yY$9LA1,fu}{g6 .~| (΢ ưɶ)]iaB8R'25B-/3!#Z^ɰi65 m?(?l?}_Oڑv: aIEy ~1HϹKW,,DDgĞ|jļrTϵAHZy43=ieM *45{kU"踝mך,Hf<3OokoixS 8=j ^-1_v7_OntfRC;~:O|t1gX+uExwQh .)34dl7abi>2a FVR~e M{M1/.pՁVVoy/*҈i~--f@[Pد~vjS 3bKvv-IIG) SP+q˒hXwJDVS6A+Nh,,VB$Yʔ^U򲿍yF`pS#tЭY>0y{!C#Lȸ72o\MXR|vZօϷg8oHIRMa_3ymEH2#6ݬ4>pR+ԅ~t,}{ǎD6^f|4pleGI;:6wxk*bsKqnnCF&0=Q"LjW!'(pK >!RȊ! ϝQ\<U1AgoKh'&uGq~"6HrCӺE'5iDO[I(r9əa0Apd. [=Ym:ve["Ĩ8Iv]r\ˏv}B,(+=Ǝ^gZ8zG5W/f>fX< d u@'$m6% Tu r|(r|u 8Pd}5= 㓙^#9ʪzBy>S@+sTn@X7 GR}4K2?yy bRo'tގh?]ϕh3+k!| oV7Tj-1+q,XX:lafC"OVꞓ{ɕ8'F!)R<0z7F'#Ja[*kZ)eX ӚmB"Ҳ2~ި2V:!g=[T/qVNm[X7iKfD}щWf&*F2F{y M&hsωܥ&]pͅ-1銥<^3HӶע\hf: >]B7`/?3Gxԝ89;@^ B'Α<1cc)faN[) *5T 3&vTNK%ReH)0D\eVeLhbKL8_ "DH=uљuU,5ֻ|VzIS|^̽m [4X ~=y^fm|imYeϭ7L@,W ^ (y${GpśS:b2ARP/Mdum  5,|sb,1ϸ*sFa›sG_:E-k|%<E)SƈG0d>'0S5?kxt,0f ȣz sMQTjx>16EJK)D!P\,zqKt-͎ot>B|OJ0 N&Ktᇔ. Y# =DvJ,r i/bD7LrD,R)+z3'`3TJ܀޵Vb5gP\Tͼ|['|U> H2v1eT^K%_N9~p}, D0,|2p]+X܂FW5H@緡`myfN,{CŘž>ٙZ,뺳C. `I_j +'(5Ԧ_Gu_*|ՃRC;@ }$ _<9wy8X("Ӆd3)AJ3_'k $0Cp#'s1K;e8$lGRט/d.ţslI ? xtxS7l bƝ-8=ާ*19#2Gړ)ze熾 ]8dV1Mʧ.M'nm-\zuyIW9x+ ST&1 S< y=5 pXGyyTL6j#4΀+xө:ݸ*H;7}xc ul!v.Fx5x;RݒAPrF5Gޏt+,aޯ0!UrFgi7?6^WtpĹfc63qf,4O% V/̷!A^㼺1BIXIŃ+ 7~RЎ%{.|.>‰tYx)Iʋ*撦zXZŁU${<_`}^4ű*N[s++Eye2J03+ KV_ڹ'ڪ.XAwc0vuzƊHjve<6D(&]l~[Hس<ikH:`Ro(#^\z`[+DT@_/"a5aUaUWB$(ࡳbmeDqX#u؝Pju`ltwus4qޚ13$ǐHMM٦k\rB0𼆩.B?x'bE 7v/08RO.ԂFR ;:CY~h5_.BTIBÙ8(OjzPɈj./RXÿ$hlɹ*C#*6*п~MaMTN @rw#E.unWY9`OOU//YIAjΓ \JR`?rmв'1ȢbZ<#r.i,CKQ» J:P,nQ(;%S: l0û|o5N=-+9%'q".dۮ?ɅWpU|W &R#v F z71G 6DCX(%%J2 7u΢:iY2r1қ edDi֗1!6" a_ \0x*8"v xH<'Ƙ~~ dFgd4ka_80 (PGqx*:8c.Ț_q<aثgZ̻8uXJM4R4z_!  =VݶYPb\Lߟ>5ߝLrۃ$*md0Cߋ㐍"H+{) ϦEͰ>Ǖb( 8K"#b_a"Ht˯G]7I~ w^clT(O_omcџe^OطX'B+6uqs$2 %6F/ۙ,"蒴Eo z] ]nE;6_2Xվ8n( /dK)3"ACeu=<>Wn|9eiT.5J4#(d o3#&DeVwܠ~ĵmL+n;Dg88AЀiYϓi4/琋y]18=oqQ> ;sٮMP7DBƯn bN\q OG-:` u$PKRKb-#)ؾ:18 Κ2Dit}o#M@~XD9a>9h tDR<5cfdQ/q5NE&x۠ ZmXe)5҉Ư̴}(&I*X%O%Tǭ ?q,|rdvxjVf1rt]rmbFp)ZFcbwࠢۊ FGmzfs/$.qELZ骶%ȊT+L4F" *C^7 }F4Ab5QD5ĭY g93պ⇐; RGYܭ2w48ڿR,C⼚LroY 86X E|#hK`eVI~Iojl4f_]}WWⴃ xo?'0bV}[𳸔 xĺ Dq j-O1KJ3XEX\ԣ4 2(R['i[`K)OOy`UʗhPcXADcodS\ BXۑlJqױf7?-w:R&屉(yкc|׾˽E4%&uVjU1h 0~F8#md|F#Yϕ HƜ 7c(+e`97[5eb63ӎJXtIQ-lgs"%Z"h tcE8=h/,{C=~Q wLwl_ZD2[ZJ ጹZ~cMc7Ebx X;ma|_]lQ.mD@! BUXmȵI\~vB (l(ygJ Ma]j'%Ks(|ۊs,*IGL?X>T8)T͋m'.m;S(pz |8F7Kv9:s f0!lA2 ƅ[nMMmw #HHB݊^gz/hB`YDoI'6rVhrSKI fl]C^6:2_/S):]`Pȧfl< ם;ZV_dDla%d4X'5_M s7 ^:h #U.uS\`\pY٣s<4BwbArl"c4GvQOM#cBDxFG]A8}%!,BɲGl$6#Xr%4YJl@w@_x gEkDx&6(Ps[D/W9>R>Z.w99K-5h(H-ȚqhQQi_΅ uàxIm18K|ǽ҆6G ͸n ,̰_99Q q+Jm`מ/CܬN#JT{5AٗBgl\j:ӛk8ڕ׶n&L/yQ&HjYs!Ȁ$G&#ڕC$U 3Zb6ݽjd2ɻb+~ty}zX?QxZ0I P$^i$lE+-zaU TW:[w$; p_!P1!aͺU10bDU]˿ R-Rm!r&QUzyP{n qP2G;}#S 䂄۽J:fK$20jpL1U29ΏR4辔O(ؽ-0'@wshZUh\/uB}W{vOZ+5ș\tyX1|IN ̠qɺiaoƼg3>AP{g8F']s6T=\I>m XEB贪ɳ=֓8Y^B6hm摂OŋؘbiB`{}^۰>%rxjM% m. h#$3ܾGbwK?fAgc5=> ʥuf\Ь v1[=^auq*d('v4Ү/&yjmD~GG&,K|(t,F1 $V m/fmS53-INfPM!W'Đ&NA$x{Շ~aWkR&)B#T Mwj:҄!BCl>aW3CDQ#&@3,MZw1~~N,b,_eZiZDy.nl!ΐCVTBTjbNDtNJ{h|A*pڱ' 5ԎЀH#6MDz\ŮJ~3bv)d>` DĨ;NT5Sd~݂=!՜87 \#ydn(, =C%OOr.0f6/IZRi&x7z [gTMvOIϐ{Fӽà4_0NFbc Rxgœ!g1&s͢=s hxդv<$qOsm$N~kЛE!3,{LSƺ 7 ,,,feO aK66RˇSXg*GrLIxǖ&%p䙂@^3X_Qf@0S wpǹg\S%Pu?kKF<"1GpY0tN<40U_%<4/E/Db-zSkhH9 #8'ha{`$o*aqb+Bs*6_fgB`񴓆_ez$ӈa/:1֠mz5ŴUi % G .EOQ!cQɖR,C(w>μz=q!ڵUěD~?e! 3rf}D+v]l -H:>t/3yw(-*CHIEjI~2?pG6T ɲmYAmP󼯺։q.?5 V* Ǒގ~Vr7$E΀_/)h v|_8ں9c ,"lomFvJ劈ʞfB_C %7FDqw6joy>ɲ/gv>^w]v?Z!_E b8C2" F mHUUTC.EBKpߦc+f[91m{2kC6lUD, Lu ML#5 /LB|Eɢozyqi_\ǜ)˶#7AXOlslOt q2Щ .Ɉ5p6JWYmnU)vC)j6rY/>BdFN9w8[a%h} g*t#cԩ (x"$F9ʠQ"7B36?BzbC]vk|5; փM1@,Of+2Kz7ʽ7gYZ8bb8ab6ddb93daa1ae6770a8e77d959f439229ab60a148b45ba9a77d08275bcbed1a4e03ca2f42ac 32022e6d944834e4e8205d5bf1712d14f3818068 10c55a02344b6fec76eb7599b497a94f63386c72 9be956166fcc0ec4794a49fd84a32e8147f5c90d f873f302ff5a8c3aa2af130a27ac408ffa40488b