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  1 L$ ]% HOL-Decision_Procs:threads=2elapsed=668.802cpu=1275.312gc=106.952factor=1.917zXZִF! \]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH>#Tx-F)ඵW."״$P/2W'#e^qll yIfR7:wΡ "lFV#4=ĥ}%F.gj-C͒5ȼQzP(UF5ɥy8 v.L6+ 8IBB)0hR%UNi=Ϲ4fwǜK cp]=e֫3Yf5ߟxMy$ڪ&LDkE$*vHJңx-Q6&^y{y"metӌ#FC=vLBUɛ&G@[9qAYұ"Bs≫;ؐLI,q$;#-xD.WH *u햩sm֩!<|ƁD{ e8[ɋ=yQƮ {JtIzČCZ% xgh"!ޜ=fX2)O ţ8Ƈ!f 7XwdOB:iR z\*8Lxb*P7oòc n=?W($*[>k$-G'&<"2<%+,毢+ eXH8&{Wu2bC"2].0cWo8^6.~1cH]e|Jmgkq$=|cZWk }_h̑44:n24l![sxJ"_&:VbNg`HlG۶D̢PA b np4a>(Pck( ,7}&8"4]9pXOE#|>?rhW kkMt /U[mMi]w}a%XW`'QAӯ`ɃS3nyp-?>8)Nme8ϷEv؀w|uх/ ĹǛˠ=X#hܩٶCUK%c8F `0[)6kCE5 LfedwZ|3Hϕ}7OI26yע[䛆9!,)dn}0T~E&[{?3 GOK;b6>9n^UkSs 6>CxeXCXQ2־@AUfJn좕^G|bioիCP"-ԢXJíz g[[6"T,Bs<( qD:n⹵md %{gtO~c2tߖ  +CV;F g#h BT9sGG0|;+ ]93k^cF bO̚4z"rm:TJH(6ٟ$tÇ)vXX:s ='v@7vI å*B;'“ajGThS %2 /Y IE:6a{h)n նU3gBTѥmTOIАCJCuϤxo(] W 3s ӁtU 3]/h9e?!\|LLE$?urN;{pSN('F&C5zZpcSΐ 1 HOL-Decision_ProcsR 0HʙQ7!@'mHS9\[*L|O9^tF o1K)yq VaN*wYtnhע\AUJqJ]Yp5Rw>$o#QPB ئSDI=xԱUs9K. 45ؿ!%g [ td{t_ fŗ>S͸n~ԳE6Z#jWlhI}/owRu˝7ġZDig U9.Ad{FPMExJw lK ĚXa/:nܼ1S)$s[Fmb5M&p!哃snjHB?.ߗ+7Md%i0P:pbC/"X?icޛ]taE!C/;Ɍ4a@Vӎx*^ܧ#\@֛a3]Gr2=˚wRx_ ]zV 0&mo\ҧ Hfa4kf*mcID[q yW2PBjaEab70&`Z$ ,Xlhsc2%Yk"VE(O gw1GV&zθ"ذ"S2C]+`垏CW^og_|*`S#Q?T:? &PVW!pvzikp^ìF8R6Օ+Wߥ?.T /zBR2d[Qvp?Rmڴ_ 7j'jV2cM LkWP7+A--gA%!ʭ `FIUCӓ?#h7@PՊ5\MmXȃѺkT6lY%xm ;Eܸ{njAʱ:I@KS\u1L R'9kO#_ĕh*㘐٫` }@1+}ɔf|څBQgHtz;e' ycb;*5j5d&ٽ&@ȁWϴ+,zߦa/a3$ *]N{  X\^U.WWQ44O L.9sj$ 4"Lۑ  Dpe=u&ٛxvW^=t8c G6Edg{\z&:t phNlί Ʈ81்n惀מ[wx*pO I "9a)\ږ-cbcx2܈ ,DJ4o cW|hoekKrF&;> I8)7!6ky%ߨ50MZK^Tnq% jFRSؔm/> ?p{3q%{<_mjY!#/w-H%XRۇ;@Ź}Dgºe.=_uR]`!wc-"ShԀQDDm:Gpz~M5膘\X2nt S[egCǣrgVT H.;rYzV<4wIMߵ\o2 2Tfd Mph?&/NV6dc8bZO?6,&gn#vv]5t؆\M!*PxL]TZvGߤTp$Xοx#IՓV׎N *U5OIk>쭜"oR_`yH5^+ ŸZ/H6h>9P]fd=FEPm#+nw^-n\W{_ m ŷ [^Gg̯W٧fg#DkuفpFi]Ħ}9jz.߯׾6"B)>3|^3\92fA/`m23&-Y8b㍅bf؝ILzPh6Z6?Fj5ĸ4Kזʛ|wťUt%", ǪÒ)Ir|.kԟ9[pO1 BF*Wslm&*3'WW[v; >nUD ߯"bYxsZ8 x.껫{iN2t#Nk7E_E) tLj%@ͥ2#̎A J7-Iѫ3mZ048 zS=rW]Wt>"k%E u)٦f'ofQXq$S8Z:"!8tß{>cZp:̀;ݹP*)0:DBr僱>C.E2zVtы3 - )}c|=l![:~mzZ{N+eIaEX i jI2Y DaU›09SN3@G WPTM%l޴_,ѯdRBH '^wCOno_WN/54VM.SB; [鈣#3i\e빥Z 3z!NOx2A\^ vmNxZfu:/ g1"gq:֨,$;#)OXvŐRHW'!dɖmj݂ Xm*D5qV{1Vn,iׁ|A۵^6kK# y&s)EOKցLgd-AЫIriWǯZG?Dc~tu}&9amlP$ЕTO@ln%9r*of^=;GA-THuq0YOe٩"(`OX^FJd>z76;"2|9!=*&T7`3zB=;vkS@,hW.,Pb1rB*_7K[P[2[]`H ]'ʻXWGAz9p E3-["qbDhR =3фTVp;pP呱R@=Gj A>RAŚC:[M6\3p4Ze Jj:SH)Zib{|u₦@ܠ>ONHa?*vgYZ7zXZִF! W]ŗXiɟ17L? KxlWP8SաM~>fٺde-qabcp^gXӣ3K VBJyt բCQۤa下;-f^R>cAN3Ex9 Sa$٪$( @7}8ɷr SK?w-c{_L6qUW4g hSXnb~A&aU,+1I4͊BB܁V.Ϸ8\72N5x]-#0ix)ɧ1\G/" YdBU{K6migRAw}Ԋ -R?6M6Kfד]A P._LdkV)톕W &Z.׈;^b+JXzcK)*Af*KU@S?<&o n;W$ڊ3 {枟Xڍ-URgXT$RoMGJ_ip[^aH@ĊL txRNx }^/9( h.2)?sRjAeO6^H1* ?% }XNV>{oG# 70Zװn6<cօP:u+f͍5I_ :?q S7REOtֵR_o5GR19*|g v tj:w HX-:/ &QvW{DkI~wL(t\Ŗfn,ȇd I}Vg(ܵIU;@KAipoxB%}ztkŀ?.k brq!W%`*{F5wa9F.U 0 jDjWխ7/Rh䒡̀3[G 5"BWQžc{|v N(XlԢThod[FJ±TK _RK9셋$ G͔٫Db5 Rz<saA jҮJLe!ah79bq/M$߷PPyDt$alH۱xzCHܣI{yXkKԭ5$Mia*A߳&xh>T! DZ]JYcV F &T-)^|'kJVRke?e8B2l>|P fGǨ^0Y!H '=9ŸW\h~ EkOd:DGZJOCbtaJ7QXN; {yOWl`FM<(5BD%:5 1 O"~Q֒%cXYJe5j||[|_80ACKW['sN1'++ZhvIMaU}´Di,~/,AQ<)~ qHz q!J6 ]e6K;4KMv6vav]G3)Lu 2}[(Ǹk6hO2?Pa{PkyIAٿ y>&Ϸɐ\{!rE\bO}a@嫞^IH6,"5ῆaUY2 {jW&(wSٟ,BFUu0K#<,|>cE.ʴSY~Ľ_W"mݝ+  $0bp䛪\dx뵁d`¯Ϸ}Y "熊nocѷj+kŒv+X]_rL6Qx 8'ac(n Dw~BW}"$MfٓB=qm"PjjJK}ش:͊]O]EC粃fCN/)+: 9u4mP#G~!_Տ3a=hRM$ TE)+f"\{E˟PJƯA#[g~APWو5nXtvJA8dyCP" GrA)3!w=KQ+pf1[h|똌W2dY'D@#3邥;tS D"[c^nɍAҥAMG}]#YiI8tUC,` x\z5!5&8}@D2}Ȃ Id%Ќ~ --[Mh`Ē/;(q+d0YwBAhsڵӂ,$K,AÚ 5-ּ?1};;m*@'< nf|BȥA@,%71I4~qY^$S@ѻyeW764?Y"%U-A([f1;%:-k~J 1o뎗4]#$D:.(. ItL4G F!ǩ^wTJY3ds`W↳č ^h_43Q3.PvHHግYyc5asmޖw؋y' 'Mi{i/B>M nhCEՍ;b 3pe i LK|?i^4nSOΕY蚂W30P" *05׀T=F|+zFa pLq=&-`aq(ydF?X"~N<*|M=tx~t׸k[bǙgrsg"]we}ܡChjZaUy$[K<٩ {N`EP!&`|юlwkoO5Z ]Inr`9 M:[sxib]&q95Q7 2ĕʄlKwRc89`##ȞBmeZdz-գE3سwm-̻)V@!_h$5q&a sf:{AO+kp ];ը KkŴL6^#`v-FroT⺾+i*!1ˍZ{@ʂ2>c{9<]#x7舚 wle+hTʃ2rWˇ0@g=X(qOׄ)E 2\L({sIpq\I'ԗF( d5_"彺vszp {R)ӿ ';ɇ}gel2$lm/Hk,,-i8@niF"?nXWgrWSWBLP@ 20-SU UU;37uoaj( 蓃wpӆL=420ŎftIq XO1텯d q^/ lIR3L;Zh$fU+Ŀ`;Z,{nM7r` D9Q[ɉT2i;o]9&QfX|^Sc*4ŶC^V/ixOkf‡/ chGl5|4!R*sm7}2"./Zin8f*{_`# sZ2Z!ow7 ]|ǩrPVOI;7B9s"JFVoF8E 9pqP"Bd۶˥뉥їf$Pq$31sPy)U_nrΏՙ٘C(XUn$2qBTpCg zhefuA2wm%\],)+PJ$I3\|?a\C8G ʘag V[ 0Bq?lu{{,DDq] .5Ř`Za{mس& _0m|%onLM{ ːvD]TǔD/V1 Q=mW!`;UWVdt0AzLi|U "Ё&xO`M`؂Rlȃ(mYH/t_?(ZBLbA%P7AXaX9}S}!Z Y3eOL=&#U"7R8Ӧ\Hd`FV}J{b`?PQCr-Cob}҉ n|w;"wo8o)(.@8E K{ Ґ ÷۵V-t[ Pq{MXo7Vq­$IXfҫTplj`ragеђ9#fCx; \Iӑ8+O|EmZ)zGH1ݏDVrZԴ 럴%5 2ÓS#.ޅAbKfͼ5jE"Slߊ9D+Z_>Fz.x/c44,{,p/z/h&/plg$C|&H0Lrm~1lNOc$cChe[?hL< g)T.[G*N鶦R eA3:Sۼ篧 ]SB͌#{!v) o&!;Z?B6ϯ>J {G Ǝ(wFi_y"fM3;[=m2Ewܶ7gE. ^Ӝ,`hf6I;z4dL8/}+Wd8;j xeЈFϯY4=ҹb;玹tq{o`םeBfdSDK:\s)CA˻45gV.W--bۯ憈_P+bK`9aOY|9{z/!BA 7+]s3,vOQqz}^AZw `H hc QPSѴ8Q~lxP'Ov$KzQ3T?Fo_kSkv{ & ^? *5׾qn}s +mw=iˁ7dd`TmqjYOQ{u)%"PhՊk]3XOJ S)E^cFɤs03jyD_V%SFɥCShbҋT#(]e~g&+ ](n7ow[w[5$ժu^Qaߌ*7%2N( 1A @xpzGf_$"{H3\Ss&2qdV&#yβk[¼ry3FI0- $P;C0xAU]&jNTWɩH{qCB(W'O30nZ"bR8bkŐcfZҏ>K/r;1X'3R2H ZL`ӏ΂1 ~#8o5Ũ7zIiGTa^-.<'3y௕1A!f >S8En~m'wVusB Nvڽs9PiNt,g꾽C5lUG钎!&W˟dʸCP+ 4e[B`cH,>MꔢrQRA+6wS n8YØ=ʷ\6/K$S=⢎f̂LXc +z1Ee)[>Z̜Nm:O-B'vWߞfnYqt1E6Z锃P=1{mzrn]8kfd3"> @kH$N%MAZw42C-qrwc̽b|N'N^,sw:]huZ#BB0jZcK˟hCenN"p$ 3TD uRlCǔڭx@>]shy~k;OꮷM-d4ϐ`'f!j )P9ù|S5DzTQΆZ;UXaNtt}p2Ðy|a-Hx`հY_' O;ςsa& jXjSwқ?Q*_֊ C "& G-x}-ǃp!B&5% vV*Š.R/8;P mg֓ZEyzVȟHu#RBb7c+jjٵ rg2r2Y H5a21͍1&QK?g)R 5&[bJv#vO .^HZU#FZ5pIp(Zff 9Q^iN)R̫Y:C]mEсXAvbZ'PkgǸUTsWee׾B\~FvW4 }}&ゅg}KfEЎXI6pSfb~2LW"['uag]Ns襠:`Jp]$Ű!gq̚,hK&sjFQK{=Xd',r_㕐X&{3];rT>٫dn ҧ5 *vN" au*r^09E?),‹|YJ[`={U -ous4h錩5d,Z(/>Av87 0KY{)݄ \ 6VO탍JKHL7] ) d%\wY>""7Ąe8?PFw\(HNH#uѐ\(#: @[` )hv*6ĨX:!f{[\FjVcPQB+.wV*Y|lI " gC!a >7Q`PgDEٰm+.+Mڼm dRX0,dEm/H#wc-e0ΑY*Qv{')*-E˹u8F7ۉ#r#]rm9Yo:]b:u=4k P."4gC*YxY]1EqZHm:`xb̋iɁ ޙ+ eh*~p<O=' d|wUok |9EH)j1#NPC_6eļFS`gV)1i*ǚFAC)HQ+K s7rpQ:D;sW}(ZWOCxNJV<4nㅠ Z-}s:rU.R@+@bfe)zވ}%{4PԥFdy mL~wó`8'Za%)={ Ir~^Әbma?g/|WǻN4w*/:C3$"N XjGG}ea(br,uR%Ww*Zqea:~ovp8E4.LJ#Nec_tY8pŌGMP,6_."AS1Y ⓂoYhMDc³v̯-dQn\$4楺cGK•[!*U UP'8fd,wemXv=vZw#a<XQ^;⨃W^1xhCh4?/82_wpK E& iunZNW1_Ɗ^¦1~sٜTC̣nMtIٌ|t:ZsO̟>h8lcX NI'>o)QNg1-)AF|7: S& NӀnR4Sh?`L{&ftd[X6C5 +Q=Mp'$t7rz>*}d;Mt27!/ٹ7I^ mn:`*L6@64m{:k,$Q/hG= me޽hrQJF -*EA%(C.Bws~)wucD{~2}z# ~]6j$=œՐbcI[e b8 !#aSͱ ch2HQ`ha`cy l(0ٛIZSm5ôzou9&~Y5 O0~[/>ExIf/E0i j܅+\=wlaqS.(Wvo[fzs: Ee9?{'HTR"p[KD#^KɍEv I=3 YoN WpQQcV$"qi9Wo٨NeԝR`zoh ([s?a;k9K MwZ'fylP#~cnf͟H?{iGOGΧ=ҭβػy~LH5 n3*p3zT5 :Ŀ?]X;u3z) &AmWF.m=!&}".T>E56ctW=N.1ÑbbldNs.h.#}xat"Mvޚ&ЗUmDw?2+>obc;KO¡%ݨc/`'`Ta%QJv`yNmy.͸c+5:nd": ֌+cq Q jࡼո.G+[@y(i]Oq Ag0P[o4g:7u_1zU,Ҹ5(SVaǻ+>"*үpoIҖ]k2R[>$ S :eiC?qDb M{#N\5QƍS ={ ?LG,m!>ٜ "F~? ~fʥeȣ̓Դ˰S)>|Ɣ]>@er;0-/SCa \0&H,XϺhع-6)Hʌ_G>a5D)r3Ķzy.g2_'-{~ `rFO Wc5 hy4#KEj0U*eHlEo,hd7pZ1* ^ [*Z0dh~rFd&i_Z?*c H*AoC9|'bVRtoI y7Z9tMVvݱy L[pUK]4 J^Up [ξd/\DVDM Dڀ0g;y/lm mT9;{{0Yjy%!4vtvÎs|][xVg Sӭ"Tm02٘ufI>H!MaSbҡ`L rD[&-?^wq3+ZTRv8f1$}Mp4xdz>:|%rg/?JbM{I Wvpoiv3 h3ݷ#=5-쯎{Qb/Ce%Η2=#;ߡA-B(I`Ê f&JL!h{O(bW>s'ߟ})W%[,'귬H (rl: 9D>O$ZmBC^,L(K10 vq@_^i( >wX\x}*gݲL,au QiS)i'UMk)z/4~Mi*؉HW$MZ Yrی3 (ڧHoGu#%j\ߛyE&ٸgtyÖ~NbkmG9MSJ-ZHq8״_$32{ Ķ*_xΧ髺I"^ ccJuto$Q>c_9`}7[rlOcle $ c-:ڗ+9X=&ܫ΢dG-/T DTt--W)pkbʘãhӤ$h}O ͠ %^mn{9MxDg!"UYA 0,/4J|>[N%7FC(/%/OkC$]:^ V8K̚# Fqg{Q9Sٸc}sQ;Wv9S7ߙTm^^L%U6{S@($.jer[p|Bv*+ՍzgtazyYqP, ,R ~#ufVi]M[6 De`nWSBL8$/v/QI@fDi\IX{v" ,~wrI4DQbW@M*OȾX򫇮9ܮby%tBztѧ՝7Jގ^N̽YtDkq \h3\\s^MkƘZ "n̢ՊT,D)QA?E`oB%;URom7xߧsb֍}, yގsXȰU }S{{Ă=A"djrfT.BЪ9 S*ߖ+d"rf'8"OxOqesv E(C-CTPEz=h3V Ifֿ "O9HM9Cm?oޝNP賄#N5X eNa EM.>$2ߓE(Y !!N?B=ݑx7o(UnU|8{җ)POxx݌\4 @xSqyG~M~q-Ik",+ 4jlWVcZvolx!m1k(Aqq(L\Zً](Ɯ?]D_%}Aq,1yc"u d_D)S)IpTDw{3;T#~exrhꕁX}4߶M˾$5mƙe TMB %7! gY\~{^T6V: &:s%>HTkuvdehHwb})fݿA]'b0("io؞Sp~#,>i̐d⧪!]?v <޺ʼnz"ZX HBFR-KA1L .8Pt ~EŁ(DOdm?mm >L Z6- |z;>0\ܤT- 0-X*6x.W#ꆚ=Wy#2%m2(6W"Uqt\4yUejHI#ã[Ӄ5O8zÒ-n}\e^W㽟_q 2mp#ѵ;9o 2An-c |W뀟fS&>L(j&2Gb"+fZM%j.v!L!}32V߾9P?S7^t[񍛜>`` zDzh:r_.:~E,t-27Q/YGQ:x<,sbOH6(l|Q* Q$>~[Z#[$UfƅlDkiD>!=UU AdT*J-u"v+ ̛@ǖsz-ɕ *섪Nqa0XEPTB:pcYڱ<L-]E~}!;*8Gf 'u'g3p9Ɋna2 7 4-ԶP,8΄ a J A{dZwZޛtB%@O-Ti~Qm#y5i"J˄f qWPD:;Ig6]#$Rz2FouG1&Ẃȣ g!1ćql) JCA!M#N'c '*q7"̎"2'dю6ŶuDmuе9[be xUt8%:EŐk51xX@ّY7S4 *ڊ84 #_rxLz:\WnZg]ױKZ>I",xxO'Pg[Eũ*shmp2?kO3Z-CjT'Iuc*j82i~V*`/O |) qtrNu3}CHY.VPniAYP8pJ̬w4'?M3}HP>ۆz0eS0#OX H-t{ʐQkC>z+0#Vo{wv9&(m+m$QX(]\'SEzD^-W< d!.jTh ݡ9f߫:]NN zӄ'>C0#䀥,;Z'ݽsߊ)S&˻D Pj]=4y[r0Ҡ{*XLJl`ߪu$m54 W:q*1 S ${&l uBD(K  $Q RzG^ 7}#{KI~ U6W[Ÿ`k uVzpaa:7B#Pz6Q`}ߺA`Kjˮ5֮l Y%QT ~'* 4ps`eBx lt)oB)ST՗tP #3"S7Qq|, eM_ĹYrFY>$m n[MR=0Oeg"G 8p ;*'Z^\lAYXwTs11h=LOimqrG8IBwL)espׇbq>RRfb^(Y@(:iThC=85zG,E3ut{Bf 9e>@ur4t+Af%l8BjkԐQY!PK\s\/?dl1.;9^}ݡ G;s3kV1dl<ƻƺH0 $S% p}e8 {ƥKyv}yȬ:>PϽ +ʉSiSi,k#F  o=h|}/1Ĝ(?w DA.w8lhS6J* 쁟Y %@ v֌AׇC:6ЫNHLoaOtxi_AڞG.~.=qW LJ5uwLxX@eCmon|jHyEdW7Iw$ #WǞfAά _\uɚ:f7f:BT(ΊF>gk<,]:i`|*]Ɛ,T#}W܎ЇBZY}zX'ŵ 㱧amtB%شlG[PgOU9qu;χNuX0SF^^s95h5WUJrd  BZ~؛̡j+>4*SFLpQ e-l 90q>>%]p /U [`Pf[B= O$2 #^mgj"ZKX!z%(ھ+g!؃M96C8 N/T~4:oPHP򫤨 ::uOC5V59IЎS'YSRPw@E^^)4]VV)9N)'_n<EWv_{|O )A}_ݘc]^4o"5}j2$~<ϭ|S{qIM`ړ7,p5N;QB*&1Ͼ؛{e)^nJD6N6%F5,Tc_7>Bnb沰S'9z39Bf{S?XC KV`P"/ފ&[WBr>%v)>*q(C.:\}iZ! 1FlM2w&i3ܲA=&xӵ%OvQL$aLt Bi.2W,&yPTG9SC+]%,ٵ{M2[I4iy|Myz_t=C.=+jedPaNAS!fL|%]㒯zZ0Cxtrڂ(C۠oo!=k3k"xhIY BGirVaZR(|@}g^!i`}tfc8*[g я8hb7 ;׿~?~%s%B =ԫI(5=Pg^&,m_|K F5ްҳ怢i/}3{="5cmBԽ1ZRGg4%nj*)j,#X,p|^cʢF K\*G ܠH"{(g4\:) zs6VBKr~_ŧJZ/Hi4!eabMy k|F WO~wr`8RR>τK+gqBJY}# "=@]j N4ah)ݎѠO3)OvΚs\еb %7?ʂI/M鹆!@)8~R~R׫=HY>E605h;@22:fsC[DlZ`>p%V٥gVƅrp2N1Ja )=gF'㊾V/Oo݆ _wP?COL6]h`@pY3aohx'˦Yk+L,.S7JKIoAa1ʑ W[WY[wVɸa䅯 PcH9ḧ́/sY £KrlQfi^1.0Qe QlHم4'P/Ҁ7wʹ_k[i]%R``Nf*gb*+g4 "~c4$%F?$~[aCD$./XTz*o>qd䒶bȊdX C .'0z@5*N{[jX1Z%հO X7!F,d% gT'$^#&)Wu7I>1֥ꐱ70suFCʬWtr&6jɮ$A%f :V3`z}r<-G>凹Vq;Rp` [_@ro,;N&p }XnY˰nC w`Xuy<qѾ n0d{0ͮp ';e}$29MG$}FG. 1ѣxP tvT:![KAvf1{*0,{JD`zI': 8{alX8nJj$Qp! (Yy&3J;xRi%(_8G"}ڇSYϜb~!H :.9Tćc?y]ځP6IooHh]Vg9mz +C yFI> ,S :10l>kYI ӧ|eKϺ7!wE 2K1mPJ5 3 woր.MȫCGnt6EV 1vN;þI/+; ּ n B~SS;V;'[ZmR/( [ A^$".Wؽ$L,?|r6;wp*gpRZ&=kXo8>fsPi`%Ȩuݡ_xMn7sCʱNíGL%5u=D@ě[׬apRt &%h{ Yw3,ꝕD6_F-M+>"&obC-kKV :QMCM^Y *a%z&mDY aDx+M' [ەp|6Pl_F LOaj'cmFg_m%NU6XnEվB|Vm35}g.ڈ9y= %8ܪ;%x>BJ-IϦp~bgЬV1 WY޸b(&"z|_pdF 7r]w f i93*Xq3m\+ď9c i 1X_7Yj C=kD+4u;>ZDLCds%C{}N,_L*Pmܷf1A$BOCqMA,n~>t$)@+A:r,q9f́^Tb| E}[w{32`=H,*l̂ӭD:W7fbҮKBNRǯDJ d'N,3X.KԘa_ 1;6w .ֳC(pUot^4pO ϽݴpxE@w2&T8[8:7@@'_x/<[(#""x8iϪg Qzqv]*9I2+i\ Ƒ"5hM2E!缋t&^fCLۆ'^YWB=OLs.5s +Sk(nvmZPA`'HZb Lң_I;RzO@#G3hT Z8qqUo9IUo=b?(u^ Z.c Ԡs8 : "+C%/De9?bvt+ʼn## 8v; Ք**CvQh`;֞뺢 j$Z)&< l?R, 2Oٹwz'~ e^ޏ8-\taD5B9|!nal5cHOZ:˥f#4t7؋OVF&^ ,[GDǪQ0GF.+ireՌ^λڻh? (}̈́j,ѻPW[[y"yۿiH=0b&jĻBARj{MQУ)p̣grX썢#W&q 1J4.sz?U-\` HeXĪ ZӺm:X6RZwHSSn6ȩX=)Z6-Q tSK׽XCg8Bs/we !+.޺^!̚YElGINtP}+s[oXHpTwԤtH"sqF PDϡL3 ~E /[=;jaw5nZ妱s3v"2 A9g=sbwTCKb;<6q`jJbcyY%hOVgWYtΆY[&"c@Nr^Y=d", l"ixPwpj-̭el8X4OY&Lb+z[>E< 5z8Pq`Eo \8nl}2[H9= Y 1baqOhBuvu,5''Jf9Zyn11,[#zaX! v탑't W3(TȀtkϔhǭ˛ںX9Jau^5=:dnA`?@~F `q 3J\`odl~-=sym`nՐd$Y?7)xy[N )0k"D#ʙ >)i5Ĝl|ZSXgC mݸcSLFuF)&` nNQ:^4R}g9^ nн"qHXY^DQ$V%< =ܷwz { H~xmȫ*m UޒLTP1kT1-7kp-& Ik[$;۞ôp^QWڟ)<#fǍ \հh\ywa'HcHO/Wu2`RkJs=|z\UIY5kު]J]UKF|TtfNp%V|$ӱI"\ LTsIxfNY{ WMxXbKx> EEiIj@aW4nZ[7J 홝݋}ºE;@ I5|. 58ʂqCLMHx5V ҧ\h/+Qe}f;sι Fؿ!${EXW3`4t~zZ V?SX-8\ i:_9,mx6<=]nC96dd_stLiJ+gy͐Fł9G;Lbt.OЙӘ써uyciѠcvF^f<3H WkjPn$a36ROtP>X&vso6K6߬'ֲN,r<Ԣ W t*8) #/kQ.UdnJ@zG34 u*P@,C>ΊnloxZ+718m=S˺p? _{U|Xܧ(9d3*j*(g(Xg8F*{&N~'ϽlimE6xtE2cDnM};`VF={[7U|k(S3ø9:9Շk\NEԞB:!4O!Kחw|&T%)sceDSZ©ogCPq}ezٯ pd@FO||= IAЭGr!֥eh}`2* KdRH6T~aU;F.l [^!I;S@oyoډpn(8,-ó{ nB~(1c,EJ:Q tsMEa(6Ne2f@#W+)D ϵ8ږ\V2 *G.4nBunc7&\8RPOk빉i|bglxCvgʮ<} {' yV{?ַK;XΟ v W4miBtN:!~{> Ю)\̨]>Ve3%= l!JHB@Ƃ9,\@ l',t.>tdݫTϭȳgb5Q6zMzX1=]XD C;=>Jk)+^:-Z5 _lʁ}60_nCGTx;M1{{ ɰN}㨋y0$MyHg&fY}UY) p%n}XIt'\Xh&*'Kۋg@%S|O@qZ%1>gSO68??WbXZU>0C~ofiWI#L!HgܠeΠ S|M61~Iֹ;\Imǒk5ZnLaq3i4)ݖ<80y}%ؙ zu5(.ܹVC=0vQ2;ԮSlrׇqnW(~{G-߉ P'd!M$8^%J ʔֲDbM;Ϲ(R#jAK{8*g!yetjE,Gphs:e>S`7ǹ~]n͐7Ku{G[g vӪF͋Ơm@׶'ºULS0W2SӅ( ܑXp=63X5+/O9qxkF4_3L>{U&RU !nW= jM.4U#/-A wI>5oL^_{)O959js[d멷: Q&37\ :zƿL\wq)wk[q,?RɆEmzYX7 &StBCu^\*ڷg<nܲ7o, sQM»/I.#Be4 h߻c' 12%jrFRp ?{Zp1g`l35k"U!e{Շ}#%&DZf@\pecNGMSσ6REP`J5 3; Ϸ+o" y V)gOC~,~ k c ̅m13RYDZ,tۖ :?QpF!* IDn+ ~ #>%R3l}D-.Y]JrQ"5~m^[髵 ƃ,?d_Pudx1-9_jm 5j t<_o*(!y_!KgzI$$k%e1XB;WqXZ[)`]`sA]gqFʸR: Q6xBd]w ])98_~gy27T+YS@cHWD MHOVmD`fL?(B} }B}]IDa??f@eRW1Zr^`Ӂev& ?U49/s r/!CDÝ=u'gϐ?P̶\&"hxM7&+qes1S:^S<|+߼+;tqܮFC]Ou枖l\k n"}H}NcPuVVU_3?#H*z`{h2- Qf=*=@^?s3Z"ҳb\B'41O&dzV7n޷n*P 6[< 5<q= f1D`擡P0-wyfNbA-XNE 7ͿemcAΘLG ɇC۱H/Z\?S=:U8+MPzG/.?T5?g{;a T*Jp0{W Rfx䉧$|ٻΗ.* ǭw뒙[;jx~KߛW?L)Q6L'vɢ':Y9|:ѭq 3>A8eFIƝI: B@.- ;J{#Chs)+&296sV85)G+@sB( |n4D[,2|P/? UL 1mӞ>gP\LZԸhXu1#T|* 3U+ ׽oftmpч7҄mČl# zB]-]>EPêǡHLtM (yI`o҃4o;Nq穡f2 QC(U %3V|9*su}pEj"7/$5Kl7`(R{˦OSǻL7".l>3gRCUIoߌ2i6|eNu3 E|OT 9c@/09}B 4ڣpqg M8E82jlʽϦhZZKž4c\ߕxzǢ͠j` #6!]9r\w[Av< ;dי]:Zm5*E+ܮ:֚˅ &P M>b-PZ jr@|6u| IdũSCTYA㶏'mEIn.i {Zm@eKeH(b?%4LKڠ{7hh^+Zwb<n \zs'o~\H,I-/muMc {x*LD)"F5,b;:0SKJtqalԓM Қ*̦R EV,@cGڧ/P$z 긆m. r~nWQQ/SV*2 Ԯ/+f:<h!j%2 E4%8j.f98\O,m#Rܟ,9yǜO|[u8TV#p*@`n7.Aՙըж}:B 4s..iKOAOЍ[WAة1څ=ڕo_*yZ}]A_0!#] uQ9otDH[Ɗ(`EΌG=@J$QZ:,Xh ʐvm(IIQ NA1Lz"Z_f'W[fȻ?xE;}1q|vh6aJڥc' >6PZN`o=!%X+O8MSjTSR*apnMS1&ʀ/ΖZkFWC)GeNnwY5:(gż6Cn3u7=$b'N#NV5\(ݑ>W:@'CvjԝÙbcz:fXktjy5sIxÛ;8z+%} *R ݾe )PD1mETVn-01]$%`))/ )kUbo-i6ٕl ie`7)P;+))T}~+R@0˞젨W3fiP~-n4s}a|jjG("5~ :U7)uY8gw+A;GĶ!WRga\_O?w>rqF4UViRa> N3mw:DAt]qcי.;p{F3乺jf**[5u#i*aݨ1~-Wqk/_9st$I)opB,*i ? %`!9V^k Q\s~4u%ZrJT/ͅ$aN "@E3P>;j.F?}yڷH c4TTRj kn${u.= rw?;Q hh4+c8&47)!ص%O>BE4^BZ@tNͿþ?3h~p*.226R]/~ْtȼ!TO~nß ^+fV`J~52 uic`=C>a.Du)"KPYK.m-N^`s`ټw }pץ -2[S9#Fj 5P