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  h httt ]]]HOL:threads=6elapsed=201.821cpu=694.396gc=52.672factor=3.447zXZִF! +J]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ ^d{ 6oN$0ǫs&w5gpXN$8JL+7qmrEC럇msbiɅQve;F'=C'( لQdL:u䏢ٰgAQT23y + 1i?dK|rR~50$ݏoT?E#4Y3)Af_:uu{T3 !ǟ27ٺ}$bya N0wQ3wR Z§e }X)E Q{ 8y?zH7z狘x dg.s%Ne}[d-YQv]$cy[~T/ɴڕW'7-EŲש+3CWM J9 $MU[9eڏ=5%G .3{` XGnorڳ  HOL  ' aRPC7;D,$$g-tLӶ]XL3^ HKwb"~7WgECTfS(ZnKhrd s-UZa4uE"~&~@Ye2?\EZr˩w9/ [.P cڧp;:T&a嘵C u'(†#7(FUEH)4[H7zzH ’|g<;"ũtتsBˡkgMu}2;PIRY$ q=/$4PJS°?&_LJ$ E)AɇezY 'PZʩ@ 6#Pw:; , Ijhsz\6I5Gj/MA^t,Dvl>h1QPިt|֩ߔbA@)%83W|G)=ۂڭ%#G.5 ѓb;nu;>D~8^ T4o[ kL[$˜n>.Isd?YN?,ۚBdJooELtWj5մuN;^xRQ1&<Z_Dكlvռq83qT41h1ʞV)hZ٤L;G4I$Lk1}81s!j=QP}sIn5WyKvU-IPp=^h!^DžuM& ֨7.R l%hYzM%2'=qTف|},<00]]^b\0C˲ƈ$ԒQdBf 6U%<`.ed;-T=saLxp@"f zv9ct* ?P`00? :PE(T>MfmJ${ĘA~}wx'ikKvأ X@2'O󉬛3+w2BEe"ΌQ2BsT·B!w~=9j Pd될 HtmHiDj+ʝQc}Ab"LyngVH1b͝]I%o C̞!ۡ*?J.dkcP]ܷ#QQ͟CkӜXO bW'}ݛ*F5_ch ELS9eJ8y\4G}vޅ&^OkKW $\X9(a u^XoxH 9b/[_\\.=@)]dk )F8DgzkC k^HHֹi^IeS'29ܿVUQG?jA&/v3*#^Pط5y ӵO|g$YLցBi Uqpڜ~1}mӋQm: ׭#M+ >q,X&(Dc~ );䟳AIeHid1y~ZO̠rp|5f3ⶴ^'FؒD+yOҟGdpɉjXyTW+x]*WOY6\PIPԽ"=[$"59ꈾG .g&fmN3]_z0ukgNI4 ]rAUbRW^&LWu_$Pz,'7c}icG?HM{ ʲ%RJ򉜺?,?]"780M[47:N(t أ Ցyt|ʓlszv9Qs4i*tDA 7!s2ؠԝURN~?ìFH*HC|MId+%ÁQa1OnXvj !XxisD;"`҅ 9z_+AL03=]-n40 v]1<16V^/8OiTZj\><%q\tZA1g?ڐ:-KX'u@4=NcA;c0E$l/fkPбt:_Jzۄ1qfAIZ4ܧTD:C~j.+yoXS|@O8HaF\DNJ-!CLJ{Q$hAt6p6KYSKhnu-.'6Q# O.*fZnMaܙ%B@T؝lI3 Ou5{|p /B[na%w4N~/+vIado)TdyJFz0U:irYA;bpm3'wf8#U^9u+<{GO+m3LrcNinК2fU+1H0 7i'zf9@/^ijW!1N)B'1&Vq95 -۵㶡2*I~,Wר\x Z=2< Zs-n=3`hVǡ/M o?mfy oE{³S@abBwHOde,4M4=b^(fpAb"{zkZ9Xxwi*.< NW@Dml#|0BAr Ӓni Ō:zV*:^ CUu]i kyjKX+6υa_{2VѠ|yL<`b W/z kSgKz`0=<'܈hu΂T쮀.҉>m^H'q o'K`hzʌ ؘ̓5z먝%^twa"HS 5k,y U<_$[l*Z\z!]cUQxhז,dt>@t`>s%sb rUC a'>%Kb(963neECbUKƛ"ż4cUͲрMh7Lr0 =s)iV\\NTWڐauzTbY}dOkNTvRqS#׃ji ᭦ӛo$'%u,IV{ +ǂۦ\`{hozG1+9#c{d\Rڌ`nD*Ҥ&s0ߙ#W\((x`~8T;H򫄤H/*B)ӫ?~MF{߽<ׯwXKO٣$3U(.ɠR愬+|Ч8 SJpZ SFZa"j4Zo$W?})7)+JIo@*>.t=B򚊻:WXvBzwS߼Ԯiv yFy$W*GzNS TZٕ˔jGksϥ8ԶI4A¡ ",d9?:Jȕc8!m@k/L]mE6l%kzd 6 u)fߐ..^gaO.E ^oyYOUq.#6q2!ok1/9bVĵ_4󵢄>sH[9l66T0!!DV1BDwГRfyR𚬳\w3pwY N8 - fs?ba=4+WZ>FӶ8to2'Իd&"&U7n4O8sj{H}A)=tn`5'3}9+0d%b\'İ<@X-?~&…"֘sd #2P(>VC=S҈l+\*jȕ8a3's\ڻFd&^RS0zcH ,77@G Nё,C7hf%I&( *,|-P_@i:sPs3rT/eݰec D3@:f̍y.gpW0 f@/Lx`R$eM$IT=?h)4\!n;e1H[OLi71̥1j%-+.\vJeR=5({6pc}W,Iƚ,7t qӯh?^sΫ|fLdPgm*?~E{/ Xl$n$Nj:"tjQOpd'/FS;CRBQ4s#H-t?5Lɱ4IN(r1ž ϋ|O0W 3}q QCX- ړЯajO^WzK6 E2YgEE\C,LD U׹tSʚ3:FX?9鯱%fn@\%lcjɮ2 δyS `\3#Zؗ ::wDw_FZ<02I]!Bٷ-W}3zq0P+`2dvma7![`fVNSQ)(&l\8UAܴk>ˆ79ymQE֔j!NՓrU(;D|'ce0(-᳡j,E!8j|X KTe6EHO)2vF8h {#u-HIr1uJGaPq A=fZn&.ʸ g?aqGq @@,͛9 i;B}+]WfI$q$¼>ɋULߚSVF-7]D?A/GSW;$S>[=m(>Hw7h\EPCD+}^V8*ݝ% F=]3%u[$E0[#0'qf$@P㖌7+0 Q zE0 Mh"T-;hGraмnvF7FXEWr tΦ%m}EЂjM0y:'/w{70!엛!h'_S04%QY\',: I[t.Xkc~Ay gE#VTK8?5dZAg̀Z]#yT~|}kr6:Td@~~e(3Ұu]!FN!XK 򠢂&C;YS Xz=4;uS-FRnBhkZ:{K}~I}nj^J|$ph.us;DĢۀR|̒7ҝS?NT9'lIW'!3dG8~[mqZy]ݫlEpD-}O֐  ]ut(] ɉo8xna D<"f[%USjٟ8<4ːZW #f*,q2f1gur!{nQn;Ͱm퉐KWq 4Nd^$ 8Yn`gr>X|wvJhDp}_N~YwMUi,qXT,hn ]nEPԑAw^NP " =S/9:Skyb *_]d3[=hƒQ5=2?4 ,)ٟ+Ƈ YoK j9ɄL*+ )hn g~fq61c؎>L}9 a[5I]ZC owQ/Xh?f{ v ,?̽4lTTÂWA Ӻ ;$6$;_hNn3Ow04uQeOeNcҲCWl͖s0vH懬l;-݈g{x2Ѳ㭁6hPM7S"anQBNL6vRKNM)QeKY/ӱgcuױGH~֟:m$NʓuQ b] 5F@vۄtke`E4<I6`r7JU@8[>.S9Ң'n~pQbFOӦ*R{d&0`m`G)TnYg{f2-Uou Ժ dx&}˰_GcPxgZwj.vz^jyP02(wƣ4nMEa*r6!ndsf : h‰F^\ cH,ImS$u],U(|/V8 ~c_on/Ͷ:D? XdWuCHT<3oqށqٕP"sEM!!*XK^W(dX1nYd2WzBw]iNbyƉMsWYQ*0) U\/k;k\X dzadJEZNB>G!cnQԼ !TkY++]׻Q [^WAqcRj uǦ^†#o3V%hP0nX;$Xm&h9]$`ö<,q}Ƹk."xSHg.HzY jOG9h:!JZe|[}:6U E6VXLzKIS aouQ ǕpRB>emH-TqV6fN$"MAğ 7MB?ʐrMNӗ碇w@jmnn, EM\O&v/ V#@T6#ZAUtQ-ӟ3[ `{d:pԈRym؎0*\I2W߾Y4&?aBp QG훞yk41M:+ïB2D 8EjB{8kqm\Gj AڠPfe[SsN; MpaK)eAÏeR 4E_|]+~/>;>1D-Y|qK+*?vZ }^Z@ʾ: +mqBJFTS.8wj-隡28YPqr14c&CE<V+ĹR,B)[܍ @>eEmXd?ŊB#lqtP})jPx$xO`1PZ ЂMzSϲ|iG* .>/[r؀?mAͬg@#)h<@/A\ît3V=ϩD} FBñ!]&O&]yi܏SW4++g/$tǷ{oo9qF*3S`6!hhf>Y]yC9%HGJ_Yг9 $şK{ɷIkjA'9YjX|q k}XS'}%Vdꥸ:u˱gYZ7zXZִF! SLJ]ŗXi%GPlEF/i}Tsbѵ<)` a czO4}d#3H|ІrjORrk昗{ߛ)lO 2keqX"5DY!Xgv]!ޮdZneM$AM%#7=h?5iKFrIA0 ݒ F>>Ru)*NR0U/H^˼ܲ|&w Y_C= 5&IETnKt\31("9 "rlu+ng\֒Bpb/=d9,$cKzFV1FX{~E]^)V|D靪b#04o)}bs)B#Rl]%-Wh- |B^2z߄hX5)ڇ(ЃeB Z1^e/!6@,!J1]6#&d7s,?y`L3Ěv@u uT SҁUZT6Hu4}J$xh? @tWjZSPlo6N0"ф&Zu؅dr&H+5ǁ#w0a?(oSES}wk,#'檇ATUٺF4 baS;d Wxa/y 8&ڲoMWzC_};*FkY3'>h;hU:$~),~(`ϗo-G e01 a,Ty-H-;9&\ڑ=oГ"Qޜ[if c71jM7ԢD@sJ)T'[HcN+RZM66U#i1Uqr;ypH7`5g=U1+՛Alo!GvLS@**x{2&AѢq(jl/ n$"K2E7Ue;J0aP+V!H2TG>64(u OLєM.hr ʲTR2sƺ#XvrkRmDoIJ\yD^ʖPZ|_7WF1ݽ\c< k05 -0M SΊ&a&͙jbx͠ܡT =1_wQ=n4V( yx&p1³:ֹPM + N]T@_SI0S"ۦ򚅈 /uln}g#:-\M(p5=s"?>@2 8ƭ6<}?TaI5MBFLqw4"!ٟR&2l+MqY!0h,}%J+,V<3Y܍^2_fCTXo󹜪Nt/㹗p&M613O,^? *$o)bx#Ј aȞAC0!}P儑 -Meli qiOw}Uv& %}HYԤ?9k,~sB^f T3(' 0tjWyOz<%9QnZNZmNY”z. UIB1Kܠ^zVӋik ktm,͔\QIׄd6`)wFO["9SSB"av}ʏWS4TX)(g\M@ [-Ĥ1i176[c D=ɟi׌{מA{]Té4 =i~ԔoPsf@A_hi =VTçeڪ2g9&+8%>[ƛzf*봐ܹU'4z&9"#!)?[i澫@~M7;š;4";9$F%F#Dy>B]e$*Im| _jż(eW[<+66iIh(SѧBO$JWH)I,rI1`n`QjCLt |( p+ {HX+p_G e3[s+s5 > *.i'T7,FaAq_=ybXX h!W=\d$lkpEݔ9q~J s/Bl\ίMMߕ"bD(1yVPdOY&k؆R JyhF`AJ> D#3$F#A2=fP~Lfآ5 <.s" rv LT 1c'd#RxM5Sz/oYbˠMDz6[`D" %Oc2"J T:Zt-\Kτ#@4wiBH3$#MA̦pEV`jUwQlS"ů@JI?Ů*][ 4}&㫡qWRp8輰"]S"}\,)%0z8B9Ѱs3m7!`D> ]~ƪyc0HuBio QˏpRЗm2]®s? p3?Ħ "lA 2x>fxX"\˨|IǓk/6pLP*M;ɰG&PQ,xzվ,Px(8IQe$EMcM]$uϰeV@'ÀwW単6FAYOOnsnj}GG؎zw'y"I9!&f;_;4%P7XM-B.7 9F #ǏUNI7W"E2)ڨ)Q \d8BH}X*}iyftiL r*ߒkC3"%S4Mˍ`lQaQtD@7#7^a+9SN^хx8DIf(Xed0'b[ 2u(*|bf2]82H"4z/NI)0IQ֠&-:vtҊJKwQG Y9Cpf54yу67J 9mIq3*OG ds8Df+"kYs8ǥ# ~;Fa{Nb [s7&E7 %MY)Yn/&2[BHof-@qm/$3b{GXg% Ex#dB|'W^SrҸuVYw) r]ĈWm$XiD?浆[?CAi.e8n]|!BydQ-AjA-nMӦ9r O`-!9ߔIcސU>2YUO(:lO+]Z;s$<3VZ&1dI!iѫxպ$^Rud )R<)j-mj%6;+k̑$p g Y›S 7>,>Ȭbv˯&D|N,L{mW ɊbJvܧ$UФ\(J3N8%S|v t/6ɩ`Brd׏j<>#L}iU]J._;MN" "UNfLkp*U3sZb٠Jp)m,[ c?Uє1#x%O>PVE"r }cDb2aim/9id;z8@6b)Хz]q>ylq]C2;^Sd\}|k^Vk6cL%d 7m|S#!čN1|.j'UJPe`cgKK2@vn>2wݜ-TW/Zh F(u$m;Ӱ;yv7xY$I:#SX@ɉlH:`y"'HO'CڄBp0o:G\cAu0#+}3~b"eOq+RAV$^-a:&uqDZq=n`Gފ?̤w'AYoUŒ;TЇ;dN4'P{r,e PEgˉ!$m%Ջ[t(\T)ѣuu1%c7/ 0޹tFtB! z6ׇ83K`{Jq%1ur<$W4RMmK֭W3 nCEfIk &eez+coN+!)܇%Z6xI}T!#}ͰT`)%8;2go?BwԽ] `1c}5bQHH\U?Tk;sXY> Qr|iL*[34l֋]>zyi}VҠwv.t,G= |\X?~'kfmYփvZˠ+_\QJhRKb4R@&`X#T410|B[ V.j(9S` Vbd+9R%8҆5ѕBsPG`Yȓ.”b&21?X2[홦.&|n9@-ӎt 5P ɏuT*k}2Cpa~ȥ.ȺvX mj}ٽ*9&TUNw>RCBYam^t^y}G˻tF5cR▪߲͑Ѝrug;}u]C3 a <Ŝ6ܭ•%$q D!<;JPC'-_ IT<U7Cc[ Nz׆Q KCͣb)D:7!_FvgLzA!I) FذSgx؂^jwbW":cދ\!D{Tdˌ?b8p>7O͐;zZ?aV\{xM5$%GAKC p)f󛖏:Ĝգ=c͠}),/\܏ ^ -eݜy QwX셑{EDJ6N7xE\ۘȪfd4~*4=yo'@#xm"! ' -80֞+1@),e4ިtnz$SǬ,Ocj-9f U.ׁb}n+#b>y%(wg3٦JyD-T5؆E/u0WBUs֤rA\SF(ؘ \ƛY -GnpJ$%sJIB,=5]I7Qÿ>jh5A7hdqI!7.O6vMPzUHPqvכQtC^ElZ7vcQm鼬d=jzd C^* 7]l*QK H]N;LN-(gHJ&S3ĤU gh7I@&N΃h>8ќrܳqC@c* .wK 5͏;@:7˵Ř=A1W>;™Eb'TF5GL` =$r  p/ae1FW*9%ReCI0l!{䉼ޯ6u,aLSyb+aӜHވ}m5=} SFQ=BF \XaMp59WH0pQQ%xYJ_^a297"6lAq pU6m\V{Y% &&WMGTܤ/bQh]gJA½X yz4T=P,= Z+=ףig&6_} Jw3JkȜ5 dzHYs HK+\d5)S+\['F*{6@Jx~0i]^x8+>$__* [p\B?'ן(pY%Ǖ Jzvצ{uL豔G3=jZM)o9>;>ϯe)OXV{;()u&I=&Ȱ͏,!uV 66+#܀g v>_ɛIKJ5*gQt~g;M y>2I%9 _9p6 [-Oy]ZUI}<>M9BW=.rQdn]`L+iipH${l1ˁt~>#a:p~q vRBI%M K)J߆O NOeTŲmDѠee0tܙ_ƄHIlrN9o_ Vs'7jwIJE*[54@yF՜NnZ,7 HVOh>שuѧ@K@ӾmMJF-3ŠüxχUp?r?  >oY<~I BZǨ䦣/J<0 ߒ~9C2Ku<YhݴNz(YfЗ`'Ok [? n $#ܚ$ q9}s--Pԏ_0+'qy{X~DʗKÙ8Am)}jmZ6 )viڄ5!`l'(*ʵqbR]&'쇘rPDS_1EIY} bʤݼ1C xJ^Gkj$&Ͼ-" IE)BGT"KAK/O>0vkC(d,:~VYl w)=ȠӶ] }0kIʵ᪼4E4K JZ&>S꺥/$`5{[u}`Wa`I|#ص)'Ե\wb;I chCw~sW-ڝE.ObqGܑR}Z{/Zƚ$wv>wZs7^AՃ/|kmH̆FN/5s鉥 @.jH |!bLd/ ĕapeTJ6;8/6 "7yի/Y 9#sCa>11DA#87?h8KP+T>[>`-o^cgc/l!mvŠmjԈ—MWmD26=^bLKnC~Q"}A Ay/d"h!VFc~V5mb_ zdG"$E[paN;lyFM&.վVoU{ lZr`e/!y c!dLn5C׵KLO'["6w| s:X}'%:#s6}ӑԗ6N3DjER371YN#~-uL^GDR?Ɂ`@"hO⿞#ne,u.8iZR=l*Mg)I%̎ {R"3M@D/1K )"'dTlON|F!U:dm>FHwS'ѹhS-")3>8W(IE<avlA miU -gb4u=x UϠ]5`Cs"3IIW^c٠{PT ҫuLUŸKڵ [ocZ ׬$4`vZ_0\ % ,hG- qitR"GC.nep^>j{lJR-0E^R~ 2h()4X T/S Hqѵ<1&tlhm907'`XxeU۲\!^>3K_!_r9)՗2K оi~6ܯ qzDJ1 W)0FKd'5} mGaMVxA@F#tK>y%wM-G>RZClsI:$gJfLTt%8/d+!J^SoF+sزhGo~Q6U FZ᰻l2U1*iPuM  xQ7 LǛĊ Ўif3?hVطɍC=nO-!oJҙld;Se6D ׀$U%Ҝz}"3Vq"% J=W/9&kZ,c!= A_|'`AɂOTDqD-x1f+3&9@C6w|%A?Mb~hkPyO b^9 #HeUP!Ku\1ֶ.~:7* 5{YTedKfT '(o:)At~1TՔBp.m6-bK!X.v"zj# <+!(ďEMwr;ř[Q){4GհwǙZõQӜ &sնP[%KA.iZ:c~( N,?OB}B\wDRy*#lVTbGVXGz~^Pmiԡ~}s߅О5[gZ5=r琈oãpALԝ9.|%ۡ`rԺoK=aЦG-+u=ZKIٖo8< +gr߇r=f GlJ<羔hOȏ[cnUTP#PՍ.*)J^Ss§Fh`Lr2*,ouxp{Tc#IXVЛ5@L11sRX'qˮBcB*&hch܄";1K,l[#G8(l `=d+ygL΍lXtWO;ta3>KI!K6> .t.[m4* Ch3=M膝.͜j2W|O4FloI]ҘҹgV;j.YQoc$g_4GƉ#~Iͳ/M(kݫ al=@XJ\ȹ&z› YvWTѧWQ8hBuAUAd_s39kѱ4 }D9mQ,K#a13zռ&6c[,AZ@&k,xQt*]F|8W.{ O1xJ) n8Hs*5 b| #(o]g_DkWLu 8,bMR[K,g#;ȑ|rEdZ')*~+x(wv'/ѥE j&{8V` ҥ1 sۗ+T9؂\B,7%,b2n ;?V7KCF!{Ap>\L2;y{S3LQGv ^lnk mri!eo@U!ŭ?3y 4naquI]$} e=i#%W\AQgSDjKQBުIE? ben6Wپ1.x:M뮊K,'W = BiVƚ)w6Z}q>҄;(uAB C q2twc"EK1̅*njw,cf@>/C)&v_qv/_*NVC ]BRRZk|SCi;GE977gĪyb{[i'@oFDET: PaO{VY! 3趍K8"4aTn{tmn)3CF,wQHip1=wċdA(ԥl:B#9ڍFqm+M4.VoM/3=|R%$C}yC&] zkw){M`yk).^_SGA/,yڤV$wEa)α(vm:|"m?:X'g_q8o~dw,GnJz; 㾷n>H@ݢGsG ENi`@ux\H}n1={5v7?|xW>1ּj$LRlJӓ S` ݠ28WQ' O«Rk/~@o YXBQc_ŌqAp/]uJ+]֚0&Țl%8DWƜjmbe P\%A: цM lp'|2 ,en+=[s6ׅ䎅' fNNοt V`9q <(α nOO[Ӏq41 Ml7 GgցwIgZ} Z@ySS;[uSH{EwI?Gꨁ[~A4)37|P̉yB1(,ҴMO\WWO5\16-fWMVǴ:P z[tIBv7׍z@e`ƦL jL>wEN֡rNe{M! s@׀/tTEKIj@q~Ǔ q,ɑ*?ΰ OLw49ߓ1mMc zDu?9>~f4>hػp^y!*qʡJX|D 8!43׬ !m5 .hJ\-Y[]~/[<ϺA| ;e "z; A5JB-a m>X`D{=%` Ed^|'TVb%,iǹڇQN"JKTR-(s,ڷXjS/]j7n| Cu.eIV.!O:уsꎤxie1S"I6HX&5n{btP`L|*LJKy +)s+l'H0$SԖF7upvřOӾ^ОL<,gYٽW0>R~ h_v܆lg?w QČ|ㅗ-S/h֯ZBw bS-a.v~QfAPS8 >7Mee@K7gCC`1 R_d[^E6 *{M<*͕'hIGXr ?&yΏ>)|NbLUGt,t8Oyahqz`YZ$e'"i̖ K0M(@.75 `u[poΰgDQ?#)dҍ_vXpwl7F.Zuh6Q(3 vCUh>ޒ C{,H6߼p.&C“{o[90WyƖcaʤK(_ \- m]uGB^TA"K:λn-:OrUUdٙf:a=@+V,.]Z) o'O ӳg/]*\2abI<'I,H( miһzpLWIjVNJoc>M(9!!4eP>5 1  2җT/fD!|RsHGypZEiJO"OdF$Zm/';:"+;.YRϷOUh&SFtPx>9N9瑶f9ɗm0zٖ֛?3Щ[h^ vV~3K?  G+o9n}取@Cfj 6ԢcOI &i}^}j$c> iY~m~$mVk^ЂS]%GF9w5YԌN%Y@O1G sE[ȔNwQ?3o9Ο1ΰ_"<`V`sk) 4M2-%6+f]cZK|3?F}^mS[ɳ@ +!I1goܺ;Ž)F\RRÛ?),D!TmP&m8?dY줡$;N-Pd?zB퍨f1WRva&/9BBF