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 ((8#d\, ]S]Collections:threads=4elapsed=249.845cpu=642.572gc=46.204factor=2.577zXZִF! Z!*]ŗXf[&rԿQ)o?ǔi[zrۢ\ |YQۑUw1L@P1+E?5&gAj.3oiɬW7M%n -Nj:pFuT~%߃7v6k*UjQ +2 n*+T;v#g4*>4ʣ'jDrQ2[W8uTqD__MA&Oy^Gvl6Qf^3: hb:A!ٔؾ)av@uaD?9:2&w&oV&zi#Һ}sl۠71Se 1i%=|Yi냫֬xes)qygq'sZ;FRx4U6 2 ؿi?%k6/eܭVcW0WJ Nwa; ir$x!hdE9\g+EeDv({dDϊ+5TVp汕*hZR{`6us[g.FIL@jE; אM`Ĺ%DM+80 +^fn..5,[@U\ЊDdݻHPEs2r?)ƃN# C܎d 3B흞V*aҳ~Is$f GlcF`  Vssh.kO7< XnCՅ Kfr3ј!(Ҽ~ԴhS@; d $cee'ЮmHz -˩v)Kѩ'Ƙ1LM#0k%@=^=jbyU׷̨4R]1' lȻ>qL2ġ_ mXC+(S})~ dO Dw]A?zԕWm:͆kGRGrFWiڄ:jҦ5Ry,,o.&&;_q/ 36TKΘj K5IG7ł—~fɘ\guh#"ձ)[ rL;{$J7{nn(n}2_5Y|`"B#qfmŷ&,'^^ZKUl+VFw:;Br}C S_;RG6Hm*2{`ξ%Z1)*C/)9n P-mxua l7T8 z0u1vq.ym.џaD״*AWBІB`F}(2>B4/G+!("W֣~rQ68ʈ1궒H{cvt{pqrR  ):C`ׇmDǂ'JuA2׺ VlO,GS{8gA&XjtvҠ7lfBɹuW%ǖ%37_u +0 fn;~ c)OE^u7|> :܍p[WB ?3LtYx90/{UIĔi]&]խbA(F0. pfKAz[tq6_`|p3xe-f})!/eBEE[#/81:D-Hh+ڃx ?In\ᛴʰCf^^LI gT,5AWKp]J84%zhQGTExLJa3AG?>eÕtf18׆޼"l +T9*mKh<3#WT1$HyШPRtDB/ͮzA59<#h^%zu_ !Q9XK*1(3sV@5WC2: n9i #ră߉PJǽ~=-EU^Bqᾤ3H_*c} k pXZLg ` jsϟ•Lwɝha0(mM0vZ4$^8;srmsjKi/[Vz&H̛):/ {31 M!!_i +:( fCax/I{ie{̩_QB8nERHGJJ{u{8aBlKH };r ^7] NI AF`OZ7@ uTew\|ߒ< {9 '1"NK 8(ZH~w% K>p$~A!hu # 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ޟ按Mtu߰PPS\5 =>YXg#,-Y5kpjtm}̙wmgܟ3e56zb7S]YSGh_tC~o'y'P-i~w@MIN8k}K6)8xsͦnk5/VAb6->3hh;IJ:Ű}ޭ Bi]!~g ,>ЃF+%h0E-7P05p 0dFG1g# 4f;Q%43g+$}=>2"C:L'#ʿ_m̗@2v^D}eesF.\;*v; Bפϰ 앛SbP@ UV<ljrCg{3WyNӠ-]ԃԜè.&wnjpPv O'tL7\(k.ӽ&9}cj"M$Nd15(d`qzؙ⿜Hx.8ƽc=,lCɹb^%Ès)f157 -\&?+8442?sM>څLXNS$h{V"7vCIb/{0 ld{0;wqeU&bl'=_qM9r3o Ő_,G,994P);+kU4f?m ?t{␭52 Q hR)hO;(㶟lx TvKc!LO&M&^ 61wv&']]jQZ2[pLe5?vV`0S+M,OBBnlyzsYȹiM-C ^(NkϦKrx$jIS^71>}c\8$¾:6uc'VQn[GEc=*u@OuSLقPG 1IRZUlw' ([ ) '9"\t)!YP~8jTS ,`U #^2Q!(X>LI0-!D5#P!?t_Ywxl6w!xGlOiM5eJOʖ2NRZQGdvv)Tɀ,oF[)$\t?N~+ȹNnm8G~I1̈O!4hehG/*q;敫yɘ Yr![ >qf8~MU0hBVßcE[=ڧBePލ()maYhZړYd,mòfnY1F䜗l{)hԷ+\S8sqi?O,.я3ꔉZBy:}ڇ캲 X͉$U|>Y|^W?;"̟24-L؂;Jt/'eQ<ڠ" M"4u ʂpc&МGh[v+ c)MFoM Mq?-ՂhҰ-}e%Pq[T TP p12=r{ >A'r\_ђ> "o-O ,sR+ 91<y7lLEiti{ ݸq`[guuL&=a% _nad)^*]}q -[g1L#perF\rb+ݽ.b^ܓb9OPBڣlU'wJUwkv^|#ɐd4AL JxGQZԜwړO$RB?(uە@rOPQ'z{æe$ .ykԃ'J(EDuˁotdʊ Ƀޠ/6A!jbNyqvzGHֱy#_jYN4ƠbsZ. DZ捼n"cX笠~vzFHoaxWXp l(XLI1p=[-qx`U`{yap2G([ `AvB+w+ʪfΛ"vǼk;o驍X|ˢNcq(MXH¹Y3.L"9C1}&[ab sx]Ꚍ9cĦ懡2|8(v}erȢ- PUUV:UcԤXe_4]d~.' CF'&ʩ!X~\ 9(cB9.#YCӾ!M]eOgu p8L**A},'N h;Ux)|Q ~>(4N>Oacs֠i4Eb @19_X $XNSx:/%b~zIد6J)6y}7 9(\njCy-#HtKxargMtgO5)$3ИSc&b6a΢? ]CQu@Ajz_WseZG5Uܵj2:=c@*o]ϨV]#Z)ˣ[}E`c__p6" C"B@~L>~EPjEߘ=n}$S_D|wW4|s}`q}TZJk[?1Z%d5Kğwjqب#.4ba[^Od9ʣm= zz_ J61'G[efJT|[ƅUt9U!HyBEP$7 .+2:f3:W`$NDhՄ6Ԡے+Givi7tjUb~F"Pte?vGݾ(Ӣ4T,ɇ&9I$;P!I]|S)+#dtc% Svǝgs}e= P *sݫE!Hҷsdh~v*fZK3)Wa5-DVJ 'oO^^@2Jrn|}FNt ϶z|(!=vћZb|3dlU 0 T8?K>8si϶ȇDrtN'rSBgYZ7zXZִF! 'K]ŗXiɟlAC,YflӅn] 6X, x%4HK󴹧I+NW'LjYUZy x5MC[|}\%l?;MQ_1àP2œ]o)Nj ڦ*1C36},zM`y_5!`x w8 _ |4^ЖQëvpmx+& G30u6ஆ?D&T#IQ6y#X {7D`ޏ9^3f:{$hUPy6n`2*KOy46V<݈Ic!Ҷ3yݷ 8">z$}x U m2EbAp?ߜz&~lc^f2BqmRn;ej%nؖ-eCZP-+$th$@bߠmАN bP&7vzQ*IQ_p3vi?֫pшͅ7=%n٪YF߯cr]Q޲Y)96&{`4HIôrI޲,RsALz۔nli6f#u6v|gvYV&dlPHЉm$6Õ}ExFY84ܔZj`ΎVJyj5/"+$›,'(q># ]-Ov KQ*t[cpga540/<ź"FV?1Gz)vkSBA85u'q! =C6Э1̰I{E.!-K'ڦ.߷D eRUd?[TQƢlWH'lNӯ;>$I6{ |BZ&{B:5g-L%,_{鴁dڑáWctى,?Ӧ[냳ٯ!(I܆:l-?MEkMD@y]I-^F Y@0GHD *Nž̛ڙ]u_qvi•O\ :nrVzyλ1پ@%g"6W#hiL=n_ zXj NK5:E Qj9&lmG#{{@);|jv?ZMVAlM<'+]%>>SPF癨P|28[dA/M {}y蠥wP I-:ϣB*p̗WEk;({,.;g ϏX׵72Eh=:^i^mHCOVLaE< X+g u`E >`c+"©W7a{ #s!۪7^vǠlqVf(a{$GPPGvpIvxu'K"fD-4"\y#'r'؞ɢrTrn1t^0HF?R`فq#j$$)ϸLRܸ5H"y5[[2FtPd5sR\kш9Vx2/1$oR'-6O%"iiAQTGVc邭SCn܏z6mFSPfeiĥiMl#$㎠*VdnU5Iq ՔY-\98L3Iy]#!-ibQs  ?YaZhmUԫ}(I:hmq6,[ (-i`jܧ9\%loP1Ƀ v-jBZ|2͐~pbh) ˷R[AdXn"bDz](ˢ$dxN WwGcxJp$"ٛ$#P9NNRgYZ7zXZִF! zD]ŗXi%G3cR));5٘r~GA:R7b:&8TUDu'ٔ}rzQI3: 71r=>ɑT 4c0j%l`+6_$ADhNNؼj$ +ҦImy)` .R6ynۼG0; `Z5,êH[KUKc;oIYtA B!N rBбtKh=.k3-2mj=#yG]㵰$Flc_ie4qW8{3iв8v "{\Y)*8cØK򔯂$)"[㽃qM"BA +(}qOM~!5?Ɖ)t"M3+M&{}泜Hc|NΝWfwbwJ_aqr 7аSYm RlC26lVk!`T>H׶2r6ߌ E ŖW1JsU:?1j2N:X$2@5<힫PX9\E{_h<J"pk!7ܥ1q9Q)0Pal:3Kim|sTx)f@%9FӇ >SWS.,vБr b~OC}ᒏL&)E'2&䳽 ߞ;: _%"L|sE J-j_jZ;I\WEqQ^aSσ[+m#R͠DᄎX;oAxK~;m7CMJݻup|fɵ0/=n5= bxU#Vش16\}PR|jWaq"@@ 'ofܔߗm>k5h}M<>>q۳PaXAF@=\9jp9IUA ]~(ȇIp$o\Rj}VO"^$ fNpzbzEX!C!z]֖b:.G[WTh2džRiW!L+>1X|b;{Z5n#ta7D[]JWľH(^")_6Ec+79P$@؝;Q1l[|%-.~* E c(04~Dyw- ʄMJe5lΈԥYF}FPg\Ƞ̞_0S)"^ qJavb]?ǜ Y%go1v8N-U6 sFW!fMxR. 5iTEmȜ\-RM1mTyˑt9Z}K.Twj_r5lR7OyWO#Kщ/}KK?XXQ{rZ@(/^O.N3 tp9O6;a5qTײʂ7N'ۂ$"7:qDW"eV YO:sj=ÿ7i (ǟycIV-B/wGSbO$)BtE ϥy_0Toggy'㜫ԽnI7ڄSz2F"i{ԫV' %Jh'r"c[c &eWokЧ)s|s"6\tdFB0ۇR>l|>fV bN;+RRɧ9z 2>:B\Ϣz ʎYt.$ob7qy rۧ*O$eQE/،E]Roj\ѽk z/XQ<Ҏr-9emw`l1@ivjѶ-ݤٖu*xz*(([V&eb$_ %3V\k \b[NwfKҊ&$H !"[7a`tDPV$siQ0L0z^I wiŢWK06mIW1ѳ y.C* GӵߩW*x$)dVZu$G'6ZZoQt'uOm P'b=I@F.?:O/Ҿp; 0(Ϣ ?HJJ z1 PABM,B`ZʝK#M4vbaLFQ4^9 VC4ݶfFXᮐn<*b3ZsVeS;XeȺ郟/S G0&.Ed,W$y4x;d $Kd*蟸iOv )Ēy lTPFNi~/sFnaŃ/ݠ~HtA*8ϳVy1YȽ-ՌՎ~c4@4vGG)ՠ0p>[s|݌jXG;,Jd;J޲}\_L3 Ȉ+8G,*g]Y|Eu.VV;kv#x.Di?S'AQV+*N#p '/6NZl; Շ 29nGΌEs_ lodn?-M@5U|;2¢UAil {ie9E"OR'_~FQ ϵ3^dR&UoME)*Lk+2[lm> t4yAڏ'~ĝyvyro%&S%ı;BS= Jn3F'9; xI\Ԯf5ѶBQE/e[6G9 ^l!km}8Z-?2L_NcaB`! ^zUi1@ᬡИ.w,j, |QBݸwŽ{,|$ @e.Gf/'V ;hk(m[D4z<̉`i Ua3foIt;6*HٵMuu2r9JgBr))v֡W̞&s=W2Re 3fP، 1嵠+O =mD^%X 5 2>Pm`pӶs!n;+ fhŕr;Gy"6&Jz{O">5q++`2e=c#ND>(w{j%&\2R}HK-+5FT˚2.$/6-% $>] E>0~[/2Y6C)tO 98ZeY"ҧŚPL{4 Եo;TEȚ}?)}Q6zW f_jАtNg+L]Kw[){ 呣J'4=y Ħ?ZFoU;,6"x**8 #Wl}-# ^P[G|,iV)Ȏd,埦.v&~%1p{]Frnj hlp$ al)VG>$\EDrG{l5M  A֕c\+Hݯe7@ͅXb^6sQYŽ⻡%'~"L HH 'k_ҳ 3a?†L*bv13?FF Suʓpюkz@PIRd䢥VBḺщ K`Ӷ2L4LhgS/Seu?VW ㈟5q<ZSeK&fޱc"" Ń^P5bDLxmn L#eI@YxWn[o@jp _EKݤ NO#QJ5}3ӊǐ}>! & BRr"??CVJ9/M*]ysL/A~1PK/LO%HTlX9p{ &av7sm.ߜϗi>RGafF m%dk=O?6QuSaUmu$@&vɿqVE6yHxeԉ2QЯj =\I \=Hœz3 6B(sS8WSDR .\Mڲ ;^.!)Y:PsYs64ؘfʕY)o>e^lu[:|ԣIٞBxhjb8Nٷ".o|X^GN|Lqcl3bq4)EH7 5CV"k#,,S@E8%`@|FF[-ņ>w; |}{c+-=iPARmA@aI Πu^hS,P*H2TeР;㗲7I9pYIͦ< 9:cJ6^{I<%]QPoPy5ff?jY*S+ gR\xsLo Yz"tQN aV ";{\OHhh7)%p=v ƌЗkǦ|X݀ھm`.`{ b^#O6v%+pQ>TQ3_|y ]w)q5aJYPa|(m4̗iyه&(׻,Vþ|ҲG(%M7yҤsa#x03({n>lɑ#1nPLӒqv!N3ADLkx1kӠ>I+%[PNqHp o],y ~-]x3S58-'Wщb][\P.^H֦TLE.1p0H KDd&i=i+rzͷ-f!} 5kaC gG.'n3`w_G=&t![@[.Y33x4 5sS29`rzV7CaYho"zHh+[Y$Ab̂e="CRwo~;CCZj';3Y`vZ,  N*ﮒwZt"lC!53Bd{.]3GGPdGV{RB竏WGYlFD7Soh\Y PIHN&J}VsY܏hxz@rȣ23~3R{J[+!ӹ8rjuB02KNB.վTv wH?7gv { 4WFhKReu|NQ_` nV4[uَOGbkh%N8})ݔֳxW$3J \,?&|=F!:џN~bATTw Pv0(R@geR5+}\B rk[yi(/4è6aۚEj߀߳YC~yj7?8#;ER"@d=+茷7#=:ǎ-|;SetXKؤuh h}|u3$߾r1c喢;tM?r\[ BZ= ^/C?XoF+Ԍ&{WxdZ{Y)ޜ1GT,'\>PR667C C􉯞W~fx &HS9L+i=!:| }dH?nF/"]I^35),nL~U8 gK-չ^rpױ5v+_ޕJ1բ>ד`* U1Qc1\eӉmsٯGBБmRϤwB O bQ㰉x̒R#y9,+~N7DuWo=@a J}xo ď୛I8BDxѿ/Xupj54z"nVi h ܌D&o9;;˶[zW39xK/~/V{Lvh#2.TtFmMyBXXTu@BK z$1 2֋CC^WC S fz4M)deCciTZ9 ie_)N;ۭ9~JgbOF$9ؔ cPP_skHRWϺJN2/4& MӦ:;0OOr=C _3BuԼ\Cadq^%tς Mb#Yf(7Pְn^X3_&5=6La3eBfeЛ;~MIuf l+S}.'gG7+)Ei֡a΂ciN1ߗ/䯅=OfC֡vp6ā525dgPYc'E˟X 9n 3n#T^:ɕ7$ٰA H#&ޛZ[P7O-FrkR@68rwMalKE CL`4[Ltټk;啡K֤Yg]ۙ`i |nz *X巜(-F^oZ69@e5bJ) aϏmi BȍHc.=^w>*#uT tvJ'ȢoS2J0`خHU6D4,uaM r%U5~,PQ#W=Yb77ݙc C\PMpȓ d]' &/hR#ƒĄ]1sH07pze-8pKCUN g"bjФ;,boË0*v*ܓ]w +< ٫%^I  )2M-jl%hIAI4I@qGA=hZlq֮HwT:w?jJR#AAU8unut&zi"&1a) I3\>@[dDmΞNCVDi{3'̂o^$ԉ7An}= [a $s,@J{Ą:7ç 'rPfJw2nI<::U'|ƁzYd~bQ:|3t6M\ry<"3-5${Qվ̜=]#jb'3Jne t~Bt*b]0bv@K}indǠX̐ IHg/-+0ۥmq ;|zG~17+LWӝTUw ]i{إV"q7٩p ^5>J:+~MA̿cZ I*f%ՇqMVAݼ;DՁBE-"=BЋaXh)KD 4%Kk6|,BOX@%(n`JNP9jԒ<(Ý_l gW*?:NK": OY(coCYxrNݤ cBqn956OM>կtϟ>JZ@2 fA2dg~u\\jVl|Y"JzW5?U NRG\̎GlY1l8ԵO?f_9g溃 R'*!i?S+ǾX+Cr7 ?%(CI"q-oiVcgȴ#1^ :ο/nS_ʶ?>κn8ψp%ԧƗ<2gWyyuyo;h5TCX!RmH}۠JÍA7v4L$ eOHT6l)eZ@ [<\,ghr$WC.kLRjX{;xX:Dnۤ 3^ 執z_ Vk24*רк`mnQr-Ok\jInJ\65#,lmlېA\LtLTzR)'e@+Oc``$n{[l|Sg+\Ȉ$7 e^!Y$DJo"Ekl?-2AG}$PWa:gZvA=\5l ex89+RR ??dV5*zH ,M¥g$EK]F%ڿPf DV(U$qdq AP"iRc:7ZN?+xJĦ+&OLsB<ɂ%0ku0\8;ABoLPSD0XowVNc.DJvH߬9ѻ#<~Y :\.]րeҤ9A9VHc{Q=rbwr t ^:.;pl@TgJH{ ޼+XΩ`ͭK1(k Ugyf]c{g^j4>L>>o6u7@Bkqzh"azYnOut>#~{"1k™"s$NWjgE IcX) 4䌼R>ɀnTiTDjߒ.swy {yV)+,'~N}jӝqLP[shU/垼.?UMf|vwe-nК7̪x: a(^\2N ,0Dƀ40WB)z:W-ux\lMţ_K =WٕixZK{`)->_y_#`ΐyGٹ/4xo%cW!O 5N6aJ ,ݵmcI@1<]-Ĉ ̑v<"`~9N^tڳl2& -)n:}k1,Ѡ~;+ jCG$.8SFhx<5ºP^B ĆgpgQ~Dv_+kGӧTQ}d?5W r=@RBis?/ rq2f&C(Bcȍ<'ruD-_zʾ0EsMiL͒{5s5sUO.Q#HL-3YX)?(Rl^6 ~6"I2L#EwZx:>i@V |Z`MVcg#i&XKOϺKZڔ\) I?惔M'?%!zIDGqhmEk澚0|<kj6WI[I.~^ pUVG`$Ha@,Jt \>[V6JD_6JuZ }5!֌ډe_+A x-2gE!U)cB3/fr]DιH:P"[Uw m`9rR!{y Zڧ`%kRM1[ZF35ȏ4b^V\sH#W+CIŴqt ?;8/Y BvS焢Ki׹p"A8.`/[yd6h3h\,S\kls=PzX]@e#T6`UƧBF']XUXX < o!m C; e=O=8=B6~ޑCW ͵fxYqSK{j]N SGWќ2,jsFB׿@FLI|)*cOi&oFb)g oinWp#*1R}<3AVGN~1|F]@ڷ,fopY_Ci-?Ѻ7:3jOzdAT+^#[ݘ 1,/WZgIeDuYA]'[,Ţ][0ki 9T,dCK=ޑ[{@Znzja> gWD7#'I8x2a)nkv-IQLw?:_8y\ @%1 A|`I5aYՌ@W6C{|([A}[2!\[(P|$DϩZPިXH&OPs8GQ 9)1 =#R(u$?6,#"O >ZnJ{~$B&wIam"g}C}&3hp-09ߏ3ѷ:QU){9Pu]<0Twىi=V|DR`2[O-+A|9 .9?e3GI^MhA,VSݟLR6ĎwC'H-1wD$O@R#|YH5hu1/'?FsM(0$Tf 1;˛N&BnZtW; xDm>(G1fBp !)_h^RCCJ`--YQ8]5>zYV80ңtK/xPy_/NBׂ5?j{ kB:ث'q].}ҽuމZ.}'?|(HZtZob㺕 W!G&f:GnaJbNuQj&#?NLSXJ MkJ2Bz_m"HƠnz)޾ #R \Z-/utns#>41^H6.lk +o0h0X"H,4tgLL̨RTd.) ,8Qm32hET[i<Ě[sE[`\8t^27\Z}aGPK<,q7KE*˙C30i|% aNZ._XՀ6q|kpm}_7Ai6B"t4 Fu/rv8SMfW;ƠWkvT!{ڄ1T?KV Wv!Qښ; ݞXQ.lE 8)P_˽rhH;T'*Lr\^B eФ. ysSqDeH\ SCVњf`? 5V(fsgxO][~M:Xwq1SESGZyR7*͇B=-d=(ţhѻz|Xbt79^'4EenɡD9r X mO6N4 ⊕h`eZֻ8T_0_ \7/!ɩs7-f+ϗY42*F&;fn |GtW NcV>v 5 d a>af$P[, dU \sđfOjIiX+ik+^곏:E4JSie3dO݆17 aG_^!֛M[J800T=' V2` nZC #N$/GzL[$[Vmrcːq~e6*A,ґmhΨuy}"?$'z>/y8|ȣ/Y?==&8WRnm y E߁c( b 2ջs @vmT)N y |= D!`Ъ!O)vsi`O[ܮeV[&,|e;C&/=ƅ)UiU2zK~'k=OGl!BiT m5ONY;ǦLAH拿Ijgxk7`[A V;6o`ih2<}WnJRg'tҿwkA@8yQ;zN7P({3yؓu_r{q睖Bˎxw+J2I^`Hcc0OuS+_a"|-5Wӟ ACq?}瀨D2Sٺ<jt6gzhBZ6(D&$Gۆ@#DZš CS˾2)}Fd@60$g6`S 3 g2䂙Sm$rY:TQ$3kEKJoKU _l,*\7´*k}`.}^=Y8C ~&;RHM?*wS Գ̽39MT&-ǃO}QDf ͒3,M.wnSo3nÿի Y=.14Sn}GQ2RBzVm+a0#)dm)_p)-aUy:Z\-eۊ/̌nze>. p!rX4C] IAsrbz$ M8`cIq M*B?4`zlTFE1 [7#آ.與,ٟhϼDN`-3/a4,_6m{X 3L~F4/0o@zxOM@s CJ;W}Ϳ*H'Ũ6}5ņA;Fy+3H8KGdCvd>՘E)#ǟP8#4^чo;o@`GtV&_DBˉ,^7L͐ۍE0[4)J²s2=)2})z+EdsbK}i8IJf3d"<>f93:?hOAn9M@FGU vx@ NϔVM_GӜqR*~ }~2N_]t5~V`W `. P+svEY1uuN50 ݟמ:-JqI0ⴤc!UPl*΄*zF9JQlUI;*2 RؖY>9740F#d-LXB_v-2F"?{#0l;hM[8?X}Ax]#lcNf1$<5OO&Hc {WF7;d/kc6Ч9^g9]|*4ȴA@*+! CfǡӹHqYXFGuڏ8OK#m?"h05j% >3AUVw{2|G+Hdmџn5sFa#l+ Y,- -A4d`O9Z|;sh+sUv2z. vXFfyPs)P;|8vM-x@@vN,} ZE)CXhBP;BB;SqױKoS☄C&inMt*yFJ۝ H &|eg"ו9^wP[V |lQciTw\r0[ǃ.{#G oˣ b"F^o1iv}(7N{Ehn{MaZY7E=b- THQ7 n]lo4xn#Ir+1~Us\_bKAn'S)Z{ ֚1"L usU)F[X),x Imyc*-߯W*M0o&=M0Gx|`p#vaN»qrMHנw7:ylJ"DQG"8Ĝ?{ړRM`JQaWt1eA%M>GWC#/Šd -%P5aa euz25B,4T0 ~ѽ!n4*mplA Bc۝̼ DKY!AQ'xf; /3+WgYZ08fc4ab30f82e74d4c89aa68b796f9fe04eea5624e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 3daa4f03cc1acfb874ab1dc215ff2d66792d9d43 3debd72ec52a15e1b02c7bd68edebaf73d60d1a23023a7253b639583dfa98b237b3d2b7bd8eeb275