SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 WWy7l,d ] HOL-Datatype_Examples:threads=4elapsed=132.109cpu=477.484gc=66.832factor=3.617zXZִF! n<}]ŗXiɟd)&]hS.J}+%f{t+trN=aP'DS,x>x@FF6\lzCry\yd]Ql`xW7OVMl`v֓`.Sfl[94 |>Wq4Q x2bz`5nPXH" Zv1I EݜmI bؔUd y-YϖOP_tϠho|Fܚo\2%:.=vqz< n0aRPFVwW):@K`+-?[R¦`%JTx&q_NL,(8RKuhA5f )pFjuӜ FUݛv}GWj)N5€ѓmn 2Fl3S8iר0~C|Xւ`h*G=PQIJ\Y5SpexDe*zQɃn}Qe{||v0̽V7Te^bLV(:\@0,nt,EXYT1vscLDxv7@}뽆;EQ²X %FI*0SEt4O)e?llMZ=If_R9{ aO]o{t{3lu]wjOR'^1S25iہx5꺒&KxfLp~R7PVq-Ve:ڄP&hEk=:r3e5T$d I4g1ȱZ؊)MiC,2Ag4 +|\Jt.Е7!-t5dӂͩ| ԟfyhڸ P'wMV$>JY3+q TKZW<W5HhH,2n4'%eTqFjt2) DwIRsVլvM #3[$N~QМyW`o' ( 3aѷ2 bI 7ӕ>\T TF-Hd٪oxשIJW, y}`nl-H\) Rj/8h?jBIw  7 HOL-Datatype_Examples  \r/r7cwR- 5Ɉ.?}wX`k+%eBd',s,4.m6L "zd&0<)(>

