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 'tTT4 ] Myhill-Nerode:threads=4elapsed=28.713cpu=78.116gc=2.8927zXZִF! ⼡]ŗXiɟH)0%oT?=q7 ~`ՉS-I'ɼHJɢA lUXUdb:J~W]֥:u ]L nbd?"BիI V6$Mf.4"t{U ]!-f&Jsk RaO*>HYt/ݼVGn"| $}-H C)%zW3GtA<C~u, "<'Up+6<O'\rةMU)=pNGM c1!cQ o@4:XAʡu PlDۃe绠hխ8#4 ƭB)}j K0=l=j|ԤB}a1fcMC(/I7q%H:X!û"aD`YӔ!ӠX(5ZUQ3=W*X`ni.u: 43ʍnRḦ)׋'X\4{<B ,3?vgMm=%j'o5D(<`PW  .t_5tzԶ3ׅ@mkϺPp؁kߎ1^ GZ_Ab9IuDAźg6`{FFrs8SݑṗD4]QK!O nfU!fRH B$X3+O+:,I9mN2Q_$ΗVUIaF/Qs (7>3jCE6T>m OwTQY>ꐮM[X}F\%p>/Z]”AtVt+&\Z(/b&v'kwj .=5)G}:㶕BS pPoB:tXhuyK 8P.1H ώ9)wĂ)듥'#x{gXD{,}OۭW!YU$n˚XªzÄ'IĶ'K:g)F$= `S/@G(ධ傉@ca"3៧!O(s0xw6"c|1бJM[MS_, >08dOm:7:]b $k`)U#cܖ"1A)dln-{$vƦ]ֱT'VW)v.7@gO\:`u+S}*\E|Y 2wNݽs (p嬷uvWQqG(;xȞR/ǘA#E΂)k$][ M@Lj,e)nl]BN +Z?Y_2k+!eXCБB 2.agguR/RpȍG&`=mcګUȋg:PǙƛG{zߦrZn:F\3.J^aG,L&~Ov Irv%E،Aogvc[7K!蓬Lh08ODn8xWGJV'+a  ʵ+<P;eK_k0W0 R% ' Myhill-Nerode  PlRcQ^Y؋&{'\B"1$aQ*)ѳ+ă*&[aT(Vn*AQ HRM>9cˢ p.{0f\sb_w]/) i7G9w[;.o\BKc+=7KA\=?Xl`ZQnju_0sw B0`Gg,8>jQ#'ʰr=[((zq_v 7pKE\m] ;|cn|uMWSƣZ\#G-p/PwB&=ϼdc6+ckCCu*0\fHjoqr XߎF[=o+w_zՕFbxtQWd'!:BVtV@,\yEz`^V6ߎ:!0)}~>waH]b5&CPD\/,CWPBZTEcȋe x{8ޢ$,uzA+Od X y9^hTjӋDb-!8]SD$;(ӽbڷ! '"ϵ{0P܌=.^`OybAMxA)[Bn3"PCk`eFҊ,3SБ'ӱg :'@,cҿ}ԙnFdҞsv^[':#lg 6cve݁r [nRy9Zu;YɹqQ*, Ӻ ]|RKnHRvgx)J4To>%4d2a4-OtEz/|ṋcȖ:1vYpNW{}GO?{%w ۺ1)5dAlzI6vmlf{&SRU V`i%_uwA9{ _)VI5 , |4"b~G;>t|tɳ\[NxO)Khc"@RӤF5 /`P]`4xde(a>)Ɇ6Ȼj!`H#`bƩlC@}t7՝LT7.kqE׮0 }k (㡆}#AqGxMQǢ˞WɩCG܆ycFV "FpC'{M:;9:c{2 <^y6lkY¼Nzƴ-zi `5oj#⓰!#vo]bnĂŕI쐦,ص0kSSYC@Gƺlh‡bv5˼It%2Q6Xtbt(݃Uagfwz4*46/wӔ䎧dij@gGz#~wźhTh%\ҼsD!J_7CKlKX70.HI9Ϳ-J{ pS`? b!(fx:Q0>-.{^Dm (_?B cÎ J_^m.zNVP)WT/uX>NENـFn{We†,yA;З˻w*Qޮ5&e VO0ސk7| 095ZaG\ۡS+s;iQ,v;D OUZ:(s,{$tU$W>=#FwrMk^>gڙO` ڐz0+̀q=*l O 5)&À”sh*ޜ|:^X#W.knᙏe3 A!!9&NJ7\s6c8jc4XjLǓpAQ;HT&':5s!=̛ RKuxy4}d} Gs\3z?#YԺq#\UT-Dw"a9S}WG_ Z۹I;|E$B8b..7i :;'~MUu#lD1rl) } 2ɜ9 ’J؀hiw1ҏh~52$lkt= 1:!JmUmu6\;3ts-`5%-# voc^v8&xqF? F|=uhI@⟓%bK_)6vq86iTlLXylEŎ^ERO*f~G}׵n!TA,Bp[/]$~ډ'%+>r:Yl=ye%XcGӂ<>c ƉC7b*,_DG H/*7wWrCPBd"W@Y{M@Dz F9qf"> o7Vub',Z+0DWy\s]'l16SNE“zTӮ?\h#DonT # \;cs!רJ|wz+,&01 @ S^юdl0*P5g wLB 톓-k-c&<&@e8*rm.+{Uٟ˜?hTטLWP\ѝa΄ݭq~C f0i6N  ibdΥwP|/;#;hD/ۃ1+S. s,|pɅAi5?5?X(spnfք $+ j:[nXIlok_'XCDŽ!;3Sc)';ʜSt~ReURY.ݘ v#4.Z4N>d=ƥqO/Xؒbq\@z6/>c6’̽Ӗ1uiK5{#>1GqMB &CAh֔ `|:ѱRWTKԥ3yfB0z֯B/sdPOf]fQrzH:SFqZ 7 o{ndM>*9UDC]FjM fNJm+`'[믽ǩ!Yq]YU G8i;{UKu?M'kBXϰf/Sg VPa'ClM-SYUUq a]79pOnfذ?FT@oE.x_p8uPM2X2goH:-g۔%lIF&)ҟ ? DWCׅ'%!zxC9á x͖)IU?%F!#BhѩjWߋ/4Y||( y^\޿ t/$kUusE.3X݇sN%@LH>޺T~ތyqA '9v) 7^Ijʿ6]1^$Vǚ7 l ]m}V?W4MIwDLrGqSzqphB:ͱ[uGĵm|jNv./~*v7454 S؀iZ%],?0 0ЉH@-E4*U4D"tKnt(-]?o'5M Ϗ9;';&xI">[S]/{S_U-A-vWφ DfY[̓ ĥ158*Oݐ37V7:m?uھd0;p7nNQH< )1]igi cʗEhiW5U! ++qHot;o=*RBN }\Axli [(C !X+O*&!J>.bG|fkO{`l"* 'Jhx]A84P "&|\;Lm,"8eKH6CC€ n~eq;׾x|2@ >MJU=$`3DV;#P9B$䨂-PD2Lo .P *9J WM;0vDk {dP[;{[Os\5>U۽`XbNxq{96w W2N (BPg`` wiϝDL\MߎYMG) XioW]tbܝ1}#ms\GwQQ|GDQuH製ǏdFֿ?P;~BM#Uk%L*_L7XI hR]dT?m#BHo[o奈0yԽtZD[^g8a`癖n~@ۃK?\A&^Y5s8"iw"={-1-_; z:A&k=#NnvHv Φn䖌z$tې@.U̸}I1>+ P.E"E@[s`KGѯ1"Ir< rnHqR\cבƗ w ԐcM [S(6E-WfsOaY,ߺ| s)_|w4rċtuq5FFuG#n>#͔u)\4S'H |Y,6+Aco>{Z#ӣy}l$aVˉD\gur7*Wa=䠃'z8S-QVbB MiGQn.й ߬4D`\8d ;P9 :8ܴ s`rmo\%VS?1Upo_uoGƙ[e eeaR4%8L ōLBV p[J:0Dў qRM79#~D0pk1W@ ۇHdi0#mXxHx1@v0ռE2=.q):R1<>ݡ8udvlE1UK!=ocy.5armHDVw# u*no,R+ruiy./VgUe>(5 163ԫ%--RTˋV6TD6QbeeϹ?_w$Ð>5K` <;)CT(Ϟ}&NeWftѹqw3u1܆CkSġZAo+-P귢e|;$"n=M6g, NJ I=9aI2dߒт^Ww 7^>BO{Ra@r`UjB'Q(¹5ag&aGe-N=M$ l18V'+Y1/F8kӠ +X #ZdO뿛`3Q ЇJ`E)YبԕS k'C;CWugbͪ1_ W5Ʌ @ki%^]0Q4K|xw|JIӫd-(2+83:ȼDK-ማ3K |dCM"Fz)\sb}xMRL!螊).7!19 #3j\0g4Jͱ}eijjXFH l2%Ҧ*oWnWx0 hH=.}$ W L12[ 1pK_̦~}n3 { 3]EZ]If@6d Iw_U\Ehc*kmv$(׼E#x/ *E!˔(լ7ꇫ/`3UlJ`y㕸צ~1J0^`~P?m'bVhrF@qHI|[`V sCM`bJAu|X-44 B+σ8EM`?Z##sq< B0U=A~T$J1w/Uj12F]ӣ]d, t}(r;(YpCnCTݎeQhSUv9:|]?&8iXR[ka+(NdN8Xml8F2MW Rܓ} :ύrPBxĬqȦEs(t f.N L"2a}D>:bZ1oy YYqF⃈Ů'3TJ@KO9k!sά/2#;x9τڄk%^AV&W@9|B#F$-Lg-j?^U$+v6x9DwBTD@@_.Uqkm2\xFo&o<7d\a0 xɲ2f"&۝iC`2UZsg]gjΔ~]hvFiBWЙhVi BzʲOq#7KfQ$mTKsmGўTEb}925ܪ~Lr:P"}w3rwk{LjRj1/;qD=r3 xM{p@!1唑#c)%6Kwlŭʃ]V!(%TZ7- ޥkTggw`A3]>@)B~//z8r] 'RҼFt _5)VJK,lzy vیi;ar65v;.lX5lCh_J~۾h7b`{ {O!j4 فLԫѲG黜DWa30xǸ@ rTXaδ{{m> ؂)q|.1윑~NYÛ%:e.JEsuAK}>쩬eGjFm:7Դ(m+|I0C?KܵG uhĺS[ZikuC>УmV Ϩ,`NF]3T5 Yaeݖ ڻ8hC&1֩@) |;u{\ncfS'X9h}~1j?hՋg6, 頂9@ms ~Gan1k%GF*tfl@i1 ߎᖎF?#6cgu@(eS!8oHY$I\K޾)ZY"壡 I:HAxab3 5|Y`4>X6\TǼ,5!7&ؠq+|@K¾TKNmYi[:[YN94׎S{h4f?BMKm#^R/kfK<[uէөȨl|:n.'E%>;;ʙB+'X r@{9C샶$uaEq q]x?Y{uMND$ a͗}^!?xLYD;uVNR(ͻ:)K33oTڙwun^VIˢFTMe^3P2"`s4b,0#͉3W#rMדUpM3}Ge.E[Xe%:Q%k^c"mo7TyIW&B#|ݸ'dNi+(!3[离dU _,~/LR')RHCf6pi'gW>><:3m"u#/\&yMV= vs\Q$,&E0>5sD3}FP! $e^uz-^2ǑЩ+)=wZ=C{-YD JȐKStVʓ搜nRx's-=%#iVZx6Ie\h =#Oqkos`tsEhTƮTX<8-~ 9ǥ:i*jVl)=tϿp /}:IM`Twvpw>k3IR.r;v%ߪ*&4ꚥRn}pc:ӯ7 [4_AZctK9[tuxL4zG8T`,'=- f0-+Q:-C*u!-r'ˇI"*k%Sg7*nD4j\y$/R ԬHڊHކ2Ӯ-ؒX~@sPM 8R_6'9;Pen$ވ M4ey Qzڦ|r3W=Ǿ>Cd1A-T9Ϛ M-}aC9 Rsr >P @ ,K`ۓl@M4Aߺ&V5|c-m:PNǑ2sIVx4aI0M ,<`o[ƙHG7{Mer2`C*]r"<.RjDuӍ)Ņ&CWH*~׷$T7\ȫC"d9HodYA6A"ُ'B|?rQz#t7r"Ȅt)S!#8x.q{! z zJX/vJ&ᨿʌj|u?(u# W ]-H0%yzȉ0.kR+nvD{, MT/a@M Ȅ<*MĂurJ۰'aKuFTg+ErӁ9DG \Ȭ&Ig TO7 I %A(zg'x>^;lV }sB7~O x4#UT@bNkO{r "U׍pZɈE]1DԸg~l?`R>1Ն`(Ԁ\ҐJ!.Eč#$jVwW_kHwV/Yic`8Ե֫{YK3[;8&[s_Ma)sv$׮ZVs8rL|`LH'G+az |?Ҧ(Hof# %=1Q@[{BۨX&Ja%iC[XT&utyJ V,1(Gߤ\i9oM}'D:c%w?|w/oI*$ů`ʋi/uI['\uvKS&TmXQ/}Wċ^! @#+I sVO@$oWRmܮB#&ėSGKfkZ0+G&-]̂1G&>Xk^Z|seAQWXԄ2׮Bg a=8's3J^5-,nׁoj"9qLn1%ti14^!d ]*o`P'[xUSuL}f,~!";" ۠/Q .*E:IΠ/ē՞AAUmzCqqRMBR:׽ ے@+qzi&npwdUfN*?/F_WaTQkZ1 MK"ab%I!Vb~#n5'Mm͞ Uq+D$9Ҭ͊ih[(Т`*&|3c݆Rj#yV00ȡ茇~RJj2A׉жpUu͉_s<^4dzy.qtgV@XVX%%b  ON>f~7\ؑ52n6Ϥw3¨k9铗)nN)vc' -:d^zPRr$TXe;De.ͳpc:]A֨#_Iʖ+-18s%2R kƻn ıw0^Uy%= 9Vrf[ ap .KX `Jofin %F ocvWu%6[EgdEz&ֽ/k;zɩ6:wH,[l?~1jqZ+YS5oY5ʳ$J1+Kbord'.+(ܪ?lȻ"֮Ybh=X[ELdͺTfcX%P~֯" Wޱ>H ;.$usLt\vmΏnMl`T),lry}g@AY:߷n^v"#ͬAЫ ^\"s^5?JЂ`o-3&MˏԦ\/;d"arUdg a$ 硌'd%w4R7nӿM$7mQ-c0zuW)k3lPJS;Q䍳ՙ=bs ko/܇KN| +7!f5Jg`AlsoT:Tc2E`0\&zy~sͳm[]єC3E[Ë})8{*M y]ЧL'9~)t>Bo s5r[klQb6ؗO8@V49~Txj#"DOcRWp6D/C6j68wF8{`XGu&[CKGB Z>$;#Ǻr[?jY" =e=яC +0w:щz*q.[,e_^wKn Eiqc/3M֕ gz߆R9CNT#P3)Yҙ*-Tt{7LvB,0|zĖO]( ,Eރp'gn$`NuHOѺVq)g*o}H'i Yǧhݦxx:$m G %Ω+k:/t+GYq1nQ9-*ũfbmٯpb]ԥSٴ?]c}H8CY}gB ΋>}IGry9̽!Sę#=ڦFtcm qwHZ" |]ܶ^—_FD QDկA1Sa0!T5Lϋ5?[ZŖ*I!Z)vP`LA 9dDQ7Ytda>XtdB}Ph% Fi v,$^"[R>Khsҫ gD u>BS,h]AدK++|~mM>6;x}uPv/-j0P{kl"A՞QyuL+"&FWP͠rUF)bibr5+`Qdk_+dR@-:b⾇on]g8>fJ.!ﱲ`ԕ [Ɂ-I# *`#$g8`qsoVhk1A0M:%XRnKһ嚑o"X< $#7B?:fNV5kkV^Qux@gM?"v>"*K [Y03 m&3 _fJPUn8*:H{EvpWy ])L*ɟj#blhyY @yG2fώ|둩Q0zHY<6P$PrfZaҼWqkzSl]નL=+pURӁ)(ɠvQtUHX5AH*< \GkL}+ԑFCfVJ 'םTq3Հ)@3O(kǐRGgYt35J-^ƅƄy!a60-S;[*U.A2zSzQ,ZQSD6a83cHIbչQK}տf@pD?N-w0wӔģNr3nH=tS['n*j^ N)M8lT%~t TfI^CƸkoS5%uv7_x}lzK1%CD=q\&rep?>hr&al F`Ҁ\h7Ge~ p\J%v?^,,,9 zo5Q %Dh;> ?䋣WK51h e#% ^:nF̯ љhyf҇FyK_@9Xm,6B3 -F.>;$8 gJ/nNG\C54ȲlHtZBOBnN9@QPI~bz4JVU0m?GOJ:۴IaBbT@z7 xT t 1(4] y4%KBC!hӓ⹹]̄P.L[k|{kE㴛vK*bZ=qNPges?hY&^ΓT /b1 ~uxIl?sqʌ%۳p9m;d'>kPx8t{Ԧe /2km.Tx bqЩ#^3EE13"->`+@;R"r7 D|ZU&5[ &vI:+vdT W"c5qFٽ I(O ;gx3Q߳\щr`=9k:@)0՞6WL4Pc *F^v5Փ/P} ūε7YrDcTe53q<4StN- 3AGy%9#(gVq+k&PD_iTb7ė].{!UЍkצvtR1V)( \ g~['aP3^D7ƖY",%@#'# g~\#*}^D{Ev)\~l V΃ݏ{?NC@ ]u O<*~6原dϹ"۱A.ĎfO~%ƣ Q5s4o˖] ׇvQ6]t7)`ߢEa) Xsu;pnD=6CPlj.Ks6OyEm=Vdn1W+[?^Aya61gnT%V|/f.QyQ6V<0,vs ,1UӑJ[/aXUnQ KUplAEБU"H*Ml.HS YX,y~b%8Ď6u" m^|k{g]eo[*yc.< ˱C8QB$IIcP?l~t!cMƕwkmף]nP>};*faVXt(OjSa)߇POD%"-\(PSY •X&=L*˧,oT^Ne`bd1ylK ҢyCWԐ  tV?`8 ʡuG&;*ȂO/i1ڥF)K\ꊟM݆9m*Y?SkC:_}򻏮/ULŠ7θd:L\?s5 3a`\QBGفU|VGx\l)7 P8K*L[У gr|yBǫJY wwJ I~0ύ#wIĕYĢu&L%0/#<w 3Rt#T1DMw p>qfi7sI-p:Г _>2^&tXy/pFPa⾢JqS+l&aX&ߪ 0@,{Z`ξ0eYlAW=+*ܐYhzmQ/&П6wFhzNWY Jنs'r^Ke5|'͆?|+OUp;Rψ TkǕB|b;_`'8PLګQ4U#ڢNVO{>GDK W.N hOR?mvj/9 U*#:-K_d'lS>dYᓐR1]ؒf_TXoFH\{0nw L Jrso?Aj]s7(YcT$TD@6d9{ɶA]Nue^_vR y:85M=:)ZT̟>oƾ^X bȜj$ĜUyU0eļ r4b\ m疠5W#v#KXiU\Y.x`'ĠtmŃLh FV31d)cb3|*R btZ|vGiF}z:]|2Eol60-wؘoO5)$Νc!6!1:W ͫTĈdmW7#*X "JQ`Mqۙ0x\%f.l)Ӧ ލˏUѹRGMvhF  2]ɭc?:aߖ'Jp5NJ+6/2yh\:> 2R@&E@9a ĮHHuAIaW5L[ 70*LjzV`]XwZ=fяZMR0aJ8rgU rU1'4> uPgE+{˓:URV2YS#B nn2Y o^%dwV@]X^$ c;:-vnśw 3z_Ёn+ab D2JQ^k%_l79A X1 5J eRU0,]^cd,n&C]pg>;e5w`K<{0No;6W/[ᰧ R>SHN"^l;B IՐ'L X)qTR }oiM V $1/1.[vCEY<Ț!Ū#>Q2~T< !"蟇>7;'ޠ-@{ V9-z%_F=/ycjڬ( 8Ql=@SoB&ye}Trǟa}B]ۖXkJj 5m*~sWRkYJD RMntki>/ 3#FG KAsBQl=nðNPzY ՖC7 70E ) 7OarNs\QL/;#Xu&^oby,c-9|x9SlɰD^Dܴ@3@ 'LwpKernIXMbMҭ4Jl2!fd1螓~}z/XJO?޷fz3{CBJ|V%w| %AʹS~U?2<m)Wʐj&&5!DhE X$g[49вR'mlr-A>]Dda*C6%3VX^ׯ $-tXGwH\3 3晨z '9]O^Yzˡ$MF2 kPr~-wr9j})emߕq>qyc A,7" vBRxh{(̍,(l>'9oL4ۙ񛎧sQDOD&U8< ZS}{fQ^5YYZ 4,A] (J/K^ SrC`;c}L{|‘V:)vCK}yr|rxP/J|77j}~hN/dμRf#LUKbPj>FrWxq44%@Z_Uo;rwhM8#`RFwkQaj~^#dT$A!A6r= *L!҉Y"X+jٹ1q S ;s <;/H/VʍvG_׫b]--疭7|ƣ:Zٓ=O{\ sLpaI! udjrP V)p?65>qeu& = p7>N$VYDvqM;4%n?UEl'!u3~A@~{.K&'rwb(D!+ӄI"pEӐYte >6D.HD a [hU ltb6pkY!'7k*FT}Ywsk456S`迅huԻ04Y(=h(V3Dzo@mku1snپ zjG}GAwX,5t5[2V+ m=nisڜ4:`FC,2sF} JF'#5؋(/WDֵݓ`myn'O-N=M.:"~Qs;Fi+V>F=RN{/RRʀDg-B Z@C>Og|θV!7rǼ!ei0_x-'F!̕^!x|-8yΛ6"؅IEgMGͫ *h41[c3;7}y eI:)JĞK~%bȀ1X'5HSH XWĂ.Ay[$Rs0J1)hqǭzҏKpS3s>Ò ;Q`0@*W)OIiwV r*ELkx^-!]#8 Wi5pfŦvcM~9俸ʦw^R>fK3sN{-.#j {L9fX3Rx[ kY<\DK5WZ2Z!D(32.J8VJpW?k餯ޕ. _ [ıNhl߀]SM>v>|23LXv{^:H(joT"u$  *R.q{$C. j)?rj[iF_?{|4~b舰M ;5@vV˃f>e#*&}`hCd^?p;N1bハ|ˬ۶N|urp'X|s2^Du6X.BXh8BCJ/+9lrH {? g!BT<3Fc{i$f7mBήΐoII㞩obGxqr:qVMq 9IrfIs}<(Iq)6Z.K+hlήؿ&L CTМ!T 2 Yth!mz$bXᆖ /0K)GP5,8,r!e5JHnۍW9Z*WZ94%g/dKA q)5mC0q?9F >37u='ۦ V yEtÒkЄD)܍y=,-O8N;.peL=lg~w}JOH2ZϘUAOI*f5nM S;1 DW ur;V{9) ,迓F)+$#$i *8;`(y&5= \Ӓ$)O .30,ObyVv1(R Y!wλVajOYa TC ֗;woquKz۸BtR;D:X)_vX\U#L$s F^߶rфtDp!z%O~![F\d6kis\-wT}*(TjkKcyftί;){Ȍqw,̉ٵO*B>hkEP(w8i\QݕKFi# 4EYN9sI+/BdRJf|ltz;LW%}Mq$9(VY'6VsE7'A{%Ahci<EɌfDz}jjιxFB_~:D`}owۘwU|H{2U#bgBT|Kv%ERr*]j6ReUw l*GMfG94ua^ngEqRKRHҨ:N]x.ro)/(zRO3.AReשtTx-Wgߢ{ȣ Fw{nS.1`G3bN N+#Ft Ȼ eJq~P{Fzڦ}ƅSZIW#Vq123r'LN$lkVJ\toUR҈>@&4菛˥FfyB~~uBN6\. ,9nB&=UpY(wjP]7mf; ΄;Pj@NSh+XF3e4Ls~:-J/Nj0Jg3\dϯ^dFҙ\`jSx{1k1,)h>a⾊Xo,3 ~M`(?6I?`Ȃey鹰gR Zf\En|nܬXiQV\ džR~X۞رoаq[[H| 팛fXp)>SD T?9A)92Z (yZ @܋ϋJ5iZqk`}ܠyHtmgyi#uAKw3^C3QUѱWlNTXi{l]LM6goX' W =Q2yPL)L2^~,5F}) AA2 .„O ^'b 5uҏ '~s lV,b&9j A9_BKjIeVUleؔ*Bqx Y`uF~ !Мj'%sVvOPLPme=]12N0 mv;YZ1BF([Q\{됹NԛpJPs wpn1ya@]IaJ /[p.o)vڈcD dK&căٛ:>_x%Jхu<؋"3T#}< m O:D苎(xm^W] w. ƙ+HǑI҂3fZo[Y Ns9rUmR峐[Dh2ZȪXZ]m-Ň`׈ ʦPSԍU]Og_$b;̾(f|ݦNrԶ9!QGLpa_ej'?o+j".Bb~-j92Kx4uh #F)Z!mHSo/twtM_dm$%H>-;!oAYb54E-wZIJH\^M,2)adҙ:dܯ54SQa]X1b֪)[ğo:S=ȳORū,kx7>AU0"2y:C*S׿/48 en q~h>n.H2`53'L u3;e?΅W8e>?q,Rn}rvT?#CozA@نjI!VoeI!6N_dpHHnP;I&+RbikegSr<9im0' nu̍MgL1ǒ1UTT&! @%ݭ;]YZo+j|PC:1tԴ6k/Р{tޭ/L tt $Md/7wB+{^e%*LhWU SW#Șl6ħԝofzn]ӊA"4uEϗYBGGԵ6IG,'r sÜ~B,.R<[rpu%8IlZd0ŹoR=--c|L$2Zr$v8xlcp8a9% ^qDij5@D(jLIBt|Msfpc],l{"pl*Wö.K&Jnf>Z8/<9(}$L"Ҥ-0O 9{%k'ɐ6X3h4W{(J0KFWoYu,8Ks3 c̋^zi3* `}/Z^ɄY9+Mw;'^}gha .2j8\1a8|iKǧ4 ;c{W:k:,?;\,.h!ujPUmi4!GgzT2V`x'x=|+y5۱)led twasyZctc=vI[ ?& JA# Z.#0ݨ2%j*2D'[$\Ü8D~6[H4vZЭv-ٟEfzMnt^ F4V@UeWx+p=u|d꫰;W ~S@Ԡ$v34#+[n"`×6ȗᇴGoMdj8+!J>_P(d Yq3^証{u ֝٥jDz_ eI>%BKO3v*eNL/39ZI,H8/ω,J#&1ݪlp98]qΤyUG2Khd[:]-k'6-dl8vo,_=}39C*>-8 ƹR`&jSXb:.<NO}IjpiCZAL/vC5[\wq݆ء/%)6diiot_P%ͤCٛiGHxCGO1.:XC֣VEkauL*E$.SոԌW`yi9a,ĘZg. :ƴx+z<ᗶH@B|XVK y]y&Grw^bM}a{O^ŘϦ58ٺ6Jϴ3Gև^|9 ݣ"鉘_>E\o*ـi1ٔAϮvbk%U[!gՄUFh+=!|jnp?L6EĎQï~ ƊlOD"㉥) zR#Q#gk~4x^'r[ׇ=t:SX=@2hEZ'HLRf/ؠtvF%ՈyHOAPiaP Ҧȝ Y=JB$.N$`o*- {>9/+;rZ}e(P;ɀ lrpsz3PmXKj,:57I*ysMEQ,{֦,G (9ju&&sm/dMغi;bk)-T 3T]Nbނ! +ݒ%q#QBѾ̸_O3I&ց%azf.so5+3'Yؕ7uȴĂ >{ݖQn=)_zFB/10ݼ6fr"Am6:^IfKpCsD;R0]Jp~yty‡o=ua}V}y *j'_(sn [ =qп4|<-=EiaH<\t]Ta&6x,x֕]n:bD@-ju и\ȫksh; Tֿ@nLvmx63J:"T9V3{EF-:Gֳ'r=)H"79PցNHT6NA ]Ċh4WgNO.Mm'ZP]+VGG;f5R!Oץ9ALUlv< Ds8vVI 3zH"-::ʫ"ūB/(+M[)cUCun v,<^A[~y v2Cv#>Qn ;z5R]^[ZsgvpZDy7K>>GDNg+Ԩ#͋`8 h#~&/-'^k*C\>$\Y}5jAhA|$˽P}a)r{=>&0'''pv~V@z _!v}*-UmU'ٍ &٣=~_#+@VȎ!=@3ݨoNRM仠UlMM-ޣQ"?N#;rjBqbmS QXȌelQVODZ<7UlRJ0nA \[tpy&YCn#]Aep)Z %7 x 8\ZI)VBܟv` 1LjM =G?fbhCrs1-6Wݤɔx4*<: Z -HxT߰[o!p..Qz(.iy7\(=a P"̺m# =CB!י @٬7޸Z"ףCO~) uaNRBBY8tۂD"?:2fXε51{j+jJ9 N&|VX/(JMfCܥf 2i4;t|XR(3 V,H.Ӿ $B78`Qfvn|Il +:z˲ϲarnj9Oi;Ji*="<[D-mUhר QCGZ& xg:eы gS/h#!.`[E[|<郆\3&K,OCЂ et㹍WǬ|F b"oN&5~4&[!5Ӓ*S2Pu{uf]O-q4uݪFQmZhzg(XCj] -AtKJfX5ŬycKS-ՋcQ,18%Z%KokcKfOYt ᆿ&٧^+`eN-;P"9lY fG9l{e ^ns< D>@% DL銬ASbWm4ܩ h#Z,nܦϽami*Re5IsxX딹D3.3'0CVF @cTRD7ʐQEijtgge-?`el{h=ǂ͕KjMLhܛBmMo(,2aUP- 'gw TsI9I;~|Q+ͩ7 Og^Tyt=z 8#BSF˔G7ͥ gSvc(pI֍ȍX.s ^ ?0!=b+6x岞w[ihJmK1qԪJ=IrK%lUCCR[ Ufn8|;R9J`6(q9h$kŷZ&$g${f)eکȭ$: r7SI@FJJ/tC߈Lqw"y,긁˗ Z0^]]O%V0"m完g=9\~IZJmrh>Gvd¸s7ɯre 8EHN5-5=7x {y}w+l&9(^P%cr]^ 9f>tqe􋌉02.6چ/UO@W9:1\F UԠW<12.K={ `VpO|yf0d묜ܥS[; z 5wDTGܐ60MBH|?nݥlɵJB43 6K5Mځ`9(\85 ǟ>֜bT`o*WFB/.<wsí8-B=d']-&+o)!FDPv Xɰno/meC 穳Xֳ⾣18GH;clFg/un:Zkǣ㷶}Ftt1ȍVA9WEBֻ)W!͈|DJ4 WS@Gc92Oz*Ayhr}Ma2tK mU=}Z'c7&~@*+ 񎌋Mt7Q^D[^ZkRT9,ӥ/7-l"">Lj"t"ҸZ/A2e*ɶ35wWN0%H;C&* Lq;:kZU󛗋<&ic`3ԡfmaN3\j)- "uS"s4Nlywf+ /mub#6"\uFlAF\#B(%&~ Tj %ogOMsd>jrkŽ~T{Wfs'M -24GS~?U 4+29rFS|c4غ MP@dhK,J#O5@ƒE\@w:HS5Onǘ0}4Vaa`:*o=қ6y`+X(u0IpRCTHmOg=s]jcJnZV2<5\˽=!*"Ħ^O?q`HUstʚDL7";fyY2{{xrOlCԚiԮylKϭ~ŀqPp 'Zj2u[}:r emě#(y湷Zb3k+()ڂd #l[ìa I`7Ԫxx늘'+A^m}vTb-Q2m%t(RL,ٓOx͐IoS1H@.)_(",jqZoNo0QM4#ަ]*e^p]ed"{mPP9y(E;SP?{]켈 vE!i`CP97  F9$̟$S-9.me}RnA]zˣbj|J[|~. m쥈*bo?t>uvaڟ_NE%&}5=vЫs$ ;LX] WC1iW5nC BN0JgӨmnb}f=}]K"%tX< ߮6 gTJ/QYAAm)Is֚73|tGP|5S5ɐ6,4_BUiO 7á W-bZ8L>+( UhKꂂCB"Nb۪tC6x;ZG_/;Dt;%8]|cÍKJ8^[4c8*ƵڟP-N`%5i)>MR L_Daz' +sE +QsO\{A ,C`"YB:WS 6Kp蜱nr=02~eϤ^2|zۃX_dvj^~r|jLp{-.cg 03.cFItc?yR՗s[@?wz.V#$)k4 hVLFCî@q^J~ .z:ћnQ}Z}ߖyWg_һQP/T0 yk?X$C.3 3 ʖCLQ&x*j-$x7;yo( ò'wf$y6m.!t1JoZEⲶ*a7b*xulƐ~I0 {X#@۪4ߴv M}Dν$=ub 5(]ܰi9u`--غYZ2]Jx/|usPVrޜk4n,Ƴ'"(Bt? v:e>{'pVi%ʕd>MQv@b94a5"aW}=+J"{Y{K"h8ҭٛ`OfL aaO(*c`Ey\߼GLW^ ><=ڦ[@gcxM(B$v:ĭȤ 8H6lҖ̉-5rQ%T`#oY#8ASpML̮]eƖZ |\^VbvR fZz N' 淑 ZAL: S'p ҃v V/k 3SF,{ $_YoM~4;j8L<`n"ק kՕQ~I?ԣu_)Y@"}^IK%REDx^ua3h~M5L9z-:AGAڝ~nw2vxyG‰p }FjU# e4CX8c`)U^ ]&I֦Mn(ЖK[v}9l!M֢t-⦅Lyl ey3qaC er#$2M*[9K/TI!eT|ۭ=KZӚ̆rh,{# rX >]>|k}|:Kdy#cuְԶ0=r0ƺcn2w Z@_f|'XO8m *50BI)Gz)[Cj@,tWAZL%a `l/d#A|#Nc9oLhO7?V [ɉB!؁e.75rZ{#8-F=,<\/XE %1`9d!afL=Q́3+H7jJl_Ց<9f]n*~qD7]ݪ7^[:+F8ɞi;u :v:$e6qQ;' g2*[MU{7`p.RaTBUS* !M4 T >jUSWZf|x@ӿ/+ģ}\0@+YN#+CjVߎe8:y8>3(FXtk05i_MRk=O#_^ٟE)DǤŰ lwHmLK”Ww޹?EpiLU7fo] (vMu,7gU24?8T_x-&u8}JU f/e\h(aD_n'.ARdSkHgЃ%7bR ņtu>eΆc\蹖BDZb YBVD}u$ޚS&}.%U[ʚX B yI<:P3̗"E(M;rmOTQ ,ml- fo 2A [ 2Y`j.ҙ0M`NnrB)URc}Bc6%XD~'rJhw1+O>NLtmö .,|> (t8)DRURAו3to $| O%G'),f5Q.XoՇ"oq| >"ohNBaex86b?Y;uri7|(@wgiEq7Q1Z.l\T ܹ -8H{҄aǐw{ᢪY2&g=P[9KtdZ U phea-/Scpy5aYe,yGU+6K0mXi9K*TY Dܐ"3 XHu.4\xuoiTqƪ2@ h@mU Қم[Ќخ}1 ;h^ +a_w(¥8 Lzh! )m(Μh tC{.QNԘj_QSx4eͱdkA bLOWz4rQI!*et sloD&fA'6 { 2ObDx?Ox4Z(xr.Fc'&t~, kOFX~'cb)~;bvť NrM ,K&ߠ_йMdk:abyl`15'"bQ,^ir)y`!=0tmf`TYw2mƌW[< #Jhq%ogbN{&h9d'  Hg $!.8f\=v:Ynb0κbhUPE'f:=}gřQjs +"fg'N>oceQ@C/W)ƦţulB({V\/.jM?(O|H]skNrNKfӛ~9  \(uFz.ߒSր>K  p#wyo6J@>83#fϼzZmYo$Pw]TSDLb 6˫8V',m=FeAgaYlۘZ}iN_ah\hd+ytjN;L:3s4K1agjM1xEAsN҂ &QUar2{I=ǘ0mw;}*7‚Ga} Oj"AWGWHD,M_6eL#MqN7;N׻ӣqC3.*V%-& /XNT5w_Omd U>Z# Q(aHɊoi-5%sKvc k, lkk'cØXVwWbPњ#&tVYZyu\`3ELx"ԅN.Cy&  2]pkRl[9 )!oNp`(].GfbdI6#s\(wQsBrm3:{^(0;R9˔֔ ţ! ZȇA8&%Ѱ q/;`Ixw!),a!Ȉ&Ӭ@x/>>au}!Z ˙,44t5n.3My%+oN U{}(t݃HgWsE[aM=՞?:r+VˆU_-:p 3w< L3ǘv)~ Vb:7)$Ll &??g~;MjN^aHo^Оj/N@'aw@2iXՁ5Vud4hׅq׬0q+B\1_lGF䆰V>?wŷ/ͻ{F4jN,S{Uir99Y}%o^\]6!Wr9L`):jNr$qވ3fTM>*I\n [ sM_eLA4pjqcЁ8ж;~8#R6˄}[dIm2edubwgzrf'd8A?$䜵 Dk"\;9, )RcH.rE6=9 j &b͓MϨ~Gj +s$^wUB1 `m^$ ._,q 븥9^n[z>g_Jw;jPO;Y DQ^o9J2 \,`!:dNm5}О?ũKț]$/}nfJRdU|w {ld;a5!p < X׋j־O^z!&:LB\ D3{&f(*GvT#tOY;ðmIN%SgSMM9QS -4ⵇ<9_hNx#4n@V4Ȥ3\9%lǿ:] G Q2;djR"ɂ-\ HŹYM"W*k8(f_u.@nQm>4L kZ41`yGyԇ|a$޴5;A2j߈CȒ)PښdR:BBTv ק{ٻ7BQ= GtEvʻ!0!d8\:eϥ|%L_y1eǟ={?ժpQQ 6!{N]zpwLȐŖ|>·z2$t7V2/_)vr $M103z`,ƭe[Վ, 5Ф%bn\YqKF͛׭Rzވ@m '6#aI;$ቩ(a͆qI[SP>+'˿*rу2o sn;Bzv<0d.o>72,^k^=u gvUd2poUte1B9 E8T<צaq ^ӋUJ*s-tɱ>"1q'Mr6Ϝ6h3U- eg̲`H. )$6]dv܃CG.aIun9@[遪Aj?iec T0}eڋGzv_iЪnr@-?{|) L~p8RҼ_y)F=#u/;9aHˎˬ߈l: ^|{.,u$rKL:K|GÀ-:; Ž8.4*_Vn`^@ "fyPv8tDu4*rc u0K%n`.W2h/ZLJ\KJeYz^g'[Ãjckj(XHU4~gŘ]gҽ~@ $窺uHr!g2 !-Y.2=Jd΍L5H䎢_jN ~Q ijX7PDݣ*Tt.vtq\9p'.$CBpmVOu=L;M{I@B2<·2J?2_/hq6ctՌTje)[򯶒R/Q׺jucHjAË@H1Tң;2 EH<-Kc0g)%J5QXQDoyYgpo:-O}ۅ6VxD!mGE;uO9lX+swZ]M}jkI-:ȸkmj$0D MFLӧ]'IgYZ7zXZִF! P#]ŗXiɟ㶵fL4i=J|92ms;ә_t6zb&r\x$$'M4y{2e #cVc5]LR8%H-Ձ[vacp~@>. 3-j{(TspNT{;{vLm,鏖ul|U$%rҹsU^;+nsZ`3:GN|_b{r--͵;(QNP;8 HA ! o'[?DkL >SqR =kwQf:wE$_ wuĊLwC4ӱ5?d]-:X& *+c`(|ZU !9s &E~3>A4L$!09Kd\5胻}\!pWQEiek )a-qD^U֦0_<M΋>ā<9K ?IgYZ7zXZִF! ]ŗXi%L&I[(- Ve.RӒӤV6h}|<{ҀȱY&Uޜv(tʙ΀qǕ6~>FޅZe1: "{y0Vݮ}vZPZIV1Ԫ4WibI&Nxϰ5'o#,(Emt'l9ZKFb~x}#M+r5MdLY'@QQ%>S@{͂k0z1ؽc6 3n1{;I}d`x?<)SQ5i喯|i3;L0+c {Ճ9sG ܱR]m+k7{ZM2Y{jbBjlPm}ha/$>ʚU$][իy֎fz 6S|: Z40·|Dcr22E龫5l<+5Qp^S)77IF32 ZrwM债 TĝbM)hfNB7Fk=pz+YE(aMa>OI *}Qv#AeDa tv ,xVG6=Li8 Ӛ4s~Sn28swAl\5y~X:*S,V^3SS x/~?ؓ@^dQ w|>&n&~vEPIy 5DZ(Rn+8PZe;u"Fٜ f(~-^pʂWe? ĄC!KC+U?d:[xCK}7^74^wO'44ΪS>*!׹,3\e4.X bYǘLbԳ &,u<)P^z#F = VhVӃ 2by叿ڇ7^v?iMoUn5Uѩi{Mz2o+T4ky֪fDA\a .`kUX<~ g&S3k;f(5 BTkIQD(- nВe߁?hIF&;CIZWטH^YW5)hx=B?07,pڼJCMĴZmmLki;+icC?7î >2(3ڧU4 x >IfJ|CGom $W\,Ryƛ#YU1sV| Ό`FtRcw(Z1` -ZTѵt_~:eǍy lHb$囲6wh]yu{3F,QGWE:!&{ 5fi&ģ\ꨠ\u!i_&_MogY OkfiO}%qOv ;` mò;=v,_DڮђXxpOXl_Los {S;X[7Hq鏪d8J,ٲ?Vu%W5`n˔w8wP Z5n"%K6 8v yMIK`Yv58&ޢbEpoL4$ڠ*T Yu}MyF[c_ɍA:^SWTQ4]E_jx?oLG $+`ds} Fo8QÐkDB{/FY[V v~\"~ۊ6! Ptu[x8I ]2Z*U#nj-t5DB=:e\bm8yV;m wgYZ28cd46246c61bca284481c51786d67634da782b39aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b