SQLite format 3@ .0:  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 ((% 4 ]/]HOL-Analysis:threads=6elapsed=413.982cpu=1928.724gc=88.632factor=4.667zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lkʁ5wǬm\M9Bz=e'5k 2\(;|D P B,d`<Т:??Oݸs~w}.1e/ΤA] 1G MPmC,̎^R6(~2 X ۛQq 7BhVs!RfKq*m~KB_"g|V0bCSQ܇u@_߽ވ] Rp|Q+֧DeHp4ߦDd"#^x 2}F'A }nf ,kg,*G=`L^Zin7yC5`j9b,n d$;т&O[@f]E)zݿ縘!> ,mՠ;>CJovm;R^1o#G+O1ѓ,߻԰x&% ib V)g'W]P-q'/En36S2'l)ksU2%欎oH!Ht4z:}2G~9&o}5> yFЩ}.8\;1a a( )4W1E|TqMi?$(Г &ćĈbDgeQ6=EjdC}Yb4HYe]G*8Pn"4]!BZ8OTJr0${_[@d -qp4b@`>#M+fGtE.i@>Ў !akKWvvt-5pXtFqkϧU'U :,溨\frvRKu􃠣ᷬh_E.dŇ$:& SH1}y块ݟN}|O܁R;0_'iECgt¢0\%AȖAQ>D4 [Պ ,Y,U,XWh9k<0D?pVxzT' % HOL-Analysis  <@o<@m)L'OEԄc^c5D2V6DyI3m΂nWMn<%SrQMR"ˆ _s2+Džh[9T"Ma^J;45QU$m?MeǙVܐ©ȮZl)zUBW{Ih-{!.1(fǴPGjbG!- /}#ھ \:;a+& W`Fǃ8cvFd~}}@1(!=b$ϭۦ| TjnI)Lp x.-׼G5*/ʶÁ9gw1youn/u0%_p0Nn7Vk5ДJT_Ou&:{ÑK55i>-YBy.-PFBtN2hL?1>*Wތm gqne3wEe_V逗q>{%I)YFi;ӗ|d8YP;ݦViz|v 0YӰ`s-F|=mւ@ve'PH̊I]-lv ֱwjzOhj#ei~EIDWU6B;}tq|*dO'dBl4uؽfx]渗?Pw٠ 24/Sb@0eb9h]2Ǔw8'wy |# 3ڦ~$OA3x/=2)iL * 1 ?Hc٪//4٩5\~r%!p#N! sZF>6odxo v|]PespU (+R䛥݊C?/MZKe01pCgKW%3VͿ{\"ЧVCnHg[h$ÊypC 쭣J8_bRx{T`A-@F%*P3,Z@.$u*UvCq}/dz9y OήJ=ŐH-x)â(+2WSo̥qxg<w# !5twUkuщ uDX4'60zI8~M2cz`JuM~\)U{h$bȯ P]ן%݊SV8`֖ȩJ^[<)5G{AP {nyiyez`MeL^tOai.N@N)) H$PE^FPZ,kQ܉!B_zFghۀ#C8cYU>/^aEgϏ7x#~+NzB @9fSPVQ0;iDvARlem-5ϖ;i$p7ިc9R*%w8}j[D-W68gNhKe+ َ*T+W-l;JLs30`Y48- hoV E@@3U2.SQY].UysugӀ~?k91o{+lC~mA>ΌBQm:>AnvK՗O(B ;TJ꓍HmRp + VP ׿I_.J5*WT3at Ee̎p/`,H#GBs@H!5 q MzAd]ͻŮ`8ho%b#[PnB 9 ^=U`b!=e:Cjj쨾r/+$.b)"b8`|B>;2e)*WVa絢jvmilя3/"?*̮)IOii{%O̅{0RNcآy0|߮& A[zV(v5jZGX&3xa3aQhg>JDpsmR/fv,4Ǽt&1"Z89W݆} 85@EX]uО8cϑJhAjXq-w,ݻ R`dJ&^~:2r4_`X7:H71E@K+qgܮRvK( OmZܫb]/\E+!2HB͡C&hP45,VA} N`NotiYI\ﲮЇ||ovuQ{O;2͞$^m#H0y>.aFBPRaí@auB43O~t6RE7RF.ܳnVrLXOs,uxM f.r>~yu?u79d_G=&z1DY[+f~80j zom9[J02"#ΐ[l$'$g*\ikQ*Zc$?kL_B]Z<忙Y1Ϋ1#M+WSÙvٲs"G@V$@/EN ؿ6ƌ{[&YhyXt45 %1Yr|bpc~7^8͟&ĿUtKͳH{[G;}qj: )pr,o Xΰ l3= C> x'Eg:Mk@lB 6:*D&YwQ~%u2쉐 ;9qӬjOGLPzOh7Bd?m3xn'Ta#>y|,z+SJUaf95sR,s |#QaI.ưܗx~Xf_x0Bc!OFlT' ES/w`)юsE3ie7x)ts_tlQé~ vocfk" =kvPQ@g9c&+7unٗ1 ,?GG)Ǎ5po>mҼoh1 ɏ! IZm yO" Зb:+ܽ{N,n$`3`NeL(Q༘f-ϬI;)HRggiNl]ÌjRH** ^1I ᆬN'ZKCasVM{-W:Tll{V#}+ -H q "7**LI:&Aޓ6#,,3Y"lU 3ܵ 1BWF$ ]݀4kpz|HΎ,*o䍊e}pySah$CĐ)5'c_kj8w?'6[0?! ,U<8SI[MlG)?&SM1 g|M3 VKJ}Cd;!*'A|܋4 4%uӛjIr2@'kMDX,YScMV{r汳jP8ᕌ m)EU~qLߗ$ ؈k4t$C\EL1;|E`%dj}N̬$ތluc;Ꮱ`2pmF[Y'£p/\يGUt0l@L؟x;Vcd;᫹rQGDo[Y0ua=܎Sh >*v:C 2a 'cAZ"8HK%ca0v/ʊ14*ĻLx Y5OY_{ $E0 4X L> Q(T# 1yz¼m@:z6ZAV5wSL>F* gAMl1?QM0g.W) ^ŽY@@&v[+ŁfAkáò@7 ! kPX r?*09o}f u8F&o";i7Ӯ#-RX!9+V(bȩ[gZrvO !2y3AR&mԖ0;t4Eg,ٕztՕ}N/Nl'` U=O0mz~#"=?f)n}n y1aXĎH f(^zK)py(耳!Mv=%'[64{Ļ#fK9XM*xFLnf$D??~r^"c@\YNʌ2}n2$h[,x}/PP] E")pfYFn%;cB 8Df[jTk&֜{!9XeZGkt_Ȍk] :SIb<>%>,IoH݉̈Ǵ9ŨV1;@/?U(*CӤ1# ,2S`%hH&!hlnTlgt Rˋ*)s}̇{3g/NAR3kxW&h=6B4ly=U:qЕ xv/#m΃Au&kUࢪKN@e?C*LCQ)ʎ'٠r\ٛ<~5ϛ>ahJmY0w4B`"|bPNBx+NSX.^.KMuG&*`fG_=R7|(a[8~${U1cYG::B g|~K/# |Ke_ R9'Cd`bʤYF{I So/6lrOec$/NFP w/X*zBƷj,0|,`yke< jPMI$鬧h2:ں2b$a(Q55 z7m:+5SG,[(5ो=0X)lާdEt>WO3.{fҭcw#]02 K$pS. Ǒڊז/o'1a2&llIz [O`]tY | LtXS4IWA{җks}"c$IK $MycNL^4,\eO$*׎ 4./s,?Z.݊fXU#Iwi&h*w(FՀ:7AGkTNٶ ^ѳxs" xfJ?'r}1X~VuCmR!k2c/'n~COjAZ۹&*+o9;Q>KEapՈtr!}M3\I*Z 6:[O蔵1'f ^. D~+,W$pZ%jCIu#PW$W1jit=032з-[v*X0qj| wUadamsK}^(Q:Fđ9C5,Ι] \JwǨ7:gsp^qBA鬹=Pz& 1{n6vܥ]ڗ=G(@%Ê8M痔6mfޕmW__Nfv>rw6e*N"aeO̲gKcTsCR9v^GW>E]Fk0p ($+˝r\,7 ƒSO׃*,3  mٺiItLe?|5݁Zj]\ۀY>FśR$ĵ4]3Q6|>`R)ɬwk] {iAH-#Nx=wX2u}i;/;&fռ[ϖ]?>@ =:g+čpAZn!IiTXgH oqOш?Cd%IZfs t#9)+!qz=egXuAޮjqv n2oș _ `"Xz.C-^"~H|"bs֞TJ [f`9VD:bCم[m1衅g)|uTMN5A y& $m LXzt7Jy$v" e?F $pWĒm;$SJЖ"(\nR-H*"HX@xXm/9QK ϙ=sR k CL>ب40ZKMLZ1\| mQU3?1TAi絧e/UoN@|sҷ@&;@JatQy,5[d`^8kdQh[\.;{h>U$roƉ^֗#nM: ֬[Q^RFsR0&'jAzH:~VЊrKe:Dy^Ÿ{.\?R ؄j+~u][RhEs g[ 9$j:V5\7:<{g簖;?]*D&a^d4h,,̉jȲهGSMk%M>IX5-rt+}.Q yD¶b߽`NVg]oշs23SYt&N'y 2ݚK_jC)p}8ZN_b2ܿdsBg  jErd!|=9G׳g#1U5}^0wdyc7DQ-uQGT-$v *)]wȊi 8 ɳ#˟G{=|a|Vѥ1(4Ii"Em Ov.0'A޻h߯t[M@ M_@3xs"W+UufƠLnQ^Xp fH;sلLf K'/\wǓ2NїbK4wvcC1ȿ8Y6nV@S\r S:C< mENhI n (c_OZlVznL4.m_u* dty i\Z!D'W5n5OX'[D̴rg\3>fO&oD$D _{t"ŃOWWά` /y$I{U|vGZxk,2'Uc`#;P@>!px]/Q)w_2U1\% I+0!T̠_6ڂHio3}?i+h~eATxf)IA~9[4xǎsAX7I.[ ʻͺY2YFJEhݳƛ wj0yYAZՐf_exS-]W0{# .<|S^PP#̊g%hi@X!Us j4x10zs „gٖrj>$=Vg_D/AŮ(Z\:"=I?.sV[mtzE&R 8+T]uX]5hgfu?e*ۨm}'v/_~DhGƯ"ovtPC/|3fA#wN9M!}<.穐؂)]yRTYTּld3rV۔{@|;=i9W.!#G/*y,-u6H!O2/WԆ=5]oe"gXY{F䡐إ@~@ XL(D-(Bΰ1K4f[[u{T|U\+т۲;58 SD/N=ede 2ܳU:/evYrt5%%~p#PR$arC>p sFT5vZ'%5:͜2Oр&2l[A ڏ28ĥ#VS/`M ?iNMTMg rVZ;\ˢK< qW~z5IoP~h^B-(W>zZ*me(r5*ezH_?^SPpӝ̀F l"FVO2d_"YBgnpʣ}s)䱅"| wK/% tܱqִ ݖrC 7ݎIܘ1-2}'_hӺy]+e]Gؤ#?Ͷa$ OؠqLኹkQPiЈ!VW9& BwT`U^ >]OUj3~H-Ed{&oq*HɰQF!$24$@h1;3li{LGT6]-/y AtUnجr(`|iQⳗ)x|vҡ{+$H?W,wjJ IW99JD VЗpl+L]'E7\Ǯ+t=9sF x++d Fu4u<( X'cf9BOw356:%DxHuNc3r67c%^i[zNKe!nAa.:/3[_.F(g O?M!>/[*'S6~xT5ޕRbT{hsdSu%aJ3y?3|td˒f:˚`H _bY҆נAXҼAm7eY y 鉣V Hړg1{`%J-zbI€J?u LX%_*uuCW:[_{2GmCUGda6:" g`Nl5hTV /^0REywZ-pOGZUSo 1D82v~ʖ9bn!d/23xe)cgNXu8Mfc}^wq\&)o4 DŠ*EVu8d"8n= 8hØaTs{6X8Y!pra* L5#hqJ%ऎZkMRl̴uߧ>Ԡe?1:3 KXNaGKYe@O Ӈ f+FЅO,| }țM߉>)K"E1Հ[t\7{3>%*˵IӹLF*<g&oX 5 8k11o̍.ۑAwyGP_ňj(s#t|6t $/K%@0'GЊTK~t<-FB㘀#B#G-N?] udjTb. 3c]!nGej\ZloYP4nICj}}81B$C4g ęƫ%{hFrmvoN'•\%*横)p!+_/Ĉ;, `g\<T) ̂!ᅚRQLJ 2W) '픩մNq6eZH$d6;8^Xh$e}ޜ#2HH.P^8Ccej_wܭ-hDb}V񂠪#,,盾?k F&z]N,;AyF1u Yl"ލy`nǗe]U*rȖ~nqQ (U F NZZ0م{d%Q=܄!B,*%<ǀ}~YtyWRO^mc[Gc m Zx1Y96L!s/Ixty;y$8}W 4C"IJA"Dƺ޳Dt|$M NXbeU?BL{ y>uwg/G(3?vFwEҜ%^iрmH%/+*^h82`,N;aLM/yx^u_ O`ų͔R%mZ۟~ ܬc[`ء?o||GD5Z!*cVC l"gtoJ |}2C%PkCm3#\޹;<';B/cNANXv@]|=V^׹:񶸽YӼ!*<ZHx iXF j* "3A/$9?g.2[X|_!5F?Uͥ&2Y ԑRis"'8eg"RF-O̟-l]m t<  ,P,<&cEKO%6'.f i_*ː٦h@^34tw%uFEkۊt}_k<*q,{viH xun݈6 zˡxBg gh7UWxS~@%DR@yչ: ^=9o6lujcエf~k!ߏ:~];KhlR`7G?ZP1Qiu:V(}lRP,聴 qZ G@}$;gm yǃ^k08ZFaxI +IN(WNԂSr}[O|YI,#hMb j؅LW6 0Ax~{FUHKOT+Gn2}Ta;ӷ; #t0 lSЌ/1KF&밊Y›մpоxwQLt5J5byu/ GсTC_ifỌ;+! Amh? f.`h((U,?7i{Rsrv|ExQq7H! P6`@G!rWOS#ya/1`[  Iw1@w9G4^0(J qB}ZjkP̔ѬH"xru513ț$wzB, Zˇĕ/rBʻa]8Bؓ':h, rLߵضW⍴nthK%3E;zqS p&S/HAUnBo-Vp#>"t=::P'A;hC6fvk@Ñu@/0s2c~p./O#(<^NZUj2Z55u+. (l_X,%=%A7 E6ʥI q9r[``)”_D.ۜrcdG2>oȪxӼd2 / +`U$3 7&ch&z8\;75Nws0疁- V?GFucTbOFM_gP_J~/2_gaȞ|?\?w[}SkT#JBSf)E(kW pGńak h,~+7&};"ýZD\A%5VS Qmulv?E, ͌bkhgm Ahz8HYRol\>VAp^YU&IJbWc#kpVHexֹkl.Ƿ]\_5/AyHUW`,ujomY r=ySĦ1rϐ؇FUԬ YAIT 3ESWn۠o 27bsN0nS^ ` HXRO/J,ΗE0.ƹ #-&5bdD p>0bZGo@8aK&|Iubh)Mjez zk΁?EoAU5I BMb^Z㭀(Yt1E!dzK$N?b)GM*p͓&myoW[a^AYF;l5$FboT^VR4\zτgv,JA.swaDLT<IA:-r[$hΛEqJ6uEOt`_*jn*3ɴ²_A x(7q t^%mG=L)㉝Z̶b' 6CX wY\)#9b5XĜx78P0vёFdXvuQz<]~4$gaeZ%й^:Ey <ꕤvNG|jɑz#mE TfS&7~KRVa- ød0(\M/jCJ<**QTAX7ѷg[ 2FdI&BnaK]#- 2-];|ynr395+E׺? Y'!L!&Tz-7Lb؎9FKhhvUaCF7#"j‹` 1.xi 5yyν_cP UWe}Gn;>~sTg_-դ5-. N$ kYcx߮d$݉~z2yſr2T=gW`ZER1Y͖1vyZ67ʳVt;ﭠnD pIQҘ^$*( 8色GSK*"EHbJE 4v,ʥWɱi+<*=Ds,We=3!['.3bQdQw Aa3 GA CXbaJAwڐo{S|($ 5v7*nlϺ&힎}|jϏəXR0Eut.exHnTG2ΙN/&$[߆-h ly{|z؃Xcw47l84hK/Dnk Qِ_Dֲغ-tיX0>_뺃# Tٽaz ot]:ǜ}Wn?!?g^7tqtߥ@v-&[Vrf/~HH-4}` h1B~ ]) C#`cI2*| ㍰Q[-]=4L:Wf="r=G9[0+Դ޺&dbtCP`[OFgT $݃L>Sj=D# ͪmL8竼 mR'':iة|¢綘ЬF 0›p;Qt X ,(9PJ\yoڻv>AoUyBaO!a#$(7n f;ikoB5 TZu;$~JNz)Pd%mt<;!^J ]KlO;)c\ 닫6Wx-\M${#*rz{!_fPW ớ;e3cqR}V#QV Kב@Tc-6ʦ}P<&;|[ a"]xAqX &OsمD_9_0sʝ }Yo `oKI,  a+&KwXd2R#?_+ofM/LJ'z*4ks.ƸQ6)k^ <܏"8\TXiB>bNI):w+a;變YQbl]z`hl?(Se(Ih8 $:8Z]y$1Ug~-ы 3M_ȉ;U  !*S# #.i).܀lpL&Ñ:$yLjlvQ葛G&'K4hH"jXMω֫v27IJ[ށ+WX^' RJWyn.IV˹ +cÚn⠸B^`] tI6[OHVݗN,%beلthܶ{^>g >)X{j5nѹkǃ [*l7t5:AvIUp»8]m?#A@r8bu r6mBC?ƌXIU"b6svʯ [Q1J.fusܽ(Qd|&ӨH8$KSE)( 1ƅd14$\]e@;Xhbyb5oIĜ3gk.]z F}8D>}([%Ir{CsP,G)~[oҞF]|6fFF2YeÃ\^XفJ̬i؝^CUOI11kJvU  7-dQ &x"H l==pO\ҴˆU]m0 cYuĉV *AǥT41r~RsLCOSĠGAnBŽDÜZImԗQlR%!0WeT]%ώ,yT Rxc`w wkgmsM''ܶdbP9 0L`N`z8F$3xٚFJ]mC^RT' }o_ȉOM^>k }3 A_}u˳ le_|G" =Kl_Ur)ZU'MJ Mft?ly |:gw[6Q3'h/zc)3Lm%}R-:5\_6 :es^4+U8fjbş?iV=a[nd@E%ێ׆P02i=2aPN.`"O;F;O'u DcPdNx'R~ +rjۈ'U4GK'vGT6y\::s84 \E@CK8随R?QVt $22mRoh봟 c+.00٭k%ёB.`6K`L6V, 2igX9IE ]*eu]@/7׼_#f*~2!V%hO_Ǿ1n5:,veGT VQꚤ0Zfj߆cG![}zD'f@ub'{ 0kuC WDExrpdQ6̚f?O9|[7i\6,{3HpCV` ΦE9N.pʍC>z)<[7`4W{Ѣޟ=#A-()K11I$p?\M8!NT[HqoC Wv5= }^ ?foJ`lJ$y1V!C<N ֢{Sv?PƎ='_N*TwCCYಗdAyP+w?~{x'g6l0]d8)8N +$2,hN)=$;]Е>F A&h!241nJ08Mٹ=ʵQV蛞0zѵDŽ:mִ-NoS brAsٓKf.z NUTV g",~ dmWWxʙߍgR:\7Q~q RdxvWN9gfDs{a/M`uc^к>bv(P?9Io>)+,A?O&p5'i+S>:IX"16EIdyq萇zV<:SM.!r f>YN,(C36IV[pT_0Ύ7?9 U]?KTrr+wTuXA&NJE@Gۣ2Q'֋F|K (]'Z&E]߲Y(Dibޥ/1; "+/x"?0d3*$4_|諾[8,UvIS"u )n/CV>J' UEEdWRd]9nCEB[i@:c۴;toҁ3*yIe /ÚTE["|Yh | !uOoECxP16sf̵]d3YVuwCtD_6sGq\7Mr l=ة1cZQ/ mab]ɒ0KtG1?*Ejr2VIڃeaV~l:HLN6 y‹wi[m#jaQDd6;Ñ}RoP#S)h&n  pIehi'{>ܮU#.b 02ZcذRv/E4uU*z)w I>Sbhh{`]?G/18֧̫!5$l㶺W,ܽl'XKїYӞ/gӉ@)g7&j;5:#ogrIͼc%cG~e+u'NBh  AjX((4>KZdhҀ?rORAV!w$GޅD(KBh uğKUGSc0_FږjV͎yv-i3gkn{V_5屴.svxqI_iC i( cnF4-" |NDF cGSUzR`ePW T,BtXdfB!dTR.oVA՚QSrjXS +O1pN&{CJB@dvYkY$pt3<{Q4 QMvCQ'54Qh۵ eִ?޴yKOXN #쟸n (oZRsf6܉~Ψw<5cm?Q5ji,;Êl@;ǎse%oIJJN=ml,\;)U$Vֵ"e&ޑR(1hcAqϵPwsFK\YzܲZ @Dd\JƓF3Nljvnz1ueo@En§3dVk#NKgnyS|9۪hAإ>!:pSu y' tԬg`9q9yfKQ ɚȁlM /p'A+xI+:o a:gq>B*TU$ht,ƒ((Y6N;7 g |ƀ8xDEA2ߐ>Ϊy)+m)}r,A8^b]a0wIL%y@C6~@gfrX'm@3XS9DMնOfP!V=c*7db\ *{ȭٛzE`RDl{Sq#*HmC?kMm^0c*L1;=eJeI%r>D ӁfKOmG+bp^ I5º߮r4U1)<~fLS0@ێvq(JeCv%IJvI +1B- )}wb@>a!٢GՈ+/ٵ>r4##2z^"f*0msӁmJӽ3HH}e&jUdIekvX;3'-$r5Jap{oM-?Q,)X冫.$o䮻ȟ.r@#Lٟ(M<_1oJ3B60EMkrQ:!>T)]7B8RRnT=K`)KmbWY?}` vv)n,6^ՋA~ο-i^Zi~BScVc*2xrpd9oD|ֲO #Mm"JD{@w;{ ݩ~;qlc['dW-vbωi8]¹L! :6ʫPԟ~4U +YY4oD9TAO)Q^ڦOua+!p/ 8/[϶^3֣)=(!я:WTRm#ާ1 գNj6s TH8ë|NǹeY*TFNBmgO/YD cAˢc@Ў4 4̵8k),R uszM#v֝hN=5U>Ga'\g㌢.*[9+ /MD!7+.0VJϟjT_IĦ`۟9 gv(EYOB>U$mB^ -ĵ Rxlvp2EQ*r6]7fTΫ&/<|[FP.KkggZyt~ix_}dCwe:-<ӗ n$KZA5Lt (OWL[gذ Q6LJ "ڝndCm4hXCfUkARcF_{{$i,Sc*>.яyrփ\wI"U_‹Z 3= Fʟ?~~[CtV|$1;hXpzd>#%A+ kM,MK8\1]Tp| U>Ӌ֮CtvRGf;arµu@~%Kc FI*-xZTEM "4kS2>! kTYs$vߠ)cLHȦ9@Pӳ8PO^j@Rnt}N%rCH"z1B<t!9F S: zij󻟉/nC wQv`yew#òV=hQhXJzd_@I]>Ov5z➛Y8LZ(I8}&v\y@F7? x;m@ Y2{$u0ce:m4HVِŨ*^8Qe ;ӫG-'+:j«uO|7Yq(HQ|1U{ދqXQ5yY9A.i9/t*$}jV8@0oYzYdgb>tH/7-hr;@<9L^/|vvK|UHBd=ݷ7"l9s4'PBS&{~istCKq:aq`jY%{T20@S1Mf0xI}ݛ|;=;8;,L,ʽ|zM'*$.c\ÿ7jP4ݎ nhPtϙe2LB[F'5I$_FmcnyDC!UPmR;wl &0̞x`Ώ5["`nZTæC=B̾MyM%y* I37׌>KXŵ'_2|_,,.zD,x*PɈD0Q8vt*_YAg-Ǽÿ%%ayQ"+:m%v<^ΦFs;0o= ^rb3ҙJ+ "CI;)I'FJw7HR38q $hǽGJm㟱XŷFbEVu ,'}0 h boY T$0-&GKbt٬an#'p qNd{6.t2R)w/TXWЫP~k1+4P)|h,-"'K;pp*-#+gM?dUv%X^+={RDr׀diA5dUgX^DF3t 7uiuMvhZ*Tdަ<ܷ[RTࢇW %YS4lw3()Ko져ONl4kTc"H@] ;lLE{]q̾$]fP)|á*7_ 1F2PN9\q4~zYD~_>S2N49jA͵bEHRoT^&@(F&T` PLҩ-ht%5pKcںdYp1e P@kޞ~?HTWoXYe^Ozo$L |UdʀG$]dڭ ?D.F7vf"qzR$s8ڣnzNiT(T[%zK#sLYKa+޺*Vx̲z({$IиDP5('>K;hE1ؚg$΄¥&z+%rh~Lv,NȤTr'KMGijA^/am BB2ƽϔ+7ho  e${.r98Rt9X6Z Bɘ .MRd W)C 0@.Ǟ.~/5C.dyS @ j:>"K?bTF,\*;7Z۵j9y|TWOs֗fO&lpI;|C*%rr׽#vb^+&4wXv jg9E-Fbw])L؉ے ea.)K<-e%[NGh .E򋏵aHj. SE2UDMyBzGADɤqv=7BL`SxMTɦ;:4)3ZZs^M!D@hrTw +6x8,NgW_7Q<<7Y*AZ#dƄrrtaO$)X֢^H,uUk,@V97^b7LQb_GPME`(\7D+줳 BRe~,jvP ޺U656(rSǞ [Ia 2ԑNГq&hJrLd-;XcJlCͬ9./=S̈#PUF.FۼݢEb#(PQ^ 7PePP9/z'p5dӷw 919 l>%O@/< 9 h gXTٯ9ܓDM~Cfj9X{F*jF1]=5懏Z`A-kuKY)|X '{^J/Hf{\{$y'' k;Aab뙴*B/,.J̼1ۃ10D7}.0Mc. ܺ2 ц|I0uR% gT!J,h@|$gSn՟yА-ZF5jvYSk\!J HcWpV\m 7u f\)1>#'g[OꚱBL桂[a8QœQ4$ sybO͈˝J,4`L5>6Hw̌:%)JY_XTW(n}=;Hܱy%ycHNW[QnFmT(;9= IWEntEm-gaGփMl1Ws) 7ZFT !֚߸ !cm_s3Wl*u Y@:l0p? n@Ռ)KHۂ;58ZPs4u2{NG96k^gy"+F#'0!Sd# _tK5;ezGu/5$T#6sX#jZ,ګ]-15)TpPot k KչTX)NTx3"&9&9Hg_y)w8% $y[FPbܘ ؗ^H]L2I}lDBTIF\76`<>I!!IZ?il /2m1A2qV:Qiix@uTL3M^ z^$1Ib0_FLuqI8y _/@@̑#h5Wʏ@WSomsOS?v4~\'=6h&;sTEm%l͎{w.xHwqj̉!rb+7a E޿ΌJyx<C)Dc.:?!F :By}x7Ia?פĂX+R_g1eiD+/uoyi\U#zXx#f;&EKIS;rL-q&CfA6e]~h/%6o|ӺMEFw1xU`7t%#%[eKG@ H!&7A^?>sR C[xQF}7JMΜ24c$ToGΪ"у) pPC1W^k/ qGY<mC|s5.E"+d<%j*h_:GE/&Ce<=Em-Z?,,dtKЂZ4/Vt %W:PhzɋtHh-YVI}%$/59>u:oz;9F$&பՒ5xY0>"8ONkþ۴_9A_|]iLE-f1[%iDu= FIn;p>m뛺KBÌJWPuF|" Z1ٿ|Ly)^ɋ:oVe>nX~7rːQI>/Q,Tu>n)}ہ jhZ~i~/3PlR!7&\9&jȩ(EL|ٴzj sm|wS51\6 |>**GBҖ:_(^2} Y.&qHlWI9[>FeY4VM: w&J~aG{cu!Ualj3"̰c/D3נ#l Wx+^E?VXpx΢) D qV&Vv¿8D/W L}&Ҍˏ<`M({[1XL53@Jq89\YfnC\ 2k~u 7 5^ӽ"$d\JEWHB/k,imE給/s 2$J^Yk)0Gr]4OV->+k·SDTIJ @p#l QQ1a(I [Cz(p)9OG8jLXGO^p<#>;Lez %, O[|4L1j^>ؑwMFD,wd;Ь]`4Ak %"H+07*TI4Mz;^Yi:qX$nA~g҂@.~EUMqPFB"كz^FjLV 8Xɰh-]&%7e(@(mhH^YW|5R5N4Tx4qb,ؘߠR4rgY[<`U!(\ڙhͿ[asrl#?µt_w:<;'v[S Nҭ;FdMCsC(5Qp1%̸ ?n#j,r>|Ed3{_DvRYۂ>n0N1!ŒxB|1Yg;sI'N5M_@2} v7Xe ,wD T?uOQ)qO*q-שJbªώ_:_-F2pWn ~ROLІ"#$v: a4&=~J0X{}0UfQ3*_woEWsmxG}0 WmӑD0ƛRs?&oծ7roTed\Qs3je, /K Ž9aXJ[&Xfx UrڭB=las牮AM''Y P&2*hpkyk徧~36Tr-"ؖgorXdyg155τ0vJs#D|l*byCӒ_6Jͯx^f.KQkZFI1^ >?N Pyz-dHO)ȞK15F>Vj%$)\Zs&R %+7_Ows+$[s " q:P,5N[:j"=혝81XObBOvi@rDzUf6A-bprM,^|zpJ[л ߦՠ^/ᔩ3ŵ b5O54e*9sܪ!s*b-J|xQ{a/U>j҃:*j+ʹtu$6+u~E"ct6kYϔc+miRqxmʿ"r"uX =Zz^}MCۆPl ٧W .Аg/c <Tj#nHO"D4N@ve'Q)ZO$ސLt8%0PF'K%',H,N!$q<,LnsB/ wŤZqz:ܚ*R&Vq純15'@xܙ[9@=`O>R (R&S biNX= 6cǧlȑr2X oՈS';릝  H妏o[gZ`3bڒONQQ&R[(m?t`+ `#O1EhnS  X箿 0o`˦w/X}BO "W pDQe0kDG+f@YvWO.|Yo69q8@y,9u NqC X*!>a;\zdzf uk7IԘE)bF곪~ ;VW kvPaӛv52G1DƯ]I+>+<8/^P4Uw93"v fkVZ xv r y,gO=èI3;H?",eiRʔ:adn:M1Iwkx ̑+x>Ʀt?[.o½r[{Lzp[Y " {~խa8M@I/Sǯ`ߦg]BE|FEqo~5$9(^` GxŴ h݈)h0,n]oXvj_Ŋs76XMpʴ6zuj+HTjDž $)ag)cNeHi\\^7G7Af`K5_)*v?RSd^ZSmU Q= bF/Zu+ߗ*ܷI؞ PՖ4xJh ̹%:Ɵ(1]JH{=䡮咺|㴢t?QT3uS-e ?Hg{69XqvYKaU w^,YwKܑZCm豙J:y1C??Yផ>6ssgcB1 ӥ%LF^y\]2JSpDR R_a3B;%DJ>0f>e\$2zr TEt{5@իh_ hiT_}tjt:=*H| ?ⱚ2kS'(O~ ܢL=lXcdt9l5.rVkџ .a}W,*e?M{llXAԐ>= E5BUro8%b;00h]4^'64m4}o LH(({l&sw%Q)q`5dw3 ϹkvFB޸1|lD|mֱ?*Twya2\hY[Ng:lUkyC| =uA 9We;+'_J^u08Ry*3Fs{3\ˬKg{B^P @uy}[OF2_g{?G-`^{ qAeF'bh؄z}`zvc9_wJϓBO$RY)ZbўʜC"&.j._S 5q=2iKQBLJgt_76 9QQߺb[fP\:Ux/rV۬p7HJUm夦Uf^XyM.%I2n%]cԁSw%8>ERt U3\YeN$bފC5ԷA+'=+Qk JښFEa-9 ;—=0C6 >8LqŐ,!G, @wa8 ";WDR5_UbjHb-o80\3J!%SW&+DPs>m2>9EI^fЅUHퟸ.6UꛇV)k;%eR,EE7Gӽ}'",LiqZ]]PnjF^wK\bYV= }c|"muv zUx֋-Y(aCR$(~ciIWd֬ht4%T+nTljyCFW .!*7 zSrDZ[毂-]]kQMhwbTp%`?cH7|bd1~ E_'qBADw+]7ޚ/p rD& +|X7#EeL.2S#^ ̸_W n. .yudZcg.հkw_|~P+c5sU 1ѿ:jCb'g:-DkYgR҈.ϼGRL)!B^eX0þs״0kuut\Xl!,ͣ*\UX@ B%]VݼY cԖ۬ #Ktm|o?S8^M91m$J4]TՕy@ʯ={_|&n)md{-4,l 9IXW=X[c?SYqsE됀|Js =}=қHJ@94.I'kowZgL\.pyy[0#|v& BnK\F%-/*oˢ֝lY m}~* JSʙMS-v:&#'cpLkn%}ޮo:z|J8vnv]Egy4KD@ ZiH f+")Z!L%ɞ $Ok0_iJiߜШ3jvS:aW)0 V>Łz`T({T DgfƚQ5F`{JSJ:دT'[Fz)ѾP⭍eSk(6lO"[۴pWvC7 Uc"vC%%d,A=$zgiNԮkNtV'w,2KХ%18(IT50kZO&>^s*kњndDNU>t_(,Xҵ|V&z/$>}30KETi1z]9r_"?"2P+RC7J赓˛MKfR:Wن BZвg>pӫ.j8@A/i}?)Ag̓lB\N94RG]iBu&L@h x:*| U(;j7sb1$unڹ=71qd$ qqF  (a'ۙBaxd—=9Sdӽ63 8!q9]n^?9xйu Dus-6= .w䧑6Rkn}p*K,(o/Genm}J0AqVdxuFmw0"BL Q? ]|[BTp7}f|#{Խ:$0>-F~8ނo|7yߞPw 9=ՙYK^v̡ߊ@|W+֡)ly< OoWbĊ q M[./b-9*h9y /2 E)=0E7&3:5EUF)v uV+xjwB5iq!L瑇 Wt|[mIBUdKm+ίu3fN+MDa{ `dҖP1~fg׶jQ)΀ և;X6aT/hN- .TpOjf zfrfLsV>Tt-&oeN[̲رu30Go. çfVG9bZ:u - Q8O~:e&.gTk}L }F{T?NJ|s;I@(~߰i'P+O$$ũ z>6.d.*"r~`j㴡%yiHT]$ I|SU' 5I|?Z9S_u%_ƩOMw̯˓ñ}Cv8,#c!sX ˤ$: 8aRT6} SEoguK*[RZ%VV5/X_i x :? c'nO1P`&&F`aZ,: ./{CH8]oLFJ qpFWD1e{KuS 767F5x͉ ,9= PdNZa\]?X5)?}~)_$r7XATg!8b=y'uȻYa"B.Gߵ{snus[wQ NT:fLVo~Li'4Y~l>.(>ߋm ǑCQh/C z^E!Qo1KdcݙˆG^gvy^*GUM\R%k k=NPhHD ZX". mL,6i륗ҸzC8| Kl߂ºS,s}h}zj8+'V+ %[`N#RGm]k -SI! fkA[oJ3~X.[- z>pW:A ubVvGG4^:з'pShIY2T L4Pgew;&2aCN]$'/d9y e"0E'^JE8id'ﷃ &*x~M[*`mZG97>*&2VbyDE A$$popԐԢԱv{q&nYnjr!k߀[ e:ƉVM/lnDv)MŔOnB_nY Fewo+X@|uӡ1;sG?k%e\R 0 7BLA5&YA>0Q]e ,(UJ4*gΎSW9mQ1yY~#ZѪ߁FBÔO1`_1&e(B~}F3nVN, 4}ʄ9zb<KړF1YBbTvz)^Q.P|J067~ J"|D [xҁnkIuq%: K)#0*]!m]\[YL[.|q'MdЙ*af l}̾~XKq>nSgM'c+C8LI ,A9d<<Ү3iϘҋʇա07;Dgs Q(:\G)qENff]4 %otZoze nZQ-aĪ-YNh0śd@JlI=?Rw#)o;P6}1d?vݼIh:՘+s/$i"R,|ƍn.XBFB *.`]- XL'Z/Q[43wdlAk-~*l("<ew#x\V.gavw1݁25-\IVvo߄4J\Ibwۍ\Mޒx8hM͡o 쪕1 Z*.8xocH0JV(otQs: KSe@һ +})}A찃@t8,/AM^o1B"V7:PcSTmL21wr XϬmQgՔ[ !Oe*0Ig"hKځ>ZhK<ә` ul^EtuVv}P6Af2Wmbu(7oҋxz/ٽ8Xd猜aܸLiùu}xZyЎxvۭL)rf+1c/xuH+5Yb!|GRP㋿HxcHUFtG8<2 ^}~#>QJMFj=jE cb}0A /S}{/SҖ>O#8q#N6 ԔvZ e`pP(kmWI@Dݵ xyéONd>v;`7CH`~ 瑼/ۍ`Yy^> @,+]|)u m?^loFhSxMmfG<<)~x7(I:OTx|oG䭦-;*FY`q6E4Ad0S }J$n|^V_ѳdW/ͱ#-ޘ Ѹ,]'s{3(6Kѓx~"pZ! LaJO(Q_s\}"p¿A_}=TY~7)_mj5: m#>ݻD~yTy 'i҆`:Ίä=&W`ihbȳdZOgtn-6: n*- r|(W<d8_M N H dWZ1~=L#J 8GdKyBeFXn,Оf*ZB{&i гE ~D-~,a0.ޅ1JիX+- b)ה >=Юɝ|˰~+mБDomdX::jpױeZzUy+:_pUFQ-Scu;Njp@z!3nu -EOwNIVU(PGGu]i`!(mA /.~OY~}$F~}qAVdzn\<$fT/%0 1̢x%- PDQh|OPquՊfs۱YPnfwBXb*LkR͓.)k4H%J]XWފO!i#"OU%=rr< [dB\#&,MTF򅒄b˽=qnGnQa QZU0ooAKh(GF]XyÎh#v *ܓ놌 LhłϓjWD3;QoXRu7zv_Yp `X%޺R['&_\U?a&Ei_>L=3rFYay3#cfM`횓¼i]E[FYײ";u?M ?z&-y"i4ɫ]`;(Xq#,A`;7j#I?KVLEZPE-fksm(,*ڶ,Hic/еwc 4〆X!E{bd1Ln[\FjuczEZsX5W\!zc6Nc!7P=<>)ZInV$Dj>STB=?J^N Bmy{|-yA$t.^vjcU5e_=Fv Z?jbO,7Ueq4q|*Sklj.T4A .u2R6;~{4sxv5:vw{ēɼQH4ߩg*J&i ֯ʮm7u'+My!щ}&^@F{тy\p1"s`pW4*&K5 i rSykXЬxd!0ob'0ju0nS(ti`J;څFXߵ׷ApLg2h84o'ӔSQ𫓾T f pIfف3!Ro8e2MTjXnjCLNw4~&>~{y(3ϥ0d= JwgD1SP@qT f5ot#c"[:b?ϺfMa cB&?Q΢uUm(sjR9{,R +7@Lh|޷V`&wOBLn ɜl;TII3¼b8Û[X!'haŷ+=qlInT4$e)k[rCM$mTMHy ۺs:# c6cOm,5TKc{i[!jFGhS+QF;zsXi `ѽú*=E)Ű#-(}.@^znLǘҤnqC?RÍ)v=8+!/CmźP F)|tyuW[x%Zyd|tݢ#qRq8A2kD[|ːgV'uANnKͅ~"wO*aK5ؿE nĨ&ۃ|C&`%>mHv8.(ܞqJoHei}K4Z W9]r :7 v5HjN=-m?ֳL+F^A|z>{&:s`MU)K ~<{=uE;`tdO NDeI{HXy'G$&ZA­6kEPqP7Ag4oMHaJ x?۷+Ɔ  uy =(Qi)v|ʰSEVyA Bjq8n|eIP# jtbt59YnV9dN8:ѳ!!ա&ylg6Ӵ`]?AL=ȠʄnI%"?!LLa?5z¥:O"܃.Дe]T&X#ͳ_I#}dZ>) iܖ`8 w Gwcl{ǟTާ U5'ҿn^-"L*Je`Ҫq߁l)AEn̒0Qr$7B"ᚋj|yRIGTC_ă aC+$eR-KY+F1t,9{p t!?A09L)$Aⷉ$PT]&mFP0GQVog uDaR\gFeTyTT nZV zq2JAYN 6ê)}=QZT(qڗ"_m".ucX#`Y{b{ts ~!) m_3g_ԹjL3~-PO ['b~ԵXQԳ>;+.X\f.;3Na(lr,c%ʾ,tdɲ뙚Ȋm=kBDzoJB%ǁ r ݟjr&hDIХ~o7k84GT }t|,_-;/M9?@jU"C.5⟯zsWlve OcGoqlG!3>]1 ARf|)z)G;Y_`X"u,΅k"O`á> aiiM: ]wF*ؚԙI|QђLmm-*? ?Dj$MW'm'2r<Ev0;4g]Hy3!A‹77d'L;p)RO[w55(l|cwl+ 890]d_Y;EGe?Iyz%ފyBkv(ru+;}]0WxӲ%b.ٹ>LDG"6v&Nc: dÂ>ށƺطyXWR^j쀅2Ǒl+]f u?v_7KTM(cur-0q>*+f %*N9i}F[d ک.zYPM'JldsO"Zw}nZ~ 7OR+YЙj'XoomvM\@hɁ6S5jRIEE!]/mG ܪsmHho`0|NIOz]wb_XU͞EjVÊԉ0Uϵe,kݍx6n7`_΂1Pƀ&X`+yƚ0J}wV9L_S@Ƴ2b uT.ߪ̯hFOBiC7(z}4n{7"%;>OtVx4 au/;F Q9 uȔz;%hIMዕ47A?cF:~燚lR'*SM З ;Y70|Q&%fKQnW"ovF"ȳNQ9k~NāHK,6Wˇ2S I;!zd M' A yw[v9c"lbo7x'݀: hlÚŊq_;!ewS3TvZ{*EEKJ2z$,i]7Ӡ6#_L1ؿ(.6R:dmUqJmxM(lN;n(Md;P~?az]yb֋.%IXݮ5vaGˌgL*QF٤UJ6,꿠` H6 &ZJiY[#HG#鹨PO tgS/y iEk@v̢F7ɸ$C۔j_V)ʲOJ_i8bFL֡Zzf-@R >BlH:!ew jhEt57.Rn(0dn[jW9MᑩrdR3 xW)06L֝QA(, -7?DN7<.Qqp#zXO8cXHYĎ1eNd곈1f33u h1Lk`M"}O{ct ܮ/ftϻ&!z(>h~-BM^BV^^ 8 F'AqKM6)(I&T-It8u1C5R0mO4AK'5i*ݘOUrN$5Ҡ!3iZCx_{qlzyC ߀yPc鍷4(zu`9G "ŝLfD"dQ 8jZޣ+61޶"V Ȧ~oLnFyv0SK[uP^ V.+fk2z<\1$y+(8˜W{ީ88p((-D!lv5[̻>u.3[(#dWЩFjAC˘gO6zg\rov[MȻFqYY!Hai'%3<7(Cj276>0"Cq-Դa7#a 좆slfX3ˆk/>j ɞbDLѠ XToO2me.e<'@bТRB:;v~qKJ^_RG,;ɝoS=ߵHk܄ik7 {%|`S!PE$\dcLɝ/޻q%度A žIiR2):c#? L?rHU[ ,~U/-n󶚕-(`qr6ϟ哿DK oRAS7mJI. CN(?*.Tq_Z#9d|ҫkW޷4)}ç*1Q4l|#_C51xy ֥hpx_;HUg{diTY75]e(%n'RF 2;GՎ|)IĂX4sC"?De/ 0g6npmrS6S{{b԰Z֌(W[Տ"6ٕ zSiQai/NA n'1( ރMLa?TuKpvz8KvX h{0<9g;<0yC\8gIwqn472Dxȑ䦧FvESY1u*9lڔd\fUza'с*zO ~Nġџ.  $~wl(fnAʿَ4ouک?!ڄ;|&N\}ܩ<桫3qZZw':_O^:oWuyDMܦ-ngC/:n#| DV6(l0t%9U]ǩ "7E)ӸlЫuQ\4*U>"kagwn<{7"2fn6Fc|aX dgQT,[D!GI=s{}*/Qؗ $zigYZ0e1ca37ce65edfa211f190b98a797348fb63d8f2bd250b6fe2745d27d692ec1e5be14c03860b016c ff7f952b4b87130fc0230e1804ac75502f28965d8ab15c1433fb99de974dde73d789b8d2620ca2a0