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 MM5$ ]S HOL-Nominal-Examples:threads=2elapsed=659.748cpu=1231.688gc=147.764factor=1.877zXZִF! ]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FOw|3-s)\uqXM1f ]:7/K*Wz3j ~>0 rE7R \߮V7բdrm[g {u~UT&csio i}XqלUN c:e\vS\ht_]yDm ռy%ӘxoH\,qAZȾ"+LOr5)=d2~75Q.F \S |WWk zD}u|ݔAOjHD=xe K0*BlN݁X5{7f$Jw@|&,7\Z9,D*Y@nj dBC%$ Z>Gʫ acY'ʔ2qYX*>2 RO)˭:j.B<J/4.P(ʼn?lƪrddIe 㝫Z,UGrZtkwoy|*!i5]"; `dZǬD1}.ӝYՅˡl\=HZ6xXG]*{ %oUk繙 #_J>MRI xdH4_I- YT10uް{, $Q'ç['u㙞} V `. *=fﺍz1&[h|\ڈ /!XyRrm X&-7ZWzA$D.>zEsO ?|dz e:4.7!AJύ^Z}G5T4&xsnsHж#λl湔_MfZC>lV(qD#(š%d|A~C^Zg?pEC+v91= LypnF*4jbXj-+&C%rzݡ[/'&/끜R㇙\΢5Y)JsɌ3 [DڧC(̕J`B@8+Բ1YF`i.^3ۄԅ~?q?'\b͛  f6N×/&WE.;W76b={H ( \ϗ ]&9Vx${ZCܹǩv %EL PY)1ɵqvD˥oaJ!8ށmM%xIA^Uņn hA-,%< 5FZVݪϿ.pQI+}W^`Âգ"-UG~;dl]h\=`cug HZ <WB#|kHuE&YDH<|z) d{W9ɓ3l ޙuKʽ2fL3{qk5f/BT!qzYm*ES3):zɢ&ce)MJ^Wҏ^X-! j-z@E,;0ZfOE;R/D?'*+ՠ1-Ħ3䦢4D -WW& ۹bBntK?Gx͂ʣή^~gcP:owsc zgS(5]ĖVEwDu}k5v&!3"\C}.\XV)k:vflbԴue ~ : ,:{LxQލ773>dBTD3qyZ_úHY\60Ai\ %U*19$hwHQ!(PaZڸ0)ya$ucU lT$E2u[l[H%ɏۛ"zM7x6;" "n TB_9I,JD@g;y3 G¦ekE:e=Q}2!8*e&?5p\dv -3җwOl,dNYEe1etSwfKFɿܹ[#٭ ,R':Gz G2}{g@ζaXu>D-p4)C$/@zg! xQ9>iʂ+;{VĂYZkwFaS0I:I;(=`3=GM`|0£` KTnBb&V~Y:n UQ Xhݳ .~w 5 HOL-Nominal-Examples8MObB\]}Ska87! >r?Mf=xF@@ oxP^<]ї6kV R83淽 <_+EˋHlL2T'G[ܙvfuj mNtxCղeuqLt2u! !D%fȶ#c}T8;۬:"4~;#Њ-[ -0]&?%(ѢXgl"8um8):˜I :>w9UaM'x?8>;wCEi:Ã쿊WqSvY%$ ~5E .4c0d7+(;\lu4zzz @ "Qe‡tnm0|!vxPd|+qU*J,lWfhlyoE?:C翃1> 6…"\&x]>K/3U$Vӑ)ds3/$;'j7HeS9{t:k)N\OAe'^ap3S(e;u>JtFl%L9QK߬r*m Cqq_^e( Z`Rs"z0,&3 *܉T?@qR}؄>)16?\,.~l(hKMly5/ nRw^/N``qN5@ḾzRFO3EVW&!G%:Wb@,q/:s8CPq+?zO#'\)FmƟ<'9j%yT*0|TciuZךˉ}2~l6?Q/"6dmJl; quP]|Ae#M./  B ?`xEM@[;W1K9Һv8,J,L`); v.j1"_WNI 7 S5L͓;|{!'nbf'ʐ/)gdr׼^ }}Ӹjd^>FO Hv/,d>~P'QԇK?W :N$lxzv,lAIe=Xە1:뾶޿cIARR L2589J)ra&ؘMmKxW!  -̒j*Hb*]w1 $ާ-e^/NѶM*d̬hfk;`bhNntvC'ՠu,CX9^srƪwyo96ޯOYWsLCA{3JeZ5'='/f "@slxxDrٌY͘KRՠ+VNz+iUaH_+xYcz4ݓ3 pnغ~sũCV]BI?:WCQHǥ|^ngsd^)جs 鄮k=chˢZ"!q/K&ww T8=N6Փ8R~ }7Xtǖ!bܖbM p}b!1ˢ߳?\X26 oR}:;O ww)2;_%Xl:¶.?G 4fR^XF lրSZW.)wru 0;db^.}A30D{5fQW|C;C.7Py<)I[77\qC_3͚@aVUd{;طO{~:kZǝ6#O/K63r4[t6#CL-* &#z H.>'-o>Nd)74_C/wJR{Glc7Ж0ߌNʞ]qf) p"t/_WYt!QfC'4WEhVwc̶E{d N10u{>y s*_@%MFk_o:l ;N'陞`v:489t᱙]'[A[f#„YDtcўIW o݌J4<+K ]:DhzFP$hS-nUGdZn\0&- %x:Y&CN~kX#NZVeLs'DGSq\[Fc^amU5CK fE] ZV}\Kӫ &V+]hTv8{K<Լ`eوs'vفRpϲCX識-A"򫎯{r}lDRjII_*yeǝ )~"c^(/c *>nzV&1WP"JfSE{*{ybI )>z/jZ K9a_W9m4j$nŢQda֮NjiXXS.ͽ.Vd86Ő#1n.I]40MiO D{Kv:[lJ/oSW^aM/_cǎSJ71'Ό`vl=lpڟ׼f!dɈ.CѴc"r;jFL}*:T1!7_D.w\,TN]_9tS%!tGAג,՚[27jDйAϙ['T>p Ӄ}$^qڧX8@dFy,W@D}}!&M@Sf{els#Gx164gQ ;7ٺ .|ɲٰIHG->&w(' +߾|κΎ)CF%"6kk?鰭ObwfqS#Fe=T^7jE?rr";4_PBJ W%"b'_.=GU,YZ%q_{Uh 4[/a ݄m>CtCzԂ:qS31Rq|a*H}l@VI*dLS>3K*RL4?[/NugJ[>Q{ewKvOJ:UJh wt|RIK\FE4ailsq*bAN g/mխ nj҅!k}ZQnZwĘ`Iп-%c"5yۼB j5Ћb<&x||RC&:X#*Ysnh-tB]kyI?TTSD>?qq; f8+ROMZ& p"VKGv9U ?+1;_UА^:Ղ*riyڷΜ3;PЖ 0 Xp(5Ǎ+Q%T#ݣrqL4&MAשgYZ7zXZִF! c]ŗXiɟ1ʹ l93攀Lx3 aҵFH돕: ' x,ણ[!vO#qf;"H:Ըg !RIIάw7// hMUJjf)egpľNsDK#"Ua_nUq2Z8Gƒ@s-)A~^#58.#š:wC.*}?qT *X<^9zov17}ȫ8˲a mu*<+a@+xw3/w ߠ](B@{׫G$G_$a3_+>(84#Ħ>h,/Y\oKmF#l~ΔNdCޫ:Ę)q[+N])wv*۹p$%HKJ c`E/odָZ-fgYZ7zXZִF! >]ŗXi%;hSWň${Gn֠R 9!}GEGcv]c[Amk5Mk g xb]0=:< mzY G j@B4p\K(ف a*s1lQ'z2U4;#oU9XX]ﻂ)#Qgإ16I}RT%pgiTaC8rRx!/DdaQTHΖR*{̖EE "է : ps|E-5x8+4/5hƅ_~J5W\VImk@ԇ?)Յ/(:u#ցَUc?jFH# Ѷ) i$%6ׇjgA.a`8ַjPzkm-Z4%K'oyK,*R \;~)[ŋڇ bJ;- D79Fn"uZpBH4\'YQ[`6bRb+)'ӾؤlqPC$s .îP390K(މυ]XVa}k_fs3h bd@Q9]Q:`&%WAF~p$ekNbq٤Y <_!olfb^pc;L`ypxfC3+w6 y{ HOdީжkEŨ'Fj:ۺI^){P<^W0Ӎ$ I_=Na&~R>\}ɖ)@zt-lG*l0|ZUa*5PkMЉ0q$߽EW|lqI= Kgh`HLv[EuQ&|L %G+DF䥿{5ٸvھr=Lp[/ )5 &3Dh,0rl X<˨#1P$nZTn` x9֩YF-ABD˭B}100*K>]@mq2h ,@_ぃ_5ƃ`V!?NUi:Enk[eB,TIƀRbĻazš,ckvFaU:|yY J^2ӕ(;lkleI<4cN h}/#.cwJqQ!Bg㉆"8drẜИJr;MZs6fr@nM ӥpV;&-W:LFny,_id/>8#zL@)X,CoUq\ϡKaKŃg~CΨ SgW; +RzO-N=o^I nƩ'ppTlӦqb`$gw4euha-bƐ4#b֜Y$otF3q/0fnpZr]XՀ !7VAU8F~:XWѯTeɒ9!ZbEu05l2j/рҽ;773r%XGDr0Y*7%pax:2[g#*Aܬ wum=]`Q|83[BtC_k`<=\Fc OPփ;D[+2D'[@ˎg8[ByJ0FbփvD9x"]QU)ɿA /ddĠiDfSn}6SzaU!ӷc _xb0ܠX2!`yJ2_hgS&_bJ#ouNk> Bcb,gFs~R6a^?DΓ45&Բ0b:AanPF`3h/?ӕ`)pl1wΫF+11դ'<8#&͆@/Pj*s P+_NQ#*]w_;XKePZNvm Ӊv{Ve"U$c92(wv- ^(xR[7S9Z"hYx]4tx{A@Nw;0:*D32:I=Na { IHP I$FUKrVÂni}Ǯ1K '#0AH;C­p *#4IUۯLF{I|Mc=&v, ^7٬:[UC%Y~'5.4ؖljx =7-O,]n@y)m'?-תKo\)ҥ=tb62̑iA1{˳YЀ2 d;*4!8#Y)G,kz"['"?5& r)E-K"{tZ_G['5dVLƬ[̰3|b*1`t~!XwZ? vIdeNXKnj-?`UʞQoljQ/88G<?ӻSyrQEv[_ ;J4x)4i(-L]DIAfWՌ\ $e2>-L O` o֬-5LRTpZvc} `9GLf39zx2d8iJ9qʷ.WB^{V^]G̼Nb¦zEv& 8_]~$6ς")- -:- -/[e!-F\ >QGLJ&&ʓ{. = ',BܨA QaJoqt +;ў6h:qf\ӛZ(  /jA3Eơ Ys8E5'j,r>P`7}%2=v>WGdTE:Nb{\'f.y2_Q (S&\x:tPIez"&uTe-WکQ ʓ|dW[X}YMXa)vIE5\ú3T%#`F9iكۚ}fI؎?/s*N8 5Y>Joޛ.;< a5}-͢ǩa9NBH$D8᩺h>//J f{\ךCC4`Иh`UNU/4  !,9X t w'}qFzy ?»iX,Z ȖκWCç-CZNbU!f%5==k%JZU `(LGx;c跇"'l-jazRnn(Vim|'hG[%(obI)X"rXgl*IPv1+៍VE@:^V [R ΠEekL,ja [U/+_#=?3n9+_qKX&Iz{E[CBeͥCŁ[t(cڸfװ^ i@'kC`JTerCm~YF##s-KInn:G$YZ 'g0'42,d\c?3G!#.Ƴ)* 5ТGF.7*eH4Rt,ёN3ց N$Q|<Ȣ$,w=]L: qW!V~*yi'[–gHN5XXJr9I v1l(0CUxY ~1X#K1x ⡍L`E7Rt3Y3嶬=#ʏ:*6}v|k㶢?IE:DW]S:7gd y2݆A/ɋl>? _!Q`jԈ<*F$@y.fƲ-ڔƦ3U2ry wGF_]"^DYM P+T hIЪ|WAE;Ob%)X `HJ^(q+Ё[L V3x1(}S2)"M'蘿tg^WKdMkP;:ۈ5Q:3AU},}}.ׁB׎Aitd%ΌWR{n6,9l6"$0IS @u g-b0+HEP8.lA~ܼ[˖ 5lF~U>R=u ?V{{PT[OJEF7Nܚ=YQGdUϝ8ЯTF|!_͡WXmQʃ\瞊4_*"chUQgQ<{гNHuL@54cĢXH>A lݵ̱ i8==n"W]#" jB KCz^^dj;XvMZ4Dl8Ԇ0/C+;U0[." ~̩i16Y4޸X;A [!2g2`R¾W}6]$\^8Zɛ{18j)NZnj#\T?L  Eэ 7Jt[Q b!C@?xEϨ}׍%ƗOkuP-jw6ԇgo>InyPh ,YՀ* R{'?= /#| ˓mjQn>}:B&he+& i=n>=/NV!Z'IbT4}㐊o7PN$߸HZ# wP(Fj#-{Mnͷ@.SMj 虀I:H#&ǠJ bX#C%6U%'oZ,T "CFƘmW0@b[ۿ_<X`T' bm"gd`5o9c$=M џ8rEϿ}ia3g-"h1Ͱٚ௳yvx=~wܵMAͣ^x xRH'v4X@6:x\sY7 (+eVZNsw,.=|<Ȥ$8sZV9;2@TOh|BIdoh$r兵wvhlq֑dd==, h&m '&u ӕsi5?bت@|Mʲ.a,Aqm~ I6a[Z2{1 U HDP#u&p@h5HL[Ŀm#D>J&qWa "efEa\Gzg="x=6,uK}9i~ q<a_# w(/́^47k Zs  i~fm߬c.(DŽr?IZnXcTNClFLɜ9 ov_XcKns9q1$5Uel@dU>Zwa`]iDcl6!+`[7 2QXi*eoz~k;ru2N;wxPVk=AbIF se^)]&<[v >de}N}D+sxZL)tM@23%Oqkx8-p á$z8X )vlP¶ ~h/_(]KzпnM,kBGDU^l\9RYA1e-M6OFwՊ>zYD +I1B o4AU HK1kYO yf| MJߏw[Ģ !EOh͖$.]yw` W+HX pCr,; jzkuXW{q0*EsV"J^B.bWcГEAj웅PS;(a cpc)/0_ݖ{yKGWvvQĠ$@9RwuFvtE+ks#ԅC6dDݼXe%v)Zܪ|.ѹH>p]_axH,{Ӻ$9 djs9YԽӁy1YsXfANǔ i7߸Vj )Lա8wyX"+(/yDUmZ43(*闱L%B0)\y+ntDV7dcJHǢ-&6Ѵ}b{P:v r5{3omt~{d Hō(6ÈsFFiC.^+Ө(lCy`Ao` G1mtG= ;guMZ]l`BS)Z>ҿS~Vi+1!UMIjK#$rT.bo{'M&E" ^ʒy'ub',4Ì%Tqw UaGF_p`SLWՠF!sggݷOZ~|iJ'kCmmo!bo:,,:vSuZM*!^ pqon`!"Kj04$B+5zXw)Y` r!t#l,D;׬SǽUg_|GcG`!!բy䓊E袼,m%&Ȥ&\tf˫f޵gf$&k|5 e=/ʒDʼJِ/1L I΃<=e_ʖ&?7'TD4 0x=,܋DڌC !/'fGeD FWBo+U? g5:wgX *7ZH,{'/;p.1H7%wp_908T"VɹZSp bqғXar[GBY2&(t5.rĬMi{;N\Y-Hhͼ7O[FQYR#.-o7Z1NAU7%kDƆh.vL/>QZ`MIu+4Β1aƛ)[[ҦaK ^abwĔn lhꅕt}yjS&gmT"T.ޠF7Zy0ŕ^H"\Y%3q0DŽ:3E4|?)cdr$V lGH.[Y\?zrдÂ"7)#hlYe,XccLO5FCnM۝ MN![}-풌?#A9*pqb-5}% n27Ƴz@,1?k$=|OAӨ<< uQ=xY s\&V|軝e[價qx,M;˛Tt*c[JRYD^\wC1mȧlpK LD/~":#mg6IAJ694A>6X+9YP %gOb̸<߂%!jhdo9f/T]+b> 92tg\X?RTխekW0Nm؀eXB(+9tZ{[Lŭ3Ŧ:>1cwIyP}..ͫq:oBښT$@iىӳl}m}-ufUaC=)CowYXߗ7\vDnF~ȌFhi` b ,LK*ŧ۽B /K;Ev60)\oaЮN>T,{&}m(_mzW"UG޼gÚyVJ ^~.$OLjCu+˴ՂWu6*w_^K.P]:ôWdvNʶsV.-j S5)iDɪ$2 4Nb#_ӛE!<v=3++D +_BGuS7vUI*m0I^mk Ϛ2Y6)̓'C>@KZiJhh{+?HjSY Мz4Szę1TLmf~zbuX2T87pKQQQ 'BRp,*8x<M_ml<}YO҃MM[f9О4xYAx?N t0f;\ZgnlX><1z='a.Sʭ H 'i[YkG1 e\A'{t'Ki@/§$`?t |(Nxj^'%&oH/\*3W·] Q#Ƭ&;`K<Ӿ>?$D(3寏):T6c9weRe3?t_z/|=7$S1gh~2siZCd^Kj`}a (^{$P@.ohlSk@[J&+a&gז0G]0Hb"~;(8[X.d{Hd}!h>4 dDK@|J9E\nYkhDìJvgwzI9ǖQj]Eo Zb/QJ::ڎ 3^&X'.rsFp?/ekaOWM9>]:GBIr/*Bㄲ<=2G,I+$72ЁP+D̥n)v Vۊ%nu6^] Qô9gc?.AkJVOʵɯ j$EHؔjmfMs4 9uy+Q@pHC՜R6Xp-D,^MlcϙcG9቙J&]+JR_m}0RX: "l0}r1A)udV-`P#t W/N ݃hIop{)o7z[iUGg?x_eTѥwJvȰ@t;m\<0|ۨ0hs@asOG5n=ZJ|G4ν4\a lk Iacԉ1?*n&Qq)^UD9E:Ih(iجebOlxNLi~Y9paP&)3X*=l[cϘl(3:GZm󱂮#+G k~mPp!- eiW!Ha1zKX"< PѬHDIG>ȻmCΩ9GgGްM4E( }υK<4r&MBPs‡<ܙ]Eei3g )K)5Ą)e/Ai_֠h7d_~NP! huTO[G(p6]ucY^+TeyY%mzx̍| ,mčɿn餶)Kp(~Ψ@Jx=.H;*bVk6\>SۨoBZy!}XL>8כ=ܛ,_QG6],9d oC"ǒ&UR2T4~NtVͼnt@dA2KX672JTe({bF1%bQȫ] *IaƁtK=!$k{4 >>jHJ/G$R'0㠰~ vܪ!byuo`:$+S to)Ȯ_ rlDXk%{Yu2ɖ NaӍbԞ5Y(#X\#=SJ}LLu>~ 9aD%f'Y֥3>s&aY'ɆfxRfsX  YGхp'V:QGo*X :ҷ2UF[k2 Hkl<ȭUBӇQ;Tm5O5 O}Jp lӀGLqڈ917Ƀ'YT8sk~K+ۡx!&ɓVrdxYijp*g44jfw3,<){kO2HoUBPO҇W,HjM,s8qhuZ?oݽ|h0΂E,9ٽ)7d M2 з;ATZq(NXkcʐr.*Q ٣ZYn*YC8f}/¥*{fYQLqY׸@7,;캠cpe%l td7EDQ1pMM]*ײjKm˻G! '#7t9 vHY'Oj*iF׬϶6iO彩uhljbc&ƫYX –zoU(LؑLF+@go?K ޢIL>@#:?v69|#ɅbX7OA!`@?Qܢ[Pdx.A{j*4gI)MFB{C4eKu)]ʃ8>"ؐ`sB͌OtJ+u҈#LWݓM1ϙqR g]ߝkH.IobЏ{јeM9Ge{[LI|6ɭe,EQa6t_X+`+hs_JC3E N4fiA‡Q`~z35sjᖹ)Sy$ f^V`W!+)JPO[ɠS $z>Az w+o{Mq_„yHcu#: lDIӓSi!O*@v8lKZrYزy2E&B+ >0qLބ.gE!kͬw.xG%Bdm! "½Cփ ||ȸǩ6NHX=?TmH2-n*8@?m@'LSPtB=ai`̀`1U<1dB=5˗%T[ʭTVk'G?9-^hWo"c68lPG+=-AW(P5+"G;xÑr,g=ƐεJϒ0LRmz)?͐%B)N0VAP>u|7ۿlL.+?DOv_};;dzI sT@t) f9jE?mIs0[g:&u6#U}k ܔ]:k{`)DWҔl,=9Y1{W#|GJsr+#Q6Vko(/t)"@Ւ"Ko>ah PzVwlzC2*NݥgR:^;ba x23=xLC+mr̓‰PzG}tTJoJ㠁d vcrsY.|:rZlw"T慢gW$)cS3o. ݎ /cb0SO<Q\ O9/@gq4G}= %y?|f 戣Y~QWen& LaNԡď7^ӻKtC " +=ќԪ\ s ! jH)G. xb 3R,< uK==f MAMh&iF-g6x2#ضty ʋF[99S?ZX=֌`yDž %oe9=GS1N3؅ ە?NP88>7sT YH{6r-]Uc]?v1e'}p): Z_Q "+E;^!i\c3C5 ua'mzX3sYeiVn6e/U_^אi=9qJĦO(8 F"Ie/lOy3tk+$[᪼+/V?﷽7v犏vfi)3GvQ}_%.g*&^aHa1ڙx.Hg"pŅvq13~n,ew'o@εC"[Q_pĽ3 d>H"HD=n c.tbEoVɹL_x[fSS|,iC|0Ȅlokɡ(ȩ\䩫O)B@{M|,\= \b{v[$I`1Bax(v~X}݈-pI;5&Q(0,"US gBl|,vPJjK" Cy {J*,{9*F@,T!t/(O1U}"a-_EY.PBhI:ALc5{ӓ @JBZhS=kpqyR k{1_:y" \UD$֮pdb1@,9Y`\XESSz1!~Fe蒚^&k>hH-[t-q$ p/Kr"ZoXc֢{{eǿ"v w0NgT1Xruo Z Q%&t27Q3?9aEy y;yo汩6nջ~8vaJ>?X øͪ_7L6 !x)+x-=$孤g[fNx-s 4bk~!^A7՟%.T`g(lp<7iOga]Vv&.qH" 1H8BUjz9m+\QĘtbTvhzd})@&#1P@mw`P'Kc^ uظ=lb$ЬYN }"ls'bN1e̕)3 _/}nboh /Q!@dE>@F?Y ptYxKN/G(y|rr"l4lFMy\ib{U\;7mIλrQtZa\YDODe=_[}T;&ш6*NW6ޓopl mƌ-f\> n*F&NXa!۫x<{)d1N**bQq17 r>kN'WM^W!b'wJVg2BF{xJ|$0bfCA3/1m~s02^ y /4h LvJNg?˴ ?E"$"bDe广/mQ0}im$Zo-3Ō6o~SH7Q_SF`4ΥVC H <M LcsrRLXr ޹֟VT6L"d$|u >qo2>x\qSc$N-VA&2.P7iCyIFߺ~E$݄!2.," l? 0ԉO%GQ٪w/pJ GHޕ'[w_\ccW`-۾anPʨ+@cniu#>ަz:6({ AeB].eE8.YTkVиmꉙ\VFtǟ] TU$nϮ”x&UH/̈́͠^VݮKYaQV 6X]*ja-a RtӥͶJ:3jER)f?ю!:1*H˰K?fy I! mV*=:PLEcǠ/ޙɾvH\؟ ڥJ3H2P1xˆIȼ@Iuo)Jݩ>8e^ S8'Ԉ| dN=yTOnku'#^Աi9{ߕK|{b  :y1'e59Rg Rv)ih7i'+Wx%ֱņr epe:IUplbHa5x:`]V}uĘIcW tΎcZ 8Sƒjb)엥oLY|Xv4Goa)sJ=A?۞-ŘxUҌQZ"c pqx'ˣX!` E  Lkִv"?|#WܕR] t[8C.HL\d ÙsR.oSF8:8:c6YS4,KJưAP#jU"JbϓS%;xiJBqJW҉r聭g07P.vהA:3 6uBWY-sw/w-ܼb6b޿ ɱ $AY-yBJm67>L\d>/iWRk*sJ/6zhNI#֞Ԇa&I%Ru^F0QbF흂\h+P,F? @+1[!Njɇg0QgW+>&ꞯdkCDgit|ܹY>}KmKV8Ii5 Go 3aV{i VhY3IYS @mD/bͤd?x-!IPpRѥ:l"l5jtng5U{ԤOt 5XDT#>p%L_16 6mZXTev J~JgFNM*{e2 HxKz,crٯt%WZ0)jτ}L,rtztO-A&EԌ(qV1UrKx-[tjE;;<1-X9c:3]olKl:3 %> 9{s ?XZ^7DFkmCG]d,jF^,jmno$цxW(r72SꎕpR{ ѯx5K0 -Mtw+6ȌN&FvHDc2}GML, kU]}mw_}~ݍSNtIɁ\m{+N!f/>JP,AlKr^{,01PBT٣ڄ}A?`^ؚRC #RDab*>4y9y<`%1yܓNY0Y؇MXF.8{Vx5vMy S-[}/@+gC2AʬA{V ЕhkkE[\΂Ї I*8~Q-,Ahv8pC[t*I舺S}`[AHwa.慼Tjp# ecNEƥL.?wPu\a UJ#&:h9 ر1;2 A;|,;˾[cA/gdXE)" "s\yH_]8!B=vUjesYoi2O'LJKɋ8~եYSs!X4Jd+w&O ,>{Jۺ_)DA^Ej y6|;fE1 }$~XIt ɉ%J@=YB5Ϻ`]K؄E ۯ5 lK?I'=;VNےqx1yJQpkѮ;]+ɇm8.Cq_:}!s$[(ȼSͥx'.O_{Nl` ]w0M'e5/kGQY>W=,Sq -"H',ge6=8 zHJ>u! VK=G;`*nZ+Қ׈"cU @|[,Y4 ].3 SG4*J̾xq ;e QX ſ+ͭY PN.tOЂ %/)6xt\-c$r1gK,X/TD"H9HO.րg&$h\mb(4G$/;h;a:/&Lmg'1\ٟ#rgyoAʉvhX 1B˽+B rl d<8bI~}GYrRe//.٨IrV h"?A FzƔX&r޳!BB[;$AXqpazƟ/\˗!sZhb`2k9V1K+k#d8u,,aL!*aM4>JAL"w={fH$t$_umG-6=y#y 1UYI~a)͹5 XTb=9%;{!6=IP5:N$Zm C?mVC!.:{ oΧá 3Yɧwx?=X:,پ5*wJQXHfMS_; S?E !,]U WHm8DĮ {12 RlUNXG0"-Ų-27߲P$-tqu:iTd|t,69A=H.<7 w0 Idn(gx|81VWM؇Βj͆)x *Tmb<Qtk |(s"lYl?eһrE#Ա$\ {=ĖOb# #*G葼/)螋3H-Kvlo 3gT_ U*#9Fo 7)$#GL޻D GB >+  ~,dqĺ]k>ǖEP( Du ;m#ycH%.Y(#09|mAKYmC(&ix2fldc=b ð*Ӡ\k˚ڿc!JGoG&*~&&f' }οL}jT_ThAܖ~cx+<|ƃ kˇ<ܠN&zMG2Qp )n6FyԐSWB~sgL)y2:9l k0 LYjΒs$>j$m^CM抈`Y SZoGXF[&5s}`Xv8 kյQu )K^TF>u`} LGSҶ|Jk ^)A[(L2J:hEoXN)^"Piix\cٻFx_4vUc AF7'> > MH=V%7o(؋Ns& Tۤ:FEVi @å.?qwegW`}M%PA{?cd޹PYqi-jَkFV2li@i.$(Dldd*%3¥x8/k[3 -) )wwn'+9=dF6HHtD INגJZƴӿi@|,$D㮒are[|ynՄ#];E,g?QPSTJrm7ԖȄqnӮt^ZpvӴ8 }\m?ggVd`4*U3ktv_BidN5"ձ]@vvehwY=vCwF`TO1_~R軪;fPe(n!lEK*P.gQ֝SXp!cY.0m %:e6p$DtemANVFYtL٫]=?򵯹(m: Wι [6T~ J(Y>GKPn IyW ;^#O8wDhׯK.] G,~W|嗤NM4\d(˝ =Á)R%K.6"k=vp7~Y:b QBI[aJ(tk`4Oj֯>is`vn_;B` 5R=^Q}K=gEk5Pʋ |&!^Ac-P0+63%];|YI#lD< R| X9 !R_`n%i0;&O+ezûLn>CN FFp"$=[>p YF ,k*臝odc=k;Ы;J p 6Iڅ1᪎난=(D#OClz@KVBP΄4'#X~O:ɂiWrM]O . +>;Ccl<{&'%Ym>lRȶ͞`-;օݭ]ıحx*ԟCN pm4tÂL-RQ.o{+ 2cx*ޠ_8寢I/Aj94#4W=V Ic`FLsQN5ȁ$hׯrMmZcQ|uйdWYqo_2:?%5]wċ2hq yKU1֫*ҧ=HI gDϱ?\F#>%fԘҜOr]1/;(ݞ.uknLӤ$L -d!D;^h[䩷mwWq28T\4B xi\Çg@aS}S*bsȠj ^p|Cvޜ;+SɊ3m@[c A :}& $-ȩ2pzo(c A5gEޯ$ю[߆Ubը€.vBT-zIC8?T[vQZvůĶj{m[ZN&>MI8| Na7K1fOZ#gS;wuxSnNҞ~SS)vuNޖT?+kY5Ac1Jg\gȍR~C[RBΥcq1/[^\o )P0mP"")jPR 5-ڪش:;-$8KCx:˅6_n )г^XX>Gv5BPjrAo;kcar'8 n:ҲW>OU8T&:tpQ.-F;bxy`z#5B4IX*}zvH#GS8d%^2Pm58xz8]{`OMm] Rۊ\qG)aBli:R55j+n"Ǟ.)ƍ|I] @dl,؅G * \"߈ b^eQ$gس*A %!v@؝1ơC֠Z]Yզ D_VZ682(8/J*f$*|zߍͥi׋Byn2gC2 f#T"N'zvX7}֋?HcԢ'ARoE{TAZ_Ih(=J-uNK?PÚ IQ۪R^ʈ4Ϊ `w7~.]Vi41g?bG X~hb`eB8؟ ~۳2ZٱgeQ 3һuXudBE ,2@yDA88f(;c(X|U^0vyJDN.lz}BȘ~7W5܎>r `d4Q_ĬŢ(̹ZP ?‹76,DrpGݷĠ\c",['/7ʼnǙĞaTr.o_0Zfhxh ťD߀1>),KڡMppHXee}*2:Ǥz9so>`jbEx&v? _V*1`_4a!\x$A.kK?]>*Kr=R XƖFPeiqŠt<\8ib% :E"V9jolqRQ+qrt?oE1G1 #ۺҍb6 8 cx0[ }D2x$ZR"\\\UJ*yֲ&xu2 o8wE⩂|Qe{q=yԀVl݈nP>yeuħX=,@.QfF%x]A C)gޅugbg=W0V;+Nk- 'e/n@s'Wq&TzS운iJ.V+тbpL*5cT>bn[edxbƀ Dq&{;hGܵ:T8cWgQ)$XomD=u^ @#ZA76*vWafֆޟcVLa+H_XXjCHo߬F/u k7Thơ {e֋5U$754yC +&|^wDwp΁KA.3OSQd72k/1S- 'mZy,JIH\|=JYӢ9zb%{,Xt ZF)C19ܸ3vI.׮EBDd_~{ `,٦I9=ݏ6Fc#&vU,ZO=kcSɃLp50Ηˑ/R=L/RJ @m_9-xoh#Їá9Jo,ѭ޹=uI 9ia"@]@(-sAs(ĮxZёA.:v|5 ɌC?ĵO:X+ܗA.bzW>)TRNP> t6EZ!`Ga[ +jz&-II?W[‡z EOA}SO:y4dn)Pd/z`uW)1o\Deov߮Ĕ8J7i\%KA?I]"qJHDk b35,Z̅&u!;?U{ź p;[(\9?JEmցբ;<&01sNWʤ4\w^<$@3ymx%5jX+h(YI3%ѤO]Sוo@Rq!" ?Z+D4mB\֏jFMYq?uC7*}[ ly8ɚJ07rU}`5L|o"ьnp1 a +bVF*})阭>||tRXfW5F:ژqSՏB]e#>}cy-O4sZWE0-컱 ڡddztGUAJξqe.fۉZȗWVpu7-YK p5sѲ9 ǼIz֊Z񨟛U)z|jC >6{@-pFDw:+NWբ :>SVdi[ mmdVjˁ[.6w͛7s/,>thkM4i!tsnxm <K$!{O`)RQ`'@B$nPɼ=;|<\CCLC g)a@2=gSe8{?^L>z'z% Qao13z$26{ ˝I5kCX&){,mZOӦ/ )AhgfCx}1א;E]4HM~Ce(d=Yi)6g{1zZxkƂ%S)j ƒJ(wS`QY (fbArJR]"Pb8dNE)Z,@*@ t| rGg5lARXk9dwy`:H=(rh *`Ϙ# #!1̾ h^@jiH>::|}tٹffQV Ab.mU2= .x7A҂IG8 35-8v!YJxj3lydO` u4PmMihۉDUfY&R^-$Q-@Jeڋ3 Wdpd# I~rIP`:R=!kjJ==CK2n:|h#<:fJl Ư!`?k" \cU/sɚ`fXL06H0|Mv,MI.ԧyR8}ʃ6Pb5֪˯v8əbһSE@4pZ3M } y0ݏ3;ց[xOGaLTp/|Hr' |H?N:0a +32[/+P5tSʷsrKg;b"9,"# go{9X,o!Ao3n q0]6 GCl |*|쐰=;Xi\!7%R :]d+Vgޢ6Ұ՝CX\uC 6Fo =?c)m Ҽ-cu),bHpXdp|ۀ.JfP~\{՞v'hHř#6m'ȹw.Њ6ӧZzg7Խb ]ǃI".p9#uKVCw,fybi"+c-%7_ٕgǼMoũ)XBr@ T`ޞ:ڱReu^r}>S >$xN#y#^m2;dzӿ߷E#K@MΫ4nf+^%(8Ƞdww O3Ho0a}; KĬ?3^X>Z#ѱnkD-,Yș#o{uLaCMPp=X }/Mg kͭ܋@ Ļx&tޢlA$opK wM* eX@&xT5}j>.F$h3˫@H8+f7äPrpVZ}ci~PYLt7x=Tc@"s`"Ys!sJ-b |FnbbzTp- D2Zw3iq:V9K㳑1Q6 S},5b6{'<;r: TvbWD^$PIQ>1V=%fVGPת5 SWO, m)_i Z->io?~]'=FڞU./t;xPwu1IJ}WSlF*x*0,s#p Jۯ= #X#О7SY.P5I-*C: ZgIHцU=`ζXRų_nZDuO#\ώF:*F` pb⹥0iĞ `U{/3MVXpK*>vRW>oܘztCSyk mCgk N ҫY Ƈ&xYcϡYB2Ly&3wʏ0( e-9j$P'}xt cAB3Wz^QA@soPFlfވ]j?۸abw:8l^yU{? l Ż԰Xmi0y5jgjyBe@ZTᱪQZ3yev]̯ meW5:yb  D0_rp=D̷TfV&N]7S#^=rCIQ Oҵj