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  J3\d4 ]/ HOL-Data_Structures:threads=4elapsed=450.387cpu=1597.084gc=49.872factor=3.557zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bb#yּhD}ta/C-wZt%1`+PaOpcjc?<3Y,lCEDX gRV-.^+׳)D< ,J[gvkaL;'Ķ4טTZHNBBDtx1[VvӞPrq<Y 3M׏f{)s";u(x&k$fNUVtŷSd 9/ Rww^ʦn0RuDw4a/ħv $0T%1XezY('TƻȠoS 6dxbK/ ͛ZJLڃwUvۚԧeX0)wnK=M3vU\?M?0Z6 .qx ꍙadդcagqIglN:B_|N!t%^{\e,{GkVԶ$;S;j LaK.3- ɘR51l{d9Y.NFƞSǴ| . uB|h՟7Y;bW85*_\^Eu  ΁:'R}_a 28 [COv`tLm6aTЋk( bGJT`m˳G\5QdR2C+ȐrTjc+2'g~!D>xz$4w]9;I|5Od* gbQku(鑾z˅9nlH.Z#y8|0is; #>)R}%j *| 5yaGU0."SI&N34^}'2QkH"0/c>(ƋG +ݎG /.f\ 6^ JNh~M b恘aYhh &r/8K#G̑>SM$Hs%;Xܧ*vOpD_kkN%Ro,XAж l,5*vdS5X2n5ƞG5/cpYsM&r:`Z;~ٚr GB9ZNU E#$3Mֈ@ gzc# զMTx &¤|Ŏ;&!6t3ÓjPӍU}oR/Ci)W˦:\ҳ"[EPU~ w~ZB(BbK Q0>C2w7) t&g1p9VFo .\%$VoOC.>f,GSM?-h0P,_IjuGuj =")Re/??N3q, tl䠉/;VDk˰S)Ͻ?/*]VmpvkʵOáȭ-q0acJ6]|6ǯ T0"QV\u,qrY+PQJ+Ӑ6"]%pH65 9m5_7Ac=64Xxv@_7)t=* |C|kA\C$ PY7SD`k1$Ɣfa 4,ࢿevϘC:\Rmv4-h{8= ]% d`&5̔C-1Aoqk3Cټ'3´{GLN;3o Ovkw:pب0b/\VTC}yR<Ê- I h^ BvךN;xEp6O;q7Eu'``XնFgQ1AcY WSKƯR#u\v̟H@7!4"ESm]S~2%vK??}CA|N0bJi8E*G^U9H"nc05CASaEsCnvg`~mP5w/^#Yܬg&2 :7) P6˯umctfC-GJ&j?V^c)(ϸBReuNrRq>XRMyPy;!Ο2mLSĊ|4(|/֍w(u 1 MFhd5:6/O(`G}aiʑy=w0,[1n8r1L}!YtW,kÿ_ymc|6ma,#c!e\H>J B{,ê}MwH GAѶLbխ[#%^QlTJ!;9oH/\[̇\Ύ y lʲi;ϧ}PKT_mmh5 1eZP5⩂6s2 0#Z514%j'%Ⴏ@<(5w[ ?a,lj!Y5P|iqtyx<ʇLCsbd_78C,!/u@8ܸ0}!Sq e9`#lB[Bbu>7֖(<6eg!h#黉X'w?W,}P)XrvdxTqDj:ܵ:UKqʰ\,hL:b:zQxTLs7T>DO()6+.QnGABPyŞǿd]@mTSW3}~}+Y򥛛<Z"׬< W !Ģk,>4v`†I/sqaup,t4cK?Vg-t/}'5ng@9Sn?W,;,ꋃ̡ }wqH> 6Y#6<ܐ-U0X8FyMD+#Fpz&496ڋdϡneDo4(}핤S9 nAblX2ĚGIEƾ S*CVDå̰o,j+tz@GD*Wjm&IؼsE)@NxcHS NL"zow<()\ -ŒCr8/Vx3[vb}2Ư*Fg FBז06eQusfkaKK/l*b;fNmu{)-aC+V?? w&k"oP#O6Z=]E`'g|5Vvn kZ.i.2Z_-ATe,/ӽnv$Wlom gT0F=hy7KM+n[<*LU $3S+IxQE;TFw,4pRa^sP` MiYIo"6U`NMX,NM$AQ[DK-3`UϱT{ Uzy}|P $b&ԫП|rY"nN*ڡ>]gYZ7zXZִF! _j]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻ބR3Nn+eNN˅חѶ:UحG`[Ee.5ka/[ a*WȌ.)e?Sy<SHWrq]֝2ɣv|n(\1.џܜ$"4)'t~qm -q:m1p|l;OSH 4QJ@BvѤ#jDqz|J=Xr 9)-P¼?Tyv[*yʟߊl%LB{B&М;Sډ'Z1/F;+`D dFR4G)*X( ߃nvLlkWC%Nv}@ֹ]\~{JV&wlb˟y|"GO!X $=teb E}љAZe7Qrl%͓+&~O|CT"'o:v9=ڑB.b4Ry(R^Pks[EIVSCix6?̵ [E-UT-`z+"䔓KO?moz8vQ!ʶ& 5ɵűH;{78LÍCI}|L҆;eXݦ6m7iw//Vv$h|gkΪ׽zn3lSDF?Ôx/@μkpR[:OU/πaUX̽A̘֭@ͨ':2U -qL0_Us=BcA/JŚtҩ}con9k$zgYZ7zXZִF! y]ŗXi%By9: T>'@:mt _6XQ:؁~y3\؟H,ͩ KfS6d%X2V:.IT0pYlןsg%.p#ZI9[L'2cop)}=U#wޤ<gr?8"4>{3_N^C [R3ﰮ},߀jg:"@q8}3e)kXJ9e=gu G, Ŵr(-qtv6LNwLξcZ 2ϲ`zm߱㛗EwJRf>1:4Wh d6%?J7[wd#d/7A61)ׅ&&t!+oz>|'zTeh 6U'W)]×ʋaYe]2g~f2zg&4,Xi>y7JuY\58zĆ(ꨳSa3=9KUۢ^k &"Yddp&,X3;%731ԹOaR~W$DzBjiuvIvSr]w}A+fj&2"͛)r]ZG$CappO>0({XxW g}кJj d+ ?$ *@53=VVMr%G vER"68VgfyEU b,SA`$7Y`5$D6M=""I?LiilIfŭg,0W1u58w 8Ym6֏r/Z!cCa`q ΏI'{A E^V`E, fM9 Ru&D=x{7 OmHa }NN;2ygB>Z:93*}%0$6GJF/'3N$JȦY*guDޕqݔF΍;M-33`(v^JM ,Ȫ%qKTԊyqXuQ."SEwt0!oB$Y)'ؚJ7n% V97s64@H9ph.\tY;2wZV! omޣOFBF+@9Џ>`%\F!g^D'[&we]؝?Vf %6vxi?7h.hdkΜ.DwRm-(]L'[4`Չk%9 Fji?PT8"fjWW3dDػj3!l8.lLg3ƿFr33εD44~4-GZCLi +?Bx2OŚst3zM1Z|7' yQсtWoPo+bԲ xtJ ΎI+aJi D"[ZlW(F bfy#tm`FBgMW|~WfyFD(WE~.rZGQf'8oi8&hvH1@=<]A%j(k8Ezf3PnZ-kg##)`.^in&{^2&vy-eԟz=`-2&nܟFۢqʧ+e*di*$ U;+ w݅R7-tM$ڵ$ Y oh-(t:BڢWQ7*"pG4Whxim:L7c]*oi,;`,iQA'w6_Qޮ5P?]=J;Ә}mP'B<\VF4tLShw2S]h +@#u"K}79ˤcєV'I2k׹m$y #c 43=%D?#nZ9ɭFذBZbWdXӂS,Qx$.?U$F2$2hhxAu`2Vy4q0M)D{^gj`j$.~1/jYk%Xr}'-%5vM&Zd&AP@9KU# ,lɒsLgY T8H|&r"̇9;2p&}#r*Ic~ҹT(N3W=pCMUg9 90'xB!Dvz޹mQվ1~!FS2k8pi "cvr,U*dA21$1[8 \Y37%ڄ5˅Fdn`$Ì?P $=<[+vezcO]Դ#'{ 9c# 'L׌jmU&׷!pO,ifyre09. -_Hc~!J_y¦<>n~Cy3mzB"JJGqT`, RNNs+-+Z>uNCfx-VtÈ-vXMш4}Na"=8ƫV4!DdS;kdYHD(,vi6I=/5ugm>hͩ,t0jUXkG8Ή%˭^Rr7>p%R_:X!h0ޤ߶mxa,iբ/.'2qXɲ6,Ho~ƟeP s]p[bPb) t[-<"NW8BSWY t ٖa*?4ǔ. [ܢ Œ󎭕ސǮ TS9 :5>΁ IkRó~? YEA2B 42 kU*5r.=)< vD໽FBexg²%zZnIـSݫ߱5Qq)3sI{VL?e׿HY2+m2؃-X4f4~1jg`n!)vNȌMc&1V nj;?Ɲ\?T{CBh1 6huVc+6c5vz;%MQaʁ@DTkpO!zd~Z=j7e!?QZ|)K`.)" 4+Zꦒ29rΔ4F ߕ+is9@& Hqͅm#ٖ"C3- +9=FfiљDճ-~N]•4OrXʥr~z%Hav֩j?nfiHE8=A"~Nzl'gfb!2GS&8Au@\ cCi⥬SbEv*Ci{o֧{Wz8'$%,6|G*;y`@:*pSez:C>hz~U=UsY#7X/5%F4`_l@Qiع| ,eӮdXZ (U)ҞpHTj=* !,5e~m[PKZɽh7Lz5hRՀrhUAkZ@#bN2Ő|,a5r]jqٻ_, 2]ÿL<vh,ݯLҴʙ ]m2$f iZF<SlA6j2 d%MƐiHeCy(A0= ϳaEp--/Čx7K;xF!m~$YӴ~i p_5_$YK19,.U'>`MƿAq:Gu=qYLI98: 8v,pjq J<"g7WE #iF$7$PSk<,pZ]]mF6(r0xү1] v]=;#QVpf P.bx6| ='i*6Nx^y'ﴧJy9K.ׁC׆(L~+ns{I ^$<$VwݓLIo>+;\j3N8FrQb%M=޾g\IƲ4.9! Wm#!e<(./8@͜w{),NJ4_N= N(Ma0Lapf|KtdJ}HZ4RRVrwM,e/,,6uKU 9^MAj%Bx&I1ĢCJ2Z$ewQ7 J/i?v`*wD{({(u/m8F1̱jo:~y0'd pl x@wq!}? Y#RGƴ^k{ciIzR*aMQM}j5$]mJ{+9 Qd׻8:qU1WvkW9޹>TNt`&O"漦FG+Cc~ `GhCLB{ůpƔa7}}Αi.>E_GqzO6R9ģ * wGBc)dqtJf"(##C*[>r$R/{d0F+cc'9$.;:dbob6wY [r\M@Uѝ>KtN¯0!S⊂Fc`){GzTUT ZKTjeSMaby `Jt9"DW~o$/q/h"Iv7ȩ_PfK`NTء2Ii"sX1&촃# a!&k{qBX|BA s9|w #z2{5#fPI@|^2Ll2'=}EG38lj/qYpNH'ԐɈ\HJ,&g L/XXfTa] 'y@Άy$/9c$J10w/ߟSg2,3 9UTi׆~yi6m! 6+DhASLﻡwf/?3RVsk2T(I#7=7ͶKv,T\H=sٲhSꪬ"Q0b Te|>@5 cj-y-"th4ctFa*;͈Kji Xٜhuݚ1 ([I¦h&M D B| a QLKq bs0f!EN462:il\̮)4" ̑56l.ll`P7'>ɞ!H_*d7s6K6IjxHBʰufH&l9vMߺvBCyFMGc'q M-}D\90FU|m-LjxўEplj#7KC1Fb6ܑvx:GD97{VDjZj0Ƙ+5Pa0Ӵ c ~/M A↮.y`R3acO~p( ^ G!s#wrxNcQ$+E1Kj3R풊"QSJ``! JtSg(ȋl>>#ҝDe>YM?So [,G)-6J6fm j 0TޯШ'D a4 k4kvUf:Q磀Jqqj2!q:H.m8o=fJgGyg=ea[~λaN2[Wx*gqiά[\xE>ctbۮ̻Rty\l% tYmgSְCZy@nGR+c0D5v;*ZU'ShI,A^Lr\Yyp P׌GՄ3rD>~D=֒};i] 1-&J_ߴ 9_ʶ \@\調z2#%<ğmJ*&Wf0kF)uGKq.KI(RŹhE;{RAqm>ElEB@,GVƻX4Oâ}h?-q~\A_M^h\)n{ƨ>{n9Z9y(xfj%e>ٳoT֭7[=)(H5wn7heIjcmkUgkD~oD}ؒ1gac/)ر [~B̮Э8$!#yhBC0ZBj^<>HSյi0E/YMVRD5 9g0'.lSOfQPE˯L(-)Jp aSKBuTi2:&8WÌEڗ CNcK$+p_QmŶv(;?̀umgeu F?|2_\\dKNs68r_zcbwK+m8~G6R@%  #rmn\dk؆4|G1fCŵvXj4 ֤ټiU)P%zs7SO$ 8ʙ衺aKQ{>sĩQ>lUg@BRz*xK0QMaX8* M$6O,2Ga\dVؓlUބT3dGL4DlFgbEFjPm6ꕱu8  d+VuNg sa#B'ɇG)D|odHŴs^ hM&䧎( ZȈum=͵φuW IS]#)F}T_ ͠ҮSCk15?`C~d7%& #I¹n6F~F^qׂENy^㵽U덛\gr,+nHɬl@#Y߈ YD5]h8|6CT%4sD}ӲN7PAf9)x&\ѽo^RG/t>r}xL  f\3 ?ݨ/5t&we Ԯ ;8Z-,a,`|ӘylES2nTت9uHXr!犱V( 7&rͮ,C6:c|,JٲuuN?6mdoT}{ 8\j*/0B`ӤsG|{4Tl2VT=sVNPfo #1[RO]?iM!toqn\)7 fQDNbH įҕ>,yޚC,SF0mm}tbo28"Uz2ⲻ1GQsj"'̓YFYu9Vӟ+7EDӜE|9սb'`.{H5l]pǟkI0:_؄L9h늰2[_% єɁ|Nssػo⼣<"{^-t-b āX;H#DPflHIWb &Al xTB!bB|??ֵ˲,\2]tec2̻)I4B"I[m`N)P*kPǻ?B/to}lj0Z]&` W{CEzg{nƲT[Q%^xlUhP]MT.O|~Oe7"-Da8?/hҏ/CJx)_˝ emT^#g ELx9!Rûd3Tm! /bv:eUӧkfwBQ 3ϰ!BX??"w6F2~F((#r^v59| 7IʚDozQcS^J4>'i|Bm]|v@Z=1`rO[!].$؝E[5sTA ub(| m?DG~[~8vx2<ª{LDZ]l"8*f bA!sХJ Ng+ ܹH Ċ;^+ Q> ǩ> 4mx`F *"]*بB;v+ƙeOy/.M_¾s5*?Yv Ua5jҙ@EGIK%h.nj\}x)WI=Fj)>Ѵ2D +PȐv@ɧ EM!p ='K:mpyOL@ SIit r̡,dme-Xʅ(POQ6v[5{3K?&Ai!IQnEfA.ӚvZJ'BBV\~ RU,ŀOeyᒨc^Z<)wt@V;Ȫ`ng3W\|Eƪ#UÓ%?jah6JSތ[G{,鎛F2O]!詗5 cK5ۭՅsE *~S# 3gɠWF~AlV|R5YHJTZwz#_#\"qV|%5虡Ȍ5m{ʒ)/Q'(DSPGTՉɣ/;' 83`|IWai 3.w1xȇig̈8y2}aIoU\yƞu ;Qt,n.@}U$!+H X"Ƃ2psi1ڲyroâ"tɃ]'K$iL0nƛcqi>&9jCnf97Mb(2$7sB/u?T7NaUDff]/t[,w(ݑIńʲ%uE:qTFaXbr"N>(?Ւ+U)3N+ Q?Y}p}B>BcpXFUNͪ\O%g"hb~κֳ/ é+%:wqrt&-d'&Rx~z~$di#k l7ijS M rmrC 39wQFJX7% S1.gx Ѥvf0ߛd8ԠUE0!_g.x^[S mD0Ďuj Vf Wmjyǒ]2 Q_L#4(adg[_`E.6BmCw11QcOt]A;]J)k5ItLIgɑnPܶ"]vs[mun:=88 frwk f:.\ &nzN^y/zN !!,&Y6ǯ2< `M [ܷEMʟ4``?tSz|($*;}~6>wܽdT$LR¨6E8혴|-Aܤӊ\)H}yetL*'@h E͓ 5F8KOF.Fnm Z9n:tB*o5z aPlds*7n9,9]yrNAQj Zj{|l³ӊ9Q63;} uN.S#nfɄbAs]<,v j \L5p>?(/g~ycb4]y^:Xߞlw2:{ǎ!Fl ĕv,= ͸WX)Ё)Ŵ|L2l7GuG[F!T|3;*v}3_TTs%_*^r&3rl)&%*|g x@PFMkNj's/X3BF 9 Q/&St` krܫY1J6 wcK?]=g`N q@9zW 2-&WВ5MNwO>jC&cqw%|7 y#+LDCɐI/ߍPffB̜3;>IV' )yioFLK4^Qn tmSg:/VocޢcrNֳmH,LgAgLkZ]S%`JWFN!bvpa<.oi讦V9vAfL[wӍtM_ygWbi^5[(z|AO"vMm\:ⰮJlEZ6纴LְT&!i]V%HY ՝$ajK@ yj ~/ܯ\050˼X{VGѡݞh?/6= 7|PcKƢ(gbP"-luZǾcKȇRbO wdROH1A>5&ƒ TybH$b6x~f)Io1'/zS6i#]nu?0«9\*W rs#8QP5I7Gܝ}#?%3` 3 3e6Cj=VU5 wl*1?܄2+& 0LfԂu-z Fm|7 ȹqō!H->Vᦸ8q|[3J軘F+ЃyWi L72/*mĹ |Z_\p8qK9(4/1h&֚WOno2׊yH20_q1DfUgaV*EԢY 4.U6t#(=Z(3J`X4:^" N5fWavb(klKql[/Z_b y_KB zCZ=<#$vcӠEc9v Gf9_W-|լ_[cɈ%EАʕZ, ffW +ile-F~jdP6\;A F ωpR˘57z 0B.z[q@DDZnE=ƃCLˠ:GB_ 2aog߇^eVX9sT#r|Sd8?LTlR5;)NK;?Ȍ*dN> x,`ޏblʼͤnFT9(ɭ#ϳ=d: 6=]i>BQtT7*3QTh 4L\ZUzk#-7')mG:ʰl,Gjoc=!"_!3#oŔx)Obwf{带>و:m@7.NpP&(m$<8/o=M̎QE^]J'U9+iB~SP~ݩG3&9tLT>691.ԭv#Yг;VYx<󿻷u5t%KZ%1Ԏ%IAjss.vGTG,V:D0RޏރOܲ4ü\4Ǯ, M>O?۔^1YSkv;8 H>-jjOfTٓ,6eb% 3:.1lx AƸutIP#,eęDv1*~7b-Tk-y޶_\#bV]HCDƛƗ51pЕ*\AI]vd^̋lfu$ FYR-/M *2;t|:,N&ZS >ךjزq4 12E:Z!B@YB3new+>\$z"?q!1ȦZN9SV Y?U\-"q .Dl lҧ:bJ@sRo%o8, T7çs^ U.B`E F0(рRClM@1$#ˀK]zH¡)To"o5[h҄љU<o֒j$Q]1}{vp2o{;>]:KuJ&ي!0}GTDQ Sn 8hNuN_&Ϋ >|B)4S 9᧓zÚʜ96^K;ME_/Q㧃 eJt2jZ`zKTm{]4cB~sełz#X%ױ6۰5Xai&[&_~F1G S_,Y̆$ y4:1Ph@v?ZOLhC{fcאvYi]<Bq7N ٯ%[aMW$g[/CyfK ~ʩM$C?[{s% &:$vnoC]S 4̏=ESHuZnImaMf'(gx0n) p&%:rñXb@f|Y#+W-O ^}o~. ƋF,Jb`.ʷؘ3d"vx9k-<>"v \2rd#(ۿ)"@wda@* W@n\቞Rh*դ#N#v= :B!  c_WgҒNpñ##MǾB(A >AV`9%z4-&jM {-˜F8N_~fiW\gd|#t݃rA9ۍV*&1uG0Tmy׶== ,9<.AjNfZ4@+/ynT6 JVtcXx1هwC(!2 {D\[ /D!glӈ:-xVT~"۬y (I2h2 :hb3w\z;5`ŕRNL).t'U[O1bC,?Le_6"$O% cU7!AqFt{r/e47Nh s̒6>+kJLZ:@\KkF5_Jc}6S# M5#$mU:S O#)+]Z=v͔:_S0t'V#>ϕbB̆ sM@a< ,̇w]Ht[hWA:`N·Kڰ׀h.k Ad7?M4cUfr @zʗ{_6é@G@19WB-CFp#օSe]O2:iC_A ҩ+v9t(-+uqsl@pDo9~c"&C?SgA2 bE(keۻ Ł㧐%?P$oi &4Jhj׭>,4\~H{YǴE`;}h]?,b?wيM)}WpHIgGna7 0W-xu 5}wi0%q$S/ȵtT>qWZWT5=^yw6pe~~̂/("M|"f]Ly3[P7'}vBkd:PW jZ]1)Y05i~h}ѕE0jJzۿ?ݞĂZbk%5TQD"Z~ˆ hp ?c.`/&. AJPHCp*HH;H>AG4ʉ<Nu_6ȾAwJ>n/@OPmNmfļ)KC >\̑5 D3!ReI Ft4;:t'4Ab>6S~vgЏQMUIҫA560s+^ga[7䐑.0>Nm"I"{v aezVj'{(4=&SPؚ~: dN3>Z8l]kd?ՁQD­Mnd]N( ; Vٕ ),Xh򈛬q/r}e95%?ǚAw~ GKOU }-l%JdG{ë<x4-WjKd1HcVeԢ :z-<rL7>x!5ئ]\j0VeC9u=0ʥ4R%k ǜeEH Vq@O jk5*}?ҿ!ZbMq),XRc~^AUl@0kTٴm&c2;Pv`GZDJ?^db6Pg;Y2˨l:H{tҟbdrr]=Npn`L CI袅U CTn7:2I6ln *DT=V3E bhR"5>Ɉѐ&xRnPb VE( i*OUm?YQsY^@U#֚SUP>0lV@Do,rٴs,SJR4f Zm*틟l*-s.DWI{vIz;wU,[N$Vg1%۔9`Zcx7>ԗI*6ZZ}۶g䟨"ΪLdd+|ȨӲwC4YہC24o5SE^A(*Zޛy-u;vG;C}]g]c\rpp,s|Z ?ٞF=V蜖ŝZ/]D`KPZ8}a#>1U`G\!H|i&_)~ޘ1 \$䵡Zj1/$[+ ;t`=l!x2|ml'6`PF o ˾D У3vuSbo +|./w*6ОPL5;j@d]U!Z_Ar@$z7<}s-hܞQR RAkE o}lQ%@ XK+.cе֠$!~umѼ].9(VSf[%"Ȓb; DTi ޥLy[GPA نk m-*TqZZ31t5b% (UQfg܎tѥǶ_o&u#;+A[>ujI87 >Ŏ a]).#H$ipe2 x@<+oiW`HU½ 5$Wq>FM*wHNu\ Ti+sP/@Pc$k~ l;Vcы*FV/u7bTqGBEKb)f?Fڶ3vH N7y>)q[Xo+k^V(0aZ"NU-wV냮bŵg1ʈxO[% `_w k8XD⥸b^=:R/0[OߊΏ}b߷ MPOw) _YV?dUi0f20Gju'Ŀ8۲~xʘ}pQ7?f {2XI\ ]FQ]ѪQk?MJPझZ 5 ԑ Ay( uW3@ΫXVˡ=\XSQ8E^PqZ~SlbNou`3SmS\c\ 3h>8P*:Qg`+ttz s jMSYL5NpMJs~ثA&Ik"ORt`;Ź3uP>jyRkvyG쑱ئ>Mc:zՃ~ivVE,MW,g?^ڧW6ߤx1pz3roow/;F2ZlzsbOWu`w%;2]T]@'_Uq*Dyz9s`b&;G9d= ,v]MAjO|:tˋ&aMKQlqog =^4θk_8BO*ͩ6Os&IY$*(:N'-ev|],F8<~G7rp^@\$RYPp"%e #/ ZpoKM$[ e="X݆9l4bt4q'R(Bgko5NvSS07*.l|䵡I%8`O(d?}&=@(jQ!pS*Ezr9*Daj|}PyG/S1aw+QZ\vpun@D?̓=#$Wp$ZFgAhnpx8bK t0x }UaEbHf `|{̸0@N6| aR8MӅKǽʚAwZ-V4Q@$Y ٣ۨNhf/+g8ҲQʅG#eC6h?B鞤rNXTYZyAlB>#xӂ5cz~[m[+J&/0Ɓ]\m+k*وLxf7xA?*5G$cUgŃ y:M棒3ťX ȧ!^k9c6zݰuR_~kGӅ02v- ȠzU>qxFKwV50$m<@ 4jQB4?Wb]Bw pN>n&Y4^31WQG|@ڴ}rZcE V]!ٻ&F+=s 5jc:&'*&/TD]m3\Uc!z b.}U*6 `*RǑe8SyypaCTK3v .^;?ؾ},8Kk{,Ŭq^WS~zjɶei7R89"ZrA%BzWGj4?#p2?Ӆ˙" p/fNճ^0Ldm/##p$e5BLpQ,EְfFӨl#t Ɛf̛.q-BAuMٿHX|Zs_v?B)VUvrq<ߪg{~ ; VQBR`x /)՜ n b[X]"whx&d'P˕=hsF>蟤3q]hU5#ikR{J^B̴ߤIsKּtOʏ~wJ2sloC(mB@vKOW 3tsf04M*[I;,>6t\!5Z$=!ndKr~AEMgc#'=".ecߠ쉯[閣x~X7sSY _}hxqO{*xaAC*|)5pg:(ՊPl,Z e.UZǍ kFy6)F}BBSRh["$Q7FOIg9[L>//x|;s4X I_Y M.3#RñGJg#Gӽ%l>(!q?K|o±GeqtW)~'OɠI$  d9,=ǁ+!Q^io4>fwTp^+^18}I'(4i v_WJ-;ұ'v.(à ^Խ+kIۉ?sP6W*gᴚRnR3hAErʦP쨐vɬPbejxb9LLʱ.'7Z{Cz)8x.k30\ӂRfgެus@zȋLJ#qDH]{yD +PHuxSKR}Xc7n%5u!)>=r\L{kT*AǸT*9Qklϰ͍0(+vw8o㔥JT7>V̀_|Kȶ}W&$C+&*8ﲣN"R9J@'`((kM7Cg 'r7W &x9kƧ׊"U!9+fHSj8Pg7W)<v]sm/Qo!dVB/ nU"p Ǥ.12=ޕZs]rrz{(9!8l)mv+͋p>5qHV;m1 9=bwj*.[^:+#3?_ Tho_'(|( 6r>_ (zŨ8KH[{f[!g ~4|ȾЗE.dDSRb▨,mPBl/,YHT8`>("$W;d`Ik5[y<D6SPws cܑgH(<$ZnK|fî~_= 0Kw6gBΤ\AGuQ'C5wAv,+uAWy]/s] RZtxIm"Wȯm_"b^2K>/!R(̶T܊rI;@H>>_tajJf/h8hzY?siUbΞ<7x rC!Z]z\O蘶Œ8kXW܀4ReqQ,`2nl vp QWժ38{J:66Y :#+ +cO}OJϬBOzԱ>r;MTVB:$= ;NJ-NgS7j DoT}[jfmu{m ͔W$$1(;bL{ .I$fOݰ!(QNeM3!Ǖ76nG!:rnWD[}f'9W]B'kq|S0CW^xy%8%-{w%R ƴ=zQdC EUq61FQ Vǿ/0݋'OgYZ624d22191371230bbb1dda689aeadc985911a3b4c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a