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 R5T$d ]S HOL-Nominal-Examples:threads=2elapsed=650.296cpu=1198.120gc=129.896factor=1.847zXZִF! (!]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,CCgu'/+R+L_@V1ՙfz[cۗJnܐ2`].BFZA9諾a;xh&E7dAFV!l"PN bHB`& I0+(ΩHG&po{C' ^ aYt%ש{~WK NwDEG~R?NHJlc&`ne;I}>r[t&29N 'u=e˜bX]Ҟ̬L.J : vU @wP?5}Cww HC=cp*E0IDy9֨܋NPCs6ԢՃh@\|}_}lRpK`[:beFumkbH /3].8G~= uܔerʖ7#b)_Pـ#ANpbyj0ćs@KFVcc<ӅtV;$R?&e[3`[ QTNQ{#BoB `.nsd$hXd5  x֝)Q_}rP8$18ai؛ Z|U[@)2v#Fd㓢δx3Mt$'$(XzЀDSݲ_(yG+}{7م - _ڼƼ{.[AvE@﬊D G XMrh!\c1UBGq~\Ɵ%',U{'Sb=Be%֗y_ٲe%໇k3"$aݣ0)'q%6j^d[K6gm6k@?nd@.Yb󢑉=q#a)ԺzҙzSJG^2X?LI W7c7nl nc ȼ%xߎ3ח0Q&oJpPzQ Fhۜ+'sG4!{O|LS}XuwrWfjzd}`|(D8vCq }-7eͲ V|şq/oc_N ?Ih5ըy}J 1R9TMvpqF[d."n0ťkQ~Rhxvf;T:|*z?i 8m6~)(ȝJxu~҈ 4!fWo1LJ{ON>$ 9ح]2[9ʋnu9ԩNϓ-G<{N&^vkxt4KEN"^}e+Ӎ!lL{fJH떞ղDCveYf[+%:w8l1G$R ;J?|gFʪFoUR#\w$Ј4H('*5ϧ0iiN#N;fiT$Vh@O0{ftu8όx ДӒ$ڸ~5U &Z.,״cFM(bz$fwq)ؚEOM+%BM/5Ɉ^ g8 )Ss&`>M~{s׍%0N73w oGȸR4Ouܞ'&Ysf(;>7]w9Kg@ 2|pvY8/H 7}Lq{c $ .I-m 5 HOL-Nominal-ExamplesMc-{hFUCk`X ?qaǫ MZ;N>R%h>kҽ_-p,w0Z>z|BHqTPibo@d,j7抈G-zk!Jxbj ~Ԟ8 jn1N9fyN|BÐECD ՘$2L[ ֊ ֌@BeVa7vTz@aS719c}^ƠY<$GT kkj{kbMXGڅEh]mWWG{'mx5Rk!"§HpyRT"-joC3}gh:X86:],CohsQ󲙉đ|s>.(5BʅbI"N(T} -̕0ݩX| |yԬB|@if_\PB*N) n+b̷;R&|gM,u0l4o|fţ+.fjw 񡜦2z"&QSqTc%t]w5X4$/"wIu' cUuB5?VP6H~,ǪZ"T>ٞl<&rʀ"xv- Poħ mPdĝ:gm`秫ƅP~,. YEnnxkoՌeD/nZg:i|(o">izAoPKC h:ӓet":ȿ*+2`v@;{Ss2 yf&Z/Cfwe%q`@sxVED:F Ъvˍq!֙'W៼wFS=O{kt-V|bGt+UqG"KWye, 1Lndd q/R>?s Ǹ09=\%Kee !e}>|đ.3|8z.fp.]3bf~1씘o}d+lUEiJά0CM8>G&asS^zWGC$vySTD+P-clm8 EŖ@bW7FA*>]@Q5lӞ^J?D|gf `Q _"`*HrZw%`t4N f%M>4/.h&0ΤvӅ#U 7к*ֲwR'97Խ":'C3)1/F1>?OhawAR6oRW_K֥>8֍@4(uafћei -ɋM[zFӹ,8ҝfS>q2f!Gr:,J{"~IׄI'4[(x:ܫaɜ[}HTAƋm‷^mS=6b uT"& 嘲J ;zGµ.hH\>HFn RW~$h1?Q,k. /0/Żt?u!C-fQsyeU(^g+tP0g8\@/RRY5h1=*nÇ}"lbCiT)/ӂ=uSђƯXϏ V燵#*Kk9dxƊV[j8戥0Oei8{7F*|Ft!y_ {Ɩu:(Cf C /-Ṳ-`X o@DȄ]p*\L,A= {P/u[(Ҍ4 1g暐 2J$gu+-'xv{g*&|X[)Nyع߱U?KК'+j%Nh[/tQbk FdPBpF il5jTf=hi0Ӥ/~`SN݌b_MCេ?`;OVuqY:<p#q@05:&\Ǯ{YI_:A6vrC<CSxቚ&m0F|;3i볅%dHU[f/C4IjaS"LJխ,"묏ɧ< ]PwD7>bz*C|t.qj5QDgp+{V r!jx7dZP5CgBԔ"?IPP"opnipˌ%W)4=nBGnW凒B"tcsRکYXAϫ0x!y\ #JB`8 ' 4[9]_nu@lWW3A!&ǃVDK*27(3l2.!4!O1e{Pԩ+be`k L2&8N&E~P˧psnCک:9wKTzdÞ-`YY;PEn8@]MMh*f9]Fg-`VgW1Q=~u8)>1}xa _P֩l)n-Y zkOJ/4&/Ls/5zCjPP,vXio|03BH8١1Ֆ'] `|XTQDv2nb7Ns`as`S&F~{J/2+|VPwɳ>=_1d]eؾ<2H'ˆŦ-ʲA;bڔ 6~%pou"&=}!q#M)iqu#`#n7'0Ts,a,Wpϒf{>W҆)M r*X{)C4mC%v(˹G`53>+j$ ͜&O!:,u}Mrn&nc% $p6u鱅sL`ߦcem;Rz< e X[lwcBJoic>rQ _ MA]4Vp\3p1C̻39C(PyQ:НXRg*YOɘ| 㫩/p&ce&}@ne>zPuUєf+f BLk >+7;vniUKhoD=Pמ!އ9=G:&rÌkMd/9KVPa,=Sgᚾ99.XJp}ߋyLi pHdy{<'{0*+1XJ4ifH_fs\G iz^y̐+⥢VO`HtJ4VW ch9f 7)G L(;``sxIceQ]XM괇SWsv/K%Ý"u-{ØbR - "%PʹH*wOHx%m_+A%]K(7^"i\IJ,Ϧv&18K󊗷mTJMecblS^ۯd5;`Ѥݓ3~DCkf;:K"4Rm/cY@g)29>zCS^:.'$c)6S/$sgd;_>{àVh0Iu;"[h$/u-S+8f~i` Yf%wkJWҡAޤu9pOqQR2Iw#})lrFszټX+Ç,s1,BUy>/D"C{ J5PwLsɀ#3'\jUP|K'v#1_A@Ċ /4([5w*:' N3b2J]cۣTU83<@2'kp2Ҩ!¦0}[rv]=LKM6F y2/à)-9-W,2XHmPsf!w3d{"n՟FnJ ?n(+I[Nz*iPkU@7 C+ ñcڈVOLE{,'m{%mv$fB$S-D+:DpIC`B+ |??XٱX IgE Ͼc ۶ƆDVG) xyjbD96zgN/(h"y2=myAl)`l^,$:UB,y`{y-܎,s,k,Cov2clzUc;^6Д/NMQ{52T;$1Q.as E,4A8KXh.(>9 "ixC.ܣdÿ&!"Gi f/:TTkPR}72JLWmd_$/ӠY8џJ~#Em=K'IU"È~OgoZCr~׫.)+B-ʵ[5(I5NhWݜ&J qk<+e< a%"\R?[q'-&ţ'8;U%n(yU~6p|@0k-m}gHO8xp שڰ6[ٽ.}(L6cX 5{~(''RFΌ C^y!^@Icֆm[>9wpAz([*ApE;;ӑZ8&-V= P4JK7eL' ºI$gv@k6]a8* L6|_}A17Oe?K~E*g\T wP I艧岷=J`\誑KYJIH=s21zE&~ˍzgYZ7zXZִF! c ]ŗXiɟ1ʹ l93攀Lx3 aSڠdS5~ 9`"@$ [Nh gKVQh,S0"9tOޚ9jX WxtY aP|A*xc]LlK\9$RTI=6Uq 9?C>Ÿ 6mk޻ה"G Dq]?VN.sӱJ+bk(_qڣZ$[|WH3%)oG.0Ջj k[z֎M&="L6(j$onS#cص[#]iŷQMLiʾR~-Rq ۋv, Ĉܔ@ +fO VI7PMXDҏ:)^}cUc`D DQ ȳ-F8^lkd>(%DsT=CgX}lZ_LVU BC8px8Kh-X[wc3G .phw: Xa W#bcb%_o=>5j*o 4*H}%R6k b$ yCPLwL mYD=?T薿G4GKX˜75n [&ݖ%rn(o}k7U'A8B[藛nQA7&M9@o\nC R_#"߄.)J (s  p#&jp^4Q%ոZYgApiwtr-AK;t1tE PĽoTUd^׈Pjw=>.oI/ƚ YՌaaoЀh2$wuG7=}-q@l ZoM7վ-wj ^)U! \k[=j;*㸾)CK,8c1'Q_ا4g^5ϐ7J#e 6Q-$'F| 0\zZ #]UQ0r <7J~W w ?tLQ=EgW!n}p+P[Rx\= ]d"Z"50.+ՠbCa&v9Sn?%\C>bN'**%дЬ\`I QMV`@<6l%9A~X~<gT'4MG}Z;0ns!sTR&A?CLⳟ*TaZyCGDU9f oHSZL-XlVE \eI$iQ7sOV=C T' ٴ w4| 0 yw;c/:.x{Zȳ%D 0,9gQPvicS[ 6$+"_ <ޖPZ-#G3y̖8,vGX3`=pdy56SjА| Rڔ~jP0tsog`O :t/U-"+drwn3O TO S76gMG@~/ #r."b=h~y>8͕%V? Wza]!дcRNm%,C= *NV-#g A|Sc׊LysHw {fօ)Jbu>H7=?dr s [>Β=@WN82rE0KÂX+RtG̀ci6<6ʅ(ZN),ioR%߄cWw8 fEz^D)8{ 4c[U?gL!Nv=nŠxYdwMX]2TlvGL?/,Qj$iq'^dPw<(:r뽤RFs#iow5=`8]>$- Hl8ye sh 7O[Vi͖]if[D'B0g:9 짯F*8Vזxy27OP{W U]GsiCOSDƗ}y>ΞP;44g&;5`*fRc&Ŵ@X,D^m-긣Isn|ZI8;aB~bRN= )Ph0Aݵk!pjMSI;Dԋfx^6w! A9Qu$ i8+ lЉ\pfjS#jސ%G;'K[)eə&S\uȡ܏GeawHCa\9:#~* mVRFgO$ճ' \UIƿbe&R g?jpE tǃ'bxzAyIH3 -J5HbNRU4yR4sOtZWebvk_ k]r `$vg$ϊ:]4 *p`2L.HA|lM֑%`d4q\޼-7ƷQ#Z ִ蘫$D#HpQ s˂&I9 c1ֹ6* /ץ ˈ `l{]w I"C3~Z%غMVQ*Wi>\ڞ-%BUb05^PyW,q4Tf>]t@%PN/n5|!! iKke f4˿0Hɑ@\-t| kkUyy:|0=,G?v78\۫M ?-. I!3; yM̧n20Єkօ~ )pjd6HM=Ih 1 ɴwh:t1UfΨ삇iO4:$-b"c/.bPZIOFm:l$C[ǽ2=蓢ٵ.Mq!LhlqdZyW oauɥ  k)V7 Gj@h悮ZM<|+L=s쪛!#lgљaq\#?eUd? H &MЄe[Mp"ϣ,*J?èۉ~ He! ۭL^(D:A & >>={^7[HUXLМJvSy1Y+|Km @ABPWyg]Ms0F5&oY[=_~>īOh m=k]# _18m̊ofILM3"Zӳ'e:%1Zxx-fnG2eN+W|'?k(Yϕ-&7d/F rXm9^2Γ>1(,UdMTuHIǨmD`p69|t),V `?*⒮7&"q4Mkꤜ$fN"ՄW̟u '?'MCi 6CzHM1峆CBh `v8^&14%;k:Avǐ}n$90#ϸXKzZψu!ytZCZ s h-&{]f^G\ }0t# E =eZC:OWcKyD_k^p?{ϯ>o6g&c%hauVj9nh7zgSeS9$CKJ)pH=8H0p%bۿqE{6v]gԘ.RE!˧,ǞsHc*y6fČI"EHd XoRڱLJ0_ˢY3Gڑa*FMXr75eh%[CPmJIU~+I>niw"`6֫3$}^nIm#i\DlvS%3AYvKYh;\Bi&?Ҁ!p3r'*8d;^GN>vڮa'\XaWdOR*9YjWhPIJƀi%wМ%jv~X ]5^V1oG+Ґ] ׽^n7Q#W]i$ivwb3U+RlW腐l!w|ȕ=w6Zc\\ddlo~TOݒ1'5u4z-$&tL,F$;t}ʓbn~zˉ+)˅^&"X!] {L NB)/=2(i}OcW^'P4+.:stN$|lCw6j:(hJ+s`Ev[r!v *Eb 8"acjUl2 A 49{9&'WYݏӛoXG?bJѶ_A/c.t+.ƫ+ !κrS+G2;Souǘϯ= [iBLOAA~AGerv_L`Qϙ~yh &Ƕ Y@I!osq-|}+8/3 FK~cK3j-ډg%v嵝 {`H'Rb( G 2[Oԅ:w9XW#˹T;u=7t#]n z*u`>QX 6]@&&8Ȭ,x +\asBb˨ԋܪCs:^3co__GdkU&$.ЖִP3͛1[ ,=rtdmqU4bhtxdFb) 6F H0kLh<B=?+R\F˳#JUz*7yBxo:V3yB%v,iƟXj;\)8VRC5 ^Yq=ڧ^I}?ڞkÉF[h Oxmӳ"FhJc{4x'ȗ& strObB[-Ƹ2{չ(y6y;>])s_ ̃]mɃ'y;R:JH&O,X`TxDj}OBk=i߾<ېXcbSED LZ ڶ#0Y j.׽ DȊ*\q%$%;O7UxAw vhl&g'6m=*Z ?طW&ޒ xӌLK$z.uWYN:]S賂NJ blvȂ 4^z. \? A A"غc +&]r[m:3=pL$O5ǣR7mTBFXv\ :iX +u#5 h&9i#fCFp3\<{_;j=\NLo A,T[J7&_ӱZQ®WKΫxz7JiU!BJDЭDP([I g̠ CzbAԜ%h6$EZ_Ud xBw|=rml[ = yQEbOd F*}DXa L2B}(hGd'HXcq/%r覙M u J'vmyݽۅ'`8B sZ- V/s#&<,m >q'`Q㕆J%dMڶ9iq&"X]{Y;|#QFܓ c' F )+Eoj .jF{&hm>(eXGH®]VwdZu>:# pM_ (Q&Hަn:2' |LnkvuZNuJD$nXC*99b]0TC[$&k1ɊN^`:T?T@e4YWJ} 8Yji]#merVIIHZDuCη} CtQzXk[(' 6֛E2к^:aR-wDKE'=-1^t Gs(^v542Fi,xv,@=.̮ohKXݒ BWcy5DM\ldjMZ4*fSͩ8X D9*;zd+`^ ^5~=)U-"q_0)R5TXVf&#y)n9DMgڇE)RB\! a=֔lq@[8ڏ,`e*Щ r%8w]ʑYAۂ+[g^Q7/XM ۤښ(/c· S ?C#+у<h3U[PT ֕e9"Pr/jO"Gn6ti>kZvɗ2eH{ϷX6]]";,,s#c<މRS u'ֹP'5/A"dٝ:HU23L5WAoJse`CJfJG 0̹#f>u=` /M?pRZ_[ӁYQ"ĘnK&0S>VaBR~\*&^ڭZM':5w% 4G.uI|Vˁ?ŧ&AP>wXo4A&n ^ʉ $P"5 #ᮘx #cvlT̍U[[ޘ<]@<&I ]nTD)Kg4AX@#/ZCG B6pړD}ܑ yfӗ"W_$~ R۞չjOtQ\WGDWw}.q̙,qm_@oESIsߤţKBT9 LcFB77S!a00٣t$渮-dH"S yʭ.6u] yYEPbw5dBz[#?36qTj_kJR_Q$Rѷ)yi\i/Bj0* oJEJSH6p}ft@*"/_-eJ?ER!ps_aUf Jrۡ&zTj_=avXlhƾ1wse> }rgs~3K[xX y˱Wl'r!r %Qau5]t/1ݦA5÷BKӚĘk>? /aEE7Rtˏ<'Jk'9K/#*@Lu;5I/Ɇ Nv{^f}? SI3xp߮WXL۠IHh aD ,j Gi4 ԅA:HaJmgr ҷvb̮Y+QҪ *XC$su]CEzSlq46M%Rz^wJԎ9'  0v_ogÅ{Ym%XΆeTlcej]ٝ#P}y,ڳD1Mh)ŧpqC3#,x"4؟F9&&utDP4Qg LGC]gE0Ps+ҧ4BҒHj?y7%1fQWi46 ~goRSj0, 8h ́@6"a`Yw=#5J5Swo ahILa`4t>ޣ4\LSwټE4ykX#X:aCGwEaMD]RŐ|鳬]fzgn kI X&P0RtFMj,ZƣS8H{?`}%Є:Ӄ5]*>eQIxvh >+mHOS1&oʩթa&*K6Mށ r&y[wi V< k &{RIt DA&0NRTJrFa;r}<0Q{?<΁E\zJE:UX4z O)}\/ų4%=>O]e1TM #r'wn:/Ӆm8;H4dӢ{N>uU{(vQ5c kAh v?kȚ_4`q߃6RJ1bq,+δ W&}DbqaHGn)\8K"\ll$jOdS90ƹDVqoM,Fɒ$fn]4/`Sξ,Cjj "c[y^AA]U& *9<%>񮤟P 1XWTo ם:,?k}O{p[c TޭCWMoi<+NLy΅v7'[꥾ADqKX'[n#>xhmN~LUң(Mhgx)c0zo-B,r*k0;֬ޜ 3Vî 7cXl6;|I^{<2Ff5\jIIFFϵssC{T*M_t7Kg/aW+ פ纄A0F)Im-mYl/f2Q}*T57ճej`F>d!x<#o 2QdIөG@A^% nM z:/o^|Z&[l7kՊ | /?WUQrDv fdIXܞ K"ymKqMZifs/ bq2V b,˾SCn_lQPgDsX ÙPOb1 t"|ң̠{*>P>("`ǔ"X qr`Bo֣E#r+"'mlvb,_L)0ig[S9=PN_Kϣ@{/C)Bd)i:BɘE!81ux|OĢr&o.k*<-}߆/Օ…ʩp2 xt/ I|HU~]MGv_8|ps șAhVdʪ2Qa*2$MM򌻐njZr\a"SXgx${,Y}MOҤ}@evf!*n !I"tU-[::Dp%3wW;)}pq*> /JEa[^4|L 軯(B4ޒt/nj z[f&dr?5fjDvĚ9ޙ:J*`/-u ~5 q'u f+'s͑d@7Ofgg4cOŜ,l4@51KJ20K- d1+\4LrjY/9e͢}`C_C'fnNn8%<6y KQşu Ќ}K=abT䜠{DOvROؙL!3ӏ?:] XhjTُSBar_K&r;b;XrqSeW[`C\Fu;+#}1H~JPä ܟ>+X(ݵ5e;84mh*Lfq_ͦ|U+꟢$@[(#CP; *@n7N6֟BLVa2H ~X R[o*WsRz^im>ɱeSA3q Y2JnG3QeN-XtRF z2ާ&0S,v%ٝ+v\:%*ː8BEԹ[@B9t!zЮ:0]W. 1_pH:^&F8sT ?d#ɹRk0k-w^b3iXbfs/g_%hcBPwX\|Š^<+*8?ktǪ-.;g ",鵽G%]Ìkn/>񭴿x6Olu"*)_xzƦYWնsyd^R'^Vl9X*f*)wð;b.< =|ʙ㣻CwtD޸?E7I%n[{X_UVE`2ҮvX;F?t 7*o5+\3}) F^ΊpTƽJ)nڬߵ$E] I\Y:0w~V`zm"B#t='%Җ$C-95:cDkGA5kgRM%H)ĎN3=S3( 2jnX1c~/nG(쫱~ Ӥq& ?x@Ķ*͞nRkRY.7z4*jΆ=#o=4T` 'tiZ~QTxN8K}Z_E9(F#I184"E :"p$𬴟MC83[y|mZKگy sam_؄K=f.͢8\KB7D#cK~|5Ŝ[w 9UP#׬ǒ^hagUlÈ̗}]V.y%ѩ4oBhnZ[Qo'tN=#SŀS~Ŀ,-lqTμ;*os|  Ѝ81Wu4$Աbw$>L)λb"okl749HW RrIԲDgMwش i޴׫ J@?A.vUWw\I'u58ꆂGQԿUQ:a{5Rȃ`\TTsut`yue޲NƇUElDFa:81}_{Y6) G2)?}WkuOX^ TOM S.vCSp5lXv;x^;o"vmb ЬP52+ψ DaBrK[joV= 2P*UeBx$gF~`dV"B255s3nG8]n"U6hWTz5k둱Ä,djcz e2 ZFskvi͖xtZ{@[pN5z2ջiVV,4˒ָK'/h 4dXU6l,%Ytu)V~-.<RD{/p&"» DjB@S?!_#%ڡs؋wrCQYUB6CREW-IHSe~D=_^9y>y#(?˧++0vz7ePB=y/.Q+>MhB:bi_ZL6XLzq.Gto& ZK~ƺɸ /_jߴ!TF,cdΩFGCv3Ka +aZ]r2Cd>7zY;C0#3|ѧN耣1C&zntfjW}9L:oD1 ~ݞbhzЦӰFCqƑjAX;WŇ8V ;7Gfaf1 ҹ܄f;;:{GSzy^i2j 5g1UWpf&NʷvMF79Ju8-DŽ4܏'AƌfL 37^qS宠Csz$29 G9[7(=in,)@N1}sœM%'e˔Di\ ʄYR=~sji(J@ܣ,E#2T@)Dr\lNQ돽`hƥ"*cC ^xt8,bnKHI?P׼_;Q{?P#^I Y6;<{D-7S3{ܩȈY &9n<3'FƝETB@doݿ,.}5&LuATq5Ȉ=dy=$$<]>R_jG".6@ `b`QL((0761CT5<*; G]i+5yk1P/&tQ~ȱX s ,;0"vQb.r y&v+mvm.Almd>傫xjBJ[Pڅ`"$إRm /Ɩ!sԇ Rgv#( .rh7 5P5[,1GU6,]YƔ,]np4\աc!9I"G E],ڒwI T[mIڠ-+^6Mwa ȫ 1va'QYUEdWF'G /<^^rZTӛzQm8S\14mhv_ [_ +䰔ul$;ʘofWĎa8},/mu@5BGO7NÊU lJMDQLSYT'(vL{mJS?*6<‚rdֱnC mm WXDNtqx$@Ch0 = ib] >W~zw)13$WїD;-9;h]p} 5T'UMM,E5\r v߯ ]*wpSťT}]׃!wl7EgUj'Wڢ02yuhQ'3oWq˳tY^ƸbzܐwY)M )}zYDC$(h-䧷pn>33`O 8|<fa2>iXgO~G P1!6.}K0*p"˗@$oc"t?^l߰uXEɟ٢"W7X2/v|ANQsi-51~Gw!% &)aFՌѱ,G29E!ЮT>Ap:[Gʧsnԍd-VPD#)7 kh;FY9P *<QʇO/of{l) üM$u25C0ƝB,_M cxk)Y }ߠljs4t[;^%pc<}VVBX -ݦ3HdD1cB'Ti7qr=&XF OW閄ٓ:&$d(ĸ$Ny׏h4M<&Mh_b-?+^/%^Fhf~TKyvZ&9N@:qnC G)r.{bEĻw 'h棝Jm4&fDG<؉O`q!?x ꮄo#(Vʗ_33aNM< vlzO7П@Zvt$}Gc& [? .Q݂$ozְ ϋm\߁LK"26[j+~:q"D oc=<5ė.gZ`Ǧ:bCNjFاy)4~]OxyF} V\c2_|9 uUk/kCmgH`LJ򙪻=Eq5|©}W:VV"Kfa l"`A|>VaV.U*8'8LDlw; 't v;4n]$)dGl̝Op YZm R*hBoi𥜣̲[.o͗.r%3 eK5 sq֙^UkdH)'uG5aE}v#Pw*~ 0(K-f"6=hЕh*JqM QZT,H8":Xwr:LIYx1Oǡm8\fYW!CB[oGKt6蠺sпQ?B# V{ŕ~L_SGVSqZW]uDV-m zu'0Cڼ4M\XHTKMC3xIDPX,+"Vl%-\|?pL`mNΒRl"wKN=f.3`%\ZC=b0JF!XOpRÙZ5 ^o ao v $)Xa}1R]B/[z5'; np!3:9U̜݂|?ْ;9 c|Dךwtŏ:UW6SAPNRxc zXMNްeRmprŴ@a᱅6_udjhdcFrhO,m*3W3|1x'~Z Ѯ[RTw}C[ PWtf*GÈɏmSO> cigŕ%w,ma* ^{Uc k˯ʉK\*CAL[0eLaN)~ îDRTGN { 94yO[6KLbRf\S [9IDx \U@j_>bN4V*%g*A13Ǡ6}+ ^i!)E-+> >yj`gHeA MmrOpZW/~'L6g(J?m,SS͕AԔcMtec&#K ~E }p>|P~ pf^hWL~ 'a]ZOrJS5ʀ;w|s;"=c?os[[4APNא|tAs3l[=p'4<)iȈ>Dwj OPKM>JI_%Бuo QL9 "}cqR:e<3og'jcjdQarMÆR`_%(YW0O ~NBZ~oƞ[?sip(2PP:O7ȆZD|d;d^O!G1~ku,ƓaBKeM:NlǒGiDjjFp׃3oQKRG}_͓yFl=`=z 9ӑF+g1o,9⭍eo*u'F۱^w-5"$'%N#[sFj)PCb8KsLvvذsbJK~60L>&D"#+KW_}%Lrw_i}3c̻Q'F7!Ug~af4!~E1^7A͔IɅf rAY(J%Ʃ$ 1 ٯҐϢg˶H75K?U_%Izvn{yA)zVC!P91,uvSW19(u7FxU gN'drS*e)9bqgL (NA>M& yڬ"m=[$\(-s` V͐ =m{N Vwk6zjo]֖D1YRI[JŽ&Sh5%ֹk)@E>UXB#&>1.C7AT3k*0/{s[+֛se M Kg] w~i.\v2o4z7w?IxAWnk _{3E!`K$.º.90"CZ/>/mՓpFmcrj57J9mjh*;J!{+q^J+D8qx?*( u5e<3Q[l'n()l(SZN-E^[r]qFZ9Í`3E88dzCTsy](j"Awض*>:ZyR4hTgH>ڧ$e_%c].%Gb\SqApaY(DNlA^c %=z5 A,1twv.!6"|dP$ˠ .rت5>0 e&ؼ%L@_I;Ul3ՙ%dڔT}7D8蒮!H"­BzwrjPy_sB7qEu͟1=j9a;VWʕq9ͧ^'s! s\2it.T.:#T_5;ͼ~Ț Ag~e B'TEAmsaYVZ?\TKߏQBbs:=u\4(]$K_J7LUoSC]uSKnyמNy]쬑>rǁSI-W"t'.md@ z5-[)@.Pj*L\gL>4+ FЬZ03?\/?B'vJ3W^eXry`|oq<;eݞL*1/n[Û~騄ߑ 5RL g״#Rk,~8gv$;wV= I0*dja 4ĩ5XOՇbC .;&,0 C TV~!襯s {ؾq/\m Y'X`UF5[=āK([FΡwoJX+e  .Ưʶn~BD\OCa0T5Bj Y+NeMHK0jIW|UKާ${$/KSzoΗ !G 5CN`<')GMM:}Rȩ:o1+z-{=59"&\SYu4j'UBd__zSk!򷊞%5¥ 0Y` mqga%47:0KKŀ jdh` +2~$5zeFXs&trF>oGs(3yC"v^r[_)6Qv}2t%#6^F:1m53iֆrفJ^{?j/es&B\u9rf;Њt@+F?5 c8>{Zy9[^6 X<~oרŠcTi5R\"# ?|x5űwq0ZUf]"#kQƘ#~{|pJ}g2 <(E5ؔ1. ]˸2*\;?|q>ͩG7k[ ls( #e!L7 *rDNlk [oA&̥7ˠe&7ϻ\cmɤU$AՇa^?JD @wtP-Vym^K$̘k{;SŽHkN<"V,gYb8L+ޭVpGc=;0*Br$o`sr"+#@1n5KRa_/ou;yi/ZCK3Hyxe=e:|^33ӷSR C 4[O}kUԉtϻ4| pK w${d%@6s`[놖+:W;Tb|s;׸FǖC-9"̤u>%(Gz+CH7%]% sPBq?G$rN=J*ab{yImbpal|tn ?]"j_j8IL,X9׵H4 ;A=Y00,pCc {ΑĹYNgrI!C"tLk]ye+"^ThK4˼\j FL-g-W41Dkʧem$?hYdzfv'Rn"7}n0% @xPп5}5 l#*%E>0C&]K 1+b32mc!y x&+<Tdg\9ǐę#r$~'&3biի~9j{R$T bX%}' P%<n\0/Nf+eAL ytedXtn|4FX( /*4 ;^UɫwN穷țBҀM}6~ S"O2@2@/Br.Fz8{6U4MD0 :jc\`u@MD:JpܙY"CD5x9YLb>_^R3H 2W侶@s@܅4xR?:9mW 8DCLQO٩.f~ A|3l1XDPd *@/kA0>ёm_ݣ&ŻcN%|Ay ./R{9j]Fd7kq|nVSei^_sβ][Jb A r aFn QLz{9Olk ~(GKمY< =dd^ݷe450gq@vL變 M lP]sf(ԮC| haՋqT?1_ d4_r̲O8N_ \͘!<(530!:evDCj8c3W)(cT}ӥqWgTW1YV\ t`P/vhS~gvi3u+B}/ہI\%Vf1v-,č:lڈq괹h6ϔ3RciXCbŀel.}pwﵶeTN<˪Xa6ZRA QovdlUQ3rè* /~` rh1{iڴ>VG}Z;2uz-v?|ǑdC.܈f zf 9rdg4T*!O" Lru@uի#Zz4瑆(PH/,EVn$'B$ޠŵО%eą(0\9^67KwYƓLfF{jK*vE784qZ) 39YMƴ!@y 2( . oOa\18SEH_g$y˗%~blbG:o ̨W(D\${` mY2ޓej})W*Lo/@{x zt#]9ba\BOmHuMBI]-M)÷@opZ'Ƥ>W,.Z?'=NhtFS`J|e i>~xzt*)#)X{? aE!h\ A3IgwEwvj{Ŀ}K,i"VTFtȝB&%;M|5XR8"p#x˘^_}%\V1?>++J \X3&G+=nPH4*ýZikKu5er` d2af%Y6_Qh sNG9%Z`C2Ch15ɶSx]>+ '֞"cHLO!֭ VWD<Mu̡}h}OnpE~(C3T0+nCy,A-UrҠ *d'+a52@mGm9@??N=6)pP'6P+{އS{ODPKgxx/-R9_ m%B ? P [:muj|4Ϛ(P"ưj bM-O3'/CE>Ѐutp7E%u:yˊzW Or,c.P,.h& ӡ,5+FE s$ kzbYFTs"K^K. zY2uO\?ר! owR:oJ%0Hmȳ2fn_-7Sخ!V /\30dJ̸;c)jw rħj?±s2GT.EFK\O|U5;ItTE!O¦2]`i0LH+ Y q"i`i~.IS\A?N%q#{c/E5Y9*? (or1o*iMM<_q%B4pʳ]X"0BnQ3^rF+x]Ӄ.M'zx~Fm]tm{ܸ\PXQ/,;d>^<~HS# io1Ҭ}-M $J F$0j_9SGTqtk('t:8Xn]OXfq\yؤWmʍp*h#G.]z|1E<-3s5N/uC$!y 9e8,|J~VػF32| P!bRxKn-@YOZ~oA |dME&^5ٟ@>$O@]8rvgTE[ol*.vШnh@SS4Lrij B7fun8柸Wym.1`Q ",͛,*rf}|imp >17Ai+/ -)m FEemcӘ.DfV K1V4v:[jtxg"@@(-eAW284' gw%u6lL@|XTz\Vb8[WD7M]D*=ؗw{|ќe;zC7 zT-51 _3(>? !&ֈQ #cKm`L/?z@1-Em]:'k [] h!r?hY,etLCU4wd-hxR E\ bAlz 2h))EӜ0EﱍFx5S߻sû\ibch:\]ޝ5Tg|Ks^ֿ-+ljU9 I򷶽ڔ2:^"N(1{=kӍB lPŷ~KףTUFBYRM7ΰkD`@&bLBb7-|6GGY{IhC>2!ĭ?΋.[0cH i;QMp3'mR}X`I$AL3!:|~@k0&~Qtwb8t$("zΪLεAXJA V•>{<#W89M:&ǩ!n禓OPNm;'X?<ϦQ&2Uw{d\L>6*1Eu)"'I +VlFS/D#w%hIx#o+SS x)q?hS>h}(ǧ^(*jv* ?07tkZi"d4u,f,ovM-L\)r!6ˆ |Λ!R =e: 4,'@ V?\=A%&T<+Շr^ߙw{ȓJcA #TEtB1I͏8PM4۔wui.fo7 ,`ߵ/g( ui/^#עs|˨~eW\Yc'>2J0G~|Ӎ4ޔ3-{F@1y)W58ʱ- —82OToE)REn1, [h׻W: T{7&*7^zdG̋1XPa7%3;:oQKM.NK|K2S\%Fy"],bФa=zK-O,VI6Ug ߽9.O+w)80$# ()Ţh5LJkMU lyg.=R vYj}6Y"%[J XQ&0g mz|136 hwe (]=q"=:R-QsV|A `XO4*An_Ή>I E,pIW?R9$h\0/0i[h2j>O8k!#~Q3_=oas|7E$~W[Iu&4kiR"IwPl5qPRH"ǗT~-ryGMɲO 뻜`G?PzuTbP&L -U&w* !Ox$Jdz@ZЮ:$n#|҇1hwb\DfىghohZ D_'l0<#(penz%9K7`|ϪPW3"@t\Hq[qi^*u.joIhtThzyG WP[MWFr_V7uQFYPa<զ w#o1"gÛcJF"J>jWW07w7YR)NR^Ci1(_ ]Xт(GDE n`VӥtG\d~0=[z1Cc'Gt|ܮ/k1FX ֻ\6hGjJ EDSԀѝ5/mGY`[dW #ڒV,Nr^X8FY4Ի YN|*G!#ct1MߠUOy*]EPMV{@ڄU>>EshG]騷 ܐwD24,/&<tGN!.&I' +Cb&"79ef{BQdG@