SQLite format 3@ .- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 =7l 5% Containers-Benchmarks:threads=2elapsed=222.978cpu=409.476gc=32.588factor=1.84 7 Containers-Benchmarks7zXZִF! g]ŗXf1-/6vRZy蔴IBz65Fz,@#ȆaEYsۧpjwgWieX~B[M&{ΌihWEk.yHW)V%ȄԼ#.* +Iũ))Fanl+SMb\wvU_N͋-^8O ң*pgm_v K2f 0ȢZHJi8t·GLy%(Ylׂ1<=2En2CwՐ`ȿ`T?{RpȩmBBOF9f^Dy> hs"#޼nUē@F)Vqxʢ߳d >?kH28he]mAcG}XU5u ~b9kCMY`dLà颅3J~vx>b[!KM:N W9WT7W/\ d` 3|By}{ `Xf$՛P: K/֘TA6-~SpSZK; ؈8vNg.hk*`۫VA?dq3_%~:R\1vgtJ><ѷJ$&'QKJ U:sz}3"'Z 1 sd>tT>Bъ}+'8_q+8To0RfrN'l1Sy賙L [ɸjLkM̿q.昒MA%h&J,S\KMV`,!>nCw':}N \BNwS9*jGTE@7<#|E1 VXYXwrjhe #mߎ M[~wF,!}o(,Ou~6Fjұ&n B%œh&fu;^C;MJgj{ܨ=,XlHy',dqA Mַqh5؍edq?DBB{jG=M\&TCUI"St/bR]S*) נ種3U^K{Mc_w+h1-CM~{\`pYu`^t:o߃q}9/I6|tyOy>SbF Ury ÆJsE`q+f: l&1m3m2 }:ѩI^&H XEtI"G ySLC0r{#L m*ht*CP=CfbaP`4MT4FNw:F %V >bwJiY t507gVi!jj L'=z-YǐK'66u9^XJ?2a_Q ~>ߖFvuݱ+X3F6[]^!˩'C7W7]RH' 0WoŭFS4#~Ln9Ԯz`>$rD )XQb>炇610 ]!~Jzm+Kk 󫧂B D"DGqP9*SgWCyA$9~R?_'e m y:n6 F̂QO戆*ڱW,Mӷd- ́)zlkhBvVwZ?T /vꪎfZnb64!Ooc_D4!l~pST"[}<9|7wituG|tif@.SzAӤ0[] n]oK9LeD1a Px0er {R$K1?F[븯[9f9ko6$6k/DOxBд]yek I՞Rcz쌻Jq! IqI كC2,5yiQ|/dk@^mY>2gZ[Xu35S|g2)*{IOn]]wձUKe$t-pқM{UAASӴb0xZ1-Iu[`RÙ;˼5טS(8IQƹB;Ka |_|,('"&2@^d.m.ָ)j[CV_v0T 6Wɭ{f7wV] h2j aiPߌMv$w%_qru64VbhH~xϧioi˔ BkfC:?4l`e~3NP.#%)%p]c.W-{I`Q!pc F0Ug%M;,,Yjec~WՇ`طLZkw\.EX o;( 9p+e.q%jx;_- a7;YƢ3Jm><LU@$D>vS=UlBM gGFpaI3{JXJUߤq&ƒ`xx2`@!46d$8 }T颈$[R.Q=Ɨ"C&&dgmBHĎYYIQq>A2vE+n~we_ \EWv8wc-P^A kqTg¢A"9 kɠx_i; .%x]tJ{V)(Dn  R jfM+V֙q~0Uj@H{?Z\ꯓE3 (^5֊Ed,uX gMj"]w m]!K]f{jU2nTEƨ,Dgu$Hھ:s;xn(TNNR~xpF9bؠ ?/t~z>ڿ_k(~ gntz{څ'Q$e01Fjes+Yso5nU/H5(4BĞ]B\շ2PW4L͊.D!zPP{?U;WYMAQIF=³ʾI# klG,j v'6g⿨)LKS<<+_fSH?q .}6#kE֘\%زI޵oeM= O.}[G2f8gR6[2JMek Q0nZ H>m]WOJ 577]3l;u$8OUCp䱂˸m?K޳ :Ǘ_A.jdU, ʱz!"h #پM≉&"~쒥G׉ASֿF$T:12ZPèZEAg.Fl{1'<'^Am'#P?|y(**yD[ Sθ" H*U+נ#[V~;ƟG1vP;3my%4B]ȸT`U"{6雌Y2˅֝|Z"5tÔWQa咗^;^ 6Vp)= @k2w^U)$R.eZks*/#KT_kt=?apMQCP ߯nkIx+ı[YE9rϹRA&҇DaBjž)AyWPF胹c;$k@`% pY&n]o,P | ۺJ+Li?qʿDYU oXh2>='7PR6`a"֟xu&P)n/hv]+c%om E=g`IF2'qag%`KIa.ƥ8\jqGLUZ1Nh\*u;ؗlܹK6CrS5 T i9ߘv{6'Ƶ+Q(ќx)KDgfٚG |<(MZ 6#u[U*z UQ8,~?44 "Ej@8ll?;)n,OsΊSqgu<PuJ|Wb7M(a&( ?W<;fF-x-}SYDP 9EYC,c8 4:lB7CuF䤸J*WԈ% vP1ЯIduo>F>#$7]%y-'~`V"`2cT"ek4URCV5h'G)',‡\o̩kMZ&+wPg#iNI!g#8ߚ*a Gf]Kli H =9Փ|/_hyK{LtVN] \c5V/Jx f5a^遐tcܵm?+8(~dؽFtx$ S̶E^; _ڤr$cqt )5YqB48{git;~v`Mڙ{ G3N :?]k!-~|ؾ|6׃o&u:h0UGxKT?=m_I1+oHhcLh9r96-A'Ywn 8}^kѿ [OXؽtU %-L@ڙiU%j>됮9APBvWzPuo#aE]3P QsRO pP櫄2Bܝ,B+C2͠|m; ;..5!.3eٯ*<@JW{x"DogWH%;Fpa\fv* ҎRpbRRjࠬ1HHN> _&ö0O%p]*eKm+@PR5wz`bHHϫ4:kbte=5z.S0ZnY{M:Y[sZ}D(l#EJ1K GGlbaͩ.|2Щ|4cQ ,'l9^J˩UN֥("hܞ Zŝ35R9E eq6SfVڳWu rLn_q&QNLJT P: Ҷ'urLϸAP:IlҍC8@2;ISDa^VAUB2:o A,iL<oXD2ǒ>=.-rRZI!9iNj]Dz|_2Og &։?37PV nyUA|9ÕgA+P6|wWrAK9\A58p,-I1Gԉ֕ug8`*ohPu@A"{yELDWd D<%Űz'o2pƼɒp˵Ԍʨ _bOҸ{]MG%?ƱbPsmEviE_^ӭA5)*],`*X܊_@ U3 ?o26 N'Wc ܯ~9HKxe kQCt#qH,=wp/;mu~5K^W"9M`! WL@؆IGӴZr? 019[ߛ}M%, 34TI)$DaOؒ&Ua W6CVe$8}І=Z ̅&:y u{6)+A`;7'2,#0jl9I&H@F*渮 (4sZ*`MT(h#̇e;(W w9 Ջ=A)) э Y욙ٜ1Y\(/ _d1Z!٢ȧgss΁ތrvIL;n9`旖;g$]&z։VلȯT B 0PG6_aAP =X9 řïQց KT%x)ZgygajxGq's9 8&;yz߭_2~㼕@Ԙ7KE_}u*L}/hS~8 7Qb[zf{LܭYDB* \@Z~}cwB yS]ׁR\5 >7cі7#2L-=%1Ӽ]tl"2P;6[bYnRD\R jy-LZbHv%3EZjjo樟-]ѻ6An ^ƦB2+C2XescǍhh[V;!u3(V2i4'S+/!1&"Dm7;E<%BzK'CȾ ^8md%TaXXgۅܒO-|/b?^p#1(Kz{%k/ ȧ)Rp W!ZX\zݸSXDm'jC:( M+pw@D}J|>hV5AcbtyU8ap/sɗCGe9?OPSQw2Cz:nҾ H, P jsWJ2Jn9$m*!-PS{P]N8nL(:k:Ē#/!VzA e]pEa:6'x4łRHGRTwQ͌^Vh SAYOrr?"[4%s ;*Г^J![DR44^<=;^/\",#7@5gFaJ_N0ea_?g"y cql#KJbIj Nեpӭ"SR)h5'_6H LIuGi:{%>-ֻWȜTj =O-Z@'o݌+֚vhb~ #~Y)F?o|v'M CL wƬpP8D/Swq ?-$-\fYR?1Q[:+%׭^A8wz=2bEch!.;ruwNU GAT8%^hU*l_ E:oȯ_OM$?rDgc巏-j*fy;MT#aV0Dej}zĽ͆aT:8^3PPWҷHO cCH:'49fHcN{2c?&dbf5i`>.t&-x?Twp1Ncs״.`?A܈y?; “kb=u׉WN4ODP^Cؙ9]"4)8j1Tgt;>G..C#{6ud~*ǩP#7-enB Ʈԕ}亂1@T6~^C8;5LlS1OҊVH ,&Pf=wGજ7=,EuDSMT?n "Ԧ_ R;!KTzP B4ER Ł!ϡDH+!ZAeWL".E"|E0r zˆ]:|(P- Li$Zb/E\%wPe K2$7{uੌ֘|cvt\r8 C5B[/{-P]R"G-#//ͧ*"0-xJ+_EA?861E^`d yKΠ_tԳ278"ks4iߨGz4')l9c,)Dҝbn|,oAXo 뛧4a>46 LY,EPԝֺQQ*NyG)[XE@Pp"Ը PSLg@)ُ2Gj#I%\ v65R)^CeAEȶ`wY20.F*ò=}C.b?P,d](h证RT3yr,veI1 ՓAsRN; ffzBcX 4k3uUzwӿF†M pmw7W~%RLgVu!E!'@ ܩ<ۧ^m]5;z4#>^+j L yF2іS}QX $( Şg?.2VR쟔(5h1<Ϳi9mo^Dݞzlaa[/Xu 9.<2Ws7kUi],p>Yc3.:D({.?habwdJiP'bB ڦ[XD)ї:2p8,!`e=b'ôZԘƞHT$N3hf,}aڑ(;G%;sr.9RB?8];<%Q.G PL,$G$_@l;1F]"g`e~t1Î(v + /O;K(t5R HAt%Nx@m lRGq}̀#3%a'Bzi]h "SB#NT*&IiTt/GCo gҊ˔AEbߠʴY/%[Ѹ *ɪ|4mmv kچu,@ߏk@)QĪD8*npA,w.TSoPV;כʹΞSrŤ:˘_GnI6 N)ha!AkЖgNP& XdS"+tn3WA**=50pܙ+FvSܬyKX*nwCraS 輥W̥ ѹ(byu[ B#@&\Wzu/VǾBLOzNuڡS@*bVH:(WL>j=ʽ1 D|ljjub؊ׇI@mK52JXXbZh꽣VX.)R{K8E\P֫ j m:h 9|\áty/~b|0sWNKcdԡig Gx|~>{J2nJ8WTTI=7KA|$O 4Meg$pZӃ}:f[=@W?0#]5hP3F=YX>NJkg{.EvĂBr 6T&f&-zִ]'db$ØH%s: _M4FVmg #0\I4ci.9M֧W%@aEBJYZ4l}RΔ~ NEylKt30^#Sې|./AY ̻'nyWW! `OF EQfM!Q9 [(F=ܫ|Az5[XA$<7T3ZZLћ愦X!_5ls.g>EcxE;*lH[(]9Y9~-z{jpnSbg<pLd%-?-l@oǬ7-I/9DgE 58!3Lq5\ >,4Xjo!Gg5MC6J칇wK55/cps1RVKKՋ>k|5 )HԵjI&SXiʓIN58_% ،x#4u#zWREIH+}ڲPfdo64=_N_q{ ዲ9FK-?հsڙGbUe$(؃L|*{s]\U EpEK:h0KW4hl*鏉O bx `s jɽhp/dCu@cpvHu0ccG7,)G'c|/fc@֍@IBV@%Ek'n{IM7Ea\xu_xM*mB,  " "0L#aNR1nvIW!Tm<Ķ);O6X׭Hah_7zLh3B3f;<|4<~'۵7]cH|u54 Ȓ1'*\ڡT x}@*8{UTeԖ8UV0Ql}Ŷ xWG|3==Te8넰mwONHxۨ "f R_=ia5ӣڋf|шhYGjTo w /9A" M1'a͍Q49o'@P(MۈvC5GVw~hO0Lɾ o% S y)xnR40ĭF_ ',&ۣzůz7@2O#12 ChYJ7]T+eCUp,dX8#E %>`F̓P 3G/3am|l')!.f}rcM6EW[}VRGt"GCxfJJx+p=|[U .mE7E 2 g1LI!t/1pu9AO J.bȹapۭg&ZMB:tqlyM /NǔVLH4㋓T m"{k>eϮvr|{؈P1^TRM$iyYh\b07']fDZ|\/Uo$BJ%gLZ?`lםP"CX4ueFL䧨vHdFխGQGX3#^[rz #z@=_&^#RƗpG€ʊ`>b0}2r*al,i.ވ]ɚtՒ̆}^/!U;K!qVBx2LS 1ԍz =|7{ӈqj_/>AO(OI؃k"3_䚓9ts\MV !FwQd76ќChڑV +FAy|4y*/A<z-O77m+Y@tS1v.( &J}GW}Pvȗ|1g}i."eG\b$h 'J#c> d/o哻m__L>94 Fw ~cle< @jA+Wh Cje^ zK>V OF24q ɓ BH6Eqz[*\=?l&UMA6Ƥ|5i먽۪(ۍ,6!]<' 6)6|}4^Ϸ9_JX8v+8%:Y W&F䷕ Y넗i`!wա$?ѵ5IO"RkAoĥs/[ Mɡ劢/GC^%H^tڽ6fy02a1[@xbSB &UW4MLEHN~A JIk:"qζwRv/[Qg&k>Ì'a$iaLv(hy6Ui=暬@dJT ˈl 0j"QϷ6k(Z#y81ȱ'ox20]Ŕ!Q{.uA>%^e/_}\d9 ]s2/X"5kW!r }L96|G;+TF8"&` _$}bNX dz*Z{ m䵉 狊k@doJo&Acк@@L3,7ec@VIy-vyuKt/U!ZP*?!^kŚdC! }Hw]f)$߂\!ϑ*5c#7#X&¬´.Džb-L2* yf#S~aj f捜GErQy+$6{G(tOȓ4;f=dPjc3?檘no.^N3znp<+SO*L)}-iz(hEQ5:u`̦v{:2+0Fi|ZפҞfԇؓ)܆;4GyTCCfAlJS:80mq~:Y}KQZWw y~WB8&#竟7';1yxQ俲īa5X^Q3~AU,㺯 Q`R^Jx$BpfP*@[vH@flV}%dB%SgPVIBRLJJegtHFY@Я|[ZSNI1CD+x 1rXr4hH M[ڽ9*qbS'(FKMk*i9\-5 ι15%:?u4h &\iEN6-]{Pag(a#5;&w_>-l?vI={+|Ii?+P'L+`Ñr\Jʭz--GʖB~,7_ܐ?ms#Xӻ0A<CZ)TukexJ\n2u qth$|%iE|!V%ڸ5( ۹=Vv@ˏ_gG_^TL|sÌ_@#  LR-8# ZSu?$Ń/ fwhړ.lvSd]"Y:i+]# SꗾD(_LPS_K't]nh-j$K[#Fr* l΀Z5ne:0BWÃO,tY4,x菉LvNd *N__zXj*FU)=^/;.CT^(91J :Dvڐ_|f9A {T$`\ Fq3V IHΜsaZKڬ%{VNƖ!Pm6a9 d| '"bA,lm2JyNffvM `ZC_ d=I]Figzg2Yo+,YXuQ4.SDtYnƽxDHYzIaIK4H18blRpHcII65k:ե:LλJsaDU2z(>oV֐6Bhi8b&Fӱa$y2%A6+%[q%H9OokJc,sDi֘]UѸ&;*dQͷ ?ia7dU\_e§PD YCeM0os;hOkl) . d?ǝ  6H)BQWVy'mDh1]BNal.a^= :w\n.Kq{&D`2tհ-⍏c8YǾdQ3zqQv ^T}b^`F)3:OSӝ˗A D4.к )߳1.prt\uErA|HW9EBi&>*۳^\ ژ,PA\ƍHK/7m;ݒRox/=e_RCopF*ٷDz n+KM,zKCDcǝQj~SN7x|۪R^E9KGt}ME'ذ/%^6'r E`7#+>aUu_j>銷uD>Rg}0MA0,}bG%.[/BOݽ((sE_ewuxW⃥ /s̛%0`u^: nZ~߭HO8L19=x,]@ LLUVg7f0hGG)ႛUhWҳiPn0wc0ϔ>w2CN?LM .,IF@DKu~"pׯL!fp||0T=Uzf 0w;ȟnn`Xmz];4dȖ\Xawm9J 80P ^`FFS='1q | w1X ,0]jZ+|AdSR6ŻY0ZlPl)>dٽ@~{CsIDf?/zgˮ*\r{U 4R$t/[ :wf>㡕{d~ѸP,"W˖tby8tʡXxDN} ^=@?C|k'eZ?iβn* M]T Rp.L $yvZ߻u;FM5T&B'kj@t]^&LyC"ޞ慂.Ab1G.|P-awj:>HKOc:6~"0/-?:੪ ТAׇ 1Tv >?~cC۽Et([ r.\Prn+y fAiͣ#5}Pn9~vC N xMau..c 1JV'dzLP`ϴ u Rg|Κ%-bG1 mp^s<nlJ7=NIRg_>ʫ [1Mjp(C*dsψzG52?%fLGnJ(T,w* xVy>JHΥO mQveq09Z$x.[Tcl|;,%>q X0nŖ__qz8Q 42%uP|R.zxnzsudm)7Y/#xہqJkC YX5t6BD k?ufWZ$n|C$Vw(`(8Yi1 xpV*El,vUA)x"2O9#V-y" r!j7r}3( Цtq Flia7bpȪ5Zv81a].XAnk~ vn?œ -\MPg$|Qg:  ICll0|'q 1bYp飒FMU~HZ]vt _ P[X만Lj*Tt}]Ixnծ pٴ9 BB%|>_<<'܏ O\W Sj&ei0iWPDGһWQ!rr6RJv%DZ*̷e7]QWWsfq+ӆ!T|:OH"ub9GI-8="ypDR#}KjZ &ߢ_vNhUӕh7l_BHypf-A1GT5=fYO $EOk|,LHNk2Nl jHQ=莴D~""rC= ;e'#&Xhs Ere ɒ4J3%9S ulߑ=~aqvQCͰ&=, [.ku\]ٗtTTp#.x{]j3_J5^%ҪyW@JDct[|F0  C)4o\5͛QJK:tCfC bi`%@[mVA1LL%q15EޏDVYt|{w~7*["SeIl}t % ^XoyG1f-Iܐ0YIף5^Gya,ctwUv7Q F"5@,Slژ~ϫVɸ;2Kr@L,3=4+-$O(&XM@D(چ(NqUmt:yuEܨjd\7 `oÍd֑(Z*wj1{ { L #՘(YMB]kquBh "C˿LOcFpI L}AGAtS~ai__r933K_xe6f 3la0mɷR^hdB^lwQ.ȟW)a9-'0E^7C"[=@.A=yV#W,1N1O#ubHKClmˠ٫ 01OH55(^4&u"-}n`O9ʟ@h5ܱ$kAb:)XH9)Q kia%M[ڵ Q>[2S8Xl`ϻjB>v$@7EMa0QeEySH0Y 9*ݥy%Gvʆ2H xc':2)~TQ 8"[aZcC^t5Hux!DP16_lYҵʐkTR.KkY*ı2&'!Ycm==f?~n Hd' !wŠ1Ak1lH.(iP2he'4qP<քbs㞫d4BXxP^Ř7Ƹl'-dF(;E<ǧo*j҃LX\0(6t(2BK}-8%*8w51""Df) EʂjA >P[͞-qdZ5{>ܝEJCd %k( "+ 7NktpC, 8[/c_BP/TkV<1ێ\\R 9і!"] 5o.ʈj1%r+Lb.$0Ox]Uɏ_'D"33Vk5?m*%SDoX .u++Uc߭)j#KlJ cGUg,{)=F.&Œ3/D-3 P.lGXͤИO|12^M-wSiǻefvĄi 竎HUf=7Il೥L^ELbCyucVİ=S;[ב9m @6HGH8¼/Z۲T8)H4"%y<DZ=Qf+m6G93$DҰOh}H'AX> AKxt 4 cêaG؇W~.zvMWz~(o0wc!>nRgYZ7zXZִF! a+]ŗXi%DQօ;d$<Rd5+sgA#^{mMƥ|*o6uދqV.J #r"Қ\Xl`pm &;DiFSrCt= /x8J Ն5J3M0!!O$:/k:=^PՊ3M"nXeh&# mt S XEAa}$Gx_+SMLCG Wuo >dfrf)Dш;%١MgtljCPwb&2SLd $O+^V >)`HZs;?Ct (uaE.scæU.6n][,D"EA@W H.{EaJ?i^^oi2VhuпmOPA;KԱ=G) 2Es̑Q:nc\f%SC\5e =:W vyX &n?r'#dosu6p X #Bomh<{t)4!z6mʞ#.|4[APlHrYDHAUU:>FaB[y@;C ؃B@ ;M׭Gs4ZL=>=C/yuЕ"VA`B 8x]m,@Mu-s] "W6ȱ=T病p wDb(j7FY9}3z@j> ϡ3}"YQ8E4l /a'gڊ"CM!jyHEQ%ڲJ!d#CzIV%mF~nk)Ji&K@qYFgj<_Ϙf!fl(^f4y&ugvj0fDk@<ڙAe@ް=L%srKaxcK އO~SLRG'ޚ@s5BءERL׍4A Z^Bu* 6 }Ҟr0Vwܘױ&+Lu8]MdTͷqI*Axxk*Â`l/1/* :8a` ]aꙫħ}:q%VlEgf!Ο p 2LBQbC!t3`O6j?]o/E{\H X!6{h'Dr=!8lОvEllxj}:W8M0m4+b#N g+wװ?d&Kov!\9ԹUaBWedzr|0q N(RI{!>ɱp8;)=bwm`Ej9] MlWG$?Rmiܚm_z^vJ^q[LىbKw}%d/ujTswpS&+)qpSAѢH&鱗BYl&3*VFӔrd'˜x'/`'Ԩ#LwߩATO ւoJ]ʿ U⯫os8Bc( ‰w^V6=;4Ӹ;aF^ht[ ɤ&;x9?Hoggɯ^OV@в [t "Ԣ8:"0?_gnʬ|Q\+2R7‰q\88v>gݸSM]fZRl];c:|e'1TfFJ ͉1;hv56߶n+,:5(JtUck c`eOkB@6NleX-)98 Cb:PQ/|P{ƭq5GX=iNgb=p)^bdݣ]W}JIP`iatO<2~3#sPPHbG8[@XPQ1?Y'/]:#مb4\rڳU@Q4gh }4khͽzB4n @Eo5{;#(R`A*C[.O@ R*Nݴ0av/fP` ~IwVWWݥk[z֝v}xK"JTIaN7܆Q.:qD`l `QdXN2, Zv_۔Mhe_gs#=.cb^)ϤڽJ"2QmA͍-.y}G3}ceI6q6zsXR,swfIźKBG48NM -s+[FGEq(MH~'#l|Ar,*v)FM&&Q` 7HOF<l ՘>?~ڽ632/!̏4/㒷bA:qkJVvWȓ!X{7N BcƓzV}mm]NU6PH.ﳶMR74֏Iϡ}n@2';8ooE<䤋:A`.\F&TOVl^CFHEN6(}ptWq*t˾ʇP!ڝOW*s8bp#ʤ_Ijjl!?Ä́ ֖e Ҁےw -f(1XJ>ClTf6l.69$8 ˆi["dk [{w"ϯlDЛs Y @`/uV3]5( z!t#l@kAu4Z!?|*M /4Q748N.1.?Ȩ064R#Ԛו3Gm4n0"0SfvB?Y}`U}ڢR}✇*D_[Biω3![9HIѬ?ܲ ٶnMK:Q_zt4I Ltk 'BVdS:ksK4"$$C 6Kq$%B@WG>Nopk(u ]/"/s3Ե#sC/bqË!c$d#6qIL8_C~f[E%W>Uk )LzZħu{F4x5+a >ߚ<Vߕ= 6A&w#mtrSⅳZ8*ΰ,ElVyèbM3^ñxVmcfӄvz„U w3~nlF-ޙ1%M 3& Hc'e `$sY߳qeJCmdŪSD`=LBp(Vxt7zsKբ'k3vZ`"YQ+ 4V+ 9=h1ՖBH9hK ʿrQdUEد7m^g'3m p ~qx b;<-VHg2+* iq|ƗcZx6>|BnE`>r]SQtiO0rYxVF{r눶NӒO*%PS1*)\pKTVd֋Og*9Pc dF(M\vVy 8fb嬟QҎ Wg50aU[+4k]7a?)<JnLPPqU' Ksכ}.h k Vϻ&0 W\4iB%K Ni4 cG&И]gFك1M` 8+mLOG XXEŀ/M-4(.c9{hR9WeASҠPLy2fm`o*TtJE^sb`UH1TA82=b>Ж.ۦpw P7ʽZoiLqo:U`LƯy lPG"Cg2[B%=Hٙu+tBd&s^.': ,I]j (Ba~3-AdV*P2qM {G1h[kpl'T㕪|9*OzD Eqqk{wvg׼x'`~EeEM*v!?Dbk\6fG^WAii6oeU泟G)Q&\HErF_@vYDҙ|̃[|x .Bd{dWTk!Ri#/b4֔L\8?Wn+10DBj5|++6~Z=4lG9F},ny2ɸ+f^.QOx(:47~7Ӄ 6Ov!Waz ^y5P$3T(:gOۭysbW! Ki&!ă)#$ WU}`i6i17ƎIG\)clulc_lj`s#,$mnY]EzG8pσHzj:Ήk!Ǘ!E*}}'--?K~+ sa w>7slDu 51N- 0 vo]aWQH1ngH缣LЛnR$:OƲ1޿NrxEiZVC@bZ|2n9eo%6(ıc$NZt  7A^6h^=YL4_Ui6@HOғ 1[}ٰ2z/ms T=dҾe7}^%۔.收 1jG*K]Pq@vVVJl%cXoTQݐ/:3qy $-D:8 NDpj:@l][Atk=%8.^gHytHsD4!߂.-Z/O ('ё٠xv W5 oYM;ozoB &;Pr擛Jjr,kͫn:Y%Bi FkB{{)l_T$aad|fւ{e "ƦH۪f/ʼn ;a2(%j)_FpמG'˨3'pbvq`ؔ#(B[XoDi~vk֐T3ot&l沿ҖjԔ^6:_AΎoaYt2Zh3#j꽧j t(ծV9:d 0@Wn b@Owд!y$(vu'ѢbXFT''!QlN[]Aү&'s혪J&d$1o-$L5-/sGkw͆l/S6܁;38 -L37U>͐K?]*[-ßj=/<,(b 3l/WsEUPt#{޲w(eN_Wa}{ )z/ȠL#tZ6ŵ1[I2_]a#,yYv,M}HW;XyR_waHb"sJ@)C#1X\S!di =ϓ/%\2a<9)O8h멒qbk]CCbd 'OP "VJv #b<%:@+m? ZMq.E7YƬD(wRٚUiPz k iG^\;1Ne!/dgZ Zߓ,fhP{Ƀ/ Q-ꬉ"S]#ױۚ4cKئ^.8-^PYrHcrL {)d/1/g<<P#)eXP6{n_k` h#4=ηCnjcP+;'*2h_d4y[]! IrR~)"'(R\FVe RTf̢ M@7{<Iy,tg{-\ XύVqzb}` )D?yWۘ @q"2s:r^<=Ȱ{x} |{= :FIO+G0#鬤2U!Lx/g'0#pT>Dewe/e÷a#^_(pQ9{WץaZE=+ TUT%GX $pyW'PBhVgir4SzD{4)x)$s%BƇObˬcq\8r)1yZ2"O'HIg({ly[lPM 04 T\ؐe0;+WC@>0LD`,e.duXXqAI=B4lɌs6P&cle͔DH/zf kc(cu N0$pd{C>F0_xz70j .43lp.z'lasѡb|K(9ʛ](ơ _ " ! S&nHͦh3'8)J9 |cy@2S D@f8y ubŎ:F"TRRˉO-7&>﷉ӧ2:cT0ƫwh@a04ďQ1@NjP:W&etGM(Jܡq9AɄTWWw?_\t{TSy{rQ/bpE6hˇu$k5[h {(K(bWde\>,) MjbEjQMF-.Aad$Ӽ0'e]~Y8xn\Ӆ)K<3v>3 ζr7m60PR~'0تwxCeQ0"nKz9an-I2nC + 4;`?"o+®_Nn 4I|bߍx,x7Hme]> m &icb ȡc = ;w՞cv5[FSIoN,rʐ1[Mdu4T5Pq۔hY/]v@9LgsaI j5wD0Zxm+t+BdO}U~F6aw$*n*ثZYcم*~ޯUzT>qFw,^H)[DYFgƍ`By\͖-1QHIGD:?X`dKGV]U#QfS?,Hm;97V0Djn^'%~A\:/]Xv 9pAH;ORYyoisz\D:+W8Ǩ&t Vma`O$_9!{B륙|I/l߼/G߳07uyc+L`R͞EL;ͰaВj7Zk!6+£0!*i W l%,D: YV=-pPrmB?< gIkwkf