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 %L4 ]/]HOL-Analysis:threads=6elapsed=321.165cpu=1685.108gc=100.684factor=5.257zXZִF! cR]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$۬5+6uxT[h:xF~˅WJ7ja8A~44Rq-",J0JgZ]$Tп"ǾAO,o2 2;B`cQ7+ژ8Dh@؉'= kKMyƁ/ٺcO_;ŕ ڝUE|z݉╾Q@BKLh ({m4u@ktȲgCi_V_OzVG%A!@^p;msk(d2ꕈX /me@Jzz! _s.=KsA^ u4D.Vkh`SKǻ<7vbu7P̓ycCսڪ¸CgL ·oR$THMl ’}d+ÅTC݆*-Lw^lQA$id5&r.sWwGj*;ؕidGd&G1F6jgKF@ Lg;},G41p>v\:;H`m,>na\aC>z1}eؗ+>(u_G?|0 >1AZZ z?vYE8v֦Jzi4C-q`eW ɧSؚ;)rᙎ2I$ecGOl6őSH <֙c5UoE neDH[i  1ʜl)Y P_=ϝ1QR;'(isyh6$'Q7PTG{>Gxa4/ۂ I\R;`fnjyM*j /^KU%B-*}j,J%6cOH:O~U&^ [ {1?6zmܢ;}]@cqV)^ DWuFg6ك8֫|">Unzi^Q)WXN*Lc_ lm YVa:|28Ta98dMVG`ڄ7$dۺ0\*>c]u:Mxum+>27-=Ys];o=7qyM~rM=T0yAR~yz:pñ@ P:*fet)s/U"٥w:ڠEjfB3dOk 5mO[!9RRxv؛,84c8!)[3bLa#e5ZN4zb_)ss2YPgЖRUx2)F!>[ә ťv9,iuAu5;ϩTSFϱѓ|OB641iE_z7HKS{'x4s|"m"]l-m-~cyFxτIe@=} kkZR;zg/c%3Edx{ۤ0Θfy@XbW=I#dm0aZ̑+xqxG}G#Nm07vyoAQxA>쮌櫒8/GlD}Ds"v@ڈG^Mk*AfH:%B[Q ZwL>q 8@ϔ4NTkԻBk?ڷR ,AW4Rnyo7>D _o1:0i&<L#:(|hɷurvΔ{z[!%TEA#i+DdgO:G@2Nʁ)ҿb3ZbG4B4}l49>s|81˂5B?gM#&WzKHmCE XAV}`<*B=]lU#zڰ ::o'A[5XvۨW1i:`¶&Vˋn\e^ZC.Ern7|E+t % HOL-Analysis  ( l.77sݍXi>5rGv%3˝^ HAtPjrp]P\l]Y&_OszR-d} 4u!JTˎѮ)쯊Exyf-ILbU:_>SւLr> ЁEN,4T`"A{dl8Ȓ2.rfnxnۂ"VUf {qL ,[!ϧ]݉gP&3p Jl̾m˹ޕW INS9`K+<1G墱Zp~A߮tKm6jM/_wIboCoj6O;6a~8gVwxs2fBgNrfXQ05W[yr:Td*Id&/ 3brn ^T3PKj5||?@tc堩c$d}IWv&>jvY̜Tim՜\XE?w#]%}rǘSuSj/&ޅP'p4yfYBw)kVrd]\"ȯt}W"VuЛ1.:J `>6 T%Cȸѥm#ts&mM #,KB) o/bڞ3s(vםca[]2sde^Lv)ѨkVN (w%E멖pp ٢J BgX}NDutJ=R-^Cqnivw Dhwd_{B:\7c8 JPRe)hOZۼWD7{OZ3ù+>DTrWS>}bl|X`Td D'Ta/j|;E!`\& hF pkH*ԒȄ[Njx}[CDO\qp(T\1+4Ddʮ0k\QooS9!&z׿Zh{U+w3̨4\uͿncO5FO=UP1=F0B@~V 4++D v}>si|Rrf}L^']\2e(L?TZc" }# <>)8\;0QdITtk(34vG#Ă#hx^}GXN} eg:DhK?v_NPmǃ;fc}K9>L &vFOx.sK2s?Bws(&C'AnUePv&ixYsqDp|l=&tvui"f|[/Yig{ҭ]d踢22`_hXQ? !yY]AS)[8/Ne] PI )yyi?)W9h&/9֐т\b$KQD)-i-~;z["a;3@rGV >ִx-X{,pűHUÿ D+[d*&~㤰uox2HdYWz? (K% FsH."6,럛*rK>8[Zo&TdJv(?&{4o;JҼ'k ^ HH_l > "nSg5f JKTl,0lĿ!Ƃ-Vby>2GN }fÍ:اK s>RTaAQjAYyM>g^U =v’տFඹE{w+Ll$c$'VH X,?RØP0sMsh\3ȼavUmKV)JzGsDUNUhT퀛bc\>L g#<>g!GEP l?orG?GzDbOl<\%;<e6߬8Np$̠yXj.J`ay.shm%\96I_ ESNXJR OȱfW%n#-Y 2MbM9Na{"9f:gX5s#bؖ^"8T9tGK+Fs`8𝺺l.o>푮)y^ܖ}3btzmϊn(cA,aC؏52@1X1e $ !iHx [?"?]qmIZS[ >!#Vqv^Su!2a,hE"--5Z{WjUt@DϸJ]jؒDͶ=ǵ$rQ-jKTIUIeo,h^0*Ku=Rґ?t <Bv$+˕%ovura _WN= $UƼj >$=$3_?eī7C%8':[l@Đwi1&#S,L^dN>?|>!ȌDӘ}svJ$R+=_A#9}y nәXn؇K"?gʷ ˓:tóT=vģ&X{yU B`.NdnotWDq..{s7A4{s#'Co542QNIJ\]R(HXinE؝K2@N AQ/Cxժ*l>;YB|XLm-39ssf⽤"&תוغZ3۫ܣJ۽E덉vRP]Uϑ@XNS %_υFSe|s$D@Q&WY ؎+ReVB|8`vpr&ĸjM' MXWtW Y[c^lGG:[0z4/; Q(}AN'i cnxrh&Skꃍ'X0LtH:@64U9l?AڽU=,ߦ6( μtG{Gg#ez4NnlWWK|r8+HW\=v@5( `=98~d VYtZ$~}O!F"zW,˔ћNu^1O +HX-`M7`~/9Fm%%r1Yr`ճ??4a1І0A0j ]Nq//`c7 ,v:i>adϏ]n¥%>x`X$}IG6z /A q"pF{ ̲ ӎTPgĜ2)^%M '4ˀ`~yC3Ɠ1ˆ4WI'?A91z/$aM,lCXq";/ Ϫe!;3kVj&"ܵ&?ὃ2[#)-`Ti1 yT53dcp?Vd V֔ µ'6eDJgIvE/^·U$]Kc?߆"hAK}!ȓ]jWjfHeӭ.+s~Xqށ:l4>α?;3".\xj%}uU9XHKp.k( -&m7Nr(L`{ RlmhXJ}WSsLޚEv/`HywRb 򼝌;@$FYC!k*Bpf$R ^qBDu )l:=?é7!bI1U}]H@*/в /G!~&W6{U͚"H;bCc##`N1-Cф릹:ҝ~U_S@Q1A[݉uT?$}2L~hSMk50Mʄq+s;!I{#:-.'2s<^q}BSpv_-?B24dG@-\3Ļx_PiG?g~=đy?p߾sRz6>Ee|0[p"pg>N!]/t> ^xl-sO,e6 Y-ߝ[]zn\p+qHՈ@=!HWlg*J J 5 P)bn[~jpwxTʾyRdyJGqL$I>PdioX-ô]`!=`R8m_~ 4p?>UbZ@`Yq˩1|q`/ZCk|H6soZ1*E~C6UPe `iq<UTN!/:9 8}&Au'T}єcˇؕ(j(h{ⷠ6nzU CfvGue_0x!} r v̗[IV^j$!X dj -vC%:@̍vႩqͽI=+4l`S_DL|bIOʘuP3K,Q/K$,ـҘu.~`!t*GON<=GG;ZTcI2xZ܄Es>(_NP֬c[P Y%qDAFZvyܹ:":D>ťN HVoYA͗Ce[i&|~,蒰6Je+Cje**p/~_̠,CSKjVn,~#{z2z$,-5VzM-lx jhʷ(HG;kܺOK38&$ ewYcleNl@p,v=nrE{-`fg HMnщ&8O z쁣u&pZSh\CM\Y^N\Tl׬`m7 eJKJ.o3NGJĘq´~HX]`3Pqq3Iez}XtFɘom:SaI,Ae},=G3~q%z^2š(k&l ];7cz-8(YxF g)"b:XWa/[Vk]#Mpis_-u?UQT2dA%sjY;ٔslXjm! 46RJE3)3,yx' Nǚ nG#~b聹OFY6bgVpnchm 4 ]_|((IT;z? "3nE="D~oaV>Ou^Cm#[R`qdc#$P,(;V =V]ɥCgy{<ݿ 85~XL唬Sh?xV}lY|Jofy c[Ror;E[N/O<;ܡ-R<{VE%#~9RJ vLNVx_VMzx-Z+eW"P W}m8dtȀ=m}:ƋS;߭c9f˙q "b!d~+ke1lE\1DPqpöBHϴ[*t1"1HyEpo,*ϛ%)#f-.]b;P^]la`2e{K=OW<7 f2Ե)X{4wg~ Fw0Ӕ^A2DlngGv>[ ";HwI%:0|rek`ߧa&Vi0I=dkqCKbϏ actOgiUL!0o*j(OA-Ժ.zFjmcX CL 62<|jAGO8r6\Vƴ[flO7,_ Sup;։}~$~}4pek w'XP]m &@6.Sotǜ"V _=dj3ghXvbpxإJȇUMH+;fNX*al(eRҁ Z*߬Ֆsa?aJԔާE*N #2;Be}c'Ŭ @:)Ql`R4z<%^fahIj+[)uI z΢Lm17I\T, V,6LE{GPpZXCneU4gw3cs`e3CN~}$yf*F!ܢ/"lHO쵥?z gb5/r+u^}$B4 KGY=L1(K˺R5!N|C/K74=c1NBܘd=V_,ڜ:d®5㗼xV͝Ɠ|9xD{=QALg9E5H]|4n}ȂH,^_IwC$sMZ'pe=I:wL6?NumDȓ9ȴEW7kvt ?x IzmUVWXO:Hl4}=9 o,faU4"W OWq+&MvLvrW|޴I"«PvbevM,λ^p%n z#ϳݠz E2UӚ\{gM@>ꀁ Me# VCmncnz &e|N ݺHGuar\K 3!هT #voY֤.SsY&ct%H/*v#QpYK,`5ቃ;S-;@Ǖ6kяf7UiRZac,%(Wf. WkK;}]c`mandf{{xIwa۰bXcј+#IeqS ~H+Ջ̠6Զ烧UXcwY=Jwpq.5P66#Psh-b?O({o6Ȯ0`! ȼ+wڰțz!x1ҠE (rbTA.lu tS(N@$vYIl8JK*׈j[^:Fa][8UAi׵^lBs뮈eI|)M",xW3N\Wp!0Tx=Z(wLȒgiZ520ʙP\,,_Y /l\޳Ĺh);3b+i: P*m{O~ 㸹-t.IQ~clH@zwfRfy7.xw߸Eq.vj3r _msیˢ' 4r,yw=gZ'=l̀\yW 3nX3ƮtD+Am=}o m*)T劉YfZ\{FS x- 2qױ04r7$R<Ro *,n2RGﬗK-.'E@Ƞ^&fy8ZTk$JbO[pFMg\2孒qDwY@|/HLǢ|Ztf;=b.'ͱ fS)vЁ}c `-!s/axA Rz5Ǡ2G`͚D{0а"ۯx]e:+H'`n8+cȅW创זyEEwݵ#ڮ!LtHapGKI..NlM=<@@6۱ Yg 98DdFXGwo[q91XM5*Lt:KX6g E.n2y(;s0!{lK6{B@0ӃSTf׭.IUٳK+T*[dZ,]l%:P\ˀP Sqd=rkE7Cxbh@5wCȬjje+E|l}ڣRPpE귬dh³!L*CKr O|pK4vB9)5 7R1* C%ۄ43Bd*6 .4?tYN1ȡF$(:?)D칆n' grD8oW[ӎ8aT=!#(sAplo:ِ| _ O= +ߚ :)B3ҵ!Zyh>6OZhg[/!kv7 7"aC64:ۡnF$f y  } +C䣉Cp?2" 4BU, 0 dwxymKFEWӴLsԶ_ҽ]vB1ob,OzWN 6lBP(ں.pEUIvYY!)rE0~AǠWl^ :ۛCsL隗͝epY#ͣeN3Vto+2Q %$\(:YzY B)uԠ<{IJ2w4ܹr~o!4|oMv}3Txj@;(e-?_YRMTXaXగAū c77MRFu5AA.>;{NfM{VبkU%$tB=C9wiʭ+ MѦР67jWpd'#K-<8!R)f&,yG;eEdnRZa(')`b2ClA#]WQ W&o6=TyTB@vdv>KP}mX{fagjeG{̤ɬ#sgD Y4@a=hhjjO1o¤i˸ϔ&eBczwIa:Pzd֑ޘѽTWUvU d<.e?켁|Y~YsNWMߩ*hN^8>2?򵢞alKv$jY1w{!ݼw ޣ6Jh4[bYAh|Qn=@Qc2g^̳:q Iw Y+X"Mwf~N$4\ԼqzH5]"Zڶ"%-Ggyҏz%Rs-<QpnG0&,nm0x *6:-;ah$,jp4z2͋1k(Ѕ!* Tؾ X-Ū) )Xre&" )"㷥*ԗ(Af'e\IJ0M$t_?4QϠX"NDki9W_IpR~ix, D4v4 HXk6#JqV loE3q 935x,Eú|?᪍ l(+޾-alu*9DKMM&!cݑaWϜ{V$!<M/}=Ni䱤擉]TT.{oDJq@b\.0 t}=&]2Vh]L`_tP]ec5}v ",NF ҈W=_AeZC-;hn^yl?O ~/1;RP$^4`ArwHC,p ;1Iňe)9۹rZjoR-#n(K0JSvs 5zAG޽$eܰNsq(cmmRSUۜ,X19ac=9UNgۜWSIz$&%TjX13ӹeI(kFZ]]4iyPK} !Sv#N3x"-kŀoDEU!>74#~}U8!g("͗2 NfsJVaxB %_l/@ l#hu)6꡻N^/|4l88n}jWD2@N6St>sT,Q 'a+⺚2ڳ* d2bP=b2Glœ2W9x"<AyζATP7s1Z|JG&mj.}Sшyݰ) &4| ()PZU 聵խph.^2_p^t1,m~CϹ7bG|܄,GJqՑI.F ;mx TxbtgAGSM h&jU8^:ljXZnQE!hJS^:\#; YF5ONH_4" UqVv e,a&Q)rB3b ,#Rs'@ 2{l]Y,3? &33Ags_Wa ^ wA!3,-67,Vwӏ㺗Wߞ0ax6o z[ :xL~ۑ'V-M&|*B_b$ΒF Ս?_)(乂rhoc`?`H29pI D3K^PҘMz"2Z_klcI_HXtBϸERdGffiXrć'MgDշ<Zd|׌ꭒ3qlk.3W3JMtqMT,"t0 'AJ'6>#i?Ǘ>YHqlt\%ovsً} h D00rEXQETiGcƀ-?2-";73$S{:CPOA~6JWH' :l#XyCIǒtWj0KYu91tRI?ٓ9-$Ca2|W0(P2QgGt}+ A!5⸰3I?s\Bo2ָf7\0d۹ F+9Gi:Օ6΃3N;jj[3rSɦH zɀr*5%|%NpIT獵lk-p p x[bAJMXƱW3Vxp^KbZtHم^!Kܠh XVd 2GVZ*)ͮ2-$/3G =yQ5P&OC20G454g:WA'$ 5E}Az `B6Fa="[Şt\fRk 8"pkaQձ4 ]5]A" ,LsmcF֒mqjZS\ ןF>!d\JԌ9rNV#dToS*L NE!&T1 TSTq헽ϟhS6:X:G\"q9h(yuhuVv!V2ߵ4nRB ؿq#$.t?9xb%披*һޘxf}4JpH3uj阥*Gie5QmW~/],ԡBCNJXpo_!taSpLwVVjaYeY` i;@~</ R6r)\ϓŅr Sÿ`bz*b4K5b$.[5瓽ә L<16ChZMc!z~vy>ij0KypJ^kCX Նl"'>0-L JO#o|K^dLPJĖh8'"L;(WE8@-?’xTL`9VVsОuZ#M0dRtM'< Ve' ɐbeLȻ޲Y/m#)xiq:mygYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4bEuC&"q;=UoG2ȿL"ǩ$-Rf cOA~{,\f- VP j% =C?{r]BԮVe,R8]mtz Y,\,ETu m]).".+Jkׁ4/V*H21V/eѭ8a?a%^T(:@ ǠKi\J%4QQPv7^?H?oa 5]`@QLm$w`yPIjM+ a b#_|NXG_0{als}T}{p3Sr?f}ZYP4%BaB(`C ks~HNnmEDzyukȇ x +V(J,_=MΉ1oJQ|A& kb){2:/En#w~;up Jc m4]>1Ed;-+AR#+Cy^m$/Ƙ&:ůL"&+5+\\L@>YU޵ΐp2v>w8 ~VоYnK`-n P%Í(ָTnI8s\H#({6YAl)~^:WH'VE܋dӬi*s W.cvvat9[/5<-H7[#3(M-'P',?Gk~:~8\jA߶Fir{CW߿~??m`z4&sa%%ʋcBcoUE9QJ3P(^`~@0}ٿ9=\U{R0 ݣ-Ch೛5mo #ݚ->~ld* :#"cJ!TVR>K酰>x{*Gumna$.`5됦6Zoz BXn0[؛LeeM2]k:*[6FuK;W[kTe1Pa+v9JQ#\AHflD'rqۊԑyۿ@7K]'U?b6۞ YygKk@؟3! +#gWogwo~gk dӉg2ܭ:}Dkuه0}$RB <9\4}ot@Q9Lqwyg (SH;y2bLICg8ԗ)EmxeFש|-()oueĪ{jݓP o 6 )up 8Nӭ ȒBs.$|p<_Lc3{MQEwȗ;?~m/~۔\xY"_7ʜ&"GKAkިDW`CVzd=XJ2"6?chRJB]ҿ5 (Um9 S*ڎ=M}P.9>Ues}W|FA{^eOQ%Eis"ٿO>Kf:I(Atz9YnʓP|*w_[uXZt .9F=˺V,a!B~Z+tP͕VcM;t JD>a?ۣ5?7 :57VWF/% tR*Q#QPgYZ7zXZִF! zoE]ŗXi%I!B]Ls^/; F#j֖9ֆV_f-UŇi΃rJ Tݭ#4= 76rPB}#aI^T}8|NR;gQ\"*ڏMo8|M\ l_DK--'*ϔ Zw@e[$(]+GC c[ZX5q",u*H&*N n#?u'~<)ֳ 39p&~ޗkQQU nrN6eP,+d`NȞۜ]{mOhךu x7س} w} x H}sI|3r` Upnj| ?Sۦ}=k_`.޿W7kW@oL%LhxVkvtjTlQn]9c|CDyAXbeTfAB^׉W#[$ Q*5 2? ׼1'V/w]cBU~_ 5PCy]#w:3wB l-$Џ.LӠI0 LtʺpGL]JjyH$2,7luJC)ݙ澿{0mҽ`_c@tP`G N͖ۘ \l.W9w[uT?3Xs~  nK-zN*if MM]˘f &"'kg,8僚K);0ѷ^ӊR b K鈞WГf3:BY']KM5./,jl\u}5/S<>>^!}7i(qHM_M.7{4 㾘Ɯp)gxhגC7q8K}~KCI9SQOlyô{%co( 5b-.5blϓV4tMm.Ci3тuF\ڔ?NvʼU4ș 41g.lM*.Zx' $eB{eݣݤ( f;}ľ\7uZoa|g!qxGŕ`t6s4DHட6 sAo,ALÃ6(򥊇2>vx6n8| !o%UE =~5*xwr)g*4AA2,F Y \UK .WN0LR6\Xb,fYpȔ#.kgWlTcTmQ[\eowB ,`-a pTVLg] #32ZxSğX ٓcYYYϾqܭC,{E ֮:17;rmzѐC4pew2(dAgӚRCɯ-'Q;S6-9X4tK‡m-XRq-":7zjuw5y#~p#ϗ-JK3v^y) \ ~\W ar*s\֡6IYmN`Dg<h6SUW: G:#qۿL!q γ=a Oa3G&7!xrAGk Whhॣ}*D@@s撲B. MT>#5gX6Zj7IOTTg%o3ӗ:J-=4yY!0Շӈ~ 2kh :x@+& OK."!d u[Q(̗H6bY7׽IcL9GMmEU@@UA gs`~k|CxkLtp|Fp:TA+{R ܍7- ݿ(O|Q4?b堿_Ḅ@B߼&P&=\DS< mVJ]͵Ir5L֜N(⻍i¤'99x"GĹI4 5kZ[ Dv=4l"<8u?TYkl#AAgъS. ZZ$!d6@QF J<7yrՋR<z,cMfBOId^ Ol !08{*OfL?iյ߯^hr9Ξr~5@AJJUD^ ĪNx[z\ T<qes4ZcLM}!uAN)"b 02.;.@oGTm +:9p{*iO!)}"WWPˌJ|*mVbY6{"":c9%==7L``&3iSy8`u[h+xQ|^Uҹ[|mXg?D='`Ft"‡aȋ;-8c@3ݻԁc_%*[geK`۪5'2щሁٞ}/٭i~;xEG${"9l#x} "bTjZC^ )96"L KM[dJ%> 5jMtGNHdA++*t!,Ck? ?<NMMjD^|یL*_ %Iԫ%6פwQo⪯xvhJD,Lj-nv0a>jڐlf_dfAT[/dj$^^ Ԁ~~gYPp,;-Ҁ=]1,oL=mObϼ65OniGulHJ-VDd[D\`[ΰUq""^&_ \Hmlah|.-}Bu NVo/!SM4AqKa. ?^^ { Ρ sP/̐W34Tא y<_R?xy5yY4>~REwݙ< n痙^fʝ B T+O+lxh?E=\^b7P\-& >{&[Շ~[Y@.krQu|º ,`vaH!I>d UlթG%PthlqUy8EN(Hu {rCMj5XBAM7^ %3|&_qVʄn]XG b$K0,?fC7eXJ85P/m=IWF%-%J* KZjy;bTb|e ɃNƉEc1ՆT!P-9q?]z$ПX VV8osj$ }"pev Uub"a]fpCXSk%opꭏH&q h7z!]E6EB!&rUIv uN- eCz% }ygz=1}|Tە׻3$yAiRmwVn\lsS\D-lOӎh}rT}4POEٕBJ5cVf@.q k "Vt$0.2&U| M :PWJf,/M#%T>9H<pl$L2z.hۿaa,2{QxKfW~ _st^L( ^8 y|ld[HDmfk5)"X^bB[Jb@NbR͗xa &26k/#^xN\Q"1)~%'T3@bmC׺KΖ]QdCX1b}MB )4٪pvΚ|.CTmMxAv?#̲ʹDo~ZC)Sk_ۥ>ᤢungQ-ǸɄ_hE&^Q])02SnujR rJa5[` TG]4|ASHA>[yvXo㩒˭%| 8 A>g'@3/irY#'8D'E60+@""(A Hhzj8e0Zp&&EKcӯ yطUxIeR}W<{,n)1Zpڨ7َhq%?! !w|llI xtBe""jnXgcYs>ܴA>dPwB}y< PEֶoͦ=1 7՚X8yh鯛 3 9:@M+g})c )6,՛AБ;' P^QEdAc1]K zH6p97T'nzE #ӂIu2<)qf\-== G޴)9[KD -Po$~}6q1$>.~ɆVGE4"J+O1fH*"T&Ł$D"8L=lp^e{k΅VD• fg8'Y qft؃$yƇVEj&BXgS.n 'ioUϧZMz^T/21fu }FT )tb(VkF"i],`wH`C|"C ?0jstji^r{vx!Cy|x&-}y2?X6pjOIn8v*nfձ꩓di*A/3@U^j$굕gm#Y(mGzJcHAV6 6\ٵ3wv܊M6 Lz,C"jeb€]#ZD.P^u*S΀9(DˆƟl5n)55.146g<]zdCg{WtiGUtюV%>o(,G2$0.[Y/Ǥ2o STѨV&{줠Ӳ Y^b;Ay#i` Nis)3|e\gx԰Fw,,|Qk}WR݁w|L";:mн*'(vuqAf,ojr(( lڲQ=ғbe鉖[쏹ŀw'P(9ݡ(4bu샜 ]へ%աJ]! ,rdKu,Pϫ=U'?)=yu._cc,\2Au\KDq7{ NtcUNo4c6ɍ!>бcX`/]^;c5S] /{OLH[™*vܞu0M24Ud‚h.[mUϳ&]WVw 8 0͡C螻 a%lg ·z(oyu,5dhrX.STT[ӭex0 ~!bsb#2ql*~o@?w5x}'pFsI=^[Ξq.!?}s["O@u<Emt<ۜ ?I.DC5/j /e,L;[NQϸDی:-ꏪ>b^z6 ̰N>1Jȍ w 7GxiJ s#nTth3H-N?3rY&~[} Z'ئ%_F8:LjeH1I[FBIm!9|WǢluXl$:!׊2pA2-(lɈdOifk\U`WɂWӠ")+ΈCgt_ס/ի+.nu}ێ Vƴ!:QbdIR"ay=">孚K{W{#nזJy[ :pGZfon,Gӈb\ÃH1|[>X*GUr(ˁ;)ٚQ1KfTSL[x34ƾ?Eݍ?])Y./eAu9XtI^E*W+l.U;oX5ʮGoDi?gItDТ$G<\dOv scD꩔*&ݹs 4pA_4c,{{IyYN\V=A D4ܯtjnӚ:d~ַu|nWM& OV%94嫹.)Tqx0p0uVj6: v`#XBzx{gPF2@ES'MeAynGWY * zkT$tOT#}%*k7c4b}]^rCRȈWR2 &1ܴ9}=e}D8,(R8,*MJ}*9z6xO n#VVW6 [zvώʊhW1o8n~瀠m-t=NkyVȎ˨8SGz;A0zλ{)K; BG810dsH!w|R:4v9ʼn}TW-yILV[c͊SwPktHص$c_ j'LO16VB^ABfD$ya7@l],vF̹Vl9,pyp_YMJßĤuN0z ϱ9]식L5$-[#QLhO3Hfybɚj(p)r˚alg~,b7fg!T2A)y+ARih<ؒCA, Ruf=n8#sWGu]tذo=x#3!nvzNYKOlǮ$=OL98ְ[\҈=>\ YU൫Da{p|$i:4W,GkuզSLD#_*f(Ezg\žXxpV@Wuu Q1IOU H:pp([/T zrLvnaUL{=naGzPA"ha7 c>fixaA&dI$~;!DJT~舆XzO*]JҲ5L 0 SM|t/{6ɽ1Ӓ[Vx[ggʭ_)?%- *ݻUGt cE߅\SK]ϟǡW)Uky#_J\ ƘJ"MJBvpxd]ܭZoW1iF *;;siQ$z:NۜdQ塟nm7A,U|n6$'5[j۪ae79[6hsTJX8o[]Zrޑo8dfTgiNRx+;46X#^Ɛb&z:伳Sggpo';Mz7JuqYTdϨ!&s oLGoXfϡxS)1螈J Qp4wOi:>BhC6&`D\jP>GD嵭fs>9pk&$ n ,NcDzͲ!Zmm)֘C782y.ՙPi]P_w$1yb{K JLWn!uJ m$#J($p3r03 X{Ȁ#}A؁ o 7YV9ilʢ]Jj/:F$_k?]$)o5ZzuZlêXƸr&_C+/c8ˆ<*PաTU=k’sh oQ&c@eKoeuEY2Sg<*DKB_)z_/&WlQBSIOTcyuH򒍉)n#H-@|10F|_Q&`ƒ=)QIH[0,{%gmn zh1uEtϞ8.nPtrE׻Gci H!=:,` Gx:x/)hWZLoe*O>G0_i .p9I9/n[Zc%_)VcӶ Yܑb:,ʚ)Z!P$r6#Y-[G_isV*c;o[}aɑFiHFGk俅h9Ye޷! \17E!sfEZ'S1n]* CJӴ2i ;]wP r;AI2EAf+ž WdGΔPONBS"sI==13uCI{#s`vC+T(NpKeOe?LQ8l׈(C馼Y:Ǹ}KBD '] >5DIOvGG'ZL[k{Wa͙hq~ ~"a9ԋ*n3R;qdVT`#e둖Zg@ZE|v\M0(Aǎ5^夑9$ uiym2]R=_F7%-a)hx'^ݯE,Y%I<%*TqIǺDp z[ ˞.b|91 ov0>;]vq&0p3])] 03:+yiv9+j]^-g`v/[ /yLKD/4B2aba*C-Up2^={\ JˠoΑWY'p/@ϓ9t;ʙB1fL4UʉԦ8`FNp)ģk3Su?m'ڊeΩR^imH<έF t`'1E`_Tp4G]ꓑCW*_̾[ZI괴fZuUF$'gQݳ&H'6VKo|q!]A |<`RpQ[.bWnxc+tU_}m;Y#2xL4k`gěm9 ^M0 !FNì62!)8N5o_ 1/V=oT}{FwWscS ۷.}jjۥxD+a8Np`}~`r3c\c ӿU\)ɐar|}l 3|fqϡ-GNCht{ l\evx6@::.? yǯ)tv^HPt:L4EQ/k,Dfeq js"kXgs7jlR}1sٕZP]ڠ5jetGafmWݥqGnb~F9?s\n*6ˎ˶qA)Q(Mf+b}YɅјL4Y'w& j̓U@'qv~^y=?XF=qwjʨ:w@kФUs +s=6h-Sxc3f0ɳ&(|SZ=xgYOcf| )/S_5E8C#:B!,6'm+.xjh16!ˌ4:t̓/5iUa`%W}QR[lQ.ܒV~R;KG,F3W/F01= -&(YKwzohO;6V2{xx.TuzjˏhطbW.$s}1Q0~ $AF\e& x!HfP)gZ "զ$b Ҽ;6ٜ] xp6דӪ/ٸ{FDߦ0C:[t:"`3^;8:[Ƙ>sYUA6M[=\N1a&ςHRa]jds*ŋ[' xJ])R"țB`K9z|Y GЌܼy@\f 0jwQ.4aĢߋV_͖P{ y)}|_Un4.zV4DK9q`1_dC 4G TKQ$o0nm]]0L vX 8/ˇ 1H]dkC:>.v E᧼.%_=؆+3#cO)Jˋш% ߢqchpؠ vVv}D(MKNoJYwfp:Cb&ʀ+n %|⒬_F PxRP ' 'W@V!4r'\K9cr,s %G"=87Ds?ط]Uַ;U&m6:ԛfp&GSaeɯ79IVrz֪:Yb_i"6tpFL=S UMpL94itrj8D`% mƓf km 17wNz,b)5O`ИHUwCXW4Tuä\`= (V.š:(:IJˬ-h !'9әfG]< Tl ˧~0v[_&shj9Jj3*Bޝڏ0 /(: ݣB]vb[i"Ȏ%oL\zʍ4Cs3k0τ8&e&,Z0͡Qc1 nN[9+Iw p9=.F4 h;㽟U `D3(~܁rٱ#7k 6{$`6gl&U5<6.C/ ±N-\Ɗqpf˃EC)E*[ŹUuhGͫ2x =?afek }d9dMpf"8hh*V׉#*٫ͰZŏ.ELYxVisx*BFJRI$gl:n9+_pHӂL&؀_1_hB+h ebllˮZmńzeKz1nBr[YSf`@hH1hVLA\9c(]4ƳhY8HaT8Bi/1nAȂR'Bb0z߄7 | zfx*>CAFTt2:R @a߲t5Aw|0S}j)nLȞp+1ncoqoS-;[beL0ȥdz^.Js$Ѭn)PɆGun=bE!L nj U6LDLߡ7T'/OmuIhy+EKc nQ#yhaOYfn+W'&"iBa;O}W" A⼹<,wusj>C(!:Dpg %ZIXTo("X|QT5~ ,~D`;g(G3J6S.[sgݨZܝ|{b;:!,,c(5?0@u \S@r6Gˡw0(2j5j =lP-i4H̐"9w Ko1 hvRnLs&y<͐b@ڂ; gC1`3="kLOrԪb>pc+wX>2pbAV'/&FaVqƁ5a?=}׾ XN9KqWM^*N;k!0Eq7X݀j^Ũ/tZ"YQoc@ϝcK {2 $`"<.(/6N㠕47$QH=Cȥug't#5Aڿ* AFMװ n|:P4&W~6~.E&3݌S0ߛ;DP7Rf }-(Ԋ}>-hTl@]6[;yl X}gD2X-~D i%e~yuh!y},Ԝmi a%/i3^.'jxw`*k/?'%_yiMzs9ZW3E Dvl5=5@}p p ftQ.P./"L(E/'jF\>I9 VUaεc#HϨ}_t;.KpYcfĂ&g +&'03|K>$cɯƹ{:! ӔɑUI;vԳKr{RMQɽdpa=,GjEĂWjJ.+A<7h;lhQ'Y 9OXO$}) ^B#h.XZ ^Mb%<(0o۽6Ľ|{.j4xk ;?3X[K v?@ ;9ˠ391hR8GxŠ%zAI3эNǰB7RZ7I$Մ/bDYD/-YsZq5Q-ĸESyR*ʵVǷDA|d]A;*xPbwG(WB}U{mGb#և.h ! z$JaU%:M:?-u4..- +{"ܰg85?rR`o.ݕ8 Ri@6Q"޻s N[wzYJ\mKj뺠oޛsȟ2iD2 @k(jKP)XOeG9]|8 I*I r}B,+ Ne]^lKSs J;%$n :Zrs+j%_N`O x%` M2{[xlSh ))757u?,~6;W-Q- XجŧJո(+3 ~TgZl m^u&8kz8$x/2:'9dBZVx?}[C$"ӵ"ϯ0}I[*_29ēh\)|3 R< J=&ȳ"\ ɸTmdpgƫDH JSd3g@cQ-_YTV/kQM6eRpt.`,S>)98)wZLOp BPY3q$BZ=UyepE'\'SpCN97GBdp@̠61HF63Wvnlȩ vρ;0 )ߏJVyן#@`>g)z J? |P50Ht&ؠxf Jؙ %`Xƒܧy64q":nJ/eɘXNB&8A^Mf- EVOBWG g!c%;z%5nxJ'\%9Z];*VZTzgQe~kQ̨~%eaݝ+ U!BzHṢ3s%@/|3Sh\yHwȓ:qS#cϡEI6rKA$;@ЬejׅVoVohZ75vӤb 0*Ǝt%ql^jM 9z[a,`54OP󺓮K=T|f8 ?})XfB`hSSl ;I:Gt?V&>DYޔxp)J0j*y46ǁr[D0=;GN5_Fn3ZEQ)'վpXgp8F9!yH^cSZ*[V% 5>v%QZ4xG LW 1M @>,洗#lG4Ze渡Hn-f̆y` qCNh:}Xs ^ZXl;*O1ޘZF hP"@2nvӉFE[ɓuBe.)x AuY FA:הj6@Nfw6%s (j\:W۩d $dM/,l J; 248^AUH\ 7ZlHGORKy>6" ^\$[et$g%nMKӨ5TXJu 1K)Vts_7`̄A{1:ՈeK,qQ{:2vFjvgJ\ݿe+EdaN>B|(26xeMzλǿy'ʙ[ {CVLi՘l]6_JUТ̬gl<(W֩8>/HІ9.x9D6׭c ieg

Ɏ g{S uʼnLj>6`F1'=fc&-"A#12;/s1+#ua  :7 ߇^P9H&/N׸JN_V%+`#y`j`(\_r~H!thљAIF,h]s]ͽh ?Filf)(8BW ! 1PuYtU wפͅwGD7rV~8FK`%`ƙKEmpH$B^Q^"AvQ/9L>w pcWXǷL'me4t-%\cs+!s큦7է䨂7n \}P<%H?:s .eeۤYۼJO#Ÿ$VU7)eK=NRc +߯Dr;XڍpS9SF'է/};KlU({Nn}I"ʕ+.åx~ VM{?rm"$1XGrE%CT!~dR钯u]IZbK39ekO~[^kWo KczXA <;9.Ӡ]R]D%&_ =+neX(ARe4$kZ`e2aMAB#^}'H9LcL3 XNC@!:!ڧW|);wYjO PڣաF)n٘$M7toEƹ`^ 43.vj~5'밫]rp8q;\y9SV{H76j]_b:Q }nQǡ`vׄ_xկ:? qf{k<n#Ƽr/vϑ#^&ٟg:f5#4B^XK @FS\zC} =-Xt'Gp<*$*4.dխg؀m#=?hV#}RҜHKyyb/CdwW6ktIPJp<^Eiw:QfWoTr HY4P}qYit]O 6_7"[N&,R9ba4m$wڿAXQXNZPmÕ-3$~hJM|fioo ʥ/ ?'/Hѩgx>1 |>H `?; ù㞒Pz-H1Eբح>4{l d0N!Ed[xAZ Óa.I F#3y\㤠vpuvwi9UN.H@ 8XoDž.X ﵋9}3I_9SL K#/.S.>drY8! PL5JR_o(N*t4(|\&]??{{koIv 2A\BA)RsNJOa(/ C7OVxw?/+ XeBz{˚@%rO +_n%8Ud7%y>-T<$9 8Z#4KO)1Z|`3*+yCOJk֯ @`*=<{3p}- T7%N >0ʏwQ1Ov~TZbkXңOD0.5*YtuyôO=/9QM{y7%<() &z RcQO ".w^pv5Db_XϪ9B 37$̒hQD H"H~ ! buXc٭C.;3@3f'AI[:2'.h)lO':άx?'#HD"y^^V"pu}0򰯜DF9#%O e,,R/{|RƃiPVQ:j xYA0|)OxVNHU-w0{m4iM,b^+F!]MHWlt)=U

^feh-оDi$wyã3i8*mT@hJ6*Sլ4=Py .8uw+h }IȸJY g..[?;t{1/9^km\j<f+FWƌfΆ`"#+m{pI>Ke&;d#m舴<)qVl'hX0iOO_H}~΀ڊS"%wz]"Hu Y϶mj OQ6؟j~ hZLjKVn|6~(ީ\wq:&͗ kJE7h1Vǿ7:P)^NCk'8L_n9JN?&A p%JbuԢڎo2BEƃBghc$̖T1?MtC"|8]@%@Ps>yY!22f~~feUǾҞWvE X w:4ym(55ے|& 'pfvh^m -_$M?v(qt4`>"׮c('XDQl9UB)4Fcg!KrO%2<uGFξs}:JϠ\a