SQLite format 3@ .;  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 NNz#t,d$ ] Rewriting_Z:threads=4elapsed=25.593cpu=66.004gc=2.5167zXZִF! ]ŗXiɟH)0%o{10}f^JȝE;EB Vh  R /έbM]%AVw5}oѴ^uKƃeh l*`Mg}?$zRwy#)d8}Xup"xZǹZ\1Hg=?Q yB A9:U`?$$3svn=ܾ|A5LaȬj!`w.lDU,M+ +ӺԨA~JgN~QnҴr6]O`|$ixx;t-z#\⊐M6pc|(ς8^M?dy#@lQHeچ&@;V@=b^ھYBj5yr5 ҂O{fH|%@}iIl8]|}9:_U.RWY ^sX3yRu&ʹ'vPQDY 7f,!wy['QoFeBH Qޅr0$lñy:ܲ2Uݝ@EvZA8LP} ΍(!TUx Y┹jn;(Nu ~M b:&!uZ`@ xv3NJ J}7-! Y\ &ݷ6w)`bqJzBRQV+í5& 5E R0I6 g)]0#{3eEذ6װ蘼*uwб !.K9N&qaNRJf`,\yXB~ $RVn҄׌n/ }ԋ*/S5]gWCfa~mOןB ,A=V .lEx&~][MjO)-D:ωRzM,Qwagxa;m-zw^5qFKȭppP̜*6#I/N9ӟ#@ H<^EO?MTYo1}? -#Dh&XȪm#K;_[?HtV[3%]A~w&.6QDDT2v cVOSܕ%"s 6^#KcS߃xDޯr;=`#eX6wFOگ_X Њ2φd3N{z g uP]ŋ  *޾xHIJGSRt v3f#1)eb+BbEQ1erc>'R+Mޥ)unv6|Ye8/We.ӡc)Nԉ;o' <`QOf"z{]}πS\Ë>gvUq`EQ ź'đj̬S)sa!XCl F'|84SjvHRЛL|8A-^WzM(+s~-X uXd B 7 Cn6oz X%{5܈a€wfcժr:+Ρh4YR1r+{8&| +;`W;Ei&d0&%7`)wԠN&IZ `eAmnubN $j>/ ,YYuȓ 5,3.w o *1yYiz¦KGh^*7G$?[mzrBLIx˄=qqڙZCmI|>UU5ktM|MbSMgf?9Qi0~!s.L5Tm;)3\._CI҃H$Gc˵T8KY w 8";9 c=8؉JWW%w+@̂L~\S /r:HvD`Y}[ƲPg6Jjcw4j[}ָ,;.>0{>zŤhȑG!& uT2"a3^QixThx zyCxjC92t[/5Z-Q[lkiuk7V[MuثbBboHl#A eX '89]wC͎UֲI,;T/]r!sYǼY}ZvtG?X&bPsq`w%(.ůmG<9u|;ZG]6sUFqG/ZRA q^jւ:߭~+iwnU\r$txa# r:uR1OGl..7Z s~br 0YaMa\,=18.6}MB a񿜐 QS)nrLJһ*{q "=R- cB,*2[8uJ6}Ua;v,aY2rdL_K{ܻϖ$@2)kzM<0 miҍs $Sg;^ g(|eeޡפ͏+=oQwdg㵪 QBw hF_Ḡ?ZQK;?lFdAmoi/̫N >ǓWgpeAj?NY~~S5|&gw:Us=LWEk0s+&,ƚL(Z&&zC VP%MaUfɠ9~kjߘshdr x+Ǒ,j,B#;A0EqV.fR`$oi\Wl RW u|Hu0'~58pԬn5])Q G*bPQso5Ƕp`Ë.cwJV5:FYu!^{w}>E@_*0WxIJvI]BŻA-Wb~KhRTO{-.+{=+5O=F\ =@\@XIs&x & gB]5(r ȃ\@А&c=? w㌅11QEH`cZ];V =|bzW91r65`bmQGdol Z[ X f }eґ:E%K>5ESǂ"}N:HH%A=l|K03@)#ڍ+ `m]qW\%"*"e1t OXSYd a'R,r6\rEƍk.$~RŴ{ci*R QKthU +{s8S矾W^{/9Mҵ4V(3LR$S$7,6ๆP &&.3"J률3rO@&S YI+Hٹ| }Zw _L-nM/ +UCVuD&$E;\DZH{]u$g1% @doA򺵼Ï,\ ̏Dr:U":Ģn}}\pygo/ h$F)O5rn !p8Eм'qE2h!L;K)bZADOT!#'Q>9ߏMY@y.(-h -N鱹&-;:9cÿZV0b#iHaf1E#mpCOn rfS]:x_c_I؉t4q[bZuI:)sq֜E)Rrz* oVbFM^{9)hlHzc{AFs5T*V& m]Sd5V4pb`q.no(h+45~f+|eggPi*]oa3,<̢W'f,wnu;vRd1"-)WW3ۆkѐ[CRA΅J'߰I)CMuя*R㗩NVv^o\bUL"l]@upsæ.ϩ!r<(pS(H Q&JjR$70h $ѼI" sq&7TcIh0>!TiD+`㜓%ĞkCm^tjeqh(LVmDͲŞTW\A֢[팲mDZֻ$:3ӳӔ=}5V3D=C WJeѵ`\ԓH=qO3A.OZ2SbR0}Kbjx ZRF"20QI]0"T֚H٩Oֹ3U)m{zt d蹞\f5C٬ y@2 f}Cajﰼ(3_i b~JEiJ-N!~?Ou-\ }t"T 0rp;MPWcv[z7 ^~BffpkNb1! PG|ẰB$es%s-w&y=ISBp'a7%\p+Le}#YX^ŠB0` Dvtx{ձħj1VyU'-abbx픋 G43dVҧ'GK"zSG{;cǜQ?AmFbZZO~t>Dr'g/SdC؏yY|k`/^AЌ #YuQ1^5YZ*ӕ3fOZf7Uώ{/+~߭^AN +Z0?Cbr'RR+=gВ{\rOYRpNm ̩ E~7SыJl H{$FYYQc?F%rTNTN2>f7֟!(;aobDpaޘ 1zAct5LI }A)vN/úBzw~nj&M< i-YdHƂxAh*I{_m{{ǂȓ^\*Y Eԛ޼U/sV(!l$Uϓ 9x\ b#tuy=-W,`kvI ˢ|O}!wugsZ*ʷ0휡XY #9#dߒش;'#B-BxkY7<:9PT;ȳfU?`!ނ<`VN)r %e6lO4 y \d8ELb)DK8'pbIE5 q4If^Y{aƞ}.\Fh}@#oRljQQЊ.&mk"d Q٠'qy+Z;+cU99TE Dkmdr*Qٷ*@z74b ؄){}@S;q-D`-YI߇A׈|'XKO8#kKv蠢y-LFpAxDS=A̷qv/&~l7R5T,(kG1kU&1N3/q8Qa%^7iBf}\н5+KsIuP$ MMQmܕ,h%~xh6qww\[Fpo-{̈́)#WTIE2|=[y!f`Xi_@cݾˁ:FamlZ(:Tgf&GT4a|&e xY{t x&_Cngq:IXpqԡq֏@^%:mwѤs_.,dnN*UNĴ26lNXe܏g=BMco [z.;ªJs=B$+.`m5Mls%Q\sO&!bFdL<\Ȗ@G1F{v_lËlA6߬$2|> ߻6冹88σ.HI%!`H$?{~Ias6#!Xy$W,s0wQF82+!1-r2eVcfY P^'~kJmE6\_w<<|HJ&KEsY\N-6"%zZ۱N (e'膿_]G%B=tc!K1{ iSy~-^yt+tw6Uؿ%avr? >',[rlgK BR@}Ya[DhI(* u+k"K݅c5P[F?u5T̘XXCը6ŸL<1,gP:ף-,*V *R_\ 3m"+O}V86rCK8~j@ɛnZK;hBqOИKUfӟBnDA@HҊfk֓FX9=Asa!W#VGou-;6~LΞ]7(}0-~1+,3` `îq̲mp\q4a_/,s dn+ «A6N 9,.b eJjF/81V>D4ȋDCDy.Y7rbx7g ]x9ǩ;B1+[ꅘK0P{ 4δgΦR;^"@[SP{mгT-ݽhoW.χ@ lBR.j?ˆwrU<64 otB. Щ" b~٭:L3dq)#6`]%H e~Q8'tʏtsglC* *mL4Χ,01~`$-ș_kI&8A:+P@-?4 ^Ę knH)2g[(gj`:)ƘH X7ӟkiED]r=V?xQZe)}j<8,lcE&4MPcŻ9 r)^/bOɢCO[hi-KiXdRV0{{!g rG)1taV(}% TZlVVzPnj\k',gc{zѐ7s:B>kr%OhĈ8^]ZVp~x n({Rj!u^_⬕C|A:LTUL8أMO=xal TRu3]K \󔖢@Gd.?hplĝT33*\:xzBTzglvP+m1.B*gT72NRXt*3˜0juAtHY [ػjSE 4^R?lGˊVXVM }=@7?*xt1>+yE}YxEs 0]ȡSOoɯ$n gH`~,ޖFf> o,NYO9Fg.u:nGl7;F24JnJ k.3;A#$ zzo$_}oܓLU SȐ\Ķ5I;6Jv'qA5sRǤoE8KkC4:\ 㞎gzvhLy;;gz}GAb,fE4G.A-- iF1H%dzMSth z>:.vYبg '8:J"l+бTҋ~ƛD(J$}| _C+.[8_CLp4goﲢЂ:!ω:s:Io瞫w 9,vq3= #㟗ޱOs@XbԼ)qJc\i&ճ#!YXpd=?cpᐽ45,641Ӡ~k3f %4nAҝӘ$@Ŏ5t5䍬}\дպ>hr=iRFBgwX22ڪnF_6An&̬NTf Hri4Bg WK_uաC(B2 |;i%r2ۆo&Д&cU~G>EN ^R:te#ڝ?SBtQ@p0VKj6nA A\Osk^Zy6I{U2.'o,2n3?]?NlxdIL~Mԙؿ6_rǶe:Q'RLl2<Hy?֋O~gwIdD?4W%.8"TL,u#ᑁ=!d6&`TV:„nfOvK̥="imbv( 2WՌώ",Aƚ,\{6kpnIX̰F*(联I,9-xջ3 sHkJ ^c!E_}.0B h4yi ڭy/br?Vo>.bW ۥk:|χA&\is&kHvwd :85n!/-_xK6 +ՏKJ#Oڌ4]\-`݊MZs|T5K3$}q_nS_-V͗?L+{n{,pK"R] 7Drovsy TߕZϒa1G:>IB ׷{$# \y"- t| T93d$Y~"cmrN>LKz[,;ǰ*CQ/40l*02J t[VcIFΓZO3IbmZ5GK< P6aygDh hU֗W,o_M\dj2puުgqH6P<>6u`Z j1E3 ?G=IAF5dS7 ҊvOcۦF+iE$ g6,] d4M%pKn^ۅ ?$$jξ2}wşyɔj aIKMܠ7ZVp¬.2h`7hN}rRT*w&,0;{FN( 8[ZUN7LyF|/zEvK;b4TrϮ^RQuŠ֯njsJW{ LbJvyuw,Ҽo\kD,Q q6?Ib# %f܂XpXiHf *κRtj|)t_k\O6'{lw 3J\.VR]}ڔ^(u֗?5+(je$b]%ArU̇Ml!{:m+JF`ŝ[ ":)ī51<Rс> N|OMU-:eލzq.tBb4\I`ZbY:_&tӧ#HVrʶC)X:2UrOBs1ZkE:vjkP;tی\T@q=ɸFLw%y :s:u9>@VP A~UB߇Ҋ](o{l"QgX UkI,y.P\998D*gz3"]w10۴̭˿{`oBJnD)GϦBcl%R#œzրnEZ=%XQcxn.A\gp(6P|˨#ŅaPߺ(rS=MA +B@NSwRK-و `j.[0L50>f&I-gEݢftd",hšriVF8p) ZS $Uw༒# /'*>9ddMmǓ8DpI;*Wʤ2=҂Pr͡@E/n祌QbAҲ9r<@Jpu$,dl k[;dB )Mp܎ nW;l5f Tgܼ;_c>]h<ϴy.扠yAClm^| y 8 /S\T&IOr?fFA \ AMM@]_q>5ա/6 X-L4gqRdaYjc'JТ0GD{gI#"P-r6?–3d'r..xmV#|RZK?Da$}DMFqDXI'Jb0j^Mٷg#pܺhQjgQ/5%0s:lÌ0J͛z)8-gWgG7^9c(] 5sOxiY _xrMrx?=?3slAj3.aF-1ܕGht!Hk\2 [JRA &d8Z$ć "oWKdx2sw{_K>jF ݐ=546Kb[KnN1ZF E[\xbwxzBiVZC}` $⑼,VCױ7X3!t ]A AFy;BḢA=k)7ApO,ŅI8A ֕s=uA Ԝӌo`oa-x64lu)V#VqOi+e"Tس+#וgWj9eF3Ih١h6|UvugbsEe1nq:br2=-%u}Rd(fE.Z M-̤ڍ@59 O 0;5 k)w?O9ޭݹ6Me!i14ԕrrx9_p2^w+ugqIqjO:p`Cù߷3锘@&j2endžb"!ઽ)n<}(!;~"B=թyy2=DO(@[ DzGy).ʗKv#ہb;wWru f9w`pr_t8,er FHz Nc$tMf8?:G7Oc"v=Fc@MMg@F*+,WMW`㞝~8w;4w#S2HS"Xbe4S #_q>#З79fzWbԮB||"vVM~ a Rtd09ųމ] 8ۿ^t49Y1Okt$S V6Oqp> #d‘CAxxg\x.~"p;!MyG*Pri@h/Fd/-x4 {W!08ionՔ=}ĽDZ:/ d_7ϧr7>+T{:h}D QhȺcBp]Sg ",sFƕ#\k]z\G4MU+vw4%SAYCo*1 8aIqAlbm/0H魳|JH8Z@7/KyNevB؛P]sJE*{>VɮQ(LNMrPʭ -֥/f& ɴXˋz- K4۔ QcԈ-Cn8}}xRɾ%-/ʠ$Dž}rDE [ވz|ȴjQӗF +0+`~Fk9mTё/%y9KYe W |"3Z(uz+e[LXn-d9g;Uˢ+8u)_|>zx[?aO%͵?%bbЯ(3b8ܮ4dB3{jIU[#e(2LJ' V{ڹf}Ozz;6A/~S)"[T0']ߒ,Jg'F"ilmkڏTr3DG3/UouM fq 5+@5ʻ Rms}B("|+ax9B<|_HV频,Glօag~k/PD?:(O:آN!GZ_rkCEUg&E南OyףK8k!'~(S:7olʓ%3N^#E0JwsYa[kp!a(0j7]B?- \d %M8WJ:eZ2t"Pal]'nX0.DU~\/D F >fIY[H8%݈rxh{՗1xUMf@GY\cK};Ҥ'Wx ۭܙZ45cV; `F{/\I !]iD~Pc|#yס& Zj$"tjž~@E/遃,6=9GpI)g 6!JI&\ѱJK'SMkw}* R 8\Z޲BM,<ÜM'eȈS5 ]Q11gQds Tۋ N5Z  ~-s6#KY &>WwW% xeXH`z3itPgpD7tI{_%uu!5+6ner' ma7 Ff%ުwl T*Krm0J逑 >сҡ;CYϘo+G+oZOQSJJAtwߣ+icrޡyUEuӁ !Db_C% F$L w5 $BN!4uo^[M' Hg;#xG禚?tB,si'i[l.H$r'V,ΝT= b_()N|ꤘ]-F  p)xYٸ&b軸*F͐Yq6?^%lv>W?rH:DAM{\A:*x8ӃhNotE3nåhVEXL^9,6G\S5m>3b{u1ZD^Vzs0K-s) ۫[3V跴-3*E@#Os}J~ۋGO@>*@qdO ܤE3P% :`]%pw>.m4L.Eyy~iG+koC) Z]\+ޡ::.gs6 â7T X@H <}UJl p& 3: +kWʍIX1 arxԮ7ZՎA :2'ؖMdeM`\Whsv"ϕ9yw%ؑKZHV چsm(OS}tv*hKTjuo"LJv+VEؘ5jJ)n$}d &2!"mEz XJnKqKZU$7}&]49fe *skU݂יȅ~qLhn[9q`gVp@@K)$@1? 7)VBO2[ a"/0 ɇ&B7ne9Cp Û=ʋT|=|נ$X=_T n1Ȫ䔃aq=:MTW3؋2P**nrBgINP&^r*Jb (ؽ-)z">rK5̦a4(z^3&)S `)LuA~E6m3)=]&vه+f 0g/f/1p,? d4XyV̷^"D!$pvrιQ}F5&IʸBx\N ~gShR㬗YVOn xw8ᩮMKS>kx7Q@=D "Zb>_FU%p~c>[4&_3"q[\lWGD1mӔTHuc%CO@0Ѯmh)!_Dup3<Ўt`]̅&phB _+v$6⾷y0?%dN>r2svh7ud{`¬ki, V8AȺh !r<^F3KJii' M,}uwo\w0xy8DiGge9kWZ(qі]u>X'd * }Z7w<}iu%tpt$! 훕D9N ,W{ld5A&ԳY7PBVC UTrVM)_5y?)].m“Q/ٓY|q) 5YiN}тJFF-]FQar$'.{c1>hڶqq-l*l'1/A_d!m,-)0+A7b^TjY㴭*т6&Ha >]oOY1aӯY;)ĿAlaq+wNǒ:q&I}*m\!>.yb^˾Mfork+:Ji kv0U'Ɠ-4' 1@Roie a_+\vK1p7/VZ=:O=c?|A˱a?;"3gJ0}۽mhYP,Zc$zbR o6o<n"![Sr)c #禗 Jx^BM/>A-A` XJtojHY~@zMG[)0Jޮg1)NэNTјtF1sRx$y?7$54췄5 oB0<^0BFjso;Ί/soʕs@^ۅ~B`O^-}hcʻS ?ȸEЂg<7ϟFk[LbB;`C£2ηZjPLp%Oue'൫3G0J땫hiZ!L `+N1:,'qy>F[_:@#/-z%QT{4F{Ld 8|^&%ef XŜPH )Pe!3x4kKR.@?| gɏH`aÆ ¿r !}-۞e1 r ~j}db It_PslЃ,֗s1>H{J!J3aYFVx7ڇ)ל6P #Q.,x9gO,c"Ve ̯Y{.$6Wdn 㺈pBr6^V>ǎ7Dejي`U$E,-YG?p<7|ȱJli[0ȧCǨlWH--Hw iRwEb2Bڰ.aQ*X0Jzh>~z6|" NBN\$p#vAB5i84ivxѫ+#^k`_6mȀpE8o}Spotl)s:%&`4t*C:H=nQ*uM~*p923ı,Mb6"'n+Ql3>]o,K{0x PH[d3sK.R:C4pv7`| {xı}qޞ\fObS/;A߄ .KOD HDɅzՌ|fqCkCt"2UM@zPeH}o'^N~uT}%FLN~ @}c/`.W*ƣTcXPR/K?@yP3 <9WSD;!SESԃ*ϚVGDSؼs∲aSL\S4!G@=R79ė ح~I\k1 y-`[[OUήH2Ibz+(TB)R+US7A1}ؠ8GJ3#l=pUςyNcy,{!?(!h]y^Nz(@"Mj\.APݫMhלc*rgwNf=N:HV^wNL;p1, / m_mM8ȂRNUF\f5 sni:qk!JQ6uc*i}֞{j#FGIJqYlC+5N%ʃU|$DXɃ.-BBtbp"uA%^p&Uշ5qYWRV);JRPdd}T%7Z.YځTjz;Xщ#<4zaG\i?c|6O4Cu ڼt,l:>FU6H%sXv\l&ۍBWA=SV- piϫ*d|,>oG;?-|h+jR`< U=lWRw 0mAsZF:j+^o B4PVٲntBb4{1%Eaw=|@Mǚ@sAsHd#x#d%XQk"uM3ܺ>Z ;?۰ qߛ;o_uQ<=1(](]`dm1t4y 'H2 U/rU4~tspmSPI\xp.PFöЮmF>mİ[GXQi/n3p&ֽ# }Ͻcl΋gWx<+{i%NDZ>YD l0>Qѽ5;ƭB 4f(/fmmdk qbX}3gy1)Ɇ7rWg9KV/ NS 2FR:JRFDTMݹ,+2Q^Kb-E΀~S4azT`rN6S-цG%O,@.s'iU$itcIPsd)8R9} |=2Ӯ{O3yr; =JbYu؜ۍBL㗳@}er&.5NΚ>qePEeOdϖq~5I_j_*||,Ί )gQꪌQG_6ed 'ofкљ4>T݆gԇ^L޼8pkl7 Y]!q3$~6i 1yLXn!~Wf/Dgy Uz!/{o({7# ?4}fz9 X m_G Nh֓Hx8{"*! l^G-3GK#`9rj`$&viJzQ[_ץ,e7"JHfӵaթ<OWS-߭` Ow#R|sz@${ qDd@ JX r@UXqNw΋֟hŗת+Gk0J9զH '˗{RɧoL+lԁmǎN;KvPΗ$~j(ivJTN!9vJUqGbimȁ@k ⡕ .^xd`K S*q%Ȩ8LRO?KB1=(zÙGVS't;#Bfřsႂ]^>AU:pFJ ~.`+kMc^ oW"h#W/86@َp*Ak[2)|qaM0}WE NzQ^"40\%"0oIG>>a;:`ʼY뱸jP|]4a.Iޝu$5>EBn  rz' r;8%=mkdmEH"qxu:"(O]DNtzhguybOYYV>xVS#Ph?%Q~pR+LolF0mcMF냄v`HJOLs/xMЏƢ;}кz(7wN Y[vwVH7X#Sodx#0 G'^.RW?HX2L}n9V[pX݉jlujp~l(+N51 \\^D'%!aBz ""HDFcYz3{/wUI90A;nV' ~Y\94meX 0c|tNղwuEFJճH*%j{эO@S VQ2h+HJ(D͉ps`y}Q=S :lEqP=:V3J\[5>yS!,P̠>\-#;ePZpi"ݏ%G(''7i[ ^ha6ZƘlbul o˶6<Բt Ev=kz;62}COY+ ף }Q7ys8ꅵkG>\wq񸂔cA5R,aTY],T5P[zgPy ]QJ C4M[VJvfrXRT)bK䟼6 (8:v=ThѨb3L e%UPßelt#:G4 =!UI52H;ҹ)cFs>#T;Y2>  )>ӕ!pٯY5kH1Iq)0`1ȎӶՏ0)b3mp,1ZB9B@+&=$p{$_ V0m<0 €Y9S8deݰM?m(1RA)4]Nbz~AbsrpD0wk[:3bGl׷ s PfMJDIDm89GpXj?0YZ`nrl>.5$1G4nR_bVzD^a5~=\׬v3Wܔ56 /ZS ۯRd.ƛXQ@Zx_B%IrIs.b(MIఐ7|R.r}Xu$UGC$Y`Wɕ;PSl.@ܒ^E3?RT67āf711sI?4n6Z8Y? Xw@Jw W-hEH^{ճZ]zYu$9X S?KHm&w'음i^ N'chI+a7t+;شt4,Avw䵜"eӚM{05S?g a{]յAo}ʪ@j/c-Ԟi!8k;6_;[w#B"-k7$NU=\ϗj_O:rnf:9 d@b^6< i磡Ӕ_:Q|Uk5Q r\GUH󸒪5X.Sy>@:P._m * -glz{UglI^-)!#ZӕEpAf]U}x2*AJL9/E~mblm||um@ 9vllF3 3m3iC(̦^D x()kFn̗ZUc@,r1Gv.\s"<m-%%3+z0h_HsiFy>G6S!Ot7Rt84liF+RJ@6`\>RE{mQ-#FNC4'I D9fico,pM-Z̽;|2ۜ!xTK|kxcm_٤_ QIo[<_%:*uq7exR6 c;N-eTgn>TvI_eqdkDMr + V&G2ki w]ueBQ}qTCd#w hEӓov뙘!XX`cȅ^9f.GǑ-h޳'/vؓ=XlGi[ٿ\v-S ےJbqxGrJ΢͓B%(1-GH{pXI& *TV&nLX){Њ X  ԜWa3kԀxS |P0ca*|5^ȇf\ݴGt`Iuoe)!1ܥra/hM@˼zK|.G?oZ®.3UW/jAcеkL)x8c6Q!BFٔ< trʱZn(`ĕG_Srv4m-Di (MWs i?8;<$CZ* 7Fy2fvӯ4ԏǢN#Y3ؾdeřY#P㱍S뇀2 sq̔ cʤ"*AacĥN/9W)?NVͼg ("A^ bWhF%giؔ)Kc >F3aZo Q_X$wnK_PrpYd~p(YJ"3dz|ŭ- ?[']q3NѶ !êYO.Zw":k a2XNç&yw-lemh5u%̮Yoޝ!Kd94tz- j,P;!SɮV -X$)epO 1"!矜F|lÄCjh0n3N٨V])w-9?0~/i^Gﮨ@.JOW f5ukJ_𔛤&96nOf vqSߕo٧vQR w@İi/qr ,#l1-ddʼ jv_v_pͥ|FθjF}*O;svheIz ƏONJ+OsjVF]ɽv!KTY[`ZS'~Bsq%nG mn"wRXucV<-5z$H{ cF~vIQh,3"|ZGz_gwkݻ^^cJ2"ر@Q(|rqS̤t/j?znw8O`Qi!U/I}i|9`?"gUQׅq ?;sh{62dW' z:zkw}mi:.6/p;"[Bo3bsЬTw03CMIhN}N/IG׽ 6٢8(Yf27Qp')M&Yh{VD j:]S.aڐ'f% hC/b7f iQ)U2!F?%B:Ocn:(=,cUellOBuK#̣Y MH;H#QAǠS>L-bN!h^C‚D#h!%G^'IfRʡXX½1y73ibM`4wLo>ӛdSAgx ޔtP:*G&B*}9ᖗtacm2Ջ>z}me<|b=_>\N<=`i(uPA0rL;%~ޏh.\x䜲q[ #/zZs*4$i[ku.Nrd%RӰ}rC 'r'c6'TONp<0m :/-4*.=kI¦g5F*Mrse,`vt _?B G[JnDSƞ~!Np Y45~mb^[t}l׸ ΀FcMn8Oh.&Y ')];hOpF#˪%˝dU6̙)u!ysEmrF[9 ;@R~禱Rx?Jq4uaAʈYB2z V@s8ܗz%ÖJB~?"yX AE `%y%,>6ZyBvÖ́<('xeڈ:48 ݺ=@&Np1ȟavB+M1Ƚ ~dފjx1W,6_\ͩfKc SYe&92#&&]%9[\s1]^9W L.[C+CפW?˵a1 J]8rDDXt~E*F\ ЊӬ~n[)ݙit~BPt)A3AĂLmf@m'quF 6n=X->Z5?##@RiD2V \-Fp[aumAWsX%mⳉ9z͉fwmRp Eզs$N締i('CSyT5qXD@4_FHdS$C@ر>ӭMdxԙ:j>~Ǫ m&'6>$AՃނz&/YZz{j}z;xSD]}PB >P4jqm:]ijLf`FRߙhB;4:Ӣ 6];7{f971`X#]SQT t5BF4}.CjO=񍪁07 pgOɵMfzizc|i]{G.I hk{SYiV"%NOIɮ櫦4v!(Y%H^(P%+-U YxoY݃ yࠫЄɭ`\#o{3LupmM36%dnJj#\9[bsPSO%8ʗcB"+3@@`hi 9Eup:Vof[ =狩()R_]ĘjuiFf.h"%[)F!]X=UUR=Q% 5{" Z83";><#x!dUe[3:2g G2GҠyք}30 À Q'=ѹ`{(䒐kh\2:5-"J&@MSVs>MRܕ;<pbwP:{֊ĐKEz+͌mCg&xzu] + *c͂#qkOã9_{_\K& ڐe 3|V@tP<ʺB (eW1OSyFhXx'̷r~KpPm.rWMΑPxvJV$u7l5֙K~nBf~ +`'#"zUC(ưjkF,{^Bb y=0]4N+zCؕ0B߱P@ՌXg`JQ(M#KT=@t"x . 8dl'b3~,ɶgެHxN͵>@K[nusԀ_S'Ŀ2^aXo.O6> D-i' 00YoPDetQx FkG}yu;XQnL$54MFFiGbcUzj :ND5Ǥ 7LUm)pMW8SRu; LCvM%;\.H^@sY60A, 2כUnQ@A|sR/H `Q6Mql$ekA/q#/-睰A9VމNLXM'Hױ]Gҋy'c]#B&Yc5 98PܽF.4I+%!zݡs-/ pZtl^!X3nn,YԺx0l"[<<gJ6FGK;#ugL(GFo0޴P 34 CP?m̷ 2c+OS*y|yvq)IV^=W"X0FN[&݁Q)wd` @T8e2<tDf\G0*L֘|O3d)l7u'oPPiL"n0_}ctD@uTɠ*X<׼3LGB<=ڶHs.H9շ:gn)dzfd4idy {Qq.RF-1t7K-mHJ[jxlF!J `}z]b99jظaÔ]xϣ69_F-@$.AR;70V@͎MXSGJ38;5g(U3X 0[I4cRUfs}#l%*hg&-0fCgOk CnrOws#%g:!ڍ׏ -PBq (c $Jn/ypSxTm"e}m_ ު6Ȍ*<\H! yq!&=Fԙ._G[|UAeqrNiu^Qgr3MbINE7F.]AF $ʂ/Ĺ.E}QIQn v_* Fho%߰PB N -2#! 9sdPeMN U|L}.F-{KJs7{{e}?,IM aeDΤ86k 7ZFwfS*^<8֗~Ub RB1P̉Q340u8lMoΐ*yX,H)"M/ܖO@N'IMBf`}seKj=2N2M7aԉDp5* t6 Z a~UF4P0MƤ ?oó3H5B೦m;6)'eѻ:DK7vBX\ my*}Vt gmy)aG=<~tgzAaE_#eˈʐ'"?r/@J^H XZɡC PQwK6&e8H/vZrbY}.jRܰ~Y(Զ:IU[P%3}Q 'l޾}+ΠE2mD nŁ-n+iX+ъA:PÛ 0 9QSd0t\:/q=dVnYifI)þky(+^4zk]v\E6qP:.}M#sIMnd %Ā>|i{:\D|[5i:pvܾJs܌G>)]1#~UA3X;m &`[,4æh!觓y߼>5)b KCzد8NAvj?UGA=}궳Q?O\,仝˪gJo2*ON*|SO3BφhK_b?G̭MQ{kC~qςEq&δ'Cy^NG|okdc9,{ٞ3,R1}KG-^>noҲ-zE(Θ"* 16+> V%M1R~1"PK-pvO4u}sE-F=vK΄;=߂,2ْEWhʅVh ݦVL_Y7cE9t޸n1Ҫw!p!b.ULcE3Zzi芫x t7R%VhlY/QmD8] h`{Dhq.)d [Թvn/sCQ - UW&7'a_ i\t]DG~f؂xrSs׍[獿_;#"Oڅ`Ě eӘl  xƍmw)* ѤnBO1wƄ_K$x,(xWg[79ZLӧKZ- nG̐ۙ]̢oA5Ӻ)/J c) AqrJ\\c+6ʝ.҈-)|_{ S˒J=#5wDu ;z6eԉbbU0Ӆ'yKќ4~}1AGDh].v(ْf-e$(K[JNd3UWIW(<2ޫ4"=O[ݛxȞ2W e84WۃӠ8_) tRfRI$XP WA_~ܩcZĦJkI2#~e`2[?@'J= xuǘE]oX ki:N:$WNt&:,,o6ىN1C tUұ$|:8sФfJ/nZmJUP%aQÇ[,7CFV+ ]r`>#bnS8 3: +ԖF9p)\aO YͤtlܧjKn{ nhe2'yaVb{8832T>0yh9(N*_ńˌ\ 'L#nΠ ڃ:`Xsr`k]12NdP?8,z#׃52 ]X].N׃&0h-ʼn$gnꎅ]nm+~|| ҕ6]PTv|stg!txKYk.y V!|' _~Fb׶CtUzf#î2!`#廟a v 9-Ox qr /:h;5Bx#qӘ&,qJ,=SR:̳?h^}H_4hCFTy7Ew^}5Sſx V{nZZ+mHˈ82=rG2Zݙ:P$Øe=ܟ'IἘ,ǘ8ٮS32C u0(a:w 4".rEUp˝ Z$|k޸i~ ڄӝTER4K2j5TBfbYsW,2T6A,-mDxF/"p P0&C^A_`5=;h U`e#1@DFͭ<74 & +?wQw4v 9?Qj{|3- I6xUddU1O[xɾ#H#ukF-p\lus^FsޭĚ9redțw1o]=Kpy $) 5fpvZChrwd,C?abȝĹ/<V-ӵ}O &BOuQ8OHTo X]P*ֻ0ŋGؑAh?sxO`odR<&ƺ!6-P~CTK!K94:~21>x pcژ GE[6x0T)[gTAA+\܇ ssZA\bXޠb5xLVlcIB3#ϵl7/ 'qzwbΏ811=a\kpNrڝFW 1`S¿j |1']&Q C:ˉM2wz$T]t T}>g.L%ai*f"_x{W v_ @nmU'}^`8ϝLTFcAN6ƻTCSP^<&nqMBi?) ]zGg&@WZN빣O tuD385> @W.E}+l#K.0Ab0Z5~9&monc|%̫(1p񽑳U,|qYesCeR&İW^ OI͉h_-LU^+YB[SV 7VY<(VPܿT= ltz'@ "2P}A' +AC!e@].UP/Ó=6XG pcMv?db$xMXFjydN5r0{nEhtiɒ80 d NPok*]MOn-b0 iۄyx`Jcr$F"bÌy94>@ H?t?mn<-thۈBv[UG#U7;.Ϻu^@o.>2 'uj ! r!P/Z1$%>~|ng)jUR!\Z})X+- I])2VXALEm#oZFF+suipUj/ |40'ta$}_LIWZb8lDԠY==LAL Wi4`"RxlxRE#$G-JwB ;9ßs]kX!} 5s|D$lYMlB`n?'DenDBR$])2Mw4%s[>hDzMˋXVсF]c7V!R-ʄ[.=K,arh%n6(ge>\<:%6@Qy)&@JieOg ,geMy~~v*L^!!(JVccӓha. W ;}Dz cuN&>=YA- ϽxjUiK dA.gb`>^Rg?)u۪$.1U#{Z{E}*)"b !xmvq TGhbo7\7Z4rkҡ Y=hJXRd*hpQe3U "N4sYHɚLCՂQGp"v_NJibF*'ƾu2Pߺ (og k̈́#n=jAv/VX;ı́7cP$\O-C3V_]pWd,YC'-W|?%ğ8iĕ zb Gcbh |bs |.皏h#MF)=elf[= Tu' M<)Hy֞[ڻ;a@(WQ` noEqVX)(lAʙ^V6/$W碇%u*ڇ)\G"A/{}:WOK"|ݑQM8T^P&tݹl`Hao74(vj aE >rTSlCtZ4K"3ힹEL 8 =L9+fhnG_c#ؓ;Cvgx[(ђ~TDXxpĞ&%!q{&__=;Tr5-BLoXe @3h2`,9d|0/x@ 6L> s>_tLO+cXPi~8}fd2` 8E僀غxfn7a7yJtg`%6ޜܷrj=;EYr?X.brɗf@GNWp1(?J= k frl4ņְtAq`zA6Ue=S_IZ ͢`c+|^bl/j0 F8M)Uf-XŰ4;$~b\ AyG?6EK]a(9zMCl;BG(w1ִEes. Rbau.:۝z|ЀoL-C3 3]K6Zpw"ñMߊ]TULEڎ26qBN} >z!HF4 +3:4UH,1kQhJx#:)Tcًp.mY'ts#1P. jFa}Zx͖j15ޟ)?eIo#H.Y&3N,y{cڬ0F6Xx)K B,J1 =W $, L}bsqQ nJeg_GtR=+ z4wcR6iAYVB?V|U]Үu`ZmK$!L^\=xYRjW. v[5jK4wyQ` d3U뼊0 +y}tUgdRG^?x7dgRe0p2 X ) 7tIsZ{ʓd#X?K}ͥ G ;]\Rnޗ,ޮ6RDx\W0)+w vcI\$HC!e#U34JH Bu8mV]6 EoAl}&:XtmHЭ?>v$K 8&ny;g$F$ᆏ= H6qܻdsl(i_EA{ImARJ|,2]y瑲(ET^LY3p zJ@a㺻?wiU-#^wSY_y +?@QuDߞ?/1zGLPҌ.@&Y@"~Z`+"Dt.Zz~M St3|h8 _yqxnԞ:_z$_ejU@(I[ S%h^r󤗽+r#+WBŌ#M07y~^?"19>^t醚(%r,6g")sFS,8lf֟`-?08ڲBf n9h3յxPd 0驺y! |y%G PF7 6f!|8% a_qiBk  [>d썈!0u_C%afa_ҿzb4Gh_`zj+ad#`iI OTr}i"+ ΖcL5%ZYιU"%^@ۄzN8"f.ʳK$ۤ_BFEn(YV:#PvJ\ɾ\G,1 W(>y3FMWJ#oF4#dhr. 2@Iŀ{NDQ *ҞRšFNYyKWzPL~i eF1իöW.öcjtu7,+[iHYx#K{I A= ,Gb_k z0Qxg)rE.Z SUNգn&OfrjLj%2(hd!~ ʟ~¿5 &$Ɨ;l oƱgYZ7zXZִF! M ]ŗXi%L&5n!m派Kݣj|P Ww9,=@#C*֝p:Ym^l([poLxtfodG3iH2!-gAd<51Jj.:!B0n@c| >ٺ'R7>Zu9`ޚ8,3yd:pd_xjW#n#O'۸&]3o'({=Oi|\q]>F=1 ՉiL~"vut=gD'g=N4p쥸_ԟ?hQ?U9|OAߊ5 *hZNr4RVҷ弑+5-/D۳ M'NU/2َ־Lﰲ ! Z|qTrȮR1ɾ@7?/m@J2Fu甉 }rtȐ5b|.E/]DRl-0Rǖ-f(pQ6Pi8[)6$ . *# -Oc%WW><_ӮrQ;lO&# *v@.TȌ`Cr?/Y]$[ɝA5 j߲AIB`uM&""5a_/CBْ?i8~H@Ň]Fkn4{PUm *94>fK?x]2"mngh}Ja;$6]5pQ(FmtSM6nS終Xs,o,1gfPQ008Қŋ7[mnbB:fC]ېȲ)5>bH:0 1(.uUc2DX;O8m-*ǐU OUs?D" ߻hFg*xhs9cR9{HLnP]2q 2h(O|@| 9uD%̒[bkƄh!B :"D i\249mSUH'kj&|U4i+ѫ D3[Wb7O٧ ڋV *J iLXs&:>O=q4dS,3[}6SKmv&@E6I@ex>5gigOB=z*kGdyr)}RBۄ4-+Y||@( \ԉcW\*g'4bϏVl|f+3g vaK 3MO5gܺ0U/)Y"E2=~$$uf^tB?R/' 4$vUuܻ|D'KAtzj1–_C)aM٩<&rL)i -NVv4b咴m cD-&B@˃\;KJ?W Lun}Q-խOիrKHd'"ǒ+˭S'`Hi1˵r71huyJxΓpY/p 8ihs3O+| _LS_Q6c%£YGw&K6[67'8zOo\$c!rq+1Fh'6*d-O ?. )U:e9:j.ʿY-vm3shn6'ψ1f}y ?.;{r#L.{L ʘ^kAǘm->>T$o >4q*6[T]]/]M7kƭ91'h3(h Ά;/gYZfae1f9b9ed75f60103eff6f3e5cf69ece07ebb6d9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 9e80a6bb0cdabea75d97f888551583828ffb8623