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  -L ]S Regular_Algebras:threads=2elapsed=70.357cpu=115.228gc=4.628factor=1.647zXZִF! S~_]ŗXf1-/6vR[O CК#WI<~#xd2 uzjt;@T.#+u݊_p#ԡA! 'Bq0kC{z;~ jZ_Z+JRm,ެKn!@s(Iģ.  ia d?bלEs/B7.y13+X̓we ȯ"4头l‰D56ԹsShge)XgGf$ݻɬLR^R/ӈ6k_KW*)֛ko,)zh&]Z 헾|ngEQvJ4o wo2e&J؇:3[F3WEQÖ r.rǒbI 3v7Rh"eƌ|bXRw3qϺpc`EqR0ݬ-@D@e[!r:RWϸKf[3ss:ed_̴=w4ӵ E|tڜAfI__|`d`O4|bQ$xdP|d9,WǫyD N>t=ʇ|a{~$] Kn\A€#i$5Z!- ͣ9e!9Dy{D (KUKH#"i!ZL2 Tn܅Ly]y)oŧW|GZ|T|l.vN5UԸd{9A%}W#VE* /p4q7'O Pݦ'rĀ\E+ )$DfvL $S.)C^DUG\I J%LdV,PF+)4p_Ca#};+PUBѢ(7xwәkT1:\oX[58vr]͍;ޔtϖfr$ 'W?wLCb;2B5idMq*',&ߗ.^Lm$n|Y sI?DR@sīEr<ڟڏ[q;znpH )ɻ &k;tD5fw fMtݔ+RK1^d [:'8BX^J:4M5L;غgI8١GϓY&' hOw]7G9Y/׶On5 umā{x_vUF!=gLUy(I̗W{{|sg3 @a~-}:r4&ݒ.Jm1?8K - `?YTh^XX&]I:zjY.R` {RjW.$r,K-ʛ MgKL&y8tz>廕 k-CS: >(av}y["I`/E+'kYFQ L9s/V}./;5H2bI628!qBŦS+,ńj"?HIg15DX7Exȍv3]4οhq E Rq^EGo[0bÌ - 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?U. P1ں;ŜU !f_x<N~:+%߄({L9GAumRw5KK]5kҕ|L@waѻ ; z| bmrLUA3{<^\ZEnf[^m15I`NNCSU^6rhx i+Y ਹ1A٩͏95V" P>L!>L+ oEAy,nԊzPqB Rw܌:{)Qֵ~;`Q" ;w ~n:D9uFCvg_0_g:y,Q!=Ⱥ]@WgTA<>[("$ m!q_/KsR.nR=jQ蛂L͐+__^)22\Ոr6)[Pg5+86s@"Mȝ.N'oд=r'#y f[5xVuh/8 en`'7!e;Z?࢑_gvKd˟z8(ds2Ki;YIy#BP=ٜq//+aF԰S \d8_ps`m;ZPJ'e jM:P U_fDK:&z"ա{xa'?x-)r@a JPpD\~RyDD+~6ŏc _(/jy>jA kQi/TK9lӛTsʴ7[#PĿg46NB1Waȫxc,t"(#jAlr/o`ӘOT)L܋B%mY!v~ ~ Eiu= d?[ksU7rޟdt:ڪuIZ^(EUaG*I][mqRÚm)69oVհ3eg]L2;o{* kje"-:u4S4DoaܽIUe]cy$ jOJ`P'јtT"n3+[4d;XȜإ(Vt홁=HN-l)?PA\rXLi >G`z1/"$mZ`%5v7@?Q_1ras)\3m"?IEU-IYzl"m\j]h.g)Bw1V= (аgz$=Ld&0dŕM:|DW:#)|pk̃`oDJE#2Kշ|뾺9p|!&(GEfYEY+J} !]Y[ e& 9d}P3i3p$y~n i54Ԉ1`ؚˢ]اPŢpX-v& $aQz\5F9.ū(;$ijvݿ8f|,^Vo0/Yy통-s4KsN 'Y+1W"y_#2 N5(.]GE 22X>7{g텰eH쥜q>7( ,}|#P/ֺl_r8'`,r`uPy5 v}H2 ze\|ͫݟaI;`McP~ѩy}a%׆Ig3 p0"9*뼈 :u2:"!Uc8 Etf{e@U:sx>UXLGώ$YȋV1Hosn=9BaMFBus~6RNm~±XM1^P\udzhyS%&e#׉ ҥhP3}3W.LYVۼUC-837 ֓Wrfcx=#hLߘaݕ"c1ju-B ßhH>%hLYIj_طP^?NK.PC^@к^(bއTTσex nݰ)dk;z;T/^|yL*t>Ďx.%tԱ:wCkupq:&%E(8.:;s |T R|86Oٸ!r喈[|i@d[b2W$rf 󕱘/