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 @7t ]/]MSO_Regex_Equivalence:threads=2elapsed=854.395cpu=1118.320gc=48.892factor=1.317zXZִF! ཈]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBIX2B Zh] ߯{m2>  y~~9g7MxcpHh~{i+`IwU¦̢ƇlVYBvHd? XoP*& %xs E..ĕ$Tz]GN{b%C΍e:fa@V;~%S1njAL M~5FcBRc1-(pˍ,pn`:eLߒe}/.DOYST^ˍp িTDe%7,a3嫢*#.ޞofq;RFCGPqꔾݞd-JL5el~Jvr]l=tEvf"ϲm4CKB+^bCkݱZ!sĤT4I.c~[•09~̦U, #^I+{Jyr٢4cF 6Z|RJ 2ttʚ*68!A߸z3[DäR'-v׭kma{=zZ:<_~WN LҌl}a}x/kܵaO4HJk&)T]B] R?2*D-~`&= oS D'ϙ1i|f*1'p' 7OZi&2%| TCY})6"؈'*F~|6CPW=Zwr_W 45ZȢ$ޢ"@%zmnB%:E^0$Hm]R9VULh;is a @4?eéR A4N;'~D>}zx6Kn3. ez:<@i)4?^x^ o XO(/.N 5eq(>j_K4S\޸~n7~Oug'dA\&[7əBeD_UUZwT *1 –9QL6:oɐUTBpق ѻSNxFPs{Yk 韗\BRH>3-kk:}8XԈwG$A3Jnj3B4bb:Ҿ OJ9F h]J6I X_k %IM3X 32m:u"s!]|~i‡3}ôZ ʓJG#QmC.ǣ.˨Xg~ _a1. >/(j uҥ6  R'ph6  긤x%9NN`˯ئ .$F; Yjآ3^O. [W饙- 5VبYWq:(Px֤Y8k6ö""-(m{^G1AA-)5bTܱBn ɶLkq$?G76IdF>y"_GaŲn;v)h/ҀQ[=`-zn7 n$Sϖ)_.uD\0]'|w*~xoOlDdiLUDH>cP$qXLE۵]5 .INAKŴTX8be_bz uN,Q6FM-U&UӺ%DB]` ^rY@'-BRo̗'*_vAA k1?*t <J'-,.]Kb\DjFGznB1ohcfҼ,d2yq"z <^whuXS[6LƃX>tu ,Ȟ"I3u] ,j:L\p9 e)f]7&j^/5ӥk⏿\+M 1qVm4j̭ro-?aUn߁Rg!p환G8_% =.a!^έv67ȓnj M‚384SQd*Ƀq1=$qY?jsa/x~8o9-Ted|8=ZF:\<'yCw ! bi拙2 z;' BѹRq:QN~,; ȍp"HPɽq9|;_swIGqWXq.Ԁ o m{ndčJo2fH9JCH7v޸fgYZ7zXZִF! ]ŗXi%;3RKâҰ{z9ԶfH3%6QZW]~VC *I*EmGrztzTFKwn*G7zCs9Ṇ8 d<GT!C0K[rj8*)3dDI*q:®B^=ׂU@25K?\`^ƁF)PD0ɲE1soC8P 2$yG1ch_'SY5oDX5;|j!ug2txZhR#{5A)A֕J*:' Œq? uQ>I\nPdwm1:A ;ˋcyK>2v4a>ՃBl9ݮqF&UO].v%)C ށ1)ʆLE5GJ[ ֒14gF d%3MSuhB౒{ol*6a,̳*}hD|!>nOJ^LW͏#䯇z [C)ɮ*2R2$QՓAᴑ> (a\%+!ad֑WΙSPOEJAbY'|h^?`#afjFTT+'<4#HÖShd!.Tg%g""0@>JΣt¶ Vj߅[J&_lb'ɭa)( A#`g d.z!IzIz&Zx܄ÓIz o@{RBk$ǻ|':_{dK;Oϗ,or&['kvҁzcjDx@&c.s.01m\vHXjwւF 4W}ɧ*h-\Cy9jmwK> YYQ28J+?= <3˟g˥O7Bjq^x#7S@yIgg\{ԹB b܆ us:JhľTQ%~3Bƹ A3[ Q#qWZmSnhYVduj,v=ie[Rƒ218\VS#ѵ[@\h=_G(Hz{[d#UVn6ЩeZIlDi(-y.v0mnFqF౬l!PZ`$D*}`: .[xS~gDENAi<}\ TP )_y[':!'X0[> [1͂jV/O`w\BL+mCC{E?S?)!}8- oTݘcoWՌ68A1TRF#"@>eH*ob/hD ՘3ll:k' %xvpYH򾟏_nyqes fzݷV)[TbookkQM)-\8&qtqwL q=}T鞇٭v.ي|uHN-7HtXYilQ 'f ḫ rԢrYf7pv/ &m}Y=6ݢKB=%sI{mOnLj^Kb4a4pzsOWwds7Yv78_tZLc4TazF3;JL x̥!i{3a+Fgԇ'Sjhz ?ȴaZ=9T# zfÚw}֗b:lI_f[ĥW^ߌ5hc:hn~- P'f $̛oLSQ44+6OvR{D72`3 \w1E8XGiX˅)ONl!vP,YܣIbdGx]TI@h}d{۽+#|j#;L%CH~xxcїB6S+o9c?{:B}=$"@_[j=r N624?~A\kK !VzAFo[Okߘt%?]> %;:.LUV#Q;17ސ *e]>$tahЧ ;}2PΕA~?G;P,#?:t2U38"1RM27ͣ=oUL`[pH Q )d8>>WRqL]%ɮ2"%dB8udMX;﷫!?ރ?ވ .*LGYc2FɰēLAo>.bڞQJ+DXg>$=\Gs.%&WjQg6)a˓Bj+#v.98\A6[tq%ncXkDǯ`CqC.I2ԵjifC~1adzڌ ?ֺQVJ]!~ F9ٮ!@w34֘pj0ؖH4g95UKBCjJ ކ8酪nڝ|BvDv%a9R<j"Ϳu1瞼B"d LӭRW.qP(k\&`Z:lb 9؊Z0^/odK*z :np}yVEUp69 DZ kpśWz`j4zAVk]>=~@]c&h|[;5@r6㼹2C:MPH&D8ȐY7 dO}Q49k&uYj/əZi ] vo;p:a.'{;Cb nHL9}Z>NcmUi*/Y@iÿD|TEo]e7P* v&ڏNK3Bi!fc {'P.upPƘnpgyIOJeaZʞ 8 u ,+Ts`II]^^jREz%ցIvz깒J?&lF8.wʸdkuI߅'#4PE`c- )H_%-]+G紝h{%s 8;ŭ*6M)nzI8*>BD]΄|4KcHmBV)H5rtA}xoIO3t;P+g |Yx͘{O}k2VC>cLw$T>@%GJ4Nj018k.#y\8O J o8_Mk~Z;Tqƀ OjQHa=VX\6< ]>(cLk ݴ6 v(0ž!}eh# y5$uKI*דMŘ(UՌFsq|qQ>A $1O[KPV~tx'>exT, $F UF\]:{X Set6O#y\wz}LEuSp̺{$Pif~5Nh-]u64nHم Z~V^0mGEcݬl#Yn!R$Vt/v4R{hbW:F0*ƼG-= wLz`.b0LA- }1LXyGl _JTAYi \T{cdv ЂBrj/bdN.șʮڢ}έnu|5 :2MR Ѯg~,+RJ_Դ),efAK64l#0sZ] ( bqDT2 4L v ޥaf_'Λqu:5ئ5\t`=3ӛSW{iؽҊ'?j V\ߩ8:\IE|>joN~g2ӲT<QS L2[[x'gvXVj|} ]zNeoY~r^e-wy󙵏bm cT ݤ09u<3YW|LX,ЩLs{ 7ɍuࡢj C<['UhˍIz =lVAZmJ1u춵D?oc\rsqOS$0K.2p&j ,pd,xGDn1UHCrブ -qe>^t76?sq`̅-mLFҫ֭^}C ěаvjTlY{HY I͞I bj$܃c#zw05%4+TP}2^2ׇ( u'_eRJA>g߻į6LNՠ=[#v|-Nq#hX^r5g!*Kqf&^{kndRds0øsl#@MQ .6OVݻZ!%3f<ced#{$ʅ *k;t^~lWk_PY`}.I܁֦ޞB]< WS͖r{H䭢ʑv=$5vzzŭ0JytsI;w\XOrO2%mT5'QX*+ӛEͱ{%SYE&(s͏wIoA=V{Ĝ`e$dwT3-.|,+b+m* WP//&Kߨl#0L$6XWo]‡OUeJ <n'>VM,iy~hkOa|:͙l;vH \p܄u5{Nqu;;$Pd1I!]j!o  2dq_̈=ؓ#K$ 61, <[Ll[G .pD,#(b; M'-\gd[RڠCLZVKn^3`>gᶜЕDm#\~nWܘۂOYH۱& f2_z5v/ḮO+h!)luk7JByԆ:Bo ikaHUjr4>ە+<=Ҵ^TZF2O^AN1%1sƎV"ty%'WX!:]EO{!Uzd?J" pW;ӽYu!X}Wn:c"* 77"B~rml ь'oo@ĞCQӗ*.ChY5屆Y rXL9q'j@* PH XY_!oD%;—iakd4>ÖÜHa7ɂ 3!yKX^U:)@5)4~f21J薤+AF>eB,w<p o>tJsGu fE<I:9`z,‡mO)z˲$L}Q -vC;]3o=3C %yu6eEe@$.Z\\?ԣYIҕꇋ:zÞ4r$QlVArѽBVDn\ ɇMu5IH9x=g;pOHu W " THF%a}$$# "cd>>Im.= * `䌛7/6_nDxLOm,"]dƝyY2 (ܱ 5GJ`c{^C{ {fItCABE#~_Z_=6x:xhq131%3d12đl쏾N\_#7i% >`٣ulbM*{YeK!C)u; w  dAꇭvIn11mg ]WρK~4;;. x-",_G$'-5bU)8TYu*Rx} jFZRECy6[PZԶ-^6&F>K= HM~&uܼ .U),ڐEUi Ey)'94zp7)'=ۀ5EҹjVߋ32m3b<?<c =@\XM3+8$k:d8b`dX΀:78,ţu>p;Z^2biTqQY XuVKud}KG8Ivѩyi\bQRKuk O,|otϤWGbd~#JwC1ى$#̌7ɴ U2:2W9Kj10Nyǃ$& ^rCnP:]#c ?ΠN^b?Hb5 eZyMWv1+R HpC 񌊲0H;)ʋ3l Epԥ(]5úi:LKB>U H(MIXf{υ51\?Ulů [/ʢ=aA[J&ZrhhY %Aϊ hr#Wnڧ]8#$iK% 'h $I?ũ(K`z 2DQ9UЯ&ZgT TPfij`eI@)4zB43xwlzS3FVSAYL_\pm\TFPdٴl{["H\Arg g2u:C'nD٨2U!h#VVD]R8[ʦ.+K?va`Y(WM'/`ґޚ&9mYJ"5 !dzgKrܗĒ -i+^3g8B2QJ;M69Mc%~鸪â cuÎ{hwr17~'{CSfj|?o2'&[66iHQ*L 3iy*36;㝁fҡ(FIIs01$$kxD̆5j9Г N{ŲHfG^jp#Rz!ai}@C? ,匴%{ g-y&"9s_%NͩbẒ-. XCCZgڂarG]cx(4\ C }Rnq_pq:}5IHK;ܤ <@ + mz@> /7!4ltwFG %er*ltpK}a]-θǿ>f߭Qmh=2޵xȭ#S9tQI`5b& !nN9v-sl yy`ӈP|J=-%[o5C|K `|Խ̜T1^NM`t q =qy }wzDE<պ#:GNo"PAHv_x_f_:%kf؟Q)k-lr\WfI^WkzJp9K5P-UCSRS{VhX{Op!D^GY΂ G eqp IZpDG -a1o݂|p`Ԭeg&5N;I$ҷ vkx8nH}h4smv"* }1]Y 򎖞EW b/BZtCiѝ`c*eHFJgQP<O䶰b(Co;$³h*%Oc.&1mx2NP} =vlG'@~EԊx *0*W\K]Gߨ(\\-3zzR:8 oZ7|4lc_#}σE7 U>a @fvG$-x{ЪL|Px P!'8KS [}IbB|sAdr֪Gqi;`tu{tҗ1ua嚄Ow(r' Cmd&̚ I3Zg@y b,0 [%ؖ{רu>ۍQ\ !nT=@:6wrmWq=Ȏ2 k!=ff78SD.@نmryn%*r6LxsExZZ̾sBBْ cZ%HO'M+C/s y PR8 nzΒmc=7V|%x6?=񦩍Sy%9wuN[4¨{QpɼLF5.e;c;t?vF`:` |3\_ng 4_n -uӆ؅>tqE錽#d΁o+lJ]R^w9`S( (.ӈ5U['8\,V{;ZUT?evZN۝b5%.{oMIm},4^`r8} :#T} P {ssU6w F|7qj0o_QꐺC`x(?cڋ5  M,!*2ܲc~}Tt3Z#(֑C}ܬY{!c)TrE 99CY 5VjY 18AaYL5&8Tl'ۼb9Nt,~uKO HD!9N\f4!8KVJ.'AtInAf] io("LI"V5iXNRJ5_L@WatDhA*}ї"ANQ'S# Y> y*Ġ瞜tM-(ZEd4}[rR~P3qhyg(Bӟc_ XB JR>=`&s nח1ɢV!c ^@rN; T*(ت4j-U^-0$uQKC5mӓ]`|Wt=V/D,*gd4)߰x\ϲ/P7Yj wv^G\r">yhuu%3SIj~fOX}."ЮGm-юqiG,ĸ /fSV$ o1eʠk7r۔ "ٙ4?9ii7ǐ7 lT a6sy@'Ӳe军d).S)nحa,S`\>kiXCgnA cYGonG1cyoyvGS%.2(̉mgBSqrƚquXV=#!߉t|"7k?O8 AJmF |#/# ៺@r#w/8C 1@ QZ|u9;CC .~CHF!,#"vVcI~F&Iٌr3kOi#5cGdVBAL՚%Yl+h5^ b@Y% I.ۻ.솇={Ϻ$<=imаSleBc׷h0PI6Sb"![L"UM j~rYЩI,S=n*xaA#(gZH($SR[@])&$A4y:ֹW_Z.g).@&"q)]QN`}4_HDZ;Ag$e=> /܌ Q:BR'd[r]GTsڴ@ZV;z:>Y h4-opotJ:`h+k$C Ze@YIfn9WtYh/r+.b+e՛qSpӎ7&= r_3꿗Qt[$\$6i Gu5wyttm~ +ՕPZbրMEW3*R*e&81vFM3b+P?/`C)rgmn"ͷFu*s4HƟ=L5m72cUw íNDv`Y#GB41!6HE-ۈ J4VךE?йlz!,2` #_e #RN~T4AUA"ۤw;Dm":n>8j\&J|{yKXunhɕeuZkI0(9knۢi$~LOh[ K&1+rNW nE34KiÚe .!Ĵǒ/.\Fk.h`mwKW|zm7l3 $ [>(E 䘼 qkRE%>; JIQMwR;Ϳs2Q|&,2zS~n7uܛ)E0f\rK|xC=*_aь seMc غiD 8z3d۲3HYUg\WzttR8LzDҫ?x(4K% x,bOiUݏDZGy CMN+#(3=0:D[? b`䲮&(fաe kU־$8'谿: =#ߟ5O,U>]U}{xTlذž&!9aQd-[= r-w@]b#5~9Sslc Nbl8Zʜ^mxC:(iyĉ.zn~ҎY=YCHʔYߗ4AK˳6U,l q* R IvJcΏ&wFpuJ/ 7ߟW]<Țtox. $GBp.믽Ұ8e*fr*3\*@'ʔZCU(Hv"c%mri0LL%dgJ-2 W|m\$iczbW*k}ʿ/rr{D2…[7A34D!ݵK뛴@DɦU5[TDgًăr^˯+p\5vJ(oYMV1y8#lF'bոYF<եM#vٛ9G6< M6ko6]M{*z uLMG gRiSNbDʖUN-{x+i(pʇjfUSUHJ̈לJ+XRŞaMove3p،K+!)I\$UB<7HkŽD foMb]y_Z}r52PCL@ڗja ~ؑY̌߯,0](&02MڱpL vcgcSB|fM+de1?˾G\W+Ï xr=O^A 4Iya^4y}>jbrئA>5]aD) s]xte(Q>-Pl P]>Cs߯bzXG u/t4@Oۄu;Ee_}m|@VjvhpZnmOl[G|^J,fZ<+rhI9(EqtT6Stڿj/ pO:H }2"7$ י)VȦNtqR)RH-FE}a_QX!?GGX갭h]G8:;[>bEHw]b&wЇA! g q:`ҡpa8` *q`r wgca$ L#<ӛ8Tr4@&mʡF3i1ټ( ӖN"x 4l!յ6,̲4Qv|n`e #r!gvR=rv;(Ӥ╧18OPn0&YvFI9AΫɹ"kwG1&GW6!>Uh Y@*АCk"E1dm <̍3m}Aw _9' }fsCHaH&ĥqh'1LWMLFEe~tJ\͠y.o,TUg_EI7UٿuUn@{+Z>lmb}o~ϲբ8$#{#P  &6%;fbݝ̀b$PXn3a8bL ~\l(ҷ'벗fj:}nCLNPga¤mz#s]O ?NgGw0KߞHJյFy8[7bv,[zW #Z~ 6̃x/f*q"lre VAHb Jf癤{SىZǓz+ymlH46gd\!Q26X:lv2݅iԮvKͳt:2'vC|?YT$[=dWQ"ʃrM"ᑣ~GeϤV V+<L,&l\%V20U$/ByBC!%1㽟~Cs->{1b@ȨwMahi`M/>b5j9҈IfCÀ~AŰ ,Wi\ o/:2< H!櫺*Q[ y]YOj `E1ָ_xxr&i<&8c["vM:(p˝@O<_?v&G~~0aUBVD@2g3HȖg+MՎe^}]m93"}h)z4lHW۞ è|x< aBb/m(ʒ`"x[ʰE{[J-Tg/]b#o$ ]RZӻrx~Dǯ2o)S_ wp D*1À+8ȶ<҆r;ԥCcNy{P^P HnGlYz8v]F@e.ข 63 ٧9>*tcDXCo4CY/DU]@7aDCT|R)" LW"(+_;ma(Ji}L#  ʀaxAﯩ`C~I ~{[~h)F-GDR gP5B`7U] s2ؖQ~=3sDD<޹T՟Cw _oyx\+$*fW7 c$w~TeΣMj( {NY;=OMD!fw"NkzTIZ)w0QYa`={1LGN'B@J.v=*Pz}{;3Pa+R]fҭcenj5-+c@s8@{ r*֢*rX:M9ߌ8zhY:X|T HN˦?ߐA(YEqPr0l$Cf,`(]qa)*Ql8nPBUQg }xٱfѴ ck:/ʣ,*EPdwĴ[D4]M/5>lcMVʿWY㼇 X*.kRl] {9rG4ݽѡ&b;F}d66]p= w_\70lW>FxaG|,Rgճ\5X 9@m ƼIî%94QEh(^a@Αvt[;*OR$Hޡx2uNHƓ" $ ~2I؁L9ôuBF{+dGغv g̘$[ݏ?t09Q.,qk= a +ZdW'WK${-$1Fh)%cvdt_;kIXfҤa <\MH^|y.ߥq4w=Oܞ 81ނ.f{|a"pqB?S&J@UCMvobH=)?237R2#șa/ug$4 j;Y"Y:~ ?\bP}oP*0}YA=Oe~nWpW _H&?Z~6A++?P5;>93gQ~O~HRRݰvxo/i,Hgv_S7 PCeL*p}Nuql}R@.Ŵ+[{ZC(!bġ_ECXH7z'OjҹzhCA\N ,lAnS `;>YLi _<I|EiD&b˜ ny-)v~asQjSY(΄D@^uo}u" ,Ow'=6qC2A z=1v%V? >g0zYD e9 [-jb|b:Ģ=Y[3ǿdzzMBIL 滈=.kƎJ0S&1%rYAWeF3;f%b7vW/<'xˏzYT>Kߋ-]@5!;:e84SE駁>y^ Ł%@;Xe&0h^g) ﭖkd2F)`/]Tj43Y G -k*:CCzKrP< y} FuEͫ{[ESϖK)yB(MAP=ŸSY c&K2%q;"2]5󷆏!xcǜ#6KzgDu.%E 9չpQowi_l{Z,_!\EX*}7נb+O_.&li`$IeR%y\Q\M[֖fCDi瓓q^6G9⮰;E MOB¤O}ѳLYHf!i+$,<z" \8SM`0 "NLjKEFssp73H{_p~Y{ݍhfz\[H#ƁԭnHm_ꊃ^:(F]|N o(Lǹd9=.GlY^9|{}ĕHz3ZY::Z gbz|3MǮPtЊ:XcJ| ae69S7RA?;dMϐi#6V]Iĝ9쟇[ Zl3ojR#H.vԜ]=~u.#Չ E-SwHLc2(^/#Z0Z'>C]=Fw2ӛ,~JW,PD7 *|]`G }J uGU`̑-G_cD=x@˶&Ӑ8&WڳKVF?ZF? e/ ܜ9M+jRjQͬV~9Tc;>;nU_G7꠾@U/:|&KE$wME߆3p "+5RRx&{l6EΥc˸jE{CDwLIYZpD'>z9[ERb)KĐS ĬbֳLpذWH^fJ )5…C@AN椫й}X@_`"|ueu@DATYknHX6씐p+4ծ/qjt_ޭ2+[p#h B1Ӷio1H/dX=m.|a Fxq͵hizy7D?[򢸜IJU%sۈ<=+ Ǿ &܂.% .wY^KH"b1֡Dh{(@. T,QtwzyP&=8OdFpV˚GcM`?"^<]41o>%VY_}7P_lxwΖմoߵhLZ8xZl'$ԫXdEy O{u,P%[^A# (!Ql$XkЌH"j`|à0hfgQW[Z 3v.# t^W+KzT6i7o5a`1K PR1ĹIKtT} C#BnixH_ȩ'RVrW.^8F}a3ϞQռAGD&( R+ +."YPٿv3/)16j`~rD%~ g1N*7K b6[$1br?kxOHL_GS&&WʸQGB1G~J8h ?StJUZyZ\emң3mR~}ٶAVOD՞sX{D&2cZcSɢr4c+jWGVߛR-%׀Dvz8u,#? 9L2artH;Z֚() 0 DGuh,Z-jяóD0._ٝ `ȗ#"&!PW}`*VXLT{ɾkG&)fq\D}*Y^-cE9AxCU67I {XkxsTK]]dP#NB.w&lڪNAKjB`e#&M>e8^D;4Ĩ3HP5G0,O`M&l%Wfu\}YNPRL,"De޼l<拏lG '杬1ٓ# Q2(:(d# +xDf:ހ` /wGl<mZ`w>w )gg@GL7HWO\=o慫 9ܝ#)CH4, a4L!{3YZ`YzϘi"TUV|P5M. !bEfZNj(RҖ蓴s>i<ңi6BY-yuщ]t~MCHz#DCQGŗ*w6=_+򌋨 YhBa+&v G9,zdTϜOɴsRE#8#s}󻕄3*m$Bcj@F0gO%τI60ܶ%W/g}J?6x7|쩣`"h8^@AeC+"˛doHJH ZN0m:u@[[WXb&PҜam^!ڲ#61@|P=r~U,I\jfXZzK9(c2hhK}#\9PDsU}J[EJņhi CGlj $ lgWt"Hs<Ɩmcz\sݷ,"y؄1aZ?#_IIYZ%8Mu =֒#5{^ANbn gS;4D?Si0jo(^ vzVۜF+VYvqrш+EG41n&Td iJ#ENؿ*Z3cFSxa7^j-##i*3Lgn-N 6=u&μ'YCyoW}e},S8`2s `8r?6싊 jLL.=TZAEyJ'6uZK":o#2cW18IDrbG! !̈́4C|9Wڧywb3e*o{I/'-8]Fmx,$_E/EⓍ8Wڇc9Ib?u4/quZs=ULhreBEG84ʕz[P&fEwꇜayl'%JfJۓeȃާ7A9x ṕp<.fhc;j- 58`?_P) .6Tw3z\^yf\4[`H_)-\:rêXX#=`l/gN)0~XQW狦&b!e]ɖbNfFts􏡮% $I?}RR?c t]W^z<i$s۟@EM$q*DM+DӮ U88j"Dm=8L -@ԎT2E473+9O)ƂgLQ` jnɯU0,~eyMz>7gՐ zjs* Gx @$ޝ~v `ݶc^̛U#Wxța避,xM33a~{TtwX" 듈iԦZP6;r{Bzz}xW8hJ1cgk  tx߸S΢~h:APUZ9kHJD\YD/.?rM! Ը{C:{sJ&n Czs3bꝇE}a\RY0F =/N ޲ =;yU079 Vji xd}E?aC6y^#]y4R;`K+cp4&t9pgv+-h+>6qZmUVA?O%h ᱃F3}HV4o;U(\,U! W,u:8p zuc'ngt#Lcl\"V]G腎#.E9=Ï~3S;{bߞ` ʣ p3aNՉ(qu#`N?th_Cٴiw5nڿy[_pv-7 Y~dxP_B 6yVuWn%N #א z_O٧@ֺ,p١hgnlS$<B_f+<*Q`0cr蔆ke;~XI}$b.$Gb=-Ѹ(eXրI Qx& bJ/}Bu`e\;A`eE9HV^}5Cx)dpƼn#: Xu+0#euo&-GzO ')z/؎uLbf$uBI:SWYBHt-sѤ褃\+&1w >#P+>3$g!!J>)Z8 ϯSuo*A̯[am̍ td  dh@o 8LJ+?V(vmU֮T+?RnaswmmU2Z [3t[0Kݖ!?L% :CfTZ}k!(wLԜFIV/O3v:7 hQn^ih}Uk$4X0E`߿~WoBu.BUZ c{e|~9rZ!͏}2'V5D4-ؙc^\2hM^A]߻?#ϜvV"L͸r+?(Q` ۑN~v$tnu`09n5?wD)6AMV{J8~*s{șiX_Zbd(?gknoFg;=IlTݱBa3{mgi#(]z@˃$)OƆ_>sgdRҡEre3 1\0`Zia+as#lD>F0xE!lk4[izfXv,]o-ɜkb~ ^HF8ƻ1 9^\ף@uЏoTtZFYiδIͶ o$rOH'|׹.E$A Ud(RP!;}>+W$L9/G5*k6[A `q֯]R%' bg!tJTk݇~F ؘ{-AF?wtg< |#z`lefj Uř"%rJ2 ŬC߼ )Toe?8~omyٯ(&_g)QCA񅟵J"*0sDeݟ~e)σ6'o l#wQ^l-L@ +ˆ]fA2[͵? MݳbӱVδu )R2' PF B}93+J$P͗,́򓠷Ȩ8xwAr:~qt^{\W7Fv4uVƌH42PL[R1RGEVK۲Z(?;42,Wѐڑ`0|l/8r8mvrο H FJS>fG:bf7?쪝Up$,<#|4&\*#di;uxfpw^Y<'esrHbG#;đ##;wEbn'i}((핎H-85fhJ+ ) w刿D8t&$TJXk03.WN,@Dx*8q\LфV'#!u@0%#{i̫ÖųO]N/Pg9j[ਵm.3HGA/zwFJBβl*?Z)]h܍,lYd~C @)XF+cȤ ZITBgI)cb$[+[kTΞ8*0<ž3+<\Y)jD7àȚ?s*"ty{ka4šr.XWR9w23ٳ"L+æ.e$5P`GqS 儫eúo1Dm7Y7KuҀO(%FbZ2+gage;”2ԗSܮrV() j2>hM"Cf`$}9Eq ͞FhE%Hm ^v~B>;O狮ĵ}a~ >A-l^hRY76k@h b,$P0l a7Z]/}:/;dLԻ8Y_oNr@KUJ*R3.7%tuaUvW)+}U-ٞ9 ugʱ8[_,+tܓ~{apWBo{TmIɖxGPu}5| $0K  y;.𽢋8oF]X"|A/NWi-܇S?* =+M9zmP}ݡSÄS' 3!Dh*0ʪQE'|C3 dXY  {};Oh+15^HQPt9/N5[^:!xK|-BXSꘕؼ-'^QxVaJ4\`B/(ezY-ڶ8y7?4!ɁmdTȣ#߃/z䪮.:F=8i?ܡO7SH~ڱK&gMF>UXv@V+P!@:~q+<]R3Ԍp YMA!Owh'ntUnZV}*~dёHQCQ[ ΅unguv۶PUdzg M#sRcZǤ8^6X6|n+DWe?R흔&D7 /҇#7y:L띜P6nƿ$ZA96ZoW1;Hz2x*MT|0.bP!~'0 mo06 }o_ o$F#8bk@Y8%{ \W7 iq;l^|@f{2^ٻYNf؋[7@?3igMu|2䬐hoAVj( ‘(YA} w?Ef@'){&cZ TjJsݺ}7 Oꊐ}qQ`gaC?<& nM7k OibyS p&ii05m6E> 3 yox븐-JA"tl|w7:.GT^{KYgˈYwxT] @ CkSCNM.|)uwC14M,Y#Z'X8‚Ã"YΈ`|c1dU48eb1h8_xQƋ5-S3ʣ>CAˣ +cW5qLL" +ƺ`xĺ7.s[7[U( D@ncu:X\}*cpi)zm!|5ۨ&(Z00+NR<-SڒIuKa|[Lq 똣$ r)t7Z)=mZh-[<#٫p1hP` ߪ |ٹPA'XPw m_-`ux7ICV3Ӱ9< J9HwaC`z$ 7GT$/޿&0pq*fnx^HL{Jg7`堦!ۇ1[D@zeb%0{S+8YiQ͚2C1 "S'rqfM؛}+2\-$dv&]o=χ9 Eմp30C TyB:Jz"$iNV#d/S +O,G|tVH:Vz>~CmRJLx[:d2&VHPH x#@,^JTwߖoߠ٘d}ARԔn!w ocPp^$L>܊z+7ңֳP-=RH[Y=zP"KYNT#l>7FH ^ e)k76paq_ qLgCS*=4a5`>N'%m`"r h4-_c(8;O=^)F[3Mi0R74ۼX*ªDF1m232>S/NN`iSౝOA&8_i0J _ (5?d ,}p*< QҤoym;ty<"Zr||#tYYP0CO!_ īPz:Y _T8`j>~q/TP_t쑺u8B^n,%Jpl$<:˜M3H-&]DN2L#S:ٹ!k]2=5>xF[ JnHW֩Qz6xRe[sqHZX r((*}Mqb^%'p̊4}w,ڥ+S8#-O,;cIlsOtGMjW c&^>3>֤Vݲ@6O?;XYۗa0a Z ^D) rmb8TIvqݞtio+OP\ä %bv ݑ_Rڐ3c3z>2,$Vޗ=r` #qڡV^"=d D#'ocm31"_bAK $J*3m 8%Y TkQ%,פ+3'8qw&M^Gwk 93-ŇK9Zb 6k-++b$O0mDˎ:sFJGV&s=ݥLJitAgqrdĚ$340/.ܮ3ïxx0f7SϫurE;^tFNο_!ԉ^ZNÍuܘ$U5rPRwclP\`2PI<^Cs+F տ#iB]>ڥh F T:SP;~#/je*@TNTiO޶.])AGtX1V>TOz+=/^D,4.=Ӛe8҄2Wyn}yEg39ȃY۬wLU}gbqK<8SֶAwMi|8O5Nmt[{upKDeo4AVrRH6r|bzm-"CYUƣ8fug_q]g'wM62ҁ`tSyE ܔ艉 n([f/K2mcM'ӹ kٔ)Е 8 OngQe@G-ꐴxy)CMk!%A'۬CL߭F磡*^5?[ jcS+0Ȣ 05W%J?(f`~-g;GrW`) T%MH'mWK5Ƴ. |[xZ^n-uvxWà<}+n#$XݺQk c3lvjt&du e5Q//cOC/ 莁H3;ˑXN, 2RM%IA9ycܗ:=Ü4N~+ːq"KG8irM +4cb^kgL?>Ck]pOWnDҴDg2r ?.n:l4bJ灼D<S&dx1G5QEѹO'Qh£;ki-zk+_{Z$?)Mk4#ƠRg(ۡʯi6 5c:=I Xz+a|b55ecnc,[稓MWڑ"~bdsm*V`9FsKZcB.K0bz_=b;<[M#A~L| ƊerKP؅TW!BrR~nu6P̅Ypssg~qr>M)dqTTQ~{*i -G{jNQ?4\$?E--ڨ޾?;?hdMU}SW'(x_yLǥr5C-M乵R@Ѩl~ BG ZҌ޲Zk{TR:_IYhExX ;)oz?FsC5mfjGOBrX]ԗlBne1ҕŤ;FT$eFV]ZbdJX޼y -t!z