SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  r!< a]]HOL-Proofs:threads=6elapsed=817.703cpu=1776.004gc=480.320factor=2.177zXZִF! ӜW]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb7c-OS!$jJsonJKCjtx.)7L w%(yOy׹H8O#g֪2Ѐ'z"ss};E-+ c Nu6SpPƅV쎺`ix2|p!Ukrxi@"=o#'OH^0uV'h'o*9oLkN6=dIe~C UM6RO%1& ]B|],s/樅Zo-ӈH,eF(E6'XW䐮@qA{[W,AĒjk &j~g]5 ̏/g&Ϫ  ! HOL-ProofsE 2:D\9a9R $InIQwshغ5RPy}32M2myfL*81M;D5zIcv شy\Tq ]%VJ mXP>L^~ʉK:ET>OZGUpζ@`ՃkRgDyE 7"aRz} n FBFVL`KXA$q+^B[xd$gty5 īh$XrVu Z;=dGh!`++jbY @8~PSd(%kߠ Ue ̍so=#^#wbv8G*#l'LX1(4~A6]~ޘe-^M UnjFE0ut)" UWlR pb:NOFVnߜn`w~t8w  HU J^:ԻGN YNW4q1vpz$|r\*Ν&#&LQyKk'ٷF`sKy:ŽfpӐ^g~m0BoeOzu-*W`B<~XjF H7uv;O7ɖ^psQ"t)+8/ja a`1@~\PxB|㤊Q ݭ2F ) |-KwTms#8IE|հ]X(M$鸢Re%[M7E"N^c" .$4Q'R=* kp`]S{^HuԹo%~3.wdkaQ"ԎafS d*"7<5'EYLq٥@lU/\`⬉δn7L%{3ݓ$}%~rZX P4piؽc=Oeۄr^w~&܍(HF{}Vl8:`TՐp2:v$*s1˧V0h%3-9~ݜ =ްXyBP ]7Z#+G6 FE*C 鳠P-lm[i2ΦY&" t9LT JLB-I3׷q?+gd0 |.37RQ,}܎5ܱA8#kQrq?Y>bl &ԛ>GyN"{5-ʿnoȴB@)`OH6}'Mh]7g+PK-|Keml4LːDLھ54?1ݭ-() Hb3*{5N񴃁Ch< >"d|*Ӡɉ @3#;HiXx* <(L.OaS4fYB-mPv `e)1+{6Ll/O.Ʒa9b!πpLz\y#jk7 4:  Rhw\sJQFX>䴤l1^7W(7!,x`26y ?: wQaBgyg! D΅-d 2*WB4rn7b5(7ԗ|0+sT8XU GX2QP{c+e>m4‰9Tvڶc:3ߣ9>Pg F>6D_R{jF}HjL57C1r@Ky(Wt C[es D[\[#[`LJȃm.y(`?ފxljkXՐ~ۿDd8i C oi5iD"DBoge̾x=lE7q:Y~m0%UF$Ttr#۵ O||6V@+rʀGKhcyf*J@ڦ.+AVLM`^t^VܞZ@4|~߀+7%N "kR8pk.ň [F͑ <9@-HQ NCVn+/ӝa5츦d"_V4Cp-9G#v~W?V@ؿ-~j[ĦZꈿmJ֖86sMTBd6+-z< _PBĠ `Ϸ8⇅Jz"ж-* Eo4>v^rqCfarO; jU>w!/|bKwt;)z3(\)zBzLذK l0 2B”D?r@UqHSt,. ?z]i0B,:2S?]/>nf{dsggbaJq2,xK=LfWDF;0 tT+S}hed$`E0@0M(HTPDًFf OkJ**ݦ?4@s臭69Xϋ{j /cⶤk^.yR?ѫK:n>]>,%ԟa)if]#MA)䲶8>Dyգo*5.xM-ëI%P.b  9wȳ R>[Q(>`Y] Y~ymMd]9BxA :o! fEYoiʾtg\>dl|3?|g݋"(mdz9_*ƪGǔG1h&D['/Nޒ7IδB* P ͦAg!~;]}k8ni:`kR.U 剕z׻"qsUH&UE|dDewx*< #n,M~9Y6#( *=Ql *CPՐ=jnmya>v d4o6ݚ&6[|3F.Zr~A_&2TMhG=Eh*!2(}@h3WP&P}Nst)*!e&-zݦeK [+KtWuG]BNa?x[uty8H`KJfNzbd(F/ь52ΙE,.#'_%OBƽpvKYwodtSi.`wVge?$TS4zead ڱ ;;GM;q*T׸&8)?xWUm_Si.ƭ~7Us"?<{HT lF9c5f<)AABtk>c#Ė]}p-ҭ=R29>#o2 PS 4m }rcG;^z"@1f;]%зiŽ}Mo5OO! }X]V츜6+@-yu-(Ȇ~B>Woo.`O{%{zRǘPaUb<eXvvg,[QTί8 Su5œ;$>g"m-A{ QYJ .րb8sS&KP&8rfoR@7 fUf.PgYZ7zXZִF! $]ŗXi%6p<@k#H< #U)D}YR `P=M$>et~rԜ܏dbG1QUo%Iٴgn#U:a&+0&os}'X]:o,@^ƹiK\a[2-C@5\~ `&tOL!Pm= [{Oy#󾺴PďBP T`ma-=c-O;1hO?ZJa$ Ij|2К %o~#_5ˈ"ҖBe\$onyquzcf4|xDV>5˂_9lDIsҼ?ɜ@ j)e$Aiqгb3B}/S.9h-ԇ+z<%\!kB˫/FG ^Lhm 濍z' 8Y,}Qő oM,[l+%5+S@6Bڐ Y{qQty[k|ߴ(qBVcT.*(UlTs^}y()Pˉs(o$>:'~VBκ@ d @y&Z .1*+cْ#M};9gDN3+\{njd!L 6D[}(9e Svs\w:c)R^y9ğ(CN[ߓp UR)Odu B@MBs [53"3aBPKlL5D[C6" e譟L+nw\}kȃqpTަ75"IF 4(V1nS՟䓛|<=oG8I|iس & |VfA@) :ԗmsf ̤>祀7DŽZ-Zወ;cU~$6ME $XUnkv7+%;zlkbJ^42(UXYz4.wq 錢 No2dwШk':bY ?F!9Zrfi3Fjj$Sߵdyes& B;EҐ4mt%/`.ChJ e ZivFDz!EXv-K:֢믓kZiZ[DtϜ0?`ssRc 59҅&hY]}q4o,0Fds0JkkA;GPR~LtVݶBP$Y-w"9Ǹ?KI̭mqS9";-5 `ǓMh [5RSk=3MPvik{C@aƶ}}|~h,ѵ=Z: Vm4IREՍucA<}tOIN3m|;2svqHglۗ8ST퍩OTcr'\tnLxbuZн$H z}K#9yT*&{a qmPѦ*QݫP"?ºJhveΘ6 G(4yJТpTQDEޯ&eݐ G~kZ|<Ξb)=-ƷfD"qHܢغ&;TknJiV_~q;Y`h^4 ,?L˩iX:<̡ǡf]kdhMz@򛍦vlz?=UdHtV}_–pn~˵|K)ƚ-NY̶6avGkOr_a`mI3'čO68;Zֻ+.p,\8\Z5;{$&.".rBXS$YW\f?nq9}$˸!S (I] A.z;s:7a; &VoR`Zz2fbWmUTpNx>/%dd]Y^a/0Zm$:n -2(݈оw؀x΂%,Q2BAq^M(BlN<t()q6cgvϵGm|Ws_ޙ -) ncJYnTȔlqG+Z2B쫫[csҸwԱ2Hfa̜M腅[^mb fW-%{_E˭ ?ldoY7B3@ֽƳmN!S WljBx>=qjvQ -C_$rpYaxFX (o^;!BVE3UaU!S(%/qtMljX8`B3uGU$?|o=؂rtٵ? 2%oUM]H^Ͻd {L'r\XϸJ'KjtMc}JjlS3'A0> \Y I[3D~Q4 "8HLjrufuUbl&:TD p!a] >QNNx!z6y'Hǿ'R̅^ !7ܞ+NǀuC&M:F(ai m4i@bt?`'W?ߣ|5˱e\.Iu>d6` 3my4'y}V8twaV蕠1`?s{wS'7Ӥd[7:.%idե;HZѕuͤϠ0d.@@T~vHemlā\;̑%Nomϟ U2oXA]4ׁg^b(bq ?5HF2PM0#_)EμL'Opȧ(]cO Mm%B%KvT)+%Z#? ?B)be 4L`A!? ^s%Hu1 N:6jkq?D Ãp~hEED}S s Ira_/rZW}sٱN|Rh۾ N#nE#KّL`loh_F@c-@DT{j!H[[Rb72^,}Nf,^b˫ m*~n[J!73J<^%@8HDrDWsWr>/|!G32 gt3S Gm{y8`^z͕#%_.Qq{d~w ~}  mn$~w>񭄙!yKuH-+D?c3, yn ܁3Q  rlVi{ob, U#gDwL~KޡdM]O! k-(X+9PevTF`RI>O@4uHٶ~#4 1jjCK4Nq:X Ս+{h?c6R%翛/1;1S i~ ۸7D%CBwdu-~S:ỳ"SmV(U+R^3)i`?fW\H5̉<\uOc {:8)slV $MhT4/ɋ@Hzۅaȧ7+3RKᖰ5*U%&fV uǵ:賶^oS*zy\Bg%WSRsagTLlDN˚^{$& 5ٟ@H{cℴK+ֹSBpPvi $eQRFW%Deg淙]uXJ)m?3#y o7〸Aնw6e&bĺøyxػ)G۟dݞbX |`t 2Awe\.&,K^#qwXD^W8n>7ܖsf몙u/o<ԉBɟ@7ӷgs !."X+(P7dfPE;3}1L4.g*Uq Eyf, RqjiR-BF2IG>MYëu$}C;|= _]UHKFE5olϬgrf "go'@M cyc.TC}]|8 DEm`nN0 ۶Opm`3A}u9)QK;4#,߻jnA-n(AD˷r:B)nːo~`}!8Q#|Lmرc}G"U^B7cqGyL<{{6Q>ԫ/P\IPc]X=ܜwE4rmmaH$GeCWG~R<}5$qLۆ5-TQ "{It ~{C @=p;u`0ExtiH aT (+6@} "8սgGq9 ք- ȷߘN sm8z䎇Ecx?z eCF 24-]>!CQ %/բoZ|VD&XK{x|GgmGe$:s|zU -3N) zj xUZwcK{:A8g|DAMnysބ %(T)+QX&+WfHp 14J6LEASf^;g縉oΰ խ[Ǡ󧏢oXэ+ o$d@g.VKk/"v>7;u .-L܈O>4vRѱlLSb.5-ͻko351AX9e&)&.IQ pBC $Ў}^KfGTvZ^zܬU]tcNOw0LV1wm@"G?)Tl{jlUEBE2g+p }M\r@-WFV^E7ZJ{٤t=z>?.jlS;5r4 }A Ϸ3l.x(>Yo87bArx 5NӱkFrAD "B,nM͌ RLh-|PUJn:TOBU'6w0{o@*Ne8ODN$BT̉_"!.߆D*Ւ.V$ʋ'",?RQ*RK3WGcX aTc"(zS 4rn5#,N\ B&W/ijS`!ۦb,tzA;r(i𧽛fFK8'l%0ec8urXD"n͵/#U8Y ʎ$]9Ew\p^ͫଣ-/ @ATQg=Xp7)."exњ(|R f95t0ŀd>:8YZb1MP0 I*"_>btUr&C|sߑ;0MǶtaxHw|5iujMa9ӡ3rd7lZ"*@aLRH86,Lc:2pN7)0}>զݘkv{cyL\º'Q\P=RL# 2Y;9Q-6R&O2o9 mG*/ Fie:gTµ{1U3%`*]l™>{LMg壗[ -CxOCL䉉QGFɰIbݎ-0 *{ Xv_A˛V=c &q7ȇӶXVY+ڟh]na(2yWTJ&v*+$Bb{a` PE쭞&M8KJ-fp 05V"MFa<n/7GEIf]kGGE?ӳcۂu]S 򟹎 |eۙL&niD9FM3&],I Y}]JU8^kϊTA,iR|TaO~g|avXPJ3]hM _s̠W;-~΋ +U 42u׉}Rs[=;yPN}Yg܁MO& f>xFk Cd.rpQovUZY,^s1,dMF\bq%ʴ6f`K2-7L*if"! x:kM=,>H t60EdH&\W  %2qA2b09 \;y0^3kHg"f)K|ƑLgUAyXl'Y8] X_R,15}rחZiXkbc.J vP[ b16t#|`ʡܫL^J4r;^_[SnQp`Н򑢳]x/$-Šg؉ETlI/p7]5OJ+V cQMH(*Y,D022U| 5U }+$цHV>Ҧx3^iG_9ݏTB7%Br qA[)4J1iƢ 2y$Q4SSv:l?`k+KiN iNgnU6j˒KUe*>GSVa-F$ kEa!NKM N{mh'b&tZOvɸM7euof=Dr߫ۀ"ChL\uSUi6pO"Tb#XOksĬ}1Fm9(ӽٶCև3  6+)~vwPA6Ѝ3O"56Nqp~^i͜2b WɎ6icCBxIc+Ƃ}Q)%UCw!'XMoxyfe&Y>abӗfa> Pi[Β{E*^zޱ 9yYZ?|4) ]"md..?%ܕIz q |#*"lM{ŸAs cT/d0fx9`yym 2GS R3m Gֽs$ݵ)1DJ;?aި(z$?}:!a<ˊ5&Icdn?'zzEJB61l)U B(& lČ.)4Dw=@-u @NƸ+ ˑ];3喝BiXj>1L jAg^) >5VؕwE]-N]R4J7sZLp%M͙͙{˔`"ߥEo']>kD*D"C[C`aBd~R})S'-<$W1)XB*-XW8c_iZŜQ;-CCsE*u wl$f;+K*̂BLN"ߵnSiܰ? ꠄAFlC:/?3A`(׵ʎ[Ta[.(*CI;x&ơ #o /acQ1yd4,]d8`Gx̴\o4SPjMɱ34qL۷Xޢf#A_%~s?y[%bbQ ,%VsUjQ!l<|%\}~g3u՚C[fZ6sb]hg3ϠMEuw?ZBkG>VbBFd2g'&)s.&/Y6;"` ݡBЛ+WȬhP1'X[Fdt)Fy|D;NާcȩEE^RY ]-Q'EDsp :t7i`}8>ma XbbfucQm4UPHKH \>(/ĥ\:>rHSd"kU;G [LyS'Q;{*[)U>NcMZ-bWb߯9lV|}b;!\ ݱ^mp|px]ީہEiA᠛L{%amyĬwF7>A^߫9-ոhLUsI; 4r<ʷՎ>WVfqU.w?3&l:R[8Ѿ,cX6AH2]kfqv\^.,ĎnC^jbCHPE3iM#QŔ۳SDn]P,6Hm5$*)43橸E㵫4Y2%h4r0E[ T\ 1heCC"qInA Cr4?5C`3#NaN&88kOU0%Y,s~XYS]o%'P^{ȵ2MY"T?9O'P*^aOwG|O`E\\G}k S( S!>"7Lم@Ws*_s*`5Ī%_Of}(Zx|m|)ذP.=-i<t)% l%OeԔӠ6ֈwF2fE .+x.O /5*I9xz<[XL=<%Qy=cY=~wYj_[]7Xv@/ę2PW4$,)X Xt8bm͉ QʯߢYVX[@}Zb:OqW ٖʃQ:`G"R @w^(eW*Þ{I⛗!s:@ۤwmzeyJB̶u^,@!kƧ-孃Hz?uJD5GQ"qw{,ųtu=.؆koOtn1ƍ=%lmUtrIN֋>MfOkG7RvAˬj< L{+xmR7*HW{6F%ݢ N=~'ܟGARwJ (&,Ja{O@4LTߠ)gԅ <2: 6c1=%wˍ#m.GgY~}nP;sByekul^LIZK4kpYh3BkzxTn%E=j^a+Yi$qb 3~DQk+G:->;׸ DakW97ed* }[2bd{jQZ'NvOPt<ίfL4 h;0WNQj͝xOfips东>.L6GSh:-RZfn4q.6;]},fis]r+9Z]cf G|ǷQj օqfU,ך'"'$zy鉌–)P&HD/;2Cާ1}[B3;~YKi4nl_M(cA\̜CمcVI'?GA,V'E&5ShHp5|hHy ~]qÚoA81bnh=emw0O6ש%+-<( 8n)bowjR>=!fb C"11i@"A&M)VƁx k\QWkjHI w긡I鐍ŤdJV_H| %XZ|;_8L")-2#tqj0jشZ0 eC0=e[eMġw%vO=I1ጾ1 4]eHOZft7a|2BS3K˵u8s4^u)ߔ-/Nl hN$ЋCgg5ߛŧMc?48ۉI &d o̩V8h_y (aQ0*$͞u3,iHF_+oS$(K"f0N>^vUP߰>X2?l^<Μ;PZg:أٝJBȡ P qBĺ%t-t.3Olk  7s[D⭽ǚ "'BjK`rޭ66+ B.= ձa ٥eqgĒgCLF{5ґpDA&/#ȭ|{;VAlxcP*`[#05vs+-g'ˠ+Or CC? 6$OY_+a&qc͡ϒ-r7\T;_֚E;v;}n664<B.0(FDup.~=Gc(l4(-!Sj(jtrʎr\L vFV$$pjD#&=\(}|"YqI҄;XԀk){J)_q'iIM|CT A_CpW5Oh{qqdHPzNrثvڸ%:uM抬vY tNxgiXc'ѯ*Ą#lar/*JF5Y;,dN o5._\n9ŀw<܆duZo\1x y4|"*OPocz=aE3|쮪 ޛ_+l7<".?] 2(֣jp$欂JC 4@)F[J˒uǾ,#0sko@d'2/֞KrC#mIc󼁶9H`9IaFmUm_iD6355o^ <ʵIo6B̭YrI Irz qQD"f}kbkDbΤ(ak6C!t 7)p3gO1rHS!!`€+8_ pp1w LdC'Ɗ.2_pB't-IP@[o@OBYcKM8!>ll*4u$)3s!4q0$?:x B bVǐo6LS1ރe}1Dx,b!~3%> /۴+$ >$FXi9G g5GEԜ&o#`#zŎOle(m2pl3#sۉ fϵ)WCXKΦK:m T֐m6U t2,e @{mY8Yw- PVLiagw0+DGp+B2 8 ]?+k*)MV&$G3>/{N<EX>-lԋQ:l JO<*Igz&GEbұBgz00\nf'vpw4 K}1 w>pMei9@AB/=Ȝv0H"s~Gl+Ps ,o麨 bxGx$Se[A&sV^nGTZrzqdGԑaXS{'9nY/W2.2<<1 ά! kn8F`xnЏҘ^,ry6\nc;9d$X)ЫDWWNlSrk?riNbNn7mNv t nUOFsfpk UA 5Ol E1'_B_P_\BS$gZV`3Vĩ+@} vA泐C S}%- Ap=F4&WA[Ý,Tb] e GP׹+'ʮn0ywMNNc3Qf@rƕ܉b:ksÐʥ4[vbA QP%n/\PPs͡5&˿g, JV6__n\QXBJLDh?a^ }a9s(L=WDBJ]Ly6xKi~M=ߊk)uzJ?Zi߯΀I W"TH@cB]SMS{b(Y2 朓Ieqqퟷ{ Qo*Y 3Aۥ ql  Fr z; J6rN鴙ǐ[Ҙ][9M^.K³!Y.*H?Oh]Rjp֩\xXd%r(P_ﶤoŤ>GVYM%|ۂ j O=! q;kzCAE*Y~^3.\OE ag17 &[pqɷk1dqVOWr; ,YyH^5XD c)w 5ϬfWs]E4?6焣9 W0Lr[_gA_ :'~Tlx'm*]  Gd˭. q USeQxrBʚ`P͉כ$%)"z y<ϼm;M`ة e ª +lL{SD1BL|X$SMxg|YلȷU!s[bzhטdC}LƮ$Q!U,yZg)8 wc8buP`s\=JjzҴq\WOR((kl "8Œ\V4:4 ]z# Ã*^Ϲ#l \^x mMK %,=fZ1^݇6Z(Ώl|}КMEpHƒ2%Hyjд)JȌ{Iu]Ut=bd4A~ÑVbB!gAu\92{bTtE2Q#y}*uba;+ ix\I+@[ r(EtFesO~G6uyi5Apj 3j,] i=>ҒዚWmL2:T")[%ryKRLO? [e{<8V TVu n {gi Qb7P]Émb1o 98,J*xuǮQPwk>{1,Ѵ Q+<1ˢ/{=Һ0N%Q3n֟$7/UN ֩7 \I완&ҩwLSZe9kO"*zU!kw{0 "({]5,c?aO]yN,妳D+¨8`:C˲˥!RD=S҃ si>=HiB6,O}҆!dc<&h_wC`un\wHa-̘ cȔwv\?[j±7$P k0-b[ ^O(z&:՚"_`x /\-QtbX@*ϺZ*!g9 ׫${u:2@RK"[YB6T&G`89Dthۉ$A F #ekLP"Sy¼RoX؜>V8\(["L7tCg! P=a͒f"0 <%ؗI8!ngul0z"Դ˖?L*( ]rW4'BKccIt@S_ox nkN::^b}1)k rK[O* sX^)?u?n`pRu[ɀ6Q;m%)Blt r4]B{[T S7xz,)=x{q,5=¹fL?مcAk5}k7gNd#98(7зygOx]Bc֢yerkxH*udɑ uԷ[-iydxzōb'F|—(4vYJ6Kh~{Nϓy' ,|(}2rɡ9m='mXB5è؉O.Rw09҆K|5:> b?Q%1zλ˓d:_3䖠OVZ.8ILaҝOu^ӷW{SXݮ{f\}iu[;չIrtv]R+:Dq2Yc |WS塍t1({v9h5RQrcC?PQtX~[P[^9 F1I=ex }*ɌV3V>eiG CT<u.,[cֶ/ $K3#uz5t_Jr:x(GiF)tg/jogq)beGKUuxI?hֽ$wJۗס/ـi)x=Ip{>}&CrWQb*ѱAz!m\ _CZ#^m ԾQbRShG#GǶ}A` EupURhW.~u/2t t70WcH<_laU(1sBQZ\} "Ƿ!]y3Ym3|Pq +,CTGجV(F 2ǃ;/oMJ]METpNZגT$#kƙcIʓRyn]*뾒Cl}L7D>2 ހDq2~>^& 05L"<%Kب!*_@J/ 1/ obpQ@'nwO}34"6q1Vn؈t-zk1͑8ebs L^?T ס D"(X8fVaKp-}J1 P5Sr[$dU)c+L2Xh"\L"+)q*ZHŁb2xkV}ه×>ttXr0iUJq ( g8Oi jkم Eh,6qlk{ւ>O%OQd҆-*CEpR3t(Oy2x ry<#8*dii@\KN(̸Y`,:N,F!rGGCG:0=I goÇglI|Va 7Jr߾;\OgeRI~^Ő`<{ M^QmdEYHoH$C˒ۏFg%,_nXQ4o~G[CB2PMsge,Ui˘ti(⁈&ʧ PTںOQCjH`P%̈́2](}ָ9ِHW@gnWhQ77Li*HbPqTM>F/sJ` ]ã^=CP^P/Wb5$#xxy4~™|ZуD~D ]r Y5F0 7:TZ[ۤ%5D~amGǏ _&׍5ja7 p3DdB-~K-8'YQ-u÷6<#NJVr NhY5 ljH xoaCc]6>hMJ0Nh#;q?wGm5a5K3uoSI@ҵ62wYuQ7Ʒӱ7" ])#4Q39"}gÀ _O|7q F>fcsemͽ> p@$PX;5=8At̽|FS)eX-mՎY ;3>ZG^[FI=攑]_NO{L7߿qrZQX/w".=J$d+ UICLN(FKD)3"0n:ȠぶtXä_}n :J$K|NN@Z@7㽨J":H(VgKhuÿ,%Yknr'.ud2:^}EW_R^Ce9XWLM} NP5` nZ ۉΞ~MogHb̚sFYdI7QXJ~Xl}# nʌ)=ncI"*<82*e %Z[_[T~qBb&O&\UGTxE6v ,g6a&KbK<4ۑ|Zjh''_%geUʫ geyG IchhT1l{"U>P5En|iE RQ像9iM0gO\PS98d;2l91/ͫnUu{;P=4M,uTl+kSڃ)ip5!gDA +@ 'ddKFWR*0#i[^Sjހ\DxϽ;:J>yc 2W KɒT3%2kG̫0,Uݖa'JeC/z I4mz}-SrirZOGRG`ћ\aԄ!Ԭoi W?j%$˼M^*Hv K$:65h \oMڬo${ >)%h^㜊ʦGͿƜ<su#(~ESfHRb]r7w `52hu !)jih`2#: VDQqz\p&n2{#r:p$X.OHYתs0~-uEwOɴڡx)"xOP Y=ޒK!=+yfs;A'R2z&{`L%+aPʹGZ}D4B"ȯԮC# $a0ծ2Fm&icyHiew4QeKd DΣB H{2w.qbֱ{aT0n(d@:lHx+HV*3e' |1*a3uu΁ZWs)]d1H>F7/7ZZx.iA|Kj;~WCEoH;71|vkX⵿n܍h<}@/.) %BNK߼_ CsSK!T%8Y<j<|" 叞\&ch0oȵ*`.,qIFH@Ir+J4eE|^)2VKSh%vc4,15\u GK\$D.u(5>vwrUc :;iS:w6y-a=G)sކ"rAAvX6o2! ɛ Ƙ(yn7VG#F g b +\\+0/:cAZ2tQ`=hlN>gQp]D`eu4-?}HB' M]E1h֜,E&wRUʭ_J%e.o/iPs`rGlTpm!Z\>*D@_r4>)d-VҾCJ|"{/Vԃn!cٛ L7]Y>mwvNm ?wW3]|7aiFR8L-)jpdЃz41UchBw’vү*݌]| ̱kd.9"ZX{y4 LQ˞k]%,7PmZ[[*iO޲B*7  P egħ!wt!1K)$~tRBNU&[{?F{xfT8_JfH"‚֩&R|9HWHl]o&AcN5#G ̿|M'`jsb{{؟r]Žs!q̍3y9yAxDZx5? ҂NX,xR'ôymZVWC"ӷs$ngpO*|忛gӗnT82f_TZ ?4@4.+(fv`-^t e`G)ˇ )S|XXz]縇UCH"эpV&(:TY؀fݗcW:;:.b>)2[n2Y K]@p.kOJ&>w Al^G9R,1}ٍ,T䀗#4;|Z6lC+\^cd]Ȉ0qlvB>rέ ^QQmVI+Ƒ LuA%*fؑ qsU26e%J Rg#,γ"CUM[./l-Pʈe꼗]pi59T0vYha*Py<c'U1HxiknE~%f[zc&ٶ`<2lZf L1_}g& +7R3_s_0c+mS~x8|Hd#ߟ%JZ#eY8v;M\^ִPΗ#0O(vqWY_JUCyV5%;:܃~WwXF(@,W@gvn]oύׯL~ qU-xM0F[łe}l.Gi~/ _&fH'Vh3٧ f|tnzEX낽K06 ЇhuO9"&sQc|/D4Af釜J'y:]>?uLTK^9z믹VJX†# ,Ʃ/4v 9/,c< =2,p✸I)%uzm] /9H5N,3=I[&k#@ - UGI%iȟИ*@NK_*~J^V0#S#ʟS͒^ cҭr C;|!*@F@LJBˤw*gSX˄_tZ&=2R9+``9w~xVlY𿶧afеGꔏQ:JмBۜ1\i-8biX@:>%nHeb3?*9&5FաX>IЗJIrd9$lbUpH X92LD]Z:xKsUYح9t<|ORrtpD&|.oȉa> ȳ*o}6.G3 )H'_ C7e% 6LL똁= )9>lz:?dmk4Aax-έ4nՖIR͂}Ϟ&_s2+jSx|>ǡ)Ly߼zYxBOkUq"0J<]KFf2O'25C"^M&P:ύ6IP9V4O8 Dg6yo/ W Ş=Q@Y q`Wbz?ђR]3AM4b[ ڙwQဿۃD{ֳHc1 v@c"\L$v`+gGz`ERAmQED ս i<8q r.'/p$Xm3eȔ (n ډgmOY,#OBC}I' a׏E&7Sl]yVE0gDûG4p;]5RS1T*wq={}xrbeQwK Z /j+xP0Uܛq~zz[n\@^vgZ,u|D3@%XT[,,]( ۔}Ph%to~!+_ߤY .}"ґ̖W@^P֜ &{/k'0p\W6kC]DCDUg(vpUKWFQe䔖 *|j -֗Fb!P:~DOc`y|ğ\iiZ!B#3%pÅjgN hy[YDP[亹n;/|%HaҌU_f x^ ȳwH 8Go3H(` Y<JΛnlA$gnrd3Y6}3` ?J%}@a~x Mo>b*dn /#xЍ7KN} 8wԺNTn"_ЄͻB(f<9qSs})/浄.W^PuU$(l8¦)SR@͡!|ZvaB $TٵNYW kn،<E_ Q?&6ݶ/ .)C j][Vm1NjhztoZ5%Ƽw=Eh}Ptu(Q)5FOq u|rn7x){zoR_`h"p-] a|e&I0[Ղ K^{}H}\vIԗ 0#ȝ'jޢ[KLgxRx&ǔ;Ƣv]e5(DCO"!h&JCTazs+l֪Fv,/#A:|\;е~nݫ)VnI^^QZcFݳ8qt=-SkD-z;Սϟ 4/K~,\. $5tOW֢3 Q8)-2Dܲ3e@=:Ia }kN:]ή̔HP/c8TCѦֶs>Q;3#&CH"+E̽+pr25Za/gYhpLq ©arzkL2 ߼D\/^؎҂#1;5hhqh<9zYLdv:_GEGH,NҖ1N ⓳Hq-2ral&:Ѝgg{0&{w.c䮼$s\d9BK3&=c(GJy>W{I޹?*\+ 6iq+eHاQ 6WD$@e@3rhVBbxrMwKK؎f;OGIՃm22:#""op+0o!SmVJiH_k;UCW**u˖%PR+MKK#6KZn2d)$clת>USOԧx|C(3`U'-DvHU>wٽŝl5z4%!qէ"[?R۶3%4`Q6N#Ytpi@]S" Z^cqg0ϯ 06 d/~lj&MؓFUivI8QG>BJ$A N u{سԒX;qzxDz Y+ CBQ`K0U=c2i#\r.7uvԳ<)PMyǷ3!qlGEoߢT{Z4GՋB" ~1Ep;Q;K>@^aJ]^;n ,&d% 1'E5NF%BKk4 cFVQT ;\ 4>3^`ތ| 3WY<-ĥCq4 ׵ms6բL,v]mR:AocGIHqyOPj7.4@gq'mzX3 (@Hla:05=>K+QPHVXhk64kuҫ}=nSSk/ N3d4r*Y@slK$QtƷFe /3X5@1`>):m"6^i >Kc|=Gzh;ZZѨÃOs@uk~%V5\,G-d( 1$ٿ>cJH(Fo׬4ށ_}*pJt~UwYCWs^C3!9wq>5`K],^/ro]ٳ Lf,`M`gRbef-L_28wR@T8聴W+5K)I` |huBBZŧ6t' ցtY{qVD G@vsI0@S0Jq-!X* O,?߀F'ܱ}=@sO|K[vwZgHӢ$muhd7@G3j`־%R K[=7H&PmJ'RBAY^U6o·flUApUF'>,/:_VWs00kCҸ.g]´cp5TEaG+d&έq$xiT.jKD >[ 7.j)JA17D6ոۋfӄ"-g& 40vbY2iBU_arɭ L?`*!9:]nglw5lQ#bmN:eѧ:t(Ӽy7z3j|z_fA-Xin)N&h Sn-aW_Z)g{1'oGw҈.o'yZLjfjaDNc,nGDЕ+ i5}~BQmDור%,O"C*[n0R|x SUn`x[.iSVڂ W7;iso&] /ʪS_R␫})vRM>s~Mf-} @#Eq 6/q`\&3&taJULDlgKh n4;򢬗7ߌeL<0!8 P&P9u*x/|*˵z̝r^y欗}hs(+`OT/z =SS4RYa5j-2e3: ݛ~y`k^|[Ul;G0e` ]*6+luP;^x>Z%`C0wژ%l"XA&c~Loc1-PbP(ow5dͤ,櫝lnTcpDN锾 7,WpGyDe)eԹZ9o)豈 E {~~QR<` pPk [=si"ٕ1΀d%f߉irN/ CZ l* ˍtko>+tj)0!7H<43Fn\\0T˵G #-kIAlUo%kGPHӂaC͈҇_[X<ՕJRTp?$] e@2n` m7*tDUG 'J`Lv 3FFƱlZF /DSiC-8-kl!(J&~[sCOUtEVC.'prbgP QB8JK9l:09kß=lpC@^w yB\lVz2v%NȌi,}:VJ’ŕ]N‹V\,mrKR- J!:TRSoJ[s܇7]1,_h&+D,qc0,`K,!{}{LC@>pi%J pոU&eƑ]T^MO8}A6aSa~^lZ1V ??PB*41E,_ ȷObc6z<&!=@SKzΫ{.8=[9V =#(Oib4JLZQͨ'bCQ`t2L8M{ᕚ=&k4OK/CK_?Fk׏Tv=9Ƀɔ])+ Q埔C?Hk*[ZciWTDd2%ZZϐU T5ǂ9ߞA1P)OF OrkdhQ&̝-iHvtK^Ga%~Mda.K4>(}+0C՜R<א3h ^v9os R4FC626溕οxrƌf#P SlYHm&G{঑].{˕<@{ڶzkAPuch;_Hr[](vif.GF |G7T/(($Y55+jYPN1CRv@j$Fز`lhqbʭ4检!^Iy/Κ1Pp lD>-tñ|`Uɲ1WuQgU?"p`8%MQo^9b$4טC0_ |0S&g1uCI{ٴȐMzUtUaC(BVrR14FGV |hqr?eg@VZJ (JMI?* 2ÆA6[KզGB0^'KgT(D(\i1 aPSL?@mj788Ăɺ蟸(l}zǍP'{߈,,:s ?pftքpu➷s%MLQ@~轮9!s= G -;k_P3ZK C OviV-, 6-3ˊk&^rCܬt(9Ӻ8/BPf]V&-ȩʜc}?w͍DM1LMwGS% vIlf8PWrTs&`ma؇>RRyX`qCxM2F"x{(.2*2k0l(h+-B螿UoءSwLvoi,@6C?&yP\O6^Ɓ:<25߬بcZ|Oj:&GHБihLk7k$jKWuOMԸBJܷ/INA;M T0 ?fy_8cht`)-Chש:5&[23h)WQGߛ`ȂN+ojsзf``YэޔO