SQLite format 3@ .0:  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 T7d4l ]/ MSO_Regex_Equivalence:threads=4elapsed=529.010cpu=1709.588gc=35.052factor=3.237zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkt8GY2L{}Gy& cѳe+і{m[p)av#;h!c5JT%p^~ʧ)14Cc٭֦" Xod^|Jq׌ثBęCg_@H915!D=S˰dǜ(Un^+D# oȚikf̷H:s8EF]b-W혥yD>Ѵ\@OzE2 :W,UteCZC0=̨ u 2K4'Uq b)[(|lEm`OݒiA ujc7@$%[ O'/ 26ȪBK¨94 G˾-z!g{s&Ђ j.|ZF@KՎ2k?V_A =x$+Hޫs$~:NBis(X@S9hE3gk67ELnFj0wHP#ͨ[0u"X eWNyY(i)T!%-FɈehw&an<( R-'g+Z!hٷ扪2}H^Qzr4NIhBs9h[`BS=Qvąh5=OY(SQ ^RF-J3B٥n8՗f ?&BwYf)_eaQk:D9vHFR~Ns0;TiWKIe'[JI95;,Q7z40uE0~/UKr>'E0Н~$步0z1!AdĒRsT}:yʻ#ջH]^ TuJ@,l0fِ9լzlSe(d1\'HR*<%6=)#{(rꖆBo#He`@3p[yȣ$.#i'~kyq?OC+mWkuinz0jFlGG?{Y~+sv"Qݸj!lߛŦ v^l'ܐO1t Uxl˰vcwL#JMl&Oҽ3/"@w^k9'%@1@۪JobS~;D{.f* $.߼e'' ?Ey*wrhdoVY>:oQĤ\7rҼw`P||k8avYs$v%i{&]O&-՗ma&8M/ ئ{x)gI5.'״%{>mقhf$s4C]mV7; NJႱeI?擜E ~5COrZ8Ndʧŭy.1F{j-?&j5;:\7C7Fz;)|ΐ)C / 8ᕈ%TJ7'4-g_y|h_`M3 @QZ0Z!ݢB/L!wMtm|zeDEyۣ:feKMӿ=7}ozH_)uQ T$[!j?؎\J_{;s|O'h8bxUᵕ Qt:hyBg3uo?QdOxE1b r h -#m8+xhaC]yS=2xj2 :MM+[NXP}kArW )Hlɷ0I\3@aV?GVl<1bL)>I2AR˔R&ؔˢߒe~#ĭqHUk"!ud\zvPsq{'JI%|TfBGQeHHqÌ*bb{i5 4au;sIS"Q./> ,Ix Lzœh0p>ERщy:0=RDᶚɋҒ>Kv:_|oB[ZWKhnEM-nm=𧻓=56aS1~jSd^W+L-\l7o#cj,<eL*!{,zq,lF\k WwV=ȷ YEI[>s)21f=4h}΢2jm+ނBdz*3 <|ry'ld[7ށR䳺:4c6;TleG[>QR>3ZK}"n;kẅ @*Vr}iJjy8ɗ}=VeOoy{G1 Vwn0}c:빘I۩\eV?JےCVu䥱dkLn FHCU>K^msC,!{iiexYZ%iRJz,&\51Aw]'G'2t8bc{{\,QYj6MK:0(fԴguOMRo~6HHblE74fAc'HOQ]{8Kdf>ӔŹ=LxtSPF:c'# iia\r퇋 ݥ .|*4^`nՕ_oP^v.Ɯ^Qz))_= nAo9[Y@7U`n,^ L_4$/:8>g͇c׫Y`T\IuME4Dj4돡$S͵k F* ^^(I ym*ZJ;i4{/Lz1zTxJ5x6OCI$(z,2ONx}ؗL0?j"^ b6"k pv$id / Pۼ.Lm4双i{q=eFmB;EHeqʮJV@"6 ģpt#Ƴ\()مhVKa}5]Q ',%÷ gYZ7zXZִF! f]ŗXiɟFTp>>cP$qXLE„{3w~&iXzٯ'KrD8L d cBx?0tԹ:僷5Z0^qr:r&8JaG<|UkR#7^j^m#JE :gT~GѧbVgьri[^mtCGeַ!!E@Z@buRb*@_*KD%(W%tٺWձ`m JbMIh'?| I̦p|[R>O !L-bdb)\9c~L@ufʏ8P< iɓ)=m)d_ҤiR䖤0Cn`UʹI J1}5$_|>(A=.FC9`?ά:*j܌@Qf}w`mjDq>9MU%ԅL gYZ7zXZִF! n]ŗXi%B:` /È#kEEvH%S QF̀]#?&J? 5uPC|wýrbuٺʱe;vƆ\Z0|8+s0Wed&~[!21n#h)EV3|/۶V~櫎Mjd4h}ic6/]ߧT]T sTy6lxhh]AOLr'f` wQjLן\҇դDI9~N#(tq]qXc5$WG;CT7?~='dGмx7yCL^6Y@V'$,h'O&|\,Su?K$.e eK;V+z[H {ɀ1vϢ"!ϊ::*wīG6c=IXzUsY j@@mvl$,Ty-PBm7818KJ& 93Ś2q{2 s * dJ-1ޘ{dKYf$Q8j1}':۩ M>'RQY,lI ;u$Xn"mhZ Ds9$}0p յ]*VbQ:yzi'&BfAN٦8g*mZpDrƽ G|/#L"wG?;%)%y@,n?NP_{H[ZKXClj,dh8֟ay`VF͛gb_=JGF[¢lDG"'O-#VIಂe,ğEYg_ޓijr9!?ѽ΃\3t-XlD{ ;{uCИs+ 1:Hlܸפ{i]K%K!BXE i ↬S3%oC9qJ˰bҺ'-1[L vJh'K A^z%%S#+,()S Ѐ{tҖI7ԏ jgir27s4tm|` kCSAZDFg9?=,DOG6/MTo}:tOTPzSX9ƴq2)Oa;(P!sR5 !9&KE}lGx%Q:ܢ̀&8ڭ>IvͫW +klK-kؽ ӘJn,8<<񺍟}ץ{;BLjI1A@@E\ J $hj’ȲmtxN`xO8/},dGixF 6=M9NQҟ^QxH:<$Vz mJ(#>BXP7XU6b ȕ1{-AFE5 =CE+Xsbg!Z< őze#B7WPn˝w򜶵`k#hF _ _4}::&DJ0}ȈP^C_C,6 MdB\ΤA5@THA4KRg;& %fPiv/*y(xzI#n1']# e=:Ӓ13;?jQͫ(KY.O 0f$Qk5≭˯:%,UdTS%Ikܳ;k^G?YI%N /#ڐTIpۼr1|X\9B2_p0OP:ytEg[G\f \0e&`M&57كt7z l5:^4B#Z(bBfLt67P,qf ;#̀u|=Tnh`*T.i3ƈ)E\-[T:Ng3OoIկw~>7|{oR NҞ ꠠYc8#;Q{PGkk睡-JKHzf6VY`V`Zx0 R&lo]@Ui[qFbd>u sD^+yFw2`AU4 zRw7=lQ? `"lWT|l@2ޥH'|F.Z+Bu*;WTٗEQ.Kʌ9*q\PVj a/ p6ɴz6TN$pfEmIh4c-aZOoX$ȆAǙ_8,InTuRbŎ U}gmfͽva#S+p5e\؈t|=z`c[ ] <-9_}XzVqi clӚor  P6[vN?"TRXGO8%#ASR0ECyz%.Z0P&[P]j.S͝`iX7͒lWbE~k怾!W"8ޒ;\q%먟ƞoFëeB";ƅFgy %w{A._ϊ$ Y$t*A'Crx'߱BuIDٕE]FFf275AFF#g7μ.*Sx"~F!* 9$fHwgROTXϛ8je =B>y$]0,ئ˜C\=@XJNyT"e65:Cnly6l:#!9ݮ#RnD!ⳬ]fp#zWczC,跧҉A5':W{K[?wT vL?=8F`S 띙Z k'K vHvgRElv9 K^z?AӐʼg2r xSSS+7̙7=ij {ͫF~WV:mg:Z7(Mxu0l:ؘV LAER UarWTb-(' {ڸ>eB f]*Ӯ\Ӽ8-\t7 o!vlqhZn$Ӏ + K8\3-ÍK뎼:-ٹ>=@{Du|՜AU]A,hx@#۹Cc5rsa!ͦ#)<w*8(o|GtčמM[T'"TfJ/tb(GX=t}K %"}.֮f9ikAk5%^!|FUoEVd¸ Weis_+a5oXp3|dWϦsco$ MkVF*(js>)"U%GuJ'֎h#$tAr]Ғu5bz"^x265y$8^vvwX]fyj%}:GZr>4!Y_ U$bj'qL:]N|!OŔ!eQe^Wdn>/WeA V\'|^V9G=$]f8fZ4S˸6)hZ[i,TbL0wp|T9 ĝ-cmֈ?8w8NKHpBk=TA~ձ;{犼-$ d$?n *Ė^E|NWLJ*\'2FDF'Yy&ck n@]?6 o\7KF"joQѮ~"(s&fWLO3.^mK (pWEQ~d5FR<.j9̰у!b-TDÊ\F2UEe)EcB"!1'*I2贁Q\CJ,ߣ|Ն7Yهy'R{/W /:"i wH'pf"'[ W)`Pq?aẅ>k 'eD c!»'@t&tz,KB#@1 [w"WtzB[[Pc"E΍]su2?*Aq%Fy{|ݐ?^L5\-Q&oKۑ `+M_x "y{}03?R5#:Z5'p yڑ^8x1cmdC0x9^JZ&MJO7 W\,i>HD"ґ2oUr'fp@j>QJ 0f=)i U~HR sE~ßJӎ W[L*\@05.ja"m-[^aґ&.N*t>U=Dě@&$A?{\BYfޑ"T%X/nBÿFG1q|4Cq-HËzXwyGmk?hþg5HE_PX$Bp[ϘJT]sVYt/YhۨU/O[J &z:>d1Be.!CzS[}.gjsqʼpr0AW 7h37CmJG_M㻽%!JM5X@=yv8*{ө 4 Follor)JR6n`W# 4ͧ>Y|ʸq:[J9b,X+*>/|lt&lk= rtQ?nè]^xP>_3$'ofi) s$-f|?]2bBp0Ō^5U`Xh;;7AG^$KDafoHvq /6ZLWRpn  H,vYiҚX@"͊a'~iuH^ފ21"nboh  ^ُ&{ Bϴ\a#p̈?o  /VЕ!r 3HKbXņ*P #)t>М[6'*o΢3 TH$Sd?v󀽽{dabe'),Oj_O;&;j]oGH@׌iF_813ߵl[JFga` lO%HMMu(4Tj؍b9>Ofm ~GoENaz΀6\(- yW ;two$Yќi.J8 4jg('GOdKBm@i0 7v =pҦ QioII`B$E ;)f؍>H YY8@-w Oq6kKl3}uUƃ9:`gZ~$u_v-KfZ@t`kTk*ʇ1J7|CH"WckMiQd(@ #쁿3*[7*>,˜ uѦY,%oW$Y~8]0qBIuO4 p "*P3ܠÙ] F;8@`~oOä&t nLLO][,6Ir:v̨' 2s #zv%n f{fi;Yh^+H[_2>er KŜ'O YPL򞉲݉gl"[Csq27LOfh8B*o{{Ë,>TŽ .RؐhDG7Z"Yq]ul=vYX;Bϳ~W&<)@rdW/uj”InXd/u߁ܩ1YC5`tLFV͍i6/>aY]G"_: {g#f3g:M½JKt`Tc2Ⱥ`F ~ zA]e}[tpQDP8zo* UK/;[A7R tfɶ,Z|u ;e/T!8$sY{F^`8LgdɮopuMyzR~ x:s-ðwlm7d`2E=Cqe2H`SD6'KbPHaiSQd0"C#_M*h/?4sV_M4r #-gEWM>YItoAiiCfe(2ydvEQ(53% E=ND{:kkP)Cq%5#!H(n"UZB*\茗I4t jdV#X6)7u]S%H;aRz lD$>eRry.2}>#C[[( r+Clx'??cA\k I[sPK,5J,sk.8\M} N}Aq?7XEň?c\iV>lC7Busף,Kzjz#n3ȞQPS`>0{(_J2(2(OWG%0ؒ!;VևbpWޮY ͨɯ+ ű;*Qq[-ƲfzB)kb`TrVan|Bi<RFM)kEX5|.kYr,{皏w)7s Zd1}8X=߶7YEKIE R UM 4Ϛfq.bGm>}ow; b[E&Ir;m:wOZN!j=76Sz ۠fhafRl= ZY:-oXp⽺b3_H7\UcU0N{TVܢmjHM; F{9HH=yfw8߉1XgucD)Ygdmz5YՖfYj~GjЛK:~mLk HoCTlRzUi,+_zMKqj.TPikƽ·Հ lJrj]ōeMM8#N;IිB{pF|vok蹋o kgp×zUzy8"V\6h$IW%)\U"Ap)+r)F6ui`a'yY%C]@k6Y? f%yI(C,;XhkKMk*`W7UDٜ5ƒ8q7AƓpHPr$Y zW9)8|LLj}0_!$<]!߇|呢 xHşW2IJ#͐zDsX1غoCK)R*Km@GHkn-f\cQ)~fX_a?e Z2gƔ$ozs\mvR_mH87X@~5sI0,i窃vb~%quZd]4܎!^80Jzv`A5{jDaE]+.b}e2(d\h%<<,h nO@sN=3Igk@ݥFV 1G\ uHa41 >M\g>B<=P*Fn) .Cߚb~G~Ȟ܋HrH9툽.ٸ}&`¢'t_Ν׷(x:d[SUփF!<:|P3P+*)L?NUF@?xBs&9b#v9EjH;t`֨-_n ;ON̹H| X\z34Ph*A?R/O kνpfx{~a)E}`X&=6ܥ%Kw4܇KpC!.<3eZ$y#0$j K 0y)9K/l4>l<4' U>% ݡw|%(cp1RS+WhYҫgK2{2j X_FڞJzP )1Vנ0j?tW[p W}OJ(t"\D2 }~e#+,`u. `W(kUk:?RĘiw ЈG_fyLĢX?>2{_SD!#{|mvz4[жEN3TN0@iWC/~Ș}~K Y'ko`Qή({GlH~5z^% 6D7_Z1UDbû (bDu[(b:r:?y!ce1"@! T3Z2c.PcnS]"5\ʈA_NCcFS?^[USI73VQX$Mo|8ky4>$3s|aN7VړןH?p92OO'rxMyb qA!+ͨPT քΞ\jͻ*4]]"e*\%5+bV|ǂzݳ ]P\\gg-k| $^zDUݷ]F]3\\+(P(6ڡ&s*Odj (MqѧYdfK JI)Almbݼ/guMb1Rp մ&yO7Ab<Իi.<S'#<t9 /yujH쪄SCǬ%6P|\'pq -oPk2bJN;C x0\NHDڽvkx Gh4u6/n,xWu3aӁ%o>n {v'8S"HLrzO6G55 nIτOOV\u[IL3mc43K2buYNؿRBEC7o4يx[{Zl `D6R A%I :nV XMx%W\-Mc EL3_QVq? vwg'e=]@N czE!alBD A n No[@3.0θ0 }A+E@,:Mw6=s%l>P5H(oMwCD\g6щvPJAy}뮉i:lԥ=2zO%f߸pY{F>R&=>C-̔QI^ܰvvu3_4?[AD&fp6@5s,NbX ,[&i] DdQVy/f=پrǦO,4t:e>e8oXowTo/'`/$7>tyҙ~yX[#sӾ%:΋C)&Ùm!^(Qoi- @ $_6Sq^Oo /DVj+X7Õ[o8.jkEw;??KathO{oibJ!Et){}扛eLv1y6<80R7V 퉸o6bL+Ix lP,mx{#@P'w]Lk(͚"n?dl \~]}T?/[},q6ϯoO vlǍhMӹOM嘤=_3k ~*'KщrM8:N|9b{( qQqR\kd7zÍ;2C ꈍX|w|ژ2- o MG0B=(rn+*GUISurtB&D p4mHR({&9PkrL{BF"fwQDJ/Ňp$*׫]|D'%؃.dk?(_G#ʇa3?TnjiDh٥ׁIH_0iPKr@'CIqcp5mMxRR4.׭*Uh}o-vߝwsv I)?/UIGhe*Pơj)~a,NCy[\l9X*0 g|w3r%.R-s=Nix#ehp4Cngy>N@r_z6S B{ # {QL'S:L"UaQU HWO%u#~mRYdV׼]"Dasd.2ٚOHLJ!j0b*-#a~4F%ze1`T&)>ɢɀ]pN>ҟx!,bǭ)cַBI+v;@r;7*46is8ANImn55P~s_ Fb$l2㍢yf%BquVݜ"F+.w7!JY8LO3aeCK!d-b0 Yg }0Ѧy7KZ~ xs_ҞP ?)^39iS0Ulup,,jϐFP-A_/$`sZ8 ˜u OHJ"(h,bQz{$"3>>.޻h/o_ۙIC& @.tѸ&72`H?x< KvlwQ,ncXr a{\C{OeF{H4-!ߺ  ɔsbz>uKGe£b ' S){Εʾb)HY,Hp^;p}S %b"ʞ!yǪQZeKJNJ*c6Fg[+"u5yZV"Qy:\!} lS; ,+|ZȮ7*,ll Wꯅ?8aBH'҉ƒXk ڣ v,0:DNUtyŪ*aMM|]anW\:}2ZMH>Ū&Hoj)M5+:GU!8w3*r*Vi4[J$_".*& J+xjOFzlôC~;lN6)&tݺ;8x7/sN\0ՠJ8(أ NkBXeuU)Wj{U_:8.)Ijy5R~U76+ZCЛ_\h-,ơ$it\~L@= 4DC B{˥A<9`Fvuj]8EX)ȮQԐ:ɾ-:w,*b~u^%E7m/#'o 3[csXcop[?^I>KvAI! 44U|N B r#OJ/䷕_K4u5MvMw=#F+]ӰMx_NiIͧLNRiE܋Cx]zHh\F8ͯK}TŸ`L~M^ Q 0,,oufܭma XSH ;UduI}1ckLbw$O1^Q>D+A1,R^xw9ta2uWN\ _2,U_F1 pfߎ1+}_K+s:Q-PaI\}dsԟq1qo˗k@Q]k0Tf7)z[d3!1 pDkX"K Fgztӫ·Pm+Hpoj3$)J&)ȿ; GγЏ#43))? )G,f^I?'dzv7p l<7Dgg /6ZJVTSYlȃT)qi^ݗ۬Z}i9a,Kh4њ9!S GꝐ[>h߸v݋Yn.v2'"Ta-fFl9ދ=?+3 JV4W-r=slruHٚZԠR)v>i?(v-+N:GfH!z] jva4͐m fx  4V;x,\&QkW6~o/f{!)@"!*IELʟͽPz#p7Uh_ŴD~B_~۷8ײaBaZ *fFDP]N!J{ΡҷY#,m`3C;M`ymjY3W'o_CstC{ffJN7bIT%ˆnʱ~EZ=;I"M [|'co 5wj65w" q"Jʑ+ oPN6yrط7CK*NC=};jv&M4P'(G69̓[{'AJ{3@k ;~;QzGٲޏThTGz*pKi.w1a>"̡3&)ے?2,Nnfopbb!gwtG q$^b!;SNwU2[ %tf k ;RnQ:icVmsC. _P~n(?`g='"X/ash䧉k;< zj<>=ntaoUK9<0j%#Ps4S;̻piZD_P% / bRjv@ tG=1To*hg$߻-#2кX*ķJaZلڐ(rC_B#d?_~uP@(,1(Sƶ-_OzXђ \sA RqTNDa1d3DY3ͫOpۀYd)A cGGE'`=c(7[&&a~cT`%L.|p@tO mQry~gݹdx^j5 $Sڊs)1ŋO):ǙRar,0lBqh*BodG89 ' Tc[(0ߘ:tlU[=)Ac鰊E1j?,SGq;V;&OGNg?*$RƹHWDiՈl8@OV[/`]]:x4f1blؿxḠҪT/~;~ͶXOqv'x>ݫoOh;ZyԲvڦq1ʌʲC7B\t-( ǝ*&ra}gɚieU)SDe}6٢9UA_S6/gT?Q HR7¿SW9h/i7meƖ/C?R=p<{1ߖ씒jhtڎ_6<~S-<jkJja+e3",zO6^M2ӐP{FD.g&ߣ WP}WYOw |&5&3i n(+?Ɖ9"/spaنIN٠J=8aifY0]>?zmAC P D }N0VY( lf) T8!ܥZM$%8տK(@=q5#"G!.oﴱI| Whw7]*场KȺ~m`(|(( CHjF7,jGe"xab#͵;jRSiY).^&7.SHGNl]؄jw>@W}}&f)+z/azJYzHf8R(õge. 0K{8؛ۥ{4pk̝b (͓yy Hr015c_r H'^ _:ߍj'c GX(caf^Mia) j%pj眄ƘCۮcN _6.4w\+ah={JB`J #B{XWnu]8"%Bd3^1*[Y56kU8lRI/?d) iRՄ>. 0nɘ@iHߴI.>ڭ'Gi(FLJF%3MQbMR625|6 1W<(;]9sFW*BMM8ѐFpQVJ\ˌYǰ0F yKQ so&0懠(orJ$cC%"]CK(F>>T7;CqχjvUϑ-iĀ N]1Л5B7[QdLHlB+Er,~ߐ;H5x&;r@}k+D~)/q^ C\_ vXj Oot vϦоa-+N/vY.A(KZE5FKl\7E.%teTkf8du' mu?2le0̻.,)Ҹl򧾙9v /E+0[;&NEX]Zfa/s\|󔺳lp6a{i$O{J0ɋ+~wE4nn A]*_/k281+z1z5$/xf=ӘCxŠK^ sY8.?'ך,vE$1 'QUsǵrS|!\>&Pj UǨJ(]d7E ȃim vxƛj$NBzL:[ij1Nx$يFPzceHMYVw6 r)|r~l=+wn)UBﭔe45&dz4r[1xu!&7<\zi%S Ntm F]yOuyB,P]5pzEfzē8 Šyk9N(kGO5t\cRV&&5:- Ij b2~ԯ'TLMN_~pdaPfzș䮎J|@ xxV8apzLEn^e W+zx"6vo z&g%13 IM<}L.,$D{lB[Ypl-_&Q Aڄ<5JR=n:l[1yے(+h:@W w*-ETnCǛ9 >HY@urn_;mcd!K"rQ]"5ei_4qpV%=T~ȰٳٜiV5~`Y3/DimwEd:6̟<򂬷V*/:YpOuOaujZ4Bo=ePN'^WmלFOVN}|,xL1]sSr3ӵGrs ѵY+Ȏ'.5"3_x&q(2rM7=&j̞{(RdPR 6V^"`= A?#c ?Rm(ȯETLE,g]!X ȍaawA'tC|eje.@-]t4\ܕ1~K29k̎(Xa]{S0Sn$W /{~9#?ԽDn/P5ciIq+_zS 3Ʒ#UiY:̽4~U#]0Zl:[R1U;5Hv L⻘JhvKGDCĝ~iHE0b d%o}8@(lHe `=ȟxuog~]9~p-y6E t͈T_ɋTJCJa.%3-KE^B-N&ZlZ9Tc@tjk;j~38q]s#@X*_5t'!V !}۳32) ([[鹐/pX@.%ؓ] / kcQ Ll%؏|,"Mcx6݆G 9{ѓociHI)f d7' ԧgFlァE*FNfX31EBD>M]TMy6ZLoZ0~ )`t* aT ހVn&l'̔! 2+ԮgSG igXqN>#ko lì+dNL/ʠ_u[f0! C@bV;pLfC@"ҏe 4Nlޢ@( U73:qA1nXJ:]kf_Ԥuf%a(Y [ɇ3KboIaVV5C`d$P8XR%['yc8:iwM:QϨ)GA \9v%aoro5BayȿG0vTUIvjf|z 0QV49Ƥڊj%ȋm&nGpO<&U+L4\ DŽJ$g"q =~Jls3~9kh#޳֭z2oXw b"e#Aysˏb5N5'4&ψG_ª NlJ =56T"~,5 S氏=B[*p`dJ s}M[~J_Pl8;wxp_6/y]™r%u# jhZTMRK2в`HOg7v'bx`z2u·eR^ صˆ+Ҩ BFgF29vBᎢK13| 'ic8PF2*h6+;mNۡL9{;2~[$ z3z?R@:Vzin(+$idH]R*\ qx|cz3|΀.~2EcꙋZ $DV{Q-y`7he"gX|('ܰ>_!j a:u=D M5 &ws@ګIW#s)dHWfO>1w;͗"T)J:u s`Hb?JBg-x6)xZ0>cHUOTd0*k?~ҫl0!K_/ɸ3qQNvhcq0j 1TZ4}{ ,!'5}`۽:WK\6ג 5@ 8ܗg'̖Q.ҠkKvi|V`3ux\{i_}\_:3wVt|#\PuB1K~p{I*=o, =Wr@qG.eC"p/艅'O<2*mM.ejqfu8hCH'({ pVHgz%@G+2d5P`1Ǧ7 r? ;ٿ| Nd3[&ȼP _50Hл"w)h :,|[?Bzְ* @j[:Id$Cfm0z4v@J%uh0OYwTԹdpã: Qă~Ύ_)PhJ 3|Eݵ7fʐF|X,!H}LÓFP]kpXBRtKW1-I~1ȟK2k*9aC1xЁz :x޺F/ Y~IcoLn֭{p X<|`j lB/|bd%1  I!hwFQ,#yY [#$vfM<ѬV뫘t]z,yI@Z\DRh|R&Tx2_ďi$*f;\ڰNJo3Y1Mo&jBuoNTd* V&FfmB tFr yr!JWTyXGv}do:P-fϹ oM͛в,>cQ(ppp?[,`=S7oɒe 9gg؇;S@rh6`1=[ Mzl'PhsYoɕ$_FvDn{v d˂_A(h0 (G(5(WO/9}VHA0Q:Ћr =Oשm]EVSU% 35,O׻La\5_p8ۍbPWuN8f2 Fm8=zA}7Ul$/iqp*dmGzM1}x {F*ȌW-fdRRʞtd\z OӴ2/: g^@; "U &`8h)ea4cLm+am[#p93MIC*񲫿 $X5ubUՉtm3DhY(`]papˑ9>~ {˖,%)Q]A`ȿ~mӶiT[#B33hCӖ) |%ցѯ< ́+vRsarFGW œb/n$wۜy7]9'~^SG}3VXS@2E|lhpuM~L7aU/bM#~&_h}56n|Ʈnaܷm>\Z6$[7AXUC'_Km*u#cadnHwX9Dp"enCc v*j |n5 ^eF{V/2bD ^T^e Qoσ6Mʊ;U~@)^P+x -r+i_ Cz9aH{LLD1LbfidG.qL/fFH Λ\\FH$ai;kb,zV|anIo|T辟 .oN Dv|+qI0{xPnu o{k#o %{a@[Ӕ 7pY(3ed?.=;Ya/+&)ˠߜDUc"^;Ph4 ՂPK""ghIuOcQ;_|Sg[,~LZLFqDhA=.}pssw&~|>E|$+Pry\ n^k.H)â-[KϽ;QGr #i a;:2O,,Z0/Q17WgZgף$qM*lM ]?Xq~Chrjs`mǙ{QQ$943qoe|, &jC(,ЌT66~ןUVkIx$l8E҃S3~'g&j= ^E$2vZ^iR9\ob"=h/VT8L 3e Yhxr)Y=&tz3sO;PZ mJËN0N· ~v]?*؟mҳ)RRqU\γĮkpxL3 lPr%[jŹt4hVB &!|5%F  :.sC8^1v'.ٕ/[y&̂AÂpI ;$UУh E9D@X]X$]7`Q@Au)tΦX `| |hN ؚT^ߘ+eb,^T;uB\X%)^GH:4.և6`wvwH!6CjlɞC_`;:H2EOc؂nX2\;Mjr3>" œTFpro&r 5pFAPԿ@= _^25(ٸlXsS\&Iz ^KԿ8մ'9t^8|g@$XpboMG2Zbk(wǎ`p#||)hl0'_*;.>q02@drLK,Բ%;EI_:>|)($/vڻ>$'ZS7{FGxa|υ(Y(?wP܉d,ι0  w>̿гt{@_=̶MH z*kw M7wHE9厞(Ѝ兆%TPߜ\?zP`cA+-;(q?#f,sR>QUwZxmK1m[M#ÛeF }'sq  /؆Ԏ߾3O-h_vAd9ǥ(z=}|U.Rl@`B{) hĈp0nJݞ+B]-] iax˳$ٽgP/=/KnTM~aݷ3E{.[5GݥGyD 7[^RXILR"wčlH0jW͢OtE;u%"_ qN*U3gYlF__jp%Qw洙'1ʩZVjF e FJ1_-Y[&)]U!v1v<;>eyr6"]{5NuSvشQ|Z-̻6~Д:-N!sK?(\ XCR ӝ.Uw.N+.fΓ Pn^^b׫A`$ a Z4M/ m- 1'(-ȏu%NZV<ǽtQ  u˽\~.a T-tl((-/ |sy&-Sa #wq0ؽ.y9=6W]ND<`LM2°DNڅapC6'e:è9ܚ=S&pW o,tm dܻ1D \*1aSg*ؐ-t]sq $w3 ֹho5#/Y7tb 2JXþP kU#볢ZCim4 w3膕yGՕ- "xE #-QW=733yW{az>(4Yu-2IPTyw ܕPmﴅc 4,ۉ95Aaw _x9&Q'+>RDka2;qOY:mYPv.3jFm}< )c{8 QV^L`2No8(]xA#ft n_@ }ob( -Xxهv1iP +'\k,i>%- VԀ#,ʘϷ\ZE{mj0"pymrJÜa\Oqmx I X6p|Ow~]I6qQɡ&|!Gm*"5%+ba=q;=BVf 4s`^٫.?\lW@lὑHoPL#2@s:/zRӑDd\&W`/k5C'@+yEъ|0Q諚k[}`1! S50@؝l4Q\@X> V9 aDRt7(=ns ȄwhjD'R &H @Ko~g_-9؛ Ox@]Ļ]<*RMx7 ?`ƴ;M8P=⳦yȆPMMw]=b&,Uˮ"$TtTg4c:.}V01SC_aѶ5 ;"t9n!'H]K?JG{S^+_ǹ=?H0$g}CʵW'b0ɴƂ>dgI3L⥹6vꁲR;jKa%s*ݶe:`3]B8kͶM[",-h܂;0QBfRNՠ3YNUΐD.P2jOƌAmUqͨ堒Ϳhv.7JoP#4q2mzL4U zE8ͦP^6ؤL܀Jg<οYԂgK#LNvՊ8R\ 2#gO]˜N5hm[,MV3dp$Rޒp6ixQI5u^*(*\d"k zrϸY*) в*$ ]$6LZ 񳽪-S| twPdj_#G4^wW5*._w3j !6qZ #FE9{&Bͯ.-iyX6PH>,aWbrNbG/*8phvSf /Zc ;)i; Y8GW9X' cߺwT0).WtS+y x!z ?־MpHYĥ }?70ab8k',ʴ6뱽)P ԯ|>wgg7 [ކ\vSI]ybf4cbb?;E`Z"W(bÕGA}x=,[p;aV9-Bu\{R*i6[.U|)%N.ǃ#{7?=\Adsp`\[3J! Zr̺(.3L5^`) ky13SS*:zcH|hDyd"t*llJ >*]3ͳT]b+nmitFKNΕg4I,WSQ1Ȳ޲aJ Ur9|Qi)NyvwٴqG;=:ۺ= вx,?sJr6}ќ&lLٌ]SrOv,ꦔ &@ V\,!q9,.!D-q@/HzgcDnl/-@yǛ uPA9GZ_s (l[v>G6X(N TI==147ɬ_`nn@Y?aAKś*QtJ]p9"oʜlӊRؘY1([H#5Lm!:`Gm4If4;8dd(1FjLȸpT(j}7LJ]ZE KDOC ܽ_'e~ﱁ#i~ oRӣle2nZSI M((y5k8cSƤiUj]yz|~FBdޟ9dm 5CwVgB4gˠaǩ`WYR5@^ UӈI9#9@9~Zb䡡Z vG]ˆ$iû:sDU^p-s oxcI d9?Qj[GfZtV9m55LKd1ܤվRK"Oti^Y5 U}'AXk11o0FwB,Vy)'{Oʢo)ؒ"b!Lϡ =V%}.|Vw2r dH8 _$z`Pplg"նeg"5W(@\%-c%(AShܧѝ×O7 j8֯=O%] ]5$7Q$*GQ Ul;4]jXa Z5'o6_b(VB^IpAIRE)lN`A]6L9 7EUl`3~}IE<'ل,s];!gkNDd*!tB^M"÷j&/lsO~n/D\)劈֌ڜ|R.A;k3m/`bGcՃjoȗ19RVbiXnD9]! e<_[i$l0t&K25䏸ol5]@;cQy>" g@K!<^ّ /إs$5 9I9;bfo/֒%&+N!#/RV&L "me~(nuL!B0#r@}8e]$==4@%1^Uch>ȋ71DT!Ս1vۻ(c^3pJOK:2*PVfI5k=};9ؔp>aNnӥ=S2'YU!a"P<`Y'{#%YatFe a7Nmcn}Trm{$+ʽ#0"/YJ#d<֕;}>h5ηE;IB&Uηj~ͥisOlYre$x"dY)ohEgLSNS50xz{i_SeFs qYG4 hö9p3 lMfqyU䠴m{k/7뼃UT~a]93̐TEav}3*C`QO?pԪ=OSտNVR6IhJDžL^Vs4!{1fuGuل>](vbNWh_; }O_6Ny5Gkpt2.K0-^hahYҰ}fP9 iﲦwj 3PͰ h5{Io\3 Wo5,L$6mS-! RAWĬ4gZje'(^VJgxL}(dgk B2}D՛/ U@OSŬH;ELz҅wnKNʴ̋:@?j;br*QЀҏ- b ++ %Խ*V@ ٮ-*OlL^Eu%#s~Jaz# ~79T1y9{y&o"!`f5O 924syncGv Az_Y3rBp2&gֽ-[b&MEKNU!4+LT`NJ1W-8L}PVa>s wh;F)6uPzV)bE%qD=0% w_Lбq}Τ 8ӫH aI!В3 a} \T Y5aſGZBَɒiDY1?(~j^O\] 7}r](n)Ѥo)HLYst6kmV=z=Uy.k Ddkٯ_(%滗Gnu'MaJ0麳 2; 8UI4z,{rV`c? F/1ERz*'H:v4\X=f. >0Da+Mk:16X kqĨL_k:ms% Ӱ#! ۚUxT}!CK4[}۟1qy#j?,U#s2~O4B:"9= E_8&>ݺ 'Kɀ0*z F]Q)fd;JKC(?p;6tHSm~XuSu ?]AQB$JNoC+VX^NpO 룳Dz'~-ZNtlNY:AIP8QYh2iv({87>RJN&dD줼.<}ˋ*]?84ȕ-H$a@%xC]ixfܓ"wƹ/ M |yy!5~*IGW+vl4n@OП<(Bdq5cReQ s‡ 8`/d>lAm@LpmmKuȹ.\S[T_@y;x2;jҐ8}KW!Hz<¹@ ;=Ĉaj`oOswk|M8mazQ9WKPKJgvyeSS~&]5w8ѼR$z_>u֤^/F77(/&\:bGX)ڀm֬nŒ>2يnj19dvS$:V[U*t[ 1y97FVRsUF\y}qɂb7Ex(<:3Sp M8@Ɉ01WDӛ7֊[ ˨ E{ۉS2(4Fqɏ P'< ۬\P? EW,+"ؚ;&[`K]\sd4G9bcږVCqb|{Pz~~NÇiն{kqPqU0Y*ϼl̠dVмv'=+Q>+ڱnFar- ԝXY_Q F8 Ǡ`'R1L4b)XτoJĝzR +QNOz쓙xN[8oRTr"]i [Z(!}-2s,vK~egmvΠ K6'.