SQLite format 3@  . BBh77otableisabelle_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 `!<<< ]]]HOL-Proofs:threads=6elapsed=544.097cpu=1227.732gc=177.004factor=2.267zXZִF! W]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ g-Sa딧d97܈Klg.$֑: v-PiC 迴h05GlM7٥;(A*z_Ƕ}եzX:SFfDyPvZF-^Vsփ?i@Q!f{eYgam3."ci [RmˤQzq$ՅI%0q$bq[q/!:!u،eZ/C xUB ^H3bj5+ƱnIsmR<@cp ? fM%Kj#5/W{Oa)-""Sw$s8fP4̳nHԟh$ >]z9#ޱk쿼;ȦXb8 Q4*fFe8N&>P)N1<h7΍BJYs,pHBS,RnSA,lƐ4pjtN"ݞ^'7\Ɨ'~h_EU\Pp[* )@/&Uͮq fɾYcM"B)=[4' s04u?! R1msdmpҘ]UƵb.}eHbŲj-Tl_W٬Ry/_H jT£xk丕f444U#iMi֕*}|x(ì8n,46a [U~*23\h'ljjg9שA؈oA7G{Kl`(Ul](8٦+͸Q,^%Z ܦ#jNH*b_mči.<*.]1ug2~藎 #g˭ItgGx`hϖe)ln#C6ύd&/7;BuEn4F3-3F[F1`A}n,|_5.Vΐ]Y̅9u[\ڜbf2>xOmRr h@.  )k&&1b "}E Txi0 ~;G5B)75 \P|ߵP˰85v8J52' U?\.^Vl)v3Q":$/bAa|X杲]i/@+p$hetJh䖴)S 8LZ_)qw2a+[aU&*iV ΡSIBjj8gr] %zBSǃ\: 9fcij۱aAbX[E/ĕX@g]~p~|;С=u*(k|\䗚1 8_+-84BacPљ~G1A F հ!03l`T? ]n!-s*f7[.DULW^́/a1FgaM]VAtJ˫?!Ġ 9֝ət1pc)C(})d׶ܭstC![ ~FiSNxBi ЉX<NüCft~(P.c 5{0kp7z`Ȍ480`Lee ,/kdXSiyE3byL \7)|<.V3EZ L/Y)jLXcV]0!OPNN঑`j[O׬ Aj]#禢TNBr *L,'M\;#1(ZK⡁7#BwB9g@' íTaE#"k8)2t,ƭTJ' ;ۣwG6 X "vj2Tb3@|@w5b+-xŶcK)^sNUT0k!miQ2hl?wM .QkZ K8c56P~UKek5{r}Ic;fD#4[ A TW4zv` _`+L^M0r{T8] 9QVܶs/ov'=-c>e3֨Q·4hSl|r.HOf*9>ckoQ 5r^S"$@[ٷ+a+h$f荶)8BCEPűr-(X[Z93#$_ Az1uСp;}}b:CY y(+=kkQ+k>niËt[-91њk0Qٻ~0Ѭr9yG|T ҄zТ?ڹrj~qL{~tf˨5E1aK9bXNFN pbpO{֠ þ-ŽW@3xiYt$ i6#}lxԜguA9+S괃B :+Ș{:wwMKxye wHӌj;4pٴ>(capKsiQm RS\Aqь>ЄCnfP$LĖϸ.$Xz f'jhK)s`Kkw~1C^4^` ֡OfWpRia]sπrs[!.wU6 c~'wv0 mL g~C#S׮}/p-F+RYm 8} É}q_>!M/pM1Cʜ]t0(mpNITohK7t ^N$.I:pwj:#;GֆSz*u0MSܞxuCe)r6C77 ȃ*8#[zG`.+B%'w5#= /َc]y_F Lj\*t6|8#-B5a ^ N(IQ9oȭO@G) jBeT L;i&9Q󭉌JAe^HiWOGu1G`: a~̯F5Zh pk. p6T]U@Hب0.e}9XgU1{3+]s/r hiNRӅXeʪ~xKd:^Fޔ4ݯ$,)=J:2c̳> mNO2p Pڲb_|dܻE|9FJTlؠ-Bsgl VJZyu}>3˒0R ;:)$phK`<XʺE**+CHMu;ۉ`(H+x6 QT)'LJ+hf`Cǁh[ո"@*xl.7TrɚJP̤E/#5޶Q4-L_te%C0~IV^> ci&&beVpȳZ#FtߤD?8LrBbi9ocnьjtYS1}2iwƃWVtXavE J#}r [V%fu{-\^5C։`ʩ={!nQ*)vZR,D8P5ߟޜ:-+x5a!T';x@eIid\UM1wW(>g%HEM!!BK,bDŽy 1X^X2y/k*# W{T²[o\v>].ȤOh. J>kW +P~\Ol Bk"a2q.?>^ yy2aC=;5$TM%[ÂPV9 dL4ڠ!xЧG\e%RM~dAQxEMx#fC)ۗR@?}Vq-*ܯ\ NqS}v(ѨNMdlh{JqRu0J7ב44V׽}[N>\;Ѿ#䆷2FF9B#|F^_VC<8l=&Ͱi<7Z:1~l9pFH={NQ"Y;AS4_g\i7}fX]Y,SKg]SM3% ;;!sk>e0Kc!8:"-p6yjm8Bw"~N**nXal΅u{{8mOL :Q!wL<6 LJZӇ-+SN瓢Q kw;`eO|_./u8J%~2 YR.,YN@_;h&'#zv|1 E#_fl4T1 fR;4t& BַַSʭٴ2" 4lZs3!6A~u'_dӰ,gQ@BbEOEkt+g!0(ݎN:3~I/k'1]o*w>Ů97}u|DŽ-ߘny"b-e8dpIIFiIK̂J*Wk U+:bF8jeE hB|}AE߹aa-RFwQ˿׏cʹ$9}vj,v\º' FY Hҝp$Pk_(KS~Gp9.˛f5LVeN -:Q}*Iħ\~1r$9( ^枭?]2HDgSـE !|l> ZjJ|rKŢޔֺvN_xØ߄ HQE4 BqlpJD%Q(x5_ԔL})6KG0y ,cg}'3ŝ<[q02\"-^l^]OL wHчD݄If3ƣTVh&`Ӧk.Tk/&ǂ`mo g70ֆg&mbǾb"wttsCL؍Jk %_rQHsvkJ]3:ۮiI |u]SWM}/*)P(ͭtEP*T,iV3]nfGwkD롽bOͿG`yC؊DBȮ9ӓ8ތ2FW80ByP4s F]!b*妠ւ@A Q{s_+"*<\>n-cA= @3C? _|3aڋ8H"!S% Ƶhx0 E> ’xBo~<˹nszArply&fi ͹ك@Ʋ(_Y3 Th-(h4>3lOXb6;~u ښ|/!h觭 J6U C[lv938Bk&X05Us85s%bRhxo l\"Mb ̷|b!@$@Rq)k 0 "BYicܖhVyU8Z1}pEiJ@tXC,HPΧW۰ZKPToǁgq1N8(%DرE_b1$@F~uxF%tgMZ{W8EhlJ²a`'E{=2[~jˢ:lLդfKB+pqnw-); @]#fty/{j1)ĈNkV;lfNbqhI!ZDޜF5Vz cHYnhg.XȪYcr$cxS&]+ fs|&=SQ<o ʈBF?ꭃƼ3?hXuj͡pP@G-7E;i-ӽ@99d^TJ3B$zUf7X+}ą9`k}0T.3ڙEJI8DjT*¥9AŝmemIcQSR?c_dN { Գ7(ո)_bN7-[>ű* GZ N nCi0=q<66h7AdWkӧ9^I"/;et@qJߩi4S;p_b,cƊѮ&pЊiWY-\;}&61KXD)XS1F$km\WPa 驉gq$z?4+I3\Tnyj KNiaݤeS 'qqLhǭwQv,hH ;#Q ]d;GeWX0Sol&R1>2|a lcws9254]aޛ0XRG)mzݞ_V[krh|_ wĶ,ܐm g[0G@]77 F4tbOx Rw9T/l: ͝mGadh0UxZ AqMonoN.JTߺ4| ?nfռr@RLTYdʈ$nj6FNcnDB@s'*ÜXйGtt#S@]/ujLh%lKi\f\lR-HFeg*&i0ua*a1j[~s;|xuAa+MșXȦ@eᲨ}ZV:> 7g#JQlQ5m1j ؤx' r+PwU[ m'ݎ,{(iI7{3^mI9O8TKɐrt'3&6]B0:zoK5G7 D^B},h+ItP+Q"X]%zRZ L; $68ڏd!ݔm#\c!k͑@c#;`5ԟx*_ @xS!s&!CN0789U?HJOx"ep:J?)u.R֩1ZJt1K{7q2Libh9Qg_1lk2jvPf{z 6~RX)mJm@\+ tk󊔗12ZV OL 2B ]o6KFdXZ9[YWA$S|7z}|cTPsj'\ZF5Z*wYou߶K]S螳8XHiK=g`)j槥s?2a>BH+XeY.y%yіEuUz!ႥX)ґ3/Pݶ+(w36O%Q;5GT{׷p@l_6XTi Ц]Ng'7ؓhMjGK:ԡл޿L.ѰCǬu9-SDyn3$TA/%/!U'1v)]C`*.8^K?,-#d)|jq9qz̮:4OtjZE~]ST@HZ"IW17%3 o%At(>0ffs~FGCr9OeW>e;e!?wfISNsH9 ^Jf˸w:?bR Vn}BɈt[O];[dO]WE pzV8!CAZ [}9C()hѪAZ/YĢK$.LM3y)n .W|{a`2\Wm~n2U IR iՒe%ƚ^'x/*W+uHACC >R`0$V{qLRБBVKe;mv ]z.ZB>^pfj|e@ D ϖb4:"j?robaS2ΊC߭lꊍ.xTCUXuqQ-d?湈p|16Q-=qv}ő6!hK{z6]CV:}*~r]ZZ#)Zb-% h+(D `DP!M,崇NμKtI{3D9/wYm/B6Ώc`-Pwq}m;+×k!Hp#r ]M.ޠ]ۜ7{-=W({slQ̱pGzXMVYH7eY%wVIݺ+վ:1P,rl}Lqztm_\oӏ݌`9Od xB!m`u5ͪX VRv;R 2p(5޸i!4` ~PfR0K^U} 30b*+xD9^s.㵆] \p @46x*:4R. 8`CY'SΊMΒٳ@B`T#n;_B?P'3M4=1K~| ΅g%pᑊkqw9 ՜F0b vu R1P$z +WBpc~6ޙbtU\jp_%`apׅJUub!6( Z¬zL eb5g ^Sէ1T^?8G4Go!g(z'>8Im}?J$KGA.fs qX4I,(d]L()+qU?@aa"AJbn``8\z-/ZZ v'ڢ0eP %9_7@'*uje{{*!}u1UV J{NeWQɂWOCA&;O\ w]d+uo*}uҍ0SPL7v*f ~`6&ecJ15+T+U2 pv| |҇7uu9پ7@οo(~a*BG4l%14AS5Ӏ_8-O`f3DW!oZ iO|MbKٗ׾&._1XlQ k?aƧӆ0o=RNNY2=>]8[55ne;f.rW^0jy; S GG]jP%rXZÊ~wc^WkF%\0yݰ{ͮG/n4Uw+8/+g*f/'L&;_[#|-'?x0oA̝5/ kRiK./%c0cd0xg[RD@*_OqZn<2#$([5T:L16;h+]ЊYIB;kI@=ЀgBj^_h+~@Vsw/PF/NU+P\^Go,5)@G=Al?^7[OJ ꒻s-eQf%(% ).P,$EnJm?U s|8BnɃ$G9}_bxZ4Ї(adC=7GT~b)A5pa|QQ 1 vO[g1lkGWt0+WPM#e"?'bwn@eO[5AϤoqe_+aVN *GJQ P,?.6@~%=ښy¸R)Lv59]\lrSX^ָណ7OD 0ǎx k5^{M,3}Ϗ=XNTmncBS+?ky=NCzT$qJFO&_3TB/`3=Cj [_jJ)'~84ֺJ؏QqFن< (^ (_d"gȍ J;iA#&~-dQ(ulHuwD,zRI2n-Z^S"=73{AjԦѕ<_ !"m-kJlr?7|uՁ?˛/A]8M9Zڇ 0jF3G^ r=mFeAIY|!mhJWWP^?GP)O8-4]4m*E I?Bםݷ}8xTΦ74R5#ug3{i5ڟ9*OS˳8g$hW+ɽLm0k$'b@݉I?.$>bCkLί 2|G^MBTkI&m&1t LӼXyD{l) *WR;S0 ]Y6aW 9B^FyuJ`jM@@CFt=Go`UM9C/0˵`v iL<XQ 7Hp|) b%`SIII ʗ?5$@Z*T$(m.ZP )Tp(E@wfu6ƽ]0NЛ溳ӛ}S݁WdɡjHd)YY)JTc&`pJF".^,RIxh8=r0C`lj]){` l_I xQȝ˯+s"5Ushc8ˇ)er=M3kuɒѥւQ [G;V)[ y2C>wN=j~ &P{-v#_bbUXutSLѥ"(K~ZziuJ .zJzIEɟ!l"Pz"(hgP@9Hʺ|y}i~x''GIQ8NIR:!>ʾ }GF_k8MJwsӞ )0m|QҢکJXpΏ= h~!TP:11㇋J;kB”$|{LﭕoQḐq}(>.HL ?(lL鱣6^P@Cnf!q_xt5(uߥǧz(X"VYc|CW8Bz2[[#񕉓?w^0ZW2,dp&D`,1yywjX. |Ñŵ9ʼJ͌GѬF;5 ,@-J\ȳOkR`'m .t l/K\[dmƒr{J='ܬJx `SAcEV hLqv J[A$+('J3lm;=G0f϶o(o4WY_ʩ,A[&7bɊ |ׁO: >MiM!z7u5!+Nft᥆FuayZRqV4ոoWM'9[13˂Қpj\ %{[8!09sZBTxځ*06qB3Ϧ80Z|9skxfn=iôS*[LLB =B)?]Nƕ}@c߈9JAءyLKԿ.qPxU@^NO+L"2c̚%sa.* 35ߝ F:+ [['kjgG XvȤP-c]sBXC=U\1t/V~yK;{ߤ%fl(_1-MHJR/a*|yŽ4nZa>@ALuN퉃'h?Yt۞sS!IJ@~٣*nr1M!{* [$mVoQ +4>n ,FP\sǂ Q5dHmRg *2Qd)4D:Q3~3kҀǧc7Qu?Cj#>0Vr[g]Ě[ |?c*q;즯o eaRo5?RXX< X0Yu*`_wi*Oֺ.\H(FzYJqT:qI2\(I4WE֚nE';-eVX鸝nX{SuhjumZh)"jS ON7w4.QFkUaZ} h`кz+Loy>PTr}_slɪX+6X<ԄOgZ9Ȝ4C+4.[`-uV ?6+ĝTdj ;v6٪mJ".=#M20|(b q[9%MIc<' 7_= "WK6Ki=eD*ۋLeo6w}"к CߛTw! v67>mr~rg2T_;CYl~jd|Ep 5qSV^8%j)B~?g-T T2C>ez{L-?Ö91^ƨEزLQη>}sqEt>3½0GSm :X cd.#fW|Mlf * wwʄPoԐa -)԰9$ a(%7v1?6ejTӎV DZ-D (R1}P‚)句Blb%;QYԁa|\Tza.\yM!v'@kGc)wb~Ә;C@< á"AL4+ "OçAwQ&:-ۋ 3_`NǨ.֤9Ŷ;FӍlkCUe8F 쟃E b N $_²\xÕi?(ҋ64@̋m&}e kRf!`Գl`oDf( [ JQrϒ6>Eѝyw]J e- K9.<5oƜt)E2qU\N`?1g碀Y :250M&r|PF8`ݙc6 ɓTf+vK!{Z-|75ƾr"KpL'4>zE"^F)`K2 dQM. )!Et߄+n%g?g8.KmWaknkXۻ7Lu8`u)7QU r[N}(5^sY'3}Qii]!A>GvGGwߌ:(G>k NG̊#rTxܫ In'0jAt{K94&@,&&)ϔ*znDlk:>g{ AÏ~ŭCu(c_.  jۣD6`֐߅8K M#;?Ϥ 1t$~gM+h/\9o;"aRSu08a.aa 1@EB"\zc:MoSo<'2֙vBnN^nPb,i'zX"YmA?*aQ4T'ԟC]>= ol5|YT |;S>^ޙ &R1E& %pTA*~Ù DR-cy\HGQPp\3UsNLHKǎ*[휃єQ X\ j5 =K-{(Å1x9w=w:#u;#kGKuc"VOy-jk\+#{\j 50(N@㹋BK-4`#ٕ-Koe4˘q5.YE>OinXW:o{]̻m;tMW̋ 5=7 _|+=ŭ Bkx;.FiZ{Y2d~>|^U &n |‰F2{0htv@);߇=L<, _E*sD =Q<_TE֒i3lqLػ`$|K$"樂Hj,h!XDarMp8C6\N\lG@OUL!]@1#L^*>,g~ƼA6iBvH'a`:yJ߈J'TF§cnMu$?  N lNFMEQMicĉAm ;y4oYTvpOJmf6K/|cũ'"L=9[I|t'@HVHrj]x<X.(ǭP 븟_U6WqH|6ߥ#w4)wNJ96i#$ uj>vyݾ \#̩癥R.؀zDR/1He_ }E'G&ݸcIDž_goޏ :!poAwI{ʔȴQ#ΐ:zN@Fu+d扼\V 8,U8Fnֈfҋ5 cm-f ?Oq6m4a*xexެmibG/erCYDW.8CO6') ~V"|3j-ZÌ-yF3ȼY+ƨNbNfAĚ(.RǘTgI06zB(ʾ_D]Q{iaM]o8ZI i&h$a#wzex2!ad[WR7 pdP3[\?5b]<(=ꪞWRwQq4|N]:y2*L);@a #˘D ]d/jiB%R:TlX<.=^\8ǎ'\ֺuaz$ҔTͨL6_ 0K{<)&v6n:LCJxFu*#e bqR& v] (cy]̗BVJF)wSa{Ͼy9[jW*8M( *N\^ t,U!,W?5 \>jS]'K/INFD ". |19b8@R*#d;T*H{puI&Eϝ̤1}z!FfVםO$ںP)*ԻPמ *>k^+`29|PG{@ WJxNt]Yp{zx(w33Vf&v75$1&s-_3j `f8WЦgΩ3!uYZ!uqYu/U[n2)tY<.gipmrF,!?H*'9Q1ttz''vA]W.[p5ʪrEÆ]3^N=/~4V.#YTHudfa-Y0cIlw9 iA3j29i)A:OtT;|c0ib7/xxܯf(& Z\!]~%RE79M0,Qڄm)ϦDhlb(NswtCp 7v|6Z zpn]_Ix!(DQvXe)f$.Y+ >M]9ehgMBzíxG;ܱ{ cV}P0.y`}4 ތ24#= άu9j)l&4$ZbvGb>s;QJ|` 4_!7Q&ۥl[ct#!({QRjV6JqQv_ݦ)!:-T'nMwE m:QmfHЍNkh& 4@=UCnHJQ ;(6nq6ݱYKa!b S7 kI2^õ*ȫ z$sV;L =5CtGK3jȒC^p[dQgoèv8@ Ng$v8,BDkAeS? ũC|N]Fes)n+4SfWG<}*&/|RUH| $NnH׵V @{a|k49*ans΀52\{>'(Q*l{VNýl/gn,{4-D+#. *~R@'/BHT|xgNj]'xTm9WF>i!y/(PY]d!fJ g]GhsVLj $lj֪cR` Q38xMNtOM*jy._5KcTI/2naw0WfvV vϋrbY^ Yg_Ɉ.=>y,DIk'Y*d?y(<=:gh$`> 5h>tŸ:ge7S.b'LGr%0rL˓ܖ646^5$_\sH/!R^ar?} XȘooqWRNrG,X7 0}basqsYXܬCEq&Cr eӰ G;:ޘxl*h\ͨO} dJI!B0 0U$_ KT4@-Hr(\8`}٭bx8.BV HZ KpͩȲ1FJƂE2v=Lv} Puu.#( FE:QyQVDf mf̞~m>n7#PY- 5SJngר, XWMY%\ GBYWy6]uܩSs+Y%p)(;g!zPwidCuKGj|B *@K&=2Q9wonR-޿`(Ō uu / *?I'˾@R4yxJ,"isT:b5m/dh[aoq-1j.>qu+Z~ cĵ8ل0!Lɏ1_e͞vF3Z4TQ :Nڷ\qooҜu>,-xz;mxΉ(ơ\H1e؂by J6_$4˻:i%~$T| >JqN931SHڍ;C`XIڗ$g还ghbH(LVzLhx&?ЂFfȐu1 ОWxd|4`q~ɿ*k_6¡xѫ+5E \5skt(hG 0*`F yoA,kwfn/M\ /Om҄ DvVE+;*^6C0K̼ ]꽎^%u@Z`6\=mj_=}4cu'c0!F.G's<ѦS0TA`BX#7ڀ*`:CV,A,[?wƨ˯}̮ޗBEUN> _~N^c;%)GG'?JaBnpw:+p {`o րOL߮|X(iϫ mRh<]]W<բ}QG-'+j" 8 R/B;d64b.thu7Z*4V~f S}O[^9#*۽aˌkKrpT۝5?LjGmڭbrunC7i_̰3z*vہrjwEGcB=;do`%3QX5(c? E1RJFg; I]PCFWҺݚMVh{5z5U4}\(5-f+c(|ʋW*co>W{4kK 1Xgajj}%kS<0PO$D<I #j#W$mLp۽9uQ%՘\WЁ"I@=|E}U0*)e KfUvGWJQ[t8JވP`–}ۧB[CDj/+,Wi8FI-x|/aWOM,-Ѕ TKV2u=R I.nA7LpRGȫ[2ez3Y:?'dd 8-Op~iRFK[֑K,r c[Lef9iR?)s:mx3gE)?L팹L84K'qX,jji6K/#|l#uI7IG%xݹp>,o9rϽU"ҩ6uXt>p|B꧇cXGqM}[[,1)!ZFeݥΪH{a pU?*kvB~%>$yPɖZ4lbf;w4Lv-ieB֐VLnauNH5G+`y6?-?fIBs;Pi6zl]7uL>h:?x^ݚlLX[ne sgHU4n$ѹZS4} cإwX:AmR"#RF ٷKQ6 %c\F $hn:yx U{Ha?iVI*,Ao1Ot'8U+7֪{]Rn|v fi;׆$pQyiC̏JFgR^|Ysjg:*&tCdbǵ(=oF G~QˆWoG*.~/Nz,Z_)ۓA0.z(}w}Zy~'AXo敝;ago@?!?偔2P5ri7*a VXg 3L\yg\NpW)o]%`&)Hl7R:pGM:uhH& Z ށ!ψ8 y eH޵IcALY̕&,J1)o/RB: $cg o}ih ĭ"T%0&Bnm'J62 Au&5$Ns][IQipnRaJط"FƩ3sg$@dʧ2hYIsx(ORIMHjoE^pwW9TZL1w8?e4 4~ g)414nET[wL)(f:?pnQ_*]գoęEꓐ}K6=b("*pRځT;->ڸnkoYhQ<~YblIgYT *FhJKݡudb'8qRݱ$o߃2&Nc\^fx-gK"C3A\Fm;-y9ϼ]vir׭ZJ"'=pPA< j@iۿ c=9,=H M-4:+8*Q`Jɩh߅0tU4etz`L*Ey3?wƞaܣCH]Zý&Nf+.deں)]z-}nFԚ5=`ƕ i1~sp0hi?@Bidmf*72-V/Mx …*Ἠ!cJ/ҵd=26m^O_Vb ]z|M(ɳ%oWQsxER  ~Rjg~,b8}Y ҷ }11k8d:KS 9Uwg Я^woT2g:15#\v} R1j($XiҞhjRYo u][Bg1gK HeGZ(4EiD%{MX6Oγ,fA:rdouKeCv #5oPk)Je][5}=pȴqYPi XW'%k}٧dq<,eT@A=TaLURya!~T5Yije]IE<,l^ԋ(nAVHP2wt&mFH,5<r,&E-Q/bKqzN!~0t~Fꋽ7]lpz/e/t$&M),=0AҨ{ARNUʶRt [4Sn!-p/Ey潙׶Q9.ʭ"gNz wFPjj6Tڅ'#!~1.ejӐK*==/+:܀J꫊0p4N^vLgk!0wbه۽u֕O Q\\oV1fB[Ot :kV1̻mdQewea18d {uG(`7-ǵU.U+(^Zh*"1! (|Egn%-T8dSSbM `9]?ØyL:#Cv *M抣]QRe]P*6?qgP_)D7%?Kk-v7,Wlʣ?H8ݰ+?KgGhAIB@U,Ȟ|# =.3iu]no%qqL]q-$C ~W(AA1% 3mZ`) <Z7Y;"(qnAʚ MQhMC${l㌩RA3L;~ wbv$vl j9 ҵ(Ex3XA|^wٹǝ{th393PbQ]+e+E!_rԛz|N1y D)y'UjhA\K٪ c¯#CDk8]v>z /MNCv{]h=E vS&;Hrƃm"?ivmEц>aj` PvxpZ^1.DϫhKrcUإVoT^9P̪_KEX!š.4zC)-Q9Цv{[ E~PT<㻉ʼn^+c;aJ!ET!-Dۙ !677mDN6ϨtO WMN)M`lWU[',Ѩ5A^sRb (qr;LBgT1*ǗeK*q|^YN_9uY~%Y'>;SQF~"Z$ B2ZQX2ЧrOVP8XmI \.lr]|t+ 6 Ssݔ2hCfū{Wt Fp) Sȩˌ&۩"1r~hQQw۵˘ڗTD4QFݶ&@{y&D.rTksA2u˽~`d l|IUB&ʍeRFK]OZ#P+T[ˤzUj;ٱۄ yb<6UY_tNGwJEA4u~&aC~Yb7}{TNdI5Wz1a>2esC. ^hM&X>aniӕi2+[& m60r+8=rܖn7e{̋?+|YHFUD󊾣"AKk1Opve.k3y.ؙ&qO!$)˜mhU-\b'.I;;t YۆF :"Foifa8bX>=HVM\,9B &K1:LU `͈'`$QI T{R)-<0Aѳ5J:Y9l覡t=|w ,~>d֬R[k (ܬ^3P3[VEt5dňO@NGxmHM{a^Sj2,fgpˈ? /I;Mև xGyQ:06(^̏X<,)*cjH̰D~ rp75}s.yI_ĪنXw - ;>c[viM >Q233cQN(.Vx6.B7L?M#1 aD&v~pN#TOoR̺-U$.̗|sjqx7:wRV賨$dc7e'o0pm?_S(Vf)c}*jV_\h1@ 1 2 X lU<Λ_=8/;U3ڸs >?B}&(uy>x\6\T󃦎_]H/}E!pS>5J% 0\NTd 2qsBry%j8c&U ~ V}fݣȳMlI[^)܁X`*bS [e<^Iծ?zYLZu35~s^!. d[ ;r܈!fe[~rW, :`_]%t}(B#DT]O]L{8UUSr}İpyt 얒T `mKk !֚VQ3HIgp)^-[uW/dZM=BHA y8x!9= u| UQ\bgDŽ'_Um@bM \Zi6:uKwXmGI4 gW!k-edmErڤD[t,{湋D&*3LfԓS=\ f9ypqJaDiRa<$sl)JI sOP? MNRE!"HkNHI,4]tlq%!Лa%9fϐǝ=w/_f 4QdKA ݟ8)*q{*KdCaۼ,8-l'-Cqxﱌq=dJ!Fÿ _xqv?c 7/NT1Lve`dwZ<P7g9u5n^4^AU+:4΅nDD~(ٙ`ߠ6oʙLHK<Eu` Ҁ@+hw]MѫܝAR#Et"*dm~C(bkF˩jYABKdĹMwQfgǜjC7U/0?o@5ԴVh3R{-h$ E-MHl,Yhnа$kMКeW`2spc{pSs1 BY#oW|n qXnDbHJ~0kJfZGwesj4ێ.t<\;Pa|̑>8}Р]~9-U?F4%Ґ{:.)Ⱥdxw6 0AP j۴MG) *KHhhנBZdu[?`;ez0b9gt7*0@X-S-a({׫&уw;J"f jggd*\+.Ёij쿰Ĺ&E"ch-?{|fsx 7.; R@KKϩH^0s;q7vRB%m1%gYZad2e38ec023702e9fb1ed6c55fc60e507308021eed6caa966bb75077c120e012673453f69d50080263d29b755f01a15fc2d6fb9a8ef4c683df7278e5