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 qC\44 ] Iptables_Semantics_Examples:threads=4elapsed=497.668cpu=1873.292gc=160.864factor=3.767zXZִF! bK(]ŗXf[&~$7 31WkgMB^w|)V-U"!{YNx3`ǽ.1Pd6|W ꑹj"L <0#QG#dZl7 SYZRcB͐eC(gUk'!GE/ߡj}I\݁][Њxo55{Gaˢ1Ш52CPXÛjn#G}QʓƴxUD@d.G1D?h'n癉gKiR*;LLȐ/e7IO`RP4,5ז܄^jd_u /挨n-geJkT&9w 4Ato b:Hl%lcw;xDphh6T h\A% 0jkJ>d)=3cv⹷ Rqp# J1wވ.[PIV%ْ:W*el"~FO]`-=E mc pş} ή[7/WD Dϩٰ>!r;6X>VCIgt(ٿygnBWP 5ȟ w]]S/s: $+#*IpOV ѭWg扆 gSF4%)>/v^3oZqAZg`CɵR7qGBB\VC_v ^YO{ǬWB pɾ(ך%+ G$1Ѭ#Ƶwj`RjiZDh[6 _상9Gml+m2 /bIhݛ:Un;E彪'"&hRHR`#*nL(?ǼA6kAM[s˙I⠽|< CZ2u]#j.&"UO'ȭUH/4j}sLW\&&=ժmeby2XO:7l**.Ae RgUdQ#'=!'UxDIl G_kJ(R%e>2wH{ЏҠh3py#\bp%gwCCi1bH !5919=yG6ꢱ[S`Q A-Sh/A}hsTNMRpY041oL9t9dd̄GpF :vd 7[>am 8bdc^"zlL:ck*zH?jaN_31ǼϺK Y_NZp8 BU_wt zV{UHrJ}߷ #Yp QZ8RK^8Gi(m噥:w?TW : 2 p Fc"zsc1>[:A=BI7T(#D@39+j-|+mPbR/Sϟ4]y#prW4H}y:d?f\]}'7J:ՄmpC[ PBfDWܼqRogi]O5czΒ"$#OȲ;T bgZ]/6cxDgAmQtR4΀aY\[^6Y 4 zZ݇h #ٔ/ ^;T>"^נJE2 A[4%cCsdyNrmfȄ\-h~l24FqghfL,v = {i+H6e:h1!M$(UU>?!]&gx}'}N"B}a(M}4UJF?u/xN0_ 1L6U'aᮋoS:QmmkKXC UkCx$+'.s NH`(DOaf lfgYZ7zXZִF! L$]ŗXi%Go:|3 Ķr&bohTd3~'aˡ?A,bۍ4/waLIc(5Ԟ isr]Twjw b3@OB)(7X8i7fbX8&4FْVEDUyH[ X .@vJ4p_1dy[Nrփ)=y6*!PN@2c'ړWV8ֹ"n)`=s"ыm 1n'M5+L4 -՘d} *ص/retfGQǢ^)lLGlt|zI9d", ;L ^P?%}Y%q-:]v2 ]Ql|2qIIDaHImJ)Q44&jCt>un.(g1Y'g;Nyg3eZ^]sR=()Tmnh`1l7 @JhXb=f6jmV5Xqm:Ǖı@u̝'߾OEE>1fPgaƩs'9F!e ᒂ]D=x:a'Ҟ +ᅌs,xS@o' kjR]7d>!iaXwr(`.GdJ,I)~/s6"C VCXqP4MX.$Io|69NdT PltiL4ϮD&#ђ"oMm?c4]o1 gÓs>&JBú -׆T)V`cl+{6kfN^BȎ,~+Y'+%n77\Z|E`/JR,dt޸ÜKэ]Zw%{AF ִvn۷5K&lQX(LԜjj!Tj_UF:0]۰DYɔu7@OMnVQ(Qb3sv Dt>cCi5̧XŒ"0y}9 o?Pg]=2죿g{5|ڑN R sJݛiUx2Lո03x 1.䧇wG,mY/c=YTii*l+BڬEMAi*Chl,og˂x/هǵ\dw>#\ԑ爊=#)$ˊ"baEI}} ,+WS2`*eԛp,ҥڝKEg@pc7 d3,tKXpaf=5KxB)F !vR:p(d%" ̆\Ƶn]@J"׌ <$_`"vJڊ^”wGi` οJ\CK~/%|Ͳ>2x_&HM_u8NNʢkE>>7:G#I>iCS!VV$Jc.z*Im(mR>ƪ* S6:iTԚg~s M { h{̛LU Yv 4 PG>>Yb*@[,[N8TFœ G+لHX"G?5 l/ m.@8 Yu^,`v)q|$yr. m>kee li݌!w8z‹ԍZ}:ܜ(#n')\ ^D=꼴4-#E.VC:qsbʠb,{j(zjX^QO*zԨ\W!4-o\s{]i9P/ni?iOЗwfàlpMq Fn1Z(}|tO+̥r[~x%_O <=V;# dhhB1vd r\lj<`&flѼēTǶ'ݼ^F ayy#oA'wb_SNx7<`g B>ւPݑ+(x6y|+ "%`!K!RV1&p(8ܻ{3*av<8>S"xs-G*E旐w3"׌.N:E)(@M+WXw{bgCV;җ/O{iB,d9s&4B ҎSzxYe ?MyZL] @j-U }LMٟ{u~4[8 KȯEb>(]p]oU:$fEfu*lyϭ$dehZ~j['E {͞]P"VXXYe))خEXBVeX)d%gw#f5Mooۣc-F?E[fp\ Zf-]˞|dvïvio@J8 ͢B2<$14ݎgWƸ: uD>vt_~RbUjG#2Hlri47 FDJӬ UP淋ICeߢq-OJCJU`9qeФ M[.D7wи(G:DJ,7% X=:8gqSkPk2Zls^R-q[U9[@nyNf>oᷙi<{fN{?SVל837;L ٻWgKܻp0F-a߆ktRE D  ID\ϴ>=p+4ZpYة7+ 뇔W)ێ {oпG}{~F$AeŀV ᔾ%rTo$ǟ[=jDiiV ?j1v}]V#%v$^W YcAxõϊlK]I-]t eM8??8AP.dXj%7T/.ejɏ] Ǚgh|7XsGCMP͙Կi=Q(7d EWG9§ p$k䬱֞OY \K5MZ-3F))U 0-. p;o< o ABrwWjgk'rjfD)*;@,ɶ/y Qz72(xzѩ~+P]|'EKIb(Fx+=aTg yeuKjӿ9A5֐! aBl#u??8%&K?P1Zo }OגK]X q>^4"<J]l87NM*q *>vdPݹڿ A .kR  Hp^)[=_!|܊1ۘ1AgDr$cJAXbڢĕO{:ķ1^UڝZҏ~L*KE4'K_{HgouԕX9CIxvh[VO*dF߾5a%keZ޹bG+-nƣ_00BZDTK c6z\'$oțqAлhI{#.T\H"H#NM)duVnBF_ܖ@ pypBJJ&f*$sI5xOĪTǤcpK7^)581Mf9 ƪ?@ 5 !x,> d#`^i4A@2Cr[$]*]EIğbmB.fW)v$%JJ^|΁X3qXA3qV kBRqNQm߷{)hr<1]-n[GGvQ3;Aȍc1Ak--(ث!HPR Z f_o DS}tɯ2Q%tiՅ(xDM$4#bh$EYp88\dm+𳨳Ep*1s! .v%izsڸTy n#RVM~8¢;Y|}Exsy;ZՒ_Oϧߴ%y*ֶU{ FeB* ]Ht}HE: ԁS6/aWfDvEo: I/EǛ"H)ǩy-' [=E{KpeҶ3Q[.~WRVo0>U࿌U6 /Ä%l[(:2bܣ(f?l&Si i;}1grhoH,zCpK+FidUEʎ^ Cj# L)X,|'(GF8;˝nWR>VP>G-)cڂC2ç*5c"8^^&6*y- aI;MTo<3$LG{ZG3b@hDjMx3'ӒdI-xʗ sK7=}뎮:$n쇫;"\?ɝes#\5(ufЧݢ8%p-bmPhxGK"ν \<Ї 똉y>Yvjһ+(P=1HjS,(%56[57ibXƖvhlNlbfA6=Ft aY^#$Li\|YtzC!@;݋MN_NDg['o0F҈J1|AblL觕/vy:I\V/CIju섙 p>N2MFF%҂bB4צ_.^?b :WNq6su&@C-AӞK}iִW`kd*^VG`Iz J$TXflO\*/ 4Irb?yҥm ^x/&/Ybp <.TSĖOS[i90jPoa`o Cxy?E mZMᯏVX.1fP ѣG#j/6|F~E曓Frarr5HULîc㩙NAi j}ǑUj9m|WYYD'nX<1'F*j&#LmZ;~s4̩Gό%\5@-5bъ"qowO -sa dէT|1f&+?90;QlYpNRoo} vkq'EPbO0Fe(5: -w r )ZŠubY0ʐj9l#3#l'{t iѧpmig kk'K~%l>GNE/gWѥ<JY~γ6z,@FokE~_tvhhhD_lO(H/: y@UU X5VAw1%jWCCMH>kap-f@ ͜Ry%'a|XN43DáBL\>n~ F~zc[0 qŦW2/'y3a4\7Sm}+DQ}Ϟ~}?|9jKd/5b3ogTb1e2Nz%35s>O= Ai ~!+ >r8WE6hQ3j}rLjCy|Q:w@G1-QTYN}B]=WyN<r,Zb;04ޱWZ'+ d>mL`ҊvM ~_y0oe4ۉwVMIck72|v0(gKqȻۼ:=Dl5[;)0x&ׅ7Fp ,ՑOb,F|G<3.89`f(R%f4LNS]#U_ rA1 ̗b Wrn5&ZK7,W%;*Nm Nymw{l$ bb93/e㎢s.-a!$- (N5\}+GY ݶO-U#6ͤ=YlxBP mXΈvt-Ego+W&\yqA#;'tZLCrKeϘuM4I2c-F$V62Tg }pSVQpФHga?u 3qҒV;o d7܃4 sW="krQ2^7ܮEb1񢹬%'|i`OuJ8e Zi,|ʺi;)Q'G:1x|0gtV F=j82۲2P۶)ag41~֟ȴcfM๑]i-ў 63 "03QW%kIZH:圥>FLU+}7DT0x|x~mGcIw ˱GIjb)kʿآY/ @-d?~\ VH-E$ovgMqp\OAoUT鞚 Û}Qm*y;h17<[ftEzbnDdR!"y7hJP|Y5^4úAI~S"|2+"ǔCG)oQ?w'%D:!)̰!s h,xĵ[d{]v^͑~+b|G3P"d%\-vH$`!D]4e+&Һo/UFƝ R",\7l:l\Jf;;zgmYJ>_Z5%"{ՊHꪜMuPBuZX_lσhx|x~ MHO:hpB{֢3[v c\D!;6nas˜ʥRDcjNae%@m> d;ڏ4%Z[I)BqZ(A9 跇r35vق['7BQN+[G: mP5ը~i^9;tpTdUy*ʟ;s$l#&[Uu{,k$$^Vbw1 ~FHLU`H?'# K5z]uiLrӥPwicԦ0M Q9vSX?:df{sK1q'lS Nvw27")սd,#I$_s$Lo"@ÕflZH#_Rw[nh c. aY{Q'l=X)m4JaU*;&W8Kw|  n)A:)8mˈ^9w7p ) 8g*dC ;gE^"LdHe :~zB1*p _olހ+ၨCTW N܉ADd RNU+c:bЏزlG Qo}0: LtmA\K`IB4HlWdi`" ,Pt/=L  'ah .&Jʒ? K?OMDs,5:taOZ `8%Q65 bm6QRT88/޷ud֜u.)|V ̅dX03S{2vҟ:~); }dQSAvdc1!X}壘 :-;B_xYCYZˋ yYgZԪ,NVi{U2嘓(-3|S7.TתzČ&Jj9iJȳm$ Hi)0{,bLh7ȋ' =FkGUyV_!hsfrb4PVXwH@~p~Ȭz>=\{2 yBAHk.*uJl}pƌJ|7^=,%7-|olk5uiՙ0L5ݥLE>\(} 光[v?~:6:vI̵rs^^mDt_&owm7f,"T30We:F+=eR0$18t)#r +! rBal7~ym`7%4=9r_%3'{C: Ck}`..(2 {~`)50DvE#Q[HiBDUwDZ ƣOI2q;͂Eq5M;&ems;M)@jGSJV $AYJ4Jx!ˢ Pϻ|Oo/;,_qooD:lSIh&x_u%Ա*7K-TmS~c/;eYy鋝lr9~g)WXjh>2/gIP[K gtuomUZlr[i36?C  to@^Rp24EaUkaގQ˟w@k+7`hVcRu* nWL%2>MYC;;?_;.X"B!\bP2hp~_z\şF)lR!x4*eSiAo~Kf?~PQ2}kNb[yj5f܌ %4D[ 5E c{#Cb~b非(t\jp+M^Dl`HF)ATSW˺E.]m7KVX֭w|9åҊ ~i 쪡5l8"2-pԂozME}#pt:X,ͲNa@|W͓+JA]al() HɊB\I;~:>Z!Э(pwU㦂aT~w/}r]SOM6M4?(nM X?3/*P0#t])"Ro %-cFLRQ|X|m^bKg&2gs'ԲY.ESco^p. ^t_iךÕЪ)ۭD:F- O5ds|Aw^ծdKRul_Ba u2^*`ôV'5@س=/(#x 97TZOٹJ{BŨ~GTa{!PxR,Rg5[Iq* iF-xM( 8I ga7TTm+0)z;& > 2_d@u>*ZC9́@Ke|.P@lHE8y^@XBa,FW(7{ҷ6" lx09Lʊf?߽VZɇ3d¹I]nbBfNп-ķ,6+jt҉Y(7 %4`Rs6 n4ߖA17;ho*o{adC#@żXToG#O3 lh?KF((6'涶`b۽(_z.aCpʖ{~Ea޴<(o\޺zY`cX+m9A&/i\+s=WcMA`@g*m>ϤlOplpC QoXڜ;G&__'WJ}~h3keȉFeo~i(o:^ ? w~pҝA'T:=m_:dқtC@w8XQ[ <ܫ63чcgtm [d dtIрv 산+3z tDEVTx!һHn05]B)CEcL! gŪ7l E3owDd^\JVF0=XDp;e[%Wy| ,;U $ VP WѰnŞX ?uByǭ=F r>}ny?T[#ơ%͂4ݳM} cz b)ހ;'H`#''z8[,z?IoMgZQ,֐s=ߐOO~ǐأ`ncP |dJ5JC2;h-F?ѭ}< 雾(9c 0)in4bfY ƞ X?(PLp:Hϗ@՗MEF`Z@w-SHSXG>R‚w-^^v&[SR/gÓٝ[ڒ{OJ)d2G (rȎ=l3Gpt2g{ے IK0_A6*Qyُ8mF29/V*@ khN(ѱoÕ!|Yn;h(Ie3_gQAn6{7Ƭ2c֗Q+&28!Rճo*#B٥0S')cK fT-i1 =v࣏tXL,TkgW3npA,?߁+m>$,xkQo QY\g.4ڛ&npр*qwJ}BN#C>p'~(0(>ۛ,NvpkF?PK?riTEI<=IR\L-psٲBd= ~;3e ]Nd(jAƩyS6oxp|X wΦ20Tehk>rSCZjXGLj̒%c4nBvcPop10mg󧨗ʕlUVʎixfLwzـ񻺩4ںYfi?/Vh{I~C=?--_f8YqOԕOn^E $6l[.ȥsq/,{gd1h,6I'(\TM ġL(.)rH5oGkg5^> R 62(ũTjrޝ-mbb 1{I|99mG@;$RF.Jl1lSE-9pu81>a1;I񄞟O;-G ^vID**ls|ICf cu;5f2zvT始_+nXn}\L48R;Tfl1q[J(al:H==]/gzV؜?$A_T|{<*S|lNW{}ql!qf`\jaEpS,4կG ص s|cm?hT 3FI<^@B^x)l"C@n9Nc\L(^i"!/tjFs W,qMlƋrw;/{9fR3kTX^㠤]GPcUnq3>{& !-N,:c9U꿕V4O MoHT)/A (مO?ڶΜ5~^eSUYvyYEů-aĝ`!?hֆ$ ת(~QtFިѩ9a8!`)R`{`X*~?+O}p[l@U t8=@{ȒzAkАllk޺:FՐqv䌄Zp\4+ x3VDԓgc믋ՌszH,RE=}Tlͩ;2~Qޕx(|T~PL[|XiDkv|ZbuHHdϙ1\ixRpqZA"0A_2352'A/C1*W}}d; <`߬@RV3KsAAtP u LnżB`%%D2=簀w:Z/xWsֳxɀm&+|)|4Fr7.S44Y:ȹ_g pχ68wgv~Ewy,sZDCS)N'R.3` ݡM22}mO>݊TNzmve  *3/'hCt vPXKXf_nw62y/sF(8TfLS#$+B]㘐~XgcnydݦcrhT^=N׮:Ͻ22N"{ȮΌ… 2U WּpkFDqwCG}Olyaoߙ~s1o|*^7j ?UaydH>-+g GG|3"c~- ame* E^rG [Uk#*^bK >9_`px|;x( 횃{-^2:_i6JDJBZyw =5ƴȟWZsu|`F<-!}"ӂK938G]xXJ 9+s}f3srն;k!mvfUa:f=M+LϜqW[7k {Նs+*)gt/bf^3R19W+Hl[KMrƿO XQ$U`h'aFCvAW ~Bs]!A륟G*/p)hbiSr¬2=қoŪOO\ǰlv87<KKc=X<\O,hj$T.L =]OI>w:EOT]>BoFL_YZd:eSf{ [fSf{.'vjOEO+NiŠ!cyT#U*!,ĩ;aAy!b>Wy[6v%,ZSKPnu )q 63HB[f\EjBwdrnel<>tCOigLNyUa(sah2r-LJCנ7-p>N |}0`6$,Qgɮmu "jE> EO;2GU=K[5fI^tD.p)="$qK%F [(I ɫ_\JU; < NXn{( q)7{*/QTnɲZ}0SLyT)f g/7Dp_.ex>͎@>[PP2Miq)!y 'UYa#b?x x&5:cq&S?UcZN(bq[ғ&3qB<(MZWëwNP%XB08Kb𙝾ÏB2ijgڗk.*ʒS?#xN7f0v4 Һd p A\]' %Lʕ ѥ~I"SkÎs&:H~8/g뿮셨C?mf &9y*KyLV{jЃ$xFDZ,iIPU17ف+dbHQ5qcH >$O"YTjJ儩#󜿨bCs  ?px[<'ޗus)~H5m-otO$Ad #6>>-gn_ރnΑ?Ax O{NFL4k\w@%sO2x5@L@ad2뢇 A5L/'|j\^WiֿXE Ʀ$}'YuG uVjoHȗS  rP'ظ̻|}~ZF/|<)vd̬7~wrazt_ա2:6ǦE;ZX'qE:ABvE?&\0?H$ڡ#G=li[V9mwߢ '&\]4n X")Y`%]x FS](>\+ ^#=/D f){JlZsL1f\?dC~NTQR#r{w1d*ʟKpu~1ZֲW&Ƴư' 45 =)R'Y3FDs˸гNQtKCu53ṽ@XU !x(N`>O3E4-Z !Sl ٷ["Vk5nNyɀQ*'|\A~;6 /M'nrû0 ;\Gzj@{T{@Zr pP ɐZ#\Dm" :spӻ6JE7uxGv1 )"~ 0ר_Qu(f؊eslc1_Icc# tęϦ_'wrB͟}:>*[“U5ꔏn Ye@^UcsDgԕZ4hc_>ĞJBoR,ch/I 3hUɵtʆ9<\1{ $j~e԰~틍kHR+# sUXvf"z'4lT4L&554[73 GK7b<U^605+-m/_eʒhv,MU4D>6?fY#/#JI!K'٭~EPǞ4RYCw" Plg!UEƥӠ?'X1!%/][c?0t6ݑlCiZ9']rknVƺLÑK Roz%iPvhE$i|xw}Ʀ϶M_<Alp507:SBWLnyW MW D/*؃_ƳܤA,7̂ ln`o<g<ÛA3O%Ù& l5t@꺊I+pW$ |[OAa6P9k8#Ξc̞J<_4" hͮVqeks9b"rJnZE.sψR擉V,.膩AyUr$3:qŀHAB|TGgA4BKFq,dg-u%p<&%pٔFVYI~L§{s`w"j.r4[lդb J}:6H&=`׫ ^1J$eo bB6vAfsP >=#2"e}\={$u|%9i5m9 P>޵ىv-XE14uTPҼ|mz /:%P2Xe)bF ==_O|YsF3X[$#\X=Y :IU tBd XOBd|$3"}$$J2S7&N}gBKo@<>thn<Z _m뎎I£ I_씟#Z*ӛB{8jه~HO*\21fjT?FlTewӏ*]~UT0*,`Sv48Pԏg<15plʰsRR$y1 ^3hy#'961{zTjF:QN@||o-!y'|^{zH&OD7Di6 =@o7b]7!Ξfnς[,wD9Wu@Ž No*4R`^kOk2EZMm扗GFQQm[ךG6AC zsw=!HY,tq.3%Ze& /|a&")8fvۂ\fnHqiA=^vUo D1(-e$^$_(ћay4ɩpKFm 7JJף E=3QVgy[2~qٵIy.JnjQEEFfY1F̬(ք5QPH|0 gԞ};vxPrMx 3s7۷{_WI~ Crm!ZouK dWAE@6]%_pԆ),$ECp:bmңb=X$.mtt<  E8aZ() UCHEMAi#*5,O IQcoN-˜l<lxN\*dGMVN =iFA>ߘ5e \|*]nr6P]\8l0惁԰5ЍLC.?E 2v?Ѥ͛LzK-T4ϋz0ZiC@0-h7)ʼes5!DR,S;Ֆl\ѡ ”ﳕ24d+ʹGuso;P,(,Ǖ{8]Ѭ '¶ș$B|S[tcilF_{-7? {-:G9(řK*$H}GA ߌOPri|u<, es@ž"axiR#R7[odb?tJE$ h1sV_IF=3.L[vۃwzm@|2g@;oݣ3z\ Ȉ{J9 (@G/'"wA.HB9Eun =.O 6Sۧ9~%T&f!BzRQa3ڔ2IP35R Ū_/>dÈyB~>>›lVeȝgbJe5kpU1az#qljfusMd>.vNo vDǓIf?Q#QrouĬz(ĞsaCk[vh&ٮ}+U1b1qS=v3nӡDAJlgC$<*5=T$m ^ LJ+bL,Hr%`%DN2ا4JaV<á_t;zJCsS*ڌӁV4X?~+$ F:y Սo{Z5V w%IX8euƶQtXh 8w}rLxHaw枨9*U4̡v7kA'٤_ =[TMuAT )f}Uق(eM'oi`u*q ήhWr` IO9GhX3jJAK*-] MPCg.lb8l87+(nң5aBn(ryq .lnQ}'fgT=UWݛؿ+ iOBZ _6]ʯDj'D1o[$D`85]/+VZJCb<+᝷O+谕2zR vy/(&-0ie:v`0{y 8 :fXJ:w&ԡiyNhrX%@Оբ[-ɐ6mJ噡'nc X˵Zt'1`>BZggCc +jK[r7à0mx"\R~??Pv+a#f?>)`cE!‰C?G7hV^>B  PQ4oPDbr!226GԳ)!" O)~,%A"E,* & c[ܛD'Cwȗ.lhUɄtCM,6w J?:lMAp.Wv廝XN.C$,S&$Lhb8a2idKj΢-'Uy:yr>չa0HOfrZ4d[˯p t v$2A<惓B% 7n-c*<^3ARE\.27Ԥ p% @)A@!cdbo;&88roֹ/ ~IA{]yaZ)."%P vWz>IFLb}(h AK/*ieL^Q|,_zv:HŴy D7kMDsA$ Hϱoߍ>%<&zb^Jl{nH#׼S ,By)!R o vK*]>di,@LvU52IehPKy"ٟfy@"K% -C$]uѡ %e dAHR, SkܰJ~Hpf7TĽɚ 6y۝(Y-8AϿDGwNs Xh 4c/&H ^Sd,"߸zc#\@$<^WZ>~ܿTxT~?4(|νY~fmdvn.$":g|ylAN,m! D\#~ j^Fܿ0LvP7YJuhs[Was^O?|k鐴 aEE(X-1v`yT&^k염wwN;^ysnŬC|iKH؋I2#ªًԳI?c%Wen|+uTȿ\*%X~Uw.āϪ@hZ }gѠD!Tw&~"|54倬T&N ozA(x_q6 m9a]bZI['hUC _ۋz1*Uˬr*xV.$A>ߔeq|4,E<1Bէ`I{/}SK'ݩAr M@'AR$"rlӿduxṣ"˛ .PgHNhDfE)xDcG. Ϩ\p@Y(~Ri*r ߟ σIp7`3UU0! Gk Y2[ VuqQ=L"et!cF ja‹]8… ;m\[bPQvJoB41_Tb:9:m50;GGk!3"E1٪Ie~P7vZ}/e-3\B&[" J {ְW֐|@68⢛O"+=pf _tuPe9iҲςC~`f;G$MӴu(~",iv_Bġ# .?p\Mu~ak8ftv,튄u\#jR-Vrl'`sEY0"3bU#4fRJ]kV$ ʻo%TnEA+g ӎo0faxk oxrf=?kv{ Tk ^QZlOr9Y ̩ѳ XFن`܈VMG,+/Y^%9oÞAm_Wߦ)|fCHD#D"We^v*-^/e%I$)#WÁ>tr]=UI?eUj>f3BIA}FdEXַ5 ؆_1lA,V0Oivܩ5v{Έw+0nm,<zyZaP4toa8;΍t\[0uZsL׽k@>~՜>E\u,] st'v[EMί_ DA P]QRMK^QR(պ?XJo!y!SON̝Eb3dŲİ1ۆtCC6ͣ^Yfss3ovb,ʈl\lh%LFAJ5#-ϥU2i?jqsw4^ J[ |Hr{W |JesJXZr Mٯ$ю;kKIeUpMmsTtNtPpsШ- .̙&A}Basx2 h)à K.t ^g0ApYɑ3=+=ߗB"~')Kd$P?YB.." |ȁj ڼ겚!,Χ蘜79 Y`iц6I4V)U*-D EY40eďώU:3 *•=Y$j:[+ok-GJd!Us \~ivDX]6:vW`T!Kܢm]_7U- D2p/T a8%@)M8ի;u2Pǃ׿>.dqqPRtH7IÒIi8xg)UE. \̯֎ ZYkB&?2+{|$W٨i]7?lrعo6F ߍٳ!@ ʹwӊ"ZP|f*5'\ )*͎o@}qmG}[7+vі2y$hs|Ea@\)FdF33.(sD6 % ߃ |h-}EK_oXMzu{vvzwJ(۩YH'<-qZ ,NiaFĊRt*z7v.NIx9t:k4 *.<=Ok'>t#roo҆PeVJ,^n3@Cr R"*.^ronMbK8USVrvҧN7cEREGr(nk>X%hؔvZrri,L7"lƍ-3;NyƘ_2g^uocp RoK+mx;|@CL4]ѕDF-{wijK!ǰVd?Ė/yq8`V8,U [^0n -KEСAKF rg($<.?fӞ5\ik=XV׸b<9zB<Wn%6 rbb΂xM 8| ]0q 6 *nE2w#/mJ؏zY6Z0 MGN= ̃Hg=μdq(8"gliS)\Ora)9B'] z'f=̓=վ?,5W Deįu0XjҪں5?*ʺ@R/a|Όm G1"CܝΧխF跱~Ь ubsi}}=h]e&A'徃b9KPW#Y}\}"4'$% 7 ÙR <D~L/)/IUnVT~J:lG0x@M;G+v#p2c:{Z81L5vN-Tn29 ZTHGU1UMzgۦd`n.,{G= E#wOy#!ߖMc\>kx0Xv@ ĮE9n CPcP'7 ,bK;2+aj\lMїJR.w=.&#>y itYb,)ܱ[6oApo$Vr:5#v[DC dkD+qC9*##+d⢐[;lrEN^K3Sǣ`] SwUUߴOEjaee:"l|Kx==yX*eB$`]4]vz0HjO^Ei%ܪLfb~*Z#HKz@wd|'PCt]x;%~!r}0͂`j&뽟Z֦))q ÿ!:!.ku_[@gSo+OT/>Ւ73!IqO}K%< oħxQlg%y?~!QƵ?r kLNƎA{.;hT|VAy{譜ʲ3it-`:[,DnQ۪t&ODH9` GO>YVSR+h/O [D p3 bu9lqq7{w#tT\Dl|~]1%[UZI6sʮx_>"]o}VQl&H&ū;`oќv.l"Ɨ/kĎ̑5:^ܪZő\SP1e7;; ^lﳢ:` •06&?:iѠh^{@ϟ^.YL"-DZ$EoY`l Lnty^-XaEEmaX{ jl4"P{qiAK%XDBGpCy>b , 6u)wt(Hw :`b2+`{|$]3Ͼ=2 y^xm/Rڊb&=4E\<);pX4[.hqN|7(bGjB#t'h㟨?cQQ& \T$Y*0[]Ł{J*H\=8Dr rf:um83c*o:{Z-@Qh5Tz%R+$zifd2~?#y]VbĤ(t4E,1jk9%ZgʥO":OSFS E5tT"a/l#[m#K31 ʪau'Ѓ|֪.:㝍ڭnT>} d۬gF20ÉQB4fQqp*i#y1]B@#Lu4Pȇ\d8MmSktAGDfzI ̘Gܤ@}qw_]ק8GN{ %2_`j|0x2='ץ7]|mQ8ۘrxr:edί?EI} vC u-~z+ou^ gnoisTBRDJnbc3WM ~,F?$csͬMBa:ʺwX,Fp/ H0mu\H`LRFHBFg#ذlmA0F ) jTDRǔz@1 X73,`]l|u @?f|@@;{8-'V1˔T*ݏͱ@ Dʂqj *;uBiG\p$ # zWIH[(NA`|(>:߻$+S/R(V'\+N$YHK adۼu-7wYd\"$VgD|9 xPpR3hMqŽBo [1e ףvfaB Z͡:03cb@zpm f_Skrqӆ:)[nLIAx:o6;XOnx(wlj@> ?֣\ڡFmͤ9D;ՠGYO[ 6_J>Jt10,vx0JX:Pg D5Sρq8o L&rbLQƃD_#Ẁxw\G!\(r1H>\w@֝2/g 8u:uԏ9ZaA<}Ń6pAVkժ3>{eX# U @as(/#k1cgxeJ'C̳6vl^$ESA0>Q`^ B4 05%,̋@G2(l|R/QEubsFKLǾ@DT4+q>x},ZٜCv1(Y֋n(e4ӓv:1?a$D֒˩Y>ݗz{,2IǷ4Iؗ _ 2%A\KwHڳfji3ʏdΊFeydd\dhイΉ\ 9w.DaN?t0:"hYFnr6Ds-JSD'mqE/3S,&;Ī,פTl- ~߯,T~"%8xBj]?o.#!2'UXt͗*pXNSDモnΛ?{-Zp 8^hS۱)/,s0&.Htisv$ k%ŵ2g҅lgQ֋}vnzUqNwxUP}7csyx1㦉HrOJ~a\$ qvl]޺H#YJ1p)L Ѕi`> {e^0O,wZVubװL"\ &+}n5T29jГF-yNF}mSGOq KAopܡdC{f{+T _>ؤGn|XqOj:l8l{s0Y6g3(`((?7ꉢ'E3p:hè;(3;zn:]d&nJUX/ŰU>og/ 51)oRqf~dI{W}Io9K9,;TVt"cJw܌F3;n)$0Zp6F^ dzM^^!)$}8O.^P/wA"1fLkǚ^>ķɶT׳H sZ ~*fj2w'hCb).t0|+%8g5??*Ѫ]ک{reC(b^ҁQ(-=K0kNK˫Pg*|(L';jm'q~=R-]0 N%q q|k\hT8•N? CJk%Up$x/ RZ*2)RC1HJ0Ib3CYr lÈxb %+Y!Vr*۬JOXW$5'&sx  GV~8zY鉴7_* <(AtȖN12ʡ}dÒi#͋nmk^(ƿ,yr=;U+jGKkeitM:E͋ZIg$F. R/` GxO„]VKPxm%QSo D5*(|ZO8a9=΍ $nump| |}pVAU2l+;5a PhMNX}k=\}jMS)_ޗ,^4It$\ B= BЭ\k=ޝM+,睟{h^ҫ`WXÙ,"F{7Ső͕L>iv|*MnV ZcH/-uos?j^I|P3z%,H7xcZ5/u3-7$Em_!dVtSDk/Q~RQT} ܝS z5nEzXaN)SH%24>&XErW>0۳J0}>T3OЌs~;1hIz[oci5Od֕`PՊoEr}QF0?TS>]gmvTE$cVQWLc%אJw.- (յӍV$QQ_AJ<0,OÌ~KjT+{z+;9B?XVf oc%~3t4|c`cism˔Ce0C8s 2BCe@#DD@\Ms -S~7^68>gI,\3c >/ vBb< i;3 7q*" )"2h0'sR7pY`|AnV/>eư=4-xNZxʿYfbbbd̛׋]L06$B&#^ue_ܙK WVq!zCG;$C(颷dH4v3FU!hCOjix 3$+iwg'Ye'a/]0v}m¿IUcح"E)nQM&29GJ.I@r__3luooOpd׾Gf%s`~|gI*E]ʹw@џ=,xQzJěد >٨FY`O#NuhJ{YxQZ77jpJ`Fg!5 ßRK</8{mVt=8]՜Hd7AiϪa (IJM))xy[|( vϖӜ ?oj0鳈Bo Q~RkY u*7~d>Cf%nf5$qtIV]p}XAոc{ԎjαB‘~CQYTRg[Jyjۀ.i`܄VZ2_6'w]L}nIʅQ< N] 9b̧D?eظ?4?2Kf( 's~[Xf}^!ך `9vr*o@V$\W5ȅrXy9O®KIZ=k2G%]痰U.'X2'7-5MMYG9bU%!js4aԟT%0ju&PZ0~:4mǨotM}ɯG| ]X=z_$&u-DitľW*ma x-%$n[ږkM7ʿ; Xd@t4!'SA1ERSpof{-KaG?ߋM$[@\ |Fd4vbtX-)\Q4gYZe070cac918714bb2574f544447679eb6fb531e9ca3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 21c162074efe45b9b45c1371553b103f18d3ee25 9cd8fb798ad04da75baddd15664ad9cbb9dfe6d0 f213cdc38981c5adcde7216b3470810937ad2b39 b84656bd58830121b329de7bc0b61d2bafd4390c f1e37fda778cbd38adcabad2578831d3a18a6c3a 203d71610e7ea7de6d7929764a6f437ef05e60b2