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 DD%\ < ]/]HOL-Analysis:threads=6elapsed=330.838cpu=1695.444gc=95.800factor=5.127zXZִF! ߋR]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm״N%#'h,#'/i>Z 7-_r&OO[aa]:!:[,"kIF MȯX]k`\柇vO`"y ,yN#:]k؇p-ꌇ.w ID'2f$szd쑥bZD]~z|9^-fjMJ|,5\ t&a_/B %TDTNՠWuRkEiaaO;{籸ݏ8bs:(i٘vT"+Bb XnaEA(hCpOo1_VT.gki鍽 [QǛO9CjCS|v= #sFwIl r1]%l&y)Ӣ=OJϚܙ{rU"Xc]vPO9hqg?h鈜/avƗ%㣱('Ў}k)mx8h\:%Oh2Ȫ.^Q2_P'g\y 0(A3IL:f?Oqe8Г݋2s<Gp# Eт.ӱGpC(;dw[OF˶~LjnJ_s2Le^Q БP򠼡}E:|D$~UPVN/<seeH3u @qXTxMCtȌ7.k5>!鞚.*F<(ca-776~%+mЎ/5^LPS&I<3jL4NHU%ʝ@ǫftwi(PXzɉDB؁Sԇ|o˶z0P쀄8k'SY0Uju i,kDd9-|Zp"t8nϙ]|awoޢJD$uL%j1~¬BƃFGcjp`-;W*x2R|W d_9n0'6jQkbG !~7"wύɁ Q=Z6i`F]7mܥN:U$ԢX62ZbFIusL=V`lB6K!ui=uŧ51 yPC5D';lKʢP32Ij:b =4b/+e5.Q?dHIa#"lpP ._'>P`ufPKhvQnMi+M*UasKbV,`fMwZF][Ms^uav16ߡw/0MOTI"JuDmpü- V&ӒW>tDЭun*@vV[.E陌JD4)!XjO?S6}1)Zor1]Kk*g.QIᮆ#oM 9rq`*<>AqW* %R0i8ɬQ wO$Et{-YYƙh_sXX;w#ҭ6Iܽ(*bs{H!WG0] ZU FO-GYcl;.^1>4Ud݂Uy++sjm8n } N7ٰt@uaC ,!a`txՔû St aoTPq'@:?ҏ"xke<-ZVQ|ߐb2B~$C&CX3 !G|yH},S*@f  aWtLC=[Fi Nqb,Ol4WGSphq37B,RN9dwvq?\9Y[]EzL۴E6xٔ]Q݌.Q3)buIiIWPF& lC{VS0t=%t۔1յ6E.<ÌCzxe_Z<vӼiN^2>݌ª> <_ٌ&-|1?#>~w cJB\$jg#v87OދY 9+8c4V@X0&`:b;Zzś=Ĺlo'gMz1%kvTʞ/U$DTʁM45B@H :l9QzځpK'dT䬱f%ˇ ȷ  % HOL-Analysis  ܂`19G@phfdקHwp[Sgf dwь+m@--@3$ pv" B8(언| w>baYd16lH3l j$5MkۄX-.D~$$[p1ۙq!.^wh PJGKW˃$ Z~9gW}ă71!1u'grQɦTF.iFJRVV=뾙HPE\r:PP8gimxt{ާYbF5}3 BL"b%[0 hh* tL?8FHo6CF2&fi ):wN2 Ue*#,&*d(S?lCgy prik' x񿙊Efҟf뙳Ъ6Y(ݝ`yqR]F= $6-&c/TPKD!Փ:6Rݏ)eO嶴S5L@_E$JLׂV(>8!Yo! As7F޶gEd-hs햊M@fP>0A2səBz/q)9I$5m=UolE: T;!<@ي./^BhRaՠ5g. h-k^H K< !RTUfI?ՔG{UF[f65O7s"בDHiE`j#sqֳBrN[c6`ʝ,z%viy;,ԃJpz{lOš]yN'D٦.=ӡYL 1F=oKp9\"p9o)a3}?.M=^Qk(蕾ދ61 V %]TUKΆ`fPi2jlCGHFmb߸Ҿ4RZzb?,,)EQ\Lԥ]V(E@Lv/. TH-ԩrYRpA\=  yv7JAD'<]W"?Kܬ 0%g%}k9\]^n$َ0or5207XT 2qadȺ/>_2S騾 u"TDNWu"-yYTKIR>it!L3%$VK ]Ι% dz6n2 !Q#bFV3WFRi~܃o =1Go&c8e2 ո5ӰcXʬZȣ6ۿ.yQLPȽ@b֟SISL/GY˽2 S٠r1 /6ZKQ)%!'S\ѵ>v΍ d(Ѕ'|GG<}MJb`g޹oS=8Kx2s-`M~DeN'?? V% &uϒ5v7NϚ$EQ:dh㗉^de?V>lyxy37, )5d׺wXajbhwO˳]&RGiAڲLpڂ5IP;QЄ"nh1;`ƀ&z}$v'8H۟ݳYzBŢ~iP5@_[4+cÛv @Y9"vWd3>n{C:T`(+8+JtUwM@0 Ӟap~%3Fkԗ*N .]n@FͰɥ$OBCj "6p~=٢ϋ'=Kq|Y^W7!%>D⶞D+dKc>`JDrn ƉLMzNk/̳C[F2MBH/.9|3 z7>sڱ@a(;*^qi]4/.uuSZYjnAggDR>ӝ3:OV{җ &2ϋ:oD\]#ܙ)]@o{4ârPD5hKr 6t 3l>RZ&뤍`)n3X\~I/Xz&R 2ӁЉ7w_I#I{ oimg<ߡJK[ъ3tTqC%)If^y_&o5&7ZQ=85 W&&e~\9dΜ5E45x8H]{~p8#t(9HSi23kIQW!?2&h?ݴX1=;ҷ Hq"?Mo BgP1SRfQr:JKnBHXS'߭M*X ag#$ԓc< #9׳ ՝z?j^UN8Imyye#3 \=KlfMX=-ýM>>Z`3$B)=kYͣRg0yۚ\2++UM 5Ek(j_X;wZV-K9(%ߩ?iJ"͗ªX3l|JXJ"N-8*]p`PG J&how k+9rH+MFD:{K#Mjz|"#e}|˰$LfAyRR#'x?ZXňCdU9G `!eh=^5Ä́cL>'L#H]ӮHV(M)wD/$;GB]]&ZN 19)ISƈ?Av,8P'qkija29"qO^{iN}'kՏ߳glTn Tk(Hn{ ҆_AǁE,= XaBllaTc8nq%q2Tk|k |H_F0]\A!Q}*xԖ؆zѿ#ykT,}^ΐc9P( ɮ(> ϰ{J/=#jvMJ+4E$I%db5C0yw̄}`6OeA u5W.VlH^ٵx~ygFܚxŀ5{6_acUӅOqʸR{"kW=5=|ms1'ބr4@VO0J5g0" $fZy|R|Ħ8Dh튜޴Β.?įՖS۬`~28ܶx0,G@d3!U qWUŵ7,Hgi*Q(F£/j**eAT:G!S%!Q1M;fWڡLC7[xɥKuʴzola$S:Y^?T䠕u->26Fn3JR6SL0 uO- 0 Rn ,m/O))[hٵcF-+E8?#)U&xR 8?bHvN&HnMBX%+_p'F-v0~6ӴUi^>AtHNL?Qc!ڼ%3Il{1@M"`dO b7Ce 5G@"=?49? H#w$Vo0@h&Ma$!B@<Y,T<" ʤ=e :sg`:4(;>?mdKJ d(, <}DdAX] VFG T  єT؄*,T8=uÂ9KKvA4ofĉ rNzY>y +TB5sP\R n3ײeZ~Oqx2WKGC07BmkWƂ;xYDއuB'1.m,*^tDk=IXCgnt"z+x찥1|nWEU)_ p$9]zںмe'(_܊BO[Xy@;Ͳao1FL~ʚnAyskaXL&U lk ?٢~!&!P7Kl-;o2aRO`]YŸUÉV\Ryrum:Wɞ!uBRB_Oۧ+HC7rR𠄡E1~-;1Ʌ319)u`@;Y;X?V5k8 g$W˷|]][87>"md@}NIck4b] c<0e>+o;z]֚bl|'[>ݿVEl!+K>yˉTMu=E8Zq^ IP K_mob9-K7&߽ڶ/Fd/=ҿboc"B?54. gkO7,C 0 /mxR =\]Wt [UǍ#ـǡ'' QWLG+6GSB1@NB0 1?7[_RkKdMr'yUf;[AEș*'TZo:$f)?6"a<߷t O }OWy$R aMz\1XGG"pQh"FJ *j Jő}LY K%=/bzg!#SMlI9zF0BpA{%M2\?tѯ2D? ~q);ǓA?\ɲvh3'V qY.6ՁəNKnx8h:C̼&#uCŊ7A+ZWŜ ;.6*,uxif[ %D}ׁ)' 8R3?\.N6M($mv46o:9a.{]m@;"1IbAuh<\l? $/#l# pU]L } lRTpݺ;I9>?|^!3+0z7Ur2i}:` <hr8S,AҴ:j#Cu?.@D5R$m? @c(;}#P&^y̯^$UZlDvng=X^O(~Ggh~<_m=uvCpb=w]oxdU]cتɓ6rE;/[pkdvK8mqI)}"dr~8 Qݒm ]cӽq1ZN# g:ˆ׹(F/'&˅0ҬW~bCH|C2h:k;#UK9 bw-xC'B"L:MVvCܞ$N:SbpB{Wͮ]/,,$}Ǔ٢G&t>u&$CbB g"+/+j/Z(I$+Jym(1;M?duӐućw\ٔb%;S$ц'Kڛ+?4{1Ԗˆ ;WaBb8T_Zk)JJ7u*rƚHz' A'kҙw\Y?m]"<~?B6m/%r}6tj(~.aj<"WԼZbs 6)u4m}"lI5>l# ׃=B!g1 (<2Κn%5ڤiiHi.xNأ>21DXqlŎ㚻m[OY4x^ y(10o-92Д~ޔ[Opc8eW1>G'̈́M][9l_;^\ 2`CϤ CPiVZpo6) $c\mҽ% (H*t4?LҵXɖERMN*> yM;.0$q(>ɭ!cyzQ}bvHjuG{^pt |$\i~mN@lnޖ́#?0n ui.PF'52k#3 ͧ썻W׵bxy?JlXP3W5cO}6uV6 #0&ouT"a:E7SF[X%v0!"ecݏM:'!=&$řxgV((Q$W^mPq|KP]AJ 56"GZƧ]-)/}E$LCV^Oq*MJz۬\2]E-_D:gkZd)挂h&d _K/1$O\s%X-o\;kuIX K$g&DVbMo-0ĺUSrmy ޟۚB*T5;5MG62f֕a^z%*&/9cE4%.F1.-RH`?tSN,#֠;Qpo(>HŃt\}a5wˮ2vfMi5+M^$=-%yNjG rxrCE2æHhF%|wxI`cd iME9=1_( Hd?PCM;v+c9tY,pT?Mu 0ޛ$vg鏷  _=FO2u*XC'Z\LQq5`~SS ZG|0J:8 'Ѧy"LDͶ L>pIzGه^O+}B[$ZJ4a)I>7p̩!^`9W(>ʕ=a)[nBn8 d 8 ylȥ$`VEս{'ypz׉p.n/U7La>ƛ<r(t>D?ݲ(Xe/'qҲ=}.V_`ks0И).D1ӻ}19O_a'1:;OGoȪ)3 X}^lK.1KG"`n(Tϒq Gհ.A,r|ؙDwra#iLQqJ QP:xސHwºJ/ M _zXk:UavH?}9JhATr*Ƕ EzH_ZtVpyOsUa8=w V3Sy*|D);MF"V(_3CuXϐo?h\r-FKBpym}ވ\Sl$"ou%6xq:䂹B{!T \%6L#p|Ūꑈ <>>sjqQ7sͅC")=_ %IR=<߅JQe=zkAn4'?k$կCis90ܸBӤDw  }6,F^@B;AٺF*A{ q` Y\QEaM0d7%FOJt(4Mb接v|+ScvN/ٸw݀AvW;!w̄ r(5EL,'Y,:/,n_)r}1;Q?KbiC-9+tb(PKFdʱXAA΋^jgLkT0A/jjFBR"ZYluK#-@n"8|ZKnJNPv/@ \<kr]& eڱ_4ML[" l맦+$9] P$y& JPc5! Ъ\cUwO޹?TB>yY <>foF؝ @5*[FOMKǣ9 Ƨi]xmil۵C44!E7LhCjxF;@QM|`KThZϜ~DwLW>zmB$ΪlS_6a'h3p2y{qCVE5sBt0GI")4hoɪ|;v4 dK޻]O|JvQ3[qlIhk|~;A.@2ɝpYa~lov <5tv> d-ZwYeܷ ϫC.S}e'<W"0a)[g{Xchyɮfy.6&x5"i 2 җ5t^Sc&\T),7@;~RD]'D U '꒺(SYׅs65sBY&AZahra>B[ K|2&L==ӭ7_yBDXx 5Z9ҋ$+i L>W-xs>[8#N30~+ʰ5_%lEW Dijsa$e=8ZƼմlMj<RZjKADeoΐ+IZ5y+ { vW : U;DHnb *KG ^04f34"EG쮪'aB2qK1r,C^ǑR5ۚV Sъp?w"&0 J⅛֘8ۈEaAynq'gx%mhsb ۭoN0ҏY$6J][MҌO9=o6m^]"ͪ~;&~"1HI_DGN(fpt6⻮?l꺎G`"p8T} ȸ H+#g߮~QtYwvuHNmY9 J„>&Ӧ n%1NFd}uoeuUK`PJiPq?G \j\R,e1Ofa&+4A+m6"{6XbV( ȩyuXPE$Fkn:<9jûZ\lb9ۑ˾UF; X@ Nygr-Y^)ȃ@PREyjXCoHQ S歹6=ܡ]-q[CkMNسg#I/6 /fcwh@|7:F} !&R8lD`rpj~[KtAƓl}!+xᄚyr8f?5X4ǝRsAլ4+=Rt",'n\ޏ\Q醆W* U^1KOq}Põ2ѷ؈8Ao\3rlU0F{ Lx؀0-ڐcZb32\d݅,"1ogc04m.ߴ|}-t́G%2꠱p̖0׸I%wШzYfl' ҥ/bEUP~`u*GemWIY|a6 WYF輼q/'wA멎73tVmYj AB!p"G:WwaO5ʁVhftզP`̥̰,ۖ6 ^ n` -!ٛ 4 dAOwcrI1 4x~I"'lăv˥ WM,OKmO[SaefP|ZWƮ'lΡ?f !@0 ?2uUU+´ (*lM7?,cء⯄R/$,ٟ&;̏ 9TSzja?VRolfYGj PbPa_Cr Hy}1ۓkAxtu-GIfJ@d.z $ܽY o;ZV!'^YnNlɩ_(ǂC߱tɩuu,OuSyfp*'[)0X|2=mW!*fQGfSJgYZ7zXZִF! (]ŗXiɟ1˦r!cHkMeBd4>OFm䬚z"G*^[eERMl0xqA P,8[S“t_J aj%ewz6ݢ / h+>pͳ7A=vlAP絗J^>uNGYȿ ۛVĴGV#Wed-`}$V\7Vɐqr݈S̶ u*F*E+=XئRE{$)/:Lfi]@Atl|; ťl10vk 7?4qnVRBW0, zvtYGcʴo5MSwb_ce.Rnj*MS>{O޽Ė(Qg9sA=D- C>LOlXwqrW|[Ve@J1XER 5Ks| ھɁ(<KιSOױU P0vک2i)~r@ʬ M\D0g(9҅1śR,Q=2Edom]d ,U <ڇGMĠT?vfN8ЋZ1;QڨVK59aN0Mˠ$~o9.MHwxdFj^p,W4DD-G6=53,>3Igz`m7PvmGwd)KuGDݩ uU<<@zj l#Uif{8 GCˑ16 < u}yx 14}.A.aK|:%>+qGtmEc%8}0Sy6 x(Ցw)j`|^F4ʘ ޺*2hH5H[O*]g p/]c՞|o'|5nX%NS>4=55[Ȯw dDSB:zjhG\Okm.U#4~GzreuxZ4"V#={Vurl ,w8| %M:! Y5KzZYxA{EkYت.oqH('!|1`ĝg IFUYRFY'D" p?8-B+i##pA ǣۢ<~S^ .O ac(7\dEN-QFyx#5FØXƺ+k=dS4P\[r v7 ﯢ d"bAl+DC>Qri }~K$Մ~c@y*ҬWG]2?h:RU.o0Ύ:S@sYҶX dLq&ƗE'#`2+ќ!<ܚA\?T1&zIw@n*eLmbR{b7O{O I t%[H685+A5}Hc),Hf/ QJײV{iN~}/$1CSĩ; snUD`:`w}@ϔ:K3*s,( =#eIh{;ӞRcXSX`1:䏢T~ GͲu]``8$X,uY$gZIJ}5xUO] s̆ԆSI֛y^&T'VޙUg/@_0(Dg4! w.9_=*wBZk6y..͟NU87\˰^@(R,Ɲ\ y 57 0 kƪb*(7<8Րv=vs{y"XO)Z:ᯩk%XM;>6Hy}I^`;1̭D^ͷ޴v0(-|ۘ\gtZJqK&#IqM~Z%f@}ڄwj'-C>—ЋEþX< MNz5©OTZ8 i* `JIPͱW|huoNśfcSkivu,Qv`I3RflHH+Oȫ^ &+]Qѽ&{EX=Ж\G{҉E^YIX7C QO*5z-b}/tj f RE&bn/ f6$!%{Us#w,<q @3b Rh! .pB}M.3eto$uKBleՈJYpK7!+"6!( U9bIW 5/e.<6pwB[\% )U"/}6cɹƗ4D!9-/kjGƍ^pJ >.S\,(5a1R  :׺_'G!ܔÉ.;1AӑF4#& Oxs9)$ 'awt4V_]a 'oUe".MX"mY6cO6MS@CK}}0PV^zA hXNk9K‘uN+ZG<30N!~:/o~Q)VXVs)?Z{զ$y4OH]H=R@)[JJٔ4_ Q^a+]7Y-ruwHSOGDXf:|A:'NnQ~쨵CuOH 6ur5pde'q!)@}&'RqAVɧS~^4Ų7#4bDO%n$ )M2x)Tw}qx$ }Wz_"G<׺!N2,K%D?g5yѕQW76jmG@htTuR(Ws]'9;K2a"rŤuɐ[Ǒ Y3߱XZOޣyWw%lۈfl&@Rſkoʷ{WNW%#:h5 rKEn;>-y$$1".IG0n,\Guo 43DgȔURTsR!4[7"Dž0;| FqETc"FiL-ڨC?R eC\o[UÛk~;PeqѦMsp@{-j$su{ȉz6؋ö-Q c>y@Hp9WYL5q("_ cS5ՐWHUxZsbGxLa!:hkMNoL5[}y:Wc_'+)WlDR_0Q/ R=wEdSkߐmq#*C+fuw4lY1I>g)-9Uѯ/nLNǿeCł-g̔aݫr 2Lt2ApƔფOՎMO뺭?a2MB~Bj~Q {sP.T0 OJ8}ͫv9v2 S3MwQP? JA?'2v8YB\!4wf÷K[Izn1P:!34w\}( u5c8Fy_gvO?GeGZI`َ Y?Wˬ>zQrC^ӟU*8y,@E(˖GVrcķz$O"T[8}Sϊ+N-H^B[0ۚwcL5eO:=H5%_`G%˻]QtCH '^ ͻN;w创vԾI@njW_EsD6]N;zBO#0(9\T5.o$gm`OرYYLȰes ^r<_J7SjP֕"#~m_Jrh(Ѕ{Gzg:&P4`X bR>tG-5ϻ{[:0ް0ON]aqRWIG O{Ŋo2YSn{RR*V4Ka͠l󪛽Yq!M= E3FHJ̊%(v ܭ)}僯uˑѡCf_J9~{$0iT9J'9K`hS_) СT5Xr :u3GYa*[؁*9F?; b29i'MFR*:bGdmSWHC@;ϻq_b cǐ44dw|X_k(CQD9-:7VP Gf͗m-_WNķ/js/cF!`~44j<\PG,NփWm Wl뛛{U&׃v \v`Kz#}A +N"aaadهFc,n[>Ȩhv5oܚ˛aseꁏЅ$ ֱ',lY&,Jc0MjBQN{TC!pER|2tn&j)IjB|XN]Ãn Lʼ;ϛ-.)]s$9̃[;NHVhFe$b8yґH)w.P,7_A?!CՄ @ 03^|AM٫B{l4Kw 7,Z9x2ǛJ mVW2W2tĆD[uPU{Gk\]UH#a#Vx?Ђ1PEtϧC'uzq]#F;".Pl d?_P^yZUgHLb~ICr5(#M6ը|},TU OpEcÎ)(rkVۀϦ|>Uuq7R Bب.E=:[AE>|GP`lD ({H s N?ez|n_m*zք*2cmfQx901]N-`g{(#%?N>-aJFkSx \wzz {c=MzhFm~Dl  S]eQS #樺5 ],RHW"{4(Wf08Kߕ8{s=ÕN񌐗N @8]pbx3ܠHfWi-SsBΏ k/ c)xU_CcYJ˰ٿ!^o&!q1^A$/%ݟSE}⥆* {u!@z1.h381CgD|t@k= aKͺZH^&XC$t1 ]9 2(,.Pn N&=Stnv/8ȨHSۮӲ_B݊Z™/od״;s#WOH aB82wbКj,@x#]#i 9)s)R/#$[ϛh^q Щ 0joAQMh1I[ѝHg̭]_k Lˇ4K* jB~3Z$\sSQx)RBvO >OPZ^K: 9?-Z/y[pc)Bk.bމ8p}"]@/A^r{)RtoܝuX&Bnʍs RF3a#?GoqMNWthshs`GEB-h634hk`QT%xdGcn6_/L#؁CtNdy| dΘׅ NXU`$?JS2|\(K (UGq(BG)%_[.Brő(ioA25G)!)t/ۋWJ_}#2^Լnٍ׶EԢף>w4,eJ @ܸ@![ermQSH~NkURvsF}i_HT1B~5#Odu"m%`k{t; uZul:ÿM@;yR|Zɩ9Qqh܅>',܄Hnq k8Eb)n|I4O`9u-_6ڏT} yvn1*BQQ]V?ݰc Gp5Wi"=X0ϙ 3à#W`yv*?EvmsV>{ŎMC0iZC=g?Cc5LTȕ hh*$uЮE3-խrabI^QT[o3bg^8bw#'o!C͜:oq7iV20y1'_4l"M1 \ CΓ 0`1K-&>]#Z[W }, (`ƣ5踓}>aR@rtvIi8[Ht=aȽR|LV5 f4I5Z{ a%KB"xFNAǯ0h*1_+91}Gf{:+KZGC^iQbRR>vC: TGx =*.ZqcݩP9omq2LЍghp[R!xڋ̑YpS6\[5!5p#V(W/F.UԔd[-[;QTnkd'֓6ĥ7XA.!M!QVfЦWM구.Uzq; %(3L1K9Heh ITGLѱ[W&91ޝhrr8iNtL|oR#' ځR'(u zfGqj"u ND8O)S`Sm`ޮ2! 7U>%hamDFWɤ7)PZ1_ol ZoU!"}ygD_VO;ڧ_#=^{ʾ]E:HЮʈ U%l-D Nuw/ӛs nҸdΙ˄a]\^zN9k1wk{h~id1Q V݊eM.K%XhXaFvv_A<=$e7GDg7EYyTPi(M %@T+#9,ą^z _A”qD1cw )oSQS˴ }aNP9$cډX6VY3G06h 񭁃kRK%N23C-+?$4S|ԌNe yF-<#ð%Kw7b*?{O4q|!P *[؁BZ8( A -ARdkRN_eŠ1)5Ea2V3U>Jןؐy* ~##ɬpwhzL%qLT2c2hl:qz*Uc/H/B5)eS$qDlj/W7TY>Z i+AidG=m '<{Uo2nŎm}8"pP_*_D4/ Lgbͱ9"'~qS uoeůH #;XZ r3 7@S!L>OvOe@=|C6BNƲAD91=G%DUnN`|k!KdheߏO*j1]OT%TU3|}7 E SVR2fko^m׎Xf4iFX~wyOB'' #ch__y[Etc9~`WrOoIrh}l~n |2/gӎ,+ fkQOx Dg~}c7tžv gm-!jJ$K oݷv'seW1ݥo5͏JJDX-Gwhe*TqixBl3y˯ӎTm;{ܢ@^Nođ D{c=SJ"ik-ί u)cP͜˝B mlJgUZVwph N^( 2,#4_Te g{uq-wZY(/i{D`&.^!aW%$7KuERgH0~-ǩLl.! nq.JgrI0/Цr{>n97rD@x?]?LBgH~w$:.I.~`a$>L@{Nx8kI`Vs̉4NOQ>VR-& ^vӴ4W|2!#TU~1soVE&oK)ߚh^jTcm] =]5B=9&/8:8)$P R[fJD5{hn\jwH袕Q^y>nlX]yATqfzOE z ū{SQE㓱5= nG_0s(ý]9t2Yk-eՐ#ƚY .F7:ԥC ŌҪPz$a_Àemg=["Ẍ?$QcfoI]X{b^)ٷ@y1b:-mCr)0pgF!Z!i\@˂Q,-yq~h|8*Dҁ5#%?|5Ka]wIx@VƃcnʺCR>:9lUD§v?wi!(?I(1k4@2gf@ދ!V4B9qun[러tSHщ r~NG8ߡgDT)00\UΪt!3~W/ ?olz"S1< Ӷ}Nm7mN75"tDscNa9) q' 6,h=4?{s/j$Ti6'`8iYU>K"JW035wWΎ@&1A-h B73x.0?,ӾذfxhpV46eE&2$MI% G7`{*\CᾠK8=? j7b)x6Tf i˸p[6#H_1ΦEup PUY!(RJ0d~|pMRٹ7zȴ&vDQ51F`|$\dq_R* B/A۝(\ѹ_YNj6|" 2%ĆBb[>uk8ޙ o`#"Trg;I` [er`n-# du*]. .?C'a=GΆpPܣEcojDSՔt^$yjRflұ eTndM2(YC0- kk)GoUQ|ӊ 2|3;R?uoH4$%i%BPd]y" QIF|"8|Ti Q[635x%X=bx91p a1F̛&v]W('h$SΤ" p33ƹP{gmL8rdS]K4b 4|4鏜qo'7$?AKM{¤љ ҃G\hk:]wZ%e]&uX\$1Etz?~3Jz@XDt'f8PJғxw ь/<\ dI=_Km(qv>$=(I`Ȇ5ƶ -o)4?K~-=V(ۆ+@L Z,GZh6[;7~#.*KU7# 4ݾOݺRe!6׏/my0se#˭PU5i),n?t DtK-W9KJ#Fh MU]Qv??>*.fWx> gՂ3[;г3t:l\r *O|O ,\ N+I?k@D$#D u^pn6HB#7K- 4Y'z-av K+8sT"y|2]7S6R+,5.2~AݞfTEoEyQD!ϩNeb|+7 Lm xG97z6SKd9ޗwaJBQ=_WTW}{~ w O:. )M'e!YLt-N+#IFb-9u fr#墊*18O-cSlZ BӢ"ܫͻDMQͶdT0d Oekc.:uҡk 26&_ʌ7A2P13 @ |m>N&S*_(|ASq8'smn0]~Zxh5V^t:DLݒx\BPCC=-x!<3&޽Anڞ2g8" zh$|qx@h*pS`(#\KK`єXD*uP vG OQWElaP (m cw6-l+{Gȥ*E^ޙ?(~._а^<-eV*(egZ"q,U>ٸ4[,Gurkͣb篠*,.~|s+7P /gK"^XYhLSg4w`:Ef^H?O<(`IsQ7bџ*7,ZF1Co\վ9 *)L~ *[0>`R*&0dK/%y̠ja\O}, ߂ zžL7 jHPkȄ?gSFxUu&J_ngj2rݥ̞U*gN7moIHDEISZ]+oiX]3p$ԂZtpݪ"S;64l)Cy*~g$?L[r(ڠ>#2PNe,ɖ՛ل:lY*-w<ɋ Uٺ~ !$Bs:[ LAa{|癉ѣe,rS9/Ŝ[7HG{AlQ1vC IH6wVg.7YSX0#K[&f"l論[,-W!̃zsΎ.T1<.fq: mm̳XY G2Y??ՕrR Wjje3#յ` s8nj\/ZraQIz?ܰ/ȉ[ /Ew1泰d&PqxxEB" rӉU/S_& g6Lkak>z:DH3pg 1HCV\8s6^e_iB :HohlHCe9л`kO'.]PYLQt <[3{#0_j(_ $+y4u?1\ǓޫNn|^R!Wq:a>NXf|zj= x_ٕRnպ2(\OݓOɥ`owD7qye[;)!.@FYtzwGɅ 7HNQŬRގ76\Xiݒӑ;<yBmCr!ηd Ɠ ~"Řhxl,?Z㫾>4CM4S NpGYnvXdRGR:*dǹ=G˸) oy줻 Ldۑ,"t.)cȿ/;v7ev`{&%җTe tWGuۃnw- n&CА׍rvcqw#S W4K jo9>̏d={sZ}4{6F%_S ߼FuU#Z˩.En® `TUgL$>xC7܍$g [;q);l#}B1,m)MV7\#r~#%ji['BJ8I:(Lx&I=M͓ ̨1 Gy 'aPo˂qNtr=kKҖʴ! -c1ќ̂ D#?p&iAceISh0VߙfU2K 讫: lu2 QVokͺ\AN6.ba|mqV 5U8jrVꕄ`0'>ew20i,v;0Bq֝B$TZ"&&gxiIͱpK-Uӳ`x3Fq<u`Td6cxB6c7H9ci!I(A)Y:c܉UAh;]Eu.q0PXГDxjr;ɉ:7At)QejIf kH o(=w1S~,b/25h:V=_.U#a|JnI7v膞CI k_gю,iHvGF"o{gHLƽ'?/[ٮq|n%jH5[Z Jr(Rb܀D 5b$m97(w$=,Lu{ּ ߱Ni{N#|ڝ0d-rd[%JڵwYkY2~ jbl 7*טVZ Szӌi (A{BAKK̚D vF}`ylm{Iʅ?5`ܰ&ƴoJfK?(zLՌ7n3 yts./MCf'D-)s&L7:,_`z=wݒRPTjb5y0${BW7Xa+ (ϾkۗƦ3.N% +;-?aF2?tYs+"`MU?Ч(&AܱvߡP=Ђ"j}أ3n6~<1i O@LrBv \?Q^iq+FnM`3C(`7E%FfqZ[=g!gMiow]FU¬&ާM,:hI4c~?4j0\[)Ρ!@ ΟMv*``3/'dM;P}J=1Lh+k% 8H2FQJԗZ?HA0,,`/WWJ'R)4tTOk`4܍ -<%Sykh:`ۭz;YQ af3 V] w=CzӼ<>D40J^E7?q!˂W)+Zћ̾3e&P$ V! j%W$a=~oCk0=lH;-qвD[W$ZBz. B5tC7/xi%^yM\oc&*u$k~bz*ӟ1=NcfTQ_Op8~a8ŗBV^ cj{#^;gesoQ\Vv)S nD/VA_({`l /cK|؝552_{ :G)* |γ01 @)n՟oO{|!ġ<3&/.^hɻ)(`H>`BKwJMi"CL#!X;-M5ޑ ^p3#88(ؠs즪!G+0|xwV`n:Tݞ%g 8H?&X@;/^)E (m3]RFBU;ɠh#8}vY4Xđ2A. R J~,u={'Rl|6Pn<!ݫm6}Eh1 u!p[1ձ/J?Pd#!WʅRV_S k#n{TA Ke} Z)›"ڙIMXc'OL (΂/ܟF?V6܀C__43{!\@pbf=bH4V_{Յd⻇]Y"a̢ EO{APU&D^@ňS|} !K1-$6jJ%*HŶ/[v<-#=p3 Ce"=zO%Hڿ*LJT\Q/δMƆiItV1owFOs׶Nuzr_ r`_XץYJOPPK2 T~ڂ6|UTvt: P-m]Aes=A4ngKtbrwy-9%E2[dKR$ V*My3#B+'?wוL3?%gdVkez̏h g ԏ5*[BK0Mf7qۅ5 hWg/#bcx(doŠMkfpezYT[;=\* \z@ꈒDVП7]?~&> U&B*3^X0hs,I@Ė2I)hrge0Jq'xQ̟ YV}XdMgz 捩Ȩ) KQ Hz.?6\{!_;dOܽbW`c2(741sEJZB>"yS((tasךaON"5z%afWB62D8oToUI~V0^,>8_'wFm<`3L>y|*@3"ڋl>˝W.,:Eك6Ob`te.%р.8K Dڅ\QwrT=f0Ň[CAX0~CLf63B;D4Y'1jFU:m*ۜs0oCh#I`|,' C@)/mz?!oHo!YR4}F&Z$h"u8o)#*#]*n ۭ8|(YH_FQv.V1͙gGl()W̄*4)q/:gY-Ot/t~E"yg,e%J&}pȐLD]N_^_ZCqIAu磖 REi#bHݾ v`%@4ֈLަ)Qܘ qet7GF0 d(.Gy}qZ^kiUݕH u#cЪ;aWZºwP0qx;S*6$91zxA+S "_Yǵ&rഃ U9wz5}(eU#%V8딣{(Ξm A *.2/$ \I9~J4^b!!Ġqo,㲢MS)[ |\iA Q۰KPYcR~ 9j#g /A  ? iU盰Ff`ڻ.0 C?o*xx)نI86tf3laxCg JĶ67 UaqOl I$fңi^ Ի?Z>](4qppp u8`;lBwEܐMJj=zfC rwߛ{Y۔pgЯ00nE䁍TZ6*0afXDrL#x7+򲞒W[rh7傁dc-o[If`JQWJbٳJ{v=~ 8C֞u,YfJ4@:DoC~8b . leJM ^̞/qxi)i0䌩ؐ3%:Y M(]Y]GNˆ⹑sIa9Gc~DާXCCA4t:7 qsp+⋙X<$7C.(f`(qDWrGw,',o|CSۏP*O0}%r yu~&2!oL5f8R't 8m1)#@?UˈǭT1-tZ҆Am'hMr%|VkRiQ]t䡊L=/|N'C"#W(O,Piѓ5K=kz'`u:?ȣa2idpMqZZ6e,izZÉ1H!epCtb"%  {aQH>嵒Wˍ|1Fk@ Eᅕ D,-rS=([&9 a|9MC0FN^dsßYZqдÏK mM̼4M6 m]ºGf&JaE| 'iw&{dGvyUcrI5M9%VE֔]GN]0zb{žf5_cBAuJy \ tWNP`r˥%gꊮ\ʴ'%-Aaٮf8o)VT0*޾?rzqIBg(xzΣۨ?&gd'OhaL;>")ܭֶsyp<'WPNI],eݧ ouVkN|mkYcC,\uEdnBXM]7#mMw=3IQU L/م (~L5@e9Ů$-(C NJ?k yU|- 8I #,io7xOE~p߈zR<`M9[Ķgz: l @ |+@_|>r$ʝyC ޻`>\W~b7#NFDſ@oR ~' *5*X-c4p`;NР{ëG&:3o=SA/L#xc*;UqEEx,^] k{ٍӴ6-ImE\ ?zʎ'l}5O5owmZOe0C! J%3_CF(hl#30ГVB%q8bj,7nmu|ѧ.J&Ԡ Hhq˯Mm-!20<W>C%nqͶUI d0x)*ϪM)Typ4~ONkh,?Z.o7Yy-KɝC" T{&@[]) ytZWCm ZB1o4t PW޷yn&x qwUs;E՛tN9!<}'IEmnT8?-l˧7K$ iZZ12H pT=z<ػ[NeJQ쁍2עBp ni| [pV?N;[ =~+_JB4s'[Bպ~GxOnA™C.OJ?^OFjQf@|y<?,eD2cZ7AIA+[LJ;Yb9ZԏbоjIakQ+DV& 8 1'VJ4ı E,ËQK^nZ2 l:䬳Äp&# `qlӕ1rQL:[0bϳg~/N3fs7t 0 )"nsk*JiNPf<@c>e$]XuǺc>ڮUIteҪD!F(2xk_H\9ko_g;n _>"DL/ۑYey ꖲן<{w9  \y4p "!|󞉧_1#zG<1 Bf #sH6u,m0ы5+?Vw0!D5G>+Zx up#cƇ5U !Gթ$ D6R,.n \/ /h)$ά};E]cG?y$M]@?MBo$)Nב]Om_DP8ݟQ.[f1CtqFP[sNl[E;[؆6n̫|UqBiXIfd/$t8]*`{`cxC'^^o˼3!eY*U6* U\8S Q譁<?.œ7jUKMñc1pfԣS]&ӄ|{pf7TS6o.%U-| =uvePN_oTHflscFM w|c]_%d ( F2 D?&M>^vL^SrtNyYFU3ufyӌsc)]MwQ.,%@ [3YU uR@ɬgIE?7K yvVd7t58ώ0-δ8Ն1R.>#?vPom19Q2aw9|a׬"(*9rVSyvnPPw`(lmg00m V ٴ&Gkh uyiTA 0mc-⟺z\П?t1]+W%=E}[='1v}۩IjKTb]-C. \MOM”+Je gHlHM'$ x~o귷[2 :sJǾ}|Tn#q~!Cciw== L^7c{,6l>}ꡡ}ԴKDݏrL̀_oɦiBi9햵+8`tyh[fg r΂H7xvP ;՘nxbuD~U,"sy ]dJyKPRB}z&BR:O)9IogO",<Rs#CLW8e "s]ty٘O+s}M $ L#"H6g9TlgU`)dx3-<ԭ3\(? k_8B OYzG4bQ/l-Sr43ˋD ͯy@C"Pvc'J6e(TmDž< 0F5a5 2|5JLOo=lNH?ʛkIݠBo4FfE;¬γA`1Q@:YPo".N*`*$HErk: b %6zq0`y{oבDfanJI4xk ͘U "V9x@,U I'ZTo|J0Qt3֜6DU̸ Cw4 %Z xU?Ho_a/Hf|(-AFbJ)e^vnst̚ : {zLEZb)2G'qMXZ?<fbU.Ϡҧ=&H;.t=^Nဥ^ "CE1*pfjAϜɣ,ˋh: -\R/Qr!o=X ^,>@Mڋ}na/w Rw=jN#DH׺%7wjXp=_Nw:+*qT ?$*5 )EHhwSo"9}X2mdtAy`n$!MЯG[5cm ztq>FBQu .i|݉J)>I)_ IU9E:qM9)<M&ɩ`aZYE<ҷ*B|:K'TIA  7RkC]~naXN8yuqiJ6E ōnx->]QdGaT'Jn'E^Mv)\4a눈Y@7? ll2'۰0E1Tx$e2*9@5 ](VF$5ZRqxXn iưM2[jrx㶋6z`cXH:4o{%4].oe $Kc=hDn ;#c;mH#˜SX/eX|<ų]jHYN'󊧇Y-7٩]z,$:?lEGVƆܔAyP^W\$͢/fa fc5:,gLM%PIZyrNKI յRw ]j*ybf9ד#+~CGjA*cT9p7_p22* "FRXk1{9½bVrg|]9|scȳ0NUD2M "dp%k}gYZc22fdb443973e03f502e39ffad0b5d0f4455a3f25248afc86b05a1ac2f695003788f35082c9fc933 f1ca51ccd42b5a485854d78f2467698d231bd356168f4fb28a7ad96a74898266cb0c6d5371b2e012