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 d< ]]]HOL:threads=6elapsed=208.963cpu=713.504gc=62.992factor=3.417zXZִF! 7!*]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3.땡vdYX[ah&0ޫkr#0*i햲+rPVbsCPp=HE]+2Qu>5fFXVpw*E 9"'P%:T0ʊdǷ*}92?ڼ#g*bȧQMwzsONap)#bɳc,p{jp+M xzAe;KhrcAb;R &^=Qj"nX*f\\RpTO66_Fh0ˑ)&gNRVip )zrH<Pcj\&}3fW %ަ4]mVH4BFlz8s W_At_{wʃd\:0J7=TMwXC JYk$Ti˯>>1yGŕ0+BQ]ByŴ~ WE}Pa$9`79+`C:mknY;MϾXaF^ S>;@$0A/8+*ZB˹4OSǠ,nYϲZ<[%\(R#Hp?QVbQiM4i (>Va Sr߶ScxL稹Cz3i٥24kdAQȟr7bW8ơF]?6j4ƫ]ISă$((4.QYUs?BOލU1'^+)/J!Ya!mD.;0bS 2Ne5sUaeY&Tx&uG M A셲I1QW٧a%J+9i]2 2՜[o#xi0NPg7dh]N웶CهCCg9,`5 (0H]f 'ڱShF;f0q8gI0RUQAtS7}\@{]Ja~owohncM]3EDjx}vt0|Pn ZZvL?tWcS~B/ )HY|p2he#*Zj5`Ct WRrq,zX+iUT46|Z\b5oCMR(Q"\0":SWxnD@ִcQ+xoDk+%T'ƕuq= \DY~鏯BׇcR}$$@Mr&*,{zx[mgxULY\YvȚ.嶕A U@̖IBhrO&.CceSn2-K"^s%; 46mH5I:Js!ݛ*̓wػ-պXW*y-=۾Xp$33(d:5F@\ Oj`Qc"F4Y`ĝ6jENjqs- Z[c& ``A9Ԯ+7Dj|hٳޅ 8v|]ZCZdž/eZg[HɄfgO3A̤* %w8_`HȈ )[Ҫ 6C{bMxܰ/({|82QrH^ Gz~K5gu(2-b /)ꌦk˹]Ņb z%]lc5^n^Jy ˔~:Q{K#3p}Y)%)vO+O#kI袀Qޚ,|UE)FOnjԍȺ]W BXvM^C$vB~k8ɿ0-v"E߂y+X[!q~VTK-j+$aى5.l&9]QnTe(td{0ZNrz)\ ^K3w>P3L8j9"xJƘ &dfJ@1mWDݕU6ls$_$vsXU/`rYn(~7 I÷JK95"һX ,Ȕ7xe9)=3-UGE8sq ډ%ј8ҝߝFa~qy{?IĎ-00Tˀ 9g֩͂ 7m1HF_."( Xt6֜oޕ/,/JU--OiP*1L\^Hĥc;Z/fUsp8bRyyT]DEiH 6j9ݴYϏ*]N'_'B.hWm~ 熼ǐh1d`Э"<{j V0fG8lt5b  HOL  ׭7U*ƒ@ ϙaR8x6onĘ&/lXmb"SM8#H-74:%Y`%g@3otVS{LO[@qta mf]ʯS7" ,}PQ*^8m;aC!_5z;{|=_2^?aLD%iQI72ԧcgmwkZYP0!KI a7>dY O*|JB7m#QDX&gR 5[sA em4OCɜpFp=0J-jR"aU )gn]EJc ;`B6uøۄtݡ^%۰<6oV@0WX^ݕ-T\}# I* ?v/%}j^Onܔ~#3V_g*}X6jj;r=ݷrrfiڡ, ۮ}F"Ul6y8NeuyCe;jhAGxwɢ<݆䥉 1[ 瀬WnҝH{:-y8L~aG QQ2A_')yj2RO/-8.'7A'*SF|/ &@1ƕ&=ek/&Ox{԰uL`/v{ nbPpc[$N@!huɝsϾMEIV|DJH@LY}~qO/t~Cilo+=nHv{%%]mSe-T.ߨ [cGp;&9PrccxdH`oD5^?A]LsH[<)V}?-}ߎ30qf!ۣ%NדOr ݋ol/2)%x,<1B}_pjkiN4mS\r;`Z r #b+C'<g zhF=R7lEr}{PFՄݎ+M,0P. *9<.爍W|o̥m@C" aS RcI=pb] ƹpB5Qh.O_Oqm5Czưqp˰i3nD=;I֖QXedܨ,渐Sb AD@)h6|6+GNv;AÌK}H@x/r7k{G{ *+s%)OٌeXtG3]BfC|Z6Ю!7of~1n .+;0\V sv]zYf Gc)mَyGpV֎IQ.?ng 9^{~IC[24,&F[\Zzf߈սn/6]H.|a`ُ343՜˺B6תKӌ7:Ѵ͕fk0g呸]z{Gr1(D16=K %BGQRr]-SEԄq9aOlJHyl^15AнuKk ɴ`BdgGU$ ƵA&Dհyļ;UIvV GPb_jLbh D 2縸0'L\/2c-f܎6m׃ \U1r2ITq5¥gGe-XDLmӤDp@O\gszſ|dFaCx/%.<?wrl%`E K[aI5v!3cr'A|Z0𘤔RTJ 䣌dQ q5=+Alv?)zY KeHtrRҎvC$`.e+֐/՟L<\Ees&a NHVݻ.Y:@BJ5r3MJ"@o6Q5CB;Njϔӧ4yi A,=sӘ_V+]٠L3*5xM DyŢnU',f뻎m:gg=LUc aC) kUzwꁌ@\sqPd#mk=˥e>&v ar 2v҄R(4^硫.7FF &T~PE{ Dݽ:yr-XiD pU.uWeKQa!:Vɮ|%.9=|6F Sҽ}\YBk ZyhX&X ʍƥl4H;f3Rj cjZ:ˀ(\1kAY&>F؟G=_%$,iJc,0ʃ͝.s0[ː$Qu+v:QW̕ xE ˯jQQ^)В 'zmh͙C] m/urT׆q#.>}_FڄGZ[  @Bn@(9K4N ~ӊ|-.P79ÁG3{!" VϢg 1f9@zͱ%0Zk,bQƌsL0d#~^7ּb[NqU;.A*ڏ (PR[ˤk}נBG;?9ApP#+6ٮ(/Vw"pb:s,$Nu9NFȥL WaУ~bw$DrU?$jmkL 7/Ʋ/=ق5B{D\3qg N&zE}nK 5'VBm x SY7jʘ/̳YCCR`]#Lݶn4US7K}['JkD]AF/~,,rż>zSH8R>dGYB8o| Mj\Fܓޜ#93-X[/c54bsB@ tQ?E8w`כ:tm@yܟN!K{:8߹_xn_O)~*4&6W0$͵hMytlJ-49Cý$ /Oab6Tut#]LB̔$9)t+}Ԯj~F{ѬDCȞOU4Y#Mد?xDw,5c=k+z5ȞFj3ԷS4mgnЇXFn7+h_ Bu[D/n2Y:[ۘ'0\  fpIL8%t$Θ<ҖTtnjjNA)J'0c!gLp5BW(;ePJDQ\DyYS>UtI뙍dۡ.t_.:nqkӲ1VbQ># L4'0_SnhGkK♝5K?:뮝 ц8M2F7 UTfս ʁTr&ip*b{P +0qtk\yQkij8P*\3 * I]op8˪HAA"N×#9!cێq 41_ LdVh%JƬ.?0yBՋW^']aUXS+%HLN`  wW3v' #({i S/~"b9J![37+.GD{h1*{X:6#2Gʰ:ikM2 T/Ďa0\SKPWjěl7V&S E{zh98K"1]_z%5-=z`:%P$׋DEPQ+bH|a)fa\ݬF^{ɬ8(#:7҃"քP)SY<.iMV=&m u?oX"1&XDI;_O11 8I2~G`O6Cp U@{ix$cbҧ0_ nMn:0q׳N23p_=hUPXqoaGr:h|{w|G`37ϙet s|>m Ňb$i16:#؞lA$\JÚ@.b%۸j :q-a:T51LPZ/߰DX&bEfv 0<~(Yf!wԿyE%?3zQTs)H1e /.RinNr8u e7˟;6`<l'wOq[i+b@p(X-ayhM[dNprY/ôx)l#}yr?ãx!Au_-@BϮODk?`cDTͳΎnhBĂZSi/D9~F\HfL48vx?< ƫ5Vg\AdxڥR&Fi-#dӘ64ʫϜ3dHLwƟL{;Ӡ=>=ZAׄZuTf'z(+\3){ >vj~&yp5wv"zaX*u2,2Og:l~y? xi 4Oԯ.Y'Bj|b@PJ1  lcNEJHYqKI}>>FK8lwK }z;yf%L-,AjrfE K&W"̥y!͚Yߤt{tQl`/\ iFk\0=@mٺB 2gYZ7zXZִF! rV]ŗXiɟg_$N%Q KβO%^bPz07^ y4_L3NL"9qLXD xE> x't%Es 3{E4={I =,jXBV=ۃ_DŁ26 m̻ݟIu'*B.a} )ġeBF<³w/?Xnζ;6=Aϴ %EvC4,܅ "<G}248L@IylĨCkB.%mtjSMhˌNy@BQ؃-!8-jc|f:'Ӥ .} UA3n]u+=La>i 0(ЌdivEۥ]/S PI`@殔Tp؞sh ;J1{֞pi4=so%ϓtyT(X@)II|u]-pY9krUϤj[SOM1 Q?. S4^ngqX]r'/~/E##~+YҺ d4b E[8<..=ўtr0<:)=Ӏj7+;H^/oH<Έ%ct0q: gYZ7zXZִF! lB]ŗXi%IZy\\p|?xר _G‘?i(t#wXyM7Mh6){DeGmH oō%C4~oq#p!1V'/A6 f^@?;o#ڴ{2pvA*Ęy(wDltkiD}D a:K=i"7,2خ.Q~0dp_1߀g//_ߑyHuh{΢߆2VֆXٛ$azJ,^S .!='f ݟ~txJwC0/Ǚ-܏MG=F`@ Ly!$tu OGֽkw ow`x>qKOZN61W?SK2sDxYj"Z)|~Nm,ԼúAyc}TUmBE*|j? SPSy]O2zCW@dUtr N,tYfƭ2XLdV1Y;p@Vg_9ӿ<1Ml4*]8l=TvCvRQIl}Pobm+4%MQ:W#afY&,=?7zT4!LH}Ͽl !jOago(AYyCLx>n[!m+Ka$X߈ZDg4v48~#nnڤpn ̅&3zj^?ߕy}\}ɪQryidU1U[wˉ{o7T@$b(Hִ ZJ mD00e\ ") NMLڳEˠAꮷc ;ɟ ͺ4wV3PQP; kYc=Ni+{!=*+n)@{SVQN$↙}چja:ZCSDtR ^imčY8](F}l`fh&sHX+?wb&8("OϳVkq ]ƒ!G?óqpެqZߧ!Qk}c5 q 8 (A9[J*ESM;s&Ɍ\u0eFy~!Pz07wϰIi);Q%No5«{_L2 ֠&ŷ#4 ݖ#Y? !H8YY! Q\s6͌$&/uK+ R~W%$-X`$ä*x@ 7X<;)fj_xxr$9@Zw넬&44a՞99tVJR8P>>G/8~)6^H_X<0,|()@ph^HQ\5:xdBf?L Cwg i;60h` jmjn( Z?{ޯʒ#3?Fت)JVs[(Ά0[|;:PgwYD^H6Vĕ׫ew soDq^s r红K;!kJNffC}׷o~8,n[S;N!1:L3i;_ch+](z\'uӍGv;nڸ@q iGw\Á: Ui(ĿCǴk0E E[3.1zG!]1 Zʥ |R|$y4 F8bv8:J%CRݱ̅ (D:a^RszܚM6Sd.ӵ , Gy\#헏&}c?[7gt5Δ1,! C$dj;FQP6 n3𑐳f-:V݆YKm` ȪP&5|;)Gc#lpP';񴔁3X+ˬ82LgܦH,Xw2&fZf =;UKl4>lGO%oc`)`ʄdG,p f=Zz2 =BsAe QB<,a (A ґ -H^$7joutJ\ʅ_/Ldn @k/Br$j\ҲX[0ݷAWVEfgj"+i(Y V=cRSE2aX:]z4x78g(T aZ&S[gԫcXt/\SL@wTfRQN a o'̀%>OBZ66%&$DM%}?mWjPռVd<LMi|3o8E5\l$VCֽ(_m.r0S~f7a+4bUaKTk[& ^@KyDq 6ZԎ!gS sJoEѕ4$n*S_3Qf1S}$7ck޿)|? J3_ HCrtm!yT Daa g4" "eϟ4d&~k==4RUH f-u(!WYzV,Q S&E.x|J{]ίGFqo8ee\U0Dcv~ *nmXCi(vk`+ ƣS}^j?WK#g*x"ÝY6PI-Q+ Hby .2LNI5X!1Kh90y\)S@nC;_PjLd}K̳ hk(a[4JUK*v;5|ke/X\1`v98}6_/! 0;1.rl @ xV Ē51/ʹW\qGxfZ8.S)CEw#mߥ6G8 {d%_B$"[`qmFQL?慯eeft?_5ϩexa؛ݦe12j{PAՒ!dTL3uҼ1KR{ C v*|~uK#F D1VK=]ÃB%?Q@Hae9kPT;d%ߏ)ÁQ5x+,y*nO<@T)C P OYlќSamavG]HAh,EՈècW{:oϾBYU۲?g^" E7#DKSb0/O[p4.Hه#[j(u׽q:\HqcD !R #bGK`~琶ᥧHd! h\mW|Z?AMrBKilo8Z=A33i=rEG2jixa %ET5I }ZGGaOl_,K/ź#U0"?<"\5(o2GHFGmH\s^ P:%OwX,r$Jif 24Do}"} xKS9[L #xШy^Aj~ЈfD|Pn--y)mƩ^>l9}'6AtR\kzV/†fsO2/J BaVST^3Gw;Qn?]2;{P Ǵɺ4y$tKe zbh?; ƞPst!=Iuʸ%ID0>oY1&d׋-l]=cH1b\T|.uɠZ4{27o>`ˑghd@.0{CSU9ȏݴwg9`:@5b7 \a>_(9OR^9Jo}4dzD?hҍ=A#Vz&vb1s1~5}^tTsʼUׄ<|9Y#'>usSQXAX3;@&!pK!tAa_*D*ۄ}R%e PM3h"Yv?j&q:ό dlU;ap#d9yGci\خC4nhgxfK%f?9,vx>H>c=ֆ = 5<[}*L)XTT> 1+o, SA KzmffMS#ǃEB m32SW-4-C^`1n2Qϔiq (%V E/;³C`\(qkijP>z7GyR=~ucX9b^~Lr苾vu}nɁI#`R[od5es<"NR ´& JNF9i~ "jX"Zv3UKOk\gQcB xSˆ#u=.,'ʶL̯=^XuGb,Yg.N"@!#u[ "/0C:'/J0=PNƅ7dcEĻ/-4p!xX\fZf"곃J Wp j6Ja#7+cL#< ;s>ŃJZ._LO6`cal5`k^BxIoKe$1y'6~z)"8'N׸GI0B?jsOK'Df|No-ڀh2$x>i 6R,DihL?"45aKUiVQ˛R`LJR.`/{6 zn_qLn =}&|Q׊H}Jh~ZJE,2Ъ[] Է[_q߇L;>bNEkk~-XIn.װh|!|@ GɁ3,%A5AyEfIY?y;)́SurMَKj^10_j.&Mv,ǻ# ^h#5 أL->@<ǿ ۬Tje~Ҹ.dT8:TxeHPj3S  J1yIfBxIYM@&,GL}17ѓXC9 ۝ Rc%AºGasjƤ`_ʊ{;WɚX82p4q :۬_ڭ.\-OͻmٕujJ+$m#nXv6\қںf:(%r-0dfz8I5:BjŽ ԕr!R&Vnp/a̙N?O>NPlVС 6YV/d_!ir)=m2c*`"fLvlKc*ޓ:<{.~_Dz8BZBb-y#3! }VVA-ɏn:oSqw1eG_y5أa4/.DtTjYK6lr<-!d Qφ "Qem9B5lu-Jw`E#O˄Reot3"*(eR$oO+ߪR< c|d!qgK:X4iuH/FRJ`B@IhGfL׮P5,OWwJۼjN} &e5%6A7qNRwx#fK(^_bc)LIniJ-[Nx5EV8%Pgi'r'Lj<1®E]Pqc$[h)*(YOwb1'L+_M-bWEr!v|BAݗkj1qlf;y/>_K*k"pxzHZK?P%d7ARYf!Cv^֯n \jDoX|ߋ"n'F@8(NSg=Xa7pX=(_;c_y$hV \P1jXL,Fy/vCxt8M3Sz@XE5}%/m5"~{#ǃ}Nt7hwu8 je3cyuDG`oZYU!)ƶ K^U#re0jtL\X6.%ekie!YaD0PX Cpak*j7ZRmf`+pW%vQ1}J HSOPlܐӮc5Ёo1c>_+}f6~W±!%~Z̻ -w #gXv *Yr&. [ռJ:jp3蠢H|WUL $%Tń[$]2tvY\0KWQr)+v< c`zF7o[G*"ßlj*!'qY*х ąkxQ g{;9:rZ85Ec)ExK B)D0b%Ҧ>8%UB?{ CNrR`2Ӹ$^#%̷k',՟y&CQt|N7b:̵ @%0{s]ƎLߍabaCk~ Ì[MA.]zIܞb"o"t͚gρWk4 !=jV6=27hhn8&kF~)@'l+n8gqV5ͳœV4W9 \'(l;1QXŇ:mIa;QtOu*]󰖳!l 4J6foQO߾{R*K})3)nL@*YDb7 `sNb?[YC~qƨȃgJrLRE{'"Ucu2¡WpG\Sy wLc{SxXQF}I6b5C} 5֟[vCMre}$?Eꦶ/o̻_\C|q1>ʋO$ ͅȻ;}9U(2 Z#n2(N_k䜻dp~c?$9&Fy5js(lXmUgmgO;_0jdϘ}?; ] IR=T؀|:^&1iv!<*nUb?JsCy Yl9 нltr=۔Te_"$}IHZĜ:يW{dC3SIS~ivˆ{MO`ϰZGcór^+ UzDe$ f|T7?}4f,Z^Y&X@89Dlp8!sN{ɀVmm(`-~^K%Ǜ0`17d|H.kS؄3·@C'p-'Gk&Nu 6hh#P2sF$J%%uܰlՕ/SCF+ª҆3m6fdzb8D|h[39P 3Tĭ>LZOPS2= @]/nS; 2Av4< ѠM{k䂜뮣e&m٩Jw \=G{P@*U>DFc׸sK,›בQnލH g51@EaEvG܄^RS`Zz blIdHM^ߛNKTt="9^yX3(i 幫zy&O-WH"6lPsz[2-Oiy"=݋ 4p 7qQ)#MSs'ΰ~IcI*sD#z%vL=e eN^~O,>,}Ɠ6`%h'WƹOU6pexr& .~Ur}I122A/)Snlvɯ,!S}#J`Ř(+Bu|KW5'NFbJO 4BpaE S1ޏtsk(~[A"phf3@ ~tLnB\ڕ^RWق% ËX<6ې[la[Fm"h{0$UlI@?:v>/H"_gj Cx'_w Y]{\'MQsvS|̦Ln4Jغ^\9G\*hNI9n&4P Ǧ0j<߬ܐV4!`!ɘ#V*`d\s$=']Re >OWR[v}]Ӱ}7;P[|i0Q#|i@z>Sna y}K `U'8@Zret?j6ik6:_I&[[\.Ç7NDoXKN†lǨ.ѦőlDa`s(}^-: ?TMSoD.s}Gt(,I).XGcPbjS, RutU y'$Z=DIr z.jc_I>H~tLp \g E<)O?#nO>ORC1/0fsg;۴9rƭ3QQPRLl{\916 0UaLe\zn^\hf/ wcMy_9DyO*?b3ؾ\[WCAE72AKj{BP3(|7GSAM9XEe2`):BXa7}^R]QݣbS[T)h]=BCN?cj!*Z3i T4;eb.pwX@ILDx,ͼg=`OUAgU XpYj äXH@k!c&}Vu@cFv=y3 myp4'=ُH6[ N=Da]`;FVVϢo@d-^jإ8 >3 */L p%&bE`B~0U ~~ٖS6v8zT]7UT࡭3d=Mξy5MVͶ^DkYUFnf.ܔ8H9d6&& qjɈqyA#`"=c'5WO2y Go.{)/{2Pw]0]:QCJhT|&2W1j}Q"=p,LBc:s?~.=7̙0_K\;i/V?d@=){CkFW*lAg' ?I+\>H\]ѮE] [&$WWyu(K[-ŖJf&L N3svd3Oh$ڴثNfٞ1`CRnKV埌1!b?;xZ-/7S]u!yI}kx4 7^T/k#MKĞo2W:q#R[3GY=\^z&g&]-3V|%j7\x|=Ռ*e]P7HVSgZR7%\Hj*ZeO5 !*{:=T9B RU:t{gDqqӹhzJ[%2vy+>6'H 4*j}8 ؕGO28oz]9JuUDJ  (G϶il\DW$#雝KjC/}SL uCi΀t}u_3W+Eog Wnj ̱x~"Kh$${=ow3o8 [ u4wЄ S j#~#&<`0?QK S-*ϟd )FU I=4p~L|Q D֣-t:V:&FSDɨ⣮xi2F 4< m` Q5o3bc|nSgeN85qK-Wk2L)@m*Zteb2iɻHp9DM _Ѓ[ץ| U^n@nڟ,9Ƞ5' wzڸ⪫rNכ^١lYҟm"TBMz*jPpSa0çկTX,PfṢnzzuQR>W%4"k^0ڑ){*5xߣ(G6f>gF4WT.;YIrPY]E'+0W+\P:p JP@qFQAw1u憨?. T+n߉`Ɍ$uZ^jd%$6nPw2ZeB DM-;mҗ?eNXUNJ=VKeyJ}OIsOu$Ry(jh"ځn3'.ݦAH$Y)znz ET[Oe#aeoT+e6FWu-8^ U_hqeǠ M4Boæ$LSK * Y79-DqB j#ЍRN M(O0 hh۫I9`q\ v~>Cj쏦f1 N(%;$_\*Joۂ50\8QVق{4}&uunhy&<۪Au:Yvd\1`#i>m|po@>JCIئBs)":-8ȸ3HW_%F`Ou(1!խ>WW?N+D=9F"6jȧPAjK 4Jžqly%b A U2V]9@$m2˅#וּ&'XtInoJID6d;ˤ8Qh);ɇq vv8#;jXq9{%v:w{\>%%4nSϢٻ˘b3p&Num PhO 9fbv$pO"2k6P1ųU1ϣT}3(s3[eHarF0}= $JWmݿvu. ^473l 8=ұـ04Sq\r9P#lװ 0hs Έ)0QytO.щ{FJc$XoL~({B ~%ΞSX77՜"8;_*S*\'}2?ʙ\ן|N*~nB(oZ ,!= W[@_ fzwyf$KD4GfԵGڨsy~iTK>@@{}:pNagR<Y D0 dy,@׎nq#8LbdĻD{uDaZ[U0^Y)pvaVBg_a쑪IyNiTۼjXPExs&X@XXaȁN 7bGoWSL>V%.X$$]@K9BC'6L#NGXSî$xD2)GQhJEIS \&@u >@5 )4>I8b:) S o*Km&Er*{glJoZF .E?G棟M7†O}(o_Mɨڕ-Uނ%ߺH&eM #a}Bjbz)m|^qaWZūf%-鑕q)R3;]o]Didy]j#ƠmO%Ke_d9C |ɍǶwGƋ{rؽ?~1rM _$]v;+ ĻH@bzy :Pz&}k\s"Dt} XǤ]0G:f{36jsӶr%ucm8-%W17sBuďBd8{bKx2dOv0|9)G9 V_ 9;~ t曏6RY}k0{+b?%z2Pl`_[qҚ1lAqlܿ_cGޮ(܈ͦ|??CjeCgYZfe7ce3e48befa94c23823f78cba4b5de1ee9c8c9b71b2aa485767f91425b025d2acb6b14a80f48ddfe032c99cb4dd9300104ffa318b3d3be808bc47b