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 <|\ uS]Slicing:threads=2elapsed=630.093cpu=1059.660gc=16.384factor=1.687zXZִF! *98]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/.uWأh#C21_/g{f\NbBY8FrRiC zxS@T=oH{9&JRCzcd ?2TnjI /$V;_xJwנfrrLXLS*Ў몣C ͑1Rg*tzgt4[|V?Jj|t +L8]ϟ4_/݃u|}GR,Yy˯4AZ P,j usoUhñ N   Slicing%(er>crܓ|Zs?\Dr1yE \(#V&G?+ݥHL9컨 'bW:Tu#2̷2D&6z#eGs$rLM1B٨!X=Zp"ӗ򺮢ӝNh$ $3Bظtgߑ:?"h._=4ӿ_xtI4f{;rfbM_{Y:;IZ DA KԎoY_j.6^B˴!) ;6?&Y:˺wbӋ)"Bēɵ/%5D>}wl65T:CC/ 3j~D9ʍQ37q |P^?,G[2"1F7|H`h{` 5=6 w(PnH.[+fJIYǖޞo=vdcɍ qT=:JypRE6gC^)%'cva QZxaoc!poaWFg1>% IOnep[ V>mtLj̛~o IHɼ刑/NJY ;[`#i%&}&Aؘ#a?B)6z<#|<_y0Z7'{-M*סr? cbDH!M"&NC*ۇF2.`R8k A_GѪ^ ֫Ԣ\o?9#CV :H_'.^gz*WWa\pk%툪I0#W e:߸}{[ϐOu̍]NہNmi*`4Ɇ#y`.Na!{PCJͻmv1Nƀ'ta!^ȴ~`WRAV4Gw<|8{ ͫjdT]pag.h%塆K-b2FDޚ?[*"v& g8LlN%*n, B/ 9̌oYi_Uɽ(zH ~dytN.$;Yտ}ىH^jB &6Q Nvt2(_BAʆREv$l9kSc7Zr4P#(`Y a o ѫG9 l䐋gDCEQhi[塹>rޢDxg `DO(ȩyȌġvwXv~{E:0ER?:#L>,И5i\>^]2mO&zR<0=sR+9L5MFR TYk>mqgXn^K>54hfz+'[hUKû#n;XZV7iٶ0̴m#xqρ IU&@2-)Z+I"k\Y/6QLmy1-:|!Mdl:o@%۷x*8nL#ɿuf}=Lh<- K󀰲V0:]䴲szlI0q:oakoCLW~0&'F;K Yz%zu!Mmqx#xĝEO:* +v$.22&fNI`#84q/yI [>ʅʊ/}vQk?Ӽ}w)M j$J#"B+kyEt4OZ,vh%S YTd&OZ帠D#m FiD+FX W@jpPf{#|jǡNyP'i+T MD53*D%W vRx(MyqԗMF=mh@Y?npIf³QP+<w)Ƴ oGѳ7u}9nSbΝ?6b"l#bַeWL# n$9 '=VW̚ja?Z=9 ]W ٨@O3K4!WPO6&M*.N]#>kb P.N6w}lN˰p E<.Be!%0'n˙.̂/W'(COX<&GzüMBx]hJF-#]M&_,2RBDٽ}v°'/[>DZ\;.QK#zlj}I2P6'qve8c[F*4WxswD22]VZ*BŁa('6¹RYVon^(1s"p8@fiP8gI$4#6,_ xnEOEcuq.?S!u~H՟Xm[ѶwSd=\] H_#\~ft7WTM6nq (}_Wɸ˙0ȼ3XμiNDI?KMī=m;'l+*mXulWnk]zuڲZch_חoL5n ]bՇ2L ꎙBab,Zټ9X i K(Рl2%aLyUl?B<6 .,"gv%)CrjEX!0Nq"A.;Ȯ8]k ho6Tl QY@)m69Vz=$]zʈE8V EޫW;HF*׊ڒ29,][JoAIЮ |t!1UJ|h\{t,Iaoc<R\(XnLb]'wAvTDQߞʤ{)n?i2%ϜbBP? d'zD1g]MKuNFВYEMD:KJ1a.Ӻ$Mr -2z3L*. X0wǍh*UTg&UuA B'k!>}1MfР*ͮ|'jjE@R^۸fWsSی~bQrP[L(}dnyL 2D~@̀K(Ld)nzو'>bfN=wcIAI;[ggSj)pLB71L,Zbvr%hxSMցhc HŢOOq ˽\M.Nj;4< AǖnPJ?zqRҿZԡDvסKܚ3]n ɏ:MoZ02d`}# oBQ(ȵ{޷䵲&`Qt+f@q)Ω;aAA=LM)S ㈊Rh?U,93U k o=O2E#%2ߤa)`|TlJBnցV?(앸){Qf=>yB0 0[W 4d4!ǍqKuwfͮOc{jH+Zj_9Hxt4"l28< ݅(Q )2BoM+f}@g$'+v HW)UkY[1Uf}ʩE5>CLI ]UwQWQbzULwv{3MMɾUHfs+cDaxU=[޳RjsoFv1U*Y"G{u; ?pBIB;BaVtJǷa\l}2Rau>!s u.q2u_7s.ٌM$ 0ayv +wNJߝH3Θ06!9{Xa䓩$C, }bт$_fe;/"bm+E?CTav+Zr>H{*&SiDQPt+=;?9 ,/EўLnt;|)/D.=S4!@JqkŐE%4ׁdսE6i0:kCnKI@7rFxw5{bm|ےn&@2ڥՓSAAA \4BFJ"#? cBBXnmH+z# 1|*Ǐ%JN{|Z8~T7Q$,? wK>.dJ:уfN_󱿎Ģ0G6/Ed$*VB&~ paApQF:!Wܩ2ꬍ1t?,0YU[8zƈ] ~p+%&f׮*˦6g]ENJ{AoPi;BKĬ.YI}%Ŵ[/Z \YY&BʾqmJ@:PwXyKz ڂBxN>}:d\p%3.5Z-47~ Ig29$L̸mn"-ĉ)"{ {(vF?$Kfz:hE:WS Tu6"%L?izp4K6B_?n{#ڽGg Ur%pmw>N[hc Rb۱`ğ7 wvkcoIznW)S!\M+?O 2 6Bf%qm9X`t_k`gG~*oT?#\!p Iio137F`[lgt5FX*r@v0!Wm& {Y-/p?ϗ`T"}xdg64\-!0tsXs[iTѵ+#՟XkT&ORZD"{$ih0dCYTD#!1P]^NCt؞U/'ar- o2/o37k&%ڤ'mj!#60aw9u|~[? RjL=3t2 D gd< VbSbY3F]e`ڴ!+%QbIJ4 Ɣ6C S5h#AKLdAu5lYlh]Ak*Z֔ w/r+k}hB,^R|ڛqNy=o*뜻X@ذ~#8EBgE׬x8_+1DKK*Bm;|D! _/S-x'H;ÂVA'cǽ=wyk/f%䲖9^hzy|H%=ZY$v7b,Mz=]zcj%;8 ޤ=[6٥oKOxTZodNr{hE TeqD|gԯ?6W 6x0B9Ц)OQ5U@BP>&6RzO("4,7 Ǫ5Q(F54'赮 /YD@Fʼ% !/j;`$TDžz.z{.m֡L ~;]"pq~q<{tCD DZ!ȢoHe>1.S~ДDj8s>A 7ZA+qB6葭r#)R% utH94AT9{+ԔY@8m ]x;hR4lAV{{v]$tx|z+* SZV&qQ!_݉{`Kv"V'Jd@~BfìgϨvr:Ē!f>=9> tlP tY]D]bf#r{mW*ca' SJݷj^a)u-ou;缉`Bo5r73 "L+Iܗsy5&ےK =igVQ{faدNl F5E3-? (XBԫrT Ųk&M1'҃ũOHLBm6~3[ʯp'@,%nh֍쫸,q.݃ ;oz٭tc6( >Νz>"܄G$cGsFka_[{ Idqx,EH[G,2k4_$&) q6MM9cV᫟8uAФ& !H̨Xe;b\p:#tN?0nb)ͺhi ǔ3Vk]muA^NG9bCSAM'O)lۡk?ns\Jܒ HdwM\[Nl%&gdBO`ֵ@.hKcdvM<v;a0lԿpONSG)Mxl#?@a򻌉k#a0՗\Rj* fk(x*ڼ(/"R6jDt+Kd699O4}T&iѶY`r&-O|NNr6MS4P'OY,As[l-.W'k8`73#x8pGā /z]P1 '5_Qh'@a̸OIQL7vH5Y; |Y|;KlϹU"s -op?|:rnG@1 |KE7p/ݽt. 77R&FuozCTYؙ` su AA\]{yj yh'vƖf]8.:kxOw('}J Y*Ѩ?o #X+̰s!<9+9lrT欼{ft' H֧ !4J4l> eQtU VvY,>q@)Dz[z͵Q;D;7lB4fmoL;w$p`f.gXXYFcxLOEUR~ =*̺T)vo:Q:gn Y") 2bȇJ(!ІԴUPs)# j6.E"^ubm!% y[RuwdDa mMyaK=哏<%CȾ,KoC#1׶+LcjD^ 06~,Zػ% #e2..:@$[m:UŴG ]U66 S#d:FEV-XC$DSI<,En@`*߽~+סC%l&Ҽ{ .٥P^DOGcEZ3 X6 5:[%0!e}KL2=Si&s ?lenyu&gvq5i4WjFЪ@Su1 ,9gT:C)E ٳfE;EwILp>KMj@=^B]ȿq%L`3NMjcټCf }@Eg]bVn⼺7cs?<|^2/)7r9N;d'Pp1dף;%%)o:)ԒpeDH Խ5=$Ӽ q6 7z%=+fQJQjY39#$&jL5\wR&Zv "O|ڔMS2F!w2o]AYzp6'S4[X볍 n3pT䏎pVH9Y1҃/qg6[%=~*844E; F()[-x1wd­(h1ճQ|2E2PV f⿻,YJIO64{VZR%tdrfU/v/ ř9H{NQT~cBYoXB!VR1s I/P(E.F%'5{B"y3&\g)?=w@fAgi+- [[rt0پ`rDptH<G2jjmCڐ{Q_@x3q *X1]|Nx(8"i 'Q:VלTsJ('S 3 Ц?l=~5|hUPƲk ӣ.{\+ʺ$Oꋴ.;>Z@|14>Z sz&Z[qmwzó @H֋z@Aov@(􂱆6ojE|$V8b)/{4Ʈ ?PW7dRz$zN®iDT/w4a5fNF-,T(}9cVN]fp?X/^g<  a\{yvi8…&_I\ =F\!L/lZ Z:m p$k}A oШ&`kz=}CMLffXZa [_WFV!,"_2qoҡ_q>hat򕼗Kx&Cmb@5c1|ƨtURŊs}S%MA 3-%c{əT;LSz4T * *Z|)+4OQ*'3^bdc~^p}MJq~+ xg ZI&ѲgAJڧ. ?'AgWN v #ip's>`ϵvc,2Cp֗0Ym"ozԷ$xa j\UjS )DדTjQ_فӥY-hpu4YDma  +L4HIL H2_w`OUK4˛0pYaEOv*t}na'&D`qܓ[:ޝlKz->QjSdJaEz ( s{-V : Sl}$ rzfN ڴhސF/<O`l}sЧc9g6-B~&oO7aȀ&%xchM-(&2 9Z(L xqqBS''څgS,GvoodbI_U1Vt%GʄÒ:8(g "2 ^-Ts0XSJҠ.@sd5>  TLQ:v<úPKnDߙ*7AJQ `M`@lY;V*e0؅J|4%Ry˿ZTY"dBgsLK޹r GԱgYZ7zXZִF! o]ŗXi% * *vv_ /Eqt[u̵@߮uBZT\OEƤzoڴ\r˃fn&Lj< }(52EF(qH2\jCg .ƳpR['B<OA8o\!pc(D@}x⬔ ԙseTϾ;S9 4dQp.9[>8))?;8tB[Pg *_xX/VV ͉ ,RbEhLLeN7jtƞ ݳjr=)7sapkW6;s841܁gϦTAt5M,ɈU"\@X0nٸٵV 0a'gcX}]-% 8ALV=3W3{h-?YldF_m`II"%Zʟ>FCw=I F܋aDV=J?*O€:Lf_uTx |~Ej<:K \|!4c.*% T9:b{Fnl彩Wg`j7%37D\\О'0Kmp?΄3Zmc96d5ѯ6WM\RNquGE&RnHE-s*͵?hMí-rbenԸ2-?k'y< eT˅b [LQ [qe& ~?/R ;c!i7j߼;829dԽ)&)89zL?ZzM`Gd/"Yv ZΐGC*\fS@I9M7'sܵ7P#@ cmZyCA ms_pW۸cX6_ByLDД^J6ީ#YGgW]q0,y6PČѰPV" \5~I Gs'"%AmU3yLN Wj MD;vK_v/h,ٔ9nA4ȒgȬܒ7Ӣ%%]AN|W|oA?ªpw>¼~7/#:zu{ K+K(&.sfyA y"=63H=[E4)\d|ǪBB6U%t`ἱ]y L4ۑy3`uzvw?&%{M!'X}s2YHG , $EI\$ڤrzTPJ|1qY\>B M :jD}6$X&Qe@B 1Kpu=oߚm`佋іϖܷXRRsPyRH/AI^;zJj [YFQkz~HMWtIKSd j@3X_ VŶ'?b؀cOq@|_Y1QT\pNno'{qE ۠[-//ٖWahk !ttw:MSֺ~THbԔj}@Z.9tM#5A_Љt4$3#z$R fDo&EU0=y 3P |VS锪^o͏]|R'l; 7p Lpvq*a@׻LЖ ?訃5H/!UʶD_a`V 7ڣ(ޫ ς0*g$[8:!B8cb3:òTO67f[^JjqRS8hG h5jfo?, 9]!-MH+4SM\/CI4\lcoO^MuC=i>dPHꗋ7\u @.!-$_bΪ[@rYQL4b@=JG[ܤ0QbR0WBk񒒫/X&lR{kk a OsRo~7ڻJ/bO31RYLhwC0tm 8 HObPd `*ɝx:Wu`{p3mʴ|1 O<ߍ *ˠO /ᨻ dX3lFjRC%YVg|hlǠ6ݢҖLcd ]H߅5㷕oV? '3#Ȭ4f&=H r~1k_>k]d{ܓ&-վ&N:!Wcya[a@w4ԟXS%YwqSNB(L ydq)Yc`z>NmY.H#>5* |$PW,͍KPr:1ѺA)ɒQOr-mWzVXGɧp]=.$O/VsL4VbtD[-{q\("Y9U#騞/pr^gC$hߪ8R.f'GHxg75Ykp&cw'+Y jZ1:ۊ e+%G;w`!f둉圌(n2Ut;c~!bH d% TqFӀfA(HgpuCb ԨI)[@2 PXֈ}#ԲHT iǹغ_vEEث0ňZ'?}\ۮ/26gM o`!j|p(g {vl}M8/Bs_[sD~SP욁ڨ~Kۆw#3[3``#@ZiY!r{{o?'ߓ ~ȭ,BFJ8s|%_acgw |짪 ,e=e>?,RQUD~UUI(*_WBۿDpw}9 cq1V " lp;~(";* zVT6.v#lxdPMU[XE+γ&#p7cm{Y5oՙ&9˼=jw Q9*B@Zr|7AWkEӛC'с#n#1/7f:3: FۧCwB1BX0ׁ}yw<<$ӧ+ÿ TLG4MsHz2Amڝq~X>е粔wUS{mxTyd9`ѷ-Jd*mʦք=A"eh@ˬR?;9lS`|DQ/&o%.S~muj-KzKAj,) ꤿ')~m`31._b.|ͦ1 uE :D hIB{TqҪ:d$ws nWS+^ܧ)EP @]Ck)ݛeiDo1uIr06^,~x!L+XY 纘3ki)<3#-?ge&/mh⺝7pIS 97~Uxq"= 8W0MvtMDOD,q^DP_t[הF:\^E]ͺwhnpMUfVOtq}&"4uGt-! )27kZLIRUe_r*WX:eBsx#H JCksl4󿭚;wo :$v: OiklTIwTXXZΔ$ՠVV M9VL#NZqLt3製f R\x8#eRќ(E[ԊtmkqDgB b̬ӅG+jW)&6Z g=#hJKS7ݚuzvS gaלPҼi-Ş2ɶaäQnQvEf"|Vw!~4S͌jo-B68tQҡ@&+$ Դ&Šv;F&@` (ꀿ')0nl =O ׿mc/ͪI>"/eyN=׋{8e5-F/|NEF\\ѕ 0E3ΔRvjخǦWǠ^ʗ12x!\ΐ/SpxY39sR!gmuhN ZSg3M'|` $*qh_Xkq~lxypsLGEYnx&bRb!\;CT֐G+Afzvӥ] Y7Ц#/mK+RW /}De tO7 ~\98{b|?^p E-POS'aeWEpTy :8h:p= ]BJ|vgJD RYgtLڜegxgbሁٴ 0q§ ue˲$K]qYx6l/9a-BWqя<^> U,Usڎ6/R }IJl6@&iM*>o1EDK"SRXklq %jS+#ÙnLz7 1yge{+ayNc8qK"&#Yn̸eV;qC0%,Ղ%'&Mfe}"`*.ҏ`d.(ۜv >m{`A_ d^>tqq(ˆ[dY~E A6[]_O 3~ ޟVR\,7sVY&ޣ _VϲU[UB_Y-~e1q\S]yp36ţKR  :e$Im/ZԩJ<!lp uֱtܽ]25 B˾YWeF&]~D^b`[,/͇ctH.uL ;ǏᾹZ+pTV1yN85{GZծeD6evBEm.`wc}w^dSڅk$s^N*OYu%Qɏ3$ᕹ#j Ty. "a,:6E x_}p6D4z0g%DdXsi(̗lMy܂v7OoJd;V R9jVCҞ(G^nP޵ŵp25I]w c69( 25r >^GEh@X ;fȘue!^(ZS%Zf/Sy* z?=E}Fs-a NXzUf`R̳lqIwnz1/cټ n0jz-^RښL=u2Hg[HRl|W@/߭-۶"Y)qSfG*TK¹(VGv%xy:<״zLq)z'R-?\:}UgWR-+> S_@h8gEx]bS2ty]mJf[p??#[t?E = %h5֛TIҬooOP"J@4ayfpu9TFb#0]yB(~/sU,Cțhߝ5oP-0;o`B̋gy,d2[P\5=WBE%⥞8?EεyVWtnUT5TX޸nawf>0YPu0J'@\&#+"+߁ 2AGq6YN;;˽0k<5cϟoIZsf-wC'Ǵgo?%'E'Sނ) 3趀`ã: јYݢ}!}؂ Q%Jy2na nu8IIOXN%{W&#h6`7u_u~ImW-jc)yN>֋FMR6EtSPNN#X5db\j8t5-$F틛*QJ";۾B6X[ $Y{ `) i D+DLT'I>'- ghKq3M4}ă6L\LMlA+MY6Ct:JBq6@e;:'5Ce}]e"VĜV|*gֈ<z&/itݷ=>i4኶ʮ$.?dTס1n{4AUZ+VszLF?֡;SR]8*Q=z]56~ hi@iE)$:ҧakDቷ=N9|YiDN{$n4UP{~!?`ٶwޓ05kՄӬ6^fB|T`d8$Xzd ̆ㄴ).n˔(Nlzbw7ؑ ڍr .(N7UibΒu.Q82xbO(ݶ'`5߸VB%"EC^U}=ϙfr\HG)UhHAߚaQVØb` {V?Q0?=yd$RB%p:Ծ.՚юu KD8mN$ =C^xa]+ `c S_ 6@(4!z'2񲰠:ջ6BG[Da*ϸ>8mWT E Rkedh95ZJiWN"G+^գU䮦eÝ\DX@Q18a|Q`Hi>09!iWTXa)ѩy:`> CCP ; k|;XÏuФB)(nQ ݝ: l԰{a.DNƔ)XYB=:mkPi1 /Ь~wՎc6(;# gb/Bk5/c)G<6j*q.JohNV\EV֨NI*-}+:=ҔR}AL<@ZqC@Vydߊji-i ̀oٵq;>''c;ǖ⩋}$<"wd/^s9XA-wε &Hs α0/i`NpEXߴOJj7`vՏ20~c}.4~^6KECLo#5c7(q*h8: *Yߺi L:eqiJ(d] 0/@kࡒQp{|EeZiB~p45n`_>ꔝK3*b&"t8#07( pN[ӌ_^#S:mEWL%aO4cQQcg =A *l+@K&a,4ª(/(i)AIcuPڹ8jcL:,.Xl ͦ 3kdҥ] :F3"͖LTV=+^@="61cMI!,]z0EC&E"!$";z5Xk" HIG4Ē$t G_{Aqc7hwM GCeA5.a~61~`DW:u 4JNx&bxn^rVRnKA@o iD*үJ8 GiG, t0!C&-S@յdה5d۾r(ž89h]9åBɬ49#%Ujp|ЁDXXe8W$:,ÕJ %0goY5DS c+N6n UDsFZh8ƕO|Wrr 9ïDԚq wIU~^6L*(C7wsBIbZ zO=`ijv >0* خ؞g4y6nV|ˆ&Q@jBIz.anv1n')bzT{pF U9FT 5"025FAvw1s^pprMm:kk*=]1;1r*ilݕp<)xEN6ɷ+F=5*,=U3Pl,!C"ֽ@1ca.V,۴%]2Z eAXFvPz\PrBNe@pM/qg0˻# F<uZnCFEv"^4l"LHBq'$~j LNl $@M&wF-gQ$w ŏ­v<:/b?{lcS팃#u!aV4nK GΤ8CVqةqf|"\WE@/ee%=O;2Z<M{YdV'Hb[YEgNO_)XS͹-j[VMFﷄDcgcF9K%lR}`* ;~\NYIhUJBVQsJޛss&@Ajdџ<;V6:[s5֨G; ?jYƯvz\n"ߛ1K%(RC Zb{{j؄5Wyp06w(F O@G1gKL )cX0;U]8г9Z%;asz /O#JK^{ qgWƣ0^(jٓU%1Co%HptAL3ܞ&H.;W]?5k8@/ A.k`mlVǛN;~Y98Ҙ$]wj%5-- yv31!woa|:ǃ9 kkڎrRn]do{GL8eubUN  {I%*$/7aGEqeErp 3F ƴ|ѿiz6O7eP:\ d&l\VݮoZԚsH#{ hSR/\iAPNaUjl2R٢]h?RYgV_5ـ`J6}HZS{@sDl_! 1Jr)]Bq)N낻m{ b --͚ Kz# D ."-ETBq٘S"\tD>wMģ7R6Q0>2!սEdp DGRu}?@>T.&mOAX@K S?"$O\bq:5@{E/g9;[SB˓18Q}55s DNb{<$XF`WDV1KQ-aHl}"d`Jp)z.uSk},ɁN !2sk&Z @|J 7d]4*S=)/ yk_3`krf.;*Ǽ֝ѴO +Qu*距:d[XDծKh9R5>(iΥ?_ˬWY8pu t҅>Bħ\׭c-K;I ڑ'wS9UIp2N+&!ؐAo$ҋ0,6N# zgю(z0}^y"/C .%OEzDg(&#cFcLrb@W`#6 o򬙳=, SJژ?_\.\)0Ūf5p]6d슊%%ĵH4 䞇|$Gؐ=-?ם=iMqA{4rpJb:mTΓ>MAcUt>IVp`nj}L\2_U|pBMEkM{y qZ#!rR`Ut)C ŸUǬ[Db0SvJq<&7K4iּVqcL4ZmZ+V6֕~BDM$)2 ToU)  hmٟf'l F` džĝ@H*UAFrGd&V$ps:N<|0:P$",n*/?P=wː']{{&4 ra T>C9?"11xE %~Vc{tߑ҅XQ0@\w~V+T&5 ҮU`Xw^>0?ƽtd 8E[5!x6΋UZ2"jZӏGc>PÞ d ;$4m1}=]1߄/>C Fx^֥֟ f([cMk fY~mS~|[QhX92e0 f"d# J M/$ N9G9(hLlzBT.@h͆SnYRB ZVÝ%w yR,o] y ' 2;nX[>?L6$y^nc~+E{Zvti`qBO5j,v^Ktx"!Z%vHub3Cd(Ì{ 6fA~Jsz$s}()I0=SIl"#oH ҅<|*vjv6ʪ8?b V=yZXb%Hn-WU >rkGW h鯒Bn~[/%p[|zLl]'_ɥZ%t:Ÿ+Buzi8y(=Fw.|Px{5zj@]+A5 h;Y+qGlZ  D=TI|## ፂ-us"$b+t?daY/8E_+p_s!_NK GA,0mJ>9?m2LrWH<{ImQxly.%rMYyqՂ퐪_s0Ihk5|U\Bk; NKr 吻k@y-H2+= E0:u ~eg4I8z+Oj<TX ;>L 0 4mʸ&jP9ߺ&Ӳ0mFIb}rnA&4r:tsn㿓*I|u#h cP3| C 4=Dmo&N2䆮z~^Y#S0Nw9:PyT\_0i~E_MC'*؂@xK+7o߿K=*0s}rN_;L3F_㱩*!i(+]C-c^f9,{\$s.(ư*dω$x7Nk:-0j , 0Ad@L4 &J;%k7U:Z <*5=: {toV}9!Ո\hxVh n[)+\V!H_T߻n/+!xBl$W}o{5 ޖשLyt_NF|zĺ3Y|W(6"U(tn!ogaRRy$7+^Pu= urb&-""<("ωV gKcӦ,E3"BpUoԺL6EB{6Kc>_,UeeFw>}=mTTZy8"2. Bde=.e:oJm~+^Y5 h~UkB0 <8~4E*r08M5=?*ukQ3 ְ bI< JÅrqG_Q$̚Rd3뱗*wQinF`՗nZ#N|[2ҹy}<PR*Mt/vXGsV[)a FCzMApUl$P(0ʨuپ:2Ks"RhZM?9N_q$S8DiDd=.#zԠk x } jqum `ǍF(!Rlv4LL 9>:F0j1jہjn7OQ(.Rh\KҍDT?>#e遚a/<9%A&:omX4N+8sSI_65,dvO }-n|4"Dچ-^z>Z f+G T-n sӑv̼1 X~PټUq d]/vkmo:PX@TE5b`]^] YJBC%EYflE)ʔZA@qT7P`;GE;\P慑7Eu@gʢL`mnsa{>h{7?'WLL@HX84(%PLۙ/]Dx.BX`GiP- HnzP{R0?BkUH0.I{7`-ޔ#XY2La/.!zpRvJgk $%ӣ8~6'xľ@J.dMJq%oFqvѱ@0o, %6{ۀt>})AD<-#⟺<~JVL|ZgwZ+H #^`^\*7=~@}]is'E$g*LbL_9\-Ro# /}6YFE2!2&9__0V555dR9f}ӨWÕu#Є-vyfʉ0zLwC09fYհ}c28@ߩQ*1']n\vq>ݨ6'aXZb{H7:LDZ@[=*]j ^Ш`%}8eCյ4Păl(i-m߿qAL[8Nj17<7~Qp6!>~<>Y ~ƹH,l (QD@Mztk*z R=t,IoF1`vHbݫL!!򩪴̽|<<(ʻop "ג"^&L <QOpS&J>2?#6 |RsSŘXt瀿cҿj@jM'&2}w@Yl _Gɑ}l~>e'!_sО#ܡRm`to w{  Ux=ٸL|&wmQ0go5~'w7e_BGIN3Q,ݎ&o 'hxή-/vMŠ5-w|-Z/]niH*)p<xZfN'v>+֞ftFdztudiAThYI[ܣҏō`3t2|=+:TuÝ;=v4[mvI$"I#/!K]D,Qg>G 䕼#`qFrPzDi9q^1  O i}H=5rϰZwOڄs0Bg%ر3Diyjj|yV/I+SJGC߇|݊(@"ɨmXcc m%UYap'-~D~YT&mYJt"I⪀"ּm-bIbBs~kWJBƽv&sINgq8ѓj!\hJRhOT{%:`>m!F-DW#~v796ai->^$Y F!s AAcyQ- >;x5/Dê 槜#nQ旈>xX@ Acbrpkݎ' ],VBw&PX]Ђn{Z?ZC wS98-ǔInIEϕhЗ#tGpnuPzx`5o扝%pq _ XZE!MQ,ß)AnǢ9R!Ƅ +8ch_9;ƪ~бR3Zp`ͪsF>!f(9P ]51EySk&N>gjd /?lo"VNa[*:?߄7Ho4띍baTt.?a1NzW}ٛzł% >ѕJMYv+h'=E[pQ%}d"d|\-"\Ώ!/-,ll?-Ph,DA1K )dso톥I5{qzN~aH\p\b5WL62P?hqΓ>l~Ihw;@ݶv*t5[՟*'Ipִ #+h!q\يֲZ+T2W ;x Os7r8t;J ;{UMYIF g~xڐ=Ԓs۠}Pg|!}Z'K BS@R'c`wz(32{_ZDtϊoA2|og&ܠv2x|o[a0 zTd[tCKImĶi֨IS;E>-v{/ ϣyBzf!I׈=FWDʉ|ѩ ؼ)xh _*mNV&FNo)3 FȽ>sj"|2PXKQ {fm5}vYb27 sKO,D/̡cLf5 Is=Kz+X y6p(E I(Rخ̧VV9Ҕ79_Fx9lJ14hᾥj{R*V?ߑ[cղ/B W5YB΂<&mD; KSmcISZ}zm8`iەJHSo{ {k$ˏ(1i"]x2u 'F|!Bf/tyrC @/꣄hl*.FJ߷=񺷘7R_#8^DB3>] >y7Lyr7bJKj|7inR9q}W$"տh/s)PPpt;B S)˃K}DDF]VB+(?46a>+_?{sї/~n|L4/?m*JAŝ29SsPp:~0rt?2v5Yd#z5-f zߚ/_}ix5HrcS/dl ;_q3ܾA[0TW'0 x'U:gq SPb"^Pe$ .z*;MP#'!40ד_;w7*6E1̂q8+]iAFhm:I:H$~<&/3;+#"H Riz<¶R 4 DJk^"9PyƧ=l %4]6<: n=ݴV9H4=a/Y9cK"L>Z5\ȷ~۹A`M`*`R!+؞ '%2Ugvd<z@~uuAOG1sA , \vܜ0\84myLIMy'wNg+:;+W!/@jf}DCe`s]4#‡~*M6C>m3={M]o9Dq0@Xs|sa{aCcuL6BDw>,ObB25+h2 $3Cj]*_'?]m~֏i𚤆RZZ.0*3Z݇DFZYυ|$¯[Ѳg$@VG=||DeHJbEֵ`qX}ua2AdYbqo] < l[6tʢu.P%[sA]AI;x:f|4q l;*MC[N{6/[yz?ךx ++2[1GK.}^la| 6H[,Y—ƋB~?wRS <v(lFfm*W\JNt0fg5?ހh,*Sd$@5f@.ch4@ǻϩ.e.q%AȣqY; e%`/5"^޲F'G?VqZM]ޝUy"gagpX2+pba2'Nbɨ>dv$et[;MCt*:]?[O8 dpuwmUznwA@de0Mwr6ʩ@Ws ?$)ģ$Nd?tI:W#ɝ9Hl.l1YҐ@P%㾬Y[jG8fUiS=P$xJdƑ'u-3سF&Yy@"5eM~?w͈46eFLг^(\}u: cLHv,PT9#:c6G =C3_yG\Q.NtÖ GDN eU@VJ֒ 5-iEDZ. 6dL#t'av@w,<ڎH@]ho$:Ew^K\||*՘=CDӁKwsx&)=ԓDQ{EL>ũǼZAtzm oj+BEDdCuŖµ+e!E&~&<aY#53oBn F %yoK^6nLMh}mabpM̓!4Z5W,Y(GfZauYqYW\xW"8hU̴BgDZ߳ЁIC%U&ni$/LG'iaH-ק|eB"u_ pt{-cы@`S;ėCu[#({qӀDZEf#j8=XI.C$Nc^A#78wj!rvd }"LJ9M7rw%-jMAQ% e0M:rhhd3 ecO8@Vs`kV*3A^d ]x ?Aź+PԪfEOwv@i5t}ޗ$ ѭY{34 ]cR,7R.8^{CCZ~&AӼ&z=4iE1-H> aM&tj H#'rL@E⢼uʑiEuS]s)@gNBRo;jߵS /mv̠lkH* )6 2"CEGiq22۬gl!җe5o7px1 H ":.P|čMĬ5]²o5~MdNP"6$^KlW%|vnlX7 :>uPX]o!X)e (,MEKJa 9dd"(O% Br243mɃ0E.OHx-`$l)2ѦHLii,p *+WI5VPLZ1V>;pM2 cO(ArKdbƬFR;Ht@pܟvPUJ s)[R.g f: VGvo?BuHZq NdlczrFYV"$> jsp3BuOv? 1Q QԖ*5jת =I-=va.2ݔWVj[@s.bڱgYZ019ba91e53f6e3aa5c41cbd26c7ed2aecad3951b 0271c312c521be4e7e246b14fb2f615afec2e650 0541b5559a089d3237d7b9f900f581530bbed23c 0d7b9687567081fa309a01ed277eff22bb9057a8 0dc3aa164c57aa09b9c88ffc0e8fcc2c690f20f3 194f201eff447c986a020e6d144b709875c3e755 1b82e829f446fba63a3fca6a2a7a703ffc348ff2 1e3e6c7f1d4da7b43f3349346e1c66a9f8421065 211bba7cb8c935236ec0e345fedf6d6819f44187 2728ffa8194fe9afab344d37ec9f610877a31680 29a2697588b95f2bd64dc34acfb8619173ebe02f 365c8caabc302fed3ff9ee8febcbe644f4374d8d 389a3710aad0802ffe000804ccef85c27e7fda58 3fb8967b43639d4ceecad41f67bb3acc82980ad7 440878ca6799b6d283fd8db3f2f099f7dc240405 479706d7608e6fd92a5457f0c8901cd1d5132bb1 4868c60cc9a38c6dd54c906b398ba6f506508e35 48a0c17be2460248567820d08bac964fe2ea0bdb 4923965c750e810722b90045bc20f7498fdc5d8d 4b913409a9844cf9411f8181b2557fc300895ee3 4c9503414b3f62a492bc79aa9dca9244191e6269 4e8ceaa35e3e959e7944bf93dc054bde4f6f20c1 59c83a30c81aa961bf42e9dfc060fcb09877a25c 6c9b22d450ab29d38ca0844bdb4a891d6134fcb2 6db22d254d56e7ab15ee44174df258d65e016882 7ebd8c939b6ef34a72bee209000472f8a3d014cf 83c65e1fbba8db83a87c088079dc69849ec9d821 8d50cda3d9b7107bd63092e12948f91afb5bc5f3 995f8eab5d3e36b2e4af870bad76f96f9cdc494e 9ea6cbdf40547a8e4c1aa74603bd4e67b5136570 a13771694d398fbbc62f42a515cfe83502dbcbc3 b33ef40bf715dd1395f9c3b765f97ff00f588f60 b699208cb07be2c6fe469afbfb915c70cb65f38c c2b256f209d18fb78818ee60ebfe1ff13294fc9b c51aa4b27da6d6dfeb47a20cbe58836cf3d25a8b c53506a7dcd93fb440f1e92f1b53e0a1fc342179 d27a6a07ed173eff356772517e5c0c762337d7c6 e527a6a656e3bed29db6ac70d49fcf9e0a5b61e2 e5dff27fc80c2f1d54eaa7fbd9570ef0a4f19421 e925e55e9b48813dd04f8edb4526c348c6397946 f2158a61fdf6d3f2dce77d56344a5100f417da0e f45ffcde12d884cf07cb6ac925da4d42775c3456 f6bb88521115dcb4dbb525490caf3fa89564a77d f90867503e261262de94495be98857e11b694c15 fddad9a6043469746c9df68c899c6d620c31003c728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c 5c96b447c77592c154f5760fd82fa42e18b82ff05b83fb3c98e63fe1b451133f42ebfa968cb132c5