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-Analysis:threads=2elapsed=642.430cpu=1150.568gc=51.940factor=1.797zXZִF! ╗7e]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBIx{&@F>Wz+1O 9K)by4kc}q'?y40'=)q~jGۆڬHsd?:x׎6~t4}etT*uayg4v4Eiό^)0X˻\٬9[ a[KMves כ)[g ?E;srP@bS^(M)G 獤u?.!lH;*wYHyFd~7t)k({'$x(QXy[jdJ]T~L~rBd x{&!8u6z;`dݟiQ]R^aっ07$0w}3 &^K۵U/lB#0ɾ=!({h~O钳4ZyTm< E;?ϗ m1- U/x4׀EX +贉:\%ʏLѳ•e\j)ϡ,n#x<#mi˦<8t@RË=JOta3?qJqM 3#f:1:լ%d}zaٷ7m^(k@&7 Sxytޢ{Rq6 2\'ppYj&Q꠻C WX$iMꦚjd j.,[Nz7 ;"_B2FܕXʘ*Gf [AyEă*l#W#C8X`Rۓ TɎ(*aD73l\gA[N“=y7+.Yg^ Xhk[2=M sQ i|755G`F;#LG!xÀt9l&]!?2սxPZ9F\U;oyYy'58v(7|03)g4*S{kKFF='oePLOnaE{4)}øO]ت<6bRhr2 *.s~|E@#(1 i"<9@KvDdݞS>BTD'@ Xp{6v)w[$dp1G ѽzg9?,l1#TMfE<3vm!ZB*)}2hԝɦ4^˲mRXk Q j0&z-:pZ qܘ>ShNEOxmR'NH8 q]/ gvC6 ]pt׻;= 6/rProzJJfBn[t<257}7z@\e_:'W]$=}b(Cv>I#"B"J*B#K L]H,z % HOL-AnalysisL9DkUo}gW*J'OM75&#!y@rwg&q #+OU%cŗZX,܅E#];$<3lU.O3uv37\۝Gl zWaCl@^e(f*[T„)l9s\9Ci^X%U2Ѓqzm ,\;`#\f+-cfL nA<&D!X/ͧ71%4?& m Jf jDBq$, qOi3&@tӇJ=(ǟݟUlyDML&?2 H'0[o,I@}4,q.gY諃3@pPmrI / sx9:^]ndea$Hn i[krXVXQL0? ȬB3h/` OFhzҮtJpؘ[{ֹ[$؀4&@*<~O*A~B/QK_3}/1*I\wvm$u"(8Bd1}3X UH!CXy@Ϛ쑺v;G1#”X㏆h_\̷ p19Tߋ4πW(m&׼b Rn/w<0sz ?ߗ> p8ӗfH nJ#L":26+I+֎|4ᆕ B&e6֥1C.~8 :Q_*O4(3p0RZziDaѼ$!XCaA/Q߿R'kjI-aU#ޙz1 dYΪV4ұ?Vu]vb1 v=ÒS35^SqʡB|BVίa6Csy $thunn==Ϭdٕ5l6ݹꊨz)u4> H`@wIŨ=e kJ8ecka>Vha>k;(P>:zs%>O GVk`K;cb7sL0T Qܥ)81_ݣ(#n+=`^Ɔ7ŌئU]xw@:HgC׷ a @,_-GB#f%͈|SkA#׬kZKߘ(/Veb s=v5DնKITt>-11+{2'ڛ[ggq&]&rwKаh/5+pM$6[_ PcZZp9}rs}L'^M!IP'ۗi]&:-p9тd ѲH!!(wo5Eɢ_ɮ22ЧIO4U:BImR6F*x-#pHLWSSO#7O O}ݽt 3|`c*[p%>v_Lx!%ԁMXB#I~ܾ}@4Iy۞Bf ni;miN  ϚGgyW̜lF(lp*c[ A=Kh|vvMv4tqBuj p槻HKO7g=x$EA6Iuڗo=WWrtF5Ҝd8Qf=eXVmҭa0VS:,@1 O(aX8c*xαam29*wT-8.b Mhw`jAKm|Aәą{`p\ N*!IX<[w4TJ-yƈKf[Ah2egXsNPK/tK`uUIԗ'ջ'^_9jJ[?4QFyq]c)0`G->?T=|۾?vdWx*kW|; Y(_D1ƾ(j8ЯUYBHu6VDt$_qyaEvq*ڡs$Pf jBcX)134$_Uro)[D)f=ڽrSzi.N1[5v()Dr-EHKU-r]f z]y!dT_ws>ܸ,& "/@3$"lIltP6-u$i;ߗH7m!v5+l*Qe8z^(Fng7@wiм61-'[)H{砭l;XџXO{QΜ/dS(ϏEr *>ظe J7ŦP!EfRC|s= /HZ'@邜Bd` dEju9%~ˆ`S4\S4ҷ xY?sH5WCӉ:L ݰ]Ԕ24Q;3Iys9 ^w'<3w*KÍAF,z!HaG8({ᣝF˹^7o܌BɢA 䂻H$fO)RTpJ$E1fk+Ҷ'iO7 [%A&1ekl-2&-QA @XUE2 řiRCKM2X"ce6 §]\p׮$L8=֝;G$%7ua;s):=F} g>N`UJLĺrrX UlÐFj̞FoW2x[ˆhʏa@:i0a$ ;$ݓ27񛏹a{nb݌G @Y?w " s]Z5-NogMvba簰}iˊ;5þi\B#Y%q={wĒu$D T~5g(&gc8&-|ƣ~ ~/Qdcv?\|YkS4DrD \8%uL4LPvRÿ9Ʈ2x˔kvwGM+qPfB/-Mefߘkũ#k $Rp|n‹KW)I^S'trGD߲SЗ.%'(㝕\4}(%Uznf'&B-\ 3NA4v> L79{-5'ZJ~9(4rގKpb%eI#zp~RD}(ZwT&CȲ5:E/o_Wah&|Jg=#ʲܗ[b@U<Uou89pqz9"/+~? ^3a|׾0h\;uU i˖7GN:Tsuᶐ&` Zd0S;;o%v. ‡ڔRЎ3:~OlÈ )i卆bWa|X1#"`ⴝW_O] mzK }z-Tsb}!֯k8j])çO:WQRKIyi3@;Ry)<>}^J+wݞ,B,R&~0ަR;` '7ҳp@. S rhJI+*WРXtVzyWM%"zx#P.oB)˭4@5NLGtވ+`A<9#!/9EHU?2}PR{,Oc߮MU"$1DMdg0O ɝzKc>w3ޫ2iMNX\ JP/+" ~ ۆ#(l 퍗y p@גv[ZLʒU#kxc#}$hZjvgI$GgLaMAy OQ;Q?W3o*qpn@|3|Jf2H?zeLk˅Q|oX(yXs#a eHcexi,d [Fsa!)m5ex^I3J1|XTdT0gO@鼩tf xO3Pjz@ svCqN/ݤ#ԩuM 8 S^ݜk{x?K0 9;u1Jk{ڥBtLT!M/* <#)ѵ#j-L3HDzƒ\h O558E )w(SqpݑV㚵 <4uc,u߼vV'+2ǔm0YVQ7\ۉL .`C/@r~)]#1=}j3s$]WSml21{G@f]9ys=8FnrjhFɩR=!ky^_ |6_n ɕ'zH-\7ꡑ* {,(?~z1t|):}CI@Qfq]ýd{}ZPV9pS>z2P@ㅊ\:<ELqcn@qJҰfJ"tiW\'/"뼢J!&7C3mn͢9ߺƼO}&9RiZ`:÷̿+Ӓ"7A]+:ȇYDͳ4NPR.ݟeE0eE3̾3g`~{wrh%n7 {N]MhdQ*x}:)ʛQc8o66z˛weFXwm-9`ŸH2v w(z = t7](ť歼%,CE"w .>VgXª]nо&G, +&R<}km~J3X% h?1$z.6Tl?ot4G V.tao%'>>lb~fjBڲVH}zho>pBQDo1P7R'(TOp]NcIJnv6qx',螸9Ger,XԇlZBT4-ZL/ ,aƣeSd'; |FSv:mTۑ8ӄiPa0=VO1)Ioaz!f֐75_aT?\_,a02:kƏ +j  & thNZf"a]ۂ`SSrt4P)B`Zf1L\Y>s-%4C^dI!f-'_ rtF`7".pycepvC^eWXT [,E*=)Z#}bq-, Wvw'`(C;{S2>Mv&ǎpzq*e%ZeER z8ظ}+C+;, TSZV:r יHHJoyce -#6 \Ix FCLH}y{pQD;@$ hٲD.U=],:b@g]78dA-d 4m_, =ɐlXɉRgMvLd! 0jweO$rݓz.y}ާjQ2 D TPL ѸBGg&As5 9 ZMMin`̞%HYǔ0(҂Ny4^2fhl|4jNlkQ&bvs=Pr!?ُ$wV+}BWT]/uEǪaʸROfE{nI#^Z^Wrvb%W䟲+Ѹ+ } H`\=L oz&>175^ d}CC {m|t0kQr䱏 '~oiqthL ɏ`;rJ!CѻGxf(dqQ[ 1Rq t@+Ї>%4p8D\")o3qvKczrc~D#y1 pY:T*L>*sZjuO "".^qtf1cn5Jιt> }_MzY&6*wQ6?r+V&&/D(`ޏkC@,p̒U9FM62 x*@cDݧ* y:>3ؽ Ғ@ 9u FD"b7׮ 5au⻡r$?oBI?~]e_+G&q]|uUrYM6_[z)1 Ml.VRfÚT 5eoYY!V=@.! ~#8ub2=Ζ1総 bsU9ɠ!p{lQqtBZ(AICs/.=Q. p!+) Rܽmh/Oi>5)!Q"'BѠ՛.=dNOM{1Md=Daf!̓$V S[ 03j @W)mJko2!"TMIQu7ZI$4b:*=c kѐR;!nn*Ghfc{<|]@"V7|Rm3D k#_(RW6|ɷ =0
z`|VQt^)bqD uo#B, ]R3+G@#<~1 3{i[7rXwl)z~TkE_uzF?쉚ޜ)dB=tLԡ2jzIrl6x*!"M:V6Xרx=s҅;x kyRA۔볖ˋ$c"uCA{Y'W e Ũ}>|zU -dJg`maC?8VS݀O£x e2$Y&^ah"C=RVDk\Ǽŝ aY |G#b^-߶W Q5ػC]D`ڦ {CU \5`W߲x%b5Xb _*]"k2scm݌%oKW}@ 3wrnl]&n}o\{Y`[q,-뽜};Ⱦ-(F =ICTT7#[EZ=f@XpaލtTTėb>Nṃ X}"څтA7v5*;^5um*Fg//3xxAQg'TNl1|.9^uB mYK9Tln[+4YIMkjDa^)*"ePcAufTFq }*3]*h6l#X?]]_ʉGSӹQjXax sM[_ddcZp|W_2yoY>鮅 ل7 ;~mZ0WoLu{ >CMTPµ~:bʸH)4Lp_bq5g% ^SE%vNW.72X%75Ji'!d,t{1ǝ}^|f xcT~ Cm UxءK<2[&F'tBrQ&N uM:3eX*aB@Ͽhm/du ,MC&UXF[Q.zGbd3&HmB;WSʉx9Rs4;ĘЎ'1‡gۍ7:6 TӬ?ٕ2*C>TCpYw۞ڲ1L7=BB>ډ/F>)77VoKQdCzztǽDp5}]%֒#hZ"C^ m6`yol{:;|&Y$Ѵ2 q98ڎaLY}RJ䒼q4YnT(a<b(5_v\]CE2JOG6#tJ{xXd>`-X?}"PCLÓ~oեV)B|택Eh^ve0Gƪ_Q5 {Y#W{,(+MAPLJ_[T.foTp柕s7C]n@pl!8ك&8u?(3b6>&.dHuu_ } nغъM|msM:xLw-AElBWo kڣ=8$pVH!Q~,I+9%(A[=J}|<\"M oN5VE"[$I"t lѤNLFn B _tbРCÉ=t_G.K`>݉f+Iw~q_Ys6~LL86O}ht0.G.E.tY :Q1ګir&`E/K"BW@ )nq)?zu DzpW2fh!bPfN{jЫ 7 7DlIN) ˝<ɥ d<0Y۹Î:)S)\qۚ_|q M֚tiKZ Kb0U}0V^#D=|{7h2 36w1JirE1ĉ/.炎)U#5uޜ TuTKl#Cw?랧ts5 OO%yHb/2K_׏lY[` 69jؔ.q˗H* ;{a<0Viey([O j|`)s;*VMl0%s}`m-Zq DbyK'I?E鵣V .Ar.ГRA=BaBx:3ƉFsE8AJ2JP:SA{_a~rsԁnzAc_EߎPkD rGvzoDt-3y2Db?T:U+ ^ޓ )y:6Wp$?VcƗWHz5 XƳ̘݁0=j!鋚:iHyFHN3`r 2(t#Ί 027ZA]ϤgRA+_Tq h0\^xoԗl͉u"ƻ/-9\fm+]NőorU8iݦ,A2]a|l$ GVK6l]%kY8zpC%&mkmtmQl;#?bzi-.DÞ QkyBH!. Ww^}ep3NGOUߢn|mr#rbZFN˜*RMVߢ,$SE$#'! (']Xqx!'-+jf${˳yVp |?11E7Ǹ;W\QtQz'/hpف/FM'%,Y{~o.UŇ߿ڤD4 9vBr@pP6Pb>_p|l\24_ڿT+CC8T<"3H'lj&T V7x@Ji DMnI'o]wr =ATrs&0cNNqwE b2,3:_f F4PVq  \A83F%qm]H!eҞɌf҇GSg{M|E' :ɮN ;25@֩E! 俥C"cVB%ߞB|yŨrL9aJIAD1pTDWr1=Ik_/p$~AU`'{7D ]nt@nOidq:~a {ZYH01weFdQuE/"W?o]UH.м2o~@dG3g[Mc#^!8/Q?icB;05oBH7ԺkΩJoM Vp`ԌoϒZVfZvsG->W G6OeaU]%bfmӛ !hqԸ ~ :ҼKA\'J jvq*EI2MjL#Dnz@MrQp-(G` TzٔtcnϿ1l^iM׌O)Friϵ%R8 [ , s- }B:t(/sGM!Lq8 sI,Яh˚BԜ=g[CޕG/ค3JO㾖]bJUdz2b@92rvFƷ"XhXtu~ ="\̶AWȀweƥGiILPyqq `%uPk7a!24d3 5BlQ܅+cuSM:t*GG;~Q:фwIϸ6J5L뷺ҲkKm^eu*^;]7~L㞉5qi)->9,rԼ: Y2Œ8quBרәEmXG咅 ^~sFrC E4sg Ř{eA5ЈHaАzP47A}̮gYZ7zXZִF! vCu]ŗXi%;cD;w#ZlvrUHv/ a_CT@ YBŽmrg+yӳyU6/QCUyANTCG|i/[wp$/ηO7a:8,Y07䞷+L)3!vbi>#~& r=i  jT{׺)Z2 %7xM,lwspObWE/C-%^T^p4R7QիfSW^+Q2QvI~ xBINw/6+V5gQ击)#=?=S."X.h$r ] _0^4:imbb42"REoS{b^ sl><3эIk$γT9&(_1v H`EvMsN5H0cJ;T&TMogK죞`׼.5~79ҤuKA?O"бY៵{Obԗ~CԐo:S֔j<: ^fq@H*X1$%\R2tv׈Bt6?ͩoTWCn=LҿB7%o1kLȟ+=DͱsZF\Cu1o Bh)E9"nʤ)pV{elbJx<|V~z0Ef!$CNFN+rG=я? "E,6"*6@5sv}wi=rkW <$vP9ZhMϝK 7w$w)3kBY5S(٫:5MgnӨnVfNOCb޼DfI"pʟ<+A'*BgS$ E/.KL 6_[Mq\ [  678o=∙sB뒑^M:U7dɺVt+*$im rE~f0RtJ4UKD3aCgp/^V-_l␿EKS9FVҗ_R.;=`re|1T, Hte(f#)n꥙Z獋my"-;wgWn|01TFtUo\0=9my RF ^+\\]ĭi&͠ ȁgʮMp=j 4׶J9}ZjhI{|ҤH !bX˞%eqg9Jƃ&K)i?LgAxk$5|š C4]YWS\C?..}@¸sPT]A;pϓH>1nC7._d[B=D,=D .ӻ&ù O*n;}ǫ?QBwOAgo?9d/?EƄ(Zp _ {&yZK B |Uj\1 a/4YњBMw9%;ǤG`BflV 2py!3B 7iiڲJ[~;~Aԧo2xjD^ioA&k3@HV4yx?9٩/H{:.m2)ݻ3#ImCڌI([[7nEKF< ҧMM9,/99?/yh#W 2?*y}0Sw@_~*6~ueT.ˣlI3s:xt@QH 2F<I̲yPmv"žeDE #|7,#Ad˅gU;FFMqXc*c%JS[N[suGI`5hP;㵊izycT[Dlm2#ٶsa 'L_}ƨcM2X\EMњ3*MhH֠]B̉Lc:.ZsGl8ObP:ȼ3~Ŭ/=LDO6aQ֟-RA͇"2?8 \O a%ElI,/2 hh5%{T邷ȅī'ϝ?]h_ 0g+WfZ|kb׈5g1'_3@|;̃AtqMT Pr9 ĻI7b+OЅlTo/aY) @=6~#E͊s|Oa=+}uFz9b1 `u^$+[}w"umzk(`m)LmzO YFedJК-1%ڌlL4MFX7)m&Qb}yĊAB5Ku8+J= TAՐcX2; +vC7Cb68fFt˥F}[{BHaegK PWJÉ3"l$)x䩭ֶIbfY/ɠP4Xȏo=jQY҆_rz𠏳lTE$#TŠ{5 X|9TcO,_s2&b)6i%Zw޺I϶lJ@4=sMU13lc5b%:aS肝F7’;Im;_?Ky#}uU-vt<1.( ;Cbf2mI຦߇eff(p+YNHOT:XvZ@x+/|2.C:'͔CecQlUe`л&#ϦU ;3#ٽlc/#S$-B(`N2?!ĶC* J1kn`/m0=Eu &/>ԉ {oBZ%nÀ2A8R/\$neqW=uIp&.ɕ0}$mU=뷀ȉk 6Pk@6aO &6|G)raH HU-ޣnEo]S? (pstI9Gi /}p ׮]GAS(GuQ.- / 2Y'f:׻>͒H+ceG:8Ҽb#W;Ǩ'ir7d{ZBr}5Dm΍OsmJG`gTƁѵ.2&Qid8b J\ Oo܅1cVBX?EuQ &ީ/@jx=+{s73w?ʌO?0WpRbsx"?=sRK3V'Іq%ՏD[RZI_/ro.G]i yWO<ߘyb/krWgp%WhB ,h NMuVo}YJ !L!\+vN߃0/⥵ 2*]_y2:rvsZ0 8lN3tSX(ICzuO#/HF2@ (G N+w[>S"eb ,WU9s^ &%?<,, m86-q O{ Mg^ҏRaũWvz/pvt[i3?DmiBm)`5\n 6\\ _ TپQEqضjh'78IkݒN7FRaZf}.=8V*5 =;ˤ6G6%Gȿ C%Yt Y^yWA4l :X,8\SΒ1}Aht4If+z-sWE[}.Tȭ9fF-g*ia:\_tp;>2~jNa`WzQv6rQBKW4`"1HE{ CpY^)<[eg/P~{qDFYi 1aE:I~\SYwASp̹[o_0t''ɂ1c i%)^Qf?MEkT9wQZ7 AHm|ւ|NLZFHr}DA9\\ipC\5mH9^+-s쯡4;w=I0)F*h'Om|z {0~$Z %P'T́Npɰt!BMV8}~$0}6`{_BEx!ɻS P*xa擺}""3s*huE;EEop1)ɸkxw}d׍ƀ7>^:c+12+&65şEn/'C(56YXvV;ށa Z3g*uSuw !"Ah3 I XW>Kx˝)vCrQ׹hNW$O#Qe;jR}֠KLs-Sʕh?φv [dU!h D1^|m,[ƑZ9_qt ߑFޓ" vVX(s6)$~ySk$~äHEy)2',N){Sr=yRd`՘(TP-!$3m N.hL IzwGD|s9+YV1*PwpۄiJqňw(`Ɵtnu|j(f ^q#HKMvݻR;fsh_ހplam%<;yw>l#|۰)r9*; QFyvcmǬVX-uy?Xݚ}7I6Wj^ ALI~MDD*ŝǨTrK|X;ϳه/S>['TUc>Q eؓoZ"eztc{Xf Nܧw^*#O{߭ޙ_@G>I 5:dZ_xw/0dgظgOeNͿm~4fuЬ="~pGD^^7"=@Շ*xF6s韲L Lгh?D C|8x!oX.C.p#a/2_f-`XBq`G,%Njv~ujT=6> nT\t7Okעe1*8mE+gm6'j#i `* v阿V|P jlþ :lÏHEeS*Jf:*>45]AXi\Lͅ%oK.ile(7\ܟ84PSKXY*`s[~yCPP QS4b55ٓ-] \g-NX<1pV̹@N9#A #vnwH̃OsV5Ffa6V|"9)< q9/?)%J&Xg<˄ha!d]\sG.kb\>T]c^)Zy+xJ‰cZmeY@}5 z4Xד_3t cr?tM'Z)ך=e(!L? O%ի{Ў[- Os S~E-;!Gr泲͋1gܪ."qaf8ޏ*6(HٴuܰCfn֕'S /K]4CRBtV*Vkٟˢ-=>3+JO N /@Bh\ ^f߇+>%P:ڣ!0(jd=MFgn{ ĻJ"ʔX$'e~ڊmSI~~@VȻ'A e bh]ς/y`/w!v xkPYuBJsd ŧ^ PJ=h 7ʍ5^Vpuw:WxaAyra4/"+7F)ԥCReTNuz-0˥ofqm) q9:t+Z|eZj+d|sKEF+[6m,C.~Ҵq(xbt} 7 YmmF[!t핾t0d[۩=C̯zZEˉ6aLc+~UiI/mɤS5+pL%4iMt*I0A / &hl=?Fh~;J[.G6P?e;@Mr,~k{cn}ju`9&+rN@>938 &9X:)9 b1w|9> ]!3>*=hþn` N#H(/t=12΢MULkJAC+-L'8Y72 lh\>?B܎^K5" ՜l$!Hzȿ%Or&Äo&.K{4@Lnf-{ߤҩфT5weY,i:*4MdZR$}Y '0ZMdkVdnG2tk[kT*?T}Zk*|Cz 0"T*iI aSJ) fGU>j.K$oJty;#YM6a!cUqOVEd(APG݉q,~Ƞ,,@~/[?j10+Fco|h,1Stm F'; J]'(Ȗ6}si# =y6C93Z-0Zλ׏{:sY-^^F݊FN4f9@ֆrE&YV9 >ݔ(('~]+ȝ5l]#-t *U5z{&֛CnYH.9CcVL4K\`Wzn1׹+6:*d=WQkL!;XdE yy"My{IWE *О6~X(#~ Ae㌉*ےhmT:^T V;+2{"-un;F?y(TR^Stzu)K&4 :m %  3\pBb,sNWo<$4VV N؁Pһ )E)jC^@2*X$3ʍn, ?S5;^}ԁz.uҴùU׌^TN⧢w![O>^n1ee*h-_5\z`&-K\X- Q)HRFyx|; "ɪz=}&շSM-0\<.`%&۟*} =5 g:f O1&,ʢ)J4&$?vZpl_nUpvĈX"j %A`+j7FT/~V9Fkޫ)>vjrkAZ=,QL;qIj]nb[ B _+ <gXz{5$zuğC¬ZcqaNE}ow!lTkQʡ>u&=ͬ<:'+idl-+bLoBeRUZTqz3w|)1x<.7ڿk }$h`$B;[a)%,$Hb86tM^bɁ 9T,580-R`& j!w0i,T[e.sźG![/ iX&mg N7ozуA7D6 #(O׮jS=Qe϶#uDFz3m R*Ɛaힵ = e;@l<ْ%g[qUcJe,Ɠx4LtQdf>u~$&źύ?Ĉqn2OI]p^'8X4!S|y ^0DsԣzX Bf )B3{|yf)ԩ !o,ȶYo{92=6MMN2>, 7i2̓j{fћ &Ӹ9ndRh-3_U9fwK |k;Ϊ0xk:FZ__ׂGqBҩսn[m,  |?-s\mWHӥHo30@5zx N)09.&hXM7o~[$ :#7 ω$hd*>y:efeN-D$mp},Z@ g;{"(䰕T9 p, cM$ 0rF5Ec_r|^B BU\@N߾Ҟ/S'ElF#jzRˉIr8k\O<M 9/[=Ҭ) ~q8־ (˖MdRgsDBAZ6<2`Xl28>CZ{ysX2W}a+b*$UMϲ[+xYd jtjk7FpQI^jK]mFnu ƈ06=q yVKˆi;|KVlRol9@h6u cnZT^s=6cT=z+N̟Ѣ=N bɟT+yCa$afch9$Ȩ'Io.5mw.ܩ)GjŌ")%Q23PȆwTYPumV9ӬjPsαĺz^`NNs`޾"ŝj4I,ȼhW}TpR)ȗfpmnFvI2eHp7 i ^,YYCǭAq:W3Es{rFȇBjTx'R~Ƭd$}6DuZq@m +AGe${??'<%vi{}C#^ k+?_b5W0C[eg2U8`,Xj R> ]@P(8WX61!kJHX5/3iKIB6~m= ޗ,eYbl5sp4CDRrF؉2zz.M ѫ6o+Aw=0);ǔ,N4/"ZwCR(~<.9էn"5^sBbPӝ:$@U>f%*(DNҌ'qW߷%a2b*Tl⽁v'vp4BQ~]5 ?ɯ|+$E:ʖeg#pIg?O܆RWtm?qi.xh<8/t3l*La3qdu|%joV:>Hq"$'ύš{qj}i  (q:=\]ZQ}X$4gt@ "iA:oϵAnI3^x;'?EP6&} ˡ(+țg.{u֯Jn___Dg݈T&~K.eLrd{}g~'a,˜J"v{<ҕ{+fL )/"k'=&NHcbiE=C]p&V S V (z m5L!X(mڕ{MUxfz3M} 9,S埑Ri."̧^1brYMr pK hrAzQ3뮌(Wo oU߾h+$N&j)AcK 8CÊ tU'`~ D'"XْGyT%j4|i*жZP);&rɂ`6δF^  ?ǂTxbp)}JZ yE:J!Kmt-ƇH?f( .OvB ]akF7 &^ ~/s|gX Gr- '$LF`"9M̙YhIz8&L@%JJv(?y@/%|%!>/!peaNuNRޝ4Q^BOBUY6nRG(՗H߄9Uղ ;]H{L;<}'as(ko`nDU _&P/3CG"daø;_ 3qFk%8edQMwdWa5 HHx 3mDz\Ax6[#,- <+o&/ŜvzѮkEUhx/w>ͯG8(=랯M{=Zj"-mVC<.LL(J77pҽFe-=:B06@asT7:| ٕ- '-5/ͣ6xT,YAfQ91Nj]r'/WCŔb_JNe7ACLSŭ)ڂvnT=&z5&B|͢OD,ԓ3ta+[}t(ٙ*Zs(qg6UZ:9_qj5`&ɪ=.dܨ~5LW%2Q͠WjPA1 =iM&!gx8asg* rF1<**&SGAh;=1yh4Dey&⽽moUg%y2AUmcoz`k`51 a"XDm6k`>Qj)NqJo|Lk[e!Za [Tt?^)F/ (!C6mOmto[S3 q_bt}{D"U PR†0 9!3$R]E|9YY4|xDJou^yo]Xda$Htόuul9yXc ӡ!6ƏMM{)T:V;I}xJm\"ӔG3(]8ZC)qt_#PV((K8U2M 2 kNjta :XDtަNIPS#z )1K.BA{/JHnJJ@wҏs҃WgG4 6?,Cd4V\ G_M0W)igqT|w+zDiҸ\#SOL|V_k/:5MDŽw[&w'=H@t!~^WRph=2ۼqV<W 4zAˠU d uy~]+ZR(lN:e?pع9E@z[h5vD^"Pn?7jy} ~BǁoB۬Ձa02Ӭ 8oJYjJuĤXUǐOZQsptEH{#Uxqi2kӲ*9gҸާӉ܎jVTВ<8 YS~Nz ~MEH&uk shO%Pz P3 &;N%0I *Pnm;R!疵P>WŚkQqm\2-ؒo4O} 7;~І ϣ=<Y@PhUr頵 նN!bjSbXQxVdB6n~B,R|l>ͨɄY)Nj Y$*͙W|`zWQ a7.l},/JPoc}Tኮ'yI638RW SA=oA i@gސt@u&G> 7聑 >ӄ $|IWZ&uL0L]=Jѥ. |_QgRGt&ޟ ?/L wcC! ]n<@Di px/dȂq866~|ɩ!vԨ!sɢ~aNH,LFk; JXuOc> qoIo{b5fpoa;Qs/GQ[ y9ATmTJ7V^Ja\sǥ./;)3'7 > 6cW4  ~+%`AɕAnݲ,2+͒ٸf I{ڎ MBO04hoKmKm)CQbQ8^&'mImŨ"c RgVaGmytAvFKVؽ[K/407lT5NϨXKXA7JHaj%XT7#^\׹} JL{A7 CƵm#ztV `bR|.Z)q'9/#Bşح5h?f8)0dh{͒t ;%jt RS\&MX(kuG IekbnەǞE]:#ڙl׃٤%>dcز9F7B] uH3V^JOWݧ^{;ЧzL5{CȠj͸.}t&r}aiTKa<-kO;Fί(\ @}C)wLUipEn~;r$I3.ḾI6gA nq> a":ځoqonDU끬q{"ƽO4bZ㉗* j9{aR}A{M>%;j᮷$!hW]~5fcyN&^zLo>> tl:TPo UH0a8ɽGirk'O7l>yĀ&H*R.pߞܦ!h@y]YԜƵL*8%ldġ#Aڏ(IL^y!k7m(NxUiX H^YkT8p( Q&,Qù}Azo /+,w(׸ʡx UtHPI8/>DqV 6\2C7=^$;') u^m goPWql344!醺o2I D,3~&w [W5 f;؜#H3̝֦!Yd}#fzi]#;xhu#{%Vp~5 hߝ5r+E=K+Oի?%?ߦqE{4s46 `9h2^gnkF82ס%RWj~Gy3}F .kZiw᫁Ж*bi6}vٝq )49nH01Է-vThrjS:Wbe\!fL3bg9$RC_Sa]m̧{k) ZHW2/p(;SxYLB :UmDw[D̪ЮK , #Ά! #.yڧoXOP7/~:x6g8"-C3Yd#lNbb>TOyu1]'>PuO":Bb9ǓWgZ`9dcD(ї>qLB,4 lX>F}ڧ V9%֕9ʫh* II5u@TϛE0 },iǜXCLV[&)槙-JinȾdsPrWg!´O_oJCڙd$f;CX\Qwi4m,X!Bj_kA_o5."ER|h1AI*RsqSyoYyt kH8+WWbն$AdMm -G&r7tlfp$憕[pt*T`8W GS~^:z^g3r䀭 l?;vg UfNėY4@CS3ntVk6W)(g݋0):3Adʖ84z:!lmQm""` Վ'/ơ9bpR04`cʟ;P=^&\lAWnA>ݑ4lFIC.ľ'oEBqʆSVn@u?Pβ#fyd[Z~:B)._FY?|QJ>p# -QjY Dkê\źStoڐ;yY컖ˢJ(جf*{o /N  菟AIs6 D/tl@x U{|W୫D8 {.s;V@N+G㌑~nYyƉ C8 j!0rae5k܆umche}-Ӷ$_l%p~.'bQ+ , _$`63}3R.[3"?Eǀ<%\P?cCߴUsG/k 9ѧ&΁Cz'NZ48zD˙K-i)JuUI}xx0}5Kf23_C] ٔf*y$5 mJ'%,v7o!M)[9U՛ t"%X>hG(TۦEi|HVQ%Es9DB#@0 (>j 񵿍WckSvVnK˼aB[JY6wZG=,y5i5xpM /@:'_h$Fl\ W) Ǜ;Ҹfs?N;D Q({7HXtwt!(᜙e3\5^bL~*̟x;K˕{3-`3-;У,Rj/_Azʸ(5hRL2ZTC [d)]DM@C¬0AW0eq2>H^҄C\ ]-?#X8`[%޿͟Oiպ-r}MCAvSIY\FW i ȗj{ߐ^"7ӘXF2KtdѲC= |R? 'mT?-Rvk&3= f ȃlJK_&K]U6Zn7lφ 9ɞmBG%ZʛT:$MUR}Omʼ$s|[ax6(Any4$ 9:/ύGkT s$_mhJg`8NyT`)ULim(@""Iv# .1 [o䆽"Al%`bKD|ֻnU>}WG~N&sRQf$W4`ABW@} <*mۜ%Tcbu*^|ߔ"2~ 7T$s*9h8s(% ʱ{Pu6>E6-_Δ5f޵(OVD/!tVZB 3~H# o~!l`fyhkwJhB[ >eH@5v4'4kʗ۩Dhg=zZYcmyJ%@;ɅtXWG &hM9mk)K^UFl=!'3#x q73X MqϽɺzE(F@Oz!X-b_<O21IcV'"Osu1lYmIy˞\jRwLhQd+xp[7@JX, u: l'WYVe:tZ}3'*S 6?N36z~hPԭdss 2hԈo]qp')2P~  $%ȟeeJ>iYe93O8oB{+ p$o\09 4v\if( AwՈٯ{#Bz}?P@1egd_\3Ÿ`f O1m6U\U:~[ȏ~PXn+_-8C;bKM9kBs㬦D[+cH#i{@7ln6grޢuL#Af59./- VX+Ϻ>c^sr,AWrhC/;Lo@@-Jzt.\ j)|9BvgqCԼkRAX8N5zN!3yW8 w_Vn[iU?>4U*P{Kzy=M0'6'13L8Hn#]Ժ&"̔g:ԶijL.JB.,ow:m3Z4e{[Vesr.,KNFt,=QE]jczZΟ:'F|]hyK-n96,. ɏqOjNgy $ު: p$ۊLoJRt&RèV8vVc!â C jzÔޤ"'Xx(N}hRݏl9?-#h0þRaV{Q'+K^Ef\k՘;/9 ;kSl#xtٽa Fܕd"Prv"I^j`֞` NS J nn1FR"$ j I=W; vmEandW8uxH&(iDJ%w:=Y RB],0XYYvo5@+`'r銖Ϙ7] =(fnmR0;^js񵖍,0Z1ҀFגOI2ZczD?Q_zDpVl6CS3W[Fyh} 9̓McB{$:C*5$!CçpY(aZPLm 'eq2_ZʺߴTUCRn4ƲŌD4{?(4c}|I.:nv \F Q;YbsxN)_VN+3U :a+rf b]Qb\ [y',ɤvDp4ϲy>QK&%ǭ2 ˝| W-Yޱ\m?EJ\>^oob4N56O(Q_J"j`r-D$@l"X^F^yr%WP:ϖGH*!BX?GCh,i'wuWƨ_sb \T+1ڣskݟ}!Sɟ1<&k5@=m z6HU\d9roA8OP`6=љ{ '2z^]]CQ6)AmqS^/œJdB4D~qfNT|d0jUD!Xo,Tϟ60E5ɬ.Sy2X_J~ab5K[ˆwMJ@Ol!j|%6wtCP դ64)Tۨ2}xDmy0#Nt0rN3cwm$P2PGwwd饁Jۊ,ϧwk. 9LmJ W>pk EZe^z"!)(J# );@C6D6[㣰BI{}͐7,KZgstة57/uwIx)hGؾd֌>BͬoM39K!W e EN`SX1FNHz(a؁x4"9iT Dr3}W kWJIE/oaSiEf#eDp'{..-+q&S +F;=Z9cP4f5,<ӛ5?d] q$4jx/QZu!і;w%{$.OcD,#Z5+#9i=eA)?-k,MiRLXw( : !%rq?)+Hs$ Ҙ}'ǒ8Q59g^%. yQy Y,7MWQ&vP`ړsUp, vT3`~phft*"H'J*FҲ\ܙ^a~sڼw 5jzw#܌JصOLʹ̀^ca()h0-yK ~oMد،0܋~D܏.S JAp$&6; 2`.!s8PMT 8e !(LӻBs8:,=pEF 5kq;UybzJ$"'`} saLj8FٻnDn'SƓ/-*(_ U-ic,dޥ壒>X=Td8IADg31*| wE7ojbɺoq ucޡB)v8llWZV7pixYDH=dҶXh=$\* &? ^llMB]͇r\@ЀP7Ĭ1$+}HW|k_e,qzЎ*4Kډ7ej<Q 7h 8v470 * SD/=f4\!i)so: 6TTM›Yxcj6PCFtk:[%XGR}MVH -g6Nx'%=ƥH@ {Kuek)`Tr1 /߇\F[SfQ]3wY6@PG_rt pۢSQaG4`!R#AV+ < N<ܬc3 > ?S!XF"/ltoR;AtN1bh%wr- z.V A@`7S<F[J1dy*i o,MOhnȸ2.мNb|3`F__q槲"k%OhO4k2Q)U2mIBȗjiC߮U6'/DBkF- L]?Ry,2n_cI®^Ju⾽"DXG"BwVѯĽZJ7'+3&/Kl2pi鱛< 8Lݰ 8lȀ [vLhEhRs!Ëт ԻFg >@f^1zz2D2 pTNlQe2D!K~YS@ʣ$3dQy U(J?X9:) Uz:m\ibtlK;t{NKVU9H&͋}э#.!ٶvugehPz-h(< ;VI={E҈BH\0[ !¯.#y93d{[~u]k _\f}Re6H5Ch3!}f L-=ސ_y[_CVʫ~8ٖG֩C|hsӳ [ WP[d0ݰTh%!#(PqRG<lEp4`D֬cLn>ZTr?hHr^j|} .&xă@o#<- . Uq@wa8珱m r&K\x-<u >tli=z'˂[xy(EJwbI ˩R(kC q$+nR:<%;Zy_CnI.wԽe4&8*(r[$`i&]IcsE6L'N1h_Qy # ?1OOj[\c:v^m f,^X0Nh;Ʋ  8:<="ВQ3s޸ky x;MC~Bp;[B \ Nǡk:cSVaQ(p;ĸ u]7bar`-تce-R*۳~>kF,ws&BWa'u)^qן`BeM+zJ]mR-t\(R~}QhDs4 NX^wʼnl M+,JkK6"4r-l2p΁}zHeoУwvC1ً1ڒֿC@5. ?KE]آ&hg@G(+;)xM{H>W[%K yTpkN3IlvXvJbJ;гe ^|kVGS*QM,$u2.sW⽁P꫾x+ڞ 4_iwϐāP9/%VKرHq8Q`8!9ƹt&*郀8~HS2k!*-g`v{4kyݏ[YK ͒^b'~@D^ce,+HXн7MNh잸,J0ifK&aOPC{şBE&m$Kb7 QR i@ ١jxJMaG-rin @Q.>eY+W0q׾MʘTb8w{C7e\Vxcjq'{~0mY(-ȏ1n넗N 3fS)>0LeR~w˖8$&WU~-mJg-.:wERGE|ʘm,[o XF0'yga[wfvC(Xyɪ/KAzߝ,^hd.rG#2xb .ǹ[R+6,< "812KR}zԦ%Y2J,u-b]\^8%5рo\o.+*N9XwMvK%pn4&W̵isp\.I\ ݼ SqnM/'NbV=0 ("Kp"^+#J]E"* %=/( }a&Ut#sXe{,P+ԩ+EW* %͠ dRLB|5S9bK}@g@)[wPkJmyz<~/uu}7#(!!W ;ˊjT 8-oI9lZ~tEZ' ӿ;l Y)LZdeRKKyvB+w;}&!~0o']o @)Ĭ՘ջL>Bj&yLc#}c:ET胓~ԏ4oO6s$+sOg6ԓnZ,nDρq-ҚygEH.;W 6$@-58ZpeXŝ&|,_F?=hHY(,y-ar: Eod5a-C:e̥ P]1o1!ucw|N=6b&"|IH=p}zKKwA~PWXI-m0gUQaV,bV}aoMxsFWEv0 TӅUorAeŗAQ2FD{?!h1Zʖ ƊGP|(4p){pX T1rF :"of~_Q@pEЉDmVG5Cr9vV`owǀW_҃="/\pXz ?!E%s+oWP(&[I<*~>PB6;;B(>ODR"HioC)8ڠ6XC^wA.Օْach}u p$4&"P9db/CHOk/aU6LWV\+"ߔ n\I& g#b-ɻn lR|::DR\M-O!x Q(Kljg4x{^P-m_ +xeFvXlg},06c e;#;W}DEזhrṇ9rN]c`;T*Fn\ex/.sX"V0u1,KC-eRz~dGz4)+ bfRRd<#t2NdQZfxQ$vUi,B 75$fį4DO{A|ݯOѲbP%Q18G5'}ѤheI:1T.Bibh~fRw1no0XF6G]b[vBzOX{%QTqK9"!V`KaS*9,Aɐy}ʙAƙ̈́%~WRՌLu5Gf17Mqϐ%xȾ1HDl)ƃJ&T֓c3ϔ<12]t/qs{ /V@fQm ~f [$@Ppa߻F_h<UGaet@#i~%2\\,֪͹UyE lن%u<:awڌJ1^r}<>< v#`4h%PT&7LH-ʠj[xi86͐I113aUbxZLxs={[ޤU` *-w-{vX'bcX*+n7'.VQ/a5}1[$B62ϣW ];x~Jr1ӪQ1Thb, ]3 e)r~~fBĕCy֟[VoLF(>^SؒͽRؖ@{S,NyG?_,MKvbC!Gbqϱ:ȃ[ VЉ}W<ҵ##[5D^?BmroCRf LLAښϹ&?ϮzBp_p][J[a3~ŧs$&߮?wLdz1*){a{U{}h ?5nS% vi  3|˯$ ݤ r ٮgͥ9sv 7Vda\^ ɑ赘CՐlj(7 %#]w0sb-|̧l+jTyehQJUӳ6̤>1V-ՂXt&@O 2T;"`wXy,(5xةivVH6@Cxf0h={:>P._RJ12FToszYQPטd;),OՂXz֕OI4h,=tT+(6NIe%cByM2D2Dhu̻nTtFo/;IR9u !cbŧ̹籌GEm[[$>WPq.HtxGzkRK#vCSLeϑSrYMޓo}tˎ0o |7 ,PR}y\8$\YM1J0ԛDo.;UNfE OvELL`_!PKI}tA$τrk._Bmq,SˬN7z)S| w V|{ U>j-㏧1 uH!t o4K*4 T߶yb3[2fjqg07l$څMjTN"ztb1@`]J3f!.K{ vAշm>h T/Jմ"&Yf~"DfF]C_\{7`o>jAنϖ<\@g$ 4:-%ikePS5hH8R6CDLlMc!8D݌ (xgMo#&L$ È|S~\e%Oo3)R FT5 [.M}]6- ͨ"ϰ 2_'T(xrn᡺4==SQyU4 pVuos˃)5Ow`X9;;yL{{FSC7BZ|ZٰրHxk{-sO;CiB|b{T='Q㜒px3V\F)GZw{NxsrΩ[5gJm\JWl8"O(PhyaׯoC˹ϥaɼNɕrdF|hx"5"*W~x8 Zgj[E~meMK[dlpmL h+ d#ޮ|Y`oNa([>s6&1 \>cN76XP]3hنZ\~0ҼQD"mpl%qZg&\,%\4ScdLĴPtZg#O RKN˜5fO(ecVN9Lmg#D_2/"9C=V9WQ 6ZGP(lB05/K^eLxڪvS21?H)qQr QB4vMP' V,kjpI[L\i–g T34oUWtiYP+ũO <$t_DP$VrO^I>эc =LB!>~uiu oMo~:xE ݠT o-+U6?-ߪ@a{"ۥIzt|*pu=?M_^ GQz6mRX./hFK!1q*gWM D "-3<~D8oͿ1扨whdCa?\OL"Hg,%xERE9RgE9[ǃu9'O;47Нl%A)Cz>aOD(ɩ7DЪ}G3wյw]C<ՠGc\L;۞ti۳YToxdH|#D;Ax*b潎a aaA7=ElS8_pHѥRj D>HRNguppP@$*Ig&;]*h)`i|S7SvTR_ ~ŗWDK[nJcR 7ɷ&Z$0\K7=U Fd ^s00j 쉤 ;;bQ>x);/ܾ 1ړwdHӑph9鷞Y-Vz^v}cT뜨mhU&N̜D+v!k g8G8Z?>_C͠41 5kY9R]MޔYyܩUI(XY%v?mhJe~MMq(t/]0i7RC+.V Ujۑ+ dR57*1[s$A4>FS -E^٭eV1Tn!ۖJфod0_O' `<[[хM4(/O\d<] ۼQĖ4}ٯ`ӐʬaR' 7nx[xv+;QPG攴l t;2>v6dXp>LO)eʣq2U(?eLtG7_=׼RԙNE0 ,@;v'{%?q(n"s:-2ӜxCrvgKz^3*r"M}?yW Dߎ}!Lۆo{J3] K w33=«dEQz(ChW0)oAFK*Myyt,lSm"j@y|_8/^X_I%L;~/QH$Y%%tC<LHӑ}s`[L?XrMQNBFpcѹ0GNu7W] 011nB{(fI\Z5Mz<IVY)h4J1VUfgYZfebc9e5ede3d9d01bb4fa074c5d06b90375dc99c62b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f487e3f4fbfc19544d478c356b7edf6f4d3ec5bb358