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  x x`1DD$ ]% HOL-Decision_Procs:threads=2elapsed=535.352cpu=1018.580gc=89.644factor=1.907zXZִF! ]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օHjo VQd3tOP6~tfPFo}lf24 g ڊ/ٵ~2* T/\z@۲{Ul50>RVQhF ٬C@P8DIVVd^~@"oDk>ɵ442[\ {1 i ^(g+=XNѽ8詁0{WWS3G%?/ALi{PA5,Gatj!|7AxkH&0w׹Bi^/W㹭ځ_ ddM7|2lBhk>VZg@S: j <"YQ̿#+q N5CD9iN`~$9?0<C(r  q`u8_֐)ݭ4I LՑE=|3o&]]yb .-B<6cuCOPnu$rpo:0oXf|~qc1;jB5n@:IZ-`}~/+/GT@ 'hC|#v@ 1zm㩹βv5 nJV"NxP|Sc| ~25 $KCOH9 ewjdƏٜ uͩʃdQ'A7ز 5wЊ4E *'hܓQuͺ3}ӆ82C:LsU.8-8A;(M:=p&i6 ] v[{_Yl9I]=.hC˃ *8 e4>tx>#Y y+DŽ08H}ˆz{/N`+S ,+g4U. N L?U oB5~.aFb&mi}!8KIL#[u݅tL/=gqaNuLrF@iRhD6&O\$(Lj]N$t_ւYS*#T9RArS _e9ϙ~c5z7 R9t1̖Cӟ oF.*YT{3~sQvClQmn$:k׉{PhDQ`aRM)0ItGSrA_46q.A??1_Ѵatf?nVfny^x^F[_%,PDCTA>?p r _%PfUޟ>Y+˟=dY3d{HuT_e#s52ezgL*Tl;b i[[=.YIZ@ .ēqs@BbDGu[W ;ծ%7& Z+hFВ0ې9% 5Rqxx ]RxЄfU]2p3 Zz 5o<^Bژd&Y]VJiNU'ڄWÁW%6yĴ:o.ijWABxN)~jV`W%%=CG̎Ύ(BVA?CFYFWӿ OgݩR50ܒu0K;];Fp]<L]+"qbҕ,3uG՚ُV M.ȍ `0ߢ݋ބ07-;*&U'V6GIFn%tNdKrf%g43On<)>,D+5%~lMw#| uYpvƷ(o᫋Φ#`%ތCq%Su/J0PĮ ƀK +_]ֺbF05T C`bCھ %%a/# +6 \܈b Y-Cr1x-mutXF;^:}.}%DeCu^u#o<ǧ D ԝʪt04t-W{ָ-@k9krx=gu.'[2v|%!k[G|IYDvm1hWB_V:CJC ߑa|@q_p˨V]F'7I ]P$ϒmS#>Azn2eی bCD SBhd*EVؔF^#Qv=a S4ىE×$AEXmvV_8>+C$@<UaH1|>`'϶K}xY% D=|-$Q3@k}.*^@%Q|g}Ѹ4\N\5duDZmXBkjW3}fbOydžSMl֪9[C&їCqUy+4<<֙Xꅟh۩ɵK82"Zz[6jyn"o˄'S9P;K9nw,[?-VaF (8cpXSe} lQE,|=ifȳ0MъO nVf*+GlĮH:qF"EĤVpEMGӑԧ>H!;t'Y|*˧_rO$s> ڃoBG޺V9$ߜk7sa[2?hY.cα;ŁU>/]nEoIooe$]rFŅN] waU`<󼋏VX&/1)!&M*H&跋O /eeNIt֍H}qr~G8aBJgWDS.YԖ+vۢ(<1,#^b+ Y+ptKqfgz0z}c熠ȶ Zh.pF()tQ [LqY(-b`ݧ6vk5Xށ}hPXO߃Yn^L !]x#<9Rj]*k b/FFx>ao,Kr{)j%(#Լ.)o%7@ &SlN饦^|?}D[/>DZJm<;JoƵKs^SV5MM'yq#J[ܴZi`719a&U4%IR觱gYZ7zXZִF! S]ŗXiɟ17L? KxlWP8SաM~>fٺdMRU\T6HՊa+bDwZ+Xif% JRtQFV$C5H8X?2J'W&eٸ@o2>L01* $fc",˃#n;e^ 91 vm1 C}D/zk2ҫQHM'1jJiVk{^"iaf dBu1_hYƁ#&E~Asq i.(6 ll% ~sЮ|WF+!&(׿I`AʫJQXY* ]=z@t6@Iv $ /r^{5MC!Kx_8M#Qtj`{Ro[ܛS?zk6 l%6R3a՛&Fr#c߬@шb/>Zy1{)#m6!Ioތʕ^1-6>Eª[;)ձv]x!J叓@gQ>m qY)>~ԁœu|cqW<~!ׅ3(xI- ԕAK޿r=M $*tbqb)?c=4Mni([8T{-}@v53t LݚV%3?W¾Ȣ ~e; ,ٗes-ݭU.St$>Fݓi25ڿ 'OQMKɓveyz{V`ZI9A40M9Pb v4;ƅ2<xs \B[+s馮+=:)^cK&)U>kb dbE+Dvd (@ݕP׾/E$Hۈd L=|h|FPJҏ[UKE֮|VGZ0уU,fV󕟊b{U% m6M\ P+=1__,;D "OɃ g4.DV0,g.XA7cIɚ\/@1lll`'*j|# 1 #/mѾJfd켝ﱮ oо(>DÞ&L/SΠL'$Jj`q;dUM!;Β?;b˓]9,́DvXo߻ mN[;y ,Å W;pԎ-"Xo Yhc.)MSR>៦c~cX~Ҧ6S taMu1* Bb^\`tP0vŽ?r0ߔFЌjQǏl4{DVw qB?s4M]X~ծ뷋@(Azj sy0Menţ:)V'u\ 9MEiyrv0uG`I,bDVIvɘL sƩNW l8"0V9u+tzyo%kʷyuPF#_x;SR΍̴Mr!ϳ8+~YiMƟ7JECsm%iZ7iMNUGMބ]ڔ: ױ U=4}9r Jx. Lr\HP%X({Z` p4>Ho fidQgM1*ҐCϔ%D*wePi^tz>Cp(z>u*銀/k%<8?<,/OtPz Ѯ]c; mq"BMr&e3cyyvSm>c4X͝>F9=&愮}fRzZx/sўW@zM@C;C7XP2،?.âqt"㳯]HpL2T"t.1.J++L? c@VP߭$hیЩ8Xlu];={۶E`%~!x۞.qOMCc ;R ISAS=秼T쯨j)WJO!o Uq,>3ȩ[畩O(: _Jq!I7}LȾ5%w2 ϗ'2)YaU)^\0O+_elN lK(,!uѦn{?5.TmhĢxcbϯ>|')vX6<| ֓yr3t.p+zѻv%C0eu2znPK\@*3"j^{`w~E#),ݣ_wx 6R0"hgɥ PGVƒ3 tkm+V$,('NB;%[2b}* DWnuF!~ <\,[#QJ# ܝӲ׉qk3+\˾>eenʟ0m>h!AleqBR`Z SVԼrnHNJɔ)JyJ岩&bQy3#܅g~V?ho$fNvQ`$:MeKћrn8Y'@m9a'\o;"hIqpZޏm2!<?w^asgSo>7;\Je#C7FʹSp\"ySCO[|~~eڋH$H&E2/E>/~Zm;]%M`̝Y b?.NrW?>qC4f:, gK‹f.j23 >­\ho[4mdU6Q. ڱ.R6QJ7q!| j(҃Xr@80`, M EҟNyKI> I8r!(*[ =W ~<Dr lёl" cL24oc<9*qy0!t8`Q<–]* =zx>4~.b>1Oi#}"*{R۪lKh<}9>qW>D hq ݻz/`w*p|\kD}zwB >t=03Z:L=W` FN7$ YA(VKu/jd 4zHkoq1(lt;~"t%Ԯ* wlW(Vv6'%:t-4^wpߗ&ԛgڴ\}A1X[Jv Vx?ތf3AK2ݻr ?nLRy}Ƙm[\>u;5Mje b6F֛VǐI5eP 2G5nuK[/*W+'SPދm,̋#wGtR_A1d2S+q~e\#Ijj5pݲbi;RHlS|X%"i& eKq([ [+ oܣQ<@p/)<^!%uUp #4IZ5鋀IO5zB"E8W'5UfKVg*EޱG7[ 0Y^F37vz@U}K/?lӔ,Mp3QAA T@#LhWW ul3 K]R{* x~9ʔN?^cQINkauBmmJn[ m|~}<vLs9 _- KsW tJr{)]x\<:aLzF 7v] Fʲ$0pFDp<5LI-TR]ڇIp2BG $S"j,eqf6>4tTtfa0A%@,PC1gޢ}8i [/߯{,c|'@L(IA{U -KzR٩P"E<o<.7;'劺>?sLڻ>“U(}Ķ͢t L)`dcLfpẔc1>$SYRVT-Ag; z{c/=I_)[P kgw" fFkNW YGO 1@ S4劎>jJIf+K+lD<\J qh5ԩKԇhwNKs%` NEC!RplU/!&Œ,B|qPF`T)4$.lD };8BQ')̏.gInHǭbfiP5F>n#D1^@XJtXy䤐R`SָEZV{T ҿIps4vL8uSq<x{œPMwLsVCđU.gJ]R={' ~'Z#M>P2G5sWy:-7;S\3ka&?,1X #â& |P]9+)ܡ~23q8Q#, d"XWX䂜 Mkz¨5S)֓6xKPwb1"aIC C]]qb[ 2 @ښ> D/Z/9_^B#AeƵMlmV[k},ǼŰ*0i\רRS^x0Hjqs, hDY;H:VH~0 OnR? (- _j}"$D)F)'<`ۉ_Dfo%(3>eE0 O?<PWLkdK#*o@Jk2с6{}٢q*+_Yk`醰D@d -Z/G8t4pVk`#?X"v!Tkv!Gasi7T2s>ϝLy3@j[䥐`^#^Eƭ3~.Zv3\ xw_{ .JKݟ; dֺ@?Lf8EwN sϒu{roV{i$2쨳*J("GbjmpaY=gW 9$/sEOHAc.?YWoC%_YkWrн/ڮ+DWbMО|36@6Vk\6VS`ՐG41*g;~ ?먲9%<\6g-;+@6‰!%Dlg]cK: p4BApiutcXޢ7J ^aJ+.Q‹W8ۃLpl~_7KI S0͏Fgmo\RvIa?wj;uq? }ɠ$@pA2U4&ǯ@Twِ$b6R hq+F^NF%UE>5hdor9Q՚2ix'í95Mpg*yؠ˝e $bUrڽVaB̯^ysdl- Z^HY5h{ sjw—jkndK H&Mms~]cAN[#Ít%{fBbR0+VfY͂E^a ҇ȼ <թolJѕ5M ).~88CLXjjioET;KӶqUI 4ݓYiFMti+*J $T$L aUEvev_oqīV- jF]Ga$"Q4|7+dj;ؒS gk <|KS5%T48g7-u!;phztj+eNhx>P -WCS*eAbg_6-m"{-̝E&P ۃ4K#Vc\rCK*: Z=c"l=3R^Α䎕dȗ0FPyvBj{^nE4#;7Jp:3 }<ҕv-D[U[Eڹ0X9x <2zmNwr] 8Xrۼ A& yVEO8*9x7Ցnbsx/|j:Bziksoَj@3(yΊx馾-\?g;ȟ|Z}Gq+@42O8e4{$H}N9[r*†y k3ѷh6qO=w~ ljkak[ңjD09lv'am';E8fu V,?y T)n N7;Qjn*}.?Սz*{ƟbZ<Ȑ6 GOmzu \vДBWԦvg>s$(!+>1M;] ANw#6/X` &bſM 4$-qnB "%4g~ [̣;i@i 1jx LlJ$ cA >-֯Jt_;X~VL[I1fu,kBr0* L,{72R@ߍ(gjdz>T%mvH@vO"gSH sUg*6cPeіqiœGu0x{K r&m^A2qhǔRˋV6ҞQy-2K9}\" p-׻x"Y)눈b={3xSjX>!%ԮnNYA{J2>e0C'-e9Pn!W-wM/j/!YH lJJt{ tПtFPCb=|tPe\ ]T~fz>1=]lhW5^5J9XPu^|=-rAQ1a&ԒCXY̗Z;LRp<`B;q"DVPWbUS*xhi 6Ae%.%AU>eI ,;-˩2Ltp>^iqH鯕*z9v4\g^āaG-+Y ճu[U5EXrb'$jgɑSk&{%|5)~X{5bs)I" }p[ Bd%{(=;a}\׊2@aB1زL=ŭqH^Z,'.Vvx6~ sHXPK1Xe\~4a$6d1 ?l&!( "TrVDwe:c.x3HÊC<%yA.5t6J@4ɀAMɧV?u-ZjuBÜY)h}N*k L#?q;(Ay,q֟j@=Eˬ7>r0Q$*eӰS) ~:>qjqgq He?[<ሳ#ԄZin'}NjyLtiMz$$ڛ Eb d/w/ርBͫO|Ef{.+ȶ"'99D2.`$*8&{,E]s:(si{ph8ǐbA^<u&>P(XVS |7}LL|c/g.}P{{-)c-Gr'omA 9$` OU qT+<:v&@G2?I?OQtw v6͋a—*Z助a3T'(,opzt<)Z-C8QHb_9+PȄ %a/%&2?H95gT`J7kX&- 9 Tϗ`~27gECJ G4Ð( F:z&pK(bDSCPu>>wɰ19*R,!>B>re*gH枧{}=YG/ ٓٲ->SJd.~ >wV4LRKkޗ'\'=Lm/S~dh|)*M9*rntTnwa{(6"ȾZx! dU47.%jĭ\~ތMZVC$,^<b ؓ-]_yο'"X'ϳBUVAiEj{z.qoEZM{&6UMv`M׎Mfdox!OoFB' ND!$jUId}"9t\qp< U E#Oan7F-">1e2ٜTVoA4ڕ#8FmR r X帟ޫn0)z+<Ή9g؁)N@O9xO7_ y(0/snv{݄] ƏР"16(Aw _鉟h2N^-U j- 6Cyv1[xW nva}dds6v0:+.³@uJfYf>mfiwiƱ7ZdRMN%[XvҬ~VoˋZ S|/CAWzӉP56ToF!9g6? XPߥ|[9SH s|#YHf !}sasz7-4ͶϏEU>5]_Dn.JOpn"oTG%$n;XYncԡ h#!{$=4 .u1RA`x ! mXJ &$v"e'qCJuZ/Mݑ֋-Lm##XN񾰴>9O+pk3([ ;QB| B4|WY:^}uwimJ `T?Ig5Pޤr䠲kIL7Lx9 9r<.</39='d; xn$iI]nc(4ٯݼKZx{>,\ݑYϤ_;#HyrI6GrQb+Q9mN12FEfvꊾҟ K%zx#M2w/aګ萜I6G!OsW/K3/t!a,3>vCw V$Oy7k n.}Ҷ]S1?Ȓ&U>#~5誳wLT샟y=-n78n^Q|#M;-~E @2#Z]!H4Rmg}cp;q6Vݻ퍗Y9LjKF:E0cSjַ%Bvc:wgb(pONFu>\NpC<>!M'V;Gy~Cy#ݢ;3cK='fiu#_8+,)B+΂[U!9<27;LWVt6n:p3{uSb١?V-fD5( u.i hdָϼoUݼm@~~>?g4JtȺ|s*|\k!%gjX8' ~iEBY+c[1IUU?8MBi;ΏI[=ߝ^g'/@Y<-Ws{?C/z]V^o/ʘ#0)vchkh=p(=P%v I Ni)(% c~7ʋ S>khhS4݅HoS RoƏL'EO ?k\2(=h*ъz'UƵhIt<@BmvcuE^ݍަ뽁*qaw[Yg7d`"8=[%ުTQkwL7įR0ڬ5̐f8eC?e 2 A X|3yvL7Ȗa-E+%۫|Bs!1?Iќ]]=󼍮ԕoZZֆU%`2TtP [IGfq u+/4O>j *DKX\yBL2 `?ͮ$nePQhC^0mAfy3UT89fz* ߋel*/IZO#h~V.`)< pƙū@9I@5q@$CLU1-?kAWf2݇~8L+8Ȕ$fy/[vS)3S2q$G4azEBiE~n|]>lc5>)aQJw n2vʄf3N9{&A'<<q$7G/2Rh/*7jӒݲ:/<4f ͵? 铈Y] {-7k<$6'#k7ۛ?4OeۉI4fI 8/YY'Ze6 `b9Z-PAb82[xzZ~i4ot8yL)lL^5{r4>9@=! 6$~R'A@F Ж0})0B`oQD5j\CB}lc2ύS[}ALHOFr@s)lF î}h0V5Vn>-,c)y0HUh*UŹGrR*=ڱ]0xyAanmsSEl+qVυӔSE dY#KVvpU=oNg8D_<3;Q?2FvEܴ, iN s <%fԈCe"&|a'IjM+J@Y2^Å3J;Ug2ؿ=,gϛ@GunzS׻Qg-=8zdI[>b/Zr&1¤s>E_>!f儳W. k`Q?Z5 mOBkL!Bގ0Pf }}+%< s5EN@um &շTqn2qT&Xp<_Yw2(f7 n?Ͻ=(B)͒J ?k=|̊Δ3b%v+oP̞ - qeV}4 G,ʖ5:@LN[9K.oMUi*c{c Mƌ$N^ol}p6jBQr`X/%) lAGܶӎ RVs1DŽxр E77%B۫hY+"ʍ& Cb84qRSC<F+; ]Nhn#h/%?<1hS 9L.&#{M{n׌EcԽ}ٔ\ڊ I՞aD/tFr'A`.DJ}Z p6Ǐ%IDgU SD| t&D3sH՞ǣioNgc&܍xO6HMoAЈ:K)ȅ0T s֘8.1Ѯd0Kg l!|38 oF!˗T$pwFrCbXҶsh"`&7q2.z ȸ U&GZً9!;oeJX|kx1/@*)VS8ғs,mʦ )^|  Sa/l`}Y,*,,P8{U'fww(S8//(]Ei,*kI;Vk"Q"hQ]{L;!76YE G$QGjYGXwD}ܟ"ZrQC<Edx!62'| [B,y`@}7.E;Y " }0umU!A,em|]wޗ6AS ($=_mQ ƻoN T4_`|4Vg'WQ05ҟnO2| ,<064c98Nƅgx&-}g`$4jFf.]Je0Xd^am P9 ʦQ W]Na1;"DW d!.$z wjs~C|C'$1蔂ӱqTTX)Gh~U_ȝ6uxw;%Ʌy v/܋q9 ՘~M:kNlgdE&lTƵ2dcN& tW$W𘡑kGE܊?J&xz:tMʁv)< Yj.] ~R~*$,}Mb{Α3"ڨdkhm(|l_6P#$"B _];y)}i\=v.s6ER O,dѭ1"w[6 rHbF,zdDYkag]lZ؅R6i,#~Og5odz`K-Hyk0[Ntf١d:Ȍ0v?aѮQ"a5 H^bS̮~\Tl@@ר'YF[9(O` t@Fm!Y^Is/f~b}p^9 ݚۺlˊEH/qvןnÓٸs=/4݆r+LX|Y"n;ӷ4Z=i.ϧt̝k5B64tyRyl8̃D>r*ᰛi@Vf~2oU(R 2~xݑWGQh(&$XlT 8PxSJ2F$:;eaE [_Ugܦrl^w77\e>]hΙ;78bwD/.L cd']1\`5xUZxS)\rqp+q'-}.4(1l52"eSˆ}+ij" F$੕Q4{RVnEky/D0ٚ" L׺-lʈa-cE.ZL?=ڐ:XoHbMI?Aq eQKb[M⫸ctX J`8o4JY.lYȹ;UR`-pr`<&Jf/wm,%[^C.hgˉO<Tk-w^M~Hu\gV!ڄoǷMdz֍|6?Ilf094nKNˑf-UܹsڷOTjsFz6`i!U[1|Dyϳ8ʯX?,b?V^U>o[Upϸ A. @4]cg/#B}qn~c#Ĥ{"iSu Y沴@qANg]8N2nOn󢴴61L*vˢ#!Zq)Xz)T%(B9:_5PxjSr~;07YyG%uVw?ԇT8Ug$7 |NB`T{'h᭚OȬwc=t3OqĠ{Qɫ; 1:OV[6-9iη՜U6‡UiF2),fC;?f=+kU#EuzY;sRO:ӊ|{,!C~kki#fW*ZQ^h"\ۂQS]XǹL.[c@:2TǜO[Ti`_kmW9QvEW\sCApʧnRGEp"'BRQ w9UUs?wGl K%',"xLOjpEs?MlG)ؘcD_sprtF.,rT=EA+QE/`ؿ)vw#E[rv?HH߁V^fޤ(z_z<%\!/EjV1]"!MJ\4>? c{aTr '{Gz]Yn ID|C{*7Ӄg4Eش\ D2M`@a1J ⭕5/ZIL]} $zI+l,w^8rAWV?C?~ꢀԭsR7^Zl;<"R$&9'cntxIOiծ(*C$–>C3à;3GVF (l턂kXH0Mg>I8r~vp\J}>yN/[Y_4+G>7\Sa' !#jӜ~{)52J`M*Hlg<5rK9lLauC]Љ>2>O]å/z牫 3?rFCR7韕Ȝ_l2qBVp8mgE߃ęj1HE#kBTD~9="47r%\ F"KԬ'?WE7EU͉~VllT&{\$hIZ^]^^m©QBo[ykxT~{$w#3eE2R&ddoY%oY(tk} B6“opJY>w~H)e9IpO{DP@\&7˗Ҙ؋GxҢ-w$_,z*ce0Oorfh`r‘3WR3eR88nflf{F9+Y*.̆*ʸ&xgfaǥ'KE`\WLCȭB! <"E?JO:(Nx&tiGkU\'%L||wCIhY.]vanvт9Cvr±.O}hȧ+$&A{Bp!{URp%ET,󉂔"PʟC#B:հ &XP%~ѽb)Iohثk}xԬ^S 媈*)d5bB`ZvEu>3{D+ >v rp2r:"I&"'lC2gn{,̎ퟀ?Ѩ)RE~p]gPlݗ~H]-̛"l#St}Wf5:8MGׄH>!$#0rGfO[< o`P8;b!%#h?kLbу 8l]Ԥ7NGќFϧi*}!OxPoJ'p+X3_z̿AR1&-Y&ƽf>eR9y(+x#a)Ϛ6v~M`e>; '+ m>зe$m=6eᄣۅΧ!rn~KScZΛ3:|tݽY ‡- ~"78j)KNmI)aN9C%-6nfCq:$ֻO؛;la,wG"JHjJ Md\3 *7/qd],o*'˕96"dQ!En)ڑՉ#f&ĿbA* ]&2w!H'#YRdIȭzDl#E; (7dwsQ69#mF/;[O&ŢYfE̳j4gqP9#=GJ&iQ™8 2S ?sG_ L|{p uO^H/FzA$W_g@yِ $`mr F[2J9;h06E7UT][Kpƭn޸m:gojO>;!Xm:+kI&o]jT#@'`82 w(/ Ytb$`!eS\SjG>ivrbd{nN6YaC"nS`p]|$/:QsoT Mԙh.N٥Y@<"~SypOJ{h;ʱ|)@']/~K<2.xfEez@u=W!tMT%8 mg-O0 a!O~k z N%K1~N, RM7ckΰ|JȸTXAb9G'a0{㹰7l^|2O'/4O>8wDCK)u Xs$;a7&!đBߴN(mP3@]y>>Mz$L}% 񜖲{W|u[oOip>M[uZ,3d#z\,Up0 )QrWד0U@06s($5]UN#gvlF •o,?wcq !<`$JC_ↄ*[RJ)BJ}%V&$|RpD5*3.W-"2ۢNX-hϼMb#Y%Vji[פ 67D. yH..vT(zdh>;~ Ӎ5 s% Y/\"nqj OEcwlϷ7햕!aRf #pl#5B:霠WҎ䉮rW*YP ]827q4ͰB>M-g9|hKx$&)Zlq|/:+`߂Jƥ |QM Nb{ `$&>pӱs*-46 P8  ޥ6u*Q_gH?'׉F 4 4ZGcx񇠉촒5Eǚ%q@kQp͝+}_k{{\*Jb%Z(' NAH?5=&I@3GXStEoNso4+Jmy̧+HrcQwkn}^{kۧ M6:8 A1b6%iz9\8(1ݕȧ,_0B2\:| -&r=[nVϸ,7Puܧ [Zc]rЮh˱OSN|)+  \֨ Ͻ Kț#tpDy<80śy{-%qUNL9Ao BFў3<'؏[ٻĢNY<"V鴔a[9qOYT&n‰y j z(2 (__ .o|˩ߎo [=Mb\PoJior!?麀ڄl3UsDS[MzbXIꋖZd*caώs6>7ߌi]9,䏤_JR: BJ? Wi mp M*MRaӫZ;TBM {?vz[:B냒jr^ZۇYOO'ioZ:,Bܹ~:1W#YhaOѢֻȬ<5o}E}j*EB>I"ƏERkߛ:oח. Q'Ub^dsrW{x#Ϥ.P ۢF.r9lFbr>9Ʈ{SL')U8t.VN"-v/}FIji//{}q<4{On8a5$!lE ?T.3<bK'I ɷ2EMHWK2`UjFnjϴgխ׃eZc T3%!`k_wUoz@Pz RrYǚD3,Ϙ d'-VVٸkUw;o0gWK+Lu9EV;i0"ɽF힣톊VCR7nU\d蹻εz]F`y+5={8!$P<7lC.I# Tn- i;7~v = N,t Dٙ~pU58JubOHmxo3LnH`^i8t]ic߀uBD {$H;7W[b]UVpA~ 7WEpڪx0 0EM@,1!&8| qLrXdA?dبFwT*{q䩌hvZ):!)R BAa0D +8a{QK]J@sc'TRfpnw'Ypsl ljR%rՒn8bm3zFn63(= OzE!F$NVzhBC7bqEk;3vYO,b ["4jjo74ӛlEB: 4yBw[$аom:K%:tecqI!~ ¼`PE[1HQϸp#0/m"cpg>7B|xuм]#nd>5M $ pgYZ7236ec546297b51d081d170ab802ec55c26f2dbddaf53072a7b7da07dacaeec0891eaa6642c159c2 e32a9e161b57c989291c7f5fad06918aacff06a5 acc1a01ff3c9aa58d6357f601c4748f07f6c9558 e4c6382ee85454ba23aadd108e3ad3762edc7839 760336634bef6567a944f6538611b536de8b146d