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 3rTTl ]/ MonoBoolTranAlgebra:threads=4elapsed=9.360cpu=16.160gc=0.5607zXZִF! ]ŗXiɟ ^xe0iu=PMsαCޕc5HW3;3㫽I8zFC 9ҋޓ7*8Ń v*n|z=k[#V-<_qdqTFA4T4 w+{s\[w(fNӬӈ,Ԭt`%ņY@tGtJ$B21 e ʗqChOhH܍{gKU(x`tLP~hgHT oRsJh{;g{%vH: w5%nuUT*]ԍ+Ƒ҃R@ȭp#<̗E"H=%Γ7k~*mqAiIm_ZGP3t$>7dc5]@ 3JgYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg2Oax#%䓵K2 KĴ3ZM*ʠ`^%BcY!}Ϗ B}w ))d'թ0DH6ǾrR'"{@ardw"2:]5am_`㕌mk~vML?3޽If-Vb<Ǝ{:Fl9-;/jV% $aERgYZ7zXZִF! H]ŗXi%D4 gvp!UPTw/K؅05Sơ 4Qmh#> PVW<jk5#bRKR@6Ȓ>|)κq*.{IRb2űiH}+,lؼ/C?=Nsr!4Ai{|WS3&x4o1hFur^"V6k7jW2,pB\I+:^¢`tAx8L GW0ihAF 7 r0 xnWhC ֽUy0H萯w=.D;F#'QYQy7ngsKW'ؗg A I_2;]+/c5Cz/Hlہ]%M{y454)XNJC@N.}.nj~$E |\a}:gdm@|~L{l6T)N{ 1mei_\uT=mL5ʒL Wf\jJi!WmQf2wUHӝi1=qdB-B9oiE$@-AZ$y;s+Dhՙ .i JLʿܪgԾ  $>WsNM mzG&XeQrEeJ -i^",EJ8ARA}@}N.sv*6&i#wmy U?1fqxˁM{8`JU+uO:dsavݿ$ۚQ"`kK_s6X#6>O Lˈ)- f {v9Vim&a6{*+LŒ'JZ@bc?I6 %?>lm.ƥ˻dzp4:,@GS#FBjq`t3OV)$5IߕuP#SˆLzl8 ܘiHQn$`8n`2Lh`(C _ښY i6Oڥ*tJFYX]P߂Ch1PÅ͞moBn9NZy&Z}+c$|5+46kz*O\#8|4̛g&!` 0)aQة۳+$|nž3ӈcVqIBT&o іe3~{^7Ώw(z¤AӭDX]D"0Ta:E(UIѕ7T^q@m؛فj˦" m6kOܛ omʂ{rtJKޥzAtO'4,Bqu'& l _n, E˱gYZce5794a7f00ca6b761cf66b3fc20b24e0d960356c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 3 MonoBoolTranAlgebra &3C% TMonoBoolTranAlgebraLatticeProperties.Conj_Disjdocument.tex7zXZִF! ݦ#]A-MՋhvG"uIBm5Tp)ͦw8>5GG kSܹ5+:B9c أSvۼf<1t QӲם@2x"_׼H.űJ%;/EأuF:Ȑ%Q6W-hyCOg AɁZf9 aHA炘y2,*:1,!3G4kΣ"r Av} = V*{.:-mHo=_>7&\gkd\9т M(:Bdې S}PIVO۴vJ4}]JM$<U<[>mROb*I]iMuȜ; sT&Wg3 Y`)3?\ZwWezS 7T!WRVÐ6Z8s61U)! !D˫UJUw? 5_5Sb /\ ="Xwl;X*Yrbc h2#cF]|(d] gV{dZ}@M|B̈]ww 5 ON^OzØ1•72{]i0Oɿ@ҳ 7ѨuIq/67@]u #[J_n4i(X~.tF@ knc?QQX.}ey8H;avZ`mW^97XKhrSU>\(<Ǘ C *O#wrrS+tc43yEAdbs*;+n71yVyD \lʙnY.` L߹&S?S-R}Wߵ;o<L дOLtWt}*R+ &FnLLaukP-krմD}usitAd Wdjީ£jYOWX?^!UK,@AfI +`|b4ZaPi;6v9|u5C%t{u\ 7L8p~\h`*/|kO-'/P8rՖѓv5 &Œ1 !-4F!l R yVI.d_% , ۣLSA"ÖUe)R1f.2uȂϧVY(ۓG_![.i]kO&ԟ8 G[Lu_.ĿA#Iy=1w6cjzB^e8yYO1/e!3y/2qf#3oǮ_ QOpdW_:åvVrh4׋Hh}^nxJIJe8Ų}kЅ둦^v|Q*\,OAiZh/BO?E:Z͞_[kȚ)IW{2D~%櫽`8=:X.LJ #Ddy3|+eU*Uj= Яj{m29?٤bnzaDď%տx|K!E*рؔ .;5B$^l= -yp©SN+#pαO7#)%2Z rWs^4ƛ^M4$taմ7ghWCħz O)`z_$ Ǒ|zdM_uI_RfXj(30"6Xt"#ES1s9@JBo/qb*>0;tIЈPJ LQ~rd#eyn݃3:{ 2) 2f1_|5us‹snf{Xyh E:́&I!bY) e)0qmHXȜS4z">)W'_4vg/4av@|N?oq慛g22MnPE[    +Ox O3a%MonoBoolTranAlgebraMonoBoolTranAlgebra.Mono_Bool_Tran_Algebradocument.texL3[%MonoBoolTranAlgebraLatticeProperties.WellFoundedTransitivedocument.texJ3W%MonoBoolTranAlgebraMonoBoolTranAlgebra.Assertion_Algebradocument.texC3I%MonoBoolTranAlgebraMonoBoolTranAlgebra.Statementsdocument.texL3[%MonoBoolTranAlgebraLatticeProperties.Complete_Lattice_Propdocument.texG3Q%MonoBoolTranAlgebraMonoBoolTranAlgebra.Mono_Bool_Trandocument.tex?3C% MonoBoolTranAlgebraLatticeProperties.Conj_Disjdocument.texX9 ¥sGe괩=.E3;P ao6 9|^TpǵG g"Ym,ؘ+bŤ|z}8r&^z2x[kKۿN`>Yw 54'cxmH EZL5̙O.b2;M:Kܵ+;"q!\!&5FݤK^8+z_]c-H=^=e7B-3ԭ5),~a&SX\;VY'Kƚp[8b~Hmqkt+*M]HXRZlܙr|s%H]fKB[50ḽHaKf2 f :g<V~ $RiFTÜ.c>Bx쬒}Y[sVv'[ņE['6Ԑ [bĦ Nb[x̚o%ސK5/K# u QCfvQ{Oq߯3qfw@K;.D*B$]P%z3;34A5nݤ 2>p]U&~&k2KrиC zwNr0vls6z-*:uA ~ d mz^eֆy#F-JlIf4iK>0`0:(PX|‡/V갻='}p,Jsx|b7 @ 5CǞFa @ыz~Ҋ,Uv( `H'=GU1EʗM:4V'ڮn`_!ҨM/R,T ˿aW|M|'WՐ~٦SMg2nپ{DcHtd!~`&i2Րqks+vvVU+k~/4^L˜'㣁Li(vW'2qj&RX [Z+v-K 7Z* i,?^ H_DL.]]rgfk_0nk)$c.J"UM1>p|NM[3Dn;E+uUs%/bS+ҾvJ N ̴[:X#Z_wK%gA&3U!@@svU&s? pZ||?!E}ݶb$y- wdTŸb)oь˟$E[OسI5C,Mb 4A\uyT4Wv]j`ANM22T_zg;7Zc4P[T(;U{؏--v/Z<0i/?ek,L"ǵRh^n><9uceJ@{ņ;1iO-2xxxp͓:exU3`ɾ%,"&LxJ嵻0G)Z[kFJ0cxdaxfǙ_PQ;!c3;Љ~7$bd|}lnZe U6"ܕN-#"g|`S|f2=r0E eTt^GUMxHgM$^ N+W&8#8x]6:)1>15X9@e߳hGlְ{wD8ʜ_"AG ʮ33OzP'cLmH/Q݃]iDGeq֍/8:zrj`bN] NꆩD/vp\YQ`MMo&}RI#*#O%[[Pip`XMOAeGoZ%FbBFn0ፐ¤w\yܒGBwrx rj_A FUQ suԂ'[ua: [kS54$.şH!Ơ+9!ѣr x{9_Q_KJ/dTԦItMA˓!Al`<8 v ɚBW\8t H"̈c=,U^ FgRRޖn,hiQ6_q 7~3~L D} 5s}vi l<.ߒE"@{^/N a<8Ve}0T_^0$ Z/\@gaS d1 %~K1ïCV7)a)H0 9o<בO>/m73cR4褬sk[t>.N#\f9#wCY'X҄w$q^: cͧNVc앮ݛ@,#vD/W)킢^Ť$2e>9yNNUnqvzF4eA1n  fCu۽Kdg(Sbb#4FňL^{t?-E_K ~w<v8855Y5GG kSܹ5+:B9c أSvۼf<1t QӲם@2x"_׼H.űJ%;/EأuF:Ȑ%Q6W-hyCOg AɁZf9 aHA炘y2,*:1,!3G4kΣ"r Av} = V*{.:-mHo=_>7&\gkd\9т M(:Bdې S}PIVO۴vJ4}]JM$<U<[>mROb*I]iMuȜ; sT&Wg3 Y`)3?\ZwWezS 7T!WRVÐ6Z8s61U)! !D˫UJUw? 5_5Sb /\ ="Xwl;X*Yrbc h2#cF]|(d] gV{dZ}@M|B̈]ww 5 ON^OzØ1•72{]i0Oɿ@ҳ 7ѨuIq/67@]u #[J_n4i(X~.tF@ knc?QQX.}ey8H;avZ`mW^97XKhrSU>\(<Ǘ C *O#wrrS+tc43yEAdbs*;+n71yVyD \lʙnY.` L߹&S?S-R}Wߵ;o<L дOLtWt}*R+ &FnLLaukP-krմD}usitAd Wdjީ£jYOWX?^!UK,@AfI +`|b4ZaPi;6v9|u5C%t{u\ 7L8p~\h`*/|kO-'/P8rՖѓv5 &Œ1 !-4F!l R yVI.d_% , ۣLSA"ÖUe)R1f.2uȂϧVY(ۓG_![.i]kO&ԟ8 G[Lu_.ĿA#Iy=1w6cjzB^e8yYO1/e!3y/2qf#3oǮ_ QOpdW_:åvVrh4׋Hh}^nxJIJe8Ų}kЅ둦^v|Q*\,OAiZh/BO?E:Z͞_[kȚ)IW{2D~%櫽`8=:X.LJ #Ddy3|+eU*Uj= Яj{m29?٤bnzaDď%տx|K!E*рؔ .;5B$^l= -yp©SN+#pαO7#)%2Z rWs^4ƛ^M4$taմ7ghWCħz O)`z_$ Ǒ|zdM_uI_RfXj(30"6Xt"#ES1s9@JBo/qb*>0;tIЈPJ LQ~rd#eyn݃3:{ 2) 2f1_|5us‹snf{Xyh E:́&I!bY) e)0qmHXȜS4z">)W'_4vg/4av@|N?oq慛g22MnPE[plCgYZ a3Q% 8qVJI`D֖G$v3a)@34xY|_KU86~誝H 2k)[$lc">q$pm[DF׶\3":ܮMbyj`Xr}c\ff1"9˪3vDSh]͚C ޮ4WȍW޿ۺӋ6sreP9Zbwz$:%\YJ7tHBo )~Hs 3;S}#U;܈ŵxͰtV0cG hD,C$nmoL괛(ή~' #*}UE<oR_5jPRchWk֓JeshI0t 1hU-L2c 3#ڗCE"R5;p`|FW*C' XİjO@6it[~7xwͭ%YQlu{ :Wl wZWGI8& /D@lTf !9nź}Kwlvl v\Ȗ$A\^/^,Qy*h%f -|ڎ!n,SHq#v=1A^Fkr;Xm=N_ f[d* Dȝ.W !HH;>OTM4مG%'tX70$epOJ[D }xj5V;}j"}aBѹ>hHڏGz ``ᣔ&c9~W gk8;`M%䏗+Б@OC/9dZMLf@/T#QL}.!뎎7 H c0]ύiEC?;qJ s|ݤ:hL76qug O'u0q:#YZ߂/ W$uHK.'yMN`g<ͥPN k 46o:i'w*{Am>`km)cIZb׵1H<.ki>d vgiP€堉 ߉!qj{{;6@DOv 5 Σ) x1N{GYHʼnc0 2W3*"# ͱ &8S-6LN|~~76_~3@FYW |쿾܆Pj h#yv8ɡߓDL~7DR;h Gtk'azxl ̏HEo{c{uzczkcBF.+֦L |#E@:evx1_9҃e4x+iоD[ANL*@EŌiTLEo;*_[O7f@]Yj孡+1qBB$^*TT-=V~\ƘћU\l¬ Z \[EĮCK煶s˞)tݧ/j#M P4b'Qzw,yxmI!rmELr6%hگ:g}kl$Hsu+W-:ʏ,Gg3k=% w_m.w/G#ܹـT<"F., OٴS1/4]\]pLk6Z=li2la|8o6OHGeqo,N+xNͩ:'ƯDx 3@r DoKF@uO$%+lց (!Jkˑes!ٌbñh#iu/yT7|TFb@A?^n1Qҍ]( }~b5_k~ͷ,|;l˚L|| йz? *3[% DMonoBoolTranAlgebraLatticeProperties.Complete_Lattice_Propdocument.tex7zXZִF! QG ]A-MՋhvG"uIBm5XKjFщ*1WBx#.‹ ݍ\>J jF/i_a%=YUij*$5*IDXbjP]MF·Oq i\9L²;Sfvxr)К,Df`_u]z0Cw:~ji$ە:u#IŘ)9zdr3t&Cji$1就gh'_ym$WjML3kC`h-\ IJ(Y}o;Ɓ?Sj UYrC\|K v b(:iXm-(,h"V n;" yq6!/>)1P]4BkL%s6-%ŒMV/ }ԀQA%ZU@zT[oj3><$9߮c3֋IZq5ut\P'!(Z-@)iZ$!(ϳ0qPBf(wOG\zOp< S}<?S"PKznN`۽q{rʴ%ei-hmSڊ~Ɲ!,C|>9Q ;GP5;![Z,뜊HL햆@jWכY 95Jer S2܇hɺJΠH CZ }tZj ?D yK7*8oБѡ3; ݆BkT;60+lv`Sչw 8 ؇ UDG˜ C4פ*,Gpt= _h+)tOZMkD7:9;d%L(ji(;2I<Xʋܥ;R]2Y*t15GeU^ n!\zdWSm֠CaUcLQEb_U@(*SѓM[hzEv5nuX”Q@{Jt2 U=O|dq3PQ%n>WKާ n,)-.Ktӯ~7R&Rxr|EZ_VRq?P5]YXGh vؔVם` z'tSԨrhaQV2vnelOdO Ǫw D%'e~X4)Z.κ vs}L,K0#e"~>"|s$G I hU׼)or-b& i-tv YcϡQ-6EMg3tVk^+M>^էXv]Ճ߲o<87??MupPV3SנyeR48_v~ԎjbY0C,r3EmZ(+~J# a#.aPnp-fOx, ;c]tUDۜ% kDyۨd Ų*Gtm&ƀA0Ҕm-(vm.!"Gf9J`_FٳȢAXgYZ ?!#MdS<ڿT #V' 8 tvlB`yc :>8؏כ*7/?Qt2pʠ?#S0d` ?̄4dM-DqY7彴 vVR֦W3gؤVC|Ϟ,sjUgc>瘜f"Tx|Y g8Mc1ABk_I 1R*[y y)8r2ѐ*\YBSY}GƱv+Xc}$hd (? B? UB{k) (郴ʶ%zgM..GMh#VKh#/B8 ь'CNF*m r#\`&瘤>'L1a1 s0˰wQ1O] 9g qQinJ]~:y?r4dwqs߇|Up%SԌqi7:rTu[PAr4:U2B&J{PBSОǪIJMF >G0VY,X̫)nk]\LAޟ=t2;CYj͟lLBn@C]O"f2jD`L̨D9\HP#]C!tu]iteCK|so2)f޴@Qe}l]o^3OrQ#?̀s] S5@ktzÈh+(ӊҔu-)mW6/&WRG y2L}3->#";0lXX3-~w2X)&Rjo%B:tO[J+qX7b=w XpdB_qr~X4fWɳ9\end [u-P 9Q8vܹ 2e#ÅیQz.Ŧ3xvX#ӫ87hT 'azN0͛-睇wKM +%Sb('R8pIHL:թ^|D9Cģ  3JLG#Y% ):@;Y˲:q4sDCn%DaNq8,oc`de; oC34kcSHݸ63P,2 KpZ$.~'4bhx t9h@7`dkj^dBq`y1mz.3muim4p-i7u m1srK WTIS$3@A"mR1{K^P6*C+4r#TtaA|;S4|9Bw/Fiiuid#{$UZUIUL >QIpY'-Ib;Z{wzD|5j^zᲑdԑ2UYc)?[d cLfD$$S4.ݽrSꥈ^A02)K`8ĪIӜp?|`ɅfCQ<JUBk<ղNzCղF~ˌ3 vᳮTʙ(ջl1b,#*v-| 8m)R;TrO h .k&h5_yT`t PvYdm^7̰I5b5S\d_>sdeET6Dl%|/XWg[GR2nQo(S |Y'ם(iE7gT 9by+!}3?#Q:(%MiXxƠ;8~~B^j#Qf {_.5j yaՌ?)ȎE#%ShnR1ӈ_X; RiZH1QeAN,Ә|' 黋nח߃$%Mk:0VyH3]`Mcu, TK{kl`2,Rhrd#YM9N{zbD؃{ ."JUS:=†$Z wIðhH,Pj2φHN,$"f /|f3TY|0 [ħ|O{d wwu^C;wbZ$f?vkЍ]~kSQ[!۴KDÆ3m*8|~S {BI!@xH~N&l9a>q\\D3& .N2AEB<1ȳ2B[o- @1Įp䘍iiKg]C, E:$s~VJ=['1`GC~fE8E~9ju2$}Ws/DOJ?GÎlN&%UmT [YU99~~p.V~7A|ܳH _dr2m4𭓈Q :Iԋ^o~TqCsH?wkYjNk1!ՖCESBJDI!=_O5rS?cbBwW`/C4y۪ ni9zn(9ǍP!=_N2䙎(Pv1Y}PS]7 9`+V#f~t7nb%? ?e$>l)jz+[m|jFapYHl%+<'gЬ2v?ѡ&^L FrH<ǎͩ`=1f*KI /[Nx:ƒ6!ab} nMn":Dt7xYo鯵Gz p~")њX=m/I(J q=-ĸ2/qmҊE]a_?{|ӭ$xX֩ku$HN"l F/4YC1bN_-}9UUswy9 _I&w3lN{)ىB͞f`rWu{cpg^0j4t 4FL}&w&h QN\[^a)(,][ퟺ:D(_n YksKo-õT4R}0uAPY_*-\75|,_q1P<(4mNRYgxiF!AmR4[O&r#Rfuj5_ kbRx+<<l_*7-<7 {E֥O[j['n3 A(R&3?_ FGgEd-0C7ki*n$G߷ ?pْ\qfmz1*?V<Jcp-|1z>sNrvX7~͚-|6'(tUbE";̮Z{5O\]RĖ'3vJ;yjOɤĹ{'BkaV-ki7",g+n||S]drTd;d߱˴ȋhWpQJ-l~Cgck;إZoc zxjmkC.G ~d:raS.b,ֿ/H|]gk,#8#A؋`N`Mék >26:aA'& ]7 ܉5buOtAyȈMWc!`pn$BNb$Df{3;rSVM,Sb5g&IEj0|;!H (gp $b ͙`9`|<*AqNfI܆*Uaa2_2Y j5"'l˼kݡ!u77H>BjNբl˧V{~jESLM2tXwԝjT-/C9+Bw񗛷D 7H|Ibg̈Ndr(pڑ鞺=(j=Ù$2 qJbHo%6LM 8 0V N 'iix{3/C^yP8걅Bdu2gZ#CaaRPxDmӘ2b\ Gv׋QIf5ַK[X̓|"i+|>W1䈄h-ɯ=MSyyܖ? vv%S%.(GBɶlNB;3 ABJ,sx[D+7@@R2}忹؎6TP6GXՑ ?}v|04Kiy&ۀ!AQ$=d m /1Y?ן~]k!^>#811aoHЧ%COIfFI'jK _A9uڱQϒDbo|9ܸ2$"8RݙLNU"&;F~8Dmo0GA un6}-s?IQ`gYZ P3W% MonoBoolTranAlgebraMonoBoolTranAlgebra.Assertion_Algebradocument.tex7zXZִF! ]A-MՋhvG"uIBm5xfګqK4|j0ѩc~OkEt#M;v@A~xD$<7c]+F061^(SϛBO$d"ca5dD{6`!4ɵYBU1;^ͩ!螨h8xM4yl // hd g.}ӥµ-}I"cu\*IyT:~+>UɂB%`)CSTfxBo_v iG5]ƄL?K<t/?lFȽ({ynbG>VҹW7ge*їX!3 uSVn"Ѩ\0;y(iI_ӻQF2CAk9UB7뭞/uǕTEFkf[7˒##S$ڍ{0U}{$4pJ nKSMڠ'o[^Og!E:c]KY#'hqpG]S>ۃ}{Z}1Y-;=RJ%ɬ9crqk/] YRȡ.th2Y*I@Uڎ3*D(~^POCx,nH|zTUi3NY&R ɍ[V7U -T[.ѿe*9JP:D`4b|]GAI#Y2y0Ɗ36WЃOioFo"͏k=OPl9mGTlʛu`V@&Wgm|o$z=q1?9@9R\)~csB_SSqHW781DGb/>Tq㮬Hg"s/nx$IHmNa/OQ _qWly>MԐl~W`a 6x2b BYydf?hKG?^8fK8#/O! YD2+wY w.7:5P.[ kp8"4E޴惥xjϝ<| \3_Ł\"5nbR+3+Bſf7M@T#? hL-`K@{28Np_ :8٢58"B)EW(Ш0Q@i׀.Ϙ&KzIw#d^n K/@Mr*PA73nXͰIaFQ04AӻD}qyiOeIa%2bW#6 fJc-!8 ހYg^S<+d"n0uPeWfHKnˤk:O@:`.Y1X,$! &w$PZLaa eK+;uhpB9_PCIb)ʛ?&d LL<'1C-wfxkOq[fT C2UmUgwG*^'m'~b(z|FsI%7:Jc,*6#-y^+}%(qRE<0`b-p(yD/h~.hw׮/؟v IfHl%Oo_1r65]H2ysv3JymWI&i@Xn5d;41.D#URi_N'8c8fqHAa.cW2i`ș{czܦV MEI횺[!gf#^7a {-u5l>NUap3DiO1eJ8 "X}fvv]kؗ- %e6s?CU+u]SÎI`{g3yACx&͢iAc\e.4R6rĊ {D;uzzHSyVބw1N'>΅ҝȪtdN6Q`x V_CpDU Um]3<.4%XMRȔ h ݵ^:nm.~%%mg^꺒j>Sj ITV!|$mǚg dUk8i=bpw$("|%sDA:6½ 5Q/ŏYg( m;ĀMUjO7SݵG`G,]cq-" O %=^ERn~2W ^}OVcUcCѧW5ӾqCx P/` aH+8s+ׄEwȤ<;N $ .|j6crJ1EMP8Gg=U,T$+L'taZ7q)T Rdr9 %`כ3R1HIGgxhᕥ#< n߰f`tW6H9߲adLچpbV ٻ8;.2~r ~4Kqul--OOGVhz[˙5,e Z(7/$N++&jc* $9v\x _jP'6?AƩhNL놻zY">EQI)Ǿ4A WiOS`nuV:p')"*{x6ٶp=Ό.@f2x!͕ua㶜vNr+ +I:=0k@'XRRw d`lG㧓 E|].*W84Mf.gRy|4~$7+<ZB"x`\rF]iD|4MѶ|n锆,CQF\`,uvr[sf  :Leb'4Ţ  p،0h, <4=zviV Sj{C6*0{x/gќN4XqxG[VƂY0_e?sFEhnb*0 GϷi %XZT2_'ӷL+Acu_?0׃ |׎nD ?Q-*8b{q"|Ɩ}y)hkC e]^ӱ@ m]ڎu %ZuҳvAz 2ћ =4VVNaa&Jc,ڙDHa}Ev0wŪD}(rVq^NwS^"Le5Uf" 'Y`U|~TnM&‡ d#ܔAKC!ܕ:۵4na"%7CS!\=E\Lzx<=8N):wJli'>χD%j yHIdڇ$ Z.jqz6cեYb]G`["cV? wTz e(<Aٷ;H)24_"&2MNUQw)2mZo  'cD$S[Dxs4hwUxM}vF}cJj/a0zv.02=TnQ*> ֡Ia[zgV(%ޡ5ʴ5$ 6$뎠o'"ۊh~Avq +dOӬ{S,wh%-Jw_}W\C.&yl Do_ߥ)\sX>IG/ތy[~ #EPeiI{Z^>Xébf8; #+zr޷v/_<,Ih Ƹ\hɗ2s/ԗ>!BQ Ї-hı_FyA#FS29|jCw~~c\O.01gᭊȎi.1{+#)cō;0oB :aHU. V?!+G2γ79`qZ|ˎpv[89_\!/=^0Lb 0('iՅc8OKjfI#6\LSap4.G/bslq?7 ZcqjXA+mSm'N9DT3$yK&4ÓN`]818 D8#f _3`+ GSFw(B_$;7dzuy"'dLo}]QgľGڸQ#0Xv7 rP{\,&T=14Io~N%Ɓ֖b^*OMx՚6 gI 4kGաEgz0R5JWNOå ΰݵ?!`08\y=c  ?APU8 D1{W-:bsl0T*L\ !9<ɴ}h?ﳣ&# E5, BlpbQ̑E c=4n߹'z83@csJh;?@_x .bCDv׮vmFFEPW6Ę\ fX{ȑVwWhwa:ȏT:ý Sj)IZkΉ$Ug1që)#*ՙSm[̆IvK񀻤ֳs1 vxDǔ*= л',ÑSpOiy[I6w~ &i}-Y9@2X#?k%OUDA0JRih(^% Ux#FVS)ku’6\|}p'\ʢ?J第WLATH>'W~~)Wɮd?Nk.aCUd0oCrjUI5{<5AzH]_$}(ŤpQ-(6!u̾Ujl' 6kf8HW<YK&R`1zefzްOd0@xJ$#"dBXRg~Dѯ#96goS^CMOOԑvtgi^7Sȑ(k%Z-牱x_)OodοǹB]ƟOwd;_O^ &9g$4<@lfUI5J\gYZm{g\K6G{L6(@G=S|IvmBn Y@ Nr {EdԬ7ۍ/gq<6"̮]&Y_zZ 9H sSNڒ%42=jF\i'nd3ƝqoY rR]m# gT^bS%ͩ|LP[l6u j~n-/54Vݑtɬe4f\9dNӑ6 Ғ1yxYЀG}r@[t”7x.z'YG I{{ZXܼH]~N6cHcjZ([EXⓣ¢XXS}$jR"DXJH'dkv'|EmW?գ.)b ς>]T%zx<$ f)Vr\FU-eө2![q{ΗQݪGBS!(t9L ҨmXЉg:[P[~ʃ|Z$LO]kA쏢/O%cd%̿W/Y =V|7q%ʱbQu0<f~(>Hwx Rc]ܜ¾rk n:Wq$Mi?fW$"x{Ox1n rVQZYBMzfh&οg:&3)K>iu؝|0&y|_eQT!7Q uH8?6!50"3rwO2YàOOo4dx](\`omqq8)EZgr*gaܚ#4+%fELLlê\f>m΅Uj sIʂk'fRs.{q&*-^ZZ5=\?;FnwHjJzް3ГݟVcm/Ōh¹ycg[`3˴NZB6BѤ&j?8BUU!YvX=|x ٰi7.5a*p 3!Dgs%QQ4B8=)"ZÊmSpG@%kRe u1ZyڈE#O5ia[aXnzg`E[s0:yH$zV\]&">s|h1r^CI=謔T ȝ`_Vghc fmˆ7} 2hR$ ;Eч!9 -4Ȟ #xL>@=ZB>)2_pEDb4pnre),^d<`ZVw-”e_GYnL*(h^ּ!2 [motRǤNk³~4ׄ&ƱVYR$OWAK|M/=#٧2:CbڛWxm1g@?[˳253g!Q ,_Lr66e7Ca߫I iߓR~ <m KÍs\B]` ߞihu1nC,A1gǸ6XPQIZe Мj}[2Kv 34ľEH **@^ȟ9kq(R]nM^\p3ZvEVHt8삮bYYԩ_ ju2W]5E;F K;9>WxX51?#7\BuH-{G%a3<[j9,ZT8ELxK{ d¬[Y>cj6O ZD q^<ڴ>\Dvlϓ{!JB;a|mco5b |8CW []=KGd``7a &@ǢBMB ,eك}EC6V#]."ǨыVw{'jnH5ǐ;3,r^Pi|) "p~7cͱÖ~*vؐۘ)GC4,P,*&A*n{gf&EtW/%2ɩ;8",t+3̋RmLw.{.9sH[ƀtG¯\]ʀ>7v@$<jY oѕl`kp52oGqA&^nVㄧ}bB5Harbvf3 xG#/ :iv]}L8v^%_ N^RwѠ >|DԊ [{f}J|`v1II?*F$*W0Jx/(ܤ*dvYEV@Hu>Дi] b ; Fzn/vW.J>f Nl@`ncf; <<~U.AD&M IUv{b t+Q7)Ћ25iGH$σ jR!s-#Z^]9}T&Ax‚2-d#Ttoa8K_6@pG*ZE }iZ'K>r&rW.a'O,&/S;ϼIAJV6#]nʑˑ/51Eĩ-.@,spzl` ,NG3}F-MER`) 2|;ߝ0x|Y E̛suQw@  wAT5maSyc[)̈́ݚhH0OȺ6BgϣoG089{QqPI훰;oWUnyဌ?2}s:j [USs[əslu 4sV~ k8,P}K?mF0t/F~}n ]]gn,Rn:~~ WRwpQ᚛,YDŽzM`nMPŐe;r#*e5@[Q{>z܊,Z]cwaBo)J7\8<|୬7'vn\O]' $ PQW6́;Y-3 -BuڐCwV5oC WT5P\Mc9kl)FqDTy<`!w;&R碣@WL(J-AN a22FmV|L3&<-uĜye_L>tR4H QEAePƛ~9p̙n׾?0IpVGټ}>EʑDnsIU;%8uX5WWhL?Y6Aɩ?l,{#) ]n/(-Ts{mN+"zxd䠚HwQn.(s0qiI\9ޏ·+'$5hdܝ/#uLAРZ2ߦ{%pI͗SCMe1PGGW^w~[YC WMGi[;F /AN2#M%@%^Omu ?L/N1S @몐 h(y:dZvAm=>tS$qip$N&W Pp99aS}*pf% Ӯ¡hgO$ձ5Hӳ)% ǁ KMBYu8 T@b`fq$zZ?rH,VʓˊJF.nm;ˠtv 걧MZS^ >Tll>B<7`ǽsf5C&ª,lX=ꖰ@ L&lֻtKͲUiW4[zr@Xo22J'"{Kd,~`iRГ@?7튐/,\z8RvYOkY6[F! ZChjwa#]5PgfRr^A`KqNf(-ͼ7!*3W~%ZtשYSOdqḘ nwkp`u %!oh[۞yz%gqPOPk,fM08isKrVN9u خŠf%䫢;C? p/z4JxMx}D;&/"و{ _х; ɿ0ܪOMNP8nWFG]C:%n@NS go^ OT'rebB1z4^FZjKA~z"5H3Zz 8N;V&mWAӎXa#os>ޔ٦ r:Ҥ#n;;FNa w"wPpKmN T$O\(b?]VE@7JK؜~sM-9~9 Epaws鴓m@\c l!Y;nd7Q Tu滮" : 9=q~r+A's}++u2];\KKLO?8Ǜ'pAS&Jޟ޸=͂v%C>3 Y'`&}QZèWIyEWs+2"֩R4SvE?iMغN*ZUJFv7\Ð:>,W$Jش8h:O>aKi !DR~!bliCtICA(@$D7{$ӓw]($hVNimXP0q1bnefEĔ\glp>]r?0Z76%ܗR\5MSSs&;c3AK@G=UEiU=u^ʞXL41+ٷ '7|ekڇ(wy&::EYcH(Ng4qص<Ɲ39fgL9XJ0$ʘEzuV@P*%6ܮ`+Uήar-\aN1TʼL#Rzsr7` AzNܫف;3 rZ6 H|i )0v:S)F\$ֳdd)tyaE1^nۜ:cqS~Ə*`ؤfG:SKꫳ]N l% ]t ݼio,$@gSnHuuj_Fu):eٻ~pm5ّ~뷹2B+P 51!nĢ'yj%PRݘ| f];fQr4$ ˊB96[eEMd#^Q=bI$\;0?paE(ֳJT$$"Bq6V5: TLf5j } 23݂_7-b4Z7}zvf61Y8 &?J]K(Xq^aLA:`Tīx0oiݢ=bOO/l迾tiX\>k;:CDW_._h @Z4g] pݰ]Sa:c!mX 6nϷlJ_HnhR;~A]I ְ#iߘe@􊲁 F3N/ 1ZX۝>:,N[2,Ĩ6#khK"lXwVM5rpe+ /RJDtYdJ/ؘnk,H. -d{aQxeVTULGH*Z~+e;T+d+5'<#'ys7w|w}b@8}x7Ao.>FWn'%|秊4lWiz$^| k^1'ɘÖjGK#==6xŽ'-F\cՃ8-4\m(W3t&4f|GSl(GQ>J:,shme8@qp.ݱ퟉CP'nf^lwcѢmu|Tl bB c< /&FpR9i&Z{~- -L(xuP whC5RX8ofqǷEWL%5rprs͵>R4h-MPn>*/$M$^&k-ڟHFX1ж!/C`5I ЊUZ}qL*xujIRI|#TBAhJiTtv)ÆNZFZllk$↎= o*p_ sew;Z [ygQok 6DC8+ ۣ݄ʌ : 7xZ b7o0W45P:z EQ锖822u9s!k7Zt^eNiY7wE`g3bXvo^W0 ZhDs&t{u <$7h`<\]S?pjl^L=?0nɬMZGM4KӲv=4F5T9n^Dm$ks4w^oRlJB x&a|-oMltZB3.,?#4,[4Q_͜jfoXYP " dgåz,$T) [b?;sy :^ ʪ" mY 2&t1[P#Tb3I]oG=ͯպ} !ZFlG`2XK]4n|maY+DFoJ#u~8lB~8:F Gy 3z\%mrqw^+ }qlWOU% ]tۿ^2.4r&Z_ߪK2ԶH=N K'Z?Lz3arBYWMIɯv>wa: b}^ب$ҁksSk^L#4]o {f8h>H6XMM駘1Su.>\@F8=BRFOKn?waH+'+DCEƸSnߛR4,oBkXY56_ULH Jwcܞsq*lD4j|~N?zdA5h|,Q"Qmn8¥ 5**aoŗLggG]Th?~Ӻ UZlX}}"=269C2ҢclE]ȷ֚'4DSx%p8N=r7m`HDq!tK~ˎGP?Zab_Ĝ,cK/9Kc? tЅ{֚SV O;ӿxmhw{ۢ.*QеC:~[00kͩt(y1sE C9K#I&_ֽ(.bK&aDmH7Z<TAr3()rP{&D 6om~ 3G2v40Ye =,tM}gE<&MB¨v킂2S*>8(0o4l@LG[wG-Q# aӊFFJx'w3ГUD\4,q2;ٗ{a3#^شe=4X0D,9l;ϝ܏1kUV~״g?qvHnb-R%|lӅfTy$7 7G"Ei2 J0vUpve,  ieobJTC#6f OVߖ.YUݍ:vNg;.ìs>PߕM G?IvڦP)6(ojCEz|NRGPl*?gD ) {y?,~Ti!c 7w4ގ$= 8:d?sP"Scijؓ˿U$Ln2(W]~ -Vth +~vI[*$-!/N뫠!6127|<<2&IS|6Hojq)=Rh-+f+j