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 E5 \d ]S Saturation_Framework:threads=4elapsed=21.189cpu=54.792gc=1.568factor=2.597zXZִF! |>]ŗXiɟDYK<;!lFb4fy<7vIPYMڜhד/wno<>ىY:A<2`%.' U[0eSTM2/So *1\~q~I9sGgxāhK)?XĿ¿ڮ̷{.̋a/Đ/Lostv\4^#0(b0Y]wZI˜+)i+uiv9EjJdqko7hxs$~po/I7Xg 8-(͑qC9QÎQk^ggΟCuEҼPYB.<.v韇EUfH}ʷ* /I^}N=|$~i!\@8z-t 96W`Ӵ6r{>|RXLS7{W2C- &v0`wtߠpDW}x*fi7_1%:0Hƣ{Yʋ1cf^ UHnK;nӵըJ6.P3~ᏓCS1^SHL Xn ;e |l7 n)Me-V#*Qp hveNt]cWUmթ 쩐;` W^E[dBKHIg;><r3@wnj8z/_U<W}-%]_r?qxܶ9W rufGcUEIwr94 Ү`[녈>Adzx˭z:Hg\&Єۖ!g}g+ԫSF?R2k72kdߧ͔~?U#a?i8.*M( Fe%7oC +t.y)W= dlvey0@%Iބgon#n܊]=[2;(i<\7q+ FBy1x?۹XDY>Ȁ-똼{>Tx-19IYb$ B\l0[`Rs ,=xT)|&|ͼ5WV@;E2۸0g)=/jfO:_S9 @?F.3\Kq :=3rKRK7B97ԴvHr꛹:ІKa vUb]MY9dV,3k5nmSO "xVjsBe\DD?S{wxY tX) 6wGAkۜ q4I2GD/?KN8?K͍xYE?fc> ,~~lZxTDs£Xyw' p.G0IzA(uHP9K h^v qDN}8hx:9NOÜ$ʱ#rYIi~{T%csHԬ(lmCH8U R3 {SOSCDɯQ~5bm_|gǣ 5 Saturation_Framework  mչ|y"7!.O5ҖI1nCnq]ZnlqiD沕 zs>O>EufNHPg3n)l'g-|9#c6M먉dA@g_ByFILO Nk=cş|GBcW6_qL)~@O. _mP`$POrCb.Ȑ+f9feFmd>1z>!nςgEyK.|w oHNskxr?5iKp &ټ>&L >l7H%kkqZhbdHgZ*D"S9) EN/an0i%a=V-Rו/.Ż1Q+=< UZ]^ hzFqNΞ:r*!<#KRe:5/0~TP}Ml}&",a`9{]4"&ݥ5{v< ݵlg%-YU6pOvr7 If:|/Wtp!bN0Ă mᦩr>(Lʼf٭ã@?;icTt]M /.Df Bq|PHj/MgybaW=#D'AgJ!ۨw& NPG`y!Ozuyߙ<^:TBl:os0!H"f#+0z<4+irlZ/ ߝH3&zU༌Me:+6n:m^O-(OAz=p/Fm&ha[ڰG\]); % E7$ğré=Ib߶ˎ3Hٖg7Ƶ:nշ'3=$yaRvݧrvEmq\[Khc?0N4E.ho/G}ntRtr{4ܸG+P0κ=J] I 7ӏzѼɜU.: {,c9NjWh0c E]k%`jwd%6٨/B!$ζ{I:?[-5'G߄9 xbWDF {jk0z Թ"RүO"ZHXm5N ߰kՔaْ'#Q|@`EӓZZ@80cp*;6E# 7E50'B"-TIgQW;xB#+n S( tɇ; V͸PEJ޸jS7)$ n|桾"nMcKfe@eykJ<6EVsǫO\ԼYx'W3|X/b癏 lnM5B?YscM_ꉂ7{0kB2/E32緟9,I>シ8[Klw&/op)#EqGi0;ԋ hcH+dfOdx* Rb9/i(M;0Y.E~OJlfeL$⪈1V៷ ܛkeAm L'oI܏*g.#~G.=`ۨ$lxicZy<]0#,% ?A _đ1m+M[bq<"ڕ1BWBSXn+T8ԛ)hHyCZ˴;gk݆a-`֒M@@ND*`wfut!MZA }e}~G,W=6Mew'%ZM&QMoXqb\\HrQΆPDIʜuIg<NQLW6|ێ\=m)"bZz6U֚[Þj"Q3^츉'G΃.wa^&+WF J3^%В`Yy4۹Ȃ')=3dhH)iTM]="V11W[˦b"d- (3&( 5TYv X/SH/zÎ7TGX+ڕBmFy+bK.k pCtvD~Uќ3Ӂ rTӱ6ρƛi)3ɠU_wht-1bjF%=iwjM^XAoҢ|ۢ[GF6C +B-e-ltoz.taV0rs Dek[nErr8Mj$BbsVs$Qu1bZ#Jpxh)eqmlG{T:pMQLD .d5A))Y 6"|m%BBuFc?0$ϳ[rRO]2aȹ[hmE2_SR"֊3 m`gCS@iz g٪"k /׸t&=#yСZg-#/ `rԴB^րxAлVz']r%p1wyK(ljN=` m&H 4S!opQ}qJ;Pۘg|J VeT#"ďWozhDfq`ݜ=l0VH5kDWxC81"? #Up. #:IM@#0= ); , qr8nh&+)U0O^Ry5r?L)jO*,#lRZh &Aj;7Y>paЯi"+Cs͛7>יWLjA]ȪܺU (WL[#Cp1b3SyT5[ths(HX|'uiނ^bD0Rx{v i[8&~C:z%Z:^o&R9 MUEQ0T䴭 S9#2Ʉ9^}Nh*/9B ܙػ%BzyjAD_<3m AnloG-BoгrhzFnnD 6Yq-dFzq Y?OJД}65ǥeqq_BĎ9b%'H۝um1*i(4X, JJ^Gׁ2hVC 8V<:.r>Z 6?CX1u< ]/H)G焦 if1Y'!)m$vC\Q4dQ Ix\ˣ_g$oϸ[& WվlV (͜(xlq9V'AǚsVٰϓsCмO8 ֔ċi<4N[h]fZ׽ kY㣥 49PicAQuA&n0#KCǨYl_#-A O8nA6rHOm\4q+NpݔgAI|jd?#%$+B[tTܴs_Nv]7ڹ'.ᇀ,,p@?cx]Cuy3z8KobTddIGAn*QOκ~jO+JQw.PDA^MQ/{7CYևl֕d_'-P5lD^0(F=9 m4v_P.ܚ ޮ?16فp_#;Wǣ}j'a8u" a-m[<`^wx0}C%Ysl+"rHІ`G``UL\js=f7"m` H{#slO@=+˜L 6wEBf;w J 9eK,VJ#݂a"Zatj:_)[v) p vтUN(xDža_.dˁ@+hoѿƐԹ^;%44>mR@IZuLOUpTDS0%iP.BɿnE8Z*NL_! fFSZ$ !F%I?5p佘`T& EIj~<5}oO+G ,p0O},,k: 3_9U∁io9Ia׮B+UzJ?.$Xfc;=Yj ׯo j6=lH[]  ac\ 4tin*euTT wCP:ҭ f<l}$]ĉ,P֖hdvRp4~/8FHz(}7ī-NT"?V Rƛ> v8?A?X`l<7`ftKYt1;Q\C~r.'cQI] Ks\-~]jI풋G}bN>Λyn &u R3sǁA|4݆t3V'oA1)$OY9!y<[d ғ]X9e/WnÍQAA[&ZFa8&j,/"8SZn1Syɫsq{7fMK1hqwK_?]/ aiֈNRDro I."*&<3J;k1n3KS4 .o~Mڇ"NYU>0<*VMn;urf2]rt<2ȜߧVҕZOŃcHMA- g>g+yvR1[_vzX`T%=6/ ZɦC{w}&s^]™b63'1en[Kqfb> @K4Q [w E "GUUl*ؤ{gk`|sYb/f L*(cN"(xﮃDsCٱ[nRVE0i҃]M]JAXvJ/MAѯ 7E!b1fʂ.bFo1JzHx-W ''`.PG}<˘էi->MR ׮*d=)WעG,A-E]fתjXYk:S<+vH DO:!k 7Sj~HKwv[o{B2ҬcNmẇ)@?E4=b]NST-kWfŪq aW`Ҁ/tC9 i7kAŜ>4Qh[B"6rc8%GK,0ď\eDwPU\nR+5voQ63mEnP\tgFd`(obۧNp_/d{x˅±SFELwOmʚ0(s2 ^(5Vn'hSJT_/%'HZl͗L  9D|6k;("JfAgrW~zWЊ"@ HLo ҊY׭/=a ~&/e13S w}Wfh5!m $MzFWj_H0@*)`llaUwf3Qg<+66%D}vSePjuVP-{-Ss۽/ f;J`u =Eksf8zT*4Q*Az<#=lFhR2bULZIra1Pj%Ի>ANؤJҪbK 09zcYsE"Z-%w&`]pB4z7ԠPSk;^34T45;O3R\T=v|J=+)L,]G:rs*L e},i4Ib3IQ#v;~g3Y+L\oBߔ`Dls\r qEʇ%LA)ϦԠ.+Ba:V2xm"n<0dƮp26]OFʎ\SU{K |#5եgq4o9xNGtFT Zuo tE{RvsPjYBG𳐡H8ߡdp;}~>pۋmq"_UP W0dV^i]wTZe,|HCP)wraRJ+f {* BٷyzqTJ,i6ۤ{/ 0 dq+k:نFc4{xmSI:xHnmNJ;`x |i 政~aJ4c>̲-#JȀ\YRgTR)\Zg\k|QLue_ivxjZj;bw"ma蝬`q1P5K׶0or%`n&S!^7ز_@3QssG%@;q+1̅^AB7Sw#D^UHT"X[hovD^Rћt VߕHFEU5}iRVwxcSem5ABs[)({{"Jd:yJzof.x+NJTZRT&~zj"P6>ފۢ>f?!(*r暢-4: n#x?Aن-w_ꤾrf!ku( QELUcSQonUjcL>r,8*x4(U)^_?o֜N# nXVl}Wސ94S/ZW7$z oq tXg!og타CGFehgrhD1$k"uփiv(ѶݪLROPz//xX:#$O9eWPQD -ldgyeχ3ո[>JCt ^qvp~n%]3( K^#K*́fy&Eh΄ l&ce[vܼ/ХI\; 507 fiEAT~ !H8%AkavJs22WdR9&nfխk-;̖O$c¡h3KFnB :Go_j%AˇXXGn%V q@alHP{Gntw=fsKi5x=A-CKla碣eHHb ~談8g>zpm]1C6MFI}un@đH q٣^/$u,Ϣ'JL@T.WL'`@\gmYPW:W2]9tȽUږAM%XIa钀o!1tU%YvSQ{9;ǬU-) `'J&E5)cU"rO]i UX I@|@ `lA|Dki%205ng1>XeC ]^]7! ǗgZFoL+,ay1 >CKPG6$Ѱom]'L'pUQlj(ͣ)hkY4 R#ɛq$&D'0|Xjo J'./dz&(~Ľwޡn- uӱi@(hMw :#-Y' k-_ciVK1ۃ)DofbK h>RA ̈́/ -)\^C&z2}!%څn3SLG(3y 1FS֟K~Djv"~F)ӻDLse qTsb)I,N ĦH_ b8x VYO\HM'+ʭ"EL\+6p\6bxVK)胱C/>.|alkl%)No˙j6?mEXoAmCˢ 1 YÇe D@5/0_]9tH+T|Rܜg{VC/Q7^llv*q#Ru"TN|F_ oy9&dPn()`bu}.X^xs "#Jj: ,k(ݏ#;g &o-uIi oXG\-Ga,iksGr<QdJSUcjF ѽ{XNni4h<߁c\jt,M!y}m*#Dm!J9 F:zێEY!(Wr}?+D~D5bT赵89k<k.(Ñ4݃ @P>!+rXUC%rکT=ׅ xB`0%\0sZ Zh C2Y}H! MHlMK iZRԶϣ:`gqdX\Q{}h 9Dj7c_i_SUأ$4м0BwMNC{|S;:  Z:OZxH'Euݼ?87sg"@!GzK(n[0+`!*4W1ARpp Zu 9Z@-yM4M_7p4~$^ $Ƹ^%̄]ߨ_͏7jhj |?zc˅|y';ZTqU{M=*C }ݶT|>߁X3 8i N$Z9䐃M8cӶֵ1mȣ4@;menwP2i5W"(+Vn EoSz{$aY.Ktvr@ZLPzaf^,?t#I_+4i2 HҖu-{娯x q׏#ڱJN CqEED=b 8{fk)ߘh% .i8<{볢;uyuDr4؇HkiTN=df+Җ= 2I{ᘇ`#vfHm.gI>Pr^rn♘rSTN(d~Enyh$[uVJh2=zϮ(ű9J%)k :ÄTJv+#\Vh 3Iίl_Zݱ"[ꢯ}y&Uh524L#yW"%dd*2=]a{<bŜS8k2Hdy!^㰤 F'y)YOcְZO2j xI ҚGg__P3fa 6uz*->ʰ`z#P+`|tA]oVA_e%s[_Iy_裱ɶ=`S<5RI/ ҭ 8"HFfG ii G2A) 0^*swTėG7 ?cG3"&͜|Q~[$=pEUbP֥V evl̛M;h{Bɂ9SܤK{ד]2/ .8]fV{W1[dѮb9 $\M.0+͠BE, tsϴP[w{}(>v0 4Z 1ۼ`/~in ; iʿ8*on P> g~Pu}\ zId.@kԷT-t- eDᔥh^WbM8=eA͠F4*^3Magw`7eg*^L]=18L;OQ2P4|9k&ڇgu |/=Y~LYi|JDwZG)l!5@>$ @h!Ii/hƭA Ly7=RYt?sR T9%`UNN_t!IޘH^]+" lGFD~x2T[7%Ůfdl*ЧjϹJfOuS3Q5O{@ny'E?7 ,dԃwjfJQWjm>G?EW{_+6Mջfg҉OU$LYP&ݱŶfihQ˿-0ap5z患|꡴ЮQ/"bn2,MM.,v^ fSJa:sg(TnaA~wH:r[c*S!\0dݝ!rn>Wptoe%_'1+'*Aym&gbThG& = YX&_ؗz%|LRRFgwT$[Y¦ąT)aVEʳ_ϩV15>Ϡ7~-{?x0s"EfH9F5[b4oQˑESl e8e5B}Q@T}ZuR1d]4'lWAx-ʌ)|rb<٩Y?T[zR%8%7 R#Xd/,LKkyYդgs~蹅̡w'%devOO.NzxVǖv[{KRkH*?"$R܆k0rPؚ=R jJ<{ uwW;P%&͕ =fV<{RƼQGq~auHa2̹Q!QW?NXzZ0*uVAnI:0!qߙ`^%a<)Jr?W^>ebn[x9zϒN"]  3-R@Cބc 0J`6; sk T.0鍦oYK99$3e 4 5v;P|^8(i)'=q5Fׂ4+,S|=L뾲{GQx1} TVȉ+jBxRzfd}adz# DΚLo:+pE(_qHV,5>=km ?aG1荒c 1-uqxbb1rBxQ(%rdKHZB_/'O5N˿PΡ N\5뢚v޼0HDXGxˡ<1>ܘZ$(QG`;|dr-"&A㹻 }13U( ǀC%?R@LGQ sEjߊĠ"^V7He hccz\ ii]#D`Rh"*.-0 tGi-VQX@rB@.Ud٥M}dj1v{2C,blQ`jZ0(BHI$UQ{P%6aInp6n吞09T-r,aBb ]ۄN9? )7z0I腷z;$ߖ$Q_/!L5kJL;2✽][ _ӫ7̲GB,)Zw1*|vfz3{3$ 0O6b~ϹԡFc5lG@Bu5&dXCɔ%1R2WKFrOPˇpQ s "ԭɼ|͂23QP/@Yfr|$V@8$ 5n@T]`[}x5kW2Y0[Oh|&84]hn߆9 r8*#J1\_=zR5ZÔ玂RU z_MЌ#nG -\]HDEdJTyu2y&c]PK]lO <`a|pRrVVJf ]ķ\t $GFwESߑfiY'#SЬiP?W~2VnJ~/U=vu0&s50[FByŋXv,Uiy(7:[V|ex͇o{ [0$Pֵd11bغ酜&gx[`R>w{'g(e0\ [oٰ-z{$C[fna説%n?@ea!¼g폐}^GU[b:!Xc- b`nIO^> Yĭq5h+>#Q^J S!n kH}ZwZݮuMM|C.Yx޺3.㖷ZUN0-w-;gE׺;V+oFcrwXI"*֌'0G2|[KokmŰ~2 /r;{<(| _8Ů"Qcee :t~W3t6rwQGDκ|-3# &PNٲ-Z6 L8>_H4[gn#e1灠#kFKu6 f*\BU 3YT>)5l%R lMPRl:G"2tϟ1]tQKj pnAuPRz1zִ4v7*o6`_E:l~z%%솠jTN;pȯ` %o07zKJ䊤P* B\d0f5`}H>_pzJWnQoZCe >ݔp _#Ӱ pm̘jJ]ѯw3nANu) ~?p;e BmNd-V017@SC2|m4_~3ꤗK.' ivHJBy~bb|-U(QAqnYc T\| 6o~=fR2ثtۚͤ C[.0 Tv5<, W@aǛm(nܜW(^*Π4&pě,*%JwX u Z@pn̊ E % +_\Mux1)R k .OQYUڱTrc4n"WȽ}WXxYFhsB0]J!XSC WLv/r_1bktr@#bMzT -lUk.04U^sA #(_qupuTjMLl8C"C~>{]3-5ZHIāUtM@t\a>iegdT>R=p_AR?ߨc=YQ\va{]&Cט$8H?*os0M_Iڝm .~8u26TV9aɃloZN81Or@#aX˩𔷄׋YBIߊ:D 5p<Ӆ miؘ'-upDj0'1yi]d_ pIZ0T LL2EwGΝ6]G-bgFd.Z;ݎ*3biv4iLBj;dNU &'͗-Զz[y0.gd..nw?fQ9\y:3'rHe'ӔUVäU৿u1Bn_vgcu~InLuY`0+ʹ77I|EXZB!<~^dD-3nL*cu?nRvJ$V؏*NZYjbJ ,>P(IX;$Ue2Ǜkb,j.xHQl8{ :960_m' &4l#`@(`r X*tV}ɍi)L֭S)$\g?N׺UR#U,y6EJec= 1b\Ӷwj7}WeZފY,\p_σ7v}/b %%L 3cZMؑnu$;*w`GLNdAcl g }.pS4آ&  aS ? b\8~mn&xJ j9В`p7#y!?B))|Uc[ѻsƲ%iW,7"im֞0utT ? 3Aw~ye<7qб eA&ubĕ||ch&vʨQ,q8,Е20Z`&8uvޫ0mݹyldF+M1fzȓ3'_ӖA'dl"} Q8{Ttim@_pIG/i{^NJ};L6ŲbwV9 >,,!bB{y@$"Zag /^@|Nq_wF1J9Y`8x飒1@?(xϥ=MP.ױ;,QX~yj|?nAQ'"yohd& WLD}:;е%k{ UgFuF`'#K"oK؎@}d(ZRqHXZb \%`*râhÊ["kabBHQ|UΗ ) NWy9C$!aJshVWgIYǰ҇E&J:X@xZK27GM*Q qcmx6Z^v%eGcon~s+B:!_Tdݘt%Jga8QK5(<%@n09=P}_4i_kb?Rf; 0?2O@1laL|/tq"kHzTXkR\.d\mztNPbt&뷏pY E;/p%S.x=~صGrѿ@öjEfq@8[Ȱט4bD$_PZmOϤz?AĞ&!w~yh`F!d\WkqǨ<߆ ьN-.ْJy>xG1w0^m5x8\K5/1vrWQ%α2<}βAAitVN?.HW!k8 FdE.7\y\9B(TC:_Ǥˏ"JHWE8)fS`f>\̴ʇ{*a+)"ExS[;znUhJV/D$^лTq R&҇"=e̵Z\-H2s$5 a6w,lR? zs"o7Y$+4Jl.s:%KŢQ~ˍ(%6]>PJfa"AKqHtğˢU:AAn(r"s )ʟ1 ee$GLlt ,NԺn _2\{L3۝=Ld1m] uLOIt^鋅sr#k۳~ɽhz s =Njw~,.2܃䈍Ǘ܇5_ȶУ}{M5aJ&zƣ ~glo0YEwS(m_o1DojY%PvSɆ5Bp!RPځjXw`ųT0]h껩NM%\>Q(ИBfP2)ъe4})vKce̛ ѻ Kob)5Kԛ֫9uS#E˵ /[:voMrBֆ|6Y9;;RE>OHw+r_43Bşj<(!۫=~b EǵxijOoi1&7ɩRSHDRj>Ltܳ"堅 Y+~kr"l7dx.o¸9[3l* |,wZ6Q_f<[Z%$}XmKQ967_ Tz|ZDi@zh/swTE' v6*$Y/ =^5|,i*9(E^=Ny;gHL+XEj?}$ I}&qVWs@Ќm-{L`2/0pQңTv价޳Sv"0Q$~͒羡ǡ*.͙o.nw/E R lzݻż !ixv9y\}0op&˩XOzb%X1>ORtQsNqUQ/Dcr= 4ʞj[hl9M2j[0<)kjRh }"[&C$|,1_@gЬK7xV5ǚ ;>El (ބ_g; R+)۫Rk>z攝}6L eވ8hI8kVӁnD}u eLKtu~>ccEbfGNmd%)+!-^l IЛHn# ߃n GXv7-yݥ3si\(l(M"QN/יAFo|4.5Boi_ GZ  <[rtc*kLܡY=w)֘[L,bHuw> "b\\I3avDh699dekSVՙ[BՀv}G^BfC\oIV*LOX@YH(6& *u/*|Z4 "`wÈY.;"l.x!]/6Ȇ`WIUteaO֖ Ys4P' Yo}mŝ̘ 3c\}=}jy|«IÈS\1^Yz7'\pA\t٪+AX>􍣄8$$|`5wJ e6v1F f5:*ukg⛆:{"TT*qD\d?' *%Q? r,J~önp0\u~kDkf up\dn-`|&nKDR $Q!?:vT}U`2QP)PD,5EU7Lʺ:R+qykh,PzwCp BXӐ\Ukv36~SYRqn[$O]KpX&~駩(2HUAƯ+e葭uX03"ȓdc-@m Oƻ>!{s71-nUB9cAPڐpB:0p]2$ <@ EIF6.ΒJ;@7*Ε=Ú UBh(%̡3=x=| I0(?HQ2čyhG+a+c8[ ǦGx gI[RLN EiYe2$WXBͯN] MV;YU,)8Ӛ`n0YҗǑx%:|^"Q +|F_49 _=sC%;,vJAPnv*"F W3w!RMH}W>%)aK+J:ܦLfAp6"צ KenonN*ޢq7SM56Fa2aَF&%]d|,kY'nxmgL1ӲU4/yߡmd;NTexTҀ iԁ/릧<9tmSOq6âĮ#QGo\mݺ~Գc|Ӳ))]~d*8Wv2jqDGEh8#GP<,IĜ^WnE?&^[4ӑn-8O4zpF\[:EEڎxp6VFʓd:Gi=7k "xpս4'6 LTd(^PW4][u?쩴P}Hz8v/7!,_w *%px{qN Q7 WRC.X2bL F6|+̗qQW8QpMBNN>pѥ 5ݽRM?nu>%.dtjo*K+@#)N,& Sk؎D\E7ef j/쭉WʯI[#pOAJ9_yc\N2bR~kzZ'>Nit`QZ?E{KثxC,w2Y(a+͙v- 5sr@gq_/3S-^cb>'f/ @x[$K|KxZŇ5/(E20,A>PeN&#%STZY5FHiCS}gshug SK!jڧgh 4yE&&k^7"_aӰbl5%h]'kwزOeg^qQ. K' ,HGӢ&΅L3D뎫PKbn(k*P&<s]o@ I0鳈u]4Ӌp-GTx$Na+T;PײΥ*0 HAH }GB@*kujT_@˂۲(]FgWãCF?K3e-Xf p5r)t.Dy O ١Jj!3Ϳ鑕 GEQ cz:UD<ގýste*dr'k{3Lm"iI,w@khgb¼$.DWy!pm\(W¥PfD:`.l[:WX6s-(9TPZg)m:wqC$#3e\hFtU9~b] yDIeg+)W#_]"ֱ̛WvfPnr7N7`LmZޠYB`qcSZ?]%䒟@Uck {w>jݴkV=>(8_qC{8țY/5SR [nb0GFl/J761l3"Oj\J}ZD݃|%&TMW¬+ %Ta:nl)J@0vpqg|r]u2R#@[-XnB4f6@~ !8 I 5*6_҅FOiB1HmrhC9f||y;a!eܮB&:F†[Kٜ' gce01@Ry5dl~JXMd.17[ژOxgYZ7zXZִF! e]ŗXiɟ㶵fL4i=J|92ms;ә_t6,pmm*06i >D= Si5CUHc_sՏ*dI*-ȏEFkE&r=\_P! z*#l[NܱgYZ7zXZִF! ]ŗXi%L!l/ &uZ31& e ̌E`aXp(iM>ekjm7} Mk{k@OvD4MHE7uۍ:Joڔ {oW^aƪb) å 6{+*=sNǷVaކ5* wu܄DKWB5G7Pbp ۣĮ+?&sSOdYD$y6L2:uw{jlF3N_{:CXRрʅ$Xβ\Ef&=>^KFNjvjyӎަ ($Bp7y䖲a;,Jt ZPkIg@IʔkC ʛT'xGzQiLkD3 .(ogl6cphzw{EЫNX/>"{uD u -9j`0adJeW Q)BJA\b!1HSٯC}B @>'f>ݦ>&(-怆:oMۘdW.T=Ly%'y5^KN|Ay CC tI"sL$$(Vrp"bpniK=5퓏ήs"U#'Oݡ"MiRcau0n=]^;#q^ CI:.u&7!*?={ΘȫFU^3!EcPzW_6j&VN8HmZANѡ>([T2XYRIYQ O=b*ĹZ.EVx,p8u)t.r`[˟nW+dӣ6iPI ̙6b NDq~HckL' BWC$ITPۼm,6WѦ9W>_uRoFBDw[X$ym3ڣ&y訙BózX/*O;[M%1Qt0kSU*zz5 P9ɭM aRqqf>4wzM cח53auEn9(p0іhJdiENqo1T}RDZ9QDk2 1LKO}AHȣ5SO_X]x/$Rl}* Y`(z+kFk7㏎b!4+!}- E&Qwe9R 5Ѷ E0.5Ch =i *Dho>o:8SxL V$0( y}aXAo (58h9S_0I6JlßbQ藅[Hv|,OopS6p:zψˡ$OO[N’NŒIH+a~5^]dV1m+X!~'r.ftss!<9+Y{73~c\!?/TBlbsbXh9 $1S VAM% zt^ "d{ "o}_Km~5fWk 33b!mb҈O"le Ȣׂ*,URCs;>ft(w,>\pvOwdx@ R}oC%9&8+׃A5Y,5#R]$eܑmE5 'GO9Uwtm"+[ jBGHrU cB2VDփ[2 WCn=waU\k.Zh5͑ ~'`FHǜFo.+EETjz@\/xcI=rtt!I$:uP C=s㻚iDX[za!6gsTGٲnuξ_^-"A鎋Ꭿ{T(+edP}LLNb:a Fg|$;AyӱgYZc93f66f142755d6d07d5bf66ad42aab12d80b3e38215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d a139c44a91e6e93776b15d340f2f1d09b3385ee2