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 PP%-| ]S Regular_Algebras:threads=2elapsed=70.625cpu=117.364gc=5.356factor=1.667zXZִF! Tw]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+u݊_p#ԡA! 'Bq%ZYUqs'6 ֣ 6yQ wb.(> TqITtCѡsu"< Ql9/ǚl҈K2=Y ބLί)@@`R䷁q4S(aXVo4{Xdqv7&O7=GўL[JJ_j-HE_fř$Y.mctVs.JؒtZhLmT:[ITx\gb^c} c}XJPrD m!ԑQOXK'!W"7}<@ݟ{08o4p$ZYIkY2hbww_qƔ(MJLׅ^v`tҾ=k?#?Y~|T-camXNJjgL|>8%_Cmeq^Ij LS]rD #Cdb6DZ3&i5a/!;#_)R ؜΍E»zUybƌUCP0L$Z 0z)_/:}b[wD{J_)LJ\ h'APBd"F9?V ӆL'зYeJ(٩,a|>@@9/yF!(|䫫q)H-i5yd#n޹dH)ѕ)87 N6193H īaHrzgN ?-oak:IAR,+=j! yhZW[v䝬:xh `!lbЛަ=,N k0ÿ%TY˞y@ӡYc=PF>?Jׁlؘ!54?Q gUTsc#$H+S;{dGHYJ-vO,l0oZt7q&wmtEWbӓ_@{]7W T-ut1e37_RbA Tr 0Jv0,6V`,{?NsX79Ѱm aK&tt4Sn}*ecYbRfW4㲧[V"zm&FDy9.پh-2^\>;LM UuV杝O壵鱜EiJsm4Y8I˔fN[ɺ}bqO\FT4gGKUb(I[zچR{,h7GUf;ۯZ;`jfSLr~ҳ>qAEqc*<2` C ©gYZ7zXZִF! ]ŗXiɟi&w<6:N ^܉Χu2 (ٛc ԑ<((^\t_Cjnꬥ紎jPF /7A9H/ĒѼ΄Tk) (7Ax0J=Oqg3H).45;nj hڥk@KR - Regular_Algebras -[% 4Regular_AlgebrasRegular_Algebras.Pratts_Counterexamplesdocument.tex7zXZִF! "]A-MՋhvG"uIBm5L(B;M7"xn!H? .aܹww8U6>+n=Y>TM^um98)Yܢ&,C @}{%_ק]wCM/zY#̮yQJxe؍[%A'>9hU+*J)(  LWnڜ Ҵ2AqzbH-[% Regular_AlgebrasRegular_Algebras.Regular_Algebra_Modelsdocument.tex7zXZִF! e]A-MՋhvG"uIBm5>32 fyL 4틅XlB#o94cC,8 /h9N?p慯jm`BXj&QA_FM( K ;s5 ^:۴Ez^WD&GwcCZJ߷mtOEb ~`ZΣn֒@ сbOmMmAޯ 桪7i#c}he/)NiaY\НXNBrv `AUf@:RWもC ,ٱT+&tc;=6Po>m$u$GNU{}:>pmX--|}zPX@it1v^>YKBZ}A^nZ_JRh!4ܭUoJ1b6 o LաEh{E&Z/ $p~:he!M}tqK93AR5`^gm_!TqTԑez&Cou1DtBk bYsB)žc^3UR`p\)ѿ,8v20иc}"'  BD)"]n9M,yB7xPz3+iW dvv$5cmzBƤG|lxۀ3:z(t̺ů xȶ1%*INE^y7prCtHup`J&gS0dôO` ě ]CuiD'P1 >Є'멻 HKPq|OA]V~c! Xo<tgmCJjKqIPSEO 覕hJ05oOZ[4] E<`\I(5|LB}YY8^OmEv ͆'!7AF1l%o,BеJS`Pn1iajFw"ż,jx<"S%0 sNA߷ ?쩡4 K݂9lu ¾LeBU ;l\  53gufT] 眹\f! R7cIx[DRQ@&wt"72R8~zu"Ώtwy@|!!#ƥ2 IG^I?ZXS(@LND7Q`T&/0`mhY|{dGr[Ap2#x.Te"0@I76ep,$EupP_e257K01H*"dFRz%'KjcpF~>XԶ{>ѽie֯ SQ8^ܚ"qʦJOk䔡80NHи?gueCX$O嵰UyNUj~x GXұÁjo (A&Cx. .-[][ |_-l(mF5YLB(ST >bAŒH a7*3ool3`Pֆ^*.Z-g^au0w%%>j9-! f }* ]:@:{hC=A,'{$qwsvhxl \ej^>>| Y`x.W8\{d_y93!,<۹#9#۴ܡAQ;%IDz[xX'\R*G!|7uAi~gI:j`8ݫ%n5܏[zj;{Jy^IqG^:5SS<ڰ^l,,߯VOĂ;(o1ّ:VNUg3qY^K݁"Ry>uGyGK 9 ? WnV/%M, > )" +Sۯ_35[TE,]bg`͂.2>% Z.8:Y"YlORo2rdYI_I[SD0?֪E%"E5p k`6r8&ݸUp ^y;2}ѣ2C<7Ln]J:zS2ј`W>>VShr3d!JgeXA1jǼ]k >'b^g+2?L[Zu}O*WdÆWVﰂ<)Z\P,MrSO~S3 V/oH=)$*)OF@#?W'+p9A  *mC-O%Regular_AlgebrasRegular_Algebras.Regular_Algebrasdocument.texK-_%Regular_AlgebrasRegular_Algebras.Regular_Algebra_Variantsdocument.texB-M%Regular_AlgebrasRegular_Algebras.Dioid_Power_Sumdocument.texI-[%Regular_AlgebrasRegular_Algebras.Pratts_Counterexamplesdocument.texH-[% Regular_AlgebrasRegular_Algebras.Regular_Algebra_Modelsdocument.tex, _z*sFb"(v퍯 rH-QЭTo-rgH((5젚ee2-pŀ/)WYa`G'qݾl$@ZD˾9}UBn1_ORkN8xF<f7@"jdq*jQ-,%^z@ ǥJ] ?B <ޛ Ѿb7\ߙ* Kr؀\#71Uo"Ca^B:F}/&4U`$.HŊ~y30Sz%tAVd1ZcNx~]%%ڠ{en^z@Gih r#AT$tք ^Ŝ1n BkxRf,.2ەn@aԕF[rl_!ZxNc70CaS+%2a^q.R|1eQS$hfբ9B¿]n~oҬ@ jp^67;wNa;AoIM(fmϛG ҭ6?o``}:x c8Ew~ 8v _Mv~>I6YgZ9"kAUg4 YloM&=˒ø!$ks* E 9h,Ig/3Ojsyaw:Ƈj2z Mܜy6p2Z҄p8*<>Ϫf8 ]ca)U8z1TtK״IR1}ss|ỷ-Hgu=i1Xa$qϗ뭴k22+ވ;uGz]毜bJ@lC[.L߼H_D> de2@U0R/DjN\e_3 H 6Jvh8q"GL7Z{N SPjc Rs)hS;Fګw;mfoPU0x|ߣb:jX{~5zu&?F\mVo5 YI-od+Ozl6@w: A/)a!.?YE;S,'|i[~^uk3crst ζ%e;g3#<뀤^5/Ċn7x ?[JJ#9aGϬw^d 1B^W!:0(y:`BoY1;4'Ǯ1IJ48V7F/ޜI/<۞b$r_PTJue`A%R0WR+rgOe:!W^;9Vd 4se|/ G[=v1|82!_UoөDdl}8'׌2/ިJ2F7c$$i-(I~i?:3K%g4/Eˎ T<@YTi 2N:y'ܤ>օbʕmr@zg+M[qY]_ݑ!zT+WSzQzϒ&Ň{Vffwbl(l Y:߉Av&VuIIw}tf'vͬUj4؞JȆdn)YB@! D Vv̘TqٰB|Rx͎M߶o9x 4sc_6KwOڏ?6;9z0!gLO:'bS#"W#9N$gfy];<0yD]n0Ǚ6_a ؚ\ޑ9TO7^ ޶☝RROUI":ld':AR=S>]CaѲPx Ϧp# xu[9iF A8<'*v+n;16QiNHbj;:ntKAm($@6䶚Qm`GX-0N0X +C3$Q˙ΒҥTC߿HB%i#[bgZ՗e mΞ7=#u{ҳNFŀ!~E67:#zN trCAAv*3of[R·ძDS\J6\&IgYZ:0+-L+1lٞ8o "Kjcp$&]!#]yطc8W=+bY#nߎGx ot rGY{|J|tWHk $.`lࣙWo$Ka2IdV 91V;;rL),@: nn|&R|fmp6GQ?+&-ޫCpiDyQjR{[x-?豍f?'(񝍷\OW56 Rg7ަť7\'j]MXc;G/@?̾ܳŲoϹ)4nFPMl rAqnUg==SCp3W"z(/wy M.ݹ IIBkHDJg):kE6]\&;(G6L? ~ELӆ,K?5 w+Wv%.~Cw0Z-*Ϝ\yˑ0~rQY)pP [b=㛖.Lݒ6L2rSZˬ [p:?ԁ5XO͋|ic$} Dj~$/KɏZAD"Р)ҏ¦m_V[;{C8[c{;k$46#263PYpmh?O}2&-&׻Qr;|ϒKfkzr?1|!\ ,{Q!)ԑ\ǥ/Sdz crǟV~Xx`uAWpl(~_Zͼg4Kr DIkgqByo^f0SUФrEtso (fU\J%`SR$/CbqW ԪC0TrP1$ 5Հ ;MkN0+n=Y>TM^um98)Yܢ&,C @}{%_ק]wCM/zY#̮yQJxe؍[%A'>9hU+*J)(  LWnڜ Ҵ2AqzbH-[% Regular_AlgebrasRegular_Algebras.Regular_Algebra_Modelsdocument.tex7zXZִF! e]A-MՋhvG"uIBm5>32 fyL 4틅XlB#o94cC,8 /h9N?p慯jm`BXj&QA_FM( K ;s5 ^:۴Ez^WD&GwcCZJ߷mtOEb ~`ZΣn֒@ сbOmMmAޯ 桪7i#c}he/)NiaY\НXNBrv `AUf@:RWもC ,ٱT+&tc;=6Po>m$u$GNU{}:>pmX--|}zPX@it1v^>YKBZ}A^nZ_JRh!4ܭUoJ1b6 o LաEh{E&Z/ $p~:he!M}tqK93AR5`^gm_!TqTԑez&Cou1DtBk bYsB)žc^3UR`p\)ѿ,8v20иc}"'  BD)"]n9M,yB7xPz3+iW dvv$5cmzBƤG|lxۀ3:z(t̺ů xȶ1%*INE^y7prCtHup`J&gS0dôO` ě ]CuiD'P1 >Є'멻 HKPq|OA]V~c! Xo<tgmCJjKqIPSEO 覕hJ05oOZ[4] E<`\I(5|LB}YY8^OmEv ͆'!7AF1l%o,BеJS`Pn1iajFw"ż,jx<"S%0 sNA߷ ?쩡4 K݂9lu ¾LeBU ;l\  53gufT] 眹\f! R7cIx[DRQ@&wt"72R8~zu"Ώtwy@|!!#ƥ2 IG^I?ZXS(@LND7Q`T&/0`mhY|{dGr[Ap2#x.Te"0@I76ep,$EupP_e257K01H*"dFRz%'KjcpF~>XԶ{>ѽie֯ SQ8^ܚ"qʦJOk䔡80NHи?gueCX$O嵰UyNUj~x GXұÁjo (A&Cx. .-[][ |_-l(mF5YLB(ST >bAŒH a7*3ool3`Pֆ^*.Z-g^au0w%%>j9-! f }* ]:@:{hC=A,'{$qwsvhxl \ej^>>| Y`x.W8\{d_y93!,<۹#9#۴ܡAQ;%IDz[xX'\R*G!|7uAi~gI:j`8ݫ%n5܏[zj;{Jy^IqG^:5SS<ڰ^l,,߯VOĂ;(o1ّ:VNUg3qY^K݁"Ry>uGyGK 9 ? WnV/%M, > )" +Sۯ_35[TE,]bg`͂.2>% Z.8:Y"YlORo2rdYI_I[SD0?֪E%"E5p k`6r8&ݸUp ^y;2}ѣ2C<7Ln]J:zS2ј`W>>VShr3d!JgeXA1jǼ]k >'b^g+2?L[Zu}O*WdÆWVﰂ<)Z\P,MrSO~S3 V/oH=)$*)OF@#?W'+p9AJ($ ?-M% Regular_AlgebrasRegular_Algebras.Dioid_Power_Sumdocument.tex7zXZִF! q ]A-MՋhvG"uIBm5آz$m*㋡q+c$r*%PsiBf巩"b&ηp 7"jK߉&cryeZ0?à`m5[my,[N;2xzҏe"L '"-b#esqpvὴZW{?m jR~FmW({fBSFV9%6|hڷPu"VKQ={φOKFKĂtg\VqJ ]`&~#B)\NÓvtQHM\KɣaFz$]},Z5/SbODae^*z!/".dW=}bv_kF`$-篒t#8#hLFXAh~p< z37SZfX6gOu$R6>:#TTȹVS藺Dq<_t/ZA{ CDK ڭ0og,8~O*P ,ߊKrs/P8c (h\7ߧ9n:Q;! @2y L 69f_8gU[uxƪoR9XZ5k.@T3Rl )2W/3Y]ipf%;W R9R4vƁɡ0#hoY&BtW([u~:)*2,x.YGEP!KՉ4`g@v5f7яW+ԉ 닪&@NHlG v`bLcRǞJ'[[G0:ykgȔ&՗f}i Вt/{e8J! %ME,./9,3#ꛮk5%eWvvc{6fEeK5NqsuLy^mD^Ye6# UoyrNa4^OGEh}sb@2r=ytGPރQw*YO (T@_Ya!YYh`Ns+*oz׶!OK;˅i fu*(Po0>/?aDFPqf2.S(n)/3QK(dkuZ$^ D=`r=8Cʋ`εK5ŊHJGYu>KFz>VՀ3`tLOPd; 5w ]e[RmEv$rϙtq-@9|~x_;561̷ ˵ZӉa(JI ՝"VjE l<8GǧҒAd:}#^MK£=eIi=?mg #h8Ay7|aqů4hE )q:dH,zTHr[WWEuUǶ޹6G] Yݟ}`Of~ 2#F:5GTJix5]1) A?Einp]{Dsm ]ŞߣK}$JLOr ] Bf[5?j@0NِP|Zac-XUO`&py7k$JE>|qǫb޼^삋'nˣ6/4pVx6]IDh/!^(7gW(Pu(ۇuh7ׄ*yQSY8u}3ah!vJA0w9kv[m|,6˧asEM4dVckj 4"\x32 fyL 4틅X㖈܉Y l-_% LRegular_AlgebrasRegular_Algebras.Regular_Algebra_Variantsdocument.tex7zXZִF! i]A-MՋhvG"uIBm5>32 fyL 4틅XlD{ ]ƙfx٨yob/Z4uR'w7,^r<K3>);bjkfbiX!I/#^$+PqKs# nz3xϼ|HN.SUJ{jp,z^D7uB3&75E+~Š垬+,\n^TkϴilʲchEj~I.uGj4uTHR?$@[=6 ΀Zbq >RÃi:P>zzMbWz]+U$^ix,LJgofy$%B mEHnDrN1fnΨP7CH5ɣ(uΥ98K`+rxjO9qf#ٍ#\'Ԛ=5fi00x]/A&Unf,,`Eg=s~'Fy_Gp$rQ̓S"P{KN*Skg1-f9mC"XIس,𮈟2p7TM}3gBkyHP snK<\W(ǟ6+Lu*UL' Zg'@-f Fvg 1Ĉ-xix ARdh#mpRp{^nYІԝŹ$#5YO+$j5K$xPfT jSku |њU>~[E;KC4Ʋ'ԏ8: ,ZA"l(>#D% 72UVW^XpG=&"žp 5˞5\&HAk̵LڳeL !Oy΋rq#k|=r>Dqw7ls 0k-"BqEN5ˤ 97JɟP;mO,?]3&3r͉0>NY3֣^1 }cK*3C{gNhî!)BexV.c˭Y@՝fv#km5)eyS)p()]]8y:TXbB[`!!f¼MUX#y)[S zI3H Tnl-Huzx 9+dYE(͇;HtahծֱJo hM*-5:҅`Ɲ쓹g>E:*0hSrQ-Vl;ܥ:k sg׀-9ieEUVpW6w!;1,JcG䅢8uEO'aDXęXF*Қ"XFzܾ;. ־{p|Sc%#T_hS8'Wƈa=K9װ1\,êY@N{݇/&m#`I]JvFUgo *6Ne#bEn|*`hJ<'GPN n+`N % ļ}̯.Cittq? ӜFBͷa-SvV5o^x>XjN4c0xOkjb2vAӱќ4Std 3m{oP5*V#Y*v&["<=?oL+[H ҷtZSS LS>tl2('03W."Pa ~O%`31yd*.9AeePWlbA];x֦+uLrT9CNykTlęa[es<<^eKWМ5`\*Cjb c\ͽ*ݱgYZ `a4$"r/tD ਱)%aS>]-#7%-1ծl[~q>x+(+^4GV0E7lRIQvR1 pTx;вw$jyS&9`G Y$kLULNW UIqB^Dö`}'D: 9!:J.]qQXრ `jrd'F(ay$+p F"eOZ7_(B#?7dKg ^ Rvˆ<PLLb]'WKY*ٰ`!WFZ=-2t"bag4 T@E}ׁrR t5hz.1YsŮR ʓZY{RR> qOI lH3|9dPx dSngrֈǫMPV V8 -Ґk+R? HS3F/jO"bЅLiդ;3U7Be. 33"@DT(jrwy#*sg^J=7|OO6,8Fb4d1 $z ,4_R bgiNKaLF?a{;/ތ8iY1i>+ ;5glo*o"}޼}e]Ĉ3=, $=y(\m`SB?]y k/2=\jj Fyłi|!TIhTQFv9Io 9%`1axc\s5!'o B'HAAeWW"/Ω|7}j>D),grmZ[ohƒlM>,LyW `^c>#8|h L-- /jf^ٿhu>[=H?fc8pD#`& OɗW[>TTZYxPz0hYUiW_A>0&vZ(2ց#o4uY [o:<Kkys^O3LHʕU~\dtCсx) N UfZ5{Vw r fOP{bcОu N*/\ȶ3ťK7pbl` gI+poU76w':ݡblRmKpyx#9 (ɍZf^+]fn5Bk!KTM1c"-lC`|sj$K#/:5y;,pÊ2rk~ թ0~uTkOW?և$#\+X…}kEh Nǜ\)!lEͰ*iʴ,kh9U^ ~îk:$G&M!=f^#}ۼ{ł1PMF ACៃƆZ} KĢ T+D>r~} qWLz( + N>sTnFaBX`;\+,;8PvI*-{'wZk>c1Ї -(D~˜^w+XS?"JM*5Ufz>fF5eH&7FT p@yĉ}QښHi(+]q5eO2>nCŸ#o8Z% #vQ:*t UE*~Qt*ZD e*wnvgⶠH&8)Rnkwhsœ<y^_n<$ZQOc1b{]E,Pb^WPȎt kiBfA]VNt/Bi%j1lj)BzNI.\vJMzV4Al!C| `ŭ)I$^Mu>H17 [N7ЉjIP0;?¾0t߿'0ܲ;t(vBM;Ij,߿X?.TJ*Pv34zD)~hǒ>2olFhG3yϾ5I@+yf3wr˓ƛ%S(CPW(AHSkev.&Y;Ë\oIscÜ8b|zxwN| wbE%E/=*&2Tji/U Ξ6fMϲ3_Ml{F 9i#W(2pU]NCw 7h{c$5܏{41j Ek R.ͬ $6uģ*)sOb ^8(UnjdE;5lcGǐ;QwG~k:]gn6m%Q1 {)Pw3r9C+vS!&5gzo_*RRؑЈW(ҖۺoB(r< ?UbEB9zuB"\vdź@oRHO|0a{iDzp6(RRtQGG$!n %gI`5_yag#PCԑ| @,BXsS! RY WvmLmNw)P$YZbF(!dp&p~Fio(#ׇ /9(sOśdd07E!6t3D̪#.3 6{C9t(0G`t, 0T%?U&sPC1P-I$9 *`>'o| oRY8ZY ;԰_T:QwDŀSV3ny@=A x1‘1sna W =nN}Yٷ[q2=1 _+~Hu*g{cm/6z'aT?3F-O,"P"?_>4X'\QP2*XPn.)XףxF ?ؽٻ $RD{=iAs3R_MA)]#+ `^=J<7mD\X[9^蝾 P #/Yڙ,r+6U/o"%4 u4(caƞ%q7)g`A%NuryqڮC.Ah?fO"h+ءF6|/ [?6b<Z=*j]QYU?+CSY&A:yԉtP-GI[RY9^|(i4v#w@JܺO 'Cm$Oװo1W%IxB=~!BЏՖڷ8 '&y1KͧepviS.W/;p M복>L'3Dq%V,tx8>=.dĕ}!)B' q{W4b-~f]j>*S+lF-n"b}"Ox;aIj  [UϏmLK g[ϣ7s/`G L@.?!nV [R:ί9 Kcd,@0#LDQrЋ `V;tSⳬoA=Khcnsx}g+>~s,VT4793XG)W.,_PCt[VCo+tJrôv$Y6cl;x3FPm*@*a/1lx8އ!˯)Gdk^V\-x~02#Teg?U9dW(,1dD_ t;a/Qo*0i0}uiKg%B{Z*Vcv`M:&0dttUl0H޼⺐O4e>oN{4fc'V{V o g[` =9rG7Gd 0g`fQ"{rwSKf(WhB*7|ʟI7꒟л";9 -˨5`ylAgkX$-elKWX< "EǝjUi5F5?خ6Jx gʥXN.M]$U.Kڑ}X;ӋD[oǺ}Jc?%ׂn/'eՙ,v3RpOz`wRH@!y{"R~i ClpUxN !Ve壃Uo *-<` ۱{ j.c'_K-I' |F ƃphf7\NF-ymʹ7H)>WROw1}(f,:~zD%S(-# 1ϒ!Ȭ?#CY+U fՔz_hS7]$&:qj WWhPh_SE4>(Fiω"Jr WF9(BWBx2ژ_rf dop- K r1iƯȏqT@ʚ4ZTCs}:H h kvIˈg##c4q2F֧P]וMrvϔ@mQVV=EiA`C"+u.J3tEbHܳZný eQU773T.|jo~rW<AR46mS ZǚLVT }-PnB$(g6~m4nQ*mM:D1«pD۱1gY$e6_h'kAAiyik*o`%`rPvl%._#D "{ܵCadvb{ EAhQhIЌN=8QCe<!>_|a Y4uKmk+V~I5e}_x%6J+衤q?Gu>69/|,$-@wH M$%%z"ane>^s]Nx>VV18D-hՓh]\7p&..^1VfOE1-ōsaZМG8D2m4dK,yſ\"igЅhFDbn_6Qt4`INV4Pu37Ͱl:M.;w^ސ|a<:kN_4y{gD4*V!tSו01 gv>DQDUO\IlٞTu]an5$40`E DBbWb-h, al; gN\bʎoA2-ŕ7&d8v>EfB:H):GW`0x}Q>k8uyI^s $`E[ G F#1CfNRQ`5 (Hc[ɻؓd55KjsKWlm)Q}/B5~?Y:E\E]U%vb8Fh0-VAVman*pB:*L%bqOҴ%}5Ob?]·,nZ?r[k~n.`$-n2ݵ/ZFZn\aR#~ O၁Ϭ8_^S )J;&$AP~b;FaBنs޶# ~5,)Q }rVݦ.X]PnzZppHl3KqlK[=VI盯5KuAeĞ-xR5W$Ό3+֍kÕ,\([aź׉dJN ulӞ_}[Qa)itU&x.KiE"!%Rq=|$ ,Kj x wvJ #4߶fo?84kGn=ɱ|I@k1oJm߸0T Ue і;]I B@ }[oM̢!WzsHOF&K 7^vJ3Fx.Q.7Cm=+B$CTҷS25FGa$.JcYr\~. B\i*ttn+IO]Fqt]|XRwKʤef6 ekG1QH&,`;3kQw,L7Th~jz֙yYrQQDyv̬Z2"Gm/)]9Վq7r;i3ZFw>,7P$_Cs'Z]XXF+5^yeff&;+߿Suhxݴdmuo( O!*k^L1pEHR>g׬^h+z*l#[Rף7?۲&mf޴ׇÚӬTWАܪMV7=Wt#߷>¬Q-e}(T;B#澣{QokpY1"[F5%p"Bzָ8_M42%ҝ%`B$ѩJ kP}W뗖҇)Od`b4jC~iflPl[ǒ"8.f5[i:Hlw?Q|(:+\PXYcWOb_p]EY xSO#|c^$M50b/. )I; SPZ-Q3da0a;g~+,DחAxy_ugP|^5*O2lz Š%+?-J)<𠂾I+i J$_D>E{yV]z-68zmxLxsDk+4O:dH|saA# sdjsNhՎoD-S\#;wRr‚fX3UUPJ{Za6 ڀa &;fݓu^"|61`XU[@BЍRM~` Ҹ=8 @mFNꒃ.OM5v@ ŠGڒrBӊ+Xcߦ0yXka6jǩVxC5Ulc^t\\Zs`PA1YĨ蠲Ed3Pjc #Li(Txx(LCkzG<:Lh=SbI#liy*%2xt- 16u7ymw53Տ}֥k/6ޭ9 6xO=OʾrQ6 ' fvzU\!.bsݽ";a6v-J3$ҚP KgqcWS8 /Ω};[(Z =<4|yWf$٭g}Ag{&Q$B/C8GPn' cIJ]Uv͕sf: 7] ?:V T"M~#i\qB^@H\ʪ|͠SُW@H8]TvwVZ*EzQ m ;yOx6+sЇ/f*{hcĤ {33 'BZS8ĎtG|i$vBFOo`-VdHao|Prn|>e_7߃?Jq? B%;Pg|U XyK XnHkʮ[H0jw\cV>qQ4'iPxHl:]PLxAtnCJpj̀\ۤ`ɉi3(G;M8?{S F#eu3\9 =T*t0V LpMWgٮ0?NȎuPDHUmY֔³ eߣ۪O(I)/<+gðneP\W.}bcf`3;v?vCDZ&Ѷs$A)E=\3ƕm_g7U廍h>OvO^zᓐ7-Mlg)ш]N8,ٳAR*Xx:QXu=bgN _7?#\/#\_u4c-;$夼 ք&YȣI"T^ /xC)Zsu\Q"iT^j8zu>L1 O8 MPgU;̠<#EmuТ]_7\Q^DJaON֩{l2P/_" BsI%R!cU%NC hJQ bwhrn!k@_$f~ VG]?ZI;L:kHP 5"LNg\H|ub-GBJZ'|u~4rSEsJےgy+ 5#]v$'XcU&BC0WJHKq5RQ mhixK3 c  nCkʃLnGD"e 8#;i\8xQ" }BU7NE5/חx8IUK !7JNL2[ f6ׯO,­Yq#r܋m0dRN44%7 }A};^m%(#X X0Yeq2kˌ@T .7v_v[,6U 8ʿjZ!LYBc+JSwUx{@۸i%W2;^?rDȧOHfpQ+/ vXr9mG6E:XM \X!):_rܵ'Ҋy{%6"G͙+ ͦ4z;P2C$AV^x%h23aPe*ȸW:2&=!UV|aW:54܁} 3`䖛\ OF@Od:fV!̮1? CO懤LWe =3pje2eH~1cZRib΀Huީ [3_KBP{ݝّRXlXvo2:%,ސh%3;j&Z.I1CT}b_>qzwyq8ʼyR9L| `{ELn!~"P,ڜM %ud mɱ4qy̪I)]lm`Xixڕ12TVUHC@?)"Cb}JsOKRâQee\҈VwoE&/;GHC@bfOdΚ?/ae<8"Ҫ MmH;y+ dJi*E`XrUl.қy[PlMnL6> B[Aݫzuܠ+QBJ%;NદmVs r{A&|`$ö @+OT+ug3ˠUg~>y1)TZLlT4Y,€zwU?<ˑ(kqULe=yWH'R鄛Q+DBMQx~W67*4\E/qj+jKb荂}QB毬b8bSW|/yhİмgFV$"n_∴l;ygWANcKWl`D7-HoNekOTk:,ۑW "X;eCQq]'a\rw`aD[Y{DQxn6ւK5jT}TlKՐD(Nb 綼姝 zbҘy :Y,Nh1 #p u}HE'ؠ;H܃n;]b1.p˨%2l8&W ΡI\𛊍|TZy.E6mntۼ&|xWz =f͌4iLl=OE֒b2V>MRʥs0}| yO5Y 8GFDqh\JR&BJ~at},~~xIϊI-ϩ #1GEԼSSEpfТ̛WS Fr~A RjyrvqU|p.~/XN(n)MՏբɚnzeɴ 83 |\MԔ"dTs`YI:AIbLX_v $B/ȄdޓT791^hz>xxT6XCoR`-GU=Q[WW٥$;m{f2rbyǎ"ƞKcXe-cACRJbӷݝ= { ( (kR&(e=JJb Kى'=؆ϫȓ!@ ;A 44(Khq E/NF}~p wO~]}qu"oFTcbӸ@ sqϵߐ#Rޙi^!&5'1nͪqiiy%?^o S[8hv!g^eg5J(^x26m_u:$^us]?ˮNdٮ{N0jp?Us`=EMu&jҴ_!Wڅ3e9\&`ކ{ 6 S‘OA*74طZˇvoûibڏU) Dqv(k;OF䒨Tv 6k*k"?YkֻSm80zvKRR?Q+%i? ՑKBƼUAŕ.ݛ 9%aL ;S#]p$PH, :2*oDteq+mJ;!,߅KhϩKD$>7njhd c4g?VhP9W}[>l),_七Qp$:1A+U;_SQfU,j%noH U-"͓|Aϳ &Jj/1S{[U޾ ] -H(#xP.9~ɭ- 6o"MX69Go6MUK ֙@P?\oGH;3|{^,QO&/b@ ?;%վuA WkNWt3l?ڿ ȟhN3Mh87 [䕃f>ŷ]t֯k6L1W]P2R|dӨsVD˱ItXݖGˤil⑽a4q}jVLu';rƉLiT+܄qE/$\_3 PCo4"6/b^̼)ٰؤS7cXLׂ3؟;'ï59WKA}+2LH\҄$XKqn>ܲ{ct _7fx$dWV bc HZnY#4ѧKw?R[ Č=\R#(SJ΅MJV0ힵ8}BAz\I:R]h/)lˌz2!@4pũ Ahgڨ/Ǜ3|Ckq,a_һmJ`H1Wf$fIKb`Sm\Nƺ^υnԩ0f8AVQ=S|\"ɕFWAE};r/Rg+nzergѣe_r-e3,6IQI*[;-BX&/ebp:%;@]'0t f+I/ 03!-#S*l۰0McZ ;&gYZ ^rux l%/5GhyLBςƒr]L?|1i` ?e+0(O:d}KAقj cNJ"1U ʋ1xZ' R1(߯%$I AG7+&oCY!%?IϠ#^~jI7mb0ԗheVS _IZ&[-9O^O_ʎl)n.'Yeȉ~ǔoN} e1mXU@8u8$LO+GE4MM@ Lm۪ҘG!@Ь^w8NaDĉ>^#kO l( L~Z(o'$v&n2vXRr'[ XC'3ڃ%:;) qB7S}N3LPDҫsQQC ѬpcO( c$Rg-KEs ;&64ztOch'YҶYi'Uv^ˬՐjZڧ~E'BGݿkE?MVr>F1#5z[)A.Gr2}l6bH]},јmިۃQߠF̀ag9PwgIc(Ћ 4Vѐl?|䵊'b1<bpuT *Ofi1.JIm^}mEK%ףj Ƙ^*E>pU-v_x4ME-D!$i}|Rz )Qj^y8mE.DYtp ̥PV!?)!C$A0`Xg/R~t KY6%}7yE U԰pe{AxJؗ$=6`a4[lc͏זK+)ҝ$fUHRvPZsˣ蚷ЋO>dPԤd\kOovOx;6gtDZ0\_Zꯈ/Q چV,@/m *FP.zQxm- {Gyɽm@r߄f6u'0!4Yq#x"Y8ToB޵%P `I!x3g|c~)M3&Lݝ2ڧ,EmKe9\Ϳ0'7{sR8% 2͓BͤpUl5g9N$,j^4vRXC^Vܧ2TVWPE,n^ * PA4?_t#IRI3¿u.& '腲,brj x}kW H/j__A0HhqTyeUc꟥jdbb)GJՅFNhg Qag{9d֯]4n]qpVY10 㢦o'ÍXwWD`xI _1 RK`R0D^9Wb}ݽ>6OJUߋBEb$s5w[!~%&C) +j_Oc|j5D͍RLoY*|wuE4->>'I"WP'ocs1j)`m!<,c_~A?C!?Z3aeVtl9㮹} N1(j]rF@sxؽv1*^qNR2U0ۘX&`erbad>`{67&\bi~5=ڿŁ{JjVK`i1b^.;I(X5Txj REi ̩&-i2ttd5y4p*wyN k ]U\kt7I„6J-1FκZiV*WOOC-^Y`5 l.A* p3!/ [ _.@<} <mT;&fH;pe!Z q$ѕ*}"@f-P[Z@p}P6uF,f.)-O[\D7$"׏Y 'O+2z1#S>'pDA]DuWND2X]FQqW=<@M]&uVoeR{'ݬh>n?c=~enWZ=ϝ35`RNǢPT|VFu_[4*dFBj.y(I78ZqFopoq⦝Ȏ^.C@,rfu\ǖ#_Nyr&:02PCB!ͮ7 -ShDmEp;ny/Lvs)4RH,wI@*{#qaT<]1D'ubQ0% Q gMm4o\\m ui 倩!Pp 7ʐ-]Ml9"0A>~-b]k&yvg1rTQtzUsgTǢ=uq&h~izi9UN Ck3s;{k@oZxu]OU?'Ñ֕ExP(v ̕_Wy/Dqzq0N4ɓY8ii,oY],6#M`B#DƊTzy`j2EBK/vӔXʍh6XȨVTP