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 <#Tl4 ]S]Collections:threads=4elapsed=251.979cpu=650.740gc=61.628factor=2.587zXZִF! O d]ŗXf[&rԿHZcr#4#5Da14' UܡEp Vob3̕/\j4^;bTxD0N΅꟣#~`0;(^BحcMY[zBTȌ F*/Do]wOq2K֧mnIs.jtN&XF A]M(T{2sB:6RC6i~wMUɺ<3d_,vGiAQ|́ÒWjk,I ˚]~wH\uک_6>k ق P!!"ɶ1y9jk"qq~xz8Y?(Aα@ ,0-3Oaռ=l >,LYY?G[fDvUi7|UX/mcyNG,l7czs>C< kSR1SS愨}ȺuzuzJOqЦ E%u[ZK@ݰOZ%p 2xNfőwK_eF %&lӷ;zcKZw*B%tNݟذ'KTCq7q:x7T^,WRloqVn+jo+*{xar(.F Q:^^p?Cil!IG- M{U8 |n㔒,'U-<|q>ے>MՋVL3\gfCPnkaUvsN C7SE@4ߢ69ǝ$y"<$ܗyvߜd|_~-Ax昱R]-&;Wڃ `3fYp}*įe"j숸ë!D*EPf-'[s@{q q֌kŸ:OqT)4}=}wP`'W9!DEY/ZڈQ5X,R@cOKHzuaP-SoSNs6\E/ 3Ymk T(۟,$e5ģF_ ¶hH("Fe5vo'k n5J-|;sq}L{>G^QUpjVx<:*aZӹO[H =6,nf5z/|Cp* *}`w2CY]MC =Ch Y;߃19.ܠ9.w YaZşQ٭E yV޼ (Mdؑe>Bgm*9NF*n׷Bsg {_.&"[򣌮!u1D[ωacRS}el].uKngλ1gaLʜ0x1qkL#E TC;:s+ za{S{ PȦObZZU6,O/"!Ap6ԽS)ޤ}sB:+ x9۷rܨmXuЕ d5Loz$$jGyT%nRqr[$?v4}<@2_o y5\7jR_Vw ȦOԢq> G%qfN ՗olzB-ٌzfLu`cǩm(u%P&$\(S>̣韉NeUd-qo+B>l9V.# "A;合^i-&k-褌tF$+1Zr> sd.t4G1 EHтӎX%_x69yoE#F}̹VFKpY``ij&&Gfs,T/Ƀ\]_~]QseMRV5uzZY # CollectionsG#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %Ag 8#=+CollectionsCollections.Impl_Bit_Setcode/export1.ML@#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML 66G#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ .#=+ tCollectionsCollections.Impl_Bit_Setcode/export1.ML7zXZִF! (.]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xGF'p$WEH;u3e1BtISˠs7d R O~@_?!9-f#!m{0@BJkǽȠgTIН2hkwR6UDw8뙘!SCp`򿮆 i 4^\w"˵+hT:R(4h^yâk=]ff| Wu&ؘ}OQ[)=_͡2?A *(d%%-CH =8O0 S^u G57#/(Aڴi{T-) i) BCiB 㶀}"z:b 0\L7/l؞" Kq%O΋9{DHT[zgoNu+QI+ -;R x8D4QpXtRW3LL+VZ̗M>xR՝w`-"LAEyfI=Q7 ѳ2QݭA5܁c=׉% ^c[FԘ?%Fi̐:eK tBGp .|^z! an~e# LfEd /t A9źmx2Ib2+VWRel)kM7cٓ An$6_*Gi:fwA%E t,jCA|vn([w{$뽰y˟8n3c|4K@| z@d/m\1XqՁEG5-~W,g{ P*/`=d(Ұ5iw?p{!|1@*+;(X<#;Sʅu8;*:K-Rˍ}A>Y4YṋdN5\Y" Y˔Ĕ\(9gTbu3<5%@g5ᔷM,41*$;~%֓i&ǜV p{9wk""yu5+|(uYT"0YMrEW⽍O$5ޟ按TA[-%i!6%L; ~t##@lðF[LL aCfYLO0Lҗ]#T9ף -EgHudںE8h^h6TNE$=(%AIA 6zk3I}ms 1dkw$T˧ _*l~*DL: 9il?(k5b_sB[1g"JkiKk,.ZD`;~srb.ѕ P-Vylh6l:yۛ^V O&8[%I7FD|d0'E'N*޲E &hlRۊV}8̤\vLV9!nvU0St!*Û D;ZvqZϸQ"e[$PfwQN8^; ɱf G 3/ qZl/^=?t e>B }Z=Aba\L>$6(l.Өl^]&rn 9Q^_ƿ+&6&͍"B_dOJZr]x>cْ~q>Rzf0_XȯtNbGkq9,9tLp5\"z5ACg$:]?<ިdgvd*CE`f;D &,WI^)Ǵ/GwT~Xw7۷n8]mP |nԦ]iTs4ߞ!qhP=j dnW2p]Şzr TdDgvZTFx\]ѓύbLfJILwHĺ4>3Hxyuk(/-?8؟AXxbTH}_1;>aڳ]iҟ2(Q &(<1h}q[m>In@$HӪfE_.lY4VU96vgcT0!P(ñ2x֟8NJ2p w&a@L{ڮ[p0=o=< dy@+ e/UVqcu9+hc͋y[AiZ}dGȁ/3,5ϯuݏ aڌ_k,"(H3=- lUC`}hź*X ۧJ-׆84Na*'M79y_8Hv|^7kesWAb%'k7I^5 1w.4B+fGcXi"s+dI+>T?!bx4<q+IW2ӍahLԣ=T7Uc5s7qbC~s= u7XQ(-Eڠˮ[Z[}dLs'yڤXt@if^#t- T0lyB%"ΓXj%my )}dbtNb(8)cv3D aw]Di5 z$v6m/` eNC|3R5x(?~{K\G]㣃QӼĪkB6Қ]Dt|lzA_X ip!W3U<|9FW@xiGw3pq%NF{~e4R]@w_NIυ.k5|f,sh&Y YbG|f"E_$4GWܸ7rTÁ)v-\~ay.>hOe/u>[ԅFt$by&l6cډ6Z#Ru\E>BFp\QJy3LH]K >-6 XsXRZx8A5cn2"ƉY<U)$qW&0Qr>'DfiآisҀ #{b3AKMgiЍmo(oN Аla`;? h*D:JAz³4[M:IfI4aTtL3f?>LB1௞'zӳand\d7,+rxpf*s=XF~>}5%r˕gτn G 14byaQԓI'15X,٦3nӄ7{ywsɊJ8ݮNzU#ֹ/IRZ('91tdݣϻM.AR\nh%_}MfhhQkŧ(e\@  al;lk}-sH⁠{zjd\/!׆r瀽z' CS$>ǂsU}׀ݧCh}zJ1ĕz=J]Y< vK"Nt 1oO%Lgh z&/IOcDw9_ ]&{:G3"C\%c]Wt%@EǦ,I/]VA QCg6yQ@IKU+?Q8^9U/&$Mpa?z^vޱݟLx^"Aj}) qjꥐv' 7ǯǖP.|4}kkkd߃8vܡgd;#P)Et,^u S6 xf0`N]=@qSڜv9\()μԉ[ז ;"P2t\}LН/컱3 1Ƕ-FIn䮽-3}BIUiQMnMm[L/:[fuJ}c/]V$mHL^zz_]Hcrc)e@U^LGQe"DݻAٟgLhgYZ7zXZִF! 'K]ŗXiɟlAC,YflӅn] 6X, ('LoÓbx,Cq BGXA( sK9+ 4gf`s$FC!#PojnM:tĴ owDӔͩ+ߑ4D0;{Ƞ95S }V=ySnuD45ph,},٢$,LsKOFvjund+Zm'XrNEyIx3fcVgUj=wUvgͻmNP'|މyvϛ"q_߀|{cx/Utg>U@O)CcaGPd!ebw.@2~̛+[}e[*NΉ&oQ+i0;V޳EȆ_P`3RZ[>\pGb{D l341P >EV/L'Yd]{PlPz{Ł~>94 ¿!3*=a Ÿ,L wvu[XV'e|ȲNMtW!)Ľ^1LH ~)%~t^54SGRNqMMK k-8ZnU))Wng6&Gk])1ڽN GUpn$r*ȸ}Yq gݏt{pa5a58-,$Pk@GkDϏtmWsDm M'CU\Bʑe솂(6R[&<XxޯV"沠KԘ^d;c + !5q*ۭ/b 0Ug#' js҅18nCc5Z_ ak)?Ljr ewԏIiv$4ˈSP0c"}ImACYa=Pՠ[5 ꮙ؂JV½CIP}W]ʅ!onf(Cy։ږZztb'"EʿS@ʴ@']iaGL fs`u-LJL%mj4|6"lZp xiW3)q/jKFάtAoJ"JPRGZi;#VD;!_N4m[p{rj\ a:8(ɯc:8 kCV Ccǥf6)P*We|AZ %ܦ_DށE&b^HkUXҒV}  I3L-Z~;${+^G1Q^KN:3xЅO=/*قNZgYZ7zXZִF! $D]ŗXi%I n_̹]&M ߹:Q?^^6-Mתpd8?cւ:iS>R(`>tщGb@XLYI%uf2w-YbASdF'\Af`|'{]*B]R݉O|JrbABkYE;@'粊XB7' MaVNCB}]1ݓ3_EHDzx]򂭴^j{χ}rXa*N ,mehoØ-$^6.;6Q"#vN9p4}np c<5Y7A ;aR|=\Twi|1_nG,9I{fsjfjyS~vblQ!]''Z5P歘gjnOa wnױ|ܺ$Ei,o&aҨ{UAZ?$ww&$ۗPCZ0s`|2t[K9/fBY .kRi!GH0xzn+Go?9Ȗ$]&rF̤dˠ3;z%MfDžv5A8} %WUj zT8pacg(#fzh%}ss+]Lu55M>|R*dctۙ:ΞqQ_W&HMqdԤtx)0֐8a"X/` hlrőUy7:-ۋkK~{GzD6 i\)0z/dskxVt_X*_dva ^=>`#/v(S{p K%FNBn, C=砀DYѷq-+Om=mF{z.6YM9/'ӂ/o_[hMύnOe P{50/OVw!;_zGx$RY꜍O.g? [ɺ$m;c3= ٤ spbj1J{\Mf=VSd5o0N4t{e@-)M ՙ:c $@mDҢۣE hB.# fc#ySS[8byw'PXXToi"oF;7p0Z„ivp@X0e\&Q#ցiA΍3 5>WW=&QPyOy)*ǧN)EMݑDYmsX<ЬxPc*[3 21#QF&ȾKTQX#\.N"Rge}L95 [lPKwBhfӢ=[ UZ޽,9ZhQX7/Byɵ ]*ݨ|BYԸ c;:Lv A[.^ɬ9JumjV#`qa~0R*"˥$CQͭ|JGΙrSY h;)E;3l"zv!O*)C0G mbxr:jHwTfUX:Lêźs>D?eo@3h}S:)1ڴ^B^t5˟-5 AĊ@`xyծQYqJ(6&K!96XI{0o_GoTooL磡[38p5BfV[n +mف3IElA *@(e Ǥ+Iu BޞZhvz(R+p`>,2HO4PS3U.sXNڪږwXdI%P!0H(?t1Uwzu$qɍG0TdKju .p;C+t>ЯGh@|ռ)4QlƬ4_W3ٜtKP,p~\E>; G:Ѷ!BpU'wHX \^t&&*Ѵ`HY S᫧H8u9pFN{i6cᓿ{w,%Cߔc0<F| ͖rY $xT1Yo^]q#אU6OHqը}CJ `k$3# Hq]9E`j/Ø8?\_Bا`{̭0s_ێu7Q b=au^-/nބ/R‚%W52shGuXZ6Uyvlӕ,>1)&]tBGNKrژʃz%hF3_; -@Vk?з@صRkKy/гٓ:Z].q\r +R r4%g `jIGpTi>|1s[5F$dSk;Y{˥ ][pTLnJeL#0B4KD?n7Gg3+0v z <-~]~&-9T%t誏phKMJ{i)cwH'nI Aܚy1xӌ F5^I8=!7ƽD RK<2z=q0U|k1f5z5`o *40M0X]Ɖa+_\;yq"M`E,]Ѹ6P7seada9#2J,]N@ a@KZQ*T`|x!f^]3E7LA$[ԅ ژ)"5B+&ʜ[ŽxH"2~|b|-wXg}wQUn~QnN7h6>F )ҟyL3'10B(j*>@Ppƞtծn.]Ez[뺢6.]f1Xe5t#qAaoQ8^v[YkLΡGONlEμ4^+ܮDJEgzB%y"tn{E{Y^w@#9ӑjuڪE:3 t hJ/GP++&"(d\̢#=yԶǮkT76JRCն)h}GXB>]vܽЕ7 :u1eSIv;]$ %7Sq)Ft?Hl) *fY'4zʱb;F&%W5nWQ4r~sY|DijW0+:-3mC1 MkC*ڱ#kJ%ȟA!ƂE6vXJK<<'?v #ܞމO*Z;غNX.bukAnǠ]B$+['ܨs-~aGdɊrWԠ(:6k yE#;YMGbr0ç}3=y0a\)ϦLܯS hX*B'n@Xdt*ƨܴ|S~Z(݀χϫcs-ՂiϦ3tż 9SgLp0:ȇAU&^֩gY &:C9'wVS#rJ9gb֫b8u W]TȨCJx~1+6DX2VC {/]j ټg:bH|$ Z,) ދ9K38mߔMS_ucʃLFo֨0M== _f D9J>!If:hۤXwSH?a& W0SVBQ-L])/v9~r`TT%Eg5B*#5~b 񔁒ƒ,S~Ga1S NjUʥJj (P?vBA?@m' Du\' ` 4\`C$*Z|B{}KyltK!X$'d6V=kh9n|U3GwQȔ1X9$nN PԎ(v)!/n2REZsK, e [knl#sQż %YS|M Vi-Z9ޯO,p>;V2}oȧQ>eGuq—jI&.! ,mEWLz<=xt1cBY3cܥǭ}5 _K=AQ iXҒfy!6AL.,  (92[ -!~^≎Bl7ȬȎG_/79&C6ia,4 M't.'qilaꘅ"CϜ!|N: DQ),9ԛ 7y qLXK62>_vr(+}u %n*'!]0B6$-9#5~ ؠaU9qqqI:y<0hw`Qv|$-kZ8*_WH ל OҜb!K3X{e}w8/vl,5[N_/@RMq6DB;Ay FE0iZ=L _~Q ]@{xcvIJD_S:Q@NC [Kz\PbzXMrf7-g:HHR*5aa"xi.i0>m7˨mTW,݅HJ4(ZZ|c-ٮN\ieFCJ(\6:y$RO"{Ȗ֩!+E@x} 'K"OCaI)*{f}@#gϏӢm98y{^kBʼn(ĀT Va7Vtm|ZE =0(QxU'!@H-|>di!cK$ ~zD2_x`XV#g:ZeT(>3^(Mz )ƌls 2'2}61'̀^NA@.Νn1RI.قp\^&~!H$4ωyꞕzbXv#Wu%vUrCJ6nZi6ȢDw8K:kj PiK똱N~K2P1D1Y{̅Qd6вcs ,JNeT)*_Т-'iV'3<&# esvv촂ٿ:Nc=9\"cjtB9'B{jߧ|KZroHHfhM?JuęRyG } 8sSe ^IOɯGt_7N@vܷǁץ$_đ?'g5HXlF5jnХӥP9`t~KG/μ> C{W%2B׳\@؁f'O ⥴ %1bC.F 0TcNr^Giw`4*P"H OģgjٝMt3)u\:, 籝nB%>J[7u&:0xnlO }@ܱSACpޢ^pvR{QkVTwdNjh ^9ʀ[G!9,qaUSw-TJ \>6 I^,h{&S[Y(1*ł.cN Zh, t*)ZI`* \RT]k6UKO^% 3a;%2߁CC0j 'O@<" R :M_&'2ՖpɵpXiSY+y=xH('k "984GJs (SCͯc}K`#W!KU@' kخN*秶W\.1V !2YzU'BiM  a})"a'OW,P0 Λ}F1bTBDۂb{%QՊvL V;͡F>a yg:m֧GI `c4+*ܲs&wxewM*gԁgWDd`0D)q2(]2u$\o khR?bc)z*/s~s/q/[iPINvy!+~p:{ȣiF}~fOЁmmw)08&C0]rT\ؤ5BS6ԝ_h*B8V F0N*Sݩ?suUx v2C(ŪI{Ԯ՘yL0l 4`u!,[_(PRqXԞ c ZB.Rl2nZ#[e&]޴Œ5'^j.c·NH?63D ^4#Css CP ^> ^{į;BgՏB6hʙƨ0+̢bWΑ<6r8i#)dgiީR@2QF}YԴCx!Q; dԭx-:lyDGA.wczU^AB'j\ 8LV0- p'йf+7GK[ҥ _!aWƴFZ̿ҟl!Yp@=UZsJctS@ >$j!h K?K&*ʹdKؾPaZ-{& X ؜aֲL#DUfkႺixY[).܃̱2[6xi~vIVB?+Ճt{K7&׺^KS¢&p>g~-ؙ߁=!fMDcXY>;M]AoC[L~jULơRU= *TU>J_plyP6;֚D[H N&M v^ZweNm7,d5-=ɼl^Q_Rd]hf%, S (%'In$s;3:Xd:y(o!vtq)cLj^[4$|Ӓ]2XmU&`_]x YyU>m]kDXn`mXxޅr &:rnz5/XU>Kf e'~L%C6Pⷭ 1o56\_<:R.lעe)I` 'K0^DjSuWi Xu90$OG5mWa#xѰbua"ƒx?L[tS2j_%{5[IEytsꭱ;Yq3Sruϫ$[00b-DMTa.M5[hROZ N'ȣ 7jEy=nY(~-z[~\YVg 41moӅSS kSyӷy04~:e 6#ˋ*Zz!tmxmلYnŰ3s;M ^nF}TC&WQQNWv޸BcE?򋈞1T(DPmsbG!Hy=21R)P< ˉ=]r{deٸbJ"6A^m[ՈyԊ0 sRӨ)#4Zuߘԑk8Ny{NH$/Q,܏7 iI%1gs @p2颶G(|nu~N8sVRxH'7tR WFU(lim7%wAf <䢯c_›_@P/Eۮ'J5KKwX@yoQ2uOP-Ch X`f.^.@;OG>axCH,4Չ="jSbMN)K7L3GOP7_ ٫|u* NI"sY4+Uճߝ>pL;. sJM HpgL^(5&+RBJp]^6{R {͑_шUؑ Z@QUs"a0`<^Oy)ʤp6AX~=3NJzjC8>+0UZ噝y`Ǫɐ4qI0*+?B,gc6>M2Qzb|h3`u'E@G*9:Bc,W$mk*sTQ XGD![w1ѝ0&X@ZsJ+3fc:?Ƨf!;45$.g3(ZBk^;vwbVl7'_6vcо>M0 +o%##ϓ[F0=#N@x]%W,I[~]-b9-ޡٽ`D q~[zUC. 9*-!3?9Џs~[uIN|K4aƒ5Ԓ @൐]:y\Y,ba"ZJb |0^@]k޺S5\Dz[\B 2 G$uыUe4_)ڷm_PQ *|Dadɴv ם|qDlCN,t˩(P ըXΞ^6UoQSovkxomDNu l>솝82UZRCYĜB3|c׎^̙UA{K[]lN$1pj4W*"A тEz>Ln`"Uv$dUBW/?3l2cHx&?2eC0!B=IrgNR ?I>܍$@[_8T3&HnTGռ8$e#zr9艀Z*hڍw]ey+ؖU*>75-/l`&? s_ZAޔ5O$~eUӞ:6a_V^̢a]-Ϟ1ґjqeBet49)ZΒx\w D-^];kd ^P'ꎉ'Sچ"2' kd_0OmF65uasDZFa٧]6 ԷIi,p&Td7v`yLCcʲB?(棪FSg1׮GH0ܡPV)^WT̻ze`}PUv_w$LWGF,=͹bB+&D&tSVn_jX(xD} 9?#R̸Sԙ9  ;OdN,e7n}uNJ-++6jrilm<׏U]<s*!cq[Ia>{GW5qx"=Iӗ~ t®A\}XBؼA$# QK&buxn_/Y]Ƹ UrOKtm7)l]1r2Zn *=6)@G&ᩒ5zop qFข"vkYqS_3( ʂ =C}$u$,\,\ϻ}p].Y- Uv7": B89?@D[0{\ xQށC?G}5'MhkG'8 xn[O:&ls٬LXB|lBo-UL+Nyk-%=ՉiZ׼rL8e|Ǽa2-ų*5#~rwg%R| gق;(mA1d6\q2:z3rrWb[=7KQ@Q'Q <(lݵxDP߹X>l9Tk A4LIx=2xy @ߍ29[}hL'paq "Rr)l 7zνhUf1eR f<}fܶq]\t%B<0!4Od48 & z38.wuelU Lw6/)(g\PFm>D)3T *\hHx% - SjXթ1 K@;޷ߥ^!(Yhg!Ϋ\,(U?er6 ,lխ Y,{i܍:=t]iџXY*ҝX5iA)[ɘb|Enu潷ґbz G3jf=+9fedI|C5Eh%4V,{2 r|B)nSo],~ ϕӌ[c-:Vnblҕ }YMGЩsC07>4oRGVBY$E[FmZ"/ݨ,,mWk'7O>d܍Bnϗ׷?Q/O^4$0A$A6+,Њgܬf1P V=j$]Y&j@14DOI\#Ǵ6+9XDq&F H>a3@8Iu+[Y^U*Rf]W< *#np1R `sƽ`S- OYچBy=u>&@ȀVO3Be)c Y"U`(+bA> FfH)c>ubcĮHYx#g Q 4;H'[q~_u#R}.U\DRHkZp1a^ܠ+3?&g(`K b8J!@:M`7X7z SgU)T^Lbgiǁ;&{cٸT~Ӑq-Wd@=' I4 6lM/}н"́j+B¯HR;YZ֑+]h^!|c4v`,{/Ϩlldb5c=B fNH:ue3vBYv(`TO@9Ҡ:'ÈJ'.q`zsTKQSaba*^i?٩S{YBH0!<- d8zS 9@% Wst#VZM+EѦ18Vŋ^hT1'xaP2.F(xcjRrP'=_xDs@ ]R18<@i'6fb(}|ٔ !v V Q(^r\) t}hs"fpb,C3 狶U/,2rZ=ǝz0ڇ\vܔa%"TAN)hἤEMZ;Pycr4$UwZpY2BFs@֭9&4[w+mҒv.Rk, G|bv(^;p&iUxT|UpPr8-M,x>-N~o*xy! |S9[[}ꁖ1&k#k~ s1'S`Ƀq)Jn]DF~s* iF)gB{vK'ӗDlwqMO50`q{\A %*)꥔[A8Q۴#|km"it# -1-~T~EDwsYhK+2E# V' +r)CGc4N͹|^8'>2TwnL0k Mr㿦2!`QxeA +SR#,f3K3(e3MEIˡ@3y\rwѩ#*O,z<뷏DxIF/n2'4YSWFn( lqsK+ 3Z*m9DHr2WNYˑ#^' г^oCݯT‘ P7܃3/Fp$0`%9?\IUকa"jFTLٸ?` -l}â]k~l,c"~X:mNsܹԾ{8|:E':*]Xzve3dB*$ =M^B>5A~SulZ8gl &Rd1"5um;wƭvs;&PfZ!c`XKiz&-{2Ȥ)n'?qd0_ "8Cz2r\+yjN7QgYZ6ecc9b9bf59c85713f7436e3fe9c24a0f3b4666c5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ceba0446620459e9ca50e1e491e696749bdb99a2 d22d656bec329e50ff82e6a974b78e6137bd04cc018ab1a0898016f4abab2fcfdfe93d1142125404