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  @ @# $ ]S]Collections:threads=4elapsed=265.603cpu=677.104gc=62.788factor=2.557zXZִF! _!]ŗXf[&rԿ˝5Aї w  @?=*veCtAIbdcDp`ps`DFԶ:Vv23X!kh|ߵaWWW.|Xh.l`j]A5L3'+ wVeW^/şg: f&;*M+R*!Fҋ'zbF]w # 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ޟ按$7#L&+ ֓US`CM,D!3'du`1L;/bM8] # ZJˋhZ'>{FucX ذ2?Sفd&O/\2?b#~qGJ @}3q;dH/eo+|rNe溜'u<}V]T[;wQڳ.Lc_,ZZH֘zˎLi ;X5aZȮC(I(+a2urLrI6SXq}TK gPJS0PAx6?U 2}|Kb7ѨqA6E->ѽ׺r YMQfT")Q㎢l ƭg1H4"* |1̤AL~kb:)AU\)N *N~_WW=p4B`zL:Ms5f<*e#u)gҺoºuF40&&tɎz1*c3:InNG*?XM LJׂ_]$sK _K;5>%C:̚-J~nCKfDrvWwdnx2?8 quc=1cBٸIei^N$x+(px%y% M]_hO7a A~.eɧ~4~ )/ݙ&MgKY=|I ЍG>ZiZfg=?qYWyn| L6| h23Cw[RK (uJ -©aƪkm~{o?W4L=",|⬽8xޟ>?LFm7m||\[+02вK8u*1`oXLƿM%Oc瞸/R_ HF{lv79@]i9cUE@ 29Y7盅1 4?:UD{,BSm:_ɏ]͇?\(+KW۬uq ,mU=A㉇/ʾ]+G*+^R0Q:w&-ٴ6X"ּ,$dCحEQhIu 9ըYp<\߾V:܎o)mxe$=d"AV;ѧǁX{t"nWAL} \5a< KɪF{T*I grJFz;Яϐ(фű==U,i~xțނ7:x _u7VI<ʥw% qNOY<Όx]ZY}cS_/-X$L(*2·QK#"z C\o*ybZe x}_[1#K$d5z(DJL%/GSĕ|ױ@oʎ P<27o!g<\p1"P$XKORws+J4n;w&1#wݱyZg@eO˂itmySel$zPMjN \tx/l| 68 ^KV:ͧfH'ʚUVD]OYӳDۗ>lsbY+\&s ˻srwQYnʹM)K7 'ow.E@bt`[r_k0}EhcprؠR.Herg@T"FkUU =O4uڰddC?l炅o<k{L$Pft*1a+t\CX'$IiC&Ԉ}^:Z ].^2t3TVKDe&Q0uo:O_8ܣD".*.ד߬;L(A{'9`i ^, *P3hԜ:or5}ZvOLh,Q--r袱$lj 6P )&$MTJSBs̥Z9g;*돫T!vRԹi3t1~7iD)e\ !o fSZ]kqp,)|WHw!FUE^bD˃'(j#<]Lf%ҬC[(x+jO98&sk(x %x"t!~Y D|ed!ZsN~CuqFk2OmU(YJ+\eHD8`ݸZ6M {e8R |&b{ qj;O(&=˽gN xSÖ:֚؝Jmx'/Ѡ-_nٕj[+hpw|[ ,u4G :NPY\Z`Mػ5ۼ:м̓a43`)H D#su?ט!DҼ BS:e_FhXljApr|P{3%.:ѽUo [fqO)tlPA)\/dz'ObV3bz^*̾kDRXQ_'8^P\ 3f6iٖD*R#K.,f@7 t+vuxICI7c,''XS^"p^Okn+Z#;qittBvޡ\#I'Pxe[i=_jZ\bsCzseЃ*G#X1YpPZFޢXb4-i䀠0v'_4tw+n`M_BVdr~!Nip3m?'93}3Jo%cUhBuZxfU)9ew35]e6 f?!4Ѕvi,yU<#. ,ƮA3NwjwI:2A<nA ?tp< vj/+B٭C5k (d7/ C[čxFtlXoN-N2'_c6+6(iɲO.?L21}?yk L6K0INWߍ^7e$n%Rk!1𙩯T\VLLB s1ꀷO F2[&ߌ O{FL$h!y@:[O5V`bs#Eg4t{gx:q%駼3CJuH gvhY!jSMO bud~57W.M X$bms?O ǫ̣fEQr>= sj"[ 4x,ua6}}?yci|gdd IZ̈́$كHcap$etx 'Jܲz+mpIT0Ҍy,yп)ZyG#q2$zNXf(&':jv~"0y,)-$5-fCk(Dw;|?'}MY,_RAw{RIiW AcIYHyv 2G_4?L v-pdl#O&a՞SS"Z%f`e*BrȐwx&*r~$ۄ<'d}qMM̿LK ZHgK.zyZF9O /G-=<c["?R(8|'ǿˌº.//`6H~}<'A0 N7jl*}5:AX4̵PêB[mU[ԞD%ţ# cHJ-P xB}r7 wVA4W0+\(X•& iI$HkuKbiP L׺#\ؘٱGp |Qzb3vʑ9 yLgyQ8O -&}ee_%hZSPnvɢBHCc!\uzga-- .ЃaeXq5$vo;I殉GM|Q>308{|OCO(9=[Di4U# n@w& #|= idt(HO@_D%FH{;ʕaɐ!@UHPj],_ G?^4ؾ lv0/YOWm %j[PNj@[g_}ӶIf x(Μ%VuO2 fĭ@]M`Z9IX@SPvi^c'UKOt%*iw&"ĹUPzrTL;vmd巣F'bݤ'ϥ {Gy\k׸;.M]z[[j#uFz 7}ȯTͲ#4zکIe(OiLL5Nzޅ_msͲP^mL(s#: 6~Q}E fGyl|}ĕrmLc)7yy8`SZ.ˇ4gF#u1kDDJ QZ?5Y4gz[Y맭 Xm~\~.̲PMtt0W#C+s r.KA#`XRvv*daC+ {zWrw(u۽K66438c@_ a1'21?>RNiPe`!]T95^\K먯Xߡ]8iI1٣Y *Ę_ &6L4}#:d4!whhR[CkwBvvl,cA;3D,%"sٝ™mf:Nv@[AF_,*7%hԨE t|$IHb1G(5fK4!́lk (amKDW/]P*?P.lÁl( Zjzr%j Wr▵7Ps1*9^F䂯`bkۈJHc$>*qRGk+igT>q0ʗ 2,#zQvGv!6jƠ)X̘mr& 1l{y%gp܈caASry;ˎNjϦLq*~̳a }-ꛢq+ Ͷz X;:ƳT_zҡI%OSr/s46Z&y^nsŇMJ4<էt)\23/:7 <a^''凃E;F^Lnc4,BFٟ";eM-L* Í0v*o YYOf^6YU07r"?o`ñA6p"UQճE Eɳד/Qbz ZAoL#́9ia%t'S wsGt o4XSOe6/`!K׃neM8:̧':Ǧm۩ZvO'`C|N&5ov}fci1$p|V|r ySlAY7(ޔ?*vLM+ HRK4p+PN;;lZV.%Qcyi3xIb)g~FɺҽP2%r&/W9 `2z1p6$1to@-ko=cKc1jCIhA׆ۧ7Y.ZLɯihq 0řJ}[=.|ns48=.Gh9/j !S ,$AZ&,K ٪9o_qU {ʺ_Us>%p<fP2wAM*o,F&~15LkL_iv`RgC.k 1: S^h,0\ރC rfk ʡ 78i،E_#/Hi2pBaZU;el\jIt3^nEĖG·ƽ6UTr9*!ok,T3(M^ r򱺍\M4j"">ν8!O s7\zUT#}(q$ۂW c(;-12x]Txj$ߒ׸/~JwyaqN*!i=K{Uw+Ӗh]VEA;d z ;Nc)6w @xR۹by\.h; Zk?^Zl0Cq=fQ}Ãk*펩8h?Iߒ414]^~@9VU0p=a|0^f@)<}6] Dm]4>pvfth+~0^|6NG7/+ Я-A^ ZrA+Oq gYZ7zXZִF! G ]ŗXi%L Iu.Wi-t %4o1)y)PW11O,@d>q̬-$0SWxJuR8p %&XY$&ۚ/ILĆ$GLd!~fo o9kdX^şEpF?+.2?ȋZM_)X63c/dN5@HT"[b)JiSPg OаbpqE֍6xǓN"_@ZWI6𠏅X$&a EJ`yWآF _j@aB['ҷq\_TUt4sd涒tAdQPM&m?M]FJMp!5ACOQBeC&wmn~c[dLqeƝ0;9Ǒ9+LŜU8t n3jݳjNmds~^,3_!clҮ~.fB C 7A4iW&Gcհ:wynfЌ=?`fDw~u 8[{,HH+hqH0dHڨϣ^L|H6)OiLjU) TK~I<_5#EuQ 7ᇤ;BK8^`ŭz?==뿗K gkAw\wA;35Ag /;.?k xtXtUPIM|]Q+aoZ8nc@wYN`nͪט]Jw#o**r\SWS\a0)C-8 !->TYWzCT// j:H>ũ$-;J24PQݓdJE;luL]7N$=`/mC|2f}Cg=(}½, [ OR?oOrEvшZk.CԜ|x~fgEeHN+vdi--ujv0y 5I:՚OcZ{@9.oo `*uj h<+<D.s%z##g\˜1!k9d6 xOC.i3sc+$W=Ka70~ukbm^W% !8b E+ ÿ @Լ[d4gM;hb+{ 9 :@K8 Is̤|QAzo +27OYgeTNbnKA(VǼM]/S rP(+ &o)[TP.eȭ*L0,P% CkMw̌@]hݬI@ p^)؊^a s[NW- [}![29:$s5_hi0#WtZFͲ},[7y욼$"6 >8?67_^>ђR9I^e.+"9 mURvf%"Ӕ}Z[ yYe3{cҮ+$"ӔQ$r1^$K]2IAW<)(of)vj?JU(IWliv%O%DLEM$;UyrޔUH$k7+=2?Wne==NY`W)m2I/ p&h_gV&1À!$]5 m!.azoXΕ8 Et;Ydk{VpV8GYc[Ɏ" 9F7ʋaj'^$Z m2Gip?e2yy5ޯ|CO6"z*OG2b+?p0/;LR=e\VӚgGq h;o&ȁo!vXDE&^BCgB,\3NcLJc瀿lLoӫ&"VųV)Q*{b,%|ugh?C-([9Shx%4#wT/gTT}\x+{,_ P*U(@IoS[Z|!ݝ3gk ڧZVDf#cedx1J3#r1dwYǮhvG[w86BO0Я# tTy %?p\!¬)"6uE+6 a:04 [4Z Wu/">z /@]JH?k ֠~Mr:"*EEny@B{S3?&[GJjvH6=Oϵ^c) ld\D$t:г+@J2*eS!2;Y+_!>M0 99u v.1\ւ1n$Ek2slx4K\Ǿ/ =Rqe-+r7}[,8$''&6S9,x]N 'ӂ/>$ҝA&9PAJPGBFoڎ5ݏө, +wk4{چhV\E*5{t{`ļ(  pNsaхZ<,?^MvWY~jRDtSK1X ?mu*1Xf}EoٱwZkFq}权$(Ge˞GpWni,;qN?4a5\;-ӅؤqHZ%QQIp p[ (m#ˍTL&,P4E<>E`$iݘ`߶!m ^L5ZT{qω6ׇ#3`x/F-nQת[dIMe'^407كM=EJJJ*.W5oKҵ.iC)zYv@Su"#K¶tJU|3=aPD='Djnֺ>iQ>dsƶoWJ6Au*cJP$hCTH/hɄ|d S WʇB{]'Atyƣos,;ܔVr%a^LUxE*Q3&YZ2DC8d w3;&@p-["vUzAr:j 9!êW7juG  }itbMt#S[0؜\aVNp`^gwFDT(o{PQy Pv{ 1}Ch.KhNQ'e'wHKQ~F'fe [5Tz2R1WpE%mx)Ġg"OR↢ੀBZX~o4Lo ŎLFr&yU)jUh%vy+'f߼qdOJD)_SQY#]"p_fVjX})>="޶Km%Lb6ZJ$fc%C_X)NjYvQUk^RAG6&+yr -.z_ZqWBQ&qaDӦ Zb>nQW&kPg <<X~Ã`g[-!e EN(HQvׄf-@5ӒufT 6r*,BHhdž\$pĆ̒x/\ ^lM%DTX'QɌRO @$S#}V>M}\G^WڨqZd,*ʩ8 尨".Z!Yz8͖XNRnw6RaD"|+ 4hl!P$Zĺn !0sbMdSKkJ͒! ws^J'~pZ%vjJs,mՃ}~VRrp[mL q2;nf:Ltp즮;0@4N^jD?BT;ǫp"nPT oٝy{)sz8)TQЯ ʄvI|skwl ExN799!ndRŁATI$k/cUIc ,L[iV7v?O:s?ekDh0jH̆e]ƴ]D/ۈ[QJ೩/s7cHv}ly,؍fƦ* :%_CCQ8pkb"5Ȣgj tW>5uhk՛(9~urjdvהoo٦AGN$nc5EO~olt>@]E%ZғeVPWRfZБUx츎10ՕH~pw%aPhu%tapI<9E8Ná\\ߪ:=br^MVh! JE &Mj@;k(dv_9-OA}>U<)RkF&rGtk P4L^gNVl=N^{OI{tR_zSUU,沬1w~NKZ֎rnpy |)44 ."_O'(S* lIȤkOlǮ9sUo#a0B n42o|\+<;Whϖ+joYA m$[?5,Q=Y,djtLǫu& Pda>CS_̡3I8!D|#KL&3hлԲ `HגPKOHfAƝ@.ƱX@룸˟dz4L@T,!5T5x`h%'b~eUN*jg8*s?/#y9 tK, .'?GM>n[ޗ Q7{IZw37)9dh}fo;u5'JmKƊB3[EF2(`Me{[Ur3x'w'@H9ؽC5iuO4wP|ŸQ]XVZJwuCD"96O>h|KuaGtkǪ2GO8!"}qtZ>lzܑtq`y>}xsO:, htc p%%d3&#DKpE僩 b)vS~|qq$VTYuXEj̋L~3V1xXbd^&H^<,]QT2& eUʲ.v{m;Wf'GlA@a.;g\4y*G j-$=4,Hƭ#e<2#WX~o,(tpy7"!:pa$E3J#Ad*Co`՟wW,ugaZ`4 baC-맊:x3m*{*.{ym] "?>栙^pT#MJ3럙>Qp%'{ȩ֘~ ;<0rE31Ýe.ȞWܶs$?~S_,E Uy"]JxZGory׋׮a_Q eifRfRА|fawDQ-8᝴Sop :[Lӆydn}c-* 9Y_4i~,r/0OFtj7C[s~VAFbςs/&N7^yfB1=m0 hRkXXp9d&|$5́l8Z擜"P4[sFSX,[ ѩ#  ed(GRFӳgY] v+|>- ha pDb)K^enj+Rw,I$kFhZȹ!.ZW=Eew`B; nwd,̲v܂MxFO4ʤnY K{+)3֛w`~?1^{zN)gɃ .~;һ\^M]LR:ET} nay^lHɝ 7{S-!otvhK:{>S([+pu1d5k'R3J@ׄl<#KĕEjܟ6WХ>ҷBN-f6j[$cC:]n1랛&VJ.Yux:s\QV޿ x,uiY#"A6쭠= f@5Lbq"rWGG;Xmb}W픮RQ7ju-L R92Ԃ\*yោo #yS eO7/K9 5;J~Ufwd#:0э>XJ"(mL_D` uA#aϣ>.LC *c$2UeB8j镡U{3r>=g?|Fp۬dy'>nӎz;56jiiâz)~Q#D(}th*xy!Ҩm[ka;A 7zGᇸ_tM.rrHQg=Kg+ ϙ 0·=\qa مG Pw*~:)>8736o&{Zv[ٗ\K,^ = EJzևT.I$% MaGӵ/ _ܜ\lEaʢyN@&k31QVX·TiKA l9wh5TyOyxo=FVM S`'KڮTm0 61t8@~zdK]+`=oi*7lbڿ[v T|8&Ǩ-ayEՒUz4q1\di@Uq(5"JnF?+ %&\)أ0 Mc:֤(a~d3a"Z9~Rj.b⩲,즆rL<I<2=R S6]_&4].6]͸ZC 0;am0IKuN HAlVJ+C w:jW.B-p)Mg5 fǾ=]&Y\+Y*4-["d^)XR as 卄n llґ](xYx)@G6.ɜjZ[EJDlOT>&+zv3ņF@#HFc89Ibs5<;d\fpݫ(j+ew[r4}rl5[m!\G|Jrk7u/O:.Qҷ椉Fv"LR%32:NjPOE"#TH Nk~ ' &%_&fJj|F+P7~(DgP)4Zӈ=0ҹpQ:dª%gb i@!Z_hN"$kQꖴ#r~]iK D\lx>귎EhWdw tHؑ⍣.q_.;CJ&ݹ6G>+}<V:НNDRrh<*;e)"iL( P*`aO 䟇0g.XxnZca3{s=^렂fJ(7x?>a7%^tEs@sHƬ;$f^?yRۨWL\ -rG*GXA\ i nT I:xMbCx`_ٽ%*"4KjVvHIoP8~ϔ"Ƭ6U>>%rD7`FF$>/{ɼ5l)4%_lL ڡJʽX(_/ nÆjoAW~aYp82pI؛!n pd0-)qIqG#":dD/(^. fVLJ[9R'>Gg,FҒb ky|r؞Z!+Ggf Q} οxr%79 fM/,/O}kn@զ+1ZaC+cgxnsz:XN`* g|SZ2Q哋sYP͗/;e#GV@@w&$M/s2+-ɼȑZ0hV<@ERq粅 Q5IhDs_'rJ謈th|Dۊi؉G݇i5[t ᔯ=`h510ԭvvkUe` }&(> F\{EL9GziuO715zeltws-ϊg=`Dg *yJTi@8-${ZױPX!Cx5w6FǦE $g5D!DNP4ENJ ӚqB/dK#7.}t6$vLfrSؐ9mQ3 R<Ը Q"MܬYj)@]N-ї-Bs$%GBI|$\krNJ~kׄV 1?`hǀHzE`jRV|pw=y^‚qU(n|yTCF isခ#Xl ƫIc[t:4l)X ٛDЪh˒!+7qQ2DtR{1zw~Olֱ~2bNjtETS?%\a11hwXV 4~Wa "{N:ftnS^ sfxi9BH"Ǚks0t s}66,(]g'Nr&p L(qbb !JL-Y "/"_YJRq p#G}zRyF4T1q׹ʎ%k ł 5y%92g8Q\숂YPEy>j.n'y^HY\ nԜ?pM*;ɟKװ͵ezm uYC]^ AZ@h5!B'3E}kdzlWH^XQs0mix͝<>- SV!p*8 L{ /o2i\Gvy ZZTWa h iq(U WT:O5-7x'Z"Vr%o^ͪ@=mqԜqͬ.:(bAl#j몺[ju=F(Bډu(r|XH?(_S- "S[ V"!̈́i,yEFs`(g}Gi/4"UwT7a uD]Jo1"+ݘhjj$K~sMJ 3k[%N͑ Y~ Vtr9KZ r{tzR>/|~WtTMY }gvAhD"\ dETc;b%CAt+HBxY6fѓvn6eꂌ:ZK!H:-"xa7֍oN# NQXbDT)dxh[+$۟dkt|ʗbhbpb3g!![F`KdOz=礏d-V{mbK13.?/6)ݷ ߬h  LX R3BXb@5Xך~a*َl[k&y㊀`wt9L>eoH>xˁQFoTI|@ZnPFpV5sqhѠNUK킸u(/'|`"2 A,Y=mmDZ.(mvec9ˆصw#׆IKfrre%:ӻd,wo(CÜFTH OL-R;DCN_aZ{Z۠9AdEZ$?aڱ;`H}wc|OI m:gu݉ΤHlUɉ79H,XZWB4܏#5Ls,ZfmqCՆ'Dl|c:{])*.$EDZ;2*l(J0Ŝ~n1EX'?P&Ii˺otn|Hrhp(!ڇ˝)YȩEv r'27gL-1N4ԉF̎M%Tt"X>]I=H0܇{*'DO# "Ø"}2J8m5xb;=IV#Vo_7,hTc;F^}BE v)a7LǺNDo)!qb/S6 2e""*ww*\ Hwi}yzҳ\R^Rq3nVBI*Iʼ%\z9R%ƊǺ+:apjKW88Pei,[Q4 m>P}*;˛u {8y!SQ- _9]1pڍi(5.04l&A-UOi%u-d3Oٳsx-I-Elr k`AW5, nV]IA[Zk@T_HcSHjQf5I[Q,@kTH2#- >5lpe/Ì*9.~EoHE Ęy? lW] Vi?y"h1_neC2j'%Dd {C@Ob?tG؝gYZ66e86f2594fcfb5f902aa8e43eb993b2dd43e3c4d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b7028f6ffae4e5784e187d6b8340e1d08bbd9896184f