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 L-vt | ]S Regular_Algebras:threads=4elapsed=91.021cpu=151.852gc=4.3327zXZִF! k5]ŗXiɟ fftb:u t pbKTE[s 7}I.7s@Y -};aW\ HW f#=(/Fs2w̪pW|l~4qObl/J;cig֎ QAZae,r} .|_%ng_ۧRc]'dKw=ї?"oĆ8kD+ASJWM;9>~YVwE0#q|7?㘸ChYj&D[qx=M*|z-5I۵_54effH&Ie\we"u` m#k)SAPi%sm<]zm(5i̚8w AW)2DzW΋h07Ll~r ߏI IT=]|BGR+_S!0'Yq[-ͶʮTVO 32= g5˻64Q'Rߥlb ʌ$T[*O9!3!/AGl΍_ \u?M(zܕ.PhHT'nO(z5 gsJlnuyY Et%{ET[:/s,zd^vg%՛}I]'k1\o(=l+W]Ä$J\Qͺ&i?ܲR)Vݡ SaLK'+Re;?cS0E +Y\YErJa8dJg#R6˧nˎ,ù1J2?t1QO4B|:q~ sU8%)v IF .Exꐞtv3VI=-MWh2Ǥ\[$zҁ-Oh7bQ#aDhl"g2)#۸t\Q*<m1CKڹ&Sô0ٗ?dmd  S(DkT͒N5'm&1JP =\B/hbmH% p vWϖ by1H𲊙],fd%(͢(d݄𷳮? !Gvuْ lL4Mw%ӇsEe=kWBꚪ(,)V2۫mNNgc3Xh^ 0$-)i:yN~ p7)߫N~'>9F0yUb7RFzGsB=.B - Regular_Algebras <-M% |Regular_AlgebrasRegular_Algebras.Dioid_Power_Sumdocument.tex7zXZִF! j ]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̷ mz 9|XIV1xbI9pʣj2>nza,I.Kd?p-l9Db<S}j*ԖDnaQB63xks4ThҮ+GɅvWȢ+,P@E^"#ײ1._$"FSr}x4mbRR(+:hs7La~/*b߾e `.GT.ffЯDMgX$Q= ʓPW>݁sHe%l$87%v#TA|{`Yn$wjI[π}@ZOqoaDp $Dجbg%X 2'U *%\ WFo6 3ߐcG纳B='nݺ=#=F{A5%JA}okƭ=45$,7PG##۝H>{&PK o^⫞c7qm(7$;уbF?x r|MeKQ0 'p mpJt f]Cp"M;蜉gZF~2̡ZQ-Iظ5~c~o鑿N 0Ҧd]~9(0O]NigYZ-[% $Regular_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ڜ Ҵ2Aq  t*C-O%Regular_AlgebrasRegular_Algebras.Regular_Algebrasdocument.texK-_%Regular_AlgebrasRegular_Algebras.Regular_Algebra_Variantsdocument.texI-[%Regular_AlgebrasRegular_Algebras.Regular_Algebra_Modelsdocument.texB-M%Regular_AlgebrasRegular_Algebras.Dioid_Power_Sumdocument.texH-[% Regular_AlgebrasRegular_Algebras.Pratts_Counterexamplesdocument.texH: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Հ ;MkN0SlSloqXp1gZ%>\d kZt=޲L){6ٹ׃tP9f)ab2(ULۇd[ѯTͲMA h}&iF¯rbn'\ZEev\k@F -BW_RWƞ :N"Ela-ZJ>yp=c,hI~kuÃoLv61W ];ӱP= [mӫ} yoXqthUyks024fs9"(jbՓs\R#EŞ,ԜsXLj' e%kOj ֮ Frޤkibͪ*}}:t7+mg=.&uEN1h>M)Fh) |]M<$ƾ{Y3b5koϣ tN%xGRPB{p*لoyM۱PI+s[DaS.ǀUd6?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 265LxJx7\};8|j欔aHrfPQ`Pqhk64k oWj_Q?ٚ:@<'_!x~_UZ÷8`HhvL17<b-F քnmk71{Xp]_[WqYWID;N2>ba]Z-/H˟FWHg$'r(6=ugYZ <-M% |Regular_AlgebrasRegular_Algebras.Dioid_Power_Sumdocument.tex7zXZִF! j ]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̷ mz 9|XIV1xbI9pʣj2>nza,I.Kd?p-l9Db<S}j*ԖDnaQB63xks4ThҮ+GɅvWȢ+,P@E^"#ײ1._$"FSr}x4mbRR(+:hs7La~/*b߾e `.GT.ffЯDMgX$Q= ʓPW>݁sHe%l$87%v#TA|{`Yn$wjI[π}@ZOqoaDp $Dجbg%X 2'U *%\ WFo6 3ߐcG纳B='nݺ=#=F{A5%JA}okƭ=45$,7PG##۝H>{&PK o^⫞c7qm(7$;уbF?x r|MeKQ0 'p mpJt f]Cp"M;蜉gZF~2̡ZQ-Iظ5~c~o鑿N 0Ҧd]~9(0O]NigYZ-[% $Regular_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ڜ Ҵ2Aqzb rr-[% |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(  -O% Regular_AlgebrasRegular_Algebras.Regular_Algebrasdocument.tex7zXZִF! F?]A-MՋhvG"uIBm5>32 fyL 4틅X㖈܉ i-_% DRegular_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$;-5F2z%4z%v%ufeA-pUX9z}ݔ2d}Ǯw(N4T:e1FuzwGgJ?eP3ͪ&TA<т3=9ǵ-}9h } xo<w/&$Ӏݙ)8'Vs؀F4-}5kֳ܇?+b]-#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{%Ҕw xB¬b|;i*:tɆB3iS[ >WUn ]7h ގ{P*xہ(ArL !YFD% + 7-YoQvViGdښUu-W:U8J! o,9MH?*DǜT.F|/-pjHQQn0Y20| ,>\zu4 ,?fZnVL#o-!8r`3jO^W¿LqAA\S2qb&>{**b!g#.r^2Z94[N6Xp~Ryͽz삦ae'̓ $7J+O!f{o5}Ɯ+ChՉ i(JMYX* d;Vm' m4 S rY&@+uRL.cޑK\!6eL>"FV۸zSb6r?V3Ge )\9d'ыK:SDGte7_ G)a3lr YгTwK9*gW۸aWݣ' 2V S5BkcpϰAcJB$*"Um2,G'Q].C'k$9v9-7>GWi /u#3;cz6 h;K(3H&P$RPBg?ii1n+ yQ2ifz[c8qܗZW1ٚ'8p=R$R/Z 2}OΔTX"+ Jf*-rȑ0澽˰75u+cLȹI1r*CK+pu<Vf|A*>rX/-cW2+IDGi\/#];:<&7P:5(V>eH΋\W"@ .݋xX+MǸ^H}\QgjddraCd˦{cy|T%Z?LD}{NɗjσܪhpIN O<(mnx@> 95~Ǘ!OspNN'QodU!6H^~s7VPT'ZG]!!ljl$)kwvTCJܭXħLQWf@s$Dv7р.Jq6Ur"w I(.3EGf7*A5Ï&o燞G/jC ,@)̯HH٩7y w-mn75l :9&بZW0LhOG.R7p_D?$# 5 ̾ZZ5S8mĭb̂ě7rQ멡s]Q)k;m!pل% ̃_W!tCaW6Wk!@?fxw#un(DOO"QUs:L#Wg.I _7fZ LBlj_PZ_ (apYK3]ż0-#Jz0|q^o} !Xs]sVEBEuc<C{bY ^JA(]@^=0]s`{{WPizN89 U-E z U&ge$wz(G ydo{E]t_R0;CT{h <[+#\ʋ9ѡj)ח):%̊X'atuij4DRyGe't/̏ښZ*W{Ha;'5x@\M~2eJ0-Au ߶ov!YE ]rcG~Ii9fr%Vl /x=1q_X:psp VK t-9*z9ȇ\xP+[*-̀'xglЌΙM,W&&aֽ8/ ##R q g]rڝvs;P;w?cY[exK=Ovz6yOAS{,jB5uAK~eE\#6ޅ4]c9cQ2@w$[NJ,WŔ٭. 8(I _rXT6v@5o?Ýo3-g{usJQ|d`nZv!k7(FkW\6"ɸ5[^:uZW F X.I?ngZƻ| WWjW|Lu-[7)^ |'bս[JUMv{0aioD"Ƴ_KsXŘLU BA4=Aj5Rc*" L)cb[ܥmGV@P(StB,rp9rG7G\`978k&7'V,NJ5Y;I`HR U;:b\}$bďkWGP2, Tqs~#OBǶ8X0I1 \}4Ėb$kKXt' q o.'Ep:*{0ӛ<},,B͓ #'Cٲ}0)aݎgnKi@Ɔۍ֫Fhhb#>N׽oeeﭐR22'"LFIY;@vIi#J@}@nN.N&~jo=9P:Y; w_V- v.Ώ sY>Ei'Q>*fUs]D2@S(~$fW/eVb*ޘ묁^i͢0ٝ<ger7w1%>OE>0}:r̼_&7M2s2)L|YZ5:3fQ ^$;iD]V칷iU>-"OA+;k@vd -pZ&D0-imfga2?`.~}GlX7ɓg1 ÈoͧACGfm]TPdƟyP"Gt&͛iqدL `0h^5e⇀# /J2n)?1a ˡK!rTW>g70}4vq'1L Z6}H oԳ9u7 īK-uflR8ry{W<yf_G{cmF?z5 j؇Cm)dd)>o'piB-a|ǮNUU))+lՎT΀)<9nZEנ~tY5w/N5J(Qvfo2m#ˏqcdWGgYZߜ/57 77h c372<gYZ7zXZִF! ]ŗXiɟi&w<6:N ^܉ΧuC;#=8OKHǷu;֠%bE7jD]H+t YZ90yNOyjQhF.xgТE}Y؂Di߷R8r/-qII<|l0 x}f۲Hi*!zu{bBYshja:89P=KW\TxD'&2 \$dCÉ {G'U?ܞHI|'8ߟL@^*T D7{xe@BYG[~N Qޢ&:,acIOxt%iF2J PK&.ʦo/ݼߘZ"! ȥWJnW䱇4S\WIIVoz@sJ"hdMvԍcC]@^%/fGlCM?Mh0qԯy[JB!o`Twґ祪b%$Qzi-FεbqG5֒̔ n?e0Dea,8d:sgCbL2إ=I`5tv.5G1MF2in24Ñig4vNlim%7NdHSLizE:Y\p2^*_*1;Z2'x݂Ra?e9jCdk-SH2ϞvX2h%) 5FuZ@:,[W+J&EUjf1:dEq)Ou+22n(*]^1^ ʎiI oꁦ5{DE )G,7@u%Z0T$ Mq BZvgXU˨ٸ9ypU:z85DZ[9b:7ihKUhh|҆hZ73rC}n yLv%E7ټsd >ܠI}i}8k6|Dy0}QyBL]Ƙ5;2+_]de@\-%"}~o1fKU1^U"(I#Z%h׭.άYIiԽakYC fz[`yVnQm )}@ ANJZ|fS{~.$~A\.20\̂oZq BK_ yK`R.^&Ŀp{{xFGY*Nb?&޸7ն84j#e.D\%[M sω\ gM_ פL`A#ԌZ*d:`gM+_7 1[=ds,#JKף ;KHy0|8tH6:IA#,{b AV|2E`]>eW 9FmUE QQ]:]S5[lfvpyi|~'}657IZt@]8P6T~y?&KE=p\d4_ z~\Z\9nw9f:k´H/7(555l 'd@Zˈ=l")%Ry#?ÿ8GP<U{ Q y2d97{NJKzE+g= y(!hM N3۸s=eUT]hVui2XGudSNm"C'Iòd1b˓hZk;'"JB`s{/cե)DZ{H[66" VG>+u 1&U/H%~uXBA#w$wfïA}R^|HŤs ہ[KO̕;5@<,vГL2׾:dYhEDȲ"Jhhk[=U8d3J̔0Nr{BѐZ`}b$z1{-rJȁ mmlⲆ-=I-|OuuT_K{vYV`. (fׁY^]A*ԝ\LV5'rEJc 6ų}bo,1o컕@IMz賓Dle3 {n&!AD=DR8Nn/-+nJo? mu!v>¦T)x X] jقBf5`zVUTzZqm{)+Fx_6.BA.$H)޾rB*= ^|SiguT|u`sx/Jigpń2Yfabp*Qw)vOfx̭O9^m%5GTdY;Fz#O̓籈Yi:t+/ Pcٗ$ȱR3@LYoIH^iDu̠Sh~%Ոr L4&} C~r|rlՋEY8,͎kn:ȝsm9+r`JɎhhq]2oqQo&C:x*OP O"@!)'t/ξIJ*_z<,{q3@j%G:c ƌ8oy=RVTp׵U\YYb>Q\ \'ToMeVdybmp@t=VSz ꜋ܼwZN@6·`ɣk<΋R-,U,< %=-fc *\~7@ݽ]nL]M Č7bd:<0iiIF$p,EDd¢ŽԔS 6NeLuԜ3Ⱦ8#[8C8"94)L;8.220$/ UEA3-A/2J|,]Zi'VLq `[bAFƓ9QTX4'q>)s3vq7n2meb[K;@G4XU-w vTU]0vХdEȜ"$|ɽpqyxe^oiXT ҰL~=Ŕ2(0${4|݀mz"&3@ G`1o:`y.ўn+e 09 Kx~~\Ig%P:1D K*mH5ʥ&%'ĊM1xAdԟ0u|G&8Ikc75u3d7s%mF%AՓ<~tQ?_#x,hJ7(1yY"{0ѳ2 ?|+ f)T(])5NyGVJSCVLÐ˽zdl2Iž!)Ӣ/ %_+ŞɌѸ>hR촰M kX,2EF :8B "AˆwZD*YI3EPƣ,B?y7 .Xz%9)Wn%%?Ԕt уWmTb^֒e@UPmU|h8xy9U< ы!7~MjnH)υi+bSSMK/~(`hcrBh*ȕXbf+>otmu[s} Ft!@ Gd_I֨2Aa?H L7ݒ妳j|w,qu?To8JoAZ[_Pnd D9SyFSbdPKJ7&/w۬) . 7 dKzq15)7?k6iԿ`g:qjcQCI4UtղAxR$ 1ߚWUf&`&YNj< I#`_>yۓwEҌYn0&PhMO`:Thl0}"%v/Kp ;rǐ/bV~QSs T -c#ظӓD/9 ?D(yěz ?Rҗ ߀jPi8'+LByeu?JVFqRfpw+if|M$K=+:ySsuAU)g-Y)lV [2-Upݍ(뺃$|Ft"lcXգfD(> X'MJ>i Se6g*Iv13mצgkAejt` 7D^ͳhG %GϓЫd(_Rꬵ%Hvh_;QykocZndϽ;`B|Nd%J `%(& ijBf /g߼$<ZVWtm Fm\0UggYH-6!Ȧ%iƾzkg;͜sTiF4n}k 6=t|hfd޿N` UĊl($Q{GPxﰂNv&9Fj.9kf0*.:8Ud93R\]^bRMͣd< cHx@$'q|TLۆ gJEE¯f2BV6S4ݯ;]ihnǾo Lӓ]co8GdEN*[zPV4۞Mh"ED_ c] Ϣx CHeʛ0ZCsnݔ"i*tﱴ, 9ILF&Q>K#*qI/`1`Nv2q$Ux },qπ0pH18NnC>!m'oO~ڙag%bf0PKG(\IϠո7,B4 _ZW໳E調lb}V!֒3$j‰CK*j[xV[;%3 gYZd370467f66902b8b9e7bf341ea7514342a9c487dc3d726d89c950dda47a94cd6c59e05975f526e9c 56285ac0202166b2b1eb0083d14e25cae3a1ed4a 3a506b6c9a8b73e1e3ac1c2e749103fdcfc01d32 c0f7a29826da7705d728a81fd941f28b329f00d3