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 1vT, ]/ HOL-Hoare_Parallel:threads=6elapsed=66.061cpu=351.732gc=7.6887zXZִF! 7!]ŗXiɟ TJd`V_XjيJsĺU=M\uނ'] R =WbЭFmnAK<<=ZQ6VEz%*¿^hC|1­qp$Lk w>ؠ٧VGB`EAl%@ӄE8KDfM0_fA|D&sy͑CXMzZ' A %PRoJgH?1Y!N1S R Rj .ĕaMy XH)'n0 CW^@G"˱%JaA TvR'Wģ,Y8`~ i=j<p}k@7tAsيR9gvD2غKMl)OXP0߸Dd/ `6D(X4O E-+aoԬŷ cT`]W9KfLs=!\_A݄޸SdI6׀uԖ&FPU _ˀT]ZbY .;K<]]>ɕC1(*q9&UҜD1>}jZS\AhSiV'sP+Gp݁.\V+[ >m<-;rG9s8O\[*WF˟&"_<]$no31T=1ǰD`ߛbW(D)U,}}.ace%sW;#PVI,RoΉf&xyJMBcmDJtpSNz;lʠKQM w >75Ip DM{xd#G,jb9B{ۙUq 9`;JYչO ;gq܂@7Abṃ9h-Uq3WGēUv\̑r Ds-an N]lf]+3XHT|ei'+eIz;<0q3 2dH2Xp"s.tA3Mb/߀j^|O,̪2.a3ofɋ9a1J,M2;f:c]ݹҢ~aGѽzqs{!'{s~D<օ>˯"GI&A"X4%wP4JEB~Uڹ, /_{dm xk(`rG&*h#Xy,v^O.A mw[2#XӜ]q3]IM%n YMz00+vf251j?L$]S;8 /Kc|)~$V6M|;2rrDi<5Y4V 8C&CEs(fU'Q)>? U yO; `KSxP[O HûG7x 5LNz֤g`TR ,6a`JEvl#b?еmRD@_챹@ҔMsƒJΰ:ozCD")ݟyln_;@t,'[R`"9iH ?}d~+mr#*cNf?lI8b@t&fhI͍HYHĦS/ 6 1 HOL-Hoare_Parallel  )9*]{ӳ^Ru.` HK$2yh)^>JoX8`rԞ*Jф=)^23h͐;xu"JqJlYtum87,ԃTL*ǛQ3E$R33fUXBD?wF4ގx1Xka XP[?d{bMԒna0E%fEvVHL֛ {#%E¬Ha&Xʻh'PIߝ\]ZiR5 CC&mHRa?l0vU+[Z;2TnM065 Ag޻EMfrLv1+$]\or֗J]dαcuU?jc*ј{Dޕ_?͊"*lS sFU 'Yۚi=}gTaorBN(Y=Ԥ1pͼos҆q*$2iJ03 HIJs80]7,<м.I^rQ⒅lD%t)[HQ1Z Ĭ.>ͅepi\ ħ7i]XaRP6hp6)^N{] @1q)7f */u, qwǑP Z!fcfE-yp U?Z<~l򉭝70)(ƸV2Tb6  8cV!u*h@sRu R\e1+cem"-[4,Z<^ rS9Pl tzU79S=Ar<ݲ Ȗ8~~ְwgd-91F{6?%w9KhWLI_o?R8af"7`[Uk8eFLj¦*Gح XVrMaqY SGk20ׄ pv,?a2 rBwƭZ5k][~M?niGGiC81%%Ab07%O@tB+HgC7vy!.փOGਐ!bZ`_ƷR@ O"Fr$8Nr."l.Lܶ:QLPy%jdQrQm`^]ڸҊy>u: )/t\ 9`I{P\r+t)i|)d1fdV`>^H|fb7uJ1bXkk#^h͍Fے/gC+ѩu9W A>36].4/Qڭ|o`n]7)&n?jiǻchn27!C-Qo.pe,<͜!! #1L*ro>Ǻ&W-v܊I]K+cIJe+߸s")йO')x ]5}'?:іmE(aq,k8"yn2?7o~lĨ99k)^R<־B{Rf!\P3IVϝ*'z*Cfl]l)v[AJoY˂ "rM#q#!]\0Yʸŧ؜OMMUӈi|NzŠLzFL, e HRwuXh{aS}K&\mp?[|A PPb8O$"ؒ\5pwBk!_.Fnئ^ u#/ÑQv!z# os}nLS-7Ñ}j4bG\.k?h|ja35 h}Yw=ڎ__'MoM,\Z>Iߤ`j)8>%y\gvEjyF.Xt*fYۃ I / k\Y0>npbdOpįr#~ro7ܐj D%'F:ܧwlbJyI\Dۤ4VXw?<$p[x*h,^vx*Zy;|Aȣ %䭳Ih`^ϔe^sqzז ,m8|U0LeQ=b^k&VUZ%cb#ƚZ UUuP6RxQ#\#@v2@Ti.t!yR{c)FUˁ[8J@*zYiu҃g:>~aRzw\-٫Y.I~(-(Y%/Z@ Vۗ/ 8̐ė-^snWEK6O""m `e Ru=Y%O~6\һ!gq9ZY`ɑBaTW+Ng e|b1#gcjkVhѴ&)J JdDǷ+ZFă;c!qPȕ( # 3NY#sCo\@s!yWI̟SCefS쬛!`E#p7zoRsDNGM1mkٗÒ@ۜbK (xߋrvҥu _<-9#L%j0)#Y{|k0C.3+JT Dɶ4C7<4`ә'8U|Ų5២:)K1^1;HAl;^4pn'ťꬽ)N]ǥFxd |RaF`NơLtkN:wPiK@j v+9ыjM{dN.kf|f{%>+[[:)69 . HdY@Bqv%)= Y 3_7l+kA,i hЉ)T+syjJAb˰ZP|R%ck6UƴLYDJywha~T5ih!93"2V4{!/̛宑_GJՒ >H.VxM( @@&1c,6/ipf7h 5\\7*x7?fz"K]F;XDjpVӘq#;XqL0"5 LԠQ2>r,SH1đ{\5'HD͸+Dw!}…5Љ ) YG! iض—ۀmi`?CeQf!$L29x?? {w-ѭJ nŽdN+jCv#Ѓ55b95pM#D)mfx[ $F7DZW-iClm>~!ܭ'옆?rNmg/ \jaeHDġ|=vAR'2(qLM xg(gN)P?Gx 7ԤtM &ݔ@u+_Zssw )%EgYw<oqY^R!"x9ǰh{g+qos&tDY},0/W(nGg k7G: G:dx(?q]-<0~u[GNxh*ޝ(& <~4{Ma,)ΚKǫ#"Sި5z3u"4dr4<O r`F2`fU[-ML=p tv& t1P7)=MldZ>h{oz 5ʒk9&<9$RF1Yc5?u$ܭ㾑B{LTjF?!xW\Gks&ZYٸ=%۵ʠX^۟#^c<;:-Jlf֑?#Az,qjsKv>~B z+ vBaM6:6s -'X Fmb5V O (Zmৗ &x;wYp(2 @'SvmcÉ6ӗ Y*ԕCeYk|3K`9Jw$Αr% ,+\]LH:C/&6bοvnVݞg p#R+&Ⱦ\n l a4shPtuJͳd𰶱Ճ00-pɺ&E;m_^['6 nO/rtNo6f.gY͎G·ڰƁȁƤo1Y!rowAV:ZPq;o ~w 0P5ri4k… fIHGF%mx|2 zZ%VݱDV|y|]-ʛ Et-I;bP'"ܝ>x3['$]ѽcqU [yִQH0zHCR?d-)8Dq~oJ9s-m C=-F]#FƝThـB\sMה#I?Q ?Kfrqǎ-چ:z.=Y|4z->lgtDa{}4v@ T 6zN'0q$S|(%G4a4Lz't%N~Sɬ?$gZB.㸗%1! YT\繫C7Wb.~eQ3Y<wZ"z05[_u o0=V6#}v. 9XoJM4)L&%ó΢~(d<+򈲭: LV/^ՋGFVWzPϣډ}1{9:_é hU({[RB}P|-epV3ꪫE&m5B"p"d!h4 ݱ;khel IKwc;Ib<GTy[BoAG{~fkvFo6eP@(na+]m[\(|(6ڧ%*%7:Tl`+$ צF'B)f 7TK9.`4XbzTfSOǽr_&B&Dg$;+.Rzˌ͊w&eMGNtcחyu#R9jԘW՞HDX+Tdޅ7OdObo 5_7g#]+G(]%4$?_xǜ^EZrg_?~[x6$=Ū蛷HW7 .c?u4T  W$J{,l[ #M}< ả(CGGL׺\u\ VĂ`VݝV1[J7Ƅ+4'U^RzNx baq Awh]`[4nr1 |,[>. 'r V9-9sEx 5;k6Dj&{Rjfs~=\G86K7D*H^U#(w+63O-g$6aJ5PO Yk*5YMN&13e'^òƸVh S?vAxĺ㢎1;SS&.]_/UѴ֛=aG!$O? q Rw j|my"і@;WDSMVc5$=+ fGţI,ubNc+hCN4 jҡT Ũ;nQ,|Yb  [9etRRKlfQCi'X{=WꂓŖj+<(O4)1{:,Y}ݩA쬞 A^(⊑445eK:?2iٜV^|sE:KP,*_4,si#~ޝX魙8)=Uq=;o2*;uZE2BB}]OȸQ RyNq7: M.]PG.Z۫kWӸ +V|Ş3Nr 4/VY(1Sm@bZbZpm3WН\"Cʠ?Rj_cj}]ŒbB^1~_v!B=kν`a5-xO Sf1dN[!hW:瓠bIX&HA =m;B " j'hhlw]X2,m`h¹}@b T#p*ǎEۆw d P@?6H*J>b#ҡ^7==plz)3Fqkt䄸DjLX*Qp혃cQۊ $>3 ;jW #dw }"uyvC]~mԉXŪZA&Bɮl‡խ,Ĥث\U% 2,y!㈟خU4*υ_}nKֹfs_'+tCZ1als^{IRs++mFHc 2UDP%]&PE {pt UGяEwR/z"Zi滠` ADItCVB_|fĩӹ:j9lp)Dtg)V\&33".{8蚹fUm6-w~iz< /i0͟3/5Q} ?c!Xm%<"Y"JkS$d\JkS|MG磩DPadHYysɛ"0+4$TsN M`A˵ SFT,x;]ς> n|:0lt="(*yԅaIaVBz-]UC4s\ǓSw agtQ& *F"Ь ZnmdH)pjlLy/xf@/6~8H'I*NLs.#_l˘)pw>oz?@ew9~V PHRfWs3QuD>h(M@ @3%laq2|JN橌vo(Oy_l:A*8r ayp ]3~!ZeIjp.񠋀U4\YUJ!{ˡ1.ZTPC!,-*$jOPw -^,*~A:d+B 'گyV,+p f[{W> k/,P-|k692rs4?Lzf;[]^2KZύq7@ ]/9Jl^dDYf7"a)~Ŗ.ah ]wgngF%iZ:h@CxnPF~<x*` M9h+Sn]|F0^kHJǨmIFiѱI붗ٍ>MJې|-#h=\AitĨ`j,'&k {W'4˲< a7UUѹ$^KHZim66p՘-ΪdNb/B) p}|u"NQ8#P]6NJSk^O a5Qv/:XL-m?$«#omaExF/ iY=yNsM,~"5iVC[btnĊFH' n51ʂQ+DSx^0Fć\|"(q8=sL[WXT;t$Ye`DniElmG_r8=0x;;X~kw $ҙ5;157≍+vDQTHyTză^4<.9A(lq05'k;`໴lc,J=^H Ӌh_#FbA^縝ZE46E gGP0gHh22b'9 lBM{To"~8kȸu_TEu(L LW@zG ]k&R"D䳛4\|N*H9sɡv b=E'Z: mlRr3G?yBs>)5ew=Nt\uY s}_O&+L^oE=׻K!9J1p։B;bOtsgնl.+A:zZNޜ]DVbGQyEtSfI U){\d\~z[SF-̥vϭ+©<1ߘ/W(]DmFG|NJI`UQEײu.; ^k.0)RfeL1Հr<9@gt7qF?/$:ѩ++qֵLr \?/ Ĩ !3I'} 8[[5L :1Ƿhmk :Ȭ rGÖ 6a#؀@Tccn 6y66CR~8vm-K EEq$˘ܮ1n4/1,V@P_ ղޔjBâ6 3.87^~ ,bUA,!-5t'k_)"ydտNYNpItWŔ؞z:T5~/6fE.#4zSBs)4gG/_0vQHL*l诪1 !TovH&mc]Y4']UM1 |C7q3PX3G-J‹WE4z9b;^ 4[7^o7uƠt ]>7G|4 (bޱ2p)ЛE|*t 1p,=T8ʴh[N}Cn9B`#"&Zr >Pb2!9[l;&i F՜b*`y֢u4̣H^4*yy, Ӕy9B՞nO]HE{Ô-'Bme(G<Tmk0)jv@ . Go暁8\;~cLa'_,}FGTeqr愍Tz?S1T5#]42lTW`.2#99R{uoq cD,Ttu@H(l.ʁ~P\WYHkÜ3ya"7CY;7KNʯC)|)T0Kǯ0`y tsAR|_+/-p05zMG l+'4`i!jN~9mhӻ$^Lx .a l\P r7hψNGO&ZRcO#9 buQUWmyQwëcɸNT ԏ7ZHα/뜻kC[}D`/0Fq|5녏қ??ua9 XsdP}kIGy@NJM})`n%Y'DxioCY>FR `to2&+DT^'y@2d%':TZMY$ wuv_D^!wk7ɲ~q80@Şy!cпY%Hh|={fYI J|A1a 3NS~uDHum3 }hW<,3@m:@JCSi-8&}hHފ&kF̦Č*Jn{uMWa\-n\1PExvü=RՁ Wn3Y _>=Yđ  ZmHk8 >TM^Sa B=ې>RVE icX%)>Z(M>~4i p#sqzh+ mX7M4C=ݏ)8nG5֞eE{+OAk>e/zpP# BJ(rE\[5᪖͖WM+'JR̅.*]zj>`ΈoB|| `veⷒ_C$X d8 YpGL~uojstgųqq괳nx:mr׿(h>13nD:#%4(DM6 sx8#Tc=&52 # *5͖F(||* г8gHp1*d5Kȩ1Ax'D)c`ؕcDS,:E+saax:ēi)=JW֎R9v+L9FU rXXR"!|%Q1~%Xҡ0xk34F};2l02sSR  L-h`PM6]hV10~@V1I.Z\u\Z.|Gȇy8R;;VM5[YVxe<<] %&t.STa >'GL.ҝ\Aj#!HaBj_:l"Cma@¤>zjHR@Vn_ 5ܩdx\U;ԱxΥ ԗT żPk|D^5=fq0Bh"mg>s}rEx?\. U_&i?EYWw 2;a {n s9e54s%1“_*&m@Ii^BBd6Z0h\j*HTkW+~HmeVF vuK'h؎tO`dOQW樨S|U@ psNgN?[ t<z4薑]dL*b(|X}BTG?OVw`y' é,dQ됰5~?Ec!IK8 {%|~h P%%gqwab$C/1k. Bޫe5r<`Nf:|:!E,')D,&zuc +)gk\o׺>;9ʊ:<ڡ(X p1 7b[E>+ kk$r# /p.>za]lPPXTs;(Dpuo^R#Tֆ@M uHXcMOYbW柅.5WiЬU_m.mr\j N[4i]8gJMnA:nw>]TYY#&-VP̆,5hTw2?i㠆J}rІwCAZAzǤ l'ZU0& 5Ū\j)l.\OJkĿé{i, PXjjy?f*]~jae-À1E;P qp%FqC6ׅ|7pTu`[nAC8$9AE0O:&\˹C\ mc#+,ZAjU#\UldJH-ᑑ^2mɦ;8u ϲA 0r1Kj|nRkͷ[PG%,zY!aO;G! 1ϣ;:aX.Iߺ󕢙Qk:6Uq'p^H I=@vՐ3H8 ӫ+ұl!?j> xJ5;m;g2ƌ)zT5 󴍙PMmUɑMFKz]yjwm(?clh4 C#ۦt!3 ^1áV;>`sT!1'*CPh0s^Ӎ@K3^ЄtġrOP+Zz6X\k6iC#eܤahr(L*_ :va6Jtܱ\i>yPegQ|z%qiZv+Ū 3{Bs> `lNv`8a|s3Vm;Z0]y wSyoqfOPS-t3DF!uRUQp{oco "9QũU+ћ铣m㛌bjo^n Fp;vwˍ:C,fPmxܨm"Xa:*Ot*`.1ojPbkmYs'Y8pX;ohi&I!Gdsk-vZO1XYyufs.Ey =.CVh^|~\U(Կ}x9eI&v >Q&(׍kGv1jTq S!FF5@h;&E/mne֊;cyu/\=Vm 42^%J,K0FJ_پr %ȱ&Ⴤ10 O8śO 4ӆ??LR 5xQ8d..; ̇A $]B:'Tk0@@1+}sJj=lJ;rʾTѩI fapḫÛGޢ> wD0"38^ѱ{jL)Ц=WΫ[ЙeRaSPPN.$!Uvlp3?^;;(yW"~ӓnPTCH߆SOԞΈ&νNJƯ6@M%U#Ქ<|l5_gC7@_ /U]ǙʹأhwO:ݢ? ΨQ>ziꬨOn7]'%C\z sii^Al1|At7h8*ƒE  dd'΢!?BEiA ՐY"y2ϊbLH_ŭhy`d-҄gv50"-Zѷ+]n*Ky][pH7>/W#$T$JonN] <䏝T GG?&{qga& \LX!Q;V…8i,wέmH."9䧮\Vj\тh;0|=\j3erϊ\j[6N02%1z;#Iж&QE-1Iv-OՒǚPb%Sl8~uqKo)5RFH MJF(;ؘ/GlԨ[7ޜ)Xm,MX}*/X $͸74etMi.-w``1;Ca4v'"~[|pnf$A5"}Ne :Dwłf}>sȔ)ЮA?agF:"e.Eh#O9Yg- H* k3~+=5Hv(p/YiĒ6rkݞrԡ%`co'pzXvwRfuk} ov^ $\%OB09}oauϿaqLP,>|!T;|0dr^p ˫Ӱ{ĉoDU^ F&HPDH'ܗy"v+?욤\Fa**eT?O8?ʼCVּ61A=,֜CmVgk*cK6lEe$aH/c+"f3ϱ`$mJu=+a|V!6kNP 5ڨP}]7P֫>c%MC`!-R95H%.ɴiqtm u>3Nt*Hq뛵ҹoc)1L,,;һyG*لx7Ug<&R0"e>59YBw t1^酈@93P$`29Ư~q?nYZzA\H{( Q[d3TPNfKRvH'UsQTP9Z$}7!_̰CDvtN.O_+f첱Kȏ3)c9E/"'0L|y]c8*`0JxE+1PNڀӁl@ʒ;?1C '(A^2#uIso1{$qމ<.aWM=n9Øƌ܂K׹iyr`9h(7QU4_KƕK~nL}&6t984mW%-Pv{@X,H0X P6"{ֶCS5Qkg`onKfbFW(3:@+uЅj~d~*"c(H){:%͜/#+oH6) _ip٢l FVzEo4ŕX̣Q0!n9,}B&e z.Ibu M 8C2!+#{}e?*xc;MuLLmÉ:8GajN4Yse @x)^7!) ܀/Ə8nhLh 5^y)C9ɟn(1ܖgm,5Zi|yK^]7rM`O7޼`ꭱ3'XlQC\᭡6۳{ug1X!%3 Y5 ׉@n1rU cBM- o6ª(o6o?~B'1fhEo"zG@4?écSxsq x%M!XJn:nxo 0\So?z`4|Eaw3:kxzX;9پ45惼J.eJ;9Db#ޙj]:V[vr#0PMS =cFQIN53$&4_IdLT$wR AE]I7"Qi9brq٥ʑ+Bb?Wd/(xK[39؉-?;)>e7f Xd(xgܣer駚<9"UH# =$@pƝ._h \#'C.@̫y8M0 (C{5Ky[nܦZ?TІ1<|kr`c'}[4Gp$qjdBgծUzf-p|WnS@{ÃԀ,#C9k7UӘ_/vAyb 1Rd^0+MDOg[5d0 [(dsP"Ts&75L!3fka*kڼd֚+ tu]GS62 t#0 p+kP> 3H$UzS; < G[*W >| W$X3ky97PZ |1ab. YSv[Ud:ʉiB姇7TzN05u,[1CWTW-f7$+ZIZCnhuL1j8Сq $o}+^2PS4Pq@bſCmsCo/ɸWdzj&$J!hܠsv py^j-5֫CY.H ӿ)Ec-H58c9wP[O3.i}(zsa^꒳Ƀ%,"ۢŏ!z?! 㮂)&6zEp?.8$nN%!)ے*ԘYмQkя6b!)7AWr$Jq>h% B1;Y;.JrJv%0eNw3i{oO˸ۥތkՅʘIvǀ?OVT@u#+r_q>C* p[<U a::&v)< )Y 6=YƏ{1?;0[<Nc1q|0NNjG CS`K$bGgzf6llIPǯT@ ˮcsTbbqI#F3pBNZOQp7&K壓vRhT+uY%_@!'}{׶Uǯq%t6"Y8mՄM Å>?UԵ :k.PO%JBۢHzb:q :(p޳4:> J@v^AJ6>p0,Xn5.SF9 ٚ-qKw ۿd+R(z9>>B1[D@:f=|Q"LU}daߎ4{6-$'WmE9jK`@zk0ɍ(Q,`Pߛ_-;$,X)H堖qKLÊs[hNٷ*[Zpd#TԔx6ۉ 8aűìq1b{Wz$Zo#pQ6Q=)mRO dbN2zaU ~v#kvU?4nu*Գ'2 &4rj96evKi饦z.|'ˍ0\"Ъ},aU/jXv.bMz'|zoŪL5*} rs1X *x߱mиY.VKZMBSuXSho#L}=d/{옡P/TOíp!`\X3f/žyvo6xNğJw \Q'Pb8>db1rV-wHVl;/.Խy/' 80Nm)r9|E7-WW L|J @c &i$tYz`nB{ƛV&R;~rBE'K~0ca=W <&(V]n`k%ו_R{E0$<%MwS(_@ [&״^|  ?8mX͉ER[T{fU|a].H6{_#sbS%Ψ_dT!q`3%ن$3J,%M KbD*ϒ4OpI2gmOL"[f"_ݻ6[䙫6I\A$*ԣ zޥKb`ʞ-}Qrv.).9{`ׂj\ LYWMmo ` hJ|&&4\P)y_ڮ$x#"EQPxM)6ɯEݨVx鲷wn1/f'83|cոI*`3qF@Y[}՛7@t)$3HwW < [s|1u -Y(ɚ!XGT3jbB)&z'۟g#Lhᖡ]Db XVX UOaiđ؄҈&a򮰏;`O:Y'%;)1c}mwXeK$d9mTb2(n_}d艍 *qHL/n,.=b%Ҩ8'* Gi+PHA;E:/4SwìZO7<h0&'-^j +3 0.!O^!1ݻE=u0P8*F])d""$~pgx458/٘owX2e0*ᝆ9{tLU-aVsޖ2L` A=XoVmV&Fp}%<9bb]NO" -,L,"RAX{cWOVBG#Hq}k/ [YD12 j9t:JHszKHQm8>}%Z_( VE;2eNް`5chI )"vLMABڿA5sv<z΁//fT">Ib&P%(M|V0g<>jjue(,D =)N=wVc?"hK_F쐗d~. QFN|HʴKèNJԲxZmu"\3Wr).x H~ d7"_ X Uh6jזCRz/ڷXDY") n|&Ys$?gY5ZҾKmD{3DbS/!U eLk2]߶1G$dKk+{;UݹxUcP Ŗ,fpK/XLS\)%0 Kc({-J HOrZB݉i-9Koo%(9xNfX0.B`P^ K? FG<ݵLfiJ7xe}.lZ;qNLX=S XD)Sd=9aU2PҲ^Ih`-}$g,KV?&m2ö!;+[XaiHENE&]ɰppA_7*Ң&KD7,Ub&KCIUYhh/p7V)d rQ6ޥ0ZCkO :qLZj.P8,@iײq$DšU{MD IVTWI5 C8!w&*&o cg(h)t2]&<`w+ڣ|N@B"ԝOa~{P R}L!9ժtD&>6o;7JWUol/1tKA83Y,^#EZ{\jNxب<^:0u_:~֑ To 9*L !6PDkHE-:!l̿]>Q@N/zLcCuҊU,їʮ񼎱 guV|Fd퇱6$_ 5k#Qt'G1./ {goavӛKqw)Y@tKZF[\Zzw_D0fB7?#<'1Ϲ 3w[dIm1Wpb` ѣ?gyf ZwFQn=Ǣaj "sQuT\Չ;u0wag ¦s7C՛N'{$tɼhfqAu"@$39}[e-wa.#soJԺAݒ ~ixoՄ9+^^k&Us\w367wU~gw$,F j9wlܪ`#I&2@K2f&쀸t';z6\_+/eX^{aA_^_ZC&s'˷zyO8Vg&|kSi*|tqV r`yu62R&=?g|Q7̥ήi7{5h=_{'<:We ҵ~dD:Uyvhpo+韟, ftqӒZ 'YIzM՛vZx 2;*LeOd_!EԾGMU|& &|0'Ȱdub:qi_+ތJ8tXL0a萷e,T@hxr_~0T+sDQh3}\PgT NmєK/$DV\=t0cT]T s-q-<{ʵi7z 9s"ɬmAT5 6-㡝})zت;u"cd yDj,lyXș(w6og,aBء~v<䍓`Uvط[.QG@תKHSw×vִ_A:[F`$L}jaV"zPFR҂OE_PWZRY U„nv`}՛1vL:n>7RjO I=,Mɷ>vYh, a-J%BEp(34eG5<\h0#-a|`?;7!RpCV7 V\ OC5bl\nFmI;>ix"/ĭ 6f@ﰈԂٌ4s 7& uM2| jeedwɠU׉,ƮN|K>C47)k1W4Ľd.4=x9yDX~ NV=%_*R%A[ d)#bS{1؊Ik5ɒjv,O/]\qҗҞҀj7ȩd|jIKR{kHPTIF_H'mSm#w׷DMu,upgvj&:ۋX]g՗ ͷO ۞iq__0MȝExHF~f;Jr.^u"hry=rětI]'IQkDC(W9}STtC)|%72`nfa15K"[Mb9Fy)˸sY%;HJYv%h~E?8r:]XRlc" S_@Z OF \x_Ϯ)kVbM[vIxyS2TDdE[M/ TT C@~ی*GPjڭ'opB=@KUj7όOޯE 'ijq 4kb)`D`EOv4|/M[S*y$3DDVY?MfzףU $#Fu%qƛ+L0^鲎?K'ǻܘ'}'bJ.:!{*qČ@97'ZW}WD{򶠚{N+)pvݒrREHeV8(SP.y"Ow+X,r"yC¡StхbsY~h=v-NsYd/`oujcU=iOr !*D8|#EM#"S:$4 d_#Ks-Oσf?%6УpD IUsLTF۽|&,ʾEJl.oc_B}~_!X@uZ] hFYA35yO>{`4JʠzH*U 6 2R*Sv? y&﵈&}{\h`FvޟM/8LZS9Xbb% u}V t_±Ry*-w.ewTkojD bBabV>8LЙb\ jKƶ=ft@H0/1<&)vNnp2~G1V(,&Td*ZCMç7dP916>3Poe&g~cf;}PφZ`ɢpzCXE ^5[:3-M=RU']jӤTsj}&I9dQ6Tv;I i#0g~ьI(&w, BYr TLШA )<唠;(h &Ki! K (iOp*/\<GLtC_] Z-"g(5AYZXvbї݆C(yzfuXodmC~W%-l`?!;P7kΠ0 ma9ɜv`), aio/œ;r.g1%0ʛ ]bW>%k5|pG+PS#NehV N-}gjP]A9˳U߳mΧ{Bb>»_S-)nA8 ي;6WLvpgH]2V4_.#8NiFAr]7_¤"L/KhE`gׇᬍSM̝)"mPm= 7W״)ކ%镉XcF0A?#Vabk~9͂!3L;^pJ] [EDqUwV@fb{?pvU@n/RP Z2pB{lU}-n)d}HՌD2.3s{!dregY[[ oQG:+fאi1r^zFy%J9aX,>Pee˸gw'XLWƔb^| T"-|P!U|nP?H~rИާ^ѡ뜀l1{jE64&KL6B[@1kv t6\LFdqцb?BO) SUDc$Ⱇ!+I3yo-UKibuaҬp8',2B o۩6hMHo ; @51YX] : [L bg^lǼ(U&~e'= 9s0m~C]9p# i넠Q k:nK!{,|*[sF'?L4[ B@6$O@, .kDtG0|N8$Me|xw1Z*GA {"~rQ/\Ntq=B?xnsn!xqɎIX ILszlÐe#wΰuSR{m.ͨ!$ 2).~9tx$dLBu&'ouhV芧nX`9qV 2;A[]\(rsS!0w–^5>8ZŽ#,lqq' \^G(Uz +r%J~^xڿk$SN9zjMƀ;:꺜' Tg/j>= S;$ɒQfմuߠ {`q1^tyHwJ;Jb2U#Vp4Z،?nhmv\QAITF83sxB Í%αH|f!`S iN}k-ʹ_Њʝ&Dm G;Vg9ft?+C؄*EgJ $MՍS9:Q&،RA"2@,{ITqQIMzCX5]mh٘B"tE!7: :8>mܭXo]Q죶jȠJ}q+#qyOykg daMēƟuYrM?295*=O ؇U+r#>5x91 "jcg{vw~A+OZQ 'mhxLQP iH];aH0+9(N4uqC,I:x '}W2IPW2(zLNڸ]efwU淩(|cNd+_xm2ϓ;zߞ?/®*+m?RCz4V\eti xrK& Hj0<2eswwP)\6N :VyC$v5+ _=^늾zLpCCn6!'YJ~qQc0?) :/MqJy<CeCU*8a$o ܕZ?B[s# $^u/SWO:,6xxi;UUOs( },īy͹{p4pgĶ0_oq/kh~7I'X합J˴3<׵uMt5p=ad/ dEzz ՞0@ Bl'`;ȥ|Ssr`o! +:θ!E@~k`m,O e~&b,Ŵ Q< Q;2sDkK%5 m4rSCMjHWC#W.vV"o=ߓ햕yRUEj\8I݌iq P"~ Bn<X M> w(!N2S%Sj@|WD7<}ްaN&<*1toBd9U!Ќ1LAwZ*rwHB)Hi-%3 a G Q ,QL؝& 42:wwʱ .q)XVK 2aUnY^׮p ˩רy֗jt3V5n!\l=R-P_;}XõCvS,fe$UiL&ifyX X?,y˒/P_*A5\v-(%`'p wT q#`͹ CBZjg j,^ߪUŷJyx8sx/%DO<ߝ#g<! ~֠0++!_@\F8Ja$Ley[4ln2/H#qv8 F ^ ׿y |QNrJ C5E9z1fb"FD#w /MR5wܾ6yHRRj:Ƈ*{T0jGn $m )w}D-!] b OJrfI/,\%_fa8Q `-DyMQEH9 $VML5%ǐk]krXC狍9Կ*cQwdWPWmrm9s;i1DQۺVj{Fmxdq-M{z`䄡0R!W*n &^q#C xUUijUjFÙy(=9:$ġj],cr墑~ZuUuiꤛZT0LC#\dh9UEo$ҴDD<45S3//\5в%|FE¬q|gZߥ XOdxIrW)ž$;So)¬ &zo9xtHaP*?fl`I ]OfAaXcpHNs*`@rޞZrM_5z-[UK "!Y=]"GPyv Y+JIEiʊ'ͽ4Yw8s`юZfTGΟ0OL s\Ln{G$Th_uF ,\sv﬑JNA gAZ/k>~/E6E^h:509t / wRđK 7GC0[Uh/OoKkĉ 2֖%zB 8ibo c% "61G>9]Xz8D~~+u46og?둻(R]NǫWS0z37cX}4{0;4Y܊(oT!|I#j[o@L/ +1xkJ?*i*T4UE:zNe *݂P&T=Uz&YWIE3LoĈ<iϾvvoBT.uY;%imAб00Yt54jA<d,)`=K!A I%|UcK9\ #DkW~?eQs  dp&-eO芮 %]+^4\9(_y'|Z~R >|4ħ;Ѷ9Ð1Ŧ2!߈FtbsA` 7)W{ճSa4|]O#3fi*_rrjqn2 ٤)t.Xo'߄h&sT+CPMZw*WFjE k%Q4&p"~q; ҽVxI1h=Z~gԜ~|[2<'*S|o -T bZntM8wܭğ1! }Nt<σ)T(A&~fu]L u!WSܴ8m;RĞG9Ccz1Cc3{Gj{!d>G:g ;P\pZÓSB{Wq BGPb{S"=t"8g)^Pf\Dr#.F%)]FEVpAGwtt?R;n&xx a|Qum]~qSwHĪgjqGBõ3_ڡ`N* iQj0`@ J$2_WxfiN8eӄ7#sAY4b4-|iz/c Tàiȗ Mh S@@®g.1X\`&QaaxfC,^A7!p3/tM S^_sD0Q4i{:f :ŝHd 1IiY-x|ޑh311t*S|%ʺ- FB nLJKU7ZU4$jW̢_(2N+r K+ݗ[_V™]q>S@Q\RfKޮ9@!;~.,d2c#/X Ag$(";Jڃo&lDj#32"9q ZkKsWA4A) \PWI$P%,v"hA9TQji8DN+?,o0Oecv9TTmQ6Eᵙ&4L 9وU G&H^pUY pelrlﴨھۜӘI+brYӬftw @In I@zGNfvee __+`X宩stQi yg?Zpy5R'( _6sT=F'j׿X:Cj] ~GAlT\kxٿ{ACR4No0@0J'{y U%%ZMA*^ _F`evt\< #{B17OAS "A:6F_W [;+ܾH.JJW[G]5 @}ab_RTKt\[bTK=Lu.aj6\2Tn>çC9g|ODrx~4 PR)c"ܴ\Z0lx7$)~9PKJf=CM83Pf/I `2.c^̚w$*[ ׂcK$goO{i;cnU @PmVI IP-?>ܐzE+-86\p4FÍA'Jr0(;q`$JY';y =!5 >mI% 娢Toqـ9v.*(A )l5MYL ~"P6_eFwPppMj̡oۺSbAf& ir!M1 +ۚS@n67H3%Ka-y<3(:F=`$QӠݤ:oPJ9|O5S$AMF8?u0YXKSd ȦqBc lf*!+Z9?qgVH 6Z;tHT˿ޏ'^r׋U=cIpk& 뽴y(ivzQ8MwnFe$6eBEk{4#Bqe\5I+l"0Bmgg9`81S|0I|xK(9*TἮ3d]HB1S ;\@nxq1Nӽug١._.Iqnўx1(_72V>̿"IFRݟ~:H,rTA=7#|ɚSt >!_.7M[Cw),.5V/>S8b cisXK]® K-y["c`)*('g?`ɟ ( TZn?@sό HG=ʉMƥ:(ƭDPY5GCt ? '_m1F 2]h֗N!+VSI.  Jl ǮRÙ1QͥҐ:;Oۿ+: 9H~=Q ' 34R݄nʒ8 dc-?ã̓ $?IClC]:nQf4b:Gy]3﷦V*1p(Wȓ5XvJܔ$HG h.X ͺA nUpTEkcsǔ>"@Q0[]d Һhɤ& !ge۔&|!Izcޜ+;DV}y.T(D{] ?z3ycUH3zyn90'-.v NT xxLoq]Zؗv63Gr> , J櫒[nWNHH/7C@@$otH1܍M:A:aݵPg~pr\C{ WTp"('~%ξc#>\'LQƂuuB!tW+D5s^rC lАm-A+u$Z]H \_E@m$ЅM}z>g}v9~=SiQvq#ިw_:uJ_Y&q U̇geAّ'jYA y!6%rY2*)2mlLZGч0cQ[(PFo4ɚgdF>w՜I3q+d۵lqU?>\?{"W_bG`w$7{y`풚TrẖKj*,ƧXI},.,ΘzwX.}4vI7ꭢV ls2HV`ꚠǝYa͐hl'f+4~ S9WwKx_XS )6(cj]CsqR.:d$WcЏXZ'@NSlM7Sj1dRC }E3MPn,#fkJN&yFHl e>@^I51POY9 )SDFm.x/5IrjC`qj$br k-HAg8pn'eFui` G@Y9wS@CY xQ327^t%eG;PgA.'{{k ;ZSi?tV" 7L.?1w.*7qq&_k*iFd!-puQʓig?5 Tpe|4w?$tkuŇu%N'-L鎽d6]3?Gsk5L#VL')Tpur)>yjj*W/][ǥ`]D'0@kA@,Y,ڔl'Q<l[C皷[k[0sN):Лy:rƼKf[m:%'; YWay aYKKm36El-:W>; S[o}rT]|Eg4;nɇvB5f눉bF ](B2RvK+NfД~֞/Q./]^IB!)4'?Bt(y{6Y_I<80?RKoZ Yzfm!; (T JV9U= y/Wf3-lYvz.q=3 t5*cR|!Lu1LuKq?sby3,s̩t#Dyz47 x¨CkVEO:D5un+oAK''5Be ٓ1i, c“g%}x:.'CWu+AM x-9ch8 G58S7<-Yo;|zF;OP5348o4y{LRphj_iD<QNE`9Nl0 ]:-Vծ|R@>1S̪" aVBd=TEs;|0"jb;bU2A{O`1rao;i| %b{y*2k/AY̒aߞ,x+mjQ>B43jGn *ϸo~l7#L=WF+)rѵjC-Oo\ÁTm9}ݘiC PX8*ji!FoY;>?z65rG㵕=;$T#BT~$]*krI!T1ȏgj>S./'u~=߬H[`dBZB3;.ЖA`U㵘> YbХw(yB*_+o겲Ըiz{^cR4SZ@g`ozt"+ »Ru6)H{\G7ɀ&J !S_PViPBb3JRq +ckN6#(eD1+;=f>Y޷f xʟpD"7MW@UEGe;F{:ުeYG!o;*xoK^ P$3Wy!/@݄ I&\j{f!1`&E E-4yyBU)MO}{ J |Ĥcy "Xo>1h'=ZbGA_3) |oZu=Y5q*e* ,hgR[%RN ,᤿Tz~3P/R^O_NT枋P.5ad;'1xoxuAW]ޓZ1=Qh[Ixpiӄg0C}vJ䆵ksqj%wvg狈M1GJh@%lU' (;XUT@Nmj:h/r|qI)՞uhM8<(ɪOw0h$FCjSӹDszyF{6t tǖIÏ<ȯL%ƊPםgʼnMg@;b$`I]Љ[IT'>*s?WD ]DPzV: ^#iKLO8 >T?}/眏@{\~/m*' &}iAO9IY׈rԧ5ֹ<@PPG v2v7Lj/uBhGݍ8Å pIu>3FuC!R ׅG:EI0Mc ݮiGERp wƌHp`JK;/98]B)6lOD>r%n,m#,b֚H?A-!?I}Y~VuB5w엁H>T̲S;1l@G`dl-+2G 0j#h@goS덟5G|t${Yեjѭ̣~ͼ~JK:0즞n4VӱW$a@%"̇%$Sp i71 J1@uąiq;8FYw?R+xsH<b+N1c<@nyiIT9ԽSՏjt4_d^_GM{ {ԭ_n^q,!'ls"-@h\ xC9pr sĉ8eao[Aqa6ub285 NRxBAFPq!2:9_FyGMulsaG%lw)艼cÛC4Ww;"sKboÃ<4'Z: _bv/D:O/1zNbpGs܊P+No.9:asY}}.qW_ dLqI@lw,eL8x@pܱ x8[dyg6ݟCGdzW&~ULh4'Ъ3M.1SFZO0';>[ڽ݋)9_# HB1Ǧ?jO$wOPuxerς6$TTiMmߜ?-`Hd8j )Lâ4fXVs ̗KW\ǧ3|LMohOW ¯dp\-fJ\qdE@PsVӆɖE@|D_Xpi䬪_ "o=qi$?ȡYddhE7y~D{ї>u 1!mPj(-.~WJ[f[yAPW:]J8< $u=D#ZH&/cx DuNcI㞟QVkhl2_ie쪟Hǩ0 QJ5Mrp?FZ%4X,I(C^QypavߩwܨMKx`g2EIh+2fQ]&UZd, a\x9sЇbjC)P44qD*[a\@ 耆-n|Y·۲ﳫ.ݦņxۣ2@ o=KB!4wbwW+\X3 L : O띮.Kqk}R| jPXJ\ߏ"gm4WrKbn"~GIh4ԟ};ehTpє<)ф*nebr ]VBE\}k9c؎{ "^(BRhcKqD;ͽNv/T-ɦWE Oִ($QVA:0Fvt@۩#6 6iEFf5?VӳJ!g.x^H*S)R6ZPbW=׷kGnwH6gr*e3F j F$M,$ȕ^AK #|X@ٶhq}nDd_5=m}M H9@Jr~8a{̑]pIr *m,9.V#wb'KGx+;tO@[[w۬@|0R87a.Pߴ+WcY(<ŮSjB 5YϠd$ktt(lp gNW3qLKwCFOLubK#s-J[\oΟyGȖF{[0/.ԀgYZ848441f6b12658799ad34088138885df25da8e44e2015e5246e1a7618d650fad22191f33705e8e0c 8a8103e86b35297b75bf7c8f4f146e87c135f0be