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 b5 $L ]S HOL-Nominal-Examples:threads=2elapsed=665.572cpu=1188.736gc=125.116factor=1.797zXZִF! Ş]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,~,x3(4]z|@rdEl<hKb9 v&P/lF㝯"[Pu 2YOB H_a8k)X눘S/SZTݦ!!BW^:SAgxY8cD;K WHd^,Ih[Ìdk ,= >8_V3Luwy9JC,.Mkܦ32>Zzj#OG.Tkص-#f{ޠ '@^2|HnbA1bE֨֡keMV9^oI<9?%Yζ9Mi~z 5S އ_8pl&A9s} rOf^:9" Qbh0R]ݦ8^GVj v ^^ﳆdu\3t2cq YtV|foIq2xO5NwȭB䉹"how(D^^8/7^﷎0H0Z{%Nއ 'ZF;PWH>ǡJ1-%_k-0O:Qsۍmm&d4zGmqP*iVw/ 9c 3eZ3<ˊ`MC8g.b8]|;s u?GFSF(.UL7;#(F͚"~!K%Mu6i]+PvLk?OEpZ N٩ &Pܺ,wdws$@zӛgm`bu-p>q"ar$&ܬMVi$΃%4/5 2l\zpTb#`BZ8gd"^槗K#6=uU^s:GWUpf$}xV6Y)pO#~e>)c8HKn&I ?șk=B%1۷J v`nQyу6::^eC4tBjE3kSXWHco{~EQ\64Iu qe1<Cj27Y^KYqLpļ0w0n`59l&v16bɅ")`bbX mp#_3!{hf/GP5anMH$VbJ=mS4[˽‭bG}<*@k0;%&ݏNsfKM]:k.{;B):JQp9,k.XA[>Ɂ{X$%{d^8Bq_1QV´ t ql4((^Osٖ㝉ɵq~DYS |$dN6e:cXX t^ikg+IeɨK u–/V|/Twa.;܇!O`~SWCOxA `! ЃČ xgZ~v =4k(&=~+7(=iGn478~J8Uģw -Sx>\ S%f*Ue( nl\^G]tP^J"f4U:pŻ¸ⷒA4;5ZfṚֹo`O^f Giɽ,0ѧY)b9}.@d2ejmq/-?JGF,'×ƛ)QKx몃!&!Htl_1$ R<Ռbp3Op E\HF鶣z}  >@JfTn[U]&e1IB!15zuo[^;)n9ͱ}|9VZ,Lu43B=]R/T삡Qh[_b%,~l=⣮-y(f3RQF/ՃWݳ pmXq#sf[?w]gMYkӋji *ֱ" \C+u Bka3CGK%:OXXHcM" 5 HOL-Nominal-Examples'mޥ;Yd\<;ԅ\Bk=Q{0o ؓ]}+m:/ )Xft5΁&[$'Xr*+3PK `lz&W' R?I`%S@154k=!ˬm?s@zP8Mixȋ0U Q-)UJU/+m 0[/i@: aͪ*wn pwN Ů]@Z)0-* Jj`%^Wxwuoso 2$730G/M,d H)m'TcN'S>M"Jb!HP]4H%DD)C:wjen}$*p}/IDDlٜZ.gD׫S:k6UΌR< d2$ 2)j`Mz9Df?,G ħ(ߠY/ס&E,I?X˳*Ȝ~฾=4Wg`[S4QCwv$`QF u+B[:vMa+5EfSd ĵlkuLAyI\ &VI49^>^wvRE T1ox`~H*+TY*p_" sh˿ udJ$<ӎ='8Jr҃nSi={Qnc媠ȧW։,5ǗĹh@~pO dJ<&?[/B=E8id47|~ ~ :FUnNLlhu^" +;Vg]t2bGm-;Jtgt937wG|] U5ZGorHdFG'S`Im޵D :O2xQ ˑQzfRW4#1q1.eyPÑ,MDˆʡ9AP_pISH0P#ˮ_Ҝ,SQ4Hud"c%(Ϩ.P6nY5Uo oW{+} Dp*ٵ+tϊ|=fc$\%NSщ7 k@#ؕD GxA^5o+PT5w̲ gPlFȕ'(FЍmhyF\~(??'/'5!؂aSWVPwu}=Ag.ie` Db{@/%n]Kq$m\ O/9ap|]J^P!H-Ut-pHT0"Wt6-˴_M*`[ΑDc~P\WDV5PC;Qc 0aI7:g)U Da&ahzzj`w}3`CLX乞'3%>RŦ?bfP$uH}9T5sWWTxTuc ~R'&m]YSxg;X&9 /0  d`FR1z/!\3=|GDK0}WQ-zdKʧh鈚|záp܏j7wyt35g6wTe]&3{s*a -n$BYcipqX ?*BH`R9(QtJ#di% _VQ9+C6p0 hёRF.L b+ְg7wF$7,]^hW2O-om4S7$? 3;>=!;_'Z kg}g0P{siQDOx-3C5bK39Vrմs_Caν/2XvDХN(y #|~tޒnoվO Д,G_E06&жF >Z@yI"*#4Nl"~$$#\C!aq03k3O!ηtc+9,~{zdّ$*;@gJ'V`Ei&?ʆ Ar41hAҒYf;SI ө;}Ԑf<2ϯ":QsdhM(kwIzvUyY׽"X`[ ć3Bgq-'3 :dRC RTOm'"8+_zgAږ*1mE(gI%^2F5AL$t :m=+{)%8p*z1RO_QYE|I(hhIŲH8S8[% &F",:+6@r~*kR6xT@PF+YB rM<`zC jS݆ayCZ"MO^hECƉt=L낌D|Ø-[L;gE$qOZ ZR1ZP!QOaaWQJ/G͵>@Z;xV- GXz !j#mPd/Y>͸y2\.TM1R(5{MKK rlq#3J_6V﬏!w?HDuxe wI*~['! ͹vGqJkicO3&!z!,=Yyt܏yBGإxQ })T_B9%?)֋nqNO܃kMnaW{c&^@6B{$ABt1 {Z -2HgX ^doXMi 6}{c_Nh ,Pg1T_?Y f)3Esab)c=5HU·~ra慘/As'\<[5tiMp 1j ` էWְՉMhR!YrUYc-hy` r6 `JhVn`j2Pޱ7ӺӇ5n뛶LϒVNSRS~CT~ 홚LZܰ0׍Qo+g#r  9}y9k^}B%=jr@r<л6/9TG%$%ҥ|G#f> +]5̔>b~iAZYM2u`@3Z̀j$d\̍1yzt_b#RC_v@d?WM +XJცZH2v}>*/|,?:hbƁ?)T֒#_XK=:Tg9}(.DZx; xw\|K0ىJU>f9LJsM}; zc\ w!IE)GN@'ދy뫀mq4)g2uB#Euno(LI6G1ӵ>nAW<o5;* |l$q 2o#sΎ>$Nd]6}!p)R*ajd*׿=튍ËH& +hO>: #~iPl_,aGV9P޺ "] " ʥZ-jl G>tqX%7 ysl1 7B4n'kP aMQ,>]7ˁ[m{㌷+V›7h_O̰G3Zss&Y Lm7ɞsu$3^,sd3>Z/plFX4F_tP.w–浈%| WrBɭ(^x# hIq ;\=E!.pjhש)lph &F m4cX$c|[F <, B^_h|\i/7!ߊ =j6~E`ϓ2:a5T~"KDA պOheNJ%[Y >-z\0\&Lр]5^ PyU?1@ִR)M8fNʮf$tӶdvc*Ks"´W))$&;kz|s4NJf~ݦ wD BpW% NTF\E\* |VDBeCS`dA|D}5Q$"z,3 *{֐lw_""U/7S$cvPysV=c}36Aw=0$X4gE$i`M`jE?5DagDiy^a> D[F~K dtӊ_f3P">Scb?AșUauotN6ɲ1'|@=U'"! L%ӷz 8ңK]t۰ȧXuPnnuHLn̄Hwo+Q%r )@wH4o+#[*o`pWh'{[@B4Q> ɝ+Sh+ {W>HQw &hҨ>rjzxM> i~SB5ZS[%^fngLUMV*BcЄD)#'PuV_(25_#5 ;5VQ+juVpƊ?s d;}cs!=ZH3З` n7 ?RP.FnxЁ}y Wע<0@D6zH2F ߮貰Wp9(x`2?$WC~o]`dj|jSc6U=?p\۫vHkѓ6:| CJ}??sz[>K JiгAsWN>F09XC:{'3 o_1鸥swd@ BfS\ x-.v~~@NrQ*ev`]OzG& htyV,XfX*j{]+aDt:C43]OV#x"GJ8ݷga hT[7UJGUr "_/Փ܂;M3'yB2,r mS޹\$+8g8N=PoB7<@[A8: Z^| ^ޘ wfs 1$KNnJ+O!Oy.(' QxS˝n} iޓpaOZXxwx92$8GH- 4{=W(9WAl2B~Q’Ծscf3A bE.xeZmT% NC wmD `q^Ԧ'􏪳 jA-6H F0z-+>wfsE$ Hzχf?\\ixƚl6'&'!Ps 1P _3R@tbCt'ܖMݵWs0?@ Ic+eukU5be6s' /[?mp׆| W,BAH*3*T y ?eZ` S~4{k/⪂ºx-}ķÖh[؃i GӋ`}M>q0er*rh!!4/h1L(Y` i|ͽr{+ ~[` 6 V=o(so q9*u8lD0*6ۓ9CԇeV5Zy%,0sӳn/n9 fԧ %&ɭuu@-RK||K&{l`;5^y=/<4v!^vNI~NDK 9ԢU `^o#D% AmYh/ ll话ĄI(͙h赞g!Py7&bY F'=*N/E%M(wNш0t9 KfeIl]g+sl'sW[=Rgi6Z'PА?M'͚)eN,0iu  |<aF(ɗGYD-Fp  =Lh;+ԦgnD/<>8,o)GOuDVN!C=٣ĭZ0szKApѴ#e/RO{'"w;|Nw-_ -_+i.yZ[>6U뉵pcy{MjvQxQst ER=.{(9R:{ P?\=i|7vށ 8!Ftljh}P h\)ۗM"r⽭\? %6̿/*5otqJA}޸:X A O qڤOPB"𞛚 0! M/]@i e]I ,W :V1rQg9 x8Ω SBBR T [ qKA !wxc~*Wmٽ^ 9!}9g{MI7w4/wbWWNoprݯF,[TosO܋9 X;3*Iϒ8}U ŃВ]*t9=Xf.,bG1.bn&^y`h*. x9nh .;M`%UT<;7Hi&]Z/;čFܡ2Q&0eyqy}й(C} QazmN( pYKPn$Ger5tF M*IֿL狝8M ?u+؉r*_ yA1ƀB:8jz=HُrQ-a&v~&clkkxI޿+rOC@~V}Ӟ08 Hw(sQෟΚ/y-;@ӵPضf.oa57VS.[='Uްp~Xzؽ ɴ/̖@;a܎\!`z4уo7ө# CW+.D`W2iLܕlۮqJfsgleLym7ܼ8oxpL E~г\byŵğE@@%_G#ō!BWXC#F=_8ޑ N]ȧTjRsA&LL;LAWmn,L/`!+-"A;^QSo26AT.|@ijtF:eW9-Q16gU+7 W6sȖOޜכ[hU[(؁oE$hTc$ I32v^1c){,J}dPr*cegف,uɒk^Ӎ?Rw:2DwÓ;HBczN_D]Rr"e[a4Qr_?>ݜtlԅ2r˲>>CkNBܶFC>P):MQovm F8'ͬ 1< o.@cTW<# Ane)|̓nPޗR9?I vH)Spģ4 rYiX!]\-VFcr 0Rk"ܗ#+W⤂&hsBBjp<&6 ]q2mza[ (zMQF̈́,0;-{r}cfӹQY&v}yPoPȳ~R)r13ҷ_|rfPiV^1D79B-B.%^9)v=(JH{jDYPލ# Z1-C@ OA8Bʢf>`9ci!4W%`^t;TJpO*,*mĖw.UN @W` UqQs'%&D̫؁C:&݆'dҽ#K"tð{N&le$ĖVGT$ѳ(K,+'! g`[XC3E)U7j-w_\4'tC\L6l@i'wj`8IR`׿Vj*BtHuQfNEv)wR͋q[y-}akD>L *"n֎XKIyND0r/tLx~ x1D;Yу>lZS_U%e,Q hϻ\$K>[I{ipIMː~JaErf˾WLtd:7 h؂i̚]#Dr!r .gBBTu5ʫV 9^x:ά2)M܃]_  ȅ?+Т)oSN44LV@E׷6βVq +ȄWzN[:1[PRK.%ûK)}eDq⪢X޴Vu5SIecl A =5Io zQ5ppuE/%#D-*-ja Oaֳy-;T(2whvxo|WMJa"YQiTX*\kF2(^[xR(BA<\p׬+`]X=ylS^.>*3y!TcM c NcafH!_1& X^J2*G&zуjՓOf':.|15MX-.Y+I+iqxzNWuQ}lh=]5 –{'M2~ҷWIwgpcNy PR@syeuпI95Scd[HʙaA`_>(9yrY,";Iwg9-0(>amZkC}^iS `oUG\P%zA5zbT>Q@?Cok/OY5fhx7I\{~[ Hz3B4Q'ePQ2nMYv6ma'Y{=Dhg[q B'0ۻ)䊡5FuM }<?^ރI蹴ѡDa?Ss}1ԯ3gA#>^lMb9TPH~3r;S#}n*LZ-? $|[)֣J˦() T.܏TG[| Jr(w rˍE*SZqظayvIƖ1^i2J17PKgJjp2'%tv) <Prk bHjlH;E?F";6_ŷWkAXrN;pU.4>(FJ A^#&Вg]ѱ'pg:&g MIul&PPIs"Fr }6L}tԡ_@1,k0sa d (>J"^LXo{oԷ%2 o:'}Hj@}c~c$)oE {,Tfy; {54F$^Bd627cslF-8ȥxu ~6t?]ܚJe2Y|ɛgYy,PϤKb[fq,֛`2~u ( ~r%=sMr1e)Z:fW[9ח7m(֖"B 6|9#'ֳ5mkJ*d7^o7l3Uɒ낍ښLC,/wCGTNS%.k!jNp4KOL 1~LZ[4Ȍe@~f L0~}*2\&MZ`_.? @U-ipxo"Nv_,|\^+>[ ;i7 :y5` ,I`vMP6[k5{h6uS}]c\ :線g*q[fp]4R(#'8Mz'P6<7\yſZ|m ?9 ()q6M]kRP w=Fq}|hpEy V?SstDq yvN6|]Tq6#2nwEL>\^쒴fӎ6IPku$Fׁ~0w}͕G_zP5 kЖ49Ov  |ysbgb*=Q7*-<ƸҒCʂs\Tx_G~0#\'5G4(y@nCZP"sZ<\0S훉aĹpRf%#.})9`a2wf({ēUH\9ߋ]|~跓 ŋZU*k8e6흄;(l>׼n{GSNn[7JSۥTz0 b&O#:UpqGB^[lcc ,³pڡ!@ L6Y9/ ^Kd ֥NBxU a,|Og <(&QVA˫7,5~$aAfuRKtIq+{1>Xo6ƲI*)ۆtI@-LQP$Uj ä0|mI+׮y6YHۙeiKo< Jjrd uE~DFua_ & >_9D^hڢla)TCCSp@-THn5 p^L3Z9L֔ M F+j̟pj=hW{a2x,tΉl8^'ڵ'\l֢!YU%X5sO1a;%wp2/_ u_"fgf{4Ic:=/]>GϮr2s[ /-UdgǛ#z>ؘA;l\+*,z(Ha!n2XJx'@5·fwře= l=3ڂsɁyvAp-DKjZKt%1|lzŴ:~cί!OV9b*[B$Fu`d; _7s+NfArm9|:7o(G4m4vSN=)oCH~sbn{|OjÁ\.˿$UGqE6 =hV*,QM މgLՀ_] C뵳+B[Zmvղ!8?Ʌأ$ȍ![W5猜X޴&wauǚ \Aja;(xr+N'au2e `u_LpcKzBx@M$@4 ^cLcOJ%YXK@eSؽKCmkI|Y2L:Px[HЅ?D,ɐ8A#{fAzB4S֮^JUѼPc;j;jMZRZ ՁSSw(Sޜ=|~K⒬~ #k9K>f&ҥ XLԵc<0H:+>ڸxju';a=7{-m)f> A U3^ޠ 獓X)&ɍNc8EχPZ#όG>a t)wx˸BJ7J :mkK'%C[ʾ6d#s̟s(Tp5#L s< cyD&@u&3Ef9_݀x ^7&{؎F z|eמUGb\ඕ?: NSE7kj٘$}>MъYFa菍%A9ZI25]kt.] p~嚾WơfAYW+- ;igPbVn9^?ApwYEjDLBLy O4Bu\.M_hh-f{iHtp8M6p&}wTD}CqkؚZܩ;04P?`Q:lޫ{O>/>T#-roQcaScur^TadC+>]2)=11Z#N[ B"2nE+jCcK4{4 ҋ /{ڐr0_L#j@>o jY~Z{=rLF!ehKCzRfQrNߋyh^<#)d6 .PETGӣC I[fҕ pIm T /LRz@[P qջU8͹9 e,TC*t(NS݃sSӼ$2&&ϋF;<$ FzZp";3 N!޲@eƢg s: f:\>C8aa5z8p,J,\Ęa5Xc()5 hT%̅Jnp6 $1`# =Z]lX"Y/c ~ӝi zM>U8@=$Ud=֞nj=%kz6!M7N R$3#}4.*c> P8W9ѸXv volbNG MB@r׹ƽK+PlB]P~Z7'ӱA:rp36,KPw8;OD[ t=ccXQ ֓TAO> j ʈvr@e0Yw>Ԡ+CWLB#'Srd+6ēgYe' /B@{:j6)iM1,ۢj}PS9_ @%#TQ(J X9ogr ?;}5rrg'*GS{XKC,-YI~e=W\Rkf/ tm&JbXL F%T:|-~pj1,wѪ6Y9ã 6yr4e2v$uZY(t" cۈFxST_N)o:Y$l_r!Y9@C6k+ʆTޟ//u4Er~)}"1fGBu2>`4oagy fomTAvy8ο,eOxFc+6Eon֌Dk;;؎xa2/;iGNXNHܷ;t>ƺ,Iw~<Ӓd_@G5 B '84\q|9b.=Ԭ1%4ۆꌴT_(ћKd31^:7m: ,`[ JXvw$9!3kxCa@7xuptF0U-cI?D{Qٲ8YHSia0M diy84JvR>WK V-6_"ƌCűH&}gMLJ 8{ 4& M08+6NoB%!ku]YvDjV=t3Is$25yES "˱ 91=PZr_Ŧ.ܴn`a*Jp@DA\?!HWYDPGa 2FoCEeaƏ_C,j,`$zoY17w#^/wVtfo&籟#,[ϩKߐ* d`yE ᤄDؼo ]8 w-lnwջwZʼnW5U]o5AǍv2wn.u\RWCFq y&K2 y8Vd>Q_0`Y*luaꝑnZ[Ig mhr[;W GbY#jFf讍׮V i>QFS4Er$wY! ߇i;4BSO/`*N5jh0ͽS oGǷ8gr$eNAFW%0Zh2X-94`Q{WTnj-(]"d@AiUA0} $EJl聇#Tp>MCϱNJơ$G=b]qStnpsKeB%eɹll[k=JZ  ts[psh@ukcq̲v3nTbpq,gώcvXSzޘak;䘪Y T@`gh UT \ }DN̏^xOP=4wOv@**%ޟ x[0_,&~ 8+Ɨf' 񌊠 ^8m}Iڰ&[D"C>LdU¦{U.% NOsfh?RSm]0 fn+:+-p dQmQ>?H^mnb {~T Y_f;=hWONxg63S@_&6:;.ᵵ}2IoOzڤ^Fiܡ+Y@VD(E1 [2#+R{?#/q2'!nKccy'Ŭ5.SLO>4Z`aԳ6> M} `8?In.f_*jaInFzQR],kupNV1G ̸lЕ;a"*}itqcS:TVZ'yGL8PO}g%w1digum ~g"q ح^YhI/wۆ w#a"zYh ~Wίs-fG*HW@C5JL2.8YZuRvoQcL P- oSb ;+{27Ihs/Ip+}ZЩP0jSU¨k26<1y"W}IUfK)Xe ̠Ӟod ?-on}h*$GF'I50X:)o&KqT!%{-E~ 6YV_kn6c#-F/d5Z}akˑr!L4@{1 昴cho-䔵B~#tOw0v~BF~"@7a6)"0vSODn6t#x/n Jq@naÖBV#,q6Mh?q7(m35tjε]CY.>x`#^b1]0 <8XE}u+ 5܋q~Wӧ2;2-:7~zS9&I#:WLimnR0 Iw  KTP3%MJA*j,fPKO\CZS#$*=KrH8nppV'$,t6JD=EOti-k-~*jg#nv+q 5o% s[}cMUu?y|`OUJ|{nu$o#ik*u>x}j ZIo AStևP&D 7]|g_U4C p'u-Y V䀖vmq=j3gTF d'lixf<8KaJSfw Ga5u\Pf0q!_.vo%[lq5HrHo9j`TUqDRpsٶW7Nb/Z5Y"1D$-*=.>Ƅ;*-A WPc+~xЖRm:f@6ECQ#>tdδ7&H`P[nNҐ&~kT1,kD2Bz$Kk9*f) 'B4j'Y/`:z}ߘ~r&0EPYìN hfD\F HݓTd-6V:Q2XHQcGq7Zx-:-EOD Uw#8I;L*ߐ?d`3^:a ,ވvߦg89&g-I!*E3[Cype>?Ě4СHri K+`Aؔ3~ >N jFvo-'_|sʖ)J4XF実*_{$Pm,Ⲷup}(y%o~!}ufJ?yWɓbi^ ?v;g(@:@&=ש 8HjKT#Do[,ޯϼJ ^H/iLOڃD<1m&+z?굣.9?cN. 'ʁ7k[aw?ũĆ~?%a$ib(1n4T#$B6QG/SF4uToCN=y@5$OL'|n;&֯Z}*k>D oF#a[GAGF}f:;SLpueA2]ŠI۫Dy*]XG~ X5TkBf+tɟF6 0-?ޏ5%g~Y)},mv왅%_Y7 rwZ oC+ղOb*,WXeNVEK˃]M&-0ord)u/Sտkhߌ^M(ᩣ0u?CHj" K|tT0!Uqán-멛ȐL!s4DpY9ȆcC8 רl+ٹkd(a`sǪE}}۞xrQvYlֻ>0VI%vXh$ yhȽ oG=y<6g SD2SLtCӞK|n*&+?^n=󠺜K=B~Ѣ8%lp}-̃r[Z0;>ey?;烵CYrb$Z ( },?*:^.f%roic֑3p< 3㜢LG8Vg7!+ ]ѕKufEە#&7y.NWNɯFTt S7 _&ft"}4(uC&EDH$_ŰUHzcWߩIJAeKUtC$?v?`| 9=E:Ӗb ,;FF-kn/#SW#A1jrؠԬׄ0j/Æ fDJo!+JRH5 tCsw:2\Whd/0]8ZE` >!(P*L%gW fY M6x cn0eŘLKj;iJaOULQ V" 㝤l9ɩ2`]Ul0rBR5u&>A$cW/:}Z^X<9[3k<ާJlh\&e,޿ӤD0  .ۤ4LC2RWܱ9jt9KE_ZQPNВ7;NJ!,@ \@>(cSjR "n&aR f*$ҷ[ m8UsGHY<*;`jtBwRk$I$T0@uqug$"vF9z@~#*e; K3C;}M'l)bel_58xk"m-NWR!塚I W0O\m I;SQ;?,Dsbg3%=XeI- U 0h,bUi?m nox+Zn]Wv۴Ť% So{H.p"\ KѢک%ׁ8Oޤ0_b8mΖ5 +zou"3`|YAw\iϯk3X.κ(Pٴ׆q"?> XtL :*9%'F:s6EdmǓjSU t1_Ķ' iO1 =V=U ]w.,2 %  ;jS ՙw +k'@a?-&TjhseLȝa*%v(XWïUAL%?qYYE5BW V+J8TDtw BU'(M^cZ\¹Z`gkE`m}` Mz˳!_/8 \7‰4r\Ґ&lZ&! |hpF*jm};^nōk S)mH78{k;YEuJs+p~Ϻ՗&Q3 V֞U^*=cvZT[N7tO5wM6R{i^F(8\scqXxzctMyL\iˆʃO4X~N'- (FYfxPkV?{HXH6ےÓo%;f1;Rm+f%ȞWNo5KgeF% ?r^hx'>OQL82s$3|bl'{LM_Wy'orJ9(], @nAq# Op$[/w ?^Kc:9 1է]s;ڸi ۹ڕLזCyKN m-œ]n._{/_ϰ5(T0y&I7U\ډu5 c(9GQ nyְp4BAcqU$UEJ7+P^vjaT) FB i/FׅMF]\_tdUC쾸**ێkDXfޙVw$jλ>T@MbQCy5> sqh;߶uPat JXstA'rW0IadSCzOXsp4 D嵡?Ox_HDsM>a[Mgd T6poط SFKsW6gC? ܇CY/𶾾ٹ%ۄ*cuaYrL2&+h`=eKkwcw+vaU3!nQ 0MD[Yn*Fs QU Å2B9cW[S0+GG P[*4ŚhG t6_G1Rw[:n(P`;bAG\(8Oe54۱=)͒١\9Phe G }u>`.тͨnYR-em7 A3^(H$ FĽ_1UOxGĂG9˯qBt^7` Jb6(h7q T`wP.ں*P2kV\4 gr@-Npf'RsփB2*D`.e0Y8K}d^ӯp6v71H4M *O^'i{ wə6xMG'gA#TA[iB "2 7qWߎ[)?cŎ,H p82 (( |r2=/|u/[|g zIy ͦ꼺  x^ S l S)9Ʒ|w' '=K"dNɑլ۹Qr$1~+ҞbKa x}̡viAYR2?8R4_vX_qR#yпU1:cݠn3ZHlM-efKIda-"`CWsuɱ0 +欲CPנ"Tttt$gߗjO†.[js筱EX[]I Au^*2ij.ݪdZU!f/\'C˫fa =4& +*>!z`,zfNnSl QC;yD>e'y諻_I!7貹 ѪU M LX.ů|pas0~lX:0o>>&n4Qme£6Um±Hp,w;5b_XK#$/+or9FTu,tD>AKyp7Jb/ /|ubd#3X B>BJ N  x/L0OY'c\7ښC'^0tƲ~43ZIZSW*h7i"y7AwH5l;[`N{8X0zA^(h F5iLmd{)}uLř",Dm3P zx23BxTC\5EA CbqEO qۻIWX-zQ_x*Hg$R=}wHR)'8o8|pKʼ`6|l:XK\W=a'(%BmMm7G!Bq/O3wY>SHQM/`1hmZ9/R#+1XNV͙l<զJЕJ]{bA)C ߓ;'VEVo˚?Ն`q߿,ڰR^\z[Q*͛> m E% 4J yaPac"jW\w |*,#a(9$r\]ДŒč'{sӛl ǚܨsY IBﳖWy͇象Y$O|؅U'WSvBQL+6(XYSTt^wڟ+g}J1K(Mtymcmw^LߓMWڮt[ W\E0K܁vhbŤ`ڐ nc#CGJl,HZ꒓c-~O&6& e4&?|CY|Kn;hZ&Ϝߒd{ lQ WFj4J;`55+Z,vz}SI0w=KIPb$_1ĺmg=l ,pKv a*Z E{2@dJX??)Q̷ .ƻLJ-/N?~D_.M)h=7(ㅢzK#=L)Ed)lFnB޴$WX7E0FAz466ʅkd>5i+1# vYyǮujQ6 :''+#yo(C;sF^%\ξS.VH 1C#oL!K$+_ c ^:3A1K"m[0E9[z3/;FUi&bʗ/j$r} Baյڧ)Χ^z\duf(&k}KXdyCy*hw_)oش9fQZ?69prqD}HBe݉_*٤x[R|=BP`~d5KU%rq{!Ly"WBը69$gZg/@i($RAw"vk[y!yS)LU’.GK|s"ѬJKsnՌ+@+SRB {`Qs#AO@ )='d1Ҩ?>R{Fuj{k *H8EzQn Q?gr]6-fs.Bg?{dzh 8HD،5LAqI {rRixʱ=g{M\_[s,ӦT#n MX,q8Y'sfhf&h*\Ny\d(^BKe:cC_'覞ǝ B^tx' =; <d6&ljlQ[ڹ>nDAj^`Y-3\Gzc6R>&g$ڋr9G9%ƠxnzĨN q/#7.2_tM@}<2o0*~[7DKNF.Hq, @H)QlST\b_3bsb9.}|õj bd *$hF8j9ˢ_ ~)~du"R镵7'zbhd`oE~| P~, !DnVYҙW@{ODJ9ϚC{0TwH&O\NG[L~Dʚ`{C%Ew1z4YN:i_l@9E9Cw9Ӌ% WLY8.f . `AjuN8`[sү4pIE|3\B+!v􁰽7 ީao_H&A0@Mѐ6W-l=C\ AkP*F3c.|)aFd'=.%dm;%h|OT\3UMhK y"/gYOe~;j;Y8=u'/]lu2H~"pm#\,7f\#9/)jp֑7^Ie̿TEȁ۟x؇(@lV:͊d l(#JPӏ0^\~<n]hA%yě9&Ō1F m( "gsu|DdSw%==uMA|U𧤷@Ex@vcVډ}5#:錭sQk_^YK<?r_忤3~|.¤جԲ@r'Wr9á9a&~b~5@W7ю&>*Ǽ T.ʀ0`I$agK`MfNs^+<;F>NgQXlzFhم pLb]~,$62z;V46O -$Jmh㷗j^Ln0%g6'y!Q5swN@%-te≠EX<삐R5%|ĶNvLs($U;(#XZ@EW*ddΟQQdDw)N{ b9J7Ƈ>^GRv0& o!\{͇CD Y w- ь0kjZLgYY:bz#L*6y ,ÚQu:_k^٥dpTH9Z~?Of]ZqշˬfGp2-f&} 9y QP")tN2;29e0r/6'8 dΥ)2WdTWp-V  q'9$S!w ǖ8, 9H󱹬![P!EZKqu-ݡꍺ^O>-R[z,58e d{|}( zKx#&Ti5sE_x щuXT NZM_ļVIp !T>l*6?a&V 2/K+x07few=J@߱TBFzů H~nj}RfmRwg"ad&/~`V^OӰҖ2pF4 gIW1ߚv͘kj7bLhd V\Sx9֨Ц $ldǡɟM`eaOoA ~GQ$dg=I(+_{i间f mFs@8W;9X+ViDh&y`EnI`'> ZylFK_СI>FHISȢ{N uTAεH߉ޞ1NWe J?Ykuv|jR(|\bGa,!s*yjJG0լlvl~ K~ s\?g@z8Wprc{"=8PYpQų k} :fxL7azz/|n^c=`qɵ$)B/.s1Q:;O!1M81eYL@uv^GF>飷S2bXь&KGʓܿ=~L8#xk6PƻbK Se `/0@UTU+মt0b4ȏ=|.u#kԠ"ΕGΗC ~i/:yIXDvzMdiC/qv7!N(:ۉ77@W͂Ck %J{~g ߝlm1LGLPjPe8FFSf\d,Oq{՝[a8\C"WJ)K<[ ]ԽIFVYWZwbI5CTw  > X)M@zuԿGpW6Q(Pr[bo^ F 70 [rzcӮCx'WAS%\1hH|E:`H$׶8J !A)L7̐Y˯` ɨ۝l6GyhòEi5qm&g"wk DɅ̓FYoi rqH ajd>Ubq 7R5H(Z̴, RUs8ˎ2(@ >eRa XJe@mGs{vvX%Еi5rƮ##L+pl1$ > UMAL7üEh$!;Q-83ݝƌW@-Ю>E't8N}C@<&AG',C]pϞN~5(ATye4/͍0"]@l<MWS?X(}IHGvx~KDg?/Q7ޜUu:ZbԀ阳1 ԛh7=*m", <<>jTAt(BjKb!%XVf}fԴ26%2\lA$x}wHamM>^#R>Ӝp67=d){(e%{FeBG0 ~_@tNzTKH~~2ҒskK}< I%QJTTءPێw:Poah ?8*{e=ufV4/z}Js?X՞u`kM@ O]끦:Q^J@^F2~_]OiɄQ5#V jCtr{#KU*(v-iR+M-m нar,~یxAQ s)b]-@vs;&zƽ+\E񇺜qHY*v S?Ktu3Dsą=$>}ӝYn+T7<5|\>]G;(G>)c6>*[*13F[4iST(>ݍЮN.͋Zb_vv9ovZ{}Rm|QXZ[Xꣵ:t51GYr)v [4ڶ@D,=q u gGxӮroxN]U]e8"pp0r_I&?{?#Bc3V<,&onuk7DUFBvæq~Op𱒄jk˨1 ]KP&}փ'J?yOnM)ًv|}bNKyK"oH\ҁm.:`.(I Ջyt뻇XwU2gy F]3,yO =|_K>mO\4肿k_#eip̐|A/;hI١Z75R}4{!| YהjR/ !j><$/Ɔ}7yj[ûu \\I /L 8~^'' CpɳqWKkGD1 mJn,M{}q.pzKԺWS?Xza$+\dvIprԁ]_:ȈO%AF4`fK5/[w`.|^g/ORȏWMʲYR4]q5KX1%Fq].b UAG dy_Hlt4|-s`7#O7ߑ]keW支kF!Q$, xG8bB mU"n< b,O\bitvbb?Vtۚb]Qξ+X*3݂D\\ ??Z xܽM(כ8e CkF7q9z :7GoJ(͆FD#§$ (sڑ? ht֝{g\m 06:ѐu>ݩɯlԉ'oVuzd/hP;i[xAJ?l] ݿOa:4O4{Dc_}Ӓ%{R~t>U}XksjM'¡(YV6LzGnIa6W(v)ɴc4Ig{3j÷xkJ1TM)!FBľi/n!{["..=D:Cd2Wt+Ia8kC~ԁlbk{3`4|a0+>=Inh7s~`[jI3=ݔ!GW$ŇBׯ)pI`?k͔ iM LY "aðDրD>9H`TAS)#~ C 4[Jǝ{*2Gkx_/mnnqX(CW"aE W`\{RͰ$2{o0dDߩq[FX~8HXuݞ q`2 É8==aor z(W] :>u?b]G'vFI!&X ʼ/0;@rI$XVjwz )a8h N(Fû8Y|")][gI1Uݳ7ՓE7b4@}tm^ zDjnKf[B?[d/[&pDFǾG^k$=ӄvxګ 6'4GǠFLzhLl)A~|.A&)c%Pyf:9yOƻu4jTo pI$;]թ2mWf2{'JJ>A u&^ WSRK\RuoB, vƅEA=di(@J~ +K "bD r&Te4a Ez{ |cl S}аrscF@0t f#S' `iV$^3We"zDx' >oz xKkR#M=ZNGFR4MAWOB)T^0(-֍Sށ&-j58®cr-x!RZA(QY Y5.aDy_cHQJM7q QKmйW`]PgS' ?&=ًfz“ahS cRZ"V}DтpF1Tڞ.D9d#L|Զܙ\.5@:YH G5h`P'8RGFVq}ҡڒ7gW \l|aIHe:gr퀜+6e)=*Hqk8ܻ2m0i#,LoxeͿ+AҶOzB]~u7"G+PdԿFGt$5Dz⓻\ _{{Z@LRQEztwD)52ӫJ5UGJr/ 齳Mpha~U.Hg2/6F.BoNKh_Sh#DMGPPFȨm7}$:-r~c_ȣY쁥Od4ՏX4/`ͬK~fy23MWi?Ug-M:bE<ɢ}V/_sGl!!S^y%4_4ibm$@0+IPU CfUe[$e3G.=cd1]?y}j3 ,u@Rs{kp] hC2Xtxc?$xf:*Z(df!؊3$ncv$9ق,ˎhĜ&ƒV]` Çl %u}E'ˈFp+$#\]5ej"N^  4KpzG@C4b=;k4oex$?5I+gh 67i%&r&GR}ʕR P e"mI-<NJ(Bdґ Xj#p 1#8nJe@W\|zsjS$=o&9;&]~ Ae28e6A.̖6@S?Iw~@ZV=҆-m D0kyq)s=]M@^7Eo_)VmR's^ZP#7:50ːHPe(ߢ/Ac!z,hNW+`po%NF1TtPR .eJVk´c\Or-hYyB4zo@ZcsxS2hD]:~Η-Vc1?Ӱ(vmjӽ~O>k2z.cYm H$W[Y{ff'|jCɩfnuk++tζpMD5*MK"T`&:}I[( 'iS 1͇<G3Ox%ILp:flƵTϣx#Y`0/b/(+H92IƸ=`v=hk-vAw/Ux|jqe.g^!#+ZZE7+ |ˣgZ*0 J@]\AY8'#RQ8~`gy>2LbP$L\]&))-Odvip,䦖!ŷ|u'C;,M8&`CWҮ1xLDBu4urs~f$/ }5e)>yhtnj\6G̱ Tøy