SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  4- d ] Graph_Saturation:threads=4elapsed=29.494cpu=80.488gc=1.996factor=2.737zXZִF! :]ŗXiɟH)0%oM9sfK2>2T(/nlԹ>Mm \MŰdWVPPqjvv[a?$]xy+WhTū`,z!k^9}"]n ueXFܝ3Qhrv7#|e"D;4%N8E*qZ{))Rf VS* NV PF@&8K܎è o@$@K7|R; k"U !#&G"4ULߛɶxSgA;IH% vKcSvR%z~J )9VgtlpHB{6ݡU2UuD<0.yu7٫j%>ԲjἲqCAk,ۘdqʶrޜ>e?{:H%Q1Y9)KI]g\kT3d+t[@_K. Y/;ۗ E Izdq>zrz,Xq8K~~OPG\%lydB{؁nWE,ݵI2!Pr'ɘT#;VN6|F]$hn?Xm2*B]MεP !E [A=!lW"}_= B[i%X[#H(ߞ+fa_)}v~֑rU+:(rs%; /G?q:I 5+PQv=:f|x 1N!{q-*ε;7q(G/ֆMNZR;pRxz#JjcBT-a4ՠ/\Tp.8>&vp$6­@.ni=y+/s աXQٔMSIcvgD2yȕu_-Z$[nUy6ٴ - Graph_Saturation  #FkVXu_/UcוFjS5L*O. 甧)3ijI4-LQ2㪍?CdOrϠSOmebjF5veU3m* IZ*sTЈfHC%,nQDH.D 0fYn!W`Q]p|_ojָYr5]hʋCoZ4@X\|U\{ gqg+qZ">9RM=g[ g սT0~}UᑷcTFM[XUc3~9>^ 4HZ؟ I ٲmiǓgIuѱ/]ŏΪ*Btݙ@0Q .+!Daɝٲ^ѩj ww6#*@[Z Nwo_ikoyaV"qĚRKZEͩDK`p"چ鶭 Is5iEF^͆Is*?阰 <$dGAxCWM=x'x=V=$`3I)Dw$ (W8[aG8Y)͜[,,_.-MUSUgc&eiEɕ)l-1`֮$V &ͷ||¬TAqWxh*K˖J:L/R!{6kSh\_,mR3-bDƦZ-jbaN8&IHŭtd}kUszn\} ʙa~(5, RӔ#aH9ؒzHewˊ+V`YL;BMGnoNgf'͊ňߨl/!]oKb.fƥ7!;? O:)R}HEگ1cYeXt[jP#ٷqOQzScQ*HM#}'&Q+7區oxHVZC`$(#K<*lC~OJfOa%#ր %@h|P@6lB6 08+5џ=KJY+>ڋ$)-L//dᘥ F)\D))*]t*`Hm<6z&.)xo^nA!z3S7p9qGzk;LEiYnKZn34!9z-ٝ4!+ohTLTKs9 G'd*#䴱bfIa#7?k˻}t 3~=dAe‹v@-EkfI$ô;o10-Ym;}j!,HϽa¼ٱ|፞Vcqw R6:+~^q)"Wӓ=Q'̡Fuk 3PT%19Sdsw q-DˁI*j#8O9,QGY껜cط{sh5Aaxz٧V6<2R'o0t8KNY|Jj'qqѺL/R[WwxB_}__ >d 7,zUGiܖu;k1'>nB!"2$-$8c`3Uڗ*L1XU9$Rgl;- QE\3!J }LGT ;9˅)]lF`Uz=]TP}U&^?>gt)hS։c F61*U}Onnq#WD2O2[} OKT{]IN:aȌ[‹GfXm rMލ<Gg7zo|qA?qedDr/cwpJ|w-̕fuM痺\_d5%; ?*OZr1fASi6CVB uaP*|u8*DNdKNe˷.<OU˲h>KsT>cbYR&gk#3$I-Mtk5*~ʉPU;G ~، gDOfcL/Z%:־~aH9t/ 2@.h5\R'_:>x?k'2mVk1f@%I]@`˚P9 waC0Xmk`ʮr 7/IsGx3Z~6Ϊ65m2QdɽX+KI姃5A(`oh69^%)UCNs!ذm>8MvG U2k 숺y'99ms`' ߿f\F0ӣ/$x\8g5 UiՄj_~'X-82>2Ro {Az F_24bsfh„Bq5YjV؊E6}˒|/;r+vO)Gn 3Tl夜  կí݂}p#Rf eh2.t[UFk{l1S==Le@cN1K9!~ uTJ" I &9u+OVy+TOM05]G!1f%Q"N{0/)Pq4%0)tߺx=*7ּ `|7M!Z\5.ҨI)3˜xgE9أ͇ GU` >;wjKwXQZl'G`jiTYQX}~uN %'r9[ᤳH+Qw.Y{⬁IC`"H-swGI5@얛ķJ4Ǔ sȑ_sߪZ_%`hnԕUٓ.W"{^뼹W K|aTjcx/s*d;,JU€J6Fzc#:]MwZ71=!,Y%^g l2R+B'!# ZC *(9M2+6fɧ vYw;9|@%bt+@RuZ#oG|v{'&@eGL;#K6`E ڃG}?>ŝ6NJ*EDh_WiU7!4 @ l+_2 jV?i. G;\ͷR!lJ6P7]>nz`4.H<)6nml֬|Ij֚%y<` /D3aJa6 o[3ȷ\ȫH;E\,vtB}4%Hv7U* 9am*+þk/؏ `]ϑޒ]*+ydvR+F${NT`BO{pHPjaˤi .P<ڃ$+Lx);FMvq.H/q2QtF_7.%(jdZ!K {LF$ S+,Q$jC²׺<Sͷ\'s׮<%IC<׮`:?t_2Oq#o} vwr#ł3=S2EQDoIEt=T }#L>We{|*?帣X?a;uCT6rv2rv-]t!qE5(v ӕi*eBUJAzlZг^[./=vqP2YqৼQCCDsqA^[7NbSs59r:W{pwu" K8Pv ЇXaw{t=3 %9AMv$1~\x-j;6@jf+[2]*`zjc-*RYIO:ajLFB]h$b;p?zB *ȮPh?|p@S"cw3 Uc:A_qH=QnhkPg@ϑx"@)5J1=d_yjXG6V;ڝgႚQ]ROˎpABf#L~S؏HPUi䟇{sMc(ꢅ 'Kg WFB\<@v2s ˅ɩ7OqT4Tµՙ|}bP{pIt ZlX+ cWG}(/6 HjU0pKu?#ʵf&)< Ъμԭ (sKnEPDpONdB&{tmRFܦat֮V;/Hڕ;]JHˁd.!0uKF+**'C8 Y^HKL,[խ-[Bh_Jn5lmezZkX~ bٯJ!43k%h5R+[@;-IZm6f"HJ\!: Eӊ@茰Gٳ~UWhUnQI@M + pyi52|ǘF!-NrUb@ f'ȮYKov3qT  u ۼn%zgst e=yn_;s|ZnoGёx_^~̼Ҕ1mвCIFR*b a m_vIC|tBJv;²;Kyo;)'y݋ nnsk 7߭DaUQi|FqZơ{S2wg89 +b1k(b<-`;NUb/E ;0MP+yU@eA__VD+%i#8'cKr>ɂz E[0?ĝ|;QOĴ VK3ar.[KCUʴ)F{;>fE'HXNʘ槶7jѵР0e@u"t5#]"fkq$ɴ 8iESHNpZ !!g;H9ŔQH# o׸dw?COC8I~ԃǿPQ7<:E'FA]N(*HUεPhiC͓9P4D@3ll\Pc6FqBEJY9$\Kl֔Ү5tP"!G"td^[:BAhBky\!3#XLD~ef&{Z 2Wr@}dPrf#c'#]⫤۾u>K1daCSU:for )Κ<DM).k9BR +#wPWWpWG?GO8%-'Y_{@3֟0S'{6I7zpkuX^- ?Ҩ@ a^A:' E L;݃6Pz`>~RH4ک}g!P'f'/(|Kr#m|ש;g착d @Lv9@'Ȇ޲Ĥh Zz'ycr=d@d鞕~bn Tekӵ>+`d YqB,F6}^"؎ |?DnN$,>gmĄjQ(D)I[V\=b$b y! [ʻEeF {Wl tUB8d/DV߹DkV0p @dҹ?l!_7"JhS師0b"wFߏlMP#us5H]Tv4Z~"bj Ϩi״Ɲ(uy_(,<WD;K$ۂ$ɥw:- ?N+9ISp;C}gh;FG5 wv[^n !osJcȤکFrm݇^ta#Ӱ#Z4|g^ot *+mk)Uj;-h ˀbNK!Z?)P2^I(;fQ4%f[$Dx l~dutA8"bw◂<[=/mt!'|Xw$E Mxxe}1cC_UמcF׹2 KP{&!a] YSNhP)'!(܊TҢbl'f'DΊ ptR?SBRvt䐛ӆOm:PD **I,Zu00 ºinmW׿"ZE T@.G4AYFvI0Ia繌U< VRRV kgp]lŠ'+YD,3u_`35Iә[4J"1%1ي׷JZU0lj]\uZܕA9o]\: h|)t=~ǎf0A7Axf9摔N (Qso9v B=u"=mZb]}U$%فߘhcгɀRӵmPR%"W`יeㅸ !Zz7j%߫-Mp4w 4?0:C#4*QϥFI;7ws4Xq0kyz7}e Zd3卍_R2҈$yZKŽĪ.}"LeI2NTԊ&\$"2a4p~"q9ڃ-HI2U77"s3uT4(E-yrtN,i/.%zzvc!&(P [xduٔƭ2K63P24zO fA6oU^dpǥR7+~:\ ^Y̝Bv#<|衁7L.3_ `43ad.|HTX" @[Ȼ]\${Qэ|38&9%iNlW-әByHczVQe\>$ [whc1WJQ 5C"r*SA %tށ=WGU}74ql]Xe,et1SǦ)dwߡ@}xzġጨcFa,*P`:Vűva\8r5K>~_y uy ?ڙL)T9A9rqMx =ݍ ]t,6c\Funh.0$.@-[WIT\PEO%h]W_twdu\,6cQexQL7|r’艛ղ޵ab;M4ylY!$Ӽ6|ӵ?NUo OX :*W?o/Q uUlAW Zv8%3w؋[JΡh@)ޭ? sFb{I Nc:q_I=+2$)b!%Ar_l%XXcv@]"` {FbЃl۱Z] 52:c$PĪ A#I"Dจ OH>&r 4]O_;HڳqK_2Qɳ1PetUĠO¨uAw9\>%zQ;:)eNVZDmI$3[M *C|tn؏Xdb8[1Jo.n8CMΟ8dʼnqC,ϸ}}_ &Sal"TkH?6Y㪅T0/!^buK)?W2}E9Ut=:66 9Dg ,V P{ IQZM2%}?mv4}[E$MtbcNK2tc t@zaFP(Beo]YLW_6[6,>α;WV&Hhs|IM)1P1 z*-ۘVDд}+ѕ't80s$>Z.㓟4/ХJQv{֮r0PH.-| g@@q(SDZmle ElİE^4w";&99iJͰcXJ[;\_2<ͦ\)֛4agmw:fܭfDqiaޱ7 ( l5@ܧ `!`cV[M z;yMF fB&كS,U'Jt)CzbFi#$TA3|.20zi,@rY!Q&8&M|-{~꠴3޹nP傪̯m*9ʂ_B:cksʱgN(:1&kΤq9ֱ:':21iZX9S8ؾ$Xzw0i.rUvJ4-ocI}))f% ZK~lE &U]v},sZu`3kci̱L܎Cqh>IYi'^ }?a$nhX.^EkTpHA GRK) #\ְfLZ\'"dc9؄Y?h0-QBM NJZRw-MZCq7iET=iU ECMV@?!%uYeL Z+ւɎ8=3,V< ]3K9[h\`H/QXmu{y/>H0b%`䡀-"T֥633'щ"ퟌXSP}ĐB5"z(\#hۂc ʦUvHFv,elrl MN#=62kt:&MTrEV&BAǔG6dM&Ľ:#Fm'dH1:ՁnT :jup4c%~y@tyKy%]6z9DcBT T\?ΏG6ӊ7j4 Z %JxwP'%v ݟ\K^'ӜMDF+l1K.K. !E򗈛uJ>eoV,zhnk}{R$znt>K%Op2D΅'때uHK A:>I e_'|&4,Io %doJÚz`OncF2Y qT] ˉ'%_uv`ҨGTTE+_jq`*>32w|L+-dܙwMEE&axIlM8.y8OJ#7dep\FtYIV̓4(0q&jQ x ]µH qL#F#ؔ@$ԂbXLBTF,aҩ%Eg7%,goPVZ´#:~VQ-)E#'JT7ʽ q.Sn{8Eq l$}0vQ *-|f)3X>R z{PQ.uBKD"L]!`MŊu|Bz&w1Nsʿ#XR\%'d~39fXQt/2(mֶCg}zI9|-_nѦCBO^&Z Hd b}{%YF㷽#L|AQ;{>`Ą%(tlO y9LEQYRX<Vh驔p09vZW;*!"NlOyvٙzG1oҲ@NgyK!Ckir|:5ƀtxz=cj 9@W{q@IMZ^E/]w I^7_/`[s:nUza3oRIJhda$֢b}cDVc鵖:|Z[WxL#\ Q9rޢ~J~r׍;e5lְ͗Ydm9d/u3_G'&UQ:eZASN5RȕL]J6,ZwccMw}9X!J0|V WYHG$,^W ?rb>+xYg ou3X` B(/ieTbF  @OKO`4nHBɖ{hFo!lhO8`ِoXaݱY?½Ic LA \(э&kx7oFA&Œn^ 0]0 .3jV*O9aޤ&Z otVF]M@7QS bfc$qֶX\;u^+@C 4cK¨||*yY YUSstqFBc]~j|н* j&:&M`mZ86_q09YP:߱}9`mz 9VI-e4qYxPr_ԋ MzraM:s+u+ ɐ$? vrMO"YGd }IjovYR´#dw`WH;m"Ohx7iD.FI C+M+%f["ὺlJDÚZ%XgB P_s.'iG!3.+b>F$7> 4.ze멞cr׍0 :(<À%s{ 3&g@0CDUyCz\,T),abf:?]O#G}Jd|Ih2Ny^qD,!9d 0|r{D{1dIm_]zVR-%#PW(yscs@9o(XZŚ t(VJh]F߉nl9_'tui Τ }3c,㒓GJ_H-(\}YŕXE,>? nfԷ0$}IdWD#>RĀT"#3)zW3E-$Q$Y-^qC^;M<!taϗ T2eE@_OLp53pY w,ܴ:mW^Χ'`˽~0f(%flS&+íJ%#o J-SBj<-_B"̫J#nۖD׸=w'Q$eOU25#{V8C1fݱ _n/ S!/zc`9*A 554Ho QηyG%vDV7D vMR`Nαxe4 #+笯C.ʱ'}ImB3C%<7T\,dl@D7ZhCA;WafYS%d{5IJ^c}0"b-ǿ@:u;~kQL1:P7iիܒ-`->Rr*AM5ݠi Gw@-*,,  HU#zVkuRwŪDyQ#gsz/_(;#+ln>ʃ"Wʔ%G0Jq)VѶUy*>Jσ !noono_Y _| #kJ&ubn$ka d6n@>mڈU[gO=i@1G/GL53[vYd$Jm>ң?Bۀ3/qƿyy-ENMeB SMLf*,N}L 0c~-~0\7l5>z^ti-:EnU:̼`O6/;{lEd |DQDzsWm$lSH {X#{ADC0*MI mv*.S^k{]z9,L;7<Y˛Bs`48ד>N "[%TtK*񄵵oҬ8~ɻP!5m^ElxMunEN6aRsb@ER  ‘-i\`>'N6#zmhT**LRɮ9Zvzw/' {FDŽ44c Zh6ɯX;O82%tm 2[ɄV/L?_B- W~GFmP4phJl*C/)/VpngkZk+s(45vZG"x =)3 y_%I.Ke֓HN n/fYPll`ngV{C޳Mli2k,><1L^Z$0)!N#7kWWo)aïQa lm}YyRLLtpyfkz۠2;=_ !f\1V 4 fIhƵu -bէ)tt\MMZ ą7 zT; h8 +sGN{];`鄁W1`Oydџ<ہ{e@F0ɥY 2:/)cxU{Ĉ)`B;}$̃LHnu/ ]#GDF&G׎2 էPqws"kTkU%I`Y R"tŒCX^@o(w^MHZ8iPՑt|Q}>k3*qv 8,CDS-gP7b̂sUTR{D녮I< H8+WyGLu_Y "F+`| iQ0 Xb8ƽSNa 3+k*w֛C&{:ĪnILeM!%ZCCӜu:,EA? 廷Ňm;mQ~³ F4&S|}3 ]9aS0EO:+yJTr/ChИO\U[EJ_Z> NڌwjXvyuvѨxFwYޝeZ[\u˴Ƅ,޶McRFοv78)QXz^K 9@_f-`V6fB@p>um,uqѷs6oEݎW93FGߴ$*JiM2 W UK <[a4atVzW F;X^ɪ˔ZZAN 2M#(L;bM;xl>QLt<3 IWB '~i>0`ZxnpXmMa/m&j(:>JC+6:z14ڣU MGZOAy## ӷƽ*Q"Rezٕ(se|i&Yf]D^qS]7lڻ [bh˧-[eNOVZZ):zQ)4-{z`k)\'a;)k'\bB?% S[.-5 V=ȯNJg Vˡ0a($hs5Rk}҉ViI5]7b_OAK'㵒r&*Y׏t,0&=F Zic@]pH>ޑ"[3VE5}orǦ 7I`$QeüߨScRz RXU 53cOjNtީ}M55|E_v6W}}} *Nz"VZ k*͇Me<_ؤ19v)YMOa!w9֕Ӿ l@F$rPL+ gΆ3}lЗP9lj/ iFfΎYd=B# N87]E;rrVp4,{MK L\\.BvԴ2fltDw5"mB]r2ڐ?&ZgǛ-"3mټ%IFj6\ ,x~h%2La9.3gq?I^V7hV oHTH#>1 au^dnj.hEG F""M;J6 c UԌm\dzMMV mݶ{O6yu^Ƿ]z}IrX0 ?Y 74_ͲROj.FǭQpo-;DIY,7q(J#f8~!0ݷG\LV~ Iwgp L﴾!E. n>F:rpJeF΀Z:!9h?bpFǓl|ҕQWq>F˓]?V_*69"ٔie}Y9C޾`l; siaJX9K`Xܦls<.za;r!$c$CAq( Xĺ[v6<Vn Jyj.DdbHZ o.4|W~d/=_ g0uIWGvЖ KW)c&a4Ĩu ۫ ucҊJ&PMRۖN8kQA;_,b'V j!JO: oirTP<SN_"a#gG:P̾f-`er׌u]9.: ֌oTeO^ G߰QXa#\u*$bGH7Eek(܍(@̉ѷCI5Pm}u'F@O ") m&iv)bF4OĤl/Bs&8Pm=_U-|&bGM~.P+,p׿2ͥɰcN]905<)MnFWu"'1ɳT^8ZP_$.CXX8qlN Ukxieh_WtM=_Q}KT˝Xmz0vmv.mDPH g1{PH9]OO#l'|a7(4 x{+Y5Ϳ_ƭ˄)"*e5ډ'v!V_r c[t d`5y@i G{sF*>ةԣ=vŨ7`,7uĿ2J78 wO5Q bX`B)?.dI) j7C`<$P򴲄a]c1VUsh"OFŗާvPyNFɅ>z_`IrIpCMuR4׮`5 ..O:S(phMMzlBƭ['֯%,{aA!gs:c*U\Kc)?q܍= /~޶E4ġMGWe MmIM7ڶU[Ŕg{2DSkpI-i`-D!]2vj nEp'~{i+ g!b@^ X8\I6F=FIG;yV4,y9~!r;_ʩK 3нDkOZvM|!8LSi 86AU.w߇@@|L{D)Nq<|3Y; n\-.}\.a%4R(`]@uYGKP&@ i%d,9}n.f0Yd$)C )TdI,VdL S *i4ιN?\cn.Ji{ 9z#K_iJ).iE#(_{E\eZNibc޹qEsN[g>K]qP7M9K|7=K|K/ lУd9b$>g3޷ݝMQń\ KrK~X2&!-@2Ͱۜ;C_8_k{JH8~/ >۪JmI l/P*l@jtxi%d EH.Pc滟Ar&|baYJn~kbېY (#+qaғ$pZrd.!2+6Գ(/fMQ3Xl y4-\pg4X E\D)] 1`Zq^n|=F&Cw͍~Ǝ_ 6&xN/n bp088e_7#y+`qW4pe<$aUs3[1b%MXD()_V{L]uSR,>f5zfr q5i]1Vs>(;mٌVK)+XBs ]\U,(y]8gI(h15s/i#k9<(MTfe螆-ũwT"g84eXv#ZtN]_ "sgvDH#ſPK{4. @ Es_KXS`` qEi% Z{[EyF;7SH̳Vmz}Zo?ZZ]b57?e})q2n^ Ҽ5̶J}!b&Eiȫj}Q#Je\6s+ 6dO+1Ȑq/+=6ԉEKSF(]E8,rLε aMQOKĪ脎Azet`nMڛLss< FaT79(p]0躕?eHaG u!3A~ C⸿;.j1)\ }jFrS|+6V]WʜPO VD73X]4uFT~t$9{Lnyx"teӵ2ZS a:fz!Lv8<!̫`2?pdȮxTZ/mO.3o`v]?s |Xlo*l3`RWCRؖ( b wo͗Qo_7K3Gס)#aB"zDXR7e^N`Ȗ|Q9`U:_ǯ$Vs.A#os4f+n\#{ w1s槞b!7(D` ߽z|X TMJRn(s\ PbxqNY 苆]ڵ\!?^U$l eXD#G? K_N{!QMI2'^C!˸N ZppusgЇ4+0Tp<{9{*#%j34f)ķpv: ݃;BVO EO2+czV9 z1iAcR6;JfNX`^~<7,NSuAI:7j]% FEHA adoDoK{ZXBݎdB N '_D L ؼI*m[ΐXAWXεnUH Lx7J lG+HXgx٢9"^6=DLEدǛQZƥVZz] w`qň*T#m4^BB,1kA3پL;~0i_&H k;k 0Wv8 7Y?7&zC8qitv Xo|nʬ?N`4+Y4{ב@Gߧ64$Ѡve$pjo8yp2nxC;ayr%4 O*\V* $zT*vDuj1kɹ}oŧم1S;@d6Pu8-.IՆ#S5-\F0GOBӎ,S:@Y0N>Ę VȊ)*϶ݹf9Lf!_`09GaP:IqId?zdsl/HBqs81p27qɋoPߩY<qo.w!T@oM+]ĭ$̂FAڤ"g6`jC|x N2%L?hiUAhh9ZVGD*hqIr>BmRDpİK=C3IGhهk6|4Jlه2KB)k=w-\m-HYD0bfbg)$rf~[K|'œ5TVw>tkdYd?khID=pr2TZ+FW&sLr!T<\'+VELI.|8 _Ǧ>r=G `C +9Y8/gn_qN;ǃ8gDŽ%/ۦ H`9#i-WS &+1nCۍ:RLO^2bHe`haF$ʝ o39a G'Y5ꀉuH !-c7"EF?wnkJ4@&+ړ@9f1 : )6zn%j\@ x!~Jg\q5B,1F/CdmE&èٓ}k&tF`V"}<*22¬q5QZ6Ϧp^MRSùi=ːSk=w?ą/(i{EC]+>Zmy+8Dc-zqaIå|Fgw:rl:$vqwXil&tGAJ_B/CBۅAOJRP,B\Ys})Jٵ"=Wa%(:GE1ᗼ/@X3|;Q9 [l"z OZ8:cp/wNfOjplWڱoaXOv?ң)O7E-|Ro(=2x"OWMQ^š @'EXq3l$׆:v ?OR<NnOJMuCԖ pq5\JOKu+'BNY65a%4~K[%y6Co X2Gڒ >Z lWm<!-7QYzhC;\H4x Igl*RXڠ}{J e.$b(|!N No-Yg2~@Res'ic}y\x=CmE[ѬE741mK1,nHGɏ8qN%n1Ý?5)+3yYڷ2nfxaw<8!y~4}f=>dxol0 KC저*75 d7h:e88!Jx!4?3z߂$!Y8q5ǽpb&:[zDoRLaلBqߢqiԿ4EN09b/[ 1u27#Cp3Qi'd2}jd4q:rؽsI!yCTԊӦep.ġRv/_ё3}V,M'f/ՔKwBmftϜAq' 88eR{mxgR*ѭP7UvmFܡ1.-Z[C8Ł Uw"Z\d;Б!nF5%}yˮ6Ͽn#Qz뿰L.s.ϰZɓ^yBġRHƹೝLwȓ>[]vfGTbI:g<]~9VO?OVP72/lp_w ޞdt$WK|5?RQvOe#k,}8~k l0|[ev'gj7?>HaѤcE1,l8K9}A 3@ll= ;aA:KÎ>T=U7)R{ gP\pV4-^r0kx bG<]o[iI)㯷1<9OU=)鋪6% wxDj[b;zoO;[2^T#:>5-T >2hVgdHpv ű}u)0b7l(xp) wռKN텄 Ђ.qq\ qqV8yJ &@ LwɴK.x+ׁLM~rʷG*rP [AMrf%NiqSiL'{M-[f5ހ%IdRżaL"7y !QTkv9 - ߌjYuԊeB6 SDsFy^q{s E_QRˆ?ն f.5 8 "NJ(ylܧ@UDD-~|6q=<Ɛ P)޻Ś\N3W~XQM)\YݫPag|?ށn O^0hJJfRgNE rMamRl d̐^"{F2#16,?M>W5 5+w*'-BTL۱I4sIai_|W*+^U7oM4}U򌹌mT D{4SzP ?mq[OϘBj-D2ѱ5ʐGcp{ !Mh袧+sUpOA0hgT4oڀ`w.'X- rFV"?BnyM2VӼ`KK=9\!jQ+|-&Ѽ{w|xc% -̤x踫NR/Tr4M&(\ 7*sS49P݁'e{%:r*}Щ[Aiy-ODTT33ΞUP}iֿLn}))/\n1+:}%=2Uaܐm`iܸWlb%1R~dsش&3bƃFr2UiF}S14hG.© m\tn.&/o\U a<$.؞w"a8AKt܇3Aͫ_5`7Z}C^3?ۈ0Oe#lE|O;q>0u%|[vo\}<3a4a'!&e:X՝3??8fZ>[QN}8tzb#~>[x‹4m8+vZ'1b:ѕk3֎wAտ\'v Ee >"v `'} .;yOR| 4^@ nM s 8ԣƹxwjIDđꜹyqlyci႐eZRsdSk*p0@So+(:c 1=̩ 8 `9Lw9P|5ۑp1eE02z3R5.!耸_hHy#<{>=Qfy pͫGpE9R5[8(ѫJ5LCw_H.\K.I9;j>DCaLͦzi59{6>j2e.-pw=xcjV*o}۬>6< "@$vǟZzu8ڲLAt )>}be Ics 87KPgt#}:Bco򇇭hsS5H1pP+١:$>d;  xAum|~,Z^~3pb;7O:QϮYȼWy+֒ۄP7R{0 ehh T"v'lȅݨws`O72T+gc' @%eqޅ't#[rzZϯr7g ٧^&>Wzc_m#]Ř}G8-y©.vϖ^LM DTBdvA υ3; 2Ǽ5<1:iDa;b]ī' jג@ 1'䥼$6<Ѯ5'/c`jb 4Du]q(*pN{NΖ ]im,esqi92&Ro=K@pړw:vVn2.1"e5_V_kgܬKKTeW pwVOp !MW M*`I~$k]RF/!_ D=~Vaf7V`e؅X{q*;\p*Isk\l@pii{(c>*̿#](TfMqv|$c^#gޜI@IߠV У0 9 ZA:?@s"םGٯ;Xxxv6btsI' T(Sc>'鬹(}*0D΂1h{ﲕhј&= C|:5J~2_Glf] Ղ/7{d|\nfe&S Txs(hJӪpsRUvy|26*e Ł/g8Q$r Ium?R?s$;=-Mcd%q9:XX]]5j[xQ+?nA@[si?5,"gɭUW{1'ۮ&vF',cCbH?#楑/3~,P'V'#t[ KD^SѶ6MV=~_ix1e1 [?ݠ6y˳c? 44a~w[Wog / vAeL8ɾ)E ln},DV<ᙸqC-es:h*lDʣz&E&5[X #pLGSҍ5s#+WT:ҋZـ< m'g+P2`-D}R}k16%P$IW$rdJnDEOuCpoWӖ<ƪ~YҢC"A-mi3zK|JB=n@20n[lX,+3X3|<)4emR"Dl?37l5.y qsx|]SD@Iib іl 2bi2Ka;MH=k# :TUGŧssr-3/hjVh TGn7xnW,,|N_Bq<Z+{3KNT副yv≲I|_ mPV.ds/ޞËƸiU@FOUL)oNP6p/^,o _} Q" 4>cPf:ctcwY21VXAӪ\}f$ ju{x9=)Vti9ER6k@W:v5Ie?fC>L*n#7~$*BI's];3o grjAG`_09*浹z!8(-7 N&BHB406 BVS#X_U),P6o&P\:Z1b p NZV8sG$ w+Y0~jzCaݰ^h1% q\䑂vͯI!oڙf<_3SK -S4,-X"^?T \|'O0Be!]65Vj /87)S6Al̝ Xy`$z1IwQ{ڼ䋒fx1 QvDHׂڭUy ANr7z p|7M[\qJ,>X˯=) vhD~aVP w_6)>l `K׺z_IA!UHԽb9!dCظmmjѲ&=C1F|D4_Q iTYgOj !,ߋ!X 坂+`ռі.QWRqdxtwIEQIǎoru Ba?Ј| ւYKZ w"h_բ8f)iDY(&|1FTxK:<aT'XN \9ʀռc@$kG3{VDΪQ"hKwVEqŧfN4K.g#~-Vo7)t`Y;a1L}GY 6ÎG8ޕB=j=5 H b ̻А+c"gŽ ]NGN(z5ARf]ԙ*Kg*wU/'cglt<ChQ$"hx8@GAk_ Q75hek㓘r9l{fELI( !9.HD2/8\"5ڤs]̻5f G׊\4b|5 GO'|Pt/4 \%"g. 5c*f? Ä_fbT"0m,&O2E$R4$}H$+Km^LU[&ٰ[v xRbQнj@^Y"ȓ"L/U2`BxR pV=#W,L5Mgdλ>,˭I~ȁoE ^\q'O*ɧ,4 *pN͍k^o+!ȃT0Gpg`#Rp<:\Ld/Nc!$f>)@QR*)"4ZD5.=*`)&$) լw=->][P4*&•يa֫KЊVu|d'^> *[823 XP۽ޘ'96$k% d ObkZMz6e/9,W mbZo/A8/D'"q*"*ͤRfc.rdۻ;6Fmp1spՍYhDB (Yl!Wp\8:| p"O(.6G|J/ladiF1!U^tB]"=~s8b4S˔w Gӳ7߼OVDdYF>;D1b(b7E.9NC xኰjl}3V4=9[w[288#QW YrO܋ w eCezio R?% [z(g>{\)?֩8(z#:M@i w?,TZ,  |,+y_Gߙ$6HI)EݤD>ILUpn,F!#R\?zd9{I,b&6A qaAnjZSJC)ǍHCVWۿ\YX U%LZh֐fF[ h)w5ye%(9m"ױgL Qgf([|NiJ;=P ^]tuDwOX% <6 OϰDA-6-`4n`9 #;Qw.hh^cwNt(:h~)'[ƀTӅF9WH? 8Re9˼zrV9X^VOPN)fVn u8Ѓ#L4GUn_WۑUc}U[d8s5P@rD_ߠ*zo\ 3Ӽk3Aֳn+m4-mh,&5uYS ˪*@@5~% M6nbnTEsz_DL.CP=&;*ىY7<.6>Okvsޟ?L}4ݜGvHK.//>{7ij&" ͅ?%U d7 .7Cvf \6HK[qOh 9Z&z9f3LQB>_TzU߹ȑ@8pP1E\M8&9X%iwvU5`E\26d3D%Qn5<3x GG4~#=bQB4s/ڬ΍-)SBM N%_Oi1 :/dw.p>ӻx hƙ9rl -o)tRQ+o"F5.緷gBI,"d|)KxK??I8Poո b X7u >K~Hށ_=E([M2`ָ*mӟ>ve6JԲ$G45Nf'>"P]et5khBk1Sl2#w6Vnćnj\O mtL}R] oX'wʉ7Q:Dl64"QqLp0lrO+kνލ±GqamO{t>HSrF'k)p+:4YVwwdy˨sH,h6G?D+ûCcNE#apGIjk Bˣ8 <|JCAFyn2R\y@Wޣh+$ KBS" .V-2qq ɩ@_*+6cS'56cY$ve:G"uB,Rf~+C>bYK̠r\!.VE [oiIϾRnb`rbăkPV<7'`b\T@[{YKiDZ]j/]=;z9GBc7sI0, tNN$W8 SjIFbΫ2jZn4ܟAEg7Y'!:0ᬚc\9.YSP$NaaE=rGzTů[gYZ7zXZִF! ]ŗXiɟopZ\T3j$4f{N2PTaq{$ `tpdž8jNT q `[ߎ'^F_'/6?| eT;":‹nkb\Ӻ-.Zb 7̝nC¯yӯi?΢܏Jb)aO}+ )@oJWIb1G!RxME z cV+F^aFQįgYZ7zXZִF! ໆ ]ŗXi%L!l.ah8Eңg#-$OybBk{dv =zk[FF<#E[0{HvOb: +䍈ϥ騥X"V0J C3NY:E)3t̴eNqg=yAlFZ?c4Cv+C.D'V5)` hrdP,L~߶:AKn7s8&t4X'LU|a3J%TvMQ[QQPZdaP]^j%Wh%rsbPI+>.'b%)VssKeV;63y'(^rz݊nwh4ňuC _S\w+MmE8P;q'Y;\2r;~ l;Wʗbj]CGK0[-~ƒ.iumy +H֢_GBv GgrA*BñO;47ӯLIOcʉN\/?!R_:ZqShEEWFlqn<տtt$p%!OZhtC jO/#j|٬l#J*G]tN8m!S}7ƦINSxM~ҫҘxy Kt Iђ28%_j%Yڢ\<Nĕeb436yP*C \RCRz!L+.Ty\یU}"{ 8=H,s M"Y ,+z.(V-CnJmn)%QQ 2B Ҵ#e.V2*C* ?C8 Ɂ=MKW8$:\b#aixndlȚz(}BW^s jnTG뀾se~|\Xïa)PLԞ6kӷQxz͒[߁%o_Ccu+ZtGQLt!HJ{}җj"D1B/1l?V)k%vFymʺ7;$%' PݫL'vR;!hw(svD\:5x<6A匋9FGcDUS5ՅSn#W[P ꐒr&zNݲSpy`k`cpE󤨤zyo;FuCE, |PxsCe#owxb!( nEwtӥsHs JhvrAL+M-+ު-Dwm!  ŞaL>K$5|Yiۦy Xߪ49~4sN{E/5 MQ\p']S0p3@ъ-عsˠgA$/O[b$7vM_|擵Y\&ցvXjYmJp(= ird3~`Y#0 ֍y#HyIr^9xDś n8g,.g %`gf%sV& V(Z{W?D# D%_=w[8ƢyhEGݼ$G`𝸔;g1YT݈dkXx3eJlBAj_riDз!ß%1㮱-vU>Po`Abζq4ЛTx+Cږ&^wx,ٻLJ*"Gúo ,s"v$E̽y7GPaq cRvyҸupI"z9F| \J/q#Ez]1(ebTz2iXMiYwdɝ;ϛhU]9+/baN/G}6[<:x֍|h`Ig!Õi0ke?t&=hnj_8eϊ)U5::|A [7~ue"=iJT,U4ulԇ;0 mrw9)ᜁ;fӪ Y;ӟe6u`f_cZ/W"@G?pw9H:bNCdnF]Ÿb?hTJ[\Il-Ns|刻B'Ќϋ8~*&hХ#2?t\LHn4WS,{88__QqW(#1suʴٛgy/&1TĿGtRԌ|Lߣ ha% غTr[{&K>:!#l6FZY-3 :Ʉ-zyDx(8ط%K<3g 3oT D5/nscZ8֍nݢt.槑`$1׬w&JRy͚)! F7 q*d"V@KlFas#^Yv(-,(,[_p)O٣u?^Kc,HR"Ȝ%2S̕7`롗{#cMgCa֋գ] V_k iQSoH]gYZbe964377bd51fc445d394bbce0fd9b22daf152008215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d