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 !tL4 ]]]HOL-Proofs:threads=6elapsed=569.132cpu=1387.756gc=191.760factor=2.447zXZִF! y]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXjtۢi%[:sW]ӍC6Y*OT'Tr}`qlrCO]Elqont/Y8C߸-OzA[:Wã)X+_>%Hr(9 p+"O:\7N .-W%Y(! $N69ْko%t7\Ҹ!~AGb;LR&jiɧ? =BSP2]/er@ս'z{P?Hb0$%p  ! HOL-Proofs(&*N.Z?cw3w0yYhakVrysrݵԱNbg&ʞUm£/O1&(5c\̐bi6j[ ]IZf;yT=7_QΗ.elG<}z&>a)M9nMX9_/ȯ<FQECuu(qޭA,1h hzZ*eX9s3QĠcP~0}!>Xe04;w i>Iu>p:hзa"`Ç F 5A>[Dt>3{E.k$jvѨ7ibM"u[DX% *( i$*  xf$F! +p&Z#+0%w' PSI5/ y#nD c7fʾkN_ҝR-(?TԎЭ-BC,QsNB+Bh]M62 PuO;8_oLdB66 &Pd(ʍ!cCxaK 2; ^e*c:s<3J,bsGkY)c:չ~fleF8icqb6ua\˗ye~Ġu. cM(u[EI\שI`3v0p}4^qMsDҵ4"'#RsNs* y{ yuO z$5ҏ>HP.qM?-.џ, r"UX6 &xw@oM#MrhӋ&:}{)8صC[ YrV#*r~EٶorU:15]υ$c+[OHzl.=q.b;" nQYG)_Vxfp ^:㴈# Omn W";A|5;;JF&|N@z /&';ԳЋ"{Y ]>+a`h RjbU1#U:irN!!8d SxM?^ ƌLZᣮZka,ɩbL 8mjao 8ʗڌ\7o QM9/='~exI MCZR'e+qBY̚ 7TO';̌g,p"l;y\SN T{%7K>[X2GxK7srԠ&Vr:MX?^鳷w7nj8^\2|[rzT0TnJ}[O(@Zp(I5/.*J ̬Hqc*q5lPU<=`+yX |R~v,fa\21Z|rj4y{sp e9r>"yue$]!ܨ>`ϻKHckLcڝȰ! c~7G-E?&$'ƔEA!%Μ@?5O);x ۽Mx̆T&OqA^84p/0&;?;*{JF+i$tI(Q}$x֝滇`'u|ITX)7^-q4Y覂|Q8fvoJ ? б'ՙJ{jhJfRG`6K{9HXq0ɒanY!,! E&xС4ک[7pl e$`wwW?o1(]jX7NES_ 6Y3%Sgy&3 =, w:c+-.kkC/. NJNgt4"@@Nfmùae!6t=NW%$OITr֯+y}LFFB궒RUsHcr&ϰ`lkB}};Yq bgHq ғ āVjx#<ۣ*Т)fXieN8E֌'8`A;ɞ$Қk+gO"qQ|4 ըĘHg+- y% Ƚe6O÷ΉƳ򘃳11c H +qHKȁT_߷ا:AbjYl9VXFOcD]ΰK^֭z9[4„yx T( 5ǑuZ5'YmA<%*Օ/G?K>,A QowJu}nCFu6w] ɤKia娰QS+UŎ[4 KW'_x!<VqȗC*mDF;h]gC\ [}/S`JMı7 nP7|L!N 'AFDa\ ?/WiF\HTx, Ti2pK8hB&_KzVDLGa?ꎱMO#ʾ47\1[6 mZ_JGH,7Ay^,IVQԸVj" _@hMF#&i2yثQN<}l ]e3.V:Ie֡wSEt^3)ޯa7?. 9 K dzSOՄpFp+X-x}01Kj_)㈞S‰*lr"]XV|1Tɐ s:u~;Ad<\?QoVa7.^q+ݜ#ı@q/%he_^]Q^&_T|F1Ҽd9;' ~Hf/ a'=TVIu/[]W=l;{SBwa ȏT92+ IU ^*~%Lٯܷ2K}꼧iɃt&(8wK7KjI/ yx)9aF XHX(n/hl&`H(FǸ7sP$3b0}5q?MP=a~{C>P]2j̜txQC BO)mE` "W_=vxmWk`޽ ]S6vN$ s ,Gnݟe|\YXlv6{x֢ ?%ēp 7 E*Jݴ*r͹XLt6P]PjW @WIEz$mp!:!f&DFs9'5:axUUQk~ZLbo,J촶ɐYkCr: ˜ fv|ΫjTGsmDw ^#me/G{xO0H MDfyƘ!efȬATZ#2wn?j@.>-c3?5if#T$qًf 1#1 j xJS/V.X=!coyڴ$^sˆ굛qoc= T-D+fg0OF±CZp@앹|:pH(9`?đ:HXoUߗO`hͳ\6+玿H {k\pWa"AB 0H1.HZ#UD?P9eLw5WG;5g|jo(4L#ݓ {meddclYxd,nS0`(]{u(иV=kt  O$q >ȯz)8X38v#'vQzŸ 6œ[ Gb|% .;@5wFed:(|8Ga_btD7E ۲t6Sj[wm|MᵓС)do,ɳ0D-C9z0xT-iKQg@A*ݭ 68ZrSkDԛ:!E'O62AjwUQy'fۈ֣+]d|GMnʦoZ)b%|AW$RTj&_4f1DI;`5MvwV- Hp3"xq?3PHgǵ;6AU@ m& м@ʗY$Y6f>G$.hBCpQvK/47~5yvLXšj΢7w:+tUU!W٭.ex}BvM^h6JOL ]DAi8L`#O{ EM!!B/ЄhDŽ)B$u\ѰQ FBbC|E|9VyS='$D+Q ИiPHn%׼tGY"1=J ab[圆 * I{ސXgM8P2GP|PsQ}4 Di<"WE lߩi:W!BHc# @*v# 5jc^ElfH MCyMPdzbA D@UG4OxmS;#a!^F e @Wr`A0d \:4FDkkVC S0qlfCSed-Hbs\L7YXsj6&'vp/uT##u]m)4qܡX/GaEHY*v* 7۰CSihv5bS폄%Vp|)P*tٍ\g;]uo$<›ROI7؋=+uH5T+U`Vw1-h )@ t(I &Eq(sȊ$5㲥KE' .ۃ240hJW~MKCεo꼷c[Y π4 %oi4pA#BJ󈊖.ҥH$Ɨ(V_*uy$gB$;TMKqEBP}Ov`*7쑘uezp۲촛:2dO$gŷ] Lysdz$|ѻ;9|,6.:~f^Y5jNc*w00 )gYZ7zXZִF! o]ŗXi%9#oOw|gQ' tlY<>us%*A4uegqqE"fE;Q3 @1cOɻӈ# O"[HzLq`]+.CQONJQ34vkĶqV5̆ _]RntŨ=n)Ժ#y@`7?`^U]Cy0,4CɪĻ)W291GCBP8 ҅}a펝G]#Z;ѥ)Y"/d>&≤%l*52^hofUtoG1?0 )]&VMT-R; zwfx^M^E?Jg܁Bnx]ݬUP0sV(2%k[`K"Wl?LG(хLʗ>DaV~s gWTk}*#wD & &{rcNr‚|մ̒`FJKB̩7ev{9iab}?QAiMf{h@iOI_9.'M#fӿ%$z jӵ#. iHXqЗ@@;t= ,N 2u`36j'V5PvDjdy)L ؿEQ>. q<bx(M^;ɰR7Prva1QtUYqG\ݳBV-8Ӭ 3c\mo.k4)S__v_n/ͨ;*tk&Ge*SIүg5}ƹ`Ĝ{W|U9FQ-yC}߀Ŵ0j2srN[#&_k1lӚs`V01+%k"y#$c@^i &zf7FˊeT&˓)Z4º;oT'/g1f/J'^do*N&:@4$V-ᱺCa OѰG5]s Qc7tv? 3i|CK{c gM4*#W89|FBK^EL3;DWrF1G#+,sOV%x}hOt "<+#@YwsR?r#O31MCcJ&2<˧H+sj)P >D +[I#WOP"v7ڂdv98N6 گ|3W\c/%GUϑ۸AR)[9s ,@*+\稊 西#@BC/X0i%BkPV_4_%ԽHM9ws#9q[`YT0JPA9 Kt;w3B\T TqQ:e jKD$,ͺz9OeeQ0ϩp(Bl?Z?fdU,0 W.O .,YSaT7thF3ƈؕAPO)`-w\>~Wý 3)Wd-:{ͷ(;0g7qaNߟins-ŘEArU%oKňUK0B}z'crl{a˦r>CoDuAI4Rx2DZh=*H #\PY5aFqr%+xC4g; 52$EƬ\i@;+·4 "!i>n'ShD{ez[uU lmiՇDLIɄ%5ӊlj݇%Ґ+be_Xr  `v>\x5IܿFFf۞\Hs,h ]!X ZgwxD>DZ%@L׈Sf#Լ諡hؽ9yg 6Dtwmf"UX 0|UsoV$^M| PF5zWFtYa=N-* g[_ך6J=V%Xd'hOz162(c3!E҆!<O,$kjˉ};!VVvR?/ FAQ:FBEoX9< %Gfh;M<.V.&[ <9%+EJg$6%Ǡ!V: G?.ǓxyonkB]ƌVt$9Go,)5lօvL1[9:wr"" 9?CxiK5%_Ju5mѳ? S- x6Q' U 43Kޫ]lDCZ)B76 [B*lKs ֑K d"">qpx Ͳc,ʟxKE2 }GT' ڑf;W(lY+~)͝仇O$2w!62@j͓f ރcT0P9n<ۉz |?,G1iGmMo4=' ;C[/A)Fv m^].6CHx/:M!&gOn@ViI}b{wE +@X>|mِB3P}!j<|-"Ψ`?ڑu3Gi_%tO*ՕFE'vɍ53<eG*BS~rE'=1 1hq,O铐K'~ʳ8hh1%KaICtwe*L *& ? 9tIԲS-y*)6r)vZ4 TALodB`m~j3BY]vl q~ &a{4Y/Hwv\ѝ0SгQ}-j֭8z +.y[ )Z Lb4د:8mWYIlQot3D s/4+'Za1[棳ߝeZ$b:> c=VvVSnMF9>#\[Օ3w ҨS[t WbP-N"m=F3)-2~xFr`KaEL#c&Td8۩Ppŀ8:M QY͑$17jj_ oqKe}}bIڤTvX#Lg\]ʾ[SF˭(gI5,0 D>êPc5^XRvbռR>*?&bBBGv >;RזH&GZ2&$n2:<~-x9['6(\lz lbѕWT_瀈D?c6cZrcH %S,W(:5Žc~Ο~G&oTF)02fn4'Px~UӘ!@G$3% Uʢc*-σ -a{+ٌ&9@qB Nr'⇰35ՐE@ќ!It -gA⦴kW9# ;2RV>"𵎔3,i@!U|27IRWq)Pi#kݤTHE"ҟñ|w̜ɋ'a&T <|.o:X\o ꯿o -Zksc_O`6-`qsAM&!N7(0Ri{]HE)NTd_{;z(#vNrdNTӟXӨ c XPCg9@}DAHݓ_WrfӅ]ŐI#8]EѸoz;9㽗Hj!f^l9 k봸nhH;}!Ĕ0_a`_m%êЌvCcNBv?e ÀUhkyf:5Y@v>Ӏ[)熢Odq.CD.gv?"<2,x5p`,uM·(צ5כWR ?T].zfՌCjdWxcU'A`~U=-zn#4_HPn%Tŭ8xn8:%)2{r@ŪN ȿǠsTyZ-onYjA#ISܙ/7rfn Cycءj`Wڊ-ʠl@z0"PrOfUT%%R?g3IP/ͪF+|8.eė`-T쒮bGh:}\dϒ:,G3Dt%>xy|Gua hA]s( F=Y!-уW?iBv+;:L0WsazpKnx zwKb~ܛ.; w /f)oi*K˹ZT8EQRF=ZX *)#=ɉ'6_įI{$! _ɪ}HmِT5EP/DfD3%OЭ 6 %ekggᎴۖ1 _lh3Էܞar$ʨZ/ZGmX%,#^@iKuQ\Uex]S]eJ#!~CO иh_:}b |pn8v?{LYfC~PX{!b/`[fƻŝ w  ǘ%,lG^ `gQn#^_oB /sq@#i#%׵`lqIG(y!ŁSW\qR YY$^vnK[;JD!NmIeQɎ Dd)xP~gRGk(7g}\'FGsyVIGn`YܮB=_O|7n#?PM%j~D#{DM,`Œ6{PRDfA`ŇMg#gr87wِ*Z_^:r|U}+x ֨}O!RCis-N):I5J$aCY|z@.xan3G](Yg\ N|@cq%x SA9qÝt+7'ª0 +i,|+W'9[f?I&Y.^9C7DWc&Vqr]ߎV[bSZ-;Yk0(;&ټǹ{olau4q2{r"g9I$3= ai$HF:,ЙKSnK㍥4&d.ꕍiPn{-8-S7c2.ji?3a2þ qw'b:yT; \BWKvm n9@Kc]@IFK71@9LFoG%'zS.N0I+2DÞSɽ>׭E7ڧrʫaUmVzj&cTjnR%24K(ycHcEPMOirN쇠62qvS>s֓\FWyb1"r|BF !cMj[6//v s^mOw8JgD\^OȾ$u;WX* Ѷ>;4M?p\*[A ᶆ7[?c} +7N`AgDHuOqD7B81ؓC%p{ǘ9~ڲp>1 2ܡjټ*7uY\WWe8blqHOs $w—U'(u Pz6GNeZ:I,]n0QsyL#EI)sE|C,.Lz׶DRy-nb} _!o6:ᐰ`4)GOɠ}V7Qfh,휆ETarJ DE,ri񼭇gwb#㛴@-%Al{{<XfؠUיbƅGLF! 3("g/E7wd|M/t|3>*7 8ſ0e |Ao3ʂ d&FhrcG1s=fu|~C96Ssaz˼: rSmzǿzlĀ {r@ř^On7^BmGI"e2sIZH;DhC1 nY@V0^("KXY (jݏel·t@(Z-.טrht | ۠`uгt*mW{n?-|RxˠU!NKֱBy!´w|;2< !tOXcpV30"H*KU v.r .nj£eX%`'fX v=32 ;#cgOH rp__yfG0͛imgbO_@Y84͊QwxOy?bp.=\[ @,PrWd}Gqis [Є[B!ch`Vp q](*ǷqVڥpVW:JzyXLuۋ 츼aCK9b5 c4@#LvayT|ud5kGKҗccD YȌQRxNI^yb(G?C(YTbZ2J%]4Ηa*CJZGQ͡\ZA`7倉FvFXZuL)\[zVN 9ڝ5ʈ7lѠ:j# 3u dD(BY!5( E2rlYLjgVŎ&7K#?'/4pJJU X=) Meu3#]1|'>Pm5R4YE8vZA,{\g7tD-#Ime'`{>؄({nj@]R pp? 4!+ViF7KTj} 6]jz";q .u?k}tpVWHP.fwY_yB]ؕ+ PLq`1v"YLH.F^\'|XcȋDR+ 2XK]5͖Mʬϧ7~\nDϯlwe-& mԝYCӐOWwIHivS; ֞9 m{@*kKM&4MH`,S~B;\71E] z80| af `>@^c[qӲ2Tݙ 2{Pxw,zQoݒtت(sJw `gOi{ ۨDR[n/D.q@,K7ڥ#Fm4Gaz_oD i "aYZhAcV3e[O,ݐ3n-e FPy7RXrg;|PBG"B YH~CIjF~GKML.Fũr|m fu p%=V*/{YS(2&׃+f\X=7GNEcϾAd|2hOTt&)4q:{^͊[#nW xTYD)9*iwS(cA⍆\2r H+:4gIs%vaِrG9J54Il*9pyCRfr񋩝<4/᥮ɹ=;&C5ۦ˶dqo>7h{To %eYK^*x szcSQlUHjxwG|_0AL:Fv-$7J7lǜw3;Beν $r ;^"gß(\OV=~ K,EY{fv:o%Ntk.bTutv/`0~6GT?݌$ٷ%UAstZY!PQ@]{*cHtHȦlFky$)-/_\`) R]@Gۗrf$Q*GL Iզ,a#hw`5Bj =.W<5ۺT_sňC H83;i Ϩ$`QlsĞx9k|K< ^e9n^ɶu /Z.ӳO{d dszГ^*5|]\+6Q2-qy+ߪ) D@>"曛keyW Yu^J5vPyQ>":P}lH^IAQܜq$>n~gbl9`UDNxPݗҋ")Z6^7?/s Ԟ3)|f3o .%g /lX{c a/ ¡iDҸC7ƽL&Qpl[RV*ȿuYlCvRW\ךq=[(Iѐ5(bҏ'L 7mvYx;b̈V~Nڭ!tzVF԰i?Qr<2Ζ9)II{JEaW%ڏ`*1@N*%h^"Qv$!a]@Eb1  }ȌHI:)Ects B ˧%->xpANN.v~3G*MSII $QCZ ЗH*L2)Ӫ ƶD~~.+FsoޙZt+MX ф $CW]I GXOz} *wjc끛39 T z2d$Pr@R8CPx;C>ԕk)ht'P+Xgv# ;7I:. MemFWL:1ME$:A@3.^+0b1 {iPL۱(!"ȏZeT_(b܋{ue_bݏ9 Y2"-‹L]NƯ 1bcs'4ß r * Kz+7Ho{_y'&I/MFdT , R$rv-"]^@=<6M {7Gv.c[}"ҁܜ;ktYDnd 05&5|qV0(w-'l竸Jհy ht@MG=IvB&} yV%_B׏{28*lap/]1:x3D-펒/d¶)ϵiZpczdmƞ>c8xGJAEvZt%py25{toOlxl 2<1= eu4K/_mX d lTwNnצLet=p!|u&?@> U 9-okz̥b]>NpJǀpbt~Oy(,: H;CEzo)n; H'PDwdm;?%j߭1'p]O11!ȕ ivBqUtۊӥD߅fXIB:ϣs%qA[nS"x8D2 MBxyv'E%` ]VȝPm^{pW; Z_%2jxK5_K0Mݚg)~,B%V}6rZ{lYadR],ҭ5 !;!g[-M;(Puմߍ`G7"+> ]|+d5Ck=@ 0HER OTϡ;vAu }hr 0W6~O"aCuh2&5 ;eU[[hK+9Y:v \w󅝺ѵ^UܾAEbp-. cѿf7A5f OM,qo€-7TѠ eE }æli{1艈Gj-,k(rKmc׏@Q%6L vx>8˞)Rv~: `V_*/~-yo).)`5 l+4w_0%ۆ]UOAL#c%?b8wW[lx(%Z,աK dLLʖsRNs<(ïEmf E+2A%ȴ\čEYg^o<ʀ:.rHmm1`2=Qp^#hr,]4a95!&oHq/QbMf2ŸbY`|\AvYq=MJ|GMh_7ے'QրcDd*O;eԴI=EM[cb}!!J \Kq!8FyųvuH b\J3Mp#'@1` 4AԌZUIcqV :ﭓ QqjF_ Ci5}eѓ 7?Uk%%ft8=NΣX(dW^wn <j]#eY)=67Nfc ^/~DS9.`x9 MSBQwU)I9!r..¸Ɯ;ͼn>>"n\'>׭9x Q\yߒwᩀ@92>Q&!m5_3 jYB ?D'/xxtJfns5BjFt|+u+#[U£btcӱ* nRyq7?zq`x]>ğ6tɹljζdcGw1p]k8 >y>}onw-L0:].pA3Yp3lG? zSWD?11O.j k^!A@)qě±۞9> 49V x߬)vXYMX6YØ>7N^.O*^|+(3DXQN68,J&AK{L#juODۿ=Jk9H?8(:r+Um ?s@Lt}AS򂣬 1"6,Ye#ndH"ao&$օ, pgDʊz MFZvX,LN7#R6c!fk]7Ms)f.EL@{1U:[s-L_(/LLB5` *Ϗ?p=5rQž&]Kڑfc;m _XZZHM/{[SDvߍpg]JcljfYpDxl!vEBlR wĕ e*Ke\vXKU-d5 fNej0#* )'̞uL\W'Ϻ^ ވ:,v Y+iF-]_/c>C} |UuhܓߑE[kP jTSiSU_gG *-xJU ?|WXjj*xX*7FnmF#y˫*fA=YU+Z=?T_6%OV;-I/js]qF)7 S*~\{SI/ ڙu xFDå5CfrS$DX5W㮬Kϙ:G[ } fwAbFlV! vL YG&KO 5_p [`e8wƖK~CАW"x5Rv'䕚p?TŸYhl7F!"'v~koWv_u9 m |btlH[M#4'i}vx\: Txt]ஜ?hRd:2KMi3dCl#E$YiE>ӴA*Ѧi0WS\ɅÝ 3 roϢ(`#fwYݤ? ;oSzpd y8Cb2$<@Oțiuʿ>Zӊز3Z8a"ḿC~ζ٣-(yfQ"VF0^\SbmIBYКZ-9듓ik-( !@<̵YvS[>Xn|Ĝ:;$#:wy/"+X=ĴmO>،Si n@S?3Nj SkmT/&~7+ G|FcVy~Je"\LEf@y(b`.%`څOEa"3 'Im1+cb$W)9.!œ`u F`CnCPİʦUJupxi 8CKࡋoUk H߁Kxn,؂ͯ(?psA+qQ~=A,Xi@%:>4yJ*\\Cwm2 %DKD$T23f8V@QsQY'V"]gD's6j&Đۼ*I_[H\Pqg.䦾k-o6VL7pIdްE8[Z/Ǿ )H|M1T[@r+T:s_:PxȍZYGȫq\,!zCཝeIjf0U1pj$E "Z]zPP{3&蕉hpi,1okÞD-Gdž k3h602V6ǻ6 ]Z qog=`gz{&E, L AŸ(Gv+vnk2dFؼ)[=ƕ 3^N$JN^*sVdK5Ӛv'JS*K& FePR'oIˏ,/A }2QK{!oGܴF%Q?oXzcJ,w ai$e-2jbWʙrc }9MI}-+gayG%5@U{6Łx\U9JB2ޒHj{bDIW d`].ِܰ9-בx7pH!a;ʓB+dRʗہeqCiu.~3cz#-q,[kr kPIi?\ByP@[uJȑjE[| -kj`vSc$xPD鏣w@[UyպF/3ML5#~T/v^5]%- t(`@י λ#s#:-2KvG}qÜhٕ&LՃw͸Z6ٞ _HϝhV.wߚ,` ՁuMlXJ7@1vyCۘHH،3rzjm te7lV:+ӪBY>8o !&EߑC&*C~>0E,TyHx ?q݌VU+~\0խ"XagʐPxCE㶄GٗaCV@F#ƞG SBL K^ܢx”9v ilrę2&8:gPtOjmZJ/ɢ'nj`[a,'zACD3A jJk}HǘP`z: tg{`/z0@t_ZPS`Z}xB:X {8a(wj,_/q`HFZ < F@D$ø3Z0CI݋jvT(ˉo0B ٶ;d+Yѭ5a8I5or}ep[pۇvPtjsdtvi4} :b}.Xоj:53,K ΛSR+/w}RpvHlDl{Q"o:zحW@  \XE 0vptIZSWr{!F%,瓕չot$/ao\ $w+C@DL 89HeCq ;7ǯDt;y KU }+k`AF:P6@sK |4j~<4ַ]gcxy-^RjqO'prr(obbm3RSiSgڞ9(VUuJu,&rGKtFi0]72C)`$a[w!^vHg8L83hfkeLߍ ZF\ӗjoGJﱀ$03׬D UĘc`L%Xp;= {]#FϭxP|0xY立p]}*0 G RG _?J ;_16}ɞrIgS2CryobWP^gZp"p:*;(ouRʢR P/)d^*pN)[}.>uj.Dxj=iThub:PԀcJ5!?m{> <M4Iff g |h]],˫?uD9:) $&Q chH= D[@s&hC0 %=[7Lp8I %V$`2yBt&j#O97/?`I7~!ծ <-2۲tVY,ydO%mZOg,' .hrLCvF'=鹸:3G>LYOHwQN.ue\I]|raHlLOT_ߚ\kB r3/\} 5݀,oVM:v"cD,}u<Ujy۳ k֝)`%$\E ZY~x$vt( VZ]e=/f1B5![aSFȬr?X ۷rD~8[&9 h3/]"@[.lzeFɩ :Y.d$-Y'8 jmc R" TOU_ 8*_UEh{ԛsaC"{Z=%f>8b)$?s?]uV$sgj<'tqVŴ.yF Ks2a7EyRb:pq9F'^Th*ȉv=Zzk`84)OtIs-+_iCY'wx^aƍh1择l]%!.wkDnX$ͳ<%/P x9 1~Qd5UxA&jd-{ W Gv'M*euT_PB66a/)۫ki/|omJ6RO"PVѶ{I<5׏p@[PB #)P”{Q߭q%!̍ȷj̿ 3ì0Sb1|ywGmn"aSqTشmHObǨ; \-PTp"D;MUOFU6Ϗ辊akf|\VQwCٳy?|X,9^M\b6G+W"ޡ>ؙn숙^+$N&C#n;f39ð@ xm_*~`T;R/($Jl*=l;@lf1Isj3;Huk~V{_ZW| C6+"4=h9`K gې x+$d5yrMc0d)%^=*IYex'=fmW٪Nh7`*—=mEkԍ ]cZ*Bl%wO[`.a2qvIa?6tQmOYQ9ӌGE9Mx=aàL@O(7e4DžM_N'ض:!NxXOOb5(Y:'I}z[i'huٟ7Kr|* +pP[f{V!NEd<lDa` hШRfLS N <сq2l}՝JL2I_|O֗̚e'$/gfe|wfĞ#({ğ/D8I 5S'8T!s5;5.2. )o!@{W`O>!ӻpt2ҼpyH|X51_6Wl $+QJOشx-ӈ@ܧ?@VNf;ƻ ǟmYވStFQ5yic^+} MC &bmskނAk9HKwʘ.& d؏󴢜8sj4+Q&'|_t:7/T~ mG(%nfDФ+WfW&˨?0F}lx|vFV:P#0I,gWtdF@gh0v,9 "dJ}<оfԑf}I;GQNo.뾎ߥb(Ǘ0@)~:|![tv2-MGضY{emXŅȊ'sMꚕj^D|WCXbVn^$Qjg=4R>ɤ?T}0䡮L>YWJdļ^mR ZH `{z6[d*Ya<Bi0$*/{K2X:4U^ )<A3\>3i*; ߆BCԉحQɟK)4z>ԇ Ԙ>0@Yȗwנvm7~F)ͥS#;c?"~z#R K T+ LTĠ J(n̊K?{)n_>69pPmPNLDֆQK"MȔ%rS)'5P@MT j#ޢi,;:V/]1r͗a*,($dgx/N}iЖؑO)zE n]bbqxjd{ni<{Ber7o ZHG2D*GmhjJd<(R #Kp:cUL vl $f0PVOㅒG(9ɏ *eR86Ք:N m2YWh3m[&nt_2(&ܧN^;١~يWzrħNmPbJO7(ʞ+Lj7be,1+,4pyPQJGq%rM{ ]%&پD )A5۔@&4*o@YIcxV:X t;D?E¨Ŵrg1h bfQcwz4vؤ6%:T`م%00%j& D3c)2F/N€I\Zs!xO[kZk+Z niٕ q7fnoO8<n:.IxV# "Ql1r;UR ֶٝ[;bo4Dgr3IFhtTFA*SW;XS@!cٟfGtjlN2ue(_4_5G1{qG3 s-՞)'w 4&oOήEoթ E$ׂ#--.Ex4lŦ;ؗ(^>WdmYN  @mLZpӶkc.OZ4e,9uRAn)fo ;`4\yIDŽ&f;Tü"Ρ@- !\Q&^H)J[|N$8 |AڜpEYg=vW4۷-»ny9oPH)a7t #dy+ve!Oo8 64A~SCgSBo83o,f6^թNe43+*qJiɟ 5FBY(iAhq5Y2.(LEc_߳Kb3W n5R1(R]W]ȾpJcUl]f:/DcC$(e@iIeNČJ, D;q^;6^!Bؾf|!grZqXB55z}fZ$L3\Eh(}ĞDA^I\Bv 8X@aBR >?R,iBz,Q=y~erx@C0z0eEk⟃ٱ|5 `RleqoΟc:S´#5҂闑^x/޼Y6䡑w{Tu.8gۼ$7.Y~DhX>t !FŗUp|ZdX -Q_R\u0 3>#*x r˱ePV rCw®93}1H^ۤ*xBD ϣ8D s!ݭ2X2ZAc?$G߅D:yר^N,5вSj2 g-L焵Y.RfwmHMl¨1_TJ΍v읃氢&zcw@q!%^JĀmx%ր)Y"4HG6B3ok[_w3eD,P!'Um@lT&TgYZ4b7910c63d5d11d62db11d06de3489bb3e321f7c3ea58d54a136a485954265ca6aee1aca00e66e9ccdb4652bc7987fed30f577dfe2fa37eeb8b96955