SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ZZ~5x ] HOL-Nitpick_Examples:threads=4elapsed=167.928cpu=156.576gc=3.2807zXZִF! +c]ŗXiɟd)&]4)nNM@a %CAbEH 6jw= ˪daK\lP!^ߛ׈N ?.&;.7c-(0H3ƽǬ2I39C,L)!Be?f9rM du1N6)l]v@9>Sa4rw<6~U|e00Ŧ! 7=#p'qDۥˌ.eDj7E2-=Ubzzksx+k}4Ah{iGL*Lm#̂"עj!(Hwuo1HGG*t)@W.4agV ߩz U7,:l<@bb mE]߶,.o)m2y=f~,=]25MMCc⏾{1Ild2KGs_&4[~ךo_OZ|.KfY.n]CˌrڈX<$KSp.k]RJƥy L rZu*t ^gZJ(:LUk^XE7?A o_>R:nkǿ|ZJhd,(m"bDҼTks}zF洜6+F~pB>e O(7'oS嬯NR&G 's1*ZO@4I-(FWOu+'8mz@V1NI[]DnN -i\"[d.["^QRPmmꙈK )L! ff@Z"O' ~7#9j6d&^}{/De\C~hlvp bp  n"i:ɔYGL*vnPvhw49"*/!,-_bR@u_e+1s(1յmJ lԫ.WW \5Av﫿Vf}|-Js'*Pw-S]L yҼm0C4٧`]0V#`p̃1<4M>Z!oP:=,NdJ7iAX!9KP*{.[2x^ZT:t|51H3ƂQ?,Zmudu( SQ[ EHD٭DP-O4zhN%Bh9C|G9"%ͬg" PTYe \`oƭ=4c `<m N6$\HthT4KiQCLό @ᾚ^ N{G"Nb0C(_.[l{-/p#:K1h!cs*A=p=wj엄ɬcg2AB ]B=Ce ;Zdy~%8|J%bljt'Zӣ/Q8~Pa)wKD`(^.%q fUK}XFtE`UMQ)rDY Ϯt0E.yvzj{)"J"Mbʄ\^m:(;jNϠ:cgE|?~#)V%!f7e `=st;i$ rI]F=2% Ŷ$i[K`/(-x{՝FNt>T3} IջR[PU9"hֵUEl HwaVIK7 cGkV\ވm/W q/NsI55ub]0 ۖrhrM Đaζ\4F$:2U(6cId  گ**UwNMGzNC^Qs3PGgta!㷮_W̳UX0Z>JrkLK.rh.웂m`'Xha"Tv lU(kC!|mYƄIE2]]R.NʜfY߽QVC߿m033XZ޺gkbhe5|1?ٺgy@ngNZ$³SS<.%($C)(Y(!tvϤti;^YBr֣MP_ 0f vFsÍW4˫j\QYQubf|lKm\A{5;xx2QivV(_^ٍE-6W{bGhwbXgEzk!2(~LU8;2\A8691=5O=ya௖N4@Z@İK)j8sf0oK/2;,6zo'g%hC63]".\~znXZNuVpKK"^}t X|%ӶT.Ӱpk[хx˜=]A}3iYqXxEu PW2qHGz/`ߘIz3|Dfrim>KlM3PE/#c2mjEC?ښZ2/c"_jynߞ#qg\JįBV~]- clX&i`v+Gw"t;ה=!Hv>G ]Btev&&/o;z%l;d ?t$ckYxup-<`#Y˭T#̭òstrĹNoΫ/`2uL`7%a>#UeU*![eT+/t=sd EIijM\+Y֩e\#_{ &cQn+WQw 8lIkztXAqy &T~ЂYI}{ AR*;X^pɗZq-; (t"s։>k j6gkVHb;oq /OʘQS? q.z,+pB!:NA}^[}B 5 HOL-Nitpick_Examples  i_KiGUC_7".' {~Nq>#1nt-P/}}.;61ˉ M:EU9?%Fs0 |r0.FT3XSr_G7j+q}s߰uĉ~Tlx 9rGaƸIic%ZH=vB4u@tr)uro[:F}yθEcSJhm?SS[s^ ZC7:dQA&}Ynu< ɳ*PC IWܸr"c($'`P7>lӅ"FzLy͐Y``MZK ;wk,M`D˧MCK+ {{HAeeU/^ZuhčFp_1i*TomEQJ oD1bzWH҇NuwܽZ.ˌmx'~#3HYyvj`!5")e3Ц9BNnf3uDŸ;*9fi%%SV8Mx~k :Ljaťz>vAXSUS K;5__/Q:SpZHhpI 襦R3p[v@Aҩ]LH)jR' wp%˽6:/1Ό0O#9hNJp08Jǂ Gi{Ĩyr/6gZ&ɶbEVVC 1ج|JE)r_8cW2Cdf8|3Ev'Rb,l{z΄$G`1B$脹̱QBsߘ+$pP-IOC ي9` {R@Q0Kuަ/ :[|jp1m"q,u ^d9q=G+ߠT iL@ceTpa{Zc4=$I(zz^c/RI!fB}5Odh’QF컂.uV _K_1 )!˸6@YGmm,8ix(*ӌJ qwӏ^ne\ڪ2vFnwDA[ ۻ]n'V 8xʪ)[ޚw)DoE 0> 6-) "\UPf Con&F[gi.Tz6ldk; .ѱ=ҏXxjE=#؁EKCw-n3.2mt+?KE^Qdl4dg5ݝ1(7 j⇘ș]fɵ#:2Ww CUv?+$.z؈_9Rqe8hn6DRןM1NC"U%r RR4Jǎ-{tovAm{m$3PEh"@]r6͘60ҕ''1kNTQkuf<&'蹔$ɵ[58hwBb50>0n=o8,'<eSeҲbn8y}hc'݋]P" &da6>9*PPg3'm_ui=S*=U><s_QHNZ3+ ݓEIeq9dL-pM+_%?O>=9JFKRÚEws\ 7᩺# AJ5xNȚ` N]e&07(ǩ-=v=32/=_$y|6} Sbmƺ& {B ls '3H Gq^_ItMe7ĽMulBnU'G)sB.p py읜YڊgovLp~ӍRMğgA%J,ns=6B<[}ၰ1Wlթ񜳲\9V FfH!rbe4Y)H~MK~ J@8fz QJk{|koB16s[<"Its+?̸sYQl6~_DMj3je5ƐDX>ncmp j><wD;w>&(b [s-1Sm+uկ(tWD z'~ [,irޑ1?9;UE]! 9zC~`om m4f`mOgbUX=NTX5O(CNq3lu-sth-C@4}a1QH@ًF!kzr:ɮ6$*o!o0zR9(r}r #|QA2Ek9x8ݷyoX馣ڂ܁Ԕ9&_\)?VQ3ӛm^椶0;Gto-7Ɲj͉;(B-BoE99iTB]@20f+t[K(T WJ6\ͦ4y"1l^^B/&oth%X"Eѭdžg,Rd H8b|$x [̣QnW 1[EWm8Bt_D~REO%s+}=4[wv~3@ZR޵ƱLfnI*o37nG?Zw4#bCt_|Oʶ!Ub.&~f:ĭ3 {wJ SAx^)w'\ ._>}hǥuVXgXռRCNSF塥틗7CLO.6}{ϛ^^2kEy-=:@hVD#JCɪ(0  $ QrnH ]H6,Q9#&#EKUylί;g a!%@DSn{5mj_߼pXh́y:L3ܷ,02亨`yUSG{i"Rmhd/>{-}|I ;uAɴz |k:L$HbX<~rW;Qc7®-lt]fhDiBC3s42'z}xeFA֡G甀}dI׬J5n :/zIksp*f!gͥV9TMz4C4.YEy@t9b@~8iz<-ggz?{.qF9E ء;NpA$4:>鿳LUpÏ9ݚ i1BY`m&RmlTY҉d*s*}vEXtLYȈ[}m2-V2!4& W^LE͛rvOz~$a?h5D|WX$DƊ" ~NkT]/iN^ta!w ҥmqUVfxK{CU.wAf6~Cp$:. )Z3CfnG+LqrJWiE3OްC_Jk pW=+Fۊ8Yf6͔ss'2l8E hoK@ (~^q."6lBR -1ވaK݄{#Ch)HUk5rHjGrbJ['*iS&w?̹@1꛷WoyRl>?>{"s7!ԌBe׿q A)?[t^{=i%LYƋX9_-G/VGmc@zcH:pUBS۞=7ɜXQy.t? &F'.m ZbGLbCud'^5zގQꤡ1ՑfU gK֬QƒcEhOXB DX&n,3kcy< m#7gt*M<8Pu/MhnXg&$3D_L'kհMh ɈKq. 6Sm  /,{u{^WM> 9 yg Ki<.VEAF7}Uձq,xU$ue71֢;(uZ`uObm8ԋ36R^ <coN4 Bd5@~JPi"007Sb8|[%_i*2E==+rx> \^۩l 59=yJZon;E G(BzbS D5$cְeFڤb8yIDp(j)lP d1gYzJu1&DCt ~ze#o(hk-3DQj~k.UKE3~vzZ/y5-偉{H+TȦ#{Oͫ+c憧Pf* 8V_WVNE]l#?XuǫV(MkxbYr2xVԗ>`gv<#.Y읿./oj1R#XDS[i&!=2io(=-i5WΒ Bms:ρ_8p@fQ-B&nffr@? Lo4`3E7*Ϥ_҃7JIf3mc}}UGZJ]c37O39קbxGps+,nUE9VSECj(q')u,15I9o3eFXEW]sT T]x5RbILц#}m/IZpS#V핾9~ Ehuhjȳ&;Zv ˊ0fY{Z)2NZw"+w,e;T!1tڷؓ`@mzi{߶sʚEl}Nͽ4C{1un'ׁ3 8(n;owK߮1i|֍b*(tj,P%/1E#~ z;D^:BS+c/xQ~4fly<`$MQ ?5 `IT 1'Sm%ٖ03[е22D$V;]u qy;5򯆜auYD5G[f4V?$ q񊍦BYw)?*tiA EEe_Ypp*&jd=r"4.~3dh}%.[dD)S_F Z$V q77M<!l>#KtE7@?|Wp+o`.lYu5w뎨]:![>C_G[dsX!,?-U{[|^έCd#x+ ·uT|z+%E6}5edqvW,1VSh]C&U! 7XkLQukZ|TjG٦x֔VSJ?*CI=X_o<_)M #:2Z=/"R:}.1yi!(z 3h]KٵÕCsY/fc,HC wAe'gԺ tmޡp?E'pZ+lH!z *Q.^1M !۔#hn6 H5N7"s`<_!i# l}[T=bdq7XF$! gmK$*:șp-5H4L7cqVl(;=cH?v{ О-`ӂ?Q">t#,߬ az(W8PSe*8^"`Q=!ft33r0^v<x?ck+T3Pjm+##~EjpWX?_áG55i2ДcR1Qwn)ǓlĭEǙ{Jm#BM;u.˓ǹ27)T?c aC_ldc -TE$Y+g̕krTWb^I3qAvoM3_lXF fGrȦ}Nz|3"Ҫp&&' z/v,)?-G꤄T}o`a jԗ8ID)ON 7=S!:Jψ#Cpx .mElhbAMu%)BY%~r0/#:K;,.|cЧ* īHwerTK: а9GU^?rٹv#E@ˇ[!N,噀YIًJ>: wڍ}}|%.8/ ׈ m17xqħ]Ar}*(<㻲x~zYjQmě"p!~&GV |va/z)aDdW8<(80#֟] $.)IѮE=e b2aJRi!@WʼbhZ6'uMM\tpV(k{:Qm( > pʗޚ3 !ޣuƫJ[32UM/]> |J@AAdZ ]L{7? Og"F\ʘ8.(xNEg;hkMT~V*2b"ZGB%?oON֕:A (d y<~n|$ߝIZY-vMOu&0,I𺝖ު*TnX>yMNPtXY M1F򻵫yXpN#zU!ƐZ;SҀcSO(%ľyD!X>(}+E[㷿Ss1k8o{U&z|GUTczYfDf.=dSaejkdd( |i<3GGi1Є.M- t)vP:]eQ9ڊM] [䓌W<3,ð`DriNUz/IXnUkE)΂뿮?T/+_-ne/H?0#WԂb2V1̸yTrqۀQ9{ *iu) x7xb-1ż`>?F@v V86>)[SJqJv wp&Ɂ2 FN(2"=@Hh)4+,0s%9qe߮,xt~Fme.!0MxF&G+Q(0#h8:ZM Ljzh$UDhж6Oa+pDHxydˮNȚy"cN{E >rć"FMC?_l3)_5kPu !}QNɣejQе 8ukJQx>w GUOǢݡ8e{Q6N#ǯ 9Y#盵o cK征:1\$֑Gcb`loۣ@ErOd,f yoӓS}L" ;$- ڧ≁Θ6Ƅ;?xnj~T|Ȓ}oM$:-2.Hnӟ#; !r5Z<͌ĥXQyu~vj/鏗2b/!r^_C8,]]+ߡL،CDq+}+m qq ^ C،=ݡ r+*?pR\u٥#\px!wR\.JՙAyFo0B[ٗk_(<{Y`+v11gױ%3=qu[PAOq뢩]~UnK+$Kfx|}W_`⮩^ l"$3fRJ$F al1\dߩtMaq BQh)( 錂/i 2$wT5~D37 *?Tk`H$[P~  ^o+чw onRjd⤦0f=hRFh8&/O)i1ͥyHpțx Ouщ kQ خ3e7ԁkg5 R>j(;RWVRNy~zS-]ZsRhxK2jWWb%V8I;5:{ইS`8x1!Vʵ+hא+&9Z $Ykl Gpyw9Nv }POĘ)ƵW v+Be~Ru-Q+K+&e#7 #Zk,>V8\GC\pO: J&M5ftxm8xGbz( 9,Ce IQ|0y @Okd9YK%_7oW;%(p,Y % 0In1 lXMH+-͟yJ?rγ~|2Y?ae%۪%"f0dV8+ly *BUE ̗M٥ǵڦ?Goy, IbҞ@푏Ե dD+5u=x|= DPP~/g+J)".Xο%Q,XJ+"aͅC^W|9JӨ@;_A+?x[{豂ΛTAtfӋ0b౰D?BUt;@ۻF {a@*$`/!()[q?&Y (1 Q9gHD,anZ* 6`HGoŲiYw9T{ІJtrHC p9UDq*>fO@֜V %BΝ9= +nZ1]45vuӣPVzc0oֿwV!Os&x?2^SJޕOR20C}qK8o-N - ߤMwwuDBp1I:鴻K/ql30FAR":-W_ޱsܺ w$Qꐡ H` tM%%(L9}WfanVybk:%q{B8{C 8@g@91:M{aV E)p12 .~EŇڔZ@\ e[a!.$!BXNp]::i]U_t%PuiP큊&zL:^[C0 ĝk4x@(МgVK26Гz W<0",LjMK2 G~E 7S1pBXkJZBe<2x=金4m?(K ]C xGm`MA7/Q_c-;ҽZ9WHK6FIT.Y|1"쯯BT?)zU@4NC]gcǸRktfFrp%Ȼ5B1#Fśjg"L88ChMrdYP~)_(xY}jk!.[xYB?{o0\DF.%/Efk4O\Bk-C&_`sV"D49:-uw(ClqFrnjkGG_@]TKyDM188|J{av d~S\SPnaM;sAӔni c9G"㊱Dʇ2<[vz6>&9r*< ^oOֳma/=.&WjYop˸p*N~DGjdw,_g# HY DXZ<7@<:8b%~S:3!tm)  X6c"5vcDaLx%?ڷ,]%^|[,RX kՑx 2F¯Va=>vg|$t%v΅k/(0`yŬzV-U32gZaŲ1b&j%oL eɡ)ʹZA#\0='mu|tBh_*{,1G\28bB^s($t(sÜ{G[? ,||_νt/xJ*BXZ 2'J+ٶR$w%'3QLsZNlq?S؈tjux}JR+h2F@O|>PMf&zjUTҿԘﷹlI)YՆ\>hl)Hks 6)4f~Yw :':O)_6\d[]leT##!MxPFpx}Jȼvl,ӟSsS}' ]G@Rᠭ|? dITA(r:"zU#ɄyXUMЀVNT=4f 9㦪 !syjL_8ce'<bR cLOsѦbYӣ+𙟒L/yND+ xjc5Wm`=\284:?bO1Xtj0"/^ȂSS'.$ȗX7"*gpަWZm(S^Gwػ$$U-gAh2=GA h'A(;߈]Ga{%5ZJ;e܁/w_ NQ' 27k:y3LiBQDH?{&n食8޳.ՅU 0h kaZe_UV˚yb%is#ڴ>[5Fr?UrN!A-PmOt'+5y+Jí r@ :_iH{2$X+v#̏;liPԋF 1x|ސL#ʄQN`uO[c/镐fXM*.ZܱwbbDiF x=yÊ:ֱ%Qmrnd&E+3ģKpKΤFu.Ә[y'ڱP%V'3-EƋ$<`.%?K[(8%)3X4`{!/MB2RG7lQcQeY%qh8>s]a7oDZ]?7٩1o+mTj7wAk^=㝟^lcE̞PHH|< B!HDEx$g ^Idg v{~RJAX+sQe[5慍K~RE1307N"AE! h\lYhQr? "Ϊ궂[21!S/GF "˩0bDl,}cDKgM:@Ւ"cY"u=ͩ_vbzJ-i!ng&әSa YOd36l) 3Tc/8ZT G?ԒOO-7' L7=3+v23VW:+^H&!SRukd|%+!''fƸUA,>8!]sLbeUc1>BF;?Gdl!` 7O ^z[bF^_Vr;9eMO&ȅ g%R `67y/gH LFԡ9ǠUe=-;cX<\*MPKTEph)!&'T'Xa.U9IBHfwګPOӣ4-%0hLMn*NboD+e5]UP:fqe G(Wn󃯈BQ?5=X(RڂAQR@vv$1@-r%}݌f?V OK[I$8LcN:*9L͇FbA:Pz d䖜[*.4u #Nw8]W?NM˯3)%3 =Hѿȣ$"KpMȷQ͔;te=Hv;9er`|4WRУf.Ii]zjvO}iօSZxʲK*pߍ޷r264  @pp LeHg{W(v:MR'75L(rO4\rbV s]W bsvZE*] {K[,G)իè2URXA7W` Xߩ@ϒb '5lĺTNIldUoCȂmVmL}n9kgJ)}t:VtaCr 8"] d mB$?u!"d?w\>S#*?=_q'Hܭ#l28_ߙy+{2l$8$(yxͪb=#nA_Z ّNX9*Ǻ o7 &˞õeѾrj#m;3UNdKr(͛/zx)AVU.ޝPQ!C~/E|6"l]m6ϵ`ٟArCf!Ut!7x4:]=c 4í Sq$!φ1=tWM赇a&+p:#=>vd1iO[EjAߖ0=HZ휮p!|yޛ~T}𶡽?hmџg\t? p6;x.է.mI3i:!BIȌ\Ef`*jҪ4i?S`6^ɎhA~0_}VՄ S_|SK`T"! aӉڮ9k#%%0kɼ+J&аJT7 U"qb1{/OH g^O{DiE'fRM@;dC CgGiLxӨTPBw`>m1r軁43[]W1ՙ¨@ذ=q}4P;2()KHÞd;oE&F-9 ؀`-35;]1:< F'lR􋽔)>.]&Ic۩F b 0 7/ UZj =/-UI.ȝڜ >C W'O"Kg_u^K Ÿ7eyo +?dW`蛧ד <$O@@b^3WӵAL!ZO9˚2yu~h ^9a!]lw?G x«M]k("0:XgnYm Ҧ}]7fz]djw-lC=)3;qa.*E6J+o+JփF[ |H`(L348&pqQvy{yߗOc:Yx !/ٵdpՋg]o x7>9ŀy r.6se(ꗬV%UPc 7 "XzƶM)m,ݻ7b3+xHFe[M^R@,0(yY6ox@;[lQ2 !\N B=l):ن@yjĜ"ibn]e\{K30[z›k P cg0晒DsCvM7Fkm+^dωnP 8,FD8^'R8Z0z&Qj sa8PW*V~+!ؕfv{ jV!rjQa`XvT$9tAu{jR C}R%-Rp8/k:htQP=:kyu'LNȆ`{81?,)Γd!U-=czhp$L3ح%J>>$@&z% 5:~)ƃgƾ-%$5eD_+Id|*'z`H5J y 4V'dF?\&Rah?XG!16Q`f512`ó7)\޹؊!0F󪠽UFgkJ#'-eEzdv{!p>g]&^\p* ,E.3ۣDKCg  R\ՁQ|+b>(+H*Sè/ո z}YƠ6zeC52E.W8V67+&2g"Nu=4NIRJfۘ2Q`%CwXﵜv=d . ^#OR$appu2{11J@!^i0}D˾5#}HpI=fZIycVR,l]5xMMP5D%sCl 7+mohpfDWֱ.dђkA۲$Wu겖 `\#`c3ۿ^`spZOgg$Qmbv1v;s: lqG|dՏ9vȿ!F d`¬;e5v$gïN^O#OB&/ѬbEYJ%yPmw(f tfeztf%뒶`O[հw0[]:PޟnghNewXJRoԦ6BYR(  ] p㤽̑E\?RyIC'' ILRcB`{_P{ˌ|P8!!DFHIsotG":5HMM?YgtC5V&B3͸ 4 ,ĻwAՠumg?bQhxQg'eT(쮠&QFBV{$IIG ~ZgI4'~)+ C BtS+FlZkPBGi?W9BPtVnҡ$O`|)駂p$$x@m?Zg:H͚qF,`Q4hM?V`@qLuHv|U7 $or+hC-Ab6ԬHmCZ_ܑlF!K Y~?X̘fT ˱MݦTaɛj6A|ctX\u߅Dža m޶~r`h6G?*`"$[PI4fA\dEdDvREG,4b(4^z% %,yoqotLYTD[eð驟Ė;d`nfř T) )Gf+8^׳ d 4^~<^M6qטMTe.L%Q}@sIUtG侨75.UB4u␤k_z뺙_ņ&M-*@1Pp]BWlSpOAbIf$ƕ@Ӻ>brAl0n`ͱ_u 0*/K`ŠQWY.bJ5Tk@6ge:vTR!2O0eeN\ɴ2H',Bv)bHS[)c=2}w {RI[k9|Kjӊmg粡+jFmg^B!ś7Wb kpY>ci|OQsvZl@^"¥嵭s[6x~|q<ܬgKxX=sMB--J89?g+aLc -➃Ќmxa[  ?7ye-5^ۘFYV$ sY\ _?$L8'+#}?+f4\xA`7Y{=9XK@{C]QOC$yz.U?V>q1&-Zw̪͌x$sX>cXþѭ&7!;aKbDmIj\h>Kݰ3 sk 5~)?a(Ίf < 5|L>˵o}{Zy7r9O2g^%elad#ATvF +P!vG KNdk62kS^aݤ>}q{@ e$son> ٜKS][s.C_:ф(]˶K=Ǟ8rJU:e]1+_H9F (r~Ӕ/c,]/ͮh@=;R4솪nWG*FmsLPaEN*fUS):]-M9F)U$Rl] tgP44mK U<ʹ>60yLƭ4"ek4aUk*fxu^Sz21E%䈌0pھ\v^250ܞJ:sGHÁ$9E8Q.0PsXs-{%v«n-J#^A<:*@~GS{EuK6Cuo  iȜ/jPG}+1z-ͥdG2y kqj1ad.RZdBO^7X(›W ׶wL^ݾp r;\x*u |_"-cw< T-4)` Ϗ2-_Ns`!8g6T*-.LV3]?j6mhfsKprZK7Άs:b~k9B6ͬIOں RnseYxP7&eeUrH:(}S3)ltc';\> /iU+_ꮝx*YZT_z,97;0F>f(#ʡ*a胭r|.% 3CK(%$]:j'tp&6HRW8=n&sl͹$fJ.`2G:"+!nLX{^Iۙ Q ='°R?eeMQAF.8;N\*&޵дW}67v&mYh{K)!ϓ|lqHW8Յa=}Q؎;p ac8<U鴯DNņƎJFOܫ Ot´f"x@a2!(|]k?yMc=Nԁ)Db3*m Dj,RW|qAմe&^:R鹦WWG~ +}ۤOH8oEqFL5쵚Yw00oSG7~R̷@e*W"˹GwH`:JhS~dW \1l}yLd:urqG0 y!Ɵ_kWכEiu0:Тc{ϑqnq(f!2նP.6$ZFPEKSIׁ2n޳s~ ,";֕dstr.R.ߌvc/I6GnH!l'CRiVX 8eƷd,f X1Ys(zF g*S Qч# ʞأ{xM7@At#]_"Hq)R[!_icnF! pP#DÕ:+%vpUQhw*gI +-tvK&_! G TncY$KW0j" 4Us`^L4rPpaGIO >.&eY7mP^ѐSH5xw m *3*B yYv]~> =ILO4077`۹Cd m2L%rV!&I%+ňJ g08'Cn\ryk3niqFA5}&RtyE ,6<H|QzcLCtt311 pɐu^cq7,ǔ'*!SZ 㝂$A=$KlFȪ2#oجmTh(K'Plw$S~js!+0R /W) /b-r0hb|\/f x/[L@m#~L'f[s\k~=~}IuTŚeRWVpӪXTGnbA0q wQmzJu֫ɝZ+ڷXr ʄѰiDV~ #sQy+r(TJ0H^EûE C}?SSUQ ip 9 u8j cd'L@p7>oرsi59ߋ^e|ZKS~(Y,Ȗ͈4jphnKKؚsdFaLjxiM01@PkFe*>s}-v߁ci^=O 'B ōR.P0Zd)RY*ԯ)@4? KIAhE\^?!%7_pzFTF8<;F8g|{9\w'dx@̰6vy 89~fTN>6nx)X">Y$C܌ǟ0ܲ~)`\]wdLbyTT hI򅯏4ڪO _#Wq"o'GHA6tpՕՃR}m W{R)qff 03|&\\hya3&-O@nf֡le(D+ Ͳg1kp?d:|oGK ` p[x~[⇹guZCH0ߋ47t~ s(Cc?J! ./ 90e{TLɱӌ\dfeAϓ{9uLk©AK#+xA-1QD(N|' F&l9Q>5UDS_\FS_=Tg$߰JGe.Bv: P74+nmGW R4땔P& tB2&bpGGQuGpNcv&-vsψ|X$ GЦЄOnە6T4I%zΤy$/(&lj0PVn5 Q5G%ǣ5L+>ǜf}}Yu|;÷V^@y 84yE"((&,_z'$šFa+(E/j,;pĔ,ÇI𻥍{M-L8AzwW#7mNU I@QC5g?Эu[z_DـS#DҔN%p2JwlV#â1Ml.jz\4$xp`M}&I(r. 1!uYlRBq@%c"v G=8"]! (tR.!OIN>l~u'BjeEN 01NWaaLd)7Z p8fXF/v6*>mF  ūqx#` (WE'*I3()+M,ǧ/ah&Ik8n@Ỷ~zɊpb[3$8+~&xX\rH[>/Z+.{67BLd,:F YX#TM>+}6[:~#Z\'X?B_m-8ITXQQ3 2>FIHXAi}oe ޽Ug$ e8h _`0"W `e7a/۰ÎlvHh#ܨfaQ+hX8Spj^X_򦯪ph'~V%K\E}xsSkKפ#PIQ@* z}_]Gײ10F7 jo)VJ- drlrKu:ޕgRuQbϣ7S1qmWUuo<6wR~t{ܹ{1kJjCsp_" F ^ p|:j'(z0Ct2+utu꠲!8%D,2>za}hm]%C5RR:nwg)"K1D%˿j5EoG;7 1=a*'hm-gjcuTk}dQ-Ro ҉gU: MʖhJM/qﰃB2kE\2q{'8ZEALm=A zr]WrwKxpƱrO8BKu`O (k0CEטh%n؊ւI>Ͳb6"$Qr}V%c:L&5PY>e +Dw(kj3?Ĺ(6}eT!O/u+ڪK>nӥ>7K!L9ުtF}*$r*z&$ZjO #uag6 f37 | zW9IHcהڙ nt%P/Wwv olFf):2KZaDogZ^5^4 C>_xn'h! [glY\E%cK:5x &rD#ѫqOSs#Y/;\Y0o SkZ3?LHN@j4F\pi+*\Y>ҬnV.d9_gнdlRp!\< N} fK %PՌvh-6e>4