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 Y%T$T ]/]HOL-Analysis:threads=6elapsed=316.862cpu=1504.468gc=124.708factor=4.757zXZִF! #J!]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({_# ۨEj#oC5Xj5m04fįm$S7(Ƒ.=BgcAHڹPx7ÖH\W#ϝAjM&P6Z_o P.%sEIt=:@J>BVLЍ񛆇 Bt>Pxd'cYJ6ę34@v=l> .R>Ukt]3]KQL1cp 粎20irP nZEVvM* m\tqtږېpr+)-jQz|ɤ 5Ğ &8 .d p.&Y:G'4a#.o k~R WG 8 `-;kmg|5qɤݜggdžt\'On¡Pym̑qźP`)Wz^!(\_aU+mZNZ/ߏX# c[ cA;bI)30Z7r>kVkPT sdq+Ќn5):N4yD;Y(ǜ޽"K.(?w|$cz}!P1acg`,J?Q{=6PzQ3;^2O=fehƹ !P䀠%׋{@C/ǺiLuU *ɡ6 %nYg6Ӹ|NsrեQ*\͌%$Ə aLYeE D&;2MoCNF9g^i};>$w wΧTۖﵗ {[`WymVjNu0R#Wг߰9R3+O]@V %k8W w1>Fhw˪2vgVl3 y&Vѷ+OBuwl v_C7'Ĭ7d9C!G헮nY w]T%Q\ޑk:g%{oIYV[()_ @ʳN;S?*oۂ%D[R}EMXcMv!lt^̇~FsVi?dˎ* me\b3$zP>ֽh$v@(,z/$T=dR%_ك3-mo)0jpHy2%hQ]* ulXj8Tyv҂L[[^gѽ~!q;X߮ʥѹc i1Xoux3R j z=TNCh-'40fCdvDlk+(بGje3' +~ bڨ'*h7lr.m+Kд>2]V0#>$ז bWCe2E{wGw@8K|yA )y>gVw7=䔵 =g4C܆h gJeCli6 zD:> m7{L5'ռ|vN@idd\+J$>{i=f\+4opOL4Xk#6|'?ƹ}Ԣ;xM9ԕo}廭Yi[u`K[c'( 6ʂڵj@d:͚/ m?F9t+6˒969s1}.hlpfn`ѤTH}0SJuJ=Qw-:j_؇]lYlk9TZTF8-!R1u䣝Ekd59ņUrYү>7ܼkZ |oC~2KYhQ{%V+G?rAB"*<{)ŀ|Sْ/I̚?hPGjUpX~ @>k.S6,VM mLc&}^wZ a5-c,4Zqs5d1[~OG{eyaV-$`\K|)" KoRУȦF~ͺqhj A&BZ!ĵ/~\:Ix4]bv];WB~ |EP&S:s&{wLGj Őr񣈘BqP̷sW֌S'cK ܝZc!/A쵙d0lT[7(qCE4f"~THimVcC-iMOdž=ٳVq*s)ۇO-|vm0?0Z8:AreY;xjz, )E0I]KF:uӽai֘/+!~ڠ2)kG6Ъ\'XMTU_:0aox.~1ftUF)ݨS>ư'ٴAa[mmJs$ \'u4 b?m2.P~*sF-*\2WI2p̯<{gaإdÉ 1+m^+Akކ0~T.Jffl D95l! {F|>CŹMqw1NY gAQiz3U*S2+"H&[}w:dc"=y0c*mkCM(G)d$T #k$C>rUVAEOT%^G>$NSCAe{t*) y K> 3 L!PNv+-ֱq2d;mCDaŕOfCޡ*'&yMk{i s {ؼ>`/p,bGFΒj'Xmit(>T I/K:]~:ɹ2lfЭ`1ҺYd .zZǂC $,ߌ7D4ŐH4oR΢jf7}/k Co xF_s5M 8]|5&Mޑyqt'3 ֥*!KVo]j=S^@=jk'ּoZ3~E$,mFkxf$WٴX)Ejv ښϑ_2c;Ob#KmvUy|2AM334&|۟V5֍ V6;@OQp͟Hdyɍ[WU?Z3izLyjDg^Dl1OZ:2;:!a̋Rrd 1`IN8ַK]ckl:c;i(~#B̑Q[=*O3a{ڥ"`WГ{# 4.k6I?$|Q҅0`JjoG,8c~>nx4DlmFuk j3x8 .{/FۆV&;[4ԉ~)0UMiF`R]{v4ioW1%޽uPV`%ԃBˬzm47ٴaކ .xbCq?i{G+O+ N5RXtMFǡbҵ4{x<媓]oV(aJ 瓁aۡH6ϒHANSrQ6<K^DnhH1湛Fk"ql+l_\oL9[&%/;:$m~b-df_QN![}J۳egy)xO.aNxSLp_UR5=nݥYz;tLYjz&OY4*jVo˻ՙTy&bPTJ1N R<>93;[89k-^x$V( )9P:oG#VTFmtp E2Q,d~Q1:_31lU/15A&"ß j@U>L0bZoWZR? K2WIzԇn-|b"y]#2>ϥ++0 E#Y E{J`Կ!6]V c׬$תAޣMX )![R$9Ɍ8%.w4*޷!UnO4ViUnAlڛNH>6E ƽ&Fxӡy"U1h{0y5|ʢLKX~]NF)[7BvBj( ߡ.qX3WkOxB$'GɝL3] Z NvT`:x.E̓ҏ M9)_-g5Ě^T$Lu)a$X@8y@BmOkţYjjchTdk | *ݳ+:4ė&Xj(Av*Qa8^<x;c=i\Bgwnӳ$M b<3{iQj!HO͘QkgmSxJ8 y{ITN5RfhYP4M=Zϲ2%gLyKȮq7JtE,/ WD*K-':$ʙI2<[QݑL.Zq.̸TWo Q$n9+<5wՌ 55i0h>+A [I6'j:Co2uP~t cNEdt36\ـ9*Vr <P`u ƻr<,"}h?ԣ]p썾7Ja}NEx3DbcRRlYӿ mf/]i!eh5uZHkT9`pd`yI/w9tNw lgbe\|l3 +\ħk{LϜȅAAZ3Fj6ܑ͜]4fFyEF-430 s+]o1SgȮ,RįCpV a:_0D\(Ŷ!@2V mS_Z"4Jb՗w]A?d?S3hP"H+%)@sdg$i~'U'GojV(_1W3ͩA¡$\>bɈpvT>c2ɰYÃ7 #>jfvKZt@\ PmX<F]bK)jE{k]3暰]'Xt3 g*n2umϘ)ž9T:ꞵz4}I#*Vo:-M™xg{H2yHwB4;\X[ 47[#2 [|LWJXUn /h囦ၧ/{;BPd2HI(WϽ!۷Vh͝qwcGPl9# ȑJ29|b!GvGqϦu=|2=ThF"5;[Gl2Ĕ ǪKO@^"g&$QVBAʧ2c崁a擺BqhN|zk].Ӏ^ ,hڑXKM>l]Ō ^t؛æ6M]qw?\Ik{\9/9,r!U0w~M |2ayXѸ(: @刺;cV4˟Lb͆e@J+,,A'FN@1s]kXι8]JcuOubJFeFXݨڧK?ɶDw a(e>}jvp[vL)OJL9xFDZϳ$w9Ԣ,dl}Z)j?:`EDX(b'.,&h#~G֋ʞxj"N&};q lY꺩!5 Jaڛw~Y9ŋD'(I\u:zL =DE;gPUK+O66c! dV$TNWit,G?Zj)\Kof]u[HM'驜*/mx֥AzOUa 2 *NsЍ ;v{eQ G-W]tɇuR%% ^OU$'(m$Ts|G-V} @uO(~fv4NJ!nAF-e RX:Ҡa-*W-ІC.AC`"oK #5tY]˗7PXp<$pfMG5.7߃A9R*ㅸT/s N\'דezg?+W8" Oxxo|h>l 6&gF3yRg$jk&Qzɗ ,A+aqKi HějbUGNE5%ő[J &aGP܎6pTJb!->hZNT ֣ґG3ɭ=[R QI$ =&Ff*hqZM.MT2y~ t<>aav1+ES\ YZxSXlZ痣WzyÉkR !^ X<+<Ooc͡Z3.l;7!gئT3 ]^ >[^j=|GTۃеݗ P7:> tϏ,+3BΛ!EIex~a4zk~ Nc)ɸ+o4[m^x?T(ϟsr4K)ܪz"XI6 L#ljvۮ.ى|':L\$u+B V^)? ;84rYVfzk\pej='M~*H_E[Y'с*7VGjO5EWZƳg8r4~(@zܿq1(HwXBȔl*9+,tx][9"%V8 XUHy;B3-Pv2ƹt#D>x<7͚JgJΠet£Jй1%6lm1خΜq#ğ}f?ljHb\)n)߰ZUTn4#E*V^υǴq%u0HRh &!Tl|܉!_Ӛ`s1!ž.^< 8h{ 5SjlQX ]4iʿw:NȕIa81yI<;&ظa#Ub8^0z'E[_٘\<%^ h`1xr4ԧDȣgPsey0Et_ 1Ѥ&%y_bѳ>UѤ((jӄ@ ^Sxߎ6a Źl,jt/c>=ޏz? 7ܳfh oծwX9(p3LQE*Uө8aNj]Uc2]a0eG9Tq3j)4sxOq#1SA^vP|I09T{1 Yx4DRnbm{5>8X 2OO wDw(jXB_NPk$jEZ}~|_/_΅ݳgaJZtrܝ<(Cim˙e;`dy 6Vk1kؿMf$]1CxĀNH=(^_PvedBu`ə3~ᨓdS"ş*u XMPѣQ&;"ShX9V[ w=rgv#]p4KI˧o(x-NXإ;%LZ,qrzFucKuW< ¼9u;RIniW TjLw8oGzDc*V*R9`X\ToZe|? Pi:ׅ! 5 d3v:g]G\$1шq0Au4ꄣA(T º4o>Aު4$t[F_#^.?=5Fӥrc28U,Yvv_P 1ǺbI2h$L1 E[Q;( pV%V^]ȒW'HI=fAyRr#&fU09~6zZ`ËvVg=^8:-kޔ9rߜ'(]fo|Ma4em!Jߨ-s)x,JnGP0Tx[%9ȩۥvl4= \@|w=PY7 J(%Z|._ |=r\= >~,krw ޡTnw &^fphECzm9jM'~jf j/X9ࢬԻ;|^A=0ݼa%;WuITBMv|X>W}Uk7? d>GP{ TʄcsmEJg *3(!H?B\i2l]'ѯ2K_Zİ3j=rո# zҳ$,ptNyXa*Hv"ਭ1ChjfTA.H>Z%&G@ơ}hȺǵUE8-gZU\5|-\ WZԼMsL$y2ZހV%z<"I"46}-505H#lE3k m_d%zꫴ+`k^~xVBSQOvJᐔ^sҜglpIK~h,F"[l=j_3; }QD7ʆvAvQ0rm߃tGʜ; v'K<;w 㗂ǝ.$=B9 \Zɰj.qi|P/hs1']3|Q/dKϻ[LޖԌ^ڠVk)МUʎƇk6Nƌu=eC+(ܑ/>u6# !H8&~67̂:Av?4ɲ-j '};:M7?H۲YaeUvٗCo~B$qcV IPp@{aVDZ1+Z_@mk)kY"~cݏ؂lC;Ҕ&n ΆeJԷtxہv |qX +ZébjPhBېD`Q!p0FW3q؛r/Y43e4l5*F%2#k+1Z6{J#؝"fگn7l6:Ӄs-ܽH*M6rF@@{PF,Q%O2m\;; v+s@_k.ElHo҄!Bl; mP {Sl6_"愐OK3> {LR i}ZĵЖvI; ngYu^Qf 61?Ǒh%,cL7YYE1:<0a k7,K]|32n鑮V'"Hk$)/o@iZ?Jƽצ*%)u3cf^yjAp?,;sC(7gvd^X Gؔ~1Dyy`_UqJm軥B#T2y(b:gPR^*1arCc oD`nuT{4K7 kPwZҧgJ *gӽ[tbG2*'6˿RbWsZYbKKc(Tէvi3vg ד"` YݯHKO}Bfutpb\Wc꿴̡CNTmn_|Uj);X ߱EhØa2N1\hٗUn&DޯZ lZhOxwWߞ2z^p_- e8KTL:PS etLufm 5h\`iD,IAz=pL露i, #yGnPEOx 2d} <*. W Lw^"^W3Ixuߌ,m@SzkN5X0U&Z M$ r[e4ujk=RXJ=/xè_oT1{kJ%*wSvƵd÷= RN5q8 33d%`]ZEJ>ԗ<pbbO 5D$oVC^ f (*K bI5lh͉aP7aS(}7"<t 7x2ýLѸJ"Ov^cW~.L9tf"XRr#Q{98-EЭ^._6Kv~(K4TV`IQs=/![zJ%'&RM}]If' /~GA! s1OyR/Xq,RI=؞)5YXӪ2x^J1tʥ]p9Ԉqօ\p4ӛ0mz"!38-W˖ozmmeˊzj33y|9x5wP9 s)H;ǓeOMyv?Zދ2L>0a7d F?S= }:5&8dH?r(j h_̂d42zż+斕a(U5e/I>txiv?^Yv;G pN a8@)g(PMxdExjƱ1/8z}l(@*պCJT>]p]w(/cGP`ah#qιC޵+ᔬ+V4H=bmbomn~^OT_/S{J(nXc 9$+Ť'XCp CzP^, w)Ì*Kx'a  4[V x-*62U%HD,(&lLΰ{[ ᰒG9*,pdN}_ɱi ¯۠ oG{,`J1UW~hwmQjtLg괔:;(t!CᎤҞ)5xӘszRvTq^FJh9P+9$4E~TvS6Rps.} ͒LuPqN5+_Áp-Ѧyy߁()!5*3L 0}n-!`sPѰ*u9[~mZ.ɍ% $u: c1T-P]h9hp|;Yv4&V4X>aF%zC8͙~yJA9 x*B.?ys@VymnzB}$aB5P|A|MxeC^19^l5Isє@_v(ff])uDhLykҎR릻0[DXqxe?J!%}FrY>e&{ s̶l0 1}^I_ !Y|Ҧ?v'! T#83@{ 7Ѵi!>y*dO΍TX{;Fx/l Q="KEh0G9/]=*39k:`[rC\]cijuX/ 3!̡gө4˄k>A26!ei}7EWHX9"Bto^C, R z?l'aKY ]C >,b")>3JObC~\g>DW%Qd&P]Lu:NuVj-{sE)9!ycv nJ~vVB8)Lw8 |i.4Sgh\=l0 gYZ7zXZִF! "I]ŗXiɟ1˦r!cHkMeBd4meýgjeZ(qqcE-f(DU%y0ix.;bEK?yrȕa t0? !T?pcTD@:͒l2{\XEdnqrG4MS1ɬᳫGc+&Kg3R;^is=uↈ_H8S[ۓx֎S)L~n3>)gmc6MϮm~Tkqjt9ȼǺ\P 0I&98ØvtԌ 鶭RA,+ Y3&=R#\x{?E~_)Nkh7teyj+` sOPm$ڊjm8`jt\֛F(F$>d"Oovxנ&\aA,x(Jwas22ʖi"ˍЁ<2cN!\| 2iή5U2IPԘTo~f Ȉm\p'p֠|zQv|8|mi`!S3 KYIu:(߱i{&oڝWI}xw:B&?'Li%&Nݜ9)sC& ;{ 11j7F!/D(]fTB2zVd8ZպTVD #KUn xpH/z8:I7rZVwRG'Z(9Y~i6ԅq&v|Rj3`7ֿpp襋x WXSZV #_ b{\Hd={`l5vӊ8殽DۡZV@r"qΫ:9PA?|*|vkL㾄P)?_/v4I*&޺L=j3a003@?É&mSp4zN$/.hn3؇:4УQԠ濇*mp-Y ?GGA./7t¼R %C>Yw(O+3' d-LG WuNPHxA&m)2d%tio@"s_b3( 7Ʒx&K©_lM^M*. ċ^W C0D`V& >fA0t'PJذsCpv$шyf%6@Qh[js+3m6d(nȋT|ց:>Vs)cgxtiuVv-v`"Y H堃]1TxPqA?7=լE,zmc-t 42 iw:R?NLRa|X692Uqb%D$ѳj %Z E|OKqsي uR 66h6dgf&GnXj*P%s8T|ֺ9(EmV|S6KqB iOps F@"=DuR9_5Sl fDM19`OEgYZ7zXZִF! "e]ŗXi%> z'J6Ej' o-\لfbBGX]E$(Wc g.vqM  /XC@='c=^ +o;0v&7 vvѵCıK"wV9)̏,ıJAe$9AJDSJ']EWTEjK۵c]A=m1MD٭1IZZ^#~M79 >mHYmmT'H`&Dw37&npg|ۊlL=U"XܢFz2+L?ʉdwZe9>C@&kH9+b2؟YY{ ͘bUr/dU]LDa~VHV}K;QOpz5 MJGgd߾H^UW)])&1 {VGܖ[e6Hվ>LM U,7!)( O9i.B5N}I^"7N-`*LG9爴xf'8P˔poxA>8(j` $R2A{Lg<$ܤlP\08U7{AvW>wz=経NyfZBM1V,D;WgmfΜԙtʕMJ{/vxQi~>MH#9%IKG7)+iƷ8:kA njAC .YW _ԟ#9xKLP:vCqZ7E,'me tՍp.lӈz)Lgp`PclT3K}]Rmq* a2%[ ֚ ]>0931mQ-~U^(TdjQz%U.bwJ4Y leU b |=뮱5S\e~ml ҏlYsYͯ>rFKu|{T8๻qp#&, tjZnn,TJ!V^i坛؈LO4H%TmZ- ^ |xpbCzU[+R +5Q(@ZC#a"pW? ,[EȌ8J(ޏ ݩfukJ骤1@ iWF*',\\ ItP7vct;]SJ#U6Zi ]ˁ*>`Ep%8pC~9_9IzY)_NU'v X8m齅Uɥ,yg;^,̙eBmNJDCփtp[aXý& o}5wuX]pkWAРWK^DY>3 1zhM< _ v 9L4Ȕ9efRG ?s@Z[2ܪF(+digߏ` 艇2 H!l`gAXF vxf C5;$ӱxv "aN;֫uMn tEaeG#Oep<0y J>Zu#%%mSaё Y[:ߪHOخ~?-r)6H2y ƀ+? $:pL 5{Ta' voJ?6[րs٩>&¶ј?@e;|uc&*:p*] 2ii> [A>Tߦ gƝy꺞ئG ).IVu'Otu36QDrQcPcRx+$KNM߆P>O؞ȟhuk2['~JrdHw,ݲiiˢrg٭8H$*zପ)IpgWshie2 ɬYnU+>ѳO.cnM"́T7 5 yD_2?]@~2NH-ITF0zXIoguF ?QJv#đ  +s'1t7VwD0%='NMzMou۠a%Y;bd1UF^`[N`@`gV4!TIy]3 _Ψ:D. sv1Z/pޱ5U.fLQ'(!w˵|k |@~Kel2%<0#[/EVxI<# HArE3IlR3~ lqh}]WG;[An}Q; 2jxlnf>Wj3?*poߢTE?yX|Bq̨yY]~ի D-vEEu)@hZY ,#ͥ4?}$DMj&/jN43iJ(N22df5)u4,RN30 5$fe?)0h-ݽr_g,&Y-u3e!t8C["ԍ_7lxnbӚQqIGc{ h>O]Eߗʲ0c(@ }vX)9o,̼TPq>-6(lls0^^\n@1u^I:YH) > WwHqơ$Ys_n L\ )5OX{vg޻{,mvL1Dl{\#f潂T~OvXX0E#(km ʵU+:)Nb~DT=b\c$.xEȀ"xVT)`T_q)Ȥ/9*6dҞ1ʬuz L5iSxD+(U݌Et0*ngJqG8s59}PEtԪ$6Cg;xꦎ#M성> `q1!mTP5hag9WiS.j^Wm[0i۔lU\ CsY^yNqn*T**)`oP4R=x/L7}hY0͚ky7/0Y{P#7:;);|- m}Cg.)^i΋Eho`~a5I $[Y]w1 Wu?|0Rk wqHyr$L+"jRG.Rm{DMU\Qˣ*S5@ξUbȘsM+|ı>igT~("}2T,7ҌOgu?$Ll$D%?Ά$u .b^(X5:,6BaHg[+c/X|QN`M[p4BjZ? t:{CZZe$yOvQh=Ի.ćr=nࢿۖSndأhdyt>O m4\;-DF#Uud?7}OGQ]q^gj.@c ?$71:1X`(1l6=&G؎#hzڍ}e9^KdШ&2ȵK*{P( Uw[Nm@''j5MCRz X iZEY9qgm:D)Yn. llPꀣg$DK@ {a g?FqޅkixSzjlpaa'U MJa)5o5dJ6BC/FZz>/dC5yڤynJ;1x_LY!em] Tm[o˥Эh6İkx3-eJåc_9-'h<kr:[B՛FrLvBJrߎ4@(n߬/hˆ7:,ҮKM҄L]4*zݹPZN zFHj9Z|I|ZUѐy 'YU񂍣H S8bxaFwY !FO"nQ{^}b_C,)sقʀ@#89(O_D맠^{yv{l"0eWˌJgv2̪u`ѸCR}^׃wrh'Ƕ9*Cf U-Ӷm IyU WҶ${x"F軍lf`#OG{_jF @`YقNU" 1Xh!q=-7+d*I >0n+?7j%rǥo9#̪ ;K&;f]U#fsF6nCҧ H; 8~hx7Dv*#ɦN刀B|6f"޹" p-8~>+6? @9 !9=b1x4.n y1\ld{ծc dz ,P5q'`ND ed.Z:ּƁA.&)>p YMS~{XR| [蟍3fCKp~g89!q)ҍ  =);@ b"q2v{?WI )EJފ:f-IG/5@#b8M]}"M$s_tn? G3|SĭK[zd!UѠ$0:3~xj$}RDcwDy p!h0X1֨Gff@)|{eMO_^ Bk5F4k/ᆑcQF*J{8EV'rSKȬ(a iN:.I'5DG*eN6.S8,B-)3=B] DV #;1n>"sq^4k&:=Psԛvm2 Au+1;UpYH\ 3Z#C- mɛv:Q} 9 v'~oƘA b0Urނ'w<\Dn,R돽`{(*r~:h PVAr ("r<4/ʺ<;S}ƥȮD5zj!d1dݖa Zp^)Xy-M}5 H'۟RXro& j"[U- _|-&GS (Dq}ª--W;&ݛ2-[g!*CUrټ-'3ތ:v9M2A@z.2а)t(XȔZeѣR,C'yNVڤB3d`*.xH((%_6ER)3Q>|d2po /3ċE];hz 7g'5A c3̿KfM]&0A:AfVYzWL* \o4RsNV`tR$ &,V%پ!k*(Pdzr~O$c9 (R8M`  McSyY6㬊ҷI?DU"^mVD2x;RPY*; Hl /H$!:vA0]ϰEਅBy8FUkwN1NotŪF[KT FkYEK Ѿ~-頝xμdۺQR t*[d{rIe}LzZ;oiOa"Z%~T!/UF-M{'C91}X@߉F'8uq4"pFԆ Fd| SkͭT⥁9Ydoz!-KtfNQks5OɞK gŢPςe/1 =UNK#yx.0ԗۻ|YV.g[5(p>5G3a4=pu8EG5L.~ .,@<êo1#V!XFt0)=FXXjdCC\9WZN/)obp2AkݦN7FezI;Zٱsҷ-Fy}˲0cw Vg?} tY?t+Ġ}ar841IJf&O*SL]Bv[HpbƱ;ҼD(,7];w'G]ý#MTuff ,B9W-llmxFS;=ZfM^[[rwj%ޠ, .u|́]*vM nư?'E- 8ި"&)Cwa* h< qu׶Ę3ou?Gk3"atY?Ɉd0~6=<{vpAQ(D0v:שOX.X-kNb}wlٮDb!'qmÆlkJ$ݹ&dwm# BS7/4?%G1S:'8V[(ee>ܑ\F]+V?N|;YUJ,~u:_>\j:36į )C$AꙘY6z&ݵ%aaȑ-լcc1@Jw!" CYyn&"GMtݭGFT;e_=Q!:un֥NWPF IWҠ7`|Sډ4[ryy3 th߂.NE h)D鳣LK4X'{~S(s(+Zs=dpp+SPy'^a߿x5i5_itHt #kGl:#Lj2B 1`Nލ&!aDbeOxH|E]I#G1Gccei=nIzl&nͮ!mw]6oe˗4w'f*ƒKD f5INqiMПR(K$ /E>)-*dREY!vȏY^iȰs(Ap=NbLW EL.8ITIK'ƒWۈ Ѫ?k3X 3߸"svDHnW8 N)OR=j. _BbL= 9j<$@St}~wѨxI (NZ=cE>օF}ޭPU1rߜ6lFŁT@*UD7Lt)H@AY{QTK]<.ܳ{|TcQrsn=P̙40qi%w5BljxiTJ.k_߈le'ð w'"ؑ3MOY>< Cbyz!.Vډ꧟$ݨw͌:`Li7Ys3%ix#xt4p wIܔVZr*|%ʺI5RiGKж]H K E7uKjVp~.vU9lV_5N₯t0httIڒ7/-VpzFB1cX<8:dZRS>Cxr+tHE(TJ G="X%"M{O1-<[&c^Ca!˕d xH Qk1y!ڟq"S*M}/6 O{ӹv)avy`^. ƄeB9ϼG-}bz# * U{} ȚHoa`h8٤Њ֗D hXK|8ʥ.2]f(z(ecq?|HF"[}`L$O^^G̥v_!Rr:DU,!mIiP=b=i"^<ƞQdd84bFP *P?\h,{Cebk _Syw1)%2hv^:Jf-8 m ;g!)1B7Ѯ&:`[j9IL.uKtY'z\n>Ja\liަNLlOl*`̄l";ֵЃ ܈;P@M<nih:TBt 1[1tC8 6;ف԰P;!AxaYzkh){lʇ;Cꆸ.ss۝:L %Cz?!t<%f~wިpTZ ûZh%X`=c>֩#vs!@gg (eA|rs0D!TO UȏWn 3li3F@[aɢ-QG-؏{(,77@뙨ھ?bq\ck}ky8ΧoU˕Y|5I F+sڰatF0n9zX>œϭ1Rtf0*Gz.Nby /X"giN+lnvfoH# oFJ",ySOA3L^yLbzS E&J(`!,Gtp͍E$׎\ρ~ >>7r騚g ^^f{p$1+,6Y1-."4F>7zWq:?1;?1}=HQ;:_WM :҆ole>l<-.e-g )$*Uމt{c`0D|t'{5ե,>`1{;>/%[b)#DVodu_nty=j֒Vg:rZ5sJW;h'~)}vlUi$\`+22>!JuhHlHo_Dm4@xī0+m\YVᑎNbQw#Xl^. A?p'!­mLVg ˧;+p5PqRZGl4+S<9|o+1%^ū,46hqYA.N w9٨ ApXe+B1s:&UVT_쀩[[h6`8|Z?G&|W,^JVmQ>̪/X@e6V=6뿎;䪾L* =R%%j%%A6+*5CEq,h%Mex(^TR'd~b-ojjWX: R8b r2أ^R֕1I$?%dyZ@2ۜ>̢G;Gs1VPAK8 \-(! XclAN(GT-Ȝ9^u{^U(kIKM޷X`K7"8i=Bci]  }!ղxSOʿ{qn{dnjӱ%%"flJ&`xAY+[(5ÏЄ Yb]7 z&|F>M$՘6,9Tx)ϛ2M"pb}eHF2Ⱥ~c@33) r*6Erɷ}$o{(j+^̭͗a 3/|Na$UNcg amR |i);wXi.Aһ.촔,X]O߫hd=ƧAd)蝊$*Ԗ "MN\qԆIP3tWwNB#0ŗ*m2P̍oh_v][E9z,Oe#h ?$\Iʃy')ؿD_ʟC4g&\ Q "\oŭ il#1%89@ V!CZA#:#H r hLfRS*bzI98(7 y* L$*&lHɚґG&?`ix35v*{LAcO Qlӯ%͏[t ":[-;ɳJj15o`a#"h,2LЯh}!VȆaQFۡ Rb ) lWIz-BP:z˰qe3$#;P7EsN;B!MVM2N=4-j9|D|ߕn5YH/^۳х+`gbpV$EV͌ |] egwc< DiRV ϲLIȚ^$ |>~::ƺpU^&@dgHzV>si0J5 zsoZd[t | k`^ [ٸ$ mњUSs{ }*s .㦏Σ+d<{kA ',C$Mc8|%~Ed9hHm]?}59+ܸU@̶@M˛PZOPh~OO2HT'ẉ [\"ê "{ W d ֆ\ts_S73gjK~._XYH$OuJv9'Mo'bX6>,NmS0',j`')+j^o7`030Tdد5-J3Fξ!pzEғ H`WnFNCI0VN6Kd?;|Pq_3=2|v1GS8pYs?kfifp?>8H4 ]XF4;a!r)&vÊo]ѽ|}iOHKGs<0Z*)?FpbNzY< h5'߱ _@48:p"e^+ pNF4ܦu6Lؚ&h0oHFNSN:B,ɀF/@$htlg\_I?yΨn+2CIR"7;m(;}闈hooٰ|Ŋ# h&Z9{ר63(އ&] 9< "IN>e3K.{ooz=NS2Yؾ<迶(OXSRAf6ب䨢bŢ >%oz⎲ɴ$݊~mMβJO o{AM퇋G ex^7fL0KeGF&KVrbRM/Ã|Ho اkX/Xj-ke <V!YOU魬0 wen='F,5;>}a ɹ`ohBP 92~x_7@Nb e3-]>mF3D^ #N2.M! p~0vCjݿvSUtBݬY T::߿ Can \V>A),&z9}F/s!.Xl$N5nA%i?w|~wzV陴vselW:Z/]O ze`]wHvPV%(統  #i9cݽCsKc VŨR7ZW1MӒcIehBtTқpcDBMry)a TV`Wx=ɤҙӑ`ڐ\{ƍwC∓c['MXݍoC8z:#B+bL{n|,M;Yz

