SQLite format 3@ 8- 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 UUO54 ; HOL-Nominal-Examples:threads=6elapsed=362.124cpu=1363.448gc=120.136factor=3.777zXZִF! !{]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&i"uEC Z Y(*S?=(;-2D!wS7T5dI{Mc?S&BMO opḰ%ׂ$qxF@DIw!ؑQ-uT8Q{8\Sq"anmZmeiUk`jrciPct,oR3`\LYs9\tl %Rm ٖ<7ك1J+.duscVyS1*齉*~vnz5gi byhqRW`G(LWr0nQ(Yi"iG"v`ra%rsy3۠1j!>$*dw``~&hOP*=5ɜi@y=rA֗CDX'"Qra0c2qpnO' 9Bo\HYk!bYmd=@nzZHr:VMęgb\KyJ~Y6lH,{n[E$1l2(ݴ;/gY`@v!0/?_E3_;u/}&`^FT(IUdPTIuARۖ1E]륹!/mOkM+(i|zG 0XFLX? נO 5 HOL-Nominal-Examples0t8Ոa}>r>4ʞKÓ Df1?t\^9k֓zPO1ԄĜ=?>dJ^ ,Ȑ[3@_=5|qtR@X-vZ+sY~u;~WRCFH%(E 0_WG3zMҩ, څ3ɍvzo\?Ff%K:S.|cbg W+qDaD1X{ww ピ_BBFI^SqtྥT]U*N&_Yn0ԁ"߬']&kz(LgX(ӈY:ߏa}0,epRYj`|3Q5 Ex4O`'Fk~>n`!/g* %1=0Ɩ,v:9M@;T{^!v#&zO-"F 1!l޳vj@;=+6̙k''R!2j=y+aFV.ԓ:Ex31>pb}Q nG|x-3ux 8:. X!W4!kdM8R\ұ=6u⡪]@ Вՠ^Zi|ܫ%EMS;cGvJksX6$uQЈ!M7YI9u^b'BΩ0B ;U^nXn*x#X][U]_;&[0R (OMJmUxDaMs:5ˠq:Wn`1 55>ms= 1-sQHuw^P{HYD[뺖}ӕYBKji sp0T0r`猫^f0Th3Fs;` ږ`??V,N(|bmf%zێ_ˢ'٦[QT֑u':6b5"t8MZ l!F"uYCpvr'Uܺ3u7eCy%.d)|7Lp߂s4 If9-қ\ݛ]'W;񮨧2zHY6}ܨ1MWs =+bqCTH6O\Bo_Y SҸzA*ɃO;f˂'^^HKDuֳaCB%_,Q=@N{UAWcF JosY{ ~k9g{+LXi8|X }QiA gӰw~`bn;톚6O Y#?}0{A0xoNjej8$Gj/(-Ɠ&blzؑɹs4]M]pvI~^ZZ [n,۳X> _?Zadܰo%x5$x =˹z{6aVA3}]J]V+yV+J)bU :VŮ-K/hBEfV{[I@6~nJ(/~[ >,*zL }CjA EԽ`CB艺2"P;%Dk֛*iB:1Nڽb)8PSE,In!uyCd`6PֆkASjE8EadG7ldԟl2*5DZq9 PyШm +r \˿;/V;yk[ɵ%{92x A싁@UiҚ`ʴ[Q..$.9U>s g?mC/ L{*FO Ӕٰ0#\a FU}9 `CGU(Ek*B"#Hlw1yJ2 kKCITj N)3{ ZJC:_".) ߸q DU+t/ܤJuW"_拢eBZZδf}c8 $子3!#z}I0u뽥@x Κ]Ds0=.[1Ģ+Ff ]ayŲbPj8a8OF7}`M qM+(*KFV0>8P\?x-{\Y=pձA ۇGz++d Joywa\a (̺{O@؈.n~w`$sI%dM{cnjkk" Y1dh>1Hާ=B<W\x2FG-̤ٜc[]7eMzZ.klBI5oKĐO?I?7 G@ ^`%:rvacwqh wSG];@MZ~Qψ(3}d!C%!ύ $7V;StjKu}T*ߨ mD/AkI))֫Z,re} {[ =AUB]XY߂ Nq"I>W9cۡ0@סj o4FB@;Zá尾D x_:)F-߸P/g|eWmL(ABCc}sv_ER͡HVm'\ ߽͉,ڝj.V(DofXu 5r|9&V8|E+1ǹH,@ mttPz<#}ܐhj>ߧcs=M3 uzn̠2ӓcTL9}\ټel.?*@3~s)ùanWBd\MHZ2T'sb-"ewQ9OcȽNTi̯Uďqeh#N!5%w% s~K޸;SކKP>sgqqyt_c/ʁƏF2.9b|U[)&=?i_zA~Tʼn S7m(qUE%^iIț硁rQmtQy"}U~[)Oe1͛a5Asj:.}(Uta)V7gujpTmI /܆{4Zl)8_-kw-@D1,t-_u1W*݂pĵڣήV3K_^Di73S7 2RTsy{Is@=ڂU`5>;hiDŽJƌH?!&nW·8ɅШ'( yGͺP=PmdQ] .f&üxٌNQ=> 32v-{;-7/A1w| ~ ojr/J ـ8V^ f^geyn(KYdkQb{e=: HP[Xvɞ}T'{R>D &;E׷./rcTfrnl~uT;Ί$O d}/>c:h@){fKf椡WH D mR;eJ$Vwkhhh,bFF.t='\6Mp}Sg17 >^tv!3|, AR=U9P( &/0?eFqeFnj!"ߏ|y;(}L8oQq_EhYI˚` R@U 'B 7 I%NaC )L{A˹UxgL\-N2;V >ҽh\qsMzሇϤ'_3Iti N L+${[6˝ G>s71/3R¶Ҷ+~j74+*uüUY͖#& B瑮7S\@!?]wMpkrz.6YJ=/n;*1xb#,L B/4$Q yG֦塋B{x<Ph+,KL`w=ƯpTiddĕ iHV=6tHGgySXn8v57G Xʥq.R4DŽbbM}:Y$F(%/u0FGP׼OզޭIQGڛ+hyUllvՏk/z7UU۵92H?~=NF~cOʁTt HRҭ:VriҲx|A ߼ϑwJE1GEf YU_7r넹KJš0 !:okL-f^Lz69;yrΩd=_EMP"0 1,# e. ׊F,1Ѧ+\qGKET"13Jm4 RVAA.'4X(A$E(|ʮzb/r}.wBwʸH{׈lU!T-dxQ" hטWkDLhnn1;4UG%Ď킷ՋZN2tql;(,ڜk@?YfH'. LeU[%*U X<`8Ag멅)wmmyzh1$}ܢ!UyM_Z:љF}Y{"5ÍğlA8/PEe'XeAø& [IG0Zui~O8<[ !% `.KҺX$;Lڲ)s+GD̏imB-S f +xڌINr.;VP~ LךQ|w1t |C#JҲ<ex6 H[^P & ;}zyC#V}u{ѱ_LB S_yNP!`~5cᶠ"tq2JUFi~cc&m Dc> l,Hoӿ9RCeWK!V#ɱ 1'FhhxF-Yi~%;h[Z.BhHʽH*_Nd>9VAA-qi/jnͰKӷ.c/p+y GCiܫz )֗@C>P?uQS mx |ezs,b+pDQTcKZ^ah.M|@*ݳg{57}x':XÇ7OndA1QX$͈1bXÒB` 6C;JbtdRJ#ޏmbg"1NɇzJgV~yS\w{߇G7mٍ¬3s;w60I4|܅XWGBFDKl%`+b8w(ɪIMApGYI(JTᱴJVJ-w{vIM$Qʎ//9Eիs{D9 Zz+8Q' ԤdɆv?cqˀ`COi4|ԪW {6h21T>Mџ1;x fF&4̃ƟjF#C 41'`2]pFp{n'윚DG^ŕwL'2ȽM)UXW8~A֚fw܁.cyne^ ;~ҿ:{ C9|!h=쌴rW6V3]"|}Oa7oq04yDt"mPVs?b4n#[nsW%+y}|44h WKޱյMG6U?(k{ы(qc} B3 ;/Yҋ]HߒiZu9绲S^eԫ},9Y3* ki>p]0;1r-zf[Yc cwֈn3hfʛo] f(dr,cu9vH!+0GG?cM\cKحՂwo>$C"M;L]똌$cp}  9Լ&tvp3?/`@5̀7ƛC>>Sh{p)k=4~/OAx%1175;Dp混㞣|*F@iB_bSw, 6`(r#ELwOPFqK}ZB;Za9PĢՑzO|--]nΨ0;X~ Oie yOS|2 5<SvdH?/$ezz[3ۧWj9d.ҏHGGq!#YwDiX]fCt:O(x%E^Cxz|H?~6j輦 HվYIBN· k8tU鿀~L)R aL'Qt%Ls0jzZC,6 }2Z`c ΋fB`u^(+ZP6h ?)%2I|1rkCf-cPT=oat{G,Ѡ i䀦BF8qJ 6+Eج.'UtlivHRA1soa@%]QPt?z$Ú;6]0-LCGR2@-c"r;aKqkkcDr[!Bx613d܇'㙂9ʂ{is{&L5'AleI![[ߔ0kH@> Vj ~KL2*q?q',<^zt-* +}=E`lfWVP;cPa%LAä́kh: kԶ[}]sM"P?*3P;Nȕ*!$)1Urh[Er*]H豮,G`Z}IƽSp} XJ90 gjтKu,{_O0A"}Q;a*5^y-8P]Ѭu|mWw3Y^Mh0Ak}r iUAd̦+vJ <օ :f~+"\Thއ]vJEx)ک$Qϯ>Eg?! )Ip3oo qيU93Ik;CQ)Лdu5m"s@d[ݳj`~}4t\Vdwp2*Z%B3W+]Yt ֧ QL@n, ];`=zW 9OD={a YZc+;\uDrQ8جM]>a43Z%U%b=$:g۴憑'Ȗ9@FSXU݈c)^)DCOh."T=>K\[Au z()F'#h/czٟ-t 8c8H~`WU(6D׈/ ,N9:Io]cnႥ[{d|I}>K$/6rxuڷ<[zoȈﻁ{5JU τ, &J K8xRܙer K. -D<^A$<XO(|@RCӆ_@`~0lk Nb XcB+_~'%Ȕ zJ{7A>Dd[O.O,7UJ] fNzcK|$m]dOϚT~zюQi5XUshb=HW<"R@/]ßF EE9r XK/G"'0s[› ӾZM{v}d},G`A./v2dWa|tC$Ň56qVS哥O C?;4p>W+j򸜮PIIV]o/Ű$όkћe Mwu"[z՝s٫_LY'fx':b#ɂ㢟'#mg L 1B˞Ixyo/plѐTAV6e3 VjF _ҫMOf7({%šiHFa&|vhsa'(=2]D˿l!f*Xf \Kan,]tefeEd>-x}rDJY>EG$%tQk`HADl#E H 14G"ni)B _S^CD}8@R Jv[#`hk3R2eG79{P#h-{ ud=Z̈B?Lえ'؟g_-5#8NZA)\2C(?=-|Zp&Y=U]gN5!ڕ!K\E_]cmb&qHѸ㦓BlmLq҆ ^eMM6`K J[) DC粴\$Lg9Rӌ2u: ܫGԱ1-4O1DGHёyZ9u\[>12 Q%}n͉fIM¦͆w.՘/; r;nDpuuͣ| OYjX"gAii&sU8μ DL"5Y0{x+ΓYj?Bm88OtM/m*!K5{vzHRi<Q~!t+x:*n:gv2AHK4}w3 |ȣϢ$h49V=ruhJqmaah̼:ZWȢU$7-Z,᚟`o!eOx`!%M#Ks3.LD`>Le4>uH U4( 4[BqH;v-U+NFj/dbf+5H <I:T)ɑF0p$P̕,Gv(0Q|2nJq%Fj:=g5݇p.T]O'-5Zf#u)ĿǿDRO?}{w PIʋW8:fODO#(/iobʟ T{ Ars_cg'&GUmdC+f"4QPOͿ'FgkAMSi}0w*a[jW8LYn]cV7Jv!zApLkИɽ;7~աLj7BbDӂXͅ m( 7E GؙKb%A3Z*\F4_"̎囐scD!'ؿt t"};aprx]P֊Fw ?b&OUD.>8EZYFu 99vA$;!z4Zj7dL_G BJn;FÒ|>H ʣuj@}h"ODjM?y(Թ`O\$T2pŢOZ.3MIKɴ ` ǝb [=2'e+8cXS p@o@/T&Ai^wɭ^8fDTFƅ2$(K{ 8l|mުP]Ol$ųGKvCMt+ 6$_ۈpOiRĥ{oA01b/N?Te躟_j?JV-4(^G^X/j)_/g:|4|WP`SƝ$ ^8 3`֎wԸ%exzq۬{ 0]>ywEwh,^F ^q9cV7uT8E!燔F_y|悜Sc5u u̓7sOSU%)=P'3B dٛKf`lB,Nv,Ero@n)ːhD|֞b5O/@3FT9NPj9uD(܊:Uq粠>VʼPև] 6'25UcUt'éAxg[=mu8qd+i8RN,2>:,t4e(_0,jʓJ;dtA-v_'tgSkԿ^!/i1lrH  NďMW`qXuMS[xxk:m}VthE9w_KnFeD^`v >#p'>. Xtϒ|Xjv >T3゜6fnΧhBjFHch7J!.`sy<7 B V w_n}}}0 T-9QoZ]Lsh58_ay(k6ޜkul(Pj2zg2eu31ߩjʵ{nXiɁ gdJ"UPYw Ӏ zMZU&5\y;kt)DU :&JmEB"=n=&'no'GI(S|rgaiwgF v>%9?~M0=,V~hajNڹLx4p*0N?4c}e  ௶=vІjeBRC A؍'gwYJpͅTQyXc.u7^.8-V-:OEvqYW {b==윥1Lv 6a -N@.keQw!₉﬉KGsw_m4">G3S[ú.<ӭFx<D|J5ᢻ J.0&|PQ! wq¡>ebηQx"?}mk93տ9xx R/X -N a>dfee2!+-AX-b}~2[ڳ*a@TЩA2Yz0ˤ_E+gh=)0x w=Ne7ɞ. ιCNl)[y[hw  Tw і6j$mb4ǎ[~G ,`.ho3rh1.dfAxijTJP[I$U'R$^y,wa]1kS?&%*ҼK\H kp3F*qܕfmF5͏ߋ|Lu[h{8fIQ*뗫D4^0*2+05z^eiX!7fl>@^8uq7g_O:կ8v5ۅ\kt{9ex4/fVB8o[GƈV=iFP[}JNv?ѿH[+*VyyJi}+2[CDηP*$oĕw8eE׮"U,aMK"$!b=U,UO7>. CĊXmJ`8McZnujt?:Uvܼ{=jngj|gN$JU{ OF'H!?()' }o] 6JS93FP3l?[QDCeBG؎'J_GB?o'4ƀCXEqM ]yPfw2qNRN}ğwرn}t۸s'GI+ЌRa E]#['|G'Q: PTziAc yω6ϣsƎ8^VZ>c TaBVulTLd k|reO|"J|,]g50L-䅣Nǔ/;&,+d3uYLD9EI$M$;-/Wq4r0 ']ݛV :)Yِ>#]8 >/BNZgB;O`g3dz'lUnmE`KOON&cEzl2txًx>),b:2eˏ3-dn](N]DOW]\MfA~ Hf9ХS $>a0=0|nt}Ε2*.X\4# cih;X`h_…'j`Fh)$l-5zL4S 1ދҬh8;M Tw> N(k,k^$~x%Q) r乥n(xBD)1=rSmMm_^9Ke—F^Dd=wFck7cbpRr)Gr O%09A󮳂>ֺHi1W-{| ~Kj"y}9G|r0NwzVsZqV?\_oAʉ.r¢{fT*Hz봬M$|&SUic?:<~zat*͗xͽ )\jvZJ')H.!^|$A`!պ,`x Edo{iDjN=Ymz4;QVWv% &Qy~;RFYЕ.`(|IJb\1翸3ߌzT# 9AC%?3qgTm ةg`}u7y'Xgy0 F\N/xٍ'wv'"q ?NPuq,eLGUN\2gJs$~,Mp^Ϡ< W]QI%!gm?ݙ.͢Q{sHъ>R*\!A%c<13u NF\="N;Y+Ocm*!(VBnq,[krSM=dpRs. h hcmfcChm xӺLID0P%eKjO~jޫ~Lƣt hlWEoŢ?itJ ;(Vo둤KIJC)s:  r>a~wuJٙEV~}LT`՜xf^Q؛ԩ ۍm6,/PS |0ȋS͗=rE6)6 n[>xfF= sto\}]( dsy\є@Xf}{m9.M\=bϦNbmTJ 8Lncv 힙%8.Jg~3&H 'KͦGxK9<6\eWym^hSGFf\`6-rju8!U)S|fb-)%7L0N6NFY\Brb{ : $𳂣0ʑ1+.brƪIeڶ#bT`K -$ŸA?2)P 0⣨&9W!JɀJ ? Gf㍳`?s{kx}|ft+Q-KEUP_aA wJc+(*~ [!/v'c/K,g `OL>'cgBw,/Rq4ף(3)6;Ұ+56ܚQԃ@99126ߥϊ_VXτx g,h~:Ic୭[l\MĚ bOeN2)u4On Kx%,WG}y7ߦ7E<Ķ׵L@q4X3R.oXә疦>wt:<ò%v&EF(NWy\1'cGH3C^h1!:m3Ґd|XLh'6*}ߓ/6p7Ӆc1%]OBsfbCQ-rʊEꌔZL!=d\G:h WCΖ4V3yZ]*e@M=K0FLsR.~\yVFUC5=ϻEu:OEA )4aJG5f ;Յu'U2?9SUq[ l+-Iɚ:?3RO/[zsurO.=2g*\%arAa]X?4O:P7ĬgؠsTQH^Z{GĚikTQ Weʹ׊ )Nc^VxnA_<ݹ Y ǝE-?C>ظM]˶|rYr23Rq}7, ^d {[gt#>}=YoDMiϷx+4uOQ]ﻒ/hcbu>{׆Utnl,ʢ?=#vv*^RjJ,}ae,:-6Kr|.5-o_ uHf_%H) ?"M*/]1JNOӰۣr K}9\fFDiq({ 5'>) {-C(@z3WARg h:㛊>H#9W@77o}:o.:] 5IF 7Zvr0sھ偗QObl T\|gA!qX@8g#\_TNOHaJaRkqA;7RLoΤU !ieS"(]}dT?|)ۊ"dp)]r1'QֆI>1Dċ0WZ}ˠbJh.fmnm|tÛ7C}}S ]G!HKH=]+>zbߞtJ &/Hoq9{%GuN@vZ?U*)s,yyR?`fnfYQ;YBUPqrrR"*p-: \~.-IP:m н:Y&X].S?5*LAXR`#r*7mxkegp5)4ˆH h Nlf-OuEia 5l Yqt 90J^D A'DΧWi v{=`O\)@c q1x~v&C 'U:ܰͻ9z.~%Q)I!?ʺet7kQ"$B!AHeq FΓiXSW TDOz XB"Ru oolr&TpfeƕQ} 6hn'łIR;Yc|\+xFV Wn߼Mu|gg}WK?qɤZ̩A4SZ+PĒ?rt ,%e??,xn3@3<:$N(-=?/ 44%na60m= MFF#Zp:]߶ p ؀I7>Ë5+JZg+́K: ̤ )ևL 8 2`8g1ɳ_FJDBY=UӅ^gt[\sUd$z (fMfC\bA?p rΆ|$ݺ嫃)c?,[G)B z63X?H|2*–5qh*s"Y)F@n#!&2OgNUЦFMGn8(zG\A_Maa i0ۄ JmדcvW䌻F#Kk"X6lېDjM~ӕ_"oa?ї-ȼ&%$mŘKHӜ¡ј1+Q׭%l{?_S%fʴLV3qD!%<>F54bml$;1*ٓa0 TH|K)dʃq<쭴?ȋƥNSFQ4FB-][Xdey~[!p!1_)*Ӏxr~rd*4G^Ds/+bGAj%j@"ʼ" 1]՟ ^E >@Ͷr?!rLOErEtWn(ƛ ʼeQ~ `ŤYTbإ\@8<F$3 oo:$p ;Y}Ӽ|{ˣ[j[HR[[h D{V0I+x{L;`@I+zuԙv88S,U_,Vݘ-ĝr["d|c f G=f ;?I#r3R.r>&eŸ_ WG(72D//3|TT6QjW>|Ր,-cil3*d45@=}m!SCK7{[+7d0z_wΏ#L!.wTE6jqj49on5vuCNk_grcgds78Kmpq7wM-S0>V)"f͆c/zuf J mX}鱦>'15J░m2D?KjpRKyVU5Ql1%#;ϵ\b?6,t'\9+V8{zAӑ`WZ@9;{F:[lfa bTeDKkTG-JmB } M&a@I܏g^QcښGeg5ԭ|GjFy BIbIxJ, ڱDڣWZ݊Нf1UcV. 8w;Z~Ș6iUa~t sh{Bo`5$6tX%93Uő}Q~ 6r:2ba=D= !j1eW;e ;Fo ?Dlzݭ[m4M@yƥNۇ6g6ZH|6+5CL?Z0Pm3/.F-) r2jZYLo!R^^qH}I<4*ՒGA~`{4Ĩ {e#T/_] x9u0]r*')҈ Evnrry2 э º[qhhlJK"q4kk+g..0:'g*V),`2iԻ!L0+7jeug5KƸOcP5W5z'-fc }`m4k+|\Й[|lk\bm)"`9N Zdl݇/</7 ׽iFcy[?{O| CxjS2T]VgE ;)18V1UԾT[/.=_ݩ2,L_bAabZOC'0e zx!. 3N5PJ{eʊ ESPG۝BJKq̢`xp%HsI"(0QD:sfKZb?*z&T?9q"3NJPSJ@WlVd»XY 錤>X* %);}kAւ`WlNOS[#IH'S1xx'Ddg%Ȑݹwy!zw-uE~X#:څuYܾ5h5и? 2U8%{Ԓp[hQJf"ؗY^PMX\zhMEŴϖe8 7qj/'{ִui%߹+`aE%PT!k;10c8nHE2_~qDت&*8GVtvYXZy޴b84w רCQ=v/ #6V%6YC/[8聆vu$Ƨ; WI W*{TR$q9&-QpԈZb5K91>u5Q-#m@RG ;!迼Ǩie.VA71>Ø}"LP5as=]X|eMJ8Ef}r8f70>jܒ NϳL^>k:VPGTp[E";mCћյeQEȣ׫ @6PK//T)54 T'5KX?c poK,[\7ƒn6:lntԥӅ^8悎YH卽\Xc"&͘7;RM|Lwզr:neXDFx <F.8p O\ݢwM Rѣԅ癰" 寖9n :XL'Si!Q:AJ4 lpMVs"L d% x^dʴ&EQ94Z\1D;+ n-V@3f [9)gIMaGTI6x9l0Uarxw۰0ҐAvh܌Ú`9 !/u7mVcM|VSv1-ͧ1MvlL.;m3"Q[o}bE<2gbV5B6D _˟(}ϑ_>G\ccLX\ :w.K|cJvͮzwz>&As8&ArftA;IyMZʒFgϫ{7!o<2&`W45d~Oevl X?1@?-!0zR~ɵ ƚ@]ޢ@ ^"Vzk{7F_4& /YyeЂ yeOFyZUN jYbg%:ڪ~`5ZvA'dhe O;|_sw -Usm_2JX-d@ q&WAĤhYeϛ/3r$D1`3|`-oGLch흫oz}:KTvinWUiҽ]mQhp_ ?!D~8GPn<#^aV"3+Y:8ՈW RdܫEܶl7Z3J2ed_i:uBd6۳.侖`˞@enI_@#Q9ҀʓKUvaؖc6&)R__zɑ:9A*TJ ]$ Ẑ;v}NjA|2PN~Cڒ$3zVJxC(tPgR % :Yc*rB/ʋm'-"]{w=50+afrn:'ZS/Qb7qj@Ϻ/eB Scq*7,׈z9v~r= #10S(ѨO_ST<#FSRoljN  -c_:ɾt uJughQNۧr2x$Jc~Cz<~tyio >ŷ f>;{"{,|Qqy~w\j1`׎:Tm ezFݳR5i^nۉY=MuĪy]|oAg)[⽟[Z_hYo$ծWqH`[ncAvZ x>*Y*)jY1N Z$&xb&B3/[=/_5#ߠua5)Hzy}JVZV{M1ݞf+H!=S. ?7 S׬9׼jX!D*x }oqC~T;lbNI5Ҩ|#: XറA#ofd}`?-%uYwgY9>: F`s߻!Nv L7&>Ikxۗ=F5}{"$"+Ihvu|˦,=i:ksJrQ>HFhvwJF݉ UrR{W 7ʊH8@CR 7gWЙOa|50^d׈_v@u sS3"nIVͬ9.Og72cn@/e T?@<'NFXbtkx!w41nawdpJii꜁f4c/ ю ݗR\\,[w[04'@~ސ$C7Yz=`[(p})q-S5E _uQŸFWe&QƬy^''.t}:jui4J@֤iz6,N͢6W&BSqI,(YSEh ԃU2RSm#aJj[Ee;l~e;4CVRkk~&W%XIHNЁdVK>U$a\^D}@w& j82@20,[Ŷ!ŝ:)d@lFy*i{o'/jG걚{Iae$h@Z䞇.C9BQ$̱@%VJe*Nuy.B(OC'~QpWlN8?0/7?Qc˸4|wC_$,EġUIO7Mj~ F4_]UEjW޹.s–8R=eub])&hsDߙЋeף 0G M0BI@o7r 8?bTXOD /i<.֮ ~*.M*9%T?V^G|Lt8P-̑+<5@sadzi[·qCd4I:ìRc)c=S!5<!zmݩ5G[VdBi{NVlΥ\ؕ+(]#;K-xؘw leZ8& 3['BJWk'533:p?SnfT" ^( KXih,d-p"i?+|C<_3e]\reZ0^ 7`xSzk&Ay"`m6C^@#p²&BiSS%N'hRA'jBYd%> 1~WZ _ v, ?n @R%ֵԢWU5GsbݰUP0: \6 uGG[-凭N@Dbsk>Y/=gyܖwH!ED̦eSg5-̂Ie3n˪xn,>QVحقkIS1pȸ9 ]6>Hl=^E!Ⱥ-[Q~6:ps^^=2<&pY@ܮk%P&^Ҙs\ـמ-7V}TtwW` uK,:u3z%~&,RBĂ 54ݚ z N&wm,!ḍ~. -h{X%@%iJ&1fBWa^_rS Т/,X238#R+N˼&PNb' % :Nk~ܦUa'G*N?b/M湅uv)A~sL&JIN)sH;vzTѬ$} ;Cv;EƓQd >-1p%j< b[`>VX|s-Ŷ^ HPgTze@1Qhf(*.0tc90Cu& )Eíi-jyB&6k'` SfD8!| 0wp!?ƥ6ߪQYSǬ'8ʶ/ mVHѮ"Rzh`Ȉe {8ȭ9I_&,JpAұm09;l!@ q%}-@ofPKr`,Rl|X@_`uNxҥrjăq9T}Ur)uȂwkOg'Z% \ .ƦvtxHG&Ҟ@Po"u+4nj~-x]ֲl 7}katF|Q2% 6=?\,.L?@i3'?塄V.._uCKC-ȷS|i ]= `5!.H*Sx}]PVɾl +5Oxwc) >_W"Yʲ0Ik=:rĂ˜xqpR 6ԃٺy9TKCiVt-1;> c\Opw\\' t*>E$X,gУ 5k=3G$,=)<Btv܋U9qVt|*WAnv݅;\/t'RrQRFM3hD>f'HwIUQ|06@>dԖ\UojOM8smZNFԎDLx9Tud8QIf!G_k8;r]YcAեgGv$ej "2z Hx,ĸBk cC~E~ >Co/BvW'tn7ʙN'$lr.иyw\v][hZQn)$ԡGu~?!m!Hl)vyD} xsN^>$6}^?wAj5cs(urKRg1 p1{,?q3; =k}6 `fgR=Py`'_^mU A{ Nʀ&sN^ӭ3eR!nwXl /F@5%(@xF8]\ 8%p m}ߴt*'C۱ Z2ؚ8z.䍊Hg'fU N'pzj|~o;SHTn;'c ]}c)Fb,zA]l|uudA˰ʼn,p@Ef& 3f7q/At ! M?ꉳAe,4Cra+-sW9(O?R\hP;t&͌L扻,nP9Ћ|]b(S;&3"zYxkZ:M \t_1V[穋]*f6Vʫr`(h aN 2Na\}QLᵁ)E>Q:LOk00[,Uؕŋ,נ4^5HG3B#?倎'ݲQ y8҈vJ56+2Xkb7~FXAx|䚾4Iz=SI<}|T;^2|M}ظ>XGNb0ol3{뮦Ts'9G3$h#]MB:b]XX2[yZ~ߧi#??ɭg&{' gKQZQ5&XQA _-+&ĦugID.z+Xb/.rC~R Yt>V 39; >z*CH:fG$"8dK9oAQ ̿•ǵcsyevUX'#5ڳCM, p<d<>O:B?=M|{Q0W$};Ye~Ed.EW,b: S Gpw+7iAkg*G N/HFO?.I/PQ*37DB#` hqxBI%+:^s3-[>[-9GK|DĐs%R|4^\D/}[5ogwF$I+;@Q"h/$md)_dFh~ۉ;\a,LRMKEx%HbYH-\jռ[F&{ub;BӼq^u׳D k{. 1+%'4ĩL$:*h^l#cKXErVz3[)2Jp{K31j@7xo>Q. ; :_㱘Y@JϹt'']&YA> 0:72äC(y" ^J_>-cڴl\c? )ἅC[, %7q#&2@ƃZ#<-BJL`FvDw 2A]Ƀ#og_Zgwq3i*Ro'"p H݉K>1[lAnM{0op.XXѹ$ԸKL0iU͘R/X}V?3w8oX=ax=L;ܽrM'p{[ ^*Nb\&SE+؜ziP@C/\ o0PNg Y`ޙz% ֑ۺ$Aӕ sG5 ^1QX%Zǒ]:7/g+bSlގvTZ%" .u mkApiNZ87vf?/K T')JBF"v)-TF1_1^Qa{==9M(wamS&?޸} :cRR`b\ 2ťy Jh/΃Wuc> 8ĵ2J#kgt!ؓݍ^IJi(IzI&8oQd}4J=18XCp6W*7eO`W \).$ S@_O_|n;+Sv9e{g v1 eT޵8,IZ&[驠%3/H `P_V&ax*I-Y|\T(@#H]@|YJsi$Wn12[Ro´D;MLСty|רWNnqP>zF$P@b CPZ9gy;ރ6Q i:E4ȟ*Į|gۺ'ao~yL!M"& HN8)g%%ΌP!ҎGjLEt+1 V< IE&!Yy@B3. ZwO[{'>)t:s?w /k/A+th[l K^3o'>L"1 $AM\Nm.> lZ2ZZj r@֟T^ 8HVĬRΊ l-o'0 #^3x]H/l4\ "慒pawyl#]=7G 0>[ H{L`P]ʿ=T'?unW3nBP=rq_2Qk+`6HJg;FmW&պR$">ޯk}'4o€2}> nM6FnaUEPk}׻h6NKƀ[]eEۀnr5qph۩u MywAϗ'vk:}:scg:Ϧ+^0}ĝRTWG@gx[>`[liVuѕ(O%ῆ+ۮ,tcZwFFK\U}=~BlɀVu(^/UСgLB Р]܏>dKo(J>!$mJt[>Tɻ2 }=g*{K)A']aZO[mmyiٰwx}#\Fјr: bJ^tOΗdiRU5b.,[M(TVR(2k6E?kћӆ Fmfs sםy׆8G`=r]vָaQviTP ]:Q 绨fYl"Oq~ϑvv8 Fnz]NZ(f2MtWL:~Br@6 {R,9v?BЊjy%+& ldqG7Wv[,B5b9p_3Fk2O/F $wb^тMv M{$IVE³UH+\r}ԪAdlNċV|aǷBD@ZVdGH?{|HWL\MoVO<p35W Dg@NBE> mK4^g~HnpNȷ+ G;z!L.v2p٘s[UAWGK&kӺ{?dwYXmT<)Ά1H\mf'T,F>%D'V3ZF)8AJnXFDݧi'#νtjY#%-<3r]!yX,Jq2CaCoLQ.$C`J wR#rhY8[%eD8ty.y/Ze2?{uՈQY) bZ~C4;U\۠caNFWtt|`Uz^7m%IZK; AUI,5忙\O8GAE>( hо=Z< yʭmŪ68byH.&k[>j5e=G:.VT?Oנhx 96 sSS A>>0X?A ׳lϳ$e-YF!TX&\iA6 ;>]~?Iǹ`S ٠;FoYϲcUcM8þuL ze+[v[{NmwaduO -((4:fmKiwR'+rȋqG̊mhبKYi@z G)5_QY{LtYQ&VZRV l hPr>iyUj!1a*!3K< ,,72W7b/lxOzGM^D%#m9zȍ;yNQbW,t۔,lO7:Z 7K5"Ԝ.n4ž͖*Qv!FsSt͖#>~Gwl&M湏_ٞG<YgGCO,9n'=p|3 hmR 5C5Q"y,}X5R,w7a2a ctc}o:1hmRkY7}=e@erew,a8*ew!7nA:-U,o53\zPcW  6ZH({4ly '.k Iʇ2^9?@0p[l5,7糒2H~-"l4 RRr7<&J(rSRM(Q`ęÂ㠓X^̐J- χ2im]^)gd4S~I GcFM!@?Seʤ<_AMy |&F o#oЯDc6)tJ_33$T1{׊]9ETn ӗ3=6,C,ZmB+(EqejވvK Lرu`3S熧ր8 5ڈ\DaMM; (',%!_mn_@fFY#nT_*|`VU gI=#F$Bd'>9pa|ܪ yɘK6uG0Lu4M#Ы%1@+5q=ZOϫ79%ْY'W*_C!}MĒ?Hc1lu Lo1XUd.1q%=ᘉ@݆EG=QqciZXu]V( BE!@NG*疣^V_̔؏" ѥU&n3QbFChK9\x.ŚS_ :7zC EYRbX{L]AZ;kϹ鶋Ivww:m9B r3PR'Y2.r~

2ybM**Bb0ZTzC6G%V#m]TۛUfiE 3svedcgZmasL+(h\"+=_yIc "Vb2X|`?¹$~5@NXąZhx,FOW4cq?g3tr1Qճ@B0YISL/xa& C-6o^ vÙQ|A;e07e)]O1$7m-;3Dk7kaAwrH)_(1.eeӊR9A}GO_6[ݧ˪7L>\ T/f^.wg p؁{`!FR*~~5Eaq`f|8pη|p-QKwaՄ%/v=]۵``hzPLt0)W<7)u0I[`Y|<޸Oo:}ph.UGĮjKe]'9)02ae';ubwa!Z+ jdo=+)r7y3~񄷨\sE(~Ù 0L_}b<C=7wRq+w}:WS`28B!wȠZH,4q:oPp|~mR< ǁ;ئŚ42wq)x1CO&Q ݦj`E}HIqC߉pͺ66o a2OCZ𒂸 '۲R< ~l䰟▊ wף w6VW3ءv)wHΰ30̢O$k>I[.!.<=š.%;~u՘-ƕ|g",iut 2EۡARxqyc,iCSH /&lnU-.i),шpI!XyT U_0i[<&[pD~ðb>6÷OWq/vfp"!.Ё!Ǚ0=P3TpRaq>_2*E.ŘrF8$@XO@k>'GH W٣N ?5 ڭgLrnDL"kM)0F(夓v&#ɼaLdU#A3r|;.C}2:6DJ y7g#/xtGd$=dakhf)Cf"`2q1C֜bRd|jEsr#I j/E',Uy>8[%.STX 6+ ݔ-PJ-‰|}]~\ OS5O~ƜNY uKtk%$t}$vq NgC7NTvxЉ6ДsN|5zqDè, n>|m.a^R,Rr,ZO3/63G|$6پB)P2sHx8@CoSa1z'N8܏d(d3.Qô>o]}PNqF[*uGM2n\<\)O?n$"/ 4tW\^}1O~GǗ5MNM/ct ?sYl\a:*d v+4zkUsFy8lbdΠdM)@91h7W?KI9~~q{ 3~WQ޽@ى TcB, 5$8q0RdL.#DdWӵ{.,dSΧ=KwN9'G)ez<;EwFe: =JE6dUE_ *C(ɫ/󙨿D=O/W,~x ]{a3Gȟ<=r=<jb΄q梛2sb(ԎSIBc>,B9xd]Sq(c,?AРjNW T yP#,fn+ip |=;u{S@zz/@L*wԳ\g,g38♫s ;/<׳S%g=do֞b"$IQ80|ÞHK&;ns&kN^CiXH%AT9 AB# Bb?k̵#sM#fp!hIwfT;nF0ym(u2 Gkt22lWmϹ\#{G:52W[잿sL1VF>73M&;t3Qde*ᄆ쇠ḽ0cD#|FJ4Su/YFejӶ!?idătO'eC F - VZ*=xc!,jмw,V<u2lj"2,DtB,qO Æ# ).qCUͽP"+ CBhNu0{iPtVd45,Ҷ6p}}L#nUyJ w v73B.d}fZDNhKÐ@ !  ؎>āe$EUō5q8_GzήemÒDuBPo9Um^FD1> u n-?;' qZ{BϹpwk6xE,@2>veT9n&o>\>IX.{q] t}z,OHeu(3]$؜X_bP0U6d H4%!hcL5]^.ir `ζvvs5?ʿSFfc$3%4e$EU q]?ƺhc< ?FjXE>DK\MjU|P>s?A>AN"מ@ .,X݃+i;1յٜeʌڗ֦x+b|A"2`B~zԝş6[rI\YBJvrߺM\"^ N1~6\G4Z xԉ[.}Wa:"-S? b`e|9P<pLZv%i]Ҿl u#X&7[ғ0o_R2jso) \7-K4PuJ#/߇yC6h n_va豕@q\u쥺?,|>I"f,3<`2"u} ~EPȼHQ)nr#Dqy\q#z9md&@Wg}z|k@5h i ^v 3`Я7A?ߢfd_.?&f73uyU޸7l2_F2+7̀sy؍͐HO|҃*D;.7&<=o0ӭ%pGVyViźv)X㫳L3kU]2]>>͖F*T1"!Py/]9WvMh7u tIzB}jraS8EL/,rK! ™|<3+f~W5bz)bҁC6cNg}@$['DNl&_;mȰ ASSL|hTq obwM;Y m8/Zf6ӛG[R}aG )4kGFQ8ZdQV_jNnj z׾wdx=o۰෍{a*ǃ;U9hr̻$/X@T>YPm)@>/Al{}P)~ U▞po?z #װB dʶpj|jwm&,Qd)P 69/oFO?{Kְ9R$1Q_`y` {!cm~wAae`BI*hlUk eqjHlb0N (|[@!zG[i:d& B2KHVCLrbĀSIQ $3*6Kxݝ$17[,#QQq~)!+/Wpl)wa"AH@ N*='493(8yK+B}0t^+ۺ +.NU#a'߾yƘlNBVqdseQKQS}[~iQ'Ĭ7t'xS܌-:̴% )k ۾ɝpH@nqY*a2X][s* :1!Ä=T20᫂sv|,;[eoW#GxNHzFݾHU"*t-fQȟjų%˱i(& B` Vco3Q8-ηysdsC8IZ@yVWQwr:$9*";"(EpHR,&QBwȿ tgb-[N(hJ4k(WJBgōcU@nևp#&vO:79?([/m 4A1G^XD$NñMW< 4E ~^b{'=QL_GA 7+HKAxU(1;X{w=xt&yJasPJf%יVDkU1R$_Wk\[lFmn/7:RP0#fv(% 6_`1jMkn10=ZR7йpxFG: *FL9k\:T|EZWR}}0[+GQih[;*o'5R[FXZqu)d"O}>ߗ)|bƤ_Au/כt{*F-F97> 2`ds#ӽ[\֢3Cj6\];m/9糊.o Crw!IآUv-z`U??ЗkWLg7yD֑0}ٶʸ:ͽQ FX4_ ̨}) B 4&ɤEZغk|:h%*ۥe^ILwfKQKBA8GglKO `hƌlKF ;b#9pˊ+i,, 枒 B?ٯ#O:X r5j>a9~lPČ2IՆ %o ]'V0D-&o0j}5Q󏏄tߪ^$S BMMM/ ) ]|e)&vMzhS3\ٌE4=nE\Ϡc]4*Wo\^ hm7ܫTop_<=ͻnX9MTg8΋]T7(4Q8@HV?A=Om14%W#4c2Isrn<. I+j'Q&f[P5`ZԯƆ\bknJM5+MUNg^A[O. jx&-ֻ156kOl$+}SN ʞ4HkN_3 sD bᶝ,P#hs8e@VZ_'h_ϣ.;VN$"^GےuKFjW><!&e?kRDnըjtF5vyh󻵹o݄3XvQ^MO-}CN3>/5vMXX8yՈC =p>*q+`H)߱`z<@\L+z6ֶɌA!1(O/==LDJi%P`w̾:5x4bpiijMx}peq4(NO`o%e&NwLP+7o(7z Ea[+3nA 9ʧ,/3=f3u/|2RV,m4(*PW Qj/lM??jq) s`Q'uJaNiYKhwwRV"{|{gln %R>>+A**މ3]%CKL-|Ny3iJEHh]:$_Qi;0(~zIxa_be2t#bCG55i>$)br~Πb|:#A]Q݌c6Íw|xi[AzQZ?Cu3ƻP+- ٬YC-Aj.;(45&"π3`}!rmE-0ln7Jq9B6i+F-=6yXZo _*0!H֩<~ч[uKrՇ6v q+)R5vhAV> ALFW{Y]dfVLּtΌ߾r~ދqj69Vr{̳=)1|9RTČꪔ#1Hoj"\kA]Ow3ע|K<ӛyHh==B aw4H]ZYA. &d+r}@ ;jgiR ɕYsk+f;BH4'%LNjYz5,%K=3L~vs914zd"@6~ݳi< o"mYWiUxFlf0TW=_c/xQ1*x$`86.Vjٝj͈CDa4?Vt* >U%X%ćiH2 b5ⴍȼ3=Dm<:"YOYD*Vө}dq^,87˪\M*9\؛z JUb(eҙ(ö {Woáϓ:ɲ)֧\h;БQv'7UGng=wУMȂ"H3C\pFWKEUGƗM75Y^U`D4&jaC1HbZ`^эkE6i 㠰'P-oaǷGo^^i3p$5p:a":g}iЎSA]a"No,W}I&~=q[hsB# }5ir l@r9!;NE҆NǨ7 u8b'}`{5V÷O-pƭ+ouƀiqGitp獋?4, 5WHbPia8{8'!(`$%~UkNiMEX7Q:10g d hڵ&p!>h{cw߶˜FaU_}N=JV$*0t 7#})o;AI!)dfcP!^Ϳ2:wӢJ^|YN>"9⥃v ,Gɩ&ʴ& G(=>R|;QNQ:D6A$1ːn+RbjnbPJAa+7GDDQԳu跸9+wAvIQ1e g]!*vaO雁 jEJTzb{~@Xm4>Ih_zGy{!@~˔_2~096ȩu,VB9!d{ fT߈?&S4fV~A/ߕ˭DD'^i8BJ9󩥝MnhL;=X$#Fոµ%닪59 Z}`v`_$ms*mAɿw{Wt| ]G\2'^,̷dT`p+2t.K= ?*]/G.2mǽ%9tJ6[B 1yȦ(l Az(ʽHo X0(@CO/o!ׂ~ HzY+C 0z8M6B ) .]o;/)