SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 $%Dt, ]/]HOL-Analysis:threads=6elapsed=296.480cpu=1449.840gc=57.464factor=4.897zXZִF! WG]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'&|&&G=ѲshGZ_\j-=FV%v7sn q;|,Cu ޓ=+|&XD(K)u GC-=G#~ (gHq8>h pF#Vjh = ,r:7F` Mx5UCX 1wq7E.a崅 ^dМ'{wY{tXD /(zg-R٬eۘM`m>}Q n#4ӣJS2NȞŝp zJ zX <GKƷjZE0s+wkG ౾1L;0w ]Ӝ|k>hxk|<,С/K{$[uT2*l%Dɖ |R(&fE+xnx aS(DR%׹qMV=־.-H>0vBxͶ\j4'1znU,ߜZ2`͉ܺ[ Aq_oC ITm+KDƐo8rQ6݈<_> ƔW%mX =ʚ _yf[n \3f{k%88B ?bU%fMΌRga=Nv<7ob\j˜ԏ$ 3ПMjhUL b˨'n'4/kYTi7O!7eg0]맋vx[~w Y>|렶`&p`uMVcu T<j12k-MFSWuvR=BVhJEgmUS*@8ΛlxpP MhfsKs<[\r0R)܅@qM۾q{daAV~lo`|}ɃW ] Z̖W=2pA NޖA+M`m6hC[ U(׈ߦks$AM$ ⺽F -^%kUyb&9ܵ+:Y(m;]x`.𿸩YCQUHQ ۅ9)DFOa\ik? @3U_tܗuRiZ;#+\:(F ;Twԅ4Umt{{$\tx! ~9Ee&?Y^CA5ajbsdPs <7㧟*ûiwe\R˃T0i?Tf (.ݺDN^dj9w1KBkTWp28DEJkϥ(L?U{8ׇ4-Lsه}γvT'mFmj &@<H;1G*f>h0dc^ߌ&lш/'6.Hv1%݁'JåH*W،%C~GBl3XNCj׉_պ-{͛n!^b1怨|[\e?dJ[ʼʒ(>V^HlO<{Dn xq"(M,6 !7hj<!^ȘDd)ԎK $E< |߇<%l6WG:9;`M% h${KK"RYJ]P.IY027-:+۬gi}m0v=7gƶґEfOgJ,f uj̲:)5)HVLL9.FwOHL0w3{F ՏB< ER-cf,9绶T7\c&K""C[buu$h͚&alOJy[ S W?/. @[vLƟW !as[nzwF$[-@`W/0]+Ƽ䫳(5P<@oP< 3L~YC&Xi 1VHc*54c8swH9g*;X(KpiA4, iX41f9)E/1 h4Hq,E[fPrjApgjoTkUy yZ# ;Z{a H$&xQ.ܼŰ!)IC--߳P"EҵBh5V?6 |zWK[ ;\(m7uv?ɫ bfh6YYapYcH{̯ C}CSw]İz$:[#:o*AO8Qh=/w؆ȇPd!ձ:wc۶y)r>!Or\XK!8n JrSJ|.R)ָD]-AZ Oj{!M+Χ=|e: NLFcRybg+>Тm%ʨ96Q3 gH\vx)˜MWzEyCvCʩ[)W;2 B0b\g G~`*G0hMY 8H;wx 6)Ģ_Zc+#݈tFͅnm,/աb4eۙSs3w-3=()':9t IA jBelUUrK?xLmuQa2mN8 ǔ-M =j`:/,ςYp-0!H/ .A!vltچ P:-[3mIoǚKw6?*uHhkaCʤ Y+9Bs *2Z!ƻNd42a/.xR]*pw~.wpOUڑםn%/OX5lH|푘mcTrvVőCR;fVrCC`C{?=gaĂs7,,FB"NHw/T\O2ťlQ!:4pgc?Ťzs5} } g2Lr!k Āf͝}ڦ( *1w6 _ $S 2d(8~ NZ)}K3q#}([J) kEZ.>;hݗ/iV.u=@~ p>l@V-hVtyzˁ_ϠASNz"j 0NCKb0;l|v$:F'-ZXm"G5ɦˆ AٞLV (Inb㬖TJAB3đl2R$ZhoLV`1` [z~dMtg*ʨ诉SfEHƶd{^'GjpRQ7zׄ\ h#c,շ8\MHڮ=n Gʍӳ@{S"_r5'[6Z7 {O -GNefOx4~LCOPU5'Ni0vѩFq:C-Ux@Z?a6h*ρ"Pe 򉷬㱽(Բ/V*xiVz|5h*ϤxrK[^ز~،Zᏺe<\E'ܦ>5j FE_}ǰ.{-s۴"y0VFGa8Q7Tԥkjb(@[ 73!latZsl>Î̳娠=rB<wM3PJM|Ѥ Qn ~ Ghhơ#ĩ?}t'i&bW6 vlKTIs[e{@frrIFh'FOGTU3/jmN;y\"c.S^6>N§Wf"M /xx.,_&]RY$9`M%:1I?SAXK-|i{\,Id㮙*ED|7#qoBGB9uv!sw1v+i;򷈖fo< $xQ__)i.N{F5j}J=."w0jCKW5,z%=jchl\&#`Fl2^] q?j')n(b^IůMLhbnqS\H#uTHPٵL: 9M^zK8p/XtnXY$2%Y<`5B2}EuU 125ndQϴtNxc>Ř-I^wo/1yGlC yC1B*eR˩Mȣ(.@b;4wNc/6z#`yXS%_1Qsᱚ?LKƴ^ł4P{FKk6=`Ns&Uf^&yݩLk?l-ToI3}sA4}5Y2w ! /`>A^ d#Fc'^ar(^+dfwrꤩXs}ZNKTR%ryMHtb _AδvK\1{4]ԯxJ|` 8pOIqSeSZ3j ק PLQs9ԄE/H@8.ؼVaaVU3aϸgn͇͞籆q;^xwqr˭/Q<d6֐=P vPt6-(ZfB45Q-rx! 183gC>iFr$AƤy,L%>[p' @|rD(u GŻԌȇʔLkHPȜбCx|S?8%j&i1P+gtGG3A]E8qvu'_f $Zr18/AٓpD-ӿI@G,Ov-~Ў32j][>Xí][waWXnno[W^#3&mⅠjd"j-v{Sv{J$ E9Xv#Ѿ s)fuڂ/:$&)n+Dlc :!B1 > q\3Q 1$3L/y}#r2tuj{ E33課 Gj44/s614ɽ1ʃI$Z] Fٸl$kAMWԟj-W#Zi"=W~e f9R@.*$AWH34H5ކD|%Vg/;VPޘcN!= ` oؿYt%k/;*vK. h= ^kx&@*XSՎ/}l5R4Fa?^A(m!tts"GTŰ˶6Z֊;.}XT%HUJrg lx3"hg_u7j#9\ע/,P"#rLW$z!E D]OлydX zk@mv^C1p}7t1"[t:546~߇ .0I_n+Xd֮1U='9xzِV]@CM[Q!ftS e @@eea&; R!T2n崲hg 5e^~+FtdV̵Ș". ظR"T ߰DEAш oёJvgRFsג_X͒l=8 /RW5e/q^*yJyr[ H"$(K?poU oqZ_gB) d2Sƅ8mk9t?HH {rƺMfWf*|04l 7\09b߬6\=frр!.|&6kH; ,r&΃+}aV&zu^!nQ|5% cU9RuzQ= ڧ6v0> CS]m&d>#*!  1!I*ڥ/[YZY$ T7jN-z"=j;}?2;%v? iޱ:% \T5eڎjlLR Pg^bqlUy3!VwL#:v4ߐSHb@Xri}}ɻyzA)) E+S-4E -:E 5{޹es. H"H|BQ5Pgɱ{w!Oκt d Į֮۫<Ґ+#b /17^l~ X*v?]sə0= ؏|3CNt}%D.4Y]54Q܉xĔ6Um|Jk#mޔzg;^rҖ4ZOo2y# Tq pɩIv"+ pb 4l5+UpfN 6n4љIa,h*g[ 2 F¹ıb7KQ| 4ztI" :0ÿֆG1K,R$.Yiec]2R$Ɔf7gIV/>#2k68/`IR>CS=/9ʏTMK ΢ pF%ͽ[TNtk``V-,n'~Fh8},w%*Acď1PPwX;IL[395.NkC!;A˛#m Q8xd'όfmLTPPuc%ki>]"^ƝTz`\~m@=,E ,{8 '"83cf:q `˔Fw: h JО"R?#v肒oq֠q$EM].f,E Z;/P12.m9.Ҷ8l.*s"o:F"[%~r~1/zh*;)BfXsD8 ArHb0m|ak׭`OHj*ucgr+2z&"1CeTө\qK ܾI&Fq5mm<n{2bG^ vi 6>n6|YRذ.4H%A\dA\72Oǚ^$? k2 zM?#W#/YL|!;A u@"r6Q3O(33eO$ ]Ӈtwx/GN:7Um#$0 ˬ^Mhgtr4Eh63-@l,ir$!ޮ_NtZGmll]y}On#z& S E)r .ƟB'K}Ό=Dm~ GRŹm#-,'pCeԫ9jcMȯ`\E&KW!w!{4D@!&݃-#*w2J6ۻ2uw!?=b4ת/C^ݣb*vb`e`3zHi占J@:9A]]s2{L^PJ19X Y$xQ&A_cT{p ,Lw務MnvpnV@MeoKp<.BgGmǦmroܧfMpeR&?#;JeT IxuU48 ҂FGY~/(A%(mMQbK9uAPGohoLj-&I?$Xqv([),t9~&^<--fdo2yswҟ-5LPۭEKVoߗ33TYHGӎ5#y@WHP|rHP֞/[U}ȘT%@ "i(ދ ]ܙ0;A!8$! 3XӪ6^bKUcå@$Gs]JzC/ծTҦ:F]Yc~B Uč}DV۩͝{3}9 fЂ /% "jvԙ5!MgF h$ yICApT(m2OÀkF);S$rgNe;C uYDD=G2$8c5/%E([A2ڜ'KV`5(bO$ܝ8=nZg9W۝WE'|VL)n݌CCHswg O #o黉|& gW:p=nrŸ=Hq&(LƞS>蠎0B3o[FC>~;N$Rd~~L *0/dY^=ɅccO!EGdyC/+8׉~k} O.asrW3M_mx\ hȣ( ֊Y$5<$)(U|!.5ǹmE+HQe ?3e#&߄=f%:;'ahuzn>6TDޜCC8NHM:2aL)6u%9]f.n9b]_,R0Jgzۇ%b'T\.?NDT̈6VsUbs r 2R Eߒ59q CbjKlm|!/x<#V܂q/?OB`ޢl]#LFb_WU>= NAƒA)s*OTڈգFQ%s@?ا lt04'8펼Wy iiԹғ߬+|34ᾟc r}#S7|>:Ϟacbע[D?1 Gq7#*W䮶 9eJDoP|"2K$T6T02ͱ*pİnRI}s>e,wv\ʿde@ΓŅ[*pOVXz!}I6(,-91E.?Ft>u!o9Cwi-~1#2"_y(?&nw>vdH:8 di 7oe ۻN 㯔##Jdkj\hO}SS~H ˋ<>WO$YMoyL:D- tq)t]|_/1N,E 3<SD`@{tjD턉+njPP,") Q( _&FˤE~_0 v)Y)7/99|ѯ4靻vX $s" kC9@$/B7iưNJoQT.дF@sw$wUǘ@:^}Y1r] _>a',럏(ddȞRDcʟ2[vk"F8EymK>Yp۴2&?#P]6>0ഘt?Bf W[})Ѩ5sOZCx?y߾zBW2|:UߢZ]P,(Mo%_wHZT׀ <:,U-@yqz>)8:UVZ5`ov>OK[ O֡}D)]_ש|V%yj4WcV.E 0y@t^5BP2Eig-< ZB^@#H.M#pwBbMKnPiF'A#DUoGK'P Ž@(`pP;rc,_kZQjZ=]iW; f N]͛6fQ/߬C0ha 5L 77za/F0~@C=@<`^u¹[Kզtm/cK*7ȹ¯JtT +}Xl Ծ"@|ms$8ysQ&pIYKR-"ՏRlu?lZ4M%U x([i R8œ f\ʯ ?Dͤa(|ɀ4!ڣB|XE`b /AI#v.\uʭ)=S'/'{7v]W- H|~9E[Ґβ"ƛfQF!dY5]5g 6zՀE oiKði]  xE4VАqp}cf_*KUC _4?<׽BE .|t?l sS _?<7vAINLypBE@LW3aͣ`!t-;*FX)E- ?_<#0ODmz)C6ě7Ӑ"xPn?7&@/]8r xRNe -zJ_*>G>^ nh x$@eW!nSw+Z5`L/hAڙ&}^;e*dioM7,cIO]1Cqo81Y[0*k:mGF`n-7pIwQ=Sڕ,V޼/Cx|䦧^twȆCG**w&/9Z5=ӎ\$A=soA6@5 ;ߐWrD? % IZ̏mF4a%Gz,5$@Si4dӡSp8Ș@:vNf\"\2OC2?*uVYR!9eGkC4=v MF2,v geV_Z s]J7.sC<--OwAxSn`?]3{hby,U^r]yDjd c7j" !'Y[ Kj."?&uIccK Z{7ȼr KʹӾ,jG$"5  7J{9U xǐSEIP_kE?y9*Ȱco,)sfNH-ujaA`QX ۨݔ oaw&N}FdۙahmB yt] eϪ:7:A[O? гNO7 \] 8$@갺`k"b}vc莽L;O2]Tfww$uRAr i^?#֛5⩈:?^vp#UiGUlK8κqf~xfO4K_!) DNg`AFy7:!2K(Yxeg~$'S-6S0e0[%+z>v?CшvIk-^ڬguhko3¦O;0|jq1?v&!bLapr@3$Fx=^ϴ#I0`dy,-ۈ]V[S^&%ЉHKFk z:c;LnܠI:*) JRh'Ԓed7:i6 !Ä%fth<:CCUߏ+'P*tЂV# Wz޾]Ab\Kr fDk }ۂ 7,Dc[5sK,ve ou|(9җv=5_Ta3(!P?5d}@ ']yrNYޥ]@|r.jRܛ}tj]oݤG!rG $4>N.l |cQHi4)h3I7A? w 74Y ͍\AehAX'ᯓ]6^6Dk/BI $,{##2pa$1Tmj_dsL?%uz4TؿQ}l0yt˜)Fl*k2HcPVUvm}6ëtHIP`4wX6JW2E3e6;‘tNum,[ IA$iaT~0gI~?<m|p";J2߮(U1ڰk]RTV{Z~UWj8Wk*\Wz&Nq9Ѓ~GYf '2ʴ I S "g_{c]UNQbj[3>TeH7WOsH;ޑ&ܶ#|%*};()srQ?hQM`"CDLM. W^ b*g]JEVrN ~nQ=UQp(B (@ c7vAc%hǫ*fasv#}G+XpfꌉQfpIS29_GV"   d-plj/G[? _-Ǵ12<݈>lh:xH1ad[kKe >%ІNqk7'\@za}Q(dfqS `J; >zՆȥxYf0Mv#(OI!`mz G dF45Ձ]~q Wk@Ƌzݱ$(yAj @9t pX@nR4"rP0K*l\U3$b#qUæt;YQ}[Qg!g|6Qs3%y}ڧiG-kVuʄI{q7Z(b%sA$ ^[ ޴U[IR]1R3|$ l{}"5S``OyشLP@%fm|fש07ق+EH5oe9-ljżqXMz = N9R5xl>.m\~Lj3"dս*EC̿k\7uACqriS;Jo#cOJba֣1,Ɇmid]+uNHxFTa_"Lw7ův}EiұgYZ7zXZִF! \]ŗXi%>r֞UCLI{j3E@[|@!}mO3{`A+`keRU TǦ"F1^!~N+&ިNh[D7 S91p{2*}Pm;>K0+xE AOn=/p ^A/7 ƾ:d6"5iHPvHZy`Hi9c\|>YA]Aҵ9)gŧ$RSiv2$CGslHڶwC2 -<6%w;먾6p73WV]H Ȥ'˘K%dm!+$mxh@U;I&fDVw7պZoFSdXDLnbf ~ 8oBbAP cD[5+Z\c`t-{=e&NPecbg< !s|s6V3e%@L .ߖU浸?ݮq|^!dmMOTOR^ZH׺ǕԨIʳ`*Qའ|zp^+ܳBDd -inEAo;̐,U#J%1+(se1zH^)di}7 YI;>F)R24Nl5z/>tgvVyy6Ou1gz&3)vFݲ{aPO)<ɘ\Z+`p2{"4mbBIМT3  lƦ&m5Fj!{'|OYfq/n[Y,ׂ>0iȠ*}X0ktϊb!VPJU0 ԋ5HﳙTW>& ie?&fDŽhs:L yQK*~K0$)K v؍4 /|׸aaDE^ T=njߙۏj(thsX;_{ O%؊oLyY\ ]iEJzNkUBFu\xY(((l'w^Pdg%~4ٯ/%B= 9"&\^X#!A,Y!(K}*!@|$&̽&j/@LMؽ̧jL5U^TCq/tGh?32 >z2["+^]qsF6MpuNLK6 wX@'|B_U[7?^#\zh-ð(u])#;(o23fD~z9~z̹>aVG bv]/7XjY@HMTGn+{Ý*fV5\%$=hwV\\@F e-t _E9Ü59jyMlZG5ڠqW1#z2^5-5Rg0E]DOT-ҝPXהbWSʕps  8^%}!#kX3dт>߱L ~gIb@ΐkq[+)v_.sZ3HKd/ ?:Pb(KW%i2׍ԦqT2%-!X ? rK=cϷ2n0sȫe#ս!:8^UD!stYuηI}4hr4憃0 Ds~\`,*'Y}|zyg,PE7q~<*H3&3Մ !gHw7CvlYSKDPTDK8=QhvA9r28zOSGE.1Mn&Pv*j_h9.(6sJ5̜l /doK (l-\3`0|y26?7?=രmgIgDk:ԔɹbR?C]yN*šCPtPpg[؃xK3zYryivXR)C_S+Z;BG?ڨ( o\eu 0d8M 'N/CD`7L-i4,yLԊpߦqg OV{HGe}L oӛi6z婈L=q[7ɶI[ ~2gDav @>=6֬PG_0L);1!`bn|sCm5{?K;s:\4R#}_6Gl6\{)N7jr^xC;kưMդ^KdJ{@Mߖ -)s&9aw̖ %NBOtu#HwpvhO[Z\`;:='Ҭύ, v*?sY.jRC(&c48O,mw^HN`$ԅ[ĭ59d:^  ͼT9tf#H 4MU⁙-#'JƵ,"O|筙)(RzgoQuIK:!ЩZc@a.zN?"ߺ@ rnE/%Qu O *PP7+OFQՆll~i4Sg =8O ~rO;`۾]Qu ދxuJo\$z]aa Ĉ}@p{4 p.HyEiE(ZM)/AL Uct,O2>Иĺ0{@ACU~Eּf5l:;|]G8d^wᕳ'>ӡm2B،b{ˮ֕U"6T.!pi '᪜,m^X!{7[#JSi1)8%Nvd>jbO F*6t[dήj 8)ZIo'0j-z铴9o5|j6H5 jN=T%9x|%vF_ӥT`hik!>3.Y2 Q6"ׂd|\amեV}@ SMFMKŸZF;Kq#PIyÒ= ]Xcꍱ D@Z|1퉕=r0 *vcAG2x;۸pW=co֛ J)Cb~#}~rkLyLQcqSե${fu襹>+Z4m f u*A7!šob̊- Ym'JN-}|upGrǯFqq\[[x)ĖHYuJ+'%Bcn䰾Vu/:msi^%|}0SCokj5IZc bi ;mH$ {t1>4άr7(m*#2?<Ody7b*5w# ej!ݼ, "6(_y3fYhYCbiٕe}٘򟡑瑫*ʈG2lsk4<^47C *_&Bs2#c/>"T!ʴNķH^ȁXiCg2{QXRW7 2pjPx~R%]d>vm=B $dLf)EskGcFhoNi!KNޮu'H`ˇ٠3/7J{9kKs *;]e/6~ CGZmko' ,$rq;JUrAD3(f>d%֚,瘽CK^ͫ׿@_gyA;W M x _6/D8\/aa6L16b%M=: /^_0ݫYIo4e$c9ߠyG-&cM4g/L?kfB{Tl ֫?*֦=;Kݓh#NcI(qyNΣB|MJA?zH[jAL1ih[9LpJYF ʂ3+%+N&r'3w[ i=iœC=[pQ`OOVXG]pio~sg/Bv"(ҩiv$㭂N}y"bI+|E+jb`k2oޟCт&׋e`:QQK %FɁqsWŏ?TQriUd}drQbW`g+>WPufp&|Q.KFCP{e]}kOmy@75jQMm:Lzw؏)o،rJQC~[7jMsg*N3 0˹,vS֡a[̺y\Ec$+#a!0i/#ƢvHµc<x)jXft𜦚cWP'2)o G#]8NYtW@6?m;B&瘮9II  '(f Kv 0}z s $_v&JJuᐃ{#ai<)z#oJN!XVmbg\Sm*"hi*Փz?|`-$'yJQQtdnN˿;SQUF<?נ$ 1W1F'W2+-ON1]\EC\W(]^~{ٳ8AEC]-!.l}̪"i{).HrbK_~Xzk 8Z'B+ǐO4!څi6n[qn).إ[v !`ꞷAngщBk5SCrPRCB5J dž2Ex v"[ј%A!Q z7I˖eȌ%L3-e]W/; n;}(B"52Wz Й(K-G?~ow`c:z'G?|X2N_u1VD)fLe6 wo1B3( X[0XY@Ǡ{Lޱ evy:~&m[9QU]s!MJNۂNT'nPz(:gfv' 7jcq;*2?JUEKʏ|vD;l'kD,ɳMPf&wg{z=qM@WlpPfhY=V_ou SOh 7B֖Zwk pk-p? P% hܵPCl']7~&tR˗ɯ/q~6曪_"rSpO;s~25b+ִK#¬ŭ;NSQjsS@8CL}SP['~;뺑"-^ex:1{^)pn~E)M0F܇>zAWS+5_7NU4JV孻O&z5 F\ ||e蠝Zj4U L*v*F$`q\57:ƢQ'R0E@N]>B[} (ҿ_/c I:l҆ꊷ12b'Cw::*1M1N$Cц̛kj%)ЩZq iyWF$(5Oß-YSw.RMT ν, 5?$S_L8;EAZwq2jEr:"rbkcBD]SW_}y) ;M`N)*P%Ҁ[K>[xt^M;׊J_:-q2ǰL=gϛBVOGW@{QYi hN'jNfQ)(yrn gai X=3|t $ʺ.M) Kx8 So Wnha:qiB5 ^RKC=tkoXgI! $:OQ H#}~,eKF k>қ_ruTRIw uq lϐ!!wYylc3@(\Hr3*QVv HI{I\5i+bcN2bb@DKqd{CBf%V #E26fjtpuEZV{'"pҠЋ8ؼ:!T KƼ)KP~ bBWFBD-CB ajnI;]Au $,Cvo!&7s͹>Ia4WřQo }$$̬UB@dәzFwyW_R{L=,ZNK;['KYΔc>uW6 !'Øif3C19N 3== MRmO"i@ `mƂӰK bo]r6՝R~1MvȚ&%m*-3R"!SqʎI*IBE2j%RӴx\e{bɴCRKKm'ͻ1JQX1E_o46`GԼęn>D~Gpu; ǿ%QU7㮱:k HϡTug@d=у8 _xǓ2eç[oq9~<NOQj!-FMqK4BWx}M25C㧒^L[հK>o'Sƭ.jWvur]5Eė͓RV`!Z7pW: Y3MiYFp4O(?uG voLGruN,ĝ %6m-z[H6{aHWD= oIzמC~k ‚`-q HAfdAM wer!^~N J*LQruTltk|i$ɩA$2) Cevg.h n B0SآiBͿ~N'2Kn H𜵗e\#'N'H57e[7buMp6N ē.Z]E =K#_K}"$k-5RJ`9AE T6VLM[sև#z@V&sSPڬ:Mu5P@<_rwF,kvk\ ps(}cyKߎ7,\ >ש\L0iGB&>eSp+>$@G/Y % o#Z-$'sku$I=J)>!aGs,S0I9"z(ibazÍןqn'Qɟ>N=?jmq2m}i+ΛPbp< fn-a@f~)- a<U7_"v@**D&dܺ 8ߎS^#͙eϟR!!4{ 'l؀X(#s%*[y fYfXDܱ` kL8tPmy؉hihpcaن`ؠQ8[quXL>R]r[n1}Y0+`Qe bhi`:Rs Ceo.^<\_L01C|D:}䕰Cx[R&gӎŨWМm@sDY=F4xvֈAQg bnֲ=B\C ?h`A Ʊ}~Bj$jpp2cf֔+v JRC|L]첬W=xs28K{+Ԍl1 ,JfO鱝7M)?( (kt5][[1TI9d[#U5V+n[,?J3U{tYM<%N T, ?Q40:~c~#b,|1cVIm? sE]cD(^vO#|>X`Ľ 5Ქ'MFnڡiNSRqJy!6 hw]H݋JL9\+C;̚1Ro ud{<˥`GLKt!ݰu7|veלt VtͤH!J4)gE9cjŨknj@|8}rm!tӤWuirn]6dIm{.p_MKhqفSb@?҇ϓ EⱄLExw`%s˄$_ExM&Ճuu*!Rگݲk=V\q^.~HTYnx u:D>V|I \汯5#<`X׶VXrPTuV!²X[A=$a~Ÿe=<>$}R_<?GGA L O)SdqܔK I;ڻnɽY7]%h35ǝRE(F6[0ԇ~sr'e1 1pN"6VVd \_]ͩC>(jXt;FӫrsvlNk>)V=W!nDXbd=&YboSǏRUҀ

V`2v C^PqT " 7Zg,8Bnc&HAJ=7 ő2.X)s:q627yڼu^ r7dnBܘMh[^yשJY.\n½1N߬ ҤÕxt֨ŅyxDbN;GXT_*w;]y"QpO"*fAڀyqS=;-Gԙ>*03ev1>ӪuR|fl&+Tg9EX F/Rnp-`Yؑ'ssouqs2 s6mQx[B!)~TIȁ 'y zpjuژk!r/MB=X }Y)%.jqsvPm]ntc˥?m71~56eSZcYY H E[vcQqaHw?D(ʔg}C[x$!DftJ$h{Lb?SRYf2%EГ3/xH%Hl r`s!21TzHZ0,2)>xeT:;HTlލ$r~ .[0R4:k󶥴%$(+K"jҁ|zeW?i;ЎVDoo{q//0P!M@DĭDBTnO;L$8}FLJK?m*F]mk<v˴wrFW |f}Wh;TC1@ Qa{L&}b@[+GY.peԍB_-) D&T#^"v d;O98, !1$4ؘRxiMv=@33ig HR&ЋH5߭zGYbf2C[Ÿ$ esWۇ%Nz5O&g{]e(r!d4c@br7g2核RаMVE!Əq3|{;vbɸBys A3:"t ԦkljqfXz1iV-znj͸UhAb)SG9lj: q\jKu\=8^-܎8}9~l6<]Ruf\SrUELod낷.–WhMُڽ~|\ׇ\v_>pO>eQTI*-𘥸'md_~{v>sUP}@ i׌"~*m^q0 Cd`^qɫ_f > ďEו/]rvt {ўjIT;Ȗrt&Dzp4$jpU0a.i{+@bzu"mf@dG_h\k2:$Z>"%(s?+jW;ObQ ObR:&h;[amE;Ͼ *IPx<)>[NՇO],ϗ:# 4ub4 ~\P[NW[Г|3@hc/̂ޙTgW; #ٗȊC :XNAހ3rrn$v$b;rv̺ rnEwݡe'`+}6A{{fR _k3/TTO E!+ɏ:$[n#3=Rpoht TABf{=5bI7YxJspUnץtUʅ \-x UlyZz#|vhݸ4;)vbo걉Jۼ+%H2 i Z]};$#/Mliv%|)plK'O a.<(D"g5?xҌִ6sG+XڢR%+'D;k;~S ++؝4;,B9k13# } u";DCt / x;HmL4 ) 8$X7OXjmhPxEDge00֘[Xi>tCYDD}$p6׷%D |"Z7p :Q+(5Sm I agG[zXӺc{*G&3>ܜr᨜(R~r.p>c?. =Zk*xH1* -8&1tٚ\tӕ2l4mIPK̕cHo?)WD& FAty1q٫.MmP|Yo_B`ť:Lɜu/ !(ċjȆ \>]05= Rlh -=x ΂0c©u?ys W BWzaW9*.]o*AI a2)ݧ J4> O2rOɷ$Mwhp禫X$rLƽwIP ~o'mGcjәp_;9q:˱Ʀձy6cy Es&;wݠ>g[`lG5)f%[dqSzx@wxvb-˲)7;m:j{ *G,l׾{V-;\*TqŇMoxT{@wd2d6TUd#MOYkgsN"PK?ӯPy,?OĚnuĹtZjqp/ ]w4$SZY;%VGwm v~|#Kvab ˀ-•ҡ??纐U쫜>Gâ+#"eH8w0$6HP<]uvl :s[2?9pM#%8NHj&X>et/BD3X>pio NgK:dIU0#-!W~{dSTW!ܬ%\RFXaFQ{Ui:bnX- {8g)c#VKp CtP;f[7b] T3+Slj;T{>)r^N-`(݇| o!Kl5֩g5:r|էŁ7XBQwr.vgw5W\.56?z y8@~(]jJ֣O\D"¯e Y.ocܫf=va}8;a9 8HJJ42"\#F[H)}G9~-Օ_l 5tܦ VbEӵu2h.hcȍFA4ezPeje 5mßCUPcS( ?yA?ʺFe zF@,+c!a_6 bzHQ0쭍"n~}LJ~G[304re,a'ōGZCOهRKqNX8=Ш| pQ$0mю1' <&~1б^2p2cD-oe ׵ŷ8/J: ;}玙i.L$eEA#r9'tSLʶg\覲B[iܚÛ^ae *3nE]u:Б 5 EI"Ybj:8tA )I,=5R95  3γ}Ո+s;{~&[N5!>9p2){7Ԅǿ(C^)~6y*'ŶqK~'7p&JbHROzjD;acO𐈏/SyֳFB@Bܹڍ*_ꍑ$c~WhO(s:4#dSj3uTWxie]udR#D278:I,mxp >S 2W7SÈųV!H \7{qOFVUʷZh!>|Ň" =bu:W~A)VOU /Ϛ"Gv$ -R:rL=U[fG+y)\^/}V,{%v;^/w ru*/^"GBlu tt9p  W&( K\&@sOo/bCЯ_w_̺+_yZ/ӳ` v53rg- OMLy]}n9CqHCŜjBtu/qho*j270lO_?D*{_3EMKe'N8'ɪ?{s՟r_*s[L4F] 9}LI=1aҏ ~U蟛HŲXzZ9#Gy0=8CPobP7ӯ>'0{$djzN)oЙ8CmS|S0#k%C\:N ͺ]ݒq *7!bDda^r㵥 BJ:l3*{#aorU쌲G#+;9)Œϥ0up7JU]aZh}bA@V&6ťt jb 1x_T>:|M\3|<3yǛ>feAU]3G~zN@Q7V%8)5ebky1{;جg]ICyzV"hb-hl`g0%\(IH4j#:Ph \EJkgyz>~Y𦣠GK̾<ɑUvj4"P݆-Կw ﯜj+#yT~zF㦶l+tB|)6'&~N4@qjv,IO і=^\obyVOL]V$X y &> C73^z2h# "4%NYGOL\jY iO>uW{-J.-u@? >EMAXq[L{p@82r)v'2;s=Zplrײqb 0Z30ILiID6\c*`mY7IL{u5&h&̜I<jy\G/'[qD9Pc4"D\)r\>J|8ەV4$T]rEs o`Vm pw5wӎ دdNo]{per77+[s>< ;"+Fsf wqcvzv]Z1k`.*£:\##h (2HS)GGL6ެU0|4:>STЏlI @6SFWNu1rvd1%yl|Xx7,$TоjVDYCtaYvJG-(, . OHŇ߂u/<1/8s mVk|P^q8pE7lMrTV|(_(pԟvdˇ m=z͈DhP&dh,D@JT=jإǵt|-{Sq'0Ҵl;\hA?3>"̃o/4uCnp8+YPkbx+ηc60:8lz,'݅R3B#^砾T8@" *8H*SW لd0͌'B P70b'̖4]jͩCkut@鿔RJD6[)h>ᎀ72כMxY^reN W鏬)61w]V(RUkuhuT|jZu։y[n˦TG4W4&(i>8!wfkyrw& $K]V|7boJz=5ʠ`3Ũ@ Cv"Ikt=s),i0}Hy]'0*T^ɀxEݱkRI2Y 4Y8_/Ji}Q(Zg,̦`yL# r|bs95yXJ:V6tA % 5!O :+~n>l1f F,PY.dk``Lʐ~ŸFYy WK ԝ#:0Q%t=va"h|ywcPĂE١9N:bq3J_uvTFǽmv-bj0xn5V>:[ 駑$C DI űKQɭdgYZf94a7e9f6e94ec01dda3eb3b008ed037259e8162e0c3be278ab23203661c3c6841cfab21927cd669 15dec5eca7bd6cfbf480be5212e1b8fef38abae0c6d59ad8a79c1fa4e54fd0fc9d4de2a6ae527ac1