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 M14,$ ]% HOL-Decision_Procs:threads=2elapsed=525.303cpu=1001.880gc=104.208factor=1.917zXZִF! {]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օY,XuHlrcNqt^<ݽР0n_OyuT1)EZO'C|[Q(dy 7[E)>ƣ,ג8xٙ#4.l([U{!T&|Og_ۡ^}+ؾ\ӏ˷ۍĨtIyn}` 1 HOL-Decision_Procs,A5x^ O=)/?90}PXYb'l٬aU],)fEc}$zW0j;eQXr︇#oFAk G[ opʸ^eĺ,yQ/,DeW /h{Q4ObԽf1vtʼB?c^dtV8>{ɓnyx S}>(6f.^2pk笩?)qvLC0@LƵzEfy=Z$\(RO]p\f{ mw\M4z,n/b`iԂ8\O[~z6I(,o)P;6mhq/id0~3! H/+d>_Cv]=E#4Y"4Ҧ(R!7K$}~CuJͺf <ݔznYexVՌ/oʦ(bi/H?HOiLZ 慰M7E37MBmk[R5 0S'4 O)3JfVqBZA)V8 Pw >,l콛ƕ࿜~MC';4@S;i(N%XfH!\I;;4ՑIj 53Fm xqbnlsp bxSˈeNğ4 VNԒWYi󺫜a[Mѐ2|Cs kHu "ڌ 5-q>]@.C5֏hK]aSydm0Ge#B%wG:k*'sP,evBW''b u\MV9 <-B|D2\޷̛|pj.CQ4zS䓛 "Z8Od q,²L]`[*^4|KU T Aż{1ʞ"liP\`{u!7fhBֻM'%x?fc ?_0="@AVԿ6`J/2 l_z'r%g>a>I` ԫ-"8 j./$4`polw#ٵrۉ0ielt쌾'ȯS`  'aUεs0{y厠ٖFN.~=ф)#[Xƕk&؊YT.eè'Oy-i2?ECu!F][ Iqf ] Ga,EE QοzuS6߉l'Iaquxl4[/ QȻa ۍ6[ϧo'X'8jgª.@X;l^~Dhk> ِ#dh}Fqwu8 3J|YzܺEY]2DYu֔ ? @ M)Ҧxa=wAayqUԒ1E4 'VQfi$g[%ѡ!3 k%VH]]7BrmQ7*afd;<\um&ߵ t>\<=gQUjҶ9;w>>#u1кwś .SC#MPzGOJG*ځp῁dJLL?UĻ+2Cڸl xgD_/|Kij1AYlyFf&ſ?a_^;2'ʥn}Y>A=j1ffn8NC52I"UlWr{r|"_+eS…͍{)K#%vs6>DI'*.'TrB]!*x^%sa`ڲ@EX@=ݫ.s}L],YYUOQ"|dvh yBخ.kgkÅ $߬EkoWyB>}TP m xzGHiX($g@~?B(ǰK@uI^>0 -Qj6aƬ,a{SK 7Q җS,mR.(y]!5jJ':`t46YG 4;Rx}:+()bCQ)vcm25;?_W2k2^&&-/#4ޭsm'JD{9Q4u)pV?фwQG0mϬw./$a7]R ^gl۰6W&1z^ϕXN2v[\wrc ]$Rf'j,Iƚkrej Hfgq頸b#Yӻq$:,Ј:c_S!5ڶ贙+bvnd,c;1J{RO-*vh!sH1ͻR!Fn\dg*;oRҐnBf֤\O ;P{dM%? w82w~#֓™H[iC ;G[V޴v"8CԡH?i3Xs=) G慉 G $sEv ۢRP{vfh֮)*6giYybmKU;LohEt gƹVN]:&ESGĨp]W>D! Aycиt' ξfDYaa/jPeۙwgx ]m[#R+KsyZ2X]{znt00|b Ȋx}Ea;af`ǵADȲT ~rMdc&^8ϟyenUsRe1J@g5{ہ:+)(7ɷŹaPp2Ĝ) NV,bGNO\!@ qaf(_+ OްQlبYj)qRծd|!(Pp[5hy{&$\Rg)fvlS:TnwrqK FE>uPc!pyZ(nEEZS;Q5rD&T09ב"`*kFU`ӰfBnajFflC@芨gٞ~๾?ȞT<)R:Sځ"1cIZSdL۠HB9DNWR2Lu~OV,d2"*3~G ~.F_֋'PbbK5ݢ'NUTիDݧ/%ANY.RLI# y. ۰^!h_HtW^;1 s棺]cEb{CS@i raE KT/LGW>\ ]R& {WA]*NawǭG.ry@B^E=JN^GKoHV P{f!dܽy0(/^jʻgv^tC6dے8noq. )/)C.M_B86<_%ҿ6i"6*r;0ZHqFN7?!Ef "nG##t-QfMw }JÞa1&,H0,#vu1|Z;22gUv>?Hۿ~f(Ȃԝ +"# }<TVܾw9Ǜj0Ik4|"bo\K4'DC#`t %AnɱgYZ7zXZִF! S]ŗXiɟ17L? KxlWP8SաM~>fٺdOdnqiT<1>3F•h prYR$ma/ G[j x0AkB'B:'EIÈ0:;Ds[3IP7c^ d[ɓ48sPhPaqڃqKZPr։'[_1\}B E=7t~[#tu k=eЄ2dᇘ;jng8Ň ArapI,g>*'R:(_4`֖dn)}TjdY _h{}uE6P>o[xݸ}A>@ʈ.653Pջ"~yi .HnH332 ^CCΙwfh0>73ANyF&;o`7%DN%7l/:fqLRp =5YU ݃$sXAA^gYZ7zXZִF! ύjL]ŗXi%;cf?B+< p6 p$ڋ=kźºNU{[J | egEUxI6GڨRQkٌlD5r[g3(M1L&t9*U|=7> Qk,Og5|(rTkMDwPƤn|IRhb%K_(f:N7b\G PvFNhI\vڸZp 6O-{s<"YߛQ`'$Y^F.U3b6*HQ|Fm@buɹú|^NP87]9) PqDQK*MʨԐUω'onTIKb!cxƄm'"vp稹BpMtKH&2WryP|I"嗓Eyuȼ٨t#vgW6rʹ𭆸 H} ɋ;W!$~4}*Łӕ8%2eE#~{-ʕJW/C4B+UqcrB("mbp+A:@sxlrQ#P3^6+.{1r{u ^u9pnuN)_lp/w;)s )gHȱ4ʅ2nEQ ՉafBG+̆n PH:n(dyNS[[s+82)ޙS Nsmft)-Cr'F TvCEc&Fz#-l {|gOCPUNj\QU@vW_Iסf, rDOVm q_x9pi!*aSqu ^f,b:ax cjF;Bi56iQwm%uL5"\\Av4cXabBή]E[J浂ffS26b(8ޟnX|]Ur${X ZĻޑ`)'=rnUZq-ްۘ/)Y^ֽ"SDr9}֣// ?ı8/{$I =30?%Y탏%dYڦ|+BA`Ǹ$2d٩9b4GY4n/1)v!ؒ18֕P"O=p$U:ُ^EKo6&v<QZMG6c;ASy_}=`Jv+ǣ`'0[fs+3-Άҍ#eV\S{a>3X)9`[wIEaҔEއǜC*jɟلF&5&GZʣQn͎ mV8q;1]ұVd<w[gf\\L~$ZX0IԻ{nό)b,:rn?g"nXXIރ5@xF/At\aކgK"BChUt(~,Y5e;ԶV4X[MΒSB|r_ ZdzXWx>_avs4לp׳U9KMt`|k~BT"^ ;UGhhVTt҆ ĜP }95sׯ1K%fS}yV_՞o AT]2~fjO]U:uXlmmII Ć8bu6ʚG`9,RѕXdX8#<)-pOE5rcu]]ߓʑ8 mҜdn V<1ˆ\ ;jNm BUFpWG)gzX[34`ݧb73f?K ۨ qAy+"~;iAE%{|䞨iXL0(F3΃x76МGu܍!.2Dkh+1(9..R~"A!o?7vFme)gQ }~R N/>/i3o ֆ#e)c3ؗ+IW"~Qq޿(.NJ~kEBf|FdsN}'qeJRǟ]!:z\Ğ'f o/-XR W5/]b "84wMf|uj]DpƹR7ζ#VZ.:N}|j8i:S%H4D s!k|V9;  !$"J6 sq)w;./[U~꒔uWyl;6urs7R_!r)\e!11YsP.LIO=}0y;x2FJ!)OEդwJyhu6|bZX͏?TCݠ(+h ls|Ӓ,흭YC\ldRNL8ٍ#F۲Π7$L`ś1 3WyZhŦυf:ɅD>6lƣ<a' ݢ.1/֞S}_=jii%'.sDAu&q[{*\FT@5ٖP˾u['#0nWm9I" Þ:r0VCZ+_h,{4M|i=,ޯ0ʼߌhf! u2vZ\=aTSSOds vE4>qgeV  9pEIخ:-؎c˦dA5n0m[% zHY"q !eˆ̎rn @'[Izn9ԩ!Mט:Y MUN08bf[B/fL'kwчk>%Q~Nѳn IЂiwvNsذ{y5 r+xtlF)k꽣U Q<` '`2,Y<3X ۇ#oRҏb1S hZ\;q(>REvUi4Cz ̃)E¦8~pQχX# 4?5D˥trp^kZKy$> q-6{ac(cbv?jG+ R S%( o2IKX_ g_[pIpU"X=Q?KC|SW%弽v ylt g'vOd..M"I`DCFL!q{q7Kbx5W^.zVmtPt)/Y[po`2^2Yl 1sQ--[QT¯ϒ{ƍ$2>uP0)RsIe@3ak4,æ:nQo<lN|/ *opo|v\'S;h5MHnh-H t4N[`Fݗ> :ޙzUe \S=7a_gN%R/~ |қA>Z<68dN([nH\Ju[x9h0 eSF9hnwy.?;8PJRH<uQd>|sf7gg}5)DsIf)kUXSqvrFD%bjɸHXz S_wƪK_^jEȓ96MRWMhD TK -+hy&yc_&Pgj6.+s0lܢZ*_KBY=&ZbȒ|և2J@~}6eֲ|Yw٩R9B8*^nX}uI$Y6ׁ]+EWmVts\ZRl_¹0A("Vr`2lGהydj?G؇a;N]PY|~+2=~yc#]haϣvn.her'!CAUvG-s3騝@_ _6hvw#]l-;#$yJd7;u;ƊU4 _e=od=˓s[4ꞌ 6oW%dB>^؟ 5}ۍ+&]p9fl33MYԍZpJ(ɀn1 Ȣ7Țőܔ6XX?w"؅E4R&.SŮES 6-JX+{ft!|lX/U(c* 1-JLj`kHdFcQ2lCx;?k }XC$( ag_:*gۈ#SЙb@aXszֈN4v"pUYև!F5g0O%wV-?dm;jݘR28!݈<b/ 3[ qa-]  ?˘5!AD.8`c(6:q_>#6F]pl`*O80ƳԩWT9*m<;uf@zAHtSwFz9!C`uZ#8GO4 _''&v nQ f.Xj,ӒЬ$Ij(lwh v-/.#: ̛4&. WO=.bPE`F M :+swHYf`q%=t7kx눝xMUv&q6ۊ"Iy/z7pzSB\.M|I 5i#$7զSϪS1wu~j$z?m4~Uk"M\Pd63C/$_AQWyR*Ѵdݰ_| 'aFzSz p7XFoV;X\? !ʗLħ2X6"ۈb f>\sosa%j4߄׊'+~ C2 JWʧX&D㰑mh~tU,!AʿCM=>݌v5¹f sH}v˧54ɦd87)Byɯ<=Y凳 ҪM2/TqoJ/p{0o_ُ][TSK%PbP ͧ:# HX$R-5?syJ( @ +)rճ$g,h)V`tsysupm̎i%?>25JoW6 V"w۱#cݞH4Zt9y4ܒ"LТ 1\j))m?n$s?`Jns(qpd+VyP"nSSFcn i&lcp't3C'A߉Ϗ{S A\z ˂+†\0C)9)/!{rZّ18\Vs%Ws: Q6}+-fW7II;l B(jo``vYB7/.H\Ξ'D 1p!uEIp-ކJDoR | ѥV{g{wMVI|1C+y ߮tO ?+qBN Z+ TU) ͅMDf.lJ AAaGcAfPej@bEd6~QLFf[RGVleMT;:xzPM[F5xA>:GC}6yJ} cri\D%zGzɡJ2|.zlp&2;z_Eᗚ5 (@&+8tOxhO[kV=y'OJS ѵ9U 2.%qe0)t pENjH"'f45/ҝG33 >weUrMI|Fk'/}kLB}LpF[j5S(<.W,)72FO&DT„Q xf%= ^su:x<&*=Kb4UD+rz AWB] |̣TeY[DZf~7I=Us,Eo&Oh1k69OasC{9H}B*3 +7J!0jR.iir2hƿM S~hYײLKٮ$!"J]s= ڢp+bj ]|Z"z0WK!R :LDhLFTc1iZxu"YZNPjXFF~-: P YΡEHh&&N:OVRIumMdZ_ 3+VIxfW4LEaY3O&J E,Y՝|sg34D!~-V),ϕ{-|l$uF/ x(_5~E7 (4YC<S{9)i̹M<F(BjA8+?xZez{tn+ha3֟^LH5hK`04fˬ%pWneI49v5i~njV8|꒒3TqFKUk_uz{1^a8+2T3{eu(Ao jh9t>::xO`GS?-oQ|i;I&eWϬ\:w ҡjv{ !A*8W#xsNLƤNiC5IEʹtjteҜǷymggd!(֘~d&C Bf_  OtW .-/;|7ehLx&;80Y%۟jm*Bikf[:vnm(^s'rq :qwɚ۲! R JAcUcwrHܽEYqn%aFHčhN\>V!Ș]J#K余.B|K'ŮJ58tx۟.b:h[hJ KkAd!_xjd;9V=53iyF@&[c}N {U<_`䇁L/:SV̴З)Sa'Hv88>g9{HOC+(65b T(QЖš$WM H?4Pw6)8AQ8Q/w+rĖcqm$?QZd?3 o^K2O*/޶~m",խZPCW!RںGE.V6KY?7ciX*3=:.#wSOXix%6 UwsP`+w^Tn2Mőh&f6#4+XT5=CC{}GeN|[&=wp5ļڱ~&a)m/vV 2p%i>Ab mVowHy 웅 쨆I8e~[#5 ,El#PNkW] ch_GG?d  D(sZ=eRYï2B\{kҙ+VsڭznGH/Rzi7|Ԕ%_H#v MHl4J-F?}iLP=T:T[$,LО>Q;B ]3e; G7ϗH&$6ǷC_#g~N0G?*]cvwSnSRhCL/έj<[g,IMXZq`7zj9A{~OP);̺L.цtM܁Bu{b#;]Jm-f*(Ao*ZS4e7aq~5?{-8L1,t/q|4DH:>:\.rToC.}6 Ù`(k.%9%;VP2PW6ekHDv6~;8S@db(3*VAXԦC76a-A.t*b.I")X rKaѐ Qٍ[C\_6w3PFIcf[G1Q}"Ug!2_ɪgv!/)iQ*)&;Ηd_y$of{vRPM9[RVB)-VqUk{p>srm dPw˙e@/އHKO{j'[:6'* ʦlTB(>3z4X@Э`gQpɏJ:N)=#ӳؐДrÒaߚ(1Ϸ'+.]s=coؒ^IƾަDR]C+p'2r^ŲQB'$1vdqj GcU'es =hC(1y8asC,Yж֋ȺZ/TWpqHWۧV#]0HS}խ+.%V/ 41<5a.r|eU^Mn;HvnvYO+ĈRC!Yn'vF|*lsBIb$b[9LSǖjݽfHVջ| !md8˓$)25!%MFqTm*CL:t7)}K_zFRHPY'"0 RA,hb>\{jt筀=Br'V^Kz?ͭؾJ ܼkM'ھh zs]h%{6vP +.3}gFs L\Rq 1qPsvV3~toP\/vG ԧmpF\I*c0HezǺP%W)kDžmԥ֋:^!((m <-/5Ύ-=و+җw9w|^Wۻ(}|=A^/﬷M2'znk~| ~1i_#K2R6'Y׳RN.N4%J*LDe yM1u܃ iY A(Q!U]e]8C?* 3m i}ׄBd"~nA~0Sۏf:Dq&WE*;lc,x *֧-Yc6}[Dq"l84*()yᲴH?b˿9F 2R6c4&K[pk`Da[ x:x c@2.Y$$lami<2 8Ox5׎c1lN,@_UO 8O2sH굏y%qQͪ]kyt 8t;v߄ZK'΄'FI﮷c&&z. V`s:1Ǥmdȯ^CmX˾r,o6ш?V+|VGO:d"Q&?Am}z.QFLsC=s!a_iz;CùD# ֍áMʡȘ<čnn5&Ed8ۊI4-s-^F@t?wR ]vZ10Q8j%eN;? "[)RͣqJ51PK$){Rg vpj'f|#C)T i" pщ4\K` 4oұ4.}i0=-Ӽj\lD˃M@*8h}bga2b|dF_2{{5j/Zw3qfa2u77Jv:Ó4R1󅩁v/y Ӌn&-jy/"%Cc=K,!xg Zʒӥa+؄emlkw 3(n5$eZI&E`^ #J6;Uc뿂qڷo+WuKd[5GwȳgyPbVKi!)DdlAʼn凡wV’ IL$w@L{4ùW{CDJT<Wz R< {OQTP|y,SuUmZGg4/dd%WgK>A;㜔L(vWM|ж6,C)F{߃h9V7ɽ.{͵"$/{;oP?GW)|W0Rz;.G+Hq\9 /DŽTtd d!8w^O\QY LHJ.\G7 $LfW,#墶uf|5(I Q(17PmcEIhw_ci`ξ8^U>#PuSF6I5.$|&@"Uf$ ͙-űKmPFv9fѹxt fLl(]bz'J?Zw[I FO)De*lQz-$@E94Z}`QR;{EF= NJP.)eR8q$P7H#cn1/ I%E%ED~*xOϾ|#yU M͛vq~{D*{dxwMhc5P/3 ؛?e寋t:REHn(gEfVxұ_OW ֪-(rkWKTXhrkexv݊X/q PZZh)I·Ot4A ڗ,Ѝ HBgAi'L&_T.BؖHk %G~ זvUIpc ^f&,*ITO+u DEl1uV1k)EI/cϿ⊣guZ2IKnGef>QJrX:>{,XRD{FX:]eZH`]g>WV:TJK_ks` rV-y ~<)b r$8g666}S&kS c^cItRc a0n5i!dor3DO. .a{daVVj:K -m5m-FP V@ly9[(vD$:Pڼ^NC ^%eu4F`IHT_"D ܇Ym\Ad_Z%>4K7U/1ic~!= cȱL;ȱLհ|$v&"R db5߹t>sgǷ'#CzV\aƚy+ l虑Y["lh˙طu$APTښ= 8hs<\g%ޚ2T6f^YBc~\T[R%A1Q~KEx&K[ǑH V)S:dmgt*߾@5 ֑ol8ەUW(cRǘqUlIKsƦ qn(5ievEl}c8IJ)F9M5}jC<$ƂߘJ,j%dLΐyZPSa=L M)8R^K@P~ϤuqG_vU!e1!{m1 fz 2^2rJh]tv.r\YmanXȴ&ic@0} q|QbXo~njηK&QГ3rdyo>aǭsPS'E]9n_h=l3IIN Uc#.;L6했R !W폊+m9Bp-./Ec:b0L8#x51υ|7T˽qOa~G, ӌ!iB䋬<A1Q=o%rtC>d&[HfY^w^WTZ;ە"Za>^L2BPKo'O+ڐE#3,He6&zJʹAWvWqe8\ v;}m=d;-O6>uȖD־nCvhWEa)F =ݟ&{L^|Gt8x,_t*&h(T-EU|MDMz539g|^ ;Q%$%?U *̉2r H\ \<oRkS5^ܦ y"h..¸~.,z S2 TvIqLFa<ڄN$$EqyV7/=sʃ`\b3G}P]*p:#Pr0tES[N|&_ _|!?k&/H5\^~+dkKl̡e&(Wrl>Mߞ61Uh#x%~X֯7ӘSyǻѾ ,\z?۬DDn!M؇3uܳ(ЀnĿCM&bҸYf_|#P]6-p/%-J&W7'\l! EU', :R1gO"PU[L%,-+f>BM=K$?P.q4IFxifhsv#$o Ok~#u$=N͈>9U\1DR/݀%qAp97U*X!qx>6-t`h99ʥ@`iŽše8h]нzx8 âjOv:'h䶭B: ̃:Iז6&61S+exIPVZMw+"Bׇ;?v+zfS]`G'dnݲQe{MGUJthD) ςsŒC(V2]@ıȢGr_}㶆=4j{xBcAf[\t3%9HF^Z9~1E>Đ&opۼ,Nzo0zھ&2-zCx@ӚƃAЉxKŖY8cd08nU,:z8SI%7"g~kXq3}uCa`c;C!R\hHF5x8?GPށq9n'C~1"f-Ty{PZ/5#}wO[įy?cE%aq J '/I{+Ւ^wOߡP P%'aIF]6T?Qo˶ksd;1[Nr݅CuH F Y<$\P#]oaLnCnM GkG]h'i(+`{-ʝ'*ʵ+NeNjSyl2^B i0~Yo3l^^J-]#g>U8T U3x%V;x&\h. ]eхDX_g I:z-.҄%_H )~<q%b$^f,ݱ[ TC#W zGJXOBcX }ְޞ5y)7g{ϕK}awͥ ʻ"V {!0U2tKu"&o&],D6 Ǽ5UІ4b}~{/$yj6yX 2p{M;i¬ -|tg#Ib/zYKjc朦b#=oS@rwaPqLՓ.-`SIxA'e/-.c;uVi۱)0+]/X>qkd\ϙ- ?s<#@3]p|N34hp*BlCnsQX(=ild F/7߿5aCvWnmY*@T4{rpO;(Xdc΁x-O2T8v[z$V4L]52ZbHأ)6V9JXf[^Iy;ʡR!6S+4,GH@W{\=t8|#&.}%dv#KOyq*|ȷ~NZCntLĸ`έ^ U)Wz7ζSk6OIL,U=cMR]Q>A)9I}"XC>Q֣ZX2\KiTΪrb}(kԪU4 d7:$l}Ee%)F~M '(*ROjҽ4Kſuoń[O*62D-*5tr v 0 v!28 yJI:tE\$}è ksJH:Љ)qK(я'~4ɝ*Y;!8 BA{Pֺ v̅ |tC/破DPIn6 Cbn!!<2aB}}}>ۋa'qN3, ->僩 pPMP^H[/ 5APx)/Fǩ!W}\ky-a@SkW>ik(92X7͝mWK mr60VP|~rRwdREE~z;7sr(=z},Y&m@v1wBXW,4;˜dfCڗbp^vuR0l"/6" ;Y;[OuV3TQ]CBVG[Ti#"yB%ǫ'SA埁vG ;8Iܜ{a>yL%Got1d9+ǥƔ>L߀.܅|U4 |I4WvX k `C"mA,}[2[$Sr~9n I׍:UOYS50^X /3"N]H U)J/ݡy5u BhgzK ~^HOc)W )o#F %h^3w_بž0'>lXytPu3'W#ي!IѷUR^UI7I$?"O{ť'-$Lÿ`@1/&ϧ_ mt^uqBк _>h5KF 6=fqSevZ51٘w@&@pB! ZH6#_NbyQQw!N^>k!NV8hL@ d\ ͏kߓ+߁ f"dx&H0(|UIyթJ{ݸr )LsdI`eoEz^顆%^qȠ͏zHҢT55RUy*4zcna:6^]1[iqP[#!zE  EqD̺u`e!<@u<"(?Q=᫩FR\y&ec(KGkϽIc"wCW3H|.n:׻CK;ᖼ6/P<&k=IR{6RP4N$}Y9&.iB'`m^yOﬨ|U4sO"pOˡ2#1ۆ-yKg>U^rvڍT5`\B:^y^'g´xqUn9?2\~bAqUrx*~JM|6ɬ5ڭV>4@zzCSQP@9nGZOˈ)fEn|od._Uǵb&ʽRm}ɰAݘq̠&]6#صE0YAkB Tf9$D]T(-p#.B#S3pU8HF1d=V5W'>& DJ`wGQXۧKSZrhSӉ0^xb8k8 و6!\Q l+,WW5puiyԓ'[:4F^ 8x E;$ iF/Y~M r},Bc#O4r3aw ׂ(*mdrZ"̷AT>75 aI$INaЊ&:UCeG>7@T C%fMmGd[3|6$ حB_".'FM5eƴ.N; =: \\T"v,]h|򈓣Mf#>0T zK%5?qWu33U4UH֜qe: DQ.V.DZ*>셎&+M"6a}y@K.1>p WXςD5HYO vLm˳M&ߘp1(͐+P,U3Najuñ&SZ*e`- c&WzG_'H/J65'e[YbI < IQdBF؀5x <& #"BgYZ31a9ea9a7f8ce1c1d329f2adc728cf714d4609e67a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 0c6af15267b265e8188e286a4be24f4639b3ee7b f1d7b1fec553606fb8ffa66b10520f8de1b86fd5 ae5dcfa5a428bb8d1e479add4631665e88f9a598