SQLite format 3@ .0:  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  T!ddT ]]]HOL-Proofs:threads=6elapsed=546.503cpu=1324.152gc=122.724factor=2.427zXZִF! Mi]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡ06/LeNN6IϚL8$ߕ` =__ dn}jw˕Q M1ehV.!E_P0ҩzIkF]]&/;u70 4Q'Gة^\Jxg?Fen)3 vèUɸ*>ur1;-2#B1tVř.NGGԁj5>8u<6"9zTY1.0M<pl՟e!9s@PeڙNh1\9PmC>Рd[lrLcBA2(>eCgve><'1CVyRcqpV P]'sSZ< k[+"r:>; nHuT؄,B`JjuSFf<Ԗ)#K>4oN$cކ } }Pt0 Rᓇb=[5`#/ꤴ`N1auf8SHg֧MiQb]@edizۑ˳ I\ \Mc84A{?1!۩M3;=0\_q/&kq;qi={ZwzNob%ćp#H4\bPZ#|Yc'BOcTo^plkcyE3~׵)nI 傴|&k&wi7u烲+u9xiro3f{ê=C ;-ߔp,:oyԿd$@c@'% pEe;3$k?P>/9z؞[9䡊W%TO>X`( f o*Di.q't}ex27}b8d_R3 IXַ0gGP&[Fφ')8S$i[ ӝϏ[KjVKrCv9N6پ@Pťqce{(-qO/B8=axW3kRg;o&W)RdeC.r P-OڶetR؋Mw醷,g=|<=M$ςFty1<%d+ L@khZצQ=v&vj3~ۤ-nċ0I*7_:Ȓd20<<bnC(v*% #m5qИ'Q7Yoz,ϤojK~N L&yz(Zwy&xz`Q  ! HOL-Proofs  % DN,l^ex&ۍ /oX,eSț8*qR}j c+k/qa)wC8tF 8TѪ> dI4'!y9lue݉6Qa=%'[ N$,-&`?*2/:6FSdIZx4$>B GO+0^ 1MqGC-4>_>#w֌|K-nQk6)WqոPp"#VcLU@ gI" D x[-.עl^}Vfc2k7>%q8 Ocڬk8TL<\RB*fj~IShV0+9yQ4q1T3TUgoXhJT9>+KC & 7.fW}NR|Va$g88 Oc萹s[-_FͰ = 7^DOŴsijȀ*+;NPa0Mul m(g 󢅴k_#Λcnhmi4|V\~M^|Jwt&';܏I_r'7?xtYf4P/ (nOpa^ ĢW1@`V8ˋ`P%寧z=O7Zsa}.gf-#J8WWp^ UCB~28[Ce.:+ ѨNhHaLEǓg\`5S#L?Bj "35ܯCJ&{lHPF䝅s#>`J  Bz#वZH]=L (xEr(xHOz='CMŽ]+7-퉹XlXH掶cr*Rod8{\w톃Wp=GAӵ#D,[&0AKyK *\"uKe+ ˿peBka;:B6 FkQxE' t0EQdtݩJ NG͚04v[ʫɘC+r䗟)Oze(}JWKHQ`ېRzLk}lT3icA{b/_!C~> cu>@=0Vl FNHcA"70_Oe  ⋿{ EL΄ZNe<&?$e]f)Z'?O+ncp!;2;~oT3QUοuyY#O="l!G18G÷0xgJC4WysYJwky f. o|BNC,ʰ wv漽9-䴒k&Oօ<|E|=>'kUil#+io4kW, [@G :ݾa@Ppx VÑXSUXUVNEwFTjBi4w=XmE% %`n@SځfW'ҿ!^[\Am֮ x|m.:Dͮr|6!]WZvzF-,y-rBub.yx?`pSSfs"*D=+1!%o 9{V V7({᧺aiT?T-.b*JTL9쬯YZ6Z0Os{:7lF ۊZfVP %q38&QiېT~zHngxXA{º o X.=4LnGw4d6^:3tYڸ@LPv &: F JsCgrQȹVn6,u$uq^^T4::KOVE!!h;4,=4:ctT ohzE69*˼K3x@3lD.33T 3s pN`$5Ua;#Of `{OpB<6ePwp>1̕N7uE; q&4 Cv3:ƫQime ?dt7Sh E}6(@hQ}xF&if' &YX!dUn9  tD|6hkC#Pf y.fب,^{7ƈYxP3}wRgϐ*Do폺- :7^;VD%DnO&Yv4eOib+\O Ł%1nL6U>[ Z7ffX)ӳ[~\@ QYCgc+vvrlP2 ^46j򢒵Zɪ) B8{ۈy8[}E $Y:,PŇ0s gXdTaf'LOup`:%]җ ΋zG.CetyT`?,p`=ZT?;((nN2yJ=%4d =fJٛIz1E8$d.#l{*pkjEX/y,ޡF)D&襉=-Xzp萎(vYRbYߐ9 қc|׿v2 aaÕ闚hLumCZM*Hr!:)G͸G084N\i6[uDYQ1h]B/Go!`2ZIWJ w)uQ|BrOqiѧQN۞!il0ւ9rKrF'K6iB¿ɣog(ƁOR7A~HP7 6 d|&8C\(J_%LV?ZNc!st<ơXrcr"i)Tq@`Ĥ$8 {꺢>[[~ nڐuM4]ld+B3 H 0aZEz<.i@`\l]#'Ϩ39mgAm`93/4Eޯ tV OA̤=] 2Q+ .$Z2V/Ϊ#駱gYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!*X03HYⓎxL"#Mِ.7g°_N> g4Famru2 E7-nPB'yTD5Tg&t֢ 3}j CM<*w$MeYk幀iӎo{h;,UHh&-=^PweqPwf":ˈT =h2m06d 29q?le֝Bq9\ͬ8[BKFT>Mh@#h f*/یfȣ갭:Z9SK>P-Vn0Թ'Gte6 SabhGK-r/,*c?@O]L3lb""{U7YY߬l _zW ;YjڳDoDR9?6E,ʚ2^,+.[u!a6D T<|{*O[ .Ǣ r߀3HVfT0UsueHGU, skǜ\?3.Cf4ؤRڀ-N_7e6sZykx' Y3d#sjS}lY=nqxGj.w]CSF[U`Ikd #:s!s%{6h"!\Nxlϕ%b=$@\N^t@-xFP!n>Xl"yOC4@4Cݺt&#Gņj`XdY#x,A;1򂼣|Ĝ7e>'?n3 n%>! ~B%\nc,kV"UP8|L{5N9;mg7O F䨱JjztLo܆ _o/ W"},SS-f 0@RщE2]3n԰?RD_ K bM`?)s9ΫٗW g))NNڪޤN Փ漙 Cf!exk+5k+9 *B$[FE@,Ud)&s؉e]AxѦ)uWғ$uuZ@ѿF}2ݒ 'ۢfn'k `QB7K*q\Ahāuq9+RHovPuXR1~Kt\J!n*N׍s)NO)@fVwbs;'YګGݩg(%i>w.17K˜Y5I:%Њ0S#Jp1-z"ֺW!O;xt q}cIL4fގ=~e Y#Nn\P2ɡYҦ:hq~M&T.5/b ކ,]2䞢R|+l+Mʉ"X&ءIbS%  ?HYO $ M1wz!Hb3Sډ刌c#Kh_Czҭ\nh7Kqh ,ɑIb,w5ܧU+':E4J p 2Ȉ3gYZ7zXZִF! L#]ŗXi%BvU8LV̡,QH;FR{),v8xgÇ$'Z2rr:+ 7|[!'#b*/e<{1އEr)A$sSox`wUd}1Bʝ7\P}l!]UWA9L-JPƩwI`pj-`^,:2P.af #ki6pn07/vM/4xCOT:8ֿb GL೤Ni~ mE5U"QYMjѨKჟ&vͺ䒿jssS;) 9ǟ)ރ_/>nJ\4|,E1f ?J竭%&QX?M)k,QGQ?=&DWSe=ЍpeK0RĕĦ#1lN5Y2wpiнZ`)Kx{^lo,q6s%pPb ;sT0_h$Ң'a2$v~ R{+ B6 4\%ƨbe0FG_itHu^R<Z@an7ڤ?7nY2s^A+^p'QhDR?H(R@ŭJ{uC]JjL0ߑdp]-?IUa*NZ/<2}d69ˣMÆ(( 9BxPѨnt,>";<{!aT2d+';gp2内NdŞ}%QVeހW KezKj"d_PKx\FⷕocDTSfc ikȩ\.I?ft$7іRP?"ڙ k+Iϓĺa{j^ƒOðs TOY7 >e[@a>㸬/*(7X8]##Paək̘զ4ԂڇA%B[3_5\bLjuZa:Xbrhސg1\,:/7̑}ʧTp59_u܋LJl8xc}Z5)%L6 nN+JNz7G/FWsjHͪlj[ ٿb]@Kr!?Q̮ph`!uk-.Db .+'H%/;]5fbҷ7T8z/s;! Y!Ag<2S2rSʨ5 ޯ݌ jNK=:Lk9Zs[;n "I";W,0j;Kķ!>ͩuJ_+'L]cq?4kLwq?FN JdDSB%:/;H٥ ] Djp6Fg a7ٕkw@5yx5LGlFEc7Lt99?K39]u2*Ը-4v2VQ6HGGl~MbWYpMЅ [pPdm6}kTCa}:La.aSS"//,.u-~ R$:W)@Ce+;8;tL['\Pj[ǐ"tHt"[J*Br|2Q8=m'0+0ֈ&t1$!=1!VtHʮԫldV H}-3Ÿ3c3ybJٰyEpT38gj4 hYQt(5qPQ³SgLpmmr:Xq&)E?tbHg,DT1@Zզ[qus蚕M>7]чdg=ԳPK?`I(3!KЯ~# >љ14fz:좑~E2Bŕ߽t"0({5Y"Gct# p_V0KRJTK抏EfRz=[8OBFnlGF] b 8U p2sEa3˷[q-3CM^y V\bb368zJXGaN=`w7&^y3y\\'˦5O x{Qc9!x8kRM=!y^t;MHx6dHju߇PAk9e JEAXf12[ETɠzUm˩ *1zVeGJ,A޲ŏh @H>'e}2 Sή?&N:mq )_~#Y!T f2EJhzLy2I[yX/\C# 4f:y<&֚oå1\`*ەy3]wn<(>\$ZT}&BcJLv*٪Dd]yp LKsPM/Cw sW'*_ ]+;HB}*i햄C}RlYwk^1-;ǝ/#̺m:2*u,!#o>b +~\U[oܶ'\q:,S8mfYxب9m SdJnZXF@WlΈWeBthnEjAn@' 7)'հK8 ܾTT^[(;/nNQP׸'UF 5T ANk\bJYd@zIAи"wdy. 1$OΩѹt/Е܊WmfY?4<=!^}9s $co2:CoQUp"螨)=TVmZr;ɤ9o|e~џ߯!"YYGa>N-Ϊ3nG_ɗ $ x4'ԑP~hMxtq|p›alYX6|&5i(c#b" 8 ^@X@Tb0pUx8:0Bǝ<:H JD O̧ Pb0 #ľbOU[~!+ԋTY.ovP۫MW蔳R`WiqslzASHҴS J\^βlEg^ՂX$D>[Ȫ9]@wOg9sCm k"Un;\0֣11 ͡UXB2sݮQ<9=3)wajf<)QwdHA,HO?BM!U'[]:U,gj9"G}9s1FEXOzI\-P 8qO:9;RC]Q ˏ%)I tmlOx`MT!\TC $AW2ݠ""$GhylUcغCo \]J˯ JNsȆkBL"K$Q;pٽY'wC߼R;M ]oՎx/?hwLJ͖~[#)mt#Zybs'SYBt]?̆'q-ML;4߻VfԚr3&dy.͖%&y_5b+s;y]>Ua6=IIKm8Ñ5@4oj:@#۽`Fn\X+ÿOJZ7`>HaUontˆƉdf|R7%gԟؘR R3>kɍ²8u5 E!qdNn5u8ePb v:X:r+Z Ŋ;al?}̄?Y@4!0XwH:oC`#Us0O{SΨ+1 HIԤ*-:GȴAVE]n/#fO2R8P=|!zTwGI‡wjI}޷CŒFl$v}Ap],#ig^p]Ar!6HuǸth5å^Y3/+.+~"۶469BnZs@S7BNrޛK3gNcTe7`$P^J9Z_0T>OxN|f{Y =4Q 4n wGQo~9#\ƌb5%#al&9okM'vnyX%<RecONh Rl{Ly W||vVK xT*2':PwPVuҵ3,j6o賂 Z&M_+J.ZaV[bnn B)(fE*_f)5n$ `f z9G'6U2 (9ZXzާOoHYZAFbM ):jT19Fpq=T :KQ*ۣuzyOui(l[]/map\:u$bssE9aIm\;k=uH%#kx4_0GH.{ a|Τ"fk-}&ggu1i8wi\}i}=;8҂|ݭl[{uLf>B9RLjυ)1YnױlA`0*5蚗yKkMCn 16hc}|a N{*ʟYRix:D K@9D +(aj_ y@jFl_jW&-LdXC|Y9+brtC8y҉g ]*{0;2G%6pX˽ysB~k ^qC5<1#"2$%Ѕ{=]KC/O$H+<U1>?浞5~yLQ?_MrKdts=5_"5(x]HjKYcl7>kO2\(qSa4 OU Ȃ@D6vD I`BD"a_.R|[<{_>p_QXQ6pOGr]/efg頡0쟄pGʿbR¢rqyl`4*A1zETFMkfhkAb(&wz{JO$B F*mjmna{^> "t9[ -6pz=d-y{G!'97A%TO1[ d=3aʛIJuN եk ƫ86KdXM#zbyc'<&ihE-fM֊Wdj18$['ZuܜwӦLFpNўF r!dZdq)ZaS#߭NHKh_PpKZ2O&@ 8#рL^aMNcuX(lͣab'8}q`jTg;&uڑ$zV[Pwhm#~ \/;wV`}O{qY*Evs˨%)Lz[ ASZ;ƷCP㇘U=|e+vxW{3iqi*o2*:gI˛^L*!o\4YZhA0C:|^m)n z1GSjEk]xrOFSSc5_>!t5p xq?S@脋剢Āj٢fna}JxٿY5A 2Ef/MHN vTy8G8=cb~:U[J(N'(vmؗHϦ> c 4O#E1` cٰzЀ([жQq n})HwuMD ")A\`8dfzb@Jpl=>Zisgj~o6DM9S1 O]U’☄uq pR3Z֋M'h4sR5=_2m9kV7ߍf-s/tU؟gktoލR\;]tϪuHfnC*h!+LjڬyzG%8jae!AThi(;D1H 1qc*Tyk$ڸXi>`H=[P3<7%!d?KNHK B[r)y~ ZJ=ueFiBq @f6Y)uW42}c2b1>3(&#eT*> kw=!mАUg;Nȋ5 TzO8u?p,-\  FmAl#\XѲqbsڦ}Rе@P hgc(. 3."}Ewj)V]zyL& {6;]BF@ur~`:̻\=3F]G"jv@_;qd2 ;)[t,!Q/%/? l' qӘ|J0Gca;oQeQP=ρ4Z ]$%q{< ׂ bo#2Kym~{ V8[?$^d+PRYm&riؽje@Q*>Fz0(4jO+6vՎ3d;lL/^c ~<So&kmngcr%5=jp[jhqΗX8WO4MwadÙb-oXxQ*#UCv4w? (nBRh ڻ/ 3ZJk(pع޺x?Z+[te=9Vث.M毓q2I'͉! 0tJ.e"wp|wLu1E|mƶ!SWk@L*jT#q0q='7G4!qh®rXXJZ.I+ Z hvnaq5v( g%ʳ Y\@fk#icz?0ѣ 9F¡!Umʾn3TF7L 8>k@n5a>3;]66vgd2[W'rFp0&ҌP<.wXe7Kߴ:5VF:;[Sn ~DiZQV? y?*;qr4"/ r$Λ\QB4Ra>RH`{-X _kS&cJ;¶? ˨7F~=s {o`7R,"9< umF]F\lv&R*+"tP)XK;35 N>^y&#}$}~FQ晱e{&t &KT =fjy|P;. ͶhB'sȄ#q 7%1&c|[kcp-{;(3 \6ӤTIa Vs5̺XYGl jѼ3**GS KMcuL@t]ϭyz6}!J^c2b!|! ^MG"x":YU'˱Ht 9$57KBY^ H@VJ4;=m<ʭjLeW5|dŶ%YcǀqGy{9k&YIj2\[خ:Xg,M ƶ9f2x0@L dfA̛ҡ46 w?CTH백HV2LЌkNFk_[-J9'nQBŰ(=jM$,IF] (C\w^PjW;yG@J]1 O n[ݔ$Fb>~0FҦ41yS`$]cVysfg:y3k1um=+37n-̽(Tyi~Tij;VLmŀ' ,FuP s+٫`H.+ݰ`~XmݯI,$hro+>6͗EUܰG!Ślkd fPA:7 nB,Ч {` g򞜵[B>]u4l۬k0@ p,+?6>E RA3#B5AlC˚AHo0>"Y\@L)$91͞;88JO<4>fk_×(wj7}rr؃@Z,Z 2)hpP4d(@P`>%Z/LJ>( ]TCͦ$ͭSfonAΓC{Us`u`͉2ϗ=wqLJѓ:Ử7"76@9 ]<˖KAkzv+W8^.6{RS}NVxXf x%Vx%5encBO%}L&+ZTN}!\z~MQԷFpn4PlBCw8/ߙNuS`3])/r0uR1^Q[ Fo+-@fx)%pqT`ȼm,h/5"ߋ:E~e,??|A\ïeL!#A/NrpUp[*%OTlǤj6yf>D8~ |6#O|_|]m̰FmhPćbCukcu/(Tգ,$ji{]tՁ*Bi<}2 b1z2W=ĝm8N)Y63~Е3>3 1^Z}=.״pSJuY0l!\3h46RjN{mu_N#-T9- iS$hyLO@g`z/*BK_!|/!։T_X]U[^P>1(%ոZ=d={B lFt^y:r4ůqBY9f@TE7d?|= $RQu >l:0Dh~BC6CΠEGK;{ sIP,%sKe>w)}Y~AsnC;TF-/+~(_u;̀45 S3cAM͘C 7HdCV`FI@,JF խ .K@Jo.s'zжFz#Zu\N7!Xك-ޑ1o5/$^. Qviy] `g wOߐ<_g"'r㱣nvq\L`HRs $eXTPfa^kOiQ}} xקk|wI{2gSxn$fviH[kE273VN h)*XC x HXj7M2= HTd:N R+@cf;2aˌpaB ˮbkyJS Q[:hz8^ c̋(qQsTYZ#L"eKy7lt}K\~.Y) hj`U7vyVՑE;9N[VuֽϵjSVrn%b-b+1ƛS.߳)t["><Œ/O3Got}aߕ0[CI'wFQkVZHHm:uhj.Юv]3*%#U2뻑ɱ>=pq(^¡d((< ۿ\$I2ob}ŀ Tz秅Y/dbᠽ;xEz&+mml (B^b5'hʁ|LO^c.rJٸ,WapTlIrζO@uQ&?,ABa&=k:~dqdCoSOAHLjOdő&/jPo-.ݲg~M"{ 2 <_bWPEl*Ozz ,-Iӵ-( l_D7;:rkevk1Sw |<:*ޅb$цIg:SJ`Ffjo" tσLu@5hRo͉-Σ¯@{ A#*DÆ:HG?!FҏH()\|'GLX.N jK6f~u~쯍QIާf}6g) -^f 6Z/auo@ 6CщY w%<<~Qvqwػp+2qIMT&Y0j [#ڹ34P!lKWKܨru>wDȌLbgz(eu iP qKTE(cc3:+jsrDW OӶWeK78K^k(+W[v5K He>̠"쀧PT>\b~\BGqYi벆s~t'ob @|#U BR=azϕ& f_i$1\V=G󐠼%ruO̗GZmeػnI NvV?Z'e RfMuo3 hW\E)*@W94#F1t1]u\>tPTQE Mq`r*p~ixݪʒPVCid^#„ Qu؆H=e~o^FVKfS@ZռMBV’ 吲ÄveVfաn!ʦ6gRKz"jg׎C =w*s&|y|)ē~ e6D: uJǃ81 ͆_ FScf>勤sheu6%]1Qw&#]i/q[g.4IB$ɪ(ؿR9B0r㳃P0:NJƞ}]a!b6hr8cپԒ,;HbG %vvŔ|S[9_<5B ~3~3r ۿNXR;GHh_6єvRp[d$v+:8_1] wY$T*'d:`3&pC0RvOCGRhpF`Bh/irUh)8k I$h\FQOׂA~|_ͻ.OOm c\y bAmz8Omq h"ȗͫ\x1O(԰S{<,)!d *kiP7UŊH7)WCh;IrY@B:SbPar@`-W)|]J,ǣUG=YZruCZCrq1`s !%jȎq$^!G}5 ,(M94 oTT6eD.Vr{4~|,J-i"С p IsV*>}䈄a[#뫳MqKAg٢f8>͒d9)gr01Z|[C?YcB k&(շyOBȨҁ#7MFp*p JCFos`X3ƙ\DH<+fi -Ui #~r5o)bbr6I>iQ;$gd҃M ys'b+0 W24<<99. gIrQȾI !6 {lɕ$a2ev=ṃhڿԠtB:(Cm4h) 1Y BG+iʛ {o>M:Q1/$EAzar_e*\ d8 lI =7b.\'G[ c ĎdK^ c(2 GDYF $nوT~Ak"(g'%ys;1oGb78>InDpQu+-ѪH7H/.P v;;BA!2|xjNB5[QzwgՓGxEIĭW%/&IgHtSmAAhwmxxidWW9a*4TY+X7u4s⛊ŵo@Z;f " IR|iƓWX0㐡slj)62CWFsEtd 8݆ ט_k p*b(SM+s73jMXZ} 6ljBTG~N:|ep^n~ŷ{Exq(maA`^!<0?0tSF[t}s]2{&J)؎+NşƹΤj>3j{q:QeSLMF?Vq}BCń9[ؐHrvoe-]5GIT]RblњzϣK]6w%!"c= Qe+ZYL~![ECr9gtؑh˩0 a-KXoOv.NfKHs!F1ݐ(/YQ>jlm_Z&t1y+6/m/d)$wUqXX< s6RwJj|[_R3*k O&^]5X6H  S<7;QSvKcp'2(rlae6jcGKN7i~7qkڔMa T%*7H}mARhuia' UCHp-bP0gDL"B>RO0y)" !2pd`ܞ!Y,qm(,cEψY;yE ߩͺ,UGeC/Ll%+Dp*gڊ]` x1b }^ו>\33NKDCRҦAXƸ,ySua ,㣀/O;^".b/kb )!f3pf}Å*\BcelH[!Bv Ky{*bң7tc=m_SW7X χW,ܝ'y+ƛP^ ($EN¾mMm'C [K[q ݒAS0cꏙXWܑ!ҁhT@яnGCxo OjaL)&X-w`$IUpR 25݌1;/W gƛ Uh`RŒoJ~S ˔X]ykhfq߿sH|1o㜆rфZ_Y:Ҍ\gcq0^x}EM ƛ4Nh ',7zhe*f6ywU@<{:4d;Elv^u8OooBykW#oa/UV58*˹ǯx1e'ܢ;m-! W`h_^ha$=E#aYPl,-0#R';HApu=P{OP#H,# ڪаT]huB+2l=F?cA;johR@5!Mŋx]$g=Id NEv O 8?nW~P%:쾥>fqn>rl};ֳe;M Ga]WU}q?e购B{cp'2#WɕV ScG3g539Y==A0:׌N+7<j }hr|e<fRB7_9(TA6X˸j+vY[5NICu5gv"BV"ģJsWit aTwBK3;j20p_z0)% Q@Š[{j^AG,"Jb~,=< S}9;M ۲K{ky+2抲&F73j(`A7ec$A[/4 bP()Q o"є E,Ќv.VmJt,<_RM˻<9Z$x']4iŴN; `$o)dUY }ڒZ纀[15$Zzaƫ:M~ւ|x1I|W1rFa_Kk4Kj&S%9#xMWȌMٸI*+J|񥈚vLBbaKQvo^^/gA5&3lDD?}n~̟SOp2 PxforOH0שaNC!L+ ?P; ΆX\pu|c>+ O0!( "C?9z5{fב#zoì"ҦvU&߽slw[k1nMK$"="dCAK?[xMw1#=_':^n #6vb!_:~w0NQA8͚.;h $r8:2_6*5c:#bNN_+W/eٺ`ӓ]LƟ}g2+=PmygX=ӝrvpIg:c=٣ y vJZXh3{ VK WAԿ&>a E 9CEAT0Te{g쀸_unݗOWǽk"ӑ :ʨA +߈SQk=S"5JRS+д*xI%C $1\( feKWtsJM,ŀ|}#)-^6h!OKla߲/tj)]F4mO(f_,S_Xlv@5똋4׵ z1k[I;w[GZc[L7>PZ2ƴTjQ1OK1N" $J*}hi2 mԦ>Bi?9|"hcopjiҊ^|P y?|^8Ots^hE!hWwl !c<"!6j$TҲ V}⇊j).p "J]RR7*t}mꔰN}`ʚ!{YQA[^rq*b3Ez܏ ' Dm7͸0?'"ٔw(f@M$%ڱaO'DduwL|8"S"rqN܇~BۮSOD>%x8FWpo 7 \,cYeL>'glE!e` \XN2Y+ջrT V!.0d AG/snYPToa@DBes_G3#pՂ 'O۝B{guTs0WH|;+|Ь 9lu([2"CorPwM΁F;p7^x\4\e4gZԕP糙L~qs9M2u 7Ѵ *qItA0tfƷԜe}o"V% A UĶu8K ضң2XMjlRǔrRGbH6OrOtPj/0% su:۔I+_@[ p>Ti??ʌֳh-6>%O|j}񯐲n&.AB&nSŌC HF=CaʒqȀjwV(h۪ 9*qUqA[Rhs9drU0*^nYϲh(QۍddT#'HP}J$2z ߎl"<=D)2O* 51ZxLJq\ځd"oO<XlWNw%H.k4'VѺşdb316οg0:>^Y!6J$E>O-4en-T?`2Fl^Qwl i}uK ?e$-ucmUO,Dgf(L3*5;:W8_u2 YT'V>rm&ΣM41Sda; y#&}4@#,\tS9F< H IiVGH{DP$"cwSlM@PgD&_۔B71UA\);/#$}K[4="K*~38by,687+l#mu_{+ dalT^UJ\kb먻DU#m? VԽ}$7@(6. 'a1~'*}m>n 3{CҠ@[{:2̵A*kjF0X@Zj*5J!ֱWKvb ´aKTppo[t3N"hy#: dAY(“XOl%yɲ;q'`Rc RhMp!#QLe4{O9&ޭIh{Ym^O0-gT:$ 7Ȁ7+f6Yw(S/$/+i-)f.Hnz?fnOg%?V~p"^9EI;ЯQ&& י eS88T~>`ZfQR.)~M}U,t: *p!>FmYW<0m~1\HM7(/(D%ֆ=N%vcmQ,kF^/w%tStqތO+sz PWܞpټIP% U DLÕ]4O܋j MQ+X,nQ -j9 WߴyA$Жо˒aa0`5F;ev\.XNq]<Ҝт>c1ʇ7Ekvɮ˂Bf "LС"Τr t41x8]V2Ğf϶BT?PzW!r7,PT~rK " d5}1aL,Ï=N Hd#FQ:;OlVߨ( Fix"A;x4 `3'}z'O0audc]88QNo4V^x3盘3!ĭT-QXu,j]ПK\ciAcDNn[ Q\5;gx¦F9kgX_* sHt̄H>HÆD(#`AY-++e=R(iG?Bx-=c]P}v`#'rB}|}3|#fǼ& -+Hv@6V¥yEj:o`&)`gjX͐0zȽh.qV3wC5{51Av(o,S3BefkLF}.mh'Z~@Нx*3:&+E6UbmtwW㰁8Jj[ _ ]#6': k,Nyv*]GS}@C9}Y w 9?0@{G<#  j9*Axkݒ%'h@@UjȪ+=4?opXV_:PP&袣6N[ x f!B3&jN*EKm#p{*d;^4yǗ$z}{۫\\2 {oOgTy Rp9a8A[t5y,W 熋g5"ڌn N2dZh 81n0iqB%Ady/ 7Ktʭ)0QyAIE[A& <ՍWyR  ]Ѿ""aْH9O*ז%FCxIU7Vw"Awd{5'_ʨHy7UhA3NC]&d ,9/L #g(Ŝ6id ^pQ(ެ=wAإaЬ F\iGQNx/fZ5-f#Ge)iSTnW[M T%.޳{U_}e==/}$QhqH $eX*[8pf\(Y;y_:rZ~zvM,8q_9 =Qҷ174 0$I53߉ю{$HNИOIꗛt3ˉ{fCYRRA$D v rP vvd0rɔ}q Q0(Tp m WUFEpCG;cK~}RL#l|#I-jNjpaA dzX}v$4n@55uո$3RLbе$bx=yuuîI*X|F쾋|ti0|K]Gp}T`fTN;Ty=*PV(+b<%vG< ١v]f>3 ))NXzᢃD,q7rj lԱNiHJ{s>㦏Hj':8v% B{OGCz,|@TV+Jƾ1bQF.cbtu&h8="abqtڪF\;cƇ9ú/e5+JfR5! o h!zh*|E)`?Y &4mE4UR[]aGzee ڨgvPG~㟞kb hR2 }/loкWVV:nTO,i9 faSuߧkqZ`SH6+w%7OR*`xqqIw-OdוQzf!`la^+#PzA:Sp@ԍrdk*S.HB hl`&Eo`R NAQO"SdCKq8nzc~dl7~dxcq\!mm<KwDFh7ʹ7~,ulh:DLY亝q$RcU6G 3=j4Z3_B9cehiftQf?U͐OfA(Own)?rb@us^޲E|EIbz{\mfU+Ʀ4:mfcz3hCdr~ȉKyVRy1u .2lMCԎĥ@*֙Lśbץ}`ʈV|K)]to $ofau`QfY.nm/)zdR42d>.X;wf  S98^|X[z)vlǞut:"^U'iSM8oB}mF-_Nopſ:ݚ{Z ?[ph V2zB$Ĝbn>5J@jE6<{g-XHal%Q yۑklx&8W'YӌG]O  OJ6M1`|2Sx3шEOS0]ôL=Ff[E|{ Գ Cys~|Ӄ>uDz?;G8&s)set}Í5b\%t=n?iQ`9W q7OnoS,Xgx+bP"^*%CEn Dh]H݄*qh©9Đ*qVL*j?f,d<ADnȯ-5"I.M)kp UOM%;MCSm/v#C!kH*1BYe J i 6XAL^s&Px> @d*o/ c}셓j PtTx[&fl-܊Ѱ?bo.Nr˗-F+vv@9+"KJ 27*v=*^[U) ;3f tfS3SSxAz*ưC잢poI\52LXc2{?s[ Bece'+ٮG4UpQqԮK) gD=k)#?3  4˵0egՒW5%\d%4!D s; .dV GWْbcwqB&7?߾}UVag3Huu#^ɃȦaɘ]~^s ۥR<܅,uyܙ#=$mQkk7ਁ3Ó2qGxne1dI~M8ZpFw8Bߔ}W^!3 o nOSm<,>聓\x`Rݓ԰ Ͱ$1|¬ԠTDj*Z'04|MK\x_d|r}";QT8=E0cq*dxbt|$*-#~4Z&; L[$[}*'/&˛&_S)D֭٣*A @jbFNZT>C/>~HFj tw#pc7$?MJ#_]ؾKޱ!f߫:xjz,sGf1kb"&@2uB2b\5ܵ]+n%ƚޗe9gIrO+@=P:Woaytm6g&Zi9״q%G |oeO+]WpVfe-J=pnljwfVzEWl^''uNj~E+~7aшZzBcOyr)~JȡwPu2Q&AAA?غ>MY*%%"6Wg bPZD?a 6 c˛EdQd B{km&]eCZk>qψS{C<.R| 뀬,uNd° ^C nOzޮ*y7Rdc@ѧ|\oi(00EG`¶"|t@y>\1\!:I*߯Wa7ź^@C2(Y>Bu{,}M. w]r62Xg͊q㼷M% gCE>sd7G#0A@<&zAm[WkrzIUZJ{s9FsVlIu={q$:78:]&ODM̀S0fj#ށ B63S_6O\-U+5[e1tSSPWv\o; H$s#s 0 G3[AbKv&O` Y]SVX :&sfPLԻ1 SieygM9kZZdPpt#7Yc&dV#}X+%[oH.9-7r;ڗ`g.טm oų[a -2>~Z1m˚ݸaI\jH; A ^M뭦 *D,vb;0ɛE$g{փ\bWyBIN_ k܈5%CzRv0R˵vP但t^"HIo?='Ô7tͪ39H'’CQZ\pܳ;ypƑDJ]U `x͊.xrgYZ1392eeae71b054ed955ce282e2c2c443a5e91bfdee1785166a21b9974f34c6db4735c02d08b16eed93162db4082e14b793f373387a11addee09f4595