SQLite format 3@ .;  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  7,$$ ]/ MSO_Regex_Equivalence:threads=4elapsed=571.839cpu=1777.340gc=43.928factor=3.117zXZִF! C]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'oGZ\ |}'Se qpY<.NI$W~xə87n)?5*qĤ}rMizsӏ #crȿÙ^Iˮf[Z"څ JǍbx"K˓3%`JFw5?7s ?4`(kmHunJnJ_}sRW_&.eBanX!/eGΐ:lvJϫw'#E(tMJlp7ME t=/-l3JR~MkJUkQeϐ+Zmb })%gVo$ޏV_`Jg2%] {xvTZFZ3CRx4΀"dEq-AZq #?ODa:78pEϾl.)t\$y}rXXၟNuV"%/]4 =1܋245^P-֥]IgF?)= d=Xd,b;8Z Ǔ5͔?ڎ .1 r8[&Fxu҈;3w6"gHٙ3-n؃u`|0NA,%ޗcV]%Ƈ+cw ̸luj0&8%VIi?r-TnnkR 㵦о`S{*cq(vj;VT& u ͥrlcԶ8yy跡pصTm6E K{C//1Y,-?uVlp#I#zX] ZIo=h7{, &7!άe!lP oa"bO*U) -gF|pW 6<`D!/MKA NUllSv,Nӗ\ej7bMei# HEӳ%vGjApcdJ8D d(pg&B.,DDU8kejф wY1g5DA <NJp1yzgikK%cǚyH.ŠcO~E3]ew ',̀mV\º:mHR 6_׃7$ >hpG>&N'F6ͼ/-1g9*ÂXrK`y4V䣨&4#epx6z!AJQ:;=Uj6ɂ^2bu?@F%ng/è{bLߛF@ ~ IiL}ѪZ+fǶׁ@wz R5Sa`KԹ{̭P~*sA;+ٕ I\KYGO5G+XBev"TALcu:%jQ;-0X?dA{HŰk&•ylu L=9SF0Hrps;;vR8#l_?Yt[q>ٍ>_?aWf2uz  at̐Ͽ̨Zj0XիCzBNϵ Wԗ~ck2UYld2^S=a-^$P+6<!zRϏh B]^<ʿ.d{*"ްMVm8'VP![%ɻV (kl[!!yo3@RGDFՐOjXl1E!2L7&'("{] < 뚤*jۅ **>PQtz=/ 5dG [wa{t!hw5̑ɐ ޟi]\=USrzV7d Br ҽ5*fԝgVs,\7F2EyX-(1T.b"`W3cC<_ߓ;];,I(>0 .Fc@`_62 %BЊw@m.+d_@-a(Eav}4K,NAo =]pg0,os#Ѹ&`b_Ɛy"\v,V^pDiM)Y%IUۦ5\KY-(jwO7wP9𤻂SLn'.4D|U1lK5%44ɯ/nˮE> 7 MSO_Regex_Equivalence  'kBp{Z>IT" RM^qF iPItaM'0-^RJ1ZHzPC{LϼdZ(2R-ˇ(,ιgPm*7NCwc1:Br1d#Jhwyznp[j;t($P}Q09+BAɓs=;2!IL)$Nh@RIڝOɝ`w7YV1#Fg^ [iǯjFﯜkX5=U ]Y،^*xGs\P˕iqX H7UR;kAqfYӻCJqlZa!yC9!mFkjk+* ~;Dl@w5d`Ur9l{hPy )RNk/ E|"\9vLݬSY>L퍸1U7 .6Q o$NZĮFrָၮӵpKJNǮldYR7IFf-yUT*IcM1}p?`?_2eN$$xtJLn?< &zvU֊ СI \Q)Wq%z|A)h3%`gFT# 剣#|,@k|4*ҷL1%m$J}0{bڦGW? QGoX#t)cPv*&Ik"g٭A6J浨 /4%T>_}`A-7vH*#EG.j(tg ݿMO%V_SFyZ# &}kM=N^v659MK6T:띴c՗*? JVد_kSC >VN=>ǠI%S8B24,L;VǦd!);/z!yFs;m,Ifv?Z@EL*R :l˞T cQ "nmw)do chzKyM9A%#7mg)+'@,Vy1 'V)?8z[F \btF;*-d{IH`_IrɖH jObI_Wp?VTuךgZSHe6za!2u88-Xf&eƕwHmWIvĜ 6 ^1!N|4@wZ?,x\?gSIzC~۬"&w.*OKԂÉ$mXVɭ]eoA3C:zjB8.z0!+|1A&*"'jr4 ";[m(C)BP_G #$M!]k.vTUwR&ľd&gYZ7zXZִF! i ]ŗXiɟ1˦rYsxgp9f閷W(DMQbU BB҉c nGEkB^u9Ю  %_3&(<+;D?('R<-QG!n7 ?hH:+x0K-Ou t~P޹CdI` r6R)wXoV1ռ͞B% v[sq6\ I>PH1ls}~P\=K2#&nYnNؖyY=fa%-t;w_y㻞0xg/(6OC"רGE~le$EQ3}NZ46J>% 8R݇6a>Q)ܾAZ1rgl.d3َ))$ ffC+bu\=&)[&Ц5dӎpIA%͈}x&[[Rz@xͿfG~L"Ȳ_GW?W %w Eo.Aĕ@0nea "С,$eca3<dR;&,Y)8a~r0D?4mD\6Dˊƾɇ| u5Aђ2'Vy2G-wAZNi'$Zn8 %gM[ڐ/um"_6>dwCQp)\;Zdm(K*(gYZ7zXZִF! 쫕J]ŗXi%L Ie`Đ4P04i;_%>v^NB._/ ! ,m`%rn; . fH5vlvM$< $WI|GO"͠gFIRPQwwdT:J@o'w̛  0_2C |jp)B>Y4gS3/iX' jĂNJpbom?," ^y2d3x{ʡ6_7y]wO0I=-݆k)JU(\_P{2|Pd0_,'NAOY7%_͉9:9.g,c i:Pp MBh:CT0 {kg lOB? (K71!L9sSРs2?m+Tx: G PP>$XQ>Eөu4<6ߐd"Crn)^/!tťbLНpkKH"V>K>ݻYF)Fۤn!G_9ϮӴL B<au!0-߲t3[vs}ƣUKT%GAg:ꑾ'lyvb$ƅ',$ 9c+e@ok WNW }.TKCoܲvֆpGhr38)7dy^&FHŶ.bJ_9"~N/BV}uy+txS%zUE&_J!+TW2w{ny L6zaJ=nFv9Ƥj(aՙXs][=eoo$L!uR3G'ly%kg_.އsF,D;*AsZ&Vn'}۾WDyz2:?nH,ם%~6\!:AѕXUᴮ}o" 8 j>8褄eR_^[q%6y jVE6>=nӈ(qmu[M3C|x=]`;jh3:`)lV:Ikē=OWc?3K|=z{X=ݭBn,ʸ <੽Wͬ6;/~h6#o^EZ}Ӊ_O=S.y|[$R T1L]ۚ.b-hZZxnX$L ZZ7h(-˭{wqó (\9[!@gۅvgL PH:w1,KDN=晼ڇ4hClQX9u*?1ju>9?C NyՍd_ngm6öXd. ) j'׼4aEKե~+ S^ %2%cgغ”nμ#}ȚS8( ta,c9OODópRJ&5!ݘ@2W/n&^KMSDfؚ:aIݖMTګh"0xH-5z@֌M1 s$~4 Ԩfq oLW,\7_aS=(O ij[s@WM2xg 7}@jV1-5ہ.6#CXC -臲oǜWSG܆3#?Q*1HRi;r 2DYlj'ŰN.s.5&mDm1 NO]4@It7rLG> [m;=qAuN.=::iae) ^xih4e5C4e[}51ݻ9`Jz?+:voiDh{s|j5<;ǯm0۴xK Ak(#*5 H C4fm+ܻ0H< /np f}!hȹE] gf݇~VD̈m<4|t!1 ~ ܥ‘9_KʪԶ|rX"v9 if~;IE#{Nlu^- JlDauoϰ5'k]~2 kR郭AlO昹#I ip.AH׌]CO|x2? XL64!Z#͠nQ˫T;NvnZe@?jQ<!t`wɭ$yn4KڝmEOS1im\Dq/o)p3Ӽ=J4m9[C=`!~%ȡoL9>|>hHW\ J*6zRg j#֛SAkk(F+o3K[ƒRQ:9|"6 xMu`wk%Míryu75?2Q ID]vN)hEUm>y@3(zF O/7w$?bmoL@=7ŋlCdB̦ 4Gŵ`Fn'WB|B\[+=c$k"4`Tq׮wK[c5g7Rh)G:N TtW*{nH < URIBi~ va[|O#8I{PW1JTA'n/Z > b=˅i}rW[Ȭhyp&b]g ~VuU"Ď<0im0p p٥-ـJrP>sSo`ue+GlX:A06dagY8s+mIJ+ur iI]Px! 77}\%J!,H=Q'(aXӄ ]%hUf]ڻvlh?אO:cTAErl9D۪i!p0>ޔxc{q[;,4mp4-YȽʦ7N;8lrpDuXy$V<_Cw| |g_IZR=)8]ɨ-QsPzct?JIY H&M5lZI`оӿGJqzlf\2fK!V\}2k:Zt"?W<06H&\N>k;'@13 D)fI}ə@pWsw3C| L]NG"?! Vn{Y|JHրB4(k"S%xWMYU++VxΚϕ*(JtO ȮJ@T#tQ~-, -< 8nxqxв#bvy"{xtɸe/q0C7DR.%=X_Tpoa!1'ǞBUs+p3B#r (6s =t#ML~4,38I1֣L!։#501,B.4T%zNhRF'I̓%e^PJ& \s&pX%E y hN:PEg_ʸ'c^W%fBPލH&Xr)Eߢ4v"cd A8Cy6Sjr%Fd JNVU( A/xD\D6Oi;xȰ A]*-ʞ ֳiG Ĭ/|guSLᩅjyH FdBHAk4ȠnLC2؇#m`c&~ _^c Ym#'q6*Vk/'Zao" -h!O(p }]az3G2 YOz8cʒ %蕣zF(y;݌ yD{"ϻ۟:C#`{Q/~\cUA!0Ȅj݆gHmeT]X e /B!cZ MoZu>AΟcM(j T!obG *POh mS\[ EP% 2i:c̠bP?T pց[R(qF@ľ'Zv5*iV|d$Nɺ$zQm;ySrx8, 9EX8ɩp"=s :ܠ"+fHہ$ sܚ25jv@ /ðZ27S^mɌqG{\N`́ܚ4Aumꄘ\ 3ep''α kYj8mnL\ }+l0AQ$6D<fL8x3H~>5?qe@}Dhf?ZTNEeW1gfi0ť -,n9z8WUN]Z,_WO{xP[LxcIKiT6DF6ZDN_>8V5Oiee^*l?_qTmꅑ%!?GIAO~3ZRk6_  `ag~ ');hpz6e<=/X*yTo8A9[rc$D͎ϼj3HLߠvC 2rT|2fTJbшJ9- hvi+=89+d ڐX]=jFI PMkǬSّA ªet  > *wCP'Cl||mkE;?s憶tՁ԰zf#]j+f+q`69䉨D=Ϲ0n0UPE=#]B7ر5bwKt/)E:\ٲXř׿?XG{h[(]ԤO8# bsfed&M<`٘X/˫04.vX.xuCfptb [hISk&AQdN|#T^%cI1 doGu(瘆xn8}8 jv_H}FLH2s!$;/um,wt %)V@GQ ;eTEH;>(QH ~DiaUª7enQݠ5¬G n{Fέp0_Z7/ kHimpXtjÑHf 43CE(?oco|+2/-wxͱ=bq"t|YT~Q>vj4i,CqsQc";Z.VV;:~MESY"h6+Tec cUA:&sʧ ~1mH@IaddnKtXfQ!l(_']ZIf:sQJB}T*ʆAWV5"#=qU4e /07eM\c*6Aeӕ~ @';GB2N;Gkf s@m s4.QoړܔE^#5 f 5*<b*1O֢IQPL3;l qJ`-}n=@QA/V>.U^4XEB{rš(j .Ad}{d4ߊ.[>YOgD͌/~V Rv8ALQIȷߛtkH n8VwG؈tMFf^\iOWYZIeĕVP !0x D?> Qٸ ф+^M]`$WArY҅g /_ S b @4L78l RNp.יAx_NdX=rHM04H+m^'Y3α{ "U*9.vH|<v̟ckIDMG66&lc! 蕬(: @rl|zFl5;Yd? -WʹeԆE&\mhe9 ?H@3F%O ,;BePRX x ؝e`:tp/ =|ap &ObFtWgŚ`XZ}jɶ>HdzX2C5Duɘ8tj}  { 6u}yS)骬V1D!V%5/./?N}7N@s_N_'lB-v E؋J! ;ܧ>Fz`Yr ض/kx6':9AJ[Ĩ7~hvMXj)uCHRܕR%\XRwa3fYc~xRmu)Is4׺wj$_Ab樂ؚ_0˻@n'k ~ݮ>*>1P^53+v=` 悔_.N@!QeAru-a>K{,E<9)*}8' _[%~s<9zܿT>"h+RcBIM<(4*<ɥ|ek, jǏ|tG}̙?(ENr4W"ôd!FtSRX*ù쌁>=Y8G3]!lئ2XL%I`tkj?uɺ漁XDmt9#NzGR<{oE; M ]q,9 =EN,QEt2*2'\4"=[T$b*+]>m&!j~rZuB|-vHRm, 5e]a$&c>3Aq\{pGU6ZZ[@n4B凿6Hԁ'{ !IƄ F ?Ys: U cnqLN96 O^S'?9<,bt'u^F>eͷ0)ο.?v`h-Óσra+x.Z,5-)?wI ]fZ,tf4ƕmWY#x>_qQgNt4GlovAuԕ}[0rk˪8z-ay|ppMLC̷3uPĻm*h nz^f"(cĠ$2!1󜕮ߋil̢aoF-jE[t9+M!gTgTg@gY)~+sXޓ% 1Ar,\~AfKݡ$1k)wE#ZA"f~~fpUM)hg?& S!7DeP dMԖe2w1)%u8Ec]z&(+];hW!r@``ȋ!Тg6k.N2:b$Ad3svhT43aWcٽ6uaT"Р'xieޱxzfiqRUGA:.%wlU`&&qA[S~7MUil\vgy:1_̺;`ut+ r,srg"a$.`6R3upHceiv"{/H#Pz;@_R (NCz)cx8SMuSXUaڌ;|1IF]uͪ/qѩhӞ 9tYZDKlsAl:W_K\ CZ q00DxP`UNϾ#wy˕t<2ͫ!{*ƪ{yLr֝E^a)(J Cd!ؠ,80JH1?$ Pyl:P0Ii~pZꬷHl(l92*^;3Fl0r}81Pղ[V,ng,3rPc8E{':] T_ixT6dˮ蚾!SX0#*Yg^9b/,x.%\[{<~ԚOd`@0VƐ1VgaoeN΍.wI[p x$[1~r36,:M5nXQ} ʥhL`ͧ{+SyWB[ WvbQYeYы3iՋhzW3/i?mWsBر,H+wR e)B\H_w|Փ Ru8u95Wwk/B}\32h_gzxѽl_6y?K [fe3vkމzīd*Wc 8s# B5{#pSY'eep鋿iPua3ygn+ l`Xy?(#>'jquM4-rgQnHѠ2 <"z bq 7jTiyRvGy N _($}##NlOX:KŽJ _RXN 阙U}JuW2].׃?`(Fl̝a2eP`c%CYavRWPmmb0 FW?;Nr nn 9_t^fD}Zj=Dbm2rAJ`ל eX6E2ćE34a :mV7xAk"ݨuuf MhK{}=c¸oVo,m`L(SQXVOwSh3xd_9K.x=:wSʝ Z+y` *czIL%@7F8r=pƢݏ%=SNFB9{HoЊ 0EuCe -A9>f z+PzB~a/&"ؔf/r=cۅ A\8^B) b?1'*;\T]V;/3 a;z9pZ{$P%[l:/8qvCSn.'EqԽ0 cfъ1E;$>0j kOJ4 O?uMl;scH{A*rk}X]3gE @T6RQ;yْD28KŦ+=i|pg%FIG)n#VI|nLku2媹$6eA6݅rϔ [*Pev_B!ڲ ݟZcZLQZP{/J.ˠH%*Z/C\,r+f#FuÑJ"*/Ch~_HOĂd3-ƈ(-7̎P-TwoN˂jHcAQftDcU\)wտzJ(QkLTOXCِŐ6<|ѓ*=`IWX&t(^IMEe[{\NHzX?(P1>IuHU3i73&΍ش)=.7gPRtk.A/;z 0uѥ߱]VƏP?h?ys6iEm.ܣʜ& ?4Xid _=\ yiEtJ#]o!, r}BCZn0Hh5kbեg=%P}ˣcH3;EWں.7sVGN4@t"̷fO`m86f rMt{IYȶhyl|VU =dJ] QaWٖjLE֔f#=an IDpu#2Npܙ'+2iYbw W> B=m0ՎfY9 ]G|h=n-Ğ.*LڒXMA9r9De0{y,2w>׼_1aK) Dn#Zk7;TexFYnZ?ՍddiKĺ烈 m  {_t,D loe{`᧡[A,2> TZZ)uy1xz' OwKe)IX*3:n`j"fԬv~l  `WӢXxUlmA|Fͥ 6 >כt, 1[^i*mܔ0oV"u~d ɰ:{eLʹnWүku~+JHĜ8č<.:l "8yAr/뇾bQKv\ʲx6`_riEFŹ:>ګobS7(뽦9c57pa;j'* ^#p%8G}@"ӎģʸEmdua2_`5 )! LsZ@kCw5X?.& OcŁ[D,x8FWJ@}9{hET`^6Y Hm ݬj@'۠.W=qC=FcGS3;Leys-|S©c,\$elw} HpB[E<ɫ7cUGQO7?-[1}Zw^{mQrWˍuNV.hɴhKɦ `s>Ww7[z U?Έ϶+͢/5ehr<miWT\n8ñZh ZsGLZ^TV6$I;=|j{ J~,ke'~] ]1BJvg+#o8ecRoڿaUp`{-koGt/d'N>d#~&Y0p;=x1XJB;c4"Ah)ٜi4Jxw^dj WE,KlNsVkɩN⹆'!{YXA m8 ƃä;91G o|0|GYAӸ@,筶ef,$uh;Jg|l&HǠE~yl62+cbw*h5c #hD\ ;狪Z]] 1hNM );==! [u9|P9K+^؄. ?c>0+85uB4)U|3?PmJ/~)poRq+AbO9>"y)$$Aw:Ᏼ|j}|텏3JF?.iiΗeonԗ)%{UC `K|zkEeN?O;3AQwOLC:ڄ)  K'&lXM 2\Rғ6fƚǜ*t }X.Ϋmu Й#x{ WaTԥeKBؾc:I4yRi3@?1IS|c-T"ܸ*C0\WKY4URrd+&Zj m[wEɣgpT .qx`F5~šQ&9o<4cY2zuFBO>swmClzm\mP(S֪}ƪڞEXȰFB =]̡:e <`]c_gVc C\TC%Qآh||Jx]'E8e9Ωz iM0TF^cA-D@RY%Y9*@,bc!m@I(+iʓFr,RZ郜-qn~"Kӄ'TJ 2{OoE(fGӼ}n7wOWV^@{5}cEW[M;6ga<{I'e Gmjb" V;!t,';KvÅsnDǝT![8&&A M 0ucdjv&7SHi K ⴹ GF61ѱ6%O~=fA?/.zuQIe a"LpPL7$d9&\OS!WQ1D,QӇKzZ:Ƚ"T!dE*!$C4XWT=4u= -Uz^&m_Dij|V)-ljbeq 4,y ( EӍq AiITFs]q$x$}gl a:4Qi6}]1.MzY~fLtUƀ1+쇝eC9AH0,Ni?VېFJ.WIǃ`V @m7G6Dy.D%(C'{[U]Pf6%{5k?Z_(E]=H+S™:?K$p!0G2ExrxNL #@v/l~|(h dUg͈P!eQd$m6i~17_lh)qfk7!.FJx";p1-c}O`(k0:4Q֎#fW%ׁih0lS:afCi;=J܀i3~YA+{{77bX ?GqsW ZㆎEr]4Dp|K..zG57G L0I@e>:<[6Xi6Ř6/2n~S{i.7E70)0E9NTa STz|4>&gB`œ8LgSB#,7Ё+]_Epb)5sY_Bp(K2E:~p-Abbx8=E.bi сH,ْ o*{XDj6YE]+4ޭݝtjD^eai/`isԶCkTE7{fj#̻|ͩ@Q3rh *=T_{/<#PW,fN4⍜Nv @ tq! 57W/{>;-ňxW+DLQB>wR?4ȎF]a"z j(Q Ov,lJse\߂LۇV-[)D mO6X|тW%:k(?jXρ#b& zJ),:&w9 >T}(NMjykjǒ9 j5. ZzSn2I4C( $x-7B [W*S])q x jRۀ[bl3xy)oٰ$Tlho7[pp ~g$ o1WA\͌y6Nϭ"#&㧧X4rO 7;[@G&X"aiĚ_dO-z >ZU,X}`te~-VR[^46?#ʐۢ'KUHz PTi:dKTt[kxw:IƱqrf_o dH!? Z>H^HY>ShRqQ ]WĈK*<@~_/߀7F(I;;d*/_L *C¯ѵe̒@ cI++pY W§;oƉWܰUնs'q+J<:/%VߑUD`UL MmzP@ 2!M W9'̰Si2j>=itPԷS%SDbMGG63*Ms6,@Y: =(Yׯț˯HɎG0{1LN)a :7,$E42br+M[4|y>9^-Wݓ^ƌ3Y6a7LiQ"7JUCkܮMH͙q #?zB3YťBYC/iWw`ГY;V31=QUSb ~.bg;őB7Z]K\k) FcjIϡ[ʍ 6VMvnC<[`upHy8/e4/oΥLC1顨o>>4"3LjƶvK=/nuqۘ==+Iߝ`hs@Cܢq ;$KYM1 _baΎrZwL+v7G?1Ci(`f[{߭ttv{K {o}:dʉӤ̏r{GSE{[0Vm7$@%Fi\Q봖򻾫x>ȹ`S3v?S2y=n~p0d1D* .c,v߸TAMO4|77[ "=<@UPn}S5z"H@ž.Ù2Nͳ&(Z?\<Ch:Q4ON,ʿ N 15̔@o#8;\{4b৵b D zQ۴GaC,يeș E 4 _׶٘.:aLo52Y%'ڸxr/A#~,WtXF0g| 6d\~18+i#j)sk}8)[V˶Egv+%O$@XA1(ͨz8:T ̿7yPĢ9o(q{l]Η g+6٪%=悋E*ՏBVI@yFf? V0([贒{V9{eum刣zWBqTFH :gӐ\nY1/u Yw2&r_s:;PJbO ۩EBw_JDψ,ϔ&doUa0G޶UZ0[A֕X/3--h,(t@i«vaֱ1Td "Q0W8ł\OS.|A lX*I߲U'ASCN43 عh2{DZQ sR˗] scw91yQ~/?Cs`R DvDM%=Ȳqf(DL3'[3۩a枹ؘ~nAO1:''P=[UDюFMo@jpd@%&0:Z`|s"/svBrO5Wē]v5Gi BGf}v>J=)9aP|\ξ7No_*~4q]bx͗ck]}6+EE3Ž?N"IL4|%Oܳ䯕[SP0 C Y mF K#q^e5<߀W)6M/aEs [. Uk3j;[ߥ.Qjm48/黅>(4Sp;Act:`lCMA1k%56Zr&Z'Ķr=< %<@?y)¤Q ɖX86/rDӒM8\nX {p{q`+RhwteEi,w >qXɒ5 pvqSq³Ԡ :hg^/PՌl*M՚qz +yt:bx ư\>9ݽR.PBsy{Ja[dH:-#@(A69fO| Wz9J\xOi.phޙqj:T\x&R%T^ jcI4ŰF92ni:<.~*tgj,WnH2]M[;-I orMu`A;AKB|aO_v3",ʎmGmUcTEw F.ϟ!V!` y5!%ߺ+% S{#*;^z &iqh1J0bueAMV0 c-3(''`~`H`(Sq׻tJ4ψ̱7Fm^Kp u*~8ۙ btOEh=4Est)97Hʝz|2`2'Zu{1_`톾X3?A./EԒqA8W/MXB5ArN[(q=9J3N!}9 p=j!˲$>W]Hf !iEU/l-[M.qaoz(^UcCK|l΅בsp!Oԡ $*w '>SᯠuVsF*&BMhKW7T](`{"^= 9(b&l‹u;n«_*n L}j V@>!Rn"wMUc׮+Jk7 Q},bp'-%п5@cpa<~j]SD "*N,A){U)[],ꋸ0thS^QsTu.0DuGi>>IzwԕZ!'dg!QŅ2c[߉oӧMvX,Ip8zQ_Q?DNNP`mw\Ճi LxId,ՃC=\+ѡ(re>D):*Ȱ]J"F4S ,$ ˷njJؼ G ؆dA% 0T6&L6@mȤ'B5R(BT@fS9$hO 0}tAa+{$ng$Ύ3|X;t;AbwQ=;8LdcO:բuACA:_q\5m/߇2DČ#s8ؚ/Lt"fΐALͽ3}T)^Lznjbi’nTI!2r81Ps'ӟ" D;Sc pppfLYS['C Ԉ~HPFd3,^g$NiZ5VDHTtxc(k> ᄒiap뉄&plc})qCB߱bEFȩ<38ͭHTlonSqeMbw)X)?XSs@^..с*7[a}5v&QCp[*W M^k4-1hKӼ+ fu5ڢQmn@@ TяdaA[KJ߭]N[_J|*.؞S- "2Mzn stDwrt6ulpuM^Ujaᵃ~ P ^n!"NJl3ꐞ1]F7<5d'W}9H5^OP}(+#Ċ+D82gFJ-5$lO%K}X_1?6d $L3WEkW dr BV~du#+)ׅ#]0P؃F|PM Qe.Ha=@2}WOrnᜲ +(j|F` 7!@ jI!-VNְu)v~ѧpU%E@)@ITDJ6T$ޡPZq2 )xCY zRS^؎'?hC"r =Uc¤*Dٮ~o?hxsXk~h4 =t>zIMd[)"i__k{|޸)'m{/m&GyH'%w fzW 8PEdz)o%T~9CЛX.Պ[4`yS,&g(֋'zlrmr3@uJIP&)ΈV3Ⱦ=he)-l=ՙݳ9 E CVx3ȷ1eLN~-]s1tNB4`Y}Ȓ jKNѥaf,+X^mPC|qi6gS4A8BvO%r5?] [e%@"!mʼn^t_G3p(A>W LU'slM$ 2"σլcc@E;R9 jt>v^/vlYiE05SJQq*".^PԂ89=@bQD_AlᦟIX+%t3&*P&4\0A% ^q{q_;;:$WfA?wВ5Aso>{wNB_z%ҒI!X YBe)ӂ.[,PSϲbBHK-|if@Lk2S~;{D>&d񢆽p˩h'Bڎ{׬U6C)P2mƗ~)$fޟ )Lj!<;G?1֞@P^vّ@5ȼgfM ]9HcjA1e[,5x)7?3t%ؑ\je:4M^ʄucܸe>F\w <RR䇂hk8}B}v}QXfhm++r>wƘ9BJYn9B3C>Mߠ"| [ 'ݟv+k ]qR^3zRVˁlr!NTϞ`B,.-:N1*kTn6cQ9 =x;/[IJC^җpkܠgͨ=ձ嗽U9[wWK+tRLTɶuS%q}O B_6:T7Nq`PF.<{~>/510SWSR#!/j?_dY1Qc v3 ev]jshM󴼋& H.40kyDؤVUrt_勇l2Up:*1h`,+Hb{NH ޑ"2fBqsLD-6ǏaC)\ `vN[ /%:QA'JTxS8aG,#S~Xt0GmAlNd2~OZC=h9{<>Z̈_ےa>cEªZ0oEP`Yďq8tܼ`]c,," w|W4h6wVt 5D4Is!+I9ޟ[&iHRY:,f/gT3+'j,WSnhWGѳ)DPiyLÏ{Mp8yc"l3\G@"[9MFmj\|\D~@Q"*HNu Imx ">KNfUY6M7POClږEK?v/IS4IW2'45&TŵPGPO/GFfnH4 CCVQ@