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 14\ ]% HOL-Decision_Procs:threads=2elapsed=671.788cpu=1277.932gc=136.560factor=1.907zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓]7%ؾGΟ 7zbG 4HĐp>L2 Tm$^?]MD -S: U_XyW PP( SƬwP|?N#oh :ݺ^"Q.:_˜>a?=/ &ڒdkvYʠ1x5;B}!t/N&dO~jonD8MN_?PL^a4gh1aJ:~&Bm6, x fE4 gD^aӸ,իf>uwW -UlTjFЏ~n*UݓUTR+?\|T`Zиr\~Hjaѐ}3>Rϊ@I=K] >tm-%C5tʣ\{_\ #>F/"FǮg ҃j6 0Y꼴6y6ZvAG,-蟜zPm \6PT׃H݆ )%WCX!?sBqjjabI;Ol5{O`@yRL!cB\u..zne7M5E3K#~4z7mCMQETI,7Ыo6\A^nyC "f`竊\UP7ٚkU(B( ӓI L*bkDaS =ϵ /L}CqigfX-f3V:T?OLmbb0}q;m9YmE "T*XhSrLzЃtVﶨえl)7)仲o.0{\!~UL7wn0jv>>-՜zaoIske!\J5SMX$Ҝ#|Ƣ6׸1{cYcJ/ ~]UɄ1Om G6m3=j݆WT Sw)B]CHOƁ\ʡ;ן1C{^ C F-1~m WRr e$j S%W`] tp<`QNVؖFH g=)Hcad*JHUg|ua$Q(gr Ufge5LI G4϶<`,BIIl`M]?} '1=}n,s Z 9GN},R*?ReNj ƴV4Tvj Uy,D{7I"r"3sLZ-6mܼKA6-۾oŀH=3Z-')!H*dh~%1KZI:B@?UO":AWyv 5Z 5pƪCyZ҅=[Yl1ӳɭ|PBGG>l%f)\  lpYo2nKz,8~ ںZI#"w|dܐhtxz3&#2Q-ӔSw0t9 7x ؙ+`!ڼqJI& 4tdJ߃ mđEQQI ($tQc۷ͫ9 t~_VpzXsvBJMxc,7v3uc2;76V t-ugZ^I W1 ~60GG"o 1 HOL-Decision_ProcsuP&C=mE1mJ\vG]vZ!}bґɔJȽH2BOmyt:]=}Ip\U99*e"Wd '2 n+j 0hQs.Sh@߻12R},4,ȇ}HsVbn\ef#I0vxa_0yW<BP4پ!l VS}h< pkQimCՏ)FG|&` u+Sk*Jq%Ks`zzBPfV͟\e=^X 5tQ!2f`}ͯkrT͠`pk 70ViV hYo!grX g8CZzj8~^yƃzMq..,:y(r1l϶=fşP6;iv%'yОTk5{m p3'_vOw.c V}Q *̲/D|@L"kFK _n孛&]%sɟAhѮJ$}xΐ ORG&m<#_08!c!v-k=/sR 2Ln9#dn%{Tb}|`UcAZiVhevAGNKa7Q8]B,ʗL+@x/t Igzsx>N^MyvcxCTِkޏMo:p[hE|H.[!'zzҢo.r}@]Q;J n6W\钟< aJ\}|0;/Yh>dD%Vò$sÒʉS1i[#9Ǡ Hzִ'5d TS5W4~ \_ݓ ?P|p6/$(אՙV4/O48KITd 8P歅;*ayz:7unb jtb>lЇ,}p~TĨ Yh2Qшڂz8rm.:RMNP:C>hHIVlN鞝>s@0$T [3yw MTRqZ~4yM'4ܞ9_.ʫ,+Dzdˍ4(6`C qF_?ϛX)߁i [qsX/ ׿9B(ps?xQo) ث) ~OTesX+l{RBtu0| }箪Q H"CVOc`f#',E~~ϖ {<}rwb-yC!@Sڋ^fA*ycJ*۸0A# 0Z\Ed'2wn!ֽuy9Y[ 7-P.$5`|OV O?c-E ${i @g Z>Xv^# E.xGT57gjh8:- [4 j̀n: &qBU&> ܑZ-6)H=.uK|w*q)U8 Vԅj YKعțCI2{8!ć{L_ͼ ݙ^?Ӫ1zWfbie%@e¯%,f.t2< #=gbVlش$j+Bzd ">ǘd׹p?>vZ,s6 EC/R]Ɉ6fT%c1\&*%"8.$x=(\*fK]uiE&* lMrJKA-q4`t!3SV31OQ{/v}9TY6BJuR wۿ_'e~Fe6,­(5Id-8*xrڄ=3 8Kl3#ך XK+)0l깠t.1 c{{MGIei@ ::abkRᇬPxxV3:_5i6ɣ 5 |ge?H΀8N r&e()Je쳆eMb,m۱ GҪ*E|!Տp 9^tkr{EBt>* B-$V(o- 'ϛ-7gYZ7zXZִF! W&]ŗXiɟ17L? KxlWP8SաM~>fٺdd@IYe JUOb¿)<5,$d]&d[ Nl{D :3z! ΠAb.|M]kx}QVoEb_W\E`B7Ptiވ. po9s<I,(o9xw[c1&iL( ` {e\r_R5?+r_D<]y3Ίco$hߌ7-hdϟ4G8p<.UeG'5J^UC'LMvUlB5x}A9rQȩs|~]K"`yZYn\)@B3Pr c183XL(ϒ&1zyXf_VxV鍽-(ťmX*{oP"^d5쇰E^HaLV1%YL$O (JPodp|{"qgYZ7zXZִF! s]ŗXi%9*WiUQnD8apS _qZjo@ $1Zَ2dDmpZƇI )5)-XS}88X+]rMm)cp,:+3y bLNPB L$mK#G1ZC^$Y^UWaT?=Ylit7 wZf1o?uY:Qf~~{CTB DRVLPS&8!40\e2>ZQ0τQ<3r4Lx2[6oh0[HO\7{!_ݜ~sAnYTJuijgԔQXs "$4P.=~>չU侈Q`g<~4"P#7=%w)=I>D@j .e8Fl"J!ΐ8j9jzxA}>;c]W6ۼ$^mHETJY*/.u&:q9╩JٮGկ| 4E4 Kdt@%t_Ql:(JqX8x2쳩j5$[6@z4(0LaW0d֨s6nyDd5z:T}0+ũ&M uwHcBXėE]PerT|ƪ#ݐa" :p)c~yHoP[O{dsR"+gQNcByK S@H;" hem˙W'.F[ȎޜѨYYa.Zíy<7]{1ɖ"iNw/7#[  )fϷ,!ӓ޲j0ZPմ`CI.٭?A@ؓ'}sr[FTiAAUiNC) LWq*cڸLˡU^@X]B_MWʼnY7-I>dOQ rϮs}1ulZ@Oh!L˳KlR?!Y-᪓ du^xufBݐ' f䎟cө:;~1|${.η;fj Bێscm~'$،1l;ѨQ nSjd7"HcunBŔp bUJAz wL};$+\e8hTڡp (Yy= 藂##M GWh m}09EЏ)q~A~s \PWޥ GvXUqmk Izz&P 0E #Vi*B|S@[C7e2?8ŸB EYf֒NTG׎kֺ0CGZ9"QC:cf3Y=۹]kq.ˊ.=VrÙxIÉ$.!d/DP q|1cU".D'?[nML]W.WQ r2PC+;Iq dMz!aybͰ/Hy)zF.;>Zh^ec)^Vj=»iUe~MҖXEK E>0Us2^/P9Loƚ똫803\/F0KsV?pK¿WH/A.6?%)"F&Od0F+EQATtO?=p^Ʌ%`^QYk/p; 姟w}'nFy@ն%GPHC(n;߯F{T`*JAh뤲HW~@U>I|oC_oZKʵ8Eg+OrY<83D%.z:WuޤmtL|~O\Qe&쾀=܀gXu27 2a⟰l5k =~E _N0 SmTau&v Y;ѿ]Z.Ai59//Bכڂ ~~@_-/I9KjN2Ћ-$9t_76ΫCjGHNz稺$Qc |YrQ`USVzO_ĂP0N`/ GO;qŨ]Um@QɞQ[L/R.m<7 ;+!ې_j$Gr6TKMpl=:Qp_ qΰaA__1`B:i[Lbg77+󘾐zgD<"f#m7)GUjP&o@#ݑ$o-ַ+PE 8'f= ?&/tvHg SfϾ`8JjyVQ~0,V2xGf%f햌Z:Z$ab(M Pu<:k,gFmmY埈#T|%<,]wg>XaO@Ǽ~:m8de,ZA]sy}Lká&pP6 #Cd#e29JQWVkn1ZP,c&F QsaWmwzsAxPyc:~Rt.Cj݈@z)Ô+.>ͫ̚"Pϣ+z2"xDK+\e,;U}/9SR-Aa}h[r',.9gyוH޿ g!10-sT bXD?}k˅-V'k̑i ;ڥY  l|xjY4ޢ:]`dr10(!HG%oOv4? ڮ/(j:ġ/R',9tT <1<0`"8pn?0ѽ8'ڹ,fM>/;r p/w^/d-@8u"JW YEXD/oԲ )5dN`N&}m-l{qOtR)j>yQppZiʋ i#]DHe Zz}!>G3=7Xhv 7 HI/`%a:;N)}@Re'8N<}eZ.#b]<.0QnH\~`Ɨg$G D8[c~YXAWoe B<ӕ%0ze'/c= Y$`15F?Ys{C[OOeCB&mݟPFwRjP{tڄ/ݠV9ՒvuzNU n1rilCD `^79ᾹgnlP $[lj*ClLشS'>7C ن1m ¶x hܱ]_~V`E֝Ta/Dĺ*n6|(Fٿ7T53ΈГTvmw<$36"o^-V_;߱ ')&8\ZNs5'A5`_ۓ"n"ũG4q4: |A 4ܚދj=|mhUN]Kjx/@Cx:"i0k(l[㲀yk Q+:h h!lM-[@?֍L aب*E.0fApu jpҚ /> +B3i|ɼz-B:bͳ?% l=X^+䃌́Az %A<(yf9LĊq!0<㠡$3T[?H#hZGz!eٓqzжKNҔ]!9boL1OCۧ]~g29hҽr<_!"2r V ڧS{xn8N6r%) (jPOgWȋ܀Uqʳ}KӾzP_Ŝ jfa$SoF((P$qR*#iސЄgp-ov*F/qîdE& fyݔȐBzJLZ-7+4׶;te^~Dׂ%Cҭ/p,>.4МSM1(RDYscŶYn('7o D,pw=m EXD쭉Sh[ȏ{Jmie l R)&⺛gB1l^*A,+"26 -v۟xH&y.q"S,Qg . >(~[Jqts4806Z'Cckei*ټTb`%XUXiSPN;&aQQ.q::-M E.P3AVү1G4G6sZz-,JZ@ui/G=;,,kd1-zF\}.@ Zrh@-$ ~R2 2_2b&4$K;Hwa P{ 2"*1:Þ88hQI׋1r+\fps K`p+% I k+x(x;#7聰^vJ4:*H/f<$Ēqc# jV`:ʝzin3p uΞFu4N8ʽsQ~>FDh?vTGiVX5SJHq6{  #l~mIpq#zɜfea9_|q9u'TS8DM2r1=A/)RLBnww2Ryu!(^PF"I@%$慉 j:P&ɳߒLks¦ 2= `@pHM9ȧch6N>gl܌!EprM-ᱹHh/-G CGPe מAsael3ẹA z˰5%' 0/g&KziE{%EpV"{LSlii\8R0%s}0:OcXe)2!x 9.$6[Clэ%Y޼jK/qa z9"JJ9סJ{@z@f0hHj y JкE …9߸c'HɇL~ rzACbTFp>`{tmwgUſUa1 T+8{eP `+~j8DiDR"%"~hKmDh:پ5Hm7qRd l eVC?f\J1'k_}E2.;c  `!} µ^=w-M!D6bN=:d*W0+Z ]"́ gd}K.q%m@t 9lE[dp\^ŷ79HPsJg{tdN^N4Nf RͥV!֬y ]6^[j,E Oy@ bl &yФURfzQ:u䴡5n$Y\S4QGXUs5!p–BL]$myOT?fnEQ?m`L rp9(#b\P85<;U U໴a4O?c_c NVm?9| @e^LwF횼L gJ^!5f(C r6ǭ o#|Ÿ1Hs"9L3;GW<3/dXOլ6K410#d=($wʫ%3/DR8E߾nr?D Ϋ1'Wio&`Fr]ӎw":ƊmQ;7_0[` b|\oKVw,̬h,A{BPi,6@[5LwV{#gGG֑N4yKc0uS}\K%"shgjX޸lgmAXn$i (O'\j`%9 m2]l"S͎2c 7hW$1Egc(t+=X#ė`Sp&#OuԴԁөPVP]o{c([m"ΘӞԭ+$RY_BEk32STm8ujJ0$ +pmi k0cD,Mg95Y䠈3w%| ~znc*z lu׶,os._006KDOL5V !$<4Ld+Y? Q(pA|=ò6c~ó߃ٙiTkn-S=!$t%xG cۊ ֍qS⇡at76AJ>ϙh^,qd1vbwe|O|wһi6bF7,\|]ÈE#z%y=23Ph+{dw x&µclԮ' c$i ԻwzDuؖiUXB?OBPE?-ql剃 aj>Z 8-ln %bIjZ5׈7B+*bҸ湋xC84~HT% Vx)Xa`ݤEfKrp浧ad$9$nP8=A\N%}}u^:NEZЂ)-8!"TY/5߮ <(kPY\bdfƭ׮^؎ .9Nԧt, T/1+^Za ^ Mn5UOĔv.ĉBb(kߡÄBo_ŀ Meyf=Wg߹ko?C[LY hR&[Q 옙^ܤ|s5zͮx)p")ٶYmq\Y翬0/63` M(Dcsgb^MAWj R! ?/Z?1?u*F10tK*/AnZ0O-#1FgZFrG3z<"nNANF3@ꊝ[כ4ԷB71$|PyG$s-ÈX$_s.aLM徦 t a MMP(D;? R6 C|;GKK[xJu1Z rnJH/P*pC_Rg%=}m| l}Np؃Zk'<ʈdAi=t.h۩3?Y'[)(_ *H.G{O+H, ٴÂ5s|eO57i|c%oN0>jW Myw v|V2#vO*oЫtq4n6 lGfDe߿=(RUtko/hI`վ. x_8Nڔ9 ^}= Tֵ{Kcb-k>MYԢ|uYh&^cS"ʾAC!wc;i ЭĈ|Oefuy(m_"U71zpҖ]jEYi#;duVN[:un"Hm?<(s:$Q:ܸooɣ99( Hw(<ήs5EorG|:dׅ,ZyIXλ7 /鳚K,_6MD)6ّAy` I3<8meu즯*I(Wәէ9b?$-0nQ<꓉ }Pl Roh}Ѯ㑚?KR>8-.;/ibd4 dTpvH<1N#!xh!G1@uZS|Ηq΄ Q揄yns~`Na*kꅍGZ!ruvb=,jlFQzw>> '!]Kّ&RݎR^6_f{\iMArR:P 5d݃Ԃ`# ` 6,~4J+(BkV+Xomf _9$ 78% u #ts(i}!dL'::bK㟼ֺ(Oma ,waet0XH@tbB8:nIc&A@ PWZ6+ٙ! (our_gwu"|/"ĀZcqpE!k?lboDIsn&0#My53k싢YD-ycLZùH2)RHFڧ D)a@XQv'(AJX  ի(~]v|F$kCtJ %8Fu|Qv..zcV]%##ba xuM2*8rGOzU(MzWc5W"+,cJu¥n˜ڤL([Uw:9,+8uUD{ѭC-\3eRwp%BM/*.Ty3:ݔ@å_V-I%++fTAqT=4D#B iêpdFZ,7 ,fA 3HU"VP]~6bA,uGʹĬe)--`X]R/L~+ ?˖wf Qيe2Mb12%uFM}4BD[YؖNˠDb` ې܆oH- ims6j_H..eD&&X;bqO:y}P܏OYU?'*q4 |ʍFT&՛RW°-^xbQ9lks@9:YDs(~ V^яϓV{VjivBmeLz_ Z1BѠ6ؘj1 0z`iC2wC,Fe^J23ޝ(g<ïJ; O #b@vDŽ1a,JpAuƎF__unqH)0^WO2A6oqꀋA"/tᔫUh`K8pCq#~8Ab5s7Qr4ӹh"aX;6X/<8z%z^ nQ+LggjZYM~Ag+ j6\w &*B Utss[O`6܅X2/ZMeGmjIuG_BpI|xl5@#$Of'"ppfc^up1xEv=_/ۙUG+ ѣ78t9?Q:.DdѺBa5\b%+ԝ^q+;мjEFfT3~r):!]9\h~~-Xj&"Koqc=2pRk!ؑAx0T"`!j]#ښZ-@ }2v69fӽ1$ <ۉr͝qV#X.F7W:>"*)-ɷO3<5mʋZ/A.Wuh7:WW :MSOSj%ճNN2Kp2$m3s桞E0Yۈg@ ?^azBB-@˧E^F=$ǒ]L"w=)JoGt:K# NUtr$͡cfGYCnJ#{fK-iL SQe v+<ܪG){f{3Ԏ9o26D͐mot0[?ꛪAkqHJnpEv!܋+xg=Mqt 4-8ЮWk4L3is#]c ݮ$A iT뗝L0CkEI $mQGsxt&!ºh}Y!oE؟ [:92ƀިclL+˔$xzEr;v.L9Bk€^=UЋI 8i`ꌽtݎ܂s Ȗ>{WBn}Epe[t)@bDc0j/Z**@\*~|CfRJs@mms*f$a moFY}ݴti+j4IZBX]4 n '\.|ԈUK'2~R!ia!|z:o1.z &"KA|gB3NA[>s0P:sbZPK]M< wTH !5\c#o[D+MaWĠǭ"bza-h ގ?RJcC0{F^tRsUr,'aےTl$(9浕yb8 "_G=xF:UMc4je H돚#\}, =G}.t 2!xĈ/ yd*0!<|KI(Ts/|O* 1Bu.b¶̾yn(K &0]stj Wh]OJ;ӥ9Rg,d>Q<3 IF}j7&tI~ B k)-#׻~sl@o [_>~l]n?q:|OD48)XWv B0FOeA|EP㒤2H4>~'KO"ŭyDdx IGcǼ=G# Rx VnSMWjrbiiƧ窎@p2U 44lnhi{OMR _N?-fd[ ^κS1)'@U9eI۫~K,4p;$%qlb˘ &P J&2J<WxTiT0*)f . dnD?3诳Žqxd#eX=xC ڜ'?j!}K;+E#_f.cn?lSBF=AZ| ӛ|D%U1NC`po՟x:;Xxb`Z*[dry`W[R1Ί#Mސ`%Lx?4E KliS`y:B>{Y) x\GLdKW͟?SxI=iHɫ򙪍2Z㵲ocNg(ucl:4ܮP ha E :3:k[=$tvjrztT#5G\o2 qr&?K3Q4^ KD(ehKH藨 㜽y G'gN}?V7h  O+Y @jt$C5i24EBj)ϛo^ ¨R3U,|ޝhJdnŔU";`^JEN{Q {kR5ǃk:dܣog`87fPB e?Y*: P-)&{nto0@O#k.;Qz~WԖ ghKM#ou CKv Bk"CwcC7n9<8xx6i%Hq@,Йj[\*gXâ5%t/<)A?Ay52V8fuXazxP)Pq. !撻)g%>z9Ql!*`GC+ɚ=5ZqNDogll:zC2C>E]m%qr-<TO~΂3p1_dLGV,+h GeN}t ꆸ6]2C>c#5hNp4u ^&Uq2}\(mĮY)o4|ͱeؘ G6k-SsnG'g jz->v_ڣ(G!*{w>N0ΉKXa3G~DlU2KuKf-h~$Ԯ E:Őn%wB9Ľ=cŭY&{OG(kJ*<8PW܎Lnrr1zvXڝA~(t+mj`7[$i poS6waJnSf1o֎ -',p9^B -FY9/8_6#nwoE9vۆ= -nL饆%ual ;Sp @'ȒnW[62߄&>xه œ -c,N s^j_fz#㊾p !'{Oĉ7 pJ{'73>_^ESn$O~^'tǃ~K<( `ba0 3{!81?.(,8YV # T~w'Z'7@Ӎ F*؝dRwlGQ5&ޅK,#O#BE:djX 'aQl~ZŸ-ID+]vjM,M𸦔,Uv!\Z2`n)1#4L"ָ\$O6J(z !okNM{DH T}A9j"ٛ8ٝKJkঔ5=}Dum)ra /'fz+:?m@EyHR՗j'hE?;mHt#Ԝ!۝pv޼ssb{Y1l0'et<6^+" HD6Ɍ0KUƿmKX vEeYZ(dP he: 6;>vt4;흷s,TEZf4>wC% Mf`9`PH’_ҁ7hn x;9G2k۹/)'Nd4/u~T:=pBJm9þKbdD}/[P.9rQ`ژ8)3@^9t1'@D65S 02Д` B-oOFBV@˿"=y2'QO]$YnV S))q/RrCn)&ளRk.MJ6 ;OE%sp1:_+m/mCvD\o1{Vq%dV4,*oX%;-_nʻN:Ч3Z3km7b!Uu7F}b>ٷ,D"j,DOC dI-M4ӪRV.j:d}xwYԼ7?/YjeucPs #at: 7^"% pWFr)oa3 Q l`%^2)qd;Ynkjmmj]JoP&wc.zUl ]IzzhLD-fpWF۽ ɃtD5\L^rM}LM}y|(HfфmT\?*3x݂BЋn @pdȣ_x缁{Rq+MX50/B ,Gt7 C4}Xyu`4'6K >+Q1x ZZ>g]++5cIx@2m7X`֟^f<5a wi>TC tFA58-"@snU?f` l2Z P]>N Qr2PT#V9M3 !T}q~ YҫH7CSX*1cnaКtY$٢HV}\w:t?;>RC_v9{vbwVg"_M1~FDrK;HXkKS6LvN{c&+c;YվR=HjJ[S{c p8ZuK'ؤ.-XE]+iqDjWp=S;!bM,uc˖䇽:X@6hB u>Ւu7*=t^!yAfl`P8~)49 K죥s5\;|{tJqҐnMNafkV7Pm(IbLQmXMT} RRпu4qr ?]nzHX8ua^$[IC%#Y"P;eBbzlH%~|ަΏҫS!{y a] W`HQb/xQK- >d_'G&a1[wܟ2tĸ6lSDq;⃄ ^=?চFq1&IsLh Nl,QZiydgU3nm,q*Xh5V5j" [=y(5—pدuT fVP>I ]9X}` E[^EGuiؠ~&$x1=4m5QaBJs֪HJpG)vKkJVi^6}-W嚑oWB׿\0 +*@ \l dQ{+yö_5ZUά_/42'*jK:mvcoSGf+o1JeE"-޸^i'w RKҳ7՘is3u`Iv⟐K.MSf5LS8ԭeeEb߂ɀ䟚HxS|G>o}D[{QD'cz8jX"2lܽ Gi H‚9/G q}Jx>~Ô&Kt6Y&ag+?b R3c%;& hm42'u:܆ݚSPi3;if>dXE2Br3UzgvKiݡvV#5)r,R6k7 ]xZ,+_6]^,=9>/:-VRXiF qcdzjAsM9vLV 8T8ZJG mZVCU `y'q<] ݴbD!7IzHZL[rRqUg z3SÍr⧧9h4*9rC&eـ W/aa=&CU>XS,d/ #egR=k!=OȭW.߇W$s+{*u.`^銥9[)AE;K,Z1+}T, oJdk*f˳O);yqaÉ09[RCq=Sֆv>#($k4':37oXcI66O wDW C4pdD2.?z2[gR^LD-Xi/I[4+8,JybCX+Zn[n|hv˖ЛX5C@*y%/ZPkl(bqW>W *lcՓ '2 Y>K3l9m%=BIBB.Rpag<Cj 9o"S@lsW ӷZ||l[ֻ̰O#K=aF~ILu0VʨvWҙ*x"rJ~@(^V!" qm?`Y^-=r`@ Z:#b)gU|TL)k ̚E+)sR7\9[=q4[oMk&*M% H-[[IڻQZܠ]Xޛaԡxx9Ol2~svL4-1^3= ϕQ -BV4sYb,j›;4M8d!;=o\5'w[OMuv!,+IF_.X^Pdac0@=\6h,u8!%"\+ؚfgz`f/3}v:tINKљ/zͫARVp<؎]_BPyA2Ci^ f`81 !NșQ귩.z;|@A㔸hwu֙9 1ZuK {]&ƞ(DmJK5tٮ>mJ!]\*2BHȎNa00F%SEfTzap`Du@kM¼d}0L7BV(f9~rtϧ[+vy $to@7l1=늇 sc`O*.DIӊ2Jgp] pENP|5˘xYXE*g(]O 2}>be-6>U e#>Koۈ04(og y 9 D 8V2z¹K#ÖOɐ!+#UЌpkazrSko[X2:`cXkѻT"])(%7RzV͡*~ӟ޷h/uӦ5ZS(JN֛e*:ץ)1Zu(vE$DP-z>Wfuw%vhkpleR&YX,Q /%Ɖa}EW¾zs*;@aK$(r*c?k.-cBsH }^j^66w}Y5&Q.O{O8A{P 1ef$E&1:9JΒk (9]n(st,*+O b*Tq2w Ƅ Sܚq'˖{rq* n!&VFX,XKcmǽ |V|Xo6ghQ`y#O4VJ0 8t =J}gj1*̛^E'|j' WG4 )ѳ\Y6P_ DCԿ/jm;(O@!-ĺcllV;:l*3?* w v$S`)rn?ڐ]L.RH3e3S1:L9@)[iXTsxFLbǩ4N s!ln~}w+\!O+>|\<τGvFUYNv`CamN믖c"JgM%΍vDX 1)@YX=(s6;"LhI1.xx (/%)OnLP ~YZxbwϱ?bF#PP(:Ȣҗ;s>A% 9My.r-{<0#tī@w[ sS)][ˌ>\u'^lڮQH$Bm=%!ͬډ/'1ϥ+I7/VwK93|`h'b+2[\ 6`-ߏdPѰqsOà }ĐIv̍XH>269\PcZH~\GI+H}2܍0 ,Iנ U*~tqqv KپuCb}k(4<=)dB  l9$c_$su\HRtGvؖW0b,'`* y+^uVW?o1*}Fhm?C }|WFL <[sLZ?7CG͉Y<7AWI_@^J_ekwz76f\hG̯ѼzZdRu7>'TwZ.'%,̷ݷBSFٛ?qƢKRՠva 3(l & H)0y('; ^Axu2]ʸpHUP^IPs.201} V{nXMGOV;ڡWQIm>XFPBw6C{E}j<Qh[A{rVϦDz:2Uٔuq?KL,0>{t$V0it>r:L*!ۭu,sE2_C%Rio1PJ 5ugB\Ri?G@h&B E*Ց Á˫={FF:VUaӨ玀5%TWd3lm0favmm,2rvg/;.:c'8(Q9p7wKe [0H~#zn.jÉe"HY`>!~R$S.eY!L-a*>!q4hG8SwF1N,ƭ7\H oA_Ɵ ᫛u] NļV :q>/6{ә#؂eme_c Л~QL c z{8 햲T[0eU/+ m*)I;dd4 H!%/lӑ'ֱRu6F]v u7Bal&gDvcZe9]&׸)4 8hY.'W^_FgѰ^z%pp8̑ױ?@JCl%*BmuYWZt`5qd#{+!iN2՘Pp_zҖ/,~ !LKCiϹio߻E 5lqo~ʩ% ۢP]ohexktjcM1&Z^n\lr-\܊qoOσD2:Iu)&2՗*>@df$fmO׀>tuA@/vIm"4*UEwW{G0dwZO9W|Hj%{h 譗%)ַbqK͎lL.:>&<| 1q>0gn2j"asJsqT՘0iD kLn~Ep"9$tnMPnga̓G%[^7x )%* ёݖQٙA'm[okigS6 +@hEɜ4po8DSIolpW^., m`r\/չܪ>|z^\b Ja &fmIZޤDqNd%iLg+1u>߿a[F9USswuvMHLFXTz3++}u0ޞ'UMKB1Ico?HE)^w&AyZH'R NWA?VjK9uq.VԶ-'yc6xO =p3]dƏǮKv{CaxD:5 }?+Uk483[lbdiF(\&QԾʋOK!|"yZǮ# ~&] ݱze'痚w#+a-9g'E8:ʆf%j%5=ZQh-ab(.ޝH3|sc9DL?P/YݩNzGt]LjG#CIQk֙up=~;-Z%e+lhjTe}hZ2{3 [*DF_b5gc%%eBKOC{8Ÿg`xS o=OKATh9*YDǩ?ٳa"8/;ԫ8}l6Fv b B ڊ ϶EO-M;6z>ܔYҰ wl; Jw]|3So\r qI)gT.M%<,lXfv{Yyv>1s |1]lx!A1#$=^2$K<= D1۰yy"YbK\]ݷf̠!bh61>m8.'xV@!g||ޚ vA6^Zhelan KchuA PkG^039neop;5* P.u.鬍ƞg= ,R~`9ACD:AklVnrJN/JeUҁ9k=\S'cVK9?"w9S>o*L c2WX{`{6G,6Xlmg.j)]Hi"bRCTz\"Ui_ (gxȁCсO grR%M||@|3VQ~ۡ $`2q`p z2dROZWx'X2!IP <!-JC?_3,GEmDW32p&^6ib}j؏Y=g#0l,ztΑfi 2>~y N &IdxSw>{VaV |5A/QW~5}m0ulzr^y:3H:l4J[υ+N2 fW`XI')?\W'; ϓ-qN_s|ziӔբm{O3k kihfKy߮őd`"?Vkr uz-ۋvڦfp|h֤ydQdNfϸi+O>0697\ہRyv|D@?) EhMոڵ s\UcvX~\MĒōΤqݯuI,E+Qgxq;JJ$ЬW+lD ݱցGz~׳ o{嵮EUP۹tɢbVdJNz,ʒ(anw3߫P$ ۓ6@*!q}@UZЏϡLr"Fϕ{XWR (V-tGx!+%_Ij{QW-JѲ24@!`ސf=^G]jXeᅚO$HA?ԜsgD3]u?Q@ (OhT~_S!9n1ThhnṯAt[OK<_hhoF Lx,QMgZ.!O\O0^A: + +~Q;wt<+.v!T2SI#/2ьDe k aTxvȿpDZWA0zN4xLؿ30G87K_e,h~i V\ً]3$Z|Mu.9J}Xjǟ8ٝ[Vs "sSM &KhS<~J7NKb#}&mBr߀|CȂ'W[cYse8Ie\{!@ W//+;[bB" #'h+c.u3{m6Z9ͼc- j3F:wSpi`YƱR % <,,K<?yׂ]?9& BU|Wۖ0nDEXz&c݉act.U;ٰ Mq㸜vրOMg"-;e #c džLfYdee[QFjNNYD&"koty$zZhz@XGHR48 }ZX++7[ % 6Pxv{\]LUfhĶ!+>&*3*>SeUiz*ssPu|X"Na<%)\녺S;HcWL _wx#)k$bN1~CS|Mr8o&̐2`΍EnjM zyeC#:O=!?1[kK-)~t8m%m8~k6viuGubv:ger/~ԃ"uoֱhUQ3g}!^]3547Tfk&}_)Bo/!Zq%vXWjUd19'* gmǗ֤HJ^ dz=V;W_N* _vSZ,#x:`N^:B>3vkȰoF5E(=zpd[ʪ O`h.aRh;*D ~O&7v "GX_S)kjkd b=-cVߛfժsy6cNy!dX>'PU땎fյDMO=:-Kb*h\9i^ )7odaIEf^! lR:$3EbU?S}nQ+:ŝ-bz&\au8փF+AK?Z/ Gog<ׂ$afӶR:y(吁=QFCcc^|'<]\R)񂗻|ן¡ Hli8p*=J.MAR0}DnqȏMg_V9E֬'9ބPDW{ (=PrN:/eob AS[H$668+ǯ{UDm (福BִR`(@\ĻWf5q\ELN$ÓќvUtׇVQjPjjP0)ꙆgIuAC,dN-\L)Wah~1s@&Fe3K^vQ;y.Cl7=Z",c?BH'm1 dLCS:6?܎) wނɛ|eF?`ճi8I<"{Z% GWʫL˾0ʤb\g_VGKQý][nO1B^xHZTu*$4 saCt2w PoK/"s[;E+WYYaMdju9Ѯ%fjۻg%pE+4G0׺B~txAwyVbUyzvگ~@BMLVʓAkz8(2Fg E'XV12z/"u-8;DV]ƭ6;Y~Va0u@8&jD~saLeԔcCo2/}0ڰnz ~%~wX īq* -!4{64rTZiD3!k& vi_ lMGaÆ7"VUӜE.sT "ٍ%8' 꽰 WIcAB{y~M#2KkeƄ?ʪY؈s㥰ȰZ\J>x7Z:ZqS^"d%Jx=y&B=*Ӂ]uFɳ71s엷 vCom'@ AG,!x}t Od昘/ eK%\FVJymo^G I?&p+0>Hs`{ CxddR12G U ְ'>zc3 v|tJAmSk*KUPV*yB'BRuO!wh<}%Lȋkc)율#,7F^?pg#LW!}A'4s*ӆzvjPqVwOH3;hO9srYI+yԏ").ql"y)_#Ɋ&FeKw7WS^]4҇:hjI=Tu*I_u a8.!k4</9t4wg2?;:SwMD0CQ8׆ d26WWl>_MgU FqӾj%SgB|^m; *S%M+N<$If)p )Ϙau&5 VyHn$!c_ lxȯ=q%_LJP&#I0*K `^tHjg[Id'yPD4_Km5lyWROy /SӚU#ꮍuv5C \))6NmH:C)` jyތU+CDyGKֱoHBv|X} œ۹lu<>Jŷc?BH[{%+cmR96NfOVX5giy`<6cEI$hCӞ񽓲@ƠX뉮xhFZ4̔2D%hfwD+v 5.rl-|tq;PyW f/ n3VO:/AA¥#dŠn&+fșx.~PW ΄c:;OB<%u93P?s>x򇳔4JҪ9}5~nU0\ mN#gŮu>#K=ʮ<:h5LeK 3OnV/뫣ᴌUt8zxh$nմ)Sڑ}nł* |We~7He䯏::/.Qu1%>@bG!]EajQ\1:'EPu3.Cgy+]{%gJc)lX˼b'B(] *O,9lfA|?KѰz,T?`[=frYLۃT̀!5 X*"DV2.J<,ђ>S+ DԿD{MnO[{lCXW7%0\o\ KPfg2Y[ "r\l)t4j2}k^f _W(bqL1U1ޒV(,3&_R<*yLIT|M↌*; 3Nyw+[W*r4>>n_\GUrWƵ}i `G Gw@6TFD2xBwH=0fVBvRb|BXv0]6FG$m|axzrL`78C]hr)N̐%[mL /& Mw->T)v0dTSR2?ږz@ xH5 dXhGš%.lQ$9wSk*vy&O# +PYwWV?NP061g耆{'3]y?jp*'30G6UgC#ɷ㗸>Uvyԡ!9^}|,/7eFB)`5dü:"ԘnQ#JS_20Sjv#iol1 _9Nl-W\wґaBIE~_+}ibȶTl{.k6eߧ՜kgOuS&TQaplVPV-v:'7 OF,5*h?Q3)1/nBdNv*9xWnRkV3Cژ{O,&~8_g)\w#=;W*y җ#Uej?Cm\Ӻc jYcEoߙv., t۔+TCɺ/YU7FI]yd:x9o%6V=(i6aq٦) #&~.ghWT ^5m?NK)\ .7.P"XU KGHT8*90ԷAT`"@Oʗ^q,KeuMVTLI_"rg _NKb/aiaIJE~ʥX%فP1O"]PI"ʡZT#,v"-#ZVd ϩʷOnq+D{y[S}Ϣ[5)E{hoT7M%j#d6N4ǴSI] D77&flrrx0u>ԕݢ&%8n&VZSryy*+ \$9 …9n˴_Ƥf;m N{"~`F"%O5/C@"G܂ԠR9&cbKR&s[l>փ9Upl'ɨiW+'!~ :רy.MU}!r-fL)z<j( ~bpEؘ s`;z#XW4J$.ޣP iܽuȿQ&g Yr^ҜFM_* xdcR?c ;7p2r8DeU-z^gHkFnΖbQ[B]R:-Jt8iWYOJx5W ;)͊ކö[fp" Hm xX S;EgdLԦC&<7ԣoke&!N9݂b҇ wMꅽ/pىrpl쌧υh2 rSi5pG7&V⇩Yx.lkRqXòaxz0FVDX0noݗ^PďebT9¹4XvJT6HY%sm)L%Uy[_Bb{OND&|cW!8bwM⓯omVE]D|b7R)!?X2qP mdc"BU"~M""<,ghyHtEފc%m%2$l/*W OJOTlcECl2rc)ido_v 6' 72^d, WBvvl#9_mg@kI\P9K'6_oxҐTLLN!":tXp&9Cvr/(@܂3ɛ?0%Z{RZP"e?43MF'8> ]/ EfQnv2IN >w7d`"dp4CI U܇|E#a'a]/-w|WIjߩWr&n*%Y #>\I Z'^lD7AT =k#u7l|2@ _GSni$y=`7XP 9*= ܆gRAcL~ـbu7se h vZU:gV7%XS_30{X8g{\OR4Jg84ᚕCxWT?~bQsԫY@ X sӯbL0.8pOLR)qTU(i8ɵ !Gp s|.#jFZV^f_.$d^x5i yBlxˑ NuAWm ex!4* '8.\ pK#Xf ["jlB@ncιQ$pC h# cZ!?Dۂo Ջ@Gϡ K Zډҳش3"[U%zkROSb)BQq'ʿ0lw@y'WFpF՚;Ǟ^u;e#NVRURIEbX'&' E(ǡSO(Ix#i|Q{NxAD!2@Wqw]K=">sޓ/Pq-I gYZ2ec9e57d4607a9bd0938200e42805c290fd758e6b5c424772a2a5b40f2f68f25414695f3cd309066 4421303c0db3669d059ce12e56ab74b4697966f2 ea164186239b77d6cf8a77dbfd65972873cb3e5c 23a5aeca4002ebcd8f55302da45d0ac2bf411163 8dbf2b49a74ec0a77305c4a8c10b3efde82723e5