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   . d< ]]Category3:threads=2elapsed=890.358cpu=1560.932gc=87.104factor=1.757zXZִF! ߎ&]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo "jDz>S}Mbj6^^AsWy+ݡi]>,7D, +3/u=:G"šnװ譧|Cds8 `%?P,8PyņG!b/& IJacsT6Tx@ϭ^]k*Vz7w+q>G"IlNSc%UifmHK}Miݘ c?,;coJNĉ( m(;+T:ŬZ;FE}K} ŕ{êcpRLR;? q(l+es1Ee pET-c.X, Byۢ   Category32Հ!֍cx+9P-{7u噑r1۹"+xv뤾3@ܔۣ7ņwJVO BhH|r '{ 1k"C0o8˒~Mov/V!g2*(L!ʿ+IP5˷vZKVCSKj9oU-B$AVmv޻\^EH1U nlP"|],ێr8u ۠7M<}-z/.:[Z?dB̑e:YXBTsJVc 'fR[!he +"*LJ|Sk?u'uuȶc:{6'u 3!5Ο;Z˕I[MJk4Ցq})G;L~8Xb" tQ) w5 :nWF;$%<"vG^To+jSԤQN9N]z/W>WwijW=%Ne!&hfk0`nQ3=iX}Y}]Vo|5(Y `[ʹwȑRA7ƋSLj?G#C |`[&E"q>BmӰCjh, ~.Q- "9ߪYhdY O{/*o;Gp\{Eh ֍M)bbuQ/ۼ#Iߌ|lU$m͆C0aɇ)Er鿿qZmq~@>jB|rhMs> .;8+1h_r-:R2 CMN?K4pAnw7t)C{Xm.ՠ(cu*0nǕu,B2ceQ*e2Eĭ Âo(UbVhEPQ GXcg̛cQTsvg%,tщ5Hz*<N h:oC&KIV8p v"s)@?9mP۝M%蠤,>[Q &WZ̻uZCd<tT1kX_hz}qDτ8F|*D$“D ld WJN7dЕi3(u GHuƅ7o,|u(*F88 1`aZDz "ovͫYxz RIPFc[yoMx7Oai8`83MEbj )uX 5_ cvyr8b#ϜPTYdm#ށ6 ml8x==JCKlIX5o1#% IPfEC#F(@b:yhȴk}rUy'\ v,wWG w^%cJV:g$_ #0s(s놲) C1RWC싞sVq _aEޜ[[շuwO<rd_$ja?:Ve 5~_lKax_c.`G^Jtř_[g1.1YtN>$,Q0]9n?p;Z :7xұij=jNi ?+?e}+Al&̩, #w,ANG9D(?1.a7cIgNB+AluzIJ x I}MpR'E'"Nswk_~Ku9tjgT?bK/)E{Z+jݴD8Pڬqx8⼔ F"$'ϯg[gLNżv~wIm)  F1#_a  /r%H Obml1֮52ޢ{}(kl@T{{`S'-\KE+"5hKVb!RB]x]~6B0t)sJ0ww!oT Qe}y%Cr]á6[CK͋  /E&+㖦*vuaᤄa7(^CN"W*-M/@⠧Skց{zzap@C}1(խXe͠Mq{9`@,&W$~։B^ҁ!FEOނ@x]L[T '%.IߪE uѡ]W$8s';Bcs^xрfj[6m V"W3 7[unEN6fbHh;gFZxWNF[q9LD4#az?P K5C!b㺫cpklcCEo@}.^!]5B,h5?B\7z>X>I֗b#K ;qqb` {@铸݃9_O!#Ďł0gehڢh7ϏX٘3Hmתo0Ե)H8 Nn] o |59Ey Rq^P$Y.D$eoAu$`o 4PV‰ՕP&`;\I }f+x5B,Em*t Q`Xމ*5"Wuj3oqt5KGr,f!9J(yȐ~ ryXQ ^9hvw@>Edgw@BKd,vX$ ntm#f4~z/6'{^Vy8NW _Ne 4>"?],9߾ \tU =dWH5yeMs">CcP杂)M dVsK!FY ) E$;Ԁ TAv.@qykfA6;ڙC#BuC 4ER|Z4\x?ܔ9HpnZ m;1,VwT=nHk$뗅ePֵiKw _hcf&N}-0q;1A\km1 ФNw&u 5"]bȕ]BXz+rrim KB2U~0BIQ6 [#5|z ޠpܤڣ='SmSlU͕گCM-{-9j]dJgA\Wn51Tɕ__1@kp:ad=e1aݲ 1}Wn}8~$2Yf&0-l/E fppmsoY`Ա; v=aLk*cS"ׅ8!dTffѾks¹A>j)IB#UQEG&0OWtW|#:ߤ[X((X**h#V9YEƌ%3ܠ]*~73j؁ͦcI<dGųPt\Ckip*;Nؙ,a#[^Į%9jzxq!IȊ/UQ>!UwHctKo',8,l&S1S4pzqvQ%Ee#}+$ڞH(>FCiL&,J!j@v{.ޖ`ce׻z#~vו2e{ɮ1 d4[䨌:3_PSEgI0)Q\i1`>ʉ^>KbB vm~W20G´}8KgӤ G+i?݇;CxAjQc7YةcTudT$L?P[1g?y=y>aI- 4N{Fjnr=5FY%w򇀱F'-Kߜ+;>Ns6?-מuo4n0~w @JkbF 4'Ce ټԩz3u6W;1Ȳָ[^UgYoڎVL[oAn3a V .v {a9$g1=y >FjQR_Skv͸NQZaK5g;<OF#z,;ALͅOgL8R.Y/ص7lK;}`5♻g@!)x!TkWK3jkc'^-K3$kX@_P B-[eɾY5a(WyQ%7$)Wv baCwWŮ4Ы+)7𣣐9_L$RJ~]e9罈TCA"kTq5b Mœ ˴'ȮmUS0/9A(-& a..sgv(ȱ>zh'C`[Ȟ)g I1$ xݍy:{2O|܌5<5d<ͩo3 "hկ ԿJ#629f#V Xy"L'X=.wSU fh M[0iE!ky#Jʩ 6,ͽ̰w0\!W~0lܒ|9 "GR4Af+0oPZ3 i'm** [K{x hhD&Dc1K*> Og64Ysw.O%1pСx`5UyMy*^⵮-?(3\Uώʫƣ `+ɡapaBl``t:g%Ƃ@]%hQ-Wqog 4yp@{QB2h˕kcND<2$ cBaйUMN-/gYZ7zXZִF! ]ŗXiɟy>Zr*PF yܣU݂C{Ď3 A+(;[yO_^)A#1DNUZC7xKt2K:݈HR3{RM$+UacsSWr_/b3Ol Cγ Nuj ȅP)p춬\щd4[vo" : )u&ѣOԿW5۟H%T}q0r_Zb¾D"M3TZ~{/哳˥ koAV=1[ 2gYZ7zXZִF! 7U]ŗXi%92?*ƃ#ireeHB]zP)#nNw6NMI ^ { \eU *}8ZCyY{ެ7-a~Ds~d9]Qt;?Jcʉm& 7r'joi:}H mg2ۣ)8`عSGg7*41PNقI5^I(FU)¹L0$[usX v4xjz4HZVoηo_)xDΑOe-8&{;WD2WبCS(gE-*E)qBmBoLQlVU&k}Mn/Q16:]τS 7 tAF @R=ú> +/'״VB=PZ^1c5}tqc{|Ly+/X.#!aBp)ßpZB is33HR?D>Gd&聛}R^K v8~$hv}&3LDȋU>#اP+,׀(X 31@p# x*=EO0?eր&?jnxΠf y "SDa {Lo[]1?ܦXh_n;=2q z !lvAbYdތt m&\UYo#&?ԉe+O5:PRip[iPerNfy2ػ!6hEHS}_؛avǻtbq?c< H Gx:Y#h@3#gJZƩ[1:8܁GD^/xow!5ѐQDznxix f0=\їҵ':k+/V,fUD4 [[LSɤNۜck .ۼK> B}}kpIy'TIa8` Ss:ծ+7_Ggx^H͒JwP8/DiÉKJBWPШ/&HAjHK3#C$ædLWި 5/s i?t6jss- @TRu#1 IG'; +dQB&<\XxzHD4VE-jzqaЯ-`GS|tKsS /5,{wݴ V\ڻXs?KUЖ)d6 ~#4XEFǘ?Ę Ro:Hs;͖7<{5p nJ1E#Vy=#dЋ{|42%^k]vfnNk#Dvd|+6N+a.Vimwm((q+'.)pP5` U4Y&oV{-yͶgJbuo HlX*P댖q3F 01< "] [mXfN78KFR}N #4ؕ@7mFsc;EjE?5o7!FE`Ts%C@c|@ZѱۅH!- gcc|f521~k7Ԫ6he:}_7鱆] vFyUOfΤr+ ݑ+DBѪod)uxiBƻo[TR/n3C!bצ *R#Ya r\{ $N:jMي*4J *հEOպbe8 N']$OZKQ0%|`@B: ܨG 8!\fJ,א7ka$/Sx\1&Ӆ);dKM72PX8GjB WNhqE`B him|ɬ_QFnePhPhQR( Qv#0YYa|fI78)X!ПTD"us l'v]cMxWK%i7DkEΕmBbh]pz aM&@qpETZL#yj>LP" _{I_bh`o`5G@¿~8[;`_ꥉ;ĴvXZnL)!]hUTOkavT+V7Fۈcज[seQ:S cTiż4/w$  }W+ΛSI?:pgW^2" F<{Nǿ #T,{AXeFŧVWy֠,m+P,ã62$&k Hݙd]^,Jt$fًw2GC.&(Z%WZ)G%&Yw؆/NOɊ*/O .Yb&Kd1fg5thfu!|eLgE؉=qr?y3G[YS:QIpƧ+4ϞB_.qbQPBⰫlin΀;W{U7͡9C*a)\-`; C6j{j zO;Vh PgʬunwjI$ { {h6240mؑ:d)jN%N;v;e - ;y۔rhmͳ9)7kHn36>\b]JWH]L)aTDmL'5~fܰ]LwT}4:&b4P9.>bS2V*hMoJJR&G5[B\$R/Cr}e0s ׿8>? ^/z4+xen3Q4/:5+z9y:;6l`w,. 1$եZ5dr!/W՚`cXRzT9(ѡ Ta CNЊM4ID`׊Ɍ#q v)q}Q~Hqz;"X[\XVHW@دަ_xCm o\+`٫=1yb\U#VAVFJ +kӖZ 8PQ99c)Zj5ҭsNBSfA \ߔIz<{ELGZ-}FJxM)[+f>8-,:I/ .Rbl]~F6Pp!5-qǡpΘ4 g/no*D}6_F3"\EMJ7LhÕF/\htL k\/*! S}ȨT Ɍh#zimβZڦĊ }{n Y\ިoih~;Jכ>hSߘۤV,d+)Y&\SM%ڱ] ]#˙nSnaCoVK'5IӺ7˥y5ֻB %K/DX#Ѫ{P8Q~5u㪊DWA3FK(FJYUwRl/!>ahd7 I`Qk=%6涣Oqv5%GEhSSWal.8&WBzX5C*B *4LsC 9Ƀ<$I22:S[A:)~T`+o\=H)Nu ɃX#>Xѷ^ʫSFRqCWX9^j#c6x9~e@c:H\-RJH#d$rSj{scن$}kT|] ܟ#G=5Dܚtuu+_f<`%!cڶALb;S)TQӞQtx)~HaR2KRoA RO/VDVSeA,!-sIGgKcZ4_!u큍Oa'iPs7K#0e9PQPNb~J<=/;@z#lh$*3p>ZoI b;lW"6nBtksqg1=FQh vC1y? T-$~Oy6$M ycBjgV`)j^w9 "L!v"`8.,EW[;}vw2ȅQz)_L.(u(,+K0j3Xol ޢ EzډJL@xgFֹz" {2 SW迍ߗ `[#ʇXby7R%s Z8BʵǨ;P{3tI}zѾ+h͐WipU98g/^~++-{:0WcrZDfRlSJ+wXW-,Kg c,Ji҅3wL=O}d9k:qz}$u~[ XC,jc\ſ\P8ɳ)|W%w|ہ: vR'lҽuH`l7_Nbtcnm=B4q -A@Kp b&0Mp7T4Icm'xbؿn TOGfFħ:J ;J \rKMyWSUlKTIwBN, Vӏkۊ+W4D9D$m𥩫Q WLǵIUu yh}"`@*ftXunԴ.މseqr{sUdOb6g4rQ4C(+\`iFK-.sb Dy oۅ*6Q@bNWרfLџ_n4i n΁̰9#jHϽy9̈́%{/1b#+om1" 7lIb/8\ۨ}S#dq'Z~_ qF[ C&ݔn* =O$#X;f(@C mMkWn\1.?m7G0DŽ9-,_WvMWJhlCH-4t(G2$tb3W R4=(iW`JW +Ug&.1Fn"ں[CrCd29:Nzj7G]~=ߛjJ)ؿSH{:I-yN@R~2Sۘ 8QQ\c=! n=oVʊ~a|,fܮp?:|Iy 4_UIR: /CUAATZfNT Nv䜊ܱQ Z y =5pXlFs \5U aP}|`ˀG)w ;ޱ #F R) q'-0E02b9bD`LtXvnk+WC BQg乼!&!YNԸsXϺTe,ԮR{Y/y&C~T?GҰ,$oG]͝ov;Y3",\*r6h e'\hu@XgO /YmY#;.{}eV)fo(JJ [kH>G!莺?26xi>ej'"xN 0" G`?q8LI~TؓDsn0VԎ Sr}^Dzn55Q?zx-eN__{_[0\"Ӿ@vWxTJVh>8&U+ӔMCJ{4Sb3}] Q@T5P!z"+K9Dˤ9缗 :O|}ݢb{s?UFsSnSJxiZ#2 |g~nY}F7e΋8:$u,JwÞ/Y51j] >d+0.秢RNe{"i!\ڕOO WV", CmDž#~Su"*u {L{_vk$!r]y_0xW-K!ѱ4WLdh[Kv{_P?Z53] lVEfs//o_+Zf5 X1iC:ZKIL?]<[LySDXş)ώћk cfCӄt_6#(p^yy䟗sn ,~gzŊ:It-/0OUuPo:V]cjr@0<X0<&n)rRu-tlH9rGmJ/|LJ} I# 嚯!SK1EHZVbϲ^n -UèO:9ѳ>u>,Pnp@×J$IP02q5>/=y]wĒψe04}܅$/Rm2tx4 Ω js(hF,]"Gy vLfudy5%Zo\5i'q}0s$۝ [}Q,waݫ!h6Rd2mP@#V]X&W)'! lp5>LNlZ#]$aWtc4RȨ^*cR{gAZ`!zw^ w:RBsg/֟NLҺ;? &@x5ǣdQ =*/7zuŎ!'fz5dXj I-G`$Q5xN:)Е LX|:!0< ~E0Fzq~+US%ڪR{vrȤR%mG|m{[@#%8Ԇ<\`K{"奼,W*{ С{r2uD ]PR]HA?YI+Oɪ3}g WX^*Y!M-eX6c`"gi.OƏM\F>`V9oωD.M Mn- q;n:XȃC4Em͵P|`>Ϫx(xvSE{VYaP0HTs$z7_8(KMS<-nvx{!Res)]ii=PC4LK 17{i)tZze8ugVSm5_bq[LPdga, WJDM $g^ׇ'L-졪4Ş ?r6NY2q;X:kcy8|g(D'x"Ѻk@*!z Ar]6?t@WQHߤճ=w3~" ^MѴyP1/TJ{n;]vJ~2II;tSQXI/A@@ISaO1@읉ǰ*?qCFI(KFUݭ6N}z䟜1}BwQ-+ T/VC]lY$5_lgc DM-~S̱ݲS|C}ar)%;7!bם';^h!֌(< Qp@sd-+MQNhrZ&1'e9/bsS [DXIgOkfgtηi vHǺҴuS9oi-~v$eSڙ1#w=JGN!}+Njʼ.G~b;Q=&gkw/ʄY9cۥB:S˺S S&ls E=>U/W~U4Ѹ + N+bR"ۙ7]܏ sh!Lȏ  ZX|8X#lγKA|$]fvvs.h=_ưD.:wO^K7;{- V3pH֕Tq/Za$ZbQr:3"Ps9 0εw6NJ\P17WćS~sg@$/ӝ~EVS`] ^w.u`jR]: XB8"5}}1c^9{dבN)iiT3%$*%d%bhs7MᕚHc [AkuҒG"Imt/KLC荭f@=dŸM@ րn\>&S/ fB.U2sҒ\RݦqT=/?iErw?=R @?ہpb~hLGDm$ sѻχ;pfFt}d%#?\C1!ZPrݏ, @@i/eV:pJ@;u݃ԽͲJvrW:Mg 9ա_T8(R|= ,FUƸ1f{xppPJᕼ zoルsxa*y)W6TmԪwV6U*R$}p9hU&bB~*"An]iKpl Ca;qCn#F׌+ۗ:pQh^+ԫO[ ٯl\~+O/@m=F=E01.4Vͦa5*C#KD'8; ߳"MՕinzUGnuzGo M4q<($y)7E&po>^Qև߽R!fwiԵ?*ƫ"m9G n@@MwYv̪S[{CHA"Rܧ&RhO$S$gpfU|pF&\/o}۾Dݳ Y=amemko wбjoYܨk1tV'ցm#Vm{߂@:ޱ MamQh[EL5GTF:$vGUH8n(YQW\FlҺ?;RXy[d`#)6WI yK4fB%/u9ח&)\ӕ!e{J^?oƊR<щ% z Q ,ǩb`wB -ŧ]*u^e1N~O`;MMf7z~B.ꉈ?`ƬiRi`1Z 2A6m?84^t T V=UE]4C%yYGEtg *|(]aD5LШoNaBHmǖ*'9N0~tڴ]2@s=' >o F15~:6|Vd^ ,ml<\>s)hV-T"!O>@;6o,/K &稏c#Y[Scb~q2~؏m5`7@Sn, bϑ?,KMWЯ5ޱ.vn/AHHsxQ\LnӦ^~D&6Z!u{͒ĵ'%=RM˷|UI]AibuN{_\:q^t5d5.XEjr"{q녗 5**v[iW uZ77эgf$u&d \kgDS/ӐHw}i,7BT]/OTɹQ[!y{2{ow&b򺾑~Pw5f-gq3L2~9bWW)id /;m>i S&HH}!_=$G4f/|A<).܈K]{+>ݲ,)ލ>wGZgwE3 !"WYXwf<.#֦2yտ>2G[i3^יW"oeGG\**SaŜmu1 <J#նD|8 rD E$bCZrzjn//*I*}}+QAeE${},Q&TR^  gF˓N# ZZW0N~i=v v+o%ku wsTUT}S9YWp@<ͨβ~:K8'\k׫B#=r2mhǦݘ>>;I g_X1 >u֥Sp5N}A`jg^Il.NTKuZD P??Q(kNo zr^5`C@m}j!L /N+;ԙz + sՀ98{=^YHE\w e'QQ|gHL}47c2pTFw>6˶ YkfC[򆤑) 9-#x MI,pKr+JS%HBRM[ک\͙(z7\*}@@>V1{%5;OFB# H/P|DVD{xCc~i|\7n92E1`ïNE 8[4w@5:4_h՝e: p'fRw & ֟FRLeqΒ[YdOcĭV-"L {v-cETNhFKPx̠`_vͳz5l,En~ܐʍbo4Wyi϶o9 Q@M꾹-2)KpůT'ɩuqa"}[}8i{= dQ D!laKhu5wՃ|UEKgoQ%s pWo@SSbzpAwͲ' X?BVJ 3R-Stv`oC&<)mݿ~XA14&Ns& :ov/,T'iW\xT@S+2לf[[ض7n9`7,ʺ͕ ݏ?#{*!ŗ~:ytaa3r1o5rрjkc!gzZg"L4GY`nmIw.>_o^eSSoFEaKv|*)=pұi[˨,c$mq K4M9 U}|s6]vE74]}>.\.A|wc #x+ _ vs m4d$=L%\/(@6 Ds|ql'i &+R eo13r^uCVl m9kQσ قЭ.x S ѧ1i3TsHTEm3?Ԉ:>',ͶOܷq 97Z J($2aG{;$=fW,pa5 \߁cPhA]Y!'Z#~mT.ʥA~ L$δ f;<1z0ߊ4G-o!-凕J V ҅XՎb[xs~ocG944|tǫς,&v#VYp[vbV :3EXppIt8z{R9@!⍩?Mn`$ qy^B-M-8=:<&ٓɈFCV2h؜h{Тۛym>0r[t7<} Z=?kIZk9j.chQqlSNν@R]Lqf7`Ql<)}Y X»3kP'`{R1aagؑm%5t ~8nz >X>׹++^FJBdzdg0tY+k#iu%4JĐdeoyN)LqϏibaWYdZC޺pc 7>{ѫ%n\{0%cRwmb,yBr1Q_@LrP0k?#En=?a&G[*Y6|U n;\g~a֌+3D3p3DںPC*H*4-u^$a'7#kVh%qy3v.I ˏגO o^KxG,m<ؓB =ÔH" :/ iOJ1GA{3M$# 8 _ Jd8"7hPSO zwWPZc Ů{3'#lėI`(9b" +sm~ Btz=*I4\LA "gL Uf5p##!Ӌ_o9J(&ax L >E]Iؒp줼6wJUs[BN(Ʈ8"9k&VptVzHqBqD :yg}Glt{RƗ)\!sWy#,4N@;'C2w71[hb6{FC^% ?A؊-Zh¯ZM|}V363*׌-.uav$ 1/n7Ifa +4Am l/>xcK ֶ{a*l1qO4΄Tj/aU}Md|(CElxbH5/:p6bVLVH (@q~11)!o?5Qu &wÔ#)l~fK!)VA* :zu!rফL%{JP+H]mO tnԂ͂>GIE:Rdm+_z qxa7Bƙ A.R>bp{5B^zQ=p3&+.N'kVz#vEZ1[KYꇏ e*/Y6'Y루U^/t;19ބz:vHonϏӉVL |o\i'J/$O | `fS^G|ݏ n|mMR1S6H+`j5- zk,#_(`S({SԀC?þYT,\p3OaH/79% {i'Ј,Ultx;wD_9dK@EyO4Ǡ2c<#?lS+4yzCv{W[$5g-eab:?u:?yU2ra1U/4}G'F /'BPUzl80L$Zm ݥLZlƞaTxx:D8ao6=Hֺ|=/YZ's~IEN5Y4>2:ELC.ɓqKp,OR,l.n\ַy4ь,|5IfWx:-׷M/QBmڂ=.JtV*_ d#ʆ"Hr~ȷ"ja*Σ M 2Lh|9κCTMyI#8킁xձV3 iC7zd^+S/z C 2I g9ol >KbN!*%MK~wǻ)AfSɝVs"zkڮ9V|Kr[X/;ٔl ۬8*p ?8G-)n<`AuI^qX`͉RTk@ݗ8_+tչ+8*r" ZHM9bM>ۖrSz5Ll ;`FN=ϖ lStv"/#7uLa\g7Emϱ`Ү !>"Gń_Ч4YVeȊw(6.W[k8;jif^S3}/sQDjDl FǏD!Sw+o#dt2ߺ&NT5?# Ubmc3"EE2&Q8kψ*}C-1jb{Gշ+!#W26T7yOHcanEnETu us6P=Ul2Pѐ`{ d%;΂+S9S7ݏ6߂~b80n$Lq}r[còi$'`5 S"2rjGTD=WK Ig 7pMHLL5M, \]G?AQDj ı\h/nG&8sY\J `uZ OQ {cZZtEוviwsr}VC[kP[~)(y&(mUdq qZǸ0#haw} 3puVA:xײZngB5j;*wlqЕS%j[- _՜z yv\MR!ZKWf FெB7#1lP`9@?:v!&2~5淌E-*qntJr1@ et\ Q|D2Y;Ở3Ć7^F%7Q8_~"DrXʾԦաO;ؓ3uVuoe^y'N.A~3sz>("o UEءnV9ƀ^ʉMXHFIUfS0CyJ90-JĿ ĩW W> c3ᙢ x̴ Z Zyu.2"ESF}:&:N0Oi";KD:Y_jbFLO؊}WÔa~W=I|ӌsbV8o2Vbws۰t-,W5s/Q2(tj` ,E2?v֊]j'fh~2@9e(y]Pҵk:|[ s-z=ړu{!m:Dz!>bhw-uaa'4f F|熓ڵ.r9ʗa*U[}^/|.+1B;hk(E_v& { m. 'lx{aHjz< +3^}΍AKG6Rm` N| `+ØYtN6g, `wk4QR-L}əG& 4'B4kBZ ZթSۓiPGB[kL53tlQHV9ʅ{(i]g*&y (b\ aY\ٛ־8&՗uv9N;]\GsMp2Vc՜R'x!IXZEpC)c^F?*a hѸˆ KDH lQC[ae&c]A>(ԶL0[Ґ&ǓVt ;Kϼ\iSݯX&,K qZ8^8fY)%JBBڞ!|-`L8Bl\D"yO^#>wa[ -ϰ glc{w}a 8~6y_eqn՟ 44T=Ka$߇ ;$ e\ޣ ~\\S ) TFڄ]؄`.ێ=I ߋ=ZanS@ˋ]4!CsګÍ/EBTcqo1ۃ}ιѧCU~fUrjIfn&Ar/6R^~:'Ѫub}E!k^ahRt˄|@sO^ L#U%*3Yg]+@yL/rtlBx0He!*,?'T&75C?x)Grwwa *Z.hǩ@At&4dIoʒpb31j[Ań#єŖ d9j|?'zǘpz[g% 8ax(C1En`5&U0kC/uڄ3 -S֊a/r9Qj: ͡&1'#mK#o~s6&}C j70o,\ѾoB*VvrP&n*Uh9œ\Q⵨>Ӷ =U(c^= "X\u 3<|<[ MN^'SD= ~cяoL|}#/,T@.ϖq9 ȟ3ĸ"=jV(VZf?|a+;n=6PylzXQb= 0%)6c勞EQx; v/Z޶>ʬ_0ϕ.|>]j`gvx;.tG\Ge,mW≌NISMˌ'/|'iMØ^JY#k%-MV8r%vi|h0iW /["KǴe[[.x5\Q;܈C  &Pu],>ow M~p4t=*7]<9UJSG y:7_Q8}qܚ@]{4ͭ-݀B S6:@K-!0쌋;F+/A\쩝%y+dëfDu@Mw9{ްV&N#*:O!A+-{7gH5ed^j9m;=-P6Ceo'w`w 8Ṷ4%GL ń>C7 lٛ%lA2;:Y֖sƵNaFהeގ}3eCUaRI=Ԑo uu4V"AZΞx,/N1+4>t|-Yޣ<z.PDUt{]TؑB)۝kSX-.=ɬ҅XIQ,+.6g3pt h7.E$ Nhׂլ1eK ~[dVI*dUD빖v8{2dgH7y'te孤k0 mpV@jM&ͼ(3Ef>TLC{e+}"&ZK(d^Q`:PEɴbǢgj'$hSe2m%aZߧ'4/'dg#Ib8fچVmBF+2 `:dZq[˴l l5R)3:KoI^/}ݏŔa @{=ڂp# ul;Jv&x*5 cFR)%NW\XPoy{e l+m9@.%$t;>b" /Vu˖o~a.>m`{ըI!1;d RpM:_?SB +i=gިr5#ǤT?Q֤RL1/oaek怋N0ӴeAc>Y}<0Nnj$!>T;H4%[4U8CtsIO2 g_G0MbV2^QZmH,MN 8c sqZYv+#<`ƣ(x2Z/F}ce\kN(z8;]|Y3֛~bi 905lV: `8KjtXKL<5⮢CZ|V2Lcqvf9 O!;Mm88A5a`.F:OHBySuSt)"b4;\)ʬb5%7-cMߺ2 P?PICK&/PgM?sҋ^6N+=s'QQ-ZJ6)AudhMzmnK>43 X +NXQđK7l2p{Hp859vcRۇ F׋31]vQt*lSw3412U@B9Njsrf$(2F1=pi,bFOsJOEգ35uu[ q @ϑm. / "8!.dz*%"^ƂE29xEqsM1'Z'jЙw8b=v{UVr dYQDZbI|vׅ^V ٬98ow}'^qѧ!ʁIs_d}: Gi#d3:Sp&v;y ^$e>aiL7*/(n [[%?~*>߆*4xEf Up&%йN5@@X2֍OM] %azT&eqn(.Y;rIZ&izIEUŊ]U? >D>!5P&Acӳ%V:nc(ƶL&LuP1k;D6M&$|gFW6^|AZ!zi^|95a6rL]/!.Ͼ _HZv{=0[߰2Ał1t?0>_m ?8gH]V0ᲩK2c|u,K  diK z)?n*}Bb@<˞tׄMk0kL 3} z4(c[Jh3yj[1 ' ;{HaxUQ[by{gydPWc^R̛xq_hqtaaEYR m N a$^z1D~bO `9)LeU/0:El6MsslJrv%Mj sw~ы^ڸ'4*`#C(@t.K\!:x Ԩ,WOg %Y()ySi w۽;|+>I)2Y-_Aj+ qĪ<04lc~"^ D 1kH& xd]gᆏ9/p>kLqc= i>\7(' KD LYs[=Lx4{UO?\o\> JlAEs䫴eyѳEg?&6wy/h{P:.}[ym0=ǜ%A>j~AI,3a]1TRNiln!5Q=_>{:=4r',pjЎ}૔p$DucJwN/W<` jtUA)=АDU C¥+UWp]Ne㬤R$>:Fa'g6y7 C,{$^鎵z;7T}F; zث2 Y50_ 1ml)rct_*a{ ]isJ|^z/Ŵܴ<)hk$PٜdEeM4K4E nD1`Z)lx#HL%SFFrYiibK/BV9I,])P7gYR|Oljmq4G0h7ݫz x)Y(`ւrVDN=eFg1õ^T%Y{ 7z-?q2Y A]RKCBe,bFz|]`$XlDǁpGc~`@q~6l/מ-!-Yh{<+죖-"oG3G!bٱNMة~_xQ^ͮ* j7Ta\+X9u$ez|"t[ (.?&M`Y|x+o#dɢViސ\ /Ed9h9;݁mjfMr2ײhI8mo7&%ɘKQ'c"VrtQ|y@NpLw7aYŇ2‹Gъ:Tlh8+ D! OO0=}2^gNR*#o9 &y7|q飐D/=u֙9BdžFglsT\, r~;LH:4j-n ё01ohZ4%Sqw :M3ߵl7"b8θ:Kc@j1LٙveqT N>4}]Z8. "SJLrVF癅gt2s `qA8gFRNN#z7"s܉1Mx|Ld)5'X)C]Gz5؉ ҭW?H\IH [Ąf(~UUi)f3Zc*F?$b^_1&tv^%˖h0 @ KᗜJt}$:B [Rt<pA&``=J 2R ⓷p*]n',QV(Q3Hz~}w6Qc.*եW ]} ,Z`xjuJ)GȡڼTdlg؋yX zkY-8B}X|0~ܩ^p~Qq޾8CSMEϦd6|iLT8zC~;0焬 NRKJ|3{~ lI]i<QSAFf}Up =I%K͘p7!EJd܂?ڋ :Q*Ђ(Px?avlFx ZĶn^HC͗ZPv!R91i}VC6q9n$) 7f zEhn~N[F7 ޺xd3XR;paZ7 Ɨf5͝L*|%%^%&>k\.6 2PY}hLEZ ]``eɽg ^lDsW$:66 BLX\|,W.@qzY^H.rыT@w4( {t9|Mӓ "jmP˳qhKz_[pg|Ƣ5T}%n[;([]p(̗eVDJ+Upo>j}wEb—sӒNg_T_rC@!-V+Iˊzx5|_,IdQ+.H\/lEt^*4U(5#siA( #O@n;nmU/k[qhg*ת"̏Ciy* biN"5Izx'2b8̈́5!>!.$i}$MjBFtsȠɨ`lY4n_R4tuq*֏^ 4x+,Ӵ* A=M)^K8ed'AʹڨVDH/z#׼>;ˁ^ ꅘy˜'sp#t?y 5x{_t _\>/e4NSѣ)HRM+,sMc7COXcIS}aM8S,JUbX]p 3$PWSы{ ҭ<'+e4ɵar3Nf Ev¢nrtr/9cSФ}0 i`L|N=WόD~V\96 c'ݯfv*K8qX/MruSR '7#\'_˻%A|rA&f'PWq!rx%<s+`4n2 s@1 \ OhQ@}G/\8߈{k&R%TAjǮyZE=jx1vW+g<@wIbQTN񢶹WJJ2KnIANTti [/_Uf lv[ Fʮ:0ah6@_gj<-%÷wٍso+b!l+k=J;x >0 b~f蚖-#D;ΠL9>&B\O#fmV?X ~|]̿}t`H^{a#%+ R~BƧ^[# >RϚC`] xV hgx2.`B i ,oJߍ!ԯ཯H2,]"t;xu+UʞÎ8ΈG#B|<3&Lfl , ](g(Ͼk&謻.LTW<){ЋyJ7rh,5{w 鵰 z}%':r1y7:$G wTpFZ7͂a Ci*]4G Q/: r}Sϫ 쒛I\t7ָ?JSWCCR8t ++~4|&j (#s9s';.Zwe27u:If诒4[Ÿ.i̥N HWX+b!!bnX E4qmfz w#ok.!ۚZE0<ոeD՟sIr0Ҥg- F^圑jpz{ժ eE8o/t٣ G]qQJ~o̴VC4墏:C p[8#OLձMW˷ T8ב`AmycאiȇU"\34)U}=YꋿF[+(AqE5כiBbږaSyћV,%8@ܐMw]8ͲnFWQ8 v ^o)Vk2$˞SucAR8%:wW+Y^ܻBJt˦.e,5MPpjav {yk"lBamt?ѹQ\|^ЎNc3KD+y\_^JL\)|b!duo]-TG=WHFB%7&\Odyc'cQ ^f<7 D$b|ѕ"v.} ~w3O"㗟mDi!0FL:"oĜ57ֆL2X~?-9./q-t$*\L5/][ B gm_1Bɴ2H\Y Y [keuPLVT{#VN;Ԡ{vCāDx7ZeY%H S)^R7G2 Go&'fìʏY?"tD2_7NC t0lܤ&q&uF󓛈)S٨ŌZE,Uf{zCGs(g&,јRT4{2\`r]!1s+,L,c:Zmи| XTaad̋ w zS$\L *r[4" ăݖEzwm[_Юoa+( BiHS a_16U> oiKR!A0ǯBo\[JJ'*G>}+!7pUҒ6`ޝ-'KpcK=̬g0WFuDH\(U n&&#am0}01f|1w֎M:ϱ1mΔ\d`,Hh"XoNHv! ҾXR2_7>lC!}Pv\H3|8h8[SZg~JD2ujee3 ȁ+sI¢fsm˖EXɭy+aĞ<#fںq,8G]&7?40oGUZGIBY(Ydm)VeXN3K(dusY|Mu!fė1K[j1="}{@kĖ<7㤚Cy2{_t}Q#P!5+(e c۫F\ra\YTyJQ=}jZ^QR;%;1i-IK҉b@SSZ)R=}fX@AyZωBop7.J`SJ{o֥E8 ޙDALNMBV -P;GC-NZv޷= %QXFO)3|95H"M\ʩdşWb;^z, mDgE|Si孝eqKS@bGU>>oycNv=,O`wwwYVCIu!0hƙ`\=)PK]5NN H\;s+8Kq cҁHe@20R :LDo>gZ8vk=? /~&)*i\lV-M Ќc/id!!0l rxXDVh^DgD]C7N+|Gˌ#ip1G-"5=Ǵ1DW U> E7.ϒuhE_.K698ZX-L"^.6;qA<#|$VdhJݕ 'Lw;AA?7ptp ԝf3xabk TҐiUmByWM "Un%0qRaeUkY;bqxufԌ4slA΁T+ySkC6Hز~aSJ7 l E|byWXee%I?]Lg _P!`<5)mua{$oHR{=DQ/ [sI!U֨T>]g} M#@2#"hX nFl"gpaHs4a4@iD$RZ3ow P?;'2 *""E 4$ :/(@S 1 < d[_O j-?^r{w@8XT&@,DW /T ]q//_u''@Ȏ 2n%*XGMcԢE 6=@ /s?g?0̔ i 9uG#IX8/5Li\:S% N2%xP qVf.Ȣ{vR"^>{xvO1`c/F=UzbRq+xI'k RTt߆ȕqmQ[,8p kR˾\Hv$a g?F{=d pOYe ހrtJ cj6_7}:XcYrKH>>g̔7]Ω,q>es:%H -_tqQpc|-1-y=-R2>$t^k+L h!` /'C뭸RvuQbKYn*3 =5I폰oD(b۹JӒ *ib `b0ngmws@1Y+^*aH\Wf?BVcl-Ǝ8>TmZ:4ҵ!08F!}m񮥷a(4Jؾk(3UlJgC 2ͅ9ӒQ|] Iȉ9$}(c``wە*GѲ\C l8;Rkާ7φ&iG} mr,!:SN&<6h/<m IJd 5_Kv0FCY_~֍!ew'eFV`\Lu ㎴+-TQ=%e>oתk{Ntz&C%g*v/ g;Wb`שR_PTы&KHTh65 7rA4e5x{/="5LzJxckECc{P@L\bUe:{(;'=y-]z\KfCt(V;/aS(#Tvj}x Bxa`9@hҧ͕̍ȯ/ ީVum}>vi!@y{5@ mD?b(<,狰g,|e]6N_ׇO,w{:wl-Xl%RZ:+UU"h7V#DxRlC! }`˱Tl {zfF~Hqѹ"\bQS[ yKR:!>a1qBqׇ>g=XwzwT38KRwW`xm;)K~%aW8ƅˬ;֚_"L/kߥ0\ׁ7:-Π8D;Q=LXƄdm(Ѿ*VB'3 R(㶆굅%6n4GT@פ'6DU^3=A //Rtd7{]4iguˈe*p8~{)Ɋ1w9Gѕn_{0ulCw>OIb`ѪO-(>dO*,^(dA|߷{e|ԩvB4Px[ 0^ $kɪ`1> 3&@[^[u<֒2d"Ir#SQi9,KJКpǁ%`Fe/F׮-@2[mSiJ ni$ Rjˡ=O,YFuA7gNS9"J"{?$Gw"f,bd=Y|=8D1'e譮k:h)-!fO0h?tF!6\J6m(2Ӕ cMb*Q&Բ_-4 {5 &] XaoD~>uƖ.Ç6K:A݇B&|d]JzӞޛLHs(P+Xog+W󨘧9nޥz!k٦NyJ'GOጇP N][jG;ѓ!w9 G'*5  3 J9HJ' 5`(oJ T7KiSsN}f~)!+UP#煌;5Rڿ}.cTLxPn$ęZ@CZ(R.E;L8=V6~p}h+=rUĖcpA} *j< 1 C[B)Ή[U8+=,mIo]?Xm ~qaѱd$`>ܦBQ,ֹ1 bH7 1M.,Z=.ICl(HQ*~sGk)܉J#FU}`bv>RJ"&/@y` |HAd:[hw~ҜGYgy5˽*C!pa* ˌo~hdc~y<7I/.ͮ}6ahh&Y%rAfHL7]_ Ԙ*r< ,OD-&ٙޮu jBs4Lt?W2 ?9N8A 4ITE2KMLPgxy_|x=J6Y\I-dz.{-% is/@{wHՎ x)UڃEH}UkǻFz nJ` xY9&vƫs"!Mmj0zS ;RV=4J"MZ67\IK52$rWޑ@5S4o^T0 *eXF`Uk+bG穰xE],G|;#K%JִY*clPHMשca-}&*k6rvC X@7ߞ,twTw{9s\Hd2c ȉ/YW}Y2i_MNg䧇24U?1[ @RP(Npn}H̷Le1ieS]T0lc}U OĒ:0O)$iEU02ZuAA+ݟS I,U){I LK[ Rz8 7z\#-)wC#`XV:P]5% nhPX CPa*J}M7 &S.U&@ 0#H_ʅ[TQZ]ήSX렔L2J#znNoLԶ]KñmR,}GIR$L,)3QϰO%so%g83e$lW wPU9j] Z~='oR(: z>.)n}F*A\ipג1 ?Ki;oZfD0-տLBonU;/'\Zߍ#! p"?>QeTep^qk[+O@~XX\rh!S~U{G tH^B`"r2$eWtvNom$!8l- r$A␦&֦3j<@ ᜰJ+c Fg[`eגA a.)lDs0p{o2E''y͉;M#W) Qtfeo(o> Z@8VTufd0l(Mꐼ$O-k=mz.U}*|X'cbOl<]$ <2>xcͩU,,ݨ{`ُmR ߋ{> t?C