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  H H|5 ; HOL-Nominal-Examples:threads=6elapsed=362.013cpu=1363.836gc=117.028factor=3.777zXZִF! z]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&kLp8;!sywvF#Xҝ䨏t8M.F6LN.>Ƴ)5t&_Ow@ϛ6c7orU1'l qP`-^1"x脪SL"!3Nd|{:v{ eH9.\;#tG#@Xqe1L2_)5;S 2 ؗ / IkM:C6f$_k3b'7O?/28hjj_}q$+?sw'tw= y[=EI&(V=nVNt*[;;5#^Qӣ4Tp`zhG!8?Mv9“ b_5H*>AuN :k'Fװ9A{/ݑd۲Y!|B{D;Mp<xɝ?}>+sH([SD =9܉}=? #HjY".]ﰰN*wCR rھ}ӞLjs 8Q [ޜsq7YH+;}5Ʊc$'u)7܎#ԫmlT0ptOhliZ>w8`R%MȊ?%i{(¡9Cy8eZ. X! Oz̴')Q0 iz5ECZJ`<OLjikKӈ|‘BBKyPCcϊ'/bWWweƃ-FD0D~OgxغZlprm);Xu 4xϱo;Z|kS\r^9.!YSvku$Q81i{vWTOBh?qvcV JyJ|͆I`͢02v=O`  ֥wR>1׭D2,'\oVԁjaȋWC\aK[ ɕ'v~.i@I`6b53*h*ۗZ;~2#bGKuM>~*8) 5 HOL-Nominal-Examples!6Zn]-̂2Xb.v L( *jh9o7:TB8>+@DaSI]L+ErVm@N YCJ΍RtϚ1.>_$bX!mxs ^ܒ=C2J&gY[SJF-j ;_gtnwKpԨo2VȺ}+1\D40I>qdk/h&@x/ت,& ?dFIPp"S,ԎM- ~(_RS ؅{Z6!R*c| ܲ/VmKm*#t&|W"]+mלPu=sl0g*"}!7\B,>zjmVE#؊ݘSY%{O^xLpO20m`9?;"]%rn઱^R`4n%#5VY9(o `bf/ -("2* V3rFƴ5% (_4.9}¯ͿQ,8 HYmDOmf%` c9AM1&'a1wť2T,A8Mbc|e[T| :LntʩF `׵~rahznj52i͇ж]Ce?6S:x8t^?[5YNc&K‹RIc3I7di_I2~2g ڣ6DE ) >(~/kl5۠aL3x#ɖph5WlMP,x+ۘ~(jqo-%=gcztbt&my艶K|q䡼 oXaJ0>z`iz!m,8 j!$Lgptj"0k21nc'4^4gW)"hc. PIR>ڿkKh%(^S=6;{X1"$tD{UE ,ih{ʷ7Iu(1%1F2`ݷp#xZ"/º 7,|ΐLLJՄ5v[0_74wvtRL;kcZWRvK83}QueU*H ROzVMqLs,*Pl;mZBi'A -18uKXrTønY+nXuy80TLq?h I]e*;MY<=_ ,=TZODSEƄ_LjЎmN{8}K5`QD jo+tT+uae|K"78$[1b~+ 3%tujG7UgP"ʹ.MhlOu?!%w4( @ho_ 20ޔi$F3dA6Vͮ7egc \t]kc^: FІ_ q e[|yc8moBpa nŒ?;fYJ=?CUrr>QmHZ) hՓ܋g݋upYt\)HN|b40KeX'm'4l;f>Ӱu#HbEO[jICfvtҿ Ddbtrŀ,lȷ s26<.C\_p\۟z0J92!nL{!_ByIxp 9kDkz;Vs}ڠaBdyJ.[2>oЬ¬W.Z O(HYd{HzJr2Vz’R׍t^Cl͕g'WWU đ#v~٭q(( "Y: g?AaU# o9#BhkMZX :h K;CGsBi gٜM<#4|Z1)"qoïn<U+V?ѾLh(Kfh4niܧ"r$喙2)':;}9- 0[9HcO6 [Kn uptfj96TO TSF9v_x dٲWD4gMITat 75_Y6?`툘!-#z_m_HgCU7 l[^ Bk8k3QC*n[j~74 힣9 ~0#²7xp9f闼r7^wXvB{Lpo{@)k1lԼw<鐹`!߲uY3qZ @j'*bOϛG4 V r13hWD?nQppٳa;/QsH.8:Gw9¿5%1\^'$E1R:򊜬οIݏ \hN4'tbJrhuRP>;`NÅUf7 2%MHǨz \A|+綃xpۥzs?jEbzrY̯DZ3)9u7hO1xMC %_<4F:SmeQN;I[(TCz?* k 0ն?$\t՞SPyPC ngQ{(*j 7-lBАA5Q,ݍu6!tUd㳊OX e?Sw\@r3"T’tuaۍ]acr.o4e2# 0=Cß:5Z[r2oַS=õ)>D%> k=[j nfr'>/!J=rUBzy朹Z֖z4&hGk g(6jȍw`/|[yY ő&aWrRSvB\/g/֮צi],:iRvH&.u,=s6:du7rU * ]:!;ÜX)D'ZW `MK ?xS8̯R,z|J.C5|+KA&v @J*tJ $)% !(#qZv=sN Wr:NZꚲ>a_;̧ 1V¦Kօ/.[ &5E8R " FݺIf6"3\o֗1L+mzZB?N RQ*r5gg:goEX#+YP- o%&'m {?W>,ů_ɭ 5;IZut=L jrΚW1*W[dfj Uީ,Y$d.髆-&{!j_w)<>hXgT [ @GMP 6-7evq,ob#lĘ7p 4ƓHats?d[MӚ6wּsSkZ blNƮt|FvĔ a=j,P2+[Dzq$_`މTWz* l=>b/j1y ac,eSͧA(;r$S[?3+SQ] J/I4EOW{*>!0+•[zP.ySni\AHm3 GtOqON=̭ *cc38iG\s3gAXYluA }GXCX^(i?ֶIst46k[Jjj2xrܐ;"+} B  GGjWTѕ(n7ԭmC56硰Lb{RFWW :&V{vCY%<2ZD{g]z"{}7P"G aO؂F HdCpuuv[k3̖8ڻrすB;pNnk6R))o-gJ{ViqDԌؙlNkFf" 4f dşӂqJe-"7'%98O."Iˈ*KCr/΁reÉ~"k57k佮^GXbD';'cҀճeNtbH)8 Ϸ @xzT$2Ar3&h,B!g)UsaߏN-_KVC;ʯ44hZmI}@c `q*ʻf H׏eFNi@\Z )2#z5on9ŧqrلZ] X* aVHi>oEi(ct~SttbO//xTaMKMR V.juJ'ג8QO5{͓_6mh',͹o_+Q|DgMtIT->L2 {]5FX:@r'xν?|{sO 1PGɫ]ױK Hvy vZlzQ a9YϳUҔ}o=3Ӹdg@& ;A%7hIxqǰŪm@#}:)3}Aj/տ Ut/}A>9&6Zk-oߖo _naK̥sր._@2! ^zE11Y/(V+6e =|S(_LmBp Usv,3*(_6&`@ëC->'aFp^b7I6>_pQ5r.;ΟmZ"V59cu15S4=wܙc;M K֟?cgQzm~oJFnye=(hqǠۛ P=JJץۊil_T v]k +.z48d +1sY9b[ڀא;)3@VPgxIOWahވ%Kwf1 ^=Zd\4`eY+8f;ߖa$cHɘգխB5o|>(7Z`.ș~CM8W)sI餛~ǯwǼac\+)殗=Wv Mʨ`}`:B B/'DoY)`>8ܻԊVs[Ͽ Z$Et, $|r(%gu} ~Lc p־JK_n eZS[9Xy;anT 'h@/zb 9l؎a]*xeu.v-[~,p(`[0N7݆9HC=~Kg*QϘz4\jЋ `ձ p7t"W ?cC`^xrD77M_ӒD{fb o5@lpg[ "tjR(\6_V05:Fw_藘OP΋ۧrk~i%ejUL;"qI}b/4K˪7BE,׺uL\i^ᣛBw>j Rxhܓ(tMTց2G&؅"EڼUJ| 1 zL]JqkQ9!JP8 0en@C.P>.B|UJ٘*MOCb{n; 6M~uaNg,qCv-Guh:2d#G ,WR}dkN+"Rzl,UXي ySGKgpUNK6RsO2cb+,9H9f`iFww;B4ex1\:4Ò5 !.PI_:zrr oE3m$iCvt,,k :T2fK'b@kC)oiC0-:wT;`O8>kCL+qmR m1S"F73mTAjM 1D`}xLFE%w|tJoM{(ֺ=Y`:kL7rˡjDgb# pum}xM^!#Eru _U⊔Z9_z *Գ٫[E/Dz^k4vB܋RZo)c Cb?"&ؑ)U_ʱw5Q~%f: f!]X\sm+g(Q r]?Z\ײKu\as Jm,f spCV=~규 I' <*vZta(tqJVZd; <84* $~ TY^}H_p>95bAxĭJl܁M %= (vJg{xfVT,a suS1 }[wM#kӠ9-(T<`3.be! aGԆb5|3[? 49de\К(zl7_i0NINXzCbyJ-̎˨`@jL+BxVG垩׾Kb])4<F/|o_;7gM0a6B :~B3D/ cM&ƥ| T>Lc[sJHpNԄ @ByB:UR,ެRb,/| =mZË*sE"e>ֿKmui{k,^ZHV}|и*:&W՗P)\!G%[W=Cp,if:T+ih}C7ٽK؊$:AM$Y3e Bn 67~Svy%* 3+CuvBv: )#|nh0*yPҰsBRw܀'9XQ v)x/[L/a aȜ{{TQjWooI:rM&Ɍb$PgNd:@,V:`%;ϼ5#H jTwkaL)d=!>fg&%O١!v~1{e!D!i uE(rXW6?K{d!SOrgKgP%L}C6xYJ!+NQl#=>C:@TeW1wf% R_W hxgDxMHO>::s*bo+SE뿶]h qkoq4'q5.39`N^ΈTMN ujUQhRxn1,mZW֦Մ7}\Js1;ΫS/ ɲWЭywSRz;H\|>Gu 7={ CE1>܉En+ۑ[HS i ٤ɝ@--hF:S95 zX^ FO>yf_q uJ#β&Qt<Q>},0أyWsZ8u +Dgr_0#i9cvuo:m*(·k"+4O#hX+l˹ X\NWЕeAKB(nlo .}(Fʩs̪'9cM\~ԯ\zPG=sp`zL޾vYP9Fb#\.eO o)5T,8V t-R^μ!׌!`dzɾ%,B׊| &@*x̚`.Y?{[if-y+%3/b8.7`2f@L*_. 0:ga@/X4H1Y6d_7~ɳuR#qrݾx5/|tj<)}ŢJu٢T6,7mk˵m`ta5J^cjshh#E>X`ȔnYWsaڧAa{b&9|Uε@Նhf[\q4Ory Qxf|gz3X5Dc*I+ɓ`kңmom\_tH$gKkknJLjnbE"`?G$2}0>"1X-}]U4#&WW5t6anwEDp#\?{ ltYI5`,n1A%^FbE&MCRhotm\6Ol_R HB;xóV+l%ZmL1)ZSy$sde"-^Ddo\-ᦄ`f9tmyY}by~62O*S[bݷĦX~D4euwd@ڒ<0r=9@>+|@q1/S< bb' Ʃk7\J"dv|-yP5OA nKj mۃ3`GL #tw#"\d}?i{R jT\_jf')|)pBTEu #HS$6ď>b0z5r+2ޭH[HY|O ۾9/HJOgp3Hm ֐T6ch}k|DB!g#dK28Z4VļնA?rqi=3V TA8|Z_l0{HW{+ EB煓@7RģRtN8׊ᬝ2yMxC߇UjF{%?)iI B"(#IA1 }Ϋ(vU2|i6Bz k^277Lt4cf(pHupM3b7)`28XErX84 h‚A~jÓHK!7)OS f;nhZaϟ ou8b[v|a;P $qmf)̄2qKrêHEn!atTbݧvnm2ieh`uH!Ma JJG.Y#h Ỏi ]v޾$f Xi8kVlgN?+qd$Wq0%٢#ɲz?%71(i9=[]KEץ{uVebT&ДQR7ߒȬpwX?Y4o{|?- {hx$yؘDVRPzCx$ 7T9p# z ZmK+5uzpuuD QH-2$;JHX`h@+T[3h7'إK-M6.c>$B"^.ĮH9Tl> YfP .baiϩ~4ڷ]ɉIS9{ %pz׷Mf B 8,nbg9Yp콒 ʆL!ǮQ ђyR1Rdf{Ҕoak 1muwGY ثIk`I6&>Q ljBS\KN^);Cp ?ċBޝCEeCnˊ,qVZRZe;ES| =;۷mJ^a@9ph9nOEڑa/YQaXMDAntSI){WbK(=FaSp5p&w\\eCZV*"شlpmaA aVZWhynsY[ķbo퐖&?HrO %?:q[3o6 y",2; iˈT@`/̕!YZa8-u X~iuHCW g<5bN|,%e*;&@  R8>ԕZDc d|{&>@Y(Cr?ء:xR53xi{<_e`KWf?]AG2D5aWD4\iR0)E;ɐlME=L',D}ppp/#Ggډk s9&v꼷1!(+163%XnmL-T6UAP 1ڇϩ=q`էpsa:d&xԿ_n~ą&37MDL2P՚l=pgYctuE5D*Y5Fe'o(GGEU'>3άwo6doa@?LɛAC[yD®RS6q:;˫:r9XA.~MHLHxڞϴ5H:~ZZͩ :+V5\%21.)Ɨ=nA 6޺r~NtԘһϿ?y1?Syxԯ&.J>Ohx![5*%lr-ӥ*bt -LLhCwԑ D ߦh eZ}BOZde]ֈ楬u$gl,W3ajzx-x,v܋)"R̪xUjZ:qZx]zkX^eM>pQF?z|ai ^F†8w⹡s$bFL\mu<ϸƄ7\* ě =ˣ jWT^36})PnNkW\ m&N$6/G ' /~@]78#ϝۿuEHnhF+Vh\z7ۻk"|,)lD@QqzZo6 Cyoׂ1Pꑒ; .jRÔgF;h<]\_i*1%2{&Mx$Lz(/ȁ>1^<9; aOF4U*tpD3*:)>eDs5 {I_1^QD!czT z=z !_0Y|;i}$s>ȹXnHUgu%n209xz9mJĞ =}«%~ yo}Axғ*H1bne%V ;RncP3xsIv[,ǘym<:ihqVӚm-Bq8$1MxIik;.釼I%A5 [u ׶u p`FtZ1,u䩽&3l:Vi,ި1e8́3lpjH@#o0>Qyર8Z K$`~\AgvF_I/vJ0\O_yc`'/.UK8wSp^eZzj\2."[uxԉSAnup׻$VqlOf{wUa}qݧ5q:4nKfh]rΖs{LF輈@6طu`[s0eYt'wc"#P^sr%z٥DQqoy*ҭq' ! ؂ei/OdX.o>6rc#  !LsXZz3 A識洵gF<+Ĺ*bbEp֔FUx{z0H1,#lj'#Ob1M,V'i~̜FfI/%6绻6WpPJc"  92 BgѨ"kͽF;C'f#TwNĘ'~&Dּ.@U*Ɲe|rf>$!α;ŚumRsb^y9Y8~k]jW>&9.F &G:n j|9dEQvxR%m%E،3_Sg*FKHMlk.N%,$َ/?Gx82яt}=+Q-hj`"4*v9bpO)&ƣ5O~k10/ SR(y˼am쐧pChu:r?8{A64`<32̻9(uJ12^V Pَ5ϱ`Q@ Tܱ=[؀5A ^(NA+S$"vڐDtL3V<\U;MٖKdߒ gt$ȁ)kxmǥ2]StdȵQG!F9OMU+\t/xKB"z"?髿l,/e݀&CPPDB#l[5̓rq<;<̠ivL:JzDq'?KE~Sa3wwIb C[ %-z9 ?\CO^3+>!<|:WblkP_qC$5qr{tw-gDR=a62?|XM@yvkʝ1BmHí^ըb{WAKC#|=voA"x5 #먨0u168ΆN=eiP0#=n7LOTx~䬗Q2w¤F.[.PE |+\,v)En0/k;A>fb5%/վ&J6rQf1KfvU "5-$ xˊЈ^'<}ʓlLFğ%I.*MҰ/J\RieqRrVAp`Z\쑒!^АK'y fH7WAbѸP&+(F#! '>NC ǽݚWXacm\ [4=~v\g01U=ߏh 3z剔Oi"1L, EFBlmԤejTY$:e/Hg Yx%♻yPP*!XΤi@` ׌ @c*ҳ>17gMnĽ5 k0 ZU$}L6vt 9w1bZܶ?(h0-w`+vheQ)C̖ Ī(?EA)O42Fd N+ ;Q|ἦ_s ^{* ;Q-hמqRF:ʇժ+t9$glh2p"s`#\.93Dg6_+2&ݯ()wMUfػi.E* I?9j&p:C$n=َ,?,!L2E%rxF"jxWQrϋlT<xd:Wk -]#,TJN)`'iMeQ1{D)B<ѫ+?E:bdCL/<:`{PՓ(tu7B}ͭq?X3~BlI 6?򧆔S u9 Wv8!Z =QڷQSaW 1FɢDDOa1QDa/kJ@y 8 `z4sTLKaiF#ʉ2zTB_jZ!)=4 [ړ^T{6k6Ĩz8L??c1ӯ]V~K(,eC`,h1U??@|lu Ix@nmܱ! zSc[bpH vgTk@d8ѻZ4 D=֙{*.9. BNtwGO1v1#&l'|E YW.xGLO'ȥ{ (UVrBBǭ[f uR[=" Mk\6 Jߔv}UR1*>΀ W?=b?{vk(]D 8Xd4Yn2;Gaў#w8~?B3[(p6]s{d8ɳY1jPL#4Hi&jEHiEJ*C72 ^0b5gR[T F ;y?X%j[  h0LKc*Jӳ_K(Llދ{8?lעAm MGXt^wkCdv[O1^nj'md[E,]]hrTZn.7XSvNN[ʞ8%7r A ك5A}xъˣ0)Xe5JɥfTM}M`33N .?obt/yc s+V_<L]#qӀP_]isVԇ*ghz2=Jb&G(kYe!yyRm M>2&G$#Ue{CN9j[o7OKDXƈH7P58t/(\t ASAtbk}:änx ^}ڻMC\r#4E@?IڣARS>^h4{6 ͥkrws22g lqJ1أ 79,j飵zQ#|wPv%Dbz,wa ,I th3f 0ɯXͷVj,.&pM%މ5:Ѳm)f Pߟ]42!֑ܗ{@lA*-oZe㪂k?al7ތޜZ<$B3P~q(ZtT y(lr q3&?OAvDI@ PŜ犱(UZ]!ĊNҕs])tٓr2||%J6R5<{+J6݊vo9DXo2MXZgKESi9|k|<'$~tI{SCL<0m4̵mdcܧti3栽WU@jWHn ;0<]e94Ř &Ƈ$bcA׾Dv QXS6=$'U!FFf/di=|s2 2#h='68$_wmgex ƚ=Ԓ`:%=bojLIߓk}%䥂 LV%VG kz wҡDh#,MSQ v\)>p=~ev?( y᣶^ҧ VoX3VkdZ]k]0g@?em,9"_%.E5Iٕ"Urb ކ g~ѱZ-B `EZ\Þ%KlqkgǴ5/IBJds{d7Ɨ' t`0fGd\[r8'w%#Ҍp%cHՋ^if %Cs`\u\ grq,$CzxۯcF%LC,NG7K<Ҽxr V5ǁ~y#\8]ՆV mQ$cEDo-T {99W+GV Y>aLT$Y]rW,^I :(׿燉*g?*ŏvEָc[zxh3;RKNF=5oЭ;>3PgGEc'-cX_pzWȨ dlO\ȿ<״ $Ł] u0Jadb ~$3#+d6X<U.>{Z vJr,($RTDyږ{ZT=FF X{H:SzZ]FՊna}Y1 O흱3"n6}8}IfWq3eZj\"j<{ Ȟ.d,*Y'hH  M.m,/feO?^ } }Zkjxn͟tpFi41mڋߩ+),`ub)F$A ۡ$0PMx@"c?z{W|(]n2)h"{d^*{w`S0}noI?k>@-u4*<: unC:\D/SD4c&kW,sI?kPx3}U#>&_M~?`3U{j hȓbdÌ"dh`֓xLk#cHk-:я5 B M1Z߰LJõ*o"<Mf:PNCOn ĹڜbLq|`h/x6]tn=ėA>UDQ^Z艹5(pSE:Vlb^@O;sǕe MfE8Rɚ%bu1H<` 8XrF='<" Q?7GQ?]q~U?DOУ)`ѧEVfzi&5nƑۀj?B9mmO _ >B7Z]Hw}"PwmNgsʝ"1UQ!]ͼQys )&{\1ce.[QA>Ÿ1 ~7JWӾw:7ؕLgx/mR-юT1d[3jׅ IxguAzDbX;UM~] dRgXk0>x!?>:M?eM= m"?0lͨ)ڪ_+n d[mTZ1ߕ{xʣff#`B͕\Ywc;n(1<@r"QDά̀5Eӯ|\ڞ0T#Bm83$ "q9Z#U,]ՄeEȃT|Z4%`8˧@=ß2b| ٳ6~4(E=cQ]a^-LoQ36̵Qx4 vf]0ܸi/P^1B*,D-L42ٺbY }c#]~q>SYO4VkVhoDQqgk03WSh<+3ij ;z\@iCT͠E^Zєb 7EHZ{CNd8ۭ_ cɿQVޠGgwkrw 1K:t)#"$cX o!U q3Pl"@xlr.JxTKw PWKׁ2%h0g8cl['A吿Xoy4P'W,_m7pӫZtJ#V9R|m5Bsʀb"mZ}A#єQ*=o)+`Dǂ%\ModeiJJ}pqbnWS=s)r5epK@^l'-W0)` paZ='B7šw~o G +*z5vUݸb"Y,Ӽ^bjE;ww!1;H=` ZgNUI@,zRb0xmmZc kDw+O2?QnFeYVsǻ{BXu'̒Br/8OݢjgPV@aa!Y'{@өb9&om,J/e j#/lQgY{wǩ'}⒁FQ4Big?E%F\$sw׎R]?L8yhz dVQ!fii=c.uןq@\IS["m_BZ0e$IgA5{׀oTqkIߦה]kZbo&ˆI-۫m#*=MYq˴PlnwpQ@B}#ˤzme4-@ӳcj0GUǑdm?y@,F?J]b'ְ[y$a/s/'m>zvH!.mܷA3@Z4 O-\|ı14$Ǩ~~Y ]ǵIh׌";:4$ +TcBGR9hgJ}Z$- WhJzߋ>'Zt~LZ oEWSgM.1(X|{\NǼPjDF~.  O+Gbz .c&tQQ8[NS\v^^&4$ x᧮_$n`Gn t%bZuJ`lE aRܛ%_! .bקӚVAfJ#R1otN= x87B^d43IMakgDmt7aؽE ]ni# қs>pZ눸A ;#tAxq2J !ؾhHNKi©wLIG%Hw5Brn3$TK;B lYN='UD&G\y[]0#y1ǧg% aMx|UuY WKi+M7g$A]Efa"-YRb|,`vM ;ds^W,oUu=0}wϛQ#pzQ,y 1Y'd]kE Œ=c%zm狱okvsg1"si*nFHtwu]J13*<RxO5qQ>T NJrSf%5kKJPS*l_n f<{*NB'[6ʲ&UWeǙy`iMj`>8Y`X _0Ȅ(rЕL#92;h]VgUJ\Yc[y ~ [0 O?_Q6[bنEզ+k+u)՞CnHRMDV ܛX>⇃35<a }ƴQQhXyNW]lg|+}u[rj[9$߳wnJסZQF fgE$Rw C5[4jxvV6"Y=< +?IXL^9R7oQ67kN{a+{ ޵:š\g{< &e,W vF3 o@u1B…8Ǝ!=jJCޮc9mUMv_1r!#H bرmCK鑤(^=w"C 򰣓opEvuh~=6h"-Y-#W:~8*jEAvEx(qh3׽gȆ"^'q y|q<xLz)>ۮ'W6#)" sj1 [8=9 cϠZd,Y9z P:om<_-Dqc}%Bh?]RP3$v\}:Ie&wԂJ ˀ1TY A P^޶`K06$ 6y nd@Ix5ַ)=צ;r-INz jd5Rf*L~7SȀy,|t_yMC)]lqLKϝ9F^钍3žQs-2W#UtA.y6$+E'i{^&>29Q(*v |d;%J>fym\՞A <;L69'ej8~;eQas~QD#Yr5[ё\0s-#Un#ܑYb Z5|΅^?A|ڞ(g?;p ڻdri_MM*op^oW Z`Hx2x΋mL{W.r`?^f5aED%* yR{Z3C{=@8DdQ հ19Dm5i1Uj)+*?+l3QEXD%x¸Xn1]vs?_lGnק ٓ@MD8&+{H"6k']+@'Շ'.?#Ѽt/;s4Lw릥˚Cs<ҋIZ}`![kS-ZJ}OvRvsXWB# w~hN7i@m &n?\f*3ܣ;: uFr_TB\ik7$E]hce>wr;$t#}% _K2V:3ZA"9qr=/ .1vľ,lkGZߊ[MeAdI~q=Hpl92o6c;{ʲEgsj?$YofZbukj{o]D5cj|C%!=)Pq’Ð;\%M<9fKN示YJ2d4{=})w_F]t\@ )՞5Z7A$aG ͢'6Rp )"+.Vkqmt?^r;Uc&Ʒ&c ;eEL.A 0\<Uƭ[ a%K8zEQ GȶTR\>piOڸEFK_1Q{ Kl F~o]4t],\ a~m- sNsW#*ttpDBٕ7rnc<8-V 5jmlR|{Don8THFU{wtLo?Zodh!h ^&<<-nђy<\iQE~8:oihT%<\n[G@s̱$]`mOHĞǴ60 Z8;"1 w3/\}Vn31yCS*nrB\Z%YDD2~aLf7:F J&;zPy_hbISl[qi[6TJP,=G.=PoJ>#e'mdQ*U|$=B) nյbMO8<73uꠦS1t8a j sM"Zb}-itC\pu)΅7Kф(]脴e00}P1i9EVS=Y?/}!s^?? X,{0o!;,k49spaAlAqAS07֍6̃GEfk)9 ꕈ&c""n^+^eM1^glB*MڍQTӱsŸE]ѬEӔͯQ^(8bQ7ŧ'h#:%iW'?ޘ囂u ߼g]f}d[LJ4%ȎQ8C%MM!*dC^%$"p y͜^j}L:qJRBGe6P__͞ZxtȌʓ&yWCQwZMNÌ BN<b9bjyXߧNݖ{E@m{RF:Yu;> 1[|' nuQ 6kVV{hsRk>Ulv1'؆, .;jHfA’@"vh.>rdix_Ohm;y7daGN.P !i;P\3z l0zT- *QOxZNI;T@yX{,.Jze&o'Cu0xvQXrw4:>m><1{>hG>~;"jڣ&~a\szo/w)U8; _nDz+V@}uQa;wp|="A- 'Hn']< WjUlV0@܆M -4k7LD6*rSY5 PCubVfj:,&=lԦݍb]"qٷQt_8lC#]dZ؞J(zlg6x/Gbo鮆8P(:bf E襱H'A=ڕf^ޣ>׵Mi_Û-ѡWf7=̽}'47UJrpJe_o9'\1aec+VMƷ2vA< @xF)h @WzYS# N qmqz]9?=2 Wx 1}qjzP=d+$:q2zЙN0nT.1 6&MM)Fw0B  h?[wЏH:B-] LXd*4qM0?ƈ+O.}b!F3]Oӓ Go@zAT9yO[ Z.^hHUJ!m0Wp8°͍R Hɼh.hJVqVFcH1Q$[m*Ձi'VN73]>!Pqx7}s&T/{E&ZUò&lSzPp|W p̸Xݓ7ᝪ.cсeMe j&@BpہBAPgҶ y(PD,o赩iSCU6~ȣE2Cm=m Ca`G- 5: /u%qG98'Ә-buhYvtئi2W-*gsfnk*`[V-j-YcTZҼuE~}42#qhYZ*Gǘۄ_Ǧk I'Օл~3\5x`F~} s#+4o0bq}]ǩc~$mLD7Ibs Z1Q?&'@S+R1K| r#4 T oȔ&v0+))ȥO0-Hs"1͝v(5eS=M&"3'iqجGtQ" ./^9f:%L 4 93oőNv㠻h@}J(φnޕĸiʘ1Y3K'\[_b S^ĶAJJ8k4[[]:LpŧK2q,w(~"oEl\iSAeߟ5iBozfޝu28@fvIt;+L7![!'%ޛ{nկ2+f3C8ͱO䜔ȑN%}ŠJqkfZH arCzE ~пq5 "THOnOťI֮r^ӏxyZ2•偓Rs*U%EbuލmY}}Sj2.2n%}HlQeuEu-#·iŌ,ƴJe!߻^͌lh !"fkӑ]-/ MҫatL.y@~Χ_ۗ&2P}NA 񯂐Wp( ʖ˗  :^QM>_<֏m`$ZsјM_8*wo"q^%b:luLĉkW,M7؏Jad g6w^ lv0>@mFھ W#ފ!AwOUX]bݘ~2yK#0}jw=CI[1\M݂%2LM1)OfYR-MkPD^C{ޕdQ〵Hzj*PRn?Qz.@ D!?TMh8k*k7Qr8@7YI0{LTF15 .xMuC@Y8N@IeH;qH KjB[Oq{KYЃ;שJu~&^-R-g>&Lˢfi׵y2da { hhPn&s Uz/ ܈J^k!ҷe9Ijrp{*g/MAHQnzixI .EdS5V_}d%%h[2m}X{(=g=ʘ?_rEKkcd̍'aAK;ð:)iDbh)JQp'K& ,Ax"ouVmj{OԔTBxWfCp=vApI!%/~鬳t Sáp7FDR %-7|XV-w$g-e 7уN*F=: g dHmWczn}F'P&̪fvy-OTPË/yRݽTs1ÂMĪguwn2ÂκY@+puIhz-Q= {eg^/ zȍhiSL_bO܄[ӐoS<r@q+` mTÀȚN!"PF8E+}Oi;X7sXݧx w7,ZLyLѻmH6Vn̤p˱MĵR"K\KC~##[ZPd~2 ukfcR]%\c'Jcx*,fFf<(-䯯Z% Brx,YW("[Hr[?=\5*$|; x2!b栤DKD"kvf3 8VtX ܆+BdPPfU.~Ew( pD;7OϘAq}Up>HpEP@w8QV/*x=ٮZ-NC̃H Rtb /q# d'F!#T:*3՗B.: r#v'-7 2xӃU@X拣Sexc AAN)E IP @`y-tS~ &#;~t3(})d'~E *?_c]$$niU;W&e|h6? u":WXxp) -?.Uhvҧ$WO38ϩܟ;5k\8p:|Ӳ*s4YyX,Otj5Dp}"u[gM$R>Q[PReO?^ӊ040 gL"W (NyZJ$i4i4E:NfAw!"w|)'0F4CX 8f2ʹo|fA8P՛T+vN|̙\Id姷Fߝ(^p ݻP0tf y~9^ˤ-N%2 H;* YP(q [Ү_k}7T|f6jPQhw`r^K-Ys}#>Ŷ(pWfl5s6°T0ߟ$cƞ,k85ԈKpt+$f~l׮.m?? uŹ4AEE[\'߄Ʉh`n񩮮).O2Rbb SGEnxએG\bF  uGZ*$JD u-+8owlADD+Pg~'Oy@"jHN|Y 1:&PW'! (F+%/H%V6B3,.% n7]4{XMI\MI@±9dhSTw/4dr>Q}}m*`}wrhNu}USB9FoN>^ulw:c 䙍gӋuԍ^b lzh6| SäH4,}h* ƻp@Oh VUvk"rɢ-@@T~G t1\@T~\| 6$Rz6g$aо +N["J@:EoJ!B%&y2ޛ΢ (E8?iD/WO05_fpC‡ӏ6aRƋrJUĽ2Ɋ"-MձS.r:T:&!;PW TH ]10`p2cExV`2M.:mgS'[sQN}yNfp(ǚȱ~ ,$Pn#4t'x46WYbM̑>0mMt:܏ 9W j{goێlO$ehvdЪL$ ٍ0fݍbʶҡԢI?+~晒[J[\gJQ͌`$DQlK< ^oAe\s8&0~*uUu! z~YY^r5|"f2%:Hk@Ix1l_7m/r0h`OK>vUQTWfP͊ 4w ]@}'@H)9+W\CN)g!y6fYZO2-p/bċ[gR[svm}3Ve|JZB`w.{yAɳ[ѻ2񬔼9;8*S#1/j.F ;m7zz}%Sҡ7`wn\,@W~ s;&E=Ť] -U8/UvMH EA28gJU*j"E[g٨qˏ+=N\M.QL4) ĘfhKcOd&0l0A ̭&MĿ9\[Q4Y axW=4>.2iSo 𾁰Tپ>^0ϻ7Pt_dTdbPSEbu ̓3ZK-CもJ*ez?D(OV0ηfFag(.5MŞ[vH"*N>#\6`Sں&%~#tb#GrRajV˖[u!M82^ h(jbCºZY&asizŖ?qo5;-r +|x!#~aB);M[{M4(.\*D)b)d6(|hdh1U&!fc]JE3:*\sD\ԍqCL҈X5E[, E'pbANœk2]#Z6.]59G NDaWBi`+j׋"[sy)|i/O{zC ZSGvy`AV5.cM.V<r;BrqP?(H0Crf|A(.pݢBk^8D%崗&&PR5/({5'y `OG\% @$xe'A渌rʱ` -60Z]WBC@r7&ޮRD_lGma)bLnAwHTS!}P*1z)eEoԪaNϮJsϯY5u( +Ĉpe>r/5&w" eF`#x(iEJĝ{wj2*4)q Q~7X% 8')!Kw&<<O?#kLi[dq*%.)Qȩ$y`hu 链yE]5Pqʚ墲 Lt;@3;2> Qc_{uWln0 >x׎Ǥ35jmF&PN\{֣6/4|$ LABwHنح>+,W J'JoAR@>X[>5/܈(oEu3%4\}D?[;m|ふFxZ߁#`W`q,>y? @t`ȯ4;AkV0MFb+[,\l5E66(.oG!5l9=AS Y]Ɯö2Ʈ"̂mJh ad3:CMw\_6OfFtcR.|avK5q^u#@ C_SF}yuG:ʕdov%i-w_t=qoO-arBi/y v&Dh͈0hjie:o@}9n05M 4nbY=x Шr$pq2mX%6 ij7u˧̋oW[&qAEzS⥕'0d &}1* X!tՀmNGAzy,p_I>e5H=Ü\V`BC@> yL- "f*zb{@[gUڐx_}dl"+[Vwg@']zp," \mٵLȡ [9ۢ) =IiZHZnrZ*=UފEePM 7А$dݙEB '怰bSAJSwnəan@ʟlFz.AÕ$'TuqEߡ=}fJ죖864}< ͳ9hyoK4%GeeR=n_}t]7s=aphTU꼩Y%N8J^sja, )?@z3vWnEE#*Ɍ+nk # "~y2.Wr‚zyވ9\b=B: ka*Dx e0Kyu=,#N5e$MhÕlքhK74{dϴ4;%{3/S.F^yN ڳʅOV0+,,cԽ5K]<{dDzk^ l"Nyb4ƨ{35BG@2XzfA-uf0Us*/W,d{YȊ{Yڋíp+UMq)҃ͺۛPv_J4akL"c=Kb:MGǎf{6Vx\E_^š_IrPZㇰ'ovZn=rafnfQklf]x_x#T/P4[5jI1?f"D\7ۙbVĨ)Tt:A ozN}Jrs8@B yjF ;3jp-.P02 efF{<.gc:|Fk p4۬`*.a7*Z1 -0(Ϙ dq=? u#/Kqg(vʛK T+GH(%UIzW^JiR^Z7s:VScY#,6U_)3v1},q\+{[e7MFNq%`2n8l#tV=.b5|d1B$St+o·({4< #ΤJ(4$o$}s^fYIJ3-e.ƿ@DE)Iѧ +**g(Q^-O mzn|äx3v2{݅^ICiT 6^$ymG8k7汔Z'[ZTshOn+Tu=aL@K nv]6nL aeǨ v2|E x]?0X׊j`.[笎>Ia^6$`raAR>)Εk {s([@0k7kMJG >VPPF_SKu7E+QʌUU%+9y!Ştsk>34AĠ?|qTT4]fݞ3}GrjQNq+)K2WuLBHoib},k@T\HXuU!n]k:` N s2A!Ո?ѸO4BU|5GOtpY?;|KRc"[֬d 8#B3n O"rdR>]韴oGf|v2 R1pqɥz'y,(3{ns-*1\LOs:#mhiw:%gA 9O}a(b{Y⽄G 6E6$R,G[hO]8PāWq鸮P D_wT_Q?oe)IcB$lraPW";%*HȮZ=5~L?+J hv6-^Ž6%FA^~AC%o2W~RWG.!P[u^7BV@fEL;̶}3,qj"\J<7 };Q,e ͋P5}'[4K0;c]֍؊r>tyt 9ϮۧŅ^av]? %e>uHQicvI ie}&`FvPiEPV$T}0ly-ЀXހd-+vD9d8zϋ ˾T6,&!A Է2Tr)h 24߆ `z<8G,bD2„$jÁ[4;cVsY! -.yՀfT(.Q%OϱrC ^\DϕtA,&x;$q{J+1|h)]Ri@*F@QKS.Vⵄ{E^F kr/Meķa8H|ϧ2}*;ǺXKUXLa 1*P(AO'q=2þg:ȯlfa𩐒T>A8ZjLV >ʵ^ȩ"%7.jj^ȾHBHL&S ^_6N|jѐ.7"3 1p+'2j0?C*Z_@^D<8];OE@?C8SQ iHщ}]4=f2?660$`4X:c^dY&sݚCC]U 7,l(0ON_Ϡi쫫#ܼɂpZ^L,D pcȅ)";'< qLg:/\8@_EZo ß!4f*\*:Q4׳:4ϖ%@u4K*a>􄏠n F&qL5'3)NB^ge󑟓 :em26w!FO,%H~`˧5{Y'&[a.08>2s|6 o!LeI2Q#PRjhpL*>m &H7GajƑ(CsŌI8X 8WM؜o j$[ݡTOxkqa"<`s_ܸnO8 jgXhoCFtӏew"!Ya/P7@[S?Ȏ~=,7Jt𧤭˅jj !EHŚU@xS?)vD$ U'a{NIYĸg<ڳ'|b{>qk^nH}uR;9}>LrT*?_*MY_ q| Liq& "qx;:py3+sxW_i&ӀNre!"6]v򄃹֕#x`hډI`ތ} kNPU&5 8BLz$m8w3q4szL5G릡PTȪ[8ACQ#-#1U2N}A2ab)@蟬H*̻f(g)o'wF< l!ʲd8 =='8&XMdqD$>~=Hm=4jN*fl_Wk?$H.:z??;~ >& h=qb xYw ɦ%^B#}Hh{d5 ͗UGL(SEyU1cl!dj?"/!?6Jn-m6*ͬ/@a LjO UTpձ+B@ձ3AFINVk JR/s<E>KM|8zgjt`seĕ ֕dxɰ+Af7"(#VҾS+v42`,6p\CQ3S9  Ts P͈b~١[;OZv[ ;fGx A@:uB+ԣs5/Ϩ|!v҅]wtj~L̄5qE7*X~#}4[6=M42"d{H:w*XjԐwpi>`㔿`VշTؔ{]&ҭ;D dVK^.`_{}(gJB+ ̡$pgN?s3s9e'u[IAɋ4snVVRShޟ扔T@$_|ݮ}ʣ!1c H 6gp6mNLRٿ#9g|&GL3>98|Pn$:}!- >~Xq:\1r6WHLV p{rt@"x4/3HϽҡeg7[9Gs KAĦĘ&O@+Ǩ:Gw¥Bzs,uJ^יӣwoқj0}M xnf;t?U´bJu3H.H20b}w. 瘮,C8g<;o%}[A}M(7UsYhBe*$2ea"2? M5zK=3HcԞ*gjeIg~v ^DHЁ%>`365]2L"5oY^.309e)Rk3q-hgL.0#9h^YGgc`HچYӝk;`2µT1 ͩuK:)* v K @{DRyr*-DVl֚_=n ^減bV l-Lc3*Y'jY K%PvӬд.})>P'CWP_A'Ьߞ|RsS#XncԜFH_p-4aRSD &CcP%d D+8^iCm.zr'3Z%D +3wڇZp:O.pLgl=bVW `;sK4?VAQdc-'*=a;GZD%"rBU駟.F#t+%h)(3΃%5Ӧ|߷7tX昁Sv P XlOl!a3J՘n)["ie ld)5, JAK{DwjN-GX=¾F:ueQqj3m&etmX'~Z Q9"?n㉯#!7hzM __F b/po2dQQ>̺& V_w7^ӈ'HK5Ȧϵ~Ǎ7ҠZUǢaYp܊)Bg*/ORH~m(%]"P,c1;+=8s.1"|vTjeC"ӞzN> 7ں6uC$%?^c2Ju,_K8ZЅ] %BN4~zr0ːzCgwKVz'73oKyp9ա4Keˢj+N-I&Ϡ?nqpd c{wJ ^!n<}+{E~ [E5Ju+&y #Ŋ;CE")o8BXhW"Dp8ҍmk?J;χay}9,u4R}X4E?6fgg_}u<kqgoxT]=2Dk!o=7Xg,]=S}^4BDcalI *ؐոfIer pTћX32`԰9xa}SQ_5'pJhGBfugثUD64]"<#$ز3⊜)\v[MD3T C?!EKOL"6N͓_+0DƜRb{l؁g )c?tC7o*HKeԡ^~!j |<]1 +T/uUsf]twS]8ngy$@yV*ouS]Jv:cGYTS7'|m>J e—K雧,Zs Mv2\@8ͼ$6W„'nͼMCIw?H5g9L '` 6OIn l<,Z>&Ï 8fDCxdI_5^Ҫw*\LDž%26cLJ,(dY@Ug%ֿLOLf~C7! tRZ Gm&avy/]Q]A3_=ђV̋5Q1?LD)A drU"+?a&1e~MNX;O45 i6阰l"ٵT/as@%+P!uLf^YԅGۢIO3E`PJ%wA,c3| r[@&]'Nep3r-i\Ąjd}sŎ@,k=uX؟k{%Y8aq;6E#/ȋ}1"vղGLb(UDi]'RM<_)d&(rCLh3Y2ʞqW"IBLB~<9-"00v4J"wA `I\Ut<"*"s^{<qMh?Gqe1u0@~9CtٹQ~HH=*?U&>0;GY*F ~!6sP% jWJs #T'r Bn51ZkyK=WjQbMoi7TJoX LV.AQjaEB"ק@nDZFMV n weq-XgKy^=2N'Y_Wv<BY5KhŞJrkpjK\\u]~ܤ#R9][ft0c%Td7(j\z'g ׷ӿPe ʄxHfM\TF-nzYM3@71\PL7TNkBQ 7s])Z~R!@?MX5cupM*b(Z( ev2R= 4n).6+͢;()2Vs= -ed;9g;:?|dZF)ܒ_œUj==Fݪ$)J֣A5Z3u\sYhP!Sf^Q^V~ bt-0FgVs D%1 vAd>Su9_GzMVL`dZ}+/vzY[TE<\ܡS;ڋ(|MQwc(,Tyh\O7R(=m UzJv1%Y {3'g1ڒ+c!eU?v= 2|Si&J#%&q۱)ѯɔ-gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52511cb49192cce8cfc67a40b73a801be208710de71 e0ede20752d0d3443e18944e2c092b380e31a6d0 b6b83208559ae6d5474ded550f6def53d2ba8620