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 E1D ]% HOL-Decision_Procs:threads=2elapsed=636.722cpu=1214.044gc=101.444factor=1.917zXZִF! =H]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օHo VQd3tOP6~tf{Au򏑐 -jQmQ[ ݡDMnً' (ќe Ia,=/g g8Rkf*-sR:^Mn?:LqK T1=pS'汄͚KąϹ\"T&& K|$]qO[hf௟D!P k0D_ .w@):#υ)m㡾8B>O 1 HOL-Decision_ProcsA5i"[\*q~plu;JeG4"z=2?GHJeqByٻ%^R#.V:^vdtCVz֒/@`D[Ԩ>%&{ذH) Q $QeS`8q?}am0l\5hbV])7E/5$i k0kcܒ5p77 ֋u۟O̹>T^?@`0@p4=2J+Ϟ#b oژ^bB?2glft}^H$-dQsTo$TS:7d]@}yj.QȐO/RF77Q}WTO&2b ,ңQWۻƅ'H1- dZScHNo4HAX[G~CBelj t3:4:K&Tŭ`RTizq׳ ; Xc]zVWԻ\YPn ( 57~kSfY]5$\|UkYeФZ߶l)vhtvwSUMDžo]!zS&b8|}XbKl %u(u8}˿)|{!͔YD2s8"6EpIG"Ly^ P{ꬲMNGQhFɹ].?8"mY{a徫ٚ*w2z}xz:B\F`57RwZ~"u: G(uoLLh@8jd ]Օ4V4 CsFee0mx!F&2-`u >/] VYg95OO`R=NV ެcD5I_oaw]r Gz)ȈbБKN$/Vh婐̀=V~6gzˡVAg˞#9=!'N:.b8_b+;ݜZjdWF`:tXyŜXɶN_: a[zKj4*\nXRa"@{^{ΐ_sM`]T2V}GpHG|\Tt`mAZS ] Sj{t mXT YwS7~йA4Uߕm?oLVaI [;BBT1 l]Sc/<^̢H͠bL _`)t[vK+ȡ4Q nxaPv)>ƁNzȟ,J4e.mb/|J07>*#Cc Z{3 o{^>aNG q@= !3CzYHNPK!5Ӳbf*\JoN3.P<.m'*qJ6NEU!7VF _ޕ b7wsFn*R`,wڝRI|P;8zEKO%;䘍QAzHUIF? (UpI7$t:"mqhȄ,Ą}u(k4CK(nѼ@cc4BQ|eQ99H럖^P@-u7M?--Zt|:$OH},5HƻVY8&X{^>E ܡ=!ґz>iZ3@`yIr$257޻rQ{kx"Jmên78JQE\`K<'u) h_bǼ9*KZ C^j#-׹;+GNRō %yJw?-a-e 6HªYi[~W:f,pc`Ul.: Rtq~Fb_\O+M%I =WEG#$XYGZJvGnj+L0g!!:w2GV_uK4r@pabn!Ά7Tg &l4PEbQ>2C3,J2s JwL"TXZ0V-L/H8$-㰚(N jg,ojjU}+Rli6y1BiUMp\tM{7t9(BЫk6D $*^h9}XHE^Y`LF{GPퟰ|bGIi?Zc"b;;,FU kZy5x!nl[v\wi<tۜRP>&O'&vɬ{M!m!W74}1祅x (M|_&5|/Psv{>}CXAƓia`.9 T ]UY1!|_g?13n=PU •z* ?knK9An bt;qOqKmn F_ OD ̃ 1$>UD"RښcEJlkBQKh_^nKXw="vԍ)xi՝YXH^sT&{uc|Tsf!ublL3b&ʨ @.)ve6L Oc'UZ4B/QFvm>$kOFs 5L$:+&fm3?>ATRN#WA݀e-K[cc &ufITsYE: PȂ)'`>z  B=atzO Km b\,LR8_@/#ʕW|h3,42+σ>w-қ'2puGߠ{F #A&q:fٺdf'p0-*]2gv)p"ޠΦ~ab4Ä1P#%5JR3d/NLld\ͱgYZ7zXZִF! 2x]ŗXi%96z "_nQDG9`R[𲐱/YH9Q=ӎTp}B90x>KUHYc#DX U7Ux yF" s(&_pק*GռM 6@Hx] 1`w,|"%"DuXc #GnJK*5{n&],Ha3F%~˘R"Uڲ}yaX5ڤQld㟻#!N- 1.7A=~]2-*I $0I6}~ x&i/5p尪k.RCoSyB33\%j<]&Iv$4eFO8cݪՓarM9v &|}^5i׌j](mVP\E#h 11hl9Us =kp1Ԩo#!ZE WU=l;BfhUoa>O$pa b.4l2Y_Ct`+tC>J/I`f8j8Zlmzf9RRZ,psKQG;Xm5,;>}<# 䋩*:-&@ 3)0lA' 5^5m8rv_ Dq%7-=ڃ՞eP %ct\PNt I!3z>(Z YT!HMzЊ 4:5*/yT{wZC12zܱ?[N@|Ak_ɬa|zWyR$hRF n,Ŵ8*CNop5zbW8+1O3Xfߊ!%9bm[*0;u7iFnB$J\ufh 20p~0]tW'O ЂnMp@8cVWOxWD.tm`vD^H!2mlX6=NL,I$*AɌ1Sa&wf)s QĶ#{U,Gܥ@$q3&ġ&[SNKrN= <܃ƱJWB$ӑ}b&$Q6dMY K`:wiX) JԂ{U"{fZWdlMӓ9Z5 8t;([ a0 S|!^"B3-6FYV `fDIVֹ78!`0]7UX2̽SH#<)%+(ē% SD@O}ut= A ="+ݶ7YtIiXp$^3/߲YF|=bn%۳ͷgVE0pxaWW/y:#(4C[N}orX-! %#MzϚ'7ַcj SM{ZsVAk~$U1Tdi$=Cg^*:N?R33 z*a254}?1~ ޠ/O2SǮɼ= jX)VzL|kM#ZIKmi sJ6W )mT ^HoF[Mq T9d O<.ozZ6:Z:eеа$9`gN3X#Zʡȶ-0۰ъ64{ˬRL fq$5RxsG8b #+V*(/x`!;z i[J 8:bH]M3:΄v>aO,e _eI`SZ>U4Lp:o_=n̦V4( KQ$'s7jrwo=%ƼܸV 19?bѭY>Ho''/xx$\#F>R6 S?~FWHVvc޼u<ƃi;-j 2=+V C[n|SC2E5Gܣe0cm%wK`}N`*4S-`0!BRdc;u)B!}\N@71;T:# qn^+ Qhyw]=z@(W|tuҎ%ߜgBw ~6*ËV77pN,?9)IRۙ~Fo&.j6ް-b|5%AIU`v(ilѲg0)l#-AN " Uh1iw=6Bf$--Ce[ꈺJFtGM, \y`뢆V}]wa4| $/ WGk0e<tW=d: {4-Oڜl-1bNJiUEƝSg[hGzbmj0x\I;Xt[V$@t̲wWi+Pn6bz*\vRgp!VRzjqR >پ%sOy3o\"ME brX$amwΔ\tXn q4W8cDpۑM >z,ByFEB Gpfpȁukd! 4fi͔i–wUW`ͼ`Ukb~#!ց&uTW6x݂(6?䫥>)eD%ʆX5uwz;5,\ )ת!%X'~&K)(҉_u#8B'?H)ha.,𐪏6xs5w-i"wItǑ7K^޽6*T %6_ N0F-ZkX 0=7WpY2MPkuuA tU Dq&ưŋ#3mJB B'5C=,y6Ն/ FIehYoBڽf "h ,``z9gY")}Tj6Ӎ7Z%X7m3ꁭ(oA_/V{,F 5BsGcԃ%*.R)fTcw/֎F"Ow4 )@8D 'to8~j 93tAt\Vֱc;2VPr]H>pbvln2n$[ 3.?{ˣ: )\tBW:6ƄWEsSK=@fhHi][>\L DF^YgwaHOY=dבɞhi=U`t6JCYrL,#6xѼXuTq[uVq5KH ^oj!h 5߈H{Wae0@j2>+f]+ڔ[/>ޛrNeA~D1shW>\a)@CD$5 pCl&gMYEh aJK68՞I*=4- `rV)9e+WS,١G=x om2GYM[Bt#\9һfEO.υzٻ=LJ)ImD_@W.+"s ^ǍV4C `YRXeU=pyPl 2%#c]ckCш7+"AOgJi͝KFحO~6z&kqL&3]GKFsYZiqket>]6[v#,3𼱘MxYop릀߂uv] >}IJ;$EW R2JzQBIO)Ռ'n 6OyW͖ܪ6KR36#_̩T.tMC'&0Z ʳj68ǫ؅*Wf4#Cc{E.v"IRϽ~J5@`I~”BSH7YʗK*P6}<V> 53G͌LsϟyrI}@ۙQfi?W= MX99VIew_c?  _[a}LYE;g$.;EpPCrU*_ kˡ&l1o(+(\%Ffb{u!~LƽwPx0HU[|gjh\6_"bTE7:5+1ʑ @9ҧҞl^WQq6 ȠąyNW|)U-]J⭐B^L,\y&"㒿i\Ȅ#HvȲ+|`>I{|t1x[!@ GrƓ͘,E6e 0kwlWGU\Z#Zm+Ap(OHf}p\D)bP]6H< Βrir[qB( {`5cZGT*Cnp ANc|e\1N0wk.\9/\MbBd1y!X#qoo[:&!bLw2y>+{Sy:ɣ.Och[cPUJvUmkcqw5W\E{>kQMMS,;N u' G?gM^sL ʼn%Gבn[6Jah♢ߴۣu" r-knR%sA05Ľѳ7i|,0gcL5a \"E-9ܟCٗ_`(Kon㬧 G;;F}oG>Hǧo5 cYF9N*\RAc&* G+ Ͻ J5ZQ&e5,&8A/ܽ " p Ò 'l>a6"+3\clucM [T> 06n1!жeEODPu12 DOO5ԏo{_dwf<{l%""YK JH FINmaŶ<-g,j#* ̳4i'&]%*7B W,~U׹X7M+mx:X˒2q(i6 wS/d#w1R6Ң,/9ee~ a%(c@`>@*nވ(QCО NR U wbީjJ!<.|ndg†]OZP=TJ,PFoOۖyV86bW9Bv C) OO.A+`7yu$ǜG+RNBBo8 ]QLl  %8MbhKl(^5`+.jhi6ds$YIϼ /ȦX6QV0[tPIu*cVhiGOJ#ƍ] <8ypߝŃsжPt7r7})Ҝl<*XQ, ~Bvh>EءCFe8 ғIϵ%0%"aId;:&MΙ(dDÓT][9w *ZT}3G+pSExJr"rYE^H*iNCa;6 d Ku2Sb$PB}IS& @=O >4&܀K[P_̉A_*K BvWR4!ÿ>&%"lɡq_~8/ J|VZ- 8#$bڃㅷx u@ȵձOh_j~ؕ:2zXOߔWKF0YߺG[H +яQԿ{:!l+Meqr{l^AՎ+"6IiǪP'2#+<.S~OWGsRK Et>6&3{C.0D?#+ͱʕҵX*swxɆnvA3"Jm@;tv8؅.0L׿4gv XeCm8J,=4!'3j/G$41/ 7_ G_3.)5ۄFj({UW2 IxDX);i[]G2)3Y&2ٚr Ej ٗ^ysD .ob"$v 3s|U?$SDAه~VuNҞ!,ak _@ 'T>3bhx߿鬑&۫`f+3o Kj^ ?Zh[:kVM`#(1*,Њ@}o%z7޿O}:u?ܝ_.2 8kFq/9S,wy'?$7rD0M30PeHG) YNý't<*n$A[2tMz1h^dᅎjglYŖUMj.Ɂ3U$d˞OEWOV')ͥ˫ks<`z pr@{ʔ?]=]YO w6z|F  t5`JY"fVL9*(@k [c(E6Z[, AЕX;Ng 9LOBnٚAV;PU$5ogn H]/y}v3Z#9/OCPe81J/>K/eȼwn~-$JV+S; Iû3i"@h'y |R*fo B۫Uq1f{3Kw\ h \y3[\, ,7Q7}],dQ`>A /,E7Vm% 0*"NَCH`܅qw+|Bޯ {#F^D5? ECkC7 ^1Nq3qlc_h*e!X w0cV|z-PwBҋ⣊:#`V|%+eHؿ&u :!2JcwRoef3S@IP]DaKLNnڸ %a0;.0ݦ_ro;՜V>آ;խ]Z?rC; 2Lu>I4h6&KXC5{ uN?2DŽT5,;4S",籶\H.nHs~Ўq^[  Di65 9 INٟDgP(ùʲ תZ%'*`mf^iõvdbctSoG>Ws>QNt{)'ݺv9H\dvϱ]3/^!67c3*D:gcuAb z|W) tcRM'*$.Y: k4 VLذ\G6ߊۼ+9i̕PSwsk$\.m>n8SwJ?S58& U4c6-F sri8S>V)|~Y}ƦY_Aƃ4ԁ3X1ܷuI E%5/*v$ukx*pKoq{@8aXr(IȟcWW! ^e u6E8\dA@Ou:25the{$WaF|,gc-,f)5NgUFnzM"˴Nfz` eA^~'Ƹ^?5}n/DFРA@Yӫiv<]#!WV0eٴ_PZV\Khf`Ywԏy~Ӣt*RDxDGmWQf?C pFTA4)26CI$ cxC(V_ M#W'KX< B؎CzԶDӍb@}rx3&0yBI _fqHIjⴈ+6́Fs*ODk}Ϻރ' t o{;׿n2vi\c&>ذ@ 6j[}Rv,][rew$0d!`7GܗY Asm1x{T/b5"n041-3>X,Ź П:J'> lK?[?|&dU:[SI|˹?(T}@Tg{IC,6Gm|g߀/,Hq]u/!Iiis]7PF+UvEjT QV+[E $vFzS+y\l< 5Y?Z3d&f[&e|Rw Ӆ_$k]w ?/{52`K_P/m n2ҍDj=bWay4-o1mFClAɑC$X7|MTkDgr}>CŒy{ccDځVg(|eIJEbC::fڌqs: ؞:htuRfЄY \E J SSߒ;mD/Sa~mdI^^1q3x٪ZY6\5.n~Fn yN.egH³ҵ faA^Q18ġNk2EgF UkzhI*cb_IH;-ebrV{IsmUCFX1S-}, Ujp3)݊mp",GLgCbδ(: GCH97IQ;Bpo؋bLk3CNd5CA D6Ź5y/ET_Rְ/Gإ#8k2Ԛ6z.?dR"LK_iB}xϺvMB_lt26 R]]@ZZguLƒ*}%UD o  \s@)o:YOړ] {b.K*-,7qٜh#n*|PLMԥ<*Ts[YԾ"hZ 8ɍ?}]m]M;cbK*MGGyNj;[MR ۫{6zrGu(rXc Ly{Bmg"&jӎk ~然BYl#6y׆#LnG Zܹd 95gbr^1q" _ٯuJ$ Aܥ%Bxa۵r֞6?s)Z/'.<"zs1㪮)e|w:n\^ .{#WqGq W]ib(% $EFla$ A1@nBm׿hR p֦Ɏ۟_ >?[ߚm wl$گD2:zq_Uy~8t~%ݦ#7o^(1$8Cp_ռjp@et?7Trq)o·EH=}sI~󉻻h.jEWpL̈́]INn+ڞ4pL>QX7v0݌BjC/(S'?Xo`5guo)`D4ʻRF&Z2@"v2|#/H$<0"4ٸҲAz2@1w?EJ*lM!RO:IR 7f X`0qcl^@\??Aqb8 V'H`:)ͶS1^_.R׷Jܫ?fߺ~^ikE!6|dمӍᾖ!fƤ\+*83K,>l>%i3mO*zp``$jۆͲTCHQnm4,m 5mf\~4g7ҿ.`STw\"^y`Ǻѯo?XP\|82&[ k{'߳`6"V|u-^\g6Q#\-iXװ;Gmh F$ m-@ꑭY ȟ]hćH%b* ?isڎR{hiG?s-g@UG}y!08nd_sW0xXf,\Rc\0\$™ b ',2$q {*ttXLL!o1Y|GF!y؂ٽՇɺt`6@$ӝbr}s Rǰ_jCB~]vT] !g.#܂>lʛuUnwk.y2"Y[U:+ZNs Wg6,'}i]?wq Q F, 0;hcImm·<5Kr<ʧĺ׬T'yު w!+&qsYW4 @{Z^"@ R~y5N3ci@zx8-R섒h@`ޜ͠t)\Ugl7P,Er)ǃ_ ӂ hrG~ x{{2V(˗#Ocgrtvr-50UW|?EaRv!6H1ZdگIuRud{:Si|,-Bӆ4IR'7rxҕ ;<;-?XH\2)`;j%_#9'C2-- Xk=P行_n}.n5^g̩$Sp{材t"Ap@rdCexy+b(/ (m*ـ粭OԳ'"&5q6&h/pį0to}n cs`X][`_<)SN3<3?8%<#WC2!H ѬeBgwUGGA(W-19Jh5Q3 w4όu7y|u^{fɡF>앗Wd&lqk7 5Фc'! oŠ\qg qSpN"J,T/ ,^Xߦ V 7/zO6K j8)4xv bh+;utj&;qJ 9jIZlo p l+'1ۖ]#d6p '=!E`1B 8tx׻8vWAmJd7m'#pz,nJt:?|fDĩrJe@d,J{20&ϢZ͎QhM%A7|U;LNQ 3tgLa]&jdxr ͋JE^R37h~ToQ)?f+ ݈c3d\/! ,'r͵ ؁kElϣQp690 !qU* e/^ƸD!W]8 79HfDs,K3or8$irS7ce\WSPv_f\ :&̫-$ ȁ~|%I]Q9"f8T`+nqF m7air4d:1qwEN6VG߱ s%/AeYHcٌ. ON'h.'ȳWD>Jp #hP:)\)Taʞzd%=./Kf"iN%q6T C ÃWIh~Cg|^ۦߋze[Ow| 6r+0VI`~uM|K|ASZoWR!1OQw/_bXa8Um*zG*Aqx0@3Th60>}%"X~q;|+HƄmENm% SA2\NꤰSMq;+ ٜ%6+Cu<#7v5Kq le\-jԞ+9IzaB5a0Z,u "ي5n|Z:)C~ck2vJ/y?r>s9+w@Ƞ% nJz+;yhu50O#0N(1j s_vr ЃoQ2ӀsQWU:" :!TJynCZ*?G;v2"fEx%hS{j e ELηM 0D}Jvdt(.d(1\|[DpwNO ps;n](i:Z|+ ^W4f_|Kꨣk@q$tIjRO^cr@ 9hE[zX G2rֺThv>苏\f0TlkRA!m+ >(: h{yY}'^?@H.bp S&؊_Zu$r*Љy vdm/g2R0A!h52U̅pWƽ8gw7}.h -dr n]:6.mHSDJGg+CYJVIJ'.̐c!)l#*k+; w?t!X,9Zє"FN/lHt_IUlMGvN= J~̽bKĬ>u7Swg\ !LI5垸c72>008TbTYfCT0yՒ3C^"6RO~RmEq]uU=O adQL9d3_U)B.5l(Y㿓PĖEFPy%"j k[jY_lߒv7*t|(pI|'#pE&gM {Zl&_۰|@:Yߨm6ҾT}ţĭQ "L+-L&?i0n~vM ]N t6uWF=ΝlTb:xb6҉gݴԑ'f>XobM93/JG.{h)7a6ZCĴ;[ e66 tH)?/e^\i?S K:Ѫ )鮘2@7\o;LSʝ%ÑBU=m>tĈbi63WuJޢ1ۗe}ϟ4SO!V])(:I(X $Vl^-l=44:ɤBq6]b5kʦxz4VTȓw95ć=ˀ cDa65 TY4,("~4o!֢[|IQILU0>#m";yɸvN)mG$chΓw^yz-`e&"_dSOO&j)L] xVkh%|/; bn}I+ll tH!pel8R5?.۪w>^yc'Em +?퍹V]ӷr_%q=+։np?XkV Z~6NL")CңQ}]~]ݧ-(9vOA(b$ C̊jVJG8߼:&EhDV3uއw~ט(Kԝireވw>>dq& sg=BhZtVcEY z17( `plghz c){Й0]fa9ɖķxO/- D3o'ghjVPl*UF}+s1q,:☸!Lgx$`a؋t޽)8-j^R<ΩۛziiדrMlUGao$ AC!غ@)G'?ۀgbS s5'μ;hsm/56KDij1709U8Z^Ѐ$rh%Av 'fj**,2zTXod`E[8?´ fcd:.%SLN,l%HW2bh|Nژ$ KdQzY.xSUygPbML9W)ɕo۵‡6 }+ RRHxMسx^BTi,K'oztxcIWtf۷l %F% Oc((3YkX!%a6W;\ܒ8qH@$^ybO@hk Ҁ]̆Y c%vwVjKЏ.NipOHˬ>0ܤߊf0q8:Ӵ;SsG^db8Cb{PgU}$&a?_){c|XWw(h(jwI@|}Fʏtp޹&A k/Iۋ!X!-2hYy&8r\k2Yw V@Dj ^ټ74v!oEBJ|`'Hs8I,##[d~HOrpxF8 ^'g1SxpԬjyCz[1Z<|K-2mg*U&Zu'n3J@%wM_{` jhdp)˭ݣiaiǮ޲dظe)a('VP +p\_G1Oa5jXciٍ[~%UBHl 3f)KӞmڝ6, ]) \m~!LwjC mo`2Xx|'=cX'eYXlo#O%)'\kS4'o +L><ѣPfpY\&:6{&ЁS SS RL`H^HvaFͭ +!fybUUn֝6KJ/qM?>- 'vx s$S CqhCkk콮"mZ]z)R S;w,=tJ{3:e(\cT4ke\Po;oD͎݆RqRU)з{.d&n"8e;q.%q:'H$hR\`i3\d6n@bn.hb@4Mq͂EZxsdGY;^F!da䈏  `t鮎;k~OPP0~@l45I:,_9  5CXaH-kYvu :NY fi џݼ* kZ}!MWtZzhJ ]}(𷤽C΢pJt ~S\{;A|j^gIeT'rVwb޶plP\kVS߆ $HMru#' Fٰ^Al4ArbOu]3!nؿOCn&H|z) 4 M-L Mx86  {V'imH=za, B-22ltH[+͐" <<hOGf$op^7"t!9y!&5 ٻHSzkKNcÁ!9׿>xޛ0j)R"؅.n.LR#MjQ!ƌ JecNɛlhTɴ?D]A"lO}ВQ2ޟYVɐ¨RB4!<$@cYN:W'7 ݷ7&KT,/-vi$,%fBBsCCq C[mڲ"zeAT )̽检^V~dP҇|I'[~_&fii9*}̱E44(~}up쒊$^SaTV\B=Ӧ:&co;SLjn@p3/(Kb!B=zxW.q_~kRPEQX̸\ M3@ݛ@t%D2v?V1Wt7*"!2-I +戼.;p~ڰm: ҝ軨$VuojD&꒶S˳gڃ0hkA1|3eZYØtHRBK %jnG5+-/{]3f~d{LZ5$g[pd*Yq”8-kR鞊Y8 &ѳ͔UmY#嚚ǫz {J&Ihs>]@%sv_S&>wFUwc"?e&,{zfƾAkeZ˵}h?P(bTR:vj U0'Q g63蛈@Y -=V=<. yI03F)ΰh%|F5N>;޲) 5{+=w-PA_|GGQEOS'kb |{Dq IO4 ӖiIӸ]/?Y LG#Tp9fҳ[8]W-xIfN~@^a5>sJ$0; OS>B"yz] X!!忹'R~M;/3j\X"kN#EF|`ebXkyNIY>Yc`9MFssp'%r8j(cnOHzp`0Ȃ@;Nw gqﯲ]6pJp9 rffv{9'l ~|Kk`,*j"8 5uqP[CԑPeGץ6mPh/cx+vl iAX_n\XA塙aZ*&F7R*M]R-^ng&lMs8 a =n;QULU-k5`zkFB9eIBGCq3dYHzY7/K"L[ D|q%H&u}oj [Rcf'@E>9$<$VΑ\n4$̩p7t)8G0Dk 9z>0ڽ>TZ&,ljszeXg>\WMMNU`v}MP+@'؋ KdF|,T6HomV8h,zftռoT2lQ+Fej#^  %஭Ł͙|^יVBXN,A:oxv<@b[,_KX_#yw-吡O/賥Y3a_ToA9*s)LYͿ@GE" ,bm: ͋ 7Tű+g? /jq9tCN.L-kƋSlN#vAdm"SinLBH*|`q%Ҹ,.ŀO ,Uzp6"k5^M}*USRW\*yrx הcTmq푭M9dvl7?sXiٟta[f<֟cBDŭlwoVl}7 Ĵ2#4=l#ڿ ٣-վ,zSKV WNu(;0\T=Gam >|H0䳦jwZv}#Uɽ???, (%_#a,h^qi+2(i`mΛV̩KjP\[bgNDMeq}o˓bL,䓳X(g6B^CxGN_KZoi&6-! Ucs8٤[6s, +OoI?I=w˓ChT0_8t"ĈnZUΰfg@v.CD,՟OL̍}oINtt{nok>a=l{N< S q}d ɧpJRPXҢ?XHqY+tPbC/f-U/{<]|S+d3,#tU~)N{-7IH`IMaM]ҫS,9D&1(,heu #J+V~ WSL.ks  *;v o`j=ؙd˟5^qCGn4kX,8jͺ!o&6&ICӛ?P bLqNJzRW>ڑp!ɪV I|"IYM[H³R8v{zD&k$|LcSyU? dP<Ўp6zaLT%~RYID.Nqo ?~lqY+542 |CzbA;;:5(Q>`L'Nqܱ![[{ce`z_x N5M ]pS֮ЕPK* c(6"S+0!6m e? 5Rab_ {z6FQnn͘,qv*'V lĵOR.Wg*woU`ҬnvCkuKWd)4v9f1=v\ y'5Gza\b4rI%G^(×%u-<3,~M~wu6\ YA&g` wM`K03|R|~|r3 2dI?ZVGnOL<~PI:/-ԟ@.?ʶ~ 3lȠ\mT|i=)>,?$ߠN2 k1Zkg|ʶ=%$B,IwDGRmk{TѦ!kS@ ^Ʒ[ !:/o= ;ym9) !-_cmvVxs kuw,{+Ev(5~ @THPU&48 l~^JKjX.BR~nΕHc̗v&Bu%|>oے.~c₞r\ ;gD{10xkdB= ڰXI$!$kS}+\ڝ* @W6up|](<-~2ӿZzgUYES7%X`0SڢWz!XYȱ/brI})5<`O~|Aâk^J)>ݮ} u/^h}*b\糷S8_gpu5mH'Ke;%$ ,V {._njK% ߑR)c'"8<F FO ZtC`56bJ<O35TL*S0!^~G Ԍ=Gt٢Fr[uMC˜5MiJʵZq %=sYqpA{8k" v s&Y"Н(cN4y, .609QGfsLn4eP5di<q=tk7;~\I8,͜L"|rߘ}cEDn8 XMQ(S !pAecՁt3 +