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 #4, o]HRB-Slicing:threads=2elapsed=534.635cpu=1013.784gc=30.432factor=1.907zXZִF! # HRB-Slicing \x]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺdg'zs|R, vӊɮfv&낱6g1MdN)O p7Ix*n'i;pEX8d2ތ Uц|{9`X/Q6wḥʆm)#vM%qаfTs*pbzz%=x]Fk{7X,  !B bxMHN>L ځlAym o*^5##n}9s9=d}i|>ȣ ̀d;*^ivC?SM%VYUޙ5p2mZaIuIA7苼4ڃ";'2 2(^X9yGZ+h~_brPzK ?>_n*Nܣ`ԮMr77<4rIέMtz8|062Pt5оI&ԨOl!%OAѰdnvP̄7I_W,Ȫ+<7mwWV}p b@(qR3?-XG; }Z^`d2@ ,gzٷwcrF'?^ЮN-T'%tKa3م}09 |)ިcuЅYi%wM3FMH43e$Bh*h.w;oq(ڥr2~@Cd͙-]Ň,:1U7:yJ9,L.)K.{1Dujxtv~ Sڨ8z\H;>[-W;ˋ`VV_Bt0qYdU6yaYj0IRYm<gI7NAIh]焦F0(GoyY[k:/ rb[`̰BsB_KIK2~,&ƃƱ.T>imW$-dd:1yi}J&I(EC`ԋ„e1e4lo M;4$m#p} p 綐-l?#|kVg׷LMOz0ώ-NcV1J站IYu, ]{;8E1"ӧhרeTZ;]$ٶ U2 l  哪)&#V}.* 5ȳz{1MjµdR0f&qx_?9g`#z%I+9R Կ--,>'s0 /̈ynLp 2- qRdZĂV gn mn V0*3ֆ$Rz"'"K b7ۤՕJ@o) z6]%i0N1LYRN\]宮{r!ܦo祪.BpیOy؀a7To1עBL37EJ)&x\$&8<>iǜ0nc MR%ɨ<RS'AƇ!)dήD//GʺS|fkDQ ^fI`u# H1=m(S 6y*`DG8Q98 ^vjxCK\BGhHsE~%J BˢŞOWׂKޔM+y !Wo%?XRd!hKVX{$magR#mM*J,W NZdbՖkItFo 񸯟nNRq͕[m_K<םH9<թ^^|0jyU 8z.Sج)S dRV%ɋ+lȷ j#l^¹߭ fEH-Lbz2_ES$$zՕFWghP_sgݸ(:P#"X2(+AcH"Y$#DM9vz cl6&BLEF=m׮W͎0w8kJ1xj?q/6@؊X0?厗0ԫ:pl"I~ yݨN%DR"E3d(,ucŘh(UB5vұOMboEEu)gGQb)erA),GN(T"(hwx(Uo[d0̸穚pe M] %~]Ou $ǎI3csO|wB"8jDo7 6"] \D/u$iWp:(c NB7lS2'NR;F"ݓi5#.J!u6 \b]Ff M4CxE39! a@:)z3n8ۡr:Г\)/uzDZ;TKfN|i6wFaJQ&*7TLTnKt-O>!GoЗ̜{I/쟃08tG$`Ƀ@m!!BT01OGb&J|4yݠH\7nsACֺ͙iF]pT-l>ehʉYЌ_?yM0&&4GԶ0"=jboۀ91cRQƦjfE* l{AtOuQ6tm,fCpUh/;&k%l"A'`஬9[O(n6P5.,4r<&Lb?Ⅲi Ϥ EЙo҆wpG%"Qa~acY1>{[q3 폩R5odUZUcWO`Ūz+CGگ鴁Zo-Uཾ u=ʐ:@P=N̍r@؇"KY.^煃yWa9?!gSAQ-WVЉT+DB͋mƑ !  hPo:i,Qȿe7*ZDh=_{>v;!G?KFýTtsK7 $#c.P~`}~_s,QXJp4PʥNNYy>RtT7}#xEϏ^jNq;v-eNzdM9j5RTtdXىZPiCAL;y?uTV6T߹ڴylyC>JZ=̽&u^Ͼӿɲ_N@zɉL9MV 5FfI - 1Zxu&|Rn+|hcvxGd%s2ߢPKB;3$1?aPrMX$z ^hl55}*O{v\0ֵq@XxKeO=HL ?E4ޛ+Kj\&KKσ]:e5|_]ҴzL CB\6`paΝ·w_:۽5kЕgO2pa׼NcuyPF;݉&c s)zfӌ D7-ׅ?&bX4շ⊥>7k<I9KN5Mn.B0HGQt/ʶ^p?wpAe27 )2ީq#>Q5ĝHi % tpxs sQU8LW9wj^JCglfG1k&'Ȩ4Z.٩8-/Eg c٭ /fO1^*줙1=p}2Ѝ0.zKk=+sI, xhG8Z`p.g>0}Чɗ ~<7hHJ^%,` UtLiJX.Q"7Up㽚6o^DN_``V?#kBV!Rim"b=9H/$;;7'v*%@弽.d;>"z4ܑ-Ix^.ʲJȺOԣ h:uڱ@{+e&TM; V5"( QzUWLN?:],vy(xE0t _ged ۠1hk0(A0[HȚuZǂj4!LJĉ-h>8JIb]$ &5$096SK͔jƮ5Ov4ᒷL~,.~em,z'Dp|?ьUzHV9+`pM(7d^W`Ǟ_UZjX"CTÏ XiT/Oh$1D[ G}`V9/uQH0;ԴP2BLx Pu+MJiԖDc|'֔VLw\7Q -Qŷi_KE 1]Om/|t!ӓ+91"ᭊm=]qܛS ]pSi(w9Q #;݊WcU~1V (}D]kڙg|26?P+$WvUun4r>/jR $Oƒ B P~h L;J} 낕*9Ga5ϔJș1X@`\BU(XU. ?$og'xcUα [pV;ؕn*WnסܟO ALV"NB@r5E D8_Noﵱ +~iBU JU(HthHޕ63XC ;qY6QFS9T ZQy^rVŻBd|a .`No^bxG[['F`)|U+HO1y3w#jYWK8,W2铫O#JgD}l1p2-\@0d4苳oMw4l{ߏGG~q#˞XmTmF\i+k'=:"-XaEe NOq8 XFZin%JOg5U[^~SAF;5 w%1ʚ,k f. E"|?@(qG/̍A2ߎ˝Ϯ{.LKWIF\85LP q:gv<z]JzY5fd SSINw.nvpQs}AиM3! 1Ju 0t3p"=W95s*!JCi24,X9Z>]t.?m>s'9mJ?k4X,$?#K$*:hyV;q Qqxލ~Ůxe<Z. x=cNkiތϜbBWe9_RWA=6أ-^,Ɓ?/ ܐ<gsJ|NS$ 1dXe.1\~ Gax{(q W8;6(ڈMijkK4B\t ,/&~E׊ QBAӝt/Mk6 ;:U皧粨-#ùck-9&Ca 0L|jǾCxb?]9EA^ 258ZJլ|<lS|`O>zǀK,cʌzoZFyP2$K@re v~4 @{*@Iu~EY`Y=:@cG`D}7t \_b=!غr?,XI]r;\"m$\|=>H~) ˣj牒Wc9(6Ng**Kc ZAs0b]87-bAzV$m-jnY!ׅ̼dl/Ƴuns[ 'Fʚ=Œaf⫕cXa}#X\F HzepuāSźz2G X0.upze @KFΩg|XLvL{g 4k8XX %!pf\WN _iNY|/j(K}Wxjfv0^/ъ87q$)sb т<&WkD:3NB1@c2_=aO*h|Vz[_*>j6G(!(L6Dm\ۣXyDuZN8ꛫXm`ho@| n[ h)P6$v I1 LW ڥf3pcqK0G]ܚ(,#"7KZ=x<2߂6< j߹NYv;:P\33I4)<%0bXY87]* 4^\Ivɬ ps`rc 9eaKDqU??kC?{W bu\ǶPLU^^iDũ%= <+g:HV?i[iqڦ( vGAN~*r%N./K&J?&5 7 b]&SsyeE Z*1*̖y䎮AB>*4 QB.^j ΰB>% ޫ:mhå)BIƄh0)g}W=xbcSauޕrOɄd*pK=EG05FU"0%{כ[{OH /e9ka>9_$o"V#뺲eYbw.ȇ{LC| T^]mb>dm9b3{䍜oq#8#Z_$9ibMD48zҨ"(U `:sKDC(qO no#tء.UB!+2CSb*ph%㧜;>e臕}!6aRMT͚cjʧ9DoR㦟ڂ.|ykU(l7Ⓤ_i(EWaiG:[#̙KHcwbD! 1?( c%34PAdtK΍?~R3d.C6@dN,<,G澤-[@1:r.;سʰ|aDm|I1ڛZ)͏RF{@Lp\}Kp8@ռ\yHZPo9aVS&&NP8T7oq~5 zܠԐ^zOf9eQ .0g?AC[@n ,p+\"ҋݞXh|5^;v#6C ;X0/$ݵ5LndA|b2crmÆT;CZ6POEd -<^7գ iJW$b9!}g#Ϯ@^MLЙ A"+T6lQA4 JK4*GBeRR F;=m:0cՒQdl{¹$'ߴ.cjv5]S 'cgk{yacSac3l 7xr΢!p?| 2:_Haɻ:nbIR$aw].XF>#j\F7pB cڛ`ȥzi*GO jDiPDJjh"P-m* 7#?u9Kaw{`mRe5O%z@r>h6[A#/[B\5wG˥dc%]9^ow0k`$7`WN'j8TC+?8vTQ0 T$zm*\\%=fRsֈ`Ura5Dj?XT{~W69y!aBER,Enj&ZSg&W̱~IuDo/< |J)!9ɤrt}dĕ nsOMnx&l^mQ.s.)T  3vKZh.@|Nk$Y1$_왑pϭ|9$6EԟHjt}]:$`_hcthc+J6bZ jAgwۜ߁vjv~zaYJ)yp9`+xCaF!q(~ }I1kdGZuRY+:AspQ nTIvG$N׻ˈ<{M+KՇ9cOr;2y`%@jM"j_Sު@+Q/+Y^?ωa0gPk.SW ֎E}B?5,9b s/ Z`-TF j~ۅ <ҞI|)yrǜP6l{{ ,x\֘r`PxhT7 2Uݔ%rܮ[4at4j ]1P&Z}/Ot8n|% mꓳ֙ĮQs)Т. dXߒEaɭ&'<`%Jt6umdیլ)7oCAg46V oH.:31m4ze[{Y ,T*wg]Hϰ&cȀHDXK;K3fnRP)U6 ~,( M^g&vkWI Ω^bZF+(6uD]L {̰"clswz /C/H͵:S/2biԲl6M4[0K, nz{XKxsAt1?_Uu^Ň[ʮPqqaKQzٔZ!a公̡Egc[wRF+棄g_aa+}qھmłqv3Hu|`QSѬqнex8 Tőp̴`$!TQgH衖!i]nym0jA{8\ijzp#DKsmTj6PEsZw`S+ + RtO{u7a_\ST *2 =KoQ%n&ڌj {!KQHD1¯\}nMe Dl_'4qIR eu۳ n>ю[@n2ڰN> E v5 £hMK9FϊSeqMW<[D2&H;[{2^~fHrIL@ĪZ=cOj ]m5E{ !1yEg͙YinFrq8Jh"*гU:zg |^Y ߓ&y";?ȳ6ZLqibzE);yE>`T8y[)hoXuUϴܤdnY}(>n+xL^Tupx# s_ Ih続guXR~n۞/(4aH2pbS)#k?Z)8R|9cn&R!7XK! OC|U?=RX_D H[Bʖо7<^xV9?J՚x"ZĽa $ 'XArN YXXLeuHJ.}ʂ-IFyO.rU>Y\2$B+-gYyHacEUBHUeƒXMP~Frvj==gƖ@bEE0<4z%bB=6AW @^* ?#m"Nqե4X> ;pJ;u!Τs F(áYRkť߱]v8N}<9E+N lS}]V|FFLÅߴGL _=:Xc[ ( vw'ŦPd6N\ IG1]5'a"|Z`0.ÛVQpי(:*6V [(FGe\ 53|IӰ,ȣ|{Ӏ{GvޠEy2pͅŤ$B/Yr=z\^nX(xb0`@&0$ވ4:3h1T:@] fCM>5۹/ݡT^m+ RC9n\ [S_,!߆Gx^A'>J|Vȏ¡b8Zj<$EYK?*IޤKdH02o2a12كo.cB&g>IK8@w"^|u3DC8z5׼+kbJ? r_^i8H4OjK#Z]bu tjn8;hjzSANۣQWKQ"/TmP-k!jrau0x2A-"K@{T"5Z3{&LdkgDTC&x<%NѽAaxenb-]m{,^$PSL{ݢ&C{鱯o&ʎs1rmEFb#[kM) نpL7 5RfcFsn􇂪:Oe7ڍz b8RFrr)\/[h>(spc;{}Kc+S|JXPĐ! r'-:R UСRuU^aCW-cuǩ-V/U-3@3V* Oh孡SmG%Ę8* QC󔣅i"(ڊ?)úi>`~*AvJQme)9%! uGyJ'iB%3XOQA~0 P7۝f/\[/L̤_׺2 ~zWxyyXŒ.k.8Fym(~Ij#A.bv*/ͯ'>e#s"p!KbyÚhƊ/+%'SFV?Sш ʷZEv̧ IS$P4أ(<}n:ެP0!l(/%Y!#v9ٿ͹?AiG+6|(wH<.hjJ4ŀMmSavefо帱H?#d߇'90eVa&!&Tt`XȭΑ_k6:1T ?{=qAʗltܖg/8V񩺆}t:;d^cCRU\\pͬQ*4,V%V"<5Af{<ΐmF= .G&fWdg5ڡ~i9Խ ~mqb%Ⴡ|)ue9Aw:UI{[.WL =8V[*N)cEaWUPh8GIM;ŦcЀEK7'LZۭ-"BZIS6e VCZ$HBۥp5|93(v K{cFx]A\c |}/P[b-%ed c+}zEGG@~>+zv!(~4IK˶i|D{F6zOK)b,sZ_q߼ea;Z=6<;,:j ;96Qf`V+~#$۹+d.,$R :BX uPqGK1n3Yut"`J'Ō]P<"=%=@*~,"E! 0 /bo#>: K[a*:fqfqYWu:H97X QV8GIacL'ҭ  x9u%L-8S_M.l:ubNXv Lv9apV7jJ&|AG?q㦒(L08k]y{r8ŽT֧I.aMaJxXPB:O>T*yT'"bCTWRf3-) ze cʼnAڑA餭9jԟΙ8\E ua}4=arv_X2Ћ۸:vW/qFP >9SCuPBp[ R2h^[βI=E%x/sIsNU$ (2zP㄂9ɭ?3?:RNJDOt=g ǒzH#ϗO1-:7IwwKVЙarmlWu&3" ih1L@jn'aulơ9GV8"V)YuNGB7'TџǓbi64xT~7͎}@Ff%CoMUPZwϺ"`wܱXj~`L^3Ïi-m(|>`Tf{?vW:Or܀WҖgxA عfoP5dܷ|,d_Oe!]31Cb=pǀj p l9z2 b4=A=?,5qzRzG\ j-r9*7>W\}zpeuy÷lU֋oC;푦3qlL :wrp^blڬfR:f)on;`60u ;514"QEujz$q<=ވa)$G-Of .U\"j,R[@e h.;<hL/QJĺM+N|ocng06h&KHvJ?^ <lFfyInV!=ISF:c~77WTO0KqS +\<eOwqqĩLv$Pr6(TVZ `ЄM lӐKBL .@p JYRrj 1 ›xzr 'wooaB Kpځv"c+FP}k(j'VnkD2EmAz†YmәhP|)S9׫#~ zG[خ]IY`k<,CqIН `W6Eǰ`֫@<kzd:, T Mf-ށBNhQkKB.ޒΧ甸Qx_LO ![6@G3FiD6cൠ 1Jw h:ءXZ4)YiskaoFS8Cn=I|_ؠR'En ^=F" }Jro"9ʊJZXa4BSĉLjHgd eՆd({kX4Q; teһoD!63MX tZc6JUA 3(3sGGмVϚŤJƀj-_ek,.d!ieoǪ?Iq;aHOUNZ~p^_2tاVz.;y`CBˆ;5r[ B> #I|I;-6GDn'zq@Cw!lbRy焦A//UȐqRjF^8[zWm!6Qpd ؚ0{UzNq9>G,r8w+Tӧw(ʧT58+l% LC1K1(R5>J;2:` 8,񴘜WKږ|#{,ȔV3_+D@.,ė2[kLԚKr;/ P%O -y -iאE㖰1[+oÙw~fp(*,!/2x[ < O޾ yiJ E{W xkc傂Zt4^ C*Lds 1)yW%=;{˫e-Z/:ɀ"SԄ$P˸@{rŃ_%1 teϯr_5SC`JqOD5WOpk"$?L!Z"-.-7^NeS)>yΧ8aSCFR  `Vѽm~,ȢA֬:+U%D^s\l6G+q&F#?[#mPNվWE3Ob/BY,SiU#/hi K9a.X  NJlZoMa&k X'ǹ=Tgm9zR{/C ;/_Lxկ"3nK֬|oڳ0>X<ס񁟽%VF'u KJ:H8]EwlU'n)k8ISz+ތm̗m[t{0$<8IIqh߼9 ۙCGҒ$:%ɛ= aѼ%OtHWi ީ8L]q!ص̪XKtI2DOFM:L{z4.ۧVM #{^5B5e8-N\!:zgFK <) e XddFrj8S^-&BM8E>Y0$) F闻D?"du9vDh X`pix3:0T3\ðe8_8= %„t݆|=3z]i\[ +[{EY׽%5HGY؂V >Ѭl%>bXÐtx9]_EӢˎB|.~d9(p6~_\8K bpw>8љt'#EPTHNw W2%l(md6 @E^0dָߪ͋5-gnie_G*.< /uߟФ2"%<;r,y.~K9fGAHry-}- ,%8mb)nd&Ci_+M,RE\D|WՃ#!;U .:2ѬG7q Ђ<}&׭ƀ: ^Cf'?q@›Q|.k4}/gnLO:u1|J~d_R8ٶ% uE߷WzPp6B(.3YI)'0ԔS@P{:JP1+bӰ3N)GVS!9dcdr @l@"(dWPOŒ2@\̻ޑ;/$x/~=wR]Y`wr(sbׯSıy@7JZܽ\@|d*IEwR >%-v}]WTbRx]yö5U?yG{N !\8uRBqt6:{6W.|uUB*:$G3%Nn\2Nՠr/.OqxvK"@|C,Da~$Hy8Ӏҏ?y3O_ PߊKk2.DFL!4~DV@7xCbWY[4ӿ@ +ՓIxQf7c`ksJ'%'NBljӒPiiJ%+~]eߕ(DP/&T|=fki#wԱ(I i͚=ːcrzZ6I? I>/*hxq fglR -Ҧ?󎥧01eHGIJNgd1Y61N)EYDuH(5< i,P^ S):FCK+Cv!+>YfU P<'4|-I`tmQjbVa2(ۯhM2U[g5 \v ŷm6ȷ!ָdsݠsTKTbK@ȴsZm8m#ޏ?5`W?  *8Ԋ1a܋J{}RhyM_z?`0q$iAT> = h:ZO>WxkapRjH${QC \@a%8h;uTx@#KIL ^zo&w7rZ)rE\~1j7FFimH~ vϰ*?DA0h(Vf68Hh_*4A[`1j Ң Ȉ'DYq^F6$-uP#Q3†:58?@I6Tn~Җ+MEZئye#~ZO>% tun/l^d Z~##+:p>/G+/ gFd7vpq-\̺tϙ{a_cuw.i(>`J?q;QlGAn.(Fše'`Xtd ])`J!ag#{orM+/ Ys-̟I$M!="wDm-?ҕYFb! j`ۈsEoe53͟ny[ PFbu& ]WWѰ=V`&*2)Ll չh$\p dU[Jz9Y"^l : 1:pV04׹H jrFXY%_owM:r7ދ0ؔͰѓb3.29SuU9bdx;|;;bP ~CRP1bq}&*mCtI#i6Մ1R{^%J2e;Oe/0X 07h:~ xQTw/,EvyMM3Iv6Jt6ϽQ +tqDƯ7El&:H}a0x'!e-ҵyJDr,#y܌JLRWyg5d^kP&R}C>bʽj M&+Ad,>0GZ\[źXM q^4>4J0BF,)Yૂ6=S /G.+Y,k{ޒk]B 1V;J)tuI8]Yu'9vPPߐlv18dQ0@| BiA/DO%^5b=jCx}?'6}{6~g`(G':Ak8yٯn{;JO#'/K^;llG[Alpi\[*L Sݞ8$mmX~j;>PBihW"fM;|(!pTˬȚEɡ@a$8`e_ 4WbDX=_ɔe6(;.?;! ۸Gԫi4mb:w=!E1u_-+CT "]9 X4oJIı',Tv"]3I[; 2v>z|y ʹv䖿,/btf4/@-s X| L$Wd!2o"1sd'pezez.qPϢd x\,.X7Τ:2a(aj5:I_#+n" ^k'?F՝HU4|Lbm0&7c&2(ÇE `i^qbos0B_G봸Z>xx73Ega&C@Y%"^.*,3#[xDŢwC^E Aہg 'h@f̏na2Lif9Zi# 8!]OO˗CUZ׽baӿ9YOJ7OG0Z%6]ZUsͥ1A"Œ|n`w.`pf^-zpGu_rOaBL_4o/ycKHڄCM1a^a^ǺwR.H:x.2c6"4 C7p֌ E.QLnIGy&,j#ڀ0)pK>?gY,~ 6@ :UBE4nDdъ?K^$Q)ilDB-pāǑ< >\ɃO@ M@?.3?6,y2ٙ͢lYѻcNY>;l}╔g?$\ !څ: | V޺)yid2oǺB4w HEiH]ؗQrn4GoP5VLE4z~JCNIRv 5-S{3:QX1u+J/@4x0=BtköϙB-(E?ХlZu'?c44}v YX17PMCOEv6)S#=StݥqSxWFsG1:Ci(e5"H /~Fp}c4H &Ȧ>h ZB/O=8f i@5(FnǛ3 [<kXu+Z &i6δ.f3|[Vp4$k7t0&Ǒp % A\s#p{+,N̚D/.VKy#!sEDK9Usy"8s6NT;ͫfI̴2ְ=Hئ Kf@*!8hY.!n&-PIJk< K4:*[Cv=6CLDf%&[AQE%#.JzHqXd%m->N,F.(M7Fqa.0wlP56e=Y8)N[cd4U3u#X[g29=c ]A׆ C"mlwv,i\/ qՔ:#CBt{{47Ɛ*M^" W.n⸂( GJ58)n@XUk2b4*5 kJ.`KĚ2ICSKbkOncV-&˥3< 4 Q8W)VP xVC74q.HNlDIDP(RGvpJm*@<|~o)cH.PN.|iQ"fDOHlNEըQmww̘em PlWb2O*"r~/x\P4 0)tsb|#K4c5?%MoZݑ_1=ʂ ׈U+cfK.X4cwR<"99rgεz8&x*2'm-r_sxM50p9sj KJ ML'2cT_xS!:x]XFuJ }GNݳ7/J2߮=fY'6q-y:4KcPLlrXY4we//LG1)@tA& {B̎"@S DT቎YlSNoܶp>(Ȗy_kv' י_^'gM=U/`f)]H'o Z(I~F#oCӭҨY ;>J44Ԯx%4y>_sJJ7|SN>)Q`j0`R^ 9 G 0.YwӀCQE{%Fr^ ҐLE!lI SyoI\9fE=צ[y>5b$yvЏ.N!)P~@c tV+veGN^Rw@P}2(\b>: +Alwݲ!,M92C~ތ#^MfTM5_' Z@/b{Z;3E:AMGduk*:rVh{&1\"\|g~KqK"s}E*D≿ct [L;\Sx2~Pi0BI- MC< SN:gxH%Y3]iFYĮpT7t2Kͅ$a/xT*%b= ЯJ_6!jꮻk 'ܝ"} e] SU;FN\҆ Oc͜K] )a| BX$WYmW/('f|:} ehM|h.GU$? Ootp :ǓD~qȵ±=%j.WATo#_ۄK(k@S,7`VKnlȑ/Z@lU&>? a>|[;GU}-jO3c4b^bCIK0Rj?TZ^fۆBrG}Yu!Q28A$VJkz)S#c""8?F>d-\)rgJqxdF9I>=d#1 $xDžgbCI읲kJMׄKHO9Kq[泣j\m;DnzD ؿM Qq;t֔&a)"c (6]?䑳_/[яOŢ znѝ}Bm≘\f;_2;U ֒uʙG*5Gx?eF2ž5 sn)0wU@TzS(ѵ?0%%c!īB>P{N3軑$SSڲ/ .8D R@MqV'OŬ\YE]i+"QEÅ+i/5/(Q`T`&K"&cI## .ۃ֤[ S{?Xnp.;py򯘛ʟyK6ms \٤IIN?>sWP)q]4, -i_ F`@}[4Ǩz`XtT_zDΟ]\/S[|%*}uYau 6id>b!dEgC89~t{49nbaJi}.p\FUAmwB#tZGI]+e_][r Df{Įig,!s ]ٔ)5+ #0}1>;zj!#ggYZ7zXZִF! _]ŗXi% 03 )_$Q\t?rbԔnTS{(0tF5 (@KEm!pwILWk9^ܪ)MK XٛSELw@`57f2‡3>Tk/Bdh4 mW'oN,nΧ!XG@_b|wd6lmA*,j:~O>_k RF/rW?ߞD@ʯd6-ynq,w"A|?Z›Ǽ6\qke=j-=a|[єDDG;Vj8g4MR?iBVn,efH?өx~DIOU2wR/ t[@oZ\x2EH:N18D%/jEe8l_.]<@?m|LUAMT9IGHNojHk'(!A")..xǤTùd_PYC͒zu?6{~a3̛'c"΂Es*GjSR,5R>Cg8z FP$pErSj﫺65ʝDauQHiw۟[a%"`g v, lLa0o_Jd/μQ$̯f|.﨤NVXbAQuxqlO<OnۚaN,#FgU߉PẌ́C`GJIdyi˸toգ1B/ImQL*,R+9L>PO}>:Pj M:2;$ʎc)Sh܁'Ti`Q0U=ʭJ_#!?5Ͽ`T~TR#2N37z4-v}U1 &>< imT:Dw #c2SS}bjdp Pw ?М ѵ R+]Cm9H B >ϟa!ZdrrO%BB%(78?~Y{@ lz;`G&F'a&US0şn,{$9YT/yaf}NKІL0!m3'A.s/FauJ:"`b(6bje㫭,+i(}0j' 3sZ/v PeTbl/1!@-{Nߚ'*G1vF~l(g%.*_.H޴/lCG6 S`B|U݌i!7C EY"_N2'8f36DOJl`wHvaZ0F.xMKvpWK]?f;+BB\ĩ1|2; KՀHR9 Y)}dP#PMlW3 %d)X]ڎ_클+k#{NmDC)QvlxU"@|Z$apvaĈ:SұOT$r?&L A99% gc z5I%AF ٘G DeF=|)n),k#ܳVOM3]\[*(iԧyHna8|t+8=J#+G`?L11- !#"~!U\5֪]?h)ӣjS[ey3wc-sqSJ\nԨ )FnLA䰇#\9tBu^wƏ[\(csg`|y tgd{)ȑbň4>\eх3udznvmI Yd"LJՄ^&;y~y=<ܳ.y&@cwal/6T_DˇyHx&VHjI< e^"ɖ3I!\;FRj(kE1`7|i}u7ݾ&bo`:(4ݷF#oyйl$h2.F#֬8z E tiR@_G hȫ7OLX7 ` $vQ8 (ܚ:b-z"jw>1l`f6l_=UdzNkc`{ڊPMh_wЍhpDxZۏ6"1)^<ĒW3NZ)նeυ[=łi&j$O}kp<くÈSv!a 1RLJς~Kq%Ə 5+=X>vn1_g#o5 a˪D5( g?e[_<+>,be5.r k#9PJ>PciG=`<[J[L { Qݺcz(MM&s9aڑG6VyK3_fo3y#94S>MU[}5sR8)1N[rSR\;n1m*a'"O^™1iؔ]1aOfs%$6׭ɨj(8>&f9.p<qVNþg; gPJQ60)+w6P.߸Nf#O, R3 M5N:G_5+LI^Ihg׃ VޓNXxd)ﵯW 0f]~HjN ǻ)L$)#hKԘ9 !Oֳ"rbQ"]C%,&y~>Ps.+Z?L;{SgՂO)nWAߎNp\G1x*SbT yhMt?%3ZQ1B0"9;xt47d܎Mi!x;{jg/q8:nHPW Q\$֑!A3;Wa}ݢnص ']z%fwkQ_+yֳdz-S-FKs-% HM^=(;]r8obL"b.2U2qE=뢛=Ldq*C ǯ a}8-*/"x'WO> 40fڥoiNj>ȅ27QNC͓`›๱J0 O%V7. br[m)z$B*yX\Oֶ<yAWhGr-ia) 5Kٯ7|%#)<4mÞZyizasMuBמfY*|uyJzժ'ldžɘ<8 D L]Q\2ى@_Ӆr;|ǘ|Cb}g1+H" B3%^W!hң oZiv1i΄k 4&gXH}_G'`j{8g Q_Mӵ-'1[PsS`u%XnF1 T%!}VBǔY>yw\Tz 92Tf|Q]zoGhW#+#-|:tH cj: CƋfZC "M ;@v7n:`Ϟ}: yhH&!mEh4Np ;-bּWʻa f!syﳖa+R:8EJhaZ HKcy_&t f^yXV7tH"D[hRԋWO~}o ?ThOSU6+([}=42- o-_!.c=[sLϋfE,э0 qXN8PY˥avRQ2~;H=yJP;ka2áq.{\_׹Y"kE;%lu,6+k[{OGM ?>1tXpbzI ,Ljځ߅A3A2׶lo"Go#5ݤEK@P:T7Ѓ jXB qSK(':zxoy='r1#Z6(np(h[vrv(UD@[<|5BoEhgc0;-pl5kք daFnő?)Ux)̨\vdMn1@R%3_/ @][ւ8NxL^ sRՒa^RHGRjD~-&H4`fh۟Gکg* !A2I/c~1xb3|jd^7?rga7Xb3@- t"nPr\&TU@J $6 =N˲ںexq[ԐZş -5N.ΌȄy 1vT_CO8͵UG|`MY nz]K ̳9l[駏Xׯ%Hu{=gPDgy]w,E;eò)l XR˸f&TQtAl adz;f/8 s,`0vuҌ}TY<*m$08Ӧ j*oz&y0'loHgp,%tkTR 4c9ΦO+XLriJB ua:W2mgyC.*_lU%'g8 ^+\J~ pi=@btpp/ !J )dBQD>,@]>t+3#j;|xc.I`NV IUFc9F:`߰ -ʋ2/&.6Ac*dGff+q.f45X)):2l3[:ާ+!;bU 7ֹ< hoC^]o=\N"J/j"5@Zo(6r߭d 8U"b7iб?mEYkmo>vR.AD_-K0k+DJ;|.2އ 3׷`3=Ћbu(t CqV' 89BQZox 谢y=T@?C 5bؖqܣkFe׎@/D[Sz=^LW&u ,NEmG\vG r::Qv7g$,Z> AJB ^"M#_VXڊnZNVT(J4嗭2,iB=-4kk)78C98H](c$ԟ몡6P7Ĕ5˧j(.B^0 CgmZtzc>Bjɩ1$Òwh۵xShaAF ʕxWgRATCj~taԍLWQsFWqjDG]R;ysj)L$Wmн"hퟹ)6R-D`v8Yߪ争&|bנBԶs׾\(Pd+[cUVj CPkw-*|-`H|+'XJ+l2A&;Z= t$£tJiè 7aGgҿnݏ$^O;+l2W!m+3X\> RM+m PLmgNɦs4<0X&)Rl %E+aU;ai k K5*+mY3_Y 'V 9yxKR尦Rv OK{ "WńlsYkdCY\@hf_[m!픚]2xNb2`80L]$BkWmW{&եTo5(+. ѻhvβXx.Ѕf4٧Z32nU\aGcfjD.y+52=T=Y *S Od~'>!:St|zE@|=$!Go과 4AL\p1N䳎|ufiggA13~WE_ SI4k{+yO.}p$atb_ eB W䀡Qkつ 2'@ k|ce54mPV2 fn@ 0U[1+.n& 5=68ќEDyn}.sXc6p6(ڑ.eCKQ1 پ侥H!] 4DSDFSNYd'$J׮@SIu9?M$PR v['B447dފ (dJqyaqO3 ZlFVfخ8yzj>$ tΪI ~ *6\üXdȩ(npoߑV Xm|lb{blzU@$u~xHQ^ _(Rɮ.|xn/VIώQekOi dUWtBSo;67."@A+KAEhѯ#@-iUFJXc} E 0?@ٳۧ~;S~nAvIO:!Vl8ЄlφDwˮW3f6zr])eC%GssGfqXlb*+l?/[V= MEAiM > \l~=(7v9 !o+ivӉT0PR>;?7|jdPA>Зt?GWexUY %רK9+fNf\ilMS%?p =f6@F-kwNu7Qapacx9@j[GYDOD- 8ӱK"v;y{g|x&d$[>JJOx1 ; |BMMiH3<>'~:0696X{"!7U)ZW.& D'(QgrxpÈ}hԄCVUUbM5%o4.U97Z!`0; &|:Ч41;?؜,%|&R%2װgs 41'.[ѕOʄ•uoI6W|\{tY?a9K’7,0.vf/%VI1#9؇k׃<9T u ,(s|qʂ@VZ2=~mF=$@Mdr"$B>gfj2gg*xӰ*mIFrQ7+zL5ۗkc.X ^՝'Y? ;-wl.6UB:{iՅ9F[_A+B@ǿI.=\NjLwhysOS7Ԓftc\p.7AgBl^ ;4q#nTێ羰áp'bxem[@?KJQ[VՌ8m2ҿy-\ ɐvvC;B~E´¿?=tֈ%eœ@M>C rLGBeYiDk@F7Yl:Ld62O I%yu_xAY%܋c/ 6$͟%n)xzw pPt9N| 0%ڕFv?Oݷ4fP` S{2AF34)e՚N UApv<Joyz#_U _`JS2P4oq79 0Cz||l?fJ2w}g3]p#Tqʫ_7PaqŷS4^sN𣥖gaϡ60O7+G"gx tӳ[uZ`$6SR G)ەv͚y\pc^*6bnv+n$.,s[9;~DЀR` v|$cRUl/%{0v!,&B{B,Hi S̝v?xrdQaUTdrT=|BQݧ.J%S̥X?xPKE\R;?QsR}}V"2i$6p*֣z1*.Gیw]e> v+Ӕ#$<俏~F  藨 %K'ԫ6Y.zq?]+p-rEU3Jʔ6jX@֨zѯ6=nH\" iR'mWlhFn"UѣA9GdO4>( 4peѤb5C7ʶJEMѺI1")Q{B{Un!MҔ#*(PUy/ehz)dTT_lKp٬'m*K7{Rf*#,_0/{ۿCB)%9H Zee (u脴m")c[cǭz"a?7{y=1jCP3ql0m% 0Rɲ՜/l<@Hä,R$[B}ImBȈ]12v:`i9zPꎨX| <;\JϋY#,deNv@ݶz;4~ׄt;-+ܟ?R ҢVQȽCF60 00\d&-A﹯%w)Xy^3N[7Y/n*f',p憊jK+ls{1SB(/z L3]nư<, _O omu8-Lќy刮Ku0;*5ڥ׻cm  oSԼ],A9yOyN\o iQBҐ|7#͝GDŽz5q6/`XB@$`M3F3u ^QG͹=OM!Tx0AC9)Hg,Q[S!7Lh-~5I!DiU*yH()6~[\D=ջM-G? X_@xiL+<ߙh kW7gfZ B mw[#lD 6mji7dШ{WmRķ >2%W"@~e BZ!09,Mߑ›Ɋ&G, xܷ+e50}r̢E; _Pf QHf@0 '|\SG,BFKI mV(cw8IQ}{h@]3+ؘ^*?8%?.&au%'l^6y=˙/e{@J@O3[њV<ergLKُC-S~L!%`םD>cWIֻä*I.)c> |SRzE]T$]ep E3©)嚩G -hUPƻ;PY?򿏭+ \5L \J9fA$!uX+F|˴&pi㊊ēuL==$NϘw#֯[߯E=pQ,iЗ%xw>'VȮ@.slnC 0{6d86ӆ؍\ { MV<&4dX"{vQB X L]ax}ܪSJD "n}rmTgm0k+'7^vZ 27]K au zd0ilkPWy0tP^ݠai_Guևzw'qH.􊼵R {t ]H{`k:ժV3ȁuKҮi gV;Ep#Syl8$"*s@6⛸Aa 鴐̗AIKm@ >͂{sCB$حir ]bU9>'~ewae u,@; #8^")d$* 1ȿx|eM;6x- ;KǕL1¶@)+wDժjbFZːfY)*6 kVLjXJeexvi3T\ߍudMvr-D9cGTˢ)jXkSgtಒJhKȨw/ÔR4+Fx)oSМLTn|bmI!'ep`; .i-BdNrOؖ#űc:got4O =O HJ4{''UgQ!ĚǣZ9(3oIL>N#v5^W02*JAH 6}k4úC;{voS-GB7_GQa^K]ad9_kL4Wƽ L|*Uhy㨒p2O'RyCq+@+&3.}uvX gа\w9/m.6by=<@ěhع_=d1!͎HroOv$a7}"9P0QrjF*r}1qw.R8p&g k#-sihq}%(op"uw m4[Ǿ++;;$/k9#1CD]`-t gl_&jf%Df2jM$kqn+TYYw!|KoɬsIVL2a`]\e }A*@+}LLN5E$ !v5KpP}9 u*'wh6*/L\0!ȳکqt45L0l(SFV u+h7uvŔex'mF<鳷RB@/bP,h2]-;!ߧis1\KEowc( #CfPE+nOd'VJqfgV\{^֭}Y*ú7;eN&(L~㞩nWWՈ\ʃ(97Nk{昆O2/~A,<5C5dс9#KézfW#inD K'¼:|Q]JF=@q`ɠ4ra( cS]5 sk s>n3k^.OCfEVyl\nb-'x>6{ YL)[F j2'ڸn5|\a?|<M-K)%O }+gRWnoک+ ,Ǵ4O8kK5kΡ~(26u!3 d-g[QXDa` eEnz}gAr1ctḣĸ9~y3_]zƙ;^pg3=gy!rXaYn>ՑvFNMG5e])xo| @ i ~{eΝ>9FSjbFwHAdna{R4#\[jҿ87OahW ]!j$Y(4C"Wa.f58@MjظT?h0wG5$g{x5ˈѼmYTv)+W="ҼXYf6 nꀹʟޗK}{x{H9G*姖qHJ 5һDMit$>Pņ4/~vUi a{PGOV#2EMG3ܚs.X ԫ$5t)H:N% :9ZኹMmoaI (> ޵}(<il `zo8.#)ќР<+nQ~[4ֹqq6^>,_n(!SlgI[ z(QزFLQGCPE@o6l6y2"|ܺ2+ vMT]E_m64p1휫4[b8b²hUl#Tض :E 6Ax4Nᦂߨm;kXCmQEGSZMmèQqD`x6OzWsL{Ϛo# (c7tv-q'(iAHk0FCNA $QyeM"[0tɢ q:I1ǽ=RHRX5MO6W?&(і5:p\kEa.pMR\ ʩgmI=[b4 $ @ݑSe&$fۀaJ͂ 090>ݡv@ឞR~~x@=W7CTx=_+)H5.3MyEGi~E=+nmcG6b]@Uz~Քty.E'T-SiPz)SZqKn&x$HgJlWdO7Zqnc4,P7qx =Ȭ78y6א4\wnPŠň;G"1r4ZifA?3?b|$M-rqY<0X,>}H;Ҧt`aYU=W@V%]p`HrF3H[ƘAlW7p5@Gs)Gu阥ǯ9H^w˖Lm*vp=`CۦFGa𿚑q *%BuI>5KOޕ< ?^s("OOoʐt[i 5}ٵ8{>zL$ sBqZ.\ "v~o4筸9+V?M>rb7ywYEf݅3t'0iRpŝåu#2? ݐˁWKx!#B՚}F^Q--9ƶ@=iyp\v<$ Vm>GsUInY{X;*VP@aR)^?|Ҿ͹qi(с=~ Q] p2W" yKc:vܞ$b9i#C;dƵ6YZt "0&\AXv¯y_!U\%ƍEYf oNfPLi2$6<ɌqXD[UuBRZl(>% Ohz! YYм$?-G'e=US[7Bϟ{o9trM$pmjfn$Sx-~zn|;M]%K Ze^gW3Ci-(./g?"@QJM3 *6FdN1n=BbT#N2h~MHS!/k_;-'yPuC UD+)d|3V66S;?R:J\Bh@Oix98p4o'E2>%q V v iǹ\xHaĭ"ck3:M+Tsy-(Fʨ$9W:aa ]V|_-{2ekhM)]i8wdd)l}pJ@rѱLWRQ\_Jވ!)L*8՛5GVQ?Î?n['[ΉCF0spタy|1`1l3h nwulIpUGwлκgf:Z+HBdP۷]{D7) %aFӜݙ"݋$?MC F UTmWN -15#KLB{>t(a6!ؾN5&b)z+a"=n5p{o/ k@\7A=7.8UNpQX" 6r5H*aT]g2 p MW{dXr︹c&L>g{I Z zyhLt Р4~VGu AtL˘WXxy;Xi/AKv}#.fZR/FY2iHǗ~o3?}"+{G̞N ,=ؤ' MlU MuR%QJ;6c(Vav 2Aʥw܍sZd-X ի KtuNC@J $n ->}F˼̅`9]w;9u#}%$ V.Р.~hdg(2TȪD꺴G LAj(e6">q5xM@t< Zarw-,_/.gzJ5o|'..} 0{okvig2gZT]8}ؔEe5MFU?0HlB! u7I] $7(X'[,B9}OؕB3Ga\WZo㹅8-- 7݌i36D;WH{iVjf(92oEu<&A=5It7^Kƛ6KAqy,SYCUQ0 /_9uEG4&@LYb˥(t'PQI g~E=.,'aӗHc5˾nKM"BRqitB-{hRс|fi'ӹO'8 $ z/ uj:=4(g1J1tm2ߵ .׶ UT4䳒{}#[)t,@T2p,j8$dj6SL>c_.PYwG}q$_I aL0~24Zz]/Z7gfS&ɭ:Ōfe4oShc%hr)+͵:<jDlD0`\c}!89SNJs"(po{U`Jun&+ořԚ#V-P)_tYe>b]2?E5BƓǞkEwM٨EZ:Ǎ^e*x߸1dfOcB+"^uޱ`H*Ҝw>1_Y-v] #u*E NH