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 x$ T] Category3:7zXZִF! g|]ŗXf1-/6vRZy_^&ZT'8fBcm$7ZL3 Z~B#+P#~!lKѷr@h$+)ƦE^LjÖne?|g*vL@D+JF.P@]@,u?eRS6DZ]=Sʉ2msoqEN.RnE02-PJj / M~-'GЖ]Ojzހ9E O"+$@!d51_f耞9E}2Rɿ䴠DYI8{J*K)ᢸwNOY :ՂžJ@CWNS.8{v\P`g6SԒR-r? 0BWBKcP8^0C ͱgYZ7zXZִF! |]ŗXiɟy>Zr!6JwSwόm@qTDWiݱgYZ7zXZִF!  ]ŗXi%;C|4{+׉ @a }?xHn<`¾MABN=c[v/ş&6?n1~8Uac,PKG̷w3G}6!FGmV!$+āH0W : zd?wۛ|^.v;lf|9Y>J3Dx7FumG(iIbj݂5}َ^qҺ$L^m.d;·PG6ZKdꡯP h9L5{ʲYnPv-"Xu$=Y^>,JBݫte,.es2 ,c]yX8$f:Ʊ΅FA*,ɂ4G2Lfh1R_o;nM25 bMWȋO{ 4i%k]ƿiMA R؛neIeT({?ErxVw@B Z P˼B VGg!~Na;S\1\_] We]x%oOu-A`2cJ& ;ںa_URH,;NƞOc& @!xH8ؕ(\QFWt[=A/kA\a;Hh!|F7&H*NL]eG\˴t_a1v]|2˫)\"3A #O_ڦY2|/ )3e\ Ҧ^;J˦*51bx_`oz^ub )uk0Jd~@oyM#̚nNԸ[h\ʄ8Y`LUSL爝qTBv숮M%k[e)\i 6d.]qþż՜H p JaMS9.վ'ZcԘlW@x(FUHDJDhï)X#U:J> ]k֘w ZǺxMv!vG:F`n8*o'-YG՝Rm3Po2Č P:Ew_=nmLsU7{;h`~F#9l DQi'R=9M>${ʥo7l#(_/⹯VR Y @$ V[q}m- 1_)cO n>cg>n`Yߥ|)@$<->aҝ"m"4Dy/TACY>r'Iť!vU"xb\-FY=yC,Io{ΐ;4n00u?BFV0Ebp9KJ:Z1G{w27$pIF)$HVA">Ub X{@,"%ܤ'hoJJC lJ§VOYL|<ݡ KaӾ^QȬq ^g-xq~ Ò ̜h/-%G7 vX[T,QvКt;&V%L әɑ#TJDZX^WEJ ,y3ڟV6|cegUgzoA erBţi%,C`ߡ&b'A~Brf\s96ZCHXi(U_cmЋNj΃uK352u%W8BIWDg't"O{UAm7aN$h|1gYZ7zXZִF! ]ŗͷƷ͓ACIYK9ڳ~[Jq؅fJ(d;.;R鵿 TV=SPs ВP5ev\^*i.LhL!r̫v]g[ B,PnZ+>%ݹz*/BQ'Sם>qqܸu1 ̚7zb*p+C{ RY7myFzyT2:ÖSw Q85H,\Gdrƈ9[suQO& ,a‰b\b~`> ' PgYZ8887ea4b9d7600741a1978e592e1ffafb2f74e8b1cdfa493abc57ab9691669c8109d13bf20bc65c6 6f974f3708387dcf61ccb15ff92a91ea3a0c06d1 7f5276c8f7320107fbfc218749c1697680e00e9f   Category3 9% ,Category3Category3.FreeCategorydocument.tex7zXZִF! &6]A-MՋhvG"uIBm5oy㶝P7"r?v5vQJK<8c]f-d$1ŜCEAln9.$ri>&_&B/=4 nn^!ڨa$ǃ QH &33~ uڪ;@B{ī! #{b+Ӓ 3!": f'aV\Ɯl5,tԀlM R- 8'R"q%  S3tFW P4 .0,i$LSՓ e:7яKY*y#gB5zR@axɜߧ+R{mON5Ԭӗ3ke9~I ކKFN*YbZPI_'^%ʱOGcbM Mi49Xɕ"9r\¨&׆C֎"S{. tA )}U.4<@mC==7]=U@ 'mka5 C?',`n*XWs̷>6N)}J=Ƽ/pl>p>IAn.!„_T =؈L+ /dkEwYVgPKxC=3`5}saL*Uq[|!D2{[j?x=e W"綹}]{}Ԧ8,zW`_ӡtA+-Dԕ{=h%7oW%|tӻr7 v5"O[Pvš~26l|.kx̋xwFu@\hk^x^ OGh>32xUDt_+j8#b#auX eVR; +˕+LNo3đ}NʾZ (AF 1J;`R*"u;Yt2#ES #|iN`4o@+ bC8\ZoS-! ~͓+#&gKv c/y7DE1G{9G    a/-1%Category3Category3.Categorydocument.tex19%Category3Category3.DualCategorydocument.tex5A%Category3Category3.DiscreteCategorydocument.tex7E%Category3Category3.AbstractedCategorydocument.tex09% Category3Category3.FreeCategorydocument.texϰ!Њzo}_KR]>WI]CZ6|îHkT8'?p$k5q}Q6>}61\Yis<9>ҿ&4%N;!F#Tlܨq@Vk`Hhԯ+lb#t*=B-V\$ytrb-gA?bGW`2]0 lrqMo,?4P cgt!Yvh,z&fn jQ2Fӽ@7W,9 "|åCqQ|-{:?M_Ɛ ͔SP}<`}_ENxBc~Zu\/Ar,Ⱦh݋np@H&aFSU o5ϗA어 K U_>pk#s7"4^ހSt%/aJGd_2ɮH*9 v/Z&זHd.#oǩ JAPXJza | ֓7kV?LiU)~￳bɖP!%^9.Σ/NɄtX⽂-Laj5KsOC>x NR[AB4V<Ni]PO,вc5vKs߄҇ij㚭#ڏtE4Fl#Z$d%r3įDU] >ӄ/lԗx-mOuKp91/ωu좌+oO]0U)lbECAõ4aJV|u7P-b ƃO.Y`8 mygCFx(Î!ߚu;b!Hu?^ͽg8QƵ1T}6Y;@gZQ|`KwL[qzIdqB!8ʬ6E{KNs~؈n ;01oA'1@^:v]!m'[=7rα2l8%;h)!]>+⿵ p'2K3.$8yɝmUe[,`_]&QtaiOR3"XQlmBAY4N"_#Bs1ba!(;c:}A SLv>uzr-S0ͮ';*]]\+q4p&(j{,v9' j&X)ؐ Qgj7 ˭ʀx'pf;.PHgVHLyt &8sbgHt- %N1|"hA;ɯhBf7Dɞ`;SZQy}U" ~W( a.oŋ0qt7.L Rmڛ˒Ϊ|EnO aBⰼNLv/ٔ@Kw S7;7= nGAp>RLy_&f7\VL1ߦ&$%9}cx IwX9u4o Fo ~*dA'+kJ*$֦OxF{C7vz6Z\j8 uɟBYe=/S伡O+߬ffC[%h7$ݩgt|{H#E,ꊿ)­Ԝh=A'! 1v4^Z;+3bxAZ7u!( 1EiR6$VV^M+aQ)3!U`Eq XnUBL~qfnbٮ=1@$u[̄)X`Z1,6/qs- 259yK|oDKԌ=m~A{d=ت RDxZ!"eӨ*Z4Ksd %dA[ə;5GL9H8 2!GY5/|arp(_B.zJVV%=hgW0 L8i27fJ~UmجS7kԾ )ugw/`SS= l,aVh瀬02G#(w\-=dR'h6[3Jq% կl'{@ 6k^ՙ gXV}0Bf7M&aYLޏS,r>Rfrp jX4"&(n0fxWB׷Q^B2:,3HƦug _[Ql]*JZPnYtQsҋkŋ߭ R/ d3|=nF0sh# hM[k|/}q2;Yrل- C0:z|FKfPa l75_[ϗ\ ̹'K !gv`0a!O]~HN cBfr< "F;/`])2\K^I 2 A"I[beƬz)p["'v6't`Ժi`vQLG8`unE߇5c0܀75>3!Yjgs<R7~ /"a{U!BjyĄ3;+j~; ]Onx #G˗ rH VY _$CXKSm?>v[J$bcS$ג6Zͪҭ ;QLU/ 6ȟ  *Hiz 8kp4޴8W`\Tqx9 W.RqĎbI)wuPyֆ} ROsx> }~@+KFJ5֧Vjx_gYK2AlP =wb$ϖh&7c'%Ϳx`GOM6l4橽6; `kh >sfrSig|KDB/c &2( ] W 88ڿֶTy. %O"z.Am.K;1`WA ۾Kg5. w8,\Mݺ~²?ICKR`@ 0C 0dEI߇7HKt1MW_9utj30~1֛.&r^'çSR-^i䛯h8%m#~ˈ^'/H53r\D5)nN Ca! };4 kzHپ=W䋱NPֺ^c:_黨wCZ*I0udI'_-C%e-+ :k3W"S!'/Hj> 1s9bAJ _zb+;$t KCʹjO`cz1^H"${{"#ɠ)Lb?ar-rEq9IvB;dCÙ1Pɾ^Bٝ?{1+#{y~xx)HYhyud.:7e? 9Y((ҿ0aSEW#vDx.gJA~ϯ0 dz^3\?{muvjKǛ:c-zURgش` Hp.ez2T4*+Eog (W x7q:jj|s*fBe,Z%a| =Н3k\&:y ,Oy넰@`Tr߸͉cVzνh=xn 1[Ԓ9oh(L.,H1K}8K0Ÿ3xzEHUUO.0R˅C@"={p-'hSҡ(3n*_Dw/Pk5@\9謻6~4òVbO:9Z UMXf(ݩ0v!¥Kƀ~jfDBlj*ĖMҢ+A`۽fqB貃>hC<ߵڒӄlf8/JGdduBqah-"1 Il[2g@dFEQW=Q?au~*jIYr!20?HCP6~^g+N4SDž 怽Ma *eeVH}[gypLӒloG98V&=k1y))s݈ ¨"b3X<Cӂ: \`V|۪*:`8-;DTi :Mm@`g[L‘j|@+zYq<=x& mJ9,q+|,btu&{+۪U sz# ЖWYRzɲ+GK*<&? p;CC^X=jLB"$ppd19"^mkVUߎ'Kun!U#C:X5.oK[Ӥ=^@>6eaKGakG%LRu )Vkۮj/O$FmwM,ʆT0l7͙o m@~))ᨢ?r$"UoCԮa!fa{?IBW+3HQcZ!̩p*lo8h>Wr^M'#I4\g25=əa.ty~ٯf"Tȸ E 'Y;R&/EE2Xh}u-ĨHgVi/"ed Co^9uczVhahݬJۀn_FK{42K/ ӋK AlefE:K~Y9O ݈ڠ d2G/j8oA>H~-/)l9[$yjYd%vkh`KX܄UN!y:6%xytZᯧ௿П:[$WdyUu 8 OAbcDF{ޓ^ゲDP( Xrj% SˢJ^q ^i<Iku8׿|a2wYG9,E~pZ^}J4vu2,li̲_2a/.\0bp`U}Ij)]a|,m?wG4`QӍ[9“[^98CʽVBkEA/U}=//d[/CmuHkh_8`;ߟ(@Us~3%1]ҟz"M X'˛~otqnmj䭵M[2]P37e_ .ƼyjRVJ_3 / V) })vV=]eEM i-@-"0nU~gG)%I t#1غu$]H.Mj`Fq9L[`·k9D|'&[i w JfU86TɂR$/IGdv%,< Qb$!_u /j2d \OK=aJ>3x۫[^Je= Zl[Ō욄8 D rd6yQ绫B'ۣVq3į([:A eH#z{[|BC*X4:.4 otǟh^%IF@7Զ3AQ M TakzO:0 16du{ a|>d=5Rd b5fgq㰹qT'}w?|z־NP!eckT3 %o]=O14 *ZEe2_rBNEoL+UM'b5({%:G4&mW=ZU~OMrzSu!=:עU~KsoK1(> 8,[L'\ 0*EGJjhx<]E!w sHz>ܸWW> :/agODgf7Є--1stI} QԳt#3t%3ŋjLW7hgǎy}wj3AMPP% g0Ə ,Y:PJe1/[3^ofwۋ ^cr\)?t("Ue%'G(n>UA#l<K7:mxDـ#ҷCIdoH;Y#Fhb(n{sCs.ݑq!C1_K i[f7,uf#7.SpAxv$GMXG4w*,{>'BuqDxw$z?Vv4T"DC 5梲x)O4B ~Nq,vMPrb6Ґ~cFPĪE'B c`ɒ޾<ߣ{*t9 IR_ u4z-%_rigjԈ<"@sҼ 9ؐ L} TtL=T x4`*Dd?=O!Qruwn-G Ɏ\L ~Qh̀38q 1O%%HuSas&@*؄; ɚ%CU%Lf\Xv|G%Ձ!YkĊ=ׁamX2)M$oIo?~%i>4=ˎHK8-$*$]q [ٛ" vz{[%vZ$7D00Lݳ$$aVUAm#! Ѩ؀yٚJM&c P!DpQf,^] o>u?"OX<~Z 5[̌d#C!tteZM}KFOO0BMˀ%5)UEC$=[Co¸kڙamSR~I:loxO ۄ3*PQj1H"d{N8*|W:ZWvWd ,8M.7icS "H8d}V>="-Wb> = cyq+.$׼[TVcI^ uo#M#y:\ǒ߹~$VyǢ`j\9h!fK+%~Ď|z*Aǫ>¯G]k;k-1X^[:MSnC^Bڳsq ⥍fl lgYZ  j j9% ,Category3Category3.FreeCategorydocument.tex7zXZִF! &6]A-MՋhvG"uIBm5oy㶝P7"r?v5vQJK<8c]f-d$1ŜCEAln9.$ri>&_&B/=4 nn^!ڨa$ǃ QH &33~ uڪ;@B{ī! #{b+Ӓ 3!": f'aV\Ɯl5,tԀlM R- 8'R"q%  S3tFW P4 .0,i$LSՓ e:7яKY*y#gB5zR@axɜߧ+R{mON5Ԭӗ3ke9~I ކKFN*YbZPI_'^%ʱOGcbM Mi49Xɕ"9r\¨&׆C֎"S{. tA )}U.4<@mC==7]=U@ 'mka5 C?',`n*XWs̷>6N)}J=Ƽ/pl>p>IAn.!„_T =؈L+ /dkEwYVgPKxC=3`5}saL*Uq[|!D2{[j?x=e W"綹}]{}Ԧ8,zW`_ӡtA+-Dԕ{=h%7oW%|tӻr7 v5"O[Pvš~26l|.kx̋xwFu@\hk^x^ OGh>32xUDt_+j8#b#auX eVR; +˕+LNo3đ}NʾZ (AF 1J;`R*"u;Yt2#ES #|iN`4o@+ bC8\ZoS-! ~͓+#&gKv c/y7DE1G{9G _e# EE8E% Category3Category3.AbstractedCategorydocument.tex7zXZִF! E =]A-MՋhvG"uIBm5y/@"tĮZMk?*{L4gAwrLP7l`d -,\ze)Pn/0,)6voP~*.ua#թc R#-Wgg w2㢏%ƓJ0rDgAZexC۟BU `f c-h瀔NaOO 2`{zjkXuzܫy-1ǦQW lt/N&`P,p f}O+o<ܹR04 a ,G#iBl1Mz)b]u?0wѫѫ/, r>Q@8=: 7HN5?\ŝՋ=봏pͼxCFˇ -KTC=;% %[)*iVךzE/9>wk\~ L,3%#,|iS>pQZ/UjBnSP ̮Uʋ:"ٌ) U6ks4~~ 7g>i9܂H"wyNZ9.'ML̄Phs1gIXyUvb7 BcP,mzU,∹%a3K|#r6d,6apdnGy,jCf^tɦkUa";<<!uAk%ߑi6kD;i {u6~…{4yprߏﺩe%ʦ@&;fj ̿hPTЗvk}J![UCl>C)*4v3b]|[U^L᳾T ԢZrC1yÕyTg29)*B3vlhSù0BAbDa$54Xk\Tz۔q1֕kzQ&CmImtnMV 懿#.0n$'H#DCoI͞dY̓Kҝc3Va&PVSRP࡚@) ~x6#kHjQߞ4\i~q$S3â}9fkX'Qqflͦ?3.J%A]1&~/4ɮteW4my|Ijk4˦U4MADsQ%PDu@GI|sv/'X-5joǏlڧP5RħWJ#C@G*u9SOAݽ[|+b"83 T[-JhXb3SL˟낰("f3 V><ϭA6r)T@L0[3]gB%x$TmP^Yl'K}sC^Gns%iIy{٢,d{D^Fh#qEì4ehv¤Α(וa ע!fM(Tyږ+vh,bӞ{P[ӱ簻DI$#V,D"ģ{AUBcn!ijQ}ӊAj+{B\m.qs!p K`|Es xqGx/P[KMmz8>T¶j6˟Tmyl>a'"oىfRI,ND =󠫞)xL'Ҕ:N y *2Su9ƴ+eQ죁:\q>DC(S :sU્8ph>0{- }^gwLPN ω!Nv"\.9lfGgD*U.u(4l;͔ }@]B, ̢ɀSi3,b j6IMk2Vtx7 * )_Dψ򴔫Xڣ)d8_ ȕ U[RȚ4r+DOs(i< *S3j>O!0gF0p#͍nlg On#H9}e( mmt cx9w-lXf5ƓevHP-uF8n enْ o Y7CLB YT LDM4jt Aqduӟ>M';!aP/$E,NgWQZv6?inN%-@8MR3~YpЫ"Osf]ٙ/RU@V8 <jq8 wby RS}s˵2|%,V}V:Yiz(ny>-wb_$27L%w;cv 8S`/4]ԺPPг'kv-S8*:r!_KPЭ 䫇;k22lO-iٸQ Ç6}+Dij;}[!IQn`;S,a;P&8,g$VZ<|NB0ߒPa晴q8 ‘/"F.K>E7X9- >6u $e5ƛp8 l᱅F]70x\CW[vvjM^ 6%j|dܞS>CYx5ܯMUف /K|iX`J}$ D☺)O3r/܌l02 ٽ!R6k/ 3QA \THDlV\c8ޯX^+C }CZ]~YXT !HT{Ɋi_fۉQkNR\#b^Q^k'jvgndޝmܘAτ%,~e(@:/@?}|,-`KPw %hKRx?̏! *GKp^z$XaHKL`=vV>ܻ΅쬆u*jJ#Q͕Vwsj6sLIg |c):jTH-5:{M퍆,6=%v$1ofe$&`)MܧLZ5~, V$Kqpc|4סs.Ё(;vAu"`XU¸ڸ G!Wp_ཹꆞoo[=I׫5@${Yxr7u4_ΰzTCPFXd WHֲt~x sU/l pf 0c,]aܥ@\ڬ6S{2x[+r C{p֣|4@!Rj,ґfx6BjWYi%O?p܊G:={xŇ<.&63YyN大bϻ63=-f|Xp~(fO]1]8ȶ{~x!7S5;缧T3o !WR k~< SB=Eo1b/  %hU,C8Qc -|بFB\}P̓Vz(bN61e=e"x @uWlEܭ0`L?MoL09ҜvS̀gYZ 7'71% dCategory3Category3.Categorydocument.tex7zXZִF! 0]A-MՋhvG"uIBm5 1\s_v8|XCsMT :`T=I7^~2`=݉DyK B69qM{&%,KC]xLTgSvcx)Ru`7f E gP1*>juwoc`2*'ѼUаclN9o4-S6o8ITly3 W}KIT2R])mJcHt.q_b}ҩjDGwF3`rz8c_Wb)U4V"^ݫ%M{ਤG*b06^ & f5$6 HxHdU}ƎfՄfբLr_nQ܌M^ V9% TCategory3Category3.DualCategorydocument.tex7zXZִF! 5b]A-MՋhvG"uIBm5ޮl=U~vub ;N"N^F Hn >A/-dfp{@>e6>E3C M:WjiKӦY>-\;eҞL059ϰ(J[M=*% }}!CH$HyWͲcy )XBB5rKSu=fӀ{r݄'s%ѓЙOB;Yw,A x<p1gK.ˑ)9sM(Av !݊PIL[b#-͖q{^SirgXz$[tME?Q׹ZօRwd>@9ȸq!'[P;SR\&/q '2CŴ %&TvŃ^,QɩIZO77jBi&SbP;'6h&PRUz"*J3OA9$J8C aVŸ^p7i?'p:j "Cw6h+;-AX$Žg{d̅kܧ=}߁ĊsHu$P"}_Uȴ.ƧnE@;3z"R72րQ > ƿk{fZ//s%%fh] iy0~kXxaTnKqb'u )rg٨f۫P*$ۭq=*=@Q &= mt| Ү <{;$ "N -z HNS_XM%!:IKb!T+ې3_.a2ƜȆr7Qp9ɡs:<1KB# T]m=aH_IFfv}ӱtOPa ՛{lTLbos)}TljNHafT*.r'HtRZl %p[yoÆrycߊ[K@zyTzo_nuٍ8[ᴇfypCIGaҗ*.y@,,~B%~~!{ܚNu:٭ f٩=s".8ZZ4Q_,XJ.7z ="'i՗{5BQR2AcG,]kx{h3+ni FpYrE1uB">p,m9J@ ܊!NBv=}aߥ,: z@-̓@8?G2IHqbk&ai:gk]0%)gcgg3,N}`j s ;WTy\D9?YZYosL !`)5ύ,=c~W,ρ@-] 7X'cC6 !ȼU TaFbkp*27BGBfQ¥vd,:=w*8 ^ԋrwcg-k!:*mQn0dCTuubu:ܯsf-C}߻rEMt v?s# 1kek?S:CD"(7Dՠʜ\K2k\ìH9q[{:J_kBnU$҉9-0,Ѐw?}d¬pYQRyA{/1]N,k4WύtExO͗s "tR6!tС$D"F ]=1sg]^@-T%u|#NެV.hw-I FʤeRD4ؽQҊ$LG1{(7d&z!Cy.{Z8x"+B%-!_I]e<C+neYXjވ 9ѯ냼p6oE>*2vBf_ǘI4t_&lYsNy=l: ]%,BAwV]K yNZu iੌsN*QR}"9j4嶿h38 Goy#Mӵ"tޱOc!%d񐼔+)t_Tj"Z&$s&oJM1kRF``$Pa,B;L[Dnu 䥌pSoHy_+HPJP]Q;l P|RqPNN# zj,a=F17ΰdٽq9DL0a"DˋaOSt !h?N$Ko#sp{n; EQ ISJMyŞ1t4\ڧ1aQpx#AG3 ߙξ{JAZhYPRy ZcW4.bF5еy]|L'< ;Q^36ڢ j-Ϝ],qHQӼt;Ұ剷pQF@s' O<kA "̈́;ASKnyXd>:9\?[6@$BJ[]5 ŭKw zur%=D@`@??`u>E:ocZڿ 7ي| t6 on$(GLϰhט4\A Q ?lGޚz;1Ɉ %(HN NcR?:DrX'>kM.c~{,dV9 {. ${pbykIdpڂ#Ȫ ߏ! ]Nյ4ϰ\b,E' |?d`֌%סa2mr(GjH:9{-eZZn迲L~nk.(gS}+Ҙ͒\llzP|wU%e7A<s+2kܙ젔T qd*%Jew-X*%-dg4]F ""KC˙Gڌ (,[|J2(g Qg_ĢnGApIg,v4:EZCx~k9k߶'x`*|r3'|}/ =䗧BB{8" nFN #DQCwCT0=` 3h| ̅& x00.ĺgCmf7Dk'$-l9{=eH>RMTyK Un"itl EnLKp)ϳQ(4LE`Ǫ@ԇJs_13j&@~"M Lm0q ,-|!{OJ }-nt 0eSИ!rE\J^A' 4Uc7y5dHTNV^ ٯL6J~HzVK6%~_w 獈݋4/]S,'>@iZQYR+ݳX^S^)YC!~̍ 0 ܰ|sH exjBMEqڊɆ͒o_p;~/i `#E vKKe&H(HZ\+z iȤshX_8P'GCXCtU ϖ!A6aK_%!~¼svƅ̴W#K!_Z/6zMO xΘS&u-Mj+35"sYRɷO?,ݪGկtewvoH*Ivx NY,OYcCt~Ӈ:S3*e@N̞m]Ȩ`%p* jGc7śy$h1KqmR2% Np4 c*4T󢉑?Y oZO ͪL"s\öX!5hC[ y3[SSX"I~JkU(dW> E]ӱvOULN "L97nrT}Qx .o_aEO^SY3;Cg jPsU(i+qRQ"NzS|W8][rz"&:Ȓ:24G9i,3ajۨUމGz>5UR~FTcAēBpY5]EpňlZ鍭;P\JoiiW9:3BF.nlmH%^x7&aϩ,,Ub@WRqҋMhAI; &A96"/bNA>I'Ot@6 G_ a6=.I\ؔ r ˀ9;zĔ&USbuϙi5:<߮"R9:jᝃ޹ Ƽ}+M̅fpS]r]䩱xqIR/?ä{ycMg)uĤ;Elmt0fOQ v<^|7vlZ_?{C{/T$$!U/Iߣ`ZrM߳= $R "l6pfH3MvbI ^:Bـ~-EI쀑v.&zHJ80!> AVMtgU&bRVaD};GF-B~Ujyst@!!@Y˫:@R(ޑeq msf6Q2kwha'*L|[UF+g #GI=J~rY;D`]aЃ*J9(>a܉&Y >xJw;QRg `X\22};J&`sLgR $NK1\VSΪWy*jCZcWG.qܵ~,@JkBnG=@(?bd9yZl瓿>D ?R8歯vmlǤgX;*eJI%{epDƿmPvN+ YE)P9'p~b j?Y2ިIw߫3ODo`6s;3p-+s*VɎgU:6ncJ_ұ|9>d^>U|jX% .)OSN%t#"ެwWbJo^6kF.U^i)_KL!Ic;-n=wZě۠_AI9A?$#ݞ= TOaY|ǻNuZh x>ʼnAAMe+VS`+V#rzG\J$/}:4ͥ9ASl3ɪ`OZ.s:G.rXR/ZvYrfL 'eUu~3dR-0] (PjDP$=F=NU t9!;9}Äf{w?PW>B)G9vpR~L7`]Y!-25),HVxn4iq&YtTJvf D sawPHYr.+iC}v~W݄njc5ĿȾjNI4B&wmK3"Z{`kpJtߨVjv(_B3nA.̴SJ-q=tPA[S2P5׺ԪɼyB-Y[dCNy;_J2ݺ/"ڍiu{xCڣV-:~x5hEj{,&N7PYcayG*zhs56Q76 LC s!=[R]W)# hq7V+zysoJm5QP*% ?D$֖%?>y栕 ,F9_ ctXF6} 6VCZ'vcj,.4B[ 8Iw r l<)4U@͒<DhLI+[*[M`:]A ׮w:J>w6?KG]g][ku/@sfɷ˄Zhc/„IYlsg5FN C(268"VtM[\G hvhMAs}dpf2-H:2 6* [SgCq?T/ b! <ɳ}J-t@a!҅\R_ѯ9y(ŻJ}V?6p$+N:9 )_q xݶpL妇K-N<=  "h! 쎱*1t|\SSOHUy'[3Vvd٘LX phXj!z;`&!%G"I+>9K]j76lfuU֏,m\wJo=!xRTEyuqݝ& )G]s<(Ą1$ӐU p*dyWC?ʷ|{,0DՈ`j:̦(pۑm- n_ydU7tFH+[te]|{SQ%8%!F, }‚Q5CSym@3ECE}>ec'R?QYC֓r{ײ Mְ3W3%"eŤGlBrlj!PBUٺl#T )3{p7+ƃPp`~R'#6!;(uz?&TBD!4S  rψ33 ͍V7[I$jWwj,*.7d [2 h9Nxk%ix{]%w={IDk^3 +a {XEޯI'#Es–A7Isg5qalp>F<3Zn CujCBUnO>n/pWRaE~C~)Lv;SS7E|k TEnfсt\(N: Mx}vEߴi>@] EW-aݙգAU(,` m0#hF`f]uwKG>) Ɯzܗ7i֗^m]En3(5>{?mbj7x.>YIEpRǛ7~MFmec rFƘ~(%9R+#V[3#sD(mS@{ IУFs ~F@u5"Q6xjg;0ȕvTMlv?-8h .xn AGo "r?]u.p*.zl觭kVeeѪw/RXkEgiA8l+qvR*Nja`6Z%qPxo)#-(DK(/K"~$dZ,oc2Ԇu0M' !ϲL94@#+DX"7P!6~dyOnB0[}wHWz5-y=$s@A .Ri_ nbJ.)6+Te.zwA{x.|!j4. akI/u0u5OszC))B͜gmhSR#_^.*˅c rQ+]zg`P^ľ"@mI'4"b_cgz5 QKBs/oyf=`ؒu%WP$H8xWqG%F^" }&jdfz[4%iN=@"Z]r_a'p6᭦ӱ:3\6.Ł~ [Q'Vx4Nͦ ]id TnR ~9Wޜzi~I: ? B0oLv DNu}ԭ~ G؆. ozbo۷`BJ:gAa\! z{3f`@Skm+^L\M![3܏UP(?-/N:=GѸmct%#s++5-i llp ӡj#o_  01?BzR_}u۴ rf4ԫapD[,A1P|]t]Q0sӑ(zU^]3r`s+ s4ny`ckg#K9!وGE $-Pr{V\ g?8uN[XzDOG,i}h@۞A|]ȦBG;S)(ßjVAfT6-Imsb$N^~( FNNife0iU!0Bnw6p`s`#^D~}!K݃1qٙTEܛh8O0.siG%5:!٘vLNOgcUF^tI(9PS[:8椛MiUC苪XUխSʑiF)^muSɎ`à>y{fy* jCdxJXGr/fx?RL 煭u\p} u Wi-?,+jo=,ڐ,7y <`,(ߙ.ٽt(Ԝ)v@k&>V9T%X-3CiXM-9Jh:[{(f';|&+'eƜ dQӟ2 K~(R!m^S B;[l T͔r뺎Ƈ|:&Z@:* Ţ}!Ƙa6MۣZT(<#vuʍZ_n_rfQiΜ7]q`۽]o Xg^mюZi1sc aBbMy4Ph+*>NbU\oX_z n!4K؇ Uamj7i޼*?U,gW'9!^A͔=wc'3'4ؚ n2 ST(}HH1)Yt #=X˳=^W-0},κ7i:[E(Z ք< ^ktaɛ lgYZ