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 w=r4lT ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.122cpu=31.296gc=1.3087zXZִF! []ŗXiɟH)0%o؝WdPoyOr8a*GzBKjϙ3iy|_01m) HOcc&r<گ8mF B>, = HOL-Nonstandard_Analysis   1mW R^}"ђ#sx3X8 Æk:O~Pr*h~O#|j69u}7XFXezƼ7DTyGl?]UmK3ӭ[;3ZP l,^hYv c5!nUSUN`}1؉P@QԅK9tfH|J#. f[LĂ2N?{૧+0baf!UfiS]RCćQ5R^)]u/렾GC70V(U3jڮ Հs+ ahA:T3)ƾvŏm1:8{8?c6D56dTC $<"-d/h'+S*\hQ$9c $dvVD#To!+Œ[la vzL(fXp׵}چKKƘٌ,pֿJr ?ieru?*yq0gfwJ,ت7&bm&L&AQvu|_Zp=e>a}";љKݴO!+~&IJrT[Ai88,Z'p A3aG%;br(!ŅI@("]Q)de p hZ 7ǐ]3nq`E$@kim^c7wI tFg)-(}zJߢc 3f`. @:$i^Q !rJ>nèF发ٶrVD5;a qL&k1-8$ٗXl85t^s<9=_zvxiPJnԾo v2AЈ|iGrQ$Sq~[.#at;Os-ÜH҆k?iauT_ėZY㼮mt7 x"C"|XZ=O7Z2{i[, Q,![.d 2 vI0cؖ:q;PYvc T_R$_L,Lj`y:r#!`sm^̈́* CA{[ kQ9&&d+  !I ,Eu#2R>BD=3e]=paz4 f0={<'`Oaei% E +~<:W6E&ʻ#e$«e{4X3JWU7]Ľ 7<4خ7O,cmF0l lXxR@'ek )"XG-B98j3PA3Xa($Ͷל)jYt9DUys*EI"E:X>P%omtߙr C FiRlWZ3H^Ӏ7.A+8δrOo X0dp(s{0PL3l[_? 1[X.bذ mIxHkO8 9yȼZm?'kIM0 DW˫ ՜ݾ6…@!VLHiW~ۻWٸfDFP{;+ Mɷi&jV l#H:S=1Q)xYd#0Xc!M~*5LPF*G+:Y_O$-:yQ#aLu&Ue얌 B 0)^@\wŷxJ I6$)BۨiY"HrC=$>v2`9/Z ܫ7!Z(F~/օԹ踡$mR28R$Ɵ0W 9KȖM\+ XvPT-Oewdy6R focP8H(+A탇+W|cLLBK}²ͭ+n o~y,+ y.Q"dL*m[Uo!Y${Ja,2VIcahNZi[Ud/(S8^o;TCr@HF:-*@:;pDdcn{j =E 1SH^{olS*~?{fcΐV{f#|yin~/3<}׵oaK'RD)y/ԼL;B9EJ5A'HJl\ 5gV=_FR~7C)JT s1rMAJl_9Om՝xѷH4|3 ?tAT,0ڥp\M!3ʪ9쓬ca?+@2рGu^B UaYsVAUZ>e%e/qWv Έ|SI1͖>$L7T0uA>k6UJ/|O8!4`%N>afO`6Vh~k]pM!~"3 )5=}yEy5MC%߶Wi֧i~\<9̽Е\p_s12UAnq!#dڭ+ԏ4.Sҷ4W1xvapM]yse1wճ A9~- s.論U~i"}r&i[߿K\E\w5@E7%}’2bHr~W2 nҝ~M7xSAYÍ&%otf^Fq=U2z ]ȉPέWrF5tWcXCݾϚ؃iJ!v׊^EVg|!&!~9ϒI'-эV IXkq@/k)dzǗGY~zG^i>2lq3Eő|Wb"]D۟e .v96&+tz}-j\B΢uHՌ9嶽y^f !0}r0Ru6'W~ߏ{={ p#j/*[+ҀKZQdeƐ/9௎/ i?-7^RLFWA V=!F+_ Q\Uܘrg-f5iмP:lwM6f1Ch+bt[gnvz#(wrrwP"vLvz҃cGY żBuح1I]Ý,CI#`Ы󟩏6nEh\\AҨo+>ڞzGΔʊ+|Z3{Vʚ:wDCSF4: m$oOsO)kjgCV=@ELהkۚPm l dӦX.=>)9iWYyF$*\;Zդ0+Q%1޾=tvCpQߦQK{OrfK^ eىs$`|AN-43 *FY PP>3]ʢ5(na4-Xk k[<[W$$t %P6.>8TAO,Gc8/ dFp;$)^:Rl= pd>LtLQ)?(ć4y\ȩ߂EAg UU(%QB'2Wܥ޳6<`nﷻPj@Q\p:((mV`sf<ꋖ o~fDYc r#F"Ao9rK74k֖1]'v㇄Ե8ڼ;y>جs`3| 70o_*- FB^CmsEǩ'lxAxt8΢c+=a _t.ܧ֛w%ߧ́;ODmbgyb `uQSa'P TT]Ǎ !JE%st&;N9:85 ssHffiFG};H=+6l^I }΁ 0q !j웡ɶ9=;&bHpu*U^]kK>Pu=jgv#7|6O\ IPvU=2D_Tf҅ Wi&i#+gB@e>rʈ7g7Ez"vg?:xY/ڶT x할 l'F;aC*K: ?(q9#B_3cQCm5Cqp~}FÏN n<aԨ˸'a(4dYN={ޔ]:SѨ8oO[F[uR~v N-ۼ\hw-TUAv5ֻڣݛTggq;wABeKKf/Qz)S#Gv䑷V;( k21hˏ NMG7 ZD]5*;ƌM%-9J!!VAy, 2'I*u͕aH+ֺuQ^IU*+}'>\#FIez-M5%a\JQ(&6&lIJW.K=1j "a^Eq۔RiBܡ vLHQɨ`Q'o8f1_M?{=r WXd6rݙKCM4c^jMuYEq{9v}xvΐG>&)N n(u R?/]cmy義Q`k֎lcww|Ǐ1x9b*#tB)Ir|.!j Du޺ES>2Z4rHhj 17y<%z3OԷv ⼿#҃iQ,!.fxW\wad8bпnؘU?ȸ+2Li_xAcsLЂ9z)1jYi)7+ s3th[t lXU:6C9'm੡{[OH>`'\d.qa< d>iV-Z2` yVpl&sUPR\k319B9 A9gt9Kq;&cYqNT llluYrfPd*@X}lrDžT9zjoo FY$F) D9qIoU7>tA!4@XWbHMr^ S ϣ2SR-}k!_TT߿v^#A%dͨeùw{-mMDx-ɵ\<|']#i!eC-5n%c'm󂞧j !/TQ~B$q~%pJ%'bOW\X8Ճ-M޼:.C,Q_&4'*`\FCL@ŢNX^*} SEZ}G" ڃ}1'{JIɕ9\`s-;x%9hi iD '"ތķlФ}=lY6XyA[RlɄF O=^+ԟ3=U>>LVi J̀_ tx2Ю[IX?( ?(gXDF8ĮI)7/ɦ^yxO[*![~I8WSq.7Z0iy>[ѭ4x/$ J֍[ġ< p ^pԁ!iL,fZB&1\u'c<<^tۧ'& .VRo >:=`im/W2c!8)aoX6#DNqBR 7eeh!3W4:E uL$Q"/[C|CҊ@4>hP컔ͣh2J`&Ֆĉǭ [uy R\rʱS`[G tQ&u`09(\x0!wiz!h8\*rnɲCs_b&3|Lx@1nΓֻ+qJ|pmk1}H.7J yY@Hw8Ďr*x(R&x':2WKDTOɤe;IxӍC/Et|a0ń$ ?j80]4>@bk($Ϩ]+ht-4Upzh[{„(C\hAԭMݷ 8WD=Rt~p>Aoֻ"ݱtnuhՕPP1ʹ ? KϠ#U l"x'Âө*1:Ye ua6 esA.MQ&ɒiT,k쐏gT$ n2*OaSU\C:T7-z[nES,B?ܫc^nڗӖAT$>fWv;H,E6E]ml>!tU_Zgg7GhEF@ʫ<OÍIշ^I , s>HWEv&EbopA(h/y'(틝>!4ZR.'4q DI9[h~l[xȋPtC7L-[93Pkh2A;KI1_Z3󼀿u UJZ *%7 }ziUa#i`w (9{sb9sc$t"0A 2'|D%̍@Hvrj(I iP' l2 hA^-J~ЇC-LuyR`zi#_ڏyw=y復RpDVncشcMZH]?eB@96F32O!gXxHE lC V"=iE/ܦȗ.w  -2>qʤW{?+ HatXy?0elepTYv6$?QtC(Ÿ%i.ه?zaieժbH˪d&$LCm'WEe%LcdlU*561Cm4miUN3WiBΙZDnVV*#@T܄/-6%n}cs9- ;:z0Q:ҭ"'bB");UvK-}i_>-O2)4Cg'"n#:I¶jXLPX=1Pyc]CCsr)ٯ }`mO/f( 4uvQU7ZmN̿c;Z)A^g(?,X %n}y7qZ)b'OG SwnzCG|cfEw{!L7 jW c'byD eLNRZoAfesHcHc!ocX_J{O^\_liDi1BL3ڋ?ƞәpHČ wx32*Y#pԻ5NWUZ/ΘK yTwѱ ^m3Y+ưNYW+3WB:9}70]֋7z%܀vPr_X  >+lޥM^(^ω@PdZ!.|)D{8`^ʶ WK %ZwҼ0eчGBVh>,6 "I#P:;57?V25Q # >/ gL!/tՉWqt-,(\~{@Ы;[e*]uV.HuI._ @V>lܸ˜Y ViO8ɛôU!lGaڔH.,83+4R=P<,}/K=Ώ W]?k#{elhHNLS,t`Kݞ@ei[wԮu3 {ktF ]k_CjoG.^pe  \Kf]g`ևU|YP&fwkKvV^^rq\.ZL3Fke-ΐ ͱ[!&4(N+8sos&jղ4I~p$vGw)b#ۯL9t/rs.'C1Vy㬦Vq*D!F2D<]ʇD0QK[;,ɱ+bO|\,,l,sK.+-@rx֘a|s.s;m&E'lX)R)o/~VSRĜ"h!2ʍ*#Axi^*P =@I&6|N|.'U\]N\+M-IMQu`[FdǛGˬTEsJWO4(0sy? @ S-`da)ҩkݗ*}΀mS4#&J46|5D,B@!|1X쥙bgcir.v>=Q=L s&-= yIVۅRNZ0pZG[Bֆun6̚JQNX=5UCPnBFBF @\D]")礂mY!Gbh9yI,Ӷ[! y Q*[a /Mʽ:1ЃIؐP*J%/veJY@ AuAGFsg&~GjE t] ]d߁@Vf}uhǝNV=0|xD05Ncݏ5kX<,t"Ìa8G⳶H=sɊC )[m9оa,"Ceoa|.R(`S+/D682'qhӃH;V.{>/7O̾|``Ja^MS*yq%Ϫ*b\ +~$*u°Z %|ub=*kɟLd+כdmxYO9Gۈ+tm M" xP8p>ʊ0 6CL6,Xj8@EYw7-yJ޹Q,d cI?H( iոZ=rG tꦣQ7[XR}Z%!5)?-cb7:sbCuE`2Vk^ &k~5Az"R H\^k?,\bo [`<2xLDtbKiy2Nng~bEy PynZ>>*A^rpq;}A@^$JYc0ݗ 5ڷ~7犕JyҐMIO,hߙn @*9o0R{;3x]=fֱC:Wmee_U00EG i㑪 $vG;ݸ&]';d]Iؒ6ჴ1u#Lu,&egd% (,"B \Ɍ=P\Hb0_ Zr3[ߦ3|;n'r;"l&v)OXaݍ) h܉UF;&4;jfăiHL6@:Q:pgPƖJQT(m@:->ַ*(ڹXJjɫ_.9 NRw=8=b{֡!n ySF(d0]LD1KuM LL^T˻Yz[f4 `5d mHEJq'*/1_]JYb|tvKF2:Q*NxS7oA׷,4[~yf24a zվ"'lУmHvwS~N>,쿷覎Ds\#NfJЛS"%n$S߫aKT g &DC\/l{(aCG@B^mYUF`4Hv*DS RIҵ|>9vƏ@n\rs&U?Ě}%/O1!π6O J,!J DθyxtQQ{bLVpCsybnZo}1%Ўq ެGb{*dq=8%I͠p^oflƅ 垏Rvx Wd*ȈVG!܀I-} O2y.!v vr,22#5MZϡ[!4sbU }NS{H20q|*vA8cICrwHo0"5bx"Ē^8 odz( JogMS/鹻Gm7)!kW_f`x͈p138ƒ")RZy2ktO/\ejX{֬AR1cT@4LxEt_&j b̺1:>i6G4ߙQ&5MZs+|/#K+O7 *\2">GgZTW@0AEl֯ݾAA4٤{X](?c*vG+Njwa()2W]uP&!VQ'A)7f@'[Ľ[z ŗh~ t>a*uʦUfuHoBqտQ"b HQ9FlPeUUEk9FzүXvbR%5xD[ry/%_RX @}*f$Ak%8ذV%)c?=97kU{]̑zN ]6.~Vkؠ2)UT;jQ1Gܤ\9j(CBLQZ&۩ƣyzW.z?%P>> io+0sPB%P DQ܏d{>T-[L`:[D Lʯ vRҩVlY{F_UzSWof`@ђ%a3,]X}޹AīGҦ{zj sգgm4#>)8{2'1RyHNeєh!h'sD,!f"ʝ,Tm|ګ@h o2pMGsB A=VX3ŽH{J;|T`-pcfxϥw惮 L`P+;y[~@1 MDJ;ZvIJĥMD'v7ǥFe洈:c"y 'V LšSuquYsg.:DsKc_ |f/•2V ۳,|qe%>٪{kx:I?Lf2K+>#u-G>`.Nuo3Cw&~;2Ur SMMGLό?Z\Na˻ GwwPR2  &x~rrPtO߱Zp#EBrEmt.}ɰ"rV|7}4ĩ]xub?k Jp&E2Ha`{h vټʫj.u5b!tM/ 0I.M! )[%5FOb_ƦkZ7|"AR_2\Zc6XZ)y~;F9ćfN{oH s|;zoPfP*u}#W}s9m_<.{ъh*|Lb` xy]rYS`]tĄo>t29v5ECthÃLۗl}Y g}VQei4u\>FHn-=ߧ@_>ڼl3wCP $HLFT,_S{9 2H^ wp_XR~ NֽJJGPhu2xbc'S[ ;*<$q^#ۘGB#!n 'Vհǚ#HG8YC4j4 Ȕ_0^[8*4\ P'PUi*]582w~?2ГEtYlYf+udMU#2Q!0v\3Hkt,r:QYuZS!:?.4jz|MeUI W^܌*$2$n*[+EMv:-97[$*4*[Z^ Rw0xUr/P9ɉ >GM-6'(;Z@-T'c&DԠ)ѝYUJ`v^{AD–mY@y?9ma.u&!s@i^1h&E$h3ULͤ037@/b2/$DHR(e \*tp_Fg%޳ؗU #vlpΞυ?+}y7w`U(m11-;'4=n 0q =ZdlhyE,{im}Y5M2lq5ȑ2x!BE] Q͜98;_;ߦHȍiPhXbTTNM2mNRuadJ.fJSf&bֺE(kX ~HҤ־tӳ7c^ddj_~`C KC޴)[O& ,o8،4ESE&BBנB. bKd\Yv,5a}K ^6Hԋafx:PܸT ;ȺDPΛ~CsWNy*۶!+F8\~A_&W²fYIBz#r'4ǹ/]gH;.i MJy!v " H% G`%8KgpD'DHN:Ž<Sj1Sqk%l +q i_E!XSV<73Mڒh[k}0]D.SNϫO &JA<1̏;I+xn5B Z͌`ߗݓA޲,bJ WZiMcVv;xl_ lOC%BE+54!`cIgF-x> Fqv'`MR=5 /t9!q/TTĝ܈Z{j"+PVG 摭ƪ[Hmԁ&VcXl1lR}?ȈDJ~VS˪6Gx!AGzNP[Lsb+C0,#agJv77ӂ<>9tҙ߄;@ʤҿ4J=znp>lI \y}{L> ,Ჯ2CIӄXp򕇅+Z_Ҍxlԣ3ab7W9hs`+q Cg%a\&ɾ[Pri!5Oo[W" @@)ݨqBY!_>,ڳttzbܣ eYù7)m(<]*Ԓ/hY.H(48Oq2̀BXxy1՚QolT_`OK^- T5=u%Ix8Ul&Y-㣔k}U59fO: 8ĔIAHᵋ㮬0Trf61Q;QKU"Blo> y 5OJP{QBՖ/\p2 ? ijT iACeoUTƅ) "84%~]b {3ehRkoF׻FodR-3{rf͓aI!|ňds]ٖz  qJeU>"en2NMPI%$e$%{KnZfeR}S3H_rM|Wącq>-cdz ?Ķy\83Wx_ztz@"O-#FRba6: z18oʭ[ѫ",n\x$e]ܝc'w!珀>x.n(0lGX̋ߍUweChsNlm X iQ7+AoҿP\q&8wSS1HF]"6VWyc.ʧEM =waM!ې4LrV{`ǜo1=1;@ȭ5kLܒ]<[d=I4:?j;;h1~&9 uD bT|"*{ |p_/;D)Ψ:`za%[."޾:;P >sZҗ[&"-bH:hSJĪvb[nJqV,qFKZu*Ex"RL?Zo_~hj%(vtG fm7ނĥZ}/F6@&clKV7٪fC~ha**NQ] ESdnu:/c¥~/4tP1p=Rn(\|c 'P}=nIVIZcRD |DMKWMf4c0q'oa^i`h Ƀo8 gv;׎;|Sp~A9 qrAWv~2u6=5gس'ILO:<C!wrXr?ӭ[Z2sIcVО'$~ֽu5W^W ax,_#̼\ss)E6_-xo*<Ŏz|`&1a"  flbұ/+)?9M7~QuBۓê'd4w>"Az-ȑGߋXa`{؉zMWMC*i:@lExO>%NlliqjE'ogy#<9Jz[ݑNjB{y,쵌z9ċfG(n QP /IKH(4@̿Ql}g [}2wdfQOY9lLrle71A]abgɀ[O&fDbVJ,ÿw_ L|]%4F nsTc˶}$B-j/>xv*jg+" qn=_@p!obR U׆]6P=Qz,Q : bQ9aQD\w!:>1$ ,<ʙl;UfwpP$D%Co{6o{#  {U#v/2.D6-ߞ voݤ&N8Sq @޹_ОuNچB^b 7ɤ0RbJKp*sSy*jfhV(=nvxk 32aM ijMiI@~jP BC:+Ah80Rs RL XHy ϭ;L]9V{>xFRL-LBYjp+Hᝄ5<(BkcZCEj vJ%"Ni]ur8eg3Pz&`w]PkOJ6y@="/~;<3NAc4".;N&,n_O`^E_I\lipUxt6 YF7J&/j̱Rڵ γ RlQBDWy'RY;@)<;7(8y Hq=jph>Bi:YFC: &^4ŇSFڝhhkhaN kzګwd\)u{VT=FD3V-H!=Df\aAfɅ.&#.iXPmmN$ F9R8"H_d ȣ C9^4-T_O0D5hkZ=Kv.LcZؽ3(_ ]Q!ME𻾋x*[F,X`]ATE佦kz8tq>piѭ.nf2qfx@f5,w袂tkB# W۪j !@(z#΅ wph׏@ $}U.U ~YS+_߹$7q <5 E8/ت!#bd@kgj W[jWcSl-Sau J\f{SɣAJ o\H) ]m@V(y_/4rN8L-097^ma=w%?Ƽ{Z./֊;"rWN8jk!TTP꤃Z Vt(eX]~[ۗ9~^k^,W=h OñwPfsE@ $N;|=ۓ htGJ D #$yv'GoesD>pƱX֜cu9B;SiyN?Ej9L &;E*'3C#c\Vi'*f)P"*>f&b+ 6lIVԻ4JI4G@Մ"Y+ nFwHʵ *撱!HU;dzVWuYyo. 2]+g]AR[֎􍣙P"cY.kWD{BkGl:;4[=ov>/+mLQ> 9 VȝZ-8 J',r +P[h/IBn| Y0SuHpj3+,uT6b'\Al*͕ m8{pef_ ը>Zt+J-9Gi{qHPPRO1OnPJ%~?ghہa D,5j;]IIl$18mj}!ҹ̀cvT2mmvO5O#q2khE=_ &B{Yxl_:I]YTYIGG]}f;J͑`(bnAfhJ,d{ц)iUB dd+/! W~8_̚9$`5C' 8IT#fG8*F+,BpC Jg#ޗ]Ia3eQ: Ȗ`׀vq%n>YvVIR#D7Ur|T;>f#Q/c[QuҠħy(4[֨ abܖ m-b"eԭ.ʬx8Ya`aKqn| c N$K9ޔ{"AA@1i8p9I|cNS~@D-C{'nTA@c܆ ~rkvDaDWW(UhVHFƮ~t153iNC724XS<ߘƚ7[WzqE}cһ ~1H HJ[jܔnyǃot]5C y!Rx01PQJ* Ps+8xofɗG.v!+'zDm@ÌQƈ:3pRn nu eB>L×/.7FXEI,s eL#L.2u?I/>grG(Y]L(}NWnV`% d(aCqDˡC` 7RL&>0Gk3;F/}8u+$-R Uc/LB0e+YJ$ҮD,=؁nm?45Je:QL{azN "ɁjTIW[U& ֔2S Hri1"bI܉ɻs3< .M[%IOM3d W Bɹ@t"Hg*&Ah@C(mv OeI(/k)S:dx7klR(~_!~#EXM1wхnSvenvqL%F\(k K;qFCOp0w/D&qiZ'}r|ǞYIY= O[;rCtREy>*>?+^՚97pO>1q!y.z% ,XS w8sB6Wn!p7cnk_o) mg?\lAq:"azAg`!##]#/\ Yo1=Q^C]h>~r}DlNaaktܛNqSBY\埋H،?CfGUuaE#T#3+2뿸%K'd 5l N u4qiIuQYDIxFSnİ2Fg@wAPG { )Y ͘`\q;?UO]+p˕k4IV5tl'08сwF?6Dk$g(1Tk4ۢEnq(0 ᠪ8365<P%~uT1eP#s;]4?8ۧO)\2j̱?tO|\#!~Ƙ]:X46 Θ&Obʻ|H\bc=]BFK-x2;D'ƢֿPeqX ъ16=@\Bܡ9e ^l恬%@g\D.HBk5ClQR@Ο&gS<ɻG~^ 6AR<,{;X!vͥ0Xz,*JīN('ewLčjBwn(Ƒ&dO%Nl>f L̙ :,L{8t0U3e7EןްpՆface~ˡeP$MY xL}DYVާ@]R 4:Y8{jՕN v>+̱.o@ۏ;̞xT>WHEшvMZa۩V>LPAebR'XռɀL1if_8K0< ۢ=XܩYX >(o?=M%L}q,lL##ɡG"'egJ7wqNլ j KJ@cN{9}1Ժ!ݥ\ c5ԬhZGNi`_4{ʖH qadE_iYā K3B4d >0ckP@І D^X &HAn0lfE<.IW"a+>#ç~n+]bVSR;?[VS`3^ <kS4o#<~dEUȩubida?͉% ڽɳ紎a( ҅c17DP + .@xPJF ܹK72ᢶ Gvdv'Xԥel.Ǟ^tox yW.:m9T< Cx c!2G#mH޳e`/NH}Xd|9i_XƢ½72`*^5H$C͞*4I}˅yⵯVWLQ)EXݧͲ-$좠IAfߎZ(hE 7}j(>+r@*~ u$WA<80^Cyr8?,GZx1븏25}6\ D>dIXϛf~=XXK` N4enէDZH% ^6$է/G D ،2 MCCav4^l|Hy#wSR IКSٲcưSؐ;}6BsSOI6}}?cE=O oe"p+7nnAv]q\_mGj8meꐃ `>=⸹n{l}'Em6Hrk9{;ӫxx>hUa8ir'{`V¢C5qLoBVdⶸkLLZo Nc .ӤA*eyY)Ȝ,&n>*]Tpl1s`\:ialM _ spn.SpDW%cqPD#'U}%") wq5 -,zxS!7@h &d/ x_\t\ WQQqp[-:)!?NI ӑ6p˲'G> &N`ڢ(֋(Iȫ M{<,Y(3J#&(6L5/rXT$Nf1RUc5A23C,+G3jvS[XH5dfii2H&ID1"b rٷ 1xLIcO+M@auJFV4~.J nO盕MD@$Ss50VHKx &S`L(?)tϔRE̊4yYq|pF@!@ %l6=,ORXh͗?#9bFj}{v[<!% KЫ)ލYX)r)}k?PQb؁&^.ѵ V fI†El5BMr{צ&5f:ME0pL2ܢ[RVp5aj/w,19%61ւ⒦=(hH{tr(b{8 b $}l#!/*lF< S5N2_nn3Ij@ǒ$:2 }>ʨw{S(tM^U$!P{Cǡ@l{5٤p*T >4{i7(o?Z`4|9SSD؟6rFws@t6) V ՐjR҄,d-|j7 >:"B#@h [/LH*Q=Ă)>}h|7Td]d}EcoJy2)x&'3,ڰ G|>&q6YAH'/wA /lrսa;9d{c {U al6yDŽ4{$=?{޾bczL(:@TaҰld>A\Jћ,<=Gk.~mߌ_bqо7y#'Mju0 6\ٵv{%c' @d. )Bܭ;Wg v7Ƴ-M/j'(C<#ͷ ,*|yb NXv^}e 64Ֆ|F<!K3m\/vL_aͭ  gӠ/ꝸ,9B}8+)|C0"ҷrN8W= JOhxǝDlIU#<#({%ïĊ 7DE1˨ Q^^ߠt$q-KbѬ{=hj!XAhWMWCT&=6 ?P>PĮ$W#%i §;;\xF Ioq*}0М䤣Ӧpkd06Abm@S+~?)5OҷcJ'*Hx"ɫ47XE86UKAIDΤKC6gw>ZPJS`wf Z|j[XN|\$$" s*Y_~.a@jLY!FGCgi5[cp9"u vʗ6hzE7JzBf@ڤ$APeRʕß4ܙ-)}$)E3zNTutLY.a&l4YLmBҥ}$U dϒp1t46űR}~aR5;({)]-<(c i,x7Q= V,T^$EY[=JI%$Gb5d<2 AA5_cɮ8n4QE!יrMi"]90˥"!x<-L<03= ɔXW)*`N3N,|vSOEj(/hmS9^JT5幟F{}pX7no?Ea^e1x`6'O~ miji?Kߴ0KC81z/H^6VNaGSE'_QC:9*r]ll"8n˟"7MC $FrMqQ֜m.͚2cY-K!vɬrbH |ַoX銼CUN/u4 Ŭ!u]"A ]½CB,<^O6.;?LuX w0pIR) Op5(J:f2<04f4 <*MHA격=~L %W8~v_dl5gzڋS)^!du8VGudGoZ UV~`Z=~hHwp b+*JBacU=LGo肇; pF<} }7FTKy7܆`n,${.J>pR^F\wHu6.ug kĹ/K$@/ufHW!9X+3 L=07@Iapy,yrYbQz8c#̤|H3h6ʳwԠI[2u4ujGka%i;?=@vY6rlYcc#I7==߿xN&ϲm5;\&UZБ[%)6/=laKC҈#*!d!2ߙ`H~9BV:Un='W|Ó1x=GiCH$4нv%Pdp:.vMQY4O9PNMprO 2S{Ͷ0me%qp )`SS^:1%v{p-O6ߞ|]a9k-W(VMp: 7 z|VEi2EܴAN"y3.'3X1K.aj2iL(~F2L`CRPՓsktD4w11G,r Ó3W`[LDɤXx+`m#DYk[O oM%£y!PMV-19uiG5<'Dn*ExW_XBj"~;1PƵ[M $+bT{RoQp(i7b9lgjľu#5̍3 Vj=:6MDT0ܲwpu_#.v78Lk+R(%Mc}`*%da`r>GMTwٺ8fyy"2=EFjϗ =74lE1TTczL D%' ?Ao7e xeL:ܬ +0EfR^+e栔-y ǃ [r ye78ԇ;3By(,Xjv=܇LfT~gx}X/1} Uߞ.yWCV,@Gf|V%y$[Lmxt]LK/ QKaoe]D|R8G܁ [s0J}52xagj;ѩ okVsVG\}ay #`a&>%SIsJ&D~WAXrn"4e'\(R:$ `>@Ag=, yzgbK,60u  8ZKqҸ @]?B+] g|~b$tXGU"鿙08۰k1! 䔡rͬ5Z9'kq2ylLcj"d^}炅C jK |^wV6CM AR/hse,hՆѓN$¢%P$,2 H:X.PGHR+ Xgh[w"ViFfZJu>QAna#VBv؆Iz5fIHYyVI@{avjЉIie(xU;SCPw'4\RL#3_ P|Y8N+GŴȨ^4-9v 1K4`^NnuTY}ޕOi[#37G-KBbSbU7ܥ_@|sjG2VXFκ}Cy>*gT1c.ꋱψޭRoZhk1Mol'kV2xEu n5oujOzV8FP̬L c$xIo>VtF䇌 fyeFZܷ_N}J&kf2تx""FUD3S\]EۏD&僵kgKhĭB1ULyqR9.I}~yzrx3Ѷu:atE1pJ!#]E,]&v?w\Է 'َC/#-Z;?U4E#&gs_}LTk`gNqSJIj̮/9F5MNQ9A\X{]Z҂sfI b3hff#0x|O] ũj}M86͚Ɵc0obEv< HdsR#)zQ-Kc '}S~Z92,eN^ds﮾#l ?FIW݀r?3oq p Wr.uqqsSt{}޾QAN+;8s>lGa/C$MyM%f-%_vSW `:1aNpt)aTVet2wKq_[ՍA68>DhEkg .84n/ܒqJM=ބ$<ʂ vmΰ9/?!\@Th3|8Qn<&^[lօ暜рvAo2Zy`sܜ20p`)C~[3g53-kdIwOXwI%EY)˕Zt.o%؍w͸AH>Bi?zZ?GI]'L@wQ:`q)` Ĵ45޺ݡ]䢋и J\9K%{B1 Tu72ɕr1<#YWAa:^־:č3v/gYL903c i&t῎eAT<mA?>g>4^B- (}5,+NԚZO9[kRCwp$yNcFB_\ Dq657S+bAl4vIĖIp+oho5 kʓ˄6#\/oDBKYmqK,͡?)ֆEk/S1yBnl<%vmQ5P8&/[bG"rhO+ȲB/{MBB]{5A΄#a{%&uF3 هuݱuBZdV&AۚZLjDbe ta4$؟+}hjj!I\.d2kjHNZ |z` ̜ඒqE޻=nb nP 3 J2~~e]i!xɠBVgy@ʅ/+8^TgiҒe-,`#?Mx1 .%E'4R/0tw X!d4@ s_o"pE>yLl+GA㜎k|Աn591˧nO-=5GM^bQLЮ~oSE/"mX`=oTJh3~(*x(efbde:&r'NzMLvF"Cg4V3*bx[i8#']vV4 0xԋS)o-pHǶ' np"^&/-đoXume?&RJMA|M?G[ҮB0\̸Fdӑ%GjwlB־(jx$FgVegphH?8'dL}gմI գN@EqqwG *Hv$) 8*7*$6sʍYzب(I.U6.YXQ|-ĴKbg·UIj+tSӊ=%1f>SFk4o *;Jwi]vhX4țv2Oei}# HO)?gk?mp4g{*P+~ڃ 2UIjP;"!z89w{Gl>2ISwg> "<"?x',+`MYT/_`6~zܒ%,#1`c9Z 4~&h*K[u8Z qiI(ɓ,]|5,[3ڪM.rʄu'*ǥ/ &Vn~\BgCCz"T*:tZ*e/â9{Z 8UDVWWT^!łjډK(VrIZvafl /c_kxjmyS0ȏoy]16SLr!IjINl{TVBwAd?6! %ZZ<CN<̈oIW֚OdQ7SQF25u3hBO,-c(]*39fSl^X3ESUneYl3צrʂ0/ܜx9.LÄ_SH~Τ6VV_+^]&䚏"W3=2-*0 uh;z7؜2%3,qǚ^*F!3f<^]$웖WpYBD X&;/FD y$Wx<m&+O0͏U Z""Dz#J֛c?QO;9[mB6X4mG-+U$:?C$ mߵ k#1n+k rƊA]C{x$s?MW]Jzp-̐z~CZUߝǣiXh0U1d}xԉQ Жl\ѱ5 1R5 2\)1u2éfVI*vNm\b%i] 6/̾5q Q6rr^_z#AK \/UaQʹ6G⿞)JlcȈ7:BnJڦַ,\S)/W6=rUMdo_~! -tA4JSdǹGNՒ?r8 N{dP[0 je>f]_7ɸ:QO'ղ1{"}:a驩j"=_r@>D0hǘ:VlH@>#M -_p2eBa5!q5##x!w宭Qy#B]n׵ǒLnRF^edqxM7y tבrva{HSgsƵLX~:RZK|{S ;=;>뜧Pň,\!]ۏQZj|‘LCVtnd{m1qsF4Z#1-7!Ze/fnĂM7ןo6B$LJ5V'7#L9 a^(硸P~НV8}dvq{w-9Xx.2@A 4(㣇5Eh+-T$Zo<uL`us30qœ˷XIu-*܄ Kl*g=<\2 ̟fŔ*;& Tqsɲˍ;&<xn8:T)gtn wr-H>],Z ܲlo-Hۜpߩ-K?Syd^"xƙ-^wl{5 2YOV[@P@uS;DBj00XYՖk ";,blSaܻKai{1AC@RxsUSY%K6gc\j ?K42zfȈnnzaH^J,*<95^JY/pt=!W&D/^ę^!&D|9-^!zoeh΂֕II2!b$6u9CsWEW="(t5FHX[#NZ/7LIdew.D יq\#G#is̡!>74 z7lx=)[CM3YA>]8ڛ:.&X[ZWcU(Krw?QFz5ްس '^ײKd!VKS[0㟥:"pÐ'b0FOsK&.;r؅s/T-#Ȱg6CP_PP53dz2A6# JI8ܒryTmgv|]l%Y#c){-Qay 6du:3dk V(1lg%3毟z\#xFQby djM?e \igV% >D?|*vA wU~E 6 /& }JFX6PƱ.R{r焧N~ηbB4p: <̠1'q?{˜:+HZ*MH؄FuV#PZЩ3M!6I"b7G@UQą~ |h$2)=;~Jc& &4ƇKCA.!c6#W]ueOV6Eu VQ I`[5G0XޭicE#c9 aά Zc&n/S]. lgq*0\|טJJ$m1Kb5;G ˆqr̞9L$ =ƃ mYyAک{e=`ȫD*qPVxw7Yl'kFC,P.р DSg-Fr' Ph$8 JuPt K tʠE֘l,n `"U4OlS4qW_:M2TXC^L c@w=cWK%j6i+@V1ӣ,<jNn\~# d@؉7p`kd1xd!*.6_P/Z$.e6t$``'b1M?Bmoh22dovk|p6ED\ i4 @lj| cjo :BHMY ~v=U-9GJ"#?#+ð P?*i.69+ow7O} 77T#V3icXgJ72d龕J@:mM9ɴV5}j3#W$(+jziEye6koӹPݗ=s RD0r?w}[H.JE?ΦG@Y?hM Jg<YBG`nĜxvMդH$P%lK_<]]V+ ;GY0v;U3XG{A{zA \H_Gd 8_b|B7O`ؚX`, 5f *а4Vw!ʙϘcZ㋿NPm_| t" m_F9]*A.n:ž}>>#te*i82ͱ𯉔$Sjnδ@f8x*/tJ3_W5lLfZtCʤ]}~PmMuP9~;ge9 c[!Wג u2M#r/՝Ҍ4׊UE:~ s'~<{X[q{>WLQO(^(C`ASEBau)04va4C\:70,DYh*#:i3.v1@d8gRT }Xb8'!k"XB+Tm KI\|b)HꦟPΉ4ya@P䮳z25m`G"_Yʭ;~ͤE0f žYX7B? '3w{]#ޮtH`A9+׹$P} $ [Q4d|CzMq߀nY,m$X"!P\0? C a@!Mz{*#uiQVࢨ<YW|W<,ۚ@,3x/bF`ܵqVK͍hL)\ҽ ӫ]>>p)=;-Xs4h5(.z|9Nұ5Al;M<7mD*݀}O#~1HJ-Kd\~HL(@%iweˮki.>XDK-t9߮L1g8F;Av^ڇ*kV x$yjJ$| ~ܽR -3YUj+3鳞~+ƚBc$ig;ߒ_=ŷ&7jo+nx@Bμft P!wi! ;xW>)m_l̋W"¶<7 EKx? ^9 ڵy)hS?)_N$z\UI= ]RrHKSN@5`Y/u,]\S"@ղb@7mݥèԧ] ">jE'GZҌ 拓e58 [ъ `oc>5Gyߺl{91|b}_́gPMDU[N ̟s.&ZRÇr k\ ȈM9S؍bn#'cV:5)3F? [XJ~̱}cy1o#Eכ} NiO9ք_ 1U7Tggt\|?SWd;iK-& ,o!LyyO 2kE3?m=zcyymG!eS.B]Hs]vjŇ7ړ/r^c<ӒI2Bթ9.|mkᛁ?r>A|%d3T_V#Æ+% L}q({Hb Wa}b-2uE%a TJ%kƥLKI;jJz fRzE]ϬD݆1:yh{Q't&uyVz Q^1-5D'sfQB|(, n-wg+yuH_JĔy*B}η 6y $;3YqLͼ=p/| V)-r[X?.7|K#&%wњӐ0+OY8j MC;Khz @0y:7kHE߿liٌƒS0S`B:K%x\YX3On5ٝ‚ghh[\:)!x59y[W>-FL*Aq~XsVnHM@JAȷ@l=To2)+ -$&*8oP^L ;Xg-²L J:;6dț4 !V iެ?\0`Õu wo27\L*nlsZ6V\P,+"l]2$ h`C9e,5:;{牺}N,uQčJ[9&l>.f^ H7c\fHbBv-]^gYZ7zXZִF! p]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>e jɛyVL?fCB&mz Θy$J"_3xO5&1n?_.xv8!$R~пszG(¢1p\].Ia?R:2gV'Zw#!fijt;1Hz+,\6 IvG֌(3)"nҿzjz.~2̂rڳwAE$a66|ӕN[3@Wja&#}9˃,^g/#B>Y:wnz'3;xd1pBƍ 00OwgYZ7zXZִF! "8a]ŗXi%L#"H2r訕%Kaݟf'mx{4Gi R}T\N5HAkŪ(n$[c4{Vo)7E/m|`Up!}*D? tF S^i-ڗ .:np _VY@ݾb 3;fŞ=37p0!Iq4Ql]Ixr 3V:U0ʼn 8^U\{qHN 1OPcӻG1Ip}5h5<]Z$ˆaS' $ꌸ䈬V.{L\9drbJ4gdDvq@v]G<=Q}#LW1%5/xO7~qn d:@^T`'* RT꤆]ce:nˁQ0Y"rwbPBv2K&*z86c>kVz4ZQǫ>6'?3 .{O3Ldٱ3+6B|^UG<;{x(硫< }Rv)cnSE//xq#iBeF'ڶKkhVόd"#XptUa584 #щ~'ҿ0)?[sT%]zǚ8H-+JG%WM}cP)oȬ|"K (_Y)*NUqSԆQb<^Bu۞}H MBP5&A$0B路{IϫX'dF^Eoc:jTVDױMgYZ41887f5b3493ccff6ed11e6ff0beac8d91b97d4c07893eec13dd609290ead753526cddcabc430222 3d71068ded37e22e7adcd9665120386e15943393 addd34acd51f2cb14695bc2bb4f4eb38489ad13f ba35be6271cb7b7785ed8c3928647beea24b7eb44cbd8b588c45cdd2bdec7c9f0c12b0823f5c49cf