SQLite format 3@  . BBh77otableisabelle_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 \1L,, ]% HOL-Decision_Procs:threads=2elapsed=527.561cpu=1005.528gc=86.356factor=1.917zXZִF! ^]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օozK N8%Ӟ-=_4Q <$РYƮcfhQ$xΙHL&vV9[vCYOUb.DhTP,Ooԋ8V\B:9o oԘC4z̒֗\B Xo6u162H=2+ׅ6zr"ZR`k2&Bӱӑ ӯwk:qx&qSTj[15$/>ϧw|XPVGR 1 HOL-Decision_ProcsU%p`k,7#ghP[;2N1ck@7ռۻ|q07"e\JY6 Hɶ5Imns4+{W!=Q!܍`U$ 4N3x-s]o`UH QƼJrz~QUES}&P,* J E\ɏq_?A!oy7(n5\boiB[A lPg G܍84fB''9]nn8U:JeTN?4J]pV뇉HU!O6'?bm<|Hu_Yx`klWyR3\^?";Uڐp&n,G sIK˛G~|S3}:_UNRtܝ{a%7~ߚ7!*Ssp`q[% 2lp]XL3Mc{SObX7HCI}fo8o@VԮn$8#f'Α,Ҋ6W$(-'M{`7:cnh"aCwnyw8FL%43'É Ygm4C*FnڼO=ZWբxb6|FjX4ivHk&4zYI%_U6eG/8="yZSl3PR/A+3< a+˳P#8 Ƒ^j-rqL*g!@C]%*].=8TJ"cC8λG-LQ2q.޷j/үŃ3!>5~uʸGb4bkB}QN.JiZE.pu۔:8+xK?=ԺunW*&B_'!j_b)?bl;"okwe= |BE*K&TCMS5& )5 5+|F2 )5Y>. &`sia[N$dN{*_0q5F5Mu[l}6IU@x/_ςpLPi -Xb_BiyiXWF9#o:\E 6aT[]b -X; 'vNǹ#ˇ)*u}%S ׎#`+pGOvo "Eļs6R3Zx{֏84b%_ZM*vue|eZ; U ZGJUy ^ԝDOu/pX㍜3ra|vi2!,v0,:ӀMe- Ȓ6:+tN;= wem&+6$U'#^.g>Gb4>DBsCPZٟ*{ќ ֳt05 |B~㷔,JNvupd^\llF@5PcáĦY仦zO(!4Xڊ7x פ^Kin.#6o3»W~u<Ú-cI \4p)h _Kkfk2hxGٰuP6a\NpS0]/hr-cT m\ldsJѭRW8H3>F%>Cl0W x53<4gh-׽ J9с ) *L *vf3$Z L;N6˂X@ƽ/~]\\KV7D\rh[ WP`>@jo7spݶn{"U\;A'huwy@QvK˜q|%C 6D>EPEǍk7H-*$!_XDcQFe3>zSؾGh+Nh&*ʺ41Agܖ̤iviAֻ %` KYo렂ODĀѼKj1aK=\!mgTGTX|N/YQ^_ۿ9ܦy0jM+4G|Sn)dB9b-l3G+ ׁ0,*>h-W#q~u,%}Dn'Kw:˞X̦qugxi0-N 7ȅ]B8I>*BtSgpxȖK4W>fٺdPP޷ƚva-Ec|,'uUyDQ“`*#lVc~Ouihܐ Tbo(^3*wb СM [nL+k}yus)ZSs:yF8{DUx'm2k7MDwCQIV;h |1?aƿ϶?NHCgdwOQ%fCoG#}vG"ݕ&2jш e{R.U$^ [CdV3FO@-U f@t5MR8yc6ywewG.l`p o&A.8e\Ia0hIQC-gYZ7zXZִF! jP]ŗXi%;c,[188B*׺Ң\2I`$YM6iE[Q7FJ*_MZE}VO ]y Tg !XIgCWBb\o/lxr;=<#ܜmRyomUlud| i~Ψʪ8 }هںDXÊ;Tj4Uf3?tUVh|: Qp䙍~l^BiON㗘)0ȗ6Я.]޲|xB{W 8D½mJqb9 0m+XX0==/ӗ5h\. .ė:(딠)BczڦzX)c0F~抻sЍf_Q2ňS9 nR78CXAxܣ9%^ cs59j&G)b8B#OC }f?MLԓ9E\;LL7n]/!Q32ºzعE1tT\D|#αIO43;}{w|l}_ZlL0}1Qj7A٠Ԗ3.$eC6N.G_#׈wOJZa<ʆbfʀËQ~\tZf[<Ʀ9HwU)*NꄆYhreSh^&.>p0jun_HnHA73>J,d+gCUԡ4d|{b D1@WfP-}li u`?y urx< ')80_ᭇ`_A:ܽbv5WYumNI;8\CK?xm9R ǣ R<%7Glt # sͥ车F4o?.G*y_oNLgL*jʞ!'uVYvID7 8쓥uDRΣ}42AW P'AÇ'#‘VUk18 hdI/ [2{V zfLÕgt3Jj3`qMi 蚀ёF{Enf_MSY)T倯}䷅wh3 ew0Raݓ=zI#F,]J_+Xg& PyPފ˵2MɀSz0TT>D줦_Z` \tRPƥ DkBkTa$Ah 7h }˹jb Ȍ/S0Rա`Dp0#B\Mlƭ}^,U9H ;J^w¢-jsT8dH9Xa L;،;,=xe3RRQK]F]h5vf0`]dݳFg+zҦq|>ù4iQ9D8?4xlS,DW V@mYUyWVeHhw'̡R$rT]X{mZIfw`42*eJ ȿm.{)Tݽ722mzS^G{n[7L]jA)^Z_α7! G41V,iVowx gG #9wZrxJA p 79s]ę3,BV5̯p6В7@iڮnlܺ@[p#BeԷ^h9稍bKJr07cmmlxZCkdwsb˼|\̟Ӂ,(0e 'Aump3- ʩx6( 8l-K)071m[~6[ vv]>tTbX(}O7CV]PFtt#xZRB wuy1cץk3:T+n8-ta\msmGK ĺjӭutTT &ZH\l>UY`qolp3!ֈ%l^?469S<_ٛbҨFrkf yQьn&0;W1F|ˎ|:I2yQBjDp7> T]ps[/,s)`] mxl{"0ko:ߨ^ .iͷ؞lŠNiPȽOH͡M%hi@P]/}[{6MnύZ8RzHMq UIQxӜ =$B7 '.S-T T;@Ϧx18gBj?XTΑř#i~JM2aҡ<(H"},vһTcFwuTrUfEvb7T/[Le.H+@L.N)?*w+ڊڶ]*!c@IL {K0IX ҉࿲~grh 2I-"88;B6RFUpuz3t芥f>N-;x BW VʒռO-#t/:#o:u뮢P!U{B?*:HZW#. Ӥi@U--HQ{B\%CR@F8rτ;u xʪ (si>[iT߽ײ;Ipv@)CMw{v]Fm-2AGլ+?=YeZ$ѐ{bw,fҁe@MłcBk޽lʻ=ihzh a)&8XtS!ܭĵJJEp,^J{x)=iň41? ץ/r+2ZoD2?e:EOk@%dͰ 0ʚHgVP=}ϞKץ@v; w;F7qv<@ңx"mEY =o>"\ll2-joPeY!?q^\_N|o? ;A."<Ϲ fw#[㱒@&E? UZ(^/˅L |p vי%ml.ǐB~6M1C3_"sO_928x'y=Ѣ/2 Fm{Sj]U'VZ4Uu+g]Gp#n FZ03A V;:ay͏7,“:jv븺pkӡ)O YL~,5=ӉгP&]Y}ː7ŷ!/(#S_,',tpI25kY*@Qc%ALwzcr#Pl( I[h~"։cA4. #q汐ojU@+0 v.˞;x1Nr5o :m Dtмvhf9c{@AIqTŊ9IH‘lpLJm% )[9 )lB%Wra;Q ΂Ș&ZRP3>nW+*/mUsӇhM& 1EStm+vip*[;SBl҃J@[M@L\TzYW:! @싏pOJ|/+rn^?;8Xwُu,̏0o\|]xg4`ZNu>]Yi .| 8e;QZ%uVf~7ɜHweDp9HpS?F<$mp{?ˆ2LљԽp Q ɒMdQt h +PlSlHGj<"m#%meAPMmͣLAg /6+%RnsŰq_q2!m4<&Xn&^wa0_yuEFcu/EhJ ȐURQcX@=ZKA,EMS`d{ pmGvm.q^օVw֯_}#Xd>uvP]:xpL0.Z$5E\7 jN^LR]:=[C*E|7h'|ƌQi p'ls+{|Y :b4ߏY8ֹōO`&IlVҽcR[<](N$T!2dgXצbEs}J/T3,AuX](鬇 z^IosWzV`V+ CH~4rx<+CG0? (DWg0 bGb˛O&p/bTUӲIN*UraWcj{զa0zA:׸H˰L Y%%Nr WpJT} %ZI&忎-eJcӛcZ@dmP}`qph{S.QC:K2Ƀ3cý@g'c&~1o.aM5' qܠpq\Ht~BHe$!a'i5W2mꜬ'>$;̵Xҕd؋Eбi;ц^-'aX1MR7rp7[@dZfa ccd] hsE|zxxPJ17<0#d1|3do^-\|&RcН\ pJG68ZYpf(?ns~ا']:Okj+Rw|sȡGHJT%Xxt +,k}Kܶق䋸inqZcm!!ne.,g VA(%Jz$~rSptFvyJ e)Glbel#m Wf e7ɶg0XS} ol:($J}}b[KC=iϦ6K'  s~`vÛPee7 Uixi<ۥ. =e $tXz`; =ݨU!v`Aq"3](b уLcX? mM9F7eiX:5$P IX"aO=s6.LHD}Qv *͘c\;? ~(AI+cd{Z ʔt3#^V<ޖF#tztݏS`i3EIU*(p6<OȲP$ۻ&(0;`1Z0἗<<1ekC?%Aґ@ov~36b3s+{03쿨 \W+;ā(yY>)}ԸOZ"b`4ۿ Sy,kHğ&pEWݞI鹊X7 Zᬯ1z 2J65X2 p\ t,y&Ho$'+ńZ$ ˷9ԢC t_>իa(F1 V! ^nI+8|;py͵}|+(Wb O мKIm !,—qFI<$,}2(#EkǺЦyjc(~r)`]lXA^;96[pe; O^F+Fx}͛FJiؖ. -H/lEy|AQe($?pw1PoIU.W .nU,dD9֦̀4_6˘ԡst`:P['RTfo1ͻgP\ 1Fkxv4$]G?O4X##$#=f*m}ˆC4OFԢhaN4̠\f8@%Y ,n)ar m?xn-pͶfhB[Y>Ц% _6kN "|0g)Ďlۅ 3|(Bikb,lȰ @< f0b.OZLt:$v)X *2@D6aWo> (\#\Ó`Nݪnή?`yaU,Z^?>U?k6U+;m6Hg?/3OIV]hVGciiNOI଴wW7{!A'-9vڢ5r~Bbv|G ^=1zXV|Vctgr^u1 ;rB.) utvNMZ!51^+6Ja<^t)U 8Fq@J_63ɒt?rz>K:(qTBtώUʻ[1jaO7̾ Cp*{bt. @8l`*<\#Xo;ZGɧV,H9_q\A&j_&N/t|:S\ ]KVMAXϡړ;3 7 o ,aFvK˯<Se -׿ 8cnhW.Wg+lfQ,eT d {U 0vP/$J(F&{ltu>P>:.bbM?9]}~:zV*Y~5.PUB>":=reӺJ˿%) SDǖy (='nkg2T9 S s \ۤaqev Z>{O&=K%(q >݈ && (G|j@)oMq.;]DTZmpzP*&WqƘke+!ṿ尧b0}x~y 'V2{\A-6\ip?̭KpHXl¶Ni3fMc_9mcKYs{/Qd9Cɝt`9io!_pB'4>|k7/)»93bYnش3g5>ˊ1N؋Mp0 H]%t0Z5ۗ%SeX' 9h5]m4C'!E$颭"#w|{!emJ'f@ޞ!@9^ ]4&:_ ;? B*TP96JW-CޑCe῭ KBjK6҂I'[S)*,k(R'+)NGv4GC[>oGpPQ+7駜K4"mce ܗ/XrH'\GׂOIq6@z6tx7SI$R/:p{,Aw^#^Eᾎr\X?t~LZky A q!+ioh5_%c35α%[2,Nt7%k߉nCt x |L%x F@р%r[&N=8{tORKq:E5Yq {{rJc|u8Il S yc^!t`P]S50^$4÷ӲRV]W5+%d&^lzC (En&|_Ii~N1(tfg7N]S0|x6I>  To~ [x! zܰg\>j'eHvwb/Ox;U3Fԯ+̥MG}խayHYczCr4Nw2Z&p滑}T+Tbwc<FkV?D@5^SMvMyVRxl^ss3D16Ep^ OIeה:Ǡ<ԜI:;DwM*Ԡ6ُХjiOX&aXNHGY‡yZ6-wcńMu7J}rh( -\/u.| )mnL P]rS7"Ab\e 5-3 Vishտ ,zYf}eX/Xͤd6w%E>[>]!j&6\[ClLTVY..UiI[y{Rms+*Ĩ{NbJG](^]-BɋQM˯aj'Ko&^;IHk9̎ڵ]}jNxʫ迣zmzr<0S8XD)# 4%fO-mRS#KεP $r/"w/Md;m"]KBX, u5+@ύHCtI$W^QDZ.U:-ON dXλ4ZMy4qň\Ay 2T/N?")tHNZQ;Lw:{D _ e[2sO11,rv8~N1VZ:9&7i]}.6hqpl&AD-g0T ꭇV QW8`_^&wM}g+T{z0L%\ڃYHf$A!{n 0 ݏ$i+uY;SQ l!U]IÛh\X w?M{HIiU7>[$nLtA$_W|\yOC.xtR;s,̜v̬7}SD:H) (֮#Z7 OӠR K:Sj8sHbqꔉzv!5s/I/ĝyrSTOZ;Pe0ct.|7jDxpadCvc6~ XE[82$,8cDEDǸhVM؛e3؅qxmk&|矀79jv  TiN~9xRf4D=tbj¡$Ckyr U00:U+7sH¦^w$3GUF~gDTi+R'Mf8-=н]8i"rD'zj(F4ápPVvVPjT^Y˷?RJ!? Jt"*|ֽ`=lt>cPL}Y|)Od_bXŸ̹ b d(*<ᵯ3ɻ+fw*gN\eYD8 lS+PM&c]V<8TθJN4By38bbѭ \p`OZh:Mc,aoZX0`f.pvI8@"fSZb*p{7vUR%ep#3j61&icQj斂Y>rF=)5GQ;LDq^=4Ohic%;< .H}Uo=Z1#&orLᶗFITK_L.Sp5wua? y\/w8pl扷׸$y}MwI kn֜>A' XƎP'WpK-5>Y"5aeUO[啹TAL3f\4 %fˉ{.Y.MDL`PYd^j'фY$67J9+0]9ZZ8-}ㄔq2)?Cku2h2Ix FqWpr"Dڞ5ӌ:6q<v dXR"{n'Z&۟Dz1bX=lm +/#~U=R`V#%FlT4VNeVJr_* Cǀ*b9^S?@PZ߇NI>9XTϹo6DM=aEꘃx=eouֵbD3@'!m|ض}b{Jwҁ$+iud< WJQHuϜƆt{iq=F7s01!rWْB7焑 CZђ›rҶwE_/Zfg ̸s+v@yt+:_oy{% Ht=WthJ  ثc"uR;BERP WօT;9cj+"=pޓ:uĀ`OTIc_` pMp]h`g(#yŏz*e<`ҿFٰ K"Wv0^wԦy3 :j3+ƥ&]oI==[i̛\%٣1Įbn:R0_"QbaH+Ӈm/no{.Wb f͙W= EjZ9&QeȮWZ.3mp@ZdJc1 t@ P"j[YM<9⬃)m {?Ad}i>;˰[^PI?G8 ࣎K22@Se[sw4B!E"q=[?)%UX9cxz@5jŢbZĤp# ;{V5K"Kr=AtF/f 77|fix9PfF1OJagU  p%o7pkœsh>)a'%v9Ĭg58V)0/9-Wy5)=4E|2DO&!tsj0oī>& oo7j NZ0A= S}q p*D:5֊ЫlS#˺ N԰I]fd >8ߺdT G>ނTr MF.f4b68k广&C뀔).8sI)yĖ%32 V+)"T_ EЛ}1F.v7(;x?jn!]ޙ;v='xz#_aBWfD%ŵ"y=HMz:vș\FedƧH0IIk^_Z v 8S2M9ס>5RD-5|\ &Ej.PlMi~Uf(C i&VҿqEiZknahD\Qָ)kY)ƻP,oR7ehRae DC "o;f>I$c8u5fI#9DWHQt. X6LR->I#KˊJ ַ\ ߱4eKdiZjc]iqf4˯IrՁлAĴ@)9nG=k 2lVw>JEh`R4ܕP[BzqBϼ+c:!Geh=_4m`w|n6jΦ$L7@2?`C GX#>:8 2z|F܌>'ෛU~҄ŰRfIFֲN{+lF"]"* 9+aZ+;K_T"ڱ[ch1D L ܎SX; ݗ.eqzIx\ ӠqWjS<_6[J.Ig 7%Z$ڗ8C(;CϹ 3'laqGꬰ(DwNA,*=3ߢ8:~?4ŬR#-;Y~Yf"½,`eGX"Mljn 3K[cjs-3C U6)#t+-^Dk1(q5shN"[یW :P&bkᙽ廣Z]hnY!3{/ isݜSv4H q- hOw18:<:<)1Œ<@"_mI'knsR1h| լ1; .Bt˗;摢bI"JBKP=ATʆ|ҏj3عZtKpkGU9qV_GZd٘\$xYX$ >19THnEAKQὒU 'iD@>3Wɡ1 ]VXPZo`T(ؙ$~cFl6(w mq2❤J fT?h=b^ۨsE]We k;~h4_iEB_9駚,oVIqs^Xf/P~V͛F{sB,>gnhjbb0Ln(eY3FbyHHd`ďfJH.StY*\ 5pͭݥL7:"X4+>F6NY[5?;[0$0Rրl~~5AK(bmUߴB<\c#J⶘R?Yr[nXb_?AwU4%wNc==S@7KTQԴWV+U%7<%uE`bp ٸ Fr* iߊ &Ž 4 d wLS?årUS LPֈJեurlG3Fj; .|ʫ!gyឪrw8^5Nktc/CPާ?3t,_XYaet{۝N*YZH[ i)\}OU]2'?RKL2A7մӂ8ɒN{:G5p4 abޭVo^3W G8^1o"B J5] ouTdlYF x&o @S7d)4tN2 u2qdL? C|;R`N[aQgr\FCWm:[4WvpY5Z}F{ -/k ӿ֋_ j=O,.t*}: 54gg3uEO}+*'e#_:RaՀxQ/&?E6Fӧ: /@\4_T<ށy(Qy TsPɷg3h)쥔sƃrsA`&l䄣V#= @Y"$$ˉ|mRxUx3BX֮brUC mxw~3l 4ލ:G|ϔ4 ?#*1䢸d+-Os"6RtDwvg~#-`Tgm DŽ-elX3w ?Eĥ(r󱴇MdTz.꬞* ZqOu Uބu"!>HҖc]dpetz J{:{GRtNZ#qyyR,Y6?YS׹Owv0D m18XN!`~xB>^.`4t=ÂO}s, ]3ĎRt"^ϖYܒn/j!Py~UƶӦqidw#o}?wRjdP|yKg[/o.p^#^xCW ` K~.&Kɾ%Ui t*րj?޶x}s~ruG׿oOiQ2[G -oΆQ>N!!mc5`ʻ/&E0.9g߭ sGiD@l7iΘMfȹѦ85k?$ n}GWլtFnAqo5矘 !R0C`FGcѪ]cO`Q5!rT"{U;m?vkffՇYN=0CD Bn6QsMVH,S4˵(yUȝ}3vw4nRzyR'}i_{UKb,x='*Zvh#.&8& (%4'kkn$>!HNwcsDMQ{)SYILKlq jGm4ૠ7z=-OB@ĨM_|fo@ r.vN:qGz,R6c:g0x9dG1;fyC\XnSɖ2?`Fpt8xHZ sI4 <mQ!#gH8Y@ϐΣ1: 0ˆD[+x.9/r[YD½p=* 0L, \5dud//UF9|C\tv̼C!MH-A?&PAK f'ٛ#*HX.xcY 3|H/$DWVM`8a ok˛tiw#ׯE:8 l%mvNLbō2tJR7RX ZQ5f0f R#/POhj4)`Fa0CπD֚TY+qiF$s @,tۧLlGA0~eʀdצL>A!^tdʱ.SzK?'5-!#8/m}"V#P^ OD9\Ǿ]֦R02$z~d݀O͖';`9N &.xݒ&&~. ɯxoHe:=Rn\85lNzy3+RcV9f > ګ|v@VaX*pNސx⮪!̥E^R4SwR\ 59Hr-J`StQ1imliRȽm6#Zwz\QA'aU1$p}Z2 /H8l Ɗ6Ӻ#%9ſbagYSݞK Iۗb@7Sy׊Duh\תgSgkDh./ҕ>c#a(AgPrA~ fzwSeA!8K2+p;4Gj67< XbByF<WG O{h:ʇIQQL|Q1EC@b;u¿ r`+d8 v%x. {.| 4z?~ ,+'vԥJ1/Pw1_Fg:Q^YzxWY)&~+dі$wt r*-O3BClNJj;#oJEʓY .zk 's_5~߮a!-Нywy䌥"9- ;iM ka)}-鉴e坢4͝7Ɂu/3l<;#4ZS%< %s#Z%~-QONtJ;8oU0w֚ i=JqÏxdJR|cTwLegֈA #o׸ȰŰv6 /s>$sJf#\GkdcX9܀Qge09e".//ٟ(w|@+T+7GѺ/}h@iA"s詈@ j۷mm*ã^#b-nQ!.cޑC,ۋW%Xx}ԟlz3yYl ZU9U` ȝSoWlm"ijK(-#c 4mWUٲqY/'ȽW7 4W}ݘu,vXRy٫u>6خt𯬎󾳋_QVB-E/Mi|{wdSk>[z A񠦽򣮇c懍T-G68HAlq8cMm Q_ yf:@ Iֹugkj[#Ĺ?rd-ze͑8߬{ҤӃr^Oh_vv NB ݻrB -@}g `SUfw՛c/&fUgBF1/[$A}i 'R tj(:Ӿk0͵|Tɋxl@(8\~2L"$w@4E[9IB^q(GYZ=IJwK-ju5򕐓Jo^pqoT_p| p5xwVIi '>dWROt?ҟ훕&F됔kdPE>H pbjHq2h0ZXA0ٜ|f320|h+ٿD45wj0čw&o6qpGB)bu$?eEuֲ=CIJ=>F}b{46,c1O}RrF\n+ w\dp 3 5.Nx ְ1i${qfX} Ml 97n#3ݷ"wMb^G&91hT5y>)L?ZHRBnNDRkM81BSH!LVQ␐MM9PaQ HLNJZ KPp9qi# 1^Xdz+(kM l*|5. ?d$YDӞ`qQ*{pOA~4(E8Xr[ Q>l uGW=וtN)D!FR+ټ~6=Sg^-ބ޶T 7û >v&cu'9nW)2S 1Q h$z0R`)HGMIbX>q; K\MČ[ELikIfD'.AMͪ\2PFqE]Td֯T^yt"8ފ\Dz7ZQ6*)3FCu.*3vGW+ s!3xrqS?T Vvms~>& ·\{fʤ5REU߮F=~| lշf~#`ސΙ!>]LXM ͡^ASi8HCFzȋtUȑӕv#&-qzjbo-|YkkٕŴx0ELh5$m)`$O> 񼑨J(nn1s7z AWv(\n+ fǿ:s&>xGZqSq^y:EuAa,!9+ D8/::2爲%RSSb:tjX**?A*y#\w21oуE j+b^P.$:Oz?C&g8G54e qx^ u&ppDʅOMߍ vokk ζdm&?O)Ů7<@Syۮ j~`֦rZZ̴+ܤSBxm7Vi eNpv߷lum:d8e%bfq0Wf1p3ŰKp +BmX<@{C ep ]L*bc2TPT38Rݸ !uwWoLy4_`W{#z˚P(VY\c97(!S4coui _\!3>wNs'DS|eܠaޑPB|T8$8–]NDz0hd.bĭkՉu5':4kK4Sj%W!Ч0vyЧkswPƤ5hb e!''ͩ QӼxU{_N[RJV:&]yFk,M@]d0:p#8s6Eeʞm9r\nf2gyMx2C+18H.P,˳S/)GHx.HY%h 9w 銡Po}L>fd˛ܹt5}P $q=Y.:<Gj QN:=!lМbJ0 JwZ!grQK|鞎渨-ncӤp~@ XshBsM&p[Z<b~0ơ7Lp_IF^g$/_cJ6LZ,Yz"r--源{:q RZz㽙$@ F%Yܛ1L*ԹgǬx#>3al;-i)R8!(!N;K!_rѴ槱N LI"g%?Nn5PEs?IdT2l_3Nq9)c&?l9Ǻ`d XA]=GQͤ0V46P"~*#DИdžpI謓3.^T( +ЭGwZ*y;OeJC$$ xB)!i,m4.#nd{u!6q'[/UQ=EzUΨ$z@ngYZ7236ec546297b51d081d170ab802ec55c26f2dbd047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 2be5e4ce7199151c36f9b47936619b28917fea16 055da0440916fe08346a30595e3a9f318b9f41a4 f89178daf3e0e487445e52de21d172ecb0de084c