SQLite format 3@ .;  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 xxP%dT ]/]HOL-Analysis:threads=6elapsed=312.744cpu=1634.520gc=89.592factor=5.237zXZִF! Qk]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE!pSPN E֍G;T]k()Pz\+,@s F`;Jҩ}f򚓌9k11+`}#aœ`tSE5z99|%e S + =63qм-XQ":f`mE38#ݦ#?&5Z3U) 2NQĵ m^w5GFĝ v-Pf.YDJ]NaLǢ޺0^1Ċ(eUUS0 40F֣v~ 4+֦$ڭJk ?&?'tgRsh^Cu `x 2^ W@LCw3=pxP%KD|f{8O'3IN?0|NwFsO.+>ug1u+=H -:}.ߟ')Ѯ45ځ7@y1D'?EƁHDJ:9U=3y eLqv GsɑX|,Xbtv#Xd4d,h4U&&+{Ep|>MH_O's,{USk{ffs2Կ/H6Xz Nn/l[gaUy,Kɥmǐ9hNш16_$qnBdJca8G1u-L<"d@T.E4EwN*^XE;"^"l1mf(|@4>tm  pg$bv 1naXgmu5o8L;z Ӹ+y ˋ~w<iqNtu<LW2p:(, D2(si|M;]n$`~VbXϽ <3,51xT,zV3]~T0zNcH+;42yzO>nD4TA,nƝ 7Dt~.SrNWڋCXA[);$Y(4gQkȕo]=nYy y%iA4(:Ǯ\Z7-a-3ս̡` !8Ġϵα EDX{*z,Afii,s f FNRo|jѳ:v |~XMچIfx5ON(ߴ|}>jU~D&\_TE!=J_Ux&<3}*J %a !KUeMIbhHoTG$ HW~F_ FG@*S>Zt|K X71 @ Sgbꍎy-tuUeNPH`Z)FǷhcDh‰Z<u~k K)X&7ܸ?O@>dT=KGgXĞYs-Nـ [3 _nͼ/_^.PRkx-4.phn|˩\CYwWHEH?4V 1׉Qa[Q7s]|W'+hO{ yefu:8l<5D_!w)Ym?dʍ'ַU~UM)=F_JANM % HOL-Analysis  UEF FQNDsxہIͬg@Ia/?8FX6$T=yoVA]T *=yG%̘-ɩF؏+rL~J娢c~ é'VS=TI8J2s1E[1Hx ;;G1a[AxVw=@H+ -TpMzpZ7T(e_ۿqܽ?p2?w&,kTV^q8%!_vvvw=e xm}aP#qE8"igղZvlv5T4Ow<$BKBQ=!Of|9gɪUQ+,Ӵ^1g1\Z'E Q'Rz#p C_E3Iy8S_kǡUb"Ѧsc#TΓsPfU1,Jt$?b4ૌt0fOq8x90Qğܱ\_,kqk ѰVC%^PkH S4as=| H$oܯ1k"9ojׯ~ԓdlruh0͔W_VcI4ȹCRlgf%+bnoԢC7h8(.C6h\F}|yC*9ƔqWׂܸ ;'LC`*0Ķpe{uth0TvjPz\ySP3|@\-C<-N0{iLE:G.}.'J7LJuYFivZ FtsvO}+$1!K:^:хAvI;7KK,٢4?aX]s_־@2Qdw$>9a%0ip cx?Xs&zXV6xqG5G;r'^"G:0F/%cb 23+K x{H6oJ.x,IG2%3NWTŠwŵόԃVX\X= T8#&©en\Hw$M })sa xRϓ#Ѧgq2y~{҅ݳdqve7/ (yc $dEz ;̕LC\rNnY/(M߽Dyr܃7jdIR5 MA/Bɇh! htikr1]&8?C N!ފ=!w3:3# } C#MA%3$S4];}Mkq^LLT)Xhׯ@W<7ѐ8ȫ|n8v/oҘxW3&YӋ#rv~(i4.'rrvydJ,yx7a"ULr&[\}):GΟ_ǰ6`,tʎv1 Rf5V7p$N%#h J|sʽZFlQ *;`t8cM(ߏTRc6))S<}*v*#f7Uu:*vDدΕ#y&'.\z/bS;fޏ4r_o>%,kK|ؙ)#] $}Gez?fGC;B15uG.`OF9L-KkFB|_Nglu3:Wlp52xT:Z #v(e{ܢ#Gv,/={'x0` ؊K(17M/ n*;55 ڦ4:ՐTJ6z+>X7#C2 Q`ۅls҅R^c31*򨵑1 6o)W?]`{M3-Cd\~L :#a èwEion8):y&Y(3`$[  sD+OE y_BY npp&%`g~9_,S]3meré1Z=*jnCddL<h{p֦_^?\r^ӆO5ɍQn$5D%QF 3$/?˫Нs^Y,o+AL_]7$͌V0Ϡ7ciEqW[S(&,lR9Z rM|Xr<*p6)Eڟ2M zA z2.Va+-۟մg{ rV 0 MA)0ʾ]֦VBb͟pz`f-K vѣuq;jTɪ\3ah.bo ҪB".`2/A\g9$ZNtD>0Q^A—mWʯοd%IȖkKʗ'5$ Kʥ"Ɖ #;$*QŲ0}HhB(;LY.?E\f e+$1.=P@ ZSԎ]: aɭG ? %Wy sƼ͑_L!aq)|FH)dI  >Ǡk(Au[J QqbV~-qU8T3AzS!fR'^b&$P,F0T iMK􈎝ueKcDSUњ~IX=Ţ&q9_E ΈyήsST7yˬ[/6ԓ~z`,zbZv:tV D J`(15=q&d+49CyUh`R0TC۔5KUϭV=x'an'z )7l'( `L)QڨK% 7dS ٱ$ p){ "-UܨSPz1+Jtl }RCw. 6;GI6|#Gw%O&J cˑ\%!ıː3ɲ'<&j0K^Rn@옓Ӗ\4xV=NA rJS(jƹ~%DD*е̠ gaB{#tJn3Z YxvM$g ̜U: <퐘b)'x49t T?ﵿRO?yuY~tE5YXv]$:xQ R6hG,Sh T`22jIUUe*0߷N/cĞ7(%$XH>k2Z )qbO!`AEm ;D q2Ȉ?rwf<.A䟈-SWM-h)зCc\6L"g \M?n]0_1F: h^&3<ŞᆳheR9}(!o ~}1_sۆM+s+ Dh˜%c)/}}ʕ޺ʹ{ai\EhR[R؆~G;5:$淊QVs!Y;Il~oXr~ 9 QC]#wP$wC/|e:sh3kh’R?M%~nÜjB|,y@4hؒh:ۦ/SOYfUT_pj/1EX8Pw[^Ɇ1MÁn`ZWwPvH_NPWo8|űт6x ¦QEa="y3 !g:nD.'BXeVs(ͥp⻈OLais叫mrj>4Ԉ*%[Y;yD`Qà,j\=%bR [לv>$ ( Z:mэhueBX-Z?zF=EqCwtD)X<٥ފC ۄV7{ԓ(mَ֨I!K+=cn̑S'f%[h,ێe("x hjJ]c>Pq&Xxd֎$+?Wv ,6fA56aX%M)sr.s quq$+z/F:{tAPJ[GJ6<÷Jp :PG}b_StJRxq("܌B{k&ݜX$ucz}"K]v]~rĴG?=Tn$4y A`h{-K*?9R/ c' @.Q&W@Ǒ$P?}PG\A6ZoMbgD,8`r]Aq7Q\/Ρ,#Nwvd U}\)0-8[JL)pF3߯TPMz<5ݜ5z$+ngJ|9 >OUO7T1?TW%`ë7>3Z8[! ||HDb1(sVCW1yi Uҟ|9i(!' 0V1e5uZwiXaY]lz{s7dxDѮI !/7`xJkuZri #[ ሄ*>B`|_Z csD?8xDqst h{5PJ>vDWIwGֹ2E=.H}`S}$t|/ {E1,xl+~n1勤,:|xQ[(Vi-l<5;Zԣ{p2ю˓pd62{hDՙUײ}F_ i[^YH][^dn]_gU7#̆iLѼ䪏*V*_Fu[T,{LFR=Vx :PhF"YߏaizatkgACƬAX9/m bjOMrDewD¢8ȁZ 9 Ƣʘ$dje‘R,t+"`Y_#]}`sb}jqB;\1$ w5P $dR4-Od25lː:1X%+&83/5> @UzR(I QkSEw_z?n=q<;N9V0ט4v0o"F*N/FI$|F,4:# ;eI{`pꪕWm[*b6&e \3oE͵Ҟ7pZ$zK'ET|0XN{)UjT k~r(y՞3Sz|:6=7X,U\4;r%B JyLwzawh m/`s Z55%jBP*/MSm88Nؘ," afB&|\BRQL۪g FM+1Tp'b~%2Un8 VᤇM'U?uSlMbC!o|<*.Gh"eXRw/9G;?MwqwP+QaW9sZuyIj mRY"B~]_0qُp6|Ru99ޣ떫h*:!X&SἭ-ap+ą:} "Pfz,\7)8S8$&|ޣTHV{v3,.Ȥ)OiE(o!g'_dt=JvǑOG^IVG[e:ɴIBv(}<ߖ71tկ!(tK>B?TЇ ܟa5- 1:7@j|Oc_}*DjiISUZs6I"7ﮈ loDqss%#fC?MbS=^H(ܐl|tD5RO+>{ʖhV{S>% [!i{WReC,Q31t q4l "o➴slޟE{OG6\&fy[DD Ssn؝BнV$sit(.6 ]77' 2IhtSKɤAgGES1dx\pN>QtN(SH'0glN-8[ai GRYzq.iSnqP4ڲ]E/b(;Vk/5t0}('!-=.TcT ;g'DŽsc0ۋz] qܳ? ҙȑǽP_W@_Â%dYLJHv% %ۄVDa|c2uN@b5ZI?;:G~B Ju'AIrV8sSÀ#U;DbX1LeO*LILvf'G"qnyF.&0~-(-e"䗑,$j+TH@ε] bTH睈R[O>Fg#TΨ19nY`1NSP؜x×9u5>*eGy{B6ூ"ˬpȿr@Eq⥸c4#(5H7cmk33GX2Q+|ImFiU:Oq;(Pk7>J-sߨb@T S8Fx$Gu6*{ʌߥՊyw4;i?0[rxfTja͆4mPRʣ'p̅X&vi1*zr-4 יoqaU8W(m]\&1s-⢊-f_x a%#_ hiꃤ3Mzb%=٨wt6a`G& aJՄa1ۻ7P /cnUs./j#q" )ٿ.w1ݜ3F5Lj "KS*yOp 6beh\\R%JNUXzDM6rNuGpO3v'؏+lIT;89aC1ׂ#i|bGʙ֚#pjCXh>Nl")}__q6|}Grs˰~ 䂐94spwtE|TB"d}@X٠|L5^4UŖfraS?qR>3i ~So}%[8KYqךGd9?~miM8eb{oIf*ٛ^|UB[`z} x4WYQ]b0 *m_7PNuʻ xoyXyi曰a1`wb>`3Gnʗy^0Y;}]O[\:! wææ/,*A9"ÀLHs^}\D,,'|9Q ~9VUkclȍc HLgÈeUUvSYlGi>7D{MuT+4+7m(w.F]_l?RpUh` /=3;3.gVցdNV-K>!C3yFܟwU<&QgŻV寸p)s!M03PVMh%!|";xZLI{-);{>O0hҌbym\n/JpZŠ=vK[s>W 1s<%Rxpwǒ|?I 6#ym+\*"H8}0`W.`PI(m]%mV2*E=#$a!зO_b/r!=beyCԠO/['dC>$Rs6v3 %zIki,tp'7=P9Sܓ1 3-\k -RL[O>9G;}j^gB5%l?{!rڸT>f];\zu}&C A!,Md"HP_5t`ɟj)0:aQ(%Q8Yq%I #F:-!x4t͘*\ z̻fd6JoaVp"ҰU$"ØY;"xnV<0C6x5*ö˪m|1K@ʡ rrCghiFb~KnmUv`x-D;lQZ(bl|[piz'r В7l1UWdX{8K0 M_u{vZ(~VJR vY$jpg/y{8b֗-C$)kY Hջ:QK$JȜ=sdwJ'Y푕dyPcwQZE7*lT씈P=L p\u M:_T6;$<+$Π_fy㬧_[!-JQ@"SӄG.BIW z"(=fsF\짓K- &L*m4hB;֍"s#bj{^M 47A{tr ^O# DeVV~>H`vEu?d"S8HUmVk9>45ue4;wl^1/5:X'0Szu *cc\̭'7Nqڱ>=ɺWa̦t0:5v7ƑIs ۬.ډL4bS6(iwl6;srٸ'ށTX 9S@:|t]Dc7hhxt k- c!cYGVD)*#w雀mǧqn.=z2SC?5dg-󘁦ԅ( %De}{/,wwn@f:ŋ,Owoݡ(^yDɿ^.TX%rm.VvD&13C,},e+J?='>#)-wm9oRmJaf2٘E;sۊ -.zN#(#`e7-*S Q*8v-琔⮙RQ>:QSX/~BrG4}s s ]9(p)z& @N{YVhQeN;oݩVbF1* [Q=芇o BrYM7gUCvJbz@pUe ۳ڿNŅ$N۰-VEB m#ϞƚPVzH(7cdL{fa>I}(=4iY_ QPPBqPc>ݷc+~Oq$I}.$Ot˅]gnV)[:TI2KX `c26b/!Mn{+45N/uսw G~; WJS єɢ dx^3i\=WQYԬMEn1Qw53ĬIgS-(-S( -[bO=P~m:va[GY{Mѿm鷓͍ 7AU-ъ('@ucC65Zۑ1h$ 쎌U/*qX iia z{c)p+lujb^w%{M5.ϙڧSjdV`FN ۙB3sǨ6> ecHn@3ħ}M8.-& 'S*߈ȭ{ %9L+oUb(%֊Z8ڿ3"z/B#WM `4B [H@2(5j 0Qi64l߃7gɇ[}GsB}7}Լ`%XS⺗8;hwDzC$ڔ%M; !B,;M+o ^&C'"{'!N5*Sozp̧kS񬨯&Sߟ%YjsW( >]3&KȊ'MҞXPF1)B|^U;QEfBfs \C6gf C.aBv( ǵ|aGYujR/31~feь(_&f cq7EN ٤OK+'~_B`挴y&~w5S/X+R>S/am3y跄]SwUtẗ#M8Cnk& W$#^Q6E~74P\>$ @SYwD'WC)hKK, 7"tVEinXDV&?&#hT6oyLmt$c/]aSAݭAi[rC5#tc&J ^47( Mr#e% }_ =]xoI%%.堯Uaԁ*uQ9 DS &$(x*41Q]jaK A$OZYLA&N(46cvYA[_AU4tm##1DEL Nl4̹ѱ̻? *)#g}zfF1P:/}{uU\x󉅍G{X󍆳TxF")vpY!fGkҷ3P)\MlOnd^)[ޙ@ƕmgT+h}ÂS  aUHZ %0;h:$ԥhTsn&R]uJ ,Ɍ~Y[C2CZHKv@ӀGbrRW>LjF Oݟ61N8-bhc$FNRk=igŖZ&|9`vA 5>ܑky>Ty5B]%OLW4:%51m^:vTkz7"4#!g$˜h# tnO#}XY,Mh&zZPhѕ"P۽l*^>4)P%}*!־N`w2DB~.A#>߰NB$&+ v\J-ckc'\\jKǒެUM&9޳_?-D'F7(/= =A7WG%vm1 (u,g +u29pQWy\WQEԥPӵ@K^:Bc`T[k۞bX?D(wb7_73A,6CjXArC,7} 0j?N&c}u9f*:3պ!8Je3t 'bM\ *֢IYcI'A-)!V^w:V0"1xLC*0j: eN5cT]+A*Ek'ON (_gH8'a*JܤQW6۷rYJD.; 5KPM/>'u,pLu@?nmB [o"t,%X{ &!z \{:o .ᄈnæ ǒs{Bw,^&4xOdx $@ m4N0O:n,ʒMU#Ƨ%ļC *>o =ioadcvR^eRq> <jN԰V{l]:h7WGTX @u+'P0ۓ1Z;W +v4vW&ZTu|UVZ="$xSqC\וTf>W?,3͆oY>f7P){X&}ٹOӧQabGRiWTsXWr=/lg .iirʽ#)1$%-t:*T(Sqֶ⸙,l9,:Q{dގz=g_pr-Q!ڭL>NW\d^bh0ۿ;E_,Rwr4rX QFJEtOx X>l.LSuK:ŕZcD|ndF5fzboku<+x ߉h{oNkk@ʺ:~SR2bo1͂}@S5I4uVfD,P)0Qz~|!?0K~X%\@9Oim\ +"PɈļuX/*9.Hi?@'+ƞv WA2'p uUXfU%9^@^"m;hJe uA"' m _Bre[0<4 .%ni&:F]CɁz8ͭ!–hVSm\>0-B&RtuQd* l} FtzHxAj/}6zU6cM-c{5䃶@h حך\QsТ5(Π-Jat|cADP<%rbZ XÙfK@/8R-o?x tz͏RAx#,蟿0c-)ր ܬQ^h\MV*xd/mluD.N)鮾ڼr[Q}-jڳ$1qOMGV=ncP^Y R,%&Rf^;5=sQIX1r5[[왨GR ~ܸԠ>^ޱrs\ET: e!=CF}y1E&ۚ!58zy%T#{QGQB|Q؏2K3Vj/ \}#j}ww֧w]sԴ5aRR>OLL8 g7ihPCC+ʣƱ87]"igE`/ˠG#QmId<w74?j8DT_D `r?,'Z'sG+Af\N1#vqi)s,ȢoT=hZ_/&4=[)wv\ފudKO3.6„B^fEl-}\+vQӆ֠/`&',Vo"ez"ՖΥ!cwNK &S[E1=$C:p)ig)o- lx @)(.Buy}IFW2pP q{Ο"ŃKR{c&i[a.E^U@M)3G 6yKS:)IAnѱ:_Н/(>46ǥ;C X+7JRCo$Ȗs7Ck+]-F`}OB0XTU؍PqmZc8Uf! ΘyO g!s)|(QDlcN4Qq ou 9wͥubT~+%' /ǩRغ-}>X-;OPwȒ= Y= Ì i>ͥSb]{@0:Umt$n<%u_9`ب NBJB( Q|pIm֫wQl_*)RLqxAO!|:[o3TPQ}_\|>B0\" w["1 smjtFƸ?R-tH8v E(x}/M0GRgD Xtځ UnMBs'6"%؟6 e4Gt(9 EYNGf _Ťoq^OO@x@* & fpx $ȭ^C.oڂ|`gɗ(rycU2AGGȇ\4=<訝#"kX݊Ƙ5DzG<ՏF@S,iY{G7 ! XJNCŮ0uAm`:cO^u<{vLnAXFa*Η?KLd푪&-x֜Ң' y /?ɒ9߅VsXGLchLN}^ļDWgڱW2d!ZeV> EPTnlD+ 4~t)rhK__zMysbW&,QmR]'{3j5ֺm2gg/s| ?{EE?.<Ȁz(p RX/UZ溰\C9tP;XgYZ7zXZִF! k]ŗXi%Ln;YTEyM`vbihnU`Hgd:J} p3TE??Npo|>G^ĉ˶O۷_ VRW"9qGVnWj?}FrmW`V])6 ub42nH\^\)3vmYV״$g-,C6ZEw Wyi1@m;sJ{x0 *ˮ/hb7Baگy \ڟnbV-';=_ڷs!;)Zu>IϬ'H*_/=(\MI2rs tFg^2 >5}V[a~իǴ|r{G;\7/vO|F9 6BDrj;ҪqR_} tnl%–9)D52Zsd>qJ)qPNH)5%}q =  އfBgM^ pFp}6y"?Lȭs|H]؞LGn\8n^)h&4Bj0&'U "2"$T[z.S)85W+"xlY G8(}hј-D'M=:o4[8M7'0WgF <./K JJ3*~t⻼ؒKKt1&σ?ĤrPFT^+U`il|lEqӥ? bPgl[NąHfa%d*TPH6<qJP~kr#ouRIbJ0i`6 4۵Rlfm' |<)/e~]O5;zc%|:(̒c&/`Ui" `?G ]+Uxh⌶- DGWg7&(hP11OI]ϧ}dg L`_S<3x 2/AeN$C r8P0L]7q#ua>n(w5aMN>Riє :rxèfǶu9k:Kgzٕsur_^d?㑥u(InM exQ@eH Jm9BPɺ3࡬(c|VBI%pu#F.x_K%L\-SAVSf?JQlj C>dt ~dr:QM'@hq27OzP'R)7\!/WU?B9Wۄoo*Xm#TTG A:̺]8 *^RjO00@:{;4REwY Ofװ5S?˦{KLu]42u*LBYvmrICPar6)n |*;Ijg1ϸFky׮:7iɭTRQ7u2O58TuĀJ<.Mw-z4W]Hc9Wc2r:7 给 ot]}KԪppxcmV !\xT(GS(NvcoXh/95RIY0qԟMO#_->ϨJ0)`JW־ ^2oR(N y}ܟzH4]SD80 JJU(vvmқ􂋵B] ~+sB :4BA" Xʎx8|.+ɷC*]YZ?$9i2lL;Jdu1wPl4q`]h.V|eľks2:Ti/_LBrg! D ZSR7Dnܧ5U#YX}Oq1SQfشw)2Zz;S7]os] o {ȵL +M~KH`V?YׂV^ޤ$ J]9$6yםHU~6N̦&3,օ6gsqu@V[iQN%Rm/s8姃6@&xI)-2!bko_\D$01^j;ݣ/D.1ۜq&0=Eً 9Ƌ}Ñ$/%IT_ %8kloχGJzdDU /Pv`"{~n,$ ֨&|&Og\o_Yˡ DaR$hV~QMEy*0tҕE&E0WEk )ӝU\7Ecf9DR3yP_lq$h69&3*or8g:r1vF׉]vJg=Jx+̑d`h\v: /Ҏ"HDC_pK #@X*N1XB W@yGx('Yu5IOsL M||+V;ट*"gɳp嚃''q#VO7A KB( ƆsѬaq"=cmL8,R?/l_~ʄk/ane2{L,i_uNN})dN{L$/C*X1EA+Hfc-Tn-дx{eh>Sԇn 0([䘉E;5ueM'ߓ5T"l0$厅`39Ac@M" ]G芴~d 4B6?e-/R{ΫS f ͣG A$w^(Aְ󲧵XVGyDkᙿ7nZlLZq`_]UGzb*#K祓E];%En5z %#G ?{:^(`مo2CB݄? ]' [<׸F7=Y|x2KWs|rZ'YYӠ|9/~H8ͭHalFE"󷤰d{֩ MLE=٭6%\v@}Uư֚5k.[\q0ASQG?yt8ؙ="nڤ\,Ovq,E;C":8\~U6S3%'-5W _O>Dt˶WBup$.`Ic ;=*#ƎE\i^ToD)cl|aG ף?ơs̗v_dzsGVww)[]6Oa{>\u} s]9 N}Rg@e#t@&vCyyMr؁l̼ NAE)+aQ8j|aW|쭃|Kr)V>!|/֣Ԉ5%||rF(QC؛ yj3l#CwO-K`0*RQH'*6:Zo8\dτNʮȜQ>.HmYu O%(0=T㶄1gھ@8W.i"d-~zf)-F@ڿ{yoEwgk<2P!$uc&a7 7c6I5;~Źm5jqÞ}ɶ43.=e׊zܱc3|g,@L2p{gn GIOA~G^g0"]2ɕq.uz3882W]-ǁs8G]\)gdNW;{04lO: W! Q|W22+΅΋]{k )"=.ϾP7yJtS$ yVsU&a&T˂~+ʛ >%UVG WtH[O9փW:?hi˒u4 Dy]{vz370kU \ǸNcmoEx-%Rp$f=h}d|3 pP+IkgVQIZIM4KQ146h@4U6Rʔ P1dƌTxhiKZ0"I<$qo3"&ϣ$j5*_{[WI}H'3m5VKjfxzaMzϞgzܞ=j@S`HÖSL˵0:/=;Q0T$,_vL`nw'xHRԘx4]'n@3v`-dfGRΛ,D1/.."!BoTA <ѕ=`~-r?>78@W>,i K 锷@M@ݭDjm) Xeb 0fiT rkCؽRgnxڃϯ@KVϜU&}a#7YDC^K1b8-Fϋ!óSkUj<̒Y[+dreH& { K?gޡU<*t@vه4)}[ 5"Z(gf>GZ=3m%{1qwN Z#|C *~+ Z@c.Up~Xy Cxwyz1x?Y2)D )Asftߙtʔ7yMPJ `uA s\mzq!ʽ M /)S` D 9Y=O0xf*Ȳ\ӝ=^FO `( 㦅:ښNaB˽&vq.@tg-f8r|LmfD<6)1>:/8EHK +'0tHV婆As)LwG?4)GZ۞w Iъ8|1y e?/-e wS QvS7 c=2r(ן .;@*,䟌n g# bxx3R,-N'/kNc˂m!dB,rn8ω;)2Q6r.pwgB2B_d) 〈{hb3&" nasK=y$-JJ[幑qèZf, wWe *`\ |+Rg\bnNR00?A;\hVGby&ʹFeXia<::dhctADڢgweQP~1sT LׂZ.l?\LTx[26aR[u;:M\ңRR``Q老x^'MpXsxE},KX%"·h F}'O S9Xv[\Ny(zH`R˾ޙ;d2fw\HgEGΚ sܹq1ПVcP1Ҹ1nsrEF-'0Dp0 pNaڀ$h|9zV1?:U\ul6P6H]JVln}1Jq`~;NGF)N@]C&(F" %b씶3!3-lz'8d?ʘf=q+ZMx6,cN]@ݞ&sYp}y.VC|6ܢ-\ oݍ#xocŵ)U"֨BFC3Q=v/iK#1{Bsu]}J wf|tULʌPӁZuk)`s S5/w\z,-}1'׀f#c*J,`˽.o#}.i\z~ݝy|H#n]Z[p~)~$-*\nzG%B?Ll}-Q{/'״Fs{+c!-G>sb!zJZϳMBEdb+DD7&ͱΦ+FGV(I8o,?$gfu[}: I $?5!iʨ^+ Fj!UU- -+C qvU/FÈA"qV9"Z@7 18ɡ/p fK!pBC Y;F6P h@52x*yDݬ<7LÔE&Gz"=ãԐ& ZI3[M|^͓``IXq*y>WZ1J\_9'yKc@}7_7+r :{$ЅJeC dNksq3Frv TV() X>djO;N ""YHP 6/xY|_V"Ǽ4%1ԯ@YNRI.V_p6T7})Kk\Հѵ-(i.):WH_vmz|C4U⒪<;uYKoR9Ǽ`K)VebnSoTXtoFo?$إ =t vnQy\8,Ee{.$o!9G)EDX]/IM`>w$Zob|*ceia5mp 4SJzp̈́R|A1RFk<>wG@Ys P˥K5hiS4"+7Nɓk<uΐS&k[w,JG_>VB&"sw`5nhP~ą:)xjϮ@=o:CUdNrNUdWHH>mPb" CM)!\  IzSm#p j﯂`A~[-Y߳7` _SP;>˃fN}{Mk,-V}ߦxеHi_"ͩ!4˶p @ u%winQ idjWv;Q$f͌ 2u{ T^?bۄ'βmG@Z/>eԼ>LfsqVQtnY<{,\o~T"tZDw;DFx|Qg! [jQ8Q֧!f4ecgo;U.|akLH{r<ӝ&)%7b"˾z sH^k.QC& NO=dC"F#sTZx420AؖcPCVУ_:K&p E t9pOw.)ȲudŞPH>ߡrӘ$V8ُdml% W]s4᯺1\?NCnfrb>nz+L $>2VI` O&&/F`FM_#qD.Q6abalK- |P:U#JCUD9 t9[w&e!tQ4- !kY2|,5Gnj۬uc +oN ػd϶a44.U`?6N#[Vulgʟ_^3sa!.q%EA)ެ #a%Hȼ&sh;~bѝ`!f~IN\`m3vfSXhkvO2e;+^h6P`f @2̘uUƽ?`tSrf\ѪC)GY:#zm@Ҙ]6,V,Ml.8 z '-2b5/jd','w( %N#z+~wD0XYY8뜤z)CNp^ٻPC3mTvk߂Ɉ,fP^'/P:mXfu_L`TӮ1m`>kaa7TVt Νq;ĂE֚|/WwGq$Hb1zխНni50դ@h)~^@(4Xzԅv5_:hm1z';Hs aԤݷX8ΘT$"=DZJ˅@E%L_Z4 ڍ{9\YOdn@_}F"9̡6A0 ޛ}[ݟVRgt^΃ T^|cY?KNK8̗n=a悤=Tv!+- ՕYs;4N'QV}h=Jn{0K1ZJs8<|ey Zrc̔ 2% {M" 5wc6=_M1V}WB^̵?}CѡUAf +[C+Bm}q{@OntO^n k(%V}ړpEN -hm 蛮 Vpؕς;/oۛςȇDF!Z<1&ۺm]GFTHt%:v<ۡU W톽&~(\R]rv@[;+#`&xUsr˦]R;zZWg7M!e8gOqJLhݠŗJ*sqJ y67FEC^PC8[a*($MVTֲR8[Ǻ5ȚH͟ea5vSw=ܤ[zm]%q ,Kk"S׳صbtM-?q;-m ޒ`Q++X-j`MTxWE8eQ<^$dM4XgYR*m ִNγe%8‚Le3Y^TQtcT仃?XSzߦ6AܗaR 9I=RKnFPXdN烹&Mb ms8588hCPZfkrYZj>{R@~*]ȰkJFz<aJzbs5ht3㹞yE$_ʾh>$1z!Ľ0n#|੧D{I>f uƯ9.%o9ٍGE*suYn(Nk>„tBJH|w[kt†>+GVܢ]Z573g\{~H}}}Qwd{)un$[};b5ҒA|ڱ,RAd<2SpZj[AuzNcq'R7װj} b} #extpxԔzP>shگ,J6{AlfJ:'΁Vi(ESY|Uzxۄ8";V %@\.KwpպwP6/|م_O2Ľ:RbU*baSl=WCK >w/o`.4^gnC3T14y2sUv. GDu9F^P%J'Tκzu0S Aiڎ?Cؠ`G)Wg4gqZdF#0UZԙ*0lŖG&Z$6_P?: 3ҟ 8~y|0 ՠv w@@V̮IrT=A<$+,&gOSVCR ⭶j43IxsCukCaz_ z1Bd U|a&bTi^v(xahU!xz9:}L7>*g5u.*A*@ou8V"љ_J$Ynx '"rJT_2L(;Z3/~ ENSMr7=F7BF?p!lڡ/&,gV*C6vh0s4$zqaeq8`X4l B+p,_:8&9 +"SА}] 悽 W~OaPSgb %߰N/TG.Kr/'=N<3QWa*ĹteFxOu!- Sz-f(jr譝aw"=l7~cgY+}nT1gJq]fWD`癫iB{t@؈vX|fiЎ>CU3FG@rc#?Bl_PFԌW 3̤8Ev1XeK@U^@4mpk[bV b+ ƬP#Q3<&rIOWI6u,S `,` !d1~\B45)UL{soC[̴Rp>qNbp b{FB4'KN_`<4 `/˷]-o = "حvi!ϐav"0Z~ 9P_v /[z(e4:56kJW9`rjzr@8|g}@|ME fåGFߙ5 X(pXe}Q̅ŹV 'YInQ$$l46T_ oOli'Jy=ؒ?cm5Ϻ B7"~'OkUI:D  \m#E6ymס*1uϥ~=-N̍[Bf5~ Cc)@~x$$1Q b].:1 v R 䖌p4{ b= -9aw)wT+Abks -zk.UFa+1 j9d-Y1Xٺ4nF퐚yX lԼwM{bٟ6x"WdykERZi+n$ttzmlzTB> fx:'01m)ه0AI/#Ea)˅=u #c nv D-g 4Zf%H=yi5vEL a>!g}3: |ԫX[\{]ט7N`ԊLP]зqi'L6-s}>aLÆ2AwucW&yZ{d-3T'bEm MD߰ cZ$ܡ:`ǝA}|Krjbsk_kf-?z;XxC'dJ /xB;86IYLZScR`x['RsTb[fI ۥiABjN(˸s΀[ grQsO{1ј!ku6' ٧.pEΤ ?J6dC bݐoOYu.q` .iAl|cP^[YRw|zD5J0qA8^4 mx,Rg}SjUy} ^dpL-(?L>ݣ ^OϗY$68b$ P?*:ϯ@ 7ȭ؍Q+$4 Lêmw pHA (vJBZ'qh!\Ji,'ԕ)+V .^*0`ہo OtuC&I@*z;ƅW !*wWV:"gA.%fN/'0%Yj,=@IOEֳ®CZ-!đq% SFczn w-z괍3:hו[6AȞ1R4h4STvއנնL?a՝$_o~FzBΣ`kviH7,7Ps1v8O,n4^⡺لMA&Ou7Sj&XeTR C[1Pp01?EJ _30S 7:fntr(~/yo|0e֤i+StC~'wo9$i N:;{v칱"GcfB9>|2qxQad}e__#X#>k~2$hLݓONLsr >?_VH{=Zb[=}`HE]=iZ$TfĜ =`uN iwQTY&$ZX>}0TK~^Z{)WM3Ę$gR 4[M>`j9Sʝ/Ɏ`b.y0$kGYg|'*MzQko:g((ȘB՛6/"c'{-3]bWɝ*F 19k hGDE[Y봱AMk: UeRqO)cW RDhӋMq= $z_B" 6dq.CEcܵ?Ǝ@':|cjQ8RhS n(L%C6 3},!DZܐeW$Sx'h<@)/ZB,!Y˴CS8؛(6$n/O|oE qkt_caFMADDL+ڹl}9`8߶]P_ߪL)7M°[j}08pC{@83 Zr(y•P-ii˹+㵍Mz/%_(0SZBq`Gjo)]DQAE9b-Mv/VCg!bl*S-SPXd{4i!?F]Ev Ba`8ejUJSAVmf3ZV84 _dʞlw1/_č6ff˫8g-02"x~yf`Jb4'M91&Qbv8dMC^I1aZ z aܓc6v`v9߲PfXjI}@%PQ aD{S+qZ=a9xk nL"M`.aqx;(m woC=%r[B/-ԤU1"&Zq1+M! Vߍgǘַ46G{Ɵd0c4 % z v~ElR[\@Ԉ6zXyHa*΂YePkOo:RD5;Zo{Dxdԟ`I|r'.d*e-{)方ȋfSHQ"5hz3ư!4ed`mS ఏ~!H߅a-Yec,͛+.r7p)dA %RwD/p= mud` ,TZnޒPHX1."6(zQ4rgN.|\B([&R a$t'Xe< eG[PJw%+R3x-HN+FiVQG=pd"^u"`ݣ$=ҹ>MX.Ru0 GڠВnCC{>4=|j!|Xڿ:^%_ɾ=- ~3u{ љH j;όg<9ԉᒉ +HISPu|JOպf&ʎF>g(֫GHYwnZepHq3Γ< >2B!vÙhx`t+ Da>󥣂bAʎ`c~7 W'?gc`3O$sk]!^M^Jqz~sS L:+MM[H-nE9eQ3hu).8n\]B[mO 9rS`B?k׀ z:z8)EjvS_7-Q) `DT4Y3f1F +3k]XdK=)<+:m\w'"9|l]N[uJ`y}~Гoc/}c7I}{%  PtYo=K)?u,_"g3V穃hPICoMDaPIұ$ksV>rVi#v b2u6]1 G"n d60lb?׶tX@2Ǽ, L 0R꡾fd,F NeC=j[ v)8*!1+WD_/K_4t4| +*x#]ad$fiNKdx]|W{jgGåj1&P>6ll?Kh[X?FQ&M >Y7h> ,uv5ַ+;TmՆʁV\g͑m ߞ)\9¥M<ɮupO|% ýUKПd]x:oR9i j޴Z3,"8^ڲTk{odkW)M*6{WJ=#~yn_9\!9&|UwZRE(m >Z=8p^$1 a(C kb1(ҟ\BQ#v_&+3"ho؝YOWq=Q O!Pp1$fPPru =&iƋWVЀ|N JCs"ZJH@|]Vs vG/x9*gg^96TǝU\5^uP̭eUb08+jVR8 Y&zM^ q ^,{t /aYKJ nqBvv&:@t eKDG2JMlp%p`MdC[YΗt-7ھh2냢֎5nNY|4zK_2Y>D_$MR^ z%2*4+̽a'A궝yXԼ\>,MjBxNPp)2@Y)vbR&[:+Ol#}^,6$t=;#? 4(AԴ͜jϠ=hꙋyLr4!:sp(0 kڭ&Ŧs> Bh ɰ {lJxhn#x!P[_&ڽ S(]m][o]cqЁɖk)E.9ˉ{]{N9VP#g:Ib_(59B~`uw;M#/ȟvHGM\9{;.lfzP*2ߎYn?h<*cNbQ旉w8w)UV :=4TRJqCA_ cĭ<}O/Il3>FUq), Fwl|V˹N֖wkBcB⯖5.bu1lwݶ QKBGXֈZ겛Eyb Vkjh^ QE#5-%<4髩!D| }8kNfm!urN?e- 0 -%/{9EJUlGȲLQ'F0]#Koh`cF} C( ؇ȿ3zwYBR, *3@WL{S̑$B<:d0.㵿DދT&U+?;CKwJĦW0#:SHԥTNHzDËbEn P.(Z:v.}^ylbܟ}eFdOąwI^X 6aad_m~z/Aå4[3$8T6奈=}/!* FCk-">i`0{U:ǀ+?`BN[sVFkfmc)ҦZ2Jy\`X2K#aÈ)5{(? ,~k@94,+KR_RԺ[DWdf FF}5HT >hB&0woX9 g^9O|YADKlI8޶KFKot)Z;':#w_o;!iխîlEoؔcXnދB-ȦZ40hJYXEXR9Gs@yc\ynG!2Ufwd.v(`ڲ&Uz'jyUoJtc^SbNlSy*mp= >'Y-B~N<bAhXض ':t8D*jb\FK wGP?ۺaREesMFN߇2{h8;HsU;EccC;CsF9j.-Mx=dE[;>U_no;ߔڥ0eoo(Y+Q!~Q D;Tm!)*Z{."̽Uiy˴Feފ2;|l@v8l C4q_{lb2; dW++#',SGIgnpф:&R68l9/f`p47t="ROJ̔ H)bf<U}*x7yxH0ѕ6UiA׈hϙ%0Wɖ,݋m+]R;Mn240m XE&RU[Ao=D&@gͅB2J̱!ZzڻL@'kr75~O~;-|iBs ]y(|(ac?C|IoNnv]=u[aHP=::-q?KCLJ ͘G.(+7;`rV8@zrjF8 tMK!`h~-)i.|f+*ޅOl/v"υtD|ujv}֎T_s^ӧ$fd`6ֆ[ * HFӰ}I7DRF+/:+F2KBͅ?͵}{ yhįOqTMPUBػA,Yf* =fxa0Tv4'Q'7fI)u0;A%3lK";:=,YON4M)t2L8v9]S. y\-p L0tFZy]"|<wHa!Q+Tv:I+`})Fp4+T3S;>Cĉ,+7=MƟe[pz7tFP9[/|Rl:I<ߣs/1+VtF_vӧߊ%5Zwd) %imp|`R.FGZу]/,S+?{ +mBM1*ː!`:CjZTlVٛRtT<EJ(}Ot-: dmca;D{9sh@ !AиM Z[2,-DLwԑyz*'Q |4`)kS;8PV6qx0tfW8 7*[OlRDC'Y۶=d5WtӎMyV  AEZvޕhs*03_ U,kS T6yE?n^ByP5^N_ mjF[.j{t )KNgYZ5fbef93509687a120c830c19d1d706b31e6c38f5d7bbd02684baf956e1423f3454e2d869c3eb5036 9c726adfe089422a375fb3d23090f34ec1598542ebaa6465d08f8a57f3e6169bad6914582713a6b3