SQLite format 3@  . BBh77otableisabelle_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 pph!<4T ]]]HOL-Proofs:threads=6elapsed=579.320cpu=1398.628gc=188.972factor=2.417zXZִF! %]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbX}i͛>o=g7 1(@hf*!vyCƕUmGYtli0,F@PP93OR/Jz<IUҁ[=GAsebr1X CSr(z8i}fq^h5cO #T^% ;ӡ/B!b⠲%iOFi??;*Ч}Jl9 2 E4{`ɭLϻ| ܿw"a0J ^jF ]E`51\zS=Ͻw*xv_ڽɩfdo':v%S:G߈sN5 ޷V%Bd}ΎaLrHLH%t:,)/,Tq SzyR0nwx&\_ O*k@J .W{>]jk v.fO$- g;59@ S>>>%{v Mߝu @<@]W3w{`nGD| ~b>H|x~K8q~~P[L(nv)&~r|_ik3C$D/dq-xg{1[3r-$&GMȃNLEi@\#!TܿzwH 6ʅvF$g $ZݓyAL'cE-)1Fx&& X40-+W;wRwv3{hPcl\5kyR^3E˗4=;~ܢRyU\/`rEj1 j\3µpOYܱY=3fYd$_쎯F (MBJTVZ,]9vtqN\ )`Q=B}&h]+3 k/ rb;&I侴w`//%41_8fUeڃ,HNd^>//KJxBw #[q02Xjw5!F`X]8G~L!mQKaN"eJH=!k4Nr55vcXKuGAg.@\$sMZc@"45ecnLcpfPd7+ ؚn `i ufrfv@MP S0oaǽ :g8^Vy$QJlPKzOL7m$0zebxO3}vmZgǢda!k+wNmf=lzxOWd/$aBB* m:{n z5;hoՠ(G9}B^͍Tb6pFU 6M+^,%DԂ 0X-1heN1"Zg,Ll85򸐆H|8o.Pw_Qs*7 ~Mc2lqbnO(8:y̜*W&^aq_HBS`VJNE٭Rtf#֛Ǟ \cT-N4/PB\}/0m 4 A/i, ੃&UXk*pl'3 waP7+~»@"`{/w *s%čD+ 6!Vzb_TٖI-,"es''8^kXKmI+)~ٴ7@RֺCwA 2vK! :{gtvSg6bܷV\ 3v .4YD\Ch$#7(١ASDQOE ip%{ד]fX%N=G#na%N1.䑅3]mڕ5u<" pnσ)\=ّܻB)O ,O1:g&z_m~aȐ٠#T^yOMϦ5a!ܤв0Tr&1Z\7^`0~lzuȉ ʬ!AKЫI.@o /Fa{kкO/kjx̵V36K=J`RNTpN[{/d3yHntcAL> b|߾4F9>D>c]O}Q. ?lZf'B"5` ZRD{XKJPȷm1 {|%7B'F׮?,A/[z  ! HOL-Proofsy՞KiXY{#1N6XѢE@`(NM~B2LsJjc)?NOx+VNP%@ruho^uw03GM^)*H ,?X'%a{RDv6U 7,? #mғf,qrKF" moi}PFah=ڼG,;TT|LxvЊ咟ui½JSEwAsr$v}U '(LV̈́)cK9̞ wOfNu_;_i!#tF^S s0GLC Rr!i7:joо8cu껅n%4D02?'cRDRj70 vI3@giVvXx,2"o %<!#>; &湦 0x`ZGց(Z5yϊ:fy,{OD}p1H9 *uٚ/"DB'Cx&4wXO]5f֣3\r ֋H.E%6/[ eS,͖O@ &F^4qkk7I(ur%{cM! Jiyq vo"@zlK A=(`Sr tg i,h$GڷQ\-?rqnJp>]IRMO<Y:M-!jV9"vpta\sG|#JJb4+ mLF/j`w)c!? gc/9^t jf0rf@|> !hut:yvlD=N3*K2fMaF`yS{}+- U 8"f0t_[q^ς<7%Jv|11](cz@y8O$C Tŀ[@fEa.yQeXzP_WHix}`vM#a}`Ok8Pl(s r*621nոk4Wi nZ\Ւ~3ܟpΚ+}tEͩv \DKD7piMdW+aˢXIW2wl*SLxS B_= CvG9:_fNU3#m|jFB:M8;=̴ x6 >U֯!le| Gƃ_IL\}gw3YV(Bq9*CP\Wp\l8 5Xm-3^o##mVSsbHBH<ʓ#p9 #x"* ^_o__@禌 hM Z/8\&O`i'+&^e[<*fmU'07&=5igZ ,22k0Cqilx7QTã:b=S1\4O{GF-pgz4Jy?uoPpQ;U:02ƣW,H'ݔ3F`d46w:l+trPazwGEs ؽ7ψY܉wk>mVg e @b 9ky-H`?'ZSK[]#d1:&78,L.t ,?(@&=975oRp/$SF;DHgٱe|n{ѫ^/|8EZ^,I\;b # Jeoy Cww.E16C5 lݻ9b |'t,RAs_|X.nhiro.engYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!B0tɯtc\QʚtޟHѿR nhwKi-" a^ \)໫gCXW4-#JuvOl2h^^֜-* a ިcϘW` Y )yZ"1WM*";\PsυUx]}g^5<*$?Zqz}18 :Jk!J۴3X4)Tv{qτB"ѝ6jݎ) MtHtE: e#e/ȿȾ{h2Kw}:"%K^͖ k<\ ]67Ny8:B \\$"1)=&BTWV!S#>绯\ c(F0WAEL-y[b`v>^3]ʢv9P:TθN~oD7{-#wڿ!?mR&r;6_j .FܱS~BhfQTOB`͞#/0\K"6k GI[so(OgS?Fv.CΉXڮ&J3skYT4RV@y]KX`./FKEdCr>VTB LpHwB z3Lb)7:W@8\xu"M'L.c3[`^\]˩Qι$i~mP=P?cL&L/LxնHo7'\sJܺUm/XġδQb Yǘ&%myR/ˊ]YN}hGZ [1N" y_TS/0`#8|dFM\);*+@Aw cuI/ 7=#2€#c/X=&`˞#f}T$v|F{ղhE_)ܤ$||Շta5$[M vc(ܙWV48ϞC>lq>F = %&odd'KN/&\nUo:!݇SZ1i<"Ѿ@#3^Dx&m̋aO7 C7#Jkuw4Szu PBrF{IsD3@eVIX^ TXL훪ʍ)So#']<~^:z2Oާ ]崈ɠK泃*Ѯa-fB[LyB_j+ťCFnnp1YǍ?/~.IƶtLH+:PEuj% hP-tQ.V.c$Wr "T9EYLK0_| ],Ѣ4my 42[㚎/ G5K{qu RB29 IF|j~<(U7/RJo*ml”>Fib33  a'&IKiUd\h>(KYҢ4%`o aA9vHe6s5uiP^V#S-\\H| b@gpjtGюa5MD Ӓa}0 ԥoN>[#}F  ?s$.YaS\7lY2Bۜ5{ +&%LS#c_ڸ4( ׮oY <>Ƣk  WU|d0pH?_?/*z9P}Bζ&Ӄֶ6lA}PGz⦔v۵ ^Vne#2  #[&:`!sUןu<p檢#_Kls=j9YdI u6{ r<JI@8z3 唽 }T,j$mNݹ;'ֆI68YnsgNP9)subցI"];Cå n-NK{ok}\tЩ y7 3[t{!>D SZVW^L- h.gpMթ~ H;봰9f=ET|pޣl#c"'Ay(Q*TE  zBFhznΆz]Õ#bwFxR].4({tX bԠFb$vhj6;u' .inxg8ŝkxAnDcmZhh*X0C'G$5,o>\̺|0iU2 }u al>B'|8b9twݕcqo]Р"a~~?Tqk hppD_x%qbvk$مn,i'O E8l>kw7'LW[G.BiFza(Bf(&0聬1흂 H)X{M.YhŽ" x`+salWsnTw*HOZm3wjbtnd4>^ƨi$@@/yp; * .{PLR~ᆕVz Peo%t*V\3sʘE+\F/t$YD#+ P`[-Jpws<W~zvHb)T>_/^HG}UKf?&@|D[~ȁih[x$ZQP3 xSJV`-&ӢB`}^f~/*\w:[t|I"* P#,;n]/o/T*]urV~((!ObdIsC#6 _--y%ۋe|@U6onteuݑd*7W%5u,jn]cOmܴI0QHUWٕ )<ADv l7xЂ{-Jӂ҃ {1t3[ioUK3'{b5'^W# /^\h%ʕҬq $&!#~7 E)ȔS*Q'jOkď!eԆPյHb[E'*OעnNdɍ޻Z RZMXPD8TчizVF )A[WlG$(8_py'FBC뫇@2bl&"8tHj! -#=9Uhpef\4BD "k^؍ݸ/I?2sx2s;e u{ʔoɔyxPIBΌՁgr<[uȗU[a0D-FrB|8GW8=XO؆帥(PZdN0?0~yfYg(@϶cjLKB ?_:p^uU3et o;GZL\LOabwO8vDpa:+Dh yJ!J}.3ڎ7no"qz]C!hh1|ndQ{&T"BD4fu[}73؂[iҘ{-yEۘ8&7m"^6q{] NA9CB=N6!qݣ-dܶ5RBjoh6cv!o$5>)'i>o2 |P3e^,0?;aL}IHv|Xrc$/t#0V4҇aG*R ?Ȁ K{an"j i!8ݓfx}Ίf_划E.`z {@hI{;FCө 4 ;qM + 6uO<ч0&|v- 81F;BhBt'H/!wEEDB`:HWYr&,]6t |n.xJƊ 1zEL$mtSOԏwc_s+'7e$O= ܄sK[RwL;;e3Hۨh00Q쭂4Uw%e$7/yO 5Py5ۨwJi' /Hp[Id`KGha_Cpn['LPT{]]MC'Գ@ueTs!ܴZ%6 ĊRwX$I^kWCyr=gq}u񙖟A!8pU{ń I+L]僈1|6_zZ3jzTs1$l}Kћe(+"pNK.G !N;wXәt+`kw͗$!9̿(`e01Gdb;I}L[j(2`! 5JYT*'&PZێ׫7܎,e]\6LU܇[#z02#ʞ'wܨ wuf# $}nMs 9NQ!x>Z`Gֱ䢦A~$S C%Ȗ+eBga dj͠+Uq"9Tuk*WGEDߕͳyH7|7:M/ȟ g"񉍧YS,S>n[%UW 짂FhbP6ꡂ٠U8Q18\S8RTGb+m6E+j{?p3BAbGs[0AҨY)Ed*ų{x2d@ Zqq}gBLU^%3+$!7fyPe˥<}< #Fag7ckp:8[nEHG\"jlm͇챟@{BYIn$̒sv:6X@$ S ;3kK} #TBs=0 ; T܋bg xc]dlM&'Y4q<|"ub:EuDZ K&,6e;[ E`di~s/*"5MQ<5t0'wGYnG=΍C j`tv q')FTD%|'=LshLf+iT9X4erz#NP\݋}jwLCĝG-.xj)7nɦBG Ŋ+p*wY)E*&.sC{Gc),D+D|ϡT ShJΉ.wvn^kp~8QݕElrUY8ޔ=~ wrn_vrJ}w@X϶|ʺXa=բ96J%k%puÌf$1a M9'֕^F HR1˃']ıH";`Jc0#̾aA~'Ϥ$꨸kB pOF:ʖѵ 8F0wdXA_Z(x jtu}0ӎ"dݳvdxg] S|Ȭ}[,}gw}V.||5M J˜[jn~(M I7Lhb1cqNC܉7Kfmj> Ӝ0_`/M6t'bjQ ˢS! vݐsO9w,W`n9T,e7f{= UI.=< O?'A_J^ɦ iEf/cE+:YV#XR84%>A6ai 2P,gZWrM ς\쁛~`q϶|m>+ni)>QJpI]!OPyRgrB&oҴ?iy,< +uc(GRޮ˘ͦL=gDFHscY絙3E[GFjNflܨBifa=xi4]u Osq`uo4aK4xXؿ__ yC72pIʷ.h(̻?G3ocef^r Ş^Ä Sdl+~Bq.YIe_ޮ&RxxDQʕhس}^ts&$W/\;q|)WisE6x /r%&2Qr>fHcQJJaD7tA]Vi8lXEf9sϡ_!-ڝ yS"BK+q}s#D! k9%7b 5{A_h~lghNJ: [Hi<@}2e6sm G ˑ}=(Hkx6qa(jMp75 Yh64L*tr)mM2 ŝD@={J6` 3H|.Ц_Y39E$&-!*tbuPH\ȪĿXu 2eSBޘ[,C|V 9P.\27Jh ,]s{rZf$V pt&F5m,E&Ј̠t`sr5QΌs|Jl~C]) uR5艨-6I,kԟЩcZt}Gz4f'Rp XQ#{GM@Df+y` Lk- gSbirNpHZց`Eh[ ]13t(#l.Ê3 bLS&Dڥ ߃iXwXdœ{d4 D/GRrnm߅G'o{z`h1EKrٱxB$?:Tą4q*N IfѮd<049,N_ɷyQT_}W  !yuIR;NfwS? -lc\;_NFȘuǝLߌ<.W=亂?xNy\J{_<#ua>G!ɡe#jh3’ZF끽?U; tBG#N|)5wN qbR8 2v$4t0M\Ey_Mpzg+&+~)g-{kw h^>%?7}G`R)2fnAEIg2SaGUvmt_B ֎.N?"ɋj;Z!!O.@:g-Mw&&Mcӣ&| j.ᓴͶiBXeBq6=J}\IC D4t <-"w*Ts mYcoZ(9>U,,*EG}?rD-dŋ ;E67[&8a~w$!0P{܈]F9N`S|{'+[;$U9jbܧ+/ED(Մ:#Y&wWf;y(: i`#[ZҢjC_c e8);*an7-4ĔoC+sW9O2tWb#j ^3su%R2*GDPag6Yէ1 ]I)֋d|/9`Co~PIgj@}!:Q@4KKIj`Oklx{cSYl/,=V-̴ZeQuwʶIv;zܳ-׉);!y`kb C/ i,.8'e= pU!a>A%z<$))\C A>h%)\m { ោaCRo{[o[prƅk!nHN<'nk>,4+#CR9 2LtZ\<,Eo3B*&A}"[Sj/Mr= T.?b/PdNc(=}Ux[Egu{*S3لN26Dqk7t-xIU"37J, FpTW㮾&IN(ũ{U&͵ʑ@F ÈIPOrm9qU}#뇁n/'?Ym NI*GDPiPJ P%' :A({z5[ o-Iyuzzh]T\@)f"TnJ.Np.A)YyK,= 1NQ6,a .}J=rDi˰`lgY(8f_ەɧХGOO8~GE-Fxqq0왲}7z=$o;/.zPp9n`;,0&^kק<+MKPEړQHνx`M738f:u U eo$m i2j*|Ki ^Tfp}TO_CBϥ!WZeԦ";C}lHEEpomn4誇wqk,OnӉ)/AOmKyn z|?SA}g4ښLO0Ц8_rՉHש͕ҠB6jIa_m[yXy,UOZ'NFKV3L;IPo&vyވA1g?\-P4ˆұH󽋠i)H/XRCzVO Va{쁚=5)%*$@\O_B` XeJ"@D޹f#.CMjDO*N6㿜0De.~odk´fl?a*4Ӄ@ɑ=DɭbO2g*:~)VArj"ձ @ocecH0XQ.}`:O IqE# ѯ4pD,b|*z'C#eȃ0%#5kF]Z."DlG:iWތP3T|M0V9}qd.Ue)kLWXGlluÏ'_;s 3 |ƌ_pG[}-1j -j@M{ʳ8>=ln9Pñ1z%:Uv-5)~I0=>(PÏ=iW'BTAJT=vf)bׇhOZ"sh/76&peV_3_x?_(B \J]G ѝ^O|u:-Sݞ=*mŌͷ+JCYE"l,q%@;6 E=4GrԞV~}qzH,ŞĝR*fd6vndž˹O@&PGэ4`W¿>)k8?3od}s6 |@>Ig]K^ʻ s&tQ+9lME4Z+!eF%>LY@j)[9׼bP?k6xyvvv;˷lT #PLvn|UMy@G-PT?=:p|<<Ζm}f˨W,;QO`L~-H-?` ~.>@-j$^ћ'(O @̐Fn>bm" d^9vÊ sLwlU['Qi]Ѵ̪R@+kI鼻x=$wu?F|b8 Jw  zdDFl_'z}INomhX  V]hLCFvːʕ<M(DO0p;Wۉ/8Nu wwBɾRAΖgK]y<]>U>pǹ +^L\g,D]N6 ڼÜ6mth>|3gJBK׳ZN*!۟o~vJ[n|.̓vDJX#*T7O.;WFߔV9٠yjsADt G4og|$¾;Zl<*>!Hݨ\D5zi֊ɓ2oZfĞ .h8**\{>ۨ ǭ{wDȒUoc΄Q0{ҎaEa(9)2kp؇ElXv W(,2+3G`}?u/G}Uθ+Swk1VP:j*q&@8\k[~@)[O5;!4C0<R܃Jfٜ =,UOB~ d):pv3}jnDaz4N9FlN_lblݻ|T;FHEb/\KdD?~3j9=m}xܞ)Z>̈dݪC<X+akm57z@fW՟8UqkEϸ9osLet| jmQP9TlӍeIÞ֢mu?d(Wt7# ͓k:n_g׋r`*tX'T IV8ǧ;ɾG$NV$oh9:tֱ}NXv4۞! Ĭ̓X n c=,#k:"VPt>&#@栨1[/gdIUE.v1+̽(¬yMTUVOr„jn tl:_A(bƻ45&W }FțmGT//n~zP/o'[U9k,DuoaLuwC{ v&mB 31C}Yo%Yͻ~6ax]2aA4z٪[D^maLE܊G$_jZwa` \2>I=$j7sH ;U,~V^1B±bIt@W_D5BʿPdv:rHIv_*Ҡ_dH͈g)U+42cQ2뢕dyT1VMGuN4 ӝY_qBX\SPt>"pIȆlVhqks`zLGoJ;F=n(v0 E npn*NtB[o}ۏY6ֻA[r2gɻ1B AaɌW!gTQ(B#ys1|sqDJ$t囕 ;m-v\$XN;(((W~&(ʖ'ʳG1N7p} 4 Pq؆|y+f[|{]GKh;pE L{H̘Z?FLZL~1k"l$4;&$$}.I}"#@a SF G繹&.{9xwGڮH9Ja4W~$,/Z~"o٣&e4m[6(A<|2FO0%vg;ks_\ xZ?72c HI6 ). w#,Wakދ&fa;F쟮4g_X$YΟNۣ5AI Q-{.A{]Z?=g(}ss$ry^}m׳Ɇwp՗In.\ߘ0R"A \4/>>[ݡE7tVXcu8`N`Nk_J`¢x}6I!3.TӍu'#wN%b`3.Ï$ tlТv?PZC?9%bwD)23i o­U(M. I.#K iVrm:^3<1wLa;p/JZ1L6[BUfJ]H¦vmS: U^?TK'##~1&)A_f8ϩ0/.ƿpz IVe IU$J}&07*~S vt;]7 yfb啁0hxzឦ뗹["vGȩ %of7U|n(}&RS'cBra:I:@]ZSP $9^][VfXl"z-VSZdNh"aFFb$`7#~){cn::D7=ҖMԚ*IҊ."K1KTx}PTRdٸl\TzR}*簴A%aKlϕn@?$ ŵ=S,(}\M!d6Pci5I~( h(L­Z|;1e.:Y 6Q^Kא P{hs>iO%pM^8#oQBtiVGc.?0&f#Pç452AR:"peL3ehY^W&R 3cjwE3ȗ>68 9)q,"dC'אO3030<`e""65紡j;vGm/٩T&Z7tUdJ@ryWDrs%z"J؝cz51;ud_\Q b>('K8y6P+|rkF _Φ uWaqE)8)iw|㐠7>,f/t/Liݬ^q. b9&p[T/@FSȝ 3z/ڕ*%堢g>n'6c\^3lai%QҨƪT_) rr[.!vYxKjb0ڳb',bIy]exZnvC;,97yȦ+ HB J=X[vkJ"bhffk@" f7#hwa& H[e}r~6NΥ" 9Yl2/@c_*~QHKVvWoNGS;\ymRK?dٷIJ5 {iVHr-StW*t%}s߽0ifT 2o+fE ?:s_kDqL_uڍzg/-ݼm>~ ,)@n.G.)hJʐm ^Ms0v5ZsE?9u77g]D+B~'m'"\|gq#-]A  7w8y-j?:d+ :_K-Dz?Y Mh )ۑ ,UZ?ԯ;eqY$P*e+*$TFJ(sYF7+w aV7 [dt^݉zx4^gQ6\`2[&erߧ=FnQ~FJ{7*1"18yTϼHILW2Phv.s7B>%+5'{찆gRkwrҌ9ZtJ Ù >Nʞ {g_03@9ONC v6Uԭ'>uˑ&Z3ef~u5TZʑ;"!zw[אC /6Jf5ѝSFk.e[+S3ҪCymG.Urd롭duZToUbص/VQXp"T`j{'fx Ĕ[eU0( :nt ɿ7 AC,D"v4zH/6nA^7#--C;(e+O8(z F@!n!kG2E#g<ȫ}v3JW2CNi1 GDL<EykoS>Sz# yK XPpO&eIÊ̚ EwOΒHRU!x&=3]x=_pfW:_w(>?䄓ϸYr D/x5ЏQD&!l!H9!@>:H-3SyN-CHt[vuu]q棓P а%ba#;_Fj)o#jr$rD䨀>:'`z~] c$Yb>^O DndNhӎ%L!^OO^SDbĹ ])pv7n 7 T'zr6iz \>w@ ̨V1J2 n0"whjl Ir*P"AD;:]-:i^AKCᨬQ *usQΞ/R&Pc)$n# :sW3ΤG2 AF3t- fjͻ"xk*ʵ'X^am8XfVX?$ş1U92 q1_ҝ!iҿHd!Ӏrp̭?爂U27S4[`M-\)G#D򧏩8(幷D|xuCǾ$e'.u=6ou<&r:Ҽ\j=buCӔi sckfW'F[MHrTf}=鬕^30rP^;&QAX~guiJk|^!W3@v؍z:`B'h*R֤ظ-_^,ft6-f4TqJsib)}O˨~ ߧCY1}I+wYq}DZ-%_Z/R4X9}WG~Ac1T'?\8&o5n6UΗ+As{<|%e'Y>nz"Fd3xu(hpyGm?1a5RO# ЪD/3,V)TdHRcNI&_ ǭF㯖i37OЮt`E;Uc!ePmB)rjXHVndp7씓.4YdXRݶ)BrÆdi4Ɖ#S+nf}];vz#텳gmT6* ]} =î3cS4gzF$SLi2tF8j,"e%;E 4#mڔah=E+rHHYr^HKX0 z J"pOR`pc7Zf0MnbҢQ4Z»UXԑ_rr4&4a%iwc1:pw`*T٭% ze;+R*q]26!;sZE$Gb"@[YCo $k>;gy,5tih6#@a|/<"eh":5<Oc:Y~ ċ?tc)sx."~ᘓ$Kl))$P\Nq[/+ B]5}?-w5J:;=F !)~i-CmٌF+9'y՚,-M=0k/yX% zfva~iQ+&oξmҮ\=?mwr |ṅ]iV,jjXivg"aL{PbV?'?b݋kW~ɿea6D335ht ) !SZi'(YCƲ7kGUӕTBaxRmM >en=P4eh/o#DOn`!ΦJ~_(GLKc Lt㣭j"aB:E'A)?Aɾ`K"U?~S@AC=fxuـ]Ēŕ5 w4>TK׳,ѳmܻνkOdkl݃am5\9nV {OMQLp5Qnmfg LZ .&x2 M8M lR(=1k6fozU;Jd2դ+ PqH3aƨ1e^h?1i]H< x+N<|~=leҪwJ_ni1OWfUh<rb$yL~L`c3FQm30݋׳d`5Tt ~x0SM6)`hJslwW9Iuf!4Gt /x42ԌUmVb(k1Xc eJRܡ;7E qחf}Lďdq(caiU`{UCAz |=gO7v2j=G~p++ 2r 4Ej]|=|}neRMNا?JI!bV"{B,UN[>1syw ۪iq;8Qn[>ǧَxyv4QɜBj'CYf^O.IKdے}z/t-ȽqJg==re~_vv|9w(m}UNf(%q1G(!+wPCJI)t86^T'S*>qFlm>VȈC\aFMZ(0elc.;0'81)l?|&KӈA;Uݧ]Қl<}.G>C ?Tބ;lB&[ l&av,=&61y$u3;7á&E{!IHѹԙYX|9'OK$]bSݻ6d#4~:pY:L|dȾi_~x1}4L=- T9r֙WoV~ BIu_PUpc.(؉ ~,ZmT1&9*!޻z#8YSRSoyO!z zLbw -ZZy|Z yٴ=1u[jΠWЎ>>|S)@ U~hD-^06C3h}ns˱(TEϓ~_9MBv%B?G;m15](io~컄S;^[!V5zפ>CYwZym$4ԼWk%B':gYZ4e643c820105429dd42f47ab3c322b40baca07718fad6a4949c9835d07cc1dcd7a18516b5d86c9a33568d18df68fb52eb773cd2ddf1cbabfb6c4139d