SQLite format 3@  .0:  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 ssm1 Td ]% HOL-Decision_Procs:threads=6elapsed=231.392cpu=1089.520gc=124.496factor=4.717zXZִF! 0]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓т/|Td`, v[+ppB-X^S ^sq0ӾY%r_tC/0n Ul3O'*O,&aXƴZ0$B c-dgn|ԛQjt= -M:k0F+И%{iINKNg5ќZ躆Pzw`j[_#lcI2$Mv$Q!) lDfvIo2`RPjf֍ÚD0->7I`"/93Cnl×.| 6FH1-=wZ |)ӲYJ2d׊o! Qup)`oi]uMO2}|[=ƽvgSu慓_Qy9C}Vũ΍.§̀f<G^|'BGF1TE]k2/Y0828V,u}z]i(Pk:Ʒ}>^]ArN3h\c!@olÛj" ;ڞ^RTPtSnka}o#yu"&c&FrDx-)#/5Ko@@ &*ddA݋.m^7`mіa0şS m-z4d1]qs6O 2;vVqE7PQ 7WZHɮ íc;S4}Y.JXT]C) w)kƬjZY}rRWR] ˿tkWr'K\K!\r%(wa33"N"#5o4 HQu]$}\X=̒SfN4Ρwݢ9+(B PKdD=/ގ]4|APf )kL)~{f\*'H$BήIrZGDV*v@퇬L?wUU_>.E6G/]3<rǺqWH튂 䒡Pz,aY`6%s/uO|cg"& nGHSUZPDrZIGt CIT)Ce -q@:fxئaxQ{m9n! 2xpq:+Q3F\w8z^F]HB4q8×m%&iExy:vVF?5rmKTK8U>bGɖmňL 4QM;ĴZ´h|OJ=Q'cf'"o6=N=#g68+wfM{zig3l)T3Twt-njmqjCek Vn^3FT2mC:chTy0g2@/a%Yj ־v[0cKХ,ZY[AE^{[v4Ʋ! Ӧό6$Y N%Op9X iZo=9"EŎjj'>wEZt$`+0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ DAGG>$2izW̺85q}{o0ޅ ?]Z;F [IWZ\[g/gtQ#GJŗdC:=H"2*0o&VA%Pw޻w/^f))A\Ͻ$v͉pӈv?fPк f.3Rr|F$kixgZuSŚ)#=ZỀ{K NA#_ڻB X*_z1G; lB5cHU #)i,9JgIW.~"F!pVsIm1įzCI@w-cT\;Y i9T^VwX\:Yv)sNoݚ(&G)E>R=*5hs肌#CB.ܣ eVz}d.N@n W?}tvbo}}Tl`B%M[sN3GA=m;Ԣf6RđghV NfuЕdzx֏z_: 2r6@<$i=pW۟g.CdC}Qsx2HWO? 5톽WK-X8)XDat1}#@R@&@lG[WL8(3e SB $ӱ]xqhN2XTAMݎ~\ȠUPĚ{(2.%$GQ+;' 1x8EU6 ']H{0hϤ19SS&puBO~^~;v\}cM-ȹ50IWS߻@lCM#NP1SJPp_93>s;!lE` VK${AJ<ǘ|OZTɑiQ n(iNDLa5>+҅]9>OԤZ:v[>Dr6 nSCl=b/RGH(xX6 `Q#bí7oWI$H3o ]2e`OYC?MRjlpm4T@0O`n"ejj_A$IDAS6rz0[di3X XQŸdX\  Mh,̥{Y v_u$^_W77¥hVߜ|xm+gN#&h) q;`ZsU:J,zc"EHc~CjXַ( mD5 _/ Ģ\՝]9pL>朜I ju| /tz>Ѡb2:lOR|(z,ï=7s&v*0>c`K*^~ ONraOlq,j5Sx)`[ch 6 n8Bڊ`'j&IJn@F#cMdc|q'~1 k1L-ƓbC:_!ۿRxz[;qE~ Zw VDl,qf^c;WMH*/x@;/3%4lHsљ3Vp"b,k];0f( Yw딶Ц栍^?" pi:I}F>tTglH-‡>eEG\%gEul̒z2(Ycդ}FNTEۉ \>ނC!Tņi4X3~ E=svRPS-x>rP gGZR MmkxB}`$>nv',hі GI|.k)ZW5E9uY]p֠&gms{q'Fud8V(;<5q$AD\W(x3qѶݪnHR3<{.GM28Q!ta0=ofNOxo>S K|aQ?J w{R:{g_9nn~!"H㰃~ AWAUM՜@ {>:K^!V:gTkGwHMj&xL$ufٺdHl-sXYVyxСz0z7b@J9TiSjDxB;tH|b!S4zFahaD`: 6ͤ%O N8~EAY}YU`sC4pA[PZ:lL|p V}e-H9eX4(8q{! ЂZ$ sRGЩo.xtj6QpRORZׅU6IT5#s0ÈAyJda.[dT[ cmW[˙8Fw)L=,6оF.L3 n?/]"+BI \ܼ jqz\%.7"fa+ѧ7+)z0ή{hXA[TPQJ9x%I4?A>}1YxxVLȱgYZ7zXZִF! UKl]ŗXi%G]KU4=@iDeA`"$}o+ldZ@s|V:q jC` CxXC P< B:pɻ sj#ztOs4,lj@Qx^qD:E« є}1)ht~kMaÓX:C Tv%sh6(C#Vn? Уv^RQZP%ig y(9z~XDg#,Cz-MױT>T~Sܿe5堷w}Z͎cno&k:{x%Efh}7* (u7Kd"OjBthbLғ+8%^5_䜑u|nCȬ*VodbTԱ<^*>+B6Rq̻ޮ|pVۯٰ) 0ө*=](M:tD,qo^t@Pv:1لFtGܖ56UG_Lp2 aR[T'R`01z05c=2{]SyI*}hTZwKGJ~ Lbc4O割n&nl*Kwgjo! dیmkܙ$i_%;NJܦj~BЍiz&\ϰEN=^-\\.ն>١r!LcJ!A1$_K lj(P 8}D5ٔl$$~ ߨ(m1v4 ]ZJP;":#۔aylp/"ܪLeЌG6 =weMp`*Ųd7kQ)?[MAOSX7.$7g;QGH6t@3&đ{k;=Eҙ2?NhRP}e_ P]{.sfU,5P/V KV)p 2ZnXs  6Oh`%/ ( ^}7%2ЬOַ&HpZEzi hnB2hB(-TFc)VY o=E)P?B?T2|@BxCC9 "ǨڍYq2 l1;A Yf?Sj$mL;i#]딺 l }r_Y󂫍6 㸷)e1z'`e p&u;`ը.4eޗ?7p1%k+~Q^/\.L\x^BeGUaP5©mz JP4 `:V\SΚ29?D.ɦTQ."7Bc:՝,ri=< xRR7&,%;+#N<%չ6W1Tߺ#;& 2vjZ.㛷qO TUS<(xNfVLrQWSCP%fm&\lFv*(jj1}c"swf/'+9k⑒IK]-8/^ŒYIJ9u Hg2x.2G4$ `e49 }]* e b] ]*K& iI3+_ wÈR "<`Sر=3*\GC\qwM̑̕B*G#:^x; ]r&[33xFqa:ܲq8oԚ^g{Sշt`zDYhˈvLV(qՕ j}A7"7BR+u-t} 8 n\wtepCE$T0P0dQ}}#'vp<Ug[hLB2ΦJ'k^NaP ENȮoS/?6=2~h#ڮuȘ%&tˀϋmYW=l"cԈ0)1x|o8.*OPҳUms ERvńP|JPX2qo7y;i8Η>X˔E].Wby~f*0# i5G嶍qB!ť&(y9E\ӊ;lVqlc}ĺ:^t[R[F[akÐN:ZĚY|u)|:0w&'@CB1rH9l;t߹<=9R d'3)4އP14bi?%k.nK۰丫ajnK=J4a՜%C̣D|]C:C)qc=sEUj#rp҅V᎟_óTK ˥0K Ά:w9I\3㊒AΠԤAqxh@B'ii2 rƆpXh\ [d:<m:αJpr e,mx[{3Ȫ5zfXNͩkd75kRB4 [GfyzE!,/ ]C qBX=.|Z[?O#\Pbc LZA[3Ļ F0er^Cw+0BHCxgKM |Zޜ'Ojw԰ + "oF;Bc!:)^vѓT wF&lV{WT% amy{ba‚.Q8#%]>??S.)_!}5M~#K0nLiCxFm1ܢaT6[ B1:l#{y ABA]_/s<Q[)IfuWݝXJjW5c֢LqFq_FfNR↿"JK &t2DV.9-j569-M9b[jE=®P*Ϥ 3 w9 o;N$qM ʴm2n /Ĕ oxy&P<F7z'r]̃l}!I 7w8M-N18[ ʀ% u0Jb cV6]`-=T)8IҤlVG~i$eD˽xz(؍`e\cOXJێ彃‡Dǃ5N 9*}SYz/>1OưOC6Tҟ} bJRy#cBWlC`ʝoin'h ݝ.(j$/z3kg<>u8~jocEf`)a|a'clݚA B6_)}AƢ%c41q̄ٿRhkimF~ bX0.xD37Xevt#,W_Wl3F9FZwF+Wį/?5ʆ+b!q2jZ݅!=E%:MU=ٮ( Ϥ7la.\,B0kvaZ<Ц G?M/Jϙ?~R!!h5~;ja N>沥=?qH!p+@:_đsZIVK&EEA-Ag%`gH6m0XxR6q0c"# XJ*̇澹EwO;@0B?ϽE5!XvrmD"}bĪll5ZF6 ^m,m6֗B?o%[,*BKAр"%p 9o}nC3Ven]HMa|`u4:sosSҮAT䘋Ħu[⍭!H>6!!3YSyDXNy,PC!QzT}X" ܺ8.4GZ鶜*=m#V-*K_}U~m%t}cbɫ/a]P(B[d+lw/몥;~6ύe7"7jyq5/?k7oj( WTU v}w.-6^1yR/A*n ѓ!tNc,wB6N(ę"7b>X0M 6mOr$W¬O 2x%3)֝{S  A59++ =cEs88pf 'U"vo>+0蒉A klO<ߑOZccBc? Q1Q@Ǻ% `@kt~nw]jDm?lTҌ!|jֹٝ+04l dgG-nu8Yg3SWjȐQ{S"f&>ʰ,iuA!sGDO.ȭio]+hgkFK. @<5L VrEw8Gx7$'!}ddgZF?4@qR(0QuͨC#ܜi"a7X;z;s'H8>FEd3u0~A!P4@mEadeDK4[V|%m- PaT+\\"G> KxM3+;n2ӅJ1>p)qrKz 7SաhHJm/}{˥4n;:%DJd՗$B,c&aeߒD jYb8 zIת2aȸ`q506ʁ53G- N$P6R~zbX]8;8.Ѵ.֮aottpT X"5ogxSZI߅q{F"JZVb1dTʒF$_ۺ}\3G) z˫ۇEU"H/Bo9Z$KnY$PZ/'+Gb Q*mR(/< ^ 7|\0d#2B9 H!獀 œT3/ޕ :Eҳ?8] 40zv6&F؏?)y)H*#-"f:IGF14x x,eB>D/nEfh!x›klz2+xJ%5g44ךt ]OITF*p\$>ԅ@gPn)ݲPd܀vŒ2뭭(vJ} d?RF改 O7@⽶N1v3>oUT28uOl9A]~dm :vB/VkKUd'Q^ *,ƬhcGp)ykN*+Ól{ڦyvNG<_߉񾙉⦧"W\z|W cD/2ir|KT< f‰'V9`9)\=xcWR|Ew:l,ɧË+@lF 4>*֔p6mU"zDvN+c@]z z FTzk&ԷSjt`n킴"w})2f`XeE$R@dijO)NL5}0=MƆ q4-23` 2,,* M\IQK,rYx[z$%7E&?vQ yj\L 2K4U+L_c*CN ˦0)HZn} Ŏs'ODc9>^jzњUil P/XȰWAL1u%w&@3DCL. :eK*D$XJV %8.5OXJr61Nk]Bj˿}bqhJ4L.6*GAFU~[(U k\3{W-1'JQPb~ąa7s,yǀj(r#FͿWu:'nA|q{ iWF58E/s',1BcVu̠%*;}Ή yvH~Yq$>X(`lI9Yj7}adN#x Qx##:J ;B`䐭xgΐ?~R@M )aEomhnɟInZ_!(2V V20XcOKKR^DG>=S Q uZSVD[u)2"DPO'#˺ܴ쁊 1õ0$94;^t6L5v=K6^D1rT&߄kG5V|ƃ>у,go TX8]E]r0:֑ȋpK v"P%Y%b ]ZRbJ5 #a=rWj97@!Jaa쏨ݲ*s5p͸څ 54Uˍ،Pv:~(oDuX2t~` Y0M4m6䩛a"}SU^>`{/ ?uؐ\ 8C -%6>m9WEM׮@E\ 2 P=.X0 0c~;POlV{"":h*.2~I>)IVu鄯-[;i Uz7/CJBZl8*a{C#2rC(cA8RnU8&PTMduilx+Oq}gWP;}GWԞ$]?DlCy YMA_3)ɀ%.I,kRSY-eA.]+g7 " 2sajO g)豯Ƿ,b!Z}'\\ԏ.4BnD K 1j d( d\d?FoPFi?x#2ulgN />p+">ݠNM&l2J15b&=JC!5 8ȮmVcZM?XLN=]'r' gp9n6p.F 3%Xt[O+LY%)7LEwAE רBlN;T{R^M0դ#;>ښ}1‚\pHąꓒ :սniGQj5nܱ;8eBPqb-/ gVȹa(u* saT ܼl5b(oZ ?dCW@le0N;v,0ץ _wmj&$@TBPa>M.Z݇_jO{V@@Ļ/֌zCU jUZ4ꌰ27oU3d0—Cm -_#㒌X=? < ѪidK=}{ du! fm5V7T7WhؖMtrp°Kx*V0^b9dl!ulg5w4ִʑ TW3,ѱ\ =*x[ KHlVo2J0+YdvP|ӛGkHWU'c#ʛ񬈲 ¥iqyԝOXٳ7$G Wv 4}%PGjjbdpOv*%5Q2QIɢ`yg9c .yil ra~eE&,w!?_DBPFZ y֢ t3tA02ZU0:Co$k| Әa'rmcaC}'YeMv!piqvFfjI3e_c8,a:_U9\,g>%WvöqΪ~vB!^0J/s5U!"F+#\wZ@@w:gKQ!K9ٔ-PG_,[ Aь$obRvDn򷠨=cKQ8ӯWԅ&͖Fj0|O(K'ru]rS9c ^TI] y<.)VO'V:$Ql%/+[W/f#LP:|;yĸjl6W ]5R#LrJQsZ/5YY\Vo\ȾLQY3gX7^qxN jزh!${%LH霅DQhB .F(ў)D}:HU`"5,dW&dudE%$B̚$`r,:,G +v'4!yr/U,C>dUL s7K_E|Zx 7|u9yj; :h %*~>ӭ Dq=tKgʷC$cf~XRE3!ףcmZH0T  =́7z,2 X_hƞ}e fD QЖS.53peij/"տgHIރIՑYJ?MytCsgTX0 /ꬼ6)=K .0~lp┒^dd1]D \c!9Z6O |9FT&;1`r]v]1DuďY7S\W,olXъ`%Rkα{F~;[q1&Ru-)YYl }V+ V_Ε QlEl-m{$pzv_0AzGWRϨw~E2Rm_ <`Wlovmg+ԅ'2?@Hf͍̏wI*lmpZ:򵪾3L"j6d5„c<&|ln$ PPa]rO8~-Hƭ;cdD/"!MU^,t$]Lzuw;ȇŬAr0ȂrwP"}*C\Y|ASF=m6,3}T.~Kc;\>ǐ7ZAQ(ђ*^Y{a2 l[:=c`"ã:JQL'2`9 ܕ{O] X\;j^i6]}^t Y瞪'Fbb@,ΞޞxZ7 Mx-u "c=Kكy*ߓ*sR'x<mj='qFrlHY^ZHu̯69cΌdzW)BK#w\"Pw::eH(|zMO)LVv1폝7DB6ǣ+N0<0N y /,(`.MWVEy3* FDA_$='d M .G Ҽ3})(on*p?vHA0W4] @%?z!/^q„N>AfQ,l[#iYx\2C}N>~fxddLG ro{'^fH2l0@+HO,Ěk'#g@A]괘f:Poz柶T/u ɊфI5) }w)\6eH0<^Yڵoe=܎uVaO$qǿ Ra\˔oʠ/Fqenn|q!Ih'Edպ 0ۼMxbqp!6t-jOy.IA&й".\eq>cTP?BG}":[S)FDag^/r殀Bfv @=OLO*Lt\t "aşlM7}}cؾ."~ &`Y)'W'Hm, ƨ NWb#>p7e9, bFq/ "%5k*xoT1U. a6JzBȑjF*lvrj[ Y(Cܿ >cp;_YǚlVLy)"|2ƊC!?4{E1/zG/R0FY!'gO$c}ʶ)`SKg#2 J' Bpp[.>_{#2=~~Nw =#CAɸ2Eq%ˏ_8 m_az%$m:m}-]HJ]͌^~$PL.q 2Sc:ݹK!Mz8A,য>wboλ1:p}u(-_kgGhvfߗfI1 Ԍ)@S*U'#0?.R L/v.,S\#G`TUB{R&B>Gex!ҥ@c)07n?}L7fl(tKb}׍g΂r9sobmemNJU-t+nyFFR%"AeяDL|[ 7ԋDz BjuA/IgIlMhZos m|CbTP4' (FY}}덛KIouF$ijCj?تi~XE>xM6㵼J2񓑹)OVxwoZJ6fѣys?^oxuʎ8Ш|2bgl8 ?)&NP|A!ͰpƼA|_nFN&呸]J)}MF1F?bC@CHq,VS̰'894:sRnAŽ)'.LR 1G粄ee}eNͧ&>1wbk^Q/Z]'~E_ f4G;J}S5T-x2'][lx/!4̕Y]D|[+Gճ|{ ]!2c0JPp ;b8 *KCmxS^}+k3$T3/7 iI{dB|;\i#qLGJ3~P73LϵZb/w6r\\wZ&ka> bThfRqa:奬ǰ}XaJ9~ JXΈVN3 Dco`>}5G'R@ͬu,Xݯ!9DXLb~uR4Bc8ck:<|K 4]hi 16ǙR #EK1rBb\O6 m4jmיGyi3F| |8۲X仱E%2yFHWM [B3p&Ͳ)oF>~w4VUl9Ht+[!*iD̄~’aԮ8a0!t7.a Tupq1VCiP @8QI?u:A1rJPn (N6#۽j:QJ31,ҳ> a]i;M1E6ٻ*r$(JXB2B]tΗi@;*j̼,m51NQvMuӭ. kj-u%OrD"xMtA}4LŝF^5GvfX\׍Pv+H'ݪkm gRDU&u.2]<Fj񄂿[ }4nN|pՍd @60dy]XK,>0zf%s5IBSm}i֣OrW%4XAٴFPoa38LnᣦB˧ZN.ȳ/Y/ZkEuˊR:6m7ln~Ϟ*9 1ŠKTeU3@*#IDmjD'9ęa+|#]5kǿƦD@]38[0AOf|@m͝gz##IѱL ȧs(TW帹؇W*d!d/8dpj7x9t/$FG!>8 Es_Pk㝃mqhC].Vilo|W,iB/rz.,}9ݡk(dhA5聆[qO jE: k0vxEjB[shoF"l8ߍP#`XZO0)0:1~G'׏Z,pTŴMK9YK e/@h߾,݅tbcʜvӏa"x_ҕց9+cp E0j)FX h'K{1 3(T9$LN?6nghͪ r˜d"Î 3#$Zgdt㎴[N989R$]>/7 'uQVS?[Tɪ.m7sy҉Ct@ȌLI2o_[.cW9W8'q9rk3fn%h(Kal`U CT;8֘ )gYZ751931cd0e57878072bf387c6ab239c4bc6aae60ad4db87444247cacaf5ca4f67b9564767bfbfbb9 71edd8e772543d5a1e662373cc1cfda52a924ab2 d946f33409cf92ad9ebb53307ce434668d196d58 8ce917c122cd506617aeb80dfaeefa46b22d950e 79ae3e9bac126ac2d598391a617ebe8400476762