SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 (%$D ]/]HOL-Analysis:threads=6elapsed=301.812cpu=1462.076gc=61.124factor=4.847zXZִF! tIJ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'oBhog5rLjICx#oD3c'SA>$&.7/1EҢކSq2yFYH $m0E3"C FE_)n6szS#\sh#Cbi+S!ݻ|_Z3u_+QQkZ]Ɗr?%excKo@=5>cøsR%[վkk@IsyP ~sࢭTM\/=ϕ\UmT % HOL-Analysis  ߊ[pgڡ͉N SIOYvkiWq(<3=hĔ$-kzTw5~U?y6A+94 ?]ȻOٽ-"MDBŐo=gTxW˯p,}JD'4zCE(:|ѻXP3/QQ?p] LC ^b嶮ш[;lOަnr<1k9UZĞ)͠"pS$5IjZ$<Hw賝UWVżY%^]6͟1K :Ȳ=&]&/π+zGV(yU|#4hM~P612_tJCƷL:Uw|-m7 P]&<`jĆJ/ lR  zfJAV(-w&˒zN*0';fInE`tGBe*!"#Zqҵϔ|:zN2F#e* Fր9m~F&3L3t]VШSҗo$'(5)|B*d//ܪt*;Ee1Z8.ivKFDU&?h1#P*=?Gqhؖ !EGu`1qdOU: h8$za]ïy e}iMDY V򴟹%6F,/\JSi[g4! #}ȴ+lɺU`'*ysDA/aIJۊGeIw(zpr4mK8٥(hA(91^Plbk},=cO 0b>iĞ 8@?pe!W|J8Jmusyx{s͸7FN gs<}lS j " ]x 6kᦑX{KQo zrbFT+թEF muV=`2R7(3xK1Y?s&|9\ALI))8QSQ]g ?;S JP>tȾa)NFX>ewtw{8|AsVgQ51]x˘^HГ:dʞ!BkYAW5!` vE#wϘnVrpV4[S{LRrrgŗ`UۉX*N'{ vIܣ.,o4V:~x}FcAr9sDQ=DZNV~4xIC%G`<y+Tkm`]ۜ:0f1ڎy}Q^5WIV%M{5&[\w$9>n #8xchL=gM8K3G;Ja {yN\}\a- a( lq/~`W敧=߂`ƚ} DTyGBA0HL "Dm \L$+khUiO{rNhHM=`5gL^ѧ] 2}] 1t_"z[/Gv :ٮJZh\|&L!  y/;f֔N}/$5Q3Kj *Җ}o"JØײT*#tmp1P׏k5AJSTvPI\G^d8_{R:~U^|kϝv:[cG#@ ZWvW-eߖ`0 ;p0VK3 +Y%cwԟ9dOXqfv B{UQy~l&Vno'`wʬ% -rzwlf\R+$!)x<%F- F}Α8 N&IW]A@]ѱCn@󪰖b*J\&wť w4 #;_m[fgTyˉ:ʝC[rtt ƐXb6 4G(8Z|ӏǂ{߳:̗ bV>}U. KIh 2(h%d B_ 8>jmCi $;jdg @xjȿM d1LfM1j솂-#wW ,6c>ҨZ4g1ϸp@p)55X!Eƌq\DyPo^ J*I C5蟁ƏrfO]ap8AG#/Vy dž*?{ư~ 0zXsO`&A\xh+X@zɪ53p ?"r,C0Ѿ#=ytINn*<[&xZPx$8B }/@Rav KNӗ'KLYX y1aq#"a,sdhJR,rv#,!Q)ao0 "zjDVkxARP Gݭm7DyD;gjn.QKI: q4FYY|:P60@ #4:ۀ981B&N9}1 Ǘu?aAnA}[l|d @`Ԝs-q H5)SFX͌U@..'"oc Y@F% Ϡ{踘sHߦW+N훔ߘ[? 6VF>!쿆M[ٟ`p,h6H^m;+!0fvoeen&MtsxMDms{A$/|Dan]8F e"QBQOnF̅u'i9b ޝzx̅LU mhՇV`V1N?/k 9 m?v`LI-IR#Uۻd(pN>!k7N4C ڌGD}PsV/GgCn&ok%}aW9Ǵ–@Fy #W趘uz:^2r/d nnp2=`zl̼J@3Ԙ2vIˎ:MԺQNE>ٕ9ʌhn)>;ہEɝ\Ao ^-$TC_zЃj-}"u}+6*7ocK`GYNGz0l Ӥ׳O}١~BM]^NAis98ۓ-aLM!|L Uc-XE ox:#(kC3qd͂2~+fk{+1*/GE a>P#L6B!~s>_4ރR@; cƱhK=mSG}^9R¡8-$. }c{u)..238Cqxq5exQ-TJA(td_R`(ݪRLt3 wǩ yYZ @;DAxҼ πRIsouLs*&D}=""!쑫8`ϯ\2M=oaU0tV9z +5W6ha`3C%nA[Y,ƈiǪ~=Pp_WaWHƿd%G>oku,k &lОb~ޝJj)U&6i4So ی V{ # )<淽<iJ80OXiA??)$ꯁB6)cR[>iPwEfʗUI?TN`|bbbLrC 照WV x7fb+5y6 E1- "R'"ۓzeхXl9Qez;g] {ܡ Tf ]sH Sqf@q̆_ |SuEwz^{ r:I@;o; qbƘYt7aXC,rm@BwR%IH)&Z  $%/[߮S%I ]0=): A<_Ҁ"xpTrڅT iOw׌B'55xռCZL2=BY~!alưL腒jpd~nP ?Ym{5&ZmX*IIF20hǕq#s( Wʫ> uwk}twP+K`֠.YPW db51 l5~htez0aAz̹p>ʰrMi:\Cun y~,9ƐVjOzZE2$CaY`3yxÙxNlU|fTL $Fyg@S=X^}3ܤ2&2c'xN FLYݲ-! F훎-=}Aj;E4UWBTMOzbX D[IC#mv}i?c@8% 0NVbKhb$%Bx PR 0>LXSpOʴJh5& ,3[`i~t|:Ub (!*rԊCkE)67*KWMf7: nuC:>u 'aiZў]Tp:uWE^Y4zDwmNem˂I]BVzNd~36*SL]|qZV`VgM]P!m9ެ'(HXpM޴[7 .gsjMp'Ťy) 0E,5hg[AU @oU/7UVMNM5b͜5.#{Fp=,`l x] EeC)Vx.W@Sj(S'p,/E\K-YZ..QZ=]mHupee``6:M52͌0o@[9@ʵ@OgOS-_GT)cXfMx#NG8[ڔ8T(=_/\܏PxlAUT ۑmrWDfլɺ5+%8-R!1GUq_]([uZ$3LWkT|*C$KvR^@InHoXP7\GaO~G D1ᖦjJ+dz4Rǻnfp&1#:V\ ` #W'Q鼪glOp+[:`${9pOt0Q!`G7+741)֍p(&;Kw 'UUƥϹk_Vqq0;l [.sYJ䖭"8 tƸ-FODSub] =O|pw]=̘TC%g,ז + Gy:t;n蘷HPY^0Ig?]P9M{,.`ę'P !A[qPU >mJ$[c((44j6\4/c:cuHXr zK+[jJ{XL tEvapNza-&V/]5]!IbViŶx!$NVMN%R􂽓.E9TUΌ+[DρC_u}p׏)8]%O_.} V鈁9M?'~FeLM>' zO8xzS;lk *$%r6Q9R]@5uս,nkPs8T="EFQf"(w_I'$2Z19,o^酆銞$W)es*Mf/M.ޟg `?~OcYPոFa\Ļajw-E=CeiOK:Jcߢ%;nhCV!BK;}L@r,Bύ^&K='(EoBbaQoA'#HN6.@%{⹬`Z# Jy/iM/R(<#KZ Pw $G(q$'-6xQu4ߥ> i ^˲sNOgf%bb,ޓq MMPIT^I "M9.u,)HpWI!ykd do< Bx6iYiJE)m>ovQpӚЌa鼣# sw{N5~j--,swȪ[=G`Qjj .d^0xx`sk[ܷD \p4. +lz.n[5XC^^v0'V'jCH>V MyJL-ɓ*iArkg/BߒA]%^B׏:֛Jtғ̊{P7K(K.iߩ J%H}F%o}[j't9{ ^pT؞,ZVe .k;N)$Kg/H@aÏU>bJY]] A[Smj &)oAO\ ' rZL eK3^th<әr8#kmf.:rӬɜtEWKSgPNj Byq[f{ռK56hA悲B|:S>r_H/V:/Hےk^0ʎQu!mWBy)(`XJB8 ''.ƆD5f̡f6Y8;`6մdE^35?X&3L kXoʟHqo+GPMJ!%{o0@( ==x_`x-UȴkB.`883%L{ŕ`WŨ@ 0kJ 偧 ԛoΎ(G@e)ΛI07ű'tl"x1Ώ3!-rs,ސ|% ?]PWB0o0Lj.Cz8=,sv~E*9V0Wװ[`b$3/;Qvxp-GiWQ*_eǰ[|NQc PT Z&\:5e'/!,fZ/ő^ (ۂ-غt.l|͒!UPh.LʸD0tn&܆N[Ks $fsХ6: }HquELzFZIg<1ٶn kbe6K<6Z'&l31: wN6A1D^VI{2VXT9a e]E"ҵ@usXtH Ł.egt`0NKźJC?1=sv  M<(A*|&iv^$\Laݛ$7,z>ţ ,xS<ૺG].톍(7'-5ǥn.BdvfhOXX(ԒC&i$ȠEU,pjpG״jWF8wʽե7A#zA/Kd|~#nO +3Z~t] eAJڑs-Q2&G Qsood9EQFE`~ޖx-1J H_rZ--K:|ُtKQ ?Onς wyeW/D09qiG :ɵ7x_RMn;Hq1A: q:{7EHc? cb$xlcy! ym{15]ѣS#z@F4 ؎E>VSi-Dgs_i>bE8G>j_,y.Џʣ<-ϼ@$'8 7d3d(T|%Zz0$Ah0YA(Y85«6>Lx,j=ƒN+W/jj2NKrR}CRu 낭i!O\A~<Z(?p% ݧ.[+kB (z# 2ZLp|':tG?jɵpʪ!8Ume,i~\UjE8H_/~,翘7?3aЏKp^㺖Y+ݬLkˡq24Y*nd˂L| +zpX4'tX埁4a R6WtKg4.k: ,k R*1p(Dڑ jtpZG׻pHm SzBrus}͗>Z4[Q"R~q 5a"D? 0#*3lĽ+ *U'7/JF7qOy 5 0xcJGT>=Mf`* ZjWA5㈸Х l8v! #Ec3qpqa4lz{1ޫ.'lqĤb%vRep?"#5afviA'st90.@唫6<|D̶0(x㧆S)Ø.T:/OA:|s9mpK&$k]Bt>֟@0/4"W鍭#?.A,2rw\a*gǞ82.*Tū9bbVg䊔n=&6ɶv<2׵jIƮ԰&OäL<vP4~X踁u{So$bKYLnǿ4F_c'с0i_F QbESm^^gWXeqN<>j} #”ªpe{H(((!k˚GAb4>^bՉJQ !3iruLFpyIh.*yu'֦lbާu%HTvCcUQ6+p!LbXZeE3@s p21.׾1"z‡7v|9 em| Yˏ&7fPbtnРQ*ih''~ {qLN((0EV:GBdē #HhL 5ڽprCž'XP_So($WEQ5U\Z&1 *%sBS &.pdIbM,}I7E g33Q_*(,>4akIFD)fee1~ - CX8lU9K8? N7J@LZ 9E9oσe>'J+1Ihe]2.wj?D5j|:RFP=ĮgC|oK븄.۹J }KoJe9&cAlrIAg ޕ5g Q*NoZTXqi:bP>kߘ;K$';uD)=Ës|9y[p?T}eDuʳfB$r=Q2@]6_Zd)i+ \xGy70}0W.h4=5EMZ8C%]H}kQ,69T3'ݢb{E&x+(=@f'X/_X'X8(S5 ȁX;I͔2ZEԢ>Zc|fPIUx:_U - H}DTyF4NiI/| XTl˃~{zHG4\j8rއ~ՁgrphR%T@}݌/ę{ut)*?@I34ƌhy3G$5S`l uE[{!gIw&2ΓF%3jz'GU&>`WT""iT8-1+ 2}PʊcXe+kf-.r/7CL:( ewMZX*Ԙy3Pb7љXb !`JbYJD8[m3iA~%F)BA"w7a23/Wf-F;1cլGDօX Q)}qKR4Ɵl.-`ʑ[iRj--2d]<`n#uww6g{ot:-H 譼6B@Ɓ * p8|\E^%"Ɨ4*x' @ C+884j^XH}D+NLx}JzWFٵlC~ɓ uG@OQP[Dz.Wnk2X ͻKR5Iї*ނ<ʍy\c2KLo{€y(W !%XI&Czm92nuD]Ҁ$jmuX+1*E aLf~ q9dѫ~g- ɚOsb>O鲘,7Șzz%s] |$a{aM"= wE$iHf_A֒\V.V5>InHp.Hc>Mmh5/w!Zi]5gPeLR =H˥9fb# ®Sd\tb(urea "dwʿ(ї*!>bu8'ޡ]h,bܣ]V/kP*K {@UX*8+O0LZր;/>t_a|2X)颕UcݵE :,26&rԴ.Z .?o$kC:;{f=3'-t9Եl$ht8޺V `Zį6I\{wGgY=ፕx,"rV% z=ݒ$RN$RCGk,yfў}a%$9#0wJP`,,`H#]b%nrP}BW}i|voS֚]e[$?>oɽ\hML˳X(^,an9}p/PHH0w u^J`WGV1t_ ~NG=I_N.=ZPg^QԠd)\%3NUp:ۤMPfߝFhh_cƒzݍ"[7Fq}a5Li0.|9ľNe޼t &^#ĠX6ooPd&jueڿU *lu7ap_$aY`q=<>EI҈ C2dfuLF1LF{Ǝ'qR\7H5 ʠ?x>:_鹑E ) kmT^LGCŞTf]12M\6M3Q9՝ J#Eg'}N@r~lmK߆@.i^vg |4#:$@: qk~o8IR 9 *^Uh3pMa,r #:!iEgSX[Gca3=!*? Lj!2MRVs\M2eW蘼Y Iۄ?ئ%~x`[Ck:ј X7J-[[/R6JBžļ9S=d'x h:Jw\451'x~,L4ӬWV,̲C;עaקY^N-H3)>y'B5g=jD5dS\Wt,C K3@*s枌-=_fMԩE=܂(YQ -)dmg|L.rM] 6H9 ןiq=x'}\5+ XJ`[A(Hi hIG%PIvyRlR} OPm>\[rk3;၄(b؄Xk-P6uO\G$};kյ) ( o3-%&Y;Ij̄~Fݑn Y䷊;^9: IlYgYZ7zXZִF! "<]ŗXiɟ1˦r!cHkMeBd4eMkM-4n$zK,-poU E} o6 ^9"q_ MH2uډy6X]2w0.W_Dv*x9^HΘ0 E\k Xq-./ʁp Ol8$|=ycR(yE{0\hWC3= }~JJ%1~X"_,L\Um{ΰ1)ޣhZNp6gfq=4(YzSSjuD+"_=%vǻmC~U0sf /wb1!P*qNk+{нtDͩe] QB+F/u.@\T{f~ۯ]H/Iً#1s񠔖8;_4f[)W|ك9`es#> W>G\`: vÓ]+iO?I GMɈ[6s?[ys.17O4'xf^}$J%pr8>&vi r^P#@$Vpak/]U#ti&UnTdSa fΟL! FlWz{E@:(4Mor8hd߇7|Whg)|'𣼤hmLOe0{y\"yG3^^t?RIMO☕d<#mQb|.<>L8c9ޤB}([ˇՈorndIdΙFd+Ϫj&uWxr5Ø9-g3yؐjVm@:?4HYsUdw˭s_1E% ߀Q̄>4'x@VCZ" #(BUTcA)cnj Yv=Z,j*7Fn1#w -k3bqO#lƒj(uٵi%x.Κzӑ9mBO"sPK(]Xup:pы?􎹑]Uvq-d0R߽!߹WZ[4%!'wī Yz%iE3= `CeLYX1qߟ'kS%4 Z.i` 2hL",$qe0ʾ_-_^ğb6)=W?RJ>Dav 9\Ql;!ç+0r$IDSi Kq[b(A^#{[ 6ac#Ũ6]"5=+hu;m&ߒpO5$#_asq.*Q* ɷ NХ.Q3eƁl܋?]m

-f~i<<MEL2Dθ^@ۃe1Rw 78JfMQm/rJH6\2!gE;(GW!]?ԛWѬ>h plCk';~hf9S7 vFsDNygE`+^?U U9>|,A>f:`)6`tTR\ǟeQzmu|hhP@y%Y6HO5!trZ,46v2e>-o#؉ ]'ܢc$,OYBiWXRkBNg[CW\ÅK*fp$ڻgo 2H!pigm(aMIip/ NHud,٨&.)j^/_$Qq1Ũ: t510,AL d.~VAT(Xo».e0۰ŕ|F|'9u4Z0rZk @e#1{Á| ܨ,6X@{} qF@yși$ev;eZ=u危Ve E(tML_  PpUY1&mz=]mPKN1CuY<~m|ƒv|:o1ûNJЮZ3h_|9L3k$%&fu-v|//-@'.0yTOm M Q3-q+͌51ˮ4ҭCgP0/ܤ=NNQc ,.^#Lf+"mFֈѷ6bp"%2WrmVDO@[MF2L^W!p=4L) Faԗ0ڧ* _FS =mcO =yVojhĸ(ƿ4ox9,gImWz(1ѯ2/DEK2[d#͛rxJh\iL¸HmyIss+(Kd9C*YoKL[̒|ZOdpd\%q1ݣ 'c"utm(h1mU[ŮjV Y7㙩GlA"y=9X11/Fʥ/u#6p7jڨ6Y~ kڦP߯}1ov ʊ60PTr0֊No. 9R՘◮kTuZl+UaV2߸C$L3FJF6ک&'J?>}=ZS":qIOv0QڮB [ȆHg$oٞF$<պ}+7!7WD`\.]7/AH%>+W{({zlT".s/8p'i<A+)rļ_-vRfСTp fs:zK+yw$|&D͜ rOƪ=$` ŁMN %$z&B=OɚdR$(5%8W ,j{FiIћY]CߛNex T?Jo.Z2LGDiX Krdr#DhBlw90z0Arfg'F*boԗQ/)k xN@fmcy?a^GC(,*y(19Fns7d<3Q:տE _#smwM d'hdC6斩`0q!aE9,}Ʒ>B|r Ч ,.\^N XA ɋMm4 $v%%欙*VHh^̦.1,NKzWX001M:W|R C] m^XHgee z_<9=q^fC`Ʃ߸+S4Kd$< iU|bWνe{t>(2ܲK5z[ȴ$V?v]%P'Z_]sż  '.i^䷡:yM~ɜ|GOYh~ RlZZEvpwNQuOsXٛj}cF%҄ăi sXsd=6)5`109"#gy71ө09Tm хxꅟ:~)eYjmſ2o]jy82OI/#p~.NޯSO\t 6͇nwuDX`yO6Ӣ1íY`)gʗ0F:|%RFH4I/n˸U$rVk<[!d(d}uǟKE=#?0̩US7T0V+4Om!qnS_ &oF,z? No!دlU#z3M=etΊlռFYdFl q.=8ID5=2.rYA۟m;wPq$%:2M@k}ȒYlRrIbY(O%fLU7a7kXA,[5*a6<W.3fS^k(~tZ U_V] J~۪ wkԫ 8=R;k2VoZl''75s-K;zE 3̿qćd^u<܂p&zpxԳA3xj }_țP'ՒA+7@CF@o0FX`Ah! bǻ2תz}I%Mf;>ɧ(nMrkڴ㦊!G2m`.yWvOL:1R(S3EA ,d} EI-;=a7V A)لoƗI\ "}$2Bl?仦#dl ɼ$j.6k"L+NAjXHO[U1a;;B;]+N(tis,~N1Bh.t6 ·G,c 5t'" 0cְHud mxH,]K<13A1qn>xKq'Xvnlj3no \^괻!_ϧjRӞ,c=t'8,67;"Y!fس´KdtPn-/uGHy&\c|,'2UvP5MޔB[H?Cw0HT!gzBoO eXݗ8N==B}ґ㼄3.$$lB7ڣB8į~qtVQ΁Y:Ol IZ34_5w* _M\K"P#@,&/|kŵ" e[w쭓 !=FE*CU"iYҖ/ǪunQE`]Z&Յ@*޽ STl\s߲/IZЦ;eшf2z(yq6 sV LdZ,іqi#g8&2csͶf `@`O0 -8ȥv :7aO:b`/+&Ccr7PTI!;h Jֆ#WoPvSM{#<`쌌^s#I$2NTwF4{up.&K4t![ y(P3FhHn5yh]_*o<ʧ AѐLaQK9n"m 4G8;Z 0iKNGxm^?VWҷ (;J_|Bwu J}2*uld]Wᅒ(0D^֡Nc5G:k$@+$UQU{֡楨Z[U2Jу]o+4VXD/ SyF)jVafN{*g~QRNl:s,Xݭ%R!6gݕ`'Y4匰Di{vBg@ޜ+gl$8ˑi.%K&ׄw=a)O՘_)* &;&ncAV=Cram+/:$ [~NY E|ʅҟrmRKFIZ]PYFyЅǎvuJZ'o"&(uQ9+Aa\ЯTUMh/,NֳR7EOpzO#y4XPPOJڹ#37x`TNC]$}Mڦ2U @! a Hxc lYVSG!}YW7O_` kR X|,ulF1 CP0-pE]åJVS>9fjR | Y&q70%-G4?6o-%+ $3Ⱔ ^;ɩ/3gwx{BP>4" ZݕF3W%_ B\4W3 9oK"_;ָA^WkqV(K>֠&N+/rMS@QcGx{H~-ڷbU Bw(b7lG61ɪr}#N I',cg <7R$T" *|ZD ""LGo`~Yc Lh0cxZh!Yƙ4q@'2R\rm v|3G;qShcs s^J <bqށ퇅/ ه1>W[i"(̄٤*@X," wg Ξ>ЁXUѤiw&ډ\5u|9R[^6c)#XixGW bˁgr=pZjswx {ET||Z/k;UH# qXj$ei 7x !9~aI 2/fb_ 68{~mG;ZX~7]ZS$&zAWs.E±,}.ǼΏz}|a"7ey֓TSv6㑓xN*Jy_sY| Nѫ/2;yڠ Ы;H뉗/.Gg6*[O1$ uR's/]+PѰ=nq9@WR :Wʥ, &[ b^kL].6OYA_$A>ČR$R0zFtt\UIk.L&q@j`e .JFlr]nZ8k[MtK%UssCnNY 痸zh ̭ E UA*=_q)~ŹmߵUb?j+?ڿ?'ˤEMȗmola^4Wv{s-7 !h K2 JѾJr&bM|@/<9E=oGT} .Α D_J ;*[[?js>WLU0)X,2 w?5(0F/U%HK $JRvEFQ#ʤ+BQMI#"(>6Pfyo>u6H&3 ?lܠ>s#uqE+BmtJޅH""5Ϊ- ~\⾙F^* _zB\ҲѩF2w1mO3C""i4ђqkBXX95='V#}~E;}3q7̌8dn1`RV^a~ 1%}N0 )M +9gW~?%cw^=z6p2%Hx? "41@Gk[մG^'s7bF_'0\06 QBOxG$,y~ǵƹb acmC-!q@v+"kQ47H1p"m‹v5sҰ[1U=ẖ %^n'g7ɤe/#/ 6EGh }0gT1I //1oNvHc dd~F^Lty^ YFL*Scoi\? >.DA .0]£ Cm.7~`#ˬ?HLҰaxy ҕl= k64mU!5-~c:1ήmHbv) G̉Oے8(ԧf]8>B#XQ*E;ɹ*k%Sg&΍FM,o!wۀ:0b_AuC=?pV5ng8Lc0cOh2zz℆9EeՄ}tu{ %d"( -vQD~EjԴX r pMG+xan<.SmCQf5GuBa) &uarƤ]'뿸ڕa;A"vX2i6+a%:ΎW:īI:DYEhfE ~bY-([0)=hWFe\ZxLU"8]I xL%颂U إ7B>)UN8mո^u1bZ/ͮ@t ؽ IoPtGEV f>rG Q-nT|bɵ^P=Y^ݥp|o6 ]  J͒;guiH =3ƺ~%! s{nu'N|;EDerAb1-4pBUbKg^{4 s|VSK x΋kd:cԬ)zZȹ۴q Œbf˞bs6zH< kl#ʪL0dXM΢"*>/tF8Yc meRXa\;q r_vJdg!OJSm`q+ʡKt>sVfEX8΍3CJ[d׌> 9VV?+a҄׆9Mi*BGiWg1sPH~aq=Q^rT< YY|u}2boNF#$_"rX:3|T9F:u'6ei\?˜J/R}a )PQ8>thGL#eo&U; 0] XS^qih' KPxk0v8iSO:K# -cG&{v9 KCSdQ-,2 ;V2bBgVpBIsKl~]{'\az<(T:vs zd5(F11!#"by 7P$Q5j`c swZt "Rԧ%V*uP%5||2޷E@_+tqYoR{sh ;K^oiAJKvi^93^ l.hc;\QΓ͈+^JsDt酢ޑKRz܍TA0Kp.b6HBX%!~ t} {ԾޓN3S9^ "[n~{,m ρd鋙;=?&)rXwf,$ˮĹ۔a-<$ GA8wٻ^A)SOn>z$ݔk;Z-4Vpisɫ-NчM7*8:M nQ}7׀dzǤf= cхy!Vs3t!@:}{к6*XMt`8Ǚhu#vUsw0BX .谉=M(b`9CӅˇݒK*LmKm$;& <h;̇ 0KC;}Yo™JN Oi{tjgX6ܾeI_YJZjfO&cK֓'z$eٸdEz,l a^0n~S*2mVw#T5g :$L(0VU8 EqQ:ugR/( fT^Rt\Zl{DnR2C:SD[6;3zp+ q0)Wf!CTإxqZPs4Of$g4zxҡI`2sw!Ϥa?4űu(C\TtOΰ*{OO=Ȥ&BYz\  ~g "8!8DXɭ\˵19cTMctp*e߄zڥb[ T7D$VyynCy2;~bY[5K=f,7 f!vmOxqZ ?':Cb#RzJ JTFkm@$w7 ]hOXBټ/9,1 c%Cz奶Y܄UmB8⪏u{-$G<[`IYΫR\|$. u+Cfa[q"&t  *>_дV {f'hI"Xg?:R@NkU*'7WiLN W,^ǙvG\E9e`ڈ}f޽3n}V?ȚZ?J~B {[= H:g3{z5WYl6'ЖcY 'S%*HEלVMm K1bxsatKEw 4reQ lҡN."W`Mc-A2G ifƪp_;+bS4}b6f3[()=vn#(:S v?;tVQ!ڳ1[렾J}I}crk C6tr!]/͓S*u2@u~I`9jNq+tB^jxW2|Qr󶔲ƶ;X~̡ᐂڂAֲH&`·`~+1ҩPts;UAq0̜= UdWi+"FO0dUZ!5f}ἲ 7s!B#{Kt;h^hwG@_~<֦ XE! 5&;u{I>dM2xŮ(UMDy,5RvianjJB ⁻|4dݤb>/Uݠ|SSDŽ ۓppl5A"4vFyQrTEMԦ8Wo _cop_vPc߾5ފ=%eI-o<6mjHm6tvcL1wWPLM(`s~!ýYX^C%_}fuHZߪg'bP7ʬ6^1|= ׅ5WO=X~0"Q!Hr˧(ktCm ײ%mz`Te\H) bwg1=E#wT^*x_wBh|xI8cFa-W$ؠԻ(3\t% l~>5a7%(3{ٚ1FE"Er~mS04(ks!|Je.Vih0 T܏aۀ~&`lJyI WLޣj_DK44:sʵK3 +<|My63'F\d%/ / P!%k%#ixxZg 0+ <+?vc~(Q *d]T}pIauAWYPz.֒г}x ?G:ZQ+t j}[5(y0 !?k.sAEv!iHm cKHHbOSz$R?{@DZ"xEUZIO -hE@60-虐GXP3,8ˑց{@ɽ S?aXtc ݜUԔl,6GrYTltMiRZK+ZgoGb9 Kke < 3`J A]u)d. Tf9~mumkXY *z;Jh>}qei"VNc)?%ҬO8͘w\y10jbh(ilzcڸ\#ӶUnOcu}Lf V QtsyB% x] Tz ͔&d lwe# cQ_+o~`^fwV٩ko@z)5,OxXOfu'TmpWF~GpvBzܐm <"nd~:X+ǣ7lh:]eBab^1WHt b^5qTc;sdyM*w O\.w9 zgB8Aܧr̗ed|~8sТ}`w ߾UF=haTzDF J8\`F'OyAp^=1Цn'9$e֭^ XHM~inl%>al/O3IOT/b3=2>e 7]]&L1#MQ[`XN6E6 wɺ=HfN~^{vdg]x.N2t\] 8\FTtV5-R>2vɢV"0I3sќx % imlÄRv7cO!=W>a8řf\ٿj!^l{y u0p?! #xpOIcp"a%B!ݰ0{cH=/JjhRu3U+\Z.q5/;E/-.`1@~ط|jG+Ȉ*msvطۧfh_aN:W&FgF>Ӌux{oK]AY{ů*#j+V>p?҉AՐJI{qNNNSS4w[( jc@-z9RM|zLJ H?*;Hs}֋7̖?565b#g/54]OؤzRHCױM*0Φv1Vhȧ;U2aOSƊYډ=.YYr Q=߸g齠V\ݭPljǘ?7kT te=:S*f(eCI- ã9 rԺjU1ʘH$(p$Np1:}{x΍RKN]+dž"Q=6!65q:;k>n1fĊ^Y^hg):nP7Pi[둲18GZ 1=\jQgDU+!B㫶Mj4b.=sjwgˀp UOs~u eauzдNi} { A)1Dʘ+_^ J+-ݡ~_9{wa^g߱Me3q_FSTrYBz(;q^fKơsbYrFͯ_{x:&|ksZm֡ALfP_&݈u]FU886|y7PUN|v9%hSޥ3oIHm+7!\o{2W]l} Gi^?!6Q|ye,['ۢDgScT>T΅g/[5H|h|:Cz-27tI)hj̭sohֈ-bԌʂY8Q}uY~vnsDc}G}%RlЏw{$3ds7}*??TYn bKD}3) ,C4t'}c6G,SEŌ/k zw [<+"8޺B@kӡ¡- :Z,m'B *Py蒧g<͆? 6V+c]j].VFz' -HV d0a:F8x߂ [7~УT2;<Cj#-5A->GVBG@6(#G-oƏCX6)UV3oW* '&d8&@gA]O50vB8Zg/ 1[˘v󭥍]>G_۾;Xl"z1 2ڕ*qեltasWEƄ I0S6/9>+4u2Q3) +}Dy]X $:+l0H$[<:u^ɔ6@K.XIPs_ ( Y2h/#Oˏ<O<o#e)R9p%DZ{ _f5Qy(1#AގERK.jk¥Y%e Ӆ&eӐ̰g5K+CX?,\6 ḯ^GDZ[&=ͤ?~$ ȲTM|J5syڵH[tğJ3'FV lFDTBa+-- Y6ˮ6@F~N yܳ~+ c{3c h<߻;Ѣߔ L/vsôYuE3nS^<|58Ű,pϱOp:) O/ >`yvBQ_oZV~gwus+ZqAuL%nc0S+e);&04oR؜5c|1`l8B˵` 4n}9)@j-#k8';i ;A?V @+ѺREWQ'Qmu4yАRÞMv̼X:M2BߵiIc}V;a?vuH`'RTӆG_u^=:FLEؽ]Qr#Vq=LnRCh~=Bha쏿^ݨӵ9Ie8T6MEye$_; -̱(y{Kd~踬pT3RZO/y¶ :HŜ1G;,eZnLL2]O+Gn0SN: qbWxPs3m< ,bRS<2l7 ^dqн!*~7i _q0!Γ1Ik2ud9 w lb;w{̌Iv>[ƿZZFwTć;Y~ 3 .y)< )2VK= `½U;3*$q([.[;۠\E纋)sSFcPb] 4rJfl6tBs?Xf j!SXrb,Vk00RY˧T,$q:&07])t$c]@P!u Ol5!uڕ3) 1Ɯ?MekCЊ[8~f_YxWUeلOa~x7ϦSox+3_b=aa45r4M/?J9 5GXyH2OtqvQ&Th;;Ub 0Wg]Ԑ0]!^PҘuJOJ;lH!AH-=0:4$Lxkw!g!d{\#^~@m|G5wn8Pd Qӈ`1х͍9.T.<;J1u#>I\cnA.ߔ"/k4|qҜׂ|_7}P8,DMC'NPRf1/YVˀˊF竄GT+;fX7eY}K%FnJ擇wN,H o>oZ]TC]}zk0)duK Yc"B!TNDytukڻjqP#Oy'_yCV7{(Zm4ֵ!)`|"gLvTL-4 L;:k1kyPH6:oRZ @Ʀbr_^s#M_ؼIתQE8s;i?Ɉï YqN9>@wҧ}/ =N+pK.D-4ҩijeL<3VSa.{ /z  ֒ҸOemKNqq01O zQ ~e J_1;,#h2Ȣ2z5TZ;_u#":V*wMz:0Llq5MVqM8tJ:Cl+q}Jq&IxȅqFRڬϳO61l$:%+~\e^w߮b'FQ| ĉIzH>|:P[rbIʾDdA娡ta۲!9ęnML2MW+Su"m7^Wx U̽ ^zŵ] ftB{m>PBV-Ǫ}H@=.oȳ0XFYyhQE,L":enowOr$|"P=+}b6ҤN!.;Q ۫/?{P (R3rz=y9n}FPYf7VGKsEرs茝quŸF H7?>]^Mػ5F>4~w \2gkuٗ;ˇs/_ı;&)] $woj}5q'l׶\\[ފ&wܑ#nl:,ݧF?7q@6mAε}1hH>y"ogYZ44dad647f58d0c4e3c48092f5fb954d83caa9183ac8f8db169a1aed7390bac47335c1f3fb99f78e5 b6cce1e1d33c0d17d7395f24a436b50911aaac97b164db8ae82bd535473d5a7fdc650e22c037f2e9