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 0-vD t ]S Regular_Algebras:threads=4elapsed=96.983cpu=161.620gc=4.2127zXZִF! h]ŗXiɟ fftb:u t pbKTE[s 7}I.7s@Y -};aW\ K%(t FzvAH ^=ޓz3IChȡ$_@k}5@OIܫ oР~hZ*H9o~XTq89-N= Y Kp,Euࢼv #<yӞEw)o5,[s+B?$j+7vj{4| \l> -O3;߆9v1he9#N|_ԗPZb-D*O^1⩼ vM`:<)03:'&0'kg% 2x/я[HuJ}2xpv%9@Εw6 -PDv'Krf~ eNx OAt%k_#tœ.{G ՋEHd[ r9>ZQ.$38#M 4걯' 9eEX@ MŔ2.ml1jKz陈=.&tg|#`_{J$蟰X{mG};yLAa~n 2;\d `$' S*f\  m@&|+6pS"f{ZaivU0a# a*]悵9at<7C jae%"B@=p]z籐i0I8*ZpRl)Y-U0 {BXŁ*{ej GKNΤCm:q Yo%sٖJjv6z!Q̍@&6c7c~9)bd<( ɻ7uV~iZJ-;þR%]%)#88VsHԊ5#o~[4m$U=7Bbv|7,SȜPhuߡ:.fCߝS}֌W,;q>Y2Xw)v~ 08u&"?9;ƔeN\-&upbK"\]1!(흚gKzdjl4xx :.A$LH>\:5hQ*m5Z7f0 JP{/(CxF=J3 Ȥb#lQ35#ԇ8Ҍ.`ICqHTmwdwo4nVvB#&0'WF/-U+AA0)矒R>J^cRnЈ*>s%]``iTu lO|B#qtȯ~g6H|ˋ:O yH*= (IؖnT qLW1is7gYZ7zXZִF! :]ŗXi%D3bW@bi\XiJعS' 3B a(GPo0-f+dBb1oҮ ,is[>{/;E-qXաkV` - Regular_Algebras -[% $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<-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]Ni t(C-O%Regular_AlgebrasRegular_Algebras.Regular_Algebrasdocument.texI-[%Regular_AlgebrasRegular_Algebras.Regular_Algebra_Modelsdocument.texK-_%Regular_AlgebrasRegular_Algebras.Regular_Algebra_Variantsdocument.texI-[%Regular_AlgebrasRegular_Algebras.Pratts_Counterexamplesdocument.texA-M% Regular_AlgebrasRegular_Algebras.Dioid_Power_Sumdocument.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.ǀUd+n=Y>TM^um98)Yܢ&,C @}{%_ק]wCM/zY#̮yQJxe؍[%A'>9hU+*J)(  LWnڜ Ҵ2Aqzb<-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 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ֳ܇?+b6?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 r -O% Regular_AlgebrasRegular_Algebras.Regular_Algebrasdocument.tex7zXZִF! F?]A-MՋhvG"uIBm5>32 fyL 4틅X㖈܉ -[% |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( Y`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{%Ҕ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(cjZ` o-< QoD=9BzR>&w˅ KNP¬cNe?>}m QƲzبn>raXss\ę:tAGUAcq91Og XޞSpMXll!960gI)E^6n:\n1/.} C%.FÖ)C6YUdL 95]KS3̦9]س~d?ti |>R;V:*|&_{A c`&J tOkcu$|XOXOsuimT%Q H3oi[os(^7A1 ]ªಽ %%#hk*ʛ @*&0%%nyF;\.GX{] N7' 2߄}N:o+sVK)7 cp/]]sj ib6Y^ Ҭ?~D$]&[X_J1Y:,G ^݈oylg9*HRiH-mozUJ&0cAY56jTS,~s^Vvda\dډ.f_<1p%!QWSR nC /C<,fAM^"^IwcJIi2jr6&J Xz/vGr,hzIן.VedYP3? Yl0:bq}J1'cӴi'zj)]ծ_Ѱ!x( 0Կ4X% c8Ai"|Y:b ,'sV&~ZeD""݆!1!΁Y:/a F,rTbLʚ XY7T\\m'Uˁ]f`42 ;{+Olq+t#M.Ql'%R]!T06Jᰬ~aP[l+uE<&W-yQlaU΂쐧$ nx'F@ޢS)9zh JЧM ؈W6ZabЮUn\Ctqس>+E8d^WL%nQG^ oCҺ^L@)hЁ{ 4]ꆆb [K#3{xwɇ%І!z[iC_41eFW13f|aa^]=(!'68@|o-H5:Cf^[IҋȲSo%qq8TS>ՠW8 ?crY Q+7}<0%O :0(!*V2PNU=ؘ2Yc?(oBʫ;N~Jj6V8f 8 %A&q,%%mۗ@Zh=I Qd)ؘ|13i.?t ,@0Uj(GzY6po 0+}S޳+NSGVAꄒ{k,S:) d K%N]_!dgYۍoYOZBnĭ` WF,.ێĠgfu {N8ٵjڅ p@j5 ښCl$$+XP-P]Ù6&n@;" '_&? bz~9A rj=)@90"~fGMRxHAr_nP I6JSJXǯsҧʝ_캥-L!& *@'o4}󟵑 0`PL0QP#sidN3ס([.4q_ OR 8UHFɔl'\t+(s\:l#&d*cdq\. Έ:8HA*uEP͆%Yݨ[ɥl(X=QP,/(Ee6#2wPafJ/2ѷ`zUH!V!m6gh[->"ȔQ M[S-)wt{پ9y w-48{fF / J) RcĂc|`PxݔPӚ22$kA%u`yD)tsd gX/9 D<~3@_`qy$!^hAM<6oS֮$:fܺVD?DJ 0*794c|O}$^opU\ԙZJ{JvRO,ؑ1Aٷy[trInGksIlIR].ƪ퀎8G?B3W(.6@ՄJxȣKn$OW=ݹ&%q —- #cd2M_Us`vV{*m_¤xL%`S'?J^I(rmt`xf wMTTpq ߒ?J92 ;kSbER &LiWisGfH!^.j>ems|pWr 'l\j3;8Vu5YqQâ0DqXjb^cjz7ԥf_6nO%cI Ռ l"Ov/MӂZ,KCޱ ХOF0QEl*n}J`Otvj|wy2"}a~he?DoQߝ ]agWO8ȋzoQwD^AxB DvW ]*ڹ(seW vJպAdP919PTx <4EO# )n&0p縊 54u8ُtFbǻ fls ']3I HULauo)$oyP8FmZZ5Lxlŧ/}u_$l_ܺb_# D K}pg?ۭ\TC;/-#]t1ZVMR# qK5Im6HjI$Qzv;+*sw=zBwgd(8]eMvd f $p;gT[""Yh0dQH.~:b>"ӫ.]SG.qD ^9ϳjFv C83΁;5 z7LIeR=/ XXtoFIeH˳bVf{)tңx;SW %lm5/ ^O-:ؠS_w79~Y^$4oRDH8?; /y Hʘ0@uzqkƷ  ݮuS—enl{w^=zŊڒ{ kKl̽u(/8 W6-2e⸭NVy!"#A`˶X b`N*; ]3p[m/? @x*}} ZP[":Eo!Hݔɷ`-<$d]bfYغLעD4l}Gñ^%Int?׋OjpH8maO.T Їw\[XfZ <~lܵi"J];QZǭt;ւ~y&P|XZ˦O"NA 5?! 5#bE(AEbS?uߔN]| r7 Ir- 5˞03Ucʌ:KyO>u~윸1)ԸW`qj7 d.|> y|6t$)f#e `d%Uxtvcc^Gj{wW:bԥ}ԓj:ۯHL/Jβ#C۟,V|S xm G2j񭕰&]dqj.ltxkx{V7&"&6:~߬Ӕf lDP!%7v j i+)?4nn{TzgXeaRXjܼ|>k8ИP##إ%Jf?1rKlJ::4RoCF>AbxlR'@NoW*cb7b)hvi7eor 2/P+o:3K%]=.-ry &{`J^ 8})ddu"u).Q&zGY`B?^) *hUeVWlfrpmn T}ղV!#bk*jql9h # T!"sl 3%7238 "jǓMLh@c68Kh7_lD@Y=D e/Z~@i%sڦ[{R8h~?(-0}}HL - GsK*Խkӥr(|&nb?m[ic{8l&D[)XE$lNTyOC!r|V X3{!vgۃB&e]{-3)'cUncfke3CJZ=[V!i S+ɬvm߼R6hgB[-ȏiR("(1H1j %pq*YZb2%\P٤ЇcJ'c7)lolfv#{}PÜ¿8ñ`~/%k!5ص "Үt24"]@) tμ^dD<8FTwm6+! luFl,(2( DY$ \l5dXD:K{KBL ZU|jnlbń t\ m ܀j%Qf0| bcIh uIt-?v5E J C~υ@w('x` rޔ uK.p <Evo˷x/[W]^&2,y]a `\!?v>D. UuRO1-=殢I7Bz+<:d=:$ _>5{T]X?þ2}ޕ+߲Wo@ c''ѨH%i *RN)!wxg S׼q jb:T hr|g]Ik3L*)=:cPe%{q9MU *_q\.P)˩q2xKj#4I!\ :T{zq%4G<:?ggYZbfda868f1dd86be3323b576eb366eab78e024ffbc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 5d12d990b380916ae4d2a60382e76d44023d548e 31af6fbe992d84a9bd2fe141138885957eb04f52