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  x/tl$ ] Affine_Arithmetic:threads=2elapsed=493.711cpu=808.288gc=74.428factor=1.647zXZִF! ]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kMj?*EO&٦od~ZYT||}\Uږ 9Thdaɒ՗mUm8Jbf;bV'%rP%9|tENBAGo/.Uޫ±,0u.9&ܢ75sGmc[jYDf P~QVB!A6!m})N?zvvɍ;C]^R ZJb z A b.zx( gxlЃ̫XGzH;oy nKKk(֎ݝ<*?XyP' t9dVz_"$B肞n/* zR`hI-e`Gܾ!L%Qo/n h;sBimqc‘.MO tgz^dp2ueq5e!f1V$lQJ[m9)̭ &QO<16'~Wd:[jݢ2~5E43bEL1l(M@ajHhxӰS q/[|# 3rh5Z5yNp>AwRfU _ .2,h&u>.C'9B1tZ k*zvgѠ >ȍ\f hS3_5&k(r y|+(NM)uJFցe' #.Tsx|5bpSMQBx T}s[5ȗp%+ie(wZNjs*Ƭ%xeK(}Ӑo'/i`n=_>GjO MK)7b=7.bj&\ЂJ O>][s1 / Affine_ArithmeticCQ#G^,kj曼;ۤYSS0Al\NжZ ~L 8(G\N!Vѐ]]ȁ*X:b8t?;@tv՗Bl%,+XܸJcՄeX#.]9Ka:xbȮL} A"3.vr/B@8XW/ovظ״oI/5 #3e,"of __'xnʾUi.KxZW<>NjI1>;]c*;:Z.'K^ +C4O|ޢyXSw#B{ghIg2b׏[QȺ+OknJ9!߇WJG\ÿ581:AʢPsU>&a68ӎဇ$i t;Rj_K#!PE"#4C.ʜwrA?T9&Cž a;:,*YH.řf>w \TԶI"<99+U.xh{i5t^%;R_#$x4]k1MV[(.ހe4җ<|t]Pz]gE&kGlO N]2F>fO:xI/Ycvy~ L-73ʧۑt`CI8q43< K܋6j&D .`D͇W 穻6x(r;zjytZCD-@^}ksCtΤ]vbm|."2FIVIlϼNؚ VهTPO_QDO8]#͎I˫SAC5@#CONCIG/Jcwo^gǰs2֯\UKMRjdِ'yb[C皛8Z `IGbULi*4(1tKVtf!H1@)WhePhشR#'\Nj膀*E" Xl3GvQQJ#I 8n&O]f,ui3晵O9ӻV_Yr$JHT礽+ H6 `+^nTtl.# ȥ׵ῃs(Y4gkuu:`40C@+n+LRx-I%)+4q}Key @HXc0T|L0/M.kuKؠYo8k&L2"{ots<}G C ʆ_d#A 5%f'{JNe; &/*P}#Z/Z3h(++7tfb+2X"H0>liN4M@,C d5/Ws 7R)V$e1:3r rŭm0SGܳnA}2bE7Ο=c&-lT8xy&*t)=U CxLFU@)o?:9&V>* X8Ց#ݲgU4+`8MN]E '2b+ӗPo y{9S%˘U2€CqԺwVQOޑ1JW5 _s\ׄҤV!,]%6FO66Mc04hK`8 iϩ"޺-#nyn)_h4x `KF":ݺ&x;1Nck.8 TcA8MF/x͞}₆UqN@2ubXNh@"؇*w=8*Ddv|=8` u-f˶_rOt*ívo焮YOrb r>L:jV+B?5<ڤJIݼ)љnFj1N:Aj*CnXnցc g~)]'/c.}Hd %QfcH\J-^g>C }iɱPlYnʆJ5,)kݘ8F߳z P\ /QbT J* 9hU\P=,Qbt232Q'#WoUYRnZG,2^ D,¼.z`Sh?QQU?9 3H* uj/1 Rgl!m\v ZRG޲L#!EjJkDu]|<~*&x%6rJ} xVbmv_$$M9_p^WWIi/S#M,G.T+jXĕ fQSFZQ<p:>#i-0F#爻_"m5`a̴Ѵ zYҙŸ "Q.ĤdMo59bf^c1]7co̓QIb6 {1O~'jC ͵]fAHLchrqn"]E۞8pMdأ;)3ܗy"!N*jeF>l. jەGJ(J` LI1f?)_"@ASSM %hdT&BMΰ'ƲJZq.Sg),ߝ9 `~N#=ḧ́2эǿ_ÁMCm E3ۅIA!!qEZ/`{ Ds/+v5Tf ^ѥ?U4T|h!&:!~)jĮZb{o}^2oE6"weGylGlTT$u/U![ l.=ϳa|qXrp#"Z%@!GIο-iҙ]t7t]oh_jIX,F,I- -%ZoAj1`4\oi"NRr>* F e"W.Z*_>Gx\qں(„p5&v ,"w<ħS*kb+) 1C>&)5+p)"38QShN( 5A)8(ۻA#KKZR5oBNCǡJpz:dxGVDOb rޥ~ `e@>Ւ7mh/dL!-?OH>_pV l Ukw_S&.ϝ ݣ68>2`Ӄ9c_I}>iYĜzܿ]?erֳN~=Ӻ<[c(vݩ9lpڃOWWWѫ oKc^֖Idjp:/srćU^GK`/f8ѨP"uin5 <xjD3<%j)`O-;Zh<3@7-"R@ZϺʟ9n P>%^8;.Hb.Cji3':uں_> @%mI~甭\sI 7uF|kx2Ѷ?(О0qa ΅Zf_^& )D(!NK Ϛ\)QNsAe  P1%X 薧3duwjUJ's^ "mrPj j?,GN})H*+sXst# Jvl*$U)c<,Fg=M)(M(si܀7(!RTh##V&eH|&kj$m m)_C!{5n&{tIeE1KwtD!/Agm[U&sǡ#^IP/Ze\C&̆"\Rϫ22 K M|aRĕjM"i$/)u0ABʇ6l!a5K@lB0hͰi"6 gteoPr'_v )4@N!2է|^^gYZ7zXZִF! .]ŗXiɟ1˦rnzx <@0+gMLT4ѩ 䥣 @Ð#Cr̶PSɎ\X7xɮ6</Bl+sD5Cv:os\2fZ910^0 5ƃgݰyT- VmMHlMd%&WM2kN8HT?Awik/,qJv4l|=߸`Ydybà`ڬNK!:]~mSx{7J U&rS|_O}flb#Al˜W{ pRP18 \\ao1-rA a9k߸sI.禝(9oZ݆ڋnbcEg<].1t!Qh7b.'>YfPŹ˵#i& |O&NkrC!dxV-=Dg$諫]=wcRMω?U>*qPCR<,bGH`tl1N4 Bu+$BQpDHQbE͜F7Z뚱8CEa̾7>jvU%.)+D*&SKrL5uK-`4C(9 gmFxAؐM w"Tf8/'k1xji"跸7Su72`oZꗣtduioA R!mIgQ/RUuqI<9 a\h{'}Wm[8ұ"wU k^'ouzMC-$@VoƇ3p=t@b8U^ͣtc'U0B3r O2Pm`YyJwsBwp}ڴ5Ţ. <:KNv_c8~r'O>ῲYg*epÌ7`XG/7aτ|!C>sR>dsUzœjHWć. Ok#&9IBXxoG+=M"sNhbX{ڍO7̳v:T׾L<]x`,5vd?"DR=]b}3#!w6NW1b|^ JqӣѼ - xgYZ7zXZִF! e ]ŗXi%w=mPuJ/CûPA\:ʏgT-J,ShݵpC0Mqĵc[9#qx8tƨQⷼ F$M zxx\eWF[in]Յ~%2cXl0?1m_**!X<}_NmbVQ b@E!( X1G"_yq!/`O9|:˞Ųc%0 .Q(=c Q,-g=;# ɰˎf W8Ab.z䷟w'4u=-̀ GGܐ9K(ڙ͸#Xg'6=@=Q.HgcɇԶ3am|7͟On퍦 } Ge.΢|:A1ba߲OIQL쨮 i]XQcLTV1-?Y9=kqj TE>u` Z[YV}up]l|Qf]{]:cr <|#,/SMc 7p#9̡Q$ŊO"kp4:T?"u{i*UFD{D}(bN]@ 'R[j?;ݼ2^iG='-QY< u"stN8b!NԴ^{.IZ%#DxМ7}~j,uG O>o%Wy5Zy=^],Gqy{BQ98XP@ !U5'Homgg(?Nzc(额!ò !Tc XC/ty=){iE [zm2̧@e]ɷ1%RͥXaܩRqD)fR^ B~R#$4HEӍN K ONͻJLR1ʷr.`*C0a[}>ªWo?FrW,, @Cl,wʕcd KM#= ?/ |PW7a65D>j&N !ş0*sT;mD t"jsCO3Y0k %G2Y$ 9[/ E6L7Րw{ߚq0YEM DBJ0Y6ah!mUHpW[ODž`;KNyW6=[i=oAT|!I6Ntr0Ir7g*8ID7klsjk0~,α XKijqKM'Rt%T 7ԤVhvFjb iV#ҠsKjr2>Nu0`_ۛi٦kW q'}H~6W-ӕ:-:b9rrJ8"Α9-/6R^}n;>yJ-diqf^"%J8~UiA!GZȿ"މ6 حƫ6GkKX<e_@z`/m@HNIr 4,,|E6kؕoߓlj.܋>PyiKb'2bW?4Ts_?|{Ӡo$g ׵ԟ(z\XIz424P@pXҖ,nՒS>}{/H= ,}+~@51ˌ$br;u[5s]&J@t]ưmW+u8'E3wD>s1"†eR]+Y>2Ґ̏㆖ fE$&,]ZMt`(f4``O 59EJ\PVa" ̖[h9ʠёE'LT?l<| ux*H.U9Z _삈+wCQ)w~?f|EKJ;N{noıG8x>z]V95i}-gF,l=/k#ӧ(oQV ;$갘q{?0juVICA1uZg )NpWk"ڜ3ς|ϫ1 )f\_>󠐱#UqbiҳMr=6)zӊzX ڐdLAC+"6f<<7˼-*&"χ+CrGh#.Y99:&s"nK1"aN 5cOڄ :^V\ )V IvQ)ِ-ycsG@.S1}}߷dD8m^fIȩ# eF/We?MqE)1ٙ>p[VmO nxxO/Kң$SH¥^螖>?Hw~LêHJFF]S=„؀w1 ?)qVAA:%Ga|T~O}mw6x1! /NUR$兗cC%OI`nB|g?ګjp8u-r͛)s9?F?bC 7 a"CRr}(Z"sIÛߚdS0VGf۵35X?§obK9RJk!wXas8ܡ^Szjʨ?o6y:%mYЕrjјPɁ2X*|2Tȏd#IA}Wv%cX9KWܱwsL-8E,Kdbbq\5 UmEuk/ *Ǜ@+ݙu5z%@LWNjP<r4f\Yn|E|Dqcl>ˀKT٧GM5eӑHV%r"R\BŮ)Ai(iB-C^Tւa<c9`7i ,xm*lf!dQ. YrU껆-'}g8ɥ$${fZT19QNBRcSKGVIDbnz#LP([}ӥTF#GW j;.ngB1 XN BU4|g;[so`UHJ+̩:6@T QCCBW, mp˭IzROُk'f dZr "%.PmMmZ$@cm ( obq>#< _K`6n+/ϤuX@=U`2G$ L Ti 4/80~1'sh~C?: .P~>g͊ZyV^Ѹ{E;-qx@rbiq"LJ2``@hHʧt2uf@=GCw0.j Ϩy1%>pm#q.E>VBv>#{Rȴ {5kџ֑1tX q HHbI DUՒrSDDtX.0ZV6֑yn(EU=mWwDPq0HohqtFm(2CnhՋb}g W,!=yݸ(;ENr45O%v|ɋ,G˧k*0 ZfO;hbA5e~]iGg-m( ,KiB"OX*'l ?>HpUwPԜ]_ @hD%i#?z32fX~ͩDz U!Fzi[!F|=*c`Uqo"5%* uѼ|W#3PN,7 ]g WS-D 3M0yXPqcm<@se/ײ|Q-Mj$FzTlqC8jQ`gK9(2x>y2iF=*`WsN+;gp`yyqa6Eh-kVdd@vORx&4(HL6JVӾ>K[-M'sƞsSIyh n5uvfI%!l Kƀ& j]l_nV\A#% 4Ȧ5f3|)8gqb}Pk;>MAy43 S9Q rfr9H6%&C G08s؞^8GeM:񒜅7K#W:.YGrk`߹17N)w{& /jGlݰ273w?ߧҀl%>e/}2%nFG3+;M+y"*_v`DM}E O n*o&A'YV6WI23qf(^D?p@Rx7A&h@ >2%70WYЕ ʬA=>c$t&R8-f'SG~u&Pb8 [[5ffg6KP5S&ނxr$x8pv[*=rae(\^[Pت8__W< ("\Z+l)wT ? sآnVڷ5@x$E@t8?QBTɮ-f2R'OnV#*C7=F=L*W~Ǣ0}C r?F񽗬-0̍ܖc/ LPr7RGdqPFZoU'F6zDft LH)6^WRA:Sh3TUhA,'y&E0@%z}v;-h=Af<{opSQE_\-C}P9 զ>'=eKHY*W@ȅ ;2q7tKXbF qǮ_֟Ɲz#40(R!CbB[!$o_"?Fd83 )Gi}5jNA>|u2-r%56.^0y,C|eAb=ci-v!>ŲΓȤuwO:4tɝet/Yj ~8ԊAјѷ4Mљ=zDe3 XPdiMfE¦țtq&/vf*!f۬,08nJ&BnA)a\ۭ y+^) ,y}*>29IU !aiƺ#*CڽI Pj$; u3쿍Qr>+& ܡ0۰Hm!AI2 }PLcO}pHeWq/ߚLԋ MPjNiK_Ypx*R^k霋f,\ 6%AU1r%@qsHy]ʺ.M0aW=7Fտ2H i\#|2Woqz]haH=l".i%k`QiexT>eo3$_^֮͐[0 &I!{B$_zF-/'Rn/55(=g(I1=Cט΀UE:sBq?sA4(7 N#x>2yTh5rgF' u*toFMU vLQP1NHo w +'8֥LEB~V{,L3֕#'X2 )ojy幺-ИG)/Կ;LY - BIY${=7M'V@⻭6BހبhZ}Ig [NG X/%X ҈SJ8 hGwgԆ7Rn*,H 4bE-(_#M| q5yZBQ3B!9a_@ lu@%Pչ֟:EX:, Bd6f+-v؋B:MƆL 4^ Pp\~WgR(R|`{ajOԷW[>rt _|.v]ʵܦ[U>^;CMaICMp^3Ɋ"gl ,Ń%?Fw*9'RX ĭQz1BŠ{ɺ:vF 򙝨8&·XrcГ3iPkE,vvI֝k+NSI&wT>`5Ҙ@d@&(VM ȼe,;h~ىNF-p@KICV櫝 /RAqAyװrIgxPQt7BaU5RlOz;nQ3d{aH*>6VU\u.g3TymN,0υ"W LXR8/)$~8oM&n3<\dӁm+gu%a cmn!_m<|s5x rSOTmM'f"n(O'S(UP4|bE˓r'io `hk<ڔiN>Q }1^M05*8Kƥ2jU!xȅ t2; Tty|8W7ʨd- K0grUިMQry0?@LIL? T<ѿ3;VDm &]M*J]l|fH/S4s$lǡ$d+kn%3{xjPc!yeiIB}I(ZOCm² XF̵w]6Uo.:.#/_F +v>., xI3dr/RNdyvLk~擶ie/q&ziw"Y 0g6h̀-ӔMF؏oRe.rmtm2)i:eqk5T:z4&/ 71q YYs  {VCMm}ERɓ_K]DCY X6[MzY݋ob,oLMj}Ssts 'ח2 X+4c`a !f|@1\'bi:ȘVRY* eX`(Wj_<D1c*kilE-F`>PلcTYN\ND2k4]T~ʤD"~yGݽt{&PlZ 1u;*כ5M]Du;n9,K\ nȃ @X7Ξ,5Z| y58?,,Wmf)I%lQg_ wbw%Iy|uC^n%O9O1f>]cb;}_`7IB3s/﨧ygwZn^TbV*5vv\]nr+ԸMrzUΛi08q m r{g1CQ!.hHbXfʹ;wUN@fҁӈVe~%G? 䭡򸜖J?zܗkhԀm `3|S'{;xB`[V=G'vG:!hSq1|D"J4(~kw$@k厺>yҶ7a6*f ֠B ;'}%j Vqfޔ眦-^͵\%f~lAsbݿ< ,7_,.٨۔Ҿm_2NwkɌFpN+17^ 'R*'C&jg[art#,zil&ݦ-1U;f})!B]ƌL[S_;q%' 4 rޯ)*w] >L\iE]flD)ҊZvc'xDNܽTˋUB I\)hG @gF4  ?,5 T(X-gr;&&zTJ5i_Fbtͷ4b&(SK ,$d]aլ" k}~C p 5"x_ˏttWJ pQ=/SvQ%L2E DZ1ojxEz-B]?W8y+E1旘,2Y=5a?@ G_K˵Bc!ۍdvLtg(P03lǭG؛akd4=I]yp(GDOĝ'*#3 ke|x 4iumx,CsxGaM/]#E4*@3ҞX>wKH?I~۰Tk\i"Lbjt $asj*@p5"{/jZ`Z\J]˾Y7&Nye@1MȇHx޲WJ×g"&lmuvc z⏆%(+ZEDX1-Ly )աRAfIA`RXF߉ZΝarJBrx"h_-*ћE*sFܑx G^OPQ\GyR|Z3l$=z_RbHM+l4kDwU==6]_H^!\T gl4ֱyTF 42*J}&ݥHkU6MQ&Ci;@>> t~ 3Ôjj+B>a/nQn3<CK-Ꜻ# c}fYzΡMg#V-鞛qh߫ /ߣnA ў^D7YV7(݁(jI愲jT߀Ρt͝ÌD.ŢgccxΣ9Y[_b!$+Eü*|t;[A߳Wl,A旁Z)Yɭ$&/]aɏ9JL>[\uz)3c.L>'vǻ&}B@!,[: j4|et:  :[52D/&F֡y{Xm~Rd;p:̖VیoF.YCY./%*|Gyu&rx`l'8gi!nRz ܜ+)/ǂd̑#ϧ)` 3% .,GQg̑muւ `21q.*S F 7XU&4txxSRq R Mm[Q{$6\|.^Z 듙?зMVvݪew52 b8n%If|\`4/(J*}6ݥ?vepZXՙp%XUیo}Eq!œH.Hb`^ձ49o:ccJ(Q#ݓc*2H5 Q8x} l|'7Gےhd 4 \xG'xе\i4MbFc$q,m )Dj:YpR28 =w+@fcOwev7/` SC"3r4F'cɾUoY[ɯ\n[Zϴ׿2j jf.41 \/1VPm7Go|@q8ۚ?c5d<)-%1ywZ)@ XWIyO\bx4jyfj``GjXaLYNv=s[v8j=Nt3DiވːVfv|q&E˙>lj ,`$TPE:L5~s7D_:~`3_:HWS^c-{ oX_-egB iܤ,~a$ZJa1 6ZFJl!"o/1QzJ r$T{euaJZ#HEۗ`!d֚noT`;U5wS7v[T.}ꏛ߾CGOUh3EHՈsrdc-zSAuvpϏdwEviR;ɕC9A:dϴ.S]>3@.-ӣw4h`&4~3)žaGS_Qڶ%PM?~ 3("A:*8&N"LV5v"&K `iE6LpRrɦxr_r FEYTod[X"-~kn!uPa4K\G+yxk EH]S􄭒W7;Uтy .r˜D8>N'}=zT̔ɮX+?FB:GsDüj?ˡR7*x\њ!,RE܀r5*7ɡH̞mvԈzfg4sK,{6P8#-"NaE<=a ]5{h$v\EHa<̘{<:C!ƪml5}(^\m!P7lwz\ʚA+477$ב[4 .a߂h~&x_RR[8)T+DNM-Boo D0 vJa:/?n/D?K(l*E#~}mjTic'a$lX Ѻ:oyqĘ86SGb nR/YAЧIƟwu4\2,K4a_PaBKÙ)h&];;Ij`YsqLJ\Eim>xQx H/A: O7Jup &qψ=yo)!x>`iLJǚ ;|+g`'{ŸX Sdzi.vJmttFn螛,.1Zj-bi?5H*04ۣdLgHXq^Agz`L5dhqSL] %czYҘx]bt8|Cq*_DS*+QBX) -wHB93$РFW@(SHUPI Oؠ i]$ NGn>}G"Ee4{0n0dVt "ӢNL9^T*ȋ+*aD\Aࢨ2*fX"{̀N"q9C7cvb ًxYF.2JEnr"dJO@+9ÍJ#, mhH:`!u㨶` $:ءao6QDsKz\qW̧7[T90~5'|ogߘU&O5C}|UCX ;q3J!&B'LYc3B1NXg3Ufg-^>X oWQy;FM7)ŝM_I\v7-iZ`ϐ@;t[O~xЎQQ85Ar d&6(?c6wP/ A ><u`| Qb5ʵ׶[zlX\ak W %*ʆC,$*AH =t1WIkR?J4;tMTPΙA*U;KM_CB:Szǜ*yF/igƜqCV!WϮEax]'tM __ k@4}9{(-Xg'z$oR} Ī3jU2 OKUJZ@ &-|b~+ypNiw, `Nk(p}HDη0jaI8su` ,>׼mԅRҌ[R`OKz0/側$\LgL6ψx/5W{rtOpyB x-O_W1tXwU^L.Vt5oOk'!p+S9v3?T ,yXgα5uWr /]܄mcD?m@e dnC1ݱQ 5j>PKŝdC&囩ڧ@ߥQr\,;jyV?#-5BHD; #TTy!L.P*tɂ*.X8 r yqF_kNr%C!'(e;QH#VuRTpma{s*ouhd`xy-w|1֖JB_`.,+9[땯e8SʹY wa'zyOPB3-QEGrQĥ-"rغу$nuL>4$l8Jb1[ wO9 ȊX԰k/ȢpM/-ו`}:o%;=&.dyԹxxQ׼#AQNpE`1{.{E3qp"T%qDkL! 5s(U- 03\ՈJ|䫸'G1i p _L_G11JCK2U'#KŹ`T%c=ڡ,%]螧HV"WpbՕȹJ5sm&HT~H{@ä;X {Xej:e]}oSYX ]ffALJ&#|CJv4 =8EϟK/!`9HT@WaZALVԟ +*(VTwpE__kz=YR ,b;WEx`nw?!T\ 5J.YSi‫MPs_d|;j&(o6ӜH`m+-uYmgx9v;VLT G%HD e!n袰'N/ΫjwVݴhm99XLh05i/6 ;|;m%{<, KS$⨗_W *B0p+)076<_W/X+$&%(rT6C1rN> #Zp\dERk̗IM*XuҞ! {6dy3RG 4NJPs YHwvT|uMK=QMwUª%6kv HSTM1i<"b.#zKԋ7F `jSR>P5Ʒt}--=p6>Q3zġ[#X֦;<cAzT8>NX0Xup@y V/ QSOptpz{n²袢Fϲ7Yѿ9, bo2:c%Fɪ]֨V2A?'n=J j*Cd',Wzjk(+ VmfJI{"2I⇰pqIXN[ʵ 3% [gďRŬ&*oOn<ǖͣXHlF, ^;Ad*`΋գ[ٗ"/N ؆A!Y;H\hS0~jDXxU`&]Srf7 ADYO,sC%xCKwӇbuۤ9s%R2hv";yZz>Iqǿ|t>,3VZ&=t#u+oQmFY!h ý&n,lP y0A񡙞_;[uHb5] O )y3Ddɯ**>am,,BqN<`_q-C+~H.ԳU_P952jxIR_eE]d% H{DIe+ՖsYޕvtDٖN@=j uyWZyN$ }|TP9%Dޅ8{GP|\x;[mQO^k?eRXZϳAL}ֿ[žt|Y!dnnL]?^DO<1``i`h($w}_0r}R)ǫ[]Y74eD K"jdX3w%r_I?Y~(( `7>7<0u3.y% y :̀Zlgg}Z-^2BD PɕUe>1l[$~;V!DO齼uuu뿏SE96[` PaO<{$X=ٓr^+B-\C/]=ʿ 뛙Ke8t }g[+sՀgKo0[a6`''. O-`Y*\(C%_ԗ2sv`:VnPؤQG21i;ouR2w <5~Yh4J<)[b;R . !?>.AYJ@2 VaңnIf1tpgs:'<]ZC*>B!zAݽH'ǗR 1U4΀ D/yBs(w: 7$GLe{ĺ>@ ~C{rn/?L.ss7+% ~n9ip%n(* %P_ yt!^2zރ9TÃ!MemV4 -Tj&܀"\::8H⃔w/EkS:K O'BҔQ rS-PgJ-TܕRL^hLb\5JQtyCfs_514M(SHHZ!S Ï^L䉪PuV4+ec_9U8 [#Ta,IW[::I Ep`s=?]}RN q<w:x[1e-@.5-qmT1PpX5s/vܩ5yR;qQs7dLK0 rɽAG6Hm#R ;l|?{?lNq/[gԓq,mw>x/P.<$,KG)Nj%~ F?p&}%ހl-9RS3z= SkH w>W\>6jmQ4F*5g ;hL3 s'8 ,5] fo 8R-!ҥϼ/=m#:H &tZNUL<Z8F\ g5'oϘ5':i -ڄW5J5@O4M7>Cm5ckywn)z$ȳMhuh31߼^r(\M̎ M2%,}Tax0`rM8}tG3j)1+#٨Ch~%w4bJmk0:YVFKjB?._r3>9lXuϪ"A:P=rFo/czޞ@U2>=[W%^yfBBl" wi@Ӣ i.{+MWg 8&YEo)](]z6ق<jV:Rظk? _4Qz|U%z|!9w"Ax!!_i~WĂ1YT+FYa%q3ƓZ4X |LY(a 96L+S )nK࡞Ü O6ZLhb>B+sE[Y&UT!Qrh9p"q/B]fU;}5r2Tߖ]_Qͺx&uxd}kn~xhEi9! tU%7s.|NEGs8ruӏ#D@VNM`HNxJd Z3 a;|fDK'VY$?r[pYDK5MO- ]*l i1o >6,[\ݙC8UDzPKh'x7qv8xܬqO×\E=`9plL#tE*>8hj3$z"ojr?6*zcŋ8Rqs6i%ԓ9&|t]~ERt~^F1T2&=D 6+%3ķV+BWPnx)[ρgS+8}܆<ߢ5Mno  H0hyYDLOL;WIiA.ј ?~ٲ>?3vqXf:jՐBeJ]\BQu AI x;9=&w2U>bN M NDhrJ-.+.IycQyH lɟ,dV|AVy5v/4p> ᾚj"䱤x >t Φ^g2",-ɂ] nڍsK˗(je+G,*\m&D@& Ĺ7_oؙz(^@hHXn џ-ƒku.xCE`$]3㉐f1&ԔvX=Ȝ2 [u6ꧻge(m\x|WH cDh,&8ܠ)=zw^! {4V)j/$^WcԷ&0'xktDz$a z.].q+7UϞQQvHA6/+ŜʚXΨ3/؅@Ot{U\u'gh~woo)ѢNDE2 @ ^)pyq ؇Z%wW(w_)^G[x6ǐT]͐h5*eV H֌Z\QSK"pvǛ; O'Գ48Lu[y7E2tEB7ׁ"ٖbosC)QM5@`knM_ 1 Z M"c; ŀ*9^G7k_urktdӒ̚"'5B2 %fGrV~E5@<'v'++>y{ձ?E)KA\b=Y3.p\M'S){h6ĠIydY;]fUck q#Us~%RѺϤ@I£߆*Tv!US.$1u~P/?sۘhSAeb%eZeΓb@jϡշCnFѮk6:*;"ddd9p|* ީkZͰx-".H]N^jZPtൠiN/]%3?HDok_Y#ݕIWОHW(vx$c[<O3lL-rZF6>j9=a6ӻr g:܆\/:6qy6i'JT${gú!`n"bgYZ879869a8bfdcff748fd92cc47c698dbfc5e1614d00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6