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  :! L a]]HOL-Proofs:threads=6elapsed=983.195cpu=2125.368gc=525.568factor=2.167zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXm1?m# ~z2vp1_;ą&yꚤڠ@ IW 691@j0,z?O4f&\pImēDn]qg[vke &:n|1`7缿3ur+e k:z7[.rӐX&[u!& ~xJx_܈$I8Ar1YM͡??/(>Q`|\ %f)wu_jQf .m+!=c[Dx?И&;NJbb^3DB WYz7|7Ɩ2pKODQ&Y_&CJEB9ɕI8aS̫6ԻbR&˙\y(<&m6D1 C `h'-ZKϑƪ}ͱrL:,M[<[(tv-lDzwo0uK%#+>I=XGZЅF;P9Z8'3 vnBf ~.ZIJx;/z5}&M ŋxܼKRJy#ބ:K.bexb}J}ym~uI"TD!^V?'p>ۻw1c\`6\uY3-ԑuG>xpA/qBy;HYU8ye(=bY().V%`w˟`D`*x9L䧸4;)Vql4n95FuiZ+rs4L1hة{ eƁ_W-EYdx םi.A>uhSEqZT D;ET W.y?QgHyE_,m !` MV9 Msh}T 84A8̽VMLgO#W-%q9|ӣH{" FwzGW1$U E+P\c~N$hllu(HpB/`<} B1c++KQcTvړ k.s-ԲE'-G ;k3M xDF _CLQN,H AR~F\8[L]'C`A&Mdp` J\6ٜ\ WmP;Z֍dWYa/wl5幜pd95"jgmFԖ*UF.ZX)@>Yf)=6>`PBeo+'։K)sAB!;ft/7_(-9jMFvS?ږJ, qX:"bw&!ڐYX|9a 6ΉN:-?=t@д]D^dJD EZfoEm^+땔XyCe5bhI$kB+~@7qSb9 czAt;YǰAÃ֎j~9Z4ChS[z9͙p'RWʲOV/ze hE-u!}*y/bTPȶ}s05> Nоj^RI Q$B$b!w?3/\:juIxU`)yg%%?[aO.dMUfIz :)5]6r83SK5_`U =tN`x䌨ֵ1.22C<˒ֆkU.f)SI2iw!q ʆdL:24rJP|=5GWN Ք@B( xa4iu<2%=|fTw4!CF2Yn>7Ҡ& >bA X*A]< w%mDD}P1KkUV1 ['*HądbBsbkf5)z,H_J|K+5V; up ]ө^ m*g]bL%:zʧ_'G-@%N{>c ϋ^ >9`3$aGA-tq{X8Mnk@Ox UHI xfA`xbC;MݳīH]8''VE!-ApWkhm:2%e@ *bEe4QsTNj{MZ`2B=q:(#dOwT߮zIjQ0~A0lrmX81VDl趌Mܢi"e4)ҋǿrr /Y"Ļçqx)Biۦog~Qd5}![wz@CDt٨uߤ,-S}>iYꕉ}]Kc8'`|yf~K\i՘)brb"YhUg!r1,5S䥯`?GMzKb/lr"aB9tͦvtGaQ \7a@_znzyϊ\&q>GkNziy{\r {HsNM'< S),A!-^ӊ,a(åÒJF Vr92:09%K)!\5{c~uSgDG$@ u ߳}oEIhښX@:e@y&%lxm0/y6 ^JQoܔu~=]9B'q9cӟ'EQZƅV~s޴N>AGc0O '3) ^ +r;rԯQ3󶌭 ,^dXmM_AF,I2K~WBBG߽EWzt v8yST|2r]/rΗaS(ealmv: 8W`d)]]B16PG-8$m7 Q r_p@dx?Ju>WWfdk\#rz@! nG6k/}-S *T p|%gWjY m~ d"֭0TVJ9keȰ,{fA%O_~YǗSW@5@ӰP#; ^5K6Hw,],ZE7RFPEp_s@ %so\s'F5ebz;h{PupIIN`[zxoEnRK?ᅉ=C ŏ ,xFr/BKlY۶%j/V RZIđ.{VNznwvï7LҖw7k(!sOd5yl'8G;8[oԯ.+eq}z};)j98rqkJa~ųީLÉm%ҳhdeU:,i]&ڌ2Cɘf[ 9&ͼc'38w~jly|^D⫿NoR8 @4gجE/u$w:Uq@x27{w8^4#FȁOĭJ *}1~,P&hJSOodI\jPrC~?'gw陋߁ͫ=q |?x=Qz k;b_ ݀s"2|.k^T*u[AJ= 1@Υ Ғ敷6Y3)MGzVr|~~OEtzImCeY Sw.b sQq55=7kj*N̪''hD/\z','t>ꁻ&>eIt|}WK‹ &G觚 >9!J/#,@ id}ID\n -9uDTHmI?  񜆴/3ywX#r_| C6,t$*\5ESҽ[!:CT{_֥ CkX=z>(30X8q5*V ȖWA!VY,մma:eez+3It+zb?0rjXIIr VQ>{eD^y=eW,}D%ʹw>+CcA+=.pqP_iJ>j}aFcw~{*gjٜślpT⛰,V h}45noQTEˬ 7Ӝv uK!>84rʮ]tƳm:n ÔRR_es{D K:xbՑd?V '}{tCTKsY"/jȿZYDLZ! tsyHj ^tw5t{}skzjÊf ۯ ۟@ןT\ʌ5|'K*)ٖ%*Gڲ/q8x@K`Rk+&ؕyaDh>M6rJV4^F~SҼ0B$Rku¬kLaE+mAK|5tBgɄ;C dDae.b1gM4Tjֽ;$J@.r`9oMK.)uFcp]Q ֪0%^o~ ŧ T%.)XixP;Ȱnw5 j*_Ƙ?s5 gYZ7zXZִF! H]ŗXi%6fC);\t$,~m>鳦 GcFA_*?Y {Vut/p־(paQߟO bw^,8o>{$wn\|+V/ݛ0TO%󌍞.$!|F%-]4 x\cTwz]{%3 ^g3C*YF޿p3 Cfз-32 53g U؃Pߝs^LCD'(@qH`=_Ebˌ)K~6elV0SS ANJV! !fqR7mʦWASV=zA;3mbi[s8(TgK}q2~C'"ډTEA:Ԝ.[_.DIߦ\m!O{8,f',Օ\ |}JQHl"hG,M*ir0 -xLN!9w|]}::sSuq/oT^A4Sܿ1In/28 HǑba`H`K!IqmK9Lf Nꝵ/%?UCɻ7v*lOnW+ >AGb u |mޚnTSQ6vKF,;%lg9qEw3XlH3-,bk/NL`-0#i#/Q(?cqXRe<!]ƋL ߥ āu+4:Mzɣ*_ۥ"Lа}g4 R/{(,쫿=X?T/>D[@>ޚ . EIzR$ӕ伤ّR ,n]IKAONYRϱF* C,S}i7ZF7AYIzUK ՅnpvY+DeN"U+URy*ڑ˪fW*Mj4Qw'`fuQbGWM Cͤh##hAL-+:P;k]o`~"c2B~{ j sp=D`Rҕ<y!2u˨T.bJf=fXMX^9 hLma̓©)bqzH wڈ:(R@u"n)SI3Knpd~$70khHbk 3MR<ɦ4`Icnk5}I(8ٔPT TQh㼵-g eecT*j^n5ZbX7t+}=2u6E' T;4\9@dfnWj>pT iMH0B % '_:!SK~0 ^jˁ? &ThN d½el.fzt^!D0 2< -k*DC MJ>G͠С tA#S^p=ҕNbaA.'Qy*M`k'0ճLF,^ݿf S@i2sM"TpUN]^ fa;ԮSX@A ڐmk{Ɉd̨ $V]h0Z`lT1s)<:p5fcehEEMg oI?18f*]h&ތSB^3[}Ov ^onhb3 DNٶUѫXd[XO2";Ga2IoFe ,ל Jw/2-5R;< @us'd_f@kfb4t5B,MZ#!+3<_*ѩ~{-JQ:QmWmJX+gڠdb-*ݩ$=Lyd{`Y+t{ ա ba \Ida{oj<0 Al\jQMK)үhxz )mZʿFxg`7eqS6G,ømqU43oZ\I4\o-XoJ%j9c+$ؘ0mZ.qtBȜ : ?V&msTJ 9N /vXnk^yse8G]}{1&uF-Mۻ'0r3rm֧c=4sV,*m8&Jxֱ7V&&yd}˸g)^tr@!xU@BrdzQȐ R13r\hg?N~l_WfHS *ͽ 8is.2Ed492*ic`+eKzP *RZ=?~`E4XCG5 |ίj|/dž՜EAe1-9ƞug)p㻗bUt%Ph c!Ie9qDٛ\#;\#͑ԖIZq`̠>h/,9uF䭟 (Ќ.wuf[aV+wcP$pGr]J'eAomhXrOd3K`x1]_p[[X\>.'=nů*e䠿NOӸMPG5J ˓ m0j ˀ)9z\!g({+?To5 k9ٲ=Asm4 Z  1|70 )ҩp!-V 'T):˳"Ԭg7ֈMŤ a'\Ʉ*G/ߗtyWޤ&jjgVZ'r\YJ47Ltzƫ [dj_Sԡ}8Ӱ "ykJi,\-8UEeVrv۫#{ cIJOuE5;7wO9NXsLM9~]_A8g+^Rn(DT֟_%ũT: wU2%-S܈7Ï-_RX4: ^Cz0w摒IbG%w(9ۊo2?u=ǝ@ׅˡfBc.0$DbLi[9>mr۶~;~è)ϭt!@ v8}K(ѷJ@l1 &R39S @ '9"xxC01¤R8x`-z2֤)pZCe>J)G 9j Jv tʣ5WªAHnegSgftq 0 ?RnLlaN^Q k'u[we! be{CM1sY>p:xqp<h$6tjam`LU{AoX|ܡ#a jA9~<$۳Ph_r8p5 xA`ogbGˎnwVcف#!uDHѢ$q'9_=3;$:X|&bNژ%X44`eT!DNݮ Cۇ:}ymobY(,ӂ8K(xc&e6/:)Qu]C)2 Vr%O O Ͱ@{4Fw4q)NpQ}r)j̀L`gBGgZbf~裵B4-:!H䛎.4x 4njՃʦ7Ji8O+gZ | [|nWOne@bPKR@j I`4`RPy z@9{Uet6ӴDB贊We*tjYd1sA}BO;T*ВkR'z8j^OV*+/`n;'I>ԕgy;$ SK- ? Wւw>WuִVt~a~H5.%Ѩ`MR[@kĩvah>- p7a|:5UU(#mC:z&ү'ƎUv\7*<߸̾WG#\ Œ,0Bpܸr"Wcz4 o$a9P:U4w2$w y;Qncd L]K2Zo y?AMG+v5\V!छ9ڡ)oeL|UmuJQԆ௙QMo(t m!(R\DblWHOԬq Df?-鮈^oa?/=(ɣ}cfY]S c\8>]Z,I)d=orE.CP;Y%U)Z)BcthGQ$*@1-r ?-eu%YnGgYexpƔĝP8awOAN| qAwK2g-&*+BRP$rg.e|1lFڀ;=!Dz,vmwr"R}8 :V{gz4Ѝ|ևK8TUWAQopi"?UGlMȋ0.(FcCh`bqӼhkwPrΎF(`z+?ݷdr/hF:q¥IKCׯ}qD{@$5 @t- et+լ㕹Rހ'r_sT N@˂| ;[y<&G]&cbr`q!~HT"њ2#lCs9/q`BK& dL!`x phSW/81QQWsЛn8wJLEXĸ?Ńers@@EȖ,d)G>0 ']'׻%B[^Vu# RJב>N _sGG<)M Zz*;A:Srq <-?d@2kl}ʛEaѫxp{ Pe}@uCl8,3S3¬=rd`.rO nұ7B8& (ܨ Zr[Gqsm! 9m @Ұ{:y}LeJMEǰRܗ3{捖wT|&Q4Rı" 4n=4 /!'KtA+A]"񊦨p< Fn \8'ePOcL)pVL HF+CY{w _ATw2L1t L dӱ;rQy7u)}ъWU/\>h8ÒDzt(̨GPl3 - Lm: "<Ÿ+? &LMkP8[5xDGij9> ͬ0=;bͥVmx ;' aԈXF'jQPbDq?`kNB+A?/Cs s|jKwr}S\R"u!H%֫V KrMS+nR($!coܶ (E?W@3b UwJj[}\_8-|Lש?DzF#BJMq}*hFnxR8]lW(5RWU {]&ڏ~li*|UϚ׀-K\7ngb}_ 9* iY'ȫH>8xϭVFM@iВNz*Shlwo/) P+%w7xT|xI6euW[i:*ҁm"cLU>WgNzfSBo֥GhV-+aփe-}BI\wH%f/+YKD?~z[#̾Ԁ${LwOBHlgk8rݾq㽑t4v]998KDH8@T!2\4z%Y 1еЏT;A/Ja(S3ݿ#edK:B-HcAnYݭOE]) GwY#g Xl%ZTyz ,8 vXvȂ"@@LR>fZ#B8xT}F.+al&ƕPq%$hUp|al?w:)9u G/kgNU zpmٳf3DS > \p#8,rn#tYIQC}N:qc mɠ wn9 YdBήb4텿-:.P#g `\Zg{ )m@FS&#榖Xb4lkZ7cG4OL]Q+ x0뱎-7NyMdyAA/A2cɼUGVYVyC㦾';Z G;G;&7P}|Ċk{#F(ЌQ۟˝y}&TDȎ ~ۭ֯Llpτ-P/jhP ތBg-}N:hYsSň')U?!ϟ Zo%Ymh<+]GO Qd ?# d~-Y91$U8qoVoBÛ9'ƻY1m-7$A8&WGu5x G 6,V-@ho@F:>'ź}:2]H1k>%{rpl@=ukȑ[muK[!s>Άnq$$- ."MQEr~ 8ܢ9k/ͱ!Hݟ>XAU3!G(N;DV cD̨':?Ⱦrsj0?WC ` 4!݂d:d ڔ k|G'̊\vm(Z)q r5\_m)k:t4|,8O!ZM9c\ W#8 p:$1O͵(("A;ܷ6;) c3n@FChmhVs%PꝒiX#6jDxJL'{2en!;Q x,]1-.c>J!xW\[Ǯj j);bmR,AD/sqQu+u7aڬ__/4ke/4q΄bg 9ngB/ Mtw&(%`'ᛤ~"1!:ki-ckkL =YH˅{V]Y4W?ʳޥq1r3})☛2]T_e½!t{F5g' W9?qA!%{EKW?^ݼc᭐p$L84,v!a6aU}#oIJd#Q{Kfa~fV{#wQ\h5d;q)O¥p44R(ēmK̿F +; k ]:gOe)**x g}3l-/R`aBv)eێ?{Ϟ):ZaCg M9 L1,2)SKֻ;ha Ϥ5DFyh&`4^~h@~vп== h \^J?˸ ~0T5e9W{|Jl£vw2~?T}Fg-apKk4?W_i\1L8# r7{rݛ{++?r¬TjCD֙d]V~^-5ƌ?c D8y7veR-\5cX~{yt*k/?H/A%CXHc4A{93B)./!\flo/x5Q_y~SWF,~T6M=~NBN!ģVذ*t 4:.L)Xڡ2Fgܺw۪#m񑟅U\?83E# r4K,&gtz(OR  ;-ļ=ub;ju%Xɨǥqn >0`mJ=g&jAWM ) /|ci<@ >Y<2c^ٰæ4#x0G݋`*߄Ffmk/jҺk;ʙWJK* Gl%`*TSAC!~O5}zt&I0ܷ@o5R?'%6Ȑ½h5دNVs>V9U㴎/DXA5EjBy1\7 ;L˫FG}~ܝT*rqI P>Bˡ<>H105+UetmoT#g%@5ThifNjJL+=,UbrdO^M脍˛>p[f4-UQݧc 7sx.H2slf8 ԏeF-o&& 7&]3Wsh)ɥ "< ԝ%V p3u{>/=Gy_VҥŘ4"7GąY:JthE1J?\ O4@OCw=+/ܻF q<|\@Mtp8VNoov*f0bb}"1r]0)\蓡8>chW$Kk >̋ǵ xFZ3?tb7C?с :nqLIsG*-񘸄)BVî@ֆ#ȭ^6idi2鄵}R?}9J=EmQB<Y12[|gG & S,A]xLv֠I b.i;jsoh¿ ZǮqa1 xD:SGKH}KA5"Z\HsN,\c/l@7iڏY /f3D8oi Y9r~[UD&ǎw5jxLN?uȡs /:ڍ_+$ zb-b[Y| PBY X5` HexQxmzUr@& Xã74gKuأL6o>x\WEyZR#}3;{{>ŊB(e41NȓO -Oy&X_jnh#aDEc/Sjmnq~?ڧDIRށյR[ѯRKYLI*›_5XǗT8@8\#A4/@lX/Olۍ([3Tܟ̄=4uޢ2<{w W. ,XeW~@4HqT2<n Urӌ R'X[]%QV cBed+o^exI_9"{Ky-kX/'1jޫ0x._$02.;$ƃNr`>rE zs_J\2W.dB`}'qbEGebMg`BE:;4c!ay<ʘI3HԢ t]`b Q>|R4Lv7IEqzgf?jp0Sy_TrUa͛~jlTXSx`9jul%$bnWd3 i"IB/VwgJr"tUiqtmh>w광=t=I ϴՓd P `ыr`GqHs0ǩRn0oly \E{~7P۟ 7~I‚ _Egj&4Qr4de8٪xSd:U@ o[zjyDZ?RVXfTAx}@lMjdd>JJ]h:V0Ko7ݵkkAa3AJ|wFIsMkREH*Y-eˡTGbbׯ"m =SKYh)GOG[7ty͏V< \,a J,"WPTGb:32eGb%3Bҹ - V fm&pGg /d5>$h+0wKQ 6s Xw7ݻru]"vUڔWԈv (<=wr#<4Qі7\.1HGB{jo;:=ŪՂI0+,Mq#OtvAC'37RA Piz!̎Ӧq!t{j:Yj#c3ז>V:Hvsq;$2)揃ЄMO} &2NgDxlOoP,Տ7wo$ k3 "F].SY#)R9'`{`d`5ڞ3{&*y*5 W ?e6U;FxJe\d g&x".B\#5XGW2' ?ٗn,i 9ΰ8׷6tu|Dв{/UPC#efsE?9bF ǚgX0Y&DYly*MO&zu%_nR[æT'ϏVUiyQχ0Cv5D~@kb#| `.)0,5)󢒀i:hʩfpX|o lU砑/gNDS>Ӕ,O:#TRp?Imv(K/9ZC e=3gB>G~Hީ1 ݛ9ª®fU ^9hCM٣ӇG kCt ط98Fu/wK`̼ J,R,AU_UC:D%{ u/1Vm>r E#ׇRrnLcOwErT Eb!|L(nl8"n5p)9WI+硸܂OA=O^Y HC+_on- l+ ܁eGvW'<|E٧Cra{̚_؉ tZI8],#J%}VTX= ϥ'oq 7 ӐSjJ(fXe zN" srb7=gWaLYsqc/AGjgD=Гc~}02,v cZ~TY;F gm.|R|3ѯ'Ejݸ&}?v 򫓋G?1 eɕ|=HcQ!F2q;0-~妢&2x:{۵rl\6VS| E$ #PUrmNL;7wGcd6>A5XY-w/W˨߸Hu256`{zh֤96 e bv E'\CEz6u~-W,MsHHbdZ+'#R|[PDզѩ]z"N{kNċd ЭqL5 hbP @6Qz BE1]ݦ*zs-oM= UKQzG >IYtНek.xcWɋ#nrX2 F^ŀPaSvj*\rV ~^|7U[Ӡ8[T^P Jq.G9rXz+D rCr~Xp;2Nב s$0CEOh|F>#A954-#_/AtYΞjQaF:G5EC,g<[2>,wKrŽrN5s܈hL"`6V)ލ\QNT5,plQ4L{)0p (  EO Ʀf}DPeҘE2Q>uF}9Cl89N!AKH%RyY05 !Uz L[!/[Dؒg;R{QA# 9B;C,]#.ɍj}{Af.7&)A2ǚtCܢݘ;; 'I"T/tߘCOMӰE;/RV&6q2a6lcC4%),%|-|ϰ9Π#ks'e8ߩ"qzQ>PJ5dom֟1{H9V⛤f }PnR#m\9/xThWg&=R[[\-.C̍m˚ƒgYNa^ۅ "̷9X;JTUB놲>I&ПAtߠr>׌뢤bWt1Ew!2qlC-m τ+({5h{3  WEf H$;4U Pݩ TT)Gk[y YdXϑFg0>}_37t~(7/rnSY4N6VQEkPa]އ6Z \]YxGyU;Ռ3%ԩ~eY%uṵ5mH1BVp: g7wǣ ڝemK-eMwZ^T(>˷x^/LbQuT+2nu)A9P y>B!/Kp_MxTXZ2U,=9!ed-޼&Q2lD"T"DՎ5ZK*umA7tž0" DlԢThgQ D^ V?аLʥ)M3(Е],N- p d+NcrYK\hWH@e]~JXⰃocPNE&UNW98qN͝z<,=+`C 7x~ipRХw3[.e&btE Y/ wSOH C!Z_ރ Ԃ P !Vg ,;% T@,3ʸ(njRhᮼ Ar:q5nYsS'ZM*^ͪ1jSunYRP6zmuVZhTn 7D>Cƕk؆Z[i"ޭ&tځ`@&J80?؍d ,6Y[h$mXhGe΅TF:CdӔ?&ʿ'NVsPQ78;sEv_Qz}u=p[APÎJh,/-\SJj1MyIץyh?7)q=`pDJ[[|sNPj,Ϟl$qդPARG8Yf!1l5Ba,=b]=,{A x'{6+5; R!8%[a;ޙ`4$9>a UB3o܌^5G;b5 FkmyNcG B@[ ^{Gyf:6~}˖T"ע"ۏ3ZEߏ! I5|e` I}g5O DVaŽ8* .> 68u}[tP޽DlqEBE+UI˫,2e_Ӳr56%x&KՃ:1^,`xxV3>I:j\{|_fg'mwx1KVZQ _𕴐)w8 ~PܒkE;!of&xaYT-K6nM[ 4$рNT1"8+NfUc2s8҃-xJKuV>x;E׷2̪Aף MZ[İ}7@g[\x7·FC&{5r?rs;&5Vnto!e|̻- dӽ, C.Ow2c wak-ϓ[`#8`Gy+cz|>]/؆yL2Ois`N2nt氼H=*\6q9bB_mCZ<NTs۪+.]cZQF:yl̞rY-5YaRMPcH7@qg?hf{|l`T pNָME2r<Ε)s3Xmu.DZwl> u*2wVtF+m&E?QF:N#ťjEr2#4iTQ=wA +\~E_^ U{8HQ$cP +:_>#[h]FRP͖ٵܼGf-jE tYRf^JUx&Bȡc1J`>BƁ񉥆G:Pihɂ:Vc`m Yr+xYpT [*Z@Wj/c _Z|;w2p=Ĥ&$RGS1xK~MZTK+'c7zxHyу̐gM!i#cg naڑD"`/8Mm߉i\~̑PdgO vSFKYD\6nPN[;HGW}Ajkb'8h[J#/}4^[|T^KZOwu,V@j4K8W |Q7NU[7YEhUCS,͋.@fP~x +2ޚ=3ϫjnיR9)U+ճ97jZY 5ȓ\K_w9~Wǰyl1hp>ٳiU ߣ?x-/y)U` M]m*OCА&c{Ix]CCfttt'>1h{Y>OT*B^~A؏bkvW<(l.}6+|E͓BW'DG}H36R?v 3 .u[ry!Btw8ɥ-vS<iSl܊eXm6J2Y>XٖuZFQLY݃w03[|7B0[ 2J;P˾zPݨsUb ?@~hðѲ6ݼ.Twܹ}ҵIu PiMYM"p6*ZS@ۏ[Z\3ꋜ].-AAZW|+;W'xʢ 9n; bsqu & s'{* ډ ~W*4^*MV2x 2Y y`WaYLfT6ZLG[ rXh̫VzxwBCw%nus3.y%JN)_6F͓Ꝯ(a8fWt2a"gUwd~ z#:|׆"$T""Z(zdOzí~"}(6LA`+JEٌD)>Di/"A;\_YIaK't0?"` t+bN' t]1 p\npz_XNe)$'yu:Lط6|OrM mL\zhLU 2/'u:/:5RQd5 BWU~"2VҨ+! SuÊ`PaE9s M,/ldUpGnױ{S gRKTۍc+72u]>l%Gy8y- N[N B lUh>ChkYGu@siocHy&8KQy`y;~RxE4lU P)-I( =m4M[p6W8Ez;tI,3tr݌B'!:@W@g)#a ¼|]1.f4PF@/vs|hCwѝ!YD?ia~v>b$kKu 1O-yb`1 {{X%Uӟ(yFEbZx}oaO'Srnl_O+N89XO-[Z" `g.k/LE:Z%[]esznwZ>78?6$Ƀ6}$y}dyatJan9 PE0@-h15UtlX@KpᩨŠ8\{b$LA C$OgQcIzeL0O2o-k\#,M+y6sKuU?'WYHA{؀ kȔrPp"ub17jb:!,HmEg.G|+6B'/dK^,<jJz 3, MYsnuPR~mn]KUF zzv4b"ΡHUw*Fi׌eݻ˧rTZMWlzҶJv!idFKXge#</T1h12;o|m Ed9e=|˭fg&V[7isJaۍXɍ7r’ GǨWk_$'l3CQJYKbàvq5vZ^}WTwH h@Ŷ(=b~9}JkHpiǷU`=j\ʄ1iv}MܿѳeYTb]o8/rhyYc0:* :.\b-"?S㕘 c4c*IwӇ|2i"Qb*?0\CxmTئ$k`-oR5X6{bd}qE\j435/%YC;\ر9ʙn"CO9h7J %2p^ t"o"WiB;Ϭ՝r jOS= >r+T2^{x Fkl-~1f&?f\v$]~@ڋ0=ít %1P? a6;庣 YKBB*k ԩ3.sICQ%=4zSmA֬4tw y&yf wELJliԉώUL|1 W yBZVB\p'g+Ei߰x־_Nu1C05jl2662"L4BMz/Eh8\: GHy[Fϗ ?CWi*\ݚLpr'IV+=I QcLH߃ ;t S- ՊEׄ,С;5$vs={iRP9Km"hN] ̞eW%i1S LZ VcNW8iQ0{dqON!:ץ- OZC<CwĒxڗB%!u8u)xoH<<4)wQ~D (O!iTnۭ3o{U$}l.).ݼYϩRDF-Q[Pwb^qv3{bzW/[&Yd2(#/` ,u?N=`]U T&;h''Mc\$W9` ExESoIb?GDt'D,)itC/z`qVpL&iV J1f $rR;6',6kS LnC,T =GP$SҖ:~?-P rnNJ顐hl|"ċg㺌nS ES/D=C8y' m&6 pq5KgX X6!'uOX )IzW"LY%W$9v9u&;,E?Gf@s]*FxaSvw0bTˉe%r渧 ?|58,ſwUN0D׿QbCXш}z/ȝT2Bi,>Ct%9bIȏ9 6 .>?ϙH𧻓 0"Kz^!RRg{A)<c׀ŏ%|T= i-%^3{/p_h*srԉ2Z:5Ƶ3FɁ?kؾpш<뤵XۃnNQ`gRYuImެ.eC?i?Ӫa*j֍Ap['>6NrT53Z%TT\ƛ FQ8T'V0KIIZH@55;^ݛbVC2pRrmϹ((gB`g͒ja^i t9c[2GCEL7ڼ:I |p4$&Y0@Uy! lk|uƿ,u\*g/aevKh@0 1Ee3 Hj]5}.z3 ":^PJ9x~n}9io3rօծQGA $jh5, ?bJR]XI>"(}g뜣{m }< < JUe|p-8QH|&"^D%u4&ۖэխR ^Qm~hb=yf/y$ƵE:'eP1gXmC@7YK;1bOqbj0vd'p10t9tUuAٵ\ħW:U쒼N]u殽6_囬hװGL l)}h*R>ሢM% g‚n. cfSi]PW9ڥGG>\RrSs(L\VkiWt T]? D[R>Œ4([z2eT2ܧ#G(d蝓 5)<] Bf(Ѐj:lKZT|.qh5qƘLdkO;oxm;+Qpbh)ʱM`vJG(Ѥw*$֝1m[]bW}$nᬩQ4V2fQCujY,B~!~1Nڷ=t/4P`^kI0C3'8 %q$#(s#uNthtZ5q&5MYo !m@a۳W": K*7*6r5޷={JQa_<݌A$vIH$K@ Yf4a/}32ѫtP_[{:_U}1SlPRjbH cxaKD45&&{ |@k a-IvyLDQ=>t Z 312֗o:/0C+յx"AW 2_ƕЁ$X9 =}RMBgTE+CԯUNQ@'K߿jXO2IWx4H)ZiZJc0y<=s]S)iImr'::If|UjCHJ0.3c2F&E7/u>Ʒ<ȴ ,j+bĭ /O2 -${?Lf.ootr lrv4n0Ie(J.!8^șvJAiD5Pm, FFXQ螳30MW3S _.(#ҐSsD m,MȊB>韙D g`<29@z@s,|/ڈcx9q]Vtι( i2h<<&&;-( jp(|6Ԥpe.LU3k8D>v|R-tWuHw'QkrpЋҍs .%`xh ґXyudKAP1P $Ms-|aݏݿyT/ckP4J-G[ q_v'1X]ӂFp6_"V٘)=G91ymﴎ{xU5rYMjO3řS->$}!ϟ %&GMOE^S¼rwixihUfܧ-zޭIXJ,I/LcۚSOe $*:0+ܛ~ug$։3m3k]=[Ujҁb\A6aTΊSpz[84ƫܯ%\yFsoB¤c\47;i u{h3>˃L^@#tyQV1G0ك{!YnP!a_T[9ږ3{d(OUi-9,~f9$=1ocS0s?WgTPYc]9sW_LMo߳kPٳ Ú{(@~{fU'j58cwg?Yҗ*hkbh<~O?G]s4<]o 8pV_`X ,i6\0zPaq^zV+`XMisׇ O* -*;^rG} ɞ;ԋ̥),JJS\cy)oI^|/ q 6 |?1;ubzYF.z <{! 3yVǻ}{@H[)G0ڲ`y'1,E]fw$깵 IWo8ZC;}귟+!$ þ@Hf'*Qѳ&RQ7exf$XLt2#2 51^/OSFlH,Mֵ"rov:g;/#K\U6fNI1^ iLY1,obq /n~c/ndEz7[`IS$'MKt'Roj IAK*ߎ\B6Z %4]*[wx_$iעFھFbdx\?URACd@/'r Uu2TlAŝoqfP,; -#$ ~@1:A(!/ `4$nE~$ἹmҿdGA/90ދ 9VN2}#24O#P)OuoYFY*$%{fyji:M|#MkguQ#Ӄs%XQϘFV9DJrqŭ\m؟ی8厛kտtCc&읛]5m}G:ywG /Sbe]\55NU2=[Z nÄĦ}F$+K d3>y.H.Б*Yw1xCg6K6 sxPS)+IPYjoybhǠiٟWPfh0՗ +iȉO՜"38?r*e \CLug:gKwdªʥY=[k.ue(N϶w|j@.6B \Vj<$43đH1e07nٴNjM{)RM€Pq{)O!6u`7)+[ n/_A<9= *6KCvIA~&)F8C?:=CG_y8}svKL|f iLRs>_|w=$~JY@.FW_ЋmD*e2RsYR؃LrfY_IZxDA>h΁'f,%;__IU}MY`]t!~Z1uu?3Bg&?xP+;O|1;˓i]L#*K7vr`}F Ff܃"?&{ VώwKW1`c~23;(vSJ$$?~5.je/}3I6@[탏 ! 8,c&*lQdeFr,>rLܱ> BdZqH#pF&elβR{gǧf?7bh@Z>&CKϻZ/V[՟97Jy8k-w=]fHĖ˰8S5L Ii^gHsժvMe|pیU>D3gl ^jz-|wב'&a`E@&X+>$mCjP9&cAGz.K(r?0{zvXrv :eË^P@d24p' 'G,:G92 -)RQP,$^7ɹ7D\]M]>g!zD 7&D'xj8f5GE@]@GՕzΜjk8_ݦX# X_lf>&Mz&- @ebUIT8*7S\@3yY=oOq! YEA56T*o@`$N^ڲ)fV_UWgUJJ7'#-nCb]CW'8\9*f+i[Ѐai{li F*_)H(.yrʾM%HB{!#( BsZQĒsKt\j+5^-o=2gȑ {B-;^ &YUYEYduƩqrH^OƑ?becڣd\6D~D+[? ƺh'aW؍ϛ0c#wX }vU⛐B8&1m֐37T n䂪xOQJ1`ry^% YTB{EQ5&<`b axC8j#| i2 aXͪ"[C-=^qw}8 M'{*MW2ČmhB1$ (sjCU;%#[8wrc\lb;FWYf{kM#W$W; bj,;872C0B5B^Nk4 m%5R(+&2o9WUEnh0V,Uh2 EOt- >e"m>vJͭw..V_KJ$>5!XT "z#k"It-^ǬS}l b-(&"!%쮓QtѴ5 e+GNI' ;Y=9ؙt))L]P3AgCDG39m\=r_![a,xd0uWL5{| Rc1 ڹXv}]7Tsk NJ +g dUZZ#\Q\e|}N ej ǯG154N$tU1}:%?0 +GW rQW3E3iZe?FammxGj"i"Ӏ{r[P֋$;6*@}. n&zx&W!g(b(oO-Uo1^ Icn#gMK 2Ӑ[17iJfF gEk hjcHz=Tj+e(yB]ׅʞ8e]秺ySFwk}] 9P9З?ۧ =_Dʑ@b*ާ2ȑϽQ"KEލn 8i6y;4lv[ }s;Mnp_b7dHWTEJ"ӜLIRZ$]E0ZvˌޗkK7x>P~pܗ(K󗰡~L dǐ9|蔐Q|c+{ E(5_Ӣ[5-BGAdʀX%pDg| bxQyГ]jdd%R*`Մ 6YLQ ˗_\y>\zef}_pj=Xm  % wHCL&55ad:vM08C RL_:>Jha$A7R씈! vg' #OIG/>2?/))Q`n!OsN-I1"\ R$2I1%.s\JKms6֐EK(p|HV*/RMkUAPA+Ymh*315 C>&[;4 10 eG؉TV P `vrDVDZH>u~NKT|Y팀#ɘU+u.uxk5F]Ŵ͵R `T =6> ! 1͢ƘF;|!;w1KhU!uP)i#7{Q yRSϸ8j?i^EIԪV] @N,٭V0_xs8VpoG͌%?ug3D$Q9Ta KLZ Q|"nҚ;p !ލw@sBss/ ΢<~`ar% 58lkM҇*58,꽾ZtmUbrTRm7d/Pˆr8- h0lyHj'R9 ˽Tf0ۚC'뷂0M*KX8nJECHvG`4M~ W"jAUe0{9B(:\0#IE9Xr&+ ״9P&[=WJW:_Di ({Uz_YQ +l~c-deh -ʡ ljD[ /g!^O*A8jEpi:;-f*r0V'z`y$L帻7CI8<]H+)˲b۵ࢯ!#DBgm y mO([Y.̙k3:)yVCЎ˿dX8<=2Ueи/4PVEȆL>cգ:>bY3a|ASb IӋ[Sw6#2\>bAS k<<:T6VZџ z-$)ɯn5}I;`if KuQF ֩?-q(9r.fl4<ɰV8qiYe0Y־Tx;|횢Lb+]882 A3伣A eydŔ!}3ZJ/#n  UǼў6g0^%06-3Z쀏7JE O\VY%Ig{ϥL’qL8[E> #j[lwZ8g~^՘/m)p_DZ|2hn1<l(+ VW ^A[EҔ*Fd sŠyk4dhv;k |B8)ر}XNԝ6%Q"\ģ( 7_), O0mF 8#[CS°Hutq8CL4MH_x9=4D"8ȭ#6fM-? q8w~h 5aI>Ȓ(]wk(,1VQnΐzFkM²E =0fKrН u\a] WFskznVhʼnQTIt@|!W%/[ ڃsD2.D50 CE32lyOvo2KN)S@E_yUdh%ƗBf6UiB48Pjk EsDm*]_-1oل<&I7]aT[V"q<]>ջAme2 Y176A G[ P}w ?Q 6P?t+|UwSi4Is"k,'hᲣ-?ZAwjZGxe.%(pzk=۽?/x[NK0\k;=wX!*-WԾs҇0X+4 `2=RK>ui5w\='xmJ _5Gqdoc}2$ A`j{aKۆ=haLƖٯj(b(R26FqsKpT6cÑ/A6SwQ&nP~;uO.},qY7yeW+Etjo mz`,H#B3 G;=FCS#ppE󑛆^\YYNS\WwڇI\kLfWs Xqj\<_xP;"Y2Nk!מ FK~ $zհ]+*} k>m+joZ m%%(5W\@Bu +o=Ń]UI!*O e8>Ω0CZc "* j1ڤ&+UϮ}~uiH@0蕭 Uαj`V>>qBDM^8GAo^39HR-EA4q {q*B00~j݄!I,=f=BPN{R=^'mN lߨƗ*ԁE=cA0jRgp7y ]͓ ز^0F j1WDoc!^?y<'8hwta zONl5S3?$g)P_/& trCfI>.ESQ p $FQp ஃ}3 bL3&ીڛHiĩf.GV ft+Sʦ#g߬LȐCz?M9^"lsRS+/dWUr IRަ~9øSzxd9e_5GWMԢ\rE \\ABkuIص1bJS +,<(АK`I(aۗ0אT DuPX~,RBȞu`w*˹u5'v21slA TR'ilsRrH+Q4Qc #${&Z`+Cz?;P@~iڨ Y|m򑑁b8Y>JlשSҁ{8+I&y>(X IDF.eAcf,` ;='k?>H6k)SuLJJPgC:J)al` `e5/(13 vn3\趙%E{ 3|7 +he55D$" /|]6II^欨fW9K|@u.8Rl؞mg0^F~ 0pdtss̳Q4cJM甛qyG#/bwYh11k")TjS+I%FFK8ј ei]E d#vE?*b. XgfkN&ׯyQXN k1iU *ez'Bʶf޺xh:'ie%6~bt.&MKIK~K.Һo) V+ťϮ6;=q8]"sPYXR-bo)YnsEIʌQ.?`kנ&7rzGlnͺuJo@2GUu=Ҫ1`[LW!ul :Cq|f vp×;e<ؔxn~d,kPڮbni -%&JL(}|Z<̚Oq'P N$֭L("zzui}@ItE썷 ڕk~^ ō4C؛f1IG˖EҬza}U-LwO؏Դ.ܣZVQi}^/oJt1n SӄC,P̘ (J$\^rׄyJ jX=h|K$җ⡙}=B  N]+<S.TRޕ"~<DF?TvV7lKWE8[a+ߤ=K'_ţagG/(ziEځJJ>p3ۜ7~+̞bHyҢg֥Z X /BASR??+6$W ͂nKȶǍ .O梬m{d 8]͖