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 ^!|Ld ]]]HOL-Proofs:threads=6elapsed=365.437cpu=633.956gc=130.6847zXZִF! (]ŗXiɟ{4`7#'5?Ē@)-YUI@Ix{2{bKDַ#c%ceTE.n4;Wa4X m H&RV.d2CfmC%.q'(3+I:$P@b$"aof%x[3tҸeC< 8[$p A8V,wu\SC&\-˝f#tY nc7n;CLzSBVtټxbA%\ji˂S8eމ  #g1>&O 4 5lA`CdR%eJ69lqQ-T/풀 'r~^"eUm*e!M>W[I-F/Cmug-}/'dV>mRYWpjs j-"[V!2l1X xt !# wM\!y/~<eǕ#L][p=g8Ĭfy?X"pTCOtn4Iŋ*w܃9K3Ov ̖@&@ӵ켧 @r\2QVPv3nXq)tE9xl7ǽFKH`󼯲l3/z(F,8kRrۆ߶:Xe&5#u˸Sv8`DKC7RpSpePLmwC]LVnVl=!(,0[}7.mWNXW.d0OeAPy*Sج[v!?^њZAp!hژ0:Ҭ'yuƢLKٰY5<'+Hֿg 93'YT =N"~D30ApaFX|0o݊8 ϳB~-$'~" V>WҍZիqߝ^ C |(ÆwrI.*)<Ԁ hlH״:YJ6$''0'#?4h98WJ S!*, [B-@.`gU,[fGʦZwɸ>vh7n#!Xͪ {kMgH[K-L._>\@.c&uR% kYl3~#oӻK;nځ>yѯ%nm9*Y5D:׍p'u7f-2-ɼ)j^] ԰PE{#}%4zr9Cћb d0\3%9E),N_etR${9p nHr< 6sIњ|z<<Vf(3Ͽإ2[J虚5F͋{ ʆ%p2E:KYb#b7p3! PXKE@+f= Z`E";Q=C?0N뵅l$jQ = ch~"R=jn}ˆ~#eO#wCq{1RC`8CҧI/O_Ad̍3EKk;r`uEˀ@keun8 yzfMȧ3t=+%LkX++U7Pd5au4 Ď^(pƏG$-ظ=saQ)qzdZfM$lBm`ᕠg4%cII Fyw0S'i+C\HO$cSoE0Ks>n})"mB1f t=ZSS)i_!Ɨ{ٮQ:az {!^N a0g_kN sBp]P Y=to}H%*Lj:/+n{3TѩRfZ,t%{l&c/ :j(yǣw.o>D}Q'(;:#'J DS׮MN/u biZszw(OTeyޞ2!z&} T`ƇK&a 'gqK9솾qL^vU!!ңjĮ-ց*F< q[l4QpBGfxډB^7nWF(6:ٙkQBy`fZiԦ-wE pCxd:|ӡ7Ga?D8c$|q::vԕ\;=TbŸjPgVnkNTr8J^f?XJl9e˛2o`G>< TUFggyMM¸++'E54s.xMn;{*etH<y|0J8n 7VO:`\4NA|kĪ oWl3>7XpV{ LXB 8R6Urֱ^?RKںRgaT d@F4CVA^; ~ ̆1tpM#3Ff8 )TL@)%.`ZFց[ɷ!Ӏ[CxCݑ4'yD(aìWm5W1߿afBJ/ /3>9Uc=Db(;/KFrKLq9km'@g  ! HOL-Proofs  SMy0~8}/w=UR+3lڼ\L0W5M%mxkh͑td?  {ghpB5pL-H[bRz]#  ʉ‡\#`t4"@k,M)y-,='aNOXm|I+0$Omb2~ʅcu@wG!t3Lm_:mvgIr.v~֤U8;c/.|s0|  t{'nF6)쁞 uivY3Aꁐ`RٺQlky*c3C2%g?EDYù p.ydJם #I"m^_G%sȤ7yj^XwiɉS`P'Nd u> !ID(w\5H~:)6/ ;P\ \Uo &. TȑU6a"L?s[Rw<s.>gh9tR٩)WݚRnj^kD\`"\>[+FqV~_{;9u90bX:{s?ݴJn|5mZ( ݚ/XerڭN& Ү!"`Scv_*siف*Syldӂ<KI+&0ü"<^[~t{GT$ 鼘#{ʉYyyOǥ G7ccmb3_פaAYH&euw#%C2NdLޗɛiuJTUNGKghy0'cϒɉЌ¯WSeNDJ??NQ='U! uzh~&u5lmRa|Զȴ'j3<9ְ:MŜgTc+>t3Q*sp+XdAuTy;'R.('xleIndK ` rŅm4qK?p,ZʂF4ÖĊ[r9X`uXqgs2D2)&KqvQ$]kسEG]r4U&c;Z"gq(t*\wnÅla~MOlcGȓm%fjKTJcxc>8Qo&RXxqgtH)+K7s%T$`B }.ٷ3uJˁiO!Zt8>/[04o,SJjqD{_ruɹL??lZ<]nn3@msp||P|n?&Fo Ece"d #hQ7&^W;xA[} bXtg TMZM;nmvǸU=8$3o͘L>g Lw>!)Tk pqu ޽5Vh؞δ%u/>A,O'V3q@sg *K(ħE'n>u=D4/_1+fA6`y䯾ywOSq>BlCԚ$VJi#(mBk-ŏ8_< ?:5'G7OU*:zH&͕taՆ}Y_tkxqT`KP`55bqBY ]qrzJ^dӇq !ܜG 8N:'UkmVT'ʁ#dɏ)qC3uy"%Xs્u顦OO|eXlps w.Dj $y5^pr=N+LUN|ε\:z1zKMk|RY1s>_ZpßNoT-iLڛU[.Y4[%>S0`Iz#Za>a66&|Wo1b vQo(=C]`-⑎?5rQӑ4qvP6)M]ʒ(?ܛ+Ũ+@uP͡N>,}䎤`w9R=Xu#8ٽƂ7[`$EW6M|v$*$CNs0̲vl|׀<=PRj(KEkʑzp>C@Iҳ4r tnQ>inI}nWUOR*%Ce r2ǎӵf <4қ68o^ }팦h 3'ձgYZ7zXZִF! []ŗXiɟg_$N%Q Kβ[I47~1C&Z\)Ya鞌&: #N1yHg:$7bnDOu^QУ8U_IZIa`d^pyMA8R4 V{)k)Sȉ{Cqz] ;8Ag%A)20|w:eai["fA9C`V|'+]pnk֦ qF\VYq!>[¹)h;{B2!PG_0UԪtPTD=ћ!\r 3}9iHFk/eb~h6g(A.0tlŰNRO] ~1lJ-j.z喝54٥h0imm6ys4eCY5ևibM‚ĭ i_El;h: SsFpYNo;hɖS$ Fp7{tNn(sv6{DNS멞w@X9HL#uv :u_HQ֬a֕䧉53f3 f2T'~nNb`nJZ NhDMVL#I #=F@al`C* L{9D9TO7өb{i_]Cnfvon#GX`+7?ې֚PGtY7d*/gZ .Ha6Tѝ!D@F7Pt-IdӐn4@݂AG@5[v_'mRN5ObrvE"dH 3)/7fz~"'6+Mׂ+>h1ߞ#-@1ڎOQ㊡ "qڶH~fxSttUĻ=F=V5 Fy D92nt0uOr6zpAfݠ晠x鶀F8IJ:cO;".pU}Jj;n<ًͲ#X$[0^H^U-7oRN~A4\_ٿ 2#N,?9W3`M[r;v.H[V|YS`M>q+г!|I=kO˗r[jԳq@#(^;8XnufŪԎWʠQ{3Jj G"Ԙ׫1jX #qX>8,?*)uzY7B MvWT؉uʌp 7rrMߌ,_LlAD1n֒{#-@n='^@󾅧BD{be2#_=hQ zd%"P뀾Rmc~qx ٹ`.]Jy 2$ʢsNI3YXXxoc2蕩yU_df# VPR2r<ܨnRfpN;8"0B 2ﰭgYZ7zXZִF! k]ŗXi%L(q S")Ev0v#@;&c$Fͳ%̵jd \v2+:[J 3Sc('wǹB!u4\3#w/Pm}1O@""AP b^-sqmmhQ P˩}sB}{.gܳJ,Qba!!R|Ұʺ[KLFz VIͿ21r\ i[hc+}>r8 H7ǷzN82M|n'`?F3fOqn;X^A(8FT9IP䧭 ݿhT@@+t.FwaUp3CS(Dn®:5rqDIMVeVk2PwP_z>Аq&31/lNsBs$Y HWGE E۫y_sȉx(?;+< l&EV髸Z+W3X~?Ll@۶+/Mn2]t?I_<6l.aBPǩ,P:|Spms nqP,նŽϏ0}Pԙ-+9eRN7c46̏F.z( щ܏i `B7 zujT \V !M?oe1};mSJR|FJg^Hh s!  ʬ%hLB?Ek,5%$]55T]ڳs9a-b)E=Y hϰa,5x(fZ‰mW"-OuKݍf? C=egשxpL\֗/,>6e&ŕZ_j1R9(4(TNb#S] !(5FwJ' ?k೏qW~gm+C@hF0JJAc1{D^13WBì|F8O?\&7ywC+UKIRe<6aa)8sq h%fGG@# 3Y"x)p+1kZ񍊿?.}gn-q@ _K rc|_eTg\2o-fj3Dǜ؋UD:VZpyPQ&bx&R> Euʅ*l KIj["peDd5+)j{xao:C/ 8WnG@C/873]yXTzQ22W7$hzE)DI:;pqr >8H{13 < JoP%&r'$DыnDt-.|qTKvo7P4+.9 zJ3MI8 knȥ3MX(L7dUP 0;K}A&TpY;]%c/` kwjjD.< ŬB* VʝQԱ\j%ۧseyV.ʉѝ>)n=BkKە![s=i $0pƠ@֖Z::qyz3drrCG8?\ѡbz٦QPW41Be6P03+m?Ƀ4IgC Zuzq8^?&ce.k^uOC?*daB~:^LF<Zlv4(Mp41\ek.ꉙAuH?S 'z´&Ê2i Vob-u  T@1<(L9N G#H)+ÅL - Mg4r_916z*c'0 5+8Ω* u29@\yI %<#h?J,b: 5ӏ9<8j`€}B]aIj]_,+j8`H`=y:G ]ʆwi4H^I+OrwsnޖꌳV%'3nlџ|ڇFi[ ꕿ;|¬K|1+Yy)owӎ#*W?cS|[ݿh:B v{.JmC4 V"ܶ~:5O"[ȹ*:Q!WqjN#n_d@="|=M xE^40v""roj""BڝiPkԼ rv7٫"-IXJm_AGal :qm3f RMގ# SnҰ>jUg'ܮnhLWx5x~ -p#VMV\5Qb Hͬ +-ϢCEyRT S473 GT]fwN31P `ayvD삕 LN^q&IÅ?pe$G Fd @gތZ7Ry(Y`֝uK[Te}dO+qɝ˂{LځQ~V 4Ð=ܸ7g H0 (\STf>uלJU ci{ؔ2M,y~\[V\m˛1f'[}ז1;7& }B2+ kIXs;kdP,l9@3 0YP:E2ӦZ[VVx7=^uB爦J%}}}ns]HWivl*a;€aij,F-TqRtxOlM(+p5a#iy d\sϑc)\f;w4XR%ЮK{X`=j>o'dS_Ohkړ\G4N6L ~+_ЕVyK\.5 8!Cxt9xX\Bq[)bP{3uS ӓ7moѣuo\[2Z@Enឹ(V &)ollw]> kX~[tIsgu*}4P'aS:N F-QYS&sV@_'I_ڳe0VCm{KWM+O/SCZ!K"ƫ~na!@,b•&!~Rt' JBr菦/aQƯ?6e@1 S\7ѵϱ@7Unb+ ;G &:72э0W(\y^!m .2L1Un8Q|UTDZRCBڧZYioTlEvDSg/YNx5Q:T|Q.:YT*kwt >Ly#0"^r#^F{Mc}]o%sdƇYeA"oΛh[MQ-L[ijSX d]+,?4\]=fig0vz? yg]I%ЍTy .Qgr xi-]0lxng\DM_ܩ %^Y7x>z1L?cz̼Cza^,ˉo8(ox}*gɂbgܷIN 6Siyӽ~.Q+6/8/[pf3CU&㊁^b6aڱ.%Ф &lT"?/ǘORWSے:$3%18qO؃B63 d^T;%.ZvXYS=\ǁhn̸rY) OS}!KH3/?ZPnP9\(#Ь(y& Um<^MfDӹBih o`T }yw*z$*A_KHTxp9S3&*QV䇱oG-lCI|VYX,.^Tp.zBW\UO4.{Jk;F _o Ydp[ng1?KihR Z+qq<UҖ2q3gcg%s踀a 4+E2S2Y+ĘfaߔQ]JO?tp–3G;4}*'{0,T}%35zϱ[klmM(oX%í?zq9g?͗D&wNd[Y{%60F{>;D!KB+! K1w LJdq%c= "ps8;Fن=XPv +`]ǩ"@} q EHqoXjgy)-x:CSFPO[dB%UЊNVRIAlkm{μM@}! z[cH| ńt /aa%z$QxG 4|ioP\n8ZƄ4lK% _TMp@\Q˪w>!^lAйmyԄ7Y:fB񴃷s/Ī8ұ25g ap) VR3р/`qLRcXP Z #TO"ΔpnJ`[:Ĭ2$L[uڎA zHK8$x*JJ%J4XNȎq #KiS`R~^Cz$)FGްaT_doT7uU^Z!naSXST}ƥff a-MƩ5Jz2}uwhk{U׬`Ș8S3=Kĩ̪nrE˒*LfCմ- zS4RU_yplVR%wu %/DxnzD /mx^HIi0 wAUy4vCfi(gM$%4 wdfmѷ63Dlu:0*§} y\  ~@qN\\烍\](efM> ܦϠdscS1[}dWX/4^<ѠPȢ`bpY,)kĞXWF}ɱ +DM/SO R≔LhvC{{gQ6$@7:[;x*;Y>_V$̈(7v˨s!РfaTQ;|M ?4@"&m˰^f3ãT W2R)rAț0e]]6ټ1O(lE*/v+),ƻC_q[1 ;: D0ԃ}=V,ÔGB |yTwLrzQN)i6,@Mdґ-ôx̸ag(qxT8]팿 =ָo"PIvܠ"rKj5wt 8#y>Hʾ'djtv#I{/` eOEM??%e@w-H.zkq:PP OY{#Aup4b^&^״F ?4/;l;hN̷Q:[^'6!z8eDhx6Ө}B6\ #c"kE"Bp#)^Z uOx{O~'F pmE:3}DzM D4tVTgdTjԐRt }&^%M,Đt{mCK-w'zUۏNdCT2ZwMylڀW(*$Ĺ aXxVv*بE ߄ `_G^6pB+.Xh\ _bLNSD^,<^8xsIC~ Iߥ⌺:)Ǔ!T{Ƙ6f $A>F]MQ쳛0[Xu'陇wOU%cf<߉F 8P6h4=E@%!^fՃ;@Z.U\ɴP3,[m4y5Ի l\]OǗ `LXJ{T3[2}iem # +mԟH,awOZb&Fbn@"qFڑme7Y+9$R ?yEIi䅡?" QQ+0O喹F$Ŧ4.`(|_Gnɬa77vΟ /o"ιA2OtG[E<١7ŭˑտq**#8-Q t  _  @gV69^fnLmB(PT6{rDMeh?uT6r \Jb לIA ֺV`-Z#_%.h$?yԂ7d*k}zGm Hǣ7k(7TEnnP`1+ <CT|yR$_~"K$}:Ϯ 6\j֖;WꃃY{@&Sݩ+@PU([I7nZ$CNO!9't)桸02^V۰5U-u8P,O %U2&LzJd Ug/y\áZr+0mtltPcD");j^|jŽe^?4] O:}B %5pA=Ţ}__`jlw;d*e|J!-8+AP~Ђ&f)iƕ+`_^|pQ'Hzgi.$Y@\xaED,t9j:PGN xa\%9wSGlm+Ub<f懷Oԝ(btjՍ/${pC$-J@mh*&tIOHd`ϒ'LR]sf(hXfkI>WbݺL,c~IA7#g>a*2XuH9 gc^'9fRTI 3 [3O>Mecp)nl\J_fvلd5Q   k.N\Uڬ!dž40UrPkXF>ѭ klm:ZX݂:DZW$j[<{9-Ⲃ; r_p҉@ҳ N;[e z!0x_ UCM|䶄S LO70z>908gTb=Y S5/p[%K5gЃ,a _h$ƭa1[QfQeRỤ;j+'3C)(yo>dG^ -)Sl1fDKQp::ZI@楞*U2׼S=I~K!_ވlEGCLVNnjNbHQ"=ձ@՗M"[մvlS8aF__"wd@2B aV! M2t_&顓UI*;wrKO yYk>|}1p7i,3p=銐X&^\]UFuFV{3,fZ߰8ۘPIS="eQ ./NS+ǎxjwO"pH@yb!b&~-S93ܘS'%A: m;R9 [K4`)W~կ4_WP5p$QAkc)o /ypGc<݆ȟzzis7F) :6z\\Ԩ20 )#g2=Bᖈ[$ѵb?IkM7kM/jp4G\%t&`+rgͰ>w}G|[7!#?@,]!{ӎc:}?]q)?WC֔;FO_\;FJ%pB@|cׇ/tY]%oƒMe>+Sy/8zQK?7WJR$fW U&t2PEy<0A;enRv׻+}Vbk9=%(MdHr1vX nOOTGV' Cz<"&B>xù>D# c5٤4gڢuF*KS@ F uɠ/ضyKEM ÄPؽXJo]}^q+Wb!-'Y%4ǮDi9Bj @m5?qU~ut[} N~}dMeCH"ni6(Op.X/(ߩbD  p-tcS}XՋlI05YX/L+?М|[#SXg;fyX*՗QUn_^/QRi$VCe6º80_SշޑȣGIn@6XO<@˩< $tS-avh&.᜗VCƗ *ZGjk;OMNk:'y|=VٓS.Mc |]`W6(QPDE !) < _5)S" ,P@OB}o>}{erU,1=-3Sh߫O q8{о EWߘxuBpA|ZZf\&ڗpdOx#X_?#/ 8b6^74 H[RzYIיr2#|_yxW Ri i }\l "5NЩfRϕc<`OUɢf\ u I2E]Y6 j 59p& GhٴJGkFio }I~B  2~ LwT"7t8[=w!1 I'@'1Ѕ2({8Jpv ^s0b%D+hhʿSBsr^Hs'+[L<9gVBH 頇+u<%c_^=UTP1z`: Z`"agƆooOjRڱ.KHSJyuVN/v;$zT$˯84ZoS7Ma=ʹj|MyįX=֝p_+L6 ԗŴy]V 5,a̛7J lפicp%Ā:DCh|QwBd2~ &2ZWB(\IzohN%BXRq}M~WU*5J%ѯvGC/m!}F@+Bo&w#]b*xvOϧF?_ =nAJCE)z @{2 ޏ l7"16q| Y.jW")\8BAPo#[W טI8qUoV[W7k_U}f51i~즰V6eʣBivzH4DAʌ[m:g޴i颍wHap^a̹7.^&DFFNΥP.V4U'iG" weTub40;j!gSHkk0s/Hwc\1u`ۣ9MV3WV֫d^;a?X~ 4NKME%<aVki$c-hus8w-p˟/W\,qn n_N+|~wJ7=37yL^j05"e­|gՂEI|PY j39􎞿ibw`yO<5APS)@Χ0ǿ20 'yOR4tAyOj8MwuAKMe4"A10:\<Ky+;7YieJĵ@io p/_ w=[A뱉ha^S|59 A Iz'"8 {-AO! E =R1HI2tL-nEbaHYƔ\΢gn19͛?@6;"Fwھ)Zoރzv.5B-G.X:S:^k *S`]4k1p̮>IH!m^(sjܠEB9]W7)/#Kۗ]XQ8rn>sBVL$յ?^O-lc lMBR\R"kD-gI| *JH1M!cҦn͆i˒ ī^i,"t:m6=;x >ܮO隇B9Թ;N8ۚ=JFi۪ Ctn H A}xW=9ȱ֬ݟ_X/4;⤼ԯ`!IM卝sls`qW;8C6i~ I'} Pv~+H-*%r덲 M'^<ѕV&{W}w.bOW@ݞHFŽ%^Ў$%tk|Qvr;WBܶPNӛsӞu` "GE>PX׽+$z;$K^RBJC E/TͦQ#k>gzCS(@6H2 g<ܧb|CZ*9De{L߮ b#q֌˝u,6>2cі뇻_P.kgqk1Te.Ϣi اWxw]w(c , #M!>`'Tه%ltI ,AFt!jlԽwvzǵ|_"ܟJHA5m$ bjV? F\Y*k%JT^BbbIIΦά9vʜ#ĽLz.5=FvZy6a<eM] FJ۶HHtf?˄5l9"!b( ݊*/vޕT;J[sɒlc@)Bw6A%n ^EdEQ3VC+ j + nZ5L7|͌c<718Q?wcuyҶk0#8اʋV - y{.*H~Y&LɽU`c$ o6[*mzx!SxF3p?]rANoHUCmqpu$^p?vZdn#=*I.^4tO{B!&~DwL34.\G&t64qQX 7 dB0uI?Ĝq~tiF{4N\ڧA>4}%]Fă58l||#%0w ogv2#g'&G`{st]iI*m > Rқ6Tbd6^B)S!3Z|ڛ(fSG%n _C'Fˆp`Y3 }>h*4"raA#NLDralM̿&>7gO |E#?A9WIi:wL N ʏݗfwtaFF%0Hc+?P@XljXj)Yp+;2d=ډ4Y{>> l}Nդpl+ErҨt5G6 F[޸xe]QP#'iP+B +l-Ϯpc_q}9[bO^*//N'ЏY>]t8Pԛ-MkK[Akuxשؔa+(s)ߎ1HrAZFsT+w|4bn-@)F0-pߗ LOf[,](y3qd$zIoY (]K>~oFGhcPi$VY0TTb܀3x8iâ11m3t2 '2@@WrW=l5eV{؋C-bSQHp|^KhY˥ \[PgAWGyYiFlL7En4>L$^vR@&xɆbM'pE#+dc bqKDwś-oR ShՔG#zr^h{7э]ѡN3Ū- [Paam=>y|9/­n3X9z6T olZߑOjnpqf _΍d˲/9JGE/ˢ(h'#ovE#g.  2{`LS.%o]6}-!Tj9yQ{lwtYrc.UқaZsN $*ͱ SVç?urfjឈL2BZsBH72_G7c15{G:ELv##OR8m4{*Pg/zu NIT䫉pV2<MP1o tx؊czh2^h@7jzDc}jlx#Ʌ#OW3h=c12< !{GԵ> Bz 9O>rJz#mq;s=m7f-aX|Є,LCDN) sxZqN[gX8hZKxx 8M\OTXa{jYvp !YgSIkjJwsR=Y̝6?,Sj5XR*VztVDi+l֞fDŰ5T=0+ڤ)`'uy<2M,@݌8uqd1@̛oxUv(m{ "Mߑ=<2X,NrBt"[ͷC̒nVz6ĂX8hr ;~5^8]AR}x{cVmZ!Q}.[HMz|5&!0:萷cLo))Ukjˋ.n{5TU9[& [N4{V*+I|/CDlYBNOv0T?S_>$Wb,h2`M$p6/ }A&C$ɀߓUN%mӥ^Œo&zfz&o1Hs2U/R+zlwpTh X5iE'Ο;"tϔ|#TE[ޞbތ@MF1<\=Xrsi4iDT'.:'QƴE_<+\E5vkA6{Vfi[ e0]'R6Q[#1%%ѭƙTOQ[х i )^&|V ׭ w`f zIU~u XӞ0 [NfMڢj$U}6|I8Xq)`mOQf,.Vgs';~$*x֢Kx>핏I,S?{Qr %8UWh+ XbF?Po;dV;~.(WP^M2;Mw}SK_JjHIx6ۙZ5鯸;r,.J2ү:lu+߅rJsҽUPFc]e8#"rOwj8C(G*19h:v˜JzQczq` _8&)I5SƥyRS/cg' LPw:"lfM9*-:[ 65v9>*B[&63}IoUdBTSG0^=YV_}l# ?l.4Lo(܉+q 9[+4l“-@bҸ7v !{U0,#Ofiac2kLӫT*@\1C3-H?fIp%b#Jr?xiwB!2R!h fe(Ǿ;q:"Ӻ~m@$EËf(FSOawA:W7O/pL9l[t±d5 = XnSI jJ1 v+?cn]&\42=$MtrQG;@]~m6D3W!mz"&15V>iqHd0,)4 ]E)(2Kj@zeqt s1Sk9 -ܽ͸`;uj#Djuܑn\3]NcJ.9f$t'K 9,^ L# d\ՙ@t뾥'1y9R\IF)H/z 1nۥطiTL!Sjf/R}E7ƱeV";rA{1N+5r dk#<ǟFΦj<6srrz%7.FA0*R ] ?MI4`cŬ)㠢Quh~ ˳nnb%ڣh@SW(z3Mg"nt(BXH(u%SNֶ&N˯WH?~cm?ܳ]}Gkxe3nռ,! tGd-QJWC <42^PYJrMmX_=2(4s}ux\Г&3Ɓa"}7t=LrK-D:Îv7r}}~;JyeQYr^1x9Jb9#JG c_ ??`R(;¤ zR'Mr~9P#>Mg:(;V.PX$.A坺 \DGm-Z~WQS pisB7e-eN|i{y !]N`Q,\әNg~9 "sG[JhHnBL#{Xp3ŢO/ml9C̰xG9s]̀D[jlʎXkA}:|d^*NE]='18/ԇyFk ɡpAוx.A..񾋗<`^6K]s ncd} 75:?e@3FO hC@UdG?S:鋯+5ڥXA}p 74HAӖh;AڕX~n@!Ϭ.Vu(BzpG3cx{ujz]\6Y94wj"=[WTk+"Ak%/Y7LbB.${9d\42f 0Xk:1rsD0%5:U` .;9`J2nmh&M=^QvW{k5&NHd:H{a|65x5i'#p5U,yCM I|~v S: n+R{OoQ/=W>Ö[z|# Tʥ1^ [8w?﹓2PnkW7*ozrHwfűQCH :xԔ0Cs!-˗hHeQFA}eh<Ά~<4l!0T [d2݌kG8ED cY3`$GEԕl~L75%F a=PwJ<`|ᶊ>6iR-ZvԢn>8'Lj s-m%'\F{a؞PL YoZvOm*X-O[c&]Zº|aEh|gA}ַ4h.er?#l ƿvG:+yH fZҫ"# NoUW><𮗣ZGKh?D!#5A+8X̪bX.5x; k n,c[mؑ)b?Rl<&X4j$]\"ٌcE(^Xl9l$f45 lQ42OG&Z$%N?,x{Sڄ;Ǐ:Ij-#cEe-j#0q,򽤚Up,pQ4-ΧK<:/>ަ_Xp*3׎_9iО Ezͅ,B)4[o9u[NaV~"TIUKǣ4+^tVAZ]݀AP%P|]*Wq Yw8^JVHKӚ>@"50܂TbuڑzuV/uVqaޒ}nQ]GC*^%pq<^T!bEC4sIYI{3ӋOuO.5RE)T(ew8}C 5]1Ȍdo}4,;U͕qigJ%= ^m `pmcRPKLa.M5I7PBi󃎇PfyCW[]|BPWn'!f!V{]8x3[0o7-/Ow? ak|~1mWKg|F"ter7hl`Sܣޔld(ՔTߙ+ؗkcl7f Wri1ō]b_* > !"S$1-Fn^+%WVX\|fQX+TvWH؀8_yi6:qSߟrP0oUUS/" ֏CD(EE$(Ewޫ6 /;H}r] nHW9[*<5_`W6^M$;!`:upiw֙?bz,8̯gAF֡f q eO+6Y&u\+eQCG<88Zm=1jwP#g-C=ݟsTTU=ŵmJ:{4DwKݾT}np4 :wXRDm1kD11Q?|'ԜWWxEvQ >D2LHԤ8Wr}טMlvc= kVDM |^2X'xQݺ&]'ҽ![Q6N\|ilòD HG&l˽gLpRfEaЪ!)'R+֍MSڬѹI]UK=B=Wړ4鸸ճ ] ޟt;dDN[ \SۺÀGi ]}.K-'/# huV곙pVj8ߢU<怐r;infP@uluS:|T ʃz.\ӔǪndSಽ-}-YۻVB?8:LxxjwF`D#qP80p"ACΪ ܺA.*sw(iPrNv$ $aP3 ްms^>{ZǨqdBTHnr1*QbOGE&bH>>"h?<9Z*>g90gCMY](_)$$,Xm=< U\Ix"koBe[VV\)_#/[oahR=2|_f{,8 ' U"ı|WI; :q߹V(& No]B7$@SV7j3F/pl zRIJs{5ĝmyN;-7={߷_t t Z-' 7-– -rCKߡWr2Yr$W!8+f(UNuWM}ULl8QwaB! Vijwz퀶n=v8~.INi.k{LyxjU,H1RPB{3#rK'։D˸X]7{aVO>*QDlIi:8d!P PB_擛K+į\h2a4k @>} ,=RnO@Kv|]`nG}Ԓlyi7"E 2,6ZRX򠼸ӰkH$BK]J5,lHĨ ةVxdu^A.{c{cd;\5ݳnT.1.v=ZĻXy%i7EKY6h0x[9Xֺʩ6KϪ̓:(@kq(yc@rq.4#$D:Ŵr0tɃ+GdW ty'PmzCBRzU1z4dݲ+Ū3CUoъUZ'tlwb=R/.7ldazcp}Yhq!ޱ\AXY.鑘Z$a˜MDU h*P2*wꝣl5lo.nׅwk(s/xFઉ {[pqQxOC8ՠ 9QS0`Kp%Fg:NHMϔC[;q&H"OYf^~(}UF^ AK`BsWir6t-"87r}8vjPc>0DzY);Puυ>'T@)(T;],U=F'xYG:PmX+ڶ ۩u =~%D|c =(ţ[z7:-"rsŖvzHz8vzzk.;4}QQʻױ¤3~c8X0Eʐ/i!NE#~@LO3,lUKbL[:<dZwӢHK(M\3C4&pQRiy<)ŹKh|Y07R(=Nw8~ħUDg?@Tar@$I0a$_EY% ^i\YOv}թ E52?;-Tjy{6)*tԼFgl'p*n\gYZd47b2a64697ecccdda61ea2471e7b8d2214782521ff54ca3c0b35679bcb668ab161c4d90ed31f0a9dc3961040a19653452929f49ec50141ebb168d6a