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 ]CLT| ] Iptables_Semantics_Examples:threads=2elapsed=636.108cpu=1228.200gc=100.700factor=1.937zXZִF! g]ŗXf1-/6vRZL7*^Z cX͗T V&:{=fdHd#uʱ쬞D5&/A`(Kf8P},ZA@ R{2L^ʌ^Vaֱ9 ;3ZBިR )_$%kE=g(î&53tvrG"5TPFCmP_G"x;PpnYО ˱ٓ KXQqn|Te[8`>ݚen6,d}X~Wj6)33 {~b^~?GR&Ps+=""d jLF7D!?B1K|MbYVI^ (,T #PO^>n=x\!׾5 V8Q'l27Gm7'gŜo2’k^wbkED0PX@?[ -,v J.JFJV5yy[hJ J* eCk=lxM⧄ B5eM`(/-!؈`6T\ ޤ WAe§rZӇZBҘwdi6S-{7G[2whpB/[bOX=mF"eLLrY\/ìvouLreXCQJ}$!Zb G b^Mgb6]l%gw]xqWoɲ仰QWm1xx_T^;MIei e%#@ 2I?͠INmWJv { b ::a shrud"R蝵:*(zbh9k;U6`6hXT K['!I䫭HskGSk aw3,4?t ravTmIJt]%LFT0xQL͏(A6 ĔG`"};X}tt#Lko GSĵDBO6g7#Av`q1dUD'rhՁ@CBcDuBqA!W.~J}&} Ao8!cGxȡ7k$OQpfl윲%c`-Zh^vfo_<%䥠*{eTPs-Coy8$[beMbTvr `ĸ1!?<[ocBA;oƟۜ("Zʿ?QVi67.yTՇƘqS3{#;9[~=7RiϝRU=)]=z* Y%/J Euc\AK^$y9j'j2EЉхSd Tzn4R]I7-9uoXRD<(TjBf#;'G:'*fsT[tQ` /Hx=.H_K#jױ Jr[מt`1 Ӝ2';j9t7N#|RΓ,(wgf|1KHhl {r90cM('jqB͝%pdL+y<P S(&p8:ۡka6y IE#Bt:+$ pV1lhy$ə}IB3~j1BB V`{ bӆ/FP~VjsYCweׅlR l 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       Q J  - 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.texaCu%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Ringofsaturn_comdocument.texeC}%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_medium_sized_companydocument.texeC}%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Analyze_Synology_Diskstationdocument.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. AgYZs87`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 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 "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ɜUNv֪_?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 ԱgYZ AC[% dIptables_Semantics_ExamplesIptables_Semantics_Examples.Parser_Testdocument.tex7zXZִF! ]A-MՋhvG"uIBm5D#'s{esDω#nQ]%mXǶ&m_׮`Eky")n{(bndy&5^hcv8|Wt|Pxj(~_&czFeɖST ֽ֋,Z>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§ğgYZ>:mz>~vQq-e * ;·7{_ j:JB8/& s7*AY/ ǛNͨ 5 Y-l3Ĝރ}zW$ǢWKd/S;XC .7XzWPZL2lҐN{f7ҤwIr3(xRgYZ7zXZִF! ]ŗXiɟX?' 108vRLmU, B9+xL@*%ac'·nLt+aJPv84kd&ke;}sr唧Nt_̥ÊO bE~QKFJS^vd2&SYUbX" eƧ\ތ3_B!m1P}PBaRH`+K;FHՎ@qN6/X`=IK[Տ&b(g&91! Yq#rܓl (e\Wǁq7w{T [Gm ʸb# <qnMUa!f; . XdGU Nʞ~X $gYZ7zXZִF! 2B7mHM'Y20g` i`]/sJ)āw"K\ab/COfC\9} M΄cc_mMXkUT`+@rWs#9=ybsɰ' $s{ٳ ;lI3>R{-,G}qB^cYH|&6Ի; э1(Η.ea}k%7!&iCy"b>'$gXo樘WTϚՎQ0įA"BcMgP\4Z UmT;EwuW^~uj)%? Odr"Aw:Ynu*64lig:/dZ `5-aG銍M'8pty"4J?O[8rXZg;)(#SV+G x(ťҲXn:3މ5i'y&m E#`ˏb '}mFO`>˯gN!3 桫ٝN="hrDY\i`D̆Jhmr;g.S6,@)Fr/^%ES&vܰʍOTcdo`Yy^,X_\j{j0P5V|VB': =6P:7_ƦȺ|-X~*(11Fp1Sm+e%AnmI Y-&ή=O%ODս\k5axzUvtNDZIݨְG~jfɠvD t(8=߁^GI$'*D7o1oSyt"#+#ET""Jco{ejd`sL+/ϠvKPٿoc35C* Z=6%MZgF ۅ>wH9PQG3f,1M'ws$UL1(+rwJ,%`JYu,K̏{Mjg2q!n%&`{Zg'z/e҇"ץGH_n?uk:$$ǠIK# & CPOq(:o]βNc?O;2nU'*.*3u έ!s:xZZ%Z(j"qjC8R{e>C/DأUIaqu㰛uez!)/ȉc\n.u=,|C<+i"q 6bԬ h bH'U? S^t9Ag+_$[Ő@+ȎAi:f́(zh4eaB?)q%ǹnV%"i~OzkeI䧿< ՚a]wE #ȞIQ\dSo^ m!-C$W}ȪiFHhNX:6bouO*OՇb@<]zWI;Opf;K] 2O˜σ[69q>n@ PEA){gT&'L]2Ua9tV<]d3 <1`'^/}8FǮ(#NMmFf4'=h1Rȃ"yWqD qOLNU Gm c+*4+2B {#› nj@9zm q闡)uim:|mO ܋0;%&8ZJT;l1tJXϒs1BREappg`{O^"w&ԄKJG+⭝TL0\z6)F8QQ~Y~5wlk2NChܢnIJbďÃ_ybH\G6_I!/@6X2$%Q)JN{H+[?]Vv(jZ$ڄPMbHϲ)k4TYzngٝ%/lƖ[(s +S37nn{A%ڑN`|;V52|]\D)az>לLh[+R]bF6T /1LU9;b MxY.>d mð|@.U.aO ֥|T\ۃ̩^\P^,:MӒVNoEU7J"@J!W.(#K;tѪϲ|CY6H2XU 45%辫Vr U&0ɠD8}EI^dK ӭ9c%O&gӨ!m1jC d@}<5Ϭ$ܞj!B8Cj/.IfCV7̥ȉIIf@j>GHtig7`NVË_ 3Hv/1! ol8 !bOS9ABJk# L!oaȎ3U&Hb=@5@Mܓ/} _Ţ82]g(RIQ(J$t>O1.%o8Ŝri 13 U$&0@KSp}ԝ#uP.jN*nDLw8LdXdok wO6`y}=.)-v7L[vź0C .ELNa$𬡱vb,Z?8Y:0@ }<վՎrI`8ǣ-K#mbSLo\55MnLf@-Df[ VjCk荘GgKBP YR7-Ia٪n6C"탺P^n.X*݋qԴ/N$ γp\۸BYvޖPJr>ɑL. ògSXܿ:2M;-UOe)ֺߝ}ًKDa:5;21V0qZ4r@ IL5>A+WcyAZ#Ŝ ouMHCy(.g#ZSOd@79my(j0cfu + k ŧIWͷPT3=6YecLDskݤ\t( HJ:v_߯# fj|%MK.vB֨l{YzOF6w5<zGT]xՅR !}6\MKU56/j pХ.M33b2IMZpM\NfVAzR*XӉnm|xr:&c jN(IDy2jP5HVEdah*ipu,c(~9;d դ;>  1 i| bPΤ;ڜi<*=NFCFg F{ۇs)WH{0t GmXP.W:\H r[hTw @ՍP VgWFG + *JslMdz,gov0N>C{N?m6t X/IHB8c.ڿ"P^]b!`ž ;=3deh,e-)//K֮8˦.WFA}qJ~RQ܇b meT)QU%}p.tR8D'u3ۅGw\%6I{0? El)tܽ0D)FEN'Î,>֐xq+SΑevfzR]?`[hz(jҗq]1&v:*V/ ak[~PsiNжQ-;c1QbsģYEyFi2do]mxsY U-]ZX\u `ڙ5*"/Wns! l?;Fٹ[.DJChM,ѷA5<0Ыdʂ/@`P7 K۩Q xtBDoڳ ϥaǚWM:TG]IP5#M8׊3(~Ϩ?&PiqJ<-1q:'U6>u3 _yl9^oPl\L1u"#$s6,̺u%<9BLZ}#{Odo|Ҡzv= SW$۟48[:-rFzzhB^z`Yi3N2?~C%c?#.%qߒsǗcO7OПP*f@4nBX=Oln#%kdA3ns<4eǻSM>&}6LJ6~2<])\5&qe8$1ˣ>9WZ4Pd M9ċ6#)!< ]l=8|7 PmmaSJ>M^["%a] NS-}ew%a^~P֙p[^Uガ$|dw|S#!Reшd;ށqc +7Aa?ƽCТ~X<2Wۈݹiψ$]=̏ˑTP!VdٙDJ3ظ\2u`&V)HawϜk5rkuE˜&xx4j+0X j̔۞4e%۸뻵`ӯm SP#?azJj~ ڂ}.gOb#y˞LFm yͫHi` zG&bXӑ~I| fcad:f<{2b!hpmʱIb"_U8 h'%R'L+æQ'P:_PF_£;6 HYKP,m3(mG2[1yA AǕ?-KƤi<{<0s'P<˹%NtwSPcb/A}ϕ_ꖐ_2rvd0BS96#U:}VB+:HSD/f ev0K~L@ Fh2R o7ޙaS P>!mlzH=YÃeݶu2Fw{Kr'S(jYt G? #{4#hYVzc[YyeU>ɲŗ_&7wjx?ww60@- CN1GcM^EV=FWq[G6]Ʈ.$(tGEx8}h +.E]]D Fdq:-(|.SˆLzK'XmM 1{q3dD]uO}1>dg˭.qU[d ?ܣ5 }DDhGRԅ?G#tdYct$ BO=Pw}qnz@uL4h˙A6ʯ's ~ o_0!3;4H+T.:`ghFImzOp"%m38ֽi]r:I/e_n+*I`w&,>Cˡ*c[yr䌺ܡ`8AM?D`k'hfbBy|7?ɅYH/r؅򦐰?N!9Sh0hq[ ǖsC: ԡw@P*l;r/Rz  r.~@TކaUݓ0oR[h-GӍBaG6Rʡpk9:wZSsp",c?-.R{-!#%X$_?)xiAg΅dilA[iv˒GBaɒgv?)~sRTN> ]zgJޯz,,"ԹQZpe3Ŀr4Y]Dqi2`]ؕ4A΅l4& h^TVɤ㱀%:ݚ9i-ͨzVg.Ͼ,NT&7qaFM8Vb5"͵ < . ϥ xFO-"{]yGPfK#viw}qt"qǴ+GEXNRAY!ʜw3ZhA&j^֧ϗbǃu@A]ߣ{ܼ! 롓<%p/rSWg9u| -CFGO@GÒY(aE2nP#W]m}_5 )]s Ǭ}g2[fݕT>peϿ^6zP3p39À!dA'$؋ nL)A;ѶPZmT'dKT{<5hg $ *vl&M4.o~R3/Q΁X*bbfZg|7EV=;t.il}_U EQ Mepf@g&.Bo4Z* {AERBDi/}+!sC;?7QdZa1lxi&Mm< a4Y<]K _8̡;3rhZh,Ӣۄ@;u^$=aYl9|D7V!_C}kJ^||]tҹ d[ ٵ /ԒC/l;MG_޻;fv;sr9&.dGx1a,(g{4_Gôxuc5uqٮ3'Qp@ppUaD"F\Va5!XVfHtqnur7. GvH  /CKVHq1/]m6K[WSmcm !`loh--nÊnN_@gbx0=3v ԉt֜55ʚʂ9@*kœH2, m ,8({i@7:: )u*9f$vJi{a uՙe3KkD݁{w3klW`h{ zL8#b[pEB%pcBYa0 I؊,8hj8T^bPUʧ䗓D&M4oQc$-r'6838܌ڶ$~ NZKP20h,Li n;~Rp(ܸ%Hڰ߆L71k 3Z}) Chr/ K B!)ߚyUըR֛6((rKD뇴5_R,v\'ђVcHUuD\ f%-^0[OװU+.yfcZ}ZOeYyG><}JnRݛjnOe]ͽ-0IW}!SS猼]9+6&w*YŰ@}. [AW&Y&{ ӈF.?,zͺw] )Y abau1Qm!ZYB!Dy~`޷8A ?DloVL0œL;lV`LΌܛ›oY <|>t0qyx˱)-s`;cEL}T0jchGo;9=fpĠLq)!}$=^ĢN;-5Ss;a@!Uquդ*#KtHw5A>dWkfݘoUH$_&R?e<_b):)B!DZ>g bL?ygcXZpCat9vP +tqFX# f|" AUiXkX{e[DF28\y66}9o9X!|~AF" K7:LEO,7*odt%@Cիx)н3 lSF3C2MKI}.{0ShidMu[̔Wta6\!^ﶡRڒU[םeR5sX_ 4Qe\s_Ϙ 1qB572SV)ψ[Qyx\=: o\ebQ1._BVi-`;Q> *ti5D6 hhU/"DV ,3&<3|6V |RmY W!ХS5`()hI|{Βj [d4&gg黝G9o{%SzX0Q N΋ܣu?`MJ4Ek*1 f?Qfʓ V\#یSMǁ0U!:"sz>2gH RC{J捛ȧă?@RƊྙPvDBZ O?KlQR0 x s@~ w38ffhӼr gn-SzT?T>kY)X~Ͻ݂_lQƛXal5ufibmUۣx)"td|BLS҇>2!9u 32b_\$Hj5-RRYFTպ<b>u+tOo <^)Fi JJ%,_v+Yyt ^;>|BV ,1pǏH0KW,ppx XE 7D ͔Սr~ qV;(\È1W5Etc5.界SoawFe}ńԷh΄°"v d9#գɱ/% 51epǔE Ailb*FOj[8̓nʩM]ä!M&Y]f(nⱶftAoYquq SL,X1HP{\p^ƹkJ=kٱ^䥿U/QwCs9Zf_vhWfS< x#O~}BnV|w[)VHkT5 ʛa=W@T/.N:KB_:Q>VҭHxt `+;Sc(nY"B X dk6oLQt cx11>y[U+[Fe cEŲ;,h*26癭PKxkd2{yJ0H=b^.ޠ=LPE-vR(j"F\'Mi [N(i˓)M-m]Xw{虈Er3$0zp!%9 .ct; -T& )ɜw'cCy$!ZPyVL<}R`߳Ea8kRDdvǁ@vTϴ2W+n*ҭ}ˇ _8rmض@1g{؜(;MzI040'{o`DgDN98W8?ڷ 6N>8U!5c趃TBEla!Hf`-%XrK#>ks=f>Xʰ[a#BYOaӲIJ}hOTI lZA[c> >9nzpKP/(?ػ:eO-̗ )bWDYѵ< :R2j?X5t=Y 鵳˽X k?. ck XV( + Wbr̊SaFs!踉K a7*H|"NA9-Ny[RfXl֟{`BK W9k4zHbN,~c"3cwk"ja:XhEuf V~5I8`F-& %K!qqYׇ3Cݺb)l N!2~# [1On):EN%x{ʹ&'yy9*šP%ޑu#ZkM(HGJqFHWeL 5Jw]+9ܮ:î^i-r<m͸d86Z8jZx1s= .aE=Ӭ{ ?$te%9֗vEm/G׀ʍ"~ 5[ay2XkSr[fDj塵/Skઃ,̈́Qvg7.B@p5yA,8>7 uVUj %v;l+UF +":-\Ea8`F+rL.IŶE- am2))LsdTx-ߝu&WYE.#e[)pEҚp,eZ;*4}y}j"@ݠC+lå8͚9rmJDŝjǮoQ'Rj(pe^FG+тPxvfM󟩗\zu;R`:&˟(۰ hƈQ) O 7W g+SI_}dCn `yv/,WlK=;tuYg̞-C9Z$Ué%ynx{F3$ZƤ>-$b,F{D7m@4!Xiɍo՞_ W5x>0/q?}( ?N?%Aƀ#&2+bl1WgEUݠeʻfuf9lv ApzCl%m8/hJ CS4?#D,݉Է>0kTnCldmΐ@ǫ<(b$K?qt\4TCYI+OO`2U2d/Ξ8T|Ks  dx!vC1(IEhʂD3;\Zv`Ş=^{{ML\|D7G8T٨M ^!btCT$DZU$zR)љ1h&QLcI<͢NRP:9Ë42LT~F. ɣ?ʟFFFZܓzŴm/öQ[FZ`Oӿ?Ԟʩ^ޱW:)l¡m[;hIMi?V Пx|GJN*f`ԀD B۔*CpΓՅ%)R#oMi@#$a?-5>v-6MQao.H-8r[un'3z̉mAa8MסE7~9>~t3>+"yD Ou/{^|(UIXe?OgAư:Oׄ $S+vѿMU fA,p@ J ߊ*E*.VjIgĩxӳ Onҧp'lӊoq|eYix}iqiQI ̞OL}$@[RڂɃNX' z $"?_NɣyDpw&+k}9]Moox;> UD/zۣ%㭨} !9=H}eAwtc,Fa`1"S;:s;tDCwhwa3UPړ+1mrH6r/2ig_#*:޲jЭHgғ@ |&8O\ N%ƌ6UeWݤ+M*Z4>\<.LYc=u'dJbAEcљsI X=1Dl t\u9^ްȜ5"m3 "Qg :iRmQRB$^Y1P]8cڴCKr;&>,PHG迆,+PRXn[302P0/Ψ_S+汘z 8UZ*?o˫Fr&^/Vۍp=Y#m ם4n؃ 0 )F]~7g%G]̘eiٗ~6u|RH'3ͮ wyYMUdr!Q&n d%rb5<} zg˺Lq-M3+|Hmt]4GUE3M_2vl^f*e@7Rt y,-0ru_وt5I.-HOEߕB*mc;BBiDSJ#>3:>v͗8wE 9Ob#o^rOӿf\9P (T kUSw2]x x@e}[YҚ~?ϯׯl٢< MK Dg~6JP6[ЈjaЊ;OR ~j'X"CNІs*Cr3v2hoiIdjfʘm:m$Dv6*Գ!x>Rd͓h0h؜͹y:JzU0H&BP/L&ِp|?d$qZPƷ]Ƕ普m gP_Ǥ *S 6XB3R_ؖ9QuݖIGf5Ub u3JLϮ|~vjҔpQ:Z$Onu_.o}[rV|e5T]M *yak#Chgj-˧NWSEwPH[)plO#(z@ԻUZ:?aml!ZĖ !wiq$]`*TZw%ٖ6[&;lOo`*lJ4LAqZ\PHIwTC9њed蠾ғ-2=h`Yu% <9ŗƟa x”+"KΛӔ^8SBZ$*H_2TuoR.m)nz-xрn;L|35?Ysp+knȬpx $o,Q#^W~-ovg^/Jo߽R#`WHW^mh(Amj27k (Ra|,l䧫o 4^6iχ7+wo34ܗi[ufնԃOӀY1‘<]2c*Vx:Ag:riؒyB喜&a=׈dMluD!;+/-^Muȃp;ϻ LҊOo <}~^+z~Ë.F~^s?Cz;>&~I^]=YM8Nh`ax^,T!*& C!MWEueX, d9Ď`'/&(?+M *.XYfZrtgf`j0Z ?|v-$sȕ쿌zDN Ko˃4.1LH'sJpzRZG;GF4mmP7Đ϶]'1K(h=rt;19i(9,&@IJa[̚ bĵG[Sx&fIėz7h 3 `&<L;P*I,AxˡY{ 4XaSg wojU5^ '0 9GÈPrubf8`ƪ b^[+vͮb3yGM0t;9 e2+7!Ɨ"\7X"69:xj?Zv뛊Ώ"oN EėlC]4nh2e?NY;IZ&gpTïl+fa>%t QXwwvīPQQ:cad$n L:|oLjk$ۓ+d0n1CRۅa®YS&(_y2v&@FT[t%Mx۷?R^(!|Gl3AdjMntw 2Hr?hY@ce2#Ni]-q)X>Q@u.pyDIHde*{W X̩e x_i܇V$ct.iFP@BFQܰ?q2G+;3#C-J1S 2fTХ4p4G5| e'>!'|E4.7Y,! I,O;gdʐr.n*nJ$+8&0EVYk I@a=>1W0هJ/l6:ʎ Qzl5k#lRw:$z 0{V,z_l}UKbx H|[&+0pЍ2=cS8:R[/ Q'?iۀoc& F툷x* BhC~)u ob48,փK,E~cj,%C稹/"TG/Qvu9oxM*|%cS?#% G/2'VK$&[#PTdp6y s#JzUQG`;  Mq qzw-7='WoBao>n~VXAYXe[?ky"rjEX7KsVZjk&f4@Ϡ#{: ]u8F HcPR7@)yknFm3QZZ))4P԰/ ɸYBC{XV$>=x Hyf0 |jwz}h|fnxtWW"ՖVw fԤWɍ+ď\OeH5"Z`\`ף6Wv(tOhY߸QwNXsy]#+$ Iq}q&qJ,= AZK`hӉT KpzP61eu$+u$9Pu1Ta!D!G _KIkĐV_ ”;4 X|wvɎO!5:0<\Ȼ!=jThJiae3/Da"&1pbpXa#P?pO~"Шxr0\[lK>"F1-jzKn&~FB]N.uWF,;&uQE&^ȏ|roe5d"Iq q7ך@39kY⤮ΊjDisBx11;;# ã,*hҤf6LELBzo.6Ӈ-?8xĘ) /wL>5b)mՊ`,N׼jAlX\KVzMp_-3MVCb?e,$ks0ϫA`Y8M͏G2DAk4Dn_Nt^)kJ;y܀Q+o6J 9 uY׿ j5nR^[坣WCrTJj{ԓ~.a {]3r͒hGV3.2ڒy7D:%?{w3 ]Q0 i{:ٶBtv1wF Lyv +ki&9z"W3,=zϢ~s~odAt0K7M-ýTU6ORf`]I0Mc!&/{PȗM5aݪ5@Уzȭ?:X8poD 6в1p hEkTN:RX4! *OXw:ҊT#5EWI>7AN72]Mzm3f+=&FhW&Lу:y^O_>tz g'nP7?ٴ3XI+גHpCU`!*3Z%i;PńD#^B"FH{֟f7UJmrT%X! %U%CQWh2 < GBʹymuOO,]1,C[@ߧguWjzh ,sa/B:&j$XZИ)xQ ps8c MdNwZdfҩW];9W)K*iް-IK)b@ BK/To8Rp}A+L=)9f*NNְNF.^R172rh/iN;s?m1-r:JD1U`;AX٭sZ ͝ VMfJJl31t`/BJ䯂dGvc5 z'k]Xc.)6Kx0iRg ή I58p%aґXD.XH'P&'jbL$qgu͕E #ZzŅ4]EG*ر ^j,k>EYEb-/|+ QY8pyI3-@Ln_k3f"O9!`ij{3 pz6;D:^=LU)yuc(Q&ކ"~@y2 uy݆;Ͳ[[?'mWvM^umMp)蔥CAxKjhKBI }TmYXU߰ x%8H1r6bqav:7v~+*5(xU_wNy`-Cҥ.tr p(hg-@*ߨRE'67J="/0/; -c*ӻrJ]}bm`OrdBX6f Eצ}kf,9GŔw3Kiݭ)9zЁ`'z\#*bh} ?`EGDh̀gJpRaʬ>ԆVNuYC<ֻHZ|՝AvdkCHjӹaC$ҎCT'ٗw/ώ!Fղ^±A/ӏ=1)XEW[Kf7k>вv}[_wLV;sɑCk;?"i_L'H~$T%6#BwFnzW!䐾FSRSlխBZd(@Ĵ޳@4&/rZ1x]QjP&Ogqu@w$$ )ɼfbeg{Tvz*|gO5$;Ì#unL/md񶇋ٍ/AKP`UZѷ:oVomv쒤@FCd@e(~X+`|޻بMo1(ogךtPiA]a*g0 "'HvVC]V88V==(S_n~|gb7Vy<]H"C~A ,zAgYZ1f1421046012f639c9abf2e4fbd7c0d333575bd51478cd8cbae6c2903ff8b7580a1b47a0f1487a38 aa8d72250be55f6a4c5e37b817be58eab22b8e4e 6024d7e75e817c49cf44f7f9743482e686c92677 5d07dc56240f127ddca349a97d1a9f33530be1df e91384a62e518d91dc89ab8a2034fc5dd270aca3 9e7356ef6ddf253f061398d8718a6e7281cda6ae ae309abf1677630146a28399b18aaae1685e4238 f59ba587d90d5530626adbe9b6224035d904538b