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 uCDt ] Iptables_Semantics_Examples:threads=4elapsed=505.680cpu=1918.656gc=152.600factor=3.797zXZִF! d7B]ŗXf[&~$7 31Wkg!J_`3x/HD)C#u'ۦH|*XBˡj5.A8<8 ԼYҰor;i=99WB;$SwAz~@s@i^Kr8_/&_1 G<`Z%{~!b|CD.v[@??FNRw TϬplEC&J"*rѭ_CE>BfHd_p9KAQje$("{^z0JޕT2>LHшл3OG+|Iu^KEGWocƀ7 q5m`;#Y O.m.fg_D7 !K:,Ȳc{*UeS׷M}Wb*|c7$fʭn`1@m1_X+%A{|-&=T.K24~vDq ~ƔJ6+4IZ3[r@[wenC`z3.Xt!er!Kq ٳ@Ȉ5oArZhB(3c0=qleJmzc3E |OZEQ.ߩo':(I-w{׋7#c|KNSp![ ArP&>T)L<15Ń倡BL'շh \P!"e0w"0o)WQ^_w#t c)p5ӱ.()9f 8_LŊ9r |r!p'9A,Y'2߷tmm'p^:~0 YC[}>n"ΌxD>Й/SBD kL_9nj%R1%*}za sdV ·Kz)S'{}Z. RX`S=H:ܠ-[!ȞCݧ`pSmkտc|Rp_ - E]ؔXoi mA7>jGPۭ s'Dٍga#_dطW> Q̘S{G%Oκѓ ;e 9O4(85S뤬5.w,L3# +qJBH̸Y)F|䩐:(ӘD=G |4e㓠 1D%{JTKÿf7phtx򂳡,@9{!H HWgwy (*&ףq2^:hIFԡu ) (AyK>xߕ0^}7ʄ 9 ; 2;`. !*ɕR&SmaciHt>pgߩY {xtӔ/ kѨG1ݣ(o=1ߕ?V[pvܴ;3<QIOswFoDH?XSP?BP jp שwߛ%j|YTPuOCL_;;~hNoe&0*0aɸNJq+1"D9h?ld OTUݶY($# rTA&rWJ/2{X P$T"&s;tVnd}qKpɄS5eSi۰"!MP8|eu9PFe^G(Hsh9-kQi E,/ѿVFh|Ep5 j|i#(i99Ж€ʜT̮ձgYZ7zXZִF! ]ŗXiɟX?' 108vRLmVNT} ]i(&#eS7| _/KaR*ѯFw#(mGuj ׸lXuUrp2躩WAԷѮ[NY*Wn&^(:L$!O(lm2$@퀠S0* GrlB-C6$ƪ K8::r ΖY ]TX+rJ[ȉWh@pՏ8O~] v hhT DxT ~J4vJ\!<Ȋ|e %4 85)ߗ~p)ĵH.3^i~k {A.KAzp)Qv}@":1<]-Ł2 rEEgYZ7zXZִF! t]ŗXi%Ebb xzxhz%( C Iptables_Semantics_Examples  LQ-$pE}2M˩XPyiYZw09lf^7OǑԗʽ%p1bD2xæ΃~XCeN5.1߀JH>vxQq;ʓ7[(xd`Y')غ;'VnJ:\P=* N]BДr 0zj+r)d/6m <}?d=/>0E;V3L Cپv!n)ob,̐uoZD!Lj[%zgI C DcؾqIR,y[ņǿۺRw;.N*MUJ.~S$p˸U)& c˅/Fj+Y'!#]uEQTZkKJ/A-fH٢əXf3<dm9_>X7g.Z1;I_#ŗELxXΟ$1^'T{}4m;%W/"y 2l;ɭ?Dfٌ~4ui~rtiG6pJ\V6@aű0by-`=o ,AЎSUǩjߺJ6vH=Q_lp\ὕ=$YԅCW~Vk C j@Kl8\ٵPa"my!QO ~t?qqxXAPwǮC'sz%B8!m0g 0W:}~!›74UvPZ<ԓŊILVW;S5(cz}P@Ka /ExvSVB #xJ/1 /*U<H ]*3=xI+o Ɩ[vKY5Go]3kA|Ӫ1vλ<7w3`<~nf%_²b,DA?jW[`"z6ԛ ;A;kQ󗭦vb'i%n)}}K]T[j%B'f~zPG4O/I8XJFOrnhy_O^rǥ,s_!6[7H~ ]y֐1jI~2񎋷e *F_ CN\b0rVڽ Ps*mx2ׁ'SZތv.E>;IV?T?zs^ 1 N~n Cr\K¸d`&XѪĽGb0uzD:+rb\7-RTMgo!uژ_ =WzD<9?WO128 %\X_ ^p/cg!jd9J1:dT}^2qw'YZBTecJc:X `ʺ8Y-nW*Bq;@$5g\;_Kp-rPNXN39Iuqܻs l 7bT`Xp*vYB7%NJ&ħ):NK=͉ 򠥬"VK EO\8v;V;uVy0.[gzvo(P+"@1!1x7@zsB!b6)c-Vh0;Ǧ7kb+{\3щxg1KBWJJsc#v)1opU%,c灭>T0 _՚G)5%pDar?m.iB, 3k5:p~uΔv[gpϘ_6;91+Qq\Yk~-9G{B(*d@\J#(DŽ»}[rW_ `]`ǀD$/|y :|w=""N2tH_mjlGz|$}V6/ (tq-*pv,aסІA/9J (2 _Qo'J*n1Ⱦ1e *5MyGr7]w_`Fb;(QRi1(~$,ޡ49"I_ %m޼4Uf6ꋫg~ɋ=j‘96\=RBkU>h 3\NPHqt#n:^bm|'7Sǝ/FJ?P`z1_&RtWϊa=,L@ku^u"Ӟ5jaN'n5,whMu[upv|m!VAt/u*$PG‘AG穽OyOePY:!9cf|<2DL=oE1qdW<݇fѥJPJNm1H=E_\@bB$>z\RyqEARbɬ]l*nHeJů2 3݋5gcAyZ{߄^G8u`8 4GïȯUG3VeP. He&sğ\ 2٦ yQWdCB k&;&*[8Źpb :1m!~5oM@qp˓i`"A {xuˑLgæRU`,rcPG\i?=hMlR. #Zj}[ @VOJJ{T%Jo7GCdHOg$i^*jl+W)sLUD^N6^[ X-.G>eMCX/N@Oq̣ wcߣyу:hnH~*&q')Z+#.8Afm]9Es;8V P_ѤkNusyFa޵aO1JUpC~@~Ga84z1[] jͺh)>*ZlLC4Nwg9]!(E^ ~M9Z6 AŖOwvǜko &Ӡ%[[?ba~IgѨE橁G"PS#̞TJҘ!)g҄l# $+@r/ǫ:C i,gop_mH|!<W<ˎ@s S9{ߤFۚTzVɀfӼ.89̴XxQ2O:ߊ,9[51#*DہgqŒ@ Ln]To$(Z ieJP,iGEarX6xXc71rr)z%(:"G[Q}!QI=BIzK~(Mx+ s'BqwrͮVgezVWq$+Y~~-"SnA{gv٢V2!@PrᰰVpvB!tn*9€+]4ogxnlg(8_TL_dɶlZ 4Ъm4J8a\N1{dq&"" Y+XƲ0RauST0I;4p~ЯسgM#sniIi'cGXOtP_]Pr2EmX*H*[35q㭜 McI:. ?liO=D f>.{R}5 Wŏ^D7 vȿz\R jzR-tjxmn;FOY˝Tuu0|П)?tuߥBr 巍`+t`8·+ږn~*u$UW|RE)__a=Yt* c U3 NHӦ~xʿ!0cYn"K' A Ia dP|W8KPz^hH\u]>H8GtkCo/-#clͩr!M3ٜPNk S.}Cjt/}ְR=G2fdH0b?[Ƒ`ViV5/n\L𶃉=M+&G÷^da`xgWP{["p=[R1ZhYĸ+a+ E IX\=;_E*˽5[j=ì$_X]ߒ8+Qa yMLzs +5/I%`3ܐuE&ɡq3QYׄ좝RM)Ybґy_V}L3X)4^ ]hLMBޚGp̻;fZ{qWob=OrӁ; )vT]Dܒ &M`*k^ WM3Cyt}^̰KMkU2b p"DO@(TH"7ʗW5p9BJ>pXcpv#! `KΧ,ܤq L$1!ӽZ4A6顜aT~.\԰xc,n=9JhA:x ^~(C3n7Le[1UM 7O##,t; $TGHȘ_UYm ]nlCyO_ Z9De$P ݟ &ъ~!42M<֞^hG,HsJY"Jb=R+M<|?B5\ÂrOq<Ŕ{V[Y%~{\X`k!Rdz] e5&6BBz)lH(@.r[R*jKŴjDHΌ,5V`6R3pqk!nHhXtlhRxi~sQ3,zm) AR6˂װe_ɏZX6A: \9sJm#*[uu4tkͣ^Ǐ*>C,J͞\LVH盚_Fx6:<_p,(  Z4/%m^3X7luu%ҍ~Ѳ|Гݘg7Fa= ڸ:%t452UeW!eHM-#Y먷HJ^9Y|(ӗJ$ꢟ@Jl?vIqi(% _DN^ 6^fQw-kFK[Px% Ӛj$?:o ӎ`K4{OwmI3;z|g@4_i5 iY2`fX$MS~Z,dbIʛw^Кd * }${ds@0-r-ݷo=%Fzkš+_U#qC/;o6ڶ0v ]|X4+u&9WZنX@!pRLy܎n6"YRୣߕ(Wry5ݲ~.wUлL:[; S׈5I<&Rli :w}X!'A2U'Ymkh4מ/눵@W'X&ۺOKY  7d,] .(η6Z?st"EO/ }>mrn1l֎JGfp Y 0mf ?!!}Rʗw+,A"bH3g=Ä^:XF X,كͥ+õHu] ړ@>U5|[6KN >]]tNIbQ]]ĀA5Qw3稭Il#'S wC&` +}]Z8clpO܅ h=r0/7&xw}\j%\||lU3 l+sD*;fƼT z7_;R HW%}مxENKC),{tbWI6*!oRo=超VU tѻ{  xRկ(fRw.uǾ/K1 0-|䙐^ ]' _1 |ȵ $03ȕt LgsE"F8r m$_B% Z'x]QQ q)D[m)טX {~z(tƦ ̓.INuo6vp.V3۲I_D/$y e޵+n : 7EB}ŗi {/>8u,aOkHwtQnV(SԓYl ;Ӯd" mm ܤ x^\Q kd(M)xE15%}V+'Ci\JѬqXKwEnGQq_ $enyB?(V* ㈎nMs"й rtV?yqA4<R6KU>XV*O+ $ͅ v9sEyy|%M 7s =4}8}loGh^qhF}  =<oP;N/Zcg`kC6rEcuvXWAR[:T 9c QIc E"/tO%fxI^@5p+3|XS,Y}E#Y:o,_:~JP*u)aچcc&ze<.ܽC/7,Q$b $R Mײ`FWݢ^V/1=Yngx/ @e4}ffj/ ](+CILV xÒu} 0J`)j<2̺2^=]m!'^ 0$L  H,mY">afCgdK>FVa 9A$^]s4<`0`d9ҞmgiSd=xOփ9ˁ$ψ"zfW\^ ghNJJTWu1@%Y"S*e% zLw1ЅQT޼$3I=ͣ`ERLҡUp"F O˱޸fZ Zj4%‡q2ƝY4Z,z,uh{R|d>[_G3GɔSr )VL+f0ۨ.ʹtDh(Zp ш6x6gʵu&uCBp&} -'c "_>+"$*DAP/=_=a}r^XeC3U1kfRKsAk"_#Sxr@EnwQg|V6 -3rnb>x?h̒d}-@`[t'AB#*†I8~ W̠t@LA<$H+ZD > (0>*9 "[>ɕΜ`PBM*~C.@8UGm$d_}vbm ?kfHX؃蚃brF t'ϒRJ Xv,I'=_Fr;+Xj!N6i6=<хS-p0J[JqȾ씯&gnU6h_owXK\ w}J`H4XibHvೱtVtQFٝz~<5$2`j2_[}G=/EunԈx +`B^/ɖG:BT*]dZ}T-wr^ v&nWD^ ¨'E;mPz}fƕ*`3aZI5wѸ vx]]G)Okz>Y&]"|kT& _jW_uEwcxDhŵ{\~=E΅6`!Ik~I,A${K_aAFq+I'c Q.Glh"XY.+bSώG'0u Ob 1(XHub, K dT JuJFT7] oRC=A/O_J{'cQ)uጾQ 7M'[XghfRJDW]Ik֛z}DUY/ҟ!E=sX{[޼B(XI +% 4G\9BwMcI4x&> <Hzqt+{߶G39gk:$`anl O%ષ.<$`Έv}m͟$z2;Ńňh!y.v'P)#/lVqY M?kLWE5b8)n(& !d@*?|ч9Xr n0{,Ko9GIP*1]1:λj؆=g_"b?KqD^(Pce]{=0E׮gߏ~鰇AwU!W vNVsjO>鼂wr֢35ӯHSzZ}w=AF&Χ)w612kKkqhmw #v{^*FyWQc$A~0JQc/ -Q[5nϒ0@ZmfEJ&f&W2$j`&u +dzpȩ_r8OU_0oPܠmA1pIK|Q4m uW݈6 o$ifKww kPyOMcy׈捭tC2|W?Y9%O0u^ Bw|]w? xC7Z9θy*5d`;Yj~.8ߗ CD <^NĂUoבݬ(uާoM͑kd #)Ά$ؔg`vQ?xٙcb]B#XpPQxc0K:#9+ljw8wӂʗB |'qTgJz/G2M،|PBq_q6 UEE# ]=BUfhm]['2vϯv0{C9_m'0R;Ҳ~8e֩ T#6; #\g9sw̋%}H]!l"[ ӮbzyHXMuz ˏ8Z0xP[h_S`/k`"2W3;ݟSаz+Ҏ1{һ$č-c0ڳ-Z"^:#ƴe#% !gO MmrǺUnhxjw"ϼ<Z<[1B&2E(jjg:SCȩQD`h3Th 6[8kb~ ^6qqKG bZ%E;/ɕ~cRɨh 2ú2%kg` [uǨ}ܣ=WM2-ɻT [Uo :PLV@O_o7ܝ;݋˰F14BQfWAAd#Â8DAv*fdј>au^G ĘO8d47D%0fcؖz؄PI0ܮڣpOac.AW}is8䏐b'/~ A3&El k뉘cM69lPc=n4nΡ!oB#/C~hW)409Sq{򃑼%,O~l3mb\`s;}Si"Do6@z* iC9@~iltj1ڑ҅i/: Mf݄Rlt#+w -+vk1GXLSNUHWH A;eOu9j;4hDNgJN!^xWwFO1@bT !i c\ґå^6|Þ^HW٨ŵ;IbdEWx]wBXzH^k?9}ĉM1{D$jBԹêQ50N.o5(!tx/Ao1պR/bO[YWl*?,}>AIޙpfMQk<&tyn/I,q2a>[з^:P $.lh.Q_};TZ6>ΉE23ck8"Wl'*[؄jiGHr&aယx!J-ƕDyS1)҆`*#Qgδ8dG>yD~Y1Q9a_{lPL컈 \/²8v q(ULQ@Qbs;c~*kx4q,[JFd'!wA2eY*qPIo3UY8VBܺs̐Ċ2M+T)U.nҫo7"b+ *c+_nQnig1=.Is\^c":!;s9 j͗:gы<?* !'YYs#.[! G7GZbE8G)VP%.adV]mNi/ ~Np#$/Fy[r&^J^b tchWTg2\{V^@!urqU#e*QVAYNNqs?эYA;HYhPAM=f.]ᄂz~WVbըJ 0<"ja+)%c9bu; |l|N$xRԽP^"ZyӴ Yw𖙧yCо+s~/"f=fE.g@ҫG9qHHr=uN%a^Ly_X#?7qjèj斃y8@Iai²ȭLl] 3G^~!Bƕ^-Ei*Ĕry𔣶Zx_-1Ֆ>lu%`dW[S(XL՟$猙Âv`HaNކ]9[?P0 :W -O9[zVRAf:#gk2T Nt=9083M>}s; nU_$d.Gn bw,WEk&oP}DQ{bQ\xU]ZUS{#߀WIYDq7 ~$c-c%xѓ] m_`eCdS%qZ*G5EsۇN>C '5.SW} z ih 1^]sZpLiJB~?ʾOf_ Yۿ98h7/2J3?\p .ux]s}bcS'~\G;\\PfUz0,$P`҆\/Y'J2}αU:\<ji^`ZqZ3h>'$ q߭_S3d$Nz٫%:( $Iv;Ɨȕ yzPC+%`>q~ebE?S<)ULn}j[}/+9z7=S3VElc-YE /T -Q"]{r/۝Oi/8ٚc ryb񙾹s0ʊu8"ڋw7r%NAI}?|Hȓ:ypH6ڌjw6* pp3L.:JHL2 Y"Bjjuك=VI&yL_==&jݕ? ~EXJ}bDK@Ymqm2TIh-rv|۝Q ډDt7V53fCDS^-OOi6,x쓆o6>b|->[10{J/޽xh[ XPg s-Ns27S/\@yvy;vp!岌G+0(rŅ] a; ܃^Cp3֑I(Li+ JuW=tV{/_G Xem :s2A*ʮ{ffڤI^LkNˋ AH9dIp7j*Zw کIQ_Iv[W nQki|b mZ6s|qK REbXK(l֓Z<j<25s6N{8Vx'zt܏SP,VC{,b风F:wDmHc6F Z]9F0t("q7?K?ژv K a}w`[Y${Pc)Xؕv(e!G]/^Tcc>MyGf1Yh\vuie,e[3*hF*X|O'`g$bjYGJ_M_y=n\J߁l{mGa A[[=X4f<\קIo m}dEMS'la&nwTϑVl \BB}.3F+,Ex 概;8[tEv 昪"5k^Zyc=y7E'>I|80 D8:4*ƒQf2n3WOӴ2!D\E)UYRɁj0{&l\~p)rKy rE ,bKg衧!Q'PZ7l.Ӎ#K5Vtti) *|p8I)e_/6j P9q%PڸM:qyX :GO֟OEYη,95hFT{+4n=U%baP҃=R!˲h6?K>NuTG]M[9{*?I% +3]=9 :aYE+ۨF*%FSiI v% Waxs!tzS|jrÎӼT;N %$h\]s)mAfUIFt0)/sO Xe7 [qs4o^c8u-~d,r)^L왤iRREyü,=Rv3XVǾe 7H2\5e-uӑSa2u_1u7eѣ8/,*@z2SJӀ?㬗,P4) E2{nbzUU&N!I  )WmBjnܶ~eA_;#傼08j R~<@BKE`o }.穑S;:#0P0:R]z|v>O1r(@ AH>u77ڭ/N,̎v7YeAKԭNt-se3p- i.~+P 6bS\qi&#e1H1sKMZol?"g:08>Ypta)N,L,>S.LKd%eBޕB  Ԋu82tz Gޭ( /X5*:Y"QqTsGc0&@.s`uGNjf2Vn99f`}3 !RC?|ޡMÉ%n=D8saX}$0񦹳"zʄb!gBd[oΣk-omZP_1k^Gy BQ^@0?s6D"ġeQF[f罜yG.OV4Q(dilvM"o :'@L2#W^珒_T wn{fie Bx 1#^FbL@rAn { P*':W+D~V2ZɒC{ ʴPmvD{eTjx.QTrYTbzn.~C5ax #d$2-/z~3ۼHu1'QU] y˫k7k YuQ\ubkXgˍvX ( qϕC~`a*q*ibX|r1,Q xO[@Z*oQ%R-.#q]t { _@277 RoԷߛޢmٻ;-^7D5K䦫pt'g)JKjNc)iD}@D+S>j-+ꊉ^NF㗒fss_AQmhLJ.)b l%ZAgR H'e`0,e.o< ^$Rw{We@%\0Ɏ`ARWqrf7*SB>\nzd(R[KYB u"D.&rxVR@Qߺ n3G=FtfJcV$^dЮ8H]԰N, "iP;J4)̀ $c&ut׊rq'T&r3b&V:$^*; f%Dr| ,n̪?X)d ަ$Xmg yotrhSm͊b Fdb%_N_rF[Mn G9.ċOosw &9.esLFcӢ(*.Jv}{ĸs>2^J#8$?0qJog-EI0?3gVEkƞOf R>N@lTJB̶bp9([;ҋv]z.f?,]aPj@@ZL+tEI T26D0"F#+TGCV1w{[TA6`BTVnHcG"m_p,vf? ;&#pĊ8i[_-?ߨ$VBß~Ȕq T8͌/~u+|,GqeVo>C=#4_. >Z*×?67[Ohx'<u*Wܸz(=>ھl<+!mJu"\jM aҦ @ے.S=?%a~f$? 6# "7 ;k:-+ cH|ot#t&BT%\8|KnWj0y{zH$+q7b%l/`RJ_7̢+'"odm}B@ZJ^^M _+7* X+5@;Rg̥=ۚ)Jbn"oW}M mwd輍+B1W_p~Vq|4LI_W^ՙ{q By6YZ: W`uv# 7^M~463m!~2Hcqh32f=MIzk._ZG0'TX>m/fy$N*zMr_.jI\k9D[YQoL$jĶʼnR)KO =n;gj n;MހfL+TE'GF/`eZqPޣƤrm@B*f}z@.:C1) ZIT40CiS^32"bk(e.}fSdߋlۻA2XQxW-n_'=4\;N8Мo$26z~ZgF>N+" i%7m->R>M/Вh:M^5t#wZ6J3;1U b`ˊac]kb&{Qbk!ƤhpIՕ'ɡ$ 5EB 4T]C<8<{92^XBpUs&A~XX'י)ξWW }QuM4F1N>Tw\hnaU<oSkw6>wCUyWQB#<>_KB@J-3sz&ǕNѺɅA4O@ Psrˀ*do[#Zݞ:(hEed-$Yi?:wӜFΕy!:_hQAucD9쨽:}5J@#YˀY ~ShjT-0 \`4?H'Ur%op=@dގf EpƠ#^ ;cz/O'ɖ .}:~#G,"bK7DΊ+ִ9*8"f~-ZF:烧."5@kC=).!n)ԋKw-ΩZwC@`[G}rg-%/B?0@ԝafpl\!Z<2gDJ$YEN/ k(Dzv W𔅃Y픍[trԇh[QOի BPTIb|&>|lqibcqږ =zݰ/JE wc^@Z5RO,&johq p G(R :Q)rYԅ}T({Il`XڎEY%UedOn! Xe<eҺ;itI 4+H#47{nn>f*bhMoG=?ϧ#$>X̩cבM\NԌ#.֝?*0(eZ!lG@])8Cc FBB`4ͤۖh6,iVu{fs\|wCܾ0?mnt T9XVVa8cxن|)ܑLyL!Ұ w@v!ƩZQ~n/B "iClƱ@Rq^2PIpHAAVf̻& iYȀ2p<|b:0uGqBw[sr|^?cs0r-Ўu,^o^L8 Zt; ZSoN_mx`xTcm_o^ @iM&am*_cM744?y ggV6u9Bh/=;nʤkm4Q>rFN~ǎFSPa7rlbЁ`*ϽeC'l:Y3g*UvcE;hO*_O/肧;|4 X {F::B(M:BALMy~HS]idW㲺[!H]kWo^J~{CIUil{33vxHx.27HI;qW$\C#8ZپMȼ!g}(Qz5]OΫ[LߩVcƍSO6A\+b?l>?* RkW^U!g(=yNs=n@|ǹj>$u\*=QvrXM8R}H+3x^$c\RW-D40_U&S_΃k$Y4-P4Ŋ}ns{N.\ge>&y+G$F ZlIg0yqy/kj^@zd_КYPqX֗+ˌO":ܠM3& jga34dd"=lIs r!LL(r=fkf0Ģ]p货~,5̞n0#v&qhqվ!q5!LyHPy)l;]Jh?ֺ[mӺh˶0 h ɹתzhZ'+jC`W-J;;Auz.U믚hMD)hPl6mvSV(g&6LۓB0*u]7 ݺ:2yjzָI!D*] S]U4E3mĸ, w,?}JʎY"鹡f,+Uo z~ .L>|K|EB ;j_e.áOԼI;Z*:$t/boKy;p?9ahǐ \NRK,@ǁ7w|'";  Gm9hx#JكXRl*)w+CȃXw22vj9o.<0}ȏg;5.P$.f&f84FxC흑4JP>vQAqJ,:W036Їv7VGdP!*z^K"AY/Ո QG9?qY2.ohʳy80<C9lаe٠^0-ɋW9VFmX3]3"y\ m@kZk 8켉dH:_wԻAOLx#Lݚ&@WL6.+wݜ?+ޜesK(. _+g9HCWqY,/WTcTC)A4.*fHB:J܋1?U֘t$vUCr'%a/ɩ.;{^|Qmonu)WPr9hqhAWe) G:DV%BA.?ʯm\Kl;j|4GZՁ ?)`9mX#DN[➱GQ{p:'" 63' R4Oɰh NWgNXᏞ*E@OKTSx탧V<# >ٸEdidYo_C%}x(ⅈ4B<c)G=ĉpU|D9titp(F7 /" d\9 J?]/Ç-r3P 4,5Ds$d yj K~i["gr %0JMzP) |1DQl?Yi%^ŻD PS`ba8/q!u#ܔSǂ;G8m(},,j]{i|Rж?cöAT=>- eFWUI-atZ2- SeZV,8csăBS%HU^է5LaK|K:>%t~dV@鵳GHxt1rA\\^mJ^)B͓}8g8}j]sj0ESTgT?ߜdK)*l3*h5Za9OR]~YībJRALoxϻV3Kd<8hc؄JHށܳJ 즫TDB#$kG/2j8TP\)ޖۋhJ?|Ll8E_2C;{x=FĉЩFELHb Pm0q.\oHiJ8 R$ORIbP6db9*4w@ ]&'8B>K@{"L'Jr-(:yrOc&]Sy|xtrQY~kA3^wHo ߸Z)dڌ'Pp¨*-EX3ۈx=0:=seE<qsY)o='JrJ۽cD /ٍ 0YzzTl @r~["+R5W/WJȒ!ی9Hz箬6GtpC ~!Ȣ<3oU׀->zq]0⓬.+&*c ns=žDE8UdKU=LMX,(& '5@flT+< ZǣSz8jsDб.j KϪhJG 8xZVx֜%E|ո a HԄY Vcª~/]\c5BwY6jK(4ܡlyr;Li 2Oߞu 7\ ڑr+g~pU/A6zJB}97|U3^ + DK$ҦZ0(|@e ֻ{Xk[gtWb\D]XBX)72GCIiӃCx?ޤ@ zz u;Zr=uݎtU41݁;DPprsr~8R ~YOP\B9F 8cl7hٻteMy"(puϟhS~ч'']gIh2U"sP=D, !$t(vwgqސe8L͒_)6P., {^!ZAhA(57B_.BNm׽$\)a,eju%+BGWC;B cW?ŝ>ۤrC>k }˾c57.'ҁ$"Q<HAܕ!NHX~&VSD[՞ N<&0քA>NRyhd* :ۺ?;+BCZYdJu)оR'm(9:3f`N"&  卓" H]565GH x{ EgP/.5q<`l5B{/Cd ^Ɩ] ^b7VQ)]qԃ1jW[N˨N~kД RWӕ!.TzyœXOu\'VbRxA@ǰ=+u C.tW3Ya_̒!A];%P2#s2kYB e6tZFg|͋`pRq MPARS]XTm)&&14qI}d>6.3Fzukz!g^m_ӎBp4B[I|>P *lL9RB6> 4;x/rUv|65~So' xrS0bnRZ'%Un^}$I#XfS 9<ffCg [ݱ.(8"-y Ʀ=%o0Qjnv{ _,BۅEH6|;z+?vo.%c>)lN r&A󙓺H~ߕ-FEǬґ;ѱ$j$BG8 #$O@?+ T[Vw׸F]5$J<1Tv- st%,ˣO$"P))QΦ"fSCVH[b}ZEeC}T~7Lcv}bɋX^BpgR"bzb13o E+[`QߪQeI< S0Oc7 oJ.BDP"<?r 6ia+Zُ9ơz)B9K҄@2x]GCCitF"٧>pjc]"WϺV@Pi@էFt&Ձ7A߅z5&/xkHwW2\uv !` 3Z(s 4A BCĂGǭGCZLPFMvF߼fɉ-77])JLiKSrx]&g Օ̮CgJcbӋwHzc($t)4,1L_BNsZG@'Qyh.~-[冝bʰF3_/Hzr~WOar2Fۉ)ȄFS;w}lD$wN jEz#(@'Lݐ ; wYAiQ >~=+lOcggu =o;?,6iT&8+ JN2ϾQ[m@ͦOEW}K &mPƳ]820RuԤvH g0tM\(YwKTa")}~}d?-5VS YR ;7Y`>(3n-:!*%ssn!_v)ߐѰ%\[-@c'1Zì n[_|QC],Jqxfޅsԕ&_0o)$)q_ASVEϻ>jC+Id0Ji 1ُ]Ui.$@/;KE&GӖJّpIk] 93X~(Fr"M;Vr_>J6q ][lyY+ i2B9gRQ宪ʘ(YFq:͝)e#wX\'ͩs&R,G(bc[.J579w7}BYt)}nM%F1^k"s)f+F/:33 Jd(lC!:+U s Ln+a|vHtmU4mDz4]e 6-L 68+qf_E9B>+! q R14 kt7i_}mZи>SUdoePr_Fe,OE{Ίu Wzs{ ߤwL4A`z]Np{HwGT$V`\J*ܯZ+NkO5Ty" 㕅;aYѰg%bJ(y2}$OUfCH)WxsS9NT.9SXv* _aHxq-⻮$w;3}d'|Sh0 QQa'e]|HBʲsOhkM /**rX W)@9ۻ?AB7x73RFPX,hChuBS*5\a 09>U!B=<+? )FjWi7I"pt {CZлlמѠgiiE%YgYq30euYca R}j$z(ljPt:[nþZ1Cdwb;^;#Q׋j֧6QI؂PC}-]c FwO9IG𖷘! I,gpu{6TJyNjt,flAE2!)ɦ_/S6xVqDB-ْ .bg^^Kaa6&* [00+F!K ^|~79O7{7kP{w+rO"m)l|k@5oc牴GeY֤&oO$:"&8f!^ 䪮xuXeѷ&7jT/4< >$1 ߧ$ʿ C8\eGXdjG)^:3L`:7;6fY48_``b[ZXU4B!.Ҵ4?A'dt,4iXbyGq<%cEM.NۋrSy6fB2ڏ&"EhPj * B[F̣54}~cW NƑ] H9Ɗ[}*݂0o! VUIj!yĠ {c*gh7Yur84XV< VcWz,dtRugb"$3M^yhU tJw4K$a5[vUu}:K6,913B9};q:7BAmmqېh7F-eYYRli6XK;f 0܎$i)`5 rn]҂zP-s ˮϏ~-+2Ʃ&܌MiAkLg!)($$0 IvBVPt{ȵ,6c Wg Q`ͭ^mG~WUtg/G*,Ro '-!+=R+Zp蠈PeQah`K5ЯgN<(aw_6Iϋg^\g%vٯdMYQ *Vߐf4]-Do-vaRBGfF@Rn)k'q<] btȀZŻSXJ$V q(1Uh NأpdVʚkqHNS" xb2n#CuWK_{7`%W`%l G #)xgj I VXʙ7c|rDVKN ""W=0!c8;–@5}0~sgdZQE<3:/4f% .%BSTe.&;,;&ň_ lSϯ`:V:ށ>xBr9t!JJifw(Qw5܅l#/U !*ZcRgYZ67f67cf07fe49aeddf37a09a7dc8013d047ac86feb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 2f732709a157935127ea6979a79cd0ba51778e0e 886f56f998a8e1b7cbacccbfc267148eb95de386 d94cd3f1b5613beb9185614e9098287710a78385 7953aae1811feaf95941cede441dea955de2543a 026853179f4f26d5af86328141a410677289d43d b251892f651089b81f2e94fc74ecc918e88c1e0e