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 EE!Lt ]%]Formal_SSA:threads=4elapsed=413.400cpu=819.672gc=15.152factor=1.987zXZִF!  ]ŗXf[& 1{E)vqmƮ7׾o;_"KY2^AJOШAM-FS vO8v7{h|}C\x З~Vr9wlVƌȌBRĵL|;(xEv,Qh 3&Vj8t ,$#F66юrzfoJkŊHsD)6Ra{ @8Zx~i;cjˡ<45,0/PkCsv[|}p-P9(qQIbWnaLDEGpo~:ǕCU;^|mܻCo[ozd&֖Fh rd4#0/68=+g)]Otǫ@QHՖlD?^1I` @~ >rO}E/(EZG/IZjR4F_Px?<ps_neO@V?9 j-AtrHWRB\[(KPbD3Pt#7~ [Va2t~˦@B\'M$XR2oh.fB/mF ԥ[GBӉ<薬/9sLp<4D暦\N.vKL0vs@_-<:ߠ%яxIJre"#*Qz{y-vZMG++AzooA3d숬r/ɇs` qKĩ#>g`ulA*vв񘓴61g=u[X6ev$`!"Ԝ5]<4Rid)g`t[TJ\P'uF7YŽm$C_I_ O*E.(`)R#`o'YA09d.jVUnIy 6vgb:RABrŌ@ts2jJf DyA#hz_][`$ٱgްEHwU=H@۹VC5eCrcJΏ9Lh-®uܤyUI71CXs-Vg*Z;6U!LnmrԕP]fŏ7EpGzBbqca2'MYJt1:CģGumBzﯰ?KD- i!ųkkKN1 iX%c]CRm ]|K%hOu]׆A(J{J.kembw/du?M#6TCQu*儬3|?RUI<\T+tf*lp7VeÂa2 NHX{Gw׉D ` S֔ع0_]ʻW.-C$yWx=/MdhXfl@=ms!P|O$JF*?Vwnq t< }˨XJ?^t=1AŌm"73NֽdzכYZזhwSU$g7J}j_&%\}Pph IPp>*jzgie8IUYiTSsIAT z,L> DYO$Ya M{Un-뛷Ϻ* dr1%¼:yfm7OWh]'/JW 6Qmނҳ__OƳԃn4 'aۮ(cGb6z+C4Ђ9}&\S`-OaCnJ)=^My^Ibl7I:Edk5!ḿ{f)˼, 8é) *.W]%kϭYW( 949L.E]yJĉmR̠gފ^8j {I`DZWA! p8pޫXSU#k,"ƊC.+U7Y)`.\= gyaYƓf$4el]fHH5'14yQ]E:OcG;ᗆÉ2$w ?ͨ}U IzJ)ovV\1FvCU5ke4\Ϡcb,f4RH&0NbQtCb+؉S>%yrYS[[} 5j޳BԱ3&\$ |ra<׭f ?ES4]k<os$Pg% 9q&QKbsKT*='L6\BbttVJElBm_L  ! Formal_SSA  w !A1 |Formal_SSAFormal_SSA.Generic_Extractcode/export1.ocaml7zXZִF! g#u]6ȱܣC#% `ArJ'h"~(Sfђ[Hu0#AL +0sqʂqy1bÝ~Z 5̿ Te|tj=M^DK},㰶j+aX҆i3WF%FvjU!=r!:w׿bQ KjH%".6PHJDq? yýxiP KZXFB CK ! Sf}esn@dz:93hfѤf+,ܬQj+u^nC!H,Țry $u {R gB^frwhݒo^CٚDk,u%SY {* ۻ҂g3^X7kξ7(囊nqg "^g9V lM??7Fyw{ {~Kv>lg?eul_=41c פ,'"y;Ba#f=ֳH*j*B g]z_\o76.GŇCAaK4S7h5xȘ?ٔ1qAA㘤yVK<)GcSj;ЖmfU܆1~ӭ 2< g+Oc|wIU9؁Pٳmhꐿ^C7?麏2:-L=D@4q'"&L2'z)Xg7wrr4-\&SzL~FrPyZma#`M)%Rʯ>pc& |=я|8+6'xψBrģ6Tܶf` ?i 1lKKJ<Zh" B b?NL "R.UtӗƬ߯ė9Inc2 ;!A1 Formal_SSAFormal_SSA.Generic_Extractcode/export1.ocaml!{2CkPi& gᆠ-^ZX k4O!4u_CĈziscuC.[qĢjlKU,UoTG)~TtĻdH- `SA<ku^ BpGMrc/tϟBD"{FQgV6"S猎^ռ^ymyh5B-?E:R=FC;& TVh[6"Ad]b 2@^4|X5FI{c^51ΥNЎA]fY %H1KN+vdlb_7Hj&acp-}*[=UĶNiuW'/e◗lEWۤh[ciKg1MBM5.f=VP.W){BTz%:=<ˍI{Oi saBLjgR0ъvoڂShW VOoLl0.Ftޏ7&lae_.px,G:fu.(aN\cOVh[0U &"3o{EϨTߗ O-J#.|YK{(it?g#ʩ v \P@DڣAlFWWVLYC)FP=']x=#*^.1Fơ.J-}t'gjBwUo}y1Yy:R*셂}B~biZKg >>lhp(zrN:>Y[BlII~AdSø|(9L(C$6txͪU9rlҜtћ%2B,;z|Rxh2QퟝW_)6(uXSf'>X]Y?Vco4ƾ`(j&|X'ڰ {p oeplq \|s%TM5/MQϼ&C+3o sͅnYmfYg.Fm=fiDUq%MކA\lE}پo8NE-]ncMժIel+z*C1;b1>57}D9͕9Y 1t,xw;Y}R礏E-sywe,)_YFvf\KQ#$bZ2uzU|+z< |Xr=~W~ HRT".79RHP>s*tgz;4", #ti&P 2r݂lF}NnyLV"K*QhQ1(rlS,Jh"WXGReyCc(Yѵg%xĉ_3jWہ\ g\UmBV([ĝ kBL{o8L O~^m^|r24L\9^H*8:]T sVHR'-xO3E)?⎆|2߾(uiF?ļp@U4w1&z|IR:ѽÙ$mݸA-;4*$ hr6.)[W#y<^eP,(6XvDe"s``E*ϦU=X^`۸-r;/Z麷7&rDmm-8| <~syF`pug]ZE<Ԃ~ȎfP Zt>j|ޢ8xcs9(ߩyEPSsvopɤoD=jܑ o'9 K@(d\n ,-R 7y+h(՜}lmb,-It'mGg/ѧZ7my\s/Fӄ4q&¦1,>:WtX\&ҬpS4m(.ĖnuORB\5~HKo%MsCJrVFE[NP%UX&jN*3_r`P;SraLBKw YcshjiB[#N qFy3%8 ڨ -.4"|e_ĥȓ3pZ>N{>A/>49NN@[2PX)$}Fzm⿞ #}W% jZ0_t__rm_/ ů!e qj劙o 7Fx߆^6nAWi\NX\Ҵk05CHLt(ަWy+=g \wu2zTD9%l.SJ}lĻAir hc70Ώ\+P.0ͼ#,5]S p^{bdCN:jy*JoI{sl. NasB'G>l/7j@[܈+CEAңWv0m/ΕF}fdi:y8"LYʢ+oiD.!4L5gOn ^S&+~bƠ$a'WA%$ $EHx6eJ]7™_u /\"x넻a +MfRإ_N—B\^&+Raa}jfࠃf>fwwSr:x'wl%ϿX4H)oM yRJɪG̦;fdnOcj%++qgnxtϽM)nk%,r%i1i$kWwfMlfYjD>@ 0E$ձ.DckF5f?0L>#p,! N/;yj *zo2漃ZLk(B}&}l+W$ணM/ܸƅ˯״4.`rd^"c^V6#K$]ֽXIWs5er߰q/9 3o%.?5.C?dQ_%=IEvؕ0 `mάc0D^ђFdv\${s_rEeRG-Xŕ^MN'4]0+pۦOIi¡V&hQ}\ٍ㕍Z? Vr{YJb)E?S|%z F5j 2 ُ'az64Qx"{6<{2ȋQ@xR^>?3nǀ&ykBn<>иQ^#.Y gvFPjW$r &s?J ~!L'LлtU48z矒l!&([i(DCY3QFh]M@ OJ ykMCQ=veP(D|9d߼(,<OckjzVې Bf1H.~[9GG}FFLo!\Vx>@Ig%ٱtlAڹ44v1ǹJkN>Ga:tO)ПmU3@Y#Z@uUƛM>IP494 C>EI03Fi%L[Cta5EeBepUcLjxfW[Ǹ^% 2h?Oz-4>\tKFY TB]›.G&+iwmseG@muo"XD5vQ:]y&miEt(-%NZ#=񅥓{`YГwv`S>}£቗UbJC!IV]5dJҘ=O20% 3]NL_<=fq9jg-G0/(2ݲJv=s)L?y0k"Ld7y?]HiNFE:Uy4%𖏫70cjU HR6ͰG`>z֡z֖fe*q8 60 $7˿٩ Qi#\XZ/-ojU7MVc91uԯj<Ga~-~twByץL{2|ɢ^ JVG Tj>qMc9aX,xk`Z趻K)*p}gE?TuxFoA`r4z6<UK*"utX@kvT JPa-9_μ0Ыvӗ%#P@*+V>csbFѩN7Cp`6t+Xf* *+h^/Ϛr &56JM ŤJgF!*^T6RTHQ^*9Bwu(q#\V 5!]mj-Ǡf8#g?O|a-` f&ᔡmzϓRű=5iAfO{-)]" Uk8db$8;3l,t U!Fi9Za"~gǏ;UX1죙O`mT?`m_Y6 .H %DƒhI3:-鿨"׫EN'C.͡S*ߺfn֘]ϧNGih;&U &'U\Пh5\[=-zZ險)JmE&$~rITuT vi&͔?=:b8aœU-Zfc0h>~=- < (tp0L CS5|!h6L8U:.]zD'k N:/tŷk%iǥ3%$28̸Xƭb2jnTpFRy{,HE!SB)ݾYojO J{_ *L#akP,z>BƖ{@7H݁y.-MaXivvoRB-4 H#CMAJj<dSr܂GgYZ 37*8AW{e Po+JY SSeֻ|ɜy՚VY̍BRf>ewCO',j`V/t4-R/:1Skr~X~m}%X+4Xc:FAl1ӥ4u]nYî To1̽ -wTiolgb鴅:_Z, %asߚ2 `To'`;xP q(n=uRPgސGo6dAΈ}') 3'[s - <߮ˆT̼wY:{Ry82t0 isMVsef[\!|ѾKjenDΘUS[p'h^XYι z",łL ٣MG(}Zc:=E;rkQqGA!5׻% a^<>Ɋo<;9He-%!@J+d0G1yLЪgv=Ձhctb О޼whIi i0hr"_V`NMW6˟KhSvb/!NY5;(="leeyW2yҕ-{۸v><: 1| ~,cb(Uw*n k,̯󸁾 6Ґ:N%k]*cWImsKȏcVҡ(BNJ&3e3Gk0"'.I 6>VR}Ɓ@uoaxp2-ȵ X5,3/ f5HnOnݏ ^ Y5+qы'gɟ= ƜC}?MfSw&mR|v1(=)&Yj$ZT!լCiVdG^U.'7vz%[J=H7/`e:"ǿO7($M_r~?۞);ߦun!v+Q1'`i#YrdCnXG YCRx#[_W]Lkv n1_6KV;w\abѿP}ķE25fONǭŽg" qՉ.E#pD„\C2iðo4̕ud5Pu]96'-RX:")6 C@b0A$桎qG%$3Eu~1Kww"_-Bt K˛cjG[k)t&RUsBCǜ#뱸7Z].eaȅ$@k( 0o8Swz/ᔤ tm<"Hj)FeX<W e@@Lv&#kw,_8nSWPބZl 1;i]@Rd/ޏ8+2yœ5;59؍_DfzU0']]{рvM/:\_!uF%uSR& ouXULuaL8+ieD>t7ԄeeĄum dr8C" zN6*'RIj_E+7Ft9,rcwM1]޲ #AA?L –L]׬M@ؾIpjNod-zPq_'HhÝ^9BEwp|Qv`QICh5oEJG4O5!s .v)O-$m_N ? AVohd7}Ӓ~qGq:G~F6vLmDGHSDJ؀8M~ zbJUB3疰&kT,4и_< )}3pBD>.P.',(hkS=ÞeG `MdSE : #KjJz h $KU"р/ tӘfApn} HQ9-r {3!0P+2~b$N At@*1x z))970AO%e}|8HqM]cA; Lݳ-|ԘX6 -`ZX[[/-xPͳ*]d6.kбx+f:&1"C>#RjJ1O+Ŝ;B3@ IxY?~%ЬM/wbmEm)*)wGZ S2ּo7Mt[3]oxxnc2MKI Sߜq6IOtcr|uj;\*vFL|Vm =o5sRڶX@' rPyy1l{ AF\x|Ugҁu1}`wR_p=خX# +zUM6Y{ꄙ4 R^+(F/|< ~t! ^"{2cOzFR*ܨmlЍk''|}Iف7һi@b¸1MU>ΖC!7.Zuňk!wQG%wy훧UGlb" pZǪNą9e$U_2IPL\;-' LԬ9n=rO( p *z}~;>0PT{R1܆: hY+L2F*[%OSEp'q%cS:/xTjW"譭nޣ۩KǓH/_5-+ԽL2SB|#n|,EbCl a, %o$:!/ p!+y.aB ?i¼τ$b--!L~ n/+42 f`>rd#YOެjE'S 3XG“|68ko-_K[|״L-ch(3ߖ߄n7mx,^;.If\z׸(sphG%um6jˈERsA769y M}dN|lo@1XFȈ)Af-ފX9b^9f4gj46KZ%{ }Ys2fȞxE I/wM~ `,7-Pb젳rͼpeĐ&Ɂ./y6Ĥ,AB|*OJ9r\j=iաS|o7sb<zNĂ|J8^ӎ%\>T?,Ira^q/a6;Ɵ"rQcc:.̵yi~'r.֍hGRGطBa-ISPoKմs4(gYZ7zXZִF! []ŗXiɟ1˦r 5IfK",t2.y//&qk{E,mῤf%X~)]l=/ &b: }X%&31RR \&n݌N!ԩ7oDs)&UuMNbJBU?=䡩gW1?[o#r wdE JZ6"3KÇsf {cߍ-2ea44.f2X*Hq*vOȱ_d.t0'ɑGOrf3bX^zf~0Lwͽp| =)߫H`H$:ʙoKQq!s9TbJ$7I+4C]  >UYUc uWF 6x+sĨhSM}>+g#9^5hZ m]G!ş(vӮ|.QgӊmAyt3>`:k<ƥZF=TB1ygi6փre"PF 6J(.YACt=бe%G'pX Aytq!in:6Hк+&>9efh\ikAjiTS iʸ.2${@ t;`h@(z;*J,3Ka?ЈPUL/ֵre8I]J]Ԡ2šzO5B{Q3<" ^d/$^Um!w!ޏ^ n.LRpS 2Ҵ{,:hjs,`xN_k oI;C1,&%!B{&Z*D\ &xZ+(1WuM$d gYZ7zXZִF! .&[2]ŗXi%L K83`x{̺ak$G]5ԺO.\dw"O6?.}Q8"({C%*b=hX]~x~fWIrl~>B$EC9Y~f_E=9$fcS#\@`.2u{GK8[{r[Dp C/V ېʡ 7(NKFuPEB"pFzMIx=BvlQfy壂5='PA)!Jp"()n䥌T8SE#`A$aNԶo0{?)$׻\(tq酫%!TօxX5cyL&Cmohpmy)nԑ@ Azw']-$9YjeKe~#;IN$)onW((t СU9 {sfW&A˽m΀> %B!b-S# xx`ݺar*zTl8i/Mh8*EWD*T/uBwrĂ}5Gku3r`Ydeibf d(7(46i<0ƽۀH4ML8 syKS8| Vx xoMQ ^;Y^I.=օ㠡dihd+ƶId}<ݩ| bx$2Zw$Y909?psnܜ3*lj7{ lI`+O1Ȫ hN]ll`D> -ĠYn2 iɐr}?fc)ÊkRwTȬ cވ' f*n9=[:Sfq$CMPEP_PD@W<| &`4.A)hGUl2aw/&O3xk7PN;Rlt w SߝVS.,h݊kΖAC!!'\ea7ćsJaJ.| !WGZr}(k߈rtcpT|k0pj1$Ťs 'KH ˌ,t`Hu~ad 9.pe. sC7iLI WaS 諠>GO=z,Vg䙠מם>r 47~]0I]TZ~\ %Z юE1"'P~}=< vPɠRݧ]sn- \ hJ~]e*㝡63m b|ĠkV;yUצ`.6Pnut0c4LP"P`@1g ź56Gi|kFb9cm*?1!>T_\Y, ׬N$bd/X=eZǴ_[B z-f"\yJ6rS{*[{|5VfsXB'_ih%olVl.Q̹φ ` (SҪL #՝(o:2rx&Pn[C.nGT]Fӵ|Md696Ũyr6$c,"|%SpmaaVFjCKp2s.K3~X|~Et~CuD<[1Jw"v~hZ_4;|lhrh=;ڗdҏ&}(L2s^JN;uiez7?|KtH'A΁U W#s!m Zfm2dAJLJA'Q=ͽFyo#h(XieAN*3,p#"j] Kmb,Y+7$Khy7^,# o> &r}ҽy#kI 7S GZ*0 :XJAǴp0"4TB~Ql(lșa2 f`O}uJa|7\xUgp5P'$芘$q'$N:11phF8~&46i"p_S{.Mz\{eCouІ'\@cу1KLpq/ 7!rdd 5!.N2Ny-=TJ .:Ӑu+櫥"G-+YelRoX\l"~Q|fLq-{t~ݬ.گsoS@a./&Z^U)HĪ`9>/YWbbs ˩̤Κy5@I$ X'z{l6%6u, gޏk!{%5>'UFk/8z1Ѽ1?VhEskp -.&[(y# \a;0Cdn1Z]8B8>@ /EC+t!)q[O{[)xo[oD71 OT:IU&f7uy5֣j$vi@9ag ybnP`ŻCڮEIiW/M>/MLkr2xWaHV.da i`=SIǻjuO$|ς–"Xqe$J&i^wftckbHɟ[M oê=PIA[( ksu΃=9n@jT$x8蹲 j&-%~^7a S.rz\h st'Sh02.۶kAkG.纖@ x >+BM|ɼe 2vuɅibSN0+l2Kd$:S#ԏ|veQ簴C¹ |\8?Y>` =gq(ac*-;aONJb ]6nmnwȳ9fLHdmNպJ3KFMtҚ^&30)ȥc`Ծj!+*fB{|l]9rBeL,S* 4"29#mc?: hcv)Eey:T1F+k"_gCv\?/0˷ojh"R fY:$6T vЅ:=^(DA[C-ުALTRv}|(6Iz NC]̦~46KQei*gUJ(jøt5vj1FŸβd#z!Ї\lL,c%@-@E-\Zfʛ,nL_du݌CJs?$}ϩgbUaVB8@89155eZb?K 5‡'T~3g0ݗ)/}iJ>j M (ɻn3&lAB }:syZ=o_*R Dàs";n&6{4A"b8%Uyozc'1ýHHN.:@ z9 A\U{a-*?GοVǛ^Li`kYIrpm>l$!Hb"ʳ))ELgrj>KbECɳ~`e4.jxvA頉:'̈́ړ?mwQ}db~Y9(.{nסC$g˻kX6\!-,y]d!^YO;OXE γ}ϊ}%77\f+J4rugm( 0m,v1𛭔&4"'/bTdπ׀K?F3_3<|Gn8cVRZ{ce<} ̬jm\b [Ԙqn窥#1q,$7$G*[H<ԕ |p4,N HC z@ O &% jjŽ6vv|MaLV|e657 ER]|UM%\4ILn|p`,K)O |t: @[k7*eclXH}QxҲ^YgMAQ+6B/l [۪Ea6lBmw, ",e (Fd0)u.k,6'6HxFAJƗ`GMMN0pp51}5Rs3 O DJuqZ!L<w?EH'lj9LTVe@Y KL?K<6(xC d4 {]Kޫ0ݼǪwk+?PL'4ǯjKt_F@~eCC/fq<|&ᥬ)ڤ9ĭzIOV`ywT]I1iP vr+6 >_+<'RSb' /H$S!U- o!u#g6 )ڧ@ 5 !K]ϵTknPKBr\/}WQyC*8K&h7OaSH|oo/,BXф(3@ZhwtL#$J"z\ դ}ƫF*Y kٟ^vs-ۺ3E`?i?r$y=۹dVE"LDŽ.˫S=E0Bj糹ؔNsTƩҩVn/tg4\^QޟxzR0o/T-פiCZ{eYϡpx2pfoA5gvd-]^vfoM3/ 2yhO{-gU #ӹߍ֜gbf&yM=5RC.é6~RIU:UVIdUY>G)MS-{ 8GT_)P΢JȜZCNpˎ +n`&!u)UZb\rD>[6""yAXhd|(8|F;nϬWg*xrȦ& S$}S}w*GU~ިI=c~DOҎM g˴MQ壃T/E_lrǐp1)j_ {cWd 5Q,~LeQSq_P_My,1H>xѫ?Vx[EXZƤ\q|E\Us @hWujE Lod"!Y%{#9:dݫν;CSD4XBW(V˵oe{R{6bf*D&8Mi"o}z:I; 4S9fҟKjC%HyaVfAne᳐Ӈ$+gԷdiT` yNэ!J7S7ψlXbɼ"ZBgV/}h-Úa:?so5s>ynjI8+/£*֮w9kqj<:2| a|Mq)3UfF[K@3ICٯ*FQö+V%1 O ;G D> J5B!7qjRL.+՘YxNY/.sKŌjXmO$ yL.OdF Hz*{v>ѻAzI[<G{okא331%$@QRI^s,辫S;ٲ }}yFN(uOO2.4HV$GtV>Ve Ԋw.˰KoBaeEnsktЦ€yk |4)^7K:p޷>" ‚~%V T{CUAyMOu=ʡfuۋ^~I%IܺO=%.1m@1o=hɄđЅ~4CX?JԍοMzjZ\~ fUN"Ldq{ J.%jGe2Ǔ )9D`~@"<^]t\ hn^n饉ժ "Nwg5 _xbzkpiu{28a GJy)v4@%JMy^O{8kuT:&8j2R:~EɗCF7)$ MIrfuZc-: :g]S^]/L;H'u^]%w1&__ת p9:ZA%Gg{jb k%<~0w`nPW^&(JJK^RrXrh>zET}ۅ7DoI~Q~LbD;X(ҪtΒ2=N !U1''V?ߚHeoKf3ߛ1*._KݪZc(XS0&%`2Qq[,D3|Y +xSc+xsp3nVt~ WX][V. V@k tYba P 7r\B@[}:h)t~R<7T_8dϙ U UL%s Y+ r|H@*A)C _^jH=ӝ P0-)Fʒb%8(w:B2 "Qa cT-ޘy=3֌\i8H;Ɇ-/nlQ J"<8*[-r~@­ޘ ))"n .=$$_xio+V<[R[h/kG9Ёc3$;>R`7G_T6F, FںJ]C3'0{ 5vXQ2yRz{)?Gn\L؅-7[-la fנ~tϾѹ~3PvyflO0?#x?.B}'5'\'@rvM2ԪW^q?cF!wa1:3ǡ俵v)𮑣5i\%ϔ\W|#Dvw6ޭ|S>)\ >q\|wEwr>d V8#JfDo1]Ie`3@F21+p(EbuR9UsPUVJpI`Ni55A. ]fs1l#Zv«2K%Dւ1a< HZⰊAEP ʢ7#m€Կep䵜- ((!C7լu+a'rƩWf<QGW>+DT|*H%MG SDNEr: K0YH#?:RC.CfG8U> +sRƐ""yEur?$؀ Y[ƬCf? .J^8.$_JA|`w2mP)v?岞zf@O|hSxǀCXו3gm<1?}bDCKZڮډc5E[T35t'7TCg^1ZDw9>> 5uh9]RV"\UHe c G/BJE{+L@WS\!\z${\|UDNɂmw͝뼿ߍc }7ւcݥڡQ j6ʓ&r#=8 #esE?o|L"L P/D}XKdr$RT!yH=zϼ/є4Dﰧoߧ-I)?h25A$jM,'&NQt7$v S;7r^J IGG"P^(`t0d@fc Z1yh'Xv؈OE?fy30frODbq7q>H?4eZn} ..\SP)ר9 ` }y%< 4!C[sq|nXGAyON|+ g\6F嬫rngj4=a ߘ~ּ3WĖw`1Y:>[sݯ9.r˜[& 9)?dnFoe/'M`;ܕL7m_Nv%Xݩ9]TVSG@ 8GMqxcy u9橄V} ADDº#0lpAcP+ndO|S٣5AKHj1yO\G?Ek ZZBZqXJ-8e B_-0f/ˠ!4orG}PS{(D[r2v˸sٕ_Оp~AEobhpnۏlD<>v2AfHm`k[Wa4&%Bas@Qj2"EFWn 1ľ%S^dv f lW9tfǽޮ%sjW"TzSeN62_x$Zgm-" US&k>_zPgkWm_JV;ܰ')<&VpF$Y6EF)obSTf e 3Kb.5¹*zr?8.h1$lNݸܹq\>H }yN]91DV\CbVnHL%E)?(9$=8 v[A Sl0i?g 7+fb>,g{ψ@/Ⓖ|{h =4+S,Ξ3KF)u~nozKŏC!d^VMag[k3_aW9wǨ䮸ꏁ>@Zb1}ofث=m=}+w@Y TX8et Fs;WFAp=zJ@0>mCS;*̭09y;7ϝ`bǀ J/1kj.N-Y!ω ~6OxBZwQYmW51b¸xH! 8A4)x6r\ ®p׳* E (AB<A?:Ty+(bVs7Mr ,v7Ta)?z`Z5V783ګ:zf%'~D}0nxwOZ(3c]b!E/h@ax})[L~ qqcUqMu fXōClzY;3-A>W GL)Kޣz.Upc8[c,yP4oĜ=OTXH>I!2t B" s8 XT WQ[F GE,2`"33Vf%>IZ7O}Bh թQρPmn#Im@nK€!`q,--kPggx@A+{t}7)z;WiEfhN{?P&J\Wj\;L@4h"HE`tYfq3œ& K3K&xF8tۍ5q/1ԮoƏD^}ð3*~2ǫ z o*|@K|?\R-oo亙 IpbhqdKqZWx#ġ6=gQ@|x;T-=]޳T3v&`gj`дY}f-  ?C >!ٲA7KO#q;izW;G:y1i>nA WQLCѴ^VQo-+k>6B%G=[5X/^i_dO ѐ~u1 | _!$R b~зhmx^dTa%h"[b> Fo)hCǑӑy`KՕ*^[?]s8Z<(JNpHA:PdWJ$e?}i=m5lt'c&Z{} x{~w&VlE8AtOdS<M0EYB=&z%ϣ%*uOp]h Vޖܐ$e)"z-,FpHjA"S l >(= =F4\UOH@A馝͎>Vv嬌"ǭo9;ΠT\m)b?!<{yMY^ӕ:o"z[ܲR+MKGH-Qśք1^u[רDygFYYm/yDa)3HeTXSwaUhtyW@Tpns.%;GمR LҚE'O46w s)@Ty8 _X`{ݮ>@agvj2#+8Uy,t{qs q_~Ӆsճvb# Xa겒4_9c̈'n\`T=̊Q/g T{$gG##/RA"%"x'@_%o3Ah}{n7D#rb3.:3sV'/(s5oqRa[fd]VOJn}k~r_;xplm)1Sґڨ9biDQj7@#b@Kk6m-1,呃A,?Ԑw6u!uMlaR =0^]j4[^?btR(`Зn}`$~Q*Z#/@nUl4 &P:/Kw!'fK2g87קN Fa1fXvlM%P%3sȧ:| ́  oQkXӸMBo|nG 39ݣv %p1qKOo)=K72s *PR壡x*em'|%F_E{A,f&rPf-zqDvHE5dd<:K~oϚ j\7 ̘;"KPL1??ڕYtHM62Y0C[Y2tveچvmeԆًxZā|j>u\ɮnsB" p8A齢Vo^ @Wg$MPK,3XΌd`4dCiM_^cpL7*<5/ AZg~kq+LEFC%k~^K$|+PWg#iw^H(ldvb#%%]YhUPa]$}aI fiڙb9T^]",~ll3Urd/K{T &~N l$qZ8,e.24nA5- 3u6鍏BaěG25@X@r^r7) j&]FG 5xQ؇~o&F@&|Zk7oStME񳙈ZeP3l7r}1yfsCv* ey>ګ$`@#^)9 K.x$IH_m`t> K +rQc إ'<Se9rVqnjRAb9 Jm°4[/I)βJvm@rm]˻{<At&Z?E!ry>(R<9f 4wQ䏐ƌ6! zW?6~xQ`f5ʖw(s|gpBPpQĈւQ uK*"-}/DDEu2wZE#S#Jw^ $d.EJE/}6,_쾴W.U*hWr fm|CpT8D bOa($)˸Όv>mh + yegSJuIYEz䷳EI\L]yUnsԸji  V7S(&s󩂴S UaΘA%srS]C#C qeWlF}UX2>@|g~y kטt-?e!#-Y=^U:jg嫎C-'xNh3RqP[U $~N$36Ɔo7kD _*BFMrra^g!iTug dLÄҀd">y qUD]$B*Rbog3{+Xl̺tœ=H%\ٷR5EZTؼ׌յV@f`xhoB{eS-d}4Ӥ.$jGƿqpw'YX*R;MB͉E.$AbVmnD_4)Ѐo IEo޿nJHkmNRWLԩEUc6[դ޵,76 .V>_ CՈC^[R^y^"Ƨ* w) g Nr(yn勂)WPәOƀÝgɓ1r`xBTìrov [KΨ+D%avrcV {ŬaS2u흾@KdئT: }K_7K!}ڍH Eĺy*$c0{usc6p7"M] d(_ Pū!<-tw|\%*]+I, ~} āĺ.+b@m>o j ֶmxId~J\Y:|pӵl8?'hӖjEf6  /\}QR͘$-w b[k@ ЂpA^Avݢ.aJ(]yPp:W`- EY:*ѕ,#z=fOBCWUT.OL߮9#QGMh9(hz"U\a0E&$ym5 ɌJcM5Q_§Ovl)&s6|)nvhGto]D.;u}m 6l:0Zؗ&AM3AU.y9\E'c'(CY~ছw~`CL)DGy/Ats⫋Bnp?lsYbET'\ ȊK]E98V-_ _grhS'z!69BfJ)[_ڮ7>Tl_1V!a&!fvc^zaeb*mu-DLq5Z-^K@\Ȧڼ .% μe;|C3֙_ѩҋS|𫠂jEو1хO&*l NigdxI8 VS`,V2f ,̠(KybH{"k:TNOW Y~KU89: @n6zoot9tlli,;\xǵ |@IcߌBTxm*>!oB6p)at`MM,U~mbS+6@;py~΍ X0-Z'jP XX<{>EfQ/>&݊ ׳ഘ&jT\u\Nq""l*/ͽ2ޏfK{7"fmY?s᝕[$Z21SVa:7zBN>cR: B1#^ +^UMAlh&n0v) ꭦ1Ou -Kcv}z;+99YkBQˆ`ieRؖei &K!4om{a@Z4kxC.e{gӴ[]#׉+kBwPAvqx!AƬw|h'HJju\*\c\2?4ئ'܈(2M59yO}{ lWC- ޽f.gU]:Ue`Qo?WKW>.%#8V8+/B"ƢHf4R4Y2p6"R',=!Nݎnyճ"=VFu !qϠw➾ μePy^m28N"D_Ƨ44ˍaJYo#! NP{+8J2Y գ x;`dvV5' w6*҉t[ʢIli,spM4I(Ľsۑ|pQ|N7hy4=עf*6]:lACxm\AWӌH7f0i)|7sMGJNEX`V44ҔpӄMlt~`NC "2ڃ<~:$'SuRFN}1f.%(J*BJ T=qnWͬ$VW'x?m?:߿8y(ˍ4eQ|NZU| % 7+~Tre4a,cB4 nUq6KT?QT#х`^RMfoh@S544$+_m^œ[mZGPE fX bC}{D27|z\aLؗ/gOЇy 2]dcE-Z 2縟aGI+!4NilkEmpc5M 8}Q8_$|nP|E n(A,PtDppzzqm_?e}:[rNDFS8 85r[J9"Ia91IJqE5{8i!KCDk)~4IRٝzӤ)jnREu__}%mRŔZU!No4 ~K) Y_E :w@Ufwɴ8<64X ex@eo=haZ[}^M9,dh9Gj[s$_W<#6:|e:!5T™ddɵa{i$ac$vy7/ }-Le\@Z]UQF'9K_[ҝyJ.{MD[#W6 UlE4"$}PQW؜\YjP-KfE|fU s@AOgT pb Ł~Bzg@!*YSj@V\2)ho`sdkjηP劍io]rR$5_aAV@-fTOA.(Ux"E@O|^2k1@ NǒAN4T-G 'V@n%m#}3&5_g(VM]`ܗ߮|țT#}?2qfGE甭|00_App?p}VQ銟DґCf44$0qڢRoq/ qyϭ+b{BU+T<H΂*O ϣǁ.Χ\3hT{>k @4'nk_Suj!SodVAWk B}X #}ƣ#fzpP ,EjcqQ`BJ{;st&qXfmj'47AzZ<Qx,)H#nm,HZN^| 1uT#I9j{>T(vh| Augy~i Zi8,H@k"6)$XֶTV<Ұ6_k}≢q42%rab,qcܳ/<MN B07ܒ9~eR<6_(*uᩚ%H~WkKhu;asSuЧW#۬D(8}+U:šD.QBԯou >Klsj>UJ395o=k]Ek9OqZBh_.#z*+?IED=UKJ>rg\.YbPUq/cMRCiŻp z9K5%]C \-sq?6n|p.ħ&--32yUM;gw~&Dt:O:pSrDvic'lH"VRSk4F>&З마sօHVzKLI^;)NbiIRx~͓RHtWw#0:.LxᣫbG(UFr2xye/0C:J>ޟj[5t;z9zqiV*2G$#40#u\.I8o//Nа0o4;c"9sWHap 0ԱJ2E K8H\"aVEu>w䠤~E}L$%`[! GDS[nKE@: '(cpoٖ+[?xhqn8 |* }~ua\$"!rg DC%YXӕVwG#>v1RYuGB椙Cir7ۿ:3]|%$ށCMQ6aV\ dŏcKM[nfCvdj#igf`"gǍ1~!aQJ񇒝UEiGwdUc NOJ&cj(.\(!|sSX,? iZ/xIݎG0n%, V͑7! ̉G+LZX.|oWU=9}aM0o%> }-bUQd@_#o;ChEMas' qȜ3,:3vC^nEIyi(#UmCYF?l}v Hgvp|8a3T=W#n-ګ}ro}nkA<ۤ[Dո' )f1㠯^FL;#sfCL-Юw{fN(n;5;B벯>Fmu&qITggZv1RKe `1=]_O9ζ$5gYZ1c2558e4b723d199f71c36bfb4d280acd002f0f8d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 44b1b4c389fe399429766fcbfebcddd5c6bb6f71 a3ef839f7cdc89fde65cd6ebab99085708e3b702 8f6ffae4e5784e187d6b8340e1d08bbd9896184fde10869647518f17218df88738923df6f3459b11