SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  Q Q{5L,4 ]S HOL-Nominal-Examples:threads=2elapsed=666.233cpu=1240.784gc=143.744factor=1.867zXZִF! ̂ `]ŗXf1-q恈ބԍW_8FW'<㺊PQgdj#\,5e$u$u Ț'ԫY9./T&WDG}TrޱU𾅨8͉l-DM=(r$eLUtWcaNg `jKAKz16"Hܓ` owejfRKYYeL.B t gWXsvE=s48J,M¸Tm dg"(A(N!K鱳Euv 8  _Fa!R(X-(C0ۤP-e Wx ]n1vJkuD} Kח'{ s߀'K4Y zŲlɑByHH ѹZ4hr$)|m#l+V폁7$=3UW|b/_?pP6? q&لeW&Ѐ@YڬYN0\ 97~vkr0lkG+jGq9{7a~1@_LQFyu; [Ilql >M3/RsH-%yDpsr'fDcj,:!P,[GYb4iaݒszD>Gr&Pwi'" pЏ0*5E#/|bvŕ#$:,ohH`XCK?gb>F (*H&I8wk6p4AUcD=[G )0tPw8 {*c0֗#"<9fdMm#$ K(-O۰ܜ8KvaUY"}АoޗՋI"# |fB։7͓d~Sƍ.2gZx';X'4 ó n]6pP?ixEɭ$"^uŖ 5 HOL-Nominal-Examples  Pr8iH m4UOS}j!m3?VDЕ<^q!,p=r<1i#nHS6OCrOb'^dyx19A b-%4:gU3 r^\ ?J7JeO4r\n'>hxdB08}/暐aF^_ս4ΞBAo/"fmcG.ADj{JQ*:J# _@Q9}W;r~D_5af刊 *B9 =-J`-YyWlf[}nJY:^xvP$%0N.z~-xط+m|6KLhXQ.8I{wlޘŧX,.KM7[s`{3=Ֆx %]bUʉ.WX@F(|n^\F<HŏB1>B3qǣppB-T䑒< qIJY˞KX-"BE"Aa(j1?rH_k9".E~eCk᠆f:Ycf/F!qWAuVSC"I)$9~_R[n=T/fG|rqrwH$C:Fư%s[ϥuj7.)148ؖ61Q ʵYg_q* v`kZv"YFgŝPQJSLR>nܝP;eQ((Vt~F.9&îzh1On|zMUHbXB?LL<|[zg$ԟjk|$} X+U⪴TD>z=m4؜i6B$4ƕ:)i]Iܵ41KM֙9C"|<ܤI(;H}ݰ:*5B3LcJVDcEDnTșY/+or8ڃO F s\eXvicQEtG@498w|VȝBC&[$ }SswN/UmDb8(0/FR-Zɟoe&7B=npֳ"7XaiFyTC5gZ#/Y\ʄtv= q$o=8JXSzy 3'ǎMg1""8w[OZ?[uF@E`Tج'XD\%99PsR͝cܗME8&MEQa٘',L=H4JGD\v#}_v1wY2ݟ_ BDF5.!D2& U/DDυ&@PL qAP)gC`V):w m(-s9 ]B |j7'~! &,X%1[-Fw9AMD==AFkerF#1Mg/ބbT b&O<| zn6uk#WJJц6䲬=w,t١~ Q l|lQIRW M k,UAy4[ſM9۸_KIA2Jk$ޒX9C=6r7U23zGr\ 3ֆ1Cqd˵[@nj;1dx:Oy} g@F5LFH,6e#m>t"+3|[xjIh{c9vvqz:_3&nnΝR(JQ;m:# G>jeKfԇPw{/ܓLLWM5ƛFyءwza`Z uV\WuU!^Xϼ'5SƮ^Pҹ, ٦rE¨L$Ğ/"ge g\߈0SF4F*ΒP65Bjv)r< |8 c` ERvB5ia_(zǘkp4xW^lx-xu5{}! .Qnuĕ.ʕ*|YTÝ`9޾C1ܸ͘Pߊwj:B‚L-m0%dSw)$ռ BXvSGyEp}pjHf6T˫.v*|`2$MLplml. dj 9$_-!H+,J“~SvgvSTY-@3lm\]4xYOK:qn%N2eE~9nڻ$N 7/>u/_C]EN94esGǛ+b#Q\F}ᇚ7dpPG p|MiHU"/aL gNk)gnf}pۧlrYϧ[uu- ŎXXy &L;(f;ihC2 jb J+[U&toKwWrWX4k.l[KV5u_-̟D$ G`1b}-鱯tTKmfpbb{ߗI؞t^1*HCDStmr4[WhؖF'wж8]Gx<÷kԞ:4VZ B1DL'(KCcڜuYqK |!_   <I)Ĥ_c/P54O7':6RQyԃIa;X:0 >,REF;U/>_ b>8[vXcUg2$fHG.9KEa<(WRx*<,Ha-!q5f"8q!V%mG6jØFt`=.5!Dt^YZg1:ۀ8ױuro_0袿zUVL]׀ŎUOcdn41Ш^ x8S8g9U *ب12_seΟtߗ٬BIĘ=87-fU]g^Ǽ%4#7ƀ@{)9HyǹI?[Xٴ%(G DzhׯM#)E\D'#e[ڱi mI[kFjV])Qu'~φ?t4AUm{g6ϙoZ|TnO3ŋ0|8>Ao,*n~?Y&4[(i]~V4"4RKYSU鈎n K3KN;FnK .T?gK->1"N0,kECN6c<"q"~ v)9WuJC3^]jIzBkDG*:ِvWNPf Tfu5E${[fhͩ^B9h/;BN| |NuBJYWySudɊοJ{1mxb'̀CΕGWV:&K#z*MV@ qSǬ[3 lA`}p-c~Tr"zٶtW~RpgXL#ݰ0|@M.lP#Suo;w>c>8tԽjy)"QD9:[dJ꽆 jNgߝرw%l.ZfR3{Ie5]Û+hpJrH'c־oKe`CwwpbL+I!{- 7k;7jH5Ww $Tz[=G/1H468P}o|7zwWj"[;9ZEmG^1zɗ}goOW<׃`xZ:r\~K{T#?kᥕb`¬pn2(xcY[9dR?΍9s ra"k}עR6F笖g 1E7(IKi= |ƿ@vn.tL^dF@!=Wi!U`Cn%"uqVUT~w0F7\iD>1k+UYICO $rrP=y$1bxoiKV4o]Lֱ‚ 8_$P*lIa#&)fa#^]J%*3D|ޚk/a]\GrG[Fߜ9LbK= UFzMRf;z]7G&_\nF1hQ?mЗGrSij<-iFH*/ORe:*>ԅؠM-BEjn1M,؋f!c8]!5P"+O!rsV4%ʹjMf$z5JY%c]@)>H D(c{@6O|,\V04q9)ྐOa2l_x ,?ׁ<l'.Gg˹}ʡtqO(bЕ#R ՟67)Yg_Aj5)RdI{\'ponoè-$;ն1%]VzvG5E1CJ ԩf 6w~0[^K iX)9zsX-Ă]-= HSJ錷(kY1qgSd1^~*}voU4dY }q :{V$+ D*lgh xK29-~W "D"7"5BM [Qm0GDsaZJVvYK}@YgYZ7zXZִF! e]ŗXiɟ1ʹ l93攀Lx3 a`j7ބ@8HC n8bŴީBwn۝ J y[;݃KB-1m'ʽaYovp zY.+04kMmD!xxfEvY-e)['ªu|%LoY^oSPaA8HbmJu)lxw 3,P8:Agy ;)vKT( &n2{bn&ӣk A"Z&VT^ܡ4+bαAAsG2Jх`fx2Wf[VmuiKO@ %AXY9:Y8]<*o$"!)gc/ApS~IywMAXu_sYwsv0{(]),wƘO}ҝJaV'/m+B4$~K Loi;Na"hoѺV*od(𓶜1Rǡ\Xukٔ=*upR}Ɲɷ8Z0@>qm2hQt58=dG^,,f'8P !Zrs-q P<-^XXC{vĆ2w-UQ>QJW0'xYoXGf,߶tӢx?u8-;kqֶ2rRyҚ8*ѣPvACeP׌y ͗aAB7݇Wsvy@`YԤgm9]Ե.jb?do紮1 .lxS3_ISr;mƘՁmճ^P|C:&Ko ѵ{ALH<2&|/PO|Z^@u`JHFoxl9])1zh-KG17%wDsĐcqmm:Q€5Qj .6-D8"6yxADc }p Ֆhb-_eտ lDpY83|SO4T}*;Ȉ-88rz7Ve~it}&ȯU5De֤*l+\ފ 6a0;J͗]~mv'=M@% hW7[]La=|𙦌I/Pl_˫@"hf(}IȽV}_?n[_\)x J.}<(Uh{?eŨIa}R-ʔhr |/jmp [[Y<)&AbJw-m9P~iBd4eu|S*}zQk5~g*4GUl#Gg`e(8)鹠OЦb˕Mn qv$gM7bRDZ-]-}:[/w1#ިOAڕ_\ ! Wvm_H~"v#{лtMn+raJj TT:lyݩTKˏsc"7Ì'` +&y]̶ Y8H9;=>frmkh&/dg!u\Ya:=H(]WLNptc\ڿIHgz;ǰh?Pj>v3IIsy-v&2"At|j=Cfzx'`BFyx]2f %PU<;|*BCi 77W ~+d\=GN %ac/#[3A;;'VJ7._IC5oOY&O;zZ{n \iq KzkT[څDHPڎ{Y}u9a忄27V&1fbPhYwC^ݯ@˶"t_ h&m' ]*6`ʻ+5]Y8 `>\ƒZ6ND.oр,S'vv+]k{DIo*҈UgQm)@#t#wA^bf_ /'~]Fn|.jEȧXE%W$pPZH(uWz}Z\Gw^|O$C>F}^q0r"JRjRta)Շu#_7  r͎P|^YnOS&s [cxA`Pq9-vZ ._ eq0:laU1ǡoB)%=2 i?(|hI0]kER{لDƊ!pfOo7x1YU6: mʸ)Au·iOBe,MVI[= 9t 9=Ad lfv@}Wd_.6 vFy'Jv[Paunqf}Hr b4!7ߐ p_ kRPioKz85_*F6OÃd`2X d4KPgM=IW/i.ٓM-{ T^F}}< tQPkqb?y[Dj|zA{Ik9Ž #n:>_4@B^}د/ i ?nFҷ=& (j⬟knB11Mјv IFCCJ. D7R]ԥ[^؊z j!k_sv)Ő9X-.J}56$+?C򦼢R %BHzt^L< +JOzϼ[tfQH-`@W+zvQ@h qCY. ݴ0{F񁘴^띜PpvBr{7=MVeH9uۆX݄. &@ZpA!F-6`Wʕ,~n Q?eלpUӔf^F!f$,ǒagL3Hڟ|`3ZOV=R ѴGE$" mPJx`"^e!wkf"N8ʸ?,. L?#$z< }:+0d6xᄪ=W S>څq>y(bXbb/cQ_Pzy|qAn2 ʦI֔ <;c#e/Whq W̓()J_#P?鿅 1඄`]be0Bov֭&*4Pdo-IE9 -g(XL-:"f!#׽|(J7ꤏ,Pp:x#[g;c^cg3wM׽Dt./P[ Vm5o~Z=n=S!%۫1q݋8b[ո]X/¡/ DqұkYU_Deגn vR-%]d{J8[1/Cě @M@g޶PZ֙OҨs>&|{7}:u^ANe}w iТr ֺ/gh+O@Rjw`oa<%y(ӭxSXj.}NH kЦ@<"vmЉh+fMemsl胉Q^~N~@%׼;5> Q^ 8F;UJ(7l1 ha!\k-!Ill.X  Hxy)Pwf\̏+NdBn|D kryÄ1?xv(T0 Ke{fɉ_m>wl^X Y՟QpТEa ˘sI$dwJjdp:R;<*dRƌVb)W HVp `8a+OvcfU"m;7. ]~ |F6=\U~*79ebW9~$ W7#Խ *%rgDC,'Q9 FwQЂi)Ej'uiԫ hθˆx"U9Y,: *A,ͣ>yD iK&Eɕ@p\wL SZYHV-Pc\\Q 6B #|Y'59k)E#ޟ*ؔ9ixtRJ+έZ KA]QʱU!$U~C5uQUQFFթcH+Y *␨If0^JN\Z>F;)(UF.ob9tV4ٽ>mEo|1}MS t$]' T^cO :xC.`8 "*Bphԟ&Zt¼(9\Ë(SmV@Y׃8ȼ|"hQX!67QD |˭Td#z9l{T_&{U=5|tUmXh x`AF_?쐸VJ^^H/ v1]w)^(Fc3nb$ cHVjQUybǃ ɥuM82ReX|bLWbI`qԐk#(TɐW{ix ѣ ^\zHm(HP[B3&o سQdx+3C:GS_l ԃ^ݘdkT4oG *-u>)}f!lkl%Z1Un=rVBgZ4Sʼn#^.u7$b7nTȩ5 I:OӁO*pt4RCYhIsTБ.Dvh =bWHinL@GU\]ZhaǍ޲Qm]e ܭhCiXRmfd19>rR+L}ڈvw. (1R@w<V]FdMK)Uwt R0C]|i|ypX_Ntuq(꣣Ob?ZBg |\'W|rùCJ͛ΗVv-IM Ǚ'Z^50P<4}0Y[8ȘUe#mqhɉ@$pwu4MZy3,v [ ={X`OMGq*2SJ @B.)>U5\x0IPϰh0l$_GÂϘ#)-J%Lj8|LPC{@[0l[䙑=c;<_l X"kBGӨEx()KtPpꖫ} )/;wK0>8̤NDfWSFd瓁UBI-+#K8d NTk}S]TȘ̲{fzV\hk9Mc}C)gYQ Dgn'LZ03]$(pQزhFʷbP5:@{kB Wbo/\QHn4|1.U{ ,T8&1o_9V+s%pJq/V pkMI9=W?!7R-cYP x )eWל<8#l,4:Y?T؟=t̲WNJ*ر<VpD]1oFo6<vTH"(<\Z@CQ"]?d "X7Ļ? Hp.?V61͕]Am?AE]#tMƏ!Dو%n .+5PI2kCne֜D!U꩒}mwqЇ-PqlqkYKۛ3fkSSK2]<T<9jGL آ 3 $ФS{{G!"ޓNg`^ͽ}ϽL֠~C;tẅFVQBAm)[c*zxV^=i欠*!8J"V ViUt{S#ׇŵwMni]J~qi%)RQSn½[-o(-m#(H+eSAt&!DZ를EFVPaz:)&G~B_6u>u}!hŭ2ةF>>RW@A QPن6bC۠Rk!0O`6braAƻ,L?Z|/sLfjQʦ2l]*zjGX$$r=p\Qdef{]GY{.ܪ=:4 h2Ve0UwM 3S%.wA.MEv)Oei}:S'uחQNY V6@69V"JO{Qm_@nytR7b>U;"LM?˘kfr@E{z`4-M.J::+?B~7_7q0eO&‚ƊΏ)T =Stݯ"vA\h3u]'B0wliYre*^͋)iRͯwSbIDKɘ1/:ջ Z="zi֔TacS7vn3fJ5=tQtZzB>~r* |Q0Qĭ(yFA`V|mJ0E1B^T[&Hוau.fjgIRo<͞46LMhWjQU+7$h{!Fo3xmz ʝS!J(<-z-(Y* GpMYM\KknTА[d´8v \+Df J!%f5b wRqԟnÓJ>۰~#}@7+smǍGؾb,:V. oa=aVkI={7 O ]Ϣ]ujr<œyj2Ǻ#6jw̻:ltģv+"`q~D\&6a{&W뵈J0 Y!޷8GwNˮJ~\Cm SL˝"' ԗ5zylpH wu@| ;w+1P\HinϱPBA[-SZ||m"Ot?|/S\Z5?p& ^{F{ՉM̂q(\&(c~ٌ&nb rd4B69*@]hɂJpY窑n>rf0 %"MחԌMПV|OגYZpߗޡZǍy<,AR*Ӳ CƦ_TrNN ],s!PSFR> b׫Ny9Sj,-UQ}'%X78՜ռm&#W޲S5YŲYo9gai̯ؒfG΂jNm 3}',R1:ὛḦ́piC`l" I4/b%3$fbp7\ge-d*BN]6/9_GMAv'跚;KEINm)չSgde{rG+4`cH7}w-0?jh\(+hn_ (?K D\\oL=vܙr2rԁϙ?VxZ:/!~桠>n_dP-dd|ux?#_Pi]BN!@XZfmY=HAm 9Br}:=I(8$GsfǕ;4}<Gtwico-v2̰b4bU lULVAB \iZS6=M`ӚX pj0gMłwn |2QP.Z~C @O!q?$7kp/BʹP?Is_o,-S'I z8KZX3qv '`8pƮUwN(~|9G9*#}9#Qn꾧Dm&Txle$odq@]B {Fzt򽌟9L~`ژngu T0XHbrxĶtlC8bn/YLnq4+eeCbo=gOʜsԔ]L2L7N&:lg.ajw]zXXcN1#m>”fr.aOf KSKclCW D*_)joȁ x=Arc#|ܜ0 מ"~eE೚|L%c茦8nZW DzPKEx@vs/ zBPqdovPrx$d@I^#+,(HwHyȦ\+~ GЪQgjt:6qKA7d)"kt"씙_+8DpH2jQ(UZ׻IZЫ42-n@m R<[vL Z8%HbNU_FAŃu.<0 7}5d~ !n &k6:ٸ0pErůKcE+q !9+q" [UWPe(G0"z CrZR,{lXMeZu+д))ֶbN(%蟝;:ǭwel eTbҥׅKp 4UJYFnlT 2WKC C̲hnf.d %T*-Ö_ ڙCy 4:q,p.3Rr\Ø) R/6Iޱ  pLD/eVGO2e‡/+^j)UDB[ٳW `2p%IXguf>i8B6a ɚNd<w]޷yA/ߝ/T^]^Xdh F]J8XJ+KQAm7:^  i=C?`槛x5ATbb;X,pP.9IKݶz]LYSSx WboD3WiOMa]!8Qr-ʷʲ|hv7:]W2sKQ &m8W* CY CP;[v[w4[gp&zN 58Ic Xr5=-[pSM#zZ}9(b~MˡMx5ŜP]hW mj RkO~$F Sf8ԫph/pJ_# R5Fr `o'Wpgi<>|yHو \. |˼qlwԻSBӱ\^`GxLql俛W7Ƃ.·]5hECٽzWdakCPK7mPTsih+Nנ2?hIT `0d)舁MZF-ŗ ݂ʶV6ޝg|DkA5|IN 窎"B"Y%U'w 9z(_naVrA6(ɔ/1G:2w 9{RfYCr_`#1 ]DY~\'nQ~N~eUuư~ bqWuN,ؖua ?2 T$2 !E2t;cFi &A}COf;w]<>Qg*'܇CTtźzÙz[U>`{bHZGp[WWv`yhPۗ=36B#t b+LLY4911awCd Du-[|WΙkiװ+@q֟kLb| 8_ ؍1rTt0f+?jH]\ZA>C;$)U}I[  `[. Kαgzkާhwv#%uхHD: &[(y5c}5GAy{w>,n_hBM?zGkb 3ִ+/ÊLX[,^v(:+uh;sV &"+_7xGN]qGwr\<ЌxhZ+jxL+^,n&|*& 7aBp#&0E "# >G" 'U8h[`ƀ-ou@ dKY>Kwxl .T%TUmwI]=Jx: u_4 Kq zlC'J6i^3[,y͕ax0h,4E`QWլPTr)#jD9<8d3z:@ή>XҞI"/hޱ;DT Szq<[ RrH! խ{؊'"`jWp> &b>p6HZ0I'^MlQՇl`WR&sX J$YB馚cz*d-Vh'iK!]q>78kETIڲ̓sTp_/l"T] \֔XQ4Ԕ~Ҁ׳.`-4[oD@94z3UUCpiQVy'1C@8mdzz]F}&,`$%R|6%J̊AbT]u^F~_(kMu^llב62] ػC}a('z!~kh&j(Jf cܸPK.}-n^-!=.kz׸kHB6:]X\g[*RA/BmrEښ1?~B3*t⑔MJ)Fz_`hstCܼ錷S#&ÛIB:޾5F2eP)2eTkrrIzS '#APQ)pS$33CavYNt P@590ynHAZ'c hMq1?׌ydNe3 7^HW|ƿtqFg߳Ǧ1:6hƳǜ|QI)^#YFYZ7Q XH59(A^Ɔ1R$j ܦFSՙP0CVVal̖:[pGc.\v w˚34A|Dt~ OķlY[p^Fk3҃SXJؔ:" x:X԰9&&X Sw,0vwMizʨd.SNu~p ;W#=(CiE&}K>+W ̹Yk&rM5㘪ZImDFS=9ş`eb"+^OUjj)x eV8DvsSoՉ2KrPuYjL$9]γ,/*9SNET~\e͘2; ZX{wvrɗ)٤v,]HX>M ܡg0ĚT']+ڝjtoiƏ_gTfMuX8!SAY Aτ4%`I0*馇J6m/%P3/vKގnŠ0g]ȠJD(#nc=GntطCjNA7w pD4-ρ +w:D}A[*uoÅ['5uٔħTK34^s3 <fuޖ+d&7rQL$ƶ9Rj@>c߅Q?07!Z%ҜUR6G2AeZtYuE_M(p)߇h:UEW,}UJEǃA W^UoGZnsbG3VJ]}H S%x]N@TLHy#vl#IKk4Ͱ[|>L@ PKNYRr, d f## N_cބ/x$sbeVfM3@  %." T7kW cu{;`t:M9zS^BL iPh<ۨjAn&nԦmbhPn߀rSȪ2HL#oǟ4$a7cۓ2:IK0u|W3!̨\v/Bi]㡁X-kDQZ&*n<s#ǬB7=<` 0f0yվȞSSQ Ai lsF,&hܰW;[u'R`6K[FP+逫 P5iAV8;CF/χrҰ-ܸ򜬕H`l`W8\KeG¨+u?Җئa'{uzf`4su`هp]67#.0DzNusNN&2 7фv-$ > O=)M]f-Ѹ [8 M ֻup+džm!㝴f1*i ^-kڌ^ܾi;vNhҥp(QMP = fpǖ&d+6ҠA#Zbrl+OH(#y>U]F78ZuU'Wm):]"/l>gip:)/[aͯۑJϫ FeƑwG î+qo㰏g(?|gjz@m!j;r*eG8DCkgT\Sufe܎_FkzOq?<2Y{$Qd'?hbWqAt˼367B\/C{@&t2Lhڐ9fR8KI0eOkӳ#De$,UIuV !M8$ .Wonux]V]R1ɟ8T`js\uC+]1 k.>=UU (WH7t l FK&\;:^E z\<*Nՠisg@>F? !dzאhA&+?.t o7皞|%]DeAmGbXBmdsĈq2TJXZ.xK9o*"/4B)t)$12P?1<EsNbe5Z :`\}W!s?h_ǻ|TOнI*hEp=q$119I2v`h=։&T3D/U [Q/a Xϴ]rt ѣC>?`aG[a&dǮWY!=讼 pX~׫dfWc9>b~TVP5 KTK5ZQǜyўQc'A QdrDoߪIϼJ`:J 欞tN P=tdH+'mG>(%HU{AWL/ K,֚qG}TJsEt'!1mQDQ(Fdbsur wYk.yYu> xAf:̑TuCKWȌ0l7*}!\O_G%VP֜0dVJō^BN NƋ8T `Ec\ m+u#-jai*2,&ԟ7T+hJ_d~p~gSdKmRex4kǭa,._8`:,t< o0V8ʰ&^f߾.@O:N[=ǒ쟀E1eXv+yW n,a/=(+yS/VN )6QaENVmSdZ+[`\ (4' ZO"%h $rw8 !.#deiΟx1^`D遯eOy+r5âWAVUՋZ= 7(BM Zsx e`(Wy俙>$зŭ{H(6n@ $Nj֙=?fDUo5)+h)md*ìU?Ȭ7@!0v\~@aW (ou(ažm+71aس 1^WIB3ti)]i?`xAqh8\x`,t U{o.b6 kPisB0vN9x(T$O\'M'A{gZ3 -2GMx"x^/i Cz>!fΚcQ3W`yg@DdwolD>QvZ(86ufX_zC!l6O9[ uƞ*Bc'\"%ĝ6&Bd}KΉJo4cVy~̗%Ғ}}Mge&TO@(T? lB~;,SHYCr>)~FP߉W%yxK"SB[R;da{ͨ*+6QC JL"5js=NhAg% q4&)"B͖;#D|?>yyB6;/N4QT$c';\ib< jKIKCaZ7pN6GXl^И0pŁc_:lsow7EKbh&QG=!M<񭨊IV8Z>ӵyN%N61]qL) i-N"@st8JDJ ^|Z0/2h%#ShbZls1ԷmMu,5'~_~S--mhЮ <<!3Ө+UWrsF (eI.5t\SiBǞPWXܯ^ Q([{CE7C`0٢7eF*LK)E%D"'آ5Cl;=e~-3oM3-pBh7W:=/Y=*%WEYM^6Se1l(0rmZȞ]ihⴅ.Zdle{Hgu\5Nӛ5Q'~2zH /@BhZ4|wLMUDe0$0Gz=/k~u{s%_P7-Nu+fe qnp} ׃#j19Mk?kɁ3@a>#ދ(V"Ia( h ICz.^sxƋ3Ln"njVgwOa{E^̏zef/g}|;L@6 <3_Yar/' K^#L0p]KZFMmk´rk-BXV 6(d)Wf'ȑEЇ9~C Tײ*r^ERv+EI(7i=ˋG`f$.a!> TQ/*G p_!.#o O掷y*bٵP -| G]S<(Ay4J d<PGݾ }$.Pjv̎E;<!#\l@:PpQ6m-laXZc7Z1/6m_T%bvk*̨郿q׉%cy#{lҚ6–4?A@)9Si/arDYjj_,*f Bkm!5^p3}ncڅ(VRS/(wd©}vJ'+YzՎYNv2p`^|0黜<&ضV֠ٚ릋+L5̓qܿ Acca Ab]`U.Ӹ_-p7hXR.8!Moy\=97wF*dCs$\-婢;q&yU ShpY/t#j3lz<p(͇? =yc.i3rp]blxrC&+) Fӱ~OJЃ GhT=Q M;f5-I %g  AkkRI2Oux}s~PF Nz%^ _Ӎnc*d}J;tFIW0 +-ɬkJ˩qԹXgŚ/[K'BWL +ܖn6>R'A"6A tˬ:hrJt< OT/X!x6r>tHp _q[jhOtN[k냟4,HW:7I Z,_?3تasK4I qW_Ixtw'}eiI6jb'Eƌh[VI`kLseE7L?ZE?DpPQ@ }hTD4}*u9Hg -3jJ)2{F;&N1=VrA}Aؚ C迕)Qb'p hE0;,fzׇoiYD(iQB Ȍ;]X|u]ږ Go2!qHusWUGgjv2}PFFV'v^O ⊟VY.N:Q_&|>War^y 6f9cV dd9iMCɴíy:hq{5Fʪ r,Eb|}x?kg 8 d5iRQkꍸC_pq8qi DYf}hV{[nt;4̱D`|Kt`سRL,7 +|Z-! m-\+$QxVU<& ԁB[I-Ӭ²!+#NΚV- Mk +֥#M7v H`PbNZu- {b>NsbQiFk0[L.AL LL#*)*vU1k M ۀ!7yVd'?ܴH>Ǖ:x&n}'DV/ ).mt ~6,sIze /y f$pe͖cx+ҦVbxH+l-cW(_dx.>}!T*Y\g7WIpk_;,)Z5TD8`(XbѯK6g~Y?'oK.VB."( n m#P6:1aiKvy`cDZL*ǟJL 0S;w Gx9=*f47UezPs0|_`r,5ZB"d4\ /vBmA#r"?;~q\0CӎG|7J] ͽ{{s><)A |>0V6S?R^=9*MP|Y'eG/D6|ʜi*+zcK9u'l&>ۦ6]b!`0w H{Ha ryQjвaDxO.۶%h@t$F-A]>s䆰5LCH)UOB@(U78e 3n4DR#mEFXjz6sFgPs/WM+>bߦr &HRO`&rulڵ\4l1p.l͠s^vX1e!. 7&]}Cs"KC*$EĹ`ٟDE} obCZ<.rGP~%W y6"Ar$ t{#b[mu1xe(Ǜ^9:O!hz}a>\i/>X aO($&KFхz)TwS3Czny3'ٶ|fn$2]P{]d 9(fŗ$Tg{לѺ*eOM@jc} `:s_%3-OjZȲa7+Xq*؝eъL_rFU'x5@(]Oߛ=:*Z7"( A25x^+Z!vͺwħtraV6Ǐ]+0Z& Ip(=L( zouGe^uJ71XV1Y_/o|چ~Ҏ}VDtKK/`DXp6 5m]FDZDxڹ%@oǯX5HK5km+R}vn^Xy9. ;#:7̰%"C\OۈG fojW6֧S4&'qhB>LJԼe"w-4=?znęn5Ro ݷpHHh˙]r1CFDKoIq7X?gufߏiZW;TJo2zl8<#RbC)!m-O# >٤crKu'u=a ")iNfzgcg Ls:~ؔGSFFsQM-@"S''?U\C<+z' X|(]Y&0VyKD%Sd)e*UUnOPs)  <$6ޯ?ijeJl-&CM uW,R"(_hb] ݍzj2l/5^EŃdNqW'75j%5Px"kФ~bM(L)|SW 2tD)rd'RftSvH_cp oR#N DI|31t `4\q%b<,6Q4LLISb~WǪoG;t}?R)6}XbQ$h~N*$3ݻлWSfMZDȃ!AES"%!)QAl bBq R<>Q'gO":E{6+{<{|(T 0Z9dԁRK6a_ "Bn2}VzN;Gxw q=Rm!6 P0qJ|莡OR^4UN6Cxߏl:2iSV>\o@x8K`$9e`Vı |k4mE$@cGeK ^~<Oi٭‚g.mT7s \7$ N%h4$܀cQC x}38@jG5js_O0H.(EB{ۊXADFpz~r?'c@6ڔ>_G4aԺVY4G> 8N_ͰvVO:W{&RBDkUp;2Ј+qYPw-Ym֒scAbBcķ񹦙%LݨZSuGԅ_DrkiC*}'=*ҡ<Ѩ-:^JnWkFؤRqKm}ey a{CaR~8SRTYchӦx,߷Gt'a Jpߗc_)tmwReýN\dA1;7nG:(T( 4iMA ߕ k[ƃe.zv3=֕?>ڨoZ-b7a;n`J ϦoQo2<ѿ@c/'K.w2iE Oȅ{"A ֬pDu+ $2c ~=!t#HG=zG%ʑ7YGeX]">,Z-ۥdϹ:HZ ½Pj`Ğu$ &WD|ۇM%S0H!mL5zR]H;)ij78kMC(djQ+$\R!/J~#wm|SB xZC$ / W i0p#XM'WbƠk}N 7>(X/|=/uEЂzBf~-R _g ZbJ@S˄e:l0"9oÖ::ЪWq!3>i΁l 0FJm:8eRϬsJ@7Ie@  ݯw&$u(Q'M;3{Q6pRPp#@nSj<9#hB2T6gruo ӐzM4wȺ-_t`JUcMXުL<<$ifjKHTYc^$RKú<#(8 2˔4 xE cfkjy6 LLr Ms,G E])ɃB:Up&[L&8NYܴ#9ͣV% qQs E;Q̕1oq`nϨaFKUZwwxբ1#J3~5̛bΉ'#dK?D@fGcAP{8@=yz *Ic* dfKSW9ȀfYVCXcmhx]c}kGu1TE]ẈL3ƚXrg'_k^`ZlފF2G/@.yqGW=e_?_a'4cמ4M,'p]$A,Mb@5&u|f&}|UEIW9uL⺀FZUאCP?-P U{dt-TYp\l@&^*I e #2CdDx6ƚ;_ÁgPE? }O"hOViUKEP&>fzLjgbc})y7E5{Ouiqf2GpZO!0٩-'x딚6b-ۧ5Ϸp:.-1VLIshPӂ@DG /bT`@w8G}V!x\fVr 2eَ*#--:Er@Ӕ=gcX`R|ޛ8uwuFo~Ξb5]Z$} 8%6iNu>Dvob!ͷfg#.@Z'fL$ cRя~&*1JJf}Ed8N[o4@5n6CZI!WEs<2DH/RP_iʦ=Q0gRo(&¡n Xtˣz<EGlS1zShro^.%g/[LCĸGŗ1ou&/ _U02 i jc ^y s5xQ,R'oeGazi S؏"EG)Viu['/KRrX J=2;-F$ ё(tzhEo2JXU.&}zNZQHsՕ=m0%6 tB#Xz*p}ӛsiOql/U7i=mO^-׃bUR.늹AB ,q Fsp||vjWІ=ɲ΀5F.FoOF QI5~6l]g8,@*]yZgRp&<~"iLv+<-7;` P;*PmxGeZ8u 2)1ho]ˤɫ{VjzT%SN|+ɂU/D9&/0A0ݔ=ZJVt~W=6-cO k~:Fse(rЏ._N@K{F)j ]D~`"_ aY; {<:_+{ǝX8dxN_>HDM0&2Pj tCebna/lzfcC6~|lLgRQJ&Dy<◨83$k8;2٦\/Q'&i ] ^S򚆉P.@Xt_oY}5}0/|r' (VgkC|?sSR k~w; Jg0BW7eHrq| [Qj ߿uiXOђHXqmRJt)U:i@bImQ̏M}ȪA KwM4ڽݬdW.1K"eCBQd~Er*:YliִEL(Ӎ"X^Rîo.Tʦ`$v} )u2m]*l]n W|BqkBh#ie%1KA7lVbd/Ķ' 8 CH|_@2Y?czo!T/ta>ʫe;2dH哙|c~߬(}eI3(x5i=V ~MY/L77>"G}wb@G0R>-In'&j2x"I=B/.u1nV읇156>{6 ze+u[?mP:M}zrV^J̶7]Syʮ6FTԖKS'D)KzG 5{+c]:hb]Ex܆DahyorRwY%||`*3ٍ0|>SL@D0Ê,}MrWOt:Ky3#m*h=KJ }#Fe1xfjmyF!J}Ϲ1tiܬH!Tx!+"-؆ |p_߄<)y "ck}2HTaxUW0a5>GdZXOnJ̀=-⹞@x9r6wlV<?AHa~ Za-D%+PY4]Gv glN™٘V[ >Y+SHl|ƘZ`mjrp_}qlQa4}c榞s rLW8Xݠ @ӊhI{.#N&`@RuӔIrs&ym$O6>tIv[Ϡt=(]+©΄ڈ*D 8)` ` Q5c_Eoѩ+碩8 di#d_ SD?{AN2"[Ntv Ev~őtuA8n X ni]q"@NA߃׹qh_ӷfDF}=oaz[w t[jBkŧ "+7.\{7KY&-KZx>1;|XݴrPeBHi,m?TPJJ e#nPAV5l mCd"h/w@'MiA~Qѣ9mm V{\&51ws~Z8=LUh~8_MPAZxRÑ-@LJZc]؈'&Z%Lhc 8vlRG\-U,w*\4 Ѵ}}%/n;k8 ]$C.#1"+Ti$s\~Ju}FIA ?⃘E)ˆp`}W#%e{oGxjaq9gXl}7UVOVl3{~=f'B) 97e׵"¢2ahf?$ .9zPI8 ەtȺ>q0PS>CH諒ϱ '\gBɭݏh5W֧qA~FjO*>X^zlaqĘ&F @Jcd)52Юa;/`_+w6VrƉmj);ʛ+$,J]ɷ+>{#%Nxc2UW%T]U)EGm񼅳n NEzNŪcFeKH^jy= })yVR*d9XI.̼rmӢOxS;Di|џҋ4\XĂ3,]8~쥎3~PsUR eMt]zS`V~cY/Nhؾ[[Er-5 K[g/̯,)k849^.K'ahB#uO"j=* !e0"]5-YTwz\56_GyJ/J9&ӡa0 'C[ gh}$hD!bzJD*[?S kbgys,ǚ\jql^6ګH+%bU,?V~_fc.`KQAնX5GWT(OI~%| B({E¨,si3 ?,%I, ?$ [bZW#)36HyIɶ.g8KiMuC\`/HEwӴYrgęG֪nԒ4T#ׯ򟆆mP˪E?ʳǞzE| 0?ЧxFPf[cz_nY섘rzQ}Z% _v?u I`ז1@O`>=u(yY[b*@`ocX9f n]{N #\DNrfLlSr PߞT4zzc0U>qȆQ{G,#&4$UCD IyB ά/UdtjHQ\,67>&d p7'ȸ)pjGO5:1!O:7[7|$=C?q,#=vǑdb ˙2$ː{6#5VsJp4Lץ"x7.Y zl@>>m!Ze'Uh3zZ }/?Br-WF 3#E|Z.(~EB<ޤQ鳻],v_ԃlL{3*~~tw>xZHYx#'Ӳ4S'-m߬&+A6?1U5ݷ٬IQ쮑Owv6M"ÍԤjP3Wu?Cg- G-Ƀ~?/]l抦SΣGIFD/1D<֦I@?7Y*]8nJ/8pHqހ{rna^V|pB!sj+P95#Cz^e&wQ f6O4)=a)%uqxbՋw6dž !x:U&Ӎͪeln42je8B%;4͡,̋⫢ Tʊ9<%WY<0+Q.Q+@nݵcîUʹLQ-cSN p-Zej\zDqU:-s#d7gYZ98a1cd61b087553adc4b850c56770be9ce4fa55719126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 9d8b4525c5f8c9207985b4e769e131de60d4e4b5 4e50b4a18c85bcb208261ef4cf431d9b0f8a583c