w0z;"\rV@†dJM?jlHZzIXቹvmd,$Qtwp.?:m:!= EӍ f/]pG8F#}C %&iy{ԓ:,x'H4LĵSaGړ0 Ž:5[\Vg>\MgVUaI(˚M1ݒ{8.Æ[~+ȈNk ëkzsC1Y`kT"f:Dң1♨9KJ0(M$ Zҗl%-|ԜY,+RX"H֠B}noQnE2?lV$ΙNeƝ;֛{Dinkꅆ@0$mLۖdfDŒ}hojXkIΛͨNX $$NǽIa$>؏i&f XKna^zHIXwD[qjh H3D([m#ϠBgn\|ܐ( i "0͉"qByyW2r铿а7j,iŨH+ŧWDz&5 އ>%iݶpZt3V.Q卝@Qf`MԷF)10HDEܺ*ܯZ~92 yɦP8_m ^ol o!cãrpuOY8kcΓ[1ɯ}ՠ lNLo*떴 {4][滅 y%yo㻚nrAxb#PjӡngPs:YYq2ظĐt}-\rsJf2kQ3A\۱$umW ܨdQܻ(_ں7P5|ܼg! QM4AH-)&͆Ձ9s X bQLB57Q:y,Co pp;4:+19"::a/TRWLE=N=ɠZsnL@nvܝ oZ_BXfoO$;;Q\ŲGQGLsN`# fL9J] KY*bLM"x8j=~x3c\?[N}w/,b4V10*eAS2 λ3; A5u=P-*$\i8O~Ț_Ew-{*n8F ֏KZ"( (#x-5џ$tԚdJ\pDp`Ju(E~{6/mWSPwrGZhwr{$N/ӜrXC O}@)S[RWTWW0n9@@3[a/u $WMZ*pDj'1b؂s%(c.U(BК{Y,~F j"ν,D<ߊZq)\8a3ԑ`k۳|D,Awlҽ.FĠHoEA|U(Y찒o8jUwA<h u@]C22~x;>H+RN"δW.*=Uey }Zm,R kQY}08hkъ|TtpJdK Lcٵ޲|yߌs$VS>##?0NⱔfT]ٹy}1E/ny(ހ*RjG$m1\n|d(%X=9K`BDZx,8_@֘5%4wT>,u BH=^X /+R -ԔS v`ƒI4 j6/jFK]owTMqZ2|Zns֮>LیTxTeZia+i[\"<%Zd/ ' =90dw܊+$Rm3h26H狭s6_Tbf1951R| Lʔ<9@u+ V`*/BzH@KWَ[?cSڹj@9Aҹa`Mc[B!bjsN|}d!{ٞVP"2]IO4~#p|.gz>t ;V/a(aRY4W@W!9r5m6 ,h]Jf>ha(,n}ܮ(]̭!g<yqHbqو6!:m@;D-jt]wPעfΣ{"VJպ{N=7N_  v$%2z֫Y(="e{٥6i"Ϋty]Kn[E|a}_ANa.]ff,$^_ pn!aF]=$"a R|slqxMSmpd3d{Bj(Ke'7DS!$>Et\ԎX s)Y6ڷdZ>!IB12#x63jYe+>|(]@uKJg#F >n"DO^ދedPJnDnxX sòK #e,EV ";2;QX|?kkcAܛLC3f 9˭Y~0m]Y{]tUٹ%b-$Z ! ͱ&0̷9nn g$.]xQP~~_"p[kH$CƛR8.` <ծfNZP6Rܱ 4 p+ﷴ]cFƪ/ve ϑYu_ NO8 Ϧ]?jo !(2ƏҔTfs"B'{щY=b<؈VR*F1,1Ѓ o}}+^YUx7dNE-gMOEI(=`FŒ|Rho#eV/L7#u@]RD|&)~SKnm5TU{4 \^s[4܃h$Ծi卭`zYQDIx,eO/:0J(?2%> 5W"N.XWp'F Q`xg8w>nk"`xi'p b*;(B|yQVyT>jD]."hT79lN(+ &Lñ&QDs+G{< <0ǻ@]m׮M: 66\1 `v?`'aYeW|Z}O^Wx5\svTdx oZ_Ż^VS~P]xLXzOiWzռc?̍Z2?}1 &a==Ev.L 1 Sr^e=$M.OSvoN1OB 4qt+G2s+w k”ꐉJNz1Kt.XOFfUKxi @G (ڻ:}Js{yLl JzvDF!`(}zf4Υ@7ɷ L/$ԑ=ڼ,ZI'*Ȁ"X!-_VQIت[˨ m3D{ȸ=ː%3.4s  "ٸC_xʥZ;dP$sr?<-FbJ*fM:ZÉP\m(hW^5mz0a,_`w 4^&WK3gـ+c*< Fdzv`TW-60QhAJek5xERЅɤ #4t(=;a7KX} mIuMT~f}T a:Zf:2SĂ@"B Wert&0艰-Ycj^dSN$L໱LI9ht(-Ɨ`|o tC$sqπq_=9Ld| jx1Yz=FAo*ν~PI$:LF/2bifSnmAoEV&,\Z^3\9V1P -1#q+…V )yC%HT : sQ ;e5G-R!Xm{k)G.V?<[~U''*70΂IGU-i[W_:)Z_S/. >;.ÁYk8hR9Z'eKQ7'Oj-ZУ#eZ4Q-5^1~0B1milr`fn{,lu;|3m6Vǧ)W7|j;0X/lPX$!Gó+Tp1"Ov~ri,yBom粑-H*>Qǩǝ&ՌfOE"mQ-η  wd6uG,^3?sDTHFQlysm勤0tI!;gb'?ӄ;7nR\PsR{7yS*Z(*%~2Y&@aLpṱWgK\1 FNJPGxvFaVhH _Ǯ&y"v ' )q6u€QiMFf'.QCj0J̀[?N髾 cQZvHޭѬ)p4X ʢ<wn(EIrAcj+/q̐RCtDŽ4t_HЧmj1Wim롡Nߑ8% ktoI*`rb7^14}8a$"8>u6͘ϬhXVphR`$]?1SwNj[%%=ߍq?liLR'ˠ̱Ģԣ+ %Sm [9bb?ld1L\*zrs\dI ޻ߧR]Af # 1Ď=ga@+EaT W&—s ӸYLK fwI74dݮL='ү`aĕL? ŃB,f5kK ܷ ˀ-1LHh^Sw%Z4?6Wjv QAN`*+|z*z.؃1DޑhF[*w}],ӴuC$}ILuEsvdSKm5ٞ|cV{_x^ *L?&z =E;hu~N3 LGђE!0#3Ax`ܐ܄wH_teP^Hl"CY-5 Rar4#wu:4>R&Q‹60C $nL6k4p䳇\A$ T滧&Ji嗢Zw+.J .vRX稲۳*}/*|-6=1B  8c]&a6Jl&7ڊu̶KyXKߑ,нG@,y`1:w@ LCfn ̿$Om䵴1DNxd3(3Ȕ,.G֎?M6\(ޛ>!ՠic|U QEYN %瑲Dϋ?[&-t12[ "{Hu eNځKz7 ꑙaInLj&1}Sd޹CKJ/oU^|'ĠO΋,gQ R5ZOrj`j0  lHx!Tk.t|#'Մ8`ߺKq5w7u (7^\dE]:iYZL"^,meIWh>rPF֣X"ȰA/Ap;( WlSI<.2Ά,nx+K\:aO:Y§j2}@sӝ,Cd7n-5Jq:F/PR 0 :$̜MXf5:%2g*ݳh5oy?85J1O74'D"Tm[Rr+ -/9"8I3zS) y5%>&\?2DAz|| SHӮPrf:ޕPP"%1zg=.J x)-5%Ͳ:kr펳YZߨ`j>eiӄ;L%*=(.n5e݃8@'j*|1qŰ{+@}UqpB_Vs际_9\W@'*lR!hP9nO8cPn!"Z\jjyi.0J탣<Ղh{t9#$[bOh;:Z/kÉc<+.'.~Nޣ)[nll*V{NQ#`JѲ̞O<5?RP2+3I$Fz>װ0J:;FKqrME'^ݑ3c!,:OpyGyFCI|x޹?/ZY^ \έ i1JC+l(S`4~rwΓM~ onXCMS ]%|`T&RbLe 9nWwٺ4XQx@'*a;3]:H,dr!W/B+xquō*I,QZyJY@"+q )Eߩզ82K x=KJt*@r1l2"GyX)6H(RH3_{fd&dzsU\<.AZ:fLܔؖZK >Ff lY50] kjy`$5s IYDqHQʾWV:5IG]q&o~( m/[FST w;?cX@|(\%8ԠQIdn0 e t%P{qK6 UM(7N\0듢W9O!;D}S%U@-ّU8nchi9לRVGB #sacc{rz;<١ {Yrc UեC<HIX=XMQ6Kf9-9j /-?Jp"h&j^׍{NHp*N;(Ɗ@+6A 'ӥ}x*ضxtCVWOs}#j>xɩ^L ys)'dDN-#=_ŝSS?ǽ3j]1܉:! B3'#^t۰)UW;ozDءM~hA ja4( 5K#… _ycN{wzɅElI@KWcVrtzWeXwML jkO8 CbwV®Nߢ]}Μ%@T| 0MpLPidQܞbvw] 玥)J<^ )oΑٶ '"0cWcSŻPCu+Q 'b/x:Ô( &)$rsvJK<ǟ w)R(=*MWR{nRt0 Ca bj>PT}hpD O+BWET"gi߹w q^ *2EsF#'O $eyoe@ͺk؜7P {zu@АNF+mS)`sC[13'lwo 2$S\0tmPSLhIja/&xin,an;mʖFڄh e fbtDP' =$_[᭎;#W@g/dz#GOx2e8ENop]%esJݶJ<gX}iHN\d`O~)Any6mx #sKA9*ȽԲDdtD۸qSJs9:!(NC?:Րu)$o irCF`[}+bXbj .Y(ORWQ' haAŒp gYaͿE 2N"YH45`ep 4jN,Ġh6Zb>ۜQ-.L]JLF0tn{Z:_zT<½X lҌM m cg%Xֺ$ g{+:n vC(8 "I x$L^ Ru@-'ٿåj)G%{^Ěuػ‡1’#re9/{)_sKY3#:q*.h_ь4sl n! X QWl>d[7! Li"vH -\BZ>󎢸.黊NT)Znڔ }8ّT$l~Z;yrk«R0wv?>6Ա.zyəԆϚU8v\Qz ! c:'^Cӵ%eM ]q5?^h  kpհK^E:nKbC,K-ą 4 Qj|njQ|nl`;j8s{c mF1@ݥ{e*6 M۱3H+u;_<7NH.DY3[gEp< XŞT0MuiY:4ηu~㈖"(r$¡y (*:X%:L"c] zӗ:0IȒ6cA' H?cv2bXo unxPf751/|ٳ:~?E!Y^jk G,a߯{'rKײ&<8mWO/!NxbC2-`-v͝ b߄%_[U~ IyY=. Yu},i T ͯJ928d?:q'N G;9Fn[aAއ%{(mjҷCT [8,Ud*cNMPf 0ۢkMLpuɒ`æ?9Ƭ]î}zo'U8W/ ov13َ`*NA4},ȃr{tf0zm)qRvѬUyBp\DZqBIW4m\flLaʍU[X-3>"< jW,(L*b<0-*p^8'h>>9S8܇/EKql"wxBWp>r7"E TX^'լuyv!9۬ւ ώ xjIuMx,Am>Slx5^px*(.nG+7 !!? k,!+{[V,=)2/^(?NƳ DʦA]= Rv8ߕ4E-UKd՘$c G:hbOش?L<nK7heH_kQ_qH&/ %1o俿iAZ(m&leP|aTWA e8%OV_xẢւ9? %;% 5xh§GU11+ j\#'Ս" .y:%& -nHtx`(*bY,l$5L=o|oH‡k1G6_:|iL* j nd&#C$QnN폈,4ƴ~,r0.gOX~7rί{_KGlues; \$f.І zy)fyx /A ف# H -DTv$\sj|rxDx'EApSwBno PWQDNA?6/<"#Qafnx+ܖu2K{֊   }ZLﶦ$n$NyZ˪ -vˑT9DA~}\2!L_aюX"[_z@y[鲊݊jVP䩻[Z2hc89Akr="m0Oq_Q !?t}HfGU8cR~0~> )zY3b1PjavFa)zjL֎v~_1f[GD2SfXH>L~<8Lm[f"z tpـRY )J0M]@ty^Qz :| ~@rPCPţֆ}dّh%` L7V*d=C4^9&[w܊_.|~6C{$Ԗ<IsڑL=V.+\Ir8+65.s*Ɍ `߳pW*H(N̯Vrw"d0 #'.@>)@5oH?dފRW 8A(pt#wl wyhqVY`JF/w\ՊMoǼAZ>W@D-%9YҞYI,.6 JQ%e R/-漏PWvcx9tRr+}jnZ݆$Ծ8 hvMyWV:2LV0]27;JZ2jWm;D5.?1HU.gX *}I ^rI^?( 4d~ (jЍ< Ǔ}CgWq!/ƹ]rrquAxl7m#w_-)܉s9"S%Bl} #%+dV .;΄ha:Ȋ&-@A:iA8(N-> *> ]o0ͣ U=3jLY=$Q{Ϊ"T_Sliv{jEY<u{ĵUt]:SS}#97&^= m!d& Wk Zs &)Xb(/UfId3 e0:ޠD29+ai^o!q1cQ%kUlt]\\lU %ykn!Eb;^XC0gzi=Gg:P B 99M!-m6\R԰Ò%N R~rH0XsYQ_CvfgW!n ֨zl+]//=yE/tUfp~7eblE݇lE3]MiUGAqTгJd\b՝9[` oל)R!k8kAf=^i--`OA#VZ^$#h锈8/X(^7gB41aM>WE$k5Bn[w2pE EܬjˇZu&rcw(Y,bBph̞5D-KnocclhKb^uUDWmdgFܒn=@qƼ_E0k 8* ln  %MXIqS;-o =?;(xi>]*bz9(:fE X-ل0'/]܁C(TÌԓCKąMo:az|W[$ rg:2L;MeS~g[xƁČ\f C @tx6IS4rjA:8يkJXuɢCp`kX?o8 Z;w\qJ.]ɦD.?bsXN) d8;.UC|4M5](UmLDP2‚jFU-O$ L|8n * zPZ_)ȑI;CxhC`eہ*Ly7_VZgn9$bam*ڏ';qXD?,#{JB7RC$g)G._i.6$/Sg8}pa.;O_e{Kmpo&p`ׇsy,p^A`tꐅ.*mq6[IyrtI̐'F~MUwlBlcW'Gڽ:if+ Wx{ '%Jb;խн.'C 9w]oNa0.[ B@.K*@Oj-q9.9 b o]dRyăa =ȭFdK.ɔf#_y}нK6ڼ:$U 48gƫ< u%HmUHŁdPШ~h>R7<,Iw't_Qu\ubIOxS3P4[ B;&YDV3A-^2d MGcM{kcl;rf/1§o=>5`no$l4@J Rh 5/v7IٺoXuuhwëi{1=#1)nUr {:>!`XH.drzYWRC4&hu@0Z8*cbhYw |F`(M‡p.֜mƤNtML5W(GVO$#U R2c$A? OBm^^2 % vɬ T^M}f0 YٺB Uѿ EXMq ~fS4(S$VO%n-lOR^.I>m_0)ۧfV\7_w1.YkJJ2h%d 6gZ kCǾYcrMLF6hD1/P U~ߝG:zMM*qN[/>TAXg806rw=&9'^硧ټY^vF9-tĀüxǕF~5GEdjkFgNxU ƞ5A< zLiͱk[R.;4r}3 w3 E_lˢ:.o3P }byEZȫ%< wq~0;Ԧ[Nw1/]²W{ s(],¹l*VbA WpqwǣD5%> Knk[՘D<$ղ LDkހu񕀝ɏ4"d_̏ˌ_1QY7~#u+,^ RoƠW OC6Eu9WϟXgH*g!ABmÎ dB.5p/ ɨSq@}A6ᙌ V WV1,-÷uPkdy| o(*ʾYȃ62J0w820&uDw`D1<еKB{BꪦF|4X\/.),i%ˎ'l<8k/ʲ/T)beǰCW`reɬ q3+~)>McJ.9Wyha| qgݧ}^Mi2/]b v @9pмaSxb 6`j-eYr/x-^āF%VYq>E j_>)aeNd hhl`"&[-= 0Ӣ$VIae1Hzo(wq͉0V8B/@4*U?8:x q_4Q+|ס(զc#ߛ|8;yj6frT;7E37[=bM,KE+DFPxTF^aA ZԞH!|̌ٛG'1[r̅')LGh-u+C2(G`f/kG( q`94i#+3Cf2̴5CDrY/K Ao0%&JSGdQV?JQ` {tH61wRc_5`I;VWeQ7Ǒ+1NeODt-ofy ++bgVAӃ!~<IJ~x I8L\'g*ִIpTGat) Or5-l9q+1f[6bZYuvj*LA/A4tq%5?{rO='{4#_+nΤY7*܈>ݻk-?֛\%Qͫ㊷v$c6`GhR +22s| ge #qҔnS寳 }+X{;s xcڻ]Bo 3Ln7+1U]AzZbଧ"~YT#0F#z@E{CòdiH%nP+[3%=ms_5^[^oH|mp 1@zK=Yt<6B?˝t Cs< &\9J[s6'c 5ih"@v7*T!c#]vx8_x&SPmgE@20ԗ\= H'>9{C(v\7P{왼%l^-F#~pg-"l&ImetJ>03jK۟ ` Iڵo.:K K~_OW6s?&ВMg{U8j)GAn؏LeJ-SXxҺw߇k%;Z0]56"h6t%ω]i@G3uJ-pZDKO=R'U8&U&bi:*B1{'-HumB zM!;z&gج3-y#2lb@jVvkERPS\m_|a!zwcYMǛ|'B+%)CaTK ?{u&i6D=]X(y*$bX&KsPDچUh!!qtsŀl,hڌ\-Zq \4&X1%f +WzhnhM?Ԯ\$Pm`PgÈ{_0PRf(k;CH&B:@_;-Ǥ|HacQV!/b]< l-/, 7mv}qxSUNJP3|x5l+!C.ۭ")w` RnA!ǯWBT]uEotg @^'=&xj3ԑ!ҭ7ch0 𷢰 J*wZwa$罼t?SF Őݖp$/[7|؅7d":vhK= mD}e3#{ʒ5@wNJY Mӫx"Pa*ᅦlr@KX_8F+G34ՎEXQ1 dؔ[/_7V'ŽQv麛J&)=Jm v>rM }Py7ܡ/a 8ȌZb\?u :fC5Xn8eI-B6rD1!O{Pٱk:ܪ*b-rI#GDZmfLС=' gTȈhz乗EXlںT/[r߱kZX#T~-pyLI8a#] &L\N-nt-Oɉ?c!8r&L{(ȱТ{`[bEC[  kIަw!{}/1 0FU C lP>L̐1-+1*6]s`{E[&ɁtR^h~*V˱荍H,]Moi9F19?4zOhZ%CgKÛGy(o4=-X_jQ@ HHA*3 o Iu3x{`2v4]򻩔xڔjնD`{, DnMK Ofo.hP&bvF=:R,?wEZt^rz ,G#'Ѩ:X 3EY ]ˉkQG0o +mxrf"i3 ˈBQ_y/q4(/!GqifcÒݠdp dy~y;!>НR F"s4\ ex䪡?٫J6OGg_ VVILKvE2HEq=;wmjO"cQ^({uQy`q\rl=؏0N )Qi$e>DT;љ66RLNQʶ ?UU%Y WE+oQYK& x6y#^Oau4%񂬥COp)PVbY!-X^[,=7l"gHJR RIP㖀5PvDYszfO)sIm>KrDN!1ߡUK!J^9!>!H Tm>d%J:H`: mBv!*YQEO&[JKLPH=Y_Dr+Rx9p|( 'D4~#vΤ-rG#I2HhWո~Z,bHcSlĀZe ˧ mJz˵8(If{)$233DR[eJ@+/S wKևb|$I^jQC]G; 헲e cn[_m3NIaL5^$/MoX=ߪsuk, S/\S'z fteu\oj/q+eL1jĎ5Fj[0cF(U2ĆlAj(gDN>Pge5 \_*9x%PBтXʥ1g8WHfS(=Oq[WR{ 7tx=c/AjH8?ykP P/_:dseӛӛgNso׽4j+5HZyG;ىUXںh̓koCvm8=Mԛ@Lj* bP7܍smeߥTSu8hCO;u^Z DSqBI0Q>9* `) 1F1pr蝿7tm Wʼ!n/ۏbrpZ~~VҐ"$udTz҂穋|T}f9?uSU (VvȦ۰؏vJĐ% #p*aEEZ*vKoy/ǎ;6 ƑK"ޭ"b= Ye}a:]ތ_R͟R~ 4 s 0kGrrWeo7DT['0A0[KgZ$ w;-uzmi{4{$Yws'q l&tnBNl"3OĬMސ+()K*YfJ2n4Z_fS 8`" +; Җ%PFpH0Mlr.m-mj.Hš bӜc,d{ g1_L^CC%AD|9>I'a &XthbQB݅?%Mw#}EjqlE czCZK,6h ??sFd.WBSQM0:( 2aCt^TGӋ$Vo\8R$iϜ3-Q3QZ|ႺNvZ4f S\QRf.PcH[v3"*BmS,*FG)Z%r pIsU8G=j,ӞE vVǦC~MoPF!,/A1~-ڼ*3Z|]b%` ⋹b9>~c:'B:$ulDm&ptR|UxÏV0xyԃ;}]܍M LO(E**dyM!P@TRϔ!=MTR'0pFLftG~>W*/zU!u\p /dasӁdXv7 bNWQF'cIU$ iSWaitjmlYv:RP ]b7.go}㩩) p<"r^ >J?z6!PB\lL LwD4ݼ"骁=VoZzX8cѦ`s@zb~_V =P65ƶ[y!ŗ&иLczĜ} * OH$+{Ʈ@ 9ܐŷts[];0s@1?Q|. [UJ4,t7R7%:)JeQڶX߆`reurĠ ο[@{Nthv`XD¦3 ө#PrfG>Q/ wxOIA/Ey$z?.w& X$)+؆ˇQRb"|5,4B&Z8[_C]aTS zT{;Qb>S.`^r(5i7R'BA{ :0>|@@\C -z/Q%<"XmVf^o_6ĮQVF`UY̩(P2Gu`E\~r$54E}GnaE C63] |O"@;ZX(hHVN?8H-xW#ʙXI"Vk^o Y=K#Gh\V;䡁mOKeMkzVrnzcy]Rߐkz&< ^JTYVT+Kro Tl:a b:IA:Vy ,D 9%'Bܹ%Z'cc{f%]囯"أx*BO? b WpCېmOoլHdx[!cw)(utSX?7_AΟ=mZ:_0ZHVʩƀZ]$>I}7y6E$.,Y rB5 ؠ% h0N^5t0wS$lۂnzN9"\g9v]H0w;#,F˩pԋ"4}bz^IJ؛Hjp1$j<"4f~?ar ᥂`RtCvB&@^.и;a$ƒ\$pDUG W I{m$&Mb!sfdvmU 9D̥9+$3@)A(^cSMe]$ {:'vRMNV0*c(rJrKъ B PnK=w/\bQDw9{q0n Jmt|E Xɯ&= Ƣ-s"(r~qmn[{zХaI]o0Hg6 ƿ* ^}+Qw8y!6R/[uhs J~!ߪ?R jncŅt_!d~0?,Xâh>QRh!_/Ӭ4~Eȶ%iCԄˢڿ{b oɟZ}&]TH+#_gd m^jXGƳe7r%Dhې9V31n cjcM[U,b1HPN>"pmw[s;O#K%T J) D_)G{\at5y%XsDSܻ1OD |%EZ,!@ )rFQ)92sxqv|k8NnIhq.ƲپTr(H~@`ce4dyM@>9{oJH,",t!X{-@eA Aoy @K>o5d閫JCGgYZ7zXZִF! w]ŗXiɟ1)*uԚ@e^cKZ ~ic  %JUZ<5>Ɂ6cX4C_;fz) (x&~.Ҡu݂|EWl*t] 91Ĕ݄ p-B vG]SX6oFƊg֦T VxB&<'9qL̾g!5ߪ޼<^Ա";5b!ڷە`ECG7(Wl !Gp.k!R k=6k̐ s&CS _~ƊBk)ύg䷶J=/ M峥Dt~ܓL ˪j3ᗷD7as$MrRH\ڂLg{P" ܲ@ԂBnGm_dA_ VFi[(高2߷bpA7y5Y5;kU j8 efW\OуҤ̶]1ٸʥʑr(Dr UrB gYZ7zXZִF! ⒖%]ŗXi%L!l/ O7t v&Z^OӜ3}Ӹ}RlO08XꞆ3^Jncv:RA ,vLFh *SGJxeCy8tuLUjrhL"RE`B$]}>Y7j b)Vg1Ύ BjET|U3+5 4V xna"jRP2f:Oӈƥ, %XrbMDZ1DHIr+,K@g -re]qE˃SۖFOlq9퇝5xj xN/P"Dչ_C^#A,pϯ(r8FZ9^ ޷ֺS ̛;R07ll-NN).Ap)C8 rils)Wk8b-n\Z60ūƈC2LfSd)6MYNBJځk(jf\aZY%[v VPVw&W]9V7Acz7;aT*#ذ9Rbwu[޶X@(n n G%Ao^< xmuϡagk\=P;\XDYkT r"īMHG*X8dtS"ko,eO3jbI&Rb EL_̳G-^d(MdU*G2*_T8A!2Ci`JCv[~!eCiVmu:aX/W"ZJ x"!s+WnEtavi4h `0쥯Nf3昝wg~AxyR$}IR\M|sgN`z~RfnNBzD[fuyZCh 9%, ϳSvA:{/~ROQf]aUT|LYMŚ[av*EbYZ!ZxJn ZW^ĭo^03}z"]b{ڭ)h-##T@d#Q]X L $!Bf5hύ#@g!AV_Ztf4i% _A@ihy -?Ͳ:Sx0tCG4W]k1 y| E"95g%(TFf *L4FCנqN9 ?(Js UJFalLTH8w{qDAE?cm-ڤV>Ձ˳/8GMhFWg7=Fk m]ˬsߩ#m Ⱥ2! ղrnUUĜn0 ;HM)9I%מvqycӫ'JKaՂM]sjj`FlF}ҚւZ(qE.K9$a}A(R©ֱ#Z ٚʢ9Kc>&͐+ңx EN =;Kz_cOFQa6%c-Cr\#^4YoY)@u99b*w Qm!~&ҍ{K i% 5 PMϪXS]ъGuɾE(xXM.J 9PO Y[2`=ӫ VS:E7*_x3ɖknV3? `>{Мc&.; 9=/T_d yIfj߉F`Bٺ}#.\;6DGp/*Rx;NuzN&7n)O.Ы8Ia0MrxAh&7ި,z܆U.yvt'VK'XQQp)›H%la]6U hyq.Z:\Jn|~D8C&r Ie^Ṋ% td^ /r2h>y.͜ Pㅌ}cDʬIrÐȰFm }?zjLDb ca`vngz]8=[PȹKJc!6+_t&:Lu&2 򸫵C(GT'Z?H̀vTJ%uHW ]BdXtqn yO/}ǚ A3P$)LJ}"4rP<\iT'#ՅLx`>\A{9}]2)X agUC2 լ7\ "s>o3̈́ݥ! eΐSJ;ٌ]4b3/tFejwg0'{8L(= q:sTCkT;-$kʵ#EEV/h\+[gL2TFN۝=]p}aiUj&h2wňѸ Pol](!|NӤR_ eB&ejx^/=" Ne4bڳH u&*`g9PA1mte Ԩ( [j:FP'% ɟ53\ l/d JPpNê-j {'ªYE &2M(})Pb8wukvj[T\$Ѯp' bMNsĦ+iLZ骃I,?*T$Zf Dg-~"D|Y6bq#P#Tϗ"/0V 馅@ar^ɑ4*RA6 C%˔D>NIJlUiBR)$6*8 ̒B.{y^ke[o$ZXKPDZG1PVcO)iWTW]u$W@$HeaL(lBAľ#pE'ѽ:&sr!Jyuwc钌k]Ҷy_> ^'SNx#Ty/qxMk?ɊQ~߭{vqy ms撴i)%~$>HzAknguv<-Ox1,Y~!+16bN1tit^u@LS~{tlM׼s ރ\^9sp)Qmjy6 \NcN՝AP;_8_ 22}.Dš%We#sU} :zUZ{.nم0;-^9i4\bxP[=]v.-¸+MUݎKhREU`=S>CO4P<>.綥1Hٻ~bJ<e١,ݣg:z6:@4`t B=gS,GZNo_U#Ǩo &0YD/s_ƽL6|vXܲX:ԫ!T@2@Өei);u q%l!g0(94 4A@L} .8RdQu*,gޜ5h[ʘL(IV_#a2h{^_3f( " it @Rf}\ھf_E3$Ygv7v\hDS (- 3Vy8?ckw;$GM[J2b5P}dڔjIXݫr)b}gNBJXy|k*?^J=ͦ9 W jDʋ@5#i6p:]b̼Fa&* ?vn]\MU`Y;'NyG詳۸rC瑴A' SH]l"z@aU K/i@3 ` %Yek" 3[lo7k4ɿjƣ, {8D?1mDvgiLWsvI! ov!s0M˫l2kJKJI~'{֥a-V^i@)쌎IY&՝rWi|ǥ _NEC va{$Wtm^Uh[X*h&@e/җ]ETsPP%x-xi̤Gu+˿p6*.7U*"ʍy}]1Uno#4Ys>?4 6=z{/0>9l]j}gYॄ]Or1zLbwAyn9^R_HM㴃Yd1^pK_ظXt(D kmԁœțYs[K[d $ UЉͽWsWCByA'g)H#P2}CS*b&MYƲc!yPY{UH=}Ӓ$60+ с+2uBUQ^!gfdȲ$ȟ8)F: `<}pOJZ&\^ɶO]%ƜZ0$b #YyTQ9,UrPۑ^I4D# Z?񘶊*={=e''vv̮DƞZw3 kk5@Tl?:U23xײ"tH>=_>EΣ\' MFmãߠ4}>IJzⓦ`?@_f`( (d t'28T `9Ő"Edﮕ~/5gc=l+C" JO_Xw_T|Xd@Kkх C2hB}زO!+4)K_lUʭ[kؕD@5'H'2wけ=!wխ5@0?zou#qh5؄V $LY<Ϣ[voÜr6% e*G: f;Rvxc!$29& $QO+W2}H`r5z6BkHqkluٴFt0;ͥpM?kO$^Uő۰:_p'M>bX4 ßzSQĝpULc9Em<@Z۴H;%𳪓0*s-$c11to/}>wu5(v88%ZpznE-"ob/-HMC.;)T%G(In>4cn?ǫ5 EHF/O̜+k;7m#FOXnsl КÉњÛ8;+{5'IO+C9eQltj*uhBL/G$4&FjI\I"piytc6fW_e$nqv:Q]A!Z5W;*jdAȁ2, 3jͻ`Ǟs*r* eUKj%$3~=&ҿMpXK!;/dw]tOGfJB-a$E0;OPh0 ;Y{X2/i mX0h2s]G9ms)jKyo }R9G; k#=Q7ꌛ@ Gښ-S4ϡoҖ}# V R? peO?Nv@3SiLBpޘo1 NVĸG V'ߏNףcḂ5>:;toԝ\F} ͷWp;%1M4Aj>ʐE7X}/-z,ZQ=x9*Ə ҟ?٤Bóm'ov]8<HXW VT H쓀9ocZ;UBl/Jf9udR9ddlZQ8ÿǶzDUP+li~:=`|E $hc[;7 Qu],KnNrMn˒J DP00|n™,5BEWewll aCv9GOy팟4:-[b ųI-s'#W=J~0Yl$g=ȯM)#2C2G=Z*ܧ! LX͒{Y}cvQ_.`!/T,g U7v2,1ʽr IaoTa sœT@޷M܋̀/qQ/#`8@fQI2]I*JX q{&kn.Bx3vĤ.tӝ&'wBMU-p4YyP5%uVE}j6A%;0G |7) $r+?O'f{gNWŧab\[ E7Vq3w*N:R-5v}1d!PX/0Ic-MIBصu1Oi=gEyo nͱ2:.Kq9<9W k<Lp!6+Eli*%KwZH<5~9d8byltg_+k8^^9.Q9QgC'! Îv4,r_!BRDdf4Փ=hEx {k[DM4`4|=Rr?)q`8_$.C5]%ޔ!sgBw8¢fk}y'!{(kE3e(QKoEA<-ڔ_(6UN0 ٗ]hTea`,s @"^>|odWxpv[Cx4 oxsU6qn3m)2$oWQCB#= 9< Y+N_Hҹ\EW>QBlwV! iRoj'4AW<`18jzLׁۀ/;Pth0pEʪHgGß 781:_!Fd#'/P# )Z\Do҂ p=%"JtcLhL8gsnfOJ( H=Y/rQ۪6PK~_G~ |^zЌI 79Q{FM/SiO\^sO:Ђ>Z'zL