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 b5L ]S HOL-Nominal-Examples:threads=2elapsed=571.409cpu=1029.772gc=112.308factor=1.807zXZִF! b_]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FX+]槰}|S~NjnuyKHN4u N᥈s~4;z(n jlp>mo%GzBV[Y_?.*eHک ZڭFHEaW>*KBCy'Nŭ:-NYV[MUu_tO[ IotnCDiAD9fǶD#7m:ݰbSi&>j$}Jw@9Fukgc\w7Fy߼Gj4,@BKJ;'fn˘ YaetZA+h԰j0|F0Lqv)8=kf*w$hU[l{*F¸0+UbqFl UHRJ \ΰDQ1e |^J icRv;dSݶrKu%PhE#%3{AqcL })R'O~b%n0,"?Y.>Ro[vҤ^Wl[G~_ն[6꡴)sT "kSd\hQwB]&Q"[!OQŜ{u+8 ^nxס@Al(e$p=\L 4Ru\"ץL2Y9,M$|nVñ'ꓤ\rMRF/n}5O2*EnDfӅԛ۳s,"'"hwp׻$TQy eZ@ޱ^=)0ڊ&8؆K_2glw#Mrco8YL6{I9^U`SN"=?hʚ)6,XòHv#탮gʉkB6J ♮ Gnʘ5rtğ3T#CNW8}R8-&8[ 6 dXbZ}Ji9YѠѨ>>TR6G&zϦ#"GIzWP_(P=˶P嗫qFrDC ,fƧ^a]S|.e5GlY~ZM[s;鮣Q.OؖaXJO{hsܪfO,:cHʼnYss8wUq{Cś3Q=R*׀_}r; =; |R ? 6c W͎F_u]ބ|do<.[c}%ēe{Y5 Bӄ >{D |3͒0\ZmW}b1& Q"`#Oqn܇my t40,aP6~ @sGtU1WY]TC.]¡n,w΃22p;g`bXH9sm^IRv'qxUeI/6 2T˅Ԋ鈍YJ{|:%+xS,A>/Vȿ]riʶ:c߃V[7bHy)9U2i5*fn$|j 5 HOL-Nominal-Examples0acɫ(@Ou_]BB%~a4Cqf܆Jly埋QDtϛ QJi3Pylj)FqNwaSQYh~-q$7H>u'y}FAWàt҈z*(];-%چhXAo%3+VԳ^CC7'(Jms)d[Z\K'-ZQoIaÒN:m#h1cTvnV~j}UOU*| = Jdhh,k0UZ$em~R\! TPL1_A,I|1%`d9аq M(geS*<OvYX+́Vpa 3wPn~=z>03=o5HJ%[謁A20p tn\fh[ɠ|-3Ds\i~8L=UIɚMF: NԧEߑnڢR 1f?_O=W fm6 ӎC$w%ܴCXIxҼ9v͖S\;ZR^Ff9rܚ!Yk b}hQSPwz$M>]{3J5eW,12`+ x8]UcOU?y.bur*EQ~!TW5мwtkdNß4%X/"8(jTƷ0Z1de6#uH `4РH9J&-J"eL4y~nx}W|>/ +uNl{ [={W5ZwJ>٣ҫtکt(Y#tkvyo_jX#Jx-Ga)DS,[#H0 i0_Y6WܥRyAw=2JY3`5:ج5b[dz@߱}kr` 6 `P҃?0z qgF\~x;/J"yUC0Dt1;T`n`;dB_ϙTbwz[b4gVUM*Pq* !lJC +ķ,Q6-ej! -J ZhikHI#3 "EzN%Q~%NOB\&k8B vb*/7FKT^.ʍٙ s ?HEпO-1Br>kҊ1Ir;lEqK(Ftk͈j嚽|׀Y͖*% ٝ?"xqˣ; FuG"?ߡ#`[6Q $C“>H`_4VS]|o^ڳێF*jȭ`K-TS#0Ek9T q4njne\kQ&!:9ÿ\RK2V3R_ W;~>&(D;6 m=V/12>l[MBɅFsz3s =0 >xjYqSUyFKN3nb`u4)|wZL!.Oiy{`/VلDǘ[Sxõ*_yGorh;~(w-:tO&{ʪ0G_<R$%Y;8ðqcEO 5|;>m֟>JңG/r rݞ qCRrҰiǞXG ^PȫØJ(u ㊇k7zmO@W5jf S88=EB9؝Ss NO"~?NV9&hpqye__.;uZ֨ 4[T+ԁr\QoÑuu:Q,0P@Ƶzlf#^Y 9,1Z V[`RgMӐ[ZŝѪ6{,pf򧰆Ej Ÿ6kX=^dCA) CPAS&T_ U;]"ߛA{V.9%˺K`{`,0CEB?3V'ުQ:<A/xC$te 1yR?DyKc#ntb5dfFn$(YnnvGUF`=HacnɂXn[o8Ȟ4V|OC~O$Ro*,6ӔIFGjXD Sϗ46kBIvH1_ vo)QMw^ɸ%F#'c:MKȁpZN1V%hWH*ma<||CB JfM ]*Ju`¤ڏGdU`Si-ݼ(\zرu'&+.\z#×:017L >3Hcr\]hEz4*4- l:؃%,E?4Nen֬w 2 4PH1u;>8 2'L2,_v9WیD0Yg}]l"7.l<4Wvy8r4c⃁)zhWhz=LRIaM&`w3=XSk!pʳ)]j%y;&^GmU@OAya!E n, g.O¾o0CRl@[WO2)l A!טNY둇+i}+&į<Ŵ#`yT@{Bfi,|@y!qo v (-zf ɷF{Ԯ||I,u_ rE@qGc@*/W{ ܖ SZX$[P}`_2*Yy|2x'dy9|%+ɣ#YfX&j`/Ez;cȆ鞿PM:{̯&rGWzfv(`^dr_*Sh<փazrO>  >`/Ó۳ ӛ)sZe4EC}*<߬u1-̚Z/sl7̕L% gB?lq%=w{4Ȇh']1-ϢLK.V' o7Kk7+;ߢٓvX265v߉Z'}&JحMv-#^4=ҙ@R^0wq&~]҄R:ЖM8ŏ?s=u#Ay:NddX)_`,&4^26w?(6-gYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 Cq$S&VXl!',oWz Jj N&qnV0ͨw!qp2XH@-_!BpRp6^Ny !|E'mh)R+HI25l&jn-`v蛇ϥ2P"; "F)HI!t V} f@@;FfNW{G Z=n^>\+{;q }IZ:4BXIv߱gYZ7zXZִF! x]ŗXi%;NBn/Vd;K|aӠF`hڍ^`eX_Z_,̲Xl&=r -B+?q…{办Q2`W\gsxwoadi;*|W)7րҝv$_EWɾyU♚NdqTװE,AB-jkML;^r 1)S%ېEq3izhE˸y}!B9@K5o%8dU-CG]x*%o U4g3>}9z!͐X3e a^[WjxA5>ڗ ȭ嬙yU+|PwPh/p6!2p7 X.>בF Fvԓf$_`܄L_y,)$}j(bQ>lI@=R&8ylB K=EFgu>Dp{FbLލ5:q_C`sOկmUWOI *pl^}y)xC_ֹLsAu/HK #IT?ʁ󝔽QS?lOꆑGʚ(vՕ7 %Z(~fc}G/W4pTo9?_Xe]7B{SFxso/V))-蘉Υʦ]sjP oDBnc+ AfΘnuO%{ g\6-,F“%J+ E4>DkUZ;fRa/<5\(Ɗfh|O4NL9.S m̺4솘 bH直#}ُhaO4;@^J5"6FSǼ(#mb.~yj.k4c?wEx c#Ѭ)\Yqqt~N%3,#6pZJ@ ~o1hq32\Szl`OΚ"q#f.2䓈cկ L@0I> Y4 gܳB_" \3.W0Պ}9&ι|D[ˣ+*>"ځPylK%N;%kV^-/e*At0Թ9tЧOc]Oesbfeq49V5zFT-i辜7, n9]s/nͶYlڱmzDOrl n ,nֹ3~/f8(t&.X9C 9Qᬤ#ŘJi0&qc٨:76T)X`1neϨ,;2`Ll&F+jK 7b8p|,mAR9ߚدl~N1G;ڀ1 >_&CtlQ-/mY4#c`A#F_Ļ3rbCxU ڏX̞P %8GA7壦mRypl|  '>p՘Q1r*?+[g!㌹ SD:?^O_4R}}Zʇ>\W)$؄mݵ)5EV5iDeuka\r:r|KiS@g};zN45?`[>u+_os*f?ZRCI;,"<@G N:\w$B$a(AS_XHHPM`QTNf:_EhvbYM9&r:Γ0o"RH +\%CF + Eٮ$:i6B8˰c-Ff稪 X5XX%r[y!ޏR\T1Z<~Sy-$!TحRKVD Lƕ1tMpOA y[/Ѻ10Gs4X׿ߍcp<${Wp${ H_%],ȷ^dRRMs p'sWnpCP ^Y9{#O@f2XM99=@^cd"?YڌJ mpH&R G%&ޝ mB ؽ x XgB%WRBp}½([Xx;i L}rͤ)=5NHB; B$IY]5J1"% WYm~+!\/CS3"lCd5&wFK*PabN@/S|Y_ 1{gswR @:J~|y ܰ/hV8Q]4+#0t]j`ocBlФk~˷i@D7; 7kL 2^="oܮ^a`8%z4%ǚ"G^R ! n${b7Y0Yq;hMx):HT0^Izר-b ׻p>@]aV0~bEv葂aM ;}))-+oߝRc/4K9 kPP :\K+ :J'A7;r9i}LÊN_ B ȠBȺ?Gd%1R|(F/L#3՞$kN\U"CU𵵀Ive/P'(zT ga 2VY'Rم b:ȍ_KЁa 3۠~-Z,%n+J&%TcC ̺tG(p"9Odn4aQ#],w ?!,N# 3}s.2\r_խ\ 9mv^"y/dBdJ$~v#bZX{Ӆ;G$sO@ `N]NɈd>i_ 6|[`,bHx~wPMf*ێ .asH:IJItC$' %Dҩ4?|!E]bxbÚ/a7CFАoyhQ6 ـ;x"_?`Jjd /ɨGd$ą$0i*)Hsnb;Y5nczЩTmiw6 'V6 "W׉'-NM ]mvIٙʻoYJѷ1ؙt6u/n#u1VJY2g|#KdrϜ4i$綦L h1wvՖ0Ʉ>`:1ZQ[kkۦ{?# |Crt̶[,s9gKox}eT=Nn^TCT#}Ovku#ji\r^4SU']yGo$Ny,\Pb4[tb${<(*뀕) ޘe]^r@* o0=5Anik|Y'*'f/`! #7*,t.IYc*&) WTaTcm YbC{p!WDlWJXo% Ñq٘Uoj#!TŋpIX4M@7?!hIgoVT8U#~1gsI^S_נ;3!6R !&!ױ1YaFju`Os/Lxurm C&] 7"N¾Smm7 >2>e.ip}/;A9x†Kw޶TM#Tm!XqwƖߖY'Ş xL^$uxD̕ РJo&KXĻ :gZ_7nڌڨgaxK=qf7wʎ2D=+w)@:CE^ (SaJX^GgXQSOoUDz GBugUKnm0h%b垱o8HU , ka#>?^k,_9{"KfqQ(퍇I^!Jc}>:sl4CʿC57Q66!r#sTvضal.ޏe>f *7*mː2ylퟁ(mꎔ8vS]vr)#S^g2;U9`3x?6| z& ίBylT3=E* U%SnqrρpQs -ވGSE(%VZ3-Xxr?񥤢hȹAI2L<.k:\rԩ8 ԝN*ⴸG da(G'ףCqU_t~ONJ>-qE@ѺuFݞBp~+5CYnѮ~WW9@8RH܋őRT"VfP} ;M6>uF m!yʤ{QOߤI MbCYKи<4Jkqp|AzP@cm9w)#`@ 8X=*O6mu#gUNHc#x@YEvٜlq/Fh )W(,OL]GD?֔*[z33woKQ،{յoscT_l._P;Z0F-e]NM>\jKɞ[}kngBP]@b HV.~q~0_GM}2}4K7W4Pi]a.Q0q*(jiv݇^D*lFdfuJ~:2/{jcLӒݬQ/g^7jj|&CaAXTX 0@BFR"vL.`*C\M=1aBڡwTV$T-V43WB9IfWg'ȱ)F&jL)vG+@,J;U+KTΤF&mu]iWI1@ݼ?^Wc8ҭIeX&tp`Ƥ}&ٺ` Ş1|#Z[a1S=}l_)%/ "QI4˷E-;xO_oSFk4q>} *LO$&8!)o=-bC 7Iڹ8=Q3ޗ6 aSg:;ajЬAMGTRE4g/v ;V?FcW8DJ:f ͱXmխw?kS.Kʖ˥:/a,@ T\0uASoB9Ԫ(g :$h(xt򳅀e%,t҂Y`,l +[qv%bi,*" )?}1FaUJI2WmB~,>aq u 3-m#6YK{,g%Fpwj\k(GB;6qX’vr8iIgL50 'xo!sOe֑I;Y=ř#2u޶>i-.7+D>?՗EgJ A9=4-6"G(Dw E%u/EEj:j);WҸ燹HшyfKک-҇ jY`Ґ>']i\[/c}l=*F]f1``NA9[swdgHp[%{. W)^inFj>N,C}>ҿt*RjOgJ<jq?z>JMBON#p @BX)E8&GeZ*4/!gdP|'y^&"QW*d>v8>|eAPv=W|F&CM5Zfr_"}|1|N9ƳlAN~o}bf nUbw|%s؍7cR8λ`D]PGf7:.4oe P?\&IFK 0ڽ6{c0!ݣ{K udu(>e3D,'uZ0b$Q/6ޜǿ7kg`#u!WjG?*M3M+]7W~}7]Pe NP΍,qa7=pzpiUJıK"f"`ATba4NϨH[~zCw*{))f4^CbC Dlx|bڢkx%n!Xomeuż}tq?E3ns4+G Z \|\Hi;K?tej_}tL !?_+`5sqx1NJ,&q_WT"|oV󁻺7Y3?z-+SG3FO"_%S6!3Zu9Fؚ ST̅F#Clt\/W.c)*][gIҮ4Jo-Z"N-TQZ`Ǟ\, 2e(3 vQ09o/N``H|QRn<KQ1fu 4Ḙxiilρ7>i1Df따8;XE7T!X6=m OPiүAwEfY !@dAYnbIa|OU=Ü]H[91kB,I4}ʱEފur]' DCIxo#Z[Kn+ :;8Q T3 rUESa^`14Yϧ|-otDΰ+I$ ^(һ{ߐMo7Μ/_-?ƌh1$.˦!&Ǧ9(K^3k&$ FUd}Z{ʇ0ؠ[2Hl+f{`* )`i~{铘qˡ  7$هsX^k`GvClNԍɌINwH=7pQnZg{?GX*uqƨ a=ks`%ߥ +IywdI3#,Ws ~8A\BV%37-4'plؑ6آ}[-q kp R{¿~⽛Dp/5YuE C|BH,XkBf@w5ڶ>IV.-&-z! J=KNtg|)vK6KҨԹSQgJB_hN)eƏ61YY֜E);N{Yo)}DYp<$["VN,K:X֣4:0N>93-F,ICb;Ksc_I23?֜ \]M&avVFY I8ISJv(+S(ZMtg ' ƹap!jE]X!'4m& Vޟ]e/mg̳j:RIbw =?v$eЦzo)'bfk:@_5";K^J0`oy N[j3 žHR&5ɞ| ܪ k:\!YuCꋒֶ6򿾃(=e&FN+YZwB4懶#.s~:ᑳscUV%HK$s۾X֧ l6Wyӄ:ͭf)΀KiL[s .;"u:aP*p_7o0څ"!\oeO aW\ -7z-U#4jnW{LОZE asZ< 7À-J& 37$.]h5n:fBxI| ]{Cч]v*f`EˊwEVj=ũOE۳QlonI_h`(bBr`) 7ksN; i~WAt_bԯ}4%DXBzKn4kW @ '= !w܎PHmȗoA#Tm{1K*cqb[DƬ| ucTbWާ;T;DnR0~- $T̟9fUե?:tݴ6NO֋)@yTыzL=ucJDd[vFB*?VvHe}}2O&CB0ERUnzdqU6 ÛrLSpI`M-9qLFp N=2iW4{ (W$d+?qn&{-)А;cbj1C6%|E9p Jj~^EuK ʇ]: SQkP!4 P,Y|mF-urc aK5RJIE]4㖰]k3eԬkv]A2t., -G *zo"5[Pܵ|sf,3jRYy=7hLטc+̥ şh EJ_N)@@a[ީ h|_.R05O ,vI뮰?翾op/kv)$\ׅGѸ!)&}hjLW%UMB;:eHVr\M޶Y C<:W*`lfmǸ\䶻JGyYn7膭6bg$Z2$$`a>Z` D3DPLA SM&Y6!@E(>xQjsF&`*/\JL l x ڮ4_Nǎ AOS灰ףR ^$nF8aU='} Y0P:ʽDlrѷ8&J\\Ѣ]>8r0b|0 iG4q\&{@bf\J~0m]0GJs7fc<+,v˳Qp`X ;f)X{ڒi{=}_CI2w$RI&tS P)*VlQ/Pk~(z7|!~I+d2Q&'@4ky-EH9g>㬆k[;'N?rO,+:2/lb)Q .p%C Üj|(OA_wI`l nv_+ӌ3Xz.d 7=/൶qp^}OLI@SL.?6|q1Ex] EqM8NH [(1i~PP)8A.:6ҲJƖB=;.bbD}=)-@sg`~6M ы%og:UV X'}PQȖA ix\QԌOo$ WHOxB am$y v'Nl~ Y[+o"&kX$ʰ0nT x-SM P8ŕ@>dyn2/$乻<$}H-uCk%O>&Ҋһ%Pz)(.qQ_kdʖ CɠS˴٘d !7n5,AOFH|ϯpR:];ޔQ9+n9 ry^Q2#A{R.y$.n q^g[q|"ǂEK|w4*%W օqq IaHI%i4dvnM97~m@v-͙]"Dfi8::yYYA H5& d_ w0[\+3YQ漍FݫˍizR=T2'O0S/Ƶޯ䡭 |{u"}ת X~g%x54d>yAH 3cT19Z(~x`Kĭ&le6.0u)`@.ߙ(,k_$ՒrMY<ȅ>ll=/W#:)" ] J+QH(4GG4]R P -Iji 0 S4!}y4oIs(X竒Wg Vx^ix*Prhc ]Ʀ:pE#9vE/<)?s$)̣`IlKXӥK0\E&-r!w#ҼcK òK*hA-zrNI\ {: !曕[y ׾dX럟UmDk:S6"j굯Gii5?X>GF_rgx53 EZѳ2kg^_6@8JL?Lv7nFLD}>',a?J%[Y){lp~*ÎC6(_ti [CitZD'4ܫ5vm @QTy"U(fMB(  ӂ8Wӿ R> l>`Fxbq~! 2o $B[f!RPsEFUYD>|5B] @nS&)W2Pw2Վ-S*ƕ"_N1I|<-/J%i쏊Z;- G)ҭqz jl+c {Gb_<7u/yaG!>]$Y?m:A[.w{ 9aDy̎ʥo%䭟5>c[MȂ(K ,@2b=!y' ^R᪛ؤgG сΚ*ZB3wD6sj4w>݃RA_k,b#ԱOi6J^0^Rv;!-uPHu/ujXD -n¨wCtݕInܛzUcA7F1hM&=,.~ِ]OmFE*>F ?)*bti-B9/TK\wt:V{5 RB@:CI.Gi=^Y֙?Es@TD2qOE\.+Anjx4uzۆz'UX c2}i&gvKCΨOA't^3q[s$;sAh%exeX%)*\AK$?G[LmTvwֺT}_k%0XtmYOdOQ2l. S^vn~&k?<ݱ髞#PW#L[B[?G^}žIS,AkA뇚p -΃ 0  k~8 ΎFql(M]ZW[p7U_S|roE>b Qm/{۞RʐPmE  nuoq^9_2nkzW꣮;5 8}+j8tm>` ${EbE2>cN:.r*<4ѓ0 ){q>];I0W|D+kp,_Vu^Y}zKilNQSW"IqT\QhVDzO10 qa /-B`Nh+k)),| /ec(7O`|dhLm]`g7 pY>_ŏ"S1@B DlNϬr[9V;>;q}ݬUxP7$b"v}~T]TԦQ=~tkvs"',UUcFٱfըSt;gX<k~T֑"~#fz"Ѹ]($U-"~D;QE5 Tp)m1`Ӥp+)4_ES#lv[dO{U"4`[ :\Yll y_ iݝiΝ|8_N I-YLϲS`yu2wDO?g0PWewl7 f׃Iag:,\l7rIU9-^RueUE1A ,H+fo3hGA'5a@ q@ʒT2R@j0fonME@TX*-O֓x[ 5 O9-mHר z-8hyB`<'l5Ud'}Z9;՜@C2/fNO=E-|M=+ey1 N5ЂL_{UIo^lIY Zgts b>?tj>,nEGjY[BvLo(P"Cp,g+T #φpA_d/)]EAmpuS| 7ռLnnRkc.u犰HUI58/:6>hy`kp5t޾%f}*kQT "D]QٝgvN/9$9,Q*tayꞀAJADS`[DnBfV_QT@L^A/(G"VD—A',ܷADN==80v:U2NЮ51bSep.I!<`X; 8/--bNʲ nt-x{JŒA#OZ/hPJ{V J娡ɜS:jLUxԧ b:,}_ ICkR6_e=m$݈U T]tok$8ޝx^7ly=d"kN6h0՘gjs߉{Ysayd.%Bb]$Ȝ,\3,02uPNB^x7|sQ[\ܷ_ȄL":T9?F~0$#>oNr}Y ^}B9mB̷k|`\{ D~ejv7"7+Cz/(4w 9ШJ;ٛ4^DUFZ\i?>yO, ;<~!$R41&Zz E:lV:$u% uF|@7'ʐDc덄`PZU蟊΢,屿h9@XMJ1VH1oRi݉I0 }NʠFStd@rfutK@B.Pe4/"O%!qFezB ꧗|@7jHVtBa=3*@ᶺv=/:ݱ{1ASH V+P2gIhI8 uDFG1/kߝJP D0(UkzHBmzâ=]ʮ= c6RWaGy̯ʮ(_!x('=9tr.'0W=M|)XyU4w}1WT$hCmd]QCqC"b:pl_,J~PT҄PHQA6EJ9Kx R_^PwPAӿ}Y%x"!(|?H_W 5|UMaQJIZ\CߘɌnJkeɐҎ.YCwI HFr+"T"2j[Dr x}jds4wj䜊)SɌ6갭2x#g_`/ Aeŀ(=Wmx Dz#-D}W f}stǗ ~QqEpu"E~J9!FN]:>GSUkLM_ZJ]#Șk :(3(/wv!=#nIm06;?Mq$:h"CTHԮ kQmIAZ C Mr3 ho>`+ VOZÕ(^qpPXcqFuPnZ T( m9)dQ=Ӂ.vBɻg$^qMA2@qR]*%KI(*i_O4`q ߈v`R]$9Un**;%_/-l| r xs)g'Z+0,:@ʢ3O+f^d glSK\@z2g#܀)׻bSFb?F=:>ڽh6EU~2LC2v@zz(El .-Wb(:*}W8S]m6wBʷGDWm#Dt,&($F8l3"Dl#ǘiaMRm UB)ɯ )GK0@˞=jϜ3f -@ʦ SSt)>+6b5Eq :c͝gXiFx=`A(GYg}'41f, 2dA&7qH\68=2?[ m"ʊ]KRhh'z ABt58{F(\mȫ.KGnaKsDpVޱ0e-:|R\'GKqzmz1jv,'ŊL{Jh#G5eӆUg&w_HU'nyiYP3<9Ǘ =39[5r??wڟ -!`YBb5H:2t \Csͥ$C'9n3s͐1z[PUfe}8.Y-AOf:d,"Ylr9RW^!-L,=xz`)j0G\WD0 .׏ȯT*╎CKr)P88=>pn&G3T69!t~9(#H:R1Jz-G]-Cr~⽩e»EfG7083'"Xd bg|Y <JM$"'US@^$1 1G-{Pdw]@krBxfe7*(ǺQi (D + _!zȨAmjTamOEQ?^9'HW6r|0ۇuк'釒@ SZ^a)Q?{aܵחIѶ('2~9+<6vx3 ?O=67:R'ke RkM{|/T\tI(sMP޸SJ|)zQ cΝg &54R?Zj1~_7)˨Lg3rjm+:&(m>?뚑IPNö~[sAM&t1T˷'7x-jV7DrXE^-6:[b@i*ڹ, ɘzBmk>'$a'$}N Q^K.Rtϓz KXIi1 UPۯ2_dL[&lߜus&\]\'d}/"kI4/t{\%T}*X洎)YS0-3l" FBTv{ԽKMu9-|L!2M5V"SS[݅93{ I@V$dF"n ܁IF}DEgg/X;2H wǧlCe!Y {Ŭyl1,o` (/$qku${RK 3u AǍץl[3 #h%Ikg,ThB̺˱"Fixo$8=l% ED 2 -Ќ*ogtx])ӳ5{|߫F5Gn?I։@w"A{ of`~tU8U^Ix甑mψVM w!qj>8*I.K,Pͻ*4+R/tҟzc#:<"WR v?aMqLwq~֮hk ^wUnxRl$?(5DHqE d&8WhlMX`w&0];^ brq7!v+he/oA;8}ucy] gҫn Jx2ѩ8", CΉ$&;гޯn&TM{y^μB܀'@\[" M?TQ13+֙u*NJfL ?GO(dp:pI5?rט- } GKV"̚;*Yik=ãbMT*]STk)jAԓPcKG ~pJqΛ1wLUvf^~X?x_m,:$mbc`ݏ|Lj禞69鷽 Hϯ<(ՖNbcA-S1*e*۹xr7j_~r Z%c4mSrϞC';Y @tC5Z_T1#R8]eV/o6k'_W zsgrtpfJvԕf(XXGl">8C?|COF-x5|$+M~ ޜK!9SHT҇ 7JBA/fa9k԰#p KQ40,I(uCZ97vj+zK;sw `z~ZgyۯjA ӽ\4TLRSs(M~%WzzHWvU{esmM:ê&4J3Cx :q@+j!Zp*" |$JѰE]W-V&0(Xֹ4QfEqcnBzEsua^R,`K~s0e}Hw }JA0{{a "[phՅ8@|yWtA@t&oo|'Bl?MnI3Im'_Cq3yZ:o/\]+$јg l Xiby@?(] V-bEMB56}qֶZyCqyD#R.ZTaɿdCUCR1zĦi"%!Js`QU߆7t=N>=@8. H ]kN,G J1JBF Ql ߉ oac[}w I.i-ǁNEnwuۢQf8p VSmE b6|;4kd#*X ܶ: ُc_5ԥ>+=Vr1KAv]ɡB_0S|#6HbLO6;JI),PsUg8uǼ낳׊(JEN+PBe1nkNC2Q؀ M2 Tϑ^<~&>:kòo6( #3ת-m>>ӎSoIx0Ʉ$0rǨe^t|y/B0Ac[&B<p<9pHlڛd%c[y]]Mc?Cdz!@ ;^"BC=i;7:!vs\gV79,Tȯb'@J3y;lBa_هr^nWpMkD *'x&_fRKԜ>񃑚d:?Ŏ׀Bюr.\Ƒ{4J̰Y. F=g_Bߨ~lSby2R`83 >` ( GDy{T8` + uM7Y!M k"V[YB:X#[-%Gs `w0~ַ],]8bb<7Nj׾Rx.]8DM5G*.kkhyoD,5&Ԣbd\7b#$pO vXi1I7q;%V As$>/3P:sLBԚ=$h!1,ȃuxz)%e0/O h؎ap#}%}s⨹KJ:mr3#_P@lȠVl 4˺.uDY)aoR}NQ#sr=y4`!雎( Htq)g@ܐ(}:cIWt#|eT;KǙ@o3O'p=4NgզїS=#gMu0;u!Us& . ۓUH*&HXGۗh.֦ngK|7L.\'y`Y'=uveh$O G{ rۍ0 T~*E9qeApGy?'@tʌ]nz#?T/6{V9ާ_5ww)d5+A=M5]wl jhXrxa&\(VxJIڜXσѩ{+ yyi%2Aq躏cT1nu3%f<#H4LOwtt/͉4)6:yh ?jJRdN:۶k- 8G!}y*V]S*Q[!2$`'8̠D 4BӪo*lz.?0& }xЪأgL D#%e،N?Z2bg;Wmg*B"imv(Vs/>\r:xϰ8fmD,i`j(>n̡pڍ Z7Wiap^tx{Wfi=:u5~X?nx7犞rؔenakwOjqm҉geu\ ]'U<ީUuҧ\B6e)В%ϡ_l6g0-H?e>݆w8+miv9kH|u4d懇J5s0dwSfcW _5 eب]o#6Kpf$ϭETup푰nMV.A;h BMm>Ƶ?C.6\y6k FGȕY.yb]7Q|Jk7ZQ.1֓+$T+O 7 ݠB>*?A}e7-VXu±eŶ֬&5li/abC.s4)whpCj5z]~WiDdVdo 5$C%"ydޱAQaoܯ_i6}'"4tJ&5jBȈf͒ږLD\cMj" O.De,EbRA60I)]"[:@Y0n=/WњȈp70mg+r1ȩ, Xe#eJ҃}y.\\-{ʏ"?!6Q^۱"il:wqوir!d1uL}"ROxJ =gqPE 7j6ޮPb@#9.4dG@8ԺuSҊQ%lUbT V% @*ސIȝ~ڎ,_G ,\~4xÝF&yP0[ cQar\3Q[6V,܋MKR09R",7W܍~~?91vZ٤:fʴ٘jd]ɷ2ӳa.Ekdp\ ϪyQϹGZ4KC%V] qG*z9Hja![;kup/v3z(1ڠьndֺ3cSxn3^Q)p+.<y='+-e.TxJ9 {kFض.D8plgEsLPNR)i48fj<Vnm#AuvCp_ou'`>j鸻O?HmxZ59>!U/PGߡ)=E$Ny2DR86?̀|:9:g$' ~T1qݭIڳ]Iحg^/bN''f2&"]"`;G6Y+D%t|ϑ\d)p*AaIj#n[&Fι Z!8A)=q*p)|KBV=e>P%ӱC#;DV_!ijFY<1;" tY&^b&J(IΕo1%PC~\CdCPk8N0+ T{ dψ+7fޝ׌%}V d( "ʆ;FHtZKeI0[PݛE7![´Ao'ĠZ}]iNLpe܍nl\y9S.#}uV=ν6@V)q9=yʀ38nSV{b:GAX AVT7{v4ƄlYE ċDHcrvR.n4LAXMߔ#eMlR<(ʦo'SQB~ L6ߎ-֜wR4OsLhMǙ~'VQ޳S lGU8ʤugP's 3l$f]#a1''&Ǧp~qM7]t]c%Ra2XΣgA]Np GK6;l!j-}*TLVoGrPh!t(T ![ңBHg|V`/6!a1={.`Zh}[?Rc^Ǵ| j!w+& q|&{jH|!3`}^#4|m9}( 8WϚ/`6iVv!=ta1|0g}g& +cF ]+E(簐\ÓWXEPwuKA &Q;!L.<`ۑ!Ol_|)(1͢(%y-n63xmj\ ֭[~ \ ipm 3-eƯ >AقGZ%8-GUSP&u5 Qr-1 y1ʕXvMIJr L$8qvdl# ވ?2 _lsimc,WsMdP=:-E, xoޯ[ҳܼ2^NNzWh\+'z95 kֽh#Rʶ!fUmꋘ&Q9*ʹ*uj-eV@& N&k䗥[%jWpN"3lohUXi_B]K>Mk*;$R:f!Ή`KQpcN&fj!(]Ya$\EN Q1 צ%1zJ+$))v# q"X~tuIŀ83#Um+&as8Db"4]s6J"[no͐%zs|ʄc|q6Jz^GrM0|_e[^ @ ~-KxtU!Ǧ:FX- {g1+B&v@f,_;*@l{ @zJqe)BU c?#C%i zYےe"~i#! )ٳ:qn)Wo#ĹbXbx8PR1` /ZM|U;WpUۦ"A多\jxZ?% U,:8$.<qFΌb]`$"uYP=f,`<tRlÒxbs {8/ZEz.чUI>Esʺ5u5S(nv#XcmǭP/q457NaYe}]#~s/>SY-](F9L趸Sȇ0~ @ɇC[PV (\ AD Sz츷V7L>~R_im_c J%Rw U;^CM[\/{L8 x n&{lgYZ7443de31eb715ab34a27b941f967db132b8a841eb1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e b61885b9b1bbe6f9d8552fd0b69074af3e041450 e040a2d8e9cb470d29ebf7a8a94b0a6938f56212