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 `%, ]/]HOL-Analysis:threads=6elapsed=356.875cpu=1842.480gc=83.400factor=5.167zXZִF! .MX]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjg ]VVʠ3 أX=ơh:ҿҚv9^mHA(ێIp[yvcSBS{S$8sl^u#oxֶ5'oX# >(RI|@}ď)~;3Dcr;mH+ܠ3]l[Ҙ/Տԩ-Vtfn9sKa-VbY^$lP5oOZض3@ftI]]Z~ƾPkm|[`ia6//mڌfyc(d|+B.8Q=ql/k%/KuQ/qž]m.N}J1Dr3!S++n\&胺uLR`CQF_& ZJΑ^fRNyfv+z]g̑7ԅ~ȦTSz@2u4ZGn-_ ;%9gtdN]x`X/DUյ_8IǴe#I|o h3g^*,GZN\|,ρ8I Q&sLuoԱC77_.V"gg+[f5Vdd%UFt. ɬ^T<:ʻizF(31MwN}ΌrrP#`cܜɓ􃵆FrN>2JX藺j|@e!\M_jÛ&"b^#s;.e͂[=sLح'L)n^yP1?A-^ \L%FL_O38",Q1(ߙ-1w) #c{Z:r=?)b~^LU#|Rޛ˻Q#LCv`&_QV;nDޙ`PeԆ"@d%sIj"1pA  ]'{.ϣЇ =3nb1z X#_ĨqUqhRNE n_nI4U#ֶE oQ=Ƣ( #0suSX{o\EFIt>3➽ ˚{8Qaڧ?6ڥ9_݊:UnD=4z) M^9a,gͤcm9F{-SMWxTl%NԮ4+,B|k!/q5a㵟WH'U1? 8v@X"GJuPQ 9+kU'y#v!U7ʙo0=Ѷh2fDOH0|Zhzf2z!ևb?#{RaXƙ>ItgpI4 =gˤ/nj/ ӧ?6Ab6yG0-ǂ<1K!\q?b0A4G?T4}M3'vTr+!j,!΄HKlem@#m*JZRG j> AI9h4$:?_PvŮ~5`B_c)_൩܍:5̰ Ж 3cBɶ{j| HC3Jn|DNǥhB4.Ikʙ}w{$ & -C*#*CG|] ~QNM5Ev!N+m$kY[⪠P0_K m2^A>R"ϬؔۏӧX<bifLb@=ɣk=T̐5&8JjX(d/a~$>~4}4 g_Yo_^a^eq W+9$f[ ^y!&}c0ev/Lڷ>$vIᢕ#ݚ)R"s VhO4%:4 81!AhtbZ#~E婩i <uꙍ[ͯGSEE{'E}@vo:?o:b}=Hp/MC qϤ}*u# q ٵ:V{m5uuE&ņ[PJ¦"5eEL] f P5jXhibdr\;nWԆJy wY:O_kφ :MS<_YĶ%K5)._+%],kb;r(FE!uv|iz^%]V+ZlLy49nf&6a{ž;%0VG~8((V0f4ץf y N^};I{SFZucpպv]Falg.?x S;*+wo5prՒ|[>w2<3@|DT/m&;ְYHSږdtЂWk1R@TɼKN_Jdh ɿ}]`3a>h\J;ىd)8D%tT1W`UrεVH6nŌ# FiG&ʹ9g*mѭ0Cd MNSަ%mwA6w#D2 bj7^|#`:*w cU4jKҺ90ǀ* Pt9kXe@|2&QY x#0%@iP9MK (%%93pSTh*(Pat_o 8|t)@aAh\$Tpղ)sfiyffO`H&WLWޅuQc3bj7GGR!ڕ $Υ8v 94e7w^uZ'CTzq84tAJ6 E%rL稡R0MUGJw}-)ϻbn.<8DfkYܽK9E@Auu5--{ӟdv8."sw jcQڜŧG@%O'plY<KH 8u~c{cQU!Ѫps ϐh$;\f.6+Y׎127VĘy6-ulf!D!!)w'"NRLEWh2ɿBteτNBAu,؞#?؎ZVYt;X%{ uUu LYfKHFL0R@s oT2cDKBqlZ"]2؈ǁGWyK+Yrh/x*=zQU"s;J㻝̃&)S+WsqX6 =>!E?aG1`_GWܴF}{ͳJ}p}}$UQ[Ԋug^A;Z^c_;rWr L e1@J lrbd}|q"1hiRuV@_,RD"uX*@OOCXhe8%r;XD9ЀJe>U\u8dz9/ٍ'rzfi[MI`㊏ck7UU"{|5!FS!7Uz޾T] Q i]նz1~o>&Vu-f?|t d;p цظwo['Z8N\ԗ&ߥ RjSF0͊<{AF,Q%l>.Aҋ>{]~QvK6 //BxB| 2@ea)XSCz9s]"J EQx+d껆9ܵm2p9^@\=n6'@)#SeϙOt tʹP޺ ܣKsYO6~}pySz՘Cy?Fk[ElZO-(k`IkbpݹCb8fk6VvW jSx?d CQ6Q$"JAb#9#ݬ(i0cM Q>Թ)qh  /;d]j,i 02m g-ƟL65ng!롿wp9<]yZ2r}/'S߽`5HŰU ˬޙom'?y6ıPPJbm=ygm/ʢ'oCWeRڙV|O,zeC"P#)Zmx`#Ia]Ze$+ͫI{3 d7Ր@ZV WAQ坹[ 5{*}os~Sy94l`u( MvN®'R?۫ыpz5}<"κZFcD?4G-SZ霰M)yS {=&RfV4{;E5;;)%YtV 0lxyؗѮpRn?,,qi͖4x d;Ѹ w(W,(Rd>ӎ_Ⱥ:PA֊`]>#D;N){ijhQE- /Ҧi8h.AqDʼ&5q˵& ڎy;@4#̤wPjL$jfA&bo CpXhZ$#?Q1~Nhλ5 Bዟnmm,l 6]tHnʊ_IEq+a.pŔ-gk@2È✩ƚ7Oٵ[D_ʵ [  };i|BP kMvK1O~^ "ɶE_Znd[D =?w 4[5eUj27gAPhI6_qǂ=d4b02x8_qc%~)1 =4qfج}fD3ί9?šau6xȯ2;mV-u}D/ NJn-"9+V?i=o_eCdO gOx}‡U-ſ1zK7|?gW+|lM~` ~"/Ocr!b0Hi©Eo^'"z|=p֪Y嗕"Ѹ5cNP+8|DZ>G崟a죔EA]}^T1jPg:.kGz6mdqޠ~7'9wP S%4Y7O0x yaִOFd"x'KE& X᮵t>dx"#Xb :q`Z +(f>a9z]TFD 14XxTȨD3ˀ޿Fr>ޕXbdu"+K8omOD'xbY|* PݪF_J*du(_s\DW*y`?%KKw;e?/ ΍t[{B$ _.ˏgf-/8=4HR_ء-t4cK |~H,ʌ4:x1(noB4蕄xIhI4B>4 {܃o$HlD Lwe#OF8kFIoyRCfG EqlΆ OA/M6ޒ(`?F * O.ALm ~?v$7|C67G35?.f"KP=9f_Y{Hz$4M, UdԲyz;eILmnPTC_ aLӃ{l*ԥ=ekR|};ǣͣ*(Cvՙ-mǛYNW]U"dT"y{7'xtp_ӆC>MϮ/%><0bՇv\X/;;3D{@!l7sϼ$> zssn"WbPWGMz 'KnI4Q*xs7nWZ P8o@L<ݝ@G_\t1":L)m.܏ iMّmCc.|ʡ19E~ ҁ?>NZY ;ˆлe%aS4;8Vbk.$^يl9}9ƅxUmɸS1P8ZRE1t`cgv|+o949}9$1o0Cľ ٴr;|Ydn%__,n\Fl-Q]^囃a  3N$}87 mة}m@߫4' So{([ {g7O97TrɪThkYr+_E6@TZ$s +.[DcIBI"*9Cp^$I^1Wq%QHd#UN-3ҩAXe(S _'!bHg5ųFfen-#'UJHi)Q;eGاZ!8x[Vp%_^Y ?f$s{9<{$=[(UG]znE!*&#+- 7  ԒmNJBG$G?Z*.BΉLY%͜F 7];He*u"vdJ5w7~oDѢxDYd\_HQ$edSIkژuC/3lߴ_2oCGk펬OImnKP5 d?/RX⩳ {h6ѠP*i5ƞJۉ XL䒇_pE Ww1a9I~)o:ɏ 9WTϼc'3PY*EM{䛹:LqG7˃J<0嫿cR8O^˜U0KZ KH;W)k)jae-6Z:SA֗QJb?ͮV0٢)5%'6} M$%GgLW\5}c4+cj hڼC)2pfk9|xWKW+D!仡_ j#>M7bQ}HnhElȔI7mtܿ,U}S+.!ԏ5 IL߲|rL$BJMp\^,na}Ȁͮ,s3Dsͅ*lts@W.*ɾT`=1|>]"Dj_o@HCW0<UGf1Gt0F$exY2qx}KV\1/NJTڬnL9Ty=o|?]Q?0ic+0fV#p7v߼IL_]~Y1핒ؖP(=u)6|I1s[HF?]R?|32Ҕ~R`M%¡~Ö ]|~v%a&ӆɃ_ %P^d\z< e؉ 72;0g;;q?S%+M;: &Ϸ PqT/ kQIk#T/{1)ܞ"oF:F_EGvGӶ座yS mxg2'Ճ8#U2$95i,#ỲWfZ^î^^QFSd!O|1C6@ p ? #N}tM1_ dYikz n<|=G=ùOؼ:3Y"~kic. MPc$+AlM|tWgCDX9ūSƺ6\^yL:"N7`ߞE''A"espSJ^t瞪I͆8VkIV Vi'/{eM:dE;Wu ]3I峦&.cmAǰjQgjƳFSש0euSx"<Һ T* Q1&,O̗A%.|=0ܺ T0lgrG' cK&ZkmF<x݅wvP]B$d-EALzy`͖z!;IhBqR:\jmZ>0^VU2acE]N 1ˮټq,%-T0J޻_rh~ Za}Y`iu!>]CpFz{@mkMs}KXQ]aTp-QJ+tk:L h K\cě܉8}#rk`ncK]>dPi%=xC/ja4RitTCnG~8-wbl9Xs>5֗쨞 .Vf1GsE:" ԛ&d.ٯZ:N ˩2gT04,>,ClidoX\gE ކY *׎z lj@R돔W\)qKPl^1G;Xg)B!|Gv7Q8c 75E~DDXQ h#,5ntHe{pI}ZvZNJ OӾۣQ4 'Apa w&q3M5Ojfl[@E/I-(aW{F-}Da"lm,[ 3W~Ls-*ccM+xkc]*G09<æg~jˆ\ۋ6q9ՐbUbvM1-nu3cTb9'_OgcߙWiazaX #s ;k*܏o^?({ ]҈I}`l&\qO2?z3a2i!_+-%F@|SpYψX-|ĘUln Uw#!ӃMo2Kcw^}Ȅ3h ^ed?@v>;gR͈ v!bm3˙Nl/׏S\=klw`=\J]E6wv!_5JO'W''TdAy}z!39fǾ. <,7i6kngS#O;Rz–i2Uz^P1˷N5;]:}e6]QFH # {OB'hsfY/>=龪WG/ 6hѠ'J]8"A213$й!(1n2OVWfc !0V67O"!,uɳM4k )CAyR][|4+Q&.9m3MgX$: bSo-AƏ6 Esa8/3hc0sA;^=5x2c$ cb:^ڻ#^CA{Ywo>\09䑵 :F첉Ol)".Ÿg֊;:+c4bz"yԪ)R3"jePe etImBoZ`3T\6Y0Ʉ,TB9*k=H'qFV柿BYRj9Y<ݵv-,6(s#f`B>G^؃g{tct܃1L6 /0^Q 5lۍڋ=Χoȟ[uwm[Z4  lZQ#v/0ϒ~S9*gPpNkLw7Ŋ͵߽.=ٱ{@T >hm+ky bV ´]fZ'>kN]B/٨BDõsK6-YBUⶖ&17j&&-Z 9fze;uN-@ !W;хJh*&h}鱿fQv:}W&X b~fG ;l'/ ;nV̯QgSus$X_]ҝd8o ^9R<J\pm:-Nۊo"ϫJA)+\ѯ๥ܯƔnY(яvR_x"0[A;Y|>8k|.^$R] T2@ "ɭ/UN=H70I[p9<"5o(:̑@~1${~ƏG9@+~ [>қm!U5CVLbl#.ԗcgKQ0r(ERn;^(hBFVXmg Γ$ަ-c#j(RnNx~mC?BgT z@~زdz.4Q] d5G@_d4 c>MK.y89_H%S16)퍤2]sck?A z*SOi>=ܽ ՋC2@INQXl+vI|IJ}#:3vD:XPW$վ6V&htr%|c;`a/\f Ho)3~DVA2X߉Ҡ>t Kz |2ξv Gqѥ@Ҵ(Cpޡ x{DZz+G{5)c4:5';l'd-aF`ؿ:MfK?AVZPBУr@erS&C*P@k}] C}>Y69/rn_у&VBj״]N_iMI(R gpZ#@5etҲ̮B2@LU.Ay%ګWx1/;sj3.pPaa7BphNHh,u?īi&Ke ;ӾfZ9P=3jtg]o XDV3Dӏ@ELܴ޲9$\tHG"XRk ;jRRWԗ1I yCqzvEsm96m_͈>m x 2Lvz+ԁ#֋uDھZh-yla Vӡ J']J!5cd-~C9b5֢Q!J`X4:7)j՛-܏a6mBӒ> h`ԓ:HAt wEKoG](`D[gj1NY9"5Q0"D}Je ,|RK4u矰j$ q[#4JE0uMx f{ ZRH'^f0I]%ەd##dMУc7 ;[y},?\0ԟXL/8)q[7wH('g,\ָ.M~mw(A^'ą'q{+0>8~JҙU49Yq<މB:W-=TGQKޡ6(j J fƼ½Bxz\v Z!gR<@k[ .(:" 'N #&xSITv!c^Hlm#J@sq6 ot6DCoPZ-x-+X\-T%#dlO&BYQ:FͰFt7R]3즣*:/`**6iVfk0Zұ' |@?S=e|c52Fc,L:Ol@[7>}lm -9UsC f"+Ӗ ]rZy{yNGlv}(@B8p <^ Hy+fJ zKcl(J׎|cQP$zh.DT _=6Y] Se&<|NAN B%J}u v#FJ9JLs˔4Zԩkg WxԵ+-HhhCJYhw29ey~27ŠzFvpfLh%!̋1?VgRJ8Wֳ:G )FL$>ѝ}:x4"@b;f c Vl2H I='b歍7rz13:&IQ&u/&MGF^ue .FȺa_) hAc.1YsZ _i8-v8dC`Ĥo폼<\Vʾ;5hpi"29wKʴz2qLgIcrm^],'2/H\'*nn#uXl}N7)$ JjϘwJ4N7/? f?س᭳)űr<`_Z (X5rGꮺjR<9*F 9[Z|! v"~@ɾ:ԛ?ef?B ZyŠ(DG3]RM$?#2'`qy7Bn׌ٶH!C!0`2"+8cFYy읟R@43<3Z=3ϣ;6x[U}YE";4uY[C+l]KE+ݵ>}{Hg\@z?]pH];`[FҕIx ϴ`OU>F 5[R#>TzŒ^:! תJ=%Md `ƾx.̿*p 6lm7uQ ~B.dwܴ^$wx]'9*oMiZq7vURL=!Jw kGr5[Q RfcH#(Y!b uPȊ^:)~JV7s)ԡ2ic' %9Mun[ v9Le uǍHB&0wʑwwdu^@Ga%$CLSzT\^UEL?B↨CqMOZM(nrE5#ꜻZ>*1>nDga"]8.roΛN#Zcm P8?1esc$RǬzWPp%&*Db6(D/V95hcƻ r:FoO#{2jZGR˝C"O#\ X$O'v*/\ Kz&1P4hI L68"'!$=+&h3 w+h$e^^]rjk|1֊NYmra;5)O~ ӆp] KdޜP{իVMp#yJ?)6znf7aLX6`|ʽ̚S҅7D*'΍E5j*Y3EMSǖp^tp_X&d|10n80L07rQ Xf7=2јzJaitymsF]x ?t7O8@r1"&1A;Tj.HF7Ot:JVc~j/[NBx7qpe/XTՏllρ iG"g?PtO]=r|f KKɌx1]cQ靫vo8s1Ydol4rHҕ*WNK#-Ha*7NqSi!3PIvǓ\YPẀh{Tو)[&&DX`Sa]es`~J_s>{1AG}G%p8 g ~udZ>F$,%V!%ᦜK__cC+ v}$؄wA*d9@E4;>ey…pmua;/SÁlE>l:+tbLiIL{ɚ 9%Ɏ)f擔1M>*Tx>3fy|1.DRh|fZbg5B驚/wcIw8!%Xbd~zbJDqT1<!&D[4%Iaɂj#1 zUbƐ-<5"!332 O1Ӯ"Tnβ^BFϐra5x]B91;Z _]D WH'[9`I@>sʇKדh?kf&kKF{Dr*^”.gy[ޜ)ɻizSle9vu'O2ys l;rÉ` eVġѐ]R2{*j .I|r> Is,^G"qRb/k1@x0MܬSqt} "!ᅈfeX{64#Egng.Gaa0P hYUé03BFC kL5yn^OG9F-@Xf:`ASG1Ox2Rm^:2`jVd:q/;MIa{Qђ튷D6R}7mWh$I3RqX{H۷Be7IYul#ռFr, mT(yU{'hÜgYZ7zXZִF! ( E]ŗXiɟ1˦r!cHkMeBd4>^1Ɔ?p/2eF xk -'0HN局3Kn>?f-P3Q9@@ OsSW;QW4+ܻ^ pjҍXxtP;3m%})jsmJM<:eLAw<{|$ ڣ;/ YIRNN1ļ6Mf&9};0QHYbL"D;|@ 1]pضm}_,)Ҍ"6dQvq(]k[\eSCKv52+:dd%hq\uRų+Kל)zO9v3ڍ%3sN%`/x.d\奙\d-L A7Ev|pGU8kr א)j䧋p=>,^*eCqpMRDp;wJI)bФ2P0+ J|M/3w*Kd+ISԎ7@.<${,0\% 9MLJ?Y W70(ucu'â$vͬX"ej.pP'1 OHӏ w >c;E'4hC9V?Ve*IMfXF#r(X'ϼ|ճ;*d:APfi㯈1Ƚ :|x l+ XsQ0}F"%G$-_N KL=m8weOaw([SGL!L[Ye%CsCd~⬫O(ԡ"kI;aQE|ޢ[e>گuE/ 4rǹ`R'ۼl6 < P;"*Quč8&t-.}lVPUTY'wkٙGk 8pĵc ny[ۃHh*(2{$(>!1X`h}֩>SKj؄"@=}E+JLg0O4e{) vO"qp93(tצӔ(޺&[0t^{b>\R 3K$@ѪK]ps ٹR|2@w=@QՒXſo6ӚcNc,qR̩S2^f|P6237~ytv+y]>lumslK )ǿX<j$Ibx´T2 =ۍg|u~v(:_mWh)6 7Yaw헍J+-=yne@؁<\Ghs8^_E⬳'$Rpīz3HQJj6t[{nvY&@P/wFtWKvy(5"AO zNxa3D}~ "5҉k9L"nc4D2(ZEnVD0atWͯ'FnW:rЉˌ"n=gA4:sT fUDtô:\"}$1{QYW]17^Ґ"v*yZy/7+2DVQ(usYKYi-\gxnC,Velj]C'JY͸Yd:Ci#VN?W2'*m5O4ԵEiMK**ız^F8r^3x=ޝa0~F`zJn}y[ʋgp:$>@Q N0F"us| k_}ݨ%EO[i{凼ڡ-v"!ܦ0'X9Vd?W{ZSLm1fntXUHn̊Kf::/!ٳԡd!"tDcO`ÌÏC<}IEU-- J ٤~ˡÌ[Nj-5*{gpaymTB})G> "O+_igwu9xc{'|.G5:j)R* 9WFCQwgZ=($JO c^Z z[4|FSdhu~+-jG&hY wexpƅ-3g6[p%#RJylV6hJ:0Ng 7Rsnc]̜,?=2]nw 6:08cn IwkG4Q p+7+yZ>X6ͅ@( (J @BycI0G w&Y$'8.ɦwmVB3pqG3<Ť|X[gf,E5/Q ݘ[T \n3 UDBvr2s$hO?7eSYP/H5ĉsoIe63/Շ_p-g]ҾԠuՙ{><8^C1޸bCY,2B4{jKݩ =G8ܦJϞz)ry[ъ^b{2.#J$kw3]h#9!7֩HpKFڔXn 7K",WqZV%&AD<U)5.fzVdO܃q)U yz2>IOgv1(q(8fFާݟp)YRiUP&Hp4䥟J7G&ٌdz_}ncuFFVL =~ !l%,~H,+lW'|/Mu Y4#G_)*@:xQzeưs=x qah Y8 6Ry =m?2_ty hwӭSF}`-m#1p8 A>wW87$fd3J7>Q%tͣ`:vQoU#fx:ܗ%ӖYӎ E=3ExK1u)_xvXrYRUjW? a; :E 0G갷@'h ޙ9 t;QHoQ4D`[8DeGWTT+Ļ ͋=aC(&C$4rܪ*aa'DG>uc4U@.||j&199;iƱm5Ӹo2S]wZN~:4z_ҚM`J-uvvotʬSnNqᇥN!]DZyJFB0j: 2&OÜzU ᨯ4G" Gy!΃p̀F~`"Ϣ)ͻ–@0jFϸ ]}o̟Ox3X&586otdB:1#Rh~`مb$%M r# zS]Dx?h`!'\[aCX:eaD#Z𺙼^cjhA02{D*˨QEHL:wf_|:$};KޱWSca C)JY_lW{]Z8(^m 4/'MGX[7w{TQ .Dgh\JB2'6]S $z.'@/}/ O+nvHja]"t5h7Nq arU\9IF`T`h՚m͝+E,~ahL,h2 }'#o<إ$?ѽJ^GrgEE:/'z^a~7yŤF1u$MZ|kv7*kt_$`*\(%m2g#F-dA?tD'VGp7ٯ^RѴQY|6^GKamQArlLջ>D}|QR`s)9#}2"SP;J7qɘ2~K&T%=Đ3 >l/GօxqG5!:w/X7"g|l+ypr/D0j{?X,wV6}ڭmBh~SȩQij8r14bbfXkBUFB51ᶏ&ńr#;4qYvA+Flp)PEHR^2Yg5kUfw8IVTA&JK@({uP կ>L.'gK:1d Ô.dm/ǣn?@_Q_m$a=̆<5~#"oiBuZOͱx w$5vH;%"v.7tXnRr4}v.˔E/Ly1M?˘7ALo{@UNc!򬦐F FPJYeu :;'pu䮯QZC~T9FpL Sxl-VJ;7n_'llqTRVǕbjrJ6';I!naRAѣ%@iu۰w}D37Vj}} s>Ε5=ɍ`uJ77#lyCno5<&^WBq$.+:ŔtH`b[4Iє#;/֥~oVt-caltCBe"r6^z~Dˈvj+]DD*c0Ouۀ fHhqmar\%v7y19~Ц& Lݩ'/Y < na}>Յ:;ᚐ `6.\5Ƒ_`YĘj$#bM \^Slz4Vj'LV}/Yo>Hկu\$Ҿ]@Mk@8׈I%(ךc T3E#>$o=M=\I0 Ď}ۓ:Al ce?[ofn;t+o8AmMEM'K0@!2ۈ +ȥ#Xߢe$LsSvhtzQ9;)|Ca +? Fk/J9 GA~33ؗ'Or՜!r Gsg򻾐Uf%:'m}WEZq ɵ9! n|.5qLd,9]i(Lar\<~̡rA̴"iq"9oGIqwgTBwG7 b/ -r^6)p>qرkHQȆ{[]`\΋EvTm%c!˃|hNl=}q8z(M{QJFA'¿9ʛv-9;€J(Pk0+ }Th["4q"p˓0[+ ^R# !$U]J F 7O ŝ̔q~@V>("\+Ī!2]Ic!~s5ǩCHnp>>M[*]De5AT6]4O$ei-oV2h#WciYN pCءku3d[t?½/5cz鴯gNؘ̋1UR\\gӃBzIa`- GG[xkti?a@._K=˒o, :ZїxV-oV:C"u"Hd #Z;#'}_B̏{ [$9Kp$_+5ߏy{s] 踇o*0>9p/[ $~c8-.qAK9Uʓ`d6#OmL@S{ؿu膁 t{aʼae~Ծ=#)Gwĕ8m^qvZ$Rq=7M-w'trr9rBt&&Se(w@!~CrbCfk}\i<:f{5eT/^P[Wǐ}47pԶXrh\/콩& .yx0HX䀿Y,0nTGl7:RvkZY-j>fRrv_i-60qf:gM8"d'^~R>,,n o8 Wz0)rlUJTN+AI/ڂ +}Ut@U:%(?RXbk;٢B|96 Z<)LbȠM&bS: W2y 0W^="tuqgA<3:8]h?i?t>C[3Em<2#ߑA@7Hr_Ti]W:\ݢNz`MoIIa*hRmU# mwGR:G g%rX֎S'! X2# W~HQߖ4ȉ]Odҫ>ѕiE&Z1 ;׎;&X/_0Dmzkܕ^NN )RV,e[ymTԖxʰg~P.K>?2x$c/N=QzܤNr11l%8 bM4 e8Ac{NpCGeҁ-{hRXg4ѝ-87'uEcCUEvc}nCyC@4O%pBbmORZ Ѵ9uQ+QVEZ 9S쪓 .5d41Ǿ,`ϊqG>Pn[)m_T<b )zQ  so^ +fz0poo Zb-*M=7>jp^>pC"𤣜~+ P[ Oo~g '^:3&e%tV$un|W!uitKSX+~rNS:` Igm "g;>E;lD4TSܣ7'N᷁ˤ Rv9dѨ|SqAgwgo+8tQ:4CA!+1!ЇD wsԍ ]?hl&#3Nhԥ J F並7l&EɒEDuC$Ŕ9p.iܙ\Vn>b0.PШ[3`CY~lx!|Kok`b'},Goے 3ݱ1RM^4~WRoiMlx\?VJV7xbb.3(L)za>eƙ;SRF5|_/r U,zԂ G4?y9"CL'Iu{E"UgRsF[`Fd\k|BRա-&fֶ)(-*%pwg6`Hh*r0g1 =n+2lB y1Ix6>Ea}(]~Ih-k|kj?apz$QC/-x}X4x-X1tOPyy]r}w-o]&-P!W~6M#)jMq&̈5D$GI!X`9|eKzvz /Z<j@^IV&ЃZ$N gDkq39qS  LݷIg+׾3EHѾL' ֔?ZdF>Nx ޜ2k#IQ'0lBx4>tF/+j#a"c*,{y^1L&㵦1^T۟yC.Z{];+[r*,Vsu' "~KwB]d"; '\;szf^k )pݻգ;=U$y)Ţا pib0H('G?В9~:9WRaJJ1Lv5,{&dA*Fj@Dd|ʟ̫H!y#e[9Rt?"Dqj#Cȉr@ۯ%t(pA1&ʃK|/ݮ^{b(UW{<ׄԜsmD7MG&8RW7ػu2 l*wmҐ1MO?5lSK\[QW4h2cg?f׊0͙@o]7]ágfݡCJ*t PŪ.<uh4P6p)v:%SO1 ix86+(w [o%]7[g_⁝${|f$s3qϒ6 iʿӔ5 (]RxܕR@y2'E]fKjg#Xtqf۳ZfrwF1ǡE`-H;% F/*z{XrU5 :\QOT KYޘϱ)Zb 䄱Y FXѓaLCyhI03D%hz.|/穕V+GK#8(r.ЩYy#Ȼ.*)7 7AKEX} އÊ)B/U=UÄaNaK0=cgf?J?*?w @TF@gF&?7zNej>BȐ9 Y}NE+e5'7GT>_p/}qG_-PP,l)!!/pπ((l2όz͉l7ZDzW]v,kqT6VxYieb o[ߊ@ȑIYk*lF+?KI@AQځ 9Tgyq0eflk k׶Cnvn+ 75-;% "7ڽGc+kr7r0NW\`v;6o94.1N.Ab& *RM-i[S[; |#`J˱W>-~6hMqsm5_a~nTwDwt"eHSǐzRU:>'`r6k{@3c6O ǒARd?UZ)M>hLHi#"t?mf@calԀq> -R #Y'c&9`= -&yܿƼ?2<31םfvo!/@=0dEU}]W;&WkVNZ\kt(ٓgu! -,I)=m6Hh-pd16_&ކXuP,b(y[@}!duZtA7ne _?{ ;d.IȖd!ɅRL2'>fWhhHq˕=L0_6+(bxǤzSxOb}_0U&b(C "-hyǜ+aGx!ZI}h!9J-iuFLB\/δ6B1ȱ.r[SFC=3j՟&Qp [jUT?LS}k+ޚvz=p\/sUq'8LAI)} Nћri܏;qh]J5޷U2NjF'Xui+?L㡂^ +)vmFלkZcF%fYw?jʋ$1+%k1ZXu5{i?w@ɡLJ HUz<,/\l;jȫ3ICk &q`bRuoW\vUz;j&TyZn,c82Io#8GըynrԄûSI<44GInDIn7kD(GO2R+T2]9SY^k(b8}ԸΠno:1rAS{CkӺ1 ?0s3쀘|t({U cK8yaFXn2d]\K¡Л0븮R̘筈d/Ǩo/ |GMS71:o35Z*U |&`U=r_9:ڄQj&%@nW]I>3Ť>j)$bLql(`){E6;\B|t`ñ,z_NY,lbUss>M7샠!SF}YZI2|B3vE!ѬH} ,WFXe BFM̸T5 1=Yp_\dяXLށ)R<6\~9O_jOSRtw[YXӕNgxYJPzALeًBc5&};7^/6K& ؐcӃyܟʹ[BN!zbovKU/:ϽxV;pb_ ĒϠV" ѾX[!n(c8-*wS'}-N}Y~PXz)Ck7i&x2auk!`T&7=hxI>P(c!%w W+YPo> l8DOzk o_VDPRez|9  1k:BQ `7ĵ:>Iy>]Wo4X*m1S`1y%=ǵU([jm?;ߥ`es8I=,6MIݞnGs#{ޕ2?/3.T>Jih4vdf5O)<Qaxxz#9Z*nlqpKRocmbǸv*>^ +UdhCۂw[j)?m'#p}-:\[8Q<>dQy*A%KaXxa3J;x4?B7p9u:'=yP5"*rI|=CdLMU3yJg[K?fF}MۂgM3?ߥ#91]q !s5󐍘fZ|ո ;Dt?I3kdK߾we샥DpA Ka Pz.^ H'q7ij;dojowh\"wv `J?RA϶l[R` Ђ .2˄v_[<ɘh5,G-ЎAcys@ԾiQ7sPdnGl:E/鲂- (Y"lp^Zo\MدEբ{gG ּhKz##}NJiv홐؊V0ҥ-a1K!xtV J9U򥂑2[ψX[fvEܤiQSM]`)UVؘ-6):ũ\]O,<7)ڮm94 q!&a8+Ⱦ_j$:L푓n䱻k]2 v(EShv[Uޙ5Jukc`u2p8. ptc_O PY \.sàxs܄ر^`VA Yb jq^=pa[YLƨ|'xY&mǬ>jWmSULxTEt /pCw&^/`Jv~SX2l]m<}7Ubq@Ox,[abHMGE 9'* a f5.7$Q.\᳘MT)&Sf*on6;}@^nv 5#oCim&Nji1~ 9r|݂]_+ЁZ"tՕm`!]^0YREQ*9?AMռYmvgtꢨZ?Z%Cig)q `g.)k 賈1 u\By"1< Kmch67 _%Fv ~^|d 'W)"-A|PIR:+USBK!hh=5ŻiW r?j07%",oS"VzSHEy /ԥX齘L@\{8K ZSxjd29Doü$kL. lsÁ14VЃ=rL%UfsT>GxAYjP=i~[%^ ,=wrcdt`|{:6h){7<>5Jj_Oqu(wR2 څ"lҚnDBDR4hgN# zvʞ@U^j?.}3( 7)5pO% ]ѥ2exaO5F{@7'd3E\l#$FKӋ2D'W-Kј"{tA/CأGSMYqgfxu1Zύ}(]&e9Ʃw dv$ ,WO@=<S6A5 P\̶[Kc?ozʡF=F}{-,5AaΟ 7fmt`Z\jPY$9AO'nVOm-huPӮ&v3 "WžXLvSz5)杧 ։E F`W!$!k/O9PCZ,E% փKZ|S־\cEn5Dф\~/dgKH9hӠMMʻ2NbB+/pq%ʹl;ڨ Da|~Eo ~@H&rlGؑ;Ҧ1_Rcn?N)ai튤(&jG 5=s2D>i{_2닟=Z%{ $H>R8OVa$4j?=ONMܘ'Z9[XXJ%A5S+EJSs٪dj#{WΟZ߿Ld>;ZH*_ (k,{#0R(/1[$9N\FS€3G̈́oɈ3b=]ďy0|X Dyі 51<v?ظjƝ!Bǚ\x1-snF >iDqw"G6M'QQJ2bq m+cxÙhiJ{I3]M#a:Z7 U(JlYcU5_jxO0*OswMBa +mҙS/=XCV1ږ"]\QZ"R5ݢ5"H*l lna9De|fĹ%v$g']ÍyMht:]\ge@r %ab ҍɂ[Voۯ~$ƾ:yQ-"ŁN%NdW@Mnxy1!=m\IXƭ'JuNo@2:$SD aO=K>ǵ,}y9HۄaSf8iƢzL[Sn{@օxT͗:1l1o2\:l;Jr,>g䌐 4Z]uf܊oGSqR`,_~)dgWv) k$/6Ar/[N]ğYXK˂ͮӖ$R=>*نȭ<\Mj :SYrHN"ɜR}~qpxzcxAi.<4ԫ`Q)تJ9X' I+%ldwji*7AĽR 4s z/lH׿{7|_qw߭v*@VHY56̺~ `'b>fp 0<" }h͍ؔQJݤ{EyR(v18٘cM[>ŠwJjbJPsHxWbc!gwaic.P_HJR a14"ZvvQIԌ BH[8`EpY8aEt[/ŊŎ5 d鸉 5d)8ZuUSXdPK\>v3U "E>h2Q=OZz@BȊ Ltd7ƁЎA Z]VB[ 8.e*ىbGp_pH)̄n>"5Bc SŐ]di5พ6=):;<?OҚH:Ώ#iS"sɄ-u"VpSNBNBO*rcDB/vٝ$~fWd#; |V (]z (a_Ë树&4#U$_Fa`Փ; 3i."޷I?ҝ濚~m/G^g)W*\dG W.˙훜* p ]{[ސe. ;Ȣۅggqt嶛\ZMQQ f 1؏ KW䝧Li2^mq`E%J%i#u[(:߂ߡ f/#'i0iV,*(/t@rL×s錮^*)eW1ꉩOۏXB6I8ǂW24ڤm)yuƕ8b0*$-WE҇ZB++(GϵNWn=?kYdzǬ|;.zxTⓊUҺy@fE"7DyL4MR!4{ZG.Mg35Gk:VI{ 81XY/XuX߭nk,̮U $>Va{wٔoXMۭb"c`yߊj 48 >--h%d76T%9,5NesJ5'gC^K)F**J楺ւ8Gn) +gIp=q^R`Tl+K| 5ę1W;ϛ=7EG|w-r.dX/u]h3%O1(jʙ,~/kJ6ZWp8ltV>GDvo?UWkWWrnA^!/)"cU9!.kQ$@!PXZt!x0][x(fD;ee$狾XWsjKscj~;jd|=Ǖ|&"Y7̗PH v ("HW'^3r)tVOY.KhE0$6r (XQxvF1dVzIabH&ј|(=״o[a^]sZں` ;w*7 ? cu My7&W=G?Zi޾l,q7i{LnU'T"]W N+9( L2 Lw&̴^iu$چQJ3'%{o>{YTu|9wP@x&'X?٘ڇKL^[X*BC܄\+ VO`Y .Bra@%ƀ"H6?Xg۟s :';Nћɖ= R}Qvajq+,ēTh_C@I"o. l5\^sd q.Lpg|O(#Z60ό4U>,ΐ ďZcP0TGIҌt8^=/J 1:A;CrTgd ꇏ\ _̒ MB1 U^0OaN蒖3'؁7*Bka;8 ꂚ{I-sj÷ &exk1b:h2"*^oL'#0ɭkpdTT?ked4ąuZ\xC 6yxB\Ԙ@ CKҫV"C,@MnY]ֱEsyE\wL伓h tz9=@? [u=Y kRFOMM)靗14%\ۺ~˳F_z m}v Aj?[dc~|w. ߗ _sU 3Em#ɒ=#ZVt +F[J =iADLQ/-2bt}Se ǰɹ"8g!ݽ#/NL͈]%Tn?QY?Y !hz "]4PXVE6y;RMB\0$Yue'X9"]-3S2T=٥ $3-G>{)Epİ!48d=ၗk>?1goC3g ) !ʀ)R.G! v`UseMv ~5`vƣ2N_pDR0"7 b/Bb_/x˷>+6;`2X9<mR꓅wJQҘuzf#kdD+ة%';9pn1Lkϳd .a|!Bk8 $)ϸ>OSL̕ g{CQ9u.pAV v";K6~]bOɻec̈́jy($ .1`kH*>Ap1Y6Ό@%i8Y FׇiB4.)}uI=_am s& c"(ߍ} Ѩ|ĸ?l_ J - qlrFJơM ZwՐu8!kVSZk:}&Ke]VQi+Y'񐭥(ԏحi*~ӽu1C81'I;HVDNXlqFA'x-Z9F8 .\M.N!. 8RN$glw)P|?vs? ^72R ]hCnN?,ɢ1/{hlE[JFOt.9N͍83#~2B@~%1+18帒' FW<Ҭ(W1ԺL2ߛ-XHEba+x쬪b[bJjKQ5%l˟beyC"Y.T ]XddDmܘ<QRN՗T\D.&+gkf«1O>{QHpgb3_]ǐH!6ڬCu47;4ڜפV)ap6yf`/`EܝaiUNbQ’Ur_" Rݵ"N*q|p%UIrB%\rӏ:1n{k}ma ³ǁs4оMm?ˤE` a^S|xx끖ߙ$K̦EV5*ܨP9vqusƱ^o/e2@hp+(٠A؊gH.tMiäaTZ ux :L%`M4*s\7fopqK_sDp#[HlXï0_W3Ps_?XNB 'i`RA2POAxΰ7IT#-a/C'?u8@p$Xද✇bPЌ,Yx{j;K q(AU!D2Mqn|o\!J~;1k5,Ž_dڎݴl&|o&vm %Dk or-%:>%uؕlsIɌQ^v-X2ql6h4GdCM&ĖK^"x.B-_43McCCz@aEJ ?$ )_=|[Abd]낸 fIRf fSSSlT+%>]NO`(j;u5BJ*B19> +T8rլHO^Re5f.1 zG8#p^ cWŜ=JWS:f3g?$@陷%hv"CZ&sn55y0{"bn2)-[HXf8M>'jةqd5P[!0Hu0䴁nrcQaC.@ny Xh+ѾRR~ kdg000fç8)RSrW[ Dɪؽ4.bGҰlһO;{IAuR|EIOPCO+:͔TGR8' vP@l!s^y$0vk1r< Zsbӌz8\YO}[#]Lxn)v[ÐPQxf6cdiFeff\üj#Ɛs܋Бx&exnm>ƯzȤz}|>5/9G+Hy|e$ t 4uX9OR(jD"CXK~Hn6?4YcUQ[D>=J\m <~`˜N%;[96f94!GMMU#aLUQPkf.9]@:bi~"8hn gL%{4U hy4pTʮ(r_ƛ5E)}osv65TV eDkLשǢ$* U;ӿ֮rMD 19zS f `tc]7dX> (4~I;#ޛC=ᔖWq4Ek4.rˉ,&U$2hB{RFDSy__ϠYO^y~,h7A$/O=h7ٚ Foԓ8a7A<q%xW‘eOZ9w~@YO# Ֆ43|U:@dky-NYބ HTbU i8hڊ'05"Ab%[fMp=2˨pSqJg[ KeWKob'Sa,o*GyX.ьҀi@ A2E|KD|%fL/F BYA&|!$w[gJK 4F*<߾xQgzA5_YS{g+dx!+챍f v|b%@ Zյd{=ho QpȘC i4ɡ{9& (ib@`*-/>&DYLGqYPʝ5Q8۞GycY2L.Ce+]l G=iv jq,ԱHjiwWǭa O _2^g[%-r2Aޛˤ)2dt^->i {׼S)'nM!dpۜf|zu9Dһ@L==|ݳ7hOfjY6u{r(Tx1Xwt31(Q>P0q_/9}-9 (2seH 97WȦr'׹уAQ_@QDWՠؾ s4؎%2 bsdzs~=ДK4o{0t3R6WS0$)%3虊d=U'hL hq_`d|ѓ.!SĽhZpp}Wh3O nqu['{- N+sCoz灏evnpHՁdݑ/ 2yrdpA)&\n[&jIj8e?k\41ZOP%ZKխqa'u0?w,ặ哭~ĪjV5x7Vޣ*nzOF& f{8N|).zJ+Rt"wQXan[IëS-~z29h_\-j?>iC|ez@ʵ6q$'(ydr"6IrD )-S3R*6Am)|~Uc_jzcy 3^ w2 _؍uu?K:^H6=}BZ$"pKTԞp$\Gۓ(H%{| > "Y5 &|gkB '}7=6/H>Ƴ\?~ ᑕrx tbRx( PuZB>&M;\/\ͽsdw IMԮE±#{/́''7m!T[ OWTq L (,حpcBeA8)aSUYĒ8EYba6I_Zk}.tP NʀD/ WE >)FqV%TFgf\нzJ$"a+R2#:zx"N"ySkԇN)#X1A: EzwtA걦dPczee`ߨىsHE,sL˪ģ,ƒl W[T_Fƛ*f#i^&#&-˚aE_)W!Z7uб9Hd\=-$Z'BY?tb@\g싵*(ѮE5vNffNχu|NPk3(`¢S9 >*wK zև)Nd9*MU$`q>K ^4Ĺ=Q `ɵ/ۃ` c˳S AHj9;,z'IJj 9>E`-|xoժa[j@M ]ޥXboidhRl抴{b[ -v|r5W9DD)έąR+// | E='%`B;>UA)@Dw9 $CIdl^ïFmP1A?!s +0ۂ/ gXRʫ-Ͽ9*j~Nd mA7%qc(ںجe (==HE$-xߝK@O' WshcjԠ#41^Kw`DhfGΟO#2H29&<7bq;zjo+z jUVb"v C&Be-13O_:]Vx za ?xŷx#ZO.3 ŧq^6x\a?4n% .R̗i4MY63M?ذQe90lp2m\d0eܗзJݤ.Q$,h퐎2?%q}Vb_lN8`Z)HA n%2~t5~#b_HuNRz #*:;i{*&k{+=d_6~k×rPαVmAxy#3yXiaViϣvK==oW̬_r(X,uy0/_th^Z*xk, #GwBOg=xn17:Tj!\C;ZKӛ A_ X]3hU3[ E5/SVg\Y1XWwKqOY[R7nHChzsdԜi P_r(/cQ+x]qgvİoHCC:"j-i~/@;WhַL$asyIegBF??v0Mq:DX4dI)xri4+C `?L61̮u:5V9KSgQ>=(c B6aeJT&].N{gXնi.4Q6g3ME{Z1EKw6kbUH.mlG|ڨ@&{dnzX(5gOw]Bw.luq, !\'ض<Ԍ{;4@9T@M5=CcdIT@uIv%A(^"ѳ ۢ>,9 8j]Wώ( KYX/ҭ,&jf RwWM3B~ .&Paρ%x,[CSЭ0rCzY> k7ptw 萶GJw^C-1 g !m R*F'D5>v;˺#-] tg *$Nrwιc N|*s8RĕZΘ2'lLd!rȥ?Hpũ/@׳!R#CCDݑ<9!$TʌUKthRp/{Uo 9BS+HSvKT;c]4 %NRc ݸ|yvu8:t\|oINkoPPdA\J˹o٬2X8kN]&lbPF*O 1C=oyvSUg2<{dΘ ԿPU,v{gIEU0*)nOX.2cqp 10d9!|vs ɱ6`V>kdZGq+ۢ2+{_ BJ .Fn+9w=Sg7.$^fZᨚL? [en+4ӞnJ䫔103Uy> Ǿ?,.`7q@ڌ/xwP$aF!{h^roJu,eDyO04ϰu‹5D ~ 4:_”U(qJ". O\ؙV<+Z8>FϬq`AnL(1fL6iIAN 73^]'P=ӈw]gUDž~ <[h$Zqv'/ B(AЅ[TL^8ڧj//-egnTTW 2[r995:AG7yDۘB+# y-n#WRX gj.%k==j)FUM\miy@3Þ|usOօ{=vFl]EvdAgv";ujTvq4!ͫkW;2K[* ܄O!qF$Y5 tԑ|Z@<Y8QR X^uM(/=*HR&BDi<2oYv0z,f(Re\.t@VGګXxB[C!OA'fh;3 _3\>`/Qr̓K3bJ,jy6H,uq dV͵P^B{= ?5x]ӆ9mL/,; Hqx׳+X@a⎷[pkeJ^!c<>zt4uw_T*}ʀVpU;E&nC=mxؔ;gYZd03d122a5e5cba79dfb8468829c88bf56192049d00ea09bdec95d2f60a2d5101a53b5d2bb8a9550e 2794e690bc7c789dbf80ec81181bde6bcca20a2b0774cb0aff8d097ffcbf45303e77f8a30ca528c0