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 c1xdD ]/ HOL-Hoare_Parallel:threads=4elapsed=111.763cpu=404.068gc=6.4647zXZִF! Z]ŗXiɟH)0%o C  )CXUts;:I[ޚ`_cqvpҲUKZ[> .H| FNHD_t1l}~Φ{%_D,;O7f^( {@yoXNA,k4u x7* Z]n@Vo;|RIgr}wf-:3Z %{Ѕ~[kS冷Hi[bsY >[^K@H&Ƈoƿ]. prQ+_e]qoY d{ ..&d}T.޾HM𴛉{sU3jJD_(Zr4DP܎q#}qzF;Sc Y[ %_HOѫ~sŵZ%&eU2:}!?a|:QN97y-îuhcS:BJ 7IQHߐB̟n3ƄƆ3kz.m!|;$-!bEd; ,vcrrЄ#kIHUnOKdOv]){xwϸ?WcރxFؐbw:pa1S@>3Y 7@Ub|73|o"܄ֺy &w W4Β'ҖW.L \C L) $"&g ͮcv @##x:,Y3p{a8 WMjm482[-Ċ˶K~NR1$ WuI'}bߠ^NZ&M&|曱nÆEp(y)U>MC9<-uň/h1x) i8"F QBJz0FW_dw+ k(HW2Y2Z!rCqLy'[cl2 P*}wSkuttv*AQ R%@zwwP\n|FU[d  /r" Le@b'5,kU\ͤpFm.=-9i ' AtӽFC |=yN8{ On {J0(fE*&AD7AMyBZ6i#/_ɪi{h">׎sO-  3\1VAȵvgQ55b&+2~Xc|Q+:Lý<0ު~63tu(f^ō"^d+M6FزQbQ?1r5XjmyMAY+F>] 625T(=nI}>8z*i9`-;10~i.ŢsyZoK̼!}$$L#emg>ғM72C|I?ۨfjLV >݁!zgv^J|3߷?^(Lh:_y r~BLduk0`R,ߑعM#\UZ _`A=WvF=FXed/b G-gVj7fcG;*ޚKA1cwh[# rر{ zF;{[Yڬk|ߪhB򷡳*(`dt ~ >T@.W֏+^0DfԺ3pd̔A>Yja,Wkm+nZ$VX yOt6-/Ty9D`S\sǨ7 6 qCk8rIQ,6O__u3ѐ2`3”%Zr_*mR,(g]w$g)HdP*F  -JQ6w]j }<6ag|#jupHkI&$sl[cnF_VEaswPu-S1Gŭ% c&_3kV'0/`Ck\F:0FWLY֭܋(pg r'L(z1sZI&*.DyTS1?g$X+^!gIX뱹O08U3Z\/ch|Q'J*}iykLFVam2P殟|-a {ʌ I{GN#~cϩ{ q 笻s2fXXU[-?;,v8@:h7Hxj _ѤP(M2/HY a<@ H Äuhof9BaTNp<Su%4rJKnEM\tEfܥ% VA)>=nh,P0pyĀ*E 8$e K^toyj}-HKn:&{#wwi} 4R+?)[VG4NrW&=f+ma"hNv7ݬ;*qu,:sS(_]\"zB$iG(TbX(\ŽGw=|'ŒH>yx6[4bہmM*B ;V%ޥdxG@C$uo2%$TFIf ᫞RI%:z )|m_֛܍&C7D'munbHS$2dZi}gJuo Gg"&wHj᧰UlucZ{X}^Y5jZv'u>o6W~.M 3V,~Q4 ߀'dfZ0 ZX#\Aؾ Fk |]m(sfXU UU z8pv(I<26{XJs\JN.S^*HM (9LjIބh1R0 3y2*;ėgA pWb8<[fUz¶$C#E5&F]g#yP\NHq7y_8Kڅ)ߥLDfLKmZ /3 x*w02e-nb@-}jk=eFg 4p/#&i1:I:iIp9\Z`.}Ÿfom]єCrgɲPUZi9YNn_n ']1e(V!!ʽY{D> o3N1anXv[`#٘. nI7j"@/-s5/RdE=((wz/hN|vyrݫJ;gAqAdUKTo)e3-axIv׷L2RK\ˁ`1qq2X=Ȇ `(g^(x{Lg-RdM6g6ifl lLlيV+"o?VF [ggLv2ALщU˷@1|GKĄz;AlT rSN U1yѸ@}ܫ/p'"OA౜d{W (Jd-ss:`N @Ip0y !ā]{Wyn ,U&u JRV櫮&_qbɄ4/9*q^Z DFqEAC]0l~5%7%e**Sk0ihܸ[)sX%@$Ù J2+jop 61 (';Χo%Yn md/ͬ RC>4d%U)E'3Fm>9/W 0&SNB1 qA|b8CſȉKIko-7>Zp#A15/7P5CZ~B5.Tp5E)؍~drz0ZX<Մ'(OHbq.xX rᭀ\o@sM[e&U:r>ǘjbn5o10&[HS"GR3vz0WgW[kֆ7Z]z=5g K:Fb>%ɶ"2$Up^F#{Yoׅ>I\P|4c]}P ,>ҰL=[oU:ϰMJr Aq%>1B }͑ $S;ޯ.Zx A٥+j0}v7Uf{\ʵ`lP<\s}(΄rnYf@:ϩUΝib1g\vg-;@ cssFq!Rd*1=U>s;cB wVo:)\&Q:@R$Y_Փ7;njeOdB'YꭴdLw&r㛤^ŚhQKN7'RJ[vuk]~i݊-otJ`!a#^J^{_7@kuy,BQlv8tBD/~0 KN7 ;4:T8][0&4huUxQMj׏,=?"jY;yRHl"P$/"g(:0HKkn}6XX G {d3G"PZ]h_!\xl t[NH%xO'!e]%쓇rIsbR<|S{z #.~TEMU"H9]ҽgX=ƥoٓWL7pky:\@@]MaT,)n&0 B/# +٬1 AGk@@il;"&L܎ `}Af*;:bDG,6Q3a/sT0ԩ>w#@+6W )>3TyyM^*IZmD?j l1N=ZeSw4=\3[B_ӸT'$Y0C/F=K a)bAe场e|jZ650z-3yBڢi X=BwHq{Rj| CeDm4ɱ''vLtP S+qt,Pݎ֧:Tmsߤ-#t:>Bv]/V/ᑽl @ JQqXc/muoWݍQ"jNhтlhޢ2؆bs?^#>E/%sƘ]mMMc;N xQ#m=5W\bJ#6K'TT@37"p#S&be6mEA.3si#"yN?q?1$[f1 Gy!i}HNOs=@TO5`H+˸\lh/?ŔQo&E6+P6GoRM8Kj yI$96ȦIdyG0$Lh?bm\mQܥ7%sW'%u=ߝA CkF&'ep=oH/=rNԦկg0#<X4JΨh40Rz؍Yer;Q4d6hb+DHEr<2B`%8$StupP9/^a t!~׽aq vwbdڀH 5N^F)͙XcsIS.޸B9b2ucs%f,T'L:Hj]}YPj3 2c݃ƒaP-pVNQ5Kkߟ/}\cQLX_ vZʓ%jCQ PIƷ#:08x]##Y~LTi]ȹwmPfq`:\P+V]0Tm9Ew=Q9iQ vm\](t6n<:2OCڦ^7 #,9\4p7)dxzƐ.`1)N_sZ e;1rLV.,;>(6i\Y/p'7f6dsC9=6E& [~1>7(萌5tѭ\z Mce{N Ys Uc%7Il,M@n{SV}Ⱦ6bx=Fv4(`!&Fb.Aby+ˡIђ$I-)3]Oޭ7i|= KH߻*[nV c&RoK2W.CVϑ;W ȩ9u uO^="@X2t4biʣƑ=gĆ{ E=9].@A(h9D}l+(Xo 2]q°2eÍ+VDڍM ZQ|y &HIK,)2@4 bZh(kiٗC&O/8 OsY_KNΰ߻| Tܽv 3*ؔ~96lEa|0[\%Bfj N_nD`T Uj N-{QmE'{VF>훠uHI ϳ},w1ܽfN . ޤdu[$3l ]~g\X=7oD5bSĝ˳QwJ\`:= @}֧Bn}KYݜ E$3镌Τw z|.7tpfmU8K̋A8>=7xEŰMj.W]z, f CI޳-i3gI#\-ZT_C*zH;uoQdL-#RPHdV*Ia'>o5 >Dj#:EyfPl3F$x^}1zu9b(Fr38]X {>ӆy?/j힌/>LJ1Ѓh r})Emg旀n.[٨ O9 Y&Mr xQ~9yx?$r"(Fxc8Jr_X3ZCqE?szChE%-qX]- C)5}X7H}L1"ͫնz6rRc9O@X44spAFvEz,BK BΜ#)L7!P)v#-ލܩMA[1 a9Ryoh WYk~ /~B gC0R )Թ >B9 <_0H&QW#" i v$x>n]StB}onԼ;}>@|c]fQuʁ~׈U`%ڙAR-{c}ӋԊqnYD> gJ2q}t.rBww5Π6\i !'jĸKZ10zkrGʤz.Wc}e)} Ʌܮeq SV!dTPA9{_/bf0j eGV:i+hK^؛Z$}sf=씘kR[؂:ɎUoٗ1=UR 0[B\\'kd;7&&UOMLs-m`ý'ҚEޫ`{m" VoBtDn&bgv )T[! @NOvKd*0U_ZB?qbY.7^8͘ W5l&M倏 #igSmcy}ϡY+[l=l~%$w6u Yf"GE}__ψiÉ$l/8F7FJ"9k-4,-»qRj{'뒿b0>e_AB^/͠9%޲9[)*(a@Mb{/KEU+q hR KO ?5ە]D)*C#K8ڣ2l[#o@I-?MB`6\lUpQwa(W/{@4|IX{)",m*Z9*x@/ 㦪.Ч |k幸-,ίhՉxZ`Ѻ6!]llsT:Kt;wKzMd.pl)]W9ezGd*eqlh'N60fAQVgU4^;;ġ s)Cr l*tnﺳ+oZcZU_ &Z$m1E5%X41(ä9@kIZK!2(5 lZ t3[mgv|&0K,sG #oR6OSNmU)Re@F15|:)ÑЉ+drm~k_#/" I0QC*s>z#0,bzڕEܶ"T q\I{@@-T3BW+ǚ6ըE?5E~9r. ?el y$Ŧ bж WIFE2.=Q4E@|m[}VwiY&GM9Ad~Cn8"2u)؇;}h ;Z;K/M]|TҾ^"&. 8C<*]_7K_jl}bU$<%W ZQ=aѶ#cЍveʠ&[amkr)h|G|B|3zNw*- &?E}!tm,)D!}zŢ )S&Za{ `9S?i&@.d%JxVgUiىJ%i\y4So߳U8L͡?AUz mVhn -sg;tnQo̅okO#U]c![ NhR$, q?.nc~g}]|F!I9d}5]$xvB[< /J`F;@ӄ=>e/ԫVa>~;SI2^XPJ):BIpiniY`7Z?0|x#(K*ç;}jYvGde(1NvxHGS*>mHYƖؐ2 PQv!5Fֱ@6q`ŧG87 _:(/Rd,MvDEk獗0q,^/\/s:\\޼lqR`Bv wٟse|Z(=hܝXo>3&`x-fPo()_ l=LjJXŏ:IZ :}@uK%b{b;I篐O҇I*y AE%2p>ZEIYT9G8jߞ(o|ImII罾_wϯj8#{ _ri J l&r5}&g|0 mƺI\ςFh7QĤ4 Hœ2uL;NKlƿ#{017(>)uk < 'K1Qvq7ѳ 8>`=$̧sDOJ(`pX!VRUւIQQ]ܙલ [ ,tFp͝˿0l, &l hz`ڐ1sQ Ak?m28bB0';c]vS(o~Bl9 HrLk ̕({Mh2EotVHW$b{*>U;&p^a'upF{U_!SB#Js&sńhR*e]sr߯,MBҺARƃN#mrF~_@:4E> 26id8r\LK5. b5ޤ T #~"i1O?[%r\`kVzZF,n<]Gvo(/?TeG/FIt|=m=ƈ$!卟H։/fzR졺QJ|!klIc7bPbgyZʸKgioJuXkI]`$MݰABtFo<#UJBH&k_A(T5iJ,W)[ngn~?\   =7y-^0of̈/қƶa,Zʸ )1oaIFLZ޳ &-݌Fמl8 r ԕ$ƔU d*""g ᱊+4ƘH3h{"IOB(A ù7^oēTL |f:eם*?5`θ"RM }\ jof򯙼9#r f|yӛN{mjx o|Y N><ňc!Zw/d7W29줁Za_[A-^#%/{ I.uߢNˇ6!ꨲP%PKZu! uhnmX Ka{&.8n#":F6GwQ7)jm<ҜfCd@<AP 5? f!j"^noVKujܔ.b܏L}ރ$<+Sl\]Vr9XU42?ثDx?qʘ$`T(. 4sqT[O *K] ~eH r+-i ^:Fh>SO=<4|BN#Fqϧ>F`w{Nqms>IVc9Gn2cSGO?' ~TvpZwג:Z-[.7bgs{ƭD e]/}~|y Lzk t^g;Ϻl!-лr_n F܈auYhQWl;H?#`b'TPe ~bܐpǙ=G a35ɢj5{\nMuvxboHtP`]E K)<e,v[ qB` LX#*'v{E-6ܤXVP Q=1@. 9kΓ^:5͍lHD}e-]|FolæNP p57i@ʝ'DW_=!xW5Ag N"h'i}9*mM]2oz v<:V2UiXsȅxJO8K` ~Z5rbS XWL 2|-dAgWCۗx4dئ6{Yub`+W$]OₛLŻ\?G/Iuua9(A80S̟XqW Y&zwEM)L  }jKJ#/]AHOI zwn{;_CoHJ.Rz{\fvTySa A!8;?`C zm6B,v^ ƹ=#GDZpyT$ 8CQ߯ )=hm~aG47O;| u3a/+ QƱ:g4#G/PEn.%3[yڤReZ98%  JD!\̹awl$A>9/3{ bQ X!9??LvVyBUJWY0! t^5?(>(TKs/*Vh?MW!=^+O0՜IȆP2:!;. sP'f ::F]-)@OT{ L.0Y"G׵+8c&ۨw@\=uljo`H0\E4 ufhyXb$=ɞ/sXKĨR` .ٍUnhE]>;.2&V6ׇۯg@k6"~| P2 ?[)#2ކg)}Z,1%?C]8>L~p1LIV`Ÿ$*]UZN&y1fG%$'&(Rk bXMZyc/[Jʶ-Ȓ*ҷlZ>uʐ!+0Wf H=-_ v@#KEk5ӿ/WRF, PXc Nmhx<-~R@k 1 e5H4Ib&"#ʛԍ_$l*@II Em= C5BqXAj^ufqw]YCh^ѣ]ΌO Qef޽]Zq, g:y!8uNk,n7rEAAy~1Lv!q(\MoPtl! ǔu4CŠnl3m$܊q)2}a]Odg鬸\B y3 eMzB!ᭆ\ltO5!Kh]l1)MhO{K`n/L'bæM<epˍkXˍAB];e@͐ Y ^n DcUuкQN[n5t '3lIͤg8ˍƕ^A ~r&X|#G(K7%SA%#M~8~*eW%k_Wc>p> 3~ax6m GH䘹.vD!=17Ph/ N͡}k(ʴ2&(;_>hG(nI Gy&C]ijī;1߂pZU($:A|O.?$}"4**Q #HaWl5_qep~v*m !Y>/uwb6dɴZ_kIY1 OqZq#E닯mŒQ.6oP X'm)PG܊ *=P*ʤnnՍ㹨VR -b&y0*`ؤ L_aJ@]DĚ;Ӻ򞢞J^:T`*H&Rrn12јvϴt?[XP` `=6ySThzX<&H`qK*hE)4Ŀwԁ Ox{yG|V&KַbbR0(W1,_QHHK,~;|Rb;TWX Yf6-a +p6ƱTăHѕSǑYY+X 3/Tvi*' a?5Lm'7 zi_ޚF}wQM1NJFFkz494m~ t2[ڏkc<$氻0 `K3gݾh T%E>]Ȗbďu>vu |] _tÌ֐EC\΋,pS2k jo7'Ao{g 4Q}V:ɰiEו+- <|Hy lXM ij[>k]uO[rej(,.~&Nڻ>ZODŽtQT&n=X>ӻ"(NЮ79r] .J>OU=vX _9 mR_0,llIw?CC;DY7Gg>nC~ѵ:V^N]"A>}Y=vFuL|rAamy;Cu'ڥ{ XTfpjO@n$wo %t cE$PT|1x wq֢@KΝ)zJFZ$G<2^" :S- k@l .pu>):&I Yr2xŪD #:ěߎEXxy4v &$,EHP\?5e<06+قyM؃`.cŠ֪h ]Ǵ,T[KT J>Y@d1TQjDa Ì'o1ʥN[kAN"j VYW$0&!G~(i?X$cE6 A׭{jqbr'ș[{C} BdJ\[,ҽuwyߍrPoÔ~ Ey 6h`@߻넎B.:ib46`0<n-_"=}0b 5I;fm=vΛ}gw@ tNʰ]Ђ }E[8+],nq8ޖ}uJ0oJ./{ýhըFϞJ~d˿iO[[wĢ ITqJ-r:VW[5Gl'/w=:ʙ+b,x;Y^Q@{y},mdu=%mlsޜ5Wq=ǓDPF{sVm%\ sP+&ns_0B26 D[0Ȯs8~Y7x˄k5n5.F*XUފwݙ{ea.)R2kb[%'TW&QGX&/'C>4pϟE8K"ν.w f&T=BQN1\N:-='Pq̪xJXQk&DYnYUL$n /b +;@r kD3~r'=9͂L$jr;4~LcT._ |Ñ, ^U~9uۭl2doq[D5fL޳?ōrAW  _D5w4"]$j򎏝-'Msщ@\`a0YH.A7mwG0H/ic&7wg69X(*Ƕz8%r0R /R-)(1Gq8C2[{-\Gj6(4bA SLڵgȌ4f Z$; r) VvL6Ȥ0Z'w2No>05vǓ|I㏘ j5 `Ⱥ x]voVgU$3YNh]& ) .B/;3 [^:PXkrc/R CIOUyDI mnq(`Q0U %q=Y8B6x$Ѵo2TΈ.VšnϹdNby,mҶɆ4 R5ʞz@ kXrL@=^0"jr@#鹰—@zXCŘ r7n}bպT" Fz#qeS@Pro/+WʁvxNzG${1q$X+H6I碳&-DJ~h\`i+O`SUү ߍrLGՔl#ѹV 'ﲦ )~[)Jޙ+AA*GS xHMlJLhf_ZG\6Xg']n˹ :OLBFK}T0Y*qV9 E"BAu#QAkfM_W+m@_֚zk:R3hTp"Lf[G!gIB&n#wTZ5 y+ee@(d/VO )RB t.kF6_-1 $^#l890+ztȿ7u&勌Gt]ED v-AؗEPq,i@*w`ϴ6_(DM݌\ #N'{Mf0,q^E>U>ja@ȨHI_ы×N#H.#%`i GL" |[ow-:bo81\U5,D@jB? _z$ۛ*ĺ_dRez$`ruࡨOqp?}RnDa +A*#]^/²MS1r{Ic ǫE~x1=o3"r}{Ք4>v֐W.xihG݁pR~K$6܂H#Oǫc T-K־=MZrlq\|آz.78؋@4&-[mxB E=X?0kogCݱo>3]qdHV/Xy%\gY-ө M2`L;@/bͅ7ҙ*vs'5qf2cD,V3gBPb#AЕMC}n3Rix::bTo<2M1DoR;S<#<"rU:@Kpwp6*zu$NI=CP}?E كU^eu+2?T8*}D/+<^qz`'j 5b 03 L8Z݅5 68 F~Z5mY޸}ƕhmuv'_ޒ^ZhvRG #Zq'Ue$-G{j0ԉ 'U䦳hٚ[@[4 zyp=BvcG1uoԜSH ^ItBG߀>EY q&>ـPЍv%UB(D %W)J24vr"&і? [@T E?de7;6c:'D.:U KRB _v7T6Ӷwy1o{_W:L&C֗]C:TAN-XMAb$5D8K2o$X^xL#$1b@uY-7t5i&ʊ ?gzq El ۗNJ65"8 {Db];qz^NcᴔÀ}~`44~y>6$&ʃsBZgЪVd;K9)}8=*G|>nc\2\Hj&*+rאrKJNѰ:@X+/SsU&D7rZ$dXih:߬0|Fc73h%]8@H|f'/ӄEg)}K؇t3Y0uZjKƳeAѭnG.}Xwx :iX7M-ֵ yA~ơ(A ۏ=uD7,Z_oZ)yӹn"x(g.D鬂p6?'`sBo5 3x_"Hv^D)!K@lTgFUq+EA@^D}JDeS^atڳCiwM Q FBygd6,vec(e4p]pcù4L gPW'0b֐?Ř8e=mh2,WjqU 1Q꒝ج:h%Wn/5dɯ6s.a4*֜TTb4cD!qiQm%N'@,A$IBQcνՎVgErv8wJǀI9*;2K?n xNt/a[9:p%:J(YA󑑨s!,+7C1?ճf4m'eNf,\z}C#8N#픙ML$#[H10Vތ~aJX0Y|ߐcq*`Fnl@Ea"wHǭ fgeLe* ކUlV| n` ײ_s"= T޼3MfAXi3 |3e-@, ~;Csmq9O[Tҍ[f s7]y3&k;=f]Ί%*έg?c0n =rgLiv"0u \HL|#k6S/GJ 0"_|X P5Q9G5/eS8\bXa].<9-D S%,o`kq$\z{hQ$##VaAqph1LZntC jRbˑ=s4\Lgsݱ>k>Gf.BIF0 9nͣ= m $li6`f3_|!jO&ɏΒ*sc̀$l?hя^u[t"F&~f^uր`)Xsd#fB[끤Y8Yb%$]&MJiB$jfo$c Ni2H~U Jf<#{khvT0堤l.fvώbd" # WT}QL@ y7hqf  pf>g˜dt/Yƚ@ Q`jw3fic)MJđ" 餓SB|B-z̈́$m;7 f`XB۫iSʨC"bۛBլK Zi&5OcXD1m,Zɛ'gB(p#`?S'69Gg;D$8oL`ΉXi5- 5-3#\EhJdCO`Z`;1 cx\}]K$݇  CJ]꬀j΀8cz;.%6X#+B{)d!dX{ES׬%VItcq1 s9hZX`x Qak#8Ţ:YA܎ФYVDpaO܏̻yź90f]U1W畫@YKi/Dr W6@"^^8 ByTnp wY^U<&JƩ*ΞMﭙ}ۗj.bPvKi+ UV{ d/\85A >qBqGx%ꯃ&"deFwp}D>nу ߔ@mo` egN7rmk-x =WJ5=C#򿃧X Wn P߫wʍ9M# o݊Б_d-C (nl"Ks[2"Í7ZV U|sUa\Eψ osde1F_NnP+C}lg bɨH5}]}8[M,Ѹ$Eq&>K"'or \ѧ m.H`ƶ=9N7N淕̜n@HEu^ژ;kls4r^rX^)Kf >$6Ďv O}ۅ\5H؂9."yB @0u6C>}VF&[2u:D3/S2%a/E67xU5R24}<9޼TRȟ/A9RE8BG`!27z C¢ܦ$p$lwOM*a;:ʯqy*RfEXZY.$ *er]Gt RʄGJ}׺'4i1il7M(D&_kdH:W |މKJVn+INLjT5=R|M&وP >%amw!EUڅ3ۉ 6ԁɇ{,ˈuAUKZמyqI0Ibn;.:A AN(Jh}7Ş ݘ1sE`g1ܟ}V ڀy,(ĥܽ7-nȸF>g@YEPf,؟%VY&<1edrZ;% Ch̓d*B GoBv#Y-3kû(J:;L@rrUbFbZ?0ATr#HSj{^F#JeT}s _?-Jx/`@S93LI),)ph6$ 6QDvq%I;%O\els}Ij|ALsw;G8Vf?7sH+P ۊarrP@?$=ՌRUk~Tϥ&dK% eoL8)ZN($ƀ##ʒŧABʈ8yˣ*sܩݛ\tScW Z3CATIiB&R umh0 upi5~&M搤v>l`M鋟;:kǠY}N:3"Eۮ?r#{ .}M\[^ZYc~Ԩ]{tH]U]dx+ڠq90S$~Q!bp*J{vk փ D "`K~Zݛ/5Ӭ83'ˋFVс'{='Syhu*ZG,"ּY%#GڕƎsr$~5=K-o?kpR<Lc$N%V玐u>ƺzhjDIuNȐ;΄>;Ph+BB]~ӇEgBJS[UA9A&ᏭgV(d A"=z嶖n}LsPRk0 i1BJ1F`N5j·A7KSNø$yut|goJI5`M|8ny񉉇/48}|!7m PښyF5Iw voM|TEKy%O> 8-pfRF~F #*~~']iIeڷXS)HH[Dc aR~nkUixb =}1m"Xɖݨϲ &lJgNH7P jK qO- ۨG@f&:MZJ> qu9N`Tt)t?7W`kvKGRv ȵ VT"lSѼEk ߗ? \fro0DrӤH'Q jL[C(0sX<紃@03O-)XëӅZ P-,EnZwό2ԬWBGG$n/$QRULs= h2dnNp{/lؤ1A7SdvK NZ?ൗ wWb`^tԉ™P} d/ 8p!N]vC "vbYe4K 'W[|!A|NW6s2=ʩN[•3OmFRvGqQ08&My6?6tJui}qt Mh̙ 7߼E ~:cdId0r$7b Vm'=opin!brwø, bW s/`y%ZtfG liuANQ_#znd(pS>n`=2 Zk=V%Ǡ8O|rG[5FVRf6yb@LuAn~ ?Y8,t#R}x6?bǥY?S9eY\6-3Z $-OO}446g ꀀ#\je{&jUJ!z:4'UwInC.vj웣Qd!ƟO|3ު4\@eD 8?ȕktbʥ!Il/72 ۗeYWa'#;Vߥ, QձH$YW~3MGr):kn Lp76M}#nQs} Ol}MHG..X 3[2N S'יز`Sc`WqxXmF >˲_<:W}SgӋ^F#QU܂"XOCP}T"F5^5TKA/Euftu?T* 8>4֣l6.ƽq4Su09\i! $4^sX`檖d} DpDltiLD]Q PɏqF-ThEgxHZ _{Kvm31RHH/\W%C;[ F<o8ZH'K x2w{-C6F qdd;6sMG.p7QDDRlq6כz0b$W(;Z{鴰?7~$i?N9|beGB !/‘Ø{Ҩh6}w0< *tXT:_jrS` %|yj/-9ĭB*LtTeLhA1]aV:S&VLз*З<iOU뱈ħ2% !ְa{ N1J\A |BI;<+84c>m~41JQVQXADįե1&W£W^/bJyj@_E/ʵ>gp<f}.ΌdE[kڶ1Wx*!ʯRQmYv0rfF`kmhFɒr'cgl %f_yԼAf?e.pѧ!lLf$6]></~€QDav}m:̀okoQpX~ehXbQ UI{v&kJߚ}I]/{rRti7 Z|aѬ +`"w~oɾ;4q_^ʄ!$QCkc=<;#X/䪦έXyCT!0xh&<' ֈɐX6 $D%h_;  f!}U1$u+`-'vJj~Nsh&MH.8hѳͱx`͎f._u`ڭ w v'oݨF$XX ʕ J'jBƥHIC;ɖ5F+JABԞ>Zk+ -!gx+?ZYW|ښQftQxi@z˓J|Y+t D}d:H9P1{$7*J?#nm'_L瑕z=+KmVQSU%% vj prjpE!r, I 5@%l?{\wHMiTɅ5Zu! Э'<#AwַD!37$/!PC܄QgCʖSBo6DPDJmLœK,!g*Yddg+l1?0(ܕ]2__d/uGʠ^m=: r 11p:x1bTvrmAzvR@j3댜V7H')a5Lֲ' Ϲ=K[̺߅i7>=-G#d;ѽg6؏PćťWhDSwp z>l^603 < BnjƍR~bA".6(LeG* ޾GxFVvEڗ^[ooq:rW\L@l$n_Yq76(+-8y~GIAhL!w%k5)ъ|4J]Ϲ輟þ[,brΙ%M|˜GQԏ9E-ǰ]rdŀ^vU9f<7&(>L e?2L!ڮWX%> &v<;DLI__=w~Ձuڧ2 "gf+mNCc,sr ^jLN^'Im=j9>֭N1K/g 0{nw(HJ;N(b-0B` ԔZqDB{ 򕺽kn;Oy3wgyv܊đxEz Uujo :_>m!zep"zr5L[~$2I2ʀY4Xf뉨(`:P=ƆzS/rU';V&@y8!]R O8[A=Sf}?zf 7IkfUEKɻY0*VZKa1ؘvKQ s n} ̴佨X4%우 _VYNZe֧A؇1%oFgHYü>^8ևW2>$73I!Q ŭd_ĄV SRFmF}q X=#N8RT<cXuf]_f^ UD!~I9h$!5 %~.scP`uִؔcܜT2]ݿqcj:WJDM?H~9`~O(M_t \Vv ,jTHУIAxZz< f97yI5tQ揩Q\BbĎqT|ilFIJ$7T+d'i!t-qWz&"1TbpCFi դ<~5;6 *]dn$XMT)nMR &jB KpܵMJ찬0w)Zdd җ ن!l*H |xKYd&HN`Ʈi{ 5ϙ+ZD,g\8zSQ@NWdPjMLe;pY_Y WBbkƳ[N`hRBZB нfy,^վrhin(5tӺJު%/`^sN_Cŝs>>ΰvSi,I zD YC}bX&2\eGߟ~ Zy,[7]|?l=4x m[6QM87XqP`B(s{_Ocy) "]^Vuta-܊ҥ ʥHO-}#Fod.ʌq›Dۋ~3VUGd{3);BOջ}~v0O?|N>a~Oۛ GDpPfYMΑ._ye ,?NXQoZؚE6YbxA$x|IsԯܩWDE@soҏ3"Q56yr`}n0ڃxGA!W]yLK: t};C8@BiÇZ(n\ tw~!n$Ng^u@o|?OhZ|K^! vnlmGnj S.)"Pm%@1"eսkA;v=#ꋹ8|+/LH1vZӳlD_bt"ϼ\K d& QhR]K .6{̌pFS?x~ϟLrIJWT{4:jGW(7\v?䱯 eXdȑaYDm6'9Ha'!&[VNIm(BWt}OдMYX g@s]탧ƁLϓimvx׎V:+CI 7zqx;Qٮ8X|.Dc)ڣEgH IK4CMQ=bqR;[;6^U0܅e_=C8p+8VH ~;'nV;NCpHj,Me"${Б̨ *#a*C>E0V$IzO7_\Q{$ٵ@z 6QuGMoC= E}z-: u5${ZwѦh 5t& uD+\3 7.%l ~9N~B |đDǒ4ZIJdX*!#ƽ#/!tvM;}M;Wa^2ID!2k|3~xƥxKaZIP9@lt$e'lՉ%j–T%.zstC8dlr,_K("0MTu@qj'`BDI/;ngj?x(>ykӢ&8edJ Qi+yUe)$q 3Ჱy7zd#Zrp ϊo4JzȱYU"5BCuQ!?/D(j00{]p6dVT<'F9Q0;um/ tѦS]*u=&.10E@ٛHbE=ۉvix.2VKWpnUdk? $Ʉ5vOw, 0/)l^j1In@x |$-ksvX=ΛV~ދ&`OR ^WAT_>GC g z(FgCTV WޭVB]P ,eMb|kd˧%M\X"2){DgMJчOL74+OQ2 Jp9_<0mP*42w*OhM緃(h1鼚PO5ݡZ+W'-w^h#ߎjZ \noMz5*]rλ]U^6Ef,ꌷcz{*Ώ9 o_e  ؅٫KktO (pb![MqN)NEkYႢ0O PNֹbK08 RZv~l,/'"[È26 ɕ?|;g,-GXvlYn"a-5&ƌN`宇b)vęyAw0̲)J6byf ɎPrR6I4ͧI(eNs0ӛ# Kζ+BL-όHhx@\i,at?-|1f:D\}ٕլv|-0&ˉ]c9c'R( `*XJ4-,tx5{n3j,8*Ug9)5?DȞè3ْm: cۿ|V7sR,l7~EvJ 28'$#4oQ1Ie|(U~ͲP;-ЮחWgA )I98d›vnQaj2:F;_q&ggԷAo' %z+x8>.oPg ;| bѩ>k;P}D?6G,\y%;squ D1g A$ >5cⱧ Xni3?pE'|^7XzXJuTi1O7EjbQ9Qj,~ ЎWcWg!3H Rѧp9BhabcP^-R{rDwm?zbj ޥdNCl[00ٽds8pz=,?قj{=F Yofnc3s/MF])cwς"P|WKn嗎E2ߜYV.!9'3XB%n g'o3j6c:WrD5Igyt!`ScS&gesk&$>/#Bh2|%֔nER^8Z)ke#\Ep8̞/wZWi0q 1wjmpxZ9AO*LcyRUS:bLznJ(*,+VO Hm@Kf=HOχұ"c;q*q@Bt;2Zk6~!!& A>ߊv [b dn#qc(8oξ yn,z%ͲjEF zW؅#\狱gYZ7zXZִF! E]ŗXiɟ1S:JI 5i;\ŮIQrEp '? wᷖT:grZJ]2zIqH[rQY;hBm` Vg[^L%܈^S-,y\xP|"C#d[>9q7z]$!׌w]&h]79WЯp;C=7ru(c&LΩ|(LOڿժP<6GgD#GQ4: Ѹ[mS?;8Jf6(#Ӎ"#tË 4t1gYZ7zXZִF! "]ŗXi%L&䏍G$&]'}p\^s1 tjIr2Y^y0gI]͎E2_qߙ=JȪ՛}8=\ks]3ͥ'(ʫrX ^5(YQ>&ago-ɾ~=K 4=-Ylߧ=5e;~?t m+et EDs;b|⦤2k6UT`sZW؍wYHWy p,5.>Nh~I2&%bnS6X(m,)R~V{F;/þ()( b.ڴ rm=qCԒgkJhϺtϚW'mDWi)=(v;>ɓRmϻ@wM yOUݥO@^K('/9_N^d㙌4h`՟w/YU ){S0e9%,}r_i6/kȑ8"ƶ|_A-@ګe9@k_acCo#q<dZIxES"|~^vdBj-/9n Mj…qcVatLW͠7*R \pOC0 Ti#|W|#BZA/wd;tL߿h~1eV|G5r+|Y2"6axUԛ BO,~~Qx3z~Ѓq%3Xe%: 5YAe tx֢͙2LGx"n8YILyp7qb6YhnC%1PK v&2+. OB=[<+[(CDkv2r0<3mnc>! sL6OytΎ:VYV@ 9CJ82;7J4!c-g2U=ߞEƕԉ+h:52^fZ7L Wwx;&#h"D.#7I@,7F\3%#g0 Jy^جr[.pc ָ(_kx]37n;au[9L+HTѦ`$ " #iGbRJxY &bJX%I 2̆&o,z"Ѳ6@mX;*_*i3zY >ܱWNc~Bl+ZUMbOjbMNHXz))Hy+Vp(V*i&2ݵ')<<^ࡌG9Ғ#ox4@PU-2샶x)e\Ьc p`Xtwy /Tٝ}]ҫ$eo"o>DvyyFOVp H;Ah9`s=*v{͆ $q)b+s-/ɝ?eAH`5"XD˔yx¬28y,$ >re̝I>;.vZD{ f&97Z-(L-gm'UF|m2GIdueFU؃3o[ u"3m@Н3Gv{Myf9{zhk񠝉s)o6V;-(0UVxX&f۶[8g?*|UZ,+M5D)S w Z;%`ǂDQ3C?p*x#oONTԐ4&(rCT $uJ>6PL+H-_e+Q^ }}" }IRQ8c^ކN(aS9&ܥt1%' z&f~^~Sji< 3a KJ\Hqv~0?ŲX*%iW__6>>;}uQXr~X`YW`s:_ú^]MK ϑAN7+Ux XyM,տVq{\F3I"L^`ŸkO-MsO&)2i 9{9(lko7СůsVAhj b&lϸj2l6$X3h#8lϢ.9g9A_"}g|T Ը (%*^#S$n2{ _MϠ=󠉷Pޭhj܎)+3*_S=MI~RKtl21AC꿉ĨEe\l'ya< U+Wҙ.r|x D$YT }Rkݔk(P2g1sG ly oR p^(0a,Gx}>zc1qh¾f/߶_U#a3PI`)zI_߈eZptWZh&RL-^/<[H՞߸8a= bJҸtƇM(?Glow5WVgS:] zCQ2cTJiLo3J`@/P(%^)d~=ܽV:e G~_11z:OkVaVba6'^w^GX>E>?L\iwO9s Pf}3'b̬B?aǫL_ Ks4UZkqk]‰k?4ՆXCۧ>!8BRƤ7 oN;%D%KZ&%m<4%aJ4)ʟvYiа:ШW]%s)WMX(;)㢒c~ sS$k|BZ,-f'߰ YMZgy[1 Oa"H$.WDa۝99,&?dyHfGPfe߾p1-6ppL#W1<\%E>e dḻ u^f:G |-۬gFt&Kc O>+W 6*g/T"7xEX3wL{꼂$zS `' (FZ27A蒢U<eM5iK5A̽zjWwCA{3 0 {d4r@DaL^+uajt3&"WcȼϿH=?P8"3_ tI2 }`nᦒ:^%G#3~3eDna|f -,4tWoWE9௘iC?X->$肬^PZDoG90;,Yɤ5/YJxsߵcwՠz܅/xfC#rՈ-2cu5 NV0֍L\uCM[xM3#O/X/w)Sa\͗ sKdFja4NК^)B_Ty@q(B@)_ncZy^ a\)ǵEHAȤ]3#SQ59ĕJ>5,OX ooc0"e-76xDx8co#f\-)LufM~'vzp`~0@(;RwHNvS,\\aa,pTx 0Zt⨥֌wϗ}B׸jHGNK p06 )Ryj {p5B6޸Z?+ߓ ^{ \LVQU#:9'@2lS.BkVCY Q@z;I5t{)L# @*2MfT-&{*}/#Ps4Uy=d|ְ.~K5'cn~TL,$kfJ2ɄaHoQ@brQ0 g]jH7L!v `nĺ%oEWtD@@Ѧ^\6~$t^-f\QF~ ngRrRG'Ph]UD2| X/>M_\ۚ\N-U_wt5ZfKQRL"ClN\M~T޼?ǝc'oՋ#_)M+EkL'ŵ ~`m~p`&Pj$E6[bӣ[S>N\ɵ0eE?NNTfuzlͪdTpvGQ#ҋQ'i_uJjߔrY>qP#k*h+!vv19B7ߝȋ$wv{IiRq#zїV-5qfk(L`wdK,He)o j5LEpa}.iSmmŀ^0T'a<Ek?~q#K_ lTѦ=R=;%+ ^R÷|=ba%#t"H8\\c{Ekc?)*+tlt ꊵ7:t%nF1c hG@$;;ֲ\{8q)R1"Ck]7n#ژPEp]|O$.7U5 =QU<us `߭|43ޗV('M#ӑ=6 Md#!e@(8*%2qPF>";x##u<$qOrGY K|V9X7ޫ1 &Wa}axSss ">$뷸+ /_ ho$f_4Wsv8m;h@c-C:zvN&8Cc*a#x9D䚩'm) G8UTaoRrAO3D1~^\hb.[~4x6NmH^gc7(2AD%a*4LC0 =Pb=u~JfHe`FSxTD:{vk${A\GuU:Q@Xˤf4kS{{gsPm߈Ju$uZyqZpJoµ$rLU9O& {8Wمܾ0?M!N/Z׌֊Tk=L2hD߳ágYZ0e41e18e0f856edc86e8e4593fbcf765d1c984fe9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535