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 87D4T ]/ MSO_Regex_Equivalence:threads=4elapsed=546.525cpu=1748.432gc=58.768factor=3.207zXZִF! M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/ї6}VY}regL l<_vADz'CQ<t+gRG^a#Y`px. I.LJ+!1=Ƕyr^$3b%ZJ>v_狟b9Ou P ZF "]ogb؂a;6)sSH!֝aWڅylFK[@`0bg{gT^GeO;0ko#zQCcAYУf/rKoO(QP[`Rڳv0"y:KM٪T L#i zy!mjuXF;F+1t>8!񂑰8dBr$[ET)qxm&6!2i;-r0f"0iir9j*XO.,C$2hٹ@ b 'DhC--FDJ_- jq.з6 rmXlCp%rG\KB 9E$@o|X>rkcQANDX=IOUACL_ܐkغ Nnų>D0cEw~n0ayJsb% =5g33l`0z/~^W Zp90][3|\;{~r %$uMpnZyof$GPd7[imaAtkI izV=Xo y_aӧ=Ճ݈,w#EjlUv˦onsOn7BTr]/|oQBk_'44qvd։nҾra3…U@#+M-TgXel_ڳ}.zasr;ΪXG+%V{xnFR+XѼy9 )t-F `-:jɷsMsr>HWߤીŷ1*z_1/Ϫܴi/QwӧYe <'x?ə'ѻ `?S?qyK\1VC1?vXE'ItO9>ccD68x`[iZ %++Ԃ#bOv( O7{)L-XAs`wi]]'|Zn 7buˎg2$/d-H[N`W >K;oה0ߔ%1;+[{B;mح?Un>'P5! Z |8D!^݀FZ߭ 0)(;eɉ)cinvR.%AX-`=3GHGk[;c,-7SH8'Gzayfj$Тd EΝ):nCumiW 8Q_n9o'uk?VzM/!XM6Xqgu}ƒ+u e@TW)۰T-g.sJ(LAnR%@2hG4^?ڧ{*\m6m.KI"?&|#V{ZxaщA}*wqT/VT +KN*AA.W&54E e:!=G#ɴl XPk'UjQzQl.`⣃Up'\KTuNnLq  P,~/Ţ |/Ơ6A@iNĭȎXotazF;%jyO3€vC l-7 _dwtM$22v+O_~D0# ߈BUq𓾭dy=N?.gZ5XO9k~T8ۼ;P.GBO C1S;jRy=y{1l;v!A"I3=` IpC8w,"?\ VVQY`LpFje:yXV%`u@P+~|L7Zͥ=;1G䋰y:ݚin[G k:7zJg7xף<ĥ$Zr:DqԒ=,ϼYk\aaXf32eV@xJ= QbLwam)w}lH,,Coۼ$V:Xsw.`k9Am݁f(MSm1Bf|D-0sqQ8JNOz^BqhxFZY ɱZDuԛnD8[vn8xxGa7yj/9jc]I0ޤѭ?d,mQC?4@.1p|a9)g&k>qH!?KXvK,h]18 k|]'X6z|$*Q&HwT*bHtW]+0`3IlZ_P6qq ֩ĆAݠ6_#mXүp$ YZa͑z g]{JsQg6}cֻGUE 0{鶝;^Db 10lFK #Fňm9qJTG}Ss%W{ba͛6vp2_iBd'|uI,Z>.,>L Pޤzh¥~VU)8>Ҿev@0:Ů3rjCluX&p-) -O; m,_:R”]Wx-f}ЬyUN3í]g.O!F ,]tKSp$o Mb[7I5t=k{1_:E(/WLex4\Q\W|U8KYiX%ݽfk@R乃]v)SC\bɀ! |Ua|IҲ:-k1TcAtA'^òv~8֑hxud((굲DZo9USMDKS8x)uhSvw,Լ*> ;#ւ+$MUͩ@JYFf!j{,7QRck2@>s:e6ڥ"*?!oxkѹ+v{3!a|Fj9`Tꤠ?qXH{6%#TSeS'y>Z{i'PZ;'(&/b؊}X^N1~@<3&uϤ0\ ra q+ ȥᏩN6~;hpo77d SK?L5X r?ՠs*N  "UkCald#؛Bd% SzER O;}&핼X[8ˉ`Wa=0 /zV*rș`v^P$-F)Ye-OyLN)dNd"EQYgVD^7=@Sdy5P&Ftڍѥ8KOyLHaVP@-&h6zLTE4[PlÆ+Yrz8wn peW.&}!ɂ ˤ8) -b{B癘p.AdEd! ^_ΗZ!<_6!qwB'\ oEkY 6 DZCѱ$l5|F+?( ΨcM ~2֭z=.C7\ըZk%MМ3m('q:Yu?5 ATd.yW`Î> +pm= m2#q-Swe"lVy:аQ^f0\k->#,@sy0`#e4_Ha֨pTׂG~(>r(fI/1* *1A:H2C#-m\5KvM}A&v&+_#3Xg1 %βgYZ7zXZִF! f]ŗXiɟFTp>>cP$qXLE۹s- ejUkoqNJ#6Xݡj^a鲩PI;ΜL{ObQj UÙ2/eR5[EECnn%˟0"aOg6]/ͤ3H+#.\G5:a_]o-|G^ <& OZb~-J$׹ O?Fg <eđ %갮1i8|a:Nl_vJھ)5D,k՘1t,:g sA>?9Rd3 EW̢u($\0 '߁!B~xܲGϿoJZn^:6_ASbzas ۴/\4C38&~Ƣ*~3^dȴ%6-}Lb'kuHݝLxipA x 9/k#Z~^%˖oYWY1&K׀Ț N;I[vMP x$0sr DB..ʰsiz\+-md|<=V3u0g[S֧?13a ʈ\&MiݘOowBABgYZ7zXZִF! t]ŗXi%GfߢEX$#<KJQAm"eI)Nx3kS,XN4 \# ?T[Y Ufz˚-7$u?sB&>&li﷠tKb0wH5O-T^o?QIoqy񍛁7-HŬ)0} yx!ƽJ/  E"kf:@ y d:;*zV{~i꯻om 8Td:Tmih1`wyqCߏ:v#[I^hzTcX<K:u+'zQ`͏)ݺwiJw )pJ G{d@=UGw:1o)\X~'|H`r.AP uJh]㳖E[P[A!y$<ż㋭8^MCJaX`hVF!ruz+(YqIsCB+ A\?;3ƆL&HHP2t{rZŅoX<)$/X|aza\A0Z &?Q9lno!?n05K+4>vw-Nq{?ۇU4 *h] $a+!yżELWz+U .J= I -\s/d].Fc'Nt ,SUbEG97ΞI?LU *2O2˱A ʋg2VtVYEkVk%cW6]xsYpO紐c12Ɩ/u ˵|0ʚ4nJsԈúrl[5Jw3?lhGK|7:&K[W-6Ɗ_f>rTЁyk b?YV牷uW!N1o2&1*ĝQ_x3퐱!cߟF#PL~4]j`E[k!ZPrä[/+\N{8&?lyC^hXjŗp&5q I JMAsWv.#>G>H #z7ie4qg2?+y-֋vŌ9ӯb)WFNr3cP SwJbe WY!aLm 'ev:뚌{rx=TMsX_{ $MKv/=Gvg˯3ԃJ{p!ݍ4j#X_:Y crP;8GO^.u9DH(V*[Ā c`to}6{],e3;P@.1۝4|YYc5#]-2Q!GXI:/7O/=ٲLOUSue}6W]eQ O /Pf{$}]Qmwv]jԐY qC|(D'TEK_N(~BrǠsezPaPя *dU yQBJE lShQu0,+KKH0/zu,+P", A .%A]J߻z*A͏:YQ^ SO][7Ma*=nӍ $Ӻ2TKX.(xxSNS|HٺOW3:\4їz1-E `y$(j:(h'L]y-g;dƌz 2GmF]6kD/JP}uvJ {m g>EPKzZ5cg³ᄍ3CB8B+-p@؍eL*|-}NEn9H*nHnlӶ][U>7Wa㓡*!ryN*M``Bz9l~%"AB@dd=C`3Ic}/+܃F ً"(pF{Q 4]dB+[Śv6M&$M S459Ʃ^y//<ފ҄B5j2ٵH9w '|w+W}On[J5So*+z/G׭22cBG:ā)n]+2LRmFJgӸIIu6O #5[0_v-RGx\RSPn),D>E#潢\+]:K8a:%"$U8ȏiU钩]Nd=@ (\vD.WZo5RA2 +a]nӜ+MZbud3=Hc/WR;zRZ\D xr??q8| /''D7H0O2h_6c(J}5YPsd@(OAi3mc/l?U՘"ۢ7)mcwؚXuGCK%\CEOa,@oUf-k.xۨ^l₞B=@R ݕ̲.ъL D}.0~e/n&0'1W4-Q0ʀwE%sgpПӷ{ `?cGkf `u:P,pXBn_pys^ 89̒4RIb|;!C)u/+%r 7MsS&u3Bǭv]1X j2sO&T!P\H[r᪝p$ms"Q7.(:0O5MVf޹ e-LJy6Nj XwݲB8Fًy*,ofISkzHjX禖A2JI H碂T[\CD^21 x)-&AFQ TE䝟7Z Vwy ;S9Ǹ/'ta"Io,*"&s.tˌ3WNeK CjgS6Z=_e,^<>FM|mTiZymR\V @Hi<[VC"`v$T,cui1͖IlX$xn"/5/c*Euա yÒƆQ/d`PRi.\`\'WHF,`,qDلU˩ <+dwk:`.H,d*\C{:$Dtcn,!+c36$:d^7'm2FY=`ha :w -Vu~S 炅q"}C?$LxeOټSVLT9~+L׵5_AhdEINӾOp' !U]|lՊm MeB)Ϣ36-~rԓc ^}u/s=x-g;@^x= Ai Kj&+{O ꭄw"wGMV߱)LPLax'mӃרxFҀ* J]|$?\ n R "7NP`g]:tAK(5R3a(a)s:FL;FZ1 F/BzuHx:DP_.~?;B㑝 yk MZ0+.9j9..oFpUtN89<ƍIW$ n-bv=Eӎ O{Wַaݽ4v#<&eŧz)sjޱsiUeW R>fS6)w4=8G:ѓ Ț2Xk39{}m{O;Ѯ=/1]=?Oujܽ:ˈxZ*GktdwإIC{@!j#0Nu ;o^AX3S=>'h(? @%FZQ*$sRzY#I67>}b'k&>oNrj5NV8zHERZԄן:|90+}vm94(<]-;/P]OIlX9 jŝ⋚sch^eZl5!2_dXBi t/#T ["3@d/8:oj1\cyfnָLL6~$Sd-C]W:(GoFWm?43\LL%. !)WrX.8AFMjn]狎(3zG¨yd(o?6IKcffs̓XM*0MnJ |Ђs{(åaeb_Io4lc(`Wu!>m} ¬N)VK}z_.CuI B^d=1o*a`n 俔*Jb;‹<삱L0&akO>JWN $1ڌܫʛS q7u'Y X'e4˲$/9?Gbg䙻h|(m@ JJ[Lna7_#]nt-9Z~r4$;j{9R$_&(]ȵKI.JAx4:5m˴կKm{+9^7]ygED[gLm^NrՍ'F1_X)Vk1uyLOɧ7gro/9}ǀ t=XnٷP :&zn׿tؙȕu/J5Q@ʣ^)c.ls̷'"f6t*b~3I@U?iqdDk?L\zb r㎌˖/4GPGqS`k AՁͳW-K+bz@>?*a`?D%ڴ{^ Mh)D |k?IRIP_+oq[apI _N({k]ՌFZkgzuvA y|9(#|c)g{9 '%nWy2G g ¸Mۘ@6h$рnlͩx>=XR,2^шY3啤'lfr|T2)@|:Ҟ/`w:к2:9t˚[[@!U õzLaDb'. (qS!ַ& NhCλf{vͣԩzFiXst *,rIYu*(D[?R֎8IË8^^Q')n%=_))Z X'#{-B{"lկRZq[zA%T|A | GF4yi>XxZ905_F8%V0#.d0vt|(Wb덡>NL4jզ`>ǖbnўC*7 :f:L'Gz0ȗ0ɛXOЛFĸ1Z3m/DӨvqwHT/G ?ƾ^@`aĐPJS;-xp/ Bx(k klmA?vS}v $#*OTnξBO++ J)L7!7(Գx >(;Bu`qn(nL뷰LD`!15E^'p.'k"FiKrC9o"^ 5޳$ZgYzzp1$ WyZ2H+؈oe,vx15ӏ m$7jָBfˁ[<'cQ:w2B5 r N4aܓ#"t+uHg܀fQ |ʃdžעiaB1n<Qm@2KsI-,{ +]0t&3Q&"SHSʝ.xJ.[:d':$9M+#.p*X0s_Ѧ +Fy^"qFArqVxFDAj'{u,%-soSq!:x1i|][X,GMg%Uۄ\Ӑ͒GX6tJnۈUcvJD-񿖪Bs6gl-_hl~ D_j E=8{VM9^ej%w1(ֺ-Ș#7 nůos-]’UކF*kx}Iv~ЏWD=9Bh &tf&:hyׄۖ193ٓ+`B3/N^Tx3Sm4?U548&G G$I8ԡɁ#mkl~x=HٞD]ebeڔ^J@փP@ !8Ye|i⯓hntl^ļ96ˆð&Htt4;z逘": V,OhjWtg,k=`ԁF\ 5x>.5Kpm1hpd` @3|t3ߛ쯳EF|ؗ#LL r˚\PS׾wY{!Y9\/,fz43{ddhpݰ9_l`JlliY, h(%+5i-bz,(mȉ B -Gb̼ ĬlZn"XY<]^uo`ۂNpM)}{(P>ϚsSq b@ %Ɇ2KAQqS"@_c̊E-]U\$*›M!P LZ8Vm(\㮇2;ɑڮBxBQJ8QR6 ܖk1iP՟/j /0J 6G.>GM+aġ)4,,ahPK0_[ qS1'(gSEoj*NN׷Fz31%THfqƕ"d^Žee|S:\.).8';p1K ٥~UHַ{Ks2t Kͬ4,Xf5ԙ ,"@%Hn,TT>l`S<xxiXgbԢABPzģ5QS9}YC> لS 0{6#;HS WB#̯.S6H:&Oh4.qF*]>\).gjSz>hN4—ڼYDl]|'|vi}G#2u+ŝ[ -7`ao3qTKSnDcZ 5 ~vSɞ)(1(;8AnŴs >z%ҙaL*ҫmYҴbk͢!grg+x9SF_ZqW7 ڐFGd {tF2H⭛rb:Bv%B~-&f G4jRt:{E;\}׶޸]znC Rw&DzWŐgyS<iOƒmF*e\ 酄}J0\8ɸ8b-uS~BU/S ڗ~9vpG-EΏ GJYewXnwȂeg<[>{O Cc(7] (Jll]~)ڵG"jT+ٚwؓ .c~2)g!X#C r3^RWE(Q)i/#1Hrv:EF`aa;M\XzWa./ SݰO:1%8qnQ ;Z :es球.m/1[ɀ2I{3\"%J03oU:# Mi9z2{Y,:7 IYX]=zwvbF`EE&MS-b Dvc̃[}Á ?Cu]?!8s_ަ@Gk"IQՈm}q{YQ =.vHf8v~$]cny<fcZyE6LGW8,U5 [I 89/ {@qgźebXȝp{:l>{~?~=O)4Yqp E8ػ֐?.>Bje!Q7ꌃ08So_{ǧx>L԰F䶬X%Y 増}v l%ǧ X 7BCCuIBfXC@)}$uR:yL$n00պ`rĕۀ#la+.Oag G+J#g>5L}Yq9$zIpo$&zHaUw˩g3e6.r/xvB.yXm7Wl$dTx0|ܭw_ %^TL"~ hX{<"j1e;!\&sj=f @`8L{ Θ QKfvЙ(:^?s_9!enIz'oq$ u56pW7Vt5J7TBRnP~]Qu]}7r:LaXԐ-%AvkunaV:&Wq xxVt6H"̌?yPr6,8*m=TetkpΆVXPҁ=H%gWBPi-98}5>Uw_3͂ @ &,;DzۍMt-Gٜ wOFQE9ܣ%a(Rx;+u:uBVZnj[`\QR[_SpQRuUZKZtAAy/xv Ԝc~̼ut i ɡ>` %D~&z~مMyq/1bFWz[3 CRf9HՍxVqe -4c/M8( nڐ< 7B,V28㜡&,n%>PNy{(!5v^QdO.~`3 ;hYxZ_L>Xfk 9[7p1j?|8m+a& (w/ܦH1eȇ0sIi}vsaBl㫷[`Yyے􊉳p(.b<${`KQR'D fl39_vqP_W<>PQx3q<IQQ˷Ϭzk?Pt8 6xOb X@Uf u2:oKtTfc]?&[ooV}o}t|7y=L{R='mNoSf%";.7RK]"w&[5.0 5(,}ZL&rD|KK޺{ֿ{íb2PU9aV+aNC=yEjYMѷ`VNdF""޶,e05e0!pC"5ݕ^*#d;1ha4xU%=#ygY\ LCnxa%D ՘FKz:SxX}9L3 qKP*_ !?#Hտ48/Y\=c!N7hKIPPP|caI{}yB*9:ymk) ",#(+;0H-sQ-*6 Wjm\Eqf9e7Q}+I:P7jǦCd›$][v`@P=HkxavS}A8T z7ۖ2V0\"f]bn+ztt\f 9dHvTъH C\p@s\qN\j騅wxF6_T>[iyޝc9r?`u 05(nDD63 4.O, {>CPUE/"Z PH#_2?An-_8d〄,eś=Z}/v>EC$S'ζ^9 Bmql:U ͑]}-SZ ΏLٔ"^o-K;O5R3u6/ .ssH7;_aX}!T+hY> v1( g)ߒLHzi de8+45<޴ WG/=lIߙ9 ",嵷1lЈ11"q 3bhtuL][smrq+|,Ǒ x=cSVQL L,Ze@tMAF%-y_IS=ș#wIt̝Iiv cXE,eiG4TQR1N_RKQcZ¡g#Tk䄄by" (BUY+k2#J>5)}s3 NB?C!^#9% 9棐TA.T$ [1y"K! YKU F.ζd"T%z^5] b˦/SA2!&QPg仝kXĶ;Iwadӊm#r6)[{:vNa1%t9 IL x%AHG_GA%Q ZçR{i 9UH֭VLډZdc Kin0'/חcáHڝJh&*6GL|Sȸ=Yjd-HT &CŻG.ʁ |Om]zA2BqJIp .6:s6yÜxwڸ! Zp=6ؤp|`mP/3]%iP:R!Q&YMb Z¶4>L5>˓7ʥq,>Uy{P 뇿XHBdҫ={5`N]y>ٚW؛7Y5مYV) ·|wل&A@V)M{J$w!N[m:S@jm1Bk[UOAaC"ەՌO7U~d|`M*1Š?: j|Ŀ@]YF$,ߚ]Vmf[b=}(s W7_2ʫ8\U8_fz9򸻇Sc+ vJ\D+ؤvD`Im0vϘz{>34 \&+X%Fb a}Ǹ<4nkف,58/HWf/$p\)j͛!g Ox mQ w6O?|ycM@uuY_6Gx̗"ߪCD(}2Lp„"%!awR^K tTVxs+Ot}I ^|6u)"u3n?x5`C3>m?uV=Q ۽?}{灪oQizi|aRx~^`/fO֠]O`4b`w+q3PUAzu.D|z1X2f/שo2^{"|erGM^]0Έ1vP%AdqJ3+2BfH3\WH a=;C{>oZ4yV[b+`J{b"׹Ym?)yF`Wwa Q a+8lb[D+.45M8JL/Qs[V򠠟hߚV{#IKx*xbg+l+ lidkל2*},SFi[ӣIYUC͉`ڕ/IRجjWw2MP^M}%g{9r02i*7Yz"*(bFYT]C t~Dui(l>WrUkRU穯i+`SVВ;ցyhR2 a 1%Ym3LFS˱nYIqT}ރ"qsQ19!ҴaRaPgCǴ}dv | 7Ë.@sHew+qKV'DC%UɎi4,t }"k~(2ow|O xWqG)znJ{*JxG&1Y`$4KOsv q7E%ѥS,(rL86U> +'?dsskF[%NL '-It Vdɍ tC?v[B (0`"j:%4!ZیRZ7Csd\b6 NwȮNV7>DԸ\_LMrׄ_r&c {{I#YH2r|1ONo`k<0y?^u2g^o7Z[޹{G7~"86Mm-rt3in+En447Ŕe@9;[f,Ɯp>@Bcv83v8%sH#tverV;`ȓ8`$K-=vy^Dޤ{$9ONI 6bFzb /b ϐIXf >b,vPD14|/yOyyґ1ැ Q.;w0*&xIU8]T;8/o#9Wkę0hi3iBoQS >'ZoP_ p:I 2!'!{+KTf! v-QC(V">tpKd,W ٨r{V '?>mErK{F'P4@V쇀:C ( -9@q B}?kA8)E6z `8{YERdmR{ K4\rv`|БwSxDN<7f*JW1`91HhC/̖0P7߈Jú7/o}Wn1G]cN|Fs2|pƆJ$ksKDjvޏŋ\Y`twvaD;Lb~ H.oH=j~-Ggys.?=X"~Y㳊լU3Tx]TҦ3~/3 I \|g`)#}JUZ UKޱj`zDD:OǬ-7G3Iyf=r-oB=VyZoJM֨Q Ip3㥍6S(0VZxi?&H ߭҅a1B] )\6~5A%ˬ4zݕgXT3!ɷ# !1Դ&CzۉVn'cEOf r[ܛI@q~Jr'wYÌ>s$ƕ2( O$3c^/> 7Q; 87&we!T d<@:{<:w'qMgt)?ĺ[q`\ ٲ&K,b aaڱzdF8c ܣPT._w*gSC֬S pPj]l6wAhj>ʟʴ}2C4myIaq4UKB!R/:*p5#7 %d伫x0;I!is&X0蚆nR nCȷmr>p>ʯeܮe(Ggܹt-1h2#OE tDz'H4Lb,T(Y,cUc5Rs&+n)xj>3KL)Ɗ T._kTn9FY6B:Tfҋ˾ _+N)4'#([uF~/3W:l4}'Iњ[ʋBRlErU IYUyK7WB4B-$P1H^(.<Դ;^t̓X mx{!F Ifp4 NjkN쀁@s(>S%siqN`A ܬ>$͍@5K[aZKvL ۟Z݇.%,ѵPJ9܄rԀ$.(qD}+qx )lrE(/S?`f7]\/";6oY,6sR^Xq[XtsI)Э^.EH&,zŻ&ebV ._.Yhn߈ol/Y@ qj[ \cɅ<$-hOZ\!0:/IoM r?Ȁ2kl Lu%}\2F'qgfԨ!@Ž._w$_ ВfXGM.a[ ХW^儏MT#hztJ kcd?_$Lt VQSb2Zyi1.rw٩?ugw~ ~(Ճ<pNk|_G#[>4u! h8GAAr,w2lWhT Ҽ1 7)6Ŷ=܌e^Ca/i0k) 1ԤSB-{PNhÅPxѩPՂf3uV05xr `zS=7pF`BW\x75h" >4S :J@73GWi7u.=nbz#B߃) |qBl1}2:VH="ŵ7Ȃ}&+he5Hq9KVǨKw*U\u~в/Dg3]+QqJ; |m2$27hV [3 Mw*G!T&D"pd֜χw@)m fPLZΉIrFC-E_Zǧ@m#B++⤉l;\ꩧÍtxJ-sQRQ TR fo3XYy>/aVk\m.Ckֈ6!7*p߷IyDC$L*rl|(ec<#9;~~1HAWLjGmEYޓ DɛEg9p6sU#AX>akW^q%ĸ=Zi#. C9*pf8X* r$Jc <L%Uz"WoM? J)A2zKy3Ag7Adv=U*Nخ]^Y@^]+%Hs'%|0H;ve9~^Trv7Yl&!*SU%nѽ G/a&/?&1.kd]hZi~r& ]ܱ+gS7Ք{5ZK6%-ȡy%!(nAX^)-v}7Gi$:P]k d!^,::ﶞG/$q혪=Lǽك櫸I^#duZ=S|4p mbz* )pAY[]=+a+퍱xMhԃjSH/z[ޣD{YP~7Ũ50voSAH폅7 #o>D0),a:<78†NbT=wdҏ#!)E]`gh&L+<TmBb9^ ]׸L6ѣJd"+K!y2+` l8!M4EIAwXInu2XgL1;sy#$fC{\xs6Ae JuzsK6$K7ԝN]rh p̗qUO keQ7 z}Q.J/U;HEAw`DžZv&`(P+T{𵇐li5z>GRX!? drm>dIiTƴȣ!؜޼WdDH[hzVQ3!g:fC>}*&ZI?N%f W g"6,?u65,2m@ֲ@Q SGQ9@tVY;G]Mm`)9Oc:ㅆlqn̈́FqMu=!U l#aMQw ڪzM ec^_@Gһ=}wC"P]Rq3J lbppC-^o?[O04W1ؓV5ۂ7(J|'tq3yΪɈPk=q5\#&əJ5þ8g96 UbiE]WjG[ DGFq ` 渧_Oa)fb l3*#eЋNd冷+21F́{p6x~ ">r<hFuxw>Y=iдBރaKqQJI~_u-\PI9c-_8* ICdg5t"OHkb0ٶr#w׼ǗO&lfeˣBN"iٝ5K4S:vWWIbQ):hrrE'+i{"fЇc_B !Sh-o[8)]UPKhkU}l݀[r`L:zoZF<T/T&vaER\zs t[Ї:Π:$hRA]nB~yz~:x*h|qESTӳaQr255UD!=Oʛw@ލAϻM|DcnS"^7/ӽЪ.U$Z_OaQuTBzo'u'쭲NŠFT^fs/ R'4U"F8v \zpm[g;Hm٭uY> iQ*1-BTOх{im*Rԝ29׹ BIumx cݷ;BϤjkEjQpԤ,#STCom.c_Xhח_2ضkʙIpGeinvJi};b2, kdPdd&TۜtF.8+Ц@m$uu_ v|2OnB R@iƃ24FF7 Q@eۋEQtUU*EAJ>G ÅJs_F"Q^PGFLޝ* VjZ{Ii~fĭ"%.)2)x+nWLmuxw(4~z >5uQUblR`U{z [n;tTKj+cr | ǸN{!;(DKM~Bz INˮS:R_30'0/W+N+/or_2m{d"( /X@C1UE&eubcZe'=R!g}1FJ[Dabnr gڅ :6'P*o<=O5T( [gW_ߧM ^qwrߌ:W( A6-c™ zh N  8W/=/+6Y m1㱦i_W4:cU(1iK.Li4|^T-d b-Á;Gi6,ɾ a6Smι+lLj)x_ZP .^ojt@[(]g9<3ڿQ5%9)ERuVďm'<ԔtG$!jS9Ǵv N[p8ZW$$YQVzKׁZةR1ܐ (n) Lu։ki7>s @8O)׶Ajny.V*֏(\e'j[ڐdrjqh( 2q#d~R;JI;0lM/ri˅IGaeF!enV?-m ͞^ڲ!+'wلseܳṚ[voQ"RYLsֻ6 ;D8bVqOt!M v3w!U7 t f/ elڭ„>8'7%RR; q1IV?RXf},2ى =1 K"}fct 7Q]iVr0/eOUњ(& f,Mc+8?C4<> V4%n#:DDpR &Hf DZy];)A4'0Re{恉lڥ۷f}4vutt 3J/ImaBuҖS'_> l܍p(%г O|.OCU`ljyGDYx-@m񁂟X}(o3 qR!a^LvOnV?F3G];Qdj3K]C1Llu_SEW1r28V(<ĺd(YW_UxiQ1H&J r{"M@ի5iT÷JI195v;!!OyƐ& ]u )HH2s֍9`DKB)m9':55kuaVeF3[wLzi] 5Mm)=ښ6c,?_ܯ@Ի2 |c}s|aCZ:֋ڔUumQ~Йẻ7YH0CZD(VYe?(_R :c֒LCm!< q7t\`;tHI~{6FfK tYdI|tcF%1^&2}jٛic=jhTģT%ʅҝ. ,uH8"9^atE1LT ҒIݛz+mӪYLyJʇ`TBS dڅ,:{awT[ЪuZ5p0}n->ѐjd&E%-(wL}U{4 /D\^Wbz~A.]qU><\20R%qD9RC~}ռhy+rU0̟WS%tVdc4J6sw~"\auhcjޫ+~Ju;;msR{RB`,"56hrN"i, XTs)-It/^Y&pG _4|w&Z =p^ʺJgm=tM>J-6gei9YQN*D.*O8Ԏfh.l,QX쁰g g)Gb͟?(+jyaq?%LtX'&~cSR}룷1Zu"QzkPic%=WJu85w1֧Idt}72Y>)WOdNjp\mEYn }{)4 *t ]fǧxLpM#;6";oGӁODvR7@rEU׬8أB@3;'L*b~E nd=.Y.AwƮU1-> I#V2|T!ʦ?ކwr`(,nTbIEbn3S:~Ily,mM9:>;'P\+өb8v+Ī.u,t$UƢ^xHE៪d\ (cj F27pg+.(䢯ccޫ 6e/%TE"zcq#&BB`nHwqdklp3ǿ,EIZ3k(C#a6v34=)<3Yw+Q7y5A] eK̩{1RD 2o{F%=B(l[-/y+b4J+*x&#N~y% ZNӑF6 |['us?ᘆ"5VSWϟ>V\$PEߤp eo:_2'~!^ub/TfY\ӭ듏qA:> fDf9ffE׋\i jVm;qpl|ǼMkh Uޣy+DC35.:{]^xaM[wCDwú  IpM"iC%C8*,H*H-%,2gH؃!Yƞ_@vg>mӗh oWRm+pD8:P@d^5׊0IfKEĥȃ ²p%)Cuev-sT{ɩ%=T7Cy\K%Z`|H;'Mw`Ulv~:xL:\-l9!PdQ1pGuj8y sx8NZDt7d%ADP ,ruR‡.Ug"!3MgY5s=kJ}jKvJB}|ga1mYw,-KYX)I f_ xDlxCƨC`$aPqxPGPqݹ:͏J.)G6Df_H|JlT}|v~O@"a+ߦrR- ,1M ρT(/圵ܚL!IL`鐁DgɈ cu/QF0e(|{K_.vCڠJ?>C`SV9k|TdC~2">EuŧA O')%04ۗN5g(nsO '=m˒v7KVJW៻G;E22쒋)*F `JS3ߌ;V5^>;ν$EΖ\ $GbbLț W/;Y (zRfTNEAO2 91}`݄BV%  l4ۯ•PILoU7&mE~!JލMYM20Kl+)t+). XS=hz,A(˥NpAf$BDz':, Ճ9E@?OޓJ!G`a]pʹ(L}^.mV,'u&Y#b/낢cj }}̏UIo:b(ctlpx}'[Av'2GEWK7P щ-'u;K{s'X3Eצ<  0JGbPOw{0/`3OP˜ʭ&Fl:BikA~)rSKg[g׳v8S  rz> γTN#)tFtC(+WӮ]N[nTTrD>B,i Br0΄})y*ҋNPWxA-sd4*&Tf$a-ntc/5N i80SSrǙv`phEx50 q-?q:KkK?Ќy=FE]AӠ#P{l'aoV Wsхd=|Cc w[G]>#.wչ]=2-ǂ>R (P̮LgUb5j\\n$X:ۆ_[mVtm5Eejt:Z}@\VL&D.' h4=C)vÍʈX!D9MpQ\oHZEߡi%d˳8}jI$'GZ&_LB-#M<@EZey`MWޛe{Ynrz!j~/6gS 'NydH 3f㐜lJlEޒ@Nv_f ?ot;%PJ&EB4:ȋuRэ.81l%. @RxC`@7Ɗ$X/(9R)wjPxZME(r*(ވKAgZ졽bIY5sS.P5BAc)ҥ| !%JPvtk\6 tN.E2/s7(Ͼ /7~'Z1t#9mKQo6g/ӛFu}jkrb(vBN=)G9rX8աZ7:KjHRV(-SHK_)TFlV,ٱX^)T/X+ѨĔ_^}ōuh=%h|FYhMz,2ǘ4- UZR+S<<NzxwŚ ~9d?`bn)}invJaN.[L]9Y jPK ɲ6Hh"X7f~~Y܏W}>. ެ~!רaM0ϊliȬ ^ݿLDΉiCܯ'>\ k!>։5¶ݯQ#r_mzƉ#}x6gF&pJ Pt }'wͫM"% XI^*0Om!m<=gCi]Bj?HDI :7j3߁8(i9ѦB?! tFA& z%rVhSݡG9tx8me-uaqBHL+upƨSC|:TnGHfjs&AH|? |5M뱷4ՍWg;=9܇Hu?O;ڮWddBݑ ߰#n /pO4q d?FgW it7U_F Rp%]HA{N|5 gPo6TNT 2P|9 U?4L^U%sL(iyF ]emY1"QYt#].뤶 %%A ǩ~σN S1|bG?[9mt{D\ 3W$;,팀Y%("̸LB;DT3B^ .ۖԇBN$I؞f}5f0s4OnJH$-g|4>P3w/R  6 ̉xNUd= /SU껹3 A5giM{Y#Hʁ<m4V(9b)ʝb7ki19m^SBlpIƒr98_\ v{3j6ㆾx=I%j<ʧ*!m(抈XZr.g%qu (K(5|V` FD!D2ʈ꒾ D e>nȋ8Rב0LWBL Ź%w,/$wgJWd՗I,!ܗ\ )8my Cp[YEqKi~RLpM?Tt|Gۈ Ϙ[O_HiJe )ռ}@oόAY-gD,Бb߹7.< {aNӫOIFGsNr@fK`+⨀C^$z QR*B[sK; N:^MJ\hËW9uhjbq Tr]͏3|f6w#dDp UЗ%/E'1`R 9뤄G-`[b&ChRg͝L7?GV&!"fb?oVՓ_ge>:1c'^MD[rzbZ- 1,k%so<iǺԨS!xvnEa! W Z6ߔ0,#,<]Bۗ& 5 =MиceX RC|ttME!x|^6ys!Oo2ΩEiy-EZI܊fS/k lTCqk`t.|4HO˒lE\qj\N3S)*2oxt ХZY"2u+*ͯ}۳ƫ(8Id eݮZ>/DTV贊:tS5fUdz88EeJ2+0U'0tŅ.UGq3N嚳)YKE0G" ,Kn4AdF@f[YY|"1`δxV/ 6 ֠z?0oV'f1ښ44/8O + {;)(z0f_h۸P&+k``ۍR1q;Stu4J͠k2 ^ؙDx+faKş|2B.GIl;B`en 0s}{+{l%n%?¼cDEJtdg8,mK*A:IiNyq"} g jҙйʞ׭{L`";`>qnG/bv\X7 m[*HZ9?mX-FޓE"0J?Qe߻f{涞Ҙ` K='>H59lYIwҦ ~Os\ج`᳟\ @6~sGՀ#gY^}Q%EÕ\(o$'8BXTtDdjfOTBUB DQZ oUپ}lI6  LIgV uW(F;; JmYbIAԧ)hH͙NH{E+1f (B\qQŔph<<Ħ-e?}8V(-Uf @՘ԕDw6Nb$މƥM)p?yZRMXTU4x(Sv`3Yh5-&C;Nc伡U!Y cfzqhQq׿<@9&Hz1fw6sbdrWI-i!˯vB Hǘ @Ķ|A.kIU2#'7dA2LR8*4AKXE_e Yc"A%Il"S^LζV'opTiׁ-ηoB;.*[S:Anq~<B#` ^I;^$,c)toP9M91dw󠆉1q!fe9R'|/'7H8w4)MzG1#?>Z^Ҕâ!#(f{2t],B8D Ϝg@݀ D@Гrmfv%&x6-K AV->К^>IrT%'3[_nnǘ(^?=+,’g-e#ykk8oV ~):h)T,b@ ADFWUφZ'ğ_H>1Moh?8>$Yīs{zfa9x}ggOO: I?0<1=bvT"{%ܙȾHRQY@c xrbk}O'.O#+uF~5v8aADz 9xU p2DNmԱ{뵛q:Ui[xtl$LJzMY*::M7l#+P4/ _d6E2[d7e΅3\Rr²/ !,c =(NNx <5/\ yj4e\oj)&M B 5\%cc%O1_0LǬK(e!spS3p,セ(#iFU6/Մb- : ih屍Sa~O3t?K]w XMcť@\v9L fNι"A4Ci1;lPB H#`w* <@@XS\lQ6q@-t8Sx,ߌ(E y=T񆊽M1KvBFnJ }i,6;/tQi% iA*+\@A ?}}^̹N|pxW}(sPE aB:ȭ7.(yLaa䰥*kA|K;r^udbj`r}.KpXc m#:Rƽ#ϻ9wd8ĶVfJ0ZYc &̪M8xdS҉u(|(uycɒ΂qFo:%0Z\/8)0l# 4b3 q8,2N*8]-qxv/T>糜]`8TRfTWˍ3EL!/xQ~aFZy_?G #pM1lkSO2v3F8,캮L<>OsK%gj i&O$,UzTN.:1ǽwNLvH{_Ϻ-•@vE`dF4ܤl*״|0bJ&i7A;suwbMU8f1 kI!TV;h'YP] A~%Rz7WZ$Y ]nwЫ pj ]r`@ Ca0U"*?jsKRQrb񮩫J[)U84C8WjFI!"7[+Sp}PUKb& ײ?w-cuNI!t:)qjz_mgr֋+trΫnaPo2b] [ -vR, (O0(W[{oHd:l_}%F7kMjn<U:])/C-/!6;цפqޘsl]y׷i~; r?t@ !fy>WCG@Cp؄\]^ϕ~'dZM<(:x#FgqMt( p=i\Bȹ1b]t09qrW_, Ld|!mkP"NwNSڮɘxA_/ ~Z"ZMAgq.h (ʹqY B5,:amBekn=^tMo((^k7{@/f9›9.2 #vigT1$> {.12/J꣚2OEI6?(i/(,pU(5na5\HH$D ;sXWD6 LܳنJtҗr$u| k`MxD.\ //>˺d|H3.V85~Wyˬ yMvƲQ/ǟnh&TpF&JoaU*C2X~< DCVQ&c%J$*]}{7/㞆QM ]q7OsphLo+2~aG vpvcV֬ z/8-%4p-~?vk6IyTdi#g,Gj$DAލ1Qb ˾abPz902Ifqoٹ8 NU`yIͼPzBp< zdWz$=0`uEZprJyPUxmpT`B& >CYTwFq.{ )Qx9aOr0ll_ݺ9 '-m/~ʤM?2Q LaR$q,oWo;42m͡WNK|+#[;^rU&`LӖU۹c 2Brn HܮxI^ Qf3{y&x/9 +8 B-ZKs¤{2u2K2ћx"E΢v_}`ɶ9'4#5WSi@Vu_dwny ]~qXANy 2ZFyOU-/X{gpJL<,:`'x _EaόQS 让30xz5mF(}@4p,8( M4-Bb"R8] .m͆KK % x"伸c4`f :hcUƓzjoFӓ|@R)ݕx= \Fbpr  +`2}4 n%)\ώb$y Q+809J܏,0SX;e-k2!77ʵ(5OqLɨ i(vANl*!E߶*g9n=O>m]Nx mkG] FǨǿ=-]bð/7Џ9'ʴkYmgCoa1ҟq*0m3PFGS SDQ'YT)74ͪM)AGUꖑcnyVd'ݓG6Կ.#YFgi,h"BWE!u`T@=]Vi54(` Q2c4Ԕ-byf7$g+0XcKy%J湉.[8%hbqCRhiwtt,Y1F ۯYt.R+?!^H_>Le9n ' y0Y5uuz: ]$̐@a"k"#[pRQ7xҕełE|A`VْJ8K:C$A'aՆE2MZ\b JAxj$`q@bI _3ك\vXpC6Cuг\+/Æ=a$Dl kЖc? /I2αgYZ815898510610e80423a3bbef33c9d9ded557b4991795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b