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 0%4D ]/]HOL-Analysis:threads=6elapsed=324.850cpu=1681.932gc=94.744factor=5.187zXZִF! R]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{V0dQ/!RA%q"˽֗i*.RVdkߖOr$CCb2,F^ˇBY&x\pqm:wD* ޱE*AE-޶$.+7^.XSԹgOMeZk4RQ3< =!~7ݘV!7-0?1NJ '8j 6s/KasrOOw.mq6ܱ6fKԔ>4-sA-r4& @&;r׉t3+5iGKv=?)MM5?Aq[7@;FɁgB!wj`ΐ?yGΕݑsx?`Nh< ļhl- W z3IO+șmbt3 ӹ0'U%, )CMJ4ߩ2"X i-W05pirWA>j?\2E (8M0Yw3-8y/c Fi@d]9zs>^Uca/WR KdixƓ/QsioBu s;=W+4%ki|pOcA겕^t| y>@B**KrZI,2w-e$nӐe$*_x5N퐸CWd0 .Iq"'RA6r_`砣Nlݴ3Jx8A/q[JhfHk)zd*=1,>}I9,5U<:O0fkx S_:ȧ9-5Q1~fo+p c1j_Or1֑ {e^տGɉY6Ocw9bANؓTAZ5ul-)gI;MP(X̲H>!$NShM$mop ً}1&{КaS8+)X~|Ũ ѵsc;@SL>O{s U;)i!"_9O?i?#WR";yŠW &-|}4O3zk$A5z CwKïj3ݴ%(q-Y- 1,57N5q ˏ,1P-*TW!;Œ5|2%5čH1'ȱ%Qe fL6X6 3s|KtUtDgQOsN1v:X-)xu/23xjIkB'FeVW:6[L ڣ|7E;=c-9 X/+wyy7~H N1!jETJ3&%hΈ˿^r qE8 fo hlQ"ʖaZ@%OF?ka!5e%3壑v0+=v mHE60he9O~0`]݌'4C^1.u$9YBu18'3\t,f;Li&9KvԵ[ -=#:Ì*s}X}Y'l8!+T}f 48J]kۘpkP{TWČLՖqU|ZkwBF])&5&*,G.q;2|2dl,H-(JLfƓ[7[ɿ>t:x TTƖ˶ 7@Mx~x)¢%`jH?`A`Xa A=X}-S>aZqAX,k ,jae;VVczdb˻7xvFN&a釯 JH6"''!ͬl,] fY*]Ql5cqO;(.ƶz'{_"sۺۑ2:Ռ/08PF+҇X_q|p::Nkg>kRVY9#0"8ܹVg?A6g@Okje"5-a!B/=6 @kQG%*"ڂs #,x5wUꛠڠ6s4~PfV֡:-m<X[ȋ`ϧm"=rs ,N@`(5Ӧ۱ ّ咴c3-_/9yBsږdOG#t8q㛉@TPDO-Z݀Y֊:a\-Ben~ggb|D$wk<~Q jkf\4 BMȝb%oIĕퟩE7VE棉A o$?2ּw % HOL-Analysis  !6P@v7f%W|%vA#?o/7-Nqޱ a^_؁*IdegKnGZ]FnEP+gx[a8 ')U gi'78/5e6JBZa41zi (V㙐ŷA;k(uQ lOq{td:0S㉅d*oQb}"J.Pc{IDirY7i*GGNJķ3ߩYnBJ24.&Y3vk9݊u:lWc5RB%?#h9'/ 1 ns}%^4o6 s<`5|pH/AP{[욆7O$Ⱥɟ!NJh&Q)w`ap/hR"!̵ьoM2?kX֫ԇd:=nո?!ԝ&]a[SK wQQ0L?AgsUdB$eثݖxA ũ_K;\PUuzSUDw 8ֶ [g(}SQJT:x"DGTl2j6Ǿ7,U_w^U&Et9U^ M7SQsܺV\ln)+MAgMժ"-< R r}ѳ"33,q-i&1 u9-ѨbFt@,`YdzSl4d$ m/:7@t[;LJ<+,3HUC}/hTׯUGPxA5&e^:%}BU۞0(xdUQ#L_ȅ<9 {"sQÿOMZ󻜽>ݙ˵c<r\Vs#ʉA4]+SON\)siBuLIJK{7z19 vwOOTl!׏$1)%Y \,b[jº2A+wma1vGDe6h#>dAV>o{ST <;]Ivg<Ljm_>Z Uᠱ2/C]W!V6>^;Q1e`B1&y Pf`a޽ɽ6f;JXC\D[gӾ_}ƛs_Jue [ ]V<8I"M2͛a.TthA)1B{6+&a:DDYqkdINap!}xU]@ *6ՎQn0ՖʐZӭ"F>v 䟄fa>( g9z4zY8wH 0~d !Ǻ1ϑ?(sy;%+)݅oٳB˯۽?d襛޼4 H0<\ަ?,D۾Z_T`e\`|+iSʙ \Igv2Yx ƶN΁G:F{Ν3ͧVb۬ W Ly{]įۡ,ҤIag1>4W'Xie cp~c=:a_ZnqNhhNiљJ` >1 T֯<*7FSuFW֢p>h918aaٲ49{'xKI tjؔ zG9JJ^T{o4ާCp^2Fwz\krxi?Y崺d$k $U9SZ#԰rjsZ\}[_([ Zdz( $!DUc*?/P::g`9@Kp`2GIJN,rwX cl.*N6́ H',r6=ng~\A _WT5ߪE@.E#75L0e<]qs1 '"SxaW9V`=!J (v,P.rV? 0f|xl @ǜUSK3[5*&TN%IK?uTcP7ؕ\DwqK9C?09Lf,3F=NpC%p U7+SOѬM8sM"b" v$8ìv҂YՋUo'hj;;<(|ttFS).O$u@nlwbIecƂ! yRJ'qdX!ϤWYg搇{y O}@3{/VLJRg#B|yyB:&ȌbԖۿ 92Md8Jzܗ#wBO(#ǟ9&-8+ Z悱- KOZ7?iB+53 9&.3ȗ/JE^US*=Sur *S b 33=Zit6;?PK&UOZH9R{-D3=H7tW{S4/ٞ'KT]z avxSUDpG4Ҏa`kfMl^ :LTL+gfOޑ YN|y䯬E5u&jcϽ@BZٕGj 4Um\];`;:ՅvBHoa/\kRMƪOZ_!F )W_R r0Nr쐸6N H G+/>$)4ɧ$ÖM3%}לϬtm+VM:q40k#2>)nFf:}vq8.v79I2<+ֺ7V'f&x ds\,7e?[,5Ǟ%7fĹy]R8zχcĴʞ+5Աۻt"gVz`*) !^G~Bԏ%qc +ef:ElAé1s \j:Fu 8O5B*'AM`"*O`SJt:>j8_e$'|6fnqf. "wa 2wSlXi;RV Љqf55h.\;24_S0[y3` e}.֊Ő_LvNshIeGyØq3leE%Tj霕9n7 [vFj],Ơ)XۿwB&^TD[3*~c$=>T5"RM⌲:$BBP5lw 1@:V92wA8_iADW$L% l0Cʈrغ:u&Kz Hץi@CDt7`=tpȵA&wc'H$21f-3.jz짎DeA~{n3>-*^IB6bGh.VuMp #n,MLYZ K.7O*'l7o9NPor`_zpo&k=zÕ/,a2j[YF3`3ϐI`z /NwފYl(߽4l(mY4&̀Urt%⫘ֽIwF VहYVb0{vhK>46K%"Q?"g? OsLpDpQi3՛ZF/moH[#t>Gz[UbX45VEDߋKBd8)1{9Jŏ ݷV FJ'gE\J1Drk$F ɫn7^oQD{t+DiVMSX2p($%)yjJR-gR/錝π(rZo<#q7LN,;Dږ#op7?Kj;a $l4Gc\V#_15MRwtd5OǾݕh<-cbxKP +3ȩKx:(T=6 “gt~O>Cp>b&ur !v39$XcCr ;Bu;JERЦLTXkGY[v;!b\XWT%Xk[4>I63]x8 gH*N&U[سliupK*jT13*8u3\Ez_݃ĕ2\3zJՍ()Cg ə\ZwhA 2z,!1P\>>FtpCQW6lӼ}Z~ugf.\ީ% vTƪ̍1EB֖0A Qe~h7PF'p)ܧEZG(*]CjF) 80 V;wBV"=};c7.DR}h<}?H{jG"EM6CshrQoB|Y3t^`! 1F;gsZ K'6yFL`b 5ց,HeH${rn9Avw< 4XffH!A:ܖ܁뚆=RJһz PfŕW#Dn~C##KdAJzy1FUD*! SjG#$wH&cy;. R2|B3*\< LGYIEB<[:KO~. aI,؍=`FՖleHK̴I[I/N:`8( C^`@fMSVXJOK_+R9» EA4QFd ¼,{$sU94~BF)ʌoy%9,YC3lXJ6̜MJem^Z3ddgGk\"_2HPjkLEjZ:ӛ` @~ K 5;7f_٩' Q+F̤W.%ǎOhYr%N[$4|cFر˵ey4-].^L7kqv}rt ϊ\mS'f o286->Ns 3VH@Prn`Y, fN=jke K`j %$ҭ,|?3[rLFAK~/N#b_jޠ D9 E$ vH!glL䆩Lh v%6Җ9\ttBbͰY&=9mJfWlBAqo¹`1B93SXAb%UѱytlcY2aB…[F6?LQZYǣ_[H$0$P[,< K݃tQZD21_LүۊFl@+h1VǘЕD4Kʩ㐅-("~Jw_ۇ1~/Aj4 :H2dWbK |XT)|1aK>u͎lra!K' D4hذeFQis%8,aA8'#1yBB.h A)>BӤ(pqRŠ_*zF2b͙j(iʁ.n?{ !8nj8 k=55x:Dnh77EO$/2&bOU+ aTbA<<ܦNzP[D[yv4QwA!m-ǁE>aGw5ƝMm_8YͣӔHτ>mVNLKpcwc>31T>Cvzl<5Ven=a{. " Q67HDrA9#y2PBWo$$ k( Z2CMg\@ !v2T+4 Gk_/Lyg"Ӡ꾫='J\z~(Etdǽ T:v=MZMU;㡈..#kaƽ.zB;[ܥtxӰ\kn;&,)\$uD R ; QcƼ%0,:k,6܉oF@) ߣ+e }|9NhϽZg}ln8+s@m8]Ŵ?"('kx ŞΜ c09oI+F%ڵfGEM&Ŗpo އhSq(.ܦvꦓ7-BӑEfBfҢP5 [肅 V"~[!h+ Wg cqSVNXs4xJ;ߣ`FyilhN^c0yf#}H`U|s%PxΙ{'KsRj-o.f(~jlQ_@佶ӈ?6p}GxaSv1I״g4+XD/!jcb>P|*6su8g:=Ag* Dau: 5ӱ{|{ܪn%qibVC3$D ACVQN Ap Sk[c${1ލ)o$dgd14CX r͹Ls;̳!׬Xț|,ꎶ8OM@|\As>g;}֐W9.%K4ʿ~RˡЊU^'f 9VqcXWe-ujXˏjQd<=vaޑ b҈Rؔ;nMh`BwIHiaxT{>xT8LmX^|C=&Lu@.Kx39Q<;ޏ_uZ }twa>N671يAn͹?>.*Hy:܎mԲEꥐMdq~dɏyy?1II$\ YDpz4Quy$Geieҋvlt brW޷Kas Rw0Ͻ !@ ^Veぶ,f1CYxp2Aw;g֓$ o;]F?#ht젉7ÛG\ U8MEKTLF/(۹l p 6O2Wb7kjiynQGw]:2Bj^vͯ6Pe`-OԵI; 3Ct(T@#Fqf)Yg:83*XH=H~8U]ۯ5I@sOۭҗ9TAV>Gshݺ;7U"!*"Øcy7~iEx,HSmlzTo^ kGN!kΚ `  DĞ5q8Yl`%Hb/EiIԍ'"`޶d9s_>L7םV ߍjw"dW9J]Is#QA[ܥXT2 _B3+,[E/>^WϨJ[b#r՗9ـ> iw\'3N+=z],hf=c-yYБGcڔTjT?SWTN4D u]Os2x=䛊`:Hylbs@%{f#@Ap %6r:N A1I ixVs.WHͤ޳ߐHMF;4a9>IIp^ңގwIH/uM;.ˮSUEip>jzo@bЎht*,W鉳v[1ڳ_3 Dɲ7;+04ZZ'6BU#I@I%2XԹ%eObJss ORz)w͠'hS =BVɑt߸^+YJ {U@%`6)\T4L}ߎ.'Q[/r-soQG s˄ $cp`kO-){*~ y!N7";7k-aWaXLs 'fZt@&֝(1ֽKJ I+D Z&d%eSHՔ#˯}.ߧғO@C8ܸ`+geOC!9UP)q\0yG0&u6b_#Q vF>7p+օsؼ3NbjS*כ&Fdqϓr*zTEs+a\,4yaBs.?e15ch0({R2Q|u% vA߶Z9ec[INoU-״#Yn+z(loe=%vfX}%VĝpZw2i:Um.1&{7TD+lxx@]vzje{/mU% 0P2)V2̍΍uNc`]!W8 C m Tl͚FzNnFRB2-8s[N,"zK -iAQ)jKȥb1ƄUF~)r ^?y-x|qQo'px#nT<31pwQY`ѽ_IѦѪXW l e3"XTXr_2hÿ"495}2^_ ԃ!o)2l#h⇾\ Tr?X8*Ij_3^o5>d+ 7 #+nA},l@e7GrmL]! ۂt,:mYU^X-1SJҥI旂PGЂQ77o|$1hٲόq˝s6;;TE'ذ+Hߐ>2*J/Mt 2^A.j{ѓ8dƠ!It*7<˺jZk5GT[d&'-T"xgwvb4e*ObmPKNd /)^,y'rAB"143M?A<խ.&/ @CjzB\-")\9 ;?.W)6~'C+BLg&+ӔX]^rB;Eg&I'y0.8sॱb/8>[LXHWI^x_+o~Y.sB|y2JyCXnʎp'RJiLL2<\4BpA _rpMkM=@h~#YP#-KXyߤ3Ib[7zdOatS Фd,!qܺ-oh#2p0!k va7*v ^MhbmSLWi 7+䦆~Y[;*aVrוJa*Ϻ#vjtdoY#Zi^8-?{Y_.áS,;yǨaTnDiT(Pbgn5qRM$} *<"NՇQsC(y]3FJ۰j&5cUw \o5װJb|G.QK"Jb@ֶT];Ҟ'ϸZtw+.Qw&Uŋ$__ 4J@dkVuڜ!}7IFVވSG/G"0T<{Kb:>'ܦVN%2\y Ur#A^@LMU=/nQj~JaZhU/O 7JCB EL"WSא!f}8B4 jzʂUWq%O)hs"EدʔpEl5;+mLόgM5׷[_Dr4/>%wS?RzMy,5!v/W=T.#X7FZ"l,\KMϲ.gM]\3/P|.QaL#- aߡ@D21m"&# "o#x${6YM6u,;κ|B- ;[H= cŗ>c>[9Mdd gd }6N.xCP>O`U]7y'4я8"84HT~ѷץgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4m|rihqAx擝 vPK)X~}^W/RK_&}:ۘ_lv$_EY$;V||eܵ=~GJ#xi ſ-˹f1:#߾B'yU"{qñAlNev=+xvJȶ6Iʙ8߉.GL:46Lw O$Pc3M>5Lso+TTOv^ã#@6)bK'Q/?.Jċ-ꯪs1uLvTg<5. txvD2j0?@~l眦8ت5TG"pɎ BaxvAIcMZgș*V+Y1XKP%o!j}-)u~wk܃#__EkGd&đ粒<Gۦo&6rk&= BZq_P *gYZ7zXZִF! o]ŗXi%J9ϲ_ e-R{OIjshɨork440hoK|9\``Չ|H#)!z=Ht8dg W*p짐N= >RFWnsܤPn_8>!#UaxG< i)wcT9$L)tN8;ıJHNsͮE__~_$NcH/t(w5ܺ) =ũ~_2 {G-FT֍`7Թ3V^«-EsiS N߹3/.xTPν|6!'@j.eY6(%"nB3, 8W쫘Eә֧ %3D tXV Fڍ6Zp>ĺ^zR!Xe&p2- i&❈澻vĶqxwsțX[-N'"CvEw)]:<=Q:}\5D/<.f?GcƧB{he~u1%:֮mO,wջz(kԱ _vC&B ؃$ִq}wzCcC|܄V XFwX"ƕK.ڗ ꘩mt TbkFXozm}sYR5{&(~`-+ñW zKVu[2؏sy5x~ `lN(fi-%UW&'!5!ޡoX3apCu}xZ8oj$g$n%/Lp #'<nvxч(AmGj rg|`^QWJZ^a % g]b䶩ՅgRZbp*LIhVOQȡ!{LⰢs-mФRjm # 9W |gAR8 օŸT͍uU`Z&!n|[G-';y9a*a=OB- 48[$ ZxDWFYsێGT}$WySG v(-uĤr1xčBuh2nk*U1MܜUƋŶUB}kpḥKZ6[NJ.HdTMr6;QH? h7.5Aa#op{F j]$D~(=ԄW2xٖV1~XU p q4R3aZB3JCغ;:Ircu^^Rr. l5B`XQiWן-a(Բ*ΧEOt#E\_$94 BOmev %9|4ϸ C`%^Z(=Ҟp4;M߻"]>j SjmawkUJ W#NJ-C%ٓJTaܯ =C02`{SYgv62Y}HPV yc[$J+$9S~W*X^,5B KbR K V.N2,:.˹2t;OR}`}l= 7 9.r]{dj_7pgY jڮ؀g6X\Q sCd\]pw'= FqC m(z}&tj;22W7G䤎}33޸ZWӂ*mv$uԥԳeip$hG(uf $OSaސCNU3\_2#ƫ lX]֋_]ic^܁)J;LC﬍7:A/=P{/-vWx{Oań_[vD"5I䵔jJbڦdTPəEZk6 | /QR7M )| bF]"遤-# bBso^ ByiejHia㨖A)/IoF+1ܖ?51XH*3 0|E3e[w$Rt)w3FrI}?΁ł8FU$e{oǨR8S$;̕ь?.ۮw rj5T8,2%1Y@ ^.?U)h2eip"9Ek`Ͱ-3p_qP!4gmM]s{0RC姴A͈ge]ޘnD%} 2&7 rc3eU`psB/,~7 CAi)+^jE=)>kh3mjtB#K-NS:և1 ?ڡL6 X7{mDQTd'PL;[ Rmk/O ` 3>NՕ{_u@\s$kyD\?WCE KP65zƨbB*T/L N dE&%+굇A+!㮿Q р#z8'eZKL#m>D#-RI鮘z0G@Ѣ[tЊrtBy[3v9)R_m$;S|@.^I@6!+T[S!'+eBҙAĀ4/^ezZXo َjr3^^3d+l$FZ vX#jeCo4?MebW(lM:`xLVVPgKBE톎ȼ7ʱU4nqhhǍܭ"~Mmt"#p"n7?+Ca[MߴvqY&&y[5daia=XIk8ms%foj*#U^\h)-G`o1d_XyHX%JWkGtUr)%^JMi/}*+Ůipq$tpж4#5lG94rJ4x #UU<|] vjN1ؼdž Y}AKv@Wm:`TF[8C2`Do:R8[$FUͬ=gVu{}1qڸk+-?-&N䏍S rINTU65<R*[S W04MȞB6:vm sr <਀TQuRl _/ `ഐ>#ob0YWgyPd"wQEդ;ϐ oh6D[\ q㈫v=x͊n@M5pf +hHYzٳ3GґoEʧr03̨Ģ肇kg=;xⒺSU>pmڳnNKl3ϟVIO3h ȅgV1Gg!Kf?וR kiy_`dyg/*[/%kbzɎ w ZJW ۽?y"<,IV[(,6 n%^D`uUD7rJ!/8j(2s!y )KvW.VM44:5<#.}2N\ 7#䋡&cDIBHOLΩ ȶȞThݛ?κWŧy}Ʌ,>W4jOq?VOhR4O]Ԅex#ڥ]65DD2W![Ff$(⊻?[<*Qe r+X }#cN`oP?}X3}CN+ Xfn1MP{mimcRGo4mс. ߋ(+3i paZ"SGoKZ!K?dn'*؛R'n!}_ 7D˜#j-(BӛvRBK>Ћ8a^izz}~lFރIY,97> @^jW kM V8V"..»Aw &&R;\M]b[qP:;v e0OV+O}>C{qD`/,w !K]uWw֦Oņr.;2 ǓU?D&OhJғtJ5v)jW+}ikn*p&Js\fS)g/<抈Cq ՗3CosU8{E25x**kֳki-ZD/XRcHH\%,dukXs|Gү309`{7$6i SS9L8KCK5U|W=:/}fetFRh^G$ؓAM$.o5kgՔ(8복CjϘ}qeyw0]߈ [Z42 ,"lVd*¹n-tGŽ-\N<᠙f,)Tt"g}sK ȀLVJN3SV,s _/kRv}yA5S'骸  C5:NDҫWk^.H'[5? 6 pwdr-׹+mC ,F&RM5h. ѫJӳ)OʺfE]<8L{SNy 2dG:haI7}5 qiEN嶱::`\;@Nv^s7%xkߠio3Oj(F\&&/KBԏ՘g>g,Vw1'eFYZ^~*o_c+*n*i\\Ox/>-B0"Y{0ܠL]0Z@[R'(B&|:`5:m/v?TdJ&AIuـL;r7=:z{%̄OfU55UMJFřⒷE I j*LEz2#u&f+f{nz0RVr:%q1PzI'忆k0ձ˾%9A晾b@^t^ " ra"ЊޮՍɿ q ܁@Փ P[y{.(qЎWH_8֏CFXfGHJOlB\?Xd#̽1FoJX^7CqU^$"&,.+֖ܭ==B4} * 5sF#2ӨںbUp=ň9=gHؗ0\CÑZc.K`a †!'rQ/y:p~r9,|;z\ժ\ai[247;e{l&SqZ^FJ(9T֝2m!"@rJ(Yζ8LI?<53I$!_bE2T=xOSu_[Dj(i7O(տwRp?4J[ jT%Qc涆|iMՁ1K^*byF%[*Bԙ5C }Ξw}65V1{N'>"W &|ELa[H^ )7 @*sRN ԅRvi 'y }I*+3q,M8J3{~Vp$b ^pO<M`Mi'y nD9WݰwZ覨);ubsb~ ݧ# S _mZzRXE_˫|X96>t,]ߐ]72x;'%+O{o$J G,i uxyNa= TU2ua9$ TH潅0{cA}c2nBpڋY]GDr@>"ʅi\gr%*dÛ/ h ?ȰBސ^-GI@.xo4DGe n"܁nm˝FRNuV0d1.(CHd:DEÚO:DS[]QZܗKK k$НTHOfX~~GE$B?HX+­^K=crSێO ?^w .iIN]^/ʁ nӻgYfNY :\Kg> 8 '`5%.HzHooka+:Ų܏A~D (E1q^H b(m6n)<:k^ut@b7Fŏ@X.Q#쮟~uxq>䙮 p 4=]u-%CpGo#ކYKpnH!U|$szl uT2]+ a#{2FL ˎTyn5iX*Rz~WhfKhv^`s E10KFёual=;BlV`Dzt qHZ|D] uev+8L彃=T ʭC٫_IqdO&9c`a?$ɻxqeHcr7;%Ǧ\QvZ QPlmU !j力EH֖30KJMصY/We]͠Ϗu 4^C7?76:`<8II>H[RITZp%|҉dAGk˜6_p:-!{V.d*VcJ5TT ٧e%&籒LvL";ǮX,L4+dG΅o,g}v+ h.ռ@%bFF <w>@gJ@9mRz/AM9fvv *Gh0̈́!謸U*7{%V eY\%\AihZN;í'u[]GDг>3ĵ5nr+P6PXОAA]z].ʼB^q 򁳠%+%MZ[@QDc5kgwTf(;Z+glsL7 J^TZui>|D]  H,c'm;'x򩯋^m"B[3AQ &IRuيx*oE+">'VP1h  gNH+(sX].{c[@g~Ҽ}_bʢҠ.@`n,T\bl7Eh]^SNzBwƴ6D<3o̔F ߇*,"*$lޗzo9pXP|J & ݟv_#v;a@ԣ*b·tLLiB.aehOhнKr,QddO@Z)0A+*DuԘ?/$ pKc]\~SBӾ(0lq̾k=;0Ҙ\jbYKӖ\E(?D +JtjF%S#18&)ƚQedN"l-9z`LT4ȭ8_QE+RwO?6yT/V`BL36_'mhǰ[Ry7= -'M{Iڽ~o/S0 o5{ d ݉S+BjXBv&Ua)h9-w2EF$T4e+kݟ jP\WF6܎M@MaGJ'A :{gk52Pߖ¤o!3'P8+N꒒E]5ݬ@M*cWFMט<7ybT@GEȩ@ 9*hqyZG_H& kU>l J "O0 &Xb(,d[aU,OVي K-4g2` 2>: < vipbe磏2& mHEYTc9G3(EeHd,Q?u:o)Akuy= ]".Ead‹xźEQ5$,! =Hf0s-R:?w \SlP1AaIÐkc:ЈiMK1 F.hٞ@:Dqk\(T;vrh~6Uk 劦얻ta(sX5ϺSX{gBgAoz C bWomY1"2r]XHye}`rXqB5s}WM|@ FCVB% #OUd&`1Z>$`! ! WF &~u?C|gZ0U gߺ _ IfYGvHqQ@6ӛ 57 kF/vc h۔EU"4K3=to>_r5p5]5@WHY tmdgԺ%=ikgS,=A>-x{=V 9%v1xhZd)Ndɨ d56M؟AL~yQ p!e\]TW7T[;wdއ+Յ.GCLKdDڕ*[U,G. :tpۍW{]N((=@QlQvvVX7YGL ԦjdS@4ˣz*.9vaщc5HMZךHApZ̶bnxԤ))k՛p}L4Վʄ\cD = ~ Kۨ9ŭYK`v pw[yS:ʹEG2+oҖ'tPL%+U5Ҿ'(d!IU5|p<. =$cXc‡#LŝNmr=4^IdI핫:(B v&9zɰV=qo&|7UWxj-ЬRGe:@-Zw`)P>N8"RK'f7c"& j\G*dņeacj sW4=Fɸ65aA?>! ~2o @¦i>%jygҼdDOZ1oY |{c`imu~gِNȞNYU)cb&R?.` 1K/ڕt؂S;8.&n`g??XS)qՓ56vWsb8 lƬOzNy.HEdu%퐀뛷9=c ˣm?Ґ?>nEp%5\~ f0&̻?RE R~pKAOnjr*ſlNjHwpq.MH6Fmѻű;ԅfZ&m kr{֤rS- z`r2ßy UHIW.fM9kEG.Ҙ E-W~sj9t\1VK^o';n |C;T%њ/yfH[̭Ny]RaKCWGo 8%6 D%9(<8 ӱ̜h<%- .( '<tFV20߭0=ZUZiE\^±P3O#τItQ [c2luX *ݎ[ IL)uv'ncIC Bŭ7-U* g?.i= Qhl\6PT?So (jzepeO,b]軾S E {& N{6Pc`ǰm8Ya2I5=eX2_#=p#0G}9P=Җv\| :O6?1Uês} Q2 ~d΋lv}P E]f\8spr@fXZw&E[d/ԃQm Q_6ҊzÆMa #ڨ&wʳ[8ΙB^u-tpr8=wVRIH!+HtRl8့ԙ㚅z=s8psUd*+Hb(\,$d(Œ' m_nt VdjӐ%aW$6iN[E|l xЍQ9\=AGt0XH~dDzȀ0vSa]zWD07Ώ| (eքTnAb]fNf /_Yl_'T3wrA=jx$`^FdիcW%Y$F6lW=Q 6YO <bj,q$!>c]!ŽXKSo .$\q9ŴX 8|cOFh$뙩ۉцs{dJPlRI/!=y,2^ r,7y$]N2AfI0SHLWa1䪁PWω9ڧ+M=ŴuP!W:c)_!$ҽN6e7XOT'Nt8K?`?"SԿQIGT9w\*@gEENDR5\[mVdϨ aJMf,ͪHuq)e!5;{ƀICE6*7_5!?|6 wEM?ȩ! TԋOt/lH%lEۄYᕛOOq"vsU:L_ CNQ{E;_j%EkX]JP<C n]',gcd\J/?琩 < 8A&Y#F=^xQ2F.2SOygkxTn8hǍƵ/QW̴"qFڜHn-ÛMwGApJu&sDvZ+xћ/dDcz_x.!;jwWfɻBtx@5 K|} 0'rXҪ.Sdy9|ͶR=fTuBe cbo1ՃvL[Uܕu# Ҷ񕃿$'@F4WR)^o^j%fZ=;}fvC8dt} ^ fdMN*Ȥ$:gipJ峘Y_'8Y,94VkF6z]F*\H,qq3vbvjC帼lLiYGm H wp$vǷZPWܣ\Dłce;?u$&ucA&ѤƫJ൩ІQ]Zu?۴>S8>etZ>$׿N~3 vχACC64M2aE~Ut)~FCW] 7DEG_"nrROTEc#֢Fv\ޑw\yB` w:؃eJc1}f|JOߐŌsV $?qij;)^jas 6j ~|9yYvaQn>N(҆Y?m7כOT"ti5%ynV˵:a3] DdAic^଻uL+:^LsB^ >ɽIHF"qZuI KF  bFK*d`U6ኹ7KO)M-`F܂FF6vط1Aci*_y}cT߬2nxr*ZZ{\y,eӋL 9pGߖ*g0r-fiC2,r?WM!\X[77ݴs5o#6>+w-;Q 7DͪrpQ$"!(UH0@0-72VҵPРiQ{G]׍4/۷ߖ,A^=/z7ʨ7.;01@MzЮQAKl"}1B;=ŒCHrZd! {K뢚5bp?N[4'g0 Ϝܷ:XbuM=SRejxb_KhムoxЫX7V>8#!uw'zpаm*Y3>o^E&r3g}ݥY 9؂[9ͦ2nfMu}fs)2f,{ 4޶(ˢɛO `Ÿ#pT 4. VVBF`.ҙaQ(EGM!m}N/wh}VVDxGv4MQ#ݰ?<ˢ'2ʏ038ݲ" ~0@*a84C  evch2/틭R(yQgxZX{5=VUŊ&(Ls$u>F4)Rm({'1f<՘+&VPiaچNN2!HE#+ KT();hq,I3T vɩ!@*gV@Jy~çO?xfQ6ӎj @3^Ŕܗ]ڼL=É %;zϸRhqb8h *Dv9؃dO"Gy*]=*>zɌ * aAh-U?ULl.k/ mv3mbDyǝszn '_&3昺}5V#/W7}f,Bi ۉ&'l\ўHaPkșFQ"@;k&H9{H89!>Dfm}S 3Рq&9jqt=PpUPzKzf+z:Pd#u!jfy`P Vcc!b&Z(#y$TmߢU ]%D2)itkuGY1TiDɝ"ǵ DMr^a\YjĈ3Zu[DvV'9O,RFgSuyBFEHE%CtFjd4fC"MU#D_5΂_jx42oSKef_9axlFmE^}gJɄg& D )_TȞ`a$t|~³v{5Zr20$ n'Q6*~R )?w.tpRx-A{z%4r'v YOܧC*$00)m$ tJք`'Cd=LN=(Z*nkC1J5!z5 0 w WLn_s"ѹV5 jIKgu*!G:cLլwJa-KA"VE ['9u5qvW%U ~Eo!A4a/NF qų?2K Lyw>RUWQ{`V>&+D\U3hkudS zkLW/մLXP` >.Wk((DŽ5vމASoQXƒ~R /GNCFDg nNzqQ@Y<[|f >M9ˏ tp>G_˱}$WP1 t-{ `1,.Vgw? |9Jw'maP6ȶJW̦)x Fv58klw{A81B_X?g9#$ ]_x ==C͐a!m* P"XP un (h)~WytvNᵃ*AERR]_"ܳM5Kv25xO2D,Rl3ѕj(; [@us`0DN12rFpf]xoJwA0Ϭ.$ o;{`\y='%ۑX!D/@̄p!>ؓq;"Qv, j%E=a%8 fL ʳuuM+ZК i 1@cS̕ 8lDB9EmJٯb,*~TBjrhs ("V놿c# Vj ?# Aс7#o[ |I8%< 5jL8xߠ%p|f4"BvSؾn%EKBsrV0bً6DҳRr lEbd`gH+LȾ$v礼g v[fGrf|31„7kw]+DqiOOtV#HxоYGP)%GLE[e\fԇ~v SDgb^)c@i Nx&A:g~՞}mI1VЉ🨴EcCԉzIlq,J!&X  B+Vy앇j'c] Y`X\ *20$|bIuY)3i"&\h|tc׍"u뛵uyPH,[iqo@K!mYp~g&!2kQqㄔhQO+13B%\XsL Ǣ" eۑuL-腈(p߾4dLn0kbN$Y=IwmPZŝ?S`.Њh#(pY q8q] $.KT[%y(gEgC{/4mM[w6o/ ЉFM0 !cwBs l1PQ=^Gy66_ˎ *5oFXRj09JЅ=~,B<%FPrtD_C2Y.݁\ܕI @aA 4г,Ÿ4@sssvީ9>.9IfC1b27KCOrc6j Sm-r􅠈0rDoFtc|jbҡJJٷǔA`긽jݸtOt67HSRIHP -@=`}5`am~\ xlP&G +:3R4'2JorUk/QL-5В_P# {TR޹^sޔՓ4wnIhY°a'@hYue <0xjRh=A97 dJԻ;AYBy_T fo`ü+[Ia?/կ0,\վ&TZ >Yy@%̍'Wi$6v ڏʡ[XG91Au-WaM#~rDRly+@2(k i_NޭWLϞPRڃ+A *'yX%moL85p$`2oֵ~ 35/[SI92V0ƚ3+OUgz;-a05!6I;)WI2 b@hC3jO\tBWsFiH832rk }2+㧙Iau_8<%ͯ^>Uoo|~[Iu. EzUȢ=Ui;,Yf~[v:>߄7@8TE/hj|P`UJ0?>-vjo&$\).WGmJʿ]E@.Ǎݭ*#+HRqN!';=sazFWF^6"3G|ήJˑ6ibeg- gC%Gxd$3'7:X[>|Et֗8Fz.a[!wfK7XC<@mV0[FƄv]/5`yu_Cn`+h]ASs/-  U~B/ 5$]D\Vj5i3vqUwI8W{F +T(N18cQ W{-Gr [6WcGWX4ڨۆZi5D,<1BPI?^4ϗ;Zy[VhxsWgǟkqC4 SUd6;xoUXX.\fc>%JrҕE-dzܸqT=iV|K@ fi.szg&` :mG`q,Ri H4ňc~zPukʟپP7~~ T 2`0F^E_,I򴞃 !oi;D #eψZ[Ϊ2*#?#$vAXdߏx5)~PQ% o)R44rUJ(wTs0" 6ε0l@ߕE86P[5PMWuWB Mk)PF>R1N&!.XŰ=q^&gG&n#( :x}ɢ `gZܦAMVFYj47SNފ\fW&g[`rAE>jH#$BH{GZ~6PvE̓Jn(t،8ĝ5o5(Ys ARڇ r߭4,y1QG@[O.貢+(ۣkoN~wqYP#|j:6\_0 $N rk3Cqf}>|o㥔j|񰶅Ur&B)C*bbXqB6poe!úY'_AOWD^+n~G(:ySܓKKbIIytM2ZimVVQz|ZQES<\' 7{i I3% 鸶t,p$|+ݩ$6E`[}ߢq#voZ, Q.2B#Vz8IOsڢ3ؒ]KQsjMB4O=ɢǿaZnQ_Rz@hX\'[!VS݌9>4 ko*.c;B6^7(&`zib$vU)A&EW_E8ԋ멦ƀ<8 6V w0{QU›UP/IbUoŶٓՍ!3ڑ-@߄ӷ+OmJ0Z yӵh\;k,@gҿ5㪋$/_E[&ׯI)s:o-d__p81y f$WtQCv7n8wGYIcAlAC4ZT'(2 -&}J?A80a0٘Gԃ,i$B'N $B3iod)GnG9¼p/V?fH[rzhh =k!6K3LMv^@meG- 6ZWd\x/8no鯈czDݹWn}IHf}啟=#a鳾^CɺhX^R"!*LG5_NڽEkXKuwǴzW?4+IYіT]~p, tq r?Fؤr>@@j8:#at=ɹMyN]ĥg`!F{QuR[3iXcZ‗0VzF1Tk?K$%t.̱*v+ 1TMH-l>GM| QV9sƴM!T R]VO v ZK=Yu&%cGFT7,ÇZjs>T>D}-~? u .]WB~sEV!aW.PTIrhbKUHujJF_B@atF%4%k/5!E[IƆ 7z/;*nioȝ8 {mO7DUI+&cƶYKN\a,Jqu, xoYE:Δp~22FEZ꣟Q0cHڃ4f4Mb1d׋`ە2L,00#xXYaGڼbSH;˯w[RimGhrKĶN^hHKÇ(c /e3S?[#dz|)jFy: ddw0.84{~zKw{Nv~낰Ӻ"m@{J3xmkSzUPA`@mΡ ^?p+`Zm$5"26-1?1!Ã92tښs}H ?!~WĔ..h=g_ .mU,倣j15gA;CFŌ078&4\$$n䡤AHd7Dɓ7*B@;F+6[+'S8@41{c?8&~ZO°iC/kޣ~f##2Oh]xf ߪFi@bm2@ r ;:Ey}uxk yu#4ilzUQn:Y>5N條fmyZՊIW:ߞ "|),зjsNC(뤉╂2ꕫ`^MuϠ!LBtygb)^2ѹpM; <~}-qFA$W9uFHO$hvbⅮ+ YSvw'2^ٕ`'Фu`3$A cD@n|?! u.ȬWa亦Wx#t72(7;40JN!%IZaicMp>dwɢ7FcXa@xa23)oYcq~=X^uWK"($Jj [ym$]fRv8UqP !AMv9G#U @%ܣUKwu"`ytʠmq/b.Q2 D%ϯFYGKC 0*r> 4: |vʡa*ғ{dy~,r-9vtPTBa6Mׇ8*js6vf썠Rt-[3N6z*;Ѯ|zj} 1<MN+  ;dX|FP@JlZ24]^٠GpZz{,>okg uh*)xa|h;@گaq2'Kv,zn'} oF冟8+\[n g8B-v D1>0/jc۳O21OR!]qp솩Ԇ(FkɃ*]K:o'ƅMHUB>1hĪt/_nip>02r&lxb0 *Tg <3&$2s=>ݻ9h29ɗV$GJR*D Wp=Oj<6q:?SP|(kmAoxἻNP*L"x}Ub WgG5PmWH[L*RHb$Tҟ)BQGb_ސw^A_em5g֫nJO[tR' FpR*-L z9'v }E7|'E5ZGoƞ0P&L o][Z)KXZT )ҙ70#D9MsxsNХ kRC އ $  Xr~P\fy%9ȵ"|ۥsvAb6 D|RDys,[K/^g4Z8D޾= RbH:snƕ7 Mh>n2"cخ)y$~>a'U@ˈkJT3obOwHceA5K1gRN[Y32)ob tj(ON*2d/Ӊ91:MY5~l"e/ yJ 8ZKɀJ%銊@H xA׾ЫAs?;U洡0]H2N2+7,oFփʃչ(Bs^^֥(㹪k 2㟱;7S#Fk>,;5 xթ*&rt(hcR~_ת6|/r-\Ky[QF@Z#tuGQ:c)e2ả-R [jKgYZ577273f663e8a5e5bc3b99964fd93db68ceb15b7e0d216aded3648c584893a197547a4e0a95dade9 4fa8faf444b48f686c8bc7779a09402ae481df68b3555441fdcfe8c2b3ad912c63473dd2f3ece7c5