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   H!$d| ]]]HOL-Proofs:threads=6elapsed=639.732cpu=1515.468gc=251.332factor=2.377zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^};>< օ#]CNa"M-jf]Ɵz*VgQ `rbEֻ`lvBd Y~d4.L Wα6iPKOP":ZS%*BP2@|Ek:;Տƥ}o 蹾_kMD|!sG#wy6{pX(c NS^:Eg GT_^SH лK}8׎QBԓD̶Ӕ,KA(RNUX`+ʷ̾Ȩ/keaQfc8NK *͛j9z a"hVbYpZ܈JbSLS @&jhsJݣELsϿ Ŧjds(e -Li<ʧ)ZPtrEw8=# Z*, ^s.*N|Cz=;1H;cWtJ$GmV]dKd+d&PMs%'d[ <XZ㧖!a4@E#!Ï0%(?, USC٩t{LCc#rYM؟Og.I[8XUMtRH\w6=Sf4nEre_PBρ`i JjNgYLOU*3֑/hM>bqaZ-m $鼙A:Z4Is|LX?[oPB"178f=S4NO؜IN%LS-OFB3n[?kg,)Xld/?[魡xT~gp>R^껏)6o(R.Pd{{>N1dqw,Ac7|bZ$(pKV+6R;"L /.f~5'~IY-h ʿ) > =Hu}d[OsyDh nBrw@2u)oD.YGZv-5I54+Ncݬ9ރI$UT4#ƢY'rQmtK_L2.]~oLB$rJ!|}Ą+Oh2v̥ymмҨǎ-])4 9)+z7Ow#}ި{nO]p?"RKUbk_ʼ1w#f~=}P? p.%P:uܧ>8hϠN%!ߖS÷uqQpR;WDh[@u],jV;ag$*ce׀.v-[~g3vPE~J_cLP =%"N,HQ`3Subn">&s.b8~@?73j)Uړ0a-NζzLLɔnTGUf  ! HOL-Proofs  gpv_\O,N8 P_DYg/{} |tV0aL1vDՋ42Քg%_13RAOe7.ԗ'?X]q<0nƔxU{~Hd*I6gNjc?OZt8"tK#Lrpsn릏.Yh!?E>:tʨPr;_锦)tƸNm&&+b 90 FJ'iHcw,YzXT*GBjɬӖY~ 'P0t xF/-7&=UE\~Zl3Q]j(+AAŖ/ &ylPN&w; )EuUEɜN?ﱻXK}֚T@[Eږ`DxBP>23Y 쥬s< 8% !`@m#^EYBtd)YPfu[ "G׫4[LF-$|I]OEhdX_b] nh l=Hv~F|]4o"{\]Ћ;/dkyUu#.ŕ6T?z_mG4.zm ʭn)oZ-B]vLy!^-CneLn0ho%P8,jPڟb 5ܫ8WEpj:Iٴj V9Đdd`EhX(.\4M*D Vz=e❾ot"g^kTM \Q );溥FjYM\%ySqd8E@|Lw5]^jψlgܤ͛iä[{k#ªC75 bj,r@ /fCW1 .P?T"!c(]Iҽ!91>{cύgg-M+Ep<ܪܠK^LNȆ|l1 C3:;{?SK&SU49_?@RG"!Pkn6(M> P{*a?ݪLZk"Ӛ)w0E:jX9;r4ӆ&uOWbxԅ&l(˿ j8q8&i}0#*ܽ$" 9?SB^ǭi=7T0ᖿNy(–XJNd %gcw@=," MW{:q _q$pfh }} fu\TfMϽ£cM+Hjv_ww) n'DL)}QM.͖k‹ňCLu d[Ngy3Ď ǂv& }T6K.knJyB<CT RzXWj?bh׌L9r"[HZ׽i)Jbf|_}>oAh)MoR Y?i(J^ !_nLҒ2^wYH9[UU]B놅.yP pb8WU%DuxGQVd3:h[0?'^[Y|/@ 8DW #ƴPy#n%q@_C/exKa  kge4%c_V &v|3IgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!BEP5^ ssD4oRv\pN;=ܻkwKL\}g( a\#dVtߞˋ6'Re$Z$DyC^HEvp2Rx-ܝoJjNdᯛ ,dr_^t +@l2oUĚhb;ǭ>i)?'iݘpQ9g'8{gX| W+9r1g*-uu=tJD)6 H#Jnc=b{耸gԶeX:ٮsPcR+c {ͻ\1W \P")7!t hָ|"􅈗28đxVSMx*@FncAvU`F Bglf] Z4c9s(mqI'B4%$>vE(hO6-tTKoBXA(w4nltcQL?qm(жkY0E;Ho>Fr)ǟ])$b0;L@5`G}A'I1-zØ:X졞F9i0:v>~g` ~74 1m8 p jYd6~8M?CG:#(y-St=q#9D/üZLf)d";*@O%GÀ[wp%1[®|}1EԵ'_suF@.\W?dH<"fH ^gw;д[-B9`$ Cm/o'?.lE3(H< ]}U̫pq!$ܳykbLE7 ςp{z2[1/xJ<݄$Nf:*9wBW'4;}? :}KS.L6&j%r# MxHE$vi{߅Yˉ୑K9 1pgċ08/DSrv9%Ec(mAj8LpkY~7*Phc*uO?>IuGl#))'g]eJu^[ϥzcy@G\N_F-oGCIۀon#y`e[5jH0C Liߠ#T +,㖵#?qcBu:dY7KwTH8?U$wYJĈBF+ʷ"ǪC<;2}X){炚 ɠbZnE-5^hj"7Gy5 i5ېITw3mb2 bIYIج[k*XbΝ|7Q|c7M.<.*rJj ]+?it=م<6b褁NA ֘dG2KXA?d)VXiRc(tf'<PAڧE^XԲ\bJOL S{?&;IjS&ߨb>1vF@ 60~4gpQg 9V DiJLpj*EUpB(=hԎM{#ͮot4W7jo Jua&YHG 8I yXih;Yja;fr9nOES~1x0pi(hоGT?ithiܦʐ )7kP dM Ke03&#Lbm!\Z-c4N&8i<\B&٧+ ub!' F8HX)K O[{l?I-e2 u$5O 8 1T|ISs.[ÚLU3X;uizvP[ u Z5~51K]q)e=ȵT#}lwpS؏y:Zz3URm\^W\k3\Xds0:[ukR@3^&aT{nA[y<P)I!. zV9PC?;氎Y`@:k*$u_Ki<%)NFοf>sn$.3󠮍̓FɊnN npcoc~L1%L1/otsI:5v'9St ZS{ ;\1 vkn7׽jrQ7%c^#ºzL6m~-N["Z5@lut"]vh%_W7}F.1IJf@/ Ӑut搮͚)z/j)rgjVqSIVO (;-DkX7\](sm)DW4n-U.11e ЬtV5jk[\`dBUl)θj‘aNy$vA{ׄb! "Wy>"2S,Cc.~D(.@U3e_Lnd@(>meXGň0B>&︷_+/~~5bxoH Ku^UȴE\c\3a,P10 7^vgY1cE20 Lz1[xrJ:f 0G! X0.2.1VI讟AC‘U*R}+$ޟ"Ń|6[/Km!U'bލ; +~= @޶A!*y[mJ*"_Vym"B:O419݂0jݻplr8gfH|u1sB4v#T{)~֕ʲ-ݽ9ǑK*%Hyuw'6!&KPuz-{؇,:X{ݳ[$ɥT>6c 1QK-ޭق-ർsW,M}ёpRFPIrVr@+yO"B={?וJdS.ߟSGS'?+70=8ՈVa3ۄOvƝ\KmNwg؆+Tr˟"Fs]0]ގc pYad4$z;.%^gv3H]7ͱ)*~diJ&1.KnqkH ]5mr+BUVɐ^KxBlc+c Czrb_tt#*N9g NlZmp* zOݻuBB4x9y6@ذ:Ƨm_%,=_unRW6B84o 5CnE ՘a 4Aρ/h7ש@N *tcϱ1A`KhYs̾ BjMfh'`=X'`4g^.uqŊbF4tnngOa}Me8"gIzc TNhra4Y'j1fil"Y]<2d5<,;Uu{G2Qϓ Dk p0-sɠ;=r:;&ORƂUWШf+ZoZ]5'ky$e8ͼժ-j?zezrH)nj{fv4aνa"w7ڥڟ. OBp,]jo~(@|3uݕyn%j GxSf*_vG'؟듙z3̨1GO yr=UAj&=J2 in6do3]Vej*Mo`( bAC枘'kœ+5k!Lڼc"Bq~{[AM)RSAK;5sAV#SRj YT rk3:bNm,0mEb.tPd!2 b̸O O95ip{zw4ꝲg䶞4 5nӐ8`fǖ@d}TDtm"CI`͊걫ce-1ࡡhɈ?LNluaL6er)᚛4jd@W,_t *_ܺqͱ+`Tp+_g U$| }HJ8TKvz=R7p0_5%@sKj T u-M*1fdT"|q2%@|dJ=Ng5ŔRBө,*T5nM O mZc ]ef{Oڈ!Vp[0Mv8uJPI@%¿z-++}~і/ji?9DUtHYe @ܾVi"GXSs9n)O nTCu_9 2>~]x,_AƔ]-HkHo{ihTyuf^ RC䣣\֟ ).{@Jjo)+qRT:e&Zl!}L433),mwNI޽`!ԟ| \ t$2lr";Y'ǡ.` CgVmA&Kw&5bHټߢ]I`6ߞL#Ex:(? thR}{ʡYS^ .|I/!~9~(FWʰp3=fir@5׼ֽ۶w Ny3 ŖDZe3@y ,oq5 P=0"5bkO*2(W+{: Ԅn0b#zC \P6|Wkb@.}3c؜@Ɨ<%> \[,:E0M#f?>\Dvj ԑ*B:@cƥ6<5apcs 9LG50`+TX[b4yH6q_ hYU<"1 eb<+?ph3)vt5q;Aq?f=CQ7my$ CN\Ě8[_,SGS!w| ]"+UMpAܱ2J*+Bz*fD|ёy҄j iU`_deX83O,k1DZ5yD1 xe>>ĭWp>ie_f#h^Wtj~?U^iJ.͙&3ͩ:K֓4%NbvFt ۯib'K z'[u=̧a$?PnU],rpv] pidus)= b)Խ|3PzgNu'.V3-9^fA[8ߵR{6rcrZaB0 [ LէTIGfQqN%Yi 'ؐd] YUfřF-d{8(B86U6QG}JoRE !#UZBšԲCU  3^5nՓ }GF>pY)By &[f* Ù>uVL65; <.e4,M+wyr)tł/HFgt*ˍ4/vGU~< Oͤᖧk{Z*ك5۾[{/~cO:}%pA *z!r=n hq7Wœ-ҍ<+;C,T:emуcܛXeUO^Μ55-^zoT}fxWN.ܣԇŤ&BkI(kZY ɘh1C4O“TzXcrұmRnU^8M{w h=9̰DmŻ1YuZҍR@l~+?/[)QsΚ-FתC*qTgU$͓Ų\%܇ YigD[SW JHo˵dԝ*}'-HpuQg9/huZ l+߭R1Y*=P Ym}#lu/D{t{ >:ϹUETyDžaOGАK-+$_^?Ogjql[sQ7{uܹ?Rݵԥu5H!<˖\YQ=VJ)_ q?=gyB N ;"šϛ摈fέWr#Rzm- Pj'H 1: L9{XP/7Cr Axt]PfDqI ݞR5fDvOHqv{8 wS#`Wŷq)\RF-9R>(5g$uW *wc:%J_r(3ܙ_&;(<Ť"i~q6fa*b? G.R~Ȏ}Rhķ5P"%^#ͺ_+T_ *K0 dca 2dy j4# Is)Y#NɊ <+WoІ +4 f8zl[U>JCVb.=Dr ?k"_O;WìAb0uN󯌡lߟ19`}ʟd7*՗<w=Kv#蓌Y2\&f7bPvig"S}Lt!ޯ9H^?Ql _{;IJAjc*n]D4o\πēըiӁ 6Z)=jgN&=?3"S[c'KG:\]6VSj}c cqw|yIzq)s~YxDX)(k뺍RЄ2gpˣc'Ѻ-NBxPkz' i idYzyi"U#߭*2pV Hq\nug2@Ekk HMz"٭ԴHAܳ׶SCE_0Dem2b@Z4\4{yPgfE m瓕$x4xkRROFIkU,4>mѨrc Yi';Kzv?iN.kR˗,ʠEkrS5*F'E;BDx u OrtOi-"?N5?Qζct3 MM CH: |:+@]ZI| 4158'Ϛ4g J&uٳdz5 ҫ,Ī&o06Ɣcx* |) y$B)N|$rS}؂v'qIIԒ0V?f73m#^@{ 8r<nxY_m+{"{AoGA ZZGBcS|hK s]e07THMyk'^*79&im {TR5p,w-Pj |:mK/SUyd]!@EZ_h7!d$>, 8݆rVv@COv@x0h<=BrrwMkIJد4?I|~&N|)y=El7?x (ja0~EC(N!ا\2!ہb8 {E :*(cVZ79};+ DӰ~x[kZٯ'4Q/ey]ԏ.(=$=j\0K& :J-bvk!BAZ d1(Eg}oRLߨpgzǕIc6` V yn߯"njϼB fN88MYl9Qn<\> ;/F%br/` O HgJmA݉gsU7E?=5H(&& ,7r[n>v?g'r]e%`XN.ڡsd$NRP nǹ)xs=΁7SyKk&2-G{*(7͞uCo&5\H- `- >' ,~D7[nR&6D8kTO_F"̰uݦy"Mvg%|(B=(7mZo֕+XRZ&RO">IeCR]qHI~t+VF8%L 3,v#Ux!?_'^! J=m]!DML6zux"I jEU-W۲{q-R{p>U eA_%~Iӏ|,ǽ[df# VY¨2:G :]v|.x쀇KoHOL[@3mJWP@@znBШRָj= of>c7Z_f ^iUNJMT2ƠW`cjy)\#D83"wv\*l*ť|U3|j ʹѢc`wSsjh޵Đv>L7y͐`*%[E^JqĀ`r HJtbKX&&6>1i,~ qQ߼5㜚H9y-%ִԖHD]9/;nsArC'>S?PE[ OUcF!\᧸ͩ"5%_0ztQņ>(?,>:tn8sxNq+z+l5B§$$u3kGӌeJ: eռLP`~OL)[; 7LKQ9iv̏WF!m"KVs3ݣ r(iU!pSPl6 kᙴ Xhm .xL7͎P/=#ԠO4$TKwVf҆ e}2XxJLaZ<̈́+DXplW+]tLU_hݸ+oqk:r{p-}n !alsk21"JlZ^: ~ݴE;l3_-):IV&wmLAZ_zdM xH.#2#T0J:sy;krb2r#}lUz{*ɟ@cacWL?-3BVP 6Hߐl"GMp${ƗkI$0lΥy<7(4%$b UTFT}s)O0L|0\\>#,^Q%ߦY87Sr+$jw=뾄^g-l 'OGD|? I a[83{ko(K$1q< ܇nvaf3 mB@a uF5]6惪_E*BXΏt Ób="wwZ ̆L0X9]}  C1,e;2gA12%H&"@gNՎ;o {;H;OGc,odxx*}m+(6@@(j:z"o=Qu?>c#gbh>Ʊ=|w=3G3Z 4fwU&f}eOuG; W'p}kv3r/>9s}&}!A>EL|8f{p?Ez\Rmht9 #Eq߬h0=F]p)hdfCb?-\U}"FNCý3#nuo0hJY<CͷT媀ӳnMÕqN 1`롗Wcc7[)Ob^%рێPX^$>x lXgB[RY^3^y] pXIhHmQZ%@u-B+/gGe wـbǂowHRC9*lb7ߚ&:>aaY {niK`8@"Hf0lV3ZU( A#@5nuW n}Qi x)N_ ¦0ZK9^ b<]5"|$(dU̡?ѯݹ&==&`dO PNh?c'PvOo Kn}쟚Wo2eK5W0zNr឵8ʱE6/|Vn5RX]::民iV;`!M ` H<$iߍJ<;HB9V88"Z90E7>ȇ|/@AP̐J-?7jfu'y({ؠ.G%|C< bi݌WR"n;piQgB6I)Y6ޒY_/]9_3L o˪k=PI׶RyB%Ec]\1#56&`ݰ3Xr96앮P7v4L\oXvB`n>mܺwHj {zE?$1DtRZo 6ߞ>u5c8&$yIN;261(aORGN|^ `S'MC3C}lucX`ӱ/ ZnaV.J}7 +4^F88!@n{g{|-QPY[fH?1uT#m296?" r\ƭ 76kre0B6m`n2ܖu;fy-Wfz95؛ΗjYI0UA@F``֝LCuUqLG‹u/gr Mϗý.M zX)PR'WΫÐapw~y/y ^}%xK*`0b{e|Y/0mVZeP8&X-b_%1Nf6m$k0;9u趁 .Nta Xy͝j#5,&9A.W/eyJQ{w\zK:%+9Mk'o mJ9T'T"r;%5P7Zf`-f[\Tx-v k"tD$ @XLL TvCD[;h<Kiȋ B- њR< sS^'󴲌qI Zo =ȁ7yDHo>TiZeϸrv)̂wG=vQiOhMH-C/Y[ IئFJ:Hڗ2J;]RPpmZ6|ʽn:G$N_[$7[_CG,zkK4o`y9_1\.Ӽ,ZqpI5xS6'G]+=7qTe+3gCzOH Ek.ȿ.BoVh:r` n{4O} <:>9yZڛ<'yބdQc4fi4|}Vs=/'^wbLoͽ=|o׭k ] ePJ1 + 'VÚ'vPUΠEd3Ӵ肕c- Osɏgv6)vWE Ѥ ,뮪~e9EW"&Fb @>|!;>0r:P8!NF"5=CjHE)-v`A,o|"QCG\1krT8 >?ߕ@|&j`M6$MX)5-:~o:}Of vdX`*ugl[)Q[HE7_geAP{5_6_Q5, gn+?\3gU_HNC5HM҈gA֏g 5w}pv:'- zl'?Knݳ}! }&GpRq-=礹ZKzRE,=}"0_zK:ӢS1E{mMuD12} nˌs~d}_X}ŵ642#>rMQcE]߲!mWqHN' ݔxx鷟uWCc>0=,/A=) ^8HM5VY6(GܸO (*eo=ʌT  ?TEnj˚AaJYoWJLIZX)ɘ6rjRmqCuԏT6~_<}i{ՅA,L7EZөVVrS;Q@zNxh3z`3})]+_Cj[Umd`kdɝ9󏭚"[bX:sEqF&ݼ*=B\,훥>+kt-P[UeJ)/"2ݒC8aoE#ݪc  bz%ʼn2߾F56r꼪F}s:*,/ƳpwWFeBz& cȓwOo៓eExQ嗎TʾC%uחpWL, (Q=a i8C^7>vJf$[=ߺd(gQI>0u&T ;Wग usWzݴrEa FmdOp:du-0Vq&l(@glfKV"hUC=}/\ůGFIx\uDf)Q,zG; WPKOy98aNy>-[Bde'CV*Fq(l-x׋oS\W0t}bg?Ƨ|\M1ڨK"?o*Z7&P B7LpxV (?մE Tڹ'|h(l`|ء"_L'1WHkAXNwzϥv6 *;x#V[Q<_3\lNpul7|}N̍IîxQv^}j0,Heͭ γE3P[*ad#I _+B.AJ#u峃CVͅpiKm)$\}DٍK ŠP\+`1VQUk_3OD0M&Ļ64Jۄwt;cy bĘѤ`5EW_3PJC9&XGHaݙw49GOư;j-5`ZrABG4U_!YLK1AP.@a*!Y1 Y # Ջ}}Ч6̣xPQ88;H'`r*vI2'ɱFxBO1UuV 1߰h:d}\Gwhl5ohT\;nVwZyC slq`H&ߌiMȆ~-=Lޘ27{oI&mt͙\_ |Y组H+Q+ѭhNk@I@y؆^zصN) P|\y첲Όh5ݠ .=nk:%IPxH*YVn)4>c%&}$e:)<  0(vm} d|"g<0 K{2X8( ťcLt˗Ws\/&jnoa+J;y(}!7Ty*3E6ߴOS&e˶XRi>Zjt]W : Sa?5*!Q7m%E1}|l˻͛:nhBQ.2 juty0e茟_ZSӿ~#zcjOq,CyW6> ~sUCNxcǡS3>t!Y"M9TgTo+AggjUQzs$PPhT[nK6Zԇ:mB N"=w-ѾmX?u(Qv#_212h ,x5rY/bޝ1!:qnN,5-1s ~EX a+>4-L>SC'\"DpDA1PSp[J}J"=l;QAhl ޚsXܒcAh5naƚ杏ǝ.i觷SӨNX=bcӹ~)z\aqнL;V $bXXfMOdXVt#rW 2W0<['c␏MpO#n :{f( 5msDWS&ɐr8,%l,7sk,/)>}PC~ݚ .7:vWu#1[Nd;hWX=!J9> |H Wܴuޘ6 _)ws.5O2} ' %st{JT':Bgh%U;D@y;QnpI0f{`8M3=)":~h+^`]2dh&+a8|_mZ Ezt;hn.dܺ ;uև3>&4g_X\QDt+@QVAoԘ2X7j5|:>B]\16!Hت4yئsĜŏqQ^TЁjOdh+MWvK{&B񢒯}Tg_ &g!s龡E;&b#qn/0ՀV;ؠ0A>դX:3BxݵFI}ō&ia3~y+jte6O )ƨY*S\A7 Tفhj[ͦ*0@O~-XZ/gJl jG>&$?zD@US-P\pa (=^H~u7wI9([rg{6Jp~uFJNulN@,#_֬ҝ|6XyjI $fMDI8^a\!!$B,-f+ Z)cx$Dw&`ܮ?Qjv|AkF6 +Tڏ+"fڟ ?|ҁ΅I+AǍ{D:Yr0pl R.:(0,xTi#:il挮A}얨pgmTDYR'E6nI S[n_.8N+-x@$ ;[i1ݸ8R|zf w7F.^xŵref69wLo8]_!'3՚'w]m!ؐtP#3ub0 ݍTd<[G˰wMCO 7~P*]6S/Tl&ZZXOiQb; nQf/WӏšFoajT<\9JuOyEyzq%liZGWQ{JYKYL*&#Rp}!g9u%v,]n|1V Ğ؜oҥ 1A(Nf&frUJ|e7di䁠z{))GMMy5|ڝpoyQR)7 PiJR#G A]3u CoVP]<^ۦc"6 OZ@ w17(j{U?&y%YoQ7e$Z ~  vDN49k"7;.1*=m\)֨{YP> QN:tQ݁oBbI ʸ+Hm 6CvN )F4&kuݏWQSY^f   O j W2|ߒvj' u#;:`0I(:mS<SߪideQ.6Kgr*Bb}DP.LX~B5 ^%{7w5' F.%7AOXVmg>o( ]#͢QDG G>B:eP"3Qå/R]Nlœuג Ũ*Y&[ˤ쫰NyKHI-s`r1+x0ߪqL#040,g86~l_m2R*dXcl;5I@sa m-dx3}}U{oݡÓo;T]Ie5`wG7Uz8.*"I4`~9IE IWY9Wxy\&y}GXLqrd>zӉ0,bs#@֚M[{"j:x*ĔQ{KX"/Y_+IXo wp.9REL(%;^i"[T#V*g&Dc;#Aj$ 〸m_lݫ`2W~=7>SUˠpugCm!xMR5lf& Rj)mU ɊPSqh$ ;3 ׷ U`Qv#AbZ=I֢a놨Kl=F@"IE*bNÔ X(w%g$4 ftFɉl/4LUl"F*[6B(d|duנ`_ MU*!V ԐRI' ,Aa/:AߏB q!3%R ni9k4q<2Ӱfb_ ĸ |=2.S |c.1!\PalD2r8Idbo;jc i6 kw &Xtko4贎 uZ\x\׎ 䠲u%j+@CgM?Zrh | tWw oۇA^7+i|(:dl4i ̈́߄HCcɁa:Q$93rVkKǗw=a1f+kNfa` &-DX]VwcX"4]6Xûm(rd9|YȳrocL_}V=l&X cf=Ikt fr>ym/Q8 ;ͯԝh`M* F1ZoD[P5~B) 3^v ȥbS/% x*ZaØ%ܴH ̛S U]qCiu0*'ZGVk\%ڑU>(;ʅc&N<}~2ϵs*&l ʕԖжDŽfzZ0,٩ .?!qC >8%֤;_jNeDիPgݱ.M*.O.Ωdҟ΄=AM@?u.t-6fAZ!/F&G$}RDnOwmI7?E{Y{vDPCN-%Ab_8 tY K6LH-6*3Ob>7 0*%F-7CL/#0|sSHgZ\ܜ{[ts~@[#r[! oe߬X3a\O5P杷&͋h93F97I&-37﯋,l7rW-lEyk!>E9n/K= 2å.A!h`T%q I~[ζKNT! ?_DҙX5ljmDs O"u`}؋/ޱGo[Rly;CEMX1Yuc 5-0 hfL!~FT3ʱ?4cT\|J{3LO9gq(: OB>'!<5SE̦=X=SƫG_D9pNjQT.E:|3'$˘!@K%M,LT>Lki09> P{ʼn7wt<2ݖ*XCS%z$fҐ=Q{a  -;NTx']qM1!JÄ+B~[y2;K7_]E6@{~R'ʚ>y9&[5x@mhp"*$QWx֘NùjŊ *Uq,#-pٜE4ĀD.)fǗ mA|dElF޺~A)DDJr[E<,u >+!O[9Bou2k׏ʈV8V%'p)oNw=."^qZzWM&BJœPX[˰AWj纺YݝyqU5ToI6m ] KCt@Ӂ.\ʭG )Le8yDwѱ8Hkwz\T@r%lEm?J x]D7ɯJzY\(8mrvvR*|6LC{=GiRkĂ}! (gpZs껼S.S9<`9ABQ@wf^J޾̰˿6˿Z^h@Nwvň܉OcK i@ǚDݍT4q{ɣE_E;OaޞI씴Fhd]T%ptIpꖺL21廰C4 OG5a뒽Gq q36$il?b}e`Z?5@-Ѩ5?^=?R9QR inS[S# PhY&HZ$- yw]`DchU@'bJ`Hff?7Y8-08%`B9E+WP#~cxt8%i]۬E[RkCذ0}|+HBڍgtiخ Lb#E!TBwtd_FQr+ǒw6ؗ"]i*[f2}U.(J4mC萵r62Ȏ)k<$5nGW7؆Q8fF#}jQKA謵h3)|QAhmjP|i432{|G-H 1$@6> +$(1]PW>uOHж\dBv[T8ntO^h (!6d3 Wh 3,tGkZ*fYϚM8V'Tu8c0"7<˨ d̼V)kJyN)-O]91i+Hu9#'ce^jPqN yJ:q/= ?8~ J7zKsY⻹"%<<eV A g a"LXjy3и4pz#j~Ie9S-dCV7,BA?`:^Z,[Pmy>k$C)vïۦc #E_(780"dHZZPuȊSkL#I,rR Yoュ\.B"" i 2BKРrJUWby(ϊu87d(gW.;>I#?0@YOb_~ǪF MԘ"T~߅\: q@a`yN|| !\H 9O:+dj "J/>8@&prY6ʅB\Gdڂ3|{_{)xYRbPu^_ 8Kg`cS\+Mg15˘T;`I 2:T'Q&hħ34&՗2l=>*K ?+g`v?!7&AT\}j 㳅k_;\$R!(fq(ig)c&/İW+AEw1~P +6v?8SgHys;fhӚ.a_:F"x]"mZnG"/C9]ֳ4C@ɯצ3 2J*'#hF?jP")&YR]-Mx_Qe<&/SEdpIFGŠW\:W6R'ãn~ y@j+DwI#zmm>Ehd5\?G"pjo v^/v㘋W ώL+@0Uc {r[lup$4Cc8_V/urD:M`Cjlےkk!BHiaHU zԹif:JtU ҥbɭ28zFL7^GȷzE,h[~E(uօZ˵ے"Sq&>[0p/+qێ&`i='t,>2Ս#/H1Cj'ܝ#z! yi(5Kp 'Ɵ;?9XPf5BP5kxJI<3#M1XP).t&wki<Ⱥ8 H] )H(֍YhF 3!y{%HN-U"8IoׁϦK˯r@#݅|mhIٿSAjMo7oG;)iXCicg8qTs:g ݻ&c/kl ǃ}L[Q06-ǥqq6ƭ}E6=Dۇc7'}Zɴ`Iwg63(𷼹^L+!d.$I-I]tU܏R |Px4y(5#.nw HjbJ-CLE_5(ZbMZw KO׌foO% YnFx/(qՊY 'n#fB鞁x/c5=^(7m6z`ȼeײ֧a(+Z^? 7c܆S# Y`8~><0XNW̿O2|QROZ܋u!V`>/EWV#7Nv*;CkUqyz]g&* ;ol<м`O9QxD{.&RZ'IlKŀ>oA.8B267E'kJsVlQF|"}LFwFʬUCNx!:Rf䈫'P Zq(k%> db-u^>K1pڄo hv8llTE#Y#siH ԾdO @X=p%E`hi8^y-7䚜m5\0Al1V$>ǀ{ciҗb3?T99H} uZ!H C0Tgwk/io.< |os~77hfQKwvȖ'% u|6L@z0ޞuq#p@no3:Xe(ؚ۠`RbRc @!!]hjW?KHҒ=S\Oj] M'D2`v,_9[Y-ȭ39$TpvKz!c==P6nĠ$@y`H=4x"ptdh2~wRǘR -wc #`Fc.2$"\oșjDQõKaH߫9nнʾ*Y=/{bN!`g}@kS MÞwD)"ӸEFz>}aa=꓾ C,7Mx!=v5b=7~;d}\t@1ZPM!QOT=~E2q5r@] I5XI~ܤn6MpcK84az+S ˇjpLճFnӲsScqCnPMw(ey[vw0.kҢ)y u\!AĪ?*3|gćɩO>@;CC.y;09|9rK3F,SJu Ef|:$qc<OH./VWO3fX wOӲZqʂdc&!^giܟs\zMC=Dq D-?G7_PXlkFr ,_[qavht|"MoMSY5mc˳-P4AKk>skvVK38E㠌I?ہDjOY.Э7{2'D\oͨd@vU˙16uv|79UkN YQZC.OgrP]SL2Qә X|{$JYsUf~|j*RDy(r5t6Y< ;<Ńy%jϨI2O{y_M-0$kL}"󻢋.3EIwъ N }'>bgG)Q$ g= 'GycrHsƄ.KfZ\fsm g>5 a2Wi;ɮ P+j> ߅,`xm/US+'ҢY䵷 ^Rf"P;t&y i2`EI7wn0^/,ړ!",`IbOV66@( Lа2NlxQA=fRS=9dv~ou* bj{2/C CZ Ce4F<"3-8NZ] ܤbu0ξh xjcWmgd\ĸXhv ݸ#B7!mT&o&Z*5T>7+] үx=j˱y`83pE+{(B9 uT}K;C`roʜLUྴdP!CzkU4sҘNC{BH) q}>V4s\'9drGmsQ 0RY0zju b;HNԦRWx+csҎw(g-*OS`flՉz:,d>FH+.f7m`Pnj)W\]mby/0дj4c܇Z0|5񌿭v /]^PjUNJm_lG=AwCiӰ@)땏d2QhF57 cPef%BTUl,Y\Q<8`pF?wR%i_k fP½j"w 0>N Bܓ5cOI^$ݖMlw!f5/'qYsy+}p(dy#1ކ!{IsD|`f@dy}~vϠk< o\t] 3eN -C](Kf{(Ue^6ʴ7%`} 8Xb-I2G4#EWlvµ?ma NFV4 '{M13sِIAN:v‹A!3C,Y LFisVm}gD; ˱W -e/: z-au{mG!~PîXlj Ƃd6]cuܬ?L9 HNq²=GaP'5m :jDPiAGiml=: }ʁJ JzmN E_P2E4!VA#j,X2\v%p Rߊ88qjj!S7 κ`ɦJ~Q cNW~ui07$f"j=Ie5K?Q0UB\$ ,uN·-snq]˅V7S1nBLO\F.(DG_mö*Z`J0.kW=e+ɐte-~PnFT/CHwi39!)&kZ[ #ܒ m@>;mʊ"kpGmfmy?*&i 6QNl`dm:^Ri(\Gz9aUWls-\\EdYggh!|kJ=4Ru|(U5y_ٔ]j~s{s`=ƈߏ$.ZmsG\c,O^ E'}3RJ z4RP㹒# -!=k9x>ȐY'\%]Tۯkw7sa:itx UXU;9WwX댃OS\g5$|T QyV2ˤ>oK\TmzG\?. *`C͎N芳ѸŶR\Y&x.X288ڽpXQ([f&+ɉZgYZead473c7b8f2e8fd57690fea36e06a35d444342ca3c406ce68cf4d9866a541e48db976c61e0e5644d5b76f4d94da8bbf059e3771cf0d9e46e5877cb0