SQLite format 3@ .0:  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 !|LL ]]]HOL-Proofs:threads=6elapsed=550.248cpu=1322.936gc=127.584factor=2.407zXZִF! Ԙw]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡ:^e}j"#hW%8ˡ{g[8Dq!ۛ:޿uF X'uʲ 9j$U|ݽ}hdg,7 m@5, \bM>-ȩ ԻВhZC(k>&{ɀi%v;>eNgREUk6u\(,<lelosy]iRso'0.ָѾZ*e=ؙ^lE݆p߶݊F"5NkÜP0d{2uRO d7ZX.ڑWZmቛ DbZٸ"> sx لzK`u8`aMq c5iU] YFA,+Wq/l4JCQ免Y(I{ 62Lk?ٰ3 smh^JU*O?y|T֞2{XCe$h+d?h{]KT~O(V0Un=dot=MW3k_;`߻{^K*q{9 }trP^~BϵoY8͉CwiKoKQ1j}Y0G5?!prO- <[ 7݊ >, x&) ݤ)̉'nwNk)nsR/ ( 5'rp(94rI Oo &%- QE.+]P%eC\ !8'4냺M}.T*>HT-lde\r2uC~];Au1(BHOwn>ޔ$E{,&.OtcćCռ5bayÞ!MYþv)M 1{ɤ7[^JxW#Eݷ~smК 8&9m74ND\--JpK';(vYȶ䥬5>FѸvjz{3U[@k9 $i< .׍+ܲGpgyr<=B-0~֓=RBj~:nt0-V?8%&D8TWO> ke+g)z+{Bn+?_sb/HYu cZO V~L3O3cIJ3Uԟ| sO2(O7np Y&Kzيv}JyTg.<D]O]ulY^`\řVQ{VkLRsAD-C<qF/M)#n* /1 kZEesl sJ~2 u wl^AfP_d-l @ ƽBYݙl }0LkߩuLyԄ^@Ѱ,Z먥y&7[h#sd1nkCњPV!%{χ/:4O@luʎIMqɭ}PRY1Ƶ85Co1 Jg>T[y< >rIq]Do3? MAk9-k34_M$Ms0vFLݵg&4lUbOQ )#1s\ᩀǶqx ; wN?dS |ͻXaĽi36}~/,S^iNUCT}S{%Qe%£XWǎ>X9HЇӍ]o{s(Unby֨|཭[3uk\0^:/o&eTك7.pl9H3H2h1%uB?l@"Ԯu?H谅jCjBb#hb[c,nł7~w}1P=Cck\{<Gc;ǓʉHg1ކ3I8>SNML|^SK[YYR[T|2ی]@LZZto˞WvmHҳ @Tygf8FJ][gE3@aF@wbK3F -S~&+~pS 7d *<oFYٱ/&CٽQ4+p;3eI#6DKt$JGqW'7OSQ߫Һc$s9oUNI^BReŵM/,Y ;8V^=Ќd˶x /[jZJk}OCFL_d) zoPrp<_TD _!Ņפ;&o/[޲9d($)z\Ԕ!.WU4l.ĞǠϱ9 f`z }F Dz37WF'Y!ַ{T ɬr3L moH ??y\l-6_^UTQ S"`q%S&: G( %ŝ[4|]>Y>sVeIreZqH_G/ bL5W "~Q[@}Qf/c6u8/@'*es 1dsG\J椩̛*t4%e!bҊv\+=mGUx(ja2O#JlzK!KCM2JHFj6"ϸ4靋(T7x>BlJ}*g 0lC5 t⑔T<=N"|n!9]Y3ת@-IzLmZv62q U-ԅFR( IZU2g2֛ǽxЕHv*bjkrܼUU>-|Ӈ`F$ +Vr5|g6)0xv~*c G(Z_ð68U~]| 86D#PeMMڷ9SF( bS|Q$~XF:Z]%n^YSS Tq,'J[{.SM7wHx@JVN0~I8tM5K&EQǧ2 #Ymq;vviT0 %qa7 a%` j[P*3V<-2h;"וG$-ѫBZܚ[7&'2 \yesAZݽ`iミ2}jNOm5&ӝ[~C^!zzd K+iS>2uDPP@m^^jړ]YT jl1H\$? UtV۽7ʇ=2p#!чv2-;jMW qA%΄v/SJ8{E(%Ԋ}$v8~^` #X1~RPrl ~DV (lme*٦KHdW\-bRAo!|_@6-\$-+Aw0?te?!{~i/&gYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*XKAv,qz`ć]~)!mӌ:QN(w%ܪEo6bOΣ[*ORSq:.3]x7ZlIzM˪HYy1K<-aRlw;OS|$h)^sq_QE{!>P nlFaHIskWQwq.a8Ή:_8uQጬl ~0t}Tl .FNDžqGE9'O^!.N НEnΜ+n[x„F2rLKVj##ꙝBvQ<2.B;i7NᘙVF*_P.t!)abyFI䃪d>޻HL?C5ѓv6:0$'Hg qwU\/;QOap$RA2l,;MGc깶RFހ'_h.~}*"tNhg;iqMN{& v>#c1-ԛHàَĩI6vl>PW=ٮ1R-mfa%{@<>D0±&OW2Sz5FmOs;)DeخȾ%\q o;gJ&<1b,{IOE(&\P};Mm}$]/+83o+5 O&J6k]5W7 xP6Ł^מ{U}Šxe+Sv&mH-Jj bZzhN-YODȩmU?Lk,hm.~ E5vCQOa^9{pv\W;IEb-?t[ITc_I;ǼpPmYoE=Zy_HeC)s<LI?ܭC 0)8 Qю7WC`SJI|\osk!؋:ZQ!hbP5\]/nBJE%ؔւh _|D@%\枅+9kM{p@v`e1]_1&7A(P.,a`b|:,#i?FVE,#s ,Q^xor}7`,e&ae',̣j~A6tiH%Ê_<58ߑw{K <@RA [ʤ+cΫ"|㟏n^ʀPNKiE]t;%;c dUьO:m-o1Fvq"2as J }qV _u7C)UgD~f3[AIYP R K N+DM `PU5dҰ:)7;bKױY~L87"}O\"SmPt-*t 5,QTEIS0SoN_/7(_"4ɸȬeΓ%pRZeY_TYg~$m=*+ˮ|To1'PD>V2_OWݓm{Vh*ݣaawCVxcž 4n k,5k1hƲn!ͨw ܺ1coK1z>8t Wu`O| O$>>&?ll,r|Tic9K֖~ ^ ;H8D=¡G 2,"4K?>ÀNhQ(Wjq;p?6lx#F`reE,ihw<\0Lk5||zIBط,C 5ԑB7fJTeʻzElD @dI.T>~ 꿥o 3iNI3Z\_}G4"Rs *AhJq#ɾ΁.N i랛~k 4;9)TK] l Tf |BvԫY IмWWX+ࢾmρiX5O>Vʶ[@S>n<Ñ` 7~qQ;KFv[CoEׄ =(2:*<# yߦb1D,;OkLЬFnQ:j!ֱ9-ٛS]G a=F.? 9'\B{T =p Rj~x14 j2x$Oo$vHaT@M!!׷"=>ܼz)p;ow<ڡ/MC8I'Ӻ#Qfy)>P4}v]uSE gw|vk^tPx?ů^ P6=|k˜]*rbVu:-ȏAݯ' 8raʒӝ[;vcy~%i&JG;lA3՝ .Q\YهM}"6n[Q\JJxSƱɹ+|psݷ2DJTQ:2P-W` tl5V9&=X+D6&2A~;P)ya2O͌/ЭlxGҥɡ3:ȡLz:-o^LZz`sɾ1G j_:S&:4\vnOkӿ0wp<2hςPѶ0(ِ{()dZ5wkhH맭 3I|u(Jx"j*bL!Ԇ  `KHVJ>1Cdi]}9HQHƘm9luř6D/;G:6?h7U>e8 쑟`+pZxaM){ט&iQцuǞ"abs|rv,NLI zסGjPH" tn" P7^S@~\آ.]e?puQzd# iE*?z4\m<<ʟmQYWHD< 7obEj(Fߦ6xulp w'uA>MzEKNO4r|nxH2tKsu$kml3+FM:5 gMӈ/lɯ.,N4pU.ʼ(6(UB[zfC:Dz\ ]<|mf)Lfv\f1zmwɧ LѪv@tWLm[.yי0wWfwvQ87[+3& ,2PnCp?!S2r zCP朼`_?3;}u徼1FBOO)_)FQ09kzΩ>0%pAbhb3 y"";g@Nɔq?3jȰW~@"Z'r_߮? g=&ll_7plхA5tv0r-;8îcGV TGX9b]=и,W`)crg_*TA(3#/nF_ٖ_nv!<'MmEcRIugzn? " \um!$|; ?W2EKVVT춌U!6q#ldK)H[4n2\_d%Ӄ{dL ~W}~≤Ģy%s“U|yMCI<akh ~_tuuZ4MZkReKi"eUթ߲C#ښP[ĊE-?CԦ-.M2J}4ȝ IMyT/}{fBM!ng"2.o(U5{^-H"4!}iAsYI6s`ͦ3N^q3)Rwg )_)gZAU5ߘKw[:1N0tqUH +5  l(n\{vQ_jOh 1[})e*wBw6 ׅӲ<*MV\< ?>I#&C` ǫmuբ2^ʱqՎJm',pb/JiW(}aryJLa2:\qμߏ zE$MlmCAK6Ut\:sgdn:HH}f{e QS)?r/ gλ^-3hDo:c]@$I0O+Qc{#.U챡ޭ2Ʃ9yt2O1&fklqDb*?՝/ R623V9`vrh{xxW~%@5mŪLyc 72RiCJH73?ʨ.cpϒN3LӨR[6 kJ4/60 bߧ7~9/gf644QBI ]TxsIIU4P' {&d#|BÅÅ8UAym$/,x0>ZyO{ zbvA !cw|eo6,3:6n}/M|TG{nhk5Ԫb'MH~I !{1_ʫ.ě/ɟBl26U;΋9qA/P)frO*.E@* MQ2ҷaJQp[qŶ& u|=f/b$vىw fQ2ahP<^4(b :4} M)W& ]fhQ{ֿLuQ3eCeL) `o3Er{!@(u$# |207-r)bmt83 q9L/|k L#Mgu귱m EEOw@/P3%mmvUG)f%n?A\(&rI- pT+##4]`>%Ywl}ptˮ!cP XܚΈ5A$]8/==U.eF 93:)~=L AzH<c2pX_Yv^lh-xPYA7QQR&~6ĝBu-9Mr%Ap$x+htdMSY mD'`YD:WwjU#%MIB"HgG(-Eэ To *W+cz>hHxeN\y6);PfO:Ggb g@;S1NOppS@) "嚯ʒ+7Hdɏ秡>0b&Mm)G4-.GhI áWO`%èIvTCft&xNRU$/I7H.OI >]؛`hocQßdmRud0.=B [G5m^$5C2.&8 \Aۍ%.ed)~;3϶$,vԍyѥG$h^ 7̠efNxI.N3Zfo {ljKF/ʼnw}E.uNn6.P|!HvsI 6Og `jV@\hOhD"m,W(G.{We,Ab[$n0go tfl^x3E=YI 0a Ƃtާ͜2$K <4E-_kM=c|#,Ȓ B"ٕk{.7?ڔ C \~E0>05j:: AKA[c58u6XS"vtЕK4^[;ҪX 38iLgdP<%t wLYj%?V=+.#}K? 2v' (al󆭴Xd^ G %w^Qzn^)RW F- LBhMs𢻏W79!umΑ )hdh)k/gs FQ[26]֨1dO/fC&k殀X~/rբDS7Q]]cP컘vY]ˋ KX/c(ηE]bR~S YGaMGBU:6A^Re9VUkֻ^nw ҍ6ZUScެOtd[.\c!Rs1CB\_Dx  J&;HNSJy<-GjfϚDJK1(kc\xes]4w`ލL^nFxqHfȹLk {E8Z}"a :bAP@ )}=Ꝼq謂k^ w1JЁKY(81AHw=9Zk425*uxȹv${n*.cQ]TֳbY7 UoK"<5^.PԺ`N1aHaUhug̱Σzx0tpC$y].t,\NװKshMxs`zO IK9^J,hWjajb:8Gg {o3iD1tG-M|R8A-S}t9-d!ym$U|E3Ї#&(v*gƃ&g8P~7z+ t'yPᷮ#!Eh.bwqz"lW~j׃ż#ޡҳ[d1N Nrf`nTý^ #V qZiyT UڷI3IHb0k.qe`J;+b2L൒MlAvGR\yd6T$C\dK&޸BcA 7PقvlxiKVT(ad!*}ҙ\*K EU+O>1LgEJކQ|:2d1뛥ߡGAp˭V9wţvls_"a1KC?=Z8)#Yv][wLc-jWy+& mX]UjKJ9 9tL[= pO ^qyծ][G=  K|.o-:Nh'2PUwYhcds'.еhY5XNI˰A'2BUlsP!EGiR4-6QQ|]̦ )Z ө5n"D)R1z"J8WW\oo:?yz*e-O!n\'\t1WjݹNFNX~d4΂u~/@J9_2:4g'`w6)e_V xu>20hx-`^Q;ہt.Ah(^.u*qSҎI3qRH`:1kVcSTD5F(Do x[WxbSؼ¡~vT5wSYjn|P^kW:Xɸe,bF[2uaR>|yAv`] {< 9d2R\cx=(!g,å1%SA1;ǴljGmhF#g`6UșQwMNgXғr_Y/ݩ|ָZk~9J0&/8uڽMĝd֋qtM$H7]X/`sZn,]BS0]L3xQi auc_ LeɄhyCyE<;^ kG9u^0ڢݲY1jG= z%o^Ɛaa$ zW;66YCԳ9+aU?CܯRpU&c[- L wjuW L65{u.гԁ'nԟJHW#:r4, t<[0 e97"Tbt=HZ˴ ߖeYPo^㢇,S? sOJ0lqdqB&5u:")I|y7ȡlW/t2nyN¢nPDjC#I%]O⽍T!DN(TfA7)s&4FK0:S>?Jq6Lx}cSݘ깻>J'=1Dw9r\h[ŋl:43!}U (xrd[vrbJ=,uw˽¨B b0<!sFي95:NVu*, ;FQ_D.As\^oʲZD-%3\qrvHd3)4GAS 51P ^301;TuˉxU6guo뗦 rTХk"C+ t(v̅C^p@| S4Pp/k&4^)4FlO W2y}]Ԭ,hGnPbtՌ +댫ŞMx7aݣ%2XMk^ĆfIs)9֍cHV3y܅οsV% KbZĺdwO&VVgD:]Ww!mFLl'xdph@r..>ujֈm]ymBw_xΧ{`W3/o%I<"?6ysk[S`O\:b;06UA ]84S'=zͭd?|Yٿrh жvJ$ f E^xFİĤf6eYpn5 ؂dVU0I,Èp_gr2#LϺ75M?RqR4j P<@nkC_SG\=]]}[d6A<@A=w0ރэ:\lLk>wa UŴ['8r/r^B Gw*~Ph +Υ5))N͘>6af6=+#l?: eURS7Jכa)9F.(RQۭiO21*.Ωi5z$HS!׶:[)%X*о59tm~[/ 4 ^Cy?N2Zj B l9`QiNhT\:H@ fbROS[2I w-TLHRϹW *ƾjKم%,m^ kCI;3P~ܽ9jwX52`P^%{3]KD'$j&uڱFQ[6nlDf\1*hlvʟۻɇ_ִ H2f̋#Y0=V3p%}q A+Tx]>@2b /'z'A?P{h ;U3<gIB% ue);.$@ǤNV[ n4`oM/Kxi|f*h\ܣ PjypOBz(Bٯ}?>{FؘOJ 'HGUs8Ws=]4_28jnnQ {L$g雍 STV?}،powȆDCV26@I%*a+03Kg>!-O80&S8f I)d<ҭnLZ񏫮hiYTtBZW;KJFfjjzL꾅x~ )p-?gB0*J6eԐ/*a<e":?TnQE*AVEr0yf:)U o,r#! aB[8S g"c0|6}L?P~\M|_f)S'][]*̚rj`w_2yS~_;y6lk({'\ h Kc"Ip$PC̸!Og@X+KNCy6N/M Xͱyc0^-ʑX`KDRzp:xӓ_1y;r߿:| 4kQ uGNd>XI r?459>^֩!Z^ڍQgԙgxf}|o7Q1>5t:QPW+XLs%lm(m'yׂ5H mmۖNC :Z ȶ.A:JQ/=X8GnO;7[&φ]9رزd 7bB8賰"0"DroBETUe&'EFwG+{v]cͱM8o\Gb˃[nu~]WzlySH^Vk$N}/mehI._25oX> CyJDW?HfQK2l7/Xkn,N\S?mŠ7'̆ ]=`//S>wxǽPw!a5ξlbqBgloB1C]+b!J<\-|5ʹm:68O`VQŁj_IŽٸD IMe(AhvɾrqngQO( TT dǑv"^pEH7VF6'BBЛgu6M8^Np\}'bxآA*׊m%8≘'UhN^ zѡhL\w9mF5h:I!pܼ*Jp3tHㄹRo7ʍ%-rEP6 CNk#ql\{ O5+qf5cRpe 6!H#ֵDb+{i8 y~ ӢC4.uۗɎqe'zOPQ߂$G@E GE3W'fhD*ƞ<(M U Khlٯ17"B}b MR_qI=:<-Qs U/h5,`D4Rq2!j  3*^/Muc; &`2k@aN95Uj(ީ& Ѩ-!y3OˌtdObX1[rB-[ z^dgl At۽X$Օ-f},osBds֣)9|#St@ 3JͶR'g-g],qp MVז|U3q x̲n<5h9.aPez/(hsm]ǑMʨ{Y۞I֟[x-Vӎ|rR,ͥ[i ~S8xpg&n;6 #Ե~_xVAܪ膼T=fY[j޴߬rD\D^qF4JΌ0d KIK}G N<ް,UFe)g ZDFmwgoz:r+;(ij.Kx^b#,̸Ǭs(덹h:MfClEYJb鴢eќ=fv%Mѥ&tzgyeiaFxcrv)Ԯ >pq,14?ml p~/?O-꜆M4RQNovYu/0B \5bE+lxARٸ>_KWKaӖUq8+ VrTˋZzkXNLw:\xK1&XoufdN'V|)Sh"r!=2L-r|\0{-f|A.b夕 ay6r%WWUIiF( ȉS?KS1'RoɈJD? Yq$;yػ?mn}jETHB|x 4ڑ,NN@bԷgXrVX\1 0BK}B|1+0T(鎳Fp:޺,oXhVMIL#f|嫉!2r*ψ^3@c2qz.))'bSlՃ( dSY3Fja&˓ ;sg5Àƞ^+Y[D)SJ;Sz(+PXEm@ܖ.^28z 2ś02xh ")scL j3$e vIR-jQY4N&X@ `sU<@ lIR7|-ɥW,D3='q!51zKIz{ii 0IĚ#{>ul/i͹pfk]09ƿWLq:3x]}ӣ%S& k4>'ekM l%ۂQ=%q NUNX+o D`@6qzAօ!sj>\+K%85zj({ʔ@2(6wS7hܖ-,q/'J&]E3 Ac"O>l.]B;rЦ{xNi` a0+0zgI5)(H4]n9qXyɦ1Rfk,yŪ tˆqXl0޿&`KqVH$b !N/Pb_J>R|Lqsp'K+9 !-=xc]xqS"v4!(4%s?.+891ƴ+֑^t0@?Ik#Xc?kاU`bkSi- H $B: Bą)}Nֽߕq'lp[T'%yvC;JQUlRN`Fim(TSR xb3Џ:#aPlsD5!`q @yH] Pvoh*gAQҗ 3,)Y* 1VG{[ x8IWmj!ED~&NI*V ~zwKT@L}ú1D(9bĘrʵ'$ʇ{ JI0qw][%b)0GA\:"=؍~MĎ4#M#FUpDOhDf@NDk^a nݏxm{)4t`pG3u[zÒD$%3(9 HhZ J ~|l}i\K3QՆb[ťJuc@StU(bs6E[/$ߴedՓ_HHKӗmF/T'V $dz6J4ߗ| Vޤd5ˀ0Js3Y dت` Yg_~_6ZC:]ϱOA[!ʜ# X of`!}7l#4?P[+e/W q\xcTojBaG4EtqφT Vh 8G 8Yax g\"DKr!tjIGlCPrQr$ƹueiIsV\IP/fhtQ2IKdJ5 d֘ 7̿VXjHQ , Ϣ ds9,μ_lzC&Y^59ʺ +ZQZl5Vޑ?quoGl$g"7/]@-O} "ki=E#b㼏fJWS@wEVR_v"5;Af[= t7ljQw}X#S;r/$E n=Ee6h el]X .&{!\Hl6z'U&휀pYb.EԦ>=0!)h'\*OGƨ_^T'71{zMubJ!-&B>Z(ՙkfҷo-#$N Uv eC0G A޵JQ:Df`DL\]"![R jEbwmJ\ 9%py+It zhu<-eaiʴ"-f XezNf̤%gkM1 -Bi~ A'tQ=ѹЈ, SR>G@Ը4aD)}$V#NNB~S&ۛ%QcEҴAZTnN+Ӡka1ϴ_1rB0vusrSO%{ >?ιA˔W1(. P/ZTZ&0݋Y=&D޷d#: ݏA=T\7̼Uȡg!heHlJѳ`tcGv2Fܾ@HeO#qw /C2Dt3{Gg q1'"vC^(v&a-[rtK^*٠&(E5]ݯe'KiAlȀ,^9<^V>Nͮzj. ]qU:p,ShO^Z:*YbV08WJ6H<)df)FH\Eɗe 8e &4#5Jl(-SZJlMyR@B*j}$NoԞ">.auCǩ ":Ƹ.{RDSz. ))41-PڴT_tYP\y/ʋVC$=2!f5dAΌSbՉSNU~)6?c(ƌf`%J,bT4K$\˳rǻw޵Q B"{{O>L 1% Ppa(죈} f/}XsxDS }Lך~@N&v4 @)w9cdQׅXCKt|#(64G- p).W_~_zk/ f2LFC쮢Q9=D{Ԉ '7n|{(nIy4Dĕz=T>۶r~\32{* .nR`OAyls-qԍ͘8~6D;@VOIJH&ΙtVJQFdOښgYj߽mNI꿧52 ^\s ]&l2ʨ2&^>_sHȸxsB~O-Rg0 gU+FJCԒhjABԤ ="r sN%RCdmc1 HRcT!2D6zA7Ȋ̖bOϪ!o36ԣ1qu6,oY~tq'cHi.%H42IZ (aRBXo3SItܨ]0Q9,0q,XW^ؒ&$"d}=J1nWgƹ9iG*tpjs&7R%Oq1msEvi{̗O橾+ oyI]J'7eҞ& R%r; ·̫khV#TGƱPk !O:v<(9h5,[>\p-<0EԉJ#IsRdNZI{Yf_G-|/ c3* ,.BG/$N,#yQD(6Rp}w~+wa0fXaw( 8MLc&xyZx|q)80(Am{ dnZ65RD*! }=5 Bɐ`/[Eyf)ˏ"_+n$~-xwۭ{Nٲ\Yƻ4aJ<f@"<0)v6F&\H/9KW1+(FԭJG+Cl7Icu.R.B9NFktYl~;6mo VO >mX*E )gJ}bۓ~EBv^<\+=peC87:SӞKΓJHvL;{ >BCfii~D.>V:#| %KiP-A8rVj/# COK-e״Sqts!B-$& hͶK"z:nѥ|&#ymr 4#Gs[h>\)C7wվ;`x1E^bk֨4`",>1tU7)tdg7;=I$-5)XGF]^UZjrJ勾jEA98My <^7gEuD&^QgSJ|yuӦJ`sv.GTLcpf'pk;M48G-T4%v4M=+vWsA ^͔WNN#e>nI 2E8A #HO"95<@,ʾ  6N%>ٱrEseu /T.ԢffC/8hzy*q,i Z.i2uh%:x|W1MQk&,Vx*|g}T5i'>C(S^ϲݲ l.k\? \_eiu&$i"-+'^Q,|N%[rйDE]| $;ü8|+'{"ϛk>$N]fd-Yi"Ze fϠ ' +|S;&֛5wTń%h{3 5p+81 *{ʵ¥ĭ}{b>m~,Yf賾C`I3(E*1}SɆ >41 r`$>9TkNbq6V1>>7 8$E89`Ɏ P᦬v_M4Ԇ(6d/ ǷVnU"_ix乘>Wb9wk$|Gn~ScQw [~pF[{^R{/9"3>U#X&IWf|h̞FÈ5aT$sgpk7XƫaZCV>!"鷠0#&k?a+;If6偖v5|i7O[ߊ eȫl?S`ro,5-F3"9I47Pj$נ,lGSUrSF}d.` :@!X$D8HPY0e'lײkGGDlGùL"2k.@e.ƻJ!DSIcPJF%O&WZmوVFb3pO"?6RԇVoNEEH0I͛5ldE&fGFh,_5?m_iRVeS8ZXҗJ~hH5 |20KϠq6KIs9G.}:BU+YW&;pN@\\«$Q=?-[cgsIf!5ꌳb &hv0mast|㨆瞒NH/|+&@:~ aL(8R!ub'}e30cJud5v4R9jxbEf"gDOG:#㎋QGC. Sjj5ɎɘJ~ߚꅬKFB-#c%} Ӂ* `go{5"vM=zz/0f6Z{jZcQј}+~܉d}A4x|  DRJl3mP55wZh0Z3ȓh /Idnj D|8rog)X~㯻|AS@A?"f7brV(m%kۚ"H'c&9%v^bYg֏ ۷&$Bsnhsermh-y=ioztyEh}&6 `@z6i6 "|VV\x 8]R!R,bbKFZwnJvYoorwT|Q?uyvȆI:j)^/ܥqL[4^Y%B{AVVY_vO!cnf6d2k끶Lҥ_KeCKEҜġBނYcuE] PZo8Ho{cНmz"wQJ k a$~Y ^N |k?D6y4MA(".1<&pG#GtejHلBv<`߰gg+). _ tUbK0;S ͋#|sIwpAQx~u9t(I, dM{ e%j֐|b@O}|KUzPѵfTbqM)"~Q5ҞHTuk;]^d;*m" .;k풞g` |ٹm. 8臅S!WݍKӷ8ziikFOAgo]G*lp䠷.ڐ"(5zhÃz ^% >X#~p _G83_MobѸx2{dIQT5?UO=0ЗaF'E]{yZf3"F.<9쩊;^`W)oVz &w3cP4c7<1_Ez-0^5j-fsQOQ] M2#n/*Es(y"߰ Ea/K*-skkkL07ԑC/La.TB\#T&KI6wfz!K3K _@pˁ"vmFb۬6^fm*D?߼H3Nu0CiOYe8LVT'a0_nv~]eM& c].%yMBG`7DXߘ .,kCK Tku= ͓] 9L,(H80sfÕ$z6t:5)?NOV>rnZZ]~``J@vS(3S^ p)ޔ#ùY3-]ʦ5Ɉb$L:)<@+ 6- a .:ʲr˫}7yrlzُrG`qZLdu*|s[ “blgٞΎPpcbǏhQljZ[9υr[Hr6 fi6f!Nȱ5%0͒*{z4ӡ2OɞZ4$z0ې򭄾5؇Ryƫ2޲FS%W\T FT/8HF-X@=~+f 2Ȁ7Jُ.}sWjO&1\O͵ &pf h FRa#GFwͻ*UZ jqO;Er)4#~*Hᢟ(IKM.* /Y+^lŅ~).qABP$߶(焐yP'Tl2ÑEy~˖KDё v#H/S c 5=kGB.XϏe܊\1::ѽC>qf߫BU*kꬾtB}+o#w{IO7-V7K̥ ~'7)rN嬢:4Z0 gL禑6Khtnm"d-ik3e6ZarIτEw ><'SL #DwT,0Qoi{ Ϛ ~h2fU}\8iT_}TDjv 09l /?]w8 ;ʁTw!AeVS(y5;%+aB =#(R[:ڊS#-I6hcןvŎžp[ ea| ~Vr䃘LA)G:Sh5y6{ יi)O|hmɑ^vN"Ob5;QGgf,Iy[8S w^0Rw U l{#KTn O>sS?JZN4>@r*>n%B3M7ېiS")ݾMTPM_Ŧgq1Ekl&%S | lx5a[G#கEN&uZro2iz;pT\nGcu5< Ke_-e ޔ]xdN.4-O(]gLPN+o(U~[a~b-xQ>4FE G¦y`Xϊ?r|KC7?ש#oes"}iXbAF~;yciR>ewC(/+oIwkmu|J*9MI Au#nZ9srzƍYO8D?Cb2~i"M!)j(r%qT?m:}Z'a% q=ِ6OqM;VOszw>ʷAЅ.l>ge73'46Ve $*su|t>[(z !KEGŽmAiE2]f8IlwTl 5F nd LM{ aZӲ+`bDLJ%zʪ'?Yck |Gu] ʟ0Geܿyu`W,` E k2>Z>f)yď7\3݈op\/RbE%`%}Xy'R<5>o͖u2PQPl"sm"M#%l h{ICX yd;[Habٯ O3gf50=kPqCvE "dݒMnܼSi-XH-3ot$I/{Щ&?Gf)P POaYr?ex)/H*i|>ơJ뾑@UֳXl3Ƨ4I3HRyH^u8T3v>y ܧ3SF]@ŃmJs#q`r= Ikg|N[%zt?)[ #~5H#Θp:Ork1"_0ƝN4L$ ܣoĤs5{H\`=1kBG^C E+,ԃ nwa:o,D۴aQ]NN8=̎?{C xVduЁp`6Q<Y{P頉:kЧSlK>>L%X9:*sCtҺG ar_DjB)+U/xX Ø?խiOkQz!0)9&dkkqqs3ĸc2B72'$d* w<[,ӒJ,"'v:uDP RbSpdѐkgPQy(.y)J2*|wz1l-7WZ쓸Xc4xf R-tu lܖ16LDz4fV3@vGGJAH?< 4+z!w&h~2$ nBz,u+4_s 'V;;nƩaVuyD9q2Z>3%.YyU@R&cVd4.r\cΠ}b",b2-DF,K/, rVJ{+c_LhrY9o"!w_^.Jg5 nDcs8,Fsc J{HHg:2 +3piu^`6.Bݷ*C7BM6d^:<=K9ؗh< ڷ1l+&73˜""AewU3U@a]8-HA iFM#!e˸_DsQv8i]neNAU|{WY1ӲDdfN[ll7` )mq뭺W#b>=Vl9]ikR &VZRޟHCf 0pCR y]_;. Ȏg9Px >AmiZ^e'?_\v8nZ|(>YqGm㽪 h dJwsFCT'JtZw^Nr.3q JW^2C81OmN !B,)hgPX9DŽ1]y6] Z\tGL4umv $Z_ D.R*[d/̻t+yXy]!OEb*˵s8Ye ؼl^zf'N{UNpq93'6`-"s OcvPk=pӋI@n@W1ߛ#SG5ܛeB{^漖U8*Ij>X[ĢFX`gτvHߤϋPn#PyʠY{ c8iZ.]!gF'TOs G,Nēe԰[9gI8pQQyNe{ԮzVJ"Qp`ɨ_7ǚkr7rGġ! cX}0EW)Ͷ`!^`3=wqQ?? ,= t^c''Bk&Rx V! pC6+'~L`2nEMZqSȡS"zB} [+'ՠm  B9NO3T!#zgakL'|V0J u1bc#87AYPU}.8At%=/p叛hR)bL)OCEƯ̟Aӷ l'oS@ LӢ:zaHU3{quәE9m.L^S 5LԊcWhC.)p\ד 7+N@f^A)ϢH+gDuKv&:A%9mLTsk@Cl-dNά^'5!/>-O WFW GʔoI/Ǹpo-#4Y_'aa+Na71x6N+NLON ZYLN%,"zvFOHMqeEwvl " MG-^Z!$&SnS"yyXJ;i ]P.#1Qʾ<-(ʾL^ZגjԳoDk Ol8&fX^R+$ kbzh ionCfpXpT5g-[U|A4VOv|È\3>*[ k%_&vFsA))uoiz`A]lj-MS6@}?D&DPP?C1 5/eW z=&cI\ݒ(c9]utkr[t2P`#`)v̢m#tU[MB銡)]a Y ^'y&UڅꙂME۪O"tSD+ƁƯF&,Bφղxtf qȢi1VxP<#U7DrX+0E!Ur Q'וF}\ݙXvg x,;,4J_<%o45%׾MWzvDٰ\hg>ySlKn)m Gq /q ~pObƵ_Kԁyմ2whŢsMԏ`/bVK\OE eUͺ-*}BVfXr+\U=; Z0T-%|Eg!$r=MoZofd!ܘ1a)٥nڼo =O2{xK>DBGP8{p}&R!c)ox%-rfZd&R}A $I֯4HM9 Evx_Fryc[ X^O~/RGPY]Md>_A*R9 7[Œ;ɺ>@;~9 EM}vNӮJOH\0"`5$fK-^Pp[\S~A\>!y hv]qhȺto[܀ !r |)%*I尡Zg!dyp tar%0 TQ0(H@׈9ʺxr*wzySqƏ'LJÈ99vfqي˼x-Tڂ0{ʓ_Ş5L#-I] EeMX_S?"sN,; T8P*xę܁Pv4yh\-ǻ2X=,oqY_Ā!DoO/ֶ j"́؎<._EeF;s6mi\J0%1∢ActRF6. Zwr!:|g̃ AM ,. #sf؁7`!())T/&wND(dI.G8 U Q`&|?5"/'qJ M0!le%_9r}DqHր0^yɜyW SH\&|Cm{dΉ$v5PJo~T'a+R@1%IT4fqdKN=Y,=ZXM٧$h7KiuQY7kQ\A p*̞V~O<9CJQ9dܩ<< ~ T899\f~O&߮ҥts_hQ@D!mC}!Gb.qgߜ۞~&XZdAb\g@Q>+gG[ԩ zqxC3j!@f@{鮺hG