SQLite format 3@ 7- 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 aaG5 $ ; HOL-Nominal-Examples:threads=6elapsed=364.000cpu=1375.096gc=117.388factor=3.787zXZִF! !v]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb Ljʃ1@. ߹02\4;OlS?P` Q1(hXv]yzYp5;K jZͷp\TD&uK0%j]ⷄ}ѻE]!z/_Ⱥ>ꑝ#8L,D9)Hz* wQ+mI8&4 /8Yc \3Vg2Ohoh}L v`v.2n"uEx0QVzB؏.%-Ƥ7׹6 ,Kড়ábECKfF&'\QWBzvDuFv%cè OGBGm?8Sd6R[}rBdqcJ# 4 # 5 HOL-Nominal-Examples"*6`ңnf]k~j,wPmx&%zi_Q 2 p<ן.h_Oc!MJ>e4%QyJ-zD@4(Yю|#k<~q i"T$ޕY2fsz;|mFpQn҆}藱#%ۘ]NC+g@"댄\H3ɊbQÏ.\I#;%.C-M&?C:"!= nR!=>n \5U365Z˿߆$CY牑D?׉d03b?/+$F atsij7CNhtsׅk+>H"L`\A/)a:c@2b[*q;s"35M+[>&ʡ3&PgE\{ 2 ,A!D &9?؃l$3ʢ4f>5sg0:y?XM AWX):.H8qG,ɢ9#T^lgQTAWP^r2" #!MH5}W0%""0p;V{Zahy2eBp յt'~>nod{H(1#[kHKqӄ k>]V|s]C vC ZPGb<^yz3Wd?J^Ã>οFP<](x*%3#)$* eL9-llP#Bʇd]wI@\^j@{豷["/QeXq8*TDG w4 >Ỳm$m95ZB>ؾ.boCq]Ѹc0ʒ@Yv{vne+I)de-4OCR1vA?Gأj#ܟs7"~w,F)'4 /\3D\ p?}1?9;gzo{J9!e^- B." _v|&м}Jn$K[{n6ܙY5D*e19 pߴ;Ah[ CuOW,DK䎀g _&nLg\QxZcHSڨa! ّ̀aSa$q6↕b#D^[)(D Q0bEI(  < =*jt, .l9i¿^i׌\V8J9O<΅mVfiPQꯓ_$Gl=fg050Kί I~q[^PC3l,~XkZO>J$-u{b h !1p3>!i׬XLf(nzn o<a3֋'#&xl9HLh'b<\Qu:+U섷 .9FCӬnٹuzV@.\E8v" fe0&d?q`x/68!3ݟ kY} ,$.%U^J!=X5 < ݱ-kflrH(JţcKJ=]A }QB(f )4EcW=|OuqƱA[탉 %zt8fU u3앪PDd-%Ye9rhkvljpwv4_Olj&EoyCgr8H7.v$^܇Fu6Ws_u|^?xk'zA%MwgWA`1A!X/4?&:hR DA%=,J-UKސ`âD"@*7*nS Ѳ1]0_mDPWrϵ+Kpj)q~EdD?AQ9ȑE /y7~f t^ix\.fIҟ8V% f'<umA1:O#&۹f!S<OHW}Q1a8ޤh?{>t*G\!2b{B%ÉVvJY"yKvfebș{0=An/ڄK5Sz8h7]eS" ՟aI^es`@ΚVC&ꖳ#!I~L/GNEX KJL eP>yE ;V3#E:Bhk}:Ĕ[L+|%PeM%,K.-"8N"v}:t_`zD$>y'1dYu`8b׫+>c|zt$|`?afj#q(pT)ٺv=rѦ2S BUPNbisԱ.i`JwY:M{PCh1~L.'AF2M|6e%CNZEFrO8! Ou4J~Œ~~Kz?>dϽ]%Ɔo[}&Kb;==~gҘ"h(xQ*!qV }8ɌF!n},W^l)VPܵAQZ\0i5 ܹZE|BJ&'lFy"\^9@G>_yUѬkt"6HDR(u)4۹cR M|R2)aTīPGPjpIyO^8 1?}0O%Fc.|QVQ]=Gъ1zjJySc/?J1ZyD>L%ZHґFi$Y|qJc_MpLFdR4QW(s@Te4*R*d<".PgwEqx'|; |?bA]kȺ$+s:+y}V{a*|+jLϼbWcJj- BH'X/(ޭJ |W=r_v[\X@q56̇T>sDWݤ.[_nZl̉9sm~ 7FAЕp /48J2=QC송m޴6-DŽIc tEEEɾ_q<.2^ `u1Q't- wx;Y۹J䘁Au X1RiX7M|t!"_.Z+*mōX(DDr# ujNsӽaM]qܺqiWGjL'6K^Pk2EɎZ2`([0Usސgt\dtRAo4%<8K:HهjFE&E]*lʤ!`y ԛ%_Hh^gx)Ͼ5k5į^d/f]vkXFR ~ J&QoCjcoUXZO`bH6'z -3X#/wߡ!hu7 sr;lY\I QƜ(5k$ͭ1yc68|g_C'O]lT\'43&wJ3wFSD ̰+"s>ָ|5/*W }st&]Im'ĐcG R3ŏhA-0O熂Ɔp'Ja,ZOr!'{;)`n7lTk.Zڠt}`~!LDou]Ï.ؒ/|g~|IKկ1A[.iէPeb"W 8Ƽs 9 UD܎%%F--`R; i59Cx9 hϾ{|\PJ- _=aHexCeňR0s!I~뵖]Ig,WѪRO4vj sR!Ǩ`VuTfEڻHh1'g].nh'oM(yD1e R ]}%VO٥xN홨;niJbm_؄`mysk(]Cl퓨f|DClnƫ@VcRZGӱ-*c*{RxM5%hO%qxGZM9ؓml!HM q 84e")TI\.J!~ u.MiQƇ4.*4lm]g#cF7FA3nwidgeWtHoE筟i5TUNϕVjX1T_ۑ \+f`X3U%V w=PTѤ I"m)@*AY%ew(Gp[0jJؑVPsUFmEt~&TJM$z흢toj E 1lnHG>bEi#Db&e쬢 qkH?Ruh_w?/sZ Ҏ8Fo&k%hp{tH!nD$'NՃ ~/X[صkKD$0;t!>2"OF$4/^ كx)]&4܂>?uOWr\R'UGj&3u Deu#]Ek F;ߘedc"3$񀭑PݷW2ŽDJ=/.Wo͑a;U/o<*$ %uv~p^$ JSzm]C{%Nx2AA=?r,B8RE8gHK+zDP}q%&u$k3RhF[[6L3w:gJWV WyJ%P?y)bPNҰMm(~>V$A.{ʀ'')4eJ"jocktmseRi"Jk힕@&}JE蛄 kkbr뎾SۦcIx(@"iFR%-wi,duMMĭ e@)LQ wȧV\m]/拳cbJyАU_H(l\wpE4f9w^Rh]XI̽=2+SVB6F+/3m)΀ H3&x]#t`b%%z-x\S{La*z~0jq5Ȭ'w- w{J X.| ?6Il[=8oPQu&TH8])xATH/yJRAV֡ }P]H^<=.VP >[UjzDuUS |D^1*~kW#go|aR#ևڦJlX0LjBB cIݣGt,.V0zRRoѬ.LlR1&#<`^0JV`=oxQ"[SI*:dgX;2"0uAFm'>w'H|8uwfk=߃߯?/V9Vt7vQH?X{Ǚ&/ Q*KŇ!b;}7ڈmU]DF[! 4S~Uc~7q3P6`g=}$XD˵LbtXz8gSaV*rDb[a=ڑ4;j;q`kɯ0ˡ-10TܺoVk2l`9bτDY/Cm8Tؠ6ׯ.Mq0@wÓCPT4}e%o?Îu9e"\Z-r6.ZyXbc ^ˏxr5ŶkA$Xp5avˑw|%*j,p#ys6S?plSp0ųTj}P ~/ڋ{G $h8H2I-AP6pH4):Y۲{9;ã(oL}_a!apNĕV>dd\Yvl͉ԁnrZn'Lާ KlhBl&K?͒ v \*iYY~7,^(𤋮lQ)i*b̂q⡷oƽ bT*%>MH՛sYj̓bP؟.X# 6A0`.T"Ӽdp@@osڟdG-R-OfMp B. ܩ  K :}e}8 Onbv]L)=ʢ+aBvxmpҦa赖$RPQ{V[47:`M>ﱁ$35ZDah;iaL_>[/c ,)@ua~1@9ch*խHPIccx{<-ܩ7g݈ d8`psI)a",@V+uS#R+V,n)gSP=UƖgOIiL}r(C8l\$7z RGA0Bj%fPNqgM05Nq]QnPx($\GSzGL8Xf/'$=~-o.#ǟ4@&O*{Y=Zs'7 7CH~I#Jb$XCMw{( {"ѾCj _ !J$ _#&kKX$ @HDh ]f*[17~H(p{a- TL,GL"yOظK"k  ;35 w/=&KخFFPIou#['OY(2*CNl{6ȦjMs9;@I3.Z jy~-%7CۥqyB`V:G#㨀3 t8M 6ڊ< 9SYƵuT0&#;7v!nB{i2TT ag v (3xp|Β_ĕ -뿛 7Fףsw9#,9)Lu@^\ EXLΉr"5XHt4dD.H4kޱ-eCo}aЋ7bԀgouCcԏW6DjnMur/Нwq?<="ry>ѥGTkWDgh4H|N&q~]Btv\2.͏_OBWhC:yLc}:xV< xROasU;y39%"*T$ƀt!W!WpQ_7[{g_Iu+C päkl}C+FHVærd ]T@i:VPU]e¨d}D_~9hl='ǝ;+v.{&~$#Z%WfO F iZH{@:5^$T ;t*K/C]d\&:SsUD(,q{xn ;ܝwR{W; `HኼALm.gYLWl1aM ]+鋣O%sJ0HL-a'P*ahg îLl&TB: fa n 1F+P 6N\<10, }e џyu,Z捽Cݰ`;TPQ,lvʛУrk jp/Ԁ nk`K1Y g 3dV-#T@O;L}0ZOxjp<?;9ƕQX!rQAa 8hOUZEi׫'d}u 0!S)GxּKWI]*+՟K XhMp/%6ۘ0~< QT <;b xIeZCÙ>IazN覗ܪH;|kJ6=n_@QGSR JO#q`]/zK=`-=$CQ?Ʊ#ObRޡuUbJBsmFp4E$+jh\H$ʾI "{7=S6P@ߴrj9E"]1'ZB`5u~-c()'ny:+7Z#pۿ?}  VB!';,d nɹ4+@ Ho-5Ϛ0 ]m5%`'!xoAA,z.#3848liP0-I;p$c·iFvxʰbV(_`rw_W*EC!7S` 3)#=g2J_ |D6& X>6P<~{9Z7ttG}g㺦U@qҊ 3s fCVsa˓D\n XSXÝ6YvGK 2I%ҿǯfY$/WooA!K4i+Y?1xᴗCH̉C_/֭)wKwsa6V,Za03CX>γ>뷽?譎;u}FnOH!->,lY7k)~J PG;a B^9@UB?8BJlO/=>^gT`b|i5:A$/Q)w!DM% M2QgUحLl wtos’)q@l0~,쀻!((H#-xj {?jב!ulbFeHH]hRvՀMC]Bꆏ|k"Ioe̫j{D n/L,@HCHc_U.]~t/2p@1/۽ffc\SQv뮔heF8`sr<Lehh*N@_6&jʥn0 ݠPzrq dk-׬ #: ?s`T|8g+yYhFYPۀqp/ X&w rN+)) ѿLG^7Ӟd#GFlh2'$[McKlt}>|( CK~!kbq1[,1Fo-ӻd(" NUG{S< М:vi+EM]m T7-v3lUqq,|lraETK9+h!,_FYչxjD^Pj|2÷͌9 A~T'$[0]%o G*_u%5sv4 CU1fkwHjJ|*lrYA5n& "xÛva>-teP7RöYd>6@1B\۹F:(vNvh#Ϛ_z`j[^ƭ]`>'\ܷg(NfUș;)SZU/?NUHbD۽ly4\ DDoqz8YH i>/pAmqPSr iC$==聬fAoI4[rl%@|B*m.< Mz(hAdDeGJf4۪GeÐwM+ϸ#RKJWH5LMaNV { vy1݁ Ȟa sGiE ,}X 69 }_&bRێb3Td֥6r_#t"9險Jz ^^awMR\!/{ ɨ_V-خ%$_k^݉q~UBOvkKז\T{쇨ױ/ 3e?\}_D{zS3٢: 17/,/+K ;2|&\6/ ^gh){d[lScdŚr~Ƨoh[n+Z*dN(PĶBd%l5 W57{/l'RT@}XDV)$rw^cؙb. U8MjF%܂z2ve^+,?їvi1vܺ|:h K0ࢿ1,9,榶e4( ܛ޺4qW*u_Qhϵ:&~9J,]ϋy)-c=@C3`  ƨgC!|1V+ɎH&PڼG@LBh+]#xqv[ džp@m[h$!EX!dObZqd1 P`|&> ){AS^ 3%$!orcpjLr QlC rYۋpgvXT:?UQ3^2D6.M--8!1 vG_g*x3Dz&.x;kI-轈NI"g~Wȓ|&nǙir4<>9cM,ݦ1}jіrLT/t1 >+=W #6mBb56H{ m~Ut2KPCJDh=J핋>%2Ro ?\d\~垦Y^,0ownk~jT 0Ct|0G'lS()c0t]=O-jkLwʀk|/JoB~/+&d% AJV~z,FZR+ƙۃNB<ƧPU2&pF(- QMs,nÓ= eE3{YBwqaUa q` TBn/>zP;MpKj*D݆c_@X[vr>c"!SĻY1@D(6fi:wC?[!7B&Yi g0U(-O"'Vd}ߨy}v[rEc,BZm* "I^]d#i0z Ka#arcO9k%kHᄂJ"JvT1)"qz3+_g_P TkeX aq%y[~cgZjek$3Y0?,?܁Gn^]`0T7gk%C6Y9_5ek"_xW>]'n4*H+~n"A;-W;Wm4׉Cr*fHFEUS1݄WDo\LymW qdS4$$J&@5vsW#>_2-I$Ziu0 <XfG\HsTݍ⏅Da,p7/DD)x*ຠv)QfY؁Vn+񠿛7>d%r[\.ъTY{X|Z'i^.N+Uy^&yx=T̊nR-rOYZ3!X&R1t=0z. BtжII^"=ykсM&NzD!jBw܍-|=KIq-y/l\r_F'-+uw+BK,ՅDl+ۂ_^{j3#)e2J#XgAH,bQD(GrvR;MekvDir4BꬋEkP /ʈ-ǵ? pnJ }֦W&AٯM>f+/ ôܪG+w&\)Wlo!^,W$GǂLP Zm5Uww;{wUu6V\Qu׺DӂdL~SE*#@|dJrJ4$v~9OZH.dm uP3\_8zs #ܟk1m,%q/(qەxNuxi |)"qZOnr&V,D4%JytH`u1ZK\G}r"T p\i0\XI+|VNԘ`,hpgIjJIKzj ]NP8Mci΍zM,;䇶 ZEooEʩֿ^9P0i&@ϔ2kRm精&Cp۴C $Qv6gI?=`){ Ud+mvzQZ_tR<*MFl= ƃwTE,5& Vh*xaA^=`9jEQU `%qٽ(㬀*nHے;5є{"A7Xw6}ݽame\Z~YD.͔Ja;g85u&;gXO)0!`CvK!ð쀱s4)WAc(+0W{tcZRA);h2ֵ o5U?OنL<0N8b )Z +g^YI5h%ޤϦxo&SKŢ9wW\qBYD:eyR:O{krM-D溝4SNl*l(;Ym%vښ?7[9@n8O5Mnn-O#̸H9匧d*"wKUrbxjUe%C>ޞr=]'*oڌ&{lN:#c2hq@ [%P "odos"g7];wM]ġV9FҨ 5Qh|թ6C"+Tw[NAConlhEtV年'/m,5ۼ[hbOhj"H؇hci9+2BB),ܽ"XKkLJ^ԩ[8Sw,A38ID;wg"lXn`"C )5?x샑D6,WREKC)'$Ґ ȿ@t3,k|ڸ`N?'{mR;3E¤L`?^f^z9sgBE*C۠|5+V&ITG* g%6t$QduKHȖr3x",C( .!j[ GHDw"{$]hNX@ ~t ] ʑ FW82|Pʍp%&4#)sBd^6FɸBFZ> nTiW5ȕIO %3#c!C+-x4gӐ6%J/Esk!VjE@A uX l P,k5"2Y=kkCodKT'+ҽ:نYWmxA`JR'rX3 5Oi#TKxTuUib*r0s|K{cT\n/Agz1)v+fbǿ/re&k9r7Samc \]p PUrDe >p@vB :t縤!Ɂ1@Ct7Н=P~G\K3DDx y&RDS.1\H#Lp*L4ܿEr|~TV ^K*q"Ȱ L@Y%U>y&%j2k2Œ 4x:E_g ބuMtmO](.6P\dAv>bQ>s˺$ R4M3Q.1YZ~wuNE!s5nK +-CRm*L7\75UO!=ӣ1fUģy)Xdb019 XװBeQz8W cSp'6GS5,&Ru"d%e _^Ey %F`u.Ռ%2HR4r6<۸X4/.}kl4xL^"̕MШ3G0o.5NK uqѱS@.ʡhm؟x9{89]"nӖ?N$Q¦{>|J8V*{yi|V~xYdt_ W^wT H gSwò6z<Ӌ, lZON_ગϠ'&j6~ PgnX "$ޅhM#=q$y)MQ9!~GrI JUwRc 30*4Nli-q3͏I5J͚3H(ۮc\=LU\sv*wP9Ilj%*:\dႡt)6qEkB)‹!W[KS/i}`wHtڳv*e\T뤦8vʥPUW,(f@31+>{:)Ikvw1m7?{HQ^>>Ψq W==Y} k) z>:쒎TM/%'N;S,giT׵F_%}+C2UK450yAԌ}w/:cyc$Kl >.ݾw "Mb`)v1/wW;E,dhO6fORA2^VINkV>H}t< NZmMl*jj#|Pʽn"p륉 Ԩ6zTf撹T0mM҄ΓR4 R]!vQP[FygHs2E*ճolho4a;y8bPڈeX؀a_^Z.N-fmyヨUW"'BK rkY4B1dx %y\$n'd.p+#MNrh,Dd'rjV-I.\fk@vɔdE" /"dJҜl-Ѝ̺273Ss&[_?du{hIpk[;FSY[ې`Vo#Y ԭEC83-k}w@cC'Px?o'ThgDUL ڎ<g~xAǏj}2h u_d$|*x~‘*"s)w \$ⴥv[6QQ뷢 7\wc0 n-շfEr#sXNk45KloizkXPYT~d1e.ϝanc9$9:3O;O7SԊkFr+Zb>`^hF}_K1+WjD <=>.L|`N@S n{9rĒ!DdӐ63ύk ߘ98],#jb̆y1ypjM=Ǒenb̻<yoaѠ (eŎ3ģsm MK0kO }~8D dF5_,EPmjaD[ Em$7A4҃%',%4\lP&g,х+f!_ehC4zk-XI2sƷڒ׷_'FXD f: ڣd_{*\ udݚYL3lzz%WUNu2ev`OD>1]u?ӭRGˊJqv ̶jsȽx˞g9>h'E&򒖝-[臸2A]-ү۠?K}J| 'QTz&gFNF>?U2B{&S Q9ENh%%/maM`;Ĕ f?'D=η䢅 ih&(+ٙhy k߂cWQ $̕ɎޔM6* 堪>A Lu8j?Jc+ެD>5MʂYU-탿I9Y'ٺ@[M<CMK#7S]ljAB݁U_l12瘻BZ`228mtdӠ? Z-'dh;$llUJ*ش㣸tV̰n.]VdLyVWM-]J~Qۦuv=GI-p{@`ɇ! fkx&H.:ߑ'"k@ۭ{40y`ͩ1W A.JSE >,*ixf@<$8N-b.f<1P뿓I#UzU)Y sc]"` z8mz\h9@Ʀx<̴!2\Q/SFM%[pt TЮ]jV$zfgh ,N ڤ3aUݸId35+nfsº'b` 3Fv_2]0w"SP zzr y>ŏj{>^չ%9r|/ c{F7 mcGSK[} HSQe-U&sQfrGd|Z5~wULث'툴vU'`#L/v2瓜t;YgFl?ofEbݗz#]*@>?aA) & w  =y)n&vz$$.H~v16jׇ)yz-~@  kFTP2iPɕC1{xMa_U>8Ŕ\H?ܣ&|Ja`d FVZ;VJeBjCnYʼnKdׁUO @32Rd*`h1ڢ$HPŃ橇PgoKu46a/l mCdλT5a2? .or`͊+̯`k'&T)j,D1-luzv\sh{t@sHZ}\pYc sZUݳ}7[f/Dw/Aڬ# ={HHQѭY&jtmfȡR  P~?P mj/yH1u"^Ĩe~DzʗPg7Q H5T9cnŖ1Rw=uўTQ몢%heWDZ&K/y3]ERǔs̰e7Y0}U14Mvp|5fb;\e N[R5 AsITThFTc. (\}lx2*!?SE\6U'kZH =VD^U]N*wZ)l?_^ zj{~,PDkI"u6uƸAQ6Gg~Ф1"T沾:%I !x`0vc#83ec &LPnM7Y)|*&$NKt0O̲fSQ6e(#Tإ|lӹAq1NSQZ}M;^% UK\9C Ďԕk8;%N8Vcjb:ȗ>FtBDAI2iA˨2 aܱUcb!2g `8\:u&*"+PTNs _ufu &2k ݠBz< `2?߮ U+R/,؎˱<@}Dˁ? ]pKu? x͜s>2C0;;yf̉Һ42oZ#jz!~(}+[pM,槧&)~`7ס M@{/3?}zIo_l38Q urc1l'x] F&0Sx Ӂ6'8 P’!i@C IU?k vR>f{.᪳>& Ő8:Ցq!dh9ޅ|-O$I}7Y>HVH:n*T"'ȉJ(ZPț.ߞ\ ] ~Ts-zc!QӐ|ΔIWa>$~.2fG-?Ξ1T/6yo FtsBA!ދ'!FqFP܅rzG1jJhYc2T;4ru0F=T8cNCM `ԯ0{5@{1֑o´JK(=L2Ue߾ZSs-XH1Hrtc7NRťcE#5ʯ!MGR E4w9i7'v;|\;ustS&WvN.I1ф3ȦHLۚҕ)418RJ!FpI7xGjlmai59'\Xz޶Z/T/Tm}"q$b #̣^@&"H]:8wpٔiB?볷6 B=#1!A#nV6M^M(} /#1.h6@~)xSUi@l ̍A)WGihX 6RP<58BE$Q8+䇙6=\ $9;ssjJۀ ែÊuHPPҧhIYkQrU괵H 4%XPPMC?^J^o#)pMv}!c#P+T!@[zWbʈsQ:ԲǺ.o/5O3V  ֻDA%/|Aߺ%ֆNTpOzu,rK{*P<]2,;٧K /jkp\Tp|#B&.'!}i~:(Xhs50ִ8wBے壖tFLxOM,h Ks]G<8QcՐo4x3S Y7Gg>"SBNUI$3ks]O ZK@*d@Ī*r4".GtRL~g*YD`*~mEU%? lˏ>ψxuzm՜yy,SʹVPCH ī;rx٪O)-$Bm5i%O[ gɊA4RqUWwObG̀ȸkS>E}g>VM"kޕcʑ/GG98KG<:%3wGp6Ik-"2mH Gk ݋hZ@5}m_Q ˲xB"1Sw ?a7lpF){oN8td*$GP3 ݪqk>,͢[,tII'goǬDz:ߢMF4&֜N>^)OLhWcqv.lϧDxIH_Y?K,sFlz }\$"vp]]gYZ7zXZִF! y U]ŗXi%MP{r7/m7ۣP=zp6SYFShnx.==΄rkEIh];N1t|bQ/Z? xWy5ƝS+qOX+{(w1 מhO JM<ȫHQ1_Ͷ}Q\3{)Y_1J=]]=H!.%_mB5Z<R!Q=Gv@Rlx8ISIH]?{0%z.?8E*$;&eԈ,p e/NvmcSmg4"K VQpHaᨽpߪ `\,:,q7+yW%;pY{.i V8{FR[/c4]J7fKb+|QNS}<%ukƥԷW?HDz2ƏujQm: [˅9c*7I-*1of S.~(=]}f*h^ϝ#z ─P ޱh(;#jy]5aXpօ!c$oauhʚ8ǴQ_سO{Sw!Y)cȯ'ܕmFAEðy:4͕vYܦ߫oft$, Ώپ+^J8 4KCC%n!US"lK|%jڶlDDa}c[:8aU=4:_gKcySMs7?{'Kݙ8?@?hgedmMr/R|xuFEnoQZa1g Ed7֪b%5hktx{"{; De||ֽ1ny-_4kv Yx.3M !9Qg {ZA+Ʋo]^^>''hc.BG.iO%-fb۰דxRo?sSEѠJt-Lf0>F$wL YbH=HjV'c\3k.\ՋKy(Vz#ڡv [L:jfcϊ.,L-e߉=V(S# ,cF\& |k]LV@EOſ}_w&Rv͆aD$tSSY]dqW̓K7):~I%2uOH.i+xy2PƎ˃H4-"Y XvPZje|"3\Z(V7'eĠ a@ .b ܠNUᬸ]%xǂf"hN MJ-쩳<.?b*[vڲ9m74jbIHN.{AV ~E$K4[OLrecyf1@?+GPl4tGnR?n8gU)C"p) :j2~'QL^|k| O&+޴y /B7^%a?4 em6 9Z6NpMi|VG+ˤdAh -k&wAؓn0Mh|n)hX|Dhc6A9UWfrM$^rFXuC$mn5 `;<->wҊՌ&2ܜ~pmյLe$W#Mr5k΅,<.$i-lЭNᬗpkqzz$(1U׭}IiMn{ể:ёL Tv.߭F8Uo+[M3fl@'Ա@ROȐ /Y-\r.rٍc\' 3z R݂SnUfd!й='[srm+{+ #M]I >\CB* 2Ub9dFj91R Bjx!f'c }c&|MDa"np39ak <-tt,M%Ow,IrMҿˌY`ʫnp?::-%\<:f]L8k?A 8s%OΙ 9<"]] bJFyeU |hl6cݳmΤ#!c7RlGN=oƤaY>$[1rJ6yȷ};[±3oY n-t*QlJYflYF>Iwq8kG-v]D "TiAU?ԊfjĎ%V;RYT ŦzarN._Q|ɃHJYDH-լ;Odgdw3݆mcWPC+^&F8 h ^6\bG&Fs9)G4#ͮT+I".BwUL},u4r'Xf*q9'+}@_+i/\`#ƴ o @H$#ÅA|_@s!T2׀G}hQlA`qH+o\+iq5ԠsoǣFP5V*JHn$s '38dzELJWwI16/." ,{|C[EN']:}"f,4+y :ˆ$%;`ߓ^8!ۿ}Mmfg- P Z6 ڧ` 뻟1UoSG~rrsὟ,}5ED ᇦXEUɸ !^?>تy0E7_AC}_ROmJi3|G,omT8i;*@z8"!//Ty*dj/B'CUEdM0=An5l7C* D-Τ`ޫ,72ZoMJT yH =7žZE$Rj򁇤Ko]*fdnzNsiXpm|jOJr\f-?3s<x >+Qne!SXFFTيP*7;Ӂ笕AP9'!n]nlJsysS LnC`(<lV}j!U"-y<:(|5]H?͌U4\I[yJUywe_RE](dIi'GA ;oV׶<0 yG*X qF_R [O@yhлT1W4?=G! 3 hRH✃.*b$>51p!JC$>vQ#0 ;/)L]4; Xգ䍗ˊ`h.|ch'ܑʴ]W`q2$vJF{2 d:pfo`̛j$;`Fshr[F%L KyMK]Ū\Ⱦr^KTE.JwT&UVqԼ0 Mk"jpXwn϶R؄.,V](ݾj/{ (mT: |[0josH?YɷZ&+O4fR\*\G ]!҃o?i$m[a<67j4c":Q%Lhx*2饇]t%Zˏ\f: Ȼ&GGb>cxn@b9ϛ66?. ,o$_ \wk@ϱ$B'&UJഠTySڠXR[- N@=6’? أ|s5A50kzyMCՀC7r͝YaO*E5bX9U*^43A R#7GYl|'CagA=/ѝV&< k V&rO9MGc&~]h]/MzK 7I>ThRcC M,hb.QxShaw؂d@fZW R8V[ע%ß1{$)U i_-U ):gGeLz&I`MYN ^!6 &gIbkl3A- 7^6WGиž` LjPWNf(a"Ʈ38IыZgu^E>Y7w?~'& _j07' 3#wt ffyX#gX`FP͟r58 VJt$]PC[ g0yo*A(m1죚 /D_)O]rHtlaf^̝F{"zq_oSQzIOF~ OElCxEΔ7'ƳZ;^\{a_KHIJhr.k)W]v5Dz^g'^jT|!c@Up* v7. $Ϭ3M܏nܟG{6c!L7cG*zR 5~1~VhCi^)XvjdUbznY !-B$)]e~/ 0ljʾ\F^ T2_`'ebC{HCo8vK^x0aE x IujovXa% 0/tκ{Pf7 S+Lַ# MsQr1Ο^>-UV8Z>Ls@;, dDL!>eӇ-]Ī {>NQpK|djg4NNYrQkf-CrV ٝΉOc N7EuKX hg665s>KNi悇d$M-?4tU#R75ޕ˓Rκ=2&aq7ȥ~t oya@ %j]tĶOjZsn r7OO'`DDT:%juegA['IИVwd j4 f(!}|nap<{B.-0v.&\͒!m77 G+Hh`-@0~(H&SLL 2#WclPOi;ytלWS3FίB1Zc! 0yz͒D&0|kx+a;fTG5>3Jar xT y(&:GzN\>Q+rS.163"4?‚D9Y")mBdW3,wƦdX|0V^y!xz[G++1|۾旟;.i3`]m&kt_^09%Tfͧ8Zo۴)挻 'ڴhzQd cqzD,utqwOCh /DU\ 3s0bF2$v]`pm/o=B"vaK(h'2CbEvOzM٫iO9^X!OUK׷6IBUwܼo|ϴI8͌701IP̟&V|+ a}!4TeuՍbٜI(Vەx}2ƙԬ5{!dM55 G@]Ֆ>;fnslMQ CJ!%kf"RA|ɛ@:&ͥ"s7s? 'qЛwbxvpw{/w~Qcò UVm;ZMrf7ރN? tA9mo8xo( bK w7s8T})[ <1םNIh fv@jp[LN&9 -S.H6A/8eAZs7Z\O0 0 fIqű G!6^h>w!#p+^I~/y ΕDS8؛b0@݂!!<՝e"P{5&n]df9 hAv=w|hҤ1BѺ# u#-Hj׳D9냍W'CEH ,4鑪1,8kA kX-k=c ["U PKC"eCnzO0ڍt)}h+Dȅ$C @:52NU!" JC`9n=OQVT[?hh-g~Q>!t6pD@hYM' %;I|ܵD$~5sTS]O}x;o݇Ҝ4_"͏r+Gh/OuB0s%D P3n?^y!HkԱKH}uǟl!dIk{ VMju׉J5  p8e&$d@$b'^ȁRc#dh{L3HuQ0 j,\t.{7z}  "^wVIV+K/DH!*z8Ǹ6]1g\ qgkf ;MFVՄ5Eb\N3T?$fMëk>vjZ,Pwx4i24I*w.[\(x9Ý]VB̵?P{~lb6dTI^%B5=M`gKhD FڄQ%5D41eQ8R:۩xB<3w1s8ENbY7hX`;ݡW-1>q@o(t'ZF񎠚;U0TgrxD5 %(1%l":gdC>َD.Erh"gc8S NwQ(,>V]m:6m." aV8h'99mG$M+Ze#HTW<:OXI`ެ׽6\"[|%_muQ1`0%N\\!/X7]C\\K1K~L=PZ[B!> ǽ&H9w$}SQ_|f%BOz T㗝h],.A(Zͷ 6<bRWPlJ"|4)Fiv74( c<昝X԰DJMa5^ݏU`󩴵kJbJv(XW|fknkWqfdIةWA#]E[c!j60A2?d]ʥS}?dcKk<M_/H};d{ؙCiO$3VyhY9sTvB)')HXy ɡ/{ZV-j7@v{_ 8xRs" I6]kYOVCɵoYW⟇Yڕ c4Ʉqzyw)ns%nDN*m4 BV" ĐFQ̯  v+;a/yK=Q#aXtvfZǎk\6U8 & E8ڹys]H{N E1LH+20/ws}I'"BmX:.Z0s0$۱zggϒ-NI'8|]s9u ddtcQK>qm=Lg-ohalx+-ZEM{;>qk`XOW9%AK=cvm{n\IVt)F U.O !V F)ޖ>?'1[^5(Op cK% KqtFR)wJP~:"\ǝL&%dlQ;0$S q+xEw &%y2l(n'JquC\p~rD E(%ox}u|v #ʢnS)cI1j'Px :shί`!.}Jǫ6-r`!1z!*W JGv1JŒ ut U1|."6xBtնUx- hܯђRyS<#znA/'zls]ŋnE EM(;`10bVAދHuŮr黬R.6 Ym=X%mxb,gQZʼm-k\ yZr98 0cj.U1U- %IxA𬇆̶7&-%a#[HW/H rl1 θhއ5C sc`B2G c}#V U2sv`y] ς)KB/ 0za0&xg tq0VR30LA¯xUD/KwkOLH3Qcnw*2@n-)yzt@/W3NAK yAӏ,T0)6dDo4Jlǽbx#dQ Elo.%ZߦE6Q KkOMb yZ< YiSk*p/ٓ'Wq'E5 `EE،=UO16@0Gfo塛 -A|vq$0~9ms1!Iqm2.]v F"~ʓ3F=1#VVWn_24՟"*쓠'ݵ wS޸!"hrtXޟkGQۭ `>v0*Qunukz:@3X;.0ˎ;>_3$eLۨ\7o\=7h 54@., Ng|sϨw"a\mΝ)MyOIw@i~ΌGoNpQ2`^܁Wgw^ϔ?y+G;4AVTS v xS+~"A&B[5KHz.{,%9gwu! cST]Zn`+Uc.TTsu' I梍Wmڿ7G\WˈI)%w*8Q!f=FAN}=Zs$.xbtݻt$j8ʅB}y60Řϻ{x 97{Cos_ ^8sY_ J˰1fx`d0^s<[Mە,K9WN$lƂbT4%ATΗ*q2^A>.X\lDeN5xB2թm䈢Z;v3fb:," %\Ty1'%˷R$qH*> b2#cL։;|*=#/wln?[i"wa%h5)ax33Teh4ٟj3zN?d̀ېS-k/; ­?Ru~/zc3N qC|[hֻ֣t&ʁ' wH0KL"Yb6}: wN-j(900)y2n^ݿLtu2.?VIS MǏt'TYPt&9q T2{Z|REK?Ȉ@ȗ@'e̩9䰋IR>2hYxv/"ʋbLg)izZoe7VP6^Cc/|_0yl xu#GkX:Iw3WXM0]e,^r{[g]zmg3MRkAU&|~mR_ԃqDqlr 0l5ma+a82⼖~Ăb8 yMq@;`X>#Ca| &h!jI1)C=M|<Fu@n !`RMw8_ ^%2Y,Ao{ Jv:%e<%keV!@Jz⧈ç|ä)6JL4ZV(1H]q6ʃ9?~V̞'?O=HmAds[ʇk7;X꾺/"ut2L?"0#N޹98A@#*~gS,DX#>IP&,=ne IJtia+ׂB-8U7-!I?dΖlw|TH蹄2}%'4]Ο XQ);S:KFYG3c7*_T^na'f yP&%d:$1"dl>)WzX3R4@L&tb0ky{\^#|cPǭ&Wi6Ef-︅gC$L&F B'8꜅b|芒 +w%+=-ujŀȤa~Tz_@J,H VԒٺ74!*[i]mXrU]bee,fDc`j)9a4dZv.CR'v'+ 0+LP:~&9 õQR+uD"?81Q`ak78%OО)AB¶m0}C/_T=vd0 Vb>'9qHTÕ`)>EFy(Gʹo,ś\xD9PuDjm|~%|D:޹eef7mB@{'bZɵl:[( tE+#cdM] {Ux}ўv}?\ ыFTĄo h`h·-Wx6ffo}ͬ/"$@YUa0+M iaL!>N LS@X%̟ [k/ -`n0IY_.}2>VˤPBʵז(dz+4Zzq}1,|iWê*wwrOM4c2``5NL ajJ4|;Pc}XDZnQ1n` ƤR+t5ZwTE>-Kel5l)MXo Vhsgn%Q1q8-1 c6Vđi-q;q`58i/kF,~7[[齉~WmEI)*vYw~Y\󺭛xƛ9X&]P@E91A)t!1Rp u.^x9ZIpRE28mhx'k~H~} 1V/S|𥙈 h[ L!ţ_(b!.XViZ-uePfj aXCrp{Ra2AWy]SUzu8U!WTH}z!/AtFᝒ&hT o&L?WXȩM]:q5m2yM]rR3=25 B[  3剏&>8=рM ?F+N30,?^l4S! ո `!t;:Cz ¨jx.+Ce4 'vx =<|7R8Կ_2RB1.Cnf_cbV?V s^y:# c|W.p "K -ц8%X\Cr$vH:?э㏠KTûR=g(4z"$qQȺK8C2 [{bB셯c$>sp7'l]1]U5#4ߑ<6u A 9.Nܤͷ=ǑaV }v#ڷd;Zb׌~:kʫnb""~P2d,%.(mV<\V.FOϵ}3ۥtB!wU]M 6{ l7)1yi7n嘡Z32-ֆkęc <"),sOSwdiOIL@Ck^XR@b"9^c>dt4N(fWamӟ#c!UrXby9Y!ٓǁ<$S!c ta)~ly(G g Zk5Q~%:x/͇FS eF]P˒P|7I|27NjBB|bCÁ n29 &OB {J_鷎_ֹ]h_ěwhpR~J9Xl$g <ո'E,<_ښ+>wl"jG#0mK,U0q":[/~ 岵zylGP㬿 S.,(6wq=[XLG=jtJ2gkmhRäaY'p#PFRk.\3>:(Gf1'җ_ݕ"_JIjaeb a !$ij?cG<>eiCȈEAΏɋ*׃l=r \bbGbn^n5 uV$$@ŜdY4448#֜vcPFHE;֤ʐdbYڑEcF(;'gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525a1928f7c989af1417cf803dff1d0e4d37d201bdd 4cac7c9872c9950110e20ff72a2a8049c87d07ed 2ed67667b1b824cb30c3ed35f810a682d1a4c613