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 -v4 ]S Regular_Algebras:threads=4elapsed=93.040cpu=155.628gc=4.0047zXZִF! d]ŗXiɟ fftb:u t pbKTE[s 7}I.7s@Y -};aW\ 盌6 ʡG(EW]&.} G?`C_@Af ;CY,mnXBFB@GMr .>Ct ;Nmq5=Ѿ]݇nҺ+ GnUhTh1RtQ72 )Ͻl2dtJbVWa xk[#{;CBtk| FVZ cb)o߻%-]>"=@# @+}'#dž35@d^Q6Xg~mO ^h旀}庺u|??"v(QV9VwbFbg*E;z=#ű ~)bvEsX}'wa*|'i,[g0_pd\8dF MQQcoI+Zds~ʌ6.O4R/cWgZ7I]HBys"R礇-32X;fp1} 7f0@3:200y67>,+aai_]7}o0)Qu D6'% Ur}xs˧[G}T;)vK_Ć帽B_N+cK;g逫] F⻭Kpx]| [{O 6kYŌt3]E{p(Z,'6BB[(7}=4|sx`s <BgUv JPsƇUp( )r/Ѓ?q%jΈS /囐\lnG2nL t c=: fr%eL %XWyHz7?ѮrU~U{(Ё;o h08ݜvͯb~ ٵ1Ux Vf wy~@}b Z"j6gؗg{ZG#E;Ÿԣ0芇nul-؞Lb}F1wq!#+h{ 1pMwxG`oO^Ƚ?v\c'Ct|a K E"| KcCs,+ִzh6mQd4Κ zU>2wX]:|;G89/X zG39:ǐTBlдGM_CsysA%FP&z1`N7WƎy86j%S!/2~1v=vYjḏ~Sjc`hU_A!mFj:5b 8aÅ}I㠧|V=ʇ}tuф$0 f"s[L[^wvP:/yB>ɱ&גj{8l`~N6\ p?.Ls[fgYZ7zXZִF! ]ŗXiɟi&w<6:N ^܉Χu+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#ˏqcdWGgYZRY /!'+⬱gYZ7zXZִF! &]ŗXi%BzOEǤQ$ n+ǭ0#o@ hr!CLѣ7o2. ax0nqfCEANj%`VIډ21m sxj2)Ӧl^/fƥȴ-n>")/ld&Ǭ#Z|0G^/ \/Pԏ,rԻQ.h]1,7(=#iՒQLZ氣W:}I3ŃiRw˚~@efsB+=wLBnF?uV~Gp[^&JM!e6 bbmo [@ųWV+nD;9#No5)Gd IV7TV@zay$; l$MO !Y!gOXPR=:JIqﹳ!'yO%i.gDVv͟bۣ!\&1<1%EB>M[1k^LwXu<>!\y,( ܬ$~ )1D>HuM0,%ZkBL6='[ P  vPeTWocnr(hvlދ*&v [$q-5\"ʟ 1 .\Zca  tk`4(}dRFUdnLYYQQ 8ֵ(ނSɐ#y t 1,hmMAVQryyh e/NwO?) ʖN<5*)ZXQd?1G# ;JH"eL47Yq$r09?~F%e SX|9KiftPhOu4 vE$>n||燪]6qSQ6Ӵ**:n`oOfm GBgzEYGQz&m#_.3j'?3y4O(u}*sG%Fke75/?*BD%A)g=wa;KŹrRxq*C7GNչQE" cvhN:vVccsq"_sT 6Jn\?_4j3_w9;HKAM:e@s⋥}ѷFd4?`؈㼩PRꠥΚ*k:yuAݝom/Pb&H2={iE3+` 4_a$Eqkkh$N|}鞢M O.{حʞfa#}3SAƙJ}~\T#P񎟨Lzmd8&SՖ},i+Y;޻D)H?tp@g ge| zď,sP` 3ڦ@P\~TV P\]8B`-5uVD3bSR!dmgv##ZWm 4Sp翰VGRk/'ڢ+!r)-d.ַv Sug٬9l {xWb@]z^[9Ft|m G3Aqګ82czo8\m|RT8rɊor40VA'I~qFE`Cn* !\Xf?E'C6X$*zI{є$( ewAv"vwƨ%$:m:̼:Nؚ*Mkw3gM<L2 7a!Qʩľ8MD^&iA)N3# ) FwԜY G Tȡ* ETH < Z.kY=j\ _RGQ ꄛ*ע Jx{ >m$@wĂ2,v#¾-L5"x:k Nq2~Ft I V\Aҫ H[>e"WU侍Cn*し 2IACqlh Ä x Vl?Y`ɓu |r{w%7X״3 #,3ILKgjk0"1 3L4\!^01!zuӗ;?Os~tU+u["2$諨B*$9κMtX{Q~ڡIB?1Cߊӻ܁Ot`j<ϿGc$Sb.5DdnQ@ ] p:@<@ Pˤ8JIkߘ}}ѻ2hXq@DS?-Ķ;Q}FsY]K}U-V ?'qe!´|J&uLL#Oq[3a]R[.'Ro8_(jcxŠQqD/`S:x}Eca1; 9!%$^Ɛ*Y$Nvet \s%?Ô66F}Tf68tmn]4&B[kwc!U~ l3]m=ܨ HSHxugA++ \߼r\P\<]#+ 1H嚬'2!؍")WMx88K\xq B+M#Yx2J;A8$D(2QkHC /Ua֜ }<'T6蕝WE[Bvu7(π5fXE69 xfcxN~sQ)nik9[؀Z\vI}Z8`pX&#̡ ^:7`GLMbʫrCq9]X ΔCT1|IB;ȓ%Q{ӝ?yr| ԟgC;k{~L,# JŠP6x*#'2P]hu\؈5EnRO ظBOTxa]`A+THf(/֔;|OJeR_%$W}r,l@!KJH}sA8fn~ܑⰏD~SEluٝĤ ѥ&MVŨ@n;XyϫƐZ&'YOQ@mĶwV1~i׍ywDYr"ydYT,mC2q"i;RvI M>2ᡨbH@a_,J_:2dAh 0Dゲr|7{U爚D|@ڌ7W!{ICyg*w6w`M]6F3:㗾 JmϤϴAGإ`y~I{p5n:3+R]0co XFn\f:ǗRZnб;_@1*R< 99%ެndRIr穂^V> ,kϕyWM2j窢CqbS0i1`t/W+&25J0߫F7?ٲ^,\R6T'ZȄ4O,) 6o57i`\EH".bKx< H!X,jֹr_Bʷn2˒op-;.Co[*r:na_! #Ѥf386?Sv%ʽ<["и֥`f\Tͬ@Iz\>O,/2'=UPYoG t;OۑCH9]ZbnX<.\ڮSQIe <:k+mxwVtO~4..Cjvm}X;9bT-E▱k-pͪssXn}pa |9^+4񚄳ol}XLPtbH+ǘ/Q~pcQ9PB= QtvR{g]<2Qi0coKv]2 'z`#1UI]̘G^U J.OA!Q~S–|JoS1JXC\B<-"R,گ-â@wtSWa %KIi}ꥀVqH )[I~]P=[vMM2%AgVuJ%uFzHB jOʲ:| 5yeN6;ػ`4(p,_89[Dj(Qy qcpB>K3<9?O,վc *_ A߅rI، +GmY?lYhD 䌽gw7yC:^.Tlz[\֖^,yoDkжc?RAp6&L^)Mgg *RX[& P8(3/RU(BT>MŤ}gmL OVT1HY5pzvm 8Ict s? JO~89jGsɡ: 8%{>*G;|V%X ș_9U'1~ 2#|4P1I *RcJrh_Ž27f Zͮg0,\Q\E@] X( ]Zԫ/ l=_Y6N%ǘRpCD[lzE#ޓv r1@U-;ßoVv_{:85NQ`s9JŚжo4o0_|h4Fۻ-khV35lk  I#O &2VrceztL +$P!1VO}~;VQѠ8N X|/4MPh.߬fs|<te#V(W%-fnw4VFXD,͆cM@ܰ,,8Iڑ47--:.ǦjN+R=KIS {*9=%]WBN;Ly*^Pb[FֳP5Ʃ"mnLsW+u Hx_ [Nj''1ֶ8ۢ%A je)ǿz&GcQY9ꮚ!00.[ٽa;\oE^|Et V4A^ƽm[!A1miiIaZk27b1"if7 SGgkK3u}fY8`hH}M&y1CJw%_sL9tVhg0ߐx/4]YCp%?-m`(~ 7Vd5"$(z'̺7%jRi?z,J\ooHԍ|mn2;p\HɆ(uI>}h Jx`Vܰ uW<s#Z]I;gG6ūdȎoQm]蝕 *&"'^`[Eu']ힳҌU=T j‰Y8so_o2 oA4)hyt#5aT:ckNa B5ӯx`NŰTFPUȉ($) JYߩvXZlv־u0w-f'$ʒ HըbK]V[©0W2긩UAMXg `zl y$A,00W:3cHp(^w% ܒe &9y!=} ǜ][ O ۟'`3Eb}\ƢB[J8F9;Gro F'-u):,1 ue#v[A=t-"Z V:Ә?c6I&ԍ2@O .xɦJ2ūNӰ/BS8xr!^0rc,@pmu'àmUuZ۽q`:U 3ܚ|r뎬 1WT׵(2&WMPQY1#5%%c.#.sNy1B 'oJqugU=`g gYZe2792500d434c49d6ed096b220ce4c2be15a942296398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 a62f3578bc606d22406323ac6305318410d08961 9aa1cb5802f7a11344caa96edc9269cc65325348