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 M%<<< ]/]HOL-Analysis:threads=6elapsed=331.799cpu=1463.668gc=103.144factor=4.417zXZִF! 㫢L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jq@{~}CO=`lڄθ4of4+!v|wy,ϕ`+~ }%?%'GښT b 2EGlfI JӻDq h=72ʹ)d'~()BA)t('Ut0]r;b Ur\!)μoznVbbͰ 'O}Det2"អXKk{"! ՟+δ OW J\!‰c ׳BVYT):*jV 7\IOmLu k\U<1gc5lPV 0q୔Z8AJE E,&$&Z--'Wݠiwщ9ͽh.V2J<5U!ؾD /t 2ưi/ +(& 8Һ8v"}ıAԇ5V'k<~UQ˛Oi($08~41RVR0#8F'2p ? =5ݏ2S -m>Mq8X2ɧװb5Ym1Vs3#?1f+[ t՟zG%K/Q7 #X \& iPoVU`Ir'hnХ=)_o:%A3°#Y%& 1ɓSť2SgUs0KUW, l/Ӂ|Vovf:_+dw]/!v#m}+DA-ͧ$` ףq)N24]bW6! B\ɬjPC^(>΢> h)gZA}(̱S&)!TFb*JS~S|!FF sRC]㨪;R5V ?}!&S^#KGXFa%my!hțZ .J4fCN(:[BQ6*~ Rq]$&}*S(Pu l]K9!c܁ TGq6m2hL}7ɳn7rH7C` %^o3Wdp~؎d K೘P~!5fKq=Uoy|nFKV?aDVE % HOL-Analysis  Lc e\#רǞm!b@җ4@7E4r'vPO`!aFb$^a{$s,S}p໳Y@vY1 Lg$rǟ}K7_MZ+`5i UD*ldĽo@tARh=lR&$ Ei2@"-z`/F|d,f^NZ0815"ss;9F`(:Lʢ;$͡)B(=[tcnQe.8tգw{ѕV;lZ`L[1wFkM]86d!enga+*D첲)oa-L]Tw뷒6G^uFfC%r5[$k-É1MjGlb{ EZw $MʊvpevW.e.YٯQXE2%*S<:-m*4TOv0 !)ENqH߅PpA. qʣoB|`tELm$:ZOqQ9m;\#m;=?Q1<vA̳ײ-P=:2ĆY\p&/rZp<`1$somX!vpVxrA NV5[ m]`p7G 1#U>?ڝױbI:OAmsLB{HZVNUy;aR딥=ά B_ɭ gf?15R89 oߺϲ]hZqIv-Py ڟ!;" 3C$X[9יg =$= TV$.0t B&5i4*sg.UkJ`4[A<\* 銢"xPxH~LL"'4^3S50P,Ÿ7tȕ-^J͂W}]sI[;f2bSx\vV:881!({s'\ g#δX}|U |6 }u'ľU ޅی~7wk|؈Ux%aKnɽ:-23$K諓IWV>h9.!| Xl\Тu-irGn O{ #A\zaoH"K9ޒ׋~=]>XdS;g G F ax;j#[=z NyKx92QxrdVg|5H0+{^YPQ'd"^B]QQ6 6x1 {oDh,IS-:>Ю|TѮɩyh}dI+o,u6Ugg.nR}׿=Y.(*6oc"9дaq^_wԝu.  x^8DK +]l4/X%a1/x5AUlma;Zc0$:Q3g@Ē=- ,lwx@۔?`f fc腎 6"VƦ:@ t:kjgG!~  '2kS .^X9_3Om>i Ăْ 9>w~{iĻRmAnCخ(N$0ؐ":W pc9$7E>x ǝ&P=9Xg8Sk0$q7zP_զxJq1YU[nSbD8wWF۪KXU)1&aHqnD&s'u#X?t h*Zڞ.xvRօGjG$}_Iav'r$ऴ4"IÕ8\slmGUNF8aYGzK ն#Ag`>GVޡFmNWtA& 'F6h5:.oX(VDhxd-Ś+kkpvxHDXjUS+od#G(]'i'T.Vaޢ`~5SmMGI- ' d].l#uwD $i͖'$::#^js9Āґ{H8i2>}챗O#N< $舡x_UjƧ{H}u.2>tuP2;}$!J4atDlX8((+k}eD-Ӎfᡎ; TGKY'!@-&`ޱL0D``"CKg8kY .B~jR'V|~X8hu0}qgnE#}QԃZS*ऺ@!g!TEvJ[b?>3cm\@c9T>(tJ¡7q[W|]bYᧅLPAY6coHNWWPݣ[lΣH*2otH]^d_m4:DOlV l5.fwu/@:t[@r/jPY5u:D%^i5P;21J2O\]NKAKSw,05x0х\R6{VU'b}IqCC%mcXڔ+٩]\M&&ڞTG&c9Lp7ů 7;Lx Zj??x8I|w%UQxT8UX-zP]T7 p/Ɔ{DG=$!|?UzjgiK(E0)7][}kqLW7 g is<K& c1GUzˆ |2VAq(uc.bF0 Q#*_5\5}`bS|:4n |G ޑ 4s"l˃briW)'=*q dH2:d!ۣ{g O,Uyoe`$zr&pyoi`?wƛ~sx78\dR1^&"`ޭP2x: Zj[ dc}\BVTK 3݁*!n2a句 3lb2w̏97"kfMfv]c`IXڝ ݌8"zR2 _=ެjM h}oIO&MZ&OG:XtT*ѭd9 t=39L9x,VS<܇0J{<]>RW.1hr.&[%>Q[)X:ο#:4vt;+gP#!hP1*;swFo]nFj-&/ETqS;5uҫq3+C {=t j ,3{wꚤ9 B/ ߽9VJ՚@SL 4qu_#:߹:|h^L};lEeR{L nz.}n(k'9@N&(_>']D̾m #4'@kg[if;םVA9MkA8Vr^=˹KOVD|+*71ޒtL2.$-]#]_߿dL :X l9[%lG5 ĆPHtcUk)8N}b9+-MTo'',e "i.LPlE$(`$A%F\ ]}VFIJH CcyԬ2E5XאM;H3Yh\X+5| в#B9: w('eO _ұVe,JmVO??*2H~P*^(awsQ{D`NȒR5Q:F@ݞ 4N&DY x)KEm M0)`fb՗k[ҫAː]4UOI|i>fҚ8 \.픰;xo$;F?&Ki3|hjY}G `2r4WF)%ϡDh-8LPzvZg :/k'HG 1Mwtkl*(c$""5QeRoqp| wNz韇[xy{bq巇,roZD@ЇgGGR}ᄇsc{5uxDUse=xtYQ"땪˟19}zw0Z+QT"㐶SѴ x=KaBϰf5zN@Vj~E}M$F"*ܝCMn#^P5yqGg"DLĖ|-qya{5TN s|B "i͔2\~LYx qߦ\ʥgFfaң i#TӐA-A );naBqčAePZv|AUQvizz.[rv95 kc09S:N:%{"oeeH 3[c{߇]_]N(V-R[q;P =) 4}Z>MQ9Z)m(GD?mLɘ5H.:ь Ƭ:m,p×\ y]ܷ*+&7a3c$(O )+ jx$n $-k`n5nM(%FbC^H~gZG h},Vh#̍#Poyxh8@Pls衲f!:3 3?4B#]㓈75BB؉C֑?d|jIIX Wg\Fb7GU3GԐley '],up6l {ctlnBWDZ ʺA0 _P̅>&/1 T_p)#?1 y)C 1H~ "eZg)*vF [J$˖ɝ0Cī¬3SB0P5"PSn5y[!tZ)ޅb@$T"p.8$vyw>u]چz)c[ L޼@͋əT #-)r=U-BlfK$2cS?qH9,gJU+&vZ'si"N%oBSn U>ԓKkKz4 ?)~cS]/|v7Q) \&ed/尡Rj"!N\<}`u #04U[o5x 4fX K;ߓB mt"3;HYѮvˢIOꏲv@B3ßc%#۰RE'׊>ebm-4gmp [|jX@SEMa?Br*qSS9RC݆vP9ͰJNaI0Igl= o@AٗMv\n;{Y*`,(x *^0G33 7YϻFb4޵B>>"tU?Qډ cMMg"a`P LgES@zˢsg5D]9ye ȺXe-\"ǥT㹩?{Z)0WcvB\jq /fE:Y !Y6gxr)*Tԃ{l˵[%)Kt]dԚNh'T_ vT$gJDSNE$_8d1*^0lǤ=[6) PH_>m:԰6{aK cJ1\V+@BSX%4E T!Ĥ9'=7gÔСzU& 8*S #C#CTM1>G2cYP3Z5:zqh9inⱔkZ[&5Ŭ ~Z  GHWp>hTbe8[D)*W[e_"H)d 2&.B鹼I>Op|ӟg-TxC|x6]߀ U֒A\cԫxV2ɽ:wm]ӓPv_'Xq|sAȲIra|'(t NY%w?j46mvZumRJn4'Qjc ~ N,4vY@9+ t-lTJ{FKT6S1v펕j(/vhnZ!?d+GLU!-h,9RPu\EsnUpR:ma=ܲᡧ FIcvJK{{%cںYqyI - >>5xE,.e)i0=>xx("Ur.~y)(h KAK'<byKTio!&ya8\$0@P h#)LH "X"9ϚHRsY^{pEoS/" YtXbG²F/?=5ULzHn6A="Gک8 Px=beq<oBIЋ=v=.~tIJVIħ,f7| V]Y*8ǍaGQy/u9//lk94c.DIt+yI9k; s?l#p)SÔvrտ zUHpA+96(8)HQEE&NIt^MFPbIa5 Vъj JQ_EX@Ao2N:-BףA&tķmaQ(TxQƫAuR)4b*<:*C6ύ1WKSJSƒrgdΊwoˉLx'muS41 Y' fs#&C ~h99Q0tֳ|5M8~Y2!,yuMVUL+.E6뢖)fEb\Uf۰%zpJFL_SLi_Kx䌤@Rn%E#'B[~v8 Y1~+fQ^y+E?@QМ g^$`m>m l|eB5Id*Ӆspx=f&jBf$kZ8<*k/\Îo7L̺BRwl;U<,2 ~ᖹq~D& N.6.SNcbFjTCZb}+ 6zGnYx(E9EQjd%@gTјXJ0X6 SwB3Ts$+}lȢX"PF:LA.tӑ,P8l*neXJ+En7`t:\!o ה6bӋuJC^a"\hd 04Gh>-䋇An8y9o9QvVRcC [-7R n 3T9ыtȒ4Fp6+|xS_z*W- ̮ x<"=#{9(o4]`a2_yS%w,*JT`m`䒕E4(ve!~޵dh$p}U ʵ6!N3 QP=_7o/ k<&G{ :B&%`/22(LzS#jhfT2|TXSL*~ ]g.KP0.l4gDy/]Xa3M#'iޓޛc*t菿VtL3*؇X#/uP߅`PVHjN~'U7}ZJKɣt~`] 3G ^MeWl hq84 җ#Q^V_nVm.Y-@ 2913>N Ԙ~ڀA.bm3t z5*ű.dĥۿst4HCWX=-O!I;ZG0CO\~3=H5!`P`,= 7oAz><״q@-4W :S/? ښj?$Ob=3WNnʹ覓w0sSmp3E(C`Rbar*v?;!Ѥl` :@/p 4){+a(Un AYMQ[E{) 8eL_,Ƀ8<F@BF4F B# ۋ,שk*]'Up\8588uiHzpqﰮ{W񲎓"KFLƭ<^\7>m´Z(4E>b'AZQaOiUQe(i%KNeU}R&ݶIq |pU9Sqoh{QIX Ǚ қ4,Nm1oҷm=̙-@ii>:7VaКۭO7.FR.Ӟm)YN ):u\gۧ0 !܀N!Ok c7Ma^)Z0O'7ݔQ1Dl5BF""uhjN9{bYHVVB: =_)wb_% n9>MFGJ1`P|]b@́^eE;mjkPPI6}_-iOtz,nF HY0o借JN ,L%|znDu@ZDc9xi9HΪMTP#&/C\"bq&x\:Y Xl٣1b[{Rp\ Pv#]Z~VTkKk kYAwY_0(j(ՃAMw zoYRSܳE3UOV_Q"E9,V련9cU9 i4vfiL6ȑe*h{g@GJxQQ@:Bm,:o^AecC6T2x71 6M7D16񒯫F^w-}k\~_. Er$+(y?jc ԭfyB֌P38^fTZ7-f7ǹ"RoqLC:$],`:E{- ܍$6ߠ.R$^Z؀،oGA0$WϹG#M$c7y!Uj\wz}{ȹ>t+ܵ-R`"(v@Z-iu!-p?yLetgY 6 i>7@@{v%'|"G6)7HRc 0cf7HgШ7q1q#7CWv"h-D^"/-vնB4x'} S) f3魆oˁɼp`Lo=4 ^G>ufbUns|-ٞ#nKlհVxD+=LU>Y+Qjr;yp.Q2y2.0&K[f >xZ5} &kKr>i;לGM֬"4Sȇ[ӒKdG3M(7Yub!SĠ2hPi@)3l9x{QyfGb?!+)[Ңb=8 ȼK[p{+U Y.='hz~77ݛ.2<̊H|Ls7 ՊoÛa#T*pJͼ{LARPP֕hyzWkO\gTnMp7TިdLD5jށ{z7u8W2!\(j~KK].R=Y$ e5価[0rYCUr B!CW *~6w=7Eiq >(r^4dn/F?bS,xllؒ<._^)  fGEq>A}/tnUÚtt.: k>*/R"2f"za쁋fǐ;\dˆf{L6=Al,r|u`5_N˔L&h${0+s*zC!DA 4pBoD]^!Pg$"f T v"5/|tj}y6h?"s#j|miX L6DNg3M(._bĹn=>?uU?̇=j+:RTiā VhBxpf) kd nu`L0xr-\N%T0D0eT6)+.,2%ܚև)+Ju?DdǞ:z4ӫ|-H]~ 2`ٍQ-@`kksPWNgS1 "Ar[ XR8-;td'+޲8$ʗAG Ē ?9"X67rv-u*ӼiyWeNdw69`A$6[FM7,7͂V#?72R<I5?rXJ4'TAQgִtKosp߄:I(OJUXCƬS2 b/orajGSUCx4`!qllTnAT0\kCmEfrC",[1[Zm$w5=qwokG~}g;(@JW +ۆ*ukW'eqZnj=Qg*M6>-*fUb"q؜t~݃8iZ$RxpMx iMqMxOKE,<~~se)?k!vndXGMU@/}.҄Ɏ5[X摰GA4YшP0$Zq5QyZI,h-;'{C$d@ |OPE=U4Z8Qð,H^tw0y{,`lrf2yt̙P!U<UʒI (e5˰Omqt3_r4O^Zj렬ǍA'6N ^ke~cU &qpk`pk |>R[ 7HD 'dbWC}cSRfKHOYtDžu}`tЫl^ P :;Mŀ)YGv~ͱ8D0,.-}oEer(>EmbO;XT"@%oG࠰)\¢ը&"탼ObS >dv{+4| ĕ *Z훳YYNU4n_>\Da wpb'O8y}mڛx:-"7=zŃԔriw?hl;vNכRy=z'˥<7hveIa5^bzݢf7K0qjSF/ $ V Nh2N"':YUOǾݭ>d_өome]ł|z=߃/tlgVT0 7,F'Ej;-HFguL>ILSe/:S/0u- ҤE3YFf}2zԀ_ Y037Pl )X7{h?_QR)'6rXg\-S #_aL͏H/PÉ%t"(9[%XZ4-2}u#vJ3B$9}Dm!8k QnIoq/3jPWغ? #^Gzw[^;j{<+_ LI.^^%nXOs9R! Ub-w3w]G-%ʍ f7E%zaJ"QqUq/$BUc"DN5 8TP`G7ֺGRu{OSCn _덹ܽΏbL E!p0CƦmP8[I|zS n}=CVGa<V;ՆWpXk|9'.5ՐO//?mKոt~?ynB1xE J㿗t&wf[L`J2Z(}F#>C\Ϊ(A)5牚E:@t+f"5| sĖQ<gR2>gUZ2=YFx]Zg:_ WԴ2#\70e*0&|$Ly'i]ҧޥqC ertzғ\~öd{fnmyjPUn1bgc~@rf\C|[3λPm:¹7#R3VMڲ &(SR3ځ쒏jn5~2 0OOzFq "D8Όai=#Eo`]MezhWDn4Qzƚ=M0҄h{ ϡ>诘<ڿ&:>2;6 H:;@: 7uՌ߂>Qod~QZ/TjIbjk3]{Rț$j,b*0S{`*\Z|!jH_:7 CvgYZ7zXZִF! aX]ŗXi%;lL*-/ zi\o< ([\5 *uYlh0 ;Tj[ G3Ky%9 /@L6 `xz BsaSA,4 eMi3թdcT*VFmYk81 28Gۖ 7iRY b~4AW.UXbkx&.{&vQ*MOw<6X*3Vw{*я|l`̴̎ fxTtSIwf~i,3g.vLCuF_i~ct nuͧ=-qqkMTD~<+dCU'" *H,ƺ{1w6g| ت(L&;i򄿄Ÿ: ~Hjfײk;Ɲ.8L;Q_}ǯvGԦ4. I\TFTy}&}"'\4p3idA-'):0֎y,q4N8r|R #=)(Ǎli9heN&62;Zm^Ȟe%?*r-(mYsNA6s3H 7-CJWƷwPG(P( [B>#Rres0&x,ob)y%+|P t]{zK:.~"-❫L;`-`96|b>g^{F-:ȎSߠe<`PC 3^QaeՖ0|TrW9,->9ݹH>HNݒeJI NyR(=d(A7lk] =·N-pFQM3G%j%.%̼1o*yo.eXWqCƸNLGFLj/^0~t(Yۇd5k!qu-r$k3kEx(g`V#OI؊ I|g5r+(%\/s,޷M\S2eA(O)sNJm Nn"ȋI"1b}&Ykاq5\,:-dp#ltBҔ(/^5=̺M4J̲޶8 OK=33Q![?-޽I)e T>[6i ê֊ Z,h}xb^ OFtsrƊ|}P{8_9UVqOdv/NfJAYڊqn[4|^ h [Ns]Pow)׾uoSDV }gwE9eS7z&\E50uh_m-{9yqBܬ:yR\yuvܷF +\L(W9]þ /튻GdҪǥrůO1 ͎<3%M>K1CW{|mB ֤=ުTQ*ƓԅJ\W>w&29+.+_O{Lv6xk &qwLxAE.Bw0Lg= եs@g=\|I%0LVl'[Jϼ#-?ickҝ fg'^ uZg9 Dkl=j!26@^̜7B3 0LsA}gS6LSQ7AW"m`moz lDe(xQ&a$6CcG&tؤJ- 1iTf؎{wAzI kAŝ~`Iu ΄@´ز[ ӈ7!5)v8%kzNCm]QvƢf-?Dy6`'H3CYkH-=m=zooxu Nr5cI;c~l٤# 6f"'}wg/ 6 mbe̊*]#Y`v|՛!UYuzofZpDѫ`XuNg "2ig<HУbVTtYyMگh~%lӈPW41nɰB7Xl`ޜG/ Ke ]T=~2R[A(h5s> 󲲊o'ޅ=u6].^Q`@sf%ׇs$<"[JBrg/"UDL a$fOͧŜr60eVRGdzWtIaMuiAı`Alq)AW:yS\!6w [Ze̙U2gw-x*V$ɹQďm=|r5>tŕ<5L Bf|bj9{cObYί#Uԅ]%]ʢ [Nτm |ja̧ DH>]?ևOc14Rq .vO7y;G9Ӹ: xͥ+d$3U zt?P۬:ȭ)4 fJwst̆eS9,Z9K q!h̫'~/벢+֢>ՎZCBցN!}ŖKЯWuaZyX: I. b CϠy\ZDp t_{>% Q%ڬNT;1[_v|g$WIoI8;_03 P =e{Z>Ki{B\a #;nduK(/enX;'vN] υ<}Ov\e;>\f&2 | O!?`JbBJKD')` pj, ](aHϵUiy@!H @\݈zkQ:+gYek&ьvׄF,ۢA* q䴓}N/xVk̘1[A|A5B[k!'Æݘv#bh W|X[U`9B>û%ZtCHPι|XR-!a"8a%F/ tB\jr.Ja.N͓>s<ùS S[xZ[R/ם" )wY#*z!n1WUQhSoE uQ~i*)]8vBk4%Y=;í}-󊋢-uT KWidEDE &zsWmkY2c&<70?=-:;y+0:3RgRbeRZE->I@0`őn2r%ѯ.Ѹ r7Vkw֔l7Oڱ!yt$,XEp{l>M̪ͼX[X6RÜgDR/tuԬeGO{(,h֯-+$uF|H@)tנj컕lӺG:5AyXWeɋBȆ)lʶ3ݓ'n"$9QVgr GBt8^vm|P=Av\U~ #OGn h)#(#"bj][+>hsl=`')iJ 9'T2hsf 0|\4~xF.'^Ḍ可q0ajJތx3 ^(#O?9b ߍ ;4%ƀ[=E d哹)*ބ#gYJ<,VG$$)Kaݢw2[' CUĥFob4[]yl=ֆQ&t|֩}Y-vDJPPoS~>r UגnCJ|ܫ$,2kLޙp6mdR\Qt?¯5l$h*|H x0Fd-H5ǁN5IPJV٢t՗hm`7-.a  }]Wqoކ-wǠaL`QXD$ZO.&(GpjNOkYM ⿚F|rt$UaA\Pˇiz) ?k"#Ժj Q,,ہ3޴q̜` WQ ?ǙȧMڤkL;9jeQv2?V#btPlTP*.zP*2T~rMJq9 DqԦ[)TwNdP.Bw f*1e_߉lBM +$'leƀ洮{J]^ط-Z&Nk5˥2cQ3Z:#Pj}NˮG{jn(鲪!;CrD~Mj^c\c 3ǣQ:SO+VR. r&#}Av]JހAf$na:X=խ CC*YՑIrS6z;y?"J*] ^ Wk{RhN98L4 4F[ĺT05c^c f)~IKUP '-j/|2q:l\{SquSdJ&1F5NRob kX]ЌT-'=RV2lQ2}j|IK<p\(4"_zT %t5wCg 4I^?"bkX@~Km!"4x`IbP$W<A<p!5L5p7@)0^oqw,56ʽo4w DfFh5߇dXz¢+*<ht}c/׀| _ X}% ""]e:FsmNaTWhU%mUv4ZY>JIBl(ơ6-|@vDp0~ƜFtsD*` lwPBXBْ0͵FBJr{Gŋilo#Nj<54׈)>@w)K"lOl[GU:~k M|~R9NcC\_|*L?*  UHlno><|ivJgy۠KZqd>bbp 3==Qbo"~$=H]?9++G"B;U1;J"2| <>s&<=Ed/ Puy ؒxຄڙ:=<;"`J5cNBfZbڇQ\Š}= +F$|}Ј@+9Nm()W#km"-cRz)&ptl"ь7#1ՐIv/xDd `W-xrVW|15؍9FL-B籰N{]v^RY478}$c*+̠ d FZƥ8Xoiуis& ٝ.)` $=?w&Zg)L߅J>4ڜYx:_w_9Wo䯑ȄȆI9aedRYhUֱLAܯe☬12X[8mqfDge.KBbvm|jLrLw"YcH[?Otǣ .5rMD|h0o ~;UٗQS`_A]7ӣ^!ŷ,d9RmB*?ݥ]Edj14oݘ⋵n."7󰅠Gh)`[9cGim1e֖VB Cߺa9\K'- SL UnXa)&׉, sf.wl2Ǧ Ipd,s Zyo |7zX_2f}HSv? 9e[wQZ|E7."yxW=l_%H+qCJy:Ӭ7.|ln #jW2⨸rD U<m}fXIO ߦ~Xug4-5Jb$sE:$o&?*)sZrbC'ŸpXiĥwGq+* E}@﷿ xw!R du(]-,ZF9M![_<2o4+eaKe0 >m`@NMseh5vZ@>n*$%0*/-3s*WO$ lPwN-W.$pSCF[ɞd+ |tLeK2ƨP\:ABN!1;n|{ Zz., jldEeּɢVlWJjPRN/5r2j&cnD`X݅vKMc*5Ht5oPvcx6't-_y09uF̢dx1tAyU=OdᓧV7Bi. {Nl2*>]+t$ vVoU;ћkhźʌ=YB^oCU:Q uRO4?Yy>*xV?t'P02ܢlrs6DH- zA5S H9.HJ>|SʟRwvVxYGeX ;ra^fHgtx69", HI%r~i9;3?jQ!d!$Q;rP>!vWoZNb_PfΧ@HzI`786`D5V:4t6-T6wJ`2ɐ)c\KgwƐ :kE&vWffҒu6VvJrҤ]/#5HZTa?.|F~>6ᢂ1ꛢ:Z˖^VD 8)OaӚ틏rR0w]EWuhI|@|`JU]%`djgv\u{vlIL+ޝ26r)3=t`Z!H^]S.Wߘq/C]n QK$R NRFvN{m9뀈[_ng?v/{ 5vDFuY04Aײh un}pILsޫ:[gŝּڳ0tT 娢!!D"D@C½clWG'.2/.`X GN)'d|')$pg?S&݄#;#i." Q1ŐB |w?\B|'tH ӰUX=j&AσI^zk | Yr܊z_T1 @ibj8@ﴌ]ڲ-P͏3;r\:`WNeyLAd_z#.(={ /.E8\$͠"فP R=U%uX`R9E5':/ 6vwiAM|g7N@,1 snO\T,1,MwGd0akNيpjm;=Ź ծ[Mvj Mi4Л"X[6綐_><:˚x Ԡ/eD<,R,mYnJ*BNQsY}N' 6TkP+vq޿a0ŪL w&,mLgd)=eê[Qa(E~݈/m e>\ty5 yP 胕 cQ6e3~?KR9NbMeJFWv+Ixꗹ7/|~<tl)D.+hMDsik̷nZGk2ʠC@ۙ1'ëZEsđ9? gmBp&iZWYE^ y3s$ee!KWG-*hSwD$r֫J3Ӱ:n!pPgnZ 2j ݔ23JP^T[L)C $mߖ>E(T:X"' ;x휖$V?D@(3-=) …,78kق0:kfRSxCɀR؝`}:7Í"Elbyd7玩,ml\#c=xH=^+a`@ZWG*\F~ﶁFįQD ڟ:>Z cfNG6D^Oܜd^1ZǩYG>U;8J PFbCS׃CHFs)+(em',)ʮZջa*zLdsHg[bcG=vP;ɴ+2}JaS_|ukJ:u6 zdeQ\7$~0NᆵF/*ZuqLEwrv:cs YfE2btvܘ^#m(ńJX(A9᪐5 sq 0$I"x-:Ǒ{=wYTFr6CBh? (׫=%3 D5$#=vyUL<SI:Ͻ}1, ecϤyMH7 DeMʤÖqp?hzggkطEkt4,(qa}m. >}D%D\",<(ԯ1%?sJ+#x:>&1 іE* %RX?N<1Pi@Iutuͨ7Ad[z.(8L=GJ]Xb5&oiE(eB)Ũ-A(z[ʞY,ҦHϜ_,Gԍ5 e5f3tkVZ"ʝ@ {"7=iTT0-,aUhǝXF!s7p{3ˑ/#U0] 6j-XMMQAs{IA"yc[rtIE6dNhb egeUݒ r-> ź=C]Unk< _[QigTYzM9v#I1La_` '{sg@Ow.AYϻ# mOR p6>1HdvQB zcHeۻWp [ucWM`$twL(S҂Q&Cjs A2.w %I@R"3#u+_PүCVbmSqtNzޡ!ÖWo+8[>7fUe/ ʽ_#C H(&1xv8/-⌮L$<saz$]r# ͛ e/njhlcZԅP%S40t>N :P=AjchH7+Dt֤zZ>Ixz[jVRDYrwj/~c$y4/ VVB `c wQ7Y>bAXf[пvL^=WSk&[QZ BY|b{m(Yf {,Q"@M`hm $d%%ߖ%6)# ^0,(`(htfg]m4AD4)[ݵ-!(;!φ&~ ] BJbthI:Zj{x t~Z1̖1|/s}K!C\A`!|Gmry ^갶R]($MwH(dftKƴ"C3iК7QzvJE5`<̈́η}*D+K+ _U?#f뇞}0Ij̵`7q,ɞJ.YVʡLݖ.~qJ倫Tcc͉%c'W虉7p&g ӭ;mk)Zn PfQX m(^@R-Ա,(4ؖVWRj$R]l^@q)g+yK3O-"siT(*K`}(5GnK`AsRfԊt,ƒܘ|{mYyZZfnUHuzT– pyk59rWӘeCol('ؑk7ߙ>B/b*m;$|yAHmƎ[@ bV ZK;Z.@|](-} <-p:68X1oeY O$v%v^cV<05Zex,QFl\֊hː2MTXݎ񭃌"f>>Ů4|s.,ʸQNdv*wkY7ğ4_Dfs9*nD+d9NtddCx=҅tՂ?%Ŧ/?[Vuh|VkPNߏ&jCEж٦h"ʣe KI#=)&kXYI:&+",K-jU 8UqM(Pq-.DU" ޮD_COJcSCtgYنԣa.t % ɩ>,q')mh/Iq)`SQ? Ʊ^Dqt_B=S.Iqm3 u' }&Vht`x6uz9 p"uxr^Hυ{3/rq7agfU)uɷ_uj-LUzو6J%p:TJU '8!޿>L /I^WaD"g]F> M@c_p  YOC <{͇`ֿf?*aITĎ<.!d7YHM;pҔOL _`9G86P[V&P$j=r~u8or4PjWf|eC">!{Uw>ui m~0*31o*FxRq+׌/hlG`Mٕr\'b# ͳj$Z,]C}$c:Zhqtail%QnT*ĸ(J#zT!C^H 0@rbl1;  cA :SYx`(+ttak .  i ٬;%4QSRtJ@g`:@7 -268$ͳ>sYct>d=aPg;vp%- q֬v?РMP\&Ox+bU2q>9a-dsn70)W?|j E'njf [湴0T)f&]>ML`o]oj s\(F3ܼW<33wAzL| ~d^Q -r.yЀО&t7ٱQf\Y ג (ЉF&0P%Kr<:l`6;lnx`GMc닚:yXiKI\2/]?OX1^\/MMj8z+(5{OO]6~' CSAe K %+B}Zߣ8 4[*|w'lY{Z,diճQV\ pfܯi#` 1ɒ5Wr>`-V|8q_fWA;%9}2W2-=t|bB%ܒ5+%kE&퇱dAZ=N@ΣprO k%by̽[7uR5;veso1 Kd^l@ڝYg`!z8,V(1imi6[B+Ѧd)Jn אX&OyMU >8krWQ#e}-o!*ڠ 9n8HY^d\=0NШOIF&.?lu.PߒSCK zSR(QOa#ɚdLӃ7r3kmΠs*G~ 1$[-g $i[F#Ba C3`uׂevU ꫍_m c8'5WO(_/.t%*F˂ꅞԺ=#`20BY\N=f 'Fr}鄚VqХc6Z8ܹy$&l˻r=.VsZjBdVm=?[&;ѐlOu|d}vR0? !a͓׻Aݯ% hRWmxe/c1Y֨ 2;ͺ'"ƹ3]nk +k1;B׮f;2`qȍNL +WE*&Ĉ y'aTCI bK{{ a湇~̀T2@S)ߛpbST/{gh4ps]|-i ūI6_||Nw o7L$敧~ j 7%aہRICt3Q"k0o}@WK*YF]B{ԂeWIP|ep:$ak>ZZ4HzȔY "A-Tu̡yo*Voǐiz;A)`f3vX DcvwQ2uRpGT#R~R l?= mb&]V.,p%7?g?kB 'S[rI{}+y%*{. u_P[GLV Fb%87Q& 27os,\ ZuH!-:pRF߽6IutXK0M Eg?Ot0ĵ]^& ze^M|9EE l~0cHd5V!Ԛ8-]^*}RĎ]yEbL,'o8Ph -Z-i6:Wxߎj_G7! =ΤM9"AxlP '9_p2k3oN `|1QmP +-DubZOiX|~bį.i@)<7`tn=G7}R(dũDleUskS)TZܧ{Ը!ff[ &jy!RwO J>7'#:IH#te`6xoPVRXϑuǍCwoxG"!XnӜr2qH=1/VX7LX 2d4oگmU8 X@6R׊̌<᜶nL/tǚ =Vn52O"lߩU_Uii@QJb_;w`& '-{Բ lo2MZ>L'_`K[޻#){ͳH}:MS n_JwIPNQc7]b#,Z*=*T7e'a:)C*JȌV?moQ# &/cYk$f͈pZK?yØ j|UvRɥ 1t+kIPXF~@'>^A5 %c4+N5nVtIeodo>I9差p#OMZ/@1CsksnQbXP@"y^QQ~Lx`tusg6 G~n\cjH8_찿Zȡ r-6fv4Ǐ'crHsj[#y~Μ":13)N7\nhy3r S]!nv/gҫ—)M8-%}ZwAT ۩6v+_?[ѥJZvF=+sg pmZ#Gƶ8S-Fb @PI.n_C/_]C.J]g[J[;ȧWgs辴LT 4 G;Ev A¿ONZ_S[^1:ީ/ޜlJz^x!uPo\q̌&k)c/nR nrR)Kl_*Y4Q!Y;PHlk4g5M6z^L{xu.Ňf;۪E3V8a5*\[ ~{1Clw۔IXa{l6@C%d.GSBw;mRn Bro.3egy+਒l9 Aaf"aF@fx85zZfհz暪UO/4TPr]2p&c *%Eӓ(o߇5`Ɵ&y!XyW.Ǚ9Ԏx 4&p,(HHm𧨲x&Ou;DŽ֨۷vQt-OE5]t,NN-E[Vϝ7Ev{{tR9|Ku==/̤a D%ZL]";]:`0JkMLBou_30g\?Nk.G"p1ןn ε+/V*y GXA#~P5W523ܐbWó߳6bHdֶxQr\#ttP3gb&p6l W$5=o쭵s9 ҕW EǪ|Uh1PpwC;z5+_"s rϮ_֙x͞2S͐Plu_gIP?<8aJs{Z_d*]F6[oτxkgvSmhH##$#6J ISFv_-lk*0U2!m}T 8m‡a Ra 9`mpNd2%G!S5Ǖ$N1.apk3PdnNemţQr{c=5`&Nّ `VyP )!O;\7Ed| Q~$2y]Vz]i4=nC*JND݈ P+?Xk*k&jFwd6!e\U`&h>b'Trm(HoQg jvTb=[vHxA!μ%KZθ rc_ ^E0nxo~!.iB/[!R t9XFbsqQáF0W=N6Oڎ5KZ 8K%2oInL"CBO;Nx$vZg7 z ^Q_8pM~v =3Й}՝!t2O1̉:S^ݰ#+ǮU2)h`N-S&ޕi :=ad|>CxԸC!#ké[  I1#*YPNUU ;7ȃ0OSХ([ ’o7KZ/D$w+=x4מ9PUkU #LmTތ͝%+*11K(# -ܣ"sZ aqCƕcbE"ea|\,,)%Ϳ닼Aig]LY9i`Xr {9%m>ޟ=>i=BB5#i~*!8g13lypb`@-qk3 0&LCPJp:MK}ѻgqN~bAQ\^3=D:Ӥۻ9~lhCow9>MQHrsd@g3<|nE{C} ;ͯ>rADe|'u2* 0^SA \͐QfR6b7)*lu?%G6?Y[nzđDOHA֋"*> &EЌo欍=/ODZ-T^@l9GH,WiY6T/.]NVz™C-{I1I<ΰu)|Dzjj8 4&u:s B,=6;_ekSn:Ap0ǎ-ZFlMLzÛjVvQȟ04D=2Ǻ(N?L6F\*~!EOmE08鐳۱ne* nN30!RE;5;(ey?D-}JFٛ%w"z9w1x!|.ٛti,g< n"H'͂=kn=u##/Q ?9N# /9*밬1" l✳.*{|m1(Qrxp5 ll"fRq&h4QIU zs_ꎞ{YYZLPuz3A^x eFUUoT)ݾ*DmYL̷.XZ3Fa4[XDxvP,6 <Մ2|roWAv]$5zS+G2ZETdbu)UM@*QZ#-ϩұgYj/xYO nsmYR)s^7h. R_͖~8p=De=x{ lԡ/?iE^ڼu>gYZfe7916067964a80c04b8e3a1668f9c482339c9d78b0dcf9acd2129acf08a9af17112933d7b840fa4 526dc7c549bdebbc88872b36d0ab533286ebcc3a76b4de4e8fd88e177d0f6b548057fa69f6311d8f