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 I!lTD ]]]HOL-Proofs:threads=2elapsed=1195.516cpu=2006.528gc=533.480factor=1.687zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb,+[._:3HY=G#rxx:NX®|&wvyY/Ѳ@Z}=dd .RVK񇮍vQC9mR+buE.ʹcɤJ a k:,UqkZ bH Ow9h|Њ9~Ͼi >{rT |idRr[p숼 [%{.{ ptHdZYğ33ܻ(/ļ&l1P!7NA@ke2LM\?,GF8/laF0ptcI{FZ }|FCa-,+bJA۞Gz8O˞:n x3,<`;3 j32gj(XY@Ԉ{&CHU<{҈3Sj~}hTf;U0+; 欥zJ}*ȟ= RPS{vaWC>751VaëXKT4'ʝJhlso?wdΘA/xݩ0F|I3.<%'Wx܄dgq-epFSWg͠5k_DڅtBgRLpؿ%+a vÊ={bB1N,lmϓYX+ uh Ħn }f ;r JR;YKG+{t?0l)u`#&zmx m1ⒶW(Wꇉ5nQkJf+dX^v50_EN-C+Oݏ ! GᢒWYYOꚻV,G1ٻkV/?hU98Ḿ~vg16tsQ ߚqND]P %V\EE7.P u̎U&j\d 3[4$;|q^3&rs(7·8KzG qeԦޝ&-x)-t_ {<U]ٞXCn+a~S5\P ADu  ! HOL-Proofs$rM,d{  nml^fQġAS`l젏Q,G BE6U.]W5s/ق_*VwIqM`p)W,!v |IZ?>*%敎j]W(:~ X1iò[OkۑpéklVR(7_T3ɟ}Vqx"Ym6zȯActLhPc'ۀdri[3h#v18X%/ϽMw4/Si3AGm@O3qsWq41>" UH:]Dw|*\%I5fb /s[Τ:N JB5n!XSãը++.SܛCD)c17UqQKsqYE~f93Ckwz@ıPQXVT%?.Z#Dػ`zHp~Xex}FߔFH|g2f@/lޱ+" mp#g`_ "ru#ة%zXV;T(r]?:L=+3es^^~>r'"8j \DAw>@{_Jv.J0vӷD9Z s#QITx=&יuޞ{Л[O݃}8#G?aQzN"ݪWukF'Jb(jZAnFNN%@'AVqy*;x;٥H(1M_FN9z-+"K&a&NH6|;x֙Ț#J5f 1u ǮK0a@KZ|U´r0E1Ap?/t)4OMCs&LɋXH ݙ^hlu.'s(#nPhvȏ<qҜx]7R{:Pfsg:JDŵt톄΃*ŢA00@kSoN/~Paz7O .z_^hou,)ȼ'5kNuz,Pn w՟[~7fbhFtp-I/P&3-jomv'r(zt U~M }bmefj#<|p[gƋĀpNʼnP>$zo z*r=UQ32{z{6ՈU3}sP9$HYe #R)"aVn8KFh_ǎ9Y2N0ejsLҶK"Eܺ^'+Iø $!^y"c-̏ v: `x3!('ƥmwH20Er}T(蹭{nT^ʛ*>"a>iu%kɵ?iwOAgYwfF9_GGlՕN_}Mţ3 d8)!~ݩL7Q v`ˏ@6+c?ԳabVw4P͞ _*W)V߀;b#x4W7aܴHf7K:T?`M.K1):wBou_]ɳjZgl,^X讀;JU *AxPSlynlB*KjwQ' Vmm{A]}1 "F6]|t26,":_T˧ Ei,|;o6`jM9\:`mZ~/&u: .+#gt;Y>D{RŅ,YҌ@GDkarCOfvdv K4ol hϲz_KBklc+]`dyBҧ\lY%P)¯K*p c ǜH][TI/yՃ 7fIf!حН(]ѭ]xAGҒ㙓,*G6(,D:==qแgif;߅+D6 10kK*E3Niyo3P wozFMYz]$GjvO8 -SeY֫2د&81U 2?,NϧPG\@8&S=1GR#:pvsEr3!=P:$B.`brxHqȞ"X>Kq(9TP;L0]dXstM^9j )]XŢޝTnZmV#H橓2=Q1ͩ0u;PRn_Er|B8& tyX.hMd{F{_/Uۼ qms֝*] 4~bHhz %Ez0?/"DB+6J\a% {StUj{树%\We>뉼"*'ϑ>d Ywg BC@*}lU`Bg25r<@$bwF_ѷL]-gxN>u)XDLllاH',tձgYZ7zXZִF! I]ŗXiɟ29aoʼz[%U>EM!!*W`r]gjӞq}݋1UXNv+fPebkتX 6X t7Y`=B-/ٛ y}s"⊢ 'f'J9s/ j!,KCY|/n7>jy N/uAYf. :] >.FBKžT+FAҿr|m:)<6N`cQ"i 6aW teZ3O8F'=$z6b%SJZD+BRGb2c*ݨjSS~=ڨ"uѬ  ewbנ켒'GRƺE;Ʊ201:pzQd8sdyF[s4ڋ]~w/c^{p`BѬMcx b? UPs#@*?FL:MftYlOA;>-*RN=`NJDJ;Va^ZRLKj -zA,QjDY@Me}vQP!{5PY7zrQ' lfl/3SCN:2HFxVqӠ`)JZ*МĬ,M/ݕe&a(gRzn+FxJ\43, b?!œ9F랧 vXTlChTyP+AXZ/_MG0fu% uS s0RJ|=@-~tekЌde*FqvuN}ݑuuz3ihG8@o0ozLv4y]3lD ^KT`ђ?:Cv;Λq2םlp4T$\-ȔDMc# cPU,:QN|f1Ջ|Q0#SA|Y9e q.] Щ[0 6ls ]ǜJ\*GGJM"G_loz.جFP!ow*r{q&YQ.Ci(}*SLa}nFif€KV\bB(<4cOV:.F~qg++F0ևbwH C\).t.E]UO@o<^8oNt{nGF'y? s'p( ev!bbX;þ }0~V=4:F FOJ6v$=YsQ#T>! @I 0\tzʧXr|Q#m ;I`TOmo h#MٰQov"҈'{0JIr: nyS<0VMJ̔+ӼҍO;bat?{ UtRQ(B 2[/gYZ7zXZִF! -Ḝ]ŗXi%97GhE׍:S;/iIʿx>khy[{i%Q0g*Uad^|Xяc"PuOYݾ)#ik0)M yli|m/DS:( VOSW}Kƃ3ˈO.*u`ȁ+C݉knMwK2jp+*?BqGI'XPh4nbwZ>8.!.Yz2D9ki{E.u*ך z\Wy H:H]&P]Ic$w,KnrraituQ7\-1i<otmJ0啎/wmpUQ^=늨0)dt7ʝb@ ,W jzB"3?퓽k@6_5$Ns/ܛBxh?HY5jUoR$l[vCuiqt+p7͆(KEwX@;Pɏ:⛽Z; ݸdwzR،ݾ7ci^!l%]ۇ/=f! 񘂓ZA?:A hʏZ^1{-X~r6FT;v__uykk>U2*U)38)όx"Zg=L4 ݦ jCl`Wbl}тcxbbk+gH'MLTIj@c CxVU W (>188Meig]߲D؟T%4_VVH^vxEL E|7x.xEuU $= XQt7DYvc{m ZH,9VŮf `Q^-T:ݓQ ;?T| xe"X5r@OeQr~d/ZiQtd{^=9׉ԻT[sE-pn'xQT퓴]v." U8x^.+G@k},Ȭq75+UhŹOF˄G"*%~yģ噩@}*[tnwxPEF /9Eԍ֫f@[SbT(`E(no-|UCc31xĂ8$ PG5@W}V(mB6o6k(KD&LЙ0Ш(#W=0Ͼ)̀ pa}kN6$@-`"Kv$7X[g8"2B-S3oK*[}I*?#O"jwO1 W>xjk,{HQjP/XɳFc{'d4L P+2,Fgɭ<en)ʈmbt.˒xLaMư!ͥ!A jd4 ?o!,:)A/-@ĢN,9L5ȁQB9skdf{ҕ@{m:pW̊ QfvÖvww gNdo֧WU;J=ךTa5ծA5;ߞ4晪QGUJpcX0C Y&>!=NйZFMGF jv xJ f@/ؗ3.Xzb'6؉()҇nt3ܲ!fx+,d"?eýuaF$>Dý8 =lÓ&:@/r_q[cF;q"8=VN;07I`+_-~i0(xKV1;NFFBF"n"_rlE?XBsZi\]%v`:(e̽%Yia `ZZi?"yZ Eu*Ӣ~YQfx`ǖ J욟Gt&-lmSxc!"pMWQaTpi~#$-׻$3͇;]s9 ӱn= ӸHX$hc oMUጚ{5y(BM@۝"e5J5>UA#|۾ݳ߫>_4 {bi( qs2 T;D}LLxn i6Hay {M/v(-iԔ[J)4IݵXI|j9h#8he&ߩ^[ΗwϐzP  |Ac{&g0Y+X l [vֈӁra <` Dڴ䄊Dj;x9\Й5IjNVkXHy) ʝrKh7ݶ$Q&|QH9ӣ=Ebhb^.tJ+stp5J`It`DNX޺l2.#VK/zK5R4xɂA>0"yHVJ9| tnc';$`MU"k $ED۶J)@u|Ed;4׽P}JĹ4hRRW_b~i' Hxy#džekm?KŮ8+cޚwᴮ=|hN9bi!)FM%#"I l͏'>}k " sc6Xj3ſ"XRп+3ڵb3 g?BX0-+&D:ߥkD !H^*.~v(-ȓ<$_(M_e6ߙ:47ظ *sfN%THՠxX}2*,*$dľ&Ry>0_0& $_&.<=$N ;tua*g`f<9SӋi|~FMBQC!f$}XӬYjW8u4`uha B+U%ȄD>p*$d؆~2^i@RO S^i%^JIaXQE66gAkV%$X b-/}4"svp!tfl\{1v ^eya3׆>ե;zr"`9lơ.dY#kP:IȻD$fRYf4Z"&qkR NC!He '[\# ͵xDr(Y#bWۊ<7`I WA sK&L'Y_ mD~dm0ku;8KJARF"ԋtNcCurbq|"祥_q5:>G^/y7 &>-}@֜Y{tOxcoz{g,0rc#aB`gyUO^!i8˜%apƒ?T=uA S-]#< 7 WF P&a6`6Y;̨̎6[k3@7\-%*QiLtLdT&{ArQh>Ήm5W7N_g4L[ w]v C9!xz@I xEjR4a,;LzJ0j[ LBP̕T˷^cOj۬""lH/=B9|w5Ct/3IЫ%⼛ohSH"S076Zr+TOes>R}Zq-gcwC$Ks @f(cRGcH]7wDo0z H8+dy SHV)+,l^Ԝ?{۞ͻW9q.Vɶ:ˁK,H J.EOEisW^h;־m^}1BdC"fOX:-9,0WrcS:i~R+E'?K0Šsq,߲vg8"]gڰh`ĝP<>˚}>P0WӔTf l+8Q~$=J>kT"8&5şvIp##]W@gﳝR@~ P5lcW{@;S剻 hUB t;`$ <K:yf9?"+LxdsnRu5aUCk: fluDBC5NNO2")6vWę *p#/c"Ty攇QaH:ȫ.1SHrDwCb7ڐRͅ !؇"B$ty¿S{H2hC$[aZg_!19^ofH Of|DOI𞔣j@)]LUEl,ve:n\?}Z^,%͘6hEZ~}8S*/TMz^T9d\P0ƿ K)dJr/|CL<}4&̃ Lb|]G TugdžVev FUq`=OR}5m&4#s!Hj-A3ľT?\\g  |$>hը? ĵR/iC<|87 AtaMF8cSԺʄ!m6DU,UlӡkX^k~e`OY;AWTNDWV8Xrnӟ;Wݛ$ye̱hRvj\X"XeҁDr-b>juҋ=C^Qd23ع2^ yPe#=TI%H>X:Ԩ,qd:J4p,y.`pkek*%Jk*by;Ȇ;Kҹ&"zM\-5sW]*y0^w~$U%@$sgr^& G"L Mt^wa[ZSwP§,(6 o͡2d0CHRBtZ+Jn`H}piOuVW]%iFO@?K/uońi'AKVL3_Iy)b'9G*EA%PTpDԞī:ebӸJSA]k|eˬXţO Wa36+l2 Wo? _TOmLJ߆.?YCHO3LEpݸ~%+\vk0<-17dת;N-R\QWx/鸅4JrXppֆn,M? 4S_*%`qe2z[$:&!Nի(tnN)ڽYCb"p'*N : 沋H^;\j,.2yp685+~vNEـRKv̰iV%-=>룐j<–T%nq'Mf~Qԑu<ڐ|rj,J*Kߥq%G 46H7/i.3&kgFyaDkhX3OEKF"GQ15"a#hhl Ƅ ݏ r,LǎȮ0bz]̫Ά@/R]ѱRih5dOؓP$Y[ta {&D8 w2-٠~"QIAֵ n{s<5 v5q:9p#nށP:6?Qu%lSTS[t)|AlmwOL;XA|*"u%Qp9S_e n%uJQEH^`<,E5VSD{ԅvzCA߮ twʡ^qanwxB܏tx%53s8ڪA xHy >'_|^]ʴZT8oB>\lݭ:| 77#@~vd]eY~oIGm]Pz-h4#_u4I2ZB"Pkwش}&(*91X}LOmkJsE ċEd&}(,ё,$b%pUt.~b?t/F9-Kz'߰YeBwzq72_~_# 9Kt]UAs4+{wee6\A)}d/,a* B=a +'T 'tN _B׺F^LwW/Wx`ay#ѻӅ.'N<--U8w  OțPQT_=y#Vq3Ebmu3Z[bj_8Cqy؋ArӒ/ælx!ͼ{?LfCOaC'pWPM8v!u˂k<o6'D"vfgpߺR~RԐ*1Ϸ?"c@${_'e<&ufw&ʏH%~&`%A2=dܥ>7bBJ)0=rH)bP:T0)~&*.{OOi}m3$tsLf-ܡLYP}vqeobBiKQI2̵;O^zCbT]!8Ppr!|sky?Ǹ;u zpÌ U>5P@`9&78H4_⹵"F iZVş.+Go _1l˿ rgZoS@? >zʀlz4P4&O=YU>QoOռ_AL ]-{ /)w 1e0NwN1 q=쐲+Nu m)+#㗪 @$O=1bĭ9(S%]YYK۵9:#2]k 팂b hF/ϡceTl>[Zi:w E2 y e|_^֎ z9ϼ'oE]_ iL:WKKNdĔ}oȤ@KלMr뷃)w@0A=m ~X5':P(jTqUkMZrGuB ~'gϳ(*GAث^Q2&J|v4-p4:>& .?h [rA?47`6CdlBZ;+6o =j(l.UHQ:G*mMWbۿܥi=)8-v,o= ѽ,e&i`ǸrKGxy}o{yAr!)fιhjIcXќ Aa;Cr'[9\~ >8 u^1ɴk]Sk4 Rܜd=a}oK[;(v}(x8ae{ lł .,K8bOvs͓µ=]AǬ=wѠ|iR.5( *Q0-!)lAwH0*gJ5֞~Jܭ[RqYGySw@&ǣ(pcL!Cढ़iD ۂ 5ʉ:sà ̄>c· !K{LBk",wu^E.vwXA=^-)>1jS(o6Q Ӹ E|@y!}om_)@K]П&\JiY\˝F #8rƔhu~1'zݎ1馋x"jyoF[y-g`ahGa]إlgKG9QE]T"p<>ؖTgˠmp_fɢ̲G^bX xW |-īE%#[ʇp- 3]=OZTmW.$MLYh_gf9ƅ -!6P&W .i7@`^̉ɯ`p 8ezby<% NS&dOFjdd 4/`܄( EX! 8>Ԋf$wƫOީY)H)\/4Q9a Vw4'gO.ܪ+ǃZ Q<" noO:m2mK;2@3B _Cė-KZi"|C_Ͳ}0VU^/Tnf߃&Bɻ O\wMEcnސ{jbLvE\'Ə?Li#tn3fHF"w;ͥQ'oM7H z8}NPgȝ%(pq@QoDUaj8~ ϰ͊YMv`v$Σ5f3ھ,B9#n*TVEs_kI< E|лA%zzciR_}LY]5Ǫ;bI:#A;1SR=-+΂{@PEsv\ՕوL7WYk0ϠĐ8D}FU4CYt6nv\p@Xc񢗙*;f*IBtH$x1r >ڊ__\x( )~< &A(bvW1XwSu=0Z+H`Hc _>+%.> < .iRb֥CP8J>r4& CM3}Y -E咪F%#ӌc0Fh{2(V+z;{-kQ DJKчȸ(!ftFZ& -~K'IZDfՊ _2Q7{Z ~2R :=_=drb @MŔS)vKj9bQ|12Wy|΍eJwpܔV(_9Z TC}EL7WFN~XԷ-I/x4|Z#Hy`5A'6&[ ԛ7:jM&1G|ڞ:aBz=v `FHֻDd7UM,Y}GPQޚ;DEaϚ}=f=$A Ĵp#6.袝9VmIoȂ]sKs *̦Z7H?.Q&m`wX5Pl0:ѐ'al65.~?jHyB* {xSb5+JoӵU]F ,uUܰ1%)P]dx=aAYnApœM#ԯJL > QaN1m6O5fIbPՈt{B W72<?x35\k(9̴J{c=o0 ‰zҐwDv] V:[4ME۱͖s^R -Ju3-kV`s31};tg:[~$4X|Β4uAڮ2CPO(Ϧj6J`.߱Ij!|g}0T]Vj,`pv: C䌐97yUߤp9ꉸ1ϢIo*!%Mx0fByJiP;؊jEb3vl3&U"okjP̗g\Vn3#N78PD3gpaǀTWA*3DdʇZ6 @V-H+]ʽl \Lk+ /29Æ7B?6'%VDjs߹? XxCD/_=>Ձ5,فa0y1ӈ=[Xs[b m0ߕ3X׿1_޽1+H9(jx$)9L 'M߈jWgExUYgr{r 6à'VW5?5ꤏKw!d_} ޺֐ YQ$A%j>BvO#d:=(xdgKx`z΢/Ov8CD٫,xH=vWzjkC[/L*ʟs͝JaH`?=KKh_d۹Hmn[|yÑ\/$iZTK T5J>:oڵP#͖@R}Łz.:78:&"gD`B02nͰ'OK7,UM?%h;r ^O[Rcd+5ƧR-|ݝ-3"9DŖ5fNƵ7in&ȧJ  d˟<HCgf/ÒH*3g5s4f_U&0;|瓝wlV3sP ( &Z@trr>AdN0&騺= /חvfɎ MkA2{<3Ө6`Qx #t{a3> ;*a+=Ld0j:nѠ9\">w!t4g3'bk˦NjX忙!F`帘z$N`畄t)s|?x>Ad*Ng1K/X%on!#ー7$ΘQqF$IHift?*q-jg/FVT6{ѰX{dM[UyB)Қ6U:Ծx5UM5ϻOxۗmˬFo88YtHJdb!<,z2 tu['B*W__2@#2f0/r 7(Ig!WTc*E%]UVKiK0; zF3Kj ĀB={t xzv"%!jKs1Ṱ6at5MVK0:2Hȹ\VaES H ot>XߪχH̼Npv6w; V#uHGBK~p<#\J{ A\aUkON2/;$XB3㙟onh)i4Ѥs .-xMb|nkOdrEȒCN+K3Ur#s4\O̪\\qMi*jMU1@Bymfo! HE(QMkh7♐[뒉lڡx^d|j"4w!V:S?εK0c%O_GFR$0>Z)z,>uMtQrF`$yO0-Ogsኋz#`0+QOR[N:0tIXU7W!%Tw %9e=2P^TGDƠ2pҋQ[g}oVe%RR!-}+ҦxAi)}*P(5x`swvF7Q溆X, xt2_Q_M6 9O銂;O'*LX}E+ /9l<2 ԉ];o  ~zIUB3 \ծ_e6K'uAI&mσ&?8-n4J%y\+grWrТv_sڋO+ͯh:,Z#9w|D[#ؙF;1hV^^*/JA'Xg`Olq/c͋kYD6 !Yl4% c(ZK<,hd 1lQLy䀂+adGu~q Cg0srkȵP\zgYU}⻔c˥$^ s8iע[AP)]a3eey:TŦ״W!i콡2ijf s\r'vAٰuA% 7Mz͕۳B$|dX@iwki8=4 [bDž*vz)I{F+)Gڜ3˳;X=2:8@YjfKPՙEԜJY\3hWۤ6%i J) +ZŒ 6lJk9VY'!6"ҨV&q|H:\ةrd }5 1"^]7R~c͜senش(EOHO g%E`}@69ʑv Ӈ -h!نk ԬO!pAyQ\L,phk9*TVH>_7zba%xJ0kcwudɗ/:k{KoTB^W*IG *Ch8;@Ku' '2r̡k;a^ {}jkbt+ysm$JT wb-%kRPYEר<_L6B@l*νD'}Ӕhi9n$քz^#Zܻ^=1]-||g,m-aɢG$Px)Yr\"[giנ}qtj'n@_@XĚ_uRt)9 +"8KI,7v'[`Jb RUL-z7,s*2PHs^ \Td g'lPO7!40Ɉ^u׀8Uח_*=-,({ "]¢ap_oơaX_ƭtkPcx eiiI? AG.n'{m4Jy SZFĜ.x-R)~|R(Jj,c\9v+=p&4elPhn5GE^JAX2(e5C| Nwۗ[Hy",~mDIl'{V:v%n4Qh!spALɃg$QF#nT}m}񦦻`y? qk{@#4CpL_?· zHͳXu*9仮6f E:=BV>BuCoǮ]#Uvh#/( v١}l +7 v|7bqs=x&U9sC(pj>,hM;ĉ3-u+=j~u=͖hde,"N `t|nň lBҾŎMO1vc|s1ENLk:?ѱHroM>"b_>Nދ| eUu2NY*, v&AB5NiH8tekF5~mqf~IEPaTٌOQks셐UƬeie5oXAn ORV JT64HUY{㫽؃+մHZ?\Ͻ]sሪ[UEZ sC=zcRDǜCMۓ gEoh>3 E:Z?{Ia]Vm8R 2ұz S wjPkU`*zr& J B3biz%FrU?>&|CV>q\&xt˯\ &}Hb-ђkV6:ΜPyB^殕$g#Ϊ*`{}l'+M9P-^܌Ʀ24J, !HDW^nPK3g7A!"5ι_ǶChfhMLc3WK XŔf0]R]̰ʦh] t:M?Rs]4eSn]Fϱԇ@, F }Men7q]Iz^MHw4uۡ:#E"vL&|@:9Ls oܯ|U=WRϔѸ1!uy H VuxSH5|q`HqY&gX*ڲ#zOT:7gc0<:ReېEKjFn[q拉és?12~sqb)E%vnPp劢8'[gmZgҚkӰVrmP-3JQt7(M)#A\%%1P9{HtHA+m2 \*'Q9rilhMopfqnL#ċP:X@Ff;hp2hOeMw5Yb5 k@2Ύ:PdyGSk %#MëǛ#i q^yf]S7em^o! \$yއf3!NN^a yW;6P4#Ë[|lڠ=>qQ!KWrHOr@$!%I<={/}}v͸sMaEI~8T]ZoSJH#>9>v0fj6*,b@^T~O?&%`y"P?_0GNȹ )Ng*JJI:U(+T4G=B7BܶD*nޢmUo0a=iARx)QukM|Kbf@|([Q6YW`e][ńڈrureOgSKOB%To,n#oeĿI^3y^ :11I ;\*r ('EM sA )r$?x0Bl3J|}ż$uLzꉗi`P9ul' |.L]*Jl(& =, N;L tuku0FWNā'!ҝ 5h) PA-rχxr8>^5g #44w}tņ4R꒘ OI9^'xaҳ`}Hq(^JX6 @304(뽱2 0O_Dy]LR}\?㏲4`ĭ D'ŏG<YF%wƛ86{RO?-HZ-Q&/K0)',!ɎDҞ2hWQ4I)7ʗT]ӝU?G\.-ߜnW7GH7%{5ݜ1<ʎ/}Ing#ba-Q|0!i%Z{P.wt()/Ωj 1Ft:Xgn+r1<֩bȖzSI" Fcw> V ӽ+]^{=wAgַS}կԦ/%s6E#wv_wH:I5¼ѣ8ѷp"k8(J^ƾKkӼ]}oyW[Vɧ$ V`O-LZ-c)!EPY*׃Pn H~BH_\*dYmQcPKoDul \s{BJ/F%߆:*ojIk*]ī$-ьSrb݋973=$WRxenT7 4K({ ~ю7AoreFb?ao#:3J2+jׂ`јqq"}5R1@6 DI'dF #֐PN(y_oz*PEH%"iK}wGfg[fuR$= pL"|QH_DSEEs1ȷ}٤qi/{k} ^^R͞Kvܽ%X/-. $ͲTm7ujӌ5d /[볩B%Ώb>G1c:q/,g|:>&qPŤ6F Vh21.;SPm|R1 ϙ!vkaR359|jP{X].uT52,1߆@ya.Ϝ&OvubM f={C.IB,L^4'ԋ#t 4IwŠB0F%qwC-nRA AiIQV?sbX :`'Jm|:Djtt~`aP_% 56ͳs /t7p%Nnա@">-”dN0>JQ` _?6(Dt՞*MTgVܴ络-8ؠ|uJnDԝߔɨnԀ%+0X pr"֥x11̧kJYuio7$ِu--X'?6!zwY3H5hp{ ]G;WPO[wKÎ2>ZC2\;-rbv|vHc.LGNe*j)K;V@.lY3m?DF sޚ}4eeY8G,nXޛ!TCɠt3@)mFB[*9܊)o(.U{߽0lk)'Z#Ikp="W]@XxamT6kLȜp_E61;uMM5}4/gc8 W0w@OCZ/"w^yy#q`$Tcɸ0)N {/y}AClY񜸕ˉGv2N.m-U9}Jښ檤:+hmfETO%BVᖬӢj|B ѱ] ;Aezӂ; 0_0Bd/GдJVK/c뿞o9U;0c3TYw -#_Y ,m3wc"/g 68JN0uq0 RN1;ZhpNVdOux1Rnqq۾|Tҷ^pWP'Y,m+T* ;E aӸ_ Zp)ܤo1%y*0>b9 $$݃vYlW+Tn(R]/ķТ f6PjD2PkkCiBVM> w< QwDSeMЎ4BP&&^EFLXJR}3 lsGv#VBH}0H.6"ڼoW«X.6$5qy&$3wU99:d$z_)`|Ќ=#܁l+{xդ"`F?p2u~4#ZH!DJhK3z52L2Lq#%~7u^.%}2J0gKB3V|·#9RT!YPA9ZL d3(bk^D+|֦Gt%spyN%cDe!H?]]|vg /X!(J^!ZghjuuJp57[ 7b^+Qub9h܏nq^VnfWsh{rG.KqcICβ[>)tov%mS i3n%*G 8r‚ƵhXlz*,ʭ?Dx~D=p-e E n%!t);nbZxrkFG2 Hxdj_ݸE2˽(0¢)Z~Ȭ_]&{f"DuF YE??>(E4ypxc}tI%kH*I\m*K_*L63ۈq58oT | w֌$˜K~۩yM`ޙY _t'},,|`F3 !\?Z\M&98t<6%[\O > —'.A"p|:16X+E Mj(cDlwL{넊[;s~3?|,`S;ѽFI5\A&Ak[Hcv-2]Ѕ-Onܲ&ܞ&LM cGd!*9:<^kF"RoeD~]4fFNDf$bucJÃ4ez3R<ߋ@I]c.V s'9bC>R|J"0L%)+ WwFص;\~6diȢ.xV%ހ%pSa/dŸF}U+Y2#kyyXdMZ~r4D1_-@b jLN-_WJCٞzU:B&M2y#s()}浗Z |b=k: 5OZVo)EGp{L 6>T [ k+Ifi4j^V1P(Aq6*SdDSjf RF{~lM.SCQ C^GIT2sdW(ywvg2p7 ju3ߍ]Zw;d.%%Ai/q&faTq-v?% 6ͱe."BQػ7OZ{ߢ6S/)"PX=z!=/N.ՓjwuXltR}Elb)0ENyŃ}w&CS5/.\!rU]뉻αs@-.[^x4,ȋsE(m3bj!)=RdW7b~ğA=5V@Gd"6%WWG`l`XOýqJ ~<7,DG!Ⱥ^Li BN@mi4\!gbGG5;N֎J#p'wYQᲢ npl.w],myM_wxLfc1D`Gef 㴫%[=11΄i74)@;jz1`ɼ&19$0;\ț9@#yR!aN<3zz*a͍EEdq z%&ΫQ z ,xQX`P~:* rԯH H: CI|d 9&sx F{c,u^C2Mq j?REm6-#fliLT_FK]nŽm-BwzoX{X]A s~fc! t[V@Eaf8o-R@ώθ/V5Tt煛0pl¦4Rso%1KÌ(`Q j&lr'ܫFl`RՀ,*M5B4'kLW~65^s _%6^{^Ea/okNLZ1S֟A*)+}:0W*\\s2Fx_r֭̀49eWqᆖ+Kȷ(y芦?y‰0^*(X[TN3[J0qDc>NthH0Ip}}z@d4%nQk TkMVxe~ChqH4(BRO8-)qc4 *[9vs7;n%7:#N+j`k:JHIS0Jc`zpR',uD6&ٺP w)j}=+ 'n8}T/l9"h^бedf8-QkȕqTdGI`?lVjދ13%gႤ-{Y۞iVCi (A^V+?wR-3Ɲ1[QS@3UPj:oҰ{~o |u)R~* )T>\vr$jr,Pdz#̸n -seTۛ* , Zi +J޶ JL:b(_:z10ՆrxXՒ*Ι-'7n/ gcZzc#W~ASm$%R1z%GT>':~zpþ_HBJ\Sl__|ӿy[w$sXԿ.BGTIVOYG2m>B[0zT8l|f Ǚ-鴒!xgr g ̵yBHt$6LOġAa~D_!T4W8@A2v*H ƮgVOذ.PW'2%gO8<&bi½A-U߭8/7+Ջ#Nnw>D:Dp4J{; #j"/ SKQ|>rU+_Omʜ1Y6wE4|#P([O!xWV7oBHw?^;TBxG=Z53jr|2QMq?{ *ywmgij:Qr@fѓj뿷czɰG)gnaėK(x-|2KpB #aݙ4)!)gK񱮽 "XT~*GHd!3A %dɉ; :@Ll䧿Ky^vt1ufS_;) $Ww~u7tSXshn^(0hm QѶE턐7ZP Xb㷀PjFȞ[8V\/K@>kofj: ϐ+ADw^\FթLND_I4W 5|9$lw{8SA/RR ,RUb Cv6,Yc!(`6ϴAT+ ]qqg~T_o=zs簡 {0/߮ڱf`Wctd_|l q[a`5i9R0L?}*=k [\͕ zZ4~V3H= ^dY`H%8x@hv| MPZoK$pTe$ ;{z`qp6vUzUt&SHΉ[2 =-i-ό_c*U_I-]@.`s 1qm"yQWƩ-E|(HϾhhWiY i=9|ٍ{k'Um?"dG_<A#?]71^[w(XĨmE2^: e F>J*Q'6Q!u#ҡ|tvU&}kI1Lq^N%= 9h-~yJHsAֺP C.LvBitU*wѲ_%](CΥy:߽5ì ~ȾEBnK֔0ˏƷ3[w j+.ev9c77/U[v1,lyZyUO`cW1MLf($^5".F%{\u%"1ԺhPGvpBjM=9K3¡<7xzQb\l@c|mzx|kjGffTaRv^FQ5Q&*O)٤0Go~d;Ð6):.Avv| -LeeKkM]t(AߊV¯#|]eizEc51+!_4w= ̩7?p 8a~E ²`)eBQе|xۜgg?;qWXcq[ůnR Ӑ~/J|uT_!n wOi?Pןqacuں"C7 A]z1 Lic Y}? E&bsda?ˍb1Q˭J=$ Խ/;$ k5fA9 !]DYEm9䆍jJ@;94kabG:yh"{܅摖@*J"#z,1b1-GkI֌p88'/YXJd B_T%R~ JP᝖>$טV[ %zGH$*C3{5".&~_O򲈤~)R:™"JQ5=`KpyV%ڊjY<:߷ޘq9{ `ɠ9y|9::XryyjdigiL9QcmPtlezX p*OC#8eV']eTSK3i:5 -LUZ lpjk5IWYGw)E0Cs '/IN|ꂯ07Af̢tAH twT1C@/%l*}lPvٷ6DfcEot+R\p:y ?|MoD/hG*y)x *KG]Z Sm$J$ES}Af@\J Տ(zQwK_ e_ȤȎdJd4,0!9sVfpu:]BI͸Tۤ|Pf=[UǢ5af-hQȑub#9$ ܍@M_:Ȉױ9v^kά4. \1!(Aq;䨹h(*;R Ulw i/Gz-9R7FL>E5~޸i0ssU)^UPPx >5_nmnv+3A;/ y.@L/i4tS^%xV4p L'D-QG[s!It; MS,+#62x`1 1Wgr'x-õheSg)7L#Ԁg+yA7*NxV4V J Bb=Qp-t8)Jf,E6˷%NX *=;k!ޛP_h<*43N4`TAۛr쌏$4iD-] A9oeܥvш0ˊYB顮jr|b㌕l,Ƽ1;#nbƵ܈ޗU.F˖R^JU20פij3`.{q*ostGGRdWzA3c3])PP#{(8iGbL~]掍``[4v }ي6'OB1$WNI@+Ð $:@?<0Zf&)Y/˽jJz<4CLN |-j6I* ΍EvP^dtW2{t@peBND0z.GMO2=@ztO|aLʹ6оt}_Vr0vQh SS_SM77+Lꐺ` C@4jC oRùO#uPrnA?`MM$mM.tVM:'w:z]/vo bfw%󦐖ط%rVҸPcD|RPDϚ+ɤƽ5 _>S^͋'"r4۟~ tEs$n'bM%z'8 z|:_Ĵ}5F1;f{| ?Y5q9'eJd{0eICz fRws'nY} u,˘,6`Xi`8l/Ie.hʊy.2֓fCn :¹)hM w}rHlz F| )3QŊ Cc=4M 2;U>h؀bo:ԯ|RB^-,vQ{#%,o3}Zԟ[v+3/cYY]%Օ}m3爧(EOSXX\([PuI(oՀ:Fll-(T]A0kf3yݿ5+>'[1c"ce`_!  键'\ovO,…jrUxKə=Sj< X(}ÊLobm<.Et %2<ȷYp/AfQ]tg^GWnLW3_&O<Q$Qu piэݣ7]RReS8|Ռ x@jWfֹ'5]zaa';XN]c<&8Ғؓש yvi*u懞ۿJ[h/j41!-5L[Td bGj8Qv\>Eɉc2m救b -sE&&>$S=E1@α!J3WHDr lA:m6*)0ΞFl-з%3?w#>'Nde-=GO)3&2I/+YۉVHsTYKM[rm7S1m6k$"r? n,v#9*tSc(G]O]u$cU嬷(?7e0&tCA$Z%JC\\X!^t"[Tscts&2m3+LS9$/N a1bMH%EwZugGI(~kĂ/CꄘIY\HIMbQݺk]xc3i{e3-fܟXoV~S:q[b=t` Ž 5N4mJ ֐JsC)$o|fsIlH΅d#t1䃿ҋʃF,q'll40e b |Z:x(¹Ե;W`КW1%6}|)3 }nsU$e҅Uˠ _5rzm!}ᒁ*J̊,~cKcZe<稱QСy>ȗENj_N#`r1XHzF<{|SvVl;@OTi EW0 Qڮ[Ԗg5H g3 \#z~hq`HGOÕu}2-$fFr0 +I$Gt b#X"ahW`4`:be2Q'^hܚٛγgrk;41Kqj<\XX#l(2Sk{E䘚_h&#NxVMTh oaU|kzP评ZIǛ> l̀3+厷Ud R#D d^2Xn+o` 34W &badKV[xWJ:gd'9\QU}1el 0q_LbM qMd.nAd*M.0KOx#Z0 ߜ<ֈ$׫I6I[X]OZR!7S\{`ՍҚ>:~[(&51`!C"%_7H!Ǿ*/YC;6'[ a,9C谥7b#Zy$щ[?BJS0tXVExg;>/dS-r[]ʹ}'@MJ|l&ܧPA3/.㵣~Rb;nS.82TpS]l()b.:4oÂ>g+G0L-N] Q'~>sfޖ{suG.vh3 zI7= PlɸW;2B6ìŠ4{\Gw]UŁ9NvAևI<MAV/I-#+J9򞂟>$Bu,X-$ϛϤ SUO$a3C7,w VKO`Ͻ@n/.hxUyQ`xu;-Q"d|EbB!&,hІg֍p enFXs'/mXHQl# HASnJք㓧se-K?7gH'\Ư`;EZI \bO5##XhC;#YsB#4$'V:(fސEgV6ȣucjƞ8wQȪzPd⃁XDj סf:i^ڜ5@Σ QiޱvDZM-s`W:qxR01ACYQny kxZJ!58˯0@px"?hGz/q/H28YD':'M#ic>~J7*I[̈ f:%UJq3VU>+欄p!?1$!0ycѕZ{x!bŗ mjNjᕩL3j0E}%iMЅ x&6&ǠDCk̞W~YҗC^vNHM DCPƛh%~'zb=HAq;1Z#ymb@Nz ]s%>xQJ7SfF]z&4|wi&WWh(Zq(QzNv6|~gTBO^Ub)W"M %tM)i,TK cWMlLȡtǸ0/s[=v#Ͷky!Ɂ<ڙJ(v y}zu!3{Q90bFh4R_T)EţL¢\}1axIO]kf0bxtmYu_5/ļgk>!; Y Jfe G\e: \Q1"U+ 18U f0BePEUQYB;1`aqO7mNϚc.3D fƞIBn㤞oQ[38ec%ZT$L(~pv:n 4tGך!^L,,jM] hQ+ ټ,tc*1W(wX96GTNq@֌_̮sxvAe5%_z{ )H٭뉩J[6zuF|WB*>YD(çxm;nȠVn|ճli#BbC92+oxdSbw^[dN}~B4k7eofְ4h%ORD 3K[ ;|8HBaNx (%e /6W # l4)4gjϠ?o5v·G4 s{K: ʢXx5)GEˆQLJndbeHXCSh(a *kGhg 8ޝ褡 АhR1Bhx=ϩ*"Ht ɹT֧o%3a2Dl<ߐ G_K ׉j_wQ߽hII)Ō2_VW/Y쉡x _ݐUwJ=GԪZA*O*ќ w|%":r>"4(jzA+6ؕ< لLS*m46F-YՅو\nn~oPx nUף4fDJ־|rHdD%x0yf'PsR3&߼d9z⼟N$aVu$B}i  4??ta}&=]cE,+hǼ>V^/r-FG `a+å' ]2gcUN}#79} ł|ț_5d ?2Ja0 /M$p7u u['[Y"bx†hf+7(*]QV ѥ/*<±ҵԝ)[h@(b*+w(]Zcf_D6v m46:j_8 gÅ~P╡Pv+r.Mh@p<-?Vt{r"cN$ |s$ET@Q(W4ZrZ{[u+AhG6e#n7 ]`qU13pxWQn7Zͧud:cPu(R9däe2J5ZfNJ+y}{:"%$>J,#a \{Km R_A:̘l*iIL& /p$!6_Xw0 J$I;a8lNs7mH}2m[/w6/,ӣBPل3'ZU<|TA)-cQJx$adOPoΞ`X 7v/Ħ; /B&e.Q^+Ru\k7&e$+!O_ ͮf'YQ=h'd>մ,zL! +̾jL6lBt/9M#/VlYiHG}Dx4m=w!uP\ąi=,k5pO=3ꉫZjCab DO}nY%Goћ맹Wlo)ǞNP nQr55 -Z0X$:"|39MgjtaT)#@H\ ?µ>)/d,]'Dv$. HS'lґ'tY2X/W8 Nqc;z9S"4ЏD-ԴQC-J 9NhAScc<qs:di9uE]A] &VOp{Qy\]KsZ6eK5;t+;Q5 iH-x#F8HbӸ6`TeQъTّb-t-w,X26k eV4ae 0d;wYeDmuR)Z"|MO2$?vB!prs;0tHp }{VPn"xyy%c$(eÖڹZagNIgS@썠V]p-փNUx"Fc}.";gƯPL6^Q]*%dGY賱;Hװ8`sT?X]<bK;xX|W &Ї+sv`v,j G'6K~1Ķ&9ExMˍW \-zwZ SJ:ɝS=SDyRD&c4 %7*wCi2RUָ5'@_<K-vԤ.V̟G "{ mN? &Oal ̵TǤ=$63+܏Ѡ {..Hf' NAE8 =C?~pP3ŌD`[F/k3inïvIJQ5H!s$8e;([E*#O(͂c"%+q>U55ʺS8eIN K*DǘzK9rbP!kĩ#Z8 \Z+=w{i^=gJPХXWv Pv,$J M+njK iQ\}կ Y 'Nc=+6?K]W2 !e57 v͉ː@uX%n@3R27mfNFS|He䧫(av >IաMLDPQc5f 1AcV~/aosQ2w >z`..֡G0bj%!ZL%DQ+p"![*߼ETf4k. 2AnS'F%UҦkZsGfݮB5_*B-K^uHWE^H.5ҽ!jSp}ۯaHCcIb:UGcx蒪})ST 0/©س'p)]B'v&NWnB ,Ԉ鹃Vϙ pOA#&+} Osj77P@<[ w>K%n#}t"*各97m`G(]t?8uNψ\w6!xHq@kθ yZ$ٹ'SC2O-ӓUWH)P 16ȡ_|+2KNg\_4~'6vL FBG%D#80XW <%Mm #4Lgi-/_Ɵ^ ѤR1r쀤A%fmgZ_Bf-0p"A> ]4= ]{=yic|∸4mt^yUSR "f @=J@6&vp k=eN+,DEg5M#{hʤeF[Pi]Nclw:$)?bBN @c-mԨwo,흆ݸ5 / ?. >\ܸdOUlt,<.uY8-U㵞-- ڤ76rseLW,άfY7meTpS4|F HAfF"`Pqi:l ey[tT”v%tu'6kߠ5kA\Lfc2 S=&8$+8at5_3>480Vu`cK@VSגwЮcD=gZI׶' Â"p9& ?bMWLaC}ztu5gҜ5Ojg6 75\'B~j% IX#~d|Hd:yiz645Ix`lY D6h&cq_nY+&em$4&BKZe PKʞ0Бl߄&v=xS wVA< .ӓ` \&لH%|jW%7Cg  MO%P\VH\9(O,x,oBPqEBC4Xk5*ɘ5@~/F΀٘ '<]cMBzZfHTR'X'~o!@(Y F@]efѥYaxigP[(no 9U̮Ljh9'plUEkggo!pf7P˟A(OQZ`SGcW/aFa ɂ\c^i/A_znG,Y g2L RE˄^kE LLCS Uh@9zumX]Wgxb& n,Wب\f4'sFՒA)=qċTxR[-M" Ib;nҟQhzd :1=8ûN+OzLD2c͏;.J3!8 K