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 HCTLT ] Iptables_Semantics_Examples:threads=2elapsed=565.678cpu=1103.236gc=97.112factor=1.957zXZִF! g$]ŗXf1-/6vRZL7*^Z cX͗T V&:{=fdHd#uʱ쬞D5@n=1&p-w?:l^y.I(wJw᧭nǓ|&lZٔ}-2FƢ-de)jkd }FZb_2ռʖxEMnKu'KTϠ$?iy)_Z4ZԸ*SLƺ'|sMB3嬆](CP\+eM;˩-<$̀]d$>^y8ݐW!8gjs;g쩜`OF1]C!s`%Wձ5IϾ rI&Ba prz_kPxlhk$zjI"䧱3l@g9H\n~FH _(K <]L@iX!e$"ee4xowV!NQ仟LDjR޹EW2Nqu=RIe2Ծc}n6d4Af7oT ؓaF;s 8u?tΚw"M~]8e-+{wKR +|RI{lZ t}Fwwƿц ת]sQU[N2lW#uu(Edѫ_5+~=8W5ϲX!s)rf` k1n..\բ9B!}qMc =i x`©y5Rb-oMM6_qjX!sOaN lum_x^@&lJC ;vhCBRl h@ <WS8Y]akO&*azu:q&yR:@2B[!3݊tW5{-!MC k,O_ #)4+F{B=:/|L-eϦP41.Up 4%K I@T+@ Tɩ=C7͕LȨ,n~6N7sǧBF7<1:RN^M9~CCԞ#:]G:E咸V"aZDe'쐇K,C%Qj\S+:&T^&2y \=dP>jr1μJ lETJߒB nؗ.*zkhk? /MC K)T3-e^mCU/P4EOڽi{~]"wOyj`-iDX63[vѢI9A1#/];ˏоN[М9{ht_ DrxQl{D+CɁ5EËG F]Ib]#n})Nl hDkw^]gYZ7zXZִF! ]ŗXiɟX?' 108vRLmU, B9+xL@*%fh0i-7&+j^1C ŲH%`Rᣥ <UUQJQ_Nu{s[0fTBң꺗ĉH (?]ZD?/Dnf} }?[Ѫ,b65vMX_4&8pM]L/N!vuӥ7,FDtLN7$D,I8@y厖=rƵt Σ՗c=n).(NT1hr96Jp62")~i9٭v1ޡ12 ne#mtcsq&`ҏ"ۂ CngYZ7zXZִF! _#]ŗXi%;kߎF(n^Cx΍=a!J7xqV(cPG[m[D:[RR\qYTq0GB !k2B3)Ҧ j'wF"`K1J0_y.Sz>D6IF xHAh3}6vzrCu㨝e Q[Պ\イPB   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.texTC[%Iptables_Semantics_ExamplesIptables_Semantics_Examples.Parser_Testdocument.texZCg%Iptables_Semantics_ExamplesIptables_Semantics_Examples.SQRL_2015_nospoofdocument.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 ::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?\]$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 D)DbCu% Iptables_Semantics_ExamplesIptables_Semantics_Examples.iptables_Ln_tuned_parseddocument.tex7zXZִF! \9?]A-MՋhvG"uIBm5(,s5JGP'|vs*NnEJ};=˓Vӓ$`rs4 ;-*r/Av4j { w6Sv4Ğzgb['v>Ű|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(Qz Xe]ڃ-Ej!Tؼ8ATyP`by})z ,_T\Kg IYl`tQWGr)9?vPg ܜa Z NqWsXƒqy(7틧6q]~9 *wy↛~+I0\8YPs}֯>pI6'i 229I [:hU[*^y8Gd֭f/?T~MDՍul{F)Ghc>IK;Qag:8nkgc,[G'FJu%+aj販쇛-ۺyH kBf{X@'"? @0;-=]*:^ z\VQ?$o@-i#TWLȝoA9p5Dj6^9UDb3\/eeCWb@Jc Sif$-dl4+ZA1":%݌E'h_pvʑe`zڗ]g8E˖y{[ |z@nRz$'{|}c8`r8ȥw:)#գ̴*k:54ߥ(ʹ}"b[Pc@T0&j^8|kٯmV6M6խS=3'ϝ^XrRZgtRDPƅHKLocNcwv>r;`Ҁx_ī/ݡSnpPTWJx֌рt1;64[#5VGyQŅwE̵CSf?`5dq0V+Xxף3D}O{棪KQC(俋KW͔؅h26 G3cUmu=hb+{p=aPHf$R;ipbQf($alfG&|6;n-zvm$B6oM"`%;w<iM79391:ⴒ!qqjF}bX'@}=w qung;l^!`$X8Xjʴvp.5AoVmU +Պ$m$"cj+-Oc{͜qX ӳё铋Vn?#:Eݑbu^f<ћfrZ̽qg睊ޟ6vڿ7Assr?bt7VQ7NJc6M-͟zɤFx"?~/$YNRC֦6a$}J~ QQe6{ۀt;nrɑw+hm;HĿ>(g A,gj jdz < ʔ5j$?H%[AEbY|]KXxN֛ O"F@+h.>L@LkƑsQe;:TϘo"Xk\]yY@e_vֿ7qՓ F'EPF1k`| WDtcpM ɬT+xg]4 ±U *knG{})ۯ6hV&r-I ]E`G6~[:QCfCYҒ76/s<2@"Sw(ق(oy|HӐ74n6΂z`Nj @*oqs: FV#綅{*ZW9Qndd, gG~\Zdlg˨k6b'͹3[3 aGny֝[de kQ'/p4A4Rq笇 b1.瑨3ڝ.ɵ^#lp|IusYfE}'rNy5Itq:Vu%&=wt͆ųwz;8__^MCn틇jӲGDΦ [HFdTF}{.D+Eҍ~57HII8=]_)Lc롔Thwu0ʻN326_w =̚lS_z>_J57Γ*0!{qAs Hk]:L&P=++.* BaVFhv:ވqW‹D`xvY3r>s] DmQb8BId&TNsъ>,g|1qr̐ wat4F&A}3V)FQ<|`wW'i9UPP+GiaXy d~MgxP\![KwJYQ9_)eKd:!E{iIrnC NWyFdߓb eBݛkOڙZ@})sAna5\‚Y[ZǿQG07(F!"w )>Lޛ)x'-&19uk+z-?<_"'#]\oH"ޏƈtİM~n'I j <*6I>cpyALþ,wED@0bR 91{GtG,Y"5gm$nd*?4.u ;S-J;ZP{ kq khrHvʩ F7S*`T9-գdਸ਼QFmUK'XÆ9¿T;3=kv"O6 e|L9D60i< R&舡_T-Lq}"_ܹ_yaTk<'7n&濉dul ] xÆ O&Jx~QZO[h^\V@UM2:^cx)'6 CcmӀ;EMS!Uϙȋ_7݂:u6vD >Wl ȵCX+fkyqh5tuCee*\b#96ITτM|T7"ͤlc 3_P;E#BULj{moO_o_;9nK hw*(!/ |Kz_ ,fH*o q5ox%Sx Ԉ9(Mtet@[2>e Zn"x&&-qʆ+ c]o# 7H?EڽcL U[&jfȡ1Jh zM=\*V#bSۦ2mS4j+jӆ@ZQVP4oitJ6bGf=Z4!-VAF++n,a8NV|8iC;KT`$s c%&; wgܔcgȀJ 7ifNiDK3FύVQUӽqQ8֨O+1굲on)ڗA,G镺:O]kWu_Ŕ3u5G1眆}"?9?)s Ky%$1)aF NO3g>q:r,{ xL'{&-&1=3hΘ{ G>NjNl%ϙ&ؠ*hmY:kd C|´ةFo]į-+dXsEgDqDx(+YWi9_8C@&gV1/lny`}}ٯP ƊXq {''I^&i@qn-lr)'u9cPTluRg9`NbKRܢ>a4H(.u48ހ-SWoiS<٢=,h ="8"fISbĥ:6>p7[jع %͎>kMw_yL_ QeI-_\fK2I/뗓 ~aaC1u0(VƁ4f>@2Fへ QBp/ |g n)*M ]@S5*D[ڨ.XZ|G f{D?<4nI~qMSyYpt6Ku܋oñsj{.3`5l0?G$'BGgK0]K(OU"n1w);- (FѰwZ]9TZF:W{ "0OH ߈`xWRGBє+3;zxhj&e1-;&a-O1D).;5znm8$uցsupq.7nj@tڳ-sk2 ׻ hҠ-vo3J&7z 6)=J| ?^FÏ9 C2{ µ~DAwc8MEè8] ɋ,}Av_vp` rNhpd9 ⭝Wl7/Nd%Cc`$}y-8 #P-3ku,sszͭ~jr d\h'&U_$DB#Gӱr];]{]sSoX_ 2~ч6LW?V".q<it>S=eۥcr@'9G2Õ2n~a"-8u)y|GF\xus>xqH6F];}B 1QZ~ݱ ,ؗ\k؃l&<–*YR7ϩu7fn`ɲ= _ p]f#|ݭ`Isw4c{,tb-[=Rk!m Qc7ۍ9VRv M[9 @REA;;wnpaȻA #j<*''!9Z&H1;yET5IAktlIxf$s{Ba':A.6^Xǀj[xgV״Uyr o!UU\oL8Mq벉a"mMge*-عp79g2 37yV/_a܉/eN9'6[aPZffII<^WGCJU!קʓFLlG6~Aą*NJg-W6MgIrC#ڈlQl mz?(עY2PS JxlGÍNVAW2PwH!sLLcYx|KbaYҤa"Z";bI-:}GaX|'> 9֞ G6A_`8f'.U`s@i0-DV,WsDHm ҄͢4BO0%)SYl<9 yv@3@X˵7A:9/OuަWPMgOzpsewfJs7^PC:2"~U^~_&BO7OC83֚RHt -&~3}g|6 6M>DrTurH0Kz\,뗎#BGje~[?i^+Q7H&ɚ4x8Pz;KzKpjsrlHrnk2;L[`kuʦt`]!U4%|ulHnx8q[S|n{FMB+wկ9(Z2BPHv2Jr>~0|,| '1̀$jW*g J^Y+K/ԐcEkuNmӵ23zXEcU_t-i"8hCF53[MTw/hG8qR[J}IEN?%9 q#'-`:xݩ#op QO %PN&Q+7Os{[أF AT>^"z2R%<޳nuqaw^L5a<'¶WyFy_I HN1"S.+p|7Fnw%zuHKUG3Ք*2avZ'HsyrN.RZ،N#<ӸH~Px9",hwn_A'Y%zB>}ANe#"(s*l̇'mIrx=\({NAR`Ja5+ɜgzԏ𣐭EJGKUA~hPvkOgU'HR꥘D6dE[c٣Jd%lNr԰I"Z zuhKCxQ+0"eKgh,l;2]|S Y`\9q6KcɊX-E zF[3gK/p82cGP\cV G@).!k&m(;J}+@KBF7PDI3tdrqI< "|aŹ .7EP:Xx@&eǩhVx\&zh"!?SԹfxoY\@]LGc%uC)=ۄ4V.ˈ*p'Q ]H+y؞+~ -gM4}Ad$X1 't" Pt8?Qé{v`S'VLA)0::{WojA$xߝCᇏʩ/!{ת$0}7zm.9^x v"cfrK`gK<4WH9J&ƑݶGkp8\o, Dw, } ܲV9~5wwEBXd]8$fE/]p @棝<+w{>Jm;/`/bw* TuD+q*x\AtHHmPUNeҤt:?o$'z+WYB#z42Z5?m7nuB}CM.zM6LQRz\i4BalZITw*Z`V_SySdGSԀhe5[3Rl-*8TaН*3O=!AǤ+REVlbӅ?oKo<QH{AF !9L/dL ,g+Ne߶iE(Ĭ`wJ^P ('BGc0 פ響ɍ}r7iO*9|G/lgYTF a:oeAz\e'|o#G覛|K,' sܱZH{ڤur0BuU ]wJñu]-P“{!iK&T@_Fw{LrsOn g,-DvPN0&( شkV}b攼:.<(P'h3 =ug,d|cDd8/"aS ҁX͆y+wkWշ{Lg ֮k=+Z܈Ōk#}<,ecC |T* z@ݨ+F솙ZlmV-=ޙSGV,Е b s'ImԚ/T"(Sʀw&1v~I\|ʩp=RnM"&/l,VVW1]TU҉$;ǦHW5,)b\ǟeGJVN +DQ^W]Mrl? teQ_󦤔RU6i&m5Q"*RN) k#e7Ij@-\P]\(gy4ǩfKyAU&M{Cbdf7h9}s Du%2~bbjIFO 1^9Eݞua7H)7m6S+ك8RRP2ח.i.um>C(C4xd:_}pq~7&Z -ƅ>ꏿ zoNfcs>iF= 1x#-P4L7g2[SE7(ש:; `||$|SKXr1pBa _݌$QNU ALzzH_D!QoQǞ^U?ļ+I̛u9v&#MU(( Hz2da!(b:&&~\գ"f:a'r\lG|Z#M霝S^SOj>93SIup+TNB_i﷏?b ,7.3!2+LK0/~yk|Egü"+==[5hATDwo:ǡBx2>*DlG<~`SU{u?QZ8_U`ż=%?ێk Z$*hRްk"@f9g{6*iB֕?@)_i:*u!8=wR} mp {)HNc Tz ! i|9we#ݨ>UUZ:f鏔]) `AԱCޠvվy0z [ɪs/piG(z "΂Ą߲M5źg>$2ibf ǘ ]FO\*) dè}a1L70n-CaZVR@{h½ENFlp@$}bPi5NǧiIME}6Ҙ kζ^n  M&E94M7U ͍a$jv&,#C2Y]);:h32ǵT,)Q qŊ&Ya1W*yo變.Ur4*FA/N/<699J6^%954 Soһ5ҏ[ӷ{}ǶE }0˸NF#bHv2hK膸^ .-C-Q0u\[c*d)q}(Rd@`z랥H<_ke'[´S#+Pxn0'"WR*(GqE>UF[ot9~ @DLChVs9y?#E] iMYwְ+!DqMi#$&Iѥ)aqӠ%AV~q=]dT^Mj2*׿VXJu2wa&45xC\g{(VH:cm0p1 ּ lBd~e=̥紴v%l]w@9/UC*n)GEsUk4C>MHbKRHBSOL^F\<[nM3~_z(j>jC̑5S`v8K73p'eԶ, vZhCNhlnZ(*Ϊ,KehqW>j)^bN1$@H-$d'n5eB!g2t8͋߇:UR$ )~N}ۓ?.N,kM6k@ݱz+dffg't|3/+Zη[cB4OKo\V q~n{2EzYP@KjMGauCPrPnd6BYV`uqQɖVf^~F WoC&74 u{ `<Q>g.WKU%!JD9-];IpkA PI lZy<3mLY6Te#Z^.O·ݶ限l ė6H'}BsӠg wm-N&!͈+n? iUH-o,ۓ6YOj܊*+CU)ܔHY(mG ݋d}+cX0~9نO=p^GSUEZey~.̟u &QrV{txhI7`M)_ƚRO,ϖRl\& 5nC )1^WIp2m7 IeSlEX7U=,;;\M$]%і[ɚf%xD#~+W=rNg?-`I5:nm[H ps΀{'/LVLM»fU¢q!@$Kq?0"frm|A)2}/H[ {d88`JG|̗^٪l+;+dg t!ugb| gJĹWk̛dSt"G#t<țS*  GZv PP{0F)KiaBa7,N2 tL~/89.Sb{'G3^#gvL *ݜjqkǶ&3Qa0Zv{ x]V Wd%? .^!%Z<˄NAjOi9}ˤN/{\<o>pyIPCm~w~*@};ΎBfw8oPUs'|}[~h&\ao;ѯ E}q: uhLgUoJJ50pQjls/) ڮSB%ӗLG55y  A 0o(?k4#J ޮK'G*p^Ӗ @0O[fiM.WO)kMmMk9UgP@qvdQ?QKΠx,vzE4FwljwKAy7' 3>jkB7e}m]skG#A@ٜrR(I^R!~XPiAL:1Jl Jsgc 7[G17r\ësWs_3U25Tt>>ʉ_mxIJ$ry>=+ !YU`º4F8;K#P3/iտ"- \ HFlw LTc…l%ERt7 s;b6s-GBDMG~y!1e.GU9r{;*[B@t(+"晫_\l!ƛE6GEn(PepH Uc9R /3ۭ $\vKؙÍrtRUNh=Y7M 5yϵUe|gPVsYPNlRl=qJO?zZ@VI8#Y,tϒ叄FF牳a@3~eL):k-LC3ǧkמ[x2~3X@:{YunQYr'Pu-Vq nIB 7mR=E\#p8곭9OC9Khbx}T^ָ%G5NJЭELBlOoPXj ;xl:NԈgtEQ b(uSx_ቤ8 B9Zv:R~ÇܺvbJ'C0E&ٚҚEL,|;t?6ṬdUG W?6l&ll K$m9FD4εNxU_7u'O+ڻm RMM{msЉ!/f 4(Jp80mSϊ%*k_'_1Q: e?S )EWG^,~W ̉r +Tc g_0ap/``{Мh])َ={0MMb^%G# d}dN]D2,@T-1$"Mn ~bRD~}#Q~W:(MLtBJ[[; ]h,J%^iej`a&OnLdSΣ =ignV;7)]9?\'|Uz`9[=Z}T1<8fۊ{{4s ^.&|v:5fg0f[<i;8Ao33ʥA2@ 9J+?,h)K"B;csa=2M?kѽJ;] C?vERUZʴh|ѝ !)W!&sF)=8=pZ} Xx9,Bofk]洆V\dtRNQ18GBMOG|1\O h*, ze"C f^AAZA+"CC/S%a^s9g`n$?nd{2W<ފuH6mc Lذ Lze90Za4\OXe8B,4g"WDrBlկCx5&D`|@x| Ù-͹!@}M8RdUBg$F٘p~LE,ZkK;0!|k3Σ_%씰nok~qBטzF/ѿTDC$j;Gn >K Jڄ"S@TVY"7B?ĸP ř "%a;>~c7[2-W shGpcdN9w'gX,P`VrlYfO obAzO錕}J5KDV/䣲;Xh%*7`_|"Htb}!sqy6YAi)K-BE HGL* nT&|?eLG7fo%}^M׬pѲo!S.03PZĐ#@:dytwɆrԇk'~~N)Z**ϛF]mb!%9vn22LԽmQ$>~oiխhݙUB|1.@.i)q(9 cBE;F*)]&kYȀ[9{2hU )3R3#7Tew)ZG~Sqq sRIIA.u k̫ RdQV`SJT: tVGц1GuuL%aN8Eʽxωa!gh60!ήST?$nh1삨#x*0$#5-jd@3QZn3 -xiU;#%5yǁH/nE״~} ]s+94TƧ$ zsw^o(g*qNhQ@1V= el PCyNzk=㽢>^)|,p^%"VD b';ReHB@G{=lu:tf!a&*Ynu/R0c-Fdw#*%и5ms@`#61E[d&D{fUgD!ND9O4j"VV*@Jŋ Kjq:8|2A ,hҵҪkI#C!dk(_+JLGp T6/e2Ёg&kJn9Q;*cʕF90yQ4NI &'S+pU_TgT VO)+tBdd3佺Mgtس I3fdSCчW@ WE-V=Q\BUJfBľ*4Y?_QURj1dX™ 7T!+ƒE>~QREg_2BGIm;>%Ð"".PF'#:yW]:^e˪W@Bˤ5;~F>RD~;ʍror]y$yjÕ}96ȟ#byZؕ= 7s1p +E%@U0U ݤ {nh,FKhW=,!d( LhFh?Uv 'i MM8ˆBo|Lup EQ"dt7ZKMQJȇP(u$9bx={GcĊ!ŝ9<7Z\u*Ԩ{X0TŌ[ad1j13 k)uY@'E!ŨNFbQʰX V6D-(zb[-e?NDRk}3I Y>iAE h%AgdWjI'#:xj" 4ce'Wtǐr,աMaWد9I cH6(d7ttRev GlJO:[)`X%t̙2KV;I.ȧ3@" <`i':cPKE&A!\i1Z4v{g!L㸊92Ggq=l/ؾf#3*t| IhvwOrڶD`l^:2-Lְ.ή% 6OD.tDlG"H,a|X{Ąɷ](>=+gx -CŕLΎX:VX=G40ZS2DtbtRC !ƀu!bp7bL4}hҳ 9v@LR.wS׫a <ҸT&PX:u`U;WE1*J p18GrҮS!7@ ޲luzmif4O,mRX{?=~ʰ`X4'vܢy:JѮs@|M ;ѝAYz@dAk?6XéF%`xVxlY2L՝4jV%YOJv9~TrS16֣R7Q{W*Ъ)qy2V؎Dp8ihbwd~I>WL ՃO x"@5״5BFcmg=*;$Ú}]#{'x~uKro) <0ATRx/p7H= ^Izȳ.8'\SniuSehz,7$;k4h:/FwTWUO~3@2K}^ cxW.g+~A(];kS Fl< –jo4|\{snK `DA` |NUR*xːPJA"(bjU&K~DI;qN5][t[S?5R$*C\Ղ/s!6S ²V_g׫;rD'4pKO@dwӱB/VQO[??Sa^&&łx/ }7cIX fF[NETxJYדLO4ZŠrUymsZ4]c{TwbP=v^r`gO,JLyMɣd]铪.v. =V`ɲc!ݩ'sHڝ#-ՈC=Ac9YD-TWg U7 %}*`.DdKkvO_!E[YX"b8_˓tsP,n2[ґԝS:oH1Az$t7ر؂ѱ׋eӑm{ BJ{(v! RLfF1uTo2uazUZo sK B'S5[L0P^9dp@+8n n%zJ` 8 5RNռe7xaJ =}/( H([A%r)~MLb -,tHPva%D4_i][]vY0HCi/b&u⼜9{W['Lb$Zc 5P$vF"'+plBInb~!&eUzx5Du3u6| A(K5K(KC;z<P|_YZu{X``?oBAplwz!GLx#mVSF,k;~ )~NY_l^G<ۏU^*jD+aOؙj_GG>~aDBQ΅,Xk$R5ԽzN*P%֝<[` #{4ˑ*E}1PS>26^Aa|}`_rmGQ,-k_Tىtb$gQLw;(EygD2->)~V0)3 ̩;s9%Maxyq@HkjR*%nt;%P9^۬)Iee6jzmκH:HBd7kV0Eud;Lr1}eȜ6 #c Q¾mE3r~'r}ڨG4;.)?zBM 1mIGt)ι]|+-;P;߉|)Ti=Ep$}dT'r[ {B4=$&s4 smaӭYڰ-Shx$?93qȞVdkuF] oB!JRٺ̤;cd QϷC0b7̬&Tuoey!v2|ē*A Z3Zj 鼒&o0-8T뗲`4}C{CG z9}]Aw S$W씼r$omWc0 3a<.բ 2î`g{|6dT@A0"++hּnN{uE VK n\NBA0=E|B|;@aN?ROd`9!FF7ݬgLfAgc !V㰧]yP?nO>,dwOIr^z:rȺձإVp17-*]4ß z3'; y^ĆG5,+y+m7KZ࿡Ǹ/4[m"1OctZv?Y @섩S~PSג_ʎ!ߠ XjtAQ=/*ƴU-fX+xE>R(H^ ˦sv2Dpaafc؞[n`ȘRZ6z+ ),h3n'䨜nd8B<-ÜujQA<ǻFd͡'SiWOp %\ 5M6߃+s1"eXSs`.0ȺvJl,elA;u{e<9ۣV^`>Dɀx)q$p^=i£ EveŏdΘט?3˴9[SwBk*fZƃj\/eM*cz C^D4QS.X=Q ܄ 0p&[n'h$܍Ii0V@Yl*GwoÜv v@;R@+&ؽ F75-ğ~cڸRo[ꜬzH} jp8@d{ `9#qXHR|(?R_; CʹPQg=éZׄ$V/h!D{9%W% KLӶ2W BkAh<jɼlP\|ZujXElzYiӸpޟ<ͪIJ 1ٶ|B;R P}~X6s&2w>](`8#]} (:'ABgYZ419fcf95c7c6b87df970175ed8c5b33986ba4e910a2434114e0f5ff2a700b4a6f5d894a41f7c1240 950ea4632527669f7c4dae144a0d8bd338d2ab61 bcc4ae4b97829377c9706424db49b20c5a483f7e 2a51d0f1c9d4cf09f99084dbea9a2f6c43b471dd 446ccf0d95587e4dee70abf4a9d7a04ef84f1dc5 957f51be8a1300525bea8fda5a9fe3ce91f4a0a5 495fa136b27b8200e4c04ec38cd461456ff68333 4b37f213b67986b3a2c3b12fa8b1782ddd4be8a3