SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  C4Tt ] Iptables_Semantics_Examples:threads=2elapsed=660.705cpu=1289.836gc=103.640factor=1.957zXZִF! g@]ŗXf1-/6vRZL7*^Z cX͗T V&:{=fdHd#uʱ쬞D5@n=1&p-w?:l^y.I(w$E>v y:UF Oi-3PHbRE2qjQE\w_0fAVZK_MM9ʢ=\[new!1&shuA"X"<\g6e4ž2Gs^v/(? PaNƜq {D9x&BDa!`[}Hq̯HD zwH;f"-CAKMw;冧t崌px>/nwVC2`< e@/D|NJ<)Sױ6t]Ze d2O?qPߡ,6Hlbhx4YRϠE'W(ę pXV$Gs:?6OTX԰})v}o,AwQZ$o&* ?mMm:Umx.6gn׆26:4 `,0FE:jLTƾ絎:11`!LaTTUCK r "!RExel%JHko>;,czZz@ɿ_pAx %i2'p#Jw a!9Q'q,@мqѡ=tj />J`cbE>ud0l1I\p](sw5=q[3S\uԁCw4df78H.%O+#ݯlk}% #;M@ynɲL ?äW4S)pYtY+i<DrB+4PI p1J;}`Dy; wuA& D36FX;sH18p}xVGI\lު;vsy2{Ћ>]gY8SHY^پ[VFSm:}2瀭 sLNE`+ P^7qi޼E}ѩ+xrf9rF~w+zjq|ckܪ^H$q?o .%`(SIa}̺,~o$PxJ=YkcF\+\;2^h<)AX|2Kurk{,_%-,W(Ɵ^k3ěx gX c$ ògL_?2F^zVBoo#j=NðtA?&4aTE`!S5GsU d8+uBN I hL~04 @ss2p!`b2F $Wᾜ}l6X0Sc|G ÔЈ!{Q1xЫ 2wOZ )nEPR rIsV>T1& dΦ5o@rQJ(!hq aiDɧ?Bd$᛿"?{c^s?#5St~+}lY_Vi ڀ&0w3}5?M tESel n95HBJgYZ7zXZִF! ]ŗXiɟX?' 108vRLmU, B9+xL@*% C Iptables_Semantics_Examples2CS% LIptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6document.tex7zXZִF! ῇ)]A-MՋhvG"uIBm5D#'s{`m*;\Ph(S$-F}FUmjkTmg60S]h..0z6b} &@Txl 9|&1ۚ32<+)sDtA6dF_h[b"6e FMSA$ *-?m_sv A ]=8J^85'I?SK(e{y5 ɅS]jdvb9Gd5ëW> _jg9  v#Ѹ_\!4ݣ<)$E"qVFFxKNzUu=E j&`I%ݲ8BE0$cVI|^̳̉l?&){DZ e;38Ͱv҅P WL*~/F^4NyRk@HjO?w=5 PhMB~^#[L'6{ļGPv"Yj|F3ƨ)wa= [L@6`BꃋurP}꫖X&ɲK1rMM4hd3T;p\!DgSȽPMg tov[6W%"-֠&$z1J~k( Tۖ/.ڮOf\%2oN*}W,TR6?DKCQE%`GvIB |8 Sƈ\Z9.!V֧OXČo_Dj 1.|fn:FTsoCGrt?L,G/ Ksˊ xb)WYL-]ʤsќN%-ķ V9Մ mf}DӠ)ӦAMV"Rn\Ck_ҥԕ7'4Ɇ'?Ͽ'8q`2e @g7&CbwU塙"`n-`FIsFF()ǩӎ,)ྱ ,=\ 2~pJ:ި6~Yf3bjkq6Pu̱N0ӭ#M@4C&8ڢ*TcEMcCŶ$/M)8BbH$Q^.Ur      QN   - Q [ z SCY%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Ports_Faildocument.tex UC]%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6_Testdocument.tex _Cq%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_SQRL_Shorewalldocument.tex aCu%Iptables_Semantics_ExamplesIptables_Semantics_Examples.SNS_IAS_Eduroam_Spoofingdocument.tex ZCg%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Contrived_Exampledocument.tex aCu%Iptables_Semantics_ExamplesIptables_Semantics_Examples.iptables_Ln_tuned_parseddocument.texWCa%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Small_Examplesdocument.texZCg%Iptables_Semantics_ExamplesIptables_Semantics_Examples.SQRL_2015_nospoofdocument.texTC[%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser_Testdocument.texeC}%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_medium_sized_companydocument.texeC}%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Synology_Diskstationdocument.texaCu%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Ringofsaturn_comdocument.texOCS% Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6document.texWg,P}FBfaۗ g,Z4P;EB'u;PJ8*HCrݚ&{^o?|wnDYߚQm@1 ?9]5:Cf(}N׭_f˪+ |34_bKt W%B[GAg9_ /ҒK[XTm(t0.wi;oy u,yhV{ XxGe'0Bip:nikS"сNʂ"< Ͷ08DEe7[-Q2:B-@^ʭl?"߱ 6+*7 ŸN;!#[хi~ڮ 'jm]^'X#'mpSuu:ejN|y_/jtpIxԆ]0%ȿBq[6?:dGiA+wHoz_zkNZe KPXXȈHw=cRuQR7_N-QV S-\sօW@39$^-Ep!ZGKLyfXc7ul_G(gNT vbޓ/,@hb$kb(<2nT2 ^kԋ<3Z^7h<4Igv:|ס:Kx?4<7jT=ypw&=>?ڨaa^hRV I< v#ЫrXX[wkL dtC7oaa!9:_I|6oT Vs!pŘ<7N|$ehM[N)ݰ)/#n; z9P)D{~ ilVNX8sM&*-,%- ,HQuPWYL'k)6Bj80e~@)0" :u~t D$(+̠QԂ/̐ N!)O~eJ1֐FVzhDH0Qiz}"I|i2Žmb ;Iw?{Em.ߔE^xwF hwʰ sp֭G*!n#rLJ5Nu'&gXeٙC9?YN1V)]hAJv73%Qv6!v0sM o!٠QZ:4򯲈,> Nz=}a$J(Hi',ZnPbSQ W &}[8̔YPAU447$ lu8ac35aűadթ? ]~ZN[ֲ68 b[`C^d{mpfpxtԃiqghN( Htɛ{]dB͵:hKYvE ,*FH!p=q]/cq2כCS:8Oi4ëGoy. f WD X{e>},T=s͖P)P%9u;Ϊ64Brj?qig")dYSnܝO|nl[${mO(<%9méid]J 3/jJv`zx]5y("fI,fs0Yv]=*<QZRu9sQߊ Lݴ06(;(FxdleJ*mzM1EkiyZ8mtrfpåBf*~XZJ| 9r9,2 .Yt2Hed)bVAC noF + !_3r`x3'yjz|>y NyxA3;ߔG}JY|YIzihx_n~A-hn2X.Q}[$; 8)nUǪpKmV™,陏%Ѿ"9w׺RCD7cW.[mOMՐ;#A'QElu:ȕT4c5<=e-1sأO Ax 9(KȾ>fEf|fܧN]9aTLݝQU'c⚥t / a4_I'PQ>R IE=1 *ʛ'ر6ڋùXOJ,૽ Y;kD=( 0{ty&cPn2\i-;7Q\"6Wcň\B.`8pFDY*:#١ ωO|s{9uȰr)h4vvV##&^9R_ T Sfvej \~(dͰPpcMlN !@٧6Lur C7$h;tj`/vYjp&E;h' .M(t7'PÒ"a~My~)lts>T]63LLOy sRETAXe^*wRZj\-ޗݾ^Ϟtt?Qrml#G;ٕ|@IR[G:`:Jg"pz-S&=J][ ly!35[v/HeKy/Pχ/5n{*d'5,y 0bL7.m}XRHiaϜ$CO.wib%:Dwj=~pZ$L 14(R3쭶kqjB_`=ûuG|Buoi^+PUMdJc"Ҷְ%Ls7mf<-^Lh7 E`[#e޵bAh[DdixuOh_뎰 :pp!Xù+qźyՙV(~pdؿ@%df僥ſ.0LF]NwhvR4dx1bϻn8Z~ZQZkiQ>T{_˘;pSٷCođn}d=`c5 Nt:"XMߥѹpg 2U׊Nu5'vA%De>'3n\aXH#u=t$P9 >6l)" 9;hTS$iY~}'rQƒZ ٞ-Sluc C˜0MP9I!4"63ڭ`WnHBXg6zFj\9(F=# Cqp[`1e j]4:H& hղ-.B緌xގW[ qy =PUwo- drB1vOhSݶ`C0RT\ 8ŶvaϐzR'[syYD)@Z]3/T㒍q3vښ6(~eU]p+GbNf|,qx%-YO en*1m0cI!vq6kb5ok/Va.@jXl挬HWAJo, .qFZ7AkM߳V~#D3Z"Ք#錞5@44)m-V);q( O<*NMPf8B&/cZ')tdsT*i@ةu27nXõ|qDZ^d)9}WJә-qbQ{AIډ.iۧ3Rݳą ٛ626`|@>],[輈MA(veL]MiK11<Ǿq,()"{sۃڗ[ʵƮm)[^aa:hsZsK৹ha-g<G*DHQ,J4E!>Vɲ!`IYҸ>tu筓W4v=/qrrRoBOƘB I+/,$| h.޼xŅf%vbK'W0 9(G5{Ylut\R:ll뮅&rze&zz_də-h8@O0ٶPf!DV۱j`+㩇rKtZaFZ%niSM%ruqI~emOdNi+1i.11J{6NFԸ/\ݼ^@'*<}t3BV=|0qQYyU7n?U iPL{uyr&MUA2M2Ya(@VX.ǂ0j 7 ͉K<™BL#kMo&Ԥȣ4,GGD[ 'W ,yq:Qu*{W[COkLe:@u?: ^}6v`p$w9Gb-K0{_ XɎ<ۅN^T/v7^ Ru:iT!2I ɨZgUS5񦚵7.s:Z?b=utyG0e>Ǣv=Z_"-o< M5_gklep9nSDbqDKqEE l0;>Rdk_ k?Fgm(wd&R`8T1Ze:&Mu_ P8ll"!5MUy@!'*A^' zFyX];l6.S'nqGf"!+&S>\pBp;1+Q ZJ!sGw(ay'"54,#Djb sjYpnE5r'VWGUnZ# cB=x 즀2ɯPX%+J\J6L΁; 5Fz&%4i&Sݑ} clC4QSwOjˀ:hZ- *j4[@OE6=^rU 6=bL!F>ܦ6}l3%/"/ x͇9rx*ٹ. d`ᄸF} ߫B`(fF|\ o{PgRB$P9f#Q_ʰbuv#<ңVN@~>yѾ &hwd&+GeBRy86S. AgYZ 2CS% LIptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6document.tex7zXZִF! ῇ)]A-MՋhvG"uIBm5D#'s{`m*;\Ph(S$-F}FUmjkTmg60S]h..0z6b} &@Txl 9|&1ۚ32<+)sDtA6dF_h[b"6e FMSA$ *-?m_sv A ]=8J^85'I?SK(e{y5 ɅS]jdvb9Gd5ëW> _jg9  v#Ѹ_\!4ݣ<)$E"qVFFxKNzUu=E j&`I%ݲ8BE0$cVI|^̳̉l?&){DZ e;38Ͱv҅P WL*~/F^4NyRk@HjO?w=5 PhMB~^#[L'6{ļGPv"Yj|F3ƨ)wa= [L@6`BꃋurP}꫖X&ɲK1rMM4hd3T;p\!DgSȽPMg tov[6W%"-֠&$z1J~k( Tۖ/.ڮOf\%2oN*}W,TR6?DKCQE%`GvIB |8 Sƈ\Z9.!V֧OXČo_Dj 1.|fn:FTsoCGrt?L,G/ Ksˊ xb)WYL-]ʤsќN%-ķ V9Մ mf}DӠ)ӦAMV"Rn\Ck_ҥԕ7'4Ɇ'?Ͽ'8q`2e @g7&CbwU塙"`n-`FIsFF()ǩӎ,)ྱ ,=\ 2~pJ:ި6~Yf3bjkq6Pu̱N0ӭ#M@4C&8ڢ*TcEMcCŶ$/M)8BbH$Q^.Ur3bFY2Q"Q@6a\znvO JCu% \Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Ringofsaturn_comdocument.tex7zXZִF! P ]A-MՋhvG"uIBm5*42i=?G 3BNFs;Kc əTV+W.oɐ,~fV0PUczV.޴9Ttbڜ1n0jSc&fPg1[p afݻ?|K+ MLj 3mfUNv֪_?3nIeȈ(nW*yxd4t/^ TXk$M`(-RAI&s$\ǨFX.iߒL%G+Mb|lϿ~O 균nM9tGVN7KZe]/`SN/;+=)>`2*U&ʘt%q/KIɧ DջB#anD0-w52( /& uײ5 ՓB[B |嵖 BjCu  6RWS4՛kQJR֓U`qvTD"Al@mZ@",W~pyw?T=]tLBC#RC4n0D!쌮#6SdOJ(YKj2*w6aDO"9' \m";j3$\⺡:DjF.P^MtilIܕ'/Z{&tS@s{5hJ<Z`Ʌ=%H&T A.3BmmWq|Mʴݳ;~ꝋ%29qz+7 9k<@PXHV ٞ 0!$y(lh(_j2 TC&&Zl3r"_Q GL˚wWBuk/91pRdlZΒhv|AΙ2 D1LbAX;'waᖫ)9$IP=Vdl4b掹vR >GU ݒ4#PuўW-L4f;>YD,uۥbwh+^ ϛBˌȦD" ^ /@9{"z^U3^M }S(CË|QN~hKVw+)`HS\PҮJϪ3gێ6}iڨKP!:w{ܪA29 ]5عh!6dmGH]s8ǁH/#q3WUݪ &ݝ6p?@).M?Y)p /!#6 &}Fч TSY.A Ϣ4%b̝ǵ#h㵠p*tXXT9?5r|b&NSC!_@n'>maHb؏ 6Xյi~{U숪U&yt ~_aooGn_q i&P$4 ;4r!fűH]A9l6b !=:9+B\/XYp.²/!r9]1n]J$uOun/jxjϼVAa(r̲FN؂HtT:| 4bsHXڱ~os1WURt)X O\cܕǜXrc+$/7z4ae\EX_؂嚾FA>J$&MK&h3[7h+&-PHG>;K} 1$ .B%Rcn؅9kY΢{,KR(p--ywYLW5o7(NSK+(ss6.XnN?~L涻l}^Ű/<'\/U=0fVF'rE>Kve%pb9%Dq>m`oLdSh^݈Ђ/fB*5q~t!Bp{E̓5eE ~8KhI5]fPWfލ%LmV1 m:Uf#/I \P5c\#/fF_!((aY/,M* gH,yOd P@7yVm&MδxKo-oOwFi)I O| "gȖ 6Xc,LKS'NZj6OR i5(m 63O+*jf1kVPt ? /LI-7 _f;rjShCTNM ]U=#YxߕS _lgx1'K/}Wl<#(t6q? kU PgFq)P;;dKTNrp!<J\K ԱgYZs87`7]PB_+pGn|cn3q\BPJ\i-yMs $E5)6pp6U`)1kvM:5ɣ]<6dm^'lsX qd>V:u" *`:c1b KKt  W_Pj82fH֏: 2GTp$ _pқ/zFmPV(n0 C\9VAO/PuR/8R|T/Trd7%$`=Zֿ(lyeȨ[d#g²%$aԪ] y* ]E_uwNyAN32>*L]P|?|dVpnr WȄ,+挐-k$;-D3nL^>=-Cwڦ=`>hL+uaEq*>C$Ϗ'մB%y"KW-smti(=b9kp9qo%aAMc VIB\uއ>"Lj JhDi ٗls44ҟ WQ%et$ޱ[V%! ctNOީ0v`$I~ڽ97K@BN[Wn BA 8˲F#Wt!:42P\5P!0_+kxϥP _I͝X8րH{M񭁍4w=QWalűGL=K4H!GCt,*I Kju` j嘨Hc}A/zG7Hq0sQѿV~p. 5_zũ?!{$O^ #9.s^)hrUS*۔IJzjx2~q8Lh qn@•@ XFLaNT\r Por?#H;*{Rbs:#]ɼzj7 D:?H]$W,}Ee(^Nx-VyTneF#B Q5ڶDʅNZW2!@טv#PQvYR/tEh@3P9*aoG7Z^ fHڣvqէ5Bp>\/~E,I"NcHϮ[ ; B\!Dad;0tSwEF+'QZfatGUjY@V8X1<,ľwMa~Q7Gq92ɍa=D`XdrqgovF{s96Yн \&Zk\@4WɧE68@eca{MƏ4@BDl[(&jfl ,>:u_eV&z^ 6K rB0rIo-V{pK uU ^l"&>192/nOg #zׅikR\%N+cm}6krk<&VP&l\UZyop:41~UTo9oŘ~{l9jMAE{s5q(Wҙ衁%A3MpF jl @n̨É"@岆ˡW[jfZe#q!4av乨^?KM979'{?V!Ȥ6ﻩ;'V*5_388hCI7;EF)'<*m6,8{%^.Tu L2G3[*I zڒ`_KyD%sY#+FOo/yZ4 >ӿ  q\nye w&̎j: CXs{el%>pn ç(iMWF\ Zznv4錿tdˈohsye@'\*gEOCG0zLbtjS:7_cF|ET. /{}OUL4JVN듖c'@vmMG_M2g{__;/a/DQ-Ib6cϖ]"7\c{pzomE8MY6|SҊX-Z[X!"ߋa+ zɐ+˔ P\NCT V#Uh)μlZxWT_T L;}=5K Zui2D~jS>ۖv!bnIWi B5:5ĩ9$yװ.*cp,\CqQ^"ܣ񷖿*/A<ۓ x:vQ7Z;= ,2.&ٹOh&egUU,`0 ܇ѹ`w&: &)/aޕ@I $2˕q&^r5g7{O@.[,s}cFjg@\>7*\e6sAaߩ_CAgmYו.uXRGVI!g?j{ҹs!}D*%&똘I8o/qp\P|GȰe۴A娪 8@6Y3F5sꌎ}pg%ELn0h PiJ 8­ٗ|3I =kL!Y]?0&[A@2̉ 9x|= ]Nȹ-“*O;k5f=V4jŠN(a=G~$UF  K`RG-꾉#m;MNJ?859ENZZdG"= YTw膛 7}:N02qoD^僦7Y38 X%ȼYLn13 DiBpTӷEW[:#Q7e&ڟƧPpLPXo-T'ρQV12JE$ ߏ1iMj Iʇa2r_ŲS4雤nc]GȧlSᮑhECbw1r ͪ$x?gaP:ή&8/(+qZKUڰ JBblUN&U?FA%Wy9:^ PiXPm!Du|Oyfqa ZTe(w fo -HIu)ZJwtM7|zƨZ)JI; z.ů9Oark,]C66LbERmzǬ! 15ËqWwVI*ȿ 5+ylĚZڠ(0^. b(~gYZ "C}% Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_medium_sized_companydocument.tex7zXZִF! ]A-MՋhvG"uIBm5*42i=?G 3R+t:zlԢU^;D4lXG)"* 4L؎{T(Q(NHֆzq&),gX.k;.=ն +HUb#FO>:Þx}5:OG_R\O#@\ZP7`ʮү:Q  آr V0S3dMrM>ʝ^Ct2u!j9#%UfL1FTHB,2X zQV/lqwy%5">𺶋Lp]S|S;m䌢ItAkg*9.\*(qلa˯X$< qjF7Iן;B[DWg3ߣ .d6,+K!!.0aziJ~HTA܅ s+?B6Lr=4qg1ׇza ܖ`<5.Y;y4IH.UH݇qFjNbf4O DzoӏKs>ܰԏt_׆ġO}rR'Y95 60XC5'瑓b$~ac0 ,ch$27 1@EG뉮خ-Fw-*=VY*cވ7vjUbg\CvmF j4 7 -l fow|M 8?8`+ÂMguҽ"zdm?C]6* K*u*7,QǰV@J sP5ml$(D|7N")_qQ ߨ=K 5ydEu g3چuPM7TN*&8M?i @hW_MO{"hy¸/"y?.)ROݾϐ0.iezGM$ªtNg"k&/$>8)hil+!!4-DpI=>U9ZIUSd);ncЦ!ҟi@YkQ^fdG![2MqYʳ4s!wy-6K/{Mz vclK%ޒc48/ eAÒ l|uxzœ32k*Wc0#lxN ڥ{8#127"t*Ck4$%=^}iơ/ !m~l@I֤fģDįUks^$fI…T3Nr1,Z&Jh6HiR{=E}jL,gI}rV%0;MVp.dPke*)f@Dg =^ӈ4.Cn. \`=6۬y }m({|ipC^[Io3랷c8q F$X, c dI=1EV: >ΟFpx)'KYs _oOv=|81Fko5YݩC,YhvῩB8϶b9m!eC Y)k7W=6;H͆~ܕ+ph]%åew26^ %1֭}ӯ><ΚRk:|=d?@dq$*@c3z۬L2f6 ;5Zj6WH%ܙ;,d&Pϫ/Z/ QސZe֍4Ϟ$e?8p1o\59FZ қ u(!:ЃvFB+U$ˁV@ 83 H5Z{ÀHa #A ry}9lHkFQDn35Uüh!hvL>"܁5VԞ` Y Ԏ^g087y#SQ!RV%V=]0|piJ“0'/(bOYyR*qt7p!LꦹYFc8zy`e?7F|ۿyڬ6JaPM7{{A 9F\ז0Fp_}m(e vYFK: #:I]݅$A*mï8'GAYk$M]XOj4,s@x%a4@s u@|TӵmJ/TmgڡMB!׬pGL;(m{oҭ; QYSW S/-13V2?PB1+tUEO 52oQ)TXOԓj2uo J/~6CI/ (֕p[uc ߻5㽕QX3ؿnx]@y+4Tcyic8_Gwfؑq'_Ή`p4Ovn+rˋjDvfq_&Asڔ;h/ Ngk]I@xz0De[_%X'+BH;yiM̕K*=/qZ޻Kd! j`ƍ}mi)6l KL٘s@~@?UY >~m`|3_* P aG-M "J j_ l6p1> k[.PCt`:L^5fKl 4*1lb=ygvLma={o 0bNkokidm2ݸeapIU٭&r?֜mVY h\&Ϲk_:050WIdE cv BJI|Fߋ#/@% ~!E6\L-=oZ~IE,Vɟ s/FMfhcDe|Tu;C9Nm?O0+t&XЭe+g%b^C-|ƸD_|L1Fʅ&nC~LUk?V+ U+TN))CLn0dEt%W&(d<)܁-jꪊ~^A3hݴ?v)fUҔ{:%'M+jSxUI  3t_uy&( 0.!+|XCt}bԷmWd3GpmJk ľBd'b0(YG Hud lr' I~ 9Gi͢Lus k+6Hw8sjg@qz,QiybMsVo] wt)޳?S9;FuF%,KR;!0"&ǥn(B3Vpkh6dsdX[FOi؝3p Iffr >Dn9F_zfum0qir0y#w|_OM5wϒJW7n&\?d,Rs:UuЂx 9N'JCO_2&/bѓ4[6tl^ z( Wj;`bH5C.7z)Q$;Q >" < /#p$~%~y7Җ;׼l~Pd@~VLe#@"] ؽ+Q8d]YtlEq? +ræFNo-s]GK U)^_X1;n jhf,PfMihŴJu85UOrj{_(jNGioVsf X#u$=ͦ#a,Q`A<'"8_5 K^?&v2,!׆kKnOn'qq,rƬ4u%OɜY&Zx4 k3j.CpG̩8jQ=Q)vZ敐scW϶?E *_g6 f ^K&mN,2?iF*~c^; `R4K }Ѹq#6dS7wTLU^GoN\]BӐ`x{Tbm e|!Z[НYn'V 3Uԍ&tozs>: LjL9ݒܲktZv#Z`ZlzLe7dכu` Jg&jA0UkД;D1xq-[AbAP1AF'2cNc ~Mݾ'J`s-'uhǸS9NO'Z#xWkM* &ӝ#ufiE[K `$5 ]Ig(A*V> {hULHiA?$rnH&`9!66w"7u 5fXZw;O` 8‘YЃQDs=n\ ($M#2RFȣ*ޠ/=/B"l/0ƗLE9mKB H:s,$ZSH:jڛw]Yt45bMrs?q`9+ngM_::( &Mtíֲlslx|B^ '\;sQ_*j2ׯ0 scq_ CC1;Ԁ6q1آ;*e[Z-U-e![7y$`ۏ|єz KnNodyt avگd'Pi Q[%Hi(ݍ `/Z{O)NQsZ5:_::CЭஏΪ8/`Ud $:=4/r8o\\=H-Tkn(g(*-<9Y0t'ƝW䀊UF2sv[FXp&@ Ҹu!^D&LN Dì/` .+*4˧?U pA5`CyJWΏG1E;G^aŵc|゙އ JI^*QKό'U*0ܿ#Z`M3-blO.?<3bEƺ0BH-wI/BeU/-߰8oI $5'?D쟛N#Ӱg+!iVQ[Dkz3o~FUjĘCzR '߇ y<]Z_G~. c#mLw*|H/e60UXmIƣ% fx%JpYlYM<ܾE|`VXbU~V2R[:pLb%9mzӱ\* W>n&_{-d3%#ZTXLc$aGX\u $D-t]Dڰo@WhtBKzi ${oL%oU_GyxO%\1>ɘtۨ.E zD@ /O瞏ͱQ_Dt,<|NE*?n^~b޶D X^93:xzj4t>m O;B*<~>gv~z,*u<&Y6c\Cxb㭣hYX@'#A~F5 yJȸx9DNJFs=(_j5]Rϖ{5K0Eh^q[U,T(u;C2GŒt#ovNzd!° Y>g4_w@%<hE*uhVp'F׭Fںi40GZ7 Yr@? ,SN4d2ޢ*p"ص嵫:G,tViW SST1FKۯhC"dy-Q_Zh7ܰ% 5Hf^ E =41{G]mv,BoZjs@z`_9ؼ<*/,vi5|Neּ_{%\s0wgYZ ::CCg% \Iptables_Semantics_ExamplesIptables_Semantics_Examples.SQRL_2015_nospoofdocument.tex7zXZִF! w &]A-MՋhvG"uIBm5ȘQX]̭]^+;XKj%xNS7wUDL̞jLlQwaث1u/TSQn'DE|N;S_wr;wdZL ӂNB_."5qSS( 6gsLIj|-aN^e wH-9[7R0ޏ4º^ F#E:ͧñ{6Jw0VΌEfdWz7`HaM 4 lGsⅳ_/!Q‹Գ^hRh?6n&6ó357 pBKqsbv~n{ɦҭHJ)EѰ%c(ܐaH}-hP`l4":!@2֣oE\ܶ,7K\/Z@=TkaԭaeIZ]kR8M$zgKA<$BarCn:֎Hy7efpzBrB?rDXqYڇc-bJW!(E_TVu 9F;ѧ!WMjS/Nص G¼|e%36E caid1_MJ@t&PdYTfڽ%i#LJWs*ڐtqWY&$/HkqV`ׂYEiiZ\Mz6626R1fln_&ZsվсWZS! łB>3X66~qdą%=̧}bX,9EMǀD;Hd PezKL W,F>H [kWNzUFERٓKcXnsz5$&ޘ=_+Wm;`4%Qq܎̭.^lפ-0-`:[k:aΏ\ )y(HLQq*HLk6]? ثDpnXT^;3 fܶ|%'Ftũ3t0TȔ:%bK(&>*;$闓 +P Q񺤦<`ҁ֨Ռ?_?@/mnTɔ:(C#*N!chSaqvA6#GJ{aeå,f(+i`_-^}O`{Q,\R-U/ܟ!'KT(@Btw[ulH¡W|Mz*q'}A0-|fCV@NS=䣮\tMcj>u加S`n꫒=YI|+i~M1p 6_=|m3\ V=J^ٷ-},8GDx:)()$7{3ۻ;'j($γh}²ubO<8D"a b *z Ok>R bgjãh>6?w7ѶR &jzo~?ԐxM96fֈ)ПQ9I@l+HP@ŏzLÖٖӗ[dIc׆\[6&6W"Wۀ{?e~B;|α~ՙr 6#9Le#F49p[e}H.F2l6v⸸rvNE=W5~ЇFj/4*h+uz3K v.IQrJm61"ڣQĨ>;AeF.` V}KBˆh֎[sZpK/%5MP < $XB [ RHM#XO^j aUVv]oM0FC <#N{֦W.{E&-blMdn/jc8LH ȭ \l?lcMʭtڣ񉖴۸ 5 ?EEDūV!-_=;$GɦrOc?Cb0,7?\]$Ű|2_ ~\B(qV[ b?n_;sm&z%Tϡӗ#GtPy}AO?[t]7c[#TK-Η bcU.xUVs!K-[ m'޴DW#wOxYpj_OĥT X** (mN,f~z&n `葎_P$ƆF*qY)>:s [?J{K%6]0& Jpپg+?OySVAL2=Z Z.-Y}in-E/z2WwoA"E 4FrYk L(^&n(1f<$o I=h?I%F Ԕd\V/cfO4 LGWVZ+U׽ biM@7P|&~pDi(C?_myx'{agyDKI< C)MT#9iv@fN5Fͅ!Bq6?1!hGEk[x #t䇥I%{sSs=*[3[xv\;Qnti7 nsn' ɴ FdX]a6n hz2:&mH@v)da ;RJ(*@~Ģe}U̝֝J ] g%rɘHJGU3l݀3t7kF M-`ZX]{iG}`o5']w(a#< w1~콭@o RƑN>ܯ_j.a8 Fs2gnZmu\?"Ssݚ=L'$BSeCE+gYZTCa% Iptables_Semantics_ExamplesIptables_Semantics_Examples.Small_Examplesdocument.tex7zXZִF! ~09]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6P뫀OVQ$6XⰍ]a /`8dA\a:22Ca/贻l@f*ԤEj |2Vy)+PdE5!Hᷡ)Mb_zQ3~`AdF ^T=d?e(am'`_3 vlgã3z}a<^Hl )TPԢ gэm ]X\`ND{ ^)א,jhǝfVW" :4(;ޛ8ڍKKnf&O5D敡1YT8;n٠o >c7$NL,whI15L>lXmdq{ #GnSh~= V1&Wrf4UEJ'{טW*gQ .C$Xa@~դFz|OZaW:*L\aBKSSN^U.zm#gHҁ*U1֊ K .8zתd2?nkm롽Jz[Fn.22'ޗ C*sAs[b%qun?ފ9r,>Ec@b8:cbߢ\,@(ed0;91s|٩봾'ae;ȉT۠fy zTnF ]զ*"R$1fHg_`| UQ ʚ țPX_QK{o6Ӎқ.LOCr*&}!&pդcDj>/\hCQãVUڈ1zO2[׺E KŭY_ # %멍ayI)Tv8=e7%M6Xf)FH fTlI&c{8JVfU܆!CUxퟳ ˪ݑ*>ՀiA6j>*D kyIg&kٔ>x 1Oteg b9sZzmؑ} ga|a𒺰ī7է{/4\!@Ժ&z)K>-%'9OxpĴqs+ %ޢH˔t5P@aMUA{cMĎ?:.22*u>gYZ  :* Cu% Iptables_Semantics_ExamplesIptables_Semantics_Examples.SNS_IAS_Eduroam_Spoofingdocument.tex7zXZִF! L]A-MՋhvG"uIBm5ȖE)e~~M{{Z`)Rv#y2r wà?ܭ)Ntu/(K%GRœǹ9,u)ߺӁF֫)ft(d'MV~,Ҟ_iߜ sL<2i]"+5-b ~q8D+؝B'ifn&ػM}%ݥ5Pd-"K!>nBmgMQ]81[C"B7ȣ %9rLM|zi™nyߙCm9@ddRQtbo.#G $)՚a^k\>VځgU~[&/l6߸>ثykI2p5xo>h齹h ".KvH9l^qv0{:(6Fwiku%d wPPRMm!X#c@JؼU/C2rT} , 79;(1ҚT8U,󥽜{|{%Z} IGgjVsz>_*@/=:dYAsnʗnvaj<ۏ!\t81't.:[gW|H{)q"ś!v\O2{~oyu%:LԈJc? 1(pYem}F2vd/]B,DQ%F{kƔXcv NrY*ϫ~IP_=!d]`id Rf h!FI3L6pz.X܈nܜΛ{asbُ3t 4gqao7h|DLS.LY5z6R܄y/ɍDdig6Q hՏwKF6[>Iќ^ ܎xQ-.`'~JƎ%QdYaoÞ"x4;lc?Gib+BM'sFx"Žr댢 !>JʙQ*WLM*eo9f}&y("L490vی\ɬ>y: 顉ٵ3]@>lxåe!ÅJy'knA:m:"KH!$w::5dG(zۿ@ )QuK0`2͠P&KC*,7.6K>!; *JsVi!]^=%PNUGp;kMq[GM*kkbi`&kn}~>ṛ~ wWG{D'^(k8G2p9)BۻIx88zys$vN`?5 W<00*ˇ >U=(*y4jh gYZ  ! C]% |Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser6_Testdocument.tex7zXZִF! >#]A-MՋhvG"uIBm5D#'s{`m*; ޛ#Zv{=d^5(հ-jGѬc`4v2&PB Uz1ً֝8й*o{sf kLK{?מ _^*W)+Lܘ MgܠB])$E{_Ե'Z =$&H1tYkru &^xgT}^|G2 ΂@hir|Q!KTpd{5fz]fb!,)ej^TTB QRڵ+fH4Fob~bۿжBv-_54-5y*YH4Id#L879G^aPF| ؎d 8/\$>I Qj G ozOL)Wב ;$nȐUŲ%Ҍ $l;/g)%`BWWϧΒҘx/Z4d*]&li})̛eKD+2__A˜fLI/,a 5sa'-bP:~xDiyنDHW2 ڞ1lbA5^!UC;&AZ֠`5'a_ [QXEgX?WnSўU5xr/ˋ?jy!I݁">ٱM$6i5ܩŀ댙 (HE`<{FlaqB7^69HH( ܺUJp߷vY&i(//_҂vQyvVw_D!f@f(dXۗvYR &L~ҹ(ܴi\xԤ(iOh4WR}B'-;6+ryW1ɦYn~FYpoWTp>C ;2Ҏ[mwsZ&EZtEA7hlm غ lE¨ӛc6*GIk.#o0'U6[AрilRq~d'_wmQ HPiT( ځ᪉6,ª) Jqqonk8f|<$q&Z ]8•1|&{Gv7jY4r|Y =n eI{bU6B5<Jc0֯PwSoV*;‘ni*HIXBS/(Oh^"oLx)ޱNxj[tFٸnhh[1I[-c fbeY!Ѡ3?ǭ5fo(PgqMZQ$ ,[Z%EjjRԑp4 zHl*"_hxZ5ab {mEc)q?e8t  ";0/dOMk -it 5[4DFń?;w15a`0`vRZETLd >VTh*@ wЌUc~uG-x&o oU@HzZ|!pegYZ\ Cq% Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_SQRL_Shorewalldocument.tex7zXZִF! H9]A-MՋhvG"uIBm5*42i=?G 3Bkmc1v)睃hߩИ}6 kV坋(,u ޭ7n R&JL*Q夗lY$ :l^ ]bC0}Y{ W49X'3_ՠ:TU - Tfj@Sںp˞0[DX#vXRoM@9Å=Ji82k.YXƙ# Iۖl|j *KeiTP"&T5)eF0nWfsD4%H Y٩%0t ٸ_dٮC^&Ч|U(?0yZ'DsDwrZ"8%=LX|y[+}_aLne=$,g{}Yw`$Qdž 9Q?c"CүY,v)EEFHhm4Qq kYCٶixwȌE0Ol1!M,x n*+in[uO)r2P/FbepWڂld3C$'\~nf*  u׊<.eF3dH2ȴLK"ʔfd`Nh5ER*v rEJc[wrD)[AwT^&G!G4XܠdOjkS~/_Ha!0yd'UKP; MIY U)>b21 c}<'^jL 0q;Gve!dir3稥I93I.P~*j= ƒ~T\ExC&A9tY0ZŇue9~C疌1?Adq@%5RΡHS~ao[=nkq?XOT ioGVТ >6:{%7c"L̀<w~yV EoM>B^D0b* -v4]i<[4OCXmM#.sGU~a{v{:| ,_% Ba *6BKw j.Y7} Wȝ nۥ,"e.DC>=/f]:Ql;q.b9 n5J|7gqDcO7؏ۏYL s,.Q0LW0-oKeFX4ɪv4pngGsHp?TgkT0]  3gYZ < CY% \Iptables_Semantics_ExamplesIptables_Semantics_Examples.Ports_Faildocument.tex7zXZִF! S ]A-MՋhvG"uIBm5KmWV 3ɹ F?Z)δTh[/T4uzcW_ %3h)':#PD]e?%6)V䱲;]9aR+Qyq%+.,JsXc p(V:{|ї|'Qz^1oE=h`l@LWqvN5$ӕ3E`&5Q@@zԞ 6ZfTv2y ۶u ze,W9&T~5U\ƫ=B,UՍ0TJZЍ糚 16Ȍ6 ctw<0o /LG۶ l׮k nEXeVkFզNp<_1B(rTuczͅjP<K 3nz?/HfZ boO7)hT[0A)᪛*,3R}ؑuԘO:=]_t}R >4,;lZ!9ѽhkkCOڥ~R]~xprB`5Xu.)xuO^igU rQ'ycs*^sL1t쫎e&dyD<;dnkv?2+/O6KK;#Kパel?-Z~BMaJk|uPs;( ^*U.:-JÌ.[.ӝ6lY "ȹ=Ϩv90%À9.q% |TAb T!-s#Z93dY@EF#r:>4f"q7t]tfGI`:b!&HSm\9 շ)?(!%[- Sy,8. E_qId dwf y~#y 0:vC^S/w=A4ŘwD'492B1iCPq1ctuᐭ"jLH Ưo=vpպi|1^9 GOL<% 9~fޱc6b5 YMt;`zaiLe@bqo+t䙛&.ÖxQyUNrs_+$kQ{"H@Lknb_ ?ow9'l՝)͵JA<0[G,8zx@mg2*^_{&=̱ br{#ne ,@E}'cEEv&ZŮr% L~I4GOMZ0VwL\N:%:#,`+ŽZښ@rwCjU\TPa:̨ؗNV|v*[.h,L!8ӂA؍lݛr $~ǕĪ},6=Nf|~rdCts@W { % ,./6'@+w4kX4>LJǯϕJhl39|ek絃5)/K] LN"a+jp0 SE}[?LJ/f@5+ " } Q)-ymVqdy{[RRxtx 9| 8җJW eT&5KPlZMJ-y0W='u^@AorE@:DNo__!H'8V'领rs̭JVt'k "7Ǝ&-_=tQc7 M,E̽\(DZJ|_a 4 q*"5ysf&RI8Z2tuLڄ[+cBg~ݞrc]P.ɘm.d68)$a#/]⌣UDBB<{ɹmM6791^>>p3Vg"xDƃ &ʼn^_v lͽ;}WC+yE2Xe~+}=1tW³Aɕ/̢ OCX1Q2yMv`/Y`VZ-?5y *sߍ0{.yFv?:DF+}.0 uNaw~È+mHbDCE" n9*5-j_T"Q̲=YΘ`0 ^HtI "#~V`=*gnE7G3cTH1lmW|Kq#\N§ğgYZf/R n%tQ`{‹~A՝gf=~ߙ>JG[6?[Χ̵bqu6Jw JPځ-E2xFe,w@{+I-E0X*Fn%Y&-ͦ^0>!=\_!BiyR@92OFWtMqJyEi)U^i[N̟Tm]ݧ}y lEI _a( ISVI@y+iE{߻g~Tn*J>6ؑu{8b[-R<[~tadWncc42 Q@EEMFe{߀*W gYZ7zXZִF! 붔l]ŗXi%;q[Λ.+qV菧0@:؟殹t,I#* rvqGOU=Afx&0 G00w!ދ^Պ%5tUr">;_&ߑ\!#(/z.t/̞VE٘,MKM2ѱg/к)e[.j [ֱ:C{+3OhWmՔۈgŊf~&5]^)Y_bIyWQHr4ejICS jkm{6eq^GLfv5doVI |Vmpy;9X4zZpDU oAcW0HQcrdq(5x <;~Uʋ QݲwW X_Ly;5U&w]͏˪Ր Hp9l8;\W-;r麞Vp[) 9eC=:?%qB}qN"9a4 ֩Ƿ@lݟgjOW^+$?'1n/iu {.w/++7-pCOPSL-K ڒoޣ2{fjd' 8&=xWai@Z>TkI;m*6weemigv8{`Ϝm2y&b}&CWC3k#Mu<7QԿg`)1gW;_ -d,8\3^&3{3%Y'k7 <*g폐pfeqJ`2CSA?aFrNl: X_v,=ySŦhyt:aS!վLs\=4KϴBQAFi0^n# T%6)ǻK7$8Gfo]=C;AsS$n0>Wα.}2Btϴgp!֞JVt-Ove˼kP571-}T:oɂP Oat|Yx4խlBw<T%dk+;/rk⤵ B6`MAF֔Ws,.=AԣA"-]1: 9L #^']|w~bYSijܩ3v6Hok=5|啸oe3:߲JCݥZlMSFc*]2U qnj*0t8d+pzrԘnmAؘ)?mKd[7: ~I&7  n,_gXxmΩ'VI4NU{:˄莩jU?r}3^K S; g.xeUpɒmn~df&d6d*KqKIuY++M`R⻷w2% :{{2Y~KJ>E~O@=5K>^1 ܐ7dy{"-cz^d'd_G;"߱/nW4u!o&>wsw[iQ:# qeuf)(5iBZxm:>b7{Ϳ=reKЧXy%%K-67iynPVDV (͇UM"=.[ ! S :fgqY  F\U4|\A@ތoc9jRfz9 U.`F#oH̹PÛU]QkxX!]H5T>Mc_BTS$;RpGʞ gcJMyְǴ̹EOC1?A^+w8 03ބmhȏ@XU _b%c/86Nrjeϡc>R.ȏ4gi ^OEo 嫉s;қio{ >S`U15ޝ %Y_˻ ]cQvM627dȀ DnRx0H6w[ZU=Ǯ0蕓^v',T(y _J,!"MM3eU:Q Y9)Ga_e6ְٌL5+q(l獟\ *%~<7F\U\ yEܞͶ_y,h_V#u7v@-DhjteݽT}H54K!NJi3?vtRNޘ["I=SO׼+4)Ֆ":BZ-* 'S GFiWkY c]!Q|%$]#צYgk&I5 BUcx6&P)KgG#s!T&g C=MN&w]Wt,pKH}LPNWMqg=O˞ly.D$SȪY[|gh%ajL-U׍Ysxx=?.\K6Pt"Z[F_h Ǫ—_UЅ쇸͂="0Q m6ÙA; !]M}Y)ѵN%6@ۏʑdoH#d~_G<rRp]T`p8mwe/.LP>rk hV{qXŽxlCh괝~l(Χa*{IpgLW 3cs$iE;CΆk 0 -p˩kqAQD;aѸA!,޿9ŵ%#W{O ,WPZ!vŸ1A㤻}p#T=TG䢯]#GRw=~a nwYJ[?^mmY&bb9' "FmXaq\&O+5(n[1-Dӯ.jD$Aj/4h51} SVyBX\1n6ezAVdSYWqsJNXXn 58c/AkKД{z=uZS& &yuFɷիgLXЇ( W&'^T?iߙqtTm,?G̓FK)dj~m%w7 HZv]!<0l[27jÎ[ʟ})0 ʶl(c/*CH'̴JY(?}1F.rEP޽+ lZͱF1D6@ ׯ@穨s'+vQ<)3_$!B6l80rsM"1A1#= bB^IZ DhR e?A'Ҝ⠩X"E0azQ,dת'#Ոk80H AFAR$u:p8^4է")z2Tv*p"$<i$ ?dcUn1 h^!\>X썦ĥ0QdW\3%Z랣=P .G9-K{v1}%G7l_],H*`,D-Qush-q;Ln]~YkOe%o5Fe=:gѢ7UImffck6)v,} Z1?@037Toq<4ֲ>{Ga#a5 );' plCfw:6+hYn΅OњF:э, ŀubmƲ7):8HVO`108u'Gv 48`bBmD_kzZ;G?F a4L[gDEJ-)vL^ޅ R2[7y{0.^rBvGU%ä$#f戫I'I*9~ojsᒤGC1 㲍.Xfʴo0̧33R}LgaY'@[5pfLs Dpb[1o.,n8q*8ݿ1(Q8J>WOvw1N\Tkd3V$B3W;ϛk^xͳ%@)nhd?T`SA6dՔx^){bᰃb9Cds%x !.F50~]1SjͶ:QL"$aB=6DJ$|:ګOpQ8<6݆(d@;7n֙V$VJpia5(ȇ}}9.>G!wg" ,P/洬"~E1CBt;W$oxnt?)J-q\;JBWrGQ%2$!7,.h8blZ L.gEul}C=n`zTuEWXèwsX=-ͅV܄ ObDec;(H-BNW|,6IF#8 gvv o+p'QKY'$Gc7|SIk!Y) 0׷XWBo6 @(OZťY+1qsc@a7 QS)} Ŗ/sZ\78`@[T S(!ksf=# Bx ld6%/i( Fk%4I&-ʥfo=Fh߽vlXy4>dZrQz?%S"X 4 0kM@*,|`hoBU(,k e]SdTԹOSSy_ 2"z :>T6M;9L ^J>R+IYᤊ3LX~W@OZrqrE*IKhKe5DPC#8ȕVXL ^I|s*6'z _1֓u5<\=%O{6D ~8ySjih#^y;>^ڻIaJ(dqГ8DUQ+ #?MUC&ߘJ^̋h.^yRpTgZ(au=TkC L_>ꑋQ`OU\xqX>i!tʃɝ$ @m lU~Sl] a-g$0htFڦ]k03 a@YB?b&0D8jEw8\bJT*$('yu᱐FЙI ,o'}#悅BP7+;B]g mS.$Յrf 49WOZ% ﮸ש_~9pi?;=]R uV/"0MyHێH̴a#W;0 !\L(}Ib+dr1ԏrQlyb%F$bԔUADd/ڷ3d.dz, ёĒK"x`J2ا`7q`;K1+^xOX:K94/"'蛜 S{Q29(ҞkB8|V(^ۖ򫊡϶!/j[sމ ^0~Gs.De{yмS`?V[Q{) ;h2eEp-%wԨn%X`POBfN3&0PE ED1'ָ$n*i#Vyl" q>Г76hJ=Eク \1*;T?Hy̶2ڷ|rbCÄhJÈy~7mиݦ RwcLIÌe)1R{eJn}CI;3ڤ"s\ {M0jFwdKmZ4`nii VHR((VFm!D}j̪[aRDIWaVƒ 3oOcQI[k)-efufC0~5Mh>1zHfbVvT2\A|Ewr1w_fb yY;I/X]*WmiA8,G rLZ=TWFPrkcX1:dVX@bm㳙"r} Ʃ\[XS{߶r7z+ v!pf$dN4*v(̀ѣo&9|Ѽ/2&ChI!OGF_1|E}ΑU8U ;.1R۷߆o\N@/**4q̊P%:'Z8צ8QWU;Fpl( STώ()S 7!U]bM;2q,#Do+MHcȍt^q$!+*PahёҠc5WȧcNTH=P"Bd-S?ʬ|={z8:[1Ơ秜2S?<Nk j^h^/=0U!:;钛&{bF0n[aU`8>> |wMOήj3!\OGՁSyƠ:::ur mn҅&1w*Oq%4s|;mڍ*voA%+9(P:}Qq=10ʌ$+2M) ||arCpALm{{Dء6} }0g՞ E)XfʲqԖU@lk攫e]#3Ř8ȿgvtq j' .w`)xƠh uWrd}29NS MExkp[>qeﭧ8ǨphlѾ-풡QDYM^x Rv roE;1j޸r_712i6vzDڦ9qħ`l(:9YO=LG b3C- g^y{ 87q[s-N NCdY k5*AUj$Z&* ;8\BU\1W:*8pqX1mE'\Vb ~iSvE-O+`ߨ>Y5^=?8a\W@{xv qdRK:+~v+p8^~ܒjlBd֎ye͗G(b)H>̝JԿӑGCIO҈b`CR/-: R,5A(bA0^w?=CpUK[\B' 9&Rru9MC쐙j3faAj'V^;OnJ1VarA ?kps@Kw8S(9#\"q6:/rPIQWbRsv=x9u 7-#M`R1XRpkZĜdžzKfdĄ;o o?DWhQLӄ{mۏO$xJMjmՅDHX48 M$$9p0(hM'SvQPε ;E,|&U\C!=0-﷒Qאl_~VW-l~8aA.e+zDz2mJ!H@z3u)B7n 2)Ƃǫw-}CjkHA\ @=D +8*NJr %$ɧ&z(83_3QV :i Y1<ًkvAd덪TIP;Pr=Q cbj -ofKa^μH{(Nc5&B /= s]7[Fb0+akK6]}g"ۼ5U xr@/юϘFj}ح"v D x f]sMن@?f.?w͡ L;QtH HLP:ڭ4hJ^3Nyq~\dbjR}Xl#Q?8nL5]2PGo k-I[u{3`2qelpeӕ=6t{MJ͕I.CCM1:Z~H3_ޕOȺ,,d5S蜲 暼k_I.Z娯p.jaW6&Zi,+^oIG{;.iH#z=ͮZU#"r2XԯCUKykθ%X  e3%oe[d I0I!QfkVN%XF ц<ٿ%I;e((})8Xvc[LwXkC7XӒJk؋ KF?OGHNWs/ X!ͩuSey^R=5eMD8Z&T0}_Ǒ~#SC&~lvtB{7LDZPv29M+@ ~5MiAv&k?c-tZpBwԧ}9iw{UYf8!Di0,4Ѐڼx"N@ѕ9t"0\h`A\n?*^sڱx[?AKܮq/݄Z9٨C~%t Q3%%-r2C&@:\]M?7ELG,eʭՠ&.t͙%(E) ٥+vboՁjP„_E3: Y0\Cֺpx@wBFn̚tJ1J&QTE/zʭjZ^^??YF!7ɔVE񵦇0_x:~FG4uaAi;4M3t}@wlP:VHBPO@o@9IP w`{쐱-5E@L桥;X{݈+wz%T:/`c"su 3 } gboy..kr:l=ZZP_q3#ͻ&JW&\|;Ix>x )ŭ ZI %tɶ֝%wޓfhS\{#e0GAKUFweמijXQd$roZ jࢗC:t>_o I&g6W4I.LFP^(Rmgn ʦW?=g40{ύ+JLZR7OXcjgpD&E |K;EkO!THo&)k|?iU&UλN߲+=sxIkT9sW"6\SRHTh A#T-T׊Tif@=-adx8)BeH@5piڠ@_#PF7^G-ģzS'c{Z6s5B7&3z<xsmc']&->1r\i'y⨒q^=/bp&Y ]5G@QAlĮA1+a)j_!6Gl琀Y͂tM{>ۗL,Vy{(R^>J[JIWP.Tu<݁t. ЇߡU\#:]>v2OCLӉewd]^QO@Tq>z}$͐5P7B2.z@LVߗW $ J+.3q29iXv@FezAX*3Ƒ險nwXޚ}P}M,e=k]0l0{Z/Idy< u=2z.@I)&LrZ~fcPym拲+?_-ݮ$|e ҿ+Z357]쬢 [Yٻڸmѷz\3 E{:s[[ =^'d I ȡ%vi}֎k3zV)v}0tعҚ?2ժeZi>"X g/IMu[/7PSX~Gҁ.y-(_ W*$IãJtMbAEk]YQ=4)Z~c#Cϲ(xħ-@=A]v@zæl5:g♱mDjZ Rf8m# q$r^|5otWٞ>.EeYeN5jc kv;ۈ=j(pC`3-l.u?ցC{A5'knV>HmluK%Jss~d$$^-Hu}1!vXF hPǰx+ɧE}fdu(' 8qKFtפ%4YEmf #m'a>ɑ;4ilI/EZfqT8!OAQpͲr)ɞC(4Y*#P J;Ώqh}ҟ8I ]OKGI ?UQ[+b Uw&K0]sN] {MQ#G1{u3-Š9I*`p WY]O`;р<8@ E uGeRmR9G1Ʌh*X[W:+B}c.t\߾~&5hu {W]{<$&nG*kb0OA t<WIPo;ZO$T bW܊u+Wvk37#~<]!D8eŸ9@3ͱ&WIui6n15%'A HMl=! i3V=LuxfA@Q['d{NO;n>yidOyo^YC8\R& Ք3eٜmÚ97NI`m7 W}gNǧA4xG+_J~n|{Vtҋ"yP2z{vpMD >DsKݞaZB _'t ~_fpOѵ|]m۫$a8nӎQf{WMktKjp2守P*Uq4gi_J+wi}}cՕR7K+WÅ.;#7@pߠ|G3qz}Z,:=2"3uVه;8?׿q$[.jm&.,`7cXFS칟rhy*ybMĵPaw]Xun#TlG|{mCa.߶U| |ݖVS#$? XjjdM haR[eF~D˛U8'?.Wfi)Bw1DnJ4Ya>z=98OsԥH97O~ =S* lvvґ0m8bqۇ]3")5 ,]Vctnw e_D`1SA'lK I變n~Q2sEJ1CYtܞb| dY >0{W y ,8}*2,n3]ׅÂFL՟Go:Ϸ+U?KTۖ?TCa̋ 0pH١Q 9Rۨ\Ec@xcߏ6RD_;>ܖa:r-0PmVBDo@*!%up4hFSK x~GdY oʯ@o5 XϐCh`Z-(/B7?ʋjnKF<ەLd]nR#} 96g(Y4`Y/~Ff!<;o9vh=?%Ksp Wnh%(nMq592W!pdU̇ B.$TF؃YBR %ұ1y+鐥Eց2ɦeN2y.ߗ,x GأEвP"E#Y6c^"l.JZ3)%Lb". _"`O\R8O"Ut^&a?AmG8 $ LK lN$\bNnA65<눟/CgDzE^wH 0T'2f2,fRk(.:&EЙRai(-#=#(OcŇNA\Xpm.!:Z>av˻#Y@{>6X:2?'?y8frxX"^/3UC|Q{0 lIl vO,F7gJ\u| P~#_豧yE _I'^zH' f2M_q)(OUz<(3BM~5iJ)c!vߔ؀_-s@@H[DUž(vĶ{ap Hٿ@O=cH=5l6}J#%I ILgS+!YD.׿T:ԌCPw\ rUoL8z ) ŭڔ_rtph]$仄ũnu*7Xm*"~sE .1%W&tp]]1&`WC= _C%6ٍ)|G/կ'$Tc#+c:\+/GEE"4R-@8>6@>9`nF<%a2zŸKbmM=`eZ: 2#oy`f-.P=٥w`oi#!wOF+z\^WJfD.CpۦW5I,;4hnцT7'Nzڡ77Rhs06PwbÎO6 3J+)-`TD/P@'$UxGN"(0vO^F7 3=c_<Ř4soM\޿3ѠV}{z'JإD0ɪ꒴DU^fQ:an\N7Ә90)kZ1^JD*QV(ٜ?-LA7{ʮlڌUy|!&vRFVmnfN{ 1khL6pBNDYOs-[;.U,}MOQ2.UЫrS@b}h&^QTRw$cE?.tv}_zh]65aZ>~*Ln"+$ax)~ӁgÓ3ez? D(hʻ?VAymYw%g%/LiX#pڷaq֙Br|ԊzU㨗+֝ o~ 'CumVvrШ\K9ӕ:x ڙ`+]1Jԛe)!:Ȕ"EXpԙv*Fr61;G<+ZiB_a_bCbVp֙` A˙ 6z3f2*6gyvW&SFFA%!y%DlS}hb+'mm"p e]~uVpF)WN|bǩۂɔam!e+ly$蓵zd< ?C/XĠbC*]C-)ŝ'-ً&{&' $ &VzICW(IOj| \B6]6aӔIvVSI8.)Z- S6d2V=LWĚܻ[cY Acf-ܠh NO5. gk.,0)M) |q\buTvWq຿GcĴa4a=44MD=5p/S@ JZ-Q5>A1︍/f+LҗVOƁfni .7@jq ~[0Pd>5olA j}@t"umv*b 8Db9f9 $M8K~sMW,7E+s5ֵZz@G>g5I.7N5 jEyknU<ə͟`cPg s#:v#<|#X4xNRP O.:2H<@]pƀЉ& PF#a]" 'G?qmXMxt̕B"ݰ&C,qti JK"πN0r-i(hAF6THoLMWv\MӢLx'S|RY/H~yĪ?@(dzof03B =E6UOY {-44<8o =HvLp%2N+/aV53W-\Z eBIY+0c?wn-vlz" ePE?tw6d"ȟVX}j.Υ\jap~3wyRRӳwV,05ݢrk\3LO`p>|ELPt1#5{Vަ@a0V8iB1)'cQq7  "0C}cl#0ޒ;DQAm=yM^|ًx^J١Ϥk=`Јfa*n0?%eI^6<Ї8~J0K$ r4?8*@|Wj:g袤 w'K2!>v8&9hDf \}XGGBV΍<69c mRsG){rF*0O0mdCPڛev hGt</7@t JDEPFAv7k u{ uGOx4ZQG0p<(^mS~Bp".껥RFYJ ~)_L|HoRf00V08IG_/&h_H^?X3Ch!o Sw$@6opP‡y.1=`O2qm2)yF{|7sjQ"{6mHZЮ3l0Y2.{'f W.g_SV|F.#ߞj̢b_n-_l蘭 3-]R팷Ra:[y8;9L 6V*+AΕG;wE{LןWiDI0KG=ϑdvr!9|-Ú.}<P) "@9qTJQ-4lw\L4o&0h `"59IIh%B.er]Q1kkvc:PnU#y@ohyܦp*M bB`_H_,ˆ\B?dNqu)샵a1ژ:bWEdbjXݭźFk<|$;l.qJz S q#d._,Ǧ~"9`35-wp5pa/uߋ]A %.77T1 )€2iN mx,CF>DG'Ew̎! :/"gc#Kgm\PqI|f~ڒGEkR60`%o<,V .Vp_gJ@BBɣr?{aK *oN$jZ$!B#΋`T|w*.ӵ(\ XyYtɵi@ϖn{`YjnZ[pW>#9kA  cGu:V9~uх @ђ,!i($M_n 3黠Cފ/qyCo5E^gWLCJ;7 /HP&APgp#HB;\i;9J.5Rbj"Β;:W@J9Z<>d*jdAw7 N3gY` p7[Q%Ps6'2 ys]mv1Y"}9G2:b 3]R8&!nnb\VOֶ&8mD|gwkHɩ=8@{7CABW>ҸgNIf<@Jb؅B~Gdi=|+94B.ݭ$`\JNfن;Ac.֋W}LϚaWm.%xC3pOAQᗓ"ܳ_AdjqMoɌ%r3ח#߫ ) }[aRzqꩪ'V23w042xKE;o%oKU-rĮF3+囘e^6Q_!3 o9FJEʓɞrp<˝vV`/(47#}m\ ±pT'|r/Rd."}"9`GZa|17k.oM ޹el':Rf=i@"vb:xE wzhr ޏ( .q;谙MW&.Bj=TFȰ{y~G7c,u)E/=Α21Ew74"`UcF;+3 aXr2𕤳'o c17t!kXe4e ogmru6c^XS%~E=:mRK#00b͈mFD,B0)VB{֩qcgixPն!8ek 12Y;`vc?>r Ek.~{RL02v896>g0%LG˙Ж;)lk?q2`OȖB 3VwZgc-AXcA;eŸOL^vb\ $sOEsw&$RT4HM^Kt6|?(M=wfj!Sx v[d!A 6>F{ɳE\}(Z-%8n_a0)lML}lh :9GVK\]JvE}fp!TxȪ]T)29xqT~r-)|Xس7>hѣͷjbd[pfmԃC`"p"d,?GYxdD=uSN $!jRŀuWirF|}? & m0\锃ߢ-רhET⢣ڔ-1Z :*[(zʼoŔ聪xNG *kۤƐXb)8)m&J$! 6i$ U)(UP9eP_YWd ĕU,O=!EMsU跗eUD#>k0b "jdGplO'*Tk! ͞v.Plݳ쮈s~ᤥjRo`h(?Ac蠭7n:H4!|jIho .0 ,c5u<: hOj1eZ-ՙe0gH#~/Wg(c R@5 ὙlnOgZ ETb7x7Ԕ %U{UN̉j eAFr||5^y9԰`b 3O&N@63qU[rV{|f3hbMq+kFn uBje:h3A0*Wcav /Kq7|Xgf2 dH?l(?e5ċ⁏P^AhxD{K,jnDjQɌwvte]wNf8N`,w ,N~?]8R 62m4uuWƘ {3,,8p#'PgEMX Hsض:xٜ$ɮsЅ0*DZ-/zdL.נd`m`+I J׵V΀稭{Gb*yg2YeB@vC[CZj?K̷ޝ\ 8^v"cAdy,>փXN$&6+"u=ң)le.0k+KvFi~!=ݧ~vgGVpQi(=<9 {@6.9kPie[#f6žrL@Tbޗ.p޶&\P