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   F5|4 ]S HOL-Nominal-Examples:threads=2elapsed=676.242cpu=1228.952gc=117.132factor=1.827zXZִF! %]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%eE.(e;p:y[FkH+isQ8nqӃz`DqI:]a|:q8q9ե q:qѨ=bE0NJ?? AoBy*7$weCilnh7 %1& xtY+r-IJfs|]'1:Sɼ=/-OKF4(0>s- qFB<r8ߖDBI C?XXp}9mHIiR n 1_`[ _yYJO4r%0$fY:T-hh_q|Y^2vQ?=><5[cGZT _@XJݬq4,V[t4@ޅ.M} $Ҍ@e6n0̢ ẳ?ڀn2 i7NS;Y gMZLZM*sţ3vb%M2]㵪UpH#I" jMS9s2|`} 0t@tR 6Dj ‘i`5Oٜ\6+5^ u<7Q_siN? Vj,Cg'lvrfBHHۋiCע?;~fܝ\?rgS̝^DZ-LCUUfZp 9gT9QKK!PȉrW`sl9sQ1;4UġrKd;̢ۖ€N4O>QPG>-lhV.W.ZNZ|cO34% Tn3ܨV㩿W Z|:SUݼ}gd0|4I2BrĒ _ZN?!=?+Wxqqɷe 6_q|jOo튰a}g_mMw' Nusi<> ^zBv.-?Wf6^nNPZ9 ^ke|3:.HJ LsXLe0W}b}ҹh5bMhMvJ@dz5U35%*05L{x.J;UBB?wIH},W'=~LK~FLwwq4MU)&~9<~UoBe{zs^mX&ajGt7PsB_sߊhpSRmMm/^#=#ndpm2nV,dGSMCTyNHaP䆸AP˖ G*zvn隸Nb}sۍ&x Y#V2d%M{@c&Z@T6=p"^x({η\@_Q2M2@1=U.g=#L99σoVtN)쩭0вy`J $G넻O-yف-UDIufyAT-lO Ϫ 2O(T8p&!A!1'c;r!JKyVklbVD 3EޫS:lN^H{Se.VaPG 44fRKtJk:e彺5q)趚6=<Ӱ#>EX* Ͷǜ$(leV78IñKOă#^UDn^hB2~$>)mh5>39KH|4a J|Ik6-Fe=m6P94pYNY&f޶^usTLgZ>8(2)+q僝3A2vra`SQ!eڍ1*D_!AYlh6owxfuEK[DO&w!EE(5Nh 3<\x: XI$Հ%!`اPW2#L2..hjMvn8/jvn^GnӤ`s۩MdP[Mc,:_B@A6Kݦͨz.Yqzٰ%DE4A.efR2ܜ'3^Om",<@<߷sA@|~3s_}nOy\6k&FAe'3v)n:i턦[bEF;U|*EA=.$W!] N'A5P΢w8'Ik&<7V!.}!ϾfeG>-1F81⯵GS<qisFC: 4%kyܗ[ϚV',XBH S:@^}A{d-`!u%1_8Ox{F&AV1gVN[O&ݣzyջ0J!qVt Y<zy˧%Ԩm}XyߐA\j_wC(aS.A ^>zr±1\v(U:FF K&ʯ*6+fݩ'P E)"-U{f*H7[{ԅ i1;IINX͸v OD1ot4mBɘC5'$6-O° Zc|2tJl#_Ƹ1~$qS n dcH #3ٛ+aX2ZHA2$ǖ;k XXv9{Jג%݆ ke a'(~QF[\&?Yt+ܔm#!A"(1u~͈& `0`˪0IL9<Gvθ}I޼z]=Ɇ;xY.i#b+̏Ӵ;{,lmQ8- Iܬ(ޝnϋ[4ۏFD 3Ofb2x#ҦO̧(Ŏ.}r-Fcٞ((kןUN=aR{]<1B;RrIQ’CHPe3jd)Gw}*~i.@LOk\&y

$+3aC E0d1*}>/Ń511xC 5P- %LСYثgw>"qrY̑*Ѝ\ 䍙4*@CN?bo?M,0p8|5R<.TJFy"_ծ q V6. 3)#M+{SӅ;vWٽ 9c-uT08ZKp>}`&8Cn `WձqX[oBX)XLi]\^X3O\Wb,Š 9[*N3sWӋ=^&9)w^}.>dP{L%$>!zj% ?KN<*CȊO+\i-4N`>'V 9npK3xlDjWbB5OLXtBz7U&}62fENam̴}ju"kO&3m2#|ȬYxhe/9< u"V>2g.6$#n>(*pѰGqH,Ѯ!}kel?0(auק$sJrND/zEi` 73 8F 9 1mb¦Z>cԗbL*f:.St !28F:7K)(>ԿeI*Jpp#g#V&pzE_!o(㢽lcTZㄛJs5^֫G"*t"b#&y{+RκFIQEPRCPQxzztI\YrQb VJD(F /(?ZfJ;0qJEzF}68 Da |m DbQs>Oc&t j`~%<]X RxsM%&AS 4P=smCtzP~w?GguXˆq: $ds, VhU$ ]-ݯ60Sw䷺%ie|^Ojꆉ.4;C~c(2W-q"n'o?]7H|!my,D+18r&M!qt˕xH+7/:Xx"1 R+EcJA׸9sla9ۚeOݧWnyjv if8߶YM}&^ss[,ERM'+Mry6m-rX`!f0D YO=h}6HgB<dzȼZC2R1ԁ o 7ё3DJaa:ꏎ٨vᶲd2L0yBՖ*Rf1<ꍷP \:%cmw\Dv@U;"Bl6)zGlPg±ң8v|Y35_27R#5t9]lxU`T9}<~=f7CKn?'#O_(4>c0&ilݘ X`Ъm ;*uM #\}]f_9I Ͻgq"y׷YC=)5fuI9^3u_e$Yؓp<)H@tXS!sp)%CMé_)lVי)SNL`zEP'[8P; Τtg)6dngB_rT7\!Q] hs6@'/`ci<\7X[P}鼒" &P]G/.( 2m.&1{KQ&Xߏ!ԺbFQ 2FY@ѕ{  (74|1;|1?hUwE/n{G-AxyhDԉ |@Z‡F/u/!Е\_iB1@{ 3SXHCC=/gܪ)/rWV̰q fC] -ɱ"(fKS* &MUt%`vfWya\ jY8;m5eWyqP1t\T9G/m_gJg|n NVjuzgH8ǩ Y3V8+NE6>=زwb.2ց2+"b >y~hEdNq-9R1MwZ!6ב٬TmM3#"{7jJٶr"ؗėl]x  ~RfijxQ 踮.1Y6?֪/tbӘum(m~ėTtAB t\($'gIHzc6}>+֚vH\EIbeɄDTLp㓒DfrWjW* ܤĵH~3?ȃh5Z1<`/Cf]`O|"*9YMƞxI=ElB[xh4!_K2h#ѻJt=fĈ_Q[ޜpM& 29AYr#:H2vb\^?%o9(_52<ߔ,$ oh<{2s^ڬ OüBCn~Zxb0r8V;Ôn.~(h:Ev}QZBQ1V9n90aS_py汏+^*̞isSb:a{v1ް7 S(uw\֎ѝ &Z~:+CaL~,b{eXR*8G^'o<՛ǧg4s>]h7!ߨTa@M( ryO RE!-cPk)AM>`y!,]l')1>R DZgYZ7zXZִF! b]ŗXiɟ1ʹ l93攀Lx3 ar! MQW_޸^ txqꝲJ KuGC07(h^X0`z\\eYD:²*yZgJgQ1sd ?j$Q&2hʄi[6,?_.S[Agp࣠0s^+>*X( E{PŋEMk$ê/\P,$'6hY57-,}\#'4C!ngF{uF3Үcyʽ9Di1]ֳp@B/A蕽Z hk8rTXH5j]ת(GE]®| utj狎buo؂T[h$L ΙxUISCv.$]5?4w&(T ( ?u0qV͕4_ cXh/gYZ7zXZִF! k]ŗXi%9(P+>\oTɑ.!m'j ;wzb\>H\.BxNN1FP+Ok,ndVoV{\s+|5p|)R[Y̓ʦz2(_b3TIx)E?5*GI^@*뙢ћtv1:;1ҧ`t/#tt,ϳkzJ@Zr!ɨց@1\2FDجpAm*^Y/*4*Rb.[A@]'KJHV.:_yvn"߭r1٠N&ڠϏO|%aVd˩̛(,e$e׊ iP[ٷcCk?3ħ48;#8ud1,cA(jߌ9bD%;·F3v#5-efI_ڄvae-JDunEg{qA}su)?@֏=5ϳsW)DèV7mt%&dD3D"m"ӂEj)1\|ѕjú؁{LRy-`)`{E@>a )ge PjƈܥTW`o:2#4ъuA(%A3Ja&ԜJ/^r fEqΜ~1q!Ń.W:P+kkbUi9q9vl^b 8~jdqv [q =1ڻe.oQcMg;JJY2h :,tQp4T3詤<%;(@iW򾸓9υ-adF 7CLs;O<&MS0mR䇱]M(e'{[B[nT͓u˕s[t oUhCW(ݓ3Ssͮɮ Cph ,y)/Zn/Iahg?Nӌc4z*O6ah8ҮBК$t۔6r_+? K '2MEM)@1Nɨihm#REͺjy @k1qڌ)ܪyĎskiN}S,+ʑ7hqh7bjB *"D@"4-SSW4Pq%> H۶O]smdvg"Uvv㡌p+31WM=عpmAI&b0qSTWt~R/R~clUjՍ}OC:D˕ހa7Y2?$OJF*W+fd Wniq]La~LGPoG%5o۩E3\,9KNS 39q*-#-x(/|OLLX sO?.ӻ(4X9D!:~H)@%jm \[Ej"`ǵ =/gWBK&!zٔ0̴QKfVvoV"Ra 1P`*flB>uEr.4Y J6R%NIOAx$* K&#{M9 7$A U1qP+(݉1iC>:ZC |1z~}~AN*79$qK{?6*;0"x[$5om0 xs+Eߜ|A#u9DV_&G9\{=Nxswoo8klƯܱb=HV.̼]`ԚDEQRspgtssf(CY36wbJϺ@$|˜@(Ff{!EhTMт[!ޕsޕ$d:^G2Saӆe63WRu__^'|we~xd7 ? 6dc Q-Z54CL P$Ӄ¶wSc|\ "f-;6Fs%'z ¡lEhn])b3IHNg[4iIamZNV% iO7h]ˀIG2i-č",/+I4ygd$]hAYa/naۧVxM  5 ^Kn/%%&ٻXy)."> gƊz11VW—(tn[V, J -Twa'nf:xG J<#twEVX!wAPmmvA'A@BY9YtínD =!_=noy?XV]LH0կXK4~ˤ'R?aEwEnIl/]箜AxZr/kj_l6A7o«:,o=J2$l<^9Mccx^M4O;b5σ}o=7c_/L NՊ)雭m*)Pss,"%b.E^1+4"LyXEs8?QRn,^ UӐ;/->8c"iqyCãǛ)9 e @ ЋMrY.Ypx|{tlX5"ao$[d0ٍ$ y!~߆5D/?l4Ǫ6$;YDuBy9=8yNj!dDUfά| f[LWj㐏C+Y!󯫊,@6 <ѕur/TyǤL\YI60 8\H D=UBehXi_B^Y YW`?rќ,82dyFۓȸp[^Ovo*jTuk>?ۨ69`ֱXT3ѱ15܊ {b4#섑'zF;C;%|.%P9X zޱ*0![5qc\v4m-n 9f6L8;?1LzJ:bǓGu,\u-ׂV=|F_I6ܾyl:?I Cf;k( d%/rOWs55bkㅛwEXFil*b6bÂ/2?(^Zj79ٸKO > *P^Own$IhyC':,\-zs|$-L)7<;Yt8iTօe \]JoBQT#;JT v *;0e  cZy`T9xo~@ p^z._ɧC@=4m*n*AbO*~mo耭J#9[rj V97thmT^;W>"E'\ޯ QL]ʧd/^Q\Zax9([bZ2ER[z 3(;[x'B7׺-r@Cl̠e$Z3O!27ėp$Ӎw+JMd,i(yw)WUma-6lrEspZq>m@h6i T%3" 4BA(7yp >r}P!sqBdGLj&y}h F!EnzRjː Fz]7(_ܜ U'@S4%Gd#+DKWv&b45a@iז+*JH*=Bk+qZWtf`{=*'D6~m EY>}r\%jJNPd_{tje"~?7T`g)[wN))|AOk7*U0(}mЪ8Ӑb 嘆KOty,F oqQ$Pذyn<|Y@"91,HJm:"0 6ChN~cQw]u#[nK8$mdvn %e<ݥG3H@wDHJ`{v"7 qCeND?V8xD:k `t&;=Hc+juEBԆALZheE 9&0")uh@/st)1 f| &L'|g;HQipuFqbnq`sjbĤSne=!puu!C:E^ޡ8ْXȍ ,{Q !:XvOSU@/M*^+x怇k˂$${TO#ʖIL5F coBu3T'vzIg͐)5H ޻NzG$J= Bj`}F"nemDG s\9]|{Y%%mQ.WY S]0S). p0=H97Ym 9da-(TS LO[`[Nb2!+ddb b1/v^0bb_7u2Z3@r5z1m!Y'ENW]J5h^ʏfV]sd[ y\j,G-X_9i:L}tgծrFqsD;'ػ:=^j61'QJ< "y2\5p PC"*F2N~ɷ\PJgx_ W )=R0A3w h89%Av 5NwL I>D{@ _hse\U[Y jIMOOFoǡgp$SKt0y6j^d%2 Ys#bnB 0T%n-O(is"SlUMA% \"(=|`޲E #EXv>|¸ Wn(敨E˃jQip [ĶóhU3P'#)C[@ kuG;d,z/pҰW"07m^u͑&e/qW1 f{^ ui_{ZLG2x^ vPWvVl~?gp p;:#י$qR6gԔr8YP 0PobN-DZyzW+7BW! ɥ3 # 7Ny1GЩӯik|(:+,?#;4Üv7[X ?*,[AJaC d$6Ȥ4\FL>0HgO.{kY7-hu)ΗjMaʢX8pAs9'Lb2kD@g mJr)a ̝M6P:ߟa/HŮ7К_ɨB̙oE;ەw^^s50 ][Tl^a鮬92&ha,VӀjYDqn<!AbCoBgd!ČY#8R!Еs+bA[w&4[ 7A.^]Xd~POTqZd /nŌgCÚ<8R nhw,wbB#ۈB:PY`hv).<(VXH6?J7rQj0%V gb|8 ^whi%(xtKK>θT2whU$Q(%8Cդg0˔v(A/v4;bU"K .qL'4qusG.I~9'`&PRU 2 bRY1T+Bm-1U`IC`9."KF*RSggŰR`˾pL 2; h/lw<K(>nN.E}wqf8cBƹi*;-cHkŬL*0F//CC*{_EБd%JЉOYWNa Np{f=rbF{!~$< 'Mf 7hfYs)7 yH<b8㯬bKRw>Vjȱk28jP fAҏ[7b(P [DΓLaŻ$z2ǔyqh ,Ѝ} #C`p暯w]YT-%ݾǺyFɁoBbL~ή3c3Z|~G잦F( wL׈ȴ٦Fu8r0(BRU>ٸTe<QJ&kW1 L@]tkV5ʛ伀%TR{8SK_z*L$6µe^X9e#Rfm^ Jm>D IҙjOu{ cZ;-{lWOB "D޵$}7@/DHxyTF9C.!8CI>|Jii]ŋ?NI}S7y"#OJ"oAE0#_lynge.m @%꿮4 SKHVUQJE E9ZPSJYDKWQWO,!eP.QMxYwpOL9;VG084y,4kT^n|ƂOΆq !PoBYsu&d1iDͦQJK[ϩC\IR}FF=rn]䔿)~ŐKOħ/Vk%\QUNۿOˡpbTh0t$5K#`c}`+ ΅ ݞ* _-xՇ~~'-C oK(,W6*S;uHp3b[`% bq8vwIBdbO}bK !9z x~R{IW )sHwU=Unv6l5~=ͩխ# ʄ^FXE&t\~O]Oc cjhh* q$N-9(Ē[@~V w0]Q;%jq|ŒUeإ˳O%>yTΧ[g.LaHR[s5b? Ewhu4vÙ5%P/KN 旊.gV>J]q偎P`糛),{@}s3)2Da) 5 sh|[zGp֜sY&!<=n95g&'(7=I߶E5oe|Wl_ӡXbd5ڭa;B(3&̜bѡ*+^5|9ARX`)&n]RǏ3[e6" OEmwf4J1jW aS 7t+_ɗXY}5+*{loX~)8AQ ^9G~ՂRm%wR<2 skrgLovHT&31!^ݝ,HD/MX4k= 򠐿 < 0^`d$wpUcSq ZE G$Ai1iEKN$=6*;Y#O!te>ox>C uOqScmUKJTvB^̞7Ԋm!W7K.FY](|zx$k '^!fl[)oҘ{Ħ|tN'[s4^x G%y a$OO&k+ Mk4:D 1ZK4J6km"ZBL \߹W^i<[e] A M,cGv|=90ފwCپÊ{taža·\}%Jg%} a0e'yP;G6'u#t8$To8pɾ8Z" L.Ag5) FHA;7FxK95@d'(һO哾5'QζZ)¬ט3Ēv)s̸tsayq1q?&T,'5hJIɟC']frn=mXD w,g8%;LGg-2oOX_@Ls=5.kS5d}hOȴ_O)꽽Ydg]ֆ Ls-Zgh])V|;+!E0S\t}U,7'w4/p++gfsG-5`^n!ʊ r/.$zU=j=Y;z5Best^ɛr&)fx :Ok ܼwIZb؀4sh-lbno+r`" 7| 6}Q^F;ȽqG$&}tT5ymx̖]եFpj^ }w8T19EJ1(|)ZP&az_4[qS)=#ˉA2 )653j{3] (gY~]+Gn@ӃEێQP ןGvvp΃7w?[k!) Z9ɍ"n[f ۲ l9pECE혯s.LouU馤uY bێ~cRlx5!('BmU -mWIˊC"MP(|[Fl7bkb:!nvcB1}G%wZXV u &y&Gnaύ1L:ʤT;I(ݙ 3 𹒹.( %~ %q# $@8ġ)M/ڋ(s-"s䀞j»pW"=]LW8n>0)#,y #A7*c%:̻3oYE8%]8< (KQr! lZ{D~ Jx砰k6)bkeÐ=ނ ]hg17ݢ>{] Ha=Γ|) kuӟN*5q,n!W^`:#:~r;L/d1M[킎=w56M/oeCA L_&>/ަ\X!m$)ZFM_<@ ÁB*Tr2|!G.dL⨳ߑY,*v?PpxM 'x $toArX(tm 5 1lDY.[/"ǂ-3+*XPmtpQ 'VNul!2[oN^ǞewN'RBoi ^TI$?x|xLyݧ-l#-m"? n R;+oURFi` U=|[2}Ё^99L%#`t]/YlG~p\T#5v`_-S% YDdlQ@,?:djܞH;j=2*uYLl/ă=n=jd^~9a<0Kt/9נhۑ8هsAQاFp< (̔ҚyQ_lY(s1`0`䎸jGӖrt >=ahg xo*-0J4Gx"|#Vs33{&XH2.'h\M; {M"H>:T߾ve:GloFӹӽl2ifTq"p)lkpuW7rbroNqmB'TyfE1猑oM^5rQ$r3ǽ\OxbwM%@wg6!21k7q-Wzbm^75L7/N_6 E rġq H >rX%B;hS0cb@G{L {lrHrM"ՋR%;qrχ sVb|R?s1*v2xv7S ӆ_,Ҵp6qg(4"6?kczS|Q!W+պ, ؂z~Fi ( (hl`λhZbGE!2-V߉PA4Z$9,UUp.(`RhmEي0{/=_>-"Z6(d4 (/&/t gȆ&mߥ;i4P3V_=yMJ91Ԁ&JU?* 2rFXKگۧ!mҧyx%ߒř?3u8$W`7k e?~.IqBrmU|F3Sg% #]Ubhv uZr(HNs>uK51<G=!V*:}(E `bXj Xm GMrO8z,j\N#-Ew{KIطoRD\=6c![ƥ\bNdFz/QT$Ѝ 9 h 'x{& KZl2p+!=OPt^vL('4[k߾:Lcڶ:2_lrPq.6tBu@ּ5pgeL NLou-ϬP 8a 8L]ͲMZ ͡ S{'m d㷛rcsEtxF:n@yg ~S':R{W+̗cJ_F$;Xʒ/1ɸy҂O y0{m噫6}%kRB^P/j.27GB+h5[{+ځQ]٣ ""sjc~mer+u`_Q+@̍(}/g.wV3GuVഹ*Rq>~iŹyVnfN}Po6"K\ Uj žty_1U>NPk#]k2 _d'O?慔"!d]ML=R<A'J{2s ~GqedV͜q5NDc\jPj yeiC]Ӕ +Ґ},%jQ>Uyk`FaSFO챧N: "ȥK:4 "c Ng ǹ0i@l !&:FwD0hrڔGL@,èlGrOH6,C GWGSN+ `*!r1.»ߦcE+/^}Х%B,\잫Nޜva+UV29mf  ˼l \e(A_R3uz 2XMPYn:KyrWX 8)Of#5֗ıyX,S+JL҅gE`VګsWZIĽTՍOV)?r(VZ(G~z`6!ߌP!5oװ]_qV;$N8')UJQcE?G9ٕoGdcf EޢYl']mOANͩBrG9tď>/jUEhd*1gaa;mFs8:GN_ȸwIŮ$N S h-}!_p+[,xl#|wԥ2Y%/X9[8K3P~&{pH\gvE,7i޺TGq#Zi'EbcPZV򔅗-X7_R%#=ƻ9ι!i0gGdQci<!-}nUy%Uyg]a&6$Tt)w^NNKT_0+Ȳ o#])wITk4Y5{Ov2H1B$b#g>pv%vB4qmx_Q syJDr䬋 4-|(%D)qJM VrS==DxgɕZM;㞇@\ע87/~*̘F]X3,9aMPK5TСR`旳 \r*{o/N=tG*L.g?\8@ҕ,~.wTϠ%% 4c,`CP4E cԵqh)=}1XGaRHi5{TU6j{w(8Dp1Le<-0{^mS޶ [I dnj;Xt9-6ORiiԂ:[y>kCzK|&`IF@wTwA:F+FH$7><%aC\FD7O#XZEdwĄ{=6x+_A{̤L]6'abpPd3B`D;F 6{jH)n.jlCR8ú"J'hZY_F cbh9^~x7qOp85BXj5FϥQ+:jkϟZ3j{ d'D6 YdW)μ^rCla[aِ[q#~>~|~ꎣb x"i .[8f6.KG>[yec`n ܟNy\,*@uUq:-]?^[Qc4[ *ւXU]1H,*~:<{R&}rc']^D dǁSlyc s$ud*/ '2a`&/slN$C~y-j{çLΊΘm8XCgR,6.Iʮl̫˸B1?3\-b@!]i:cMZ3OĖgnuZK~*P^5s_Pv&`9X^K._OLj::\a rçL(O+N_Jؓ2a'4EnRB̋1^?'M^va>G'1n+3Pp`K[T)MC 2=+E"C+DFmN0iܩA[ cw̖y&2pZk lUn`vA%۱ @X2{%q[تYGFIҺJ[edyQy [48mܐjqx#8G$7M~dJA.wڜU&DRZ>5WoD/U꾴0zbIiV%c~}o[Νԙlֵ#/$Ĉ2?\1j8!Ϯ_*Y}FqŽ!FcFz[]h!tR+* Tr:r+Vo{PK n(e[2olB0o&HPWW~e]z7ls_[bTp錖FM|wRxLsq{{n߀Vޖ͟89 *EX;yd ڡFmD zry[)O/tS.oʧÏWKZUi;5Mk^ku&MضpbNfrkfwl({1k +ұSiWU+#ۊ+Z""Dm?!3 ^U?#/F3LX2Fٜ0CQ}m09[iv,7 61mBK]uj=6-U/wnaq%&h!#d>v95*RwB9:tfqf.GX[ B,YǦQƛw~}J6 nສHp'FZ갏sz6WFFȵ4>?1`? H_6^V5=ɲi)C[SM{ "N*ɧHNc7g9@&@zFc@=z{&^v'fI?i~XU$f bxG7o:dJb3/ˎe>"EbI'f:?eL$%}Syr7 z"10UX UVsf"$$O[ޯEjϹqRǟFx GDaIfk ̘?x5 u:9tB/,ӶhK"ʥ`8toNNMU4 k}`Ho ӱ)o"C9~rF]GE88H _VutʖT&lR8"<)e>OܚXKapIJեj/ۡP['h&ܾNozrɚ\bE% yRZqzv1? p*!k9e<ŵ_/0z3aJ7&6',oK("-(#*(]M/ڜ d7I&?1T?yA- )#[,IM!δu_=GHtS,$ oʏ|?[08aC+^#B脗kZ+khZ7 jtH]zrε4OOX2i($h^6Ju*@'| ԠͮVNdk-.S! >Fקl;  xK {0To1 6ݬTȯ"P-eu DJc1;Ֆ{tAX0R5B-l0_vAR0>#ލOpLX%ƔoKFxۺTe9 ')@Y$K%\8( AyUkM$J-X3${_&o9]@n7,E }f"84v9@Tdc4RD~7S<[cr#>7b$ ,CH3ۍl.s^%NB9Y`&psnO#HV{FČ-C`Zޓ ߘz|@H*=/ofpaI_ @1 Ÿ" s*1-H+/ .%ȩL8ŗ_JɷB`s?}~=5UBs\.[#)CEDi`*M&f3m<(%JS'8'k=5Tlѷ"DcJM,VNk\W0*`#6 W.ހYҿbne(}LLx&{.O-wm{hT'%4yrzˬo8u 3JCéOctaoNgW_2l(P!p̎ҏL#{Fgj'An%>QgQ?IϝhTR:x͐XiădV4@k<|,`%%iA:ϥr/&) ʮ,LW όa*Y9lDL0OBs )D)*!۪Ng1P#X?ȗYb"1[YkOƞM>%7(VH?gzӢ\*KQZ9H+oĩȠg*L OYl,g#iw =X3yO11/$%t   BzGDo?^>1ܽ\i&C_*Srpr,At| r\煓^&jW:L{(0N22M_T~W&BƔdM `La)Qsju{q{Lbcܿ b&mw0FTGU*uaυf8w*NH\p&ͩtk+œ c=)+mxI[A\у(ԢC@ga)\ )V(R$[U &,|;oˡuRg۲>Y"[TaP ǁ eDFH5Lf.\ =,&L_t9W375| % X@ 5VߧLsz*ڥ3p{_Q]Ӑ6Ė:w;?b2+ZSPR|04z(6'L6 {@N*#. iAK@fϬС)"R Y!^oBhag'_C{~-s!vFdxjO `ip˞Gr,LKQ0T*GXqBM] 8Q8='qmn5mNbfȻ|WRGRsE ̎+ ¶D*}n4qF,ڄɹt2cv3Py묝})a DEc#6>sm!70&i{Phm8zm6djb}(?CDdN@[Cɒ^;HW 2oqh\ 2TE|V$^MQDZFkPǘQz=3kOC "BKH6JΞ쎽s4If»$55hN)e {3}˕J\?^9 [ :W9 Nl瘑o_:f,Qc3Zb7 4hz╞t`]"!^]*֕Dk+4k#kC.hE+W."_bg*-Ata?ˤV7myohgUX".Y^~oJsVǩ8ځϷ2g\թ)(;mvYI1 9$7Ybx=&d3s2QY`Hٗ{C2l<`$^3 ;4t4NWCk([m1CH+ĥiR6,5V )s(S, 8'u9 YPE[rknUCM9-Q1a^Q)v2ܓEqD0LWLKppX ]9;{7]p5 ̃7qܸ0r}Wr$" 6jcDD9<W_ѱf#'4ѹNhK>I5O|oRЊNo\8ոv->g@h˿>&s=AwZg /6fτs, 2Hr"a&G0Kfm_ʱ^ZU<%vd MZ)SNX@NٶR53ݍ,vC0z%:pҘ:#(à@Wf\`׶z1[y" ooNb%y>NJE:ˬ,*1h@Pcu'&9DOŴ_#)4́Sho"p%yJHF/I9e[RԶ<ԩA;mo&"<z[+!H UQe&v}"m_BvxJǫ5F`P j/LwK, {Eև.͍FjDprS- {Z\R#90C#}=,!g /d1ĪB~Ν VUe ;Vk/^d}q;=>Gl }F:#!W~בRG/÷oȥ`3'MЗyA: I?c+3 dE?2g=Ixlp!^뿹k,E %O S0ezhDEu%?Y%/`1 Ȣdw twԥ"a1DoljM$8fúmo qgbCINa\ jGק{lemoAW[]lõ6?"Pt oDGY񦮴ўFgy~Iz$?WTNO׹I.a7Cg ūBsK9ȐL-aQ4$a5 d;ؖb I `7ӖzI!ArI#j%i "w*>{<3Іf"n#א.Y=Ɲ>_KeofPOʎʘ Rވ77Hs}GYNv2H `!l^e$&WL!#oAZ8' |-_ H|T뙨;T sg~i|!Ş`ܹ\ $2Xjpx%u S< ]E C3ϵn9zx. :ҥ8Q@$$e+!8E!^#,̒d:?7Ci&ZzY RW =kw71?v?kI.N}zZYCOp N{E_jE^ x u#R3 ?bIf%]81cHeMWqPa~b9zk!72.&<_]u@Uz8go6h#71٧st(WV~ ]a5ߊȗE#:N0PЍP+AIJz)1v~-Q(5%#=rDFFz! &Ƙi3^+",+>&!Bڅ'S,z~Bg~>;k@oT<+FfP)XF+یgsv~0Djr33e*%d^Cz /61'uL .}P(@R I`ъ>'TZFCƝ[PuF[3춣&-r忢2C vE3%)~ 2;KmT3-x!,AV uyz. Vn.ś]F9k!*z)[}Pz-Wb ]W}WBk~ =mf Ad5'pfd9>5i'm IWT؈ݰ$lu愗C4T1*V޽ VL Jh2Oi$p{k/_|2;Ex6+:nQs; 3YP_>g JL-pAy?toA U_P Wޟ+9E@l# OM4edٖ<[%F:LS}@բn ݑ; P)G3?#SڭT|1~$o[+嚾7"WgܜS9kQw)5^duLMuIH3+\B_k̹m{uMm7W Z,;?wk &=%Yq驲̷Ҙl2 G0&|^,SX̿Z%Jɔʪ.m2V&[II;a}ik5 d_gŎ_ʿquW"͝~28 ɽ1 pFAB{kISi.@[+S"TbxnM . _?l*ú+>Ȋ|YWXcޣz ӳJ|`V[ǟC7,Xd#OD>D"hҒQGY._Õ*mvzEX#΄;IC7aZ(10Z3uQB4 q(&85Abyi zD-7n|[SKRjy.aOB͛Ng^њq#t`kO N˙Z3w'ۗaĐOs.:+$7XB_@ J kK Wi4ˁ/rM$ _"n(=Y´Lde?my͑6e[8VaV68ಙ w`A@G15H(|P'Uz}_>snw`5S;QY2NR _NU#@s/Qa)ؘ*oZc8B ]u]cQP[>JaVև=O7^=[VF Ӎ߰ b'ĺIsK5SƞnmhWQR [Nł XIv DG$H#haNE4gx9nx8NC/t1#jYWHW^óٌ̑ObGbŐWcS"岫a%YQ.^tH}G: D^U>O0(. ulCS9nt2o>d]2OʯdvjƴDF%X܄oBu:([bH%+3a XnA4ޮ/E 1Dif>Njĝ岻8'ަA/%7-Ԫ9]X :#STt׷rFC{'IA*dvzuJ4=lILV׵ ֮X PZk"K^ }2j:; $)qJN=;ɘZZ`@tKw]i2}rcZ̉UD}T3%7:= 2RONQ^jr;fL -L&jgI$D4򚒌ؕ[JYbH^gV!e'%Ger ЏW LQ?JVR)уqp UQc%_s{\1f6^F(.>D c'Ti/oMӴ]~$*+!nQ9 QoܑNB 6hY-~L4CF !5y %rj|=fp%#;*<'+]J/GR.œmdmq. -?9_Őt{/:,9RlEU^m;1~eR tU cLDoPi] xx(R'0ˤ+̙2 G.ЉkQ=\Ku0LPB$VƋ^a9YP},,P|l_ONM!+;#7ZSVn8<##ůtusc2cN?!R;7BCƐxGo{[loBdfbۙT30wވ]W6wQHc DGOud/6_VLJMMDkb'K9͓aNjOW_T!aC$|g^F\)PV߻,Z*W|jRT{iݱ_-S2'O #Ev쇰nX@b?N6cZ?vD΁'L+#s2uY"E`l-[N?g4ۙ}xT{s6c$VLQ`Ebwk ׆9OHt6+_PEgHoLU %%e_2J >_0|+6]+XNEUdHo*[gj땜xwSFi(4ȧȎBzfAM\s.V[$"bP4,e2.B٪-GM^K\DZHpݮq,BIY;B.F6wo [YqĉwhpLs..fzX6Z{yUWs{,)][gO*3W]M#5;c0ҿֱ߫1[ SݴCz;4X!v(/$ pD/Wd"Cp1#P ҘI]#?[U̒Rg !xw ^߈萮A93v br :[Y!Ynmfa<\mæ*x4oh 邤fMhlc}Cש%Ǫ5:`Hݣr T 84x+RcwV}kpX@as]S NpbۯÌ 7޴Aphܖ$7YVzW(Dn#wx|͏9z>(G CU_^9.$9}` ,M6 d@-ah7sBBEmH/ $D$[=DŽ|Շzwb Z*ν%I̥huS~沛qA{bl.aG6=Q@+Q:5R]+r7w5)鰤Cxr<'ו)o8! rJvC+r"'s^12j<gY,kf&OIg>X ۥ"hOL0K>X-r4Vss8Yӂ%?{ LJDkؐwtnO'nlH [6%Èekqf&cK;Z!üLEi%r>Q}%,|a@1[ـq[OFĵϛdJ|'Z.^Ն^ކ IGНGoada++H<4c5aHB\aa픬"W| +Jic'ϢJ|~䔞/%Cdw5U93otji!mQEgYZe89eaee6683c63d448428e26f63afa42c6869be25f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 01ad035532cbe486194b1bf219cd96ecfa7467a0 d4b5152c2b532d1ed0f041f196ccf04957e198be