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 % D ]/]HOL-Analysis:threads=6elapsed=312.257cpu=1532.544gc=54.316factor=4.917zXZִF! L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\ZK['.@moS# بOm'C~)TBAͣ\ç[TQ>$y"Z" 3U s@jJ &in̊pmnOx^?>#fe֋Rp,٥lX qIc4hX[LpsqFk>Ҹ'P6c%kߙ & GC{k2f,9}$efߚ|_ذFʠO % HOL-Analysis   kU8xTqR 'ǐa)[<"=kk]lˎRW B v9u`"@gy_S(LBӣ&Ы*EEW81q=a>9O↵F>0r\{I"/#/C W6m@{d$آxvMO"t˥?NA&oJjINVGk)? o_V>]RRupM.D/tj*UtF:$BDu]Ip]YV "Qނ>uu ~M{;P\W:4:x`qnm<ԩEmt+/[JM%/ 0[ N"_r5J3|i hR!`Yw}]QVȌЩY':ٷ (|$z{Ѥ Jؘ5֥!3kl:CT!o)!oU'Kc%WqZJFlP))6qc 2&B`]Ldz k'1c:HbU.>{2= -Eګ&;Yn-+d;y q!JWU뽑Ĝ_Ю': Y==hSstyn[=jX2/bmӏűO]]#;WK^{Z B՝q#1dpnBol@. /:Էl680u}Eіb6\#^#)-p714j5!F2=L{NѳLO,GQZf3jl_TN0'֍"#L[P'e!4Yn&Q&ze֮x7 0N+{?|jjo;P}gtY%; KqB{D;EշL5d1Ay //v 6.iQ,x :eGXK| b? CJzjߗt1X YeA; m}wZT2uGmU?C볝6Ȇn#JQe8>s>,[>8Yl cCBS`NΞc rAcpzUH(J>W??xt-)FUÏYk}a@k8!sHCǡX} yƾL.S ÎN>< O g3#&FA(N+\%8 7N` "d*u%dXA~VJ U}^_@wW}[ pT&,/ę.sQa`Hy=b+N,kR :"-g,DguYOP^ fq(LwӒuYq>(6oފ_=jh3gt/y㸼,QkXC2Eaݻ{`luŖhVE"q?6T,H}JiЙQzǒ%:Gt|ґFbx)rqPȯ1YO^mH)-tA0,츱hD$"1Xye a4"eL$eI3<.A/DeW+q,,}TױZN`5o*y,'HWg~@vR%Ã's+txI ny$sz 97f\*E1퇚ʟ :wMA}{șʍ풰|C )֗O,^!5B23U&qҺl_f`ʞ3;O[dhV%dTA&տƬKF-AN<S" .E0&qJgc,GPڸWk ܉3+|dw{:!u.Sbiop冐X#҉-spL2DrE{娽`@(s,H|Ъ&I08Ԩɴudd.3l5c꟦kI[G=+< 2v: mMyV<¢# C*+ՀnIfJ M |;EhkLkq.gkaT=>K;Z2pj:OlA&g!jh7IsV‡zs`2*-IĕyҴey5#`3)9F|ċ0eifVOpkZum/c|y\DVIpCZ.qN}DYgň"0Þk[ZֶR HN`)6,5 CZmQ/}VFݮM*;fP턾ԙ[~M% (,xsE6 ;f3C+7oɂ.% PECQĹ|~. !MDsfF.c2W|-ߒ\ҮU)6BnOdZ&:11Q!hB"VN`.k6vGLW? Y22lz>㐮Z2]OOCPGy<[{lNX_*掩3 'Ǯ{i;ez*>iS{"ud4Uu#)Pb<@,enkJs&3V3!0b A;3~<͝OtB{o!)KɅBy'#oy +܈) ɅMz*Cb\L/z'ZJ<vPnul D:T2"eS4x<6ɯQ_j: ȍEU6R> &#t!H5l伶DŃYFӘ>>(SuxS |A$e 3fl@ڀ+¹l> GBji>{6Lb"Io>QVX_NqV~J#Ξ.~ڙBXD2m-`,ҕ` >Gfљ3H|ڿp#)5G"9}+ ʜ $nb6Q<RCڃicKɽҫYsՆ#9 GS_xCugB8ohڦlyZ! hꓢBUe> ˾#ZQEѸ"ك0)hz=4]^#J!q% >NCZQ y5. 2z[/1kTAqΪ{$spb"_ %dc %W #6qZGE] Ot0a}'}B<[4j8L8_8.X0`;^i B26'Ż8-qGZRd1;̓ﳹJ fDΌ5zf\xQ3Ðlkں ҄K5I F0}T8ߡF| Fܓj5ݶmFNAٵFz.4H 7s"_X [y MT:GjnBLwe}(ECJqTo&T`1}ϲ`sTq-3(1I8j )XR|ML٬%)(\~{>f̨(\lm;o-޽Aw5A𚰐O3uE"|a=Jl_eC(5W7˭?q-U0rk^k DWNqT͡E& & y罕'H= <l0'6!`$Wr.~#7ɧHy] L*=crO2jT Jź 3BFӨ Ċk-2ک<"HDQgp1ZVȡ2ĥ\96iӧ)+'фF=6/`uX41׷VCEUc?IO+F%F<ݙlčˏf C#p*VR]J:GQR|r%d'.5:ۀ[qG/nu[y ?CUK>ѽ5+r?u-d;tޢqnaƵ7kQſ h ^ g1{%z7M?QkeznY*2+N.yUU[<;j\!?SAE @0@A DklhnR#CDyur1eG\O@TjwK#`T^Nx\ ۼ<@V(:fΖg|>ses"6!,.U;t7"F3u:92Oչr cymJ(DaU FnkO^ݸP=*׭B yHհM.OI.}yYQ3@ha1K(z]jqZV;GbuH WGa1L/_?AxFlWUMU{aSS9I.:%{ѱ>#4͍wQQ51i0p\3 FPU!94B5tRBzOEK%}dC# #L "\O%5*Q<l{o)xqrb؇hk0.c :6KzÈt5~ kni>V?V%ԺlO[w\t Z睟1_uؗ?^Go{۷^ujg-gQDjqc4}W[8%ʌw_zXFT/$UNtbʋqFk'cp@1t(TxaI4]3ϟ1>^ѯ/J;bs|,pbsS@G)B9o0Tu[iЭ`/q8VEP569V,G{ E2X>Cr XͿ< О!o[879.|)|_.CxFQG?"!A` \Ω>@>-^y4fj[Z"]K+ي^8ٳz!vKؠr?f=1g ƃ6qJxkU{wyه#//;!T+\Pws ОD$f2NS}np;߆ DYZxI<|:ZkdM",RDh'iSlN: )7X|8i+.ua&/]gT%Q"zTk?=lU@e5 uQX-)Y`*A~%̇d2A4  j\1 E>b ;p+jߨyF/q?&K3}|_7Tj[`3Ys4UMli" #dc<B"8ډsWX7ׇ/W `1Pa{fzN.7B-.a/zt[оLa997uF+0p\ k?Ήf|WTG͚MI݈Zc%+NaozpkTfJQ>#]$A0bDeB.Yo c3(hĥ3m\BDLhD\3xoE>?^cE@x6+4aއl چȍ>̪)I)95z"/!Fh_+.A/}lp_ƴao:7GL%AVt?L gDW3a/>/i*'!/{6NDhm> q)Gz+,8U, RB"l6+xZAXip?X@~yeZOa80꥽Z?7yXO٪Y%Ԯ4]QPv#Z@--ryGFO0!FaFMK|,XHKTsb^>N/y4T;(`Ǩ-&=N\nȳVUmdJYx^NH"aB8! o_sR*5ɩLonp-gfB^FAzc̓RU㸜eLd2s*u.EUuʲƴxpg5raѧ0(( " jWѩ$1S{eW {9!4/V e9n d)|@ ^>MxWml?7F./DST ۶vg=/M r7+c`!fwWes˼M湗뤤5 '-x%sHY}љVKc'e:X~ꌅ6OiCӠL}jOOSDC#9xmӞ) mο3脈%r@&@XS~<UD/k 6|ʜ KtF*^پPtstf3 ~zcD7\7!0*JsR%4? VZTJU\q 87u\۟$E$Fk\ x 3o{b?ߏz GĀ4PU&M;»FuFNM*Vբ):VM¨*8|82A,[9ª mTR8ˉ674C̊36 =7dM/MR$WޕҲc23O8'v'WBa{CiN3Skn '|J-eϡk b 9F6aky.>6K<ԐKpx:q`JB#`%w $6{GouI7\KVt1C$19UuÍa/AcF궗Yf$:^ޖ*BTDo#tYs)DŽҨөꡜ*{0ٯ9 }jN_ʐMVwk!Y N-bk9u(RlVn"mE]RSY[Q=5i" [qV̧^>Yup.3}5ч+Ӂ)իȲ9f*q<œ bOil9ÇeղDdYhnPm<ΏW7c>UF35e_DG䕷H9tWN7V``;]|NR]U Xd,_Vzz";n$l0+x5|"P2 p җrp_:+>D#WSuaIV39bbq۱@}:NJMDHjǰOP=[BG3Zj^ Yj6| |!fs>~77@B4o.;&*_VnK̓Fa4 iKq C%jh9: -G좸.3 UW/g^Z9-&Z^K$NY"V^x$I0֙ʼnbdȦ'&سתцT AΏGi17y cbde]~-o$tp߳? Y필)'y.r3wKD 7i+x_W]ZPοWɪzO w_䍠 &e?='z[ȃ7u3=.nr?j1撳jOtiY&d|aÖ-Z@$7u9k\*G`:3"~Sܐ3ˆ`Z\78~댾}z9v.E(3!;Z -)|@Fg(Kv+b}8WڧZsar# jt#-qoT 9DL7J;}hLk:k j@bJ2Ҩ'd|q 0/o RR;Lg z>%=):\VƧYe1斚E?l7n)tC>rIх4iD<5;J?ljzO9T$dtCLqҙ҉C!8\o>sywZ~ݐv#Yk4fġYN`o~'~[t=us ¼+oUA翧WܧNP{' FYLf>Z,ݔF;>D q؊Oc, jSk5jo^Z'?fZ;ktPFc o尲1PO@>~ |J?׬&R<ch'~m-г1&2wRүR/#Wu33>z{?VY%;[Tpdv*ΪuR\W'|+6ЗVux`&k4JWh oQu̝f!)$ X@yD_o(m|K:?audiڅJ_3ٗʯO^=wٟ%(*dm/&vx]sq-v 4M^HX)>F-|6dq%uvfu i2Cp] ;E(O^q^$T%JG,~U噦\c).omGQaj\T^tPf#jSN_\Pnr4&L*~m" >~݉.Wwus®p:Oץ|!֓)-ÀU! 56qO/˂oIРX^haW!$W`,Aku4kpI+K+ӲQڐ7;D=qVdŮAbA0$fH zEfǐt_ rdCUU` 4Ƅ`)3˜qM}L'o3Lت]T0y #gr"9&|`XbMa_*KΒޖ~^@h>n}T21옽6+ZH19ڈ&yߤýķ= =-8t=JA tEy 1/ocR L]_-gEπ=|B3QR+ȫ/qUfO,0YU}-G'CR.uo xdAx h8/uĨ 'rY|0IIM'w\?D *ϣI0 (Os̠ii E򝀴S ž_xCuSE]z> MrO'#?+zs V.}fJ6⚁ӺN:j c <OQ3K :3h2ϧ 4> j"]t0A1V^J?o ^`Z邚:9Oxw?m"+aGrcP4=4*ͽ tB\O_,U-n "@)zrWgr^IpTe)GNǷ)hgV C6"!SNlmf`a#bY(Ƭ۞ymA (Ay{px7yתУ5)$0t 2"\l-]4S ]WMz>DCKRn8뎧?܃Qd`|jm @ Z+qȺgܟWHrQJQ7EaR }oq¥>}st2gG",sqg6©yxCNvHe(doi"d>$;H/Th*,ufʐ \|сC}Zone([`czLb fXKQרe.P/5GW&~[ k<76W~DLd#* (D[5 c!eHݚH Qa D3HE>'ԏ9ZWw/."YQV$^1:mQY8 Jtn`ov%nauy )U[݉qBU}S~$UsJau*~wȶCwSA2V! ^tiOo|g Pq5i4--@X#+˜ P0$ڃNdtbZ_=4 ,:3Q#U(/ebu@tǂxPK6Pb"uQDZuJŜȤ }8),">Jd|k/~3*t tf׊͹o_Bit_M#w+Lem8L{#v~!l */5$˙$l 1P1V4*)V uk\Ql ꅎYx7G2GM] U9hKۂcVJao4߶9w.c,&ns4`g2\X_+]cD^펠I:~vO%^XL(x )'|/eACtM_%!!)VFUq%IXؘ57V EjL#WU،BFdG瞔-FlAUgXKW¨Q :!ө 6-'m-|'" cmSR!XiO 0!%(z \51FU I#l D&zTOPqHwʔV21Ac?tۿ%P1D`ytLr2孩8Xhj ýhMs/c 3S0vZjsB G:Vix]t^VuK HAhSM/Q#ꌄ0:Yŷb_[SENk-q0|+bjGXOxNYh"//R'C#Y[یT6Q73+%T⵫ˋbgHR3 `YړIyBoxӚvrY=}|շ%Rf^aos7bR  ٴ.*''PľύTv.T:?5 PM/I1Z!/ v\gj2=.DmَKQ)-v xh`+f3\N Ba]XgbV M{:hڎ-/0G!Yֵ^&Cv8(@ByR{z CAl}QԍQ[Ebo@¸i2>$wnSN( tqw2+Nh$É#l֠>>9#KPvbN:2[ONWæH| n죡8!|2 :ǧg]l ֑G&>QYbۋ>NE[I}\Bˊ1P m .u6d] a`_\gVx NlFbUt > E|k:Y YvZ"pRPӓ('}߯itNV%nǟPKW4Q6% 43$^䨞Γ1^[W|=@U5SX *TdBu@ c6ygԁOj߲澽@>B"zzL,w_o=,cQƈ? l|v&!&vf M{dp%%B$~0  ގ3~J85$穮1Gʛ i٤HgRKg i(P%lU:0)s0t67xCnQF=+FG+ Jа z\دڨsZcZm:Wuȳ`EU| 1YQ^b!X_6MU;Aphu#I0<C8fze P{oU $M5XҏܰH_@풎m-4k $JKv6烂tDz1"9o} )P-U ]yEcqw7mhwJ XcSU {4f:+AΓ_t >GJW\O\Q/1"]Ivw꯾L-#+':q "zG0 ִJ+q5qG4p! zd،χ7v0}00uA'F2K~ NZguY%sD9PHã#B.x; T\A%~ރ'&[3V 3a0MR/ke?58 _YydU UMS~c<{X߶`eH/;NϦov`_7's78ʲ0~ xs3i\Z,G,)95D9VV0owZ˘IgE28=^8:f@`! 1_ 2KOK˨yY6<2Rn C=M |s_Oo%ܾYR.s$VD#kfOp#[wbNe= EhlPd6QwuP_9y1IbOF:fh4 `y)vN .j$fw o7l_8l% .۞ جeP|pFꏞ'l ^/cs>X\ff<#(NPɩ6)/|!Z7< 9qco+ˬgT\";ȫL` $wn.A2D i$l,cr*6wǥm!J93xlљ@kNL8*}uHcwVE@@b ˧9USXX6hӊ*gJ͋['sC>jؤF e`X U+P; UPaYA8c,*cG2G5QX15L`ZBٙå5gYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4> 1Ƅ4$2B9?NXmxdKD0K=Z0<#!/)`vPl%}4,.hyu%>;.آ7m j>L2ᰭrcw]Z{-\ Y&dz> iWw9 )~Mi)!^ Fv'W&a1 e&@ }8kmw]ܑ>_%r-*!,ج"Cpe {BKxss_t^sc5û%h'T/ /Yύrj|;JsF$-L?aALJ\:G,;\N% (U$PYS3Y^ͼ.qZEꇐ}ILʅEMO>xs4O(?Wd F(֓M@D>()hbY_\L6@?LMaJX#>arJ~fw|w LTB3 8gcg F0K36B e3O"j%[ )׹v\rtFmlǺݸ{Z5C)fw4U9^Z32/gbb a@hf9V;VkX*qby2EG"7"O!E[bh 6 =3MO} 5WϚ OlOӬ00$(mGI\L3BYPj3o21`60:(bo*떁LK",w~WR|ǃV`%fPmTk:Ii`F#Dr<1LNc#+}u SK,{9t+|:p.R[۬^<󓹟 +J-1#}7%٬G;w{o"Ӥ:K=LZn}4 ˌQCzgjAa\fzts3?>٧}gf*=VP\Ce]Nߣ-c`]ܹʆ>}28az]=p2ք!+.'7b)cPꛫ;ާ۽UCr"ۖh2VxZg~xƉ'?͋gbZfÓ'3zU$M uQLG#+γO fg*EW q~ß NʋC>x>``+.jՖlFQ?"X}zmF:^E1ݎ8d϶$D& >sǼnZp\LL4򶎰Vqki>iEQ҇gڥrʶ4͡S㮏8&GnnMhpѫ r LoeC/j7_+;0fI1߅%#-Pw_?5^8l$+HF{5Nq1NS :#xp>|0XRݿ!jӝX`Ecw]SrST^WV|p#"t zv}^ #?Z*CRՠ~EtX5FnzC -]/E#qtڎPzT>w 1΂5p6k a~OHΌ5?̋c ij+e ~G^=34^ƒ*Zv>?"̡UÞ,"!ퟝTJƈA/OUZk̸]`ÂCݜ<Pf xB |OB;[ % }_`:!exH,lF>LI1R+(J]y٥l?b`'wP^u%KSq6!NX?{3#W YL%oŠT4ؤtи'\r"z.Pqv]A}RS?C_ﰶF?TY#ɴhܢOY/F~ȑ1O ?E C|PX롥:|*TMiL-pIDmYQX&@ - vc;&tМX. -:/{)!K\_rHzj'Sq fVM>.OVĿ(_NOV 4~,iCKn B5?$fZܯ)Io/w#f. ǡ iFZUvY6hj̦+'^<<|5W2 |)pCnS&T$ˠ7,e0;kUITiհ4~t@`A5eLkaa7X^\J4,:e&ϲ̀µ.=}3Qy=49W\g8KlWpI rFZa_n d\ir-@ u:wlw^W4ʌG LXhjH^ِrI]c}-Z]vy2Gf?:6OtnǰSm."qRx.WeG?wߒsֶ'~KDX^/F MM{<K_ǀlJ6KͶ'>,3ՖThL1#5×p-qcK:Aeښf .hy;1B~-q̓N6,7سLpJX5%Zh..oI? ,I7=]J ۝75׏e+}ۢk7A<׶ DE/J8hv`p*wbب8*esgQdyMNrܾ*Hk@ا>@zʭ `RעU9 FSʀ)y梈(ꔮ:Jxʳ]I`@"7#̩s2E,#od hA*~@vh$+{%}H ȯkhNr~f3=Iq Z]l//iذAHA*`ǹ\*iCĸћGS&ۙiyb'cu R&g2R`vZSlfr4;3$fŴ|?ï57x \mso,>_)6h>$XaL1rdN:fD%Ie^XaqiZc.-SC 2$tg\zoa9BJ6s>-P9IuKT$Gw5 l:3)s[~.fUs ȋ}~T؈&0h{!N=Uw!}`^x 1'8oz&P5umįo'{qR,<edsMA1gOpjp9tUOI43Yf4ltkm;9<(V-Ɖ7'4"Y6c?bɌ~ֵ}0xfv[%d;n= @ͬך_*QS>ͭ&pwY$4xEd.?طnXk"ʙ~Sly稩eΈ5 |e/baEY& |z_k%QS08T~M[>-*S 뗧XUen~Ի/sX왥JrŒJS[D @ۖ1cݷ"ܑvāA8b"zyYP9:p<#ZC6/ܟn|3{L`I@ekwegy]~j +߱݊ W7D6Yr)HnG2 3]] &ng4= $`8ѣ2e.μE feWsp@T[ɭ$Q L@M+( *bqkLr"Ĩ!퀲0Pcl1N'7Bnb6:K F h6wY߮I)#4y-;Vs`;e{#(CիR5@R\')(鰽37zijPae!c_z އ`Dw39$4 ``5]-uUq Bte>0ethcC6$mTZOKf qy0ك}~ꡯUMː3^oڎ$T9alhY9aDx~~+qo(|3Rx̧®X.Or=q&rjCM73Y^"T)(*Tn!Z~wԩ @)Ts hrC zd!]8.`?~c#A9jWrb OxI[;smpe1@\l?ZcwjށI4LvJV陋vo>~(t]h+8m V;1,wI{%ϯ"Nt9oӅL<׾s$>B-LŷWAdşsV)[VCCZ _aO60e>.t%S5!ꎣ77{|*/9$\-yOC)-M ڽVA"+7]9oQs@\g@Ҡܗ!Дv *]l NupJNS>t*[yNx\F# 7Wڱ3$* {\c~} `V==W~]'Xh䲋[gHԩ(Jhls0NC u&loUN`=l! WI3ٰЩY@3 7~v1q (Nud, nnW5g3>M[RǸ%ձÒv(,\<)6bWT71acziSV)dE5zD WfoAC\8рTe7tߌz ]*jy#D7=9Q('rИ=r4$?宴~*EyϾYT8 +[˧1bϞʿԭޔ܄BzJ~2۞e|eMjM8I{!wa%Қ1}..SǧyB YMeFڬ@!JB1=PkFT"w0-w@  Pg-i CbaGT=m{?EqqCaPIfyN)y/SԢ]E/}c>#G|.v&n@^߼"7`7VO -×lGχD`=}n_Bl: G&JE;t0~nDͶFiy23ӻ$߳w-MtfR背ĠwN$< d Һ3?`VX/ӆp])Ċ|MsӜir6GUr?iT?1:R:巩F<Pa'\vcGؚl%!:6Zdl|,6|41C!ՏZ~<eOBL,YXixtIMo@<\eƅ/Ob w{=>AB/͇y։43HQ$odaMu-I~7zIiR`-ldLa%: =پ]ֽy."aY֖RKB,Uն\I~mmfPM|io;DBĞJ?qG+[r_po.j4/=9 Y0G 08wF<5$"A) 3$u&Kוkf]K՗)C=R#|3fѳuIժiO-bp;wSqMg}FT=qnC;w[!e[/پ6ɜAMsm̧d eE (5&m'7A+ǁdQsI I I5N8iՉeT٥1.! 'ȀC^Q1` ~kakVJJcR9W}ٻ[ĽSO(Q/{} Q# mX,6wR {IiWђхOyNB R}>t6PG,}V`Pu 0.Q6-) ="4 Mx)yXVok 녧9iT|^9*pb7wIfi#\L1^Rc^oxgKx)JtD9ă;Y aOEk}.ړXOJzMܸgGï\ฺ@N k|܄6IJ\=h|[QE}㍘фb\ uFB3彯[ Ꙋit Ħ>{TE/xioV4!MqF/ /f˭V wJw^<"SjWp,<<(IߞH`R/}&/|΅`KUHXo+ewc9reȱVmu*ОqcBWGwET lH (={9-gA ~iOzj<S {Oݝ{# rAY-XW^av<@*^G ($Ɩ x$ .TsAnKM!Vh͈p~Nv9Gj<ĠA3k] kFCT ')ھ!4|(ߝ,4'Bmؤtɢ3Gr RYN Dsc#Sߣ5.Ș7ܖX _lʹC{}CѺa y2 Ip=k[0Z~ħI $-2ʽYKSG*_6s$Cg58 RRFʼn Ŭn %1TwZ>= z[$eiU4p <@Oۇ_PjǼǩ @ *YZѱêSv!|[*UFq2`a.TH&)>$?E=6XpˇV&b .Za$hM]i >.%PC4+zS7$[2 4 :6u,]!IBcH.ڭ82mڢֹRվ^"wR`٨@YG*W=b_Yȝ9G1-"Ez0}o2Cm{_ǁ QbewuoD7 5 ;0l|DM-"U[*ŚJi?"*Ch}.@@^CcgG `y&W xm+V7ZioCGp%bot赎#lU 6-vv=;Kpa]{cbfz,i#.YegUPv,"goNC3mDˢ_EKȜAtqKrVat^*0sjUq9q;,5fmY{ɭ^T;#iͰ x' AG嬴%d)BKمA.&ࠪ40!53hٝY:|Y 'Dƛ7:alaațg-ɭQ]ǕY.ȷ8q}2I8Ev1-Nx2n|ᮺ0ntXnZaeg.6=qbff!hٺ1JeR]x._L3Ŧl4`uQ1D +qwȘzuEx]Yzh*?܄\V|/Y]TBhTJt[+|v LH-HqTgʋ/; @RҼ`p"~ݷ2RH-Z: q \'ww :Y]N62V`NInΗC3C\dZ&Ǩl Q6J}XoV_(+v3Z|9p27fe{xADYbF>RuQI3[|TʳeVz@4[sD7'_/舅jv#F5D0=Dêjbiߧ[rf x/ /*%.v=BHcZv'ݻI 5Wt8[ "ݸnC$#:gi\` NR"ٔ? _Fq¥#:SYI{|\1^5YDí3-y> :!Jw!B:;eB̀46&?T,]בn\^F ]ɷ_oYe1eQ;a0&7D ?j[83(['9w%6pI%!Y bK>17˴lFd< NcR ИSEI;2_h|omsw27-j5]T|p&˛] fןgRc@=$yNl>P|^Lѕ2L HIU?pڲmk.ٚDpf4?DsuR&Y,flj࢜I(\'WBk C,|TY>6֛OxL:TƗ__|w6&1Д~¦tG@u/ly"W5!vK̫GoS518l>pueJ~BUO}IW/9G_# OVO>m|:mּa(yu~[E>|xE0np-ooSѿ9t.U]'펏@ YQ>YJ4 jFzU\|u!oUn}&<´U<,]Px8.+<9F>G(XqDl`.n:@urWImXc))LNJRp#%V{$,DRKѵ:)^ƖR5+Ofh*^y2KxV gNwt5e5mHQrtm>8g`Gw)6OJSòw;V>s2]&m4q!_-Vv,aȔ8% [#Np<{+~dbe=$\f$ha4}O޽98T#uyP w\RVd@Ͻ &tzIH+b3]ϱ0R5mPR D{r~SxIዟ[F.P:Z[>k7U -{o;byVsI -0GyF`1 a{>%$QGl4G)i$TnOVFkc~8(m!\㿧>|R.zrɿoYB2?Sq'8S_Xfb;.iA Z.gRIpp).oDZPCg)x\s(mLĘ9n[xXJ_a#UZ,ts'MEu.IJOqd¨ؼϯ Mjŏ.GNj'փKz4c6ZVBX `4v*~O#N?U +G::j[O",E8GS*Y§ Ysz"ذ6 cbN ? doݧ_4Yɤ#5q'ZaRqf8@-tMQoKM1ڷ&~NϺUBsʱג ef_1YAPl )N҈.0{49#(.DSTO{ż3+1ŋ 4%Qa&P?p}ߩ@zD% |}]\'s%jxL{bψJ_͂;hP\Qf gݾji@tgOU#sq %W(e?[7P?0Lxa}d%=+iQM܂:VĽtldװ@!rKa0h"IC ,tTjx6ڋ*#TVt 2_ Yi}T ll+jvhw1ghH: QaOKMP"mNJװ2y XqKGv4T(혗P {Q˫Cମ$E}]SjƑ{Ӿxk_ɮ<ʓt"d +ʋ\BTRe?:xsEe)u-0(nُ@Ɲ(הh3>(pCj:kT$VӆsUqdwu[6^cMFZ31*Y$(&u6~v= kXr&n_IOp Uب #zlKk8P$ ~ |Gs%.ѳ&Hf Թ4gҌϧ&hZ4!qawdHd]3OhԀ}k^brtAe392mN;Px= |2`P|^ 3$Jdaf)=X,E5ī r:fumAt~#1 !HNlK2960; "U %ֆǸРCw#xZz2ݸߢLC &8oJwD)Z'.j# FP]up &5T#DT0 GA@4y >E*.e3(g^]z+Ww%!SKRqpY/ۭ{.rЂ9rPFԅ0b<1@ACuo^RH.PMSiM2RR X譙+܆5TgS^#_zTɓXx;.8Lw͆D8+-t*aPLLf0!$zzQՠ\༎B+7[oHw%120Dn8N˸i8HԌHP|u_e_w^x`4֒㔷ߌj׊f;J`aM7X "rj/=Ȫ:Uِ ߦt躀y{UJDE{'%g% 1 oߣD+_]jk>y6}6,xh{˓.X2 跴D:8/߇f¹Khj;_WI#PXJQ$:Y-0 TVk>`=R/ ND瀞!tBʡVUh}'@֋;U#}yY %; 8M*tǶ]g[jKE/@C/*SI: 4g>o 1'L}P lbѤHh]4~ IoJTTGU aA;ʥMFY-**w5 :vLy`yGVv:85>p^ҰqTožfe8s5$8+811s&\-.OHW>ZEQ)9אu $b^LESE }ٛ~eqNbhݤ>8evc:0:0ARuP*644 ([I5P-#8>i@™Eʁ,dj-_يTcPJڑ->ze_Iжpo}.xΐ(Y%s'Bqk қDDj5}Q-=s6)H9⚣bf12 kneV!+4ceOg?q\b)7O= MDy&i*g"/Qɑ??FXeN9k1ݟ?5Hsc43G.ʔa>o]<Յ_mk/E~ӞZgsl]1|Gj}_nJUAI`*aj[NvY1vbCB7PdiO|~3735tYx~mc y.N`&qx}X/\U.IR&^_!(ɬyڃRXKu+~PGhL(5p ``Qtk. nټ<(NtK]} n')EJԡ/|R.Ifz2!qT &mN l0͌m)g(l 6o^RQ1t6h?~qD\ : LųOmНuvEYo$]#Ǝ1=gtTL %X K֟u;Gz77@nlwM"݂/}L_sdRr.;AP"7G'~^ NjE,ieHMn*I$l]A!1l̛Զe]`U7?6uc rW:L~Za%a C`݈x‰E7 VK2knPgph2FWz҉C}ӋۇБް'S#*۟-ޢ3Td D:Ծ,Jyi3¿n=x/[giU0MEO\Uɝ]lV"n &4C=U-7a3-r+#s.U-^ |!/ y9f&~V5xm-˹@Q'7BKDZ<6QI_j"|ނ;$Y՘5C-4DcLxZ-/PIҫOg ϗ@{|Y7d"5(bA7$B@h(ܹ˒s5มi,FsgA2t"{ت|tJXI]_Q &䤣^djӷ\J:ĩ Kډ ^H-XJ Ƕ@|RLb(X:$V@+;#Զ0ް4Rtq[\H.Om2WÍ 4h^[PgҒQLM~{}^2Z] -t5 PVZ^ڑTWC\Z+DJd̳ItQ)הڥH8ӽB: CN,*6i'YjA U;t<'Yᓸ"Ȱk\[Ly-oNMaY5^F7m-ܴt,1[c&+A3< Ev2̉YU,`.(@O~!NϖV'~ƐI;i (-6®d Od O }:41 9qbs>dK(A bz"yszƇeв$#2jXqx!\BWLrާ&5[YjuIfLSڈMS<+/->AvCD O憎q"Љ1H kRvUtĴ:8al)Z& Gm.!רpѨZsg@rN Jr&].Nmb9lk*Pksml.[&ZSpȮ(T.u0⛋֜`CebX"`5{^7upvUđA0z94oBd_^zѕ>($ seD1ѭȚ3v~$ g_/M: OqCc&!  X&sz]sJ{nB[p;:sXA d&&F-Mͳ/M2|*!|+iO;h6!ڌC>y'L(vFȨhӮ_zKvm1[[UB~?Zٔ~!6T/i0y0 %3yɲ}A*@ =crVgð3IW[w}-r%iܓyG4ܰxWYb''O fG7Iݳؖ9F9~yˮg:4%x"<2@Xb~8_f60 5%NZLƪBaGic-SyKh(NB)*ǃA!o&i+J?+W'~" U'a.`kX$j$AJSOSI2eFHt}E۝"pH!xMǟ#A mq G:Vd \o_d{k!9+XQ-kٌYi*rb?S WvV[KEۣ-m2mN$8W wĩ2eɽVc.I2xNO{E'^z`_=2wfi~Iv8Ba(QE ԟlq|ylkQSiJ%Q-ڗҘ 7׭Vo,L(pHIpf|WC",ye+Q 'b_t~-,WDU8]`xOcvn<65vOX9vL@vF,J ibz@XuUcJ:a&G\<o#K敛w X0'?[n CI1s1Aݽ/ ,6*K#&P7)׌ewoGW=TCTjԎLU7~AU*n?Iy[DN| p?poK坋|Ϛ 'w Ɵ4}Mk N:w+OTTٸe~~VJD&x[3`͑ՇTr&(ȗŐTn,،t<kh(}u=l{&I{gIRx9&<>4ʕ,1ؿNBEٙb_b_6AH/A^!}G59^kk/)"华)to4zY<{8'מs>^Ly,-6SCv1$oJbP`'FvB} (7‚y#8Z̞7bӓ2U?-%GkaAS?i'2x2oB&R@91e*8j_:`Ϻ'?Hv58l޸ڈkj rʫbL949V6r~:h}uER19{w:c:O%RQ'VB9o5-׿ OּRJBl KYz%5N j*"Id-kG^SuzL]""-Rń;}%.j5]qċ1eP6 #Wfj"(lзQ6υ? et5hk72mHx@bS@ *lWNg3͝BrҶلE XKqt=DoOlXςq`)JpÓC] X XEgYx{D fb(VlH}n6|%L T8vKPBgWT!T[#J;DCג]uV2LֳXMK`64O3b"5+ {fHC4i9q\rU#”j3Fͨ($~[gۀ!Ok-M[P. fqH 5mt^(R,Q?ӌSN+ ?}UyQ|_$|.ڊ4{}H,@T.En;/NGJ-đJeG'H a}y?v#f;>f)C) ."awÝ\61؜9T~evY(u?Zn r(:GrӃt8Ln2Haߡà-kH.*X|rT&U/8ɖkPGH oX΃YIbTgL)rm5;ډHQv ff[C lБHko!'ZѤCWDdE}D3RvǦ/7OK\s沄ۂSl_+qi]Z'q̂cYNxtt[:S;2t:gUJUD,(@>ȪG>7i\YqHLT4%{ӊ1OE3n'>b3PZy0w$BTG~&6ohvl ]hX&,?82h6 4L ̥prTҒ Aa[S5-3M*4;uHG^i*Zt3s,r ,&ጶ/`".\G[cX dl0oqPt2Xq wX^(팑>ҁmE6̿sx% ߏ_x7G>9Qr=K-%GaQHQQ=e..&:Xt7ۣxY T7"+"_Yy5Wu"kZ?m)˝ޤ9,.x$w\hfT Gt% JcYoOBT6K` ϙ>DTD$]²H}V.#]^X^Yk(R ϟ?}qX"8 e /dDyzJ&wD(4Jt}8bgldP"[TkJr(j{ErЩСFl&|8W. b|DѤ3Q rˠdڠnK@V̲y F#TRVQ%ʈl[z=b3ЕXI<~c&Ed@ 3 z1k+$24]oB3}jSn].3T]\W5)( wDJTu9-fTPnn7tsLnΟ#@]?F+.n q6lM"%]%hOfիYj_J `?lD(דlQ})rj6Nd!RAndEʶ>^Sk ![UJM]rZr8iT>8ޭQ5~سKQUbK>˝1nb ZJY՝Ϻe0tmgQe:ώ XfHM_i\=R>IpU`at\)y {W14 j7v<LC]RlѣP q _5'o)*D ح!1MvZ)yJ 5Fl͆?5t)T5E.'ЏX Wr{d4vc\fƂJ⣶y}N"O-O-G+^㺋OcHC.f{q{48eG-}m3+;lwQ fg% عK:UInI˭4ݻ)$ᔎ:p Hvᑍ%[][mlw3;|NX  ـN҆yqw 8{8/n,]n 7# RS( >xf7T_'[O]l&Q \g~JB+HSŴ1$BlgW%m;4"h+AJn$Qof=],[9@V3=E;OQB!cmS[sCy+s#/Ҏ=u~>ԁF+h397vuY@yC)$B0Gk3{V yCҶDq&"<>j7#(zz;R޾%6FREմ5=(D hq:gl-xlhͶ"OLrm HR%blYϚm~7#_8-ȸ_껬M+ Ȼ/=*Cc fX.Zjs.#6㘯bľ u͜%Z|y1O-U胻 DZmfUL/|0um0wl:E}_wSʡ#Zmj/Y0I&ERST:!Wʶ v"=cהsdΪ8hkq32&vYش@oq|x!sIY1%H?{U@ `f0^۔"3$&zkw%"g8{|q!ܴ*^@ $ }s{ZV<p6'=e` wB`&h{vˉcPJE}q{ȴTC{>$Ð9@v0b{xdn2jzhwsq7)+sKHCy,:݉=|dϯN3:. O͓*m/S[R㎬Zc A/ekVLRb &p%zkóT:Cq7eG'4_$񝼫הªa>R9N@"Zx>njiUX=ũQ