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 MM# TL ] Rewriting_Z:threads=4elapsed=21.668cpu=57.012gc=2.268factor=2.637zXZִF! }|]ŗXiɟH)0%oi+S)KXѡ1YW{kwhQ*--#֨D1=(b띖psn{f^[XpUgPr!=%׵`>F62mJ';}j]<CC C%2~^75uJ{]g+~b;.kb5sb2^C=׺R퐥fQ`yQ~hzToX, ~yACx?lz.~(N"L;+\U?5 nm7{PCf)ɍ)f1m٧ /1+sA!w8/Fhe|~1k$MLjo^H< Dog=}.yl(ՓfkWsDWg@w H% $rWcoѣ<͝ax ix/*,JN79!4ж ĺ̢]!{^xzА+9 %ON2[T9x ,8T.O.d 퍗l"(ŞV6A)g*X=1j-*YcxhԠe]M0qoOrjK"K|c=EՀzޠ)iՙO6~${!6.N1mG^$'f}R͓߀|R Bk:9> ULt 4 e9f4f2a gɊtI'PZ(oShl܍Urʽy9S2Z帟P9"6_4X嵟zwʜH:lJ]ys/tQ1p`cAU5ֻ&>`:-.eI+mdUhӓVz*_,vT-ή[dGc?pVD j(uC&[ᣨ4*, P@QʼnH[Oߗvs wn3!P)oX ̗Hx'AM0,-O*hQ_uރnC3T0n; !~uu,M%oK]d2r~dT_A"5[4FMLzCAɧo|W 2|*2 DdJVuA,(5A+ɊUθ w28P]& p9` D*Z96,5t Sҳgj}'{aҎ\~ ^dW-x!BC!bUW> FYY |V7aZwaPawubH=ińj"N/! PQ,o(z5'i5D!bddM#Q]U5E࿒~ğ~ l$Mv}$|w]4@ta2$rwxŒ? # Rewriting_Z  s8e$ GymQMei=\]syrD1gWWun_[A廎m٫',.h GW-@IAo(vQeqTkm~h%5b|,#xY55nlfn8&n8?xE% DJ砀NK#2gtT_u6#;j3n-bPVz2֞zuE&u[J} 5 zCo2p%&M Inܙd[Ҹg@JǬs7n%#qas|9j}ٔѵ+/ OO|e󃸎u C_tMR>^ar]bq,`Wմ]7WKDg#D5-zPcS*t g L4]] Bn /Cu,hl.y8ϾveT_y^ꡮy/T1( "p,*촪먰v˘+|"q֧_MoP'C[mN>E6ui J r]ɉ?Qn3,/9%jʘVw8X@VU )/|;'#Ov/&M4E&; ҉rnAuM0HzOMX? OTpr~ OkG1 =9 wly$wT-uY}R/ͿDK-Ks{XI/4섌:_Wp'2s*;|$aEҾ"d6A>AM[ <.ACh { S0 ^ >ɀ)W7|1`C_/53oIobO5xݝi\1L;X8+Gq\ Ft:8er:B ĭgVJM@ ЩLj}~s oO'ۚcGeǏ{TYmL$ۦq|.YsRSd)_26cE#ʾ(jN4y%ͶnYH˙fa3)5NR)Ѐ?.]8 (_c小f}Zl%Dz]P/J4,: j,QI(,9i$ I- >Sd$+2vp@ltE}D)3"m6pupl.P'?յ°3꘠ y|Fg`qs6,3{nArkCu[!sQU \Xf=x܃GjD7=}@)h9~^ r1jl,Lo*3,;F8U`ih}okod6y>D6X˿4wT.d̃PVSp 3ԔFx4,H8϶?PMU*frd gͮo!(`atϓUz&h˵ı ZQxzy|>^-64뗩͎6m^j˜[m]hBce5ƭ&AǬޙxmNUg `AMbu"nw,=}T՜ryso$X[a1低iz2#'V-nh"HC/8QT fgL__lnHZ5|EZ0 @,q%._]EѠwB7c|qnnͫeQP4(-pDJz7$l- ;^^o?[ `P[[Ym?c% {\tTKdee^(W|h>$UP.~6`8;4N?o\2L·S,Lg"u~k% W{_d ]wfoq? z2ESRLWoIxcUb'84QҾJĒ"!Kid*rQdN/x׉\ [kv%ʮ9nϬIn3c+  ތ  FA2ZvP~t)3}l ظFCɘ/-IMJ,f*RΐoY!͐Hgn.'ޘHz̀#1~;xhB6Z N\5'Y֞YǣM׳(\.́z+brLF}:-8`-ˮWö/QP X|к2v;VQY"HDdO:u5xLm V`E$5KDjUI*?JLz3.P(:q8W"jJ- f 214b?/R bFC3| L yEH,m{}sCeH %BJ o)h# <J:)~Oh }^N,c_x:*Z$"=jX3T5 |S\_$}KI)?1E?ZU㮘9*υoS)-Τwnڸ,Z ^ `{wCq붪PP-{% RYƂkT4.rb(.="Qfr 6Hu)~MJh[RΈbi8So<_ Цc8,V@j%N3P†1M뜞?$XJ͒r ܳpBy3w&WIoqIf9F3 63 t%ĆצgKIC ZYp[K7m;ƪQFN'~D_k EK8TH!Z}GݮkR,_Q xQ{N>[!mrDdOwPX-U+D:,O-/8it|\g)\OQ\?DZŔDǩ#> Zzkm%,ڪKQ>@doaJ/7L."1&?BԠv@Jdžcze!v7$`PgKY~GΛm  (댙`Ԝ#TB@{&N)ԲgF {.HZbARz2k>+BX%&@  6@.*OZ#5O*A:Gzǯ?\*niik@#R#0Tك&#%7(m fq u& 'a6+>4<%XM5PP4O2Z_ӽɄfK\k89ag5KD/aM: ?sr;9ށzCL/PbU%I /ehQ] Ј맀T.F)Au*CBSHhVҀuT5y&:iSh#=Ȁ28kk%5MLDts#?TUz[.3̰g f#(z%ET"!W@==#sF[(ff_Ryd OO"}Ν߾a{ADIrGFJVsE:*݈E4(5B@ €>vbEUi˷v=y&,/iO 4 f&Gm|߹UAC;`z &#-Dc|$^EBz3`}Q >}gQ>@*f )¸-PKN>,/y~K!n]~i:mpbJ HE=SByr`āW1bTļ R%X_Je Trb;pNWkbwK)- ΜSya⸜@@=aYe<P jY5I.5sЮh 5Zƒχ=nɼgDe"{G6ab5Rj~y7N=T-_}oQQxnŸ8-*E ِl՚̟%9Ȼb@԰#16aéBT3s_ B];{%__ccd@7+C9K'ͨRsL)Y%|6tuve<`5L(9(o,77+ t>ZZ.bhJcg%sP'/?O_zZSsmm|`t,PaQ/Fml_k FJ0 =,.ͭ%iEOՅsƲ(,[_fdJ,ݭ8xTwON&ý%Dm"dP/ 2\ήD =,4rjµy}f2] |D{8}[9X$1 n$փh9F]M63Ю<_<";(՗:0d(]E{|}/ NZFeZm%{ r`q jkrMhf[‰yu$-d]n$[Fi.(w(Y^I's<':cb?sM?j4L9 \3Qަ~ɏshE3D@N}1 ypVg,}JHL|7Un Ƀ"ܜn|v٨ۡ,f MA:F^HMFMhN7 =BS3p] =5SkGt͈xW&`+]Eu|3 nO=WNj;xD-E5B('n wҘE;FgHūA@E9Mk(]i1+H2ꨈcI9DgGU7`N /xٸ 24Sx>q<0đccAߟrY3s |7xsrKsě''`J95AO1_#rPgdvYrxq8,ELGs|+C:eGp.2? 3gN|@Na` m!uNR#Z }N}c^X%3+۶8|_%y^"BRIm(Ioy4:~,&¡Mg"9*_zɯE1\jpFlO/ݷد/[8FWH 2zdh:&S>&HPm2sR(Z~\ܻ_ XΪ=Cf{,:6B1cFdx40ChSmd)*K]a/1>"rԧ'Y+Tp]|*#T b}-MTb]H3ԣӡm,n-4RW$r>5kOi+(o峆:}Ő]Ggb0*y˩ڲvlXXLB+svqRհ +$ ԃF;5ߋ@+{{);ON" U*wf&?:3SLuQJ9 Dɥ=^b 或$Ng|DENY>KvQ>n"]ba7`^;u''Sug>5;l4>yil`j'o p)530mI⟛t=tKݙ5#:/a Fg6fgC=$Nk9IcL@#pƸV+@\)Qͬ<ޤT݈ۤ%pSuA?# $ J^ P#A=rSLꡕrgEFܚ/l uXHY^+-Tn!?c/w=C`GdݗM fڤM< v!q.?kBhj*>ehS/jǷJbP.܆hR5+\ejsJ🷛S|1ʛ|]̰}ipE–Y\r6<'o(@jѝ b_3>3N:K E2lMS|GM؍B;E0t>3k >I(L]|#UedVBx9- z%" g,)p4U.[Ɍ&?mΡQֱ߸6u8IJ_7_`k T4pQԷ_A?ټ~TE[jcv]!>9hIsv丮 ٞych}tN+䜗ݭ|BťX|_q^ %b+}6w߆}.3|s|lu)1.)a+R{$cK̅lkCHYSbxn21 Me.y er$SO_żapL~b@e ڍ/MUij= ]3҅Ξ oęa :G|&"N©pĠ{YKKY[wܘDIq[Ԍ*h9XZ2i:\N`}ZsգE#y~}y+ycn(8GN^ 4Pt0 EB7 rpGdЈ \Ê<`|oNgH$sӫ<5:Т+"i U_ƃ o|d=fW d޽وjn̗ÏA=؞-IP"|h\A nք<ؤ 폇Iڢf=BQI`]μy+S_IƗ*8]?2b[ﳆl4#o/DUQvv5'{Uo,;Ӆ H;`xEt/N4APkl߬uE+GQrY; ][?+U.\:HxUfHHlj] !@7BTOIx&|LO7YF+p.DIhaT:3!զ4/pڒ1e`y4D,Ӝt(2eٖ4@q a~r< /h?qo)s p\1t,Ղ~_J*5'Ue>PL&ZmVŧeua8;:{#{K *&5PA@NKsp rΏRrFzg ^Ћֶ5 8/Cd4(H^PYk;$Gh'3⑾8q \m.ډ0#rQ olf?$)0e⃹5 qRLmAx ™B G C>g0{$*2H=gKI#ߋ\|ܣ\wFǂ+4׵ rYB?<o~}#sVD͚͑.i-A@$)vsqsH# G<яa̞zAy.)k2ʁS- [qCP97r)@ WM*1=/T>앧b*؈%DiK-,Y\<=cvZJ4/`ה M;yLrf~+#.iu^oW RF"-GqJ]l{,рm!gp6Yy I":$;>|Qs^D6Ɠ9(S#ǀ^1WOHwnhNϙxxD} Ei 8' zfh8GS&q*^R"d3{j 6/olPS~貧0x33mLW6&i|[qbnr8C'/4\!LJؼʣ}p3I9Ff~򙏐ݸw|siYq\-W ;joH)Ex@2\Q.M+?PDM$fi;к9+-C/DRz( -j> \| ^^PE K$cAE+Iasf$ܢU?!TRf^gr0&o>,# \<6=C% ;X౗x'u˚D}+gI7?:M,u)X)]T8|4L K9TIZLp*SL{'CP ~|i!F]WZ̉/nwB>W$ɏ/C^1Z;ini-m!,q. lIR,Ba]@mmN {.mɊXtP7r:r6pPm7m|;maGF>Q' iSK&pY7)=P^ndvsY OMQTݴ`6g|쩇6kNǂ絓b1㔾=Aq˱EqCaI>s;[>/ " A^ $hs.d֊*e^ډ,B{;R vtxstnҋj5E5Dt{E!6LC߸qua/Ei(x()#UGQ RƶWo>L:)x\w*I۞awnB"zBю!؅VQbofQJ`q9qN8},6mIOkM/~6ս R7 q^4n =Qkl6- eW)8`S'YOFh%?%re!K:IS.KE8ݧo9 r?ՎwjWU0hAg"SLzGUmrYPe6Z 9})O 5zl.K "=xU?X,ܪq_T]D Iލ 9E$mNoFy?߿]*<{Ή) ևeJ␎c{!))wfggy ܡeIKxeKLL/i6=;iڐ83Tz \"oNj'ܕ+օh=W&stj8$f7Ti+eT/w:n>)i=/MUksI[+0e&MaĀr'@%5"|fGqdl3#'~ʶIQ"y+&7,q־YVpkbdߍGL@4-Zϴ*E35)oz WyMQ.#β;,+P3vT$}Eo0pKL2Hu-$`)o;61yK2mZsf0Z,huG7.(Ev|Uו+W_k)~q",+*t%SN/|$OآڭpX$ɦ% #&Kt|c$JaKk)29 0  z)tdX;j;N﷌Ha[P[/P:;DZ ΎsOaWޔ!miMM nɬ?XX {K]ycGvvzQiA!Y&B(:7o~Gx!&+,ۜ_fmy8hj3>m'2|ϓP#CqcݘPU̺qYa~7 Tmrc&m Y3I=0ҹP&k7P_;PP~bVGast}9_r9{}c\ShRJ?uj dD@~ `<gp+<ʏE6ۣ(l W(W^?+9Y#pW>WJgX@S! ]2ٝ/_CF;$>q"$GQƸn6{aaܼI*K80,`kR_#KQlY-a=ޑTQx vKzh3ȯ`BN2[*N皟AP) gd]#<ﹴ_ѓsw~!xRu?G]Rmt\'DJ9U@6!_Oml;}8$T_/uF7G0)R 3(xeg'b'oz[nIjotzxƋd~cqz!&CkL_b1,P`vVj;birGĀ[q*9\mN7 ! v]/c|`{80&PaǨe9jl/Zƥkq!ș0WKTsz!V"J@?n1%홥@Fhcsv`BڜJt.m^Jn[m V74 !U)#2W:݋dxe0u!Ӂof jix"{EℰG;9I#{g[̍S҅c6/(f0oJZ"T Ra_YE^Kb·uE|tᑯ0Zô?q9]M 5⼟KBPa~6K%(|Y1 PkXΔg^#23PtXԵ[{V1ښcYU>duu4_|h{p1f֡ۺ`#:6d7"[h~U"KZpRHx"+ {֡"`0˿u'٩t$R%}uJJ:28$ *&TۣQʉ^k[( ԗΊGSGgǝN[R_^dbM+s0t9@m*s~ [I|& /)?;v;ye's{mg6?ˮE$.Ȏ8]^~Eu6n>灏oLP3.fX'_etg{C F[g65_NChO}! 9AS^QWl„\}|‰o+c %kif&;_w{ )v#y7ˆAGY ٣bm*afR8ZoS / 4a{}1sV@>X`g]m{3az?H6W 佪q l xM>lCbH^e˦ KR\auH٘1%YpLKHUMigrE(`4f́pzT/KЄe7;/V@h@|w]eȃ$FTaV긵Կ0ؗ=`Oh :\)zgk. :'ͩ/9ScA}欃Z,Ah>P < ލB Y gO?eB4*dJ`ٓPľ&&l*r߉l9 dyr py0Dq,6/.M*:Tu .fCfرB֎2nْoU >(EZ]pTuȔۯ}1袟TʥDGݳaܼo6]vk}VO 5qVchzX[𨤻X9X?U9+T́Dzj>Em oG2M#Xda`8`4%OqaD "]j wʫDrBr ۟>g^>K֋[KC或B0H#p>p!8AbpLb.deIw+ƫm;K!E!dX}^> GgceqAPیe;}WCkihpt8{dWE%Q|ܽZ<{0fNࡱ쵖intCXq5pxe? pK|Q  B*X늪,-,%=tyI%R2aR|WAp=<&W^i4%/44: oNu+--ϛ(B١\ڀ1XnnJ?HsȝF.i Z>F~Qb,;:r HF"60( uam WҙJi;~.Eۨ ī`𥃷~0[ 2\d (#J8 co䍧UU`5`eŃ!#=C=CG~ #~ŸkYD R}X =DJZPkXC-Qz j0@>/2q*I6,DV7Ơw3;U5dmh[Y(1.xhs*l^$o:PߑHku!JJuSf/+;-L6ȞHoL8G4x7_^]/8HiDJ#M? 3⇵]ӅldTYFM޼os*,6MY!j W#}aɵ^R1$T&' Ѭn=hf V\ F#l$"q3}1!=[cJ;/3(#hj.%sް6bPՃoc(ҐǢ@طsma)9qB8`IOz'"ӬameN9Ga ~8?%2PrŊq0 =EO80RAٕgq$ wA6DLY2_G5Ȥ) f( q 採.:V/tStIz#V-Uk= Fc!fOF4zKN!۸䇇yKOLyMpVW\1LViڍ>p?.b Jg:Zlg"q( P"e'Dscdĥg`rL4lJv+PgT;ewXi*pJJ_@o[Լ$3\_cXVs L,ATgv)q?]zZ&:fіUU-1=$x^"2x-Ŭq:Ki̛vM,U.*/K{6Jaҧ%WЈ ;3W}gO*)c+ۅ\Q69˔Hع(εG|]LQbz,F1x j1]A]6yׂz\aXw.vBu 8T=T(C"z :ſsy{CJ ~fW8LW_7tl:.'!719!'8ZXil G WJY$n-]d9mݣPs ĎvzdjPXlF{b󽯱1\AV7F2gt /H$.o3=p$A!4&4!%84- (֩:.l0Ar㫮疺p'T{Y]_1Ǝ<ʼ&s嫝tb]}aՃuzc`Rl [).O3é3~/~j4$"i%]2<ԃ-놹O,s;rVfYᘖ.u rN7ѵ)Z=Eдm%ҕ8y}q:`g^;ĭ Qz{=`,U Qܖfr\͠XP#p Yp{O[-*pERb&p}LT^mxhB_РJACs~++ @Mb/#/Īf hՏf@ vE|_Evt6R6ƃ0ҍjitUʭk\3ȤM!9&i $…!(8|y ~2QYZ{bˣ)\Q܊cXWnkr$*1>wD ۇ۸Ubڗ0&TW/tYEK^7Cܵbj̦^,_e.Zeg&WIBO;V[%$-PSmYsslOb,Ť1rʹܠ~U=iG9m72q @=jA,o{UFŜ]AE  _aZ,[s.tiG~! WK=a񂽊JƜshq9ˆP+M¡DzQGYm!wZ[hgBVsTV? ۋ!B; y$l &xQE -} ¿2AXɸJyh'L!Ppփo~-'?Q+桓/TOd[gLĒ"_Ʊ$c~Qdms_ϽنVQryp&=w*;$]~[}Bj/ *ٝUF-OtXJ-f#g_Rbx~9X9q$Ly&.Aܐ/drZʈ ?88l?<8z|tx7:j!JkvDunWnd 5h]eY\8 C2ɜ@Y 0$NJ]c9ѫ~vQx8㑕 |l|\բːU@-ήP`uLrŖЈA b*,N'k҃ 0QS.T:-(D[U˨/|SP 'zyl+L-`\A/ Rwkٰ]sh-eYC8ͣ VۘoffGX݁QkbsBybB2E<ɫ2ҁNnyXڳaj(zrPtmR: bP0I1~3=ާԔ$03@cΡ#.g>8ȶ)Nh==K sS@8 ?^s&PW)* KՀmMN>]ī^JaBHCvR5D*MN{mQ8=Oiψ.K:>,m߈H@fMd(f &.1 ˝Q[06lr^BV9(k >@Xݏ4$[%mLb]@ɗ'@¬7v^2^UEs03vna>`rΫYi>^֞_1&ς<_7^f;s Є=r„D|RaVSCߑF z%ucѾMFBI,BMmxvQd|3; ?r8q`& C -\.qw\Yz͟/mFT;tuGD&nՄBT6I7A{oҦpR,1{F T Wҝ#BVrxYMW%&N(0Ekgy远V >,Vc-z*.z,>:۾!2o)ϟ:Gf&/&e^0~ƅ4Oj3ΌHgH4MP/)}E{l՛;rNՖ-?6kҠ1z(@=&AaPJ\/cI#i[oa M[Qc_}'?#|eX׸Y ź{ChZz`Q*BHr1\mq$Di5";* z] jnpLXGbx$'S9ʺ(rX/zŻɔD'U֯bABݼk!GaZ fj*hrP9z㱨<r;rn|-Xi쓜 {tٳ oXsT`X{Zs@e*rzyW=m:؛b2!mmd 1 A^AqȰVob?irE՝9H|zFcS[.ߣل]mT9fZn;v5c9i~3zUOx/kk+wϺ7(΁-SRݘ׊z/Vح]'[ wfz/`gұ@VmF H-䜰.aK ,GߨI%L+_LPϥԋ:̅? $^LGʃq.): @o)HRas1smZG.#&3%TLnU֨8!,E8x9- ]#O&'lӿ] #)p(.6aR]Q}Pi043l1ZK.by}B:~m4|`^A%|8:tK\ Xe[p/UH>f4v .FE&j5*yt^8z\X'qG1H&SqOگSiꭞ.€飃p=j@ 6`,~9ux^|S>KWݫƀvʽ~'eQlߴ۩`Aq/*iiRBB@W5nQg䣟ջqp]Bs`|W}\Lc2f 0t݈w½ٸߨzb&T)"#Krco%D6^Xx8> 0KSJԠ,h$̠XՊG60(J5:D@V~}/e=f|-Edp,Ϯxw:m-E ozX1F/C0XU}w0j@ΑO0p~S4v'"( m-߽ddNc$ 3~:^(w3@G|ȯ}RM<"F o ФUOw挾! L#nxy6:ǣ髺kQuGD'4P554& "{c:,D=[{hAH[JxCc(꜑Mm,[NO=g # ǦrJҬ p2 Y А #,q:82rPPwv:)29DtA]-{5OC-O[6;oV`зwBTE+sy@͒|t8),ӽn]1!FZrA#D)*8ҝ)ԪĽU=X6f/c䅙8#34VA_, Dw̴UZA' ..9iqѢd9,YMd# lU}9" /zF@U>ɹvдV:LfP|%a'vc1iCܾjJjZQcZf .%҈O .( 'b~HQKO(V?ma:`y)pK8яZ>_\uWծC6ӕo$($PǾԨ0Ї6th<دfvxw*>`q3|FR!KVN "0 F>@:n? d45Q_I_COf] 8rh:bt:{AU](60@jh9 Dq+C(YicH6jګ&ri$ EFK~*2W梃>YP>U܍وweaّ6DN@G=U]yRT>AkSϭ}`urQ wYTSEDi@j \M~ΛWC;4qpM( rEp #z$=x} {>#Jƿ3`-}*c~δђa1kG&@)s\f2ECaX-jRŽh raP˾w"w4 7&P?w/= q`(XhJ^H   Zۼ[^G==sFkw FCH) vnӋ;7L|D t3:@ /?l_ B> _и:aW 6f~/wIS2'/r)ωCY'bG !al}c<- C7e5!O:QpGwܓ1,=\1V+1 $MOIEj9VXsHhE[õQ{їFp~,RϬt>>3D\^ W`۲v)b}Fo΢OSB*-(GGQ:Hlx\[ݖ^)P܅[?6=C>D9Эb(0 % Vb9D{gP_k"ےwRH!RhN}ZAi+zCMhln"=w~vl8/"ӃkzNrBXSD4̓QZLQ=~/O-Mi-^؜Z_؈-R^E7h(_NԥR|Uxԗ:sgLVzCdQ hu]N6Gֻ#JAi27|>{UFa;$ 3cCѻiV:Mv1Q%wgc|ؘ\8fI?y a?]*zr wYo&zYms }}&*]7%^,\!71a@ 9틾>A|?.Ϋu}W߷*;DqSܜLT+Tt}azQ"+#<'#- AubIexFμT(υ@U3+ b.@e*y "Rk8q9LK cnΟ~<3$D*VYҐV*m|I!qȉىQ9aM;6 *4X + ݕUm'Ck;VU\J*~(cl;&qWv7+%}dcZbosOewl= L_C</̌UlFEwL@YvuK 't썮7݆FRG.A_)$Xֲdx?m]nbZ*{C j7: je|l`d!~+]*yxqN5o;]_s}خz^HkHŶq]@a0"&Y`mdr'tOz s={]#n08v`MvfKrN=Ir6Ƭǡ]:czmxm;w-jigm@ L5YH )rghzׄS}COjQd-MȅR`e2;>JB{1w(NV_q*$-2s}b |z&lN\z4'vW3,g҉,= usه J|\'rgY&Ȍ%MQh{xBK <(~tZ`1V4D=8Fn('㷋%0i:H&OaJ;]B85 +BaĻHFFsxHtˎĒMt'~q[ɭj6 [9u9nvll֊ ZV!oE2eɪy BpUV_&̠h w{d_u!WFXzTө#i rmz^`R\҇cYJlj݇bq W +]W5{-IQCn#)!@s" >3zPNÀOg(.:"ÇbKV6WH0ЄYխȋ_h|kKmn(u̲pwH^oV SO'`Uظ iBqb WU[m yQɷju]y 5Cuǡ{~y>nmxO V6șqXJ0\./0Xjᵔ*h/wk`7%j7דA>%phL60TQՖ }j"VgGrC!ʂbY0'7uM_K)JOܞ O+26~C ) 8YJHԠbJwZ /SN Flְqd.B?t,Ψ]V9IlEaB?J$ Y ;"@FO,k^jXIRi]PBpNd!CvCQkRq|k Y̹ X~ns2x[֔G:S0*Eu /:w.ixB ~t&Q={ԋM#k5rôiIelf|hv;{BĖG`0,.l!EhL?_7XF0k8yD B0H= xRKC8H pT&Ui0Po|x[<ۧε7S 96~KjṲel: PQ} d.љX9|KD>7 `;hwodž&(NA*U-FaEF:sqxQ[M!Ϋ\-:& 7i0,?RhsE}nHbYo/n?j];p]) i71@@Z0Uec&^P P-I?n<ͥ%&xy6̬{-x{T}ڃ-ߎ%3$z]f!^֨ G?eakr3S%4]"J Lq %&K/%>]OQ1{s*('a77;E(<ݯ;es~Q: H*bdl3C;~u2y_ "ۅe1ijam(3xSŜb[#LHFn:}mC1[jU[RM@UPC`alO+gUTPL߲7W5BbˤǩF잫=(.rג퇒cKt[\_]tsr X,6WixMoU[ ߸t৓Wօ;:r v7mzt|Ͻ&޽RK]ގ 7Z۴7>Elܡh?1@^7HwL`Cm4DVHl2ke?MPKۼ"W`mhghc/FCrz?dVniJՋ+?l?TN%4?xDQo>ñ'rXɈbSk&un, !wRx?0wO\vѰJOe,^y Oc Sшi &"\{@u7$VGj:0j{ƽj;:\{A{pK!N!QGvhЊz3ЎDXO?&25=`6PuPG/s+/} O7%yd |Erkt?]]z|mU>ldWfޝ]6ݚSBdɘS)g?f ,nhQIpz(] t`uaR@",5NwWM^, ^%4'!7bqe"Q ebzg COihut,e+NLL㔊E%K$f㜥ؕ@=Z ''p\)s$=l%悤l$.g )-] a^y@130Vh^l@&;K9 u}vηUZNac܂ ׫Yeqȴ6dELAhXjljMpi!L\'C.2[d얻<Ѕ(X6[i ~Qd?*dt ;Ġ.C]TWlKY`E{6&g>YF #S;u9`U7e~7R KҘ3.(ݫ3blxwJ6fD%=Ya{,rF͝|P{$ 7;an\jtzHw]wgaeFk s`t1;ܫYyEDž^!)Mh&Ra;XhR 햸wތ\dn| N~(cZ{fxyy'8 NR>Ǝ[h6똪=&ye\g]}X+IH9 $pK󭊌3F)ϺHc ?YJk3fNaT<J^,EZ]\K&W ]؉x;?:g4{2u*ZE#x!)K(?˦#0?*W/0Qm)bq2Nofb@d$Vl 80M.!mVX 1ɹ טڀσE/c۷H lSF@|\ʦ"Z/"7dF$JȎQhFu>&TG 4,5 ]R7dK5|Q Wcr{C͎[JF+_T^n 1Rc5gVφ=sFS bAXY"_6yo z3 $e8r.Kta 2K$rφM 1'^s&(MAO'FժZB6 瓇H1i֢B0oɉA[y78m .U[+= <ʠ\P+2( -y,߯s>=`4(CU\ezG7e838Neh1Zxxo-~j_klwnMY},q/1: "=F,ݷ"Tsjm4 ~DT@GVDD@;0ܧK匔F`>xL:G'ͷYRQ:hS BE̚LT[+g"z&9@`6`/!CC#0Kzr}wqۉXx$_HR(JK__`hn!c}Ad␧‹#WK,zr;o(.F=cP~i:x PP6FŠZH`=:8guǕ2oN߲(XF`DГE O=_}Y-fWC(-l|&BǗnἲso-Y7f\9`Q+F8.ZFzVpszwG?ZTTTLAe- -7%hi @Y k"EF Om~EaC]Ξ4ԁK3Ȍhϧ< TPb/8y݇,ͥHOEb.'b ф!}!NP /d" o:6][DS $(ƙ,xT+xD~4YDdl*\r XzbX *`gp-гqmkIU>~8XKa0U_j<>uQkrr'>CN-d칱31\wzr8-k*R,rm%?+[}Av.:ˇ\)hh+֫#(G֛$QzZ΍WN4/&|3rn^euM kb{a<}9|vŵ1pI([q VKO-.?@ qhx?'|`1 Q+?LQl[΂pafJןD߼YxsM1 KB5Z7#c hw8 ?ºO^ a.-a%gH<UdSȮa_OrhO^Qڕ4B?F$^HX0 gF!)NLl|M43 t[b浖tIyMl^ ai@Pőޓc@l/ߕ%?1^yV͌ #~}@cvpf>QNB玥 jsVbmM)m|`c2l7c^# eGpSPks8NWhV{k˸h]TP:gs38tzgClG.d 03#guVRWҽ-4laMV WY|f5(7K,fۋWH@-2_,+1#y E$-Wyz4h==H?p7Ĭ&RD\ ݨ:r 5 ϡ^@suйeO"B֟b7JRUF׻yxc7䁇)bJ"6;cg:Gj}|t>p:e:%Բ<(5` ![;c<ƥV^XtkK#I_M f0tcWx6U૲l|W7Qw䫢9&/+d7JoSGg6D,=n $?5H# %ŭ/v#y;CQ>Wfq(/O2ci? Pz<,Ќ&MTr> JG|0vpy1T4-GXMjjDs?\ Hrv䘡+bTJA5e7nq&[42m8h^sq#~*4X7#M?@jY:MI#fT/^p̗beڷܢ_}#~qsCԣs&x4LB$ZaDF4?U,t@1U#ȿ{1olsG#bG'1u}St2J;̽jociAr.)<;S.d8r_g">1u#[8D7v+?.fqJ|rrl`%/l2ϯ;E3uvmp%d~ԁ>}m)3 Zz6N܅ hۙrQ\@uh38Tِ*ɱ_L^?Cⅲ"H8˪ ֐J]_џ>^eϥt˸fFzi.WR-qS*}QH!p+d]z0$,#$>P  YH&L}:Ҋa떞t` g_ۍJjGCT7,Sꨁ1)]dc ë˔rnQ`{cb-44ccҏkY!&M.Z>%8 ^8_EG tFS8, +/RLspk|,Īl, =bPp|b)5AQ2lʊ*mTEQXrw ,Bz'8s6H/pPL$q&Y_^>=oBiˍYjyQ[֤gTP&eK%=dަESȎ/.ځYnl6[7صg(9*2%z(gYZ7zXZִF! c]ŗXiɟCrhi^IxDY?Av|1HKXz ڣNJ%|8WFAv87% m -$ cŒēR7բ1%symog@?91ݢXs]m \!.>aWP53|(pib5=asb#s aiQy_V=t~ %?asȏpF =UQGs׈LT#@iNWx!s[AE{hdz{Y ޯBgXńF5nc5p$Qxz!gcQgYZ7zXZִF! &]ŗXi%L!l+u>^$qÚ:BBC*(v7oN: ׍NWOʣĨ͢萔( 4tܞlbm2;8څ ghl 82r0 ~uJZfMӋ[F,5&0njɕhBlG#B3zLg~|ɳ[fx;[v!qNr,~9]\j(zd?A5}oAP$d-;-C`*fYPX !DX#%k<3nqI[rKoP"]F'aB2𕍪1K @S:KHaKRQ$kh,  8P7JIsOlnpR8Ϊj}< bs]hL̬2͔ӲY`vpM}ݕh{`FOײq7]\-|~~?@z[ni^O?T% SǮ>KlL,!yțt)R7 +2_ҷsyY$R .X~97-]ƴcMF.x5O"ER$z͑օ<Ǻ{-w^ߊ8 v;‘(lޤZ"=psjq䌕A(Do\ӂ=GdRQY[a?X6Ovk#zZQK.1Qб@u; o^M;ĮQr`V[jC mV~Թəb!bہ^'%h)x!L@xCuTwL_33 ΰ5Ňs'ٗg(g\zs͉Ԡ^KAwbx ZU2E\Kɬ3yv'̉-ƌXc|ĠV'U7)p6c4Z2 jEm)4\8:0 kv־ԥ&)ٝC ֲPD/-Vg(;U6Z(UU"ʛ,8'xbMHi/D'⛽K]VńMBV}~{?(jm].?jikY3޲y <9PymdմarݏP&2K-3X!]^j۠OJ^ tɀ)>Be"\Pܯ{m[[kQ6$qNh*l>*7bOWgYFf[쵤yd\ 'I\5 R7an0nNm( W~r]SY~t=L6tM+CI:Oa|[F?f+ZgwN+UpFy3GG,@-}Lo[ȧn~S=XtZmf1({gh!3la[.#)l(5 jM206gYZ037a3efad1e44bfe87142a0d95b6b31212335a268215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 bee55ead3f6a05bd01c2bca9a211d9b6ec2b5f19