SQLite format 3@ 8- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 99k5|| ; HOL-Nominal-Examples:threads=6elapsed=370.220cpu=1389.952gc=122.968factor=3.757zXZִF! yw]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb Sʃ,*[}Utx#ݘDE!ƹRX5JǪeA&))f7[nj uNBg*uHXa-F%ɢ#8SsK 7nlg8БE)0ROen1%5Bq?ę$#{Jf hD'v%g3:̭9h׵I@`N2,þtN+l/[J" YmUw=mp1BOS;M ~ԒcU,XQ bi{L5@6ʦ;V-0-졒t8wRL/A -DH 0&R8Q޻ʪ2KUg3# k w #n1TkBnK7ܯ3jІ~{컉4}Z<3k\?'Ԛ{~ګ`# 5 HOL-Nominal-Examplesuͺ -%T>CNJ]D. 'Bq8{5:عp9 JrzVzb B 7tO̎YO (w!#Sz욚sQXZ0T<hL=S͚MS'6sF/A.>;twdUC]eUR.*j;9[$4XM}j@/>ѕDwJJt}_j[ߟLe#X<}r0|SM;9`[9hD=W.Iy7_ ʳyv0RgG: cR>IGh 4JMSx -ؘx2/Cs6Xgȫ]Rpnh嬚}ldNopc{E4Y_.%N#0:;9.={4o )e6 &4"n")y[L|RƘx_~jֈ #Ӭ V?5\^r}j'֔ۓ:ݑB=79Zcbi;T̥Ջ< f̸>ւ~8T[EYoZOk7귁32^:ݯyA^^p昨f`{je%b >Luv_ *n14ɛHU@f7g0^KGA + ].E9~iy{5} G~(_[QcgdIs?DNһڊňÖRt\##sp>ܹ]Mѡ`VזL"c~- mPI\d!6 Xɧ z9Yl?i:j檀xׯWG$((Gr.xg?+&=i%f0D3Xi>YғLGqto 0ϱɐӴ mYhnM\;JPtH0)m]j@pTYJbR _Q0_#(2\ZieNHy`MD@C Zm(Cai|ѭ,jr]2r,jɨĉudx{ݥaxr?{盄%iz`6X63&%]4g`^ۖWNZ%ܷό8ot벭5(W"+'zL*N)vb/~Oݑ,yj+scmg1I4S%jv Ms~R߰)LZ~> =]ԞHc*0?fKQ̆ _|aF I@8ִ;D#=" @!& ӏ2эL4se#e< Cy@YLs]0;ZMăhy?0!3{7.6v\JcK b`n)3=9_k:ސs=<,Q^7i ! {E$RI;IOUmq=FG}$ž^Sí`YxrGb>I9aPix zY?y̑(Q 7&sX$_4G$,ly"# r|ŗN*ː-?Fр_W5ݺ88++<{ZczOAM 7K}AݽEns'BH!Mm*ݤ\‰c~b4lbbz9w' IW4kˣ.'m,yj\%mOFKFejJM]P❧L" JLp=!4lexwaV/N5>Wq&yin=ܹλS@^+3-YlߛJpKģ#cs.Uaq|bƏJEZ~q^hQs$ڙ)@ oORզP}U0Mߋ`[e&^[*}ؾ%aA؍7VY uw#8&&bkD *[*ˆk)KQ Jj$!wG8(ӡΆq"Z!tLgpl&{E\7e^F1m1(K"ҳ\[F[F7_1NX:H}a;uĒb6O,4Y]R \})G4>.ELsƙƋ~[A:ⷑ-d= _X C)zP!ِ122JrYpKq]uNDR*G^z4*Hޗv 5DTtGl%QHJ8XD nφiJ_TPF:-|rNSqŖhedf="S\2D6ΠϘ4_qTsJueWsԒ`jP$>&wdq}:uܸ~)o0Őo>l2ӣNmYBL*׸j۪z˶f}ҬXϸ⛔#<0V[t/y}9t&RC`uI*)9z3N_CI^, 䩾>i-]#$'^>_0'Yf`&o6'fi~^:2`pWńngyqԛGx`8Co s~XM?mMVg<#mM9I>Guq$aR:/=ˏܭ3@ Qa֩l)CYHl3łcެdiUl0N9r XeII7I䒇j鍆4-deC).C5wk%b 3O`!pÈXn+ NWpTVs ZRT`m%_=*r / mHfVs`z #Jv'1 f_cAZz:]i|U$Xz{R2X<=@jWϰPPziz5"X@? CA1S+ WNw(.2[aȩ?ceAS%!a)% ;ZM- (:{EywˢyLBg"X&,Af]j'dKڬy%Y#"757 <,Rc~[??SDgUKL\q{~`UlɊH-- ޡ'Nb/lzPBdg3L*`E1Ċ{hcnF~NhT<2mLpJ8Zn u*May;Qn'#O :^$ձSm]Nm{kw[up'ӹshIMM|rKXZ*iR5Hi#{}~AedSh@Q2LgGc'~p%JkkQZo> @}Ur`k-?hjE&hըfڀq0;xmN sڱ@t8tMw)n3#HaւKt[k`cD3>ut䫻@$ͳvaTbTyfDzL~$8|%>z+{NnR1ԾŕJ#rtl6Y#;k|Cҧ̐a޴>ckx< e';/<7a.ȯNt1n&tY,ez#2|~g 5-Ҕ(g {bD3 j,́d".W73^;[8;WLf>C6_63@>T9(dr+H2,Pd(qsߡgH/Ьqgjm1k0]%|.SҌ0E\KwƽJ'u)IK[=خhzݓEdjwi.SۓVZtރߕv~]`Ѐw߈h;a6Pe}|*6DD/a5U>nil9 MF_<¬##>0^ί(tg0sa>3^Ac)gP0ؾR okLx^օI: öbFDJ+F3Q`a/̈#Df͎2nm}WZ U0)E;=TXSLJԄ]}FUjڇZLƥ FlGw{FAB\d&0Gή%ɕГQ|KDeAT!Cό7Hweͬ*+6z`\^Ϥ' pwpB}C7/NqUMˊI=9cw Obq2 BE8c”OqBXS;ϑ ;h Hf {2`z0Wy&:HWiILPH2ۖA%v쵚މN@"kx%_y0@L. \.3qC艪\\uMDfJG d䵗ģ߃}<=KNQ i>V ns_m`U as6}( o+L.>DFwa,t1 G8XWәYʎrJQ0W|z!~tfס<6*U 9. 5*UryީZ`DJzN1M=K0%>^sxē([+8781o؂TqXgI6q]dHeX<ZH[8D;B_AZ 7v;jk a4kB/vK㈗mT?e&x^}#$Q^O폴XR啁UWe1 G!HlUh}˨.k ]ΠrOQ,gumh8|A{G= -Mஏⷙ/eILIu҉eϡZmk1Z(/[?0s0>CC , uOM]F/=)F0TG/ p8ts%Wj3Ʉ$E Ђ=1٬w3 ׮2U9)&qzG<DF%&&1=zgK0 ynSGbl?K]#:}o9"[F?8^ U%| ;XuI̲=d:vd鋪:046ժ )/%WP4ȕvg#VF,υ4dXIܝ9tɿ-QA+Et3<3,>OMC usIt۹pЯgJSDOS q=확' zuucbR۲jE1IZӄluxLsĘ~&$cJ3k)X2h9vC㔟/bMgwE꼉Ŏ^E؄t,"\KOGL@ag FkTO- SQ\o;m臯PRˋ P xy))R_Ak0ǏCpm|Qx?#3 EkEQ(10ZP[J7|?]|,/Zv~%\BphP9SI_`=BjcrP=MGd v ui*~sm* gee;H{&P[+G~/7b5Cc*bZtC2 SHtʿ_iSJPm6b 6薆7>Z ӜĿqZ#yF4m!C^nMo j='b(hdXc4&U> }8ؠtelC,j_1O&X&l &ÖJs[qTU؎63)˗Y6cYG$3 44 *D#/oLfTϼJ vgE!hx*~#=~^XesHϡ|:M׹Yl#YM8B\dA5^qː9_  .bT;ć]4AC;GbUQ[S5C^pL4Qiwxb:徜I U{ҽ12\`FUN?`m'!x5dip yQ^ShCW1صs +.:<SX>OiK3 ~YVP*N*C ;L/<2 ;[`)sPGfŹ[cPƔE{TD B+߱6-)<)'Yfr>(~}kVSڷK}t8y] 1ܨ[>p_Wd}CSbvpF,!:XI7VT_]jq`n~LJNKZG9`MF*B%zQPHqA]spNҽm:(J-]BV (KzԽGg/Z?|S0v n/44EɴVY|P}zPfчWOt1 sv7fH=+>{?X&&_ۋ\Y$fQ*IE&% aFiY ӷ͊^CDw)*_$7|<)NcS8a!]"$Mj_H LR?Rr!mb@ҌczB[Ք Ĭ~TZ (绿bϗÖc"`ȉYVoxv.p̖3<\zɻ|F5PPvlhE6Q|˖,o:uUeNWOJճv^~Є kkj,31L X+gD m6ËXyHNR*Kţf$rD؀XNPBHGE>zD頱ũF̑3 NC_cՠm}cȨ^wNT4D ulٍ;Knz!$8C&N+^ĜWHk &u՘Ql +$A'ğ+g,ꌆ?g"y]SŒGiXʸ[`9ߪy㌪~ )=#%gbNOP4BZ9U4f3 nb씄rk..~s! {GN{Bor+jiK ~ҡ]R [ߏ\YOILix p6@'FQD=+ #ɬ|oA \gq"Ԏ@v$t?&/"'Erl\0.,3'[*u,VUB|?QR\ 9Ԥ8 rW]S J4 y%xM ]d"<ٻE \q2VGc꘱K'>񷈛 |^\ Z\:Z rpZm9:qӝްdǖa|JIk7p\Ȫ2]>%8b'Ff?1@SsJluB)cq4trռ~OBZob +VYc.ǞLXzaJ/X1[D^M9p n57*lsT\(@V,da `Xϻ:xntvC|LXZ+{z"\#OVHܶ9y=uq?g_g5CT}ʮ׮%f$24|؉P6" Ws# Vq ė%j] y+3ra۳H8v1lð8>i| q֎iL>oyG,3"!Yy5cup oT‚D'4?&Ȑ,"tc獦\}ّxX=<`S+|H,w0>7>2bgk~ f, I'N2snD1~>1P<XnO.ϞKq au<*Kxйя0rc 2ڍ7F(EX$C?Þ;Ē~ ˷d;liG!s|;~LP_~L5'je/Ǟo/ !M5nH/ !*=:ҏh|u9 e&&ta0ӹJp aC`R; p.擞7ȪȤ{mv'oTӶҹ u}9}kBAZf!56LtzMYdk^62JY/inN[z2!qrg*9f ĺGSdRޝYa&q8Ni>1`T:5 3Ų;0ֽV֗$hȑ5XYU\+~@7=~|63:ZtۅK4&ne[Ox\]u䴠* ֵ-!UdmChwE%ķ) j=-RzgJ pM$Ri0߰j5NosU2tܮHr%` |cR˴I6<6GGV  {S ܼWᙪ.%5wE7XD8ˡD>6Cs:@@`f^z9K])rSa„Gu`*'߭MJR/8qJC"&wWu[׽s7$D={hMQ=Ād ن08, vb@l"6eB8'"dXSXf; - zpP"Qfwȕ^rdWqN/lVT$8XC"WdU/9yΫq\djnULix #4DRO0kkMXxN93Yˡ:4c!k䞰n1#vq|C30Uh eOW5'V[e\،IP .tD'$-"Ηu^wMڹE&騷 u:U4]힊qyRSZ"zeCQFJ?+D&xWka}ڋ?':wp2q=6PXfބ-Mp35N(T@ W(V νqo|1-yۑqc( >g_ڍxn&oiegڈî^4UpdE>/R{9=fcǶbo~WZ$=|ݩh7'1ed*lvsbx,vx|+(&ߗMB!k} VE}chI^;kd- f[-[Q z?ŎlȀ9kеhG@nE\/ )k?28Ҽ'T7U%0O9S}$-96HWgܜ5v%)cZeu$r߽glFN:`2"lF%yiӺ)]qݧ4ͅg=?a>Sh9dn ]b@d !MqСώ#+}@.qC&?ܷEk󬑃y4c#7V垒vgՖ/JtomjvHb~tbi͋>VxHm s/ 3}}@0s^5H̳3e5)}I}U)EJxrWCEcN vd:ϯK|OIcaLZm:9(]Dv̹DTJjwB8 $h /`wU_Q)MM$E?PB'y\cZ {,#_ r 3M8."~?`Ń+&}{cٖ;,;#VssB&.A{.>;>JeqFXJ61uK1m{QhǏm'3UPx^V(`$.h1Dگe@LoBׇ юq 7?}ݾjPGW¿\L@"L 6&W4-[]1"ſ0NtJLA{h#? O^Cmn+Và V[W>jL֐$*) i: }!c6l[Dyc"e(1z{*fhurytMz!z`eU?-0~VX Gem%r5}IG64eESw7pPYȍ`ɪ, &HqLiA됲FW5f@,%X rńkM0#V& oWr1G3 ȍ'!ʽ1 لuU4,b΋б1zsr=V;DSNpes5Q pf]\zn˘Fg*M&M[ͻoG$ ˿ $^ZV!\s φT1nnӚ+ga4^]m)bhXAf=^-p,~]MY$.zjWe"S%ZBeI:`s-CbVS?$wXy6sף}9.A+nPj5[dHCw:zr^'{uI `4^Ѐ۸j},qYv'򨂏k@Rneʦ1`0iHdYk!r i=BT/Fzƻ$0쏑Oۗ&TER߹HS8tA 5 X3CDCF%32822N90 {U,:,Fhj9 0V~4-Bo\wjy<3i\KSGҸ,2B{g 0Cr1O'{_5~dQoOYzy@]%"i&؍f^mXj8kr,? &# ]CsGܷw[agE="RUb_  k_P!{ }Z)y~ܔTuWģ V8+i6܆Ww;ݾ3O҄Bb5Z,`A#E99l#D$2S xqbu5LŮ'J]Y~.BpܘfῥЦ閽v륿Ǫ\YFwWq+dwS=RcQO3_. BoDn Lخ{dN2hX7(+NAI-FT<[wSi3\ {V5?Y~ l>yQ@96w>q`t -ER!N RCD"}X_@74-M4@SL%PK^qv1u$XWWA3d\. (N9; v[Kcq}GyvʼT0D5A3YČEv irQpi ` `tI%ĚhQqPpgk]I# *v\'NWv}:l Nj ;$iKOKn,bZp=d/IEHګA 6ͦSj)!KoƔR .dF$#2.v;F!{ WLkJ5wae+7 J>ڀ#)i:8Nk}.& %)+b0lS]KgQ:+Sia`+' eDY }5oQBe6;ebJ~13y S5.~_(T}WZ:1C֚K 2(8pd:{㤪q~gT.wWJ(TWY2G;(J i ]REj%e_cR _ž~"]6v~_Iɘ#g@a_EZqPìU ^D|O)eeMcijV{N&\m&|8;SN 4[ex =O" BAo=YPzY Nj2#`Mțr11%TC4c]o.t4شi^:1]^?ZZx#E kfSРyJH.YUϽ%< &G fV9"B#aɻOFWܸ5Mr^?2cB&؍XT z<=)A\<-!adWvx| L*9}Gv(%# Zڱ$~*lZl|8U!O. 7`ak 8 sYKtA.Su3rV2iӶ݂Hx@|LQo};]+vmȧ:2&s;tYb~ͷM@%e ̩xã@_Q*Oziup0 5Z>ަ!-e.5Pn=soHx`}nLS4/Tzb$g,H-Hcv,IG,G@T\ źV/}bE]HRt`nԲi^f8fŹdՆjG i9Y~W(+9_N q8v#_3hټ4ۆpMA3(^E{L;u~.X+ۅ3 7@~ؖ'nO 'ٲoٌ\x[jvH\'I]:[n;ۡY+|OjbHͰ|mHtHvCV=RδC5+fHnr޹#հ+\o!p]_CMNn0w~ҒB[x$;Qz1,aFArB\nGcRː>+}wo inA PS>/T a5q`Nֳ˙u΄\ueIw8V{R#ߒUlOCoᛸJfʂdDA#-4{ nĿ;m$ϗZeAf.x:QqacuksC]D3 +I]ru; ÍZh A ] %Ӟ7lsvf!(%r'7㗉UF_wUIw'ωkʝ^l7u%fGIv7/‡L,9cq}AB8ŋ6x);{BJZ 5D&c_5&wf`H]J=QT iN_ ^ \t3?}`{oa|ʘ2|]5{9fPzhzU+b,pSE"ZHŌzƽA|5DG@za{' M`UZuOǴE `t"a\jp 0v r!J#`jdըșg W;snFiYVЭGyUg'UAX( Z_\cn],js{)cA[-&e1tq1G)IAէtnQx\tfMc s nS`b[@/$HI&T}c _CBk_rp_Ib^gx#m im(~ʓ?#>|̿hrǺ\֌UFgQN^3YO)'nUέW ]J7-#pMP pmT5}c-&[tQ:c+^枑_΃\@$ 4N^w_ 5_RtZHf>3q٨d'h*<A(=~ @ 5K<#f!7FsEv(* ct _ lzii(XH4sa<~{qHPQnYWQI !/ǐ-UƗy"\5kcQ=֝uhc0Rj0պIlͨ ya++ di $]EpT2}6 eQsяR' ,&r=G^~HX!ύ|U=+s@`u.Fγ-ާ;><ydE[+0IBe~ }Jeݛx6xI2 C wEE7\ >S|r∦RV'Jq|K k^ +Pzf4I;$,+8xsfDi9YNQ$ݘ3Cy:ԧJܳo(mLbK8X=1BFZlڑBy?aV-LOӥۓmۭLQJ.\1nr]#IJoanˤaA~|aXuڿrMB99#ʿfP-(x.u]/G9 gmAc'Yv('WP[z"+)ϹoI@)XTu9ƥN̅[Z )V`I-tif5';jځ3M)gnXTEPKs;򠂖sfu鴬)9 $)kzÃ-R]fDS;%?#1-mKT mY{?|JZQK/O*8X'I`8PmP$Қڕ z`W3֘M4!ߗq41D&@ա,K%'3$88і2M K,3TFKK u鿺*l.JX--&j;{y_K.fQ}a],Oc9^Cr: S8؇ܰAtsHӬA[snn.L mE{%N,)=^T:+y|=%%׬ xx>:Sekh("LsFՍeL&"ZY<Қ)b@B /E}10DW֑d;[hy2n/no0ĬOQ'XG=ڭn7"2 guWyrݟ Nehգߏ"kTTrBv]W=eRJ9c(v{Mh(0+ iS>p-?tix弫Tz q˱*BydOvUYYT|ΘF^KF~ٖMVm 2] <](J䧹^BCa1> !7)g }tǶҼP)QrF\jdQ,x>k0ioCЁ?JP lêi wL -g(}CORZs/yuWuG:lb!?lPsk(LW#W=:;I2tE?tSZrKYʐ&9!^=הKki3<"s4b+"Tytg-Ro YM_LZOG@ 8ЛX#k%UVyӷyEqW#M;C^(!"VSoGW͗-S+~&>Meť݀ҋDy,Vj fwW?mB,ADj4t`woT]K]Kv@abuusF.3Rx}w7u)B,8Myk";Fx).)b>w?CUϱ9 viX@fuI. YD%ʷėCCӴ4W`!RĆ؀t> SF:sdn Kˆ?[X^=ܺRR_CI~abHmoTcd&Dt`݋u$X4&QtJ{2['6\H'Dgy4V1;o$e 8V `,#}qTʃ~AdD&օk+gL+k7$1D`q ?DH]:e<$z>{8~q JRd(6,d|Tʬa&V[rN\.-s7q9yO`_.U{^<R_-ƫ"ﭚTo2y<>ejB X s"ge&0p-ntײtAj0dq0@ ǽQ \!J|mhսwoӃ2 dU !Ǜ[1lmFI C r _7_ҋ>u)(q%š^ x{ѓ_}09E骛ktWP>R40Xhs_ĘUѻ*1LG'BzvOd1΋uo0'hi }x˰D=-۩,T/YK^}_ɋ7Qk}FInJ%Ulr$VE楀{SEX?(Bm?|Hϩ"[]&G,\n_$ g%sG3SK},[xGJ7 Vo+Qh{zs6 p,Oq-)urAJSz{xPv3CqZ!}/#:iٓ?È59)-O@cRuS|[5l )XD[w ݢ@` ZA ׃<Z.`[{(Abţ:MOL?\?W1M&;[N9߻2$P2V K[.фnl|m/핅15m~`A5([2cݹ1SY3bhCF;?zfEt?<>qkd=/@7Q` K j) y;UO }0ߧPg/i1(]s@EJvO>֜)i BO|,WqZo{Vwl#8 {7%4_dQs= {8{.=*ın bQ" |[Ǩ<57˰¹ċ+$^Jd?j#0@IIZeҽc$dF:3h>2ЮGrn%S@,6K*](b֍wf%l 7#~^_a´OH^<= 'ʺ:=c\GL M 8Ykbh^;P =]7A互8*.pBx4Nq,vHhutL+Ɍ##15W ;C^;,{qaGBM-n$% KčEUӑWBRL\㿥fF_Du5z y/F䀶wSTe5\_OZ4xi */Y`q`xnA*n6muJWqcƺ&@XWO7\U7܎ۯwqE$uNVf=d{x.fh&2VQ?3C\I֮C1! n"Xm^ umQV\ "LБ.\SLwXrwQt:>y} /゘ƨmJXDN\xT3NZ #h^3MdS,%[h b:!nۜC_ĜwI^Q-EC>TU| Q0L;-yU)^bxጣiX=zJHARNſQO-;ACJmD[w ZA :RI+Li8y/.2OU,2 -@pEdQc4xAL<Jiv׀ZDW2@R>DH|J Hc};O[$*T+UZk^0 z6EK,=ݰWvt,,`Da[J{Bb^T`_:hB`@XCL(e5gC{hɸ?Mh/cSQE~.9nYB%k7ƚ77rm{WpK"(A!0 NԺ8t6軫h?$ mfO.G@t~܋gQ%9Q`;`>&(:dC7&vA-#tO)E`۰;{Q dBӏSa χ!lo"Tbh7)f5nsf+~hhWCb|tR)`VI|ő*ax2OZF5}k}1-Y%V&y^gݷ6 B/ٕmϛ颖3rǧMĹ6yĥ6+jP}xDA룁n6׺ܢFv)v EVm#XSh<.vkaH/Nrn/][%8dPa {r:"lK )< sa "tWԘ1JtJ8w}TXG@MtAT+;< +c=] ({*!~Lˆ=-UU-h~g;Y J^}E fѽCZ7|'GS%9842 )` YEG{4+ F8Cc@(d`d SBqfDxkQ@ZJi6˟v\ѝ֍tCouLܑ# $N e91#ެvXaO c@@]Ea`LZ(T}U&mM؟Xɔ?sm(U0IP!.˴[Ga~׍qTOJqo KN,3Q -N3(ђav sq#Ĥ r#X9F`' K}Ov(5K0-p``myEqn#nAX5QJD}fk0,HcY|%~&ԅcw5&hΝ"̧5b^ltati0ud7qmY{1( ׵h;K'ȶ~_pkS mW:F;- ~Fgٗ(0Kdcd8ExYV^_ޗϩxߡMQ pS]ENEFbQr|4.l kK:ku] Ƿ#<ٝo֥d6M4;X0 /I՘y%# e7e4ztǝgŎ!܈)қԩ}%dRguo{1EAtxO2 Y!tJ7F^?""F3k YPcلLA*\sl rH@3XŴHϳ26"}M?zYbSn-mw>?d/enAo3g5Y(/M>{U].?IRWED>`0V{XUt~מWQYiV@Jv2vyDDL\-of\齸iQi1 xQ&7a@@ NnYTrO~5aP6R=hK x`RZk8[3 @5fa#}Iާ9]f_/΍ݱϏw'Zp }e϶qBo:#6ʕ5T?6<橐ʡ]ᵅ䆠z`fYh0!^JL>PM,a;LNoV^ZPHk=$-g<pxB.c_nr*]<[ԝM<0f4r-kFr<=SDyٸ4/ݎ _gLYTM^1̍{N@!qoawp :ScTǘ hR!iq4I]P𼟎|_{SYp >w|Ds1RT&?pLxI[(Ƒ鍨}!G^5$ЏvV9EvJUqܕVBfUv,]p '0yoÄƈyJN] $6.@9ƴ)zZ]-h{ ř?N!UH#LEٗθc 'mo^2 ^:Fq<*+t8/,EkPzd؉~,t6`+3C'sMmgLCDf"NfC"ITK%"uMNMd4yR-c[\&:"*\*_'nh2E}K@[*'q]g1)D`zQit)\:\w/ٟ{t%raq)̓=3RNs2yI h$.bD5_`Y$H[ʞ+ [v@bG N9pBT ~qdjHA@ y0$ Say?W8v{ɀh1\Ɋ}F8l#>(55&ҙ⏶2֒+E1F>F DXlxcZ_rQSK>-7EwM]gd;*ooKcɶ]j Lo%O9 x`M6 `2[cCzU&‹4 ަ\eܨ~h= 3p;lt6ze8kC5vgЏ4w" 4p}#{(rtC <Z |=ȃ x3"*#FRbi6B!ۼ2G]dIڅRBuV4!HoUeqպER[fᖼB$_JByLy{%jq%N=LH {y/p`ބTTpZ$z!°g262Gh,Ej>67?+ĂK{W ]8"vpWq28^1BX}k#:zlnP;*+VN\O%Ux㋭G zxQڑ¢9@LPo"qvt2I*''iv %쪤BxyKq챇%]e=X^"u1-tW KD&?qjbQHlm3aN?nυ=uqglDeiM c($~RĪ6L|YaoBMWumI8>yDO/M}%5J\Ţ'(]|'xY4n)k/هko.cD N[=9gIៀL kyu(rw׮Hn°zR=,$4>t 25۔Oeo'iDĐ7Z =N{HԼ;Y|ӉOKQ9>5ASܖw&o~v6\E{RA .٥ #Z/3.xз]8|\t_?Pm6* I~z@3D9(6qɏx6z+O{QUZF"^L:~7i: 1v6Y{(pCfu ^HK/_]kӤgYZ7zXZִF! W5]ŗ#Xi%1sJA,r-'nG9W`Q[}z͔$GJ l:D.TT+?x[ ʁEi$ȕz.k`/RAx3]B@ d:3E \x6QbS!D@΢|C\0zvtVj)|FlD4aFz7RDG1*UrZO| 匕0ۨ1=g)Xg.|m865TV=@!l+"`{SiTc4ղ_g(7c EIw?IԯR ꊀAen畑 \AX)ս8LzU7_.K*$mYaoǙDrzE[:|4"fWEcx4jΔ (H$ x@~bGG[{w?_D_x~[W`ج- ,dZECnZB:9s͆L5~o7HDw+/,(ȡ`J?x-nP6J $P|%f'4`oWOf<.$ۑm// 4xV(Ǿᚉţz55ҜtYj1SwjGl%{f7Gu̹!P3Pl$ St{C>WuqUʵB֬vJ_ i "SmZ첦G:)R}fj_#zM(qWnmjpuJAebˤ"Y(Ou)L;(fel /-Uٚ=۲N̾YJD&p,@t:8vug* R.C}, edKV/oʡgJFPB \ZT;"_{I&aq:WJ_Wwv† /dQr̪ e  H50;2Jp|qI[͟P],?*Sn;#%-Oϻ+}&3$}) 띩Mo^zZ5>""4Q.U~"B(yݠ9I]ࡦ&!cJG˩s@_U~LoP-iOE/q*,W@A`CK:E2tT/9S5<<R=Fh4{ʡ߰7F ,]H/?#O`+ ;yi_t$m=x@a{zB,pt l&{Bd bĊ/ZDe~0p~Q}%s1;OZ4*_ G/دZRWR*I*_O3qde}?)iwS_JwX4~=6C2_4o9U 6Φ jcd@ \!珜:77hzJ\u\6ߚ#19· ! ?tY᭐%ČS qVZ}uD%1$lvg8S X!O' 6{yUeCK4:…kK=Yc[RB^NCias^vVE$`Њ>O]&mB};>X_ݧ ^7>igoݧE|Cqo|l3VzzI SߜQϻa8pBzOcu;5@(,³IY Ld"+eUf4(B @~=Zu׌w?ccoK(h=qwHCSg}[]J[)=-9 ͽ} 6ׁU+@Ug%.S?_ 5z!9 a !MA@:MܘH*&D܆HOb]_ڔBA|9DEbܕ&]\]lԆqaWrI~ݟ]DM ^7 |ZL"WvDd{.e%gb kx>!q$MX mbg/AKzXcַ6`ttXiåPAȝo aQYTU>قg]{c| ڙ(H s3@5a2"nlK\(lAz:6yzXa1(X`D XiNKlgBڷbdP2ķ,m5.BO׌ኳ|sZ_So!~5-cc bIx12lKfc<5Slu١J., TCk8;;۹Y-uViNsZb?z_ @3'O2ĵ!5}u"[7N/5G3㔝>ސ*3Fρ҄]aA53]*.I}葼{fGzu6L %T&BNUk-az7',-n`16=RWRzV)#"dϕ!,m:_Mi'z"B̘ +x!k v  q2`̖]2m93~,i'Ud"#³r; yV  |J#zV:aMZ8{W1NaG&Ҥƅ%E&NsbFo%=BqoY-c"%v̐1:C[2D1RhN s /B`` f{߫]?N.7LKKM=7}8cc;d~ utaClTO\~DnM)Hqr~Z St!ImZ FRaO4h+u8lꥠi&FVmDY06n~S~CRUN#;}li<=ujlTIB0Fǿ=ݖ'gm,iB&V<`]S%erl^=..DVY1,^%CN4ݶt+,#Џx|^fQ5<#t,]F_uĺ5ӭՑk0wǫ+ѰCctKPr6/¸2yX!Hٻip*C6Dh^fЮCdjxd7KLl_!~$.UQio'7kR^,B%-z_@ߍ$vߡ^8Qz Ј3i s{NwYQ#͚u烯3m7&|[rC( 각J oDܹ^HBNToi n،6`&R Zb?0MXƱttH~~.5%EHc^'W]SfY!iZw= ai @HSaא%A}ex #˔zhv\).O.$z/>˳kvh&{b$Tl#@YŋڬM7X}ղ)i; lɌQC'mi$(J9'-|蹦?N|;'Jb x]TdBspˋ3{NCUt !^Z-Vj\OTo5n y¨$.alHSk(r "^ΑkKKIÎg/*dh]Ko⮷yGq#\[W!.}iq7Mwˠ4NuXFwVE c3Ѐ,JV~SYC!fvxz<[`E'raw1sof+j)R< ^oYx,W5|%gf05"Yn0,$;P~Oif;cצƾb2RC FbNV)J7:|vrΐx~ߠ= i,,PDqZ{Y .ghdy6]}W5v;Mp#Ń) >`3^J>s bS܎/nav禹Rȵ'$`cK2'+ϷZ1%~忯Dfb-|nDw [O0d Yd$%wMjߪ:ZEc#2cvDklG_8Ӆ䑡-S jF!M0pFQ9Ԩp\.MyMhC,G^:\pН:e.P9D vMMeM$3|?N ty,60Vq(j;(CCxjΐ L?؏e%Ձ>']#ߏ̹L/H͇:s^" 8O#}nW Z{Y4vyu'{E=Tयl'*-0>NBXC'fƬ^|CC,DE6q8I.=D!5j|'nМ[NrQJU#[k*9 |tBĈ5B3u S8![EIU!"<Bly+ޟD38l:Ӳ1;sݳ,+6նhWXEg[8<+ Cb-$StStD []AP sY¥:\B7AI+B@OW?7u3_r96>@io^+ryb2M3ތ$Мɛ*⼤.pVR'+ey|Fy K/ڌD2m\&` UO*LMqxU3J>0w`@])E[Q0_#w?g-[N_5F빗ZT%1 b{&f9ݷO.͗uLZXAx_Gטt4,1$ba0Lr[6ZHA2qncKޏ1U/Gܮ ݣzlO'!@zH `bw SjTD);#d={N 3~i)[BNTto=40Ĉ(jqc:\1jm)d (i%p[H,V0F LYhGuʐjTgȅb`0-xYa:!gHV*~>Upϐ{dq)+jLTd!3[їy^\m{ڄ2ɕܻㅬX}rג_YfDBcX퐊0$䓡ۇ9C"ku bAiF8ehO?}k߈v|X@{B(2)is+9wW)B;2zs} %@k >w4]tx)o-'gNLqoІ)0J@с5D˳3.Ѫ:} 6 Odpm/ƠJGu 'A'u>GRP3U+=GvPqFHJlyz30<]'%=Dҩx>%wkӎP2pI6tݚzk!юZ2Ҥym:ui* wVlQ 16Ȟ-*]rNUr ?1;Ghg| eL5]+M_*YxI[l! XvS0VthjT>@hނ/>p5IhN(^\vB1/mTL'䫄aml_3%vErt&֡uø Xdr"c?Qn&FE:GO*6hԧsJB8}m_S!5N*LE2ߘB,EhڐbF1mךCtI:͵^w_]n tn\CIVu2W!ǽq1tzBgRN(_h(֓|@e=$*&L~˄t#eFkb2q*sV,)lb(Afṕ[;TU~&w a*K=qEWԆ, 6r$6df<˜i>"MLi$Te Bx: c |:Mi0HGt;3xWFŔFbm(|4ch%L:vi/k| BONFR=Ūނ@4X r4 bRڋhUqx*d ZYr "P3j;@d=sL`0@Ж{1Hr?:<'dPPy?W̌ V(Bd á%&La](fILsOM>rmq1{:go,YM W&ß^mn C|s,d~aO]?ů|X].6 P䏟|cذr]>cibW X42&Lec1(FkCqHq( )p]_[./ .é19 h$̂8蒱^²#SM _̗q(~fޚe1&&mdn@vy;"M2a#H|$ %3þ,;LBdnQ[&ԃh&&fȸmJ>̤T^%ggX_>A ?1c S( 둯&CH{;潜j*%9Õx\jn (mʞKIգ!nrӶv=21M@]Ǜgwo {m P\c> %&'~j d_.Dʒ n,5RZ&M}㚐ہިpΤ (`O=GS$AIUL2" P#'1r3fm3K R 6y{ pT~Wz fSF ^G=r3GPD(F!\[ F^x.\9T~F{N=n@^<'A`H:4^Gtt`is.Y줥gO#x^&XYGi4ZJ$~L՚Z5:I("QCdng}(軎Fn&/GPLRIӹ=׍o[WD%:{#fB:~ʎ'] GmhBARQdFB|-Ryϝ._κCs;&7 N0*WwD7>_y5 oڈIxdrsYoX~g(Q)щt;z">$>m4LjNyu%xv1*kA;pdS憚^: O=W^i43-tZzbeN97]egW/"5 ,ua"(b]- xMVKN%o Z'ɂ*bP'Qs\-묍OʢHB'D}A+Kj- ;# p\J}Ƚy\8Х Pf+m5(]|ֱ %ۅhЕiTlqŴxǝ avWېPy9?%qtpzAѤQkӓyȼO33qNduMԦ2jF{#KFP9E80JO/9%DmBJϠ9@vjr[|Pp( `8@vߞ#XJk,1&;#) e3Y`,crʗpH,Bv]TPZݻ4\f$BxԂ]pk V$$4?A#W|Z\[* Byyԓ!*K,u5ΌտXD;@m+ o l3' snWI&7W>çNDf=\i,wj[uѢg &5&養 " pu. y`wRm(FBIf=6C.3 pL y BZGȁu?u>>85;lK,g%<MvI )㟿˹EgƾW_K<v/|M"0):6TjTQLhEh UʀC `SM_]sN(2]qIu]Vjzk#j.է8K$˴v{{y#Ԙl$4W5jtsxW3))DU0FNcn\޳g׉wk ݗXa}QU8#}ŧw7\G=&vObZ*"| J93@Ӌ?Wԕ)˰_ެ|xB/5$ h<|3_htHl4Uu0uqr{xܦG$ ؕ0.ZDYa`1[3'+T 7B- N1/yk:7$hYQs)oU:[L}m֏yPy]L|ɒXZJ3P{괣%klqL-/zo ?Eka>ke}ZIQ'AH]:x*š *!Z-Xѕ&>ⲥ\F'D ;$tj3~o4ʚ-:O*N,UŦ#Nksf̪ߣ ѲFD=lY="=gP ťpfњazifyrk89gl 2УRI|tLa.>ҵ\;[5mFU/&4lP1.nYIIɛ uro]o𔐸FKG FX1痆3(NY= /NH#W̒x/~(=$)]r5U|9G=Bu|F;Q-+z"+MfO* @0$0F" z,QcËX|zfã ⮢C,~BgXߒ|'fĊL{מ=4sdRz g)D?GDB5a/#I9ʨ]vE1wf%d֡CfV<,*~v&=쩿Y\ C(Sp $dWM2Pȥ[Q `W@ʧ0K/DԘuABj|8Ȇʴ.I8xn6`,%?t)=R. dqZ g!^}r@h"ոbݫ(i/+#hlezh ǂ,NR3_s' SD&R о˵AR dn֐j\k֬'=7 C  MS&JXK,lnC2;!S`Zwj37!bٺ U$ :+_K *0nÅn*6nsĿ^$^2לh*k/D X~ƕ=#yhʳA $T#7)ae)_x sP1ƌK&X++O֪L' X]*7[8;%?dX]4kɺi"A<ɜϛoU4< ^\W:AkU"AAK8n[#FQJ]Z1d#*!cjᱴ⅀,tF>ipd|yޑTZH{fY/C{V 1,0a,q0X2&&?'$;M +5*8^s4@t`;@RAᜤu;RilMhGziW4 ;׎rpH _`>z<'X20M<uE!"wA܈LV\CLf와$ݸZ/wmw뮝yr,ج}zɽ,S3Z;QڄCL5UL2tp $9aej"4D|l mweh"32;'!#]њu[㼣$8rѢ몣 ~YKra9"k'Psy@&&KAq< \I\KG$;AA e%o%G]i8`ź;f1Kxt~*u6c̀S>W,wQ##;9n [z;g6FV^7wʳ{(LXI,csB7fɤZ[BAc J>/譗@۩xтYڪQiV;N p :};LV@4O}pˉ5+8M5NW9$i^;s{|_V;5t$LۣͫJ4jֲmz=eQi-s=a^hdG[L~C%rk{~T{NpHQP;-kF%(v!Q?)O@G:Yo8M|r(3&!ߟAڄz~w|3L"MOK'>ޑ"LǸ)lA/-a4=SB:})I~6#<ހei {c糃Zg~aGԞX0b=Mj*3qډ ;B) K􅪋,-k ;$2s<HSIXTm:':Ⱦ82iak{CNH{PZ_n[E;N]0-lS%f=/i@AIѧ=jf2 gAwVKܘaw-U&[I舃%nP-3xU$HcFd8mjsClTEfm<\fG~B)W&|639O' U@ALĆi fƝ28Qi1x{BcLvݭќ-ިxK#ҹbp?AjL@|OC1I }f4}.'莶/  (JZ734@ Nٰgg鼂H첶6I^JMf޲h2o嫡ώرo2y: .l0Yimg5' 7fYIrԝOkoߺ%S2nQ hys\׆.WD,!-}'CSL6 : .daFYgyc~Wҏ ͸-2ndW`诘}OU25ok ؾ@)r|rhqĒa f 1*OU4H?XcV5&DJȍ%|M)ՠ-zK|. 0l=%90H|/5AKMl< =|ڤ×x& 82m ~4?V8s 0obn{h\:ȩ?c=^>6_x:ӭ BVP[4x޲8( ~}} cHLDS0κV ;Uv2EA飊nk XY̡(:*c*O*B 3LXx5`30yB!xW:N%HvHdOG߸6+$tX;|SP# ):qmAxq+LȄ2\+L1-(| |Fn[O]gqK {C<Gd1[F6f~21|P]Jh|3]*bzIjps*JnfjncYgysP֊mOW0ȢZ*u>*5l4oP eO" A1b\,dh|NTϤ\? OMtM^qe_ >pAxGgm>zE&>5͗|y@oogRh*9HvTm:;nbS(~\&' vN3V0dcP[~$_/pyn o)k^AG|eeYLrmZrV :Dېw7#MxA5N21T~ޞpM.y] DD#xTVݺqK Kv)c? "u|aJ9v> t0^]ܨo?]ϝCϻKӼFo@5C!J92pYinXł>M _鶋 + T4 Lm{^d@s.ovM=cN)+Hܐ*3 2"X9@q+2HDH$o"L@QEĊ@,s{=b[H۸U2>L3ب AIfauN;^Wy_T20d$c7T 52cNOyBtrH ib=Oa$!v4v;L;F5࢟02UdW!_'Fppq$gހ Iԛl"SZ#5`Y59rܝօd+ߙFi)/? -6^VI{;(@ i<ه:eGE>?ǎSP}-GW\rTlɓvR-&/+98P Ic`8_>"ʹ@Kahz3N"8J J8He#Z#E-ͬZў l\r{?Vf ?Z.zy[JjZJk\ 7nK*aݳ 2AAP?谿YT7GhpzOf#'vB,NeAo#CmCRP,+T7zF+Dq"ѧeTM J'iH<\!R8uEl Fo{U3 d+ݦ`r T1.bzT*7¿< hEYXv?n?fFkw^U1>p kة͗kkNnC2BՙG˔A{JTB ssغ&2vѦG=b)YjoE%K8箉tW9祹ם"&ft <(f") Ӆ.^A0 VrrllNFA!/.=#O@)7pc8=QѬeJ)$~y떤T"#v\*IˡBvȲ]ȉ=^mm BէD,p ]S5[Y.T`wT&."f`Wc IES<Uz6+ݹ-9l*5!_jf"r"˂ (l|W̆JIn)%@Au 2j1hEnj~~{LtwgϱOE7ȏˀ։v%i,HnlaI:w˶}T =+4|ҧ4?wU %ҘQfO)U!جbPԮb~yƢtI`~_ e!^**̤-XC=$_>.o:DJ"$JB] YtLw^XR`^ Ur(@]DQ*QPr넥&o|uC;ҡWV-F~~s5YG➬fU1¤TWT&W&ojVlW|ݶm~q_1}Zw~[x^ʓGgO45PIAp]n?z^1yF J9X3|xg:JۥHO v$SG fQx`S%̱lPtt]bt߳K) 8V&e{\T3v=R6FY>et;X3(;0A劎WqȾnN 1_ ;(jyJ=\'NO{iw57H`}AA P[ U^p?X@rF ;PԐ7P 0bja@G51]D"@nOJP!=ITŌU8RIT %XLzv ?On\+bBm|tZ!e$g.t>-^ԄvAg<tY?fQ!E>sL`F054蚉xsR`nXb8OK^i/ƃei),Bc{l;zfۢ ^gt3&O{j0HvTZ"4Vy3O苿NTx`*MʊGJjRs&Ѯ,TgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52514e15f9d1f57ff65395530877896e5591cf430df f2d7a3105e54348bfa2b8b877e952da9878a209f f83e9df6afaecbe688bd9fd1277b152aff8b005a