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  #lTd ]S]Collections:threads=4elapsed=301.840cpu=791.552gc=50.568factor=2.627zXZִF! A%/]ŗXf[&rԿ KP6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xGF'p$WEH;u3e1BtISˠs7d R O~@_?!9-f#!m{0@BJkǽȠgTIН2hkwR6UDw8뙘!SCp`򿮆 i 4^\w"˵+hT:R(4h^yâk=]ff| Wu&ؘ}OQ[)=_͡2?A *(d%%-CH =8O0 S^u G57#/(Aڴi{T-) i) BCiB 㶀}"z:b 0\L7/l؞" Kq%O΋9{DHT[zgoNu+QI+ -;R x8D4QpXtRW3LL+VZ̗M>xR՝w`-"LAEyfI=Q7 ѳ2QݭA5܁c=׉% ^c[FԘ?%Fi̐:eK tBGp .|^z! an~e# LfEd /t A9źmx2Ib2+VWRel)kM7cٓ An$6_*Gi:fwA%E t,jCA|vn([w{$뽰y˟8n3c|4K@| z@d/m\1XqՁEG5-~W,g{ P*/`=d(Ұ5iw?p{!|1@*+;(X<#;Sʅu8;*:K-Rˍ}A>Y4YṋdN5\Y" Y˔Ĕ\(9gTbu3<5%@g5ᔷM,41*$;~%֓i&ǜV p{9wk""v\n 'r2E2^,/Hi(ˬDWn2#xB<;WݛԱKg)m#HJ!10NT0Ed6ru癅݋JI3> jdG/ !M_6uoo%L(9"E>O6 OsC-be6gZFWlK/ȡ (6PbJ0 f85oHc,5ǝ B]w9Gl?kslo,Js+kX=ƌS"r%+p4xȩw5Aw8{1nQǹwZAy(#h͐  Hg(a37JMPAMgYZ 9#=/ CollectionsCollections.Impl_Bit_SetGenerated_Code.MLd lE]5TK >ʙ}yg$sW:ILԾfi$g/T k <',rbu#$Pc2%^82p+z&lŞ瓞 a!27OcxTpP][>y5Nf0!1CYR,&ɬ0>lfK@YH0|SzӐ>/ҏ\[ e|'hK_o5OΚr^X&!# } e6 '4֏&O lx-6X$#32EXMVmC[r7I.CNJCMa[{@'EF+McLø> P-#>T@η$^Z2B*FZ`W'NAvw ڊp-ai4tOq>v0b?@_%b]\[1uQY&-dL| wՕYT>N?f`$@Qc3MK<3;[:)A'Сߌ%G|;\E"o>$e߿{%6Hor0E6m^ݽid)fkR ]ȯ=ٷ_E-(I",eB4yi&&_qm tWwMQ?;Ebk_]p'h<(s.I/]IIo4[E+}U59CQ:QMNz%@4ݍQpZtav E{7n3 f#AA%p.*Ϻ`82lIIAode0VSs%5GYg}Dw_ @=(fĩc1F:ڿ] B"SAfb-jpe*M)i!c R6/M,كCTYs#v4l7l k#_)6{HuAuk 3b2CbM=>$3P’_蚹t솿.]S0=B p{:/㽮#Dϻ2_Eq [X2qgOm7M@_$߲FnW-@wF(g(xrv\XLQsN p R|Pҍ3WXAz%MDG&Ky}EC`ʪ4Jvxj}"bNA3vHYAˈ~vU6*ݿHC_8WH; ӂ8-LnQ+ 9QnQdm?4Z oZ>0nɩ# b uqyN|TMd^w\E}jZNfmt\]T׸X\sjhq>4tpd楓4uTTv2̉sBgq&i"ϣyFn-cyd MGZ?KI#wۑi=:-XBS[<*(@ΰHw 0+&G؎vArE+AzXyS+UZY83|ca$Ep2nF[yc@k+k"T-tP~5F j?U^H!Ӕ}EV:!+GtU B$ݤ1)EuB)-kYVLHKOH Ta^<S\WCT'2JtXzGfG*v-ݚy /]=)`{K\?*QUwJ d.í4%oqrfS^p.`CBi:ӵgE+,4CeIg&>8~Q[?gϗ?2lW鍊7 z{iMy4x_*h`&pDmj %3e$({5E1$ҦV|lYhVb,vr ݽfGPNg+&_ jdU~L@&k|VNyʩHU! `!?.ԥV;mq BuLz3G3)l6+4qQ?I9)ZZ|"jU zƸpe'{fP}>NHe(o:-@{)3`stR\¤ECCܶݍ?4tMw߇gz`(De;(pq ult:go]G5Mz zM^UBQ+s^ Z<' S GoA$jnPO-#~uhY.`q2Lol"Hԃ&9z#$O@˃ ߷vNR=,~?*KnD%(Tp' (%d >*>Ϛ82!\+-ԡ 1$֊42]gl0ϑQ>ݸy\Olkb)^S51-pU[SbK?7Oʨr6nq*`ŧ㐱l$XЄEISmz8E;aLIy.s`s#{EfgSF,@yr]K'0._ɥ n%`o[nL0`ݝ"YVkѯvmr;s *YI+93䪈>Po5XAqV`gFX+ϢjhQT-w asjF2"WiܦVr)lT5a,me{갔Iތ%e܂WH`=Ox?pٙm/*I%$d Fr} ވM]&|*6IWV#i5P^sX7VmD{WDFX~&iA#|V{RKfUح˜١NcєXU{)̌',d'}Fy@Ƙ/,mvQz<Ma 1dmq䓖C("j2d?Ns4 L7qjFY-UZZ$ݿJc_ 3迄}"yFPtM0^:(#cK ߩe: T;!A‡ R -gC?LC*Yh%:EX6;Ch @x/rըmJe߻tOJhI9JdܡxTIR9'4 GhMan ,)HW #޿< v:\ko nٮ$u@ߪ d`ܶzl0wvdD4;1dOdck2TFR^B"F܆!AqK,9AA1m&c)SءϸVrsdq <WG fsF /,zQsY֤[PVԏ_t0!0hx8I[VvNս>Zz`(qߌc7]\;{Gi{~q^* 8y慉T$Xw`?2b9z+͔*IKx9Og#2ZY4`0YXr@YcZtJaմja ɡdI;yIA;$hHd W^t~,=5\ >[ϻl'؍H k=\7ebEwNv3˙_&ofC?Yփ XL2bYفܼB3Zd˃թ2 jίTz6PAax>}6'ms+B0MTxZq`I>GŤosy>Ko:JQo͖uZjeuօq],W{a \-Fi1wÏ8B}O}np,8o.`󞟙ö;[#v)-y7Nm)ُumJSkz2Vtк8wc Z~ Ո8)MDžԈp!CptSz|1g+yi`w fV͗,lu\Xf~ RLB fXd@µafBW--Fs`Gn'dFۀݥ"ְy>?H (\Yp 6_g WxY 37 L:mT/X*΅n?@B3o(r "SZѰ7I;N@柿ӉbfzaV:nKx /TZX`&[S|Jl%ߢlϐv"fVyu:2rN4s]HcW4R(T.2 [$>Xɯ1b6u ܂ޭ>|͎ЁMK 6pfaE2+2; Ky"gRZ" /JtS%\"ΐ=uEcNc@B}8pa'Pompc=Itՙn*Kv|qcTa"zf >go /OZk>gBXeLh +XQei=JnslΓ7)'8N2>TPcCD!ŹP:ۅ|[%I5~*3b ʀ4QILC+tÎͿ󢉼 Q]Br%kuLgkB}9#[lÂ~ՎouE%,ns1 9[j L(( -_M 9Ch mgMa3.'~d:X ;nzu%Zn ޛg<(GaX'cl-jm80aH)'~Ru>g(R}fSw`“p^qr\]H؝(<{%90Hu^Ȯ-_ҡ{TwFuKyX AhHc =('{߬U/("` @02h4wp6b|b*0.k,ԗ}wN0m!ftÌv6Bci'7_?Y@yRbKIJw8L?E|z7|Y` SGN1h}zKkZOW``(*KMww\섫u"I`>nx1aE5Q{qvJBu NSP79E< %*KPL`n3/|eL}W-ʚ*&T/&s("DCĝ_1[ɭ[26_!&Xo ~>R}CPtBDWp\>0(,yp+ŻqHm# :wvdW>5EmJlG^nS"D2.sgJȰ;~u~x 9EK'™n!TzK\ "RW М]2֕vV5ۋ(74 l ?*)(r m6G(:-:T%Cg3A7$R_%^&ڳRaBVey!oZ x tM8op[ߚj_ ;]0 \o.raKzry^ ZcX ZR֨R^jpbo}._cS4m% ]C Ļ+$g԰ .Xy z }gI!:p_۠TQe$Mgux[s*`*J25m@RhLʟĿ,ZljAdhWB _urIM}C^+)m"H@jY zkAtWBk֫Lȵt:61Bk,Mt&ZCYJFȠt̘s3cj?52Gas167K$ -F+nJKPlQ@H6Yc\μ``.[i2"WUÇ>6 }OQp\@K&dFcJVm:H zH w^MYpO[G\͎8}yUq /aڒFGp74΋"&m%Ka c{]p.:W})}ZN%Q/+uQ:NIW EQK)ܪиx_4\`?}[FB>DP{}_ 8bi v y#T[wx_sn|g%Sw[ ]>MdQ%j۾^u2!ƨ֯I!-:i%Mڔ?4ɍH9oGtnf)Y'y}Nԫ!AmY;y-aWnpeFuLY&}kzm QJ6T ==F*~$I0+uM9Sv„ ҬVG!Wl<ǜFoO1G*DW1lGo\4WY>ݐ3'J˿萓tkw$G#!VK׬dy-h}rӘ4nYO(Y C=sfnufV,Z{U (UbOvС^0۾ef|̚nŎeULHk̟F/#?F瘒@o!2R%m~lV__63_vUvϴd8 =:Sc(!nݚ1 ,ݤ>otiX"*|4^:>E&ʬ[ʆWB{6QρaП{'JD!6xPt|+=rKz"㱑ۇWJr L IY ] hV3P0[ ਠe620+OρR(ӬdB.?`"',lC-2t=SNX*+4kE~U_ϬZ5lARÔ.*2 1!LkUf}T De8-]&>1Zyn )@z0:ߖBA\Agl}#)~{$͈ `<* f؅X$b+gԭ_O* 5 LrME=N&WZ+,% f(5: )) "{4k ~HMGc${mő} z`߾s0I .juKOR /鶈 *WUN9QD1Z2fqb)G*nw>z>=M{sj3z><.V-w"w/ro!SP\FIFygAf5ؐ 6fQVա t[n{:ŗ1psqHFw(BtcLOkCB2mC!L6 (1+%[8VPa'[ lr홯F0J&Ml=cbZndN[yl%J威;r "[۫M} 5ČP% v#r&^',+ P%/}*3KxD8-ٺU<~@KaHz+, +/ȯ?\E(O$HU@Xg EHbN=.c):JZ`_A6=M\ɏJgYZ7zXZִF! R]ŗXi%BxMZKNR ؑALtۼ/U64`R|]t40R%#i{<&O ~FGc06f`ɗ\/?uYP1PBVAz_grzn\m,xv2Mm 8=/I:$xfV(CK .|P!#[lyaĹ^Xg4yprB)\%9r9@+dhΌi”LɃ竊;gQ$)W.PF$\#“m_^Hk:ʰT2+*~!U+5)䚥[I@"zJK=`w#&%)\ۉ+Z3H_v~S[iΝA TE|I[PϺ358^<8@ yc zru$ S]Eif!:8VD #95d|IE F zYJ"ɪ6gҒ?wfqE.?Q&Ǫ T yt^^uzjg-ciZhdӯC/-0@`:0MLlqWۥTbT+zqu%O,0ct.bn3ݷ}kˆ6}^(VPDS3̈nKx;l*yyYⶊ|}1 †,7fDHYQ+:pDe2Y k`W=Ψ `<{UMhC˓X3hZg"KcHXvs #bw')CQB\RЩ2{ RNGwyW|H&!j/Ka%V\X $(3q?Ұ A˩/FELCH* U`iR@h1_e攫T"ң9ߦv9z#{?neG|$.$R.6V{ƧDŃvcϚ-jo cz%H @3KN*(sqz=dPt 1O(ھ`!1qD#X8/wwl_+&҃fةn,!M&O+v_00PN}c2rMfd(U?"\9/Zeh%:-Շw{dq=jSN5@3*jN&%HYhu-[=;q<6ȺfHF~$uԚhy>tpb]J{TR•]u(So=z"p]$AZW_h=Y_hPڰk s]ߗZ %EM fA# )PZL`G;AAL|a4k4SM]v'u9:*jj' RU?N!zӆck@] E07E}㥴S1wՓ6q"ļGd?NR^@:(7Pn>tοtzr Z!؃Λb{v[$GYMuPیzyPvU22pYr֮ ~yh3Pcܻ;kh!u3*m"$Pg ,afxXeY@?K:AmLZP_䔐 l! $Q"`^[V7;'(ĖZR;UHF_d4U5L7v΄ŋi|Wl:(ʞpH ZϺe/8ԶNNV{1\- 23j=fyTsAvH<~j֊OroV&h iyڗj&-DO]!6~~s'9fm>aKL$QV3&{IƲEJ3W^ {`rAGl XIy H+3Gc:`t5g9@ d #@D*ɣIP:pT㠥}A1Zi$,&48SKʶV2SjEmL)lZJ^j^w:mܙ[sWHf&3Jm F)Qƣյt4 :vNj?,y{[q,|pjT?𽋒ZG0XED !f5E' #OY$[,m:L-M.>A`dc^ R1DqAwbfB5UЋMKض-{jQ4|v$ h 31>sh{IPٓ JrL_yR3,-6._d[5b5my (F(!do2~64::)w(5'#{%f̊5g,JdsIGy99٩3(w0hjv5 e͐'gstD{T5v3P9Ӳ:"]O+h;e0@ԈV) !s5w."K3pG 9o٘R7k@ _m[i]a~E3PpIGm n&Gbarp஛RV#-Y*jBQ&`h#ePqXa:>R(j7W;+Uk}&~tzT;Wگ T$qFɀ%N3:*~Q?Ċnbɍ׷DIe~af^1I#,;fL їЫg/yE#vM(^$2T񌘒O6/h93XX"Uk|h  Mjm2AkɜҞwu僽 YX9CUQ8Ba@*Da%dn^*]]ק DvNB)1c(#'ֆp1u^~Īb8myET:ź%JtU@Z5 s+Ym+ Gߍ`>x6#kfq?0Ab5U}؟@܅fu.KS2R8Ne.mOHaLvr5i鶚7:3KgHZ.o8b-*k}?[$X*fI0Ts"Dښ3f3ShVUѴB{ZGD.Tf[R/m%ruEjze g5٣+sKU]gCqw]j6a|9.ܳC@ &ƶ3 RD(cKHMXuiQ[ 7 гt CXR@Eb‹u9F]&yUUt%22boD9HVd З\ݙw+vt9[@ULXӝRuaͺC:J$6+=_ ?>?j4[h'O2V $AzrZ`v.1ʝDGB3PoIEj@8$e׭ 54((l(C@\bW\v6%폞Gr|.|zozKc2jOBrHGCv=dJg+W/J-jeų79+U5ڮ߅빓CHKG#߬;yo9uA^w>]ӟ-&bQ_6y=RV:CC>\k dx( ` Wf<+8FÇoifN[,JH*d!tE{L|bXӫe YlA&sBTi m%~ڣf > 2u#~'RՊM]dk[yޏt0\vvo|i;_8I/w{r D!+UHQݹ\W.w[NI759.lDbWsNYm:",dUPRBX]L^wމ>6>ҝDyt__`/͑ ,3/?nla+UW|vN|z0>~ m[{i= =(1 h~F\榎.\u]C븎WUv74Ze T/e׿O?_21X*Lm(栎W<\ƅbؒh #ی>Vp#tj:pBsNR6m# VZ\w|iy\')J)<) 8=nyc5N^@PeAS*9fk Cc B]k+wVp'`iF7OA˘J?̯97L6𭮆,ƪI=UFiRn&QK|By&m8Xe`xq1(&,aN9^]w\v۟QEG&N<]l~a&S0jcfCuRg;d3_9jKDX Q7e[=_YV{yNj%4jQ HB>4@i N" 7ː8>. -)sBN@aOr=@\*H@?]fSr.'mwZWϾ#1fXr3fc!A 519}\ԽҐN$/SSlmU}] :N`qpkcFև]StQQH7POdb%.bFFzki)WTgCzdgnl-'I1㸗Υ! s VQjuihB@N v}Oe~Kovһ(;؇CW88:`NIctGl ցje)A-mƪa.J&=%źXs"{ s;Y|9ȷ2?r,E/mZCHtsANBn G +E'672ɝZش:GmD>nI") X˦;JT\$}a&?.r.Ҭ ȽWk%!?OY>S V.>i@ayM r3xUoS'~'ozA@r2newѭF o@7=.j.:TQyDES U*pksʠ$@YKj:^$*nAA֕IL P6=Ҷre#p -F b6^  FEP>|{oLֹ 09Qޡ Ui4{ YY79!K@ĨrV ⓲h9* ]AgXDR_ 0&34;sȂ#QzCGGh(A^OxZUa~p}-Ad%~2Snj$SK_掽L[ -"75/ \8zb|hP\ k6![n{!o}^qEqVU_MJ '&>2vBc>?.ˬURUK5cn<7w񧨿cGwmkI,~otXS V1 ?htJ-~xOM,GgxB,%.K IS[fZ^qx?yW22Ϙ n+J>u(AgS%%$Y0iukXN)zm9co#@as;ۂ*dBCDābF%~bp(* _l^?TtZ.vQ=GOfn;m"PQ_U\#v]MQ_i@63b[]YFng10zsf-FteO3S0OÜGn#$~Wc%gskCpq`o @EQ빞]?TrMYp(Z'h1e}+{mm а*(g$aOZ%Q^F)8mD!ʝs‡ǹ9PϪQ%\54}Ta2 .!? >"er$ $mCݍ|T`J0 QDQ94&,w{Ih`"M1f䈗旔  m*ULX>O͹qy_ř+eR0sq%~rv@(D'SduPlv5RzلiܒZA Gvpѵ0aw˩vح- UqCM}gMR`L޵Z[A=nL|L%Vɦ-iyWFE[yJ?NkZSsR0UߙGaI|.|7Kw~ +8&j&f^ $>dUWC~Nr48WPXZ%Yj ;s lZ;Ikݭ+$XȐL"0GLzKR(izCd38up8q8qn]x!.`! ol\f\Z7N c:$Jl ߌu)m:>m&Y1>KScGΥ]9읛?CXj[ekyuF=m  s;ߠS|QCh9Ys !*:x q;۵N EwMLz)CɼP?dtѓ;_ t+E$.GG]w[uk&7g݆ B=;:K :׃\YiIt-uN3sĨbl|4]Lg̖֟ Juϝ$ \_rSu^kS,cg©u 5çs[SAƵئ&5e'%R)^OWZՠà &'qrz:>;ԺoV%I-dLIJpa;`{3Wyud-9/CkcTį4*֍VcU\tJH7 H(ؘ?pH\00tX$PX(6Kн1J{ h:؁gK /zEpf~㏒$9]/ketɈ $j(m>}=ߠtErݵ:oN: ’>;S0S)c%@aǫs]^YYgOCSb3(9zjXj0shS?I nZLZn{\; JAiHbNq-%6L^?j;uc+nunC~% ) Nok}n֊rJURbfHY^"I\%-`y݈ +͊4䧬}x## )KlaUYCǙ~Ƶ᧞YkX s 7yDkyݎSZU낸Rcғ/3 j)NR {աݾswv_[p<,# KZu><e9-\{~+m!"(X#'/?k"WB3 ;Dً*5*GA;qKoG.MްcIc+Qiya[ #Tȑ=`a|5PoGvƍѠAxaMN:jOl@aܒS%݋8+ډRiu^Xl"DźNFŊfmԔm{mִ[$l['wWHW*_Lc,NAoғVG#רAYU%yyԨ(-r7ZRRTj7+ӿ+F+U;dE|>Y p?e3OdrNg9N9F x:7-D(zo}}`g뢾c-bIaDdQ5qkl D K./;-ghM 5!2T{MNu^}܅6z;YeY2}80乄|L v4WU1'WToZA[ ~'HS^/lbqx8xtqSᮒ3+wǯU2̳>di;>{%az+cK2=`#;GqL`fb,0Y JI/cDcgJ,ṋsD59\d`FN~H$b{/R_4Yt҆v`K!$_#H N|Y3>tV>u#x1W8!e_v{QkPU/8+VtRN1uʼ^FePu6Z6( 2$W5K`N*]fT\c50  /VF-8p']ryW5@yQ\Nta/fu+N=sX&a?҉S?2/voXX{y{F" p. RhƟ=} #ylFJEI%Z^`98{w OER^An~RdcdU@fnC}#@ D"9d {v2ɢ $dL9r H$@ A !\( Z5hRvVkB[6 GEGM̧b:L `B:.`|>qyS e/]4<=:/ $u'#BY| F2[kH3ϢD_ p;FYMzXrĭ?b㌚de|G*]<- S%f`NC#sDf+@[`Fknbb--OUoZSht~QF=wE<wjxћ8&ru(M]1([E(8؝ tq*'"1g !x~lV19cEH("9*2:NfhqSxA)3|[bvoH0FV>i _.jCҪ m[ f,#_|?HWE6#L\^ `!!~W,m~}w'fqk } 8O̘{&^P DQc:Шu_rx,D`:gr /foi<4ᗝ̵[+F_(S 2[Ũ8URNֵpc0∗5z =SyŻۿI<>}: Di̡~^e~tqjGoΗ҂> R~wKVl_zȥ9[b<]LxD1t7 3k&ۊJKԧe΃x8~{%, 1`GH`,-PG-=wQl:X&;cY߅LϧEv==Szĵ@`qO hwю#]|vlS-_f፞X0$ |3gsoLgoAFS8Ēs?|ܭ ғ/ Xݺok d$AT1ok諼08 OZҵ~iGnn^*XZa7N6BsVh0 DNYp;ӮrP破H_Ô\!g Bw˴e ϗN}LT޽{L}ꗐ Ѥ% ()ύO B+hq‰acy, Pڤ7şuź+BdQf A9BB87O.MXZWX,GSm*Pse wy^Du~4҇&ض]|t'Ar;OCRLBIiHJƕUXnq'畀WN]"*]Y2SE/QfhN7@XPi뵫o4)w=^y[&D*5zz:G,Z]{[:`+Mf IL9H1+|Oh .<*Q_*vZ»J?HN]R^= 4P6(┧}lɝ8T|҂ F $m]U1Wm,5(dLH`Fv>&7"qߺ0"(A,_ʴ9I:\Y &ItX3㞍2#`@Djt$|_h,Ca-؍ōcg]ChI\C<^̬drcw01+vE)yz 3aqF4J5 -Fm|<1f;T׸j jw^㫒q_%6l yXYl$>?dbj;9FXLYZy!joH?.tU15>( MuBLݷ/+8"';$|?R?~f֠ <=`r8B:V\,,@הt=LV٦C!?$n1W)d"ݐ{)ݯGcPyR5C/Jmf>Zz)I(Vn-YfT=1iXDFx%Oʯly:jeDԙ8+G}Nʐ: RNS;GbuOk;{.9AAM SQ;8d9u/ƻQk6lD;)`i}#>w* JzpTnGzOkt|z߷ [ALo"ℭ5ӹ!q˼,l|*OiGDžE%Xӎ&ްU#ޞUMUFn*1(Guw[@72crlBUpYkyj(fCyp`TDwTQ+tB<1* 8Su0'X+8OT >RCllބۦ;7hO] 2k@opGw_Q/^FjvAt4M o+xjrqÒUR>DK yl 'Jn؂ Ruڑg+PhʰCp>ڛ u):ڮfV¥fsh͵%Q0SQQ{ha Mmq1D+25(Mb[Qg?jP iB3 ] ]wmuy{ G[9zŀuq?U9͂ 5ӁۤO*v|p`4Gf)Kދζ,Se1::=UnN"jUEQyPׯ{?PxpbȌqXx,@solˍKOILӛʢ;b;FzF^ŻF8 `8q܈`+AVŠGe'/" Nv|eg,{c4xr-v |eIwfz?Co 񩉀=^rdc:rq# @}˭ؕF~fl'60Û'Λ\<32U.%20+ Ʃu&i Es@y^W4*`PG/=.5.0b 8)#/הW'+U`q* fՇ|܏ݽ*tbZG+2jX4a_Bx5^66B@QV =l)A:081F;1zyMr dYSzPsY禽gqFn*cp OIt)/JAP*R[_2 qŦ mv[CӚ .D<w5`Gh7z PƝ"`:Jal4Һ\n/bsA|`+H$gn,6S[ʪwnPUeދꀓra! -7 X՟JSp)-aZ*ue$}EUT7hҌ%0Hw];di6P-C2"m/bB1r X(iܛđrp a }8WgSH% 2\0+YX&9^,2ߢ{'IS73*T]˄8qg/3v Cե7z0?\a'X8DJmcBdy5SMv/rGtA%6QZVF (j%^k C}.Xi#`EþFä tʵUΛ~'b1Oȑ1@1S;af^~v+~?nJc*4D(YЦEIjVθC}m/じ:% ⢛ aB7~UW̭׹I9!,?v>B"ާ9y]g 3?-`PEm6%)PC%]h9m(}{]RG w 72tjwO@2L<(vA5P'.'T}sm? @>M&bqd-naht%t83x[A9$7FUȉ 5fɗ렚5 Fu;XTqEzdfd=TBL4~J QzJ=؀QNdʸRмle禛( Jā>e8!/ C-<N \fKӚG M |!5o~Z+n dz_N@x``F] !:V)#?duxզθdӈ](<-!:8'&cR{cRHWPO>zXad)A?}@*q.3vrᎳ1XX=17y2cdW⻉H&$I%^.= =j]/xd/\i/gHhQ=n4LjCPe9ؠ$yޢ45HƘs.3Qqĩw5bjg՜V~OuIH(NR=O ].G( EKѝ-'+,b N<(+]s'cxֆtJSf#wVٯiVsvlAXkK N1FUkf&ڕ =R[Vc7)8yΙLԬ1o>_obxg1 -|ɟ'!ѻUAPe,VUrٛ*a+jjM ZϔXP uc p)F'X|KRG kῢ5cOB{Yue zZH [*{S3S"?"-:/XyZTn(F7:@y Q6@@{Tl=%=,4mJYql 32uuz"7 ^gclNy 2.Q3Lc1qc P'ҵPbdxc ,++k#"qFg;"9 3&&_?}T՟#6+ߟǙ٢#͇0Ӏ$t$bm KQӾX: o 7D:{x]N/m?Ҧ:IL{GVDRBї B;+GNlx@ԓұw׬u~.sB3oi)e uː>81N.B&:8Շs $̦rmR"`jxGG Ϳ"'rDΪ J0_M~2ɽN;Y&i-%5ca0bP9:=XSpA+ E$rq]Z"kbu|e H(1#])p [qO9n Td>χ닔D!vk RQ5*ͧV8Dɓlۖ8nAk`B8^G8I YLڸr޶ZOhrs$ƤuXObwͷCUBiNQ!cd,>6QZ9޲rPuEe,Н3cI"~2\*V"Ym  8M <)̞)xD9M9<i"lvtSrdƐ;㐽n)kc җ-%i!3y\Ԃh Z w3 ȭ5j;GϔcF Қx#SFC}W+TĈosYZo E_pf|8xv93|v>{bGTӛX]>qӉ$H{yQd7~#*d'U<-@٤&