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 FF 5T,L ]S HOL-Nominal-Examples:threads=2elapsed=672.386cpu=1215.544gc=137.552factor=1.817zXZִF! B]ŗXf1-q恈ބԍW_8FW'<㺊PD?j1,q7^ <,"L wL$65yŬV!!<5GHTX&N*d3IYk.f1IJ,@ۓ"Q\x'*:D%έ}@$b"W`T0#e f.\8"KYg,b2PВɃ64{z GݿҙXb"\Sp|J0_ƒ(ZA[fHX棊bAҷGOjЋ:%CM% i3%Im2P7H QY<mtxkXMk8^fDG&NŦE򯇕rhAY ^fzAvqRۭ),aruԣɆ.Ȫn <ŏm?Iy°eT[4#AFxeYNa$A633YއtGFoQz?=]鹇hS1x3W'i82{zZ SDgB?=MtB*8j}u02#M6.1Wo0;Jj!> d4(/b}vrωֵ;Z"xH :rɋ~wJ4ʹb,F̀M9MmnWgK">{(Gᶚ(⭯y# bO`DYWITsg㣯Ə'2bh*x(NwEuY^# Bw^|:Y y!)ujVKa%"FriĐPy0 7 RVH0ysšeUtESDŽw /'JO)eJ^rSRBg)-`ȟ veA' Ι3yks:Bl1N[;kgC!\дyle_.KA-&M=vNr2ao e>>Z;BѷſVbZNP+O:ˮ2h^v'LUw"2-T"ꬫo6*9 >LD浀DK{*8|]pfHw]1ᤨgss . R!HgM 5 HOL-Nominal-Examples$4iQ]rJvMn29.K^ſOf4ڠn J[ 7V@6?f|u6c\d,d;] ;i&*f~5R 1ErWux]{* =g:VF1svs #`4z:jѮڍ[$9HV_ZUNW; K0* ']=rT"'J|1DoE@Q(&e{$#ݏ2 9Y5 ЛIS7J,S--nahw6 O 0~1`3^6N%OX6؅$ t@-3:OB980\ÿNA]<:@!A-z^̐N\;q`'<,dKEZ!PV +G2*2[ 4kڣ|FwEst G$y]mw m0tn *xMjԿ_Xd~ 9\8i8#rxc./H pC]>!:U$<?|%Sz8yy.N@7j{i(L ;ɠ/$mY6\sPe*Y"& }._>ìr| ^A(o|m~$mbG&jD EAL܉Y2fEo!C) pP%CnF}X\s4xp(,@(>z%݀C9\m%[퐌hңuO9ٸuֈuSkŖG)X:[K ngsm6W5I>Pjv,yZ9~rBVrw a] >ر[u4zMvlj-$SP`(ƁꖶJΑv9EM z`땚"CVc)vh^3y:eb2廄%4-j\}. -q7's0?/nFMXk?vѴ&Ķ=@c\odhDbP@?sA1J\L7B]AxRY:1'O qZ&~$D&X짯W M)Yvp)\T Lcc֛Dk*ל)?b+q} W[C|sB| 7fs!dC;+D,Bkw[9tT/(PqT|AC@'۰"nlpW̑|QؚϚ4KG6Nb@0`mb"poEwH9pPBKy~CFBmEX7j07Pf!$ nyLs?͆HRu)&hʖs!oS1C10F)ASm0lM{L.v=W#}b@55}[.<69EZ+bBQOǥ~c7]cp䂇uvz"*Dl띛U ܖ /'_AE\3J7Ԓ\moJ:;+}-Qg)*~7ZkRXxFT< >Lg~-{[}H%WH0bbh:B~C^#c5#'3+̦ۧ+Wq"c'jN9k˞n8F",N[4b~y:(*PֺE'F4T v@͹J4NgN DTHKfe0͔Hx&bOth $)-y~ԣ0yf8(xMKU9"spS[{g~ȿsx?}0Vnl .3~4̑ƕ#砜>oF }b{IkɈ_%g 9hGapYg 67 *(ǦMl9˅E%ƉO¦ V"Qpb^=/QaenwgP rj- 5Agؔ5SYQ-\ȏRik%Br0G'b? jqc|E_Bd8v|\sZFLPC+OHΛ%,Cr~Xr5{FXײ4wۜ6G>^75?Y KHh<'gJ4> Bt0pw6UZ"&U;+4 ,D$s&ia3SETEwKYK3ѴM{(;`I0SR-'$ꍔ JJ7S;@|iZNED L8SSB h%KgRVxGgwM@ 1L#h#esX.1ݑƪHcwdP,gm&MASz{$D\81kw ˵h#層U?@]*7L]6:X2<[]E_^0fd 7ד]v˪P≏_Ez}u`F 8^1pOKNs]a}7ah|OBv&KDAaOӡVSѾ?\D ^]Ѓ0CD|e5ɘ8(=!Lf[g|t#k'X{]5أXY3eISTY! U!tFN0.b{BVzFxIbJJ'.~yp=f \%r 7g6䃾QU>H]P;x7npEk7N$xLنgsHr俇z%(T[rll,QZu h҂3g=>0f@)p12Aa2b##xO3zT^`0~'ZK˗O{Jt{n7@3򀁘nSAN ҼD]]n m⁹.# 9YcB8f+/efe림*cZ7pjS( ĴOx߂|K;1|iHFN)MM+swˉ?R^M}12z,|z{X &.x17Ĉi!SE:"EZq X´7W 4>*6O13p}f8l#B-#IӌczЎr5#b%ၙ1^ϼ{qlYK!XS \:$04n"ѡ|w |ʣyJw7y;LL?ir%[|8(n|lFn;TV|up<mmiB#ϋzOE"<)*~ ^JQl=BgYZ7zXZִF! e]ŗXiɟ1ʹ l93攀Lx3 a7YIE>em9U y?JZ2(\߷SЮ[F5k9/P[p4)H7nhNe/=^v;;j86n#>j떀J ,dFo_nvp8%Z=[7 QPvP)-q0WvrJ RRJPGpְ:F:vZq^Ve47Y@O" jS:Qt0!]fgYZ7zXZִF! Y]ŗXi%96UJcYY5)9~սI YZA'Q, ONjXLԳ 6+u>,N!3(a-IE'+c.fX_"Qڲn2Y}jQG=ZGG#]DUڎ8<;;ԕeJ11+:RAp }6qݢ  <`; eA-\¼7+e([OҰ4?BxP*hAf*xQ,Unkn]IY6yswdMZKk'had)p#mb iU}=WaNɑNx1IɁl1݁1 Yc+,*"M<)K?uw3g S?̐<[CC^񫘧Ck!Pf<Id  )^,C(!oIgGrftuYFG9SQ,/DTY ҐON4pxփ؉r 5;AU#:n4ʭCU?UBB t5^QA[ȠFmnzV nEByE4 AMMm3/>sdUXÓ&!869an(J_h2]^8oDW/j` ?>|e~4.D \:,XH #@#U2O`4*']t"DWA>LY|@͵exFs>Q&SR^*5nd{%S PoIzIT![xu 'cY!]--֬5mD/} .¦/iƀFw7/J*D>6?˦D<h#G_y,+x7_G{]拃XEmtW,--5jT@1&_EBZv=nb`6, \,bYٸA@Y .|q(,vT*^FJee dibgڴ{r&M> 2X]À{[7UW6mڌyah4wnOjf41ѮQ(6_?New9uZYbJq,0:cd a勖ɜ'37MV dNH1כʸOM`&8&m²[Kʵ40ԣK.)KG!sQ勐6Rȉ.CU ]q NrÇP4da!;APUI lg!%D@\N6iœV gjN޷eֲQD)9 %.zز9IXǛnkw$MŸ7E=R0"%ƽ)Y`ZQuᕙuHuW2SV4 Va}6ECezaAd zUM rM{t?JFJƌqo͋z,}<, (e"*bRܱ,5☠@1Xk{Ty{d!0ȱ´O/6A- ;P (@^.H/, GGM)LplgGk$@MR8^FiN{0ST XWV?uP"Ťߤ1gg߉,up4Ry\([j}FU8WG|uO=? 3wO;7vWMyb Bf8#w=rM +,`Ͽ?AB}hHAHQ,m%F&?#6U9uDi@8…-o g ,P"*XBaZH??'ܸr#}\dk !~7S}01d2D@ !¦Wu(7 4""i,O/}fZt^ U%4Rˏ8M\b%`K.ػü+bJ:V^4#Қ8(CQ 5AYu:تCIO&r+k)eb"ܳLb 筩jCzb 4BYNFXK]3Gjɪ˛=/bpUr{ a\-6 *@JnJ2w4TdM'υN6b5`Smf:> _dB} /ͅ *l" k{ DnEY%BwgdNq,pTu dI㑍I 4(hcsT Kfp-.wX(?Ïa[,+> mw7ؕ]yQevDɾ]m[y:k ʢ}<ý݈`y4 aY0 cWmZl: O6ZYCwbj޶$;U0Qm:1vd]O]2S(:老$;ჳL:z62vJ0h>HgޮRո;O?/EvJ7>>HZ v.n̡HCD?+Z^s7؂D8^G oE<bG#L`(/hU4]g5.3 v!9WnZ7m=wͳ`M].iyc~&9"+6kd ~7:\ݪߤ%f)UJǩ=(6É`Vn[ekյ2[෦R'7-,zÝ31"dصC,h]jZ>sAmk zg,@!5K](#vA"r wؕ:{; gs߉3{Rbf֏ ʹC2YwMi(Hn玶@aD7; ~1NՓIPT QjShR2Nth􀟴]](Q2=_pd)QXq72j,UrWX'1&J ,;ǁE|W" bԟ4UyYټ y'61zV? a$?F HbL*9-e| %!)A}04Ӣ}t(6F7`~ДXNu7쒞vc=g)2,xD-ym T90ͥmV֥ M.O:Vxeyz&u2 \Y\ԗs N)8C\ե('fzR)pi-{iz Ϻ=@X71`IijMW]5 ?ȟH=[&!Ϣ"dXV<dўZY^FWбkҦ.LH3E'!DX2ч։t-ԏ#6XÎԩl1o$tS ޝWxQ$clL߹XNN6Įk Eޏ^ e͝QyCJJltoP)>chQV?z(UIsu64p}̀-x%"ri=& P,;X`Ne y82r^TqϺ^A1i:p^;:IVFT j󠒡4%J9;4/CI:A"\r 27B kBPCegn мFx2m+@[f=X w9|y_AzRq~mG<%.Tqqыߐjfw×96RFC.P&mTjI[rwr+7՞7AûsТZni+E/F) V_,{ jS˯+G,h.qBmLVecMණkX1&'N\9iN9eqc( U,2 %.e5#tltl +] Nd#Nv)-]R fGa)c]֗Ȋ'R%ޫŘZ_H\h{r2,&D@Sc (^$ F#s{)P.Rl Zu]uMޏev/5GD8%ՠ*wS.Tv.^}od$cxG>ƕbK_Ko/۹^x}@3|W;8\Axa肒c(M>* ?on88zDńRO)x6Q݋p6W-})aC=a-G(6n>љ|\ NEp:5&PO79˽^c3z\iuUT D]+_*S.le7_/~g$YS].͝3*& ^IJU%6*>CQWj TT}a`?OUϕ~w>ggx~wO[1alIޗpu]cTcU1OgֽZ)OR `*UWp(S&[Zx{Lj`{eH~oF_ :)_\?(4Z*I N\; r6s|ݠZw_z8HR z o=84|PB#D6CX4jFjuIăhos[q-j.63ceb4ZaDHfm4$nl_ ǧ w^PY]Ve~{`s@=J&ϕ/Y[R6 sQޏjWoB 'ǵd9AͬH_O6Sjc_Hڗ̴.r)*gG:3jԶz4ǵ+>Bm*vY8jj7KW{,=Th<u+ɧ%eŪR# RQN{ ]\\hPĮbN\SP䫘$1 F9SV4x@I|mɒ<{П-Z9b߅Pњ/rus"𪞜aO ]m.c!O$8t-`&9'tw Xo]zrz( OP3Џg¦Щ8`2R ژZ>j\PrI-ogp3L&SԂwr:$q%Jkj)sz|4\Yr`U5/M;-絃,/L pA>]0 ^ȉD5eI֑ImǼ>ADlBۋ7? 0h8TIˤ;h.͠|ݥ }Y|," ]Y8u1/P7Lf(Ȉ}.NFaϼ±ę,9IÝVs(qƻ[+$$Jp(YrDl^M?0 q1J2C~4L ؉ `? ~kXr֥/?^*]%V4"1ۧ}I"[@J]kӮpǎ>li.N5a|շGO5`7_wȴ..Vh:=LB|Hki@)bٿ>ϫa!.8';ohbegE\9GEE a"qj`nzI%`W̵L>p⪗l9Y>;6BG b3{co0DAN.Op9nx 1j9;;r3~yRr #bN]PR 3{dd3DcK#1.qR@+_Ȕ1W(QA[pm]pتsT'|:vςrK Q FZP |T&pj@U?N/NҮMes6k g X.WeU]svAP!nN[#b&tNL~o*;P0hO` =aVJ-g8VQXf6}X -T?__,!%l`qU^itC.ɴgJ&VW#1grLX.x%K1ulk-Tzrr[3$j<M8.h;wn{Pہ6z5Oo)[<~[MrADC|%Os-lӒQP-CJ5+ H0ؐsbE3qw'DF}pz-ȥfT"?Yzk{zL9}Ia6"Z2<)ovr=i*&Ŧ(-N!be{iD = kZ3MM֥Y;pηT [C?!w1~S}>jxAg#y0V!,XB+ptUz]WjiQC%`/TLbCJw7O P+Wu=pQ\)㘌7ECXƧ 1DBs2nz=1u9P ǜ}Žݢlc 7ԏ5\FB',^7՛ÂȠ  sF _ۥ8%zd<a է5J){-NZp^,V-dӜUtX*IUtdZ}J’]pq;LS١ð#Z|v*NwGH|T)Z>,U^y"|r*U-UyT~t6ZAd6.m"w osO  lR䊓2 plX~Ķbdg=;˥Uϗ7pR'G =\aE!8#XP0С.zD`[I]gE7FI]GaIӑ)牣͟(* z@zj0`2e{Y<-Yir֯b3g8/#(RЄGp4 '/x<( DJl޴6o)W@/;CL k} FqLH-,K@l6|՗}7U((Z&՟;gqqy 9j!*x`"Ưd!bP%ojh}=5,N./VmQܳ5D[\,1#n=kEiɁ关[ ?UKK i:? jǻ9lv"yHlucz)|,7U[7ʯ38+ lYH`I@\mF|$o~?7=NNp Cngbӥ{ ޴,YL˚hXPT[ K] \P} 3߶ CʪNQ]-^һ0k?8F3PhuT6;SloyeV4[a1YX'hNط&Ŧ)O;~~႖AEF= ^mls2XsWWk[ہ0Q81ds_\-!VNM CE=&Z&s  {+y,BhFщuC"@27Hџ1avF"Ք?輺?c+`0nL[\d5W0dũK&#m%p ĞwlY(>o٣Tx;g7Gu}&qO֚(Oc 'L /|o$~}5;7q?jn9w2]SUC+gVn_rGk<{1IKl)I6I.5Ej+fK;V١2~s3b)9 { I{f&\P,ym"3Ǎv<)J-3۪ꛆȱ!zpjVI^3Rb(PE}ᆚe/UC"d5) "Pw zw3t8RR(6O;k֋{i0'ᙣ@apA݂+ )5/(#Kk2zػu(~ 1,[tpK(aKg@ vvySw`!ad8(U+܈^&_¯:q9V>=U\2_[XG~'⊧}(@PbWR5.tȅ^^MXnjtl[UsˬlyS[K(2df&\:2Zkl;Z?j:xHbcoz!*juZ$S"UyO{(/s׾ur C3~J0Ӈ)l~!,һ]wO/O񗥦?5gl/+Eۉu ;5?U>j=^|FiG_* ]IoP/CO][GT̚"2@з{Yckl|1B4RM+uce`V)VLp0z7ΒT4 1(i37pGELo鄓w*aH$ZFO73xBW ~Db5Gb9_g/r lj'0D*- sr G'o" 'ô] 9z9Z{OQpb-yvWH$;PNnLw~*_<.z.JTdM?b^a_x]v#&^@+fdn)ł?}[] nNa`3?J͙3oɽ^1du`טI ݓ\nc|+ץag`\2 CMdHTvB aeۨޚ sebQlR>zcYn1ݽfȞ(<p1+ދ=չf"B' {u|ekRo7:>4MQ{ONiGr i=ODcYxWO9G,Rt¶ 2 >dȅe!q<|V}LiwR_ %_=Q%V-O/2 "D''#EC۰(ϯzr҇oL1WW[ٓO>-B %[XPl7N@k^ $z&s TDZvMo1vâqHIiLIYg}W%@8s@ֲTA [z,K ͯeUQ䘪:9 c1F1#D .*,./ ujHATuߍW X{"[Am3I>1IGiiog>o#^tj_pSKHqJGA aEj1̻/i|a9p@AzLs^C?*4Bܖژ+" J#?ߏ1bU΀ݫզKH&zplzu^Oa#-hZ[S;jm?pԊ+ɇ(iٳDKD?'~' N ^<-,yo~_ɿvwhit /@n"!8^~yOJv2`dK-EiqqfxEwYak'4Uls cs?ǛJVuUŎ@NǷsv|vXf~3E?u BS Ul}[ 18!Esz79)ܷE_ td]mx\|;`w Kj2tl4;K#gUDcugɢ {J)e#"`gz_i/F[4gSˠqfYL#[ X˛̿0~o1|j0`rW7Ӗ?`[JɖtOqm/Q̙]KjXt f dkC* r >m*q݁b Cr~ͥc ݴ ѥ6]URi^AB:= cĂ â\=,UuZjܰmTk.řLwumm) EPG@Yt<xRzEP<[&h ,S Qtc0j+;e2ܮ jU~Q|1ne |%SMly{L#i#c1v 1P%k>3鏹 >١oYH=seu%K_>Yx.+;Bp6"[ة4& C|F }1<>0ka}䲥JrtBskh9ӭ#=t.CsˎD%?/R^bnX&:|~db?s?PSսZafpjup}h3K| \_qµCk " /Ѯ4x^3 rurm1_0#ui$٧ք-o=9KvపV-1Zr ՀOhEa`*g,ұOx+'L:GKYhTjgxEƔ5w6NdnuׇKI,*\:3L# ܬ1p2DǶQQ=XN#%98J0Gh}hv-mـӣn3*)CKNULk q3;,=.MgM"WnLj4@sUP1=^`4ޮ?)u9-|;6 /tԚԛmʯ-3ŌOIxC3چTjo^suS /qȨ[a rqɹ!|n(aE745~׏U:%5 !Ak0 `wZPW|DZBQ篔-WWNCT.=B`mAni }g;a^?..QbfD?wʚw-b)p\}>X[c h{D_۽ =qIK7N׮[Hfovw58V4gwH[(k> !+PRa{P)+`bD=ulT+HƮc)۩~mW:(0Gi^.c.ZA!=Mv{Lcx4)8I|Ucu>ԽZׅȈʇaԦM0#m{PB,̜'Uڄ߾VCC&Ht8s>b(\1#h% I`zWūT;TA[=>!y0-;c]|2dnp )a' 2;~TUd}L'ƀ|g90EZ߼4)*F&Ǟ`Iىɻd!rī3 j\A\uy.{ c-on]a&*v[L7w]M_R:RE_f[%JzY lovwQ'>)Bc۲aN?v#n?de򗳊>u-R~(Syuʝ7];NQoyE#$l4vx57xlMU퓁t R2?3W(+бPazH<z`Z&S˦Gc<6$cI v>-yd١j[ $h:mg$qkz+p=P]"/T 41$иQX.6eGx95W.h_Ax媫r$wbQvшNsʹ-1 ݵO3jкq~Pi,+58dK7YI?ܭWϰ0 |O$-p-J9֜нCX[`T-Zz#WdN͇m(o.wX8 VKf*3qQ_M16:v׊xBcU%2IkJ[R<8hp; O!2i Ȟ1ra BGŸBu8of?vB|ND1 û5S@IS>Ǔ{]!`\n])V9+}4eFeHCkRA\7&O1$[AY4M~W:@`*#==m3WG/pOvw8w8mU[`^o Cњ$a|o>:lrfp$c pv1V_2=H߆ʢ_2ͲiU<М%Dh%T3T_ 1fW.;1I"oաy;Z{C&~O au{ûOdM} ~"6dekQE#{޻JdkiBG\w(%6؛9+@iA;7ck[W|{4Y<_EwXY&: &a Cfw!q<+!i򧬡`ZeMΤQ)!I2 7;"JRKtuͩB*eIܣ+% 9B?C龊?9nar؜mUg<?d+ vZSj*.!Lbs;Nf Eko'V9he"2^c҄Gt?n(HB}?xŸցy A+X59ӬliRCo2$Č86!oWhM1~<X3+Za7$%aɽ^Goʸy2Չ T/@cFT!7ʥ0Z61|ZM_D1cZȢX~6X8`)´A3݂ho3z ? }@k H(*(|FRq(O˨r`x9-_#U.ЊYN'_%n0\N ::t).} v̾WӂF%më@n)|mi+y{.#YGP7IG%n!JWo;?xg[{9e3Zǿğ!*"s{U0)oW!`ldMb[ p~@L"ߜ>~Q`;z f꠵p@U/NJ6rj+_=Ϩ^!g]g;X5!y:s$n0Hdk~*MՂb $MuԴ q6b2 _iu ڎ Uэa#*L>Ck3Nr-R,_C"9 B]K ; 6i5ΝbHv({-a-xN/_\Q!o\:69 ^jwoGnnÄQ uΣ:T bSz13zhZU!K.Qn~(H rR _ Baec8@y6:._lFlT<༪r;3n8~+H(%EV4gXƾÓ5FLfݧ0raAvrb:o_Ճ/I?-UxXllL"_.KjҡLgJ+!C6!'SȌ+&}cg"_-ǭc&0WO`Ƃ2_, .`A2ަJ&?XwZUh+/3{[SxHqO7 Wr P@޽ԩa}ȶGV dӂ !˸#tΧv#Jx5cZ.vbE2Dok 9ݤ[#-Lu== b η |]b"dx'@ؠ#?p4) ^u˖Yu1 638D$*ڿmIOya\d2HU2ns95=e NUsܦh!;M6O=ݥ&Y`a"@+f"'K'B\*[+F 814/[H y}r~'ZWmhTe043| qg fpz¹ zD)4ꁮzEPm>$^8!Og' d>,#AaZܗB.uaZM  ۅg8Q&4?G=Ek xIcɳxm_b0$rq6s!`!v~(YL++̦y:mÖ3WqkUxG߲;9Yz܉Y(&%2'rP]/s F3 %E{\'DC05@_LJ}+uPj2l#ng,K귊+z k^;~]`8zDHdBٱP&uԓ@1/~ 6EPOrf%v>&q)I @+n;٠Z;~U:9dD Xm;!1\8Qz`ƦunqEizVz;CHբͫE:q>˂\5TlI}effV?Saxu{ٛOOhټKg֠>" 'y$_~zRHߡsKflKC+ZDnhe4Pu{*PV;wmp0ZU&Vˮ\\%R?~!3dzW/1HܗB׸jBY47srwHEE?}歡حʘ#MۚUFqd~Y BffHkA0B6pC+}zo{Ɔ]3l(]ph*Cr%2ZX, 6񠍕aƖ5+OȾ!&N-P_ W(,6\m㖗 P@ WAJzż8ZqXOCȊѝsИ׻<x dT Yv+aa%Jy*.zX#`H`Gj8[䱢M a?vSui}]13V?z&лFґcFbt??T迗Cr:*Br EXÎ8 ߌlhE)j;%-Χbrp&5Grhτۗt2\߆C܃Rs^5D1V0(NGn;x{V {apg UN^/;FRԭPt]G z*liZM)ʼn7H@Ot˹&<‹N{ IMU~%V3 8fѬKJhbN1Y7L]m.Ƒ7W|uh$_'9xvD=C;Mz6`VZ5  xJv9]#^6QqEUYgի;&+FV*o!9kxU 2Z|yQ i5D"ܷC_A0m#u4mF_jrz%N2e|Qo=HG^-+;hYjm  1@.@tȒ_3h 1%Ɠߛa@"ZfA 4f,} Z6 ̟cc`[qY7 gYuZ{ɚ!@+嵷nB4dȬb.sXrԿ,3WZ2ʍJ Ur&ImU&-H2ઓğʽ;EK I90vNEfO"2o fJ0TrQuO<: lk;5u2Z>KZj z@?! itoFTrA{0x1XGJ%daϝj\O -A_c ҄7yW{_#N&!TpP,sOE k-3eܒƫSePb!jXʵHfnW$[VYQ1t$(}c0ѹv L_=!i.Wʜݟu$|&߳0(IwKqC;@[N1T(&4*M.NluY/l`¹,bxM?C^.2V#e{)_(>,Tim0:2CĜ /sf.QI);ӗNRJonrKY)G3k6eL~kƁrɞe"| # F^К<=ϭRe35y|kx7]0g[Shϳ.Wpx_b~)$BO3@w6/ngT Le\g1o I,ބ!A̹Gc @1_]bRfhF9A꽒:{ǘIEȷ̓Շ <;`֙8&>Go,OA@g4~ޑ,} 1eM*0a~Q,]z*&@ +qfO.a%IQO}%Is-Bۆڸw| RR[<|xӺ'&ȶiTnނVd y!J V/ROFUjK:ljd(mʃ!7D$JZtCtG!J3JrjYZ(MRQHO`@ֳ{HI. V𵝛_f W%<#[',@AMșYq+ nu#AÔVX{WevLU~P,?.'=DXK=X HJws^z+lɍPhj*E dAA56L8o2&lOJ?+mpSxJS6=>u֐MTvNOɶUi>lX>w\>X(-/Ӿ4/ht|#:|>ntYF#ӯ]lon@_d^UOFg`Y^zIϽ6Zi| s_S g;gү(ד:LhǮ Sa7&G7l [8W`M5Zϭ1C:BWtFr_8}jOn.3݊5Y4sHN33@,]{bO #ASx@ ʖ<2eZ 3'^Cé  T |AF.]\I?$g6N2p6cHѪKQn3-TR'\m%NxdE kTW <(8-H ¬>m#v(rl_ hO0g~9=߻{}N=I>JZIƆ7+Aح/=gt;3deoj? uF X#=G9JܭFOsz>ȅ} k=ţ->nY1+Gj(ˣ-حyғN\V![dur7orxg&ݥ糽=Zz!By[430?e֚-ma)wޠ-JrJ 3&fr>N; [b#C[V̹Mb"]g'zv Ci xxw/!*ӁtU-6͵ -EWGώ! RC\0]_ߟTkLr-hYDmjkKOw#\Rdl^nu5KoS.H(ҬgMaǪ nŴ*u ;Q`s׻;Vby.4fN& qW"L&X9rړY0<RZ f 8<'b͂>l33fCT-Iq (ʛr3ѫ)!'eؒSV6,gI\ʴfG>*3zjm*u@L(]-k0\EJ,ł~[1b't0J}H<gkU`tyFO) sROd ϣzid/F0Y 4WܣX,Gӛi<_UQM,>G1B8 eH~bTkkoLG O֨;:-KPyung82Hg&$![yi^?9,sʒkQ6\vEtqOYU(W5v|啨I38oGP)r`Uꦫ+!8,$IuF9vuM ;uA2*Qxk Q2HIi0C(-{{ZލZC?FJ7x|BoE WH{ 8\\f+Sd@!ڈhZ^(BGrMڸc $.V7sl5ggUn2D}wTDHLQJFC2 nL8ne?nOMS'BeK}oTd jUդ^`HER٭s '"ӨdmA$(ʮOZF*};>𯅦:KeL9 _]ZB/*Uqa{v_tdv޶CMφhX$]9߾%s`"aC.*IM.R.tǬzGLm.yI'bSt&d࿂T /뵿z9DQ"ytak J{!Th_V,>߃w^g@TMm7#!#A1_mZc6jx~r>v/0k#Euoe8s=:=K1v2G|N% ]jb3FWsI1TR]Ĩ!UFJ!/CYjT}ʹDcݧ`NGa#\@,ZҚopl PZE cX\-2g|c#4}䬭nsZSPB>m!pʕin js͜pKn3d {CkmWnkO:ڊ;88}zQكFae'mź7V{ x"/+]9ST>V3 g8.-(ncs cZOK[*f, f4r6x%5oXBcc7)Lz&`{oB C;"'BӍ/sp5y 8X*\`qQ‘7ď?G^4 ݤa/ZIjΦq`<_/eI^f2XsCZA U>u3peVܫؓt'>w#%ƃ..gGޛCXV zb\MA^sSYcijkMҎB-/;6;AGg HFyK%^K+ ۬Zd3Db? %wj>[$yQScS^1q=F'z!Ҥ)3m MO]u-3( ӪlB|vZd:6Yi\¤S{]x :k$C}1YʍXҖulQ%׹H煚ӼCaՆoH"uα43S$ 溟<3G`m{sMca ɷ@ *̮Cb jfdnĆ@٫HWxOX$Vp[A %Y--6IJ1xd$z =pNV`ǣd}<}}?v} gA駴kӺ@,'Ik,b+fvng]J =EA[?Y&AE F%y][at9; 4Bݭ)] IsT`uZ@ToU:yI VxƏ15Yng|An=IE||w糇 cl:SY]{ߠ_ĥ/5{kbb忨{mrAܕe&dHS6껪S3CDm bEel4CRw?k^m#(a /hhː]}Bg:2LNґuTD5YGdMH-Htpe|V ZE̥G=9]!UlWѳIrbx&< ]6$- 'Q|piE!PMiXKnMkj܇aQ 7_H-yG4aӐrw pT[GVQ0UԣuwĴ}AS8-QfU0;핏׵z7ߘzʘMOYIU"HX=B: DQW6I4Vm͸3bLGT{}35AZI70VnM?&I&~p2.)ثq`;S*,}]{ ]<*nX9Z jb YmoN"76Kv⽎cyWR$`,}[GA[u*͂?{6;ߺlNi4Dffgu7MaWР[gt[$P ݽA("{Fq3PQjNm7|Mb`N$`~뼯M(9qO` g?̿<;)+OҘv5ms>2r;IEdeRw24wIt? <NwdT3iʺBX/ YҭsfV+pZ˧y^|w(7:Nw}v6't.o)@$9bjaM@o}h@< '',G<#9 R)3eٳn ȂzE`Bq}_&T@quV.h0уlbcZC3JW %4 kȯd rg3'AN8(M- tsBR>2r/H==5.^.l|2Hc5-X}}rJ Wa@ti$k<<3WYB=J UAB.79Z ~>RiY;>]XV"FZxf"ӴiH p&Q|$&>T4B<Ԇ $$hQ͔͋yrWANo#D'ROO#X>7!AyՊjc]+06gJQez x݇En:/0X -W۹JokR*LbܝaD-[eeabWsO1ˋaw%h[N;v RI.'[|`o\W"Ƶ]5x=Df\haFABH*^färgf\ܬ1B (peР`Z̫УڗI[ ofąfQKBt{٥P8Nkû0[!ˤaFP6tkE\)AO^(QZeuYe06Qf->̱ФI=((hHj&+Iôd~# (rw#ԁGP45hMx}Rm[Jq,OӖ F޼z ̤+wjqkнG6r iZ0=@Ҋ@Z麾~"3aMfovhwƟ^% Lx_B?18l0(ޞ_w oɲֶa"ڐIo&0q8ᐕ ྞyT " 荷NL~ 5̤G;]X^aq?f04֑g*o]N2 7#EG#6l^OB,y =0\x .o,JU>F}>XM]ōf\cfu uiSKn+jwpe"K,ۿ|4'Od$G1 =lL*7t #֙?mjѧBG\dL-*D MG*ʂ'ū'Rr:xS]zW\աA5 FYQK .t:6GÜfdBϸiwߗ/آ*Ǎ: 8w y7Si1kB"[f r6nkcpW!-8S{XaDWPk|=f(t< $ǍW[I=֬j.t){8NqIPv[F'? ⧱QG}iw8)B_j]{[y@9ص֧4h7-?ۆ<bΙE4S|'㴞$ĸ{P-VP< nE#GҦ:dv<m\׎^M ;QX vzhTTM5M 5N#թ0: ?cqEC9&-wIvO洎I@9_dm8)zr`8 ^,&>Zc,ov'SC@gqooGi\_٘:pr^B<-YzA٦LW(膯FEZK:Ilf9r˒b$xjI ^ nEѽD(4j|"_KN>AY7ʓw1J =2?g!+r,cG5-H.9}:!k5&@H5-Z3oA'^ 3t?렫Fi({q?"z صa_'H!WtPi_`qG8uO|U>5X5pltXz!qD1iQp*% V0j\ڱmZ1+T;j~Œʼn!.`"֡po d:^&K ɂC-obNerfs8 a^椀`/Lde2@S,G̷?ʥ:_̹/@FEm2ӭMBpƞr 9Di]&NP6=ۥ*_B".W!h+8q[# "Hi`A`״ùUfy RO4.':>V{H4#reFBXIKyT8w+z罼&!BkDz],&j箔3x* ɊEǨsww%ZpzJHVeq&6 ,GF[^xQLtJiAbm!@gB . <y*bz<05ǫ肙d0@LumV½F&UD˜UټX$Ξeo$ Lzsi$9!Q7M}!cu}沙.KpaU,N^ףּElTEx={7q*`cϛؒ% !d=ZĔDvMwTpU{U8Օ̄_ky QBup,brF1{\]l13VKlׄ 6$T2;M' y ~?t\e9ʅxv//ɦ7"0sP-)!xcZt!z_ Rs$zd`hߘOSER/ByS6D'"|-S0 c9^Z+;:*$P3$:/͂f=F@a(IipKyNԜ.'&E|HǴ} 3߂i !f%9xfo3a[O JG+sxMA i{eZ5f#B%DnaXa1pF5|}~s=Bz}yKs#/`HxYb݄xKLHvr{ Цマѝsm"<M2 -Yj;Z@njBrɅ9VFD mtQ?8hLVFx:,2#! 8hmMq)KD)GeRA46~;"_ m]`JGͥD`@uPj88QdU!gcHKɦLN ֽci^~7p0 \> y<hئNm]T}i5yګMWw[vG M u%-!'T;\ xdpPKx"H0^IdqP9f㕘#4yӮBa7?iBg~']:lMdqCuWv iӼs>EkXۥG`lQz4Q 됄LV^*+hӽ=l~…Zrnx{h&br*wfh[^a>JoFcRtrS<[f2#FzN&20d.bWQѴdҏ#Luz #_ka3D0 &jQ=5Vp=áǮCR)Guv<TB.%Ö>?Jr0}FȤi|Jz&[N{݂H'HUcQ*ȡ0loJFqMCs;ۥ:jp U'7Ee'B$w+ž,p.)zLњKLf+^f;y@M72 S*-lgYZ833c83c204f95a0734b0ee1bdf844d889ac4cf8ae42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 a63742c749fa990fbc72e4972a8e6e8298291f00 e0a4e74ff2c5624b65e768ed7d86791046043455