SQLite format 3@  .0:  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 UU#,lt ]S]HRB-Slicing:threads=4elapsed=326.618cpu=978.956gc=33.204factor=3.007zXZִF! <,P]ŗXf[&n5/h7c| WU=p'K$:`WπP%^Gtx (a6 +6pa:3BQ"FG2\ pPt"vRL@XTKW[MTb|ke4DG +2=S+&hAt0&7ZhR+#nϛ/&@QWh/ ؿ"*cZ`H U);M[v95ȃ# =< J݆ ɔ!u`3,-/9kc`DK5$/8ϔo˜";xF2ͺٜїp|WU($_͔DSZS ^:.k9MeksalyilkUV0q)(ܩhTf~nύEHi)C {pV0Ҡj`ϧ<M{ĨU,@m`6w QEJ<TKGE4c0k &*+>b:wݩmUU!L&Hv,<N LgyFgX4׿XlXlQE̱{XSrc/Allo$1$.$uOx_9{աZƅR/ez'P-ԕS0rxO;h0Vb7=\1?r#(oFR (0L͗ټPXQo()aR/A+fo:kբJ]_c_Jv8lĈzhэg 췽j:5 ݎ.6q3jȶ+a:24"` 3$_X}j'VkY>z3Yr<ř5(u;9N_"nw;xcbNf.یd aֈ:8j5աe(Fu3ONo{\II#h xf#!Aдh\2S[an$'u6gD+X16WVuVKwkfZaκ&/Jk/BxoG'|^7>?&*so-P$66^"ȖP[sh߯3^0J\N&Ћ2|%eF6M(_g!A»N剽Q/l(TfB{1G0G-v@D\]QrVBqQ<5M>.6Xa{y=*RS3`k.Df&KYA֝{W,7n[4 ,a0L)`dm2b-LI P腔Ѹ0(7Ce'ZM{)YB_vSnAVq촃M Roq̥Rɺ/ 2m(}٪ބ!j4(] z>^ppmN0A tF(Rh]R0''eG͐qx {8)1zHZݨ0ں!Kˑ? W`䩐LA!tSo87rG 1{2q rLEAL?&452Zb6ĆM9DWтh/;IO^ ]8*=AeۈVbiղRVB pL{Нj܅Kҗc[r<gIYz.]:̧a(Pe kDݸmmU#ˇOI RXӃ* # HRB-Slicing  3؂al3}[5Iv-)dl']d=pKߏ;;%c h{zlcY  &NɒwR 8`Ճ77CHm$AN --YOҹˊ_*9Y D' TX;* 6Gf-6jk3ҤDY3[7tׇտ<(f &rJp+~:Th&?]OXXb~ʴՂ8~k6 Āxu?o`Hk[qV 0_XԿUۣCC~S)#J_"&]_-<̳6U\vZ-; xu e?7&|.: # ;Š|/#Q ds@qXpX`x`vrM'oLβLVSV,2l +Eb4;.$SMEuPD P:c{}eIRPNDbfҢpzt,q%>)-R9 + (pF킀pE\8~e'v8f)DUT:=bVĈT\/`p>}ʂt7,w}㙂uy֜i6iqGLL50FG~Vƫo"5ka6NTcL)w;UJJEv-Ɲm ܝ)dE[g/^ AyCM@J ,{#w$:4P4  =XENݻXmӘxI!|R s|X!ŵPHw qͼ1(fA3U94פ5>ZfJX}lB?Z2ܧSiWpT KܶD5}6GM̊;ROӌ4=PXU`U畨V7Eg:Ev8'|g+x n4΃Vwz".E{?=eIqwSѠp+Kk )A5Aam78Q8YI`77;&r3.656EIp{Gt B-?.)#oo_Q9ubn&"YS|=h }Oi F})ٱL Th0???z8 xቅ$gHYE,RRΙ~$HjH7 ӳ"u!?<9n/*"꛿Ya)=Yfwcx1G$78•:] D dFgv@{MjU0!T>z%A`mqձ҇pBRH*{%eeoZHz䏅` 't<]Ԥgt3׎sG\~OlTU'j|J;JF/m XGNKnf5;;cT9 R6Aڄ;)r$Ի&KA1PLCկШ$fDt Jl2lRɈ=}<l D9 Ebl*FU!2-}ñԙ/ b-@C232ɏJzXcMz]bza'CYa3a|tbBu[asA hڸfp#B}M:ExV e%Po}}? mO-YdC:giɃE~kfXr_Yw (*vpƕGpvBuJJ#kDIQ fUkp&ﱼ3ܤ<5֣MFnڲ?%ru޲b\QmGL Klrrwg:.GYYOLdJO NS#dSYb@/vm?JZu' hb-%AVo9q[[0?[ivY`Jb,,lm Iz+( 0gу`!Xw2!K`EH ԩQ4jrvslB+i* 1O)ss\ E͒]GSd:tikݧff}1R 0 5wiA# 4ԗ[aӼv;- GPEG/3hjc욆*S!ȕu)NV9]Xlقurw*y3vqF ӺUR}He,"jwś/~ũ-|53j"/R&[Ȉ]֢dXH'7R!Npizy]ryD)~ЄH:k{jKtrcj:|'Tw4v}?kN?=26Q',r@ 'Ài&Y2bc&ߨZkxHOٚ+S bLv-DZbڹ4郚UeklN27 pTFÒ{3a. -\~0aG4do1ޚrFoq[?E)&T{}Z`sgaqPLxФ:Vc*Z\Kv4[~z|۰kq7.z<2Nv3~۹\nTM+Yٱ1gϖMד\LIԥ :rv} \WqrF}B"Y^6 ~QOW/d^u]^+֌̜*=4S/K?- >_[LF]Uk 8Ȇ T\tF\cV}Y`a~5~H 18sHOW[<'aw6qF|!UęL΢?,LIػmN!dT ENW.f5wP))P9% Jy.T=l_t3JWtܖ6,5iۓlsđqWZZi2ZU1Qɹ =vVf|SVR-V RpSpO˜7['U[Lh,dhshC=Z9#lfpш)V2 11}i{  Y8V| 9tZD\hbHd| ]?AjY4sW[/Z2w3g|'Q+nxVNP˩EpKFocUG-h풎=z31N=/8( >"p0ѿ ۮ> L,*x`%zi^EfAãII8 4D$S? oƶ`|VI\z_ z+yr)OF[5[~xWYWN*0nϪBHM X/ C%&ٺdyYݏjemW 5h$3F̙͊qnp?/׊947ȖgYZ7zXZִF! _n]ŗXiɟYyTv2tL:ݽE1Dž_5}4#‰:k^u^:I{OLvIFQtn'XEQ1'p)gsU65ZC}gYZ7zXZִF! RY]ŗXi%GN-d;8O^G~xbif뛿ql2gjޚ?Cw[w&7Wo\AdTM$Tdiy2YG|>kέbkm 77jqΔ>RWQ|?h_dd Q͈Z ;Jy|̢Æv_88 >KwtSR;&Dvӻ#E űxYr: :tw pe:o2ycxDĞ k:yUNi닓?q`gUYkK 23zv |PNrbӈVi噠IF -!#bj&$,eAt;;l{c9vĎ^R5Kycu qRF[Mn.Ԕ 2I"AK7y( D5.[%2q1J54]Jź>Pܫ^pRfU]^aő$@G>^?ad|)#֓oqP (NiU۵xD;}58~CVz~2'ulL?EZ}jc?]aqN& 64vi;b -OZ{PL&wUHH2[Dmv8GRנGpt$Xm^kq::[¶Hd8Ch։}=v/Nyl-4  z0 t,Bp!J;sIL$2?Y@55`:b)]?ɪ9D?N@~ 7(z1ja7ЇXz}Rmiˌ:E: D?z*X&gA)N((p{LvOӤp|_3#ČslJ-Q*4=\IrQNE!Cc/T`=-ZYY7:Ĥ%jitQ]ZD''e%W+yBor>A;5 Д7S#٨$}Ɋ ZM!, W0+蝶fk[߹rC+tRd ɒ=(4/g}2V84ez)(sY\9t8tQ&Ӣ,"=CG(`E'DKԢH,SIT)C<֡F~KQo"]B׀ Ku$ޚX!ÂnqU^(5k=7}I /8x~ڍg@F˭\-nE7&g:vKՖSop[Ͽ~N\A Y}J1xo_uZpdxC ezO;*Q^$x;,U:>@]i G<`md{cˌ^U8imX)ـWNPY`z F0(MW,z!KA#{b;tqHC'X$k졫hӷX(lQϮ5+JxYiylַeMd&Y`jyp1h9@.(R1]ԇԄx,Z4hξo6CVHˇ-q?1GM80_jUx7=bH]Y;/jl2*yH/vuK^ 6*)>G5wod^`BeSLgXΐd\VgWB/('+`;Cc9OViR T5MA" pL[ >Ou^Y\#Ȉq͚r-ADv)`.pBB.xf} ޯt c))+f>6<9@ OEפ$s.\X-:J*u U ŚUuGEM)Ă|Rg]oD^? { ZOpk U CLck yO<%3ҲYJ g45X7by%w(\ؐ.=߳(9qT[ngZ6ZY a~YetD`W7hbGhEmDPAyp^EU˴K/g#ChOVOBC#eQ Y3m 0{hw6PhPS& yDY52fsݪGL~p| [gvִ4_~Lr|Y0#%*Ȗȁ_&=)T[X2퐺RnFme V,5;~/ynUvy3A<Ѝɾu%>D% {`: $#{ fy.0*CF#zVM{^x+ ,!R~ @O؎ _:J BrmI?P6sڔȍ@iX(a쭔51TG ٟPWjzx 1TAaRdKP%tvMn'N z]Y >chlYtӰF|n ǭW4 ~,r$ +2.k).;I=}"oO K6w| A"F|HeUL+]{@/lT[87_a )4"fP2F`G7x1>}ȠGu8}Jf2ZaEcxF /QiRx՛_DtzfrrjLr,.; !+<6/ka3o76 q_ޘ8I~8~2\aD%}O a0#veexў⮆ĮS\n^=u؄F].dR6 pQ/,a?[ř! jk嶏TdvH?\",`qBec-W cQ8й(fhehK+ɌIE#u(i7jk+K4 W>GXjR>P)G $cw8Y5@!3nvhM!s /@Qڠ_aʺR0அ}Z:@L>FIű npiҟUc-h:z(Okc4&>z/ύrx x87:8+̂&`hyӓgljަ_H9½C^tԶ}Ze^O=nE{ms;"۸(w)#2Sn,0b1!DQկ''8qwh-C]@.o;X3K綮o\6D-Қ E*k1;6] :_k|VsaӴgb7{gvUm W`*f =+|zpN>ԉc\L҅5 wdd}D4&Ny!Xd 9qk$ghbh\tWj;_آS Sn]X'-Y _ t+Ļ>J d؅um*[%1. n!eŅdF 5a}]-߷;jX%C:.=<ĕV[ݎ aJ` CűA@qx|ѳ?FLM'U ^'LaJYG} {߮{q8S:U+4܇} "2t륀#B 7x .r,Ua°:dШwbfN=I=BjWڱXbp*0oY Q6J6%,mI-*_=>/IqjF2&?B-^R/]yNjȘ:#ѲԚݙQö&U=7Jxm;&gkZ$&*JŖC_vD:w)G)\f";92==2rNu72ţx  ^PcĖC2'nc$aՁ}qSw q|hQuB*2,qW9Y_^{q XJbDd}UFL* P_囖$$RN}}6YB6k]A77eXPe BRISvV*p{f<m?{F uF[fv"a]f'ب.;}X_X2ptqs٠h3d|'Ee}*hDsTa*)%s:+E{2\ʳ-38-kYw+NRaG^D^1?/:k љ3|glo;¸6~7֐rY6BMB;`R\[G/ʁQw[;lY"mPēCguxy&8=է Pɲ`|]ml;ITFI.̦F]ɻ_9 i5bB[4 ,xlJOAPۘDA[_(xXe]s# @K7tg3i]z5?EloelA|ؙq /fۥO=}Jjjp]gHg7zkH0ZΡAut d형Z6i,:p`wKnjmd7ǵ۹uy'Z5*X&,h^2ێEF{rDu׋0 ȳ{U*ǜU6?n#CQ,e C0$k6=s=n>Ѹ0bAGE;zظGӘmDh1y䵠TӪmkR2>;GOuBZ`:q>L*.\4}5ÝAyBvKi)mƘQn=WA;)ބxoT*ud`{F> s҂k#i90 1,P9Pte-+|FnoсKh:y'//Y:ZD~c5(ܬ%,>sv{X )ضJ}^fNm Ȫ-=ėQ(fay< cyAoP#%TVe3Q,?tYs@Kcp+e}q p3LV<$C%4沘 82htMftREMn-dpbhhyK୅KޣN!gD7&5 C(P_R#(qB<]" #}-UYnmqP<$SzȔ~5=X I%|5U z#v ˣyL"A]Y WT! !UoSy(8꾪DP3[,YQ%;b0 7{xN YOAYtW~SCdKV:Zzk š.(__xW/ Y>`l(lw@rN+; fҵ'z'?.ìL~Oc 6olmˬBj>h'D3nF-]2'D mHy`OMBZIR=)B"ɕ$a[O4kW$%#9~A+)(t]jig=$jl?;= |wPNd<[9e$/S n6k>e٤Y-/H!N=^ĊnO9ӔTCH,f` Kq蒰h0ayS[3BJˉxO#896(3Q_4XRx6^E!^#v[4o)Pp@Nmzl#xT] K+R@gMʍ!v@QQQ#Dwz(,rFw v#i-doGi'\,%TPD\ tv%U- +8&}5Q}6ZNֲx}QB5Z\Y,Em;dMx Z3︔g~R٤bhC5ϱMW8,$`H) 56]9O08X ||7;+;J) F.]oN>p\_!SlLpskJ"|a imF"ŶB*~P0NDXw"Py>|]-F=Z!}Q웊.ralGdsK a,t|hyOVcwy$ ϣ [1jSiՀA{ P1F ?}Xڪ#<ꥀᨗ҂Hwv=u {*q%a$y9C4Z&=D\u,/$V&=yܹc/Ès9b5VUCbõ Uc-hxSsOalP_3(0W- WXE#@i6\zW-&yzhHfrkd/MFc=8?Cq=U?֛'̀A3 #2Qq 0XG.:{O25UdfdEW(OP)iFB|=Axs46B:.jPoBWOqg !;JBk>B%3fYd%t՞g Ho% EyTZHUlùy5^~>:Unn]lNY{5>g_h??UJ+ wLF]J1G57wjryOZ e LsbV׿D_ʹ].ndŠ?)#>!gRc'SP> 1`^dѬn!m #x,DW2ˬPqh]h qCT6~ocz@dbYKn88()}1Ġ7%%TbPbhoo"MPjCd> Dx80][ v2iynڒ {k#DNaU+KnT=pw>|` HUf „yVn|AhGe-X]& T@ftm5(9Y (4kG3Í;}o̳L!_ #-zZ[k@nJVs2i\"2UOIB F78zXGo-z?۶@!K1_6"W-R T,EXaH[o1[YZv+c`0gB:T·#S2oLbh3Up!BKR+Y%K 76YͱkQTK_,<(Z]3.5+li@5y)ܽ.\c(=+&I1XnCt:`GI"4y; 26i@.(`5 ? aNVd歈PK17g"e8Htk_7en9WR6+"E")H*ߍW:եDX=&jvZ͢ISΊK3G{E6X0Rn"{q7tbn@'wQKx WBZ4[j)(\Dl!,Y~U4'|: BU``!zݺ ?x 4\t7ެ~zG=v;']%SZW36vGlN~-_O*A΋M `Yf3,Y82>ds?ppD1940F_qp/S$'Wd8Љj/rrSx@=MB,3lD)XZ4_FهqB\ٳ Xנ=P+y؅.(i\{;e4⿤2o[膫0`PFYYG,mZCpQ6r;bͬ8ϙ!ølїom2XC^N"5#mVj18WO+UE KPWzW W]N荙?=G:X:$*MЃJv#̸zB2/cD5en)#d^@ U XgvBӛ` < ۅϼЈXKF}_ edR`#RɬcRtH\.*+̺8Ҏ`PU;Eh|NCLlJg{C#YK Y5j iEf6*X2S[8T a:f)?3Eu&:b.WWR6@W=5![L,McM2ƒvWVolQV{%PpNXp.Ȁop<Gk! 7#vKcM?zl-ڞ鮜^_V3bIY0!'3bh%&ܷ+CعW5(xi]^?M^> 캋ݨ@5|[w&C0CEt nKC! Ky``jO^}jc\& 7!TDj|L8J4 6̯YLwD _<';v׮ /Hi/)Z51j@?h7(P;v9- F:{W)ruC㐽Ⱥ#풮1WO Q(*'J-6=n01(^00ڸ>Yʒjh,#EnBݭIHp]Ԋ휵}\N [)FmB;79C]|S~&ryp~ EcCBkȾqUryjI `㮿70}wyLyόR'5]z3чN~ q`,[~@r =SAםD_<\5I3M/E ޕ%׾00˫ qRр֨lywB4WOBTC`u<BA}AςgJQ3IێD6e S)p[7JJ*!碦'f W# Ζ[Ynl9UCyك4KuY6h8r+o>9_IFHV M/$*L훻ib0 ˒׶Ty20^P0q^TBc a 5*'H4]BC@ݧHdܲiW WJW** zʡz i~.#vhуgCՍ8FT[0-Tyiɂ>3F\Z/.*OD]#H \ %c+ CF8k 8uX$}dժ?xEưđ$f fl\n1 (㇭)%DUJ@dB>D%`foj`Y *ꮢ5&-4=[{% s7VXN8YHMM:nep512-=p-\ hGJ$&F N*3,ANLb>Lԙa=_ tcS*S="*{uWSByNy] T#Ã@üR}`]6<us-Z?MVT51?L({! S="}yjP9N1q"Y>d ŜSGؽ)e*-X?`w~4djbS6( % KLX^6 W/B =柆aq%aIٟۤ"bOQ!7_f ܩD(砘MO!|"v8d2+Ԓ|'}!e wmO 9 2G0KꞿQŮXxX%{"a xMU(_@D/Z6;fy } T{2s#2nr&U]JHG@B40 rg2?bտӾi n/hwCj. VA'w&bjejF{f]@j\r_26Z0o.!yJjcp\!B"m0dz[koM5HғI|84>y-=3[g B ϰG [1ZM UNW9ZKǀA/[L)YT/]V|ͺ6iONIN= h˻T&\Y:N}3-JO*P?L=yn*׀+g!F2W_n[19iR'tDB IG!P٪~{!)W!ٳf2>/]| Fxut !O{73SfBYX?XҼѐǭj(5<}HEiEV6p(#Z`+B 9)sG8\ɮ}X]Ai:'ki{BP9:Uusʶt0Noo ',;1,*bo%hQŤc%h{xڞQ.s(4ZF@z:;TkʹXF ~JⷪI  q?Ke]Y/t*eD3a8ے< ўH@;oW'u㞭6dJDI3#cdlUn(v&>讂 2Zv?~OlưTEPd`Rh#F?'=SF1>3L G㰕p<.,-g) 1ԪnLΓqF7*dYAW)хj:$wu@q6O=2w j@JeegBF3 ~2Wm|OR Y j0ȱÇ*aŎd?J؞@Μ1!͢$x0 )DUAp'J~,(_~?dWϑF $CIֈ2>Z+<*/,`-u(a>'dg[f/0"Vk x?|pj|p0 !ͺ ƈ@kh5Śp(&CSC9-Gv-{4%%\K /N;iCS 1V|]txc5_-s9n%@^YK\֦]=RڻrsA_nn/j{e跻( &tJ0#3}R}Jsi?~GkCC(-%H |)0Lv6Q@Y`Fe:Zgu !|c8,ʝ n'!(,U9+#f]guޥ}rGtۚ_j< y@=M@ ߌHVOAAF4c--&7zw۩ߙ!-n<%ȯ9 >${YTEn0;?!׸S WcdyczEfRN߁N g$x^iˀ Nu hd9ȁ,8߬Mb"ѭ\^9eg+f+Aփ.-ߵ Z(/hJԐlѶل:nڨ7LdCʀ3՝xқ]}9#g+y'4\ %&H{fZEE:Kׅ"MI ? AE8 (/9ʀUa"^8;O%uGsJo{YsvW6'KXU7.Y]hBKa7ː,;z6n=~yPםJ:RYHBD T{J5bv>J}y!_C ʇ;#5SC[mkW50O  e ީ<&>(nN@tUݫD_euS\E$lL 5,'XNIdh",+߰mr^[ݨBBdZ3JTQ&[/`m!P~cxА Zk/|v梂$ ?**zEU=[k ji𾾉.ף.|l\ք+̊b4Kk0e'Ԍ~Knd[ZoZڟ>~dU42޵m?w`<\& CCa@R g0k$gy#B c "P9!}H g5e(M/ČTfO*c9 妅$ƃ%GqP w~P +Z+ɷ"hly6  u,%(B = <l]^0CnN) qі@lQn+!@:~n>{` Q*DT3B|0I;qv]gkT֠Q {?27075N7LI :0k~;\3SFnZT<-~gs"%rߌB+|cb%BX#n1<";5ZكHے3vAbˇY y:T<{şSfbŒ{X{Z>oO(r&"K8fajzQ% Ji7 K]Q":x5V0GƲsYy]ipEuE&U|mGMX\oG;kN 5hCCKd%} "aVjRlDsJ=wH bZk!دO 4`^( $ɪfeߪs4xOaJ(aI\y-IMs*l JX2b2,|o̭8FTfvN$EkD;eJ:l闽&1֯zid|$& +ǹpn_+UKK5v+ k~HtpNnSE8s2=}nh%D*1-ǣOA}2WƖcg }U0{`B5Z_W;IҺ}Ib-o3k2MCrVQ< Y'<^,٤/uHf//)X]+ lm)1T{yTXZeذr e'i5VB,L張gI^gSռp%ipJVlc^+pH>;# ]OTWLđ4_vmG; b@^#zm7Ԃ^ !kZ#}2u`/S NAPM#븋 Jg)cBzۊFM0X|cs1&9Hg<\,x#^Mt|87W ht 8fwu ~șkr´ýń,o`V@sD244VhbPyZc>ݔx ]M\쵵_!\aNHffn 7;=Cѥ;0:H`J10ܔo' (:*4^tdlA .՘ߡ w"noPLa^tNPlfpd&/8,)O%Urk{Rm9g6pn-!̄]lO-q&rZ<"@Q6:LX"{^ˊISw+ԩ/$9tD - "Nר؍ {˓yp0nh;kc4,v󥻊Vf>k]aJE8J"tw/ٚz $88gfN M/kc m}Ee"O(zJbC>iƖVEK된yFq6@_$d\LSag$Lb|=ap\II{17)U哚aQ"u^9i'h'+:x-a^ep:~w垉_W_&ybL:C!" [ [JV-0+lȔȖd\^]zտ;DC 7ctEwz_1è-bcXBU{2~5&*:J ӿ%ZlpVCb2\|"%9U$%-B*$$~ognP(;Pء^sh.z1Jξ㯀pt/}U<<loEL+ϡcNjc(5 I"urS9a-\:Ms8G$ub;e0f:2y*zh FsO&ww;yg(L 2LTzR6#T8m),SM>x"tmKFU=l0/a6֏OmJS%Q&kL 6E4FsîU>pi ' vZj" nHN_ ^ 7j5DW3+O#A=Qɤүf8Y<{J-ʼ]cR&NHc8ɋhbYEkbċ'nNzx7/ 5||`P [,5/Zi}-ZIJځౣ f$'U v.9PP$H'z둼I؟'R酭 <>rȊiGG:yGRJZS 3'L͵$ \1>U47m-zcQk:jE| Dq0!<Кł{WvqaydrN.l 8Z @!8y.$qo-V.gԘm!J_4[Ҏt9Ke -kV;VH̏ w-hphaDmm!t8fNmDa:[#fiNҺC7MoQnVm.(N.HT4~j:;ҐƘOcLmY]lǏ8L٥=̇oe<@h9DŽ%0>-|sBx8vp$e+jX%=bDCΗ,&AC.v o,T>[aR׎@Ue\r_ A0@jOl)W-N_Ы6{ f80 Vvzxf|86gYJved\dNј~1_\]@ 2Ѯ=8ʧ2۵.#jjt3uªVd`ʫ6)5#d:phWsb̪F: Ŗp?{sH=o>nslJ r00~Oh\{g_)%Z<~Bӊ]OHSJyq@; QnS~6̂*bZ ͂ |69~'ַ۶P͟BMЕU0N1XҮ(ۊ<}2A &\g=:qSxuWtȭ(6:>+O e$ffL7~[$deZ egE.NpMS6(fmvEJ'.e8[JU/t)Svu&;^p+x:7{RX)ﰷvp͞MAatw><{~sFmmz-l#ufaktTА$R ?DɎx"_Mjw 1bqYb?ӥQ*8ͳӐygYZc8cbcf4c18a77c0909ca924b931823f6b40478d14b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 4f0f038ecec92406e0882716c4c085a6c2f252bf 88075f9d1279cbd33a13add82dcaf87ca3722317f2ac190fa5cad422878b0de0d9a9cfab35220f8c