SQLite format 3@  . BBh77otableisabelle_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 88%$Dl ]/]HOL-Analysis:threads=6elapsed=282.512cpu=1238.640gc=85.316factor=4.387zXZִF! ?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkL&35xp%{}s1ղFt[UBhwb։2N&h.QT#6]{-o!)t ٓ~!rm;xYݰQOTFC$*F|=v"-sAM%66x)8Ha0ݻ4 %xT]4;VEjism6W^`T ;Y^Qu~0tvQu`MjP1>|G=F %҅Tm.mt($v"Qj7F@CY0}OcS@c>3Y5 g(N<3^1b`~8X*iΓ Vpjxܸ=!Q:_ӳ#'#_eUe2BY8|LJyEz\5XG|gaOK2ĕ"*3$BfVZf|-w\c94u0-M|2YX+]G-5 jӔIAyΡғuv 4(%y_T[*IziMG- pL2ֽj>=<ΐ$þ{BV{[rtjg GddJm7(8C}|=+~1gE @Y!5Ov4]`8ξv(䗯hQ|#Hê&󻒄}A ^noԃ8ak0U?gLWns<|lrsqqy.M]^Bp*}qZ~&ց6i{}oJU0W]#q/ /`GRDzkRF&i%+bQE1͍}`x8RmSOT,u&#&4C7]9-uhd>QRoVs@21d#Zn*E<>&J*BdOП#[c9 ߞ])M[ G+Q $erFn=|& [˦D뚅rs _t80+LEji.kNFP=2 ?.cG|] !8ԣf:re6cB#3ԁ"X-8`A.o" 6:їT G[ cKPނ3dmh ApX@;R`v~4 *Kzo$CLlwG!f_r{nMh ox\lN*w2coQ` kAX ڽ|Gj̞naͅ#79DgKNH:Vq+s/rh`KqN34nPW,:fʡ`DVx y{z-^Dui /$oJH6ňKu^zWNi2Jp;{i˯ܚl\UAUi\Э;/I\qDfh0^ZY9={x?%:".Srv5HzG:ц;d3S )ޭa8 ߥϠ4֑xW>HXP(*Vqa ;F(6=na7ң8Yˆ>.Tu*gk}֫`7{-F,6u2*#7 R{F[=3Õ4{l9-o:qM1jw8!V"]Q-뙦(>,+HpD灆VU>7=k8y8GͩT¶]_4TiYb j:<_Oد:88*g+|PP*s(`.9F~y[P6k\rmn5>}uGԵjM*mDjEyd -dízW*YBK9>jFE5g?Ht9wj#L.xh>{L%Vr$ % HOL-AnalysisT}r"_ m }4T<O;66:]uCE!st1$g >aLK]Ψ#OSzggfx_F⻉BeTPV٪49%hKy<͟g7qB {.')4  Њ:IQ9NŎ`F^h@ӊ5Ġ΁]D[GSVrٽX@|o%ͿMWq5Y ^? j@^RƤ\|}]p:Qe}UPi4[QtW-GGݻ]݅ g~b+m1Oxc Ӟ]pT| DZؠ@* H1C@+dUI`)66kaN{w%s~TZt׊dLP Aś%f Fx ߉OQkUT5.6I`$4IPYmUWn'~}rT²qZԄ-!>=^>2uQ p%7) ,ˤ+*Mg7wdk/ܔgK?[Mhc+f!%OkH1%9&=|2'zѦyu+)EQIDj)Ǚ,Ж _ByhYH6ˁǷJz|hg\#ULV/"[Qk<: BLFsm>kWZi09Z{ @|az6h0g.73"[.hKh' x-7M%pZ`*A5ħΓ^z[hzq,Blk- cK,ٓf nW ~?2Ji9U)a5x(H+fx?r yY'OJ),\4VZ ##N*]9O)&5^0aϘ5f1frUbZC=zCMtIּ_e.Ni4%\p[T2u| ܦKc_ r)[9wAvO!kp3Rc>eq/#sE@*ߚQRoɏ[lR_K|QIp{"Dؽ/L/Nraq=g7:mi1@K-/9}o&pQQϘ^5yEe VuR.}XQ/}܆NM+zv}j"Cj.`3v_a f|@>G†r{sr,;_N݇!:,[0W &9mW8{Fp; 4::q"-ιIuر5{MشM i! }S pAeIʻ*x' w6;ً@B6,V6GK 7IXK2@N?A%&yw:Ȼ6>;kJ,&$(x0ik6n#NјzQS eU&`Ntv9ڥ>Y9<_ Ϸ>)uH_7^ iJit0A kJ`blp!VycJpڣ;oWCDx3_6PԏHQ[)l`,bT0msN蒹u9 jk,KձpLfxlz?F>䈄Fb?1lDɰU wb|M6y%D Tx~jT3 36#e <\={Th,^vU=G,jۇI4)o:8L8T5(~ 7o@ V<yRi=F!ipWQo P4m ߣwO F.~\u6Y^:rj"UZ~ j1JcY4k2SZO rTIrlP8I:F{ۣJX'XYY=,r[}NHf:.xGDh$l!'iju^c8 !l8ʨI+e(>װVh*^L6\ q`pCxOU줨  :bY T>27Ö}qp-'qw 1RG&ik'IG*k&=7mvhc:$ }з\X&ƾЙ2 o F^~uN:@M#;Il%){V +'f )WO׵/萂xji_W7CHUԲaĚ֍2Uo_^=Е ӻQ(y'h}d\"IżxÇb0Y+&OJ>z!-99d߶#6U?hD_7HO[bO=VZsd{x@/Zwsm$6cM5&#_ P/sZ'7PgH{s}$9 EM€:M`јC+F37AI@Yi׹].'~Xdշܣ=4džXeu~4*@( "7 %Аe%DY8¤-w_JuWx$es 9!ռ{Qc)mR+Uޜ''Ǥq9L\IEWn(%KYFSK<_}u dEA-L 0>بC%25]j*q8qй$T,Ք" ,+&zΪN?@X%Z&`]pQ+OK¢ o,6P! Wǵ:iakc0;'rB_FK.,^@{wON^q 6rޏc•QS "ƧP^G08.׿o.w|0C:si(xzbYt{//k?d#_~*eݮ̌x!4acˍ ɣ=1A uzW␎WeRٖu݇I4z_ u*Mqun8@AdC˒,[V{K05?sd'}ӞR=yhX:ٔJj@,Zrrwl4hHQ)68.L5FuVVB4șaځ<׋fS9|5'q9$.,B26XZ+0:<L2 ɵ" Y2>޲|i%1t?8vRU fڬԩ?>2<(o >q%(Z"WvGe5 SQc!yJ-2>Q^cZX;Ƙc3b?WRVTT 娖<'+]' t?0n9Rb7Pyy86MR :"T{>d))q,μڷ_wl:~۲X3Z [W\h,ǝa Yرkpl/ O۸!c)jҷ aRu֭gh~aG@H?VR麕'31禂QN݀L4`SŽxf>P8B8'3Wly$.hlll UwR>z_+'pLIQ :NfG< 0P޷X/F8+^D7r!h ",-`)ze~'迮v#:!d8RnE[ٶ4C?˴'XSD[R2|D^)x7c:j6AޜQo4?DŽ,$1 16ϕcɾprc֠xDu pe>/f Hv1 OI!AxVn([#E@"cŦWs/2N Ҧ}oB@xYЀځR쥐E,wqkH &:|;^w,n;O&ped&88iP rtü +]씠ObΣ=Vomi6[é?:X^ӵIc0Rz6{cU_Y (t:OهpkduKz@Qq@lۦ$^D *h@Â$Vq B}Z#R@15t:3a,zLeA?Dx"Oӌ(]U,I;'cDQNܷUsaTE% u\;lE*`rHkU:T?~Yy uAf`Oh0m4{F"$e>g@ZYߕtGمÏ/H S`W:; ga[v8~S*i"| @k-b- 65~X ^uL-GNUb+yNТ Xt~;"7N'('0uO4MpKܶxjM=jQ O Rr+UxA3Ʒ37rz;qAqw:uYڪ׃k]\mFTq @7T"$r:ן41Z`PdJw U]Ii[h0Ws_N$P&)_{R,a͊FZk^=9?gҽG6o eQt Dxieċm73dhHSAQ ˊnzHݽN1#hȕYf 총mKDE,*G(E|5՛ސ?WV W4.fP/T ?<>1sF54M@^T{ .,kx5OS('¶Dlz@L-#C()ɹ3X|zM:~MSVRHI:t-oTB:A+ i^+(Wlml7B X\ؔj#;BD#(؞Gaޒ2bwgp xpBn/iCp9GPy yξ1L0<BSX4Y+*d_H?w!=Ⱥ2a5 ce/Ak~2YۘUHZwrѹCXDFk UDY[y2Z 0n?Y MNeOHd' ƴ̱aNK}NW<6;ؕ`0!@ +}/ }rԉ͛j'ߛTxÀ5-/H͈fAl:q*T]$fdJo)#"qDJoK5F0I?0P.n=ַPf) 0{״ʹ`/(He TFzb'2ɍA6j.}1c5|j^^!.ٟ͜qԙc5[.PDcATn1GI25v TxŅzr63t+ J]Ad{Nli؅v䚄-Qr*9?;/6,Pp &!@wƧx]UȦuR_ qt+ \NiW2XBd#X.s KEo&km[4(L[$%aX9J "2{ikxq;-Oуs8e8_ o#[QzrxiftΓ|ze+$EY`6@MהNgOʄr 1J RhNƔ5^CpzXnaOP4ƅ" 5vO!ϐcV:x] ca[;eηzFźD\'2g.OYՖ}!sN~҉9!iftH(-:ܲS&nĿuˑ!k=v|-(OQ2>XFۧ8YlvJo J8,z6ME|"3mq41ŘŪ]c[[Y,1i&f(5Ȏ<ׁtUqaVDBplR{ARS=b*T7*!'+^tAޓqHݮ1nv ߱!oW[}Aʇd!؃Uƅ {H@wbziٽȏ2yϨyM/d؁Eh'6hs3YS<_UE؂跓 HAѴF!_8Mi7 ;n x1fH\ M t/EbԱ@S;#AN6y?aL66}GriY k Q+p TۨP E=C rMt`y -w/z T:~7.) l撫HFk(:VQ)ge儻pszl<Ǵq33H-b=FzdqUx eZ4a\`Ĝcon9AxƧyɔ`6-*ʤ"mw0 g솘0H ﳞCUX7 IsnDGD2 -d޵g&Fakc@YV`cB^M1H CF "G(^SFJ] # V#O\@5t& tþF~3ӅGwQzfQ/i^ARa=E<xQ"b .:-Eٱ!k `|HԏI1~ mTb+AXL'7sn R ("B6ԶVߩt1P/th,k={ ?0p6 Ugs09 H26 U4=~{53'ak>/Ǘ?-~ffJMBU rDtB=n}(#")BCHGu}>{IA}uxa@MNe;Q)E/T07|4ORPf~T=&6`єɁ+{#4>OXbڠ+2q9y%^о?[&$~.A!%D6\g૞OJ4Y8nHz$8:R-L5<9X2f#d͓=$&Zp!2pޯj*7յb(XdJ~S~M5nbڑk%!CV;'r3C=cVǝiLLrm.ź#qFeoz[4:J!Q*CUfX-&oCw,ǰhtYKopc4ܭZߐ!Dl8;<cu܎nA$+݋TjT%lS/LU3VKK!x,ɧ`abN3̌h8՚>\2L'/ܫ3!$ 4(3BHJM~WCmd~m~sҴ\WH^wk˸_s?^1={tSGL  nٮB7c!x^Qc.CAaOt~.ƙN˵c &QSmbqqumxFfY ɢlPD {P҉av $0loLizGلAE8ȋ8єYԀ"0> jy t–ƾ(͡C7pt &nF!Qե.(4UБI=E{Aq\EH#*W7.5l>ӨK/<rIu- 0Q4hwzڞ,|hs֖-۷ p@d-#PjpweU=H^d]Db͒)B.xHH(V {C$bVppl̙}{~ =ku/'Nxuj:0?͙O{ªh T`d/δ  #7W,mYHuc ޱ A܊j\R9ϒr~'RǸGkds$`$l#!0fTHaDK#x/iH6iG{zb0kً~K[9c/1 ؏|ps 뀑iKGMϲ>Ui0K/k eE wi)s4M@vzp+҈ < ųS.-3,lmۺOe)T94y[\ QeIL퓍id$yehwp@5˧r OL`˯ 4;)ᄝ%_40:?!$wQĶrDӧrϭ/נ4лJ)~ADZQ6SBaOjqU_ re쇶g.+t- ƫO%;vdYx\e5T&H~|oH44Z}H| Qh_ 0Z_e,.}"(~h5stRrD|W'%E%/Sxi~XƑƁ,TRFNMπ=dUD*#y1qѲ K{̅аǓV=5w*}Wr~7|>(W $܈}nv5D[ -=o!D8P2+usGJDGyX@jE+rNlZ>jЃ`VˇlP^C *;6M8ч &&HCWfY[gAb+qx/D ,X`ٙ$@z#vW(fA>mxU[9}T#*.a3FJ$ӛ[&rotfWp=p[rb ~PVNPkK7M(HP\: vo6ͺ'~ ETܼiTyI8 1aEʶZX+㾈gcթ݁c(,rk gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd45Lk(9h.lUl)Woq\-S1i/Hg/ܬ,`W.) Xu^IHb˙QSDXЊxef?D@Cfy3:+Id?bDĜiudl,n`$RtքhcOQ^w={Cϻ'thʩeEVۉCE (}3Kbɔm/g|=+r(BWÒCOg/~f  ]' hδ#G=c.FvZ&&!%Z6P,LnW&D7:s"II1-*KC?]kjݔOxX;^Ea &[Q'HM>Gv$#sԷGBS\AH6ozL]8Ĕ%E_P*"Yy~GvX +~`:|PSNۨ ~SvGަw .Lfr>a * Bc{k~:vz6GYkpp{=QeY6UɶîfR@C )= {2dbJ"oV9 ?Re)ۜḛ^>pv!PO'K`Czڑ8פ1D>r}run3 E=g=z"܂׌}=Za@2H,1ciV0PӀ1|(横{%\]Ӵju(ϮhkAFi] JV>4.\uy(%c=? ;RLL&J8S`3SE;BaR3݅~;`?ǡ}kQϾG|FmzQ0?&r*rPLIme.An R{lNg"@b7еmK[S)+&k.:A}ُ: X!}SwjN?Hhk+ˊF! f";̜\4!gDnY9{D= #G~8Y|FE{}5ΠgP n%kg pF߹|U&ptYK!Hcl`߃/< 2)?3f!. aV94' ל.lH2%mʾj8u ,Rd r=.q;zb=tu; $ dq+%s?$r? U-|B3Ypc jGR6+cx KqzV!u CCD&K'/h $pD?҂pm#yNR>:/$\̬uր;##+>`,tW`~蚇9QH`ݲ1 sZz}n.CˤNT~ xPA ܹ }E=r겨I,ts^v\^vgޔj TCsUt!֏݇rp;5L*ET]OYz9<-@ors>HJ,"ɂPc&Pcd#݀./uMN z~n11o?BUO ;+fM "7rtg\jL3 7ƕ%o.$9BsʱgYZ7zXZִF! U.]ŗXi%CA4bP@z<딧2[G&}mGSf+WG#Y?0 CpSb]iS17jJE}[3(ű'20it Pbp%mMzSMFZHye%8p*?M\$yv;{mʷȦ`DFkPkas雇fʰM GaɮyNRZ%1[sD^ݘIPX *EJȫoY MǺ5 n`:j9X6<{Nak?& gY<#Mf> jxO85wtD~pQ(teVIt?dYJԷ>cg @^*ȵ,R?o m xtJfyܩMvϝƎ3qys1 8"T@ijz(Hu*Cn%!gt/bӧT :𲕞\&a(wkQPz(d/VV:Va;k ~IJfIq?SqQVD?_Co_nU $>:ּ%pch"꿙ˬx͂^F-128B-jqb7< D(q^`M9UZꐸB$Gmrσ7X5]P~[6WR5J}zkƷĬ$$gtS0ig SK5/Kbd17M>z}8ѷӜMqx-\wo KQ%9?W;ŬO1C54"E(A1Sjk>ayW]M.7@ }wG~:8\{Ɓ0KIlQa Hlo@eexq_Ǜ2g"^I5U @uv Bx䌅2JIF`(vƘ,%eWN߽c7aj!eYY~`J8 094@ɡJ>FԐQ lgfyRie2V؆T,] \oE?v\/28%,EXW^Nv+lp6/3;ZW(#E`Z.$ZAe lD/.lgӎs"O9j X@ %0=eN Kʮ?4FdcEmg8" |;<]/=ʧ9mp^.+/ EܧQГ=h9[Y16Z_b)5>;PҜ at V.owOY 5SnY`?é=b '^I̓52H brzyW.X)%gʵb%ȋݭ9©i=å%}ʼQ#5A.M@5r36)x5K-5=+ʱ£OA*֪v!Fs-UuPǜ)F\TR u<؈ƫw^Bޣc+u6bK(4 {_hk%7c@RHP]3e2$AuI=1a-vCV5Qא17bZ8#sXD㿷ڜ]e{r\0&|yo)7 [$Y,v j|YaHn`>혃Je.){¹7l!"-.~۟l FJ\~ Ƣwv=Z+ \gw }1p)X&DͩfpaM92P\ ~[ Wgx94Y9aN(xZ%_ԯ>!,T ]C =8NȠ%?BH֢ɍWG]ޢtWM-#ztׂ|E4EdQ3毃%\(s',4tt@WZwz[9I>›EKRIh,84iP(˼|? Z\-g9ػmUqὛTp4UUځ.Y R}!!@GӱO=X ?E+Dz)4X@@jSu;K)a]Iߐ3Hn;D &c 2U4cDD$Q?ꎋ89q33|OY' NwѕfxRͩpC i Ʒ9%xՆзos>mY4]&֧fS NK,mK@3O*pM8 l 6ֳ<8ip()%aGm a4bffO~NIcG[rm ,&nxn 5GWa|m쮠(~[KБ>6je"o'' {|5kJ򼜬vp'Y(9 Kj63R`HC&0j9U1az ;,B?ޮiLd%W-p831fpG+oU!\ˬ;׭LtՇd5eI'>fmD*z{JN r RxT9}iq[ |Exl7/;0I:km\"И-hI8)9L<*APfϢgBu1%<*w]l#k߭ xָ !1E{hh{IP~C+z(`A1'Sr@h0Z! Td 4&HݨݬVX}W]7~yo1M׬.dmq Rَrhv"*iQY0+: ;LՖDWmpY郉}҉$MO(" 's`KQ.gPRALĖ f2v"SkȢȾUEqՙ3aG Ĕ$]R.!K8hPş q޽Uw%ݢm=t 2p ͜i8ѓ T$JH%\|!\M{5OobBÑ+G=1ٖT~ݳ'~;H㫮*2e5fTFsF71`r0 Y%m8Io끨g'9~.=XE1DLa>,H Ъ1|+`+mbHxJ/m"o].':.#=X6"̐z_RL;3Zp9_+%>oI-_,sH5owNT.|!F4V%5 T)}dh ^OQ'6 vU+&ȣy[7pJj5b^e<_o:R^Ceg]8^$L Ch?|w)_y;WߨYtl-ݩ3$v{̫G1IH!E_bQ,wf"SNs62XfE%k˲)Y9nt=&s&o!@/QFt:>sJ\;S=ir8N*ҜmqfOq%nAw9EOpz#-#V4TN/gF{1mFR҆nشۑ="q\?{SΊ"b4Ni ̷ {%}8"5K/^CW Lե^%+sJ5H𛛡?4ڮ~[.-QT %rߖMr7ޭ{ C/M_%"pz$=lϬN븘Bu9f*ͣ>G!c;W>o+h{NS0e2v~Gr_Pr?S_)yZxQT APIʬ2@J$_l\cp=ٰ7BwaYC*Nsj ޽IeBB{5IP#E39<ݔnW'&+E!;h')G vh)x ꥾OM?;ԏm@yo .cHbBp_2gD#T:ѷSp1Ҏ4?CXg1S#+–x82=/5&[yed0 F|Fʥ3'g#/܊r59VMӫjU"yH((4 _5'. lGvuG~24Yy]<2 gΩŗa<.5{AKjK}[2+s%1VҊ/f+ _) _j6_s}]F #c.ʷ5hRpIݦjuܹbVLZðIŇXzk$.iʁZVbdbN9R/8*#a ^4sBt$!Bq1W}۸l]Kiu.޶2 `8=c8Bcp=ߋYLF)U/v(.:oRMAIMQN'*g -?ssu,'n'AF="^{)C%4.OdIUœ.6":;%AsS9sG[.8 Ѻ.Wpיb9μ1~6ձip!RRxj |)R]kZ{(-8ʍN6D1>m2YzWS$`J ^=L, g%JKpc-l).^G%W8؋n޶0^zntgq$P1Ǔ}(;x_(ʺD 0Mo^H*P!& Q$+|sՍvL= Wl`zΫ}*TBA4# Po6 f7 ?ܛpN3"#(V3Vl̙ CyVp^A ,/j]2r2<Z}Y#Mx%0ϯ@7%CZ #5|d#$-99 a݃vHUp2V?(&腑eE!ˡAaԒ ]I75nɛ UaJ$ʬPA`؋ G ce)xU縗㻓:+Fk&(-9m?(ddW} Xg9=͐&6_jD+r8woxJ'xCq].w뒰y2d\'oNOVT+i\X6]ъgnuhIX_if=,}^/B6ǔ@1=)[ oc'~nHard]y@ǭ. YM={çJ 0z<2jqk`X/\%~#"4 z,mz e(QLA,CzR%&D!3A0Y M OX7z/zv =EڪP(#|OMsPX޵bMգu>\ C5gLcD_.I-&SZ<ԂUt:^V$΋7mIce)qWt[[yh ,a(q7_^g|rbs͵4H4/ZʆxXs'WLǟ~֎t[r@"k7ˌ=YE诛=*oUX [C;@46q9gO Tm<“0/fr;HmI<:Rǟ uA8~@_aP:ܫ՗1 ۡT`"޺g}vA|0}?f&#D?ˌ+0e iMCҔN<׃ss;MQ'ޝ2ѧ_ا ՗D%PӘ5~ ~]K_2ȫ1t~WX+JN6 L2yᯖ j|u&ל=epPE7dkuHLA@q} .<;D9>$\"`킝BicL7M󀮹 vщ'm*쫋\*2*708핟9O`š@T M(V>Sh7ݤE~tK!O,(.L. {8⚆ 3<E!ck#`e֊2SSz;g3fܜ"7:: ua|ReЀUG"T4GB=ݺܡ0)vLǵz `wSJsl B ҈=S#sL$ }!]Q7vؑT>̾򠄋%o`Kќ ?쐎 mV.YZygX8GSi`#-e !EcL9&dx[RǗz͠?M&>lײ:xx7o/):Xpǟ @OZ\kTNF>rfkbLGeȢNBW /Ck C}fS0X}]SxV:w>D*V3|{ǁo57F-݈u9q"]u_GT{d*QQ:XA}>S<3pi[cr~d{DѤ $Uo}O>R۹jF뵄oVUDS'XP@Hӈ4sUYMpgQ+l1}cz~ڱJz6Uynӊoc/zm!0"^Ƈ7F-Mq흄OkQyEBgfQ\UGN] 9f E-0zCFiw3^{VslR7b'd9r'8\[0~=dyʐX5 .ɜ`j s1瘸|&iU]k`/qy$_t1{-ʝ$Tڡ TgY4ͨ|wZV+a/ņ na(g57 X$U.kxܬb\ёΙUo;}gK149-6$F -wj`@;[Ʋ90:oY':ͱ!)qޟPW~ber&ؗu&x0'x WԆ0rDh@vQd'\܅c]#9ͱJv!~;G@OfQ4"g bzB( YxaD"螦"`S%?]ö7?L|37ZFR:Hy钯b须]Γ=_ l8N|4` Ecf"i@aRO`/޵`P\"`%!$p ~^=2JSbov 2ud_Y/~֙orO4҂] R'0>t̍dQӝx6|j-2۠\ r qxUvj E[KW?[ٗ85[#A7gP %Թ4<iT ^^*p9&-? ԗ5R:]VT @cgsQahaP5+,!KA)G/yLOOW=s/u-ͥ,]lXuH펓<֖c%,8SXd |ܾzU?נ@4g'6g5lڭPX˩q:@vB͑,ۇmRp֤B?Im][ΔSeJK 71N|r3 ҶyuAr5<A6$/ 6D'6jRJQ۷#~b} 3+.yIRL?LAe|TLZslJ:Ec| pLo.7x'ͥJaCGnV$\ـm*yX5{ǽ!F0eikJZ~Tʹ[PuS)p{ M˖_xŵX\PqjEqQ22YpMӴ 1znyy"}0C4)oW{$>Y5ޡ  ;(G*,8H$zF\ȟfk~'8/Ď;kX>p\QkK?ȬdG@\gMgzT 8<ϛԄ2_)~b"؉哢VGj (:Va[g?#eefHAh4VP#bcGҐfN<<㾖>qDo9dwfEɊg!ec /1H_hxY'T!2SK&rrs aIk|v'".}^)Ve?XbKU *.at7+I~&QMXa$\1joo]pҠ2T08/MLSQF(CT~LU.g40i+3<2a.(Nᓞ@i7+#JJTy(TQIZshRt}C v:`kv!x'_6*bY58PPKkkGQ%<#?/z0(IDM/nYGl5&MXܷef^dj% ,^)ޗ-(X:Se7q R_b`\o5P.ZMjZz7C4ɪVK!3E{DwUd2|OWyW{ +M4R]t#?pit~2>dU8#zmQz` mY7D\0 /!4Igz#lw͉va\^y#C'$κhk;mƳfw-B.wcC6{@>J7X,Z2e6wvAm._+(Z.P_ n$*5{^VUdC]2'Z9G4 2Kb(-#ZyuެKDO9ã5cmD]\YL"١U acs+ut=i&_JU6<@NqԺqaC!}*92mV#ky j)_P}M!8-5][:PoNwK~M6H3 YGPF ;m ̄|6[ 㺟#A#Wv<J뙻!`*4_*[d;?UNsߘGy^ ыζcLLCS1 5g#~K wY ȯb=ظK?qѼe|hTDB9WX6 gncơMnR4-Ug2yfu{(s Θ<ݍRUgGxң]Xcǝ҄Zx-јAa-J6_[#.0`},䝟 lգ^Yȳ eE6^jlO_fp73VL=@ #bYk .H W Le(#Lz* Q}u1FN|tY :ةj%[||h\>}̬~h/l!EgW9 u&V6c\8Sp$FL1#8`{Cy_|#];!NȼO6o9-,2s'6(Q}{'ΉԮ'btr,?3s7wCyqGsE,ZNQ fɳ>J%]Z@,O읍]@^zFcuaDv|-C.{=*e7@$c f) ]}d K}w N*lQәhuVT0̼TSG! jV2G8kxxlߖw}#ӈ"LܫI .iFOcb w6)v߯sLΡ!OKM_spR·T<{OxUD 4oɮ]d .|CcI""Iy.1K0cE_#T;9AyٛZ֟}2\ ]<^wZ;%V[鴰4ׂwzu}JP*IҵCLkѢ+6%!e\HknӍ Ϲc.68C%4~X*'FJOy/JKE([M ջʞD2`xgӢq )stM+ Fm8,WrS\98p*Rc;Evd;*R=v x%NaeDq_cR׎Pstw$\Xmk,%U"uɰW܈iRspmg^KJͦ}0bƹUғ8k.z[̭ 2>ILゝFGK@ۼ/xPY(e^֝)c+7!td,?{KR ].nB"86g':een[~\ji!˯I-zw{Y7ڢ~~j="f}My<$Ig""\\*X}Gc` ~)ALguDwN`:Ķ..r6W*UL vݻvC-Kk^Xi Nw/ND@i-)J]v[*3#{ ;zfO@K0ԵP-I+Umz-Wg('|ZdZ٦ō0ZvM)DŽ~*VY{FF{Xg R):Yۄ%9x;MP)k{ a_geb`k>&4>ri qd"BиxtvSpEg];yOժ PQƌu-k<ܬ=PۣY ;KdB߾#f'GK5`Pc}ҁ"( pиm0(]*3ȫd$晓Nlnk`U \t84Ïa>J7ו$:h+X۱1ﰙRx34aydT/d; [ti(ijFnPʏm() V[. 6H_Cq˻ƭeNI+8"MH^[HOYuKk0%epp nɷ et%*7s:}|rUsYc:\SsԑրwDTyj z~_`VRQbP)ebВ5TL_+CT%g5VM03?dTin 4XsϻY2h ` )_zu%mlw:P!&}X z.?P5k7 @Mڼ8A~0w羉1Xk|Kwqu\ckctq( Z#]N{@e4GdHbH2rd*O*5‹oZ0',ߓB;pb JB; h=tÒX& Hw\!nYĺ&N\,"+tމb6 _0: G׾V^Blz0L=3iV??aE-q"i~*8q= >Cè;`-<{XӭrڌGyZ4>=>` : 8o悱1Nx>9G@# 9}x H(́v's??BHXDR։5C~wQܚ8o T}YkxfZʧ`!+B 5߄QEs9k)B4+ # v-{=}*'UpGV^6ʁZ$;R1DIF&  ;H+ׇ Hws\'CihN T!Cw,\q͋0brX#Tmhԓ!(Gv$ka}K i5%*LzY=㠖Xo64U,94#ڬC8zD SjαD*pell[]Q䋵r kh*Xd2`[K!H/`+dX7[k\6L/P݃@>͛Ў/Nnx'يr|&ds!xd!i[ 3ʷ"9!`aV+#ubڱe)͜< \+`IDɕ9i& c[Gftj8gc\PZ knS)SB &l1:JpKe ,[eTr-L4Q A~q4=+L"Xed\>YhoA#Qt! ',q!Ȩ2X g6[3 qs'_/MY^t!bV]u{ W$y~r|', coy\56h$wW^`A*p, qH5)[}NJjE-d-#7~.1t+i1VTK8tcm] fJ/`Aې)OXr0m^IR+DFAe]Fb܎sŐLHcvZ/}Ac(&aEFvi]OOX5%1,yaL*x .F#=4hzT- gcž5L}DHַ2>~:9䎬IkH%EM)~Q`~p#/aȶx13?VgATuz"]\كJB\9*B`9L4NB e4 %THD5aNƜG=ҨE+9}ulf9ziK DH Zx=4N"SU$1-pe ;lON]k fg4Nܨ])9F}w>8Egn_#=Ň99*?y?h02*Νx-&-dbP C#}LYPx/3u5\@x_CXcI1{m4浓TȽ^MΉZQN'LK9XO o~`<^rS5`)L=ng7 N኱uvz(6S~!2-}87bQnI_dli,w4ܯG?ff*+;gTW mz06JUK5ng*;ƹ7v_iz3TD*HnQ8PS` Ѵ'H4PoQY@{8rO1;BI;lUE5(B*~f"LEl {aqzaC»q4Nx}3$#lɱ$$Ч[0@djҔ9'q!:'=U!־=H5EtIw0?7r#6IKDP*dǾr;,T ^X3lbE\rj]-ISc暳2Tyv_Z.s XyRJ ݵ;w¿}J0P9G>ϲa;c/wZ§m5+ѭHׁ:#"+CO jD޾ׅ>rxZòB+Z;i \nDmR10miIؒËsz[S9Έ۹o;goPWIRhjɶ;aen'sVrP/3'ssSB==əq*AtwaRq +_G~FYi>Ppť^7v:H8i@fK7\ZC'ަEdBc4XSkڛvͽy^vTZ=Zd>P?"r~;hjE]"0랩')QBe^4dbᪿ/x]a[hQzֳwC*+jLk!LS?;|@6[Q3C@h",(WS!$3fƠx,g5R礅cJT,!@N&S1xFFoAU9_ Ch] RcQ^)MZ|tmCg6pX C@.Dk:&(~yǵC] )mFuk ^CtL<8t&WK6a"esՉBB'èTN Q2ErtWIBΈ%02/.i~sdP5[h9y>E4t[^^fc)]@]?EDZgV|߁ms|;e(t8*43~! VQm$ ᐞGd)p&@ u^&Z &Tg+ LuTT!o)t,)DŽj$lxEʂR&/#{R3ڛ JQp dG /ӢғTZI{٤%n k˰r՞ұȰPmf3[MH;ZOC "`@;jw-: @s&O>"ʒ{boڹG͠QU3 ҇U(Ȁ5t7Y Yvlbj(*a$18R,ᄽ*`X̥MzDUEJQiM]2M}DG] Mv]3c.|/PiUׯ l;rnrc)T;K˛/zGDgb;Dy,+ѰGDZ\sO@e<Ñ> EDv ^',:9v ";:.=oV1ADIC|'hx>{2|%g~,$4oዌ6(`)g '\# #I uvvRl-)4rܔPLǦ01gq,3S%:ͦj"5javmw^>հ8lS^‘K_C *TJ4w޾b,1K%od>gdI!.c./yr'msJ#^.S5@.fMrd-B7ȀZ-''&toMְ/5Bcf҉=D E&Hh ZW}W'#R .Tjz[Cd9eY+x>0oF:/ˌ0=%ZfcsH+s_1 $vsX w aFa/'˚bMeBr+U,yX6u_ޏҞ Eq^MJKc4//V\J[b kϤcH%5=WŨ="f^_hTw F8CzZ*[h ϸ*ӻL<2lDZ֛vJMz`<x\e)N~ųc+:,i;|[L7Cu|Ck?,JѝMF@O|+V$`[ Rɕ8t 1hI Stf"<4qnxWR۰l9UfE tZ"Z繟+ qy%}1:C`Eڤ a+uŅ치**k! 3A3SsE4R3M4̧:X#=g%0f>~!m,o @7gEgk)~/ pt#/1fE '#]B ._ϻ/f\"9Da!|{>dzӒYls"{yދ%}kRs+߯}o %+ d:hwRUh!՜F<`T8% %}'3Ћؾ!0ITK"}tk x0!!:p Ah)A N AеY)x (`UP.Y79,V![B~$<ęWaGW U|-K`h] f3a\tPcL) -gWP{ 5W\zpA!>iIaӏCUcd0y0O/9 9z`%j;~p~<0:G$8 E3Dr\)+&3Ҵ_,Ia3y#NO]/uucpՒ&:p=4)qUV^ VlV"0UۀY2xA7*JC,C1 ;@X>[yXZ'Doз7"G+!3Mlvee5U)&HZPEۿKWًie-6Qgۅ /gHPI տ~c>쇈$ПwFD/3ξEX~`>~Qb3谖CKHc>TDP]9I/3˭'@Y  Gt .Ar4NhxJ{ʪ-^gYZ8d8fc575d525654bf2255413777c0e77ac1ca205dd6687a512096fbd242a18d446c4b55d3f2372f6 a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607bb981d65c0eb1e4cefb789e959dd6d859bfd12b2