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  = dl ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.150cpu=31.976gc=1.784factor=4.477zXZִF! v]ŗXiɟDYK<;!lFb4gM*t2B͛\(|/4l psۅ4wl>"(5nͷp5H $$#g]#7Ct_b{fi1)#|?Aײ;xqAc%`|%mDŇb j\nOSN};[Fb9IBuvA#EFdW11FVxţ OU_*ؖQr蚂2ơfS)H=R%X[yMfZeW7g @xDC;b/>(:Fn$>-|fzFA{a|# 2*{}gBc*CrQ*=iChd5 q:W#k)%ڒ%);؂5--l*7=q@w~ T&舠."9耀;66s;q<vէ\M~(QTm~{IS6l.ٷF[L("Uz L߰Eue@WS$ CԔ #_r"#YPP<]_&.:TJk!sP΍Ev~.AÌaB:o;04].6gy2/]^MU-}UBd Þ7$ = HOL-Nonstandard_Analysis  W2Y_k r5EO=8걕W6(e<۝kpa=˱Sb(3= 0"xVXY,g=O8&Jj"IH63 T{UÉƴh먅Dm΢+iHO~|j HtIՃ]UW{};w^AYA FYS`VL.$LIx',,&>,d.MiDq` B1"Q7+W|Z Q9w_\l1L _f8$r}J"u0$D*_Kq~9WDLL,FA1}A;bR xH]zg}]Qr`sPBH0fYmJS|np-l }ὢd1;PbLp3ͯ B9T2p" d|@q/:Ev= U>ܚe g:.P ri@Z3"O}AenpΌGG|S} Ԙ=7IBf1Obq3ۏI %- <tZ&]-!6ns#6]/{͛d+vzEo8?:?0W;VU8TלәP<~# 3C'6&MrͯWΐ@9.BxP8`˳sjwN̑1hi`F.9!|.$2Xj~ٌ47Dp6XCƸ1-]qGL|9û|D ehߕt]洣PͶ E _N]Z0Mxv*_II;09&~ǃ4Ly|qaA( PPȪ<9?r; 'YGʪ[>yx1Db#o*U/\-Ϋ? $9BAY6ǀed`ך dghR J>Cg`V 6q_qF3[ǧXdpEkT}mwK -M62L cR<-$ @19S@rzVԱ2#&Bg}RaiwpO-gߑ1o ~%{#k~eػ]8}V%C5S*3|iO|ə(f~IKs:tj=at8 |ZQ(8Hʝ}uQw:a=\[sQfMfOi:1R~ PYyhwߞw~Y7P#%^1s.׫ө\lf8_B~.ezm; SO- fz XL:,(,UW!RS-Y^fU 7 ;ߚ>[w7zfշ*d"MuFؖn}]7xYq4&]T,7:D Cl Oi3~C6 0 [>|7_nЪΙ{MNFj\^m"d5KSxت60mt] vnqt}.Z7;v9XճuޛL̀|\Nؒ*ݶK$1 cP_Bj ق0z 'jd4o`ΏM&%*oQ/mol9۵qBm˞@jVY$*!c B7#P獵E,ӧ J!}#vby5#+f q_(Y`_dp=J}gC]Y#>-n,8.ϣJsJqOs /SUeF|1dT&iY&FB1"jmnrF|&uOUWOg#@̯h*baa:A ˩?)5#ApXLk*&WB,tBnj:ꎾ6EKŮ2+U2#tdz-ep= `Csް5 C& }4~_,rqkR23XZMhi Gaޮ]LA]72lL{D&SqcOΰ|CP6 Gl)gBbPO϶聥w?c8!GuPU4)ކwcޛP>A뒿R{kr/xZzN]psk?WH󑥽 Þ>m,=H#lA{و.> aX^4Nme1v$ wy&D0؇> xCO#}uVTKsQi޽'u6:a1_/]'t3at@p"`޲/jw^0 xh91@ 9+lM8b߆/Ov< ^ݢѾzn*S[TMHPe(o qfi~p'R;rP*0S |@R#I/ǐRf=L]+^$p_)hx B1O|t@e:,\0U,uK4םM}34Cab.Erk߶ꔰʮq1M߻qpD<$8e4/$O+k %=vj/0U;.wblX/Gd*U)vUuԏC@+rhMv]0-&zY~Ad0~M7'E?:!=WpgkN#?6UA]7#%#2t-vjR_/n4nfUo¦㾑Zv ދ`VE>!ޒ6l2LT0~>᭸D) HWQ]>Lo;o^aLjo }vo&߸8i?,B|C? ~}?#4W[nQ8B|1oRg>0B*|5>Ԩ=$] aW)ؤ{*mQ8hBm\~(B,4z=ȔVYӸdtQxK`oqu`Avm\G0P^É sy58JWA0MU;h3f񎼖:Gr /(cirٳ8ADN+6@L'w%n)j!XXg*>P 9j0ɮu FUU) /)Ѿ?N `!'D1Cѐ)# -'μ$aũCQQ6VG?]C芰χ&v"xn_Qi7@  [}73ˍi#T3_NNh,:[NEKUvɲVcleƷ{1E (hǑƝZM\wI'$PxvGNLz Jo.uTwﻏۣu g܁|#77؂3gŸ @3ȥ@U`ZwY! .)IEG)ʗ`ik71RyHdCET$x:? 1W= =@tx}6&)!x? 2@O<؃9Ur̃l.s|hB YBȝ>ڑ M_mY|d$2o7Qz!l;&k~WCQP SHՅ>( uTW8;yp*aK{9f:|qL"k"i63?k* &CGjd'Kl'9+qQV\"y,&z7LEzQHPyeŶV~dcC-nXo~1݀x4s9$caC ]趋 ^Kr/jdbgΞSS=1C@ʝ~ #w# p^mSĽ:U@,HHNs2XYxZLֳ~{kq S<:O1 l:]L5IƒyՎ [! mvM`,a0y-7"bhxõi˒5"ϑw ؕI-qѫ6kA@b+OSѰR"!RzĨ>@7zfV%qu^K fnP'Zk91O-͘℀ o|w Z"T\x?e%D#ޮG$n$\5*#C.S;yv$Sd -r݌ٖŠ7dVA\I*hKW,zTFF{ ֆ1FI|Mb3J̅xE0PGE;RGo>wϴ<&¾`<& gMG " XkQKB4/hEG)v![5.<7q9(KVJ1l0We @Ho{$AB^^P;yעXnw\5 ~ AL7kttY'zWT z*\Q>iseeJ/TZ2B+F>kvzU/7ݲ@ U ~w͛btgE H].]S,3'1c@e$ #՜SgFA$9Bsd]Fx 6@&w\ "fi4cDXˊJc؁Θp=dn@ȮJ-2{k $S+hcTa*@ہ)G(+ ?z;4U|9M]8%9g4(N-Eo]b-&z_g^A4[h8jK76P?pCi t٠ F刁QIvv1 Uȅ=Jn $:[Q f>'}o]SJ0oA7oA鱏(kHz\Kl6CbĤеV~:8\a0M^!x}ϩEKd2ryBAKl!9:]5C(CX#$Ď|Av*t 6UjA)OX ‡m}TH=~C.<BX7Lf XV#"&jp=}fSŒ#1}ThĴ[S}苗1|9v>!V;?0/DLg:: [Rɣs1_\J3M}r qF 6MSx t#I^*,!cH79x^8ҷs` ѐuܜ`s[YHnf5x,#՛ָ ]>?REE2[3W@pMDl_sQ9Ѓ~x;q6AzV3H- ^-IEqI]@f  &2!F|їЬ?RVMV+1 +WNuA ԧ-%2nP`SA,A ˽ai8o})#"]#cq훛oS6}5uҔ}[>|m.D:!9&ߟ'\HC 0(}QfAwҰ٤r.O!} 9wϺoRv4O5j!齗IB[Ѡ,RS81T3[iWý[k J@QZ>DYȡl%1D pgVgsc`ܯJ<.bcMڕvo!T G k/K- R.y4b`̀?޿1BkXg-Kzu{ =)(  2­ &Q4r10'ۑh:}[DZW"~Ab԰[^``Qb#zִž0ޘֽi0g㋦bBalf#93 ,_fF#,yr7C1.h 2K{`kͺN#]ʖ򜵘Gfj.Ѡľ84\); "8=<ݗA|ϣ;7P2P16vaKgX|5~Vڰ%1e-C=B$It#KyQ]ǼNV}:j"ǥh,?P0<~?O:ш8n͞j8B µR-bO3 $uQw.UV"fl@zgQΠ(>5=ڪIMj*Ux0ISu#ǻ0o(G[ 畍J/Mp//R }&\`^,=m#TјΕ6C #"E.|W VOI3$7Q%}P7$XH=`9C/j֯  =Щa9 p!iw9Ȁ4o=nfT/4mƊ.)*Ux$]N*My!.T7D~Q,঎o+( _I5hog7K|q'E7=Y~>b>pbο $W@Q%2.5)}fD*^+釁5T^%fן9*AH?K|݊~1#Ss^zL֍A(6K/¼&^ -t+;q:&y[ lAn7ypW}koͯCêЦZPL9w"o4#bU\'%* f5R$/_愱PȖ8IPV0i^,2l\Xwm?tO uWxުޠ\gˤ+KdV 403պc a<0v #=?VK] 4ބxjUEw nU@Ji-z)TLj0HӫUZS 7XqR8Яu?F (H[.~fP3&/HŒjiY9VkN_Cb>ԍH&B6mԐD3F<'+a0jpY]Ѵ`\`+Tbc;`83Dژ&zΡC+~Rbd'MM;ͪ}]HMGIWivXVфގ[=%9!q$(<2$18)m>˟PjZANtQ (ԴF]>NIt!#9oJ|'L.{6kOZZ:E/f^nj#3Ygy;0 IᾇỰ68Ob6EJN:\YȎA.&쯜x8HX:BFlInAl Y/M,4+}sU%[L-FT QO[1\=&C,`'b>w3@fxX'Ev!~$Q@(ڌ%l4_VtY6}b]y[J3P$O~L 0)ey(=!hb2 /MmDZf$iM#i^Z/ſwv `KK;DRN\@b Ԝ IT 3!lu{Q/[+4߻zTi`3:inͰ eed1\؀󉁎$׏2ɢ05J+sbΏ*O`ԶAK餥)e0[^%SX )zżYKls7pY2r&H)mIU]Uiޤs:h[wTꥳWfk廬< jx Xak<ٰV? UE(ۏ 2蝿 De}TR>p tkfɃGp:rd$MYB EFH8Fa֡G(!buMy#}$34"1[8s+- DʹD`0Ii_<մ}X&d-%.PR觉U~'~ğjmFxjl 0i$1F*4o*Fo'Eq;Yi} =0_%}Q|BkURU ɽ]g\-%xHx5Ǽ \a8hF /?(ãe-Q?L>]J&swO0V&MrFhK!y]6@GMX{t2y#ǝ }]ja+H FΧjl ,k(iOalPgX"X{51(`OxHMٱ`esYE7<(YaZPB-zwA1l|C;6|9iV6eOZe?'8@mL$15~fE:Q,.8AC uXhb)+Եpq^Fe--DR:_+Z70:Aq2cJЇWv= o2tR kwR]m 1Zr^tAו''5Wd$^6 d_6 x!blՀ5 <q #՟-`Ir ~\ \h$ED¾=I&Œb:#l+h\hE6ρLAvƙS:7op!Ψ60T+FԖ95,l| ?>[Bƶiu4-VH՜qc\Gak# FjK 1r  WƸ XJx&A&tm-"u Z6FFVs;,`_(O4f䉛 #KޖsPwk, ӷ3.Z ,G k7`D;_ G||z:&#tH<+;cd?bG8j, UFKILo2m.ˎގ' ہލ%OvC>at8 FE.4n5ܝ(애 |D[g !yDE[ a5}Q~Z^0oMimՖ@*P-Tъ?Z6ts~R^|qjinQy'zs9 ?q8*N˯qO d>{)oz0hb.n\/c_F KfT=Wӝ2Ŕ\,d qoH "z&@f6v| KPiC2|Dh:aB0DKFCUaAP%Fw@pW=-g;3'o`et둱Hh}ԛa"Vt暐?v(H2smVbqD$<OFua|,tT0&E`tFRM|؛UOH߼%hRKԖ0 Nlg k *#|l<2)a?ɕWoiOnI,#DrTP"}j9f;2[_JxėBv\$π8鷐M d6qjՒtx2z~,p@(l̨ޝy@tKđl}ҳiv^7!Vr*5#*AOS%vڜOK4sW ~.qc-ɩs,lIw4\6[F'Y 1FI Il=e[{d8| Hۀ"a"4OYhL׫>QDԼ(8!ʥ > nvdGg+=g&&HMlaP+_$t޹S[Г&uvaY1CJjxlDIg$AwrN-Ŧ 5ꋁ>| : KW*̴քҦG(t>:0 Jd_tQ @/'X(\U06fF Y]Z$DP^ RW,& gRM'T?c4ib`Q}-0jUyY}qxID tUU'l|mRIw%Sͼj=KHi@@,BIZ"|<lULK57K7?:e%-Xe&Pc:Ec@)v1x3C7_dGw l hXֳͥ.sOE8eD,#6/KNL |U GlTX2cB"X( Ժz;}F $k1k7) &HK\Ks/ϸ9COR\~#Fj$&ecAf퉟KpvwdQr4w }6Gλkc|eKA9mW~9޻(a#cм 8UJF)j|exq1f{<%)2/I/H&Kq۸5ŶH:NLq{ Ӄ&- (8hwBƏ U %Y҆[4]i׋w6ml?!E å.;TE2%#7 ͩ՚.1fM0f@*4SqxZhJ3WRlSܟ P]-E(YPڣ"dVѽɎ9ț 눢"PnƷ厎ђa$ߛ^sK[d% 0hkk-EKRgISBiICX,hؘZ$K⨅3&.l ҧ7POm$2,l)v1r<|HS23~*cS%['_BmobYÌGdApV&R%xEuBbz#OBUh%BW<CӮ*_x47+ X|$#*HyMogqj ω;rCVDwzkKUu"W#1SyoZqߌd@d}Nވ,xcy}$٦BCd~nq X6Ԙ£R taD:An׿8c|>w,}u\rԅ<> rB]_MF Lf}9ju9 ׵Wb験osgi=}AJl_ɋtOtx-<@uIsf,ƓV:ޤ V@=VVOR:ꛉgٍ> >ꙨuM+ƭ/ZO9/+z{<K(ntGdǖ/4L̜'Ivv!(Z94j% KJp-]|Y|NC¾- F$wS#2I/ 3c_(DJ=c9fӲP#3z|ši: N+Otkf(W8}jˇK.WaFSGJ A^ޖga ŮC}{.^J٘H S: ^+?%Np |A_nM'a&24.Ot7 M"@kK>8ت֔N4HDL*H)5[EF"`^~0|{֬z2h2iK{@> PG1]42VZr;a~o19KKz/m9V ǩxwr6~N]!{!Q/hx*%& 3&^k-hW$n{HJzek$,RI{-J *5d;MwtX޷Cs[Rxu=,UK~ڏ" , -*kβM<+:y3J #91^W!gߍIƀ\-f OjJw"}*5ο`ow@zomvR8ʝ>sdh0YS͕T&W+^!k8&q U*?wʉ2E2,=E;ZZ7S9Ef(0Ab[@S"˱f\=VAl|rD#ļKbRDz, C8tut#waNue*ؚc?K4 .L{Kc)AfZ):k\]^--ny~ WˢUCo962Fv- 2;18 å 9}u{CoKԖ=zAc<5IMU!`ΫB;4esqE ]JB6gmGg5x=s.bQr hnj9b1Xckx0Pm 4@ ?+uU?}31Hoӝoǡ>SW hgt;|M6Ɨ[`ĉC_&ߵGET٬>`5 RN_W[H%Ax0T |^Nh?_l_ZF+}WExȅIZSa 3W# 6,r t(H h@ ]pyHJ :FN(Bg𣖼zk> /C{tbEX=P2 p_V9Mл Ju 昔&14sgb9UE:4S3{<XԼ.0Qd* al4y]X?+LX`#Դ*Lha؎yY '^vloc6 }C@‚j^e$^)~I}} ~)TtSa/oT= }H` 7 IM/;Ԛb$΄T§=<[%@C߉گLiY+H+Cb sݦ> a [PY`G%_&i4HխZw7هdt/לDB屚\ br[v&نF</5O*oZR+d'PM6k4ilUUO5)O;'548eerއ[ S"\@5ur@>P2;m<ib Zʬ p_(y~Rc鈂IRǢkdDzg9UD;@M` !tM8IR΢Ĭ_IY`Kr? x/YK7 =GڑBTC1Anb߭Uh+ VS%?|J5:@`q$XU.4y xwm$JʃE@-|K֨$$&.E}5.?Wr x?Bi?bB c bKV%d ۅnZ&0-/98CЉ1?ApOx7Ajy@_n3i5ܬ3 ۲',NষE9zb68ԦAƬA1 =Pl6a5HCʲ:jp@Sag? BR Qcg G5;M32Pl殺ga-@OLHt:0n9$2O13_0.YJ/\C:X .%%`PRux) zZ; IۋK$oDXQi2C3{FIW9Cn]ǰauf~X$at{z\h dO9֛*8~%5㗂gBUGQ[]!Gr_S'$6_^sҡzT؄-E@W_HrZwm^ R fE5V!u)Q(S[ta05p!EmܕP?g !!m~G p_;,r#q=(|]зy4<弱aCɒLrl pvepClE'R-//N.aPl[)l7L5v(ZǕ 1u˕?Ph= 2k@#m>]Viה[k ~iKq6i**H_A5S MhF9AOT|T`Ycâgl$ Y(s]Ai!oC,!pc7Ag6 asaQJ3y!乩/Ze@JYL1CxfDGֲ8gξ˖On}Qq<Lĵ\9RtwdxyD- }gc{cgP< 8|;C 1 6RXN:Z\Y0"6=^>N7\W5C᭼MWT1#%-!8z5d^|ˆ)˯1u[ {ۈSvB}UZ_ $:x8%@!ɒCd?{ۍ䠟13pƯS&X821*yNQ7mt?Cٴaf&n0)%A3x$QH>{ۛL.6D = PJy!EV9v8v:Ng:덶f%BuԴIa65Lf"ijZE|I#R?8E,)r%ɥ$L8Vupn57KuZI]LT&BU{qls)wskvm?DY>Bq~+vV҃Me`~;0r1Q ƄjUeͤYfjT(%M#Is,*<3 2Hi鉞:Dbg;h<:~j-v]$#2Od"v7R||U$ڋ9Ye+ čh>zVaJN3uoG?p`^k|[g[=q߯tFrHͯ%I mH D}qzLwM'|ԡK@gQYXA!:w-: Q7 M`^{6iqUYFZc|(cNEv$}3qEͳz;|ڌlᲲE 9PdmmCb0sNFc`VN?y ǭiS4gdtVP*RZ˴ٯPѲKHC%;LQ4Hr=:1ML*ґ?&&ɬspw*ƛ X yYeF]rfcY.nE֞>?V11)be|ɯH z+lمG@4eTsm{jKI-I6[GYGI~ Nq C9" ĕw_SDSX#Z ?p.+ƐR_w6Sު+@걎NʭjWPq,H\X]݁R ztP F7;%rKW9v[JJӢp5ry)r6r \"g?Ko}!0.Y#"M02s8Ӂ8sHEx/;4<(^D+|-D z4e9K<-*<Weڡ(!"NS&)($G#Xn[n.UfcONc\] Q=ĺSK8 Hܦ` p5NxqWw~m q#u @yۀ|~ Ť*7J+-W]b$|GH fcaFH]!̊KvJ=6)"ΡQZaw5,$uD tuj^G;+2P:<gNұb~ Ґ3뇬EzR@,] o)*J yG@_r ST/%sN|L+g1-mFλ4öfkoBKƨSmt˖Ud6j[|aHBM9)h-wh[f7\]rsz Kƹs ÿZ?sTL1C6Ei)ڱ5͝z4Z#H_Y^#i+ֵt/ -:~BtԄNI6眵}&[TrG\Oq[ $YS]YZ_06ԌA<mӯ:}yyKQ$|ǟqS9 jpWarZE\Ӹ2 sLLi"ڬXTĸm+ #p|o#kcn -KeMw\ݮz G'ȡA}S.bZ:3^&bm"AB~+2y+M^*ثygiقL4}TulY<1 K*u8 2 |ჱy3OxU1 m~?(\"6UPٸDԶ<#Mr{;>!6 8%MJ_Ig i|V&D?V+O'bũ+n]K{85R_KJ7t笎/fI8DgJ~( =G":2AS8Q:k%aqaZ%؟0T_12*f}Iۓm gvnH99~td˒ͱjO5z⮔*8|JOnݝ5`Fd+԰wb鿑t %N[u ST]b :۹k P#i:+U`:}UV@e%3.hA VU s$AUl5p`—=n%R06>uK)e3?*s˱bJg|8Ζ_,sWk":( !}0g/SNU3qKP ב̉_GrθMM39܍vǒ=^gUzYFNw;uKon@r0}eX'q:m yä2wĽ1k"/9WKLa+D`w:@VjI8%XPd*W@G)7S\ %tX=n M(OJS;7lv!gN/7ʿx.vYR5CKː)s)EqG0AuldEE L΢t5!Yxht2HaQ|By>dP,Fҫ@XIQs@I-pFu)GLTd=O 2tTZ6QjQd.%Iߞi*+*f{|Vj-l}}%Ȗ({ J=1 tM[nܲY>T>nqK 7oF#qF0NNOǜ;2%]عii[]p_fol@5c)3IJu %b0c}8"lHs祴 #Nv]F,ZcuhW| ;fw}ӷ6#H:*ff KMY72XL^lws797#Ζ ❗%xGk;1z[WO3wbJ)yo~fllFksr&$;Lc+k (B*ekK.gv𹢉ES3 !3[\v?_Cl߹~FsvO/8uGad'+TXxWk1ą&QQƫvn,j#2/7cm%71Y⺒ӾW*P뼍*w4/XI7/)gbmwq5Z(U,UA\2㇉W!%D*8kMa+ ]O,>ٜDkdDS#hr~ɄDIm|fM(hv昊nӢ 8k(Pw7\bxlNIe$@"h]>nR< .$3}yâI Pv_'dɤ Bi`4 j(1x_9U+zgPzmV2]-^Z#x{yMNƀGi!jr[j2`ҏʐ)K̢$T]h Կq$AvGi2Sgzxƒ~>h~33Vp>AݫJS 9!4=d6ÍGz,t} sO!48E`s"y(LBh,OiZ4<B^RrsX鲏0_._2s%j-z ?gL Bt0iTI:2A9V*5Ė\z+b I_C cn[9nġD1'g\Ci9<*ymPU"PWY:C ӔYI)C&S3U@ʖi{2DBwж 뭟Be9ҀkMIok9VJ=86Ҿ 6,Z_uqQ t5]NZrEo&P6&7NEAe4I1g~b ށ ]=dEOK .~̗Y4˂ YezbFK$e{jt0&863Ap-yVbsyVEq \+ZH H0V(\3Ȣ>'~3Ɓ1o8P P3~?Q`Z+:QNBĺ3+. E4(Jo2g>"9ro_ϫ8iYqb6&i7F [-"o@Qh1(gBڤ1=^_Q~p ɭtc5_fl$5D|y=O0bl$ZՋҼ RKw'xd $%wNhR/9ZdA]qr04|o,yfeGG/Öa+%}ⶥΣFE4zaIj 0f$ViA(>j4}]}vF_h1ʧ7p$έ+R!iΜ1ڍW)\Hi,Y4a6;E,# t>_Rl;a]?9%8&ReQ+~gpNSu>z]?4SVr~iщFlǼ_>$^e0 RplfA:RS} e5'8mRzQ0:9^*+ǻw2k3&_k>)9 ["mXwD=)NpOVEB+!7Q`Kkdi:\hQE(}K܅c,k~ ?b\0k<[634\_!p/+,` Jgbt Hp44e9CɮB7 R0GvE-OMpnwףkkUzk>,i%fƪgX+@ mVDN"Y@15,*qs9!ݳyd8K)|Os}LS t.-QJm >/D!k;h4ygp'OwO^jdm uo (D%6`Y] ym'810J;Hm^. -!z,9\4v\ìxdp7iyi%6";K1sO+j2M&N+{!hBr`Mt\U'5O 7s*D3Ȕܠ`Гq$<2k TcNa4LI+[TR` >4x IAyr"_Փ%d%Ĥ=}y(BE4:rK8sm5\*X<6529YEf +Ay?M5:;&BJi`bqr##R9فu,K@Ȏi5z@f0ixh &GdxhOܧ{5\;Ynq(~4p!<ņC\[aº5Rf~~5"j$39;=.W%IsIH+Gl>In+ QG{"tZ0+olV@-? &d[3Ո. ATXOQyɲ%9 'ZH,&nWbGl.`6 $SFf`.1ra2MmHΔ=iMyG 0) ܫGS̈&Y*Ԍ r_v%;fn2xp:*GMrnOpУBRjy كC"ٲqcqV6&RY$lf'1r[ qaMa{Jf6vG1E Z0v6vBϸgN;ofCĴӘT.n*W!bo? ^=C8?0(Îu~:,SH>5oGvgCs^98aw[*l`?`L>0lĶ@#EHu7ựM饈0@rH<_FN(9:E*)ܝE6HLy d*k,k@((f\K =Q?7;㾼KqTcɯT*X!GRq[`dr]S+`cϓ]a$fcHj&'-UswQW0GBWzDHt;-<'՟dJトl8n:?R{v=e HWp\,kX\ *k ÄKPUcWVn'_!'1₻"{i/ҫI`(*vKZs5qlߡ^΄[] }@'[zrd"/XU^J~0Vx&?DHa.*sM7`(7 0t0I#7ߟģ<)QR2f9u@=WSG< s.Yf:WYjpkډKo=&qsNuWIP/1%iypPA,e֛l0|w d/Q!^|gl>!Ow+Le NR1P+. > WmC?9Ǡ.1rl#, C1ARæ)X ̺R%X^>:?ۅ9]D Nn"bA4)=&I!Ev;yxNڮ[VO0~ V)!NdBuaYtut jz*L)tW ’PisM(t7.Hhŀqhoj3B3I PSKW!u)|ouo<-0_`͂뀰Q90/QVne}xW3ؘ B j&B[/cW?_uS{BHkFGYku| 1]tTvqQPش }ԞD5 P:~Ip}A"l/ jNBxzؗYi*׳,ˁmYAБ?,ir߫NU w\P_,n][F3!MC+WI]CHLi{8Eѩ#KSw`\D-xBv)@mIz{_k? {rWBUz^W4bFd1T_(B,i\-BzF]8nJt8Ko Bǃ3>6!ב2%PXh6T"w?_(R{q}Pϐ6;E _LK9;=y[>āu ב2S#JFMГtKUf6o|I QJ7pLZ‰l=|{qofdO5M4ӝXA)D7Nk Xz!~7$Ի]`$3>O U(w')3?&OY!p)YڡqE2e_mT C=x{DpD_ znr`(#;KD߷ yZȳ^Pb1MlE( ky"l{s|Y l2cIyX6{>|>n7P1B7o?"qp2Z aLCo沯߬:o1`H .M|bf7%ϫʄKKz3 ",k[i2Jn׮?XHoK"vQ: y yLj=F wh5a[Z *9,)~$@kcwYjmVɮJژ?3TI*KHi%Uj\OMzROs$̩NFr Mޘ,I )Zhz ['",}̮ IYWov>mlLc؊']PX͒ JfU9"2Ƭ-7jyPK"կE;Rrr;%cy#&/Χc^\#پo|WD,0Q\Ss q = XWIL_ϐ8/ !.~C\4Y .r`lM݄ϦYM{pWOU .<9Z%0LkFyFu"|̳RͩPCV:+HoB#bF;D>-LHlK`H'˿H`M߰hG޵LU\[IZQM*Q!a'Ɖ~-Ēݚ{3_.>o? B؆tJ& 7-Jtc#uҧ W@7L{h_C>v^DֽsS IÛ6|EU]7Xھ4TVMrsoG1-m*͑ђZ&CBr)SYB-lݝP&%&X UNJR_\[O5 D21!g%߈>na0mFpN5`kX6SV͇/짖70'QϘuk@Aen|-Чx:]x\]͢Q}{g׃@9M|e(G9ƀ${NĐqJV#cD7c \XA[Mo1+u˹O?LDR7XosZL#/kÐ Z['8=c['j618Sy) $t0ҹLO+~$EC4ATLUPw eNKv>~̳3=QoD+AZ$qbvW%/C'Q')xOi&;45-is66 dCt\GI g-EƸG)" ut!j:P:}y{vi:̺ʕrv BhS6e2_C;4l1,MG#TxZ-R^h{"[2 [u&Ⱥp 8Ղ7ܟ¬-|gN R҂ਝL1u % ʉji>>S h'yq3zcS"lY?uAD;j!T`mrJ5*9i*F, ?D#5քy8NN~"PdуlBb_AԭJ-j\z#[גvP#0 ʭ4K*W,lK;K:IzTzH/'J˥e&$ !h ihHS,yJPx1n0"]#x@ QU⤤c}KϖL3lL1ÔSzd3%SC~"E#&HՂSME=ȽBU:} i*՜qe \J\-M8ޟiGDvhUx {T89Ӡ}lܡ#Fq7q:nSA!#AQpGpbIɺm^{QX>40vf 0&>x`/ =)}IG, 7u#q%1\%Կ f%|hu 6QKj-__>.fJ:1 ȗ-;pF o\q'K:A:ZH#wz/_6WSu.tR#ers'ƍL<8PS@ eWi@p%<Tw6pf2↛Y}'!uީ戼U]XOGaZkÝYۛ秩+-fzf'C (|@T\Kɡ AQxAdGL}@ʔt[E4\Qx(HNO:-_ǝ|OT֝Õ>. ,4(!Q/_OHB-g+2l mD$Bkʹ4MѺǂ&=<[S1(kNg{15xնpjR%1:&$ &OjȂOw~:+5ep=Fg|9ZAlFi 9e-~ό;E!vݓu&@!Tϡi_5Ro#/$B?M(4Qr'C@)*QkȫZfKl*dݧ6j\-r}KX Ks KStRSU1EəwbI _|p;1I.;$m%+7os&9KWs'_"QǍ##_!nz`?M#$^nD4dc(3ʨvǏaehE€~T9wҊwq8}b`!6Fj!pZqOVyj80 ] TDBaJwCaU'@vY.-ةo07 IL'3&* K`gHuKTwWDԹQM"n-} }t2rd1|KX6[8yGoKɔ2˳kơBgefoi`P1Rf,jqifdr TG]~l-@WP8U0b8t,Hm.wrvA"k]s,El+!x5p:XiKMlcL@((pf{ۻ [eƾZ^M&6̚[1qگ`g1>}hN><-'t$ovI__V[R<.Ħp}FlӪ̒V\Z l|ad>y]@'[?^㱋11&/7f5ou}GTE`L+%J 3K׻  :8 r#De?+,B!5~4_; !׭>-A1xD0z{x܂4Θrv*bDsoi R Q'w_'D6xpi Đ> `ACK j#U @p'eKLOoj`SO Xl׫,9/{<9 _v%:Ye\|+;ǨjdA= Ԇ L+]T̩ONrWTCjm^֙[@ђFrBi#@;TKiL+\"99[MN%Jv=-MфCZ 7QT%NUK X.)kEFoTuP)'*ﺇ]K!*0ze7õ9k@d7w2o  k((kX92n&So9LyP"HlM:u &#~Y|BLP/'UV6S@.|Θv67bmhILV-|O>JD k/ZU./a? (iCMm3ӊ&$)rKS=.bx;~x\djbY|_D}I׉:mz;AvOa}pim󑯾CI_(RFq'hq!X8o~1j`ˈ1zu]ȵpP="-ћJByik ϕx cKQHsU,.A++/=M)MyX\Zo7.Ey42ZHۇjaQb%xMU>?*EO:R M))U'S8ōc/b#6*iQS-%@u "c$ FEɣb?Bk "z/F__D^D;`E\t<ý#\U -Ο[n "B{7<&csȤgپ19 H&d5aA dtsJ㊥6j-UlRεWHdwx+L]Z&Wa0܉붦w\p~ 7n3=w{;1uk Ov'TM\>8DZ|j\%ⁿ収eWh:I3[-ݺ >^I62j5hcs(8sIe5f->]0gJm4kDe$ ̴)&^I {8I@w6|${&Ws?`$R8 E~$s'ʧl5Y식k]qq0a!nzGJ a*tgO,*켌y,ʹ.ޡKE]et{fߺosٽ>$Nulm1#w'!; ZKnZc8#Rw"O̩ʴ59n7Q_xeR1\{q2e6ehԀͯNAD3چط. :b/?.ƌLH|^KW\ f몊`T<냦7Y p*TMk_*X"%"^}i̼JjpGg[U9EfF _{.DTSH9N1.*~={%B*yH?{{Mԁ1`\8Я>  u#T(Wy)fU/iT`5gW4xx`eɺئt3 r/O7+Tsb>ߒ'+ 0@}8szx6g0%Q "$)vG鐆L-'j[*MvJWFL|G_>8&ֺY̦$jPґu$B +xeo'k&J "ZŨhJ}n>U țc8KO|=Q3loR2^vU2=Z?.?(?MHYghGuiB.%q;ڠRJַF90txp`Fcqy3ґ~nMrB=d\ܒNFLp$bݖ :1Bt'VTm:&Nԑ;vV ;to[ۉYݞ>3դK練r=m K`.;!*Ɖh܃7E ]ī3d$;֒BqzsYʤb,taٶFuEZ (T/bSɇw6_c(qwoKEykh'u4n*ˢK>wk_NQSҘ瑼8~5Hk(Ti.4)C %Gc?臤yfD1+=B\T${do(9 Oc8;~tʦ橔"Nq/F1-ACq݉K2O.y6*Ȳԙjw5/;UMK5E3`Xt#DOW3#lzA;P>LUub=>YsA{¤S67ptbɓӰ9iӆ;Av t),If"mY{MDoKilP"}E c̩z)QƘ뾎'O@BּHڱz{6m7=O>iщ{0hNm^TT50; :$|71܎o0?ll SM9^}Ps g#_Q 7>r d-Xad^SWmB(V؃WR(7Yǜ\_xBɕgLQnF=D6#f4 TH W 1%9$ &Gp'=]K4CT&J]5&1~?]1:&d鷔""&RG[wwж8(DSQmKĸué Tx,q<n0?ʡ95\A5*Wͣz>̻A/KcfY-GUC7ғ`eިDaP9;e<3mm关`Z\ _Af; [n4i.)CsǿhmSy-^"`% :_n dqPdm]ߗSo?}8iu5DP9i,-Q4 &'.K/t2[Ik=X̏+<e -[Í0~gʔZZlOإ$0Iqz^5Ά(7"cv^w2rxC c%X7aI6r#,6QAB9\h`]e~@SN=vYΈoI 0@bYʳq$-ʧ+:uTYIO${O@D+)eIg+2Oہ22#0k|Zj30XO1ƅ?<"RXme!>)w&?y1]DǪnGg^XVv:j]\0*AUo32Pw$c"q[Y1mY(P_~bN]bjǰ-5Y1 o2in1&3w6C)_L_+_Eh>_c!E~+Az`y۬{` _YՆSw6!a1P4`9]E^L5(586mr$ p mhQltO ƌ|ªw~$?s:d +[>(6\C  uحiT(o dI>Dkn~7MPu_(uwuU(oט` oMsXE{rmRǢyte9* N]I@oM.Z2e FF25\z0:(3s딝מ+8ao_Ƿ 6 a?tQ@ Ê(Ϲ= DO݌ &˚n$T;x~UJ[ )m>m`)py(8,cH#?UwK *.t/T*dΗ)Hw Fys]4jQ*A/D9Fh\YBEϕY$W28 %IL}֦wc!@[t0-SK9#,+ۂD} 3ؙB:#H=x#UL:%$flhI~B}?f3NȺ+q80Ǜ2Y6#O{<έ#B@@eM3z [W}Qq*+xzk•wE0? sә(lua~wl6S) _E?Vj,3i 'XЦOe^t#d$"۵"Zw&GGEVme^ XZ"XxnH\AD&˗Yp$KbbvL eCXg47Ъb oDO=^5.4uz ΀)77@v{K! 1fЙ~=iIHOB^R&tNxI5f͖ѶAb&x{6m7ԬO23#U , ڂaE$dZfYWgb|B6@ @ɔ=Li/l3ޅ (4bPd}#Q{*=S+md1&}-e8*35l)V:\Z5TTMxbNS[LS]{SVY`ȣNA=}Cʮóxq3/*P\j 8UXd72hdېM ܗoA==!n16mPιVS`ҷf1W~>;ȱ.,3Exxtfl$!J>ZljGjF!LdX`Њ0Nr;&pnqLq&a'[{a{s1?6t}ފjfW$gT` ;f-zoXd+!+--sg!eL'ӖHW(g*"ŞGZ`:..ZmC(wt/ Ӷ,@&P -*ع,:VI(?V}띖0[F/g m*ٕ4~*Po 9;aB0h!V4*USI9D7ْW <<@O]ˈG+iQ%ʷCe`2gsiFU L|J 0=+Ezw. F*$tZ .N8ԅY5d )P0LinkߺѶ_ʮ"#4O&:HioV p:e~Lǭ}ʪp[E4tPΐ+1a ˥q6rV8ctd,軓E{蘵 ^OeZ=:3޲(ьV#L!(*4:x]+7(L{z]ej \y3IXW)%~sjfog1$HT /DbR;J.n ̓|XB~i7ts!ᮝ'[PϾ%ۋX͗lʋqWU bk+r^GuXNcwp纤s`ۋsslhݵin1fO m l/56k ).F(Lxq5,XW$:6]-QS.MY-~30;q$3O"z!t TG7`.OjyHR>*UJb{^lQ d`dް44rҟ8XcQGQ͡!Ƿ%\_/npQ{% !>HN\Ÿ%oOӼ*ΫXP}¶\b`OQE[;v.QOQ+Iy؝`sªuSpinf"u(g냥i#}&b0~IRJ4:eL q[ŌZ}|US1g_l0:$qw &$@3j u5Cry2/cVw6'rg1PԆ8G3^>J]Q7JԫgLs.%|N^{Bt1kP^5uS-= ˎ鹉ym8!tuUсy*3_nSΦ*Rz,>2$BquВ\10ɪw/Zhe *ZWHq}etK<t7& O%{LJt?x:r4-&Mʬgy R+:|y&5Yt8KLVwީ(i,Np\?uۭB^$ ^_Cz-߾6*ESn`a x9/{vfy!e%}^c#I6MyXu.ip5gyP9[F xu "Q f|z].8a[#tA"Яae39a5Z K%|AG~$rv2idz6u(jy~eƬ$VKJ+F]Gla"w$Dro48iX~u0 ч[ü4<Ŭ4UnGv06o<^Py!2 ÊC$|Ai%ߏ8{OֻЍj?Ѣ]rGoy0wiNN#}Pi˔Oe9޽m:9W4LW0ja1C0JAo0sl] Pv|C+qcH :bV# 4߁mCM͢2y͔\ҴA@g\i2T ߪ8Ӝ^HH(DxhNyy8g* *;Q[ͶSCzyCN[TVǎhȬ%"XAU,'O:y#xcR>7W9":E&8$fTVP6UD9֮2Iˌ9ߞ-]!vsk‘ndg I))J#/"I29f8hf/D-ڠ^bciՠͪQU ˕7CP~acǁgl| ,Od1k$z%%Zw rC3XD[|Fc\gáVq1]bi4δsJPQ0Z- wcLĆUXPd̨K~p3DŽԲLS>}mFɕ{.Ὠ??DZ[][ " QBi@P1X\YuNb=73,۹ :wI,?)鹿*mzv;^7iLNHw|dSfJa&AD[V%:By4 ˄ єiEc!x;P۷w^gz )[xnVHLR3tx619b'l,NDr6z?iΪʫ[dT4{eLQe9$8s?K"%:,}t5r87!?2]7\0/:Y 1mJJg(/۱WInRZ| iQ̇5 l`qbJ5Dlak'q2 _EEbu5?eUٕ+/b8dqdR R1'vĩMbsh4V&M/#*$ ><8 2>u‹I6p*m ХrNN\O#kמ"Cz!o| DiiJ7aV,= KtKT<Pt>ۆYl DMݔX4oaTh}0%Lln5,wc{C3}4~e,I+}֑ws _Ҡy>eS != A25P!vF1Ƥ~}*ydk{B3y:slp"D1 *䯊wNv2FV9(L5C]3 4J;e|.(Oέ3hfxnוzo'K gO[pg!mZYCR|ido*h==F4fг7)$e-RV{ʟlʮi*}&=b.G‰H͊b-a_ ٽ%w{b?{DT>a\%V:%_4+ FC/|p[In YE\u#`ETӛ/_XΗ[F\f k lč"l&:\wnR{H:eEnw)8p[geA6H F Ѧz߂pPpuqQMOw(;:W/}2'ǚФ&x֓= ڔ /m(SԦ[?E@p}M[B9EepPk&[tC5x(''h3}02ň5ƸJ4rxv%#cL՗[%:YJROZO&I"X43!_#W PM+*X('K{΀YǃaY^ o K`B}l/! *,t3v Q~MUj&,RhK)bNJ<:Ryc\^>n.y1=i N"Ez>A: TE5bbo6[FY"'Tn.0=92J:zSik t 6Bטɻ 1<"ǭHEn┡C5]FC@D n`G,)4[e@E=l㜆yRc0voCȁ3ay4{wS/MD|M!dаV<"*0&#pf+6:w%7/>Zx` x8ѽA)59$;c;q:'yxSӱPQmhhbF :˒vwliJM>+ Vaw2M+r DJ>}Ka#>/>v)ϼ2"wFj[ͨ5 8.+@Ձ*Pn{n_O㡾syp{t%-ஓSkDy" `z FdO!w%s^mc (9. ^`+=;< nW0ߙ iThm$*}Y1Jy I㸃=m,Sd1l$hHO-{$D 7_]  hʧ@?c?l0A 2uZ p(Qw_7z>4b)O|#cIq^X`Xj>UO<ͱVn$"ugD׌'6(|24p95?$I 2='-zG!n⼂!@aG_\kxuEN-w&s!0#1v['4^ 3*m]X}Й("Sڛ<;ᦏ3YcH[ $hc_ ŶnGC{]r$$גk +)& 5 OQ?BvfV/I3":s_]z= V]eN~LY䏧b}VDzKYԯ[F ;$5TWthҝGt;ih+ƀo&9%\>u"[?sN)a5@3c4mۂ-Z۴7єjirω*i&z<*qjXk^|Qw"(1ɩPEḡ+wbb¬Z;ZX ȑ h&B3<'m/*h<%T׿C{6 ֦\ItY{R\b_8 X!-Pg rBђX7kp}S2 Z)?.?s8q^ rN/4]GҷK/ Dr`,o$̯τ·!%J1n . Ooh  i~]R\ohmS&<#*ӆu#4<7 r`ϷZ fAM<`Al/rOI-~+VZp)U̇? +;]םd$^ud 9L,_P7PUH~+V\P6.Ivd=y SdW9UKLY S7; ~˒xc'0u H̖3duԤ ȭkx] <`M d(EYJ6,gw4g.jJۻ?Ҝu@8Trʞ_'}]k/ /`_Jbpio !NzHsߩR;߬" @&]E[C O?QLȂoc6d(ah8 4d,;=]:R5$O"XM U1(){H!i܊|%7Ycx,$jk7 ls9ʋ%QgrH WYW b┨33%6T/ ^ S539f:+0a)e/D݀g%ub|#`^}7x각bL7znjlQbIC*CΪA-taG$h}!!!siwNk sN sĠ}tcFT򄦡IK%]x\i2];ŠiD Ϯx!Y/Ȭ-gYZ7zXZִF! j]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>: 5R9S{`NP,۵eqFĆ`gAe5[y_R~3Y ićyew˩D.>ߖ {][]KyLw07ĿV+u(ȶc~HvK SH(ňr8Mrqb~>ў u=0vKA`uSd¯ .X\9dtۨ4DJJJN^ɟv)s]*iޚ&$*fɬuj/Dz=PcG&tLT VֱgYZ7zXZִF! &p]ŗXi%L!'1}o.$.i-9B:.'6-Xw>o(hѿԧ7A\^ڨG* @lY',E9C'ek0m#qg^sE+%*^ZLӇvϥ!$?ZyQ)vkQQh(cm֓)ݤME; =D_ ,LŒjl=ZnȖOntǣU=1;0v@Hr}$qH\WGl٫Đ*ؙrG< I Z4\1ېN VdRwͶR& >!ȯmPiD>N:6f8Ϋ TMC#j&4qv .~ Ӎg"# t>;?!V-x_~j=B ѷ>MCi}B۴1+f 2]!Au/ R͉vF`!X%.jTa 49eg7H*ыqv\N IH[f́Jh)sIxV"NYO!vfǫh[.ޚ:֏\6B Y%uQ4d4! *WߥJᢿ>c&R}(dh9x\Ak>3dF j ,+x;)Ycf]G^I?h]#+_)mv0b!pB؆C)xݲmPPuz,n}&u.zu@s% 7$ z048xY=r%}(7jZvV$:嚃lEnt5i`'t&F.{@