V׽Ô{xJ jtCpJ*knz mںhZ]<N;.`2~zrt/Ȥe+lszW"y h|+no[u4W9p=.k/bԫa ?BU%imΤHf`iWFZ?}r9[&=xijҳ`dCq}e8czWzp*a \s{kQlF&g<gA.8W 2 M$i~w!.Opvɿ7.bgxN/"᎓/0cj•ɕFWo{ n\9\RaI2m?&VŔ7mfD%)R?2qC Ǭ'$7&H"‘*uN=yջ@9JJ*1pS3j}PyD <jTڏzBWhY~Fޘc;5_21ĞT?diiTc&]\5Ś9(ߧU N.*tgD]cf6ol>+߁ہ8YUr0\ rj!ꉞ$xU2KHbWzN!bt|E&:S S UUxh^~- "R5E4Z(ӱYr`}1(o)3U[;:xHu;A,u1 ߅@ PpoʕV 8+ :bklI` 9-X>^r" +i2@9KUcZѮ1!-ؙEsw4Lagfj9 TmS|xb a6l//+Lwv4%"<9w,zȐ ]OsSA'0LHOv`΢F{4),(zo܇ƙB;C@˯6J2lˆc'XR~Y ӯt鞑t 7p3;n\Ljj4@:59BZK7yX%5\Od.=cvhƒ&wdM'Ia1ȢIZ #ZsO7ł]W- 4Sc/M3GCN ޘ1s>~,"I^Fgf9BGؑ%hX? ,0f5Cfucs${{Hq[ǃ{BSL]!d3ҵ<#=;ɹ1QЪ؄Y!<#tV}SJ+J3֌V-G69\RJ@KO{;uLīg!%UE~#dBUanu Ƕ$vukm+˩f򟸫u4(I)PЬخsu&^c?`U9m{11+ʛUI8 vUв -,BL܃'i kx$lHӻٝ8Xk: [8G#]TW(Be %`Hxax&HDlԍ(u>fFҜ.:n 6jLIjĀ55rE끣ګ2 i%M;&On&Fўsjp0Ļ&TL+S5HrK~ v6G1y3\ ػS~?2}c^Pva.>]DkPB3)y i\P͝x:e$~Ï6ohȝwЧ=xH'`7 ˛T lK QAe 7 S#l83[p>^4&TBNL9^P b*(5+ =K(m_s6݌pʼ%) (*C㈃LSv&Yؠ\=eĘuI HVL9u7tIY/ߩP.aTVN bsh##pM{ G!E3I O&Jl^?\;RSxS0Y0e,>z|ze^NDʭ.//=JqjRBKmi>Gr3dq "7,_8zr!bs=e(舜JӴ$<88RA*#@njQ֑^`'^Ϥ%tF*!_s@'A' fWJm.AaጇX2 TOubA_ bd/`{g7n\֭r508> `P@,H乜ޫ? y;N҂X' !aiƯx%hJ<ؠ1R󖓅!yrL/a4x|2#YlG}S?^YP~rn$Zq]~[@W7Zg=)Ā~In1%xN"V!'ߍl`1*Ƨq]+ѷ!9Ldteяڞn#,U ~hGahlX5zAfF98Qzwq*](慿ĢEl{c1+pƪS֪DVa$F {L>蟺[g՛+b5#uT“1~Yʬ7`h>ȉd( ն#W4 Tj a/,yDU4pJ~u\PEf7oo<:z|~_&cGQn3ނnH03t)nb2QWWT!VЏ/\ks؈_B F_(a%Bi9LrAˬ<ɹ3dtzp*>_66^^LӉYة̅Nb'X+ Z#4]mLu0Pǁ_'ûVG1okЄa46Y̝u>|qѮ'1S|5k)?j`}?ճ q_x3a)o=ʷn8:O/tp*ݯiyG;i p~?nCƒ{9&6h@N8h|\rƆPU $: Ssfy0OZ賶c WyH{Tc(aaKŃ] fp)c fgN~>JC1>ve[b̋)3K亡8Ash']r|,Aj먆NJӧmc4TyؠlU3IH%iŏGٜ7{ H|Tiu{@; I)0,w`ˊ!‚.re: xtF_d./ICuKH6?rrh<[5I?lq:&ܱ[쌿LmMF^8FB%4aCM0j7qt8'&i+vI ڗbBB;f'  q-Vv:GJ{{awZ/ǥ_tG:_lKNkO&M2'2H@wnY8wT4"m{+C1k/BTom>K^"Z>eA)r;E{yQĶgfH4^/%:rم-%0VXqL1V*!䧗Pţ3=m޼kҁ˔K&ϮrJ̚8mR{暟tshB*!Q&&{]3k'ZiV{smdϧy>P6&H)`4oS _8[N=\d4Dxlflׂ6@\wFIr2pd:@ rq֨lx-wNʣg;|t¼#_$35^4uC\U_3GFm@ypsNV w6j+a_1E'ርL .4수ur@9;=~f1؍ 4 a9v(o;Cu.ScOP (tW="zZx>x3z8{opA[ȑǸPD 7_'|V|@`+K54)''M&Lکw?3J?#`FRmk#>m\Kw;Nf)FdU㮝7fnD_" 7 mWNleJi^O |/#՞Xu[lmN+*VpZ,ÜW$W DhïVnU/VE{s[+KlXsMVyo< z-iEXu-ʯgoK@eM9l 1GDz-P5C=0K!2XoDP^*^<8aRD]X:hPxzp3Q)QaN\W$Ϛ|)Yyp@7h={kQ6Z90*dyұDs`kc/ΙTr܀:Wm( q*Jh xMCJwx#2\ZO|sI ͪ.ۯG_hRFZ;6̩R}'pgPywɶ]4)QH%O.=hz~Uj )Z_,z qB/RH1wcQ ĎWof[mͩ>(Gݜe)O*_<'j%FR4Zd#i![i8|@E[e{GD%,)-Xq]WG`<"Tz7B=zV6a)Q @䈯53E }XI4_D޽e D۾em_Š_DN@[*1|i#hEy1XV,@'&WyOWTNG L6ܳ8!6)h2:P41 1 ië̤́UG݉+87d)1i 6V1;!m>-PzD@*b*_8qCMbScW?,&6pG_d:w8@쩆_lICK?-צ^F|mR /J|Xg)Ŷ2FV7yIe_![d J*mT.Pȼ>W#@bH,KI1{)>5x/7(cG!v]%vp&Jod4V՗_s8M%|{CMdD"ٞo'#zi~IOq~;~^yHP뿕21Є9_Mab(bI^r-nϙQYi`#34񴷲1`) %jz?R^rBwn+1VF8q }q1-Gt%6txȌBό P>g| ( c9MC_quaOEeB3Gt a%_/WsSc8@o/zƫfZ"OYF>Qo'4QR78ԉ̡%#*V)ID`pJJ9=DŨg+_kҊ~LcI 4 ;bY "9uB=HWMT>5ROWNZ UYI?1mܭØ_8YwS`>Bڝ3c&.ѺZvzag9WRjfI6X-^$Ew#fvjll^ҠpTS%x6m 4J93Լ1)3,hn!-ܸ3-e,<+9(͎Җ&fܧc*,K)hxYdWǚ2(f mAmh钔vʊ̼__f&{v2~ hĆmWYGL IӋJng2[WAI2>ҥb(E\@ݬL!(@'쒚$/;l9Z8}ںb [umd?>3Jz0Plշr>IGz?N^wzDjiuO(O:i4Tټ\BO~_ NXX_<%/Bpủ{{ʱ?$YĨ7>,˶JfKιO@mV,`̉$s:DA3HDW6hOF\>Ϋk(e_6D̷Q22W' ,xޅtsKrx[hqo(%KU O֫ҡ>Z*!fې5G\|r:{vvӬgv *s b&*pMBr=<&i'ÿxg~lyEr 6r/.xtIM.J ~0hjfȈ?OyzĽpV]} 5J;!z:C9f℀Q)T3BZcBJg[#yEn2Y\UqοBtIfj JCճ'L 1&%w_p)xV&ڠL"*aG4Қl{!cm1:L־c?a'б|ٌ}]W,g|2b35lQ(4qP+ޑ5:i]Ow<612t!8{}lYjG#p>w({ɾ Rdn 3m!{0`p9Q`=STɖ YÈX3 @|Z[8 Mԡ6 N뤜}o)&&Ɨ+(23Rҳ߯+fx1A9yw9 X w>~gF,68"[c5dF׳k!An 5|AÒUj[@J,*Ú ZP[tm3#n61Pl5dQ`^GaC5:Ooń4 o5U>|Hp.Jj, Z^&v q7=Ԧ oB {9/ii͢䛣_Q@EpFR6~u@ZA q$B̮ЎhƵUsy Da'th]uu[Jb-2){IM0SuFokLk_W`i@ܧčOM**k\`Ҋ+lxNW{czRŔAcBvTEY~ΩSȪB?hJ`Ǒ;}+5R'Xe)=P??4vHg@1<:헼_xF9A<=ŰP9ByQ~H kTZhj`]pUZ x k)6Nfs2$FebR ݻg{~|`^X!a/Nǜʕ2:nx&=#,广ȑ&o_ qpФ]a8/PDP/i_FqgYZ9b48db30426c5fe3b2e29a9edd18224a35b786a5266222d5d4fd615b66222b5c76e21b7ffca335d8 e3f2349d70353a17cdf47ae04ea2d2766e07c9b0de0b3806c193474f9ddc60f78c5f636ace15f8b9