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 F%L wS]HOL-Analysis:threads=6elapsed=312.365cpu=1341.480gc=79.724factor=4.297zXZִF! cGE]ŗXf1-q恈a.W[xQ$j %sp"3`Jb׫ޣUcWA9w>iNJ*c/cl$S/:MfɧGL6fE?';46S^ytvxD/"(5 sob bz97b wNp䔄 蘐&;Q&#$!o=.A;BP* <]M\EZHPP>Į$(²}{%ߔ~"CrUYF`~ٔγ$ Gm&hu8"@N=4u1KzvO>).VIJE| Cv_JVp~ &ÛY?3xw;'5 W-q ;tιr:Hd} \|QH'%j`Ej|pYP(*F'keAzݵ]9 e2 #C-S{E H|mtu򉛝+N]ErxmQ j/#գ6vM%g%aݡ\di\!8a9LCF!u7Rëȋid0E@ʶW^N^'xI*N@X-)^ys9x :b}ǡ[n=#>c%rALjv_uI}_rP4d}p|cD9\tSt}3о6d(kݿgXwi oWdIy8&Q~*^lUS%Y?rTRjK5,dv0>z[M.Fu;o0 w.&M#kc<@9hˁɁoÀyXE!~os<*N=Fİ%u6[>ah\m܉Yj"hʄ٧JZ5U.j[X  TVbdz6H,"$U3"Ts,IÏjҙmBD܇a %6p`1 'eS }?~^*'>151NӉ!Bz@%U N``ZnڏRCg9t} }ޫX;D4 NH ϛj^LrD{CTv uWDlxRҪol ՠ<þ :f!DCrNG ΈA 2|A֏ϪP7]BѲG˪p 7n3bDkPUI.VV}Y ̏Ҵ sfq;y*o]>; FC[>']Qâ`u{_Ut(qE)>3,d\Iq=9l #Sd^[Q,MiwdJ3u0 7J725nצ$#(zgހ }{TJ"ëЎ!Se `%{4ݚ|6^qWVORJ*e ׾攭" ڛݣ 9x[㿮.j8?hf%cާ[6Du*Ǡ E4$lV'9+\IK*S KQ@ lNΔ?-Z?|ͽ>GS07u!dء׷W?zϭ[G䨢ӴFn$*IgU 9qװ^O0#y(ƣ:s  7e^ʽ(~\%w=GUe 79p_I@Uv˟[4SÁ qYfDDNKw{&X5KK9 ^&4-06 sI@qOSGqE46B:C8,iGr*$;߂CMŽfe3yc1E yL,].Uy,<#@ÂR*ux% ؟vw$*z=:Jp%w%Q9 @$ӊSo鷓 R5)of279w.PM[/jn-bĺ%X|~b:̼lb$ fKrḠ'X4H)0 :(*ׂ_? 4jօEU \1TxLcx){BC1T+ va}K^4j|⮩dh^]a̕^^pʭfc/rrBM!骜Ql}//ΑU aqD&zcdJD~!?ԤuǯFؤk=2uU+C2L? @(a09'YY)x|>>'!T\jI AZ؃ ,T[lz4̽,{uwx[2#Yx:M-P5uISJV c$|pf % HOL-Analysiszail8$=Yzx )RԢak'|oPB3 ?չòsSG,(JG y"Pm+nIۮՅ;LꯦO'68ȃPh`-}R0%Ps[!hsf(3:C+"FZq :)O{>V4DBزIw }L-Y? 1ҋEyHƅ8 1! \~] A"-{);.NrP{+*p`,=^Lmyqz9F=@pnfq'egt%q%<#=.c/3|Z5MK jo ۬p gd'Yi ð7E/-k =k,̛W~*jԋtдTmcLzJvz)+RYϥ;,a#rF@ѮЍ W(SkD$tW]k^C X0/ڭbtn t?g=15VjĴ %֎k[zܡZU>*Bj8 :6ij64y9؝BZc+h0+$%]Gz*bT蘝EqNV(zT̠%)ΣmHesPv ө)B/=Qx^:bci; ?Hg8/"7IhDREZjVp~BEVL"*ЩC/dp{j0 o osW@V# }2 ae *:yg3MSVm܏(~ƴ↷h_{y?9hhJzHQb^M7,^%Y><4<(w<(k;M*p<3ۣ+F7ez2КRTYh" N+8() $׬(?Ȁj7$7Z%LuwRzK'=K4<ƿ*8?0B`>-OC_A^@yknJc #c~=- fSb&:+ެTeb[HT[{a@0Sc8q83{Pӱ} 9b!Y6eIN&n\q.kǹt\GwdYߍMke8g bmI(>|O9R('Ovf~d;dWPn p3=]N䏢-9^4u|\U:'XVu[ۙ2wݦؤ"5]"?)ŠbB숃h:miݿdx\-ٷWnZ]*jc\ACNxQ=NzvY˗{zU~+I7UOYՊV=@J_l'~>AJ^{pӼ"n9&S&(7<ƆPEÈ3msfצM D{ƼNLP̶'RCD2]P][j" osarb|!4o[@;}g/ˊ/fCsނUH"Mxʌv!Vb^nt\F9`ulV-12πXerUo*QuAB.X2^$6`Ear:ǢS3iySYGߕjJH-5?TxK _@.+/_T9 YWG(D<)9\7Y<ސ7%0 -VHzvL"0,0ff}I OyXhiu;7dnq&|O+w"M\T:P) Kbw-Hf40A p T2dJ&m;&lw,.S1wUa $}D|KTM(_ByroW)!aV.dda,7Uȴ9ߋQLy_^3~ 6N'zWa$~ЦR*'mɢ<|ٯ2A DZw7L:Ȧyr5o'|n&%qO?T ȬT1& _w5#=53x'zt29!P6SƂ/ۏ(`~5u{ SQgOa4X?mrTTC/{rrGͱj2tb|a}tpNnr-Ln42riT<4nzQ{i%eNb-5-ՂJs|NaқbLnnDY @ICKXH|Gcb;ZwZ뛰 9B D WjS;Csch_A,2{63BlH B1AȧqDZ*ݯfBJ4)!9!nVJzX2!0 z'|n)ֽHhـXTy4>WQ .F317X=Yj4$5'1.ȌҚ~ o[zJmWXFR]#^x5J/qݍ4Sh@Pc\0el ]l7^dI5E,FdAP~ILЧ?RKi )Yh:4ʛc/ءGŜH= 6"7 I358k>Z_>9Ul2J-]aŸ"/ٙyP)ע DEU+GWqF/cdL AG˜0)^Eg1ʭkΒ,0V~QJEYf;@u;2ՠ4Бc ´`t9CÍ D1 D( LDP813 u:2.Лc-c"iO3O!Y$<x,@ТZ|x|嵔]8Tu}5qY~Ô.~Klb"S7ԃ 7&իLyiT"LiTLyy-ZjD`#j'4sB p6u-)A@ V8JMFnXL8|d^,FEf*Vm\ @hƩW*.޷}|QlkHEfOG'X`=(|t:ƊZVt۰ZBͩ mmO"kf 7$^$X kץJosy*kKuCq&'O8E0uGt2p\7DEs# }e_*I2>9V8xI!77:&a^rTazڥNfM=o…Ǹp6q(k8HWv}4O]:2,mMK:+*Souclwq|*Ge5LS o `R_2 [[_Aax=N$|A@}a3c^t(K? >̆͟5vC1<VSz3 UD)_0rbC~ikP[*z"bPo$ xnE$pm6vj[ d22|oc<ǰn%v_[$iYXo/Чr5A|W#?< ON;,y{a/ +?)V3͖ MC!t϶>4܅,dS>싷Yc(CFuMkWbbI2"ikn3lA=TR״ D}w:TȾigDvx TǗIráE+2$tA*%бh_$9eWݷpQG mvrs$5ʱV[jBzOK-8w>^+K,Ә^k' EBRw6kO3}C-1\#.ЏzԚZ+1dn kz[8{|FF(K_tˍ9-6k89tLџfw[.mbyzXBg-vz*j9t́6Mj*$o3 Y= <G/kL@ T#Dʴ0.mHIo@ſC:GQDD:=f lVIA80m(5Ҙe/nEڴj`e_޻{3W8Y"q{a- C"(##qZÔOߋB#nQ@xg=}pqu5"(+Wۮ;I bEEe(6 |_lw|7H4'Y\?D;-O үb+s ㋸H~_+HqPF4OC&}kQP?zwjO'BSuNwM\xiq{:o33e)mUs**\a1u*' j^j8 BID:C gwd9 a@F#vV ̎ ;t)/`+>,R ׬L IJ^3z}Ȇ!¡bLYYD \缒ks"JdKݪGINݚ0 BOݑ4-ԝ˫xdk]!ȗ<& lQ@i"0n^WS#*$}<5C2&ؔ#X,o'NJ 튨ex7}MK$˼43v,hM:H%?` '5'ԁ fcP+0&$)9@Ygn[_~9ih<5oe 6J径-#5. 59"%HrcA{Q >6` g(@'o$7P\켉K {~a ]'۷Y@NFpnИ)@B)㇯;76,)?-T,>CJCu 8˽K+Ðk1'AQP\|&ՄiJXvv^_|LĈl-ޛ^]ܕrpԂؓ ApIu+=."Itad!˦)lǔʎP$|zTY0o߽4r 1Kfdllp. BnA5i]L|K,'Fa#˃WDi.I_Z4LZ:ׁBpc4K 5KX.HAӓI_/Y}#yY3iO$!)k<Ee6LjW 5l1AT?t>9\%4, oSaS:!V˃ٛ>B=MejD4ѻF9 Җg$^>᯦p*An2k5Bn{a~Y!BA9O\}fRstϔp/ oƾ[4tt CU/H/23 ȪjҤ 4ᙕ]d|[mQSF+wlŴUjnh2syD-[K]х5#e712hOde3ǑKݖ'J͂@2#g;)d!MSxKHsb3oyx HCD /=ִZэmrI:_$~[`i\AB{6 `U}tpxp  5{q*ܣ- HX4ox,?̊cT-ceuqLvԡlaae=#qgЦ摨jmzyHgpԏ5$9 ~@J<~g|YgQ [tl̗H;RR+ !Uҭ*sr;*O21jXF 9CgK3Dh1jքp:̙htÖW"p" {$ٻ A*5N0K2AڼW G3~7,rVx ud%tY<4;A۴$ R "ٍiTrV?|^.^^p[vd{nţ$*\yd/(/5Ջr>zգ.DBr y A Qs By {-hĪ7ʮ[ Ň po?vhtȞZi)cN ZL3~8)h:oH@?f&%7<UoKn`,W`u19f8'm'p7] UD;#A*6&)Dzv?I([hGˉ-74_yI|zRAPlDžbT:9]OBA@?sQ2WOkGa7.ɃoCPf| $8EUT$$e&ZOaټ$A9,,p%+u e`|a~;;8!K*b:j%? UGD?I*Чlm+W8a?m[ApD[5Tg~ٕqK48ϖ_+CYGlWVv#}NبήG' I~D:~3E!bSSm^-~$6o>116ٿgZ^eLfO\’J2߼6\5[3fEXrC+Xya X$ˌ?%1XU߼i$X$CIF*!qÒo5{H7-e&}hmRn{cḧ́H UI<4O#oPȉbtp?s3]}ڣ@9j1j),( 'lSaa~`s՜.p%n"FM$' dxém gEr:Eh"/bN7?Ъ{ΐu׺MІIURt\?/iLaa;u/D|dSX&b!E !FEjzx/%bE( -=ۑGzCk9`GZ&z쮚&h0vF.H&8&,#-ǒK>ɪMkXG2#6}KZq 5uħ_68"L .l QE5cF!sgGg`HL\AᰢhE lstD*puAY\?>wr$#s| o<%dNUKMI-6>_]q Kn;Z/Z@ r4LQ&._šD%;$M@*,[o[|KJ)Oޔ h/\H(Nyf6#KNHb CB_NT]VW2Q5~jy@Xg&fx8mWF`V;xfG6O}X@pڻ~?H8A ٨c K6j{҆2K乴y03+gk ٝ`s s,3 cGu5G/0SVD})ޡB"Wz9eu i3~ {0I. oC4@x`TV_qkQn{^lm yGY{c2;<&KE)BzOe'CC_o؟_hpO`wYSUr \fK:OlSJIQr V GFצv1g%E, }9e~2RJ4tZ>,#iv+!`J<w2\ۨгl\Sqqcq'?NuE m%q_y.yШEaℎ ]!?s3[L@A1d-=ɂzVy= 7-ǣ&K/i;T^5uN<jRA={П_L44V6 lD;4L4#ޗO"YbN?/wR MiH&厏٪ZSbdON_{o[ƒ_?18[ 1DL43P*7}f/xO2BmUx3Iޘ x8KW'l]orzJ1@!*髋Ndf>n&4k* P✌_=C׸BK]{);h0?e6?jHx`Ŭ$ ^*]w2li1ۅ9h?/T2cW,&[n{3&'4JbHa3r{*OU|x^n#fw,}|(_Tw!-SD;r@zX,:!O3n22&Զ:1ڬRS*PFGxѯ^U4Ifiۧ QwC̭3 eݫJrQQtf8F!P%ᒮRWoAXJ~ct?FaI38K VPa(<–y -_)> bNa/Ү!HWtܩ_K PWSf76lg0s7jA )$`Sd\\+,:Q/ MT5&GJSA54l$^!eia͞gQY;?t2ˡ$*e (!0;OU&7>mC$1s[?(Ek̞B'  R@H='+?CXn~3fCO^gisF5Vdׇev@8ZP&ǶEt̲E.i .Y1Tnȍ݉jGNˆȥqJ<&W69A3OcDN|*;.ɹi:yJr\Q۪.$f7*Th" D(2\~9ɴ:N(@mzS;‡+LNe3tD0Il=D(~>pRp"UуmË,.2T߶s@.X,MCԨ BhY{.1c,nO*4mOM+ %Dh?)#HN?@o&) Б2fwW7ɺ *(m`@?w9V_CR|'C/Tcڅ UqҼ""gkzW f2݁$1q1%HmP7ٖGPbjs> Y¶qfM%`YJh 8D'+~]VU~2l [$y*I5FH2+'Ư1?$OQy_U*8Y(ܼ@i(L!1"!0JU2bs vk)$r8vwog^1xGKעuÜ2@% V`4(ULlQb,D@)\'3#}ŋvZ9!~uڕT.'ڍB4>05LS$ڂ׭{p[P%^R b.hLX GAk'>N0H_"*aYk5 9¿i)PZ7B@ܺ>L4U5ˏ>[KKtl։16 aQdnc+`ƨs }B7K!(KQj2;6y.Kd2HZ7*\y*>@ v@Vyۜ5R"}3ۣ P̎ siRNMurIsJ5ۡdF+{E Y8+AetJKS໾3zk(z 28.-DE)7Z q(*|Lղc`9X3ZդNuwjʮiB^V4Q 2`Oڔ(vu=& _e]})6o W{65DJnƸO=uCTo)"[Gۨhʑ}7o$9D8!Bpnɂ1 mg6@1>ֲ7!Rf >%$ 7~ %\\C<1W[6;W2G<Ԑ;DܕbϘfs5|(yzNܴC. 7\ Y^`l?0Ki 1-61?6a :mѴla,>Bm+(]^(:1# [tKv_;-=WwT>2:875@ sK~kpf$.ǦgRdR$E'yȱ+*!Nuw5-A=`U&!ÿED_2gٙ3GwԧXu[OB`LK\& {8}/KX+ry02%\ FH) Ȉ#iMq/y2ņLYK38q8WWޠEW T.7Ǭ nyOuhe)K5I0¨5556n7w:}vd%mG)YZTqu%kr'{A+{uGƬKs?>\\)bfr$Uh7f .bmG;.J v:VdCi-4`Båpe)G b{6|םH`ہ]9g""b|:yUUm3$2TK=Nz\J7 ^o{]XXwe_ $g #C4g:ݬoCSS["cfY9'ԯ &$5 ؊87ͪsh*^SRnb$u>bTXF#}r}ͲzK )oDUq>$-NN:FSnd/<*ՉOT cb93d,#vVI QYֺ9<v}5mɽX$/K@3>nJ8_8I|kTF=lz1?ɕȧ*P7Z]as "B): C|}vHN`$arp| (@L]kV=#-籒`:ғdDuBlthfsb5&5!sY f&o-Ukd[&&`*ѳ{|wPBG . cԭo6Z|;Xs}x*Nj<}`B!.59Ռ )~6b_SVkP֭$ Ywgi=*5Vft]W̾Ji8g2HښW&kRE+7HesN=<.Qm7A:T~"\.93GciJb 0vttP9)ʘ4zY _|ʗ13F(L#g{4*[g@aO߸즍>sgrjz/!`U8U6 1)qj7o=~iDw^~|lijb%!| 3\]PLuOͅa?D!l]܃w$,[HFjE35Og9s~t5-Rnob?fmy??o11v^tKdSck.VNDu3X?<ÚnSfy}ߐ AG"sRKL+'wMCćSQP9VPlug7 QPP/;)5#~5wqo՚%!`R*X{\Y;م|eW1 5Bq't%Lд$ԑ \ntJY(%) ,$ L"d n3C"!кw\?{;,#rf~O:z X@(tZ\j(ͤv^E@8?EYy"/ز2Be MxH!PDOvk(C >0*y E~5i<$j9VQ N Gl/nd4;Ofte*z.H[pr m֫1*dN<|ڊw{[.HZt;X UC(K֨:eػ@h!a33QTƱ8ǪT5x/k<43Ǝ

UCM-<ϧ0Rl~wNxn7-jl"Uge Ak&ԍ #o7`~"p+3,@,79WF!Ѽ'r|Vl2в| H _ O Q̅"%8C}9T,WP~a%%x.7Eteݦ- 0ߘS8Jpb@9&m~rpE̟d+QʇxI5\X\0kw6 3Ju, >Jy)1O,!>,Eb= ;O3S3f ٮ4+24#}CV o 4[5 MQmwp׆WxiN0uMV ƀ1WcU%< P_ q!_!I͘7c% `1O֜4֘g1#ѝlɘA8\F \Tذ'so:C`6R[vi>71!pLmGcLliHXx KYH]1^6 _0Khw21ŗMCRB3_ $rz{EO {% 4Ig\B7#,h$d@f$U!W4P+?\)^ɫF桤 br"ʅ;kua0htbBmvU8l|]ԆKm, ᇺA z.aOr["*H(-mIfHJzs{+K bfId$jR9Pa' ;ҁ;4A/]ߗqC=Łj RU'}g'<-D6CvT[M&* $[zPnئ4/'0T-wԍpjݩ%U1vF"Z7/Hj3C2w!8YW{np<8'%FHi؂#hQUTnHlP#?X,d:Z<ˏDa%U[yeaP&Wd!.׫ZleW s86dtr$6ҖoWJӀ(YoEdDd3[i޻ioh&_`8]I, gPc!zL ~7v`h{hRR x `QIJGJ#ԏY lxܕ8IQKj܄>qx%=EqbGc@2탻.9a{u0VxV \p=]naL0qF=8hIg_-iJ9Nir1;ZȸBDaM:ÎbY-O;5'p1ٽ[2Lsc4Sfcys`/ -]*>gXLuĵy^ ȍ9VS,]aBreu6S/U?;^種щ&Vl*|Q%z& %[^tE6::4fEZ Wn$g {?qYn O!0UZwdi-i%:K.ȿS cܢ@L &Qpoe(o#sa YYĂ}Tnaop:>]?l[Ž1n פ 'o!hfMv>{EϋlNE T ΃ʹZekH1cCZ?e 3ɴTK\% Sr:k(TatˆTG}g _A]?_ۢb!'TCÆGwmrB&;q RڢZ"7r}!|;ֱo\]̜ܺYRxP!HD5R\ 5Z#J]~|^ 46sOk5+r3H ZFXe)+zq)˥lIoJtz] #g;8Jrk KbQfD%MDӠ֐XM܇$,ǯvW_uGIY(1^u ޢD&- baW]wE9lqlVo2f !C.>Z ,??@Ic"!Vw = (4%4q/lpF81]Fʯ•!n_;r]5a ^[kO#DTKm쮎lYyҕEzɇLmPx=g8$Q>u^&̇B'ux 68_A0B,U-:tMNw.xSU8rRFzȕ,EVԪs} *&h ?0͘`4d Ve.q%O]*mE _&{fRҀ'InNfT'(YOq|BkQz# E3\-|n9ݥTuBx0k8T  B?ݠʻ חD3Is/jOf Q"n#/S{n߇!KݪS=ǭvh8hGH !B[0O7X2wybf6v7KQb;yMUq;30V95n[aU\)."Uxp &;#P$kVuwBr{5aIZ(DPv9p:f0;%gdIePyTJǞxck5(܉;$Q( }(fd 䏄aUO|9k.>5ah)羫 !h)?4l:6TG0}@|w*Qr ̎㇏Q'*)NC[fjߋKrN3S4EZT 誏mcM4ffG*[]liR>-WM(M=Qbz\b4QpNPoKQpSXm iVGPo]E8qȈZʊ D.-9QUOf=]x^fKµy2 ɯQQIitMc.\=ZI< eq@@7<`'uqrA1V1e;lMNԬ4ia⡴ڵEޗB}bd~+{>v"q(ҩSt kAbe6ofi&*)=IvK#2'+b/Q}?]c!EM>ԋA+gc\X!lrJ5N}RQóT芌 2UMe\%Q嚸mU}󎒲!1pv'=ҰzѾl=Bi;o ?"q4p( (l(`'苤^!9K,^ B1l lՔ8fF֫!P8{;=TReU`߻ǵnp+Q:QJQ#(蚡NG3:y_XNawDd~aAșCR)PbRRhd3ӵT"Q()g&b3 o?O8Մ3mdj!F 3YΊ,VKe @;:+ګmKUx+YP7z^gתLΡd[dBn#]=7Δ5UJ_,A0>V$ȭ{EYq )v`sYHL!e>pSsV )jTz.DQg8VDOqu\D̜F Iz-{Ǔ Q =FpF0ԛPqJEht-t)HeDn ?[E-4oeQf538tJgu1*ke;19i_2.@msFw3nxT4@N #]$D䅊~W1harBܮ{LaAʧ৾!5Guژ.` ]~M =ƿ7+oj"9wJÉ[`Q\: 2ڸPC& wSLcr"#6! Gl˛.#Joc1iwSz6ԀDnXW o{ OF[nj/Խ } $2 n9; -oz 7LzI jwPka8\Q_wٓapSRq)XcbMvS6 51ڦ] | v3%s6ZlˢFgW}R0sԓT)-~%&G(SqH(a(@sr ¯ڻl #e1[7LbLYmʃi%qm^#Kdl #%,"/._LJ]97Z[E;&80y|-9gPP*JƋ!iR)&?|n*w}&f0UjI{ t=i@yp>_p-`!]GR/n.z '!}y|Z2VHSpE`Èquʛ>U3eV_xGKnB6UZ#v@0&ʣ6~ϲ0 Ev+0ÞO\'TInF ӕw^Hdv^.5f10:+,29TCh!uVvT T^\ȡUteϯy ,rICϽv?JI PgG1"p*J|FLT/^IXo-Kofj!^j•,1&$^[QSh88leJ{~~HP.TN~g~s3`DuW6W 0H?;*Cu1s|GU [M ͰpVp*'2V89T`ǧI=aR w1ϙ5 C'3imcu~ah=GH) <̅fp! [4yV$qu[(m#"#5~?`J\e_H^Zς͗A{(D%I! ;>ivWZ쾨K!Pv5'FB>^eˌ&#'ByU "fvR;ߔdؕN[Fk٭G[(^rQ3G:-"32|ۋf2e"@/dM0nj2Cra5Ŋ)>g<̢'ҮC^s†(+x7O9$Rmv1X[C2B6-:B,j'Apn8E-UUqn/k١ܟT1ΔK#,lAsy *c$!-mc^`O p )vU)$ߠl)+(i% Ǩ8QeX`t! qlfn5XqZ;_{<u.-HڽaHlWE΅^(gbjpv%޹y!Dl(d/xyd6 #p xnLlHd\"Yގ%)U#Jɭ~6$ۮ4 ) $J}QԾMTVH'xk~lrꚇ,%m'a dJ<",3MTk?42gϧ㑛IE0~՞/'([U`yiq/'|έ9eiۊQ7N8DTQ2ZNE7QÔv1viz w%"Ԥ&6Z򊛀4v? %$K0g FxYq P2rZvOYqӄx&S߼R ξ,|Z\Ͱ4d-:s^\W9(KU7f3Zæ(X>(zYʑұ h)]lZGɋQE '>Ege {qAPe H%i΃0#t.D3؟ta0+Rwo}kؽ )/ŃhHuR͟}&tx>)h{,ExW)Dn%#-t8wСh٩+vA}y\R떋 y7Щs*'4n(@bemB;N!D_,gBiCԐ# S4]ّ1VXbj;D'4KOCyqnEBCCZ))5bjSP8tJOJCyqgdZhjzfMyNm-xgƬ)jEߤ/[imqJ8{)^'2FW_oXWהaZJs9-||E)8=FheG4KE.)E`Us|彘{ #;~m Of+s5ڠor\LGBa#{C2>] ]%b_hTǵLY&">ȒkLO:[BFH؎z?mICXzZb˴b3u~QRn@5!co{r,3ɕk}WgJ+Lܽ8^*qНnrB+!/rv?5rnL0` 5)zHͺ8>3|l׏]fJD{$嚶M< 5>QAMzyS;B!)XŸWE.3G>T =@2((/$f:Icz5Q H?b}Eo[QG_E/J:4&SI 1lRttLfHxzZCQLm%D#Ȣ U.Ptăsc 0栃uS@@[4Rxh9~.u4'wDl⫢ jƫW|*%`F!avȂ?vܪdac bjXy:ۮwFYo2QGA56!W-z%"XAu>zޘEy8s+Y:uz=rhvB05PioK[p) 5QC9IJ5-/bRhʓpIv?lf 20+ЁG*:] .K絔<ޝo3 _rdR˟j‰.f>'Jl05).Ȃ`n.ՒrUC=ٱCoL(vïw\`g*9!_BʙGdK'g0Z].lIq|Z~(3ɽmY:Ż= ܍W'-f#]Xy**\R3|{:ăٔiYBY ۟i  NBI{N܎6[&pKz[fLq|^9eN +Vᱨ"bØ?WDғcHQ"F^>' ժ#KrۧeB+ ʦig ~#ÃҴevIBIF-'#gSaί$NRޢܒ}R]+~~beR\OG 1Gk{zUC+QBvcC4= fTVWcڜ$] с'V8#mI :_{lsW,+VxC` p2ߎuѬKUFݞ^/4]G+#k·~cL 7BQO= u*ܾN^y-SYژI-Na][c!gU#J_N.nDrC"GɁLqf찊\GZ7xN+87|+p0LڶGT8+f._!H|zfjÁѽKX|I (Wrn%Ua2+rf$$s7)戭Tdvqᇖ6x/GkrnfJpoa%\HݭGvk_A &3n:BB ꏡXA 5aT X:{=e0)tE|o !WhHқOXl}a>6rm60u9 L 7r}ijZǣxb|3<J=֏RUxش8=jl`;{% ɷ#jƾ9+"Tb,@a[ȫӢr8V.'BIEOnӕ*q!i.s8M~җ B54g3!7i=}홝d"0Q+1\^y\I A@^5X1(ƫCsX6D5Jy"L{D7UxXQ7 y sr%cKg%4 "::)d s^> ]qɱ ْ ʞo Itz!) hvgt3ij.K;t\[Ƶ}č~]S-]iYE1+/jZtj/r Q ^JI*ͻ l*I&1ӧ4c 3ÙG4 8폆|C?cjUYcX0nn7$Ғ~sIIm6b-*;};AfʒIB{Rz3ŗ>akq\P*2;v Nna55)5^:=Pss:TN6[Vc̄s5w-y70w6 UoZ#-i`S$?\O_W5Y?yVX%ifn#>g:rx )mFR[ 8Ӵ͚1҅2Ǐdte4OWyI+RRp|qvQrt`lLTA=Z*<)$2*FiVÜ) 0 'qL Л0t9> ҄(g [t5':^Kn34,Ea%fkݺ,Cx>WdB0c0 tOL}&yK24d# O*0q5ynƧh(1V; ~aH8kd4!2z,3WtI1ֵe{҆,t4C[.f÷mx}pa"W<7~͠B&8p<'[%\dHtgL4>n:?CPOc\x?I rʄڈZӁ^E@#2]mo y(1`Vz~VLcrD4lܹ?B/2lIͳ`_ 3M ʎN{ +7c-_ qB˨/ת7T8-pj%+$0(k\JP9̺"fJq,Jn9c~OXh­:JZI}r̆=;U%mnKZ0a" 6D]eMkcI$|#|s8^UQx&YI~v8ͱ#$[)mbx>X.Bjf|GAQ-ݟxYDX24|2 p\ XGad{DhUuKlt'ͧ5=l8/.RfaWa&P^]$ܯnnRzM~&2r 1R`#& ƙwI3'V>~bRV Ҥpضa7jpbpl]~[B՘ B0LP ir'F_Bg^T )Up''a|soU!m d5WG?]w@VA~g(g65p{Ll٠ z\eGjH)H`#u";w \ʙOɱZBˬX7t.@x)O3i@;pb3:rkgTbXR뺇+ ?5 ypoq<~4,K($i#4GlphGˡ| ԻdǐbS*uUJǑ 21?b{/hh@x[%iuj3 ?"U+XAn;NYq?UIN0]b]B<09F;$pwĒ4KH<~i-̱* n!HpV4uԚ?FA$/w5T< %z^ȣIYO"U6r7Rx]hŜaX;QPV6G:I: ?rP5P$ 45R& ;+k.C fK%I2p̫k6J̞#^ "p]B = EY\ߢz4s32o+¦Ur+AFgE<m4c*3~<[cK(r @g5' ט#0d:! |{^P NO ;J6NNԢMB3qR[6d<W*lܶ{.7#twÅIhE>-C:K/U?d e3mQgzJH96/كd\ 3g- z$"SC?nj֣aK|9^s =WPq[a6Lb.$jpl *;Ş/wŴcHVuz,o]j蠊 \xa*-](&R,@#ړcDX|]>-@GM56]jrDo~s,jhA.z@Kt{a?{.! --}5\Ra Y&`rˢup>$`p\+^(O6u7!7hˁ:qdlOі:1+K %6ZjēDD OtB=5PsU B>+WE3;&H? }}Ƀz: A"kڽ@ܠn>[jl 1 F؊lWE!C{E,,IG"ߖ=}BWUsW$]-Z>8SU(a(9~N,w ؕ+'ne lܐc_zpx"]BT1Qy Jf4Qq^1bVlcᄨ:j\Bed Bg,Riʂ󌚌ckw  N֒\נomZl2tņXN@E&CYxX|kj´KDh[T"M ˇ29{)Eϰ,G0+ mvzHn l(ְaIP"v-=H/#䝴m(~J1Ⱦ! 5fYDtA`6D`3co=M!nӶH cd^Ԗ`Sڅ2XK^ vjWҦjT
Eק^m,T2\`e5:jT31jU #d$ 2s8JݿF0{Y2qo6BV{+!YdM7x8*^Ah!:. uTX7Y(e5CaiJ7 x.wwS"pW{/fJ 2FȗgI? YٗKADBmJ~L4RYQ _ CQ,vH^$h)*3Ya}Vb&̯=]$y#8Gؒ;Nî۵B'p,̞If,3+&BnݕLhK(2ƪ;v'0 jOο)Ru)BAeܟia"تk$lϝ`T~I,ER6dOVU4vџں_X[F{"|a܊5*g^t!:‘13Yxel84I 8)I7Q 5.2Lv]}a) y(m깷26D㐙b7q H9&^ti=f2R|D9s5xdZ\6p6~q3ܶ@;I/EED5yV&]5Y 5ٹ8(=f-WoshͺIv%w.TT 皙נ .N*tCxDYO=r;׸_"jaXRv: %"5eW;VWl }lYv+2w7V°Pĥrb".oV"^dKdVs0AS25+H8sCM+~|r!)(_5S0cԀ"gb9 Ik׌S.T0Ieq n|w84s#$|i:K