SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 44(+TL '%]HOL-Probability:threads=2elapsed=145.398cpu=277.024gc=9.404factor=1.917zXZִF! jWb]ŗXf1-q恈wX8-k =bd5O>RWcG!7K~Mm,'B*-,W-W /fwa2 EYA50+Egv'eȫ&팫էj cs͗ƪI IOvTkxQȔxblIo87wLzm>*}ּ|"O]@JPPX_1MsfX&V:k \2{X3䩩"lKk="%QTc:P7V~a(jјe!`d<;X-{{%<B>Z1UUݬҍ kי)$X53Զ0Mu=<5 "^?ƦV wzGDJg!´ y p xM{@gkdʥxwiRA]s53CӰR`ٴj eq{y_H`o Ǯ ~m!C-_B0$*M[.EFxʶMI{.fڃjaĸRbfwNԄi@ UUU -Z f `tOhsQ4i;$M*[*}D!hnҋ,"é r௉1߈$!E0vc4*):d;Jx#s8o;|;s hUT)BtUzyWѩӼ{6,5FNf"&|i(M)nBlu@il?èO \xmˈ9Xfr\tUÏ,hTJ )+1( ^67XӠ>%t{F*ߙ.YdRG)xay:v&Ľ=f:uI Dk}jBAv2.O:eMz"i#7D+ k" m* bU xn{yTN%4cA az?BȻ4)mCZol^d^q3>êΒoބQMJFoי. 3Kn| *tbݫ k&DT^XlV&sfi2a-#L 8|3i?|_u 6:r^H}hŏl5#pTyX*UCsƾ~s4\nlM8-ոf9W4Jr|l1z*keIZ+ rBZE;Krapkm^;uw9\̫gҚGL1 $[I*hUj%F\E5ڈ\M=OU BYg2OD9A>[^ZS٣9N v#~fnH'>18&}_ X#,?Xw Z"YYPSfNK1w oT^Z <_L]ƒ@yGX4^$ى+CVCEGSU?͉i=[JmVR~WB7׶k*y#%,&r ;#K+SfH{5-\B@U5_˅(b Vw"BM~qJh?9J{Cܷ2<%eRW1Dʁi4%\0?ڤ5.}POTtWfY7]eJC;t ]igd.DKXG!gնaP|,8QZWH8^/+R[1BMy;-DyRG9?VWsfA ^3 u98* {wWxtn99RCm/<5Ez8 +(/aߍbpqwcqRSREj91JR,\ /cB^MY? EMu]R"ւ A&#+ y"U{G Ж"yh=C-CH%rHSOƜz-͞\]9^vo(qedA!gI*;U腕ħaDZټ O{̹*<\%|d&1O s~ָkn,$3GbMd D@I՚Ϟn{}PWb6kwz"p^bVɋ'EM#30x(DA:D)3/G  ޟ񌔸RiBOBVC/y@%|1/ڗ;)SޜY{#Ŋ>2BSf $1Y=*C~_f0dsQLTeSfl-F_% VyljN\qUQqo>#HHX1{A>zD5lkӒ+h;{$O,3HGۏ~KuަōGϙG_)UMԃ[LN utտc /)@:_hy"\l:GE Ǒ݊lj#"TSÇvv&#vF)PƘJWmاɔ2DEGAmke"zs%{Y^&ި,޲ƗkN4džm47/%և扦 KʫemٮF"mPhI3`)k;|}юSSVT7&KSs3ǧV빪mQh!Ƙ Dj&l5+p<]۱6a@)f6W(a Y5Qq竤?R]k ϲh^Aip nf%mr'Ӻ1^yXmivlØ8 zTڵ6+Y'ؒ-&>>?Q{ boM:+HB~~x*i'[Xqr7}=aT}@ cYңrM]ܰp &rzWJMXlæE)ɑ97h[FA% %B55d=AL"Wz֫QV cFTGW g6TK*.Fdۆ.ftdE~NޟN&"v.w=ZCV:BnI&XaƖ1ᝉw8Z =ĿRc evñ>hmlfp~ :*C^aΜY+qTc:MYC@%P$}E_;$5~*1Ն\},w'M3Ȭ=ECO2Ɨ*?q|CnȹCMȸ#0ݼV]|VN(4>2dװ~eNWĤjdhcz[psmJb.t:=Ff,ہIpHX;Y5|.۶Z+H"iM)Z .Y~P1ɵڊ1wJ^M7,3CN2 ʮ8(P)^%P~^ޣdz׫AD]qxI5sa88p%tfDO%$[!SszzkZ8R *wΩez| *q1:85 E%0,ѓꕗ~}> 'iH]hdy`?SL*4Fj0#QAaw ~6**lܤBV:4NxۂSUڻZN1H7o@C!A{:c IZXeBwq-ަ&qے~[(c*8^g8/T6\m>2Bo {N+vђj=<,{/ 6ŪEZ{1&+<-:/ՐkKօ N鷙u-2;Z_U`ݒ{K[PRa=3\joU6fJ1RR`Q`V}I6~׋/*!s2)ee^/6t"÷_KrӶ3Ud]A1NnE|I"}zFw+oi&69-~[ù>ݴ|t > 81|7$q[*6M,$m朣S?\(p?&({H0߫-SN9U1q to{CG ( , ; 3x,oұ_mR_[ř\J3퓚@Vov:69=h6qs9>6Y5rA'ؗ/e[.jf݂$E)դ h<㭞y7:Azr; 7'X+himC/m]֫\SōTuNM&:n>'6p!ctI\m=L%/w&dTb6^ ʾ`8Th|"``Irc8=B(mneQMs1:O"jg{~E-};( Qi0f^fȞEп``>C:# 5NL =6p{}]E ^E80$愽㺥 " 4&: :բ 䞦rooǀ}nlϖ߶ [rBAT]T"\ C9QUt  7_-J~?8> ' >Jy* 4OqOa /5aÎFk~2smfb(OB'=B;s\q#Qs=2,]۪99U5R_TXK YLGPNb 0ìWvewa5/һ֐> =1 ZJVBf5B ,mZlx&@F[ƍƶ55"v VV+}]^ Ƥ?VUV%ۙfӂ;l8V:^Y?pH|gUef1 u_+2k \0!j{^[Yp\GmԱ9BrפlOp fĦ'$WoD`(H+/;*I}wBxI!װy, Ԡ&10dPu!\~7ߪGKHΙ^kInoNJMWvWD@)S]0Z l%WxQGLixzP8p@WRXU ]Pe:JJ$Z\z{4_u٭PTq)Qh3Z#9^|zSхC\М-zEUF8=5u@oJ=8$*e O:B,je"$5/W&NDv :jugx25ĮؿZ-1cF^`X՘{όc{}bYMo?kw/19wnܿkƴU7+Kl5+%T\]5^-n:Ұ9LiLpPAA&S[+܄!!n5L_V9}ti%ڴNF 4 鐨KEv`ೆ yl7:cw$&38;>Еt(fj,JK>+╪<$\Lw c~R'V}Cd'%>Doh1#^:D0(}C_yv|yi0)`/z%=j\MoX .&`%/}Ahm1Q~LE\X%|ap?Ⲩ-i\Epz}DП򹇔.yѺͥ[S֠r&JkV4_إk ɣ)G*#귂 g?gÎWa gkǰF)@3eBw@]5VP|6I36:Q E6JTm\^J螉 g7:0MCZ\v4eNz0xɳwiVb "&$5b"rDF7M{.ܘaFӳǟ 0`cYxo5;x߿{.]kE9eKg?.e~~A&z:eH=O9~e@Z0ghm a2usIS䕕&fV ת0bl@ͰcUmˆL熵IW3+M=Oϱ ^LUT٪$"d ,36u-gh$|U P)}♚E+b5+a32d^"R5P|S&`xP9s[m6?,ۉPX#~C$-}q %sPq.p.7mqvU7 tW#SШ(!4D ,l9:]Y#ʊʪ$w'j7Rmc%g/IZ5goz-Yd9<_*N t[6ˇzi[ 1rxZ[3 FTٳ}hB˄zř]E\>EqH+%<u1u@ђ@Y'o9hͨ: 0)7w%W0Ap^@ԳcWpQkqBcaT񥱅 \25QS ZgI  ,w$I]vNOZI$rsSXA>\V(NJrW]s6l3n95Y~4HR?n ӯ)lIrL gu \PBJgNfY `!YMdH qEKD?6HcJg$[0KdIi*?H%Y.7u.:M9;V‹u-&a7ʯ|%u]! peQCϐ7H1 Ɏ=mP%2GIF[Ĵr=99ez}'I;M{묭V&ڧ=W; ~N dn.zrtZL{>~m!\Y58=6B]+(OY%ex6Tm2x;w3.'i}AH!lSi@L['Sv^?ѳ<8f}GRAvjFddb22~IMA`\ kO[;z\.*%?3x;dkՑl <%ԮgfGݔcq5AB<\ wM|O 4fW(ᓀg<‘ Q6guԬg.%dYC"._D,u27lh9ufvi~4xF0Oa~%X0#T]U[$ .}8,zbdaճn_n5yE Q;+QnHPV.NK?Sȑ:A7|msXם'ȵ%Nb\HM+9m6d̢ΔO jTG4oY4 iEX.&߇zk# \ɟV+1 B)>pR]KݟXޙK!k\c?gvb !/ܣ \ԚwfNsVm._eOANNB[S^z^wT1SA4Ħ *\>>P9ByvN0eL>}@exlk.H_ۖΎp]6 K~MuvVϐQ9Pl(T޿QRȯޭ43B >!:>kA8JFR(З1M`VD )}UFUD2~[[խ3S*iuSʷ⥃{ ?5yP}8N.WfKIknP?x6:}+E|y#CG{n l:6SqQ^FMF}oSR`W3&QY}*ZFQb)(LnGg!a1A)#LC0Ã/oն]`#R~D}#k!4? [`ts :a>da*LhE.$vNЩUPnjUr捌)R51%P# 9,{$J[;?ƢsdaiG u2)KQ:17gEqHe"] ab|n&_$;}†*m!x^LtH 5y`#BJwor{@Ib'+s0 u1Xx%QJXae9cQ2>AJ١Áx\j}a06|TkHV`dyކ4 l|jCy wt.ؗӎ6U `Dlٻ D $%NSIa1qc;' Vh1;V(=x*QBڊf.1%$J"?v-LyJ55 ?<}rWZXnݭ| {oYԭY QȴɈ8"9ٵ+!&tkK&4>>3j )2NDKquɩDkg&N5b=/2MӘ:GMĬ?\](jT] A>L,lUSCNqdEqZ;5$/n(gO%Db R+Gu.͍=~W@idGƝ잦9|IQ,pYHvzAչx[jN!QV[Bɣg{C` _B~ T3)hf=\v-)\ccԈ}*c["q*BZ[縣f,_,Dž?5ChYF˓% ؿjJEƟ;cszzO,m$> *Jնg6a _ǥ()dMpĄT -X8m͏ j? t,iWG{֙XҹX9\ͮO{?5]R{7#eGgj$?pGܨh9+ʜ0 ~4:b eVX"rQw:yoHMc y~8Źpzx+`Na&+?o Lh@8X\qk[sPFdRIddUa߶R[Qa_`D}+N"t$L똝\ PuyyCCpeŕ"XT'ʵ݊&H$a8mV2Ky߱_9i̾ l,fL{uocܐkןō#Uywk.}` ~\K!FQGL$jJYײeLH4C ٦f|s` kJgx٬,f"}֩G\,Fkq!sg0T,Ŀbnz)`mx׉QHh-1M32 +2cLY)ZLZ[.GBVlƖfеfYz\].EQ6\3rѥee혀d|b aM ͖ZlG݆o`;Vgǃ2VWs#ښ xJ(ջkqH"K yr1ZZ- ҈T .,{+ߺ*2fgWd=E:/ZjYxABQ)FyK /$+mITlu7,~)ŠC|;R="9c'fvE˩+NH̯V̰rsi拋h=bLyLJľN6Yzc$[Mp`޺E)\ ΎY^P}.@= p[ x]|qvQ9cCqimMK+IQ4qˎr)K5}C UU'?%;ک\M#a8/H/:j 1~`rPC~I(<&CǀB BbT~B=S~3#.-kҏٴz5l5(0,f7à`yðʋx٤#x]oYU X0 9܄O>lA&p$>oCv dQ6=rS}cG >4֕( R}3 EW?Nfp3+py?e@WL>0 k}~19^YsIӋW$C7_HTq}om4qڵ`WB9m^H3_lK+0؄^$;^ Vp6Q 1GwLאz$E>F+4TC(v4 ,~_T$yS|H)2I|okIt!Z\^ }tIG1X<¶Ax*Yȏڅɸ;_QS^9U 8~"3*;Js^8dM>ҁH(N!9;V¬;=Ȧp-|p TQvpe5+PHؘIP}Y/'qǡ#Zl}!sevl~6MdoIڠ桃>jH 91}tkŶ^RW 2;ҽrIh#4>Hc(F8X lML!7aÏAXbԠ+l#h~_ wpځSm.g0_4rN3 DcJ`p赅VL74֌<}U6UI? ?+b=%>z 3#o*(ƒE7엞|ԧYkO(޳ 9n TI:-V40df\n)Wd6JoA{EeD9I(Se[pPڜ߭_Y7tv2~vr=ư Q:x@yFClkA'wb`D:7y76`@dEMM40*N[fL{۞,q镙[嘆o!=4(̼imrͬzY ~DVNv*ـPTtS걬_b{Ŕ,ٞ5dXU13]$i|88&C? H[c)}DJ8Óu(fnjlvLeVWr01{ mm%37(Y9ުLҒW*ϻVBH`@),,匮^ElzrI@<ZZK_ťʸIʣd`)k7=uJ?Go5Qh$+UEⷁtTR% idvXQ=+X/aEǔ3zhv{5;J)Vވxd)b(x8)_9DHݻ>/HdiNکi0J)";7S0T*ݘǫ=l*UsTl#]E-3sXZJC.Z ~]4hBw ָ)N.]pFߥS[~߬2o%[J8# ׋K>j 9&AB2%~\r`L! 2`2Fg-^m4$da(=ॿF 6 $\˰K >Y\3FdcW/%>N6NJ4' L;7ay3ݚ8L~Z{ܓ5~7@.VP8ygCh2OBbjf8{#Oe$9V0̀(ڈ0!%j+! l"0>(K ˝jp #Y'lމxWM'V W}:P%".G$QWp@b*OaNo!ZWȻ,-a&>^f%#QpkD _&F?PZ"RhP龲AC^J:JՍ(]r}@ydndUGmj2?Ѻ䑝gk1X3~ 1@qm&7ƼA-Bq<8v9)78+]۶DZbz^2s1'}+o9b h=82yˊPO?% mq+X-ܖ VZ]Oq~Ն߆S]dPYi+t)e5^F›o+k`F$T ]_ q.\VcZV[{ C{r:Ԯu⛫?iZUǸA|#`#Kev{/ymE^'j@2vOD!U3n0W?/vJsYnҴ+8҂zmV_83#ׄ(M t CƕH "wsiWg/\j"25XͅSވ륰? giQ Ma 8KSo &9P0֡7p* }Sl)cfc6N D) QϺ&3]ocl6̓)t"av5.ZZ7u튬ڪsO<~9Ը)x"vlBEH ]}DfWQ_d3ڪ316cJ)T{nOD[+x)Ǒ/s9{l3$tAvY=]_ ꐤ+1 E i̿ # HTuu>%Ov|$R[ "F":"Cݶ8w0_u`j4+,7']Q?/ϗ+5l"I1UGk*.y47} MDÕ邒១q8+\C_M[ Xi "Opx> inoEԗ ט?e1afݏrOXAR`D9jg?rɨ*jj*Q; mŧT\og".d6 - 6q[&`6T̔sFNˣ(˃Urp/<2:ٓvB02a![*2pX1$q*Y޳%{.8lf.s<@bM+r@}T9.cVՕ* G kvT{RƷ'sYbE䞣NzNCl4͔7Ķ<9FYt}ejN&]@c4< o&deL> =)% gx>6aB I@~bSZΰpgTd&D\23(87H:0H@Gs>ϗpU|M?82kmzVòIDQ(yF z+_ Mk 7}f,ZGǓO89缊َckTOְW.pptCJl:ʖ)GmL<\20\%bgtN= S+*vtj<#p::_/ԛRN܀m'!t~;hTT2"B[ ̼ô #ggK_,ϓ9:j!w Qfz7 gG%#`# #dkt=A]s2D锜&}lKZ@ᄬ׽}^d#j$oJ/:w&sꖪRNmNAUObv1RC5m!#Obf ߴo ;۟{Pu"t)M'FA~ta(n1d!jxڲI>_mBA1L g`Uk:o>Q\ܣPuO4\r6 #\w.Ɏ,DIiZVCs +@`g׸er=!$cfeG i&8-x{JK5} Hcv}&a]מRtGj ba$1rV66 lǼiuKo-%Ǝ?#1gAy1qͱjq{ārx(5L;j yV5ģI}D;.yGگ܆88}{ at@zِ ;zqnp5F>+$bA/.b_r7`py劰Fs:&j|ӢD:CDxro_ qs-B7L&>2+Oc4$,Lx8^\cJ*0ր|ɠ2}xBZ5#Z{Epp $PaiC.|/O6VSei A諝q qwsځoÓ)Jnmexhoz\'uƝWFu/ɊzQ|#8pU|̓L>TN՝f!S^'6wTnj 9ц&`` F.=E2P)ޫS꨸Q0"+!,|8C=(=it`d/"Zvq8ZOO>|sxvga'( eNMN,cMCO\P:%ILLc@H>H;I3؏ysd}|V {k S,R?*N&)60g xc;;5T{{BQ:ZsT|ġ3t6FsoO[*^tD+Lj>[ [8B5=+"mYU dJv[>kn!1suTh~B+@gAmvFgA[Bϫt*5so^8@X&QZUQlSY,&ddA=҉ s ;̃v3A^)mLy+(tAh?nSqgv(JI"ӯ?Rb;KZEzv;S4>6X]Љ:3yVtVS *zwS~ 6 MSdyc-**\LA%22-B=F M|1ŐH%.W1{{!LWFěBM/w@s ƧyωvG )_f-5윧{M$Ajejf!^P#"X%|%-LJx@#!ߡGz\ў,_K;[ ( m^# cƓG3>}܂ULPziqdK`g=GdRooTfKbuBdˠrx-@Yd CgJۏ s|&3%ӯ qF0;OG1WYGz]׋ "s=Mpna}cǸ*zz=nC !lY\o%+W ']恩uHi0<=L;a(;奯LjhDqTS}^ Gb,n0\&f:Wp|ETK]fUƙ8`v H--я AcI`3p%IɪY* 0)/2l4FQykrki..#dqGV1]Ha75B 9.z4aTY06ξ-g K) k_y`ŋ%iv*oNl*W]ei-&keԩq?<}Pp|]]fSsZޗߵH1LA?~{`Qꕛjv^8 #A&ocKj2 ~FHQ='U \6I sZ䗒v y2ο^-#68,%Q ɮF] w2|ԧAU]_=Hb%xTM9՗@T-S}u>vqfjʎU Ö|iEMw?Rn_U͋Ji_^m8јk(KBΉúBJm#bcZ-90QKF}"&ǿ;BFxi G+0 ;nŔnk ˏKW޻\s.c|jDH*,2_EoN84k!bH)>_q@*ЌәN2X REqeM]|Z bjYj>N CT놺࿇4L;;dwXeQO%FffXQD2rč <x~U{=*xpw$ۯoU^DO61pЇ^rJ h'skV1D(ǰ+Yf׫uGњѴ"*%3~x8NC, kg U%N!"u\<_`O[#*%^C%>3҇ʥ?S%P0mJ_;2H| 3Ìd[tpwZф݋aA͠Y`U+c R:.ilEC6 uy8Hcu悶 &2PVzZ;pOMcW)-uҨ䉥!=Ó?l\I]+Dz1D7IH9j?1C|_1#+XU"|jK?L@yE=| j',m ~X,Kz-de*' {%9ы^69u~jiuRmnMڿvȈ)vjdfaHCM̂WisVѠ{Y8]<&a_f;$Voeq >LFRc mo,$1,4 X& H֮Gv^]Sާ)W@kG!EASpI`HSCR@Ak( \Ű(?[K209$L%D*Z%p_{!sLN*uliWs& 4`";ϻ2VYC`^a8Ÿ39UNsH:}*~8ᩁ¬N3s5,~!(ɝ89 <]mZɝ\&r/R~ ^;zg f߽HG a5tyliDjbyr_:KZkc?f;DK A&p ࿹I܄q0l~ӷlNCtB_"_XʜŰi12aK`0J*/3so6ґ%VlWc55g$ ,9ěb:uz&NʬՖuycz=1lfhAB9]}5<4H dw7pqKes`(t{TyغLfRSB6@UL@\c+$:ϭ,#о xMg6C V!ͽ6vcbaET[K6BG!ݳ%@\ X# fAxJ%<@"tSNi7Tdzyn<>EhľL"r{fA+c5pmgL-y*u>GLvzn }+9/+0pO(*uFč9fR8)twT&n!X`bPU,,R GS-~'B\bmCc&[<>zГ9k0ha0v< :o+11|cAu! ,#oh_S.AFnGBhOSzBˉ[ Uio?׏OB–X ֨L]ǥ9R h^ DS:{^(&D~4 /5=mdAgQ 1HxތfF%90ҖAs$'r~5 @Cd֒+'/`9^5 zFPh 4 B{N_1*5OUy,;njim)q,>i$09ɯA{ J0Losi QyH hxuo>U$B|FWdYdu*tŽI`J&E&Qs*Hȴ7sfb(|ix6ujC&8sl>daY\K|JDŽj9/pAp\)wҋyQ0/@3jiT<ɎM҈W/m/mCET y)޿ D}Hj0]K(dwRDo }tbt*sܲ^"xZ] x9`j᝾Д~6wKTxC7'$|G<Ӝ/{{P~R=h6֚ԠA0${YWtf k#)Ijޕp%G>]Udp)~ΰÆ H@'&)6ɤf4JջE:7EFB⯃ॸX%䛸!Å\[<xc.pWQjBnR/XĈD ]r;^6r"hћȆR?5XP 5iA$tw>Pso 'hG`DȺ[OC9bj̡i!Ƶbv/+tó6bZxt6T= K$HyQ|~g3:=$?{ڡv{s|fCo$ ݋HsM!]{~Ì@ג$OIeTNnԾAQedL4aMG1h6bu,m*KDMO\j%R %:wLEjtֿ~j4ey?y.ȒRMW8UL s"XǖD-gK(QlWd&/KIeY6V H^9ZF[\GpwE"|i"v6TԪJaٻm J·˽1[~&ŖA_#t힔|N8C%rARpȸۓPh=Wqy8OXZ0yJAE<{r:Af2 gLboQNUpE'V|%.%q5^)fŽ$)f'Px MDA$ Bt8Go@cyT#PsW:Y#kWj?)&UYgCJʱV VD OX($S͗ YEѩYh693% kҍ7Ⱦ{u'818֝vWp/?" fj4ZI;{]<`U$e0` 'F~f`-?O/_y]&qXvl 1Bڡx"y륟gez1BC~KH K x'R˥J|TZ@ji$>o[aլ6GaJ(E#{0i@ASI*kw5:H xԓ\V6M#Jkc$Gq)V WPk&0P ٤W E4ϟQgfWk:5Rlvt@Gw<ŅKbv<+ɜ6.YIJWzZ42[D$3V O7nn[삤4PHg1%Uu;ˍ^ Րu 9+y4ס 4m(+҃MmJo?(?hlz&'\ʄ,4&~^h*i88]ˉ>?zڕJo':i7 YcQfn}T(GH+4hqzW K5h[ ˛Gg' i2s,=p]]"xI1SD}&}՝'Vi{岓6x2 0bf5@V:BnIN6 ep~'3-ZSt1kxl]mT$O'0(*o|щdd\֪g vSÛK-PC,]t*e!y2t$ɲ= MaخNhoU gQVj0(6;  _FoP5[EyY/Oyȹ\PbT  ^y<&S|:WN"fq$m20}SZ 7l{C}|Dn/t{# =#DiPkn6&pLV?٭vk` ͝>yx$ T 3t|8Wyh%(XGGEZ؛=@v9n]ŦJ} E?)Ǧ]qRDwQݟާ r'ʢ^zt΋he T us}5gt 7q%_W_ q̕.D]Cns~9Px@:/;9`ƅF儩M}쳁0woPo`/@d}}kdp!i#[8ͰUchKãwRhuɋÍIhw5D}lP %wz7k6gO=$nx0_R|#(H^!5춖^Oqgn~"i0Z6?@,$K5栙̂g1aFZ^Bickjd2̽m a4+qT2Q>L&7@б{9 Z ru@ ?\R@'h)V"m{9!Ke[UUpp!z *a[)]t9oq aD#5N`C'|=Сuى-V>wj>18dx4Eд}_- #lTi&.!ȑX/HZ)